About the Execution of LoLA for BART-COL-040
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 638.707 | 5260.00 | 5197.00 | 14.90 | 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-162038039000356.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-040, examination is ReachabilityDeadlock
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r016-tall-162038039000356
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 524K
-rw-r--r-- 1 mcc users 12K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 98K May 5 16:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.0K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 67K 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.4K Mar 28 15:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 28 15:45 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Mar 28 15:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 15:46 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K Mar 23 02:28 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 23 02:28 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 22 10:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 22 10:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K 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 207K 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 1620410432897
starting LoLA
BK_INPUT BART-COL-040
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 1620410438157
--------------------
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: 20213, Transitions: 12920
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 = t200
lola: REM DEA TR: t = t2220
lola: REM DEA TR: t = t201
lola: REM DEA TR: t = t2221
lola: REM DEA TR: t = t6930
lola: REM DEA TR: t = t202
lola: REM DEA TR: t = t6931
lola: REM DEA TR: t = t203
lola: REM DEA TR: t = t6932
lola: REM DEA TR: t = t204
lola: REM DEA TR: t = t6933
lola: REM DEA TR: t = t205
lola: REM DEA TR: t = t6934
lola: REM DEA TR: t = t206
lola: REM DEA TR: t = t6935
lola: REM DEA TR: t = t207
lola: REM DEA TR: t = t6936
lola: REM DEA TR: t = t208
lola: REM DEA TR: t = t6937
lola: REM DEA TR: t = t209
lola: REM DEA TR: t = t6938
lola: REM DEA TR: t = t210
lola: REM DEA TR: t = t6939
lola: REM DEA TR: t = t211
lola: REM DEA TR: t = t6940
lola: REM DEA TR: t = t212
lola: REM DEA TR: t = t6941
lola: REM DEA TR: t = t213
lola: REM DEA TR: t = t6942
lola: REM DEA TR: t = t214
lola: REM DEA TR: t = t6943
lola: REM DEA TR: t = t215
lola: REM DEA TR: t = t6944
lola: REM DEA TR: t = t216
lola: REM DEA TR: t = t6945
lola: REM DEA TR: t = t217
lola: REM DEA TR: t = t6946
lola: REM DEA TR: t = t218
lola: REM DEA TR: t = t6947
lola: REM DEA TR: t = t219
lola: REM DEA TR: t = t7683
lola: REM DEA TR: t = t6948
lola: REM DEA TR: t = t220
lola: REM DEA TR: t = t6949
lola: REM DEA TR: t = t221
lola: REM DEA TR: t = t6950
lola: REM DEA TR: t = t222
lola: REM DEA TR: t = t6951
lola: REM DEA TR: t = t223
lola: REM DEA TR: t = t6952
lola: REM DEA TR: t = t224
lola: REM DEA TR: t = t6953
lola: REM DEA TR: t = t225
lola: REM DEA TR: t = t6954
lola: REM DEA TR: t = t226
lola: REM DEA TR: t = t6955
lola: REM DEA TR: t = t227
lola: REM DEA TR: t = t6956
lola: REM DEA TR: t = t228
lola: REM DEA TR: t = t6957
lola: REM DEA TR: t = t229
lola: REM DEA TR: t = t6958
lola: REM DEA TR: t = t230
lola: REM DEA TR: t = t6959
lola: REM DEA TR: t = t231
lola: REM DEA TR: t = t6960
lola: REM DEA TR: t = t232
lola: REM DEA TR: t = t6961
lola: REM DEA TR: t = t233
lola: REM DEA TR: t = t6962
lola: REM DEA TR: t = t234
lola: REM DEA TR: t = t6963
lola: REM DEA TR: t = t235
lola: REM DEA TR: t = t6964
lola: REM DEA TR: t = t236
lola: REM DEA TR: t = t6965
lola: REM DEA TR: t = t237
lola: REM DEA TR: t = t6966
lola: REM DEA TR: t = t238
lola: REM DEA TR: t = t6967
lola: REM DEA TR: t = t239
lola: REM DEA TR: t = t7707
lola: REM DEA TR: t = t7708
lola: REM DEA TR: t = t7709
lola: REM DEA TR: t = t0
lola: REM DEA TR: t = t1840
lola: REM DEA TR: t = t1
lola: REM DEA TR: t = t1841
lola: REM DEA TR: t = t2
lola: REM DEA TR: t = t6280
lola: REM DEA TR: t = t3
lola: REM DEA TR: t = t6281
lola: REM DEA TR: t = t4
lola: REM DEA TR: t = t6282
lola: REM DEA TR: t = t5
lola: REM DEA TR: t = t6283
lola: REM DEA TR: t = t6
lola: REM DEA TR: t = t6284
lola: REM DEA TR: t = t7
lola: REM DEA TR: t = t6285
lola: REM DEA TR: t = t8
lola: REM DEA TR: t = t6286
lola: REM DEA TR: t = t9
lola: REM DEA TR: t = t6287
lola: REM DEA TR: t = t10
lola: REM DEA TR: t = t6288
lola: REM DEA TR: t = t11
lola: REM DEA TR: t = t6289
lola: REM DEA TR: t = t12
lola: REM DEA TR: t = t6290
lola: REM DEA TR: t = t13
lola: REM DEA TR: t = t6291
lola: REM DEA TR: t = t14
lola: REM DEA TR: t = t6292
lola: REM DEA TR: t = t15
lola: REM DEA TR: t = t6293
lola: REM DEA TR: t = t16
lola: REM DEA TR: t = t6294
lola: REM DEA TR: t = t17
lola: REM DEA TR: t = t6295
lola: REM DEA TR: t = t18
lola: REM DEA TR: t = t6296
lola: REM DEA TR: t = t19
lola: REM DEA TR: t = t6297
lola: REM DEA TR: t = t20
lola: REM DEA TR: t = t6298
lola: REM DEA TR: t = t21
lola: REM DEA TR: t = t6299
lola: REM DEA TR: t = t22
lola: REM DEA TR: t = t6300
lola: REM DEA TR: t = t23
lola: REM DEA TR: t = t6301
lola: REM DEA TR: t = t24
lola: REM DEA TR: t = t6302
lola: REM DEA TR: t = t25
lola: REM DEA TR: t = t6303
lola: REM DEA TR: t = t5733
lola: REM DEA TR: t = t5734
lola: REM DEA TR: t = t5735
lola: REM DEA TR: t = t3740
lola: REM DEA TR: t = t1000
lola: REM DEA TR: t = t3741
lola: REM DEA TR: t = t1001
lola: REM DEA TR: t = t9530
lola: REM DEA TR: t = t1002
lola: REM DEA TR: t = t9531
lola: REM DEA TR: t = t1003
lola: REM DEA TR: t = t9532
lola: REM DEA TR: t = t1004
lola: REM DEA TR: t = t9533
lola: REM DEA TR: t = t1005
lola: REM DEA TR: t = t9534
lola: REM DEA TR: t = t1006
lola: REM DEA TR: t = t9535
lola: REM DEA TR: t = t1007
lola: REM DEA TR: t = t9536
lola: REM DEA TR: t = t1008
lola: REM DEA TR: t = t9537
lola: REM DEA TR: t = t1009
lola: REM DEA TR: t = t9538
lola: REM DEA TR: t = t1010
lola: REM DEA TR: t = t9539
lola: REM DEA TR: t = t1011
lola: REM DEA TR: t = t9540
lola: REM DEA TR: t = t1012
lola: REM DEA TR: t = t9541
lola: REM DEA TR: t = t1013
lola: REM DEA TR: t = t9542
lola: REM DEA TR: t = t1014
lola: REM DEA TR: t = t9543
lola: REM DEA TR: t = t1015
lola: REM DEA TR: t = t8878
lola: REM DEA TR: t = t9544
lola: REM DEA TR: t = t1016
lola: REM DEA TR: t = t9545
lola: REM DEA TR: t = t1017
lola: REM DEA TR: t = t8879
lola: REM DEA TR: t = t9546
lola: REM DEA TR: t = t1018
lola: REM DEA TR: t = t9547
lola: REM DEA TR: t = t1019
lola: REM DEA TR: t = t10283
lola: REM DEA TR: t = t9548
lola: REM DEA TR: t = t1020
lola: REM DEA TR: t = t9549
lola: REM DEA TR: t = t1021
lola: REM DEA TR: t = t9550
lola: REM DEA TR: t = t1022
lola: REM DEA TR: t = t9551
lola: REM DEA TR: t = t1023
lola: REM DEA TR: t = t9552
lola: REM DEA TR: t = t1024
lola: REM DEA TR: t = t9553
lola: REM DEA TR: t = t1025
lola: REM DEA TR: t = t9554
lola: REM DEA TR: t = t1026
lola: REM DEA TR: t = t9555
lola: REM DEA TR: t = t1027
lola: REM DEA TR: t = t9556
lola: REM DEA TR: t = t1028
lola: REM DEA TR: t = t9557
lola: REM DEA TR: t = t1029
lola: REM DEA TR: t = t9558
lola: REM DEA TR: t = t1030
lola: REM DEA TR: t = t9559
lola: REM DEA TR: t = t1031
lola: REM DEA TR: t = t9560
lola: REM DEA TR: t = t1032
lola: REM DEA TR: t = t9561
lola: REM DEA TR: t = t1033
lola: REM DEA TR: t = t9562
lola: REM DEA TR: t = t1034
lola: REM DEA TR: t = t9563
lola: REM DEA TR: t = t1035
lola: REM DEA TR: t = t9564
lola: REM DEA TR: t = t1036
lola: REM DEA TR: t = t9565
lola: REM DEA TR: t = t1037
lola: REM DEA TR: t = t9566
lola: REM DEA TR: t = t1038
lola: REM DEA TR: t = t9567
lola: REM DEA TR: t = t1039
lola: REM DEA TR: t = t3356
lola: REM DEA TR: t = t3357
lola: REM DEA TR: t = t3358
lola: REM DEA TR: t = t3359
lola: REM DEA TR: t = t5545
lola: REM DEA TR: t = t5546
lola: REM DEA TR: t = t5547
lola: REM DEA TR: t = t5548
lola: REM DEA TR: t = t5549
lola: REM DEA TR: t = t5550
lola: REM DEA TR: t = t5551
lola: REM DEA TR: t = t5552
lola: REM DEA TR: t = t5553
lola: REM DEA TR: t = t5554
lola: REM DEA TR: t = t5555
lola: REM DEA TR: t = t5556
lola: REM DEA TR: t = t5557
lola: REM DEA TR: t = t5558
lola: REM DEA TR: t = t5559
lola: REM DEA TR: t = t5560
lola: REM DEA TR: t = t800
lola: REM DEA TR: t = t3360
lola: REM DEA TR: t = t801
lola: REM DEA TR: t = t3361
lola: REM DEA TR: t = t802
lola: REM DEA TR: t = t8880
lola: REM DEA TR: t = t803
lola: REM DEA TR: t = t8881
lola: REM DEA TR: t = t804
lola: REM DEA TR: t = t8882
lola: REM DEA TR: t = t805
lola: REM DEA TR: t = t8883
lola: REM DEA TR: t = t7033
lola: REM DEA TR: t = t26
lola: REM DEA TR: t = t6304
lola: REM DEA TR: t = t27
lola: REM DEA TR: t = t6305
lola: REM DEA TR: t = t28
lola: REM DEA TR: t = t6306
lola: REM DEA TR: t = t29
lola: REM DEA TR: t = t6307
lola: REM DEA TR: t = t30
lola: REM DEA TR: t = t6308
lola: REM DEA TR: t = t31
lola: REM DEA TR: t = t6309
lola: REM DEA TR: t = t32
lola: REM DEA TR: t = t6310
lola: REM DEA TR: t = t33
lola: REM DEA TR: t = t6311
lola: REM DEA TR: t = t34
lola: REM DEA TR: t = t6312
lola: REM DEA TR: t = t35
lola: REM DEA TR: t = t6313
lola: REM DEA TR: t = t36
lola: REM DEA TR: t = t6314
lola: REM DEA TR: t = t37
lola: REM DEA TR: t = t6315
lola: REM DEA TR: t = t38
lola: REM DEA TR: t = t6316
lola: REM DEA TR: t = t39
lola: REM DEA TR: t = t6317
lola: REM DEA TR: t = t7057
lola: REM DEA TR: t = t7058
lola: REM DEA TR: t = t7059
lola: REM DEA TR: t = t6383
lola: REM DEA TR: t = t10307
lola: REM DEA TR: t = t10308
lola: REM DEA TR: t = t10309
lola: REM DEA TR: t = t4192
lola: REM DEA TR: t = t4193
lola: REM DEA TR: t = t4194
lola: REM DEA TR: t = t4195
lola: REM DEA TR: t = t806
lola: REM DEA TR: t = t8884
lola: REM DEA TR: t = t5930
lola: REM DEA TR: t = t807
lola: REM DEA TR: t = t8885
lola: REM DEA TR: t = t5931
lola: REM DEA TR: t = t808
lola: REM DEA TR: t = t8886
lola: REM DEA TR: t = t5932
lola: REM DEA TR: t = t809
lola: REM DEA TR: t = t8887
lola: REM DEA TR: t = t5933
lola: REM DEA TR: t = t810
lola: REM DEA TR: t = t8888
lola: REM DEA TR: t = t5934
lola: REM DEA TR: t = t811
lola: REM DEA TR: t = t8889
lola: REM DEA TR: t = t5935
lola: REM DEA TR: t = t812
lola: REM DEA TR: t = t8890
lola: REM DEA TR: t = t5936
lola: REM DEA TR: t = t813
lola: REM DEA TR: t = t8891
lola: REM DEA TR: t = t814
lola: REM DEA TR: t = t8892
lola: REM DEA TR: t = t815
lola: REM DEA TR: t = t8893
lola: REM DEA TR: t = t5937
lola: REM DEA TR: t = t5938
lola: REM DEA TR: t = t5939
lola: REM DEA TR: t = t816
lola: REM DEA TR: t = t8894
lola: REM DEA TR: t = t5940
lola: REM DEA TR: t = t817
lola: REM DEA TR: t = t8895
lola: REM DEA TR: t = t5941
lola: REM DEA TR: t = t818
lola: REM DEA TR: t = t8896
lola: REM DEA TR: t = t5942
lola: REM DEA TR: t = t819
lola: REM DEA TR: t = t8897
lola: REM DEA TR: t = t5943
lola: REM DEA TR: t = t9633
lola: REM DEA TR: t = t820
lola: REM DEA TR: t = t8898
lola: REM DEA TR: t = t5944
lola: REM DEA TR: t = t821
lola: REM DEA TR: t = t8899
lola: REM DEA TR: t = t5945
lola: REM DEA TR: t = t822
lola: REM DEA TR: t = t8900
lola: REM DEA TR: t = t823
lola: REM DEA TR: t = t8901
lola: REM DEA TR: t = t824
lola: REM DEA TR: t = t8902
lola: REM DEA TR: t = t825
lola: REM DEA TR: t = t8903
lola: REM DEA TR: t = t826
lola: REM DEA TR: t = t8904
lola: REM DEA TR: t = t827
lola: REM DEA TR: t = t8905
lola: REM DEA TR: t = t828
lola: REM DEA TR: t = t8906
lola: REM DEA TR: t = t829
lola: REM DEA TR: t = t8907
lola: REM DEA TR: t = t830
lola: REM DEA TR: t = t8908
lola: REM DEA TR: t = t831
lola: REM DEA TR: t = t8909
lola: REM DEA TR: t = t832
lola: REM DEA TR: t = t8910
lola: REM DEA TR: t = t833
lola: REM DEA TR: t = t8911
lola: REM DEA TR: t = t834
lola: REM DEA TR: t = t8912
lola: REM DEA TR: t = t835
lola: REM DEA TR: t = t8913
lola: REM DEA TR: t = t836
lola: REM DEA TR: t = t8914
lola: REM DEA TR: t = t837
lola: REM DEA TR: t = t8915
lola: REM DEA TR: t = t838
lola: REM DEA TR: t = t8916
lola: REM DEA TR: t = t839
lola: REM DEA TR: t = t8917
lola: REM DEA TR: t = t2977
lola: REM DEA TR: t = t2978
lola: REM DEA TR: t = t2979
lola: REM DEA TR: t = t9657
lola: REM DEA TR: t = t9658
lola: REM DEA TR: t = t9659
lola: REM DEA TR: t = t5370
lola: REM DEA TR: t = t5371
lola: REM DEA TR: t = t5372
lola: REM DEA TR: t = t5373
lola: REM DEA TR: t = t5374
lola: REM DEA TR: t = t5375
lola: REM DEA TR: t = t5376
lola: REM DEA TR: t = t5377
lola: REM DEA TR: t = t5378
lola: REM DEA TR: t = t5379
lola: REM DEA TR: t = t5380
lola: REM DEA TR: t = t5381
lola: REM DEA TR: t = t5382
lola: REM DEA TR: t = t5383
lola: REM DEA TR: t = t5384
lola: REM DEA TR: t = t5385
lola: REM DEA TR: t = t2980
lola: REM DEA TR: t = t600
lola: REM DEA TR: t = t2981
lola: REM DEA TR: t = t601
lola: REM DEA TR: t = t8230
lola: REM DEA TR: t = t602
lola: REM DEA TR: t = t8231
lola: REM DEA TR: t = t603
lola: REM DEA TR: t = t8232
lola: REM DEA TR: t = t604
lola: REM DEA TR: t = t8233
lola: REM DEA TR: t = t605
lola: REM DEA TR: t = t8234
lola: REM DEA TR: t = t606
lola: REM DEA TR: t = t8235
lola: REM DEA TR: t = t607
lola: REM DEA TR: t = t8236
lola: REM DEA TR: t = t608
lola: REM DEA TR: t = t8237
lola: REM DEA TR: t = t609
lola: REM DEA TR: t = t8238
lola: REM DEA TR: t = t610
lola: REM DEA TR: t = t8239
lola: REM DEA TR: t = t611
lola: REM DEA TR: t = t8240
lola: REM DEA TR: t = t612
lola: REM DEA TR: t = t8241
lola: REM DEA TR: t = t613
lola: REM DEA TR: t = t8242
lola: REM DEA TR: t = t614
lola: REM DEA TR: t = t8243
lola: REM DEA TR: t = t615
lola: REM DEA TR: t = t8244
lola: REM DEA TR: t = t616
lola: REM DEA TR: t = t8245
lola: REM DEA TR: t = t617
lola: REM DEA TR: t = t8246
lola: REM DEA TR: t = t618
lola: REM DEA TR: t = t8247
lola: REM DEA TR: t = t619
lola: REM DEA TR: t = t8248
lola: REM DEA TR: t = t620
lola: REM DEA TR: t = t8249
lola: REM DEA TR: t = t621
lola: REM DEA TR: t = t8250
lola: REM DEA TR: t = t622
lola: REM DEA TR: t = t8251
lola: REM DEA TR: t = t623
lola: REM DEA TR: t = t8252
lola: REM DEA TR: t = t624
lola: REM DEA TR: t = t8253
lola: REM DEA TR: t = t625
lola: REM DEA TR: t = t8254
lola: REM DEA TR: t = t626
lola: REM DEA TR: t = t8255
lola: REM DEA TR: t = t627
lola: REM DEA TR: t = t8256
lola: REM DEA TR: t = t628
lola: REM DEA TR: t = t8257
lola: REM DEA TR: t = t629
lola: REM DEA TR: t = t8258
lola: REM DEA TR: t = t630
lola: REM DEA TR: t = t8259
lola: REM DEA TR: t = t631
lola: REM DEA TR: t = t8260
lola: REM DEA TR: t = t632
lola: REM DEA TR: t = t8261
lola: REM DEA TR: t = t633
lola: REM DEA TR: t = t8262
lola: REM DEA TR: t = t634
lola: REM DEA TR: t = t8263
lola: REM DEA TR: t = t635
lola: REM DEA TR: t = t2292
lola: REM DEA TR: t = t2293
lola: REM DEA TR: t = t2294
lola: REM DEA TR: t = t2295
lola: REM DEA TR: t = t5055
lola: REM DEA TR: t = t5056
lola: REM DEA TR: t = t5057
lola: REM DEA TR: t = t5058
lola: REM DEA TR: t = t5059
lola: REM DEA TR: t = t5060
lola: REM DEA TR: t = t5061
lola: REM DEA TR: t = t5062
lola: REM DEA TR: t = t5063
lola: REM DEA TR: t = t5064
lola: REM DEA TR: t = t5065
lola: REM DEA TR: t = t5066
lola: REM DEA TR: t = t5067
lola: REM DEA TR: t = t5068
lola: REM DEA TR: t = t5069
lola: REM DEA TR: t = t5070
lola: REM DEA TR: t = t240
lola: REM DEA TR: t = t2296
lola: REM DEA TR: t = t241
lola: REM DEA TR: t = t2297
lola: REM DEA TR: t = t242
lola: REM DEA TR: t = t7060
lola: REM DEA TR: t = t243
lola: REM DEA TR: t = t7061
lola: REM DEA TR: t = t244
lola: REM DEA TR: t = t7062
lola: REM DEA TR: t = t245
lola: REM DEA TR: t = t7063
lola: REM DEA TR: t = t246
lola: REM DEA TR: t = t7064
lola: REM DEA TR: t = t247
lola: REM DEA TR: t = t7065
lola: REM DEA TR: t = t248
lola: REM DEA TR: t = t7066
lola: REM DEA TR: t = t249
lola: REM DEA TR: t = t7067
lola: REM DEA TR: t = t250
lola: REM DEA TR: t = t7068
lola: REM DEA TR: t = t251
lola: REM DEA TR: t = t7069
lola: REM DEA TR: t = t252
lola: REM DEA TR: t = t7070
lola: REM DEA TR: t = t253
lola: REM DEA TR: t = t7071
lola: REM DEA TR: t = t254
lola: REM DEA TR: t = t7072
lola: REM DEA TR: t = t255
lola: REM DEA TR: t = t7073
lola: REM DEA TR: t = t6407
lola: REM DEA TR: t = t256
lola: REM DEA TR: t = t7074
lola: REM DEA TR: t = t6408
lola: REM DEA TR: t = t257
lola: REM DEA TR: t = t7075
lola: REM DEA TR: t = t6409
lola: REM DEA TR: t = t258
lola: REM DEA TR: t = t7076
lola: REM DEA TR: t = t259
lola: REM DEA TR: t = t7077
lola: REM DEA TR: t = t260
lola: REM DEA TR: t = t7078
lola: REM DEA TR: t = t261
lola: REM DEA TR: t = t7079
lola: REM DEA TR: t = t262
lola: REM DEA TR: t = t7080
lola: REM DEA TR: t = t263
lola: REM DEA TR: t = t7081
lola: REM DEA TR: t = t264
lola: REM DEA TR: t = t7082
lola: REM DEA TR: t = t265
lola: REM DEA TR: t = t7083
lola: REM DEA TR: t = t266
lola: REM DEA TR: t = t7084
lola: REM DEA TR: t = t267
lola: REM DEA TR: t = t7085
lola: REM DEA TR: t = t268
lola: REM DEA TR: t = t7086
lola: REM DEA TR: t = t269
lola: REM DEA TR: t = t7087
lola: REM DEA TR: t = t270
lola: REM DEA TR: t = t7088
lola: REM DEA TR: t = t271
lola: REM DEA TR: t = t7089
lola: REM DEA TR: t = t272
lola: REM DEA TR: t = t7090
lola: REM DEA TR: t = t273
lola: REM DEA TR: t = t7091
lola: REM DEA TR: t = t274
lola: REM DEA TR: t = t7092
lola: REM DEA TR: t = t275
lola: REM DEA TR: t = t7093
lola: REM DEA TR: t = t276
lola: REM DEA TR: t = t7094
lola: REM DEA TR: t = t277
lola: REM DEA TR: t = t7095
lola: REM DEA TR: t = t278
lola: REM DEA TR: t = t7096
lola: REM DEA TR: t = t279
lola: REM DEA TR: t = t7097
lola: REM DEA TR: t = t1912
lola: REM DEA TR: t = t1913
lola: REM DEA TR: t = t1914
lola: REM DEA TR: t = t1915
lola: REM DEA TR: t = t4880
lola: REM DEA TR: t = t4881
lola: REM DEA TR: t = t4882
lola: REM DEA TR: t = t4883
lola: REM DEA TR: t = t4884
lola: REM DEA TR: t = t4885
lola: REM DEA TR: t = t4886
lola: REM DEA TR: t = t4887
lola: REM DEA TR: t = t4888
lola: REM DEA TR: t = t4889
lola: REM DEA TR: t = t4890
lola: REM DEA TR: t = t4891
lola: REM DEA TR: t = t4892
lola: REM DEA TR: t = t4893
lola: REM DEA TR: t = t4894
lola: REM DEA TR: t = t4895
lola: REM DEA TR: t = t3812
lola: REM DEA TR: t = t3813
lola: REM DEA TR: t = t3814
lola: REM DEA TR: t = t3815
lola: REM DEA TR: t = t5755
lola: REM DEA TR: t = t5756
lola: REM DEA TR: t = t5757
lola: REM DEA TR: t = t5758
lola: REM DEA TR: t = t5759
lola: REM DEA TR: t = t5760
lola: REM DEA TR: t = t5761
lola: REM DEA TR: t = t5762
lola: REM DEA TR: t = t5763
lola: REM DEA TR: t = t5764
lola: REM DEA TR: t = t5765
lola: REM DEA TR: t = t5766
lola: REM DEA TR: t = t5767
lola: REM DEA TR: t = t5768
lola: REM DEA TR: t = t8983
lola: REM DEA TR: t = t5769
lola: REM DEA TR: t = t5770
lola: REM DEA TR: t = t8264
lola: REM DEA TR: t = t636
lola: REM DEA TR: t = t8265
lola: REM DEA TR: t = t637
lola: REM DEA TR: t = t8266
lola: REM DEA TR: t = t638
lola: REM DEA TR: t = t8267
lola: REM DEA TR: t = t639
lola: REM DEA TR: t = t3816
lola: REM DEA TR: t = t1040
lola: REM DEA TR: t = t3817
lola: REM DEA TR: t = t1041
lola: REM DEA TR: t = t9660
lola: REM DEA TR: t = t1042
lola: REM DEA TR: t = t9661
lola: REM DEA TR: t = t1043
lola: REM DEA TR: t = t9662
lola: REM DEA TR: t = t1044
lola: REM DEA TR: t = t9663
lola: REM DEA TR: t = t1045
lola: REM DEA TR: t = t9664
lola: REM DEA TR: t = t1046
lola: REM DEA TR: t = t9665
lola: REM DEA TR: t = t1047
lola: REM DEA TR: t = t9666
lola: REM DEA TR: t = t1048
lola: REM DEA TR: t = t9667
lola: REM DEA TR: t = t1049
lola: REM DEA TR: t = t9668
lola: REM DEA TR: t = t1050
lola: REM DEA TR: t = t9669
lola: REM DEA TR: t = t1051
lola: REM DEA TR: t = t9670
lola: REM DEA TR: t = t1052
lola: REM DEA TR: t = t9671
lola: REM DEA TR: t = t1053
lola: REM DEA TR: t = t9672
lola: REM DEA TR: t = t1054
lola: REM DEA TR: t = t9673
lola: REM DEA TR: t = t1055
lola: REM DEA TR: t = t9007
lola: REM DEA TR: t = t9674
lola: REM DEA TR: t = t1056
lola: REM DEA TR: t = t9008
lola: REM DEA TR: t = t9675
lola: REM DEA TR: t = t1057
lola: REM DEA TR: t = t9009
lola: REM DEA TR: t = t9676
lola: REM DEA TR: t = t1058
lola: REM DEA TR: t = t9677
lola: REM DEA TR: t = t1059
lola: REM DEA TR: t = t9678
lola: REM DEA TR: t = t1060
lola: REM DEA TR: t = t9679
lola: REM DEA TR: t = t1061
lola: REM DEA TR: t = t9680
lola: REM DEA TR: t = t1062
lola: REM DEA TR: t = t9681
lola: REM DEA TR: t = t1063
lola: REM DEA TR: t = t9682
lola: REM DEA TR: t = t1064
lola: REM DEA TR: t = t9683
lola: REM DEA TR: t = t1065
lola: REM DEA TR: t = t9684
lola: REM DEA TR: t = t1066
lola: REM DEA TR: t = t9685
lola: REM DEA TR: t = t1067
lola: REM DEA TR: t = t9686
lola: REM DEA TR: t = t1068
lola: REM DEA TR: t = t9687
lola: REM DEA TR: t = t1069
lola: REM DEA TR: t = t3432
lola: REM DEA TR: t = t3433
lola: REM DEA TR: t = t3434
lola: REM DEA TR: t = t3435
lola: REM DEA TR: t = t8333
lola: REM DEA TR: t = t1416
lola: REM DEA TR: t = t10844
lola: REM DEA TR: t = t1417
lola: REM DEA TR: t = t10845
lola: REM DEA TR: t = t1418
lola: REM DEA TR: t = t10846
lola: REM DEA TR: t = t1419
lola: REM DEA TR: t = t10847
lola: REM DEA TR: t = t1420
lola: REM DEA TR: t = t10848
lola: REM DEA TR: t = t1421
lola: REM DEA TR: t = t10849
lola: REM DEA TR: t = t1422
lola: REM DEA TR: t = t10850
lola: REM DEA TR: t = t1423
lola: REM DEA TR: t = t10851
lola: REM DEA TR: t = t1424
lola: REM DEA TR: t = t10852
lola: REM DEA TR: t = t1425
lola: REM DEA TR: t = t10853
lola: REM DEA TR: t = t1426
lola: REM DEA TR: t = t10854
lola: REM DEA TR: t = t1427
lola: REM DEA TR: t = t10855
lola: REM DEA TR: t = t1428
lola: REM DEA TR: t = t10856
lola: REM DEA TR: t = t1429
lola: REM DEA TR: t = t10857
lola: REM DEA TR: t = t1430
lola: REM DEA TR: t = t10858
lola: REM DEA TR: t = t1431
lola: REM DEA TR: t = t10859
lola: REM DEA TR: t = t1432
lola: REM DEA TR: t = t10860
lola: REM DEA TR: t = t1433
lola: REM DEA TR: t = t10861
lola: REM DEA TR: t = t1434
lola: REM DEA TR: t = t10862
lola: REM DEA TR: t = t1435
lola: REM DEA TR: t = t10863
lola: REM DEA TR: t = t1436
lola: REM DEA TR: t = t10864
lola: REM DEA TR: t = t1437
lola: REM DEA TR: t = t10865
lola: REM DEA TR: t = t1438
lola: REM DEA TR: t = t10866
lola: REM DEA TR: t = t1439
lola: REM DEA TR: t = t10867
lola: REM DEA TR: t = t40
lola: REM DEA TR: t = t1916
lola: REM DEA TR: t = t41
lola: REM DEA TR: t = t1917
lola: REM DEA TR: t = t42
lola: REM DEA TR: t = t6410
lola: REM DEA TR: t = t43
lola: REM DEA TR: t = t6411
lola: REM DEA TR: t = t44
lola: REM DEA TR: t = t6412
lola: REM DEA TR: t = t45
lola: REM DEA TR: t = t6413
lola: REM DEA TR: t = t46
lola: REM DEA TR: t = t6414
lola: REM DEA TR: t = t47
lola: REM DEA TR: t = t6415
lola: REM DEA TR: t = t48
lola: REM DEA TR: t = t6416
lola: REM DEA TR: t = t49
lola: REM DEA TR: t = t6417
lola: REM DEA TR: t = t50
lola: REM DEA TR: t = t6418
lola: REM DEA TR: t = t51
lola: REM DEA TR: t = t6419
lola: REM DEA TR: t = t52
lola: REM DEA TR: t = t6420
lola: REM DEA TR: t = t53
lola: REM DEA TR: t = t6421
lola: REM DEA TR: t = t54
lola: REM DEA TR: t = t6422
lola: REM DEA TR: t = t55
lola: REM DEA TR: t = t6423
lola: REM DEA TR: t = t56
lola: REM DEA TR: t = t6424
lola: REM DEA TR: t = t57
lola: REM DEA TR: t = t6425
lola: REM DEA TR: t = t58
lola: REM DEA TR: t = t6426
lola: REM DEA TR: t = t59
lola: REM DEA TR: t = t6427
lola: REM DEA TR: t = t7163
lola: REM DEA TR: t = t60
lola: REM DEA TR: t = t6428
lola: REM DEA TR: t = t61
lola: REM DEA TR: t = t6429
lola: REM DEA TR: t = t62
lola: REM DEA TR: t = t6430
lola: REM DEA TR: t = t63
lola: REM DEA TR: t = t6431
lola: REM DEA TR: t = t64
lola: REM DEA TR: t = t6432
lola: REM DEA TR: t = t65
lola: REM DEA TR: t = t6433
lola: REM DEA TR: t = t66
lola: REM DEA TR: t = t6434
lola: REM DEA TR: t = t67
lola: REM DEA TR: t = t6435
lola: REM DEA TR: t = t68
lola: REM DEA TR: t = t6436
lola: REM DEA TR: t = t69
lola: REM DEA TR: t = t6437
lola: REM DEA TR: t = t70
lola: REM DEA TR: t = t6438
lola: REM DEA TR: t = t71
lola: REM DEA TR: t = t6439
lola: REM DEA TR: t = t72
lola: REM DEA TR: t = t6440
lola: REM DEA TR: t = t73
lola: REM DEA TR: t = t6441
lola: REM DEA TR: t = t74
lola: REM DEA TR: t = t6442
lola: REM DEA TR: t = t75
lola: REM DEA TR: t = t6443
lola: REM DEA TR: t = t76
lola: REM DEA TR: t = t6444
lola: REM DEA TR: t = t77
lola: REM DEA TR: t = t6445
lola: REM DEA TR: t = t78
lola: REM DEA TR: t = t6446
lola: REM DEA TR: t = t79
lola: REM DEA TR: t = t6447
lola: REM DEA TR: t = t1592
lola: REM DEA TR: t = t11380
lola: REM DEA TR: t = t1593
lola: REM DEA TR: t = t11381
lola: REM DEA TR: t = t1594
lola: REM DEA TR: t = t11382
lola: REM DEA TR: t = t1595
lola: REM DEA TR: t = t11383
lola: REM DEA TR: t = t1596
lola: REM DEA TR: t = t11384
lola: REM DEA TR: t = t1597
lola: REM DEA TR: t = t11385
lola: REM DEA TR: t = t1598
lola: REM DEA TR: t = t11386
lola: REM DEA TR: t = t1599
lola: REM DEA TR: t = t11387
lola: REM DEA TR: t = t9688
lola: REM DEA TR: t = t1070
lola: REM DEA TR: t = t9689
lola: REM DEA TR: t = t1071
lola: REM DEA TR: t = t9690
lola: REM DEA TR: t = t1072
lola: REM DEA TR: t = t9691
lola: REM DEA TR: t = t1073
lola: REM DEA TR: t = t9692
lola: REM DEA TR: t = t1074
lola: REM DEA TR: t = t9693
lola: REM DEA TR: t = t1075
lola: REM DEA TR: t = t9694
lola: REM DEA TR: t = t1076
lola: REM DEA TR: t = t9695
lola: REM DEA TR: t = t1077
lola: REM DEA TR: t = t9696
lola: REM DEA TR: t = t1078
lola: REM DEA TR: t = t9697
lola: REM DEA TR: t = t1079
lola: REM DEA TR: t = t11453
lola: REM DEA TR: t = t5580
lola: REM DEA TR: t = t5581
lola: REM DEA TR: t = t5582
lola: REM DEA TR: t = t5583
lola: REM DEA TR: t = t5584
lola: REM DEA TR: t = t5585
lola: REM DEA TR: t = t5586
lola: REM DEA TR: t = t5587
lola: REM DEA TR: t = t5588
lola: REM DEA TR: t = t5589
lola: REM DEA TR: t = t5590
lola: REM DEA TR: t = t5591
lola: REM DEA TR: t = t5592
lola: REM DEA TR: t = t5593
lola: REM DEA TR: t = t5594
lola: REM DEA TR: t = t5595
lola: REM DEA TR: t = t840
lola: REM DEA TR: t = t3436
lola: REM DEA TR: t = t841
lola: REM DEA TR: t = t3437
lola: REM DEA TR: t = t842
lola: REM DEA TR: t = t9010
lola: REM DEA TR: t = t843
lola: REM DEA TR: t = t9011
lola: REM DEA TR: t = t844
lola: REM DEA TR: t = t9012
lola: REM DEA TR: t = t845
lola: REM DEA TR: t = t9013
lola: REM DEA TR: t = t846
lola: REM DEA TR: t = t9014
lola: REM DEA TR: t = t847
lola: REM DEA TR: t = t9015
lola: REM DEA TR: t = t848
lola: REM DEA TR: t = t9016
lola: REM DEA TR: t = t849
lola: REM DEA TR: t = t9017
lola: REM DEA TR: t = t850
lola: REM DEA TR: t = t9018
lola: REM DEA TR: t = t851
lola: REM DEA TR: t = t9019
lola: REM DEA TR: t = t852
lola: REM DEA TR: t = t9020
lola: REM DEA TR: t = t853
lola: REM DEA TR: t = t9021
lola: REM DEA TR: t = t854
lola: REM DEA TR: t = t9022
lola: REM DEA TR: t = t855
lola: REM DEA TR: t = t9023
lola: REM DEA TR: t = t8357
lola: REM DEA TR: t = t856
lola: REM DEA TR: t = t9024
lola: REM DEA TR: t = t8358
lola: REM DEA TR: t = t857
lola: REM DEA TR: t = t9025
lola: REM DEA TR: t = t8359
lola: REM DEA TR: t = t858
lola: REM DEA TR: t = t9026
lola: REM DEA TR: t = t859
lola: REM DEA TR: t = t9027
lola: REM DEA TR: t = t9763
lola: REM DEA TR: t = t860
lola: REM DEA TR: t = t9028
lola: REM DEA TR: t = t861
lola: REM DEA TR: t = t9029
lola: REM DEA TR: t = t862
lola: REM DEA TR: t = t9030
lola: REM DEA TR: t = t863
lola: REM DEA TR: t = t9031
lola: REM DEA TR: t = t864
lola: REM DEA TR: t = t9032
lola: REM DEA TR: t = t865
lola: REM DEA TR: t = t9033
lola: REM DEA TR: t = t866
lola: REM DEA TR: t = t9034
lola: REM DEA TR: t = t867
lola: REM DEA TR: t = t9035
lola: REM DEA TR: t = t868
lola: REM DEA TR: t = t9036
lola: REM DEA TR: t = t869
lola: REM DEA TR: t = t9037
lola: REM DEA TR: t = t870
lola: REM DEA TR: t = t9038
lola: REM DEA TR: t = t871
lola: REM DEA TR: t = t9039
lola: REM DEA TR: t = t872
lola: REM DEA TR: t = t9040
lola: REM DEA TR: t = t873
lola: REM DEA TR: t = t9041
lola: REM DEA TR: t = t874
lola: REM DEA TR: t = t9042
lola: REM DEA TR: t = t875
lola: REM DEA TR: t = t9043
lola: REM DEA TR: t = t876
lola: REM DEA TR: t = t9044
lola: REM DEA TR: t = t877
lola: REM DEA TR: t = t9045
lola: REM DEA TR: t = t878
lola: REM DEA TR: t = t9046
lola: REM DEA TR: t = t879
lola: REM DEA TR: t = t9047
lola: REM DEA TR: t = t3052
lola: REM DEA TR: t = t3053
lola: REM DEA TR: t = t3054
lola: REM DEA TR: t = t3055
lola: REM DEA TR: t = t5405
lola: REM DEA TR: t = t5406
lola: REM DEA TR: t = t5407
lola: REM DEA TR: t = t5408
lola: REM DEA TR: t = t5409
lola: REM DEA TR: t = t5410
lola: REM DEA TR: t = t5411
lola: REM DEA TR: t = t5412
lola: REM DEA TR: t = t5413
lola: REM DEA TR: t = t5414
lola: REM DEA TR: t = t5415
lola: REM DEA TR: t = t5416
lola: REM DEA TR: t = t5417
lola: REM DEA TR: t = t5418
lola: REM DEA TR: t = t5419
lola: REM DEA TR: t = t5420
lola: REM DEA TR: t = t10933
lola: REM DEA TR: t = t10957
lola: REM DEA TR: t = t10958
lola: REM DEA TR: t = t10959
lola: REM DEA TR: t = t4572
lola: REM DEA TR: t = t4573
lola: REM DEA TR: t = t4574
lola: REM DEA TR: t = t4575
lola: REM DEA TR: t = t6105
lola: REM DEA TR: t = t6106
lola: REM DEA TR: t = t6107
lola: REM DEA TR: t = t6108
lola: REM DEA TR: t = t6109
lola: REM DEA TR: t = t6110
lola: REM DEA TR: t = t6111
lola: REM DEA TR: t = t6513
lola: REM DEA TR: t = t6537
lola: REM DEA TR: t = t6538
lola: REM DEA TR: t = t6539
lola: REM DEA TR: t = t11477
lola: REM DEA TR: t = t11478
lola: REM DEA TR: t = t11479
lola: REM DEA TR: t = t4876
lola: REM DEA TR: t = t4877
lola: REM DEA TR: t = t4878
lola: REM DEA TR: t = t4879
lola: REM DEA TR: t = t6245
lola: REM DEA TR: t = t6246
lola: REM DEA TR: t = t6247
lola: REM DEA TR: t = t6248
lola: REM DEA TR: t = t6249
lola: REM DEA TR: t = t6250
lola: REM DEA TR: t = t6251
lola: REM DEA TR: t = t6252
lola: REM DEA TR: t = t6253
lola: REM DEA TR: t = t6254
lola: REM DEA TR: t = t6255
lola: REM DEA TR: t = t6256
lola: REM DEA TR: t = t6257
lola: REM DEA TR: t = t6258
lola: REM DEA TR: t = t6259
lola: REM DEA TR: t = t6260
lola: REM DEA TR: t = t9787
lola: REM DEA TR: t = t9788
lola: REM DEA TR: t = t9789
lola: REM DEA TR: t = t3888
lola: REM DEA TR: t = t3889
lola: REM DEA TR: t = t3890
lola: REM DEA TR: t = t3056
lola: REM DEA TR: t = t640
lola: REM DEA TR: t = t3891
lola: REM DEA TR: t = t3057
lola: REM DEA TR: t = t641
lola: REM DEA TR: t = t8360
lola: REM DEA TR: t = t642
lola: REM DEA TR: t = t8361
lola: REM DEA TR: t = t643
lola: REM DEA TR: t = t8362
lola: REM DEA TR: t = t644
lola: REM DEA TR: t = t8363
lola: REM DEA TR: t = t645
lola: REM DEA TR: t = t8364
lola: REM DEA TR: t = t646
lola: REM DEA TR: t = t5790
lola: REM DEA TR: t = t8365
lola: REM DEA TR: t = t647
lola: REM DEA TR: t = t8366
lola: REM DEA TR: t = t648
lola: REM DEA TR: t = t8367
lola: REM DEA TR: t = t649
lola: REM DEA TR: t = t5791
lola: REM DEA TR: t = t5792
lola: REM DEA TR: t = t5793
lola: REM DEA TR: t = t8368
lola: REM DEA TR: t = t650
lola: REM DEA TR: t = t5794
lola: REM DEA TR: t = t8369
lola: REM DEA TR: t = t651
lola: REM DEA TR: t = t5795
lola: REM DEA TR: t = t8370
lola: REM DEA TR: t = t652
lola: REM DEA TR: t = t5796
lola: REM DEA TR: t = t8371
lola: REM DEA TR: t = t653
lola: REM DEA TR: t = t5797
lola: REM DEA TR: t = t8372
lola: REM DEA TR: t = t654
lola: REM DEA TR: t = t5798
lola: REM DEA TR: t = t8373
lola: REM DEA TR: t = t655
lola: REM DEA TR: t = t5799
lola: REM DEA TR: t = t8374
lola: REM DEA TR: t = t656
lola: REM DEA TR: t = t5800
lola: REM DEA TR: t = t8375
lola: REM DEA TR: t = t657
lola: REM DEA TR: t = t8376
lola: REM DEA TR: t = t658
lola: REM DEA TR: t = t8377
lola: REM DEA TR: t = t659
lola: REM DEA TR: t = t5801
lola: REM DEA TR: t = t5802
lola: REM DEA TR: t = t5803
lola: REM DEA TR: t = t9113
lola: REM DEA TR: t = t8378
lola: REM DEA TR: t = t660
lola: REM DEA TR: t = t5804
lola: REM DEA TR: t = t8379
lola: REM DEA TR: t = t661
lola: REM DEA TR: t = t5805
lola: REM DEA TR: t = t8380
lola: REM DEA TR: t = t662
lola: REM DEA TR: t = t8381
lola: REM DEA TR: t = t663
lola: REM DEA TR: t = t8382
lola: REM DEA TR: t = t664
lola: REM DEA TR: t = t8383
lola: REM DEA TR: t = t665
lola: REM DEA TR: t = t8384
lola: REM DEA TR: t = t666
lola: REM DEA TR: t = t8385
lola: REM DEA TR: t = t667
lola: REM DEA TR: t = t8386
lola: REM DEA TR: t = t668
lola: REM DEA TR: t = t8387
lola: REM DEA TR: t = t669
lola: REM DEA TR: t = t8388
lola: REM DEA TR: t = t670
lola: REM DEA TR: t = t8389
lola: REM DEA TR: t = t671
lola: REM DEA TR: t = t8390
lola: REM DEA TR: t = t672
lola: REM DEA TR: t = t8391
lola: REM DEA TR: t = t673
lola: REM DEA TR: t = t8392
lola: REM DEA TR: t = t674
lola: REM DEA TR: t = t8393
lola: REM DEA TR: t = t675
lola: REM DEA TR: t = t8394
lola: REM DEA TR: t = t676
lola: REM DEA TR: t = t8395
lola: REM DEA TR: t = t677
lola: REM DEA TR: t = t8396
lola: REM DEA TR: t = t678
lola: REM DEA TR: t = t8397
lola: REM DEA TR: t = t679
lola: REM DEA TR: t = t2672
lola: REM DEA TR: t = t2673
lola: REM DEA TR: t = t2674
lola: REM DEA TR: t = t2675
lola: REM DEA TR: t = t5230
lola: REM DEA TR: t = t5231
lola: REM DEA TR: t = t5232
lola: REM DEA TR: t = t5233
lola: REM DEA TR: t = t5234
lola: REM DEA TR: t = t5235
lola: REM DEA TR: t = t5236
lola: REM DEA TR: t = t5237
lola: REM DEA TR: t = t5238
lola: REM DEA TR: t = t5239
lola: REM DEA TR: t = t5240
lola: REM DEA TR: t = t5241
lola: REM DEA TR: t = t5242
lola: REM DEA TR: t = t5243
lola: REM DEA TR: t = t5244
lola: REM DEA TR: t = t5245
lola: REM DEA TR: t = t2676
lola: REM DEA TR: t = t440
lola: REM DEA TR: t = t2677
lola: REM DEA TR: t = t441
lola: REM DEA TR: t = t7710
lola: REM DEA TR: t = t442
lola: REM DEA TR: t = t7711
lola: REM DEA TR: t = t443
lola: REM DEA TR: t = t7712
lola: REM DEA TR: t = t444
lola: REM DEA TR: t = t7713
lola: REM DEA TR: t = t445
lola: REM DEA TR: t = t7714
lola: REM DEA TR: t = t446
lola: REM DEA TR: t = t7715
lola: REM DEA TR: t = t447
lola: REM DEA TR: t = t7716
lola: REM DEA TR: t = t448
lola: REM DEA TR: t = t7717
lola: REM DEA TR: t = t449
lola: REM DEA TR: t = t7718
lola: REM DEA TR: t = t450
lola: REM DEA TR: t = t7719
lola: REM DEA TR: t = t451
lola: REM DEA TR: t = t7720
lola: REM DEA TR: t = t452
lola: REM DEA TR: t = t7721
lola: REM DEA TR: t = t453
lola: REM DEA TR: t = t7722
lola: REM DEA TR: t = t454
lola: REM DEA TR: t = t7723
lola: REM DEA TR: t = t455
lola: REM DEA TR: t = t7724
lola: REM DEA TR: t = t456
lola: REM DEA TR: t = t7725
lola: REM DEA TR: t = t457
lola: REM DEA TR: t = t7726
lola: REM DEA TR: t = t458
lola: REM DEA TR: t = t7727
lola: REM DEA TR: t = t459
lola: REM DEA TR: t = t6112
lola: REM DEA TR: t = t6113
lola: REM DEA TR: t = t6114
lola: REM DEA TR: t = t6115
lola: REM DEA TR: t = t6116
lola: REM DEA TR: t = t6117
lola: REM DEA TR: t = t6118
lola: REM DEA TR: t = t6119
lola: REM DEA TR: t = t6120
lola: REM DEA TR: t = t1440
lola: REM DEA TR: t = t4576
lola: REM DEA TR: t = t1441
lola: REM DEA TR: t = t4577
lola: REM DEA TR: t = t1442
lola: REM DEA TR: t = t10960
lola: REM DEA TR: t = t1443
lola: REM DEA TR: t = t10961
lola: REM DEA TR: t = t1444
lola: REM DEA TR: t = t10962
lola: REM DEA TR: t = t1445
lola: REM DEA TR: t = t10963
lola: REM DEA TR: t = t1446
lola: REM DEA TR: t = t10964
lola: REM DEA TR: t = t1447
lola: REM DEA TR: t = t10965
lola: REM DEA TR: t = t1448
lola: REM DEA TR: t = t10966
lola: REM DEA TR: t = t1449
lola: REM DEA TR: t = t10967
lola: REM DEA TR: t = t1450
lola: REM DEA TR: t = t10968
lola: REM DEA TR: t = t1451
lola: REM DEA TR: t = t10969
lola: REM DEA TR: t = t1452
lola: REM DEA TR: t = t10970
lola: REM DEA TR: t = t1453
lola: REM DEA TR: t = t10971
lola: REM DEA TR: t = t1454
lola: REM DEA TR: t = t10972
lola: REM DEA TR: t = t1455
lola: REM DEA TR: t = t10973
lola: REM DEA TR: t = t1456
lola: REM DEA TR: t = t10974
lola: REM DEA TR: t = t1457
lola: REM DEA TR: t = t10975
lola: REM DEA TR: t = t1458
lola: REM DEA TR: t = t10976
lola: REM DEA TR: t = t1459
lola: REM DEA TR: t = t10977
lola: REM DEA TR: t = t1460
lola: REM DEA TR: t = t10978
lola: REM DEA TR: t = t1461
lola: REM DEA TR: t = t10979
lola: REM DEA TR: t = t1462
lola: REM DEA TR: t = t10980
lola: REM DEA TR: t = t1463
lola: REM DEA TR: t = t10981
lola: REM DEA TR: t = t1464
lola: REM DEA TR: t = t10982
lola: REM DEA TR: t = t1465
lola: REM DEA TR: t = t10983
lola: REM DEA TR: t = t1466
lola: REM DEA TR: t = t10984
lola: REM DEA TR: t = t1467
lola: REM DEA TR: t = t10985
lola: REM DEA TR: t = t1468
lola: REM DEA TR: t = t10986
lola: REM DEA TR: t = t1469
lola: REM DEA TR: t = t10987
lola: REM DEA TR: t = t1470
lola: REM DEA TR: t = t10988
lola: REM DEA TR: t = t1471
lola: REM DEA TR: t = t10989
lola: REM DEA TR: t = t1472
lola: REM DEA TR: t = t10990
lola: REM DEA TR: t = t1473
lola: REM DEA TR: t = t10991
lola: REM DEA TR: t = t1474
lola: REM DEA TR: t = t10992
lola: REM DEA TR: t = t1475
lola: REM DEA TR: t = t10993
lola: REM DEA TR: t = t1476
lola: REM DEA TR: t = t10994
lola: REM DEA TR: t = t1477
lola: REM DEA TR: t = t10995
lola: REM DEA TR: t = t1478
lola: REM DEA TR: t = t10996
lola: REM DEA TR: t = t1479
lola: REM DEA TR: t = t10997
lola: REM DEA TR: t = t1988
lola: REM DEA TR: t = t1989
lola: REM DEA TR: t = t1990
lola: REM DEA TR: t = t1991
lola: REM DEA TR: t = t4915
lola: REM DEA TR: t = t4916
lola: REM DEA TR: t = t4917
lola: REM DEA TR: t = t4918
lola: REM DEA TR: t = t4919
lola: REM DEA TR: t = t4920
lola: REM DEA TR: t = t4921
lola: REM DEA TR: t = t4922
lola: REM DEA TR: t = t4923
lola: REM DEA TR: t = t4924
lola: REM DEA TR: t = t4925
lola: REM DEA TR: t = t4926
lola: REM DEA TR: t = t4927
lola: REM DEA TR: t = t4928
lola: REM DEA TR: t = t4929
lola: REM DEA TR: t = t4930
lola: REM DEA TR: t = t80
lola: REM DEA TR: t = t1992
lola: REM DEA TR: t = t81
lola: REM DEA TR: t = t1993
lola: REM DEA TR: t = t82
lola: REM DEA TR: t = t6540
lola: REM DEA TR: t = t83
lola: REM DEA TR: t = t6541
lola: REM DEA TR: t = t84
lola: REM DEA TR: t = t6542
lola: REM DEA TR: t = t85
lola: REM DEA TR: t = t6543
lola: REM DEA TR: t = t86
lola: REM DEA TR: t = t6544
lola: REM DEA TR: t = t87
lola: REM DEA TR: t = t6545
lola: REM DEA TR: t = t88
lola: REM DEA TR: t = t6546
lola: REM DEA TR: t = t89
lola: REM DEA TR: t = t6547
lola: REM DEA TR: t = t90
lola: REM DEA TR: t = t6548
lola: REM DEA TR: t = t91
lola: REM DEA TR: t = t6549
lola: REM DEA TR: t = t92
lola: REM DEA TR: t = t6550
lola: REM DEA TR: t = t93
lola: REM DEA TR: t = t6551
lola: REM DEA TR: t = t94
lola: REM DEA TR: t = t6552
lola: REM DEA TR: t = t95
lola: REM DEA TR: t = t6553
lola: REM DEA TR: t = t96
lola: REM DEA TR: t = t6554
lola: REM DEA TR: t = t97
lola: REM DEA TR: t = t6555
lola: REM DEA TR: t = t98
lola: REM DEA TR: t = t6556
lola: REM DEA TR: t = t99
lola: REM DEA TR: t = t6557
lola: REM DEA TR: t = t6558
lola: REM DEA TR: t = t100
lola: REM DEA TR: t = t6559
lola: REM DEA TR: t = t101
lola: REM DEA TR: t = t6560
lola: REM DEA TR: t = t102
lola: REM DEA TR: t = t6561
lola: REM DEA TR: t = t103
lola: REM DEA TR: t = t6562
lola: REM DEA TR: t = t104
lola: REM DEA TR: t = t6563
lola: REM DEA TR: t = t105
lola: REM DEA TR: t = t6564
lola: REM DEA TR: t = t106
lola: REM DEA TR: t = t6565
lola: REM DEA TR: t = t107
lola: REM DEA TR: t = t6566
lola: REM DEA TR: t = t108
lola: REM DEA TR: t = t6567
lola: REM DEA TR: t = t109
lola: REM DEA TR: t = t6568
lola: REM DEA TR: t = t110
lola: REM DEA TR: t = t6569
lola: REM DEA TR: t = t111
lola: REM DEA TR: t = t6570
lola: REM DEA TR: t = t112
lola: REM DEA TR: t = t6571
lola: REM DEA TR: t = t113
lola: REM DEA TR: t = t9137
lola: REM DEA TR: t = t9138
lola: REM DEA TR: t = t9139
lola: REM DEA TR: t = t3508
lola: REM DEA TR: t = t3509
lola: REM DEA TR: t = t3510
lola: REM DEA TR: t = t3511
lola: REM DEA TR: t = t5615
lola: REM DEA TR: t = t5616
lola: REM DEA TR: t = t5617
lola: REM DEA TR: t = t5618
lola: REM DEA TR: t = t5619
lola: REM DEA TR: t = t5620
lola: REM DEA TR: t = t5621
lola: REM DEA TR: t = t5622
lola: REM DEA TR: t = t5623
lola: REM DEA TR: t = t5624
lola: REM DEA TR: t = t5625
lola: REM DEA TR: t = t5626
lola: REM DEA TR: t = t5627
lola: REM DEA TR: t = t5628
lola: REM DEA TR: t = t8463
lola: REM DEA TR: t = t7728
lola: REM DEA TR: t = t460
lola: REM DEA TR: t = t5629
lola: REM DEA TR: t = t7729
lola: REM DEA TR: t = t461
lola: REM DEA TR: t = t5630
lola: REM DEA TR: t = t7730
lola: REM DEA TR: t = t462
lola: REM DEA TR: t = t7731
lola: REM DEA TR: t = t463
lola: REM DEA TR: t = t7732
lola: REM DEA TR: t = t464
lola: REM DEA TR: t = t7733
lola: REM DEA TR: t = t465
lola: REM DEA TR: t = t7734
lola: REM DEA TR: t = t466
lola: REM DEA TR: t = t7735
lola: REM DEA TR: t = t467
lola: REM DEA TR: t = t7736
lola: REM DEA TR: t = t468
lola: REM DEA TR: t = t7737
lola: REM DEA TR: t = t469
lola: REM DEA TR: t = t7738
lola: REM DEA TR: t = t470
lola: REM DEA TR: t = t7739
lola: REM DEA TR: t = t471
lola: REM DEA TR: t = t7740
lola: REM DEA TR: t = t472
lola: REM DEA TR: t = t7741
lola: REM DEA TR: t = t473
lola: REM DEA TR: t = t7742
lola: REM DEA TR: t = t474
lola: REM DEA TR: t = t7743
lola: REM DEA TR: t = t475
lola: REM DEA TR: t = t7744
lola: REM DEA TR: t = t476
lola: REM DEA TR: t = t7745
lola: REM DEA TR: t = t477
lola: REM DEA TR: t = t7746
lola: REM DEA TR: t = t478
lola: REM DEA TR: t = t7747
lola: REM DEA TR: t = t479
lola: REM DEA TR: t = t880
lola: REM DEA TR: t = t3512
lola: REM DEA TR: t = t881
lola: REM DEA TR: t = t3513
lola: REM DEA TR: t = t882
lola: REM DEA TR: t = t9140
lola: REM DEA TR: t = t883
lola: REM DEA TR: t = t9141
lola: REM DEA TR: t = t884
lola: REM DEA TR: t = t9142
lola: REM DEA TR: t = t885
lola: REM DEA TR: t = t9143
lola: REM DEA TR: t = t886
lola: REM DEA TR: t = t9144
lola: REM DEA TR: t = t887
lola: REM DEA TR: t = t9145
lola: REM DEA TR: t = t888
lola: REM DEA TR: t = t9146
lola: REM DEA TR: t = t889
lola: REM DEA TR: t = t9147
lola: REM DEA TR: t = t890
lola: REM DEA TR: t = t9148
lola: REM DEA TR: t = t891
lola: REM DEA TR: t = t9149
lola: REM DEA TR: t = t892
lola: REM DEA TR: t = t9150
lola: REM DEA TR: t = t893
lola: REM DEA TR: t = t9151
lola: REM DEA TR: t = t8487
lola: REM DEA TR: t = t8488
lola: REM DEA TR: t = t8489
lola: REM DEA TR: t = t1240
lola: REM DEA TR: t = t4196
lola: REM DEA TR: t = t1241
lola: REM DEA TR: t = t4197
lola: REM DEA TR: t = t1242
lola: REM DEA TR: t = t10310
lola: REM DEA TR: t = t1243
lola: REM DEA TR: t = t10311
lola: REM DEA TR: t = t1244
lola: REM DEA TR: t = t10312
lola: REM DEA TR: t = t1245
lola: REM DEA TR: t = t10313
lola: REM DEA TR: t = t1246
lola: REM DEA TR: t = t10314
lola: REM DEA TR: t = t1247
lola: REM DEA TR: t = t10315
lola: REM DEA TR: t = t1248
lola: REM DEA TR: t = t10316
lola: REM DEA TR: t = t1249
lola: REM DEA TR: t = t10317
lola: REM DEA TR: t = t1250
lola: REM DEA TR: t = t10318
lola: REM DEA TR: t = t1251
lola: REM DEA TR: t = t10319
lola: REM DEA TR: t = t1252
lola: REM DEA TR: t = t10320
lola: REM DEA TR: t = t1253
lola: REM DEA TR: t = t10321
lola: REM DEA TR: t = t1254
lola: REM DEA TR: t = t10322
lola: REM DEA TR: t = t1255
lola: REM DEA TR: t = t10323
lola: REM DEA TR: t = t1256
lola: REM DEA TR: t = t10324
lola: REM DEA TR: t = t1257
lola: REM DEA TR: t = t10325
lola: REM DEA TR: t = t1258
lola: REM DEA TR: t = t10326
lola: REM DEA TR: t = t1259
lola: REM DEA TR: t = t10327
lola: REM DEA TR: t = t11063
lola: REM DEA TR: t = t1260
lola: REM DEA TR: t = t10328
lola: REM DEA TR: t = t1261
lola: REM DEA TR: t = t10329
lola: REM DEA TR: t = t1262
lola: REM DEA TR: t = t10330
lola: REM DEA TR: t = t1263
lola: REM DEA TR: t = t10331
lola: REM DEA TR: t = t1264
lola: REM DEA TR: t = t10332
lola: REM DEA TR: t = t1265
lola: REM DEA TR: t = t10333
lola: REM DEA TR: t = t1266
lola: REM DEA TR: t = t10334
lola: REM DEA TR: t = t1267
lola: REM DEA TR: t = t10335
lola: REM DEA TR: t = t1268
lola: REM DEA TR: t = t10336
lola: REM DEA TR: t = t1269
lola: REM DEA TR: t = t10337
lola: REM DEA TR: t = t1270
lola: REM DEA TR: t = t10338
lola: REM DEA TR: t = t1271
lola: REM DEA TR: t = t10339
lola: REM DEA TR: t = t1272
lola: REM DEA TR: t = t10340
lola: REM DEA TR: t = t1273
lola: REM DEA TR: t = t10341
lola: REM DEA TR: t = t1274
lola: REM DEA TR: t = t10342
lola: REM DEA TR: t = t1275
lola: REM DEA TR: t = t10343
lola: REM DEA TR: t = t1276
lola: REM DEA TR: t = t10344
lola: REM DEA TR: t = t1277
lola: REM DEA TR: t = t10345
lola: REM DEA TR: t = t1278
lola: REM DEA TR: t = t10346
lola: REM DEA TR: t = t1279
lola: REM DEA TR: t = t10347
lola: REM DEA TR: t = t11087
lola: REM DEA TR: t = t11088
lola: REM DEA TR: t = t11089
lola: REM DEA TR: t = t6572
lola: REM DEA TR: t = t114
lola: REM DEA TR: t = t6573
lola: REM DEA TR: t = t115
lola: REM DEA TR: t = t6574
lola: REM DEA TR: t = t116
lola: REM DEA TR: t = t6575
lola: REM DEA TR: t = t117
lola: REM DEA TR: t = t6576
lola: REM DEA TR: t = t118
lola: REM DEA TR: t = t6577
lola: REM DEA TR: t = t119
lola: REM DEA TR: t = t6643
lola: REM DEA TR: t = t894
lola: REM DEA TR: t = t9152
lola: REM DEA TR: t = t895
lola: REM DEA TR: t = t9153
lola: REM DEA TR: t = t896
lola: REM DEA TR: t = t9154
lola: REM DEA TR: t = t897
lola: REM DEA TR: t = t9155
lola: REM DEA TR: t = t898
lola: REM DEA TR: t = t9156
lola: REM DEA TR: t = t899
lola: REM DEA TR: t = t9157
lola: REM DEA TR: t = t900
lola: REM DEA TR: t = t9158
lola: REM DEA TR: t = t901
lola: REM DEA TR: t = t9159
lola: REM DEA TR: t = t902
lola: REM DEA TR: t = t9160
lola: REM DEA TR: t = t903
lola: REM DEA TR: t = t9161
lola: REM DEA TR: t = t904
lola: REM DEA TR: t = t9162
lola: REM DEA TR: t = t905
lola: REM DEA TR: t = t9163
lola: REM DEA TR: t = t906
lola: REM DEA TR: t = t9164
lola: REM DEA TR: t = t907
lola: REM DEA TR: t = t9165
lola: REM DEA TR: t = t908
lola: REM DEA TR: t = t9166
lola: REM DEA TR: t = t909
lola: REM DEA TR: t = t9167
lola: REM DEA TR: t = t910
lola: REM DEA TR: t = t9168
lola: REM DEA TR: t = t911
lola: REM DEA TR: t = t9169
lola: REM DEA TR: t = t912
lola: REM DEA TR: t = t9170
lola: REM DEA TR: t = t913
lola: REM DEA TR: t = t9171
lola: REM DEA TR: t = t914
lola: REM DEA TR: t = t9172
lola: REM DEA TR: t = t915
lola: REM DEA TR: t = t9173
lola: REM DEA TR: t = t916
lola: REM DEA TR: t = t9174
lola: REM DEA TR: t = t917
lola: REM DEA TR: t = t9175
lola: REM DEA TR: t = t918
lola: REM DEA TR: t = t9176
lola: REM DEA TR: t = t919
lola: REM DEA TR: t = t9177
lola: REM DEA TR: t = t3128
lola: REM DEA TR: t = t3129
lola: REM DEA TR: t = t3130
lola: REM DEA TR: t = t3131
lola: REM DEA TR: t = t5440
lola: REM DEA TR: t = t5441
lola: REM DEA TR: t = t5442
lola: REM DEA TR: t = t5443
lola: REM DEA TR: t = t5444
lola: REM DEA TR: t = t5445
lola: REM DEA TR: t = t5446
lola: REM DEA TR: t = t5447
lola: REM DEA TR: t = t5448
lola: REM DEA TR: t = t5449
lola: REM DEA TR: t = t5450
lola: REM DEA TR: t = t5451
lola: REM DEA TR: t = t5452
lola: REM DEA TR: t = t5453
lola: REM DEA TR: t = t7813
lola: REM DEA TR: t = t5454
lola: REM DEA TR: t = t5455
lola: REM DEA TR: t = t3132
lola: REM DEA TR: t = t680
lola: REM DEA TR: t = t3133
lola: REM DEA TR: t = t681
lola: REM DEA TR: t = t682
lola: REM DEA TR: t = t8490
lola: REM DEA TR: t = t683
lola: REM DEA TR: t = t8491
lola: REM DEA TR: t = t684
lola: REM DEA TR: t = t8492
lola: REM DEA TR: t = t685
lola: REM DEA TR: t = t8493
lola: REM DEA TR: t = t686
lola: REM DEA TR: t = t8494
lola: REM DEA TR: t = t687
lola: REM DEA TR: t = t8495
lola: REM DEA TR: t = t688
lola: REM DEA TR: t = t8496
lola: REM DEA TR: t = t689
lola: REM DEA TR: t = t8497
lola: REM DEA TR: t = t690
lola: REM DEA TR: t = t8498
lola: REM DEA TR: t = t691
lola: REM DEA TR: t = t8499
lola: REM DEA TR: t = t692
lola: REM DEA TR: t = t8500
lola: REM DEA TR: t = t693
lola: REM DEA TR: t = t8501
lola: REM DEA TR: t = t694
lola: REM DEA TR: t = t8502
lola: REM DEA TR: t = t695
lola: REM DEA TR: t = t8503
lola: REM DEA TR: t = t7837
lola: REM DEA TR: t = t696
lola: REM DEA TR: t = t8504
lola: REM DEA TR: t = t7838
lola: REM DEA TR: t = t697
lola: REM DEA TR: t = t8505
lola: REM DEA TR: t = t7839
lola: REM DEA TR: t = t698
lola: REM DEA TR: t = t8506
lola: REM DEA TR: t = t699
lola: REM DEA TR: t = t8507
lola: REM DEA TR: t = t700
lola: REM DEA TR: t = t8508
lola: REM DEA TR: t = t701
lola: REM DEA TR: t = t8509
lola: REM DEA TR: t = t702
lola: REM DEA TR: t = t8510
lola: REM DEA TR: t = t703
lola: REM DEA TR: t = t8511
lola: REM DEA TR: t = t704
lola: REM DEA TR: t = t8512
lola: REM DEA TR: t = t705
lola: REM DEA TR: t = t8513
lola: REM DEA TR: t = t706
lola: REM DEA TR: t = t8514
lola: REM DEA TR: t = t707
lola: REM DEA TR: t = t8515
lola: REM DEA TR: t = t708
lola: REM DEA TR: t = t8516
lola: REM DEA TR: t = t709
lola: REM DEA TR: t = t8517
lola: REM DEA TR: t = t710
lola: REM DEA TR: t = t8518
lola: REM DEA TR: t = t711
lola: REM DEA TR: t = t8519
lola: REM DEA TR: t = t712
lola: REM DEA TR: t = t8520
lola: REM DEA TR: t = t713
lola: REM DEA TR: t = t8521
lola: REM DEA TR: t = t714
lola: REM DEA TR: t = t8522
lola: REM DEA TR: t = t715
lola: REM DEA TR: t = t8523
lola: REM DEA TR: t = t716
lola: REM DEA TR: t = t8524
lola: REM DEA TR: t = t717
lola: REM DEA TR: t = t8525
lola: REM DEA TR: t = t718
lola: REM DEA TR: t = t8526
lola: REM DEA TR: t = t719
lola: REM DEA TR: t = t8527
lola: REM DEA TR: t = t2748
lola: REM DEA TR: t = t2749
lola: REM DEA TR: t = t2750
lola: REM DEA TR: t = t2751
lola: REM DEA TR: t = t5265
lola: REM DEA TR: t = t5266
lola: REM DEA TR: t = t5267
lola: REM DEA TR: t = t5268
lola: REM DEA TR: t = t5269
lola: REM DEA TR: t = t5270
lola: REM DEA TR: t = t5271
lola: REM DEA TR: t = t5272
lola: REM DEA TR: t = t5273
lola: REM DEA TR: t = t5274
lola: REM DEA TR: t = t5275
lola: REM DEA TR: t = t4648
lola: REM DEA TR: t = t4649
lola: REM DEA TR: t = t4650
lola: REM DEA TR: t = t4651
lola: REM DEA TR: t = t6140
lola: REM DEA TR: t = t6141
lola: REM DEA TR: t = t6142
lola: REM DEA TR: t = t6143
lola: REM DEA TR: t = t6144
lola: REM DEA TR: t = t6145
lola: REM DEA TR: t = t6146
lola: REM DEA TR: t = t6147
lola: REM DEA TR: t = t6148
lola: REM DEA TR: t = t6149
lola: REM DEA TR: t = t6150
lola: REM DEA TR: t = t6151
lola: REM DEA TR: t = t6152
lola: REM DEA TR: t = t6153
lola: REM DEA TR: t = t10413
lola: REM DEA TR: t = t6154
lola: REM DEA TR: t = t6155
lola: REM DEA TR: t = t1480
lola: REM DEA TR: t = t1481
lola: REM DEA TR: t = t4653
lola: REM DEA TR: t = t11090
lola: REM DEA TR: t = t1482
lola: REM DEA TR: t = t11091
lola: REM DEA TR: t = t1483
lola: REM DEA TR: t = t11092
lola: REM DEA TR: t = t1484
lola: REM DEA TR: t = t11093
lola: REM DEA TR: t = t1485
lola: REM DEA TR: t = t11094
lola: REM DEA TR: t = t1486
lola: REM DEA TR: t = t11095
lola: REM DEA TR: t = t1487
lola: REM DEA TR: t = t11096
lola: REM DEA TR: t = t1488
lola: REM DEA TR: t = t11097
lola: REM DEA TR: t = t1489
lola: REM DEA TR: t = t11098
lola: REM DEA TR: t = t1490
lola: REM DEA TR: t = t11099
lola: REM DEA TR: t = t1491
lola: REM DEA TR: t = t1492
lola: REM DEA TR: t = t11100
lola: REM DEA TR: t = t1493
lola: REM DEA TR: t = t11101
lola: REM DEA TR: t = t1494
lola: REM DEA TR: t = t11102
lola: REM DEA TR: t = t1495
lola: REM DEA TR: t = t11103
lola: REM DEA TR: t = t10437
lola: REM DEA TR: t = t1496
lola: REM DEA TR: t = t11104
lola: REM DEA TR: t = t10438
lola: REM DEA TR: t = t1497
lola: REM DEA TR: t = t11105
lola: REM DEA TR: t = t10439
lola: REM DEA TR: t = t1498
lola: REM DEA TR: t = t11106
lola: REM DEA TR: t = t1499
lola: REM DEA TR: t = t11107
lola: REM DEA TR: t = t11108
lola: REM DEA TR: t = t1500
lola: REM DEA TR: t = t11109
lola: REM DEA TR: t = t1501
lola: REM DEA TR: t = t11110
lola: REM DEA TR: t = t1502
lola: REM DEA TR: t = t11111
lola: REM DEA TR: t = t1503
lola: REM DEA TR: t = t9243
lola: REM DEA TR: t = t9267
lola: REM DEA TR: t = t9268
lola: REM DEA TR: t = t9269
lola: REM DEA TR: t = t5276
lola: REM DEA TR: t = t5277
lola: REM DEA TR: t = t5278
lola: REM DEA TR: t = t5279
lola: REM DEA TR: t = t5280
lola: REM DEA TR: t = t3584
lola: REM DEA TR: t = t3585
lola: REM DEA TR: t = t3586
lola: REM DEA TR: t = t480
lola: REM DEA TR: t = t3587
lola: REM DEA TR: t = t2753
lola: REM DEA TR: t = t481
lola: REM DEA TR: t = t7840
lola: REM DEA TR: t = t482
lola: REM DEA TR: t = t7841
lola: REM DEA TR: t = t483
lola: REM DEA TR: t = t7842
lola: REM DEA TR: t = t484
lola: REM DEA TR: t = t7843
lola: REM DEA TR: t = t485
lola: REM DEA TR: t = t7844
lola: REM DEA TR: t = t486
lola: REM DEA TR: t = t5650
lola: REM DEA TR: t = t7845
lola: REM DEA TR: t = t487
lola: REM DEA TR: t = t5651
lola: REM DEA TR: t = t7846
lola: REM DEA TR: t = t488
lola: REM DEA TR: t = t5652
lola: REM DEA TR: t = t7847
lola: REM DEA TR: t = t489
lola: REM DEA TR: t = t5653
lola: REM DEA TR: t = t7848
lola: REM DEA TR: t = t490
lola: REM DEA TR: t = t5654
lola: REM DEA TR: t = t7849
lola: REM DEA TR: t = t491
lola: REM DEA TR: t = t7850
lola: REM DEA TR: t = t492
lola: REM DEA TR: t = t7851
lola: REM DEA TR: t = t493
lola: REM DEA TR: t = t7852
lola: REM DEA TR: t = t494
lola: REM DEA TR: t = t7853
lola: REM DEA TR: t = t495
lola: REM DEA TR: t = t7187
lola: REM DEA TR: t = t7854
lola: REM DEA TR: t = t496
lola: REM DEA TR: t = t7188
lola: REM DEA TR: t = t7855
lola: REM DEA TR: t = t497
lola: REM DEA TR: t = t7189
lola: REM DEA TR: t = t7856
lola: REM DEA TR: t = t498
lola: REM DEA TR: t = t7857
lola: REM DEA TR: t = t499
lola: REM DEA TR: t = t8593
lola: REM DEA TR: t = t7858
lola: REM DEA TR: t = t500
lola: REM DEA TR: t = t7859
lola: REM DEA TR: t = t501
lola: REM DEA TR: t = t7860
lola: REM DEA TR: t = t502
lola: REM DEA TR: t = t7861
lola: REM DEA TR: t = t503
lola: REM DEA TR: t = t7862
lola: REM DEA TR: t = t504
lola: REM DEA TR: t = t7863
lola: REM DEA TR: t = t505
lola: REM DEA TR: t = t7864
lola: REM DEA TR: t = t506
lola: REM DEA TR: t = t7865
lola: REM DEA TR: t = t507
lola: REM DEA TR: t = t7866
lola: REM DEA TR: t = t508
lola: REM DEA TR: t = t7867
lola: REM DEA TR: t = t509
lola: REM DEA TR: t = t7868
lola: REM DEA TR: t = t510
lola: REM DEA TR: t = t7869
lola: REM DEA TR: t = t511
lola: REM DEA TR: t = t7870
lola: REM DEA TR: t = t512
lola: REM DEA TR: t = t7871
lola: REM DEA TR: t = t513
lola: REM DEA TR: t = t7872
lola: REM DEA TR: t = t514
lola: REM DEA TR: t = t7873
lola: REM DEA TR: t = t515
lola: REM DEA TR: t = t7874
lola: REM DEA TR: t = t516
lola: REM DEA TR: t = t7875
lola: REM DEA TR: t = t517
lola: REM DEA TR: t = t7876
lola: REM DEA TR: t = t518
lola: REM DEA TR: t = t7877
lola: REM DEA TR: t = t519
lola: REM DEA TR: t = t2368
lola: REM DEA TR: t = t2369
lola: REM DEA TR: t = t2370
lola: REM DEA TR: t = t2371
lola: REM DEA TR: t = t5090
lola: REM DEA TR: t = t5091
lola: REM DEA TR: t = t5092
lola: REM DEA TR: t = t5093
lola: REM DEA TR: t = t5094
lola: REM DEA TR: t = t5095
lola: REM DEA TR: t = t5096
lola: REM DEA TR: t = t5097
lola: REM DEA TR: t = t5098
lola: REM DEA TR: t = t5099
lola: REM DEA TR: t = t5100
lola: REM DEA TR: t = t5101
lola: REM DEA TR: t = t5102
lola: REM DEA TR: t = t5103
lola: REM DEA TR: t = t5104
lola: REM DEA TR: t = t5105
lola: REM DEA TR: t = t280
lola: REM DEA TR: t = t2372
lola: REM DEA TR: t = t281
lola: REM DEA TR: t = t2373
lola: REM DEA TR: t = t282
lola: REM DEA TR: t = t7190
lola: REM DEA TR: t = t283
lola: REM DEA TR: t = t7191
lola: REM DEA TR: t = t11112
lola: REM DEA TR: t = t1504
lola: REM DEA TR: t = t11113
lola: REM DEA TR: t = t1505
lola: REM DEA TR: t = t11114
lola: REM DEA TR: t = t1506
lola: REM DEA TR: t = t11115
lola: REM DEA TR: t = t1507
lola: REM DEA TR: t = t11116
lola: REM DEA TR: t = t1508
lola: REM DEA TR: t = t11117
lola: REM DEA TR: t = t1509
lola: REM DEA TR: t = t11118
lola: REM DEA TR: t = t1510
lola: REM DEA TR: t = t11119
lola: REM DEA TR: t = t1511
lola: REM DEA TR: t = t11120
lola: REM DEA TR: t = t1512
lola: REM DEA TR: t = t11121
lola: REM DEA TR: t = t1513
lola: REM DEA TR: t = t11122
lola: REM DEA TR: t = t1514
lola: REM DEA TR: t = t11123
lola: REM DEA TR: t = t1515
lola: REM DEA TR: t = t11124
lola: REM DEA TR: t = t1516
lola: REM DEA TR: t = t11125
lola: REM DEA TR: t = t1517
lola: REM DEA TR: t = t11126
lola: REM DEA TR: t = t1518
lola: REM DEA TR: t = t11127
lola: REM DEA TR: t = t1519
lola: REM DEA TR: t = t4268
lola: REM DEA TR: t = t4269
lola: REM DEA TR: t = t4270
lola: REM DEA TR: t = t4271
lola: REM DEA TR: t = t5965
lola: REM DEA TR: t = t5966
lola: REM DEA TR: t = t5967
lola: REM DEA TR: t = t5968
lola: REM DEA TR: t = t5969
lola: REM DEA TR: t = t5970
lola: REM DEA TR: t = t5971
lola: REM DEA TR: t = t5972
lola: REM DEA TR: t = t5973
lola: REM DEA TR: t = t5974
lola: REM DEA TR: t = t5975
lola: REM DEA TR: t = t5976
lola: REM DEA TR: t = t5977
lola: REM DEA TR: t = t5978
lola: REM DEA TR: t = t5979
lola: REM DEA TR: t = t5980
lola: REM DEA TR: t = t1280
lola: REM DEA TR: t = t1281
lola: REM DEA TR: t = t4273
lola: REM DEA TR: t = t1282
lola: REM DEA TR: t = t10440
lola: REM DEA TR: t = t1283
lola: REM DEA TR: t = t10441
lola: REM DEA TR: t = t1284
lola: REM DEA TR: t = t10442
lola: REM DEA TR: t = t1285
lola: REM DEA TR: t = t10443
lola: REM DEA TR: t = t1286
lola: REM DEA TR: t = t10444
lola: REM DEA TR: t = t1287
lola: REM DEA TR: t = t10445
lola: REM DEA TR: t = t1288
lola: REM DEA TR: t = t10446
lola: REM DEA TR: t = t1289
lola: REM DEA TR: t = t10447
lola: REM DEA TR: t = t1290
lola: REM DEA TR: t = t10448
lola: REM DEA TR: t = t1291
lola: REM DEA TR: t = t10449
lola: REM DEA TR: t = t1292
lola: REM DEA TR: t = t10450
lola: REM DEA TR: t = t1293
lola: REM DEA TR: t = t10451
lola: REM DEA TR: t = t1294
lola: REM DEA TR: t = t10452
lola: REM DEA TR: t = t1295
lola: REM DEA TR: t = t10453
lola: REM DEA TR: t = t1296
lola: REM DEA TR: t = t10454
lola: REM DEA TR: t = t1297
lola: REM DEA TR: t = t10455
lola: REM DEA TR: t = t1298
lola: REM DEA TR: t = t10456
lola: REM DEA TR: t = t1299
lola: REM DEA TR: t = t10457
lola: REM DEA TR: t = t11193
lola: REM DEA TR: t = t1300
lola: REM DEA TR: t = t10458
lola: REM DEA TR: t = t1301
lola: REM DEA TR: t = t10459
lola: REM DEA TR: t = t1302
lola: REM DEA TR: t = t10460
lola: REM DEA TR: t = t1303
lola: REM DEA TR: t = t10461
lola: REM DEA TR: t = t1304
lola: REM DEA TR: t = t10462
lola: REM DEA TR: t = t1305
lola: REM DEA TR: t = t10463
lola: REM DEA TR: t = t1306
lola: REM DEA TR: t = t10464
lola: REM DEA TR: t = t1307
lola: REM DEA TR: t = t10465
lola: REM DEA TR: t = t1308
lola: REM DEA TR: t = t10466
lola: REM DEA TR: t = t1309
lola: REM DEA TR: t = t10467
lola: REM DEA TR: t = t1310
lola: REM DEA TR: t = t10468
lola: REM DEA TR: t = t1311
lola: REM DEA TR: t = t10469
lola: REM DEA TR: t = t1312
lola: REM DEA TR: t = t10470
lola: REM DEA TR: t = t1313
lola: REM DEA TR: t = t10471
lola: REM DEA TR: t = t1314
lola: REM DEA TR: t = t10472
lola: REM DEA TR: t = t1315
lola: REM DEA TR: t = t10473
lola: REM DEA TR: t = t1316
lola: REM DEA TR: t = t10474
lola: REM DEA TR: t = t1317
lola: REM DEA TR: t = t10475
lola: REM DEA TR: t = t1318
lola: REM DEA TR: t = t10476
lola: REM DEA TR: t = t1319
lola: REM DEA TR: t = t10477
lola: REM DEA TR: t = t8617
lola: REM DEA TR: t = t8618
lola: REM DEA TR: t = t8619
lola: REM DEA TR: t = t3204
lola: REM DEA TR: t = t3205
lola: REM DEA TR: t = t3206
lola: REM DEA TR: t = t3207
lola: REM DEA TR: t = t284
lola: REM DEA TR: t = t7192
lola: REM DEA TR: t = t285
lola: REM DEA TR: t = t7193
lola: REM DEA TR: t = t286
lola: REM DEA TR: t = t7194
lola: REM DEA TR: t = t5475
lola: REM DEA TR: t = t287
lola: REM DEA TR: t = t7195
lola: REM DEA TR: t = t5476
lola: REM DEA TR: t = t288
lola: REM DEA TR: t = t7196
lola: REM DEA TR: t = t5477
lola: REM DEA TR: t = t289
lola: REM DEA TR: t = t7197
lola: REM DEA TR: t = t5478
lola: REM DEA TR: t = t290
lola: REM DEA TR: t = t7198
lola: REM DEA TR: t = t5479
lola: REM DEA TR: t = t291
lola: REM DEA TR: t = t7199
lola: REM DEA TR: t = t292
lola: REM DEA TR: t = t7200
lola: REM DEA TR: t = t293
lola: REM DEA TR: t = t7201
lola: REM DEA TR: t = t5480
lola: REM DEA TR: t = t5481
lola: REM DEA TR: t = t5482
lola: REM DEA TR: t = t294
lola: REM DEA TR: t = t7202
lola: REM DEA TR: t = t5483
lola: REM DEA TR: t = t295
lola: REM DEA TR: t = t7203
lola: REM DEA TR: t = t5484
lola: REM DEA TR: t = t296
lola: REM DEA TR: t = t7204
lola: REM DEA TR: t = t5485
lola: REM DEA TR: t = t297
lola: REM DEA TR: t = t7205
lola: REM DEA TR: t = t5486
lola: REM DEA TR: t = t298
lola: REM DEA TR: t = t7206
lola: REM DEA TR: t = t5487
lola: REM DEA TR: t = t299
lola: REM DEA TR: t = t7207
lola: REM DEA TR: t = t5488
lola: REM DEA TR: t = t7943
lola: REM DEA TR: t = t300
lola: REM DEA TR: t = t7208
lola: REM DEA TR: t = t5489
lola: REM DEA TR: t = t301
lola: REM DEA TR: t = t7209
lola: REM DEA TR: t = t302
lola: REM DEA TR: t = t7210
lola: REM DEA TR: t = t303
lola: REM DEA TR: t = t7211
lola: REM DEA TR: t = t5490
lola: REM DEA TR: t = t304
lola: REM DEA TR: t = t7212
lola: REM DEA TR: t = t305
lola: REM DEA TR: t = t7213
lola: REM DEA TR: t = t306
lola: REM DEA TR: t = t7214
lola: REM DEA TR: t = t307
lola: REM DEA TR: t = t7215
lola: REM DEA TR: t = t308
lola: REM DEA TR: t = t7216
lola: REM DEA TR: t = t309
lola: REM DEA TR: t = t7217
lola: REM DEA TR: t = t310
lola: REM DEA TR: t = t7218
lola: REM DEA TR: t = t311
lola: REM DEA TR: t = t7219
lola: REM DEA TR: t = t312
lola: REM DEA TR: t = t7220
lola: REM DEA TR: t = t313
lola: REM DEA TR: t = t7221
lola: REM DEA TR: t = t314
lola: REM DEA TR: t = t7222
lola: REM DEA TR: t = t315
lola: REM DEA TR: t = t7223
lola: REM DEA TR: t = t316
lola: REM DEA TR: t = t7224
lola: REM DEA TR: t = t317
lola: REM DEA TR: t = t7225
lola: REM DEA TR: t = t318
lola: REM DEA TR: t = t7226
lola: REM DEA TR: t = t319
lola: REM DEA TR: t = t7227
lola: REM DEA TR: t = t7967
lola: REM DEA TR: t = t7968
lola: REM DEA TR: t = t7969
lola: REM DEA TR: t = t11217
lola: REM DEA TR: t = t11218
lola: REM DEA TR: t = t11219
lola: REM DEA TR: t = t4724
lola: REM DEA TR: t = t4725
lola: REM DEA TR: t = t4726
lola: REM DEA TR: t = t1080
lola: REM DEA TR: t = t4727
lola: REM DEA TR: t = t1081
lola: REM DEA TR: t = t9790
lola: REM DEA TR: t = t1082
lola: REM DEA TR: t = t9791
lola: REM DEA TR: t = t1083
lola: REM DEA TR: t = t9792
lola: REM DEA TR: t = t1084
lola: REM DEA TR: t = t9793
lola: REM DEA TR: t = t1085
lola: REM DEA TR: t = t9794
lola: REM DEA TR: t = t1086
lola: REM DEA TR: t = t6175
lola: REM DEA TR: t = t9795
lola: REM DEA TR: t = t1087
lola: REM DEA TR: t = t6176
lola: REM DEA TR: t = t9796
lola: REM DEA TR: t = t1088
lola: REM DEA TR: t = t6177
lola: REM DEA TR: t = t9797
lola: REM DEA TR: t = t1089
lola: REM DEA TR: t = t6178
lola: REM DEA TR: t = t9798
lola: REM DEA TR: t = t1090
lola: REM DEA TR: t = t6179
lola: REM DEA TR: t = t9799
lola: REM DEA TR: t = t1091
lola: REM DEA TR: t = t9800
lola: REM DEA TR: t = t1092
lola: REM DEA TR: t = t9801
lola: REM DEA TR: t = t1093
lola: REM DEA TR: t = t6180
lola: REM DEA TR: t = t6181
lola: REM DEA TR: t = t6182
lola: REM DEA TR: t = t9802
lola: REM DEA TR: t = t1094
lola: REM DEA TR: t = t6183
lola: REM DEA TR: t = t9803
lola: REM DEA TR: t = t1095
lola: REM DEA TR: t = t6184
lola: REM DEA TR: t = t9804
lola: REM DEA TR: t = t1096
lola: REM DEA TR: t = t6185
lola: REM DEA TR: t = t9805
lola: REM DEA TR: t = t1097
lola: REM DEA TR: t = t6186
lola: REM DEA TR: t = t9806
lola: REM DEA TR: t = t1098
lola: REM DEA TR: t = t6187
lola: REM DEA TR: t = t9807
lola: REM DEA TR: t = t1099
lola: REM DEA TR: t = t6188
lola: REM DEA TR: t = t10543
lola: REM DEA TR: t = t1100
lola: REM DEA TR: t = t9808
lola: REM DEA TR: t = t6189
lola: REM DEA TR: t = t1101
lola: REM DEA TR: t = t9809
lola: REM DEA TR: t = t1102
lola: REM DEA TR: t = t9810
lola: REM DEA TR: t = t1103
lola: REM DEA TR: t = t9811
lola: REM DEA TR: t = t1104
lola: REM DEA TR: t = t9812
lola: REM DEA TR: t = t1105
lola: REM DEA TR: t = t9813
lola: REM DEA TR: t = t1106
lola: REM DEA TR: t = t9814
lola: REM DEA TR: t = t1107
lola: REM DEA TR: t = t9815
lola: REM DEA TR: t = t1108
lola: REM DEA TR: t = t9816
lola: REM DEA TR: t = t1109
lola: REM DEA TR: t = t9817
lola: REM DEA TR: t = t1110
lola: REM DEA TR: t = t9818
lola: REM DEA TR: t = t1111
lola: REM DEA TR: t = t9819
lola: REM DEA TR: t = t1112
lola: REM DEA TR: t = t9820
lola: REM DEA TR: t = t1113
lola: REM DEA TR: t = t9821
lola: REM DEA TR: t = t1114
lola: REM DEA TR: t = t9822
lola: REM DEA TR: t = t1115
lola: REM DEA TR: t = t9823
lola: REM DEA TR: t = t1116
lola: REM DEA TR: t = t9824
lola: REM DEA TR: t = t1117
lola: REM DEA TR: t = t9825
lola: REM DEA TR: t = t1118
lola: REM DEA TR: t = t9826
lola: REM DEA TR: t = t1119
lola: REM DEA TR: t = t9827
lola: REM DEA TR: t = t720
lola: REM DEA TR: t = t721
lola: REM DEA TR: t = t8620
lola: REM DEA TR: t = t722
lola: REM DEA TR: t = t8621
lola: REM DEA TR: t = t723
lola: REM DEA TR: t = t8622
lola: REM DEA TR: t = t724
lola: REM DEA TR: t = t8623
lola: REM DEA TR: t = t725
lola: REM DEA TR: t = t8624
lola: REM DEA TR: t = t726
lola: REM DEA TR: t = t8625
lola: REM DEA TR: t = t727
lola: REM DEA TR: t = t8626
lola: REM DEA TR: t = t728
lola: REM DEA TR: t = t8627
lola: REM DEA TR: t = t729
lola: REM DEA TR: t = t8628
lola: REM DEA TR: t = t730
lola: REM DEA TR: t = t8629
lola: REM DEA TR: t = t731
lola: REM DEA TR: t = t8630
lola: REM DEA TR: t = t732
lola: REM DEA TR: t = t8631
lola: REM DEA TR: t = t733
lola: REM DEA TR: t = t8632
lola: REM DEA TR: t = t734
lola: REM DEA TR: t = t8633
lola: REM DEA TR: t = t735
lola: REM DEA TR: t = t8634
lola: REM DEA TR: t = t736
lola: REM DEA TR: t = t8635
lola: REM DEA TR: t = t737
lola: REM DEA TR: t = t8636
lola: REM DEA TR: t = t738
lola: REM DEA TR: t = t8637
lola: REM DEA TR: t = t739
lola: REM DEA TR: t = t8638
lola: REM DEA TR: t = t740
lola: REM DEA TR: t = t8639
lola: REM DEA TR: t = t741
lola: REM DEA TR: t = t8640
lola: REM DEA TR: t = t742
lola: REM DEA TR: t = t8641
lola: REM DEA TR: t = t743
lola: REM DEA TR: t = t8642
lola: REM DEA TR: t = t744
lola: REM DEA TR: t = t8643
lola: REM DEA TR: t = t745
lola: REM DEA TR: t = t8644
lola: REM DEA TR: t = t746
lola: REM DEA TR: t = t8645
lola: REM DEA TR: t = t747
lola: REM DEA TR: t = t8646
lola: REM DEA TR: t = t748
lola: REM DEA TR: t = t8647
lola: REM DEA TR: t = t749
lola: REM DEA TR: t = t8648
lola: REM DEA TR: t = t750
lola: REM DEA TR: t = t8649
lola: REM DEA TR: t = t751
lola: REM DEA TR: t = t8650
lola: REM DEA TR: t = t752
lola: REM DEA TR: t = t8651
lola: REM DEA TR: t = t753
lola: REM DEA TR: t = t8652
lola: REM DEA TR: t = t754
lola: REM DEA TR: t = t8653
lola: REM DEA TR: t = t755
lola: REM DEA TR: t = t8654
lola: REM DEA TR: t = t756
lola: REM DEA TR: t = t8655
lola: REM DEA TR: t = t757
lola: REM DEA TR: t = t8656
lola: REM DEA TR: t = t758
lola: REM DEA TR: t = t8657
lola: REM DEA TR: t = t759
lola: REM DEA TR: t = t2824
lola: REM DEA TR: t = t2825
lola: REM DEA TR: t = t2826
lola: REM DEA TR: t = t2827
lola: REM DEA TR: t = t5300
lola: REM DEA TR: t = t5301
lola: REM DEA TR: t = t5302
lola: REM DEA TR: t = t5303
lola: REM DEA TR: t = t5304
lola: REM DEA TR: t = t5305
lola: REM DEA TR: t = t5306
lola: REM DEA TR: t = t5307
lola: REM DEA TR: t = t5308
lola: REM DEA TR: t = t5309
lola: REM DEA TR: t = t5310
lola: REM DEA TR: t = t5311
lola: REM DEA TR: t = t5312
lola: REM DEA TR: t = t5313
lola: REM DEA TR: t = t7293
lola: REM DEA TR: t = t5314
lola: REM DEA TR: t = t5315
lola: REM DEA TR: t = t520
lola: REM DEA TR: t = t521
lola: REM DEA TR: t = t7970
lola: REM DEA TR: t = t522
lola: REM DEA TR: t = t7971
lola: REM DEA TR: t = t523
lola: REM DEA TR: t = t7972
lola: REM DEA TR: t = t524
lola: REM DEA TR: t = t7973
lola: REM DEA TR: t = t525
lola: REM DEA TR: t = t7974
lola: REM DEA TR: t = t526
lola: REM DEA TR: t = t7975
lola: REM DEA TR: t = t527
lola: REM DEA TR: t = t7976
lola: REM DEA TR: t = t528
lola: REM DEA TR: t = t7977
lola: REM DEA TR: t = t529
lola: REM DEA TR: t = t7978
lola: REM DEA TR: t = t530
lola: REM DEA TR: t = t7979
lola: REM DEA TR: t = t531
lola: REM DEA TR: t = t7980
lola: REM DEA TR: t = t532
lola: REM DEA TR: t = t7981
lola: REM DEA TR: t = t533
lola: REM DEA TR: t = t7982
lola: REM DEA TR: t = t534
lola: REM DEA TR: t = t7983
lola: REM DEA TR: t = t535
lola: REM DEA TR: t = t7317
lola: REM DEA TR: t = t7984
lola: REM DEA TR: t = t536
lola: REM DEA TR: t = t7318
lola: REM DEA TR: t = t7985
lola: REM DEA TR: t = t537
lola: REM DEA TR: t = t7319
lola: REM DEA TR: t = t7986
lola: REM DEA TR: t = t538
lola: REM DEA TR: t = t7987
lola: REM DEA TR: t = t539
lola: REM DEA TR: t = t7988
lola: REM DEA TR: t = t540
lola: REM DEA TR: t = t7989
lola: REM DEA TR: t = t541
lola: REM DEA TR: t = t7990
lola: REM DEA TR: t = t542
lola: REM DEA TR: t = t7991
lola: REM DEA TR: t = t543
lola: REM DEA TR: t = t7992
lola: REM DEA TR: t = t544
lola: REM DEA TR: t = t7993
lola: REM DEA TR: t = t545
lola: REM DEA TR: t = t7994
lola: REM DEA TR: t = t546
lola: REM DEA TR: t = t7995
lola: REM DEA TR: t = t547
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 = t6190
lola: REM DEA TR: t = t1520
lola: REM DEA TR: t = t1521
lola: REM DEA TR: t = t1522
lola: REM DEA TR: t = t11220
lola: REM DEA TR: t = t1523
lola: REM DEA TR: t = t11221
lola: REM DEA TR: t = t1524
lola: REM DEA TR: t = t11222
lola: REM DEA TR: t = t1525
lola: REM DEA TR: t = t11223
lola: REM DEA TR: t = t1526
lola: REM DEA TR: t = t11224
lola: REM DEA TR: t = t1527
lola: REM DEA TR: t = t11225
lola: REM DEA TR: t = t1528
lola: REM DEA TR: t = t11226
lola: REM DEA TR: t = t1529
lola: REM DEA TR: t = t11227
lola: REM DEA TR: t = t1530
lola: REM DEA TR: t = t11228
lola: REM DEA TR: t = t1531
lola: REM DEA TR: t = t11229
lola: REM DEA TR: t = t1532
lola: REM DEA TR: t = t11230
lola: REM DEA TR: t = t1533
lola: REM DEA TR: t = t11231
lola: REM DEA TR: t = t1534
lola: REM DEA TR: t = t11232
lola: REM DEA TR: t = t1535
lola: REM DEA TR: t = t11233
lola: REM DEA TR: t = t10567
lola: REM DEA TR: t = t1536
lola: REM DEA TR: t = t11234
lola: REM DEA TR: t = t10568
lola: REM DEA TR: t = t1537
lola: REM DEA TR: t = t11235
lola: REM DEA TR: t = t10569
lola: REM DEA TR: t = t1538
lola: REM DEA TR: t = t11236
lola: REM DEA TR: t = t1539
lola: REM DEA TR: t = t11237
lola: REM DEA TR: t = t1540
lola: REM DEA TR: t = t11238
lola: REM DEA TR: t = t1541
lola: REM DEA TR: t = t11239
lola: REM DEA TR: t = t1542
lola: REM DEA TR: t = t11240
lola: REM DEA TR: t = t1543
lola: REM DEA TR: t = t11241
lola: REM DEA TR: t = t1544
lola: REM DEA TR: t = t11242
lola: REM DEA TR: t = t1545
lola: REM DEA TR: t = t11243
lola: REM DEA TR: t = t1546
lola: REM DEA TR: t = t11244
lola: REM DEA TR: t = t1547
lola: REM DEA TR: t = t11245
lola: REM DEA TR: t = t1548
lola: REM DEA TR: t = t11246
lola: REM DEA TR: t = t1549
lola: REM DEA TR: t = t11247
lola: REM DEA TR: t = t1550
lola: REM DEA TR: t = t11248
lola: REM DEA TR: t = t1551
lola: REM DEA TR: t = t11249
lola: REM DEA TR: t = t1552
lola: REM DEA TR: t = t11250
lola: REM DEA TR: t = t1553
lola: REM DEA TR: t = t11251
lola: REM DEA TR: t = t1554
lola: REM DEA TR: t = t11252
lola: REM DEA TR: t = t1555
lola: REM DEA TR: t = t11253
lola: REM DEA TR: t = t1556
lola: REM DEA TR: t = t11254
lola: REM DEA TR: t = t1557
lola: REM DEA TR: t = t11255
lola: REM DEA TR: t = t1558
lola: REM DEA TR: t = t11256
lola: REM DEA TR: t = t1559
lola: REM DEA TR: t = t11257
lola: REM DEA TR: t = t4344
lola: REM DEA TR: t = t4345
lola: REM DEA TR: t = t4346
lola: REM DEA TR: t = t4347
lola: REM DEA TR: t = t6000
lola: REM DEA TR: t = t6001
lola: REM DEA TR: t = t6002
lola: REM DEA TR: t = t6003
lola: REM DEA TR: t = t6004
lola: REM DEA TR: t = t6005
lola: REM DEA TR: t = t6006
lola: REM DEA TR: t = t6007
lola: REM DEA TR: t = t6008
lola: REM DEA TR: t = t6009
lola: REM DEA TR: t = t6010
lola: REM DEA TR: t = t6011
lola: REM DEA TR: t = t6012
lola: REM DEA TR: t = t6013
lola: REM DEA TR: t = t9893
lola: REM DEA TR: t = t6014
lola: REM DEA TR: t = t6015
lola: REM DEA TR: t = t1320
lola: REM DEA TR: t = t1321
lola: REM DEA TR: t = t1322
lola: REM DEA TR: t = t10570
lola: REM DEA TR: t = t1323
lola: REM DEA TR: t = t10571
lola: REM DEA TR: t = t1324
lola: REM DEA TR: t = t10572
lola: REM DEA TR: t = t1325
lola: REM DEA TR: t = t10573
lola: REM DEA TR: t = t1326
lola: REM DEA TR: t = t10574
lola: REM DEA TR: t = t1327
lola: REM DEA TR: t = t10575
lola: REM DEA TR: t = t9917
lola: REM DEA TR: t = t9918
lola: REM DEA TR: t = t9919
lola: REM DEA TR: t = t8723
lola: REM DEA TR: t = t7996
lola: REM DEA TR: t = t548
lola: REM DEA TR: t = t7997
lola: REM DEA TR: t = t549
lola: REM DEA TR: t = t7998
lola: REM DEA TR: t = t550
lola: REM DEA TR: t = t7999
lola: REM DEA TR: t = t551
lola: REM DEA TR: t = t8000
lola: REM DEA TR: t = t552
lola: REM DEA TR: t = t8001
lola: REM DEA TR: t = t553
lola: REM DEA TR: t = t8002
lola: REM DEA TR: t = t554
lola: REM DEA TR: t = t8003
lola: REM DEA TR: t = t555
lola: REM DEA TR: t = t8004
lola: REM DEA TR: t = t556
lola: REM DEA TR: t = t8005
lola: REM DEA TR: t = t557
lola: REM DEA TR: t = t8006
lola: REM DEA TR: t = t558
lola: REM DEA TR: t = t8007
lola: REM DEA TR: t = t559
lola: REM DEA TR: t = t8747
lola: REM DEA TR: t = t8748
lola: REM DEA TR: t = t8749
lola: REM DEA TR: t = t5125
lola: REM DEA TR: t = t5126
lola: REM DEA TR: t = t5127
lola: REM DEA TR: t = t5128
lola: REM DEA TR: t = t5129
lola: REM DEA TR: t = t5130
lola: REM DEA TR: t = t5131
lola: REM DEA TR: t = t5132
lola: REM DEA TR: t = t5133
lola: REM DEA TR: t = t5134
lola: REM DEA TR: t = t5135
lola: REM DEA TR: t = t5136
lola: REM DEA TR: t = t5137
lola: REM DEA TR: t = t5138
lola: REM DEA TR: t = t5139
lola: REM DEA TR: t = t5140
lola: REM DEA TR: t = t320
lola: REM DEA TR: t = t321
lola: REM DEA TR: t = t7320
lola: REM DEA TR: t = t322
lola: REM DEA TR: t = t7321
lola: REM DEA TR: t = t323
lola: REM DEA TR: t = t7322
lola: REM DEA TR: t = t324
lola: REM DEA TR: t = t7323
lola: REM DEA TR: t = t325
lola: REM DEA TR: t = t7324
lola: REM DEA TR: t = t326
lola: REM DEA TR: t = t7325
lola: REM DEA TR: t = t327
lola: REM DEA TR: t = t7326
lola: REM DEA TR: t = t328
lola: REM DEA TR: t = t7327
lola: REM DEA TR: t = t329
lola: REM DEA TR: t = t7328
lola: REM DEA TR: t = t330
lola: REM DEA TR: t = t7329
lola: REM DEA TR: t = t331
lola: REM DEA TR: t = t7330
lola: REM DEA TR: t = t332
lola: REM DEA TR: t = t7331
lola: REM DEA TR: t = t333
lola: REM DEA TR: t = t7332
lola: REM DEA TR: t = t334
lola: REM DEA TR: t = t7333
lola: REM DEA TR: t = t335
lola: REM DEA TR: t = t6667
lola: REM DEA TR: t = t7334
lola: REM DEA TR: t = t336
lola: REM DEA TR: t = t6668
lola: REM DEA TR: t = t7335
lola: REM DEA TR: t = t337
lola: REM DEA TR: t = t6669
lola: REM DEA TR: t = t7336
lola: REM DEA TR: t = t338
lola: REM DEA TR: t = t7337
lola: REM DEA TR: t = t339
lola: REM DEA TR: t = t8073
lola: REM DEA TR: t = t7338
lola: REM DEA TR: t = t340
lola: REM DEA TR: t = t7339
lola: REM DEA TR: t = t341
lola: REM DEA TR: t = t7340
lola: REM DEA TR: t = t342
lola: REM DEA TR: t = t7341
lola: REM DEA TR: t = t343
lola: REM DEA TR: t = t7342
lola: REM DEA TR: t = t344
lola: REM DEA TR: t = t7343
lola: REM DEA TR: t = t345
lola: REM DEA TR: t = t7344
lola: REM DEA TR: t = t346
lola: REM DEA TR: t = t7345
lola: REM DEA TR: t = t347
lola: REM DEA TR: t = t7346
lola: REM DEA TR: t = t348
lola: REM DEA TR: t = t7347
lola: REM DEA TR: t = t349
lola: REM DEA TR: t = t7348
lola: REM DEA TR: t = t350
lola: REM DEA TR: t = t7349
lola: REM DEA TR: t = t351
lola: REM DEA TR: t = t7350
lola: REM DEA TR: t = t352
lola: REM DEA TR: t = t7351
lola: REM DEA TR: t = t353
lola: REM DEA TR: t = t7352
lola: REM DEA TR: t = t354
lola: REM DEA TR: t = t7353
lola: REM DEA TR: t = t355
lola: REM DEA TR: t = t7354
lola: REM DEA TR: t = t356
lola: REM DEA TR: t = t7355
lola: REM DEA TR: t = t357
lola: REM DEA TR: t = t7356
lola: REM DEA TR: t = t358
lola: REM DEA TR: t = t7357
lola: REM DEA TR: t = t359
lola: REM DEA TR: t = t2064
lola: REM DEA TR: t = t2065
lola: REM DEA TR: t = t2066
lola: REM DEA TR: t = t2067
lola: REM DEA TR: t = t4950
lola: REM DEA TR: t = t4951
lola: REM DEA TR: t = t4952
lola: REM DEA TR: t = t4953
lola: REM DEA TR: t = t4954
lola: REM DEA TR: t = t4955
lola: REM DEA TR: t = t4956
lola: REM DEA TR: t = t4957
lola: REM DEA TR: t = t4958
lola: REM DEA TR: t = t4959
lola: REM DEA TR: t = t4960
lola: REM DEA TR: t = t4961
lola: REM DEA TR: t = t4962
lola: REM DEA TR: t = t4963
lola: REM DEA TR: t = t4964
lola: REM DEA TR: t = t4965
lola: REM DEA TR: t = t1328
lola: REM DEA TR: t = t10576
lola: REM DEA TR: t = t1329
lola: REM DEA TR: t = t10577
lola: REM DEA TR: t = t1330
lola: REM DEA TR: t = t10578
lola: REM DEA TR: t = t1331
lola: REM DEA TR: t = t10579
lola: REM DEA TR: t = t1332
lola: REM DEA TR: t = t10580
lola: REM DEA TR: t = t1333
lola: REM DEA TR: t = t10581
lola: REM DEA TR: t = t1334
lola: REM DEA TR: t = t10582
lola: REM DEA TR: t = t1335
lola: REM DEA TR: t = t10583
lola: REM DEA TR: t = t1336
lola: REM DEA TR: t = t10584
lola: REM DEA TR: t = t1337
lola: REM DEA TR: t = t10585
lola: REM DEA TR: t = t1338
lola: REM DEA TR: t = t10586
lola: REM DEA TR: t = t1339
lola: REM DEA TR: t = t10587
lola: REM DEA TR: t = t11323
lola: REM DEA TR: t = t1340
lola: REM DEA TR: t = t10588
lola: REM DEA TR: t = t1341
lola: REM DEA TR: t = t10589
lola: REM DEA TR: t = t1342
lola: REM DEA TR: t = t10590
lola: REM DEA TR: t = t1343
lola: REM DEA TR: t = t10591
lola: REM DEA TR: t = t1344
lola: REM DEA TR: t = t10592
lola: REM DEA TR: t = t1345
lola: REM DEA TR: t = t10593
lola: REM DEA TR: t = t1346
lola: REM DEA TR: t = t10594
lola: REM DEA TR: t = t1347
lola: REM DEA TR: t = t10595
lola: REM DEA TR: t = t1348
lola: REM DEA TR: t = t10596
lola: REM DEA TR: t = t1349
lola: REM DEA TR: t = t10597
lola: REM DEA TR: t = t1350
lola: REM DEA TR: t = t10598
lola: REM DEA TR: t = t1351
lola: REM DEA TR: t = t10599
lola: REM DEA TR: t = t1352
lola: REM DEA TR: t = t10600
lola: REM DEA TR: t = t1353
lola: REM DEA TR: t = t10601
lola: REM DEA TR: t = t1354
lola: REM DEA TR: t = t10602
lola: REM DEA TR: t = t1355
lola: REM DEA TR: t = t10603
lola: REM DEA TR: t = t1356
lola: REM DEA TR: t = t10604
lola: REM DEA TR: t = t1357
lola: REM DEA TR: t = t10605
lola: REM DEA TR: t = t1358
lola: REM DEA TR: t = t10606
lola: REM DEA TR: t = t1359
lola: REM DEA TR: t = t10607
lola: REM DEA TR: t = t3964
lola: REM DEA TR: t = t3965
lola: REM DEA TR: t = t3966
lola: REM DEA TR: t = t3967
lola: REM DEA TR: t = t11347
lola: REM DEA TR: t = t11348
lola: REM DEA TR: t = t11349
lola: REM DEA TR: t = t5825
lola: REM DEA TR: t = t5826
lola: REM DEA TR: t = t5827
lola: REM DEA TR: t = t5828
lola: REM DEA TR: t = t5829
lola: REM DEA TR: t = t5830
lola: REM DEA TR: t = t5831
lola: REM DEA TR: t = t5832
lola: REM DEA TR: t = t5833
lola: REM DEA TR: t = t5834
lola: REM DEA TR: t = t5835
lola: REM DEA TR: t = t5836
lola: REM DEA TR: t = t5837
lola: REM DEA TR: t = t5838
lola: REM DEA TR: t = t5839
lola: REM DEA TR: t = t5840
lola: REM DEA TR: t = t1120
lola: REM DEA TR: t = t1121
lola: REM DEA TR: t = t1122
lola: REM DEA TR: t = t9920
lola: REM DEA TR: t = t1123
lola: REM DEA TR: t = t9921
lola: REM DEA TR: t = t1124
lola: REM DEA TR: t = t9922
lola: REM DEA TR: t = t1125
lola: REM DEA TR: t = t9923
lola: REM DEA TR: t = t1126
lola: REM DEA TR: t = t9924
lola: REM DEA TR: t = t1127
lola: REM DEA TR: t = t9925
lola: REM DEA TR: t = t1128
lola: REM DEA TR: t = t9926
lola: REM DEA TR: t = t1129
lola: REM DEA TR: t = t9927
lola: REM DEA TR: t = t1130
lola: REM DEA TR: t = t9928
lola: REM DEA TR: t = t1131
lola: REM DEA TR: t = t9929
lola: REM DEA TR: t = t1132
lola: REM DEA TR: t = t9930
lola: REM DEA TR: t = t1133
lola: REM DEA TR: t = t9931
lola: REM DEA TR: t = t1134
lola: REM DEA TR: t = t9932
lola: REM DEA TR: t = t1135
lola: REM DEA TR: t = t9933
lola: REM DEA TR: t = t1136
lola: REM DEA TR: t = t9934
lola: REM DEA TR: t = t1137
lola: REM DEA TR: t = t9935
lola: REM DEA TR: t = t1138
lola: REM DEA TR: t = t9936
lola: REM DEA TR: t = t1139
lola: REM DEA TR: t = t9937
lola: REM DEA TR: t = t1140
lola: REM DEA TR: t = t9938
lola: REM DEA TR: t = t1141
lola: REM DEA TR: t = t9939
lola: REM DEA TR: t = t1142
lola: REM DEA TR: t = t9940
lola: REM DEA TR: t = t1143
lola: REM DEA TR: t = t9941
lola: REM DEA TR: t = t1144
lola: REM DEA TR: t = t9942
lola: REM DEA TR: t = t1145
lola: REM DEA TR: t = t9943
lola: REM DEA TR: t = t1146
lola: REM DEA TR: t = t9944
lola: REM DEA TR: t = t1147
lola: REM DEA TR: t = t9945
lola: REM DEA TR: t = t1148
lola: REM DEA TR: t = t9946
lola: REM DEA TR: t = t1149
lola: REM DEA TR: t = t9947
lola: REM DEA TR: t = t1150
lola: REM DEA TR: t = t9948
lola: REM DEA TR: t = t1151
lola: REM DEA TR: t = t9949
lola: REM DEA TR: t = t1152
lola: REM DEA TR: t = t9950
lola: REM DEA TR: t = t1153
lola: REM DEA TR: t = t9951
lola: REM DEA TR: t = t1154
lola: REM DEA TR: t = t9952
lola: REM DEA TR: t = t1155
lola: REM DEA TR: t = t9953
lola: REM DEA TR: t = t1156
lola: REM DEA TR: t = t9954
lola: REM DEA TR: t = t1157
lola: REM DEA TR: t = t9955
lola: REM DEA TR: t = t8097
lola: REM DEA TR: t = t8098
lola: REM DEA TR: t = t8099
lola: REM DEA TR: t = t2900
lola: REM DEA TR: t = t2901
lola: REM DEA TR: t = t2902
lola: REM DEA TR: t = t120
lola: REM DEA TR: t = t2903
lola: REM DEA TR: t = t121
lola: REM DEA TR: t = t6670
lola: REM DEA TR: t = t122
lola: REM DEA TR: t = t6671
lola: REM DEA TR: t = t123
lola: REM DEA TR: t = t6672
lola: REM DEA TR: t = t124
lola: REM DEA TR: t = t6673
lola: REM DEA TR: t = t125
lola: REM DEA TR: t = t6674
lola: REM DEA TR: t = t126
lola: REM DEA TR: t = t6675
lola: REM DEA TR: t = t127
lola: REM DEA TR: t = t5335
lola: REM DEA TR: t = t5336
lola: REM DEA TR: t = t6676
lola: REM DEA TR: t = t128
lola: REM DEA TR: t = t5337
lola: REM DEA TR: t = t6677
lola: REM DEA TR: t = t129
lola: REM DEA TR: t = t5338
lola: REM DEA TR: t = t6678
lola: REM DEA TR: t = t130
lola: REM DEA TR: t = t5339
lola: REM DEA TR: t = t6679
lola: REM DEA TR: t = t131
lola: REM DEA TR: t = t5340
lola: REM DEA TR: t = t6680
lola: REM DEA TR: t = t132
lola: REM DEA TR: t = t5341
lola: REM DEA TR: t = t6681
lola: REM DEA TR: t = t133
lola: REM DEA TR: t = t5342
lola: REM DEA TR: t = t6682
lola: REM DEA TR: t = t134
lola: REM DEA TR: t = t5343
lola: REM DEA TR: t = t6683
lola: REM DEA TR: t = t135
lola: REM DEA TR: t = t6684
lola: REM DEA TR: t = t136
lola: REM DEA TR: t = t6685
lola: REM DEA TR: t = t137
lola: REM DEA TR: t = t5344
lola: REM DEA TR: t = t5345
lola: REM DEA TR: t = t5346
lola: REM DEA TR: t = t6686
lola: REM DEA TR: t = t138
lola: REM DEA TR: t = t5347
lola: REM DEA TR: t = t6687
lola: REM DEA TR: t = t139
lola: REM DEA TR: t = t5348
lola: REM DEA TR: t = t7423
lola: REM DEA TR: t = t6688
lola: REM DEA TR: t = t140
lola: REM DEA TR: t = t5349
lola: REM DEA TR: t = t6689
lola: REM DEA TR: t = t141
lola: REM DEA TR: t = t5350
lola: REM DEA TR: t = t6690
lola: REM DEA TR: t = t142
lola: REM DEA TR: t = t6691
lola: REM DEA TR: t = t143
lola: REM DEA TR: t = t6692
lola: REM DEA TR: t = t144
lola: REM DEA TR: t = t6693
lola: REM DEA TR: t = t145
lola: REM DEA TR: t = t6694
lola: REM DEA TR: t = t146
lola: REM DEA TR: t = t6695
lola: REM DEA TR: t = t147
lola: REM DEA TR: t = t6696
lola: REM DEA TR: t = t148
lola: REM DEA TR: t = t6697
lola: REM DEA TR: t = t149
lola: REM DEA TR: t = t6698
lola: REM DEA TR: t = t150
lola: REM DEA TR: t = t6699
lola: REM DEA TR: t = t151
lola: REM DEA TR: t = t6700
lola: REM DEA TR: t = t152
lola: REM DEA TR: t = t6701
lola: REM DEA TR: t = t153
lola: REM DEA TR: t = t6702
lola: REM DEA TR: t = t154
lola: REM DEA TR: t = t6703
lola: REM DEA TR: t = t155
lola: REM DEA TR: t = t6704
lola: REM DEA TR: t = t156
lola: REM DEA TR: t = t6705
lola: REM DEA TR: t = t157
lola: REM DEA TR: t = t6706
lola: REM DEA TR: t = t158
lola: REM DEA TR: t = t6707
lola: REM DEA TR: t = t159
lola: REM DEA TR: t = t4800
lola: REM DEA TR: t = t4801
lola: REM DEA TR: t = t4802
lola: REM DEA TR: t = t4803
lola: REM DEA TR: t = t6210
lola: REM DEA TR: t = t6211
lola: REM DEA TR: t = t6212
lola: REM DEA TR: t = t6213
lola: REM DEA TR: t = t6214
lola: REM DEA TR: t = t6215
lola: REM DEA TR: t = t6216
lola: REM DEA TR: t = t6217
lola: REM DEA TR: t = t6218
lola: REM DEA TR: t = t6219
lola: REM DEA TR: t = t6220
lola: REM DEA TR: t = t6221
lola: REM DEA TR: t = t6222
lola: REM DEA TR: t = t6223
lola: REM DEA TR: t = t10673
lola: REM DEA TR: t = t6224
lola: REM DEA TR: t = t6225
lola: REM DEA TR: t = t1158
lola: REM DEA TR: t = t9956
lola: REM DEA TR: t = t1159
lola: REM DEA TR: t = t9957
lola: REM DEA TR: t = t1560
lola: REM DEA TR: t = t1561
lola: REM DEA TR: t = t1562
lola: REM DEA TR: t = t11350
lola: REM DEA TR: t = t1563
lola: REM DEA TR: t = t11351
lola: REM DEA TR: t = t1564
lola: REM DEA TR: t = t11352
lola: REM DEA TR: t = t1565
lola: REM DEA TR: t = t11353
lola: REM DEA TR: t = t1566
lola: REM DEA TR: t = t11354
lola: REM DEA TR: t = t1567
lola: REM DEA TR: t = t11355
lola: REM DEA TR: t = t1568
lola: REM DEA TR: t = t11356
lola: REM DEA TR: t = t1569
lola: REM DEA TR: t = t11357
lola: REM DEA TR: t = t1570
lola: REM DEA TR: t = t11358
lola: REM DEA TR: t = t1571
lola: REM DEA TR: t = t11359
lola: REM DEA TR: t = t1572
lola: REM DEA TR: t = t11360
lola: REM DEA TR: t = t1573
lola: REM DEA TR: t = t11361
lola: REM DEA TR: t = t1574
lola: REM DEA TR: t = t11362
lola: REM DEA TR: t = t1575
lola: REM DEA TR: t = t11363
lola: REM DEA TR: t = t10697
lola: REM DEA TR: t = t1576
lola: REM DEA TR: t = t11364
lola: REM DEA TR: t = t10698
lola: REM DEA TR: t = t1577
lola: REM DEA TR: t = t11365
lola: REM DEA TR: t = t10699
lola: REM DEA TR: t = t1578
lola: REM DEA TR: t = t11366
lola: REM DEA TR: t = t1579
lola: REM DEA TR: t = t11367
lola: REM DEA TR: t = t1580
lola: REM DEA TR: t = t11368
lola: REM DEA TR: t = t1581
lola: REM DEA TR: t = t11369
lola: REM DEA TR: t = t1582
lola: REM DEA TR: t = t11370
lola: REM DEA TR: t = t1583
lola: REM DEA TR: t = t11371
lola: REM DEA TR: t = t1584
lola: REM DEA TR: t = t11372
lola: REM DEA TR: t = t1585
lola: REM DEA TR: t = t11373
lola: REM DEA TR: t = t5655
lola: REM DEA TR: t = t1586
lola: REM DEA TR: t = t11374
lola: REM DEA TR: t = t5656
lola: REM DEA TR: t = t1587
lola: REM DEA TR: t = t11375
lola: REM DEA TR: t = t5657
lola: REM DEA TR: t = t1588
lola: REM DEA TR: t = t11376
lola: REM DEA TR: t = t5658
lola: REM DEA TR: t = t1589
lola: REM DEA TR: t = t11377
lola: REM DEA TR: t = t5659
lola: REM DEA TR: t = t1590
lola: REM DEA TR: t = t11378
lola: REM DEA TR: t = t5660
lola: REM DEA TR: t = t1591
lola: REM DEA TR: t = t11379
lola: REM DEA TR: t = t5661
lola: REM DEA TR: t = t5662
lola: REM DEA TR: t = t5663
lola: REM DEA TR: t = t5664
lola: REM DEA TR: t = t5665
lola: REM DEA TR: t = t4420
lola: REM DEA TR: t = t4421
lola: REM DEA TR: t = t4422
lola: REM DEA TR: t = t920
lola: REM DEA TR: t = t4423
lola: REM DEA TR: t = t921
lola: REM DEA TR: t = t922
lola: REM DEA TR: t = t9270
lola: REM DEA TR: t = t923
lola: REM DEA TR: t = t9271
lola: REM DEA TR: t = t924
lola: REM DEA TR: t = t9272
lola: REM DEA TR: t = t925
lola: REM DEA TR: t = t9273
lola: REM DEA TR: t = t926
lola: REM DEA TR: t = t9274
lola: REM DEA TR: t = t927
lola: REM DEA TR: t = t9275
lola: REM DEA TR: t = t928
lola: REM DEA TR: t = t9276
lola: REM DEA TR: t = t929
lola: REM DEA TR: t = t9277
lola: REM DEA TR: t = t930
lola: REM DEA TR: t = t9278
lola: REM DEA TR: t = t931
lola: REM DEA TR: t = t9279
lola: REM DEA TR: t = t932
lola: REM DEA TR: t = t9280
lola: REM DEA TR: t = t933
lola: REM DEA TR: t = t9281
lola: REM DEA TR: t = t934
lola: REM DEA TR: t = t9282
lola: REM DEA TR: t = t935
lola: REM DEA TR: t = t9283
lola: REM DEA TR: t = t936
lola: REM DEA TR: t = t9284
lola: REM DEA TR: t = t937
lola: REM DEA TR: t = t9285
lola: REM DEA TR: t = t938
lola: REM DEA TR: t = t9286
lola: REM DEA TR: t = t939
lola: REM DEA TR: t = t9287
lola: REM DEA TR: t = t10023
lola: REM DEA TR: t = t940
lola: REM DEA TR: t = t9288
lola: REM DEA TR: t = t941
lola: REM DEA TR: t = t9289
lola: REM DEA TR: t = t942
lola: REM DEA TR: t = t9290
lola: REM DEA TR: t = t943
lola: REM DEA TR: t = t9291
lola: REM DEA TR: t = t944
lola: REM DEA TR: t = t9292
lola: REM DEA TR: t = t945
lola: REM DEA TR: t = t9293
lola: REM DEA TR: t = t946
lola: REM DEA TR: t = t9294
lola: REM DEA TR: t = t947
lola: REM DEA TR: t = t9295
lola: REM DEA TR: t = t948
lola: REM DEA TR: t = t9296
lola: REM DEA TR: t = t949
lola: REM DEA TR: t = t9297
lola: REM DEA TR: t = t950
lola: REM DEA TR: t = t9298
lola: REM DEA TR: t = t951
lola: REM DEA TR: t = t9299
lola: REM DEA TR: t = t952
lola: REM DEA TR: t = t9300
lola: REM DEA TR: t = t953
lola: REM DEA TR: t = t9301
lola: REM DEA TR: t = t954
lola: REM DEA TR: t = t9302
lola: REM DEA TR: t = t955
lola: REM DEA TR: t = t9303
lola: REM DEA TR: t = t956
lola: REM DEA TR: t = t9304
lola: REM DEA TR: t = t957
lola: REM DEA TR: t = t9305
lola: REM DEA TR: t = t958
lola: REM DEA TR: t = t9306
lola: REM DEA TR: t = t959
lola: REM DEA TR: t = t9307
lola: REM DEA TR: t = t560
lola: REM DEA TR: t = t561
lola: REM DEA TR: t = t8100
lola: REM DEA TR: t = t562
lola: REM DEA TR: t = t8101
lola: REM DEA TR: t = t563
lola: REM DEA TR: t = t8102
lola: REM DEA TR: t = t564
lola: REM DEA TR: t = t8103
lola: REM DEA TR: t = t565
lola: REM DEA TR: t = t8104
lola: REM DEA TR: t = t566
lola: REM DEA TR: t = t8105
lola: REM DEA TR: t = t567
lola: REM DEA TR: t = t8106
lola: REM DEA TR: t = t568
lola: REM DEA TR: t = t8107
lola: REM DEA TR: t = t569
lola: REM DEA TR: t = t8108
lola: REM DEA TR: t = t570
lola: REM DEA TR: t = t8109
lola: REM DEA TR: t = t571
lola: REM DEA TR: t = t8110
lola: REM DEA TR: t = t572
lola: REM DEA TR: t = t8111
lola: REM DEA TR: t = t573
lola: REM DEA TR: t = t8112
lola: REM DEA TR: t = t574
lola: REM DEA TR: t = t8113
lola: REM DEA TR: t = t575
lola: REM DEA TR: t = t7447
lola: REM DEA TR: t = t8114
lola: REM DEA TR: t = t576
lola: REM DEA TR: t = t7448
lola: REM DEA TR: t = t8115
lola: REM DEA TR: t = t577
lola: REM DEA TR: t = t7449
lola: REM DEA TR: t = t8116
lola: REM DEA TR: t = t578
lola: REM DEA TR: t = t8117
lola: REM DEA TR: t = t579
lola: REM DEA TR: t = t8118
lola: REM DEA TR: t = t580
lola: REM DEA TR: t = t8119
lola: REM DEA TR: t = t581
lola: REM DEA TR: t = t8120
lola: REM DEA TR: t = t582
lola: REM DEA TR: t = t8121
lola: REM DEA TR: t = t583
lola: REM DEA TR: t = t8122
lola: REM DEA TR: t = t584
lola: REM DEA TR: t = t8123
lola: REM DEA TR: t = t585
lola: REM DEA TR: t = t8124
lola: REM DEA TR: t = t586
lola: REM DEA TR: t = t8125
lola: REM DEA TR: t = t587
lola: REM DEA TR: t = t8126
lola: REM DEA TR: t = t588
lola: REM DEA TR: t = t8127
lola: REM DEA TR: t = t589
lola: REM DEA TR: t = t8128
lola: REM DEA TR: t = t590
lola: REM DEA TR: t = t8129
lola: REM DEA TR: t = t591
lola: REM DEA TR: t = t8130
lola: REM DEA TR: t = t592
lola: REM DEA TR: t = t8131
lola: REM DEA TR: t = t593
lola: REM DEA TR: t = t8132
lola: REM DEA TR: t = t594
lola: REM DEA TR: t = t8133
lola: REM DEA TR: t = t595
lola: REM DEA TR: t = t8134
lola: REM DEA TR: t = t596
lola: REM DEA TR: t = t8135
lola: REM DEA TR: t = t597
lola: REM DEA TR: t = t8136
lola: REM DEA TR: t = t598
lola: REM DEA TR: t = t8137
lola: REM DEA TR: t = t599
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 = t5160
lola: REM DEA TR: t = t5161
lola: REM DEA TR: t = t5162
lola: REM DEA TR: t = t5163
lola: REM DEA TR: t = t5164
lola: REM DEA TR: t = t5165
lola: REM DEA TR: t = t5166
lola: REM DEA TR: t = t5167
lola: REM DEA TR: t = t5168
lola: REM DEA TR: t = t5169
lola: REM DEA TR: t = t5170
lola: REM DEA TR: t = t5171
lola: REM DEA TR: t = t5172
lola: REM DEA TR: t = t5173
lola: REM DEA TR: t = t6773
lola: REM DEA TR: t = t5174
lola: REM DEA TR: t = t5175
lola: REM DEA TR: t = t360
lola: REM DEA TR: t = t361
lola: REM DEA TR: t = t7450
lola: REM DEA TR: t = t362
lola: REM DEA TR: t = t7451
lola: REM DEA TR: t = t363
lola: REM DEA TR: t = t7452
lola: REM DEA TR: t = t364
lola: REM DEA TR: t = t7453
lola: REM DEA TR: t = t365
lola: REM DEA TR: t = t7454
lola: REM DEA TR: t = t366
lola: REM DEA TR: t = t7455
lola: REM DEA TR: t = t367
lola: REM DEA TR: t = t7456
lola: REM DEA TR: t = t368
lola: REM DEA TR: t = t7457
lola: REM DEA TR: t = t369
lola: REM DEA TR: t = t7458
lola: REM DEA TR: t = t370
lola: REM DEA TR: t = t7459
lola: REM DEA TR: t = t371
lola: REM DEA TR: t = t6797
lola: REM DEA TR: t = t6798
lola: REM DEA TR: t = t6799
lola: REM DEA TR: t = t6035
lola: REM DEA TR: t = t6036
lola: REM DEA TR: t = t6037
lola: REM DEA TR: t = t6038
lola: REM DEA TR: t = t6039
lola: REM DEA TR: t = t6040
lola: REM DEA TR: t = t6041
lola: REM DEA TR: t = t6042
lola: REM DEA TR: t = t6043
lola: REM DEA TR: t = t6044
lola: REM DEA TR: t = t6045
lola: REM DEA TR: t = t6046
lola: REM DEA TR: t = t6047
lola: REM DEA TR: t = t6048
lola: REM DEA TR: t = t6049
lola: REM DEA TR: t = t6050
lola: REM DEA TR: t = t1360
lola: REM DEA TR: t = t1361
lola: REM DEA TR: t = t1362
lola: REM DEA TR: t = t10700
lola: REM DEA TR: t = t1363
lola: REM DEA TR: t = t10701
lola: REM DEA TR: t = t1364
lola: REM DEA TR: t = t10702
lola: REM DEA TR: t = t1365
lola: REM DEA TR: t = t10703
lola: REM DEA TR: t = t1366
lola: REM DEA TR: t = t10704
lola: REM DEA TR: t = t1367
lola: REM DEA TR: t = t10705
lola: REM DEA TR: t = t1368
lola: REM DEA TR: t = t10706
lola: REM DEA TR: t = t1369
lola: REM DEA TR: t = t10707
lola: REM DEA TR: t = t1370
lola: REM DEA TR: t = t10708
lola: REM DEA TR: t = t1371
lola: REM DEA TR: t = t10709
lola: REM DEA TR: t = t1372
lola: REM DEA TR: t = t10710
lola: REM DEA TR: t = t1373
lola: REM DEA TR: t = t10711
lola: REM DEA TR: t = t1374
lola: REM DEA TR: t = t10712
lola: REM DEA TR: t = t1375
lola: REM DEA TR: t = t10713
lola: REM DEA TR: t = t10047
lola: REM DEA TR: t = t1376
lola: REM DEA TR: t = t10714
lola: REM DEA TR: t = t10048
lola: REM DEA TR: t = t1377
lola: REM DEA TR: t = t10715
lola: REM DEA TR: t = t10049
lola: REM DEA TR: t = t1378
lola: REM DEA TR: t = t10716
lola: REM DEA TR: t = t1379
lola: REM DEA TR: t = t10717
lola: REM DEA TR: t = t1380
lola: REM DEA TR: t = t10718
lola: REM DEA TR: t = t1381
lola: REM DEA TR: t = t10719
lola: REM DEA TR: t = t1382
lola: REM DEA TR: t = t10720
lola: REM DEA TR: t = t1383
lola: REM DEA TR: t = t10721
lola: REM DEA TR: t = t1384
lola: REM DEA TR: t = t10722
lola: REM DEA TR: t = t1385
lola: REM DEA TR: t = t10723
lola: REM DEA TR: t = t1386
lola: REM DEA TR: t = t10724
lola: REM DEA TR: t = t1387
lola: REM DEA TR: t = t10725
lola: REM DEA TR: t = t1388
lola: REM DEA TR: t = t10726
lola: REM DEA TR: t = t1389
lola: REM DEA TR: t = t10727
lola: REM DEA TR: t = t1390
lola: REM DEA TR: t = t10728
lola: REM DEA TR: t = t1391
lola: REM DEA TR: t = t10729
lola: REM DEA TR: t = t1392
lola: REM DEA TR: t = t10730
lola: REM DEA TR: t = t1393
lola: REM DEA TR: t = t10731
lola: REM DEA TR: t = t1394
lola: REM DEA TR: t = t10732
lola: REM DEA TR: t = t1395
lola: REM DEA TR: t = t10733
lola: REM DEA TR: t = t1396
lola: REM DEA TR: t = t10734
lola: REM DEA TR: t = t1397
lola: REM DEA TR: t = t10735
lola: REM DEA TR: t = t1398
lola: REM DEA TR: t = t10736
lola: REM DEA TR: t = t1399
lola: REM DEA TR: t = t10737
lola: REM DEA TR: t = t4040
lola: REM DEA TR: t = t4041
lola: REM DEA TR: t = t4042
lola: REM DEA TR: t = t4043
lola: REM DEA TR: t = t5860
lola: REM DEA TR: t = t5861
lola: REM DEA TR: t = t5862
lola: REM DEA TR: t = t5863
lola: REM DEA TR: t = t5864
lola: REM DEA TR: t = t5865
lola: REM DEA TR: t = t5866
lola: REM DEA TR: t = t5867
lola: REM DEA TR: t = t5868
lola: REM DEA TR: t = t5869
lola: REM DEA TR: t = t5870
lola: REM DEA TR: t = t5871
lola: REM DEA TR: t = t5872
lola: REM DEA TR: t = t5873
lola: REM DEA TR: t = t9373
lola: REM DEA TR: t = t5874
lola: REM DEA TR: t = t5875
lola: REM DEA TR: t = t9397
lola: REM DEA TR: t = t9398
lola: REM DEA TR: t = t9399
lola: REM DEA TR: t = t7460
lola: REM DEA TR: t = t372
lola: REM DEA TR: t = t7461
lola: REM DEA TR: t = t373
lola: REM DEA TR: t = t7462
lola: REM DEA TR: t = t374
lola: REM DEA TR: t = t7463
lola: REM DEA TR: t = t375
lola: REM DEA TR: t = t7464
lola: REM DEA TR: t = t376
lola: REM DEA TR: t = t7465
lola: REM DEA TR: t = t377
lola: REM DEA TR: t = t7466
lola: REM DEA TR: t = t378
lola: REM DEA TR: t = t7467
lola: REM DEA TR: t = t379
lola: REM DEA TR: t = t8203
lola: REM DEA TR: t = t7468
lola: REM DEA TR: t = t380
lola: REM DEA TR: t = t7469
lola: REM DEA TR: t = t381
lola: REM DEA TR: t = t7470
lola: REM DEA TR: t = t382
lola: REM DEA TR: t = t7471
lola: REM DEA TR: t = t383
lola: REM DEA TR: t = t7472
lola: REM DEA TR: t = t384
lola: REM DEA TR: t = t7473
lola: REM DEA TR: t = t385
lola: REM DEA TR: t = t7474
lola: REM DEA TR: t = t386
lola: REM DEA TR: t = t7475
lola: REM DEA TR: t = t387
lola: REM DEA TR: t = t7476
lola: REM DEA TR: t = t388
lola: REM DEA TR: t = t7477
lola: REM DEA TR: t = t389
lola: REM DEA TR: t = t7478
lola: REM DEA TR: t = t390
lola: REM DEA TR: t = t7479
lola: REM DEA TR: t = t391
lola: REM DEA TR: t = t7480
lola: REM DEA TR: t = t392
lola: REM DEA TR: t = t7481
lola: REM DEA TR: t = t393
lola: REM DEA TR: t = t7482
lola: REM DEA TR: t = t394
lola: REM DEA TR: t = t7483
lola: REM DEA TR: t = t395
lola: REM DEA TR: t = t7484
lola: REM DEA TR: t = t396
lola: REM DEA TR: t = t7485
lola: REM DEA TR: t = t397
lola: REM DEA TR: t = t7486
lola: REM DEA TR: t = t398
lola: REM DEA TR: t = t7487
lola: REM DEA TR: t = t399
lola: REM DEA TR: t = t2140
lola: REM DEA TR: t = t2141
lola: REM DEA TR: t = t2142
lola: REM DEA TR: t = t2143
lola: REM DEA TR: t = t8227
lola: REM DEA TR: t = t8228
lola: REM DEA TR: t = t8229
lola: REM DEA TR: t = t4985
lola: REM DEA TR: t = t4986
lola: REM DEA TR: t = t4987
lola: REM DEA TR: t = t5395
lola: REM DEA TR: t = t4988
lola: REM DEA TR: t = t5396
lola: REM DEA TR: t = t4989
lola: REM DEA TR: t = t5397
lola: REM DEA TR: t = t4990
lola: REM DEA TR: t = t5398
lola: REM DEA TR: t = t4991
lola: REM DEA TR: t = t4992
lola: REM DEA TR: t = t4993
lola: REM DEA TR: t = t5399
lola: REM DEA TR: t = t5400
lola: REM DEA TR: t = t4994
lola: REM DEA TR: t = t4995
lola: REM DEA TR: t = t4996
lola: REM DEA TR: t = t4997
lola: REM DEA TR: t = t4998
lola: REM DEA TR: t = t4999
lola: REM DEA TR: t = t5000
lola: REM DEA TR: t = t160
lola: REM DEA TR: t = t161
lola: REM DEA TR: t = t6800
lola: REM DEA TR: t = t162
lola: REM DEA TR: t = t6801
lola: REM DEA TR: t = t163
lola: REM DEA TR: t = t6802
lola: REM DEA TR: t = t164
lola: REM DEA TR: t = t6803
lola: REM DEA TR: t = t165
lola: REM DEA TR: t = t6804
lola: REM DEA TR: t = t166
lola: REM DEA TR: t = t6805
lola: REM DEA TR: t = t167
lola: REM DEA TR: t = t6806
lola: REM DEA TR: t = t168
lola: REM DEA TR: t = t6807
lola: REM DEA TR: t = t169
lola: REM DEA TR: t = t6808
lola: REM DEA TR: t = t170
lola: REM DEA TR: t = t6809
lola: REM DEA TR: t = t171
lola: REM DEA TR: t = t6810
lola: REM DEA TR: t = t172
lola: REM DEA TR: t = t6811
lola: REM DEA TR: t = t173
lola: REM DEA TR: t = t6812
lola: REM DEA TR: t = t174
lola: REM DEA TR: t = t6813
lola: REM DEA TR: t = t175
lola: REM DEA TR: t = t6814
lola: REM DEA TR: t = t176
lola: REM DEA TR: t = t6815
lola: REM DEA TR: t = t177
lola: REM DEA TR: t = t6816
lola: REM DEA TR: t = t178
lola: REM DEA TR: t = t6817
lola: REM DEA TR: t = t179
lola: REM DEA TR: t = t6818
lola: REM DEA TR: t = t180
lola: REM DEA TR: t = t6819
lola: REM DEA TR: t = t181
lola: REM DEA TR: t = t6820
lola: REM DEA TR: t = t182
lola: REM DEA TR: t = t6821
lola: REM DEA TR: t = t183
lola: REM DEA TR: t = t6822
lola: REM DEA TR: t = t184
lola: REM DEA TR: t = t6823
lola: REM DEA TR: t = t185
lola: REM DEA TR: t = t6824
lola: REM DEA TR: t = t186
lola: REM DEA TR: t = t6825
lola: REM DEA TR: t = t187
lola: REM DEA TR: t = t6826
lola: REM DEA TR: t = t188
lola: REM DEA TR: t = t6827
lola: REM DEA TR: t = t189
lola: REM DEA TR: t = t6828
lola: REM DEA TR: t = t190
lola: REM DEA TR: t = t6829
lola: REM DEA TR: t = t191
lola: REM DEA TR: t = t6830
lola: REM DEA TR: t = t192
lola: REM DEA TR: t = t6831
lola: REM DEA TR: t = t193
lola: REM DEA TR: t = t6832
lola: REM DEA TR: t = t194
lola: REM DEA TR: t = t6833
lola: REM DEA TR: t = t195
lola: REM DEA TR: t = t6834
lola: REM DEA TR: t = t196
lola: REM DEA TR: t = t6835
lola: REM DEA TR: t = t197
lola: REM DEA TR: t = t6836
lola: REM DEA TR: t = t198
lola: REM DEA TR: t = t6837
lola: REM DEA TR: t = t199
lola: REM DEA TR: t = t1160
lola: REM DEA TR: t = t1161
lola: REM DEA TR: t = t1162
lola: REM DEA TR: t = t10050
lola: REM DEA TR: t = t1163
lola: REM DEA TR: t = t10051
lola: REM DEA TR: t = t1164
lola: REM DEA TR: t = t10052
lola: REM DEA TR: t = t1165
lola: REM DEA TR: t = t10053
lola: REM DEA TR: t = t1166
lola: REM DEA TR: t = t10054
lola: REM DEA TR: t = t1167
lola: REM DEA TR: t = t10055
lola: REM DEA TR: t = t1168
lola: REM DEA TR: t = t10056
lola: REM DEA TR: t = t1169
lola: REM DEA TR: t = t10057
lola: REM DEA TR: t = t1170
lola: REM DEA TR: t = t10058
lola: REM DEA TR: t = t1171
lola: REM DEA TR: t = t10059
lola: REM DEA TR: t = t1172
lola: REM DEA TR: t = t10060
lola: REM DEA TR: t = t1173
lola: REM DEA TR: t = t10061
lola: REM DEA TR: t = t1174
lola: REM DEA TR: t = t10062
lola: REM DEA TR: t = t1175
lola: REM DEA TR: t = t10063
lola: REM DEA TR: t = t1176
lola: REM DEA TR: t = t10064
lola: REM DEA TR: t = t1177
lola: REM DEA TR: t = t10065
lola: REM DEA TR: t = t1178
lola: REM DEA TR: t = t10066
lola: REM DEA TR: t = t1179
lola: REM DEA TR: t = t10067
lola: REM DEA TR: t = t10803
lola: REM DEA TR: t = t1180
lola: REM DEA TR: t = t10068
lola: REM DEA TR: t = t1181
lola: REM DEA TR: t = t10069
lola: REM DEA TR: t = t1182
lola: REM DEA TR: t = t10070
lola: REM DEA TR: t = t1183
lola: REM DEA TR: t = t10071
lola: REM DEA TR: t = t1184
lola: REM DEA TR: t = t10072
lola: REM DEA TR: t = t1185
lola: REM DEA TR: t = t10073
lola: REM DEA TR: t = t1186
lola: REM DEA TR: t = t10074
lola: REM DEA TR: t = t1187
lola: REM DEA TR: t = t10075
lola: REM DEA TR: t = t1188
lola: REM DEA TR: t = t10076
lola: REM DEA TR: t = t1189
lola: REM DEA TR: t = t10077
lola: REM DEA TR: t = t1190
lola: REM DEA TR: t = t10078
lola: REM DEA TR: t = t1191
lola: REM DEA TR: t = t10079
lola: REM DEA TR: t = t1192
lola: REM DEA TR: t = t10080
lola: REM DEA TR: t = t1193
lola: REM DEA TR: t = t10081
lola: REM DEA TR: t = t1194
lola: REM DEA TR: t = t10082
lola: REM DEA TR: t = t1195
lola: REM DEA TR: t = t10083
lola: REM DEA TR: t = t1196
lola: REM DEA TR: t = t10084
lola: REM DEA TR: t = t1197
lola: REM DEA TR: t = t10085
lola: REM DEA TR: t = t1198
lola: REM DEA TR: t = t10086
lola: REM DEA TR: t = t1199
lola: REM DEA TR: t = t10087
lola: REM DEA TR: t = t3660
lola: REM DEA TR: t = t3661
lola: REM DEA TR: t = t3662
lola: REM DEA TR: t = t3663
lola: REM DEA TR: t = t10827
lola: REM DEA TR: t = t10828
lola: REM DEA TR: t = t5685
lola: REM DEA TR: t = t5686
lola: REM DEA TR: t = t5687
lola: REM DEA TR: t = t5688
lola: REM DEA TR: t = t5689
lola: REM DEA TR: t = t5690
lola: REM DEA TR: t = t5691
lola: REM DEA TR: t = t5692
lola: REM DEA TR: t = t5693
lola: REM DEA TR: t = t5694
lola: REM DEA TR: t = t5695
lola: REM DEA TR: t = t5696
lola: REM DEA TR: t = t5697
lola: REM DEA TR: t = t5698
lola: REM DEA TR: t = t5699
lola: REM DEA TR: t = t5700
lola: REM DEA TR: t = t960
lola: REM DEA TR: t = t3664
lola: REM DEA TR: t = t961
lola: REM DEA TR: t = t962
lola: REM DEA TR: t = t9400
lola: REM DEA TR: t = t963
lola: REM DEA TR: t = t9401
lola: REM DEA TR: t = t964
lola: REM DEA TR: t = t9402
lola: REM DEA TR: t = t965
lola: REM DEA TR: t = t9403
lola: REM DEA TR: t = t966
lola: REM DEA TR: t = t9404
lola: REM DEA TR: t = t967
lola: REM DEA TR: t = t9405
lola: REM DEA TR: t = t968
lola: REM DEA TR: t = t9406
lola: REM DEA TR: t = t969
lola: REM DEA TR: t = t9407
lola: REM DEA TR: t = t970
lola: REM DEA TR: t = t9408
lola: REM DEA TR: t = t971
lola: REM DEA TR: t = t9409
lola: REM DEA TR: t = t972
lola: REM DEA TR: t = t9410
lola: REM DEA TR: t = t973
lola: REM DEA TR: t = t9411
lola: REM DEA TR: t = t974
lola: REM DEA TR: t = t9412
lola: REM DEA TR: t = t975
lola: REM DEA TR: t = t9413
lola: REM DEA TR: t = t976
lola: REM DEA TR: t = t9414
lola: REM DEA TR: t = t977
lola: REM DEA TR: t = t9415
lola: REM DEA TR: t = t978
lola: REM DEA TR: t = t9416
lola: REM DEA TR: t = t979
lola: REM DEA TR: t = t9417
lola: REM DEA TR: t = t980
lola: REM DEA TR: t = t9418
lola: REM DEA TR: t = t981
lola: REM DEA TR: t = t9419
lola: REM DEA TR: t = t7553
lola: REM DEA TR: t = t7577
lola: REM DEA TR: t = t7578
lola: REM DEA TR: t = t7579
lola: REM DEA TR: t = t2596
lola: REM DEA TR: t = t2597
lola: REM DEA TR: t = t2598
lola: REM DEA TR: t = t2599
lola: REM DEA TR: t = t5195
lola: REM DEA TR: t = t5196
lola: REM DEA TR: t = t5197
lola: REM DEA TR: t = t6903
lola: REM DEA TR: t = t10829
lola: REM DEA TR: t = t4496
lola: REM DEA TR: t = t4497
lola: REM DEA TR: t = t4498
lola: REM DEA TR: t = t4499
lola: REM DEA TR: t = t6070
lola: REM DEA TR: t = t6071
lola: REM DEA TR: t = t6072
lola: REM DEA TR: t = t6073
lola: REM DEA TR: t = t6074
lola: REM DEA TR: t = t6075
lola: REM DEA TR: t = t6076
lola: REM DEA TR: t = t6077
lola: REM DEA TR: t = t6078
lola: REM DEA TR: t = t6079
lola: REM DEA TR: t = t6080
lola: REM DEA TR: t = t6081
lola: REM DEA TR: t = t6082
lola: REM DEA TR: t = t10153
lola: REM DEA TR: t = t6083
lola: REM DEA TR: t = t6084
lola: REM DEA TR: t = t6085
lola: REM DEA TR: t = t982
lola: REM DEA TR: t = t9420
lola: REM DEA TR: t = t983
lola: REM DEA TR: t = t9421
lola: REM DEA TR: t = t984
lola: REM DEA TR: t = t9422
lola: REM DEA TR: t = t985
lola: REM DEA TR: t = t9423
lola: REM DEA TR: t = t986
lola: REM DEA TR: t = t9424
lola: REM DEA TR: t = t987
lola: REM DEA TR: t = t9425
lola: REM DEA TR: t = t988
lola: REM DEA TR: t = t9426
lola: REM DEA TR: t = t989
lola: REM DEA TR: t = t9427
lola: REM DEA TR: t = t990
lola: REM DEA TR: t = t9428
lola: REM DEA TR: t = t991
lola: REM DEA TR: t = t9429
lola: REM DEA TR: t = t992
lola: REM DEA TR: t = t9430
lola: REM DEA TR: t = t993
lola: REM DEA TR: t = t9431
lola: REM DEA TR: t = t994
lola: REM DEA TR: t = t9432
lola: REM DEA TR: t = t995
lola: REM DEA TR: t = t9433
lola: REM DEA TR: t = t996
lola: REM DEA TR: t = t9434
lola: REM DEA TR: t = t997
lola: REM DEA TR: t = t9435
lola: REM DEA TR: t = t998
lola: REM DEA TR: t = t9436
lola: REM DEA TR: t = t999
lola: REM DEA TR: t = t9437
lola: REM DEA TR: t = t1400
lola: REM DEA TR: t = t1401
lola: REM DEA TR: t = t1402
lola: REM DEA TR: t = t10830
lola: REM DEA TR: t = t1403
lola: REM DEA TR: t = t10831
lola: REM DEA TR: t = t1404
lola: REM DEA TR: t = t10832
lola: REM DEA TR: t = t1405
lola: REM DEA TR: t = t10833
lola: REM DEA TR: t = t1406
lola: REM DEA TR: t = t10834
lola: REM DEA TR: t = t1407
lola: REM DEA TR: t = t10835
lola: REM DEA TR: t = t1408
lola: REM DEA TR: t = t10836
lola: REM DEA TR: t = t1409
lola: REM DEA TR: t = t10837
lola: REM DEA TR: t = t1410
lola: REM DEA TR: t = t10838
lola: REM DEA TR: t = t1411
lola: REM DEA TR: t = t10839
lola: REM DEA TR: t = t3280
lola: REM DEA TR: t = t1412
lola: REM DEA TR: t = t10840
lola: REM DEA TR: t = t3281
lola: REM DEA TR: t = t1413
lola: REM DEA TR: t = t10841
lola: REM DEA TR: t = t3282
lola: REM DEA TR: t = t1414
lola: REM DEA TR: t = t10842
lola: REM DEA TR: t = t3283
lola: REM DEA TR: t = t1415
lola: REM DEA TR: t = t10843
lola: REM DEA TR: t = t10177
lola: REM DEA TR: t = t10178
lola: REM DEA TR: t = t10179
lola: REM DEA TR: t = t5510
lola: REM DEA TR: t = t5511
lola: REM DEA TR: t = t5512
lola: REM DEA TR: t = t5513
lola: REM DEA TR: t = t5514
lola: REM DEA TR: t = t5515
lola: REM DEA TR: t = t5516
lola: REM DEA TR: t = t5517
lola: REM DEA TR: t = t5518
lola: REM DEA TR: t = t5519
lola: REM DEA TR: t = t5520
lola: REM DEA TR: t = t5521
lola: REM DEA TR: t = t5522
lola: REM DEA TR: t = t5523
lola: REM DEA TR: t = t5524
lola: REM DEA TR: t = t5525
lola: REM DEA TR: t = t760
lola: REM DEA TR: t = t761
lola: REM DEA TR: t = t8750
lola: REM DEA TR: t = t762
lola: REM DEA TR: t = t8751
lola: REM DEA TR: t = t763
lola: REM DEA TR: t = t8752
lola: REM DEA TR: t = t764
lola: REM DEA TR: t = t8753
lola: REM DEA TR: t = t765
lola: REM DEA TR: t = t8754
lola: REM DEA TR: t = t766
lola: REM DEA TR: t = t8755
lola: REM DEA TR: t = t767
lola: REM DEA TR: t = t8756
lola: REM DEA TR: t = t768
lola: REM DEA TR: t = t8757
lola: REM DEA TR: t = t769
lola: REM DEA TR: t = t8758
lola: REM DEA TR: t = t770
lola: REM DEA TR: t = t8759
lola: REM DEA TR: t = t771
lola: REM DEA TR: t = t8760
lola: REM DEA TR: t = t772
lola: REM DEA TR: t = t8761
lola: REM DEA TR: t = t773
lola: REM DEA TR: t = t8762
lola: REM DEA TR: t = t774
lola: REM DEA TR: t = t8763
lola: REM DEA TR: t = t775
lola: REM DEA TR: t = t8764
lola: REM DEA TR: t = t776
lola: REM DEA TR: t = t8765
lola: REM DEA TR: t = t777
lola: REM DEA TR: t = t8766
lola: REM DEA TR: t = t778
lola: REM DEA TR: t = t8767
lola: REM DEA TR: t = t779
lola: REM DEA TR: t = t9503
lola: REM DEA TR: t = t8768
lola: REM DEA TR: t = t780
lola: REM DEA TR: t = t8769
lola: REM DEA TR: t = t781
lola: REM DEA TR: t = t8770
lola: REM DEA TR: t = t782
lola: REM DEA TR: t = t8771
lola: REM DEA TR: t = t783
lola: REM DEA TR: t = t8772
lola: REM DEA TR: t = t784
lola: REM DEA TR: t = t8773
lola: REM DEA TR: t = t785
lola: REM DEA TR: t = t8774
lola: REM DEA TR: t = t786
lola: REM DEA TR: t = t8775
lola: REM DEA TR: t = t787
lola: REM DEA TR: t = t8776
lola: REM DEA TR: t = t788
lola: REM DEA TR: t = t8777
lola: REM DEA TR: t = t789
lola: REM DEA TR: t = t8778
lola: REM DEA TR: t = t790
lola: REM DEA TR: t = t8779
lola: REM DEA TR: t = t791
lola: REM DEA TR: t = t8780
lola: REM DEA TR: t = t792
lola: REM DEA TR: t = t8781
lola: REM DEA TR: t = t793
lola: REM DEA TR: t = t8782
lola: REM DEA TR: t = t794
lola: REM DEA TR: t = t8783
lola: REM DEA TR: t = t795
lola: REM DEA TR: t = t8784
lola: REM DEA TR: t = t796
lola: REM DEA TR: t = t8785
lola: REM DEA TR: t = t797
lola: REM DEA TR: t = t8786
lola: REM DEA TR: t = t798
lola: REM DEA TR: t = t8787
lola: REM DEA TR: t = t799
lola: REM DEA TR: t = t5198
lola: REM DEA TR: t = t5199
lola: REM DEA TR: t = t5200
lola: REM DEA TR: t = t5201
lola: REM DEA TR: t = t5202
lola: REM DEA TR: t = t5203
lola: REM DEA TR: t = t5204
lola: REM DEA TR: t = t5205
lola: REM DEA TR: t = t5206
lola: REM DEA TR: t = t5207
lola: REM DEA TR: t = t5208
lola: REM DEA TR: t = t5209
lola: REM DEA TR: t = t5210
lola: REM DEA TR: t = t400
lola: REM DEA TR: t = t401
lola: REM DEA TR: t = t7580
lola: REM DEA TR: t = t402
lola: REM DEA TR: t = t7581
lola: REM DEA TR: t = t403
lola: REM DEA TR: t = t7582
lola: REM DEA TR: t = t404
lola: REM DEA TR: t = t7583
lola: REM DEA TR: t = t405
lola: REM DEA TR: t = t7584
lola: REM DEA TR: t = t406
lola: REM DEA TR: t = t7585
lola: REM DEA TR: t = t407
lola: REM DEA TR: t = t7586
lola: REM DEA TR: t = t408
lola: REM DEA TR: t = t7587
lola: REM DEA TR: t = t409
lola: REM DEA TR: t = t7588
lola: REM DEA TR: t = t410
lola: REM DEA TR: t = t7589
lola: REM DEA TR: t = t411
lola: REM DEA TR: t = t7590
lola: REM DEA TR: t = t412
lola: REM DEA TR: t = t7591
lola: REM DEA TR: t = t413
lola: REM DEA TR: t = t7592
lola: REM DEA TR: t = t414
lola: REM DEA TR: t = t7593
lola: REM DEA TR: t = t415
lola: REM DEA TR: t = t6927
lola: REM DEA TR: t = t6928
lola: REM DEA TR: t = t7594
lola: REM DEA TR: t = t416
lola: REM DEA TR: t = t7595
lola: REM DEA TR: t = t417
lola: REM DEA TR: t = t6929
lola: REM DEA TR: t = t7596
lola: REM DEA TR: t = t418
lola: REM DEA TR: t = t7597
lola: REM DEA TR: t = t419
lola: REM DEA TR: t = t7598
lola: REM DEA TR: t = t420
lola: REM DEA TR: t = t7599
lola: REM DEA TR: t = t421
lola: REM DEA TR: t = t7600
lola: REM DEA TR: t = t422
lola: REM DEA TR: t = t7601
lola: REM DEA TR: t = t423
lola: REM DEA TR: t = t7602
lola: REM DEA TR: t = t424
lola: REM DEA TR: t = t7603
lola: REM DEA TR: t = t425
lola: REM DEA TR: t = t7604
lola: REM DEA TR: t = t426
lola: REM DEA TR: t = t7605
lola: REM DEA TR: t = t427
lola: REM DEA TR: t = t7606
lola: REM DEA TR: t = t428
lola: REM DEA TR: t = t7607
lola: REM DEA TR: t = t429
lola: REM DEA TR: t = t7608
lola: REM DEA TR: t = t430
lola: REM DEA TR: t = t7609
lola: REM DEA TR: t = t431
lola: REM DEA TR: t = t7610
lola: REM DEA TR: t = t432
lola: REM DEA TR: t = t7611
lola: REM DEA TR: t = t433
lola: REM DEA TR: t = t7612
lola: REM DEA TR: t = t434
lola: REM DEA TR: t = t7613
lola: REM DEA TR: t = t435
lola: REM DEA TR: t = t7614
lola: REM DEA TR: t = t436
lola: REM DEA TR: t = t7615
lola: REM DEA TR: t = t437
lola: REM DEA TR: t = t7616
lola: REM DEA TR: t = t438
lola: REM DEA TR: t = t7617
lola: REM DEA TR: t = t439
lola: REM DEA TR: t = t2216
lola: REM DEA TR: t = t2217
lola: REM DEA TR: t = t2218
lola: REM DEA TR: t = t2219
lola: REM DEA TR: t = t5020
lola: REM DEA TR: t = t5021
lola: REM DEA TR: t = t5022
lola: REM DEA TR: t = t5023
lola: REM DEA TR: t = t5024
lola: REM DEA TR: t = t5025
lola: REM DEA TR: t = t5026
lola: REM DEA TR: t = t5027
lola: REM DEA TR: t = t5028
lola: REM DEA TR: t = t5029
lola: REM DEA TR: t = t5030
lola: REM DEA TR: t = t5031
lola: REM DEA TR: t = t5032
lola: REM DEA TR: t = t5033
lola: REM DEA TR: t = t5034
lola: REM DEA TR: t = t5035
lola: REM DEA TR: t = t4116
lola: REM DEA TR: t = t4117
lola: REM DEA TR: t = t4118
lola: REM DEA TR: t = t4119
lola: REM DEA TR: t = t5895
lola: REM DEA TR: t = t5896
lola: REM DEA TR: t = t5897
lola: REM DEA TR: t = t5898
lola: REM DEA TR: t = t5899
lola: REM DEA TR: t = t5900
lola: REM DEA TR: t = t5901
lola: REM DEA TR: t = t5902
lola: REM DEA TR: t = t5903
lola: REM DEA TR: t = t5904
lola: REM DEA TR: t = t5905
lola: REM DEA TR: t = t5906
lola: REM DEA TR: t = t5907
lola: REM DEA TR: t = t5908
lola: REM DEA TR: t = t5909
lola: REM DEA TR: t = t5910
lola: REM DEA TR: t = t1200
lola: REM DEA TR: t = t1201
lola: REM DEA TR: t = t1202
lola: REM DEA TR: t = t10180
lola: REM DEA TR: t = t1203
lola: REM DEA TR: t = t10181
lola: REM DEA TR: t = t1204
lola: REM DEA TR: t = t10182
lola: REM DEA TR: t = t1205
lola: REM DEA TR: t = t10183
lola: REM DEA TR: t = t1206
lola: REM DEA TR: t = t10184
lola: REM DEA TR: t = t1207
lola: REM DEA TR: t = t10185
lola: REM DEA TR: t = t1208
lola: REM DEA TR: t = t10186
lola: REM DEA TR: t = t1209
lola: REM DEA TR: t = t10187
lola: REM DEA TR: t = t1210
lola: REM DEA TR: t = t10188
lola: REM DEA TR: t = t1211
lola: REM DEA TR: t = t10189
lola: REM DEA TR: t = t1212
lola: REM DEA TR: t = t10190
lola: REM DEA TR: t = t1213
lola: REM DEA TR: t = t10191
lola: REM DEA TR: t = t1214
lola: REM DEA TR: t = t10192
lola: REM DEA TR: t = t1215
lola: REM DEA TR: t = t10193
lola: REM DEA TR: t = t9527
lola: REM DEA TR: t = t9528
lola: REM DEA TR: t = t1216
lola: REM DEA TR: t = t10194
lola: REM DEA TR: t = t1217
lola: REM DEA TR: t = t10195
lola: REM DEA TR: t = t9529
lola: REM DEA TR: t = t1218
lola: REM DEA TR: t = t10196
lola: REM DEA TR: t = t1219
lola: REM DEA TR: t = t10197
lola: REM DEA TR: t = t1220
lola: REM DEA TR: t = t10198
lola: REM DEA TR: t = t1221
lola: REM DEA TR: t = t10199
lola: REM DEA TR: t = t1222
lola: REM DEA TR: t = t10200
lola: REM DEA TR: t = t1223
lola: REM DEA TR: t = t10201
lola: REM DEA TR: t = t1224
lola: REM DEA TR: t = t10202
lola: REM DEA TR: t = t1225
lola: REM DEA TR: t = t10203
lola: REM DEA TR: t = t1226
lola: REM DEA TR: t = t10204
lola: REM DEA TR: t = t1227
lola: REM DEA TR: t = t10205
lola: REM DEA TR: t = t1228
lola: REM DEA TR: t = t10206
lola: REM DEA TR: t = t1229
lola: REM DEA TR: t = t10207
lola: REM DEA TR: t = t1230
lola: REM DEA TR: t = t10208
lola: REM DEA TR: t = t1231
lola: REM DEA TR: t = t10209
lola: REM DEA TR: t = t1232
lola: REM DEA TR: t = t10210
lola: REM DEA TR: t = t1233
lola: REM DEA TR: t = t10211
lola: REM DEA TR: t = t1234
lola: REM DEA TR: t = t10212
lola: REM DEA TR: t = t1235
lola: REM DEA TR: t = t10213
lola: REM DEA TR: t = t1236
lola: REM DEA TR: t = t10214
lola: REM DEA TR: t = t1237
lola: REM DEA TR: t = t10215
lola: REM DEA TR: t = t1238
lola: REM DEA TR: t = t10216
lola: REM DEA TR: t = t1239
lola: REM DEA TR: t = t10217
lola: REM DEA TR: t = t3736
lola: REM DEA TR: t = t3737
lola: REM DEA TR: t = t3738
lola: REM DEA TR: t = t3739
lola: REM DEA TR: t = t5720
lola: REM DEA TR: t = t5721
lola: REM DEA TR: t = t5722
lola: REM DEA TR: t = t5723
lola: REM DEA TR: t = t5724
lola: REM DEA TR: t = t5725
lola: REM DEA TR: t = t5726
lola: REM DEA TR: t = t5727
lola: REM DEA TR: t = t5728
lola: REM DEA TR: t = t5729
lola: REM DEA TR: t = t5730
lola: REM DEA TR: t = t5731
lola: REM DEA TR: t = t5732
lola: REM DEA TR: t = t8853
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-040"
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-040, 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-162038039000356"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/BART-COL-040.tgz
mv BART-COL-040 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 ;