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.6K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.4K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.7K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 112 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 350 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 11 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 88K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool smart
Input is RwMutex-PT-r0010w0050, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r146-smll-152685545000106
=====================================================================

--------------------
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 1526899678941

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

Filename model.pnml
Petri model created: 130 places, 120 transitions, 1260 arcs.
P15 --> T120 : 1
Pre[0,76]: 1
T120: P15' := P15 - 1
IM[0,76]: -1
T120: P67' := P67 + 1
IM[0,79]: 1
T120: P101' := P101 + 1
IM[0,9]: 1
T120: P102' := P102 + 1
IM[0,38]: 1
T120: P103' := P103 + 1
IM[0,32]: 1
T120: P104' := P104 + 1
IM[0,3]: 1
T120: P105' := P105 + 1
IM[0,39]: 1
T120: P106' := P106 + 1
IM[0,27]: 1
T120: P107' := P107 + 1
IM[0,8]: 1
T120: P108' := P108 + 1
IM[0,4]: 1
T120: P110' := P110 + 1
IM[0,35]: 1
T120: P111' := P111 + 1
IM[0,14]: 1
P14 --> T119 : 1
Pre[1,119]: 1
T119: P14' := P14 - 1
IM[1,119]: -1
T119: P66' := P66 + 1
IM[1,117]: 1
T119: P101' := P101 + 1
IM[1,9]: 1
T119: P102' := P102 + 1
IM[1,38]: 1
T119: P103' := P103 + 1
IM[1,32]: 1
T119: P104' := P104 + 1
IM[1,3]: 1
T119: P105' := P105 + 1
IM[1,39]: 1
T119: P106' := P106 + 1
IM[1,27]: 1
T119: P107' := P107 + 1
IM[1,8]: 1
T119: P108' := P108 + 1
IM[1,4]: 1
T119: P110' := P110 + 1
IM[1,35]: 1
T119: P111' := P111 + 1
IM[1,14]: 1
P12 --> T118 : 1
Pre[2,86]: 1
T118: P12' := P12 - 1
IM[2,86]: -1
T118: P64' := P64 + 1
IM[2,89]: 1
T118: P101' := P101 + 1
IM[2,9]: 1
T118: P102' := P102 + 1
IM[2,38]: 1
T118: P103' := P103 + 1
IM[2,32]: 1
T118: P104' := P104 + 1
IM[2,3]: 1
T118: P105' := P105 + 1
IM[2,39]: 1
T118: P106' := P106 + 1
IM[2,27]: 1
T118: P107' := P107 + 1
IM[2,8]: 1
T118: P108' := P108 + 1
IM[2,4]: 1
T118: P110' := P110 + 1
IM[2,35]: 1
T118: P111' := P111 + 1
IM[2,14]: 1
P11 --> T117 : 1
Pre[3,11]: 1
T117: P11' := P11 - 1
IM[3,11]: -1
T117: P63' := P63 + 1
IM[3,12]: 1
T117: P101' := P101 + 1
IM[3,9]: 1
T117: P102' := P102 + 1
IM[3,38]: 1
T117: P103' := P103 + 1
IM[3,32]: 1
T117: P104' := P104 + 1
IM[3,3]: 1
T117: P105' := P105 + 1
IM[3,39]: 1
T117: P106' := P106 + 1
IM[3,27]: 1
T117: P107' := P107 + 1
IM[3,8]: 1
T117: P108' := P108 + 1
IM[3,4]: 1
T117: P110' := P110 + 1
IM[3,35]: 1
T117: P111' := P111 + 1
IM[3,14]: 1
P10 --> T116 : 1
Pre[4,84]: 1
T116: P10' := P10 - 1
IM[4,84]: -1
T116: P62' := P62 + 1
IM[4,83]: 1
T116: P101' := P101 + 1
IM[4,9]: 1
T116: P102' := P102 + 1
IM[4,38]: 1
T116: P103' := P103 + 1
IM[4,32]: 1
T116: P104' := P104 + 1
IM[4,3]: 1
T116: P105' := P105 + 1
IM[4,39]: 1
T116: P106' := P106 + 1
IM[4,27]: 1
T116: P107' := P107 + 1
IM[4,8]: 1
T116: P108' := P108 + 1
IM[4,4]: 1
T116: P110' := P110 + 1
IM[4,35]: 1
T116: P111' := P111 + 1
IM[4,14]: 1
P9 --> T115 : 1
Pre[5,48]: 1
T115: P9' := P9 - 1
IM[5,48]: -1
T115: P61' := P61 + 1
IM[5,49]: 1
T115: P101' := P101 + 1
IM[5,9]: 1
T115: P102' := P102 + 1
IM[5,38]: 1
T115: P103' := P103 + 1
IM[5,32]: 1
T115: P104' := P104 + 1
IM[5,3]: 1
T115: P105' := P105 + 1
IM[5,39]: 1
T115: P106' := P106 + 1
IM[5,27]: 1
T115: P107' := P107 + 1
IM[5,8]: 1
T115: P108' := P108 + 1
IM[5,4]: 1
T115: P110' := P110 + 1
IM[5,35]: 1
T115: P111' := P111 + 1
IM[5,14]: 1
P8 --> T114 : 1
Pre[6,97]: 1
T114: P8' := P8 - 1
IM[6,97]: -1
T114: P60' := P60 + 1
IM[6,103]: 1
T114: P101' := P101 + 1
IM[6,9]: 1
T114: P102' := P102 + 1
IM[6,38]: 1
T114: P103' := P103 + 1
IM[6,32]: 1
T114: P104' := P104 + 1
IM[6,3]: 1
T114: P105' := P105 + 1
IM[6,39]: 1
T114: P106' := P106 + 1
IM[6,27]: 1
T114: P107' := P107 + 1
IM[6,8]: 1
T114: P108' := P108 + 1
IM[6,4]: 1
T114: P110' := P110 + 1
IM[6,35]: 1
T114: P111' := P111 + 1
IM[6,14]: 1
P124 --> T113 : 1
Pre[7,46]: 1
T113: P47' := P47 + 1
IM[7,47]: 1
T113: P101' := P101 + 1
IM[7,9]: 1
T113: P102' := P102 + 1
IM[7,38]: 1
T113: P103' := P103 + 1
IM[7,32]: 1
T113: P104' := P104 + 1
IM[7,3]: 1
T113: P105' := P105 + 1
IM[7,39]: 1
T113: P106' := P106 + 1
IM[7,27]: 1
T113: P107' := P107 + 1
IM[7,8]: 1
T113: P108' := P108 + 1
IM[7,4]: 1
T113: P110' := P110 + 1
IM[7,35]: 1
T113: P111' := P111 + 1
IM[7,14]: 1
T113: P124' := P124 - 1
IM[7,46]: -1
P6 --> T112 : 1
Pre[8,67]: 1
T112: P6' := P6 - 1
IM[8,67]: -1
T112: P58' := P58 + 1
IM[8,62]: 1
T112: P101' := P101 + 1
IM[8,9]: 1
T112: P102' := P102 + 1
IM[8,38]: 1
T112: P103' := P103 + 1
IM[8,32]: 1
T112: P104' := P104 + 1
IM[8,3]: 1
T112: P105' := P105 + 1
IM[8,39]: 1
T112: P106' := P106 + 1
IM[8,27]: 1
T112: P107' := P107 + 1
IM[8,8]: 1
T112: P108' := P108 + 1
IM[8,4]: 1
T112: P110' := P110 + 1
IM[8,35]: 1
T112: P111' := P111 + 1
IM[8,14]: 1
P5 --> T111 : 1
Pre[9,121]: 1
T111: P5' := P5 - 1
IM[9,121]: -1
T111: P57' := P57 + 1
IM[9,120]: 1
T111: P101' := P101 + 1
IM[9,9]: 1
T111: P102' := P102 + 1
IM[9,38]: 1
T111: P103' := P103 + 1
IM[9,32]: 1
T111: P104' := P104 + 1
IM[9,3]: 1
T111: P105' := P105 + 1
IM[9,39]: 1
T111: P106' := P106 + 1
IM[9,27]: 1
T111: P107' := P107 + 1
IM[9,8]: 1
T111: P108' := P108 + 1
IM[9,4]: 1
T111: P110' := P110 + 1
IM[9,35]: 1
T111: P111' := P111 + 1
IM[9,14]: 1
P2 --> T110 : 1
Pre[10,43]: 1
P110 --> T110 : 1
Pre[10,35]: 1
T110: P2' := P2 - 1
IM[10,43]: -1
T110: P99' := P99 + 1
IM[10,41]: 1
T110: P110' := P110 - 1
IM[10,35]: -1
P4 --> T109 : 1
Pre[11,104]: 1
T109: P4' := P4 - 1
IM[11,104]: -1
T109: P56' := P56 + 1
IM[11,105]: 1
T109: P101' := P101 + 1
IM[11,9]: 1
T109: P102' := P102 + 1
IM[11,38]: 1
T109: P103' := P103 + 1
IM[11,32]: 1
T109: P104' := P104 + 1
IM[11,3]: 1
T109: P105' := P105 + 1
IM[11,39]: 1
T109: P106' := P106 + 1
IM[11,27]: 1
T109: P107' := P107 + 1
IM[11,8]: 1
T109: P108' := P108 + 1
IM[11,4]: 1
T109: P110' := P110 + 1
IM[11,35]: 1
T109: P111' := P111 + 1
IM[11,14]: 1
P3 --> T108 : 1
Pre[12,114]: 1
T108: P3' := P3 - 1
IM[12,114]: -1
T108: P55' := P55 + 1
IM[12,113]: 1
T108: P101' := P101 + 1
IM[12,9]: 1
T108: P102' := P102 + 1
IM[12,38]: 1
T108: P103' := P103 + 1
IM[12,32]: 1
T108: P104' := P104 + 1
IM[12,3]: 1
T108: P105' := P105 + 1
IM[12,39]: 1
T108: P106' := P106 + 1
IM[12,27]: 1
T108: P107' := P107 + 1
IM[12,8]: 1
T108: P108' := P108 + 1
IM[12,4]: 1
T108: P110' := P110 + 1
IM[12,35]: 1
T108: P111' := P111 + 1
IM[12,14]: 1
P130 --> T107 : 1
Pre[13,22]: 1
T107: P53' := P53 + 1
IM[13,23]: 1
T107: P101' := P101 + 1
IM[13,9]: 1
T107: P102' := P102 + 1
IM[13,38]: 1
T107: P103' := P103 + 1
IM[13,32]: 1
T107: P104' := P104 + 1
IM[13,3]: 1
T107: P105' := P105 + 1
IM[13,39]: 1
T107: P106' := P106 + 1
IM[13,27]: 1
T107: P107' := P107 + 1
IM[13,8]: 1
T107: P108' := P108 + 1
IM[13,4]: 1
T107: P110' := P110 + 1
IM[13,35]: 1
T107: P111' := P111 + 1
IM[13,14]: 1
T107: P130' := P130 - 1
IM[13,22]: -1
P129 --> T106 : 1
Pre[14,55]: 1
T106: P52' := P52 + 1
IM[14,57]: 1
T106: P101' := P101 + 1
IM[14,9]: 1
T106: P102' := P102 + 1
IM[14,38]: 1
T106: P103' := P103 + 1
IM[14,32]: 1
T106: P104' := P104 + 1
IM[14,3]: 1
T106: P105' := P105 + 1
IM[14,39]: 1
T106: P106' := P106 + 1
IM[14,27]: 1
T106: P107' := P107 + 1
IM[14,8]: 1
T106: P108' := P108 + 1
IM[14,4]: 1
T106: P110' := P110 + 1
IM[14,35]: 1
T106: P111' := P111 + 1
IM[14,14]: 1
T106: P129' := P129 - 1
IM[14,55]: -1
P128 --> T105 : 1
Pre[15,64]: 1
T105: P51' := P51 + 1
IM[15,66]: 1
T105: P101' := P101 + 1
IM[15,9]: 1
T105: P102' := P102 + 1
IM[15,38]: 1
T105: P103' := P103 + 1
IM[15,32]: 1
T105: P104' := P104 + 1
IM[15,3]: 1
T105: P105' := P105 + 1
IM[15,39]: 1
T105: P106' := P106 + 1
IM[15,27]: 1
T105: P107' := P107 + 1
IM[15,8]: 1
T105: P108' := P108 + 1
IM[15,4]: 1
T105: P110' := P110 + 1
IM[15,35]: 1
T105: P111' := P111 + 1
IM[15,14]: 1
T105: P128' := P128 - 1
IM[15,64]: -1
P127 --> T104 : 1
Pre[16,53]: 1
T104: P50' := P50 + 1
IM[16,58]: 1
T104: P101' := P101 + 1
IM[16,9]: 1
T104: P102' := P102 + 1
IM[16,38]: 1
T104: P103' := P103 + 1
IM[16,32]: 1
T104: P104' := P104 + 1
IM[16,3]: 1
T104: P105' := P105 + 1
IM[16,39]: 1
T104: P106' := P106 + 1
IM[16,27]: 1
T104: P107' := P107 + 1
IM[16,8]: 1
T104: P108' := P108 + 1
IM[16,4]: 1
T104: P110' := P110 + 1
IM[16,35]: 1
T104: P111' := P111 + 1
IM[16,14]: 1
T104: P127' := P127 - 1
IM[16,53]: -1
P126 --> T103 : 1
Pre[17,78]: 1
T103: P49' := P49 + 1
IM[17,77]: 1
T103: P101' := P101 + 1
IM[17,9]: 1
T103: P102' := P102 + 1
IM[17,38]: 1
T103: P103' := P103 + 1
IM[17,32]: 1
T103: P104' := P104 + 1
IM[17,3]: 1
T103: P105' := P105 + 1
IM[17,39]: 1
T103: P106' := P106 + 1
IM[17,27]: 1
T103: P107' := P107 + 1
IM[17,8]: 1
T103: P108' := P108 + 1
IM[17,4]: 1
T103: P110' := P110 + 1
IM[17,35]: 1
T103: P111' := P111 + 1
IM[17,14]: 1
T103: P126' := P126 - 1
IM[17,78]: -1
P125 --> T102 : 1
Pre[18,91]: 1
T102: P48' := P48 + 1
IM[18,90]: 1
T102: P101' := P101 + 1
IM[18,9]: 1
T102: P102' := P102 + 1
IM[18,38]: 1
T102: P103' := P103 + 1
IM[18,32]: 1
T102: P104' := P104 + 1
IM[18,3]: 1
T102: P105' := P105 + 1
IM[18,39]: 1
T102: P106' := P106 + 1
IM[18,27]: 1
T102: P107' := P107 + 1
IM[18,8]: 1
T102: P108' := P108 + 1
IM[18,4]: 1
T102: P110' := P110 + 1
IM[18,35]: 1
T102: P111' := P111 + 1
IM[18,14]: 1
T102: P125' := P125 - 1
IM[18,91]: -1
P112 --> T101 : 1
Pre[19,115]: 1
T101: P24' := P24 + 1
IM[19,112]: 1
T101: P101' := P101 + 1
IM[19,9]: 1
T101: P102' := P102 + 1
IM[19,38]: 1
T101: P103' := P103 + 1
IM[19,32]: 1
T101: P104' := P104 + 1
IM[19,3]: 1
T101: P105' := P105 + 1
IM[19,39]: 1
T101: P106' := P106 + 1
IM[19,27]: 1
T101: P107' := P107 + 1
IM[19,8]: 1
T101: P108' := P108 + 1
IM[19,4]: 1
T101: P110' := P110 + 1
IM[19,35]: 1
T101: P111' := P111 + 1
IM[19,14]: 1
T101: P112' := P112 - 1
IM[19,115]: -1
P123 --> T100 : 1
Pre[20,124]: 1
T100: P46' := P46 + 1
IM[20,125]: 1
T100: P101' := P101 + 1
IM[20,9]: 1
T100: P102' := P102 + 1
IM[20,38]: 1
T100: P103' := P103 + 1
IM[20,32]: 1
T100: P104' := P104 + 1
IM[20,3]: 1
T100: P105' := P105 + 1
IM[20,39]: 1
T100: P106' := P106 + 1
IM[20,27]: 1
T100: P107' := P107 + 1
IM[20,8]: 1
T100: P108' := P108 + 1
IM[20,4]: 1
T100: P110' := P110 + 1
IM[20,35]: 1
T100: P111' := P111 + 1
IM[20,14]: 1
T100: P123' := P123 - 1
IM[20,124]: -1
P108 --> T99 : 1
Pre[21,4]: 1
P120 --> T99 : 1
Pre[21,0]: 1
T99: P97' := P97 + 1
IM[21,1]: 1
T99: P108' := P108 - 1
IM[21,4]: -1
T99: P120' := P120 - 1
IM[21,0]: -1
P122 --> T98 : 1
Pre[22,99]: 1
T98: P45' := P45 + 1
IM[22,98]: 1
T98: P101' := P101 + 1
IM[22,9]: 1
T98: P102' := P102 + 1
IM[22,38]: 1
T98: P103' := P103 + 1
IM[22,32]: 1
T98: P104' := P104 + 1
IM[22,3]: 1
T98: P105' := P105 + 1
IM[22,39]: 1
T98: P106' := P106 + 1
IM[22,27]: 1
T98: P107' := P107 + 1
IM[22,8]: 1
T98: P108' := P108 + 1
IM[22,4]: 1
T98: P110' := P110 + 1
IM[22,35]: 1
T98: P111' := P111 + 1
IM[22,14]: 1
T98: P122' := P122 - 1
IM[22,99]: -1
P121 --> T97 : 1
Pre[23,107]: 1
T97: P44' := P44 + 1
IM[23,109]: 1
T97: P101' := P101 + 1
IM[23,9]: 1
T97: P102' := P102 + 1
IM[23,38]: 1
T97: P103' := P103 + 1
IM[23,32]: 1
T97: P104' := P104 + 1
IM[23,3]: 1
T97: P105' := P105 + 1
IM[23,39]: 1
T97: P106' := P106 + 1
IM[23,27]: 1
T97: P107' := P107 + 1
IM[23,8]: 1
T97: P108' := P108 + 1
IM[23,4]: 1
T97: P110' := P110 + 1
IM[23,35]: 1
T97: P111' := P111 + 1
IM[23,14]: 1
T97: P121' := P121 - 1
IM[23,107]: -1
P119 --> T96 : 1
Pre[24,65]: 1
T96: P42' := P42 + 1
IM[24,63]: 1
T96: P101' := P101 + 1
IM[24,9]: 1
T96: P102' := P102 + 1
IM[24,38]: 1
T96: P103' := P103 + 1
IM[24,32]: 1
T96: P104' := P104 + 1
IM[24,3]: 1
T96: P105' := P105 + 1
IM[24,39]: 1
T96: P106' := P106 + 1
IM[24,27]: 1
T96: P107' := P107 + 1
IM[24,8]: 1
T96: P108' := P108 + 1
IM[24,4]: 1
T96: P110' := P110 + 1
IM[24,35]: 1
T96: P111' := P111 + 1
IM[24,14]: 1
T96: P119' := P119 - 1
IM[24,65]: -1
P118 --> T95 : 1
Pre[25,60]: 1
T95: P41' := P41 + 1
IM[25,56]: 1
T95: P101' := P101 + 1
IM[25,9]: 1
T95: P102' := P102 + 1
IM[25,38]: 1
T95: P103' := P103 + 1
IM[25,32]: 1
T95: P104' := P104 + 1
IM[25,3]: 1
T95: P105' := P105 + 1
IM[25,39]: 1
T95: P106' := P106 + 1
IM[25,27]: 1
T95: P107' := P107 + 1
IM[25,8]: 1
T95: P108' := P108 + 1
IM[25,4]: 1
T95: P110' := P110 + 1
IM[25,35]: 1
T95: P111' := P111 + 1
IM[25,14]: 1
T95: P118' := P118 - 1
IM[25,60]: -1
P117 --> T94 : 1
Pre[26,74]: 1
T94: P40' := P40 + 1
IM[26,72]: 1
T94: P101' := P101 + 1
IM[26,9]: 1
T94: P102' := P102 + 1
IM[26,38]: 1
T94: P103' := P103 + 1
IM[26,32]: 1
T94: P104' := P104 + 1
IM[26,3]: 1
T94: P105' := P105 + 1
IM[26,39]: 1
T94: P106' := P106 + 1
IM[26,27]: 1
T94: P107' := P107 + 1
IM[26,8]: 1
T94: P108' := P108 + 1
IM[26,4]: 1
T94: P110' := P110 + 1
IM[26,35]: 1
T94: P111' := P111 + 1
IM[26,14]: 1
T94: P117' := P117 - 1
IM[26,74]: -1
P116 --> T93 : 1
Pre[27,24]: 1
T93: P39' := P39 + 1
IM[27,18]: 1
T93: P101' := P101 + 1
IM[27,9]: 1
T93: P102' := P102 + 1
IM[27,38]: 1
T93: P103' := P103 + 1
IM[27,32]: 1
T93: P104' := P104 + 1
IM[27,3]: 1
T93: P105' := P105 + 1
IM[27,39]: 1
T93: P106' := P106 + 1
IM[27,27]: 1
T93: P107' := P107 + 1
IM[27,8]: 1
T93: P108' := P108 + 1
IM[27,4]: 1
T93: P110' := P110 + 1
IM[27,35]: 1
T93: P111' := P111 + 1
IM[27,14]: 1
T93: P116' := P116 - 1
IM[27,24]: -1
P115 --> T92 : 1
Pre[28,59]: 1
T92: P38' := P38 + 1
IM[28,61]: 1
T92: P101' := P101 + 1
IM[28,9]: 1
T92: P102' := P102 + 1
IM[28,38]: 1
T92: P103' := P103 + 1
IM[28,32]: 1
T92: P104' := P104 + 1
IM[28,3]: 1
T92: P105' := P105 + 1
IM[28,39]: 1
T92: P106' := P106 + 1
IM[28,27]: 1
T92: P107' := P107 + 1
IM[28,8]: 1
T92: P108' := P108 + 1
IM[28,4]: 1
T92: P110' := P110 + 1
IM[28,35]: 1
T92: P111' := P111 + 1
IM[28,14]: 1
T92: P115' := P115 - 1
IM[28,59]: -1
P114 --> T91 : 1
Pre[29,70]: 1
T91: P37' := P37 + 1
IM[29,73]: 1
T91: P101' := P101 + 1
IM[29,9]: 1
T91: P102' := P102 + 1
IM[29,38]: 1
T91: P103' := P103 + 1
IM[29,32]: 1
T91: P104' := P104 + 1
IM[29,3]: 1
T91: P105' := P105 + 1
IM[29,39]: 1
T91: P106' := P106 + 1
IM[29,27]: 1
T91: P107' := P107 + 1
IM[29,8]: 1
T91: P108' := P108 + 1
IM[29,4]: 1
T91: P110' := P110 + 1
IM[29,35]: 1
T91: P111' := P111 + 1
IM[29,14]: 1
T91: P114' := P114 - 1
IM[29,70]: -1
P113 --> T90 : 1
Pre[30,29]: 1
T90: P35' := P35 + 1
IM[30,28]: 1
T90: P101' := P101 + 1
IM[30,9]: 1
T90: P102' := P102 + 1
IM[30,38]: 1
T90: P103' := P103 + 1
IM[30,32]: 1
T90: P104' := P104 + 1
IM[30,3]: 1
T90: P105' := P105 + 1
IM[30,39]: 1
T90: P106' := P106 + 1
IM[30,27]: 1
T90: P107' := P107 + 1
IM[30,8]: 1
T90: P108' := P108 + 1
IM[30,4]: 1
T90: P110' := P110 + 1
IM[30,35]: 1
T90: P111' := P111 + 1
IM[30,14]: 1
T90: P113' := P113 - 1
IM[30,29]: -1
P100 --> T89 : 1
Pre[31,15]: 1
T89: P13' := P13 + 1
IM[31,16]: 1
T89: P100' := P100 - 1
IM[31,15]: -1
T89: P111' := P111 + 1
IM[31,14]: 1
P107 --> T88 : 1
Pre[32,8]: 1
P109 --> T88 : 1
Pre[32,7]: 1
T88: P96' := P96 + 1
IM[32,10]: 1
T88: P107' := P107 - 1
IM[32,8]: -1
T88: P109' := P109 - 1
IM[32,7]: -1
P99 --> T87 : 1
Pre[33,41]: 1
T87: P2' := P2 + 1
IM[33,43]: 1
T87: P99' := P99 - 1
IM[33,41]: -1
T87: P110' := P110 + 1
IM[33,35]: 1
P97 --> T86 : 1
Pre[34,1]: 1
T86: P97' := P97 - 1
IM[34,1]: -1
T86: P108' := P108 + 1
IM[34,4]: 1
T86: P120' := P120 + 1
IM[34,0]: 1
P96 --> T85 : 1
Pre[35,10]: 1
T85: P96' := P96 - 1
IM[35,10]: -1
T85: P107' := P107 + 1
IM[35,8]: 1
T85: P109' := P109 + 1
IM[35,7]: 1
P95 --> T84 : 1
Pre[36,21]: 1
T84: P95' := P95 - 1
IM[36,21]: -1
T84: P98' := P98 + 1
IM[36,25]: 1
T84: P106' := P106 + 1
IM[36,27]: 1
P94 --> T83 : 1
Pre[37,88]: 1
T83: P87' := P87 + 1
IM[37,82]: 1
T83: P94' := P94 - 1
IM[37,88]: -1
T83: P105' := P105 + 1
IM[37,39]: 1
P93 --> T82 : 1
Pre[38,2]: 1
T82: P76' := P76 + 1
IM[38,5]: 1
T82: P93' := P93 - 1
IM[38,2]: -1
T82: P104' := P104 + 1
IM[38,3]: 1
P92 --> T81 : 1
Pre[39,95]: 1
T81: P65' := P65 + 1
IM[39,94]: 1
T81: P92' := P92 - 1
IM[39,95]: -1
T81: P103' := P103 + 1
IM[39,32]: 1
P90 --> T80 : 1
Pre[40,6]: 1
T80: P43' := P43 + 1
IM[40,13]: 1
T80: P90' := P90 - 1
IM[40,6]: -1
T80: P101' := P101 + 1
IM[40,9]: 1
P91 --> T79 : 1
Pre[41,40]: 1
T79: P54' := P54 + 1
IM[41,37]: 1
T79: P91' := P91 - 1
IM[41,40]: -1
T79: P102' := P102 + 1
IM[41,38]: 1
P89 --> T78 : 1
Pre[42,128]: 1
P101 --> T78 : 1
Pre[42,9]: 1
P102 --> T78 : 1
Pre[42,38]: 1
P103 --> T78 : 1
Pre[42,32]: 1
P104 --> T78 : 1
Pre[42,3]: 1
P105 --> T78 : 1
Pre[42,39]: 1
P106 --> T78 : 1
Pre[42,27]: 1
P107 --> T78 : 1
Pre[42,8]: 1
P108 --> T78 : 1
Pre[42,4]: 1
P110 --> T78 : 1
Pre[42,35]: 1
P111 --> T78 : 1
Pre[42,14]: 1
T78: P1' := P1 + 1
IM[42,129]: 1
T78: P89' := P89 - 1
IM[42,128]: -1
T78: P101' := P101 - 1
IM[42,9]: -1
T78: P102' := P102 - 1
IM[42,38]: -1
T78: P103' := P103 - 1
IM[42,32]: -1
T78: P104' := P104 - 1
IM[42,3]: -1
T78: P105' := P105 - 1
IM[42,39]: -1
T78: P106' := P106 - 1
IM[42,27]: -1
T78: P107' := P107 - 1
IM[42,8]: -1
T78: P108' := P108 - 1
IM[42,4]: -1
T78: P110' := P110 - 1
IM[42,35]: -1
T78: P111' := P111 - 1
IM[42,14]: -1
P98 --> T77 : 1
Pre[43,25]: 1
P106 --> T77 : 1
Pre[43,27]: 1
T77: P95' := P95 + 1
IM[43,21]: 1
T77: P98' := P98 - 1
IM[43,25]: -1
T77: P106' := P106 - 1
IM[43,27]: -1
P88 --> T76 : 1
Pre[44,71]: 1
P101 --> T76 : 1
Pre[44,9]: 1
P102 --> T76 : 1
Pre[44,38]: 1
P103 --> T76 : 1
Pre[44,32]: 1
P104 --> T76 : 1
Pre[44,3]: 1
P105 --> T76 : 1
Pre[44,39]: 1
P106 --> T76 : 1
Pre[44,27]: 1
P107 --> T76 : 1
Pre[44,8]: 1
P108 --> T76 : 1
Pre[44,4]: 1
P110 --> T76 : 1
Pre[44,35]: 1
P111 --> T76 : 1
Pre[44,14]: 1
T76: P36' := P36 + 1
IM[44,75]: 1
T76: P88' := P88 - 1
IM[44,71]: -1
T76: P101' := P101 - 1
IM[44,9]: -1
T76: P102' := P102 - 1
IM[44,38]: -1
T76: P103' := P103 - 1
IM[44,32]: -1
T76: P104' := P104 - 1
IM[44,3]: -1
T76: P105' := P105 - 1
IM[44,39]: -1
T76: P106' := P106 - 1
IM[44,27]: -1
T76: P107' := P107 - 1
IM[44,8]: -1
T76: P108' := P108 - 1
IM[44,4]: -1
T76: P110' := P110 - 1
IM[44,35]: -1
T76: P111' := P111 - 1
IM[44,14]: -1
P86 --> T75 : 1
Pre[45,102]: 1
P101 --> T75 : 1
Pre[45,9]: 1
P102 --> T75 : 1
Pre[45,38]: 1
P103 --> T75 : 1
Pre[45,32]: 1
P104 --> T75 : 1
Pre[45,3]: 1
P105 --> T75 : 1
Pre[45,39]: 1
P106 --> T75 : 1
Pre[45,27]: 1
P107 --> T75 : 1
Pre[45,8]: 1
P108 --> T75 : 1
Pre[45,4]: 1
P110 --> T75 : 1
Pre[45,35]: 1
P111 --> T75 : 1
Pre[45,14]: 1
T75: P34' := P34 + 1
IM[45,101]: 1
T75: P86' := P86 - 1
IM[45,102]: -1
T75: P101' := P101 - 1
IM[45,9]: -1
T75: P102' := P102 - 1
IM[45,38]: -1
T75: P103' := P103 - 1
IM[45,32]: -1
T75: P104' := P104 - 1
IM[45,3]: -1
T75: P105' := P105 - 1
IM[45,39]: -1
T75: P106' := P106 - 1
IM[45,27]: -1
T75: P107' := P107 - 1
IM[45,8]: -1
T75: P108' := P108 - 1
IM[45,4]: -1
T75: P110' := P110 - 1
IM[45,35]: -1
T75: P111' := P111 - 1
IM[45,14]: -1
P85 --> T74 : 1
Pre[46,20]: 1
P101 --> T74 : 1
Pre[46,9]: 1
P102 --> T74 : 1
Pre[46,38]: 1
P103 --> T74 : 1
Pre[46,32]: 1
P104 --> T74 : 1
Pre[46,3]: 1
P105 --> T74 : 1
Pre[46,39]: 1
P106 --> T74 : 1
Pre[46,27]: 1
P107 --> T74 : 1
Pre[46,8]: 1
P108 --> T74 : 1
Pre[46,4]: 1
P110 --> T74 : 1
Pre[46,35]: 1
P111 --> T74 : 1
Pre[46,14]: 1
T74: P33' := P33 + 1
IM[46,19]: 1
T74: P85' := P85 - 1
IM[46,20]: -1
T74: P101' := P101 - 1
IM[46,9]: -1
T74: P102' := P102 - 1
IM[46,38]: -1
T74: P103' := P103 - 1
IM[46,32]: -1
T74: P104' := P104 - 1
IM[46,3]: -1
T74: P105' := P105 - 1
IM[46,39]: -1
T74: P106' := P106 - 1
IM[46,27]: -1
T74: P107' := P107 - 1
IM[46,8]: -1
T74: P108' := P108 - 1
IM[46,4]: -1
T74: P110' := P110 - 1
IM[46,35]: -1
T74: P111' := P111 - 1
IM[46,14]: -1
P83 --> T73 : 1
Pre[47,100]: 1
P101 --> T73 : 1
Pre[47,9]: 1
P102 --> T73 : 1
Pre[47,38]: 1
P103 --> T73 : 1
Pre[47,32]: 1
P104 --> T73 : 1
Pre[47,3]: 1
P105 --> T73 : 1
Pre[47,39]: 1
P106 --> T73 : 1
Pre[47,27]: 1
P107 --> T73 : 1
Pre[47,8]: 1
P108 --> T73 : 1
Pre[47,4]: 1
P110 --> T73 : 1
Pre[47,35]: 1
P111 --> T73 : 1
Pre[47,14]: 1
T73: P31' := P31 + 1
IM[47,96]: 1
T73: P83' := P83 - 1
IM[47,100]: -1
T73: P101' := P101 - 1
IM[47,9]: -1
T73: P102' := P102 - 1
IM[47,38]: -1
T73: P103' := P103 - 1
IM[47,32]: -1
T73: P104' := P104 - 1
IM[47,3]: -1
T73: P105' := P105 - 1
IM[47,39]: -1
T73: P106' := P106 - 1
IM[47,27]: -1
T73: P107' := P107 - 1
IM[47,8]: -1
T73: P108' := P108 - 1
IM[47,4]: -1
T73: P110' := P110 - 1
IM[47,35]: -1
T73: P111' := P111 - 1
IM[47,14]: -1
P84 --> T72 : 1
Pre[48,126]: 1
P101 --> T72 : 1
Pre[48,9]: 1
P102 --> T72 : 1
Pre[48,38]: 1
P103 --> T72 : 1
Pre[48,32]: 1
P104 --> T72 : 1
Pre[48,3]: 1
P105 --> T72 : 1
Pre[48,39]: 1
P106 --> T72 : 1
Pre[48,27]: 1
P107 --> T72 : 1
Pre[48,8]: 1
P108 --> T72 : 1
Pre[48,4]: 1
P110 --> T72 : 1
Pre[48,35]: 1
P111 --> T72 : 1
Pre[48,14]: 1
T72: P32' := P32 + 1
IM[48,127]: 1
T72: P84' := P84 - 1
IM[48,126]: -1
T72: P101' := P101 - 1
IM[48,9]: -1
T72: P102' := P102 - 1
IM[48,38]: -1
T72: P103' := P103 - 1
IM[48,32]: -1
T72: P104' := P104 - 1
IM[48,3]: -1
T72: P105' := P105 - 1
IM[48,39]: -1
T72: P106' := P106 - 1
IM[48,27]: -1
T72: P107' := P107 - 1
IM[48,8]: -1
T72: P108' := P108 - 1
IM[48,4]: -1
T72: P110' := P110 - 1
IM[48,35]: -1
T72: P111' := P111 - 1
IM[48,14]: -1
P71 --> T71 : 1
Pre[49,93]: 1
P101 --> T71 : 1
Pre[49,9]: 1
P102 --> T71 : 1
Pre[49,38]: 1
P103 --> T71 : 1
Pre[49,32]: 1
P104 --> T71 : 1
Pre[49,3]: 1
P105 --> T71 : 1
Pre[49,39]: 1
P106 --> T71 : 1
Pre[49,27]: 1
P107 --> T71 : 1
Pre[49,8]: 1
P108 --> T71 : 1
Pre[49,4]: 1
P110 --> T71 : 1
Pre[49,35]: 1
P111 --> T71 : 1
Pre[49,14]: 1
T71: P19' := P19 + 1
IM[49,92]: 1
T71: P71' := P71 - 1
IM[49,93]: -1
T71: P101' := P101 - 1
IM[49,9]: -1
T71: P102' := P102 - 1
IM[49,38]: -1
T71: P103' := P103 - 1
IM[49,32]: -1
T71: P104' := P104 - 1
IM[49,3]: -1
T71: P105' := P105 - 1
IM[49,39]: -1
T71: P106' := P106 - 1
IM[49,27]: -1
T71: P107' := P107 - 1
IM[49,8]: -1
T71: P108' := P108 - 1
IM[49,4]: -1
T71: P110' := P110 - 1
IM[49,35]: -1
T71: P111' := P111 - 1
IM[49,14]: -1
P82 --> T70 : 1
Pre[50,54]: 1
P101 --> T70 : 1
Pre[50,9]: 1
P102 --> T70 : 1
Pre[50,38]: 1
P103 --> T70 : 1
Pre[50,32]: 1
P104 --> T70 : 1
Pre[50,3]: 1
P105 --> T70 : 1
Pre[50,39]: 1
P106 --> T70 : 1
Pre[50,27]: 1
P107 --> T70 : 1
Pre[50,8]: 1
P108 --> T70 : 1
Pre[50,4]: 1
P110 --> T70 : 1
Pre[50,35]: 1
P111 --> T70 : 1
Pre[50,14]: 1
T70: P30' := P30 + 1
IM[50,52]: 1
T70: P82' := P82 - 1
IM[50,54]: -1
T70: P101' := P101 - 1
IM[50,9]: -1
T70: P102' := P102 - 1
IM[50,38]: -1
T70: P103' := P103 - 1
IM[50,32]: -1
T70: P104' := P104 - 1
IM[50,3]: -1
T70: P105' := P105 - 1
IM[50,39]: -1
T70: P106' := P106 - 1
IM[50,27]: -1
T70: P107' := P107 - 1
IM[50,8]: -1
T70: P108' := P108 - 1
IM[50,4]: -1
T70: P110' := P110 - 1
IM[50,35]: -1
T70: P111' := P111 - 1
IM[50,14]: -1
P81 --> T69 : 1
Pre[51,33]: 1
P101 --> T69 : 1
Pre[51,9]: 1
P102 --> T69 : 1
Pre[51,38]: 1
P103 --> T69 : 1
Pre[51,32]: 1
P104 --> T69 : 1
Pre[51,3]: 1
P105 --> T69 : 1
Pre[51,39]: 1
P106 --> T69 : 1
Pre[51,27]: 1
P107 --> T69 : 1
Pre[51,8]: 1
P108 --> T69 : 1
Pre[51,4]: 1
P110 --> T69 : 1
Pre[51,35]: 1
P111 --> T69 : 1
Pre[51,14]: 1
T69: P29' := P29 + 1
IM[51,36]: 1
T69: P81' := P81 - 1
IM[51,33]: -1
T69: P101' := P101 - 1
IM[51,9]: -1
T69: P102' := P102 - 1
IM[51,38]: -1
T69: P103' := P103 - 1
IM[51,32]: -1
T69: P104' := P104 - 1
IM[51,3]: -1
T69: P105' := P105 - 1
IM[51,39]: -1
T69: P106' := P106 - 1
IM[51,27]: -1
T69: P107' := P107 - 1
IM[51,8]: -1
T69: P108' := P108 - 1
IM[51,4]: -1
T69: P110' := P110 - 1
IM[51,35]: -1
T69: P111' := P111 - 1
IM[51,14]: -1
P80 --> T68 : 1
Pre[52,31]: 1
P101 --> T68 : 1
Pre[52,9]: 1
P102 --> T68 : 1
Pre[52,38]: 1
P103 --> T68 : 1
Pre[52,32]: 1
P104 --> T68 : 1
Pre[52,3]: 1
P105 --> T68 : 1
Pre[52,39]: 1
P106 --> T68 : 1
Pre[52,27]: 1
P107 --> T68 : 1
Pre[52,8]: 1
P108 --> T68 : 1
Pre[52,4]: 1
P110 --> T68 : 1
Pre[52,35]: 1
P111 --> T68 : 1
Pre[52,14]: 1
T68: P28' := P28 + 1
IM[52,30]: 1
T68: P80' := P80 - 1
IM[52,31]: -1
T68: P101' := P101 - 1
IM[52,9]: -1
T68: P102' := P102 - 1
IM[52,38]: -1
T68: P103' := P103 - 1
IM[52,32]: -1
T68: P104' := P104 - 1
IM[52,3]: -1
T68: P105' := P105 - 1
IM[52,39]: -1
T68: P106' := P106 - 1
IM[52,27]: -1
T68: P107' := P107 - 1
IM[52,8]: -1
T68: P108' := P108 - 1
IM[52,4]: -1
T68: P110' := P110 - 1
IM[52,35]: -1
T68: P111' := P111 - 1
IM[52,14]: -1
P79 --> T67 : 1
Pre[53,81]: 1
P101 --> T67 : 1
Pre[53,9]: 1
P102 --> T67 : 1
Pre[53,38]: 1
P103 --> T67 : 1
Pre[53,32]: 1
P104 --> T67 : 1
Pre[53,3]: 1
P105 --> T67 : 1
Pre[53,39]: 1
P106 --> T67 : 1
Pre[53,27]: 1
P107 --> T67 : 1
Pre[53,8]: 1
P108 --> T67 : 1
Pre[53,4]: 1
P110 --> T67 : 1
Pre[53,35]: 1
P111 --> T67 : 1
Pre[53,14]: 1
T67: P27' := P27 + 1
IM[53,80]: 1
T67: P79' := P79 - 1
IM[53,81]: -1
T67: P101' := P101 - 1
IM[53,9]: -1
T67: P102' := P102 - 1
IM[53,38]: -1
T67: P103' := P103 - 1
IM[53,32]: -1
T67: P104' := P104 - 1
IM[53,3]: -1
T67: P105' := P105 - 1
IM[53,39]: -1
T67: P106' := P106 - 1
IM[53,27]: -1
T67: P107' := P107 - 1
IM[53,8]: -1
T67: P108' := P108 - 1
IM[53,4]: -1
T67: P110' := P110 - 1
IM[53,35]: -1
T67: P111' := P111 - 1
IM[53,14]: -1
P87 --> T66 : 1
Pre[54,82]: 1
P105 --> T66 : 1
Pre[54,39]: 1
T66: P87' := P87 - 1
IM[54,82]: -1
T66: P94' := P94 + 1
IM[54,88]: 1
T66: P105' := P105 - 1
IM[54,39]: -1
P78 --> T65 : 1
Pre[55,106]: 1
P101 --> T65 : 1
Pre[55,9]: 1
P102 --> T65 : 1
Pre[55,38]: 1
P103 --> T65 : 1
Pre[55,32]: 1
P104 --> T65 : 1
Pre[55,3]: 1
P105 --> T65 : 1
Pre[55,39]: 1
P106 --> T65 : 1
Pre[55,27]: 1
P107 --> T65 : 1
Pre[55,8]: 1
P108 --> T65 : 1
Pre[55,4]: 1
P110 --> T65 : 1
Pre[55,35]: 1
P111 --> T65 : 1
Pre[55,14]: 1
T65: P26' := P26 + 1
IM[55,108]: 1
T65: P78' := P78 - 1
IM[55,106]: -1
T65: P101' := P101 - 1
IM[55,9]: -1
T65: P102' := P102 - 1
IM[55,38]: -1
T65: P103' := P103 - 1
IM[55,32]: -1
T65: P104' := P104 - 1
IM[55,3]: -1
T65: P105' := P105 - 1
IM[55,39]: -1
T65: P106' := P106 - 1
IM[55,27]: -1
T65: P107' := P107 - 1
IM[55,8]: -1
T65: P108' := P108 - 1
IM[55,4]: -1
T65: P110' := P110 - 1
IM[55,35]: -1
T65: P111' := P111 - 1
IM[55,14]: -1
P77 --> T64 : 1
Pre[56,26]: 1
P101 --> T64 : 1
Pre[56,9]: 1
P102 --> T64 : 1
Pre[56,38]: 1
P103 --> T64 : 1
Pre[56,32]: 1
P104 --> T64 : 1
Pre[56,3]: 1
P105 --> T64 : 1
Pre[56,39]: 1
P106 --> T64 : 1
Pre[56,27]: 1
P107 --> T64 : 1
Pre[56,8]: 1
P108 --> T64 : 1
Pre[56,4]: 1
P110 --> T64 : 1
Pre[56,35]: 1
P111 --> T64 : 1
Pre[56,14]: 1
T64: P25' := P25 + 1
IM[56,17]: 1
T64: P77' := P77 - 1
IM[56,26]: -1
T64: P101' := P101 - 1
IM[56,9]: -1
T64: P102' := P102 - 1
IM[56,38]: -1
T64: P103' := P103 - 1
IM[56,32]: -1
T64: P104' := P104 - 1
IM[56,3]: -1
T64: P105' := P105 - 1
IM[56,39]: -1
T64: P106' := P106 - 1
IM[56,27]: -1
T64: P107' := P107 - 1
IM[56,8]: -1
T64: P108' := P108 - 1
IM[56,4]: -1
T64: P110' := P110 - 1
IM[56,35]: -1
T64: P111' := P111 - 1
IM[56,14]: -1
P75 --> T63 : 1
Pre[57,122]: 1
P101 --> T63 : 1
Pre[57,9]: 1
P102 --> T63 : 1
Pre[57,38]: 1
P103 --> T63 : 1
Pre[57,32]: 1
P104 --> T63 : 1
Pre[57,3]: 1
P105 --> T63 : 1
Pre[57,39]: 1
P106 --> T63 : 1
Pre[57,27]: 1
P107 --> T63 : 1
Pre[57,8]: 1
P108 --> T63 : 1
Pre[57,4]: 1
P110 --> T63 : 1
Pre[57,35]: 1
P111 --> T63 : 1
Pre[57,14]: 1
T63: P23' := P23 + 1
IM[57,123]: 1
T63: P75' := P75 - 1
IM[57,122]: -1
T63: P101' := P101 - 1
IM[57,9]: -1
T63: P102' := P102 - 1
IM[57,38]: -1
T63: P103' := P103 - 1
IM[57,32]: -1
T63: P104' := P104 - 1
IM[57,3]: -1
T63: P105' := P105 - 1
IM[57,39]: -1
T63: P106' := P106 - 1
IM[57,27]: -1
T63: P107' := P107 - 1
IM[57,8]: -1
T63: P108' := P108 - 1
IM[57,4]: -1
T63: P110' := P110 - 1
IM[57,35]: -1
T63: P111' := P111 - 1
IM[57,14]: -1
P74 --> T62 : 1
Pre[58,69]: 1
P101 --> T62 : 1
Pre[58,9]: 1
P102 --> T62 : 1
Pre[58,38]: 1
P103 --> T62 : 1
Pre[58,32]: 1
P104 --> T62 : 1
Pre[58,3]: 1
P105 --> T62 : 1
Pre[58,39]: 1
P106 --> T62 : 1
Pre[58,27]: 1
P107 --> T62 : 1
Pre[58,8]: 1
P108 --> T62 : 1
Pre[58,4]: 1
P110 --> T62 : 1
Pre[58,35]: 1
P111 --> T62 : 1
Pre[58,14]: 1
T62: P22' := P22 + 1
IM[58,68]: 1
T62: P74' := P74 - 1
IM[58,69]: -1
T62: P101' := P101 - 1
IM[58,9]: -1
T62: P102' := P102 - 1
IM[58,38]: -1
T62: P103' := P103 - 1
IM[58,32]: -1
T62: P104' := P104 - 1
IM[58,3]: -1
T62: P105' := P105 - 1
IM[58,39]: -1
T62: P106' := P106 - 1
IM[58,27]: -1
T62: P107' := P107 - 1
IM[58,8]: -1
T62: P108' := P108 - 1
IM[58,4]: -1
T62: P110' := P110 - 1
IM[58,35]: -1
T62: P111' := P111 - 1
IM[58,14]: -1
P73 --> T61 : 1
Pre[59,87]: 1
P101 --> T61 : 1
Pre[59,9]: 1
P102 --> T61 : 1
Pre[59,38]: 1
P103 --> T61 : 1
Pre[59,32]: 1
P104 --> T61 : 1
Pre[59,3]: 1
P105 --> T61 : 1
Pre[59,39]: 1
P106 --> T61 : 1
Pre[59,27]: 1
P107 --> T61 : 1
Pre[59,8]: 1
P108 --> T61 : 1
Pre[59,4]: 1
P110 --> T61 : 1
Pre[59,35]: 1
P111 --> T61 : 1
Pre[59,14]: 1
T61: P21' := P21 + 1
IM[59,85]: 1
T61: P73' := P73 - 1
IM[59,87]: -1
T61: P101' := P101 - 1
IM[59,9]: -1
T61: P102' := P102 - 1
IM[59,38]: -1
T61: P103' := P103 - 1
IM[59,32]: -1
T61: P104' := P104 - 1
IM[59,3]: -1
T61: P105' := P105 - 1
IM[59,39]: -1
T61: P106' := P106 - 1
IM[59,27]: -1
T61: P107' := P107 - 1
IM[59,8]: -1
T61: P108' := P108 - 1
IM[59,4]: -1
T61: P110' := P110 - 1
IM[59,35]: -1
T61: P111' := P111 - 1
IM[59,14]: -1
P72 --> T60 : 1
Pre[60,51]: 1
P101 --> T60 : 1
Pre[60,9]: 1
P102 --> T60 : 1
Pre[60,38]: 1
P103 --> T60 : 1
Pre[60,32]: 1
P104 --> T60 : 1
Pre[60,3]: 1
P105 --> T60 : 1
Pre[60,39]: 1
P106 --> T60 : 1
Pre[60,27]: 1
P107 --> T60 : 1
Pre[60,8]: 1
P108 --> T60 : 1
Pre[60,4]: 1
P110 --> T60 : 1
Pre[60,35]: 1
P111 --> T60 : 1
Pre[60,14]: 1
T60: P20' := P20 + 1
IM[60,50]: 1
T60: P72' := P72 - 1
IM[60,51]: -1
T60: P101' := P101 - 1
IM[60,9]: -1
T60: P102' := P102 - 1
IM[60,38]: -1
T60: P103' := P103 - 1
IM[60,32]: -1
T60: P104' := P104 - 1
IM[60,3]: -1
T60: P105' := P105 - 1
IM[60,39]: -1
T60: P106' := P106 - 1
IM[60,27]: -1
T60: P107' := P107 - 1
IM[60,8]: -1
T60: P108' := P108 - 1
IM[60,4]: -1
T60: P110' := P110 - 1
IM[60,35]: -1
T60: P111' := P111 - 1
IM[60,14]: -1
P59 --> T59 : 1
Pre[61,110]: 1
P101 --> T59 : 1
Pre[61,9]: 1
P102 --> T59 : 1
Pre[61,38]: 1
P103 --> T59 : 1
Pre[61,32]: 1
P104 --> T59 : 1
Pre[61,3]: 1
P105 --> T59 : 1
Pre[61,39]: 1
P106 --> T59 : 1
Pre[61,27]: 1
P107 --> T59 : 1
Pre[61,8]: 1
P108 --> T59 : 1
Pre[61,4]: 1
P110 --> T59 : 1
Pre[61,35]: 1
P111 --> T59 : 1
Pre[61,14]: 1
T59: P7' := P7 + 1
IM[61,111]: 1
T59: P59' := P59 - 1
IM[61,110]: -1
T59: P101' := P101 - 1
IM[61,9]: -1
T59: P102' := P102 - 1
IM[61,38]: -1
T59: P103' := P103 - 1
IM[61,32]: -1
T59: P104' := P104 - 1
IM[61,3]: -1
T59: P105' := P105 - 1
IM[61,39]: -1
T59: P106' := P106 - 1
IM[61,27]: -1
T59: P107' := P107 - 1
IM[61,8]: -1
T59: P108' := P108 - 1
IM[61,4]: -1
T59: P110' := P110 - 1
IM[61,35]: -1
T59: P111' := P111 - 1
IM[61,14]: -1
P70 --> T58 : 1
Pre[62,45]: 1
P101 --> T58 : 1
Pre[62,9]: 1
P102 --> T58 : 1
Pre[62,38]: 1
P103 --> T58 : 1
Pre[62,32]: 1
P104 --> T58 : 1
Pre[62,3]: 1
P105 --> T58 : 1
Pre[62,39]: 1
P106 --> T58 : 1
Pre[62,27]: 1
P107 --> T58 : 1
Pre[62,8]: 1
P108 --> T58 : 1
Pre[62,4]: 1
P110 --> T58 : 1
Pre[62,35]: 1
P111 --> T58 : 1
Pre[62,14]: 1
T58: P18' := P18 + 1
IM[62,44]: 1
T58: P70' := P70 - 1
IM[62,45]: -1
T58: P101' := P101 - 1
IM[62,9]: -1
T58: P102' := P102 - 1
IM[62,38]: -1
T58: P103' := P103 - 1
IM[62,32]: -1
T58: P104' := P104 - 1
IM[62,3]: -1
T58: P105' := P105 - 1
IM[62,39]: -1
T58: P106' := P106 - 1
IM[62,27]: -1
T58: P107' := P107 - 1
IM[62,8]: -1
T58: P108' := P108 - 1
IM[62,4]: -1
T58: P110' := P110 - 1
IM[62,35]: -1
T58: P111' := P111 - 1
IM[62,14]: -1
P69 --> T57 : 1
Pre[63,42]: 1
P101 --> T57 : 1
Pre[63,9]: 1
P102 --> T57 : 1
Pre[63,38]: 1
P103 --> T57 : 1
Pre[63,32]: 1
P104 --> T57 : 1
Pre[63,3]: 1
P105 --> T57 : 1
Pre[63,39]: 1
P106 --> T57 : 1
Pre[63,27]: 1
P107 --> T57 : 1
Pre[63,8]: 1
P108 --> T57 : 1
Pre[63,4]: 1
P110 --> T57 : 1
Pre[63,35]: 1
P111 --> T57 : 1
Pre[63,14]: 1
T57: P17' := P17 + 1
IM[63,34]: 1
T57: P69' := P69 - 1
IM[63,42]: -1
T57: P101' := P101 - 1
IM[63,9]: -1
T57: P102' := P102 - 1
IM[63,38]: -1
T57: P103' := P103 - 1
IM[63,32]: -1
T57: P104' := P104 - 1
IM[63,3]: -1
T57: P105' := P105 - 1
IM[63,39]: -1
T57: P106' := P106 - 1
IM[63,27]: -1
T57: P107' := P107 - 1
IM[63,8]: -1
T57: P108' := P108 - 1
IM[63,4]: -1
T57: P110' := P110 - 1
IM[63,35]: -1
T57: P111' := P111 - 1
IM[63,14]: -1
P68 --> T56 : 1
Pre[64,116]: 1
P101 --> T56 : 1
Pre[64,9]: 1
P102 --> T56 : 1
Pre[64,38]: 1
P103 --> T56 : 1
Pre[64,32]: 1
P104 --> T56 : 1
Pre[64,3]: 1
P105 --> T56 : 1
Pre[64,39]: 1
P106 --> T56 : 1
Pre[64,27]: 1
P107 --> T56 : 1
Pre[64,8]: 1
P108 --> T56 : 1
Pre[64,4]: 1
P110 --> T56 : 1
Pre[64,35]: 1
P111 --> T56 : 1
Pre[64,14]: 1
T56: P16' := P16 + 1
IM[64,118]: 1
T56: P68' := P68 - 1
IM[64,116]: -1
T56: P101' := P101 - 1
IM[64,9]: -1
T56: P102' := P102 - 1
IM[64,38]: -1
T56: P103' := P103 - 1
IM[64,32]: -1
T56: P104' := P104 - 1
IM[64,3]: -1
T56: P105' := P105 - 1
IM[64,39]: -1
T56: P106' := P106 - 1
IM[64,27]: -1
T56: P107' := P107 - 1
IM[64,8]: -1
T56: P108' := P108 - 1
IM[64,4]: -1
T56: P110' := P110 - 1
IM[64,35]: -1
T56: P111' := P111 - 1
IM[64,14]: -1
P76 --> T55 : 1
Pre[65,5]: 1
P104 --> T55 : 1
Pre[65,3]: 1
T55: P76' := P76 - 1
IM[65,5]: -1
T55: P93' := P93 + 1
IM[65,2]: 1
T55: P104' := P104 - 1
IM[65,3]: -1
P67 --> T54 : 1
Pre[66,79]: 1
P101 --> T54 : 1
Pre[66,9]: 1
P102 --> T54 : 1
Pre[66,38]: 1
P103 --> T54 : 1
Pre[66,32]: 1
P104 --> T54 : 1
Pre[66,3]: 1
P105 --> T54 : 1
Pre[66,39]: 1
P106 --> T54 : 1
Pre[66,27]: 1
P107 --> T54 : 1
Pre[66,8]: 1
P108 --> T54 : 1
Pre[66,4]: 1
P110 --> T54 : 1
Pre[66,35]: 1
P111 --> T54 : 1
Pre[66,14]: 1
T54: P15' := P15 + 1
IM[66,76]: 1
T54: P67' := P67 - 1
IM[66,79]: -1
T54: P101' := P101 - 1
IM[66,9]: -1
T54: P102' := P102 - 1
IM[66,38]: -1
T54: P103' := P103 - 1
IM[66,32]: -1
T54: P104' := P104 - 1
IM[66,3]: -1
T54: P105' := P105 - 1
IM[66,39]: -1
T54: P106' := P106 - 1
IM[66,27]: -1
T54: P107' := P107 - 1
IM[66,8]: -1
T54: P108' := P108 - 1
IM[66,4]: -1
T54: P110' := P110 - 1
IM[66,35]: -1
T54: P111' := P111 - 1
IM[66,14]: -1
P66 --> T53 : 1
Pre[67,117]: 1
P101 --> T53 : 1
Pre[67,9]: 1
P102 --> T53 : 1
Pre[67,38]: 1
P103 --> T53 : 1
Pre[67,32]: 1
P104 --> T53 : 1
Pre[67,3]: 1
P105 --> T53 : 1
Pre[67,39]: 1
P106 --> T53 : 1
Pre[67,27]: 1
P107 --> T53 : 1
Pre[67,8]: 1
P108 --> T53 : 1
Pre[67,4]: 1
P110 --> T53 : 1
Pre[67,35]: 1
P111 --> T53 : 1
Pre[67,14]: 1
T53: P14' := P14 + 1
IM[67,119]: 1
T53: P66' := P66 - 1
IM[67,117]: -1
T53: P101' := P101 - 1
IM[67,9]: -1
T53: P102' := P102 - 1
IM[67,38]: -1
T53: P103' := P103 - 1
IM[67,32]: -1
T53: P104' := P104 - 1
IM[67,3]: -1
T53: P105' := P105 - 1
IM[67,39]: -1
T53: P106' := P106 - 1
IM[67,27]: -1
T53: P107' := P107 - 1
IM[67,8]: -1
T53: P108' := P108 - 1
IM[67,4]: -1
T53: P110' := P110 - 1
IM[67,35]: -1
T53: P111' := P111 - 1
IM[67,14]: -1
P64 --> T52 : 1
Pre[68,89]: 1
P101 --> T52 : 1
Pre[68,9]: 1
P102 --> T52 : 1
Pre[68,38]: 1
P103 --> T52 : 1
Pre[68,32]: 1
P104 --> T52 : 1
Pre[68,3]: 1
P105 --> T52 : 1
Pre[68,39]: 1
P106 --> T52 : 1
Pre[68,27]: 1
P107 --> T52 : 1
Pre[68,8]: 1
P108 --> T52 : 1
Pre[68,4]: 1
P110 --> T52 : 1
Pre[68,35]: 1
P111 --> T52 : 1
Pre[68,14]: 1
T52: P12' := P12 + 1
IM[68,86]: 1
T52: P64' := P64 - 1
IM[68,89]: -1
T52: P101' := P101 - 1
IM[68,9]: -1
T52: P102' := P102 - 1
IM[68,38]: -1
T52: P103' := P103 - 1
IM[68,32]: -1
T52: P104' := P104 - 1
IM[68,3]: -1
T52: P105' := P105 - 1
IM[68,39]: -1
T52: P106' := P106 - 1
IM[68,27]: -1
T52: P107' := P107 - 1
IM[68,8]: -1
T52: P108' := P108 - 1
IM[68,4]: -1
T52: P110' := P110 - 1
IM[68,35]: -1
T52: P111' := P111 - 1
IM[68,14]: -1
P63 --> T51 : 1
Pre[69,12]: 1
P101 --> T51 : 1
Pre[69,9]: 1
P102 --> T51 : 1
Pre[69,38]: 1
P103 --> T51 : 1
Pre[69,32]: 1
P104 --> T51 : 1
Pre[69,3]: 1
P105 --> T51 : 1
Pre[69,39]: 1
P106 --> T51 : 1
Pre[69,27]: 1
P107 --> T51 : 1
Pre[69,8]: 1
P108 --> T51 : 1
Pre[69,4]: 1
P110 --> T51 : 1
Pre[69,35]: 1
P111 --> T51 : 1
Pre[69,14]: 1
T51: P11' := P11 + 1
IM[69,11]: 1
T51: P63' := P63 - 1
IM[69,12]: -1
T51: P101' := P101 - 1
IM[69,9]: -1
T51: P102' := P102 - 1
IM[69,38]: -1
T51: P103' := P103 - 1
IM[69,32]: -1
T51: P104' := P104 - 1
IM[69,3]: -1
T51: P105' := P105 - 1
IM[69,39]: -1
T51: P106' := P106 - 1
IM[69,27]: -1
T51: P107' := P107 - 1
IM[69,8]: -1
T51: P108' := P108 - 1
IM[69,4]: -1
T51: P110' := P110 - 1
IM[69,35]: -1
T51: P111' := P111 - 1
IM[69,14]: -1
P62 --> T50 : 1
Pre[70,83]: 1
P101 --> T50 : 1
Pre[70,9]: 1
P102 --> T50 : 1
Pre[70,38]: 1
P103 --> T50 : 1
Pre[70,32]: 1
P104 --> T50 : 1
Pre[70,3]: 1
P105 --> T50 : 1
Pre[70,39]: 1
P106 --> T50 : 1
Pre[70,27]: 1
P107 --> T50 : 1
Pre[70,8]: 1
P108 --> T50 : 1
Pre[70,4]: 1
P110 --> T50 : 1
Pre[70,35]: 1
P111 --> T50 : 1
Pre[70,14]: 1
T50: P10' := P10 + 1
IM[70,84]: 1
T50: P62' := P62 - 1
IM[70,83]: -1
T50: P101' := P101 - 1
IM[70,9]: -1
T50: P102' := P102 - 1
IM[70,38]: -1
T50: P103' := P103 - 1
IM[70,32]: -1
T50: P104' := P104 - 1
IM[70,3]: -1
T50: P105' := P105 - 1
IM[70,39]: -1
T50: P106' := P106 - 1
IM[70,27]: -1
T50: P107' := P107 - 1
IM[70,8]: -1
T50: P108' := P108 - 1
IM[70,4]: -1
T50: P110' := P110 - 1
IM[70,35]: -1
T50: P111' := P111 - 1
IM[70,14]: -1
P61 --> T49 : 1
Pre[71,49]: 1
P101 --> T49 : 1
Pre[71,9]: 1
P102 --> T49 : 1
Pre[71,38]: 1
P103 --> T49 : 1
Pre[71,32]: 1
P104 --> T49 : 1
Pre[71,3]: 1
P105 --> T49 : 1
Pre[71,39]: 1
P106 --> T49 : 1
Pre[71,27]: 1
P107 --> T49 : 1
Pre[71,8]: 1
P108 --> T49 : 1
Pre[71,4]: 1
P110 --> T49 : 1
Pre[71,35]: 1
P111 --> T49 : 1
Pre[71,14]: 1
T49: P9' := P9 + 1
IM[71,48]: 1
T49: P61' := P61 - 1
IM[71,49]: -1
T49: P101' := P101 - 1
IM[71,9]: -1
T49: P102' := P102 - 1
IM[71,38]: -1
T49: P103' := P103 - 1
IM[71,32]: -1
T49: P104' := P104 - 1
IM[71,3]: -1
T49: P105' := P105 - 1
IM[71,39]: -1
T49: P106' := P106 - 1
IM[71,27]: -1
T49: P107' := P107 - 1
IM[71,8]: -1
T49: P108' := P108 - 1
IM[71,4]: -1
T49: P110' := P110 - 1
IM[71,35]: -1
T49: P111' := P111 - 1
IM[71,14]: -1
P60 --> T48 : 1
Pre[72,103]: 1
P101 --> T48 : 1
Pre[72,9]: 1
P102 --> T48 : 1
Pre[72,38]: 1
P103 --> T48 : 1
Pre[72,32]: 1
P104 --> T48 : 1
Pre[72,3]: 1
P105 --> T48 : 1
Pre[72,39]: 1
P106 --> T48 : 1
Pre[72,27]: 1
P107 --> T48 : 1
Pre[72,8]: 1
P108 --> T48 : 1
Pre[72,4]: 1
P110 --> T48 : 1
Pre[72,35]: 1
P111 --> T48 : 1
Pre[72,14]: 1
T48: P8' := P8 + 1
IM[72,97]: 1
T48: P60' := P60 - 1
IM[72,103]: -1
T48: P101' := P101 - 1
IM[72,9]: -1
T48: P102' := P102 - 1
IM[72,38]: -1
T48: P103' := P103 - 1
IM[72,32]: -1
T48: P104' := P104 - 1
IM[72,3]: -1
T48: P105' := P105 - 1
IM[72,39]: -1
T48: P106' := P106 - 1
IM[72,27]: -1
T48: P107' := P107 - 1
IM[72,8]: -1
T48: P108' := P108 - 1
IM[72,4]: -1
T48: P110' := P110 - 1
IM[72,35]: -1
T48: P111' := P111 - 1
IM[72,14]: -1
P47 --> T47 : 1
Pre[73,47]: 1
P101 --> T47 : 1
Pre[73,9]: 1
P102 --> T47 : 1
Pre[73,38]: 1
P103 --> T47 : 1
Pre[73,32]: 1
P104 --> T47 : 1
Pre[73,3]: 1
P105 --> T47 : 1
Pre[73,39]: 1
P106 --> T47 : 1
Pre[73,27]: 1
P107 --> T47 : 1
Pre[73,8]: 1
P108 --> T47 : 1
Pre[73,4]: 1
P110 --> T47 : 1
Pre[73,35]: 1
P111 --> T47 : 1
Pre[73,14]: 1
T47: P47' := P47 - 1
IM[73,47]: -1
T47: P101' := P101 - 1
IM[73,9]: -1
T47: P102' := P102 - 1
IM[73,38]: -1
T47: P103' := P103 - 1
IM[73,32]: -1
T47: P104' := P104 - 1
IM[73,3]: -1
T47: P105' := P105 - 1
IM[73,39]: -1
T47: P106' := P106 - 1
IM[73,27]: -1
T47: P107' := P107 - 1
IM[73,8]: -1
T47: P108' := P108 - 1
IM[73,4]: -1
T47: P110' := P110 - 1
IM[73,35]: -1
T47: P111' := P111 - 1
IM[73,14]: -1
T47: P124' := P124 + 1
IM[73,46]: 1
P58 --> T46 : 1
Pre[74,62]: 1
P101 --> T46 : 1
Pre[74,9]: 1
P102 --> T46 : 1
Pre[74,38]: 1
P103 --> T46 : 1
Pre[74,32]: 1
P104 --> T46 : 1
Pre[74,3]: 1
P105 --> T46 : 1
Pre[74,39]: 1
P106 --> T46 : 1
Pre[74,27]: 1
P107 --> T46 : 1
Pre[74,8]: 1
P108 --> T46 : 1
Pre[74,4]: 1
P110 --> T46 : 1
Pre[74,35]: 1
P111 --> T46 : 1
Pre[74,14]: 1
T46: P6' := P6 + 1
IM[74,67]: 1
T46: P58' := P58 - 1
IM[74,62]: -1
T46: P101' := P101 - 1
IM[74,9]: -1
T46: P102' := P102 - 1
IM[74,38]: -1
T46: P103' := P103 - 1
IM[74,32]: -1
T46: P104' := P104 - 1
IM[74,3]: -1
T46: P105' := P105 - 1
IM[74,39]: -1
T46: P106' := P106 - 1
IM[74,27]: -1
T46: P107' := P107 - 1
IM[74,8]: -1
T46: P108' := P108 - 1
IM[74,4]: -1
T46: P110' := P110 - 1
IM[74,35]: -1
T46: P111' := P111 - 1
IM[74,14]: -1
P57 --> T45 : 1
Pre[75,120]: 1
P101 --> T45 : 1
Pre[75,9]: 1
P102 --> T45 : 1
Pre[75,38]: 1
P103 --> T45 : 1
Pre[75,32]: 1
P104 --> T45 : 1
Pre[75,3]: 1
P105 --> T45 : 1
Pre[75,39]: 1
P106 --> T45 : 1
Pre[75,27]: 1
P107 --> T45 : 1
Pre[75,8]: 1
P108 --> T45 : 1
Pre[75,4]: 1
P110 --> T45 : 1
Pre[75,35]: 1
P111 --> T45 : 1
Pre[75,14]: 1
T45: P5' := P5 + 1
IM[75,121]: 1
T45: P57' := P57 - 1
IM[75,120]: -1
T45: P101' := P101 - 1
IM[75,9]: -1
T45: P102' := P102 - 1
IM[75,38]: -1
T45: P103' := P103 - 1
IM[75,32]: -1
T45: P104' := P104 - 1
IM[75,3]: -1
T45: P105' := P105 - 1
IM[75,39]: -1
T45: P106' := P106 - 1
IM[75,27]: -1
T45: P107' := P107 - 1
IM[75,8]: -1
T45: P108' := P108 - 1
IM[75,4]: -1
T45: P110' := P110 - 1
IM[75,35]: -1
T45: P111' := P111 - 1
IM[75,14]: -1
P65 --> T44 : 1
Pre[76,94]: 1
P103 --> T44 : 1
Pre[76,32]: 1
T44: P65' := P65 - 1
IM[76,94]: -1
T44: P92' := P92 + 1
IM[76,95]: 1
T44: P103' := P103 - 1
IM[76,32]: -1
P56 --> T43 : 1
Pre[77,105]: 1
P101 --> T43 : 1
Pre[77,9]: 1
P102 --> T43 : 1
Pre[77,38]: 1
P103 --> T43 : 1
Pre[77,32]: 1
P104 --> T43 : 1
Pre[77,3]: 1
P105 --> T43 : 1
Pre[77,39]: 1
P106 --> T43 : 1
Pre[77,27]: 1
P107 --> T43 : 1
Pre[77,8]: 1
P108 --> T43 : 1
Pre[77,4]: 1
P110 --> T43 : 1
Pre[77,35]: 1
P111 --> T43 : 1
Pre[77,14]: 1
T43: P4' := P4 + 1
IM[77,104]: 1
T43: P56' := P56 - 1
IM[77,105]: -1
T43: P101' := P101 - 1
IM[77,9]: -1
T43: P102' := P102 - 1
IM[77,38]: -1
T43: P103' := P103 - 1
IM[77,32]: -1
T43: P104' := P104 - 1
IM[77,3]: -1
T43: P105' := P105 - 1
IM[77,39]: -1
T43: P106' := P106 - 1
IM[77,27]: -1
T43: P107' := P107 - 1
IM[77,8]: -1
T43: P108' := P108 - 1
IM[77,4]: -1
T43: P110' := P110 - 1
IM[77,35]: -1
T43: P111' := P111 - 1
IM[77,14]: -1
P55 --> T42 : 1
Pre[78,113]: 1
P101 --> T42 : 1
Pre[78,9]: 1
P102 --> T42 : 1
Pre[78,38]: 1
P103 --> T42 : 1
Pre[78,32]: 1
P104 --> T42 : 1
Pre[78,3]: 1
P105 --> T42 : 1
Pre[78,39]: 1
P106 --> T42 : 1
Pre[78,27]: 1
P107 --> T42 : 1
Pre[78,8]: 1
P108 --> T42 : 1
Pre[78,4]: 1
P110 --> T42 : 1
Pre[78,35]: 1
P111 --> T42 : 1
Pre[78,14]: 1
T42: P3' := P3 + 1
IM[78,114]: 1
T42: P55' := P55 - 1
IM[78,113]: -1
T42: P101' := P101 - 1
IM[78,9]: -1
T42: P102' := P102 - 1
IM[78,38]: -1
T42: P103' := P103 - 1
IM[78,32]: -1
T42: P104' := P104 - 1
IM[78,3]: -1
T42: P105' := P105 - 1
IM[78,39]: -1
T42: P106' := P106 - 1
IM[78,27]: -1
T42: P107' := P107 - 1
IM[78,8]: -1
T42: P108' := P108 - 1
IM[78,4]: -1
T42: P110' := P110 - 1
IM[78,35]: -1
T42: P111' := P111 - 1
IM[78,14]: -1
P53 --> T41 : 1
Pre[79,23]: 1
P101 --> T41 : 1
Pre[79,9]: 1
P102 --> T41 : 1
Pre[79,38]: 1
P103 --> T41 : 1
Pre[79,32]: 1
P104 --> T41 : 1
Pre[79,3]: 1
P105 --> T41 : 1
Pre[79,39]: 1
P106 --> T41 : 1
Pre[79,27]: 1
P107 --> T41 : 1
Pre[79,8]: 1
P108 --> T41 : 1
Pre[79,4]: 1
P110 --> T41 : 1
Pre[79,35]: 1
P111 --> T41 : 1
Pre[79,14]: 1
T41: P53' := P53 - 1
IM[79,23]: -1
T41: P101' := P101 - 1
IM[79,9]: -1
T41: P102' := P102 - 1
IM[79,38]: -1
T41: P103' := P103 - 1
IM[79,32]: -1
T41: P104' := P104 - 1
IM[79,3]: -1
T41: P105' := P105 - 1
IM[79,39]: -1
T41: P106' := P106 - 1
IM[79,27]: -1
T41: P107' := P107 - 1
IM[79,8]: -1
T41: P108' := P108 - 1
IM[79,4]: -1
T41: P110' := P110 - 1
IM[79,35]: -1
T41: P111' := P111 - 1
IM[79,14]: -1
T41: P130' := P130 + 1
IM[79,22]: 1
P52 --> T40 : 1
Pre[80,57]: 1
P101 --> T40 : 1
Pre[80,9]: 1
P102 --> T40 : 1
Pre[80,38]: 1
P103 --> T40 : 1
Pre[80,32]: 1
P104 --> T40 : 1
Pre[80,3]: 1
P105 --> T40 : 1
Pre[80,39]: 1
P106 --> T40 : 1
Pre[80,27]: 1
P107 --> T40 : 1
Pre[80,8]: 1
P108 --> T40 : 1
Pre[80,4]: 1
P110 --> T40 : 1
Pre[80,35]: 1
P111 --> T40 : 1
Pre[80,14]: 1
T40: P52' := P52 - 1
IM[80,57]: -1
T40: P101' := P101 - 1
IM[80,9]: -1
T40: P102' := P102 - 1
IM[80,38]: -1
T40: P103' := P103 - 1
IM[80,32]: -1
T40: P104' := P104 - 1
IM[80,3]: -1
T40: P105' := P105 - 1
IM[80,39]: -1
T40: P106' := P106 - 1
IM[80,27]: -1
T40: P107' := P107 - 1
IM[80,8]: -1
T40: P108' := P108 - 1
IM[80,4]: -1
T40: P110' := P110 - 1
IM[80,35]: -1
T40: P111' := P111 - 1
IM[80,14]: -1
T40: P129' := P129 + 1
IM[80,55]: 1
P51 --> T39 : 1
Pre[81,66]: 1
P101 --> T39 : 1
Pre[81,9]: 1
P102 --> T39 : 1
Pre[81,38]: 1
P103 --> T39 : 1
Pre[81,32]: 1
P104 --> T39 : 1
Pre[81,3]: 1
P105 --> T39 : 1
Pre[81,39]: 1
P106 --> T39 : 1
Pre[81,27]: 1
P107 --> T39 : 1
Pre[81,8]: 1
P108 --> T39 : 1
Pre[81,4]: 1
P110 --> T39 : 1
Pre[81,35]: 1
P111 --> T39 : 1
Pre[81,14]: 1
T39: P51' := P51 - 1
IM[81,66]: -1
T39: P101' := P101 - 1
IM[81,9]: -1
T39: P102' := P102 - 1
IM[81,38]: -1
T39: P103' := P103 - 1
IM[81,32]: -1
T39: P104' := P104 - 1
IM[81,3]: -1
T39: P105' := P105 - 1
IM[81,39]: -1
T39: P106' := P106 - 1
IM[81,27]: -1
T39: P107' := P107 - 1
IM[81,8]: -1
T39: P108' := P108 - 1
IM[81,4]: -1
T39: P110' := P110 - 1
IM[81,35]: -1
T39: P111' := P111 - 1
IM[81,14]: -1
T39: P128' := P128 + 1
IM[81,64]: 1
P50 --> T38 : 1
Pre[82,58]: 1
P101 --> T38 : 1
Pre[82,9]: 1
P102 --> T38 : 1
Pre[82,38]: 1
P103 --> T38 : 1
Pre[82,32]: 1
P104 --> T38 : 1
Pre[82,3]: 1
P105 --> T38 : 1
Pre[82,39]: 1
P106 --> T38 : 1
Pre[82,27]: 1
P107 --> T38 : 1
Pre[82,8]: 1
P108 --> T38 : 1
Pre[82,4]: 1
P110 --> T38 : 1
Pre[82,35]: 1
P111 --> T38 : 1
Pre[82,14]: 1
T38: P50' := P50 - 1
IM[82,58]: -1
T38: P101' := P101 - 1
IM[82,9]: -1
T38: P102' := P102 - 1
IM[82,38]: -1
T38: P103' := P103 - 1
IM[82,32]: -1
T38: P104' := P104 - 1
IM[82,3]: -1
T38: P105' := P105 - 1
IM[82,39]: -1
T38: P106' := P106 - 1
IM[82,27]: -1
T38: P107' := P107 - 1
IM[82,8]: -1
T38: P108' := P108 - 1
IM[82,4]: -1
T38: P110' := P110 - 1
IM[82,35]: -1
T38: P111' := P111 - 1
IM[82,14]: -1
T38: P127' := P127 + 1
IM[82,53]: 1
P49 --> T37 : 1
Pre[83,77]: 1
P101 --> T37 : 1
Pre[83,9]: 1
P102 --> T37 : 1
Pre[83,38]: 1
P103 --> T37 : 1
Pre[83,32]: 1
P104 --> T37 : 1
Pre[83,3]: 1
P105 --> T37 : 1
Pre[83,39]: 1
P106 --> T37 : 1
Pre[83,27]: 1
P107 --> T37 : 1
Pre[83,8]: 1
P108 --> T37 : 1
Pre[83,4]: 1
P110 --> T37 : 1
Pre[83,35]: 1
P111 --> T37 : 1
Pre[83,14]: 1
T37: P49' := P49 - 1
IM[83,77]: -1
T37: P101' := P101 - 1
IM[83,9]: -1
T37: P102' := P102 - 1
IM[83,38]: -1
T37: P103' := P103 - 1
IM[83,32]: -1
T37: P104' := P104 - 1
IM[83,3]: -1
T37: P105' := P105 - 1
IM[83,39]: -1
T37: P106' := P106 - 1
IM[83,27]: -1
T37: P107' := P107 - 1
IM[83,8]: -1
T37: P108' := P108 - 1
IM[83,4]: -1
T37: P110' := P110 - 1
IM[83,35]: -1
T37: P111' := P111 - 1
IM[83,14]: -1
T37: P126' := P126 + 1
IM[83,78]: 1
P48 --> T36 : 1
Pre[84,90]: 1
P101 --> T36 : 1
Pre[84,9]: 1
P102 --> T36 : 1
Pre[84,38]: 1
P103 --> T36 : 1
Pre[84,32]: 1
P104 --> T36 : 1
Pre[84,3]: 1
P105 --> T36 : 1
Pre[84,39]: 1
P106 --> T36 : 1
Pre[84,27]: 1
P107 --> T36 : 1
Pre[84,8]: 1
P108 --> T36 : 1
Pre[84,4]: 1
P110 --> T36 : 1
Pre[84,35]: 1
P111 --> T36 : 1
Pre[84,14]: 1
T36: P48' := P48 - 1
IM[84,90]: -1
T36: P101' := P101 - 1
IM[84,9]: -1
T36: P102' := P102 - 1
IM[84,38]: -1
T36: P103' := P103 - 1
IM[84,32]: -1
T36: P104' := P104 - 1
IM[84,3]: -1
T36: P105' := P105 - 1
IM[84,39]: -1
T36: P106' := P106 - 1
IM[84,27]: -1
T36: P107' := P107 - 1
IM[84,8]: -1
T36: P108' := P108 - 1
IM[84,4]: -1
T36: P110' := P110 - 1
IM[84,35]: -1
T36: P111' := P111 - 1
IM[84,14]: -1
T36: P125' := P125 + 1
IM[84,91]: 1
P24 --> T35 : 1
Pre[85,112]: 1
P101 --> T35 : 1
Pre[85,9]: 1
P102 --> T35 : 1
Pre[85,38]: 1
P103 --> T35 : 1
Pre[85,32]: 1
P104 --> T35 : 1
Pre[85,3]: 1
P105 --> T35 : 1
Pre[85,39]: 1
P106 --> T35 : 1
Pre[85,27]: 1
P107 --> T35 : 1
Pre[85,8]: 1
P108 --> T35 : 1
Pre[85,4]: 1
P110 --> T35 : 1
Pre[85,35]: 1
P111 --> T35 : 1
Pre[85,14]: 1
T35: P24' := P24 - 1
IM[85,112]: -1
T35: P101' := P101 - 1
IM[85,9]: -1
T35: P102' := P102 - 1
IM[85,38]: -1
T35: P103' := P103 - 1
IM[85,32]: -1
T35: P104' := P104 - 1
IM[85,3]: -1
T35: P105' := P105 - 1
IM[85,39]: -1
T35: P106' := P106 - 1
IM[85,27]: -1
T35: P107' := P107 - 1
IM[85,8]: -1
T35: P108' := P108 - 1
IM[85,4]: -1
T35: P110' := P110 - 1
IM[85,35]: -1
T35: P111' := P111 - 1
IM[85,14]: -1
T35: P112' := P112 + 1
IM[85,115]: 1
P46 --> T34 : 1
Pre[86,125]: 1
P101 --> T34 : 1
Pre[86,9]: 1
P102 --> T34 : 1
Pre[86,38]: 1
P103 --> T34 : 1
Pre[86,32]: 1
P104 --> T34 : 1
Pre[86,3]: 1
P105 --> T34 : 1
Pre[86,39]: 1
P106 --> T34 : 1
Pre[86,27]: 1
P107 --> T34 : 1
Pre[86,8]: 1
P108 --> T34 : 1
Pre[86,4]: 1
P110 --> T34 : 1
Pre[86,35]: 1
P111 --> T34 : 1
Pre[86,14]: 1
T34: P46' := P46 - 1
IM[86,125]: -1
T34: P101' := P101 - 1
IM[86,9]: -1
T34: P102' := P102 - 1
IM[86,38]: -1
T34: P103' := P103 - 1
IM[86,32]: -1
T34: P104' := P104 - 1
IM[86,3]: -1
T34: P105' := P105 - 1
IM[86,39]: -1
T34: P106' := P106 - 1
IM[86,27]: -1
T34: P107' := P107 - 1
IM[86,8]: -1
T34: P108' := P108 - 1
IM[86,4]: -1
T34: P110' := P110 - 1
IM[86,35]: -1
T34: P111' := P111 - 1
IM[86,14]: -1
T34: P123' := P123 + 1
IM[86,124]: 1
P43 --> T33 : 1
Pre[87,13]: 1
P101 --> T33 : 1
Pre[87,9]: 1
T33: P43' := P43 - 1
IM[87,13]: -1
T33: P90' := P90 + 1
IM[87,6]: 1
T33: P101' := P101 - 1
IM[87,9]: -1
P45 --> T32 : 1
Pre[88,98]: 1
P101 --> T32 : 1
Pre[88,9]: 1
P102 --> T32 : 1
Pre[88,38]: 1
P103 --> T32 : 1
Pre[88,32]: 1
P104 --> T32 : 1
Pre[88,3]: 1
P105 --> T32 : 1
Pre[88,39]: 1
P106 --> T32 : 1
Pre[88,27]: 1
P107 --> T32 : 1
Pre[88,8]: 1
P108 --> T32 : 1
Pre[88,4]: 1
P110 --> T32 : 1
Pre[88,35]: 1
P111 --> T32 : 1
Pre[88,14]: 1
T32: P45' := P45 - 1
IM[88,98]: -1
T32: P101' := P101 - 1
IM[88,9]: -1
T32: P102' := P102 - 1
IM[88,38]: -1
T32: P103' := P103 - 1
IM[88,32]: -1
T32: P104' := P104 - 1
IM[88,3]: -1
T32: P105' := P105 - 1
IM[88,39]: -1
T32: P106' := P106 - 1
IM[88,27]: -1
T32: P107' := P107 - 1
IM[88,8]: -1
T32: P108' := P108 - 1
IM[88,4]: -1
T32: P110' := P110 - 1
IM[88,35]: -1
T32: P111' := P111 - 1
IM[88,14]: -1
T32: P122' := P122 + 1
IM[88,99]: 1
P44 --> T31 : 1
Pre[89,109]: 1
P101 --> T31 : 1
Pre[89,9]: 1
P102 --> T31 : 1
Pre[89,38]: 1
P103 --> T31 : 1
Pre[89,32]: 1
P104 --> T31 : 1
Pre[89,3]: 1
P105 --> T31 : 1
Pre[89,39]: 1
P106 --> T31 : 1
Pre[89,27]: 1
P107 --> T31 : 1
Pre[89,8]: 1
P108 --> T31 : 1
Pre[89,4]: 1
P110 --> T31 : 1
Pre[89,35]: 1
P111 --> T31 : 1
Pre[89,14]: 1
T31: P44' := P44 - 1
IM[89,109]: -1
T31: P101' := P101 - 1
IM[89,9]: -1
T31: P102' := P102 - 1
IM[89,38]: -1
T31: P103' := P103 - 1
IM[89,32]: -1
T31: P104' := P104 - 1
IM[89,3]: -1
T31: P105' := P105 - 1
IM[89,39]: -1
T31: P106' := P106 - 1
IM[89,27]: -1
T31: P107' := P107 - 1
IM[89,8]: -1
T31: P108' := P108 - 1
IM[89,4]: -1
T31: P110' := P110 - 1
IM[89,35]: -1
T31: P111' := P111 - 1
IM[89,14]: -1
T31: P121' := P121 + 1
IM[89,107]: 1
P42 --> T30 : 1
Pre[90,63]: 1
P101 --> T30 : 1
Pre[90,9]: 1
P102 --> T30 : 1
Pre[90,38]: 1
P103 --> T30 : 1
Pre[90,32]: 1
P104 --> T30 : 1
Pre[90,3]: 1
P105 --> T30 : 1
Pre[90,39]: 1
P106 --> T30 : 1
Pre[90,27]: 1
P107 --> T30 : 1
Pre[90,8]: 1
P108 --> T30 : 1
Pre[90,4]: 1
P110 --> T30 : 1
Pre[90,35]: 1
P111 --> T30 : 1
Pre[90,14]: 1
T30: P42' := P42 - 1
IM[90,63]: -1
T30: P101' := P101 - 1
IM[90,9]: -1
T30: P102' := P102 - 1
IM[90,38]: -1
T30: P103' := P103 - 1
IM[90,32]: -1
T30: P104' := P104 - 1
IM[90,3]: -1
T30: P105' := P105 - 1
IM[90,39]: -1
T30: P106' := P106 - 1
IM[90,27]: -1
T30: P107' := P107 - 1
IM[90,8]: -1
T30: P108' := P108 - 1
IM[90,4]: -1
T30: P110' := P110 - 1
IM[90,35]: -1
T30: P111' := P111 - 1
IM[90,14]: -1
T30: P119' := P119 + 1
IM[90,65]: 1
P41 --> T29 : 1
Pre[91,56]: 1
P101 --> T29 : 1
Pre[91,9]: 1
P102 --> T29 : 1
Pre[91,38]: 1
P103 --> T29 : 1
Pre[91,32]: 1
P104 --> T29 : 1
Pre[91,3]: 1
P105 --> T29 : 1
Pre[91,39]: 1
P106 --> T29 : 1
Pre[91,27]: 1
P107 --> T29 : 1
Pre[91,8]: 1
P108 --> T29 : 1
Pre[91,4]: 1
P110 --> T29 : 1
Pre[91,35]: 1
P111 --> T29 : 1
Pre[91,14]: 1
T29: P41' := P41 - 1
IM[91,56]: -1
T29: P101' := P101 - 1
IM[91,9]: -1
T29: P102' := P102 - 1
IM[91,38]: -1
T29: P103' := P103 - 1
IM[91,32]: -1
T29: P104' := P104 - 1
IM[91,3]: -1
T29: P105' := P105 - 1
IM[91,39]: -1
T29: P106' := P106 - 1
IM[91,27]: -1
T29: P107' := P107 - 1
IM[91,8]: -1
T29: P108' := P108 - 1
IM[91,4]: -1
T29: P110' := P110 - 1
IM[91,35]: -1
T29: P111' := P111 - 1
IM[91,14]: -1
T29: P118' := P118 + 1
IM[91,60]: 1
P40 --> T28 : 1
Pre[92,72]: 1
P101 --> T28 : 1
Pre[92,9]: 1
P102 --> T28 : 1
Pre[92,38]: 1
P103 --> T28 : 1
Pre[92,32]: 1
P104 --> T28 : 1
Pre[92,3]: 1
P105 --> T28 : 1
Pre[92,39]: 1
P106 --> T28 : 1
Pre[92,27]: 1
P107 --> T28 : 1
Pre[92,8]: 1
P108 --> T28 : 1
Pre[92,4]: 1
P110 --> T28 : 1
Pre[92,35]: 1
P111 --> T28 : 1
Pre[92,14]: 1
T28: P40' := P40 - 1
IM[92,72]: -1
T28: P101' := P101 - 1
IM[92,9]: -1
T28: P102' := P102 - 1
IM[92,38]: -1
T28: P103' := P103 - 1
IM[92,32]: -1
T28: P104' := P104 - 1
IM[92,3]: -1
T28: P105' := P105 - 1
IM[92,39]: -1
T28: P106' := P106 - 1
IM[92,27]: -1
T28: P107' := P107 - 1
IM[92,8]: -1
T28: P108' := P108 - 1
IM[92,4]: -1
T28: P110' := P110 - 1
IM[92,35]: -1
T28: P111' := P111 - 1
IM[92,14]: -1
T28: P117' := P117 + 1
IM[92,74]: 1
P39 --> T27 : 1
Pre[93,18]: 1
P101 --> T27 : 1
Pre[93,9]: 1
P102 --> T27 : 1
Pre[93,38]: 1
P103 --> T27 : 1
Pre[93,32]: 1
P104 --> T27 : 1
Pre[93,3]: 1
P105 --> T27 : 1
Pre[93,39]: 1
P106 --> T27 : 1
Pre[93,27]: 1
P107 --> T27 : 1
Pre[93,8]: 1
P108 --> T27 : 1
Pre[93,4]: 1
P110 --> T27 : 1
Pre[93,35]: 1
P111 --> T27 : 1
Pre[93,14]: 1
T27: P39' := P39 - 1
IM[93,18]: -1
T27: P101' := P101 - 1
IM[93,9]: -1
T27: P102' := P102 - 1
IM[93,38]: -1
T27: P103' := P103 - 1
IM[93,32]: -1
T27: P104' := P104 - 1
IM[93,3]: -1
T27: P105' := P105 - 1
IM[93,39]: -1
T27: P106' := P106 - 1
IM[93,27]: -1
T27: P107' := P107 - 1
IM[93,8]: -1
T27: P108' := P108 - 1
IM[93,4]: -1
T27: P110' := P110 - 1
IM[93,35]: -1
T27: P111' := P111 - 1
IM[93,14]: -1
T27: P116' := P116 + 1
IM[93,24]: 1
P38 --> T26 : 1
Pre[94,61]: 1
P101 --> T26 : 1
Pre[94,9]: 1
P102 --> T26 : 1
Pre[94,38]: 1
P103 --> T26 : 1
Pre[94,32]: 1
P104 --> T26 : 1
Pre[94,3]: 1
P105 --> T26 : 1
Pre[94,39]: 1
P106 --> T26 : 1
Pre[94,27]: 1
P107 --> T26 : 1
Pre[94,8]: 1
P108 --> T26 : 1
Pre[94,4]: 1
P110 --> T26 : 1
Pre[94,35]: 1
P111 --> T26 : 1
Pre[94,14]: 1
T26: P38' := P38 - 1
IM[94,61]: -1
T26: P101' := P101 - 1
IM[94,9]: -1
T26: P102' := P102 - 1
IM[94,38]: -1
T26: P103' := P103 - 1
IM[94,32]: -1
T26: P104' := P104 - 1
IM[94,3]: -1
T26: P105' := P105 - 1
IM[94,39]: -1
T26: P106' := P106 - 1
IM[94,27]: -1
T26: P107' := P107 - 1
IM[94,8]: -1
T26: P108' := P108 - 1
IM[94,4]: -1
T26: P110' := P110 - 1
IM[94,35]: -1
T26: P111' := P111 - 1
IM[94,14]: -1
T26: P115' := P115 + 1
IM[94,59]: 1
P1 --> T25 : 1
Pre[95,129]: 1
T25: P1' := P1 - 1
IM[95,129]: -1
T25: P89' := P89 + 1
IM[95,128]: 1
T25: P101' := P101 + 1
IM[95,9]: 1
T25: P102' := P102 + 1
IM[95,38]: 1
T25: P103' := P103 + 1
IM[95,32]: 1
T25: P104' := P104 + 1
IM[95,3]: 1
T25: P105' := P105 + 1
IM[95,39]: 1
T25: P106' := P106 + 1
IM[95,27]: 1
T25: P107' := P107 + 1
IM[95,8]: 1
T25: P108' := P108 + 1
IM[95,4]: 1
T25: P110' := P110 + 1
IM[95,35]: 1
T25: P111' := P111 + 1
IM[95,14]: 1
P37 --> T24 : 1
Pre[96,73]: 1
P101 --> T24 : 1
Pre[96,9]: 1
P102 --> T24 : 1
Pre[96,38]: 1
P103 --> T24 : 1
Pre[96,32]: 1
P104 --> T24 : 1
Pre[96,3]: 1
P105 --> T24 : 1
Pre[96,39]: 1
P106 --> T24 : 1
Pre[96,27]: 1
P107 --> T24 : 1
Pre[96,8]: 1
P108 --> T24 : 1
Pre[96,4]: 1
P110 --> T24 : 1
Pre[96,35]: 1
P111 --> T24 : 1
Pre[96,14]: 1
T24: P37' := P37 - 1
IM[96,73]: -1
T24: P101' := P101 - 1
IM[96,9]: -1
T24: P102' := P102 - 1
IM[96,38]: -1
T24: P103' := P103 - 1
IM[96,32]: -1
T24: P104' := P104 - 1
IM[96,3]: -1
T24: P105' := P105 - 1
IM[96,39]: -1
T24: P106' := P106 - 1
IM[96,27]: -1
T24: P107' := P107 - 1
IM[96,8]: -1
T24: P108' := P108 - 1
IM[96,4]: -1
T24: P110' := P110 - 1
IM[96,35]: -1
T24: P111' := P111 - 1
IM[96,14]: -1
T24: P114' := P114 + 1
IM[96,70]: 1
P36 --> T23 : 1
Pre[97,75]: 1
T23: P36' := P36 - 1
IM[97,75]: -1
T23: P88' := P88 + 1
IM[97,71]: 1
T23: P101' := P101 + 1
IM[97,9]: 1
T23: P102' := P102 + 1
IM[97,38]: 1
T23: P103' := P103 + 1
IM[97,32]: 1
T23: P104' := P104 + 1
IM[97,3]: 1
T23: P105' := P105 + 1
IM[97,39]: 1
T23: P106' := P106 + 1
IM[97,27]: 1
T23: P107' := P107 + 1
IM[97,8]: 1
T23: P108' := P108 + 1
IM[97,4]: 1
T23: P110' := P110 + 1
IM[97,35]: 1
T23: P111' := P111 + 1
IM[97,14]: 1
P34 --> T22 : 1
Pre[98,101]: 1
T22: P34' := P34 - 1
IM[98,101]: -1
T22: P86' := P86 + 1
IM[98,102]: 1
T22: P101' := P101 + 1
IM[98,9]: 1
T22: P102' := P102 + 1
IM[98,38]: 1
T22: P103' := P103 + 1
IM[98,32]: 1
T22: P104' := P104 + 1
IM[98,3]: 1
T22: P105' := P105 + 1
IM[98,39]: 1
T22: P106' := P106 + 1
IM[98,27]: 1
T22: P107' := P107 + 1
IM[98,8]: 1
T22: P108' := P108 + 1
IM[98,4]: 1
T22: P110' := P110 + 1
IM[98,35]: 1
T22: P111' := P111 + 1
IM[98,14]: 1
P33 --> T21 : 1
Pre[99,19]: 1
T21: P33' := P33 - 1
IM[99,19]: -1
T21: P85' := P85 + 1
IM[99,20]: 1
T21: P101' := P101 + 1
IM[99,9]: 1
T21: P102' := P102 + 1
IM[99,38]: 1
T21: P103' := P103 + 1
IM[99,32]: 1
T21: P104' := P104 + 1
IM[99,3]: 1
T21: P105' := P105 + 1
IM[99,39]: 1
T21: P106' := P106 + 1
IM[99,27]: 1
T21: P107' := P107 + 1
IM[99,8]: 1
T21: P108' := P108 + 1
IM[99,4]: 1
T21: P110' := P110 + 1
IM[99,35]: 1
T21: P111' := P111 + 1
IM[99,14]: 1
P31 --> T20 : 1
Pre[100,96]: 1
T20: P31' := P31 - 1
IM[100,96]: -1
T20: P83' := P83 + 1
IM[100,100]: 1
T20: P101' := P101 + 1
IM[100,9]: 1
T20: P102' := P102 + 1
IM[100,38]: 1
T20: P103' := P103 + 1
IM[100,32]: 1
T20: P104' := P104 + 1
IM[100,3]: 1
T20: P105' := P105 + 1
IM[100,39]: 1
T20: P106' := P106 + 1
IM[100,27]: 1
T20: P107' := P107 + 1
IM[100,8]: 1
T20: P108' := P108 + 1
IM[100,4]: 1
T20: P110' := P110 + 1
IM[100,35]: 1
T20: P111' := P111 + 1
IM[100,14]: 1
P32 --> T19 : 1
Pre[101,127]: 1
T19: P32' := P32 - 1
IM[101,127]: -1
T19: P84' := P84 + 1
IM[101,126]: 1
T19: P101' := P101 + 1
IM[101,9]: 1
T19: P102' := P102 + 1
IM[101,38]: 1
T19: P103' := P103 + 1
IM[101,32]: 1
T19: P104' := P104 + 1
IM[101,3]: 1
T19: P105' := P105 + 1
IM[101,39]: 1
T19: P106' := P106 + 1
IM[101,27]: 1
T19: P107' := P107 + 1
IM[101,8]: 1
T19: P108' := P108 + 1
IM[101,4]: 1
T19: P110' := P110 + 1
IM[101,35]: 1
T19: P111' := P111 + 1
IM[101,14]: 1
P19 --> T18 : 1
Pre[102,92]: 1
T18: P19' := P19 - 1
IM[102,92]: -1
T18: P71' := P71 + 1
IM[102,93]: 1
T18: P101' := P101 + 1
IM[102,9]: 1
T18: P102' := P102 + 1
IM[102,38]: 1
T18: P103' := P103 + 1
IM[102,32]: 1
T18: P104' := P104 + 1
IM[102,3]: 1
T18: P105' := P105 + 1
IM[102,39]: 1
T18: P106' := P106 + 1
IM[102,27]: 1
T18: P107' := P107 + 1
IM[102,8]: 1
T18: P108' := P108 + 1
IM[102,4]: 1
T18: P110' := P110 + 1
IM[102,35]: 1
T18: P111' := P111 + 1
IM[102,14]: 1
P30 --> T17 : 1
Pre[103,52]: 1
T17: P30' := P30 - 1
IM[103,52]: -1
T17: P82' := P82 + 1
IM[103,54]: 1
T17: P101' := P101 + 1
IM[103,9]: 1
T17: P102' := P102 + 1
IM[103,38]: 1
T17: P103' := P103 + 1
IM[103,32]: 1
T17: P104' := P104 + 1
IM[103,3]: 1
T17: P105' := P105 + 1
IM[103,39]: 1
T17: P106' := P106 + 1
IM[103,27]: 1
T17: P107' := P107 + 1
IM[103,8]: 1
T17: P108' := P108 + 1
IM[103,4]: 1
T17: P110' := P110 + 1
IM[103,35]: 1
T17: P111' := P111 + 1
IM[103,14]: 1
P29 --> T16 : 1
Pre[104,36]: 1
T16: P29' := P29 - 1
IM[104,36]: -1
T16: P81' := P81 + 1
IM[104,33]: 1
T16: P101' := P101 + 1
IM[104,9]: 1
T16: P102' := P102 + 1
IM[104,38]: 1
T16: P103' := P103 + 1
IM[104,32]: 1
T16: P104' := P104 + 1
IM[104,3]: 1
T16: P105' := P105 + 1
IM[104,39]: 1
T16: P106' := P106 + 1
IM[104,27]: 1
T16: P107' := P107 + 1
IM[104,8]: 1
T16: P108' := P108 + 1
IM[104,4]: 1
T16: P110' := P110 + 1
IM[104,35]: 1
T16: P111' := P111 + 1
IM[104,14]: 1
P28 --> T15 : 1
Pre[105,30]: 1
T15: P28' := P28 - 1
IM[105,30]: -1
T15: P80' := P80 + 1
IM[105,31]: 1
T15: P101' := P101 + 1
IM[105,9]: 1
T15: P102' := P102 + 1
IM[105,38]: 1
T15: P103' := P103 + 1
IM[105,32]: 1
T15: P104' := P104 + 1
IM[105,3]: 1
T15: P105' := P105 + 1
IM[105,39]: 1
T15: P106' := P106 + 1
IM[105,27]: 1
T15: P107' := P107 + 1
IM[105,8]: 1
T15: P108' := P108 + 1
IM[105,4]: 1
T15: P110' := P110 + 1
IM[105,35]: 1
T15: P111' := P111 + 1
IM[105,14]: 1
P27 --> T14 : 1
Pre[106,80]: 1
T14: P27' := P27 - 1
IM[106,80]: -1
T14: P79' := P79 + 1
IM[106,81]: 1
T14: P101' := P101 + 1
IM[106,9]: 1
T14: P102' := P102 + 1
IM[106,38]: 1
T14: P103' := P103 + 1
IM[106,32]: 1
T14: P104' := P104 + 1
IM[106,3]: 1
T14: P105' := P105 + 1
IM[106,39]: 1
T14: P106' := P106 + 1
IM[106,27]: 1
T14: P107' := P107 + 1
IM[106,8]: 1
T14: P108' := P108 + 1
IM[106,4]: 1
T14: P110' := P110 + 1
IM[106,35]: 1
T14: P111' := P111 + 1
IM[106,14]: 1
P35 --> T13 : 1
Pre[107,28]: 1
P101 --> T13 : 1
Pre[107,9]: 1
P102 --> T13 : 1
Pre[107,38]: 1
P103 --> T13 : 1
Pre[107,32]: 1
P104 --> T13 : 1
Pre[107,3]: 1
P105 --> T13 : 1
Pre[107,39]: 1
P106 --> T13 : 1
Pre[107,27]: 1
P107 --> T13 : 1
Pre[107,8]: 1
P108 --> T13 : 1
Pre[107,4]: 1
P110 --> T13 : 1
Pre[107,35]: 1
P111 --> T13 : 1
Pre[107,14]: 1
T13: P35' := P35 - 1
IM[107,28]: -1
T13: P101' := P101 - 1
IM[107,9]: -1
T13: P102' := P102 - 1
IM[107,38]: -1
T13: P103' := P103 - 1
IM[107,32]: -1
T13: P104' := P104 - 1
IM[107,3]: -1
T13: P105' := P105 - 1
IM[107,39]: -1
T13: P106' := P106 - 1
IM[107,27]: -1
T13: P107' := P107 - 1
IM[107,8]: -1
T13: P108' := P108 - 1
IM[107,4]: -1
T13: P110' := P110 - 1
IM[107,35]: -1
T13: P111' := P111 - 1
IM[107,14]: -1
T13: P113' := P113 + 1
IM[107,29]: 1
P26 --> T12 : 1
Pre[108,108]: 1
T12: P26' := P26 - 1
IM[108,108]: -1
T12: P78' := P78 + 1
IM[108,106]: 1
T12: P101' := P101 + 1
IM[108,9]: 1
T12: P102' := P102 + 1
IM[108,38]: 1
T12: P103' := P103 + 1
IM[108,32]: 1
T12: P104' := P104 + 1
IM[108,3]: 1
T12: P105' := P105 + 1
IM[108,39]: 1
T12: P106' := P106 + 1
IM[108,27]: 1
T12: P107' := P107 + 1
IM[108,8]: 1
T12: P108' := P108 + 1
IM[108,4]: 1
T12: P110' := P110 + 1
IM[108,35]: 1
T12: P111' := P111 + 1
IM[108,14]: 1
P25 --> T11 : 1
Pre[109,17]: 1
T11: P25' := P25 - 1
IM[109,17]: -1
T11: P77' := P77 + 1
IM[109,26]: 1
T11: P101' := P101 + 1
IM[109,9]: 1
T11: P102' := P102 + 1
IM[109,38]: 1
T11: P103' := P103 + 1
IM[109,32]: 1
T11: P104' := P104 + 1
IM[109,3]: 1
T11: P105' := P105 + 1
IM[109,39]: 1
T11: P106' := P106 + 1
IM[109,27]: 1
T11: P107' := P107 + 1
IM[109,8]: 1
T11: P108' := P108 + 1
IM[109,4]: 1
T11: P110' := P110 + 1
IM[109,35]: 1
T11: P111' := P111 + 1
IM[109,14]: 1
P23 --> T10 : 1
Pre[110,123]: 1
T10: P23' := P23 - 1
IM[110,123]: -1
T10: P75' := P75 + 1
IM[110,122]: 1
T10: P101' := P101 + 1
IM[110,9]: 1
T10: P102' := P102 + 1
IM[110,38]: 1
T10: P103' := P103 + 1
IM[110,32]: 1
T10: P104' := P104 + 1
IM[110,3]: 1
T10: P105' := P105 + 1
IM[110,39]: 1
T10: P106' := P106 + 1
IM[110,27]: 1
T10: P107' := P107 + 1
IM[110,8]: 1
T10: P108' := P108 + 1
IM[110,4]: 1
T10: P110' := P110 + 1
IM[110,35]: 1
T10: P111' := P111 + 1
IM[110,14]: 1
P22 --> T9 : 1
Pre[111,68]: 1
T9: P22' := P22 - 1
IM[111,68]: -1
T9: P74' := P74 + 1
IM[111,69]: 1
T9: P101' := P101 + 1
IM[111,9]: 1
T9: P102' := P102 + 1
IM[111,38]: 1
T9: P103' := P103 + 1
IM[111,32]: 1
T9: P104' := P104 + 1
IM[111,3]: 1
T9: P105' := P105 + 1
IM[111,39]: 1
T9: P106' := P106 + 1
IM[111,27]: 1
T9: P107' := P107 + 1
IM[111,8]: 1
T9: P108' := P108 + 1
IM[111,4]: 1
T9: P110' := P110 + 1
IM[111,35]: 1
T9: P111' := P111 + 1
IM[111,14]: 1
P21 --> T8 : 1
Pre[112,85]: 1
T8: P21' := P21 - 1
IM[112,85]: -1
T8: P73' := P73 + 1
IM[112,87]: 1
T8: P101' := P101 + 1
IM[112,9]: 1
T8: P102' := P102 + 1
IM[112,38]: 1
T8: P103' := P103 + 1
IM[112,32]: 1
T8: P104' := P104 + 1
IM[112,3]: 1
T8: P105' := P105 + 1
IM[112,39]: 1
T8: P106' := P106 + 1
IM[112,27]: 1
T8: P107' := P107 + 1
IM[112,8]: 1
T8: P108' := P108 + 1
IM[112,4]: 1
T8: P110' := P110 + 1
IM[112,35]: 1
T8: P111' := P111 + 1
IM[112,14]: 1
P20 --> T7 : 1
Pre[113,50]: 1
T7: P20' := P20 - 1
IM[113,50]: -1
T7: P72' := P72 + 1
IM[113,51]: 1
T7: P101' := P101 + 1
IM[113,9]: 1
T7: P102' := P102 + 1
IM[113,38]: 1
T7: P103' := P103 + 1
IM[113,32]: 1
T7: P104' := P104 + 1
IM[113,3]: 1
T7: P105' := P105 + 1
IM[113,39]: 1
T7: P106' := P106 + 1
IM[113,27]: 1
T7: P107' := P107 + 1
IM[113,8]: 1
T7: P108' := P108 + 1
IM[113,4]: 1
T7: P110' := P110 + 1
IM[113,35]: 1
T7: P111' := P111 + 1
IM[113,14]: 1
P7 --> T6 : 1
Pre[114,111]: 1
T6: P7' := P7 - 1
IM[114,111]: -1
T6: P59' := P59 + 1
IM[114,110]: 1
T6: P101' := P101 + 1
IM[114,9]: 1
T6: P102' := P102 + 1
IM[114,38]: 1
T6: P103' := P103 + 1
IM[114,32]: 1
T6: P104' := P104 + 1
IM[114,3]: 1
T6: P105' := P105 + 1
IM[114,39]: 1
T6: P106' := P106 + 1
IM[114,27]: 1
T6: P107' := P107 + 1
IM[114,8]: 1
T6: P108' := P108 + 1
IM[114,4]: 1
T6: P110' := P110 + 1
IM[114,35]: 1
T6: P111' := P111 + 1
IM[114,14]: 1
P18 --> T5 : 1
Pre[115,44]: 1
T5: P18' := P18 - 1
IM[115,44]: -1
T5: P70' := P70 + 1
IM[115,45]: 1
T5: P101' := P101 + 1
IM[115,9]: 1
T5: P102' := P102 + 1
IM[115,38]: 1
T5: P103' := P103 + 1
IM[115,32]: 1
T5: P104' := P104 + 1
IM[115,3]: 1
T5: P105' := P105 + 1
IM[115,39]: 1
T5: P106' := P106 + 1
IM[115,27]: 1
T5: P107' := P107 + 1
IM[115,8]: 1
T5: P108' := P108 + 1
IM[115,4]: 1
T5: P110' := P110 + 1
IM[115,35]: 1
T5: P111' := P111 + 1
IM[115,14]: 1
P17 --> T4 : 1
Pre[116,34]: 1
T4: P17' := P17 - 1
IM[116,34]: -1
T4: P69' := P69 + 1
IM[116,42]: 1
T4: P101' := P101 + 1
IM[116,9]: 1
T4: P102' := P102 + 1
IM[116,38]: 1
T4: P103' := P103 + 1
IM[116,32]: 1
T4: P104' := P104 + 1
IM[116,3]: 1
T4: P105' := P105 + 1
IM[116,39]: 1
T4: P106' := P106 + 1
IM[116,27]: 1
T4: P107' := P107 + 1
IM[116,8]: 1
T4: P108' := P108 + 1
IM[116,4]: 1
T4: P110' := P110 + 1
IM[116,35]: 1
T4: P111' := P111 + 1
IM[116,14]: 1
P16 --> T3 : 1
Pre[117,118]: 1
T3: P16' := P16 - 1
IM[117,118]: -1
T3: P68' := P68 + 1
IM[117,116]: 1
T3: P101' := P101 + 1
IM[117,9]: 1
T3: P102' := P102 + 1
IM[117,38]: 1
T3: P103' := P103 + 1
IM[117,32]: 1
T3: P104' := P104 + 1
IM[117,3]: 1
T3: P105' := P105 + 1
IM[117,39]: 1
T3: P106' := P106 + 1
IM[117,27]: 1
T3: P107' := P107 + 1
IM[117,8]: 1
T3: P108' := P108 + 1
IM[117,4]: 1
T3: P110' := P110 + 1
IM[117,35]: 1
T3: P111' := P111 + 1
IM[117,14]: 1
P13 --> T2 : 1
Pre[118,16]: 1
P111 --> T2 : 1
Pre[118,14]: 1
T2: P13' := P13 - 1
IM[118,16]: -1
T2: P100' := P100 + 1
IM[118,15]: 1
T2: P111' := P111 - 1
IM[118,14]: -1
P54 --> T1 : 1
Pre[119,37]: 1
P102 --> T1 : 1
Pre[119,38]: 1
T1: P54' := P54 - 1
IM[119,37]: -1
T1: P91' := P91 + 1
IM[119,40]: 1
T1: P102' := P102 - 1
IM[119,38]: -1


Decreasing places (index:name):

Increasing places (index:name):

Disabled transitions:

Done with translating model within variable-ordering code
Done generating initial forcegiven
Done generating initial soupsgiven
Done computing soupscore
Done generating soupsorder
Done computing soupscore
Done generating soupsorder
Done computing soupscore
Done generating soupsorder
Done computing soupscore
Done generating soupsorder
Done computing soupscore
Done generating soupsorder
Done computing soupscore
Done with building new variable-ordering
Finalized T120
Disabled? False
Enabling: 1<=P15
Firing: P15' := P15 - 1; P67' := P67 + 1; P101' := P101 + 1; P102' := P102 + 1; P103' := P103 + 1; P104' := P104 + 1; P105' := P105 + 1; P106' := P106 + 1; P107' := P107 + 1; P108' := P108 + 1; P110' := P110 + 1; P111' := P111 + 1
Finalized T119
Disabled? False
Enabling: 1<=P14
Firing: P14' := P14 - 1; P66' := P66 + 1; P101' := P101 + 1; P102' := P102 + 1; P103' := P103 + 1; P104' := P104 + 1; P105' := P105 + 1; P106' := P106 + 1; P107' := P107 + 1; P108' := P108 + 1; P110' := P110 + 1; P111' := P111 + 1
Finalized T118
Disabled? False
Enabling: 1<=P12
Firing: P12' := P12 - 1; P64' := P64 + 1; P101' := P101 + 1; P102' := P102 + 1; P103' := P103 + 1; P104' := P104 + 1; P105' := P105 + 1; P106' := P106 + 1; P107' := P107 + 1; P108' := P108 + 1; P110' := P110 + 1; P111' := P111 + 1
Finalized T117
Disabled? False
Enabling: 1<=P11
Firing: P11' := P11 - 1; P63' := P63 + 1; P101' := P101 + 1; P102' := P102 + 1; P103' := P103 + 1; P104' := P104 + 1; P105' := P105 + 1; P106' := P106 + 1; P107' := P107 + 1; P108' := P108 + 1; P110' := P110 + 1; P111' := P111 + 1
Finalized T116
Disabled? False
Enabling: 1<=P10
Firing: P10' := P10 - 1; P62' := P62 + 1; P101' := P101 + 1; P102' := P102 + 1; P103' := P103 + 1; P104' := P104 + 1; P105' := P105 + 1; P106' := P106 + 1; P107' := P107 + 1; P108' := P108 + 1; P110' := P110 + 1; P111' := P111 + 1
Finalized T115
Disabled? False
Enabling: 1<=P9
Firing: P9' := P9 - 1; P61' := P61 + 1; P101' := P101 + 1; P102' := P102 + 1; P103' := P103 + 1; P104' := P104 + 1; P105' := P105 + 1; P106' := P106 + 1; P107' := P107 + 1; P108' := P108 + 1; P110' := P110 + 1; P111' := P111 + 1
Finalized T114
Disabled? False
Enabling: 1<=P8
Firing: P8' := P8 - 1; P60' := P60 + 1; P101' := P101 + 1; P102' := P102 + 1; P103' := P103 + 1; P104' := P104 + 1; P105' := P105 + 1; P106' := P106 + 1; P107' := P107 + 1; P108' := P108 + 1; P110' := P110 + 1; P111' := P111 + 1
Finalized T113
Disabled? False
Enabling: 1<=P124
Firing: P47' := P47 + 1; P101' := P101 + 1; P102' := P102 + 1; P103' := P103 + 1; P104' := P104 + 1; P105' := P105 + 1; P106' := P106 + 1; P107' := P107 + 1; P108' := P108 + 1; P110' := P110 + 1; P111' := P111 + 1; P124' := P124 - 1
Finalized T112
Disabled? False
Enabling: 1<=P6
Firing: P6' := P6 - 1; P58' := P58 + 1; P101' := P101 + 1; P102' := P102 + 1; P103' := P103 + 1; P104' := P104 + 1; P105' := P105 + 1; P106' := P106 + 1; P107' := P107 + 1; P108' := P108 + 1; P110' := P110 + 1; P111' := P111 + 1
Finalized T111
Disabled? False
Enabling: 1<=P5
Firing: P5' := P5 - 1; P57' := P57 + 1; P101' := P101 + 1; P102' := P102 + 1; P103' := P103 + 1; P104' := P104 + 1; P105' := P105 + 1; P106' := P106 + 1; P107' := P107 + 1; P108' := P108 + 1; P110' := P110 + 1; P111' := P111 + 1
Finalized T110
Disabled? False
Enabling: (1<=P2&1<=P110)
Firing: P2' := P2 - 1; P99' := P99 + 1; P110' := P110 - 1
Finalized T109
Disabled? False
Enabling: 1<=P4
Firing: P4' := P4 - 1; P56' := P56 + 1; P101' := P101 + 1; P102' := P102 + 1; P103' := P103 + 1; P104' := P104 + 1; P105' := P105 + 1; P106' := P106 + 1; P107' := P107 + 1; P108' := P108 + 1; P110' := P110 + 1; P111' := P111 + 1
Finalized T108
Disabled? False
Enabling: 1<=P3
Firing: P3' := P3 - 1; P55' := P55 + 1; P101' := P101 + 1; P102' := P102 + 1; P103' := P103 + 1; P104' := P104 + 1; P105' := P105 + 1; P106' := P106 + 1; P107' := P107 + 1; P108' := P108 + 1; P110' := P110 + 1; P111' := P111 + 1
Finalized T107
Disabled? False
Enabling: 1<=P130
Firing: P53' := P53 + 1; P101' := P101 + 1; P102' := P102 + 1; P103' := P103 + 1; P104' := P104 + 1; P105' := P105 + 1; P106' := P106 + 1; P107' := P107 + 1; P108' := P108 + 1; P110' := P110 + 1; P111' := P111 + 1; P130' := P130 - 1
Finalized T106
Disabled? False
Enabling: 1<=P129
Firing: P52' := P52 + 1; P101' := P101 + 1; P102' := P102 + 1; P103' := P103 + 1; P104' := P104 + 1; P105' := P105 + 1; P106' := P106 + 1; P107' := P107 + 1; P108' := P108 + 1; P110' := P110 + 1; P111' := P111 + 1; P129' := P129 - 1
Finalized T105
Disabled? False
Enabling: 1<=P128
Firing: P51' := P51 + 1; P101' := P101 + 1; P102' := P102 + 1; P103' := P103 + 1; P104' := P104 + 1; P105' := P105 + 1; P106' := P106 + 1; P107' := P107 + 1; P108' := P108 + 1; P110' := P110 + 1; P111' := P111 + 1; P128' := P128 - 1
Finalized T104
Disabled? False
Enabling: 1<=P127
Firing: P50' := P50 + 1; P101' := P101 + 1; P102' := P102 + 1; P103' := P103 + 1; P104' := P104 + 1; P105' := P105 + 1; P106' := P106 + 1; P107' := P107 + 1; P108' := P108 + 1; P110' := P110 + 1; P111' := P111 + 1; P127' := P127 - 1
Finalized T103
Disabled? False
Enabling: 1<=P126
Firing: P49' := P49 + 1; P101' := P101 + 1; P102' := P102 + 1; P103' := P103 + 1; P104' := P104 + 1; P105' := P105 + 1; P106' := P106 + 1; P107' := P107 + 1; P108' := P108 + 1; P110' := P110 + 1; P111' := P111 + 1; P126' := P126 - 1
Finalized T102
Disabled? False
Enabling: 1<=P125
Firing: P48' := P48 + 1; P101' := P101 + 1; P102' := P102 + 1; P103' := P103 + 1; P104' := P104 + 1; P105' := P105 + 1; P106' := P106 + 1; P107' := P107 + 1; P108' := P108 + 1; P110' := P110 + 1; P111' := P111 + 1; P125' := P125 - 1
Finalized T101
Disabled? False
Enabling: 1<=P112
Firing: P24' := P24 + 1; P101' := P101 + 1; P102' := P102 + 1; P103' := P103 + 1; P104' := P104 + 1; P105' := P105 + 1; P106' := P106 + 1; P107' := P107 + 1; P108' := P108 + 1; P110' := P110 + 1; P111' := P111 + 1; P112' := P112 - 1
Finalized T100
Disabled? False
Enabling: 1<=P123
Firing: P46' := P46 + 1; P101' := P101 + 1; P102' := P102 + 1; P103' := P103 + 1; P104' := P104 + 1; P105' := P105 + 1; P106' := P106 + 1; P107' := P107 + 1; P108' := P108 + 1; P110' := P110 + 1; P111' := P111 + 1; P123' := P123 - 1
Finalized T99
Disabled? False
Enabling: (1<=P108&1<=P120)
Firing: P97' := P97 + 1; P108' := P108 - 1; P120' := P120 - 1
Finalized T98
Disabled? False
Enabling: 1<=P122
Firing: P45' := P45 + 1; P101' := P101 + 1; P102' := P102 + 1; P103' := P103 + 1; P104' := P104 + 1; P105' := P105 + 1; P106' := P106 + 1; P107' := P107 + 1; P108' := P108 + 1; P110' := P110 + 1; P111' := P111 + 1; P122' := P122 - 1
Finalized T97
Disabled? False
Enabling: 1<=P121
Firing: P44' := P44 + 1; P101' := P101 + 1; P102' := P102 + 1; P103' := P103 + 1; P104' := P104 + 1; P105' := P105 + 1; P106' := P106 + 1; P107' := P107 + 1; P108' := P108 + 1; P110' := P110 + 1; P111' := P111 + 1; P121' := P121 - 1
Finalized T96
Disabled? False
Enabling: 1<=P119
Firing: P42' := P42 + 1; P101' := P101 + 1; P102' := P102 + 1; P103' := P103 + 1; P104' := P104 + 1; P105' := P105 + 1; P106' := P106 + 1; P107' := P107 + 1; P108' := P108 + 1; P110' := P110 + 1; P111' := P111 + 1; P119' := P119 - 1
Finalized T95
Disabled? False
Enabling: 1<=P118
Firing: P41' := P41 + 1; P101' := P101 + 1; P102' := P102 + 1; P103' := P103 + 1; P104' := P104 + 1; P105' := P105 + 1; P106' := P106 + 1; P107' := P107 + 1; P108' := P108 + 1; P110' := P110 + 1; P111' := P111 + 1; P118' := P118 - 1
Finalized T94
Disabled? False
Enabling: 1<=P117
Firing: P40' := P40 + 1; P101' := P101 + 1; P102' := P102 + 1; P103' := P103 + 1; P104' := P104 + 1; P105' := P105 + 1; P106' := P106 + 1; P107' := P107 + 1; P108' := P108 + 1; P110' := P110 + 1; P111' := P111 + 1; P117' := P117 - 1
Finalized T93
Disabled? False
Enabling: 1<=P116
Firing: P39' := P39 + 1; P101' := P101 + 1; P102' := P102 + 1; P103' := P103 + 1; P104' := P104 + 1; P105' := P105 + 1; P106' := P106 + 1; P107' := P107 + 1; P108' := P108 + 1; P110' := P110 + 1; P111' := P111 + 1; P116' := P116 - 1
Finalized T92
Disabled? False
Enabling: 1<=P115
Firing: P38' := P38 + 1; P101' := P101 + 1; P102' := P102 + 1; P103' := P103 + 1; P104' := P104 + 1; P105' := P105 + 1; P106' := P106 + 1; P107' := P107 + 1; P108' := P108 + 1; P110' := P110 + 1; P111' := P111 + 1; P115' := P115 - 1
Finalized T91
Disabled? False
Enabling: 1<=P114
Firing: P37' := P37 + 1; P101' := P101 + 1; P102' := P102 + 1; P103' := P103 + 1; P104' := P104 + 1; P105' := P105 + 1; P106' := P106 + 1; P107' := P107 + 1; P108' := P108 + 1; P110' := P110 + 1; P111' := P111 + 1; P114' := P114 - 1
Finalized T90
Disabled? False
Enabling: 1<=P113
Firing: P35' := P35 + 1; P101' := P101 + 1; P102' := P102 + 1; P103' := P103 + 1; P104' := P104 + 1; P105' := P105 + 1; P106' := P106 + 1; P107' := P107 + 1; P108' := P108 + 1; P110' := P110 + 1; P111' := P111 + 1; P113' := P113 - 1
Finalized T89
Disabled? False
Enabling: 1<=P100
Firing: P13' := P13 + 1; P100' := P100 - 1; P111' := P111 + 1
Finalized T88
Disabled? False
Enabling: (1<=P107&1<=P109)
Firing: P96' := P96 + 1; P107' := P107 - 1; P109' := P109 - 1
Finalized T87
Disabled? False
Enabling: 1<=P99
Firing: P2' := P2 + 1; P99' := P99 - 1; P110' := P110 + 1
Finalized T86
Disabled? False
Enabling: 1<=P97
Firing: P97' := P97 - 1; P108' := P108 + 1; P120' := P120 + 1
Finalized T85
Disabled? False
Enabling: 1<=P96
Firing: P96' := P96 - 1; P107' := P107 + 1; P109' := P109 + 1
Finalized T84
Disabled? False
Enabling: 1<=P95
Firing: P95' := P95 - 1; P98' := P98 + 1; P106' := P106 + 1
Finalized T83
Disabled? False
Enabling: 1<=P94
Firing: P87' := P87 + 1; P94' := P94 - 1; P105' := P105 + 1
Finalized T82
Disabled? False
Enabling: 1<=P93
Firing: P76' := P76 + 1; P93' := P93 - 1; P104' := P104 + 1
Finalized T81
Disabled? False
Enabling: 1<=P92
Firing: P65' := P65 + 1; P92' := P92 - 1; P103' := P103 + 1
Finalized T80
Disabled? False
Enabling: 1<=P90
Firing: P43' := P43 + 1; P90' := P90 - 1; P101' := P101 + 1
Finalized T79
Disabled? False
Enabling: 1<=P91
Firing: P54' := P54 + 1; P91' := P91 - 1; P102' := P102 + 1
Finalized T78
Disabled? False
Enabling: (1<=P89&1<=P101&1<=P102&1<=P103&1<=P104&1<=P105&1<=P106&1<=P107&1<=P108&1<=P110&1<=P111)
Firing: P1' := P1 + 1; P89' := P89 - 1; P101' := P101 - 1; P102' := P102 - 1; P103' := P103 - 1; P104' := P104 - 1; P105' := P105 - 1; P106' := P106 - 1; P107' := P107 - 1; P108' := P108 - 1; P110' := P110 - 1; P111' := P111 - 1
Finalized T77
Disabled? False
Enabling: (1<=P98&1<=P106)
Firing: P95' := P95 + 1; P98' := P98 - 1; P106' := P106 - 1
Finalized T76
Disabled? False
Enabling: (1<=P88&1<=P101&1<=P102&1<=P103&1<=P104&1<=P105&1<=P106&1<=P107&1<=P108&1<=P110&1<=P111)
Firing: P36' := P36 + 1; P88' := P88 - 1; P101' := P101 - 1; P102' := P102 - 1; P103' := P103 - 1; P104' := P104 - 1; P105' := P105 - 1; P106' := P106 - 1; P107' := P107 - 1; P108' := P108 - 1; P110' := P110 - 1; P111' := P111 - 1
Finalized T75
Disabled? False
Enabling: (1<=P86&1<=P101&1<=P102&1<=P103&1<=P104&1<=P105&1<=P106&1<=P107&1<=P108&1<=P110&1<=P111)
Firing: P34' := P34 + 1; P86' := P86 - 1; P101' := P101 - 1; P102' := P102 - 1; P103' := P103 - 1; P104' := P104 - 1; P105' := P105 - 1; P106' := P106 - 1; P107' := P107 - 1; P108' := P108 - 1; P110' := P110 - 1; P111' := P111 - 1
Finalized T74
Disabled? False
Enabling: (1<=P85&1<=P101&1<=P102&1<=P103&1<=P104&1<=P105&1<=P106&1<=P107&1<=P108&1<=P110&1<=P111)
Firing: P33' := P33 + 1; P85' := P85 - 1; P101' := P101 - 1; P102' := P102 - 1; P103' := P103 - 1; P104' := P104 - 1; P105' := P105 - 1; P106' := P106 - 1; P107' := P107 - 1; P108' := P108 - 1; P110' := P110 - 1; P111' := P111 - 1
Finalized T73
Disabled? False
Enabling: (1<=P83&1<=P101&1<=P102&1<=P103&1<=P104&1<=P105&1<=P106&1<=P107&1<=P108&1<=P110&1<=P111)
Firing: P31' := P31 + 1; P83' := P83 - 1; P101' := P101 - 1; P102' := P102 - 1; P103' := P103 - 1; P104' := P104 - 1; P105' := P105 - 1; P106' := P106 - 1; P107' := P107 - 1; P108' := P108 - 1; P110' := P110 - 1; P111' := P111 - 1
Finalized T72
Disabled? False
Enabling: (1<=P84&1<=P101&1<=P102&1<=P103&1<=P104&1<=P105&1<=P106&1<=P107&1<=P108&1<=P110&1<=P111)
Firing: P32' := P32 + 1; P84' := P84 - 1; P101' := P101 - 1; P102' := P102 - 1; P103' := P103 - 1; P104' := P104 - 1; P105' := P105 - 1; P106' := P106 - 1; P107' := P107 - 1; P108' := P108 - 1; P110' := P110 - 1; P111' := P111 - 1
Finalized T71
Disabled? False
Enabling: (1<=P71&1<=P101&1<=P102&1<=P103&1<=P104&1<=P105&1<=P106&1<=P107&1<=P108&1<=P110&1<=P111)
Firing: P19' := P19 + 1; P71' := P71 - 1; P101' := P101 - 1; P102' := P102 - 1; P103' := P103 - 1; P104' := P104 - 1; P105' := P105 - 1; P106' := P106 - 1; P107' := P107 - 1; P108' := P108 - 1; P110' := P110 - 1; P111' := P111 - 1
Finalized T70
Disabled? False
Enabling: (1<=P82&1<=P101&1<=P102&1<=P103&1<=P104&1<=P105&1<=P106&1<=P107&1<=P108&1<=P110&1<=P111)
Firing: P30' := P30 + 1; P82' := P82 - 1; P101' := P101 - 1; P102' := P102 - 1; P103' := P103 - 1; P104' := P104 - 1; P105' := P105 - 1; P106' := P106 - 1; P107' := P107 - 1; P108' := P108 - 1; P110' := P110 - 1; P111' := P111 - 1
Finalized T69
Disabled? False
Enabling: (1<=P81&1<=P101&1<=P102&1<=P103&1<=P104&1<=P105&1<=P106&1<=P107&1<=P108&1<=P110&1<=P111)
Firing: P29' := P29 + 1; P81' := P81 - 1; P101' := P101 - 1; P102' := P102 - 1; P103' := P103 - 1; P104' := P104 - 1; P105' := P105 - 1; P106' := P106 - 1; P107' := P107 - 1; P108' := P108 - 1; P110' := P110 - 1; P111' := P111 - 1
Finalized T68
Disabled? False
Enabling: (1<=P80&1<=P101&1<=P102&1<=P103&1<=P104&1<=P105&1<=P106&1<=P107&1<=P108&1<=P110&1<=P111)
Firing: P28' := P28 + 1; P80' := P80 - 1; P101' := P101 - 1; P102' := P102 - 1; P103' := P103 - 1; P104' := P104 - 1; P105' := P105 - 1; P106' := P106 - 1; P107' := P107 - 1; P108' := P108 - 1; P110' := P110 - 1; P111' := P111 - 1
Finalized T67
Disabled? False
Enabling: (1<=P79&1<=P101&1<=P102&1<=P103&1<=P104&1<=P105&1<=P106&1<=P107&1<=P108&1<=P110&1<=P111)
Firing: P27' := P27 + 1; P79' := P79 - 1; P101' := P101 - 1; P102' := P102 - 1; P103' := P103 - 1; P104' := P104 - 1; P105' := P105 - 1; P106' := P106 - 1; P107' := P107 - 1; P108' := P108 - 1; P110' := P110 - 1; P111' := P111 - 1
Finalized T66
Disabled? False
Enabling: (1<=P87&1<=P105)
Firing: P87' := P87 - 1; P94' := P94 + 1; P105' := P105 - 1
Finalized T65
Disabled? False
Enabling: (1<=P78&1<=P101&1<=P102&1<=P103&1<=P104&1<=P105&1<=P106&1<=P107&1<=P108&1<=P110&1<=P111)
Firing: P26' := P26 + 1; P78' := P78 - 1; P101' := P101 - 1; P102' := P102 - 1; P103' := P103 - 1; P104' := P104 - 1; P105' := P105 - 1; P106' := P106 - 1; P107' := P107 - 1; P108' := P108 - 1; P110' := P110 - 1; P111' := P111 - 1
Finalized T64
Disabled? False
Enabling: (1<=P77&1<=P101&1<=P102&1<=P103&1<=P104&1<=P105&1<=P106&1<=P107&1<=P108&1<=P110&1<=P111)
Firing: P25' := P25 + 1; P77' := P77 - 1; P101' := P101 - 1; P102' := P102 - 1; P103' := P103 - 1; P104' := P104 - 1; P105' := P105 - 1; P106' := P106 - 1; P107' := P107 - 1; P108' := P108 - 1; P110' := P110 - 1; P111' := P111 - 1
Finalized T63
Disabled? False
Enabling: (1<=P75&1<=P101&1<=P102&1<=P103&1<=P104&1<=P105&1<=P106&1<=P107&1<=P108&1<=P110&1<=P111)
Firing: P23' := P23 + 1; P75' := P75 - 1; P101' := P101 - 1; P102' := P102 - 1; P103' := P103 - 1; P104' := P104 - 1; P105' := P105 - 1; P106' := P106 - 1; P107' := P107 - 1; P108' := P108 - 1; P110' := P110 - 1; P111' := P111 - 1
Finalized T62
Disabled? False
Enabling: (1<=P74&1<=P101&1<=P102&1<=P103&1<=P104&1<=P105&1<=P106&1<=P107&1<=P108&1<=P110&1<=P111)
Firing: P22' := P22 + 1; P74' := P74 - 1; P101' := P101 - 1; P102' := P102 - 1; P103' := P103 - 1; P104' := P104 - 1; P105' := P105 - 1; P106' := P106 - 1; P107' := P107 - 1; P108' := P108 - 1; P110' := P110 - 1; P111' := P111 - 1
Finalized T61
Disabled? False
Enabling: (1<=P73&1<=P101&1<=P102&1<=P103&1<=P104&1<=P105&1<=P106&1<=P107&1<=P108&1<=P110&1<=P111)
Firing: P21' := P21 + 1; P73' := P73 - 1; P101' := P101 - 1; P102' := P102 - 1; P103' := P103 - 1; P104' := P104 - 1; P105' := P105 - 1; P106' := P106 - 1; P107' := P107 - 1; P108' := P108 - 1; P110' := P110 - 1; P111' := P111 - 1
Finalized T60
Disabled? False
Enabling: (1<=P72&1<=P101&1<=P102&1<=P103&1<=P104&1<=P105&1<=P106&1<=P107&1<=P108&1<=P110&1<=P111)
Firing: P20' := P20 + 1; P72' := P72 - 1; P101' := P101 - 1; P102' := P102 - 1; P103' := P103 - 1; P104' := P104 - 1; P105' := P105 - 1; P106' := P106 - 1; P107' := P107 - 1; P108' := P108 - 1; P110' := P110 - 1; P111' := P111 - 1
Finalized T59
Disabled? False
Enabling: (1<=P59&1<=P101&1<=P102&1<=P103&1<=P104&1<=P105&1<=P106&1<=P107&1<=P108&1<=P110&1<=P111)
Firing: P7' := P7 + 1; P59' := P59 - 1; P101' := P101 - 1; P102' := P102 - 1; P103' := P103 - 1; P104' := P104 - 1; P105' := P105 - 1; P106' := P106 - 1; P107' := P107 - 1; P108' := P108 - 1; P110' := P110 - 1; P111' := P111 - 1
Finalized T58
Disabled? False
Enabling: (1<=P70&1<=P101&1<=P102&1<=P103&1<=P104&1<=P105&1<=P106&1<=P107&1<=P108&1<=P110&1<=P111)
Firing: P18' := P18 + 1; P70' := P70 - 1; P101' := P101 - 1; P102' := P102 - 1; P103' := P103 - 1; P104' := P104 - 1; P105' := P105 - 1; P106' := P106 - 1; P107' := P107 - 1; P108' := P108 - 1; P110' := P110 - 1; P111' := P111 - 1
Finalized T57
Disabled? False
Enabling: (1<=P69&1<=P101&1<=P102&1<=P103&1<=P104&1<=P105&1<=P106&1<=P107&1<=P108&1<=P110&1<=P111)
Firing: P17' := P17 + 1; P69' := P69 - 1; P101' := P101 - 1; P102' := P102 - 1; P103' := P103 - 1; P104' := P104 - 1; P105' := P105 - 1; P106' := P106 - 1; P107' := P107 - 1; P108' := P108 - 1; P110' := P110 - 1; P111' := P111 - 1
Finalized T56
Disabled? False
Enabling: (1<=P68&1<=P101&1<=P102&1<=P103&1<=P104&1<=P105&1<=P106&1<=P107&1<=P108&1<=P110&1<=P111)
Firing: P16' := P16 + 1; P68' := P68 - 1; P101' := P101 - 1; P102' := P102 - 1; P103' := P103 - 1; P104' := P104 - 1; P105' := P105 - 1; P106' := P106 - 1; P107' := P107 - 1; P108' := P108 - 1; P110' := P110 - 1; P111' := P111 - 1
Finalized T55
Disabled? False
Enabling: (1<=P76&1<=P104)
Firing: P76' := P76 - 1; P93' := P93 + 1; P104' := P104 - 1
Finalized T54
Disabled? False
Enabling: (1<=P67&1<=P101&1<=P102&1<=P103&1<=P104&1<=P105&1<=P106&1<=P107&1<=P108&1<=P110&1<=P111)
Firing: P15' := P15 + 1; P67' := P67 - 1; P101' := P101 - 1; P102' := P102 - 1; P103' := P103 - 1; P104' := P104 - 1; P105' := P105 - 1; P106' := P106 - 1; P107' := P107 - 1; P108' := P108 - 1; P110' := P110 - 1; P111' := P111 - 1
Finalized T53
Disabled? False
Enabling: (1<=P66&1<=P101&1<=P102&1<=P103&1<=P104&1<=P105&1<=P106&1<=P107&1<=P108&1<=P110&1<=P111)
Firing: P14' := P14 + 1; P66' := P66 - 1; P101' := P101 - 1; P102' := P102 - 1; P103' := P103 - 1; P104' := P104 - 1; P105' := P105 - 1; P106' := P106 - 1; P107' := P107 - 1; P108' := P108 - 1; P110' := P110 - 1; P111' := P111 - 1
Finalized T52
Disabled? False
Enabling: (1<=P64&1<=P101&1<=P102&1<=P103&1<=P104&1<=P105&1<=P106&1<=P107&1<=P108&1<=P110&1<=P111)
Firing: P12' := P12 + 1; P64' := P64 - 1; P101' := P101 - 1; P102' := P102 - 1; P103' := P103 - 1; P104' := P104 - 1; P105' := P105 - 1; P106' := P106 - 1; P107' := P107 - 1; P108' := P108 - 1; P110' := P110 - 1; P111' := P111 - 1
Finalized T51
Disabled? False
Enabling: (1<=P63&1<=P101&1<=P102&1<=P103&1<=P104&1<=P105&1<=P106&1<=P107&1<=P108&1<=P110&1<=P111)
Firing: P11' := P11 + 1; P63' := P63 - 1; P101' := P101 - 1; P102' := P102 - 1; P103' := P103 - 1; P104' := P104 - 1; P105' := P105 - 1; P106' := P106 - 1; P107' := P107 - 1; P108' := P108 - 1; P110' := P110 - 1; P111' := P111 - 1
Finalized T50
Disabled? False
Enabling: (1<=P62&1<=P101&1<=P102&1<=P103&1<=P104&1<=P105&1<=P106&1<=P107&1<=P108&1<=P110&1<=P111)
Firing: P10' := P10 + 1; P62' := P62 - 1; P101' := P101 - 1; P102' := P102 - 1; P103' := P103 - 1; P104' := P104 - 1; P105' := P105 - 1; P106' := P106 - 1; P107' := P107 - 1; P108' := P108 - 1; P110' := P110 - 1; P111' := P111 - 1
Finalized T49
Disabled? False
Enabling: (1<=P61&1<=P101&1<=P102&1<=P103&1<=P104&1<=P105&1<=P106&1<=P107&1<=P108&1<=P110&1<=P111)
Firing: P9' := P9 + 1; P61' := P61 - 1; P101' := P101 - 1; P102' := P102 - 1; P103' := P103 - 1; P104' := P104 - 1; P105' := P105 - 1; P106' := P106 - 1; P107' := P107 - 1; P108' := P108 - 1; P110' := P110 - 1; P111' := P111 - 1
Finalized T48
Disabled? False
Enabling: (1<=P60&1<=P101&1<=P102&1<=P103&1<=P104&1<=P105&1<=P106&1<=P107&1<=P108&1<=P110&1<=P111)
Firing: P8' := P8 + 1; P60' := P60 - 1; P101' := P101 - 1; P102' := P102 - 1; P103' := P103 - 1; P104' := P104 - 1; P105' := P105 - 1; P106' := P106 - 1; P107' := P107 - 1; P108' := P108 - 1; P110' := P110 - 1; P111' := P111 - 1
Finalized T47
Disabled? False
Enabling: (1<=P47&1<=P101&1<=P102&1<=P103&1<=P104&1<=P105&1<=P106&1<=P107&1<=P108&1<=P110&1<=P111)
Firing: P47' := P47 - 1; P101' := P101 - 1; P102' := P102 - 1; P103' := P103 - 1; P104' := P104 - 1; P105' := P105 - 1; P106' := P106 - 1; P107' := P107 - 1; P108' := P108 - 1; P110' := P110 - 1; P111' := P111 - 1; P124' := P124 + 1
Finalized T46
Disabled? False
Enabling: (1<=P58&1<=P101&1<=P102&1<=P103&1<=P104&1<=P105&1<=P106&1<=P107&1<=P108&1<=P110&1<=P111)
Firing: P6' := P6 + 1; P58' := P58 - 1; P101' := P101 - 1; P102' := P102 - 1; P103' := P103 - 1; P104' := P104 - 1; P105' := P105 - 1; P106' := P106 - 1; P107' := P107 - 1; P108' := P108 - 1; P110' := P110 - 1; P111' := P111 - 1
Finalized T45
Disabled? False
Enabling: (1<=P57&1<=P101&1<=P102&1<=P103&1<=P104&1<=P105&1<=P106&1<=P107&1<=P108&1<=P110&1<=P111)
Firing: P5' := P5 + 1; P57' := P57 - 1; P101' := P101 - 1; P102' := P102 - 1; P103' := P103 - 1; P104' := P104 - 1; P105' := P105 - 1; P106' := P106 - 1; P107' := P107 - 1; P108' := P108 - 1; P110' := P110 - 1; P111' := P111 - 1
Finalized T44
Disabled? False
Enabling: (1<=P65&1<=P103)
Firing: P65' := P65 - 1; P92' := P92 + 1; P103' := P103 - 1
Finalized T43
Disabled? False
Enabling: (1<=P56&1<=P101&1<=P102&1<=P103&1<=P104&1<=P105&1<=P106&1<=P107&1<=P108&1<=P110&1<=P111)
Firing: P4' := P4 + 1; P56' := P56 - 1; P101' := P101 - 1; P102' := P102 - 1; P103' := P103 - 1; P104' := P104 - 1; P105' := P105 - 1; P106' := P106 - 1; P107' := P107 - 1; P108' := P108 - 1; P110' := P110 - 1; P111' := P111 - 1
Finalized T42
Disabled? False
Enabling: (1<=P55&1<=P101&1<=P102&1<=P103&1<=P104&1<=P105&1<=P106&1<=P107&1<=P108&1<=P110&1<=P111)
Firing: P3' := P3 + 1; P55' := P55 - 1; P101' := P101 - 1; P102' := P102 - 1; P103' := P103 - 1; P104' := P104 - 1; P105' := P105 - 1; P106' := P106 - 1; P107' := P107 - 1; P108' := P108 - 1; P110' := P110 - 1; P111' := P111 - 1
Finalized T41
Disabled? False
Enabling: (1<=P53&1<=P101&1<=P102&1<=P103&1<=P104&1<=P105&1<=P106&1<=P107&1<=P108&1<=P110&1<=P111)
Firing: P53' := P53 - 1; P101' := P101 - 1; P102' := P102 - 1; P103' := P103 - 1; P104' := P104 - 1; P105' := P105 - 1; P106' := P106 - 1; P107' := P107 - 1; P108' := P108 - 1; P110' := P110 - 1; P111' := P111 - 1; P130' := P130 + 1
Finalized T40
Disabled? False
Enabling: (1<=P52&1<=P101&1<=P102&1<=P103&1<=P104&1<=P105&1<=P106&1<=P107&1<=P108&1<=P110&1<=P111)
Firing: P52' := P52 - 1; P101' := P101 - 1; P102' := P102 - 1; P103' := P103 - 1; P104' := P104 - 1; P105' := P105 - 1; P106' := P106 - 1; P107' := P107 - 1; P108' := P108 - 1; P110' := P110 - 1; P111' := P111 - 1; P129' := P129 + 1
Finalized T39
Disabled? False
Enabling: (1<=P51&1<=P101&1<=P102&1<=P103&1<=P104&1<=P105&1<=P106&1<=P107&1<=P108&1<=P110&1<=P111)
Firing: P51' := P51 - 1; P101' := P101 - 1; P102' := P102 - 1; P103' := P103 - 1; P104' := P104 - 1; P105' := P105 - 1; P106' := P106 - 1; P107' := P107 - 1; P108' := P108 - 1; P110' := P110 - 1; P111' := P111 - 1; P128' := P128 + 1
Finalized T38
Disabled? False
Enabling: (1<=P50&1<=P101&1<=P102&1<=P103&1<=P104&1<=P105&1<=P106&1<=P107&1<=P108&1<=P110&1<=P111)
Firing: P50' := P50 - 1; P101' := P101 - 1; P102' := P102 - 1; P103' := P103 - 1; P104' := P104 - 1; P105' := P105 - 1; P106' := P106 - 1; P107' := P107 - 1; P108' := P108 - 1; P110' := P110 - 1; P111' := P111 - 1; P127' := P127 + 1
Finalized T37
Disabled? False
Enabling: (1<=P49&1<=P101&1<=P102&1<=P103&1<=P104&1<=P105&1<=P106&1<=P107&1<=P108&1<=P110&1<=P111)
Firing: P49' := P49 - 1; P101' := P101 - 1; P102' := P102 - 1; P103' := P103 - 1; P104' := P104 - 1; P105' := P105 - 1; P106' := P106 - 1; P107' := P107 - 1; P108' := P108 - 1; P110' := P110 - 1; P111' := P111 - 1; P126' := P126 + 1
Finalized T36
Disabled? False
Enabling: (1<=P48&1<=P101&1<=P102&1<=P103&1<=P104&1<=P105&1<=P106&1<=P107&1<=P108&1<=P110&1<=P111)
Firing: P48' := P48 - 1; P101' := P101 - 1; P102' := P102 - 1; P103' := P103 - 1; P104' := P104 - 1; P105' := P105 - 1; P106' := P106 - 1; P107' := P107 - 1; P108' := P108 - 1; P110' := P110 - 1; P111' := P111 - 1; P125' := P125 + 1
Finalized T35
Disabled? False
Enabling: (1<=P24&1<=P101&1<=P102&1<=P103&1<=P104&1<=P105&1<=P106&1<=P107&1<=P108&1<=P110&1<=P111)
Firing: P24' := P24 - 1; P101' := P101 - 1; P102' := P102 - 1; P103' := P103 - 1; P104' := P104 - 1; P105' := P105 - 1; P106' := P106 - 1; P107' := P107 - 1; P108' := P108 - 1; P110' := P110 - 1; P111' := P111 - 1; P112' := P112 + 1
Finalized T34
Disabled? False
Enabling: (1<=P46&1<=P101&1<=P102&1<=P103&1<=P104&1<=P105&1<=P106&1<=P107&1<=P108&1<=P110&1<=P111)
Firing: P46' := P46 - 1; P101' := P101 - 1; P102' := P102 - 1; P103' := P103 - 1; P104' := P104 - 1; P105' := P105 - 1; P106' := P106 - 1; P107' := P107 - 1; P108' := P108 - 1; P110' := P110 - 1; P111' := P111 - 1; P123' := P123 + 1
Finalized T33
Disabled? False
Enabling: (1<=P43&1<=P101)
Firing: P43' := P43 - 1; P90' := P90 + 1; P101' := P101 - 1
Finalized T32
Disabled? False
Enabling: (1<=P45&1<=P101&1<=P102&1<=P103&1<=P104&1<=P105&1<=P106&1<=P107&1<=P108&1<=P110&1<=P111)
Firing: P45' := P45 - 1; P101' := P101 - 1; P102' := P102 - 1; P103' := P103 - 1; P104' := P104 - 1; P105' := P105 - 1; P106' := P106 - 1; P107' := P107 - 1; P108' := P108 - 1; P110' := P110 - 1; P111' := P111 - 1; P122' := P122 + 1
Finalized T31
Disabled? False
Enabling: (1<=P44&1<=P101&1<=P102&1<=P103&1<=P104&1<=P105&1<=P106&1<=P107&1<=P108&1<=P110&1<=P111)
Firing: P44' := P44 - 1; P101' := P101 - 1; P102' := P102 - 1; P103' := P103 - 1; P104' := P104 - 1; P105' := P105 - 1; P106' := P106 - 1; P107' := P107 - 1; P108' := P108 - 1; P110' := P110 - 1; P111' := P111 - 1; P121' := P121 + 1
Finalized T30
Disabled? False
Enabling: (1<=P42&1<=P101&1<=P102&1<=P103&1<=P104&1<=P105&1<=P106&1<=P107&1<=P108&1<=P110&1<=P111)
Firing: P42' := P42 - 1; P101' := P101 - 1; P102' := P102 - 1; P103' := P103 - 1; P104' := P104 - 1; P105' := P105 - 1; P106' := P106 - 1; P107' := P107 - 1; P108' := P108 - 1; P110' := P110 - 1; P111' := P111 - 1; P119' := P119 + 1
Finalized T29
Disabled? False
Enabling: (1<=P41&1<=P101&1<=P102&1<=P103&1<=P104&1<=P105&1<=P106&1<=P107&1<=P108&1<=P110&1<=P111)
Firing: P41' := P41 - 1; P101' := P101 - 1; P102' := P102 - 1; P103' := P103 - 1; P104' := P104 - 1; P105' := P105 - 1; P106' := P106 - 1; P107' := P107 - 1; P108' := P108 - 1; P110' := P110 - 1; P111' := P111 - 1; P118' := P118 + 1
Finalized T28
Disabled? False
Enabling: (1<=P40&1<=P101&1<=P102&1<=P103&1<=P104&1<=P105&1<=P106&1<=P107&1<=P108&1<=P110&1<=P111)
Firing: P40' := P40 - 1; P101' := P101 - 1; P102' := P102 - 1; P103' := P103 - 1; P104' := P104 - 1; P105' := P105 - 1; P106' := P106 - 1; P107' := P107 - 1; P108' := P108 - 1; P110' := P110 - 1; P111' := P111 - 1; P117' := P117 + 1
Finalized T27
Disabled? False
Enabling: (1<=P39&1<=P101&1<=P102&1<=P103&1<=P104&1<=P105&1<=P106&1<=P107&1<=P108&1<=P110&1<=P111)
Firing: P39' := P39 - 1; P101' := P101 - 1; P102' := P102 - 1; P103' := P103 - 1; P104' := P104 - 1; P105' := P105 - 1; P106' := P106 - 1; P107' := P107 - 1; P108' := P108 - 1; P110' := P110 - 1; P111' := P111 - 1; P116' := P116 + 1
Finalized T26
Disabled? False
Enabling: (1<=P38&1<=P101&1<=P102&1<=P103&1<=P104&1<=P105&1<=P106&1<=P107&1<=P108&1<=P110&1<=P111)
Firing: P38' := P38 - 1; P101' := P101 - 1; P102' := P102 - 1; P103' := P103 - 1; P104' := P104 - 1; P105' := P105 - 1; P106' := P106 - 1; P107' := P107 - 1; P108' := P108 - 1; P110' := P110 - 1; P111' := P111 - 1; P115' := P115 + 1
Finalized T25
Disabled? False
Enabling: 1<=P1
Firing: P1' := P1 - 1; P89' := P89 + 1; P101' := P101 + 1; P102' := P102 + 1; P103' := P103 + 1; P104' := P104 + 1; P105' := P105 + 1; P106' := P106 + 1; P107' := P107 + 1; P108' := P108 + 1; P110' := P110 + 1; P111' := P111 + 1
Finalized T24
Disabled? False
Enabling: (1<=P37&1<=P101&1<=P102&1<=P103&1<=P104&1<=P105&1<=P106&1<=P107&1<=P108&1<=P110&1<=P111)
Firing: P37' := P37 - 1; P101' := P101 - 1; P102' := P102 - 1; P103' := P103 - 1; P104' := P104 - 1; P105' := P105 - 1; P106' := P106 - 1; P107' := P107 - 1; P108' := P108 - 1; P110' := P110 - 1; P111' := P111 - 1; P114' := P114 + 1
Finalized T23
Disabled? False
Enabling: 1<=P36
Firing: P36' := P36 - 1; P88' := P88 + 1; P101' := P101 + 1; P102' := P102 + 1; P103' := P103 + 1; P104' := P104 + 1; P105' := P105 + 1; P106' := P106 + 1; P107' := P107 + 1; P108' := P108 + 1; P110' := P110 + 1; P111' := P111 + 1
Finalized T22
Disabled? False
Enabling: 1<=P34
Firing: P34' := P34 - 1; P86' := P86 + 1; P101' := P101 + 1; P102' := P102 + 1; P103' := P103 + 1; P104' := P104 + 1; P105' := P105 + 1; P106' := P106 + 1; P107' := P107 + 1; P108' := P108 + 1; P110' := P110 + 1; P111' := P111 + 1
Finalized T21
Disabled? False
Enabling: 1<=P33
Firing: P33' := P33 - 1; P85' := P85 + 1; P101' := P101 + 1; P102' := P102 + 1; P103' := P103 + 1; P104' := P104 + 1; P105' := P105 + 1; P106' := P106 + 1; P107' := P107 + 1; P108' := P108 + 1; P110' := P110 + 1; P111' := P111 + 1
Finalized T20
Disabled? False
Enabling: 1<=P31
Firing: P31' := P31 - 1; P83' := P83 + 1; P101' := P101 + 1; P102' := P102 + 1; P103' := P103 + 1; P104' := P104 + 1; P105' := P105 + 1; P106' := P106 + 1; P107' := P107 + 1; P108' := P108 + 1; P110' := P110 + 1; P111' := P111 + 1
Finalized T19
Disabled? False
Enabling: 1<=P32
Firing: P32' := P32 - 1; P84' := P84 + 1; P101' := P101 + 1; P102' := P102 + 1; P103' := P103 + 1; P104' := P104 + 1; P105' := P105 + 1; P106' := P106 + 1; P107' := P107 + 1; P108' := P108 + 1; P110' := P110 + 1; P111' := P111 + 1
Finalized T18
Disabled? False
Enabling: 1<=P19
Firing: P19' := P19 - 1; P71' := P71 + 1; P101' := P101 + 1; P102' := P102 + 1; P103' := P103 + 1; P104' := P104 + 1; P105' := P105 + 1; P106' := P106 + 1; P107' := P107 + 1; P108' := P108 + 1; P110' := P110 + 1; P111' := P111 + 1
Finalized T17
Disabled? False
Enabling: 1<=P30
Firing: P30' := P30 - 1; P82' := P82 + 1; P101' := P101 + 1; P102' := P102 + 1; P103' := P103 + 1; P104' := P104 + 1; P105' := P105 + 1; P106' := P106 + 1; P107' := P107 + 1; P108' := P108 + 1; P110' := P110 + 1; P111' := P111 + 1
Finalized T16
Disabled? False
Enabling: 1<=P29
Firing: P29' := P29 - 1; P81' := P81 + 1; P101' := P101 + 1; P102' := P102 + 1; P103' := P103 + 1; P104' := P104 + 1; P105' := P105 + 1; P106' := P106 + 1; P107' := P107 + 1; P108' := P108 + 1; P110' := P110 + 1; P111' := P111 + 1
Finalized T15
Disabled? False
Enabling: 1<=P28
Firing: P28' := P28 - 1; P80' := P80 + 1; P101' := P101 + 1; P102' := P102 + 1; P103' := P103 + 1; P104' := P104 + 1; P105' := P105 + 1; P106' := P106 + 1; P107' := P107 + 1; P108' := P108 + 1; P110' := P110 + 1; P111' := P111 + 1
Finalized T14
Disabled? False
Enabling: 1<=P27
Firing: P27' := P27 - 1; P79' := P79 + 1; P101' := P101 + 1; P102' := P102 + 1; P103' := P103 + 1; P104' := P104 + 1; P105' := P105 + 1; P106' := P106 + 1; P107' := P107 + 1; P108' := P108 + 1; P110' := P110 + 1; P111' := P111 + 1
Finalized T13
Disabled? False
Enabling: (1<=P35&1<=P101&1<=P102&1<=P103&1<=P104&1<=P105&1<=P106&1<=P107&1<=P108&1<=P110&1<=P111)
Firing: P35' := P35 - 1; P101' := P101 - 1; P102' := P102 - 1; P103' := P103 - 1; P104' := P104 - 1; P105' := P105 - 1; P106' := P106 - 1; P107' := P107 - 1; P108' := P108 - 1; P110' := P110 - 1; P111' := P111 - 1; P113' := P113 + 1
Finalized T12
Disabled? False
Enabling: 1<=P26
Firing: P26' := P26 - 1; P78' := P78 + 1; P101' := P101 + 1; P102' := P102 + 1; P103' := P103 + 1; P104' := P104 + 1; P105' := P105 + 1; P106' := P106 + 1; P107' := P107 + 1; P108' := P108 + 1; P110' := P110 + 1; P111' := P111 + 1
Finalized T11
Disabled? False
Enabling: 1<=P25
Firing: P25' := P25 - 1; P77' := P77 + 1; P101' := P101 + 1; P102' := P102 + 1; P103' := P103 + 1; P104' := P104 + 1; P105' := P105 + 1; P106' := P106 + 1; P107' := P107 + 1; P108' := P108 + 1; P110' := P110 + 1; P111' := P111 + 1
Finalized T10
Disabled? False
Enabling: 1<=P23
Firing: P23' := P23 - 1; P75' := P75 + 1; P101' := P101 + 1; P102' := P102 + 1; P103' := P103 + 1; P104' := P104 + 1; P105' := P105 + 1; P106' := P106 + 1; P107' := P107 + 1; P108' := P108 + 1; P110' := P110 + 1; P111' := P111 + 1
Finalized T9
Disabled? False
Enabling: 1<=P22
Firing: P22' := P22 - 1; P74' := P74 + 1; P101' := P101 + 1; P102' := P102 + 1; P103' := P103 + 1; P104' := P104 + 1; P105' := P105 + 1; P106' := P106 + 1; P107' := P107 + 1; P108' := P108 + 1; P110' := P110 + 1; P111' := P111 + 1
Finalized T8
Disabled? False
Enabling: 1<=P21
Firing: P21' := P21 - 1; P73' := P73 + 1; P101' := P101 + 1; P102' := P102 + 1; P103' := P103 + 1; P104' := P104 + 1; P105' := P105 + 1; P106' := P106 + 1; P107' := P107 + 1; P108' := P108 + 1; P110' := P110 + 1; P111' := P111 + 1
Finalized T7
Disabled? False
Enabling: 1<=P20
Firing: P20' := P20 - 1; P72' := P72 + 1; P101' := P101 + 1; P102' := P102 + 1; P103' := P103 + 1; P104' := P104 + 1; P105' := P105 + 1; P106' := P106 + 1; P107' := P107 + 1; P108' := P108 + 1; P110' := P110 + 1; P111' := P111 + 1
Finalized T6
Disabled? False
Enabling: 1<=P7
Firing: P7' := P7 - 1; P59' := P59 + 1; P101' := P101 + 1; P102' := P102 + 1; P103' := P103 + 1; P104' := P104 + 1; P105' := P105 + 1; P106' := P106 + 1; P107' := P107 + 1; P108' := P108 + 1; P110' := P110 + 1; P111' := P111 + 1
Finalized T5
Disabled? False
Enabling: 1<=P18
Firing: P18' := P18 - 1; P70' := P70 + 1; P101' := P101 + 1; P102' := P102 + 1; P103' := P103 + 1; P104' := P104 + 1; P105' := P105 + 1; P106' := P106 + 1; P107' := P107 + 1; P108' := P108 + 1; P110' := P110 + 1; P111' := P111 + 1
Finalized T4
Disabled? False
Enabling: 1<=P17
Firing: P17' := P17 - 1; P69' := P69 + 1; P101' := P101 + 1; P102' := P102 + 1; P103' := P103 + 1; P104' := P104 + 1; P105' := P105 + 1; P106' := P106 + 1; P107' := P107 + 1; P108' := P108 + 1; P110' := P110 + 1; P111' := P111 + 1
Finalized T3
Disabled? False
Enabling: 1<=P16
Firing: P16' := P16 - 1; P68' := P68 + 1; P101' := P101 + 1; P102' := P102 + 1; P103' := P103 + 1; P104' := P104 + 1; P105' := P105 + 1; P106' := P106 + 1; P107' := P107 + 1; P108' := P108 + 1; P110' := P110 + 1; P111' := P111 + 1
Finalized T2
Disabled? False
Enabling: (1<=P13&1<=P111)
Firing: P13' := P13 - 1; P100' := P100 + 1; P111' := P111 - 1
Finalized T1
Disabled? False
Enabling: (1<=P54&1<=P102)
Firing: P54' := P54 - 1; P91' := P91 + 1; P102' := P102 - 1
STATE_SPACE STATES 1074 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 70 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 10340 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1526899706040

--------------------
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="RwMutex-PT-r0010w0050"
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/RwMutex-PT-r0010w0050.tgz
mv RwMutex-PT-r0010w0050 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 RwMutex-PT-r0010w0050, 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 r146-smll-152685545000106"
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 ;