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 StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r278-csrt-152749166900280
=====================================================================

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1527751551670

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

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


Decreasing places (index:name): 0:P73 3:P222 5:P46 9:P143 10:P168 19:P19 21:P228 51:P244 193:P218 212:P41 235:P67 236:P83 238:P234 239:P185 241:P221 244:P137

Increasing places (index:name):

Disabled transitions:

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


New Decreasing places (index:name): 1:P208 2:P158 11:P48 17:P59 25:P152 30:P134 40:P38 44:P161 178:P199 189:P66 231:P231 233:P157 234:P71 240:P148 242:P146 243:P62

Accumulated Decreasing places (index:name): 0:P73 1:P208 2:P158 3:P222 5:P46 9:P143 10:P168 11:P48 17:P59 19:P19 21:P228 25:P152 30:P134 40:P38 44:P161 51:P244 178:P199 189:P66 193:P218 212:P41 231:P231 233:P157 234:P71 235:P67 236:P83 238:P234 239:P185 240:P148 241:P221 242:P146 243:P62 244:P137

New Increasing places (index:name): 0:P73 3:P222 5:P46 9:P143 10:P168 19:P19 21:P228 51:P244 193:P218 212:P41 235:P67 236:P83 238:P234 239:P185 241:P221 244:P137

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


New Decreasing places (index:name): 26:P154 37:P241 49:P204 50:P232 55:P133 62:P121 69:P63 70:P90 91:P201 105:P165 109:P20 113:P200

Accumulated Decreasing places (index:name): 0:P73 1:P208 2:P158 3:P222 5:P46 9:P143 10:P168 11:P48 17:P59 19:P19 21:P228 25:P152 26:P154 30:P134 37:P241 40:P38 44:P161 49:P204 50:P232 51:P244 55:P133 62:P121 69:P63 70:P90 91:P201 105:P165 109:P20 113:P200 178:P199 189:P66 193:P218 212:P41 231:P231 233:P157 234:P71 235:P67 236:P83 238:P234 239:P185 240:P148 241:P221 242:P146 243:P62 244:P137

New Increasing places (index:name): 1:P208 2:P158 11:P48 17:P59 25:P152 30:P134 40:P38 44:P161 178:P199 189:P66 231:P231 233:P157 234:P71 240:P148 242:P146 243:P62

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


New Decreasing places (index:name): 47:P96 52:P49 53:P55 63:P123 88:P166 108:P188 110:P169 115:P107 119:P156 124:P32 149:P182 195:P106

Accumulated Decreasing places (index:name): 0:P73 1:P208 2:P158 3:P222 5:P46 9:P143 10:P168 11:P48 17:P59 19:P19 21:P228 25:P152 26:P154 30:P134 37:P241 40:P38 44:P161 47:P96 49:P204 50:P232 51:P244 52:P49 53:P55 55:P133 62:P121 63:P123 69:P63 70:P90 88:P166 91:P201 105:P165 108:P188 109:P20 110:P169 113:P200 115:P107 119:P156 124:P32 149:P182 178:P199 189:P66 193:P218 195:P106 212:P41 231:P231 233:P157 234:P71 235:P67 236:P83 238:P234 239:P185 240:P148 241:P221 242:P146 243:P62 244:P137

New Increasing places (index:name): 26:P154 37:P241 49:P204 50:P232 54:P242 55:P133 56:P179 62:P121 69:P63 70:P90 71:P192 78:P112 91:P201 98:P91 105:P165 109:P20 112:P163 113:P200 116:P115 153:P203

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


New Decreasing places (index:name): 54:P242 56:P179 71:P192 78:P112 98:P91 112:P163 116:P115 153:P203 165:P177 174:P126 181:P209 191:P109 198:P78 204:P42 207:P153 228:P180

Accumulated Decreasing places (index:name): 0:P73 1:P208 2:P158 3:P222 5:P46 9:P143 10:P168 11:P48 17:P59 19:P19 21:P228 25:P152 26:P154 30:P134 37:P241 40:P38 44:P161 47:P96 49:P204 50:P232 51:P244 52:P49 53:P55 54:P242 55:P133 56:P179 62:P121 63:P123 69:P63 70:P90 71:P192 78:P112 88:P166 91:P201 98:P91 105:P165 108:P188 109:P20 110:P169 112:P163 113:P200 115:P107 116:P115 119:P156 124:P32 149:P182 153:P203 165:P177 174:P126 178:P199 181:P209 189:P66 191:P109 193:P218 195:P106 198:P78 204:P42 207:P153 212:P41 228:P180 231:P231 233:P157 234:P71 235:P67 236:P83 238:P234 239:P185 240:P148 241:P221 242:P146 243:P62 244:P137

New Increasing places (index:name): 47:P96 52:P49 53:P55 63:P123 88:P166 108:P188 110:P169 115:P107 119:P156 124:P32 149:P182 195:P106

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


New Decreasing places (index:name): 150:P70 179:P92 180:P87 190:P54 192:P65 203:P47 215:P132 222:P102

Accumulated Decreasing places (index:name): 0:P73 1:P208 2:P158 3:P222 5:P46 9:P143 10:P168 11:P48 17:P59 19:P19 21:P228 25:P152 26:P154 30:P134 37:P241 40:P38 44:P161 47:P96 49:P204 50:P232 51:P244 52:P49 53:P55 54:P242 55:P133 56:P179 62:P121 63:P123 69:P63 70:P90 71:P192 78:P112 88:P166 91:P201 98:P91 105:P165 108:P188 109:P20 110:P169 112:P163 113:P200 115:P107 116:P115 119:P156 124:P32 149:P182 150:P70 153:P203 165:P177 174:P126 178:P199 179:P92 180:P87 181:P209 189:P66 190:P54 191:P109 192:P65 193:P218 195:P106 198:P78 203:P47 204:P42 207:P153 212:P41 215:P132 222:P102 228:P180 231:P231 233:P157 234:P71 235:P67 236:P83 238:P234 239:P185 240:P148 241:P221 242:P146 243:P62 244:P137

New Increasing places (index:name): 165:P177 174:P126 181:P209 191:P109 198:P78 204:P42 207:P153 228:P180

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


New Decreasing places (index:name): 160:P31 177:P239 202:P117 206:P174

Accumulated Decreasing places (index:name): 0:P73 1:P208 2:P158 3:P222 5:P46 9:P143 10:P168 11:P48 17:P59 19:P19 21:P228 25:P152 26:P154 30:P134 37:P241 40:P38 44:P161 47:P96 49:P204 50:P232 51:P244 52:P49 53:P55 54:P242 55:P133 56:P179 62:P121 63:P123 69:P63 70:P90 71:P192 78:P112 88:P166 91:P201 98:P91 105:P165 108:P188 109:P20 110:P169 112:P163 113:P200 115:P107 116:P115 119:P156 124:P32 149:P182 150:P70 153:P203 160:P31 165:P177 174:P126 177:P239 178:P199 179:P92 180:P87 181:P209 189:P66 190:P54 191:P109 192:P65 193:P218 195:P106 198:P78 202:P117 203:P47 204:P42 206:P174 207:P153 212:P41 215:P132 222:P102 228:P180 231:P231 233:P157 234:P71 235:P67 236:P83 238:P234 239:P185 240:P148 241:P221 242:P146 243:P62 244:P137

New Increasing places (index:name): 150:P70 179:P92 180:P87 190:P54 192:P65 203:P47 215:P132 222:P102

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


New Decreasing places (index:name):

Accumulated Decreasing places (index:name): 0:P73 1:P208 2:P158 3:P222 5:P46 9:P143 10:P168 11:P48 17:P59 19:P19 21:P228 25:P152 26:P154 30:P134 37:P241 40:P38 44:P161 47:P96 49:P204 50:P232 51:P244 52:P49 53:P55 54:P242 55:P133 56:P179 62:P121 63:P123 69:P63 70:P90 71:P192 78:P112 88:P166 91:P201 98:P91 105:P165 108:P188 109:P20 110:P169 112:P163 113:P200 115:P107 116:P115 119:P156 124:P32 149:P182 150:P70 153:P203 160:P31 165:P177 174:P126 177:P239 178:P199 179:P92 180:P87 181:P209 189:P66 190:P54 191:P109 192:P65 193:P218 195:P106 198:P78 202:P117 203:P47 204:P42 206:P174 207:P153 212:P41 215:P132 222:P102 228:P180 231:P231 233:P157 234:P71 235:P67 236:P83 238:P234 239:P185 240:P148 241:P221 242:P146 243:P62 244:P137

New Increasing places (index:name): 160:P31 177:P239 202:P117 206:P174

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


New Decreasing places (index:name):

Accumulated Decreasing places (index:name): 0:P73 1:P208 2:P158 3:P222 5:P46 9:P143 10:P168 11:P48 17:P59 19:P19 21:P228 25:P152 26:P154 30:P134 37:P241 40:P38 44:P161 47:P96 49:P204 50:P232 51:P244 52:P49 53:P55 54:P242 55:P133 56:P179 62:P121 63:P123 69:P63 70:P90 71:P192 78:P112 88:P166 91:P201 98:P91 105:P165 108:P188 109:P20 110:P169 112:P163 113:P200 115:P107 116:P115 119:P156 124:P32 149:P182 150:P70 153:P203 160:P31 165:P177 174:P126 177:P239 178:P199 179:P92 180:P87 181:P209 189:P66 190:P54 191:P109 192:P65 193:P218 195:P106 198:P78 202:P117 203:P47 204:P42 206:P174 207:P153 212:P41 215:P132 222:P102 228:P180 231:P231 233:P157 234:P71 235:P67 236:P83 238:P234 239:P185 240:P148 241:P221 242:P146 243:P62 244:P137

New Increasing places (index:name):

Accumulated Increasing places (index:name): 0:P73 1:P208 2:P158 3:P222 5:P46 9:P143 10:P168 11:P48 17:P59 19:P19 21:P228 25:P152 26:P154 30:P134 37:P241 40:P38 44:P161 47:P96 49:P204 50:P232 51:P244 52:P49 53:P55 54:P242 55:P133 56:P179 62:P121 63:P123 69:P63 70:P90 71:P192 78:P112 88:P166 91:P201 98:P91 105:P165 108:P188 109:P20 110:P169 112:P163 113:P200 115:P107 116:P115 119:P156 124:P32 149:P182 150:P70 153:P203 160:P31 165:P177 174:P126 177:P239 178:P199 179:P92 180:P87 181:P209 189:P66 190:P54 191:P109 192:P65 193:P218 195:P106 198:P78 202:P117 203:P47 204:P42 206:P174 207:P153 212:P41 215:P132 222:P102 228:P180 231:P231 233:P157 234:P71 235:P67 236:P83 238:P234 239:P185 240:P148 241:P221 242:P146 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 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="StateSpace"
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 StateSpace"
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-152749166900280"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "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 "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.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 '' StateSpace.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 ;