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-155225094600162.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-V80P50N20, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r022-csrt-155225094600162
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 204K
-rw-r--r-- 1 mcc users 3.7K Feb 9 08:15 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 9 08:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Feb 5 06:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 5 06:28 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.7K Feb 4 23:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 23:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 4 22:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.7K Feb 4 22:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 2 01:33 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 2 01:32 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Jan 29 14:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Jan 29 14:28 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K 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 45K 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-V80P50N20-LTLFireability-00
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-01
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-02
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-03
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-04
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-05
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-06
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-07
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-08
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-09
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-10
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-11
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-12
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-13
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-14
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-15

=== Now, execution of the tool begins

BK_START 1552407742525

info: Time: 3600 - MCC
===========================================================================================
prep: translating BridgeAndVehicles-COL-V80P50N20 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating COL Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating BridgeAndVehicles-COL-V80P50N20 formula LTLFireability into LoLA format
===========================================================================================
prep: translating COL formula complete
vrfy: Checking LTLFireability @ BridgeAndVehicles-COL-V80P50N20 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 3926/65536 symbol table entries, 711 collisions
lola: preprocessing...
lola: Size of bit vector: 6336
lola: finding significant places
lola: 198 places, 3728 transitions, 191 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 4253 transition conflict sets
lola: TASK
lola: reading formula from BridgeAndVehicles-COL-V80P50N20-LTLFireability.task
lola: A (F (F (F (G (F ((FIREABLE(t3685) OR FIREABLE(t3684) OR FIREABLE(t3683) OR FIREABLE(t3682) OR FIREABLE(t3681) OR FIREABLE(t3680) OR FIREABLE(t3679) OR FIREABLE(t3678) OR FIREABLE(t3677) OR FIREABLE(t3676) OR FIREABLE(t3675) OR FIREABLE(t3674) OR FIREABLE(t3673) OR FIREABLE(t3672) OR FIREABLE(t3671) OR FIREABLE(t3670) OR FIREABLE(t3669) OR FIREABLE(t3668) OR FIREABLE(t3667) OR FIREABLE(t3666) OR FIREABLE(t3665) OR FIREABLE(t3664) OR FIREABLE(t3663) OR FIREABLE(t3662) OR FIREABLE(t3661) OR FIREABLE(t3660) OR FIREABLE(t3659) OR FIREABLE(t3658) OR FIREABLE(t3657) OR FIREABLE(t3656) OR FIREABLE(t3655) OR FIREABLE(t3654) OR FIREABLE(t3653) OR FIREABLE(t3652) OR FIREABLE(t3651) OR FIREABLE(t3650) OR FIREABLE(t3649) OR FIREABLE(t3648) OR FIREABLE(t3647) OR FIREABLE(t3646) OR FIREABLE(t3645) OR FIREABLE(t3644) OR FIREABLE(t3643) OR FIREABLE(t3642) OR FIREABLE(t3641) OR FIREABLE(t3640) OR FIREABLE(t3639) OR FIREABLE(t3638) OR FIREABLE(t3637) OR FIREABLE(t3636) OR FIREABLE(t3635) OR FIREABLE(t3634) OR FIREABLE(t3633) OR FIREABLE(t3632) OR FIREABLE(t3631) OR FIREABLE(t3630) OR FIREABLE(t3629) OR FIREABLE(t3628) OR FIREABLE(t3627) OR FIREABLE(t3626) OR FIREABLE(t3625) OR FIREABLE(t3624) OR FIREABLE(t3623) OR FIREABLE(t3622) OR FIREABLE(t3621) OR FIREABLE(t3620) OR FIREABLE(t3619) OR FIREABLE(t3618) OR FIREABLE(t3617) OR FIREABLE(t3616) OR FIREABLE(t3615) OR FIREABLE(t3614) OR FIREABLE(t3613) OR FIREABLE(t3612) OR FIREABLE(t3611) OR FIREABLE(t3610) OR FIREABLE(t3609) OR FIREABLE(t3608) OR FIREABLE(t3607) OR FIREABLE(t3606) OR FIREABLE(t3605)))))))) : A (X (X (G ((FIREABLE(t3603) OR FIREABLE(t3602) OR FIREABLE(t3601) OR FIREABLE(t3600) OR FIREABLE(t3599) OR FIREABLE(t3598) OR FIREABLE(t3597) OR FIREABLE(t3596) OR FIREABLE(t3595) OR FIREABLE(t3594) OR FIREABLE(t3593) OR FIREABLE(t3592) OR FIREABLE(t3591) OR FIREABLE(t3590) OR FIREABLE(t3589) OR FIREABLE(t3588) OR FIREABLE(t3587) OR FIREABLE(t3586) OR FIREABLE(t3585) OR FIREABLE(t3584) OR FIREABLE(t3583) OR FIREABLE(t3582) OR FIREABLE(t3581) OR FIREABLE(t3580) OR FIREABLE(t3579) OR FIREABLE(t3578) OR FIREABLE(t3577) OR FIREABLE(t3576) OR FIREABLE(t3575) OR FIREABLE(t3574) OR FIREABLE(t3573) OR FIREABLE(t3572) OR FIREABLE(t3571) OR FIREABLE(t3570) OR FIREABLE(t3569) OR FIREABLE(t3568) OR FIREABLE(t3567) OR FIREABLE(t3566) OR FIREABLE(t3565) OR FIREABLE(t3564) OR FIREABLE(t3563) OR FIREABLE(t3562) OR FIREABLE(t3561) OR FIREABLE(t3560) OR FIREABLE(t3559) OR FIREABLE(t3558) OR FIREABLE(t3557) OR FIREABLE(t3556) OR FIREABLE(t3555) OR FIREABLE(t3554) OR FIREABLE(t3553) OR FIREABLE(t3552) OR FIREABLE(t3551) OR FIREABLE(t3550) OR FIREABLE(t3549) OR FIREABLE(t3548) OR FIREABLE(t3547) OR FIREABLE(t3546) OR FIREABLE(t3545) OR FIREABLE(t3544) OR FIREABLE(t3543) OR FIREABLE(t3542) OR FIREABLE(t3541) OR FIREABLE(t3540) OR FIREABLE(t3539) OR FIREABLE(t3538) OR FIREABLE(t3537) OR FIREABLE(t3536) OR FIREABLE(t3535) OR FIREABLE(t3534) OR FIREABLE(t3533) OR FIREABLE(t3532) OR FIREABLE(t3531) OR FIREABLE(t3530) OR FIREABLE(t3529) OR FIREABLE(t3528) OR FIREABLE(t3527) OR FIREABLE(t3526) OR FIREABLE(t3525) OR FIREABLE(t3524) OR FIREABLE(t3523) OR FIREABLE(t3522) OR FIREABLE(t3521) OR FIREABLE(t3520) OR FIREABLE(t3519) OR FIREABLE(t3518) OR FIREABLE(t3517) OR FIREABLE(t3516) OR FIREABLE(t3515) OR FIREABLE(t3514) OR FIREABLE(t3513) OR FIREABLE(t3512) OR FIREABLE(t3511) OR FIREABLE(t3510) OR FIREABLE(t3509) OR FIREABLE(t3508) OR FIREABLE(t3507) OR FIREABLE(t3506) OR FIREABLE(t3505) OR FIREABLE(t3504) OR FIREABLE(t3503) OR FIREABLE(t3502) OR FIREABLE(t3501) OR FIREABLE(t3500) OR FIREABLE(t3499) OR FIREABLE(t3498) OR FIREABLE(t3497) OR FIREABLE(t3496) OR FIREABLE(t3495) OR FIREABLE(t3494) OR FIREABLE(t3493) OR FIREABLE(t3492) OR FIREABLE(t3491) OR FIREABLE(t3490) OR FIREABLE(t3489) OR FIREABLE(t3488) OR FIREABLE(t3487) OR FIREABLE(t3486) OR FIREABLE(t3485) OR FIREABLE(t3484) OR FIREABLE(t3483) OR FIREABLE(t3482) OR FIREABLE(t3481) OR FIREABLE(t3480) OR FIREABLE(t3479) OR FIREABLE(t3478) OR FIREABLE(t3477) OR FIREABLE(t3476) OR FIREABLE(t3475) OR FIREABLE(t3474) OR FIREABLE(t3473) OR FIREABLE(t3472) OR FIREABLE(t3471) OR FIREABLE(t3470) OR FIREABLE(t3469) OR FIREABLE(t3468) OR FIREABLE(t3467) OR FIREABLE(t3466) OR FIREABLE(t3465) OR FIREABLE(t3464) OR FIREABLE(t3463) OR FIREABLE(t3462) OR FIREABLE(t3461) OR FIREABLE(t3460) OR FIREABLE(t3459) OR FIREABLE(t3458) OR FIREABLE(t3457) OR FIREABLE(t3456) OR FIREABLE(t3455) OR FIREABLE(t3454) OR FIREABLE(t3453) OR FIREABLE(t3452) OR FIREABLE(t3451) OR FIREABLE(t3450) OR FIREABLE(t3449) OR FIREABLE(t3448) OR FIREABLE(t3447) OR FIREABLE(t3446) OR FIREABLE(t3445) OR FIREABLE(t3444) OR FIREABLE(t3443) OR FIREABLE(t3442) OR FIREABLE(t3441) OR FIREABLE(t3440) OR FIREABLE(t3439) OR FIREABLE(t3438) OR FIREABLE(t3437) OR FIREABLE(t3436) OR FIREABLE(t3435) OR FIREABLE(t3434) OR FIREABLE(t3433) OR FIREABLE(t3432) OR FIREABLE(t3431) OR FIREABLE(t3430) OR FIREABLE(t3429) OR FIREABLE(t3428) OR FIREABLE(t3427) OR FIREABLE(t3426) OR FIREABLE(t3425) OR FIREABLE(t3424) OR FIREABLE(t3423) OR FIREABLE(t3422) OR FIREABLE(t3421) OR FIREABLE(t3420) OR FIREABLE(t3419) OR FIREABLE(t3418) OR FIREABLE(t3417) OR FIREABLE(t3416) OR FIREABLE(t3415) OR FIREABLE(t3414) OR FIREABLE(t3413) OR FIREABLE(t3412) OR FIREABLE(t3411) OR FIREABLE(t3410) OR FIREABLE(t3409) OR FIREABLE(t3408) OR FIREABLE(t3407) OR FIREABLE(t3406) OR FIREABLE(t3405) OR FIREABLE(t3404) OR FIREABLE(t3403) OR FIREABLE(t3402) OR FIREABLE(t3401) OR FIREABLE(t3400) OR FIREABLE(t3399) OR FIREABLE(t3398) OR FIREABLE(t3397) OR FIREABLE(t3396) OR FIREABLE(t3395) OR FIREABLE(t3394) OR FIREABLE(t3393) OR FIREABLE(t3392) OR FIREABLE(t3391) OR FIREABLE(t3390) OR FIREABLE(t3389) OR FIREABLE(t3388) OR FIREABLE(t3387) OR FIREABLE(t3386) OR FIREABLE(t3385) OR FIREABLE(t3384) OR FIREABLE(t3383) OR FIREABLE(t3382) OR FIREABLE(t3381) OR FIREABLE(t3380) OR FIREABLE(t3379) OR FIREABLE(t3378) OR FIREABLE(t3377) OR FIREABLE(t3376) OR FIREABLE(t3375) OR FIREABLE(t3374) OR FIREABLE(t3373) OR FIREABLE(t3372) OR FIREABLE(t3371) OR FIREABLE(t3370) OR FIREABLE(t3369) OR FIREABLE(t3368) OR FIREABLE(t3367) OR FIREABLE(t3366) OR FIREABLE(t3365) OR FIREABLE(t3364) OR FIREABLE(t3363) OR FIREABLE(t3362) OR FIREABLE(t3361) OR FIREABLE(t3360) OR FIREABLE(t3359) OR FIREABLE(t3358) OR FIREABLE(t3357) OR FIREABLE(t3356) OR FIREABLE(t3355) OR FIREABLE(t3354) OR FIREABLE(t3353) OR FIREABLE(t3352) OR FIREABLE(t3351) OR FIREABLE(t3350) OR FIREABLE(t3349) OR FIREABLE(t3348) OR FIREABLE(t3347) OR FIREABLE(t3346) OR FIREABLE(t3345) OR FIREABLE(t3344) OR FIREABLE(t3343) OR FIREABLE(t3342) OR FIREABLE(t3341) OR FIREABLE(t3340) OR FIREABLE(t3339) OR FIREABLE(t3338) OR FIREABLE(t3337) OR FIREABLE(t3336) OR FIREABLE(t3335) OR FIREABLE(t3334) OR FIREABLE(t3333) OR FIREABLE(t3332) OR FIREABLE(t3331) OR FIREABLE(t3330) OR FIREABLE(t3329) OR FIREABLE(t3328) OR FIREABLE(t3327) OR FIREABLE(t3326) OR FIREABLE(t3325) OR FIREABLE(t3324) OR FIREABLE(t3323) OR FIREABLE(t3322) OR FIREABLE(t3321) OR FIREABLE(t3320) OR FIREABLE(t3319) OR FIREABLE(t3318) OR FIREABLE(t3317) OR FIREABLE(t3316) OR FIREABLE(t3315) OR FIREABLE(t3314) OR FIREABLE(t3313) OR FIREABLE(t3312) OR FIREABLE(t3311) OR FIREABLE(t3310) OR FIREABLE(t3309) OR FIREABLE(t3308) OR FIREABLE(t3307) OR FIREABLE(t3306) OR FIREABLE(t3305) OR FIREABLE(t3304) OR FIREABLE(t3303) OR FIREABLE(t3302) OR FIREABLE(t3301) OR FIREABLE(t3300) OR FIREABLE(t3299) OR FIREABLE(t3298) OR FIREABLE(t3297) OR FIREABLE(t3296) OR FIREABLE(t3295) OR FIREABLE(t3294) OR FIREABLE(t3293) OR FIREABLE(t3292) OR FIREABLE(t3291) OR FIREABLE(t3290) OR FIREABLE(t3289) OR FIREABLE(t3288) OR FIREABLE(t3287) OR FIREABLE(t3286) OR FIREABLE(t3285) OR FIREABLE(t3284) OR FIREABLE(t3283) OR FIREABLE(t3282) OR FIREABLE(t3281) OR FIREABLE(t3280) OR FIREABLE(t3279) OR FIREABLE(t3278) OR FIREABLE(t3277) OR FIREABLE(t3276) OR FIREABLE(t3275) OR FIREABLE(t3274) OR FIREABLE(t3273) OR FIREABLE(t3272) OR FIREABLE(t3271) OR FIREABLE(t3270) OR FIREABLE(t3269) OR FIREABLE(t3268) OR FIREABLE(t3267) OR FIREABLE(t3266) OR FIREABLE(t3265) OR FIREABLE(t3264) OR FIREABLE(t3263) OR FIREABLE(t3262) OR FIREABLE(t3261) OR FIREABLE(t3260) OR FIREABLE(t3259) OR FIREABLE(t3258) OR FIREABLE(t3257) OR FIREABLE(t3256) OR FIREABLE(t3255) OR FIREABLE(t3254) OR FIREABLE(t3253) OR FIREABLE(t3252) OR FIREABLE(t3251) OR FIREABLE(t3250) OR FIREABLE(t3249) OR FIREABLE(t3248) OR FIREABLE(t3247) OR FIREABLE(t3246) OR FIREABLE(t3245) OR FIREABLE(t3244) OR FIREABLE(t3243) OR FIREABLE(t3242) OR FIREABLE(t3241) OR FIREABLE(t3240) OR FIREABLE(t3239) OR FIREABLE(t3238) OR FIREABLE(t3237) OR FIREABLE(t3236) OR FIREABLE(t3235) OR FIREABLE(t3234) OR FIREABLE(t3233) OR FIREABLE(t3232) OR FIREABLE(t3231) OR FIREABLE(t3230) OR FIREABLE(t3229) OR FIREABLE(t3228) OR FIREABLE(t3227) OR FIREABLE(t3226) OR FIREABLE(t3225) OR FIREABLE(t3224) OR FIREABLE(t3223) OR FIREABLE(t3222) OR FIREABLE(t3221) OR FIREABLE(t3220) OR FIREABLE(t3219) OR FIREABLE(t3218) OR FIREABLE(t3217) OR FIREABLE(t3216) OR FIREABLE(t3215) OR FIREABLE(t3214) OR FIREABLE(t3213) OR FIREABLE(t3212) OR FIREABLE(t3211) OR FIREABLE(t3210) OR FIREABLE(t3209) OR FIREABLE(t3208) OR FIREABLE(t3207) OR FIREABLE(t3206) OR FIREABLE(t3205) OR FIREABLE(t3204) OR FIREABLE(t3203) OR FIREABLE(t3202) OR FIREABLE(t3201) OR FIREABLE(t3200) OR FIREABLE(t3199) OR FIREABLE(t3198) OR FIREABLE(t3197) OR FIREABLE(t3196) OR FIREABLE(t3195) OR FIREABLE(t3194) OR FIREABLE(t3193) OR FIREABLE(t3192) OR FIREABLE(t3191) OR FIREABLE(t3190) OR FIREABLE(t3189) OR FIREABLE(t3188) OR FIREABLE(t3187) OR FIREABLE(t3186) OR FIREABLE(t3185) OR FIREABLE(t3184) OR FIREABLE(t3183) OR FIREABLE(t3182) OR FIREABLE(t3181) OR FIREABLE(t3180) OR FIREABLE(t3179) OR FIREABLE(t3178) OR FIREABLE(t3177) OR FIREABLE(t3176) OR FIREABLE(t3175) OR FIREABLE(t3174) OR FIREABLE(t3173) OR FIREABLE(t3172) OR FIREABLE(t3171) OR FIREABLE(t3170) OR FIREABLE(t3169) OR FIREABLE(t3168) OR FIREABLE(t3167) OR FIREABLE(t3166) OR FIREABLE(t3165) OR FIREABLE(t3164) OR FIREABLE(t3163) OR FIREABLE(t3162) OR FIREABLE(t3161) OR FIREABLE(t3160) OR FIREABLE(t3159) OR FIREABLE(t3158) OR FIREABLE(t3157) OR FIREABLE(t3156) OR FIREABLE(t3155) OR FIREABLE(t3154) OR FIREABLE(t3153) OR FIREABLE(t3152) OR FIREABLE(t3151) OR FIREABLE(t3150) OR FIREABLE(t3149) OR FIREABLE(t3148) OR FIREABLE(t3147) OR FIREABLE(t3146) OR FIREABLE(t3145) OR FIREABLE(t3144) OR FIREABLE(t3143) OR FIREABLE(t3142) OR FIREABLE(t3141) OR FIREABLE(t3140) OR FIREABLE(t3139) OR FIREABLE(t3138) OR FIREABLE(t3137) OR FIREABLE(t3136) OR FIREABLE(t3135) OR FIREABLE(t3134) OR FIREABLE(t3133) OR FIREABLE(t3132) OR FIREABLE(t3131) OR FIREABLE(t3130) OR FIREABLE(t3129) OR FIREABLE(t3128) OR FIREABLE(t3127) OR FIREABLE(t3126) OR FIREABLE(t3125) OR FIREABLE(t3124) OR FIREABLE(t3123) OR FIREABLE(t3122) OR FIREABLE(t3121) OR FIREABLE(t3120) OR FIREABLE(t3119) OR FIREABLE(t3118) OR FIREABLE(t3117) OR FIREABLE(t3116) OR FIREABLE(t3115) OR FIREABLE(t3114) OR FIREABLE(t3113) OR FIREABLE(t3112) OR FIREABLE(t3111) OR FIREABLE(t3110) OR FIREABLE(t3109) OR FIREABLE(t3108) OR FIREABLE(t3107) OR FIREABLE(t3106) OR FIREABLE(t3105) OR FIREABLE(t3104) OR FIREABLE(t3103) OR FIREABLE(t3102) OR FIREABLE(t3101) OR FIREABLE(t3100) OR FIREABLE(t3099) OR FIREABLE(t3098) OR FIREABLE(t3097) OR FIREABLE(t3096) OR FIREABLE(t3095) OR FIREABLE(t3094) OR FIREABLE(t3093) OR FIREABLE(t3092) OR FIREABLE(t3091) OR FIREABLE(t3090) OR FIREABLE(t3089) OR FIREABLE(t3088) OR FIREABLE(t3087) OR FIREABLE(t3086) OR FIREABLE(t3085) OR FIREABLE(t3084) OR FIREABLE(t3083) OR FIREABLE(t3082) OR FIREABLE(t3081) OR FIREABLE(t3080) OR FIREABLE(t3079) OR FIREABLE(t3078) OR FIREABLE(t3077) OR FIREABLE(t3076) OR FIREABLE(t3075) OR FIREABLE(t3074) OR FIREABLE(t3073) OR FIREABLE(t3072) OR FIREABLE(t3071) OR FIREABLE(t3070) OR FIREABLE(t3069) OR FIREABLE(t3068) OR FIREABLE(t3067) OR FIREABLE(t3066) OR FIREABLE(t3065) OR FIREABLE(t3064) OR FIREABLE(t3063) OR FIREABLE(t3062) OR FIREABLE(t3061) OR FIREABLE(t3060) OR FIREABLE(t3059) OR FIREABLE(t3058) OR FIREABLE(t3057) OR FIREABLE(t3056) OR FIREABLE(t3055) OR FIREABLE(t3054) OR FIREABLE(t3053) OR FIREABLE(t3052) OR FIREABLE(t3051) OR FIREABLE(t3050) OR FIREABLE(t3049) OR FIREABLE(t3048) OR FIREABLE(t3047) OR FIREABLE(t3046) OR FIREABLE(t3045) OR FIREABLE(t3044) OR FIREABLE(t3043) OR FIREABLE(t3042) OR FIREABLE(t3041) OR FIREABLE(t3040) OR FIREABLE(t3039) OR FIREABLE(t3038) OR FIREABLE(t3037) OR FIREABLE(t3036) OR FIREABLE(t3035) OR FIREABLE(t3034) OR FIREABLE(t3033) OR FIREABLE(t3032) OR FIREABLE(t3031) OR FIREABLE(t3030) OR FIREABLE(t3029) OR FIREABLE(t3028) OR FIREABLE(t3027) OR FIREABLE(t3026) OR FIREABLE(t3025) OR FIREABLE(t3024) OR FIREABLE(t3023) OR FIREABLE(t3022) OR FIREABLE(t3021) OR FIREABLE(t3020) OR FIREABLE(t3019) OR FIREABLE(t3018) OR FIREABLE(t3017) OR FIREABLE(t3016) OR FIREABLE(t3015) OR FIREABLE(t3014) OR FIREABLE(t3013) OR FIREABLE(t3012) OR FIREABLE(t3011) OR FIREABLE(t3010) OR FIREABLE(t3009) OR FIREABLE(t3008) OR FIREABLE(t3007) OR FIREABLE(t3006) OR FIREABLE(t3005) OR FIREABLE(t3004) OR FIREABLE(t3003) OR FIREABLE(t3002) OR FIREABLE(t3001) OR FIREABLE(t3000) OR FIREABLE(t2999) OR FIREABLE(t2998) OR FIREABLE(t2997) OR FIREABLE(t2996) OR FIREABLE(t2995) OR FIREABLE(t2994) OR FIREABLE(t2993) OR FIREABLE(t2992) OR FIREABLE(t2991) OR FIREABLE(t2990) OR FIREABLE(t2989) OR FIREABLE(t2988) OR FIREABLE(t2987) OR FIREABLE(t2986) OR FIREABLE(t2985) OR FIREABLE(t2984) OR FIREABLE(t2983) OR FIREABLE(t2982) OR FIREABLE(t2981) OR FIREABLE(t2980) OR FIREABLE(t2979) OR FIREABLE(t2978) OR FIREABLE(t2977) OR FIREABLE(t2976) OR FIREABLE(t2975) OR FIREABLE(t2974) OR FIREABLE(t2973) OR FIREABLE(t2972) OR FIREABLE(t2971) OR FIREABLE(t2970) OR FIREABLE(t2969) OR FIREABLE(t2968) OR FIREABLE(t2967) OR FIREABLE(t2966) OR FIREABLE(t2965) OR FIREABLE(t2964) OR FIREABLE(t2963) OR FIREABLE(t2962) OR FIREABLE(t2961) OR FIREABLE(t2960) OR FIREABLE(t2959) OR FIREABLE(t2958) OR FIREABLE(t2957) OR FIREABLE(t2956) OR FIREABLE(t2955) OR FIREABLE(t2954) OR FIREABLE(t2953) OR FIREABLE(t2952) OR FIREABLE(t2951) OR FIREABLE(t2950) OR FIREABLE(t2949) OR FIREABLE(t2948) OR FIREABLE(t2947) OR FIREABLE(t2946) OR FIREABLE(t2945) OR FIREABLE(t2944) OR FIREABLE(t2943) OR FIREABLE(t2942) OR FIREABLE(t2941) OR FIREABLE(t2940) OR FIREABLE(t2939) OR FIREABLE(t2938) OR FIREABLE(t2937) OR FIREABLE(t2936) OR FIREABLE(t2935) OR FIREABLE(t2934) OR FIREABLE(t2933) OR FIREABLE(t2932) OR FIREABLE(t2931) OR FIREABLE(t2930) OR FIREABLE(t2929) OR FIREABLE(t2928) OR FIREABLE(t2927) OR FIREABLE(t2926) OR FIREABLE(t2925) OR FIREABLE(t2924) OR FIREABLE(t2923) OR FIREABLE(t2922) OR FIREABLE(t2921) OR FIREABLE(t2920) OR FIREABLE(t2919) OR FIREABLE(t2918) OR FIREABLE(t2917) OR FIREABLE(t2916) OR FIREABLE(t2915) OR FIREABLE(t2914) OR FIREABLE(t2913) OR FIREABLE(t2912) OR FIREABLE(t2911) OR FIREABLE(t2910) OR FIREABLE(t2909) OR FIREABLE(t2908) OR FIREABLE(t2907) OR FIREABLE(t2906) OR FIREABLE(t2905) OR FIREABLE(t2904) OR FIREABLE(t2903) OR FIREABLE(t2902) OR FIREABLE(t2901) OR FIREABLE(t2900) OR FIREABLE(t2899) OR FIREABLE(t2898) OR FIREABLE(t2897) OR FIREABLE(t2896) OR FIREABLE(t2895) OR FIREABLE(t2894) OR FIREABLE(t2893) OR FIREABLE(t2892) OR FIREABLE(t2891) OR FIREABLE(t2890) OR FIREABLE(t2889) OR FIREABLE(t2888) OR FIREABLE(t2887) OR FIREABLE(t2886) OR FIREABLE(t2885) OR FIREABLE(t2884) OR FIREABLE(t2883) OR FIREABLE(t2882) OR FIREABLE(t2881) OR FIREABLE(t2880) OR FIREABLE(t2879) OR FIREABLE(t2878) OR FIREABLE(t2877) OR FIREABLE(t2876) OR FIREABLE(t2875) OR FIREABLE(t2874) OR FIREABLE(t2873) OR FIREABLE(t2872) OR FIREABLE(t2871) OR FIREABLE(t2870) OR FIREABLE(t2869) OR FIREABLE(t2868) OR FIREABLE(t2867) OR FIREABLE(t2866) OR FIREABLE(t2865) OR FIREABLE(t2864) OR FIREABLE(t2863) OR FIREABLE(t2862) OR FIREABLE(t2861) OR FIREABLE(t2860) OR FIREABLE(t2859) OR FIREABLE(t2858) OR FIREABLE(t2857) OR FIREABLE(t2856) OR FIREABLE(t2855) OR FIREABLE(t2854) OR FIREABLE(t2853) OR FIREABLE(t2852) OR FIREABLE(t2851) OR FIREABLE(t2850) OR FIREABLE(t2849) OR FIREABLE(t2848) OR FIREABLE(t2847) OR FIREABLE(t2846) OR FIREABLE(t2845) OR FIREABLE(t2844) OR FIREABLE(t2843) OR FIREABLE(t2842) OR FIREABLE(t2841) OR FIREABLE(t2840) OR FIREABLE(t2839) OR FIREABLE(t2838) OR FIREABLE(t2837) OR FIREABLE(t2836) OR FIREABLE(t2835) OR FIREABLE(t2834) OR FIREABLE(t2833) OR FIREABLE(t2832) OR FIREABLE(t2831) OR FIREABLE(t2830) OR FIREABLE(t2829) OR FIREABLE(t2828) OR FIREABLE(t2827) OR FIREABLE(t2826) OR FIREABLE(t2825) OR FIREABLE(t2824) OR FIREABLE(t2823) OR FIREABLE(t2822) OR FIREABLE(t2821) OR FIREABLE(t2820) OR FIREABLE(t2819) OR FIREABLE(t2818) OR FIREABLE(t2817) OR FIREABLE(t2816) OR FIREABLE(t2815) OR FIREABLE(t2814) OR FIREABLE(t2813) OR FIREABLE(t2812) OR FIREABLE(t2811) OR FIREABLE(t2810) OR FIREABLE(t2809) OR FIREABLE(t2808) OR FIREABLE(t2807) OR FIREABLE(t2806) OR FIREABLE(t2805) OR FIREABLE(t2804) OR FIREABLE(t2803) OR FIREABLE(t2802) OR FIREABLE(t2801) OR FIREABLE(t2800) OR FIREABLE(t2799) OR FIREABLE(t2798) OR FIREABLE(t2797) OR FIREABLE(t2796) OR FIREABLE(t2795) OR FIREABLE(t2794) OR FIREABLE(t2793) OR FIREABLE(t2792) OR FIREABLE(t2791) OR FIREABLE(t2790) OR FIREABLE(t2789) OR FIREABLE(t2788) OR FIREABLE(t2787) OR FIREABLE(t2786) OR FIREABLE(t2785) OR FIREABLE(t2784) OR FIREABLE(t2783) OR FIREABLE(t2782) OR FIREABLE(t2781) OR FIREABLE(t2780) OR FIREABLE(t2779) OR FIREABLE(t2778) OR FIREABLE(t2777) OR FIREABLE(t2776) OR FIREABLE(t2775) OR FIREABLE(t2774) OR FIREABLE(t2773) OR FIREABLE(t2772) OR FIREABLE(t2771) OR FIREABLE(t2770) OR FIREABLE(t2769) OR FIREABLE(t2768) OR FIREABLE(t2767) OR FIREABLE(t2766) OR FIREABLE(t2765) OR FIREABLE(t2764) OR FIREABLE(t2763) OR FIREABLE(t2762) OR FIREABLE(t2761) OR FIREABLE(t2760) OR FIREABLE(t2759) OR FIREABLE(t2758) OR FIREABLE(t2757) OR FIREABLE(t2756) OR FIREABLE(t2755) OR FIREABLE(t2754) OR FIREABLE(t2753) OR FIREABLE(t2752) OR FIREABLE(t2751) OR FIREABLE(t2750) OR FIREABLE(t2749) OR FIREABLE(t2748) OR FIREABLE(t2747) OR FIREABLE(t2746) OR FIREABLE(t2745) OR FIREABLE(t2744) OR FIREABLE(t2743) OR FIREABLE(t2742) OR FIREABLE(t2741) OR FIREABLE(t2740) OR FIREABLE(t2739) OR FIREABLE(t2738) OR FIREABLE(t2737) OR FIREABLE(t2736) OR FIREABLE(t2735) OR FIREABLE(t2734) OR FIREABLE(t2733) OR FIREABLE(t2732) OR FIREABLE(t2731) OR FIREABLE(t2730) OR FIREABLE(t2729) OR FIREABLE(t2728) OR FIREABLE(t2727) OR FIREABLE(t2726) OR FIREABLE(t2725) OR FIREABLE(t2724) OR FIREABLE(t2723) OR FIREABLE(t2722) OR FIREABLE(t2721) OR FIREABLE(t2720) OR FIREABLE(t2719) OR FIREABLE(t2718) OR FIREABLE(t2717) OR FIREABLE(t2716) OR FIREABLE(t2715) OR FIREABLE(t2714) OR FIREABLE(t2713) OR FIREABLE(t2712) OR FIREABLE(t2711) OR FIREABLE(t2710) OR FIREABLE(t2709) OR FIREABLE(t2708) OR FIREABLE(t2707) OR FIREABLE(t2706) OR FIREABLE(t2705) OR FIREABLE(t2704) OR FIREABLE(t2703) OR FIREABLE(t2702) OR FIREABLE(t2701) OR FIREABLE(t2700) OR FIREABLE(t2699) OR FIREABLE(t2698) OR FIREABLE(t2697) OR FIREABLE(t2696) OR FIREABLE(t2695) OR FIREABLE(t2694) OR FIREABLE(t2693) OR FIREABLE(t2692) OR FIREABLE(t2691) OR FIREABLE(t2690) OR FIREABLE(t2689) OR FIREABLE(t2688) OR FIREABLE(t2687) OR FIREABLE(t2686) OR FIREABLE(t2685) OR FIREABLE(t2684) OR FIREABLE(t2683) OR FIREABLE(t2682) OR FIREABLE(t2681) OR FIREABLE(t2680) OR FIREABLE(t2679) OR FIREABLE(t2678) OR FIREABLE(t2677) OR FIREABLE(t2676) OR FIREABLE(t2675) OR FIREABLE(t2674) OR FIREABLE(t2673) OR FIREABLE(t2672) OR FIREABLE(t2671) OR FIREABLE(t2670) OR FIREABLE(t2669) OR FIREABLE(t2668) OR FIREABLE(t2667) OR FIREABLE(t2666) OR FIREABLE(t2665) OR FIREABLE(t2664) OR FIREABLE(t2663) OR FIREABLE(t2662) OR FIREABLE(t2661) OR FIREABLE(t2660) OR FIREABLE(t2659) OR FIREABLE(t2658) OR FIREABLE(t2657) OR FIREABLE(t2656) OR FIREABLE(t2655) OR FIREABLE(t2654) OR FIREABLE(t2653) OR FIREABLE(t2652) OR FIREABLE(t2651) OR FIREABLE(t2650) OR FIREABLE(t2649) OR FIREABLE(t2648) OR FIREABLE(t2647) OR FIREABLE(t2646) OR FIREABLE(t2645) OR FIREABLE(t2644) OR FIREABLE(t2643) OR FIREABLE(t2642) OR FIREABLE(t2641) OR FIREABLE(t2640) OR FIREABLE(t2639) OR FIREABLE(t2638) OR FIREABLE(t2637) OR FIREABLE(t2636) OR FIREABLE(t2635) OR FIREABLE(t2634) OR FIREABLE(t2633) OR FIREABLE(t2632) OR FIREABLE(t2631) OR FIREABLE(t2630) OR FIREABLE(t2629) OR FIREABLE(t2628) OR FIREABLE(t2627) OR FIREABLE(t2626) OR FIREABLE(t2625) OR FIREABLE(t2624) OR FIREABLE(t2623) OR FIREABLE(t2622) OR FIREABLE(t2621) OR FIREABLE(t2620) OR FIREABLE(t2619) OR FIREABLE(t2618) OR FIREABLE(t2617) OR FIREABLE(t2616) OR FIREABLE(t2615) OR FIREABLE(t2614) OR FIREABLE(t2613) OR FIREABLE(t2612) OR FIREABLE(t2611) OR FIREABLE(t2610) OR FIREABLE(t2609) OR FIREABLE(t2608) OR FIREABLE(t2607) OR FIREABLE(t2606) OR FIREABLE(t2605) OR FIREABLE(t2604) OR FIREABLE(t2603) OR FIREABLE(t2602) OR FIREABLE(t2601) OR FIREABLE(t2600) OR FIREABLE(t2599) OR FIREABLE(t2598) OR FIREABLE(t2597) OR FIREABLE(t2596) OR FIREABLE(t2595) OR FIREABLE(t2594) OR FIREABLE(t2593) OR FIREABLE(t2592) OR FIREABLE(t2591) OR FIREABLE(t2590) OR FIREABLE(t2589) OR FIREABLE(t2588) OR FIREABLE(t2587) OR FIREABLE(t2586) OR FIREABLE(t2585) OR FIREABLE(t2584) OR FIREABLE(t2583) OR FIREABLE(t2582) OR FIREABLE(t2581) OR FIREABLE(t2580) OR FIREABLE(t2579) OR FIREABLE(t2578) OR FIREABLE(t2577) OR FIREABLE(t2576) OR FIREABLE(t2575) OR FIREABLE(t2574) OR FIREABLE(t2573) OR FIREABLE(t2572) OR FIREABLE(t2571) OR FIREABLE(t2570) OR FIREABLE(t2569) OR FIREABLE(t2568) OR FIREABLE(t2567) OR FIREABLE(t2566) OR FIREABLE(t2565) OR FIREABLE(t2564) OR FIREABLE(t2563) OR FIREABLE(t2562) OR FIREABLE(t2561) OR FIREABLE(t2560) OR FIREABLE(t2559) OR FIREABLE(t2558) OR FIREABLE(t2557) OR FIREABLE(t2556) OR FIREABLE(t2555) OR FIREABLE(t2554) OR FIREABLE(t2553) OR FIREABLE(t2552) OR FIREABLE(t2551) OR FIREABLE(t2550) OR FIREABLE(t2549) OR FIREABLE(t2548) OR FIREABLE(t2547) OR FIREABLE(t2546) OR FIREABLE(t2545) OR FIREABLE(t2544) OR FIREABLE(t2543) OR FIREABLE(t2542) OR FIREABLE(t2541) OR FIREABLE(t2540) OR FIREABLE(t2539) OR FIREABLE(t2538) OR FIREABLE(t2537) OR FIREABLE(t2536) OR FIREABLE(t2535) OR FIREABLE(t2534) OR FIREABLE(t2533) OR FIREABLE(t2532) OR FIREABLE(t2531) OR FIREABLE(t2530) OR FIREABLE(t2529) OR FIREABLE(t2528) OR FIREABLE(t2527) OR FIREABLE(t2526) OR FIREABLE(t2525) OR FIREABLE(t2524) OR FIREABLE(t2523) OR FIREABLE(t2522) OR FIREABLE(t2521) OR FIREABLE(t2520) OR FIREABLE(t2519) OR FIREABLE(t2518) OR FIREABLE(t2517) OR FIREABLE(t2516) OR FIREABLE(t2515) OR FIREABLE(t2514) OR FIREABLE(t2513) OR FIREABLE(t2512) OR FIREABLE(t2511) OR FIREABLE(t2510) OR FIREABLE(t2509) OR FIREABLE(t2508) OR FIREABLE(t2507) OR FIREABLE(t2506) OR FIREABLE(t2505) OR FIREABLE(t2504) OR FIREABLE(t2503) OR FIREABLE(t2502) OR FIREABLE(t2501) OR FIREABLE(t2500) OR FIREABLE(t2499) OR FIREABLE(t2498) OR FIREABLE(t2497) OR FIREABLE(t2496) OR FIREABLE(t2495) OR FIREABLE(t2494) OR FIREABLE(t2493) OR FIREABLE(t2492) OR FIREABLE(t2491) OR FIREABLE(t2490) OR FIREABLE(t2489) OR FIREABLE(t2488) OR FIREABLE(t2487) OR FIREABLE(t2486) OR FIREABLE(t2485) OR FIREABLE(t2484) OR FIREABLE(t2483) OR FIREABLE(t2482) OR FIREABLE(t2481) OR FIREABLE(t2480) OR FIREABLE(t2479) OR FIREABLE(t2478) OR FIREABLE(t2477) OR FIREABLE(t2476) OR FIREABLE(t2475) OR FIREABLE(t2474) OR FIREABLE(t2473) OR FIREABLE(t2472) OR FIREABLE(t2471) OR FIREABLE(t2470) OR FIREABLE(t2469) OR FIREABLE(t2468) OR FIREABLE(t2467) OR FIREABLE(t2466) OR FIREABLE(t2465) OR FIREABLE(t2464) OR FIREABLE(t2463) OR FIREABLE(t2462) OR FIREABLE(t2461) OR FIREABLE(t2460) OR FIREABLE(t2459) OR FIREABLE(t2458) OR FIREABLE(t2457) OR FIREABLE(t2456) OR FIREABLE(t2455) OR FIREABLE(t2454) OR FIREABLE(t2453) OR FIREABLE(t2452) OR FIREABLE(t2451) OR FIREABLE(t2450) OR FIREABLE(t2449) OR FIREABLE(t2448) OR FIREABLE(t2447) OR FIREABLE(t2446) OR FIREABLE(t2445) OR FIREABLE(t2444) OR FIREABLE(t2443) OR FIREABLE(t2442) OR FIREABLE(t2441) OR FIREABLE(t2440) OR FIREABLE(t2439) OR FIREABLE(t2438) OR FIREABLE(t2437) OR FIREABLE(t2436) OR FIREABLE(t2435) OR FIREABLE(t2434) OR FIREABLE(t2433) OR FIREABLE(t2432) OR FIREABLE(t2431) OR FIREABLE(t2430) OR FIREABLE(t2429) OR FIREABLE(t2428) OR FIREABLE(t2427) OR FIREABLE(t2426) OR FIREABLE(t2425) OR FIREABLE(t2424) OR FIREABLE(t2423) OR FIREABLE(t2422) OR FIREABLE(t2421) OR FIREABLE(t2420) OR FIREABLE(t2419) OR FIREABLE(t2418) OR FIREABLE(t2417) OR FIREABLE(t2416) OR FIREABLE(t2415) OR FIREABLE(t2414) OR FIREABLE(t2413) OR FIREABLE(t2412) OR FIREABLE(t2411) OR FIREABLE(t2410) OR FIREABLE(t2409) OR FIREABLE(t2408) OR FIREABLE(t2407) OR FIREABLE(t2406) OR FIREABLE(t2405) OR FIREABLE(t2404) OR FIREABLE(t2403) OR FIREABLE(t2402) OR FIREABLE(t2401) OR FIREABLE(t2400) OR FIREABLE(t2399) OR FIREABLE(t2398) OR FIREABLE(t2397) OR FIREABLE(t2396) OR FIREABLE(t2395) OR FIREABLE(t2394) OR FIREABLE(t2393) OR FIREABLE(t2392) OR FIREABLE(t2391) OR FIREABLE(t2390) OR FIREABLE(t2389) OR FIREABLE(t2388) OR FIREABLE(t2387) OR FIREABLE(t2386) OR FIREABLE(t2385) OR FIREABLE(t2384) OR FIREABLE(t2383) OR FIREABLE(t2382) OR FIREABLE(t2381) OR FIREABLE(t2380) OR FIREABLE(t2379) OR FIREABLE(t2378) OR FIREABLE(t2377) OR FIREABLE(t2376) OR FIREABLE(t2375) OR FIREABLE(t2374) OR FIREABLE(t2373) OR FIREABLE(t2372) OR FIREABLE(t2371) OR FIREABLE(t2370) OR FIREABLE(t2369) OR FIREABLE(t2368) OR FIREABLE(t2367) OR FIREABLE(t2366) OR FIREABLE(t2365) OR FIREABLE(t2364) OR FIREABLE(t2363) OR FIREABLE(t2362) OR FIREABLE(t2361) OR FIREABLE(t2360) OR FIREABLE(t2359) OR FIREABLE(t2358) OR FIREABLE(t2357) OR FIREABLE(t2356) OR FIREABLE(t2355) OR FIREABLE(t2354) OR FIREABLE(t2353) OR FIREABLE(t2352) OR FIREABLE(t2351) OR FIREABLE(t2350) OR FIREABLE(t2349) OR FIREABLE(t2348) OR FIREABLE(t2347) OR FIREABLE(t2346) OR FIREABLE(t2345) OR FIREABLE(t2344) OR FIREABLE(t2343) OR FIREABLE(t2342) OR FIREABLE(t2341) OR FIREABLE(t2340) OR FIREABLE(t2339) OR FIREABLE(t2338) OR FIREABLE(t2337) OR FIREABLE(t2336) OR FIREABLE(t2335) OR FIREABLE(t2334) OR FIREABLE(t2333) OR FIREABLE(t2332) OR FIREABLE(t2331) OR FIREABLE(t2330) OR FIREABLE(t2329) OR FIREABLE(t2328) OR FIREABLE(t2327) OR FIREABLE(t2326) OR FIREABLE(t2325) OR FIREABLE(t2324) OR FIREABLE(t2323) OR FIREABLE(t2322) OR FIREABLE(t2321) OR FIREABLE(t2320) OR FIREABLE(t2319) OR FIREABLE(t2318) OR FIREABLE(t2317) OR FIREABLE(t2316) OR FIREABLE(t2315) OR FIREABLE(t2314) OR FIREABLE(t2313) OR FIREABLE(t2312) OR FIREABLE(t2311) OR FIREABLE(t2310) OR FIREABLE(t2309) OR FIREABLE(t2308) OR FIREABLE(t2307) OR FIREABLE(t2306) OR FIREABLE(t2305) OR FIREABLE(t2304) OR FIREABLE(t2303) OR FIREABLE(t2302) OR FIREABLE(t2301) OR FIREABLE(t2300) OR FIREABLE(t2299) OR FIREABLE(t2298) OR FIREABLE(t2297) OR FIREABLE(t2296) OR FIREABLE(t2295) OR FIREABLE(t2294) OR FIREABLE(t2293) OR FIREABLE(t2292) OR FIREABLE(t2291) OR FIREABLE(t2290) OR FIREABLE(t2289) OR FIREABLE(t2288) OR FIREABLE(t2287) OR FIREABLE(t2286) OR FIREABLE(t2285) OR FIREABLE(t2284) OR FIREABLE(t2283) OR FIREABLE(t2282) OR FIREABLE(t2281) OR FIREABLE(t2280) OR FIREABLE(t2279) OR FIREABLE(t2278) OR FIREABLE(t2277) OR FIREABLE(t2276) OR FIREABLE(t2275) OR FIREABLE(t2274) OR FIREABLE(t2273) OR FIREABLE(t2272) OR FIREABLE(t2271) OR FIREABLE(t2270) OR FIREABLE(t2269) OR FIREABLE(t2268) OR FIREABLE(t2267) OR FIREABLE(t2266) OR FIREABLE(t2265) OR FIREABLE(t2264) OR FIREABLE(t2263) OR FIREABLE(t2262) OR FIREABLE(t2261) OR FIREABLE(t2260) OR FIREABLE(t2259) OR FIREABLE(t2258) OR FIREABLE(t2257) OR FIREABLE(t2256) OR FIREABLE(t2255) OR FIREABLE(t2254) OR FIREABLE(t2253) OR FIREABLE(t2252) OR FIREABLE(t2251) OR FIREABLE(t2250) OR FIREABLE(t2249) OR FIREABLE(t2248) OR FIREABLE(t2247) OR FIREABLE(t2246) OR FIREABLE(t2245) OR FIREABLE(t2244) OR FIREABLE(t2243) OR FIREABLE(t2242) OR FIREABLE(t2241) OR FIREABLE(t2240) OR FIREABLE(t2239) OR FIREABLE(t2238) OR FIREABLE(t2237) OR FIREABLE(t2236) OR FIREABLE(t2235) OR FIREABLE(t2234) OR FIREABLE(t2233) OR FIREABLE(t2232) OR FIREABLE(t2231) OR FIREABLE(t2230) OR FIREABLE(t2229) OR FIREABLE(t2228) OR FIREABLE(t2227) OR FIREABLE(t2226) OR FIREABLE(t2225) OR FIREABLE(t2224) OR FIREABLE(t2223) OR FIREABLE(t2222) OR FIREABLE(t2221) OR FIREABLE(t2220) OR FIREABLE(t2219) OR FIREABLE(t2218) OR FIREABLE(t2217) OR FIREABLE(t2216) OR FIREABLE(t2215) OR FIREABLE(t2214) OR FIREABLE(t2213) OR FIREABLE(t2212) OR FIREABLE(t2211) OR FIREABLE(t2210) OR FIREABLE(t2209) OR FIREABLE(t2208) OR FIREABLE(t2207) OR FIREABLE(t2206) OR FIREABLE(t2205) OR FIREABLE(t2204) OR FIREABLE(t2203) OR FIREABLE(t2202) OR FIREABLE(t2201) OR FIREABLE(t2200) OR FIREABLE(t2199) OR FIREABLE(t2198) OR FIREABLE(t2197) OR FIREABLE(t2196) OR FIREABLE(t2195) OR FIREABLE(t2194) OR FIREABLE(t2193) OR FIREABLE(t2192) OR FIREABLE(t2191) OR FIREABLE(t2190) OR FIREABLE(t2189) OR FIREABLE(t2188) OR FIREABLE(t2187) OR FIREABLE(t2186) OR FIREABLE(t2185) OR FIREABLE(t2184) OR FIREABLE(t2183) OR FIREABLE(t2182) OR FIREABLE(t2181) OR FIREABLE(t2180) OR FIREABLE(t2179) OR FIREABLE(t2178) OR FIREABLE(t2177) OR FIREABLE(t2176) OR FIREABLE(t2175) OR FIREABLE(t2174) OR FIREABLE(t2173) OR FIREABLE(t2172) OR FIREABLE(t2171) OR FIREABLE(t2170) OR FIREABLE(t2169) OR FIREABLE(t2168) OR FIREABLE(t2167) OR FIREABLE(t2166) OR FIREABLE(t2165) OR FIREABLE(t2164) OR FIREABLE(t2163) OR FIREABLE(t2162) OR FIREABLE(t2161) OR FIREABLE(t2160) OR FIREABLE(t2159) OR FIREABLE(t2158) OR FIREABLE(t2157) OR FIREABLE(t2156) OR FIREABLE(t2155) OR FIREABLE(t2154) OR FIREABLE(t2153) OR FIREABLE(t2152) OR FIREABLE(t2151) OR FIREABLE(t2150) OR FIREABLE(t2149) OR FIREABLE(t2148) OR FIREABLE(t2147) OR FIREABLE(t2146) OR FIREABLE(t2145) OR FIREABLE(t2144) OR FIREABLE(t2143) OR FIREABLE(t2142) OR FIREABLE(t2141) OR FIREABLE(t2140) OR FIREABLE(t2139) OR FIREABLE(t2138) OR FIREABLE(t2137) OR FIREABLE(t2136) OR FIREABLE(t2135) OR FIREABLE(t2134) OR FIREABLE(t2133) OR FIREABLE(t2132) OR FIREABLE(t2131) OR FIREABLE(t2130) OR FIREABLE(t2129) OR FIREABLE(t2128) OR FIREABLE(t2127) OR FIREABLE(t2126) OR FIREABLE(t2125) OR FIREABLE(t2124) OR FIREABLE(t2123) OR FIREABLE(t2122) OR FIREABLE(t2121) OR FIREABLE(t2120) OR FIREABLE(t2119) OR FIREABLE(t2118) OR FIREABLE(t2117) OR FIREABLE(t2116) OR FIREABLE(t2115) OR FIREABLE(t2114) OR FIREABLE(t2113) OR FIREABLE(t2112) OR FIREABLE(t2111) OR FIREABLE(t2110) OR FIREABLE(t2109) OR FIREABLE(t2108) OR FIREABLE(t2107) OR FIREABLE(t2106) OR FIREABLE(t2105) OR FIREABLE(t2104) OR FIREABLE(t2103) OR FIREABLE(t2102) OR FIREABLE(t2101) OR FIREABLE(t2100) OR FIREABLE(t2099) OR FIREABLE(t2098) OR FIREABLE(t2097) OR FIREABLE(t2096) OR FIREABLE(t2095) OR FIREABLE(t2094) OR FIREABLE(t2093) OR FIREABLE(t2092) OR FIREABLE(t2091) OR FIREABLE(t2090) OR FIREABLE(t2089) OR FIREABLE(t2088) OR FIREABLE(t2087) OR FIREABLE(t2086) OR FIREABLE(t2085) OR FIREABLE(t2084) OR FIREABLE(t2083) OR FIREABLE(t2082) OR FIREABLE(t2081) OR FIREABLE(t2080) OR FIREABLE(t2079) OR FIREABLE(t2078) OR FIREABLE(t2077) OR FIREABLE(t2076) OR FIREABLE(t2075) OR FIREABLE(t2074) OR FIREABLE(t2073) OR FIREABLE(t2072) OR FIREABLE(t2071) OR FIREABLE(t2070) OR FIREABLE(t2069) OR FIREABLE(t2068) OR FIREABLE(t2067) OR FIREABLE(t2066) OR FIREABLE(t2065) OR FIREABLE(t2064) OR FIREABLE(t2063) OR FIREABLE(t2062) OR FIREABLE(t2061) OR FIREABLE(t2060) OR FIREABLE(t2059) OR FIREABLE(t2058) OR FIREABLE(t2057) OR FIREABLE(t2056) OR FIREABLE(t2055) OR FIREABLE(t2054) OR FIREABLE(t2053) OR FIREABLE(t2052) OR FIREABLE(t2051) OR FIREABLE(t2050) OR FIREABLE(t2049) OR FIREABLE(t2048) OR FIREABLE(t2047) OR FIREABLE(t2046) OR FIREABLE(t2045) OR FIREABLE(t2044) OR FIREABLE(t2043) OR FIREABLE(t2042) OR FIREABLE(t2041) OR FIREABLE(t2040) OR FIREABLE(t2039) OR FIREABLE(t2038) OR FIREABLE(t2037) OR FIREABLE(t2036) OR FIREABLE(t2035) OR FIREABLE(t2034) OR FIREABLE(t2033) OR FIREABLE(t2032) OR FIREABLE(t2031) OR FIREABLE(t2030) OR FIREABLE(t2029) OR FIREABLE(t2028) OR FIREABLE(t2027) OR FIREABLE(t2026) OR FIREABLE(t2025) OR FIREABLE(t2024) OR FIREABLE(t2023) OR FIREABLE(t2022) OR FIREABLE(t2021) OR FIREABLE(t2020) OR FIREABLE(t2019) OR FIREABLE(t2018) OR FIREABLE(t2017) OR FIREABLE(t2016) OR FIREABLE(t2015) OR FIREABLE(t2014) OR FIREABLE(t2013) OR FIREABLE(t2012) OR FIREABLE(t2011) OR FIREABLE(t2010) OR FIREABLE(t2009) OR FIREABLE(t2008) OR FIREABLE(t2007) OR FIREABLE(t2006) OR FIREABLE(t2005) OR FIREABLE(t2004) OR FIREABLE(t2003) OR FIREABLE(t2002) OR FIREABLE(t2001) OR FIREABLE(t2000) OR FIREABLE(t1999) OR FIREABLE(t1998) OR FIREABLE(t1997) OR FIREABLE(t1996) OR FIREABLE(t1995) OR FIREABLE(t1994) OR FIREABLE(t1993) OR FIREABLE(t1992) OR FIREABLE(t1991) OR FIREABLE(t1990) OR FIREABLE(t1989) OR FIREABLE(t1988) OR FIREABLE(t1987) OR FIREABLE(t1986) OR FIREABLE(t1985) OR FIREABLE(t1984) OR FIREABLE(t1983) OR FIREABLE(t1982) OR FIREABLE(t1981) OR FIREABLE(t1980) OR FIREABLE(t1979) OR FIREABLE(t1978) OR FIREABLE(t1977) OR FIREABLE(t1976) OR FIREABLE(t1975) OR FIREABLE(t1974) OR FIREABLE(t1973) OR FIREABLE(t1972) OR FIREABLE(t1971) OR FIREABLE(t1970) OR FIREABLE(t1969) OR FIREABLE(t1968) OR FIREABLE(t1967) OR FIREABLE(t1966) OR FIREABLE(t1965) OR FIREABLE(t1964) OR FIREABLE(t1963) OR FIREABLE(t1962) OR FIREABLE(t1961) OR FIREABLE(t1960) OR FIREABLE(t1959) OR FIREABLE(t1958) OR FIREABLE(t1957) OR FIREABLE(t1956) OR FIREABLE(t1955) OR FIREABLE(t1954) OR FIREABLE(t1953) OR FIREABLE(t1952) OR FIREABLE(t1951) OR FIREABLE(t1950) OR FIREABLE(t1949) OR FIREABLE(t1948) OR FIREABLE(t1947) OR FIREABLE(t1946) OR FIREABLE(t1945) OR FIREABLE(t1944) OR FIREABLE(t1943) OR FIREABLE(t1942) OR FIREABLE(t1941) OR FIREABLE(t1940) OR FIREABLE(t1939) OR FIREABLE(t1938) OR FIREABLE(t1937) OR FIREABLE(t1936) OR FIREABLE(t1935) OR FIREABLE(t1934) OR FIREABLE(t1933) OR FIREABLE(t1932) OR FIREABLE(t1931) OR FIREABLE(t1930) OR FIREABLE(t1929) OR FIREABLE(t1928) OR FIREABLE(t1927) OR FIREABLE(t1926) OR FIREABLE(t1925) OR FIREABLE(t1924)))))) : A ((FIREABLE(t3725) OR FIREABLE(t3724) OR FIREABLE(t3723) OR FIREABLE(t3722) OR FIREABLE(t3721) OR FIREABLE(t3720) OR FIREABLE(t3719) OR FIREABLE(t3718) OR FIREABLE(t3717) OR FIREABLE(t3716) OR FIREABLE(t3715) OR FIREABLE(t3714) OR FIREABLE(t3713) OR FIREABLE(t3712) OR FIREABLE(t3711) OR FIREABLE(t3710) OR FIREABLE(t3709) OR FIREABLE(t3708) OR FIREABLE(t3707) OR FIREABLE(t3706) OR FIREABLE(t3705) OR FIREABLE(t3704) OR FIREABLE(t3703) OR FIREABLE(t3702) OR FIREABLE(t3701) OR FIREABLE(t3700) OR FIREABLE(t3699) OR FIREABLE(t3698) OR FIREABLE(t3697) OR FIREABLE(t3696) OR FIREABLE(t3695) OR FIREABLE(t3694) OR FIREABLE(t3693) OR FIREABLE(t3692) OR FIREABLE(t3691) OR FIREABLE(t3690) OR FIREABLE(t3689) OR FIREABLE(t3688) OR FIREABLE(t3687) OR FIREABLE(t3686))) : A (G ((F (X ((FIREABLE(t3685) OR FIREABLE(t3684) OR FIREABLE(t3683) OR FIREABLE(t3682) OR FIREABLE(t3681) OR FIREABLE(t3680) OR FIREABLE(t3679) OR FIREABLE(t3678) OR FIREABLE(t3677) OR FIREABLE(t3676) OR FIREABLE(t3675) OR FIREABLE(t3674) OR FIREABLE(t3673) OR FIREABLE(t3672) OR FIREABLE(t3671) OR FIREABLE(t3670) OR FIREABLE(t3669) OR FIREABLE(t3668) OR FIREABLE(t3667) OR FIREABLE(t3666) OR FIREABLE(t3665) OR FIREABLE(t3664) OR FIREABLE(t3663) OR FIREABLE(t3662) OR FIREABLE(t3661) OR FIREABLE(t3660) OR FIREABLE(t3659) OR FIREABLE(t3658) OR FIREABLE(t3657) OR FIREABLE(t3656) OR FIREABLE(t3655) OR FIREABLE(t3654) OR FIREABLE(t3653) OR FIREABLE(t3652) OR FIREABLE(t3651) OR FIREABLE(t3650) OR FIREABLE(t3649) OR FIREABLE(t3648) OR FIREABLE(t3647) OR FIREABLE(t3646) OR FIREABLE(t3645) OR FIREABLE(t3644) OR FIREABLE(t3643) OR FIREABLE(t3642) OR FIREABLE(t3641) OR FIREABLE(t3640) OR FIREABLE(t3639) OR FIREABLE(t3638) OR FIREABLE(t3637) OR FIREABLE(t3636) OR FIREABLE(t3635) OR FIREABLE(t3634) OR FIREABLE(t3633) OR FIREABLE(t3632) OR FIREABLE(t3631) OR FIREABLE(t3630) OR FIREABLE(t3629) OR FIREABLE(t3628) OR FIREABLE(t3627) OR FIREABLE(t3626) OR FIREABLE(t3625) OR FIREABLE(t3624) OR FIREABLE(t3623) OR FIREABLE(t3622) OR FIREABLE(t3621) OR FIREABLE(t3620) OR FIREABLE(t3619) OR FIREABLE(t3618) OR FIREABLE(t3617) OR FIREABLE(t3616) OR FIREABLE(t3615) OR FIREABLE(t3614) OR FIREABLE(t3613) OR FIREABLE(t3612) OR FIREABLE(t3611) OR FIREABLE(t3610) OR FIREABLE(t3609) OR FIREABLE(t3608) OR FIREABLE(t3607) OR FIREABLE(t3606) OR FIREABLE(t3605)))) U G (F ((FIREABLE(t1920) OR FIREABLE(t1919) OR FIREABLE(t1918) OR FIREABLE(t1917) OR FIREABLE(t1916) OR FIREABLE(t1915) OR FIREABLE(t1914) OR FIREABLE(t1913) OR FIREABLE(t1912) OR FIREABLE(t1911) OR FIREABLE(t1910) OR FIREABLE(t1909) OR FIREABLE(t1908) OR FIREABLE(t1907) OR FIREABLE(t1906) OR FIREABLE(t1905) OR FIREABLE(t1904) OR FIREABLE(t1903) OR FIREABLE(t1902) OR FIREABLE(t1901) OR FIREABLE(t1900) OR FIREABLE(t1899) OR FIREABLE(t1898) OR FIREABLE(t1897) OR FIREABLE(t1896) OR FIREABLE(t1895) OR FIREABLE(t1894) OR FIREABLE(t1893) OR FIREABLE(t1892) OR FIREABLE(t1891) OR FIREABLE(t1890) OR FIREABLE(t1889) OR FIREABLE(t1888) OR FIREABLE(t1887) OR FIREABLE(t1886) OR FIREABLE(t1885) OR FIREABLE(t1884) OR FIREABLE(t1883) OR FIREABLE(t1882) OR FIREABLE(t1881) OR FIREABLE(t1880) OR FIREABLE(t1879) OR FIREABLE(t1878) OR FIREABLE(t1877) OR FIREABLE(t1876) OR FIREABLE(t1875) OR FIREABLE(t1874) OR FIREABLE(t1873) OR FIREABLE(t1872) OR FIREABLE(t1871) OR FIREABLE(t1870) OR FIREABLE(t1869) OR FIREABLE(t1868) OR FIREABLE(t1867) OR FIREABLE(t1866) OR FIREABLE(t1865) OR FIREABLE(t1864) OR FIREABLE(t1863) OR FIREABLE(t1862) OR FIREABLE(t1861) OR FIREABLE(t1860) OR FIREABLE(t1859) OR FIREABLE(t1858) OR FIREABLE(t1857) OR FIREABLE(t1856) OR FIREABLE(t1855) OR FIREABLE(t1854) OR FIREABLE(t1853) OR FIREABLE(t1852) OR FIREABLE(t1851) OR FIREABLE(t1850) OR FIREABLE(t1849) OR FIREABLE(t1848) OR FIREABLE(t1847) OR FIREABLE(t1846) OR FIREABLE(t1845) OR FIREABLE(t1844) OR FIREABLE(t1843) OR FIREABLE(t1842) OR FIREABLE(t1841))))))) : A ((FIREABLE(t3727) OR FIREABLE(t3726))) : A (F (G ((FIREABLE(t1920) OR FIREABLE(t1919) OR FIREABLE(t1918) OR FIREABLE(t1917) OR FIREABLE(t1916) OR FIREABLE(t1915) OR FIREABLE(t1914) OR FIREABLE(t1913) OR FIREABLE(t1912) OR FIREABLE(t1911) OR FIREABLE(t1910) OR FIREABLE(t1909) OR FIREABLE(t1908) OR FIREABLE(t1907) OR FIREABLE(t1906) OR FIREABLE(t1905) OR FIREABLE(t1904) OR FIREABLE(t1903) OR FIREABLE(t1902) OR FIREABLE(t1901) OR FIREABLE(t1900) OR FIREABLE(t1899) OR FIREABLE(t1898) OR FIREABLE(t1897) OR FIREABLE(t1896) OR FIREABLE(t1895) OR FIREABLE(t1894) OR FIREABLE(t1893) OR FIREABLE(t1892) OR FIREABLE(t1891) OR FIREABLE(t1890) OR FIREABLE(t1889) OR FIREABLE(t1888) OR FIREABLE(t1887) OR FIREABLE(t1886) OR FIREABLE(t1885) OR FIREABLE(t1884) OR FIREABLE(t1883) OR FIREABLE(t1882) OR FIREABLE(t1881) OR FIREABLE(t1880) OR FIREABLE(t1879) OR FIREABLE(t1878) OR FIREABLE(t1877) OR FIREABLE(t1876) OR FIREABLE(t1875) OR FIREABLE(t1874) OR FIREABLE(t1873) OR FIREABLE(t1872) OR FIREABLE(t1871) OR FIREABLE(t1870) OR FIREABLE(t1869) OR FIREABLE(t1868) OR FIREABLE(t1867) OR FIREABLE(t1866) OR FIREABLE(t1865) OR FIREABLE(t1864) OR FIREABLE(t1863) OR FIREABLE(t1862) OR FIREABLE(t1861) OR FIREABLE(t1860) OR FIREABLE(t1859) OR FIREABLE(t1858) OR FIREABLE(t1857) OR FIREABLE(t1856) OR FIREABLE(t1855) OR FIREABLE(t1854) OR FIREABLE(t1853) OR FIREABLE(t1852) OR FIREABLE(t1851) OR FIREABLE(t1850) OR FIREABLE(t1849) OR FIREABLE(t1848) OR FIREABLE(t1847) OR FIREABLE(t1846) OR FIREABLE(t1845) OR FIREABLE(t1844) OR FIREABLE(t1843) OR FIREABLE(t1842) OR FIREABLE(t1841))))) : A (F ((FIREABLE(t1922) OR FIREABLE(t1921)))) : A ((F (X ((FIREABLE(t3725) OR FIREABLE(t3724) OR FIREABLE(t3723) OR FIREABLE(t3722) OR FIREABLE(t3721) OR FIREABLE(t3720) OR FIREABLE(t3719) OR FIREABLE(t3718) OR FIREABLE(t3717) OR FIREABLE(t3716) OR FIREABLE(t3715) OR FIREABLE(t3714) OR FIREABLE(t3713) OR FIREABLE(t3712) OR FIREABLE(t3711) OR FIREABLE(t3710) OR FIREABLE(t3709) OR FIREABLE(t3708) OR FIREABLE(t3707) OR FIREABLE(t3706) OR FIREABLE(t3705) OR FIREABLE(t3704) OR FIREABLE(t3703) OR FIREABLE(t3702) OR FIREABLE(t3701) OR FIREABLE(t3700) OR FIREABLE(t3699) OR FIREABLE(t3698) OR FIREABLE(t3697) OR FIREABLE(t3696) OR FIREABLE(t3695) OR FIREABLE(t3694) OR FIREABLE(t3693) OR FIREABLE(t3692) OR FIREABLE(t3691) OR FIREABLE(t3690) OR FIREABLE(t3689) OR FIREABLE(t3688) OR FIREABLE(t3687) OR FIREABLE(t3686)))) U G (G ((FIREABLE(t3727) OR FIREABLE(t3726)))))) : A ((FIREABLE(t3727) OR FIREABLE(t3726))) : A (X (FIREABLE(t1923))) : A ((G (G (F (FIREABLE(t1923)))) U F (G ((FIREABLE(t3603) OR FIREABLE(t3602) OR FIREABLE(t3601) OR FIREABLE(t3600) OR FIREABLE(t3599) OR FIREABLE(t3598) OR FIREABLE(t3597) OR FIREABLE(t3596) OR FIREABLE(t3595) OR FIREABLE(t3594) OR FIREABLE(t3593) OR FIREABLE(t3592) OR FIREABLE(t3591) OR FIREABLE(t3590) OR FIREABLE(t3589) OR FIREABLE(t3588) OR FIREABLE(t3587) OR FIREABLE(t3586) OR FIREABLE(t3585) OR FIREABLE(t3584) OR FIREABLE(t3583) OR FIREABLE(t3582) OR FIREABLE(t3581) OR FIREABLE(t3580) OR FIREABLE(t3579) OR FIREABLE(t3578) OR FIREABLE(t3577) OR FIREABLE(t3576) OR FIREABLE(t3575) OR FIREABLE(t3574) OR FIREABLE(t3573) OR FIREABLE(t3572) OR FIREABLE(t3571) OR FIREABLE(t3570) OR FIREABLE(t3569) OR FIREABLE(t3568) OR FIREABLE(t3567) OR FIREABLE(t3566) OR FIREABLE(t3565) OR FIREABLE(t3564) OR FIREABLE(t3563) OR FIREABLE(t3562) OR FIREABLE(t3561) OR FIREABLE(t3560) OR FIREABLE(t3559) OR FIREABLE(t3558) OR FIREABLE(t3557) OR FIREABLE(t3556) OR FIREABLE(t3555) OR FIREABLE(t3554) OR FIREABLE(t3553) OR FIREABLE(t3552) OR FIREABLE(t3551) OR FIREABLE(t3550) OR FIREABLE(t3549) OR FIREABLE(t3548) OR FIREABLE(t3547) OR FIREABLE(t3546) OR FIREABLE(t3545) OR FIREABLE(t3544) OR FIREABLE(t3543) OR FIREABLE(t3542) OR FIREABLE(t3541) OR FIREABLE(t3540) OR FIREABLE(t3539) OR FIREABLE(t3538) OR FIREABLE(t3537) OR FIREABLE(t3536) OR FIREABLE(t3535) OR FIREABLE(t3534) OR FIREABLE(t3533) OR FIREABLE(t3532) OR FIREABLE(t3531) OR FIREABLE(t3530) OR FIREABLE(t3529) OR FIREABLE(t3528) OR FIREABLE(t3527) OR FIREABLE(t3526) OR FIREABLE(t3525) OR FIREABLE(t3524) OR FIREABLE(t3523) OR FIREABLE(t3522) OR FIREABLE(t3521) OR FIREABLE(t3520) OR FIREABLE(t3519) OR FIREABLE(t3518) OR FIREABLE(t3517) OR FIREABLE(t3516) OR FIREABLE(t3515) OR FIREABLE(t3514) OR FIREABLE(t3513) OR FIREABLE(t3512) OR FIREABLE(t3511) OR FIREABLE(t3510) OR FIREABLE(t3509) OR FIREABLE(t3508) OR FIREABLE(t3507) OR FIREABLE(t3506) OR FIREABLE(t3505) OR FIREABLE(t3504) OR FIREABLE(t3503) OR FIREABLE(t3502) OR FIREABLE(t3501) OR FIREABLE(t3500) OR FIREABLE(t3499) OR FIREABLE(t3498) OR FIREABLE(t3497) OR FIREABLE(t3496) OR FIREABLE(t3495) OR FIREABLE(t3494) OR FIREABLE(t3493) OR FIREABLE(t3492) OR FIREABLE(t3491) OR FIREABLE(t3490) OR FIREABLE(t3489) OR FIREABLE(t3488) OR FIREABLE(t3487) OR FIREABLE(t3486) OR FIREABLE(t3485) OR FIREABLE(t3484) OR FIREABLE(t3483) OR FIREABLE(t3482) OR FIREABLE(t3481) OR FIREABLE(t3480) OR FIREABLE(t3479) OR FIREABLE(t3478) OR FIREABLE(t3477) OR FIREABLE(t3476) OR FIREABLE(t3475) OR FIREABLE(t3474) OR FIREABLE(t3473) OR FIREABLE(t3472) OR FIREABLE(t3471) OR FIREABLE(t3470) OR FIREABLE(t3469) OR FIREABLE(t3468) OR FIREABLE(t3467) OR FIREABLE(t3466) OR FIREABLE(t3465) OR FIREABLE(t3464) OR FIREABLE(t3463) OR FIREABLE(t3462) OR FIREABLE(t3461) OR FIREABLE(t3460) OR FIREABLE(t3459) OR FIREABLE(t3458) OR FIREABLE(t3457) OR FIREABLE(t3456) OR FIREABLE(t3455) OR FIREABLE(t3454) OR FIREABLE(t3453) OR FIREABLE(t3452) OR FIREABLE(t3451) OR FIREABLE(t3450) OR FIREABLE(t3449) OR FIREABLE(t3448) OR FIREABLE(t3447) OR FIREABLE(t3446) OR FIREABLE(t3445) OR FIREABLE(t3444) OR FIREABLE(t3443) OR FIREABLE(t3442) OR FIREABLE(t3441) OR FIREABLE(t3440) OR FIREABLE(t3439) OR FIREABLE(t3438) OR FIREABLE(t3437) OR FIREABLE(t3436) OR FIREABLE(t3435) OR FIREABLE(t3434) OR FIREABLE(t3433) OR FIREABLE(t3432) OR FIREABLE(t3431) OR FIREABLE(t3430) OR FIREABLE(t3429) OR FIREABLE(t3428) OR FIREABLE(t3427) OR FIREABLE(t3426) OR FIREABLE(t3425) OR FIREABLE(t3424) OR FIREABLE(t3423) OR FIREABLE(t3422) OR FIREABLE(t3421) OR FIREABLE(t3420) OR FIREABLE(t3419) OR FIREABLE(t3418) OR FIREABLE(t3417) OR FIREABLE(t3416) OR FIREABLE(t3415) OR FIREABLE(t3414) OR FIREABLE(t3413) OR FIREABLE(t3412) OR FIREABLE(t3411) OR FIREABLE(t3410) OR FIREABLE(t3409) OR FIREABLE(t3408) OR FIREABLE(t3407) OR FIREABLE(t3406) OR FIREABLE(t3405) OR FIREABLE(t3404) OR FIREABLE(t3403) OR FIREABLE(t3402) OR FIREABLE(t3401) OR FIREABLE(t3400) OR FIREABLE(t3399) OR FIREABLE(t3398) OR FIREABLE(t3397) OR FIREABLE(t3396) OR FIREABLE(t3395) OR FIREABLE(t3394) OR FIREABLE(t3393) OR FIREABLE(t3392) OR FIREABLE(t3391) OR FIREABLE(t3390) OR FIREABLE(t3389) OR FIREABLE(t3388) OR FIREABLE(t3387) OR FIREABLE(t3386) OR FIREABLE(t3385) OR FIREABLE(t3384) OR FIREABLE(t3383) OR FIREABLE(t3382) OR FIREABLE(t3381) OR FIREABLE(t3380) OR FIREABLE(t3379) OR FIREABLE(t3378) OR FIREABLE(t3377) OR FIREABLE(t3376) OR FIREABLE(t3375) OR FIREABLE(t3374) OR FIREABLE(t3373) OR FIREABLE(t3372) OR FIREABLE(t3371) OR FIREABLE(t3370) OR FIREABLE(t3369) OR FIREABLE(t3368) OR FIREABLE(t3367) OR FIREABLE(t3366) OR FIREABLE(t3365) OR FIREABLE(t3364) OR FIREABLE(t3363) OR FIREABLE(t3362) OR FIREABLE(t3361) OR FIREABLE(t3360) OR FIREABLE(t3359) OR FIREABLE(t3358) OR FIREABLE(t3357) OR FIREABLE(t3356) OR FIREABLE(t3355) OR FIREABLE(t3354) OR FIREABLE(t3353) OR FIREABLE(t3352) OR FIREABLE(t3351) OR FIREABLE(t3350) OR FIREABLE(t3349) OR FIREABLE(t3348) OR FIREABLE(t3347) OR FIREABLE(t3346) OR FIREABLE(t3345) OR FIREABLE(t3344) OR FIREABLE(t3343) OR FIREABLE(t3342) OR FIREABLE(t3341) OR FIREABLE(t3340) OR FIREABLE(t3339) OR FIREABLE(t3338) OR FIREABLE(t3337) OR FIREABLE(t3336) OR FIREABLE(t3335) OR FIREABLE(t3334) OR FIREABLE(t3333) OR FIREABLE(t3332) OR FIREABLE(t3331) OR FIREABLE(t3330) OR FIREABLE(t3329) OR FIREABLE(t3328) OR FIREABLE(t3327) OR FIREABLE(t3326) OR FIREABLE(t3325) OR FIREABLE(t3324) OR FIREABLE(t3323) OR FIREABLE(t3322) OR FIREABLE(t3321) OR FIREABLE(t3320) OR FIREABLE(t3319) OR FIREABLE(t3318) OR FIREABLE(t3317) OR FIREABLE(t3316) OR FIREABLE(t3315) OR FIREABLE(t3314) OR FIREABLE(t3313) OR FIREABLE(t3312) OR FIREABLE(t3311) OR FIREABLE(t3310) OR FIREABLE(t3309) OR FIREABLE(t3308) OR FIREABLE(t3307) OR FIREABLE(t3306) OR FIREABLE(t3305) OR FIREABLE(t3304) OR FIREABLE(t3303) OR FIREABLE(t3302) OR FIREABLE(t3301) OR FIREABLE(t3300) OR FIREABLE(t3299) OR FIREABLE(t3298) OR FIREABLE(t3297) OR FIREABLE(t3296) OR FIREABLE(t3295) OR FIREABLE(t3294) OR FIREABLE(t3293) OR FIREABLE(t3292) OR FIREABLE(t3291) OR FIREABLE(t3290) OR FIREABLE(t3289) OR FIREABLE(t3288) OR FIREABLE(t3287) OR FIREABLE(t3286) OR FIREABLE(t3285) OR FIREABLE(t3284) OR FIREABLE(t3283) OR FIREABLE(t3282) OR FIREABLE(t3281) OR FIREABLE(t3280) OR FIREABLE(t3279) OR FIREABLE(t3278) OR FIREABLE(t3277) OR FIREABLE(t3276) OR FIREABLE(t3275) OR FIREABLE(t3274) OR FIREABLE(t3273) OR FIREABLE(t3272) OR FIREABLE(t3271) OR FIREABLE(t3270) OR FIREABLE(t3269) OR FIREABLE(t3268) OR FIREABLE(t3267) OR FIREABLE(t3266) OR FIREABLE(t3265) OR FIREABLE(t3264) OR FIREABLE(t3263) OR FIREABLE(t3262) OR FIREABLE(t3261) OR FIREABLE(t3260) OR FIREABLE(t3259) OR FIREABLE(t3258) OR FIREABLE(t3257) OR FIREABLE(t3256) OR FIREABLE(t3255) OR FIREABLE(t3254) OR FIREABLE(t3253) OR FIREABLE(t3252) OR FIREABLE(t3251) OR FIREABLE(t3250) OR FIREABLE(t3249) OR FIREABLE(t3248) OR FIREABLE(t3247) OR FIREABLE(t3246) OR FIREABLE(t3245) OR FIREABLE(t3244) OR FIREABLE(t3243) OR FIREABLE(t3242) OR FIREABLE(t3241) OR FIREABLE(t3240) OR FIREABLE(t3239) OR FIREABLE(t3238) OR FIREABLE(t3237) OR FIREABLE(t3236) OR FIREABLE(t3235) OR FIREABLE(t3234) OR FIREABLE(t3233) OR FIREABLE(t3232) OR FIREABLE(t3231) OR FIREABLE(t3230) OR FIREABLE(t3229) OR FIREABLE(t3228) OR FIREABLE(t3227) OR FIREABLE(t3226) OR FIREABLE(t3225) OR FIREABLE(t3224) OR FIREABLE(t3223) OR FIREABLE(t3222) OR FIREABLE(t3221) OR FIREABLE(t3220) OR FIREABLE(t3219) OR FIREABLE(t3218) OR FIREABLE(t3217) OR FIREABLE(t3216) OR FIREABLE(t3215) OR FIREABLE(t3214) OR FIREABLE(t3213) OR FIREABLE(t3212) OR FIREABLE(t3211) OR FIREABLE(t3210) OR FIREABLE(t3209) OR FIREABLE(t3208) OR FIREABLE(t3207) OR FIREABLE(t3206) OR FIREABLE(t3205) OR FIREABLE(t3204) OR FIREABLE(t3203) OR FIREABLE(t3202) OR FIREABLE(t3201) OR FIREABLE(t3200) OR FIREABLE(t3199) OR FIREABLE(t3198) OR FIREABLE(t3197) OR FIREABLE(t3196) OR FIREABLE(t3195) OR FIREABLE(t3194) OR FIREABLE(t3193) OR FIREABLE(t3192) OR FIREABLE(t3191) OR FIREABLE(t3190) OR FIREABLE(t3189) OR FIREABLE(t3188) OR FIREABLE(t3187) OR FIREABLE(t3186) OR FIREABLE(t3185) OR FIREABLE(t3184) OR FIREABLE(t3183) OR FIREABLE(t3182) OR FIREABLE(t3181) OR FIREABLE(t3180) OR FIREABLE(t3179) OR FIREABLE(t3178) OR FIREABLE(t3177) OR FIREABLE(t3176) OR FIREABLE(t3175) OR FIREABLE(t3174) OR FIREABLE(t3173) OR FIREABLE(t3172) OR FIREABLE(t3171) OR FIREABLE(t3170) OR FIREABLE(t3169) OR FIREABLE(t3168) OR FIREABLE(t3167) OR FIREABLE(t3166) OR FIREABLE(t3165) OR FIREABLE(t3164) OR FIREABLE(t3163) OR FIREABLE(t3162) OR FIREABLE(t3161) OR FIREABLE(t3160) OR FIREABLE(t3159) OR FIREABLE(t3158) OR FIREABLE(t3157) OR FIREABLE(t3156) OR FIREABLE(t3155) OR FIREABLE(t3154) OR FIREABLE(t3153) OR FIREABLE(t3152) OR FIREABLE(t3151) OR FIREABLE(t3150) OR FIREABLE(t3149) OR FIREABLE(t3148) OR FIREABLE(t3147) OR FIREABLE(t3146) OR FIREABLE(t3145) OR FIREABLE(t3144) OR FIREABLE(t3143) OR FIREABLE(t3142) OR FIREABLE(t3141) OR FIREABLE(t3140) OR FIREABLE(t3139) OR FIREABLE(t3138) OR FIREABLE(t3137) OR FIREABLE(t3136) OR FIREABLE(t3135) OR FIREABLE(t3134) OR FIREABLE(t3133) OR FIREABLE(t3132) OR FIREABLE(t3131) OR FIREABLE(t3130) OR FIREABLE(t3129) OR FIREABLE(t3128) OR FIREABLE(t3127) OR FIREABLE(t3126) OR FIREABLE(t3125) OR FIREABLE(t3124) OR FIREABLE(t3123) OR FIREABLE(t3122) OR FIREABLE(t3121) OR FIREABLE(t3120) OR FIREABLE(t3119) OR FIREABLE(t3118) OR FIREABLE(t3117) OR FIREABLE(t3116) OR FIREABLE(t3115) OR FIREABLE(t3114) OR FIREABLE(t3113) OR FIREABLE(t3112) OR FIREABLE(t3111) OR FIREABLE(t3110) OR FIREABLE(t3109) OR FIREABLE(t3108) OR FIREABLE(t3107) OR FIREABLE(t3106) OR FIREABLE(t3105) OR FIREABLE(t3104) OR FIREABLE(t3103) OR FIREABLE(t3102) OR FIREABLE(t3101) OR FIREABLE(t3100) OR FIREABLE(t3099) OR FIREABLE(t3098) OR FIREABLE(t3097) OR FIREABLE(t3096) OR FIREABLE(t3095) OR FIREABLE(t3094) OR FIREABLE(t3093) OR FIREABLE(t3092) OR FIREABLE(t3091) OR FIREABLE(t3090) OR FIREABLE(t3089) OR FIREABLE(t3088) OR FIREABLE(t3087) OR FIREABLE(t3086) OR FIREABLE(t3085) OR FIREABLE(t3084) OR FIREABLE(t3083) OR FIREABLE(t3082) OR FIREABLE(t3081) OR FIREABLE(t3080) OR FIREABLE(t3079) OR FIREABLE(t3078) OR FIREABLE(t3077) OR FIREABLE(t3076) OR FIREABLE(t3075) OR FIREABLE(t3074) OR FIREABLE(t3073) OR FIREABLE(t3072) OR FIREABLE(t3071) OR FIREABLE(t3070) OR FIREABLE(t3069) OR FIREABLE(t3068) OR FIREABLE(t3067) OR FIREABLE(t3066) OR FIREABLE(t3065) OR FIREABLE(t3064) OR FIREABLE(t3063) OR FIREABLE(t3062) OR FIREABLE(t3061) OR FIREABLE(t3060) OR FIREABLE(t3059) OR FIREABLE(t3058) OR FIREABLE(t3057) OR FIREABLE(t3056) OR FIREABLE(t3055) OR FIREABLE(t3054) OR FIREABLE(t3053) OR FIREABLE(t3052) OR FIREABLE(t3051) OR FIREABLE(t3050) OR FIREABLE(t3049) OR FIREABLE(t3048) OR FIREABLE(t3047) OR FIREABLE(t3046) OR FIREABLE(t3045) OR FIREABLE(t3044) OR FIREABLE(t3043) OR FIREABLE(t3042) OR FIREABLE(t3041) OR FIREABLE(t3040) OR FIREABLE(t3039) OR FIREABLE(t3038) OR FIREABLE(t3037) OR FIREABLE(t3036) OR FIREABLE(t3035) OR FIREABLE(t3034) OR FIREABLE(t3033) OR FIREABLE(t3032) OR FIREABLE(t3031) OR FIREABLE(t3030) OR FIREABLE(t3029) OR FIREABLE(t3028) OR FIREABLE(t3027) OR FIREABLE(t3026) OR FIREABLE(t3025) OR FIREABLE(t3024) OR FIREABLE(t3023) OR FIREABLE(t3022) OR FIREABLE(t3021) OR FIREABLE(t3020) OR FIREABLE(t3019) OR FIREABLE(t3018) OR FIREABLE(t3017) OR FIREABLE(t3016) OR FIREABLE(t3015) OR FIREABLE(t3014) OR FIREABLE(t3013) OR FIREABLE(t3012) OR FIREABLE(t3011) OR FIREABLE(t3010) OR FIREABLE(t3009) OR FIREABLE(t3008) OR FIREABLE(t3007) OR FIREABLE(t3006) OR FIREABLE(t3005) OR FIREABLE(t3004) OR FIREABLE(t3003) OR FIREABLE(t3002) OR FIREABLE(t3001) OR FIREABLE(t3000) OR FIREABLE(t2999) OR FIREABLE(t2998) OR FIREABLE(t2997) OR FIREABLE(t2996) OR FIREABLE(t2995) OR FIREABLE(t2994) OR FIREABLE(t2993) OR FIREABLE(t2992) OR FIREABLE(t2991) OR FIREABLE(t2990) OR FIREABLE(t2989) OR FIREABLE(t2988) OR FIREABLE(t2987) OR FIREABLE(t2986) OR FIREABLE(t2985) OR FIREABLE(t2984) OR FIREABLE(t2983) OR FIREABLE(t2982) OR FIREABLE(t2981) OR FIREABLE(t2980) OR FIREABLE(t2979) OR FIREABLE(t2978) OR FIREABLE(t2977) OR FIREABLE(t2976) OR FIREABLE(t2975) OR FIREABLE(t2974) OR FIREABLE(t2973) OR FIREABLE(t2972) OR FIREABLE(t2971) OR FIREABLE(t2970) OR FIREABLE(t2969) OR FIREABLE(t2968) OR FIREABLE(t2967) OR FIREABLE(t2966) OR FIREABLE(t2965) OR FIREABLE(t2964) OR FIREABLE(t2963) OR FIREABLE(t2962) OR FIREABLE(t2961) OR FIREABLE(t2960) OR FIREABLE(t2959) OR FIREABLE(t2958) OR FIREABLE(t2957) OR FIREABLE(t2956) OR FIREABLE(t2955) OR FIREABLE(t2954) OR FIREABLE(t2953) OR FIREABLE(t2952) OR FIREABLE(t2951) OR FIREABLE(t2950) OR FIREABLE(t2949) OR FIREABLE(t2948) OR FIREABLE(t2947) OR FIREABLE(t2946) OR FIREABLE(t2945) OR FIREABLE(t2944) OR FIREABLE(t2943) OR FIREABLE(t2942) OR FIREABLE(t2941) OR FIREABLE(t2940) OR FIREABLE(t2939) OR FIREABLE(t2938) OR FIREABLE(t2937) OR FIREABLE(t2936) OR FIREABLE(t2935) OR FIREABLE(t2934) OR FIREABLE(t2933) OR FIREABLE(t2932) OR FIREABLE(t2931) OR FIREABLE(t2930) OR FIREABLE(t2929) OR FIREABLE(t2928) OR FIREABLE(t2927) OR FIREABLE(t2926) OR FIREABLE(t2925) OR FIREABLE(t2924) OR FIREABLE(t2923) OR FIREABLE(t2922) OR FIREABLE(t2921) OR FIREABLE(t2920) OR FIREABLE(t2919) OR FIREABLE(t2918) OR FIREABLE(t2917) OR FIREABLE(t2916) OR FIREABLE(t2915) OR FIREABLE(t2914) OR FIREABLE(t2913) OR FIREABLE(t2912) OR FIREABLE(t2911) OR FIREABLE(t2910) OR FIREABLE(t2909) OR FIREABLE(t2908) OR FIREABLE(t2907) OR FIREABLE(t2906) OR FIREABLE(t2905) OR FIREABLE(t2904) OR FIREABLE(t2903) OR FIREABLE(t2902) OR FIREABLE(t2901) OR FIREABLE(t2900) OR FIREABLE(t2899) OR FIREABLE(t2898) OR FIREABLE(t2897) OR FIREABLE(t2896) OR FIREABLE(t2895) OR FIREABLE(t2894) OR FIREABLE(t2893) OR FIREABLE(t2892) OR FIREABLE(t2891) OR FIREABLE(t2890) OR FIREABLE(t2889) OR FIREABLE(t2888) OR FIREABLE(t2887) OR FIREABLE(t2886) OR FIREABLE(t2885) OR FIREABLE(t2884) OR FIREABLE(t2883) OR FIREABLE(t2882) OR FIREABLE(t2881) OR FIREABLE(t2880) OR FIREABLE(t2879) OR FIREABLE(t2878) OR FIREABLE(t2877) OR FIREABLE(t2876) OR FIREABLE(t2875) OR FIREABLE(t2874) OR FIREABLE(t2873) OR FIREABLE(t2872) OR FIREABLE(t2871) OR FIREABLE(t2870) OR FIREABLE(t2869) OR FIREABLE(t2868) OR FIREABLE(t2867) OR FIREABLE(t2866) OR FIREABLE(t2865) OR FIREABLE(t2864) OR FIREABLE(t2863) OR FIREABLE(t2862) OR FIREABLE(t2861) OR FIREABLE(t2860) OR FIREABLE(t2859) OR FIREABLE(t2858) OR FIREABLE(t2857) OR FIREABLE(t2856) OR FIREABLE(t2855) OR FIREABLE(t2854) OR FIREABLE(t2853) OR FIREABLE(t2852) OR FIREABLE(t2851) OR FIREABLE(t2850) OR FIREABLE(t2849) OR FIREABLE(t2848) OR FIREABLE(t2847) OR FIREABLE(t2846) OR FIREABLE(t2845) OR FIREABLE(t2844) OR FIREABLE(t2843) OR FIREABLE(t2842) OR FIREABLE(t2841) OR FIREABLE(t2840) OR FIREABLE(t2839) OR FIREABLE(t2838) OR FIREABLE(t2837) OR FIREABLE(t2836) OR FIREABLE(t2835) OR FIREABLE(t2834) OR FIREABLE(t2833) OR FIREABLE(t2832) OR FIREABLE(t2831) OR FIREABLE(t2830) OR FIREABLE(t2829) OR FIREABLE(t2828) OR FIREABLE(t2827) OR FIREABLE(t2826) OR FIREABLE(t2825) OR FIREABLE(t2824) OR FIREABLE(t2823) OR FIREABLE(t2822) OR FIREABLE(t2821) OR FIREABLE(t2820) OR FIREABLE(t2819) OR FIREABLE(t2818) OR FIREABLE(t2817) OR FIREABLE(t2816) OR FIREABLE(t2815) OR FIREABLE(t2814) OR FIREABLE(t2813) OR FIREABLE(t2812) OR FIREABLE(t2811) OR FIREABLE(t2810) OR FIREABLE(t2809) OR FIREABLE(t2808) OR FIREABLE(t2807) OR FIREABLE(t2806) OR FIREABLE(t2805) OR FIREABLE(t2804) OR FIREABLE(t2803) OR FIREABLE(t2802) OR FIREABLE(t2801) OR FIREABLE(t2800) OR FIREABLE(t2799) OR FIREABLE(t2798) OR FIREABLE(t2797) OR FIREABLE(t2796) OR FIREABLE(t2795) OR FIREABLE(t2794) OR FIREABLE(t2793) OR FIREABLE(t2792) OR FIREABLE(t2791) OR FIREABLE(t2790) OR FIREABLE(t2789) OR FIREABLE(t2788) OR FIREABLE(t2787) OR FIREABLE(t2786) OR FIREABLE(t2785) OR FIREABLE(t2784) OR FIREABLE(t2783) OR FIREABLE(t2782) OR FIREABLE(t2781) OR FIREABLE(t2780) OR FIREABLE(t2779) OR FIREABLE(t2778) OR FIREABLE(t2777) OR FIREABLE(t2776) OR FIREABLE(t2775) OR FIREABLE(t2774) OR FIREABLE(t2773) OR FIREABLE(t2772) OR FIREABLE(t2771) OR FIREABLE(t2770) OR FIREABLE(t2769) OR FIREABLE(t2768) OR FIREABLE(t2767) OR FIREABLE(t2766) OR FIREABLE(t2765) OR FIREABLE(t2764) OR FIREABLE(t2763) OR FIREABLE(t2762) OR FIREABLE(t2761) OR FIREABLE(t2760) OR FIREABLE(t2759) OR FIREABLE(t2758) OR FIREABLE(t2757) OR FIREABLE(t2756) OR FIREABLE(t2755) OR FIREABLE(t2754) OR FIREABLE(t2753) OR FIREABLE(t2752) OR FIREABLE(t2751) OR FIREABLE(t2750) OR FIREABLE(t2749) OR FIREABLE(t2748) OR FIREABLE(t2747) OR FIREABLE(t2746) OR FIREABLE(t2745) OR FIREABLE(t2744) OR FIREABLE(t2743) OR FIREABLE(t2742) OR FIREABLE(t2741) OR FIREABLE(t2740) OR FIREABLE(t2739) OR FIREABLE(t2738) OR FIREABLE(t2737) OR FIREABLE(t2736) OR FIREABLE(t2735) OR FIREABLE(t2734) OR FIREABLE(t2733) OR FIREABLE(t2732) OR FIREABLE(t2731) OR FIREABLE(t2730) OR FIREABLE(t2729) OR FIREABLE(t2728) OR FIREABLE(t2727) OR FIREABLE(t2726) OR FIREABLE(t2725) OR FIREABLE(t2724) OR FIREABLE(t2723) OR FIREABLE(t2722) OR FIREABLE(t2721) OR FIREABLE(t2720) OR FIREABLE(t2719) OR FIREABLE(t2718) OR FIREABLE(t2717) OR FIREABLE(t2716) OR FIREABLE(t2715) OR FIREABLE(t2714) OR FIREABLE(t2713) OR FIREABLE(t2712) OR FIREABLE(t2711) OR FIREABLE(t2710) OR FIREABLE(t2709) OR FIREABLE(t2708) OR FIREABLE(t2707) OR FIREABLE(t2706) OR FIREABLE(t2705) OR FIREABLE(t2704) OR FIREABLE(t2703) OR FIREABLE(t2702) OR FIREABLE(t2701) OR FIREABLE(t2700) OR FIREABLE(t2699) OR FIREABLE(t2698) OR FIREABLE(t2697) OR FIREABLE(t2696) OR FIREABLE(t2695) OR FIREABLE(t2694) OR FIREABLE(t2693) OR FIREABLE(t2692) OR FIREABLE(t2691) OR FIREABLE(t2690) OR FIREABLE(t2689) OR FIREABLE(t2688) OR FIREABLE(t2687) OR FIREABLE(t2686) OR FIREABLE(t2685) OR FIREABLE(t2684) OR FIREABLE(t2683) OR FIREABLE(t2682) OR FIREABLE(t2681) OR FIREABLE(t2680) OR FIREABLE(t2679) OR FIREABLE(t2678) OR FIREABLE(t2677) OR FIREABLE(t2676) OR FIREABLE(t2675) OR FIREABLE(t2674) OR FIREABLE(t2673) OR FIREABLE(t2672) OR FIREABLE(t2671) OR FIREABLE(t2670) OR FIREABLE(t2669) OR FIREABLE(t2668) OR FIREABLE(t2667) OR FIREABLE(t2666) OR FIREABLE(t2665) OR FIREABLE(t2664) OR FIREABLE(t2663) OR FIREABLE(t2662) OR FIREABLE(t2661) OR FIREABLE(t2660) OR FIREABLE(t2659) OR FIREABLE(t2658) OR FIREABLE(t2657) OR FIREABLE(t2656) OR FIREABLE(t2655) OR FIREABLE(t2654) OR FIREABLE(t2653) OR FIREABLE(t2652) OR FIREABLE(t2651) OR FIREABLE(t2650) OR FIREABLE(t2649) OR FIREABLE(t2648) OR FIREABLE(t2647) OR FIREABLE(t2646) OR FIREABLE(t2645) OR FIREABLE(t2644) OR FIREABLE(t2643) OR FIREABLE(t2642) OR FIREABLE(t2641) OR FIREABLE(t2640) OR FIREABLE(t2639) OR FIREABLE(t2638) OR FIREABLE(t2637) OR FIREABLE(t2636) OR FIREABLE(t2635) OR FIREABLE(t2634) OR FIREABLE(t2633) OR FIREABLE(t2632) OR FIREABLE(t2631) OR FIREABLE(t2630) OR FIREABLE(t2629) OR FIREABLE(t2628) OR FIREABLE(t2627) OR FIREABLE(t2626) OR FIREABLE(t2625) OR FIREABLE(t2624) OR FIREABLE(t2623) OR FIREABLE(t2622) OR FIREABLE(t2621) OR FIREABLE(t2620) OR FIREABLE(t2619) OR FIREABLE(t2618) OR FIREABLE(t2617) OR FIREABLE(t2616) OR FIREABLE(t2615) OR FIREABLE(t2614) OR FIREABLE(t2613) OR FIREABLE(t2612) OR FIREABLE(t2611) OR FIREABLE(t2610) OR FIREABLE(t2609) OR FIREABLE(t2608) OR FIREABLE(t2607) OR FIREABLE(t2606) OR FIREABLE(t2605) OR FIREABLE(t2604) OR FIREABLE(t2603) OR FIREABLE(t2602) OR FIREABLE(t2601) OR FIREABLE(t2600) OR FIREABLE(t2599) OR FIREABLE(t2598) OR FIREABLE(t2597) OR FIREABLE(t2596) OR FIREABLE(t2595) OR FIREABLE(t2594) OR FIREABLE(t2593) OR FIREABLE(t2592) OR FIREABLE(t2591) OR FIREABLE(t2590) OR FIREABLE(t2589) OR FIREABLE(t2588) OR FIREABLE(t2587) OR FIREABLE(t2586) OR FIREABLE(t2585) OR FIREABLE(t2584) OR FIREABLE(t2583) OR FIREABLE(t2582) OR FIREABLE(t2581) OR FIREABLE(t2580) OR FIREABLE(t2579) OR FIREABLE(t2578) OR FIREABLE(t2577) OR FIREABLE(t2576) OR FIREABLE(t2575) OR FIREABLE(t2574) OR FIREABLE(t2573) OR FIREABLE(t2572) OR FIREABLE(t2571) OR FIREABLE(t2570) OR FIREABLE(t2569) OR FIREABLE(t2568) OR FIREABLE(t2567) OR FIREABLE(t2566) OR FIREABLE(t2565) OR FIREABLE(t2564) OR FIREABLE(t2563) OR FIREABLE(t2562) OR FIREABLE(t2561) OR FIREABLE(t2560) OR FIREABLE(t2559) OR FIREABLE(t2558) OR FIREABLE(t2557) OR FIREABLE(t2556) OR FIREABLE(t2555) OR FIREABLE(t2554) OR FIREABLE(t2553) OR FIREABLE(t2552) OR FIREABLE(t2551) OR FIREABLE(t2550) OR FIREABLE(t2549) OR FIREABLE(t2548) OR FIREABLE(t2547) OR FIREABLE(t2546) OR FIREABLE(t2545) OR FIREABLE(t2544) OR FIREABLE(t2543) OR FIREABLE(t2542) OR FIREABLE(t2541) OR FIREABLE(t2540) OR FIREABLE(t2539) OR FIREABLE(t2538) OR FIREABLE(t2537) OR FIREABLE(t2536) OR FIREABLE(t2535) OR FIREABLE(t2534) OR FIREABLE(t2533) OR FIREABLE(t2532) OR FIREABLE(t2531) OR FIREABLE(t2530) OR FIREABLE(t2529) OR FIREABLE(t2528) OR FIREABLE(t2527) OR FIREABLE(t2526) OR FIREABLE(t2525) OR FIREABLE(t2524) OR FIREABLE(t2523) OR FIREABLE(t2522) OR FIREABLE(t2521) OR FIREABLE(t2520) OR FIREABLE(t2519) OR FIREABLE(t2518) OR FIREABLE(t2517) OR FIREABLE(t2516) OR FIREABLE(t2515) OR FIREABLE(t2514) OR FIREABLE(t2513) OR FIREABLE(t2512) OR FIREABLE(t2511) OR FIREABLE(t2510) OR FIREABLE(t2509) OR FIREABLE(t2508) OR FIREABLE(t2507) OR FIREABLE(t2506) OR FIREABLE(t2505) OR FIREABLE(t2504) OR FIREABLE(t2503) OR FIREABLE(t2502) OR FIREABLE(t2501) OR FIREABLE(t2500) OR FIREABLE(t2499) OR FIREABLE(t2498) OR FIREABLE(t2497) OR FIREABLE(t2496) OR FIREABLE(t2495) OR FIREABLE(t2494) OR FIREABLE(t2493) OR FIREABLE(t2492) OR FIREABLE(t2491) OR FIREABLE(t2490) OR FIREABLE(t2489) OR FIREABLE(t2488) OR FIREABLE(t2487) OR FIREABLE(t2486) OR FIREABLE(t2485) OR FIREABLE(t2484) OR FIREABLE(t2483) OR FIREABLE(t2482) OR FIREABLE(t2481) OR FIREABLE(t2480) OR FIREABLE(t2479) OR FIREABLE(t2478) OR FIREABLE(t2477) OR FIREABLE(t2476) OR FIREABLE(t2475) OR FIREABLE(t2474) OR FIREABLE(t2473) OR FIREABLE(t2472) OR FIREABLE(t2471) OR FIREABLE(t2470) OR FIREABLE(t2469) OR FIREABLE(t2468) OR FIREABLE(t2467) OR FIREABLE(t2466) OR FIREABLE(t2465) OR FIREABLE(t2464) OR FIREABLE(t2463) OR FIREABLE(t2462) OR FIREABLE(t2461) OR FIREABLE(t2460) OR FIREABLE(t2459) OR FIREABLE(t2458) OR FIREABLE(t2457) OR FIREABLE(t2456) OR FIREABLE(t2455) OR FIREABLE(t2454) OR FIREABLE(t2453) OR FIREABLE(t2452) OR FIREABLE(t2451) OR FIREABLE(t2450) OR FIREABLE(t2449) OR FIREABLE(t2448) OR FIREABLE(t2447) OR FIREABLE(t2446) OR FIREABLE(t2445) OR FIREABLE(t2444) OR FIREABLE(t2443) OR FIREABLE(t2442) OR FIREABLE(t2441) OR FIREABLE(t2440) OR FIREABLE(t2439) OR FIREABLE(t2438) OR FIREABLE(t2437) OR FIREABLE(t2436) OR FIREABLE(t2435) OR FIREABLE(t2434) OR FIREABLE(t2433) OR FIREABLE(t2432) OR FIREABLE(t2431) OR FIREABLE(t2430) OR FIREABLE(t2429) OR FIREABLE(t2428) OR FIREABLE(t2427) OR FIREABLE(t2426) OR FIREABLE(t2425) OR FIREABLE(t2424) OR FIREABLE(t2423) OR FIREABLE(t2422) OR FIREABLE(t2421) OR FIREABLE(t2420) OR FIREABLE(t2419) OR FIREABLE(t2418) OR FIREABLE(t2417) OR FIREABLE(t2416) OR FIREABLE(t2415) OR FIREABLE(t2414) OR FIREABLE(t2413) OR FIREABLE(t2412) OR FIREABLE(t2411) OR FIREABLE(t2410) OR FIREABLE(t2409) OR FIREABLE(t2408) OR FIREABLE(t2407) OR FIREABLE(t2406) OR FIREABLE(t2405) OR FIREABLE(t2404) OR FIREABLE(t2403) OR FIREABLE(t2402) OR FIREABLE(t2401) OR FIREABLE(t2400) OR FIREABLE(t2399) OR FIREABLE(t2398) OR FIREABLE(t2397) OR FIREABLE(t2396) OR FIREABLE(t2395) OR FIREABLE(t2394) OR FIREABLE(t2393) OR FIREABLE(t2392) OR FIREABLE(t2391) OR FIREABLE(t2390) OR FIREABLE(t2389) OR FIREABLE(t2388) OR FIREABLE(t2387) OR FIREABLE(t2386) OR FIREABLE(t2385) OR FIREABLE(t2384) OR FIREABLE(t2383) OR FIREABLE(t2382) OR FIREABLE(t2381) OR FIREABLE(t2380) OR FIREABLE(t2379) OR FIREABLE(t2378) OR FIREABLE(t2377) OR FIREABLE(t2376) OR FIREABLE(t2375) OR FIREABLE(t2374) OR FIREABLE(t2373) OR FIREABLE(t2372) OR FIREABLE(t2371) OR FIREABLE(t2370) OR FIREABLE(t2369) OR FIREABLE(t2368) OR FIREABLE(t2367) OR FIREABLE(t2366) OR FIREABLE(t2365) OR FIREABLE(t2364) OR FIREABLE(t2363) OR FIREABLE(t2362) OR FIREABLE(t2361) OR FIREABLE(t2360) OR FIREABLE(t2359) OR FIREABLE(t2358) OR FIREABLE(t2357) OR FIREABLE(t2356) OR FIREABLE(t2355) OR FIREABLE(t2354) OR FIREABLE(t2353) OR FIREABLE(t2352) OR FIREABLE(t2351) OR FIREABLE(t2350) OR FIREABLE(t2349) OR FIREABLE(t2348) OR FIREABLE(t2347) OR FIREABLE(t2346) OR FIREABLE(t2345) OR FIREABLE(t2344) OR FIREABLE(t2343) OR FIREABLE(t2342) OR FIREABLE(t2341) OR FIREABLE(t2340) OR FIREABLE(t2339) OR FIREABLE(t2338) OR FIREABLE(t2337) OR FIREABLE(t2336) OR FIREABLE(t2335) OR FIREABLE(t2334) OR FIREABLE(t2333) OR FIREABLE(t2332) OR FIREABLE(t2331) OR FIREABLE(t2330) OR FIREABLE(t2329) OR FIREABLE(t2328) OR FIREABLE(t2327) OR FIREABLE(t2326) OR FIREABLE(t2325) OR FIREABLE(t2324) OR FIREABLE(t2323) OR FIREABLE(t2322) OR FIREABLE(t2321) OR FIREABLE(t2320) OR FIREABLE(t2319) OR FIREABLE(t2318) OR FIREABLE(t2317) OR FIREABLE(t2316) OR FIREABLE(t2315) OR FIREABLE(t2314) OR FIREABLE(t2313) OR FIREABLE(t2312) OR FIREABLE(t2311) OR FIREABLE(t2310) OR FIREABLE(t2309) OR FIREABLE(t2308) OR FIREABLE(t2307) OR FIREABLE(t2306) OR FIREABLE(t2305) OR FIREABLE(t2304) OR FIREABLE(t2303) OR FIREABLE(t2302) OR FIREABLE(t2301) OR FIREABLE(t2300) OR FIREABLE(t2299) OR FIREABLE(t2298) OR FIREABLE(t2297) OR FIREABLE(t2296) OR FIREABLE(t2295) OR FIREABLE(t2294) OR FIREABLE(t2293) OR FIREABLE(t2292) OR FIREABLE(t2291) OR FIREABLE(t2290) OR FIREABLE(t2289) OR FIREABLE(t2288) OR FIREABLE(t2287) OR FIREABLE(t2286) OR FIREABLE(t2285) OR FIREABLE(t2284) OR FIREABLE(t2283) OR FIREABLE(t2282) OR FIREABLE(t2281) OR FIREABLE(t2280) OR FIREABLE(t2279) OR FIREABLE(t2278) OR FIREABLE(t2277) OR FIREABLE(t2276) OR FIREABLE(t2275) OR FIREABLE(t2274) OR FIREABLE(t2273) OR FIREABLE(t2272) OR FIREABLE(t2271) OR FIREABLE(t2270) OR FIREABLE(t2269) OR FIREABLE(t2268) OR FIREABLE(t2267) OR FIREABLE(t2266) OR FIREABLE(t2265) OR FIREABLE(t2264) OR FIREABLE(t2263) OR FIREABLE(t2262) OR FIREABLE(t2261) OR FIREABLE(t2260) OR FIREABLE(t2259) OR FIREABLE(t2258) OR FIREABLE(t2257) OR FIREABLE(t2256) OR FIREABLE(t2255) OR FIREABLE(t2254) OR FIREABLE(t2253) OR FIREABLE(t2252) OR FIREABLE(t2251) OR FIREABLE(t2250) OR FIREABLE(t2249) OR FIREABLE(t2248) OR FIREABLE(t2247) OR FIREABLE(t2246) OR FIREABLE(t2245) OR FIREABLE(t2244) OR FIREABLE(t2243) OR FIREABLE(t2242) OR FIREABLE(t2241) OR FIREABLE(t2240) OR FIREABLE(t2239) OR FIREABLE(t2238) OR FIREABLE(t2237) OR FIREABLE(t2236) OR FIREABLE(t2235) OR FIREABLE(t2234) OR FIREABLE(t2233) OR FIREABLE(t2232) OR FIREABLE(t2231) OR FIREABLE(t2230) OR FIREABLE(t2229) OR FIREABLE(t2228) OR FIREABLE(t2227) OR FIREABLE(t2226) OR FIREABLE(t2225) OR FIREABLE(t2224) OR FIREABLE(t2223) OR FIREABLE(t2222) OR FIREABLE(t2221) OR FIREABLE(t2220) OR FIREABLE(t2219) OR FIREABLE(t2218) OR FIREABLE(t2217) OR FIREABLE(t2216) OR FIREABLE(t2215) OR FIREABLE(t2214) OR FIREABLE(t2213) OR FIREABLE(t2212) OR FIREABLE(t2211) OR FIREABLE(t2210) OR FIREABLE(t2209) OR FIREABLE(t2208) OR FIREABLE(t2207) OR FIREABLE(t2206) OR FIREABLE(t2205) OR FIREABLE(t2204) OR FIREABLE(t2203) OR FIREABLE(t2202) OR FIREABLE(t2201) OR FIREABLE(t2200) OR FIREABLE(t2199) OR FIREABLE(t2198) OR FIREABLE(t2197) OR FIREABLE(t2196) OR FIREABLE(t2195) OR FIREABLE(t2194) OR FIREABLE(t2193) OR FIREABLE(t2192) OR FIREABLE(t2191) OR FIREABLE(t2190) OR FIREABLE(t2189) OR FIREABLE(t2188) OR FIREABLE(t2187) OR FIREABLE(t2186) OR FIREABLE(t2185) OR FIREABLE(t2184) OR FIREABLE(t2183) OR FIREABLE(t2182) OR FIREABLE(t2181) OR FIREABLE(t2180) OR FIREABLE(t2179) OR FIREABLE(t2178) OR FIREABLE(t2177) OR FIREABLE(t2176) OR FIREABLE(t2175) OR FIREABLE(t2174) OR FIREABLE(t2173) OR FIREABLE(t2172) OR FIREABLE(t2171) OR FIREABLE(t2170) OR FIREABLE(t2169) OR FIREABLE(t2168) OR FIREABLE(t2167) OR FIREABLE(t2166) OR FIREABLE(t2165) OR FIREABLE(t2164) OR FIREABLE(t2163) OR FIREABLE(t2162) OR FIREABLE(t2161) OR FIREABLE(t2160) OR FIREABLE(t2159) OR FIREABLE(t2158) OR FIREABLE(t2157) OR FIREABLE(t2156) OR FIREABLE(t2155) OR FIREABLE(t2154) OR FIREABLE(t2153) OR FIREABLE(t2152) OR FIREABLE(t2151) OR FIREABLE(t2150) OR FIREABLE(t2149) OR FIREABLE(t2148) OR FIREABLE(t2147) OR FIREABLE(t2146) OR FIREABLE(t2145) OR FIREABLE(t2144) OR FIREABLE(t2143) OR FIREABLE(t2142) OR FIREABLE(t2141) OR FIREABLE(t2140) OR FIREABLE(t2139) OR FIREABLE(t2138) OR FIREABLE(t2137) OR FIREABLE(t2136) OR FIREABLE(t2135) OR FIREABLE(t2134) OR FIREABLE(t2133) OR FIREABLE(t2132) OR FIREABLE(t2131) OR FIREABLE(t2130) OR FIREABLE(t2129) OR FIREABLE(t2128) OR FIREABLE(t2127) OR FIREABLE(t2126) OR FIREABLE(t2125) OR FIREABLE(t2124) OR FIREABLE(t2123) OR FIREABLE(t2122) OR FIREABLE(t2121) OR FIREABLE(t2120) OR FIREABLE(t2119) OR FIREABLE(t2118) OR FIREABLE(t2117) OR FIREABLE(t2116) OR FIREABLE(t2115) OR FIREABLE(t2114) OR FIREABLE(t2113) OR FIREABLE(t2112) OR FIREABLE(t2111) OR FIREABLE(t2110) OR FIREABLE(t2109) OR FIREABLE(t2108) OR FIREABLE(t2107) OR FIREABLE(t2106) OR FIREABLE(t2105) OR FIREABLE(t2104) OR FIREABLE(t2103) OR FIREABLE(t2102) OR FIREABLE(t2101) OR FIREABLE(t2100) OR FIREABLE(t2099) OR FIREABLE(t2098) OR FIREABLE(t2097) OR FIREABLE(t2096) OR FIREABLE(t2095) OR FIREABLE(t2094) OR FIREABLE(t2093) OR FIREABLE(t2092) OR FIREABLE(t2091) OR FIREABLE(t2090) OR FIREABLE(t2089) OR FIREABLE(t2088) OR FIREABLE(t2087) OR FIREABLE(t2086) OR FIREABLE(t2085) OR FIREABLE(t2084) OR FIREABLE(t2083) OR FIREABLE(t2082) OR FIREABLE(t2081) OR FIREABLE(t2080) OR FIREABLE(t2079) OR FIREABLE(t2078) OR FIREABLE(t2077) OR FIREABLE(t2076) OR FIREABLE(t2075) OR FIREABLE(t2074) OR FIREABLE(t2073) OR FIREABLE(t2072) OR FIREABLE(t2071) OR FIREABLE(t2070) OR FIREABLE(t2069) OR FIREABLE(t2068) OR FIREABLE(t2067) OR FIREABLE(t2066) OR FIREABLE(t2065) OR FIREABLE(t2064) OR FIREABLE(t2063) OR FIREABLE(t2062) OR FIREABLE(t2061) OR FIREABLE(t2060) OR FIREABLE(t2059) OR FIREABLE(t2058) OR FIREABLE(t2057) OR FIREABLE(t2056) OR FIREABLE(t2055) OR FIREABLE(t2054) OR FIREABLE(t2053) OR FIREABLE(t2052) OR FIREABLE(t2051) OR FIREABLE(t2050) OR FIREABLE(t2049) OR FIREABLE(t2048) OR FIREABLE(t2047) OR FIREABLE(t2046) OR FIREABLE(t2045) OR FIREABLE(t2044) OR FIREABLE(t2043) OR FIREABLE(t2042) OR FIREABLE(t2041) OR FIREABLE(t2040) OR FIREABLE(t2039) OR FIREABLE(t2038) OR FIREABLE(t2037) OR FIREABLE(t2036) OR FIREABLE(t2035) OR FIREABLE(t2034) OR FIREABLE(t2033) OR FIREABLE(t2032) OR FIREABLE(t2031) OR FIREABLE(t2030) OR FIREABLE(t2029) OR FIREABLE(t2028) OR FIREABLE(t2027) OR FIREABLE(t2026) OR FIREABLE(t2025) OR FIREABLE(t2024) OR FIREABLE(t2023) OR FIREABLE(t2022) OR FIREABLE(t2021) OR FIREABLE(t2020) OR FIREABLE(t2019) OR FIREABLE(t2018) OR FIREABLE(t2017) OR FIREABLE(t2016) OR FIREABLE(t2015) OR FIREABLE(t2014) OR FIREABLE(t2013) OR FIREABLE(t2012) OR FIREABLE(t2011) OR FIREABLE(t2010) OR FIREABLE(t2009) OR FIREABLE(t2008) OR FIREABLE(t2007) OR FIREABLE(t2006) OR FIREABLE(t2005) OR FIREABLE(t2004) OR FIREABLE(t2003) OR FIREABLE(t2002) OR FIREABLE(t2001) OR FIREABLE(t2000) OR FIREABLE(t1999) OR FIREABLE(t1998) OR FIREABLE(t1997) OR FIREABLE(t1996) OR FIREABLE(t1995) OR FIREABLE(t1994) OR FIREABLE(t1993) OR FIREABLE(t1992) OR FIREABLE(t1991) OR FIREABLE(t1990) OR FIREABLE(t1989) OR FIREABLE(t1988) OR FIREABLE(t1987) OR FIREABLE(t1986) OR FIREABLE(t1985) OR FIREABLE(t1984) OR FIREABLE(t1983) OR FIREABLE(t1982) OR FIREABLE(t1981) OR FIREABLE(t1980) OR FIREABLE(t1979) OR FIREABLE(t1978) OR FIREABLE(t1977) OR FIREABLE(t1976) OR FIREABLE(t1975) OR FIREABLE(t1974) OR FIREABLE(t1973) OR FIREABLE(t1972) OR FIREABLE(t1971) OR FIREABLE(t1970) OR FIREABLE(t1969) OR FIREABLE(t1968) OR FIREABLE(t1967) OR FIREABLE(t1966) OR FIREABLE(t1965) OR FIREABLE(t1964) OR FIREABLE(t1963) OR FIREABLE(t1962) OR FIREABLE(t1961) OR FIREABLE(t1960) OR FIREABLE(t1959) OR FIREABLE(t1958) OR FIREABLE(t1957) OR FIREABLE(t1956) OR FIREABLE(t1955) OR FIREABLE(t1954) OR FIREABLE(t1953) OR FIREABLE(t1952) OR FIREABLE(t1951) OR FIREABLE(t1950) OR FIREABLE(t1949) OR FIREABLE(t1948) OR FIREABLE(t1947) OR FIREABLE(t1946) OR FIREABLE(t1945) OR FIREABLE(t1944) OR FIREABLE(t1943) OR FIREABLE(t1942) OR FIREABLE(t1941) OR FIREABLE(t1940) OR FIREABLE(t1939) OR FIREABLE(t1938) OR FIREABLE(t1937) OR FIREABLE(t1936) OR FIREABLE(t1935) OR FIREABLE(t1934) OR FIREABLE(t1933) OR FIREABLE(t1932) OR FIREABLE(t1931) OR FIREABLE(t1930) OR FIREABLE(t1929) OR FIREABLE(t1928) OR FIREABLE(t1927) OR FIREABLE(t1926) OR FIREABLE(t1925) OR FIREABLE(t1924)))))) : A (F (F ((FIREABLE(t3727) OR FIREABLE(t3726))))) : A (FIREABLE(t3604)) : A (G (X (F (G (F (FIREABLE(t3604))))))) : A (X ((FIREABLE(t1920) OR FIREABLE(t1919) OR FIREABLE(t1918) OR FIREABLE(t1917) OR FIREABLE(t1916) OR FIREABLE(t1915) OR FIREABLE(t1914) OR FIREABLE(t1913) OR FIREABLE(t1912) OR FIREABLE(t1911) OR FIREABLE(t1910) OR FIREABLE(t1909) OR FIREABLE(t1908) OR FIREABLE(t1907) OR FIREABLE(t1906) OR FIREABLE(t1905) OR FIREABLE(t1904) OR FIREABLE(t1903) OR FIREABLE(t1902) OR FIREABLE(t1901) OR FIREABLE(t1900) OR FIREABLE(t1899) OR FIREABLE(t1898) OR FIREABLE(t1897) OR FIREABLE(t1896) OR FIREABLE(t1895) OR FIREABLE(t1894) OR FIREABLE(t1893) OR FIREABLE(t1892) OR FIREABLE(t1891) OR FIREABLE(t1890) OR FIREABLE(t1889) OR FIREABLE(t1888) OR FIREABLE(t1887) OR FIREABLE(t1886) OR FIREABLE(t1885) OR FIREABLE(t1884) OR FIREABLE(t1883) OR FIREABLE(t1882) OR FIREABLE(t1881) OR FIREABLE(t1880) OR FIREABLE(t1879) OR FIREABLE(t1878) OR FIREABLE(t1877) OR FIREABLE(t1876) OR FIREABLE(t1875) OR FIREABLE(t1874) OR FIREABLE(t1873) OR FIREABLE(t1872) OR FIREABLE(t1871) OR FIREABLE(t1870) OR FIREABLE(t1869) OR FIREABLE(t1868) OR FIREABLE(t1867) OR FIREABLE(t1866) OR FIREABLE(t1865) OR FIREABLE(t1864) OR FIREABLE(t1863) OR FIREABLE(t1862) OR FIREABLE(t1861) OR FIREABLE(t1860) OR FIREABLE(t1859) OR FIREABLE(t1858) OR FIREABLE(t1857) OR FIREABLE(t1856) OR FIREABLE(t1855) OR FIREABLE(t1854) OR FIREABLE(t1853) OR FIREABLE(t1852) OR FIREABLE(t1851) OR FIREABLE(t1850) OR FIREABLE(t1849) OR FIREABLE(t1848) OR FIREABLE(t1847) OR FIREABLE(t1846) OR FIREABLE(t1845) OR FIREABLE(t1844) OR FIREABLE(t1843) OR FIREABLE(t1842) OR FIREABLE(t1841)))) : A (X ((G (X ((FIREABLE(t1759) OR FIREABLE(t1758) OR FIREABLE(t1757) OR FIREABLE(t1756) OR FIREABLE(t1755) OR FIREABLE(t1754) OR FIREABLE(t1753) OR FIREABLE(t1752) OR FIREABLE(t1751) OR FIREABLE(t1750) OR FIREABLE(t1749) OR FIREABLE(t1748) OR FIREABLE(t1747) OR FIREABLE(t1746) OR FIREABLE(t1745) OR FIREABLE(t1744) OR FIREABLE(t1743) OR FIREABLE(t1742) OR FIREABLE(t1741) OR FIREABLE(t1740) OR FIREABLE(t1739) OR FIREABLE(t1738) OR FIREABLE(t1737) OR FIREABLE(t1736) OR FIREABLE(t1735) OR FIREABLE(t1734) OR FIREABLE(t1733) OR FIREABLE(t1732) OR FIREABLE(t1731) OR FIREABLE(t1730) OR FIREABLE(t1729) OR FIREABLE(t1728) OR FIREABLE(t1727) OR FIREABLE(t1726) OR FIREABLE(t1725) OR FIREABLE(t1724) OR FIREABLE(t1723) OR FIREABLE(t1722) OR FIREABLE(t1721) OR FIREABLE(t1720) OR FIREABLE(t1719) OR FIREABLE(t1718) OR FIREABLE(t1717) OR FIREABLE(t1716) OR FIREABLE(t1715) OR FIREABLE(t1714) OR FIREABLE(t1713) OR FIREABLE(t1712) OR FIREABLE(t1711) OR FIREABLE(t1710) OR FIREABLE(t1709) OR FIREABLE(t1708) OR FIREABLE(t1707) OR FIREABLE(t1706) OR FIREABLE(t1705) OR FIREABLE(t1704) OR FIREABLE(t1703) OR FIREABLE(t1702) OR FIREABLE(t1701) OR FIREABLE(t1700) OR FIREABLE(t1699) OR FIREABLE(t1698) OR FIREABLE(t1697) OR FIREABLE(t1696) OR FIREABLE(t1695) OR FIREABLE(t1694) OR FIREABLE(t1693) OR FIREABLE(t1692) OR FIREABLE(t1691) OR FIREABLE(t1690) OR FIREABLE(t1689) OR FIREABLE(t1688) OR FIREABLE(t1687) OR FIREABLE(t1686) OR FIREABLE(t1685) OR FIREABLE(t1684) OR FIREABLE(t1683) OR FIREABLE(t1682) OR FIREABLE(t1681) OR FIREABLE(t1680)))) U G (F ((FIREABLE(t1759) OR FIREABLE(t1758) OR FIREABLE(t1757) OR FIREABLE(t1756) OR FIREABLE(t1755) OR FIREABLE(t1754) OR FIREABLE(t1753) OR FIREABLE(t1752) OR FIREABLE(t1751) OR FIREABLE(t1750) OR FIREABLE(t1749) OR FIREABLE(t1748) OR FIREABLE(t1747) OR FIREABLE(t1746) OR FIREABLE(t1745) OR FIREABLE(t1744) OR FIREABLE(t1743) OR FIREABLE(t1742) OR FIREABLE(t1741) OR FIREABLE(t1740) OR FIREABLE(t1739) OR FIREABLE(t1738) OR FIREABLE(t1737) OR FIREABLE(t1736) OR FIREABLE(t1735) OR FIREABLE(t1734) OR FIREABLE(t1733) OR FIREABLE(t1732) OR FIREABLE(t1731) OR FIREABLE(t1730) OR FIREABLE(t1729) OR FIREABLE(t1728) OR FIREABLE(t1727) OR FIREABLE(t1726) OR FIREABLE(t1725) OR FIREABLE(t1724) OR FIREABLE(t1723) OR FIREABLE(t1722) OR FIREABLE(t1721) OR FIREABLE(t1720) OR FIREABLE(t1719) OR FIREABLE(t1718) OR FIREABLE(t1717) OR FIREABLE(t1716) OR FIREABLE(t1715) OR FIREABLE(t1714) OR FIREABLE(t1713) OR FIREABLE(t1712) OR FIREABLE(t1711) OR FIREABLE(t1710) OR FIREABLE(t1709) OR FIREABLE(t1708) OR FIREABLE(t1707) OR FIREABLE(t1706) OR FIREABLE(t1705) OR FIREABLE(t1704) OR FIREABLE(t1703) OR FIREABLE(t1702) OR FIREABLE(t1701) OR FIREABLE(t1700) OR FIREABLE(t1699) OR FIREABLE(t1698) OR FIREABLE(t1697) OR FIREABLE(t1696) OR FIREABLE(t1695) OR FIREABLE(t1694) OR FIREABLE(t1693) OR FIREABLE(t1692) OR FIREABLE(t1691) OR FIREABLE(t1690) OR FIREABLE(t1689) OR FIREABLE(t1688) OR FIREABLE(t1687) OR FIREABLE(t1686) OR FIREABLE(t1685) OR FIREABLE(t1684) OR FIREABLE(t1683) OR FIREABLE(t1682) OR FIREABLE(t1681) OR FIREABLE(t1680)))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:425
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:425
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t3725) OR FIREABLE(t3724) OR FIREABLE(t3723) OR FIREABLE(t3722) OR FIREABLE(t3721) OR FIREABLE(t3720) OR FIREABLE(t3719) OR FIREABLE(t3718) OR FIREABLE(t3717) OR FIREABLE(t3716) OR FIREABLE(t3715) OR FIREABLE(t3714) OR FIREABLE(t3713) OR FIREABLE(t3712) OR FIREABLE(t3711) OR FIREABLE(t3710) OR FIREABLE(t3709) OR FIREABLE(t3708) OR FIREABLE(t3707) OR FIREABLE(t3706) OR ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (FIREABLE(t3725) OR FIREABLE(t3724) OR FIREABLE(t3723) OR FIREABLE(t3722) OR FIREABLE(t3721) OR FIREABLE(t3720) OR FIREABLE(t3719) OR FIREABLE(t3718) OR FIREABLE(t3717) OR FIREABLE(t3716) OR FIREABLE(t3715) OR FIREABLE(t3714) OR FIREABLE(t3713) OR FIREABLE(t3712) OR FIREABLE(t3711) OR FIREABLE(t3710) OR FIREABLE(t3709) OR FIREABLE(t3708) OR FIREABLE(t3707) OR FIREABLE(t3706) OR ... (shortened)
lola: processed formula length: 797
lola: 22 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N20-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-V80P50N20-LTLFireability-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t3727) OR FIREABLE(t3726))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (FIREABLE(t3727) OR FIREABLE(t3726))
lola: processed formula length: 37
lola: 22 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N20-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-V80P50N20-LTLFireability-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t3727) OR FIREABLE(t3726))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (FIREABLE(t3727) OR FIREABLE(t3726))
lola: processed formula length: 37
lola: 22 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N20-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-V80P50N20-LTLFireability-8 FALSE 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(t3604)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t3604)
lola: processed formula length: 15
lola: 22 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N20-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-V80P50N20-LTLFireability-12 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 (X (G ((FIREABLE(t3603) OR FIREABLE(t3602) OR FIREABLE(t3601) OR FIREABLE(t3600) OR FIREABLE(t3599) OR FIREABLE(t3598) OR FIREABLE(t3597) OR FIREABLE(t3596) OR FIREABLE(t3595) OR FIREABLE(t3594) OR FIREABLE(t3593) OR FIREABLE(t3592) OR FIREABLE(t3591) OR FIREABLE(t3590) OR FIREABLE(t3589) OR FIREABLE(t3588) OR FIREABLE(t3587) OR FIREABLE(t3586) OR FIREABLE(t3585) 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(t3603) OR FIREABLE(t3602) OR FIREABLE(t3601) OR FIREABLE(t3600) OR FIREABLE(t3599) OR FIREABLE(t3598) OR FIREABLE(t3597) OR FIREABLE(t3596) OR FIREABLE(t3595) OR FIREABLE(t3594) OR FIREABLE(t3593) OR FIREABLE(t3592) OR FIREABLE(t3591) OR FIREABLE(t3590) OR FIREABLE(t3589) OR FIREABLE(t3588) OR FIREABLE(t3587) OR FIREABLE(t3586) OR FIREABLE(t3585) OR FIREABL... (shortened)
lola: processed formula length: 33613
lola: 22 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N20-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: 661 markings, 661 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V80P50N20-LTLFireability-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (FIREABLE(t1923)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (FIREABLE(t1923)))
lola: processed formula length: 23
lola: 22 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N20-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: 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: 661 markings, 661 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V80P50N20-LTLFireability-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X (F ((FIREABLE(t3725) OR FIREABLE(t3724) OR FIREABLE(t3723) OR FIREABLE(t3722) OR FIREABLE(t3721) OR FIREABLE(t3720) OR FIREABLE(t3719) OR FIREABLE(t3718) OR FIREABLE(t3717) OR FIREABLE(t3716) OR FIREABLE(t3715) OR FIREABLE(t3714) OR FIREABLE(t3713) OR FIREABLE(t3712) OR FIREABLE(t3711) OR FIREABLE(t3710) OR FIREABLE(t3709) OR FIREABLE(t3708) OR FIREABLE(t3707) OR FIREABLE(... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X (F ((FIREABLE(t3725) OR FIREABLE(t3724) OR FIREABLE(t3723) OR FIREABLE(t3722) OR FIREABLE(t3721) OR FIREABLE(t3720) OR FIREABLE(t3719) OR FIREABLE(t3718) OR FIREABLE(t3717) OR FIREABLE(t3716) OR FIREABLE(t3715) OR FIREABLE(t3714) OR FIREABLE(t3713) OR FIREABLE(t3712) OR FIREABLE(t3711) OR FIREABLE(t3710) OR FIREABLE(t3709) OR FIREABLE(t3708) OR FIREABLE(t3707) OR FIREABLE(... (shortened)
lola: processed formula length: 855
lola: 22 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N20-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: 57743 markings, 126045 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V80P50N20-LTLFireability-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((FIREABLE(t1920) OR FIREABLE(t1919) OR FIREABLE(t1918) OR FIREABLE(t1917) OR FIREABLE(t1916) OR FIREABLE(t1915) OR FIREABLE(t1914) OR FIREABLE(t1913) OR FIREABLE(t1912) OR FIREABLE(t1911) OR FIREABLE(t1910) OR FIREABLE(t1909) OR FIREABLE(t1908) OR FIREABLE(t1907) OR FIREABLE(t1906) OR FIREABLE(t1905) OR FIREABLE(t1904) OR FIREABLE(t1903) OR FIREABLE(t1902) OR FIREABLE(t190... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((FIREABLE(t1920) OR FIREABLE(t1919) OR FIREABLE(t1918) OR FIREABLE(t1917) OR FIREABLE(t1916) OR FIREABLE(t1915) OR FIREABLE(t1914) OR FIREABLE(t1913) OR FIREABLE(t1912) OR FIREABLE(t1911) OR FIREABLE(t1910) OR FIREABLE(t1909) OR FIREABLE(t1908) OR FIREABLE(t1907) OR FIREABLE(t1906) OR FIREABLE(t1905) OR FIREABLE(t1904) OR FIREABLE(t1903) OR FIREABLE(t1902) OR FIREABLE(t190... (shortened)
lola: processed formula length: 1605
lola: 22 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N20-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: 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: 661 markings, 661 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V80P50N20-LTLFireability-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 446 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(t1922) OR FIREABLE(t1921))))
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(t1922) AND NOT FIREABLE(t1921))
lola: processed formula length: 45
lola: 24 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N20-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: 1525 markings, 3123 edges, 305 markings/sec, 0 secs
lola: 3293 markings, 7066 edges, 354 markings/sec, 5 secs
lola: 4645 markings, 10084 edges, 270 markings/sec, 10 secs
lola: 6016 markings, 12803 edges, 274 markings/sec, 15 secs
lola: 7547 markings, 15893 edges, 306 markings/sec, 20 secs
lola: 9216 markings, 19156 edges, 334 markings/sec, 25 secs
lola: 11049 markings, 22735 edges, 367 markings/sec, 30 secs
lola: 12944 markings, 26436 edges, 379 markings/sec, 35 secs
lola: 14876 markings, 30210 edges, 386 markings/sec, 40 secs
lola: 16829 markings, 34078 edges, 391 markings/sec, 45 secs
lola: 18685 markings, 37742 edges, 371 markings/sec, 50 secs
lola: 20497 markings, 41335 edges, 362 markings/sec, 55 secs
lola: 22434 markings, 45069 edges, 387 markings/sec, 60 secs
lola: 24332 markings, 48814 edges, 380 markings/sec, 65 secs
lola: 26399 markings, 52847 edges, 413 markings/sec, 70 secs
lola: 29028 markings, 57978 edges, 526 markings/sec, 75 secs
lola: 29726 markings, 59356 edges, 140 markings/sec, 80 secs
lola: 30422 markings, 60732 edges, 139 markings/sec, 85 secs
lola: 31573 markings, 62941 edges, 230 markings/sec, 90 secs
lola: 32870 markings, 65511 edges, 259 markings/sec, 95 secs
lola: 34173 markings, 68015 edges, 261 markings/sec, 100 secs
lola: 35650 markings, 70939 edges, 295 markings/sec, 105 secs
lola: 36297 markings, 72169 edges, 129 markings/sec, 110 secs
lola: 37625 markings, 74793 edges, 266 markings/sec, 115 secs
lola: 38979 markings, 77410 edges, 271 markings/sec, 120 secs
lola: 40946 markings, 81113 edges, 393 markings/sec, 125 secs
lola: 42986 markings, 84960 edges, 408 markings/sec, 130 secs
lola: 44916 markings, 91268 edges, 386 markings/sec, 135 secs
lola: 46653 markings, 96919 edges, 347 markings/sec, 140 secs
lola: 49407 markings, 105321 edges, 551 markings/sec, 145 secs
lola: 52191 markings, 113508 edges, 557 markings/sec, 150 secs
lola: 54696 markings, 120924 edges, 501 markings/sec, 155 secs
lola: 57372 markings, 128847 edges, 535 markings/sec, 160 secs
lola: 60094 markings, 137024 edges, 544 markings/sec, 165 secs
lola: 63104 markings, 145892 edges, 602 markings/sec, 170 secs
lola: 65976 markings, 154386 edges, 574 markings/sec, 175 secs
lola: 68856 markings, 162867 edges, 576 markings/sec, 180 secs
lola: 71888 markings, 171801 edges, 606 markings/sec, 185 secs
lola: 72334 markings, 173196 edges, 89 markings/sec, 190 secs
lola: 72773 markings, 174557 edges, 88 markings/sec, 195 secs
lola: 73276 markings, 175978 edges, 101 markings/sec, 200 secs
lola: 78066 markings, 190125 edges, 958 markings/sec, 205 secs
lola: 78718 markings, 192025 edges, 130 markings/sec, 210 secs
lola: 79795 markings, 195144 edges, 215 markings/sec, 215 secs
lola: 80257 markings, 196512 edges, 92 markings/sec, 220 secs
lola: 80913 markings, 198402 edges, 131 markings/sec, 225 secs
lola: 82255 markings, 202364 edges, 268 markings/sec, 230 secs
lola: 83587 markings, 206352 edges, 266 markings/sec, 235 secs
lola: 84826 markings, 209838 edges, 248 markings/sec, 240 secs
lola: 86184 markings, 213811 edges, 272 markings/sec, 245 secs
lola: 88102 markings, 220042 edges, 384 markings/sec, 250 secs
lola: 89674 markings, 225157 edges, 314 markings/sec, 255 secs
lola: 93147 markings, 235541 edges, 695 markings/sec, 260 secs
lola: 95638 markings, 242956 edges, 498 markings/sec, 265 secs
lola: 98179 markings, 250528 edges, 508 markings/sec, 270 secs
lola: 100862 markings, 258374 edges, 537 markings/sec, 275 secs
lola: 103946 markings, 267631 edges, 617 markings/sec, 280 secs
lola: 107025 markings, 276647 edges, 616 markings/sec, 285 secs
lola: 109977 markings, 285502 edges, 590 markings/sec, 290 secs
lola: 114395 markings, 298514 edges, 884 markings/sec, 295 secs
lola: 114879 markings, 299916 edges, 97 markings/sec, 300 secs
lola: 115357 markings, 301394 edges, 96 markings/sec, 305 secs
lola: 115841 markings, 302780 edges, 97 markings/sec, 310 secs
lola: 120718 markings, 317192 edges, 975 markings/sec, 315 secs
lola: 121447 markings, 319387 edges, 146 markings/sec, 320 secs
lola: 122523 markings, 322441 edges, 215 markings/sec, 325 secs
lola: 123034 markings, 324024 edges, 102 markings/sec, 330 secs
lola: 123900 markings, 326546 edges, 173 markings/sec, 335 secs
lola: 125367 markings, 330857 edges, 293 markings/sec, 340 secs
lola: 126782 markings, 334956 edges, 283 markings/sec, 345 secs
lola: 128231 markings, 338983 edges, 290 markings/sec, 350 secs
lola: 129987 markings, 344596 edges, 351 markings/sec, 355 secs
lola: 131751 markings, 350327 edges, 353 markings/sec, 360 secs
lola: 134162 markings, 357808 edges, 482 markings/sec, 365 secs
lola: 137410 markings, 367413 edges, 650 markings/sec, 370 secs
lola: 140078 markings, 375268 edges, 534 markings/sec, 375 secs
lola: 142984 markings, 383865 edges, 581 markings/sec, 380 secs
lola: 145928 markings, 392574 edges, 589 markings/sec, 385 secs
lola: 148731 markings, 400894 edges, 561 markings/sec, 390 secs
lola: 151445 markings, 409046 edges, 543 markings/sec, 395 secs
lola: 154301 markings, 417476 edges, 571 markings/sec, 400 secs
lola: 157277 markings, 426179 edges, 595 markings/sec, 405 secs
lola: 157734 markings, 427630 edges, 91 markings/sec, 410 secs
lola: 158177 markings, 428969 edges, 89 markings/sec, 415 secs
lola: 158981 markings, 431272 edges, 161 markings/sec, 420 secs
lola: 163495 markings, 444516 edges, 903 markings/sec, 425 secs
lola: 164227 markings, 446714 edges, 146 markings/sec, 430 secs
lola: 165308 markings, 449909 edges, 216 markings/sec, 435 secs
lola: 165838 markings, 451557 edges, 106 markings/sec, 440 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no yes unknown no unknown unknown no no no unknown unknown no unknown no unknown
lola: memory consumption: 58528 KB
lola: time consumption: 447 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 446 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(t3727) OR FIREABLE(t3726))))
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(t3727) AND NOT FIREABLE(t3726))
lola: processed formula length: 45
lola: 24 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N20-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: 2903 markings, 4660 edges, 581 markings/sec, 0 secs
lola: 6728 markings, 11015 edges, 765 markings/sec, 5 secs
lola: 9261 markings, 15155 edges, 507 markings/sec, 10 secs
lola: 12595 markings, 20669 edges, 667 markings/sec, 15 secs
lola: 16227 markings, 26716 edges, 726 markings/sec, 20 secs
lola: 19909 markings, 32822 edges, 736 markings/sec, 25 secs
lola: 23468 markings, 38708 edges, 712 markings/sec, 30 secs
lola: 27066 markings, 44657 edges, 720 markings/sec, 35 secs
lola: 30735 markings, 50733 edges, 734 markings/sec, 40 secs
lola: 34453 markings, 56834 edges, 744 markings/sec, 45 secs
lola: 38380 markings, 63348 edges, 785 markings/sec, 50 secs
lola: 42131 markings, 69599 edges, 750 markings/sec, 55 secs
lola: 45811 markings, 75679 edges, 736 markings/sec, 60 secs
lola: 49480 markings, 81743 edges, 734 markings/sec, 65 secs
lola: 52978 markings, 87579 edges, 700 markings/sec, 70 secs
lola: 55782 markings, 92152 edges, 561 markings/sec, 75 secs
lola: 59437 markings, 98261 edges, 731 markings/sec, 80 secs
lola: 62991 markings, 104133 edges, 711 markings/sec, 85 secs
lola: 66472 markings, 109944 edges, 696 markings/sec, 90 secs
lola: 69244 markings, 114467 edges, 554 markings/sec, 95 secs
lola: 72674 markings, 120189 edges, 686 markings/sec, 100 secs
lola: 76234 markings, 126068 edges, 712 markings/sec, 105 secs
lola: 79414 markings, 131375 edges, 636 markings/sec, 110 secs
lola: 82700 markings, 136817 edges, 657 markings/sec, 115 secs
lola: 86388 markings, 142915 edges, 738 markings/sec, 120 secs
lola: 90077 markings, 149079 edges, 738 markings/sec, 125 secs
lola: 93078 markings, 156111 edges, 600 markings/sec, 130 secs
lola: 96191 markings, 163378 edges, 623 markings/sec, 135 secs
lola: 98154 markings, 167961 edges, 393 markings/sec, 140 secs
lola: 101032 markings, 174644 edges, 576 markings/sec, 145 secs
lola: 104451 markings, 182578 edges, 684 markings/sec, 150 secs
lola: 108041 markings, 191026 edges, 718 markings/sec, 155 secs
lola: 111280 markings, 198589 edges, 648 markings/sec, 160 secs
lola: 114700 markings, 206555 edges, 684 markings/sec, 165 secs
lola: 118218 markings, 214749 edges, 704 markings/sec, 170 secs
lola: 121839 markings, 223278 edges, 724 markings/sec, 175 secs
lola: 125158 markings, 231049 edges, 664 markings/sec, 180 secs
lola: 128698 markings, 239326 edges, 708 markings/sec, 185 secs
lola: 132571 markings, 248408 edges, 775 markings/sec, 190 secs
lola: 136234 markings, 256972 edges, 733 markings/sec, 195 secs
lola: 139881 markings, 265468 edges, 729 markings/sec, 200 secs
lola: 143529 markings, 273962 edges, 730 markings/sec, 205 secs
lola: 147082 markings, 282334 edges, 711 markings/sec, 210 secs
lola: 150337 markings, 289962 edges, 651 markings/sec, 215 secs
lola: 154394 markings, 299372 edges, 811 markings/sec, 220 secs
lola: 157965 markings, 307801 edges, 714 markings/sec, 225 secs
lola: 161662 markings, 316400 edges, 739 markings/sec, 230 secs
lola: 165036 markings, 324346 edges, 675 markings/sec, 235 secs
lola: 168444 markings, 332239 edges, 682 markings/sec, 240 secs
lola: 172582 markings, 342048 edges, 828 markings/sec, 245 secs
lola: 176399 markings, 350935 edges, 763 markings/sec, 250 secs
lola: 180084 markings, 359502 edges, 737 markings/sec, 255 secs
lola: 183265 markings, 367047 edges, 636 markings/sec, 260 secs
lola: 186378 markings, 374303 edges, 623 markings/sec, 265 secs
lola: 188673 markings, 379536 edges, 459 markings/sec, 270 secs
lola: 192336 markings, 388093 edges, 733 markings/sec, 275 secs
lola: 196071 markings, 396907 edges, 747 markings/sec, 280 secs
lola: 199770 markings, 405550 edges, 740 markings/sec, 285 secs
lola: 203334 markings, 413887 edges, 713 markings/sec, 290 secs
lola: 206934 markings, 422303 edges, 720 markings/sec, 295 secs
lola: 210551 markings, 430743 edges, 723 markings/sec, 300 secs
lola: 214277 markings, 439425 edges, 745 markings/sec, 305 secs
lola: 218251 markings, 448685 edges, 795 markings/sec, 310 secs
lola: 221990 markings, 457532 edges, 748 markings/sec, 315 secs
lola: 225807 markings, 466438 edges, 763 markings/sec, 320 secs
lola: 229756 markings, 475659 edges, 790 markings/sec, 325 secs
lola: 233788 markings, 485076 edges, 806 markings/sec, 330 secs
lola: 237791 markings, 494413 edges, 801 markings/sec, 335 secs
lola: 241829 markings, 503951 edges, 808 markings/sec, 340 secs
lola: 245634 markings, 512830 edges, 761 markings/sec, 345 secs
lola: 249307 markings, 521438 edges, 735 markings/sec, 350 secs
lola: 253486 markings, 531118 edges, 836 markings/sec, 355 secs
lola: 257250 markings, 540020 edges, 753 markings/sec, 360 secs
lola: 261219 markings, 549279 edges, 794 markings/sec, 365 secs
lola: 265133 markings, 558478 edges, 783 markings/sec, 370 secs
lola: 268548 markings, 566463 edges, 683 markings/sec, 375 secs
lola: 272501 markings, 575757 edges, 791 markings/sec, 380 secs
lola: 275793 markings, 583425 edges, 658 markings/sec, 385 secs
lola: 278010 markings, 588599 edges, 443 markings/sec, 390 secs
lola: 281429 markings, 596539 edges, 684 markings/sec, 395 secs
lola: 285079 markings, 605082 edges, 730 markings/sec, 400 secs
lola: 288709 markings, 613538 edges, 726 markings/sec, 405 secs
lola: 292323 markings, 622029 edges, 723 markings/sec, 410 secs
lola: 296096 markings, 630752 edges, 755 markings/sec, 415 secs
lola: 300067 markings, 640107 edges, 794 markings/sec, 420 secs
lola: 303839 markings, 648962 edges, 754 markings/sec, 425 secs
lola: 307495 markings, 657493 edges, 731 markings/sec, 430 secs
lola: 311240 markings, 666231 edges, 749 markings/sec, 435 secs
lola: 315048 markings, 675109 edges, 762 markings/sec, 440 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no yes unknown no unknown unknown no no no unknown unknown no unknown no unknown
lola: memory consumption: 67652 KB
lola: time consumption: 893 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 446 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F (FIREABLE(t3604))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (FIREABLE(t3604))))
lola: processed formula length: 27
lola: 22 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N20-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: 1792 markings, 2837 edges, 358 markings/sec, 0 secs
lola: 3659 markings, 5862 edges, 373 markings/sec, 5 secs
lola: 5355 markings, 8698 edges, 339 markings/sec, 10 secs
lola: 7263 markings, 11777 edges, 382 markings/sec, 15 secs
lola: 9031 markings, 14735 edges, 354 markings/sec, 20 secs
lola: 10842 markings, 17659 edges, 362 markings/sec, 25 secs
lola: 12676 markings, 20732 edges, 367 markings/sec, 30 secs
lola: 15915 markings, 26158 edges, 648 markings/sec, 35 secs
lola: 19156 markings, 31607 edges, 648 markings/sec, 40 secs
lola: 21908 markings, 36180 edges, 550 markings/sec, 45 secs
lola: 23846 markings, 40797 edges, 388 markings/sec, 50 secs
lola: 25566 markings, 44691 edges, 344 markings/sec, 55 secs
lola: 27355 markings, 48949 edges, 358 markings/sec, 60 secs
lola: 29060 markings, 52803 edges, 341 markings/sec, 65 secs
lola: 30964 markings, 57308 edges, 381 markings/sec, 70 secs
lola: 32587 markings, 60838 edges, 325 markings/sec, 75 secs
lola: 34482 markings, 65148 edges, 379 markings/sec, 80 secs
lola: 37359 markings, 71908 edges, 575 markings/sec, 85 secs
lola: 40755 markings, 79995 edges, 679 markings/sec, 90 secs
lola: 43214 markings, 85799 edges, 492 markings/sec, 95 secs
lola: 45130 markings, 90054 edges, 383 markings/sec, 100 secs
lola: 46868 markings, 94009 edges, 348 markings/sec, 105 secs
lola: 48589 markings, 98097 edges, 344 markings/sec, 110 secs
lola: 50330 markings, 102038 edges, 348 markings/sec, 115 secs
lola: 52176 markings, 106418 edges, 369 markings/sec, 120 secs
lola: 54050 markings, 110538 edges, 375 markings/sec, 125 secs
lola: 55942 markings, 114826 edges, 378 markings/sec, 130 secs
lola: 59123 markings, 122292 edges, 636 markings/sec, 135 secs
lola: 62426 markings, 130157 edges, 661 markings/sec, 140 secs
lola: 64816 markings, 135752 edges, 478 markings/sec, 145 secs
lola: 66663 markings, 139895 edges, 369 markings/sec, 150 secs
lola: 68476 markings, 144034 edges, 363 markings/sec, 155 secs
lola: 70247 markings, 148231 edges, 354 markings/sec, 160 secs
lola: 71932 markings, 152053 edges, 337 markings/sec, 165 secs
lola: 73793 markings, 156458 edges, 372 markings/sec, 170 secs
lola: 75636 markings, 160543 edges, 369 markings/sec, 175 secs
lola: 77432 markings, 164578 edges, 359 markings/sec, 180 secs
lola: 80535 markings, 171861 edges, 621 markings/sec, 185 secs
lola: 83974 markings, 179975 edges, 688 markings/sec, 190 secs
lola: 86546 markings, 186034 edges, 514 markings/sec, 195 secs
lola: 88393 markings, 190188 edges, 369 markings/sec, 200 secs
lola: 90061 markings, 193960 edges, 334 markings/sec, 205 secs
lola: 91680 markings, 197820 edges, 324 markings/sec, 210 secs
lola: 93232 markings, 201378 edges, 310 markings/sec, 215 secs
lola: 94812 markings, 205044 edges, 316 markings/sec, 220 secs
lola: 96569 markings, 209122 edges, 351 markings/sec, 225 secs
lola: 98348 markings, 213019 edges, 356 markings/sec, 230 secs
lola: 100341 markings, 217515 edges, 399 markings/sec, 235 secs
lola: 103749 markings, 225567 edges, 682 markings/sec, 240 secs
lola: 106639 markings, 232442 edges, 578 markings/sec, 245 secs
lola: 109320 markings, 238511 edges, 536 markings/sec, 250 secs
lola: 111300 markings, 243246 edges, 396 markings/sec, 255 secs
lola: 113025 markings, 247144 edges, 345 markings/sec, 260 secs
lola: 114801 markings, 251379 edges, 355 markings/sec, 265 secs
lola: 116499 markings, 255193 edges, 340 markings/sec, 270 secs
lola: 118452 markings, 259797 edges, 391 markings/sec, 275 secs
lola: 120113 markings, 263376 edges, 332 markings/sec, 280 secs
lola: 121909 markings, 267424 edges, 359 markings/sec, 285 secs
lola: 125158 markings, 275051 edges, 650 markings/sec, 290 secs
lola: 128453 markings, 282795 edges, 659 markings/sec, 295 secs
lola: 131015 markings, 288671 edges, 512 markings/sec, 300 secs
lola: 133004 markings, 293399 edges, 398 markings/sec, 305 secs
lola: 134825 markings, 297533 edges, 364 markings/sec, 310 secs
lola: 136576 markings, 301698 edges, 350 markings/sec, 315 secs
lola: 138279 markings, 305550 edges, 341 markings/sec, 320 secs
lola: 140187 markings, 310062 edges, 382 markings/sec, 325 secs
lola: 141879 markings, 313699 edges, 338 markings/sec, 330 secs
lola: 143386 markings, 317079 edges, 301 markings/sec, 335 secs
lola: 146362 markings, 324034 edges, 595 markings/sec, 340 secs
lola: 149672 markings, 331810 edges, 662 markings/sec, 345 secs
lola: 152390 markings, 338233 edges, 544 markings/sec, 350 secs
lola: 154484 markings, 342983 edges, 419 markings/sec, 355 secs
lola: 156338 markings, 347215 edges, 371 markings/sec, 360 secs
lola: 158106 markings, 351407 edges, 354 markings/sec, 365 secs
lola: 159719 markings, 355051 edges, 323 markings/sec, 370 secs
lola: 161389 markings, 358998 edges, 334 markings/sec, 375 secs
lola: 162940 markings, 362454 edges, 310 markings/sec, 380 secs
lola: 164520 markings, 366005 edges, 316 markings/sec, 385 secs
lola: 166250 markings, 369927 edges, 346 markings/sec, 390 secs
lola: 169518 markings, 377612 edges, 654 markings/sec, 395 secs
lola: 172709 markings, 385095 edges, 638 markings/sec, 400 secs
lola: 175268 markings, 390979 edges, 512 markings/sec, 405 secs
lola: 177038 markings, 395193 edges, 354 markings/sec, 410 secs
lola: 178772 markings, 399130 edges, 347 markings/sec, 415 secs
lola: 180708 markings, 403718 edges, 387 markings/sec, 420 secs
lola: 182469 markings, 407723 edges, 352 markings/sec, 425 secs
lola: 184382 markings, 412243 edges, 383 markings/sec, 430 secs
lola: 186076 markings, 415877 edges, 339 markings/sec, 435 secs
lola: 187510 markings, 419078 edges, 287 markings/sec, 440 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no yes unknown no unknown unknown no no no unknown unknown no unknown no unknown
lola: memory consumption: 73196 KB
lola: time consumption: 1339 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 446 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((FIREABLE(t1920) OR FIREABLE(t1919) OR FIREABLE(t1918) OR FIREABLE(t1917) OR FIREABLE(t1916) OR FIREABLE(t1915) OR FIREABLE(t1914) OR FIREABLE(t1913) OR FIREABLE(t1912) OR FIREABLE(t1911) OR FIREABLE(t1910) OR FIREABLE(t1909) OR FIREABLE(t1908) OR FIREABLE(t1907) OR FIREABLE(t1906) OR FIREABLE(t1905) OR FIREABLE(t1904) OR FIREABLE(t1903) OR FIREABLE(t1902) OR FIREABLE(t... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((FIREABLE(t1920) OR FIREABLE(t1919) OR FIREABLE(t1918) OR FIREABLE(t1917) OR FIREABLE(t1916) OR FIREABLE(t1915) OR FIREABLE(t1914) OR FIREABLE(t1913) OR FIREABLE(t1912) OR FIREABLE(t1911) OR FIREABLE(t1910) OR FIREABLE(t1909) OR FIREABLE(t1908) OR FIREABLE(t1907) OR FIREABLE(t1906) OR FIREABLE(t1905) OR FIREABLE(t1904) OR FIREABLE(t1903) OR FIREABLE(t1902) OR FIREABLE(t... (shortened)
lola: processed formula length: 1609
lola: 22 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N20-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: 2150 markings, 4269 edges, 430 markings/sec, 0 secs
lola: 4020 markings, 8769 edges, 374 markings/sec, 5 secs
lola: 5922 markings, 13404 edges, 380 markings/sec, 10 secs
lola: 7809 markings, 17997 edges, 377 markings/sec, 15 secs
lola: 9628 markings, 22419 edges, 364 markings/sec, 20 secs
lola: 11562 markings, 27083 edges, 387 markings/sec, 25 secs
lola: 13396 markings, 31544 edges, 367 markings/sec, 30 secs
lola: 15198 markings, 35922 edges, 360 markings/sec, 35 secs
lola: 16994 markings, 40285 edges, 359 markings/sec, 40 secs
lola: 18738 markings, 44516 edges, 349 markings/sec, 45 secs
lola: 20580 markings, 48996 edges, 368 markings/sec, 50 secs
lola: 22436 markings, 53514 edges, 371 markings/sec, 55 secs
lola: 24196 markings, 57782 edges, 352 markings/sec, 60 secs
lola: 26087 markings, 62346 edges, 378 markings/sec, 65 secs
lola: 29164 markings, 69078 edges, 615 markings/sec, 70 secs
lola: 35156 markings, 80974 edges, 1198 markings/sec, 75 secs
lola: 42515 markings, 95041 edges, 1472 markings/sec, 80 secs
lola: 54646 markings, 130492 edges, 2426 markings/sec, 85 secs
lola: 59712 markings, 149609 edges, 1013 markings/sec, 90 secs
lola: 63668 markings, 164606 edges, 791 markings/sec, 95 secs
lola: 68431 markings, 182616 edges, 953 markings/sec, 100 secs
lola: 80857 markings, 226659 edges, 2485 markings/sec, 105 secs
lola: 92581 markings, 261423 edges, 2345 markings/sec, 110 secs
lola: 106786 markings, 309797 edges, 2841 markings/sec, 115 secs
lola: 111842 markings, 329315 edges, 1011 markings/sec, 120 secs
lola: 117994 markings, 353099 edges, 1230 markings/sec, 125 secs
lola: 136610 markings, 415775 edges, 3723 markings/sec, 130 secs
lola: 153868 markings, 471698 edges, 3452 markings/sec, 135 secs
lola: 159444 markings, 493237 edges, 1115 markings/sec, 140 secs
lola: 164638 markings, 513315 edges, 1039 markings/sec, 145 secs
lola: 182334 markings, 574990 edges, 3539 markings/sec, 150 secs
lola: 200684 markings, 632612 edges, 3670 markings/sec, 155 secs
lola: 207155 markings, 657600 edges, 1294 markings/sec, 160 secs
lola: 212182 markings, 677002 edges, 1005 markings/sec, 165 secs
lola: 228708 markings, 735937 edges, 3305 markings/sec, 170 secs
lola: 242910 markings, 776389 edges, 2840 markings/sec, 175 secs
lola: 254927 markings, 822203 edges, 2403 markings/sec, 180 secs
lola: 259893 markings, 841363 edges, 993 markings/sec, 185 secs
lola: 275184 markings, 897088 edges, 3058 markings/sec, 190 secs
lola: 289343 markings, 938753 edges, 2832 markings/sec, 195 secs
lola: 302696 markings, 986722 edges, 2671 markings/sec, 200 secs
lola: 307716 markings, 1006092 edges, 1004 markings/sec, 205 secs
lola: 321849 markings, 1058830 edges, 2827 markings/sec, 210 secs
lola: 336216 markings, 1101625 edges, 2873 markings/sec, 215 secs
lola: 350724 markings, 1152281 edges, 2902 markings/sec, 220 secs
lola: 355927 markings, 1172395 edges, 1041 markings/sec, 225 secs
lola: 369547 markings, 1223875 edges, 2724 markings/sec, 230 secs
lola: 383758 markings, 1266300 edges, 2842 markings/sec, 235 secs
lola: 398305 markings, 1316118 edges, 2909 markings/sec, 240 secs
lola: 403155 markings, 1334886 edges, 970 markings/sec, 245 secs
lola: 408730 markings, 1356418 edges, 1115 markings/sec, 250 secs
lola: 426366 markings, 1416463 edges, 3527 markings/sec, 255 secs
lola: 443619 markings, 1471209 edges, 3451 markings/sec, 260 secs
lola: 449702 markings, 1494713 edges, 1217 markings/sec, 265 secs
lola: 454111 markings, 1511786 edges, 882 markings/sec, 270 secs
lola: 470085 markings, 1569585 edges, 3195 markings/sec, 275 secs
lola: 482746 markings, 1606751 edges, 2532 markings/sec, 280 secs
lola: 495986 markings, 1653556 edges, 2648 markings/sec, 285 secs
lola: 501332 markings, 1674168 edges, 1069 markings/sec, 290 secs
lola: 515177 markings, 1726487 edges, 2769 markings/sec, 295 secs
lola: 529856 markings, 1770207 edges, 2936 markings/sec, 300 secs
lola: 544686 markings, 1821716 edges, 2966 markings/sec, 305 secs
lola: 550008 markings, 1842261 edges, 1064 markings/sec, 310 secs
lola: 563982 markings, 1894904 edges, 2795 markings/sec, 315 secs
lola: 578459 markings, 1937823 edges, 2895 markings/sec, 320 secs
lola: 593078 markings, 1988694 edges, 2924 markings/sec, 325 secs
lola: 598339 markings, 2008960 edges, 1052 markings/sec, 330 secs
lola: 611558 markings, 2059246 edges, 2644 markings/sec, 335 secs
lola: 625977 markings, 2102541 edges, 2884 markings/sec, 340 secs
lola: 641129 markings, 2154347 edges, 3030 markings/sec, 345 secs
lola: 646377 markings, 2174559 edges, 1050 markings/sec, 350 secs
lola: 656015 markings, 2211849 edges, 1928 markings/sec, 355 secs
lola: 672884 markings, 2265326 edges, 3374 markings/sec, 360 secs
lola: 688648 markings, 2317936 edges, 3153 markings/sec, 365 secs
lola: 693977 markings, 2338474 edges, 1066 markings/sec, 370 secs
lola: 700162 markings, 2362392 edges, 1237 markings/sec, 375 secs
lola: 718948 markings, 2425565 edges, 3757 markings/sec, 380 secs
lola: 736077 markings, 2481159 edges, 3426 markings/sec, 385 secs
lola: 741503 markings, 2502144 edges, 1085 markings/sec, 390 secs
lola: 746537 markings, 2521597 edges, 1007 markings/sec, 395 secs
lola: 763053 markings, 2579839 edges, 3303 markings/sec, 400 secs
lola: 776149 markings, 2617236 edges, 2619 markings/sec, 405 secs
lola: 788318 markings, 2662998 edges, 2434 markings/sec, 410 secs
lola: 793380 markings, 2682541 edges, 1012 markings/sec, 415 secs
lola: 808606 markings, 2738197 edges, 3045 markings/sec, 420 secs
lola: 822870 markings, 2780192 edges, 2853 markings/sec, 425 secs
lola: 836095 markings, 2827623 edges, 2645 markings/sec, 430 secs
lola: 841001 markings, 2846540 edges, 981 markings/sec, 435 secs
lola: 854075 markings, 2896263 edges, 2615 markings/sec, 440 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no yes unknown no unknown unknown no no no unknown unknown no unknown no unknown
lola: memory consumption: 175604 KB
lola: time consumption: 1785 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 446 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((FIREABLE(t1920) OR FIREABLE(t1919) OR FIREABLE(t1918) OR FIREABLE(t1917) OR FIREABLE(t1916) OR FIREABLE(t1915) OR FIREABLE(t1914) OR FIREABLE(t1913) OR FIREABLE(t1912) OR FIREABLE(t1911) OR FIREABLE(t1910) OR FIREABLE(t1909) OR FIREABLE(t1908) OR FIREABLE(t1907) OR FIREABLE(t1906) OR FIREABLE(t1905) OR FIREABLE(t1904) OR FIREABLE(t1903) OR FIREABLE(t1902) OR FIREABLE(t... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((FIREABLE(t1920) OR FIREABLE(t1919) OR FIREABLE(t1918) OR FIREABLE(t1917) OR FIREABLE(t1916) OR FIREABLE(t1915) OR FIREABLE(t1914) OR FIREABLE(t1913) OR FIREABLE(t1912) OR FIREABLE(t1911) OR FIREABLE(t1910) OR FIREABLE(t1909) OR FIREABLE(t1908) OR FIREABLE(t1907) OR FIREABLE(t1906) OR FIREABLE(t1905) OR FIREABLE(t1904) OR FIREABLE(t1903) OR FIREABLE(t1902) OR FIREABLE(t... (shortened)
lola: processed formula length: 1609
lola: 22 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N20-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: 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: 662 markings, 663 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V80P50N20-LTLFireability-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((FIREABLE(t1759) OR FIREABLE(t1758) OR FIREABLE(t1757) OR FIREABLE(t1756) OR FIREABLE(t1755) OR FIREABLE(t1754) OR FIREABLE(t1753) OR FIREABLE(t1752) OR FIREABLE(t1751) OR FIREABLE(t1750) OR FIREABLE(t1749) OR FIREABLE(t1748) OR FIREABLE(t1747) OR FIREABLE(t1746) OR FIREABLE(t1745) OR FIREABLE(t1744) OR FIREABLE(t1743) OR FIREABLE(t1742) OR FIREABLE(t1741) OR FIREABLE(t... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((FIREABLE(t1759) OR FIREABLE(t1758) OR FIREABLE(t1757) OR FIREABLE(t1756) OR FIREABLE(t1755) OR FIREABLE(t1754) OR FIREABLE(t1753) OR FIREABLE(t1752) OR FIREABLE(t1751) OR FIREABLE(t1750) OR FIREABLE(t1749) OR FIREABLE(t1748) OR FIREABLE(t1747) OR FIREABLE(t1746) OR FIREABLE(t1745) OR FIREABLE(t1744) OR FIREABLE(t1743) OR FIREABLE(t1742) OR FIREABLE(t1741) OR FIREABLE(t... (shortened)
lola: processed formula length: 1609
lola: 22 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N20-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: 5207 markings, 13909 edges, 1041 markings/sec, 0 secs
lola: 11192 markings, 30609 edges, 1197 markings/sec, 5 secs
lola: 17159 markings, 47186 edges, 1193 markings/sec, 10 secs
lola: 22723 markings, 62311 edges, 1113 markings/sec, 15 secs
lola: 28812 markings, 79363 edges, 1218 markings/sec, 20 secs
lola: 34480 markings, 94625 edges, 1134 markings/sec, 25 secs
lola: 40209 markings, 110642 edges, 1146 markings/sec, 30 secs
lola: 45823 markings, 126382 edges, 1123 markings/sec, 35 secs
lola: 51345 markings, 141452 edges, 1104 markings/sec, 40 secs
lola: 57149 markings, 157502 edges, 1161 markings/sec, 45 secs
lola: 63164 markings, 174286 edges, 1203 markings/sec, 50 secs
lola: 68939 markings, 190451 edges, 1155 markings/sec, 55 secs
lola: 74352 markings, 206199 edges, 1083 markings/sec, 60 secs
lola: 79551 markings, 221210 edges, 1040 markings/sec, 65 secs
lola: 85368 markings, 238077 edges, 1163 markings/sec, 70 secs
lola: 91381 markings, 255510 edges, 1203 markings/sec, 75 secs
lola: 97212 markings, 272328 edges, 1166 markings/sec, 80 secs
lola: 103061 markings, 289278 edges, 1170 markings/sec, 85 secs
lola: 109072 markings, 306992 edges, 1202 markings/sec, 90 secs
lola: 115109 markings, 324163 edges, 1207 markings/sec, 95 secs
lola: 121306 markings, 342151 edges, 1239 markings/sec, 100 secs
lola: 127390 markings, 359804 edges, 1217 markings/sec, 105 secs
lola: 133546 markings, 377601 edges, 1231 markings/sec, 110 secs
lola: 139821 markings, 395840 edges, 1255 markings/sec, 115 secs
lola: 145314 markings, 411707 edges, 1099 markings/sec, 120 secs
lola: 150741 markings, 427348 edges, 1085 markings/sec, 125 secs
lola: 154020 markings, 439277 edges, 656 markings/sec, 130 secs
lola: 158346 markings, 455682 edges, 865 markings/sec, 135 secs
lola: 162758 markings, 472407 edges, 882 markings/sec, 140 secs
lola: 166787 markings, 487686 edges, 806 markings/sec, 145 secs
lola: 169830 markings, 498643 edges, 609 markings/sec, 150 secs
lola: 173142 markings, 511236 edges, 662 markings/sec, 155 secs
lola: 176468 markings, 523842 edges, 665 markings/sec, 160 secs
lola: 179657 markings, 535940 edges, 638 markings/sec, 165 secs
lola: 182611 markings, 547140 edges, 591 markings/sec, 170 secs
lola: 185270 markings, 556652 edges, 532 markings/sec, 175 secs
lola: 188998 markings, 570763 edges, 746 markings/sec, 180 secs
lola: 192918 markings, 585644 edges, 784 markings/sec, 185 secs
lola: 196961 markings, 600938 edges, 809 markings/sec, 190 secs
lola: 201106 markings, 616700 edges, 829 markings/sec, 195 secs
lola: 204736 markings, 629467 edges, 726 markings/sec, 200 secs
lola: 208663 markings, 643843 edges, 785 markings/sec, 205 secs
lola: 212628 markings, 658297 edges, 793 markings/sec, 210 secs
lola: 217248 markings, 675150 edges, 924 markings/sec, 215 secs
lola: 221014 markings, 689370 edges, 753 markings/sec, 220 secs
lola: 223804 markings, 700075 edges, 558 markings/sec, 225 secs
lola: 226463 markings, 710288 edges, 532 markings/sec, 230 secs
lola: 229158 markings, 720667 edges, 539 markings/sec, 235 secs
lola: 231875 markings, 731077 edges, 543 markings/sec, 240 secs
lola: 234081 markings, 739501 edges, 441 markings/sec, 245 secs
lola: 236040 markings, 746968 edges, 392 markings/sec, 250 secs
lola: 238630 markings, 757177 edges, 518 markings/sec, 255 secs
lola: 240792 markings, 765350 edges, 432 markings/sec, 260 secs
lola: 243483 markings, 775908 edges, 538 markings/sec, 265 secs
lola: 245826 markings, 784987 edges, 469 markings/sec, 270 secs
lola: 248336 markings, 794729 edges, 502 markings/sec, 275 secs
lola: 250643 markings, 803650 edges, 461 markings/sec, 280 secs
lola: 253113 markings, 813452 edges, 494 markings/sec, 285 secs
lola: 255735 markings, 823714 edges, 524 markings/sec, 290 secs
lola: 257857 markings, 831891 edges, 424 markings/sec, 295 secs
lola: 259830 markings, 839702 edges, 395 markings/sec, 300 secs
lola: 262385 markings, 849534 edges, 511 markings/sec, 305 secs
lola: 264826 markings, 859074 edges, 488 markings/sec, 310 secs
lola: 267009 markings, 867516 edges, 437 markings/sec, 315 secs
lola: 269060 markings, 875420 edges, 410 markings/sec, 320 secs
lola: 270984 markings, 882809 edges, 385 markings/sec, 325 secs
lola: 273415 markings, 892535 edges, 486 markings/sec, 330 secs
lola: 275645 markings, 901152 edges, 446 markings/sec, 335 secs
lola: 277455 markings, 908082 edges, 362 markings/sec, 340 secs
lola: 279810 markings, 917499 edges, 471 markings/sec, 345 secs
lola: 282378 markings, 927304 edges, 514 markings/sec, 350 secs
lola: 285499 markings, 939569 edges, 624 markings/sec, 355 secs
lola: 288170 markings, 949958 edges, 534 markings/sec, 360 secs
lola: 290858 markings, 960408 edges, 538 markings/sec, 365 secs
lola: 293312 markings, 969926 edges, 491 markings/sec, 370 secs
lola: 295497 markings, 978361 edges, 437 markings/sec, 375 secs
lola: 297715 markings, 987128 edges, 444 markings/sec, 380 secs
lola: 300276 markings, 997163 edges, 512 markings/sec, 385 secs
lola: 301918 markings, 1002748 edges, 328 markings/sec, 390 secs
lola: 306059 markings, 1018490 edges, 828 markings/sec, 395 secs
lola: 310138 markings, 1033911 edges, 816 markings/sec, 400 secs
lola: 314062 markings, 1048824 edges, 785 markings/sec, 405 secs
lola: 317831 markings, 1063110 edges, 754 markings/sec, 410 secs
lola: 320573 markings, 1072963 edges, 548 markings/sec, 415 secs
lola: 323906 markings, 1085588 edges, 667 markings/sec, 420 secs
lola: 327305 markings, 1098482 edges, 680 markings/sec, 425 secs
lola: 330700 markings, 1111361 edges, 679 markings/sec, 430 secs
lola: 334048 markings, 1124037 edges, 670 markings/sec, 435 secs
lola: 337280 markings, 1135719 edges, 646 markings/sec, 440 secs
lola: 341171 markings, 1150492 edges, 778 markings/sec, 445 secs
lola: 345082 markings, 1165292 edges, 782 markings/sec, 450 secs
lola: 348926 markings, 1179884 edges, 769 markings/sec, 455 secs
lola: 352674 markings, 1193594 edges, 750 markings/sec, 460 secs
lola: 356688 markings, 1207797 edges, 803 markings/sec, 465 secs
lola: 360769 markings, 1222386 edges, 816 markings/sec, 470 secs
lola: 365133 markings, 1237928 edges, 873 markings/sec, 475 secs
lola: 369495 markings, 1253741 edges, 872 markings/sec, 480 secs
lola: 372642 markings, 1265784 edges, 629 markings/sec, 485 secs
lola: 375394 markings, 1276236 edges, 550 markings/sec, 490 secs
lola: 378037 markings, 1286269 edges, 529 markings/sec, 495 secs
lola: 380432 markings, 1295366 edges, 479 markings/sec, 500 secs
lola: 382668 markings, 1303861 edges, 447 markings/sec, 505 secs
lola: 384836 markings, 1312234 edges, 434 markings/sec, 510 secs
lola: 387498 markings, 1322510 edges, 532 markings/sec, 515 secs
lola: 390089 markings, 1332392 edges, 518 markings/sec, 520 secs
lola: 393138 markings, 1344383 edges, 610 markings/sec, 525 secs
lola: 395792 markings, 1354706 edges, 531 markings/sec, 530 secs
lola: 398467 markings, 1365106 edges, 535 markings/sec, 535 secs
lola: 400807 markings, 1374172 edges, 468 markings/sec, 540 secs
lola: 402978 markings, 1382546 edges, 434 markings/sec, 545 secs
lola: 405256 markings, 1391581 edges, 456 markings/sec, 550 secs
lola: 407898 markings, 1401919 edges, 528 markings/sec, 555 secs
lola: 409971 markings, 1409737 edges, 415 markings/sec, 560 secs
lola: 412511 markings, 1419684 edges, 508 markings/sec, 565 secs
lola: 414785 markings, 1428479 edges, 455 markings/sec, 570 secs
lola: 416920 markings, 1436718 edges, 427 markings/sec, 575 secs
lola: 419356 markings, 1446462 edges, 487 markings/sec, 580 secs
lola: 421649 markings, 1455328 edges, 459 markings/sec, 585 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no yes unknown no no unknown no no no unknown unknown no unknown no unknown
lola: memory consumption: 109304 KB
lola: time consumption: 2380 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((FIREABLE(t3685) OR FIREABLE(t3684) OR FIREABLE(t3683) OR FIREABLE(t3682) OR FIREABLE(t3681) OR FIREABLE(t3680) OR FIREABLE(t3679) OR FIREABLE(t3678) OR FIREABLE(t3677) OR FIREABLE(t3676) OR FIREABLE(t3675) OR FIREABLE(t3674) OR FIREABLE(t3673) OR FIREABLE(t3672) OR FIREABLE(t3671) OR FIREABLE(t3670) OR FIREABLE(t3669) OR FIREABLE(t3668) OR FIREABLE(t3667) OR FIREABLE(t... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((FIREABLE(t3685) OR FIREABLE(t3684) OR FIREABLE(t3683) OR FIREABLE(t3682) OR FIREABLE(t3681) OR FIREABLE(t3680) OR FIREABLE(t3679) OR FIREABLE(t3678) OR FIREABLE(t3677) OR FIREABLE(t3676) OR FIREABLE(t3675) OR FIREABLE(t3674) OR FIREABLE(t3673) OR FIREABLE(t3672) OR FIREABLE(t3671) OR FIREABLE(t3670) OR FIREABLE(t3669) OR FIREABLE(t3668) OR FIREABLE(t3667) OR FIREABLE(t... (shortened)
lola: processed formula length: 1629
lola: 22 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N20-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: 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: 661 markings, 661 edges

FORMULA BridgeAndVehicles-COL-V80P50N20-LTLFireability-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 15 will run for 1188 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((F (G ((FIREABLE(t3603) OR FIREABLE(t3602) OR FIREABLE(t3601) OR FIREABLE(t3600) OR FIREABLE(t3599) OR FIREABLE(t3598) OR FIREABLE(t3597) OR FIREABLE(t3596) OR FIREABLE(t3595) OR FIREABLE(t3594) OR FIREABLE(t3593) OR FIREABLE(t3592) OR FIREABLE(t3591) OR FIREABLE(t3590) OR FIREABLE(t3589) OR FIREABLE(t3588) OR FIREABLE(t3587) OR FIREABLE(t3586) OR FIREABLE(t3585) OR FIREABLE(... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((F (G ((FIREABLE(t3603) OR FIREABLE(t3602) OR FIREABLE(t3601) OR FIREABLE(t3600) OR FIREABLE(t3599) OR FIREABLE(t3598) OR FIREABLE(t3597) OR FIREABLE(t3596) OR FIREABLE(t3595) OR FIREABLE(t3594) OR FIREABLE(t3593) OR FIREABLE(t3592) OR FIREABLE(t3591) OR FIREABLE(t3590) OR FIREABLE(t3589) OR FIREABLE(t3588) OR FIREABLE(t3587) OR FIREABLE(t3586) OR FIREABLE(t3585) OR FIREABLE(... (shortened)
lola: processed formula length: 67250
lola: 22 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N20-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: using ltl preserving stubborn set method (--stubborn)
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: 663 markings, 665 edges

FORMULA BridgeAndVehicles-COL-V80P50N20-LTLFireability-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(t1922) OR FIREABLE(t1921))))
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(t1922) AND NOT FIREABLE(t1921))
lola: processed formula length: 45
lola: 24 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N20-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: 1773 markings, 3676 edges, 355 markings/sec, 0 secs
lola: 3582 markings, 7731 edges, 362 markings/sec, 5 secs
lola: 5052 markings, 10979 edges, 294 markings/sec, 10 secs
lola: 6505 markings, 13784 edges, 291 markings/sec, 15 secs
lola: 8209 markings, 17123 edges, 341 markings/sec, 20 secs
lola: 10086 markings, 20864 edges, 375 markings/sec, 25 secs
lola: 12024 markings, 24636 edges, 388 markings/sec, 30 secs
lola: 13999 markings, 28590 edges, 395 markings/sec, 35 secs
lola: 16031 markings, 32511 edges, 406 markings/sec, 40 secs
lola: 18063 markings, 36470 edges, 406 markings/sec, 45 secs
lola: 20213 markings, 40793 edges, 430 markings/sec, 50 secs
lola: 22323 markings, 44908 edges, 422 markings/sec, 55 secs
lola: 24615 markings, 49386 edges, 458 markings/sec, 60 secs
lola: 26763 markings, 53525 edges, 430 markings/sec, 65 secs
lola: 29166 markings, 58252 edges, 481 markings/sec, 70 secs
lola: 29883 markings, 59649 edges, 143 markings/sec, 75 secs
lola: 30664 markings, 61240 edges, 156 markings/sec, 80 secs
lola: 31945 markings, 63731 edges, 256 markings/sec, 85 secs
lola: 33152 markings, 66032 edges, 241 markings/sec, 90 secs
lola: 34480 markings, 68696 edges, 266 markings/sec, 95 secs
lola: 35910 markings, 71446 edges, 286 markings/sec, 100 secs
lola: 37236 markings, 73981 edges, 265 markings/sec, 105 secs
lola: 38427 markings, 76271 edges, 238 markings/sec, 110 secs
lola: 40313 markings, 79952 edges, 377 markings/sec, 115 secs
lola: 42429 markings, 83933 edges, 423 markings/sec, 120 secs
lola: 44216 markings, 88985 edges, 357 markings/sec, 125 secs
lola: 46183 markings, 95387 edges, 393 markings/sec, 130 secs
lola: 48205 markings, 101659 edges, 404 markings/sec, 135 secs
lola: 52020 markings, 113029 edges, 763 markings/sec, 140 secs
lola: 54839 markings, 121369 edges, 564 markings/sec, 145 secs
lola: 57649 markings, 129756 edges, 562 markings/sec, 150 secs
lola: 60681 markings, 138715 edges, 606 markings/sec, 155 secs
lola: 63767 markings, 147840 edges, 617 markings/sec, 160 secs
lola: 66759 markings, 156633 edges, 598 markings/sec, 165 secs
lola: 70463 markings, 167622 edges, 741 markings/sec, 170 secs
lola: 72106 markings, 172566 edges, 329 markings/sec, 175 secs
lola: 72585 markings, 173895 edges, 96 markings/sec, 180 secs
lola: 73024 markings, 175256 edges, 88 markings/sec, 185 secs
lola: 76632 markings, 185848 edges, 722 markings/sec, 190 secs
lola: 78485 markings, 191402 edges, 371 markings/sec, 195 secs
lola: 79614 markings, 194673 edges, 226 markings/sec, 200 secs
lola: 80073 markings, 196002 edges, 92 markings/sec, 205 secs
lola: 80528 markings, 197327 edges, 91 markings/sec, 210 secs
lola: 81748 markings, 201013 edges, 244 markings/sec, 215 secs
lola: 83155 markings, 205085 edges, 281 markings/sec, 220 secs
lola: 84572 markings, 209111 edges, 283 markings/sec, 225 secs
lola: 86049 markings, 213363 edges, 295 markings/sec, 230 secs
lola: 87936 markings, 219504 edges, 377 markings/sec, 235 secs
lola: 89608 markings, 224939 edges, 334 markings/sec, 240 secs
lola: 93186 markings, 235584 edges, 716 markings/sec, 245 secs
lola: 95962 markings, 243936 edges, 555 markings/sec, 250 secs
lola: 98734 markings, 252157 edges, 554 markings/sec, 255 secs
lola: 101492 markings, 260360 edges, 552 markings/sec, 260 secs
lola: 104251 markings, 268502 edges, 552 markings/sec, 265 secs
lola: 107024 markings, 276642 edges, 555 markings/sec, 270 secs
lola: 109810 markings, 284969 edges, 557 markings/sec, 275 secs
lola: 113344 markings, 295392 edges, 707 markings/sec, 280 secs
lola: 114755 markings, 299574 edges, 282 markings/sec, 285 secs
lola: 115202 markings, 300965 edges, 89 markings/sec, 290 secs
lola: 115700 markings, 302353 edges, 100 markings/sec, 295 secs
lola: 119586 markings, 313837 edges, 777 markings/sec, 300 secs
lola: 121242 markings, 318652 edges, 331 markings/sec, 305 secs
lola: 122426 markings, 322250 edges, 237 markings/sec, 310 secs
lola: 122915 markings, 323615 edges, 98 markings/sec, 315 secs
lola: 123618 markings, 325588 edges, 141 markings/sec, 320 secs
lola: 125016 markings, 329766 edges, 280 markings/sec, 325 secs
lola: 126509 markings, 334211 edges, 299 markings/sec, 330 secs
lola: 127950 markings, 338306 edges, 288 markings/sec, 335 secs
lola: 129563 markings, 343192 edges, 323 markings/sec, 340 secs
lola: 131490 markings, 349485 edges, 385 markings/sec, 345 secs
lola: 133175 markings, 354915 edges, 337 markings/sec, 350 secs
lola: 137195 markings, 366714 edges, 804 markings/sec, 355 secs
lola: 140064 markings, 375198 edges, 574 markings/sec, 360 secs
lola: 143015 markings, 384022 edges, 590 markings/sec, 365 secs
lola: 146136 markings, 393220 edges, 624 markings/sec, 370 secs
lola: 149332 markings, 402699 edges, 639 markings/sec, 375 secs
lola: 152522 markings, 412162 edges, 638 markings/sec, 380 secs
lola: 157092 markings, 425692 edges, 914 markings/sec, 385 secs
lola: 157607 markings, 427273 edges, 103 markings/sec, 390 secs
lola: 158122 markings, 428736 edges, 103 markings/sec, 395 secs
lola: 159276 markings, 432119 edges, 231 markings/sec, 400 secs
lola: 163606 markings, 444913 edges, 866 markings/sec, 405 secs
lola: 164373 markings, 447154 edges, 153 markings/sec, 410 secs
lola: 165438 markings, 450329 edges, 213 markings/sec, 415 secs
lola: 165989 markings, 452018 edges, 110 markings/sec, 420 secs
lola: 167418 markings, 456115 edges, 286 markings/sec, 425 secs
lola: 168977 markings, 460704 edges, 312 markings/sec, 430 secs
lola: 170468 markings, 464911 edges, 298 markings/sec, 435 secs
lola: 172198 markings, 470211 edges, 346 markings/sec, 440 secs
lola: 174177 markings, 476646 edges, 396 markings/sec, 445 secs
lola: 175971 markings, 482360 edges, 359 markings/sec, 450 secs
lola: 179935 markings, 494131 edges, 793 markings/sec, 455 secs
lola: 182766 markings, 502425 edges, 566 markings/sec, 460 secs
lola: 185600 markings, 510902 edges, 567 markings/sec, 465 secs
lola: 188427 markings, 519180 edges, 565 markings/sec, 470 secs
lola: 191390 markings, 527950 edges, 593 markings/sec, 475 secs
lola: 194084 markings, 536077 edges, 539 markings/sec, 480 secs
lola: 196923 markings, 544353 edges, 568 markings/sec, 485 secs
lola: 199966 markings, 553341 edges, 609 markings/sec, 490 secs
lola: 200416 markings, 554757 edges, 90 markings/sec, 495 secs
lola: 200899 markings, 556172 edges, 97 markings/sec, 500 secs
lola: 202538 markings, 560990 edges, 328 markings/sec, 505 secs
lola: 206287 markings, 572075 edges, 750 markings/sec, 510 secs
lola: 206991 markings, 574209 edges, 141 markings/sec, 515 secs
lola: 208015 markings, 577097 edges, 205 markings/sec, 520 secs
lola: 208533 markings, 578749 edges, 104 markings/sec, 525 secs
lola: 209617 markings, 581881 edges, 217 markings/sec, 530 secs
lola: 210987 markings, 585889 edges, 274 markings/sec, 535 secs
lola: 212390 markings, 589910 edges, 281 markings/sec, 540 secs
lola: 213791 markings, 593806 edges, 280 markings/sec, 545 secs
lola: 215599 markings, 599694 edges, 362 markings/sec, 550 secs
lola: 217303 markings, 605209 edges, 341 markings/sec, 555 secs
lola: 220203 markings, 614041 edges, 580 markings/sec, 560 secs
lola: 223187 markings, 622982 edges, 597 markings/sec, 565 secs
lola: 226000 markings, 631210 edges, 563 markings/sec, 570 secs
lola: 228897 markings, 639832 edges, 579 markings/sec, 575 secs
lola: 231900 markings, 648686 edges, 601 markings/sec, 580 secs
lola: 234939 markings, 657768 edges, 608 markings/sec, 585 secs
lola: 237937 markings, 666555 edges, 600 markings/sec, 590 secs
lola: 242455 markings, 680017 edges, 904 markings/sec, 595 secs
lola: 242940 markings, 681372 edges, 97 markings/sec, 600 secs
lola: 243428 markings, 682908 edges, 98 markings/sec, 605 secs
lola: 243911 markings, 684281 edges, 97 markings/sec, 610 secs
lola: 248775 markings, 698628 edges, 973 markings/sec, 615 secs
lola: 249505 markings, 700828 edges, 146 markings/sec, 620 secs
lola: 250598 markings, 703967 edges, 219 markings/sec, 625 secs
lola: 251119 markings, 705552 edges, 104 markings/sec, 630 secs
lola: 252092 markings, 708393 edges, 195 markings/sec, 635 secs
lola: 253480 markings, 712413 edges, 278 markings/sec, 640 secs
lola: 254912 markings, 716609 edges, 286 markings/sec, 645 secs
lola: 256399 markings, 720710 edges, 297 markings/sec, 650 secs
lola: 258224 markings, 726644 edges, 365 markings/sec, 655 secs
lola: 260037 markings, 732543 edges, 363 markings/sec, 660 secs
lola: 263306 markings, 742547 edges, 654 markings/sec, 665 secs
lola: 266066 markings, 750716 edges, 552 markings/sec, 670 secs
lola: 268913 markings, 759066 edges, 569 markings/sec, 675 secs
lola: 271955 markings, 768139 edges, 608 markings/sec, 680 secs
lola: 275074 markings, 777407 edges, 624 markings/sec, 685 secs
lola: 278207 markings, 786625 edges, 627 markings/sec, 690 secs
lola: 281243 markings, 795584 edges, 607 markings/sec, 695 secs
lola: 285261 markings, 807528 edges, 804 markings/sec, 700 secs
lola: 285753 markings, 808892 edges, 98 markings/sec, 705 secs
lola: 286247 markings, 810482 edges, 99 markings/sec, 710 secs
lola: 287687 markings, 814681 edges, 288 markings/sec, 715 secs
lola: 291683 markings, 826433 edges, 799 markings/sec, 720 secs
lola: 292355 markings, 828505 edges, 134 markings/sec, 725 secs
lola: 293371 markings, 831415 edges, 203 markings/sec, 730 secs
lola: 293826 markings, 832740 edges, 91 markings/sec, 735 secs
lola: 294790 markings, 835572 edges, 193 markings/sec, 740 secs
lola: 296225 markings, 839771 edges, 287 markings/sec, 745 secs
lola: 297767 markings, 844249 edges, 308 markings/sec, 750 secs
lola: 299254 markings, 848413 edges, 297 markings/sec, 755 secs
lola: 301214 markings, 854799 edges, 392 markings/sec, 760 secs
lola: 302974 markings, 860512 edges, 352 markings/sec, 765 secs
lola: 306503 markings, 871193 edges, 706 markings/sec, 770 secs
lola: 309291 markings, 879430 edges, 558 markings/sec, 775 secs
lola: 312162 markings, 887882 edges, 574 markings/sec, 780 secs
lola: 315132 markings, 896757 edges, 594 markings/sec, 785 secs
lola: 318277 markings, 906035 edges, 629 markings/sec, 790 secs
lola: 321415 markings, 915378 edges, 628 markings/sec, 795 secs
lola: 324371 markings, 924129 edges, 591 markings/sec, 800 secs
lola: 328041 markings, 934867 edges, 734 markings/sec, 805 secs
lola: 328543 markings, 936437 edges, 100 markings/sec, 810 secs
lola: 329040 markings, 937916 edges, 99 markings/sec, 815 secs
lola: 331907 markings, 946305 edges, 573 markings/sec, 820 secs
lola: 334564 markings, 954137 edges, 531 markings/sec, 825 secs
lola: 335796 markings, 957741 edges, 246 markings/sec, 830 secs
lola: 336355 markings, 959460 edges, 112 markings/sec, 835 secs
lola: 337132 markings, 961739 edges, 155 markings/sec, 840 secs
lola: 338653 markings, 966098 edges, 304 markings/sec, 845 secs
lola: 340239 markings, 970818 edges, 317 markings/sec, 850 secs
lola: 341783 markings, 975059 edges, 309 markings/sec, 855 secs
lola: 343758 markings, 981484 edges, 395 markings/sec, 860 secs
lola: 345646 markings, 987632 edges, 378 markings/sec, 865 secs
lola: 349296 markings, 998576 edges, 730 markings/sec, 870 secs
lola: 352186 markings, 1007246 edges, 578 markings/sec, 875 secs
lola: 355210 markings, 1016131 edges, 605 markings/sec, 880 secs
lola: 358337 markings, 1025403 edges, 625 markings/sec, 885 secs
lola: 361577 markings, 1035070 edges, 648 markings/sec, 890 secs
lola: 364755 markings, 1044456 edges, 636 markings/sec, 895 secs
lola: 368325 markings, 1054995 edges, 714 markings/sec, 900 secs
lola: 370871 markings, 1062456 edges, 509 markings/sec, 905 secs
lola: 371373 markings, 1064022 edges, 100 markings/sec, 910 secs
lola: 371870 markings, 1065505 edges, 99 markings/sec, 915 secs
lola: 376189 markings, 1078270 edges, 864 markings/sec, 920 secs
lola: 377451 markings, 1081999 edges, 252 markings/sec, 925 secs
lola: 378609 markings, 1085325 edges, 232 markings/sec, 930 secs
lola: 379153 markings, 1087011 edges, 109 markings/sec, 935 secs
lola: 380033 markings, 1089513 edges, 176 markings/sec, 940 secs
lola: 381539 markings, 1093915 edges, 301 markings/sec, 945 secs
lola: 383010 markings, 1098250 edges, 294 markings/sec, 950 secs
lola: 384561 markings, 1102512 edges, 310 markings/sec, 955 secs
lola: 386499 markings, 1108794 edges, 388 markings/sec, 960 secs
lola: 388311 markings, 1114682 edges, 362 markings/sec, 965 secs
lola: 391850 markings, 1125362 edges, 708 markings/sec, 970 secs
lola: 394655 markings, 1133684 edges, 561 markings/sec, 975 secs
lola: 397554 markings, 1142276 edges, 580 markings/sec, 980 secs
lola: 400607 markings, 1151386 edges, 611 markings/sec, 985 secs
lola: 403725 markings, 1160651 edges, 624 markings/sec, 990 secs
lola: 406842 markings, 1169767 edges, 623 markings/sec, 995 secs
lola: 409738 markings, 1178398 edges, 579 markings/sec, 1000 secs
lola: 413411 markings, 1189171 edges, 735 markings/sec, 1005 secs
lola: 413900 markings, 1190756 edges, 98 markings/sec, 1010 secs
lola: 414386 markings, 1192080 edges, 97 markings/sec, 1015 secs
lola: 416716 markings, 1199077 edges, 466 markings/sec, 1020 secs
lola: 419867 markings, 1208346 edges, 630 markings/sec, 1025 secs
lola: 421121 markings, 1212028 edges, 251 markings/sec, 1030 secs
lola: 421614 markings, 1213391 edges, 99 markings/sec, 1035 secs
lola: 422177 markings, 1215145 edges, 113 markings/sec, 1040 secs
lola: 423603 markings, 1219250 edges, 285 markings/sec, 1045 secs
lola: 425143 markings, 1223756 edges, 308 markings/sec, 1050 secs
lola: 426635 markings, 1228048 edges, 298 markings/sec, 1055 secs
lola: 428351 markings, 1233261 edges, 343 markings/sec, 1060 secs
lola: 430346 markings, 1239746 edges, 399 markings/sec, 1065 secs
lola: 432439 markings, 1246270 edges, 419 markings/sec, 1070 secs
lola: 436158 markings, 1257376 edges, 744 markings/sec, 1075 secs
lola: 438859 markings, 1265340 edges, 540 markings/sec, 1080 secs
lola: 441643 markings, 1273567 edges, 557 markings/sec, 1085 secs
lola: 444583 markings, 1282262 edges, 588 markings/sec, 1090 secs
lola: 447596 markings, 1291238 edges, 603 markings/sec, 1095 secs
lola: 450613 markings, 1300144 edges, 603 markings/sec, 1100 secs
lola: 454454 markings, 1311534 edges, 768 markings/sec, 1105 secs
lola: 456293 markings, 1317000 edges, 368 markings/sec, 1110 secs
lola: 456763 markings, 1318374 edges, 94 markings/sec, 1115 secs
lola: 457208 markings, 1319641 edges, 89 markings/sec, 1120 secs
lola: 460270 markings, 1328713 edges, 612 markings/sec, 1125 secs
lola: 462569 markings, 1335529 edges, 460 markings/sec, 1130 secs
lola: 463202 markings, 1337318 edges, 127 markings/sec, 1135 secs
lola: 464241 markings, 1340475 edges, 208 markings/sec, 1140 secs
lola: 464727 markings, 1341855 edges, 97 markings/sec, 1145 secs
lola: 465936 markings, 1345472 edges, 242 markings/sec, 1150 secs
lola: 467336 markings, 1349584 edges, 280 markings/sec, 1155 secs
lola: 468621 markings, 1353195 edges, 257 markings/sec, 1160 secs
lola: 470087 markings, 1357331 edges, 293 markings/sec, 1165 secs
lola: 471859 markings, 1363081 edges, 354 markings/sec, 1170 secs
lola: 473526 markings, 1368494 edges, 333 markings/sec, 1175 secs
lola: 476985 markings, 1379084 edges, 692 markings/sec, 1180 secs
lola: time limit reached - aborting
lola:
preliminary result: no no yes unknown no no unknown no no no no unknown no unknown no unknown
lola:
preliminary result: no no yes unknown no no unknown no no no no unknown no unknown no unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no yes unknown no no unknown no no no no unknown no unknown no unknown
lola: memory consumption: 77248 KB
lola: time consumption: 3569 seconds
lola: memory consumption: 77248 KB
lola: time consumption: 3569 seconds

BK_STOP 1552411312660

--------------------
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-V80P50N20"
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-V80P50N20, 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-155225094600162"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-COL-V80P50N20.tgz
mv BridgeAndVehicles-COL-V80P50N20 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 ;