fond
Model Checking Contest 2021
11th edition, Paris, France, June 23, 2021
Execution of r315-tall-162132115100051
Last Updated
Jun 28, 2021

About the Execution of LoLA for SemanticWebServices-PT-S256P06

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
16187.247 88266.00 175362.00 665.50 [undef] Cannot compute

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2021-input.r315-tall-162132115100051.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-4028
Executing tool lola
Input is SemanticWebServices-PT-S256P06, examination is ReachabilityDeadlock
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r315-tall-162132115100051
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 14K May 15 08:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 130K May 15 08:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 13K May 15 08:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 109K May 15 08:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K May 12 08:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 12 08:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 12 08:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 12 08:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 08:13 NewModel
-rw-r--r-- 1 mcc users 3.5K May 11 20:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 11 20:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 11 17:18 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 11 17:18 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K May 12 04:42 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 12 04:42 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 08:13 equiv_col
-rw-r--r-- 1 mcc users 8 May 12 08:13 instance
-rw-r--r-- 1 mcc users 6 May 12 08:13 iscolored
-rw-r--r-- 1 mcc users 16M May 12 08:13 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

FORMULA_NAME ReachabilityDeadlock

=== Now, execution of the tool begins

BK_START 1621401232116

starting LoLA
BK_INPUT SemanticWebServices-PT-S256P06
BK_EXAMINATION: ReachabilityDeadlock
bin directory: /home/mcc/BenchKit/bin
current directory: /home/mcc/execution
GlobalProperty: ReachabilityDeadlock

BK_STOP 1621401320382

--------------------
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 = t8614
lola: REM DEA TR: t = t8630
lola: REM DEA TR: t = t8633
lola: REM DEA TR: t = t8634
lola: REM DEA TR: t = t8650
lola: REM DEA TR: t = t8653
lola: REM DEA TR: t = t8654
lola: REM DEA TR: t = t8663
lola: REM DEA TR: t = t8667
lola: REM DEA TR: t = t8668
lola: REM DEA TR: t = t8669
lola: REM DEA TR: t = t8679
lola: REM DEA TR: t = t8698
lola: REM DEA TR: t = t8702
lola: REM DEA TR: t = t8703
lola: REM DEA TR: t = t8704
lola: REM DEA TR: t = t8717
lola: REM DEA TR: t = t8718
lola: REM DEA TR: t = t8719
lola: REM DEA TR: t = t8725
lola: REM DEA TR: t = t8761
lola: REM DEA TR: t = t8832
lola: REM DEA TR: t = t8835
lola: REM DEA TR: t = t8836
lola: REM DEA TR: t = t8845
lola: REM DEA TR: t = t8915
lola: REM DEA TR: t = t1808
lola: REM DEA TR: t = t1837
lola: REM DEA TR: t = t1848
lola: REM DEA TR: t = t1857
lola: REM DEA TR: t = t1868
lola: REM DEA TR: t = t1875
lola: REM DEA TR: t = t3098
lola: REM DEA TR: t = t3113
lola: REM DEA TR: t = t3119
lola: REM DEA TR: t = t3133
lola: REM DEA TR: t = t8469
lola: REM DEA TR: t = t8476
lola: REM DEA TR: t = t8541
lola: REM DEA TR: t = t8545
lola: REM DEA TR: t = t8556
lola: REM DEA TR: t = t8559
lola: REM DEA TR: t = t8560
lola: REM DEA TR: t = t8568
lola: REM DEA TR: t = t8570
lola: REM DEA TR: t = t8577
lola: REM DEA TR: t = t8580
lola: REM DEA TR: t = t8581
lola: REM DEA TR: t = t8589
lola: REM DEA TR: t = t8590
lola: REM DEA TR: t = t8591
lola: REM DEA TR: t = t8595
lola: REM DEA TR: t = t8596
lola: REM DEA TR: t = t8597
lola: REM DEA TR: t = t8599
lola: REM DEA TR: t = t5992
lola: REM DEA TR: t = t1807
lola: REM DEA TR: t = t1835
lola: REM DEA TR: t = t1847
lola: REM DEA TR: t = t1856
lola: REM DEA TR: t = t1866
lola: REM DEA TR: t = t1874
lola: REM DEA TR: t = t3097
lola: REM DEA TR: t = t3111
lola: REM DEA TR: t = t3118
lola: REM DEA TR: t = t3131
lola: REM DEA TR: t = t3096
lola: REM DEA TR: t = t3110
lola: REM DEA TR: t = t3117
lola: REM DEA TR: t = t3130
lola: REM DEA TR: t = t1776
lola: REM DEA TR: t = t1806
lola: REM DEA TR: t = t1813
lola: REM DEA TR: t = t1833
lola: REM DEA TR: t = t1846
lola: REM DEA TR: t = t1864
lola: REM DEA TR: t = t3084
lola: REM DEA TR: t = t3095
lola: REM DEA TR: t = t3099
lola: REM DEA TR: t = t3116
lola: REM DEA TR: t = t2505
lola: REM DEA TR: t = t2506
lola: REM DEA TR: t = t2507
lola: REM DEA TR: t = t2509
lola: REM DEA TR: t = t2510
lola: REM DEA TR: t = t2512
lola: REM DEA TR: t = t2515
lola: REM DEA TR: t = t2516
lola: REM DEA TR: t = t2518
lola: REM DEA TR: t = t2521
lola: REM DEA TR: t = t2525
lola: REM DEA TR: t = t2526
lola: REM DEA TR: t = t2528
lola: REM DEA TR: t = t2531
lola: REM DEA TR: t = t2535
lola: REM DEA TR: t = t2652
lola: REM DEA TR: t = t2653
lola: REM DEA TR: t = t2654
lola: REM DEA TR: t = t2655
lola: REM DEA TR: t = t2657
lola: REM DEA TR: t = t2658
lola: REM DEA TR: t = t2659
lola: REM DEA TR: t = t2661
lola: REM DEA TR: t = t2662
lola: REM DEA TR: t = t2664
lola: REM DEA TR: t = t2667
lola: REM DEA TR: t = t2668
lola: REM DEA TR: t = t2669
lola: REM DEA TR: t = t2671
lola: REM DEA TR: t = t2672
lola: REM DEA TR: t = t2674
lola: REM DEA TR: t = t2677
lola: REM DEA TR: t = t2678
lola: REM DEA TR: t = t2680
lola: REM DEA TR: t = t2683
lola: REM DEA TR: t = t2808
lola: REM DEA TR: t = t2809
lola: REM DEA TR: t = t2810
lola: REM DEA TR: t = t2811
lola: REM DEA TR: t = t2812
lola: REM DEA TR: t = t2814
lola: REM DEA TR: t = t2815
lola: REM DEA TR: t = t2816
lola: REM DEA TR: t = t2817
lola: REM DEA TR: t = t2819
lola: REM DEA TR: t = t2820
lola: REM DEA TR: t = t2821
lola: REM DEA TR: t = t2823
lola: REM DEA TR: t = t2824
lola: REM DEA TR: t = t2826
lola: REM DEA TR: t = t2941
lola: REM DEA TR: t = t2942
lola: REM DEA TR: t = t2943
lola: REM DEA TR: t = t2944
lola: REM DEA TR: t = t2945
lola: REM DEA TR: t = t2946
lola: REM DEA TR: t = t3022
lola: REM DEA TR: t = t4443
lola: REM DEA TR: t = t4538
lola: REM DEA TR: t = t4539
lola: REM DEA TR: t = t4540
lola: REM DEA TR: t = t4541
lola: REM DEA TR: t = t4645
lola: REM DEA TR: t = t4646
lola: REM DEA TR: t = t4647
lola: REM DEA TR: t = t4648
lola: REM DEA TR: t = t4649
lola: REM DEA TR: t = t4650
lola: REM DEA TR: t = t4758
lola: REM DEA TR: t = t4759
lola: REM DEA TR: t = t4760
lola: REM DEA TR: t = t4761
lola: REM DEA TR: t = t4862
lola: REM DEA TR: t = t2257
lola: REM DEA TR: t = t2372
lola: REM DEA TR: t = t2373
lola: REM DEA TR: t = t2375
lola: REM DEA TR: t = t2378
lola: REM DEA TR: t = t2382
lola: REM DEA TR: t = t2387
lola: REM DEA TR: t = t4350
lola: REM DEA TR: t = t4439
lola: REM DEA TR: t = t4440
lola: REM DEA TR: t = t4441
lola: REM DEA TR: t = t4442
lola: REM DEA TR: t = t4532
lola: REM DEA TR: t = t4533
lola: REM DEA TR: t = t4534
lola: REM DEA TR: t = t4535
lola: REM DEA TR: t = t4536
lola: REM DEA TR: t = t4537
lola: REM DEA TR: t = t4641
lola: REM DEA TR: t = t4642
lola: REM DEA TR: t = t4643
lola: REM DEA TR: t = t4644
lola: REM DEA TR: t = t4757
lola: REM DEA TR: t = t2508
lola: REM DEA TR: t = t2511
lola: REM DEA TR: t = t2513
lola: REM DEA TR: t = t2514
lola: REM DEA TR: t = t2517
lola: REM DEA TR: t = t2524
lola: REM DEA TR: t = t2527
lola: REM DEA TR: t = t2529
lola: REM DEA TR: t = t2530
lola: REM DEA TR: t = t2532
lola: REM DEA TR: t = t2533
lola: REM DEA TR: t = t2534
lola: REM DEA TR: t = t2536
lola: REM DEA TR: t = t2537
lola: REM DEA TR: t = t2538
lola: REM DEA TR: t = t2539
lola: REM DEA TR: t = t2656
lola: REM DEA TR: t = t2660
lola: REM DEA TR: t = t2663
lola: REM DEA TR: t = t2670
lola: REM DEA TR: t = t2673
lola: REM DEA TR: t = t2675
lola: REM DEA TR: t = t2676
lola: REM DEA TR: t = t2679
lola: REM DEA TR: t = t2681
lola: REM DEA TR: t = t2682
lola: REM DEA TR: t = t2684
lola: REM DEA TR: t = t2685
lola: REM DEA TR: t = t2686
lola: REM DEA TR: t = t2813
lola: REM DEA TR: t = t2818
lola: REM DEA TR: t = t2822
lola: REM DEA TR: t = t2825
lola: REM DEA TR: t = t2827
lola: REM DEA TR: t = t2828
lola: REM DEA TR: t = t5101
lola: REM DEA TR: t = t5160
lola: REM DEA TR: t = t5164
lola: REM DEA TR: t = t2947
lola: REM DEA TR: t = t5234
lola: REM DEA TR: t = t4349
lola: REM DEA TR: t = t4435
lola: REM DEA TR: t = t4436
lola: REM DEA TR: t = t4437
lola: REM DEA TR: t = t4438
lola: REM DEA TR: t = t4526
lola: REM DEA TR: t = t4527
lola: REM DEA TR: t = t4528
lola: REM DEA TR: t = t4529
lola: REM DEA TR: t = t4530
lola: REM DEA TR: t = t4531
lola: REM DEA TR: t = t4637
lola: REM DEA TR: t = t4638
lola: REM DEA TR: t = t4639
lola: REM DEA TR: t = t4640
lola: REM DEA TR: t = t4756
lola: REM DEA TR: t = t2179
lola: REM DEA TR: t = t2258
lola: REM DEA TR: t = t2259
lola: REM DEA TR: t = t2260
lola: REM DEA TR: t = t2261
lola: REM DEA TR: t = t2262
lola: REM DEA TR: t = t2263
lola: REM DEA TR: t = t2374
lola: REM DEA TR: t = t2376
lola: REM DEA TR: t = t2377
lola: REM DEA TR: t = t2379
lola: REM DEA TR: t = t2380
lola: REM DEA TR: t = t2381
lola: REM DEA TR: t = t2383
lola: REM DEA TR: t = t2384
lola: REM DEA TR: t = t2385
lola: REM DEA TR: t = t2386
lola: REM DEA TR: t = t2388
lola: REM DEA TR: t = t2389
lola: REM DEA TR: t = t2390
lola: REM DEA TR: t = t2391
lola: REM DEA TR: t = t2392
lola: REM DEA TR: t = t6193
lola: REM DEA TR: t = t1432
lola: REM DEA TR: t = t1478
lola: REM DEA TR: t = t1479
lola: REM DEA TR: t = t1480
lola: REM DEA TR: t = t1481
lola: REM DEA TR: t = t1541
lola: REM DEA TR: t = t1542
lola: REM DEA TR: t = t1543
lola: REM DEA TR: t = t1544
lola: REM DEA TR: t = t1545
lola: REM DEA TR: t = t1546
lola: REM DEA TR: t = t6429
lola: REM DEA TR: t = t1610
lola: REM DEA TR: t = t1611
lola: REM DEA TR: t = t1612
lola: REM DEA TR: t = t1613
lola: REM DEA TR: t = t1667
lola: REM DEA TR: t = t6551
lola: REM DEA TR: t = t6554
lola: REM DEA TR: t = t6561
lola: REM DEA TR: t = t6571
lola: REM DEA TR: t = t6591
lola: REM DEA TR: t = t6676
lola: REM DEA TR: t = t6678
lola: REM DEA TR: t = t6681
lola: REM DEA TR: t = t6683
lola: REM DEA TR: t = t6686
lola: REM DEA TR: t = t6693
lola: REM DEA TR: t = t6698
lola: REM DEA TR: t = t6701
lola: REM DEA TR: t = t6708
lola: REM DEA TR: t = t6718
lola: REM DEA TR: t = t6760
lola: REM DEA TR: t = t6761
lola: REM DEA TR: t = t6763
lola: REM DEA TR: t = t6766
lola: REM DEA TR: t = t6767
lola: REM DEA TR: t = t6769
lola: REM DEA TR: t = t6772
lola: REM DEA TR: t = t6774
lola: REM DEA TR: t = t6777
lola: REM DEA TR: t = t6784
lola: REM DEA TR: t = t6796
lola: REM DEA TR: t = t6797
lola: REM DEA TR: t = t6798
lola: REM DEA TR: t = t6800
lola: REM DEA TR: t = t6803
lola: REM DEA TR: t = t6805
lola: REM DEA TR: t = t5670
lola: REM DEA TR: t = t5671
lola: REM DEA TR: t = t5673
lola: REM DEA TR: t = t5820
lola: REM DEA TR: t = t5821
lola: REM DEA TR: t = t5822
lola: REM DEA TR: t = t5833
lola: REM DEA TR: t = t5834
lola: REM DEA TR: t = t5836
lola: REM DEA TR: t = t5848
lola: REM DEA TR: t = t5849
lola: REM DEA TR: t = t5851
lola: REM DEA TR: t = t5965
lola: REM DEA TR: t = t5967
lola: REM DEA TR: t = t5968
lola: REM DEA TR: t = t5969
lola: REM DEA TR: t = t5970
lola: REM DEA TR: t = t5971
lola: REM DEA TR: t = t5973
lola: REM DEA TR: t = t5974
lola: REM DEA TR: t = t5975
lola: REM DEA TR: t = t5976
lola: REM DEA TR: t = t5977
lola: REM DEA TR: t = t5983
lola: REM DEA TR: t = t5984
lola: REM DEA TR: t = t5985
lola: REM DEA TR: t = t5986
lola: REM DEA TR: t = t5987
lola: REM DEA TR: t = t5988
lola: REM DEA TR: t = t5989
lola: REM DEA TR: t = t5990
lola: REM DEA TR: t = t5991
lola: REM DEA TR: t = t8320
lola: REM DEA TR: t = t8396
lola: REM DEA TR: t = t8397
lola: REM DEA TR: t = t8403
lola: REM DEA TR: t = t8419
lola: REM DEA TR: t = t8440
lola: REM DEA TR: t = t8443
lola: REM DEA TR: t = t8444
lola: REM DEA TR: t = t8452
lola: REM DEA TR: t = t8453
lola: REM DEA TR: t = t8459
lola: REM DEA TR: t = t8462
lola: REM DEA TR: t = t8464
lola: REM DEA TR: t = t8467
lola: REM DEA TR: t = t8468
lola: REM DEA TR: t = t8470
lola: REM DEA TR: t = t4625
lola: REM DEA TR: t = t4738
lola: REM DEA TR: t = t4739
lola: REM DEA TR: t = t4745
lola: REM DEA TR: t = t4751
lola: REM DEA TR: t = t4847
lola: REM DEA TR: t = t4850
lola: REM DEA TR: t = t4851
lola: REM DEA TR: t = t4854
lola: REM DEA TR: t = t4855
lola: REM DEA TR: t = t4861
lola: REM DEA TR: t = t4947
lola: REM DEA TR: t = t4948
lola: REM DEA TR: t = t4951
lola: REM DEA TR: t = t4952
lola: REM DEA TR: t = t3112
lola: REM DEA TR: t = t3126
lola: REM DEA TR: t = t3132
lola: REM DEA TR: t = t3147
lola: REM DEA TR: t = t8603
lola: REM DEA TR: t = t8607
lola: REM DEA TR: t = t8610
lola: REM DEA TR: t = t8612
lola: REM DEA TR: t = t8620
lola: REM DEA TR: t = t8626
lola: REM DEA TR: t = t8628
lola: REM DEA TR: t = t8631
lola: REM DEA TR: t = t8640
lola: REM DEA TR: t = t8646
lola: REM DEA TR: t = t8648
lola: REM DEA TR: t = t8651
lola: REM DEA TR: t = t8656
lola: REM DEA TR: t = t8661
lola: REM DEA TR: t = t8665
lola: REM DEA TR: t = t8672
lola: REM DEA TR: t = t8675
lola: REM DEA TR: t = t8677
lola: REM DEA TR: t = t8691
lola: REM DEA TR: t = t8696
lola: REM DEA TR: t = t8700
lola: REM DEA TR: t = t8715
lola: REM DEA TR: t = t8730
lola: REM DEA TR: t = t8754
lola: REM DEA TR: t = t8757
lola: REM DEA TR: t = t8759
lola: REM DEA TR: t = t8767
lola: REM DEA TR: t = t8822
lola: REM DEA TR: t = t8828
lola: REM DEA TR: t = t8830
lola: REM DEA TR: t = t8833
lola: REM DEA TR: t = t8838
lola: REM DEA TR: t = t8843
lola: REM DEA TR: t = t8863
lola: REM DEA TR: t = t8908
lola: REM DEA TR: t = t8911
lola: REM DEA TR: t = t8913
lola: REM DEA TR: t = t8921
lola: REM DEA TR: t = t8956
lola: REM DEA TR: t = t3114
lola: REM DEA TR: t = t3127
lola: REM DEA TR: t = t3134
lola: REM DEA TR: t = t3148
lola: REM DEA TR: t = t8539
lola: REM DEA TR: t = t8552
lola: REM DEA TR: t = t8554
lola: REM DEA TR: t = t8557
lola: REM DEA TR: t = t8566
lola: REM DEA TR: t = t8573
lola: REM DEA TR: t = t8575
lola: REM DEA TR: t = t8578
lola: REM DEA TR: t = t8587
lola: REM DEA TR: t = t8593
lola: REM DEA TR: t = t8638
lola: REM DEA TR: t = t8643
lola: REM DEA TR: t = t8659
lola: REM DEA TR: t = t8709
lola: REM DEA TR: t = t8751
lola: REM DEA TR: t = t8765
lola: REM DEA TR: t = t8770
lola: REM DEA TR: t = t8800
lola: REM DEA TR: t = t8805
lola: REM DEA TR: t = t8820
lola: REM DEA TR: t = t8825
lola: REM DEA TR: t = t8841
lola: REM DEA TR: t = t8869
lola: REM DEA TR: t = t8890
lola: REM DEA TR: t = t8905
lola: REM DEA TR: t = t8919
lola: REM DEA TR: t = t8924
lola: REM DEA TR: t = t8962
lola: REM DEA TR: t = t1838
lola: REM DEA TR: t = t1859
lola: REM DEA TR: t = t1869
lola: REM DEA TR: t = t1872
lola: REM DEA TR: t = t1877
lola: REM DEA TR: t = t1885
lola: REM DEA TR: t = t3115
lola: REM DEA TR: t = t3128
lola: REM DEA TR: t = t3135
lola: REM DEA TR: t = t3149
lola: REM DEA TR: t = t8519
lola: REM DEA TR: t = t8522
lola: REM DEA TR: t = t8524
lola: REM DEA TR: t = t8538
lola: REM DEA TR: t = t8540
lola: REM DEA TR: t = t8543
lola: REM DEA TR: t = t8553
lola: REM DEA TR: t = t8555
lola: REM DEA TR: t = t8558
lola: REM DEA TR: t = t8562
lola: REM DEA TR: t = t8567
lola: REM DEA TR: t = t8574
lola: REM DEA TR: t = t8576
lola: REM DEA TR: t = t8579
lola: REM DEA TR: t = t8588
lola: REM DEA TR: t = t8594
lola: REM DEA TR: t = t5033
lola: REM DEA TR: t = t5099
lola: REM DEA TR: t = t5102
lola: REM DEA TR: t = t5162
lola: REM DEA TR: t = t4248
lola: REM DEA TR: t = t4345
lola: REM DEA TR: t = t4346
lola: REM DEA TR: t = t4347
lola: REM DEA TR: t = t4348
lola: REM DEA TR: t = t4429
lola: REM DEA TR: t = t4430
lola: REM DEA TR: t = t4431
lola: REM DEA TR: t = t4432
lola: REM DEA TR: t = t4433
lola: REM DEA TR: t = t4434
lola: REM DEA TR: t = t4522
lola: REM DEA TR: t = t4523
lola: REM DEA TR: t = t4524
lola: REM DEA TR: t = t4525
lola: REM DEA TR: t = t4636
lola: REM DEA TR: t = t2587
lola: REM DEA TR: t = t6100
lola: REM DEA TR: t = t2731
lola: REM DEA TR: t = t2732
lola: REM DEA TR: t = t2738
lola: REM DEA TR: t = t2744
lola: REM DEA TR: t = t2754
lola: REM DEA TR: t = t2865
lola: REM DEA TR: t = t2868
lola: REM DEA TR: t = t2869
lola: REM DEA TR: t = t2872
lola: REM DEA TR: t = t2873
lola: REM DEA TR: t = t2879
lola: REM DEA TR: t = t2882
lola: REM DEA TR: t = t2883
lola: REM DEA TR: t = t2889
lola: REM DEA TR: t = t2895
lola: REM DEA TR: t = t2970
lola: REM DEA TR: t = t2971
lola: REM DEA TR: t = t2974
lola: REM DEA TR: t = t2975
lola: REM DEA TR: t = t2976
lola: REM DEA TR: t = t2979
lola: REM DEA TR: t = t2980
lola: REM DEA TR: t = t2983
lola: REM DEA TR: t = t2984
lola: REM DEA TR: t = t2990
lola: REM DEA TR: t = t5569
lola: REM DEA TR: t = t3034
lola: REM DEA TR: t = t3035
lola: REM DEA TR: t = t3036
lola: REM DEA TR: t = t3039
lola: REM DEA TR: t = t3040
lola: REM DEA TR: t = t3065
lola: REM DEA TR: t = t5731
lola: REM DEA TR: t = t5736
lola: REM DEA TR: t = t5750
lola: REM DEA TR: t = t5881
lola: REM DEA TR: t = t5882
lola: REM DEA TR: t = t5994
lola: REM DEA TR: t = t1406
lola: REM DEA TR: t = t1428
lola: REM DEA TR: t = t1429
lola: REM DEA TR: t = t1430
lola: REM DEA TR: t = t1431
lola: REM DEA TR: t = t1472
lola: REM DEA TR: t = t1473
lola: REM DEA TR: t = t1474
lola: REM DEA TR: t = t1475
lola: REM DEA TR: t = t1476
lola: REM DEA TR: t = t1477
lola: REM DEA TR: t = t6338
lola: REM DEA TR: t = t1537
lola: REM DEA TR: t = t1538
lola: REM DEA TR: t = t1539
lola: REM DEA TR: t = t1540
lola: REM DEA TR: t = t6427
lola: REM DEA TR: t = t6431
lola: REM DEA TR: t = t6440
lola: REM DEA TR: t = t6450
lola: REM DEA TR: t = t6465
lola: REM DEA TR: t = t1609
lola: REM DEA TR: t = t6552
lola: REM DEA TR: t = t6559
lola: REM DEA TR: t = t6563
lola: REM DEA TR: t = t6569
lola: REM DEA TR: t = t6573
lola: REM DEA TR: t = t6582
lola: REM DEA TR: t = t6589
lola: REM DEA TR: t = t6593
lola: REM DEA TR: t = t6602
lola: REM DEA TR: t = t6612
lola: REM DEA TR: t = t6679
lola: REM DEA TR: t = t6684
lola: REM DEA TR: t = t6691
lola: REM DEA TR: t = t6695
lola: REM DEA TR: t = t6699
lola: REM DEA TR: t = t6706
lola: REM DEA TR: t = t6710
lola: REM DEA TR: t = t6716
lola: REM DEA TR: t = t6720
lola: REM DEA TR: t = t6729
lola: REM DEA TR: t = t6764
lola: REM DEA TR: t = t6770
lola: REM DEA TR: t = t6775
lola: REM DEA TR: t = t6782
lola: REM DEA TR: t = t6786
lola: REM DEA TR: t = t6801
lola: REM DEA TR: t = t3885
lola: REM DEA TR: t = t3988
lola: REM DEA TR: t = t3990
lola: REM DEA TR: t = t3993
lola: REM DEA TR: t = t3999
lola: REM DEA TR: t = t12626
lola: REM DEA TR: t = t12627
lola: REM DEA TR: t = t4111
lola: REM DEA TR: t = t4112
lola: REM DEA TR: t = t4114
lola: REM DEA TR: t = t4116
lola: REM DEA TR: t = t4118
lola: REM DEA TR: t = t4121
lola: REM DEA TR: t = t11623
lola: REM DEA TR: t = t11629
lola: REM DEA TR: t = t11650
lola: REM DEA TR: t = t11651
lola: REM DEA TR: t = t11653
lola: REM DEA TR: t = t11654
lola: REM DEA TR: t = t11656
lola: REM DEA TR: t = t11657
lola: REM DEA TR: t = t11659
lola: REM DEA TR: t = t4227
lola: REM DEA TR: t = t4228
lola: REM DEA TR: t = t4229
lola: REM DEA TR: t = t11660
lola: REM DEA TR: t = t11661
lola: REM DEA TR: t = t10334
lola: REM DEA TR: t = t11666
lola: REM DEA TR: t = t4231
lola: REM DEA TR: t = t10345
lola: REM DEA TR: t = t10346
lola: REM DEA TR: t = t10352
lola: REM DEA TR: t = t10354
lola: REM DEA TR: t = t11687
lola: REM DEA TR: t = t11689
lola: REM DEA TR: t = t11690
lola: REM DEA TR: t = t11692
lola: REM DEA TR: t = t11693
lola: REM DEA TR: t = t11696
lola: REM DEA TR: t = t10365
lola: REM DEA TR: t = t10366
lola: REM DEA TR: t = t10372
lola: REM DEA TR: t = t10375
lola: REM DEA TR: t = t10376
lola: REM DEA TR: t = t10382
lola: REM DEA TR: t = t11702
lola: REM DEA TR: t = t11704
lola: REM DEA TR: t = t11705
lola: REM DEA TR: t = t11707
lola: REM DEA TR: t = t11708
lola: REM DEA TR: t = t11711
lola: REM DEA TR: t = t11712
lola: REM DEA TR: t = t11714
lola: REM DEA TR: t = t11715
lola: REM DEA TR: t = t11721
lola: REM DEA TR: t = t11723
lola: REM DEA TR: t = t11724
lola: REM DEA TR: t = t11730
lola: REM DEA TR: t = t10400
lola: REM DEA TR: t = t10401
lola: REM DEA TR: t = t10407
lola: REM DEA TR: t = t10410
lola: REM DEA TR: t = t10411
lola: REM DEA TR: t = t10417
lola: REM DEA TR: t = t10421
lola: REM DEA TR: t = t10425
lola: REM DEA TR: t = t10426
lola: REM DEA TR: t = t4324
lola: REM DEA TR: t = t10432
lola: REM DEA TR: t = t10436
lola: REM DEA TR: t = t10441
lola: REM DEA TR: t = t8007
lola: REM DEA TR: t = t8088
lola: REM DEA TR: t = t8092
lola: REM DEA TR: t = t8096
lola: REM DEA TR: t = t8106
lola: REM DEA TR: t = t8126
lola: REM DEA TR: t = t8214
lola: REM DEA TR: t = t8215
lola: REM DEA TR: t = t8219
lola: REM DEA TR: t = t8220
lola: REM DEA TR: t = t8224
lola: REM DEA TR: t = t8228
lola: REM DEA TR: t = t8235
lola: REM DEA TR: t = t8239
lola: REM DEA TR: t = t8243
lola: REM DEA TR: t = t8253
lola: REM DEA TR: t = t9627
lola: REM DEA TR: t = t9628
lola: REM DEA TR: t = t9631
lola: REM DEA TR: t = t9634
lola: REM DEA TR: t = t9647
lola: REM DEA TR: t = t9648
lola: REM DEA TR: t = t9651
lola: REM DEA TR: t = t9654
lola: REM DEA TR: t = t9657
lola: REM DEA TR: t = t9658
lola: REM DEA TR: t = t9661
lola: REM DEA TR: t = t9664
lola: REM DEA TR: t = t9668
lola: REM DEA TR: t = t8340
lola: REM DEA TR: t = t8341
lola: REM DEA TR: t = t8342
lola: REM DEA TR: t = t8346
lola: REM DEA TR: t = t8347
lola: REM DEA TR: t = t8348
lola: REM DEA TR: t = t8352
lola: REM DEA TR: t = t8353
lola: REM DEA TR: t = t8357
lola: REM DEA TR: t = t8361
lola: REM DEA TR: t = t10912
lola: REM DEA TR: t = t10913
lola: REM DEA TR: t = t10915
lola: REM DEA TR: t = t10916
lola: REM DEA TR: t = t10918
lola: REM DEA TR: t = t10919
lola: REM DEA TR: t = t10921
lola: REM DEA TR: t = t10922
lola: REM DEA TR: t = t10923
lola: REM DEA TR: t = t10924
lola: REM DEA TR: t = t10926
lola: REM DEA TR: t = t10927
lola: REM DEA TR: t = t10928
lola: REM DEA TR: t = t10930
lola: REM DEA TR: t = t10931
lola: REM DEA TR: t = t10937
lola: REM DEA TR: t = t10949
lola: REM DEA TR: t = t10951
lola: REM DEA TR: t = t10952
lola: REM DEA TR: t = t10954
lola: REM DEA TR: t = t10955
lola: REM DEA TR: t = t10958
lola: REM DEA TR: t = t10964
lola: REM DEA TR: t = t10966
lola: REM DEA TR: t = t10967
lola: REM DEA TR: t = t10969
lola: REM DEA TR: t = t10970
lola: REM DEA TR: t = t10973
lola: REM DEA TR: t = t10974
lola: REM DEA TR: t = t10976
lola: REM DEA TR: t = t10977
lola: REM DEA TR: t = t10983
lola: REM DEA TR: t = t10985
lola: REM DEA TR: t = t10986
lola: REM DEA TR: t = t10992
lola: REM DEA TR: t = t10995
lola: REM DEA TR: t = t9703
lola: REM DEA TR: t = t9707
lola: REM DEA TR: t = t9708
lola: REM DEA TR: t = t9714
lola: REM DEA TR: t = t9718
lola: REM DEA TR: t = t9723
lola: REM DEA TR: t = t9727
lola: REM DEA TR: t = t9729
lola: REM DEA TR: t = t9730
lola: REM DEA TR: t = t9736
lola: REM DEA TR: t = t9738
lola: REM DEA TR: t = t9739
lola: REM DEA TR: t = t9745
lola: REM DEA TR: t = t9748
lola: REM DEA TR: t = t9749
lola: REM DEA TR: t = t9755
lola: REM DEA TR: t = t8424
lola: REM DEA TR: t = t8425
lola: REM DEA TR: t = t8426
lola: REM DEA TR: t = t8427
lola: REM DEA TR: t = t9759
lola: REM DEA TR: t = t8431
lola: REM DEA TR: t = t9763
lola: REM DEA TR: t = t9764
lola: REM DEA TR: t = t9770
lola: REM DEA TR: t = t9774
lola: REM DEA TR: t = t9779
lola: REM DEA TR: t = t9784
lola: REM DEA TR: t = t9785
lola: REM DEA TR: t = t9788
lola: REM DEA TR: t = t9791
lola: REM DEA TR: t = t8460
lola: REM DEA TR: t = t9795
lola: REM DEA TR: t = t9800
lola: REM DEA TR: t = t9806
lola: REM DEA TR: t = t8749
lola: REM DEA TR: t = t8859
lola: REM DEA TR: t = t8867
lola: REM DEA TR: t = t8888
lola: REM DEA TR: t = t1412
lola: REM DEA TR: t = t1438
lola: REM DEA TR: t = t1439
lola: REM DEA TR: t = t1497
lola: REM DEA TR: t = t8903
lola: REM DEA TR: t = t8939
lola: REM DEA TR: t = t8946
lola: REM DEA TR: t = t8952
lola: REM DEA TR: t = t8960
lola: REM DEA TR: t = t8987
lola: REM DEA TR: t = t3081
lola: REM DEA TR: t = t3087
lola: REM DEA TR: t = t3093
lola: REM DEA TR: t = t3100
lola: REM DEA TR: t = t3106
lola: REM DEA TR: t = t3122
lola: REM DEA TR: t = t8520
lola: REM DEA TR: t = t5037
lola: REM DEA TR: t = t5041
lola: REM DEA TR: t = t5044
lola: REM DEA TR: t = t5050
lola: REM DEA TR: t = t5051
lola: REM DEA TR: t = t5054
lola: REM DEA TR: t = t5060
lola: REM DEA TR: t = t5110
lola: REM DEA TR: t = t5111
lola: REM DEA TR: t = t5113
lola: REM DEA TR: t = t5116
lola: REM DEA TR: t = t5117
lola: REM DEA TR: t = t5118
lola: REM DEA TR: t = t5121
lola: REM DEA TR: t = t5122
lola: REM DEA TR: t = t5125
lola: REM DEA TR: t = t5188
lola: REM DEA TR: t = t5189
lola: REM DEA TR: t = t5190
lola: REM DEA TR: t = t5191
lola: REM DEA TR: t = t5192
lola: REM DEA TR: t = t1658
lola: REM DEA TR: t = t1699
lola: REM DEA TR: t = t5286
lola: REM DEA TR: t = t1701
lola: REM DEA TR: t = t1728
lola: REM DEA TR: t = t4863
lola: REM DEA TR: t = t4953
lola: REM DEA TR: t = t4954
lola: REM DEA TR: t = t4957
lola: REM DEA TR: t = t4963
lola: REM DEA TR: t = t4973
lola: REM DEA TR: t = t2437
lola: REM DEA TR: t = t2583
lola: REM DEA TR: t = t2584
lola: REM DEA TR: t = t2590
lola: REM DEA TR: t = t2594
lola: REM DEA TR: t = t2599
lola: REM DEA TR: t = t2729
lola: REM DEA TR: t = t2734
lola: REM DEA TR: t = t2735
lola: REM DEA TR: t = t1408
lola: REM DEA TR: t = t2740
lola: REM DEA TR: t = t2741
lola: REM DEA TR: t = t2747
lola: REM DEA TR: t = t2750
lola: REM DEA TR: t = t2751
lola: REM DEA TR: t = t2757
lola: REM DEA TR: t = t2761
lola: REM DEA TR: t = t1436
lola: REM DEA TR: t = t1441
lola: REM DEA TR: t = t1498
lola: REM DEA TR: t = t1500
lola: REM DEA TR: t = t2866
lola: REM DEA TR: t = t2870
lola: REM DEA TR: t = t2875
lola: REM DEA TR: t = t2876
lola: REM DEA TR: t = t2880
lola: REM DEA TR: t = t2885
lola: REM DEA TR: t = t2886
lola: REM DEA TR: t = t2891
lola: REM DEA TR: t = t2892
lola: REM DEA TR: t = t2898
lola: REM DEA TR: t = t1578
lola: REM DEA TR: t = t2972
lola: REM DEA TR: t = t2977
lola: REM DEA TR: t = t2981
lola: REM DEA TR: t = t2986
lola: REM DEA TR: t = t2987
lola: REM DEA TR: t = t5415
lola: REM DEA TR: t = t5571
lola: REM DEA TR: t = t5580
lola: REM DEA TR: t = t5595
lola: REM DEA TR: t = t3037
lola: REM DEA TR: t = t5738
lola: REM DEA TR: t = t5751
lola: REM DEA TR: t = t5753
lola: REM DEA TR: t = t5883
lola: REM DEA TR: t = t3734
lola: REM DEA TR: t = t3756
lola: REM DEA TR: t = t3757
lola: REM DEA TR: t = t3758
lola: REM DEA TR: t = t3768
lola: REM DEA TR: t = t3800
lola: REM DEA TR: t = t3801
lola: REM DEA TR: t = t3802
lola: REM DEA TR: t = t3810
lola: REM DEA TR: t = t3811
lola: REM DEA TR: t = t3812
lola: REM DEA TR: t = t3878
lola: REM DEA TR: t = t3881
lola: REM DEA TR: t = t3882
lola: REM DEA TR: t = t3883
lola: REM DEA TR: t = t3987
lola: REM DEA TR: t = t8636
lola: REM DEA TR: t = t8747
lola: REM DEA TR: t = t8763
lola: REM DEA TR: t = t8798
lola: REM DEA TR: t = t8818
lola: REM DEA TR: t = t8865
lola: REM DEA TR: t = t8886
lola: REM DEA TR: t = t1400
lola: REM DEA TR: t = t1409
lola: REM DEA TR: t = t8901
lola: REM DEA TR: t = t8917
lola: REM DEA TR: t = t8958
lola: REM DEA TR: t = t3077
lola: REM DEA TR: t = t3080
lola: REM DEA TR: t = t3083
lola: REM DEA TR: t = t3085
lola: REM DEA TR: t = t3092
lola: REM DEA TR: t = t3104
lola: REM DEA TR: t = t8516
lola: REM DEA TR: t = t8517
lola: REM DEA TR: t = t8536
lola: REM DEA TR: t = t8551
lola: REM DEA TR: t = t8572
lola: REM DEA TR: t = t5038
lola: REM DEA TR: t = t5042
lola: REM DEA TR: t = t5047
lola: REM DEA TR: t = t5052
lola: REM DEA TR: t = t5055
lola: REM DEA TR: t = t5057
lola: REM DEA TR: t = t5061
lola: REM DEA TR: t = t5063
lola: REM DEA TR: t = t5066
lola: REM DEA TR: t = t5119
lola: REM DEA TR: t = t5123
lola: REM DEA TR: t = t5126
lola: REM DEA TR: t = t5128
lola: REM DEA TR: t = t5193
lola: REM DEA TR: t = t1602
lola: REM DEA TR: t = t1659
lola: REM DEA TR: t = t1664
lola: REM DEA TR: t = t1702
lola: REM DEA TR: t = t4762
lola: REM DEA TR: t = t4866
lola: REM DEA TR: t = t4869
lola: REM DEA TR: t = t4873
lola: REM DEA TR: t = t4878
lola: REM DEA TR: t = t4960
lola: REM DEA TR: t = t4966
lola: REM DEA TR: t = t4969
lola: REM DEA TR: t = t4974
lola: REM DEA TR: t = t4976
lola: REM DEA TR: t = t4979
lola: REM DEA TR: t = t4983
lola: REM DEA TR: t = t9947
lola: REM DEA TR: t = t9948
lola: REM DEA TR: t = t9949
lola: REM DEA TR: t = t9950
lola: REM DEA TR: t = t9951
lola: REM DEA TR: t = t9952
lola: REM DEA TR: t = t9953
lola: REM DEA TR: t = t9954
lola: REM DEA TR: t = t9955
lola: REM DEA TR: t = t9956
lola: REM DEA TR: t = t9957
lola: REM DEA TR: t = t9958
lola: REM DEA TR: t = t9959
lola: REM DEA TR: t = t9960
lola: REM DEA TR: t = t9977
lola: REM DEA TR: t = t9978
lola: REM DEA TR: t = t9979
lola: REM DEA TR: t = t9980
lola: REM DEA TR: t = t9981
lola: REM DEA TR: t = t9982
lola: REM DEA TR: t = t9983
lola: REM DEA TR: t = t9984
lola: REM DEA TR: t = t9985
lola: REM DEA TR: t = t9986
lola: REM DEA TR: t = t9987
lola: REM DEA TR: t = t9988
lola: REM DEA TR: t = t9989
lola: REM DEA TR: t = t9990
lola: REM DEA TR: t = t9991
lola: REM DEA TR: t = t9992
lola: REM DEA TR: t = t9993
lola: REM DEA TR: t = t9994
lola: REM DEA TR: t = t12152
lola: REM DEA TR: t = t12153
lola: REM DEA TR: t = t12155
lola: REM DEA TR: t = t12156
lola: REM DEA TR: t = t12157
lola: REM DEA TR: t = t12158
lola: REM DEA TR: t = t12159
lola: REM DEA TR: t = t12160
lola: REM DEA TR: t = t12161
lola: REM DEA TR: t = t12163
lola: REM DEA TR: t = t12164
lola: REM DEA TR: t = t12165
lola: REM DEA TR: t = t12166
lola: REM DEA TR: t = t12167
lola: REM DEA TR: t = t12168
lola: REM DEA TR: t = t12170
lola: REM DEA TR: t = t12171
lola: REM DEA TR: t = t12172
lola: REM DEA TR: t = t12173
lola: REM DEA TR: t = t12174
lola: REM DEA TR: t = t12175
lola: REM DEA TR: t = t12182
lola: REM DEA TR: t = t12183
lola: REM DEA TR: t = t12184
lola: REM DEA TR: t = t12185
lola: REM DEA TR: t = t12186
lola: REM DEA TR: t = t12187
lola: REM DEA TR: t = t12188
lola: REM DEA TR: t = t12189
lola: REM DEA TR: t = t12190
lola: REM DEA TR: t = t12191
lola: REM DEA TR: t = t12192
lola: REM DEA TR: t = t12193
lola: REM DEA TR: t = t12194
lola: REM DEA TR: t = t12195
lola: REM DEA TR: t = t12196
lola: REM DEA TR: t = t8980
lola: REM DEA TR: t = t12614
lola: REM DEA TR: t = t12615
lola: REM DEA TR: t = t12616
lola: REM DEA TR: t = t12618
lola: REM DEA TR: t = t12619
lola: REM DEA TR: t = t12620
lola: REM DEA TR: t = t12621
lola: REM DEA TR: t = t12622
lola: REM DEA TR: t = t12623
lola: REM DEA TR: t = t10012
lola: REM DEA TR: t = t10013
lola: REM DEA TR: t = t10014
lola: REM DEA TR: t = t10015
lola: REM DEA TR: t = t10016
lola: REM DEA TR: t = t10017
lola: REM DEA TR: t = t10018
lola: REM DEA TR: t = t10019
lola: REM DEA TR: t = t10020
lola: REM DEA TR: t = t10021
lola: REM DEA TR: t = t10022
lola: REM DEA TR: t = t10023
lola: REM DEA TR: t = t10024
lola: REM DEA TR: t = t10025
lola: REM DEA TR: t = t10026
lola: REM DEA TR: t = t10027
lola: REM DEA TR: t = t10028
lola: REM DEA TR: t = t10029
lola: REM DEA TR: t = t10030
lola: REM DEA TR: t = t10052
lola: REM DEA TR: t = t10053
lola: REM DEA TR: t = t10054
lola: REM DEA TR: t = t10055
lola: REM DEA TR: t = t10056
lola: REM DEA TR: t = t10057
lola: REM DEA TR: t = t10058
lola: REM DEA TR: t = t10059
lola: REM DEA TR: t = t10060
lola: REM DEA TR: t = t10061
lola: REM DEA TR: t = t10062
lola: REM DEA TR: t = t10063
lola: REM DEA TR: t = t10064
lola: REM DEA TR: t = t10065
lola: REM DEA TR: t = t10082
lola: REM DEA TR: t = t10083
lola: REM DEA TR: t = t10084
lola: REM DEA TR: t = t10085
lola: REM DEA TR: t = t10086
lola: REM DEA TR: t = t10087
lola: REM DEA TR: t = t10088
lola: REM DEA TR: t = t10089
lola: REM DEA TR: t = t10090
lola: REM DEA TR: t = t10091
lola: REM DEA TR: t = t10092
lola: REM DEA TR: t = t10093
lola: REM DEA TR: t = t10094
lola: REM DEA TR: t = t10095
lola: REM DEA TR: t = t10096
lola: REM DEA TR: t = t10097
lola: REM DEA TR: t = t10098
lola: REM DEA TR: t = t10099
lola: REM DEA TR: t = t10101
lola: REM DEA TR: t = t10122
lola: REM DEA TR: t = t10123
lola: REM DEA TR: t = t10124
lola: REM DEA TR: t = t10125
lola: REM DEA TR: t = t10126
lola: REM DEA TR: t = t10127
lola: REM DEA TR: t = t10128
lola: REM DEA TR: t = t10129
lola: REM DEA TR: t = t10130
lola: REM DEA TR: t = t10131
lola: REM DEA TR: t = t10132
lola: REM DEA TR: t = t10133
lola: REM DEA TR: t = t10134
lola: REM DEA TR: t = t10135
lola: REM DEA TR: t = t10157
lola: REM DEA TR: t = t10158
lola: REM DEA TR: t = t10159
lola: REM DEA TR: t = t10160
lola: REM DEA TR: t = t11492
lola: REM DEA TR: t = t10161
lola: REM DEA TR: t = t10162
lola: REM DEA TR: t = t11494
lola: REM DEA TR: t = t10163
lola: REM DEA TR: t = t11495
lola: REM DEA TR: t = t10164
lola: REM DEA TR: t = t11496
lola: REM DEA TR: t = t10165
lola: REM DEA TR: t = t11497
lola: REM DEA TR: t = t10166
lola: REM DEA TR: t = t11498
lola: REM DEA TR: t = t10167
lola: REM DEA TR: t = t11499
lola: REM DEA TR: t = t10168
lola: REM DEA TR: t = t10169
lola: REM DEA TR: t = t10170
lola: REM DEA TR: t = t10187
lola: REM DEA TR: t = t10188
lola: REM DEA TR: t = t10189
lola: REM DEA TR: t = t10190
lola: REM DEA TR: t = t10191
lola: REM DEA TR: t = t10192
lola: REM DEA TR: t = t11501
lola: REM DEA TR: t = t11502
lola: REM DEA TR: t = t11503
lola: REM DEA TR: t = t11504
lola: REM DEA TR: t = t11505
lola: REM DEA TR: t = t11506
lola: REM DEA TR: t = t11513
lola: REM DEA TR: t = t11514
lola: REM DEA TR: t = t11515
lola: REM DEA TR: t = t11516
lola: REM DEA TR: t = t11517
lola: REM DEA TR: t = t11518
lola: REM DEA TR: t = t11519
lola: REM DEA TR: t = t11520
lola: REM DEA TR: t = t11521
lola: REM DEA TR: t = t11522
lola: REM DEA TR: t = t11523
lola: REM DEA TR: t = t11524
lola: REM DEA TR: t = t11525
lola: REM DEA TR: t = t11526
lola: REM DEA TR: t = t11529
lola: REM DEA TR: t = t11530
lola: REM DEA TR: t = t11531
lola: REM DEA TR: t = t11532
lola: REM DEA TR: t = t11533
lola: REM DEA TR: t = t11534
lola: REM DEA TR: t = t11541
lola: REM DEA TR: t = t11542
lola: REM DEA TR: t = t11543
lola: REM DEA TR: t = t11544
lola: REM DEA TR: t = t11545
lola: REM DEA TR: t = t11546
lola: REM DEA TR: t = t11547
lola: REM DEA TR: t = t11548
lola: REM DEA TR: t = t11549
lola: REM DEA TR: t = t11550
lola: REM DEA TR: t = t11551
lola: REM DEA TR: t = t11552
lola: REM DEA TR: t = t11553
lola: REM DEA TR: t = t11554
lola: REM DEA TR: t = t12889
lola: REM DEA TR: t = t11562
lola: REM DEA TR: t = t11563
lola: REM DEA TR: t = t11564
lola: REM DEA TR: t = t11565
lola: REM DEA TR: t = t11566
lola: REM DEA TR: t = t11567
lola: REM DEA TR: t = t11568
lola: REM DEA TR: t = t11569
lola: REM DEA TR: t = t11570
lola: REM DEA TR: t = t11571
lola: REM DEA TR: t = t11572
lola: REM DEA TR: t = t11573
lola: REM DEA TR: t = t11574
lola: REM DEA TR: t = t11575
lola: REM DEA TR: t = t11576
lola: REM DEA TR: t = t11592
lola: REM DEA TR: t = t11593
lola: REM DEA TR: t = t11594
lola: REM DEA TR: t = t11595
lola: REM DEA TR: t = t11596
lola: REM DEA TR: t = t11597
lola: REM DEA TR: t = t11598
lola: REM DEA TR: t = t11599
lola: REM DEA TR: t = t9019
lola: REM DEA TR: t = t9020
lola: REM DEA TR: t = t9021
lola: REM DEA TR: t = t9022
lola: REM DEA TR: t = t9023
lola: REM DEA TR: t = t9024
lola: REM DEA TR: t = t9031
lola: REM DEA TR: t = t9038
lola: REM DEA TR: t = t9046
lola: REM DEA TR: t = t11600
lola: REM DEA TR: t = t11601
lola: REM DEA TR: t = t11602
lola: REM DEA TR: t = t11603
lola: REM DEA TR: t = t11604
lola: REM DEA TR: t = t11605
lola: REM DEA TR: t = t11606
lola: REM DEA TR: t = t11607
lola: REM DEA TR: t = t11608
lola: REM DEA TR: t = t11609
lola: REM DEA TR: t = t9125
lola: REM DEA TR: t = t9126
lola: REM DEA TR: t = t9127
lola: REM DEA TR: t = t9128
lola: REM DEA TR: t = t9129
lola: REM DEA TR: t = t9130
lola: REM DEA TR: t = t9131
lola: REM DEA TR: t = t9132
lola: REM DEA TR: t = t9133
lola: REM DEA TR: t = t9134
lola: REM DEA TR: t = t9135
lola: REM DEA TR: t = t9136
lola: REM DEA TR: t = t9137
lola: REM DEA TR: t = t9138
lola: REM DEA TR: t = t9139
lola: REM DEA TR: t = t9155
lola: REM DEA TR: t = t9156
lola: REM DEA TR: t = t9157
lola: REM DEA TR: t = t9158
lola: REM DEA TR: t = t9159
lola: REM DEA TR: t = t9160
lola: REM DEA TR: t = t9176
lola: REM DEA TR: t = t9177
lola: REM DEA TR: t = t9178
lola: REM DEA TR: t = t9179
lola: REM DEA TR: t = t9180
lola: REM DEA TR: t = t9181
lola: REM DEA TR: t = t9188
lola: REM DEA TR: t = t9204
lola: REM DEA TR: t = t9205
lola: REM DEA TR: t = t9206
lola: REM DEA TR: t = t9207
lola: REM DEA TR: t = t9208
lola: REM DEA TR: t = t9209
lola: REM DEA TR: t = t9216
lola: REM DEA TR: t = t9223
lola: REM DEA TR: t = t9406
lola: REM DEA TR: t = t9407
lola: REM DEA TR: t = t9408
lola: REM DEA TR: t = t9409
lola: REM DEA TR: t = t9410
lola: REM DEA TR: t = t9411
lola: REM DEA TR: t = t9412
lola: REM DEA TR: t = t9413
lola: REM DEA TR: t = t9414
lola: REM DEA TR: t = t9415
lola: REM DEA TR: t = t9416
lola: REM DEA TR: t = t9417
lola: REM DEA TR: t = t9418
lola: REM DEA TR: t = t9419
lola: REM DEA TR: t = t9420
lola: REM DEA TR: t = t9421
lola: REM DEA TR: t = t9422
lola: REM DEA TR: t = t9423
lola: REM DEA TR: t = t9424
lola: REM DEA TR: t = t9425
lola: REM DEA TR: t = t9446
lola: REM DEA TR: t = t9447
lola: REM DEA TR: t = t9448
lola: REM DEA TR: t = t9449
lola: REM DEA TR: t = t9450
lola: REM DEA TR: t = t9451
lola: REM DEA TR: t = t9452
lola: REM DEA TR: t = t9453
lola: REM DEA TR: t = t9454
lola: REM DEA TR: t = t9455
lola: REM DEA TR: t = t9456
lola: REM DEA TR: t = t9457
lola: REM DEA TR: t = t9458
lola: REM DEA TR: t = t9459
lola: REM DEA TR: t = t9460
lola: REM DEA TR: t = t9481
lola: REM DEA TR: t = t9482
lola: REM DEA TR: t = t9483
lola: REM DEA TR: t = t9484
lola: REM DEA TR: t = t9485
lola: REM DEA TR: t = t9486
lola: REM DEA TR: t = t9487
lola: REM DEA TR: t = t9488
lola: REM DEA TR: t = t9489
lola: REM DEA TR: t = t9490
lola: REM DEA TR: t = t9491
lola: REM DEA TR: t = t9492
lola: REM DEA TR: t = t9493
lola: REM DEA TR: t = t9494
lola: REM DEA TR: t = t9495
lola: REM DEA TR: t = t10701
lola: REM DEA TR: t = t10702
lola: REM DEA TR: t = t10703
lola: REM DEA TR: t = t10704
lola: REM DEA TR: t = t10705
lola: REM DEA TR: t = t10706
lola: REM DEA TR: t = t10713
lola: REM DEA TR: t = t10714
lola: REM DEA TR: t = t10715
lola: REM DEA TR: t = t10716
lola: REM DEA TR: t = t10717
lola: REM DEA TR: t = t10718
lola: REM DEA TR: t = t10719
lola: REM DEA TR: t = t10720
lola: REM DEA TR: t = t10721
lola: REM DEA TR: t = t10722
lola: REM DEA TR: t = t10723
lola: REM DEA TR: t = t10724
lola: REM DEA TR: t = t10725
lola: REM DEA TR: t = t10726
lola: REM DEA TR: t = t10727
lola: REM DEA TR: t = t10734
lola: REM DEA TR: t = t10735
lola: REM DEA TR: t = t10736
lola: REM DEA TR: t = t10737
lola: REM DEA TR: t = t10738
lola: REM DEA TR: t = t10739
lola: REM DEA TR: t = t10740
lola: REM DEA TR: t = t10741
lola: REM DEA TR: t = t10742
lola: REM DEA TR: t = t10743
lola: REM DEA TR: t = t10744
lola: REM DEA TR: t = t10745
lola: REM DEA TR: t = t10746
lola: REM DEA TR: t = t10747
lola: REM DEA TR: t = t10748
lola: REM DEA TR: t = t5982
lola: REM DEA TR: t = t10764
lola: REM DEA TR: t = t10765
lola: REM DEA TR: t = t10766
lola: REM DEA TR: t = t10767
lola: REM DEA TR: t = t10768
lola: REM DEA TR: t = t10769
lola: REM DEA TR: t = t10770
lola: REM DEA TR: t = t10771
lola: REM DEA TR: t = t10772
lola: REM DEA TR: t = t10773
lola: REM DEA TR: t = t10774
lola: REM DEA TR: t = t10775
lola: REM DEA TR: t = t10776
lola: REM DEA TR: t = t10777
lola: REM DEA TR: t = t10778
lola: REM DEA TR: t = t10779
lola: REM DEA TR: t = t10780
lola: REM DEA TR: t = t10781
lola: REM DEA TR: t = t10782
lola: REM DEA TR: t = t10783
lola: REM DEA TR: t = t10790
lola: REM DEA TR: t = t10791
lola: REM DEA TR: t = t10792
lola: REM DEA TR: t = t10793
lola: REM DEA TR: t = t10794
lola: REM DEA TR: t = t10795
lola: REM DEA TR: t = t10796
lola: REM DEA TR: t = t10797
lola: REM DEA TR: t = t10798
lola: REM DEA TR: t = t10799
lola: REM DEA TR: t = t9511
lola: REM DEA TR: t = t9512
lola: REM DEA TR: t = t9513
lola: REM DEA TR: t = t9514
lola: REM DEA TR: t = t9515
lola: REM DEA TR: t = t9516
lola: REM DEA TR: t = t9537
lola: REM DEA TR: t = t9538
lola: REM DEA TR: t = t9539
lola: REM DEA TR: t = t9540
lola: REM DEA TR: t = t9541
lola: REM DEA TR: t = t9542
lola: REM DEA TR: t = t9543
lola: REM DEA TR: t = t9544
lola: REM DEA TR: t = t9545
lola: REM DEA TR: t = t9546
lola: REM DEA TR: t = t9547
lola: REM DEA TR: t = t9548
lola: REM DEA TR: t = t9549
lola: REM DEA TR: t = t9550
lola: REM DEA TR: t = t9551
lola: REM DEA TR: t = t9567
lola: REM DEA TR: t = t9568
lola: REM DEA TR: t = t9569
lola: REM DEA TR: t = t9570
lola: REM DEA TR: t = t9571
lola: REM DEA TR: t = t9572
lola: REM DEA TR: t = t9588
lola: REM DEA TR: t = t9589
lola: REM DEA TR: t = t9590
lola: REM DEA TR: t = t9591
lola: REM DEA TR: t = t9592
lola: REM DEA TR: t = t9593
lola: REM DEA TR: t = t10800
lola: REM DEA TR: t = t10801
lola: REM DEA TR: t = t10802
lola: REM DEA TR: t = t10803
lola: REM DEA TR: t = t10804
lola: REM DEA TR: t = t10820
lola: REM DEA TR: t = t10821
lola: REM DEA TR: t = t10822
lola: REM DEA TR: t = t10823
lola: REM DEA TR: t = t10824
lola: REM DEA TR: t = t10825
lola: REM DEA TR: t = t10826
lola: REM DEA TR: t = t10827
lola: REM DEA TR: t = t10828
lola: REM DEA TR: t = t10829
lola: REM DEA TR: t = t10830
lola: REM DEA TR: t = t10831
lola: REM DEA TR: t = t10832
lola: REM DEA TR: t = t10833
lola: REM DEA TR: t = t10834
lola: REM DEA TR: t = t10835
lola: REM DEA TR: t = t10836
lola: REM DEA TR: t = t10837
lola: REM DEA TR: t = t10838
lola: REM DEA TR: t = t10839
lola: REM DEA TR: t = t10855
lola: REM DEA TR: t = t10856
lola: REM DEA TR: t = t10857
lola: REM DEA TR: t = t10858
lola: REM DEA TR: t = t10859
lola: REM DEA TR: t = t10860
lola: REM DEA TR: t = t10861
lola: REM DEA TR: t = t10862
lola: REM DEA TR: t = t10863
lola: REM DEA TR: t = t10864
lola: REM DEA TR: t = t10865
lola: REM DEA TR: t = t10866
lola: REM DEA TR: t = t10867
lola: REM DEA TR: t = t10868
lola: REM DEA TR: t = t10869
lola: REM DEA TR: t = t10870
lola: REM DEA TR: t = t10871
lola: REM DEA TR: t = t10872
lola: REM DEA TR: t = t10873
lola: REM DEA TR: t = t10874
lola: REM DEA TR: t = t10895
lola: REM DEA TR: t = t10896
lola: REM DEA TR: t = t10897
lola: REM DEA TR: t = t10898
lola: REM DEA TR: t = t10899
lola: REM DEA TR: t = t9600
lola: REM DEA TR: t = t10900
lola: REM DEA TR: t = t10901
lola: REM DEA TR: t = t10902
lola: REM DEA TR: t = t10903
lola: REM DEA TR: t = t10904
lola: REM DEA TR: t = t10905
lola: REM DEA TR: t = t10906
lola: REM DEA TR: t = t10907
lola: REM DEA TR: t = t10908
lola: REM DEA TR: t = t10909
lola: REM DEA TR: t = t1287
lola: REM DEA TR: t = t1328
lola: REM DEA TR: t = t1330
lola: REM DEA TR: t = t1360
lola: REM DEA TR: t = t1361
lola: REM DEA TR: t = t1380
lola: REM DEA TR: t = t1757
lola: REM DEA TR: t = t1761
lola: REM DEA TR: t = t1779
lola: REM DEA TR: t = t1783
lola: REM DEA TR: t = t1787
lola: REM DEA TR: t = t1789
lola: REM DEA TR: t = t1793
lola: REM DEA TR: t = t4030
lola: REM DEA TR: t = t1815
lola: REM DEA TR: t = t1819
lola: REM DEA TR: t = t1823
lola: REM DEA TR: t = t1827
lola: REM DEA TR: t = t1851
lola: REM DEA TR: t = t4153
lola: REM DEA TR: t = t4154
lola: REM DEA TR: t = t4155
lola: REM DEA TR: t = t4156
lola: REM DEA TR: t = t4157
lola: REM DEA TR: t = t4158
lola: REM DEA TR: t = t4264
lola: REM DEA TR: t = t4265
lola: REM DEA TR: t = t4266
lola: REM DEA TR: t = t4267
lola: REM DEA TR: t = t4268
lola: REM DEA TR: t = t4269
lola: REM DEA TR: t = t4270
lola: REM DEA TR: t = t4271
lola: REM DEA TR: t = t4272
lola: REM DEA TR: t = t4273
lola: REM DEA TR: t = t4274
lola: REM DEA TR: t = t4275
lola: REM DEA TR: t = t4276
lola: REM DEA TR: t = t4277
lola: REM DEA TR: t = t4278
lola: REM DEA TR: t = t4357
lola: REM DEA TR: t = t4358
lola: REM DEA TR: t = t4359
lola: REM DEA TR: t = t4360
lola: REM DEA TR: t = t4361
lola: REM DEA TR: t = t4362
lola: REM DEA TR: t = t4363
lola: REM DEA TR: t = t4364
lola: REM DEA TR: t = t4365
lola: REM DEA TR: t = t4366
lola: REM DEA TR: t = t4367
lola: REM DEA TR: t = t4368
lola: REM DEA TR: t = t4369
lola: REM DEA TR: t = t4370
lola: REM DEA TR: t = t4371
lola: REM DEA TR: t = t4372
lola: REM DEA TR: t = t4373
lola: REM DEA TR: t = t4374
lola: REM DEA TR: t = t4375
lola: REM DEA TR: t = t4376
lola: REM DEA TR: t = t4445
lola: REM DEA TR: t = t4446
lola: REM DEA TR: t = t4447
lola: REM DEA TR: t = t4448
lola: REM DEA TR: t = t4449
lola: REM DEA TR: t = t4450
lola: REM DEA TR: t = t4451
lola: REM DEA TR: t = t4452
lola: REM DEA TR: t = t4453
lola: REM DEA TR: t = t4454
lola: REM DEA TR: t = t4455
lola: REM DEA TR: t = t4456
lola: REM DEA TR: t = t4457
lola: REM DEA TR: t = t4458
lola: REM DEA TR: t = t4459
lola: REM DEA TR: t = t4543
lola: REM DEA TR: t = t4544
lola: REM DEA TR: t = t4545
lola: REM DEA TR: t = t4546
lola: REM DEA TR: t = t4547
lola: REM DEA TR: t = t4548
lola: REM DEA TR: t = t4659
lola: REM DEA TR: t = t1182
lola: REM DEA TR: t = t1195
lola: REM DEA TR: t = t1197
lola: REM DEA TR: t = t1199
lola: REM DEA TR: t = t9962
lola: REM DEA TR: t = t9963
lola: REM DEA TR: t = t9964
lola: REM DEA TR: t = t9965
lola: REM DEA TR: t = t9966
lola: REM DEA TR: t = t9967
lola: REM DEA TR: t = t9968
lola: REM DEA TR: t = t9969
lola: REM DEA TR: t = t9970
lola: REM DEA TR: t = t9971
lola: REM DEA TR: t = t9972
lola: REM DEA TR: t = t9973
lola: REM DEA TR: t = t9974
lola: REM DEA TR: t = t9975
lola: REM DEA TR: t = t12154
lola: REM DEA TR: t = t12162
lola: REM DEA TR: t = t12176
lola: REM DEA TR: t = t12177
lola: REM DEA TR: t = t12178
lola: REM DEA TR: t = t12179
lola: REM DEA TR: t = t12180
lola: REM DEA TR: t = t12181
lola: REM DEA TR: t = t1211
lola: REM DEA TR: t = t1212
lola: REM DEA TR: t = t1214
lola: REM DEA TR: t = t1222
lola: REM DEA TR: t = t8981
lola: REM DEA TR: t = t12617
lola: REM DEA TR: t = t10032
lola: REM DEA TR: t = t10033
lola: REM DEA TR: t = t10034
lola: REM DEA TR: t = t10035
lola: REM DEA TR: t = t10036
lola: REM DEA TR: t = t10037
lola: REM DEA TR: t = t10038
lola: REM DEA TR: t = t10039
lola: REM DEA TR: t = t10040
lola: REM DEA TR: t = t10041
lola: REM DEA TR: t = t10042
lola: REM DEA TR: t = t10043
lola: REM DEA TR: t = t10044
lola: REM DEA TR: t = t10045
lola: REM DEA TR: t = t10046
lola: REM DEA TR: t = t10047
lola: REM DEA TR: t = t10048
lola: REM DEA TR: t = t10049
lola: REM DEA TR: t = t10050
lola: REM DEA TR: t = t10102
lola: REM DEA TR: t = t10103
lola: REM DEA TR: t = t10104
lola: REM DEA TR: t = t10105
lola: REM DEA TR: t = t10106
lola: REM DEA TR: t = t10107
lola: REM DEA TR: t = t10108
lola: REM DEA TR: t = t10109
lola: REM DEA TR: t = t10110
lola: REM DEA TR: t = t10111
lola: REM DEA TR: t = t10112
lola: REM DEA TR: t = t10113
lola: REM DEA TR: t = t10114
lola: REM DEA TR: t = t10115
lola: REM DEA TR: t = t10116
lola: REM DEA TR: t = t10117
lola: REM DEA TR: t = t10118
lola: REM DEA TR: t = t10119
lola: REM DEA TR: t = t10121
lola: REM DEA TR: t = t11493
lola: REM DEA TR: t = t10172
lola: REM DEA TR: t = t10173
lola: REM DEA TR: t = t10174
lola: REM DEA TR: t = t10175
lola: REM DEA TR: t = t10176
lola: REM DEA TR: t = t10177
lola: REM DEA TR: t = t10178
lola: REM DEA TR: t = t10179
lola: REM DEA TR: t = t10180
lola: REM DEA TR: t = t10181
lola: REM DEA TR: t = t10182
lola: REM DEA TR: t = t10183
lola: REM DEA TR: t = t10184
lola: REM DEA TR: t = t10185
lola: REM DEA TR: t = t11507
lola: REM DEA TR: t = t11508
lola: REM DEA TR: t = t11509
lola: REM DEA TR: t = t11510
lola: REM DEA TR: t = t11511
lola: REM DEA TR: t = t11512
lola: REM DEA TR: t = t11535
lola: REM DEA TR: t = t11536
lola: REM DEA TR: t = t11537
lola: REM DEA TR: t = t11538
lola: REM DEA TR: t = t11539
lola: REM DEA TR: t = t11540
lola: REM DEA TR: t = t11577
lola: REM DEA TR: t = t11578
lola: REM DEA TR: t = t11579
lola: REM DEA TR: t = t11580
lola: REM DEA TR: t = t11581
lola: REM DEA TR: t = t11582
lola: REM DEA TR: t = t11583
lola: REM DEA TR: t = t11584
lola: REM DEA TR: t = t11585
lola: REM DEA TR: t = t11586
lola: REM DEA TR: t = t11587
lola: REM DEA TR: t = t11588
lola: REM DEA TR: t = t11589
lola: REM DEA TR: t = t11590
lola: REM DEA TR: t = t11591
lola: REM DEA TR: t = t9025
lola: REM DEA TR: t = t9026
lola: REM DEA TR: t = t9027
lola: REM DEA TR: t = t9028
lola: REM DEA TR: t = t9029
lola: REM DEA TR: t = t9030
lola: REM DEA TR: t = t9039
lola: REM DEA TR: t = t9047
lola: REM DEA TR: t = t9140
lola: REM DEA TR: t = t9141
lola: REM DEA TR: t = t9142
lola: REM DEA TR: t = t9143
lola: REM DEA TR: t = t9144
lola: REM DEA TR: t = t9145
lola: REM DEA TR: t = t9146
lola: REM DEA TR: t = t9147
lola: REM DEA TR: t = t9148
lola: REM DEA TR: t = t9149
lola: REM DEA TR: t = t9150
lola: REM DEA TR: t = t9151
lola: REM DEA TR: t = t9152
lola: REM DEA TR: t = t9153
lola: REM DEA TR: t = t9154
lola: REM DEA TR: t = t9182
lola: REM DEA TR: t = t9183
lola: REM DEA TR: t = t9184
lola: REM DEA TR: t = t9185
lola: REM DEA TR: t = t9186
lola: REM DEA TR: t = t9187
lola: REM DEA TR: t = t9210
lola: REM DEA TR: t = t9211
lola: REM DEA TR: t = t9212
lola: REM DEA TR: t = t9213
lola: REM DEA TR: t = t9214
lola: REM DEA TR: t = t9215
lola: REM DEA TR: t = t9224
lola: REM DEA TR: t = t9426
lola: REM DEA TR: t = t9427
lola: REM DEA TR: t = t9428
lola: REM DEA TR: t = t9429
lola: REM DEA TR: t = t9430
lola: REM DEA TR: t = t9431
lola: REM DEA TR: t = t9432
lola: REM DEA TR: t = t9433
lola: REM DEA TR: t = t9434
lola: REM DEA TR: t = t9435
lola: REM DEA TR: t = t9436
lola: REM DEA TR: t = t9437
lola: REM DEA TR: t = t9438
lola: REM DEA TR: t = t9439
lola: REM DEA TR: t = t9440
lola: REM DEA TR: t = t9441
lola: REM DEA TR: t = t9442
lola: REM DEA TR: t = t9443
lola: REM DEA TR: t = t9444
lola: REM DEA TR: t = t9445
lola: REM DEA TR: t = t9496
lola: REM DEA TR: t = t9497
lola: REM DEA TR: t = t9498
lola: REM DEA TR: t = t9499
lola: REM DEA TR: t = t10707
lola: REM DEA TR: t = t10708
lola: REM DEA TR: t = t10709
lola: REM DEA TR: t = t10710
lola: REM DEA TR: t = t10711
lola: REM DEA TR: t = t10712
lola: REM DEA TR: t = t10749
lola: REM DEA TR: t = t10750
lola: REM DEA TR: t = t10751
lola: REM DEA TR: t = t10752
lola: REM DEA TR: t = t10753
lola: REM DEA TR: t = t10754
lola: REM DEA TR: t = t10755
lola: REM DEA TR: t = t10756
lola: REM DEA TR: t = t10757
lola: REM DEA TR: t = t10758
lola: REM DEA TR: t = t10759
lola: REM DEA TR: t = t10760
lola: REM DEA TR: t = t10761
lola: REM DEA TR: t = t10762
lola: REM DEA TR: t = t10763
lola: REM DEA TR: t = t9500
lola: REM DEA TR: t = t9501
lola: REM DEA TR: t = t9502
lola: REM DEA TR: t = t9503
lola: REM DEA TR: t = t9504
lola: REM DEA TR: t = t9505
lola: REM DEA TR: t = t9506
lola: REM DEA TR: t = t9507
lola: REM DEA TR: t = t9508
lola: REM DEA TR: t = t9509
lola: REM DEA TR: t = t9510
lola: REM DEA TR: t = t9552
lola: REM DEA TR: t = t9553
lola: REM DEA TR: t = t9554
lola: REM DEA TR: t = t9555
lola: REM DEA TR: t = t9556
lola: REM DEA TR: t = t9557
lola: REM DEA TR: t = t9558
lola: REM DEA TR: t = t9559
lola: REM DEA TR: t = t9560
lola: REM DEA TR: t = t9561
lola: REM DEA TR: t = t9562
lola: REM DEA TR: t = t9563
lola: REM DEA TR: t = t9564
lola: REM DEA TR: t = t9565
lola: REM DEA TR: t = t9566
lola: REM DEA TR: t = t9594
lola: REM DEA TR: t = t9595
lola: REM DEA TR: t = t9596
lola: REM DEA TR: t = t9597
lola: REM DEA TR: t = t9598
lola: REM DEA TR: t = t9599
lola: REM DEA TR: t = t10805
lola: REM DEA TR: t = t10806
lola: REM DEA TR: t = t10807
lola: REM DEA TR: t = t10808
lola: REM DEA TR: t = t10809
lola: REM DEA TR: t = t10810
lola: REM DEA TR: t = t10811
lola: REM DEA TR: t = t10812
lola: REM DEA TR: t = t10813
lola: REM DEA TR: t = t10814
lola: REM DEA TR: t = t10815
lola: REM DEA TR: t = t10816
lola: REM DEA TR: t = t10817
lola: REM DEA TR: t = t10818
lola: REM DEA TR: t = t10819
lola: REM DEA TR: t = t10875
lola: REM DEA TR: t = t10876
lola: REM DEA TR: t = t10877
lola: REM DEA TR: t = t10878
lola: REM DEA TR: t = t10879
lola: REM DEA TR: t = t10880
lola: REM DEA TR: t = t10881
lola: REM DEA TR: t = t10882
lola: REM DEA TR: t = t10883
lola: REM DEA TR: t = t10884
lola: REM DEA TR: t = t10885
lola: REM DEA TR: t = t10886
lola: REM DEA TR: t = t10887
lola: REM DEA TR: t = t10888
lola: REM DEA TR: t = t10889
lola: REM DEA TR: t = t10890
lola: REM DEA TR: t = t10891
lola: REM DEA TR: t = t10892
lola: REM DEA TR: t = t10893
lola: REM DEA TR: t = t10894
lola: REM DEA TR: t = t4234
lola: REM DEA TR: t = t4236
lola: REM DEA TR: t = t4325
lola: REM DEA TR: t = t4330
lola: REM DEA TR: t = t4332
lola: REM DEA TR: t = t4336
lola: REM DEA TR: t = t4338
lola: REM DEA TR: t = t4414
lola: REM DEA TR: t = t4415
lola: REM DEA TR: t = t4419
lola: REM DEA TR: t = t4424
lola: REM DEA TR: t = t4426
lola: REM DEA TR: t = t4516
lola: REM DEA TR: t = t4517
lola: REM DEA TR: t = t4518
lola: REM DEA TR: t = t4635
lola: REM DEA TR: t = t1063
lola: REM DEA TR: t = t1066
lola: REM DEA TR: t = t1067
lola: REM DEA TR: t = t1068
lola: REM DEA TR: t = t1070
lola: REM DEA TR: t = t1071
lola: REM DEA TR: t = t1072
lola: REM DEA TR: t = t1074
lola: REM DEA TR: t = t1245
lola: REM DEA TR: t = t1273
lola: REM DEA TR: t = t1274
lola: REM DEA TR: t = t1275
lola: REM DEA TR: t = t1276
lola: REM DEA TR: t = t1311
lola: REM DEA TR: t = t1312
lola: REM DEA TR: t = t1313
lola: REM DEA TR: t = t1314
lola: REM DEA TR: t = t1315
lola: REM DEA TR: t = t1316
lola: REM DEA TR: t = t1350
lola: REM DEA TR: t = t1351
lola: REM DEA TR: t = t1352
lola: REM DEA TR: t = t1353
lola: REM DEA TR: t = t1378
lola: REM DEA TR: t = t1177
lola: REM DEA TR: t = t1189
lola: REM DEA TR: t = t1190
lola: REM DEA TR: t = t1192
lola: REM DEA TR: t = t1207
lola: REM DEA TR: t = t1208
lola: REM DEA TR: t = t1209
lola: REM DEA TR: t = t1220
lola: REM DEA TR: t = t4129
lola: REM DEA TR: t = t4130
lola: REM DEA TR: t = t4235
lola: REM DEA TR: t = t4241
lola: REM DEA TR: t = t4242
lola: REM DEA TR: t = t4245
lola: REM DEA TR: t = t4246
lola: REM DEA TR: t = t4328
lola: REM DEA TR: t = t4331
lola: REM DEA TR: t = t4337
lola: REM DEA TR: t = t4343
lola: REM DEA TR: t = t4344
lola: REM DEA TR: t = t4418
lola: REM DEA TR: t = t4422
lola: REM DEA TR: t = t4425
lola: REM DEA TR: t = t4521
lola: REM DEA TR: t = t2579
lola: REM DEA TR: t = t2581
lola: REM DEA TR: t = t2727
lola: REM DEA TR: t = t2299
lola: REM DEA TR: t = t1115
lola: REM DEA TR: t = t5031
lola: REM DEA TR: t = t5092
lola: REM DEA TR: t = t5093
lola: REM DEA TR: t = t5094
lola: REM DEA TR: t = t5095
lola: REM DEA TR: t = t5096
lola: REM DEA TR: t = t5097
lola: REM DEA TR: t = t5098
lola: REM DEA TR: t = t5138
lola: REM DEA TR: t = t5139
lola: REM DEA TR: t = t5140
lola: REM DEA TR: t = t5141
lola: REM DEA TR: t = t5142
lola: REM DEA TR: t = t5143
lola: REM DEA TR: t = t5144
lola: REM DEA TR: t = t5145
lola: REM DEA TR: t = t5146
lola: REM DEA TR: t = t5147
lola: REM DEA TR: t = t5148
lola: REM DEA TR: t = t5149
lola: REM DEA TR: t = t5150
lola: REM DEA TR: t = t5151
lola: REM DEA TR: t = t5152
lola: REM DEA TR: t = t5153
lola: REM DEA TR: t = t5154
lola: REM DEA TR: t = t5155
lola: REM DEA TR: t = t5156
lola: REM DEA TR: t = t5157
lola: REM DEA TR: t = t5158
lola: REM DEA TR: t = t5197
lola: REM DEA TR: t = t5198
lola: REM DEA TR: t = t5199
lola: REM DEA TR: t = t2948
lola: REM DEA TR: t = t5200
lola: REM DEA TR: t = t5201
lola: REM DEA TR: t = t5202
lola: REM DEA TR: t = t5203
lola: REM DEA TR: t = t5204
lola: REM DEA TR: t = t5205
lola: REM DEA TR: t = t5206
lola: REM DEA TR: t = t5207
lola: REM DEA TR: t = t5208
lola: REM DEA TR: t = t5209
lola: REM DEA TR: t = t5210
lola: REM DEA TR: t = t5211
lola: REM DEA TR: t = t5212
lola: REM DEA TR: t = t5213
lola: REM DEA TR: t = t5214
lola: REM DEA TR: t = t5215
lola: REM DEA TR: t = t5216
lola: REM DEA TR: t = t5217
lola: REM DEA TR: t = t5218
lola: REM DEA TR: t = t5219
lola: REM DEA TR: t = t5220
lola: REM DEA TR: t = t5221
lola: REM DEA TR: t = t5222
lola: REM DEA TR: t = t5223
lola: REM DEA TR: t = t5224
lola: REM DEA TR: t = t5225
lola: REM DEA TR: t = t5226
lola: REM DEA TR: t = t5227
lola: REM DEA TR: t = t5228
lola: REM DEA TR: t = t5229
lola: REM DEA TR: t = t5230
lola: REM DEA TR: t = t5231
lola: REM DEA TR: t = t5294
lola: REM DEA TR: t = t5295
lola: REM DEA TR: t = t5296
lola: REM DEA TR: t = t5297
lola: REM DEA TR: t = t5298
lola: REM DEA TR: t = t5299
lola: REM DEA TR: t = t5300
lola: REM DEA TR: t = t5301
lola: REM DEA TR: t = t5302
lola: REM DEA TR: t = t5303
lola: REM DEA TR: t = t5304
lola: REM DEA TR: t = t5305
lola: REM DEA TR: t = t5306
lola: REM DEA TR: t = t5307
lola: REM DEA TR: t = t5308
lola: REM DEA TR: t = t5309
lola: REM DEA TR: t = t5310
lola: REM DEA TR: t = t5311
lola: REM DEA TR: t = t5312
lola: REM DEA TR: t = t5313
lola: REM DEA TR: t = t5314
lola: REM DEA TR: t = t5315
lola: REM DEA TR: t = t5316
lola: REM DEA TR: t = t5317
lola: REM DEA TR: t = t5318
lola: REM DEA TR: t = t5319
lola: REM DEA TR: t = t5320
lola: REM DEA TR: t = t5321
lola: REM DEA TR: t = t5322
lola: REM DEA TR: t = t5323
lola: REM DEA TR: t = t5324
lola: REM DEA TR: t = t5325
lola: REM DEA TR: t = t5326
lola: REM DEA TR: t = t5327
lola: REM DEA TR: t = t5328
lola: REM DEA TR: t = t5435
lola: REM DEA TR: t = t5436
lola: REM DEA TR: t = t5437
lola: REM DEA TR: t = t5438
lola: REM DEA TR: t = t5439
lola: REM DEA TR: t = t5440
lola: REM DEA TR: t = t5441
lola: REM DEA TR: t = t5442
lola: REM DEA TR: t = t5443
lola: REM DEA TR: t = t5444
lola: REM DEA TR: t = t5445
lola: REM DEA TR: t = t5446
lola: REM DEA TR: t = t5447
lola: REM DEA TR: t = t5448
lola: REM DEA TR: t = t5449
lola: REM DEA TR: t = t5450
lola: REM DEA TR: t = t5451
lola: REM DEA TR: t = t5452
lola: REM DEA TR: t = t5453
lola: REM DEA TR: t = t5454
lola: REM DEA TR: t = t5455
lola: REM DEA TR: t = t5604
lola: REM DEA TR: t = t5605
lola: REM DEA TR: t = t5606
lola: REM DEA TR: t = t5607
lola: REM DEA TR: t = t5608
lola: REM DEA TR: t = t5609
lola: REM DEA TR: t = t5610
lola: REM DEA TR: t = t3023
lola: REM DEA TR: t = t3025
lola: REM DEA TR: t = t3059
lola: REM DEA TR: t = t3063
lola: REM DEA TR: t = t3074
lola: REM DEA TR: t = t5766
lola: REM DEA TR: t = t1127
lola: REM DEA TR: t = t1129
lola: REM DEA TR: t = t1130
lola: REM DEA TR: t = t1131
lola: REM DEA TR: t = t1132
lola: REM DEA TR: t = t1133
lola: REM DEA TR: t = t11397
lola: REM DEA TR: t = t11398
lola: REM DEA TR: t = t11399
lola: REM DEA TR: t = t11400
lola: REM DEA TR: t = t11417
lola: REM DEA TR: t = t11418
lola: REM DEA TR: t = t11419
lola: REM DEA TR: t = t11420
lola: REM DEA TR: t = t11435
lola: REM DEA TR: t = t12845
lola: REM DEA TR: t = t12846
lola: REM DEA TR: t = t12849
lola: REM DEA TR: t = t12850
lola: REM DEA TR: t = t12851
lola: REM DEA TR: t = t12852
lola: REM DEA TR: t = t12861
lola: REM DEA TR: t = t12864
lola: REM DEA TR: t = t12865
lola: REM DEA TR: t = t12866
lola: REM DEA TR: t = t12867
lola: REM DEA TR: t = t12870
lola: REM DEA TR: t = t12871
lola: REM DEA TR: t = t12872
lola: REM DEA TR: t = t12873
lola: REM DEA TR: t = t12883
lola: REM DEA TR: t = t12884
lola: REM DEA TR: t = t12885
lola: REM DEA TR: t = t12886
lola: REM DEA TR: t = t12887
lola: REM DEA TR: t = t12888
lola: REM DEA TR: t = t10499
lola: REM DEA TR: t = t10500
lola: REM DEA TR: t = t10501
lola: REM DEA TR: t = t10502
lola: REM DEA TR: t = t10503
lola: REM DEA TR: t = t10504
lola: REM DEA TR: t = t10521
lola: REM DEA TR: t = t10522
lola: REM DEA TR: t = t10523
lola: REM DEA TR: t = t10524
lola: REM DEA TR: t = t10541
lola: REM DEA TR: t = t10542
lola: REM DEA TR: t = t10543
lola: REM DEA TR: t = t10544
lola: REM DEA TR: t = t10559
lola: REM DEA TR: t = t9369
lola: REM DEA TR: t = t9370
lola: REM DEA TR: t = t9373
lola: REM DEA TR: t = t11942
lola: REM DEA TR: t = t11945
lola: REM DEA TR: t = t11946
lola: REM DEA TR: t = t11947
lola: REM DEA TR: t = t11948
lola: REM DEA TR: t = t11951
lola: REM DEA TR: t = t11952
lola: REM DEA TR: t = t11953
lola: REM DEA TR: t = t11954
lola: REM DEA TR: t = t11958
lola: REM DEA TR: t = t11959
lola: REM DEA TR: t = t11962
lola: REM DEA TR: t = t11963
lola: REM DEA TR: t = t10632
lola: REM DEA TR: t = t11964
lola: REM DEA TR: t = t10633
lola: REM DEA TR: t = t11965
lola: REM DEA TR: t = t10634
lola: REM DEA TR: t = t11966
lola: REM DEA TR: t = t10635
lola: REM DEA TR: t = t11967
lola: REM DEA TR: t = t11968
lola: REM DEA TR: t = t11969
lola: REM DEA TR: t = t11972
lola: REM DEA TR: t = t11973
lola: REM DEA TR: t = t10642
lola: REM DEA TR: t = t11974
lola: REM DEA TR: t = t10643
lola: REM DEA TR: t = t11975
lola: REM DEA TR: t = t10644
lola: REM DEA TR: t = t10645
lola: REM DEA TR: t = t10646
lola: REM DEA TR: t = t10647
lola: REM DEA TR: t = t11979
lola: REM DEA TR: t = t10648
lola: REM DEA TR: t = t10649
lola: REM DEA TR: t = t11980
lola: REM DEA TR: t = t10650
lola: REM DEA TR: t = t11983
lola: REM DEA TR: t = t11984
lola: REM DEA TR: t = t11985
lola: REM DEA TR: t = t11986
lola: REM DEA TR: t = t11987
lola: REM DEA TR: t = t11988
lola: REM DEA TR: t = t10657
lola: REM DEA TR: t = t11989
lola: REM DEA TR: t = t10658
lola: REM DEA TR: t = t10659
lola: REM DEA TR: t = t11990
lola: REM DEA TR: t = t10660
lola: REM DEA TR: t = t10661
lola: REM DEA TR: t = t10662
lola: REM DEA TR: t = t11994
lola: REM DEA TR: t = t10663
lola: REM DEA TR: t = t11995
lola: REM DEA TR: t = t10664
lola: REM DEA TR: t = t10665
lola: REM DEA TR: t = t11998
lola: REM DEA TR: t = t11999
lola: REM DEA TR: t = t10670
lola: REM DEA TR: t = t10671
lola: REM DEA TR: t = t10680
lola: REM DEA TR: t = t10681
lola: REM DEA TR: t = t10684
lola: REM DEA TR: t = t10685
lola: REM DEA TR: t = t10686
lola: REM DEA TR: t = t10687
lola: REM DEA TR: t = t10688
lola: REM DEA TR: t = t10689
lola: REM DEA TR: t = t10690
lola: REM DEA TR: t = t10691
lola: REM DEA TR: t = t10692
lola: REM DEA TR: t = t10693
lola: REM DEA TR: t = t10694
lola: REM DEA TR: t = t10695
lola: REM DEA TR: t = t10696
lola: REM DEA TR: t = t10697
lola: REM DEA TR: t = t10698
lola: REM DEA TR: t = t10699
lola: REM DEA TR: t = t13011
lola: REM DEA TR: t = t13013
lola: REM DEA TR: t = t13014
lola: REM DEA TR: t = t13017
lola: REM DEA TR: t = t13018
lola: REM DEA TR: t = t13019
lola: REM DEA TR: t = t13020
lola: REM DEA TR: t = t13066
lola: REM DEA TR: t = t9830
lola: REM DEA TR: t = t9836
lola: REM DEA TR: t = t9837
lola: REM DEA TR: t = t9838
lola: REM DEA TR: t = t9839
lola: REM DEA TR: t = t9840
lola: REM DEA TR: t = t9842
lola: REM DEA TR: t = t9843
lola: REM DEA TR: t = t9844
lola: REM DEA TR: t = t9845
lola: REM DEA TR: t = t9846
lola: REM DEA TR: t = t9847
lola: REM DEA TR: t = t9848
lola: REM DEA TR: t = t9849
lola: REM DEA TR: t = t9850
lola: REM DEA TR: t = t9851
lola: REM DEA TR: t = t9852
lola: REM DEA TR: t = t9853
lola: REM DEA TR: t = t9854
lola: REM DEA TR: t = t9855
lola: REM DEA TR: t = t9862
lola: REM DEA TR: t = t9863
lola: REM DEA TR: t = t9864
lola: REM DEA TR: t = t9865
lola: REM DEA TR: t = t9866
lola: REM DEA TR: t = t9867
lola: REM DEA TR: t = t9868
lola: REM DEA TR: t = t9869
lola: REM DEA TR: t = t9870
lola: REM DEA TR: t = t9875
lola: REM DEA TR: t = t9876
lola: REM DEA TR: t = t9878
lola: REM DEA TR: t = t9879
lola: REM DEA TR: t = t9880
lola: REM DEA TR: t = t9881
lola: REM DEA TR: t = t9882
lola: REM DEA TR: t = t9885
lola: REM DEA TR: t = t9886
lola: REM DEA TR: t = t9889
lola: REM DEA TR: t = t12000
lola: REM DEA TR: t = t12001
lola: REM DEA TR: t = t12002
lola: REM DEA TR: t = t12003
lola: REM DEA TR: t = t12004
lola: REM DEA TR: t = t12005
lola: REM DEA TR: t = t12008
lola: REM DEA TR: t = t12009
lola: REM DEA TR: t = t9890
lola: REM DEA TR: t = t9891
lola: REM DEA TR: t = t9892
lola: REM DEA TR: t = t9893
lola: REM DEA TR: t = t9894
lola: REM DEA TR: t = t9895
lola: REM DEA TR: t = t9896
lola: REM DEA TR: t = t9897
lola: REM DEA TR: t = t9898
lola: REM DEA TR: t = t9899
lola: REM DEA TR: t = t12011
lola: REM DEA TR: t = t12012
lola: REM DEA TR: t = t12013
lola: REM DEA TR: t = t12014
lola: REM DEA TR: t = t12015
lola: REM DEA TR: t = t12017
lola: REM DEA TR: t = t12018
lola: REM DEA TR: t = t12019
lola: REM DEA TR: t = t12020
lola: REM DEA TR: t = t12021
lola: REM DEA TR: t = t12022
lola: REM DEA TR: t = t12023
lola: REM DEA TR: t = t12024
lola: REM DEA TR: t = t12025
lola: REM DEA TR: t = t12028
lola: REM DEA TR: t = t12029
lola: REM DEA TR: t = t12030
lola: REM DEA TR: t = t12031
lola: REM DEA TR: t = t12035
lola: REM DEA TR: t = t12036
lola: REM DEA TR: t = t12039
lola: REM DEA TR: t = t12040
lola: REM DEA TR: t = t12041
lola: REM DEA TR: t = t12042
lola: REM DEA TR: t = t12043
lola: REM DEA TR: t = t12044
lola: REM DEA TR: t = t12045
lola: REM DEA TR: t = t12046
lola: REM DEA TR: t = t12050
lola: REM DEA TR: t = t12051
lola: REM DEA TR: t = t12054
lola: REM DEA TR: t = t12055
lola: REM DEA TR: t = t12056
lola: REM DEA TR: t = t12057
lola: REM DEA TR: t = t12058
lola: REM DEA TR: t = t12059
lola: REM DEA TR: t = t12060
lola: REM DEA TR: t = t12061
lola: REM DEA TR: t = t12062
lola: REM DEA TR: t = t12063
lola: REM DEA TR: t = t12064
lola: REM DEA TR: t = t12065
lola: REM DEA TR: t = t12066
lola: REM DEA TR: t = t12067
lola: REM DEA TR: t = t12068
lola: REM DEA TR: t = t12069
lola: REM DEA TR: t = t12070
lola: REM DEA TR: t = t12071
lola: REM DEA TR: t = t12072
lola: REM DEA TR: t = t12073
lola: REM DEA TR: t = t12074
lola: REM DEA TR: t = t12075
lola: REM DEA TR: t = t12076
lola: REM DEA TR: t = t12077
lola: REM DEA TR: t = t12078
lola: REM DEA TR: t = t12079
lola: REM DEA TR: t = t12080
lola: REM DEA TR: t = t12081
lola: REM DEA TR: t = t12083
lola: REM DEA TR: t = t12084
lola: REM DEA TR: t = t12087
lola: REM DEA TR: t = t12088
lola: REM DEA TR: t = t12091
lola: REM DEA TR: t = t12092
lola: REM DEA TR: t = t12093
lola: REM DEA TR: t = t12094
lola: REM DEA TR: t = t12095
lola: REM DEA TR: t = t12096
lola: REM DEA TR: t = t12097
lola: REM DEA TR: t = t12098
lola: REM DEA TR: t = t12099
lola: REM DEA TR: t = t1173
lola: REM DEA TR: t = t1178
lola: REM DEA TR: t = t1179
lola: REM DEA TR: t = t1180
lola: REM DEA TR: t = t1191
lola: REM DEA TR: t = t1193
lola: REM DEA TR: t = t1194
lola: REM DEA TR: t = t1210
lola: REM DEA TR: t = t6035
lola: REM DEA TR: t = t5277
lola: REM DEA TR: t = t1747
lola: REM DEA TR: t = t1766
lola: REM DEA TR: t = t1770
lola: REM DEA TR: t = t1798
lola: REM DEA TR: t = t5370
lola: REM DEA TR: t = t5380
lola: REM DEA TR: t = t5381
lola: REM DEA TR: t = t5382
lola: REM DEA TR: t = t5383
lola: REM DEA TR: t = t5384
lola: REM DEA TR: t = t5385
lola: REM DEA TR: t = t5480
lola: REM DEA TR: t = t5481
lola: REM DEA TR: t = t5493
lola: REM DEA TR: t = t5498
lola: REM DEA TR: t = t5499
lola: REM DEA TR: t = t5500
lola: REM DEA TR: t = t5501
lola: REM DEA TR: t = t5502
lola: REM DEA TR: t = t5504
lola: REM DEA TR: t = t5505
lola: REM DEA TR: t = t5508
lola: REM DEA TR: t = t5509
lola: REM DEA TR: t = t5510
lola: REM DEA TR: t = t5511
lola: REM DEA TR: t = t5512
lola: REM DEA TR: t = t5625
lola: REM DEA TR: t = t5632
lola: REM DEA TR: t = t5633
lola: REM DEA TR: t = t5640
lola: REM DEA TR: t = t5641
lola: REM DEA TR: t = t5644
lola: REM DEA TR: t = t5650
lola: REM DEA TR: t = t5651
lola: REM DEA TR: t = t5652
lola: REM DEA TR: t = t5653
lola: REM DEA TR: t = t5654
lola: REM DEA TR: t = t5656
lola: REM DEA TR: t = t5657
lola: REM DEA TR: t = t5790
lola: REM DEA TR: t = t5800
lola: REM DEA TR: t = t5801
lola: REM DEA TR: t = t2020
lola: REM DEA TR: t = t2080
lola: REM DEA TR: t = t1415
lola: REM DEA TR: t = t1442
lola: REM DEA TR: t = t1445
lola: REM DEA TR: t = t1501
lola: REM DEA TR: t = t5289
lola: REM DEA TR: t = t5419
lola: REM DEA TR: t = t5426
lola: REM DEA TR: t = t5584
lola: REM DEA TR: t = t5755
lola: REM DEA TR: t = t2300
lola: REM DEA TR: t = t7962
lola: REM DEA TR: t = t7972
lola: REM DEA TR: t = t7973
lola: REM DEA TR: t = t7977
lola: REM DEA TR: t = t7981
lola: REM DEA TR: t = t7986
lola: REM DEA TR: t = t7992
lola: REM DEA TR: t = t8012
lola: REM DEA TR: t = t8013
lola: REM DEA TR: t = t8018
lola: REM DEA TR: t = t8019
lola: REM DEA TR: t = t8023
lola: REM DEA TR: t = t8028
lola: REM DEA TR: t = t8029
lola: REM DEA TR: t = t8033
lola: REM DEA TR: t = t8037
lola: REM DEA TR: t = t8043
lola: REM DEA TR: t = t8044
lola: REM DEA TR: t = t8048
lola: REM DEA TR: t = t8052
lola: REM DEA TR: t = t8057
lola: REM DEA TR: t = t8101
lola: REM DEA TR: t = t8102
lola: REM DEA TR: t = t8111
lola: REM DEA TR: t = t8112
lola: REM DEA TR: t = t8117
lola: REM DEA TR: t = t8118
lola: REM DEA TR: t = t8122
lola: REM DEA TR: t = t8131
lola: REM DEA TR: t = t8132
lola: REM DEA TR: t = t8137
lola: REM DEA TR: t = t8138
lola: REM DEA TR: t = t8142
lola: REM DEA TR: t = t8147
lola: REM DEA TR: t = t8148
lola: REM DEA TR: t = t8152
lola: REM DEA TR: t = t8156
lola: REM DEA TR: t = t8233
lola: REM DEA TR: t = t8234
lola: REM DEA TR: t = t8248
lola: REM DEA TR: t = t8249
lola: REM DEA TR: t = t8258
lola: REM DEA TR: t = t8259
lola: REM DEA TR: t = t8264
lola: REM DEA TR: t = t8265
lola: REM DEA TR: t = t8269
lola: REM DEA TR: t = t8366
lola: REM DEA TR: t = t8367
lola: REM DEA TR: t = t6350
lola: REM DEA TR: t = t6449
lola: REM DEA TR: t = t6452
lola: REM DEA TR: t = t6457
lola: REM DEA TR: t = t6477
lola: REM DEA TR: t = t6572
lola: REM DEA TR: t = t6581
lola: REM DEA TR: t = t6584
lola: REM DEA TR: t = t6611
lola: REM DEA TR: t = t6614
lola: REM DEA TR: t = t6619
lola: REM DEA TR: t = t6694
lola: REM DEA TR: t = t6719
lola: REM DEA TR: t = t6728
lola: REM DEA TR: t = t6731
lola: REM DEA TR: t = t6785
lola: REM DEA TR: t = t6823
lola: REM DEA TR: t = t6838
lola: REM DEA TR: t = t6839
lola: REM DEA TR: t = t6853
lola: REM DEA TR: t = t1147
lola: REM DEA TR: t = t1154
lola: REM DEA TR: t = t1155
lola: REM DEA TR: t = t1162
lola: REM DEA TR: t = t1186
lola: REM DEA TR: t = t1201
lola: REM DEA TR: t = t5517
lola: REM DEA TR: t = t5518
lola: REM DEA TR: t = t5520
lola: REM DEA TR: t = t5662
lola: REM DEA TR: t = t5663
lola: REM DEA TR: t = t5664
lola: REM DEA TR: t = t5818
lola: REM DEA TR: t = t3786
lola: REM DEA TR: t = t3846
lola: REM DEA TR: t = t3847
lola: REM DEA TR: t = t3849
lola: REM DEA TR: t = t3935
lola: REM DEA TR: t = t3936
lola: REM DEA TR: t = t3937
lola: REM DEA TR: t = t1435
lola: REM DEA TR: t = t1492
lola: REM DEA TR: t = t1495
lola: REM DEA TR: t = t1571
lola: REM DEA TR: t = t4051
lola: REM DEA TR: t = t2175
lola: REM DEA TR: t = t2239
lola: REM DEA TR: t = t2240
lola: REM DEA TR: t = t2241
lola: REM DEA TR: t = t2245
lola: REM DEA TR: t = t2337
lola: REM DEA TR: t = t2338
lola: REM DEA TR: t = t2339
lola: REM DEA TR: t = t2340
lola: REM DEA TR: t = t2341
lola: REM DEA TR: t = t2342
lola: REM DEA TR: t = t2343
lola: REM DEA TR: t = t2344
lola: REM DEA TR: t = t2345
lola: REM DEA TR: t = t2346
lola: REM DEA TR: t = t5416
lola: REM DEA TR: t = t5572
lola: REM DEA TR: t = t5581
lola: REM DEA TR: t = t5739
lola: REM DEA TR: t = t5884
lola: REM DEA TR: t = t7971
lola: REM DEA TR: t = t4377
lola: REM DEA TR: t = t4460
lola: REM DEA TR: t = t4463
lola: REM DEA TR: t = t4466
lola: REM DEA TR: t = t4470
lola: REM DEA TR: t = t8005
lola: REM DEA TR: t = t8006
lola: REM DEA TR: t = t8011
lola: REM DEA TR: t = t8017
lola: REM DEA TR: t = t8027
lola: REM DEA TR: t = t8042
lola: REM DEA TR: t = t8090
lola: REM DEA TR: t = t8091
lola: REM DEA TR: t = t8094
lola: REM DEA TR: t = t8095
lola: REM DEA TR: t = t4550
lola: REM DEA TR: t = t4553
lola: REM DEA TR: t = t4556
lola: REM DEA TR: t = t4559
lola: REM DEA TR: t = t4562
lola: REM DEA TR: t = t4565
lola: REM DEA TR: t = t8100
lola: REM DEA TR: t = t8104
lola: REM DEA TR: t = t8105
lola: REM DEA TR: t = t8110
lola: REM DEA TR: t = t8116
lola: REM DEA TR: t = t8124
lola: REM DEA TR: t = t8125
lola: REM DEA TR: t = t8130
lola: REM DEA TR: t = t8136
lola: REM DEA TR: t = t8146
lola: REM DEA TR: t = t4662
lola: REM DEA TR: t = t4666
lola: REM DEA TR: t = t4669
lola: REM DEA TR: t = t4672
lola: REM DEA TR: t = t4685
lola: REM DEA TR: t = t4688
lola: REM DEA TR: t = t4691
lola: REM DEA TR: t = t8217
lola: REM DEA TR: t = t8218
lola: REM DEA TR: t = t8222
lola: REM DEA TR: t = t8223
lola: REM DEA TR: t = t8226
lola: REM DEA TR: t = t8227
lola: REM DEA TR: t = t8232
lola: REM DEA TR: t = t8237
lola: REM DEA TR: t = t8238
lola: REM DEA TR: t = t8241
lola: REM DEA TR: t = t8242
lola: REM DEA TR: t = t8247
lola: REM DEA TR: t = t8251
lola: REM DEA TR: t = t8252
lola: REM DEA TR: t = t8257
lola: REM DEA TR: t = t8263
lola: REM DEA TR: t = t4793
lola: REM DEA TR: t = t8344
lola: REM DEA TR: t = t8345
lola: REM DEA TR: t = t8350
lola: REM DEA TR: t = t8351
lola: REM DEA TR: t = t8355
lola: REM DEA TR: t = t8356
lola: REM DEA TR: t = t8359
lola: REM DEA TR: t = t8360
lola: REM DEA TR: t = t8365
lola: REM DEA TR: t = t4802
lola: REM DEA TR: t = t4805
lola: REM DEA TR: t = t4808
lola: REM DEA TR: t = t8429
lola: REM DEA TR: t = t8430
lola: REM DEA TR: t = t4923
lola: REM DEA TR: t = t6451
lola: REM DEA TR: t = t6570
lola: REM DEA TR: t = t6574
lola: REM DEA TR: t = t6583
lola: REM DEA TR: t = t6613
lola: REM DEA TR: t = t6685
lola: REM DEA TR: t = t6692
lola: REM DEA TR: t = t6696
lola: REM DEA TR: t = t6717
lola: REM DEA TR: t = t6721
lola: REM DEA TR: t = t6730
lola: REM DEA TR: t = t6765
lola: REM DEA TR: t = t6776
lola: REM DEA TR: t = t6783
lola: REM DEA TR: t = t6787
lola: REM DEA TR: t = t6802
lola: REM DEA TR: t = t6844
lola: REM DEA TR: t = t6857
lola: REM DEA TR: t = t6858
lola: REM DEA TR: t = t6866
lola: REM DEA TR: t = t5680
lola: REM DEA TR: t = t5681
lola: REM DEA TR: t = t5683
lola: REM DEA TR: t = t5700
lola: REM DEA TR: t = t5701
lola: REM DEA TR: t = t5703
lola: REM DEA TR: t = t5825
lola: REM DEA TR: t = t5826
lola: REM DEA TR: t = t5827
lola: REM DEA TR: t = t5840
lola: REM DEA TR: t = t5841
lola: REM DEA TR: t = t5842
lola: REM DEA TR: t = t5858
lola: REM DEA TR: t = t5859
lola: REM DEA TR: t = t5861
lola: REM DEA TR: t = t5966
lola: REM DEA TR: t = t5972
lola: REM DEA TR: t = t5978
lola: REM DEA TR: t = t5979
lola: REM DEA TR: t = t5980
lola: REM DEA TR: t = t5981
lola: REM DEA TR: t = t8277
lola: REM DEA TR: t = t8278
lola: REM DEA TR: t = t8284
lola: REM DEA TR: t = t8300
lola: REM DEA TR: t = t8369
lola: REM DEA TR: t = t8372
lola: REM DEA TR: t = t8373
lola: REM DEA TR: t = t8381
lola: REM DEA TR: t = t8382
lola: REM DEA TR: t = t8388
lola: REM DEA TR: t = t8432
lola: REM DEA TR: t = t8434
lola: REM DEA TR: t = t8437
lola: REM DEA TR: t = t8438
lola: REM DEA TR: t = t8461
lola: REM DEA TR: t = t1510
lola: REM DEA TR: t = t1630
lola: REM DEA TR: t = t1688
lola: REM DEA TR: t = t1689
lola: REM DEA TR: t = t1725
lola: REM DEA TR: t = t3129
lola: REM DEA TR: t = t3146
lola: REM DEA TR: t = t3150
lola: REM DEA TR: t = t3187
lola: REM DEA TR: t = t4461
lola: REM DEA TR: t = t4549
lola: REM DEA TR: t = t4551
lola: REM DEA TR: t = t4554
lola: REM DEA TR: t = t4560
lola: REM DEA TR: t = t4660
lola: REM DEA TR: t = t4661
lola: REM DEA TR: t = t4663
lola: REM DEA TR: t = t4665
lola: REM DEA TR: t = t4667
lola: REM DEA TR: t = t4670
lola: REM DEA TR: t = t4686
lola: REM DEA TR: t = t4790
lola: REM DEA TR: t = t4791
lola: REM DEA TR: t = t4792
lola: REM DEA TR: t = t4794
lola: REM DEA TR: t = t4801
lola: REM DEA TR: t = t4803
lola: REM DEA TR: t = t4806
lola: REM DEA TR: t = t4919
lola: REM DEA TR: t = t4921
lola: REM DEA TR: t = t4922
lola: REM DEA TR: t = t4924
lola: REM DEA TR: t = t4925
lola: REM DEA TR: t = t4395
lola: REM DEA TR: t = t4498
lola: REM DEA TR: t = t4501
lola: REM DEA TR: t = t4504
lola: REM DEA TR: t = t4611
lola: REM DEA TR: t = t4612
lola: REM DEA TR: t = t4614
lola: REM DEA TR: t = t4615
lola: REM DEA TR: t = t4617
lola: REM DEA TR: t = t4731
lola: REM DEA TR: t = t4732
lola: REM DEA TR: t = t4733
lola: REM DEA TR: t = t4734
lola: REM DEA TR: t = t4846
lola: REM DEA TR: t = t1294
lola: REM DEA TR: t = t1339
lola: REM DEA TR: t = t1340
lola: REM DEA TR: t = t1343
lola: REM DEA TR: t = t1373
lola: REM DEA TR: t = t1375
lola: REM DEA TR: t = t1376
lola: REM DEA TR: t = t1391
lola: REM DEA TR: t = t5109
lola: REM DEA TR: t = t5180
lola: REM DEA TR: t = t5181
lola: REM DEA TR: t = t5183
lola: REM DEA TR: t = t5184
lola: REM DEA TR: t = t5185
lola: REM DEA TR: t = t5256
lola: REM DEA TR: t = t5259
lola: REM DEA TR: t = t5260
lola: REM DEA TR: t = t5261
lola: REM DEA TR: t = t5262
lola: REM DEA TR: t = t5263
lola: REM DEA TR: t = t5264
lola: REM DEA TR: t = t5265
lola: REM DEA TR: t = t5266
lola: REM DEA TR: t = t5267
lola: REM DEA TR: t = t5269
lola: REM DEA TR: t = t5270
lola: REM DEA TR: t = t5346
lola: REM DEA TR: t = t5347
lola: REM DEA TR: t = t5348
lola: REM DEA TR: t = t5349
lola: REM DEA TR: t = t5350
lola: REM DEA TR: t = t5351
lola: REM DEA TR: t = t5352
lola: REM DEA TR: t = t5353
lola: REM DEA TR: t = t5354
lola: REM DEA TR: t = t5355
lola: REM DEA TR: t = t5358
lola: REM DEA TR: t = t5359
lola: REM DEA TR: t = t5360
lola: REM DEA TR: t = t5361
lola: REM DEA TR: t = t5362
lola: REM DEA TR: t = t5363
lola: REM DEA TR: t = t5364
lola: REM DEA TR: t = t5463
lola: REM DEA TR: t = t5464
lola: REM DEA TR: t = t5465
lola: REM DEA TR: t = t5466
lola: REM DEA TR: t = t5467
lola: REM DEA TR: t = t5469
lola: REM DEA TR: t = t5470
lola: REM DEA TR: t = t5471
lola: REM DEA TR: t = t5472
lola: REM DEA TR: t = t5473
lola: REM DEA TR: t = t5474
lola: REM DEA TR: t = t5475
lola: REM DEA TR: t = t5476
lola: REM DEA TR: t = t5477
lola: REM DEA TR: t = t5619
lola: REM DEA TR: t = t5620
lola: REM DEA TR: t = t5621
lola: REM DEA TR: t = t5622
lola: REM DEA TR: t = t5623
lola: REM DEA TR: t = t5624
lola: REM DEA TR: t = t5788
lola: REM DEA TR: t = t1163
lola: REM DEA TR: t = t1165
lola: REM DEA TR: t = t1169
lola: REM DEA TR: t = t1170
lola: REM DEA TR: t = t1171
lola: REM DEA TR: t = t1174
lola: REM DEA TR: t = t1453
lola: REM DEA TR: t = t1560
lola: REM DEA TR: t = t1633
lola: REM DEA TR: t = t1636
lola: REM DEA TR: t = t1692
lola: REM DEA TR: t = t3918
lola: REM DEA TR: t = t3929
lola: REM DEA TR: t = t1368
lola: REM DEA TR: t = t1383
lola: REM DEA TR: t = t1384
lola: REM DEA TR: t = t1393
lola: REM DEA TR: t = t4021
lola: REM DEA TR: t = t4022
lola: REM DEA TR: t = t4023
lola: REM DEA TR: t = t4029
lola: REM DEA TR: t = t4038
lola: REM DEA TR: t = t4039
lola: REM DEA TR: t = t4137
lola: REM DEA TR: t = t4138
lola: REM DEA TR: t = t4139
lola: REM DEA TR: t = t4149
lola: REM DEA TR: t = t4150
lola: REM DEA TR: t = t4151
lola: REM DEA TR: t = t4162
lola: REM DEA TR: t = t4250
lola: REM DEA TR: t = t4258
lola: REM DEA TR: t = t4259
lola: REM DEA TR: t = t4260
lola: REM DEA TR: t = t4353
lola: REM DEA TR: t = t3785
lola: REM DEA TR: t = t3840
lola: REM DEA TR: t = t3841
lola: REM DEA TR: t = t3842
lola: REM DEA TR: t = t3920
lola: REM DEA TR: t = t3921
lola: REM DEA TR: t = t3922
lola: REM DEA TR: t = t1335
lola: REM DEA TR: t = t1364
lola: REM DEA TR: t = t1365
lola: REM DEA TR: t = t1381
lola: REM DEA TR: t = t4031
lola: SIPHON RESULT 2
/home/mcc/BenchKit/BenchKit_head.sh: line 62: 387 Killed lola --conf=$BIN_DIR/configfiles/globalconf --check=deadlockfreedom $DIR/model.pnml

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="SemanticWebServices-PT-S256P06"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool lola"
echo " Input is SemanticWebServices-PT-S256P06, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r315-tall-162132115100051"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/SemanticWebServices-PT-S256P06.tgz
mv SemanticWebServices-PT-S256P06 execution
cd execution
if [ "ReachabilityDeadlock" = "ReachabilityDeadlock" ] || [ "ReachabilityDeadlock" = "UpperBounds" ] || [ "ReachabilityDeadlock" = "QuasiLiveness" ] || [ "ReachabilityDeadlock" = "StableMarking" ] || [ "ReachabilityDeadlock" = "Liveness" ] || [ "ReachabilityDeadlock" = "OneSafe" ] || [ "ReachabilityDeadlock" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityDeadlock" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityDeadlock" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityDeadlock.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityDeadlock.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityDeadlock.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' ReachabilityDeadlock.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityDeadlock" = "ReachabilityDeadlock" ] || [ "ReachabilityDeadlock" = "QuasiLiveness" ] || [ "ReachabilityDeadlock" = "StableMarking" ] || [ "ReachabilityDeadlock" = "Liveness" ] || [ "ReachabilityDeadlock" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityDeadlock"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;