About the Execution of LoLA for FunctionPointer-PT-c032
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4534.500 | 1800000.00 | 7147726.00 | 19.30 | [undef] | Time out reached |
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-167838868000468.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-c032, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r180-tall-167838868000468
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.6M
-rw-r--r-- 1 mcc users 7.2K Feb 25 11:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 25 11:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.5K Feb 25 11:53 CTLFireability.txt
-rw-r--r-- 1 mcc users 36K Feb 25 11:53 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K 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.5K Feb 25 16:09 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:09 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 12:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 109K Feb 25 12:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.6K Feb 25 11:59 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 82K Feb 25 11:59 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 StableMarking
=== Now, execution of the tool begins
BK_START 1679420278038
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=StableMarking
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=FunctionPointer-PT-c032
Not applying reductions.
Model is PT
StableMarking PT
starting LoLA
BK_INPUT FunctionPointer-PT-c032
BK_EXAMINATION: StableMarking
bin directory: /home/mcc/BenchKit/bin//../lola/bin/
current directory: /home/mcc/execution
GlobalProperty: StableMarking
TIME LIMIT: Killed by timeout after 1800 seconds
MemTotal: 16393216 kB
MemFree: 11732580 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16222100 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
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 = t2764
lola: REM DEA TR: t = t6732
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 = t2774
lola: REM DEA TR: t = t6742
lola: REM DEA TR: t = t2784
lola: REM DEA TR: t = t6752
lola: REM DEA TR: t = t2794
lola: REM DEA TR: t = t6762
lola: REM DEA TR: t = t2834
lola: REM DEA TR: t = t6802
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: STATE EQUATION TRIES PLACE l1528
sara: try reading problem file stateEquationProblem-ConstantPlace-627.sara.
lola: LAUNCH SYMM
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 41
lola: find path: 420
lola: goal oriented search: 45
lola: symmetry: 1122
lola: reporting
lola: not produced: 41
lola: find path: 420
lola: goal oriented search: 45
lola: symmetry: 1122
lola: reporting
lola: not produced: 41
lola: find path: 420
lola: goal oriented search: 45
lola: symmetry: 1122
lola: reporting
lola: not produced: 41
lola: find path: 420
lola: goal oriented search: 45
lola: symmetry: 1122
lola: reporting
lola: not produced: 41
lola: find path: 420
lola: goal oriented search: 45
lola: symmetry: 1122
lola: reporting
lola: not produced: 41
lola: find path: 420
lola: goal oriented search: 45
lola: symmetry: 1122
lola: reporting
lola: not produced: 41
lola: find path: 420
lola: goal oriented search: 45
lola: symmetry: 1122
lola: reporting
lola: not produced: 41
lola: find path: 420
lola: goal oriented search: 45
lola: symmetry: 1122
lola: reporting
lola: not produced: 39
lola: find path: 421
lola: goal oriented search: 45
lola: symmetry: 1123
lola: reporting
lola: not produced: 39
lola: find path: 421
lola: goal oriented search: 45
lola: symmetry: 1123
lola: reporting
lola: not produced: 37
lola: find path: 422
lola: goal oriented search: 45
lola: symmetry: 1124
lola: reporting
lola: not produced: 37
lola: find path: 422
lola: goal oriented search: 45
lola: symmetry: 1124
lola: reporting
lola: not produced: 37
lola: find path: 422
lola: goal oriented search: 45
lola: symmetry: 1124
lola: reporting
lola: not produced: 37
lola: find path: 422
lola: goal oriented search: 45
lola: symmetry: 1124
lola: reporting
lola: not produced: 37
lola: find path: 422
lola: goal oriented search: 45
lola: symmetry: 1124
lola: reporting
lola: not produced: 33
lola: find path: 423
lola: goal oriented search: 45
lola: symmetry: 1127
lola: reporting
lola: not produced: 33
lola: find path: 423
lola: goal oriented search: 45
lola: symmetry: 1127
lola: reporting
lola: not produced: 33
lola: find path: 423
lola: goal oriented search: 45
lola: symmetry: 1127
lola: reporting
lola: not produced: 33
lola: find path: 423
lola: goal oriented search: 45
lola: symmetry: 1127
lola: reporting
lola: not produced: 33
lola: find path: 423
lola: goal oriented search: 45
lola: symmetry: 1127
lola: reporting
lola: not produced: 33
lola: find path: 423
lola: goal oriented search: 45
lola: symmetry: 1127
lola: reporting
lola: not produced: 33
lola: find path: 423
lola: goal oriented search: 45
lola: symmetry: 1127
lola: reporting
lola: not produced: 33
lola: find path: 423
lola: goal oriented search: 45
lola: symmetry: 1127
lola: reporting
lola: not produced: 25
lola: find path: 424
lola: goal oriented search: 45
lola: symmetry: 1134
lola: reporting
lola: not produced: 25
lola: find path: 424
lola: goal oriented search: 45
lola: symmetry: 1134
lola: reporting
lola: not produced: 25
lola: find path: 424
lola: goal oriented search: 45
lola: symmetry: 1134
lola: reporting
lola: not produced: 25
lola: find path: 424
lola: goal oriented search: 45
lola: symmetry: 1134
lola: reporting
lola: not produced: 21
lola: find path: 428
lola: goal oriented search: 45
lola: symmetry: 1134
lola: reporting
lola: not produced: 21
lola: find path: 428
lola: goal oriented search: 45
lola: symmetry: 1134
lola: reporting
lola: not produced: 21
lola: find path: 428
lola: goal oriented search: 45
lola: symmetry: 1134
lola: reporting
lola: not produced: 21
lola: find path: 428
lola: goal oriented search: 45
lola: symmetry: 1134
lola: reporting
lola: not produced: 21
lola: find path: 428
lola: goal oriented search: 45
lola: symmetry: 1134
lola: reporting
lola: not produced: 21
lola: find path: 428
lola: goal oriented search: 45
lola: symmetry: 1134
lola: reporting
lola: not produced: 21
lola: find path: 428
lola: goal oriented search: 45
lola: symmetry: 1134
lola: reporting
lola: not produced: 21
lola: find path: 428
lola: goal oriented search: 45
lola: symmetry: 1134
lola: reporting
lola: not produced: 17
lola: find path: 429
lola: goal oriented search: 45
lola: symmetry: 1137
lola: reporting
lola: not produced: 17
lola: find path: 429
lola: goal oriented search: 45
lola: symmetry: 1137
lola: reporting
lola: not produced: 17
lola: find path: 429
lola: goal oriented search: 45
lola: symmetry: 1137
lola: reporting
lola: not produced: 17
lola: find path: 429
lola: goal oriented search: 45
lola: symmetry: 1137
lola: reporting
lola: not produced: 17
lola: find path: 429
lola: goal oriented search: 45
lola: symmetry: 1137
lola: reporting
lola: not produced: 17
lola: find path: 429
lola: goal oriented search: 45
lola: symmetry: 1137
lola: reporting
lola: not produced: 17
lola: find path: 429
lola: goal oriented search: 45
lola: symmetry: 1137
lola: reporting
lola: not produced: 17
lola: find path: 429
lola: goal oriented search: 45
lola: symmetry: 1137
lola: reporting
lola: not produced: 17
lola: find path: 429
lola: goal oriented search: 45
lola: symmetry: 1137
lola: reporting
lola: not produced: 15
lola: find path: 430
lola: goal oriented search: 45
lola: symmetry: 1138
lola: reporting
lola: not produced: 15
lola: find path: 430
lola: goal oriented search: 45
lola: symmetry: 1138
lola: reporting
lola: not produced: 15
lola: find path: 430
lola: goal oriented search: 45
lola: symmetry: 1138
lola: reporting
lola: not produced: 15
lola: find path: 430
lola: goal oriented search: 45
lola: symmetry: 1138
lola: reporting
lola: not produced: 15
lola: find path: 430
lola: goal oriented search: 45
lola: symmetry: 1138
lola: reporting
lola: not produced: 15
lola: find path: 430
lola: goal oriented search: 45
lola: symmetry: 1138
lola: reporting
lola: not produced: 15
lola: find path: 430
lola: goal oriented search: 45
lola: symmetry: 1138
lola: reporting
lola: not produced: 15
lola: find path: 430
lola: goal oriented search: 45
lola: symmetry: 1138
lola: reporting
lola: not produced: 11
lola: find path: 431
lola: goal oriented search: 45
lola: symmetry: 1141
lola: reporting
lola: not produced: 11
lola: find path: 431
lola: goal oriented search: 45
lola: symmetry: 1141
lola: reporting
lola: not produced: 11
lola: find path: 431
lola: goal oriented search: 45
lola: symmetry: 1141
lola: reporting
lola: not produced: 11
lola: find path: 431
lola: goal oriented search: 45
lola: symmetry: 1141
lola: reporting
lola: not produced: 11
lola: find path: 431
lola: goal oriented search: 45
lola: symmetry: 1141
lola: reporting
lola: not produced: 11
lola: find path: 431
lola: goal oriented search: 45
lola: symmetry: 1141
lola: reporting
lola: not produced: 11
lola: find path: 431
lola: goal oriented search: 45
lola: symmetry: 1141
lola: reporting
lola: not produced: 11
lola: find path: 431
lola: goal oriented search: 45
lola: symmetry: 1141
lola: reporting
lola: not produced: 11
lola: find path: 431
lola: goal oriented search: 45
lola: symmetry: 1141
lola: reporting
lola: not produced: 7
lola: find path: 432
lola: goal oriented search: 45
lola: symmetry: 1144
lola: reporting
lola: not produced: 7
lola: find path: 432
lola: goal oriented search: 45
lola: symmetry: 1144
lola: reporting
lola: not produced: 7
lola: find path: 432
lola: goal oriented search: 45
lola: symmetry: 1144
lola: reporting
lola: not produced: 7
lola: find path: 432
lola: goal oriented search: 45
lola: symmetry: 1144
lola: reporting
lola: not produced: 7
lola: find path: 432
lola: goal oriented search: 45
lola: symmetry: 1144
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: reporting
lola: not produced: 1
lola: find path: 435
lola: goal oriented search: 45
lola: symmetry: 1147
lola: caught signal Terminated - aborting LoLA
FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Time elapsed: 1800 secs. Pages in use: 159
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-c032"
export BK_EXAMINATION="StableMarking"
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-c032, examination is StableMarking"
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-167838868000468"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FunctionPointer-PT-c032.tgz
mv FunctionPointer-PT-c032 execution
cd execution
if [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "UpperBounds" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] || [ "StableMarking" = "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 [ "StableMarking" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StableMarking" != "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 "StableMarking.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StableMarking.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StableMarking.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 [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] ; then
echo "FORMULA_NAME StableMarking"
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 ;