About the Execution of LoLA for FunctionPointer-PT-c064
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 346.048 | 1995.00 | 2314.00 | 20.00 | T | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r180-tall-167838868000471.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
............................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool lola
Input is FunctionPointer-PT-c064, examination is ReachabilityDeadlock
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r180-tall-167838868000471
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.6M
-rw-r--r-- 1 mcc users 5.2K Feb 25 11:59 CTLCardinality.txt
-rw-r--r-- 1 mcc users 47K Feb 25 11:59 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 25 11:55 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 25 11:55 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:09 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:09 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:09 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:09 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 25 12:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 161K Feb 25 12:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 10K Feb 25 12:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 88K Feb 25 12:02 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:09 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:09 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 4.2M Mar 5 18:22 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 1679420544902
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=lola
BK_EXAMINATION=ReachabilityDeadlock
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=FunctionPointer-PT-c064
Not applying reductions.
Model is PT
ReachabilityDeadlock PT
starting LoLA
BK_INPUT FunctionPointer-PT-c064
BK_EXAMINATION: ReachabilityDeadlock
bin directory: /home/mcc/BenchKit/bin//../lola/bin/
current directory: /home/mcc/execution
GlobalProperty: ReachabilityDeadlock
FORMULA ReachabilityDeadlock TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1679420546897
--------------------
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 place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: REM DEA TR: t = t2
lola: REM DEA TR: t = t3
lola: REM DEA TR: t = t3970
lola: REM DEA TR: t = t3971
lola: REM DEA TR: t = t4
lola: REM DEA TR: t = t5
lola: REM DEA TR: t = t3972
lola: REM DEA TR: t = t3973
lola: REM DEA TR: t = t6
lola: REM DEA TR: t = t7
lola: REM DEA TR: t = t3974
lola: REM DEA TR: t = t3975
lola: REM DEA TR: t = t8
lola: REM DEA TR: t = t9
lola: REM DEA TR: t = t3976
lola: REM DEA TR: t = t3977
lola: REM DEA TR: t = t10
lola: REM DEA TR: t = t11
lola: REM DEA TR: t = t3978
lola: REM DEA TR: t = t3979
lola: REM DEA TR: t = t12
lola: REM DEA TR: t = t13
lola: REM DEA TR: t = t3980
lola: REM DEA TR: t = t3981
lola: REM DEA TR: t = t14
lola: REM DEA TR: t = t15
lola: REM DEA TR: t = t3982
lola: REM DEA TR: t = t3983
lola: REM DEA TR: t = t16
lola: REM DEA TR: t = t17
lola: REM DEA TR: t = t3984
lola: REM DEA TR: t = t3985
lola: REM DEA TR: t = t18
lola: REM DEA TR: t = t19
lola: REM DEA TR: t = t3986
lola: REM DEA TR: t = t3987
lola: REM DEA TR: t = t3904
lola: REM DEA TR: t = t7872
lola: REM DEA TR: t = t3905
lola: REM DEA TR: t = t7873
lola: REM DEA TR: t = t3907
lola: REM DEA TR: t = t7875
lola: REM DEA TR: t = t3908
lola: REM DEA TR: t = t7876
lola: REM DEA TR: t = t3909
lola: REM DEA TR: t = t7877
lola: REM DEA TR: t = t3910
lola: REM DEA TR: t = t7878
lola: REM DEA TR: t = t3911
lola: REM DEA TR: t = t7879
lola: REM DEA TR: t = t3912
lola: REM DEA TR: t = t7880
lola: REM DEA TR: t = t3913
lola: REM DEA TR: t = t7881
lola: REM DEA TR: t = t3914
lola: REM DEA TR: t = t7882
lola: REM DEA TR: t = t3915
lola: REM DEA TR: t = t7883
lola: REM DEA TR: t = t3917
lola: REM DEA TR: t = t7885
lola: REM DEA TR: t = t3918
lola: REM DEA TR: t = t7886
lola: REM DEA TR: t = t3919
lola: REM DEA TR: t = t7887
lola: REM DEA TR: t = t3920
lola: REM DEA TR: t = t7888
lola: REM DEA TR: t = t3921
lola: REM DEA TR: t = t7889
lola: REM DEA TR: t = t3922
lola: REM DEA TR: t = t7890
lola: REM DEA TR: t = t3923
lola: REM DEA TR: t = t7891
lola: REM DEA TR: t = t3924
lola: REM DEA TR: t = t7892
lola: REM DEA TR: t = t3925
lola: REM DEA TR: t = t7893
lola: REM DEA TR: t = t3927
lola: REM DEA TR: t = t7895
lola: REM DEA TR: t = t3928
lola: REM DEA TR: t = t7896
lola: REM DEA TR: t = t3929
lola: REM DEA TR: t = t7897
lola: REM DEA TR: t = t3930
lola: REM DEA TR: t = t7898
lola: REM DEA TR: t = t3931
lola: REM DEA TR: t = t7899
lola: REM DEA TR: t = t3932
lola: REM DEA TR: t = t7900
lola: REM DEA TR: t = t3933
lola: REM DEA TR: t = t7901
lola: REM DEA TR: t = t3934
lola: REM DEA TR: t = t7902
lola: REM DEA TR: t = t3935
lola: REM DEA TR: t = t7903
lola: REM DEA TR: t = t3937
lola: REM DEA TR: t = t7905
lola: REM DEA TR: t = t3938
lola: REM DEA TR: t = t7906
lola: REM DEA TR: t = t3939
lola: REM DEA TR: t = t7907
lola: REM DEA TR: t = t3940
lola: REM DEA TR: t = t7908
lola: REM DEA TR: t = t3941
lola: REM DEA TR: t = t7909
lola: REM DEA TR: t = t3942
lola: REM DEA TR: t = t7910
lola: REM DEA TR: t = t3943
lola: REM DEA TR: t = t7911
lola: REM DEA TR: t = t3944
lola: REM DEA TR: t = t7912
lola: REM DEA TR: t = t3945
lola: REM DEA TR: t = t7913
lola: REM DEA TR: t = t3947
lola: REM DEA TR: t = t7915
lola: REM DEA TR: t = t3948
lola: REM DEA TR: t = t7916
lola: REM DEA TR: t = t3949
lola: REM DEA TR: t = t7917
lola: REM DEA TR: t = t3950
lola: REM DEA TR: t = t7918
lola: REM DEA TR: t = t3951
lola: REM DEA TR: t = t7919
lola: REM DEA TR: t = t3952
lola: REM DEA TR: t = t7920
lola: REM DEA TR: t = t3953
lola: REM DEA TR: t = t7921
lola: REM DEA TR: t = t3954
lola: REM DEA TR: t = t7922
lola: REM DEA TR: t = t3955
lola: REM DEA TR: t = t7923
lola: REM DEA TR: t = t3957
lola: REM DEA TR: t = t7925
lola: REM DEA TR: t = t3958
lola: REM DEA TR: t = t7926
lola: REM DEA TR: t = t3959
lola: REM DEA TR: t = t7927
lola: REM DEA TR: t = t3960
lola: REM DEA TR: t = t7928
lola: REM DEA TR: t = t3961
lola: REM DEA TR: t = t7929
lola: REM DEA TR: t = t3962
lola: REM DEA TR: t = t7930
lola: REM DEA TR: t = t3963
lola: REM DEA TR: t = t7931
lola: REM DEA TR: t = t3964
lola: REM DEA TR: t = t7932
lola: REM DEA TR: t = t3965
lola: REM DEA TR: t = t7933
lola: REM DEA TR: t = t3967
lola: REM DEA TR: t = t7935
lola: REM DEA TR: t = t7496
lola: REM DEA TR: t = t7497
lola: REM DEA TR: t = t3528
lola: REM DEA TR: t = t3529
lola: REM DEA TR: t = t7516
lola: REM DEA TR: t = t7517
lola: REM DEA TR: t = t3548
lola: REM DEA TR: t = t3549
lola: REM DEA TR: t = t7536
lola: REM DEA TR: t = t7537
lola: REM DEA TR: t = t3568
lola: REM DEA TR: t = t3569
lola: REM DEA TR: t = t7556
lola: REM DEA TR: t = t7557
lola: REM DEA TR: t = t3588
lola: REM DEA TR: t = t3589
lola: REM DEA TR: t = t7576
lola: REM DEA TR: t = t7577
lola: REM DEA TR: t = t3608
lola: REM DEA TR: t = t3609
lola: REM DEA TR: t = t7596
lola: REM DEA TR: t = t7597
lola: REM DEA TR: t = t3628
lola: REM DEA TR: t = t3629
lola: REM DEA TR: t = t2528
lola: REM DEA TR: t = t2529
lola: REM DEA TR: t = t6496
lola: REM DEA TR: t = t6497
lola: REM DEA TR: t = t2530
lola: REM DEA TR: t = t2531
lola: REM DEA TR: t = t6498
lola: REM DEA TR: t = t6499
lola: REM DEA TR: t = t2534
lola: REM DEA TR: t = t2535
lola: REM DEA TR: t = t6502
lola: REM DEA TR: t = t6503
lola: REM DEA TR: t = t2536
lola: REM DEA TR: t = t2537
lola: REM DEA TR: t = t6504
lola: REM DEA TR: t = t6505
lola: REM DEA TR: t = t2538
lola: REM DEA TR: t = t2539
lola: REM DEA TR: t = t6506
lola: REM DEA TR: t = t6507
lola: REM DEA TR: t = t2540
lola: REM DEA TR: t = t2541
lola: REM DEA TR: t = t6508
lola: REM DEA TR: t = t6509
lola: REM DEA TR: t = t2542
lola: REM DEA TR: t = t2543
lola: REM DEA TR: t = t6510
lola: REM DEA TR: t = t6511
lola: REM DEA TR: t = t2544
lola: REM DEA TR: t = t2545
lola: REM DEA TR: t = t6512
lola: REM DEA TR: t = t6513
lola: REM DEA TR: t = t2546
lola: REM DEA TR: t = t2547
lola: REM DEA TR: t = t6514
lola: REM DEA TR: t = t6515
lola: REM DEA TR: t = t2548
lola: REM DEA TR: t = t2549
lola: REM DEA TR: t = t6516
lola: REM DEA TR: t = t6517
lola: REM DEA TR: t = t2550
lola: REM DEA TR: t = t2551
lola: REM DEA TR: t = t6518
lola: REM DEA TR: t = t6519
lola: REM DEA TR: t = t2554
lola: REM DEA TR: t = t2555
lola: REM DEA TR: t = t6522
lola: REM DEA TR: t = t6523
lola: REM DEA TR: t = t2556
lola: REM DEA TR: t = t2557
lola: REM DEA TR: t = t6524
lola: REM DEA TR: t = t6525
lola: REM DEA TR: t = t2558
lola: REM DEA TR: t = t2559
lola: REM DEA TR: t = t6526
lola: REM DEA TR: t = t6527
lola: REM DEA TR: t = t2560
lola: REM DEA TR: t = t2561
lola: REM DEA TR: t = t6528
lola: REM DEA TR: t = t6529
lola: REM DEA TR: t = t2562
lola: REM DEA TR: t = t2563
lola: REM DEA TR: t = t6530
lola: REM DEA TR: t = t6531
lola: REM DEA TR: t = t2564
lola: REM DEA TR: t = t2565
lola: REM DEA TR: t = t6532
lola: REM DEA TR: t = t6533
lola: REM DEA TR: t = t2566
lola: REM DEA TR: t = t2567
lola: REM DEA TR: t = t6534
lola: REM DEA TR: t = t6535
lola: REM DEA TR: t = t2568
lola: REM DEA TR: t = t2569
lola: REM DEA TR: t = t6536
lola: REM DEA TR: t = t6537
lola: REM DEA TR: t = t2570
lola: REM DEA TR: t = t2571
lola: REM DEA TR: t = t6538
lola: REM DEA TR: t = t6539
lola: REM DEA TR: t = t2574
lola: REM DEA TR: t = t2575
lola: REM DEA TR: t = t6542
lola: REM DEA TR: t = t6543
lola: REM DEA TR: t = t2594
lola: REM DEA TR: t = t2595
lola: REM DEA TR: t = t6562
lola: REM DEA TR: t = t6563
lola: REM DEA TR: t = t2596
lola: REM DEA TR: t = t2597
lola: REM DEA TR: t = t6564
lola: REM DEA TR: t = t6565
lola: REM DEA TR: t = t2598
lola: REM DEA TR: t = t2599
lola: REM DEA TR: t = t6566
lola: REM DEA TR: t = t6567
lola: REM DEA TR: t = t2600
lola: REM DEA TR: t = t2601
lola: REM DEA TR: t = t6568
lola: REM DEA TR: t = t6569
lola: REM DEA TR: t = t2602
lola: REM DEA TR: t = t2603
lola: REM DEA TR: t = t6570
lola: REM DEA TR: t = t6571
lola: REM DEA TR: t = t2604
lola: REM DEA TR: t = t2605
lola: REM DEA TR: t = t6572
lola: REM DEA TR: t = t6573
lola: REM DEA TR: t = t2606
lola: REM DEA TR: t = t2607
lola: REM DEA TR: t = t6574
lola: REM DEA TR: t = t6575
lola: REM DEA TR: t = t2608
lola: REM DEA TR: t = t2609
lola: REM DEA TR: t = t6576
lola: REM DEA TR: t = t6577
lola: REM DEA TR: t = t2610
lola: REM DEA TR: t = t2611
lola: REM DEA TR: t = t6578
lola: REM DEA TR: t = t6579
lola: REM DEA TR: t = t2614
lola: REM DEA TR: t = t2615
lola: REM DEA TR: t = t6582
lola: REM DEA TR: t = t6583
lola: REM DEA TR: t = t2616
lola: REM DEA TR: t = t2617
lola: REM DEA TR: t = t6584
lola: REM DEA TR: t = t6585
lola: REM DEA TR: t = t2618
lola: REM DEA TR: t = t2619
lola: REM DEA TR: t = t6586
lola: REM DEA TR: t = t6587
lola: REM DEA TR: t = t2620
lola: REM DEA TR: t = t2621
lola: REM DEA TR: t = t6588
lola: REM DEA TR: t = t6589
lola: REM DEA TR: t = t2622
lola: REM DEA TR: t = t2623
lola: REM DEA TR: t = t6590
lola: REM DEA TR: t = t6591
lola: REM DEA TR: t = t2624
lola: REM DEA TR: t = t2625
lola: REM DEA TR: t = t6592
lola: REM DEA TR: t = t6593
lola: REM DEA TR: t = t2626
lola: REM DEA TR: t = t2627
lola: REM DEA TR: t = t6594
lola: REM DEA TR: t = t6595
lola: REM DEA TR: t = t2628
lola: REM DEA TR: t = t2629
lola: REM DEA TR: t = t6596
lola: REM DEA TR: t = t6597
lola: REM DEA TR: t = t2630
lola: REM DEA TR: t = t2631
lola: REM DEA TR: t = t6598
lola: REM DEA TR: t = t6599
lola: REM DEA TR: t = t2634
lola: REM DEA TR: t = t2635
lola: REM DEA TR: t = t6602
lola: REM DEA TR: t = t6603
lola: REM DEA TR: t = t2636
lola: REM DEA TR: t = t2637
lola: REM DEA TR: t = t6604
lola: REM DEA TR: t = t6605
lola: REM DEA TR: t = t2638
lola: REM DEA TR: t = t2639
lola: REM DEA TR: t = t6606
lola: REM DEA TR: t = t6607
lola: REM DEA TR: t = t2657
lola: REM DEA TR: t = t6625
lola: REM DEA TR: t = t2659
lola: REM DEA TR: t = t6627
lola: REM DEA TR: t = t2660
lola: REM DEA TR: t = t6628
lola: REM DEA TR: t = t2661
lola: REM DEA TR: t = t6629
lola: REM DEA TR: t = t2662
lola: REM DEA TR: t = t6630
lola: REM DEA TR: t = t2663
lola: REM DEA TR: t = t6631
lola: REM DEA TR: t = t1152
lola: REM DEA TR: t = t5120
lola: REM DEA TR: t = t1153
lola: REM DEA TR: t = t5121
lola: REM DEA TR: t = t1154
lola: REM DEA TR: t = t5122
lola: REM DEA TR: t = t1155
lola: REM DEA TR: t = t5123
lola: REM DEA TR: t = t1156
lola: REM DEA TR: t = t5124
lola: REM DEA TR: t = t1157
lola: REM DEA TR: t = t5125
lola: REM DEA TR: t = t1158
lola: REM DEA TR: t = t5126
lola: REM DEA TR: t = t1159
lola: REM DEA TR: t = t5127
lola: REM DEA TR: t = t1160
lola: REM DEA TR: t = t5128
lola: REM DEA TR: t = t1161
lola: REM DEA TR: t = t5129
lola: REM DEA TR: t = t1162
lola: REM DEA TR: t = t5130
lola: REM DEA TR: t = t1163
lola: REM DEA TR: t = t5131
lola: REM DEA TR: t = t1164
lola: REM DEA TR: t = t5132
lola: REM DEA TR: t = t1165
lola: REM DEA TR: t = t5133
lola: REM DEA TR: t = t1166
lola: REM DEA TR: t = t5134
lola: REM DEA TR: t = t1167
lola: REM DEA TR: t = t5135
lola: REM DEA TR: t = t1168
lola: REM DEA TR: t = t5136
lola: REM DEA TR: t = t1169
lola: REM DEA TR: t = t5137
lola: REM DEA TR: t = t1170
lola: REM DEA TR: t = t5138
lola: REM DEA TR: t = t1171
lola: REM DEA TR: t = t5139
lola: REM DEA TR: t = t1172
lola: REM DEA TR: t = t5140
lola: REM DEA TR: t = t1173
lola: REM DEA TR: t = t5141
lola: REM DEA TR: t = t1174
lola: REM DEA TR: t = t5142
lola: REM DEA TR: t = t1175
lola: REM DEA TR: t = t5143
lola: REM DEA TR: t = t1176
lola: REM DEA TR: t = t5144
lola: REM DEA TR: t = t1177
lola: REM DEA TR: t = t5145
lola: REM DEA TR: t = t1178
lola: REM DEA TR: t = t5146
lola: REM DEA TR: t = t1179
lola: REM DEA TR: t = t5147
lola: REM DEA TR: t = t1180
lola: REM DEA TR: t = t5148
lola: REM DEA TR: t = t1181
lola: REM DEA TR: t = t5149
lola: REM DEA TR: t = t1182
lola: REM DEA TR: t = t5150
lola: REM DEA TR: t = t1183
lola: REM DEA TR: t = t5151
lola: REM DEA TR: t = t2665
lola: REM DEA TR: t = t6633
lola: REM DEA TR: t = t2667
lola: REM DEA TR: t = t6635
lola: REM DEA TR: t = t3738
lola: REM DEA TR: t = t7706
lola: REM DEA TR: t = t2669
lola: REM DEA TR: t = t6637
lola: REM DEA TR: t = t2670
lola: REM DEA TR: t = t6638
lola: REM DEA TR: t = t2671
lola: REM DEA TR: t = t6639
lola: REM DEA TR: t = t2672
lola: REM DEA TR: t = t6640
lola: REM DEA TR: t = t2673
lola: REM DEA TR: t = t6641
lola: REM DEA TR: t = t2675
lola: REM DEA TR: t = t6643
lola: REM DEA TR: t = t2677
lola: REM DEA TR: t = t6645
lola: REM DEA TR: t = t3748
lola: REM DEA TR: t = t7716
lola: REM DEA TR: t = t2679
lola: REM DEA TR: t = t6647
lola: REM DEA TR: t = t2689
lola: REM DEA TR: t = t6657
lola: REM DEA TR: t = t2691
lola: REM DEA TR: t = t6659
lola: REM DEA TR: t = t2692
lola: REM DEA TR: t = t6660
lola: REM DEA TR: t = t2693
lola: REM DEA TR: t = t6661
lola: REM DEA TR: t = t2695
lola: REM DEA TR: t = t6663
lola: REM DEA TR: t = t2696
lola: REM DEA TR: t = t6664
lola: REM DEA TR: t = t2697
lola: REM DEA TR: t = t6665
lola: REM DEA TR: t = t2699
lola: REM DEA TR: t = t6667
lola: REM DEA TR: t = t2701
lola: REM DEA TR: t = t6669
lola: REM DEA TR: t = t2702
lola: REM DEA TR: t = t6670
lola: REM DEA TR: t = t2703
lola: REM DEA TR: t = t6671
lola: REM DEA TR: t = t2705
lola: REM DEA TR: t = t6673
lola: REM DEA TR: t = t2706
lola: REM DEA TR: t = t6674
lola: REM DEA TR: t = t2707
lola: REM DEA TR: t = t6675
lola: REM DEA TR: t = t2709
lola: REM DEA TR: t = t6677
lola: REM DEA TR: t = t2711
lola: REM DEA TR: t = t6679
lola: REM DEA TR: t = t2721
lola: REM DEA TR: t = t6689
lola: REM DEA TR: t = t2723
lola: REM DEA TR: t = t6691
lola: REM DEA TR: t = t2725
lola: REM DEA TR: t = t6693
lola: REM DEA TR: t = t2727
lola: REM DEA TR: t = t6695
lola: REM DEA TR: t = t2729
lola: REM DEA TR: t = t6697
lola: REM DEA TR: t = t2731
lola: REM DEA TR: t = t6699
lola: REM DEA TR: t = t2733
lola: REM DEA TR: t = t6701
lola: REM DEA TR: t = t2735
lola: REM DEA TR: t = t6703
lola: REM DEA TR: t = t2736
lola: REM DEA TR: t = t6704
lola: REM DEA TR: t = t2737
lola: REM DEA TR: t = t6705
lola: REM DEA TR: t = t2738
lola: REM DEA TR: t = t6706
lola: REM DEA TR: t = t2739
lola: REM DEA TR: t = t6707
lola: REM DEA TR: t = t2740
lola: REM DEA TR: t = t6708
lola: REM DEA TR: t = t2741
lola: REM DEA TR: t = t6709
lola: REM DEA TR: t = t2742
lola: REM DEA TR: t = t6710
lola: REM DEA TR: t = t2743
lola: REM DEA TR: t = t6711
lola: REM DEA TR: t = t2745
lola: REM DEA TR: t = t6713
lola: REM DEA TR: t = t2746
lola: REM DEA TR: t = t6714
lola: REM DEA TR: t = t2747
lola: REM DEA TR: t = t6715
lola: REM DEA TR: t = t2748
lola: REM DEA TR: t = t6716
lola: REM DEA TR: t = t2749
lola: REM DEA TR: t = t6717
lola: REM DEA TR: t = t2750
lola: REM DEA TR: t = t6718
lola: REM DEA TR: t = t2751
lola: REM DEA TR: t = t6719
lola: REM DEA TR: t = t2752
lola: REM DEA TR: t = t6720
lola: REM DEA TR: t = t2753
lola: REM DEA TR: t = t6721
lola: REM DEA TR: t = t2755
lola: REM DEA TR: t = t6723
lola: REM DEA TR: t = t2756
lola: REM DEA TR: t = t6724
lola: REM DEA TR: t = t2757
lola: REM DEA TR: t = t6725
lola: REM DEA TR: t = t2758
lola: REM DEA TR: t = t6726
lola: REM DEA TR: t = t2759
lola: REM DEA TR: t = t6727
lola: REM DEA TR: t = t2760
lola: REM DEA TR: t = t6728
lola: REM DEA TR: t = t2761
lola: REM DEA TR: t = t6729
lola: REM DEA TR: t = t2762
lola: REM DEA TR: t = t6730
lola: REM DEA TR: t = t2763
lola: REM DEA TR: t = t6731
lola: REM DEA TR: t = t1184
lola: REM DEA TR: t = t5152
lola: REM DEA TR: t = t1185
lola: REM DEA TR: t = t5153
lola: REM DEA TR: t = t1186
lola: REM DEA TR: t = t5154
lola: REM DEA TR: t = t1187
lola: REM DEA TR: t = t5155
lola: REM DEA TR: t = t1188
lola: REM DEA TR: t = t5156
lola: REM DEA TR: t = t1189
lola: REM DEA TR: t = t5157
lola: REM DEA TR: t = t1190
lola: REM DEA TR: t = t5158
lola: REM DEA TR: t = t1191
lola: REM DEA TR: t = t5159
lola: REM DEA TR: t = t1192
lola: REM DEA TR: t = t5160
lola: REM DEA TR: t = t1193
lola: REM DEA TR: t = t5161
lola: REM DEA TR: t = t1194
lola: REM DEA TR: t = t5162
lola: REM DEA TR: t = t1195
lola: REM DEA TR: t = t5163
lola: REM DEA TR: t = t1196
lola: REM DEA TR: t = t5164
lola: REM DEA TR: t = t1197
lola: REM DEA TR: t = t5165
lola: REM DEA TR: t = t1198
lola: REM DEA TR: t = t5166
lola: REM DEA TR: t = t1199
lola: REM DEA TR: t = t5167
lola: REM DEA TR: t = t1200
lola: REM DEA TR: t = t5168
lola: REM DEA TR: t = t1201
lola: REM DEA TR: t = t5169
lola: REM DEA TR: t = t1202
lola: REM DEA TR: t = t5170
lola: REM DEA TR: t = t1203
lola: REM DEA TR: t = t5171
lola: REM DEA TR: t = t1204
lola: REM DEA TR: t = t5172
lola: REM DEA TR: t = t1205
lola: REM DEA TR: t = t5173
lola: REM DEA TR: t = t1206
lola: REM DEA TR: t = t5174
lola: REM DEA TR: t = t1207
lola: REM DEA TR: t = t5175
lola: REM DEA TR: t = t1208
lola: REM DEA TR: t = t5176
lola: REM DEA TR: t = t1209
lola: REM DEA TR: t = t5177
lola: REM DEA TR: t = t1210
lola: REM DEA TR: t = t5178
lola: REM DEA TR: t = t1211
lola: REM DEA TR: t = t5179
lola: REM DEA TR: t = t1212
lola: REM DEA TR: t = t5180
lola: REM DEA TR: t = t1213
lola: REM DEA TR: t = t5181
lola: REM DEA TR: t = t1214
lola: REM DEA TR: t = t5182
lola: REM DEA TR: t = t1215
lola: REM DEA TR: t = t5183
lola: REM DEA TR: t = t2765
lola: REM DEA TR: t = t6733
lola: REM DEA TR: t = t2766
lola: REM DEA TR: t = t6734
lola: REM DEA TR: t = t2767
lola: REM DEA TR: t = t6735
lola: REM DEA TR: t = t2769
lola: REM DEA TR: t = t6737
lola: REM DEA TR: t = t2771
lola: REM DEA TR: t = t6739
lola: REM DEA TR: t = t2773
lola: REM DEA TR: t = t6741
lola: REM DEA TR: t = t2775
lola: REM DEA TR: t = t6743
lola: REM DEA TR: t = t2785
lola: REM DEA TR: t = t6753
lola: REM DEA TR: t = t2787
lola: REM DEA TR: t = t6755
lola: REM DEA TR: t = t2789
lola: REM DEA TR: t = t6757
lola: REM DEA TR: t = t2791
lola: REM DEA TR: t = t6759
lola: REM DEA TR: t = t2793
lola: REM DEA TR: t = t6761
lola: REM DEA TR: t = t2795
lola: REM DEA TR: t = t6763
lola: REM DEA TR: t = t2797
lola: REM DEA TR: t = t6765
lola: REM DEA TR: t = t2799
lola: REM DEA TR: t = t6767
lola: REM DEA TR: t = t2800
lola: REM DEA TR: t = t6768
lola: REM DEA TR: t = t2801
lola: REM DEA TR: t = t6769
lola: REM DEA TR: t = t2802
lola: REM DEA TR: t = t6770
lola: REM DEA TR: t = t2803
lola: REM DEA TR: t = t6771
lola: REM DEA TR: t = t2805
lola: REM DEA TR: t = t6773
lola: REM DEA TR: t = t2806
lola: REM DEA TR: t = t6774
lola: REM DEA TR: t = t2807
lola: REM DEA TR: t = t6775
lola: REM DEA TR: t = t2809
lola: REM DEA TR: t = t6777
lola: REM DEA TR: t = t2810
lola: REM DEA TR: t = t6778
lola: REM DEA TR: t = t2811
lola: REM DEA TR: t = t6779
lola: REM DEA TR: t = t2812
lola: REM DEA TR: t = t6780
lola: REM DEA TR: t = t2813
lola: REM DEA TR: t = t6781
lola: REM DEA TR: t = t2815
lola: REM DEA TR: t = t6783
lola: REM DEA TR: t = t2816
lola: REM DEA TR: t = t6784
lola: REM DEA TR: t = t2817
lola: REM DEA TR: t = t6785
lola: REM DEA TR: t = t2819
lola: REM DEA TR: t = t6787
lola: REM DEA TR: t = t2820
lola: REM DEA TR: t = t6788
lola: REM DEA TR: t = t2821
lola: REM DEA TR: t = t6789
lola: REM DEA TR: t = t2822
lola: REM DEA TR: t = t6790
lola: REM DEA TR: t = t2823
lola: REM DEA TR: t = t6791
lola: REM DEA TR: t = t2825
lola: REM DEA TR: t = t6793
lola: REM DEA TR: t = t2826
lola: REM DEA TR: t = t6794
lola: REM DEA TR: t = t2827
lola: REM DEA TR: t = t6795
lola: REM DEA TR: t = t2828
lola: REM DEA TR: t = t6796
lola: REM DEA TR: t = t2829
lola: REM DEA TR: t = t6797
lola: REM DEA TR: t = t2830
lola: REM DEA TR: t = t6798
lola: REM DEA TR: t = t2831
lola: REM DEA TR: t = t6799
lola: REM DEA TR: t = t2833
lola: REM DEA TR: t = t6801
lola: REM DEA TR: t = t2835
lola: REM DEA TR: t = t6803
lola: REM DEA TR: t = t2837
lola: REM DEA TR: t = t6805
lola: REM DEA TR: t = t2839
lola: REM DEA TR: t = t6807
lola: REM DEA TR: t = t20
lola: REM DEA TR: t = t21
lola: REM DEA TR: t = t3988
lola: REM DEA TR: t = t3989
lola: REM DEA TR: t = t22
lola: REM DEA TR: t = t23
lola: REM DEA TR: t = t3990
lola: REM DEA TR: t = t3991
lola: REM DEA TR: t = t24
lola: REM DEA TR: t = t25
lola: REM DEA TR: t = t3992
lola: REM DEA TR: t = t3993
lola: REM DEA TR: t = t26
lola: REM DEA TR: t = t27
lola: REM DEA TR: t = t3994
lola: REM DEA TR: t = t3995
lola: REM DEA TR: t = t28
lola: REM DEA TR: t = t29
lola: REM DEA TR: t = t3996
lola: REM DEA TR: t = t3997
lola: REM DEA TR: t = t30
lola: REM DEA TR: t = t31
lola: REM DEA TR: t = t3998
lola: REM DEA TR: t = t3999
lola: REM DEA TR: t = t32
lola: REM DEA TR: t = t33
lola: REM DEA TR: t = t4000
lola: REM DEA TR: t = t4001
lola: REM DEA TR: t = t34
lola: REM DEA TR: t = t35
lola: REM DEA TR: t = t4002
lola: REM DEA TR: t = t4003
lola: REM DEA TR: t = t36
lola: REM DEA TR: t = t37
lola: REM DEA TR: t = t4004
lola: REM DEA TR: t = t4005
lola: REM DEA TR: t = t38
lola: REM DEA TR: t = t39
lola: REM DEA TR: t = t4006
lola: REM DEA TR: t = t4007
lola: REM DEA TR: t = t40
lola: REM DEA TR: t = t41
lola: REM DEA TR: t = t4008
lola: REM DEA TR: t = t4009
lola: REM DEA TR: t = t42
lola: REM DEA TR: t = t43
lola: REM DEA TR: t = t4010
lola: REM DEA TR: t = t4011
lola: REM DEA TR: t = t44
lola: REM DEA TR: t = t45
lola: REM DEA TR: t = t4012
lola: REM DEA TR: t = t4013
lola: REM DEA TR: t = t46
lola: REM DEA TR: t = t47
lola: REM DEA TR: t = t4014
lola: REM DEA TR: t = t4015
lola: REM DEA TR: t = t48
lola: REM DEA TR: t = t49
lola: REM DEA TR: t = t4016
lola: REM DEA TR: t = t4017
lola: REM DEA TR: t = t50
lola: REM DEA TR: t = t51
lola: REM DEA TR: t = t4018
lola: REM DEA TR: t = t4019
lola: REM DEA TR: t = t52
lola: REM DEA TR: t = t53
lola: REM DEA TR: t = t4020
lola: REM DEA TR: t = t4021
lola: REM DEA TR: t = t54
lola: REM DEA TR: t = t55
lola: REM DEA TR: t = t4022
lola: REM DEA TR: t = t4023
lola: REM DEA TR: t = t56
lola: REM DEA TR: t = t57
lola: REM DEA TR: t = t4024
lola: REM DEA TR: t = t4025
lola: REM DEA TR: t = t58
lola: REM DEA TR: t = t59
lola: REM DEA TR: t = t4026
lola: REM DEA TR: t = t4027
lola: REM DEA TR: t = t60
lola: REM DEA TR: t = t61
lola: REM DEA TR: t = t4028
lola: REM DEA TR: t = t4029
lola: REM DEA TR: t = t62
lola: REM DEA TR: t = t63
lola: REM DEA TR: t = t4030
lola: REM DEA TR: t = t4031
lola: REM DEA TR: t = t64
lola: REM DEA TR: t = t65
lola: REM DEA TR: t = t4032
lola: REM DEA TR: t = t4033
lola: REM DEA TR: t = t66
lola: REM DEA TR: t = t67
lola: REM DEA TR: t = t4034
lola: REM DEA TR: t = t4035
lola: REM DEA TR: t = t68
lola: REM DEA TR: t = t69
lola: REM DEA TR: t = t4036
lola: REM DEA TR: t = t4037
lola: REM DEA TR: t = t70
lola: REM DEA TR: t = t71
lola: REM DEA TR: t = t4038
lola: REM DEA TR: t = t4039
lola: REM DEA TR: t = t72
lola: REM DEA TR: t = t73
lola: REM DEA TR: t = t4040
lola: REM DEA TR: t = t4041
lola: REM DEA TR: t = t74
lola: REM DEA TR: t = t75
lola: REM DEA TR: t = t4042
lola: REM DEA TR: t = t4043
lola: REM DEA TR: t = t76
lola: REM DEA TR: t = t77
lola: REM DEA TR: t = t4044
lola: REM DEA TR: t = t4045
lola: REM DEA TR: t = t78
lola: REM DEA TR: t = t79
lola: REM DEA TR: t = t4046
lola: REM DEA TR: t = t4047
lola: REM DEA TR: t = t80
lola: REM DEA TR: t = t81
lola: REM DEA TR: t = t4048
lola: REM DEA TR: t = t4049
lola: REM DEA TR: t = t82
lola: REM DEA TR: t = t83
lola: REM DEA TR: t = t4050
lola: REM DEA TR: t = t4051
lola: REM DEA TR: t = t84
lola: REM DEA TR: t = t85
lola: REM DEA TR: t = t4052
lola: REM DEA TR: t = t4053
lola: REM DEA TR: t = t86
lola: REM DEA TR: t = t87
lola: REM DEA TR: t = t4054
lola: REM DEA TR: t = t4055
lola: REM DEA TR: t = t88
lola: REM DEA TR: t = t89
lola: REM DEA TR: t = t4056
lola: REM DEA TR: t = t4057
lola: REM DEA TR: t = t90
lola: REM DEA TR: t = t91
lola: REM DEA TR: t = t4058
lola: REM DEA TR: t = t4059
lola: REM DEA TR: t = t92
lola: REM DEA TR: t = t93
lola: REM DEA TR: t = t4060
lola: REM DEA TR: t = t4061
lola: REM DEA TR: t = t94
lola: REM DEA TR: t = t95
lola: REM DEA TR: t = t4062
lola: REM DEA TR: t = t4063
lola: REM DEA TR: t = t96
lola: REM DEA TR: t = t97
lola: REM DEA TR: t = t4064
lola: REM DEA TR: t = t4065
lola: REM DEA TR: t = t98
lola: REM DEA TR: t = t99
lola: REM DEA TR: t = t4066
lola: REM DEA TR: t = t4067
lola: REM DEA TR: t = t4068
lola: REM DEA TR: t = t4069
lola: REM DEA TR: t = t100
lola: REM DEA TR: t = t101
lola: REM DEA TR: t = t4070
lola: REM DEA TR: t = t4071
lola: REM DEA TR: t = t102
lola: REM DEA TR: t = t103
lola: REM DEA TR: t = t4072
lola: REM DEA TR: t = t4073
lola: REM DEA TR: t = t104
lola: REM DEA TR: t = t105
lola: REM DEA TR: t = t4074
lola: REM DEA TR: t = t4075
lola: REM DEA TR: t = t106
lola: REM DEA TR: t = t107
lola: REM DEA TR: t = t4076
lola: REM DEA TR: t = t4077
lola: REM DEA TR: t = t108
lola: REM DEA TR: t = t109
lola: REM DEA TR: t = t4078
lola: REM DEA TR: t = t4079
lola: REM DEA TR: t = t110
lola: REM DEA TR: t = t111
lola: REM DEA TR: t = t4080
lola: REM DEA TR: t = t4081
lola: REM DEA TR: t = t112
lola: REM DEA TR: t = t113
lola: REM DEA TR: t = t4082
lola: REM DEA TR: t = t4083
lola: REM DEA TR: t = t114
lola: REM DEA TR: t = t115
lola: REM DEA TR: t = t4084
lola: REM DEA TR: t = t4085
lola: REM DEA TR: t = t116
lola: REM DEA TR: t = t117
lola: REM DEA TR: t = t4086
lola: REM DEA TR: t = t4087
lola: REM DEA TR: t = t118
lola: REM DEA TR: t = t119
lola: REM DEA TR: t = t4088
lola: REM DEA TR: t = t4089
lola: REM DEA TR: t = t120
lola: REM DEA TR: t = t121
lola: REM DEA TR: t = t4090
lola: REM DEA TR: t = t4091
lola: REM DEA TR: t = t122
lola: REM DEA TR: t = t123
lola: REM DEA TR: t = t4092
lola: REM DEA TR: t = t4093
lola: REM DEA TR: t = t124
lola: REM DEA TR: t = t125
lola: REM DEA TR: t = t4094
lola: REM DEA TR: t = t4095
lola: REM DEA TR: t = t126
lola: REM DEA TR: t = t127
lola: REM DEA TR: t = t4098
lola: REM DEA TR: t = t4099
lola: REM DEA TR: t = t130
lola: REM DEA TR: t = t131
lola: REM DEA TR: t = t4100
lola: REM DEA TR: t = t4101
lola: REM DEA TR: t = t132
lola: REM DEA TR: t = t133
lola: REM DEA TR: t = t4102
lola: REM DEA TR: t = t4103
lola: REM DEA TR: t = t134
lola: REM DEA TR: t = t135
lola: REM DEA TR: t = t4104
lola: REM DEA TR: t = t4105
lola: REM DEA TR: t = t136
lola: REM DEA TR: t = t137
lola: REM DEA TR: t = t4106
lola: REM DEA TR: t = t4107
lola: REM DEA TR: t = t138
lola: REM DEA TR: t = t139
lola: REM DEA TR: t = t4108
lola: REM DEA TR: t = t4109
lola: REM DEA TR: t = t140
lola: REM DEA TR: t = t141
lola: REM DEA TR: t = t4110
lola: REM DEA TR: t = t4111
lola: REM DEA TR: t = t142
lola: REM DEA TR: t = t143
lola: REM DEA TR: t = t4112
lola: REM DEA TR: t = t4113
lola: REM DEA TR: t = t144
lola: REM DEA TR: t = t145
lola: REM DEA TR: t = t4114
lola: REM DEA TR: t = t4115
lola: REM DEA TR: t = t146
lola: REM DEA TR: t = t147
lola: REM DEA TR: t = t4116
lola: REM DEA TR: t = t4117
lola: REM DEA TR: t = t148
lola: REM DEA TR: t = t149
lola: REM DEA TR: t = t4118
lola: REM DEA TR: t = t4119
lola: REM DEA TR: t = t150
lola: REM DEA TR: t = t151
lola: REM DEA TR: t = t4120
lola: REM DEA TR: t = t4121
lola: REM DEA TR: t = t152
lola: REM DEA TR: t = t153
lola: REM DEA TR: t = t4122
lola: REM DEA TR: t = t4123
lola: REM DEA TR: t = t154
lola: REM DEA TR: t = t155
lola: REM DEA TR: t = t4124
lola: REM DEA TR: t = t4125
lola: REM DEA TR: t = t156
lola: REM DEA TR: t = t157
lola: REM DEA TR: t = t4126
lola: REM DEA TR: t = t4127
lola: REM DEA TR: t = t158
lola: REM DEA TR: t = t159
lola: REM DEA TR: t = t4128
lola: REM DEA TR: t = t4129
lola: REM DEA TR: t = t160
lola: REM DEA TR: t = t161
lola: REM DEA TR: t = t4130
lola: REM DEA TR: t = t4131
lola: REM DEA TR: t = t162
lola: REM DEA TR: t = t163
lola: REM DEA TR: t = t4132
lola: REM DEA TR: t = t4133
lola: REM DEA TR: t = t164
lola: REM DEA TR: t = t165
lola: REM DEA TR: t = t4134
lola: REM DEA TR: t = t4135
lola: REM DEA TR: t = t166
lola: REM DEA TR: t = t167
lola: REM DEA TR: t = t4136
lola: REM DEA TR: t = t4137
lola: REM DEA TR: t = t168
lola: REM DEA TR: t = t169
lola: REM DEA TR: t = t4138
lola: REM DEA TR: t = t4139
lola: REM DEA TR: t = t170
lola: REM DEA TR: t = t171
lola: REM DEA TR: t = t4140
lola: REM DEA TR: t = t4141
lola: REM DEA TR: t = t172
lola: REM DEA TR: t = t173
lola: REM DEA TR: t = t4142
lola: REM DEA TR: t = t4143
lola: REM DEA TR: t = t174
lola: REM DEA TR: t = t175
lola: REM DEA TR: t = t4144
lola: REM DEA TR: t = t4145
lola: REM DEA TR: t = t176
lola: REM DEA TR: t = t177
lola: REM DEA TR: t = t4146
lola: REM DEA TR: t = t4147
lola: REM DEA TR: t = t178
lola: REM DEA TR: t = t179
lola: REM DEA TR: t = t4148
lola: REM DEA TR: t = t4149
lola: REM DEA TR: t = t180
lola: REM DEA TR: t = t181
lola: REM DEA TR: t = t4150
lola: REM DEA TR: t = t4151
lola: REM DEA TR: t = t182
lola: REM DEA TR: t = t183
lola: REM DEA TR: t = t4152
lola: REM DEA TR: t = t4153
lola: REM DEA TR: t = t184
lola: REM DEA TR: t = t185
lola: REM DEA TR: t = t4154
lola: REM DEA TR: t = t4155
lola: REM DEA TR: t = t186
lola: REM DEA TR: t = t187
lola: REM DEA TR: t = t4156
lola: REM DEA TR: t = t4157
lola: REM DEA TR: t = t188
lola: REM DEA TR: t = t189
lola: REM DEA TR: t = t4158
lola: REM DEA TR: t = t4159
lola: REM DEA TR: t = t190
lola: REM DEA TR: t = t191
lola: REM DEA TR: t = t4160
lola: REM DEA TR: t = t4161
lola: REM DEA TR: t = t192
lola: REM DEA TR: t = t193
lola: REM DEA TR: t = t4162
lola: REM DEA TR: t = t4163
lola: REM DEA TR: t = t194
lola: REM DEA TR: t = t195
lola: REM DEA TR: t = t4164
lola: REM DEA TR: t = t4165
lola: REM DEA TR: t = t196
lola: REM DEA TR: t = t197
lola: REM DEA TR: t = t4166
lola: REM DEA TR: t = t4167
lola: REM DEA TR: t = t198
lola: REM DEA TR: t = t199
lola: REM DEA TR: t = t3906
lola: REM DEA TR: t = t7874
lola: REM DEA TR: t = t3916
lola: REM DEA TR: t = t7884
lola: REM DEA TR: t = t3926
lola: REM DEA TR: t = t7894
lola: REM DEA TR: t = t3936
lola: REM DEA TR: t = t7904
lola: REM DEA TR: t = t3946
lola: REM DEA TR: t = t7914
lola: REM DEA TR: t = t3956
lola: REM DEA TR: t = t7924
lola: REM DEA TR: t = t3966
lola: REM DEA TR: t = t7934
lola: REM DEA TR: t = t7488
lola: REM DEA TR: t = t7489
lola: REM DEA TR: t = t3520
lola: REM DEA TR: t = t3521
lola: REM DEA TR: t = t7490
lola: REM DEA TR: t = t7491
lola: REM DEA TR: t = t3522
lola: REM DEA TR: t = t3523
lola: REM DEA TR: t = t7492
lola: REM DEA TR: t = t7493
lola: REM DEA TR: t = t3524
lola: REM DEA TR: t = t3525
lola: REM DEA TR: t = t7498
lola: REM DEA TR: t = t7499
lola: REM DEA TR: t = t3530
lola: REM DEA TR: t = t3531
lola: REM DEA TR: t = t7500
lola: REM DEA TR: t = t7501
lola: REM DEA TR: t = t3532
lola: REM DEA TR: t = t3533
lola: REM DEA TR: t = t7504
lola: REM DEA TR: t = t7505
lola: REM DEA TR: t = t3536
lola: REM DEA TR: t = t3537
lola: REM DEA TR: t = t7506
lola: REM DEA TR: t = t7507
lola: REM DEA TR: t = t3538
lola: REM DEA TR: t = t3539
lola: REM DEA TR: t = t7508
lola: REM DEA TR: t = t7509
lola: REM DEA TR: t = t3540
lola: REM DEA TR: t = t3541
lola: REM DEA TR: t = t7512
lola: REM DEA TR: t = t7513
lola: REM DEA TR: t = t3544
lola: REM DEA TR: t = t3545
lola: REM DEA TR: t = t7514
lola: REM DEA TR: t = t7515
lola: REM DEA TR: t = t3546
lola: REM DEA TR: t = t3547
lola: REM DEA TR: t = t7520
lola: REM DEA TR: t = t7521
lola: REM DEA TR: t = t3552
lola: REM DEA TR: t = t3553
lola: REM DEA TR: t = t7522
lola: REM DEA TR: t = t7523
lola: REM DEA TR: t = t3554
lola: REM DEA TR: t = t3555
lola: REM DEA TR: t = t7524
lola: REM DEA TR: t = t7525
lola: REM DEA TR: t = t3556
lola: REM DEA TR: t = t3557
lola: REM DEA TR: t = t7528
lola: REM DEA TR: t = t7529
lola: REM DEA TR: t = t3560
lola: REM DEA TR: t = t3561
lola: REM DEA TR: t = t7530
lola: REM DEA TR: t = t7531
lola: REM DEA TR: t = t3562
lola: REM DEA TR: t = t3563
lola: REM DEA TR: t = t7532
lola: REM DEA TR: t = t7533
lola: REM DEA TR: t = t3564
lola: REM DEA TR: t = t3565
lola: REM DEA TR: t = t2532
lola: REM DEA TR: t = t2533
lola: REM DEA TR: t = t6500
lola: REM DEA TR: t = t6501
lola: REM DEA TR: t = t2552
lola: REM DEA TR: t = t2553
lola: REM DEA TR: t = t6520
lola: REM DEA TR: t = t6521
lola: REM DEA TR: t = t2572
lola: REM DEA TR: t = t2573
lola: REM DEA TR: t = t6540
lola: REM DEA TR: t = t6541
lola: REM DEA TR: t = t2592
lola: REM DEA TR: t = t2593
lola: REM DEA TR: t = t6560
lola: REM DEA TR: t = t6561
lola: REM DEA TR: t = t2612
lola: REM DEA TR: t = t2613
lola: REM DEA TR: t = t6580
lola: REM DEA TR: t = t6581
lola: REM DEA TR: t = t2632
lola: REM DEA TR: t = t2633
lola: REM DEA TR: t = t6600
lola: REM DEA TR: t = t6601
lola: REM DEA TR: t = t7538
lola: REM DEA TR: t = t7539
lola: REM DEA TR: t = t3570
lola: REM DEA TR: t = t3571
lola: REM DEA TR: t = t7540
lola: REM DEA TR: t = t7541
lola: REM DEA TR: t = t3572
lola: REM DEA TR: t = t3573
lola: REM DEA TR: t = t7544
lola: REM DEA TR: t = t7545
lola: REM DEA TR: t = t3576
lola: REM DEA TR: t = t3577
lola: REM DEA TR: t = t7546
lola: REM DEA TR: t = t7547
lola: REM DEA TR: t = t3578
lola: REM DEA TR: t = t3579
lola: REM DEA TR: t = t7548
lola: REM DEA TR: t = t7549
lola: REM DEA TR: t = t3580
lola: REM DEA TR: t = t3581
lola: REM DEA TR: t = t7552
lola: REM DEA TR: t = t7553
lola: REM DEA TR: t = t3584
lola: REM DEA TR: t = t3585
lola: REM DEA TR: t = t7554
lola: REM DEA TR: t = t7555
lola: REM DEA TR: t = t3586
lola: REM DEA TR: t = t3587
lola: REM DEA TR: t = t7560
lola: REM DEA TR: t = t7561
lola: REM DEA TR: t = t3592
lola: REM DEA TR: t = t3593
lola: REM DEA TR: t = t7562
lola: REM DEA TR: t = t7563
lola: REM DEA TR: t = t3594
lola: REM DEA TR: t = t3595
lola: REM DEA TR: t = t7564
lola: REM DEA TR: t = t7565
lola: REM DEA TR: t = t3596
lola: REM DEA TR: t = t3597
lola: REM DEA TR: t = t7568
lola: REM DEA TR: t = t7569
lola: REM DEA TR: t = t3600
lola: REM DEA TR: t = t3601
lola: REM DEA TR: t = t7570
lola: REM DEA TR: t = t7571
lola: REM DEA TR: t = t3602
lola: REM DEA TR: t = t3603
lola: REM DEA TR: t = t7572
lola: REM DEA TR: t = t7573
lola: REM DEA TR: t = t3604
lola: REM DEA TR: t = t3605
lola: REM DEA TR: t = t7578
lola: REM DEA TR: t = t7579
lola: REM DEA TR: t = t3610
lola: REM DEA TR: t = t3611
lola: REM DEA TR: t = t7580
lola: REM DEA TR: t = t7581
lola: REM DEA TR: t = t3612
lola: REM DEA TR: t = t3613
lola: REM DEA TR: t = t7584
lola: REM DEA TR: t = t7585
lola: REM DEA TR: t = t3616
lola: REM DEA TR: t = t3617
lola: REM DEA TR: t = t7586
lola: REM DEA TR: t = t7587
lola: REM DEA TR: t = t3618
lola: REM DEA TR: t = t3619
lola: REM DEA TR: t = t7588
lola: REM DEA TR: t = t7589
lola: REM DEA TR: t = t3620
lola: REM DEA TR: t = t3621
lola: REM DEA TR: t = t7592
lola: REM DEA TR: t = t7593
lola: REM DEA TR: t = t3624
lola: REM DEA TR: t = t3625
lola: REM DEA TR: t = t7594
lola: REM DEA TR: t = t7595
lola: REM DEA TR: t = t3626
lola: REM DEA TR: t = t3627
lola: REM DEA TR: t = t7600
lola: REM DEA TR: t = t7601
lola: REM DEA TR: t = t3632
lola: REM DEA TR: t = t3633
lola: REM DEA TR: t = t7602
lola: REM DEA TR: t = t7603
lola: REM DEA TR: t = t3634
lola: REM DEA TR: t = t3635
lola: REM DEA TR: t = t7604
lola: REM DEA TR: t = t7605
lola: REM DEA TR: t = t3636
lola: REM DEA TR: t = t3637
lola: REM DEA TR: t = t7608
lola: REM DEA TR: t = t7609
lola: REM DEA TR: t = t3640
lola: REM DEA TR: t = t3641
lola: REM DEA TR: t = t7610
lola: REM DEA TR: t = t7611
lola: REM DEA TR: t = t3642
lola: REM DEA TR: t = t3643
lola: REM DEA TR: t = t7612
lola: REM DEA TR: t = t7613
lola: REM DEA TR: t = t3644
lola: REM DEA TR: t = t3645
lola: REM DEA TR: t = t7617
lola: REM DEA TR: t = t3649
lola: REM DEA TR: t = t7618
lola: REM DEA TR: t = t3650
lola: REM DEA TR: t = t7620
lola: REM DEA TR: t = t3652
lola: REM DEA TR: t = t7621
lola: REM DEA TR: t = t3653
lola: REM DEA TR: t = t7622
lola: REM DEA TR: t = t3654
lola: REM DEA TR: t = t7624
lola: REM DEA TR: t = t3656
lola: REM DEA TR: t = t7625
lola: REM DEA TR: t = t3657
lola: REM DEA TR: t = t7628
lola: REM DEA TR: t = t3660
lola: REM DEA TR: t = t7629
lola: REM DEA TR: t = t3661
lola: REM DEA TR: t = t7630
lola: REM DEA TR: t = t3662
lola: REM DEA TR: t = t7632
lola: REM DEA TR: t = t3664
lola: REM DEA TR: t = t7633
lola: REM DEA TR: t = t3665
lola: REM DEA TR: t = t7634
lola: REM DEA TR: t = t3666
lola: REM DEA TR: t = t7637
lola: REM DEA TR: t = t3669
lola: REM DEA TR: t = t7638
lola: REM DEA TR: t = t3670
lola: REM DEA TR: t = t7640
lola: REM DEA TR: t = t3672
lola: REM DEA TR: t = t7641
lola: REM DEA TR: t = t3673
lola: REM DEA TR: t = t7642
lola: REM DEA TR: t = t3674
lola: REM DEA TR: t = t7644
lola: REM DEA TR: t = t3676
lola: REM DEA TR: t = t7645
lola: REM DEA TR: t = t3677
lola: REM DEA TR: t = t7648
lola: REM DEA TR: t = t3680
lola: REM DEA TR: t = t7649
lola: REM DEA TR: t = t3681
lola: REM DEA TR: t = t7650
lola: REM DEA TR: t = t3682
lola: REM DEA TR: t = t7652
lola: REM DEA TR: t = t3684
lola: REM DEA TR: t = t7653
lola: REM DEA TR: t = t3685
lola: REM DEA TR: t = t7654
lola: REM DEA TR: t = t3686
lola: REM DEA TR: t = t7657
lola: REM DEA TR: t = t3689
lola: REM DEA TR: t = t7658
lola: REM DEA TR: t = t3690
lola: REM DEA TR: t = t7660
lola: REM DEA TR: t = t3692
lola: REM DEA TR: t = t7661
lola: REM DEA TR: t = t3693
lola: REM DEA TR: t = t7662
lola: REM DEA TR: t = t3694
lola: REM DEA TR: t = t7664
lola: REM DEA TR: t = t3696
lola: REM DEA TR: t = t7665
lola: REM DEA TR: t = t3697
lola: REM DEA TR: t = t3700
lola: REM DEA TR: t = t7668
lola: REM DEA TR: t = t3701
lola: REM DEA TR: t = t7669
lola: REM DEA TR: t = t3702
lola: REM DEA TR: t = t7670
lola: REM DEA TR: t = t3704
lola: REM DEA TR: t = t7672
lola: REM DEA TR: t = t3705
lola: REM DEA TR: t = t7673
lola: REM DEA TR: t = t3706
lola: REM DEA TR: t = t7674
lola: REM DEA TR: t = t2664
lola: REM DEA TR: t = t6632
lola: REM DEA TR: t = t2674
lola: REM DEA TR: t = t6642
lola: REM DEA TR: t = t2694
lola: REM DEA TR: t = t6662
lola: REM DEA TR: t = t2704
lola: REM DEA TR: t = t6672
lola: REM DEA TR: t = t2724
lola: REM DEA TR: t = t6692
lola: REM DEA TR: t = t2734
lola: REM DEA TR: t = t6702
lola: REM DEA TR: t = t2744
lola: REM DEA TR: t = t6712
lola: REM DEA TR: t = t2754
lola: REM DEA TR: t = t6722
lola: REM DEA TR: t = t3709
lola: REM DEA TR: t = t7677
lola: REM DEA TR: t = t3710
lola: REM DEA TR: t = t7678
lola: REM DEA TR: t = t3713
lola: REM DEA TR: t = t7681
lola: REM DEA TR: t = t3714
lola: REM DEA TR: t = t7682
lola: REM DEA TR: t = t3715
lola: REM DEA TR: t = t7683
lola: REM DEA TR: t = t3716
lola: REM DEA TR: t = t7684
lola: REM DEA TR: t = t3717
lola: REM DEA TR: t = t7685
lola: REM DEA TR: t = t3720
lola: REM DEA TR: t = t7688
lola: REM DEA TR: t = t3721
lola: REM DEA TR: t = t7689
lola: REM DEA TR: t = t3722
lola: REM DEA TR: t = t7690
lola: REM DEA TR: t = t3723
lola: REM DEA TR: t = t7691
lola: REM DEA TR: t = t3724
lola: REM DEA TR: t = t7692
lola: REM DEA TR: t = t3725
lola: REM DEA TR: t = t7693
lola: REM DEA TR: t = t3729
lola: REM DEA TR: t = t7697
lola: REM DEA TR: t = t3730
lola: REM DEA TR: t = t7698
lola: REM DEA TR: t = t3731
lola: REM DEA TR: t = t7699
lola: REM DEA TR: t = t3732
lola: REM DEA TR: t = t7700
lola: REM DEA TR: t = t3733
lola: REM DEA TR: t = t7701
lola: REM DEA TR: t = t3734
lola: REM DEA TR: t = t7702
lola: REM DEA TR: t = t3736
lola: REM DEA TR: t = t7704
lola: REM DEA TR: t = t3737
lola: REM DEA TR: t = t7705
lola: REM DEA TR: t = t3739
lola: REM DEA TR: t = t7707
lola: REM DEA TR: t = t3740
lola: REM DEA TR: t = t7708
lola: REM DEA TR: t = t3741
lola: REM DEA TR: t = t7709
lola: REM DEA TR: t = t3744
lola: REM DEA TR: t = t7712
lola: REM DEA TR: t = t3745
lola: REM DEA TR: t = t7713
lola: REM DEA TR: t = t3746
lola: REM DEA TR: t = t7714
lola: REM DEA TR: t = t3747
lola: REM DEA TR: t = t7715
lola: REM DEA TR: t = t3749
lola: REM DEA TR: t = t7717
lola: REM DEA TR: t = t3750
lola: REM DEA TR: t = t7718
lola: REM DEA TR: t = t3753
lola: REM DEA TR: t = t7721
lola: REM DEA TR: t = t3754
lola: REM DEA TR: t = t7722
lola: REM DEA TR: t = t3755
lola: REM DEA TR: t = t7723
lola: REM DEA TR: t = t3756
lola: REM DEA TR: t = t7724
lola: REM DEA TR: t = t3757
lola: REM DEA TR: t = t7725
lola: REM DEA TR: t = t3760
lola: REM DEA TR: t = t7728
lola: REM DEA TR: t = t3761
lola: REM DEA TR: t = t7729
lola: REM DEA TR: t = t3762
lola: REM DEA TR: t = t7730
lola: REM DEA TR: t = t3763
lola: REM DEA TR: t = t7731
lola: REM DEA TR: t = t3764
lola: REM DEA TR: t = t7732
lola: REM DEA TR: t = t3765
lola: REM DEA TR: t = t7733
lola: REM DEA TR: t = t3769
lola: REM DEA TR: t = t7737
lola: REM DEA TR: t = t3770
lola: REM DEA TR: t = t7738
lola: REM DEA TR: t = t3771
lola: REM DEA TR: t = t7739
lola: REM DEA TR: t = t3772
lola: REM DEA TR: t = t7740
lola: REM DEA TR: t = t3773
lola: REM DEA TR: t = t7741
lola: REM DEA TR: t = t3774
lola: REM DEA TR: t = t7742
lola: REM DEA TR: t = t3777
lola: REM DEA TR: t = t7745
lola: REM DEA TR: t = t3779
lola: REM DEA TR: t = t7747
lola: REM DEA TR: t = t3781
lola: REM DEA TR: t = t7749
lola: REM DEA TR: t = t3785
lola: REM DEA TR: t = t7753
lola: REM DEA TR: t = t3787
lola: REM DEA TR: t = t7755
lola: REM DEA TR: t = t3789
lola: REM DEA TR: t = t7757
lola: REM DEA TR: t = t3793
lola: REM DEA TR: t = t7761
lola: REM DEA TR: t = t3794
lola: REM DEA TR: t = t7762
lola: REM DEA TR: t = t3795
lola: REM DEA TR: t = t7763
lola: REM DEA TR: t = t3797
lola: REM DEA TR: t = t7765
lola: REM DEA TR: t = t3801
lola: REM DEA TR: t = t7769
lola: REM DEA TR: t = t3802
lola: REM DEA TR: t = t7770
lola: REM DEA TR: t = t3803
lola: REM DEA TR: t = t7771
lola: REM DEA TR: t = t3804
lola: REM DEA TR: t = t7772
lola: REM DEA TR: t = t3805
lola: REM DEA TR: t = t7773
lola: REM DEA TR: t = t2804
lola: REM DEA TR: t = t6772
lola: REM DEA TR: t = t2814
lola: REM DEA TR: t = t6782
lola: REM DEA TR: t = t2824
lola: REM DEA TR: t = t6792
lola: REM DEA TR: t = t3809
lola: REM DEA TR: t = t7777
lola: REM DEA TR: t = t3811
lola: REM DEA TR: t = t7779
lola: REM DEA TR: t = t3812
lola: REM DEA TR: t = t7780
lola: REM DEA TR: t = t3813
lola: REM DEA TR: t = t7781
lola: REM DEA TR: t = t3814
lola: REM DEA TR: t = t7782
lola: REM DEA TR: t = t3817
lola: REM DEA TR: t = t7785
lola: REM DEA TR: t = t3819
lola: REM DEA TR: t = t7787
lola: REM DEA TR: t = t3820
lola: REM DEA TR: t = t7788
lola: REM DEA TR: t = t3821
lola: REM DEA TR: t = t7789
lola: REM DEA TR: t = t3825
lola: REM DEA TR: t = t7793
lola: REM DEA TR: t = t3827
lola: REM DEA TR: t = t7795
lola: REM DEA TR: t = t3829
lola: REM DEA TR: t = t7797
lola: REM DEA TR: t = t8321
lola: REM DEA TR: t = t8577
lola: REM DEA TR: t = t8323
lola: REM DEA TR: t = t8579
lola: REM DEA TR: t = t8325
lola: REM DEA TR: t = t8581
lola: REM DEA TR: t = t8329
lola: REM DEA TR: t = t8585
lola: REM DEA TR: t = t8331
lola: REM DEA TR: t = t8587
lola: REM DEA TR: t = t8333
lola: REM DEA TR: t = t8589
lola: REM DEA TR: t = t8337
lola: REM DEA TR: t = t8593
lola: REM DEA TR: t = t8339
lola: REM DEA TR: t = t8595
lola: REM DEA TR: t = t8341
lola: REM DEA TR: t = t8597
lola: REM DEA TR: t = t8601
lola: REM DEA TR: t = t8345
lola: REM DEA TR: t = t8602
lola: REM DEA TR: t = t8346
lola: REM DEA TR: t = t8603
lola: REM DEA TR: t = t8347
lola: REM DEA TR: t = t8605
lola: REM DEA TR: t = t8349
lola: REM DEA TR: t = t8609
lola: REM DEA TR: t = t8353
lola: REM DEA TR: t = t8611
lola: REM DEA TR: t = t8355
lola: REM DEA TR: t = t8612
lola: REM DEA TR: t = t8356
lola: REM DEA TR: t = t8613
lola: REM DEA TR: t = t8357
lola: REM DEA TR: t = t8617
lola: REM DEA TR: t = t8361
lola: REM DEA TR: t = t8619
lola: REM DEA TR: t = t8363
lola: REM DEA TR: t = t8620
lola: REM DEA TR: t = t8364
lola: REM DEA TR: t = t8621
lola: REM DEA TR: t = t8365
lola: REM DEA TR: t = t8625
lola: REM DEA TR: t = t8369
lola: REM DEA TR: t = t8627
lola: REM DEA TR: t = t8371
lola: REM DEA TR: t = t8629
lola: REM DEA TR: t = t8373
lola: REM DEA TR: t = t8641
lola: REM DEA TR: t = t8385
lola: REM DEA TR: t = t8643
lola: REM DEA TR: t = t8387
lola: REM DEA TR: t = t4168
lola: REM DEA TR: t = t4169
lola: REM DEA TR: t = t200
lola: REM DEA TR: t = t201
lola: REM DEA TR: t = t4170
lola: REM DEA TR: t = t4171
lola: REM DEA TR: t = t202
lola: REM DEA TR: t = t203
lola: REM DEA TR: t = t4172
lola: REM DEA TR: t = t4173
lola: REM DEA TR: t = t204
lola: REM DEA TR: t = t205
lola: REM DEA TR: t = t4174
lola: REM DEA TR: t = t4175
lola: REM DEA TR: t = t206
lola: REM DEA TR: t = t207
lola: REM DEA TR: t = t4176
lola: REM DEA TR: t = t4177
lola: REM DEA TR: t = t208
lola: REM DEA TR: t = t209
lola: REM DEA TR: t = t4178
lola: REM DEA TR: t = t4179
lola: REM DEA TR: t = t210
lola: REM DEA TR: t = t211
lola: REM DEA TR: t = t4180
lola: REM DEA TR: t = t4181
lola: REM DEA TR: t = t212
lola: REM DEA TR: t = t213
lola: REM DEA TR: t = t4182
lola: REM DEA TR: t = t4183
lola: REM DEA TR: t = t214
lola: REM DEA TR: t = t215
lola: REM DEA TR: t = t4184
lola: REM DEA TR: t = t4185
lola: REM DEA TR: t = t216
lola: REM DEA TR: t = t217
lola: REM DEA TR: t = t4186
lola: REM DEA TR: t = t4187
lola: REM DEA TR: t = t218
lola: REM DEA TR: t = t219
lola: REM DEA TR: t = t4188
lola: REM DEA TR: t = t4189
lola: REM DEA TR: t = t220
lola: REM DEA TR: t = t221
lola: REM DEA TR: t = t4190
lola: REM DEA TR: t = t4191
lola: REM DEA TR: t = t222
lola: REM DEA TR: t = t223
lola: REM DEA TR: t = t4192
lola: REM DEA TR: t = t4193
lola: REM DEA TR: t = t224
lola: REM DEA TR: t = t225
lola: REM DEA TR: t = t4194
lola: REM DEA TR: t = t4195
lola: REM DEA TR: t = t226
lola: REM DEA TR: t = t227
lola: REM DEA TR: t = t4196
lola: REM DEA TR: t = t4197
lola: REM DEA TR: t = t228
lola: REM DEA TR: t = t229
lola: REM DEA TR: t = t4198
lola: REM DEA TR: t = t4199
lola: REM DEA TR: t = t230
lola: REM DEA TR: t = t231
lola: REM DEA TR: t = t4200
lola: REM DEA TR: t = t4201
lola: REM DEA TR: t = t232
lola: REM DEA TR: t = t233
lola: REM DEA TR: t = t4202
lola: REM DEA TR: t = t4203
lola: REM DEA TR: t = t234
lola: REM DEA TR: t = t235
lola: REM DEA TR: t = t4204
lola: REM DEA TR: t = t4205
lola: REM DEA TR: t = t236
lola: REM DEA TR: t = t237
lola: REM DEA TR: t = t4206
lola: REM DEA TR: t = t4207
lola: REM DEA TR: t = t238
lola: REM DEA TR: t = t239
lola: REM DEA TR: t = t4208
lola: REM DEA TR: t = t4209
lola: REM DEA TR: t = t240
lola: REM DEA TR: t = t241
lola: REM DEA TR: t = t4210
lola: REM DEA TR: t = t4211
lola: REM DEA TR: t = t242
lola: REM DEA TR: t = t243
lola: REM DEA TR: t = t4212
lola: REM DEA TR: t = t4213
lola: REM DEA TR: t = t244
lola: REM DEA TR: t = t245
lola: REM DEA TR: t = t4214
lola: REM DEA TR: t = t4215
lola: REM DEA TR: t = t246
lola: REM DEA TR: t = t247
lola: REM DEA TR: t = t4216
lola: REM DEA TR: t = t4217
lola: REM DEA TR: t = t248
lola: REM DEA TR: t = t249
lola: REM DEA TR: t = t4218
lola: REM DEA TR: t = t4219
lola: REM DEA TR: t = t250
lola: REM DEA TR: t = t251
lola: REM DEA TR: t = t4220
lola: REM DEA TR: t = t4221
lola: REM DEA TR: t = t252
lola: REM DEA TR: t = t253
lola: REM DEA TR: t = t4222
lola: REM DEA TR: t = t4223
lola: REM DEA TR: t = t254
lola: REM DEA TR: t = t255
lola: REM DEA TR: t = t4226
lola: REM DEA TR: t = t4227
lola: REM DEA TR: t = t258
lola: REM DEA TR: t = t259
lola: REM DEA TR: t = t4228
lola: REM DEA TR: t = t4229
lola: REM DEA TR: t = t260
lola: REM DEA TR: t = t261
lola: REM DEA TR: t = t4230
lola: REM DEA TR: t = t4231
lola: REM DEA TR: t = t262
lola: REM DEA TR: t = t263
lola: REM DEA TR: t = t4232
lola: REM DEA TR: t = t4233
lola: REM DEA TR: t = t264
lola: REM DEA TR: t = t265
lola: REM DEA TR: t = t4234
lola: REM DEA TR: t = t4235
lola: REM DEA TR: t = t266
lola: REM DEA TR: t = t267
lola: REM DEA TR: t = t4236
lola: REM DEA TR: t = t4237
lola: REM DEA TR: t = t268
lola: REM DEA TR: t = t269
lola: REM DEA TR: t = t4238
lola: REM DEA TR: t = t4239
lola: REM DEA TR: t = t270
lola: REM DEA TR: t = t271
lola: REM DEA TR: t = t4240
lola: REM DEA TR: t = t4241
lola: REM DEA TR: t = t272
lola: REM DEA TR: t = t273
lola: REM DEA TR: t = t4242
lola: REM DEA TR: t = t4243
lola: REM DEA TR: t = t274
lola: REM DEA TR: t = t275
lola: REM DEA TR: t = t4244
lola: REM DEA TR: t = t4245
lola: REM DEA TR: t = t276
lola: REM DEA TR: t = t277
lola: REM DEA TR: t = t4246
lola: REM DEA TR: t = t4247
lola: REM DEA TR: t = t278
lola: REM DEA TR: t = t279
lola: REM DEA TR: t = t4248
lola: REM DEA TR: t = t4249
lola: REM DEA TR: t = t280
lola: REM DEA TR: t = t281
lola: REM DEA TR: t = t4250
lola: REM DEA TR: t = t4251
lola: REM DEA TR: t = t282
lola: REM DEA TR: t = t283
lola: REM DEA TR: t = t4252
lola: REM DEA TR: t = t4253
lola: REM DEA TR: t = t284
lola: REM DEA TR: t = t285
lola: REM DEA TR: t = t4254
lola: REM DEA TR: t = t4255
lola: REM DEA TR: t = t286
lola: REM DEA TR: t = t287
lola: REM DEA TR: t = t4256
lola: REM DEA TR: t = t4257
lola: REM DEA TR: t = t288
lola: REM DEA TR: t = t289
lola: REM DEA TR: t = t4258
lola: REM DEA TR: t = t4259
lola: REM DEA TR: t = t290
lola: REM DEA TR: t = t291
lola: REM DEA TR: t = t4260
lola: REM DEA TR: t = t4261
lola: REM DEA TR: t = t292
lola: REM DEA TR: t = t293
lola: REM DEA TR: t = t4262
lola: REM DEA TR: t = t4263
lola: REM DEA TR: t = t294
lola: REM DEA TR: t = t295
lola: REM DEA TR: t = t4264
lola: REM DEA TR: t = t4265
lola: REM DEA TR: t = t296
lola: REM DEA TR: t = t297
lola: REM DEA TR: t = t4266
lola: REM DEA TR: t = t4267
lola: REM DEA TR: t = t298
lola: REM DEA TR: t = t299
lola: REM DEA TR: t = t4268
lola: REM DEA TR: t = t4269
lola: REM DEA TR: t = t300
lola: REM DEA TR: t = t301
lola: REM DEA TR: t = t4270
lola: REM DEA TR: t = t4271
lola: REM DEA TR: t = t302
lola: REM DEA TR: t = t303
lola: REM DEA TR: t = t4272
lola: REM DEA TR: t = t4273
lola: REM DEA TR: t = t304
lola: REM DEA TR: t = t305
lola: REM DEA TR: t = t4274
lola: REM DEA TR: t = t4275
lola: REM DEA TR: t = t306
lola: REM DEA TR: t = t307
lola: REM DEA TR: t = t4276
lola: REM DEA TR: t = t4277
lola: REM DEA TR: t = t308
lola: REM DEA TR: t = t309
lola: REM DEA TR: t = t4278
lola: REM DEA TR: t = t4279
lola: REM DEA TR: t = t310
lola: REM DEA TR: t = t311
lola: REM DEA TR: t = t4280
lola: REM DEA TR: t = t4281
lola: REM DEA TR: t = t312
lola: REM DEA TR: t = t313
lola: REM DEA TR: t = t4282
lola: REM DEA TR: t = t4283
lola: REM DEA TR: t = t314
lola: REM DEA TR: t = t315
lola: REM DEA TR: t = t4284
lola: REM DEA TR: t = t4285
lola: REM DEA TR: t = t316
lola: REM DEA TR: t = t317
lola: REM DEA TR: t = t4286
lola: REM DEA TR: t = t4287
lola: REM DEA TR: t = t318
lola: REM DEA TR: t = t319
lola: REM DEA TR: t = t4290
lola: REM DEA TR: t = t4291
lola: REM DEA TR: t = t322
lola: REM DEA TR: t = t323
lola: REM DEA TR: t = t4292
lola: REM DEA TR: t = t4293
lola: REM DEA TR: t = t324
lola: REM DEA TR: t = t325
lola: REM DEA TR: t = t4294
lola: REM DEA TR: t = t4295
lola: REM DEA TR: t = t326
lola: REM DEA TR: t = t327
lola: REM DEA TR: t = t4296
lola: REM DEA TR: t = t4297
lola: REM DEA TR: t = t328
lola: REM DEA TR: t = t329
lola: REM DEA TR: t = t4298
lola: REM DEA TR: t = t4299
lola: REM DEA TR: t = t330
lola: REM DEA TR: t = t331
lola: REM DEA TR: t = t4300
lola: REM DEA TR: t = t4301
lola: REM DEA TR: t = t332
lola: REM DEA TR: t = t333
lola: REM DEA TR: t = t4302
lola: REM DEA TR: t = t4303
lola: REM DEA TR: t = t334
lola: REM DEA TR: t = t335
lola: REM DEA TR: t = t4304
lola: REM DEA TR: t = t4305
lola: REM DEA TR: t = t336
lola: REM DEA TR: t = t337
lola: REM DEA TR: t = t4306
lola: REM DEA TR: t = t4307
lola: REM DEA TR: t = t338
lola: REM DEA TR: t = t339
lola: REM DEA TR: t = t4308
lola: REM DEA TR: t = t4309
lola: REM DEA TR: t = t340
lola: REM DEA TR: t = t341
lola: REM DEA TR: t = t4310
lola: REM DEA TR: t = t4311
lola: REM DEA TR: t = t342
lola: REM DEA TR: t = t343
lola: REM DEA TR: t = t4312
lola: REM DEA TR: t = t4313
lola: REM DEA TR: t = t344
lola: REM DEA TR: t = t345
lola: REM DEA TR: t = t4314
lola: REM DEA TR: t = t4315
lola: REM DEA TR: t = t346
lola: REM DEA TR: t = t347
lola: REM DEA TR: t = t4316
lola: REM DEA TR: t = t4317
lola: REM DEA TR: t = t348
lola: REM DEA TR: t = t349
lola: REM DEA TR: t = t4318
lola: REM DEA TR: t = t4319
lola: REM DEA TR: t = t350
lola: REM DEA TR: t = t351
lola: REM DEA TR: t = t4320
lola: REM DEA TR: t = t4321
lola: REM DEA TR: t = t352
lola: REM DEA TR: t = t353
lola: REM DEA TR: t = t4322
lola: REM DEA TR: t = t4323
lola: REM DEA TR: t = t354
lola: REM DEA TR: t = t355
lola: REM DEA TR: t = t4324
lola: REM DEA TR: t = t4325
lola: REM DEA TR: t = t356
lola: REM DEA TR: t = t357
lola: REM DEA TR: t = t4326
lola: REM DEA TR: t = t4327
lola: REM DEA TR: t = t358
lola: REM DEA TR: t = t359
lola: REM DEA TR: t = t4328
lola: REM DEA TR: t = t4329
lola: REM DEA TR: t = t360
lola: REM DEA TR: t = t361
lola: REM DEA TR: t = t4330
lola: REM DEA TR: t = t4331
lola: REM DEA TR: t = t362
lola: REM DEA TR: t = t363
lola: REM DEA TR: t = t4332
lola: REM DEA TR: t = t4333
lola: REM DEA TR: t = t364
lola: REM DEA TR: t = t365
lola: REM DEA TR: t = t4334
lola: REM DEA TR: t = t4335
lola: REM DEA TR: t = t366
lola: REM DEA TR: t = t367
lola: REM DEA TR: t = t4336
lola: REM DEA TR: t = t4337
lola: REM DEA TR: t = t368
lola: REM DEA TR: t = t369
lola: REM DEA TR: t = t4338
lola: REM DEA TR: t = t4339
lola: REM DEA TR: t = t370
lola: REM DEA TR: t = t371
lola: REM DEA TR: t = t4340
lola: REM DEA TR: t = t4341
lola: REM DEA TR: t = t372
lola: REM DEA TR: t = t373
lola: REM DEA TR: t = t4342
lola: REM DEA TR: t = t4343
lola: REM DEA TR: t = t374
lola: REM DEA TR: t = t375
lola: REM DEA TR: t = t4344
lola: REM DEA TR: t = t4345
lola: REM DEA TR: t = t376
lola: REM DEA TR: t = t377
lola: REM DEA TR: t = t4346
lola: REM DEA TR: t = t4347
lola: REM DEA TR: t = t378
lola: REM DEA TR: t = t379
lola: REM DEA TR: t = t4348
lola: REM DEA TR: t = t4349
lola: REM DEA TR: t = t380
lola: REM DEA TR: t = t381
lola: REM DEA TR: t = t4350
lola: REM DEA TR: t = t4351
lola: REM DEA TR: t = t382
lola: REM DEA TR: t = t383
lola: REM DEA TR: t = t4354
lola: REM DEA TR: t = t4355
lola: REM DEA TR: t = t386
lola: REM DEA TR: t = t387
lola: REM DEA TR: t = t4356
lola: REM DEA TR: t = t4357
lola: REM DEA TR: t = t388
lola: REM DEA TR: t = t389
lola: REM DEA TR: t = t4358
lola: REM DEA TR: t = t4359
lola: REM DEA TR: t = t390
lola: REM DEA TR: t = t391
lola: REM DEA TR: t = t4360
lola: REM DEA TR: t = t4361
lola: REM DEA TR: t = t392
lola: REM DEA TR: t = t393
lola: REM DEA TR: t = t4362
lola: REM DEA TR: t = t4363
lola: REM DEA TR: t = t394
lola: REM DEA TR: t = t395
lola: REM DEA TR: t = t4364
lola: REM DEA TR: t = t4365
lola: REM DEA TR: t = t396
lola: REM DEA TR: t = t397
lola: REM DEA TR: t = t4366
lola: REM DEA TR: t = t4367
lola: REM DEA TR: t = t398
lola: REM DEA TR: t = t399
lola: REM DEA TR: t = t8645
lola: REM DEA TR: t = t8389
lola: REM DEA TR: t = t8649
lola: REM DEA TR: t = t8393
lola: REM DEA TR: t = t8651
lola: REM DEA TR: t = t8395
lola: REM DEA TR: t = t8653
lola: REM DEA TR: t = t8397
lola: REM DEA TR: t = t8657
lola: REM DEA TR: t = t8401
lola: REM DEA TR: t = t8659
lola: REM DEA TR: t = t8403
lola: REM DEA TR: t = t8661
lola: REM DEA TR: t = t8405
lola: REM DEA TR: t = t8665
lola: REM DEA TR: t = t8409
lola: REM DEA TR: t = t8666
lola: REM DEA TR: t = t8410
lola: REM DEA TR: t = t8667
lola: REM DEA TR: t = t8411
lola: REM DEA TR: t = t8669
lola: REM DEA TR: t = t8413
lola: REM DEA TR: t = t8673
lola: REM DEA TR: t = t8417
lola: REM DEA TR: t = t8675
lola: REM DEA TR: t = t8419
lola: REM DEA TR: t = t8676
lola: REM DEA TR: t = t8420
lola: REM DEA TR: t = t8677
lola: REM DEA TR: t = t8421
lola: REM DEA TR: t = t8681
lola: REM DEA TR: t = t8425
lola: REM DEA TR: t = t8683
lola: REM DEA TR: t = t8427
lola: REM DEA TR: t = t8685
lola: REM DEA TR: t = t8429
lola: REM DEA TR: t = t8689
lola: REM DEA TR: t = t8433
lola: REM DEA TR: t = t8691
lola: REM DEA TR: t = t8435
lola: REM DEA TR: t = t8693
lola: REM DEA TR: t = t8437
lola: REM DEA TR: t = t4368
lola: REM DEA TR: t = t4369
lola: REM DEA TR: t = t400
lola: REM DEA TR: t = t401
lola: REM DEA TR: t = t4370
lola: REM DEA TR: t = t4371
lola: REM DEA TR: t = t402
lola: REM DEA TR: t = t403
lola: REM DEA TR: t = t4372
lola: REM DEA TR: t = t4373
lola: REM DEA TR: t = t404
lola: REM DEA TR: t = t405
lola: REM DEA TR: t = t4374
lola: REM DEA TR: t = t4375
lola: REM DEA TR: t = t406
lola: REM DEA TR: t = t407
lola: REM DEA TR: t = t4376
lola: REM DEA TR: t = t4377
lola: REM DEA TR: t = t408
lola: REM DEA TR: t = t409
lola: REM DEA TR: t = t4378
lola: REM DEA TR: t = t4379
lola: REM DEA TR: t = t410
lola: REM DEA TR: t = t411
lola: REM DEA TR: t = t4380
lola: REM DEA TR: t = t4381
lola: REM DEA TR: t = t412
lola: REM DEA TR: t = t413
lola: REM DEA TR: t = t4382
lola: REM DEA TR: t = t4383
lola: REM DEA TR: t = t414
lola: REM DEA TR: t = t415
lola: REM DEA TR: t = t4386
lola: REM DEA TR: t = t4387
lola: REM DEA TR: t = t418
lola: REM DEA TR: t = t419
lola: REM DEA TR: t = t4388
lola: REM DEA TR: t = t4389
lola: REM DEA TR: t = t420
lola: REM DEA TR: t = t421
lola: REM DEA TR: t = t4390
lola: REM DEA TR: t = t4391
lola: REM DEA TR: t = t422
lola: REM DEA TR: t = t423
lola: REM DEA TR: t = t4392
lola: REM DEA TR: t = t4393
lola: REM DEA TR: t = t424
lola: REM DEA TR: t = t425
lola: REM DEA TR: t = t4394
lola: REM DEA TR: t = t4395
lola: REM DEA TR: t = t426
lola: REM DEA TR: t = t427
lola: REM DEA TR: t = t4396
lola: REM DEA TR: t = t4397
lola: REM DEA TR: t = t428
lola: REM DEA TR: t = t429
lola: REM DEA TR: t = t4398
lola: REM DEA TR: t = t4399
lola: REM DEA TR: t = t430
lola: REM DEA TR: t = t431
lola: REM DEA TR: t = t4400
lola: REM DEA TR: t = t4401
lola: REM DEA TR: t = t432
lola: REM DEA TR: t = t433
lola: REM DEA TR: t = t4402
lola: REM DEA TR: t = t4403
lola: REM DEA TR: t = t434
lola: REM DEA TR: t = t435
lola: REM DEA TR: t = t4404
lola: REM DEA TR: t = t4405
lola: REM DEA TR: t = t436
lola: REM DEA TR: t = t437
lola: REM DEA TR: t = t4406
lola: REM DEA TR: t = t4407
lola: REM DEA TR: t = t438
lola: REM DEA TR: t = t439
lola: REM DEA TR: t = t4408
lola: REM DEA TR: t = t4409
lola: REM DEA TR: t = t440
lola: REM DEA TR: t = t441
lola: REM DEA TR: t = t4410
lola: REM DEA TR: t = t4411
lola: REM DEA TR: t = t442
lola: REM DEA TR: t = t443
lola: REM DEA TR: t = t4412
lola: REM DEA TR: t = t4413
lola: REM DEA TR: t = t444
lola: REM DEA TR: t = t445
lola: REM DEA TR: t = t4414
lola: REM DEA TR: t = t4415
lola: REM DEA TR: t = t446
lola: REM DEA TR: t = t447
lola: REM DEA TR: t = t4418
lola: REM DEA TR: t = t4419
lola: REM DEA TR: t = t450
lola: REM DEA TR: t = t451
lola: REM DEA TR: t = t4420
lola: REM DEA TR: t = t4421
lola: REM DEA TR: t = t452
lola: REM DEA TR: t = t453
lola: REM DEA TR: t = t4422
lola: REM DEA TR: t = t4423
lola: REM DEA TR: t = t454
lola: REM DEA TR: t = t455
lola: REM DEA TR: t = t4424
lola: REM DEA TR: t = t4425
lola: REM DEA TR: t = t456
lola: REM DEA TR: t = t457
lola: REM DEA TR: t = t4426
lola: REM DEA TR: t = t4427
lola: REM DEA TR: t = t458
lola: REM DEA TR: t = t459
lola: REM DEA TR: t = t4428
lola: REM DEA TR: t = t4429
lola: REM DEA TR: t = t460
lola: REM DEA TR: t = t461
lola: REM DEA TR: t = t4430
lola: REM DEA TR: t = t4431
lola: REM DEA TR: t = t462
lola: REM DEA TR: t = t463
lola: REM DEA TR: t = t4432
lola: REM DEA TR: t = t4433
lola: REM DEA TR: t = t464
lola: REM DEA TR: t = t465
lola: REM DEA TR: t = t4434
lola: REM DEA TR: t = t4435
lola: REM DEA TR: t = t466
lola: REM DEA TR: t = t467
lola: REM DEA TR: t = t4436
lola: REM DEA TR: t = t4437
lola: REM DEA TR: t = t468
lola: REM DEA TR: t = t469
lola: REM DEA TR: t = t4438
lola: REM DEA TR: t = t4439
lola: REM DEA TR: t = t470
lola: REM DEA TR: t = t471
lola: REM DEA TR: t = t4440
lola: REM DEA TR: t = t4441
lola: REM DEA TR: t = t472
lola: REM DEA TR: t = t473
lola: REM DEA TR: t = t4442
lola: REM DEA TR: t = t4443
lola: REM DEA TR: t = t474
lola: REM DEA TR: t = t475
lola: REM DEA TR: t = t4444
lola: REM DEA TR: t = t4445
lola: REM DEA TR: t = t476
lola: REM DEA TR: t = t477
lola: REM DEA TR: t = t4446
lola: REM DEA TR: t = t4447
lola: REM DEA TR: t = t478
lola: REM DEA TR: t = t479
lola: REM DEA TR: t = t4450
lola: REM DEA TR: t = t4451
lola: REM DEA TR: t = t482
lola: REM DEA TR: t = t483
lola: REM DEA TR: t = t4452
lola: REM DEA TR: t = t4453
lola: REM DEA TR: t = t484
lola: REM DEA TR: t = t485
lola: REM DEA TR: t = t4454
lola: REM DEA TR: t = t4455
lola: REM DEA TR: t = t486
lola: REM DEA TR: t = t487
lola: REM DEA TR: t = t4456
lola: REM DEA TR: t = t4457
lola: REM DEA TR: t = t488
lola: REM DEA TR: t = t489
lola: REM DEA TR: t = t4458
lola: REM DEA TR: t = t4459
lola: REM DEA TR: t = t490
lola: REM DEA TR: t = t491
lola: REM DEA TR: t = t4460
lola: REM DEA TR: t = t4461
lola: REM DEA TR: t = t492
lola: REM DEA TR: t = t493
lola: REM DEA TR: t = t4462
lola: REM DEA TR: t = t4463
lola: REM DEA TR: t = t494
lola: REM DEA TR: t = t495
lola: REM DEA TR: t = t4464
lola: REM DEA TR: t = t4465
lola: REM DEA TR: t = t496
lola: REM DEA TR: t = t497
lola: REM DEA TR: t = t4466
lola: REM DEA TR: t = t4467
lola: REM DEA TR: t = t498
lola: REM DEA TR: t = t499
lola: REM DEA TR: t = t4468
lola: REM DEA TR: t = t4469
lola: REM DEA TR: t = t500
lola: REM DEA TR: t = t501
lola: REM DEA TR: t = t4470
lola: REM DEA TR: t = t4471
lola: REM DEA TR: t = t502
lola: REM DEA TR: t = t503
lola: REM DEA TR: t = t4472
lola: REM DEA TR: t = t4473
lola: REM DEA TR: t = t504
lola: REM DEA TR: t = t505
lola: REM DEA TR: t = t4474
lola: REM DEA TR: t = t4475
lola: REM DEA TR: t = t506
lola: REM DEA TR: t = t507
lola: REM DEA TR: t = t4476
lola: REM DEA TR: t = t4477
lola: REM DEA TR: t = t508
lola: REM DEA TR: t = t509
lola: REM DEA TR: t = t4478
lola: REM DEA TR: t = t4479
lola: REM DEA TR: t = t510
lola: REM DEA TR: t = t511
lola: REM DEA TR: t = t4482
lola: REM DEA TR: t = t4483
lola: REM DEA TR: t = t514
lola: REM DEA TR: t = t515
lola: REM DEA TR: t = t4484
lola: REM DEA TR: t = t4485
lola: REM DEA TR: t = t516
lola: REM DEA TR: t = t517
lola: REM DEA TR: t = t4486
lola: REM DEA TR: t = t4487
lola: REM DEA TR: t = t518
lola: REM DEA TR: t = t519
lola: REM DEA TR: t = t4488
lola: REM DEA TR: t = t4489
lola: REM DEA TR: t = t520
lola: REM DEA TR: t = t521
lola: REM DEA TR: t = t4490
lola: REM DEA TR: t = t4491
lola: REM DEA TR: t = t522
lola: REM DEA TR: t = t523
lola: REM DEA TR: t = t4492
lola: REM DEA TR: t = t4493
lola: REM DEA TR: t = t524
lola: REM DEA TR: t = t525
lola: REM DEA TR: t = t4494
lola: REM DEA TR: t = t4495
lola: REM DEA TR: t = t526
lola: REM DEA TR: t = t527
lola: REM DEA TR: t = t4498
lola: REM DEA TR: t = t4499
lola: REM DEA TR: t = t530
lola: REM DEA TR: t = t531
lola: REM DEA TR: t = t4500
lola: REM DEA TR: t = t4501
lola: REM DEA TR: t = t532
lola: REM DEA TR: t = t533
lola: REM DEA TR: t = t4502
lola: REM DEA TR: t = t4503
lola: REM DEA TR: t = t534
lola: REM DEA TR: t = t535
lola: REM DEA TR: t = t4504
lola: REM DEA TR: t = t4505
lola: REM DEA TR: t = t536
lola: REM DEA TR: t = t537
lola: REM DEA TR: t = t4506
lola: REM DEA TR: t = t4507
lola: REM DEA TR: t = t538
lola: REM DEA TR: t = t539
lola: REM DEA TR: t = t4508
lola: REM DEA TR: t = t4509
lola: REM DEA TR: t = t540
lola: REM DEA TR: t = t541
lola: REM DEA TR: t = t4510
lola: REM DEA TR: t = t4511
lola: REM DEA TR: t = t542
lola: REM DEA TR: t = t543
lola: REM DEA TR: t = t4514
lola: REM DEA TR: t = t4515
lola: REM DEA TR: t = t546
lola: REM DEA TR: t = t547
lola: REM DEA TR: t = t4516
lola: REM DEA TR: t = t4517
lola: REM DEA TR: t = t548
lola: REM DEA TR: t = t549
lola: REM DEA TR: t = t4518
lola: REM DEA TR: t = t4519
lola: REM DEA TR: t = t550
lola: REM DEA TR: t = t551
lola: REM DEA TR: t = t4520
lola: REM DEA TR: t = t4521
lola: REM DEA TR: t = t552
lola: REM DEA TR: t = t553
lola: REM DEA TR: t = t4522
lola: REM DEA TR: t = t4523
lola: REM DEA TR: t = t554
lola: REM DEA TR: t = t555
lola: REM DEA TR: t = t4524
lola: REM DEA TR: t = t4525
lola: REM DEA TR: t = t556
lola: REM DEA TR: t = t557
lola: REM DEA TR: t = t4526
lola: REM DEA TR: t = t4527
lola: REM DEA TR: t = t558
lola: REM DEA TR: t = t559
lola: REM DEA TR: t = t4530
lola: REM DEA TR: t = t4531
lola: REM DEA TR: t = t562
lola: REM DEA TR: t = t563
lola: REM DEA TR: t = t4532
lola: REM DEA TR: t = t4533
lola: REM DEA TR: t = t564
lola: REM DEA TR: t = t565
lola: REM DEA TR: t = t4534
lola: REM DEA TR: t = t4535
lola: REM DEA TR: t = t566
lola: REM DEA TR: t = t567
lola: REM DEA TR: t = t4536
lola: REM DEA TR: t = t4537
lola: REM DEA TR: t = t568
lola: REM DEA TR: t = t569
lola: REM DEA TR: t = t4538
lola: REM DEA TR: t = t4539
lola: REM DEA TR: t = t570
lola: REM DEA TR: t = t571
lola: REM DEA TR: t = t4540
lola: REM DEA TR: t = t4541
lola: REM DEA TR: t = t572
lola: REM DEA TR: t = t573
lola: REM DEA TR: t = t4542
lola: REM DEA TR: t = t4543
lola: REM DEA TR: t = t574
lola: REM DEA TR: t = t575
lola: REM DEA TR: t = t4546
lola: REM DEA TR: t = t4547
lola: REM DEA TR: t = t578
lola: REM DEA TR: t = t579
lola: REM DEA TR: t = t4548
lola: REM DEA TR: t = t4549
lola: REM DEA TR: t = t580
lola: REM DEA TR: t = t581
lola: REM DEA TR: t = t4550
lola: REM DEA TR: t = t4551
lola: REM DEA TR: t = t582
lola: REM DEA TR: t = t583
lola: REM DEA TR: t = t4552
lola: REM DEA TR: t = t4553
lola: REM DEA TR: t = t584
lola: REM DEA TR: t = t585
lola: REM DEA TR: t = t4554
lola: REM DEA TR: t = t4555
lola: REM DEA TR: t = t586
lola: REM DEA TR: t = t587
lola: REM DEA TR: t = t4556
lola: REM DEA TR: t = t4557
lola: REM DEA TR: t = t588
lola: REM DEA TR: t = t589
lola: REM DEA TR: t = t4558
lola: REM DEA TR: t = t4559
lola: REM DEA TR: t = t590
lola: REM DEA TR: t = t591
lola: REM DEA TR: t = t4562
lola: REM DEA TR: t = t4563
lola: REM DEA TR: t = t594
lola: REM DEA TR: t = t595
lola: REM DEA TR: t = t4564
lola: REM DEA TR: t = t4565
lola: REM DEA TR: t = t596
lola: REM DEA TR: t = t597
lola: REM DEA TR: t = t4566
lola: REM DEA TR: t = t4567
lola: REM DEA TR: t = t598
lola: REM DEA TR: t = t599
lola: REM DEA TR: t = t4568
lola: REM DEA TR: t = t4569
lola: REM DEA TR: t = t600
lola: REM DEA TR: t = t601
lola: REM DEA TR: t = t4570
lola: REM DEA TR: t = t4571
lola: REM DEA TR: t = t602
lola: REM DEA TR: t = t603
lola: REM DEA TR: t = t4572
lola: REM DEA TR: t = t4573
lola: REM DEA TR: t = t604
lola: REM DEA TR: t = t605
lola: REM DEA TR: t = t4574
lola: REM DEA TR: t = t4575
lola: REM DEA TR: t = t606
lola: REM DEA TR: t = t607
lola: REM DEA TR: t = t4578
lola: REM DEA TR: t = t4579
lola: REM DEA TR: t = t610
lola: REM DEA TR: t = t611
lola: REM DEA TR: t = t4580
lola: REM DEA TR: t = t4581
lola: REM DEA TR: t = t612
lola: REM DEA TR: t = t613
lola: REM DEA TR: t = t4582
lola: REM DEA TR: t = t4583
lola: REM DEA TR: t = t614
lola: REM DEA TR: t = t615
lola: REM DEA TR: t = t4584
lola: REM DEA TR: t = t4585
lola: REM DEA TR: t = t616
lola: REM DEA TR: t = t617
lola: REM DEA TR: t = t4586
lola: REM DEA TR: t = t4587
lola: REM DEA TR: t = t618
lola: REM DEA TR: t = t619
lola: REM DEA TR: t = t4588
lola: REM DEA TR: t = t4589
lola: REM DEA TR: t = t620
lola: REM DEA TR: t = t621
lola: REM DEA TR: t = t4590
lola: REM DEA TR: t = t4591
lola: REM DEA TR: t = t622
lola: REM DEA TR: t = t623
lola: REM DEA TR: t = t4594
lola: REM DEA TR: t = t4595
lola: REM DEA TR: t = t626
lola: REM DEA TR: t = t627
lola: REM DEA TR: t = t4596
lola: REM DEA TR: t = t4597
lola: REM DEA TR: t = t628
lola: REM DEA TR: t = t629
lola: REM DEA TR: t = t4598
lola: REM DEA TR: t = t4599
lola: REM DEA TR: t = t630
lola: REM DEA TR: t = t631
lola: REM DEA TR: t = t4600
lola: REM DEA TR: t = t4601
lola: REM DEA TR: t = t632
lola: REM DEA TR: t = t633
lola: REM DEA TR: t = t4602
lola: REM DEA TR: t = t4603
lola: REM DEA TR: t = t634
lola: REM DEA TR: t = t635
lola: REM DEA TR: t = t4604
lola: REM DEA TR: t = t4605
lola: REM DEA TR: t = t636
lola: REM DEA TR: t = t637
lola: REM DEA TR: t = t4606
lola: REM DEA TR: t = t4607
lola: REM DEA TR: t = t638
lola: REM DEA TR: t = t639
lola: REM DEA TR: t = t4610
lola: REM DEA TR: t = t4611
lola: REM DEA TR: t = t642
lola: REM DEA TR: t = t643
lola: REM DEA TR: t = t4612
lola: REM DEA TR: t = t4613
lola: REM DEA TR: t = t644
lola: REM DEA TR: t = t645
lola: REM DEA TR: t = t4614
lola: REM DEA TR: t = t4615
lola: REM DEA TR: t = t646
lola: REM DEA TR: t = t647
lola: REM DEA TR: t = t4618
lola: REM DEA TR: t = t4619
lola: REM DEA TR: t = t650
lola: REM DEA TR: t = t651
lola: REM DEA TR: t = t4620
lola: REM DEA TR: t = t4621
lola: REM DEA TR: t = t652
lola: REM DEA TR: t = t653
lola: REM DEA TR: t = t4622
lola: REM DEA TR: t = t4623
lola: REM DEA TR: t = t654
lola: REM DEA TR: t = t655
lola: REM DEA TR: t = t4626
lola: REM DEA TR: t = t4627
lola: REM DEA TR: t = t658
lola: REM DEA TR: t = t659
lola: REM DEA TR: t = t4628
lola: REM DEA TR: t = t4629
lola: REM DEA TR: t = t660
lola: REM DEA TR: t = t661
lola: REM DEA TR: t = t4630
lola: REM DEA TR: t = t4631
lola: REM DEA TR: t = t662
lola: REM DEA TR: t = t663
lola: REM DEA TR: t = t4634
lola: REM DEA TR: t = t4635
lola: REM DEA TR: t = t666
lola: REM DEA TR: t = t667
lola: REM DEA TR: t = t4636
lola: REM DEA TR: t = t4637
lola: REM DEA TR: t = t668
lola: REM DEA TR: t = t669
lola: REM DEA TR: t = t4638
lola: REM DEA TR: t = t4639
lola: REM DEA TR: t = t670
lola: REM DEA TR: t = t671
lola: REM DEA TR: t = t4642
lola: REM DEA TR: t = t4643
lola: REM DEA TR: t = t674
lola: REM DEA TR: t = t675
lola: REM DEA TR: t = t4644
lola: REM DEA TR: t = t4645
lola: REM DEA TR: t = t676
lola: REM DEA TR: t = t677
lola: REM DEA TR: t = t4646
lola: REM DEA TR: t = t4647
lola: REM DEA TR: t = t678
lola: REM DEA TR: t = t679
lola: REM DEA TR: t = t4650
lola: REM DEA TR: t = t4651
lola: REM DEA TR: t = t682
lola: REM DEA TR: t = t683
lola: REM DEA TR: t = t4652
lola: REM DEA TR: t = t4653
lola: REM DEA TR: t = t684
lola: REM DEA TR: t = t685
lola: REM DEA TR: t = t4654
lola: REM DEA TR: t = t4655
lola: REM DEA TR: t = t686
lola: REM DEA TR: t = t687
lola: REM DEA TR: t = t4658
lola: REM DEA TR: t = t4659
lola: REM DEA TR: t = t690
lola: REM DEA TR: t = t691
lola: REM DEA TR: t = t4660
lola: REM DEA TR: t = t4661
lola: REM DEA TR: t = t692
lola: REM DEA TR: t = t693
lola: REM DEA TR: t = t4662
lola: REM DEA TR: t = t4663
lola: REM DEA TR: t = t694
lola: REM DEA TR: t = t695
lola: REM DEA TR: t = t4666
lola: REM DEA TR: t = t4667
lola: REM DEA TR: t = t698
lola: REM DEA TR: t = t699
lola: REM DEA TR: t = t4668
lola: REM DEA TR: t = t4669
lola: REM DEA TR: t = t700
lola: REM DEA TR: t = t701
lola: REM DEA TR: t = t4670
lola: REM DEA TR: t = t4671
lola: REM DEA TR: t = t702
lola: REM DEA TR: t = t703
lola: REM DEA TR: t = t4674
lola: REM DEA TR: t = t4675
lola: REM DEA TR: t = t706
lola: REM DEA TR: t = t707
lola: REM DEA TR: t = t4676
lola: REM DEA TR: t = t4677
lola: REM DEA TR: t = t708
lola: REM DEA TR: t = t709
lola: REM DEA TR: t = t4678
lola: REM DEA TR: t = t4679
lola: REM DEA TR: t = t710
lola: REM DEA TR: t = t711
lola: REM DEA TR: t = t4682
lola: REM DEA TR: t = t4683
lola: REM DEA TR: t = t714
lola: REM DEA TR: t = t715
lola: REM DEA TR: t = t4684
lola: REM DEA TR: t = t4685
lola: REM DEA TR: t = t716
lola: REM DEA TR: t = t717
lola: REM DEA TR: t = t4686
lola: REM DEA TR: t = t4687
lola: REM DEA TR: t = t718
lola: REM DEA TR: t = t719
lola: REM DEA TR: t = t4690
lola: REM DEA TR: t = t4691
lola: REM DEA TR: t = t722
lola: REM DEA TR: t = t723
lola: REM DEA TR: t = t4692
lola: REM DEA TR: t = t4693
lola: REM DEA TR: t = t724
lola: REM DEA TR: t = t725
lola: REM DEA TR: t = t4694
lola: REM DEA TR: t = t4695
lola: REM DEA TR: t = t726
lola: REM DEA TR: t = t727
lola: REM DEA TR: t = t4698
lola: REM DEA TR: t = t4699
lola: REM DEA TR: t = t730
lola: REM DEA TR: t = t731
lola: REM DEA TR: t = t4700
lola: REM DEA TR: t = t4701
lola: REM DEA TR: t = t732
lola: REM DEA TR: t = t733
lola: REM DEA TR: t = t4702
lola: REM DEA TR: t = t4703
lola: REM DEA TR: t = t734
lola: REM DEA TR: t = t735
lola: REM DEA TR: t = t4706
lola: REM DEA TR: t = t4707
lola: REM DEA TR: t = t738
lola: REM DEA TR: t = t739
lola: REM DEA TR: t = t4708
lola: REM DEA TR: t = t4709
lola: REM DEA TR: t = t740
lola: REM DEA TR: t = t741
lola: REM DEA TR: t = t4710
lola: REM DEA TR: t = t4711
lola: REM DEA TR: t = t742
lola: REM DEA TR: t = t743
lola: REM DEA TR: t = t4714
lola: REM DEA TR: t = t4715
lola: REM DEA TR: t = t746
lola: REM DEA TR: t = t747
lola: REM DEA TR: t = t4716
lola: REM DEA TR: t = t4717
lola: REM DEA TR: t = t748
lola: REM DEA TR: t = t749
lola: REM DEA TR: t = t4718
lola: REM DEA TR: t = t4719
lola: REM DEA TR: t = t750
lola: REM DEA TR: t = t751
lola: REM DEA TR: t = t4722
lola: REM DEA TR: t = t4723
lola: REM DEA TR: t = t754
lola: REM DEA TR: t = t755
lola: REM DEA TR: t = t4724
lola: REM DEA TR: t = t4725
lola: REM DEA TR: t = t756
lola: REM DEA TR: t = t757
lola: REM DEA TR: t = t4726
lola: REM DEA TR: t = t4727
lola: REM DEA TR: t = t758
lola: REM DEA TR: t = t759
lola: REM DEA TR: t = t4730
lola: REM DEA TR: t = t4731
lola: REM DEA TR: t = t762
lola: REM DEA TR: t = t763
lola: REM DEA TR: t = t4732
lola: REM DEA TR: t = t4733
lola: REM DEA TR: t = t764
lola: REM DEA TR: t = t765
lola: REM DEA TR: t = t4734
lola: REM DEA TR: t = t4735
lola: REM DEA TR: t = t766
lola: REM DEA TR: t = t767
lola: REM DEA TR: t = t4738
lola: REM DEA TR: t = t4739
lola: REM DEA TR: t = t770
lola: REM DEA TR: t = t771
lola: REM DEA TR: t = t4742
lola: REM DEA TR: t = t4743
lola: REM DEA TR: t = t774
lola: REM DEA TR: t = t775
lola: REM DEA TR: t = t4746
lola: REM DEA TR: t = t4747
lola: REM DEA TR: t = t778
lola: REM DEA TR: t = t779
lola: REM DEA TR: t = t4750
lola: REM DEA TR: t = t4751
lola: REM DEA TR: t = t782
lola: REM DEA TR: t = t783
lola: REM DEA TR: t = t4754
lola: REM DEA TR: t = t4755
lola: REM DEA TR: t = t786
lola: REM DEA TR: t = t787
lola: REM DEA TR: t = t4758
lola: REM DEA TR: t = t4759
lola: REM DEA TR: t = t790
lola: REM DEA TR: t = t791
lola: REM DEA TR: t = t4762
lola: REM DEA TR: t = t4763
lola: REM DEA TR: t = t794
lola: REM DEA TR: t = t795
lola: REM DEA TR: t = t4766
lola: REM DEA TR: t = t4767
lola: REM DEA TR: t = t798
lola: REM DEA TR: t = t799
lola: REM DEA TR: t = t802
lola: REM DEA TR: t = t803
lola: REM DEA TR: t = t4770
lola: REM DEA TR: t = t4771
lola: REM DEA TR: t = t806
lola: REM DEA TR: t = t807
lola: REM DEA TR: t = t4774
lola: REM DEA TR: t = t4775
lola: REM DEA TR: t = t810
lola: REM DEA TR: t = t811
lola: REM DEA TR: t = t4778
lola: REM DEA TR: t = t4779
lola: REM DEA TR: t = t814
lola: REM DEA TR: t = t815
lola: REM DEA TR: t = t4782
lola: REM DEA TR: t = t4783
lola: REM DEA TR: t = t818
lola: REM DEA TR: t = t819
lola: REM DEA TR: t = t4786
lola: REM DEA TR: t = t4787
lola: REM DEA TR: t = t822
lola: REM DEA TR: t = t823
lola: REM DEA TR: t = t4790
lola: REM DEA TR: t = t4791
lola: REM DEA TR: t = t826
lola: REM DEA TR: t = t827
lola: REM DEA TR: t = t4794
lola: REM DEA TR: t = t4795
lola: REM DEA TR: t = t830
lola: REM DEA TR: t = t831
lola: REM DEA TR: t = t4798
lola: REM DEA TR: t = t4799
lola: REM DEA TR: t = t834
lola: REM DEA TR: t = t835
lola: REM DEA TR: t = t4802
lola: REM DEA TR: t = t4803
lola: REM DEA TR: t = t838
lola: REM DEA TR: t = t839
lola: REM DEA TR: t = t4806
lola: REM DEA TR: t = t4807
lola: REM DEA TR: t = t842
lola: REM DEA TR: t = t843
lola: REM DEA TR: t = t4810
lola: REM DEA TR: t = t4811
lola: REM DEA TR: t = t846
lola: REM DEA TR: t = t847
lola: REM DEA TR: t = t4814
lola: REM DEA TR: t = t4815
lola: REM DEA TR: t = t850
lola: REM DEA TR: t = t851
lola: REM DEA TR: t = t4818
lola: REM DEA TR: t = t4819
lola: REM DEA TR: t = t854
lola: REM DEA TR: t = t855
lola: REM DEA TR: t = t4822
lola: REM DEA TR: t = t4823
lola: REM DEA TR: t = t858
lola: REM DEA TR: t = t859
lola: REM DEA TR: t = t4826
lola: REM DEA TR: t = t4827
lola: REM DEA TR: t = t862
lola: REM DEA TR: t = t863
lola: REM DEA TR: t = t4830
lola: REM DEA TR: t = t4831
lola: REM DEA TR: t = t866
lola: REM DEA TR: t = t867
lola: REM DEA TR: t = t4834
lola: REM DEA TR: t = t4835
lola: REM DEA TR: t = t870
lola: REM DEA TR: t = t871
lola: REM DEA TR: t = t4838
lola: REM DEA TR: t = t4839
lola: REM DEA TR: t = t874
lola: REM DEA TR: t = t875
lola: REM DEA TR: t = t4842
lola: REM DEA TR: t = t4843
lola: REM DEA TR: t = t878
lola: REM DEA TR: t = t879
lola: REM DEA TR: t = t4846
lola: REM DEA TR: t = t4847
lola: REM DEA TR: t = t882
lola: REM DEA TR: t = t883
lola: REM DEA TR: t = t4850
lola: REM DEA TR: t = t4851
lola: REM DEA TR: t = t886
lola: REM DEA TR: t = t887
lola: REM DEA TR: t = t4854
lola: REM DEA TR: t = t4855
lola: REM DEA TR: t = t890
lola: REM DEA TR: t = t891
lola: REM DEA TR: t = t4858
lola: REM DEA TR: t = t4859
lola: REM DEA TR: t = t894
lola: REM DEA TR: t = t895
lola: REM DEA TR: t = t4862
lola: REM DEA TR: t = t4863
lola: REM DEA TR: t = t7616
lola: REM DEA TR: t = t3648
lola: REM DEA TR: t = t7626
lola: REM DEA TR: t = t3658
lola: REM DEA TR: t = t7636
lola: REM DEA TR: t = t3668
lola: REM DEA TR: t = t7646
lola: REM DEA TR: t = t3678
lola: REM DEA TR: t = t7656
lola: REM DEA TR: t = t3688
lola: REM DEA TR: t = t7666
lola: REM DEA TR: t = t3698
lola: REM DEA TR: t = t2656
lola: REM DEA TR: t = t6624
lola: REM DEA TR: t = t2658
lola: REM DEA TR: t = t6626
lola: REM DEA TR: t = t3708
lola: REM DEA TR: t = t7676
lola: REM DEA TR: t = t3718
lola: REM DEA TR: t = t7686
lola: REM DEA TR: t = t3728
lola: REM DEA TR: t = t7696
lola: REM DEA TR: t = t2666
lola: REM DEA TR: t = t6634
lola: REM DEA TR: t = t2668
lola: REM DEA TR: t = t6636
lola: REM DEA TR: t = t2676
lola: REM DEA TR: t = t6644
lola: REM DEA TR: t = t2678
lola: REM DEA TR: t = t6646
lola: REM DEA TR: t = t3758
lola: REM DEA TR: t = t7726
lola: REM DEA TR: t = t2688
lola: REM DEA TR: t = t6656
lola: REM DEA TR: t = t2690
lola: REM DEA TR: t = t6658
lola: REM DEA TR: t = t3768
lola: REM DEA TR: t = t7736
lola: REM DEA TR: t = t2698
lola: REM DEA TR: t = t6666
lola: REM DEA TR: t = t2700
lola: REM DEA TR: t = t6668
lola: REM DEA TR: t = t2708
lola: REM DEA TR: t = t6676
lola: REM DEA TR: t = t2710
lola: REM DEA TR: t = t6678
lola: REM DEA TR: t = t2720
lola: REM DEA TR: t = t6688
lola: REM DEA TR: t = t2722
lola: REM DEA TR: t = t6690
lola: REM DEA TR: t = t2726
lola: REM DEA TR: t = t6694
lola: REM DEA TR: t = t3798
lola: REM DEA TR: t = t7766
lola: REM DEA TR: t = t2728
lola: REM DEA TR: t = t6696
lola: REM DEA TR: t = t2730
lola: REM DEA TR: t = t6698
lola: REM DEA TR: t = t2732
lola: REM DEA TR: t = t6700
lola: REM DEA TR: t = t3808
lola: REM DEA TR: t = t7776
lola: REM DEA TR: t = t3818
lola: REM DEA TR: t = t7786
lola: REM DEA TR: t = t2768
lola: REM DEA TR: t = t6736
lola: REM DEA TR: t = t2770
lola: REM DEA TR: t = t6738
lola: REM DEA TR: t = t2772
lola: REM DEA TR: t = t6740
lola: REM DEA TR: t = t2786
lola: REM DEA TR: t = t6754
lola: REM DEA TR: t = t8338
lola: REM DEA TR: t = t8594
lola: REM DEA TR: t = t2788
lola: REM DEA TR: t = t6756
lola: REM DEA TR: t = t2790
lola: REM DEA TR: t = t6758
lola: REM DEA TR: t = t2792
lola: REM DEA TR: t = t6760
lola: REM DEA TR: t = t2796
lola: REM DEA TR: t = t6764
lola: REM DEA TR: t = t8604
lola: REM DEA TR: t = t8348
lola: REM DEA TR: t = t2798
lola: REM DEA TR: t = t6766
lola: REM DEA TR: t = t8614
lola: REM DEA TR: t = t8358
lola: REM DEA TR: t = t2808
lola: REM DEA TR: t = t6776
lola: REM DEA TR: t = t2818
lola: REM DEA TR: t = t6786
lola: REM DEA TR: t = t2832
lola: REM DEA TR: t = t6800
lola: REM DEA TR: t = t2836
lola: REM DEA TR: t = t6804
lola: REM DEA TR: t = t8684
lola: REM DEA TR: t = t8428
lola: REM DEA TR: t = t3712
lola: REM DEA TR: t = t7680
lola: REM DEA TR: t = t3726
lola: REM DEA TR: t = t7694
lola: REM DEA TR: t = t3742
lola: REM DEA TR: t = t7710
lola: REM DEA TR: t = t3752
lola: REM DEA TR: t = t7720
lola: REM DEA TR: t = t3766
lola: REM DEA TR: t = t7734
lola: REM DEA TR: t = t3780
lola: REM DEA TR: t = t7748
lola: REM DEA TR: t = t3782
lola: REM DEA TR: t = t7750
lola: REM DEA TR: t = t3784
lola: REM DEA TR: t = t7752
lola: REM DEA TR: t = t3790
lola: REM DEA TR: t = t7758
lola: REM DEA TR: t = t3792
lola: REM DEA TR: t = t7760
lola: REM DEA TR: t = t3796
lola: REM DEA TR: t = t7764
lola: REM DEA TR: t = t3800
lola: REM DEA TR: t = t7768
lola: REM DEA TR: t = t3806
lola: REM DEA TR: t = t7774
lola: REM DEA TR: t = t3810
lola: REM DEA TR: t = t7778
lola: REM DEA TR: t = t3816
lola: REM DEA TR: t = t7784
lola: REM DEA TR: t = t3822
lola: REM DEA TR: t = t7790
lola: REM DEA TR: t = t3824
lola: REM DEA TR: t = t7792
lola: REM DEA TR: t = t3826
lola: REM DEA TR: t = t7794
lola: REM DEA TR: t = t8324
lola: REM DEA TR: t = t8580
lola: REM DEA TR: t = t8326
lola: REM DEA TR: t = t8582
lola: REM DEA TR: t = t8334
lola: REM DEA TR: t = t8590
lola: REM DEA TR: t = t8336
lola: REM DEA TR: t = t8592
lola: REM DEA TR: t = t8340
lola: REM DEA TR: t = t8596
lola: REM DEA TR: t = t8342
lola: REM DEA TR: t = t8598
lola: REM DEA TR: t = t8600
lola: REM DEA TR: t = t8344
lola: REM DEA TR: t = t8606
lola: REM DEA TR: t = t8350
lola: REM DEA TR: t = t8608
lola: REM DEA TR: t = t8352
lola: REM DEA TR: t = t8610
lola: REM DEA TR: t = t8354
lola: REM DEA TR: t = t8616
lola: REM DEA TR: t = t8360
lola: REM DEA TR: t = t8618
lola: REM DEA TR: t = t8362
lola: REM DEA TR: t = t8622
lola: REM DEA TR: t = t8366
lola: REM DEA TR: t = t8626
lola: REM DEA TR: t = t8370
lola: REM DEA TR: t = t8646
lola: REM DEA TR: t = t8390
lola: REM DEA TR: t = t8656
lola: REM DEA TR: t = t8400
lola: REM DEA TR: t = t8658
lola: REM DEA TR: t = t8402
lola: REM DEA TR: t = t8660
lola: REM DEA TR: t = t8404
lola: REM DEA TR: t = t8662
lola: REM DEA TR: t = t8406
lola: REM DEA TR: t = t8668
lola: REM DEA TR: t = t8412
lola: REM DEA TR: t = t8670
lola: REM DEA TR: t = t8414
lola: REM DEA TR: t = t8672
lola: REM DEA TR: t = t8416
lola: REM DEA TR: t = t8678
lola: REM DEA TR: t = t8422
lola: REM DEA TR: t = t8680
lola: REM DEA TR: t = t8424
lola: REM DEA TR: t = t8682
lola: REM DEA TR: t = t8426
lola: REM DEA TR: t = t8686
lola: REM DEA TR: t = t8430
lola: REM DEA TR: t = t8690
lola: REM DEA TR: t = t8434
lola: REM DEA TR: t = t3778
lola: REM DEA TR: t = t7746
lola: REM DEA TR: t = t3788
lola: REM DEA TR: t = t7756
lola: REM DEA TR: t = t3828
lola: REM DEA TR: t = t7796
lola: REM DEA TR: t = t8328
lola: REM DEA TR: t = t8584
lola: REM DEA TR: t = t8624
lola: REM DEA TR: t = t8368
lola: REM DEA TR: t = t2838
lola: REM DEA TR: t = t6806
lola: REM DEA TR: t = t8644
lola: REM DEA TR: t = t8388
lola: REM DEA TR: t = t8654
lola: REM DEA TR: t = t8398
lola: REM DEA TR: t = t8664
lola: REM DEA TR: t = t8408
lola: REM DEA TR: t = t8674
lola: REM DEA TR: t = t8418
lola: REM DEA TR: t = t3776
lola: REM DEA TR: t = t7744
lola: REM DEA TR: t = t3786
lola: REM DEA TR: t = t7754
lola: REM DEA TR: t = t3830
lola: REM DEA TR: t = t7798
lola: REM DEA TR: t = t8320
lola: REM DEA TR: t = t8576
lola: REM DEA TR: t = t8322
lola: REM DEA TR: t = t8578
lola: REM DEA TR: t = t8330
lola: REM DEA TR: t = t8586
lola: REM DEA TR: t = t8332
lola: REM DEA TR: t = t8588
lola: REM DEA TR: t = t8628
lola: REM DEA TR: t = t8372
lola: REM DEA TR: t = t8630
lola: REM DEA TR: t = t8374
lola: REM DEA TR: t = t8640
lola: REM DEA TR: t = t8384
lola: REM DEA TR: t = t8642
lola: REM DEA TR: t = t8386
lola: REM DEA TR: t = t8648
lola: REM DEA TR: t = t8392
lola: REM DEA TR: t = t8650
lola: REM DEA TR: t = t8394
lola: REM DEA TR: t = t8652
lola: REM DEA TR: t = t8396
lola: REM DEA TR: t = t8688
lola: REM DEA TR: t = t8432
lola: REM DEA TR: t = t8692
lola: REM DEA TR: t = t8436
lola: REM DEA TR: t = t8694
lola: REM DEA TR: t = t8438
lola: A 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="FunctionPointer-PT-c064"
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-5348"
echo " Executing tool lola"
echo " Input is FunctionPointer-PT-c064, 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 r180-tall-167838868000471"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FunctionPointer-PT-c064.tgz
mv FunctionPointer-PT-c064 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 ;