fond
Model Checking Contest 2018
8th edition, Bratislava, Slovakia, June 26, 2018
Execution of r278-csrt-152749166900281
Last Updated
June 26, 2018

About the Execution of smart for HospitalTriage-PT-none

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
1182.760 3600000.00 3600109.00 70.60 [undef] Time out reached

Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.....................
/home/mcc/execution
total 248K
-rw-r--r-- 1 mcc users 3.7K May 30 21:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 30 21:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 29 15:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 29 15:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 24 11:17 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K May 24 11:17 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.3K May 28 09:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.5K May 28 09:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 28 08:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.6K May 28 08:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 24 11:17 NewModel
-rw-r--r-- 1 mcc users 3.5K May 28 06:33 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 28 06:33 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 113 May 26 06:29 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 351 May 26 06:29 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.3K May 27 04:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K May 27 04:02 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 28 07:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 28 07:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 24 11:17 equiv_col
-rw-r--r-- 1 mcc users 5 May 24 11:17 instance
-rw-r--r-- 1 mcc users 6 May 24 11:17 iscolored
-rw-r--r-- 1 mcc users 78K May 24 11:17 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool smart
Input is HospitalTriage-PT-none, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r278-csrt-152749166900281

=====================================================================

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

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

The expected result is a vector of positive values
NUM_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME HospitalTriage-PT-none-UpperBounds-00
FORMULA_NAME HospitalTriage-PT-none-UpperBounds-01
FORMULA_NAME HospitalTriage-PT-none-UpperBounds-02
FORMULA_NAME HospitalTriage-PT-none-UpperBounds-03
FORMULA_NAME HospitalTriage-PT-none-UpperBounds-04
FORMULA_NAME HospitalTriage-PT-none-UpperBounds-05
FORMULA_NAME HospitalTriage-PT-none-UpperBounds-06
FORMULA_NAME HospitalTriage-PT-none-UpperBounds-07
FORMULA_NAME HospitalTriage-PT-none-UpperBounds-08
FORMULA_NAME HospitalTriage-PT-none-UpperBounds-09
FORMULA_NAME HospitalTriage-PT-none-UpperBounds-10
FORMULA_NAME HospitalTriage-PT-none-UpperBounds-11
FORMULA_NAME HospitalTriage-PT-none-UpperBounds-12
FORMULA_NAME HospitalTriage-PT-none-UpperBounds-13
FORMULA_NAME HospitalTriage-PT-none-UpperBounds-14
FORMULA_NAME HospitalTriage-PT-none-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1527751551768

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HospitalTriage (PT), instance none
Examination UpperBounds
Parser /home/mcc/BenchKit/bin/parser/UpperBoundParse.jar
Model checker /home/mcc/BenchKit/bin/upper_bound/smart

PNML FILE: model.pnml
Petri model created: 245 places, 228 transitions, 680 arcs.
Bounds file is: UpperBounds.xml
P237 --> T228 : 1
Pre[0,146]: 1
P126 --> T228 : 1
Pre[0,210]: 1
T228: P87' := P87 + 1
IM[0,216]: 1
T228: P237' := P237 - 1
IM[0,146]: -1
T228: P126' := P126 - 1
IM[0,210]: -1
P212 --> T227 : 1
Pre[1,30]: 1
P213 --> T227 : 1
Pre[1,29]: 1
P110 --> T227 : 1
Pre[1,66]: 1
T227: P212' := P212 - 1
IM[1,30]: -1
T227: P213' := P213 - 1
IM[1,29]: -1
T227: P69' := P69 + 1
IM[1,141]: 1
T227: P110' := P110 - 1
IM[1,66]: -1
P235 --> T226 : 1
Pre[2,18]: 1
T226: P172' := P172 + 1
IM[2,16]: 1
T226: P111' := P111 + 1
IM[2,41]: 1
T226: P235' := P235 - 1
IM[2,18]: -1
P130 --> T225 : 1
Pre[3,31]: 1
P39 --> T225 : 1
Pre[3,26]: 1
T225: P130' := P130 - 1
IM[3,31]: -1
T225: P39' := P39 - 1
IM[3,26]: -1
T225: P236' := P236 + 1
IM[3,32]: 1
P144 --> T224 : 1
Pre[4,68]: 1
T224: P190' := P190 + 1
IM[4,90]: 1
T224: P39' := P39 + 1
IM[4,26]: 1
T224: P144' := P144 - 1
IM[4,68]: -1
P118 --> T223 : 1
Pre[5,158]: 1
P182 --> T223 : 1
Pre[5,135]: 1
T223: P118' := P118 - 1
IM[5,158]: -1
T223: P209' := P209 + 1
IM[5,199]: 1
T223: P182' := P182 - 1
IM[5,135]: -1
P208 --> T222 : 1
Pre[6,7]: 1
T222: P113' := P113 + 1
IM[6,81]: 1
T222: P208' := P208 - 1
IM[6,7]: -1
T222: P40' := P40 + 1
IM[6,14]: 1
T222: P58' := P58 + 1
IM[6,94]: 1
T222: P125' := P125 + 1
IM[6,82]: 1
P118 --> T221 : 1
Pre[7,158]: 1
P147 --> T221 : 1
Pre[7,208]: 1
T221: P4' := P4 + 1
IM[7,209]: 1
T221: P118' := P118 - 1
IM[7,158]: -1
T221: P147' := P147 - 1
IM[7,208]: -1
P142 --> T220 : 1
Pre[8,45]: 1
P39 --> T220 : 1
Pre[8,26]: 1
T220: P142' := P142 - 1
IM[8,45]: -1
T220: P39' := P39 - 1
IM[8,26]: -1
T220: P11' := P11 + 1
IM[8,44]: 1
P177 --> T219 : 1
Pre[9,170]: 1
T219: P70' := P70 + 1
IM[9,178]: 1
T219: P118' := P118 + 1
IM[9,158]: 1
T219: P177' := P177 - 1
IM[9,170]: -1
P95 --> T218 : 1
Pre[10,161]: 1
T218: P27' := P27 + 1
IM[10,138]: 1
T218: P95' := P95 - 1
IM[10,161]: -1
P21 --> T217 : 1
Pre[11,56]: 1
P39 --> T217 : 1
Pre[11,26]: 1
T217: P21' := P21 - 1
IM[11,56]: -1
T217: P39' := P39 - 1
IM[11,26]: -1
T217: P17' := P17 + 1
IM[11,39]: 1
P172 --> T216 : 1
Pre[12,16]: 1
P200 --> T216 : 1
Pre[12,60]: 1
T216: P172' := P172 - 1
IM[12,16]: -1
T216: P200' := P200 - 1
IM[12,60]: -1
T216: P169' := P169 + 1
IM[12,61]: 1
P228 --> T215 : 1
Pre[13,3]: 1
P40 --> T215 : 1
Pre[13,14]: 1
T215: P228' := P228 - 1
IM[13,3]: -1
T215: P152' := P152 + 1
IM[13,5]: 1
T215: P40' := P40 - 1
IM[13,14]: -1
P237 --> T214 : 1
Pre[14,146]: 1
P140 --> T214 : 1
Pre[14,204]: 1
T214: P122' := P122 + 1
IM[14,207]: 1
T214: P237' := P237 - 1
IM[14,146]: -1
T214: P140' := P140 - 1
IM[14,204]: -1
P196 --> T213 : 1
Pre[15,220]: 1
T213: P128' := P128 + 1
IM[15,167]: 1
T213: P196' := P196 - 1
IM[15,220]: -1
P107 --> T212 : 1
Pre[16,83]: 1
T212: P163' := P163 + 1
IM[16,120]: 1
T212: P39' := P39 + 1
IM[16,26]: 1
T212: P107' := P107 - 1
IM[16,83]: -1
P172 --> T211 : 1
Pre[17,16]: 1
P162 --> T211 : 1
Pre[17,22]: 1
T211: P172' := P172 - 1
IM[17,16]: -1
T211: P162' := P162 - 1
IM[17,22]: -1
T211: P52' := P52 + 1
IM[17,38]: 1
P167 --> T210 : 1
Pre[18,121]: 1
T210: P26' := P26 + 1
IM[18,119]: 1
T210: P167' := P167 - 1
IM[18,121]: -1
P150 --> T209 : 1
Pre[19,160]: 1
T209: P118' := P118 + 1
IM[19,158]: 1
T209: P57' := P57 + 1
IM[19,173]: 1
T209: P150' := P150 - 1
IM[19,160]: -1
P92 --> T208 : 1
Pre[20,198]: 1
T208: P118' := P118 + 1
IM[20,158]: 1
T208: P92' := P92 - 1
IM[20,198]: -1
T208: P237' := P237 + 1
IM[20,146]: 1
T208: P239' := P239 + 1
IM[20,197]: 1
P135 --> T207 : 1
Pre[21,192]: 1
T207: P28' := P28 + 1
IM[21,206]: 1
T207: P135' := P135 - 1
IM[21,192]: -1
P168 --> T206 : 1
Pre[22,13]: 1
P40 --> T206 : 1
Pre[22,14]: 1
T206: P168' := P168 - 1
IM[22,13]: -1
T206: P48' := P48 + 1
IM[22,12]: 1
T206: P40' := P40 - 1
IM[22,14]: -1
P109 --> T205 : 1
Pre[23,203]: 1
T205: P65' := P65 + 1
IM[23,229]: 1
T205: P118' := P118 + 1
IM[23,158]: 1
T205: P109' := P109 - 1
IM[23,203]: -1
P41 --> T204 : 1
Pre[24,237]: 1
P118 --> T204 : 1
Pre[24,158]: 1
T204: P199' := P199 + 1
IM[24,227]: 1
T204: P41' := P41 - 1
IM[24,237]: -1
T204: P118' := P118 - 1
IM[24,158]: -1
P218 --> T203 : 1
Pre[25,236]: 1
P118 --> T203 : 1
Pre[25,158]: 1
T203: P66' := P66 + 1
IM[25,230]: 1
T203: P218' := P218 - 1
IM[25,236]: -1
T203: P118' := P118 - 1
IM[25,158]: -1
P234 --> T202 : 1
Pre[26,238]: 1
P118 --> T202 : 1
Pre[26,158]: 1
T202: P231' := P231 + 1
IM[26,241]: 1
T202: P234' := P234 - 1
IM[26,238]: -1
T202: P118' := P118 - 1
IM[26,158]: -1
P185 --> T201 : 1
Pre[27,228]: 1
P118 --> T201 : 1
Pre[27,158]: 1
T201: P146' := P146 + 1
IM[27,217]: 1
T201: P185' := P185 - 1
IM[27,228]: -1
T201: P118' := P118 - 1
IM[27,158]: -1
P195 --> T200 : 1
Pre[28,46]: 1
P40 --> T200 : 1
Pre[28,14]: 1
T200: P195' := P195 - 1
IM[28,46]: -1
T200: P149' := P149 + 1
IM[28,50]: 1
T200: P40' := P40 - 1
IM[28,14]: -1
P172 --> T199 : 1
Pre[29,16]: 1
P154 --> T199 : 1
Pre[29,43]: 1
T199: P172' := P172 - 1
IM[29,16]: -1
T199: P154' := P154 - 1
IM[29,43]: -1
T199: P96' := P96 + 1
IM[29,97]: 1
P224 --> T198 : 1
Pre[30,214]: 1
T198: P24' := P24 + 1
IM[30,223]: 1
T198: P224' := P224 - 1
IM[30,214]: -1
P243 --> T197 : 1
Pre[31,111]: 1
T197: P243' := P243 - 1
IM[31,111]: -1
T197: P125' := P125 + 1
IM[31,82]: 1
T197: P113' := P113 + 1
IM[31,81]: 1
T197: P58' := P58 + 1
IM[31,94]: 1
P86 --> T196 : 1
Pre[32,201]: 1
T196: P118' := P118 + 1
IM[32,158]: 1
T196: P86' := P86 - 1
IM[32,201]: -1
T196: P237' := P237 + 1
IM[32,146]: 1
T196: P198' := P198 + 1
IM[32,200]: 1
P72 --> T195 : 1
Pre[33,108]: 1
P40 --> T195 : 1
Pre[33,14]: 1
T195: P72' := P72 - 1
IM[33,108]: -1
T195: P229' := P229 + 1
IM[33,77]: 1
T195: P40' := P40 - 1
IM[33,14]: -1
P178 --> T194 : 1
Pre[34,157]: 1
T194: P118' := P118 + 1
IM[34,158]: 1
T194: P25' := P25 + 1
IM[34,150]: 1
T194: P178' := P178 - 1
IM[34,157]: -1
P118 --> T193 : 1
Pre[35,158]: 1
P156 --> T193 : 1
Pre[35,126]: 1
T193: P177' := P177 + 1
IM[35,170]: 1
T193: P118' := P118 - 1
IM[35,158]: -1
T193: P156' := P156 - 1
IM[35,126]: -1
P85 --> T192 : 1
Pre[36,113]: 1
T192: P85' := P85 - 1
IM[36,113]: -1
T192: P72' := P72 + 1
IM[36,108]: 1
P77 --> T191 : 1
Pre[37,183]: 1
T191: P118' := P118 + 1
IM[37,158]: 1
T191: P77' := P77 - 1
IM[37,183]: -1
T191: P237' := P237 + 1
IM[37,146]: 1
T191: P64' := P64 + 1
IM[37,177]: 1
P116 --> T190 : 1
Pre[38,215]: 1
T190: P207' := P207 + 1
IM[38,187]: 1
T190: P116' := P116 - 1
IM[38,215]: -1
P207 --> T189 : 1
Pre[39,187]: 1
T189: P167' := P167 + 1
IM[39,121]: 1
T189: P207' := P207 - 1
IM[39,187]: -1
P197 --> T188 : 1
Pre[40,155]: 1
T188: P118' := P118 + 1
IM[40,158]: 1
T188: P45' := P45 + 1
IM[40,134]: 1
T188: P197' := P197 - 1
IM[40,155]: -1
P56 --> T187 : 1
Pre[41,202]: 1
T187: P56' := P56 - 1
IM[41,202]: -1
T187: P13' := P13 + 1
IM[41,234]: 1
P26 --> T186 : 1
Pre[42,119]: 1
T186: P26' := P26 - 1
IM[42,119]: -1
T186: P2' := P2 + 1
IM[42,74]: 1
P118 --> T185 : 1
Pre[43,158]: 1
P106 --> T185 : 1
Pre[43,133]: 1
T185: P180' := P180 + 1
IM[43,151]: 1
T185: P118' := P118 - 1
IM[43,158]: -1
T185: P106' := P106 - 1
IM[43,133]: -1
P118 --> T184 : 1
Pre[44,158]: 1
P240 --> T184 : 1
Pre[44,140]: 1
T184: P118' := P118 - 1
IM[44,158]: -1
T184: P189' := P189 + 1
IM[44,186]: 1
T184: P240' := P240 - 1
IM[44,140]: -1
P211 --> T183 : 1
Pre[45,212]: 1
T183: P116' := P116 + 1
IM[45,215]: 1
T183: P118' := P118 + 1
IM[45,158]: 1
T183: P211' := P211 - 1
IM[45,212]: -1
P188 --> T182 : 1
Pre[46,34]: 1
T182: P203' := P203 + 1
IM[46,33]: 1
T182: P39' := P39 + 1
IM[46,26]: 1
T182: P188' := P188 - 1
IM[46,34]: -1
P118 --> T181 : 1
Pre[47,158]: 1
P69 --> T181 : 1
Pre[47,141]: 1
T181: P36' := P36 + 1
IM[47,176]: 1
T181: P118' := P118 - 1
IM[47,158]: -1
T181: P69' := P69 - 1
IM[47,141]: -1
P123 --> T180 : 1
Pre[48,80]: 1
T180: P192' := P192 + 1
IM[48,110]: 1
T180: P39' := P39 + 1
IM[48,26]: 1
T180: P123' := P123 - 1
IM[48,80]: -1
P118 --> T179 : 1
Pre[49,158]: 1
P226 --> T179 : 1
Pre[49,137]: 1
T179: P211' := P211 + 1
IM[49,212]: 1
T179: P118' := P118 - 1
IM[49,158]: -1
T179: P226' := P226 - 1
IM[49,137]: -1
P80 --> T178 : 1
Pre[50,224]: 1
T178: P164' := P164 + 1
IM[50,225]: 1
T178: P80' := P80 - 1
IM[50,224]: -1
P238 --> T177 : 1
Pre[51,219]: 1
T177: P118' := P118 + 1
IM[51,158]: 1
T177: P238' := P238 - 1
IM[51,219]: -1
T177: P237' := P237 + 1
IM[51,146]: 1
T177: P61' := P61 + 1
IM[51,222]: 1
P98 --> T176 : 1
Pre[52,53]: 1
P40 --> T176 : 1
Pre[52,14]: 1
T176: P98' := P98 - 1
IM[52,53]: -1
T176: P214' := P214 + 1
IM[52,55]: 1
T176: P40' := P40 - 1
IM[52,14]: -1
P174 --> T175 : 1
Pre[53,152]: 1
T175: P45' := P45 + 1
IM[53,134]: 1
T175: P174' := P174 - 1
IM[53,152]: -1
P60 --> T174 : 1
Pre[54,91]: 1
T174: P5' := P5 + 1
IM[54,98]: 1
T174: P39' := P39 + 1
IM[54,26]: 1
T174: P60' := P60 - 1
IM[54,91]: -1
P118 --> T173 : 1
Pre[55,158]: 1
P147 --> T173 : 1
Pre[55,208]: 1
T173: P118' := P118 - 1
IM[55,158]: -1
T173: P136' := P136 + 1
IM[55,211]: 1
T173: P147' := P147 - 1
IM[55,208]: -1
P236 --> T172 : 1
Pre[56,32]: 1
T172: P213' := P213 + 1
IM[56,29]: 1
T172: P39' := P39 + 1
IM[56,26]: 1
T172: P236' := P236 - 1
IM[56,32]: -1
P198 --> T171 : 1
Pre[57,200]: 1
T171: P28' := P28 + 1
IM[57,206]: 1
T171: P198' := P198 - 1
IM[57,200]: -1
P237 --> T170 : 1
Pre[58,146]: 1
P141 --> T170 : 1
Pre[58,163]: 1
T170: P86' := P86 + 1
IM[58,201]: 1
T170: P237' := P237 - 1
IM[58,146]: -1
T170: P141' := P141 - 1
IM[58,163]: -1
P118 --> T169 : 1
Pre[59,158]: 1
P226 --> T169 : 1
Pre[59,137]: 1
T169: P118' := P118 - 1
IM[59,158]: -1
T169: P1' := P1 + 1
IM[59,235]: 1
T169: P226' := P226 - 1
IM[59,137]: -1
P172 --> T168 : 1
Pre[60,16]: 1
P216 --> T168 : 1
Pre[60,15]: 1
T168: P172' := P172 - 1
IM[60,16]: -1
T168: P216' := P216 - 1
IM[60,15]: -1
T168: P235' := P235 + 1
IM[60,18]: 1
P237 --> T167 : 1
Pre[61,146]: 1
P34 --> T167 : 1
Pre[61,226]: 1
T167: P12' := P12 + 1
IM[61,232]: 1
T167: P237' := P237 - 1
IM[61,146]: -1
T167: P34' := P34 - 1
IM[61,226]: -1
P22 --> T166 : 1
Pre[62,54]: 1
P39 --> T166 : 1
Pre[62,26]: 1
T166: P22' := P22 - 1
IM[62,54]: -1
T166: P39' := P39 - 1
IM[62,26]: -1
T166: P6' := P6 + 1
IM[62,52]: 1
P237 --> T165 : 1
Pre[63,146]: 1
P136 --> T165 : 1
Pre[63,211]: 1
T165: P238' := P238 + 1
IM[63,219]: 1
T165: P237' := P237 - 1
IM[63,146]: -1
T165: P136' := P136 - 1
IM[63,211]: -1
P37 --> T164 : 1
Pre[64,154]: 1
P118 --> T164 : 1
Pre[64,158]: 1
T164: P178' := P178 + 1
IM[64,157]: 1
T164: P37' := P37 - 1
IM[64,154]: -1
T164: P118' := P118 - 1
IM[64,158]: -1
P59 --> T163 : 1
Pre[65,21]: 1
T163: P90' := P90 + 1
IM[65,37]: 1
T163: P59' := P59 - 1
IM[65,21]: -1
T163: P40' := P40 + 1
IM[65,14]: 1
T163: P201' := P201 + 1
IM[65,40]: 1
T163: P241' := P241 + 1
IM[65,48]: 1
P118 --> T162 : 1
Pre[66,158]: 1
P84 --> T162 : 1
Pre[66,127]: 1
T162: P118' := P118 - 1
IM[66,158]: -1
T162: P217' := P217 + 1
IM[66,159]: 1
T162: P84' := P84 - 1
IM[66,127]: -1
P105 --> T161 : 1
Pre[67,125]: 1
T161: P120' := P120 + 1
IM[67,124]: 1
T161: P105' := P105 - 1
IM[67,125]: -1
P159 --> T160 : 1
Pre[68,180]: 1
T160: P27' := P27 + 1
IM[68,138]: 1
T160: P159' := P159 - 1
IM[68,180]: -1
P132 --> T159 : 1
Pre[69,195]: 1
T159: P118' := P118 + 1
IM[69,158]: 1
T159: P132' := P132 - 1
IM[69,195]: -1
T159: P237' := P237 + 1
IM[69,146]: 1
T159: P117' := P117 + 1
IM[69,191]: 1
P184 --> T158 : 1
Pre[70,116]: 1
T158: P138' := P138 + 1
IM[70,57]: 1
T158: P184' := P184 - 1
IM[70,116]: -1
P19 --> T157 : 1
Pre[71,9]: 1
P40 --> T157 : 1
Pre[71,14]: 1
T157: P19' := P19 - 1
IM[71,9]: -1
T157: P134' := P134 + 1
IM[71,10]: 1
T157: P40' := P40 - 1
IM[71,14]: -1
P169 --> T156 : 1
Pre[72,61]: 1
T156: P172' := P172 + 1
IM[72,16]: 1
T156: P115' := P115 + 1
IM[72,115]: 1
T156: P169' := P169 - 1
IM[72,61]: -1
P118 --> T155 : 1
Pre[73,158]: 1
P145 --> T155 : 1
Pre[73,149]: 1
T155: P223' := P223 + 1
IM[73,205]: 1
T155: P118' := P118 - 1
IM[73,158]: -1
T155: P145' := P145 - 1
IM[73,149]: -1
P149 --> T154 : 1
Pre[74,50]: 1
T154: P233' := P233 + 1
IM[74,49]: 1
T154: P149' := P149 - 1
IM[74,50]: -1
T154: P40' := P40 + 1
IM[74,14]: 1
T154: P114' := P114 + 1
IM[74,88]: 1
T154: P101' := P101 + 1
IM[74,95]: 1
P172 --> T153 : 1
Pre[75,16]: 1
P155 --> T153 : 1
Pre[75,67]: 1
T153: P172' := P172 - 1
IM[75,16]: -1
T153: P155' := P155 - 1
IM[75,67]: -1
T153: P245' := P245 + 1
IM[75,64]: 1
P96 --> T152 : 1
Pre[76,97]: 1
T152: P172' := P172 + 1
IM[76,16]: 1
T152: P242' := P242 + 1
IM[76,99]: 1
T152: P96' := P96 - 1
IM[76,97]: -1
P157 --> T151 : 1
Pre[77,185]: 1
T151: P118' := P118 + 1
IM[77,158]: 1
T151: P207' := P207 + 1
IM[77,187]: 1
T151: P157' := P157 - 1
IM[77,185]: -1
P17 --> T150 : 1
Pre[78,39]: 1
T150: P219' := P219 + 1
IM[78,51]: 1
T150: P39' := P39 + 1
IM[78,26]: 1
T150: P17' := P17 - 1
IM[78,39]: -1
P48 --> T149 : 1
Pre[79,12]: 1
T149: P142' := P142 + 1
IM[79,45]: 1
T149: P48' := P48 - 1
IM[79,12]: -1
T149: P40' := P40 + 1
IM[79,14]: 1
T149: P44' := P44 + 1
IM[79,42]: 1
T149: P103' := P103 + 1
IM[79,47]: 1
P35 --> T148 : 1
Pre[80,184]: 1
T148: P205' := P205 + 1
IM[80,181]: 1
T148: P35' := P35 - 1
IM[80,184]: -1
P28 --> T147 : 1
Pre[81,206]: 1
T147: P191' := P191 + 1
IM[81,129]: 1
T147: P28' := P28 - 1
IM[81,206]: -1
P237 --> T146 : 1
Pre[82,146]: 1
P1 --> T146 : 1
Pre[82,235]: 1
T146: P15' := P15 + 1
IM[82,233]: 1
T146: P237' := P237 - 1
IM[82,146]: -1
T146: P1' := P1 - 1
IM[82,235]: -1
P134 --> T145 : 1
Pre[83,10]: 1
T145: P130' := P130 + 1
IM[83,31]: 1
T145: P134' := P134 - 1
IM[83,10]: -1
T145: P40' := P40 + 1
IM[83,14]: 1
T145: P212' := P212 + 1
IM[83,30]: 1
T145: P162' := P162 + 1
IM[83,22]: 1
P194 --> T144 : 1
Pre[84,130]: 1
T144: P194' := P194 - 1
IM[84,130]: -1
T144: P81' := P81 + 1
IM[84,143]: 1
P78 --> T143 : 1
Pre[85,168]: 1
T143: P54' := P54 + 1
IM[85,172]: 1
T143: P118' := P118 + 1
IM[85,158]: 1
T143: P78' := P78 - 1
IM[85,168]: -1
P214 --> T142 : 1
Pre[86,55]: 1
T142: P22' := P22 + 1
IM[86,54]: 1
T142: P214' := P214 - 1
IM[86,55]: -1
T142: P40' := P40 + 1
IM[86,14]: 1
T142: P82' := P82 + 1
IM[86,79]: 1
T142: P33' := P33 + 1
IM[86,76]: 1
P25 --> T141 : 1
Pre[87,150]: 1
T141: P175' := P175 + 1
IM[87,139]: 1
T141: P25' := P25 - 1
IM[87,150]: -1
P58 --> T140 : 1
Pre[88,94]: 1
P5 --> T140 : 1
Pre[88,98]: 1
P68 --> T140 : 1
Pre[88,96]: 1
T140: P58' := P58 - 1
IM[88,94]: -1
T140: P5' := P5 - 1
IM[88,98]: -1
T140: P108' := P108 + 1
IM[88,128]: 1
T140: P68' := P68 - 1
IM[88,96]: -1
P237 --> T139 : 1
Pre[89,146]: 1
P186 --> T139 : 1
Pre[89,164]: 1
T139: P88' := P88 + 1
IM[89,162]: 1
T139: P237' := P237 - 1
IM[89,146]: -1
T139: P186' := P186 - 1
IM[89,164]: -1
P83 --> T138 : 1
Pre[90,190]: 1
P118 --> T138 : 1
Pre[90,158]: 1
T138: P157' := P157 + 1
IM[90,185]: 1
T138: P83' := P83 - 1
IM[90,190]: -1
T138: P118' := P118 - 1
IM[90,158]: -1
P193 --> T137 : 1
Pre[91,221]: 1
T137: P164' := P164 + 1
IM[91,225]: 1
T137: P193' := P193 - 1
IM[91,221]: -1
P89 --> T136 : 1
Pre[92,171]: 1
T136: P127' := P127 + 1
IM[92,148]: 1
T136: P89' := P89 - 1
IM[92,171]: -1
P221 --> T135 : 1
Pre[93,242]: 1
P118 --> T135 : 1
Pre[93,158]: 1
T135: P148' := P148 + 1
IM[93,240]: 1
T135: P221' := P221 - 1
IM[93,242]: -1
T135: P118' := P118 - 1
IM[93,158]: -1
P191 --> T134 : 1
Pre[94,129]: 1
T134: P243' := P243 + 1
IM[94,111]: 1
T134: P191' := P191 - 1
IM[94,129]: -1
P6 --> T133 : 1
Pre[95,52]: 1
T133: P97' := P97 + 1
IM[95,62]: 1
T133: P39' := P39 + 1
IM[95,26]: 1
T133: P6' := P6 - 1
IM[95,52]: -1
P2 --> T132 : 1
Pre[96,74]: 1
P40 --> T132 : 1
Pre[96,14]: 1
T132: P2' := P2 - 1
IM[96,74]: -1
T132: P210' := P210 + 1
IM[96,69]: 1
T132: P40' := P40 - 1
IM[96,14]: -1
P46 --> T131 : 1
Pre[97,2]: 1
P40 --> T131 : 1
Pre[97,14]: 1
T131: P46' := P46 - 1
IM[97,2]: -1
T131: P161' := P161 + 1
IM[97,19]: 1
T131: P40' := P40 - 1
IM[97,14]: -1
P74 --> T130 : 1
Pre[98,239]: 1
T130: P118' := P118 + 1
IM[98,158]: 1
T130: P89' := P89 + 1
IM[98,171]: 1
T130: P74' := P74 - 1
IM[98,239]: -1
P82 --> T129 : 1
Pre[99,79]: 1
P97 --> T129 : 1
Pre[99,62]: 1
P16 --> T129 : 1
Pre[99,72]: 1
T129: P82' := P82 - 1
IM[99,79]: -1
T129: P97' := P97 - 1
IM[99,62]: -1
T129: P240' := P240 + 1
IM[99,140]: 1
T129: P16' := P16 - 1
IM[99,72]: -1
P66 --> T128 : 1
Pre[100,230]: 1
T128: P118' := P118 + 1
IM[100,158]: 1
T128: P27' := P27 + 1
IM[100,138]: 1
T128: P66' := P66 - 1
IM[100,230]: -1
P231 --> T127 : 1
Pre[101,241]: 1
T127: P118' := P118 + 1
IM[101,158]: 1
T127: P205' := P205 + 1
IM[101,181]: 1
T127: P231' := P231 - 1
IM[101,241]: -1
P71 --> T126 : 1
Pre[102,169]: 1
T126: P118' := P118 + 1
IM[102,158]: 1
T126: P128' := P128 + 1
IM[102,167]: 1
T126: P71' := P71 - 1
IM[102,169]: -1
P146 --> T125 : 1
Pre[103,217]: 1
T125: P118' := P118 + 1
IM[103,158]: 1
T125: P24' := P24 + 1
IM[103,223]: 1
T125: P146' := P146 - 1
IM[103,217]: -1
P87 --> T124 : 1
Pre[104,216]: 1
T124: P118' := P118 + 1
IM[104,158]: 1
T124: P87' := P87 - 1
IM[104,216]: -1
T124: P237' := P237 + 1
IM[104,146]: 1
T124: P31' := P31 + 1
IM[104,196]: 1
P47 --> T123 : 1
Pre[105,153]: 1
T123: P118' := P118 + 1
IM[105,158]: 1
T123: P47' := P47 - 1
IM[105,153]: -1
T123: P237' := P237 + 1
IM[105,146]: 1
T123: P174' := P174 + 1
IM[105,152]: 1
P57 --> T122 : 1
Pre[106,173]: 1
T122: P23' := P23 + 1
IM[106,166]: 1
T122: P57' := P57 - 1
IM[106,173]: -1
P122 --> T121 : 1
Pre[107,207]: 1
T121: P118' := P118 + 1
IM[107,158]: 1
T121: P122' := P122 - 1
IM[107,207]: -1
T121: P237' := P237 + 1
IM[107,146]: 1
T121: P80' := P80 + 1
IM[107,224]: 1
P94 --> T120 : 1
Pre[108,131]: 1
T120: P94' := P94 - 1
IM[108,131]: -1
T120: P129' := P129 + 1
IM[108,132]: 1
P210 --> T119 : 1
Pre[109,69]: 1
T119: P21' := P21 + 1
IM[109,56]: 1
T119: P210' := P210 - 1
IM[109,69]: -1
T119: P40' := P40 + 1
IM[109,14]: 1
T119: P173' := P173 + 1
IM[109,59]: 1
T119: P155' := P155 + 1
IM[109,67]: 1
P31 --> T118 : 1
Pre[110,196]: 1
T118: P57' := P57 + 1
IM[110,173]: 1
T118: P31' := P31 - 1
IM[110,196]: -1
P128 --> T117 : 1
Pre[111,167]: 1
T117: P227' := P227 + 1
IM[111,17]: 1
T117: P128' := P128 - 1
IM[111,167]: -1
P43 --> T116 : 1
Pre[112,189]: 1
T116: P205' := P205 + 1
IM[112,181]: 1
T116: P43' := P43 - 1
IM[112,189]: -1
P172 --> T115 : 1
Pre[113,16]: 1
P7 --> T115 : 1
Pre[113,89]: 1
T115: P172' := P172 - 1
IM[113,16]: -1
T115: P7' := P7 - 1
IM[113,89]: -1
T115: P171' := P171 + 1
IM[113,93]: 1
P29 --> T114 : 1
Pre[114,117]: 1
T114: P29' := P29 - 1
IM[114,117]: -1
T114: P216' := P216 + 1
IM[114,15]: 1
T114: P131' := P131 + 1
IM[114,20]: 1
T114: P215' := P215 + 1
IM[114,24]: 1
P237 --> T113 : 1
Pre[115,146]: 1
P189 --> T113 : 1
Pre[115,186]: 1
T113: P77' := P77 + 1
IM[115,183]: 1
T113: P237' := P237 - 1
IM[115,146]: -1
T113: P189' := P189 - 1
IM[115,186]: -1
P158 --> T112 : 1
Pre[116,8]: 1
T112: P131' := P131 + 1
IM[116,20]: 1
T112: P158' := P158 - 1
IM[116,8]: -1
T112: P40' := P40 + 1
IM[116,14]: 1
T112: P215' := P215 + 1
IM[116,24]: 1
T112: P216' := P216 + 1
IM[116,15]: 1
P165 --> T111 : 1
Pre[117,84]: 1
P39 --> T111 : 1
Pre[117,26]: 1
T111: P165' := P165 - 1
IM[117,84]: -1
T111: P39' := P39 - 1
IM[117,26]: -1
T111: P107' := P107 + 1
IM[117,83]: 1
P245 --> T110 : 1
Pre[118,64]: 1
T110: P172' := P172 + 1
IM[118,16]: 1
T110: P160' := P160 + 1
IM[118,58]: 1
T110: P245' := P245 - 1
IM[118,64]: -1
P118 --> T109 : 1
Pre[119,158]: 1
P108 --> T109 : 1
Pre[119,128]: 1
T109: P118' := P118 - 1
IM[119,158]: -1
T109: P141' := P141 + 1
IM[119,163]: 1
T109: P108' := P108 - 1
IM[119,128]: -1
P114 --> T108 : 1
Pre[120,88]: 1
P190 --> T108 : 1
Pre[120,90]: 1
P76 --> T108 : 1
Pre[120,92]: 1
T108: P114' := P114 - 1
IM[120,88]: -1
T108: P190' := P190 - 1
IM[120,90]: -1
T108: P84' := P84 + 1
IM[120,127]: 1
T108: P76' := P76 - 1
IM[120,92]: -1
P121 --> T107 : 1
Pre[121,102]: 1
P192 --> T107 : 1
Pre[121,110]: 1
P112 --> T107 : 1
Pre[121,104]: 1
T107: P121' := P121 - 1
IM[121,102]: -1
T107: P192' := P192 - 1
IM[121,110]: -1
T107: P32' := P32 + 1
IM[121,114]: 1
T107: P112' := P112 - 1
IM[121,104]: -1
P104 --> T106 : 1
Pre[122,188]: 1
T106: P35' := P35 + 1
IM[122,184]: 1
T106: P118' := P118 + 1
IM[122,158]: 1
T106: P104' := P104 - 1
IM[122,188]: -1
P61 --> T105 : 1
Pre[123,222]: 1
T105: P24' := P24 + 1
IM[123,223]: 1
T105: P61' := P61 - 1
IM[123,222]: -1
P102 --> T104 : 1
Pre[124,156]: 1
T104: P45' := P45 + 1
IM[124,134]: 1
T104: P102' := P102 - 1
IM[124,156]: -1
P129 --> T103 : 1
Pre[125,132]: 1
P118 --> T103 : 1
Pre[125,158]: 1
T103: P197' := P197 + 1
IM[125,155]: 1
T103: P129' := P129 - 1
IM[125,132]: -1
T103: P118' := P118 - 1
IM[125,158]: -1
P124 --> T102 : 1
Pre[126,123]: 1
T102: P10' := P10 + 1
IM[126,25]: 1
T102: P124' := P124 - 1
IM[126,123]: -1
P67 --> T101 : 1
Pre[127,179]: 1
P118 --> T101 : 1
Pre[127,158]: 1
T101: P71' := P71 + 1
IM[127,169]: 1
T101: P67' := P67 - 1
IM[127,179]: -1
T101: P118' := P118 - 1
IM[127,158]: -1
P53 --> T100 : 1
Pre[128,100]: 1
T100: P172' := P172 + 1
IM[128,16]: 1
T100: P68' := P68 + 1
IM[128,96]: 1
T100: P53' := P53 - 1
IM[128,100]: -1
P172 --> T99 : 1
Pre[129,16]: 1
P241 --> T99 : 1
Pre[129,48]: 1
T99: P172' := P172 - 1
IM[129,16]: -1
T99: P241' := P241 - 1
IM[129,48]: -1
T99: P49' := P49 + 1
IM[129,65]: 1
P118 --> T98 : 1
Pre[130,158]: 1
P84 --> T98 : 1
Pre[130,127]: 1
T98: P104' := P104 + 1
IM[130,188]: 1
T98: P118' := P118 - 1
IM[130,158]: -1
T98: P84' := P84 - 1
IM[130,127]: -1
P164 --> T97 : 1
Pre[131,225]: 1
T97: P181' := P181 + 1
IM[131,144]: 1
T97: P164' := P164 - 1
IM[131,225]: -1
P148 --> T96 : 1
Pre[132,240]: 1
T96: P118' := P118 + 1
IM[132,158]: 1
T96: P28' := P28 + 1
IM[132,206]: 1
T96: P148' := P148 - 1
IM[132,240]: -1
P120 --> T95 : 1
Pre[133,124]: 1
T95: P120' := P120 - 1
IM[133,124]: -1
T95: P195' := P195 + 1
IM[133,46]: 1
P119 --> T94 : 1
Pre[134,63]: 1
T94: P172' := P172 + 1
IM[134,16]: 1
T94: P187' := P187 + 1
IM[134,73]: 1
T94: P119' := P119 - 1
IM[134,63]: -1
P139 --> T93 : 1
Pre[135,78]: 1
T93: P172' := P172 + 1
IM[135,16]: 1
T93: P16' := P16 + 1
IM[135,72]: 1
T93: P139' := P139 - 1
IM[135,78]: -1
P171 --> T92 : 1
Pre[136,93]: 1
T92: P172' := P172 + 1
IM[136,16]: 1
T92: P202' := P202 + 1
IM[136,107]: 1
T92: P171' := P171 - 1
IM[136,93]: -1
P18 --> T91 : 1
Pre[137,136]: 1
T91: P94' := P94 + 1
IM[137,131]: 1
T91: P18' := P18 - 1
IM[137,136]: -1
P199 --> T90 : 1
Pre[138,227]: 1
T90: P118' := P118 + 1
IM[138,158]: 1
T90: P164' := P164 + 1
IM[138,225]: 1
T90: P199' := P199 - 1
IM[138,227]: -1
P54 --> T89 : 1
Pre[139,172]: 1
T89: P89' := P89 + 1
IM[139,171]: 1
T89: P54' := P54 - 1
IM[139,172]: -1
P201 --> T88 : 1
Pre[140,40]: 1
P203 --> T88 : 1
Pre[140,33]: 1
P91 --> T88 : 1
Pre[140,75]: 1
T88: P201' := P201 - 1
IM[140,40]: -1
T88: P203' := P203 - 1
IM[140,33]: -1
T88: P106' := P106 + 1
IM[140,133]: 1
T88: P91' := P91 - 1
IM[140,75]: -1
P64 --> T87 : 1
Pre[141,177]: 1
T87: P3' := P3 + 1
IM[141,182]: 1
T87: P64' := P64 - 1
IM[141,177]: -1
P172 --> T86 : 1
Pre[142,16]: 1
P103 --> T86 : 1
Pre[142,47]: 1
T86: P172' := P172 - 1
IM[142,16]: -1
T86: P103' := P103 - 1
IM[142,47]: -1
T86: P119' := P119 + 1
IM[142,63]: 1
P215 --> T85 : 1
Pre[143,24]: 1
P51 --> T85 : 1
Pre[143,27]: 1
P111 --> T85 : 1
Pre[143,41]: 1
T85: P215' := P215 - 1
IM[143,24]: -1
T85: P51' := P51 - 1
IM[143,27]: -1
T85: P145' := P145 + 1
IM[143,149]: 1
T85: P111' := P111 - 1
IM[143,41]: -1
P12 --> T84 : 1
Pre[144,232]: 1
T84: P118' := P118 + 1
IM[144,158]: 1
T84: P12' := P12 - 1
IM[144,232]: -1
T84: P237' := P237 + 1
IM[144,146]: 1
T84: P230' := P230 + 1
IM[144,218]: 1
P11 --> T83 : 1
Pre[145,44]: 1
T83: P93' := P93 + 1
IM[145,86]: 1
T83: P39' := P39 + 1
IM[145,26]: 1
T83: P11' := P11 - 1
IM[145,44]: -1
P4 --> T82 : 1
Pre[146,209]: 1
T82: P224' := P224 + 1
IM[146,214]: 1
T82: P118' := P118 + 1
IM[146,158]: 1
T82: P4' := P4 - 1
IM[146,209]: -1
P227 --> T81 : 1
Pre[147,17]: 1
T81: P9' := P9 + 1
IM[147,28]: 1
T81: P227' := P227 - 1
IM[147,17]: -1
P15 --> T80 : 1
Pre[148,233]: 1
T80: P118' := P118 + 1
IM[148,158]: 1
T80: P15' := P15 - 1
IM[148,233]: -1
T80: P237' := P237 + 1
IM[148,146]: 1
T80: P30' := P30 + 1
IM[148,231]: 1
P137 --> T79 : 1
Pre[149,244]: 1
P118 --> T79 : 1
Pre[149,158]: 1
T79: P62' := P62 + 1
IM[149,243]: 1
T79: P137' := P137 - 1
IM[149,244]: -1
T79: P118' := P118 - 1
IM[149,158]: -1
P9 --> T78 : 1
Pre[150,28]: 1
T78: P9' := P9 - 1
IM[150,28]: -1
T78: P103' := P103 + 1
IM[150,47]: 1
T78: P142' := P142 + 1
IM[150,45]: 1
T78: P44' := P44 + 1
IM[150,42]: 1
P127 --> T77 : 1
Pre[151,148]: 1
T77: P56' := P56 + 1
IM[151,202]: 1
T77: P127' := P127 - 1
IM[151,148]: -1
P118 --> T76 : 1
Pre[152,158]: 1
P240 --> T76 : 1
Pre[152,140]: 1
T76: P183' := P183 + 1
IM[152,193]: 1
T76: P118' := P118 - 1
IM[152,158]: -1
T76: P240' := P240 - 1
IM[152,140]: -1
P181 --> T75 : 1
Pre[153,144]: 1
T75: P29' := P29 + 1
IM[153,117]: 1
T75: P181' := P181 - 1
IM[153,144]: -1
P3 --> T74 : 1
Pre[154,182]: 1
T74: P184' := P184 + 1
IM[154,116]: 1
T74: P3' := P3 - 1
IM[154,182]: -1
P151 --> T73 : 1
Pre[155,70]: 1
T73: P220' := P220 + 1
IM[155,118]: 1
T73: P39' := P39 + 1
IM[155,26]: 1
T73: P151' := P151 - 1
IM[155,70]: -1
P172 --> T72 : 1
Pre[156,16]: 1
P101 --> T72 : 1
Pre[156,95]: 1
T72: P172' := P172 - 1
IM[156,16]: -1
T72: P101' := P101 - 1
IM[156,95]: -1
T72: P50' := P50 + 1
IM[156,87]: 1
P24 --> T71 : 1
Pre[157,223]: 1
T71: P14' := P14 + 1
IM[157,122]: 1
T71: P24' := P24 - 1
IM[157,223]: -1
P131 --> T70 : 1
Pre[158,20]: 1
P39 --> T70 : 1
Pre[158,26]: 1
T70: P131' := P131 - 1
IM[158,20]: -1
T70: P39' := P39 - 1
IM[158,26]: -1
T70: P100' := P100 + 1
IM[158,23]: 1
P133 --> T69 : 1
Pre[159,103]: 1
P39 --> T69 : 1
Pre[159,26]: 1
T69: P133' := P133 - 1
IM[159,103]: -1
T69: P39' := P39 - 1
IM[159,26]: -1
T69: P55' := P55 + 1
IM[159,101]: 1
P206 --> T68 : 1
Pre[160,194]: 1
T68: P3' := P3 + 1
IM[160,182]: 1
T68: P206' := P206 - 1
IM[160,194]: -1
P180 --> T67 : 1
Pre[161,151]: 1
T67: P102' := P102 + 1
IM[161,156]: 1
T67: P118' := P118 + 1
IM[161,158]: 1
T67: P180' := P180 - 1
IM[161,151]: -1
P237 --> T66 : 1
Pre[162,146]: 1
P217 --> T66 : 1
Pre[162,159]: 1
T66: P99' := P99 + 1
IM[162,175]: 1
T66: P237' := P237 - 1
IM[162,146]: -1
T66: P217' := P217 - 1
IM[162,159]: -1
P44 --> T65 : 1
Pre[163,42]: 1
P93 --> T65 : 1
Pre[163,86]: 1
P187 --> T65 : 1
Pre[163,73]: 1
T65: P44' := P44 - 1
IM[163,42]: -1
T65: P93' := P93 - 1
IM[163,86]: -1
T65: P170' := P170 + 1
IM[163,142]: 1
T65: P187' := P187 - 1
IM[163,73]: -1
P173 --> T64 : 1
Pre[164,59]: 1
P219 --> T64 : 1
Pre[164,51]: 1
P160 --> T64 : 1
Pre[164,58]: 1
T64: P173' := P173 - 1
IM[164,59]: -1
T64: P219' := P219 - 1
IM[164,51]: -1
T64: P226' := P226 + 1
IM[164,137]: 1
T64: P160' := P160 - 1
IM[164,58]: -1
P118 --> T63 : 1
Pre[165,158]: 1
P32 --> T63 : 1
Pre[165,114]: 1
T63: P78' := P78 + 1
IM[165,168]: 1
T63: P118' := P118 - 1
IM[165,158]: -1
T63: P32' := P32 - 1
IM[165,114]: -1
P233 --> T62 : 1
Pre[166,49]: 1
P39 --> T62 : 1
Pre[166,26]: 1
T62: P233' := P233 - 1
IM[166,49]: -1
T62: P39' := P39 - 1
IM[166,26]: -1
T62: P144' := P144 + 1
IM[166,68]: 1
P23 --> T61 : 1
Pre[167,166]: 1
T61: P194' := P194 + 1
IM[167,130]: 1
T61: P23' := P23 - 1
IM[167,166]: -1
P223 --> T60 : 1
Pre[168,205]: 1
T60: P193' := P193 + 1
IM[168,221]: 1
T60: P118' := P118 + 1
IM[168,158]: 1
T60: P223' := P223 - 1
IM[168,205]: -1
P118 --> T59 : 1
Pre[169,158]: 1
P32 --> T59 : 1
Pre[169,114]: 1
T59: P118' := P118 - 1
IM[169,158]: -1
T59: P42' := P42 + 1
IM[169,174]: 1
T59: P32' := P32 - 1
IM[169,114]: -1
P152 --> T58 : 1
Pre[170,5]: 1
T58: P232' := P232 + 1
IM[170,85]: 1
T58: P152' := P152 - 1
IM[170,5]: -1
T58: P40' := P40 + 1
IM[170,14]: 1
T58: P121' := P121 + 1
IM[170,102]: 1
T58: P63' := P63 + 1
IM[170,4]: 1
P166 --> T57 : 1
Pre[171,36]: 1
T57: P172' := P172 + 1
IM[171,16]: 1
T57: P112' := P112 + 1
IM[171,104]: 1
T57: P166' := P166 - 1
IM[171,36]: -1
P118 --> T56 : 1
Pre[172,158]: 1
P69 --> T56 : 1
Pre[172,141]: 1
T56: P118' := P118 - 1
IM[172,158]: -1
T56: P186' := P186 + 1
IM[172,164]: 1
T56: P69' := P69 - 1
IM[172,141]: -1
P36 --> T55 : 1
Pre[173,176]: 1
T55: P159' := P159 + 1
IM[173,180]: 1
T55: P118' := P118 + 1
IM[173,158]: 1
T55: P36' := P36 - 1
IM[173,176]: -1
P239 --> T54 : 1
Pre[174,197]: 1
T54: P25' := P25 + 1
IM[174,150]: 1
T54: P239' := P239 - 1
IM[174,197]: -1
P73 --> T53 : 1
Pre[175,1]: 1
P40 --> T53 : 1
Pre[175,14]: 1
T53: P73' := P73 - 1
IM[175,1]: -1
T53: P208' := P208 + 1
IM[175,7]: 1
T53: P40' := P40 - 1
IM[175,14]: -1
P49 --> T52 : 1
Pre[176,65]: 1
T52: P172' := P172 + 1
IM[176,16]: 1
T52: P91' := P91 + 1
IM[176,75]: 1
T52: P49' := P49 - 1
IM[176,65]: -1
P90 --> T51 : 1
Pre[177,37]: 1
P39 --> T51 : 1
Pre[177,26]: 1
T51: P90' := P90 - 1
IM[177,37]: -1
T51: P39' := P39 - 1
IM[177,26]: -1
T51: P188' := P188 + 1
IM[177,34]: 1
P244 --> T50 : 1
Pre[178,6]: 1
P40 --> T50 : 1
Pre[178,14]: 1
T50: P244' := P244 - 1
IM[178,6]: -1
T50: P38' := P38 + 1
IM[178,35]: 1
T50: P40' := P40 - 1
IM[178,14]: -1
P38 --> T49 : 1
Pre[179,35]: 1
T49: P133' := P133 + 1
IM[179,103]: 1
T49: P38' := P38 - 1
IM[179,35]: -1
T49: P40' := P40 + 1
IM[179,14]: 1
T49: P204' := P204 + 1
IM[179,105]: 1
T49: P154' := P154 + 1
IM[179,43]: 1
P45 --> T48 : 1
Pre[180,134]: 1
T48: P18' := P18 + 1
IM[180,136]: 1
T48: P45' := P45 - 1
IM[180,134]: -1
P118 --> T47 : 1
Pre[181,158]: 1
P145 --> T47 : 1
Pre[181,149]: 1
T47: P118' := P118 - 1
IM[181,158]: -1
T47: P140' := P140 + 1
IM[181,204]: 1
T47: P145' := P145 - 1
IM[181,149]: -1
P183 --> T46 : 1
Pre[182,193]: 1
T46: P206' := P206 + 1
IM[182,194]: 1
T46: P118' := P118 + 1
IM[182,158]: 1
T46: P183' := P183 - 1
IM[182,193]: -1
P229 --> T45 : 1
Pre[183,77]: 1
T45: P225' := P225 + 1
IM[183,71]: 1
T45: P229' := P229 - 1
IM[183,77]: -1
T45: P40' := P40 + 1
IM[183,14]: 1
T45: P75' := P75 + 1
IM[183,106]: 1
T45: P7' := P7 + 1
IM[183,89]: 1
P237 --> T44 : 1
Pre[184,146]: 1
P42 --> T44 : 1
Pre[184,174]: 1
T44: P132' := P132 + 1
IM[184,195]: 1
T44: P237' := P237 - 1
IM[184,146]: -1
T44: P42' := P42 - 1
IM[184,174]: -1
P230 --> T43 : 1
Pre[185,218]: 1
T43: P128' := P128 + 1
IM[185,167]: 1
T43: P230' := P230 - 1
IM[185,218]: -1
P99 --> T42 : 1
Pre[186,175]: 1
T42: P118' := P118 + 1
IM[186,158]: 1
T42: P99' := P99 - 1
IM[186,175]: -1
T42: P237' := P237 + 1
IM[186,146]: 1
T42: P43' := P43 + 1
IM[186,189]: 1
P138 --> T41 : 1
Pre[187,57]: 1
T41: P138' := P138 - 1
IM[187,57]: -1
T41: P98' := P98 + 1
IM[187,53]: 1
P52 --> T40 : 1
Pre[188,38]: 1
T40: P172' := P172 + 1
IM[188,16]: 1
T40: P110' := P110 + 1
IM[188,66]: 1
T40: P52' := P52 - 1
IM[188,38]: -1
P13 --> T39 : 1
Pre[189,234]: 1
P118 --> T39 : 1
Pre[189,158]: 1
T39: P74' := P74 + 1
IM[189,239]: 1
T39: P13' := P13 - 1
IM[189,234]: -1
T39: P118' := P118 - 1
IM[189,158]: -1
P8 --> T38 : 1
Pre[190,145]: 1
T38: P8' := P8 - 1
IM[190,145]: -1
T38: P37' := P37 + 1
IM[190,154]: 1
P27 --> T37 : 1
Pre[191,138]: 1
T37: P124' := P124 + 1
IM[191,123]: 1
T37: P27' := P27 - 1
IM[191,138]: -1
P20 --> T36 : 1
Pre[192,112]: 1
P163 --> T36 : 1
Pre[192,120]: 1
P115 --> T36 : 1
Pre[192,115]: 1
T36: P20' := P20 - 1
IM[192,112]: -1
T36: P163' := P163 - 1
IM[192,120]: -1
T36: P182' := P182 + 1
IM[192,135]: 1
T36: P115' := P115 - 1
IM[192,115]: -1
P14 --> T35 : 1
Pre[193,122]: 1
T35: P85' := P85 + 1
IM[193,113]: 1
T35: P14' := P14 - 1
IM[193,122]: -1
P118 --> T34 : 1
Pre[194,158]: 1
P108 --> T34 : 1
Pre[194,128]: 1
T34: P79' := P79 + 1
IM[194,165]: 1
T34: P118' := P118 - 1
IM[194,158]: -1
T34: P108' := P108 - 1
IM[194,128]: -1
P172 --> T33 : 1
Pre[195,16]: 1
P33 --> T33 : 1
Pre[195,76]: 1
T33: P172' := P172 - 1
IM[195,16]: -1
T33: P33' := P33 - 1
IM[195,76]: -1
T33: P139' := P139 + 1
IM[195,78]: 1
P113 --> T32 : 1
Pre[196,81]: 1
P39 --> T32 : 1
Pre[196,26]: 1
T32: P113' := P113 - 1
IM[196,81]: -1
T32: P39' := P39 - 1
IM[196,26]: -1
T32: P60' := P60 + 1
IM[196,91]: 1
P55 --> T31 : 1
Pre[197,101]: 1
T31: P179' := P179 + 1
IM[197,109]: 1
T31: P39' := P39 + 1
IM[197,26]: 1
T31: P55' := P55 - 1
IM[197,101]: -1
P70 --> T30 : 1
Pre[198,178]: 1
T30: P57' := P57 + 1
IM[198,173]: 1
T30: P70' := P70 - 1
IM[198,178]: -1
P205 --> T29 : 1
Pre[199,181]: 1
T29: P105' := P105 + 1
IM[199,125]: 1
T29: P205' := P205 - 1
IM[199,181]: -1
P161 --> T28 : 1
Pre[200,19]: 1
T28: P165' := P165 + 1
IM[200,84]: 1
T28: P161' := P161 - 1
IM[200,19]: -1
T28: P40' := P40 + 1
IM[200,14]: 1
T28: P20' := P20 + 1
IM[200,112]: 1
T28: P200' := P200 + 1
IM[200,60]: 1
P118 --> T27 : 1
Pre[201,158]: 1
P170 --> T27 : 1
Pre[201,142]: 1
T27: P118' := P118 - 1
IM[201,158]: -1
T27: P34' := P34 + 1
IM[201,226]: 1
T27: P170' := P170 - 1
IM[201,142]: -1
P79 --> T26 : 1
Pre[202,165]: 1
T26: P135' := P135 + 1
IM[202,192]: 1
T26: P118' := P118 + 1
IM[202,158]: 1
T26: P79' := P79 - 1
IM[202,165]: -1
P175 --> T25 : 1
Pre[203,139]: 1
T25: P8' := P8 + 1
IM[203,145]: 1
T25: P175' := P175 - 1
IM[203,139]: -1
P118 --> T24 : 1
Pre[204,158]: 1
P156 --> T24 : 1
Pre[204,126]: 1
T24: P118' := P118 - 1
IM[204,158]: -1
T24: P126' := P126 + 1
IM[204,210]: 1
T24: P156' := P156 - 1
IM[204,126]: -1
P222 --> T23 : 1
Pre[205,0]: 1
P40 --> T23 : 1
Pre[205,14]: 1
T23: P222' := P222 - 1
IM[205,0]: -1
T23: P158' := P158 + 1
IM[205,8]: 1
T23: P40' := P40 - 1
IM[205,14]: -1
P117 --> T22 : 1
Pre[206,191]: 1
T22: P89' := P89 + 1
IM[206,171]: 1
T22: P117' := P117 - 1
IM[206,191]: -1
P204 --> T21 : 1
Pre[207,105]: 1
P179 --> T21 : 1
Pre[207,109]: 1
P242 --> T21 : 1
Pre[207,99]: 1
T21: P204' := P204 - 1
IM[207,105]: -1
T21: P179' := P179 - 1
IM[207,109]: -1
T21: P156' := P156 + 1
IM[207,126]: 1
T21: P242' := P242 - 1
IM[207,99]: -1
P50 --> T20 : 1
Pre[208,87]: 1
T20: P172' := P172 + 1
IM[208,16]: 1
T20: P76' := P76 + 1
IM[208,92]: 1
T20: P50' := P50 - 1
IM[208,87]: -1
P118 --> T19 : 1
Pre[209,158]: 1
P182 --> T19 : 1
Pre[209,135]: 1
T19: P109' := P109 + 1
IM[209,203]: 1
T19: P118' := P118 - 1
IM[209,158]: -1
T19: P182' := P182 - 1
IM[209,135]: -1
P75 --> T18 : 1
Pre[210,106]: 1
P220 --> T18 : 1
Pre[210,118]: 1
P202 --> T18 : 1
Pre[210,107]: 1
T18: P75' := P75 - 1
IM[210,106]: -1
T18: P220' := P220 - 1
IM[210,118]: -1
T18: P147' := P147 + 1
IM[210,208]: 1
T18: P202' := P202 - 1
IM[210,107]: -1
P81 --> T17 : 1
Pre[211,143]: 1
P118 --> T17 : 1
Pre[211,158]: 1
T17: P150' := P150 + 1
IM[211,160]: 1
T17: P81' := P81 - 1
IM[211,143]: -1
T17: P118' := P118 - 1
IM[211,158]: -1
P172 --> T16 : 1
Pre[212,16]: 1
P125 --> T16 : 1
Pre[212,82]: 1
T16: P172' := P172 - 1
IM[212,16]: -1
T16: P125' := P125 - 1
IM[212,82]: -1
T16: P53' := P53 + 1
IM[212,100]: 1
P237 --> T15 : 1
Pre[213,146]: 1
P209 --> T15 : 1
Pre[213,199]: 1
T15: P92' := P92 + 1
IM[213,198]: 1
T15: P237' := P237 - 1
IM[213,146]: -1
T15: P209' := P209 - 1
IM[213,199]: -1
P100 --> T14 : 1
Pre[214,23]: 1
T14: P51' := P51 + 1
IM[214,27]: 1
T14: P39' := P39 + 1
IM[214,26]: 1
T14: P100' := P100 - 1
IM[214,23]: -1
P118 --> T13 : 1
Pre[215,158]: 1
P106 --> T13 : 1
Pre[215,133]: 1
T13: P118' := P118 - 1
IM[215,158]: -1
T13: P153' := P153 + 1
IM[215,147]: 1
T13: P106' := P106 - 1
IM[215,133]: -1
P118 --> T12 : 1
Pre[216,158]: 1
P170 --> T12 : 1
Pre[216,142]: 1
T12: P176' := P176 + 1
IM[216,213]: 1
T12: P118' := P118 - 1
IM[216,158]: -1
T12: P170' := P170 - 1
IM[216,142]: -1
P225 --> T11 : 1
Pre[217,71]: 1
P39 --> T11 : 1
Pre[217,26]: 1
T11: P225' := P225 - 1
IM[217,71]: -1
T11: P39' := P39 - 1
IM[217,26]: -1
T11: P151' := P151 + 1
IM[217,70]: 1
P143 --> T10 : 1
Pre[218,11]: 1
P40 --> T10 : 1
Pre[218,14]: 1
T10: P143' := P143 - 1
IM[218,11]: -1
T10: P59' := P59 + 1
IM[218,21]: 1
T10: P40' := P40 - 1
IM[218,14]: -1
P62 --> T9 : 1
Pre[219,243]: 1
T9: P118' := P118 + 1
IM[219,158]: 1
T9: P3' := P3 + 1
IM[219,182]: 1
T9: P62' := P62 - 1
IM[219,243]: -1
P232 --> T8 : 1
Pre[220,85]: 1
P39 --> T8 : 1
Pre[220,26]: 1
T8: P232' := P232 - 1
IM[220,85]: -1
T8: P39' := P39 - 1
IM[220,26]: -1
T8: P123' := P123 + 1
IM[220,80]: 1
P10 --> T7 : 1
Pre[221,25]: 1
T7: P10' := P10 - 1
IM[221,25]: -1
T7: P162' := P162 + 1
IM[221,22]: 1
T7: P130' := P130 + 1
IM[221,31]: 1
T7: P212' := P212 + 1
IM[221,30]: 1
P172 --> T6 : 1
Pre[222,16]: 1
P63 --> T6 : 1
Pre[222,4]: 1
T6: P172' := P172 - 1
IM[222,16]: -1
T6: P63' := P63 - 1
IM[222,4]: -1
T6: P166' := P166 + 1
IM[222,36]: 1
P176 --> T5 : 1
Pre[223,213]: 1
T5: P196' := P196 + 1
IM[223,220]: 1
T5: P118' := P118 + 1
IM[223,158]: 1
T5: P176' := P176 - 1
IM[223,213]: -1
P237 --> T4 : 1
Pre[224,146]: 1
P153 --> T4 : 1
Pre[224,147]: 1
T4: P47' := P47 + 1
IM[224,153]: 1
T4: P237' := P237 - 1
IM[224,146]: -1
T4: P153' := P153 - 1
IM[224,147]: -1
P65 --> T3 : 1
Pre[225,229]: 1
T3: P25' := P25 + 1
IM[225,150]: 1
T3: P65' := P65 - 1
IM[225,229]: -1
P88 --> T2 : 1
Pre[226,162]: 1
T2: P118' := P118 + 1
IM[226,158]: 1
T2: P88' := P88 - 1
IM[226,162]: -1
T2: P237' := P237 + 1
IM[226,146]: 1
T2: P95' := P95 + 1
IM[226,161]: 1
P30 --> T1 : 1
Pre[227,231]: 1
T1: P207' := P207 + 1
IM[227,187]: 1
T1: P30' := P30 - 1
IM[227,231]: -1


Decreasing places (index:name): 0:P222 1:P73 2:P46 3:P228 6:P244 9:P19 11:P143 13:P168 179:P67 190:P83 228:P185 236:P218 237:P41 238:P234 242:P221 244:P137

Increasing places (index:name):

Disabled transitions:

P237 --> T228 : 1
Pre[0,146]: 1
P126 --> T228 : 1
Pre[0,210]: 1
P212 --> T227 : 1
Pre[1,30]: 1
P213 --> T227 : 1
Pre[1,29]: 1
P110 --> T227 : 1
Pre[1,66]: 1
P235 --> T226 : 1
Pre[2,18]: 1
P130 --> T225 : 1
Pre[3,31]: 1
P39 --> T225 : 1
Pre[3,26]: 1
P144 --> T224 : 1
Pre[4,68]: 1
P118 --> T223 : 1
Pre[5,158]: 1
P182 --> T223 : 1
Pre[5,135]: 1
P208 --> T222 : 1
Pre[6,7]: 1
P118 --> T221 : 1
Pre[7,158]: 1
P147 --> T221 : 1
Pre[7,208]: 1
P142 --> T220 : 1
Pre[8,45]: 1
P39 --> T220 : 1
Pre[8,26]: 1
P177 --> T219 : 1
Pre[9,170]: 1
P95 --> T218 : 1
Pre[10,161]: 1
P21 --> T217 : 1
Pre[11,56]: 1
P39 --> T217 : 1
Pre[11,26]: 1
P172 --> T216 : 1
Pre[12,16]: 1
P200 --> T216 : 1
Pre[12,60]: 1
P228 --> T215 : 1
Pre[13,3]: 1
P228 < 1. Breaking out
T215 is disabled...
P237 --> T214 : 1
Pre[14,146]: 1
P140 --> T214 : 1
Pre[14,204]: 1
P196 --> T213 : 1
Pre[15,220]: 1
P107 --> T212 : 1
Pre[16,83]: 1
P172 --> T211 : 1
Pre[17,16]: 1
P162 --> T211 : 1
Pre[17,22]: 1
P167 --> T210 : 1
Pre[18,121]: 1
P150 --> T209 : 1
Pre[19,160]: 1
P92 --> T208 : 1
Pre[20,198]: 1
P135 --> T207 : 1
Pre[21,192]: 1
P168 --> T206 : 1
Pre[22,13]: 1
P168 < 1. Breaking out
T206 is disabled...
P109 --> T205 : 1
Pre[23,203]: 1
P41 --> T204 : 1
Pre[24,237]: 1
P41 < 1. Breaking out
T204 is disabled...
P218 --> T203 : 1
Pre[25,236]: 1
P218 < 1. Breaking out
T203 is disabled...
P234 --> T202 : 1
Pre[26,238]: 1
P234 < 1. Breaking out
T202 is disabled...
P185 --> T201 : 1
Pre[27,228]: 1
P185 < 1. Breaking out
T201 is disabled...
P195 --> T200 : 1
Pre[28,46]: 1
P40 --> T200 : 1
Pre[28,14]: 1
P172 --> T199 : 1
Pre[29,16]: 1
P154 --> T199 : 1
Pre[29,43]: 1
P224 --> T198 : 1
Pre[30,214]: 1
P243 --> T197 : 1
Pre[31,111]: 1
P86 --> T196 : 1
Pre[32,201]: 1
P72 --> T195 : 1
Pre[33,108]: 1
P40 --> T195 : 1
Pre[33,14]: 1
P178 --> T194 : 1
Pre[34,157]: 1
P118 --> T193 : 1
Pre[35,158]: 1
P156 --> T193 : 1
Pre[35,126]: 1
P85 --> T192 : 1
Pre[36,113]: 1
P77 --> T191 : 1
Pre[37,183]: 1
P116 --> T190 : 1
Pre[38,215]: 1
P207 --> T189 : 1
Pre[39,187]: 1
P197 --> T188 : 1
Pre[40,155]: 1
P56 --> T187 : 1
Pre[41,202]: 1
P26 --> T186 : 1
Pre[42,119]: 1
P118 --> T185 : 1
Pre[43,158]: 1
P106 --> T185 : 1
Pre[43,133]: 1
P118 --> T184 : 1
Pre[44,158]: 1
P240 --> T184 : 1
Pre[44,140]: 1
P211 --> T183 : 1
Pre[45,212]: 1
P188 --> T182 : 1
Pre[46,34]: 1
P118 --> T181 : 1
Pre[47,158]: 1
P69 --> T181 : 1
Pre[47,141]: 1
P123 --> T180 : 1
Pre[48,80]: 1
P118 --> T179 : 1
Pre[49,158]: 1
P226 --> T179 : 1
Pre[49,137]: 1
P80 --> T178 : 1
Pre[50,224]: 1
P238 --> T177 : 1
Pre[51,219]: 1
P98 --> T176 : 1
Pre[52,53]: 1
P40 --> T176 : 1
Pre[52,14]: 1
P174 --> T175 : 1
Pre[53,152]: 1
P60 --> T174 : 1
Pre[54,91]: 1
P118 --> T173 : 1
Pre[55,158]: 1
P147 --> T173 : 1
Pre[55,208]: 1
P236 --> T172 : 1
Pre[56,32]: 1
P198 --> T171 : 1
Pre[57,200]: 1
P237 --> T170 : 1
Pre[58,146]: 1
P141 --> T170 : 1
Pre[58,163]: 1
P118 --> T169 : 1
Pre[59,158]: 1
P226 --> T169 : 1
Pre[59,137]: 1
P172 --> T168 : 1
Pre[60,16]: 1
P216 --> T168 : 1
Pre[60,15]: 1
P237 --> T167 : 1
Pre[61,146]: 1
P34 --> T167 : 1
Pre[61,226]: 1
P22 --> T166 : 1
Pre[62,54]: 1
P39 --> T166 : 1
Pre[62,26]: 1
P237 --> T165 : 1
Pre[63,146]: 1
P136 --> T165 : 1
Pre[63,211]: 1
P37 --> T164 : 1
Pre[64,154]: 1
P118 --> T164 : 1
Pre[64,158]: 1
P59 --> T163 : 1
Pre[65,21]: 1
P118 --> T162 : 1
Pre[66,158]: 1
P84 --> T162 : 1
Pre[66,127]: 1
P105 --> T161 : 1
Pre[67,125]: 1
P159 --> T160 : 1
Pre[68,180]: 1
P132 --> T159 : 1
Pre[69,195]: 1
P184 --> T158 : 1
Pre[70,116]: 1
P19 --> T157 : 1
Pre[71,9]: 1
P19 < 1. Breaking out
T157 is disabled...
P169 --> T156 : 1
Pre[72,61]: 1
P118 --> T155 : 1
Pre[73,158]: 1
P145 --> T155 : 1
Pre[73,149]: 1
P149 --> T154 : 1
Pre[74,50]: 1
P172 --> T153 : 1
Pre[75,16]: 1
P155 --> T153 : 1
Pre[75,67]: 1
P96 --> T152 : 1
Pre[76,97]: 1
P157 --> T151 : 1
Pre[77,185]: 1
P17 --> T150 : 1
Pre[78,39]: 1
P48 --> T149 : 1
Pre[79,12]: 1
P35 --> T148 : 1
Pre[80,184]: 1
P28 --> T147 : 1
Pre[81,206]: 1
P237 --> T146 : 1
Pre[82,146]: 1
P1 --> T146 : 1
Pre[82,235]: 1
P134 --> T145 : 1
Pre[83,10]: 1
P194 --> T144 : 1
Pre[84,130]: 1
P78 --> T143 : 1
Pre[85,168]: 1
P214 --> T142 : 1
Pre[86,55]: 1
P25 --> T141 : 1
Pre[87,150]: 1
P58 --> T140 : 1
Pre[88,94]: 1
P5 --> T140 : 1
Pre[88,98]: 1
P68 --> T140 : 1
Pre[88,96]: 1
P237 --> T139 : 1
Pre[89,146]: 1
P186 --> T139 : 1
Pre[89,164]: 1
P83 --> T138 : 1
Pre[90,190]: 1
P83 < 1. Breaking out
T138 is disabled...
P193 --> T137 : 1
Pre[91,221]: 1
P89 --> T136 : 1
Pre[92,171]: 1
P221 --> T135 : 1
Pre[93,242]: 1
P221 < 1. Breaking out
T135 is disabled...
P191 --> T134 : 1
Pre[94,129]: 1
P6 --> T133 : 1
Pre[95,52]: 1
P2 --> T132 : 1
Pre[96,74]: 1
P40 --> T132 : 1
Pre[96,14]: 1
P46 --> T131 : 1
Pre[97,2]: 1
P46 < 1. Breaking out
T131 is disabled...
P74 --> T130 : 1
Pre[98,239]: 1
P82 --> T129 : 1
Pre[99,79]: 1
P97 --> T129 : 1
Pre[99,62]: 1
P16 --> T129 : 1
Pre[99,72]: 1
P66 --> T128 : 1
Pre[100,230]: 1
P231 --> T127 : 1
Pre[101,241]: 1
P71 --> T126 : 1
Pre[102,169]: 1
P146 --> T125 : 1
Pre[103,217]: 1
P87 --> T124 : 1
Pre[104,216]: 1
P47 --> T123 : 1
Pre[105,153]: 1
P57 --> T122 : 1
Pre[106,173]: 1
P122 --> T121 : 1
Pre[107,207]: 1
P94 --> T120 : 1
Pre[108,131]: 1
P210 --> T119 : 1
Pre[109,69]: 1
P31 --> T118 : 1
Pre[110,196]: 1
P128 --> T117 : 1
Pre[111,167]: 1
P43 --> T116 : 1
Pre[112,189]: 1
P172 --> T115 : 1
Pre[113,16]: 1
P7 --> T115 : 1
Pre[113,89]: 1
P29 --> T114 : 1
Pre[114,117]: 1
P237 --> T113 : 1
Pre[115,146]: 1
P189 --> T113 : 1
Pre[115,186]: 1
P158 --> T112 : 1
Pre[116,8]: 1
P165 --> T111 : 1
Pre[117,84]: 1
P39 --> T111 : 1
Pre[117,26]: 1
P245 --> T110 : 1
Pre[118,64]: 1
P118 --> T109 : 1
Pre[119,158]: 1
P108 --> T109 : 1
Pre[119,128]: 1
P114 --> T108 : 1
Pre[120,88]: 1
P190 --> T108 : 1
Pre[120,90]: 1
P76 --> T108 : 1
Pre[120,92]: 1
P121 --> T107 : 1
Pre[121,102]: 1
P192 --> T107 : 1
Pre[121,110]: 1
P112 --> T107 : 1
Pre[121,104]: 1
P104 --> T106 : 1
Pre[122,188]: 1
P61 --> T105 : 1
Pre[123,222]: 1
P102 --> T104 : 1
Pre[124,156]: 1
P129 --> T103 : 1
Pre[125,132]: 1
P118 --> T103 : 1
Pre[125,158]: 1
P124 --> T102 : 1
Pre[126,123]: 1
P67 --> T101 : 1
Pre[127,179]: 1
P67 < 1. Breaking out
T101 is disabled...
P53 --> T100 : 1
Pre[128,100]: 1
P172 --> T99 : 1
Pre[129,16]: 1
P241 --> T99 : 1
Pre[129,48]: 1
P118 --> T98 : 1
Pre[130,158]: 1
P84 --> T98 : 1
Pre[130,127]: 1
P164 --> T97 : 1
Pre[131,225]: 1
P148 --> T96 : 1
Pre[132,240]: 1
P120 --> T95 : 1
Pre[133,124]: 1
P119 --> T94 : 1
Pre[134,63]: 1
P139 --> T93 : 1
Pre[135,78]: 1
P171 --> T92 : 1
Pre[136,93]: 1
P18 --> T91 : 1
Pre[137,136]: 1
P199 --> T90 : 1
Pre[138,227]: 1
P54 --> T89 : 1
Pre[139,172]: 1
P201 --> T88 : 1
Pre[140,40]: 1
P203 --> T88 : 1
Pre[140,33]: 1
P91 --> T88 : 1
Pre[140,75]: 1
P64 --> T87 : 1
Pre[141,177]: 1
P172 --> T86 : 1
Pre[142,16]: 1
P103 --> T86 : 1
Pre[142,47]: 1
P215 --> T85 : 1
Pre[143,24]: 1
P51 --> T85 : 1
Pre[143,27]: 1
P111 --> T85 : 1
Pre[143,41]: 1
P12 --> T84 : 1
Pre[144,232]: 1
P11 --> T83 : 1
Pre[145,44]: 1
P4 --> T82 : 1
Pre[146,209]: 1
P227 --> T81 : 1
Pre[147,17]: 1
P15 --> T80 : 1
Pre[148,233]: 1
P137 --> T79 : 1
Pre[149,244]: 1
P137 < 1. Breaking out
T79 is disabled...
P9 --> T78 : 1
Pre[150,28]: 1
P127 --> T77 : 1
Pre[151,148]: 1
P118 --> T76 : 1
Pre[152,158]: 1
P240 --> T76 : 1
Pre[152,140]: 1
P181 --> T75 : 1
Pre[153,144]: 1
P3 --> T74 : 1
Pre[154,182]: 1
P151 --> T73 : 1
Pre[155,70]: 1
P172 --> T72 : 1
Pre[156,16]: 1
P101 --> T72 : 1
Pre[156,95]: 1
P24 --> T71 : 1
Pre[157,223]: 1
P131 --> T70 : 1
Pre[158,20]: 1
P39 --> T70 : 1
Pre[158,26]: 1
P133 --> T69 : 1
Pre[159,103]: 1
P39 --> T69 : 1
Pre[159,26]: 1
P206 --> T68 : 1
Pre[160,194]: 1
P180 --> T67 : 1
Pre[161,151]: 1
P237 --> T66 : 1
Pre[162,146]: 1
P217 --> T66 : 1
Pre[162,159]: 1
P44 --> T65 : 1
Pre[163,42]: 1
P93 --> T65 : 1
Pre[163,86]: 1
P187 --> T65 : 1
Pre[163,73]: 1
P173 --> T64 : 1
Pre[164,59]: 1
P219 --> T64 : 1
Pre[164,51]: 1
P160 --> T64 : 1
Pre[164,58]: 1
P118 --> T63 : 1
Pre[165,158]: 1
P32 --> T63 : 1
Pre[165,114]: 1
P233 --> T62 : 1
Pre[166,49]: 1
P39 --> T62 : 1
Pre[166,26]: 1
P23 --> T61 : 1
Pre[167,166]: 1
P223 --> T60 : 1
Pre[168,205]: 1
P118 --> T59 : 1
Pre[169,158]: 1
P32 --> T59 : 1
Pre[169,114]: 1
P152 --> T58 : 1
Pre[170,5]: 1
P166 --> T57 : 1
Pre[171,36]: 1
P118 --> T56 : 1
Pre[172,158]: 1
P69 --> T56 : 1
Pre[172,141]: 1
P36 --> T55 : 1
Pre[173,176]: 1
P239 --> T54 : 1
Pre[174,197]: 1
P73 --> T53 : 1
Pre[175,1]: 1
P73 < 1. Breaking out
T53 is disabled...
P49 --> T52 : 1
Pre[176,65]: 1
P90 --> T51 : 1
Pre[177,37]: 1
P39 --> T51 : 1
Pre[177,26]: 1
P244 --> T50 : 1
Pre[178,6]: 1
P244 < 1. Breaking out
T50 is disabled...
P38 --> T49 : 1
Pre[179,35]: 1
P45 --> T48 : 1
Pre[180,134]: 1
P118 --> T47 : 1
Pre[181,158]: 1
P145 --> T47 : 1
Pre[181,149]: 1
P183 --> T46 : 1
Pre[182,193]: 1
P229 --> T45 : 1
Pre[183,77]: 1
P237 --> T44 : 1
Pre[184,146]: 1
P42 --> T44 : 1
Pre[184,174]: 1
P230 --> T43 : 1
Pre[185,218]: 1
P99 --> T42 : 1
Pre[186,175]: 1
P138 --> T41 : 1
Pre[187,57]: 1
P52 --> T40 : 1
Pre[188,38]: 1
P13 --> T39 : 1
Pre[189,234]: 1
P118 --> T39 : 1
Pre[189,158]: 1
P8 --> T38 : 1
Pre[190,145]: 1
P27 --> T37 : 1
Pre[191,138]: 1
P20 --> T36 : 1
Pre[192,112]: 1
P163 --> T36 : 1
Pre[192,120]: 1
P115 --> T36 : 1
Pre[192,115]: 1
P14 --> T35 : 1
Pre[193,122]: 1
P118 --> T34 : 1
Pre[194,158]: 1
P108 --> T34 : 1
Pre[194,128]: 1
P172 --> T33 : 1
Pre[195,16]: 1
P33 --> T33 : 1
Pre[195,76]: 1
P113 --> T32 : 1
Pre[196,81]: 1
P39 --> T32 : 1
Pre[196,26]: 1
P55 --> T31 : 1
Pre[197,101]: 1
P70 --> T30 : 1
Pre[198,178]: 1
P205 --> T29 : 1
Pre[199,181]: 1
P161 --> T28 : 1
Pre[200,19]: 1
P118 --> T27 : 1
Pre[201,158]: 1
P170 --> T27 : 1
Pre[201,142]: 1
P79 --> T26 : 1
Pre[202,165]: 1
P175 --> T25 : 1
Pre[203,139]: 1
P118 --> T24 : 1
Pre[204,158]: 1
P156 --> T24 : 1
Pre[204,126]: 1
P222 --> T23 : 1
Pre[205,0]: 1
P222 < 1. Breaking out
T23 is disabled...
P117 --> T22 : 1
Pre[206,191]: 1
P204 --> T21 : 1
Pre[207,105]: 1
P179 --> T21 : 1
Pre[207,109]: 1
P242 --> T21 : 1
Pre[207,99]: 1
P50 --> T20 : 1
Pre[208,87]: 1
P118 --> T19 : 1
Pre[209,158]: 1
P182 --> T19 : 1
Pre[209,135]: 1
P75 --> T18 : 1
Pre[210,106]: 1
P220 --> T18 : 1
Pre[210,118]: 1
P202 --> T18 : 1
Pre[210,107]: 1
P81 --> T17 : 1
Pre[211,143]: 1
P118 --> T17 : 1
Pre[211,158]: 1
P172 --> T16 : 1
Pre[212,16]: 1
P125 --> T16 : 1
Pre[212,82]: 1
P237 --> T15 : 1
Pre[213,146]: 1
P209 --> T15 : 1
Pre[213,199]: 1
P100 --> T14 : 1
Pre[214,23]: 1
P118 --> T13 : 1
Pre[215,158]: 1
P106 --> T13 : 1
Pre[215,133]: 1
P118 --> T12 : 1
Pre[216,158]: 1
P170 --> T12 : 1
Pre[216,142]: 1
P225 --> T11 : 1
Pre[217,71]: 1
P39 --> T11 : 1
Pre[217,26]: 1
P143 --> T10 : 1
Pre[218,11]: 1
P143 < 1. Breaking out
T10 is disabled...
P62 --> T9 : 1
Pre[219,243]: 1
P232 --> T8 : 1
Pre[220,85]: 1
P39 --> T8 : 1
Pre[220,26]: 1
P10 --> T7 : 1
Pre[221,25]: 1
P172 --> T6 : 1
Pre[222,16]: 1
P63 --> T6 : 1
Pre[222,4]: 1
P176 --> T5 : 1
Pre[223,213]: 1
P237 --> T4 : 1
Pre[224,146]: 1
P153 --> T4 : 1
Pre[224,147]: 1
P65 --> T3 : 1
Pre[225,229]: 1
P88 --> T2 : 1
Pre[226,162]: 1
P30 --> T1 : 1
Pre[227,231]: 1


New Decreasing places (index:name): 5:P152 7:P208 8:P158 10:P134 12:P48 19:P161 21:P59 35:P38 169:P71 185:P157 217:P146 227:P199 230:P66 240:P148 241:P231 243:P62

Accumulated Decreasing places (index:name): 0:P222 1:P73 2:P46 3:P228 5:P152 6:P244 7:P208 8:P158 9:P19 10:P134 11:P143 12:P48 13:P168 19:P161 21:P59 35:P38 169:P71 179:P67 185:P157 190:P83 217:P146 227:P199 228:P185 230:P66 236:P218 237:P41 238:P234 240:P148 241:P231 242:P221 243:P62 244:P137

New Increasing places (index:name): 0:P222 1:P73 2:P46 3:P228 6:P244 9:P19 11:P143 13:P168 179:P67 190:P83 228:P185 236:P218 237:P41 238:P234 242:P221 244:P137

Accumulated Increasing places (index:name): 0:P222 1:P73 2:P46 3:P228 6:P244 9:P19 11:P143 13:P168 179:P67 190:P83 228:P185 236:P218 237:P41 238:P234 242:P221 244:P137

Disabled transitions: T215 T206 T204 T203 T202 T201 T157 T138 T135 T131 T101 T79 T53 T50 T23 T10

P237 --> T228 : 1
Pre[0,146]: 1
P126 --> T228 : 1
Pre[0,210]: 1
P212 --> T227 : 1
Pre[1,30]: 1
P213 --> T227 : 1
Pre[1,29]: 1
P110 --> T227 : 1
Pre[1,66]: 1
P235 --> T226 : 1
Pre[2,18]: 1
P130 --> T225 : 1
Pre[3,31]: 1
P39 --> T225 : 1
Pre[3,26]: 1
P144 --> T224 : 1
Pre[4,68]: 1
P118 --> T223 : 1
Pre[5,158]: 1
P182 --> T223 : 1
Pre[5,135]: 1
P208 --> T222 : 1
Pre[6,7]: 1
P208 < 1. Breaking out
T222 is disabled...
P118 --> T221 : 1
Pre[7,158]: 1
P147 --> T221 : 1
Pre[7,208]: 1
P142 --> T220 : 1
Pre[8,45]: 1
P39 --> T220 : 1
Pre[8,26]: 1
P177 --> T219 : 1
Pre[9,170]: 1
P95 --> T218 : 1
Pre[10,161]: 1
P21 --> T217 : 1
Pre[11,56]: 1
P39 --> T217 : 1
Pre[11,26]: 1
P172 --> T216 : 1
Pre[12,16]: 1
P200 --> T216 : 1
Pre[12,60]: 1
P237 --> T214 : 1
Pre[14,146]: 1
P140 --> T214 : 1
Pre[14,204]: 1
P196 --> T213 : 1
Pre[15,220]: 1
P107 --> T212 : 1
Pre[16,83]: 1
P172 --> T211 : 1
Pre[17,16]: 1
P162 --> T211 : 1
Pre[17,22]: 1
P167 --> T210 : 1
Pre[18,121]: 1
P150 --> T209 : 1
Pre[19,160]: 1
P92 --> T208 : 1
Pre[20,198]: 1
P135 --> T207 : 1
Pre[21,192]: 1
P109 --> T205 : 1
Pre[23,203]: 1
P195 --> T200 : 1
Pre[28,46]: 1
P40 --> T200 : 1
Pre[28,14]: 1
P172 --> T199 : 1
Pre[29,16]: 1
P154 --> T199 : 1
Pre[29,43]: 1
P224 --> T198 : 1
Pre[30,214]: 1
P243 --> T197 : 1
Pre[31,111]: 1
P86 --> T196 : 1
Pre[32,201]: 1
P72 --> T195 : 1
Pre[33,108]: 1
P40 --> T195 : 1
Pre[33,14]: 1
P178 --> T194 : 1
Pre[34,157]: 1
P118 --> T193 : 1
Pre[35,158]: 1
P156 --> T193 : 1
Pre[35,126]: 1
P85 --> T192 : 1
Pre[36,113]: 1
P77 --> T191 : 1
Pre[37,183]: 1
P116 --> T190 : 1
Pre[38,215]: 1
P207 --> T189 : 1
Pre[39,187]: 1
P197 --> T188 : 1
Pre[40,155]: 1
P56 --> T187 : 1
Pre[41,202]: 1
P26 --> T186 : 1
Pre[42,119]: 1
P118 --> T185 : 1
Pre[43,158]: 1
P106 --> T185 : 1
Pre[43,133]: 1
P118 --> T184 : 1
Pre[44,158]: 1
P240 --> T184 : 1
Pre[44,140]: 1
P211 --> T183 : 1
Pre[45,212]: 1
P188 --> T182 : 1
Pre[46,34]: 1
P118 --> T181 : 1
Pre[47,158]: 1
P69 --> T181 : 1
Pre[47,141]: 1
P123 --> T180 : 1
Pre[48,80]: 1
P118 --> T179 : 1
Pre[49,158]: 1
P226 --> T179 : 1
Pre[49,137]: 1
P80 --> T178 : 1
Pre[50,224]: 1
P238 --> T177 : 1
Pre[51,219]: 1
P98 --> T176 : 1
Pre[52,53]: 1
P40 --> T176 : 1
Pre[52,14]: 1
P174 --> T175 : 1
Pre[53,152]: 1
P60 --> T174 : 1
Pre[54,91]: 1
P118 --> T173 : 1
Pre[55,158]: 1
P147 --> T173 : 1
Pre[55,208]: 1
P236 --> T172 : 1
Pre[56,32]: 1
P198 --> T171 : 1
Pre[57,200]: 1
P237 --> T170 : 1
Pre[58,146]: 1
P141 --> T170 : 1
Pre[58,163]: 1
P118 --> T169 : 1
Pre[59,158]: 1
P226 --> T169 : 1
Pre[59,137]: 1
P172 --> T168 : 1
Pre[60,16]: 1
P216 --> T168 : 1
Pre[60,15]: 1
P237 --> T167 : 1
Pre[61,146]: 1
P34 --> T167 : 1
Pre[61,226]: 1
P22 --> T166 : 1
Pre[62,54]: 1
P39 --> T166 : 1
Pre[62,26]: 1
P237 --> T165 : 1
Pre[63,146]: 1
P136 --> T165 : 1
Pre[63,211]: 1
P37 --> T164 : 1
Pre[64,154]: 1
P118 --> T164 : 1
Pre[64,158]: 1
P59 --> T163 : 1
Pre[65,21]: 1
P59 < 1. Breaking out
T163 is disabled...
P118 --> T162 : 1
Pre[66,158]: 1
P84 --> T162 : 1
Pre[66,127]: 1
P105 --> T161 : 1
Pre[67,125]: 1
P159 --> T160 : 1
Pre[68,180]: 1
P132 --> T159 : 1
Pre[69,195]: 1
P184 --> T158 : 1
Pre[70,116]: 1
P169 --> T156 : 1
Pre[72,61]: 1
P118 --> T155 : 1
Pre[73,158]: 1
P145 --> T155 : 1
Pre[73,149]: 1
P149 --> T154 : 1
Pre[74,50]: 1
P172 --> T153 : 1
Pre[75,16]: 1
P155 --> T153 : 1
Pre[75,67]: 1
P96 --> T152 : 1
Pre[76,97]: 1
P157 --> T151 : 1
Pre[77,185]: 1
P157 < 1. Breaking out
T151 is disabled...
P17 --> T150 : 1
Pre[78,39]: 1
P48 --> T149 : 1
Pre[79,12]: 1
P48 < 1. Breaking out
T149 is disabled...
P35 --> T148 : 1
Pre[80,184]: 1
P28 --> T147 : 1
Pre[81,206]: 1
P237 --> T146 : 1
Pre[82,146]: 1
P1 --> T146 : 1
Pre[82,235]: 1
P134 --> T145 : 1
Pre[83,10]: 1
P134 < 1. Breaking out
T145 is disabled...
P194 --> T144 : 1
Pre[84,130]: 1
P78 --> T143 : 1
Pre[85,168]: 1
P214 --> T142 : 1
Pre[86,55]: 1
P25 --> T141 : 1
Pre[87,150]: 1
P58 --> T140 : 1
Pre[88,94]: 1
P5 --> T140 : 1
Pre[88,98]: 1
P68 --> T140 : 1
Pre[88,96]: 1
P237 --> T139 : 1
Pre[89,146]: 1
P186 --> T139 : 1
Pre[89,164]: 1
P193 --> T137 : 1
Pre[91,221]: 1
P89 --> T136 : 1
Pre[92,171]: 1
P191 --> T134 : 1
Pre[94,129]: 1
P6 --> T133 : 1
Pre[95,52]: 1
P2 --> T132 : 1
Pre[96,74]: 1
P40 --> T132 : 1
Pre[96,14]: 1
P74 --> T130 : 1
Pre[98,239]: 1
P82 --> T129 : 1
Pre[99,79]: 1
P97 --> T129 : 1
Pre[99,62]: 1
P16 --> T129 : 1
Pre[99,72]: 1
P66 --> T128 : 1
Pre[100,230]: 1
P66 < 1. Breaking out
T128 is disabled...
P231 --> T127 : 1
Pre[101,241]: 1
P231 < 1. Breaking out
T127 is disabled...
P71 --> T126 : 1
Pre[102,169]: 1
P71 < 1. Breaking out
T126 is disabled...
P146 --> T125 : 1
Pre[103,217]: 1
P146 < 1. Breaking out
T125 is disabled...
P87 --> T124 : 1
Pre[104,216]: 1
P47 --> T123 : 1
Pre[105,153]: 1
P57 --> T122 : 1
Pre[106,173]: 1
P122 --> T121 : 1
Pre[107,207]: 1
P94 --> T120 : 1
Pre[108,131]: 1
P210 --> T119 : 1
Pre[109,69]: 1
P31 --> T118 : 1
Pre[110,196]: 1
P128 --> T117 : 1
Pre[111,167]: 1
P43 --> T116 : 1
Pre[112,189]: 1
P172 --> T115 : 1
Pre[113,16]: 1
P7 --> T115 : 1
Pre[113,89]: 1
P29 --> T114 : 1
Pre[114,117]: 1
P237 --> T113 : 1
Pre[115,146]: 1
P189 --> T113 : 1
Pre[115,186]: 1
P158 --> T112 : 1
Pre[116,8]: 1
P158 < 1. Breaking out
T112 is disabled...
P165 --> T111 : 1
Pre[117,84]: 1
P39 --> T111 : 1
Pre[117,26]: 1
P245 --> T110 : 1
Pre[118,64]: 1
P118 --> T109 : 1
Pre[119,158]: 1
P108 --> T109 : 1
Pre[119,128]: 1
P114 --> T108 : 1
Pre[120,88]: 1
P190 --> T108 : 1
Pre[120,90]: 1
P76 --> T108 : 1
Pre[120,92]: 1
P121 --> T107 : 1
Pre[121,102]: 1
P192 --> T107 : 1
Pre[121,110]: 1
P112 --> T107 : 1
Pre[121,104]: 1
P104 --> T106 : 1
Pre[122,188]: 1
P61 --> T105 : 1
Pre[123,222]: 1
P102 --> T104 : 1
Pre[124,156]: 1
P129 --> T103 : 1
Pre[125,132]: 1
P118 --> T103 : 1
Pre[125,158]: 1
P124 --> T102 : 1
Pre[126,123]: 1
P53 --> T100 : 1
Pre[128,100]: 1
P172 --> T99 : 1
Pre[129,16]: 1
P241 --> T99 : 1
Pre[129,48]: 1
P118 --> T98 : 1
Pre[130,158]: 1
P84 --> T98 : 1
Pre[130,127]: 1
P164 --> T97 : 1
Pre[131,225]: 1
P148 --> T96 : 1
Pre[132,240]: 1
P148 < 1. Breaking out
T96 is disabled...
P120 --> T95 : 1
Pre[133,124]: 1
P119 --> T94 : 1
Pre[134,63]: 1
P139 --> T93 : 1
Pre[135,78]: 1
P171 --> T92 : 1
Pre[136,93]: 1
P18 --> T91 : 1
Pre[137,136]: 1
P199 --> T90 : 1
Pre[138,227]: 1
P199 < 1. Breaking out
T90 is disabled...
P54 --> T89 : 1
Pre[139,172]: 1
P201 --> T88 : 1
Pre[140,40]: 1
P203 --> T88 : 1
Pre[140,33]: 1
P91 --> T88 : 1
Pre[140,75]: 1
P64 --> T87 : 1
Pre[141,177]: 1
P172 --> T86 : 1
Pre[142,16]: 1
P103 --> T86 : 1
Pre[142,47]: 1
P215 --> T85 : 1
Pre[143,24]: 1
P51 --> T85 : 1
Pre[143,27]: 1
P111 --> T85 : 1
Pre[143,41]: 1
P12 --> T84 : 1
Pre[144,232]: 1
P11 --> T83 : 1
Pre[145,44]: 1
P4 --> T82 : 1
Pre[146,209]: 1
P227 --> T81 : 1
Pre[147,17]: 1
P15 --> T80 : 1
Pre[148,233]: 1
P9 --> T78 : 1
Pre[150,28]: 1
P127 --> T77 : 1
Pre[151,148]: 1
P118 --> T76 : 1
Pre[152,158]: 1
P240 --> T76 : 1
Pre[152,140]: 1
P181 --> T75 : 1
Pre[153,144]: 1
P3 --> T74 : 1
Pre[154,182]: 1
P151 --> T73 : 1
Pre[155,70]: 1
P172 --> T72 : 1
Pre[156,16]: 1
P101 --> T72 : 1
Pre[156,95]: 1
P24 --> T71 : 1
Pre[157,223]: 1
P131 --> T70 : 1
Pre[158,20]: 1
P39 --> T70 : 1
Pre[158,26]: 1
P133 --> T69 : 1
Pre[159,103]: 1
P39 --> T69 : 1
Pre[159,26]: 1
P206 --> T68 : 1
Pre[160,194]: 1
P180 --> T67 : 1
Pre[161,151]: 1
P237 --> T66 : 1
Pre[162,146]: 1
P217 --> T66 : 1
Pre[162,159]: 1
P44 --> T65 : 1
Pre[163,42]: 1
P93 --> T65 : 1
Pre[163,86]: 1
P187 --> T65 : 1
Pre[163,73]: 1
P173 --> T64 : 1
Pre[164,59]: 1
P219 --> T64 : 1
Pre[164,51]: 1
P160 --> T64 : 1
Pre[164,58]: 1
P118 --> T63 : 1
Pre[165,158]: 1
P32 --> T63 : 1
Pre[165,114]: 1
P233 --> T62 : 1
Pre[166,49]: 1
P39 --> T62 : 1
Pre[166,26]: 1
P23 --> T61 : 1
Pre[167,166]: 1
P223 --> T60 : 1
Pre[168,205]: 1
P118 --> T59 : 1
Pre[169,158]: 1
P32 --> T59 : 1
Pre[169,114]: 1
P152 --> T58 : 1
Pre[170,5]: 1
P152 < 1. Breaking out
T58 is disabled...
P166 --> T57 : 1
Pre[171,36]: 1
P118 --> T56 : 1
Pre[172,158]: 1
P69 --> T56 : 1
Pre[172,141]: 1
P36 --> T55 : 1
Pre[173,176]: 1
P239 --> T54 : 1
Pre[174,197]: 1
P49 --> T52 : 1
Pre[176,65]: 1
P90 --> T51 : 1
Pre[177,37]: 1
P39 --> T51 : 1
Pre[177,26]: 1
P38 --> T49 : 1
Pre[179,35]: 1
P38 < 1. Breaking out
T49 is disabled...
P45 --> T48 : 1
Pre[180,134]: 1
P118 --> T47 : 1
Pre[181,158]: 1
P145 --> T47 : 1
Pre[181,149]: 1
P183 --> T46 : 1
Pre[182,193]: 1
P229 --> T45 : 1
Pre[183,77]: 1
P237 --> T44 : 1
Pre[184,146]: 1
P42 --> T44 : 1
Pre[184,174]: 1
P230 --> T43 : 1
Pre[185,218]: 1
P99 --> T42 : 1
Pre[186,175]: 1
P138 --> T41 : 1
Pre[187,57]: 1
P52 --> T40 : 1
Pre[188,38]: 1
P13 --> T39 : 1
Pre[189,234]: 1
P118 --> T39 : 1
Pre[189,158]: 1
P8 --> T38 : 1
Pre[190,145]: 1
P27 --> T37 : 1
Pre[191,138]: 1
P20 --> T36 : 1
Pre[192,112]: 1
P163 --> T36 : 1
Pre[192,120]: 1
P115 --> T36 : 1
Pre[192,115]: 1
P14 --> T35 : 1
Pre[193,122]: 1
P118 --> T34 : 1
Pre[194,158]: 1
P108 --> T34 : 1
Pre[194,128]: 1
P172 --> T33 : 1
Pre[195,16]: 1
P33 --> T33 : 1
Pre[195,76]: 1
P113 --> T32 : 1
Pre[196,81]: 1
P39 --> T32 : 1
Pre[196,26]: 1
P55 --> T31 : 1
Pre[197,101]: 1
P70 --> T30 : 1
Pre[198,178]: 1
P205 --> T29 : 1
Pre[199,181]: 1
P161 --> T28 : 1
Pre[200,19]: 1
P161 < 1. Breaking out
T28 is disabled...
P118 --> T27 : 1
Pre[201,158]: 1
P170 --> T27 : 1
Pre[201,142]: 1
P79 --> T26 : 1
Pre[202,165]: 1
P175 --> T25 : 1
Pre[203,139]: 1
P118 --> T24 : 1
Pre[204,158]: 1
P156 --> T24 : 1
Pre[204,126]: 1
P117 --> T22 : 1
Pre[206,191]: 1
P204 --> T21 : 1
Pre[207,105]: 1
P179 --> T21 : 1
Pre[207,109]: 1
P242 --> T21 : 1
Pre[207,99]: 1
P50 --> T20 : 1
Pre[208,87]: 1
P118 --> T19 : 1
Pre[209,158]: 1
P182 --> T19 : 1
Pre[209,135]: 1
P75 --> T18 : 1
Pre[210,106]: 1
P220 --> T18 : 1
Pre[210,118]: 1
P202 --> T18 : 1
Pre[210,107]: 1
P81 --> T17 : 1
Pre[211,143]: 1
P118 --> T17 : 1
Pre[211,158]: 1
P172 --> T16 : 1
Pre[212,16]: 1
P125 --> T16 : 1
Pre[212,82]: 1
P237 --> T15 : 1
Pre[213,146]: 1
P209 --> T15 : 1
Pre[213,199]: 1
P100 --> T14 : 1
Pre[214,23]: 1
P118 --> T13 : 1
Pre[215,158]: 1
P106 --> T13 : 1
Pre[215,133]: 1
P118 --> T12 : 1
Pre[216,158]: 1
P170 --> T12 : 1
Pre[216,142]: 1
P225 --> T11 : 1
Pre[217,71]: 1
P39 --> T11 : 1
Pre[217,26]: 1
P62 --> T9 : 1
Pre[219,243]: 1
P62 < 1. Breaking out
T9 is disabled...
P232 --> T8 : 1
Pre[220,85]: 1
P39 --> T8 : 1
Pre[220,26]: 1
P10 --> T7 : 1
Pre[221,25]: 1
P172 --> T6 : 1
Pre[222,16]: 1
P63 --> T6 : 1
Pre[222,4]: 1
P176 --> T5 : 1
Pre[223,213]: 1
P237 --> T4 : 1
Pre[224,146]: 1
P153 --> T4 : 1
Pre[224,147]: 1
P65 --> T3 : 1
Pre[225,229]: 1
P88 --> T2 : 1
Pre[226,162]: 1
P30 --> T1 : 1
Pre[227,231]: 1


New Decreasing places (index:name): 4:P63 37:P90 40:P201 43:P154 48:P241 60:P200 84:P165 85:P232 102:P121 103:P133 105:P204 112:P20

Accumulated Decreasing places (index:name): 0:P222 1:P73 2:P46 3:P228 4:P63 5:P152 6:P244 7:P208 8:P158 9:P19 10:P134 11:P143 12:P48 13:P168 19:P161 21:P59 35:P38 37:P90 40:P201 43:P154 48:P241 60:P200 84:P165 85:P232 102:P121 103:P133 105:P204 112:P20 169:P71 179:P67 185:P157 190:P83 217:P146 227:P199 228:P185 230:P66 236:P218 237:P41 238:P234 240:P148 241:P231 242:P221 243:P62 244:P137

New Increasing places (index:name): 5:P152 7:P208 8:P158 10:P134 12:P48 19:P161 21:P59 35:P38 169:P71 185:P157 217:P146 227:P199 230:P66 240:P148 241:P231 243:P62

Accumulated Increasing places (index:name): 0:P222 1:P73 2:P46 3:P228 5:P152 6:P244 7:P208 8:P158 9:P19 10:P134 11:P143 12:P48 13:P168 19:P161 21:P59 35:P38 169:P71 179:P67 185:P157 190:P83 217:P146 227:P199 228:P185 230:P66 236:P218 237:P41 238:P234 240:P148 241:P231 242:P221 243:P62 244:P137

Disabled transitions: T222 T215 T206 T204 T203 T202 T201 T163 T157 T151 T149 T145 T138 T135 T131 T128 T127 T126 T125 T112 T101 T96 T90 T79 T58 T53 T50 T49 T28 T23 T10 T9

P237 --> T228 : 1
Pre[0,146]: 1
P126 --> T228 : 1
Pre[0,210]: 1
P212 --> T227 : 1
Pre[1,30]: 1
P213 --> T227 : 1
Pre[1,29]: 1
P110 --> T227 : 1
Pre[1,66]: 1
P235 --> T226 : 1
Pre[2,18]: 1
P130 --> T225 : 1
Pre[3,31]: 1
P39 --> T225 : 1
Pre[3,26]: 1
P144 --> T224 : 1
Pre[4,68]: 1
P118 --> T223 : 1
Pre[5,158]: 1
P182 --> T223 : 1
Pre[5,135]: 1
P118 --> T221 : 1
Pre[7,158]: 1
P147 --> T221 : 1
Pre[7,208]: 1
P142 --> T220 : 1
Pre[8,45]: 1
P39 --> T220 : 1
Pre[8,26]: 1
P177 --> T219 : 1
Pre[9,170]: 1
P95 --> T218 : 1
Pre[10,161]: 1
P21 --> T217 : 1
Pre[11,56]: 1
P39 --> T217 : 1
Pre[11,26]: 1
P172 --> T216 : 1
Pre[12,16]: 1
P200 --> T216 : 1
Pre[12,60]: 1
P200 < 1. Breaking out
T216 is disabled...
P237 --> T214 : 1
Pre[14,146]: 1
P140 --> T214 : 1
Pre[14,204]: 1
P196 --> T213 : 1
Pre[15,220]: 1
P107 --> T212 : 1
Pre[16,83]: 1
P172 --> T211 : 1
Pre[17,16]: 1
P162 --> T211 : 1
Pre[17,22]: 1
P167 --> T210 : 1
Pre[18,121]: 1
P150 --> T209 : 1
Pre[19,160]: 1
P92 --> T208 : 1
Pre[20,198]: 1
P135 --> T207 : 1
Pre[21,192]: 1
P109 --> T205 : 1
Pre[23,203]: 1
P195 --> T200 : 1
Pre[28,46]: 1
P40 --> T200 : 1
Pre[28,14]: 1
P172 --> T199 : 1
Pre[29,16]: 1
P154 --> T199 : 1
Pre[29,43]: 1
P154 < 1. Breaking out
T199 is disabled...
P224 --> T198 : 1
Pre[30,214]: 1
P243 --> T197 : 1
Pre[31,111]: 1
P86 --> T196 : 1
Pre[32,201]: 1
P72 --> T195 : 1
Pre[33,108]: 1
P40 --> T195 : 1
Pre[33,14]: 1
P178 --> T194 : 1
Pre[34,157]: 1
P118 --> T193 : 1
Pre[35,158]: 1
P156 --> T193 : 1
Pre[35,126]: 1
P85 --> T192 : 1
Pre[36,113]: 1
P77 --> T191 : 1
Pre[37,183]: 1
P116 --> T190 : 1
Pre[38,215]: 1
P207 --> T189 : 1
Pre[39,187]: 1
P197 --> T188 : 1
Pre[40,155]: 1
P56 --> T187 : 1
Pre[41,202]: 1
P26 --> T186 : 1
Pre[42,119]: 1
P118 --> T185 : 1
Pre[43,158]: 1
P106 --> T185 : 1
Pre[43,133]: 1
P118 --> T184 : 1
Pre[44,158]: 1
P240 --> T184 : 1
Pre[44,140]: 1
P211 --> T183 : 1
Pre[45,212]: 1
P188 --> T182 : 1
Pre[46,34]: 1
P118 --> T181 : 1
Pre[47,158]: 1
P69 --> T181 : 1
Pre[47,141]: 1
P123 --> T180 : 1
Pre[48,80]: 1
P118 --> T179 : 1
Pre[49,158]: 1
P226 --> T179 : 1
Pre[49,137]: 1
P80 --> T178 : 1
Pre[50,224]: 1
P238 --> T177 : 1
Pre[51,219]: 1
P98 --> T176 : 1
Pre[52,53]: 1
P40 --> T176 : 1
Pre[52,14]: 1
P174 --> T175 : 1
Pre[53,152]: 1
P60 --> T174 : 1
Pre[54,91]: 1
P118 --> T173 : 1
Pre[55,158]: 1
P147 --> T173 : 1
Pre[55,208]: 1
P236 --> T172 : 1
Pre[56,32]: 1
P198 --> T171 : 1
Pre[57,200]: 1
P237 --> T170 : 1
Pre[58,146]: 1
P141 --> T170 : 1
Pre[58,163]: 1
P118 --> T169 : 1
Pre[59,158]: 1
P226 --> T169 : 1
Pre[59,137]: 1
P172 --> T168 : 1
Pre[60,16]: 1
P216 --> T168 : 1
Pre[60,15]: 1
P237 --> T167 : 1
Pre[61,146]: 1
P34 --> T167 : 1
Pre[61,226]: 1
P22 --> T166 : 1
Pre[62,54]: 1
P39 --> T166 : 1
Pre[62,26]: 1
P237 --> T165 : 1
Pre[63,146]: 1
P136 --> T165 : 1
Pre[63,211]: 1
P37 --> T164 : 1
Pre[64,154]: 1
P118 --> T164 : 1
Pre[64,158]: 1
P118 --> T162 : 1
Pre[66,158]: 1
P84 --> T162 : 1
Pre[66,127]: 1
P105 --> T161 : 1
Pre[67,125]: 1
P159 --> T160 : 1
Pre[68,180]: 1
P132 --> T159 : 1
Pre[69,195]: 1
P184 --> T158 : 1
Pre[70,116]: 1
P169 --> T156 : 1
Pre[72,61]: 1
P118 --> T155 : 1
Pre[73,158]: 1
P145 --> T155 : 1
Pre[73,149]: 1
P149 --> T154 : 1
Pre[74,50]: 1
P172 --> T153 : 1
Pre[75,16]: 1
P155 --> T153 : 1
Pre[75,67]: 1
P96 --> T152 : 1
Pre[76,97]: 1
P17 --> T150 : 1
Pre[78,39]: 1
P35 --> T148 : 1
Pre[80,184]: 1
P28 --> T147 : 1
Pre[81,206]: 1
P237 --> T146 : 1
Pre[82,146]: 1
P1 --> T146 : 1
Pre[82,235]: 1
P194 --> T144 : 1
Pre[84,130]: 1
P78 --> T143 : 1
Pre[85,168]: 1
P214 --> T142 : 1
Pre[86,55]: 1
P25 --> T141 : 1
Pre[87,150]: 1
P58 --> T140 : 1
Pre[88,94]: 1
P5 --> T140 : 1
Pre[88,98]: 1
P68 --> T140 : 1
Pre[88,96]: 1
P237 --> T139 : 1
Pre[89,146]: 1
P186 --> T139 : 1
Pre[89,164]: 1
P193 --> T137 : 1
Pre[91,221]: 1
P89 --> T136 : 1
Pre[92,171]: 1
P191 --> T134 : 1
Pre[94,129]: 1
P6 --> T133 : 1
Pre[95,52]: 1
P2 --> T132 : 1
Pre[96,74]: 1
P40 --> T132 : 1
Pre[96,14]: 1
P74 --> T130 : 1
Pre[98,239]: 1
P82 --> T129 : 1
Pre[99,79]: 1
P97 --> T129 : 1
Pre[99,62]: 1
P16 --> T129 : 1
Pre[99,72]: 1
P87 --> T124 : 1
Pre[104,216]: 1
P47 --> T123 : 1
Pre[105,153]: 1
P57 --> T122 : 1
Pre[106,173]: 1
P122 --> T121 : 1
Pre[107,207]: 1
P94 --> T120 : 1
Pre[108,131]: 1
P210 --> T119 : 1
Pre[109,69]: 1
P31 --> T118 : 1
Pre[110,196]: 1
P128 --> T117 : 1
Pre[111,167]: 1
P43 --> T116 : 1
Pre[112,189]: 1
P172 --> T115 : 1
Pre[113,16]: 1
P7 --> T115 : 1
Pre[113,89]: 1
P29 --> T114 : 1
Pre[114,117]: 1
P237 --> T113 : 1
Pre[115,146]: 1
P189 --> T113 : 1
Pre[115,186]: 1
P165 --> T111 : 1
Pre[117,84]: 1
P165 < 1. Breaking out
T111 is disabled...
P245 --> T110 : 1
Pre[118,64]: 1
P118 --> T109 : 1
Pre[119,158]: 1
P108 --> T109 : 1
Pre[119,128]: 1
P114 --> T108 : 1
Pre[120,88]: 1
P190 --> T108 : 1
Pre[120,90]: 1
P76 --> T108 : 1
Pre[120,92]: 1
P121 --> T107 : 1
Pre[121,102]: 1
P121 < 1. Breaking out
T107 is disabled...
P104 --> T106 : 1
Pre[122,188]: 1
P61 --> T105 : 1
Pre[123,222]: 1
P102 --> T104 : 1
Pre[124,156]: 1
P129 --> T103 : 1
Pre[125,132]: 1
P118 --> T103 : 1
Pre[125,158]: 1
P124 --> T102 : 1
Pre[126,123]: 1
P53 --> T100 : 1
Pre[128,100]: 1
P172 --> T99 : 1
Pre[129,16]: 1
P241 --> T99 : 1
Pre[129,48]: 1
P241 < 1. Breaking out
T99 is disabled...
P118 --> T98 : 1
Pre[130,158]: 1
P84 --> T98 : 1
Pre[130,127]: 1
P164 --> T97 : 1
Pre[131,225]: 1
P120 --> T95 : 1
Pre[133,124]: 1
P119 --> T94 : 1
Pre[134,63]: 1
P139 --> T93 : 1
Pre[135,78]: 1
P171 --> T92 : 1
Pre[136,93]: 1
P18 --> T91 : 1
Pre[137,136]: 1
P54 --> T89 : 1
Pre[139,172]: 1
P201 --> T88 : 1
Pre[140,40]: 1
P201 < 1. Breaking out
T88 is disabled...
P64 --> T87 : 1
Pre[141,177]: 1
P172 --> T86 : 1
Pre[142,16]: 1
P103 --> T86 : 1
Pre[142,47]: 1
P215 --> T85 : 1
Pre[143,24]: 1
P51 --> T85 : 1
Pre[143,27]: 1
P111 --> T85 : 1
Pre[143,41]: 1
P12 --> T84 : 1
Pre[144,232]: 1
P11 --> T83 : 1
Pre[145,44]: 1
P4 --> T82 : 1
Pre[146,209]: 1
P227 --> T81 : 1
Pre[147,17]: 1
P15 --> T80 : 1
Pre[148,233]: 1
P9 --> T78 : 1
Pre[150,28]: 1
P127 --> T77 : 1
Pre[151,148]: 1
P118 --> T76 : 1
Pre[152,158]: 1
P240 --> T76 : 1
Pre[152,140]: 1
P181 --> T75 : 1
Pre[153,144]: 1
P3 --> T74 : 1
Pre[154,182]: 1
P151 --> T73 : 1
Pre[155,70]: 1
P172 --> T72 : 1
Pre[156,16]: 1
P101 --> T72 : 1
Pre[156,95]: 1
P24 --> T71 : 1
Pre[157,223]: 1
P131 --> T70 : 1
Pre[158,20]: 1
P39 --> T70 : 1
Pre[158,26]: 1
P133 --> T69 : 1
Pre[159,103]: 1
P133 < 1. Breaking out
T69 is disabled...
P206 --> T68 : 1
Pre[160,194]: 1
P180 --> T67 : 1
Pre[161,151]: 1
P237 --> T66 : 1
Pre[162,146]: 1
P217 --> T66 : 1
Pre[162,159]: 1
P44 --> T65 : 1
Pre[163,42]: 1
P93 --> T65 : 1
Pre[163,86]: 1
P187 --> T65 : 1
Pre[163,73]: 1
P173 --> T64 : 1
Pre[164,59]: 1
P219 --> T64 : 1
Pre[164,51]: 1
P160 --> T64 : 1
Pre[164,58]: 1
P118 --> T63 : 1
Pre[165,158]: 1
P32 --> T63 : 1
Pre[165,114]: 1
P233 --> T62 : 1
Pre[166,49]: 1
P39 --> T62 : 1
Pre[166,26]: 1
P23 --> T61 : 1
Pre[167,166]: 1
P223 --> T60 : 1
Pre[168,205]: 1
P118 --> T59 : 1
Pre[169,158]: 1
P32 --> T59 : 1
Pre[169,114]: 1
P166 --> T57 : 1
Pre[171,36]: 1
P118 --> T56 : 1
Pre[172,158]: 1
P69 --> T56 : 1
Pre[172,141]: 1
P36 --> T55 : 1
Pre[173,176]: 1
P239 --> T54 : 1
Pre[174,197]: 1
P49 --> T52 : 1
Pre[176,65]: 1
P90 --> T51 : 1
Pre[177,37]: 1
P90 < 1. Breaking out
T51 is disabled...
P45 --> T48 : 1
Pre[180,134]: 1
P118 --> T47 : 1
Pre[181,158]: 1
P145 --> T47 : 1
Pre[181,149]: 1
P183 --> T46 : 1
Pre[182,193]: 1
P229 --> T45 : 1
Pre[183,77]: 1
P237 --> T44 : 1
Pre[184,146]: 1
P42 --> T44 : 1
Pre[184,174]: 1
P230 --> T43 : 1
Pre[185,218]: 1
P99 --> T42 : 1
Pre[186,175]: 1
P138 --> T41 : 1
Pre[187,57]: 1
P52 --> T40 : 1
Pre[188,38]: 1
P13 --> T39 : 1
Pre[189,234]: 1
P118 --> T39 : 1
Pre[189,158]: 1
P8 --> T38 : 1
Pre[190,145]: 1
P27 --> T37 : 1
Pre[191,138]: 1
P20 --> T36 : 1
Pre[192,112]: 1
P20 < 1. Breaking out
T36 is disabled...
P14 --> T35 : 1
Pre[193,122]: 1
P118 --> T34 : 1
Pre[194,158]: 1
P108 --> T34 : 1
Pre[194,128]: 1
P172 --> T33 : 1
Pre[195,16]: 1
P33 --> T33 : 1
Pre[195,76]: 1
P113 --> T32 : 1
Pre[196,81]: 1
P39 --> T32 : 1
Pre[196,26]: 1
P55 --> T31 : 1
Pre[197,101]: 1
P70 --> T30 : 1
Pre[198,178]: 1
P205 --> T29 : 1
Pre[199,181]: 1
P118 --> T27 : 1
Pre[201,158]: 1
P170 --> T27 : 1
Pre[201,142]: 1
P79 --> T26 : 1
Pre[202,165]: 1
P175 --> T25 : 1
Pre[203,139]: 1
P118 --> T24 : 1
Pre[204,158]: 1
P156 --> T24 : 1
Pre[204,126]: 1
P117 --> T22 : 1
Pre[206,191]: 1
P204 --> T21 : 1
Pre[207,105]: 1
P204 < 1. Breaking out
T21 is disabled...
P50 --> T20 : 1
Pre[208,87]: 1
P118 --> T19 : 1
Pre[209,158]: 1
P182 --> T19 : 1
Pre[209,135]: 1
P75 --> T18 : 1
Pre[210,106]: 1
P220 --> T18 : 1
Pre[210,118]: 1
P202 --> T18 : 1
Pre[210,107]: 1
P81 --> T17 : 1
Pre[211,143]: 1
P118 --> T17 : 1
Pre[211,158]: 1
P172 --> T16 : 1
Pre[212,16]: 1
P125 --> T16 : 1
Pre[212,82]: 1
P237 --> T15 : 1
Pre[213,146]: 1
P209 --> T15 : 1
Pre[213,199]: 1
P100 --> T14 : 1
Pre[214,23]: 1
P118 --> T13 : 1
Pre[215,158]: 1
P106 --> T13 : 1
Pre[215,133]: 1
P118 --> T12 : 1
Pre[216,158]: 1
P170 --> T12 : 1
Pre[216,142]: 1
P225 --> T11 : 1
Pre[217,71]: 1
P39 --> T11 : 1
Pre[217,26]: 1
P232 --> T8 : 1
Pre[220,85]: 1
P232 < 1. Breaking out
T8 is disabled...
P10 --> T7 : 1
Pre[221,25]: 1
P172 --> T6 : 1
Pre[222,16]: 1
P63 --> T6 : 1
Pre[222,4]: 1
P63 < 1. Breaking out
T6 is disabled...
P176 --> T5 : 1
Pre[223,213]: 1
P237 --> T4 : 1
Pre[224,146]: 1
P153 --> T4 : 1
Pre[224,147]: 1
P65 --> T3 : 1
Pre[225,229]: 1
P88 --> T2 : 1
Pre[226,162]: 1
P30 --> T1 : 1
Pre[227,231]: 1


New Decreasing places (index:name): 34:P188 36:P166 61:P169 65:P49 80:P123 83:P107 97:P96 101:P55 114:P32 126:P156 133:P106 135:P182

Accumulated Decreasing places (index:name): 0:P222 1:P73 2:P46 3:P228 4:P63 5:P152 6:P244 7:P208 8:P158 9:P19 10:P134 11:P143 12:P48 13:P168 19:P161 21:P59 34:P188 35:P38 36:P166 37:P90 40:P201 43:P154 48:P241 60:P200 61:P169 65:P49 80:P123 83:P107 84:P165 85:P232 97:P96 101:P55 102:P121 103:P133 105:P204 112:P20 114:P32 126:P156 133:P106 135:P182 169:P71 179:P67 185:P157 190:P83 217:P146 227:P199 228:P185 230:P66 236:P218 237:P41 238:P234 240:P148 241:P231 242:P221 243:P62 244:P137

New Increasing places (index:name): 4:P63 33:P203 37:P90 40:P201 43:P154 48:P241 60:P200 75:P91 84:P165 85:P232 99:P242 102:P121 103:P133 104:P112 105:P204 109:P179 110:P192 112:P20 115:P115 120:P163

Accumulated Increasing places (index:name): 0:P222 1:P73 2:P46 3:P228 4:P63 5:P152 6:P244 7:P208 8:P158 9:P19 10:P134 11:P143 12:P48 13:P168 19:P161 21:P59 33:P203 35:P38 37:P90 40:P201 43:P154 48:P241 60:P200 75:P91 84:P165 85:P232 99:P242 102:P121 103:P133 104:P112 105:P204 109:P179 110:P192 112:P20 115:P115 120:P163 169:P71 179:P67 185:P157 190:P83 217:P146 227:P199 228:P185 230:P66 236:P218 237:P41 238:P234 240:P148 241:P231 242:P221 243:P62 244:P137

Disabled transitions: T222 T216 T215 T206 T204 T203 T202 T201 T199 T163 T157 T151 T149 T145 T138 T135 T131 T128 T127 T126 T125 T112 T111 T107 T101 T99 T96 T90 T88 T79 T69 T58 T53 T51 T50 T49 T36 T28 T23 T21 T10 T9 T8 T6

P237 --> T228 : 1
Pre[0,146]: 1
P126 --> T228 : 1
Pre[0,210]: 1
P212 --> T227 : 1
Pre[1,30]: 1
P213 --> T227 : 1
Pre[1,29]: 1
P110 --> T227 : 1
Pre[1,66]: 1
P235 --> T226 : 1
Pre[2,18]: 1
P130 --> T225 : 1
Pre[3,31]: 1
P39 --> T225 : 1
Pre[3,26]: 1
P144 --> T224 : 1
Pre[4,68]: 1
P118 --> T223 : 1
Pre[5,158]: 1
P182 --> T223 : 1
Pre[5,135]: 1
P182 < 1. Breaking out
T223 is disabled...
P118 --> T221 : 1
Pre[7,158]: 1
P147 --> T221 : 1
Pre[7,208]: 1
P142 --> T220 : 1
Pre[8,45]: 1
P39 --> T220 : 1
Pre[8,26]: 1
P177 --> T219 : 1
Pre[9,170]: 1
P95 --> T218 : 1
Pre[10,161]: 1
P21 --> T217 : 1
Pre[11,56]: 1
P39 --> T217 : 1
Pre[11,26]: 1
P237 --> T214 : 1
Pre[14,146]: 1
P140 --> T214 : 1
Pre[14,204]: 1
P196 --> T213 : 1
Pre[15,220]: 1
P107 --> T212 : 1
Pre[16,83]: 1
P107 < 1. Breaking out
T212 is disabled...
P172 --> T211 : 1
Pre[17,16]: 1
P162 --> T211 : 1
Pre[17,22]: 1
P167 --> T210 : 1
Pre[18,121]: 1
P150 --> T209 : 1
Pre[19,160]: 1
P92 --> T208 : 1
Pre[20,198]: 1
P135 --> T207 : 1
Pre[21,192]: 1
P109 --> T205 : 1
Pre[23,203]: 1
P195 --> T200 : 1
Pre[28,46]: 1
P40 --> T200 : 1
Pre[28,14]: 1
P224 --> T198 : 1
Pre[30,214]: 1
P243 --> T197 : 1
Pre[31,111]: 1
P86 --> T196 : 1
Pre[32,201]: 1
P72 --> T195 : 1
Pre[33,108]: 1
P40 --> T195 : 1
Pre[33,14]: 1
P178 --> T194 : 1
Pre[34,157]: 1
P118 --> T193 : 1
Pre[35,158]: 1
P156 --> T193 : 1
Pre[35,126]: 1
P156 < 1. Breaking out
T193 is disabled...
P85 --> T192 : 1
Pre[36,113]: 1
P77 --> T191 : 1
Pre[37,183]: 1
P116 --> T190 : 1
Pre[38,215]: 1
P207 --> T189 : 1
Pre[39,187]: 1
P197 --> T188 : 1
Pre[40,155]: 1
P56 --> T187 : 1
Pre[41,202]: 1
P26 --> T186 : 1
Pre[42,119]: 1
P118 --> T185 : 1
Pre[43,158]: 1
P106 --> T185 : 1
Pre[43,133]: 1
P106 < 1. Breaking out
T185 is disabled...
P118 --> T184 : 1
Pre[44,158]: 1
P240 --> T184 : 1
Pre[44,140]: 1
P211 --> T183 : 1
Pre[45,212]: 1
P188 --> T182 : 1
Pre[46,34]: 1
P188 < 1. Breaking out
T182 is disabled...
P118 --> T181 : 1
Pre[47,158]: 1
P69 --> T181 : 1
Pre[47,141]: 1
P123 --> T180 : 1
Pre[48,80]: 1
P123 < 1. Breaking out
T180 is disabled...
P118 --> T179 : 1
Pre[49,158]: 1
P226 --> T179 : 1
Pre[49,137]: 1
P80 --> T178 : 1
Pre[50,224]: 1
P238 --> T177 : 1
Pre[51,219]: 1
P98 --> T176 : 1
Pre[52,53]: 1
P40 --> T176 : 1
Pre[52,14]: 1
P174 --> T175 : 1
Pre[53,152]: 1
P60 --> T174 : 1
Pre[54,91]: 1
P118 --> T173 : 1
Pre[55,158]: 1
P147 --> T173 : 1
Pre[55,208]: 1
P236 --> T172 : 1
Pre[56,32]: 1
P198 --> T171 : 1
Pre[57,200]: 1
P237 --> T170 : 1
Pre[58,146]: 1
P141 --> T170 : 1
Pre[58,163]: 1
P118 --> T169 : 1
Pre[59,158]: 1
P226 --> T169 : 1
Pre[59,137]: 1
P172 --> T168 : 1
Pre[60,16]: 1
P216 --> T168 : 1
Pre[60,15]: 1
P237 --> T167 : 1
Pre[61,146]: 1
P34 --> T167 : 1
Pre[61,226]: 1
P22 --> T166 : 1
Pre[62,54]: 1
P39 --> T166 : 1
Pre[62,26]: 1
P237 --> T165 : 1
Pre[63,146]: 1
P136 --> T165 : 1
Pre[63,211]: 1
P37 --> T164 : 1
Pre[64,154]: 1
P118 --> T164 : 1
Pre[64,158]: 1
P118 --> T162 : 1
Pre[66,158]: 1
P84 --> T162 : 1
Pre[66,127]: 1
P105 --> T161 : 1
Pre[67,125]: 1
P159 --> T160 : 1
Pre[68,180]: 1
P132 --> T159 : 1
Pre[69,195]: 1
P184 --> T158 : 1
Pre[70,116]: 1
P169 --> T156 : 1
Pre[72,61]: 1
P169 < 1. Breaking out
T156 is disabled...
P118 --> T155 : 1
Pre[73,158]: 1
P145 --> T155 : 1
Pre[73,149]: 1
P149 --> T154 : 1
Pre[74,50]: 1
P172 --> T153 : 1
Pre[75,16]: 1
P155 --> T153 : 1
Pre[75,67]: 1
P96 --> T152 : 1
Pre[76,97]: 1
P96 < 1. Breaking out
T152 is disabled...
P17 --> T150 : 1
Pre[78,39]: 1
P35 --> T148 : 1
Pre[80,184]: 1
P28 --> T147 : 1
Pre[81,206]: 1
P237 --> T146 : 1
Pre[82,146]: 1
P1 --> T146 : 1
Pre[82,235]: 1
P194 --> T144 : 1
Pre[84,130]: 1
P78 --> T143 : 1
Pre[85,168]: 1
P214 --> T142 : 1
Pre[86,55]: 1
P25 --> T141 : 1
Pre[87,150]: 1
P58 --> T140 : 1
Pre[88,94]: 1
P5 --> T140 : 1
Pre[88,98]: 1
P68 --> T140 : 1
Pre[88,96]: 1
P237 --> T139 : 1
Pre[89,146]: 1
P186 --> T139 : 1
Pre[89,164]: 1
P193 --> T137 : 1
Pre[91,221]: 1
P89 --> T136 : 1
Pre[92,171]: 1
P191 --> T134 : 1
Pre[94,129]: 1
P6 --> T133 : 1
Pre[95,52]: 1
P2 --> T132 : 1
Pre[96,74]: 1
P40 --> T132 : 1
Pre[96,14]: 1
P74 --> T130 : 1
Pre[98,239]: 1
P82 --> T129 : 1
Pre[99,79]: 1
P97 --> T129 : 1
Pre[99,62]: 1
P16 --> T129 : 1
Pre[99,72]: 1
P87 --> T124 : 1
Pre[104,216]: 1
P47 --> T123 : 1
Pre[105,153]: 1
P57 --> T122 : 1
Pre[106,173]: 1
P122 --> T121 : 1
Pre[107,207]: 1
P94 --> T120 : 1
Pre[108,131]: 1
P210 --> T119 : 1
Pre[109,69]: 1
P31 --> T118 : 1
Pre[110,196]: 1
P128 --> T117 : 1
Pre[111,167]: 1
P43 --> T116 : 1
Pre[112,189]: 1
P172 --> T115 : 1
Pre[113,16]: 1
P7 --> T115 : 1
Pre[113,89]: 1
P29 --> T114 : 1
Pre[114,117]: 1
P237 --> T113 : 1
Pre[115,146]: 1
P189 --> T113 : 1
Pre[115,186]: 1
P245 --> T110 : 1
Pre[118,64]: 1
P118 --> T109 : 1
Pre[119,158]: 1
P108 --> T109 : 1
Pre[119,128]: 1
P114 --> T108 : 1
Pre[120,88]: 1
P190 --> T108 : 1
Pre[120,90]: 1
P76 --> T108 : 1
Pre[120,92]: 1
P104 --> T106 : 1
Pre[122,188]: 1
P61 --> T105 : 1
Pre[123,222]: 1
P102 --> T104 : 1
Pre[124,156]: 1
P129 --> T103 : 1
Pre[125,132]: 1
P118 --> T103 : 1
Pre[125,158]: 1
P124 --> T102 : 1
Pre[126,123]: 1
P53 --> T100 : 1
Pre[128,100]: 1
P118 --> T98 : 1
Pre[130,158]: 1
P84 --> T98 : 1
Pre[130,127]: 1
P164 --> T97 : 1
Pre[131,225]: 1
P120 --> T95 : 1
Pre[133,124]: 1
P119 --> T94 : 1
Pre[134,63]: 1
P139 --> T93 : 1
Pre[135,78]: 1
P171 --> T92 : 1
Pre[136,93]: 1
P18 --> T91 : 1
Pre[137,136]: 1
P54 --> T89 : 1
Pre[139,172]: 1
P64 --> T87 : 1
Pre[141,177]: 1
P172 --> T86 : 1
Pre[142,16]: 1
P103 --> T86 : 1
Pre[142,47]: 1
P215 --> T85 : 1
Pre[143,24]: 1
P51 --> T85 : 1
Pre[143,27]: 1
P111 --> T85 : 1
Pre[143,41]: 1
P12 --> T84 : 1
Pre[144,232]: 1
P11 --> T83 : 1
Pre[145,44]: 1
P4 --> T82 : 1
Pre[146,209]: 1
P227 --> T81 : 1
Pre[147,17]: 1
P15 --> T80 : 1
Pre[148,233]: 1
P9 --> T78 : 1
Pre[150,28]: 1
P127 --> T77 : 1
Pre[151,148]: 1
P118 --> T76 : 1
Pre[152,158]: 1
P240 --> T76 : 1
Pre[152,140]: 1
P181 --> T75 : 1
Pre[153,144]: 1
P3 --> T74 : 1
Pre[154,182]: 1
P151 --> T73 : 1
Pre[155,70]: 1
P172 --> T72 : 1
Pre[156,16]: 1
P101 --> T72 : 1
Pre[156,95]: 1
P24 --> T71 : 1
Pre[157,223]: 1
P131 --> T70 : 1
Pre[158,20]: 1
P39 --> T70 : 1
Pre[158,26]: 1
P206 --> T68 : 1
Pre[160,194]: 1
P180 --> T67 : 1
Pre[161,151]: 1
P237 --> T66 : 1
Pre[162,146]: 1
P217 --> T66 : 1
Pre[162,159]: 1
P44 --> T65 : 1
Pre[163,42]: 1
P93 --> T65 : 1
Pre[163,86]: 1
P187 --> T65 : 1
Pre[163,73]: 1
P173 --> T64 : 1
Pre[164,59]: 1
P219 --> T64 : 1
Pre[164,51]: 1
P160 --> T64 : 1
Pre[164,58]: 1
P118 --> T63 : 1
Pre[165,158]: 1
P32 --> T63 : 1
Pre[165,114]: 1
P32 < 1. Breaking out
T63 is disabled...
P233 --> T62 : 1
Pre[166,49]: 1
P39 --> T62 : 1
Pre[166,26]: 1
P23 --> T61 : 1
Pre[167,166]: 1
P223 --> T60 : 1
Pre[168,205]: 1
P118 --> T59 : 1
Pre[169,158]: 1
P32 --> T59 : 1
Pre[169,114]: 1
P32 < 1. Breaking out
T59 is disabled...
P166 --> T57 : 1
Pre[171,36]: 1
P166 < 1. Breaking out
T57 is disabled...
P118 --> T56 : 1
Pre[172,158]: 1
P69 --> T56 : 1
Pre[172,141]: 1
P36 --> T55 : 1
Pre[173,176]: 1
P239 --> T54 : 1
Pre[174,197]: 1
P49 --> T52 : 1
Pre[176,65]: 1
P49 < 1. Breaking out
T52 is disabled...
P45 --> T48 : 1
Pre[180,134]: 1
P118 --> T47 : 1
Pre[181,158]: 1
P145 --> T47 : 1
Pre[181,149]: 1
P183 --> T46 : 1
Pre[182,193]: 1
P229 --> T45 : 1
Pre[183,77]: 1
P237 --> T44 : 1
Pre[184,146]: 1
P42 --> T44 : 1
Pre[184,174]: 1
P230 --> T43 : 1
Pre[185,218]: 1
P99 --> T42 : 1
Pre[186,175]: 1
P138 --> T41 : 1
Pre[187,57]: 1
P52 --> T40 : 1
Pre[188,38]: 1
P13 --> T39 : 1
Pre[189,234]: 1
P118 --> T39 : 1
Pre[189,158]: 1
P8 --> T38 : 1
Pre[190,145]: 1
P27 --> T37 : 1
Pre[191,138]: 1
P14 --> T35 : 1
Pre[193,122]: 1
P118 --> T34 : 1
Pre[194,158]: 1
P108 --> T34 : 1
Pre[194,128]: 1
P172 --> T33 : 1
Pre[195,16]: 1
P33 --> T33 : 1
Pre[195,76]: 1
P113 --> T32 : 1
Pre[196,81]: 1
P39 --> T32 : 1
Pre[196,26]: 1
P55 --> T31 : 1
Pre[197,101]: 1
P55 < 1. Breaking out
T31 is disabled...
P70 --> T30 : 1
Pre[198,178]: 1
P205 --> T29 : 1
Pre[199,181]: 1
P118 --> T27 : 1
Pre[201,158]: 1
P170 --> T27 : 1
Pre[201,142]: 1
P79 --> T26 : 1
Pre[202,165]: 1
P175 --> T25 : 1
Pre[203,139]: 1
P118 --> T24 : 1
Pre[204,158]: 1
P156 --> T24 : 1
Pre[204,126]: 1
P156 < 1. Breaking out
T24 is disabled...
P117 --> T22 : 1
Pre[206,191]: 1
P50 --> T20 : 1
Pre[208,87]: 1
P118 --> T19 : 1
Pre[209,158]: 1
P182 --> T19 : 1
Pre[209,135]: 1
P182 < 1. Breaking out
T19 is disabled...
P75 --> T18 : 1
Pre[210,106]: 1
P220 --> T18 : 1
Pre[210,118]: 1
P202 --> T18 : 1
Pre[210,107]: 1
P81 --> T17 : 1
Pre[211,143]: 1
P118 --> T17 : 1
Pre[211,158]: 1
P172 --> T16 : 1
Pre[212,16]: 1
P125 --> T16 : 1
Pre[212,82]: 1
P237 --> T15 : 1
Pre[213,146]: 1
P209 --> T15 : 1
Pre[213,199]: 1
P100 --> T14 : 1
Pre[214,23]: 1
P118 --> T13 : 1
Pre[215,158]: 1
P106 --> T13 : 1
Pre[215,133]: 1
P106 < 1. Breaking out
T13 is disabled...
P118 --> T12 : 1
Pre[216,158]: 1
P170 --> T12 : 1
Pre[216,142]: 1
P225 --> T11 : 1
Pre[217,71]: 1
P39 --> T11 : 1
Pre[217,26]: 1
P10 --> T7 : 1
Pre[221,25]: 1
P176 --> T5 : 1
Pre[223,213]: 1
P237 --> T4 : 1
Pre[224,146]: 1
P153 --> T4 : 1
Pre[224,147]: 1
P65 --> T3 : 1
Pre[225,229]: 1
P88 --> T2 : 1
Pre[226,162]: 1
P30 --> T1 : 1
Pre[227,231]: 1


New Decreasing places (index:name): 33:P203 75:P91 99:P242 104:P112 109:P179 110:P192 115:P115 120:P163 147:P153 151:P180 168:P78 170:P177 174:P42 199:P209 203:P109 210:P126

Accumulated Decreasing places (index:name): 0:P222 1:P73 2:P46 3:P228 4:P63 5:P152 6:P244 7:P208 8:P158 9:P19 10:P134 11:P143 12:P48 13:P168 19:P161 21:P59 33:P203 34:P188 35:P38 36:P166 37:P90 40:P201 43:P154 48:P241 60:P200 61:P169 65:P49 75:P91 80:P123 83:P107 84:P165 85:P232 97:P96 99:P242 101:P55 102:P121 103:P133 104:P112 105:P204 109:P179 110:P192 112:P20 114:P32 115:P115 120:P163 126:P156 133:P106 135:P182 147:P153 151:P180 168:P78 169:P71 170:P177 174:P42 179:P67 185:P157 190:P83 199:P209 203:P109 210:P126 217:P146 227:P199 228:P185 230:P66 236:P218 237:P41 238:P234 240:P148 241:P231 242:P221 243:P62 244:P137

New Increasing places (index:name): 34:P188 36:P166 61:P169 65:P49 80:P123 83:P107 97:P96 101:P55 114:P32 126:P156 133:P106 135:P182

Accumulated Increasing places (index:name): 0:P222 1:P73 2:P46 3:P228 4:P63 5:P152 6:P244 7:P208 8:P158 9:P19 10:P134 11:P143 12:P48 13:P168 19:P161 21:P59 33:P203 34:P188 35:P38 36:P166 37:P90 40:P201 43:P154 48:P241 60:P200 61:P169 65:P49 75:P91 80:P123 83:P107 84:P165 85:P232 97:P96 99:P242 101:P55 102:P121 103:P133 104:P112 105:P204 109:P179 110:P192 112:P20 114:P32 115:P115 120:P163 126:P156 133:P106 135:P182 169:P71 179:P67 185:P157 190:P83 217:P146 227:P199 228:P185 230:P66 236:P218 237:P41 238:P234 240:P148 241:P231 242:P221 243:P62 244:P137

Disabled transitions: T223 T222 T216 T215 T212 T206 T204 T203 T202 T201 T199 T193 T185 T182 T180 T163 T157 T156 T152 T151 T149 T145 T138 T135 T131 T128 T127 T126 T125 T112 T111 T107 T101 T99 T96 T90 T88 T79 T69 T63 T59 T58 T57 T53 T52 T51 T50 T49 T36 T31 T28 T24 T23 T21 T19 T13 T10 T9 T8 T6

P237 --> T228 : 1
Pre[0,146]: 1
P126 --> T228 : 1
Pre[0,210]: 1
P126 < 1. Breaking out
T228 is disabled...
P212 --> T227 : 1
Pre[1,30]: 1
P213 --> T227 : 1
Pre[1,29]: 1
P110 --> T227 : 1
Pre[1,66]: 1
P235 --> T226 : 1
Pre[2,18]: 1
P130 --> T225 : 1
Pre[3,31]: 1
P39 --> T225 : 1
Pre[3,26]: 1
P144 --> T224 : 1
Pre[4,68]: 1
P118 --> T221 : 1
Pre[7,158]: 1
P147 --> T221 : 1
Pre[7,208]: 1
P142 --> T220 : 1
Pre[8,45]: 1
P39 --> T220 : 1
Pre[8,26]: 1
P177 --> T219 : 1
Pre[9,170]: 1
P177 < 1. Breaking out
T219 is disabled...
P95 --> T218 : 1
Pre[10,161]: 1
P21 --> T217 : 1
Pre[11,56]: 1
P39 --> T217 : 1
Pre[11,26]: 1
P237 --> T214 : 1
Pre[14,146]: 1
P140 --> T214 : 1
Pre[14,204]: 1
P196 --> T213 : 1
Pre[15,220]: 1
P172 --> T211 : 1
Pre[17,16]: 1
P162 --> T211 : 1
Pre[17,22]: 1
P167 --> T210 : 1
Pre[18,121]: 1
P150 --> T209 : 1
Pre[19,160]: 1
P92 --> T208 : 1
Pre[20,198]: 1
P135 --> T207 : 1
Pre[21,192]: 1
P109 --> T205 : 1
Pre[23,203]: 1
P109 < 1. Breaking out
T205 is disabled...
P195 --> T200 : 1
Pre[28,46]: 1
P40 --> T200 : 1
Pre[28,14]: 1
P224 --> T198 : 1
Pre[30,214]: 1
P243 --> T197 : 1
Pre[31,111]: 1
P86 --> T196 : 1
Pre[32,201]: 1
P72 --> T195 : 1
Pre[33,108]: 1
P40 --> T195 : 1
Pre[33,14]: 1
P178 --> T194 : 1
Pre[34,157]: 1
P85 --> T192 : 1
Pre[36,113]: 1
P77 --> T191 : 1
Pre[37,183]: 1
P116 --> T190 : 1
Pre[38,215]: 1
P207 --> T189 : 1
Pre[39,187]: 1
P197 --> T188 : 1
Pre[40,155]: 1
P56 --> T187 : 1
Pre[41,202]: 1
P26 --> T186 : 1
Pre[42,119]: 1
P118 --> T184 : 1
Pre[44,158]: 1
P240 --> T184 : 1
Pre[44,140]: 1
P211 --> T183 : 1
Pre[45,212]: 1
P118 --> T181 : 1
Pre[47,158]: 1
P69 --> T181 : 1
Pre[47,141]: 1
P118 --> T179 : 1
Pre[49,158]: 1
P226 --> T179 : 1
Pre[49,137]: 1
P80 --> T178 : 1
Pre[50,224]: 1
P238 --> T177 : 1
Pre[51,219]: 1
P98 --> T176 : 1
Pre[52,53]: 1
P40 --> T176 : 1
Pre[52,14]: 1
P174 --> T175 : 1
Pre[53,152]: 1
P60 --> T174 : 1
Pre[54,91]: 1
P118 --> T173 : 1
Pre[55,158]: 1
P147 --> T173 : 1
Pre[55,208]: 1
P236 --> T172 : 1
Pre[56,32]: 1
P198 --> T171 : 1
Pre[57,200]: 1
P237 --> T170 : 1
Pre[58,146]: 1
P141 --> T170 : 1
Pre[58,163]: 1
P118 --> T169 : 1
Pre[59,158]: 1
P226 --> T169 : 1
Pre[59,137]: 1
P172 --> T168 : 1
Pre[60,16]: 1
P216 --> T168 : 1
Pre[60,15]: 1
P237 --> T167 : 1
Pre[61,146]: 1
P34 --> T167 : 1
Pre[61,226]: 1
P22 --> T166 : 1
Pre[62,54]: 1
P39 --> T166 : 1
Pre[62,26]: 1
P237 --> T165 : 1
Pre[63,146]: 1
P136 --> T165 : 1
Pre[63,211]: 1
P37 --> T164 : 1
Pre[64,154]: 1
P118 --> T164 : 1
Pre[64,158]: 1
P118 --> T162 : 1
Pre[66,158]: 1
P84 --> T162 : 1
Pre[66,127]: 1
P105 --> T161 : 1
Pre[67,125]: 1
P159 --> T160 : 1
Pre[68,180]: 1
P132 --> T159 : 1
Pre[69,195]: 1
P184 --> T158 : 1
Pre[70,116]: 1
P118 --> T155 : 1
Pre[73,158]: 1
P145 --> T155 : 1
Pre[73,149]: 1
P149 --> T154 : 1
Pre[74,50]: 1
P172 --> T153 : 1
Pre[75,16]: 1
P155 --> T153 : 1
Pre[75,67]: 1
P17 --> T150 : 1
Pre[78,39]: 1
P35 --> T148 : 1
Pre[80,184]: 1
P28 --> T147 : 1
Pre[81,206]: 1
P237 --> T146 : 1
Pre[82,146]: 1
P1 --> T146 : 1
Pre[82,235]: 1
P194 --> T144 : 1
Pre[84,130]: 1
P78 --> T143 : 1
Pre[85,168]: 1
P78 < 1. Breaking out
T143 is disabled...
P214 --> T142 : 1
Pre[86,55]: 1
P25 --> T141 : 1
Pre[87,150]: 1
P58 --> T140 : 1
Pre[88,94]: 1
P5 --> T140 : 1
Pre[88,98]: 1
P68 --> T140 : 1
Pre[88,96]: 1
P237 --> T139 : 1
Pre[89,146]: 1
P186 --> T139 : 1
Pre[89,164]: 1
P193 --> T137 : 1
Pre[91,221]: 1
P89 --> T136 : 1
Pre[92,171]: 1
P191 --> T134 : 1
Pre[94,129]: 1
P6 --> T133 : 1
Pre[95,52]: 1
P2 --> T132 : 1
Pre[96,74]: 1
P40 --> T132 : 1
Pre[96,14]: 1
P74 --> T130 : 1
Pre[98,239]: 1
P82 --> T129 : 1
Pre[99,79]: 1
P97 --> T129 : 1
Pre[99,62]: 1
P16 --> T129 : 1
Pre[99,72]: 1
P87 --> T124 : 1
Pre[104,216]: 1
P47 --> T123 : 1
Pre[105,153]: 1
P57 --> T122 : 1
Pre[106,173]: 1
P122 --> T121 : 1
Pre[107,207]: 1
P94 --> T120 : 1
Pre[108,131]: 1
P210 --> T119 : 1
Pre[109,69]: 1
P31 --> T118 : 1
Pre[110,196]: 1
P128 --> T117 : 1
Pre[111,167]: 1
P43 --> T116 : 1
Pre[112,189]: 1
P172 --> T115 : 1
Pre[113,16]: 1
P7 --> T115 : 1
Pre[113,89]: 1
P29 --> T114 : 1
Pre[114,117]: 1
P237 --> T113 : 1
Pre[115,146]: 1
P189 --> T113 : 1
Pre[115,186]: 1
P245 --> T110 : 1
Pre[118,64]: 1
P118 --> T109 : 1
Pre[119,158]: 1
P108 --> T109 : 1
Pre[119,128]: 1
P114 --> T108 : 1
Pre[120,88]: 1
P190 --> T108 : 1
Pre[120,90]: 1
P76 --> T108 : 1
Pre[120,92]: 1
P104 --> T106 : 1
Pre[122,188]: 1
P61 --> T105 : 1
Pre[123,222]: 1
P102 --> T104 : 1
Pre[124,156]: 1
P129 --> T103 : 1
Pre[125,132]: 1
P118 --> T103 : 1
Pre[125,158]: 1
P124 --> T102 : 1
Pre[126,123]: 1
P53 --> T100 : 1
Pre[128,100]: 1
P118 --> T98 : 1
Pre[130,158]: 1
P84 --> T98 : 1
Pre[130,127]: 1
P164 --> T97 : 1
Pre[131,225]: 1
P120 --> T95 : 1
Pre[133,124]: 1
P119 --> T94 : 1
Pre[134,63]: 1
P139 --> T93 : 1
Pre[135,78]: 1
P171 --> T92 : 1
Pre[136,93]: 1
P18 --> T91 : 1
Pre[137,136]: 1
P54 --> T89 : 1
Pre[139,172]: 1
P64 --> T87 : 1
Pre[141,177]: 1
P172 --> T86 : 1
Pre[142,16]: 1
P103 --> T86 : 1
Pre[142,47]: 1
P215 --> T85 : 1
Pre[143,24]: 1
P51 --> T85 : 1
Pre[143,27]: 1
P111 --> T85 : 1
Pre[143,41]: 1
P12 --> T84 : 1
Pre[144,232]: 1
P11 --> T83 : 1
Pre[145,44]: 1
P4 --> T82 : 1
Pre[146,209]: 1
P227 --> T81 : 1
Pre[147,17]: 1
P15 --> T80 : 1
Pre[148,233]: 1
P9 --> T78 : 1
Pre[150,28]: 1
P127 --> T77 : 1
Pre[151,148]: 1
P118 --> T76 : 1
Pre[152,158]: 1
P240 --> T76 : 1
Pre[152,140]: 1
P181 --> T75 : 1
Pre[153,144]: 1
P3 --> T74 : 1
Pre[154,182]: 1
P151 --> T73 : 1
Pre[155,70]: 1
P172 --> T72 : 1
Pre[156,16]: 1
P101 --> T72 : 1
Pre[156,95]: 1
P24 --> T71 : 1
Pre[157,223]: 1
P131 --> T70 : 1
Pre[158,20]: 1
P39 --> T70 : 1
Pre[158,26]: 1
P206 --> T68 : 1
Pre[160,194]: 1
P180 --> T67 : 1
Pre[161,151]: 1
P180 < 1. Breaking out
T67 is disabled...
P237 --> T66 : 1
Pre[162,146]: 1
P217 --> T66 : 1
Pre[162,159]: 1
P44 --> T65 : 1
Pre[163,42]: 1
P93 --> T65 : 1
Pre[163,86]: 1
P187 --> T65 : 1
Pre[163,73]: 1
P173 --> T64 : 1
Pre[164,59]: 1
P219 --> T64 : 1
Pre[164,51]: 1
P160 --> T64 : 1
Pre[164,58]: 1
P233 --> T62 : 1
Pre[166,49]: 1
P39 --> T62 : 1
Pre[166,26]: 1
P23 --> T61 : 1
Pre[167,166]: 1
P223 --> T60 : 1
Pre[168,205]: 1
P118 --> T56 : 1
Pre[172,158]: 1
P69 --> T56 : 1
Pre[172,141]: 1
P36 --> T55 : 1
Pre[173,176]: 1
P239 --> T54 : 1
Pre[174,197]: 1
P45 --> T48 : 1
Pre[180,134]: 1
P118 --> T47 : 1
Pre[181,158]: 1
P145 --> T47 : 1
Pre[181,149]: 1
P183 --> T46 : 1
Pre[182,193]: 1
P229 --> T45 : 1
Pre[183,77]: 1
P237 --> T44 : 1
Pre[184,146]: 1
P42 --> T44 : 1
Pre[184,174]: 1
P42 < 1. Breaking out
T44 is disabled...
P230 --> T43 : 1
Pre[185,218]: 1
P99 --> T42 : 1
Pre[186,175]: 1
P138 --> T41 : 1
Pre[187,57]: 1
P52 --> T40 : 1
Pre[188,38]: 1
P13 --> T39 : 1
Pre[189,234]: 1
P118 --> T39 : 1
Pre[189,158]: 1
P8 --> T38 : 1
Pre[190,145]: 1
P27 --> T37 : 1
Pre[191,138]: 1
P14 --> T35 : 1
Pre[193,122]: 1
P118 --> T34 : 1
Pre[194,158]: 1
P108 --> T34 : 1
Pre[194,128]: 1
P172 --> T33 : 1
Pre[195,16]: 1
P33 --> T33 : 1
Pre[195,76]: 1
P113 --> T32 : 1
Pre[196,81]: 1
P39 --> T32 : 1
Pre[196,26]: 1
P70 --> T30 : 1
Pre[198,178]: 1
P205 --> T29 : 1
Pre[199,181]: 1
P118 --> T27 : 1
Pre[201,158]: 1
P170 --> T27 : 1
Pre[201,142]: 1
P79 --> T26 : 1
Pre[202,165]: 1
P175 --> T25 : 1
Pre[203,139]: 1
P117 --> T22 : 1
Pre[206,191]: 1
P50 --> T20 : 1
Pre[208,87]: 1
P75 --> T18 : 1
Pre[210,106]: 1
P220 --> T18 : 1
Pre[210,118]: 1
P202 --> T18 : 1
Pre[210,107]: 1
P81 --> T17 : 1
Pre[211,143]: 1
P118 --> T17 : 1
Pre[211,158]: 1
P172 --> T16 : 1
Pre[212,16]: 1
P125 --> T16 : 1
Pre[212,82]: 1
P237 --> T15 : 1
Pre[213,146]: 1
P209 --> T15 : 1
Pre[213,199]: 1
P209 < 1. Breaking out
T15 is disabled...
P100 --> T14 : 1
Pre[214,23]: 1
P118 --> T12 : 1
Pre[216,158]: 1
P170 --> T12 : 1
Pre[216,142]: 1
P225 --> T11 : 1
Pre[217,71]: 1
P39 --> T11 : 1
Pre[217,26]: 1
P10 --> T7 : 1
Pre[221,25]: 1
P176 --> T5 : 1
Pre[223,213]: 1
P237 --> T4 : 1
Pre[224,146]: 1
P153 --> T4 : 1
Pre[224,147]: 1
P153 < 1. Breaking out
T4 is disabled...
P65 --> T3 : 1
Pre[225,229]: 1
P88 --> T2 : 1
Pre[226,162]: 1
P30 --> T1 : 1
Pre[227,231]: 1


New Decreasing places (index:name): 153:P47 156:P102 172:P54 178:P70 195:P132 198:P92 216:P87 229:P65

Accumulated Decreasing places (index:name): 0:P222 1:P73 2:P46 3:P228 4:P63 5:P152 6:P244 7:P208 8:P158 9:P19 10:P134 11:P143 12:P48 13:P168 19:P161 21:P59 33:P203 34:P188 35:P38 36:P166 37:P90 40:P201 43:P154 48:P241 60:P200 61:P169 65:P49 75:P91 80:P123 83:P107 84:P165 85:P232 97:P96 99:P242 101:P55 102:P121 103:P133 104:P112 105:P204 109:P179 110:P192 112:P20 114:P32 115:P115 120:P163 126:P156 133:P106 135:P182 147:P153 151:P180 153:P47 156:P102 168:P78 169:P71 170:P177 172:P54 174:P42 178:P70 179:P67 185:P157 190:P83 195:P132 198:P92 199:P209 203:P109 210:P126 216:P87 217:P146 227:P199 228:P185 229:P65 230:P66 236:P218 237:P41 238:P234 240:P148 241:P231 242:P221 243:P62 244:P137

New Increasing places (index:name): 147:P153 151:P180 168:P78 170:P177 174:P42 199:P209 203:P109 210:P126

Accumulated Increasing places (index:name): 0:P222 1:P73 2:P46 3:P228 4:P63 5:P152 6:P244 7:P208 8:P158 9:P19 10:P134 11:P143 12:P48 13:P168 19:P161 21:P59 33:P203 34:P188 35:P38 36:P166 37:P90 40:P201 43:P154 48:P241 60:P200 61:P169 65:P49 75:P91 80:P123 83:P107 84:P165 85:P232 97:P96 99:P242 101:P55 102:P121 103:P133 104:P112 105:P204 109:P179 110:P192 112:P20 114:P32 115:P115 120:P163 126:P156 133:P106 135:P182 147:P153 151:P180 168:P78 169:P71 170:P177 174:P42 179:P67 185:P157 190:P83 199:P209 203:P109 210:P126 217:P146 227:P199 228:P185 230:P66 236:P218 237:P41 238:P234 240:P148 241:P231 242:P221 243:P62 244:P137

Disabled transitions: T228 T223 T222 T219 T216 T215 T212 T206 T205 T204 T203 T202 T201 T199 T193 T185 T182 T180 T163 T157 T156 T152 T151 T149 T145 T143 T138 T135 T131 T128 T127 T126 T125 T112 T111 T107 T101 T99 T96 T90 T88 T79 T69 T67 T63 T59 T58 T57 T53 T52 T51 T50 T49 T44 T36 T31 T28 T24 T23 T21 T19 T15 T13 T10 T9 T8 T6 T4

P212 --> T227 : 1
Pre[1,30]: 1
P213 --> T227 : 1
Pre[1,29]: 1
P110 --> T227 : 1
Pre[1,66]: 1
P235 --> T226 : 1
Pre[2,18]: 1
P130 --> T225 : 1
Pre[3,31]: 1
P39 --> T225 : 1
Pre[3,26]: 1
P144 --> T224 : 1
Pre[4,68]: 1
P118 --> T221 : 1
Pre[7,158]: 1
P147 --> T221 : 1
Pre[7,208]: 1
P142 --> T220 : 1
Pre[8,45]: 1
P39 --> T220 : 1
Pre[8,26]: 1
P95 --> T218 : 1
Pre[10,161]: 1
P21 --> T217 : 1
Pre[11,56]: 1
P39 --> T217 : 1
Pre[11,26]: 1
P237 --> T214 : 1
Pre[14,146]: 1
P140 --> T214 : 1
Pre[14,204]: 1
P196 --> T213 : 1
Pre[15,220]: 1
P172 --> T211 : 1
Pre[17,16]: 1
P162 --> T211 : 1
Pre[17,22]: 1
P167 --> T210 : 1
Pre[18,121]: 1
P150 --> T209 : 1
Pre[19,160]: 1
P92 --> T208 : 1
Pre[20,198]: 1
P92 < 1. Breaking out
T208 is disabled...
P135 --> T207 : 1
Pre[21,192]: 1
P195 --> T200 : 1
Pre[28,46]: 1
P40 --> T200 : 1
Pre[28,14]: 1
P224 --> T198 : 1
Pre[30,214]: 1
P243 --> T197 : 1
Pre[31,111]: 1
P86 --> T196 : 1
Pre[32,201]: 1
P72 --> T195 : 1
Pre[33,108]: 1
P40 --> T195 : 1
Pre[33,14]: 1
P178 --> T194 : 1
Pre[34,157]: 1
P85 --> T192 : 1
Pre[36,113]: 1
P77 --> T191 : 1
Pre[37,183]: 1
P116 --> T190 : 1
Pre[38,215]: 1
P207 --> T189 : 1
Pre[39,187]: 1
P197 --> T188 : 1
Pre[40,155]: 1
P56 --> T187 : 1
Pre[41,202]: 1
P26 --> T186 : 1
Pre[42,119]: 1
P118 --> T184 : 1
Pre[44,158]: 1
P240 --> T184 : 1
Pre[44,140]: 1
P211 --> T183 : 1
Pre[45,212]: 1
P118 --> T181 : 1
Pre[47,158]: 1
P69 --> T181 : 1
Pre[47,141]: 1
P118 --> T179 : 1
Pre[49,158]: 1
P226 --> T179 : 1
Pre[49,137]: 1
P80 --> T178 : 1
Pre[50,224]: 1
P238 --> T177 : 1
Pre[51,219]: 1
P98 --> T176 : 1
Pre[52,53]: 1
P40 --> T176 : 1
Pre[52,14]: 1
P174 --> T175 : 1
Pre[53,152]: 1
P60 --> T174 : 1
Pre[54,91]: 1
P118 --> T173 : 1
Pre[55,158]: 1
P147 --> T173 : 1
Pre[55,208]: 1
P236 --> T172 : 1
Pre[56,32]: 1
P198 --> T171 : 1
Pre[57,200]: 1
P237 --> T170 : 1
Pre[58,146]: 1
P141 --> T170 : 1
Pre[58,163]: 1
P118 --> T169 : 1
Pre[59,158]: 1
P226 --> T169 : 1
Pre[59,137]: 1
P172 --> T168 : 1
Pre[60,16]: 1
P216 --> T168 : 1
Pre[60,15]: 1
P237 --> T167 : 1
Pre[61,146]: 1
P34 --> T167 : 1
Pre[61,226]: 1
P22 --> T166 : 1
Pre[62,54]: 1
P39 --> T166 : 1
Pre[62,26]: 1
P237 --> T165 : 1
Pre[63,146]: 1
P136 --> T165 : 1
Pre[63,211]: 1
P37 --> T164 : 1
Pre[64,154]: 1
P118 --> T164 : 1
Pre[64,158]: 1
P118 --> T162 : 1
Pre[66,158]: 1
P84 --> T162 : 1
Pre[66,127]: 1
P105 --> T161 : 1
Pre[67,125]: 1
P159 --> T160 : 1
Pre[68,180]: 1
P132 --> T159 : 1
Pre[69,195]: 1
P132 < 1. Breaking out
T159 is disabled...
P184 --> T158 : 1
Pre[70,116]: 1
P118 --> T155 : 1
Pre[73,158]: 1
P145 --> T155 : 1
Pre[73,149]: 1
P149 --> T154 : 1
Pre[74,50]: 1
P172 --> T153 : 1
Pre[75,16]: 1
P155 --> T153 : 1
Pre[75,67]: 1
P17 --> T150 : 1
Pre[78,39]: 1
P35 --> T148 : 1
Pre[80,184]: 1
P28 --> T147 : 1
Pre[81,206]: 1
P237 --> T146 : 1
Pre[82,146]: 1
P1 --> T146 : 1
Pre[82,235]: 1
P194 --> T144 : 1
Pre[84,130]: 1
P214 --> T142 : 1
Pre[86,55]: 1
P25 --> T141 : 1
Pre[87,150]: 1
P58 --> T140 : 1
Pre[88,94]: 1
P5 --> T140 : 1
Pre[88,98]: 1
P68 --> T140 : 1
Pre[88,96]: 1
P237 --> T139 : 1
Pre[89,146]: 1
P186 --> T139 : 1
Pre[89,164]: 1
P193 --> T137 : 1
Pre[91,221]: 1
P89 --> T136 : 1
Pre[92,171]: 1
P191 --> T134 : 1
Pre[94,129]: 1
P6 --> T133 : 1
Pre[95,52]: 1
P2 --> T132 : 1
Pre[96,74]: 1
P40 --> T132 : 1
Pre[96,14]: 1
P74 --> T130 : 1
Pre[98,239]: 1
P82 --> T129 : 1
Pre[99,79]: 1
P97 --> T129 : 1
Pre[99,62]: 1
P16 --> T129 : 1
Pre[99,72]: 1
P87 --> T124 : 1
Pre[104,216]: 1
P87 < 1. Breaking out
T124 is disabled...
P47 --> T123 : 1
Pre[105,153]: 1
P47 < 1. Breaking out
T123 is disabled...
P57 --> T122 : 1
Pre[106,173]: 1
P122 --> T121 : 1
Pre[107,207]: 1
P94 --> T120 : 1
Pre[108,131]: 1
P210 --> T119 : 1
Pre[109,69]: 1
P31 --> T118 : 1
Pre[110,196]: 1
P128 --> T117 : 1
Pre[111,167]: 1
P43 --> T116 : 1
Pre[112,189]: 1
P172 --> T115 : 1
Pre[113,16]: 1
P7 --> T115 : 1
Pre[113,89]: 1
P29 --> T114 : 1
Pre[114,117]: 1
P237 --> T113 : 1
Pre[115,146]: 1
P189 --> T113 : 1
Pre[115,186]: 1
P245 --> T110 : 1
Pre[118,64]: 1
P118 --> T109 : 1
Pre[119,158]: 1
P108 --> T109 : 1
Pre[119,128]: 1
P114 --> T108 : 1
Pre[120,88]: 1
P190 --> T108 : 1
Pre[120,90]: 1
P76 --> T108 : 1
Pre[120,92]: 1
P104 --> T106 : 1
Pre[122,188]: 1
P61 --> T105 : 1
Pre[123,222]: 1
P102 --> T104 : 1
Pre[124,156]: 1
P102 < 1. Breaking out
T104 is disabled...
P129 --> T103 : 1
Pre[125,132]: 1
P118 --> T103 : 1
Pre[125,158]: 1
P124 --> T102 : 1
Pre[126,123]: 1
P53 --> T100 : 1
Pre[128,100]: 1
P118 --> T98 : 1
Pre[130,158]: 1
P84 --> T98 : 1
Pre[130,127]: 1
P164 --> T97 : 1
Pre[131,225]: 1
P120 --> T95 : 1
Pre[133,124]: 1
P119 --> T94 : 1
Pre[134,63]: 1
P139 --> T93 : 1
Pre[135,78]: 1
P171 --> T92 : 1
Pre[136,93]: 1
P18 --> T91 : 1
Pre[137,136]: 1
P54 --> T89 : 1
Pre[139,172]: 1
P54 < 1. Breaking out
T89 is disabled...
P64 --> T87 : 1
Pre[141,177]: 1
P172 --> T86 : 1
Pre[142,16]: 1
P103 --> T86 : 1
Pre[142,47]: 1
P215 --> T85 : 1
Pre[143,24]: 1
P51 --> T85 : 1
Pre[143,27]: 1
P111 --> T85 : 1
Pre[143,41]: 1
P12 --> T84 : 1
Pre[144,232]: 1
P11 --> T83 : 1
Pre[145,44]: 1
P4 --> T82 : 1
Pre[146,209]: 1
P227 --> T81 : 1
Pre[147,17]: 1
P15 --> T80 : 1
Pre[148,233]: 1
P9 --> T78 : 1
Pre[150,28]: 1
P127 --> T77 : 1
Pre[151,148]: 1
P118 --> T76 : 1
Pre[152,158]: 1
P240 --> T76 : 1
Pre[152,140]: 1
P181 --> T75 : 1
Pre[153,144]: 1
P3 --> T74 : 1
Pre[154,182]: 1
P151 --> T73 : 1
Pre[155,70]: 1
P172 --> T72 : 1
Pre[156,16]: 1
P101 --> T72 : 1
Pre[156,95]: 1
P24 --> T71 : 1
Pre[157,223]: 1
P131 --> T70 : 1
Pre[158,20]: 1
P39 --> T70 : 1
Pre[158,26]: 1
P206 --> T68 : 1
Pre[160,194]: 1
P237 --> T66 : 1
Pre[162,146]: 1
P217 --> T66 : 1
Pre[162,159]: 1
P44 --> T65 : 1
Pre[163,42]: 1
P93 --> T65 : 1
Pre[163,86]: 1
P187 --> T65 : 1
Pre[163,73]: 1
P173 --> T64 : 1
Pre[164,59]: 1
P219 --> T64 : 1
Pre[164,51]: 1
P160 --> T64 : 1
Pre[164,58]: 1
P233 --> T62 : 1
Pre[166,49]: 1
P39 --> T62 : 1
Pre[166,26]: 1
P23 --> T61 : 1
Pre[167,166]: 1
P223 --> T60 : 1
Pre[168,205]: 1
P118 --> T56 : 1
Pre[172,158]: 1
P69 --> T56 : 1
Pre[172,141]: 1
P36 --> T55 : 1
Pre[173,176]: 1
P239 --> T54 : 1
Pre[174,197]: 1
P45 --> T48 : 1
Pre[180,134]: 1
P118 --> T47 : 1
Pre[181,158]: 1
P145 --> T47 : 1
Pre[181,149]: 1
P183 --> T46 : 1
Pre[182,193]: 1
P229 --> T45 : 1
Pre[183,77]: 1
P230 --> T43 : 1
Pre[185,218]: 1
P99 --> T42 : 1
Pre[186,175]: 1
P138 --> T41 : 1
Pre[187,57]: 1
P52 --> T40 : 1
Pre[188,38]: 1
P13 --> T39 : 1
Pre[189,234]: 1
P118 --> T39 : 1
Pre[189,158]: 1
P8 --> T38 : 1
Pre[190,145]: 1
P27 --> T37 : 1
Pre[191,138]: 1
P14 --> T35 : 1
Pre[193,122]: 1
P118 --> T34 : 1
Pre[194,158]: 1
P108 --> T34 : 1
Pre[194,128]: 1
P172 --> T33 : 1
Pre[195,16]: 1
P33 --> T33 : 1
Pre[195,76]: 1
P113 --> T32 : 1
Pre[196,81]: 1
P39 --> T32 : 1
Pre[196,26]: 1
P70 --> T30 : 1
Pre[198,178]: 1
P70 < 1. Breaking out
T30 is disabled...
P205 --> T29 : 1
Pre[199,181]: 1
P118 --> T27 : 1
Pre[201,158]: 1
P170 --> T27 : 1
Pre[201,142]: 1
P79 --> T26 : 1
Pre[202,165]: 1
P175 --> T25 : 1
Pre[203,139]: 1
P117 --> T22 : 1
Pre[206,191]: 1
P50 --> T20 : 1
Pre[208,87]: 1
P75 --> T18 : 1
Pre[210,106]: 1
P220 --> T18 : 1
Pre[210,118]: 1
P202 --> T18 : 1
Pre[210,107]: 1
P81 --> T17 : 1
Pre[211,143]: 1
P118 --> T17 : 1
Pre[211,158]: 1
P172 --> T16 : 1
Pre[212,16]: 1
P125 --> T16 : 1
Pre[212,82]: 1
P100 --> T14 : 1
Pre[214,23]: 1
P118 --> T12 : 1
Pre[216,158]: 1
P170 --> T12 : 1
Pre[216,142]: 1
P225 --> T11 : 1
Pre[217,71]: 1
P39 --> T11 : 1
Pre[217,26]: 1
P10 --> T7 : 1
Pre[221,25]: 1
P176 --> T5 : 1
Pre[223,213]: 1
P65 --> T3 : 1
Pre[225,229]: 1
P65 < 1. Breaking out
T3 is disabled...
P88 --> T2 : 1
Pre[226,162]: 1
P30 --> T1 : 1
Pre[227,231]: 1


New Decreasing places (index:name): 152:P174 191:P117 196:P31 197:P239

Accumulated Decreasing places (index:name): 0:P222 1:P73 2:P46 3:P228 4:P63 5:P152 6:P244 7:P208 8:P158 9:P19 10:P134 11:P143 12:P48 13:P168 19:P161 21:P59 33:P203 34:P188 35:P38 36:P166 37:P90 40:P201 43:P154 48:P241 60:P200 61:P169 65:P49 75:P91 80:P123 83:P107 84:P165 85:P232 97:P96 99:P242 101:P55 102:P121 103:P133 104:P112 105:P204 109:P179 110:P192 112:P20 114:P32 115:P115 120:P163 126:P156 133:P106 135:P182 147:P153 151:P180 152:P174 153:P47 156:P102 168:P78 169:P71 170:P177 172:P54 174:P42 178:P70 179:P67 185:P157 190:P83 191:P117 195:P132 196:P31 197:P239 198:P92 199:P209 203:P109 210:P126 216:P87 217:P146 227:P199 228:P185 229:P65 230:P66 236:P218 237:P41 238:P234 240:P148 241:P231 242:P221 243:P62 244:P137

New Increasing places (index:name): 153:P47 156:P102 172:P54 178:P70 195:P132 198:P92 216:P87 229:P65

Accumulated Increasing places (index:name): 0:P222 1:P73 2:P46 3:P228 4:P63 5:P152 6:P244 7:P208 8:P158 9:P19 10:P134 11:P143 12:P48 13:P168 19:P161 21:P59 33:P203 34:P188 35:P38 36:P166 37:P90 40:P201 43:P154 48:P241 60:P200 61:P169 65:P49 75:P91 80:P123 83:P107 84:P165 85:P232 97:P96 99:P242 101:P55 102:P121 103:P133 104:P112 105:P204 109:P179 110:P192 112:P20 114:P32 115:P115 120:P163 126:P156 133:P106 135:P182 147:P153 151:P180 153:P47 156:P102 168:P78 169:P71 170:P177 172:P54 174:P42 178:P70 179:P67 185:P157 190:P83 195:P132 198:P92 199:P209 203:P109 210:P126 216:P87 217:P146 227:P199 228:P185 229:P65 230:P66 236:P218 237:P41 238:P234 240:P148 241:P231 242:P221 243:P62 244:P137

Disabled transitions: T228 T223 T222 T219 T216 T215 T212 T208 T206 T205 T204 T203 T202 T201 T199 T193 T185 T182 T180 T163 T159 T157 T156 T152 T151 T149 T145 T143 T138 T135 T131 T128 T127 T126 T125 T124 T123 T112 T111 T107 T104 T101 T99 T96 T90 T89 T88 T79 T69 T67 T63 T59 T58 T57 T53 T52 T51 T50 T49 T44 T36 T31 T30 T28 T24 T23 T21 T19 T15 T13 T10 T9 T8 T6 T4 T3

P212 --> T227 : 1
Pre[1,30]: 1
P213 --> T227 : 1
Pre[1,29]: 1
P110 --> T227 : 1
Pre[1,66]: 1
P235 --> T226 : 1
Pre[2,18]: 1
P130 --> T225 : 1
Pre[3,31]: 1
P39 --> T225 : 1
Pre[3,26]: 1
P144 --> T224 : 1
Pre[4,68]: 1
P118 --> T221 : 1
Pre[7,158]: 1
P147 --> T221 : 1
Pre[7,208]: 1
P142 --> T220 : 1
Pre[8,45]: 1
P39 --> T220 : 1
Pre[8,26]: 1
P95 --> T218 : 1
Pre[10,161]: 1
P21 --> T217 : 1
Pre[11,56]: 1
P39 --> T217 : 1
Pre[11,26]: 1
P237 --> T214 : 1
Pre[14,146]: 1
P140 --> T214 : 1
Pre[14,204]: 1
P196 --> T213 : 1
Pre[15,220]: 1
P172 --> T211 : 1
Pre[17,16]: 1
P162 --> T211 : 1
Pre[17,22]: 1
P167 --> T210 : 1
Pre[18,121]: 1
P150 --> T209 : 1
Pre[19,160]: 1
P135 --> T207 : 1
Pre[21,192]: 1
P195 --> T200 : 1
Pre[28,46]: 1
P40 --> T200 : 1
Pre[28,14]: 1
P224 --> T198 : 1
Pre[30,214]: 1
P243 --> T197 : 1
Pre[31,111]: 1
P86 --> T196 : 1
Pre[32,201]: 1
P72 --> T195 : 1
Pre[33,108]: 1
P40 --> T195 : 1
Pre[33,14]: 1
P178 --> T194 : 1
Pre[34,157]: 1
P85 --> T192 : 1
Pre[36,113]: 1
P77 --> T191 : 1
Pre[37,183]: 1
P116 --> T190 : 1
Pre[38,215]: 1
P207 --> T189 : 1
Pre[39,187]: 1
P197 --> T188 : 1
Pre[40,155]: 1
P56 --> T187 : 1
Pre[41,202]: 1
P26 --> T186 : 1
Pre[42,119]: 1
P118 --> T184 : 1
Pre[44,158]: 1
P240 --> T184 : 1
Pre[44,140]: 1
P211 --> T183 : 1
Pre[45,212]: 1
P118 --> T181 : 1
Pre[47,158]: 1
P69 --> T181 : 1
Pre[47,141]: 1
P118 --> T179 : 1
Pre[49,158]: 1
P226 --> T179 : 1
Pre[49,137]: 1
P80 --> T178 : 1
Pre[50,224]: 1
P238 --> T177 : 1
Pre[51,219]: 1
P98 --> T176 : 1
Pre[52,53]: 1
P40 --> T176 : 1
Pre[52,14]: 1
P174 --> T175 : 1
Pre[53,152]: 1
P174 < 1. Breaking out
T175 is disabled...
P60 --> T174 : 1
Pre[54,91]: 1
P118 --> T173 : 1
Pre[55,158]: 1
P147 --> T173 : 1
Pre[55,208]: 1
P236 --> T172 : 1
Pre[56,32]: 1
P198 --> T171 : 1
Pre[57,200]: 1
P237 --> T170 : 1
Pre[58,146]: 1
P141 --> T170 : 1
Pre[58,163]: 1
P118 --> T169 : 1
Pre[59,158]: 1
P226 --> T169 : 1
Pre[59,137]: 1
P172 --> T168 : 1
Pre[60,16]: 1
P216 --> T168 : 1
Pre[60,15]: 1
P237 --> T167 : 1
Pre[61,146]: 1
P34 --> T167 : 1
Pre[61,226]: 1
P22 --> T166 : 1
Pre[62,54]: 1
P39 --> T166 : 1
Pre[62,26]: 1
P237 --> T165 : 1
Pre[63,146]: 1
P136 --> T165 : 1
Pre[63,211]: 1
P37 --> T164 : 1
Pre[64,154]: 1
P118 --> T164 : 1
Pre[64,158]: 1
P118 --> T162 : 1
Pre[66,158]: 1
P84 --> T162 : 1
Pre[66,127]: 1
P105 --> T161 : 1
Pre[67,125]: 1
P159 --> T160 : 1
Pre[68,180]: 1
P184 --> T158 : 1
Pre[70,116]: 1
P118 --> T155 : 1
Pre[73,158]: 1
P145 --> T155 : 1
Pre[73,149]: 1
P149 --> T154 : 1
Pre[74,50]: 1
P172 --> T153 : 1
Pre[75,16]: 1
P155 --> T153 : 1
Pre[75,67]: 1
P17 --> T150 : 1
Pre[78,39]: 1
P35 --> T148 : 1
Pre[80,184]: 1
P28 --> T147 : 1
Pre[81,206]: 1
P237 --> T146 : 1
Pre[82,146]: 1
P1 --> T146 : 1
Pre[82,235]: 1
P194 --> T144 : 1
Pre[84,130]: 1
P214 --> T142 : 1
Pre[86,55]: 1
P25 --> T141 : 1
Pre[87,150]: 1
P58 --> T140 : 1
Pre[88,94]: 1
P5 --> T140 : 1
Pre[88,98]: 1
P68 --> T140 : 1
Pre[88,96]: 1
P237 --> T139 : 1
Pre[89,146]: 1
P186 --> T139 : 1
Pre[89,164]: 1
P193 --> T137 : 1
Pre[91,221]: 1
P89 --> T136 : 1
Pre[92,171]: 1
P191 --> T134 : 1
Pre[94,129]: 1
P6 --> T133 : 1
Pre[95,52]: 1
P2 --> T132 : 1
Pre[96,74]: 1
P40 --> T132 : 1
Pre[96,14]: 1
P74 --> T130 : 1
Pre[98,239]: 1
P82 --> T129 : 1
Pre[99,79]: 1
P97 --> T129 : 1
Pre[99,62]: 1
P16 --> T129 : 1
Pre[99,72]: 1
P57 --> T122 : 1
Pre[106,173]: 1
P122 --> T121 : 1
Pre[107,207]: 1
P94 --> T120 : 1
Pre[108,131]: 1
P210 --> T119 : 1
Pre[109,69]: 1
P31 --> T118 : 1
Pre[110,196]: 1
P31 < 1. Breaking out
T118 is disabled...
P128 --> T117 : 1
Pre[111,167]: 1
P43 --> T116 : 1
Pre[112,189]: 1
P172 --> T115 : 1
Pre[113,16]: 1
P7 --> T115 : 1
Pre[113,89]: 1
P29 --> T114 : 1
Pre[114,117]: 1
P237 --> T113 : 1
Pre[115,146]: 1
P189 --> T113 : 1
Pre[115,186]: 1
P245 --> T110 : 1
Pre[118,64]: 1
P118 --> T109 : 1
Pre[119,158]: 1
P108 --> T109 : 1
Pre[119,128]: 1
P114 --> T108 : 1
Pre[120,88]: 1
P190 --> T108 : 1
Pre[120,90]: 1
P76 --> T108 : 1
Pre[120,92]: 1
P104 --> T106 : 1
Pre[122,188]: 1
P61 --> T105 : 1
Pre[123,222]: 1
P129 --> T103 : 1
Pre[125,132]: 1
P118 --> T103 : 1
Pre[125,158]: 1
P124 --> T102 : 1
Pre[126,123]: 1
P53 --> T100 : 1
Pre[128,100]: 1
P118 --> T98 : 1
Pre[130,158]: 1
P84 --> T98 : 1
Pre[130,127]: 1
P164 --> T97 : 1
Pre[131,225]: 1
P120 --> T95 : 1
Pre[133,124]: 1
P119 --> T94 : 1
Pre[134,63]: 1
P139 --> T93 : 1
Pre[135,78]: 1
P171 --> T92 : 1
Pre[136,93]: 1
P18 --> T91 : 1
Pre[137,136]: 1
P64 --> T87 : 1
Pre[141,177]: 1
P172 --> T86 : 1
Pre[142,16]: 1
P103 --> T86 : 1
Pre[142,47]: 1
P215 --> T85 : 1
Pre[143,24]: 1
P51 --> T85 : 1
Pre[143,27]: 1
P111 --> T85 : 1
Pre[143,41]: 1
P12 --> T84 : 1
Pre[144,232]: 1
P11 --> T83 : 1
Pre[145,44]: 1
P4 --> T82 : 1
Pre[146,209]: 1
P227 --> T81 : 1
Pre[147,17]: 1
P15 --> T80 : 1
Pre[148,233]: 1
P9 --> T78 : 1
Pre[150,28]: 1
P127 --> T77 : 1
Pre[151,148]: 1
P118 --> T76 : 1
Pre[152,158]: 1
P240 --> T76 : 1
Pre[152,140]: 1
P181 --> T75 : 1
Pre[153,144]: 1
P3 --> T74 : 1
Pre[154,182]: 1
P151 --> T73 : 1
Pre[155,70]: 1
P172 --> T72 : 1
Pre[156,16]: 1
P101 --> T72 : 1
Pre[156,95]: 1
P24 --> T71 : 1
Pre[157,223]: 1
P131 --> T70 : 1
Pre[158,20]: 1
P39 --> T70 : 1
Pre[158,26]: 1
P206 --> T68 : 1
Pre[160,194]: 1
P237 --> T66 : 1
Pre[162,146]: 1
P217 --> T66 : 1
Pre[162,159]: 1
P44 --> T65 : 1
Pre[163,42]: 1
P93 --> T65 : 1
Pre[163,86]: 1
P187 --> T65 : 1
Pre[163,73]: 1
P173 --> T64 : 1
Pre[164,59]: 1
P219 --> T64 : 1
Pre[164,51]: 1
P160 --> T64 : 1
Pre[164,58]: 1
P233 --> T62 : 1
Pre[166,49]: 1
P39 --> T62 : 1
Pre[166,26]: 1
P23 --> T61 : 1
Pre[167,166]: 1
P223 --> T60 : 1
Pre[168,205]: 1
P118 --> T56 : 1
Pre[172,158]: 1
P69 --> T56 : 1
Pre[172,141]: 1
P36 --> T55 : 1
Pre[173,176]: 1
P239 --> T54 : 1
Pre[174,197]: 1
P239 < 1. Breaking out
T54 is disabled...
P45 --> T48 : 1
Pre[180,134]: 1
P118 --> T47 : 1
Pre[181,158]: 1
P145 --> T47 : 1
Pre[181,149]: 1
P183 --> T46 : 1
Pre[182,193]: 1
P229 --> T45 : 1
Pre[183,77]: 1
P230 --> T43 : 1
Pre[185,218]: 1
P99 --> T42 : 1
Pre[186,175]: 1
P138 --> T41 : 1
Pre[187,57]: 1
P52 --> T40 : 1
Pre[188,38]: 1
P13 --> T39 : 1
Pre[189,234]: 1
P118 --> T39 : 1
Pre[189,158]: 1
P8 --> T38 : 1
Pre[190,145]: 1
P27 --> T37 : 1
Pre[191,138]: 1
P14 --> T35 : 1
Pre[193,122]: 1
P118 --> T34 : 1
Pre[194,158]: 1
P108 --> T34 : 1
Pre[194,128]: 1
P172 --> T33 : 1
Pre[195,16]: 1
P33 --> T33 : 1
Pre[195,76]: 1
P113 --> T32 : 1
Pre[196,81]: 1
P39 --> T32 : 1
Pre[196,26]: 1
P205 --> T29 : 1
Pre[199,181]: 1
P118 --> T27 : 1
Pre[201,158]: 1
P170 --> T27 : 1
Pre[201,142]: 1
P79 --> T26 : 1
Pre[202,165]: 1
P175 --> T25 : 1
Pre[203,139]: 1
P117 --> T22 : 1
Pre[206,191]: 1
P117 < 1. Breaking out
T22 is disabled...
P50 --> T20 : 1
Pre[208,87]: 1
P75 --> T18 : 1
Pre[210,106]: 1
P220 --> T18 : 1
Pre[210,118]: 1
P202 --> T18 : 1
Pre[210,107]: 1
P81 --> T17 : 1
Pre[211,143]: 1
P118 --> T17 : 1
Pre[211,158]: 1
P172 --> T16 : 1
Pre[212,16]: 1
P125 --> T16 : 1
Pre[212,82]: 1
P100 --> T14 : 1
Pre[214,23]: 1
P118 --> T12 : 1
Pre[216,158]: 1
P170 --> T12 : 1
Pre[216,142]: 1
P225 --> T11 : 1
Pre[217,71]: 1
P39 --> T11 : 1
Pre[217,26]: 1
P10 --> T7 : 1
Pre[221,25]: 1
P176 --> T5 : 1
Pre[223,213]: 1
P88 --> T2 : 1
Pre[226,162]: 1
P30 --> T1 : 1
Pre[227,231]: 1


New Decreasing places (index:name):

Accumulated Decreasing places (index:name): 0:P222 1:P73 2:P46 3:P228 4:P63 5:P152 6:P244 7:P208 8:P158 9:P19 10:P134 11:P143 12:P48 13:P168 19:P161 21:P59 33:P203 34:P188 35:P38 36:P166 37:P90 40:P201 43:P154 48:P241 60:P200 61:P169 65:P49 75:P91 80:P123 83:P107 84:P165 85:P232 97:P96 99:P242 101:P55 102:P121 103:P133 104:P112 105:P204 109:P179 110:P192 112:P20 114:P32 115:P115 120:P163 126:P156 133:P106 135:P182 147:P153 151:P180 152:P174 153:P47 156:P102 168:P78 169:P71 170:P177 172:P54 174:P42 178:P70 179:P67 185:P157 190:P83 191:P117 195:P132 196:P31 197:P239 198:P92 199:P209 203:P109 210:P126 216:P87 217:P146 227:P199 228:P185 229:P65 230:P66 236:P218 237:P41 238:P234 240:P148 241:P231 242:P221 243:P62 244:P137

New Increasing places (index:name): 152:P174 191:P117 196:P31 197:P239

Accumulated Increasing places (index:name): 0:P222 1:P73 2:P46 3:P228 4:P63 5:P152 6:P244 7:P208 8:P158 9:P19 10:P134 11:P143 12:P48 13:P168 19:P161 21:P59 33:P203 34:P188 35:P38 36:P166 37:P90 40:P201 43:P154 48:P241 60:P200 61:P169 65:P49 75:P91 80:P123 83:P107 84:P165 85:P232 97:P96 99:P242 101:P55 102:P121 103:P133 104:P112 105:P204 109:P179 110:P192 112:P20 114:P32 115:P115 120:P163 126:P156 133:P106 135:P182 147:P153 151:P180 152:P174 153:P47 156:P102 168:P78 169:P71 170:P177 172:P54 174:P42 178:P70 179:P67 185:P157 190:P83 191:P117 195:P132 196:P31 197:P239 198:P92 199:P209 203:P109 210:P126 216:P87 217:P146 227:P199 228:P185 229:P65 230:P66 236:P218 237:P41 238:P234 240:P148 241:P231 242:P221 243:P62 244:P137

Disabled transitions: T228 T223 T222 T219 T216 T215 T212 T208 T206 T205 T204 T203 T202 T201 T199 T193 T185 T182 T180 T175 T163 T159 T157 T156 T152 T151 T149 T145 T143 T138 T135 T131 T128 T127 T126 T125 T124 T123 T118 T112 T111 T107 T104 T101 T99 T96 T90 T89 T88 T79 T69 T67 T63 T59 T58 T57 T54 T53 T52 T51 T50 T49 T44 T36 T31 T30 T28 T24 T23 T22 T21 T19 T15 T13 T10 T9 T8 T6 T4 T3

P212 --> T227 : 1
Pre[1,30]: 1
P213 --> T227 : 1
Pre[1,29]: 1
P110 --> T227 : 1
Pre[1,66]: 1
P235 --> T226 : 1
Pre[2,18]: 1
P130 --> T225 : 1
Pre[3,31]: 1
P39 --> T225 : 1
Pre[3,26]: 1
P144 --> T224 : 1
Pre[4,68]: 1
P118 --> T221 : 1
Pre[7,158]: 1
P147 --> T221 : 1
Pre[7,208]: 1
P142 --> T220 : 1
Pre[8,45]: 1
P39 --> T220 : 1
Pre[8,26]: 1
P95 --> T218 : 1
Pre[10,161]: 1
P21 --> T217 : 1
Pre[11,56]: 1
P39 --> T217 : 1
Pre[11,26]: 1
P237 --> T214 : 1
Pre[14,146]: 1
P140 --> T214 : 1
Pre[14,204]: 1
P196 --> T213 : 1
Pre[15,220]: 1
P172 --> T211 : 1
Pre[17,16]: 1
P162 --> T211 : 1
Pre[17,22]: 1
P167 --> T210 : 1
Pre[18,121]: 1
P150 --> T209 : 1
Pre[19,160]: 1
P135 --> T207 : 1
Pre[21,192]: 1
P195 --> T200 : 1
Pre[28,46]: 1
P40 --> T200 : 1
Pre[28,14]: 1
P224 --> T198 : 1
Pre[30,214]: 1
P243 --> T197 : 1
Pre[31,111]: 1
P86 --> T196 : 1
Pre[32,201]: 1
P72 --> T195 : 1
Pre[33,108]: 1
P40 --> T195 : 1
Pre[33,14]: 1
P178 --> T194 : 1
Pre[34,157]: 1
P85 --> T192 : 1
Pre[36,113]: 1
P77 --> T191 : 1
Pre[37,183]: 1
P116 --> T190 : 1
Pre[38,215]: 1
P207 --> T189 : 1
Pre[39,187]: 1
P197 --> T188 : 1
Pre[40,155]: 1
P56 --> T187 : 1
Pre[41,202]: 1
P26 --> T186 : 1
Pre[42,119]: 1
P118 --> T184 : 1
Pre[44,158]: 1
P240 --> T184 : 1
Pre[44,140]: 1
P211 --> T183 : 1
Pre[45,212]: 1
P118 --> T181 : 1
Pre[47,158]: 1
P69 --> T181 : 1
Pre[47,141]: 1
P118 --> T179 : 1
Pre[49,158]: 1
P226 --> T179 : 1
Pre[49,137]: 1
P80 --> T178 : 1
Pre[50,224]: 1
P238 --> T177 : 1
Pre[51,219]: 1
P98 --> T176 : 1
Pre[52,53]: 1
P40 --> T176 : 1
Pre[52,14]: 1
P60 --> T174 : 1
Pre[54,91]: 1
P118 --> T173 : 1
Pre[55,158]: 1
P147 --> T173 : 1
Pre[55,208]: 1
P236 --> T172 : 1
Pre[56,32]: 1
P198 --> T171 : 1
Pre[57,200]: 1
P237 --> T170 : 1
Pre[58,146]: 1
P141 --> T170 : 1
Pre[58,163]: 1
P118 --> T169 : 1
Pre[59,158]: 1
P226 --> T169 : 1
Pre[59,137]: 1
P172 --> T168 : 1
Pre[60,16]: 1
P216 --> T168 : 1
Pre[60,15]: 1
P237 --> T167 : 1
Pre[61,146]: 1
P34 --> T167 : 1
Pre[61,226]: 1
P22 --> T166 : 1
Pre[62,54]: 1
P39 --> T166 : 1
Pre[62,26]: 1
P237 --> T165 : 1
Pre[63,146]: 1
P136 --> T165 : 1
Pre[63,211]: 1
P37 --> T164 : 1
Pre[64,154]: 1
P118 --> T164 : 1
Pre[64,158]: 1
P118 --> T162 : 1
Pre[66,158]: 1
P84 --> T162 : 1
Pre[66,127]: 1
P105 --> T161 : 1
Pre[67,125]: 1
P159 --> T160 : 1
Pre[68,180]: 1
P184 --> T158 : 1
Pre[70,116]: 1
P118 --> T155 : 1
Pre[73,158]: 1
P145 --> T155 : 1
Pre[73,149]: 1
P149 --> T154 : 1
Pre[74,50]: 1
P172 --> T153 : 1
Pre[75,16]: 1
P155 --> T153 : 1
Pre[75,67]: 1
P17 --> T150 : 1
Pre[78,39]: 1
P35 --> T148 : 1
Pre[80,184]: 1
P28 --> T147 : 1
Pre[81,206]: 1
P237 --> T146 : 1
Pre[82,146]: 1
P1 --> T146 : 1
Pre[82,235]: 1
P194 --> T144 : 1
Pre[84,130]: 1
P214 --> T142 : 1
Pre[86,55]: 1
P25 --> T141 : 1
Pre[87,150]: 1
P58 --> T140 : 1
Pre[88,94]: 1
P5 --> T140 : 1
Pre[88,98]: 1
P68 --> T140 : 1
Pre[88,96]: 1
P237 --> T139 : 1
Pre[89,146]: 1
P186 --> T139 : 1
Pre[89,164]: 1
P193 --> T137 : 1
Pre[91,221]: 1
P89 --> T136 : 1
Pre[92,171]: 1
P191 --> T134 : 1
Pre[94,129]: 1
P6 --> T133 : 1
Pre[95,52]: 1
P2 --> T132 : 1
Pre[96,74]: 1
P40 --> T132 : 1
Pre[96,14]: 1
P74 --> T130 : 1
Pre[98,239]: 1
P82 --> T129 : 1
Pre[99,79]: 1
P97 --> T129 : 1
Pre[99,62]: 1
P16 --> T129 : 1
Pre[99,72]: 1
P57 --> T122 : 1
Pre[106,173]: 1
P122 --> T121 : 1
Pre[107,207]: 1
P94 --> T120 : 1
Pre[108,131]: 1
P210 --> T119 : 1
Pre[109,69]: 1
P128 --> T117 : 1
Pre[111,167]: 1
P43 --> T116 : 1
Pre[112,189]: 1
P172 --> T115 : 1
Pre[113,16]: 1
P7 --> T115 : 1
Pre[113,89]: 1
P29 --> T114 : 1
Pre[114,117]: 1
P237 --> T113 : 1
Pre[115,146]: 1
P189 --> T113 : 1
Pre[115,186]: 1
P245 --> T110 : 1
Pre[118,64]: 1
P118 --> T109 : 1
Pre[119,158]: 1
P108 --> T109 : 1
Pre[119,128]: 1
P114 --> T108 : 1
Pre[120,88]: 1
P190 --> T108 : 1
Pre[120,90]: 1
P76 --> T108 : 1
Pre[120,92]: 1
P104 --> T106 : 1
Pre[122,188]: 1
P61 --> T105 : 1
Pre[123,222]: 1
P129 --> T103 : 1
Pre[125,132]: 1
P118 --> T103 : 1
Pre[125,158]: 1
P124 --> T102 : 1
Pre[126,123]: 1
P53 --> T100 : 1
Pre[128,100]: 1
P118 --> T98 : 1
Pre[130,158]: 1
P84 --> T98 : 1
Pre[130,127]: 1
P164 --> T97 : 1
Pre[131,225]: 1
P120 --> T95 : 1
Pre[133,124]: 1
P119 --> T94 : 1
Pre[134,63]: 1
P139 --> T93 : 1
Pre[135,78]: 1
P171 --> T92 : 1
Pre[136,93]: 1
P18 --> T91 : 1
Pre[137,136]: 1
P64 --> T87 : 1
Pre[141,177]: 1
P172 --> T86 : 1
Pre[142,16]: 1
P103 --> T86 : 1
Pre[142,47]: 1
P215 --> T85 : 1
Pre[143,24]: 1
P51 --> T85 : 1
Pre[143,27]: 1
P111 --> T85 : 1
Pre[143,41]: 1
P12 --> T84 : 1
Pre[144,232]: 1
P11 --> T83 : 1
Pre[145,44]: 1
P4 --> T82 : 1
Pre[146,209]: 1
P227 --> T81 : 1
Pre[147,17]: 1
P15 --> T80 : 1
Pre[148,233]: 1
P9 --> T78 : 1
Pre[150,28]: 1
P127 --> T77 : 1
Pre[151,148]: 1
P118 --> T76 : 1
Pre[152,158]: 1
P240 --> T76 : 1
Pre[152,140]: 1
P181 --> T75 : 1
Pre[153,144]: 1
P3 --> T74 : 1
Pre[154,182]: 1
P151 --> T73 : 1
Pre[155,70]: 1
P172 --> T72 : 1
Pre[156,16]: 1
P101 --> T72 : 1
Pre[156,95]: 1
P24 --> T71 : 1
Pre[157,223]: 1
P131 --> T70 : 1
Pre[158,20]: 1
P39 --> T70 : 1
Pre[158,26]: 1
P206 --> T68 : 1
Pre[160,194]: 1
P237 --> T66 : 1
Pre[162,146]: 1
P217 --> T66 : 1
Pre[162,159]: 1
P44 --> T65 : 1
Pre[163,42]: 1
P93 --> T65 : 1
Pre[163,86]: 1
P187 --> T65 : 1
Pre[163,73]: 1
P173 --> T64 : 1
Pre[164,59]: 1
P219 --> T64 : 1
Pre[164,51]: 1
P160 --> T64 : 1
Pre[164,58]: 1
P233 --> T62 : 1
Pre[166,49]: 1
P39 --> T62 : 1
Pre[166,26]: 1
P23 --> T61 : 1
Pre[167,166]: 1
P223 --> T60 : 1
Pre[168,205]: 1
P118 --> T56 : 1
Pre[172,158]: 1
P69 --> T56 : 1
Pre[172,141]: 1
P36 --> T55 : 1
Pre[173,176]: 1
P45 --> T48 : 1
Pre[180,134]: 1
P118 --> T47 : 1
Pre[181,158]: 1
P145 --> T47 : 1
Pre[181,149]: 1
P183 --> T46 : 1
Pre[182,193]: 1
P229 --> T45 : 1
Pre[183,77]: 1
P230 --> T43 : 1
Pre[185,218]: 1
P99 --> T42 : 1
Pre[186,175]: 1
P138 --> T41 : 1
Pre[187,57]: 1
P52 --> T40 : 1
Pre[188,38]: 1
P13 --> T39 : 1
Pre[189,234]: 1
P118 --> T39 : 1
Pre[189,158]: 1
P8 --> T38 : 1
Pre[190,145]: 1
P27 --> T37 : 1
Pre[191,138]: 1
P14 --> T35 : 1
Pre[193,122]: 1
P118 --> T34 : 1
Pre[194,158]: 1
P108 --> T34 : 1
Pre[194,128]: 1
P172 --> T33 : 1
Pre[195,16]: 1
P33 --> T33 : 1
Pre[195,76]: 1
P113 --> T32 : 1
Pre[196,81]: 1
P39 --> T32 : 1
Pre[196,26]: 1
P205 --> T29 : 1
Pre[199,181]: 1
P118 --> T27 : 1
Pre[201,158]: 1
P170 --> T27 : 1
Pre[201,142]: 1
P79 --> T26 : 1
Pre[202,165]: 1
P175 --> T25 : 1
Pre[203,139]: 1
P50 --> T20 : 1
Pre[208,87]: 1
P75 --> T18 : 1
Pre[210,106]: 1
P220 --> T18 : 1
Pre[210,118]: 1
P202 --> T18 : 1
Pre[210,107]: 1
P81 --> T17 : 1
Pre[211,143]: 1
P118 --> T17 : 1
Pre[211,158]: 1
P172 --> T16 : 1
Pre[212,16]: 1
P125 --> T16 : 1
Pre[212,82]: 1
P100 --> T14 : 1
Pre[214,23]: 1
P118 --> T12 : 1
Pre[216,158]: 1
P170 --> T12 : 1
Pre[216,142]: 1
P225 --> T11 : 1
Pre[217,71]: 1
P39 --> T11 : 1
Pre[217,26]: 1
P10 --> T7 : 1
Pre[221,25]: 1
P176 --> T5 : 1
Pre[223,213]: 1
P88 --> T2 : 1
Pre[226,162]: 1
P30 --> T1 : 1
Pre[227,231]: 1


New Decreasing places (index:name):

Accumulated Decreasing places (index:name): 0:P222 1:P73 2:P46 3:P228 4:P63 5:P152 6:P244 7:P208 8:P158 9:P19 10:P134 11:P143 12:P48 13:P168 19:P161 21:P59 33:P203 34:P188 35:P38 36:P166 37:P90 40:P201 43:P154 48:P241 60:P200 61:P169 65:P49 75:P91 80:P123 83:P107 84:P165 85:P232 97:P96 99:P242 101:P55 102:P121 103:P133 104:P112 105:P204 109:P179 110:P192 112:P20 114:P32 115:P115 120:P163 126:P156 133:P106 135:P182 147:P153 151:P180 152:P174 153:P47 156:P102 168:P78 169:P71 170:P177 172:P54 174:P42 178:P70 179:P67 185:P157 190:P83 191:P117 195:P132 196:P31 197:P239 198:P92 199:P209 203:P109 210:P126 216:P87 217:P146 227:P199 228:P185 229:P65 230:P66 236:P218 237:P41 238:P234 240:P148 241:P231 242:P221 243:P62 244:P137

New Increasing places (index:name):

Accumulated Increasing places (index:name): 0:P222 1:P73 2:P46 3:P228 4:P63 5:P152 6:P244 7:P208 8:P158 9:P19 10:P134 11:P143 12:P48 13:P168 19:P161 21:P59 33:P203 34:P188 35:P38 36:P166 37:P90 40:P201 43:P154 48:P241 60:P200 61:P169 65:P49 75:P91 80:P123 83:P107 84:P165 85:P232 97:P96 99:P242 101:P55 102:P121 103:P133 104:P112 105:P204 109:P179 110:P192 112:P20 114:P32 115:P115 120:P163 126:P156 133:P106 135:P182 147:P153 151:P180 152:P174 153:P47 156:P102 168:P78 169:P71 170:P177 172:P54 174:P42 178:P70 179:P67 185:P157 190:P83 191:P117 195:P132 196:P31 197:P239 198:P92 199:P209 203:P109 210:P126 216:P87 217:P146 227:P199 228:P185 229:P65 230:P66 236:P218 237:P41 238:P234 240:P148 241:P231 242:P221 243:P62 244:P137

Disabled transitions: T228 T223 T222 T219 T216 T215 T212 T208 T206 T205 T204 T203 T202 T201 T199 T193 T185 T182 T180 T175 T163 T159 T157 T156 T152 T151 T149 T145 T143 T138 T135 T131 T128 T127 T126 T125 T124 T123 T118 T1
BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

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="HospitalTriage-PT-none"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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

tar xzf /home/mcc/BenchKit/INPUTS/HospitalTriage-PT-none.tgz
mv HospitalTriage-PT-none execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool smart"
echo " Input is HospitalTriage-PT-none, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r278-csrt-152749166900281"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "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 "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.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 '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
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 ;