About the Execution of LoLA for NeoElection-COL-4
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 76.063 | 427.00 | 108.00 | 0.00 | T | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r144-tall-162089134500081.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 NeoElection-COL-4, examination is ReachabilityDeadlock
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r144-tall-162089134500081
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 568K
-rw-r--r-- 1 mcc users 32K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 187K May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 22K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 118K May 10 09:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Apr 26 07:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 26 07:42 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 26 07:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 26 07:42 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 27 06:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K Mar 27 06:18 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Mar 25 07:32 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 25 07:32 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 22 09:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Mar 22 09:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 5 16:51 equiv_pt
-rw-r--r-- 1 mcc users 2 May 5 16:51 instance
-rw-r--r-- 1 mcc users 5 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 81K May 5 16:51 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
FORMULA_NAME ReachabilityDeadlock
=== Now, execution of the tool begins
BK_START 1620942106073
starting LoLA
BK_INPUT NeoElection-COL-4
BK_EXAMINATION: ReachabilityDeadlock
bin directory: /home/mcc/BenchKit/bin
current directory: /home/mcc/execution
GlobalProperty: ReachabilityDeadlock
FORMULA ReachabilityDeadlock TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1620942106500
--------------------
content from stderr:
lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/model.pnml
lola: reading pnml
lola: PNML file contains High-Level net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: TR BINDINGS
lola: TR BINDINGS DONE
lola: Places: 1830, Transitions: 2214
lola: @ trans T-sendAnnPs__start
lola: @ trans T-poll__handleAnsP3
lola: @ trans T-poll__handleAnnP1
lola: @ trans T-poll__handleAnnP2
lola: @ trans T-poll__start
lola: @ trans T-startNeg__send
lola: @ trans T-sendAnnPs__send
lola: @ trans T-poll__handleAskP
lola: @ trans T-poll__handleAnsP4
lola: @ trans T-poll__handleRP
lola: @ trans T-startSec
lola: @ trans T-startNeg__end
lola: @ trans T-poll__handleAI2
lola: @ trans T-poll__handleRI
lola: @ trans T-sendAnnPs__end
lola: @ trans T-poll__handleAnsP1
lola: @ trans T-poll__handleAI1
lola: @ trans T-poll__handleAnsP2
lola: @ trans T-poll__end
lola: @ trans T-poll__iAmSecondary
lola: @ trans T-startNeg__start
lola: @ trans T-poll__iAmPrimary
lola: REM DEA TR: t = t2179
lola: REM DEA TR: t = t2180
lola: REM DEA TR: t = t2181
lola: REM DEA TR: t = t2182
lola: REM DEA TR: t = t2183
lola: REM DEA TR: t = t2209
lola: REM DEA TR: t = t1109
lola: REM DEA TR: t = t1110
lola: REM DEA TR: t = t1111
lola: REM DEA TR: t = t1112
lola: REM DEA TR: t = t1113
lola: REM DEA TR: t = t1114
lola: REM DEA TR: t = t1115
lola: REM DEA TR: t = t1116
lola: REM DEA TR: t = t1149
lola: REM DEA TR: t = t1150
lola: REM DEA TR: t = t1151
lola: REM DEA TR: t = t1152
lola: REM DEA TR: t = t1153
lola: REM DEA TR: t = t1154
lola: REM DEA TR: t = t1155
lola: REM DEA TR: t = t1156
lola: REM DEA TR: t = t1189
lola: REM DEA TR: t = t1190
lola: REM DEA TR: t = t1191
lola: REM DEA TR: t = t1192
lola: REM DEA TR: t = t1193
lola: REM DEA TR: t = t1194
lola: REM DEA TR: t = t1195
lola: REM DEA TR: t = t1196
lola: REM DEA TR: t = t1229
lola: REM DEA TR: t = t1230
lola: REM DEA TR: t = t1231
lola: REM DEA TR: t = t1232
lola: REM DEA TR: t = t1233
lola: REM DEA TR: t = t1234
lola: REM DEA TR: t = t1235
lola: REM DEA TR: t = t1236
lola: REM DEA TR: t = t1269
lola: REM DEA TR: t = t1270
lola: REM DEA TR: t = t1271
lola: REM DEA TR: t = t1272
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 = t1117
lola: REM DEA TR: t = t1118
lola: REM DEA TR: t = t1119
lola: REM DEA TR: t = t1120
lola: REM DEA TR: t = t1121
lola: REM DEA TR: t = t1122
lola: REM DEA TR: t = t1123
lola: REM DEA TR: t = t1124
lola: REM DEA TR: t = t1157
lola: REM DEA TR: t = t1158
lola: REM DEA TR: t = t1159
lola: REM DEA TR: t = t1160
lola: REM DEA TR: t = t1161
lola: REM DEA TR: t = t1162
lola: REM DEA TR: t = t1163
lola: REM DEA TR: t = t1164
lola: REM DEA TR: t = t1197
lola: REM DEA TR: t = t1198
lola: REM DEA TR: t = t1199
lola: REM DEA TR: t = t1200
lola: REM DEA TR: t = t1201
lola: REM DEA TR: t = t1202
lola: REM DEA TR: t = t1203
lola: REM DEA TR: t = t1204
lola: REM DEA TR: t = t1237
lola: REM DEA TR: t = t1238
lola: REM DEA TR: t = t1239
lola: REM DEA TR: t = t1240
lola: REM DEA TR: t = t1241
lola: REM DEA TR: t = t1242
lola: REM DEA TR: t = t1243
lola: REM DEA TR: t = t1244
lola: REM DEA TR: t = t859
lola: REM DEA TR: t = t860
lola: REM DEA TR: t = t861
lola: REM DEA TR: t = t862
lola: REM DEA TR: t = t863
lola: REM DEA TR: t = t864
lola: REM DEA TR: t = t865
lola: REM DEA TR: t = t866
lola: REM DEA TR: t = t867
lola: REM DEA TR: t = t868
lola: REM DEA TR: t = t1874
lola: REM DEA TR: t = t11
lola: REM DEA TR: t = t12
lola: REM DEA TR: t = t17
lola: REM DEA TR: t = t18
lola: REM DEA TR: t = t23
lola: REM DEA TR: t = t24
lola: REM DEA TR: t = t1974
lola: REM DEA TR: t = t1975
lola: REM DEA TR: t = t19
lola: REM DEA TR: t = t20
lola: REM DEA TR: t = t25
lola: REM DEA TR: t = t26
lola: REM DEA TR: t = t5
lola: REM DEA TR: t = t6
lola: REM DEA TR: t = t1976
lola: REM DEA TR: t = t1977
lola: REM DEA TR: t = t13
lola: REM DEA TR: t = t14
lola: REM DEA TR: t = t27
lola: REM DEA TR: t = t28
lola: REM DEA TR: t = t7
lola: REM DEA TR: t = t8
lola: REM DEA TR: t = t1978
lola: REM DEA TR: t = t1979
lola: REM DEA TR: t = t10
lola: REM DEA TR: t = t15
lola: REM DEA TR: t = t16
lola: REM DEA TR: t = t21
lola: REM DEA TR: t = t22
lola: REM DEA TR: t = t9
lola: REM DEA TR: t = t1980
lola: REM DEA TR: t = t1981
lola: REM DEA TR: t = t1844
lola: REM DEA TR: t = t1899
lola: REM DEA TR: t = t1900
lola: REM DEA TR: t = t1901
lola: REM DEA TR: t = t1902
lola: REM DEA TR: t = t1903
lola: REM DEA TR: t = t805
lola: REM DEA TR: t = t605
lola: REM DEA TR: t = t606
lola: REM DEA TR: t = t607
lola: REM DEA TR: t = t608
lola: REM DEA TR: t = t609
lola: REM DEA TR: t = t610
lola: REM DEA TR: t = t611
lola: REM DEA TR: t = t612
lola: REM DEA TR: t = t1309
lola: REM DEA TR: t = t1277
lola: REM DEA TR: t = t1278
lola: REM DEA TR: t = t1279
lola: REM DEA TR: t = t1280
lola: REM DEA TR: t = t1281
lola: REM DEA TR: t = t1282
lola: REM DEA TR: t = t1283
lola: REM DEA TR: t = t1284
lola: REM DEA TR: t = t1125
lola: REM DEA TR: t = t1126
lola: REM DEA TR: t = t1127
lola: REM DEA TR: t = t1128
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 = t1165
lola: REM DEA TR: t = t1166
lola: REM DEA TR: t = t1167
lola: REM DEA TR: t = t1168
lola: REM DEA TR: t = t1169
lola: REM DEA TR: t = t1170
lola: REM DEA TR: t = t1171
lola: REM DEA TR: t = t1172
lola: REM DEA TR: t = t1205
lola: REM DEA TR: t = t1206
lola: REM DEA TR: t = t1207
lola: REM DEA TR: t = t1208
lola: REM DEA TR: t = t1209
lola: REM DEA TR: t = t1210
lola: REM DEA TR: t = t1211
lola: REM DEA TR: t = t1212
lola: REM DEA TR: t = t909
lola: REM DEA TR: t = t910
lola: REM DEA TR: t = t911
lola: REM DEA TR: t = t912
lola: REM DEA TR: t = t913
lola: REM DEA TR: t = t914
lola: REM DEA TR: t = t915
lola: REM DEA TR: t = t916
lola: REM DEA TR: t = t917
lola: REM DEA TR: t = t918
lola: REM DEA TR: t = t810
lola: REM DEA TR: t = t645
lola: REM DEA TR: t = t646
lola: REM DEA TR: t = t647
lola: REM DEA TR: t = t648
lola: REM DEA TR: t = t649
lola: REM DEA TR: t = t650
lola: REM DEA TR: t = t651
lola: REM DEA TR: t = t652
lola: REM DEA TR: t = t1314
lola: REM DEA TR: t = t959
lola: REM DEA TR: t = t960
lola: REM DEA TR: t = t961
lola: REM DEA TR: t = t962
lola: REM DEA TR: t = t963
lola: REM DEA TR: t = t964
lola: REM DEA TR: t = t965
lola: REM DEA TR: t = t966
lola: REM DEA TR: t = t967
lola: REM DEA TR: t = t968
lola: REM DEA TR: t = t815
lola: REM DEA TR: t = t685
lola: REM DEA TR: t = t686
lola: REM DEA TR: t = t687
lola: REM DEA TR: t = t688
lola: REM DEA TR: t = t689
lola: REM DEA TR: t = t690
lola: REM DEA TR: t = t691
lola: REM DEA TR: t = t692
lola: REM DEA TR: t = t1319
lola: REM DEA TR: t = t1009
lola: REM DEA TR: t = t1010
lola: REM DEA TR: t = t1011
lola: REM DEA TR: t = t1012
lola: REM DEA TR: t = t1013
lola: REM DEA TR: t = t1014
lola: REM DEA TR: t = t1015
lola: REM DEA TR: t = t1016
lola: REM DEA TR: t = t1017
lola: REM DEA TR: t = t1018
lola: REM DEA TR: t = t820
lola: REM DEA TR: t = t725
lola: REM DEA TR: t = t726
lola: REM DEA TR: t = t727
lola: REM DEA TR: t = t728
lola: REM DEA TR: t = t729
lola: REM DEA TR: t = t730
lola: REM DEA TR: t = t731
lola: REM DEA TR: t = t732
lola: REM DEA TR: t = t1324
lola: REM DEA TR: t = t1059
lola: REM DEA TR: t = t1060
lola: REM DEA TR: t = t1061
lola: REM DEA TR: t = t1062
lola: REM DEA TR: t = t1063
lola: REM DEA TR: t = t1064
lola: REM DEA TR: t = t1065
lola: REM DEA TR: t = t1066
lola: REM DEA TR: t = t1067
lola: REM DEA TR: t = t1068
lola: REM DEA TR: t = t1245
lola: REM DEA TR: t = t1246
lola: REM DEA TR: t = t1247
lola: REM DEA TR: t = t1248
lola: REM DEA TR: t = t1249
lola: REM DEA TR: t = t1250
lola: REM DEA TR: t = t1251
lola: REM DEA TR: t = t1252
lola: REM DEA TR: t = t1285
lola: REM DEA TR: t = t1286
lola: REM DEA TR: t = t1287
lola: REM DEA TR: t = t1288
lola: REM DEA TR: t = t1289
lola: REM DEA TR: t = t1290
lola: REM DEA TR: t = t1291
lola: REM DEA TR: t = t1292
lola: REM DEA TR: t = t1133
lola: REM DEA TR: t = t1134
lola: REM DEA TR: t = t1135
lola: REM DEA TR: t = t1136
lola: REM DEA TR: t = t1137
lola: REM DEA TR: t = t1138
lola: REM DEA TR: t = t1139
lola: REM DEA TR: t = t1140
lola: REM DEA TR: t = t825
lola: REM DEA TR: t = t765
lola: REM DEA TR: t = t766
lola: REM DEA TR: t = t767
lola: REM DEA TR: t = t768
lola: REM DEA TR: t = t769
lola: REM DEA TR: t = t770
lola: REM DEA TR: t = t771
lola: REM DEA TR: t = t772
lola: REM DEA TR: t = t1329
lola: REM DEA TR: t = t869
lola: REM DEA TR: t = t870
lola: REM DEA TR: t = t871
lola: REM DEA TR: t = t872
lola: REM DEA TR: t = t873
lola: REM DEA TR: t = t874
lola: REM DEA TR: t = t875
lola: REM DEA TR: t = t876
lola: REM DEA TR: t = t877
lola: REM DEA TR: t = t878
lola: REM DEA TR: t = t1875
lola: REM DEA TR: t = t35
lola: REM DEA TR: t = t36
lola: REM DEA TR: t = t41
lola: REM DEA TR: t = t42
lola: REM DEA TR: t = t47
lola: REM DEA TR: t = t48
lola: REM DEA TR: t = t1982
lola: REM DEA TR: t = t1983
lola: REM DEA TR: t = t29
lola: REM DEA TR: t = t30
lola: REM DEA TR: t = t43
lola: REM DEA TR: t = t44
lola: REM DEA TR: t = t49
lola: REM DEA TR: t = t50
lola: REM DEA TR: t = t1984
lola: REM DEA TR: t = t1985
lola: REM DEA TR: t = t31
lola: REM DEA TR: t = t32
lola: REM DEA TR: t = t37
lola: REM DEA TR: t = t38
lola: REM DEA TR: t = t51
lola: REM DEA TR: t = t52
lola: REM DEA TR: t = t1986
lola: REM DEA TR: t = t1987
lola: REM DEA TR: t = t33
lola: REM DEA TR: t = t34
lola: REM DEA TR: t = t39
lola: REM DEA TR: t = t40
lola: REM DEA TR: t = t45
lola: REM DEA TR: t = t46
lola: REM DEA TR: t = t1988
lola: REM DEA TR: t = t1989
lola: REM DEA TR: t = t806
lola: REM DEA TR: t = t613
lola: REM DEA TR: t = t614
lola: REM DEA TR: t = t615
lola: REM DEA TR: t = t616
lola: REM DEA TR: t = t617
lola: REM DEA TR: t = t618
lola: REM DEA TR: t = t619
lola: REM DEA TR: t = t620
lola: REM DEA TR: t = t1310
lola: REM DEA TR: t = t919
lola: REM DEA TR: t = t920
lola: REM DEA TR: t = t921
lola: REM DEA TR: t = t922
lola: REM DEA TR: t = t923
lola: REM DEA TR: t = t924
lola: REM DEA TR: t = t925
lola: REM DEA TR: t = t926
lola: REM DEA TR: t = t927
lola: REM DEA TR: t = t928
lola: REM DEA TR: t = t1880
lola: REM DEA TR: t = t155
lola: REM DEA TR: t = t156
lola: REM DEA TR: t = t161
lola: REM DEA TR: t = t162
lola: REM DEA TR: t = t167
lola: REM DEA TR: t = t168
lola: REM DEA TR: t = t2022
lola: REM DEA TR: t = t2023
lola: REM DEA TR: t = t149
lola: REM DEA TR: t = t150
lola: REM DEA TR: t = t163
lola: REM DEA TR: t = t164
lola: REM DEA TR: t = t169
lola: REM DEA TR: t = t170
lola: REM DEA TR: t = t2024
lola: REM DEA TR: t = t2025
lola: REM DEA TR: t = t151
lola: REM DEA TR: t = t152
lola: REM DEA TR: t = t157
lola: REM DEA TR: t = t158
lola: REM DEA TR: t = t171
lola: REM DEA TR: t = t172
lola: REM DEA TR: t = t2026
lola: REM DEA TR: t = t2027
lola: REM DEA TR: t = t153
lola: REM DEA TR: t = t154
lola: REM DEA TR: t = t159
lola: REM DEA TR: t = t160
lola: REM DEA TR: t = t165
lola: REM DEA TR: t = t166
lola: REM DEA TR: t = t2028
lola: REM DEA TR: t = t2029
lola: REM DEA TR: t = t1850
lola: REM DEA TR: t = t1924
lola: REM DEA TR: t = t1925
lola: REM DEA TR: t = t1926
lola: REM DEA TR: t = t1927
lola: REM DEA TR: t = t1928
lola: REM DEA TR: t = t811
lola: REM DEA TR: t = t653
lola: REM DEA TR: t = t654
lola: REM DEA TR: t = t655
lola: REM DEA TR: t = t656
lola: REM DEA TR: t = t657
lola: REM DEA TR: t = t658
lola: REM DEA TR: t = t659
lola: REM DEA TR: t = t660
lola: REM DEA TR: t = t1315
lola: REM DEA TR: t = t1173
lola: REM DEA TR: t = t1174
lola: REM DEA TR: t = t1175
lola: REM DEA TR: t = t1176
lola: REM DEA TR: t = t1177
lola: REM DEA TR: t = t1178
lola: REM DEA TR: t = t1179
lola: REM DEA TR: t = t1180
lola: REM DEA TR: t = t1213
lola: REM DEA TR: t = t1214
lola: REM DEA TR: t = t1215
lola: REM DEA TR: t = t1216
lola: REM DEA TR: t = t1217
lola: REM DEA TR: t = t1218
lola: REM DEA TR: t = t1219
lola: REM DEA TR: t = t1220
lola: REM DEA TR: t = t1253
lola: REM DEA TR: t = t1254
lola: REM DEA TR: t = t1255
lola: REM DEA TR: t = t1256
lola: REM DEA TR: t = t1257
lola: REM DEA TR: t = t1258
lola: REM DEA TR: t = t1259
lola: REM DEA TR: t = t1260
lola: REM DEA TR: t = t1320
lola: REM DEA TR: t = t1325
lola: REM DEA TR: t = t1330
lola: REM DEA TR: t = t879
lola: REM DEA TR: t = t880
lola: REM DEA TR: t = t881
lola: REM DEA TR: t = t882
lola: REM DEA TR: t = t883
lola: REM DEA TR: t = t884
lola: REM DEA TR: t = t885
lola: REM DEA TR: t = t886
lola: REM DEA TR: t = t887
lola: REM DEA TR: t = t888
lola: REM DEA TR: t = t1876
lola: REM DEA TR: t = t59
lola: REM DEA TR: t = t60
lola: REM DEA TR: t = t65
lola: REM DEA TR: t = t66
lola: REM DEA TR: t = t71
lola: REM DEA TR: t = t72
lola: REM DEA TR: t = t1990
lola: REM DEA TR: t = t1991
lola: REM DEA TR: t = t53
lola: REM DEA TR: t = t54
lola: REM DEA TR: t = t67
lola: REM DEA TR: t = t68
lola: REM DEA TR: t = t73
lola: REM DEA TR: t = t74
lola: REM DEA TR: t = t1992
lola: REM DEA TR: t = t1993
lola: REM DEA TR: t = t55
lola: REM DEA TR: t = t56
lola: REM DEA TR: t = t61
lola: REM DEA TR: t = t62
lola: REM DEA TR: t = t75
lola: REM DEA TR: t = t76
lola: REM DEA TR: t = t1994
lola: REM DEA TR: t = t1995
lola: REM DEA TR: t = t57
lola: REM DEA TR: t = t58
lola: REM DEA TR: t = t63
lola: REM DEA TR: t = t64
lola: REM DEA TR: t = t69
lola: REM DEA TR: t = t70
lola: REM DEA TR: t = t1996
lola: REM DEA TR: t = t1997
lola: REM DEA TR: t = t807
lola: REM DEA TR: t = t621
lola: REM DEA TR: t = t622
lola: REM DEA TR: t = t623
lola: REM DEA TR: t = t624
lola: REM DEA TR: t = t625
lola: REM DEA TR: t = t626
lola: REM DEA TR: t = t627
lola: REM DEA TR: t = t628
lola: REM DEA TR: t = t1311
lola: REM DEA TR: t = t1293
lola: REM DEA TR: t = t1294
lola: REM DEA TR: t = t1295
lola: REM DEA TR: t = t1296
lola: REM DEA TR: t = t1297
lola: REM DEA TR: t = t1298
lola: REM DEA TR: t = t1299
lola: REM DEA TR: t = t1300
lola: REM DEA TR: t = t1141
lola: REM DEA TR: t = t1142
lola: REM DEA TR: t = t1143
lola: REM DEA TR: t = t1144
lola: REM DEA TR: t = t1145
lola: REM DEA TR: t = t1146
lola: REM DEA TR: t = t1147
lola: REM DEA TR: t = t1148
lola: REM DEA TR: t = t1181
lola: REM DEA TR: t = t1182
lola: REM DEA TR: t = t1183
lola: REM DEA TR: t = t1184
lola: REM DEA TR: t = t1185
lola: REM DEA TR: t = t1186
lola: REM DEA TR: t = t1187
lola: REM DEA TR: t = t1188
lola: REM DEA TR: t = t1221
lola: REM DEA TR: t = t1222
lola: REM DEA TR: t = t1223
lola: REM DEA TR: t = t1224
lola: REM DEA TR: t = t1225
lola: REM DEA TR: t = t1226
lola: REM DEA TR: t = t1227
lola: REM DEA TR: t = t1228
lola: REM DEA TR: t = t1316
lola: REM DEA TR: t = t979
lola: REM DEA TR: t = t980
lola: REM DEA TR: t = t981
lola: REM DEA TR: t = t982
lola: REM DEA TR: t = t983
lola: REM DEA TR: t = t984
lola: REM DEA TR: t = t985
lola: REM DEA TR: t = t986
lola: REM DEA TR: t = t987
lola: REM DEA TR: t = t988
lola: REM DEA TR: t = t1886
lola: REM DEA TR: t = t299
lola: REM DEA TR: t = t300
lola: REM DEA TR: t = t305
lola: REM DEA TR: t = t306
lola: REM DEA TR: t = t311
lola: REM DEA TR: t = t312
lola: REM DEA TR: t = t2070
lola: REM DEA TR: t = t2071
lola: REM DEA TR: t = t293
lola: REM DEA TR: t = t294
lola: REM DEA TR: t = t307
lola: REM DEA TR: t = t308
lola: REM DEA TR: t = t313
lola: REM DEA TR: t = t314
lola: REM DEA TR: t = t2072
lola: REM DEA TR: t = t2073
lola: REM DEA TR: t = t295
lola: REM DEA TR: t = t296
lola: REM DEA TR: t = t301
lola: REM DEA TR: t = t302
lola: REM DEA TR: t = t315
lola: REM DEA TR: t = t316
lola: REM DEA TR: t = t2074
lola: REM DEA TR: t = t2075
lola: REM DEA TR: t = t297
lola: REM DEA TR: t = t298
lola: REM DEA TR: t = t303
lola: REM DEA TR: t = t304
lola: REM DEA TR: t = t309
lola: REM DEA TR: t = t310
lola: REM DEA TR: t = t2076
lola: REM DEA TR: t = t2077
lola: REM DEA TR: t = t1856
lola: REM DEA TR: t = t1944
lola: REM DEA TR: t = t1945
lola: REM DEA TR: t = t1946
lola: REM DEA TR: t = t1947
lola: REM DEA TR: t = t1948
lola: REM DEA TR: t = t817
lola: REM DEA TR: t = t701
lola: REM DEA TR: t = t702
lola: REM DEA TR: t = t703
lola: REM DEA TR: t = t704
lola: REM DEA TR: t = t705
lola: REM DEA TR: t = t706
lola: REM DEA TR: t = t707
lola: REM DEA TR: t = t708
lola: REM DEA TR: t = t1321
lola: REM DEA TR: t = t1326
lola: REM DEA TR: t = t1261
lola: REM DEA TR: t = t1262
lola: REM DEA TR: t = t1263
lola: REM DEA TR: t = t1264
lola: REM DEA TR: t = t1265
lola: REM DEA TR: t = t1266
lola: REM DEA TR: t = t1267
lola: REM DEA TR: t = t1268
lola: REM DEA TR: t = t1301
lola: REM DEA TR: t = t1302
lola: REM DEA TR: t = t1303
lola: REM DEA TR: t = t1304
lola: REM DEA TR: t = t1305
lola: REM DEA TR: t = t1306
lola: REM DEA TR: t = t1307
lola: REM DEA TR: t = t1308
lola: REM DEA TR: t = t1344
lola: REM DEA TR: t = t1345
lola: REM DEA TR: t = t1354
lola: REM DEA TR: t = t1355
lola: REM DEA TR: t = t1364
lola: REM DEA TR: t = t1365
lola: REM DEA TR: t = t1374
lola: REM DEA TR: t = t1375
lola: REM DEA TR: t = t1384
lola: REM DEA TR: t = t1385
lola: REM DEA TR: t = t1394
lola: REM DEA TR: t = t1395
lola: REM DEA TR: t = t1404
lola: REM DEA TR: t = t1405
lola: REM DEA TR: t = t1414
lola: REM DEA TR: t = t1415
lola: REM DEA TR: t = t1424
lola: REM DEA TR: t = t1425
lola: REM DEA TR: t = t1434
lola: REM DEA TR: t = t1435
lola: REM DEA TR: t = t1494
lola: REM DEA TR: t = t1495
lola: REM DEA TR: t = t1504
lola: REM DEA TR: t = t1505
lola: REM DEA TR: t = t1514
lola: REM DEA TR: t = t1515
lola: REM DEA TR: t = t1524
lola: REM DEA TR: t = t1525
lola: REM DEA TR: t = t1534
lola: REM DEA TR: t = t1535
lola: REM DEA TR: t = t1644
lola: REM DEA TR: t = t1645
lola: REM DEA TR: t = t1654
lola: REM DEA TR: t = t1655
lola: REM DEA TR: t = t1664
lola: REM DEA TR: t = t1665
lola: REM DEA TR: t = t1674
lola: REM DEA TR: t = t1675
lola: REM DEA TR: t = t1684
lola: REM DEA TR: t = t1685
lola: REM DEA TR: t = t1346
lola: REM DEA TR: t = t1347
lola: REM DEA TR: t = t1356
lola: REM DEA TR: t = t1357
lola: REM DEA TR: t = t1366
lola: REM DEA TR: t = t1367
lola: REM DEA TR: t = t1376
lola: REM DEA TR: t = t1377
lola: REM DEA TR: t = t1386
lola: REM DEA TR: t = t1387
lola: REM DEA TR: t = t1396
lola: REM DEA TR: t = t1397
lola: REM DEA TR: t = t1406
lola: REM DEA TR: t = t1407
lola: REM DEA TR: t = t1416
lola: REM DEA TR: t = t1417
lola: REM DEA TR: t = t1426
lola: REM DEA TR: t = t1427
lola: REM DEA TR: t = t1436
lola: REM DEA TR: t = t1437
lola: REM DEA TR: t = t1496
lola: REM DEA TR: t = t1497
lola: REM DEA TR: t = t1506
lola: REM DEA TR: t = t1507
lola: REM DEA TR: t = t1516
lola: REM DEA TR: t = t1517
lola: REM DEA TR: t = t1526
lola: REM DEA TR: t = t1527
lola: REM DEA TR: t = t1536
lola: REM DEA TR: t = t1537
lola: REM DEA TR: t = t1646
lola: REM DEA TR: t = t1647
lola: REM DEA TR: t = t1656
lola: REM DEA TR: t = t1657
lola: REM DEA TR: t = t1666
lola: REM DEA TR: t = t1667
lola: REM DEA TR: t = t1676
lola: REM DEA TR: t = t1677
lola: REM DEA TR: t = t1686
lola: REM DEA TR: t = t1687
lola: REM DEA TR: t = t1348
lola: REM DEA TR: t = t1349
lola: REM DEA TR: t = t1358
lola: REM DEA TR: t = t1359
lola: REM DEA TR: t = t1368
lola: REM DEA TR: t = t1369
lola: REM DEA TR: t = t1378
lola: REM DEA TR: t = t1379
lola: REM DEA TR: t = t1388
lola: REM DEA TR: t = t1389
lola: REM DEA TR: t = t1398
lola: REM DEA TR: t = t1399
lola: REM DEA TR: t = t1408
lola: REM DEA TR: t = t1409
lola: REM DEA TR: t = t1418
lola: REM DEA TR: t = t1419
lola: REM DEA TR: t = t1428
lola: REM DEA TR: t = t1429
lola: REM DEA TR: t = t1438
lola: REM DEA TR: t = t1439
lola: REM DEA TR: t = t1498
lola: REM DEA TR: t = t1499
lola: REM DEA TR: t = t1508
lola: REM DEA TR: t = t1509
lola: REM DEA TR: t = t1518
lola: REM DEA TR: t = t1519
lola: REM DEA TR: t = t1528
lola: REM DEA TR: t = t1529
lola: REM DEA TR: t = t1538
lola: REM DEA TR: t = t1539
lola: REM DEA TR: t = t1648
lola: REM DEA TR: t = t1649
lola: REM DEA TR: t = t1658
lola: REM DEA TR: t = t1659
lola: REM DEA TR: t = t1668
lola: REM DEA TR: t = t1669
lola: REM DEA TR: t = t1678
lola: REM DEA TR: t = t1679
lola: REM DEA TR: t = t1688
lola: REM DEA TR: t = t1689
lola: REM DEA TR: t = t1350
lola: REM DEA TR: t = t1351
lola: REM DEA TR: t = t1360
lola: REM DEA TR: t = t1361
lola: REM DEA TR: t = t1370
lola: REM DEA TR: t = t1371
lola: REM DEA TR: t = t1380
lola: REM DEA TR: t = t1381
lola: REM DEA TR: t = t1390
lola: REM DEA TR: t = t1391
lola: REM DEA TR: t = t1400
lola: REM DEA TR: t = t1401
lola: REM DEA TR: t = t1410
lola: REM DEA TR: t = t1411
lola: REM DEA TR: t = t1420
lola: REM DEA TR: t = t1421
lola: REM DEA TR: t = t1430
lola: REM DEA TR: t = t1431
lola: REM DEA TR: t = t1440
lola: REM DEA TR: t = t1441
lola: REM DEA TR: t = t1500
lola: REM DEA TR: t = t1501
lola: REM DEA TR: t = t1510
lola: REM DEA TR: t = t1511
lola: REM DEA TR: t = t1520
lola: REM DEA TR: t = t1521
lola: REM DEA TR: t = t1530
lola: REM DEA TR: t = t1531
lola: REM DEA TR: t = t1540
lola: REM DEA TR: t = t1541
lola: REM DEA TR: t = t1650
lola: REM DEA TR: t = t1651
lola: REM DEA TR: t = t1660
lola: REM DEA TR: t = t1661
lola: REM DEA TR: t = t1670
lola: REM DEA TR: t = t1671
lola: REM DEA TR: t = t1680
lola: REM DEA TR: t = t1681
lola: REM DEA TR: t = t1690
lola: REM DEA TR: t = t1691
lola: REM DEA TR: t = t1352
lola: REM DEA TR: t = t1353
lola: REM DEA TR: t = t1362
lola: REM DEA TR: t = t1363
lola: REM DEA TR: t = t1372
lola: REM DEA TR: t = t1373
lola: REM DEA TR: t = t1382
lola: REM DEA TR: t = t1383
lola: REM DEA TR: t = t1392
lola: REM DEA TR: t = t1393
lola: REM DEA TR: t = t1402
lola: REM DEA TR: t = t1403
lola: REM DEA TR: t = t1412
lola: REM DEA TR: t = t1413
lola: REM DEA TR: t = t1422
lola: REM DEA TR: t = t1423
lola: REM DEA TR: t = t1432
lola: REM DEA TR: t = t1433
lola: REM DEA TR: t = t1442
lola: REM DEA TR: t = t1443
lola: REM DEA TR: t = t1502
lola: REM DEA TR: t = t1503
lola: REM DEA TR: t = t1512
lola: REM DEA TR: t = t1513
lola: REM DEA TR: t = t1522
lola: REM DEA TR: t = t1523
lola: REM DEA TR: t = t1532
lola: REM DEA TR: t = t1533
lola: REM DEA TR: t = t1542
lola: REM DEA TR: t = t1543
lola: REM DEA TR: t = t1652
lola: REM DEA TR: t = t1653
lola: REM DEA TR: t = t1662
lola: REM DEA TR: t = t1663
lola: REM DEA TR: t = t1672
lola: REM DEA TR: t = t1673
lola: REM DEA TR: t = t1682
lola: REM DEA TR: t = t1683
lola: REM DEA TR: t = t1692
lola: REM DEA TR: t = t1693
lola: REM DEA TR: t = t1331
lola: REM DEA TR: t = t889
lola: REM DEA TR: t = t890
lola: REM DEA TR: t = t891
lola: REM DEA TR: t = t892
lola: REM DEA TR: t = t893
lola: REM DEA TR: t = t894
lola: REM DEA TR: t = t895
lola: REM DEA TR: t = t896
lola: REM DEA TR: t = t897
lola: REM DEA TR: t = t898
lola: REM DEA TR: t = t1877
lola: REM DEA TR: t = t83
lola: REM DEA TR: t = t84
lola: REM DEA TR: t = t89
lola: REM DEA TR: t = t90
lola: REM DEA TR: t = t95
lola: REM DEA TR: t = t96
lola: REM DEA TR: t = t1998
lola: REM DEA TR: t = t1999
lola: REM DEA TR: t = t77
lola: REM DEA TR: t = t78
lola: REM DEA TR: t = t91
lola: REM DEA TR: t = t92
lola: REM DEA TR: t = t97
lola: REM DEA TR: t = t98
lola: REM DEA TR: t = t2000
lola: REM DEA TR: t = t2001
lola: REM DEA TR: t = t79
lola: REM DEA TR: t = t80
lola: REM DEA TR: t = t85
lola: REM DEA TR: t = t86
lola: REM DEA TR: t = t99
lola: REM DEA TR: t = t100
lola: REM DEA TR: t = t2002
lola: REM DEA TR: t = t2003
lola: REM DEA TR: t = t81
lola: REM DEA TR: t = t82
lola: REM DEA TR: t = t87
lola: REM DEA TR: t = t88
lola: REM DEA TR: t = t93
lola: REM DEA TR: t = t94
lola: REM DEA TR: t = t2004
lola: REM DEA TR: t = t2005
lola: REM DEA TR: t = t808
lola: REM DEA TR: t = t629
lola: REM DEA TR: t = t630
lola: REM DEA TR: t = t631
lola: REM DEA TR: t = t632
lola: REM DEA TR: t = t633
lola: REM DEA TR: t = t634
lola: REM DEA TR: t = t635
lola: REM DEA TR: t = t636
lola: REM DEA TR: t = t1312
lola: REM DEA TR: t = t1317
lola: REM DEA TR: t = t1444
lola: REM DEA TR: t = t1445
lola: REM DEA TR: t = t1454
lola: REM DEA TR: t = t1455
lola: REM DEA TR: t = t1464
lola: REM DEA TR: t = t1465
lola: REM DEA TR: t = t1474
lola: REM DEA TR: t = t1475
lola: REM DEA TR: t = t1484
lola: REM DEA TR: t = t1485
lola: REM DEA TR: t = t1544
lola: REM DEA TR: t = t1545
lola: REM DEA TR: t = t1554
lola: REM DEA TR: t = t1555
lola: REM DEA TR: t = t1564
lola: REM DEA TR: t = t1565
lola: REM DEA TR: t = t1574
lola: REM DEA TR: t = t1575
lola: REM DEA TR: t = t1584
lola: REM DEA TR: t = t1585
lola: REM DEA TR: t = t1694
lola: REM DEA TR: t = t1695
lola: REM DEA TR: t = t1704
lola: REM DEA TR: t = t1705
lola: REM DEA TR: t = t1714
lola: REM DEA TR: t = t1715
lola: REM DEA TR: t = t1724
lola: REM DEA TR: t = t1725
lola: REM DEA TR: t = t1734
lola: REM DEA TR: t = t1735
lola: REM DEA TR: t = t1904
lola: REM DEA TR: t = t1446
lola: REM DEA TR: t = t1447
lola: REM DEA TR: t = t1456
lola: REM DEA TR: t = t1457
lola: REM DEA TR: t = t1466
lola: REM DEA TR: t = t1467
lola: REM DEA TR: t = t1476
lola: REM DEA TR: t = t1477
lola: REM DEA TR: t = t1486
lola: REM DEA TR: t = t1487
lola: REM DEA TR: t = t1546
lola: REM DEA TR: t = t1547
lola: REM DEA TR: t = t1556
lola: REM DEA TR: t = t1557
lola: REM DEA TR: t = t1566
lola: REM DEA TR: t = t1567
lola: REM DEA TR: t = t1576
lola: REM DEA TR: t = t1577
lola: REM DEA TR: t = t1586
lola: REM DEA TR: t = t1587
lola: REM DEA TR: t = t1696
lola: REM DEA TR: t = t1697
lola: REM DEA TR: t = t1706
lola: REM DEA TR: t = t1707
lola: REM DEA TR: t = t1716
lola: REM DEA TR: t = t1717
lola: REM DEA TR: t = t1726
lola: REM DEA TR: t = t1727
lola: REM DEA TR: t = t1736
lola: REM DEA TR: t = t1737
lola: REM DEA TR: t = t1905
lola: REM DEA TR: t = t1594
lola: REM DEA TR: t = t1595
lola: REM DEA TR: t = t1604
lola: REM DEA TR: t = t1605
lola: REM DEA TR: t = t1614
lola: REM DEA TR: t = t1615
lola: REM DEA TR: t = t1624
lola: REM DEA TR: t = t1625
lola: REM DEA TR: t = t1634
lola: REM DEA TR: t = t1635
lola: REM DEA TR: t = t1744
lola: REM DEA TR: t = t1745
lola: REM DEA TR: t = t1754
lola: REM DEA TR: t = t1755
lola: REM DEA TR: t = t1764
lola: REM DEA TR: t = t1765
lola: REM DEA TR: t = t1774
lola: REM DEA TR: t = t1775
lola: REM DEA TR: t = t1784
lola: REM DEA TR: t = t1785
lola: REM DEA TR: t = t1909
lola: REM DEA TR: t = t1929
lola: REM DEA TR: t = t1598
lola: REM DEA TR: t = t1599
lola: REM DEA TR: t = t1608
lola: REM DEA TR: t = t1609
lola: REM DEA TR: t = t1618
lola: REM DEA TR: t = t1619
lola: REM DEA TR: t = t1628
lola: REM DEA TR: t = t1629
lola: REM DEA TR: t = t1638
lola: REM DEA TR: t = t1639
lola: REM DEA TR: t = t1748
lola: REM DEA TR: t = t1749
lola: REM DEA TR: t = t1758
lola: REM DEA TR: t = t1759
lola: REM DEA TR: t = t1768
lola: REM DEA TR: t = t1769
lola: REM DEA TR: t = t1778
lola: REM DEA TR: t = t1779
lola: REM DEA TR: t = t1788
lola: REM DEA TR: t = t1789
lola: REM DEA TR: t = t1911
lola: REM DEA TR: t = t1931
lola: REM DEA TR: t = t1794
lola: REM DEA TR: t = t1795
lola: REM DEA TR: t = t1804
lola: REM DEA TR: t = t1805
lola: REM DEA TR: t = t1814
lola: REM DEA TR: t = t1815
lola: REM DEA TR: t = t1824
lola: REM DEA TR: t = t1825
lola: REM DEA TR: t = t1834
lola: REM DEA TR: t = t1835
lola: REM DEA TR: t = t1914
lola: REM DEA TR: t = t1934
lola: REM DEA TR: t = t1949
lola: REM DEA TR: t = t1959
lola: REM DEA TR: t = t1800
lola: REM DEA TR: t = t1801
lola: REM DEA TR: t = t1810
lola: REM DEA TR: t = t1811
lola: REM DEA TR: t = t1820
lola: REM DEA TR: t = t1821
lola: REM DEA TR: t = t1830
lola: REM DEA TR: t = t1831
lola: REM DEA TR: t = t1840
lola: REM DEA TR: t = t1841
lola: REM DEA TR: t = t1917
lola: REM DEA TR: t = t1937
lola: REM DEA TR: t = t1952
lola: REM DEA TR: t = t1962
lola: REM DEA TR: t = t1919
lola: REM DEA TR: t = t1939
lola: REM DEA TR: t = t1954
lola: REM DEA TR: t = t1964
lola: REM DEA TR: t = t1969
lola: REM DEA TR: t = t1923
lola: REM DEA TR: t = t1943
lola: REM DEA TR: t = t1958
lola: REM DEA TR: t = t1968
lola: REM DEA TR: t = t1973
lola: REM DEA TR: t = t1849
lola: REM DEA TR: t = t1854
lola: REM DEA TR: t = t1859
lola: REM DEA TR: t = t1864
lola: REM DEA TR: t = t1879
lola: REM DEA TR: t = t1884
lola: REM DEA TR: t = t1889
lola: REM DEA TR: t = t1894
lola: REM DEA TR: t = t125
lola: REM DEA TR: t = t126
lola: REM DEA TR: t = t127
lola: REM DEA TR: t = t128
lola: REM DEA TR: t = t129
lola: REM DEA TR: t = t130
lola: REM DEA TR: t = t131
lola: REM DEA TR: t = t132
lola: REM DEA TR: t = t133
lola: REM DEA TR: t = t134
lola: REM DEA TR: t = t135
lola: REM DEA TR: t = t136
lola: REM DEA TR: t = t137
lola: REM DEA TR: t = t138
lola: REM DEA TR: t = t139
lola: REM DEA TR: t = t140
lola: REM DEA TR: t = t141
lola: REM DEA TR: t = t142
lola: REM DEA TR: t = t143
lola: REM DEA TR: t = t144
lola: REM DEA TR: t = t145
lola: REM DEA TR: t = t146
lola: REM DEA TR: t = t147
lola: REM DEA TR: t = t148
lola: REM DEA TR: t = t245
lola: REM DEA TR: t = t246
lola: REM DEA TR: t = t247
lola: REM DEA TR: t = t248
lola: REM DEA TR: t = t249
lola: REM DEA TR: t = t250
lola: REM DEA TR: t = t251
lola: REM DEA TR: t = t252
lola: REM DEA TR: t = t253
lola: REM DEA TR: t = t254
lola: REM DEA TR: t = t255
lola: REM DEA TR: t = t256
lola: REM DEA TR: t = t257
lola: REM DEA TR: t = t258
lola: REM DEA TR: t = t259
lola: REM DEA TR: t = t260
lola: REM DEA TR: t = t261
lola: REM DEA TR: t = t262
lola: REM DEA TR: t = t263
lola: REM DEA TR: t = t264
lola: REM DEA TR: t = t265
lola: REM DEA TR: t = t266
lola: REM DEA TR: t = t267
lola: REM DEA TR: t = t268
lola: REM DEA TR: t = t365
lola: REM DEA TR: t = t366
lola: REM DEA TR: t = t367
lola: REM DEA TR: t = t368
lola: REM DEA TR: t = t369
lola: REM DEA TR: t = t370
lola: REM DEA TR: t = t371
lola: REM DEA TR: t = t372
lola: REM DEA TR: t = t373
lola: REM DEA TR: t = t374
lola: REM DEA TR: t = t375
lola: REM DEA TR: t = t376
lola: REM DEA TR: t = t377
lola: REM DEA TR: t = t378
lola: REM DEA TR: t = t379
lola: REM DEA TR: t = t380
lola: REM DEA TR: t = t381
lola: REM DEA TR: t = t382
lola: REM DEA TR: t = t383
lola: REM DEA TR: t = t384
lola: REM DEA TR: t = t385
lola: REM DEA TR: t = t386
lola: REM DEA TR: t = t387
lola: REM DEA TR: t = t388
lola: REM DEA TR: t = t2014
lola: REM DEA TR: t = t2015
lola: REM DEA TR: t = t2016
lola: REM DEA TR: t = t2017
lola: REM DEA TR: t = t2018
lola: REM DEA TR: t = t2019
lola: REM DEA TR: t = t2020
lola: REM DEA TR: t = t2021
lola: REM DEA TR: t = t2054
lola: REM DEA TR: t = t2055
lola: REM DEA TR: t = t2056
lola: REM DEA TR: t = t2057
lola: REM DEA TR: t = t2058
lola: REM DEA TR: t = t2059
lola: REM DEA TR: t = t2060
lola: REM DEA TR: t = t2061
lola: REM DEA TR: t = t2094
lola: REM DEA TR: t = t2095
lola: REM DEA TR: t = t2096
lola: REM DEA TR: t = t2097
lola: REM DEA TR: t = t2098
lola: REM DEA TR: t = t2099
lola: REM DEA TR: t = t485
lola: REM DEA TR: t = t486
lola: REM DEA TR: t = t487
lola: REM DEA TR: t = t488
lola: REM DEA TR: t = t489
lola: REM DEA TR: t = t490
lola: REM DEA TR: t = t491
lola: REM DEA TR: t = t492
lola: REM DEA TR: t = t493
lola: REM DEA TR: t = t494
lola: REM DEA TR: t = t495
lola: REM DEA TR: t = t496
lola: REM DEA TR: t = t497
lola: REM DEA TR: t = t498
lola: REM DEA TR: t = t499
lola: REM DEA TR: t = t2100
lola: REM DEA TR: t = t2101
lola: REM DEA TR: t = t2134
lola: REM DEA TR: t = t2135
lola: REM DEA TR: t = t2136
lola: REM DEA TR: t = t2137
lola: REM DEA TR: t = t2138
lola: REM DEA TR: t = t2139
lola: REM DEA TR: t = t2140
lola: REM DEA TR: t = t2141
lola: REM DEA TR: t = t500
lola: REM DEA TR: t = t501
lola: REM DEA TR: t = t502
lola: REM DEA TR: t = t503
lola: REM DEA TR: t = t504
lola: REM DEA TR: t = t505
lola: REM DEA TR: t = t506
lola: REM DEA TR: t = t507
lola: REM DEA TR: t = t508
lola: REM DEA TR: t = t974
lola: REM DEA TR: t = t1469
lola: REM DEA TR: t = t1471
lola: REM DEA TR: t = t1473
lola: REM DEA TR: t = t1569
lola: REM DEA TR: t = t1571
lola: REM DEA TR: t = t1573
lola: REM DEA TR: t = t1719
lola: REM DEA TR: t = t1721
lola: REM DEA TR: t = t1723
lola: REM DEA TR: t = t276
lola: REM DEA TR: t = t278
lola: REM DEA TR: t = t280
lola: REM DEA TR: t = t396
lola: REM DEA TR: t = t398
lola: REM DEA TR: t = t2065
lola: REM DEA TR: t = t400
lola: REM DEA TR: t = t2105
lola: REM DEA TR: t = t2145
lola: REM DEA TR: t = t516
lola: REM DEA TR: t = t518
lola: REM DEA TR: t = t520
lola: REM DEA TR: t = t696
lola: REM DEA TR: t = t1024
lola: REM DEA TR: t = t1074
lola: REM DEA TR: t = t736
lola: REM DEA TR: t = t776
lola: REM DEA TR: t = t976
lola: REM DEA TR: t = t1479
lola: REM DEA TR: t = t1481
lola: REM DEA TR: t = t1483
lola: REM DEA TR: t = t1579
lola: REM DEA TR: t = t1581
lola: REM DEA TR: t = t1583
lola: REM DEA TR: t = t1729
lola: REM DEA TR: t = t1731
lola: REM DEA TR: t = t1733
lola: REM DEA TR: t = t282
lola: REM DEA TR: t = t284
lola: REM DEA TR: t = t286
lola: REM DEA TR: t = t2067
lola: REM DEA TR: t = t402
lola: REM DEA TR: t = t404
lola: REM DEA TR: t = t406
lola: REM DEA TR: t = t2107
lola: REM DEA TR: t = t2147
lola: REM DEA TR: t = t522
lola: REM DEA TR: t = t524
lola: REM DEA TR: t = t526
lola: REM DEA TR: t = t698
lola: REM DEA TR: t = t1026
lola: REM DEA TR: t = t1076
lola: REM DEA TR: t = t738
lola: REM DEA TR: t = t778
lola: REM DEA TR: t = t978
lola: REM DEA TR: t = t1489
lola: REM DEA TR: t = t1491
lola: REM DEA TR: t = t1493
lola: REM DEA TR: t = t1589
lola: REM DEA TR: t = t1591
lola: REM DEA TR: t = t1593
lola: REM DEA TR: t = t1739
lola: REM DEA TR: t = t1741
lola: REM DEA TR: t = t1743
lola: REM DEA TR: t = t288
lola: REM DEA TR: t = t290
lola: REM DEA TR: t = t292
lola: REM DEA TR: t = t2069
lola: REM DEA TR: t = t408
lola: REM DEA TR: t = t410
lola: REM DEA TR: t = t412
lola: REM DEA TR: t = t2109
lola: REM DEA TR: t = t2149
lola: REM DEA TR: t = t528
lola: REM DEA TR: t = t530
lola: REM DEA TR: t = t532
lola: REM DEA TR: t = t1028
lola: REM DEA TR: t = t1078
lola: REM DEA TR: t = t700
lola: REM DEA TR: t = t740
lola: REM DEA TR: t = t780
lola: REM DEA TR: t = t932
lola: REM DEA TR: t = t1607
lola: REM DEA TR: t = t1611
lola: REM DEA TR: t = t1613
lola: REM DEA TR: t = t1757
lola: REM DEA TR: t = t1761
lola: REM DEA TR: t = t1763
lola: REM DEA TR: t = t174
lola: REM DEA TR: t = t176
lola: REM DEA TR: t = t178
lola: REM DEA TR: t = t2031
lola: REM DEA TR: t = t414
lola: REM DEA TR: t = t416
lola: REM DEA TR: t = t418
lola: REM DEA TR: t = t2111
lola: REM DEA TR: t = t2151
lola: REM DEA TR: t = t534
lola: REM DEA TR: t = t536
lola: REM DEA TR: t = t538
lola: REM DEA TR: t = t664
lola: REM DEA TR: t = t1032
lola: REM DEA TR: t = t1082
lola: REM DEA TR: t = t744
lola: REM DEA TR: t = t784
lola: REM DEA TR: t = t936
lola: REM DEA TR: t = t1627
lola: REM DEA TR: t = t1631
lola: REM DEA TR: t = t1633
lola: REM DEA TR: t = t1777
lola: REM DEA TR: t = t1781
lola: REM DEA TR: t = t1783
lola: REM DEA TR: t = t186
lola: REM DEA TR: t = t188
lola: REM DEA TR: t = t190
lola: REM DEA TR: t = t2035
lola: REM DEA TR: t = t426
lola: REM DEA TR: t = t428
lola: REM DEA TR: t = t430
lola: REM DEA TR: t = t2115
lola: REM DEA TR: t = t2155
lola: REM DEA TR: t = t546
lola: REM DEA TR: t = t548
lola: REM DEA TR: t = t550
lola: REM DEA TR: t = t666
lola: REM DEA TR: t = t1036
lola: REM DEA TR: t = t1086
lola: REM DEA TR: t = t746
lola: REM DEA TR: t = t786
lola: REM DEA TR: t = t938
lola: REM DEA TR: t = t1637
lola: REM DEA TR: t = t1641
lola: REM DEA TR: t = t1643
lola: REM DEA TR: t = t1787
lola: REM DEA TR: t = t1791
lola: REM DEA TR: t = t1793
lola: REM DEA TR: t = t192
lola: REM DEA TR: t = t194
lola: REM DEA TR: t = t196
lola: REM DEA TR: t = t2037
lola: REM DEA TR: t = t432
lola: REM DEA TR: t = t434
lola: REM DEA TR: t = t436
lola: REM DEA TR: t = t2117
lola: REM DEA TR: t = t2157
lola: REM DEA TR: t = t552
lola: REM DEA TR: t = t554
lola: REM DEA TR: t = t556
lola: REM DEA TR: t = t668
lola: REM DEA TR: t = t1038
lola: REM DEA TR: t = t1088
lola: REM DEA TR: t = t748
lola: REM DEA TR: t = t788
lola: REM DEA TR: t = t942
lola: REM DEA TR: t = t992
lola: REM DEA TR: t = t1807
lola: REM DEA TR: t = t1809
lola: REM DEA TR: t = t1813
lola: REM DEA TR: t = t198
lola: REM DEA TR: t = t200
lola: REM DEA TR: t = t202
lola: REM DEA TR: t = t318
lola: REM DEA TR: t = t320
lola: REM DEA TR: t = t322
lola: REM DEA TR: t = t2039
lola: REM DEA TR: t = t2079
lola: REM DEA TR: t = t438
lola: REM DEA TR: t = t440
lola: REM DEA TR: t = t442
lola: REM DEA TR: t = t2119
lola: REM DEA TR: t = t2159
lola: REM DEA TR: t = t558
lola: REM DEA TR: t = t560
lola: REM DEA TR: t = t562
lola: REM DEA TR: t = t672
lola: REM DEA TR: t = t1042
lola: REM DEA TR: t = t1092
lola: REM DEA TR: t = t712
lola: REM DEA TR: t = t752
lola: REM DEA TR: t = t792
lola: REM DEA TR: t = t944
lola: REM DEA TR: t = t994
lola: REM DEA TR: t = t1817
lola: REM DEA TR: t = t1819
lola: REM DEA TR: t = t1823
lola: REM DEA TR: t = t204
lola: REM DEA TR: t = t206
lola: REM DEA TR: t = t208
lola: REM DEA TR: t = t324
lola: REM DEA TR: t = t326
lola: REM DEA TR: t = t328
lola: REM DEA TR: t = t2041
lola: REM DEA TR: t = t2081
lola: REM DEA TR: t = t444
lola: REM DEA TR: t = t446
lola: REM DEA TR: t = t448
lola: REM DEA TR: t = t2121
lola: REM DEA TR: t = t2161
lola: REM DEA TR: t = t564
lola: REM DEA TR: t = t566
lola: REM DEA TR: t = t568
lola: REM DEA TR: t = t674
lola: REM DEA TR: t = t1044
lola: REM DEA TR: t = t1094
lola: REM DEA TR: t = t714
lola: REM DEA TR: t = t754
lola: REM DEA TR: t = t794
lola: REM DEA TR: t = t948
lola: REM DEA TR: t = t998
lola: REM DEA TR: t = t1837
lola: REM DEA TR: t = t1839
lola: REM DEA TR: t = t1843
lola: REM DEA TR: t = t216
lola: REM DEA TR: t = t218
lola: REM DEA TR: t = t220
lola: REM DEA TR: t = t336
lola: REM DEA TR: t = t338
lola: REM DEA TR: t = t340
lola: REM DEA TR: t = t2045
lola: REM DEA TR: t = t2085
lola: REM DEA TR: t = t456
lola: REM DEA TR: t = t458
lola: REM DEA TR: t = t460
lola: REM DEA TR: t = t2125
lola: REM DEA TR: t = t2165
lola: REM DEA TR: t = t576
lola: REM DEA TR: t = t578
lola: REM DEA TR: t = t580
lola: REM DEA TR: t = t676
lola: REM DEA TR: t = t1048
lola: REM DEA TR: t = t1098
lola: REM DEA TR: t = t716
lola: REM DEA TR: t = t756
lola: REM DEA TR: t = t796
lola: REM DEA TR: t = t1102
lola: REM DEA TR: t = t800
lola: REM DEA TR: t = t902
lola: REM DEA TR: t = t952
lola: REM DEA TR: t = t102
lola: REM DEA TR: t = t104
lola: REM DEA TR: t = t106
lola: REM DEA TR: t = t222
lola: REM DEA TR: t = t224
lola: REM DEA TR: t = t226
lola: REM DEA TR: t = t342
lola: REM DEA TR: t = t344
lola: REM DEA TR: t = t346
lola: REM DEA TR: t = t2007
lola: REM DEA TR: t = t2047
lola: REM DEA TR: t = t2087
lola: REM DEA TR: t = t462
lola: REM DEA TR: t = t464
lola: REM DEA TR: t = t466
lola: REM DEA TR: t = t2127
lola: REM DEA TR: t = t2167
lola: REM DEA TR: t = t582
lola: REM DEA TR: t = t584
lola: REM DEA TR: t = t586
lola: REM DEA TR: t = t640
lola: REM DEA TR: t = t680
lola: REM DEA TR: t = t1002
lola: REM DEA TR: t = t1052
lola: REM DEA TR: t = t720
lola: REM DEA TR: t = t760
lola: REM DEA TR: t = t1104
lola: REM DEA TR: t = t802
lola: REM DEA TR: t = t904
lola: REM DEA TR: t = t954
lola: REM DEA TR: t = t108
lola: REM DEA TR: t = t110
lola: REM DEA TR: t = t112
lola: REM DEA TR: t = t228
lola: REM DEA TR: t = t230
lola: REM DEA TR: t = t232
lola: REM DEA TR: t = t348
lola: REM DEA TR: t = t350
lola: REM DEA TR: t = t352
lola: REM DEA TR: t = t2009
lola: REM DEA TR: t = t2049
lola: REM DEA TR: t = t2089
lola: REM DEA TR: t = t468
lola: REM DEA TR: t = t470
lola: REM DEA TR: t = t472
lola: REM DEA TR: t = t2129
lola: REM DEA TR: t = t2169
lola: REM DEA TR: t = t588
lola: REM DEA TR: t = t590
lola: REM DEA TR: t = t592
lola: REM DEA TR: t = t642
lola: REM DEA TR: t = t682
lola: REM DEA TR: t = t1004
lola: REM DEA TR: t = t1054
lola: REM DEA TR: t = t722
lola: REM DEA TR: t = t762
lola: REM DEA TR: t = t1106
lola: REM DEA TR: t = t804
lola: REM DEA TR: t = t906
lola: REM DEA TR: t = t956
lola: REM DEA TR: t = t114
lola: REM DEA TR: t = t116
lola: REM DEA TR: t = t118
lola: REM DEA TR: t = t234
lola: REM DEA TR: t = t236
lola: REM DEA TR: t = t238
lola: REM DEA TR: t = t354
lola: REM DEA TR: t = t356
lola: REM DEA TR: t = t358
lola: REM DEA TR: t = t2011
lola: REM DEA TR: t = t2051
lola: REM DEA TR: t = t2091
lola: REM DEA TR: t = t474
lola: REM DEA TR: t = t476
lola: REM DEA TR: t = t478
lola: REM DEA TR: t = t2131
lola: REM DEA TR: t = t2171
lola: REM DEA TR: t = t594
lola: REM DEA TR: t = t596
lola: REM DEA TR: t = t598
lola: REM DEA TR: t = t644
lola: REM DEA TR: t = t684
lola: REM DEA TR: t = t1006
lola: REM DEA TR: t = t1056
lola: REM DEA TR: t = t724
lola: REM DEA TR: t = t764
lola: REM DEA TR: t = t1322
lola: REM DEA TR: t = t1039
lola: REM DEA TR: t = t1040
lola: REM DEA TR: t = t1041
lola: REM DEA TR: t = t1043
lola: REM DEA TR: t = t1045
lola: REM DEA TR: t = t1046
lola: REM DEA TR: t = t1047
lola: REM DEA TR: t = t1892
lola: REM DEA TR: t = t443
lola: REM DEA TR: t = t449
lola: REM DEA TR: t = t450
lola: REM DEA TR: t = t455
lola: REM DEA TR: t = t2118
lola: REM DEA TR: t = t437
lola: REM DEA TR: t = t451
lola: REM DEA TR: t = t452
lola: REM DEA TR: t = t457
lola: REM DEA TR: t = t2120
lola: REM DEA TR: t = t439
lola: REM DEA TR: t = t445
lola: REM DEA TR: t = t459
lola: REM DEA TR: t = t2122
lola: REM DEA TR: t = t2123
lola: REM DEA TR: t = t441
lola: REM DEA TR: t = t447
lola: REM DEA TR: t = t453
lola: REM DEA TR: t = t454
lola: REM DEA TR: t = t2124
lola: REM DEA TR: t = t1862
lola: REM DEA TR: t = t1960
lola: REM DEA TR: t = t1961
lola: REM DEA TR: t = t1963
lola: REM DEA TR: t = t823
lola: REM DEA TR: t = t749
lola: REM DEA TR: t = t750
lola: REM DEA TR: t = t751
lola: REM DEA TR: t = t753
lola: REM DEA TR: t = t755
lola: REM DEA TR: t = t1327
lola: REM DEA TR: t = t1332
lola: REM DEA TR: t = t899
lola: REM DEA TR: t = t900
lola: REM DEA TR: t = t901
lola: REM DEA TR: t = t903
lola: REM DEA TR: t = t905
lola: REM DEA TR: t = t907
lola: REM DEA TR: t = t908
lola: REM DEA TR: t = t1878
lola: REM DEA TR: t = t107
lola: REM DEA TR: t = t113
lola: REM DEA TR: t = t119
lola: REM DEA TR: t = t120
lola: REM DEA TR: t = t2006
lola: REM DEA TR: t = t101
lola: REM DEA TR: t = t115
lola: REM DEA TR: t = t121
lola: REM DEA TR: t = t122
lola: REM DEA TR: t = t2008
lola: REM DEA TR: t = t103
lola: REM DEA TR: t = t109
lola: REM DEA TR: t = t123
lola: REM DEA TR: t = t124
lola: REM DEA TR: t = t2010
lola: REM DEA TR: t = t105
lola: REM DEA TR: t = t111
lola: REM DEA TR: t = t117
lola: REM DEA TR: t = t2012
lola: REM DEA TR: t = t2013
lola: REM DEA TR: t = t1848
lola: REM DEA TR: t = t1920
lola: REM DEA TR: t = t1921
lola: REM DEA TR: t = t1922
lola: REM DEA TR: t = t809
lola: REM DEA TR: t = t637
lola: REM DEA TR: t = t638
lola: REM DEA TR: t = t639
lola: REM DEA TR: t = t641
lola: REM DEA TR: t = t643
lola: REM DEA TR: t = t1313
lola: REM DEA TR: t = t1318
lola: REM DEA TR: t = t1323
lola: REM DEA TR: t = t1328
lola: REM DEA TR: t = t1100
lola: REM DEA TR: t = t1101
lola: REM DEA TR: t = t1103
lola: REM DEA TR: t = t1105
lola: REM DEA TR: t = t1107
lola: REM DEA TR: t = t1108
lola: REM DEA TR: t = t1099
lola: REM DEA TR: t = t1898
lola: REM DEA TR: t = t2166
lola: REM DEA TR: t = t587
lola: REM DEA TR: t = t593
lola: REM DEA TR: t = t599
lola: REM DEA TR: t = t600
lola: REM DEA TR: t = t2168
lola: REM DEA TR: t = t581
lola: REM DEA TR: t = t595
lola: REM DEA TR: t = t601
lola: REM DEA TR: t = t602
lola: REM DEA TR: t = t2170
lola: REM DEA TR: t = t583
lola: REM DEA TR: t = t589
lola: REM DEA TR: t = t603
lola: REM DEA TR: t = t604
lola: REM DEA TR: t = t2172
lola: REM DEA TR: t = t2173
lola: REM DEA TR: t = t585
lola: REM DEA TR: t = t591
lola: REM DEA TR: t = t597
lola: REM DEA TR: t = t1868
lola: REM DEA TR: t = t1970
lola: REM DEA TR: t = t1971
lola: REM DEA TR: t = t1972
lola: REM DEA TR: t = t801
lola: REM DEA TR: t = t803
lola: REM DEA TR: t = t829
lola: REM DEA TR: t = t797
lola: REM DEA TR: t = t798
lola: REM DEA TR: t = t799
lola: REM DEA TR: t = t1333
lola: REM DEA TR: t = t2184
lola: REM DEA TR: t = t2185
lola: REM DEA TR: t = t2186
lola: REM DEA TR: t = t2187
lola: REM DEA TR: t = t2188
lola: REM DEA TR: t = t2210
lola: REM DEA TR: t = t2189
lola: REM DEA TR: t = t2190
lola: REM DEA TR: t = t2191
lola: REM DEA TR: t = t2192
lola: REM DEA TR: t = t2193
lola: REM DEA TR: t = t2211
lola: REM DEA TR: t = t2194
lola: REM DEA TR: t = t2195
lola: REM DEA TR: t = t2196
lola: REM DEA TR: t = t2197
lola: REM DEA TR: t = t2198
lola: REM DEA TR: t = t2212
lola: REM DEA TR: t = t2199
lola: REM DEA TR: t = t2200
lola: REM DEA TR: t = t2201
lola: REM DEA TR: t = t2202
lola: REM DEA TR: t = t2203
lola: REM DEA TR: t = t2213
lola: REM DEA TR: t = t816
lola: REM DEA TR: t = t693
lola: REM DEA TR: t = t694
lola: REM DEA TR: t = t695
lola: REM DEA TR: t = t697
lola: REM DEA TR: t = t699
lola: REM DEA TR: t = t821
lola: REM DEA TR: t = t733
lola: REM DEA TR: t = t734
lola: REM DEA TR: t = t735
lola: REM DEA TR: t = t737
lola: REM DEA TR: t = t739
lola: REM DEA TR: t = t826
lola: REM DEA TR: t = t773
lola: REM DEA TR: t = t774
lola: REM DEA TR: t = t775
lola: REM DEA TR: t = t777
lola: REM DEA TR: t = t779
lola: REM DEA TR: t = t1846
lola: REM DEA TR: t = t1910
lola: REM DEA TR: t = t1912
lola: REM DEA TR: t = t1913
lola: REM DEA TR: t = t812
lola: REM DEA TR: t = t661
lola: REM DEA TR: t = t662
lola: REM DEA TR: t = t663
lola: REM DEA TR: t = t665
lola: REM DEA TR: t = t667
lola: REM DEA TR: t = t822
lola: REM DEA TR: t = t741
lola: REM DEA TR: t = t742
lola: REM DEA TR: t = t743
lola: REM DEA TR: t = t745
lola: REM DEA TR: t = t747
lola: REM DEA TR: t = t827
lola: REM DEA TR: t = t781
lola: REM DEA TR: t = t782
lola: REM DEA TR: t = t783
lola: REM DEA TR: t = t785
lola: REM DEA TR: t = t787
lola: REM DEA TR: t = t1847
lola: REM DEA TR: t = t1915
lola: REM DEA TR: t = t1916
lola: REM DEA TR: t = t1918
lola: REM DEA TR: t = t813
lola: REM DEA TR: t = t669
lola: REM DEA TR: t = t670
lola: REM DEA TR: t = t671
lola: REM DEA TR: t = t673
lola: REM DEA TR: t = t675
lola: REM DEA TR: t = t973
lola: REM DEA TR: t = t1468
lola: REM DEA TR: t = t1470
lola: REM DEA TR: t = t1472
lola: REM DEA TR: t = t1568
lola: REM DEA TR: t = t1570
lola: REM DEA TR: t = t1572
lola: REM DEA TR: t = t1718
lola: REM DEA TR: t = t1720
lola: REM DEA TR: t = t1722
lola: REM DEA TR: t = t275
lola: REM DEA TR: t = t277
lola: REM DEA TR: t = t279
lola: REM DEA TR: t = t395
lola: REM DEA TR: t = t397
lola: REM DEA TR: t = t399
lola: REM DEA TR: t = t2064
lola: REM DEA TR: t = t2104
lola: REM DEA TR: t = t2144
lola: REM DEA TR: t = t515
lola: REM DEA TR: t = t517
lola: REM DEA TR: t = t519
lola: REM DEA TR: t = t1023
lola: REM DEA TR: t = t1073
lola: REM DEA TR: t = t975
lola: REM DEA TR: t = t1478
lola: REM DEA TR: t = t1480
lola: REM DEA TR: t = t1482
lola: REM DEA TR: t = t1578
lola: REM DEA TR: t = t1580
lola: REM DEA TR: t = t1582
lola: REM DEA TR: t = t1728
lola: REM DEA TR: t = t1730
lola: REM DEA TR: t = t1732
lola: REM DEA TR: t = t281
lola: REM DEA TR: t = t283
lola: REM DEA TR: t = t285
lola: REM DEA TR: t = t2066
lola: REM DEA TR: t = t401
lola: REM DEA TR: t = t403
lola: REM DEA TR: t = t405
lola: REM DEA TR: t = t2106
lola: REM DEA TR: t = t2146
lola: REM DEA TR: t = t521
lola: REM DEA TR: t = t523
lola: REM DEA TR: t = t525
lola: REM DEA TR: t = t1025
lola: REM DEA TR: t = t1075
lola: REM DEA TR: t = t977
lola: REM DEA TR: t = t1488
lola: REM DEA TR: t = t1490
lola: REM DEA TR: t = t1492
lola: REM DEA TR: t = t1588
lola: REM DEA TR: t = t1590
lola: REM DEA TR: t = t1592
lola: REM DEA TR: t = t1738
lola: REM DEA TR: t = t1740
lola: REM DEA TR: t = t1742
lola: REM DEA TR: t = t287
lola: REM DEA TR: t = t289
lola: REM DEA TR: t = t291
lola: REM DEA TR: t = t2068
lola: REM DEA TR: t = t407
lola: REM DEA TR: t = t409
lola: REM DEA TR: t = t411
lola: REM DEA TR: t = t2108
lola: REM DEA TR: t = t2148
lola: REM DEA TR: t = t527
lola: REM DEA TR: t = t529
lola: REM DEA TR: t = t531
lola: REM DEA TR: t = t1027
lola: REM DEA TR: t = t1077
lola: REM DEA TR: t = t972
lola: REM DEA TR: t = t1459
lola: REM DEA TR: t = t1461
lola: REM DEA TR: t = t1463
lola: REM DEA TR: t = t1559
lola: REM DEA TR: t = t1561
lola: REM DEA TR: t = t1563
lola: REM DEA TR: t = t1709
lola: REM DEA TR: t = t1711
lola: REM DEA TR: t = t1713
lola: REM DEA TR: t = t270
lola: REM DEA TR: t = t272
lola: REM DEA TR: t = t274
lola: REM DEA TR: t = t390
lola: REM DEA TR: t = t392
lola: REM DEA TR: t = t394
lola: REM DEA TR: t = t2063
lola: REM DEA TR: t = t2103
lola: REM DEA TR: t = t2143
lola: REM DEA TR: t = t510
lola: REM DEA TR: t = t512
lola: REM DEA TR: t = t514
lola: REM DEA TR: t = t1022
lola: REM DEA TR: t = t1072
lola: REM DEA TR: t = t931
lola: REM DEA TR: t = t1606
lola: REM DEA TR: t = t1610
lola: REM DEA TR: t = t1612
lola: REM DEA TR: t = t1756
lola: REM DEA TR: t = t1760
lola: REM DEA TR: t = t1762
lola: REM DEA TR: t = t173
lola: REM DEA TR: t = t175
lola: REM DEA TR: t = t177
lola: REM DEA TR: t = t2030
lola: REM DEA TR: t = t413
lola: REM DEA TR: t = t415
lola: REM DEA TR: t = t417
lola: REM DEA TR: t = t2110
lola: REM DEA TR: t = t2150
lola: REM DEA TR: t = t533
lola: REM DEA TR: t = t535
lola: REM DEA TR: t = t537
lola: REM DEA TR: t = t1031
lola: REM DEA TR: t = t1081
lola: REM DEA TR: t = t935
lola: REM DEA TR: t = t1626
lola: REM DEA TR: t = t1630
lola: REM DEA TR: t = t1632
lola: REM DEA TR: t = t1776
lola: REM DEA TR: t = t1780
lola: REM DEA TR: t = t1782
lola: REM DEA TR: t = t185
lola: REM DEA TR: t = t187
lola: REM DEA TR: t = t189
lola: REM DEA TR: t = t2034
lola: REM DEA TR: t = t425
lola: REM DEA TR: t = t427
lola: REM DEA TR: t = t429
lola: REM DEA TR: t = t2114
lola: REM DEA TR: t = t2154
lola: REM DEA TR: t = t545
lola: REM DEA TR: t = t547
lola: REM DEA TR: t = t549
lola: REM DEA TR: t = t1035
lola: REM DEA TR: t = t1085
lola: REM DEA TR: t = t937
lola: REM DEA TR: t = t1636
lola: REM DEA TR: t = t1640
lola: REM DEA TR: t = t1642
lola: REM DEA TR: t = t1786
lola: REM DEA TR: t = t1790
lola: REM DEA TR: t = t1792
lola: REM DEA TR: t = t191
lola: REM DEA TR: t = t193
lola: REM DEA TR: t = t195
lola: REM DEA TR: t = t2036
lola: REM DEA TR: t = t431
lola: REM DEA TR: t = t433
lola: REM DEA TR: t = t435
lola: REM DEA TR: t = t2116
lola: REM DEA TR: t = t2156
lola: REM DEA TR: t = t551
lola: REM DEA TR: t = t553
lola: REM DEA TR: t = t555
lola: REM DEA TR: t = t1037
lola: REM DEA TR: t = t1087
lola: REM DEA TR: t = t934
lola: REM DEA TR: t = t1617
lola: REM DEA TR: t = t1621
lola: REM DEA TR: t = t1623
lola: REM DEA TR: t = t1767
lola: REM DEA TR: t = t1771
lola: REM DEA TR: t = t1773
lola: REM DEA TR: t = t180
lola: REM DEA TR: t = t182
lola: REM DEA TR: t = t184
lola: REM DEA TR: t = t2033
lola: REM DEA TR: t = t420
lola: REM DEA TR: t = t422
lola: REM DEA TR: t = t424
lola: REM DEA TR: t = t2113
lola: REM DEA TR: t = t2153
lola: REM DEA TR: t = t540
lola: REM DEA TR: t = t542
lola: REM DEA TR: t = t544
lola: REM DEA TR: t = t1034
lola: REM DEA TR: t = t1084
lola: REM DEA TR: t = t941
lola: REM DEA TR: t = t991
lola: REM DEA TR: t = t1806
lola: REM DEA TR: t = t1808
lola: REM DEA TR: t = t1812
lola: REM DEA TR: t = t197
lola: REM DEA TR: t = t199
lola: REM DEA TR: t = t201
lola: REM DEA TR: t = t317
lola: REM DEA TR: t = t319
lola: REM DEA TR: t = t321
lola: REM DEA TR: t = t2038
lola: REM DEA TR: t = t2078
lola: REM DEA TR: t = t2158
lola: REM DEA TR: t = t557
lola: REM DEA TR: t = t559
lola: REM DEA TR: t = t561
lola: REM DEA TR: t = t1091
lola: REM DEA TR: t = t711
lola: REM DEA TR: t = t791
lola: REM DEA TR: t = t818
lola: REM DEA TR: t = t828
lola: REM DEA TR: t = t946
lola: REM DEA TR: t = t996
lola: REM DEA TR: t = t1827
lola: REM DEA TR: t = t1829
lola: REM DEA TR: t = t1833
lola: REM DEA TR: t = t210
lola: REM DEA TR: t = t212
lola: REM DEA TR: t = t214
lola: REM DEA TR: t = t330
lola: REM DEA TR: t = t332
lola: REM DEA TR: t = t334
lola: REM DEA TR: t = t2043
lola: REM DEA TR: t = t2083
lola: REM DEA TR: t = t2163
lola: REM DEA TR: t = t570
lola: REM DEA TR: t = t572
lola: REM DEA TR: t = t574
lola: REM DEA TR: t = t1096
lola: REM DEA TR: t = t949
lola: REM DEA TR: t = t999
lola: REM DEA TR: t = t677
lola: REM DEA TR: t = t1049
lola: REM DEA TR: t = t717
lola: REM DEA TR: t = t757
lola: REM DEA TR: t = t814
lola: REM DEA TR: t = t819
lola: REM DEA TR: t = t824
lola: REM DEA TR: t = t958
lola: REM DEA TR: t = t240
lola: REM DEA TR: t = t242
lola: REM DEA TR: t = t244
lola: REM DEA TR: t = t360
lola: REM DEA TR: t = t362
lola: REM DEA TR: t = t364
lola: REM DEA TR: t = t2053
lola: REM DEA TR: t = t2093
lola: REM DEA TR: t = t480
lola: REM DEA TR: t = t482
lola: REM DEA TR: t = t484
lola: REM DEA TR: t = t2133
lola: REM DEA TR: t = t1008
lola: REM DEA TR: t = t1058
lola: REM DEA TR: t = t709
lola: REM DEA TR: t = t710
lola: REM DEA TR: t = t713
lola: REM DEA TR: t = t715
lola: REM DEA TR: t = t789
lola: REM DEA TR: t = t790
lola: REM DEA TR: t = t793
lola: REM DEA TR: t = t795
lola: REM DEA TR: t = t221
lola: REM DEA TR: t = t235
lola: REM DEA TR: t = t241
lola: REM DEA TR: t = t2048
lola: REM DEA TR: t = t223
lola: REM DEA TR: t = t229
lola: REM DEA TR: t = t243
lola: REM DEA TR: t = t2050
lola: REM DEA TR: t = t225
lola: REM DEA TR: t = t231
lola: REM DEA TR: t = t237
lola: REM DEA TR: t = t2052
lola: REM DEA TR: t = t678
lola: REM DEA TR: t = t679
lola: REM DEA TR: t = t681
lola: REM DEA TR: t = t683
lola: REM DEA TR: t = t347
lola: REM DEA TR: t = t353
lola: REM DEA TR: t = t359
lola: REM DEA TR: t = t2086
lola: REM DEA TR: t = t343
lola: REM DEA TR: t = t349
lola: REM DEA TR: t = t363
lola: REM DEA TR: t = t2090
lola: REM DEA TR: t = t345
lola: REM DEA TR: t = t351
lola: REM DEA TR: t = t357
lola: REM DEA TR: t = t2092
lola: REM DEA TR: t = t718
lola: REM DEA TR: t = t719
lola: REM DEA TR: t = t721
lola: REM DEA TR: t = t723
lola: REM DEA TR: t = t467
lola: REM DEA TR: t = t473
lola: REM DEA TR: t = t479
lola: REM DEA TR: t = t2126
lola: REM DEA TR: t = t758
lola: REM DEA TR: t = t759
lola: REM DEA TR: t = t761
lola: REM DEA TR: t = t763
lola: REM DEA TR: t = t2062
lola: REM DEA TR: t = t271
lola: REM DEA TR: t = t273
lola: REM DEA TR: t = t2102
lola: REM DEA TR: t = t2032
lola: REM DEA TR: t = t181
lola: REM DEA TR: t = t183
lola: REM DEA TR: t = t419
lola: REM DEA TR: t = t211
lola: REM DEA TR: t = t217
lola: REM DEA TR: t = t2040
lola: REM DEA TR: t = t205
lola: REM DEA TR: t = t219
lola: REM DEA TR: t = t2042
lola: REM DEA TR: t = t207
lola: REM DEA TR: t = t213
lola: REM DEA TR: t = t2044
lola: REM DEA TR: t = t323
lola: REM DEA TR: t = t329
lola: REM DEA TR: t = t335
lola: REM DEA TR: t = t325
lola: REM DEA TR: t = t339
lola: REM DEA TR: t = t2082
lola: REM DEA TR: t = t327
lola: REM DEA TR: t = t333
lola: REM DEA TR: t = t2084
lola: REM DEA TR: t = t971
lola: REM DEA TR: t = t1458
lola: REM DEA TR: t = t1460
lola: REM DEA TR: t = t1462
lola: REM DEA TR: t = t1558
lola: REM DEA TR: t = t1560
lola: REM DEA TR: t = t1562
lola: REM DEA TR: t = t1708
lola: REM DEA TR: t = t1710
lola: REM DEA TR: t = t1712
lola: REM DEA TR: t = t269
lola: REM DEA TR: t = t389
lola: REM DEA TR: t = t391
lola: REM DEA TR: t = t393
lola: REM DEA TR: t = t2142
lola: REM DEA TR: t = t509
lola: REM DEA TR: t = t511
lola: REM DEA TR: t = t513
lola: REM DEA TR: t = t1021
lola: REM DEA TR: t = t1071
lola: REM DEA TR: t = t933
lola: REM DEA TR: t = t1616
lola: REM DEA TR: t = t1620
lola: REM DEA TR: t = t1622
lola: REM DEA TR: t = t1766
lola: REM DEA TR: t = t1770
lola: REM DEA TR: t = t1772
lola: REM DEA TR: t = t179
lola: REM DEA TR: t = t421
lola: REM DEA TR: t = t423
lola: REM DEA TR: t = t2112
lola: REM DEA TR: t = t2152
lola: REM DEA TR: t = t539
lola: REM DEA TR: t = t541
lola: REM DEA TR: t = t543
lola: REM DEA TR: t = t1033
lola: REM DEA TR: t = t1083
lola: REM DEA TR: t = t943
lola: REM DEA TR: t = t993
lola: REM DEA TR: t = t1816
lola: REM DEA TR: t = t1818
lola: REM DEA TR: t = t1822
lola: REM DEA TR: t = t203
lola: REM DEA TR: t = t2080
lola: REM DEA TR: t = t2160
lola: REM DEA TR: t = t563
lola: REM DEA TR: t = t565
lola: REM DEA TR: t = t567
lola: REM DEA TR: t = t1093
lola: REM DEA TR: t = t945
lola: REM DEA TR: t = t995
lola: REM DEA TR: t = t1826
lola: REM DEA TR: t = t1828
lola: REM DEA TR: t = t1832
lola: REM DEA TR: t = t209
lola: REM DEA TR: t = t331
lola: REM DEA TR: t = t2162
lola: REM DEA TR: t = t569
lola: REM DEA TR: t = t571
lola: REM DEA TR: t = t573
lola: REM DEA TR: t = t1095
lola: REM DEA TR: t = t947
lola: REM DEA TR: t = t997
lola: REM DEA TR: t = t1836
lola: REM DEA TR: t = t1838
lola: REM DEA TR: t = t1842
lola: REM DEA TR: t = t215
lola: REM DEA TR: t = t337
lola: REM DEA TR: t = t2164
lola: REM DEA TR: t = t575
lola: REM DEA TR: t = t577
lola: REM DEA TR: t = t579
lola: REM DEA TR: t = t1097
lola: REM DEA TR: t = t951
lola: REM DEA TR: t = t341
lola: REM DEA TR: t = t2046
lola: REM DEA TR: t = t461
lola: REM DEA TR: t = t463
lola: REM DEA TR: t = t465
lola: REM DEA TR: t = t1001
lola: REM DEA TR: t = t1051
lola: REM DEA TR: t = t953
lola: REM DEA TR: t = t227
lola: REM DEA TR: t = t2088
lola: REM DEA TR: t = t469
lola: REM DEA TR: t = t471
lola: REM DEA TR: t = t2128
lola: REM DEA TR: t = t1003
lola: REM DEA TR: t = t1053
lola: REM DEA TR: t = t955
lola: REM DEA TR: t = t233
lola: REM DEA TR: t = t355
lola: REM DEA TR: t = t475
lola: REM DEA TR: t = t477
lola: REM DEA TR: t = t2130
lola: REM DEA TR: t = t1005
lola: REM DEA TR: t = t1055
lola: REM DEA TR: t = t957
lola: REM DEA TR: t = t239
lola: REM DEA TR: t = t361
lola: REM DEA TR: t = t481
lola: REM DEA TR: t = t483
lola: REM DEA TR: t = t2132
lola: REM DEA TR: t = t1007
lola: REM DEA TR: t = t1057
lola: A deadlock is reachable.
lola: A deadlock is reachable.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="NeoElection-COL-4"
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 NeoElection-COL-4, 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 r144-tall-162089134500081"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/NeoElection-COL-4.tgz
mv NeoElection-COL-4 execution
cd execution
if [ "ReachabilityDeadlock" = "ReachabilityDeadlock" ] || [ "ReachabilityDeadlock" = "UpperBounds" ] || [ "ReachabilityDeadlock" = "QuasiLiveness" ] || [ "ReachabilityDeadlock" = "StableMarking" ] || [ "ReachabilityDeadlock" = "Liveness" ] || [ "ReachabilityDeadlock" = "OneSafe" ] || [ "ReachabilityDeadlock" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityDeadlock" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityDeadlock" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityDeadlock.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityDeadlock.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityDeadlock.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityDeadlock" = "ReachabilityDeadlock" ] || [ "ReachabilityDeadlock" = "QuasiLiveness" ] || [ "ReachabilityDeadlock" = "StableMarking" ] || [ "ReachabilityDeadlock" = "Liveness" ] || [ "ReachabilityDeadlock" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityDeadlock"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;