About the Execution of LoLA for BART-COL-020
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 643.424 | 1718.00 | 1164.00 | 0.00 | F | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r016-tall-162038038900346.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool lola
Input is BART-COL-020, examination is ReachabilityDeadlock
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r016-tall-162038038900346
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 528K
-rw-r--r-- 1 mcc users 11K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 89K May 5 16:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 12K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 92K May 5 16:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Mar 28 15:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Mar 28 15:45 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Mar 28 15:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 28 15:45 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 23 02:13 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 23 02:13 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 22 10:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 22 10:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 22 09:09 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 22 09:09 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 5 16:51 equiv_pt
-rw-r--r-- 1 mcc users 4 May 5 16:51 instance
-rw-r--r-- 1 mcc users 5 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 195K May 5 16:51 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
FORMULA_NAME ReachabilityDeadlock
=== Now, execution of the tool begins
BK_START 1620410183806
starting LoLA
BK_INPUT BART-COL-020
BK_EXAMINATION: ReachabilityDeadlock
bin directory: /home/mcc/BenchKit/bin
current directory: /home/mcc/execution
GlobalProperty: ReachabilityDeadlock
FORMULA ReachabilityDeadlock FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1620410185524
--------------------
content from stderr:
lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/model.pnml
lola: reading pnml
lola: PNML file contains High-Level net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: TR BINDINGS
lola: TR BINDINGS DONE
lola: Places: 15293, Transitions: 6460
lola: @ trans TooEarly
lola: @ trans MissStation
lola: @ trans TrainStop
lola: @ trans TrainStable
lola: @ trans TrainDecc
lola: @ trans TrainAcc
lola: @ trans AtStation
lola: REM DEA TR: t = t1300
lola: REM DEA TR: t = t200
lola: REM DEA TR: t = t1301
lola: REM DEA TR: t = t201
lola: REM DEA TR: t = t3790
lola: REM DEA TR: t = t202
lola: REM DEA TR: t = t3791
lola: REM DEA TR: t = t203
lola: REM DEA TR: t = t3792
lola: REM DEA TR: t = t204
lola: REM DEA TR: t = t3793
lola: REM DEA TR: t = t205
lola: REM DEA TR: t = t3794
lola: REM DEA TR: t = t206
lola: REM DEA TR: t = t3795
lola: REM DEA TR: t = t207
lola: REM DEA TR: t = t3796
lola: REM DEA TR: t = t208
lola: REM DEA TR: t = t3797
lola: REM DEA TR: t = t209
lola: REM DEA TR: t = t3798
lola: REM DEA TR: t = t210
lola: REM DEA TR: t = t3799
lola: REM DEA TR: t = t211
lola: REM DEA TR: t = t3800
lola: REM DEA TR: t = t212
lola: REM DEA TR: t = t3801
lola: REM DEA TR: t = t213
lola: REM DEA TR: t = t3802
lola: REM DEA TR: t = t214
lola: REM DEA TR: t = t3803
lola: REM DEA TR: t = t215
lola: REM DEA TR: t = t3804
lola: REM DEA TR: t = t216
lola: REM DEA TR: t = t3805
lola: REM DEA TR: t = t217
lola: REM DEA TR: t = t3806
lola: REM DEA TR: t = t218
lola: REM DEA TR: t = t3807
lola: REM DEA TR: t = t219
lola: REM DEA TR: t = t4543
lola: REM DEA TR: t = t3808
lola: REM DEA TR: t = t220
lola: REM DEA TR: t = t3809
lola: REM DEA TR: t = t221
lola: REM DEA TR: t = t3810
lola: REM DEA TR: t = t222
lola: REM DEA TR: t = t3811
lola: REM DEA TR: t = t223
lola: REM DEA TR: t = t3812
lola: REM DEA TR: t = t224
lola: REM DEA TR: t = t3813
lola: REM DEA TR: t = t225
lola: REM DEA TR: t = t3814
lola: REM DEA TR: t = t226
lola: REM DEA TR: t = t3815
lola: REM DEA TR: t = t227
lola: REM DEA TR: t = t3816
lola: REM DEA TR: t = t228
lola: REM DEA TR: t = t3817
lola: REM DEA TR: t = t229
lola: REM DEA TR: t = t3818
lola: REM DEA TR: t = t230
lola: REM DEA TR: t = t3819
lola: REM DEA TR: t = t231
lola: REM DEA TR: t = t3820
lola: REM DEA TR: t = t232
lola: REM DEA TR: t = t3821
lola: REM DEA TR: t = t233
lola: REM DEA TR: t = t3822
lola: REM DEA TR: t = t234
lola: REM DEA TR: t = t3823
lola: REM DEA TR: t = t235
lola: REM DEA TR: t = t3824
lola: REM DEA TR: t = t236
lola: REM DEA TR: t = t3825
lola: REM DEA TR: t = t237
lola: REM DEA TR: t = t3826
lola: REM DEA TR: t = t238
lola: REM DEA TR: t = t3827
lola: REM DEA TR: t = t239
lola: REM DEA TR: t = t4567
lola: REM DEA TR: t = t4568
lola: REM DEA TR: t = t4569
lola: REM DEA TR: t = t920
lola: REM DEA TR: t = t0
lola: REM DEA TR: t = t921
lola: REM DEA TR: t = t1
lola: REM DEA TR: t = t2
lola: REM DEA TR: t = t3140
lola: REM DEA TR: t = t3
lola: REM DEA TR: t = t3141
lola: REM DEA TR: t = t4
lola: REM DEA TR: t = t3142
lola: REM DEA TR: t = t5
lola: REM DEA TR: t = t3143
lola: REM DEA TR: t = t6
lola: REM DEA TR: t = t3144
lola: REM DEA TR: t = t7
lola: REM DEA TR: t = t3145
lola: REM DEA TR: t = t8
lola: REM DEA TR: t = t3146
lola: REM DEA TR: t = t9
lola: REM DEA TR: t = t3147
lola: REM DEA TR: t = t10
lola: REM DEA TR: t = t3148
lola: REM DEA TR: t = t11
lola: REM DEA TR: t = t3149
lola: REM DEA TR: t = t12
lola: REM DEA TR: t = t3150
lola: REM DEA TR: t = t13
lola: REM DEA TR: t = t3151
lola: REM DEA TR: t = t14
lola: REM DEA TR: t = t3152
lola: REM DEA TR: t = t15
lola: REM DEA TR: t = t3153
lola: REM DEA TR: t = t16
lola: REM DEA TR: t = t3154
lola: REM DEA TR: t = t17
lola: REM DEA TR: t = t3155
lola: REM DEA TR: t = t18
lola: REM DEA TR: t = t3156
lola: REM DEA TR: t = t19
lola: REM DEA TR: t = t3157
lola: REM DEA TR: t = t20
lola: REM DEA TR: t = t3158
lola: REM DEA TR: t = t21
lola: REM DEA TR: t = t3159
lola: REM DEA TR: t = t22
lola: REM DEA TR: t = t3160
lola: REM DEA TR: t = t23
lola: REM DEA TR: t = t3161
lola: REM DEA TR: t = t24
lola: REM DEA TR: t = t3162
lola: REM DEA TR: t = t25
lola: REM DEA TR: t = t3163
lola: REM DEA TR: t = t5738
lola: REM DEA TR: t = t5739
lola: REM DEA TR: t = t2436
lola: REM DEA TR: t = t2437
lola: REM DEA TR: t = t2438
lola: REM DEA TR: t = t2439
lola: REM DEA TR: t = t3105
lola: REM DEA TR: t = t3106
lola: REM DEA TR: t = t3107
lola: REM DEA TR: t = t3108
lola: REM DEA TR: t = t3109
lola: REM DEA TR: t = t3110
lola: REM DEA TR: t = t3111
lola: REM DEA TR: t = t3112
lola: REM DEA TR: t = t3113
lola: REM DEA TR: t = t3114
lola: REM DEA TR: t = t3115
lola: REM DEA TR: t = t3116
lola: REM DEA TR: t = t3117
lola: REM DEA TR: t = t3118
lola: REM DEA TR: t = t3119
lola: REM DEA TR: t = t3120
lola: REM DEA TR: t = t3893
lola: REM DEA TR: t = t26
lola: REM DEA TR: t = t3164
lola: REM DEA TR: t = t27
lola: REM DEA TR: t = t3165
lola: REM DEA TR: t = t28
lola: REM DEA TR: t = t3166
lola: REM DEA TR: t = t29
lola: REM DEA TR: t = t3167
lola: REM DEA TR: t = t30
lola: REM DEA TR: t = t3168
lola: REM DEA TR: t = t31
lola: REM DEA TR: t = t3169
lola: REM DEA TR: t = t32
lola: REM DEA TR: t = t3170
lola: REM DEA TR: t = t33
lola: REM DEA TR: t = t3171
lola: REM DEA TR: t = t34
lola: REM DEA TR: t = t3172
lola: REM DEA TR: t = t35
lola: REM DEA TR: t = t3173
lola: REM DEA TR: t = t36
lola: REM DEA TR: t = t3174
lola: REM DEA TR: t = t37
lola: REM DEA TR: t = t3175
lola: REM DEA TR: t = t38
lola: REM DEA TR: t = t3176
lola: REM DEA TR: t = t39
lola: REM DEA TR: t = t3177
lola: REM DEA TR: t = t3917
lola: REM DEA TR: t = t3918
lola: REM DEA TR: t = t3919
lola: REM DEA TR: t = t3243
lola: REM DEA TR: t = t2057
lola: REM DEA TR: t = t2058
lola: REM DEA TR: t = t2059
lola: REM DEA TR: t = t2930
lola: REM DEA TR: t = t2931
lola: REM DEA TR: t = t2932
lola: REM DEA TR: t = t2933
lola: REM DEA TR: t = t2934
lola: REM DEA TR: t = t2935
lola: REM DEA TR: t = t2936
lola: REM DEA TR: t = t2937
lola: REM DEA TR: t = t2938
lola: REM DEA TR: t = t2939
lola: REM DEA TR: t = t2940
lola: REM DEA TR: t = t2941
lola: REM DEA TR: t = t2942
lola: REM DEA TR: t = t2943
lola: REM DEA TR: t = t2944
lola: REM DEA TR: t = t2945
lola: REM DEA TR: t = t2060
lola: REM DEA TR: t = t600
lola: REM DEA TR: t = t2061
lola: REM DEA TR: t = t601
lola: REM DEA TR: t = t5090
lola: REM DEA TR: t = t602
lola: REM DEA TR: t = t5091
lola: REM DEA TR: t = t603
lola: REM DEA TR: t = t5092
lola: REM DEA TR: t = t604
lola: REM DEA TR: t = t5093
lola: REM DEA TR: t = t605
lola: REM DEA TR: t = t5094
lola: REM DEA TR: t = t606
lola: REM DEA TR: t = t5095
lola: REM DEA TR: t = t607
lola: REM DEA TR: t = t5096
lola: REM DEA TR: t = t608
lola: REM DEA TR: t = t5097
lola: REM DEA TR: t = t609
lola: REM DEA TR: t = t5098
lola: REM DEA TR: t = t610
lola: REM DEA TR: t = t5099
lola: REM DEA TR: t = t611
lola: REM DEA TR: t = t5100
lola: REM DEA TR: t = t612
lola: REM DEA TR: t = t5101
lola: REM DEA TR: t = t613
lola: REM DEA TR: t = t5102
lola: REM DEA TR: t = t614
lola: REM DEA TR: t = t5103
lola: REM DEA TR: t = t615
lola: REM DEA TR: t = t5104
lola: REM DEA TR: t = t616
lola: REM DEA TR: t = t5105
lola: REM DEA TR: t = t617
lola: REM DEA TR: t = t5106
lola: REM DEA TR: t = t618
lola: REM DEA TR: t = t5107
lola: REM DEA TR: t = t619
lola: REM DEA TR: t = t5108
lola: REM DEA TR: t = t620
lola: REM DEA TR: t = t5109
lola: REM DEA TR: t = t621
lola: REM DEA TR: t = t5110
lola: REM DEA TR: t = t622
lola: REM DEA TR: t = t5111
lola: REM DEA TR: t = t623
lola: REM DEA TR: t = t5112
lola: REM DEA TR: t = t624
lola: REM DEA TR: t = t5113
lola: REM DEA TR: t = t625
lola: REM DEA TR: t = t5114
lola: REM DEA TR: t = t626
lola: REM DEA TR: t = t5115
lola: REM DEA TR: t = t627
lola: REM DEA TR: t = t5116
lola: REM DEA TR: t = t628
lola: REM DEA TR: t = t5117
lola: REM DEA TR: t = t629
lola: REM DEA TR: t = t5118
lola: REM DEA TR: t = t630
lola: REM DEA TR: t = t5119
lola: REM DEA TR: t = t631
lola: REM DEA TR: t = t5120
lola: REM DEA TR: t = t632
lola: REM DEA TR: t = t5121
lola: REM DEA TR: t = t633
lola: REM DEA TR: t = t5122
lola: REM DEA TR: t = t634
lola: REM DEA TR: t = t5123
lola: REM DEA TR: t = t635
lola: REM DEA TR: t = t1372
lola: REM DEA TR: t = t1373
lola: REM DEA TR: t = t1374
lola: REM DEA TR: t = t1375
lola: REM DEA TR: t = t2615
lola: REM DEA TR: t = t2616
lola: REM DEA TR: t = t2617
lola: REM DEA TR: t = t2618
lola: REM DEA TR: t = t2619
lola: REM DEA TR: t = t2620
lola: REM DEA TR: t = t2621
lola: REM DEA TR: t = t2622
lola: REM DEA TR: t = t2623
lola: REM DEA TR: t = t2624
lola: REM DEA TR: t = t2625
lola: REM DEA TR: t = t2626
lola: REM DEA TR: t = t2627
lola: REM DEA TR: t = t2628
lola: REM DEA TR: t = t2629
lola: REM DEA TR: t = t2630
lola: REM DEA TR: t = t1376
lola: REM DEA TR: t = t240
lola: REM DEA TR: t = t1377
lola: REM DEA TR: t = t241
lola: REM DEA TR: t = t3920
lola: REM DEA TR: t = t242
lola: REM DEA TR: t = t3921
lola: REM DEA TR: t = t243
lola: REM DEA TR: t = t3922
lola: REM DEA TR: t = t244
lola: REM DEA TR: t = t3923
lola: REM DEA TR: t = t245
lola: REM DEA TR: t = t3924
lola: REM DEA TR: t = t246
lola: REM DEA TR: t = t3925
lola: REM DEA TR: t = t247
lola: REM DEA TR: t = t3926
lola: REM DEA TR: t = t248
lola: REM DEA TR: t = t3927
lola: REM DEA TR: t = t249
lola: REM DEA TR: t = t3928
lola: REM DEA TR: t = t250
lola: REM DEA TR: t = t3929
lola: REM DEA TR: t = t251
lola: REM DEA TR: t = t3930
lola: REM DEA TR: t = t252
lola: REM DEA TR: t = t3931
lola: REM DEA TR: t = t253
lola: REM DEA TR: t = t3932
lola: REM DEA TR: t = t254
lola: REM DEA TR: t = t3933
lola: REM DEA TR: t = t255
lola: REM DEA TR: t = t3267
lola: REM DEA TR: t = t3934
lola: REM DEA TR: t = t256
lola: REM DEA TR: t = t3268
lola: REM DEA TR: t = t3935
lola: REM DEA TR: t = t257
lola: REM DEA TR: t = t3269
lola: REM DEA TR: t = t3936
lola: REM DEA TR: t = t258
lola: REM DEA TR: t = t3937
lola: REM DEA TR: t = t259
lola: REM DEA TR: t = t3938
lola: REM DEA TR: t = t260
lola: REM DEA TR: t = t3939
lola: REM DEA TR: t = t261
lola: REM DEA TR: t = t3940
lola: REM DEA TR: t = t262
lola: REM DEA TR: t = t3941
lola: REM DEA TR: t = t263
lola: REM DEA TR: t = t3942
lola: REM DEA TR: t = t264
lola: REM DEA TR: t = t3943
lola: REM DEA TR: t = t265
lola: REM DEA TR: t = t3944
lola: REM DEA TR: t = t266
lola: REM DEA TR: t = t3945
lola: REM DEA TR: t = t267
lola: REM DEA TR: t = t3946
lola: REM DEA TR: t = t268
lola: REM DEA TR: t = t3947
lola: REM DEA TR: t = t269
lola: REM DEA TR: t = t3948
lola: REM DEA TR: t = t270
lola: REM DEA TR: t = t3949
lola: REM DEA TR: t = t271
lola: REM DEA TR: t = t3950
lola: REM DEA TR: t = t272
lola: REM DEA TR: t = t3951
lola: REM DEA TR: t = t273
lola: REM DEA TR: t = t3952
lola: REM DEA TR: t = t274
lola: REM DEA TR: t = t3953
lola: REM DEA TR: t = t275
lola: REM DEA TR: t = t3954
lola: REM DEA TR: t = t276
lola: REM DEA TR: t = t3955
lola: REM DEA TR: t = t277
lola: REM DEA TR: t = t3956
lola: REM DEA TR: t = t278
lola: REM DEA TR: t = t3957
lola: REM DEA TR: t = t279
lola: REM DEA TR: t = t992
lola: REM DEA TR: t = t993
lola: REM DEA TR: t = t994
lola: REM DEA TR: t = t995
lola: REM DEA TR: t = t2440
lola: REM DEA TR: t = t2441
lola: REM DEA TR: t = t2442
lola: REM DEA TR: t = t2443
lola: REM DEA TR: t = t2444
lola: REM DEA TR: t = t2445
lola: REM DEA TR: t = t2446
lola: REM DEA TR: t = t2447
lola: REM DEA TR: t = t2448
lola: REM DEA TR: t = t2449
lola: REM DEA TR: t = t2450
lola: REM DEA TR: t = t2451
lola: REM DEA TR: t = t2452
lola: REM DEA TR: t = t2453
lola: REM DEA TR: t = t2454
lola: REM DEA TR: t = t2455
lola: REM DEA TR: t = t5124
lola: REM DEA TR: t = t636
lola: REM DEA TR: t = t5125
lola: REM DEA TR: t = t637
lola: REM DEA TR: t = t5126
lola: REM DEA TR: t = t638
lola: REM DEA TR: t = t5127
lola: REM DEA TR: t = t639
lola: REM DEA TR: t = t5193
lola: REM DEA TR: t = t40
lola: REM DEA TR: t = t996
lola: REM DEA TR: t = t41
lola: REM DEA TR: t = t997
lola: REM DEA TR: t = t42
lola: REM DEA TR: t = t3270
lola: REM DEA TR: t = t43
lola: REM DEA TR: t = t3271
lola: REM DEA TR: t = t44
lola: REM DEA TR: t = t3272
lola: REM DEA TR: t = t45
lola: REM DEA TR: t = t3273
lola: REM DEA TR: t = t46
lola: REM DEA TR: t = t3274
lola: REM DEA TR: t = t47
lola: REM DEA TR: t = t3275
lola: REM DEA TR: t = t48
lola: REM DEA TR: t = t3276
lola: REM DEA TR: t = t49
lola: REM DEA TR: t = t3277
lola: REM DEA TR: t = t50
lola: REM DEA TR: t = t3278
lola: REM DEA TR: t = t51
lola: REM DEA TR: t = t3279
lola: REM DEA TR: t = t52
lola: REM DEA TR: t = t3280
lola: REM DEA TR: t = t53
lola: REM DEA TR: t = t3281
lola: REM DEA TR: t = t54
lola: REM DEA TR: t = t3282
lola: REM DEA TR: t = t55
lola: REM DEA TR: t = t3283
lola: REM DEA TR: t = t56
lola: REM DEA TR: t = t3284
lola: REM DEA TR: t = t57
lola: REM DEA TR: t = t3285
lola: REM DEA TR: t = t58
lola: REM DEA TR: t = t3286
lola: REM DEA TR: t = t59
lola: REM DEA TR: t = t3287
lola: REM DEA TR: t = t4023
lola: REM DEA TR: t = t60
lola: REM DEA TR: t = t3288
lola: REM DEA TR: t = t61
lola: REM DEA TR: t = t3289
lola: REM DEA TR: t = t62
lola: REM DEA TR: t = t3290
lola: REM DEA TR: t = t63
lola: REM DEA TR: t = t3291
lola: REM DEA TR: t = t64
lola: REM DEA TR: t = t3292
lola: REM DEA TR: t = t65
lola: REM DEA TR: t = t3293
lola: REM DEA TR: t = t66
lola: REM DEA TR: t = t3294
lola: REM DEA TR: t = t67
lola: REM DEA TR: t = t3295
lola: REM DEA TR: t = t68
lola: REM DEA TR: t = t3296
lola: REM DEA TR: t = t69
lola: REM DEA TR: t = t3297
lola: REM DEA TR: t = t70
lola: REM DEA TR: t = t3298
lola: REM DEA TR: t = t71
lola: REM DEA TR: t = t3299
lola: REM DEA TR: t = t72
lola: REM DEA TR: t = t3300
lola: REM DEA TR: t = t73
lola: REM DEA TR: t = t3301
lola: REM DEA TR: t = t74
lola: REM DEA TR: t = t3302
lola: REM DEA TR: t = t75
lola: REM DEA TR: t = t3303
lola: REM DEA TR: t = t76
lola: REM DEA TR: t = t3304
lola: REM DEA TR: t = t77
lola: REM DEA TR: t = t3305
lola: REM DEA TR: t = t78
lola: REM DEA TR: t = t3306
lola: REM DEA TR: t = t79
lola: REM DEA TR: t = t3307
lola: REM DEA TR: t = t5217
lola: REM DEA TR: t = t5218
lola: REM DEA TR: t = t5219
lola: REM DEA TR: t = t2132
lola: REM DEA TR: t = t2133
lola: REM DEA TR: t = t2134
lola: REM DEA TR: t = t2135
lola: REM DEA TR: t = t2965
lola: REM DEA TR: t = t2966
lola: REM DEA TR: t = t2967
lola: REM DEA TR: t = t2968
lola: REM DEA TR: t = t2969
lola: REM DEA TR: t = t2970
lola: REM DEA TR: t = t2971
lola: REM DEA TR: t = t2972
lola: REM DEA TR: t = t2973
lola: REM DEA TR: t = t2974
lola: REM DEA TR: t = t2975
lola: REM DEA TR: t = t2976
lola: REM DEA TR: t = t2977
lola: REM DEA TR: t = t2978
lola: REM DEA TR: t = t2979
lola: REM DEA TR: t = t2980
lola: REM DEA TR: t = t3373
lola: REM DEA TR: t = t3397
lola: REM DEA TR: t = t3398
lola: REM DEA TR: t = t3399
lola: REM DEA TR: t = t2136
lola: REM DEA TR: t = t640
lola: REM DEA TR: t = t2137
lola: REM DEA TR: t = t641
lola: REM DEA TR: t = t5220
lola: REM DEA TR: t = t642
lola: REM DEA TR: t = t5221
lola: REM DEA TR: t = t643
lola: REM DEA TR: t = t5222
lola: REM DEA TR: t = t644
lola: REM DEA TR: t = t5223
lola: REM DEA TR: t = t645
lola: REM DEA TR: t = t5224
lola: REM DEA TR: t = t646
lola: REM DEA TR: t = t5225
lola: REM DEA TR: t = t647
lola: REM DEA TR: t = t5226
lola: REM DEA TR: t = t648
lola: REM DEA TR: t = t5227
lola: REM DEA TR: t = t649
lola: REM DEA TR: t = t5228
lola: REM DEA TR: t = t650
lola: REM DEA TR: t = t5229
lola: REM DEA TR: t = t651
lola: REM DEA TR: t = t5230
lola: REM DEA TR: t = t652
lola: REM DEA TR: t = t5231
lola: REM DEA TR: t = t653
lola: REM DEA TR: t = t5232
lola: REM DEA TR: t = t654
lola: REM DEA TR: t = t5233
lola: REM DEA TR: t = t655
lola: REM DEA TR: t = t5234
lola: REM DEA TR: t = t656
lola: REM DEA TR: t = t5235
lola: REM DEA TR: t = t657
lola: REM DEA TR: t = t5236
lola: REM DEA TR: t = t658
lola: REM DEA TR: t = t5237
lola: REM DEA TR: t = t659
lola: REM DEA TR: t = t5238
lola: REM DEA TR: t = t660
lola: REM DEA TR: t = t5239
lola: REM DEA TR: t = t661
lola: REM DEA TR: t = t5240
lola: REM DEA TR: t = t662
lola: REM DEA TR: t = t5241
lola: REM DEA TR: t = t663
lola: REM DEA TR: t = t5242
lola: REM DEA TR: t = t664
lola: REM DEA TR: t = t5243
lola: REM DEA TR: t = t665
lola: REM DEA TR: t = t5244
lola: REM DEA TR: t = t666
lola: REM DEA TR: t = t5245
lola: REM DEA TR: t = t667
lola: REM DEA TR: t = t5246
lola: REM DEA TR: t = t668
lola: REM DEA TR: t = t5247
lola: REM DEA TR: t = t669
lola: REM DEA TR: t = t5248
lola: REM DEA TR: t = t670
lola: REM DEA TR: t = t5249
lola: REM DEA TR: t = t671
lola: REM DEA TR: t = t5250
lola: REM DEA TR: t = t672
lola: REM DEA TR: t = t5251
lola: REM DEA TR: t = t673
lola: REM DEA TR: t = t5252
lola: REM DEA TR: t = t674
lola: REM DEA TR: t = t5253
lola: REM DEA TR: t = t675
lola: REM DEA TR: t = t5254
lola: REM DEA TR: t = t676
lola: REM DEA TR: t = t5255
lola: REM DEA TR: t = t677
lola: REM DEA TR: t = t5256
lola: REM DEA TR: t = t678
lola: REM DEA TR: t = t5257
lola: REM DEA TR: t = t679
lola: REM DEA TR: t = t1752
lola: REM DEA TR: t = t1753
lola: REM DEA TR: t = t1754
lola: REM DEA TR: t = t1755
lola: REM DEA TR: t = t2790
lola: REM DEA TR: t = t2791
lola: REM DEA TR: t = t2792
lola: REM DEA TR: t = t2793
lola: REM DEA TR: t = t2794
lola: REM DEA TR: t = t2795
lola: REM DEA TR: t = t2796
lola: REM DEA TR: t = t2797
lola: REM DEA TR: t = t2798
lola: REM DEA TR: t = t2799
lola: REM DEA TR: t = t2800
lola: REM DEA TR: t = t2801
lola: REM DEA TR: t = t2802
lola: REM DEA TR: t = t2803
lola: REM DEA TR: t = t2804
lola: REM DEA TR: t = t2805
lola: REM DEA TR: t = t1756
lola: REM DEA TR: t = t440
lola: REM DEA TR: t = t1757
lola: REM DEA TR: t = t441
lola: REM DEA TR: t = t4570
lola: REM DEA TR: t = t442
lola: REM DEA TR: t = t4571
lola: REM DEA TR: t = t443
lola: REM DEA TR: t = t4572
lola: REM DEA TR: t = t444
lola: REM DEA TR: t = t4573
lola: REM DEA TR: t = t445
lola: REM DEA TR: t = t4574
lola: REM DEA TR: t = t446
lola: REM DEA TR: t = t4575
lola: REM DEA TR: t = t447
lola: REM DEA TR: t = t4576
lola: REM DEA TR: t = t448
lola: REM DEA TR: t = t4577
lola: REM DEA TR: t = t449
lola: REM DEA TR: t = t4578
lola: REM DEA TR: t = t450
lola: REM DEA TR: t = t4579
lola: REM DEA TR: t = t451
lola: REM DEA TR: t = t4580
lola: REM DEA TR: t = t452
lola: REM DEA TR: t = t4581
lola: REM DEA TR: t = t453
lola: REM DEA TR: t = t4582
lola: REM DEA TR: t = t454
lola: REM DEA TR: t = t4583
lola: REM DEA TR: t = t455
lola: REM DEA TR: t = t4584
lola: REM DEA TR: t = t456
lola: REM DEA TR: t = t4585
lola: REM DEA TR: t = t457
lola: REM DEA TR: t = t4586
lola: REM DEA TR: t = t458
lola: REM DEA TR: t = t4587
lola: REM DEA TR: t = t459
lola: REM DEA TR: t = t1068
lola: REM DEA TR: t = t1069
lola: REM DEA TR: t = t1070
lola: REM DEA TR: t = t1071
lola: REM DEA TR: t = t2475
lola: REM DEA TR: t = t2476
lola: REM DEA TR: t = t2477
lola: REM DEA TR: t = t2478
lola: REM DEA TR: t = t2479
lola: REM DEA TR: t = t2480
lola: REM DEA TR: t = t2481
lola: REM DEA TR: t = t2482
lola: REM DEA TR: t = t2483
lola: REM DEA TR: t = t2484
lola: REM DEA TR: t = t2485
lola: REM DEA TR: t = t2486
lola: REM DEA TR: t = t2487
lola: REM DEA TR: t = t2488
lola: REM DEA TR: t = t2489
lola: REM DEA TR: t = t2490
lola: REM DEA TR: t = t80
lola: REM DEA TR: t = t1072
lola: REM DEA TR: t = t81
lola: REM DEA TR: t = t1073
lola: REM DEA TR: t = t82
lola: REM DEA TR: t = t3400
lola: REM DEA TR: t = t83
lola: REM DEA TR: t = t3401
lola: REM DEA TR: t = t84
lola: REM DEA TR: t = t3402
lola: REM DEA TR: t = t85
lola: REM DEA TR: t = t3403
lola: REM DEA TR: t = t86
lola: REM DEA TR: t = t3404
lola: REM DEA TR: t = t87
lola: REM DEA TR: t = t3405
lola: REM DEA TR: t = t88
lola: REM DEA TR: t = t3406
lola: REM DEA TR: t = t89
lola: REM DEA TR: t = t3407
lola: REM DEA TR: t = t90
lola: REM DEA TR: t = t3408
lola: REM DEA TR: t = t91
lola: REM DEA TR: t = t3409
lola: REM DEA TR: t = t92
lola: REM DEA TR: t = t3410
lola: REM DEA TR: t = t93
lola: REM DEA TR: t = t3411
lola: REM DEA TR: t = t94
lola: REM DEA TR: t = t3412
lola: REM DEA TR: t = t95
lola: REM DEA TR: t = t3413
lola: REM DEA TR: t = t96
lola: REM DEA TR: t = t3414
lola: REM DEA TR: t = t97
lola: REM DEA TR: t = t3415
lola: REM DEA TR: t = t98
lola: REM DEA TR: t = t3416
lola: REM DEA TR: t = t99
lola: REM DEA TR: t = t3417
lola: REM DEA TR: t = t100
lola: REM DEA TR: t = t3418
lola: REM DEA TR: t = t101
lola: REM DEA TR: t = t3419
lola: REM DEA TR: t = t102
lola: REM DEA TR: t = t3420
lola: REM DEA TR: t = t103
lola: REM DEA TR: t = t3421
lola: REM DEA TR: t = t104
lola: REM DEA TR: t = t3422
lola: REM DEA TR: t = t105
lola: REM DEA TR: t = t3423
lola: REM DEA TR: t = t106
lola: REM DEA TR: t = t3424
lola: REM DEA TR: t = t107
lola: REM DEA TR: t = t3425
lola: REM DEA TR: t = t108
lola: REM DEA TR: t = t3426
lola: REM DEA TR: t = t109
lola: REM DEA TR: t = t3427
lola: REM DEA TR: t = t110
lola: REM DEA TR: t = t3428
lola: REM DEA TR: t = t111
lola: REM DEA TR: t = t3429
lola: REM DEA TR: t = t112
lola: REM DEA TR: t = t3430
lola: REM DEA TR: t = t113
lola: REM DEA TR: t = t3431
lola: REM DEA TR: t = t5323
lola: REM DEA TR: t = t4588
lola: REM DEA TR: t = t460
lola: REM DEA TR: t = t4589
lola: REM DEA TR: t = t461
lola: REM DEA TR: t = t4590
lola: REM DEA TR: t = t462
lola: REM DEA TR: t = t4591
lola: REM DEA TR: t = t463
lola: REM DEA TR: t = t4592
lola: REM DEA TR: t = t464
lola: REM DEA TR: t = t4593
lola: REM DEA TR: t = t465
lola: REM DEA TR: t = t4594
lola: REM DEA TR: t = t466
lola: REM DEA TR: t = t4595
lola: REM DEA TR: t = t467
lola: REM DEA TR: t = t4596
lola: REM DEA TR: t = t468
lola: REM DEA TR: t = t4597
lola: REM DEA TR: t = t469
lola: REM DEA TR: t = t4598
lola: REM DEA TR: t = t470
lola: REM DEA TR: t = t4599
lola: REM DEA TR: t = t471
lola: REM DEA TR: t = t4600
lola: REM DEA TR: t = t472
lola: REM DEA TR: t = t4601
lola: REM DEA TR: t = t473
lola: REM DEA TR: t = t4602
lola: REM DEA TR: t = t474
lola: REM DEA TR: t = t4603
lola: REM DEA TR: t = t475
lola: REM DEA TR: t = t4604
lola: REM DEA TR: t = t476
lola: REM DEA TR: t = t4605
lola: REM DEA TR: t = t477
lola: REM DEA TR: t = t4606
lola: REM DEA TR: t = t478
lola: REM DEA TR: t = t4607
lola: REM DEA TR: t = t479
lola: REM DEA TR: t = t5347
lola: REM DEA TR: t = t5348
lola: REM DEA TR: t = t5349
lola: REM DEA TR: t = t114
lola: REM DEA TR: t = t3432
lola: REM DEA TR: t = t115
lola: REM DEA TR: t = t3433
lola: REM DEA TR: t = t116
lola: REM DEA TR: t = t3434
lola: REM DEA TR: t = t117
lola: REM DEA TR: t = t3435
lola: REM DEA TR: t = t118
lola: REM DEA TR: t = t3436
lola: REM DEA TR: t = t119
lola: REM DEA TR: t = t3437
lola: REM DEA TR: t = t3503
lola: REM DEA TR: t = t2208
lola: REM DEA TR: t = t2209
lola: REM DEA TR: t = t2210
lola: REM DEA TR: t = t2211
lola: REM DEA TR: t = t3000
lola: REM DEA TR: t = t3001
lola: REM DEA TR: t = t3002
lola: REM DEA TR: t = t3003
lola: REM DEA TR: t = t3004
lola: REM DEA TR: t = t3005
lola: REM DEA TR: t = t3006
lola: REM DEA TR: t = t3007
lola: REM DEA TR: t = t3008
lola: REM DEA TR: t = t3009
lola: REM DEA TR: t = t3010
lola: REM DEA TR: t = t3011
lola: REM DEA TR: t = t3012
lola: REM DEA TR: t = t3013
lola: REM DEA TR: t = t4673
lola: REM DEA TR: t = t3014
lola: REM DEA TR: t = t3015
lola: REM DEA TR: t = t2212
lola: REM DEA TR: t = t680
lola: REM DEA TR: t = t2213
lola: REM DEA TR: t = t681
lola: REM DEA TR: t = t5350
lola: REM DEA TR: t = t682
lola: REM DEA TR: t = t5351
lola: REM DEA TR: t = t683
lola: REM DEA TR: t = t5352
lola: REM DEA TR: t = t684
lola: REM DEA TR: t = t5353
lola: REM DEA TR: t = t685
lola: REM DEA TR: t = t5354
lola: REM DEA TR: t = t686
lola: REM DEA TR: t = t5355
lola: REM DEA TR: t = t687
lola: REM DEA TR: t = t5356
lola: REM DEA TR: t = t688
lola: REM DEA TR: t = t5357
lola: REM DEA TR: t = t689
lola: REM DEA TR: t = t5358
lola: REM DEA TR: t = t690
lola: REM DEA TR: t = t5359
lola: REM DEA TR: t = t691
lola: REM DEA TR: t = t5360
lola: REM DEA TR: t = t692
lola: REM DEA TR: t = t5361
lola: REM DEA TR: t = t693
lola: REM DEA TR: t = t5362
lola: REM DEA TR: t = t694
lola: REM DEA TR: t = t5363
lola: REM DEA TR: t = t695
lola: REM DEA TR: t = t4697
lola: REM DEA TR: t = t5364
lola: REM DEA TR: t = t696
lola: REM DEA TR: t = t4698
lola: REM DEA TR: t = t5365
lola: REM DEA TR: t = t697
lola: REM DEA TR: t = t4699
lola: REM DEA TR: t = t5366
lola: REM DEA TR: t = t698
lola: REM DEA TR: t = t5367
lola: REM DEA TR: t = t699
lola: REM DEA TR: t = t5368
lola: REM DEA TR: t = t700
lola: REM DEA TR: t = t5369
lola: REM DEA TR: t = t701
lola: REM DEA TR: t = t5370
lola: REM DEA TR: t = t702
lola: REM DEA TR: t = t5371
lola: REM DEA TR: t = t703
lola: REM DEA TR: t = t5372
lola: REM DEA TR: t = t704
lola: REM DEA TR: t = t5373
lola: REM DEA TR: t = t705
lola: REM DEA TR: t = t5374
lola: REM DEA TR: t = t706
lola: REM DEA TR: t = t5375
lola: REM DEA TR: t = t707
lola: REM DEA TR: t = t5376
lola: REM DEA TR: t = t708
lola: REM DEA TR: t = t5377
lola: REM DEA TR: t = t709
lola: REM DEA TR: t = t5378
lola: REM DEA TR: t = t710
lola: REM DEA TR: t = t5379
lola: REM DEA TR: t = t711
lola: REM DEA TR: t = t5380
lola: REM DEA TR: t = t712
lola: REM DEA TR: t = t5381
lola: REM DEA TR: t = t713
lola: REM DEA TR: t = t5382
lola: REM DEA TR: t = t714
lola: REM DEA TR: t = t5383
lola: REM DEA TR: t = t715
lola: REM DEA TR: t = t5384
lola: REM DEA TR: t = t716
lola: REM DEA TR: t = t5385
lola: REM DEA TR: t = t717
lola: REM DEA TR: t = t5386
lola: REM DEA TR: t = t718
lola: REM DEA TR: t = t5387
lola: REM DEA TR: t = t719
lola: REM DEA TR: t = t1828
lola: REM DEA TR: t = t1829
lola: REM DEA TR: t = t1830
lola: REM DEA TR: t = t1831
lola: REM DEA TR: t = t2825
lola: REM DEA TR: t = t2826
lola: REM DEA TR: t = t2827
lola: REM DEA TR: t = t2828
lola: REM DEA TR: t = t2829
lola: REM DEA TR: t = t2830
lola: REM DEA TR: t = t2831
lola: REM DEA TR: t = t2832
lola: REM DEA TR: t = t2833
lola: REM DEA TR: t = t2834
lola: REM DEA TR: t = t2835
lola: REM DEA TR: t = t2836
lola: REM DEA TR: t = t2837
lola: REM DEA TR: t = t2838
lola: REM DEA TR: t = t2839
lola: REM DEA TR: t = t2840
lola: REM DEA TR: t = t480
lola: REM DEA TR: t = t1833
lola: REM DEA TR: t = t481
lola: REM DEA TR: t = t482
lola: REM DEA TR: t = t4700
lola: REM DEA TR: t = t483
lola: REM DEA TR: t = t4701
lola: REM DEA TR: t = t484
lola: REM DEA TR: t = t4702
lola: REM DEA TR: t = t485
lola: REM DEA TR: t = t4703
lola: REM DEA TR: t = t486
lola: REM DEA TR: t = t4704
lola: REM DEA TR: t = t487
lola: REM DEA TR: t = t4705
lola: REM DEA TR: t = t488
lola: REM DEA TR: t = t4706
lola: REM DEA TR: t = t489
lola: REM DEA TR: t = t4707
lola: REM DEA TR: t = t490
lola: REM DEA TR: t = t4708
lola: REM DEA TR: t = t491
lola: REM DEA TR: t = t4709
lola: REM DEA TR: t = t492
lola: REM DEA TR: t = t4710
lola: REM DEA TR: t = t493
lola: REM DEA TR: t = t4711
lola: REM DEA TR: t = t494
lola: REM DEA TR: t = t4712
lola: REM DEA TR: t = t495
lola: REM DEA TR: t = t4713
lola: REM DEA TR: t = t4047
lola: REM DEA TR: t = t496
lola: REM DEA TR: t = t4714
lola: REM DEA TR: t = t4048
lola: REM DEA TR: t = t497
lola: REM DEA TR: t = t4715
lola: REM DEA TR: t = t4049
lola: REM DEA TR: t = t498
lola: REM DEA TR: t = t4716
lola: REM DEA TR: t = t499
lola: REM DEA TR: t = t4717
lola: REM DEA TR: t = t5453
lola: REM DEA TR: t = t4718
lola: REM DEA TR: t = t500
lola: REM DEA TR: t = t4719
lola: REM DEA TR: t = t501
lola: REM DEA TR: t = t4720
lola: REM DEA TR: t = t502
lola: REM DEA TR: t = t4721
lola: REM DEA TR: t = t503
lola: REM DEA TR: t = t4722
lola: REM DEA TR: t = t504
lola: REM DEA TR: t = t4723
lola: REM DEA TR: t = t505
lola: REM DEA TR: t = t4724
lola: REM DEA TR: t = t506
lola: REM DEA TR: t = t4725
lola: REM DEA TR: t = t507
lola: REM DEA TR: t = t4726
lola: REM DEA TR: t = t508
lola: REM DEA TR: t = t4727
lola: REM DEA TR: t = t509
lola: REM DEA TR: t = t4728
lola: REM DEA TR: t = t510
lola: REM DEA TR: t = t4729
lola: REM DEA TR: t = t511
lola: REM DEA TR: t = t4730
lola: REM DEA TR: t = t512
lola: REM DEA TR: t = t4731
lola: REM DEA TR: t = t513
lola: REM DEA TR: t = t4732
lola: REM DEA TR: t = t514
lola: REM DEA TR: t = t4733
lola: REM DEA TR: t = t515
lola: REM DEA TR: t = t4734
lola: REM DEA TR: t = t516
lola: REM DEA TR: t = t4735
lola: REM DEA TR: t = t517
lola: REM DEA TR: t = t4736
lola: REM DEA TR: t = t518
lola: REM DEA TR: t = t4737
lola: REM DEA TR: t = t519
lola: REM DEA TR: t = t1448
lola: REM DEA TR: t = t1449
lola: REM DEA TR: t = t1450
lola: REM DEA TR: t = t1451
lola: REM DEA TR: t = t2650
lola: REM DEA TR: t = t2651
lola: REM DEA TR: t = t2652
lola: REM DEA TR: t = t2653
lola: REM DEA TR: t = t2654
lola: REM DEA TR: t = t2655
lola: REM DEA TR: t = t2656
lola: REM DEA TR: t = t2657
lola: REM DEA TR: t = t2658
lola: REM DEA TR: t = t2659
lola: REM DEA TR: t = t2660
lola: REM DEA TR: t = t2661
lola: REM DEA TR: t = t2662
lola: REM DEA TR: t = t2663
lola: REM DEA TR: t = t2664
lola: REM DEA TR: t = t2665
lola: REM DEA TR: t = t280
lola: REM DEA TR: t = t1453
lola: REM DEA TR: t = t281
lola: REM DEA TR: t = t4050
lola: REM DEA TR: t = t282
lola: REM DEA TR: t = t4051
lola: REM DEA TR: t = t283
lola: REM DEA TR: t = t5477
lola: REM DEA TR: t = t5478
lola: REM DEA TR: t = t5479
lola: REM DEA TR: t = t2284
lola: REM DEA TR: t = t2285
lola: REM DEA TR: t = t2286
lola: REM DEA TR: t = t2287
lola: REM DEA TR: t = t4052
lola: REM DEA TR: t = t284
lola: REM DEA TR: t = t4053
lola: REM DEA TR: t = t285
lola: REM DEA TR: t = t4054
lola: REM DEA TR: t = t286
lola: REM DEA TR: t = t3035
lola: REM DEA TR: t = t4055
lola: REM DEA TR: t = t287
lola: REM DEA TR: t = t3036
lola: REM DEA TR: t = t4056
lola: REM DEA TR: t = t288
lola: REM DEA TR: t = t3037
lola: REM DEA TR: t = t4057
lola: REM DEA TR: t = t289
lola: REM DEA TR: t = t3038
lola: REM DEA TR: t = t4058
lola: REM DEA TR: t = t290
lola: REM DEA TR: t = t3039
lola: REM DEA TR: t = t4059
lola: REM DEA TR: t = t291
lola: REM DEA TR: t = t4060
lola: REM DEA TR: t = t292
lola: REM DEA TR: t = t4061
lola: REM DEA TR: t = t293
lola: REM DEA TR: t = t3040
lola: REM DEA TR: t = t3041
lola: REM DEA TR: t = t3042
lola: REM DEA TR: t = t4062
lola: REM DEA TR: t = t294
lola: REM DEA TR: t = t3043
lola: REM DEA TR: t = t4063
lola: REM DEA TR: t = t295
lola: REM DEA TR: t = t3044
lola: REM DEA TR: t = t4064
lola: REM DEA TR: t = t296
lola: REM DEA TR: t = t3045
lola: REM DEA TR: t = t4065
lola: REM DEA TR: t = t297
lola: REM DEA TR: t = t3046
lola: REM DEA TR: t = t4066
lola: REM DEA TR: t = t298
lola: REM DEA TR: t = t3047
lola: REM DEA TR: t = t4067
lola: REM DEA TR: t = t299
lola: REM DEA TR: t = t3048
lola: REM DEA TR: t = t4803
lola: REM DEA TR: t = t4068
lola: REM DEA TR: t = t300
lola: REM DEA TR: t = t3049
lola: REM DEA TR: t = t4069
lola: REM DEA TR: t = t301
lola: REM DEA TR: t = t4070
lola: REM DEA TR: t = t302
lola: REM DEA TR: t = t4071
lola: REM DEA TR: t = t303
lola: REM DEA TR: t = t3050
lola: REM DEA TR: t = t4072
lola: REM DEA TR: t = t304
lola: REM DEA TR: t = t4073
lola: REM DEA TR: t = t305
lola: REM DEA TR: t = t4074
lola: REM DEA TR: t = t306
lola: REM DEA TR: t = t4075
lola: REM DEA TR: t = t307
lola: REM DEA TR: t = t4076
lola: REM DEA TR: t = t308
lola: REM DEA TR: t = t4077
lola: REM DEA TR: t = t309
lola: REM DEA TR: t = t4078
lola: REM DEA TR: t = t310
lola: REM DEA TR: t = t4079
lola: REM DEA TR: t = t311
lola: REM DEA TR: t = t4080
lola: REM DEA TR: t = t312
lola: REM DEA TR: t = t4081
lola: REM DEA TR: t = t313
lola: REM DEA TR: t = t4082
lola: REM DEA TR: t = t314
lola: REM DEA TR: t = t4083
lola: REM DEA TR: t = t315
lola: REM DEA TR: t = t4084
lola: REM DEA TR: t = t316
lola: REM DEA TR: t = t4085
lola: REM DEA TR: t = t317
lola: REM DEA TR: t = t4086
lola: REM DEA TR: t = t318
lola: REM DEA TR: t = t4087
lola: REM DEA TR: t = t319
lola: REM DEA TR: t = t4827
lola: REM DEA TR: t = t4828
lola: REM DEA TR: t = t4829
lola: REM DEA TR: t = t720
lola: REM DEA TR: t = t721
lola: REM DEA TR: t = t5480
lola: REM DEA TR: t = t722
lola: REM DEA TR: t = t5481
lola: REM DEA TR: t = t723
lola: REM DEA TR: t = t5482
lola: REM DEA TR: t = t724
lola: REM DEA TR: t = t5483
lola: REM DEA TR: t = t725
lola: REM DEA TR: t = t5484
lola: REM DEA TR: t = t726
lola: REM DEA TR: t = t5485
lola: REM DEA TR: t = t727
lola: REM DEA TR: t = t5486
lola: REM DEA TR: t = t728
lola: REM DEA TR: t = t5487
lola: REM DEA TR: t = t729
lola: REM DEA TR: t = t5488
lola: REM DEA TR: t = t730
lola: REM DEA TR: t = t5489
lola: REM DEA TR: t = t731
lola: REM DEA TR: t = t5490
lola: REM DEA TR: t = t732
lola: REM DEA TR: t = t5491
lola: REM DEA TR: t = t733
lola: REM DEA TR: t = t5492
lola: REM DEA TR: t = t734
lola: REM DEA TR: t = t5493
lola: REM DEA TR: t = t735
lola: REM DEA TR: t = t5494
lola: REM DEA TR: t = t736
lola: REM DEA TR: t = t5495
lola: REM DEA TR: t = t737
lola: REM DEA TR: t = t5496
lola: REM DEA TR: t = t738
lola: REM DEA TR: t = t5497
lola: REM DEA TR: t = t739
lola: REM DEA TR: t = t5498
lola: REM DEA TR: t = t740
lola: REM DEA TR: t = t5499
lola: REM DEA TR: t = t741
lola: REM DEA TR: t = t5500
lola: REM DEA TR: t = t742
lola: REM DEA TR: t = t5501
lola: REM DEA TR: t = t743
lola: REM DEA TR: t = t5502
lola: REM DEA TR: t = t744
lola: REM DEA TR: t = t5503
lola: REM DEA TR: t = t745
lola: REM DEA TR: t = t5504
lola: REM DEA TR: t = t746
lola: REM DEA TR: t = t5505
lola: REM DEA TR: t = t747
lola: REM DEA TR: t = t5506
lola: REM DEA TR: t = t748
lola: REM DEA TR: t = t5507
lola: REM DEA TR: t = t749
lola: REM DEA TR: t = t5508
lola: REM DEA TR: t = t750
lola: REM DEA TR: t = t5509
lola: REM DEA TR: t = t751
lola: REM DEA TR: t = t5510
lola: REM DEA TR: t = t752
lola: REM DEA TR: t = t5511
lola: REM DEA TR: t = t753
lola: REM DEA TR: t = t5512
lola: REM DEA TR: t = t754
lola: REM DEA TR: t = t5513
lola: REM DEA TR: t = t755
lola: REM DEA TR: t = t5514
lola: REM DEA TR: t = t756
lola: REM DEA TR: t = t5515
lola: REM DEA TR: t = t757
lola: REM DEA TR: t = t5516
lola: REM DEA TR: t = t758
lola: REM DEA TR: t = t5517
lola: REM DEA TR: t = t759
lola: REM DEA TR: t = t1904
lola: REM DEA TR: t = t1905
lola: REM DEA TR: t = t1906
lola: REM DEA TR: t = t1907
lola: REM DEA TR: t = t2860
lola: REM DEA TR: t = t2861
lola: REM DEA TR: t = t2862
lola: REM DEA TR: t = t2863
lola: REM DEA TR: t = t2864
lola: REM DEA TR: t = t2865
lola: REM DEA TR: t = t2866
lola: REM DEA TR: t = t2867
lola: REM DEA TR: t = t2868
lola: REM DEA TR: t = t2869
lola: REM DEA TR: t = t2870
lola: REM DEA TR: t = t2871
lola: REM DEA TR: t = t2872
lola: REM DEA TR: t = t2873
lola: REM DEA TR: t = t4153
lola: REM DEA TR: t = t2874
lola: REM DEA TR: t = t2875
lola: REM DEA TR: t = t520
lola: REM DEA TR: t = t521
lola: REM DEA TR: t = t522
lola: REM DEA TR: t = t4830
lola: REM DEA TR: t = t523
lola: REM DEA TR: t = t4831
lola: REM DEA TR: t = t524
lola: REM DEA TR: t = t4832
lola: REM DEA TR: t = t525
lola: REM DEA TR: t = t4833
lola: REM DEA TR: t = t526
lola: REM DEA TR: t = t4834
lola: REM DEA TR: t = t527
lola: REM DEA TR: t = t4835
lola: REM DEA TR: t = t528
lola: REM DEA TR: t = t4836
lola: REM DEA TR: t = t529
lola: REM DEA TR: t = t4837
lola: REM DEA TR: t = t530
lola: REM DEA TR: t = t4838
lola: REM DEA TR: t = t531
lola: REM DEA TR: t = t4839
lola: REM DEA TR: t = t532
lola: REM DEA TR: t = t4840
lola: REM DEA TR: t = t533
lola: REM DEA TR: t = t4841
lola: REM DEA TR: t = t534
lola: REM DEA TR: t = t4842
lola: REM DEA TR: t = t535
lola: REM DEA TR: t = t4843
lola: REM DEA TR: t = t4177
lola: REM DEA TR: t = t536
lola: REM DEA TR: t = t4844
lola: REM DEA TR: t = t4178
lola: REM DEA TR: t = t537
lola: REM DEA TR: t = t4845
lola: REM DEA TR: t = t4179
lola: REM DEA TR: t = t538
lola: REM DEA TR: t = t4846
lola: REM DEA TR: t = t539
lola: REM DEA TR: t = t4847
lola: REM DEA TR: t = t540
lola: REM DEA TR: t = t4848
lola: REM DEA TR: t = t541
lola: REM DEA TR: t = t4849
lola: REM DEA TR: t = t542
lola: REM DEA TR: t = t4850
lola: REM DEA TR: t = t543
lola: REM DEA TR: t = t4851
lola: REM DEA TR: t = t544
lola: REM DEA TR: t = t4852
lola: REM DEA TR: t = t545
lola: REM DEA TR: t = t4853
lola: REM DEA TR: t = t546
lola: REM DEA TR: t = t4854
lola: REM DEA TR: t = t547
lola: REM DEA TR: t = t4855
lola: REM DEA TR: t = t1524
lola: REM DEA TR: t = t1525
lola: REM DEA TR: t = t1526
lola: REM DEA TR: t = t1527
lola: REM DEA TR: t = t5583
lola: REM DEA TR: t = t548
lola: REM DEA TR: t = t4856
lola: REM DEA TR: t = t549
lola: REM DEA TR: t = t4857
lola: REM DEA TR: t = t550
lola: REM DEA TR: t = t4858
lola: REM DEA TR: t = t551
lola: REM DEA TR: t = t4859
lola: REM DEA TR: t = t552
lola: REM DEA TR: t = t4860
lola: REM DEA TR: t = t553
lola: REM DEA TR: t = t4861
lola: REM DEA TR: t = t554
lola: REM DEA TR: t = t4862
lola: REM DEA TR: t = t555
lola: REM DEA TR: t = t4863
lola: REM DEA TR: t = t556
lola: REM DEA TR: t = t4864
lola: REM DEA TR: t = t557
lola: REM DEA TR: t = t4865
lola: REM DEA TR: t = t558
lola: REM DEA TR: t = t4866
lola: REM DEA TR: t = t559
lola: REM DEA TR: t = t4867
lola: REM DEA TR: t = t5607
lola: REM DEA TR: t = t5608
lola: REM DEA TR: t = t5609
lola: REM DEA TR: t = t2685
lola: REM DEA TR: t = t2686
lola: REM DEA TR: t = t2687
lola: REM DEA TR: t = t2688
lola: REM DEA TR: t = t2689
lola: REM DEA TR: t = t2690
lola: REM DEA TR: t = t2691
lola: REM DEA TR: t = t2692
lola: REM DEA TR: t = t2693
lola: REM DEA TR: t = t2694
lola: REM DEA TR: t = t2695
lola: REM DEA TR: t = t2696
lola: REM DEA TR: t = t2697
lola: REM DEA TR: t = t2698
lola: REM DEA TR: t = t2699
lola: REM DEA TR: t = t2700
lola: REM DEA TR: t = t320
lola: REM DEA TR: t = t321
lola: REM DEA TR: t = t4180
lola: REM DEA TR: t = t322
lola: REM DEA TR: t = t4181
lola: REM DEA TR: t = t323
lola: REM DEA TR: t = t4182
lola: REM DEA TR: t = t324
lola: REM DEA TR: t = t4183
lola: REM DEA TR: t = t325
lola: REM DEA TR: t = t4184
lola: REM DEA TR: t = t326
lola: REM DEA TR: t = t4185
lola: REM DEA TR: t = t327
lola: REM DEA TR: t = t4186
lola: REM DEA TR: t = t328
lola: REM DEA TR: t = t4187
lola: REM DEA TR: t = t329
lola: REM DEA TR: t = t4188
lola: REM DEA TR: t = t330
lola: REM DEA TR: t = t4189
lola: REM DEA TR: t = t331
lola: REM DEA TR: t = t4190
lola: REM DEA TR: t = t332
lola: REM DEA TR: t = t4191
lola: REM DEA TR: t = t333
lola: REM DEA TR: t = t4192
lola: REM DEA TR: t = t334
lola: REM DEA TR: t = t4193
lola: REM DEA TR: t = t335
lola: REM DEA TR: t = t3527
lola: REM DEA TR: t = t4194
lola: REM DEA TR: t = t336
lola: REM DEA TR: t = t3528
lola: REM DEA TR: t = t4195
lola: REM DEA TR: t = t337
lola: REM DEA TR: t = t3529
lola: REM DEA TR: t = t4196
lola: REM DEA TR: t = t338
lola: REM DEA TR: t = t4197
lola: REM DEA TR: t = t339
lola: REM DEA TR: t = t4933
lola: REM DEA TR: t = t4198
lola: REM DEA TR: t = t340
lola: REM DEA TR: t = t4199
lola: REM DEA TR: t = t341
lola: REM DEA TR: t = t4200
lola: REM DEA TR: t = t342
lola: REM DEA TR: t = t4201
lola: REM DEA TR: t = t343
lola: REM DEA TR: t = t4202
lola: REM DEA TR: t = t344
lola: REM DEA TR: t = t4203
lola: REM DEA TR: t = t345
lola: REM DEA TR: t = t4204
lola: REM DEA TR: t = t346
lola: REM DEA TR: t = t4205
lola: REM DEA TR: t = t347
lola: REM DEA TR: t = t4206
lola: REM DEA TR: t = t348
lola: REM DEA TR: t = t4207
lola: REM DEA TR: t = t349
lola: REM DEA TR: t = t4208
lola: REM DEA TR: t = t350
lola: REM DEA TR: t = t4209
lola: REM DEA TR: t = t351
lola: REM DEA TR: t = t4210
lola: REM DEA TR: t = t352
lola: REM DEA TR: t = t4211
lola: REM DEA TR: t = t353
lola: REM DEA TR: t = t4212
lola: REM DEA TR: t = t354
lola: REM DEA TR: t = t4213
lola: REM DEA TR: t = t355
lola: REM DEA TR: t = t4214
lola: REM DEA TR: t = t356
lola: REM DEA TR: t = t4215
lola: REM DEA TR: t = t357
lola: REM DEA TR: t = t4216
lola: REM DEA TR: t = t358
lola: REM DEA TR: t = t4217
lola: REM DEA TR: t = t359
lola: REM DEA TR: t = t1144
lola: REM DEA TR: t = t1145
lola: REM DEA TR: t = t1146
lola: REM DEA TR: t = t1147
lola: REM DEA TR: t = t2510
lola: REM DEA TR: t = t2511
lola: REM DEA TR: t = t2512
lola: REM DEA TR: t = t2513
lola: REM DEA TR: t = t2514
lola: REM DEA TR: t = t2515
lola: REM DEA TR: t = t2516
lola: REM DEA TR: t = t2517
lola: REM DEA TR: t = t2518
lola: REM DEA TR: t = t2519
lola: REM DEA TR: t = t2520
lola: REM DEA TR: t = t2521
lola: REM DEA TR: t = t2522
lola: REM DEA TR: t = t2523
lola: REM DEA TR: t = t2524
lola: REM DEA TR: t = t2525
lola: REM DEA TR: t = t4957
lola: REM DEA TR: t = t4958
lola: REM DEA TR: t = t4959
lola: REM DEA TR: t = t1980
lola: REM DEA TR: t = t1981
lola: REM DEA TR: t = t1982
lola: REM DEA TR: t = t120
lola: REM DEA TR: t = t1983
lola: REM DEA TR: t = t121
lola: REM DEA TR: t = t122
lola: REM DEA TR: t = t3530
lola: REM DEA TR: t = t123
lola: REM DEA TR: t = t3531
lola: REM DEA TR: t = t124
lola: REM DEA TR: t = t3532
lola: REM DEA TR: t = t125
lola: REM DEA TR: t = t3533
lola: REM DEA TR: t = t126
lola: REM DEA TR: t = t3534
lola: REM DEA TR: t = t127
lola: REM DEA TR: t = t3535
lola: REM DEA TR: t = t2895
lola: REM DEA TR: t = t2896
lola: REM DEA TR: t = t128
lola: REM DEA TR: t = t3536
lola: REM DEA TR: t = t2897
lola: REM DEA TR: t = t129
lola: REM DEA TR: t = t3537
lola: REM DEA TR: t = t2898
lola: REM DEA TR: t = t130
lola: REM DEA TR: t = t3538
lola: REM DEA TR: t = t2899
lola: REM DEA TR: t = t131
lola: REM DEA TR: t = t3539
lola: REM DEA TR: t = t2900
lola: REM DEA TR: t = t132
lola: REM DEA TR: t = t3540
lola: REM DEA TR: t = t2901
lola: REM DEA TR: t = t133
lola: REM DEA TR: t = t3541
lola: REM DEA TR: t = t2902
lola: REM DEA TR: t = t134
lola: REM DEA TR: t = t3542
lola: REM DEA TR: t = t2903
lola: REM DEA TR: t = t135
lola: REM DEA TR: t = t3543
lola: REM DEA TR: t = t136
lola: REM DEA TR: t = t3544
lola: REM DEA TR: t = t137
lola: REM DEA TR: t = t3545
lola: REM DEA TR: t = t2904
lola: REM DEA TR: t = t2905
lola: REM DEA TR: t = t2906
lola: REM DEA TR: t = t138
lola: REM DEA TR: t = t3546
lola: REM DEA TR: t = t2907
lola: REM DEA TR: t = t139
lola: REM DEA TR: t = t3547
lola: REM DEA TR: t = t2908
lola: REM DEA TR: t = t4283
lola: REM DEA TR: t = t140
lola: REM DEA TR: t = t3548
lola: REM DEA TR: t = t2909
lola: REM DEA TR: t = t141
lola: REM DEA TR: t = t3549
lola: REM DEA TR: t = t2910
lola: REM DEA TR: t = t142
lola: REM DEA TR: t = t3550
lola: REM DEA TR: t = t143
lola: REM DEA TR: t = t3551
lola: REM DEA TR: t = t144
lola: REM DEA TR: t = t3552
lola: REM DEA TR: t = t145
lola: REM DEA TR: t = t3553
lola: REM DEA TR: t = t146
lola: REM DEA TR: t = t3554
lola: REM DEA TR: t = t147
lola: REM DEA TR: t = t3555
lola: REM DEA TR: t = t148
lola: REM DEA TR: t = t3556
lola: REM DEA TR: t = t149
lola: REM DEA TR: t = t3557
lola: REM DEA TR: t = t150
lola: REM DEA TR: t = t3558
lola: REM DEA TR: t = t151
lola: REM DEA TR: t = t3559
lola: REM DEA TR: t = t152
lola: REM DEA TR: t = t3560
lola: REM DEA TR: t = t153
lola: REM DEA TR: t = t3561
lola: REM DEA TR: t = t154
lola: REM DEA TR: t = t3562
lola: REM DEA TR: t = t155
lola: REM DEA TR: t = t3563
lola: REM DEA TR: t = t156
lola: REM DEA TR: t = t3564
lola: REM DEA TR: t = t157
lola: REM DEA TR: t = t3565
lola: REM DEA TR: t = t158
lola: REM DEA TR: t = t3566
lola: REM DEA TR: t = t159
lola: REM DEA TR: t = t3567
lola: REM DEA TR: t = t560
lola: REM DEA TR: t = t561
lola: REM DEA TR: t = t562
lola: REM DEA TR: t = t4960
lola: REM DEA TR: t = t563
lola: REM DEA TR: t = t4961
lola: REM DEA TR: t = t564
lola: REM DEA TR: t = t4962
lola: REM DEA TR: t = t565
lola: REM DEA TR: t = t4963
lola: REM DEA TR: t = t566
lola: REM DEA TR: t = t4964
lola: REM DEA TR: t = t567
lola: REM DEA TR: t = t4965
lola: REM DEA TR: t = t568
lola: REM DEA TR: t = t4966
lola: REM DEA TR: t = t569
lola: REM DEA TR: t = t4967
lola: REM DEA TR: t = t570
lola: REM DEA TR: t = t4968
lola: REM DEA TR: t = t571
lola: REM DEA TR: t = t4969
lola: REM DEA TR: t = t572
lola: REM DEA TR: t = t4970
lola: REM DEA TR: t = t573
lola: REM DEA TR: t = t4971
lola: REM DEA TR: t = t574
lola: REM DEA TR: t = t4972
lola: REM DEA TR: t = t575
lola: REM DEA TR: t = t4973
lola: REM DEA TR: t = t4307
lola: REM DEA TR: t = t576
lola: REM DEA TR: t = t4974
lola: REM DEA TR: t = t4308
lola: REM DEA TR: t = t577
lola: REM DEA TR: t = t4975
lola: REM DEA TR: t = t4309
lola: REM DEA TR: t = t578
lola: REM DEA TR: t = t4976
lola: REM DEA TR: t = t579
lola: REM DEA TR: t = t4977
lola: REM DEA TR: t = t580
lola: REM DEA TR: t = t4978
lola: REM DEA TR: t = t581
lola: REM DEA TR: t = t4979
lola: REM DEA TR: t = t582
lola: REM DEA TR: t = t4980
lola: REM DEA TR: t = t583
lola: REM DEA TR: t = t4981
lola: REM DEA TR: t = t584
lola: REM DEA TR: t = t4982
lola: REM DEA TR: t = t585
lola: REM DEA TR: t = t4983
lola: REM DEA TR: t = t586
lola: REM DEA TR: t = t4984
lola: REM DEA TR: t = t587
lola: REM DEA TR: t = t4985
lola: REM DEA TR: t = t588
lola: REM DEA TR: t = t4986
lola: REM DEA TR: t = t589
lola: REM DEA TR: t = t4987
lola: REM DEA TR: t = t590
lola: REM DEA TR: t = t4988
lola: REM DEA TR: t = t591
lola: REM DEA TR: t = t4989
lola: REM DEA TR: t = t592
lola: REM DEA TR: t = t4990
lola: REM DEA TR: t = t593
lola: REM DEA TR: t = t4991
lola: REM DEA TR: t = t594
lola: REM DEA TR: t = t4992
lola: REM DEA TR: t = t595
lola: REM DEA TR: t = t4993
lola: REM DEA TR: t = t596
lola: REM DEA TR: t = t4994
lola: REM DEA TR: t = t597
lola: REM DEA TR: t = t4995
lola: REM DEA TR: t = t598
lola: REM DEA TR: t = t4996
lola: REM DEA TR: t = t599
lola: REM DEA TR: t = t4997
lola: REM DEA TR: t = t1600
lola: REM DEA TR: t = t1601
lola: REM DEA TR: t = t1602
lola: REM DEA TR: t = t1603
lola: REM DEA TR: t = t2720
lola: REM DEA TR: t = t2721
lola: REM DEA TR: t = t2722
lola: REM DEA TR: t = t2723
lola: REM DEA TR: t = t2724
lola: REM DEA TR: t = t2725
lola: REM DEA TR: t = t2726
lola: REM DEA TR: t = t2727
lola: REM DEA TR: t = t2728
lola: REM DEA TR: t = t2729
lola: REM DEA TR: t = t2730
lola: REM DEA TR: t = t2731
lola: REM DEA TR: t = t2732
lola: REM DEA TR: t = t2733
lola: REM DEA TR: t = t3633
lola: REM DEA TR: t = t2734
lola: REM DEA TR: t = t2735
lola: REM DEA TR: t = t360
lola: REM DEA TR: t = t361
lola: REM DEA TR: t = t4310
lola: REM DEA TR: t = t362
lola: REM DEA TR: t = t4311
lola: REM DEA TR: t = t363
lola: REM DEA TR: t = t4312
lola: REM DEA TR: t = t364
lola: REM DEA TR: t = t4313
lola: REM DEA TR: t = t365
lola: REM DEA TR: t = t4314
lola: REM DEA TR: t = t366
lola: REM DEA TR: t = t4315
lola: REM DEA TR: t = t367
lola: REM DEA TR: t = t4316
lola: REM DEA TR: t = t368
lola: REM DEA TR: t = t4317
lola: REM DEA TR: t = t369
lola: REM DEA TR: t = t4318
lola: REM DEA TR: t = t370
lola: REM DEA TR: t = t4319
lola: REM DEA TR: t = t371
lola: REM DEA TR: t = t3657
lola: REM DEA TR: t = t3658
lola: REM DEA TR: t = t3659
lola: REM DEA TR: t = t4320
lola: REM DEA TR: t = t372
lola: REM DEA TR: t = t4321
lola: REM DEA TR: t = t373
lola: REM DEA TR: t = t4322
lola: REM DEA TR: t = t374
lola: REM DEA TR: t = t4323
lola: REM DEA TR: t = t375
lola: REM DEA TR: t = t4324
lola: REM DEA TR: t = t376
lola: REM DEA TR: t = t4325
lola: REM DEA TR: t = t377
lola: REM DEA TR: t = t4326
lola: REM DEA TR: t = t378
lola: REM DEA TR: t = t4327
lola: REM DEA TR: t = t379
lola: REM DEA TR: t = t5063
lola: REM DEA TR: t = t4328
lola: REM DEA TR: t = t380
lola: REM DEA TR: t = t4329
lola: REM DEA TR: t = t381
lola: REM DEA TR: t = t4330
lola: REM DEA TR: t = t382
lola: REM DEA TR: t = t4331
lola: REM DEA TR: t = t383
lola: REM DEA TR: t = t4332
lola: REM DEA TR: t = t384
lola: REM DEA TR: t = t4333
lola: REM DEA TR: t = t385
lola: REM DEA TR: t = t4334
lola: REM DEA TR: t = t386
lola: REM DEA TR: t = t4335
lola: REM DEA TR: t = t387
lola: REM DEA TR: t = t4336
lola: REM DEA TR: t = t388
lola: REM DEA TR: t = t4337
lola: REM DEA TR: t = t389
lola: REM DEA TR: t = t4338
lola: REM DEA TR: t = t390
lola: REM DEA TR: t = t4339
lola: REM DEA TR: t = t391
lola: REM DEA TR: t = t4340
lola: REM DEA TR: t = t392
lola: REM DEA TR: t = t4341
lola: REM DEA TR: t = t393
lola: REM DEA TR: t = t4342
lola: REM DEA TR: t = t394
lola: REM DEA TR: t = t4343
lola: REM DEA TR: t = t395
lola: REM DEA TR: t = t4344
lola: REM DEA TR: t = t396
lola: REM DEA TR: t = t4345
lola: REM DEA TR: t = t397
lola: REM DEA TR: t = t4346
lola: REM DEA TR: t = t398
lola: REM DEA TR: t = t4347
lola: REM DEA TR: t = t399
lola: REM DEA TR: t = t1220
lola: REM DEA TR: t = t1221
lola: REM DEA TR: t = t1222
lola: REM DEA TR: t = t1223
lola: REM DEA TR: t = t5087
lola: REM DEA TR: t = t5088
lola: REM DEA TR: t = t5089
lola: REM DEA TR: t = t2545
lola: REM DEA TR: t = t2546
lola: REM DEA TR: t = t2547
lola: REM DEA TR: t = t2955
lola: REM DEA TR: t = t2548
lola: REM DEA TR: t = t2956
lola: REM DEA TR: t = t2549
lola: REM DEA TR: t = t2957
lola: REM DEA TR: t = t2550
lola: REM DEA TR: t = t2958
lola: REM DEA TR: t = t2551
lola: REM DEA TR: t = t2552
lola: REM DEA TR: t = t2553
lola: REM DEA TR: t = t2959
lola: REM DEA TR: t = t2960
lola: REM DEA TR: t = t2554
lola: REM DEA TR: t = t2555
lola: REM DEA TR: t = t2556
lola: REM DEA TR: t = t2557
lola: REM DEA TR: t = t2558
lola: REM DEA TR: t = t2559
lola: REM DEA TR: t = t2560
lola: REM DEA TR: t = t160
lola: REM DEA TR: t = t161
lola: REM DEA TR: t = t162
lola: REM DEA TR: t = t3660
lola: REM DEA TR: t = t163
lola: REM DEA TR: t = t3661
lola: REM DEA TR: t = t164
lola: REM DEA TR: t = t3662
lola: REM DEA TR: t = t165
lola: REM DEA TR: t = t3663
lola: REM DEA TR: t = t166
lola: REM DEA TR: t = t3664
lola: REM DEA TR: t = t167
lola: REM DEA TR: t = t3665
lola: REM DEA TR: t = t168
lola: REM DEA TR: t = t3666
lola: REM DEA TR: t = t169
lola: REM DEA TR: t = t3667
lola: REM DEA TR: t = t170
lola: REM DEA TR: t = t3668
lola: REM DEA TR: t = t171
lola: REM DEA TR: t = t3669
lola: REM DEA TR: t = t172
lola: REM DEA TR: t = t3670
lola: REM DEA TR: t = t173
lola: REM DEA TR: t = t3671
lola: REM DEA TR: t = t174
lola: REM DEA TR: t = t3672
lola: REM DEA TR: t = t175
lola: REM DEA TR: t = t3673
lola: REM DEA TR: t = t176
lola: REM DEA TR: t = t3674
lola: REM DEA TR: t = t177
lola: REM DEA TR: t = t3675
lola: REM DEA TR: t = t178
lola: REM DEA TR: t = t3676
lola: REM DEA TR: t = t179
lola: REM DEA TR: t = t3677
lola: REM DEA TR: t = t180
lola: REM DEA TR: t = t3678
lola: REM DEA TR: t = t181
lola: REM DEA TR: t = t3679
lola: REM DEA TR: t = t182
lola: REM DEA TR: t = t3680
lola: REM DEA TR: t = t183
lola: REM DEA TR: t = t3681
lola: REM DEA TR: t = t184
lola: REM DEA TR: t = t3682
lola: REM DEA TR: t = t185
lola: REM DEA TR: t = t3683
lola: REM DEA TR: t = t186
lola: REM DEA TR: t = t3684
lola: REM DEA TR: t = t187
lola: REM DEA TR: t = t3685
lola: REM DEA TR: t = t188
lola: REM DEA TR: t = t3686
lola: REM DEA TR: t = t189
lola: REM DEA TR: t = t3687
lola: REM DEA TR: t = t190
lola: REM DEA TR: t = t3688
lola: REM DEA TR: t = t191
lola: REM DEA TR: t = t3689
lola: REM DEA TR: t = t192
lola: REM DEA TR: t = t3690
lola: REM DEA TR: t = t193
lola: REM DEA TR: t = t3691
lola: REM DEA TR: t = t194
lola: REM DEA TR: t = t3692
lola: REM DEA TR: t = t195
lola: REM DEA TR: t = t3693
lola: REM DEA TR: t = t196
lola: REM DEA TR: t = t3694
lola: REM DEA TR: t = t197
lola: REM DEA TR: t = t3695
lola: REM DEA TR: t = t198
lola: REM DEA TR: t = t3696
lola: REM DEA TR: t = t199
lola: REM DEA TR: t = t3697
lola: REM DEA TR: t = t4413
lola: REM DEA TR: t = t4437
lola: REM DEA TR: t = t4438
lola: REM DEA TR: t = t4439
lola: REM DEA TR: t = t1676
lola: REM DEA TR: t = t1677
lola: REM DEA TR: t = t1678
lola: REM DEA TR: t = t1679
lola: REM DEA TR: t = t2755
lola: REM DEA TR: t = t2756
lola: REM DEA TR: t = t2757
lola: REM DEA TR: t = t3763
lola: REM DEA TR: t = t2360
lola: REM DEA TR: t = t2361
lola: REM DEA TR: t = t2362
lola: REM DEA TR: t = t2363
lola: REM DEA TR: t = t3070
lola: REM DEA TR: t = t3071
lola: REM DEA TR: t = t3072
lola: REM DEA TR: t = t3073
lola: REM DEA TR: t = t3074
lola: REM DEA TR: t = t3075
lola: REM DEA TR: t = t3076
lola: REM DEA TR: t = t3077
lola: REM DEA TR: t = t3078
lola: REM DEA TR: t = t3079
lola: REM DEA TR: t = t3080
lola: REM DEA TR: t = t3081
lola: REM DEA TR: t = t3082
lola: REM DEA TR: t = t3083
lola: REM DEA TR: t = t3084
lola: REM DEA TR: t = t3085
lola: REM DEA TR: t = t760
lola: REM DEA TR: t = t761
lola: REM DEA TR: t = t5610
lola: REM DEA TR: t = t762
lola: REM DEA TR: t = t5611
lola: REM DEA TR: t = t763
lola: REM DEA TR: t = t5612
lola: REM DEA TR: t = t764
lola: REM DEA TR: t = t5613
lola: REM DEA TR: t = t765
lola: REM DEA TR: t = t5614
lola: REM DEA TR: t = t766
lola: REM DEA TR: t = t5615
lola: REM DEA TR: t = t767
lola: REM DEA TR: t = t5616
lola: REM DEA TR: t = t768
lola: REM DEA TR: t = t5617
lola: REM DEA TR: t = t769
lola: REM DEA TR: t = t5618
lola: REM DEA TR: t = t770
lola: REM DEA TR: t = t5619
lola: REM DEA TR: t = t771
lola: REM DEA TR: t = t5620
lola: REM DEA TR: t = t772
lola: REM DEA TR: t = t5621
lola: REM DEA TR: t = t773
lola: REM DEA TR: t = t5622
lola: REM DEA TR: t = t774
lola: REM DEA TR: t = t5623
lola: REM DEA TR: t = t775
lola: REM DEA TR: t = t5624
lola: REM DEA TR: t = t776
lola: REM DEA TR: t = t5625
lola: REM DEA TR: t = t777
lola: REM DEA TR: t = t5626
lola: REM DEA TR: t = t778
lola: REM DEA TR: t = t5627
lola: REM DEA TR: t = t779
lola: REM DEA TR: t = t5628
lola: REM DEA TR: t = t780
lola: REM DEA TR: t = t5629
lola: REM DEA TR: t = t781
lola: REM DEA TR: t = t5630
lola: REM DEA TR: t = t782
lola: REM DEA TR: t = t5631
lola: REM DEA TR: t = t783
lola: REM DEA TR: t = t5632
lola: REM DEA TR: t = t784
lola: REM DEA TR: t = t5633
lola: REM DEA TR: t = t785
lola: REM DEA TR: t = t5634
lola: REM DEA TR: t = t786
lola: REM DEA TR: t = t5635
lola: REM DEA TR: t = t787
lola: REM DEA TR: t = t5636
lola: REM DEA TR: t = t788
lola: REM DEA TR: t = t5637
lola: REM DEA TR: t = t789
lola: REM DEA TR: t = t5638
lola: REM DEA TR: t = t790
lola: REM DEA TR: t = t5639
lola: REM DEA TR: t = t791
lola: REM DEA TR: t = t5640
lola: REM DEA TR: t = t792
lola: REM DEA TR: t = t5641
lola: REM DEA TR: t = t793
lola: REM DEA TR: t = t5642
lola: REM DEA TR: t = t794
lola: REM DEA TR: t = t5643
lola: REM DEA TR: t = t795
lola: REM DEA TR: t = t5644
lola: REM DEA TR: t = t796
lola: REM DEA TR: t = t5645
lola: REM DEA TR: t = t797
lola: REM DEA TR: t = t5646
lola: REM DEA TR: t = t798
lola: REM DEA TR: t = t5647
lola: REM DEA TR: t = t799
lola: REM DEA TR: t = t2758
lola: REM DEA TR: t = t2759
lola: REM DEA TR: t = t2760
lola: REM DEA TR: t = t2761
lola: REM DEA TR: t = t2762
lola: REM DEA TR: t = t2763
lola: REM DEA TR: t = t2764
lola: REM DEA TR: t = t2765
lola: REM DEA TR: t = t2766
lola: REM DEA TR: t = t2767
lola: REM DEA TR: t = t2768
lola: REM DEA TR: t = t2769
lola: REM DEA TR: t = t2770
lola: REM DEA TR: t = t400
lola: REM DEA TR: t = t401
lola: REM DEA TR: t = t4440
lola: REM DEA TR: t = t402
lola: REM DEA TR: t = t4441
lola: REM DEA TR: t = t403
lola: REM DEA TR: t = t4442
lola: REM DEA TR: t = t404
lola: REM DEA TR: t = t4443
lola: REM DEA TR: t = t405
lola: REM DEA TR: t = t4444
lola: REM DEA TR: t = t406
lola: REM DEA TR: t = t4445
lola: REM DEA TR: t = t407
lola: REM DEA TR: t = t4446
lola: REM DEA TR: t = t408
lola: REM DEA TR: t = t4447
lola: REM DEA TR: t = t409
lola: REM DEA TR: t = t4448
lola: REM DEA TR: t = t410
lola: REM DEA TR: t = t4449
lola: REM DEA TR: t = t411
lola: REM DEA TR: t = t4450
lola: REM DEA TR: t = t412
lola: REM DEA TR: t = t4451
lola: REM DEA TR: t = t413
lola: REM DEA TR: t = t4452
lola: REM DEA TR: t = t414
lola: REM DEA TR: t = t4453
lola: REM DEA TR: t = t415
lola: REM DEA TR: t = t3787
lola: REM DEA TR: t = t3788
lola: REM DEA TR: t = t4454
lola: REM DEA TR: t = t416
lola: REM DEA TR: t = t4455
lola: REM DEA TR: t = t417
lola: REM DEA TR: t = t3789
lola: REM DEA TR: t = t4456
lola: REM DEA TR: t = t418
lola: REM DEA TR: t = t4457
lola: REM DEA TR: t = t419
lola: REM DEA TR: t = t4458
lola: REM DEA TR: t = t420
lola: REM DEA TR: t = t4459
lola: REM DEA TR: t = t421
lola: REM DEA TR: t = t4460
lola: REM DEA TR: t = t422
lola: REM DEA TR: t = t4461
lola: REM DEA TR: t = t423
lola: REM DEA TR: t = t4462
lola: REM DEA TR: t = t424
lola: REM DEA TR: t = t4463
lola: REM DEA TR: t = t425
lola: REM DEA TR: t = t4464
lola: REM DEA TR: t = t426
lola: REM DEA TR: t = t4465
lola: REM DEA TR: t = t427
lola: REM DEA TR: t = t4466
lola: REM DEA TR: t = t428
lola: REM DEA TR: t = t4467
lola: REM DEA TR: t = t429
lola: REM DEA TR: t = t4468
lola: REM DEA TR: t = t430
lola: REM DEA TR: t = t4469
lola: REM DEA TR: t = t431
lola: REM DEA TR: t = t4470
lola: REM DEA TR: t = t432
lola: REM DEA TR: t = t4471
lola: REM DEA TR: t = t433
lola: REM DEA TR: t = t4472
lola: REM DEA TR: t = t434
lola: REM DEA TR: t = t4473
lola: REM DEA TR: t = t435
lola: REM DEA TR: t = t4474
lola: REM DEA TR: t = t436
lola: REM DEA TR: t = t4475
lola: REM DEA TR: t = t437
lola: REM DEA TR: t = t4476
lola: REM DEA TR: t = t438
lola: REM DEA TR: t = t4477
lola: REM DEA TR: t = t439
lola: REM DEA TR: t = t1296
lola: REM DEA TR: t = t1297
lola: REM DEA TR: t = t1298
lola: REM DEA TR: t = t1299
lola: REM DEA TR: t = t2580
lola: REM DEA TR: t = t2581
lola: REM DEA TR: t = t2582
lola: REM DEA TR: t = t2583
lola: REM DEA TR: t = t2584
lola: REM DEA TR: t = t2585
lola: REM DEA TR: t = t2586
lola: REM DEA TR: t = t2587
lola: REM DEA TR: t = t2588
lola: REM DEA TR: t = t2589
lola: REM DEA TR: t = t2590
lola: REM DEA TR: t = t2591
lola: REM DEA TR: t = t2592
lola: REM DEA TR: t = t2593
lola: REM DEA TR: t = t2594
lola: REM DEA TR: t = t2595
lola: REM DEA TR: t = t5713
lola: No deadlock is reachable.
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="BART-COL-020"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# 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-4028"
echo " Executing tool lola"
echo " Input is BART-COL-020, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r016-tall-162038038900346"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/BART-COL-020.tgz
mv BART-COL-020 execution
cd execution
if [ "ReachabilityDeadlock" = "ReachabilityDeadlock" ] || [ "ReachabilityDeadlock" = "UpperBounds" ] || [ "ReachabilityDeadlock" = "QuasiLiveness" ] || [ "ReachabilityDeadlock" = "StableMarking" ] || [ "ReachabilityDeadlock" = "Liveness" ] || [ "ReachabilityDeadlock" = "OneSafe" ] || [ "ReachabilityDeadlock" = "StateSpace" ]; 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 [ "ReachabilityDeadlock" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityDeadlock" != "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 "ReachabilityDeadlock.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityDeadlock.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityDeadlock.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 '
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityDeadlock" = "ReachabilityDeadlock" ] || [ "ReachabilityDeadlock" = "QuasiLiveness" ] || [ "ReachabilityDeadlock" = "StableMarking" ] || [ "ReachabilityDeadlock" = "Liveness" ] || [ "ReachabilityDeadlock" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityDeadlock"
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 ;