Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/local/x2003239/mcc2019-input.r022-csrt-155225094600165.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2019-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-3954
Executing tool win2018
Input is BridgeAndVehicles-COL-V80P50N50, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r022-csrt-155225094600165
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 208K
-rw-r--r-- 1 mcc users 3.5K Feb 9 08:18 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 9 08:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Feb 5 06:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 5 06:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 10 17:31 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 118 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 356 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.5K Feb 4 23:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.7K Feb 4 23:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 4 22:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.3K Feb 4 22:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 2 01:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Feb 2 01:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Jan 29 14:55 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Jan 29 14:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 4 22:18 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_pt
-rw-r--r-- 1 mcc users 10 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 47K Mar 10 17:31 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-LTLFireability-00
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-LTLFireability-01
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-LTLFireability-02
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-LTLFireability-03
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-LTLFireability-04
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-LTLFireability-05
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-LTLFireability-06
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-LTLFireability-07
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-LTLFireability-08
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-LTLFireability-09
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-LTLFireability-10
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-LTLFireability-11
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-LTLFireability-12
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-LTLFireability-13
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-LTLFireability-14
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-LTLFireability-15

=== Now, execution of the tool begins

BK_START 1552407902807

info: Time: 3600 - MCC
===========================================================================================
prep: translating BridgeAndVehicles-COL-V80P50N50 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating COL Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating BridgeAndVehicles-COL-V80P50N50 formula LTLFireability into LoLA format
===========================================================================================
prep: translating COL formula complete
vrfy: Checking LTLFireability @ BridgeAndVehicles-COL-V80P50N50 @ 3566 seconds
lola: LoLA will run for 3566 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 8816/65536 symbol table entries, 2860 collisions
lola: preprocessing...
lola: Size of bit vector: 7296
lola: finding significant places
lola: 228 places, 8588 transitions, 221 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 9173 transition conflict sets
lola: TASK
lola: reading formula from BridgeAndVehicles-COL-V80P50N50-LTLFireability.task
lola: A (X (G (X ((FIREABLE(t4240) OR FIREABLE(t4239) OR FIREABLE(t4238) OR FIREABLE(t4237) OR FIREABLE(t4236) OR FIREABLE(t4235) OR FIREABLE(t4234) OR FIREABLE(t4233) OR FIREABLE(t4232) OR FIREABLE(t4231) OR FIREABLE(t4230) OR FIREABLE(t4229) OR FIREABLE(t4228) OR FIREABLE(t4227) OR FIREABLE(t4226) OR FIREABLE(t4225) OR FIREABLE(t4224) OR FIREABLE(t4223) OR FIREABLE(t4222) OR FIREABLE(t4221) OR FIREABLE(t4220) OR FIREABLE(t4219) OR FIREABLE(t4218) OR FIREABLE(t4217) OR FIREABLE(t4216) OR FIREABLE(t4215) OR FIREABLE(t4214) OR FIREABLE(t4213) OR FIREABLE(t4212) OR FIREABLE(t4211) OR FIREABLE(t4210) OR FIREABLE(t4209) OR FIREABLE(t4208) OR FIREABLE(t4207) OR FIREABLE(t4206) OR FIREABLE(t4205) OR FIREABLE(t4204) OR FIREABLE(t4203) OR FIREABLE(t4202) OR FIREABLE(t4201) OR FIREABLE(t4200) OR FIREABLE(t4199) OR FIREABLE(t4198) OR FIREABLE(t4197) OR FIREABLE(t4196) OR FIREABLE(t4195) OR FIREABLE(t4194) OR FIREABLE(t4193) OR FIREABLE(t4192) OR FIREABLE(t4191) OR FIREABLE(t4190) OR FIREABLE(t4189) OR FIREABLE(t4188) OR FIREABLE(t4187) OR FIREABLE(t4186) OR FIREABLE(t4185) OR FIREABLE(t4184) OR FIREABLE(t4183) OR FIREABLE(t4182) OR FIREABLE(t4181) OR FIREABLE(t4180) OR FIREABLE(t4179) OR FIREABLE(t4178) OR FIREABLE(t4177) OR FIREABLE(t4176) OR FIREABLE(t4175) OR FIREABLE(t4174) OR FIREABLE(t4173) OR FIREABLE(t4172) OR FIREABLE(t4171) OR FIREABLE(t4170) OR FIREABLE(t4169) OR FIREABLE(t4168) OR FIREABLE(t4167) OR FIREABLE(t4166) OR FIREABLE(t4165) OR FIREABLE(t4164) OR FIREABLE(t4163) OR FIREABLE(t4162) OR FIREABLE(t4161) OR FIREABLE(t4160)))))) : A (X (F (F (F (X ((FIREABLE(t8587) OR FIREABLE(t8586) OR FIREABLE(t8585) OR FIREABLE(t8584) OR FIREABLE(t8583) OR FIREABLE(t8582) OR FIREABLE(t8581) OR FIREABLE(t8580) OR FIREABLE(t8579) OR FIREABLE(t8578) OR FIREABLE(t8577) OR FIREABLE(t8576) OR FIREABLE(t8575) OR FIREABLE(t8574) OR FIREABLE(t8573) OR FIREABLE(t8572) OR FIREABLE(t8571) OR FIREABLE(t8570) OR FIREABLE(t8569) OR FIREABLE(t8568) OR FIREABLE(t8567) OR FIREABLE(t8566) OR FIREABLE(t8565) OR FIREABLE(t8564) OR FIREABLE(t8563) OR FIREABLE(t8562) OR FIREABLE(t8561) OR FIREABLE(t8560) OR FIREABLE(t8559) OR FIREABLE(t8558) OR FIREABLE(t8557) OR FIREABLE(t8556) OR FIREABLE(t8555) OR FIREABLE(t8554) OR FIREABLE(t8553) OR FIREABLE(t8552) OR FIREABLE(t8551) OR FIREABLE(t8550) OR FIREABLE(t8549) OR FIREABLE(t8548) OR FIREABLE(t8547) OR FIREABLE(t8546) OR FIREABLE(t8545) OR FIREABLE(t8544) OR FIREABLE(t8543) OR FIREABLE(t8542) OR FIREABLE(t8541) OR FIREABLE(t8540) OR FIREABLE(t8539) OR FIREABLE(t8538) OR FIREABLE(t8537) OR FIREABLE(t8536) OR FIREABLE(t8535) OR FIREABLE(t8534) OR FIREABLE(t8533) OR FIREABLE(t8532) OR FIREABLE(t8531) OR FIREABLE(t8530) OR FIREABLE(t8529) OR FIREABLE(t8528) OR FIREABLE(t8527) OR FIREABLE(t8526) OR FIREABLE(t8525) OR FIREABLE(t8524) OR FIREABLE(t8523) OR FIREABLE(t8522) OR FIREABLE(t8521) OR FIREABLE(t8520) OR FIREABLE(t8519) OR FIREABLE(t8518) OR FIREABLE(t8517) OR FIREABLE(t8516) OR FIREABLE(t8515) OR FIREABLE(t8514) OR FIREABLE(t8513) OR FIREABLE(t8512) OR FIREABLE(t8511) OR FIREABLE(t8510) OR FIREABLE(t8509) OR FIREABLE(t8508) OR FIREABLE(t8507) OR FIREABLE(t8506) OR FIREABLE(t8505) OR FIREABLE(t8504) OR FIREABLE(t8503) OR FIREABLE(t8502) OR FIREABLE(t8501) OR FIREABLE(t8500) OR FIREABLE(t8499) OR FIREABLE(t8498) OR FIREABLE(t8497) OR FIREABLE(t8496) OR FIREABLE(t8495) OR FIREABLE(t8494) OR FIREABLE(t8493) OR FIREABLE(t8492) OR FIREABLE(t8491) OR FIREABLE(t8490) OR FIREABLE(t8489) OR FIREABLE(t8488) OR FIREABLE(t8487) OR FIREABLE(t8486) OR FIREABLE(t8485) OR FIREABLE(t8484) OR FIREABLE(t8483) OR FIREABLE(t8482) OR FIREABLE(t8481) OR FIREABLE(t8480) OR FIREABLE(t8479) OR FIREABLE(t8478) OR FIREABLE(t8477) OR FIREABLE(t8476) OR FIREABLE(t8475) OR FIREABLE(t8474) OR FIREABLE(t8473) OR FIREABLE(t8472) OR FIREABLE(t8471) OR FIREABLE(t8470) OR FIREABLE(t8469) OR FIREABLE(t8468) OR FIREABLE(t8467) OR FIREABLE(t8466) OR FIREABLE(t8465) OR FIREABLE(t8464) OR FIREABLE(t8463) OR FIREABLE(t8462) OR FIREABLE(t8461) OR FIREABLE(t8460) OR FIREABLE(t8459) OR FIREABLE(t8458) OR FIREABLE(t8457) OR FIREABLE(t8456) OR FIREABLE(t8455) OR FIREABLE(t8454) OR FIREABLE(t8453) OR FIREABLE(t8452) OR FIREABLE(t8451) OR FIREABLE(t8450) OR FIREABLE(t8449) OR FIREABLE(t8448) OR FIREABLE(t8447) OR FIREABLE(t8446) OR FIREABLE(t8445) OR FIREABLE(t8444) OR FIREABLE(t8443) OR FIREABLE(t8442) OR FIREABLE(t8441) OR FIREABLE(t8440) OR FIREABLE(t8439) OR FIREABLE(t8438) OR FIREABLE(t8437) OR FIREABLE(t8436) OR FIREABLE(t8435) OR FIREABLE(t8434) OR FIREABLE(t8433) OR FIREABLE(t8432) OR FIREABLE(t8431) OR FIREABLE(t8430) OR FIREABLE(t8429) OR FIREABLE(t8428) OR FIREABLE(t8427) OR FIREABLE(t8426) OR FIREABLE(t8425) OR FIREABLE(t8424) OR FIREABLE(t8423) OR FIREABLE(t8422) OR FIREABLE(t8421) OR FIREABLE(t8420) OR FIREABLE(t8419) OR FIREABLE(t8418) OR FIREABLE(t8417) OR FIREABLE(t8416) OR FIREABLE(t8415) OR FIREABLE(t8414) OR FIREABLE(t8413) OR FIREABLE(t8412) OR FIREABLE(t8411) OR FIREABLE(t8410) OR FIREABLE(t8409) OR FIREABLE(t8408) OR FIREABLE(t8407) OR FIREABLE(t8406) OR FIREABLE(t8405) OR FIREABLE(t8404) OR FIREABLE(t8403) OR FIREABLE(t8402) OR FIREABLE(t8401) OR FIREABLE(t8400) OR FIREABLE(t8399) OR FIREABLE(t8398) OR FIREABLE(t8397) OR FIREABLE(t8396) OR FIREABLE(t8395) OR FIREABLE(t8394) OR FIREABLE(t8393) OR FIREABLE(t8392) OR FIREABLE(t8391) OR FIREABLE(t8390) OR FIREABLE(t8389) OR FIREABLE(t8388) OR FIREABLE(t8387) OR FIREABLE(t8386) OR FIREABLE(t8385) OR FIREABLE(t8384) OR FIREABLE(t8383) OR FIREABLE(t8382) OR FIREABLE(t8381) OR FIREABLE(t8380) OR FIREABLE(t8379) OR FIREABLE(t8378) OR FIREABLE(t8377) OR FIREABLE(t8376) OR FIREABLE(t8375) OR FIREABLE(t8374) OR FIREABLE(t8373) OR FIREABLE(t8372) OR FIREABLE(t8371) OR FIREABLE(t8370) OR FIREABLE(t8369) OR FIREABLE(t8368) OR FIREABLE(t8367) OR FIREABLE(t8366) OR FIREABLE(t8365) OR FIREABLE(t8364) OR FIREABLE(t8363) OR FIREABLE(t8362) OR FIREABLE(t8361) OR FIREABLE(t8360) OR FIREABLE(t8359) OR FIREABLE(t8358) OR FIREABLE(t8357) OR FIREABLE(t8356) OR FIREABLE(t8355) OR FIREABLE(t8354) OR FIREABLE(t8353) OR FIREABLE(t8352) OR FIREABLE(t8351) OR FIREABLE(t8350) OR FIREABLE(t8349) OR FIREABLE(t8348) OR FIREABLE(t8347) OR FIREABLE(t8346) OR FIREABLE(t8345) OR FIREABLE(t8344) OR FIREABLE(t8343) OR FIREABLE(t8342) OR FIREABLE(t8341) OR FIREABLE(t8340) OR FIREABLE(t8339) OR FIREABLE(t8338) OR FIREABLE(t8337) OR FIREABLE(t8336) OR FIREABLE(t8335) OR FIREABLE(t8334) OR FIREABLE(t8333) OR FIREABLE(t8332) OR FIREABLE(t8331) OR FIREABLE(t8330) OR FIREABLE(t8329) OR FIREABLE(t8328) OR FIREABLE(t8327) OR FIREABLE(t8326) OR FIREABLE(t8325) OR FIREABLE(t8324) OR FIREABLE(t8323) OR FIREABLE(t8322) OR FIREABLE(t8321) OR FIREABLE(t8320) OR FIREABLE(t8319) OR FIREABLE(t8318) OR FIREABLE(t8317) OR FIREABLE(t8316) OR FIREABLE(t8315) OR FIREABLE(t8314) OR FIREABLE(t8313) OR FIREABLE(t8312) OR FIREABLE(t8311) OR FIREABLE(t8310) OR FIREABLE(t8309) OR FIREABLE(t8308) OR FIREABLE(t8307) OR FIREABLE(t8306) OR FIREABLE(t8305) OR FIREABLE(t8304) OR FIREABLE(t8303) OR FIREABLE(t8302) OR FIREABLE(t8301) OR FIREABLE(t8300) OR FIREABLE(t8299) OR FIREABLE(t8298) OR FIREABLE(t8297) OR FIREABLE(t8296) OR FIREABLE(t8295) OR FIREABLE(t8294) OR FIREABLE(t8293) OR FIREABLE(t8292) OR FIREABLE(t8291) OR FIREABLE(t8290) OR FIREABLE(t8289) OR FIREABLE(t8288) OR FIREABLE(t8287) OR FIREABLE(t8286) OR FIREABLE(t8285) OR FIREABLE(t8284) OR FIREABLE(t8283) OR FIREABLE(t8282) OR FIREABLE(t8281) OR FIREABLE(t8280) OR FIREABLE(t8279) OR FIREABLE(t8278) OR FIREABLE(t8277) OR FIREABLE(t8276) OR FIREABLE(t8275) OR FIREABLE(t8274) OR FIREABLE(t8273) OR FIREABLE(t8272) OR FIREABLE(t8271) OR FIREABLE(t8270) OR FIREABLE(t8269) OR FIREABLE(t8268) OR FIREABLE(t8267) OR FIREABLE(t8266) OR FIREABLE(t8265) OR FIREABLE(t8264) OR FIREABLE(t8263) OR FIREABLE(t8262) OR FIREABLE(t8261) OR FIREABLE(t8260) OR FIREABLE(t8259) OR FIREABLE(t8258) OR FIREABLE(t8257) OR FIREABLE(t8256) OR FIREABLE(t8255) OR FIREABLE(t8254) OR FIREABLE(t8253) OR FIREABLE(t8252) OR FIREABLE(t8251) OR FIREABLE(t8250) OR FIREABLE(t8249) OR FIREABLE(t8248) OR FIREABLE(t8247) OR FIREABLE(t8246) OR FIREABLE(t8245) OR FIREABLE(t8244) OR FIREABLE(t8243) OR FIREABLE(t8242) OR FIREABLE(t8241) OR FIREABLE(t8240) OR FIREABLE(t8239) OR FIREABLE(t8238) OR FIREABLE(t8237) OR FIREABLE(t8236) OR FIREABLE(t8235) OR FIREABLE(t8234) OR FIREABLE(t8233) OR FIREABLE(t8232) OR FIREABLE(t8231) OR FIREABLE(t8230) OR FIREABLE(t8229) OR FIREABLE(t8228) OR FIREABLE(t8227) OR FIREABLE(t8226) OR FIREABLE(t8225) OR FIREABLE(t8224) OR FIREABLE(t8223) OR FIREABLE(t8222) OR FIREABLE(t8221) OR FIREABLE(t8220) OR FIREABLE(t8219) OR FIREABLE(t8218) OR FIREABLE(t8217) OR FIREABLE(t8216) OR FIREABLE(t8215) OR FIREABLE(t8214) OR FIREABLE(t8213) OR FIREABLE(t8212) OR FIREABLE(t8211) OR FIREABLE(t8210) OR FIREABLE(t8209) OR FIREABLE(t8208) OR FIREABLE(t8207) OR FIREABLE(t8206) OR FIREABLE(t8205) OR FIREABLE(t8204) OR FIREABLE(t8203) OR FIREABLE(t8202) OR FIREABLE(t8201) OR FIREABLE(t8200) OR FIREABLE(t8199) OR FIREABLE(t8198) OR FIREABLE(t8197) OR FIREABLE(t8196) OR FIREABLE(t8195) OR FIREABLE(t8194) OR FIREABLE(t8193) OR FIREABLE(t8192) OR FIREABLE(t8191) OR FIREABLE(t8190) OR FIREABLE(t8189) OR FIREABLE(t8188) OR FIREABLE(t8187) OR FIREABLE(t8186) OR FIREABLE(t8185) OR FIREABLE(t8184) OR FIREABLE(t8183) OR FIREABLE(t8182) OR FIREABLE(t8181) OR FIREABLE(t8180) OR FIREABLE(t8179) OR FIREABLE(t8178) OR FIREABLE(t8177) OR FIREABLE(t8176) OR FIREABLE(t8175) OR FIREABLE(t8174) OR FIREABLE(t8173) OR FIREABLE(t8172) OR FIREABLE(t8171) OR FIREABLE(t8170) OR FIREABLE(t8169) OR FIREABLE(t8168) OR FIREABLE(t8167) OR FIREABLE(t8166) OR FIREABLE(t8165) OR FIREABLE(t8164) OR FIREABLE(t8163) OR FIREABLE(t8162) OR FIREABLE(t8161) OR FIREABLE(t8160) OR FIREABLE(t8159) OR FIREABLE(t8158) OR FIREABLE(t8157) OR FIREABLE(t8156) OR FIREABLE(t8155) OR FIREABLE(t8154) OR FIREABLE(t8153) OR FIREABLE(t8152) OR FIREABLE(t8151) OR FIREABLE(t8150) OR FIREABLE(t8149) OR FIREABLE(t8148) OR FIREABLE(t8147) OR FIREABLE(t8146) OR FIREABLE(t8145) OR FIREABLE(t8144) OR FIREABLE(t8143) OR FIREABLE(t8142) OR FIREABLE(t8141) OR FIREABLE(t8140) OR FIREABLE(t8139) OR FIREABLE(t8138) OR FIREABLE(t8137) OR FIREABLE(t8136) OR FIREABLE(t8135) OR FIREABLE(t8134) OR FIREABLE(t8133) OR FIREABLE(t8132) OR FIREABLE(t8131) OR FIREABLE(t8130) OR FIREABLE(t8129) OR FIREABLE(t8128) OR FIREABLE(t8127) OR FIREABLE(t8126) OR FIREABLE(t8125) OR FIREABLE(t8124) OR FIREABLE(t8123) OR FIREABLE(t8122) OR FIREABLE(t8121) OR FIREABLE(t8120) OR FIREABLE(t8119) OR FIREABLE(t8118) OR FIREABLE(t8117) OR FIREABLE(t8116) OR FIREABLE(t8115) OR FIREABLE(t8114) OR FIREABLE(t8113) OR FIREABLE(t8112) OR FIREABLE(t8111) OR FIREABLE(t8110) OR FIREABLE(t8109) OR FIREABLE(t8108) OR FIREABLE(t8107) OR FIREABLE(t8106) OR FIREABLE(t8105) OR FIREABLE(t8104) OR FIREABLE(t8103) OR FIREABLE(t8102) OR FIREABLE(t8101) OR FIREABLE(t8100) OR FIREABLE(t8099) OR FIREABLE(t8098) OR FIREABLE(t8097) OR FIREABLE(t8096) OR FIREABLE(t8095) OR FIREABLE(t8094) OR FIREABLE(t8093) OR FIREABLE(t8092) OR FIREABLE(t8091) OR FIREABLE(t8090) OR FIREABLE(t8089) OR FIREABLE(t8088) OR FIREABLE(t8087) OR FIREABLE(t8086) OR FIREABLE(t8085) OR FIREABLE(t8084) OR FIREABLE(t8083) OR FIREABLE(t8082) OR FIREABLE(t8081) OR FIREABLE(t8080) OR FIREABLE(t8079) OR FIREABLE(t8078) OR FIREABLE(t8077) OR FIREABLE(t8076) OR FIREABLE(t8075) OR FIREABLE(t8074) OR FIREABLE(t8073) OR FIREABLE(t8072) OR FIREABLE(t8071) OR FIREABLE(t8070) OR FIREABLE(t8069) OR FIREABLE(t8068) OR FIREABLE(t8067) OR FIREABLE(t8066) OR FIREABLE(t8065) OR FIREABLE(t8064) OR FIREABLE(t8063) OR FIREABLE(t8062) OR FIREABLE(t8061) OR FIREABLE(t8060) OR FIREABLE(t8059) OR FIREABLE(t8058) OR FIREABLE(t8057) OR FIREABLE(t8056) OR FIREABLE(t8055) OR FIREABLE(t8054) OR FIREABLE(t8053) OR FIREABLE(t8052) OR FIREABLE(t8051) OR FIREABLE(t8050) OR FIREABLE(t8049) OR FIREABLE(t8048) OR FIREABLE(t8047) OR FIREABLE(t8046) OR FIREABLE(t8045) OR FIREABLE(t8044) OR FIREABLE(t8043) OR FIREABLE(t8042) OR FIREABLE(t8041) OR FIREABLE(t8040) OR FIREABLE(t8039) OR FIREABLE(t8038) OR FIREABLE(t8037) OR FIREABLE(t8036) OR FIREABLE(t8035) OR FIREABLE(t8034) OR FIREABLE(t8033) OR FIREABLE(t8032) OR FIREABLE(t8031) OR FIREABLE(t8030) OR FIREABLE(t8029) OR FIREABLE(t8028) OR FIREABLE(t8027) OR FIREABLE(t8026) OR FIREABLE(t8025) OR FIREABLE(t8024) OR FIREABLE(t8023) OR FIREABLE(t8022) OR FIREABLE(t8021) OR FIREABLE(t8020) OR FIREABLE(t8019) OR FIREABLE(t8018) OR FIREABLE(t8017) OR FIREABLE(t8016) OR FIREABLE(t8015) OR FIREABLE(t8014) OR FIREABLE(t8013) OR FIREABLE(t8012) OR FIREABLE(t8011) OR FIREABLE(t8010) OR FIREABLE(t8009) OR FIREABLE(t8008) OR FIREABLE(t8007) OR FIREABLE(t8006) OR FIREABLE(t8005) OR FIREABLE(t8004) OR FIREABLE(t8003) OR FIREABLE(t8002) OR FIREABLE(t8001) OR FIREABLE(t8000) OR FIREABLE(t7999) OR FIREABLE(t7998) OR FIREABLE(t7997) OR FIREABLE(t7996) OR FIREABLE(t7995) OR FIREABLE(t7994) OR FIREABLE(t7993) OR FIREABLE(t7992) OR FIREABLE(t7991) OR FIREABLE(t7990) OR FIREABLE(t7989) OR FIREABLE(t7988) OR FIREABLE(t7987) OR FIREABLE(t7986) OR FIREABLE(t7985) OR FIREABLE(t7984) OR FIREABLE(t7983) OR FIREABLE(t7982) OR FIREABLE(t7981) OR FIREABLE(t7980) OR FIREABLE(t7979) OR FIREABLE(t7978) OR FIREABLE(t7977) OR FIREABLE(t7976) OR FIREABLE(t7975) OR FIREABLE(t7974) OR FIREABLE(t7973) OR FIREABLE(t7972) OR FIREABLE(t7971) OR FIREABLE(t7970) OR FIREABLE(t7969) OR FIREABLE(t7968) OR FIREABLE(t7967) OR FIREABLE(t7966) OR FIREABLE(t7965) OR FIREABLE(t7964) OR FIREABLE(t7963) OR FIREABLE(t7962) OR FIREABLE(t7961) OR FIREABLE(t7960) OR FIREABLE(t7959) OR FIREABLE(t7958) OR FIREABLE(t7957) OR FIREABLE(t7956) OR FIREABLE(t7955) OR FIREABLE(t7954) OR FIREABLE(t7953) OR FIREABLE(t7952) OR FIREABLE(t7951) OR FIREABLE(t7950) OR FIREABLE(t7949) OR FIREABLE(t7948) OR FIREABLE(t7947) OR FIREABLE(t7946) OR FIREABLE(t7945) OR FIREABLE(t7944) OR FIREABLE(t7943) OR FIREABLE(t7942) OR FIREABLE(t7941) OR FIREABLE(t7940) OR FIREABLE(t7939) OR FIREABLE(t7938) OR FIREABLE(t7937) OR FIREABLE(t7936) OR FIREABLE(t7935) OR FIREABLE(t7934) OR FIREABLE(t7933) OR FIREABLE(t7932) OR FIREABLE(t7931) OR FIREABLE(t7930) OR FIREABLE(t7929) OR FIREABLE(t7928) OR FIREABLE(t7927) OR FIREABLE(t7926) OR FIREABLE(t7925) OR FIREABLE(t7924) OR FIREABLE(t7923) OR FIREABLE(t7922) OR FIREABLE(t7921) OR FIREABLE(t7920) OR FIREABLE(t7919) OR FIREABLE(t7918) OR FIREABLE(t7917) OR FIREABLE(t7916) OR FIREABLE(t7915) OR FIREABLE(t7914) OR FIREABLE(t7913) OR FIREABLE(t7912) OR FIREABLE(t7911) OR FIREABLE(t7910) OR FIREABLE(t7909) OR FIREABLE(t7908) OR FIREABLE(t7907) OR FIREABLE(t7906) OR FIREABLE(t7905) OR FIREABLE(t7904) OR FIREABLE(t7903) OR FIREABLE(t7902) OR FIREABLE(t7901) OR FIREABLE(t7900) OR FIREABLE(t7899) OR FIREABLE(t7898) OR FIREABLE(t7897) OR FIREABLE(t7896) OR FIREABLE(t7895) OR FIREABLE(t7894) OR FIREABLE(t7893) OR FIREABLE(t7892) OR FIREABLE(t7891) OR FIREABLE(t7890) OR FIREABLE(t7889) OR FIREABLE(t7888) OR FIREABLE(t7887) OR FIREABLE(t7886) OR FIREABLE(t7885) OR FIREABLE(t7884) OR FIREABLE(t7883) OR FIREABLE(t7882) OR FIREABLE(t7881) OR FIREABLE(t7880) OR FIREABLE(t7879) OR FIREABLE(t7878) OR FIREABLE(t7877) OR FIREABLE(t7876) OR FIREABLE(t7875) OR FIREABLE(t7874) OR FIREABLE(t7873) OR FIREABLE(t7872) OR FIREABLE(t7871) OR FIREABLE(t7870) OR FIREABLE(t7869) OR FIREABLE(t7868) OR FIREABLE(t7867) OR FIREABLE(t7866) OR FIREABLE(t7865) OR FIREABLE(t7864) OR FIREABLE(t7863) OR FIREABLE(t7862) OR FIREABLE(t7861) OR FIREABLE(t7860) OR FIREABLE(t7859) OR FIREABLE(t7858) OR FIREABLE(t7857) OR FIREABLE(t7856) OR FIREABLE(t7855) OR FIREABLE(t7854) OR FIREABLE(t7853) OR FIREABLE(t7852) OR FIREABLE(t7851) OR FIREABLE(t7850) OR FIREABLE(t7849) OR FIREABLE(t7848) OR FIREABLE(t7847) OR FIREABLE(t7846) OR FIREABLE(t7845) OR FIREABLE(t7844) OR FIREABLE(t7843) OR FIREABLE(t7842) OR FIREABLE(t7841) OR FIREABLE(t7840) OR FIREABLE(t7839) OR FIREABLE(t7838) OR FIREABLE(t7837) OR FIREABLE(t7836) OR FIREABLE(t7835) OR FIREABLE(t7834) OR FIREABLE(t7833) OR FIREABLE(t7832) OR FIREABLE(t7831) OR FIREABLE(t7830) OR FIREABLE(t7829) OR FIREABLE(t7828) OR FIREABLE(t7827) OR FIREABLE(t7826) OR FIREABLE(t7825) OR FIREABLE(t7824) OR FIREABLE(t7823) OR FIREABLE(t7822) OR FIREABLE(t7821) OR FIREABLE(t7820) OR FIREABLE(t7819) OR FIREABLE(t7818) OR FIREABLE(t7817) OR FIREABLE(t7816) OR FIREABLE(t7815) OR FIREABLE(t7814) OR FIREABLE(t7813) OR FIREABLE(t7812) OR FIREABLE(t7811) OR FIREABLE(t7810) OR FIREABLE(t7809) OR FIREABLE(t7808) OR FIREABLE(t7807) OR FIREABLE(t7806) OR FIREABLE(t7805) OR FIREABLE(t7804) OR FIREABLE(t7803) OR FIREABLE(t7802) OR FIREABLE(t7801) OR FIREABLE(t7800) OR FIREABLE(t7799) OR FIREABLE(t7798) OR FIREABLE(t7797) OR FIREABLE(t7796) OR FIREABLE(t7795) OR FIREABLE(t7794) OR FIREABLE(t7793) OR FIREABLE(t7792) OR FIREABLE(t7791) OR FIREABLE(t7790) OR FIREABLE(t7789) OR FIREABLE(t7788) OR FIREABLE(t7787) OR FIREABLE(t7786) OR FIREABLE(t7785) OR FIREABLE(t7784) OR FIREABLE(t7783) OR FIREABLE(t7782) OR FIREABLE(t7781) OR FIREABLE(t7780) OR FIREABLE(t7779) OR FIREABLE(t7778) OR FIREABLE(t7777) OR FIREABLE(t7776) OR FIREABLE(t7775) OR FIREABLE(t7774) OR FIREABLE(t7773) OR FIREABLE(t7772) OR FIREABLE(t7771) OR FIREABLE(t7770) OR FIREABLE(t7769) OR FIREABLE(t7768) OR FIREABLE(t7767) OR FIREABLE(t7766) OR FIREABLE(t7765) OR FIREABLE(t7764) OR FIREABLE(t7763) OR FIREABLE(t7762) OR FIREABLE(t7761) OR FIREABLE(t7760) OR FIREABLE(t7759) OR FIREABLE(t7758) OR FIREABLE(t7757) OR FIREABLE(t7756) OR FIREABLE(t7755) OR FIREABLE(t7754) OR FIREABLE(t7753) OR FIREABLE(t7752) OR FIREABLE(t7751) OR FIREABLE(t7750) OR FIREABLE(t7749) OR FIREABLE(t7748) OR FIREABLE(t7747) OR FIREABLE(t7746) OR FIREABLE(t7745) OR FIREABLE(t7744) OR FIREABLE(t7743) OR FIREABLE(t7742) OR FIREABLE(t7741) OR FIREABLE(t7740) OR FIREABLE(t7739) OR FIREABLE(t7738) OR FIREABLE(t7737) OR FIREABLE(t7736) OR FIREABLE(t7735) OR FIREABLE(t7734) OR FIREABLE(t7733) OR FIREABLE(t7732) OR FIREABLE(t7731) OR FIREABLE(t7730) OR FIREABLE(t7729) OR FIREABLE(t7728) OR FIREABLE(t7727) OR FIREABLE(t7726) OR FIREABLE(t7725) OR FIREABLE(t7724) OR FIREABLE(t7723) OR FIREABLE(t7722) OR FIREABLE(t7721) OR FIREABLE(t7720) OR FIREABLE(t7719) OR FIREABLE(t7718) OR FIREABLE(t7717) OR FIREABLE(t7716) OR FIREABLE(t7715) OR FIREABLE(t7714) OR FIREABLE(t7713) OR FIREABLE(t7712) OR FIREABLE(t7711) OR FIREABLE(t7710) OR FIREABLE(t7709) OR FIREABLE(t7708) OR FIREABLE(t7707) OR FIREABLE(t7706) OR FIREABLE(t7705) OR FIREABLE(t7704) OR FIREABLE(t7703) OR FIREABLE(t7702) OR FIREABLE(t7701) OR FIREABLE(t7700) OR FIREABLE(t7699) OR FIREABLE(t7698) OR FIREABLE(t7697) OR FIREABLE(t7696) OR FIREABLE(t7695) OR FIREABLE(t7694) OR FIREABLE(t7693) OR FIREABLE(t7692) OR FIREABLE(t7691) OR FIREABLE(t7690) OR FIREABLE(t7689) OR FIREABLE(t7688) OR FIREABLE(t7687) OR FIREABLE(t7686) OR FIREABLE(t7685) OR FIREABLE(t7684) OR FIREABLE(t7683) OR FIREABLE(t7682) OR FIREABLE(t7681) OR FIREABLE(t7680) OR FIREABLE(t7679) OR FIREABLE(t7678) OR FIREABLE(t7677) OR FIREABLE(t7676) OR FIREABLE(t7675) OR FIREABLE(t7674) OR FIREABLE(t7673) OR FIREABLE(t7672) OR FIREABLE(t7671) OR FIREABLE(t7670) OR FIREABLE(t7669) OR FIREABLE(t7668) OR FIREABLE(t7667) OR FIREABLE(t7666) OR FIREABLE(t7665) OR FIREABLE(t7664) OR FIREABLE(t7663) OR FIREABLE(t7662) OR FIREABLE(t7661) OR FIREABLE(t7660) OR FIREABLE(t7659) OR FIREABLE(t7658) OR FIREABLE(t7657) OR FIREABLE(t7656) OR FIREABLE(t7655) OR FIREABLE(t7654) OR FIREABLE(t7653) OR FIREABLE(t7652) OR FIREABLE(t7651) OR FIREABLE(t7650) OR FIREABLE(t7649) OR FIREABLE(t7648) OR FIREABLE(t7647) OR FIREABLE(t7646) OR FIREABLE(t7645) OR FIREABLE(t7644) OR FIREABLE(t7643) OR FIREABLE(t7642) OR FIREABLE(t7641) OR FIREABLE(t7640) OR FIREABLE(t7639) OR FIREABLE(t7638) OR FIREABLE(t7637) OR FIREABLE(t7636) OR FIREABLE(t7635) OR FIREABLE(t7634) OR FIREABLE(t7633) OR FIREABLE(t7632) OR FIREABLE(t7631) OR FIREABLE(t7630) OR FIREABLE(t7629) OR FIREABLE(t7628) OR FIREABLE(t7627) OR FIREABLE(t7626) OR FIREABLE(t7625) OR FIREABLE(t7624) OR FIREABLE(t7623) OR FIREABLE(t7622) OR FIREABLE(t7621) OR FIREABLE(t7620) OR FIREABLE(t7619) OR FIREABLE(t7618) OR FIREABLE(t7617) OR FIREABLE(t7616) OR FIREABLE(t7615) OR FIREABLE(t7614) OR FIREABLE(t7613) OR FIREABLE(t7612) OR FIREABLE(t7611) OR FIREABLE(t7610) OR FIREABLE(t7609) OR FIREABLE(t7608) OR FIREABLE(t7607) OR FIREABLE(t7606) OR FIREABLE(t7605) OR FIREABLE(t7604) OR FIREABLE(t7603) OR FIREABLE(t7602) OR FIREABLE(t7601) OR FIREABLE(t7600) OR FIREABLE(t7599) OR FIREABLE(t7598) OR FIREABLE(t7597) OR FIREABLE(t7596) OR FIREABLE(t7595) OR FIREABLE(t7594) OR FIREABLE(t7593) OR FIREABLE(t7592) OR FIREABLE(t7591) OR FIREABLE(t7590) OR FIREABLE(t7589) OR FIREABLE(t7588) OR FIREABLE(t7587) OR FIREABLE(t7586) OR FIREABLE(t7585) OR FIREABLE(t7584) OR FIREABLE(t7583) OR FIREABLE(t7582) OR FIREABLE(t7581) OR FIREABLE(t7580) OR FIREABLE(t7579) OR FIREABLE(t7578) OR FIREABLE(t7577) OR FIREABLE(t7576) OR FIREABLE(t7575) OR FIREABLE(t7574) OR FIREABLE(t7573) OR FIREABLE(t7572) OR FIREABLE(t7571) OR FIREABLE(t7570) OR FIREABLE(t7569) OR FIREABLE(t7568) OR FIREABLE(t7567) OR FIREABLE(t7566) OR FIREABLE(t7565) OR FIREABLE(t7564) OR FIREABLE(t7563) OR FIREABLE(t7562) OR FIREABLE(t7561) OR FIREABLE(t7560) OR FIREABLE(t7559) OR FIREABLE(t7558) OR FIREABLE(t7557) OR FIREABLE(t7556) OR FIREABLE(t7555) OR FIREABLE(t7554) OR FIREABLE(t7553) OR FIREABLE(t7552) OR FIREABLE(t7551) OR FIREABLE(t7550) OR FIREABLE(t7549) OR FIREABLE(t7548) OR FIREABLE(t7547) OR FIREABLE(t7546) OR FIREABLE(t7545) OR FIREABLE(t7544) OR FIREABLE(t7543) OR FIREABLE(t7542) OR FIREABLE(t7541) OR FIREABLE(t7540) OR FIREABLE(t7539) OR FIREABLE(t7538) OR FIREABLE(t7537) OR FIREABLE(t7536) OR FIREABLE(t7535) OR FIREABLE(t7534) OR FIREABLE(t7533) OR FIREABLE(t7532) OR FIREABLE(t7531) OR FIREABLE(t7530) OR FIREABLE(t7529) OR FIREABLE(t7528) OR FIREABLE(t7527) OR FIREABLE(t7526) OR FIREABLE(t7525) OR FIREABLE(t7524) OR FIREABLE(t7523) OR FIREABLE(t7522) OR FIREABLE(t7521) OR FIREABLE(t7520) OR FIREABLE(t7519) OR FIREABLE(t7518) OR FIREABLE(t7517) OR FIREABLE(t7516) OR FIREABLE(t7515) OR FIREABLE(t7514) OR FIREABLE(t7513) OR FIREABLE(t7512) OR FIREABLE(t7511) OR FIREABLE(t7510) OR FIREABLE(t7509) OR FIREABLE(t7508) OR FIREABLE(t7507) OR FIREABLE(t7506) OR FIREABLE(t7505) OR FIREABLE(t7504) OR FIREABLE(t7503) OR FIREABLE(t7502) OR FIREABLE(t7501) OR FIREABLE(t7500) OR FIREABLE(t7499) OR FIREABLE(t7498) OR FIREABLE(t7497) OR FIREABLE(t7496) OR FIREABLE(t7495) OR FIREABLE(t7494) OR FIREABLE(t7493) OR FIREABLE(t7492) OR FIREABLE(t7491) OR FIREABLE(t7490) OR FIREABLE(t7489) OR FIREABLE(t7488) OR FIREABLE(t7487) OR FIREABLE(t7486) OR FIREABLE(t7485) OR FIREABLE(t7484) OR FIREABLE(t7483) OR FIREABLE(t7482) OR FIREABLE(t7481) OR FIREABLE(t7480) OR FIREABLE(t7479) OR FIREABLE(t7478) OR FIREABLE(t7477) OR FIREABLE(t7476) OR FIREABLE(t7475) OR FIREABLE(t7474) OR FIREABLE(t7473) OR FIREABLE(t7472) OR FIREABLE(t7471) OR FIREABLE(t7470) OR FIREABLE(t7469) OR FIREABLE(t7468) OR FIREABLE(t7467) OR FIREABLE(t7466) OR FIREABLE(t7465) OR FIREABLE(t7464) OR FIREABLE(t7463) OR FIREABLE(t7462) OR FIREABLE(t7461) OR FIREABLE(t7460) OR FIREABLE(t7459) OR FIREABLE(t7458) OR FIREABLE(t7457) OR FIREABLE(t7456) OR FIREABLE(t7455) OR FIREABLE(t7454) OR FIREABLE(t7453) OR FIREABLE(t7452) OR FIREABLE(t7451) OR FIREABLE(t7450) OR FIREABLE(t7449) OR FIREABLE(t7448) OR FIREABLE(t7447) OR FIREABLE(t7446) OR FIREABLE(t7445) OR FIREABLE(t7444) OR FIREABLE(t7443) OR FIREABLE(t7442) OR FIREABLE(t7441) OR FIREABLE(t7440) OR FIREABLE(t7439) OR FIREABLE(t7438) OR FIREABLE(t7437) OR FIREABLE(t7436) OR FIREABLE(t7435) OR FIREABLE(t7434) OR FIREABLE(t7433) OR FIREABLE(t7432) OR FIREABLE(t7431) OR FIREABLE(t7430) OR FIREABLE(t7429) OR FIREABLE(t7428) OR FIREABLE(t7427) OR FIREABLE(t7426) OR FIREABLE(t7425) OR FIREABLE(t7424) OR FIREABLE(t7423) OR FIREABLE(t7422) OR FIREABLE(t7421) OR FIREABLE(t7420) OR FIREABLE(t7419) OR FIREABLE(t7418) OR FIREABLE(t7417) OR FIREABLE(t7416) OR FIREABLE(t7415) OR FIREABLE(t7414) OR FIREABLE(t7413) OR FIREABLE(t7412) OR FIREABLE(t7411) OR FIREABLE(t7410) OR FIREABLE(t7409) OR FIREABLE(t7408) OR FIREABLE(t7407) OR FIREABLE(t7406) OR FIREABLE(t7405) OR FIREABLE(t7404) OR FIREABLE(t7403) OR FIREABLE(t7402) OR FIREABLE(t7401) OR FIREABLE(t7400) OR FIREABLE(t7399) OR FIREABLE(t7398) OR FIREABLE(t7397) OR FIREABLE(t7396) OR FIREABLE(t7395) OR FIREABLE(t7394) OR FIREABLE(t7393) OR FIREABLE(t7392) OR FIREABLE(t7391) OR FIREABLE(t7390) OR FIREABLE(t7389) OR FIREABLE(t7388) OR FIREABLE(t7387) OR FIREABLE(t7386) OR FIREABLE(t7385) OR FIREABLE(t7384) OR FIREABLE(t7383) OR FIREABLE(t7382) OR FIREABLE(t7381) OR FIREABLE(t7380) OR FIREABLE(t7379) OR FIREABLE(t7378) OR FIREABLE(t7377) OR FIREABLE(t7376) OR FIREABLE(t7375) OR FIREABLE(t7374) OR FIREABLE(t7373) OR FIREABLE(t7372) OR FIREABLE(t7371) OR FIREABLE(t7370) OR FIREABLE(t7369) OR FIREABLE(t7368) OR FIREABLE(t7367) OR FIREABLE(t7366) OR FIREABLE(t7365) OR FIREABLE(t7364) OR FIREABLE(t7363) OR FIREABLE(t7362) OR FIREABLE(t7361) OR FIREABLE(t7360) OR FIREABLE(t7359) OR FIREABLE(t7358) OR FIREABLE(t7357) OR FIREABLE(t7356) OR FIREABLE(t7355) OR FIREABLE(t7354) OR FIREABLE(t7353) OR FIREABLE(t7352) OR FIREABLE(t7351) OR FIREABLE(t7350) OR FIREABLE(t7349) OR FIREABLE(t7348) OR FIREABLE(t7347) OR FIREABLE(t7346) OR FIREABLE(t7345) OR FIREABLE(t7344) OR FIREABLE(t7343) OR FIREABLE(t7342) OR FIREABLE(t7341) OR FIREABLE(t7340) OR FIREABLE(t7339) OR FIREABLE(t7338) OR FIREABLE(t7337) OR FIREABLE(t7336) OR FIREABLE(t7335) OR FIREABLE(t7334) OR FIREABLE(t7333) OR FIREABLE(t7332) OR FIREABLE(t7331) OR FIREABLE(t7330) OR FIREABLE(t7329) OR FIREABLE(t7328) OR FIREABLE(t7327) OR FIREABLE(t7326) OR FIREABLE(t7325) OR FIREABLE(t7324) OR FIREABLE(t7323) OR FIREABLE(t7322) OR FIREABLE(t7321) OR FIREABLE(t7320) OR FIREABLE(t7319) OR FIREABLE(t7318) OR FIREABLE(t7317) OR FIREABLE(t7316) OR FIREABLE(t7315) OR FIREABLE(t7314) OR FIREABLE(t7313) OR FIREABLE(t7312) OR FIREABLE(t7311) OR FIREABLE(t7310) OR FIREABLE(t7309) OR FIREABLE(t7308) OR FIREABLE(t7307) OR FIREABLE(t7306) OR FIREABLE(t7305) OR FIREABLE(t7304) OR FIREABLE(t7303) OR FIREABLE(t7302) OR FIREABLE(t7301) OR FIREABLE(t7300) OR FIREABLE(t7299) OR FIREABLE(t7298) OR FIREABLE(t7297) OR FIREABLE(t7296) OR FIREABLE(t7295) OR FIREABLE(t7294) OR FIREABLE(t7293) OR FIREABLE(t7292) OR FIREABLE(t7291) OR FIREABLE(t7290) OR FIREABLE(t7289) OR FIREABLE(t7288) OR FIREABLE(t7287) OR FIREABLE(t7286) OR FIREABLE(t7285) OR FIREABLE(t7284) OR FIREABLE(t7283) OR FIREABLE(t7282) OR FIREABLE(t7281) OR FIREABLE(t7280) OR FIREABLE(t7279) OR FIREABLE(t7278) OR FIREABLE(t7277) OR FIREABLE(t7276) OR FIREABLE(t7275) OR FIREABLE(t7274) OR FIREABLE(t7273) OR FIREABLE(t7272) OR FIREABLE(t7271) OR FIREABLE(t7270) OR FIREABLE(t7269) OR FIREABLE(t7268) OR FIREABLE(t7267) OR FIREABLE(t7266) OR FIREABLE(t7265) OR FIREABLE(t7264) OR FIREABLE(t7263) OR FIREABLE(t7262) OR FIREABLE(t7261) OR FIREABLE(t7260) OR FIREABLE(t7259) OR FIREABLE(t7258) OR FIREABLE(t7257) OR FIREABLE(t7256) OR FIREABLE(t7255) OR FIREABLE(t7254) OR FIREABLE(t7253) OR FIREABLE(t7252) OR FIREABLE(t7251) OR FIREABLE(t7250) OR FIREABLE(t7249) OR FIREABLE(t7248) OR FIREABLE(t7247) OR FIREABLE(t7246) OR FIREABLE(t7245) OR FIREABLE(t7244) OR FIREABLE(t7243) OR FIREABLE(t7242) OR FIREABLE(t7241) OR FIREABLE(t7240) OR FIREABLE(t7239) OR FIREABLE(t7238) OR FIREABLE(t7237) OR FIREABLE(t7236) OR FIREABLE(t7235) OR FIREABLE(t7234) OR FIREABLE(t7233) OR FIREABLE(t7232) OR FIREABLE(t7231) OR FIREABLE(t7230) OR FIREABLE(t7229) OR FIREABLE(t7228) OR FIREABLE(t7227) OR FIREABLE(t7226) OR FIREABLE(t7225) OR FIREABLE(t7224) OR FIREABLE(t7223) OR FIREABLE(t7222) OR FIREABLE(t7221) OR FIREABLE(t7220) OR FIREABLE(t7219) OR FIREABLE(t7218) OR FIREABLE(t7217) OR FIREABLE(t7216) OR FIREABLE(t7215) OR FIREABLE(t7214) OR FIREABLE(t7213) OR FIREABLE(t7212) OR FIREABLE(t7211) OR FIREABLE(t7210) OR FIREABLE(t7209) OR FIREABLE(t7208) OR FIREABLE(t7207) OR FIREABLE(t7206) OR FIREABLE(t7205) OR FIREABLE(t7204) OR FIREABLE(t7203) OR FIREABLE(t7202) OR FIREABLE(t7201) OR FIREABLE(t7200) OR FIREABLE(t7199) OR FIREABLE(t7198) OR FIREABLE(t7197) OR FIREABLE(t7196) OR FIREABLE(t7195) OR FIREABLE(t7194) OR FIREABLE(t7193) OR FIREABLE(t7192) OR FIREABLE(t7191) OR FIREABLE(t7190) OR FIREABLE(t7189) OR FIREABLE(t7188) OR FIREABLE(t7187) OR FIREABLE(t7186) OR FIREABLE(t7185) OR FIREABLE(t7184) OR FIREABLE(t7183) OR FIREABLE(t7182) OR FIREABLE(t7181) OR FIREABLE(t7180) OR FIREABLE(t7179) OR FIREABLE(t7178) OR FIREABLE(t7177) OR FIREABLE(t7176) OR FIREABLE(t7175) OR FIREABLE(t7174) OR FIREABLE(t7173) OR FIREABLE(t7172) OR FIREABLE(t7171) OR FIREABLE(t7170) OR FIREABLE(t7169) OR FIREABLE(t7168) OR FIREABLE(t7167) OR FIREABLE(t7166) OR FIREABLE(t7165) OR FIREABLE(t7164) OR FIREABLE(t7163) OR FIREABLE(t7162) OR FIREABLE(t7161) OR FIREABLE(t7160) OR FIREABLE(t7159) OR FIREABLE(t7158) OR FIREABLE(t7157) OR FIREABLE(t7156) OR FIREABLE(t7155) OR FIREABLE(t7154) OR FIREABLE(t7153) OR FIREABLE(t7152) OR FIREABLE(t7151) OR FIREABLE(t7150) OR FIREABLE(t7149) OR FIREABLE(t7148) OR FIREABLE(t7147) OR FIREABLE(t7146) OR FIREABLE(t7145) OR FIREABLE(t7144) OR FIREABLE(t7143) OR FIREABLE(t7142) OR FIREABLE(t7141) OR FIREABLE(t7140) OR FIREABLE(t7139) OR FIREABLE(t7138) OR FIREABLE(t7137) OR FIREABLE(t7136) OR FIREABLE(t7135) OR FIREABLE(t7134) OR FIREABLE(t7133) OR FIREABLE(t7132) OR FIREABLE(t7131) OR FIREABLE(t7130) OR FIREABLE(t7129) OR FIREABLE(t7128) OR FIREABLE(t7127) OR FIREABLE(t7126) OR FIREABLE(t7125) OR FIREABLE(t7124) OR FIREABLE(t7123) OR FIREABLE(t7122) OR FIREABLE(t7121) OR FIREABLE(t7120) OR FIREABLE(t7119) OR FIREABLE(t7118) OR FIREABLE(t7117) OR FIREABLE(t7116) OR FIREABLE(t7115) OR FIREABLE(t7114) OR FIREABLE(t7113) OR FIREABLE(t7112) OR FIREABLE(t7111) OR FIREABLE(t7110) OR FIREABLE(t7109) OR FIREABLE(t7108) OR FIREABLE(t7107) OR FIREABLE(t7106) OR FIREABLE(t7105) OR FIREABLE(t7104) OR FIREABLE(t7103) OR FIREABLE(t7102) OR FIREABLE(t7101) OR FIREABLE(t7100) OR FIREABLE(t7099) OR FIREABLE(t7098) OR FIREABLE(t7097) OR FIREABLE(t7096) OR FIREABLE(t7095) OR FIREABLE(t7094) OR FIREABLE(t7093) OR FIREABLE(t7092) OR FIREABLE(t7091) OR FIREABLE(t7090) OR FIREABLE(t7089) OR FIREABLE(t7088) OR FIREABLE(t7087) OR FIREABLE(t7086) OR FIREABLE(t7085) OR FIREABLE(t7084) OR FIREABLE(t7083) OR FIREABLE(t7082) OR FIREABLE(t7081) OR FIREABLE(t7080) OR FIREABLE(t7079) OR FIREABLE(t7078) OR FIREABLE(t7077) OR FIREABLE(t7076) OR FIREABLE(t7075) OR FIREABLE(t7074) OR FIREABLE(t7073) OR FIREABLE(t7072) OR FIREABLE(t7071) OR FIREABLE(t7070) OR FIREABLE(t7069) OR FIREABLE(t7068) OR FIREABLE(t7067) OR FIREABLE(t7066) OR FIREABLE(t7065) OR FIREABLE(t7064) OR FIREABLE(t7063) OR FIREABLE(t7062) OR FIREABLE(t7061) OR FIREABLE(t7060) OR FIREABLE(t7059) OR FIREABLE(t7058) OR FIREABLE(t7057) OR FIREABLE(t7056) OR FIREABLE(t7055) OR FIREABLE(t7054) OR FIREABLE(t7053) OR FIREABLE(t7052) OR FIREABLE(t7051) OR FIREABLE(t7050) OR FIREABLE(t7049) OR FIREABLE(t7048) OR FIREABLE(t7047) OR FIREABLE(t7046) OR FIREABLE(t7045) OR FIREABLE(t7044) OR FIREABLE(t7043) OR FIREABLE(t7042) OR FIREABLE(t7041) OR FIREABLE(t7040) OR FIREABLE(t7039) OR FIREABLE(t7038) OR FIREABLE(t7037) OR FIREABLE(t7036) OR FIREABLE(t7035) OR FIREABLE(t7034) OR FIREABLE(t7033) OR FIREABLE(t7032) OR FIREABLE(t7031) OR FIREABLE(t7030) OR FIREABLE(t7029) OR FIREABLE(t7028) OR FIREABLE(t7027) OR FIREABLE(t7026) OR FIREABLE(t7025) OR FIREABLE(t7024) OR FIREABLE(t7023) OR FIREABLE(t7022) OR FIREABLE(t7021) OR FIREABLE(t7020) OR FIREABLE(t7019) OR FIREABLE(t7018) OR FIREABLE(t7017) OR FIREABLE(t7016) OR FIREABLE(t7015) OR FIREABLE(t7014) OR FIREABLE(t7013) OR FIREABLE(t7012) OR FIREABLE(t7011) OR FIREABLE(t7010) OR FIREABLE(t7009) OR FIREABLE(t7008) OR FIREABLE(t7007) OR FIREABLE(t7006) OR FIREABLE(t7005) OR FIREABLE(t7004) OR FIREABLE(t7003) OR FIREABLE(t7002) OR FIREABLE(t7001) OR FIREABLE(t7000) OR FIREABLE(t6999) OR FIREABLE(t6998) OR FIREABLE(t6997) OR FIREABLE(t6996) OR FIREABLE(t6995) OR FIREABLE(t6994) OR FIREABLE(t6993) OR FIREABLE(t6992) OR FIREABLE(t6991) OR FIREABLE(t6990) OR FIREABLE(t6989) OR FIREABLE(t6988) OR FIREABLE(t6987) OR FIREABLE(t6986) OR FIREABLE(t6985) OR FIREABLE(t6984) OR FIREABLE(t6983) OR FIREABLE(t6982) OR FIREABLE(t6981) OR FIREABLE(t6980) OR FIREABLE(t6979) OR FIREABLE(t6978) OR FIREABLE(t6977) OR FIREABLE(t6976) OR FIREABLE(t6975) OR FIREABLE(t6974) OR FIREABLE(t6973) OR FIREABLE(t6972) OR FIREABLE(t6971) OR FIREABLE(t6970) OR FIREABLE(t6969) OR FIREABLE(t6968) OR FIREABLE(t6967) OR FIREABLE(t6966) OR FIREABLE(t6965) OR FIREABLE(t6964) OR FIREABLE(t6963) OR FIREABLE(t6962) OR FIREABLE(t6961) OR FIREABLE(t6960) OR FIREABLE(t6959) OR FIREABLE(t6958) OR FIREABLE(t6957) OR FIREABLE(t6956) OR FIREABLE(t6955) OR FIREABLE(t6954) OR FIREABLE(t6953) OR FIREABLE(t6952) OR FIREABLE(t6951) OR FIREABLE(t6950) OR FIREABLE(t6949) OR FIREABLE(t6948) OR FIREABLE(t6947) OR FIREABLE(t6946) OR FIREABLE(t6945) OR FIREABLE(t6944) OR FIREABLE(t6943) OR FIREABLE(t6942) OR FIREABLE(t6941) OR FIREABLE(t6940) OR FIREABLE(t6939) OR FIREABLE(t6938) OR FIREABLE(t6937) OR FIREABLE(t6936) OR FIREABLE(t6935) OR FIREABLE(t6934) OR FIREABLE(t6933) OR FIREABLE(t6932) OR FIREABLE(t6931) OR FIREABLE(t6930) OR FIREABLE(t6929) OR FIREABLE(t6928) OR FIREABLE(t6927) OR FIREABLE(t6926) OR FIREABLE(t6925) OR FIREABLE(t6924) OR FIREABLE(t6923) OR FIREABLE(t6922) OR FIREABLE(t6921) OR FIREABLE(t6920) OR FIREABLE(t6919) OR FIREABLE(t6918) OR FIREABLE(t6917) OR FIREABLE(t6916) OR FIREABLE(t6915) OR FIREABLE(t6914) OR FIREABLE(t6913) OR FIREABLE(t6912) OR FIREABLE(t6911) OR FIREABLE(t6910) OR FIREABLE(t6909) OR FIREABLE(t6908) OR FIREABLE(t6907) OR FIREABLE(t6906) OR FIREABLE(t6905) OR FIREABLE(t6904) OR FIREABLE(t6903) OR FIREABLE(t6902) OR FIREABLE(t6901) OR FIREABLE(t6900) OR FIREABLE(t6899) OR FIREABLE(t6898) OR FIREABLE(t6897) OR FIREABLE(t6896) OR FIREABLE(t6895) OR FIREABLE(t6894) OR FIREABLE(t6893) OR FIREABLE(t6892) OR FIREABLE(t6891) OR FIREABLE(t6890) OR FIREABLE(t6889) OR FIREABLE(t6888) OR FIREABLE(t6887) OR FIREABLE(t6886) OR FIREABLE(t6885) OR FIREABLE(t6884) OR FIREABLE(t6883) OR FIREABLE(t6882) OR FIREABLE(t6881) OR FIREABLE(t6880) OR FIREABLE(t6879) OR FIREABLE(t6878) OR FIREABLE(t6877) OR FIREABLE(t6876) OR FIREABLE(t6875) OR FIREABLE(t6874) OR FIREABLE(t6873) OR FIREABLE(t6872) OR FIREABLE(t6871) OR FIREABLE(t6870) OR FIREABLE(t6869) OR FIREABLE(t6868) OR FIREABLE(t6867) OR FIREABLE(t6866) OR FIREABLE(t6865) OR FIREABLE(t6864) OR FIREABLE(t6863) OR FIREABLE(t6862) OR FIREABLE(t6861) OR FIREABLE(t6860) OR FIREABLE(t6859) OR FIREABLE(t6858) OR FIREABLE(t6857) OR FIREABLE(t6856) OR FIREABLE(t6855) OR FIREABLE(t6854) OR FIREABLE(t6853) OR FIREABLE(t6852) OR FIREABLE(t6851) OR FIREABLE(t6850) OR FIREABLE(t6849) OR FIREABLE(t6848) OR FIREABLE(t6847) OR FIREABLE(t6846) OR FIREABLE(t6845) OR FIREABLE(t6844) OR FIREABLE(t6843) OR FIREABLE(t6842) OR FIREABLE(t6841) OR FIREABLE(t6840) OR FIREABLE(t6839) OR FIREABLE(t6838) OR FIREABLE(t6837) OR FIREABLE(t6836) OR FIREABLE(t6835) OR FIREABLE(t6834) OR FIREABLE(t6833) OR FIREABLE(t6832) OR FIREABLE(t6831) OR FIREABLE(t6830) OR FIREABLE(t6829) OR FIREABLE(t6828) OR FIREABLE(t6827) OR FIREABLE(t6826) OR FIREABLE(t6825) OR FIREABLE(t6824) OR FIREABLE(t6823) OR FIREABLE(t6822) OR FIREABLE(t6821) OR FIREABLE(t6820) OR FIREABLE(t6819) OR FIREABLE(t6818) OR FIREABLE(t6817) OR FIREABLE(t6816) OR FIREABLE(t6815) OR FIREABLE(t6814) OR FIREABLE(t6813) OR FIREABLE(t6812) OR FIREABLE(t6811) OR FIREABLE(t6810) OR FIREABLE(t6809) OR FIREABLE(t6808) OR FIREABLE(t6807) OR FIREABLE(t6806) OR FIREABLE(t6805) OR FIREABLE(t6804) OR FIREABLE(t6803) OR FIREABLE(t6802) OR FIREABLE(t6801) OR FIREABLE(t6800) OR FIREABLE(t6799) OR FIREABLE(t6798) OR FIREABLE(t6797) OR FIREABLE(t6796) OR FIREABLE(t6795) OR FIREABLE(t6794) OR FIREABLE(t6793) OR FIREABLE(t6792) OR FIREABLE(t6791) OR FIREABLE(t6790) OR FIREABLE(t6789) OR FIREABLE(t6788) OR FIREABLE(t6787) OR FIREABLE(t6786) OR FIREABLE(t6785) OR FIREABLE(t6784) OR FIREABLE(t6783) OR FIREABLE(t6782) OR FIREABLE(t6781) OR FIREABLE(t6780) OR FIREABLE(t6779) OR FIREABLE(t6778) OR FIREABLE(t6777) OR FIREABLE(t6776) OR FIREABLE(t6775) OR FIREABLE(t6774) OR FIREABLE(t6773) OR FIREABLE(t6772) OR FIREABLE(t6771) OR FIREABLE(t6770) OR FIREABLE(t6769) OR FIREABLE(t6768) OR FIREABLE(t6767) OR FIREABLE(t6766) OR FIREABLE(t6765) OR FIREABLE(t6764) OR FIREABLE(t6763) OR FIREABLE(t6762) OR FIREABLE(t6761) OR FIREABLE(t6760) OR FIREABLE(t6759) OR FIREABLE(t6758) OR FIREABLE(t6757) OR FIREABLE(t6756) OR FIREABLE(t6755) OR FIREABLE(t6754) OR FIREABLE(t6753) OR FIREABLE(t6752) OR FIREABLE(t6751) OR FIREABLE(t6750) OR FIREABLE(t6749) OR FIREABLE(t6748) OR FIREABLE(t6747) OR FIREABLE(t6746) OR FIREABLE(t6745) OR FIREABLE(t6744) OR FIREABLE(t6743) OR FIREABLE(t6742) OR FIREABLE(t6741) OR FIREABLE(t6740) OR FIREABLE(t6739) OR FIREABLE(t6738) OR FIREABLE(t6737) OR FIREABLE(t6736) OR FIREABLE(t6735) OR FIREABLE(t6734) OR FIREABLE(t6733) OR FIREABLE(t6732) OR FIREABLE(t6731) OR FIREABLE(t6730) OR FIREABLE(t6729) OR FIREABLE(t6728) OR FIREABLE(t6727) OR FIREABLE(t6726) OR FIREABLE(t6725) OR FIREABLE(t6724) OR FIREABLE(t6723) OR FIREABLE(t6722) OR FIREABLE(t6721) OR FIREABLE(t6720) OR FIREABLE(t6719) OR FIREABLE(t6718) OR FIREABLE(t6717) OR FIREABLE(t6716) OR FIREABLE(t6715) OR FIREABLE(t6714) OR FIREABLE(t6713) OR FIREABLE(t6712) OR FIREABLE(t6711) OR FIREABLE(t6710) OR FIREABLE(t6709) OR FIREABLE(t6708) OR FIREABLE(t6707) OR FIREABLE(t6706) OR FIREABLE(t6705) OR FIREABLE(t6704) OR FIREABLE(t6703) OR FIREABLE(t6702) OR FIREABLE(t6701) OR FIREABLE(t6700) OR FIREABLE(t6699) OR FIREABLE(t6698) OR FIREABLE(t6697) OR FIREABLE(t6696) OR FIREABLE(t6695) OR FIREABLE(t6694) OR FIREABLE(t6693) OR FIREABLE(t6692) OR FIREABLE(t6691) OR FIREABLE(t6690) OR FIREABLE(t6689) OR FIREABLE(t6688) OR FIREABLE(t6687) OR FIREABLE(t6686) OR FIREABLE(t6685) OR FIREABLE(t6684) OR FIREABLE(t6683) OR FIREABLE(t6682) OR FIREABLE(t6681) OR FIREABLE(t6680) OR FIREABLE(t6679) OR FIREABLE(t6678) OR FIREABLE(t6677) OR FIREABLE(t6676) OR FIREABLE(t6675) OR FIREABLE(t6674) OR FIREABLE(t6673) OR FIREABLE(t6672) OR FIREABLE(t6671) OR FIREABLE(t6670) OR FIREABLE(t6669) OR FIREABLE(t6668) OR FIREABLE(t6667) OR FIREABLE(t6666) OR FIREABLE(t6665) OR FIREABLE(t6664) OR FIREABLE(t6663) OR FIREABLE(t6662) OR FIREABLE(t6661) OR FIREABLE(t6660) OR FIREABLE(t6659) OR FIREABLE(t6658) OR FIREABLE(t6657) OR FIREABLE(t6656) OR FIREABLE(t6655) OR FIREABLE(t6654) OR FIREABLE(t6653) OR FIREABLE(t6652) OR FIREABLE(t6651) OR FIREABLE(t6650) OR FIREABLE(t6649) OR FIREABLE(t6648) OR FIREABLE(t6647) OR FIREABLE(t6646) OR FIREABLE(t6645) OR FIREABLE(t6644) OR FIREABLE(t6643) OR FIREABLE(t6642) OR FIREABLE(t6641) OR FIREABLE(t6640) OR FIREABLE(t6639) OR FIREABLE(t6638) OR FIREABLE(t6637) OR FIREABLE(t6636) OR FIREABLE(t6635) OR FIREABLE(t6634) OR FIREABLE(t6633) OR FIREABLE(t6632) OR FIREABLE(t6631) OR FIREABLE(t6630) OR FIREABLE(t6629) OR FIREABLE(t6628) OR FIREABLE(t6627) OR FIREABLE(t6626) OR FIREABLE(t6625) OR FIREABLE(t6624) OR FIREABLE(t6623) OR FIREABLE(t6622) OR FIREABLE(t6621) OR FIREABLE(t6620) OR FIREABLE(t6619) OR FIREABLE(t6618) OR FIREABLE(t6617) OR FIREABLE(t6616) OR FIREABLE(t6615) OR FIREABLE(t6614) OR FIREABLE(t6613) OR FIREABLE(t6612) OR FIREABLE(t6611) OR FIREABLE(t6610) OR FIREABLE(t6609) OR FIREABLE(t6608) OR FIREABLE(t6607) OR FIREABLE(t6606) OR FIREABLE(t6605) OR FIREABLE(t6604) OR FIREABLE(t6603) OR FIREABLE(t6602) OR FIREABLE(t6601) OR FIREABLE(t6600) OR FIREABLE(t6599) OR FIREABLE(t6598) OR FIREABLE(t6597) OR FIREABLE(t6596) OR FIREABLE(t6595) OR FIREABLE(t6594) OR FIREABLE(t6593) OR FIREABLE(t6592) OR FIREABLE(t6591) OR FIREABLE(t6590) OR FIREABLE(t6589) OR FIREABLE(t6588) OR FIREABLE(t6587) OR FIREABLE(t6586) OR FIREABLE(t6585) OR FIREABLE(t6584) OR FIREABLE(t6583) OR FIREABLE(t6582) OR FIREABLE(t6581) OR FIREABLE(t6580) OR FIREABLE(t6579) OR FIREABLE(t6578) OR FIREABLE(t6577) OR FIREABLE(t6576) OR FIREABLE(t6575) OR FIREABLE(t6574) OR FIREABLE(t6573) OR FIREABLE(t6572) OR FIREABLE(t6571) OR FIREABLE(t6570) OR FIREABLE(t6569) OR FIREABLE(t6568) OR FIREABLE(t6567) OR FIREABLE(t6566) OR FIREABLE(t6565) OR FIREABLE(t6564) OR FIREABLE(t6563) OR FIREABLE(t6562) OR FIREABLE(t6561) OR FIREABLE(t6560) OR FIREABLE(t6559) OR FIREABLE(t6558) OR FIREABLE(t6557) OR FIREABLE(t6556) OR FIREABLE(t6555) OR FIREABLE(t6554) OR FIREABLE(t6553) OR FIREABLE(t6552) OR FIREABLE(t6551) OR FIREABLE(t6550) OR FIREABLE(t6549) OR FIREABLE(t6548) OR FIREABLE(t6547) OR FIREABLE(t6546) OR FIREABLE(t6545) OR FIREABLE(t6544) OR FIREABLE(t6543) OR FIREABLE(t6542) OR FIREABLE(t6541) OR FIREABLE(t6540) OR FIREABLE(t6539) OR FIREABLE(t6538) OR FIREABLE(t6537) OR FIREABLE(t6536) OR FIREABLE(t6535) OR FIREABLE(t6534) OR FIREABLE(t6533) OR FIREABLE(t6532) OR FIREABLE(t6531) OR FIREABLE(t6530) OR FIREABLE(t6529) OR FIREABLE(t6528) OR FIREABLE(t6527) OR FIREABLE(t6526) OR FIREABLE(t6525) OR FIREABLE(t6524) OR FIREABLE(t6523) OR FIREABLE(t6522) OR FIREABLE(t6521) OR FIREABLE(t6520) OR FIREABLE(t6519) OR FIREABLE(t6518) OR FIREABLE(t6517) OR FIREABLE(t6516) OR FIREABLE(t6515) OR FIREABLE(t6514) OR FIREABLE(t6513) OR FIREABLE(t6512) OR FIREABLE(t6511) OR FIREABLE(t6510) OR FIREABLE(t6509) OR FIREABLE(t6508) OR FIREABLE(t6507) OR FIREABLE(t6506) OR FIREABLE(t6505) OR FIREABLE(t6504) OR FIREABLE(t6503) OR FIREABLE(t6502) OR FIREABLE(t6501) OR FIREABLE(t6500) OR FIREABLE(t6499) OR FIREABLE(t6498) OR FIREABLE(t6497) OR FIREABLE(t6496) OR FIREABLE(t6495) OR FIREABLE(t6494) OR FIREABLE(t6493) OR FIREABLE(t6492) OR FIREABLE(t6491) OR FIREABLE(t6490) OR FIREABLE(t6489) OR FIREABLE(t6488) OR FIREABLE(t6487) OR FIREABLE(t6486) OR FIREABLE(t6485) OR FIREABLE(t6484) OR FIREABLE(t6483) OR FIREABLE(t6482) OR FIREABLE(t6481) OR FIREABLE(t6480) OR FIREABLE(t6479) OR FIREABLE(t6478) OR FIREABLE(t6477) OR FIREABLE(t6476) OR FIREABLE(t6475) OR FIREABLE(t6474) OR FIREABLE(t6473) OR FIREABLE(t6472) OR FIREABLE(t6471) OR FIREABLE(t6470) OR FIREABLE(t6469) OR FIREABLE(t6468) OR FIREABLE(t6467) OR FIREABLE(t6466) OR FIREABLE(t6465) OR FIREABLE(t6464) OR FIREABLE(t6463) OR FIREABLE(t6462) OR FIREABLE(t6461) OR FIREABLE(t6460) OR FIREABLE(t6459) OR FIREABLE(t6458) OR FIREABLE(t6457) OR FIREABLE(t6456) OR FIREABLE(t6455) OR FIREABLE(t6454) OR FIREABLE(t6453) OR FIREABLE(t6452) OR FIREABLE(t6451) OR FIREABLE(t6450) OR FIREABLE(t6449) OR FIREABLE(t6448) OR FIREABLE(t6447) OR FIREABLE(t6446) OR FIREABLE(t6445) OR FIREABLE(t6444) OR FIREABLE(t6443) OR FIREABLE(t6442) OR FIREABLE(t6441) OR FIREABLE(t6440) OR FIREABLE(t6439) OR FIREABLE(t6438) OR FIREABLE(t6437) OR FIREABLE(t6436) OR FIREABLE(t6435) OR FIREABLE(t6434) OR FIREABLE(t6433) OR FIREABLE(t6432) OR FIREABLE(t6431) OR FIREABLE(t6430) OR FIREABLE(t6429) OR FIREABLE(t6428) OR FIREABLE(t6427) OR FIREABLE(t6426) OR FIREABLE(t6425) OR FIREABLE(t6424) OR FIREABLE(t6423) OR FIREABLE(t6422) OR FIREABLE(t6421) OR FIREABLE(t6420) OR FIREABLE(t6419) OR FIREABLE(t6418) OR FIREABLE(t6417) OR FIREABLE(t6416) OR FIREABLE(t6415) OR FIREABLE(t6414) OR FIREABLE(t6413) OR FIREABLE(t6412) OR FIREABLE(t6411) OR FIREABLE(t6410) OR FIREABLE(t6409) OR FIREABLE(t6408) OR FIREABLE(t6407) OR FIREABLE(t6406) OR FIREABLE(t6405) OR FIREABLE(t6404) OR FIREABLE(t6403) OR FIREABLE(t6402) OR FIREABLE(t6401) OR FIREABLE(t6400) OR FIREABLE(t6399) OR FIREABLE(t6398) OR FIREABLE(t6397) OR FIREABLE(t6396) OR FIREABLE(t6395) OR FIREABLE(t6394) OR FIREABLE(t6393) OR FIREABLE(t6392) OR FIREABLE(t6391) OR FIREABLE(t6390) OR FIREABLE(t6389) OR FIREABLE(t6388) OR FIREABLE(t6387) OR FIREABLE(t6386) OR FIREABLE(t6385) OR FIREABLE(t6384) OR FIREABLE(t6383) OR FIREABLE(t6382) OR FIREABLE(t6381) OR FIREABLE(t6380) OR FIREABLE(t6379) OR FIREABLE(t6378) OR FIREABLE(t6377) OR FIREABLE(t6376) OR FIREABLE(t6375) OR FIREABLE(t6374) OR FIREABLE(t6373) OR FIREABLE(t6372) OR FIREABLE(t6371) OR FIREABLE(t6370) OR FIREABLE(t6369) OR FIREABLE(t6368) OR FIREABLE(t6367) OR FIREABLE(t6366) OR FIREABLE(t6365) OR FIREABLE(t6364) OR FIREABLE(t6363) OR FIREABLE(t6362) OR FIREABLE(t6361) OR FIREABLE(t6360) OR FIREABLE(t6359) OR FIREABLE(t6358) OR FIREABLE(t6357) OR FIREABLE(t6356) OR FIREABLE(t6355) OR FIREABLE(t6354) OR FIREABLE(t6353) OR FIREABLE(t6352) OR FIREABLE(t6351) OR FIREABLE(t6350) OR FIREABLE(t6349) OR FIREABLE(t6348) OR FIREABLE(t6347) OR FIREABLE(t6346) OR FIREABLE(t6345) OR FIREABLE(t6344) OR FIREABLE(t6343) OR FIREABLE(t6342) OR FIREABLE(t6341) OR FIREABLE(t6340) OR FIREABLE(t6339) OR FIREABLE(t6338) OR FIREABLE(t6337) OR FIREABLE(t6336) OR FIREABLE(t6335) OR FIREABLE(t6334) OR FIREABLE(t6333) OR FIREABLE(t6332) OR FIREABLE(t6331) OR FIREABLE(t6330) OR FIREABLE(t6329) OR FIREABLE(t6328) OR FIREABLE(t6327) OR FIREABLE(t6326) OR FIREABLE(t6325) OR FIREABLE(t6324) OR FIREABLE(t6323) OR FIREABLE(t6322) OR FIREABLE(t6321) OR FIREABLE(t6320) OR FIREABLE(t6319) OR FIREABLE(t6318) OR FIREABLE(t6317) OR FIREABLE(t6316) OR FIREABLE(t6315) OR FIREABLE(t6314) OR FIREABLE(t6313) OR FIREABLE(t6312) OR FIREABLE(t6311) OR FIREABLE(t6310) OR FIREABLE(t6309) OR FIREABLE(t6308) OR FIREABLE(t6307) OR FIREABLE(t6306) OR FIREABLE(t6305) OR FIREABLE(t6304) OR FIREABLE(t6303) OR FIREABLE(t6302) OR FIREABLE(t6301) OR FIREABLE(t6300) OR FIREABLE(t6299) OR FIREABLE(t6298) OR FIREABLE(t6297) OR FIREABLE(t6296) OR FIREABLE(t6295) OR FIREABLE(t6294) OR FIREABLE(t6293) OR FIREABLE(t6292) OR FIREABLE(t6291) OR FIREABLE(t6290) OR FIREABLE(t6289) OR FIREABLE(t6288) OR FIREABLE(t6287) OR FIREABLE(t6286) OR FIREABLE(t6285) OR FIREABLE(t6284) OR FIREABLE(t6283) OR FIREABLE(t6282) OR FIREABLE(t6281) OR FIREABLE(t6280) OR FIREABLE(t6279) OR FIREABLE(t6278) OR FIREABLE(t6277) OR FIREABLE(t6276) OR FIREABLE(t6275) OR FIREABLE(t6274) OR FIREABLE(t6273) OR FIREABLE(t6272) OR FIREABLE(t6271) OR FIREABLE(t6270) OR FIREABLE(t6269) OR FIREABLE(t6268) OR FIREABLE(t6267) OR FIREABLE(t6266) OR FIREABLE(t6265) OR FIREABLE(t6264) OR FIREABLE(t6263) OR FIREABLE(t6262) OR FIREABLE(t6261) OR FIREABLE(t6260) OR FIREABLE(t6259) OR FIREABLE(t6258) OR FIREABLE(t6257) OR FIREABLE(t6256) OR FIREABLE(t6255) OR FIREABLE(t6254) OR FIREABLE(t6253) OR FIREABLE(t6252) OR FIREABLE(t6251) OR FIREABLE(t6250) OR FIREABLE(t6249) OR FIREABLE(t6248) OR FIREABLE(t6247) OR FIREABLE(t6246) OR FIREABLE(t6245) OR FIREABLE(t6244) OR FIREABLE(t6243) OR FIREABLE(t6242) OR FIREABLE(t6241) OR FIREABLE(t6240) OR FIREABLE(t6239) OR FIREABLE(t6238) OR FIREABLE(t6237) OR FIREABLE(t6236) OR FIREABLE(t6235) OR FIREABLE(t6234) OR FIREABLE(t6233) OR FIREABLE(t6232) OR FIREABLE(t6231) OR FIREABLE(t6230) OR FIREABLE(t6229) OR FIREABLE(t6228) OR FIREABLE(t6227) OR FIREABLE(t6226) OR FIREABLE(t6225) OR FIREABLE(t6224) OR FIREABLE(t6223) OR FIREABLE(t6222) OR FIREABLE(t6221) OR FIREABLE(t6220) OR FIREABLE(t6219) OR FIREABLE(t6218) OR FIREABLE(t6217) OR FIREABLE(t6216) OR FIREABLE(t6215) OR FIREABLE(t6214) OR FIREABLE(t6213) OR FIREABLE(t6212) OR FIREABLE(t6211) OR FIREABLE(t6210) OR FIREABLE(t6209) OR FIREABLE(t6208) OR FIREABLE(t6207) OR FIREABLE(t6206) OR FIREABLE(t6205) OR FIREABLE(t6204) OR FIREABLE(t6203) OR FIREABLE(t6202) OR FIREABLE(t6201) OR FIREABLE(t6200) OR FIREABLE(t6199) OR FIREABLE(t6198) OR FIREABLE(t6197) OR FIREABLE(t6196) OR FIREABLE(t6195) OR FIREABLE(t6194) OR FIREABLE(t6193) OR FIREABLE(t6192) OR FIREABLE(t6191) OR FIREABLE(t6190) OR FIREABLE(t6189) OR FIREABLE(t6188) OR FIREABLE(t6187) OR FIREABLE(t6186) OR FIREABLE(t6185) OR FIREABLE(t6184) OR FIREABLE(t6183) OR FIREABLE(t6182) OR FIREABLE(t6181) OR FIREABLE(t6180) OR FIREABLE(t6179) OR FIREABLE(t6178) OR FIREABLE(t6177) OR FIREABLE(t6176) OR FIREABLE(t6175) OR FIREABLE(t6174) OR FIREABLE(t6173) OR FIREABLE(t6172) OR FIREABLE(t6171) OR FIREABLE(t6170) OR FIREABLE(t6169) OR FIREABLE(t6168) OR FIREABLE(t6167) OR FIREABLE(t6166) OR FIREABLE(t6165) OR FIREABLE(t6164) OR FIREABLE(t6163) OR FIREABLE(t6162) OR FIREABLE(t6161) OR FIREABLE(t6160) OR FIREABLE(t6159) OR FIREABLE(t6158) OR FIREABLE(t6157) OR FIREABLE(t6156) OR FIREABLE(t6155) OR FIREABLE(t6154) OR FIREABLE(t6153) OR FIREABLE(t6152) OR FIREABLE(t6151) OR FIREABLE(t6150) OR FIREABLE(t6149) OR FIREABLE(t6148) OR FIREABLE(t6147) OR FIREABLE(t6146) OR FIREABLE(t6145) OR FIREABLE(t6144) OR FIREABLE(t6143) OR FIREABLE(t6142) OR FIREABLE(t6141) OR FIREABLE(t6140) OR FIREABLE(t6139) OR FIREABLE(t6138) OR FIREABLE(t6137) OR FIREABLE(t6136) OR FIREABLE(t6135) OR FIREABLE(t6134) OR FIREABLE(t6133) OR FIREABLE(t6132) OR FIREABLE(t6131) OR FIREABLE(t6130) OR FIREABLE(t6129) OR FIREABLE(t6128) OR FIREABLE(t6127) OR FIREABLE(t6126) OR FIREABLE(t6125) OR FIREABLE(t6124) OR FIREABLE(t6123) OR FIREABLE(t6122) OR FIREABLE(t6121) OR FIREABLE(t6120) OR FIREABLE(t6119) OR FIREABLE(t6118) OR FIREABLE(t6117) OR FIREABLE(t6116) OR FIREABLE(t6115) OR FIREABLE(t6114) OR FIREABLE(t6113) OR FIREABLE(t6112) OR FIREABLE(t6111) OR FIREABLE(t6110) OR FIREABLE(t6109) OR FIREABLE(t6108) OR FIREABLE(t6107) OR FIREABLE(t6106) OR FIREABLE(t6105) OR FIREABLE(t6104) OR FIREABLE(t6103) OR FIREABLE(t6102) OR FIREABLE(t6101) OR FIREABLE(t6100) OR FIREABLE(t6099) OR FIREABLE(t6098) OR FIREABLE(t6097) OR FIREABLE(t6096) OR FIREABLE(t6095) OR FIREABLE(t6094) OR FIREABLE(t6093) OR FIREABLE(t6092) OR FIREABLE(t6091) OR FIREABLE(t6090) OR FIREABLE(t6089) OR FIREABLE(t6088) OR FIREABLE(t6087) OR FIREABLE(t6086) OR FIREABLE(t6085) OR FIREABLE(t6084) OR FIREABLE(t6083) OR FIREABLE(t6082) OR FIREABLE(t6081) OR FIREABLE(t6080) OR FIREABLE(t6079) OR FIREABLE(t6078) OR FIREABLE(t6077) OR FIREABLE(t6076) OR FIREABLE(t6075) OR FIREABLE(t6074) OR FIREABLE(t6073) OR FIREABLE(t6072) OR FIREABLE(t6071) OR FIREABLE(t6070) OR FIREABLE(t6069) OR FIREABLE(t6068) OR FIREABLE(t6067) OR FIREABLE(t6066) OR FIREABLE(t6065) OR FIREABLE(t6064) OR FIREABLE(t6063) OR FIREABLE(t6062) OR FIREABLE(t6061) OR FIREABLE(t6060) OR FIREABLE(t6059) OR FIREABLE(t6058) OR FIREABLE(t6057) OR FIREABLE(t6056) OR FIREABLE(t6055) OR FIREABLE(t6054) OR FIREABLE(t6053) OR FIREABLE(t6052) OR FIREABLE(t6051) OR FIREABLE(t6050) OR FIREABLE(t6049) OR FIREABLE(t6048) OR FIREABLE(t6047) OR FIREABLE(t6046) OR FIREABLE(t6045) OR FIREABLE(t6044) OR FIREABLE(t6043) OR FIREABLE(t6042) OR FIREABLE(t6041) OR FIREABLE(t6040) OR FIREABLE(t6039) OR FIREABLE(t6038) OR FIREABLE(t6037) OR FIREABLE(t6036) OR FIREABLE(t6035) OR FIREABLE(t6034) OR FIREABLE(t6033) OR FIREABLE(t6032) OR FIREABLE(t6031) OR FIREABLE(t6030) OR FIREABLE(t6029) OR FIREABLE(t6028) OR FIREABLE(t6027) OR FIREABLE(t6026) OR FIREABLE(t6025) OR FIREABLE(t6024) OR FIREABLE(t6023) OR FIREABLE(t6022) OR FIREABLE(t6021) OR FIREABLE(t6020) OR FIREABLE(t6019) OR FIREABLE(t6018) OR FIREABLE(t6017) OR FIREABLE(t6016) OR FIREABLE(t6015) OR FIREABLE(t6014) OR FIREABLE(t6013) OR FIREABLE(t6012) OR FIREABLE(t6011) OR FIREABLE(t6010) OR FIREABLE(t6009) OR FIREABLE(t6008) OR FIREABLE(t6007) OR FIREABLE(t6006) OR FIREABLE(t6005) OR FIREABLE(t6004) OR FIREABLE(t6003) OR FIREABLE(t6002) OR FIREABLE(t6001) OR FIREABLE(t6000) OR FIREABLE(t5999) OR FIREABLE(t5998) OR FIREABLE(t5997) OR FIREABLE(t5996) OR FIREABLE(t5995) OR FIREABLE(t5994) OR FIREABLE(t5993) OR FIREABLE(t5992) OR FIREABLE(t5991) OR FIREABLE(t5990) OR FIREABLE(t5989) OR FIREABLE(t5988) OR FIREABLE(t5987) OR FIREABLE(t5986) OR FIREABLE(t5985) OR FIREABLE(t5984) OR FIREABLE(t5983) OR FIREABLE(t5982) OR FIREABLE(t5981) OR FIREABLE(t5980) OR FIREABLE(t5979) OR FIREABLE(t5978) OR FIREABLE(t5977) OR FIREABLE(t5976) OR FIREABLE(t5975) OR FIREABLE(t5974) OR FIREABLE(t5973) OR FIREABLE(t5972) OR FIREABLE(t5971) OR FIREABLE(t5970) OR FIREABLE(t5969) OR FIREABLE(t5968) OR FIREABLE(t5967) OR FIREABLE(t5966) OR FIREABLE(t5965) OR FIREABLE(t5964) OR FIREABLE(t5963) OR FIREABLE(t5962) OR FIREABLE(t5961) OR FIREABLE(t5960) OR FIREABLE(t5959) OR FIREABLE(t5958) OR FIREABLE(t5957) OR FIREABLE(t5956) OR FIREABLE(t5955) OR FIREABLE(t5954) OR FIREABLE(t5953) OR FIREABLE(t5952) OR FIREABLE(t5951) OR FIREABLE(t5950) OR FIREABLE(t5949) OR FIREABLE(t5948) OR FIREABLE(t5947) OR FIREABLE(t5946) OR FIREABLE(t5945) OR FIREABLE(t5944) OR FIREABLE(t5943) OR FIREABLE(t5942) OR FIREABLE(t5941) OR FIREABLE(t5940) OR FIREABLE(t5939) OR FIREABLE(t5938) OR FIREABLE(t5937) OR FIREABLE(t5936) OR FIREABLE(t5935) OR FIREABLE(t5934) OR FIREABLE(t5933) OR FIREABLE(t5932) OR FIREABLE(t5931) OR FIREABLE(t5930) OR FIREABLE(t5929) OR FIREABLE(t5928) OR FIREABLE(t5927) OR FIREABLE(t5926) OR FIREABLE(t5925) OR FIREABLE(t5924) OR FIREABLE(t5923) OR FIREABLE(t5922) OR FIREABLE(t5921) OR FIREABLE(t5920) OR FIREABLE(t5919) OR FIREABLE(t5918) OR FIREABLE(t5917) OR FIREABLE(t5916) OR FIREABLE(t5915) OR FIREABLE(t5914) OR FIREABLE(t5913) OR FIREABLE(t5912) OR FIREABLE(t5911) OR FIREABLE(t5910) OR FIREABLE(t5909) OR FIREABLE(t5908) OR FIREABLE(t5907) OR FIREABLE(t5906) OR FIREABLE(t5905) OR FIREABLE(t5904) OR FIREABLE(t5903) OR FIREABLE(t5902) OR FIREABLE(t5901) OR FIREABLE(t5900) OR FIREABLE(t5899) OR FIREABLE(t5898) OR FIREABLE(t5897) OR FIREABLE(t5896) OR FIREABLE(t5895) OR FIREABLE(t5894) OR FIREABLE(t5893) OR FIREABLE(t5892) OR FIREABLE(t5891) OR FIREABLE(t5890) OR FIREABLE(t5889) OR FIREABLE(t5888) OR FIREABLE(t5887) OR FIREABLE(t5886) OR FIREABLE(t5885) OR FIREABLE(t5884) OR FIREABLE(t5883) OR FIREABLE(t5882) OR FIREABLE(t5881) OR FIREABLE(t5880) OR FIREABLE(t5879) OR FIREABLE(t5878) OR FIREABLE(t5877) OR FIREABLE(t5876) OR FIREABLE(t5875) OR FIREABLE(t5874) OR FIREABLE(t5873) OR FIREABLE(t5872) OR FIREABLE(t5871) OR FIREABLE(t5870) OR FIREABLE(t5869) OR FIREABLE(t5868) OR FIREABLE(t5867) OR FIREABLE(t5866) OR FIREABLE(t5865) OR FIREABLE(t5864) OR FIREABLE(t5863) OR FIREABLE(t5862) OR FIREABLE(t5861) OR FIREABLE(t5860) OR FIREABLE(t5859) OR FIREABLE(t5858) OR FIREABLE(t5857) OR FIREABLE(t5856) OR FIREABLE(t5855) OR FIREABLE(t5854) OR FIREABLE(t5853) OR FIREABLE(t5852) OR FIREABLE(t5851) OR FIREABLE(t5850) OR FIREABLE(t5849) OR FIREABLE(t5848) OR FIREABLE(t5847) OR FIREABLE(t5846) OR FIREABLE(t5845) OR FIREABLE(t5844) OR FIREABLE(t5843) OR FIREABLE(t5842) OR FIREABLE(t5841) OR FIREABLE(t5840) OR FIREABLE(t5839) OR FIREABLE(t5838) OR FIREABLE(t5837) OR FIREABLE(t5836) OR FIREABLE(t5835) OR FIREABLE(t5834) OR FIREABLE(t5833) OR FIREABLE(t5832) OR FIREABLE(t5831) OR FIREABLE(t5830) OR FIREABLE(t5829) OR FIREABLE(t5828) OR FIREABLE(t5827) OR FIREABLE(t5826) OR FIREABLE(t5825) OR FIREABLE(t5824) OR FIREABLE(t5823) OR FIREABLE(t5822) OR FIREABLE(t5821) OR FIREABLE(t5820) OR FIREABLE(t5819) OR FIREABLE(t5818) OR FIREABLE(t5817) OR FIREABLE(t5816) OR FIREABLE(t5815) OR FIREABLE(t5814) OR FIREABLE(t5813) OR FIREABLE(t5812) OR FIREABLE(t5811) OR FIREABLE(t5810) OR FIREABLE(t5809) OR FIREABLE(t5808) OR FIREABLE(t5807) OR FIREABLE(t5806) OR FIREABLE(t5805) OR FIREABLE(t5804) OR FIREABLE(t5803) OR FIREABLE(t5802) OR FIREABLE(t5801) OR FIREABLE(t5800) OR FIREABLE(t5799) OR FIREABLE(t5798) OR FIREABLE(t5797) OR FIREABLE(t5796) OR FIREABLE(t5795) OR FIREABLE(t5794) OR FIREABLE(t5793) OR FIREABLE(t5792) OR FIREABLE(t5791) OR FIREABLE(t5790) OR FIREABLE(t5789) OR FIREABLE(t5788) OR FIREABLE(t5787) OR FIREABLE(t5786) OR FIREABLE(t5785) OR FIREABLE(t5784) OR FIREABLE(t5783) OR FIREABLE(t5782) OR FIREABLE(t5781) OR FIREABLE(t5780) OR FIREABLE(t5779) OR FIREABLE(t5778) OR FIREABLE(t5777) OR FIREABLE(t5776) OR FIREABLE(t5775) OR FIREABLE(t5774) OR FIREABLE(t5773) OR FIREABLE(t5772) OR FIREABLE(t5771) OR FIREABLE(t5770) OR FIREABLE(t5769) OR FIREABLE(t5768) OR FIREABLE(t5767) OR FIREABLE(t5766) OR FIREABLE(t5765) OR FIREABLE(t5764) OR FIREABLE(t5763) OR FIREABLE(t5762) OR FIREABLE(t5761) OR FIREABLE(t5760) OR FIREABLE(t5759) OR FIREABLE(t5758) OR FIREABLE(t5757) OR FIREABLE(t5756) OR FIREABLE(t5755) OR FIREABLE(t5754) OR FIREABLE(t5753) OR FIREABLE(t5752) OR FIREABLE(t5751) OR FIREABLE(t5750) OR FIREABLE(t5749) OR FIREABLE(t5748) OR FIREABLE(t5747) OR FIREABLE(t5746) OR FIREABLE(t5745) OR FIREABLE(t5744) OR FIREABLE(t5743) OR FIREABLE(t5742) OR FIREABLE(t5741) OR FIREABLE(t5740) OR FIREABLE(t5739) OR FIREABLE(t5738) OR FIREABLE(t5737) OR FIREABLE(t5736) OR FIREABLE(t5735) OR FIREABLE(t5734) OR FIREABLE(t5733) OR FIREABLE(t5732) OR FIREABLE(t5731) OR FIREABLE(t5730) OR FIREABLE(t5729) OR FIREABLE(t5728) OR FIREABLE(t5727) OR FIREABLE(t5726) OR FIREABLE(t5725) OR FIREABLE(t5724) OR FIREABLE(t5723) OR FIREABLE(t5722) OR FIREABLE(t5721) OR FIREABLE(t5720) OR FIREABLE(t5719) OR FIREABLE(t5718) OR FIREABLE(t5717) OR FIREABLE(t5716) OR FIREABLE(t5715) OR FIREABLE(t5714) OR FIREABLE(t5713) OR FIREABLE(t5712) OR FIREABLE(t5711) OR FIREABLE(t5710) OR FIREABLE(t5709) OR FIREABLE(t5708) OR FIREABLE(t5707) OR FIREABLE(t5706) OR FIREABLE(t5705) OR FIREABLE(t5704) OR FIREABLE(t5703) OR FIREABLE(t5702) OR FIREABLE(t5701) OR FIREABLE(t5700) OR FIREABLE(t5699) OR FIREABLE(t5698) OR FIREABLE(t5697) OR FIREABLE(t5696) OR FIREABLE(t5695) OR FIREABLE(t5694) OR FIREABLE(t5693) OR FIREABLE(t5692) OR FIREABLE(t5691) OR FIREABLE(t5690) OR FIREABLE(t5689) OR FIREABLE(t5688) OR FIREABLE(t5687) OR FIREABLE(t5686) OR FIREABLE(t5685) OR FIREABLE(t5684) OR FIREABLE(t5683) OR FIREABLE(t5682) OR FIREABLE(t5681) OR FIREABLE(t5680) OR FIREABLE(t5679) OR FIREABLE(t5678) OR FIREABLE(t5677) OR FIREABLE(t5676) OR FIREABLE(t5675) OR FIREABLE(t5674) OR FIREABLE(t5673) OR FIREABLE(t5672) OR FIREABLE(t5671) OR FIREABLE(t5670) OR FIREABLE(t5669) OR FIREABLE(t5668) OR FIREABLE(t5667) OR FIREABLE(t5666) OR FIREABLE(t5665) OR FIREABLE(t5664) OR FIREABLE(t5663) OR FIREABLE(t5662) OR FIREABLE(t5661) OR FIREABLE(t5660) OR FIREABLE(t5659) OR FIREABLE(t5658) OR FIREABLE(t5657) OR FIREABLE(t5656) OR FIREABLE(t5655) OR FIREABLE(t5654) OR FIREABLE(t5653) OR FIREABLE(t5652) OR FIREABLE(t5651) OR FIREABLE(t5650) OR FIREABLE(t5649) OR FIREABLE(t5648) OR FIREABLE(t5647) OR FIREABLE(t5646) OR FIREABLE(t5645) OR FIREABLE(t5644) OR FIREABLE(t5643) OR FIREABLE(t5642) OR FIREABLE(t5641) OR FIREABLE(t5640) OR FIREABLE(t5639) OR FIREABLE(t5638) OR FIREABLE(t5637) OR FIREABLE(t5636) OR FIREABLE(t5635) OR FIREABLE(t5634) OR FIREABLE(t5633) OR FIREABLE(t5632) OR FIREABLE(t5631) OR FIREABLE(t5630) OR FIREABLE(t5629) OR FIREABLE(t5628) OR FIREABLE(t5627) OR FIREABLE(t5626) OR FIREABLE(t5625) OR FIREABLE(t5624) OR FIREABLE(t5623) OR FIREABLE(t5622) OR FIREABLE(t5621) OR FIREABLE(t5620) OR FIREABLE(t5619) OR FIREABLE(t5618) OR FIREABLE(t5617) OR FIREABLE(t5616) OR FIREABLE(t5615) OR FIREABLE(t5614) OR FIREABLE(t5613) OR FIREABLE(t5612) OR FIREABLE(t5611) OR FIREABLE(t5610) OR FIREABLE(t5609) OR FIREABLE(t5608) OR FIREABLE(t5607) OR FIREABLE(t5606) OR FIREABLE(t5605) OR FIREABLE(t5604) OR FIREABLE(t5603) OR FIREABLE(t5602) OR FIREABLE(t5601) OR FIREABLE(t5600) OR FIREABLE(t5599) OR FIREABLE(t5598) OR FIREABLE(t5597) OR FIREABLE(t5596) OR FIREABLE(t5595) OR FIREABLE(t5594) OR FIREABLE(t5593) OR FIREABLE(t5592) OR FIREABLE(t5591) OR FIREABLE(t5590) OR FIREABLE(t5589) OR FIREABLE(t5588) OR FIREABLE(t5587) OR FIREABLE(t5586) OR FIREABLE(t5585) OR FIREABLE(t5584) OR FIREABLE(t5583) OR FIREABLE(t5582) OR FIREABLE(t5581) OR FIREABLE(t5580) OR FIREABLE(t5579) OR FIREABLE(t5578) OR FIREABLE(t5577) OR FIREABLE(t5576) OR FIREABLE(t5575) OR FIREABLE(t5574) OR FIREABLE(t5573) OR FIREABLE(t5572) OR FIREABLE(t5571) OR FIREABLE(t5570) OR FIREABLE(t5569) OR FIREABLE(t5568) OR FIREABLE(t5567) OR FIREABLE(t5566) OR FIREABLE(t5565) OR FIREABLE(t5564) OR FIREABLE(t5563) OR FIREABLE(t5562) OR FIREABLE(t5561) OR FIREABLE(t5560) OR FIREABLE(t5559) OR FIREABLE(t5558) OR FIREABLE(t5557) OR FIREABLE(t5556) OR FIREABLE(t5555) OR FIREABLE(t5554) OR FIREABLE(t5553) OR FIREABLE(t5552) OR FIREABLE(t5551) OR FIREABLE(t5550) OR FIREABLE(t5549) OR FIREABLE(t5548) OR FIREABLE(t5547) OR FIREABLE(t5546) OR FIREABLE(t5545) OR FIREABLE(t5544) OR FIREABLE(t5543) OR FIREABLE(t5542) OR FIREABLE(t5541) OR FIREABLE(t5540) OR FIREABLE(t5539) OR FIREABLE(t5538) OR FIREABLE(t5537) OR FIREABLE(t5536) OR FIREABLE(t5535) OR FIREABLE(t5534) OR FIREABLE(t5533) OR FIREABLE(t5532) OR FIREABLE(t5531) OR FIREABLE(t5530) OR FIREABLE(t5529) OR FIREABLE(t5528) OR FIREABLE(t5527) OR FIREABLE(t5526) OR FIREABLE(t5525) OR FIREABLE(t5524) OR FIREABLE(t5523) OR FIREABLE(t5522) OR FIREABLE(t5521) OR FIREABLE(t5520) OR FIREABLE(t5519) OR FIREABLE(t5518) OR FIREABLE(t5517) OR FIREABLE(t5516) OR FIREABLE(t5515) OR FIREABLE(t5514) OR FIREABLE(t5513) OR FIREABLE(t5512) OR FIREABLE(t5511) OR FIREABLE(t5510) OR FIREABLE(t5509) OR FIREABLE(t5508) OR FIREABLE(t5507) OR FIREABLE(t5506) OR FIREABLE(t5505) OR FIREABLE(t5504) OR FIREABLE(t5503) OR FIREABLE(t5502) OR FIREABLE(t5501) OR FIREABLE(t5500) OR FIREABLE(t5499) OR FIREABLE(t5498) OR FIREABLE(t5497) OR FIREABLE(t5496) OR FIREABLE(t5495) OR FIREABLE(t5494) OR FIREABLE(t5493) OR FIREABLE(t5492) OR FIREABLE(t5491) OR FIREABLE(t5490) OR FIREABLE(t5489) OR FIREABLE(t5488) OR FIREABLE(t5487) OR FIREABLE(t5486) OR FIREABLE(t5485) OR FIREABLE(t5484) OR FIREABLE(t5483) OR FIREABLE(t5482) OR FIREABLE(t5481) OR FIREABLE(t5480) OR FIREABLE(t5479) OR FIREABLE(t5478) OR FIREABLE(t5477) OR FIREABLE(t5476) OR FIREABLE(t5475) OR FIREABLE(t5474) OR FIREABLE(t5473) OR FIREABLE(t5472) OR FIREABLE(t5471) OR FIREABLE(t5470) OR FIREABLE(t5469) OR FIREABLE(t5468) OR FIREABLE(t5467) OR FIREABLE(t5466) OR FIREABLE(t5465) OR FIREABLE(t5464) OR FIREABLE(t5463) OR FIREABLE(t5462) OR FIREABLE(t5461) OR FIREABLE(t5460) OR FIREABLE(t5459) OR FIREABLE(t5458) OR FIREABLE(t5457) OR FIREABLE(t5456) OR FIREABLE(t5455) OR FIREABLE(t5454) OR FIREABLE(t5453) OR FIREABLE(t5452) OR FIREABLE(t5451) OR FIREABLE(t5450) OR FIREABLE(t5449) OR FIREABLE(t5448) OR FIREABLE(t5447) OR FIREABLE(t5446) OR FIREABLE(t5445) OR FIREABLE(t5444) OR FIREABLE(t5443) OR FIREABLE(t5442) OR FIREABLE(t5441) OR FIREABLE(t5440) OR FIREABLE(t5439) OR FIREABLE(t5438) OR FIREABLE(t5437) OR FIREABLE(t5436) OR FIREABLE(t5435) OR FIREABLE(t5434) OR FIREABLE(t5433) OR FIREABLE(t5432) OR FIREABLE(t5431) OR FIREABLE(t5430) OR FIREABLE(t5429) OR FIREABLE(t5428) OR FIREABLE(t5427) OR FIREABLE(t5426) OR FIREABLE(t5425) OR FIREABLE(t5424) OR FIREABLE(t5423) OR FIREABLE(t5422) OR FIREABLE(t5421) OR FIREABLE(t5420) OR FIREABLE(t5419) OR FIREABLE(t5418) OR FIREABLE(t5417) OR FIREABLE(t5416) OR FIREABLE(t5415) OR FIREABLE(t5414) OR FIREABLE(t5413) OR FIREABLE(t5412) OR FIREABLE(t5411) OR FIREABLE(t5410) OR FIREABLE(t5409) OR FIREABLE(t5408) OR FIREABLE(t5407) OR FIREABLE(t5406) OR FIREABLE(t5405) OR FIREABLE(t5404) OR FIREABLE(t5403) OR FIREABLE(t5402) OR FIREABLE(t5401) OR FIREABLE(t5400) OR FIREABLE(t5399) OR FIREABLE(t5398) OR FIREABLE(t5397) OR FIREABLE(t5396) OR FIREABLE(t5395) OR FIREABLE(t5394) OR FIREABLE(t5393) OR FIREABLE(t5392) OR FIREABLE(t5391) OR FIREABLE(t5390) OR FIREABLE(t5389) OR FIREABLE(t5388) OR FIREABLE(t5387) OR FIREABLE(t5386) OR FIREABLE(t5385) OR FIREABLE(t5384) OR FIREABLE(t5383) OR FIREABLE(t5382) OR FIREABLE(t5381) OR FIREABLE(t5380) OR FIREABLE(t5379) OR FIREABLE(t5378) OR FIREABLE(t5377) OR FIREABLE(t5376) OR FIREABLE(t5375) OR FIREABLE(t5374) OR FIREABLE(t5373) OR FIREABLE(t5372) OR FIREABLE(t5371) OR FIREABLE(t5370) OR FIREABLE(t5369) OR FIREABLE(t5368) OR FIREABLE(t5367) OR FIREABLE(t5366) OR FIREABLE(t5365) OR FIREABLE(t5364) OR FIREABLE(t5363) OR FIREABLE(t5362) OR FIREABLE(t5361) OR FIREABLE(t5360) OR FIREABLE(t5359) OR FIREABLE(t5358) OR FIREABLE(t5357) OR FIREABLE(t5356) OR FIREABLE(t5355) OR FIREABLE(t5354) OR FIREABLE(t5353) OR FIREABLE(t5352) OR FIREABLE(t5351) OR FIREABLE(t5350) OR FIREABLE(t5349) OR FIREABLE(t5348) OR FIREABLE(t5347) OR FIREABLE(t5346) OR FIREABLE(t5345) OR FIREABLE(t5344) OR FIREABLE(t5343) OR FIREABLE(t5342) OR FIREABLE(t5341) OR FIREABLE(t5340) OR FIREABLE(t5339) OR FIREABLE(t5338) OR FIREABLE(t5337) OR FIREABLE(t5336) OR FIREABLE(t5335) OR FIREABLE(t5334) OR FIREABLE(t5333) OR FIREABLE(t5332) OR FIREABLE(t5331) OR FIREABLE(t5330) OR FIREABLE(t5329) OR FIREABLE(t5328) OR FIREABLE(t5327) OR FIREABLE(t5326) OR FIREABLE(t5325) OR FIREABLE(t5324) OR FIREABLE(t5323) OR FIREABLE(t5322) OR FIREABLE(t5321) OR FIREABLE(t5320) OR FIREABLE(t5319) OR FIREABLE(t5318) OR FIREABLE(t5317) OR FIREABLE(t5316) OR FIREABLE(t5315) OR FIREABLE(t5314) OR FIREABLE(t5313) OR FIREABLE(t5312) OR FIREABLE(t5311) OR FIREABLE(t5310) OR FIREABLE(t5309) OR FIREABLE(t5308) OR FIREABLE(t5307) OR FIREABLE(t5306) OR FIREABLE(t5305) OR FIREABLE(t5304) OR FIREABLE(t5303) OR FIREABLE(t5302) OR FIREABLE(t5301) OR FIREABLE(t5300) OR FIREABLE(t5299) OR FIREABLE(t5298) OR FIREABLE(t5297) OR FIREABLE(t5296) OR FIREABLE(t5295) OR FIREABLE(t5294) OR FIREABLE(t5293) OR FIREABLE(t5292) OR FIREABLE(t5291) OR FIREABLE(t5290) OR FIREABLE(t5289) OR FIREABLE(t5288) OR FIREABLE(t5287) OR FIREABLE(t5286) OR FIREABLE(t5285) OR FIREABLE(t5284) OR FIREABLE(t5283) OR FIREABLE(t5282) OR FIREABLE(t5281) OR FIREABLE(t5280) OR FIREABLE(t5279) OR FIREABLE(t5278) OR FIREABLE(t5277) OR FIREABLE(t5276) OR FIREABLE(t5275) OR FIREABLE(t5274) OR FIREABLE(t5273) OR FIREABLE(t5272) OR FIREABLE(t5271) OR FIREABLE(t5270) OR FIREABLE(t5269) OR FIREABLE(t5268) OR FIREABLE(t5267) OR FIREABLE(t5266) OR FIREABLE(t5265) OR FIREABLE(t5264) OR FIREABLE(t5263) OR FIREABLE(t5262) OR FIREABLE(t5261) OR FIREABLE(t5260) OR FIREABLE(t5259) OR FIREABLE(t5258) OR FIREABLE(t5257) OR FIREABLE(t5256) OR FIREABLE(t5255) OR FIREABLE(t5254) OR FIREABLE(t5253) OR FIREABLE(t5252) OR FIREABLE(t5251) OR FIREABLE(t5250) OR FIREABLE(t5249) OR FIREABLE(t5248) OR FIREABLE(t5247) OR FIREABLE(t5246) OR FIREABLE(t5245) OR FIREABLE(t5244) OR FIREABLE(t5243) OR FIREABLE(t5242) OR FIREABLE(t5241) OR FIREABLE(t5240) OR FIREABLE(t5239) OR FIREABLE(t5238) OR FIREABLE(t5237) OR FIREABLE(t5236) OR FIREABLE(t5235) OR FIREABLE(t5234) OR FIREABLE(t5233) OR FIREABLE(t5232) OR FIREABLE(t5231) OR FIREABLE(t5230) OR FIREABLE(t5229) OR FIREABLE(t5228) OR FIREABLE(t5227) OR FIREABLE(t5226) OR FIREABLE(t5225) OR FIREABLE(t5224) OR FIREABLE(t5223) OR FIREABLE(t5222) OR FIREABLE(t5221) OR FIREABLE(t5220) OR FIREABLE(t5219) OR FIREABLE(t5218) OR FIREABLE(t5217) OR FIREABLE(t5216) OR FIREABLE(t5215) OR FIREABLE(t5214) OR FIREABLE(t5213) OR FIREABLE(t5212) OR FIREABLE(t5211) OR FIREABLE(t5210) OR FIREABLE(t5209) OR FIREABLE(t5208) OR FIREABLE(t5207) OR FIREABLE(t5206) OR FIREABLE(t5205) OR FIREABLE(t5204) OR FIREABLE(t5203) OR FIREABLE(t5202) OR FIREABLE(t5201) OR FIREABLE(t5200) OR FIREABLE(t5199) OR FIREABLE(t5198) OR FIREABLE(t5197) OR FIREABLE(t5196) OR FIREABLE(t5195) OR FIREABLE(t5194) OR FIREABLE(t5193) OR FIREABLE(t5192) OR FIREABLE(t5191) OR FIREABLE(t5190) OR FIREABLE(t5189) OR FIREABLE(t5188) OR FIREABLE(t5187) OR FIREABLE(t5186) OR FIREABLE(t5185) OR FIREABLE(t5184) OR FIREABLE(t5183) OR FIREABLE(t5182) OR FIREABLE(t5181) OR FIREABLE(t5180) OR FIREABLE(t5179) OR FIREABLE(t5178) OR FIREABLE(t5177) OR FIREABLE(t5176) OR FIREABLE(t5175) OR FIREABLE(t5174) OR FIREABLE(t5173) OR FIREABLE(t5172) OR FIREABLE(t5171) OR FIREABLE(t5170) OR FIREABLE(t5169) OR FIREABLE(t5168) OR FIREABLE(t5167) OR FIREABLE(t5166) OR FIREABLE(t5165) OR FIREABLE(t5164) OR FIREABLE(t5163) OR FIREABLE(t5162) OR FIREABLE(t5161) OR FIREABLE(t5160) OR FIREABLE(t5159) OR FIREABLE(t5158) OR FIREABLE(t5157) OR FIREABLE(t5156) OR FIREABLE(t5155) OR FIREABLE(t5154) OR FIREABLE(t5153) OR FIREABLE(t5152) OR FIREABLE(t5151) OR FIREABLE(t5150) OR FIREABLE(t5149) OR FIREABLE(t5148) OR FIREABLE(t5147) OR FIREABLE(t5146) OR FIREABLE(t5145) OR FIREABLE(t5144) OR FIREABLE(t5143) OR FIREABLE(t5142) OR FIREABLE(t5141) OR FIREABLE(t5140) OR FIREABLE(t5139) OR FIREABLE(t5138) OR FIREABLE(t5137) OR FIREABLE(t5136) OR FIREABLE(t5135) OR FIREABLE(t5134) OR FIREABLE(t5133) OR FIREABLE(t5132) OR FIREABLE(t5131) OR FIREABLE(t5130) OR FIREABLE(t5129) OR FIREABLE(t5128) OR FIREABLE(t5127) OR FIREABLE(t5126) OR FIREABLE(t5125) OR FIREABLE(t5124) OR FIREABLE(t5123) OR FIREABLE(t5122) OR FIREABLE(t5121) OR FIREABLE(t5120) OR FIREABLE(t5119) OR FIREABLE(t5118) OR FIREABLE(t5117) OR FIREABLE(t5116) OR FIREABLE(t5115) OR FIREABLE(t5114) OR FIREABLE(t5113) OR FIREABLE(t5112) OR FIREABLE(t5111) OR FIREABLE(t5110) OR FIREABLE(t5109) OR FIREABLE(t5108) OR FIREABLE(t5107) OR FIREABLE(t5106) OR FIREABLE(t5105) OR FIREABLE(t5104) OR FIREABLE(t5103) OR FIREABLE(t5102) OR FIREABLE(t5101) OR FIREABLE(t5100) OR FIREABLE(t5099) OR FIREABLE(t5098) OR FIREABLE(t5097) OR FIREABLE(t5096) OR FIREABLE(t5095) OR FIREABLE(t5094) OR FIREABLE(t5093) OR FIREABLE(t5092) OR FIREABLE(t5091) OR FIREABLE(t5090) OR FIREABLE(t5089) OR FIREABLE(t5088) OR FIREABLE(t5087) OR FIREABLE(t5086) OR FIREABLE(t5085) OR FIREABLE(t5084) OR FIREABLE(t5083) OR FIREABLE(t5082) OR FIREABLE(t5081) OR FIREABLE(t5080) OR FIREABLE(t5079) OR FIREABLE(t5078) OR FIREABLE(t5077) OR FIREABLE(t5076) OR FIREABLE(t5075) OR FIREABLE(t5074) OR FIREABLE(t5073) OR FIREABLE(t5072) OR FIREABLE(t5071) OR FIREABLE(t5070) OR FIREABLE(t5069) OR FIREABLE(t5068) OR FIREABLE(t5067) OR FIREABLE(t5066) OR FIREABLE(t5065) OR FIREABLE(t5064) OR FIREABLE(t5063) OR FIREABLE(t5062) OR FIREABLE(t5061) OR FIREABLE(t5060) OR FIREABLE(t5059) OR FIREABLE(t5058) OR FIREABLE(t5057) OR FIREABLE(t5056) OR FIREABLE(t5055) OR FIREABLE(t5054) OR FIREABLE(t5053) OR FIREABLE(t5052) OR FIREABLE(t5051) OR FIREABLE(t5050) OR FIREABLE(t5049) OR FIREABLE(t5048) OR FIREABLE(t5047) OR FIREABLE(t5046) OR FIREABLE(t5045) OR FIREABLE(t5044) OR FIREABLE(t5043) OR FIREABLE(t5042) OR FIREABLE(t5041) OR FIREABLE(t5040) OR FIREABLE(t5039) OR FIREABLE(t5038) OR FIREABLE(t5037) OR FIREABLE(t5036) OR FIREABLE(t5035) OR FIREABLE(t5034) OR FIREABLE(t5033) OR FIREABLE(t5032) OR FIREABLE(t5031) OR FIREABLE(t5030) OR FIREABLE(t5029) OR FIREABLE(t5028) OR FIREABLE(t5027) OR FIREABLE(t5026) OR FIREABLE(t5025) OR FIREABLE(t5024) OR FIREABLE(t5023) OR FIREABLE(t5022) OR FIREABLE(t5021) OR FIREABLE(t5020) OR FIREABLE(t5019) OR FIREABLE(t5018) OR FIREABLE(t5017) OR FIREABLE(t5016) OR FIREABLE(t5015) OR FIREABLE(t5014) OR FIREABLE(t5013) OR FIREABLE(t5012) OR FIREABLE(t5011) OR FIREABLE(t5010) OR FIREABLE(t5009) OR FIREABLE(t5008) OR FIREABLE(t5007) OR FIREABLE(t5006) OR FIREABLE(t5005) OR FIREABLE(t5004) OR FIREABLE(t5003) OR FIREABLE(t5002) OR FIREABLE(t5001) OR FIREABLE(t5000) OR FIREABLE(t4999) OR FIREABLE(t4998) OR FIREABLE(t4997) OR FIREABLE(t4996) OR FIREABLE(t4995) OR FIREABLE(t4994) OR FIREABLE(t4993) OR FIREABLE(t4992) OR FIREABLE(t4991) OR FIREABLE(t4990) OR FIREABLE(t4989) OR FIREABLE(t4988) OR FIREABLE(t4987) OR FIREABLE(t4986) OR FIREABLE(t4985) OR FIREABLE(t4984) OR FIREABLE(t4983) OR FIREABLE(t4982) OR FIREABLE(t4981) OR FIREABLE(t4980) OR FIREABLE(t4979) OR FIREABLE(t4978) OR FIREABLE(t4977) OR FIREABLE(t4976) OR FIREABLE(t4975) OR FIREABLE(t4974) OR FIREABLE(t4973) OR FIREABLE(t4972) OR FIREABLE(t4971) OR FIREABLE(t4970) OR FIREABLE(t4969) OR FIREABLE(t4968) OR FIREABLE(t4967) OR FIREABLE(t4966) OR FIREABLE(t4965) OR FIREABLE(t4964) OR FIREABLE(t4963) OR FIREABLE(t4962) OR FIREABLE(t4961) OR FIREABLE(t4960) OR FIREABLE(t4959) OR FIREABLE(t4958) OR FIREABLE(t4957) OR FIREABLE(t4956) OR FIREABLE(t4955) OR FIREABLE(t4954) OR FIREABLE(t4953) OR FIREABLE(t4952) OR FIREABLE(t4951) OR FIREABLE(t4950) OR FIREABLE(t4949) OR FIREABLE(t4948) OR FIREABLE(t4947) OR FIREABLE(t4946) OR FIREABLE(t4945) OR FIREABLE(t4944) OR FIREABLE(t4943) OR FIREABLE(t4942) OR FIREABLE(t4941) OR FIREABLE(t4940) OR FIREABLE(t4939) OR FIREABLE(t4938) OR FIREABLE(t4937) OR FIREABLE(t4936) OR FIREABLE(t4935) OR FIREABLE(t4934) OR FIREABLE(t4933) OR FIREABLE(t4932) OR FIREABLE(t4931) OR FIREABLE(t4930) OR FIREABLE(t4929) OR FIREABLE(t4928) OR FIREABLE(t4927) OR FIREABLE(t4926) OR FIREABLE(t4925) OR FIREABLE(t4924) OR FIREABLE(t4923) OR FIREABLE(t4922) OR FIREABLE(t4921) OR FIREABLE(t4920) OR FIREABLE(t4919) OR FIREABLE(t4918) OR FIREABLE(t4917) OR FIREABLE(t4916) OR FIREABLE(t4915) OR FIREABLE(t4914) OR FIREABLE(t4913) OR FIREABLE(t4912) OR FIREABLE(t4911) OR FIREABLE(t4910) OR FIREABLE(t4909) OR FIREABLE(t4908) OR FIREABLE(t4907) OR FIREABLE(t4906) OR FIREABLE(t4905) OR FIREABLE(t4904) OR FIREABLE(t4903) OR FIREABLE(t4902) OR FIREABLE(t4901) OR FIREABLE(t4900) OR FIREABLE(t4899) OR FIREABLE(t4898) OR FIREABLE(t4897) OR FIREABLE(t4896) OR FIREABLE(t4895) OR FIREABLE(t4894) OR FIREABLE(t4893) OR FIREABLE(t4892) OR FIREABLE(t4891) OR FIREABLE(t4890) OR FIREABLE(t4889) OR FIREABLE(t4888) OR FIREABLE(t4887) OR FIREABLE(t4886) OR FIREABLE(t4885) OR FIREABLE(t4884) OR FIREABLE(t4883) OR FIREABLE(t4882) OR FIREABLE(t4881) OR FIREABLE(t4880) OR FIREABLE(t4879) OR FIREABLE(t4878) OR FIREABLE(t4877) OR FIREABLE(t4876) OR FIREABLE(t4875) OR FIREABLE(t4874) OR FIREABLE(t4873) OR FIREABLE(t4872) OR FIREABLE(t4871) OR FIREABLE(t4870) OR FIREABLE(t4869) OR FIREABLE(t4868) OR FIREABLE(t4867) OR FIREABLE(t4866) OR FIREABLE(t4865) OR FIREABLE(t4864) OR FIREABLE(t4863) OR FIREABLE(t4862) OR FIREABLE(t4861) OR FIREABLE(t4860) OR FIREABLE(t4859) OR FIREABLE(t4858) OR FIREABLE(t4857) OR FIREABLE(t4856) OR FIREABLE(t4855) OR FIREABLE(t4854) OR FIREABLE(t4853) OR FIREABLE(t4852) OR FIREABLE(t4851) OR FIREABLE(t4850) OR FIREABLE(t4849) OR FIREABLE(t4848) OR FIREABLE(t4847) OR FIREABLE(t4846) OR FIREABLE(t4845) OR FIREABLE(t4844) OR FIREABLE(t4843) OR FIREABLE(t4842) OR FIREABLE(t4841) OR FIREABLE(t4840) OR FIREABLE(t4839) OR FIREABLE(t4838) OR FIREABLE(t4837) OR FIREABLE(t4836) OR FIREABLE(t4835) OR FIREABLE(t4834) OR FIREABLE(t4833) OR FIREABLE(t4832) OR FIREABLE(t4831) OR FIREABLE(t4830) OR FIREABLE(t4829) OR FIREABLE(t4828) OR FIREABLE(t4827) OR FIREABLE(t4826) OR FIREABLE(t4825) OR FIREABLE(t4824) OR FIREABLE(t4823) OR FIREABLE(t4822) OR FIREABLE(t4821) OR FIREABLE(t4820) OR FIREABLE(t4819) OR FIREABLE(t4818) OR FIREABLE(t4817) OR FIREABLE(t4816) OR FIREABLE(t4815) OR FIREABLE(t4814) OR FIREABLE(t4813) OR FIREABLE(t4812) OR FIREABLE(t4811) OR FIREABLE(t4810) OR FIREABLE(t4809) OR FIREABLE(t4808) OR FIREABLE(t4807) OR FIREABLE(t4806) OR FIREABLE(t4805) OR FIREABLE(t4804) OR FIREABLE(t4803) OR FIREABLE(t4802) OR FIREABLE(t4801) OR FIREABLE(t4800) OR FIREABLE(t4799) OR FIREABLE(t4798) OR FIREABLE(t4797) OR FIREABLE(t4796) OR FIREABLE(t4795) OR FIREABLE(t4794) OR FIREABLE(t4793) OR FIREABLE(t4792) OR FIREABLE(t4791) OR FIREABLE(t4790) OR FIREABLE(t4789) OR FIREABLE(t4788) OR FIREABLE(t4787) OR FIREABLE(t4786) OR FIREABLE(t4785) OR FIREABLE(t4784) OR FIREABLE(t4783) OR FIREABLE(t4782) OR FIREABLE(t4781) OR FIREABLE(t4780) OR FIREABLE(t4779) OR FIREABLE(t4778) OR FIREABLE(t4777) OR FIREABLE(t4776) OR FIREABLE(t4775) OR FIREABLE(t4774) OR FIREABLE(t4773) OR FIREABLE(t4772) OR FIREABLE(t4771) OR FIREABLE(t4770) OR FIREABLE(t4769) OR FIREABLE(t4768) OR FIREABLE(t4767) OR FIREABLE(t4766) OR FIREABLE(t4765) OR FIREABLE(t4764) OR FIREABLE(t4763) OR FIREABLE(t4762) OR FIREABLE(t4761) OR FIREABLE(t4760) OR FIREABLE(t4759) OR FIREABLE(t4758) OR FIREABLE(t4757) OR FIREABLE(t4756) OR FIREABLE(t4755) OR FIREABLE(t4754) OR FIREABLE(t4753) OR FIREABLE(t4752) OR FIREABLE(t4751) OR FIREABLE(t4750) OR FIREABLE(t4749) OR FIREABLE(t4748) OR FIREABLE(t4747) OR FIREABLE(t4746) OR FIREABLE(t4745) OR FIREABLE(t4744) OR FIREABLE(t4743) OR FIREABLE(t4742) OR FIREABLE(t4741) OR FIREABLE(t4740) OR FIREABLE(t4739) OR FIREABLE(t4738) OR FIREABLE(t4737) OR FIREABLE(t4736) OR FIREABLE(t4735) OR FIREABLE(t4734) OR FIREABLE(t4733) OR FIREABLE(t4732) OR FIREABLE(t4731) OR FIREABLE(t4730) OR FIREABLE(t4729) OR FIREABLE(t4728) OR FIREABLE(t4727) OR FIREABLE(t4726) OR FIREABLE(t4725) OR FIREABLE(t4724) OR FIREABLE(t4723) OR FIREABLE(t4722) OR FIREABLE(t4721) OR FIREABLE(t4720) OR FIREABLE(t4719) OR FIREABLE(t4718) OR FIREABLE(t4717) OR FIREABLE(t4716) OR FIREABLE(t4715) OR FIREABLE(t4714) OR FIREABLE(t4713) OR FIREABLE(t4712) OR FIREABLE(t4711) OR FIREABLE(t4710) OR FIREABLE(t4709) OR FIREABLE(t4708) OR FIREABLE(t4707) OR FIREABLE(t4706) OR FIREABLE(t4705) OR FIREABLE(t4704) OR FIREABLE(t4703) OR FIREABLE(t4702) OR FIREABLE(t4701) OR FIREABLE(t4700) OR FIREABLE(t4699) OR FIREABLE(t4698) OR FIREABLE(t4697) OR FIREABLE(t4696) OR FIREABLE(t4695) OR FIREABLE(t4694) OR FIREABLE(t4693) OR FIREABLE(t4692) OR FIREABLE(t4691) OR FIREABLE(t4690) OR FIREABLE(t4689) OR FIREABLE(t4688) OR FIREABLE(t4687) OR FIREABLE(t4686) OR FIREABLE(t4685) OR FIREABLE(t4684) OR FIREABLE(t4683) OR FIREABLE(t4682) OR FIREABLE(t4681) OR FIREABLE(t4680) OR FIREABLE(t4679) OR FIREABLE(t4678) OR FIREABLE(t4677) OR FIREABLE(t4676) OR FIREABLE(t4675) OR FIREABLE(t4674) OR FIREABLE(t4673) OR FIREABLE(t4672) OR FIREABLE(t4671) OR FIREABLE(t4670) OR FIREABLE(t4669) OR FIREABLE(t4668) OR FIREABLE(t4667) OR FIREABLE(t4666) OR FIREABLE(t4665) OR FIREABLE(t4664) OR FIREABLE(t4663) OR FIREABLE(t4662) OR FIREABLE(t4661) OR FIREABLE(t4660) OR FIREABLE(t4659) OR FIREABLE(t4658) OR FIREABLE(t4657) OR FIREABLE(t4656) OR FIREABLE(t4655) OR FIREABLE(t4654) OR FIREABLE(t4653) OR FIREABLE(t4652) OR FIREABLE(t4651) OR FIREABLE(t4650) OR FIREABLE(t4649) OR FIREABLE(t4648) OR FIREABLE(t4647) OR FIREABLE(t4646) OR FIREABLE(t4645) OR FIREABLE(t4644) OR FIREABLE(t4643) OR FIREABLE(t4642) OR FIREABLE(t4641) OR FIREABLE(t4640) OR FIREABLE(t4639) OR FIREABLE(t4638) OR FIREABLE(t4637) OR FIREABLE(t4636) OR FIREABLE(t4635) OR FIREABLE(t4634) OR FIREABLE(t4633) OR FIREABLE(t4632) OR FIREABLE(t4631) OR FIREABLE(t4630) OR FIREABLE(t4629) OR FIREABLE(t4628) OR FIREABLE(t4627) OR FIREABLE(t4626) OR FIREABLE(t4625) OR FIREABLE(t4624) OR FIREABLE(t4623) OR FIREABLE(t4622) OR FIREABLE(t4621) OR FIREABLE(t4620) OR FIREABLE(t4619) OR FIREABLE(t4618) OR FIREABLE(t4617) OR FIREABLE(t4616) OR FIREABLE(t4615) OR FIREABLE(t4614) OR FIREABLE(t4613) OR FIREABLE(t4612) OR FIREABLE(t4611) OR FIREABLE(t4610) OR FIREABLE(t4609) OR FIREABLE(t4608) OR FIREABLE(t4607) OR FIREABLE(t4606) OR FIREABLE(t4605) OR FIREABLE(t4604) OR FIREABLE(t4603) OR FIREABLE(t4602) OR FIREABLE(t4601) OR FIREABLE(t4600) OR FIREABLE(t4599) OR FIREABLE(t4598) OR FIREABLE(t4597) OR FIREABLE(t4596) OR FIREABLE(t4595) OR FIREABLE(t4594) OR FIREABLE(t4593) OR FIREABLE(t4592) OR FIREABLE(t4591) OR FIREABLE(t4590) OR FIREABLE(t4589) OR FIREABLE(t4588) OR FIREABLE(t4587) OR FIREABLE(t4586) OR FIREABLE(t4585) OR FIREABLE(t4584) OR FIREABLE(t4583) OR FIREABLE(t4582) OR FIREABLE(t4581) OR FIREABLE(t4580) OR FIREABLE(t4579) OR FIREABLE(t4578) OR FIREABLE(t4577) OR FIREABLE(t4576) OR FIREABLE(t4575) OR FIREABLE(t4574) OR FIREABLE(t4573) OR FIREABLE(t4572) OR FIREABLE(t4571) OR FIREABLE(t4570) OR FIREABLE(t4569) OR FIREABLE(t4568) OR FIREABLE(t4567) OR FIREABLE(t4566) OR FIREABLE(t4565) OR FIREABLE(t4564) OR FIREABLE(t4563) OR FIREABLE(t4562) OR FIREABLE(t4561) OR FIREABLE(t4560) OR FIREABLE(t4559) OR FIREABLE(t4558) OR FIREABLE(t4557) OR FIREABLE(t4556) OR FIREABLE(t4555) OR FIREABLE(t4554) OR FIREABLE(t4553) OR FIREABLE(t4552) OR FIREABLE(t4551) OR FIREABLE(t4550) OR FIREABLE(t4549) OR FIREABLE(t4548) OR FIREABLE(t4547) OR FIREABLE(t4546) OR FIREABLE(t4545) OR FIREABLE(t4544) OR FIREABLE(t4543) OR FIREABLE(t4542) OR FIREABLE(t4541) OR FIREABLE(t4540) OR FIREABLE(t4539) OR FIREABLE(t4538) OR FIREABLE(t4537) OR FIREABLE(t4536) OR FIREABLE(t4535) OR FIREABLE(t4534) OR FIREABLE(t4533) OR FIREABLE(t4532) OR FIREABLE(t4531) OR FIREABLE(t4530) OR FIREABLE(t4529) OR FIREABLE(t4528) OR FIREABLE(t4527) OR FIREABLE(t4526) OR FIREABLE(t4525) OR FIREABLE(t4524) OR FIREABLE(t4523) OR FIREABLE(t4522) OR FIREABLE(t4521) OR FIREABLE(t4520) OR FIREABLE(t4519) OR FIREABLE(t4518) OR FIREABLE(t4517) OR FIREABLE(t4516) OR FIREABLE(t4515) OR FIREABLE(t4514) OR FIREABLE(t4513) OR FIREABLE(t4512) OR FIREABLE(t4511) OR FIREABLE(t4510) OR FIREABLE(t4509) OR FIREABLE(t4508)))))))) : A ((G (((FIREABLE(t4159) OR FIREABLE(t4158) OR FIREABLE(t4157) OR FIREABLE(t4156) OR FIREABLE(t4155) OR FIREABLE(t4154) OR FIREABLE(t4153) OR FIREABLE(t4152) OR FIREABLE(t4151) OR FIREABLE(t4150) OR FIREABLE(t4149) OR FIREABLE(t4148) OR FIREABLE(t4147) OR FIREABLE(t4146) OR FIREABLE(t4145) OR FIREABLE(t4144) OR FIREABLE(t4143) OR FIREABLE(t4142) OR FIREABLE(t4141) OR FIREABLE(t4140) OR FIREABLE(t4139) OR FIREABLE(t4138) OR FIREABLE(t4137) OR FIREABLE(t4136) OR FIREABLE(t4135) OR FIREABLE(t4134) OR FIREABLE(t4133) OR FIREABLE(t4132) OR FIREABLE(t4131) OR FIREABLE(t4130) OR FIREABLE(t4129) OR FIREABLE(t4128) OR FIREABLE(t4127) OR FIREABLE(t4126) OR FIREABLE(t4125) OR FIREABLE(t4124) OR FIREABLE(t4123) OR FIREABLE(t4122) OR FIREABLE(t4121) OR FIREABLE(t4120) OR FIREABLE(t4119) OR FIREABLE(t4118) OR FIREABLE(t4117) OR FIREABLE(t4116) OR FIREABLE(t4115) OR FIREABLE(t4114) OR FIREABLE(t4113) OR FIREABLE(t4112) OR FIREABLE(t4111) OR FIREABLE(t4110) OR FIREABLE(t4109) OR FIREABLE(t4108) OR FIREABLE(t4107) OR FIREABLE(t4106) OR FIREABLE(t4105) OR FIREABLE(t4104) OR FIREABLE(t4103) OR FIREABLE(t4102) OR FIREABLE(t4101) OR FIREABLE(t4100) OR FIREABLE(t4099) OR FIREABLE(t4098) OR FIREABLE(t4097) OR FIREABLE(t4096) OR FIREABLE(t4095) OR FIREABLE(t4094) OR FIREABLE(t4093) OR FIREABLE(t4092) OR FIREABLE(t4091) OR FIREABLE(t4090) OR FIREABLE(t4089) OR FIREABLE(t4088) OR FIREABLE(t4087) OR FIREABLE(t4086) OR FIREABLE(t4085) OR FIREABLE(t4084) OR FIREABLE(t4083) OR FIREABLE(t4082) OR FIREABLE(t4081) OR FIREABLE(t4080)) U (FIREABLE(t4159) OR FIREABLE(t4158) OR FIREABLE(t4157) OR FIREABLE(t4156) OR FIREABLE(t4155) OR FIREABLE(t4154) OR FIREABLE(t4153) OR FIREABLE(t4152) OR FIREABLE(t4151) OR FIREABLE(t4150) OR FIREABLE(t4149) OR FIREABLE(t4148) OR FIREABLE(t4147) OR FIREABLE(t4146) OR FIREABLE(t4145) OR FIREABLE(t4144) OR FIREABLE(t4143) OR FIREABLE(t4142) OR FIREABLE(t4141) OR FIREABLE(t4140) OR FIREABLE(t4139) OR FIREABLE(t4138) OR FIREABLE(t4137) OR FIREABLE(t4136) OR FIREABLE(t4135) OR FIREABLE(t4134) OR FIREABLE(t4133) OR FIREABLE(t4132) OR FIREABLE(t4131) OR FIREABLE(t4130) OR FIREABLE(t4129) OR FIREABLE(t4128) OR FIREABLE(t4127) OR FIREABLE(t4126) OR FIREABLE(t4125) OR FIREABLE(t4124) OR FIREABLE(t4123) OR FIREABLE(t4122) OR FIREABLE(t4121) OR FIREABLE(t4120) OR FIREABLE(t4119) OR FIREABLE(t4118) OR FIREABLE(t4117) OR FIREABLE(t4116) OR FIREABLE(t4115) OR FIREABLE(t4114) OR FIREABLE(t4113) OR FIREABLE(t4112) OR FIREABLE(t4111) OR FIREABLE(t4110) OR FIREABLE(t4109) OR FIREABLE(t4108) OR FIREABLE(t4107) OR FIREABLE(t4106) OR FIREABLE(t4105) OR FIREABLE(t4104) OR FIREABLE(t4103) OR FIREABLE(t4102) OR FIREABLE(t4101) OR FIREABLE(t4100) OR FIREABLE(t4099) OR FIREABLE(t4098) OR FIREABLE(t4097) OR FIREABLE(t4096) OR FIREABLE(t4095) OR FIREABLE(t4094) OR FIREABLE(t4093) OR FIREABLE(t4092) OR FIREABLE(t4091) OR FIREABLE(t4090) OR FIREABLE(t4089) OR FIREABLE(t4088) OR FIREABLE(t4087) OR FIREABLE(t4086) OR FIREABLE(t4085) OR FIREABLE(t4084) OR FIREABLE(t4083) OR FIREABLE(t4082) OR FIREABLE(t4081) OR FIREABLE(t4080)))) U X ((FIREABLE(t4404) OR FIREABLE(t4403) OR FIREABLE(t4402) OR FIREABLE(t4401) OR FIREABLE(t4400) OR FIREABLE(t4399) OR FIREABLE(t4398) OR FIREABLE(t4397) OR FIREABLE(t4396) OR FIREABLE(t4395) OR FIREABLE(t4394) OR FIREABLE(t4393) OR FIREABLE(t4392) OR FIREABLE(t4391) OR FIREABLE(t4390) OR FIREABLE(t4389) OR FIREABLE(t4388) OR FIREABLE(t4387) OR FIREABLE(t4386) OR FIREABLE(t4385) OR FIREABLE(t4384) OR FIREABLE(t4383) OR FIREABLE(t4382) OR FIREABLE(t4381) OR FIREABLE(t4380) OR FIREABLE(t4379) OR FIREABLE(t4378) OR FIREABLE(t4377) OR FIREABLE(t4376) OR FIREABLE(t4375) OR FIREABLE(t4374) OR FIREABLE(t4373) OR FIREABLE(t4372) OR FIREABLE(t4371) OR FIREABLE(t4370) OR FIREABLE(t4369) OR FIREABLE(t4368) OR FIREABLE(t4367) OR FIREABLE(t4366) OR FIREABLE(t4365) OR FIREABLE(t4364) OR FIREABLE(t4363) OR FIREABLE(t4362) OR FIREABLE(t4361) OR FIREABLE(t4360) OR FIREABLE(t4359) OR FIREABLE(t4358) OR FIREABLE(t4357) OR FIREABLE(t4356) OR FIREABLE(t4355) OR FIREABLE(t4354) OR FIREABLE(t4353) OR FIREABLE(t4352) OR FIREABLE(t4351) OR FIREABLE(t4350) OR FIREABLE(t4349) OR FIREABLE(t4348) OR FIREABLE(t4347) OR FIREABLE(t4346) OR FIREABLE(t4345) OR FIREABLE(t4344) OR FIREABLE(t4343) OR FIREABLE(t4342) OR FIREABLE(t4341) OR FIREABLE(t4340) OR FIREABLE(t4339) OR FIREABLE(t4338) OR FIREABLE(t4337) OR FIREABLE(t4336) OR FIREABLE(t4335) OR FIREABLE(t4334) OR FIREABLE(t4333) OR FIREABLE(t4332) OR FIREABLE(t4331) OR FIREABLE(t4330) OR FIREABLE(t4329) OR FIREABLE(t4328) OR FIREABLE(t4327) OR FIREABLE(t4326) OR FIREABLE(t4325) OR FIREABLE(t4324))))) : A (X (F ((X ((FIREABLE(t4240) OR FIREABLE(t4239) OR FIREABLE(t4238) OR FIREABLE(t4237) OR FIREABLE(t4236) OR FIREABLE(t4235) OR FIREABLE(t4234) OR FIREABLE(t4233) OR FIREABLE(t4232) OR FIREABLE(t4231) OR FIREABLE(t4230) OR FIREABLE(t4229) OR FIREABLE(t4228) OR FIREABLE(t4227) OR FIREABLE(t4226) OR FIREABLE(t4225) OR FIREABLE(t4224) OR FIREABLE(t4223) OR FIREABLE(t4222) OR FIREABLE(t4221) OR FIREABLE(t4220) OR FIREABLE(t4219) OR FIREABLE(t4218) OR FIREABLE(t4217) OR FIREABLE(t4216) OR FIREABLE(t4215) OR FIREABLE(t4214) OR FIREABLE(t4213) OR FIREABLE(t4212) OR FIREABLE(t4211) OR FIREABLE(t4210) OR FIREABLE(t4209) OR FIREABLE(t4208) OR FIREABLE(t4207) OR FIREABLE(t4206) OR FIREABLE(t4205) OR FIREABLE(t4204) OR FIREABLE(t4203) OR FIREABLE(t4202) OR FIREABLE(t4201) OR FIREABLE(t4200) OR FIREABLE(t4199) OR FIREABLE(t4198) OR FIREABLE(t4197) OR FIREABLE(t4196) OR FIREABLE(t4195) OR FIREABLE(t4194) OR FIREABLE(t4193) OR FIREABLE(t4192) OR FIREABLE(t4191) OR FIREABLE(t4190) OR FIREABLE(t4189) OR FIREABLE(t4188) OR FIREABLE(t4187) OR FIREABLE(t4186) OR FIREABLE(t4185) OR FIREABLE(t4184) OR FIREABLE(t4183) OR FIREABLE(t4182) OR FIREABLE(t4181) OR FIREABLE(t4180) OR FIREABLE(t4179) OR FIREABLE(t4178) OR FIREABLE(t4177) OR FIREABLE(t4176) OR FIREABLE(t4175) OR FIREABLE(t4174) OR FIREABLE(t4173) OR FIREABLE(t4172) OR FIREABLE(t4171) OR FIREABLE(t4170) OR FIREABLE(t4169) OR FIREABLE(t4168) OR FIREABLE(t4167) OR FIREABLE(t4166) OR FIREABLE(t4165) OR FIREABLE(t4164) OR FIREABLE(t4163) OR FIREABLE(t4162) OR FIREABLE(t4161) OR FIREABLE(t4160))) U (FIREABLE(t4507) OR FIREABLE(t4506) OR FIREABLE(t4505) OR FIREABLE(t4504) OR FIREABLE(t4503) OR FIREABLE(t4502) OR FIREABLE(t4501) OR FIREABLE(t4500) OR FIREABLE(t4499) OR FIREABLE(t4498) OR FIREABLE(t4497) OR FIREABLE(t4496) OR FIREABLE(t4495) OR FIREABLE(t4494) OR FIREABLE(t4493) OR FIREABLE(t4492) OR FIREABLE(t4491) OR FIREABLE(t4490) OR FIREABLE(t4489) OR FIREABLE(t4488) OR FIREABLE(t4487) OR FIREABLE(t4486) OR FIREABLE(t4485) OR FIREABLE(t4484) OR FIREABLE(t4483) OR FIREABLE(t4482) OR FIREABLE(t4481) OR FIREABLE(t4480) OR FIREABLE(t4479) OR FIREABLE(t4478) OR FIREABLE(t4477) OR FIREABLE(t4476) OR FIREABLE(t4475) OR FIREABLE(t4474) OR FIREABLE(t4473) OR FIREABLE(t4472) OR FIREABLE(t4471) OR FIREABLE(t4470) OR FIREABLE(t4469) OR FIREABLE(t4468) OR FIREABLE(t4467) OR FIREABLE(t4466) OR FIREABLE(t4465) OR FIREABLE(t4464) OR FIREABLE(t4463) OR FIREABLE(t4462) OR FIREABLE(t4461) OR FIREABLE(t4460) OR FIREABLE(t4459) OR FIREABLE(t4458) OR FIREABLE(t4457) OR FIREABLE(t4456) OR FIREABLE(t4455) OR FIREABLE(t4454) OR FIREABLE(t4453) OR FIREABLE(t4452) OR FIREABLE(t4451) OR FIREABLE(t4450) OR FIREABLE(t4449) OR FIREABLE(t4448) OR FIREABLE(t4447) OR FIREABLE(t4446) OR FIREABLE(t4445) OR FIREABLE(t4444) OR FIREABLE(t4443) OR FIREABLE(t4442) OR FIREABLE(t4441) OR FIREABLE(t4440) OR FIREABLE(t4439) OR FIREABLE(t4438) OR FIREABLE(t4437) OR FIREABLE(t4436) OR FIREABLE(t4435) OR FIREABLE(t4434) OR FIREABLE(t4433) OR FIREABLE(t4432) OR FIREABLE(t4431) OR FIREABLE(t4430) OR FIREABLE(t4429) OR FIREABLE(t4428) OR FIREABLE(t4427) OR FIREABLE(t4426) OR FIREABLE(t4425) OR FIREABLE(t4424) OR FIREABLE(t4423) OR FIREABLE(t4422) OR FIREABLE(t4421) OR FIREABLE(t4420) OR FIREABLE(t4419) OR FIREABLE(t4418) OR FIREABLE(t4417) OR FIREABLE(t4416) OR FIREABLE(t4415) OR FIREABLE(t4414) OR FIREABLE(t4413) OR FIREABLE(t4412) OR FIREABLE(t4411) OR FIREABLE(t4410) OR FIREABLE(t4409) OR FIREABLE(t4408)))))) : A (F ((F (X ((FIREABLE(t4406) OR FIREABLE(t4405)))) U F (F (FIREABLE(t4241)))))) : A ((G (F (X ((FIREABLE(t4240) OR FIREABLE(t4239) OR FIREABLE(t4238) OR FIREABLE(t4237) OR FIREABLE(t4236) OR FIREABLE(t4235) OR FIREABLE(t4234) OR FIREABLE(t4233) OR FIREABLE(t4232) OR FIREABLE(t4231) OR FIREABLE(t4230) OR FIREABLE(t4229) OR FIREABLE(t4228) OR FIREABLE(t4227) OR FIREABLE(t4226) OR FIREABLE(t4225) OR FIREABLE(t4224) OR FIREABLE(t4223) OR FIREABLE(t4222) OR FIREABLE(t4221) OR FIREABLE(t4220) OR FIREABLE(t4219) OR FIREABLE(t4218) OR FIREABLE(t4217) OR FIREABLE(t4216) OR FIREABLE(t4215) OR FIREABLE(t4214) OR FIREABLE(t4213) OR FIREABLE(t4212) OR FIREABLE(t4211) OR FIREABLE(t4210) OR FIREABLE(t4209) OR FIREABLE(t4208) OR FIREABLE(t4207) OR FIREABLE(t4206) OR FIREABLE(t4205) OR FIREABLE(t4204) OR FIREABLE(t4203) OR FIREABLE(t4202) OR FIREABLE(t4201) OR FIREABLE(t4200) OR FIREABLE(t4199) OR FIREABLE(t4198) OR FIREABLE(t4197) OR FIREABLE(t4196) OR FIREABLE(t4195) OR FIREABLE(t4194) OR FIREABLE(t4193) OR FIREABLE(t4192) OR FIREABLE(t4191) OR FIREABLE(t4190) OR FIREABLE(t4189) OR FIREABLE(t4188) OR FIREABLE(t4187) OR FIREABLE(t4186) OR FIREABLE(t4185) OR FIREABLE(t4184) OR FIREABLE(t4183) OR FIREABLE(t4182) OR FIREABLE(t4181) OR FIREABLE(t4180) OR FIREABLE(t4179) OR FIREABLE(t4178) OR FIREABLE(t4177) OR FIREABLE(t4176) OR FIREABLE(t4175) OR FIREABLE(t4174) OR FIREABLE(t4173) OR FIREABLE(t4172) OR FIREABLE(t4171) OR FIREABLE(t4170) OR FIREABLE(t4169) OR FIREABLE(t4168) OR FIREABLE(t4167) OR FIREABLE(t4166) OR FIREABLE(t4165) OR FIREABLE(t4164) OR FIREABLE(t4163) OR FIREABLE(t4162) OR FIREABLE(t4161) OR FIREABLE(t4160))))) U (X ((FIREABLE(t4321) OR FIREABLE(t4320) OR FIREABLE(t4319) OR FIREABLE(t4318) OR FIREABLE(t4317) OR FIREABLE(t4316) OR FIREABLE(t4315) OR FIREABLE(t4314) OR FIREABLE(t4313) OR FIREABLE(t4312) OR FIREABLE(t4311) OR FIREABLE(t4310) OR FIREABLE(t4309) OR FIREABLE(t4308) OR FIREABLE(t4307) OR FIREABLE(t4306) OR FIREABLE(t4305) OR FIREABLE(t4304) OR FIREABLE(t4303) OR FIREABLE(t4302) OR FIREABLE(t4301) OR FIREABLE(t4300) OR FIREABLE(t4299) OR FIREABLE(t4298) OR FIREABLE(t4297) OR FIREABLE(t4296) OR FIREABLE(t4295) OR FIREABLE(t4294) OR FIREABLE(t4293) OR FIREABLE(t4292) OR FIREABLE(t4291) OR FIREABLE(t4290) OR FIREABLE(t4289) OR FIREABLE(t4288) OR FIREABLE(t4287) OR FIREABLE(t4286) OR FIREABLE(t4285) OR FIREABLE(t4284) OR FIREABLE(t4283) OR FIREABLE(t4282) OR FIREABLE(t4281) OR FIREABLE(t4280) OR FIREABLE(t4279) OR FIREABLE(t4278) OR FIREABLE(t4277) OR FIREABLE(t4276) OR FIREABLE(t4275) OR FIREABLE(t4274) OR FIREABLE(t4273) OR FIREABLE(t4272) OR FIREABLE(t4271) OR FIREABLE(t4270) OR FIREABLE(t4269) OR FIREABLE(t4268) OR FIREABLE(t4267) OR FIREABLE(t4266) OR FIREABLE(t4265) OR FIREABLE(t4264) OR FIREABLE(t4263) OR FIREABLE(t4262) OR FIREABLE(t4261) OR FIREABLE(t4260) OR FIREABLE(t4259) OR FIREABLE(t4258) OR FIREABLE(t4257) OR FIREABLE(t4256) OR FIREABLE(t4255) OR FIREABLE(t4254) OR FIREABLE(t4253) OR FIREABLE(t4252) OR FIREABLE(t4251) OR FIREABLE(t4250) OR FIREABLE(t4249) OR FIREABLE(t4248) OR FIREABLE(t4247) OR FIREABLE(t4246) OR FIREABLE(t4245) OR FIREABLE(t4244) OR FIREABLE(t4243) OR FIREABLE(t4242))) U X ((FIREABLE(t4159) OR FIREABLE(t4158) OR FIREABLE(t4157) OR FIREABLE(t4156) OR FIREABLE(t4155) OR FIREABLE(t4154) OR FIREABLE(t4153) OR FIREABLE(t4152) OR FIREABLE(t4151) OR FIREABLE(t4150) OR FIREABLE(t4149) OR FIREABLE(t4148) OR FIREABLE(t4147) OR FIREABLE(t4146) OR FIREABLE(t4145) OR FIREABLE(t4144) OR FIREABLE(t4143) OR FIREABLE(t4142) OR FIREABLE(t4141) OR FIREABLE(t4140) OR FIREABLE(t4139) OR FIREABLE(t4138) OR FIREABLE(t4137) OR FIREABLE(t4136) OR FIREABLE(t4135) OR FIREABLE(t4134) OR FIREABLE(t4133) OR FIREABLE(t4132) OR FIREABLE(t4131) OR FIREABLE(t4130) OR FIREABLE(t4129) OR FIREABLE(t4128) OR FIREABLE(t4127) OR FIREABLE(t4126) OR FIREABLE(t4125) OR FIREABLE(t4124) OR FIREABLE(t4123) OR FIREABLE(t4122) OR FIREABLE(t4121) OR FIREABLE(t4120) OR FIREABLE(t4119) OR FIREABLE(t4118) OR FIREABLE(t4117) OR FIREABLE(t4116) OR FIREABLE(t4115) OR FIREABLE(t4114) OR FIREABLE(t4113) OR FIREABLE(t4112) OR FIREABLE(t4111) OR FIREABLE(t4110) OR FIREABLE(t4109) OR FIREABLE(t4108) OR FIREABLE(t4107) OR FIREABLE(t4106) OR FIREABLE(t4105) OR FIREABLE(t4104) OR FIREABLE(t4103) OR FIREABLE(t4102) OR FIREABLE(t4101) OR FIREABLE(t4100) OR FIREABLE(t4099) OR FIREABLE(t4098) OR FIREABLE(t4097) OR FIREABLE(t4096) OR FIREABLE(t4095) OR FIREABLE(t4094) OR FIREABLE(t4093) OR FIREABLE(t4092) OR FIREABLE(t4091) OR FIREABLE(t4090) OR FIREABLE(t4089) OR FIREABLE(t4088) OR FIREABLE(t4087) OR FIREABLE(t4086) OR FIREABLE(t4085) OR FIREABLE(t4084) OR FIREABLE(t4083) OR FIREABLE(t4082) OR FIREABLE(t4081) OR FIREABLE(t4080)))))) : A (X (X (F ((FIREABLE(t4406) OR FIREABLE(t4405)))))) : A (G (FIREABLE(t4241))) : A (G (X (F (FIREABLE(t4241))))) : A ((FIREABLE(t4404) OR FIREABLE(t4403) OR FIREABLE(t4402) OR FIREABLE(t4401) OR FIREABLE(t4400) OR FIREABLE(t4399) OR FIREABLE(t4398) OR FIREABLE(t4397) OR FIREABLE(t4396) OR FIREABLE(t4395) OR FIREABLE(t4394) OR FIREABLE(t4393) OR FIREABLE(t4392) OR FIREABLE(t4391) OR FIREABLE(t4390) OR FIREABLE(t4389) OR FIREABLE(t4388) OR FIREABLE(t4387) OR FIREABLE(t4386) OR FIREABLE(t4385) OR FIREABLE(t4384) OR FIREABLE(t4383) OR FIREABLE(t4382) OR FIREABLE(t4381) OR FIREABLE(t4380) OR FIREABLE(t4379) OR FIREABLE(t4378) OR FIREABLE(t4377) OR FIREABLE(t4376) OR FIREABLE(t4375) OR FIREABLE(t4374) OR FIREABLE(t4373) OR FIREABLE(t4372) OR FIREABLE(t4371) OR FIREABLE(t4370) OR FIREABLE(t4369) OR FIREABLE(t4368) OR FIREABLE(t4367) OR FIREABLE(t4366) OR FIREABLE(t4365) OR FIREABLE(t4364) OR FIREABLE(t4363) OR FIREABLE(t4362) OR FIREABLE(t4361) OR FIREABLE(t4360) OR FIREABLE(t4359) OR FIREABLE(t4358) OR FIREABLE(t4357) OR FIREABLE(t4356) OR FIREABLE(t4355) OR FIREABLE(t4354) OR FIREABLE(t4353) OR FIREABLE(t4352) OR FIREABLE(t4351) OR FIREABLE(t4350) OR FIREABLE(t4349) OR FIREABLE(t4348) OR FIREABLE(t4347) OR FIREABLE(t4346) OR FIREABLE(t4345) OR FIREABLE(t4344) OR FIREABLE(t4343) OR FIREABLE(t4342) OR FIREABLE(t4341) OR FIREABLE(t4340) OR FIREABLE(t4339) OR FIREABLE(t4338) OR FIREABLE(t4337) OR FIREABLE(t4336) OR FIREABLE(t4335) OR FIREABLE(t4334) OR FIREABLE(t4333) OR FIREABLE(t4332) OR FIREABLE(t4331) OR FIREABLE(t4330) OR FIREABLE(t4329) OR FIREABLE(t4328) OR FIREABLE(t4327) OR FIREABLE(t4326) OR FIREABLE(t4325) OR FIREABLE(t4324))) : A ((FIREABLE(t4321) OR FIREABLE(t4320) OR FIREABLE(t4319) OR FIREABLE(t4318) OR FIREABLE(t4317) OR FIREABLE(t4316) OR FIREABLE(t4315) OR FIREABLE(t4314) OR FIREABLE(t4313) OR FIREABLE(t4312) OR FIREABLE(t4311) OR FIREABLE(t4310) OR FIREABLE(t4309) OR FIREABLE(t4308) OR FIREABLE(t4307) OR FIREABLE(t4306) OR FIREABLE(t4305) OR FIREABLE(t4304) OR FIREABLE(t4303) OR FIREABLE(t4302) OR FIREABLE(t4301) OR FIREABLE(t4300) OR FIREABLE(t4299) OR FIREABLE(t4298) OR FIREABLE(t4297) OR FIREABLE(t4296) OR FIREABLE(t4295) OR FIREABLE(t4294) OR FIREABLE(t4293) OR FIREABLE(t4292) OR FIREABLE(t4291) OR FIREABLE(t4290) OR FIREABLE(t4289) OR FIREABLE(t4288) OR FIREABLE(t4287) OR FIREABLE(t4286) OR FIREABLE(t4285) OR FIREABLE(t4284) OR FIREABLE(t4283) OR FIREABLE(t4282) OR FIREABLE(t4281) OR FIREABLE(t4280) OR FIREABLE(t4279) OR FIREABLE(t4278) OR FIREABLE(t4277) OR FIREABLE(t4276) OR FIREABLE(t4275) OR FIREABLE(t4274) OR FIREABLE(t4273) OR FIREABLE(t4272) OR FIREABLE(t4271) OR FIREABLE(t4270) OR FIREABLE(t4269) OR FIREABLE(t4268) OR FIREABLE(t4267) OR FIREABLE(t4266) OR FIREABLE(t4265) OR FIREABLE(t4264) OR FIREABLE(t4263) OR FIREABLE(t4262) OR FIREABLE(t4261) OR FIREABLE(t4260) OR FIREABLE(t4259) OR FIREABLE(t4258) OR FIREABLE(t4257) OR FIREABLE(t4256) OR FIREABLE(t4255) OR FIREABLE(t4254) OR FIREABLE(t4253) OR FIREABLE(t4252) OR FIREABLE(t4251) OR FIREABLE(t4250) OR FIREABLE(t4249) OR FIREABLE(t4248) OR FIREABLE(t4247) OR FIREABLE(t4246) OR FIREABLE(t4245) OR FIREABLE(t4244) OR FIREABLE(t4243) OR FIREABLE(t4242))) : A (G (G (X (G (X ((FIREABLE(t4507) OR FIREABLE(t4506) OR FIREABLE(t4505) OR FIREABLE(t4504) OR FIREABLE(t4503) OR FIREABLE(t4502) OR FIREABLE(t4501) OR FIREABLE(t4500) OR FIREABLE(t4499) OR FIREABLE(t4498) OR FIREABLE(t4497) OR FIREABLE(t4496) OR FIREABLE(t4495) OR FIREABLE(t4494) OR FIREABLE(t4493) OR FIREABLE(t4492) OR FIREABLE(t4491) OR FIREABLE(t4490) OR FIREABLE(t4489) OR FIREABLE(t4488) OR FIREABLE(t4487) OR FIREABLE(t4486) OR FIREABLE(t4485) OR FIREABLE(t4484) OR FIREABLE(t4483) OR FIREABLE(t4482) OR FIREABLE(t4481) OR FIREABLE(t4480) OR FIREABLE(t4479) OR FIREABLE(t4478) OR FIREABLE(t4477) OR FIREABLE(t4476) OR FIREABLE(t4475) OR FIREABLE(t4474) OR FIREABLE(t4473) OR FIREABLE(t4472) OR FIREABLE(t4471) OR FIREABLE(t4470) OR FIREABLE(t4469) OR FIREABLE(t4468) OR FIREABLE(t4467) OR FIREABLE(t4466) OR FIREABLE(t4465) OR FIREABLE(t4464) OR FIREABLE(t4463) OR FIREABLE(t4462) OR FIREABLE(t4461) OR FIREABLE(t4460) OR FIREABLE(t4459) OR FIREABLE(t4458) OR FIREABLE(t4457) OR FIREABLE(t4456) OR FIREABLE(t4455) OR FIREABLE(t4454) OR FIREABLE(t4453) OR FIREABLE(t4452) OR FIREABLE(t4451) OR FIREABLE(t4450) OR FIREABLE(t4449) OR FIREABLE(t4448) OR FIREABLE(t4447) OR FIREABLE(t4446) OR FIREABLE(t4445) OR FIREABLE(t4444) OR FIREABLE(t4443) OR FIREABLE(t4442) OR FIREABLE(t4441) OR FIREABLE(t4440) OR FIREABLE(t4439) OR FIREABLE(t4438) OR FIREABLE(t4437) OR FIREABLE(t4436) OR FIREABLE(t4435) OR FIREABLE(t4434) OR FIREABLE(t4433) OR FIREABLE(t4432) OR FIREABLE(t4431) OR FIREABLE(t4430) OR FIREABLE(t4429) OR FIREABLE(t4428) OR FIREABLE(t4427) OR FIREABLE(t4426) OR FIREABLE(t4425) OR FIREABLE(t4424) OR FIREABLE(t4423) OR FIREABLE(t4422) OR FIREABLE(t4421) OR FIREABLE(t4420) OR FIREABLE(t4419) OR FIREABLE(t4418) OR FIREABLE(t4417) OR FIREABLE(t4416) OR FIREABLE(t4415) OR FIREABLE(t4414) OR FIREABLE(t4413) OR FIREABLE(t4412) OR FIREABLE(t4411) OR FIREABLE(t4410) OR FIREABLE(t4409) OR FIREABLE(t4408)))))))) : A ((FIREABLE(t4240) OR FIREABLE(t4239) OR FIREABLE(t4238) OR FIREABLE(t4237) OR FIREABLE(t4236) OR FIREABLE(t4235) OR FIREABLE(t4234) OR FIREABLE(t4233) OR FIREABLE(t4232) OR FIREABLE(t4231) OR FIREABLE(t4230) OR FIREABLE(t4229) OR FIREABLE(t4228) OR FIREABLE(t4227) OR FIREABLE(t4226) OR FIREABLE(t4225) OR FIREABLE(t4224) OR FIREABLE(t4223) OR FIREABLE(t4222) OR FIREABLE(t4221) OR FIREABLE(t4220) OR FIREABLE(t4219) OR FIREABLE(t4218) OR FIREABLE(t4217) OR FIREABLE(t4216) OR FIREABLE(t4215) OR FIREABLE(t4214) OR FIREABLE(t4213) OR FIREABLE(t4212) OR FIREABLE(t4211) OR FIREABLE(t4210) OR FIREABLE(t4209) OR FIREABLE(t4208) OR FIREABLE(t4207) OR FIREABLE(t4206) OR FIREABLE(t4205) OR FIREABLE(t4204) OR FIREABLE(t4203) OR FIREABLE(t4202) OR FIREABLE(t4201) OR FIREABLE(t4200) OR FIREABLE(t4199) OR FIREABLE(t4198) OR FIREABLE(t4197) OR FIREABLE(t4196) OR FIREABLE(t4195) OR FIREABLE(t4194) OR FIREABLE(t4193) OR FIREABLE(t4192) OR FIREABLE(t4191) OR FIREABLE(t4190) OR FIREABLE(t4189) OR FIREABLE(t4188) OR FIREABLE(t4187) OR FIREABLE(t4186) OR FIREABLE(t4185) OR FIREABLE(t4184) OR FIREABLE(t4183) OR FIREABLE(t4182) OR FIREABLE(t4181) OR FIREABLE(t4180) OR FIREABLE(t4179) OR FIREABLE(t4178) OR FIREABLE(t4177) OR FIREABLE(t4176) OR FIREABLE(t4175) OR FIREABLE(t4174) OR FIREABLE(t4173) OR FIREABLE(t4172) OR FIREABLE(t4171) OR FIREABLE(t4170) OR FIREABLE(t4169) OR FIREABLE(t4168) OR FIREABLE(t4167) OR FIREABLE(t4166) OR FIREABLE(t4165) OR FIREABLE(t4164) OR FIREABLE(t4163) OR FIREABLE(t4162) OR FIREABLE(t4161) OR FIREABLE(t4160))) : A (FIREABLE(t4241)) : A (G (X (X (FIREABLE(t4241))))) : A (X (G (X (F (FIREABLE(t4241))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t4404) OR FIREABLE(t4403) OR FIREABLE(t4402) OR FIREABLE(t4401) OR FIREABLE(t4400) OR FIREABLE(t4399) OR FIREABLE(t4398) OR FIREABLE(t4397) OR FIREABLE(t4396) OR FIREABLE(t4395) OR FIREABLE(t4394) OR FIREABLE(t4393) OR FIREABLE(t4392) OR FIREABLE(t4391) OR FIREABLE(t4390) OR FIREABLE(t4389) OR FIREABLE(t4388) OR FIREABLE(t4387) OR FIREABLE(t4386) OR FIREABLE(t4385) OR ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (FIREABLE(t4404) OR FIREABLE(t4403) OR FIREABLE(t4402) OR FIREABLE(t4401) OR FIREABLE(t4400) OR FIREABLE(t4399) OR FIREABLE(t4398) OR FIREABLE(t4397) OR FIREABLE(t4396) OR FIREABLE(t4395) OR FIREABLE(t4394) OR FIREABLE(t4393) OR FIREABLE(t4392) OR FIREABLE(t4391) OR FIREABLE(t4390) OR FIREABLE(t4389) OR FIREABLE(t4388) OR FIREABLE(t4387) OR FIREABLE(t4386) OR FIREABLE(t4385) OR ... (shortened)
lola: processed formula length: 1617
lola: 40 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N50-LTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges

FORMULA BridgeAndVehicles-COL-V80P50N50-LTLFireability-9 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t4321) OR FIREABLE(t4320) OR FIREABLE(t4319) OR FIREABLE(t4318) OR FIREABLE(t4317) OR FIREABLE(t4316) OR FIREABLE(t4315) OR FIREABLE(t4314) OR FIREABLE(t4313) OR FIREABLE(t4312) OR FIREABLE(t4311) OR FIREABLE(t4310) OR FIREABLE(t4309) OR FIREABLE(t4308) OR FIREABLE(t4307) OR FIREABLE(t4306) OR FIREABLE(t4305) OR FIREABLE(t4304) OR FIREABLE(t4303) OR FIREABLE(t4302) OR ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (FIREABLE(t4321) OR FIREABLE(t4320) OR FIREABLE(t4319) OR FIREABLE(t4318) OR FIREABLE(t4317) OR FIREABLE(t4316) OR FIREABLE(t4315) OR FIREABLE(t4314) OR FIREABLE(t4313) OR FIREABLE(t4312) OR FIREABLE(t4311) OR FIREABLE(t4310) OR FIREABLE(t4309) OR FIREABLE(t4308) OR FIREABLE(t4307) OR FIREABLE(t4306) OR FIREABLE(t4305) OR FIREABLE(t4304) OR FIREABLE(t4303) OR FIREABLE(t4302) OR ... (shortened)
lola: processed formula length: 1597
lola: 40 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N50-LTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges

FORMULA BridgeAndVehicles-COL-V80P50N50-LTLFireability-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t4240) OR FIREABLE(t4239) OR FIREABLE(t4238) OR FIREABLE(t4237) OR FIREABLE(t4236) OR FIREABLE(t4235) OR FIREABLE(t4234) OR FIREABLE(t4233) OR FIREABLE(t4232) OR FIREABLE(t4231) OR FIREABLE(t4230) OR FIREABLE(t4229) OR FIREABLE(t4228) OR FIREABLE(t4227) OR FIREABLE(t4226) OR FIREABLE(t4225) OR FIREABLE(t4224) OR FIREABLE(t4223) OR FIREABLE(t4222) OR FIREABLE(t4221) OR ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (FIREABLE(t4240) OR FIREABLE(t4239) OR FIREABLE(t4238) OR FIREABLE(t4237) OR FIREABLE(t4236) OR FIREABLE(t4235) OR FIREABLE(t4234) OR FIREABLE(t4233) OR FIREABLE(t4232) OR FIREABLE(t4231) OR FIREABLE(t4230) OR FIREABLE(t4229) OR FIREABLE(t4228) OR FIREABLE(t4227) OR FIREABLE(t4226) OR FIREABLE(t4225) OR FIREABLE(t4224) OR FIREABLE(t4223) OR FIREABLE(t4222) OR FIREABLE(t4221) OR ... (shortened)
lola: processed formula length: 1617
lola: 40 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N50-LTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V80P50N50-LTLFireability-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t4241)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t4241)
lola: processed formula length: 15
lola: 40 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N50-LTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V80P50N50-LTLFireability-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X (((FIREABLE(t4321) OR FIREABLE(t4320) OR FIREABLE(t4319) OR FIREABLE(t4318) OR FIREABLE(t4317) OR FIREABLE(t4316) OR FIREABLE(t4315) OR FIREABLE(t4314) OR FIREABLE(t4313) OR FIREABLE(t4312) OR FIREABLE(t4311) OR FIREABLE(t4310) OR FIREABLE(t4309) OR FIREABLE(t4308) OR FIREABLE(t4307) OR FIREABLE(t4306) OR FIREABLE(t4305) OR FIREABLE(t4304) OR FIREABLE(t4303) OR FIREABLE(t4... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X (((FIREABLE(t4321) OR FIREABLE(t4320) OR FIREABLE(t4319) OR FIREABLE(t4318) OR FIREABLE(t4317) OR FIREABLE(t4316) OR FIREABLE(t4315) OR FIREABLE(t4314) OR FIREABLE(t4313) OR FIREABLE(t4312) OR FIREABLE(t4311) OR FIREABLE(t4310) OR FIREABLE(t4309) OR FIREABLE(t4308) OR FIREABLE(t4307) OR FIREABLE(t4306) OR FIREABLE(t4305) OR FIREABLE(t4304) OR FIREABLE(t4303) OR FIREABLE(t4... (shortened)
lola: processed formula length: 6450
lola: 40 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N50-LTLFireability.task
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 302821 markings, 884838 edges, 60564 markings/sec, 0 secs
lola: 571650 markings, 1935333 edges, 53766 markings/sec, 5 secs
lola: 846627 markings, 3004522 edges, 54995 markings/sec, 10 secs
lola: 1110282 markings, 4026155 edges, 52731 markings/sec, 15 secs
lola: 1370461 markings, 5032427 edges, 52036 markings/sec, 20 secs
lola: 1646980 markings, 6101340 edges, 55304 markings/sec, 25 secs
lola: 1933631 markings, 7208288 edges, 57330 markings/sec, 30 secs
lola: 2201728 markings, 8240497 edges, 53619 markings/sec, 35 secs
lola: 2459828 markings, 9232017 edges, 51620 markings/sec, 40 secs
lola: 2721086 markings, 10234665 edges, 52252 markings/sec, 45 secs
lola: 2993910 markings, 11281665 edges, 54565 markings/sec, 50 secs
lola: 3269311 markings, 12337836 edges, 55080 markings/sec, 55 secs
lola: 3529094 markings, 13331404 edges, 51957 markings/sec, 60 secs
lola: 3802434 markings, 14378155 edges, 54668 markings/sec, 65 secs
lola: 4073640 markings, 15415646 edges, 54241 markings/sec, 70 secs
lola: 4340025 markings, 16433980 edges, 53277 markings/sec, 75 secs
lola: 4600701 markings, 17429381 edges, 52135 markings/sec, 80 secs
lola: 4863885 markings, 18434992 edges, 52637 markings/sec, 85 secs
lola: 5153328 markings, 19544311 edges, 57889 markings/sec, 90 secs
lola: 5435469 markings, 20625072 edges, 56428 markings/sec, 95 secs
lola: 5700159 markings, 21637647 edges, 52938 markings/sec, 100 secs
lola: 5960686 markings, 22634293 edges, 52105 markings/sec, 105 secs
lola: 6224964 markings, 23633028 edges, 52856 markings/sec, 110 secs
lola: 6503839 markings, 24688715 edges, 55775 markings/sec, 115 secs
lola: 6792590 markings, 25799548 edges, 57750 markings/sec, 120 secs
lola: 7074616 markings, 26886323 edges, 56405 markings/sec, 125 secs
lola: 7363904 markings, 28003916 edges, 57858 markings/sec, 130 secs
lola: 7651002 markings, 29093924 edges, 57420 markings/sec, 135 secs
lola: 7941495 markings, 30235314 edges, 58099 markings/sec, 140 secs
lola: 8220987 markings, 31245979 edges, 55898 markings/sec, 145 secs
lola: 8498959 markings, 32227114 edges, 55594 markings/sec, 150 secs
lola: 8777523 markings, 33211828 edges, 55713 markings/sec, 155 secs
lola: 9065033 markings, 34239023 edges, 57502 markings/sec, 160 secs
lola: 9349992 markings, 35235902 edges, 56992 markings/sec, 165 secs
lola: 9650085 markings, 36277944 edges, 60019 markings/sec, 170 secs
lola: 9953516 markings, 37329964 edges, 60686 markings/sec, 175 secs
lola: 10255229 markings, 38372747 edges, 60343 markings/sec, 180 secs
lola: 10551347 markings, 39393585 edges, 59224 markings/sec, 185 secs
lola: 10854189 markings, 40435589 edges, 60568 markings/sec, 190 secs
lola: 11148842 markings, 41444566 edges, 58931 markings/sec, 195 secs
lola: 11438233 markings, 42430910 edges, 57878 markings/sec, 200 secs
lola: 11722297 markings, 43376834 edges, 56813 markings/sec, 205 secs
lola: 12024539 markings, 44387848 edges, 60448 markings/sec, 210 secs
lola: 12299082 markings, 45307507 edges, 54909 markings/sec, 215 secs
lola: 12572602 markings, 46222224 edges, 54704 markings/sec, 220 secs
lola: 12835795 markings, 47099561 edges, 52639 markings/sec, 225 secs
lola: 13090793 markings, 47945151 edges, 51000 markings/sec, 230 secs
lola: 13345932 markings, 48790435 edges, 51028 markings/sec, 235 secs
lola: 13602265 markings, 49637868 edges, 51267 markings/sec, 240 secs
lola: 13860798 markings, 50460511 edges, 51707 markings/sec, 245 secs
lola: 14141593 markings, 51373208 edges, 56159 markings/sec, 250 secs
lola: 14410713 markings, 52243953 edges, 53824 markings/sec, 255 secs
lola: 14682403 markings, 53102409 edges, 54338 markings/sec, 260 secs
lola: 14970716 markings, 54010427 edges, 57663 markings/sec, 265 secs
lola: 15249679 markings, 54903071 edges, 55793 markings/sec, 270 secs
lola: 15522218 markings, 55740652 edges, 54508 markings/sec, 275 secs
lola: 15793575 markings, 56573695 edges, 54271 markings/sec, 280 secs
lola: 16060818 markings, 57374207 edges, 53449 markings/sec, 285 secs
lola: 16321034 markings, 58145097 edges, 52043 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown yes no unknown yes no unknown unknown
lola: memory consumption: 3109916 KB
lola: time consumption: 297 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (F ((FIREABLE(t4406) OR FIREABLE(t4405))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (F ((FIREABLE(t4406) OR FIREABLE(t4405))))))
lola: processed formula length: 53
lola: 40 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N50-LTLFireability.task
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 295428 markings, 931352 edges, 59086 markings/sec, 0 secs
lola: 562608 markings, 1968195 edges, 53436 markings/sec, 5 secs
lola: 852963 markings, 3091689 edges, 58071 markings/sec, 10 secs
lola: 1147009 markings, 4229295 edges, 58809 markings/sec, 15 secs
lola: 1448036 markings, 5398779 edges, 60205 markings/sec, 20 secs
lola: 1750258 markings, 6564326 edges, 60444 markings/sec, 25 secs
lola: 2050169 markings, 7728799 edges, 59982 markings/sec, 30 secs
lola: 2352235 markings, 8895690 edges, 60413 markings/sec, 35 secs
lola: 2652550 markings, 10059751 edges, 60063 markings/sec, 40 secs
lola: 2946518 markings, 11202472 edges, 58794 markings/sec, 45 secs
lola: 3248598 markings, 12366479 edges, 60416 markings/sec, 50 secs
lola: 3551220 markings, 13542179 edges, 60524 markings/sec, 55 secs
lola: 3851202 markings, 14699835 edges, 59996 markings/sec, 60 secs
lola: 4134782 markings, 15799627 edges, 56716 markings/sec, 65 secs
lola: 4401914 markings, 16836668 edges, 53426 markings/sec, 70 secs
lola: 4695120 markings, 17967302 edges, 58641 markings/sec, 75 secs
lola: 4990634 markings, 19114191 edges, 59103 markings/sec, 80 secs
lola: 5269563 markings, 20195562 edges, 55786 markings/sec, 85 secs
lola: 5533522 markings, 21213728 edges, 52792 markings/sec, 90 secs
lola: 5799060 markings, 22243498 edges, 53108 markings/sec, 95 secs
lola: 6091044 markings, 23377803 edges, 58397 markings/sec, 100 secs
lola: 6355766 markings, 24398171 edges, 52944 markings/sec, 105 secs
lola: 6568785 markings, 25189162 edges, 42604 markings/sec, 110 secs
lola: 6678689 markings, 25568605 edges, 21981 markings/sec, 115 secs
lola: 6787591 markings, 25986378 edges, 21780 markings/sec, 120 secs
lola: 6895081 markings, 26401399 edges, 21498 markings/sec, 125 secs
lola: 7002412 markings, 26815654 edges, 21466 markings/sec, 130 secs
lola: 7109334 markings, 27228448 edges, 21384 markings/sec, 135 secs
lola: 7216889 markings, 27641143 edges, 21511 markings/sec, 140 secs
lola: 7324080 markings, 28055079 edges, 21438 markings/sec, 145 secs
lola: 7431149 markings, 28468430 edges, 21414 markings/sec, 150 secs
lola: 7538619 markings, 28880581 edges, 21494 markings/sec, 155 secs
lola: 7652880 markings, 29321840 edges, 22852 markings/sec, 160 secs
lola: 7765653 markings, 29757439 edges, 22555 markings/sec, 165 secs
lola: 7880291 markings, 30197602 edges, 22928 markings/sec, 170 secs
lola: 7991272 markings, 30626108 edges, 22196 markings/sec, 175 secs
lola: 8104530 markings, 31063681 edges, 22652 markings/sec, 180 secs
lola: 8218203 markings, 31499896 edges, 22735 markings/sec, 185 secs
lola: 8331865 markings, 31938810 edges, 22732 markings/sec, 190 secs
lola: 8445533 markings, 32377935 edges, 22734 markings/sec, 195 secs
lola: 8559547 markings, 32815722 edges, 22803 markings/sec, 200 secs
lola: 8673308 markings, 33254993 edges, 22752 markings/sec, 205 secs
lola: 8787254 markings, 33692367 edges, 22789 markings/sec, 210 secs
lola: 8901050 markings, 34131858 edges, 22759 markings/sec, 215 secs
lola: 9014828 markings, 34571420 edges, 22756 markings/sec, 220 secs
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 9111988 markings, 34945280 edges

FORMULA BridgeAndVehicles-COL-V80P50N50-LTLFireability-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 6 will run for 303 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (G ((FIREABLE(t4240) OR FIREABLE(t4239) OR FIREABLE(t4238) OR FIREABLE(t4237) OR FIREABLE(t4236) OR FIREABLE(t4235) OR FIREABLE(t4234) OR FIREABLE(t4233) OR FIREABLE(t4232) OR FIREABLE(t4231) OR FIREABLE(t4230) OR FIREABLE(t4229) OR FIREABLE(t4228) OR FIREABLE(t4227) OR FIREABLE(t4226) OR FIREABLE(t4225) OR FIREABLE(t4224) OR FIREABLE(t4223) OR FIREABLE(t4222) OR FIREABL... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (G ((FIREABLE(t4240) OR FIREABLE(t4239) OR FIREABLE(t4238) OR FIREABLE(t4237) OR FIREABLE(t4236) OR FIREABLE(t4235) OR FIREABLE(t4234) OR FIREABLE(t4233) OR FIREABLE(t4232) OR FIREABLE(t4231) OR FIREABLE(t4230) OR FIREABLE(t4229) OR FIREABLE(t4228) OR FIREABLE(t4227) OR FIREABLE(t4226) OR FIREABLE(t4225) OR FIREABLE(t4224) OR FIREABLE(t4223) OR FIREABLE(t4222) OR FIREABL... (shortened)
lola: processed formula length: 1633
lola: 40 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N50-LTLFireability.task
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 658 markings, 658 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V80P50N50-LTLFireability-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 337 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (F ((FIREABLE(t8587) OR FIREABLE(t8586) OR FIREABLE(t8585) OR FIREABLE(t8584) OR FIREABLE(t8583) OR FIREABLE(t8582) OR FIREABLE(t8581) OR FIREABLE(t8580) OR FIREABLE(t8579) OR FIREABLE(t8578) OR FIREABLE(t8577) OR FIREABLE(t8576) OR FIREABLE(t8575) OR FIREABLE(t8574) OR FIREABLE(t8573) OR FIREABLE(t8572) OR FIREABLE(t8571) OR FIREABLE(t8570) OR FIREABLE(t8569) OR FIREABL... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (F ((FIREABLE(t8587) OR FIREABLE(t8586) OR FIREABLE(t8585) OR FIREABLE(t8584) OR FIREABLE(t8583) OR FIREABLE(t8582) OR FIREABLE(t8581) OR FIREABLE(t8580) OR FIREABLE(t8579) OR FIREABLE(t8578) OR FIREABLE(t8577) OR FIREABLE(t8576) OR FIREABLE(t8575) OR FIREABLE(t8574) OR FIREABLE(t8573) OR FIREABLE(t8572) OR FIREABLE(t8571) OR FIREABLE(t8570) OR FIREABLE(t8569) OR FIREABL... (shortened)
lola: processed formula length: 81613
lola: 40 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N50-LTLFireability.task
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 61386 markings, 172602 edges, 12277 markings/sec, 0 secs
lola: 125103 markings, 359773 edges, 12743 markings/sec, 5 secs
lola: 189080 markings, 547398 edges, 12795 markings/sec, 10 secs
lola: 253256 markings, 759498 edges, 12835 markings/sec, 15 secs
lola: 316105 markings, 1006179 edges, 12570 markings/sec, 20 secs
lola: 378312 markings, 1251317 edges, 12441 markings/sec, 25 secs
lola: 440291 markings, 1488907 edges, 12396 markings/sec, 30 secs
lola: 501928 markings, 1725802 edges, 12327 markings/sec, 35 secs
lola: 562135 markings, 1962325 edges, 12041 markings/sec, 40 secs
lola: 623270 markings, 2202917 edges, 12227 markings/sec, 45 secs
lola: 685197 markings, 2435321 edges, 12385 markings/sec, 50 secs
lola: 746558 markings, 2676685 edges, 12272 markings/sec, 55 secs
lola: 807804 markings, 2917084 edges, 12249 markings/sec, 60 secs
lola: 868007 markings, 3152135 edges, 12041 markings/sec, 65 secs
lola: 928769 markings, 3381635 edges, 12152 markings/sec, 70 secs
lola: 989579 markings, 3620439 edges, 12162 markings/sec, 75 secs
lola: 1049692 markings, 3857274 edges, 12023 markings/sec, 80 secs
lola: 1110262 markings, 4084281 edges, 12114 markings/sec, 85 secs
lola: 1170245 markings, 4319719 edges, 11997 markings/sec, 90 secs
lola: 1230299 markings, 4555878 edges, 12011 markings/sec, 95 secs
lola: 1290300 markings, 4791541 edges, 12000 markings/sec, 100 secs
lola: 1350743 markings, 5018631 edges, 12089 markings/sec, 105 secs
lola: 1411569 markings, 5257281 edges, 12165 markings/sec, 110 secs
lola: 1472735 markings, 5498037 edges, 12233 markings/sec, 115 secs
lola: 1533528 markings, 5734223 edges, 12159 markings/sec, 120 secs
lola: 1593629 markings, 5962253 edges, 12020 markings/sec, 125 secs
lola: 1653836 markings, 6198728 edges, 12041 markings/sec, 130 secs
lola: 1714420 markings, 6437414 edges, 12117 markings/sec, 135 secs
lola: 1775495 markings, 6666145 edges, 12215 markings/sec, 140 secs
lola: 1834683 markings, 6898647 edges, 11838 markings/sec, 145 secs
lola: 1894460 markings, 7133600 edges, 11955 markings/sec, 150 secs
lola: 1954288 markings, 7368192 edges, 11966 markings/sec, 155 secs
lola: 2014386 markings, 7594334 edges, 12020 markings/sec, 160 secs
lola: 2073913 markings, 7828464 edges, 11905 markings/sec, 165 secs
lola: 2133660 markings, 8063528 edges, 11949 markings/sec, 170 secs
lola: 2193865 markings, 8296469 edges, 12041 markings/sec, 175 secs
lola: 2253632 markings, 8524039 edges, 11953 markings/sec, 180 secs
lola: 2313863 markings, 8760431 edges, 12046 markings/sec, 185 secs
lola: 2374683 markings, 9000037 edges, 12164 markings/sec, 190 secs
lola: 2435284 markings, 9226992 edges, 12120 markings/sec, 195 secs
lola: 2494671 markings, 9460273 edges, 11877 markings/sec, 200 secs
lola: 2554305 markings, 9694635 edges, 11927 markings/sec, 205 secs
lola: 2613413 markings, 9926176 edges, 11822 markings/sec, 210 secs
lola: 2673014 markings, 10150338 edges, 11920 markings/sec, 215 secs
lola: 2732724 markings, 10385297 edges, 11942 markings/sec, 220 secs
lola: 2792280 markings, 10619555 edges, 11911 markings/sec, 225 secs
lola: 2851944 markings, 10850433 edges, 11933 markings/sec, 230 secs
lola: 2912158 markings, 11079660 edges, 12043 markings/sec, 235 secs
lola: 2972169 markings, 11315141 edges, 12002 markings/sec, 240 secs
lola: 3031490 markings, 11548809 edges, 11864 markings/sec, 245 secs
lola: 3091202 markings, 11772841 edges, 11942 markings/sec, 250 secs
lola: 3150768 markings, 12006034 edges, 11913 markings/sec, 255 secs
lola: 3210500 markings, 12241597 edges, 11946 markings/sec, 260 secs
lola: 3269744 markings, 12473383 edges, 11849 markings/sec, 265 secs
lola: 3323637 markings, 12674737 edges, 10779 markings/sec, 270 secs
lola: 3379867 markings, 12896235 edges, 11246 markings/sec, 275 secs
lola: 3435408 markings, 13114549 edges, 11108 markings/sec, 280 secs
lola: 3490400 markings, 13329632 edges, 10998 markings/sec, 285 secs
lola: 3546051 markings, 13538586 edges, 11130 markings/sec, 290 secs
lola: 3605041 markings, 13770306 edges, 11798 markings/sec, 295 secs
lola: 3664161 markings, 14002877 edges, 11824 markings/sec, 300 secs
lola: 3723341 markings, 14233104 edges, 11836 markings/sec, 305 secs
lola: 3784170 markings, 14463647 edges, 12166 markings/sec, 310 secs
lola: 3844763 markings, 14701507 edges, 12119 markings/sec, 315 secs
lola: 3905472 markings, 14940659 edges, 12142 markings/sec, 320 secs
lola: 3965583 markings, 15165623 edges, 12022 markings/sec, 325 secs
lola: 4026559 markings, 15405327 edges, 12195 markings/sec, 330 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown unknown unknown no unknown unknown yes no unknown yes no unknown unknown
lola: memory consumption: 892780 KB
lola: time consumption: 864 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 337 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (G ((FIREABLE(t4507) OR FIREABLE(t4506) OR FIREABLE(t4505) OR FIREABLE(t4504) OR FIREABLE(t4503) OR FIREABLE(t4502) OR FIREABLE(t4501) OR FIREABLE(t4500) OR FIREABLE(t4499) OR FIREABLE(t4498) OR FIREABLE(t4497) OR FIREABLE(t4496) OR FIREABLE(t4495) OR FIREABLE(t4494) OR FIREABLE(t4493) OR FIREABLE(t4492) OR FIREABLE(t4491) OR FIREABLE(t4490) OR FIREABLE(t4489) OR FIREABL... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (G ((FIREABLE(t4507) OR FIREABLE(t4506) OR FIREABLE(t4505) OR FIREABLE(t4504) OR FIREABLE(t4503) OR FIREABLE(t4502) OR FIREABLE(t4501) OR FIREABLE(t4500) OR FIREABLE(t4499) OR FIREABLE(t4498) OR FIREABLE(t4497) OR FIREABLE(t4496) OR FIREABLE(t4495) OR FIREABLE(t4494) OR FIREABLE(t4493) OR FIREABLE(t4492) OR FIREABLE(t4491) OR FIREABLE(t4490) OR FIREABLE(t4489) OR FIREABL... (shortened)
lola: processed formula length: 2013
lola: 40 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N50-LTLFireability.task
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 658 markings, 658 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V80P50N50-LTLFireability-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 386 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X ((FIREABLE(t4404) OR FIREABLE(t4403) OR FIREABLE(t4402) OR FIREABLE(t4401) OR FIREABLE(t4400) OR FIREABLE(t4399) OR FIREABLE(t4398) OR FIREABLE(t4397) OR FIREABLE(t4396) OR FIREABLE(t4395) OR FIREABLE(t4394) OR FIREABLE(t4393) OR FIREABLE(t4392) OR FIREABLE(t4391) OR FIREABLE(t4390) OR FIREABLE(t4389) OR FIREABLE(t4388) OR FIREABLE(t4387) OR FIREABLE(t4386) OR FIREABLE(t43... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X ((FIREABLE(t4404) OR FIREABLE(t4403) OR FIREABLE(t4402) OR FIREABLE(t4401) OR FIREABLE(t4400) OR FIREABLE(t4399) OR FIREABLE(t4398) OR FIREABLE(t4397) OR FIREABLE(t4396) OR FIREABLE(t4395) OR FIREABLE(t4394) OR FIREABLE(t4393) OR FIREABLE(t4392) OR FIREABLE(t4391) OR FIREABLE(t4390) OR FIREABLE(t4389) OR FIREABLE(t4388) OR FIREABLE(t4387) OR FIREABLE(t4386) OR FIREABLE(t43... (shortened)
lola: processed formula length: 8075
lola: 40 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N50-LTLFireability.task
lola: the resulting Büchi automaton has 9 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 13 markings, 12 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V80P50N50-LTLFireability-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 450 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F ((FIREABLE(t4507) OR FIREABLE(t4506) OR FIREABLE(t4505) OR FIREABLE(t4504) OR FIREABLE(t4503) OR FIREABLE(t4502) OR FIREABLE(t4501) OR FIREABLE(t4500) OR FIREABLE(t4499) OR FIREABLE(t4498) OR FIREABLE(t4497) OR FIREABLE(t4496) OR FIREABLE(t4495) OR FIREABLE(t4494) OR FIREABLE(t4493) OR FIREABLE(t4492) OR FIREABLE(t4491) OR FIREABLE(t4490) OR FIREABLE(t4489) OR FIREABLE(t... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F ((FIREABLE(t4507) OR FIREABLE(t4506) OR FIREABLE(t4505) OR FIREABLE(t4504) OR FIREABLE(t4503) OR FIREABLE(t4502) OR FIREABLE(t4501) OR FIREABLE(t4500) OR FIREABLE(t4499) OR FIREABLE(t4498) OR FIREABLE(t4497) OR FIREABLE(t4496) OR FIREABLE(t4495) OR FIREABLE(t4494) OR FIREABLE(t4493) OR FIREABLE(t4492) OR FIREABLE(t4491) OR FIREABLE(t4490) OR FIREABLE(t4489) OR FIREABLE(t... (shortened)
lola: processed formula length: 2009
lola: 40 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N50-LTLFireability.task
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 26004 markings, 38802 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V80P50N50-LTLFireability-3 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 540 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (G (FIREABLE(t4241)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (G (FIREABLE(t4241)))))
lola: processed formula length: 31
lola: 40 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N50-LTLFireability.task
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 658 markings, 658 edges

FORMULA BridgeAndVehicles-COL-V80P50N50-LTLFireability-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 675 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (FIREABLE(t4241)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (FIREABLE(t4241)))
lola: processed formula length: 23
lola: 42 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N50-LTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: ========================================
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V80P50N50-LTLFireability-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 900 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t4241)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: NOT FIREABLE(t4241)
lola: processed formula length: 19
lola: 42 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N50-LTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: 538 markings, 660 edges, 108 markings/sec, 0 secs
lola: 927 markings, 1359 edges, 78 markings/sec, 5 secs
lola: 1172 markings, 1769 edges, 49 markings/sec, 10 secs
lola: 1434 markings, 2213 edges, 52 markings/sec, 15 secs
lola: 1785 markings, 2788 edges, 70 markings/sec, 20 secs
lola: 2153 markings, 3411 edges, 74 markings/sec, 25 secs
lola: 3055 markings, 4895 edges, 180 markings/sec, 30 secs
lola: 3820 markings, 6185 edges, 153 markings/sec, 35 secs
lola: 4748 markings, 7721 edges, 186 markings/sec, 40 secs
lola: 4974 markings, 8093 edges, 45 markings/sec, 45 secs
lola: 5301 markings, 8662 edges, 65 markings/sec, 50 secs
lola: 5881 markings, 9612 edges, 116 markings/sec, 55 secs
lola: 6137 markings, 10036 edges, 51 markings/sec, 60 secs
lola: 6365 markings, 10418 edges, 46 markings/sec, 65 secs
lola: 6575 markings, 10773 edges, 42 markings/sec, 70 secs
lola: 7129 markings, 11684 edges, 111 markings/sec, 75 secs
lola: 8109 markings, 13322 edges, 196 markings/sec, 80 secs
lola: 8339 markings, 13777 edges, 46 markings/sec, 85 secs
lola: 9091 markings, 15025 edges, 150 markings/sec, 90 secs
lola: 9659 markings, 15956 edges, 114 markings/sec, 95 secs
lola: 9982 markings, 16505 edges, 65 markings/sec, 100 secs
lola: 10343 markings, 17101 edges, 72 markings/sec, 105 secs
lola: 10673 markings, 17647 edges, 66 markings/sec, 110 secs
lola: 11129 markings, 18400 edges, 91 markings/sec, 115 secs
lola: 11821 markings, 19558 edges, 138 markings/sec, 120 secs
lola: 12565 markings, 20794 edges, 149 markings/sec, 125 secs
lola: 13306 markings, 22033 edges, 148 markings/sec, 130 secs
lola: 13558 markings, 22457 edges, 50 markings/sec, 135 secs
lola: 13824 markings, 22909 edges, 53 markings/sec, 140 secs
lola: 14101 markings, 23378 edges, 55 markings/sec, 145 secs
lola: 14489 markings, 24000 edges, 78 markings/sec, 150 secs
lola: 15357 markings, 25463 edges, 174 markings/sec, 155 secs
lola: 16167 markings, 26797 edges, 162 markings/sec, 160 secs
lola: 17081 markings, 28328 edges, 183 markings/sec, 165 secs
lola: 17341 markings, 28758 edges, 52 markings/sec, 170 secs
lola: 17601 markings, 29188 edges, 52 markings/sec, 175 secs
lola: 18241 markings, 30268 edges, 128 markings/sec, 180 secs
lola: 18511 markings, 30713 edges, 54 markings/sec, 185 secs
lola: 18741 markings, 31098 edges, 46 markings/sec, 190 secs
lola: 18953 markings, 31456 edges, 42 markings/sec, 195 secs
lola: 19501 markings, 32358 edges, 110 markings/sec, 200 secs
lola: 20383 markings, 33867 edges, 176 markings/sec, 205 secs
lola: 20937 markings, 34768 edges, 111 markings/sec, 210 secs
lola: 21201 markings, 35384 edges, 53 markings/sec, 215 secs
lola: 21561 markings, 36161 edges, 72 markings/sec, 220 secs
lola: 21808 markings, 36743 edges, 49 markings/sec, 225 secs
lola: 22055 markings, 37325 edges, 49 markings/sec, 230 secs
lola: 22298 markings, 37895 edges, 49 markings/sec, 235 secs
lola: 22659 markings, 38738 edges, 72 markings/sec, 240 secs
lola: 23069 markings, 39720 edges, 82 markings/sec, 245 secs
lola: 23463 markings, 40595 edges, 79 markings/sec, 250 secs
lola: 23927 markings, 41679 edges, 93 markings/sec, 255 secs
lola: 24345 markings, 42677 edges, 84 markings/sec, 260 secs
lola: 24767 markings, 43683 edges, 84 markings/sec, 265 secs
lola: 25152 markings, 44549 edges, 77 markings/sec, 270 secs
lola: 25371 markings, 45053 edges, 44 markings/sec, 275 secs
lola: 25585 markings, 45562 edges, 43 markings/sec, 280 secs
lola: 26055 markings, 46664 edges, 94 markings/sec, 285 secs
lola: 26219 markings, 47073 edges, 33 markings/sec, 290 secs
lola: 26399 markings, 47495 edges, 36 markings/sec, 295 secs
lola: 26590 markings, 47909 edges, 38 markings/sec, 300 secs
lola: 26769 markings, 48335 edges, 36 markings/sec, 305 secs
lola: 26975 markings, 48828 edges, 41 markings/sec, 310 secs
lola: 27275 markings, 49509 edges, 60 markings/sec, 315 secs
lola: 27773 markings, 50667 edges, 100 markings/sec, 320 secs
lola: 28382 markings, 52172 edges, 122 markings/sec, 325 secs
lola: 28613 markings, 52785 edges, 46 markings/sec, 330 secs
lola: 28960 markings, 53666 edges, 69 markings/sec, 335 secs
lola: 29367 markings, 54579 edges, 81 markings/sec, 340 secs
lola: 29775 markings, 55557 edges, 82 markings/sec, 345 secs
lola: 30073 markings, 56233 edges, 60 markings/sec, 350 secs
lola: 30348 markings, 56874 edges, 55 markings/sec, 355 secs
lola: 30618 markings, 57525 edges, 54 markings/sec, 360 secs
lola: 30861 markings, 58095 edges, 49 markings/sec, 365 secs
lola: 31107 markings, 58674 edges, 49 markings/sec, 370 secs
lola: 31453 markings, 59478 edges, 69 markings/sec, 375 secs
lola: 31829 markings, 60363 edges, 75 markings/sec, 380 secs
lola: 32243 markings, 61301 edges, 83 markings/sec, 385 secs
lola: 32668 markings, 62313 edges, 85 markings/sec, 390 secs
lola: 33037 markings, 63191 edges, 74 markings/sec, 395 secs
lola: 33429 markings, 64077 edges, 78 markings/sec, 400 secs
lola: 33730 markings, 64793 edges, 60 markings/sec, 405 secs
lola: 33964 markings, 65336 edges, 47 markings/sec, 410 secs
lola: 34196 markings, 65873 edges, 46 markings/sec, 415 secs
lola: 34428 markings, 66410 edges, 46 markings/sec, 420 secs
lola: 34660 markings, 66947 edges, 46 markings/sec, 425 secs
lola: 34898 markings, 67502 edges, 48 markings/sec, 430 secs
lola: 35369 markings, 68605 edges, 94 markings/sec, 435 secs
lola: 35835 markings, 69699 edges, 93 markings/sec, 440 secs
lola: 36303 markings, 70797 edges, 94 markings/sec, 445 secs
lola: 36705 markings, 71763 edges, 80 markings/sec, 450 secs
lola: 37136 markings, 72785 edges, 86 markings/sec, 455 secs
lola: 37555 markings, 73724 edges, 84 markings/sec, 460 secs
lola: 37783 markings, 74249 edges, 46 markings/sec, 465 secs
lola: 38007 markings, 74772 edges, 45 markings/sec, 470 secs
lola: 38493 markings, 75906 edges, 97 markings/sec, 475 secs
lola: 38607 markings, 76215 edges, 23 markings/sec, 480 secs
lola: 38769 markings, 76571 edges, 32 markings/sec, 485 secs
lola: 38931 markings, 76944 edges, 32 markings/sec, 490 secs
lola: 39045 markings, 77240 edges, 23 markings/sec, 495 secs
lola: 39230 markings, 77636 edges, 37 markings/sec, 500 secs
lola: 39435 markings, 78114 edges, 41 markings/sec, 505 secs
lola: 39869 markings, 79144 edges, 87 markings/sec, 510 secs
lola: 40395 markings, 80358 edges, 105 markings/sec, 515 secs
lola: 41064 markings, 81829 edges, 134 markings/sec, 520 secs
lola: 41394 markings, 82354 edges, 66 markings/sec, 525 secs
lola: 41602 markings, 82908 edges, 42 markings/sec, 530 secs
lola: 41844 markings, 83553 edges, 48 markings/sec, 535 secs
lola: 42227 markings, 84464 edges, 77 markings/sec, 540 secs
lola: 42474 markings, 85046 edges, 49 markings/sec, 545 secs
lola: 42721 markings, 85628 edges, 49 markings/sec, 550 secs
lola: 43128 markings, 86543 edges, 81 markings/sec, 555 secs
lola: 43610 markings, 87669 edges, 96 markings/sec, 560 secs
lola: 44092 markings, 88795 edges, 96 markings/sec, 565 secs
lola: 44546 markings, 89865 edges, 91 markings/sec, 570 secs
lola: 44976 markings, 90887 edges, 86 markings/sec, 575 secs
lola: 45400 markings, 91897 edges, 85 markings/sec, 580 secs
lola: 45607 markings, 92378 edges, 41 markings/sec, 585 secs
lola: 45830 markings, 92888 edges, 45 markings/sec, 590 secs
lola: 46164 markings, 93668 edges, 67 markings/sec, 595 secs
lola: 46518 markings, 94475 edges, 71 markings/sec, 600 secs
lola: 46696 markings, 94894 edges, 36 markings/sec, 605 secs
lola: 46860 markings, 95303 edges, 33 markings/sec, 610 secs
lola: 47024 markings, 95675 edges, 33 markings/sec, 615 secs
lola: 47206 markings, 96076 edges, 36 markings/sec, 620 secs
lola: 47412 markings, 96569 edges, 41 markings/sec, 625 secs
lola: 47800 markings, 97507 edges, 78 markings/sec, 630 secs
lola: 48328 markings, 98725 edges, 106 markings/sec, 635 secs
lola: 48827 markings, 99965 edges, 100 markings/sec, 640 secs
lola: 49036 markings, 100518 edges, 42 markings/sec, 645 secs
lola: 49440 markings, 101511 edges, 81 markings/sec, 650 secs
lola: 49815 markings, 102377 edges, 75 markings/sec, 655 secs
lola: 50216 markings, 103306 edges, 80 markings/sec, 660 secs
lola: 50494 markings, 103942 edges, 56 markings/sec, 665 secs
lola: 50769 markings, 104601 edges, 55 markings/sec, 670 secs
lola: 51035 markings, 105240 edges, 53 markings/sec, 675 secs
lola: 51284 markings, 105828 edges, 50 markings/sec, 680 secs
lola: 51532 markings, 106413 edges, 50 markings/sec, 685 secs
lola: 51922 markings, 107283 edges, 78 markings/sec, 690 secs
lola: 52352 markings, 108305 edges, 86 markings/sec, 695 secs
lola: 52736 markings, 109230 edges, 77 markings/sec, 700 secs
lola: 53135 markings, 110114 edges, 80 markings/sec, 705 secs
lola: 53528 markings, 111061 edges, 79 markings/sec, 710 secs
lola: 53862 markings, 111812 edges, 67 markings/sec, 715 secs
lola: 54147 markings, 112508 edges, 57 markings/sec, 720 secs
lola: 54386 markings, 113066 edges, 48 markings/sec, 725 secs
lola: 54627 markings, 113630 edges, 48 markings/sec, 730 secs
lola: 54869 markings, 114197 edges, 48 markings/sec, 735 secs
lola: 55113 markings, 114770 edges, 49 markings/sec, 740 secs
lola: 55516 markings, 115685 edges, 81 markings/sec, 745 secs
lola: 55990 markings, 116795 edges, 95 markings/sec, 750 secs
lola: 56454 markings, 117885 edges, 93 markings/sec, 755 secs
lola: 56868 markings, 118875 edges, 83 markings/sec, 760 secs
lola: 57240 markings, 119720 edges, 74 markings/sec, 765 secs
lola: 57692 markings, 120766 edges, 90 markings/sec, 770 secs
lola: 57997 markings, 121514 edges, 61 markings/sec, 775 secs
lola: 58228 markings, 122048 edges, 46 markings/sec, 780 secs
lola: 58598 markings, 122902 edges, 74 markings/sec, 785 secs
lola: 58925 markings, 123662 edges, 65 markings/sec, 790 secs
lola: 59054 markings, 123976 edges, 26 markings/sec, 795 secs
lola: 59188 markings, 124292 edges, 27 markings/sec, 800 secs
lola: 59348 markings, 124645 edges, 32 markings/sec, 805 secs
lola: 59453 markings, 124928 edges, 21 markings/sec, 810 secs
lola: 59618 markings, 125266 edges, 33 markings/sec, 815 secs
lola: 59812 markings, 125735 edges, 39 markings/sec, 820 secs
lola: 60076 markings, 126344 edges, 53 markings/sec, 825 secs
lola: 60566 markings, 127486 edges, 98 markings/sec, 830 secs
lola: 61149 markings, 128903 edges, 117 markings/sec, 835 secs
lola: 61669 markings, 129772 edges, 104 markings/sec, 840 secs
lola: 61904 markings, 130281 edges, 47 markings/sec, 845 secs
lola: 62110 markings, 130818 edges, 41 markings/sec, 850 secs
lola: 62251 markings, 131241 edges, 28 markings/sec, 855 secs
lola: 62484 markings, 131859 edges, 47 markings/sec, 860 secs
lola: 62858 markings, 132743 edges, 75 markings/sec, 865 secs
lola: 63097 markings, 133301 edges, 48 markings/sec, 870 secs
lola: 63460 markings, 134152 edges, 73 markings/sec, 875 secs
lola: 63864 markings, 135122 edges, 81 markings/sec, 880 secs
lola: 64263 markings, 136004 edges, 80 markings/sec, 885 secs
lola: 64712 markings, 137061 edges, 90 markings/sec, 890 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown yes yes unknown unknown no no unknown yes no no yes no no unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: no unknown yes yes unknown unknown no no unknown yes no no yes no no unknown
lola: memory consumption: 179844 KB
lola: time consumption: 1765 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 900 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F (FIREABLE(t4241))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (FIREABLE(t4241))))
lola: processed formula length: 27
lola: 40 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N50-LTLFireability.task
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: 504 markings, 569 edges, 101 markings/sec, 0 secs
lola: 716 markings, 940 edges, 42 markings/sec, 5 secs
lola: 1149 markings, 1674 edges, 87 markings/sec, 10 secs
lola: 1429 markings, 2134 edges, 56 markings/sec, 15 secs
lola: 1710 markings, 2605 edges, 56 markings/sec, 20 secs
lola: 1972 markings, 3049 edges, 52 markings/sec, 25 secs
lola: 2555 markings, 4023 edges, 117 markings/sec, 30 secs
lola: 3361 markings, 5352 edges, 161 markings/sec, 35 secs
lola: 4101 markings, 6587 edges, 148 markings/sec, 40 secs
lola: 4858 markings, 7861 edges, 151 markings/sec, 45 secs
lola: 5089 markings, 8243 edges, 46 markings/sec, 50 secs
lola: 5709 markings, 9274 edges, 124 markings/sec, 55 secs
lola: 6014 markings, 9773 edges, 61 markings/sec, 60 secs
lola: 6251 markings, 10167 edges, 47 markings/sec, 65 secs
lola: 6504 markings, 10593 edges, 51 markings/sec, 70 secs
lola: 6792 markings, 11089 edges, 58 markings/sec, 75 secs
lola: 7689 markings, 12564 edges, 179 markings/sec, 80 secs
lola: 8270 markings, 13484 edges, 116 markings/sec, 85 secs
lola: 8609 markings, 14102 edges, 68 markings/sec, 90 secs
lola: 9381 markings, 15385 edges, 154 markings/sec, 95 secs
lola: 9845 markings, 16155 edges, 93 markings/sec, 100 secs
lola: 10148 markings, 16677 edges, 61 markings/sec, 105 secs
lola: 10513 markings, 17276 edges, 73 markings/sec, 110 secs
lola: 10830 markings, 17801 edges, 63 markings/sec, 115 secs
lola: 11233 markings, 18476 edges, 81 markings/sec, 120 secs
lola: 11816 markings, 19453 edges, 117 markings/sec, 125 secs
lola: 12518 markings, 20617 edges, 140 markings/sec, 130 secs
lola: 13261 markings, 21863 edges, 149 markings/sec, 135 secs
lola: 13667 markings, 22527 edges, 81 markings/sec, 140 secs
lola: 13939 markings, 22979 edges, 54 markings/sec, 145 secs
lola: 14204 markings, 23429 edges, 53 markings/sec, 150 secs
lola: 14476 markings, 23893 edges, 54 markings/sec, 155 secs
lola: 15247 markings, 25177 edges, 154 markings/sec, 160 secs
lola: 16115 markings, 26611 edges, 174 markings/sec, 165 secs
lola: 16866 markings, 27873 edges, 150 markings/sec, 170 secs
lola: 17369 markings, 28719 edges, 101 markings/sec, 175 secs
lola: 17603 markings, 29107 edges, 47 markings/sec, 180 secs
lola: 18328 markings, 30317 edges, 145 markings/sec, 185 secs
lola: 18601 markings, 30768 edges, 55 markings/sec, 190 secs
lola: 18823 markings, 31141 edges, 44 markings/sec, 195 secs
lola: 19041 markings, 31503 edges, 44 markings/sec, 200 secs
lola: 19433 markings, 32136 edges, 78 markings/sec, 205 secs
lola: 20365 markings, 33694 edges, 186 markings/sec, 210 secs
lola: 20845 markings, 34395 edges, 96 markings/sec, 215 secs
lola: 21200 markings, 35013 edges, 71 markings/sec, 220 secs
lola: 21414 markings, 35440 edges, 43 markings/sec, 225 secs
lola: 21630 markings, 35872 edges, 43 markings/sec, 230 secs
lola: 21973 markings, 36597 edges, 69 markings/sec, 235 secs
lola: 22222 markings, 37185 edges, 50 markings/sec, 240 secs
lola: 22455 markings, 37725 edges, 47 markings/sec, 245 secs
lola: 22687 markings, 38262 edges, 46 markings/sec, 250 secs
lola: 23045 markings, 39110 edges, 72 markings/sec, 255 secs
lola: 23441 markings, 40047 edges, 79 markings/sec, 260 secs
lola: 23851 markings, 40965 edges, 82 markings/sec, 265 secs
lola: 24305 markings, 42035 edges, 91 markings/sec, 270 secs
lola: 24687 markings, 42961 edges, 76 markings/sec, 275 secs
lola: 25073 markings, 43830 edges, 77 markings/sec, 280 secs
lola: 25538 markings, 44907 edges, 93 markings/sec, 285 secs
lola: 25747 markings, 45405 edges, 42 markings/sec, 290 secs
lola: 25949 markings, 45890 edges, 40 markings/sec, 295 secs
lola: 26433 markings, 47020 edges, 97 markings/sec, 300 secs
lola: 26613 markings, 47461 edges, 36 markings/sec, 305 secs
lola: 26802 markings, 47904 edges, 38 markings/sec, 310 secs
lola: 26996 markings, 48327 edges, 39 markings/sec, 315 secs
lola: 27181 markings, 48759 edges, 37 markings/sec, 320 secs
lola: 27393 markings, 49264 edges, 42 markings/sec, 325 secs
lola: 27728 markings, 50046 edges, 67 markings/sec, 330 secs
lola: 28303 markings, 51408 edges, 115 markings/sec, 335 secs
lola: 28823 markings, 52690 edges, 104 markings/sec, 340 secs
lola: 29016 markings, 53034 edges, 39 markings/sec, 345 secs
lola: 29265 markings, 53733 edges, 50 markings/sec, 350 secs
lola: 29658 markings, 54641 edges, 79 markings/sec, 355 secs
lola: 30081 markings, 55608 edges, 85 markings/sec, 360 secs
lola: 30393 markings, 56366 edges, 62 markings/sec, 365 secs
lola: 30679 markings, 57045 edges, 57 markings/sec, 370 secs
lola: 31005 markings, 57778 edges, 65 markings/sec, 375 secs
lola: 31265 markings, 58379 edges, 52 markings/sec, 380 secs
lola: 31529 markings, 58988 edges, 53 markings/sec, 385 secs
lola: 31802 markings, 59640 edges, 55 markings/sec, 390 secs
lola: 32219 markings, 60611 edges, 83 markings/sec, 395 secs
lola: 32647 markings, 61629 edges, 86 markings/sec, 400 secs
lola: 33031 markings, 62529 edges, 77 markings/sec, 405 secs
lola: 33429 markings, 63435 edges, 80 markings/sec, 410 secs
lola: 33853 markings, 64445 edges, 85 markings/sec, 415 secs
lola: 34196 markings, 65231 edges, 69 markings/sec, 420 secs
lola: 34441 markings, 65807 edges, 49 markings/sec, 425 secs
lola: 34690 markings, 66395 edges, 50 markings/sec, 430 secs
lola: 34936 markings, 66974 edges, 49 markings/sec, 435 secs
lola: 35184 markings, 67559 edges, 50 markings/sec, 440 secs
lola: 35589 markings, 68484 edges, 81 markings/sec, 445 secs
lola: 36067 markings, 69602 edges, 96 markings/sec, 450 secs
lola: 36537 markings, 70704 edges, 94 markings/sec, 455 secs
lola: 36959 markings, 71710 edges, 84 markings/sec, 460 secs
lola: 37320 markings, 72536 edges, 72 markings/sec, 465 secs
lola: 37775 markings, 73585 edges, 91 markings/sec, 470 secs
lola: 38079 markings, 74336 edges, 61 markings/sec, 475 secs
lola: 38304 markings, 74852 edges, 45 markings/sec, 480 secs
lola: 38643 markings, 75645 edges, 68 markings/sec, 485 secs
lola: 38989 markings, 76430 edges, 69 markings/sec, 490 secs
lola: 39099 markings, 76719 edges, 22 markings/sec, 495 secs
lola: 39245 markings, 77039 edges, 29 markings/sec, 500 secs
lola: 39391 markings, 77384 edges, 29 markings/sec, 505 secs
lola: 39505 markings, 77660 edges, 23 markings/sec, 510 secs
lola: 39661 markings, 78005 edges, 31 markings/sec, 515 secs
lola: 39855 markings, 78474 edges, 39 markings/sec, 520 secs
lola: 40091 markings, 79027 edges, 47 markings/sec, 525 secs
lola: 40589 markings, 80185 edges, 100 markings/sec, 530 secs
lola: 41099 markings, 81367 edges, 102 markings/sec, 535 secs
lola: 41454 markings, 82161 edges, 71 markings/sec, 540 secs
lola: 41858 markings, 82649 edges, 81 markings/sec, 545 secs
lola: 42080 markings, 83086 edges, 44 markings/sec, 550 secs
lola: 42228 markings, 83346 edges, 30 markings/sec, 555 secs
lola: 42446 markings, 83873 edges, 44 markings/sec, 560 secs
lola: 42584 markings, 84173 edges, 28 markings/sec, 565 secs
lola: 42992 markings, 85159 edges, 82 markings/sec, 570 secs
lola: 43239 markings, 85741 edges, 49 markings/sec, 575 secs
lola: 43483 markings, 86314 edges, 49 markings/sec, 580 secs
lola: 43834 markings, 87155 edges, 70 markings/sec, 585 secs
lola: 44278 markings, 88205 edges, 89 markings/sec, 590 secs
lola: 44706 markings, 89188 edges, 86 markings/sec, 595 secs
lola: 45152 markings, 90208 edges, 89 markings/sec, 600 secs
lola: 45574 markings, 91202 edges, 84 markings/sec, 605 secs
lola: 46026 markings, 92268 edges, 90 markings/sec, 610 secs
lola: 46372 markings, 93073 edges, 69 markings/sec, 615 secs
lola: 46596 markings, 93586 edges, 45 markings/sec, 620 secs
lola: 46831 markings, 94132 edges, 47 markings/sec, 625 secs
lola: 47301 markings, 95224 edges, 94 markings/sec, 630 secs
lola: 47472 markings, 95646 edges, 34 markings/sec, 635 secs
lola: 47640 markings, 96063 edges, 34 markings/sec, 640 secs
lola: 47821 markings, 96466 edges, 36 markings/sec, 645 secs
lola: 48002 markings, 96868 edges, 36 markings/sec, 650 secs
lola: 48202 markings, 97349 edges, 40 markings/sec, 655 secs
lola: 48490 markings, 98006 edges, 58 markings/sec, 660 secs
lola: 48968 markings, 99124 edges, 96 markings/sec, 665 secs
lola: 49496 markings, 100378 edges, 106 markings/sec, 670 secs
lola: 49787 markings, 101011 edges, 58 markings/sec, 675 secs
lola: 49935 markings, 101455 edges, 30 markings/sec, 680 secs
lola: 50376 markings, 102503 edges, 88 markings/sec, 685 secs
lola: 50798 markings, 103509 edges, 84 markings/sec, 690 secs
lola: 51138 markings, 104270 edges, 68 markings/sec, 695 secs
lola: 51414 markings, 104933 edges, 55 markings/sec, 700 secs
lola: 51689 markings, 105601 edges, 55 markings/sec, 705 secs
lola: 51938 markings, 106189 edges, 50 markings/sec, 710 secs
lola: 52202 markings, 106801 edges, 53 markings/sec, 715 secs
lola: 52420 markings, 107318 edges, 44 markings/sec, 720 secs
lola: 52798 markings, 108155 edges, 76 markings/sec, 725 secs
lola: 53198 markings, 109117 edges, 80 markings/sec, 730 secs
lola: 53543 markings, 109891 edges, 69 markings/sec, 735 secs
lola: 53953 markings, 110870 edges, 82 markings/sec, 740 secs
lola: 54294 markings, 111666 edges, 68 markings/sec, 745 secs
lola: 54714 markings, 112634 edges, 84 markings/sec, 750 secs
lola: 55024 markings, 113379 edges, 62 markings/sec, 755 secs
lola: 55269 markings, 113955 edges, 49 markings/sec, 760 secs
lola: 55515 markings, 114534 edges, 49 markings/sec, 765 secs
lola: 55761 markings, 115113 edges, 49 markings/sec, 770 secs
lola: 56007 markings, 115692 edges, 49 markings/sec, 775 secs
lola: 56418 markings, 116609 edges, 82 markings/sec, 780 secs
lola: 56892 markings, 117719 edges, 95 markings/sec, 785 secs
lola: 57366 markings, 118829 edges, 95 markings/sec, 790 secs
lola: 57808 markings, 119875 edges, 88 markings/sec, 795 secs
lola: 58194 markings, 120809 edges, 77 markings/sec, 800 secs
lola: 58682 markings, 121947 edges, 98 markings/sec, 805 secs
lola: 58892 markings, 122439 edges, 42 markings/sec, 810 secs
lola: 59123 markings, 122973 edges, 46 markings/sec, 815 secs
lola: 59524 markings, 123874 edges, 80 markings/sec, 820 secs
lola: 59824 markings, 124599 edges, 60 markings/sec, 825 secs
lola: 59976 markings, 124940 edges, 30 markings/sec, 830 secs
lola: 60091 markings, 125241 edges, 23 markings/sec, 835 secs
lola: 60269 markings, 125616 edges, 36 markings/sec, 840 secs
lola: 60416 markings, 125982 edges, 29 markings/sec, 845 secs
lola: 60579 markings, 126387 edges, 33 markings/sec, 850 secs
lola: 60803 markings, 126900 edges, 45 markings/sec, 855 secs
lola: 61328 markings, 128130 edges, 105 markings/sec, 860 secs
lola: 61882 markings, 129400 edges, 111 markings/sec, 865 secs
lola: 62252 markings, 130229 edges, 74 markings/sec, 870 secs
lola: 62660 markings, 130720 edges, 82 markings/sec, 875 secs
lola: 62906 markings, 131205 edges, 49 markings/sec, 880 secs
lola: 63038 markings, 131443 edges, 26 markings/sec, 885 secs
lola: 63249 markings, 131945 edges, 42 markings/sec, 890 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown yes yes unknown unknown no no unknown yes no no yes no no unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: no unknown yes yes unknown unknown no no unknown yes no no yes no no unknown
lola: memory consumption: 176020 KB
lola: time consumption: 2665 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 901 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F (FIREABLE(t4241))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (FIREABLE(t4241))))
lola: processed formula length: 27
lola: 40 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N50-LTLFireability.task
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: 520 markings, 597 edges, 104 markings/sec, 0 secs
lola: 766 markings, 1037 edges, 49 markings/sec, 5 secs
lola: 1195 markings, 1743 edges, 86 markings/sec, 10 secs
lola: 1471 markings, 2207 edges, 55 markings/sec, 15 secs
lola: 1741 markings, 2667 edges, 54 markings/sec, 20 secs
lola: 2037 markings, 3166 edges, 59 markings/sec, 25 secs
lola: 2887 markings, 4561 edges, 170 markings/sec, 30 secs
lola: 3659 markings, 5863 edges, 154 markings/sec, 35 secs
lola: 4351 markings, 7007 edges, 138 markings/sec, 40 secs
lola: 4877 markings, 7899 edges, 105 markings/sec, 45 secs
lola: 5102 markings, 8269 edges, 45 markings/sec, 50 secs
lola: 5785 markings, 9395 edges, 137 markings/sec, 55 secs
lola: 6049 markings, 9843 edges, 53 markings/sec, 60 secs
lola: 6295 markings, 10255 edges, 49 markings/sec, 65 secs
lola: 6547 markings, 10679 edges, 50 markings/sec, 70 secs
lola: 6959 markings, 11349 edges, 82 markings/sec, 75 secs
lola: 7929 markings, 12964 edges, 194 markings/sec, 80 secs
lola: 8303 markings, 13550 edges, 75 markings/sec, 85 secs
lola: 8767 markings, 14379 edges, 93 markings/sec, 90 secs
lola: 9616 markings, 15773 edges, 170 markings/sec, 95 secs
lola: 9924 markings, 16308 edges, 62 markings/sec, 100 secs
lola: 10349 markings, 16999 edges, 85 markings/sec, 105 secs
lola: 10633 markings, 17487 edges, 57 markings/sec, 110 secs
lola: 11019 markings, 18115 edges, 77 markings/sec, 115 secs
lola: 11623 markings, 19141 edges, 121 markings/sec, 120 secs
lola: 12359 markings, 20365 edges, 147 markings/sec, 125 secs
lola: 13161 markings, 21688 edges, 160 markings/sec, 130 secs
lola: 13635 markings, 22479 edges, 95 markings/sec, 135 secs
lola: 13927 markings, 22957 edges, 58 markings/sec, 140 secs
lola: 14199 markings, 23419 edges, 54 markings/sec, 145 secs
lola: 14470 markings, 23881 edges, 54 markings/sec, 150 secs
lola: 15168 markings, 25037 edges, 140 markings/sec, 155 secs
lola: 16094 markings, 26569 edges, 185 markings/sec, 160 secs
lola: 16815 markings, 27771 edges, 144 markings/sec, 165 secs
lola: 17363 markings, 28707 edges, 110 markings/sec, 170 secs
lola: 17596 markings, 29093 edges, 47 markings/sec, 175 secs
lola: 18303 markings, 30267 edges, 141 markings/sec, 180 secs
lola: 18567 markings, 30715 edges, 53 markings/sec, 185 secs
lola: 18792 markings, 31085 edges, 45 markings/sec, 190 secs
lola: 19022 markings, 31465 edges, 46 markings/sec, 195 secs
lola: 19379 markings, 32055 edges, 71 markings/sec, 200 secs
lola: 20323 markings, 33631 edges, 189 markings/sec, 205 secs
lola: 20763 markings, 34286 edges, 88 markings/sec, 210 secs
lola: 21176 markings, 34965 edges, 83 markings/sec, 215 secs
lola: 21387 markings, 35386 edges, 42 markings/sec, 220 secs
lola: 21605 markings, 35821 edges, 44 markings/sec, 225 secs
lola: 21955 markings, 36543 edges, 70 markings/sec, 230 secs
lola: 22205 markings, 37134 edges, 50 markings/sec, 235 secs
lola: 22448 markings, 37704 edges, 49 markings/sec, 240 secs
lola: 22691 markings, 38274 edges, 49 markings/sec, 245 secs
lola: 23065 markings, 39150 edges, 75 markings/sec, 250 secs
lola: 23527 markings, 40236 edges, 92 markings/sec, 255 secs
lola: 23983 markings, 41310 edges, 91 markings/sec, 260 secs
lola: 24374 markings, 42210 edges, 78 markings/sec, 265 secs
lola: 24787 markings, 43161 edges, 83 markings/sec, 270 secs
lola: 25233 markings, 44215 edges, 89 markings/sec, 275 secs
lola: 25561 markings, 44976 edges, 66 markings/sec, 280 secs
lola: 25771 markings, 45453 edges, 42 markings/sec, 285 secs
lola: 25963 markings, 45918 edges, 38 markings/sec, 290 secs
lola: 26435 markings, 47024 edges, 94 markings/sec, 295 secs
lola: 26613 markings, 47461 edges, 36 markings/sec, 300 secs
lola: 26801 markings, 47901 edges, 38 markings/sec, 305 secs
lola: 26992 markings, 48315 edges, 38 markings/sec, 310 secs
lola: 27173 markings, 48743 edges, 36 markings/sec, 315 secs
lola: 27381 markings, 49240 edges, 42 markings/sec, 320 secs
lola: 27685 markings, 49929 edges, 61 markings/sec, 325 secs
lola: 28243 markings, 51273 edges, 112 markings/sec, 330 secs
lola: 28804 markings, 52638 edges, 112 markings/sec, 335 secs
lola: 29008 markings, 53010 edges, 41 markings/sec, 340 secs
lola: 29214 markings, 53625 edges, 41 markings/sec, 345 secs
lola: 29627 markings, 54548 edges, 83 markings/sec, 350 secs
lola: 30063 markings, 55572 edges, 87 markings/sec, 355 secs
lola: 30380 markings, 56327 edges, 63 markings/sec, 360 secs
lola: 30655 markings, 56992 edges, 55 markings/sec, 365 secs
lola: 30995 markings, 57758 edges, 68 markings/sec, 370 secs
lola: 31269 markings, 58387 edges, 55 markings/sec, 375 secs
lola: 31535 markings, 59000 edges, 53 markings/sec, 380 secs
lola: 31810 markings, 59664 edges, 55 markings/sec, 385 secs
lola: 32231 markings, 60635 edges, 84 markings/sec, 390 secs
lola: 32669 markings, 61673 edges, 88 markings/sec, 395 secs
lola: 33059 markings, 62613 edges, 78 markings/sec, 400 secs
lola: 33466 markings, 63518 edges, 81 markings/sec, 405 secs
lola: 33895 markings, 64529 edges, 86 markings/sec, 410 secs
lola: 34215 markings, 65288 edges, 64 markings/sec, 415 secs
lola: 34460 markings, 65864 edges, 49 markings/sec, 420 secs
lola: 34707 markings, 66446 edges, 49 markings/sec, 425 secs
lola: 34952 markings, 67022 edges, 49 markings/sec, 430 secs
lola: 35199 markings, 67604 edges, 49 markings/sec, 435 secs
lola: 35609 markings, 68524 edges, 82 markings/sec, 440 secs
lola: 36085 markings, 69638 edges, 95 markings/sec, 445 secs
lola: 36553 markings, 70736 edges, 94 markings/sec, 450 secs
lola: 36983 markings, 71758 edges, 86 markings/sec, 455 secs
lola: 37336 markings, 72584 edges, 71 markings/sec, 460 secs
lola: 37777 markings, 73589 edges, 88 markings/sec, 465 secs
lola: 38075 markings, 74324 edges, 60 markings/sec, 470 secs
lola: 38302 markings, 74846 edges, 45 markings/sec, 475 secs
lola: 38653 markings, 75665 edges, 70 markings/sec, 480 secs
lola: 38996 markings, 76451 edges, 69 markings/sec, 485 secs
lola: 39119 markings, 76759 edges, 25 markings/sec, 490 secs
lola: 39260 markings, 77084 edges, 28 markings/sec, 495 secs
lola: 39421 markings, 77444 edges, 32 markings/sec, 500 secs
lola: 39529 markings, 77732 edges, 22 markings/sec, 505 secs
lola: 39717 markings, 78137 edges, 38 markings/sec, 510 secs
lola: 39915 markings, 78594 edges, 40 markings/sec, 515 secs
lola: 40341 markings, 79608 edges, 85 markings/sec, 520 secs
lola: 40865 markings, 80818 edges, 105 markings/sec, 525 secs
lola: 41404 markings, 82111 edges, 108 markings/sec, 530 secs
lola: 41812 markings, 82603 edges, 82 markings/sec, 535 secs
lola: 41964 markings, 82854 edges, 30 markings/sec, 540 secs
lola: 42190 markings, 83232 edges, 45 markings/sec, 545 secs
lola: 42340 markings, 83682 edges, 30 markings/sec, 550 secs
lola: 42552 markings, 84077 edges, 42 markings/sec, 555 secs
lola: 42956 markings, 85075 edges, 81 markings/sec, 560 secs
lola: 43214 markings, 85672 edges, 52 markings/sec, 565 secs
lola: 43463 markings, 86254 edges, 50 markings/sec, 570 secs
lola: 43746 markings, 86944 edges, 57 markings/sec, 575 secs
lola: 44225 markings, 88063 edges, 96 markings/sec, 580 secs
lola: 44695 markings, 89155 edges, 94 markings/sec, 585 secs
lola: 45158 markings, 90226 edges, 93 markings/sec, 590 secs
lola: 45584 markings, 91222 edges, 85 markings/sec, 595 secs
lola: 46044 markings, 92304 edges, 92 markings/sec, 600 secs
lola: 46381 markings, 93100 edges, 67 markings/sec, 605 secs
lola: 46609 markings, 93625 edges, 46 markings/sec, 610 secs
lola: 46922 markings, 94384 edges, 63 markings/sec, 615 secs
lola: 47318 markings, 95275 edges, 79 markings/sec, 620 secs
lola: 47512 markings, 95726 edges, 39 markings/sec, 625 secs
lola: 47698 markings, 96179 edges, 37 markings/sec, 630 secs
lola: 47847 markings, 96544 edges, 30 markings/sec, 635 secs
lola: 48045 markings, 96979 edges, 40 markings/sec, 640 secs
lola: 48250 markings, 97445 edges, 41 markings/sec, 645 secs
lola: 48710 markings, 98527 edges, 92 markings/sec, 650 secs
lola: 49216 markings, 99701 edges, 101 markings/sec, 655 secs
lola: 49725 markings, 100936 edges, 102 markings/sec, 660 secs
lola: 49859 markings, 101227 edges, 27 markings/sec, 665 secs
lola: 50164 markings, 101998 edges, 61 markings/sec, 670 secs
lola: 50576 markings, 102984 edges, 82 markings/sec, 675 secs
lola: 50907 markings, 103734 edges, 66 markings/sec, 680 secs
lola: 51202 markings, 104457 edges, 59 markings/sec, 685 secs
lola: 51494 markings, 105142 edges, 58 markings/sec, 690 secs
lola: 51808 markings, 105851 edges, 63 markings/sec, 695 secs
lola: 52064 markings, 106444 edges, 51 markings/sec, 700 secs
lola: 52310 markings, 107017 edges, 49 markings/sec, 705 secs
lola: 52550 markings, 107578 edges, 48 markings/sec, 710 secs
lola: 52897 markings, 108430 edges, 69 markings/sec, 715 secs
lola: 53294 markings, 109309 edges, 79 markings/sec, 720 secs
lola: 53704 markings, 110291 edges, 82 markings/sec, 725 secs
lola: 54051 markings, 111096 edges, 69 markings/sec, 730 secs
lola: 54446 markings, 112017 edges, 79 markings/sec, 735 secs
lola: 54806 markings, 112884 edges, 72 markings/sec, 740 secs
lola: 55057 markings, 113478 edges, 50 markings/sec, 745 secs
lola: 55324 markings, 114097 edges, 53 markings/sec, 750 secs
lola: 55564 markings, 114658 edges, 48 markings/sec, 755 secs
lola: 55778 markings, 115164 edges, 43 markings/sec, 760 secs
lola: 56046 markings, 115784 edges, 54 markings/sec, 765 secs
lola: 56463 markings, 116742 edges, 83 markings/sec, 770 secs
lola: 56896 markings, 117727 edges, 87 markings/sec, 775 secs
lola: 57346 markings, 118789 edges, 90 markings/sec, 780 secs
lola: 57734 markings, 119727 edges, 78 markings/sec, 785 secs
lola: 58100 markings, 120540 edges, 73 markings/sec, 790 secs
lola: 58558 markings, 121618 edges, 92 markings/sec, 795 secs
lola: 58871 markings, 122376 edges, 63 markings/sec, 800 secs
lola: 59101 markings, 122907 edges, 46 markings/sec, 805 secs
lola: 59402 markings, 123630 edges, 60 markings/sec, 810 secs
lola: 59783 markings, 124476 edges, 76 markings/sec, 815 secs
lola: 59878 markings, 124744 edges, 19 markings/sec, 820 secs
lola: 60039 markings, 125085 edges, 32 markings/sec, 825 secs
lola: 60190 markings, 125449 edges, 30 markings/sec, 830 secs
lola: 60312 markings, 125745 edges, 24 markings/sec, 835 secs
lola: 60476 markings, 126102 edges, 33 markings/sec, 840 secs
lola: 60676 markings, 126583 edges, 40 markings/sec, 845 secs
lola: 60952 markings, 127216 edges, 55 markings/sec, 850 secs
lola: 61496 markings, 128502 edges, 109 markings/sec, 855 secs
lola: 62092 markings, 129972 edges, 119 markings/sec, 860 secs
lola: 62441 markings, 130480 edges, 70 markings/sec, 865 secs
lola: 62714 markings, 130822 edges, 55 markings/sec, 870 secs
lola: 62951 markings, 131250 edges, 47 markings/sec, 875 secs
lola: 63099 markings, 131626 edges, 30 markings/sec, 880 secs
lola: 63299 markings, 131995 edges, 40 markings/sec, 885 secs
lola: 63450 markings, 132438 edges, 30 markings/sec, 890 secs
lola: 63656 markings, 132815 edges, 41 markings/sec, 895 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown yes yes unknown unknown no no unknown yes no no yes no no unknown
lola: memory consumption: 175888 KB
lola: time consumption: 3566 seconds
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A ((X (((FIREABLE(t4321) OR FIREABLE(t4320) OR FIREABLE(t4319) OR FIREABLE(t4318) OR FIREABLE(t4317) OR FIREABLE(t4316) OR FIREABLE(t4315) OR FIREABLE(t4314) OR FIREABLE(t4313) OR FIREABLE(t4312) OR FIREABLE(t4311) OR FIREABLE(t4310) OR FIREABLE(t4309) OR FIREABLE(t4308) OR FIREABLE(t4307) OR FIREABLE(t4306) OR FIREABLE(t4305) OR FIREABLE(t4304) OR FIREABLE(t4303) OR FIREABLE(t4... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X (((FIREABLE(t4321) OR FIREABLE(t4320) OR FIREABLE(t4319) OR FIREABLE(t4318) OR FIREABLE(t4317) OR FIREABLE(t4316) OR FIREABLE(t4315) OR FIREABLE(t4314) OR FIREABLE(t4313) OR FIREABLE(t4312) OR FIREABLE(t4311) OR FIREABLE(t4310) OR FIREABLE(t4309) OR FIREABLE(t4308) OR FIREABLE(t4307) OR FIREABLE(t4306) OR FIREABLE(t4305) OR FIREABLE(t4304) OR FIREABLE(t4303) OR FIREABLE(t4... (shortened)
lola: processed formula length: 6450
lola: 40 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N50-LTLFireability.task
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: time limit reached - aborting
lola:
preliminary result: no unknown yes yes unknown unknown no no unknown yes no no yes no no unknown
lola:
preliminary result: no unknown yes yes unknown unknown no no unknown yes no no yes no no unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown yes yes unknown unknown no no unknown yes no no yes no no unknown
lola: memory consumption: 167880 KB
lola: time consumption: 3566 seconds
lola: Child process aborted or communication problem between parent and child process

FORMULA BridgeAndVehicles-COL-V80P50N50-LTLFireability-5 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: memory consumption: 167880 KB
lola: time consumption: 3566 seconds
lola: ========================================
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown yes yes unknown unknown no no unknown yes no no yes no no unknown
lola: memory consumption: 166220 KB
lola: time consumption: 3566 seconds

BK_STOP 1552411472338

--------------------
content from stderr:

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BridgeAndVehicles-COL-V80P50N50"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="win2018"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool win2018"
echo " Input is BridgeAndVehicles-COL-V80P50N50, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r022-csrt-155225094600165"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-COL-V80P50N50.tgz
mv BridgeAndVehicles-COL-V80P50N50 execution
cd execution
if [ "LTLFireability" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "LTLFireability" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' LTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;