fond

jQuery Multi Level CSS Menu Css3Menu.com

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

About the Execution of LoLA for NeoElection-PT-4

Execution Summary
Max Memory
Used (MB)		 Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
75.976 121.00 50.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-162089134500116.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-PT-4, examination is ReachabilityDeadlock
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r144-tall-162089134500116
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 17M
-rw-r--r-- 1 mcc users 1.9M May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 5.8M May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 1.3M May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 4.3M 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 90K Apr 26 07:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 219K Apr 26 07:42 LTLCardinality.xml
-rw-r--r-- 1 mcc users 54K Apr 26 07:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 155K Apr 26 07:42 LTLFireability.xml
-rw-r--r-- 1 mcc users 92K Mar 27 06:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 225K Mar 27 06:18 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 64K Mar 25 07:32 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 181K Mar 25 07:32 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.9K Mar 22 09:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 7.7K Mar 22 09:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 2 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 2.1M 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 1620942392898

starting LoLA
BK_INPUT NeoElection-PT-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 1620942393019

--------------------
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 = T-startNeg__send_21
lola: REM DEA TR: t = T-startNeg__send_26
lola: REM DEA TR: t = T-startNeg__send_31
lola: REM DEA TR: t = T-poll__handleAnsP4_233
lola: REM DEA TR: t = T-poll__handleAnsP4_234
lola: REM DEA TR: t = T-poll__handleAnsP4_235
lola: REM DEA TR: t = T-poll__handleAnsP4_236
lola: REM DEA TR: t = T-poll__handleAnsP4_237
lola: REM DEA TR: t = T-poll__handleAnsP4_238
lola: REM DEA TR: t = T-poll__handleAnsP4_239
lola: REM DEA TR: t = T-poll__handleAnsP4_240
lola: REM DEA TR: t = T-poll__handleRP_6
lola: REM DEA TR: t = T-poll__handleAnsP4_73
lola: REM DEA TR: t = T-poll__handleAnsP4_74
lola: REM DEA TR: t = T-poll__handleAnsP4_75
lola: REM DEA TR: t = T-poll__handleAnsP4_76
lola: REM DEA TR: t = T-poll__handleAnsP4_77
lola: REM DEA TR: t = T-poll__handleAnsP4_78
lola: REM DEA TR: t = T-poll__handleAnsP4_79
lola: REM DEA TR: t = T-poll__handleAnsP4_80
lola: REM DEA TR: t = T-poll__handleAnsP3_1027
lola: REM DEA TR: t = T-poll__handleAnsP3_1037
lola: REM DEA TR: t = T-poll__handleAnsP3_1047
lola: REM DEA TR: t = T-poll__handleAnsP3_1077
lola: REM DEA TR: t = T-poll__handleAnsP3_1087
lola: REM DEA TR: t = T-poll__handleAnsP3_1097
lola: REM DEA TR: t = T-poll__handleAskP_231
lola: REM DEA TR: t = T-poll__handleAskP_232
lola: REM DEA TR: t = T-poll__handleAskP_233
lola: REM DEA TR: t = T-poll__handleAskP_234
lola: REM DEA TR: t = T-poll__handleAskP_235
lola: REM DEA TR: t = T-poll__handleAnsP3_1127
lola: REM DEA TR: t = T-poll__handleAnsP3_1137
lola: REM DEA TR: t = T-poll__handleAnsP3_1147
lola: REM DEA TR: t = T-poll__handleAnsP3_1177
lola: REM DEA TR: t = T-poll__handleAnsP3_1187
lola: REM DEA TR: t = T-poll__handleAnsP3_1197
lola: REM DEA TR: t = T-poll__handleAnsP3_1227
lola: REM DEA TR: t = T-poll__handleAnsP3_1237
lola: REM DEA TR: t = T-poll__handleAnsP3_1247
lola: REM DEA TR: t = T-poll__handleAnnP1_207
lola: REM DEA TR: t = T-poll__handleAnnP1_217
lola: REM DEA TR: t = T-poll__handleAnnP1_227
lola: REM DEA TR: t = T-poll__handleAnnP1_237
lola: REM DEA TR: t = T-poll__handleAnnP1_247
lola: REM DEA TR: t = T-poll__handleAnsP2_204
lola: REM DEA TR: t = T-poll__handleAnsP2_214
lola: REM DEA TR: t = T-poll__handleAnsP2_224
lola: REM DEA TR: t = T-poll__handleAnsP2_234
lola: REM DEA TR: t = T-poll__handleAnsP2_244
lola: REM DEA TR: t = T-poll__handleAnsP3_1018
lola: REM DEA TR: t = T-poll__handleAnsP3_1038
lola: REM DEA TR: t = T-poll__handleAnsP3_1048
lola: REM DEA TR: t = T-poll__handleAnsP3_1068
lola: REM DEA TR: t = T-poll__handleAnsP3_1088
lola: REM DEA TR: t = T-poll__handleAnsP3_1098
lola: REM DEA TR: t = T-poll__handleAskP_236
lola: REM DEA TR: t = T-poll__handleAskP_237
lola: REM DEA TR: t = T-poll__handleAskP_238
lola: REM DEA TR: t = T-poll__handleAskP_239
lola: REM DEA TR: t = T-poll__handleAskP_240
lola: REM DEA TR: t = T-poll__handleAnsP3_1118
lola: REM DEA TR: t = T-poll__handleAnsP3_1138
lola: REM DEA TR: t = T-poll__handleAnsP3_1148
lola: REM DEA TR: t = T-poll__handleAnsP3_1168
lola: REM DEA TR: t = T-poll__handleAnsP3_1188
lola: REM DEA TR: t = T-poll__handleAnsP3_1198
lola: REM DEA TR: t = T-poll__handleAnsP3_1218
lola: REM DEA TR: t = T-poll__handleAnsP3_1238
lola: REM DEA TR: t = T-poll__handleAnsP3_1248
lola: REM DEA TR: t = T-poll__handleAnnP1_208
lola: REM DEA TR: t = T-poll__handleAnnP1_218
lola: REM DEA TR: t = T-poll__handleAnnP1_228
lola: REM DEA TR: t = T-poll__handleAnnP1_238
lola: REM DEA TR: t = T-poll__handleAnnP1_248
lola: REM DEA TR: t = T-poll__handleAnsP2_206
lola: REM DEA TR: t = T-poll__handleAnsP2_216
lola: REM DEA TR: t = T-poll__handleAnsP2_226
lola: REM DEA TR: t = T-poll__handleAnsP2_236
lola: REM DEA TR: t = T-poll__handleAnsP2_246
lola: REM DEA TR: t = T-poll__handleAnsP3_1019
lola: REM DEA TR: t = T-poll__handleAnsP3_1029
lola: REM DEA TR: t = T-poll__handleAnsP3_1049
lola: REM DEA TR: t = T-poll__handleAnsP3_1069
lola: REM DEA TR: t = T-poll__handleAnsP3_1079
lola: REM DEA TR: t = T-poll__handleAnsP3_1099
lola: REM DEA TR: t = T-poll__handleAskP_241
lola: REM DEA TR: t = T-poll__handleAskP_242
lola: REM DEA TR: t = T-poll__handleAskP_243
lola: REM DEA TR: t = T-poll__handleAskP_244
lola: REM DEA TR: t = T-poll__handleAskP_245
lola: REM DEA TR: t = T-poll__handleAnsP3_1119
lola: REM DEA TR: t = T-poll__handleAnsP3_1129
lola: REM DEA TR: t = T-poll__handleAnsP3_1149
lola: REM DEA TR: t = T-poll__handleAnsP3_1169
lola: REM DEA TR: t = T-poll__handleAnsP3_1179
lola: REM DEA TR: t = T-poll__handleAnsP3_1199
lola: REM DEA TR: t = T-poll__handleAnsP3_1219
lola: REM DEA TR: t = T-poll__handleAnsP3_1229
lola: REM DEA TR: t = T-poll__handleAnsP3_1249
lola: REM DEA TR: t = T-poll__handleAnnP1_209
lola: REM DEA TR: t = T-poll__handleAnnP1_219
lola: REM DEA TR: t = T-poll__handleAnnP1_229
lola: REM DEA TR: t = T-poll__handleAnnP1_239
lola: REM DEA TR: t = T-poll__handleAnnP1_249
lola: REM DEA TR: t = T-poll__handleAnsP2_208
lola: REM DEA TR: t = T-poll__handleAnsP2_218
lola: REM DEA TR: t = T-poll__handleAnsP2_228
lola: REM DEA TR: t = T-poll__handleAnsP2_238
lola: REM DEA TR: t = T-poll__handleAnsP2_248
lola: REM DEA TR: t = T-startNeg__send_3
lola: REM DEA TR: t = T-startNeg__send_8
lola: REM DEA TR: t = T-startNeg__send_13
lola: REM DEA TR: t = T-poll__handleRP_3
lola: REM DEA TR: t = T-startNeg__send_81
lola: REM DEA TR: t = T-startNeg__send_86
lola: REM DEA TR: t = T-startNeg__send_91
lola: REM DEA TR: t = T-startNeg__send_1
lola: REM DEA TR: t = T-sendAnnPs__send_1
lola: REM DEA TR: t = T-startNeg__send_2
lola: REM DEA TR: t = T-sendAnnPs__send_2
lola: REM DEA TR: t = T-sendAnnPs__send_3
lola: REM DEA TR: t = T-startNeg__send_4
lola: REM DEA TR: t = T-sendAnnPs__send_4
lola: REM DEA TR: t = T-startNeg__send_5
lola: REM DEA TR: t = T-sendAnnPs__send_5
lola: REM DEA TR: t = T-poll__handleRP_12
lola: REM DEA TR: t = T-poll__handleRP_21
lola: REM DEA TR: t = T-poll__handleAnsP4_113
lola: REM DEA TR: t = T-poll__handleAnsP4_114
lola: REM DEA TR: t = T-poll__handleAnsP4_115
lola: REM DEA TR: t = T-poll__handleAnsP4_116
lola: REM DEA TR: t = T-poll__handleAnsP4_117
lola: REM DEA TR: t = T-poll__handleAnsP4_118
lola: REM DEA TR: t = T-poll__handleAnsP4_119
lola: REM DEA TR: t = T-poll__handleAnsP4_120
lola: REM DEA TR: t = T-startNeg__send_6
lola: REM DEA TR: t = T-sendAnnPs__send_6
lola: REM DEA TR: t = T-startNeg__send_7
lola: REM DEA TR: t = T-sendAnnPs__send_7
lola: REM DEA TR: t = T-sendAnnPs__send_8
lola: REM DEA TR: t = T-startNeg__send_9
lola: REM DEA TR: t = T-sendAnnPs__send_9
lola: REM DEA TR: t = T-startNeg__send_10
lola: REM DEA TR: t = T-sendAnnPs__send_10
lola: REM DEA TR: t = T-poll__handleRP_9
lola: REM DEA TR: t = T-poll__iAmSecondary_1
lola: REM DEA TR: t = T-poll__iAmSecondary_2
lola: REM DEA TR: t = T-poll__iAmSecondary_3
lola: REM DEA TR: t = T-poll__iAmSecondary_4
lola: REM DEA TR: t = T-poll__iAmSecondary_5
lola: REM DEA TR: t = T-poll__iAmPrimary_1
lola: REM DEA TR: t = T-poll__iAmSecondary_6
lola: REM DEA TR: t = T-poll__iAmSecondary_7
lola: REM DEA TR: t = T-poll__iAmSecondary_8
lola: REM DEA TR: t = T-poll__iAmSecondary_9
lola: REM DEA TR: t = T-poll__iAmPrimary_2
lola: REM DEA TR: t = T-poll__iAmSecondary_10
lola: REM DEA TR: t = T-poll__iAmPrimary_3
lola: REM DEA TR: t = T-poll__iAmSecondary_11
lola: REM DEA TR: t = T-poll__iAmSecondary_12
lola: REM DEA TR: t = T-poll__iAmSecondary_13
lola: REM DEA TR: t = T-poll__iAmSecondary_14
lola: REM DEA TR: t = T-poll__iAmSecondary_15
lola: REM DEA TR: t = T-poll__iAmPrimary_4
lola: REM DEA TR: t = T-poll__iAmSecondary_16
lola: REM DEA TR: t = T-poll__iAmSecondary_17
lola: REM DEA TR: t = T-poll__iAmSecondary_18
lola: REM DEA TR: t = T-poll__iAmSecondary_19
lola: REM DEA TR: t = T-poll__iAmSecondary_20
lola: REM DEA TR: t = T-poll__iAmPrimary_5
lola: REM DEA TR: t = T-poll__iAmSecondary_21
lola: REM DEA TR: t = T-poll__iAmSecondary_22
lola: REM DEA TR: t = T-poll__iAmSecondary_23
lola: REM DEA TR: t = T-poll__iAmSecondary_24
lola: REM DEA TR: t = T-poll__iAmSecondary_25
lola: REM DEA TR: t = T-poll__handleRP_18
lola: REM DEA TR: t = T-poll__handleAnsP4_153
lola: REM DEA TR: t = T-poll__handleAnsP4_154
lola: REM DEA TR: t = T-poll__handleAnsP4_155
lola: REM DEA TR: t = T-poll__handleAnsP4_156
lola: REM DEA TR: t = T-poll__handleAnsP4_157
lola: REM DEA TR: t = T-poll__handleAnsP4_158
lola: REM DEA TR: t = T-poll__handleAnsP4_159
lola: REM DEA TR: t = T-poll__handleAnsP4_160
lola: REM DEA TR: t = T-poll__handleAskP_12
lola: REM DEA TR: t = T-poll__handleAskP_17
lola: REM DEA TR: t = T-poll__handleAskP_22
lola: REM DEA TR: t = T-poll__handleAskP_27
lola: REM DEA TR: t = T-poll__handleAskP_32
lola: REM DEA TR: t = T-poll__handleAskP_37
lola: REM DEA TR: t = T-poll__handleAskP_42
lola: REM DEA TR: t = T-poll__handleAskP_47
lola: REM DEA TR: t = T-poll__handleAskP_2
lola: REM DEA TR: t = T-poll__handleAskP_7
lola: REM DEA TR: t = T-poll__handleAnsP4_143
lola: REM DEA TR: t = T-poll__handleAnsP4_144
lola: REM DEA TR: t = T-poll__handleAnsP4_145
lola: REM DEA TR: t = T-poll__handleAnsP4_146
lola: REM DEA TR: t = T-poll__handleAnsP4_147
lola: REM DEA TR: t = T-poll__handleAnsP4_148
lola: REM DEA TR: t = T-poll__handleAnsP4_149
lola: REM DEA TR: t = T-poll__handleAnsP4_150
lola: REM DEA TR: t = T-startNeg__send_61
lola: REM DEA TR: t = T-sendAnnPs__send_61
lola: REM DEA TR: t = T-startNeg__send_63
lola: REM DEA TR: t = T-sendAnnPs__send_63
lola: REM DEA TR: t = T-startNeg__send_64
lola: REM DEA TR: t = T-sendAnnPs__send_64
lola: REM DEA TR: t = T-startNeg__send_65
lola: REM DEA TR: t = T-sendAnnPs__send_65
lola: REM DEA TR: t = T-startNeg__send_11
lola: REM DEA TR: t = T-sendAnnPs__send_11
lola: REM DEA TR: t = T-startNeg__send_12
lola: REM DEA TR: t = T-sendAnnPs__send_12
lola: REM DEA TR: t = T-sendAnnPs__send_13
lola: REM DEA TR: t = T-startNeg__send_14
lola: REM DEA TR: t = T-sendAnnPs__send_14
lola: REM DEA TR: t = T-startNeg__send_15
lola: REM DEA TR: t = T-sendAnnPs__send_15
lola: REM DEA TR: t = T-poll__handleRP_15
lola: REM DEA TR: t = T-poll__handleRP_24
lola: REM DEA TR: t = T-poll__handleAskP_51
lola: REM DEA TR: t = T-poll__handleAskP_56
lola: REM DEA TR: t = T-poll__handleAskP_61
lola: REM DEA TR: t = T-poll__handleAskP_66
lola: REM DEA TR: t = T-poll__handleAskP_71
lola: REM DEA TR: t = T-poll__handleAskP_76
lola: REM DEA TR: t = T-poll__handleAskP_81
lola: REM DEA TR: t = T-poll__handleAskP_86
lola: REM DEA TR: t = T-poll__handleAskP_91
lola: REM DEA TR: t = T-poll__handleAskP_96
lola: REM DEA TR: t = T-poll__handleAnsP4_183
lola: REM DEA TR: t = T-poll__handleAnsP4_184
lola: REM DEA TR: t = T-poll__handleAnsP4_185
lola: REM DEA TR: t = T-poll__handleAnsP4_186
lola: REM DEA TR: t = T-poll__handleAnsP4_187
lola: REM DEA TR: t = T-poll__handleAnsP4_188
lola: REM DEA TR: t = T-poll__handleAnsP4_189
lola: REM DEA TR: t = T-poll__handleAnsP4_190
lola: REM DEA TR: t = T-startNeg__send_66
lola: REM DEA TR: t = T-sendAnnPs__send_66
lola: REM DEA TR: t = T-startNeg__send_67
lola: REM DEA TR: t = T-sendAnnPs__send_67
lola: REM DEA TR: t = T-startNeg__send_69
lola: REM DEA TR: t = T-sendAnnPs__send_69
lola: REM DEA TR: t = T-startNeg__send_70
lola: REM DEA TR: t = T-sendAnnPs__send_70
lola: REM DEA TR: t = T-poll__handleAskP_10
lola: REM DEA TR: t = T-poll__handleAskP_15
lola: REM DEA TR: t = T-poll__handleAskP_20
lola: REM DEA TR: t = T-poll__handleAskP_25
lola: REM DEA TR: t = T-poll__handleAskP_30
lola: REM DEA TR: t = T-poll__handleAskP_35
lola: REM DEA TR: t = T-poll__handleAskP_40
lola: REM DEA TR: t = T-poll__handleAskP_45
lola: REM DEA TR: t = T-poll__handleAskP_5
lola: REM DEA TR: t = T-poll__handleAskP_50
lola: REM DEA TR: t = T-poll__handleAnsP4_23
lola: REM DEA TR: t = T-poll__handleAnsP4_24
lola: REM DEA TR: t = T-poll__handleAnsP4_25
lola: REM DEA TR: t = T-poll__handleAnsP4_26
lola: REM DEA TR: t = T-poll__handleAnsP4_27
lola: REM DEA TR: t = T-poll__handleAnsP4_28
lola: REM DEA TR: t = T-poll__handleAnsP4_29
lola: REM DEA TR: t = T-poll__handleAnsP4_30
lola: REM DEA TR: t = T-poll__handleAnnP1_107
lola: REM DEA TR: t = T-poll__handleAnnP1_117
lola: REM DEA TR: t = T-poll__handleAnnP1_127
lola: REM DEA TR: t = T-poll__handleAnnP1_137
lola: REM DEA TR: t = T-poll__handleAnnP1_147
lola: REM DEA TR: t = T-poll__handleAnsP2_104
lola: REM DEA TR: t = T-poll__handleAnsP2_114
lola: REM DEA TR: t = T-poll__handleAnsP2_124
lola: REM DEA TR: t = T-poll__handleAnsP2_134
lola: REM DEA TR: t = T-poll__handleAnsP2_144
lola: REM DEA TR: t = T-poll__handleAnsP3_527
lola: REM DEA TR: t = T-poll__handleAnsP3_537
lola: REM DEA TR: t = T-poll__handleAnsP3_547
lola: REM DEA TR: t = T-poll__handleAnsP3_577
lola: REM DEA TR: t = T-poll__handleAnsP3_587
lola: REM DEA TR: t = T-poll__handleAnsP3_597
lola: REM DEA TR: t = T-poll__handleAI2_537
lola: REM DEA TR: t = T-poll__handleAI2_547
lola: REM DEA TR: t = T-poll__handleAI2_587
lola: REM DEA TR: t = T-poll__handleAI2_597
lola: REM DEA TR: t = T-poll__handleAnsP3_627
lola: REM DEA TR: t = T-poll__handleAnsP3_637
lola: REM DEA TR: t = T-poll__handleAnsP3_647
lola: REM DEA TR: t = T-poll__handleAnsP3_677
lola: REM DEA TR: t = T-poll__handleAnsP3_687
lola: REM DEA TR: t = T-poll__handleAnsP3_697
lola: REM DEA TR: t = T-poll__handleAI2_637
lola: REM DEA TR: t = T-poll__handleAI2_647
lola: REM DEA TR: t = T-poll__handleAI2_687
lola: REM DEA TR: t = T-poll__handleAI2_697
lola: REM DEA TR: t = T-poll__handleAnsP3_727
lola: REM DEA TR: t = T-poll__handleAnsP3_737
lola: REM DEA TR: t = T-poll__handleAnsP3_747
lola: REM DEA TR: t = T-poll__handleAI2_737
lola: REM DEA TR: t = T-poll__handleAI2_747
lola: REM DEA TR: t = T-poll__handleAskP_131
lola: REM DEA TR: t = T-poll__handleAskP_132
lola: REM DEA TR: t = T-poll__handleAskP_133
lola: REM DEA TR: t = T-poll__handleAskP_134
lola: REM DEA TR: t = T-poll__handleAskP_135
lola: REM DEA TR: t = T-poll__handleAnsP2_106
lola: REM DEA TR: t = T-poll__handleAnsP2_116
lola: REM DEA TR: t = T-poll__handleAnsP2_126
lola: REM DEA TR: t = T-poll__handleAnsP2_136
lola: REM DEA TR: t = T-poll__handleAnsP2_146
lola: REM DEA TR: t = T-poll__handleAnnP2_11
lola: REM DEA TR: t = T-poll__handleAnnP2_12
lola: REM DEA TR: t = T-poll__handleAnnP2_13
lola: REM DEA TR: t = T-poll__handleAnnP2_14
lola: REM DEA TR: t = T-poll__handleAnnP2_15
lola: REM DEA TR: t = T-poll__handleAnsP3_518
lola: REM DEA TR: t = T-poll__handleAnsP3_538
lola: REM DEA TR: t = T-poll__handleAnsP3_548
lola: REM DEA TR: t = T-poll__handleAnsP3_568
lola: REM DEA TR: t = T-poll__handleAnsP3_588
lola: REM DEA TR: t = T-poll__handleAnsP3_598
lola: REM DEA TR: t = T-poll__handleAI2_538
lola: REM DEA TR: t = T-poll__handleAI2_548
lola: REM DEA TR: t = T-poll__handleAI2_588
lola: REM DEA TR: t = T-poll__handleAI2_598
lola: REM DEA TR: t = T-poll__handleAnsP3_618
lola: REM DEA TR: t = T-poll__handleAnsP3_638
lola: REM DEA TR: t = T-poll__handleAnsP3_648
lola: REM DEA TR: t = T-poll__handleAnsP3_668
lola: REM DEA TR: t = T-poll__handleAnsP3_688
lola: REM DEA TR: t = T-poll__handleAnsP3_698
lola: REM DEA TR: t = T-poll__handleAI2_638
lola: REM DEA TR: t = T-poll__handleAI2_648
lola: REM DEA TR: t = T-poll__handleAI2_688
lola: REM DEA TR: t = T-poll__handleAI2_698
lola: REM DEA TR: t = T-poll__handleAnsP3_718
lola: REM DEA TR: t = T-poll__handleAnsP3_738
lola: REM DEA TR: t = T-poll__handleAnsP3_748
lola: REM DEA TR: t = T-poll__handleAI2_738
lola: REM DEA TR: t = T-poll__handleAI2_748
lola: REM DEA TR: t = T-poll__handleAskP_136
lola: REM DEA TR: t = T-poll__handleAskP_137
lola: REM DEA TR: t = T-poll__handleAskP_138
lola: REM DEA TR: t = T-poll__handleAskP_139
lola: REM DEA TR: t = T-poll__handleAskP_140
lola: REM DEA TR: t = T-poll__handleAnnP1_109
lola: REM DEA TR: t = T-poll__handleAnnP1_119
lola: REM DEA TR: t = T-poll__handleAnnP1_129
lola: REM DEA TR: t = T-poll__handleAnnP1_139
lola: REM DEA TR: t = T-poll__handleAnnP1_149
lola: REM DEA TR: t = T-poll__handleAnsP2_108
lola: REM DEA TR: t = T-poll__handleAnsP2_118
lola: REM DEA TR: t = T-poll__handleAnsP2_128
lola: REM DEA TR: t = T-poll__handleAnsP2_138
lola: REM DEA TR: t = T-poll__handleAnsP2_148
lola: REM DEA TR: t = T-poll__handleAnsP3_519
lola: REM DEA TR: t = T-poll__handleAnsP3_529
lola: REM DEA TR: t = T-poll__handleAnsP3_549
lola: REM DEA TR: t = T-poll__handleAnsP3_569
lola: REM DEA TR: t = T-poll__handleAnsP3_579
lola: REM DEA TR: t = T-poll__handleAnsP3_599
lola: REM DEA TR: t = T-poll__handleAI2_539
lola: REM DEA TR: t = T-poll__handleAI2_549
lola: REM DEA TR: t = T-poll__handleAI2_589
lola: REM DEA TR: t = T-poll__handleAI2_599
lola: REM DEA TR: t = T-poll__handleAnsP3_619
lola: REM DEA TR: t = T-poll__handleAnsP3_629
lola: REM DEA TR: t = T-poll__handleAnsP3_649
lola: REM DEA TR: t = T-poll__handleAnsP3_669
lola: REM DEA TR: t = T-poll__handleAnsP3_679
lola: REM DEA TR: t = T-poll__handleAnsP3_699
lola: REM DEA TR: t = T-poll__handleAI2_639
lola: REM DEA TR: t = T-poll__handleAI2_649
lola: REM DEA TR: t = T-poll__handleAI2_689
lola: REM DEA TR: t = T-poll__handleAI2_699
lola: REM DEA TR: t = T-poll__handleAnsP3_719
lola: REM DEA TR: t = T-poll__handleAnsP3_729
lola: REM DEA TR: t = T-poll__handleAnsP3_749
lola: REM DEA TR: t = T-poll__handleAI2_739
lola: REM DEA TR: t = T-poll__handleAI2_749
lola: REM DEA TR: t = T-poll__handleAskP_141
lola: REM DEA TR: t = T-poll__handleAskP_142
lola: REM DEA TR: t = T-poll__handleAskP_143
lola: REM DEA TR: t = T-poll__handleAskP_144
lola: REM DEA TR: t = T-poll__handleAskP_145
lola: REM DEA TR: t = T-poll__handleAnnP1_110
lola: REM DEA TR: t = T-poll__handleAnnP1_120
lola: REM DEA TR: t = T-poll__handleAnnP1_130
lola: REM DEA TR: t = T-poll__handleAnnP1_140
lola: REM DEA TR: t = T-poll__handleAnnP1_150
lola: REM DEA TR: t = T-poll__handleAnsP2_110
lola: REM DEA TR: t = T-poll__handleAnsP2_120
lola: REM DEA TR: t = T-poll__handleAnsP2_130
lola: REM DEA TR: t = T-poll__handleAnsP2_140
lola: REM DEA TR: t = T-poll__handleAnsP2_150
lola: REM DEA TR: t = T-poll__handleAnsP3_520
lola: REM DEA TR: t = T-poll__handleAnsP3_530
lola: REM DEA TR: t = T-poll__handleAnsP3_540
lola: REM DEA TR: t = T-poll__handleAnsP3_570
lola: REM DEA TR: t = T-poll__handleAnsP3_580
lola: REM DEA TR: t = T-poll__handleAnsP3_590
lola: REM DEA TR: t = T-poll__handleAI2_540
lola: REM DEA TR: t = T-poll__handleAI2_550
lola: REM DEA TR: t = T-poll__handleAI2_590
lola: REM DEA TR: t = T-poll__handleAnsP3_620
lola: REM DEA TR: t = T-poll__handleAnsP3_630
lola: REM DEA TR: t = T-poll__handleAnsP3_640
lola: REM DEA TR: t = T-poll__handleAnsP3_670
lola: REM DEA TR: t = T-poll__handleAnsP3_680
lola: REM DEA TR: t = T-poll__handleAnsP3_690
lola: REM DEA TR: t = T-poll__handleAI2_600
lola: REM DEA TR: t = T-poll__handleAI2_640
lola: REM DEA TR: t = T-poll__handleAI2_650
lola: REM DEA TR: t = T-poll__handleAI2_690
lola: REM DEA TR: t = T-poll__handleAnsP3_720
lola: REM DEA TR: t = T-poll__handleAnsP3_730
lola: REM DEA TR: t = T-poll__handleAnsP3_740
lola: REM DEA TR: t = T-poll__handleAI2_700
lola: REM DEA TR: t = T-poll__handleAI2_740
lola: REM DEA TR: t = T-poll__handleAI2_750
lola: REM DEA TR: t = T-poll__handleAskP_146
lola: REM DEA TR: t = T-poll__handleAskP_147
lola: REM DEA TR: t = T-poll__handleAskP_148
lola: REM DEA TR: t = T-poll__handleAskP_149
lola: REM DEA TR: t = T-poll__handleAskP_150
lola: REM DEA TR: t = T-poll__handleAnsP4_223
lola: REM DEA TR: t = T-poll__handleAnsP4_224
lola: REM DEA TR: t = T-poll__handleAnsP4_225
lola: REM DEA TR: t = T-poll__handleAnsP4_226
lola: REM DEA TR: t = T-poll__handleAnsP4_227
lola: REM DEA TR: t = T-poll__handleAnsP4_228
lola: REM DEA TR: t = T-poll__handleAnsP4_229
lola: REM DEA TR: t = T-poll__handleAnsP4_230
lola: REM DEA TR: t = T-startNeg__send_71
lola: REM DEA TR: t = T-sendAnnPs__send_71
lola: REM DEA TR: t = T-startNeg__send_72
lola: REM DEA TR: t = T-sendAnnPs__send_72
lola: REM DEA TR: t = T-startNeg__send_73
lola: REM DEA TR: t = T-sendAnnPs__send_73
lola: REM DEA TR: t = T-startNeg__send_74
lola: REM DEA TR: t = T-sendAnnPs__send_74
lola: REM DEA TR: t = T-poll__handleRP_1
lola: REM DEA TR: t = T-poll__handleAI1_5
lola: REM DEA TR: t = T-poll__handleAI2_211
lola: REM DEA TR: t = T-poll__handleAI2_212
lola: REM DEA TR: t = T-poll__handleAI2_213
lola: REM DEA TR: t = T-poll__handleAI2_214
lola: REM DEA TR: t = T-poll__handleAI2_215
lola: REM DEA TR: t = T-poll__handleAI2_216
lola: REM DEA TR: t = T-poll__handleAI2_217
lola: REM DEA TR: t = T-poll__handleAI2_218
lola: REM DEA TR: t = T-poll__handleAI2_219
lola: REM DEA TR: t = T-poll__handleAI2_220
lola: REM DEA TR: t = T-poll__handleAI2_221
lola: REM DEA TR: t = T-poll__handleAI2_222
lola: REM DEA TR: t = T-poll__handleAI2_223
lola: REM DEA TR: t = T-poll__handleAI2_224
lola: REM DEA TR: t = T-poll__handleAI2_225
lola: REM DEA TR: t = T-poll__handleAI2_226
lola: REM DEA TR: t = T-poll__handleAI2_227
lola: REM DEA TR: t = T-poll__handleAI2_228
lola: REM DEA TR: t = T-poll__handleAI2_229
lola: REM DEA TR: t = T-poll__handleAI2_230
lola: REM DEA TR: t = T-poll__handleAI2_231
lola: REM DEA TR: t = T-poll__handleAI2_232
lola: REM DEA TR: t = T-poll__handleAI2_233
lola: REM DEA TR: t = T-poll__handleAI2_234
lola: REM DEA TR: t = T-poll__handleAI2_235
lola: REM DEA TR: t = T-poll__handleAI2_236
lola: REM DEA TR: t = T-poll__handleAI2_237
lola: REM DEA TR: t = T-poll__handleAI2_238
lola: REM DEA TR: t = T-poll__handleAI2_239
lola: REM DEA TR: t = T-poll__handleAI2_240
lola: REM DEA TR: t = T-poll__handleAI2_241
lola: REM DEA TR: t = T-poll__handleAI2_242
lola: REM DEA TR: t = T-poll__handleAI2_243
lola: REM DEA TR: t = T-poll__handleAI2_244
lola: REM DEA TR: t = T-poll__handleAI2_245
lola: REM DEA TR: t = T-poll__handleAI2_246
lola: REM DEA TR: t = T-poll__handleAI2_247
lola: REM DEA TR: t = T-poll__handleAI2_248
lola: REM DEA TR: t = T-poll__handleAI2_249
lola: REM DEA TR: t = T-poll__handleAI2_250
lola: REM DEA TR: t = T-poll__handleAnsP4_63
lola: REM DEA TR: t = T-poll__handleAnsP4_64
lola: REM DEA TR: t = T-poll__handleAnsP4_65
lola: REM DEA TR: t = T-poll__handleAnsP4_66
lola: REM DEA TR: t = T-poll__handleAnsP4_67
lola: REM DEA TR: t = T-poll__handleAnsP4_68
lola: REM DEA TR: t = T-poll__handleAnsP4_69
lola: REM DEA TR: t = T-poll__handleAnsP4_70
lola: REM DEA TR: t = T-poll__handleAnnP1_151
lola: REM DEA TR: t = T-poll__handleAnnP1_152
lola: REM DEA TR: t = T-poll__handleAnnP1_153
lola: REM DEA TR: t = T-poll__handleAnnP1_155
lola: REM DEA TR: t = T-poll__handleAnnP1_156
lola: REM DEA TR: t = T-poll__handleAnnP1_157
lola: REM DEA TR: t = T-poll__handleAnnP1_158
lola: REM DEA TR: t = T-poll__handleAnnP1_160
lola: REM DEA TR: t = T-poll__handleAnnP2_16
lola: REM DEA TR: t = T-startNeg__send_22
lola: REM DEA TR: t = T-startNeg__send_27
lola: REM DEA TR: t = T-startNeg__send_32
lola: REM DEA TR: t = T-sendAnnPs__send_21
lola: REM DEA TR: t = T-sendAnnPs__send_22
lola: REM DEA TR: t = T-sendAnnPs__send_23
lola: REM DEA TR: t = T-sendAnnPs__send_24
lola: REM DEA TR: t = T-sendAnnPs__send_25
lola: REM DEA TR: t = T-sendAnnPs__send_26
lola: REM DEA TR: t = T-sendAnnPs__send_27
lola: REM DEA TR: t = T-sendAnnPs__send_28
lola: REM DEA TR: t = T-sendAnnPs__send_29
lola: REM DEA TR: t = T-sendAnnPs__send_30
lola: REM DEA TR: t = T-sendAnnPs__send_31
lola: REM DEA TR: t = T-sendAnnPs__send_32
lola: REM DEA TR: t = T-sendAnnPs__send_33
lola: REM DEA TR: t = T-sendAnnPs__send_34
lola: REM DEA TR: t = T-sendAnnPs__send_35
lola: REM DEA TR: t = T-poll__handleRP_7
lola: REM DEA TR: t = T-poll__handleRP_16
lola: REM DEA TR: t = T-poll__handleAnsP4_103
lola: REM DEA TR: t = T-poll__handleAnsP4_104
lola: REM DEA TR: t = T-poll__handleAnsP4_105
lola: REM DEA TR: t = T-poll__handleAnsP4_106
lola: REM DEA TR: t = T-poll__handleAnsP4_107
lola: REM DEA TR: t = T-poll__handleAnsP4_108
lola: REM DEA TR: t = T-poll__handleAnsP4_109
lola: REM DEA TR: t = T-poll__handleAnsP4_110
lola: REM DEA TR: t = T-poll__handleAnsP4_93
lola: REM DEA TR: t = T-poll__handleAnsP4_94
lola: REM DEA TR: t = T-poll__handleAnsP4_95
lola: REM DEA TR: t = T-poll__handleAnsP4_96
lola: REM DEA TR: t = T-poll__handleAnsP4_97
lola: REM DEA TR: t = T-poll__handleAnsP4_98
lola: REM DEA TR: t = T-poll__handleAnsP4_99
lola: REM DEA TR: t = T-poll__handleAnsP4_100
lola: REM DEA TR: t = T-poll__handleAnnP1_181
lola: REM DEA TR: t = T-poll__handleAnnP1_182
lola: REM DEA TR: t = T-poll__handleAnnP1_183
lola: REM DEA TR: t = T-poll__handleAnnP1_185
lola: REM DEA TR: t = T-poll__handleAnnP1_186
lola: REM DEA TR: t = T-poll__handleAnnP1_187
lola: REM DEA TR: t = T-poll__handleAnnP1_188
lola: REM DEA TR: t = T-poll__handleAnnP1_190
lola: REM DEA TR: t = T-poll__handleAnnP2_19
lola: REM DEA TR: t = T-sendAnnPs__send_41
lola: REM DEA TR: t = T-sendAnnPs__send_42
lola: REM DEA TR: t = T-sendAnnPs__send_43
lola: REM DEA TR: t = T-sendAnnPs__send_44
lola: REM DEA TR: t = T-sendAnnPs__send_45
lola: REM DEA TR: t = T-sendAnnPs__send_46
lola: REM DEA TR: t = T-sendAnnPs__send_47
lola: REM DEA TR: t = T-sendAnnPs__send_48
lola: REM DEA TR: t = T-sendAnnPs__send_49
lola: REM DEA TR: t = T-sendAnnPs__send_50
lola: REM DEA TR: t = T-sendAnnPs__send_51
lola: REM DEA TR: t = T-sendAnnPs__send_52
lola: REM DEA TR: t = T-sendAnnPs__send_53
lola: REM DEA TR: t = T-sendAnnPs__send_54
lola: REM DEA TR: t = T-sendAnnPs__send_55
lola: REM DEA TR: t = T-startNeg__send_43
lola: REM DEA TR: t = T-startNeg__send_48
lola: REM DEA TR: t = T-startNeg__send_53
lola: REM DEA TR: t = T-startNeg__send_24
lola: REM DEA TR: t = T-startNeg__send_25
lola: REM DEA TR: t = T-poll__handleRP_4
lola: REM DEA TR: t = T-poll__handleAI1_26
lola: REM DEA TR: t = T-poll__handleAI1_31
lola: REM DEA TR: t = T-poll__handleAI2_271
lola: REM DEA TR: t = T-poll__handleAI2_272
lola: REM DEA TR: t = T-poll__handleAI2_273
lola: REM DEA TR: t = T-poll__handleAI2_274
lola: REM DEA TR: t = T-poll__handleAI2_275
lola: REM DEA TR: t = T-poll__handleAI2_276
lola: REM DEA TR: t = T-poll__handleAI2_277
lola: REM DEA TR: t = T-poll__handleAI2_278
lola: REM DEA TR: t = T-poll__handleAI2_279
lola: REM DEA TR: t = T-poll__handleAI2_280
lola: REM DEA TR: t = T-poll__handleAI2_281
lola: REM DEA TR: t = T-poll__handleAI2_282
lola: REM DEA TR: t = T-poll__handleAI2_283
lola: REM DEA TR: t = T-poll__handleAI2_284
lola: REM DEA TR: t = T-poll__handleAI2_285
lola: REM DEA TR: t = T-poll__handleAI2_286
lola: REM DEA TR: t = T-poll__handleAI2_287
lola: REM DEA TR: t = T-poll__handleAI2_288
lola: REM DEA TR: t = T-poll__handleAI2_289
lola: REM DEA TR: t = T-poll__handleAI2_290
lola: REM DEA TR: t = T-poll__handleAI2_291
lola: REM DEA TR: t = T-poll__handleAI2_292
lola: REM DEA TR: t = T-poll__handleAI2_293
lola: REM DEA TR: t = T-poll__handleAI2_294
lola: REM DEA TR: t = T-poll__handleAI2_295
lola: REM DEA TR: t = T-poll__handleAI2_296
lola: REM DEA TR: t = T-poll__handleAI2_297
lola: REM DEA TR: t = T-poll__handleAI2_298
lola: REM DEA TR: t = T-poll__handleAI2_299
lola: REM DEA TR: t = T-poll__handleAI2_300
lola: REM DEA TR: t = T-poll__handleAnnP2_3
lola: REM DEA TR: t = T-poll__handleAnnP1_22
lola: REM DEA TR: t = T-poll__handleAnnP1_23
lola: REM DEA TR: t = T-poll__handleAnnP1_24
lola: REM DEA TR: t = T-poll__handleAnnP1_25
lola: REM DEA TR: t = T-poll__handleAnnP1_27
lola: REM DEA TR: t = T-poll__handleAnnP1_28
lola: REM DEA TR: t = T-poll__handleAnnP1_29
lola: REM DEA TR: t = T-poll__handleAnnP1_30
lola: REM DEA TR: t = T-poll__handleRP_13
lola: REM DEA TR: t = T-poll__handleAI1_53
lola: REM DEA TR: t = T-poll__handleAI1_58
lola: REM DEA TR: t = T-poll__handleAI1_63
lola: REM DEA TR: t = T-poll__handleAI2_631
lola: REM DEA TR: t = T-poll__handleAI2_632
lola: REM DEA TR: t = T-poll__handleAI2_633
lola: REM DEA TR: t = T-poll__handleAI2_634
lola: REM DEA TR: t = T-poll__handleAI2_635
lola: REM DEA TR: t = T-poll__handleAI2_636
lola: REM DEA TR: t = T-poll__handleAI2_641
lola: REM DEA TR: t = T-poll__handleAI2_642
lola: REM DEA TR: t = T-poll__handleAI2_643
lola: REM DEA TR: t = T-poll__handleAI2_644
lola: REM DEA TR: t = T-poll__handleAI2_645
lola: REM DEA TR: t = T-poll__handleAI2_646
lola: REM DEA TR: t = T-poll__handleRP_22
lola: REM DEA TR: t = T-poll__handleAskP_11
lola: REM DEA TR: t = T-poll__handleAskP_16
lola: REM DEA TR: t = T-poll__handleAskP_21
lola: REM DEA TR: t = T-poll__handleAskP_26
lola: REM DEA TR: t = T-poll__handleAskP_31
lola: REM DEA TR: t = T-poll__handleAskP_36
lola: REM DEA TR: t = T-poll__handleAskP_41
lola: REM DEA TR: t = T-poll__handleAskP_46
lola: REM DEA TR: t = T-poll__handleAskP_1
lola: REM DEA TR: t = T-poll__handleAskP_6
lola: REM DEA TR: t = T-poll__handleAnsP4_133
lola: REM DEA TR: t = T-poll__handleAnsP4_134
lola: REM DEA TR: t = T-poll__handleAnsP4_135
lola: REM DEA TR: t = T-poll__handleAnsP4_136
lola: REM DEA TR: t = T-poll__handleAnsP4_137
lola: REM DEA TR: t = T-poll__handleAnsP4_138
lola: REM DEA TR: t = T-poll__handleAnsP4_139
lola: REM DEA TR: t = T-poll__handleAnsP4_140
lola: REM DEA TR: t = T-poll__handleAnnP1_221
lola: REM DEA TR: t = T-poll__handleAnnP1_222
lola: REM DEA TR: t = T-poll__handleAnnP1_223
lola: REM DEA TR: t = T-poll__handleAnnP1_224
lola: REM DEA TR: t = T-poll__handleAnnP1_226
lola: REM DEA TR: t = T-poll__handleAnnP2_23
lola: REM DEA TR: t = T-sendAnnPs__send_62
lola: REM DEA TR: t = T-sendAnnPs__send_68
lola: REM DEA TR: t = T-sendAnnPs__send_75
lola: REM DEA TR: t = T-startNeg__send_28
lola: REM DEA TR: t = T-startNeg__send_30
lola: REM DEA TR: t = T-poll__handleAskP_201
lola: REM DEA TR: t = T-poll__handleAskP_206
lola: REM DEA TR: t = T-poll__handleAskP_211
lola: REM DEA TR: t = T-poll__handleAskP_216
lola: REM DEA TR: t = T-poll__handleAskP_221
lola: REM DEA TR: t = T-poll__handleAskP_226
lola: REM DEA TR: t = T-poll__handleAskP_246
lola: REM DEA TR: t = T-poll__handleAI1_4
lola: REM DEA TR: t = T-poll__handleAI2_161
lola: REM DEA TR: t = T-poll__handleAI2_162
lola: REM DEA TR: t = T-poll__handleAI2_163
lola: REM DEA TR: t = T-poll__handleAI2_164
lola: REM DEA TR: t = T-poll__handleAI2_165
lola: REM DEA TR: t = T-poll__handleAI2_166
lola: REM DEA TR: t = T-poll__handleAI2_167
lola: REM DEA TR: t = T-poll__handleAI2_168
lola: REM DEA TR: t = T-poll__handleAI2_169
lola: REM DEA TR: t = T-poll__handleAI2_170
lola: REM DEA TR: t = T-poll__handleAI2_171
lola: REM DEA TR: t = T-poll__handleAI2_172
lola: REM DEA TR: t = T-poll__handleAI2_173
lola: REM DEA TR: t = T-poll__handleAI2_174
lola: REM DEA TR: t = T-poll__handleAI2_175
lola: REM DEA TR: t = T-poll__handleAI2_176
lola: REM DEA TR: t = T-poll__handleAI2_177
lola: REM DEA TR: t = T-poll__handleAI2_178
lola: REM DEA TR: t = T-poll__handleAI2_179
lola: REM DEA TR: t = T-poll__handleAI2_180
lola: REM DEA TR: t = T-poll__handleAI2_181
lola: REM DEA TR: t = T-poll__handleAI2_182
lola: REM DEA TR: t = T-poll__handleAI2_183
lola: REM DEA TR: t = T-poll__handleAI2_184
lola: REM DEA TR: t = T-poll__handleAI2_185
lola: REM DEA TR: t = T-poll__handleAI2_186
lola: REM DEA TR: t = T-poll__handleAI2_187
lola: REM DEA TR: t = T-poll__handleAI2_188
lola: REM DEA TR: t = T-poll__handleAI2_189
lola: REM DEA TR: t = T-poll__handleAI2_190
lola: REM DEA TR: t = T-poll__handleAI2_191
lola: REM DEA TR: t = T-poll__handleAI2_192
lola: REM DEA TR: t = T-poll__handleAI2_193
lola: REM DEA TR: t = T-poll__handleAI2_194
lola: REM DEA TR: t = T-poll__handleAI2_195
lola: REM DEA TR: t = T-poll__handleAI2_196
lola: REM DEA TR: t = T-poll__handleAI2_197
lola: REM DEA TR: t = T-poll__handleAI2_198
lola: REM DEA TR: t = T-poll__handleAI2_199
lola: REM DEA TR: t = T-poll__handleAI2_200
lola: REM DEA TR: t = T-poll__handleAnnP2_7
lola: REM DEA TR: t = T-poll__handleAnnP1_61
lola: REM DEA TR: t = T-poll__handleAnnP1_63
lola: REM DEA TR: t = T-poll__handleAnnP1_64
lola: REM DEA TR: t = T-poll__handleAnnP1_65
lola: REM DEA TR: t = T-poll__handleAnnP1_66
lola: REM DEA TR: t = T-poll__handleAnnP1_68
lola: REM DEA TR: t = T-poll__handleAnnP1_69
lola: REM DEA TR: t = T-poll__handleAnnP1_70
lola: REM DEA TR: t = T-poll__handleRP_10
lola: REM DEA TR: t = T-poll__handleRP_19
lola: REM DEA TR: t = T-poll__handleAnsP4_173
lola: REM DEA TR: t = T-poll__handleAnsP4_174
lola: REM DEA TR: t = T-poll__handleAnsP4_175
lola: REM DEA TR: t = T-poll__handleAnsP4_176
lola: REM DEA TR: t = T-poll__handleAnsP4_177
lola: REM DEA TR: t = T-poll__handleAnsP4_178
lola: REM DEA TR: t = T-poll__handleAnsP4_179
lola: REM DEA TR: t = T-poll__handleAnsP4_180
lola: REM DEA TR: t = T-poll__handleAI2_17
lola: REM DEA TR: t = T-poll__handleAI2_27
lola: REM DEA TR: t = T-poll__handleAI2_37
lola: REM DEA TR: t = T-poll__handleAI2_47
lola: REM DEA TR: t = T-poll__handleAI2_67
lola: REM DEA TR: t = T-poll__handleAI2_77
lola: REM DEA TR: t = T-poll__handleAI2_87
lola: REM DEA TR: t = T-poll__handleAI2_97
lola: REM DEA TR: t = T-poll__handleAskP_33
lola: REM DEA TR: t = T-poll__handleAskP_34
lola: REM DEA TR: t = T-poll__handleAnsP3_27
lola: REM DEA TR: t = T-poll__handleAnsP3_37
lola: REM DEA TR: t = T-poll__handleAnsP3_47
lola: REM DEA TR: t = T-poll__handleAnsP3_77
lola: REM DEA TR: t = T-poll__handleAnsP3_87
lola: REM DEA TR: t = T-poll__handleAnsP3_97
lola: REM DEA TR: t = T-poll__handleAnsP2_14
lola: REM DEA TR: t = T-poll__handleAnsP2_24
lola: REM DEA TR: t = T-poll__handleAnsP2_34
lola: REM DEA TR: t = T-poll__handleAnsP2_44
lola: REM DEA TR: t = T-poll__handleAnsP3_127
lola: REM DEA TR: t = T-poll__handleAnsP3_137
lola: REM DEA TR: t = T-poll__handleAnsP3_147
lola: REM DEA TR: t = T-poll__handleAnsP3_177
lola: REM DEA TR: t = T-poll__handleAnsP3_187
lola: REM DEA TR: t = T-poll__handleAnsP3_197
lola: REM DEA TR: t = T-poll__handleAI2_117
lola: REM DEA TR: t = T-poll__handleAI2_127
lola: REM DEA TR: t = T-poll__handleAI2_137
lola: REM DEA TR: t = T-poll__handleAI2_147
lola: REM DEA TR: t = T-poll__handleAnsP3_227
lola: REM DEA TR: t = T-poll__handleAnsP3_237
lola: REM DEA TR: t = T-poll__handleAnsP3_247
lola: REM DEA TR: t = T-poll__handleAnsP2_4
lola: REM DEA TR: t = T-poll__handleAnnP1_7
lola: REM DEA TR: t = T-poll__handleAnnP1_17
lola: REM DEA TR: t = T-poll__handleAnnP1_37
lola: REM DEA TR: t = T-poll__handleAnnP1_47
lola: REM DEA TR: t = T-poll__handleAI2_18
lola: REM DEA TR: t = T-poll__handleAI2_28
lola: REM DEA TR: t = T-poll__handleAI2_38
lola: REM DEA TR: t = T-poll__handleAI2_48
lola: REM DEA TR: t = T-poll__handleAI2_68
lola: REM DEA TR: t = T-poll__handleAI2_78
lola: REM DEA TR: t = T-poll__handleAI2_88
lola: REM DEA TR: t = T-poll__handleAI2_98
lola: REM DEA TR: t = T-poll__handleAskP_38
lola: REM DEA TR: t = T-poll__handleAskP_39
lola: REM DEA TR: t = T-poll__handleAnsP3_18
lola: REM DEA TR: t = T-poll__handleAnsP3_38
lola: REM DEA TR: t = T-poll__handleAnsP3_48
lola: REM DEA TR: t = T-poll__handleAnsP3_68
lola: REM DEA TR: t = T-poll__handleAnsP3_88
lola: REM DEA TR: t = T-poll__handleAnsP3_98
lola: REM DEA TR: t = T-poll__handleAnsP2_16
lola: REM DEA TR: t = T-poll__handleAnsP2_26
lola: REM DEA TR: t = T-poll__handleAnsP2_36
lola: REM DEA TR: t = T-poll__handleAnsP2_46
lola: REM DEA TR: t = T-poll__handleAnsP3_118
lola: REM DEA TR: t = T-poll__handleAnsP3_138
lola: REM DEA TR: t = T-poll__handleAnsP3_148
lola: REM DEA TR: t = T-poll__handleAnsP3_168
lola: REM DEA TR: t = T-poll__handleAnsP3_188
lola: REM DEA TR: t = T-poll__handleAnsP3_198
lola: REM DEA TR: t = T-poll__handleAI2_118
lola: REM DEA TR: t = T-poll__handleAI2_128
lola: REM DEA TR: t = T-poll__handleAI2_138
lola: REM DEA TR: t = T-poll__handleAI2_148
lola: REM DEA TR: t = T-poll__handleAnsP3_218
lola: REM DEA TR: t = T-poll__handleAnsP3_238
lola: REM DEA TR: t = T-poll__handleAnsP3_248
lola: REM DEA TR: t = T-poll__handleAnsP2_6
lola: REM DEA TR: t = T-poll__handleAnnP1_8
lola: REM DEA TR: t = T-poll__handleAnnP1_18
lola: REM DEA TR: t = T-poll__handleAnnP1_38
lola: REM DEA TR: t = T-poll__handleAnnP1_48
lola: REM DEA TR: t = T-poll__handleAI2_19
lola: REM DEA TR: t = T-poll__handleAI2_29
lola: REM DEA TR: t = T-poll__handleAI2_39
lola: REM DEA TR: t = T-poll__handleAI2_49
lola: REM DEA TR: t = T-poll__handleAI2_69
lola: REM DEA TR: t = T-poll__handleAI2_79
lola: REM DEA TR: t = T-poll__handleAI2_89
lola: REM DEA TR: t = T-poll__handleAI2_99
lola: REM DEA TR: t = T-poll__handleAskP_43
lola: REM DEA TR: t = T-poll__handleAskP_44
lola: REM DEA TR: t = T-poll__handleAnsP3_19
lola: REM DEA TR: t = T-poll__handleAnsP3_29
lola: REM DEA TR: t = T-poll__handleAnsP3_49
lola: REM DEA TR: t = T-poll__handleAnsP3_69
lola: REM DEA TR: t = T-poll__handleAnsP3_79
lola: REM DEA TR: t = T-poll__handleAnsP3_99
lola: REM DEA TR: t = T-poll__handleAnsP2_18
lola: REM DEA TR: t = T-poll__handleAnsP2_28
lola: REM DEA TR: t = T-poll__handleAnsP2_38
lola: REM DEA TR: t = T-poll__handleAnsP2_48
lola: REM DEA TR: t = T-poll__handleAnsP3_119
lola: REM DEA TR: t = T-poll__handleAnsP3_129
lola: REM DEA TR: t = T-poll__handleAnsP3_149
lola: REM DEA TR: t = T-poll__handleAnsP3_169
lola: REM DEA TR: t = T-poll__handleAnsP3_179
lola: REM DEA TR: t = T-poll__handleAnsP3_199
lola: REM DEA TR: t = T-poll__handleAI2_119
lola: REM DEA TR: t = T-poll__handleAI2_129
lola: REM DEA TR: t = T-poll__handleAI2_139
lola: REM DEA TR: t = T-poll__handleAI2_149
lola: REM DEA TR: t = T-poll__handleAnsP3_219
lola: REM DEA TR: t = T-poll__handleAnsP3_229
lola: REM DEA TR: t = T-poll__handleAnsP3_249
lola: REM DEA TR: t = T-poll__handleAnsP2_8
lola: REM DEA TR: t = T-poll__handleAnnP1_9
lola: REM DEA TR: t = T-poll__handleAnnP1_19
lola: REM DEA TR: t = T-poll__handleAnnP1_39
lola: REM DEA TR: t = T-poll__handleAnnP1_49
lola: REM DEA TR: t = T-poll__handleAI2_20
lola: REM DEA TR: t = T-poll__handleAI2_30
lola: REM DEA TR: t = T-poll__handleAI2_40
lola: REM DEA TR: t = T-poll__handleAI2_50
lola: REM DEA TR: t = T-poll__handleAI2_70
lola: REM DEA TR: t = T-poll__handleAI2_80
lola: REM DEA TR: t = T-poll__handleAI2_90
lola: REM DEA TR: t = T-poll__handleAskP_48
lola: REM DEA TR: t = T-poll__handleAskP_49
lola: REM DEA TR: t = T-poll__handleAnsP3_20
lola: REM DEA TR: t = T-poll__handleAnsP3_30
lola: REM DEA TR: t = T-poll__handleAnsP3_40
lola: REM DEA TR: t = T-poll__handleAnsP3_70
lola: REM DEA TR: t = T-poll__handleAnsP3_80
lola: REM DEA TR: t = T-poll__handleAnsP3_90
lola: REM DEA TR: t = T-poll__handleAnsP2_10
lola: REM DEA TR: t = T-poll__handleAnsP2_20
lola: REM DEA TR: t = T-poll__handleAnsP2_30
lola: REM DEA TR: t = T-poll__handleAnsP2_40
lola: REM DEA TR: t = T-poll__handleAnsP2_50
lola: REM DEA TR: t = T-poll__handleAnsP3_120
lola: REM DEA TR: t = T-poll__handleAnsP3_130
lola: REM DEA TR: t = T-poll__handleAnsP3_140
lola: REM DEA TR: t = T-poll__handleAnsP3_170
lola: REM DEA TR: t = T-poll__handleAnsP3_180
lola: REM DEA TR: t = T-poll__handleAnsP3_190
lola: REM DEA TR: t = T-poll__handleAI2_100
lola: REM DEA TR: t = T-poll__handleAI2_120
lola: REM DEA TR: t = T-poll__handleAI2_130
lola: REM DEA TR: t = T-poll__handleAI2_140
lola: REM DEA TR: t = T-poll__handleAI2_150
lola: REM DEA TR: t = T-poll__handleAnsP3_220
lola: REM DEA TR: t = T-poll__handleAnsP3_230
lola: REM DEA TR: t = T-poll__handleAnsP3_240
lola: REM DEA TR: t = T-poll__handleAnnP1_10
lola: REM DEA TR: t = T-poll__handleAnnP1_20
lola: REM DEA TR: t = T-poll__handleAnnP1_40
lola: REM DEA TR: t = T-poll__handleAnnP1_50
lola: REM DEA TR: t = T-sendAnnPs__send_81
lola: REM DEA TR: t = T-startNeg__send_83
lola: REM DEA TR: t = T-sendAnnPs__send_83
lola: REM DEA TR: t = T-startNeg__send_84
lola: REM DEA TR: t = T-sendAnnPs__send_84
lola: REM DEA TR: t = T-startNeg__send_85
lola: REM DEA TR: t = T-sendAnnPs__send_85
lola: REM DEA TR: t = T-sendAnnPs__send_82
lola: REM DEA TR: t = T-sendAnnPs__send_86
lola: REM DEA TR: t = T-sendAnnPs__send_87
lola: REM DEA TR: t = T-sendAnnPs__send_88
lola: REM DEA TR: t = T-sendAnnPs__send_89
lola: REM DEA TR: t = T-sendAnnPs__send_90
lola: REM DEA TR: t = T-sendAnnPs__send_91
lola: REM DEA TR: t = T-sendAnnPs__send_92
lola: REM DEA TR: t = T-sendAnnPs__send_93
lola: REM DEA TR: t = T-sendAnnPs__send_94
lola: REM DEA TR: t = T-sendAnnPs__send_95
lola: REM DEA TR: t = T-poll__handleAskP_14
lola: REM DEA TR: t = T-poll__handleAskP_19
lola: REM DEA TR: t = T-poll__handleAskP_24
lola: REM DEA TR: t = T-poll__handleAskP_29
lola: REM DEA TR: t = T-poll__handleAskP_4
lola: REM DEA TR: t = T-poll__handleAskP_9
lola: REM DEA TR: t = T-startNeg__send_33
lola: REM DEA TR: t = T-startNeg__send_34
lola: REM DEA TR: t = T-poll__handleAnsP4_13
lola: REM DEA TR: t = T-poll__handleAnsP4_14
lola: REM DEA TR: t = T-poll__handleAnsP4_15
lola: REM DEA TR: t = T-poll__handleAnsP4_16
lola: REM DEA TR: t = T-poll__handleAnsP4_17
lola: REM DEA TR: t = T-poll__handleAnsP4_18
lola: REM DEA TR: t = T-poll__handleAnsP4_19
lola: REM DEA TR: t = T-poll__handleAnsP4_20
lola: REM DEA TR: t = T-poll__handleAnnP1_101
lola: REM DEA TR: t = T-poll__handleAnnP1_102
lola: REM DEA TR: t = T-poll__handleAnnP1_104
lola: REM DEA TR: t = T-poll__handleAnnP1_105
lola: REM DEA TR: t = T-poll__handleAnnP1_106
lola: REM DEA TR: t = T-poll__handleAI1_101
lola: REM DEA TR: t = T-poll__handleAI1_106
lola: REM DEA TR: t = T-poll__handleAI1_111
lola: REM DEA TR: t = T-poll__handleAI1_116
lola: REM DEA TR: t = T-poll__handleAI1_121
lola: REM DEA TR: t = T-startNeg__send_90
lola: REM DEA TR: t = T-startNeg__send_95
lola: REM DEA TR: t = T-poll__handleAnnP1_100
lola: REM DEA TR: t = T-poll__handleAnnP2_10
lola: REM DEA TR: t = T-poll__handleAnnP1_91
lola: REM DEA TR: t = T-poll__handleAnnP1_93
lola: REM DEA TR: t = T-poll__handleAnnP1_94
lola: REM DEA TR: t = T-poll__handleAnnP1_95
lola: REM DEA TR: t = T-poll__handleAnnP1_96
lola: REM DEA TR: t = T-poll__handleAnnP1_98
lola: REM DEA TR: t = T-poll__handleAnnP1_99
lola: REM DEA TR: t = T-poll__handleRP_25
lola: REM DEA TR: t = T-poll__handleAnsP4_213
lola: REM DEA TR: t = T-poll__handleAnsP4_214
lola: REM DEA TR: t = T-poll__handleAnsP4_215
lola: REM DEA TR: t = T-poll__handleAnsP4_216
lola: REM DEA TR: t = T-poll__handleAnsP4_217
lola: REM DEA TR: t = T-poll__handleAnsP4_218
lola: REM DEA TR: t = T-poll__handleAnsP4_219
lola: REM DEA TR: t = T-poll__handleAnsP4_220
lola: REM DEA TR: t = T-startNeg__send_87
lola: REM DEA TR: t = T-startNeg__send_89
lola: REM DEA TR: t = T-poll__handleAnsP4_53
lola: REM DEA TR: t = T-poll__handleAnsP4_54
lola: REM DEA TR: t = T-poll__handleAnsP4_55
lola: REM DEA TR: t = T-poll__handleAnsP4_56
lola: REM DEA TR: t = T-poll__handleAnsP4_57
lola: REM DEA TR: t = T-poll__handleAnsP4_58
lola: REM DEA TR: t = T-poll__handleAnsP4_59
lola: REM DEA TR: t = T-poll__handleAnsP4_60
lola: REM DEA TR: t = T-poll__handleAI2_941
lola: REM DEA TR: t = T-poll__handleAI2_942
lola: REM DEA TR: t = T-poll__handleAI2_943
lola: REM DEA TR: t = T-poll__handleAI2_944
lola: REM DEA TR: t = T-poll__handleAI2_945
lola: REM DEA TR: t = T-poll__handleAI2_946
lola: REM DEA TR: t = T-poll__handleAI2_947
lola: REM DEA TR: t = T-poll__handleAI2_948
lola: REM DEA TR: t = T-poll__handleAI2_949
lola: REM DEA TR: t = T-poll__handleAI2_950
lola: REM DEA TR: t = T-poll__handleAI1_79
lola: REM DEA TR: t = T-poll__handleAI1_84
lola: REM DEA TR: t = T-poll__handleAI1_89
lola: REM DEA TR: t = T-poll__handleAI1_94
lola: REM DEA TR: t = T-poll__handleAnsP4_43
lola: REM DEA TR: t = T-poll__handleAnsP4_44
lola: REM DEA TR: t = T-poll__handleAnsP4_45
lola: REM DEA TR: t = T-poll__handleAnsP4_46
lola: REM DEA TR: t = T-poll__handleAnsP4_47
lola: REM DEA TR: t = T-poll__handleAnsP4_48
lola: REM DEA TR: t = T-poll__handleAnsP4_49
lola: REM DEA TR: t = T-poll__handleAnsP4_50
lola: REM DEA TR: t = T-poll__handleAnsP3_927
lola: REM DEA TR: t = T-poll__handleAnsP3_937
lola: REM DEA TR: t = T-poll__handleAnsP3_947
lola: REM DEA TR: t = T-poll__handleAnsP3_977
lola: REM DEA TR: t = T-poll__handleAnsP3_987
lola: REM DEA TR: t = T-poll__handleAnsP3_997
lola: REM DEA TR: t = T-poll__handleAI2_997
lola: REM DEA TR: t = T-poll__handleAnnP1_167
lola: REM DEA TR: t = T-poll__handleAnnP1_177
lola: REM DEA TR: t = T-poll__handleAnnP1_197
lola: REM DEA TR: t = T-poll__handleAnsP2_154
lola: REM DEA TR: t = T-poll__handleAnsP2_164
lola: REM DEA TR: t = T-poll__handleAnsP2_174
lola: REM DEA TR: t = T-poll__handleAnsP2_184
lola: REM DEA TR: t = T-poll__handleAnsP2_194
lola: REM DEA TR: t = T-poll__handleAnsP3_777
lola: REM DEA TR: t = T-poll__handleAnsP3_787
lola: REM DEA TR: t = T-poll__handleAnsP3_797
lola: REM DEA TR: t = T-poll__handleAI2_797
lola: REM DEA TR: t = T-poll__handleAnsP3_827
lola: REM DEA TR: t = T-poll__handleAnsP3_837
lola: REM DEA TR: t = T-poll__handleAnsP3_847
lola: REM DEA TR: t = T-poll__handleAnsP3_877
lola: REM DEA TR: t = T-poll__handleAnsP3_887
lola: REM DEA TR: t = T-poll__handleAnsP3_897
lola: REM DEA TR: t = T-poll__handleAI2_847
lola: REM DEA TR: t = T-poll__handleAI2_897
lola: REM DEA TR: t = T-poll__handleAskP_181
lola: REM DEA TR: t = T-poll__handleAskP_182
lola: REM DEA TR: t = T-poll__handleAskP_183
lola: REM DEA TR: t = T-poll__handleAskP_184
lola: REM DEA TR: t = T-poll__handleAskP_185
lola: REM DEA TR: t = T-poll__handleAnsP3_918
lola: REM DEA TR: t = T-poll__handleAnsP3_938
lola: REM DEA TR: t = T-poll__handleAnsP3_948
lola: REM DEA TR: t = T-poll__handleAnsP3_968
lola: REM DEA TR: t = T-poll__handleAnsP3_988
lola: REM DEA TR: t = T-poll__handleAnsP3_998
lola: REM DEA TR: t = T-poll__handleAI2_998
lola: REM DEA TR: t = T-poll__handleAnnP1_168
lola: REM DEA TR: t = T-poll__handleAnnP1_178
lola: REM DEA TR: t = T-poll__handleAnnP1_198
lola: REM DEA TR: t = T-poll__handleAnsP2_156
lola: REM DEA TR: t = T-poll__handleAnsP2_166
lola: REM DEA TR: t = T-poll__handleAnsP2_176
lola: REM DEA TR: t = T-poll__handleAnsP2_186
lola: REM DEA TR: t = T-poll__handleAnsP2_196
lola: REM DEA TR: t = T-poll__handleAnsP3_768
lola: REM DEA TR: t = T-poll__handleAnsP3_788
lola: REM DEA TR: t = T-poll__handleAnsP3_798
lola: REM DEA TR: t = T-poll__handleAI2_798
lola: REM DEA TR: t = T-poll__handleAnsP3_818
lola: REM DEA TR: t = T-poll__handleAnsP3_838
lola: REM DEA TR: t = T-poll__handleAnsP3_848
lola: REM DEA TR: t = T-poll__handleAnsP3_868
lola: REM DEA TR: t = T-poll__handleAnsP3_888
lola: REM DEA TR: t = T-poll__handleAnsP3_898
lola: REM DEA TR: t = T-poll__handleAI2_848
lola: REM DEA TR: t = T-poll__handleAI2_898
lola: REM DEA TR: t = T-poll__handleAskP_186
lola: REM DEA TR: t = T-poll__handleAskP_187
lola: REM DEA TR: t = T-poll__handleAskP_188
lola: REM DEA TR: t = T-poll__handleAskP_189
lola: REM DEA TR: t = T-poll__handleAskP_190
lola: REM DEA TR: t = T-poll__handleAnsP3_919
lola: REM DEA TR: t = T-poll__handleAnsP3_929
lola: REM DEA TR: t = T-poll__handleAnsP3_949
lola: REM DEA TR: t = T-poll__handleAnsP3_969
lola: REM DEA TR: t = T-poll__handleAnsP3_979
lola: REM DEA TR: t = T-poll__handleAnsP3_999
lola: REM DEA TR: t = T-poll__handleAI2_999
lola: REM DEA TR: t = T-poll__handleAnsP2_158
lola: REM DEA TR: t = T-poll__handleAnsP2_168
lola: REM DEA TR: t = T-poll__handleAnsP2_178
lola: REM DEA TR: t = T-poll__handleAnsP2_188
lola: REM DEA TR: t = T-poll__handleAnsP2_198
lola: REM DEA TR: t = T-poll__handleAnnP2_17
lola: REM DEA TR: t = T-poll__handleAnnP2_18
lola: REM DEA TR: t = T-poll__handleAnnP2_20
lola: REM DEA TR: t = T-poll__handleAnsP3_769
lola: REM DEA TR: t = T-poll__handleAnsP3_779
lola: REM DEA TR: t = T-poll__handleAnsP3_799
lola: REM DEA TR: t = T-poll__handleAI2_799
lola: REM DEA TR: t = T-poll__handleAnsP3_819
lola: REM DEA TR: t = T-poll__handleAnsP3_829
lola: REM DEA TR: t = T-poll__handleAnsP3_849
lola: REM DEA TR: t = T-poll__handleAnsP3_869
lola: REM DEA TR: t = T-poll__handleAnsP3_879
lola: REM DEA TR: t = T-poll__handleAnsP3_899
lola: REM DEA TR: t = T-poll__handleAI2_849
lola: REM DEA TR: t = T-poll__handleAI2_899
lola: REM DEA TR: t = T-poll__handleAskP_191
lola: REM DEA TR: t = T-poll__handleAskP_192
lola: REM DEA TR: t = T-poll__handleAskP_193
lola: REM DEA TR: t = T-poll__handleAskP_194
lola: REM DEA TR: t = T-poll__handleAskP_195
lola: REM DEA TR: t = T-poll__handleAnsP3_920
lola: REM DEA TR: t = T-poll__handleAnsP3_930
lola: REM DEA TR: t = T-poll__handleAnsP3_940
lola: REM DEA TR: t = T-poll__handleAnsP3_970
lola: REM DEA TR: t = T-poll__handleAnsP3_980
lola: REM DEA TR: t = T-poll__handleAnsP3_990
lola: REM DEA TR: t = T-poll__handleAI2_900
lola: REM DEA TR: t = T-poll__handleAskP_200
lola: REM DEA TR: t = T-poll__handleAnnP1_170
lola: REM DEA TR: t = T-poll__handleAnnP1_180
lola: REM DEA TR: t = T-poll__handleAnsP2_160
lola: REM DEA TR: t = T-poll__handleAnsP2_170
lola: REM DEA TR: t = T-poll__handleAnsP2_180
lola: REM DEA TR: t = T-poll__handleAnsP2_190
lola: REM DEA TR: t = T-poll__handleAnnP1_200
lola: REM DEA TR: t = T-poll__handleAI2_1000
lola: REM DEA TR: t = T-poll__handleAnsP2_200
lola: REM DEA TR: t = T-poll__handleAnsP3_770
lola: REM DEA TR: t = T-poll__handleAnsP3_780
lola: REM DEA TR: t = T-poll__handleAnsP3_790
lola: REM DEA TR: t = T-poll__handleAnsP3_820
lola: REM DEA TR: t = T-poll__handleAnsP3_830
lola: REM DEA TR: t = T-poll__handleAnsP3_840
lola: REM DEA TR: t = T-poll__handleAnsP3_870
lola: REM DEA TR: t = T-poll__handleAnsP3_880
lola: REM DEA TR: t = T-poll__handleAnsP3_890
lola: REM DEA TR: t = T-poll__handleAI2_800
lola: REM DEA TR: t = T-poll__handleAI2_850
lola: REM DEA TR: t = T-poll__handleAskP_196
lola: REM DEA TR: t = T-poll__handleAskP_197
lola: REM DEA TR: t = T-poll__handleAskP_198
lola: REM DEA TR: t = T-poll__handleAskP_199
lola: REM DEA TR: t = T-poll__handleAnnP1_131
lola: REM DEA TR: t = T-poll__handleAnnP1_132
lola: REM DEA TR: t = T-poll__handleAnnP1_134
lola: REM DEA TR: t = T-poll__handleAnnP1_135
lola: REM DEA TR: t = T-poll__handleAnnP1_136
lola: REM DEA TR: t = T-startNeg__send_92
lola: REM DEA TR: t = T-startNeg__send_93
lola: REM DEA TR: t = T-startNeg__send_41
lola: REM DEA TR: t = T-startNeg__send_46
lola: REM DEA TR: t = T-startNeg__send_51
lola: REM DEA TR: t = T-poll__handleRP_2
lola: REM DEA TR: t = T-poll__handleAnsP4_243
lola: REM DEA TR: t = T-poll__handleAnsP4_244
lola: REM DEA TR: t = T-poll__handleAnsP4_245
lola: REM DEA TR: t = T-poll__handleAnsP4_246
lola: REM DEA TR: t = T-poll__handleAnsP4_247
lola: REM DEA TR: t = T-poll__handleAnsP4_248
lola: REM DEA TR: t = T-poll__handleAnsP4_249
lola: REM DEA TR: t = T-poll__handleAnsP4_250
lola: REM DEA TR: t = T-poll__handleRP_11
lola: REM DEA TR: t = T-poll__handleAI1_3
lola: REM DEA TR: t = T-poll__handleAI2_111
lola: REM DEA TR: t = T-poll__handleAI2_112
lola: REM DEA TR: t = T-poll__handleAI2_113
lola: REM DEA TR: t = T-poll__handleAI2_114
lola: REM DEA TR: t = T-poll__handleAI2_115
lola: REM DEA TR: t = T-poll__handleAI2_116
lola: REM DEA TR: t = T-poll__handleAI2_121
lola: REM DEA TR: t = T-poll__handleAI2_122
lola: REM DEA TR: t = T-poll__handleAI2_123
lola: REM DEA TR: t = T-poll__handleAI2_124
lola: REM DEA TR: t = T-poll__handleAI2_125
lola: REM DEA TR: t = T-poll__handleAI2_126
lola: REM DEA TR: t = T-poll__handleAI2_131
lola: REM DEA TR: t = T-poll__handleAI2_132
lola: REM DEA TR: t = T-poll__handleAI2_133
lola: REM DEA TR: t = T-poll__handleAI2_134
lola: REM DEA TR: t = T-poll__handleAI2_135
lola: REM DEA TR: t = T-poll__handleAI2_136
lola: REM DEA TR: t = T-poll__handleAI2_141
lola: REM DEA TR: t = T-poll__handleAI2_142
lola: REM DEA TR: t = T-poll__handleAI2_143
lola: REM DEA TR: t = T-poll__handleAI2_144
lola: REM DEA TR: t = T-poll__handleAI2_145
lola: REM DEA TR: t = T-poll__handleAI2_146
lola: REM DEA TR: t = T-poll__handleAnsP4_83
lola: REM DEA TR: t = T-poll__handleAnsP4_84
lola: REM DEA TR: t = T-poll__handleAnsP4_85
lola: REM DEA TR: t = T-poll__handleAnsP4_86
lola: REM DEA TR: t = T-poll__handleAnsP4_87
lola: REM DEA TR: t = T-poll__handleAnsP4_88
lola: REM DEA TR: t = T-poll__handleAnsP4_89
lola: REM DEA TR: t = T-poll__handleAnsP4_90
lola: REM DEA TR: t = T-poll__handleAnnP1_171
lola: REM DEA TR: t = T-poll__handleAnnP1_172
lola: REM DEA TR: t = T-poll__handleAnnP1_173
lola: REM DEA TR: t = T-poll__handleAnnP1_175
lola: REM DEA TR: t = T-poll__handleAnnP1_176
lola: REM DEA TR: t = T-poll__handleAskP_151
lola: REM DEA TR: t = T-poll__handleAskP_156
lola: REM DEA TR: t = T-poll__handleAskP_161
lola: REM DEA TR: t = T-poll__handleAskP_166
lola: REM DEA TR: t = T-poll__handleAskP_171
lola: REM DEA TR: t = T-poll__handleAskP_176
lola: REM DEA TR: t = T-poll__handleAnnP2_2
lola: REM DEA TR: t = T-poll__handleAnnP1_12
lola: REM DEA TR: t = T-poll__handleAnnP1_13
lola: REM DEA TR: t = T-poll__handleAnnP1_14
lola: REM DEA TR: t = T-poll__handleAnnP1_15
lola: REM DEA TR: t = T-poll__handleRP_8
lola: REM DEA TR: t = T-poll__handleRP_17
lola: REM DEA TR: t = T-poll__handleAnsP4_123
lola: REM DEA TR: t = T-poll__handleAnsP4_124
lola: REM DEA TR: t = T-poll__handleAnsP4_125
lola: REM DEA TR: t = T-poll__handleAnsP4_126
lola: REM DEA TR: t = T-poll__handleAnsP4_127
lola: REM DEA TR: t = T-poll__handleAnsP4_128
lola: REM DEA TR: t = T-poll__handleAnsP4_129
lola: REM DEA TR: t = T-poll__handleAnsP4_130
lola: REM DEA TR: t = T-poll__handleAnnP1_211
lola: REM DEA TR: t = T-poll__handleAnnP1_212
lola: REM DEA TR: t = T-poll__handleAnnP1_213
lola: REM DEA TR: t = T-poll__handleAnnP1_214
lola: REM DEA TR: t = T-poll__handleAnnP1_216
lola: REM DEA TR: t = T-poll__handleAnnP2_22
lola: REM DEA TR: t = T-startNeg__send_44
lola: REM DEA TR: t = T-startNeg__send_45
lola: REM DEA TR: t = T-poll__handleAnnP2_6
lola: REM DEA TR: t = T-poll__handleAnnP1_51
lola: REM DEA TR: t = T-poll__handleAnnP1_53
lola: REM DEA TR: t = T-poll__handleAnnP1_54
lola: REM DEA TR: t = T-poll__handleAnnP1_55
lola: REM DEA TR: t = T-poll__handleAnnP1_56
lola: REM DEA TR: t = T-poll__handleAnnP1_58
lola: REM DEA TR: t = T-poll__handleAnnP1_59
lola: REM DEA TR: t = T-poll__handleAnnP1_60
lola: REM DEA TR: t = T-poll__handleRP_5
lola: REM DEA TR: t = T-poll__handleAI1_51
lola: REM DEA TR: t = T-poll__handleAI1_56
lola: REM DEA TR: t = T-poll__handleAI1_61
lola: REM DEA TR: t = T-poll__handleAI2_531
lola: REM DEA TR: t = T-poll__handleAI2_532
lola: REM DEA TR: t = T-poll__handleAI2_533
lola: REM DEA TR: t = T-poll__handleAI2_534
lola: REM DEA TR: t = T-poll__handleAI2_535
lola: REM DEA TR: t = T-poll__handleAI2_536
lola: REM DEA TR: t = T-poll__handleAI2_541
lola: REM DEA TR: t = T-poll__handleAI2_542
lola: REM DEA TR: t = T-poll__handleAI2_543
lola: REM DEA TR: t = T-poll__handleAI2_544
lola: REM DEA TR: t = T-poll__handleAI2_545
lola: REM DEA TR: t = T-poll__handleAI2_546
lola: REM DEA TR: t = T-poll__handleAI2_11
lola: REM DEA TR: t = T-poll__handleAI2_12
lola: REM DEA TR: t = T-poll__handleAI2_13
lola: REM DEA TR: t = T-poll__handleAI2_14
lola: REM DEA TR: t = T-poll__handleAI2_15
lola: REM DEA TR: t = T-poll__handleAI2_16
lola: REM DEA TR: t = T-poll__handleAI2_21
lola: REM DEA TR: t = T-poll__handleAI2_22
lola: REM DEA TR: t = T-poll__handleAI2_23
lola: REM DEA TR: t = T-poll__handleAI2_24
lola: REM DEA TR: t = T-poll__handleAI2_25
lola: REM DEA TR: t = T-poll__handleAI2_26
lola: REM DEA TR: t = T-poll__handleAI2_31
lola: REM DEA TR: t = T-poll__handleAI2_32
lola: REM DEA TR: t = T-poll__handleAI2_33
lola: REM DEA TR: t = T-poll__handleAI2_34
lola: REM DEA TR: t = T-poll__handleAI2_35
lola: REM DEA TR: t = T-poll__handleAI2_36
lola: REM DEA TR: t = T-poll__handleAI2_41
lola: REM DEA TR: t = T-poll__handleAI2_42
lola: REM DEA TR: t = T-poll__handleAI2_43
lola: REM DEA TR: t = T-poll__handleAI2_44
lola: REM DEA TR: t = T-poll__handleAI2_45
lola: REM DEA TR: t = T-poll__handleAI2_46
lola: REM DEA TR: t = T-poll__handleAI2_61
lola: REM DEA TR: t = T-poll__handleAI2_62
lola: REM DEA TR: t = T-poll__handleAI2_63
lola: REM DEA TR: t = T-poll__handleAI2_64
lola: REM DEA TR: t = T-poll__handleAI2_65
lola: REM DEA TR: t = T-poll__handleAI2_66
lola: REM DEA TR: t = T-poll__handleAI2_71
lola: REM DEA TR: t = T-poll__handleAI2_72
lola: REM DEA TR: t = T-poll__handleAI2_73
lola: REM DEA TR: t = T-poll__handleAI2_74
lola: REM DEA TR: t = T-poll__handleAI2_75
lola: REM DEA TR: t = T-poll__handleAI2_76
lola: REM DEA TR: t = T-poll__handleAI2_81
lola: REM DEA TR: t = T-poll__handleAI2_82
lola: REM DEA TR: t = T-poll__handleAI2_83
lola: REM DEA TR: t = T-poll__handleAI2_84
lola: REM DEA TR: t = T-poll__handleAI2_85
lola: REM DEA TR: t = T-poll__handleAI2_86
lola: REM DEA TR: t = T-poll__handleAI2_91
lola: REM DEA TR: t = T-poll__handleAI2_92
lola: REM DEA TR: t = T-poll__handleAI2_93
lola: REM DEA TR: t = T-poll__handleAI2_94
lola: REM DEA TR: t = T-poll__handleAI2_95
lola: REM DEA TR: t = T-poll__handleAI2_96
lola: REM DEA TR: t = T-poll__handleAnsP4_10
lola: REM DEA TR: t = T-poll__handleAnsP4_33
lola: REM DEA TR: t = T-poll__handleAnsP4_34
lola: REM DEA TR: t = T-poll__handleAnsP4_35
lola: REM DEA TR: t = T-poll__handleAnsP4_36
lola: REM DEA TR: t = T-poll__handleAnsP4_37
lola: REM DEA TR: t = T-poll__handleAnsP4_38
lola: REM DEA TR: t = T-poll__handleAnsP4_39
lola: REM DEA TR: t = T-poll__handleAnsP4_40
lola: REM DEA TR: t = T-poll__handleAI1_1
lola: REM DEA TR: t = T-poll__handleAI1_2
lola: REM DEA TR: t = T-poll__handleAskP_13
lola: REM DEA TR: t = T-poll__handleAskP_18
lola: REM DEA TR: t = T-poll__handleAskP_23
lola: REM DEA TR: t = T-poll__handleAskP_28
lola: REM DEA TR: t = T-poll__handleAskP_3
lola: REM DEA TR: t = T-poll__handleAskP_8
lola: REM DEA TR: t = T-poll__handleAnsP3_13
lola: REM DEA TR: t = T-poll__handleAnsP3_14
lola: REM DEA TR: t = T-poll__handleAnsP3_15
lola: REM DEA TR: t = T-poll__handleAnsP3_22
lola: REM DEA TR: t = T-poll__handleAnsP3_24
lola: REM DEA TR: t = T-poll__handleAnsP3_25
lola: REM DEA TR: t = T-poll__handleAnsP3_32
lola: REM DEA TR: t = T-poll__handleAnsP3_33
lola: REM DEA TR: t = T-poll__handleAnsP3_35
lola: REM DEA TR: t = T-poll__handleAnsP3_42
lola: REM DEA TR: t = T-poll__handleAnsP3_43
lola: REM DEA TR: t = T-poll__handleAnsP3_44
lola: REM DEA TR: t = T-poll__handleAnsP3_63
lola: REM DEA TR: t = T-poll__handleAnsP3_64
lola: REM DEA TR: t = T-poll__handleAnsP3_65
lola: REM DEA TR: t = T-poll__handleAnsP3_72
lola: REM DEA TR: t = T-poll__handleAnsP3_74
lola: REM DEA TR: t = T-poll__handleAnsP3_75
lola: REM DEA TR: t = T-poll__handleAnsP3_82
lola: REM DEA TR: t = T-poll__handleAnsP3_83
lola: REM DEA TR: t = T-poll__handleAnsP3_85
lola: REM DEA TR: t = T-poll__handleAnsP3_92
lola: REM DEA TR: t = T-poll__handleAnsP3_93
lola: REM DEA TR: t = T-poll__handleAnsP3_94
lola: REM DEA TR: t = T-poll__handleAnsP2_13
lola: REM DEA TR: t = T-poll__handleAnsP2_15
lola: REM DEA TR: t = T-poll__handleAnsP2_17
lola: REM DEA TR: t = T-poll__handleAnsP2_19
lola: REM DEA TR: t = T-poll__handleAnsP2_23
lola: REM DEA TR: t = T-poll__handleAnsP2_25
lola: REM DEA TR: t = T-poll__handleAnsP2_27
lola: REM DEA TR: t = T-poll__handleAnsP2_29
lola: REM DEA TR: t = T-poll__handleAnsP2_33
lola: REM DEA TR: t = T-poll__handleAnsP2_35
lola: REM DEA TR: t = T-poll__handleAnsP2_37
lola: REM DEA TR: t = T-poll__handleAnsP2_39
lola: REM DEA TR: t = T-poll__handleAnsP2_43
lola: REM DEA TR: t = T-poll__handleAnsP2_45
lola: REM DEA TR: t = T-poll__handleAnsP2_47
lola: REM DEA TR: t = T-poll__handleAnsP2_49
lola: REM DEA TR: t = T-poll__handleAnsP3_113
lola: REM DEA TR: t = T-poll__handleAnsP3_114
lola: REM DEA TR: t = T-poll__handleAnsP3_115
lola: REM DEA TR: t = T-poll__handleAnsP3_122
lola: REM DEA TR: t = T-poll__handleAnsP3_124
lola: REM DEA TR: t = T-poll__handleAnsP3_125
lola: REM DEA TR: t = T-poll__handleAnsP3_132
lola: REM DEA TR: t = T-poll__handleAnsP3_133
lola: REM DEA TR: t = T-poll__handleAnsP3_135
lola: REM DEA TR: t = T-poll__handleAnsP3_142
lola: REM DEA TR: t = T-poll__handleAnsP3_143
lola: REM DEA TR: t = T-poll__handleAnsP3_144
lola: REM DEA TR: t = T-poll__handleAnsP3_163
lola: REM DEA TR: t = T-poll__handleAnsP3_164
lola: REM DEA TR: t = T-poll__handleAnsP3_165
lola: REM DEA TR: t = T-poll__handleAnsP3_172
lola: REM DEA TR: t = T-poll__handleAnsP3_174
lola: REM DEA TR: t = T-poll__handleAnsP3_175
lola: REM DEA TR: t = T-poll__handleAnsP3_182
lola: REM DEA TR: t = T-poll__handleAnsP3_183
lola: REM DEA TR: t = T-poll__handleAnsP3_185
lola: REM DEA TR: t = T-poll__handleAnsP3_192
lola: REM DEA TR: t = T-poll__handleAnsP3_193
lola: REM DEA TR: t = T-poll__handleAnsP3_194
lola: REM DEA TR: t = T-poll__handleAnsP1_1
lola: REM DEA TR: t = T-poll__handleAnsP1_2
lola: REM DEA TR: t = T-poll__handleAnsP1_3
lola: REM DEA TR: t = T-poll__handleAnsP1_4
lola: REM DEA TR: t = T-poll__handleAnsP1_5
lola: REM DEA TR: t = T-poll__handleAnsP3_213
lola: REM DEA TR: t = T-poll__handleAnsP3_214
lola: REM DEA TR: t = T-poll__handleAnsP3_215
lola: REM DEA TR: t = T-poll__handleAnsP3_222
lola: REM DEA TR: t = T-poll__handleAnsP3_224
lola: REM DEA TR: t = T-poll__handleAnsP3_225
lola: REM DEA TR: t = T-poll__handleAnsP3_232
lola: REM DEA TR: t = T-poll__handleAnsP3_233
lola: REM DEA TR: t = T-poll__handleAnsP3_235
lola: REM DEA TR: t = T-poll__handleAnsP3_242
lola: REM DEA TR: t = T-poll__handleAnsP3_243
lola: REM DEA TR: t = T-poll__handleAnsP3_244
lola: REM DEA TR: t = T-poll__handleAnsP2_3
lola: REM DEA TR: t = T-poll__handleAnsP2_5
lola: REM DEA TR: t = T-poll__handleAnsP2_7
lola: REM DEA TR: t = T-poll__handleAnsP2_9
lola: REM DEA TR: t = T-poll__handleAnnP1_2
lola: REM DEA TR: t = T-poll__handleAnnP1_3
lola: REM DEA TR: t = T-poll__handleAnnP1_4
lola: REM DEA TR: t = T-poll__handleAnnP1_5
lola: REM DEA TR: t = T-poll__handleAnsP4_3
lola: REM DEA TR: t = T-poll__handleAnsP4_4
lola: REM DEA TR: t = T-poll__handleAnsP4_5
lola: REM DEA TR: t = T-poll__handleAnsP4_6
lola: REM DEA TR: t = T-poll__handleAnsP4_7
lola: REM DEA TR: t = T-poll__handleAnsP4_8
lola: REM DEA TR: t = T-poll__handleAnsP4_9
lola: REM DEA TR: t = T-poll__handleAnnP2_1
lola: REM DEA TR: t = T-poll__handleAnnP2_4
lola: REM DEA TR: t = T-poll__handleAnnP2_5
lola: REM DEA TR: t = T-poll__handleAnnP1_32
lola: REM DEA TR: t = T-poll__handleAnnP1_33
lola: REM DEA TR: t = T-poll__handleAnnP1_34
lola: REM DEA TR: t = T-poll__handleAnnP1_35
lola: REM DEA TR: t = T-poll__handleAnnP1_42
lola: REM DEA TR: t = T-poll__handleAnnP1_43
lola: REM DEA TR: t = T-poll__handleAnnP1_44
lola: REM DEA TR: t = T-poll__handleAnnP1_45
lola: REM DEA TR: t = T-poll__handleRI_1
lola: REM DEA TR: t = T-poll__handleRI_2
lola: REM DEA TR: t = T-poll__handleRI_3
lola: REM DEA TR: t = T-poll__handleRI_4
lola: REM DEA TR: t = T-poll__handleRI_5
lola: REM DEA TR: t = T-poll__handleAskP_154
lola: REM DEA TR: t = T-poll__handleAskP_159
lola: REM DEA TR: t = T-poll__handleAskP_164
lola: REM DEA TR: t = T-poll__handleAskP_169
lola: REM DEA TR: t = T-poll__handleAskP_174
lola: REM DEA TR: t = T-poll__handleAskP_179
lola: REM DEA TR: t = T-poll__handleRP_14
lola: REM DEA TR: t = T-poll__handleRP_23
lola: REM DEA TR: t = T-poll__handleAnsP4_163
lola: REM DEA TR: t = T-poll__handleAnsP4_164
lola: REM DEA TR: t = T-poll__handleAnsP4_165
lola: REM DEA TR: t = T-poll__handleAnsP4_166
lola: REM DEA TR: t = T-poll__handleAnsP4_167
lola: REM DEA TR: t = T-poll__handleAnsP4_168
lola: REM DEA TR: t = T-poll__handleAnsP4_169
lola: REM DEA TR: t = T-poll__handleAnsP4_170
lola: REM DEA TR: t = T-poll__handleAI1_105
lola: REM DEA TR: t = T-poll__handleAI1_110
lola: REM DEA TR: t = T-poll__handleAI1_115
lola: REM DEA TR: t = T-poll__handleAI1_120
lola: REM DEA TR: t = T-poll__handleAI1_125
lola: REM DEA TR: t = T-startNeg__send_47
lola: REM DEA TR: t = T-startNeg__send_50
lola: REM DEA TR: t = T-poll__handleAnnP1_241
lola: REM DEA TR: t = T-poll__handleAnnP1_242
lola: REM DEA TR: t = T-poll__handleAnnP1_243
lola: REM DEA TR: t = T-poll__handleAnnP1_244
lola: REM DEA TR: t = T-poll__handleAnnP1_246
lola: REM DEA TR: t = T-poll__handleAnnP2_25
lola: REM DEA TR: t = T-poll__handleAnsP1_6
lola: REM DEA TR: t = T-poll__handleAnsP2_53
lola: REM DEA TR: t = T-poll__handleAnsP2_54
lola: REM DEA TR: t = T-poll__handleAnsP3_263
lola: REM DEA TR: t = T-poll__handleAnsP3_264
lola: REM DEA TR: t = T-poll__handleAnsP3_265
lola: REM DEA TR: t = T-poll__handleAnsP3_268
lola: REM DEA TR: t = T-poll__handleAnsP3_269
lola: REM DEA TR: t = T-poll__handleAnsP3_270
lola: REM DEA TR: t = T-poll__handleAnsP2_55
lola: REM DEA TR: t = T-poll__handleAnsP2_56
lola: REM DEA TR: t = T-poll__handleAnsP3_272
lola: REM DEA TR: t = T-poll__handleAnsP3_274
lola: REM DEA TR: t = T-poll__handleAnsP3_275
lola: REM DEA TR: t = T-poll__handleAnsP3_277
lola: REM DEA TR: t = T-poll__handleAnsP3_279
lola: REM DEA TR: t = T-poll__handleAnsP3_280
lola: REM DEA TR: t = T-poll__handleAnsP2_57
lola: REM DEA TR: t = T-poll__handleAnsP2_58
lola: REM DEA TR: t = T-poll__handleAnsP3_282
lola: REM DEA TR: t = T-poll__handleAnsP3_283
lola: REM DEA TR: t = T-poll__handleAnsP3_285
lola: REM DEA TR: t = T-poll__handleAnsP3_287
lola: REM DEA TR: t = T-poll__handleAnsP3_288
lola: REM DEA TR: t = T-poll__handleAnsP3_290
lola: REM DEA TR: t = T-poll__handleAnsP2_59
lola: REM DEA TR: t = T-poll__handleAnsP2_60
lola: REM DEA TR: t = T-poll__handleAnsP3_292
lola: REM DEA TR: t = T-poll__handleAnsP3_293
lola: REM DEA TR: t = T-poll__handleAnsP3_294
lola: REM DEA TR: t = T-poll__handleAnsP3_297
lola: REM DEA TR: t = T-poll__handleAnsP3_298
lola: REM DEA TR: t = T-poll__handleAnsP3_299
lola: REM DEA TR: t = T-poll__handleAnnP2_9
lola: REM DEA TR: t = T-poll__handleAnnP1_81
lola: REM DEA TR: t = T-poll__handleAnnP1_83
lola: REM DEA TR: t = T-poll__handleAnnP1_84
lola: REM DEA TR: t = T-poll__handleAnnP1_85
lola: REM DEA TR: t = T-poll__handleAnnP1_86
lola: REM DEA TR: t = T-poll__handleAnnP1_88
lola: REM DEA TR: t = T-poll__handleAnnP1_89
lola: REM DEA TR: t = T-poll__handleAnnP1_90
lola: REM DEA TR: t = T-poll__handleRP_20
lola: REM DEA TR: t = T-poll__handleAnsP4_203
lola: REM DEA TR: t = T-poll__handleAnsP4_204
lola: REM DEA TR: t = T-poll__handleAnsP4_205
lola: REM DEA TR: t = T-poll__handleAnsP4_206
lola: REM DEA TR: t = T-poll__handleAnsP4_207
lola: REM DEA TR: t = T-poll__handleAnsP4_208
lola: REM DEA TR: t = T-poll__handleAnsP4_209
lola: REM DEA TR: t = T-poll__handleAnsP4_210
lola: REM DEA TR: t = T-poll__handleAskP_82
lola: REM DEA TR: t = T-poll__handleAskP_83
lola: REM DEA TR: t = T-poll__handleAskP_84
lola: REM DEA TR: t = T-poll__handleAskP_85
lola: REM DEA TR: t = T-poll__handleAnsP2_64
lola: REM DEA TR: t = T-poll__handleAnsP2_74
lola: REM DEA TR: t = T-poll__handleAnsP2_84
lola: REM DEA TR: t = T-poll__handleAnsP2_94
lola: REM DEA TR: t = T-poll__handleAnsP3_327
lola: REM DEA TR: t = T-poll__handleAnsP3_337
lola: REM DEA TR: t = T-poll__handleAnsP3_347
lola: REM DEA TR: t = T-poll__handleAnsP3_377
lola: REM DEA TR: t = T-poll__handleAnsP3_387
lola: REM DEA TR: t = T-poll__handleAnsP3_397
lola: REM DEA TR: t = T-poll__handleAI2_327
lola: REM DEA TR: t = T-poll__handleAI2_337
lola: REM DEA TR: t = T-poll__handleAI2_347
lola: REM DEA TR: t = T-poll__handleAI2_377
lola: REM DEA TR: t = T-poll__handleAI2_387
lola: REM DEA TR: t = T-poll__handleAI2_397
lola: REM DEA TR: t = T-poll__handleAnsP3_427
lola: REM DEA TR: t = T-poll__handleAnsP3_437
lola: REM DEA TR: t = T-poll__handleAnsP3_447
lola: REM DEA TR: t = T-poll__handleAnsP3_477
lola: REM DEA TR: t = T-poll__handleAnsP3_487
lola: REM DEA TR: t = T-poll__handleAnsP3_497
lola: REM DEA TR: t = T-poll__handleAI2_427
lola: REM DEA TR: t = T-poll__handleAI2_437
lola: REM DEA TR: t = T-poll__handleAI2_447
lola: REM DEA TR: t = T-poll__handleAI2_477
lola: REM DEA TR: t = T-poll__handleAI2_487
lola: REM DEA TR: t = T-poll__handleAI2_497
lola: REM DEA TR: t = T-poll__handleAnnP2_8
lola: REM DEA TR: t = T-poll__handleAskP_87
lola: REM DEA TR: t = T-poll__handleAskP_88
lola: REM DEA TR: t = T-poll__handleAskP_89
lola: REM DEA TR: t = T-poll__handleAskP_90
lola: REM DEA TR: t = T-poll__handleAnsP2_66
lola: REM DEA TR: t = T-poll__handleAnsP2_76
lola: REM DEA TR: t = T-poll__handleAnsP2_86
lola: REM DEA TR: t = T-poll__handleAnsP2_96
lola: REM DEA TR: t = T-poll__handleAnsP3_318
lola: REM DEA TR: t = T-poll__handleAnsP3_338
lola: REM DEA TR: t = T-poll__handleAnsP3_348
lola: REM DEA TR: t = T-poll__handleAnsP3_368
lola: REM DEA TR: t = T-poll__handleAnsP3_388
lola: REM DEA TR: t = T-poll__handleAnsP3_398
lola: REM DEA TR: t = T-poll__handleAI2_328
lola: REM DEA TR: t = T-poll__handleAI2_338
lola: REM DEA TR: t = T-poll__handleAI2_348
lola: REM DEA TR: t = T-poll__handleAI2_378
lola: REM DEA TR: t = T-poll__handleAI2_388
lola: REM DEA TR: t = T-poll__handleAI2_398
lola: REM DEA TR: t = T-poll__handleAnsP3_418
lola: REM DEA TR: t = T-poll__handleAnsP3_438
lola: REM DEA TR: t = T-poll__handleAnsP3_448
lola: REM DEA TR: t = T-poll__handleAnsP3_468
lola: REM DEA TR: t = T-poll__handleAnsP3_488
lola: REM DEA TR: t = T-poll__handleAnsP3_498
lola: REM DEA TR: t = T-poll__handleAI2_428
lola: REM DEA TR: t = T-poll__handleAI2_438
lola: REM DEA TR: t = T-poll__handleAI2_448
lola: REM DEA TR: t = T-poll__handleAI2_478
lola: REM DEA TR: t = T-poll__handleAI2_488
lola: REM DEA TR: t = T-poll__handleAI2_498
lola: REM DEA TR: t = T-poll__handleAnnP1_78
lola: REM DEA TR: t = T-poll__handleAskP_92
lola: REM DEA TR: t = T-poll__handleAskP_93
lola: REM DEA TR: t = T-poll__handleAskP_94
lola: REM DEA TR: t = T-poll__handleAskP_95
lola: REM DEA TR: t = T-poll__handleAnsP2_68
lola: REM DEA TR: t = T-poll__handleAnsP2_78
lola: REM DEA TR: t = T-poll__handleAnsP2_88
lola: REM DEA TR: t = T-poll__handleAnsP2_98
lola: REM DEA TR: t = T-poll__handleAnsP3_319
lola: REM DEA TR: t = T-poll__handleAnsP3_329
lola: REM DEA TR: t = T-poll__handleAnsP3_349
lola: REM DEA TR: t = T-poll__handleAnsP3_369
lola: REM DEA TR: t = T-poll__handleAnsP3_379
lola: REM DEA TR: t = T-poll__handleAnsP3_399
lola: REM DEA TR: t = T-poll__handleAI2_329
lola: REM DEA TR: t = T-poll__handleAI2_339
lola: REM DEA TR: t = T-poll__handleAI2_349
lola: REM DEA TR: t = T-poll__handleAI2_379
lola: REM DEA TR: t = T-poll__handleAI2_389
lola: REM DEA TR: t = T-poll__handleAI2_399
lola: REM DEA TR: t = T-poll__handleAnsP3_419
lola: REM DEA TR: t = T-poll__handleAnsP3_429
lola: REM DEA TR: t = T-poll__handleAnsP3_449
lola: REM DEA TR: t = T-poll__handleAnsP3_469
lola: REM DEA TR: t = T-poll__handleAnsP3_479
lola: REM DEA TR: t = T-poll__handleAnsP3_499
lola: REM DEA TR: t = T-poll__handleAI2_429
lola: REM DEA TR: t = T-poll__handleAI2_439
lola: REM DEA TR: t = T-poll__handleAI2_449
lola: REM DEA TR: t = T-poll__handleAI2_479
lola: REM DEA TR: t = T-poll__handleAI2_489
lola: REM DEA TR: t = T-poll__handleAI2_499
lola: REM DEA TR: t = T-poll__handleAnnP1_79
lola: REM DEA TR: t = T-poll__handleAnsP2_100
lola: REM DEA TR: t = T-poll__handleAskP_97
lola: REM DEA TR: t = T-poll__handleAskP_98
lola: REM DEA TR: t = T-poll__handleAskP_99
lola: REM DEA TR: t = T-poll__handleAnsP2_70
lola: REM DEA TR: t = T-poll__handleAnsP2_80
lola: REM DEA TR: t = T-poll__handleAnsP2_90
lola: REM DEA TR: t = T-poll__handleAnsP3_320
lola: REM DEA TR: t = T-poll__handleAnsP3_330
lola: REM DEA TR: t = T-poll__handleAnsP3_340
lola: REM DEA TR: t = T-poll__handleAnsP3_370
lola: REM DEA TR: t = T-poll__handleAnsP3_380
lola: REM DEA TR: t = T-poll__handleAnsP3_390
lola: REM DEA TR: t = T-poll__handleAI2_330
lola: REM DEA TR: t = T-poll__handleAI2_340
lola: REM DEA TR: t = T-poll__handleAI2_350
lola: REM DEA TR: t = T-poll__handleAI2_380
lola: REM DEA TR: t = T-poll__handleAI2_390
lola: REM DEA TR: t = T-poll__handleAnsP3_420
lola: REM DEA TR: t = T-poll__handleAnsP3_430
lola: REM DEA TR: t = T-poll__handleAnsP3_440
lola: REM DEA TR: t = T-poll__handleAnsP3_470
lola: REM DEA TR: t = T-poll__handleAnsP3_480
lola: REM DEA TR: t = T-poll__handleAnsP3_490
lola: REM DEA TR: t = T-poll__handleAI2_400
lola: REM DEA TR: t = T-poll__handleAI2_430
lola: REM DEA TR: t = T-poll__handleAI2_440
lola: REM DEA TR: t = T-poll__handleAI2_450
lola: REM DEA TR: t = T-poll__handleAI2_480
lola: REM DEA TR: t = T-poll__handleAI2_490
lola: REM DEA TR: t = T-poll__handleAnnP1_80
lola: REM DEA TR: t = T-poll__handleAI2_500
lola: REM DEA TR: t = T-poll__handleAskP_100
lola: REM DEA TR: t = T-poll__handleAskP_52
lola: REM DEA TR: t = T-poll__handleAskP_57
lola: REM DEA TR: t = T-poll__handleAskP_62
lola: REM DEA TR: t = T-poll__handleAskP_67
lola: REM DEA TR: t = T-poll__handleAskP_72
lola: REM DEA TR: t = T-poll__handleAskP_77
lola: REM DEA TR: t = T-poll__handleAnsP4_193
lola: REM DEA TR: t = T-poll__handleAnsP4_194
lola: REM DEA TR: t = T-poll__handleAnsP4_195
lola: REM DEA TR: t = T-poll__handleAnsP4_196
lola: REM DEA TR: t = T-poll__handleAnsP4_197
lola: REM DEA TR: t = T-poll__handleAnsP4_198
lola: REM DEA TR: t = T-poll__handleAnsP4_199
lola: REM DEA TR: t = T-poll__handleAnsP4_200
lola: REM DEA TR: t = T-startNeg__send_52
lola: REM DEA TR: t = T-startNeg__send_54
lola: REM DEA TR: t = T-poll__handleRI_16
lola: REM DEA TR: t = T-poll__handleAskP_101
lola: REM DEA TR: t = T-poll__handleAskP_106
lola: REM DEA TR: t = T-poll__handleAskP_111
lola: REM DEA TR: t = T-poll__handleAskP_116
lola: REM DEA TR: t = T-poll__handleAskP_121
lola: REM DEA TR: t = T-poll__handleAskP_126
lola: REM DEA TR: t = T-poll__handleAnsP3_1020
lola: REM DEA TR: t = T-poll__handleAnsP3_1030
lola: REM DEA TR: t = T-poll__handleAnsP3_1040
lola: REM DEA TR: t = T-poll__handleAnsP3_1070
lola: REM DEA TR: t = T-poll__handleAnsP3_1080
lola: REM DEA TR: t = T-poll__handleAnsP3_1090
lola: REM DEA TR: t = T-poll__handleAskP_247
lola: REM DEA TR: t = T-poll__handleAskP_248
lola: REM DEA TR: t = T-poll__handleAskP_249
lola: REM DEA TR: t = T-poll__handleAskP_250
lola: REM DEA TR: t = T-poll__handleAnsP3_1120
lola: REM DEA TR: t = T-poll__handleAnsP3_1130
lola: REM DEA TR: t = T-poll__handleAnsP3_1140
lola: REM DEA TR: t = T-poll__handleAnsP3_1170
lola: REM DEA TR: t = T-poll__handleAnsP3_1180
lola: REM DEA TR: t = T-poll__handleAnsP3_1190
lola: REM DEA TR: t = T-poll__handleAnsP3_1220
lola: REM DEA TR: t = T-poll__handleAnsP3_1230
lola: REM DEA TR: t = T-poll__handleAnsP3_1240
lola: REM DEA TR: t = T-poll__handleAnsP2_210
lola: REM DEA TR: t = T-poll__handleAnsP2_220
lola: REM DEA TR: t = T-poll__handleAnsP2_230
lola: REM DEA TR: t = T-poll__handleAnsP2_240
lola: REM DEA TR: t = T-poll__handleAnsP2_250
lola: REM DEA TR: t = T-poll__handleAnnP2_21
lola: REM DEA TR: t = T-poll__handleAnnP2_24
lola: REM DEA TR: t = T-poll__handleAnnP1_161
lola: REM DEA TR: t = T-poll__handleAnnP1_162
lola: REM DEA TR: t = T-poll__handleAnnP1_163
lola: REM DEA TR: t = T-poll__handleAnnP1_165
lola: REM DEA TR: t = T-poll__handleAnnP1_166
lola: REM DEA TR: t = T-poll__handleAskP_58
lola: REM DEA TR: t = T-poll__handleAskP_59
lola: REM DEA TR: t = T-poll__handleAskP_60
lola: REM DEA TR: t = T-poll__handleAnsP2_63
lola: REM DEA TR: t = T-poll__handleAnsP2_73
lola: REM DEA TR: t = T-poll__handleAnsP2_83
lola: REM DEA TR: t = T-poll__handleAnsP2_93
lola: REM DEA TR: t = T-poll__handleAnsP3_322
lola: REM DEA TR: t = T-poll__handleAnsP3_332
lola: REM DEA TR: t = T-poll__handleAnsP3_342
lola: REM DEA TR: t = T-poll__handleAnsP3_372
lola: REM DEA TR: t = T-poll__handleAnsP3_382
lola: REM DEA TR: t = T-poll__handleAnsP3_392
lola: REM DEA TR: t = T-poll__handleAI2_322
lola: REM DEA TR: t = T-poll__handleAI2_332
lola: REM DEA TR: t = T-poll__handleAI2_342
lola: REM DEA TR: t = T-poll__handleAI2_372
lola: REM DEA TR: t = T-poll__handleAI2_382
lola: REM DEA TR: t = T-poll__handleAI2_392
lola: REM DEA TR: t = T-poll__handleAnsP3_422
lola: REM DEA TR: t = T-poll__handleAnsP3_432
lola: REM DEA TR: t = T-poll__handleAnsP3_442
lola: REM DEA TR: t = T-poll__handleAnsP3_472
lola: REM DEA TR: t = T-poll__handleAnsP3_482
lola: REM DEA TR: t = T-poll__handleAnsP3_492
lola: REM DEA TR: t = T-poll__handleAI2_422
lola: REM DEA TR: t = T-poll__handleAI2_432
lola: REM DEA TR: t = T-poll__handleAI2_442
lola: REM DEA TR: t = T-poll__handleAI2_472
lola: REM DEA TR: t = T-poll__handleAI2_482
lola: REM DEA TR: t = T-poll__handleAI2_492
lola: REM DEA TR: t = T-poll__handleAskP_68
lola: REM DEA TR: t = T-poll__handleAskP_69
lola: REM DEA TR: t = T-poll__handleAskP_70
lola: REM DEA TR: t = T-poll__handleAnsP2_67
lola: REM DEA TR: t = T-poll__handleAnsP2_77
lola: REM DEA TR: t = T-poll__handleAnsP2_87
lola: REM DEA TR: t = T-poll__handleAnsP2_97
lola: REM DEA TR: t = T-poll__handleAnsP3_314
lola: REM DEA TR: t = T-poll__handleAnsP3_324
lola: REM DEA TR: t = T-poll__handleAnsP3_344
lola: REM DEA TR: t = T-poll__handleAnsP3_364
lola: REM DEA TR: t = T-poll__handleAnsP3_374
lola: REM DEA TR: t = T-poll__handleAnsP3_394
lola: REM DEA TR: t = T-poll__handleAI2_324
lola: REM DEA TR: t = T-poll__handleAI2_334
lola: REM DEA TR: t = T-poll__handleAI2_344
lola: REM DEA TR: t = T-poll__handleAI2_374
lola: REM DEA TR: t = T-poll__handleAI2_384
lola: REM DEA TR: t = T-poll__handleAI2_394
lola: REM DEA TR: t = T-poll__handleAnsP3_414
lola: REM DEA TR: t = T-poll__handleAnsP3_424
lola: REM DEA TR: t = T-poll__handleAnsP3_444
lola: REM DEA TR: t = T-poll__handleAnsP3_464
lola: REM DEA TR: t = T-poll__handleAnsP3_474
lola: REM DEA TR: t = T-poll__handleAnsP3_494
lola: REM DEA TR: t = T-poll__handleAI2_424
lola: REM DEA TR: t = T-poll__handleAI2_434
lola: REM DEA TR: t = T-poll__handleAI2_444
lola: REM DEA TR: t = T-poll__handleAI2_474
lola: REM DEA TR: t = T-poll__handleAI2_484
lola: REM DEA TR: t = T-poll__handleAI2_494
lola: REM DEA TR: t = T-poll__handleAnnP1_74
lola: REM DEA TR: t = T-poll__handleAskP_73
lola: REM DEA TR: t = T-poll__handleAskP_74
lola: REM DEA TR: t = T-poll__handleAskP_75
lola: REM DEA TR: t = T-poll__handleAnsP2_69
lola: REM DEA TR: t = T-poll__handleAnsP2_79
lola: REM DEA TR: t = T-poll__handleAnsP2_89
lola: REM DEA TR: t = T-poll__handleAnsP2_99
lola: REM DEA TR: t = T-poll__handleAnsP3_315
lola: REM DEA TR: t = T-poll__handleAnsP3_325
lola: REM DEA TR: t = T-poll__handleAnsP3_335
lola: REM DEA TR: t = T-poll__handleAnsP3_365
lola: REM DEA TR: t = T-poll__handleAnsP3_375
lola: REM DEA TR: t = T-poll__handleAnsP3_385
lola: REM DEA TR: t = T-poll__handleAI2_325
lola: REM DEA TR: t = T-poll__handleAI2_335
lola: REM DEA TR: t = T-poll__handleAI2_345
lola: REM DEA TR: t = T-poll__handleAI2_375
lola: REM DEA TR: t = T-poll__handleAI2_385
lola: REM DEA TR: t = T-poll__handleAI2_395
lola: REM DEA TR: t = T-poll__handleAnsP3_415
lola: REM DEA TR: t = T-poll__handleAnsP3_425
lola: REM DEA TR: t = T-poll__handleAnsP3_435
lola: REM DEA TR: t = T-poll__handleAnsP3_465
lola: REM DEA TR: t = T-poll__handleAnsP3_475
lola: REM DEA TR: t = T-poll__handleAnsP3_485
lola: REM DEA TR: t = T-poll__handleAI2_425
lola: REM DEA TR: t = T-poll__handleAI2_435
lola: REM DEA TR: t = T-poll__handleAI2_445
lola: REM DEA TR: t = T-poll__handleAI2_475
lola: REM DEA TR: t = T-poll__handleAI2_485
lola: REM DEA TR: t = T-poll__handleAI2_495
lola: REM DEA TR: t = T-poll__handleAnnP1_75
lola: REM DEA TR: t = T-poll__handleAnnP1_201
lola: REM DEA TR: t = T-poll__handleAnnP1_202
lola: REM DEA TR: t = T-poll__handleAnnP1_203
lola: REM DEA TR: t = T-poll__handleAnnP1_204
lola: REM DEA TR: t = T-poll__handleAnnP1_206
lola: REM DEA TR: t = T-poll__handleAI1_76
lola: REM DEA TR: t = T-poll__handleAI1_77
lola: REM DEA TR: t = T-poll__handleAI1_78
lola: REM DEA TR: t = T-poll__handleAI1_80
lola: REM DEA TR: t = T-poll__handleAnsP2_163
lola: REM DEA TR: t = T-poll__handleAnsP3_813
lola: REM DEA TR: t = T-poll__handleAnsP3_814
lola: REM DEA TR: t = T-poll__handleAnsP3_815
lola: REM DEA TR: t = T-poll__handleAnsP2_167
lola: REM DEA TR: t = T-poll__handleAnsP3_832
lola: REM DEA TR: t = T-poll__handleAnsP3_833
lola: REM DEA TR: t = T-poll__handleAnsP3_835
lola: REM DEA TR: t = T-poll__handleAnsP2_169
lola: REM DEA TR: t = T-poll__handleAnsP3_842
lola: REM DEA TR: t = T-poll__handleAnsP3_843
lola: REM DEA TR: t = T-poll__handleAnsP3_844
lola: REM DEA TR: t = T-poll__handleAnnP1_191
lola: REM DEA TR: t = T-poll__handleAnnP1_192
lola: REM DEA TR: t = T-poll__handleAnnP1_193
lola: REM DEA TR: t = T-poll__handleAnnP1_195
lola: REM DEA TR: t = T-poll__handleAnnP1_196
lola: REM DEA TR: t = T-poll__handleAnsP1_21
lola: REM DEA TR: t = T-poll__handleAnsP3_1013
lola: REM DEA TR: t = T-poll__handleAnsP3_1014
lola: REM DEA TR: t = T-poll__handleAnsP3_1015
lola: REM DEA TR: t = T-poll__handleAnsP2_203
lola: REM DEA TR: t = T-poll__handleAnsP3_1022
lola: REM DEA TR: t = T-poll__handleAnsP3_1024
lola: REM DEA TR: t = T-poll__handleAnsP3_1025
lola: REM DEA TR: t = T-poll__handleAnsP2_205
lola: REM DEA TR: t = T-poll__handleAnsP3_1032
lola: REM DEA TR: t = T-poll__handleAnsP3_1033
lola: REM DEA TR: t = T-poll__handleAnsP3_1035
lola: REM DEA TR: t = T-poll__handleAnsP2_207
lola: REM DEA TR: t = T-poll__handleAnsP3_1042
lola: REM DEA TR: t = T-poll__handleAnsP3_1043
lola: REM DEA TR: t = T-poll__handleAnsP3_1044
lola: REM DEA TR: t = T-poll__handleAnsP2_209
lola: REM DEA TR: t = T-poll__handleAskP_202
lola: REM DEA TR: t = T-poll__handleAskP_203
lola: REM DEA TR: t = T-poll__handleAskP_204
lola: REM DEA TR: t = T-poll__handleAskP_205
lola: REM DEA TR: t = T-poll__handleAnnP1_231
lola: REM DEA TR: t = T-poll__handleAnsP3_1072
lola: REM DEA TR: t = T-poll__handleAnsP3_1082
lola: REM DEA TR: t = T-poll__handleAnsP3_1092
lola: REM DEA TR: t = T-poll__handleAskP_207
lola: REM DEA TR: t = T-poll__handleAskP_208
lola: REM DEA TR: t = T-poll__handleAskP_209
lola: REM DEA TR: t = T-poll__handleAskP_210
lola: REM DEA TR: t = T-poll__handleAnsP3_1122
lola: REM DEA TR: t = T-poll__handleAnsP3_1132
lola: REM DEA TR: t = T-poll__handleAnsP3_1142
lola: REM DEA TR: t = T-poll__handleAnsP3_1172
lola: REM DEA TR: t = T-poll__handleAnsP3_1182
lola: REM DEA TR: t = T-poll__handleAnsP3_1192
lola: REM DEA TR: t = T-poll__handleAnsP3_1222
lola: REM DEA TR: t = T-poll__handleAnsP3_1232
lola: REM DEA TR: t = T-poll__handleAnsP3_1242
lola: REM DEA TR: t = T-poll__handleAnnP1_232
lola: REM DEA TR: t = T-poll__handleAnsP2_213
lola: REM DEA TR: t = T-poll__handleAnsP2_223
lola: REM DEA TR: t = T-poll__handleAnsP2_233
lola: REM DEA TR: t = T-poll__handleAnsP2_243
lola: REM DEA TR: t = T-poll__handleAnsP3_1063
lola: REM DEA TR: t = T-poll__handleAnsP3_1083
lola: REM DEA TR: t = T-poll__handleAnsP3_1093
lola: REM DEA TR: t = T-poll__handleAskP_212
lola: REM DEA TR: t = T-poll__handleAskP_213
lola: REM DEA TR: t = T-poll__handleAskP_214
lola: REM DEA TR: t = T-poll__handleAskP_215
lola: REM DEA TR: t = T-poll__handleAnsP3_1113
lola: REM DEA TR: t = T-poll__handleAnsP3_1133
lola: REM DEA TR: t = T-poll__handleAnsP3_1143
lola: REM DEA TR: t = T-poll__handleAnsP3_1163
lola: REM DEA TR: t = T-poll__handleAnsP3_1183
lola: REM DEA TR: t = T-poll__handleAnsP3_1193
lola: REM DEA TR: t = T-poll__handleAnsP3_1213
lola: REM DEA TR: t = T-poll__handleAnsP3_1233
lola: REM DEA TR: t = T-poll__handleAnsP3_1243
lola: REM DEA TR: t = T-poll__handleAnnP1_233
lola: REM DEA TR: t = T-poll__handleAnsP2_215
lola: REM DEA TR: t = T-poll__handleAnsP2_225
lola: REM DEA TR: t = T-poll__handleAnsP2_235
lola: REM DEA TR: t = T-poll__handleAnsP2_245
lola: REM DEA TR: t = T-poll__handleAnsP3_1065
lola: REM DEA TR: t = T-poll__handleAnsP3_1075
lola: REM DEA TR: t = T-poll__handleAnsP3_1085
lola: REM DEA TR: t = T-poll__handleAskP_222
lola: REM DEA TR: t = T-poll__handleAskP_223
lola: REM DEA TR: t = T-poll__handleAskP_224
lola: REM DEA TR: t = T-poll__handleAskP_225
lola: REM DEA TR: t = T-poll__handleAnsP3_1115
lola: REM DEA TR: t = T-poll__handleAnsP3_1125
lola: REM DEA TR: t = T-poll__handleAnsP3_1135
lola: REM DEA TR: t = T-poll__handleAnsP3_1165
lola: REM DEA TR: t = T-poll__handleAnsP3_1175
lola: REM DEA TR: t = T-poll__handleAnsP3_1185
lola: REM DEA TR: t = T-poll__handleAnsP3_1215
lola: REM DEA TR: t = T-poll__handleAnsP3_1225
lola: REM DEA TR: t = T-poll__handleAnsP3_1235
lola: REM DEA TR: t = T-poll__handleAnsP2_219
lola: REM DEA TR: t = T-poll__handleAnsP2_229
lola: REM DEA TR: t = T-poll__handleAnsP2_239
lola: REM DEA TR: t = T-poll__handleAnsP2_249
lola: REM DEA TR: t = T-poll__handleAnnP1_234
lola: REM DEA TR: t = T-poll__handleAnnP1_236
lola: REM DEA TR: t = T-poll__handleAnsP3_963
lola: REM DEA TR: t = T-poll__handleAnsP3_964
lola: REM DEA TR: t = T-poll__handleAnsP3_965
lola: REM DEA TR: t = T-poll__handleAnsP2_193
lola: REM DEA TR: t = T-poll__handleAnsP3_972
lola: REM DEA TR: t = T-poll__handleAnsP3_974
lola: REM DEA TR: t = T-poll__handleAnsP3_975
lola: REM DEA TR: t = T-poll__handleAnsP2_195
lola: REM DEA TR: t = T-poll__handleAnsP3_992
lola: REM DEA TR: t = T-poll__handleAnsP3_993
lola: REM DEA TR: t = T-poll__handleAnsP3_994
lola: REM DEA TR: t = T-poll__handleAnsP2_199
lola: REM DEA TR: t = T-poll__handleAI1_81
lola: REM DEA TR: t = T-poll__handleAI1_86
lola: REM DEA TR: t = T-poll__handleAI1_91
lola: REM DEA TR: t = T-poll__handleAI2_791
lola: REM DEA TR: t = T-poll__handleAI2_792
lola: REM DEA TR: t = T-poll__handleAI2_793
lola: REM DEA TR: t = T-poll__handleAI2_794
lola: REM DEA TR: t = T-poll__handleAI2_795
lola: REM DEA TR: t = T-poll__handleAI2_796
lola: REM DEA TR: t = T-poll__handleAnnP1_71
lola: REM DEA TR: t = T-poll__handleAnnP1_73
lola: REM DEA TR: t = T-poll__handleAnnP1_76
lola: REM DEA TR: t = T-poll__handleAI1_27
lola: REM DEA TR: t = T-poll__handleAI1_32
lola: REM DEA TR: t = T-poll__handleAI2_321
lola: REM DEA TR: t = T-poll__handleAI2_323
lola: REM DEA TR: t = T-poll__handleAI2_326
lola: REM DEA TR: t = T-poll__handleAI2_331
lola: REM DEA TR: t = T-poll__handleAI2_333
lola: REM DEA TR: t = T-poll__handleAI2_336
lola: REM DEA TR: t = T-poll__handleAI2_341
lola: REM DEA TR: t = T-poll__handleAI2_343
lola: REM DEA TR: t = T-poll__handleAI2_346
lola: REM DEA TR: t = T-poll__handleRI_11
lola: REM DEA TR: t = T-poll__handleAnnP1_111
lola: REM DEA TR: t = T-poll__handleAnnP1_112
lola: REM DEA TR: t = T-poll__handleAnnP1_114
lola: REM DEA TR: t = T-poll__handleAnnP1_115
lola: REM DEA TR: t = T-poll__handleAnnP1_116
lola: REM DEA TR: t = T-poll__handleAskP_220
lola: REM DEA TR: t = T-poll__handleAskP_230
lola: REM DEA TR: t = T-poll__handleAnsP2_113
lola: REM DEA TR: t = T-poll__handleAnsP3_563
lola: REM DEA TR: t = T-poll__handleAnsP3_564
lola: REM DEA TR: t = T-poll__handleAnsP3_565
lola: REM DEA TR: t = T-poll__handleAnsP2_117
lola: REM DEA TR: t = T-poll__handleAnsP3_582
lola: REM DEA TR: t = T-poll__handleAnsP3_583
lola: REM DEA TR: t = T-poll__handleAnsP3_585
lola: REM DEA TR: t = T-poll__handleAnsP2_119
lola: REM DEA TR: t = T-poll__handleAnsP3_592
lola: REM DEA TR: t = T-poll__handleAnsP3_593
lola: REM DEA TR: t = T-poll__handleAnsP3_594
lola: REM DEA TR: t = T-poll__handleAnnP1_141
lola: REM DEA TR: t = T-poll__handleAnnP1_142
lola: REM DEA TR: t = T-poll__handleAnnP1_144
lola: REM DEA TR: t = T-poll__handleAnnP1_145
lola: REM DEA TR: t = T-poll__handleAnnP1_146
lola: REM DEA TR: t = T-poll__handleAskP_103
lola: REM DEA TR: t = T-poll__handleAskP_108
lola: REM DEA TR: t = T-poll__handleAskP_113
lola: REM DEA TR: t = T-poll__handleAskP_118
lola: REM DEA TR: t = T-poll__handleAskP_123
lola: REM DEA TR: t = T-poll__handleAskP_128
lola: REM DEA TR: t = T-poll__handleAI1_52
lola: REM DEA TR: t = T-poll__handleAI1_54
lola: REM DEA TR: t = T-poll__handleAI1_55
lola: REM DEA TR: t = T-poll__handleAnsP1_16
lola: REM DEA TR: t = T-poll__handleAnsP2_153
lola: REM DEA TR: t = T-poll__handleAnsP3_763
lola: REM DEA TR: t = T-poll__handleAnsP3_764
lola: REM DEA TR: t = T-poll__handleAnsP3_765
lola: REM DEA TR: t = T-poll__handleAnsP2_155
lola: REM DEA TR: t = T-poll__handleAnsP3_772
lola: REM DEA TR: t = T-poll__handleAnsP3_774
lola: REM DEA TR: t = T-poll__handleAnsP3_775
lola: REM DEA TR: t = T-poll__handleAnsP2_157
lola: REM DEA TR: t = T-poll__handleAnsP3_782
lola: REM DEA TR: t = T-poll__handleAnsP3_783
lola: REM DEA TR: t = T-poll__handleAnsP3_785
lola: REM DEA TR: t = T-poll__handleAnsP2_159
lola: REM DEA TR: t = T-poll__handleAnsP3_792
lola: REM DEA TR: t = T-poll__handleAnsP3_793
lola: REM DEA TR: t = T-poll__handleAnsP3_794
lola: REM DEA TR: t = T-poll__handleAnsP2_143
lola: REM DEA TR: t = T-poll__handleAnsP3_713
lola: REM DEA TR: t = T-poll__handleAnsP3_714
lola: REM DEA TR: t = T-poll__handleAnsP3_715
lola: REM DEA TR: t = T-poll__handleAnsP2_145
lola: REM DEA TR: t = T-poll__handleAnsP3_722
lola: REM DEA TR: t = T-poll__handleAnsP3_724
lola: REM DEA TR: t = T-poll__handleAnsP3_725
lola: REM DEA TR: t = T-poll__handleAnsP2_149
lola: REM DEA TR: t = T-poll__handleAnsP3_742
lola: REM DEA TR: t = T-poll__handleAnsP3_743
lola: REM DEA TR: t = T-poll__handleAnsP3_744
lola: REM DEA TR: t = T-poll__handleAnsP2_103
lola: REM DEA TR: t = T-poll__handleAnsP2_123
lola: REM DEA TR: t = T-poll__handleAnsP2_133
lola: REM DEA TR: t = T-poll__handleAnsP3_522
lola: REM DEA TR: t = T-poll__handleAnsP3_532
lola: REM DEA TR: t = T-poll__handleAnsP3_542
lola: REM DEA TR: t = T-poll__handleAnsP3_572
lola: REM DEA TR: t = T-poll__handleAI2_582
lola: REM DEA TR: t = T-poll__handleAI2_592
lola: REM DEA TR: t = T-poll__handleAnsP3_622
lola: REM DEA TR: t = T-poll__handleAnsP3_632
lola: REM DEA TR: t = T-poll__handleAnsP3_642
lola: REM DEA TR: t = T-poll__handleAnsP3_672
lola: REM DEA TR: t = T-poll__handleAnsP3_682
lola: REM DEA TR: t = T-poll__handleAnsP3_692
lola: REM DEA TR: t = T-poll__handleAI2_682
lola: REM DEA TR: t = T-poll__handleAI2_692
lola: REM DEA TR: t = T-poll__handleAnsP3_732
lola: REM DEA TR: t = T-poll__handleAI2_732
lola: REM DEA TR: t = T-poll__handleAI2_742
lola: REM DEA TR: t = T-poll__handleAskP_107
lola: REM DEA TR: t = T-poll__handleAskP_109
lola: REM DEA TR: t = T-poll__handleAskP_110
lola: REM DEA TR: t = T-poll__handleAnsP2_105
lola: REM DEA TR: t = T-poll__handleAnsP2_115
lola: REM DEA TR: t = T-poll__handleAnsP2_125
lola: REM DEA TR: t = T-poll__handleAnsP2_135
lola: REM DEA TR: t = T-poll__handleAnsP3_513
lola: REM DEA TR: t = T-poll__handleAnsP3_533
lola: REM DEA TR: t = T-poll__handleAnsP3_543
lola: REM DEA TR: t = T-poll__handleAI2_583
lola: REM DEA TR: t = T-poll__handleAI2_593
lola: REM DEA TR: t = T-poll__handleAnsP3_613
lola: REM DEA TR: t = T-poll__handleAnsP3_633
lola: REM DEA TR: t = T-poll__handleAnsP3_643
lola: REM DEA TR: t = T-poll__handleAnsP3_663
lola: REM DEA TR: t = T-poll__handleAnsP3_683
lola: REM DEA TR: t = T-poll__handleAnsP3_693
lola: REM DEA TR: t = T-poll__handleAI2_683
lola: REM DEA TR: t = T-poll__handleAI2_693
lola: REM DEA TR: t = T-poll__handleAnsP3_733
lola: REM DEA TR: t = T-poll__handleAI2_733
lola: REM DEA TR: t = T-poll__handleAI2_743
lola: REM DEA TR: t = T-poll__handleAskP_112
lola: REM DEA TR: t = T-poll__handleAskP_114
lola: REM DEA TR: t = T-poll__handleAskP_115
lola: REM DEA TR: t = T-poll__handleAnsP2_107
lola: REM DEA TR: t = T-poll__handleAnsP2_127
lola: REM DEA TR: t = T-poll__handleAnsP2_137
lola: REM DEA TR: t = T-poll__handleAnsP2_147
lola: REM DEA TR: t = T-poll__handleAnsP3_514
lola: REM DEA TR: t = T-poll__handleAnsP3_524
lola: REM DEA TR: t = T-poll__handleAnsP3_544
lola: REM DEA TR: t = T-poll__handleAnsP3_574
lola: REM DEA TR: t = T-poll__handleAI2_584
lola: REM DEA TR: t = T-poll__handleAI2_594
lola: REM DEA TR: t = T-poll__handleAnsP3_614
lola: REM DEA TR: t = T-poll__handleAnsP3_624
lola: REM DEA TR: t = T-poll__handleAnsP3_644
lola: REM DEA TR: t = T-poll__handleAnsP3_664
lola: REM DEA TR: t = T-poll__handleAnsP3_674
lola: REM DEA TR: t = T-poll__handleAnsP3_694
lola: REM DEA TR: t = T-poll__handleAI2_684
lola: REM DEA TR: t = T-poll__handleAI2_694
lola: REM DEA TR: t = T-poll__handleAI2_734
lola: REM DEA TR: t = T-poll__handleAI2_744
lola: REM DEA TR: t = T-poll__handleAskP_117
lola: REM DEA TR: t = T-poll__handleAskP_119
lola: REM DEA TR: t = T-poll__handleAskP_120
lola: REM DEA TR: t = T-poll__handleAnsP2_109
lola: REM DEA TR: t = T-poll__handleAnsP2_129
lola: REM DEA TR: t = T-poll__handleAnsP2_139
lola: REM DEA TR: t = T-poll__handleAnsP3_515
lola: REM DEA TR: t = T-poll__handleAnsP3_525
lola: REM DEA TR: t = T-poll__handleAnsP3_535
lola: REM DEA TR: t = T-poll__handleAnsP3_575
lola: REM DEA TR: t = T-poll__handleAI2_585
lola: REM DEA TR: t = T-poll__handleAI2_595
lola: REM DEA TR: t = T-poll__handleAnsP3_615
lola: REM DEA TR: t = T-poll__handleAnsP3_625
lola: REM DEA TR: t = T-poll__handleAnsP3_635
lola: REM DEA TR: t = T-poll__handleAnsP3_665
lola: REM DEA TR: t = T-poll__handleAnsP3_675
lola: REM DEA TR: t = T-poll__handleAnsP3_685
lola: REM DEA TR: t = T-poll__handleAI2_685
lola: REM DEA TR: t = T-poll__handleAI2_695
lola: REM DEA TR: t = T-poll__handleAnsP3_735
lola: REM DEA TR: t = T-poll__handleAI2_735
lola: REM DEA TR: t = T-poll__handleAI2_745
lola: REM DEA TR: t = T-poll__handleAskP_122
lola: REM DEA TR: t = T-poll__handleAskP_124
lola: REM DEA TR: t = T-poll__handleAskP_125
lola: REM DEA TR: t = T-poll__handleAnsP1_19
lola: REM DEA TR: t = T-poll__handleAnsP3_913
lola: REM DEA TR: t = T-poll__handleAnsP3_914
lola: REM DEA TR: t = T-poll__handleAnsP3_915
lola: REM DEA TR: t = T-poll__handleAnsP2_183
lola: REM DEA TR: t = T-poll__handleAnsP3_922
lola: REM DEA TR: t = T-poll__handleAnsP3_924
lola: REM DEA TR: t = T-poll__handleAnsP3_925
lola: REM DEA TR: t = T-poll__handleAnsP2_185
lola: REM DEA TR: t = T-poll__handleAnsP3_932
lola: REM DEA TR: t = T-poll__handleAnsP3_933
lola: REM DEA TR: t = T-poll__handleAnsP3_935
lola: REM DEA TR: t = T-poll__handleAnsP2_187
lola: REM DEA TR: t = T-poll__handleAnsP3_942
lola: REM DEA TR: t = T-poll__handleAnsP3_943
lola: REM DEA TR: t = T-poll__handleAnsP3_944
lola: REM DEA TR: t = T-poll__handleAnsP2_189
lola: REM DEA TR: t = T-poll__handleAnsP3_1114
lola: REM DEA TR: t = T-poll__handleAnsP3_1124
lola: REM DEA TR: t = T-poll__handleAnsP2_227
lola: REM DEA TR: t = T-poll__handleAnsP3_1144
lola: REM DEA TR: t = T-poll__handleRI_6
lola: REM DEA TR: t = T-poll__handleAnsP1_7
lola: REM DEA TR: t = T-poll__handleAnsP3_313
lola: REM DEA TR: t = T-poll__handleAnsP2_65
lola: REM DEA TR: t = T-poll__handleAnsP3_333
lola: REM DEA TR: t = T-poll__handleAnsP3_343
lola: REM DEA TR: t = T-poll__handleRI_21
lola: REM DEA TR: t = T-poll__handleAnsP1_11
lola: REM DEA TR: t = T-poll__handleAnsP3_463
lola: REM DEA TR: t = T-poll__handleAnsP2_95
lola: REM DEA TR: t = T-poll__handleAnsP3_493
lola: REM DEA TR: t = T-poll__handleAI1_28
lola: REM DEA TR: t = T-poll__handleAI1_29
lola: REM DEA TR: t = T-poll__handleAI1_30
lola: REM DEA TR: t = T-poll__handleAI1_102
lola: REM DEA TR: t = T-poll__handleAI1_103
lola: REM DEA TR: t = T-poll__handleAI1_104
lola: REM DEA TR: t = T-poll__handleAnsP2_173
lola: REM DEA TR: t = T-poll__handleAnsP3_863
lola: REM DEA TR: t = T-poll__handleAnsP3_864
lola: REM DEA TR: t = T-poll__handleAnsP3_865
lola: REM DEA TR: t = T-poll__handleAnsP2_175
lola: REM DEA TR: t = T-poll__handleAnsP3_872
lola: REM DEA TR: t = T-poll__handleAnsP3_874
lola: REM DEA TR: t = T-poll__handleAnsP3_875
lola: REM DEA TR: t = T-poll__handleAnsP2_177
lola: REM DEA TR: t = T-poll__handleAnsP3_882
lola: REM DEA TR: t = T-poll__handleAnsP3_883
lola: REM DEA TR: t = T-poll__handleAnsP3_885
lola: REM DEA TR: t = T-poll__handleAnsP2_179
lola: REM DEA TR: t = T-poll__handleAnsP3_892
lola: REM DEA TR: t = T-poll__handleAnsP3_893
lola: REM DEA TR: t = T-poll__handleAnsP3_894
lola: REM DEA TR: t = T-poll__handleAnsP3_982
lola: REM DEA TR: t = T-poll__handleAI2_992
lola: REM DEA TR: t = T-poll__handleAnsP3_822
lola: REM DEA TR: t = T-poll__handleAI2_842
lola: REM DEA TR: t = T-poll__handleAI2_892
lola: REM DEA TR: t = T-poll__handleAskP_157
lola: REM DEA TR: t = T-poll__handleAskP_158
lola: REM DEA TR: t = T-poll__handleAskP_160
lola: REM DEA TR: t = T-poll__handleAnsP3_983
lola: REM DEA TR: t = T-poll__handleAI2_993
lola: REM DEA TR: t = T-poll__handleAnsP2_165
lola: REM DEA TR: t = T-poll__handleAI2_843
lola: REM DEA TR: t = T-poll__handleAI2_893
lola: REM DEA TR: t = T-poll__handleAskP_162
lola: REM DEA TR: t = T-poll__handleAskP_163
lola: REM DEA TR: t = T-poll__handleAskP_165
lola: REM DEA TR: t = T-poll__handleAI2_994
lola: REM DEA TR: t = T-poll__handleAnsP2_197
lola: REM DEA TR: t = T-poll__handleAnsP3_824
lola: REM DEA TR: t = T-poll__handleAI2_844
lola: REM DEA TR: t = T-poll__handleAI2_894
lola: REM DEA TR: t = T-poll__handleAskP_167
lola: REM DEA TR: t = T-poll__handleAskP_168
lola: REM DEA TR: t = T-poll__handleAskP_170
lola: REM DEA TR: t = T-poll__handleAnsP3_985
lola: REM DEA TR: t = T-poll__handleAI2_995
lola: REM DEA TR: t = T-poll__handleAnsP3_825
lola: REM DEA TR: t = T-poll__handleAI2_845
lola: REM DEA TR: t = T-poll__handleAI2_895
lola: REM DEA TR: t = T-poll__handleAskP_172
lola: REM DEA TR: t = T-poll__handleAskP_173
lola: REM DEA TR: t = T-poll__handleAskP_175
lola: REM DEA TR: t = T-poll__handleAnsP3_1064
lola: REM DEA TR: t = T-poll__handleAnsP2_217
lola: REM DEA TR: t = T-poll__handleAnsP3_1094
lola: REM DEA TR: t = T-poll__handleAnsP1_25
lola: REM DEA TR: t = T-poll__handleAnsP3_1214
lola: REM DEA TR: t = T-poll__handleAnsP3_1224
lola: REM DEA TR: t = T-poll__handleAnsP2_247
lola: REM DEA TR: t = T-poll__handleAnsP3_1244
lola: REM DEA TR: t = T-poll__handleRI_7
lola: REM DEA TR: t = T-poll__handleAnsP3_413
lola: REM DEA TR: t = T-poll__handleAnsP2_85
lola: REM DEA TR: t = T-poll__handleAnsP3_433
lola: REM DEA TR: t = T-poll__handleAnsP3_443
lola: REM DEA TR: t = T-poll__handleAnsP1_13
lola: REM DEA TR: t = T-poll__handleAskP_63
lola: REM DEA TR: t = T-poll__handleAskP_64
lola: REM DEA TR: t = T-poll__handleAskP_65
lola: REM DEA TR: t = T-poll__handleAnsP2_75
lola: REM DEA TR: t = T-poll__handleAnsP3_363
lola: REM DEA TR: t = T-poll__handleAnsP3_383
lola: REM DEA TR: t = T-poll__handleAnsP3_393
lola: REM DEA TR: t = T-poll__handleAI2_373
lola: REM DEA TR: t = T-poll__handleAI2_383
lola: REM DEA TR: t = T-poll__handleAI2_393
lola: REM DEA TR: t = T-poll__handleAnsP3_483
lola: REM DEA TR: t = T-poll__handleAI2_423
lola: REM DEA TR: t = T-poll__handleAI2_433
lola: REM DEA TR: t = T-poll__handleAI2_443
lola: REM DEA TR: t = T-poll__handleAI2_473
lola: REM DEA TR: t = T-poll__handleAI2_483
lola: REM DEA TR: t = T-poll__handleAI2_493
lola: REM DEA TR: t = T-poll__handleAI1_33
lola: REM DEA TR: t = T-poll__handleAI1_34
lola: REM DEA TR: t = T-poll__handleAI1_35
lola: REM DEA TR: t = T-poll__handleRI_19
lola: REM DEA TR: t = T-poll__handleRI_25
lola: REM DEA TR: t = T-poll__handleAnsP3_1074
lola: REM DEA TR: t = T-poll__handleAskP_217
lola: REM DEA TR: t = T-poll__handleAskP_218
lola: REM DEA TR: t = T-poll__handleAskP_219
lola: REM DEA TR: t = T-poll__handleAnsP3_1164
lola: REM DEA TR: t = T-poll__handleAnsP3_1174
lola: REM DEA TR: t = T-poll__handleAnsP3_1194
lola: REM DEA TR: t = T-poll__handleAnsP2_237
lola: REM DEA TR: t = T-poll__handleAI1_92
lola: REM DEA TR: t = T-poll__handleAI1_93
lola: REM DEA TR: t = T-poll__handleAI1_95
lola: REM DEA TR: t = T-poll__handleAI1_122
lola: REM DEA TR: t = T-poll__handleAI1_123
lola: REM DEA TR: t = T-poll__handleAI1_124
lola: REM DEA TR: t = T-poll__handleRI_13
lola: REM DEA TR: t = T-poll__handleAI1_62
lola: REM DEA TR: t = T-poll__handleAI1_64
lola: REM DEA TR: t = T-poll__handleAI1_65
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-PT-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-PT-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-162089134500116"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/NeoElection-PT-4.tgz
mv NeoElection-PT-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 '' 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 ;