About the Execution of smart for RwMutex-PT-r0010w0050
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 260.530 | 26269.00 | 25828.00 | 191.90 | 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 | normal |
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 UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r146-smll-152685545000107
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of positive values
NUM_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME RwMutex-PT-r0010w0050-UpperBounds-00
FORMULA_NAME RwMutex-PT-r0010w0050-UpperBounds-01
FORMULA_NAME RwMutex-PT-r0010w0050-UpperBounds-02
FORMULA_NAME RwMutex-PT-r0010w0050-UpperBounds-03
FORMULA_NAME RwMutex-PT-r0010w0050-UpperBounds-04
FORMULA_NAME RwMutex-PT-r0010w0050-UpperBounds-05
FORMULA_NAME RwMutex-PT-r0010w0050-UpperBounds-06
FORMULA_NAME RwMutex-PT-r0010w0050-UpperBounds-07
FORMULA_NAME RwMutex-PT-r0010w0050-UpperBounds-08
FORMULA_NAME RwMutex-PT-r0010w0050-UpperBounds-09
FORMULA_NAME RwMutex-PT-r0010w0050-UpperBounds-10
FORMULA_NAME RwMutex-PT-r0010w0050-UpperBounds-11
FORMULA_NAME RwMutex-PT-r0010w0050-UpperBounds-12
FORMULA_NAME RwMutex-PT-r0010w0050-UpperBounds-13
FORMULA_NAME RwMutex-PT-r0010w0050-UpperBounds-14
FORMULA_NAME RwMutex-PT-r0010w0050-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1526899718937
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RwMutex (PT), instance r0010w0050
Examination UpperBounds
Parser /home/mcc/BenchKit/bin/parser/UpperBoundParse.jar
Model checker /home/mcc/BenchKit/bin/upper_bound/smart
PNML FILE: model.pnml
Petri model created: 130 places, 120 transitions, 1260 arcs.
Bounds file is: UpperBounds.xml
P15 --> T120 : 1
Pre[0,46]: 1
T120: P15' := P15 - 1
IM[0,46]: -1
T120: P67' := P67 + 1
IM[0,44]: 1
T120: P101' := P101 + 1
IM[0,22]: 1
T120: P102' := P102 + 1
IM[0,18]: 1
T120: P103' := P103 + 1
IM[0,29]: 1
T120: P104' := P104 + 1
IM[0,31]: 1
T120: P105' := P105 + 1
IM[0,9]: 1
T120: P106' := P106 + 1
IM[0,14]: 1
T120: P107' := P107 + 1
IM[0,8]: 1
T120: P108' := P108 + 1
IM[0,5]: 1
T120: P110' := P110 + 1
IM[0,30]: 1
T120: P111' := P111 + 1
IM[0,34]: 1
P14 --> T119 : 1
Pre[1,41]: 1
T119: P14' := P14 - 1
IM[1,41]: -1
T119: P66' := P66 + 1
IM[1,49]: 1
T119: P101' := P101 + 1
IM[1,22]: 1
T119: P102' := P102 + 1
IM[1,18]: 1
T119: P103' := P103 + 1
IM[1,29]: 1
T119: P104' := P104 + 1
IM[1,31]: 1
T119: P105' := P105 + 1
IM[1,9]: 1
T119: P106' := P106 + 1
IM[1,14]: 1
T119: P107' := P107 + 1
IM[1,8]: 1
T119: P108' := P108 + 1
IM[1,5]: 1
T119: P110' := P110 + 1
IM[1,30]: 1
T119: P111' := P111 + 1
IM[1,34]: 1
P12 --> T118 : 1
Pre[2,114]: 1
T118: P12' := P12 - 1
IM[2,114]: -1
T118: P64' := P64 + 1
IM[2,111]: 1
T118: P101' := P101 + 1
IM[2,22]: 1
T118: P102' := P102 + 1
IM[2,18]: 1
T118: P103' := P103 + 1
IM[2,29]: 1
T118: P104' := P104 + 1
IM[2,31]: 1
T118: P105' := P105 + 1
IM[2,9]: 1
T118: P106' := P106 + 1
IM[2,14]: 1
T118: P107' := P107 + 1
IM[2,8]: 1
T118: P108' := P108 + 1
IM[2,5]: 1
T118: P110' := P110 + 1
IM[2,30]: 1
T118: P111' := P111 + 1
IM[2,34]: 1
P11 --> T117 : 1
Pre[3,106]: 1
T117: P11' := P11 - 1
IM[3,106]: -1
T117: P63' := P63 + 1
IM[3,107]: 1
T117: P101' := P101 + 1
IM[3,22]: 1
T117: P102' := P102 + 1
IM[3,18]: 1
T117: P103' := P103 + 1
IM[3,29]: 1
T117: P104' := P104 + 1
IM[3,31]: 1
T117: P105' := P105 + 1
IM[3,9]: 1
T117: P106' := P106 + 1
IM[3,14]: 1
T117: P107' := P107 + 1
IM[3,8]: 1
T117: P108' := P108 + 1
IM[3,5]: 1
T117: P110' := P110 + 1
IM[3,30]: 1
T117: P111' := P111 + 1
IM[3,34]: 1
P10 --> T116 : 1
Pre[4,110]: 1
T116: P10' := P10 - 1
IM[4,110]: -1
T116: P62' := P62 + 1
IM[4,124]: 1
T116: P101' := P101 + 1
IM[4,22]: 1
T116: P102' := P102 + 1
IM[4,18]: 1
T116: P103' := P103 + 1
IM[4,29]: 1
T116: P104' := P104 + 1
IM[4,31]: 1
T116: P105' := P105 + 1
IM[4,9]: 1
T116: P106' := P106 + 1
IM[4,14]: 1
T116: P107' := P107 + 1
IM[4,8]: 1
T116: P108' := P108 + 1
IM[4,5]: 1
T116: P110' := P110 + 1
IM[4,30]: 1
T116: P111' := P111 + 1
IM[4,34]: 1
P9 --> T115 : 1
Pre[5,50]: 1
T115: P9' := P9 - 1
IM[5,50]: -1
T115: P61' := P61 + 1
IM[5,54]: 1
T115: P101' := P101 + 1
IM[5,22]: 1
T115: P102' := P102 + 1
IM[5,18]: 1
T115: P103' := P103 + 1
IM[5,29]: 1
T115: P104' := P104 + 1
IM[5,31]: 1
T115: P105' := P105 + 1
IM[5,9]: 1
T115: P106' := P106 + 1
IM[5,14]: 1
T115: P107' := P107 + 1
IM[5,8]: 1
T115: P108' := P108 + 1
IM[5,5]: 1
T115: P110' := P110 + 1
IM[5,30]: 1
T115: P111' := P111 + 1
IM[5,34]: 1
P8 --> T114 : 1
Pre[6,123]: 1
T114: P8' := P8 - 1
IM[6,123]: -1
T114: P60' := P60 + 1
IM[6,125]: 1
T114: P101' := P101 + 1
IM[6,22]: 1
T114: P102' := P102 + 1
IM[6,18]: 1
T114: P103' := P103 + 1
IM[6,29]: 1
T114: P104' := P104 + 1
IM[6,31]: 1
T114: P105' := P105 + 1
IM[6,9]: 1
T114: P106' := P106 + 1
IM[6,14]: 1
T114: P107' := P107 + 1
IM[6,8]: 1
T114: P108' := P108 + 1
IM[6,5]: 1
T114: P110' := P110 + 1
IM[6,30]: 1
T114: P111' := P111 + 1
IM[6,34]: 1
P124 --> T113 : 1
Pre[7,65]: 1
T113: P47' := P47 + 1
IM[7,64]: 1
T113: P101' := P101 + 1
IM[7,22]: 1
T113: P102' := P102 + 1
IM[7,18]: 1
T113: P103' := P103 + 1
IM[7,29]: 1
T113: P104' := P104 + 1
IM[7,31]: 1
T113: P105' := P105 + 1
IM[7,9]: 1
T113: P106' := P106 + 1
IM[7,14]: 1
T113: P107' := P107 + 1
IM[7,8]: 1
T113: P108' := P108 + 1
IM[7,5]: 1
T113: P110' := P110 + 1
IM[7,30]: 1
T113: P111' := P111 + 1
IM[7,34]: 1
T113: P124' := P124 - 1
IM[7,65]: -1
P6 --> T112 : 1
Pre[8,40]: 1
T112: P6' := P6 - 1
IM[8,40]: -1
T112: P58' := P58 + 1
IM[8,45]: 1
T112: P101' := P101 + 1
IM[8,22]: 1
T112: P102' := P102 + 1
IM[8,18]: 1
T112: P103' := P103 + 1
IM[8,29]: 1
T112: P104' := P104 + 1
IM[8,31]: 1
T112: P105' := P105 + 1
IM[8,9]: 1
T112: P106' := P106 + 1
IM[8,14]: 1
T112: P107' := P107 + 1
IM[8,8]: 1
T112: P108' := P108 + 1
IM[8,5]: 1
T112: P110' := P110 + 1
IM[8,30]: 1
T112: P111' := P111 + 1
IM[8,34]: 1
P5 --> T111 : 1
Pre[9,105]: 1
T111: P5' := P5 - 1
IM[9,105]: -1
T111: P57' := P57 + 1
IM[9,108]: 1
T111: P101' := P101 + 1
IM[9,22]: 1
T111: P102' := P102 + 1
IM[9,18]: 1
T111: P103' := P103 + 1
IM[9,29]: 1
T111: P104' := P104 + 1
IM[9,31]: 1
T111: P105' := P105 + 1
IM[9,9]: 1
T111: P106' := P106 + 1
IM[9,14]: 1
T111: P107' := P107 + 1
IM[9,8]: 1
T111: P108' := P108 + 1
IM[9,5]: 1
T111: P110' := P110 + 1
IM[9,30]: 1
T111: P111' := P111 + 1
IM[9,34]: 1
P2 --> T110 : 1
Pre[10,109]: 1
P110 --> T110 : 1
Pre[10,30]: 1
T110: P2' := P2 - 1
IM[10,109]: -1
T110: P99' := P99 + 1
IM[10,98]: 1
T110: P110' := P110 - 1
IM[10,30]: -1
P4 --> T109 : 1
Pre[11,85]: 1
T109: P4' := P4 - 1
IM[11,85]: -1
T109: P56' := P56 + 1
IM[11,87]: 1
T109: P101' := P101 + 1
IM[11,22]: 1
T109: P102' := P102 + 1
IM[11,18]: 1
T109: P103' := P103 + 1
IM[11,29]: 1
T109: P104' := P104 + 1
IM[11,31]: 1
T109: P105' := P105 + 1
IM[11,9]: 1
T109: P106' := P106 + 1
IM[11,14]: 1
T109: P107' := P107 + 1
IM[11,8]: 1
T109: P108' := P108 + 1
IM[11,5]: 1
T109: P110' := P110 + 1
IM[11,30]: 1
T109: P111' := P111 + 1
IM[11,34]: 1
P3 --> T108 : 1
Pre[12,7]: 1
T108: P3' := P3 - 1
IM[12,7]: -1
T108: P55' := P55 + 1
IM[12,11]: 1
T108: P101' := P101 + 1
IM[12,22]: 1
T108: P102' := P102 + 1
IM[12,18]: 1
T108: P103' := P103 + 1
IM[12,29]: 1
T108: P104' := P104 + 1
IM[12,31]: 1
T108: P105' := P105 + 1
IM[12,9]: 1
T108: P106' := P106 + 1
IM[12,14]: 1
T108: P107' := P107 + 1
IM[12,8]: 1
T108: P108' := P108 + 1
IM[12,5]: 1
T108: P110' := P110 + 1
IM[12,30]: 1
T108: P111' := P111 + 1
IM[12,34]: 1
P130 --> T107 : 1
Pre[13,39]: 1
T107: P53' := P53 + 1
IM[13,38]: 1
T107: P101' := P101 + 1
IM[13,22]: 1
T107: P102' := P102 + 1
IM[13,18]: 1
T107: P103' := P103 + 1
IM[13,29]: 1
T107: P104' := P104 + 1
IM[13,31]: 1
T107: P105' := P105 + 1
IM[13,9]: 1
T107: P106' := P106 + 1
IM[13,14]: 1
T107: P107' := P107 + 1
IM[13,8]: 1
T107: P108' := P108 + 1
IM[13,5]: 1
T107: P110' := P110 + 1
IM[13,30]: 1
T107: P111' := P111 + 1
IM[13,34]: 1
T107: P130' := P130 - 1
IM[13,39]: -1
P129 --> T106 : 1
Pre[14,68]: 1
T106: P52' := P52 + 1
IM[14,69]: 1
T106: P101' := P101 + 1
IM[14,22]: 1
T106: P102' := P102 + 1
IM[14,18]: 1
T106: P103' := P103 + 1
IM[14,29]: 1
T106: P104' := P104 + 1
IM[14,31]: 1
T106: P105' := P105 + 1
IM[14,9]: 1
T106: P106' := P106 + 1
IM[14,14]: 1
T106: P107' := P107 + 1
IM[14,8]: 1
T106: P108' := P108 + 1
IM[14,5]: 1
T106: P110' := P110 + 1
IM[14,30]: 1
T106: P111' := P111 + 1
IM[14,34]: 1
T106: P129' := P129 - 1
IM[14,68]: -1
P128 --> T105 : 1
Pre[15,36]: 1
T105: P51' := P51 + 1
IM[15,37]: 1
T105: P101' := P101 + 1
IM[15,22]: 1
T105: P102' := P102 + 1
IM[15,18]: 1
T105: P103' := P103 + 1
IM[15,29]: 1
T105: P104' := P104 + 1
IM[15,31]: 1
T105: P105' := P105 + 1
IM[15,9]: 1
T105: P106' := P106 + 1
IM[15,14]: 1
T105: P107' := P107 + 1
IM[15,8]: 1
T105: P108' := P108 + 1
IM[15,5]: 1
T105: P110' := P110 + 1
IM[15,30]: 1
T105: P111' := P111 + 1
IM[15,34]: 1
T105: P128' := P128 - 1
IM[15,36]: -1
P127 --> T104 : 1
Pre[16,121]: 1
T104: P50' := P50 + 1
IM[16,122]: 1
T104: P101' := P101 + 1
IM[16,22]: 1
T104: P102' := P102 + 1
IM[16,18]: 1
T104: P103' := P103 + 1
IM[16,29]: 1
T104: P104' := P104 + 1
IM[16,31]: 1
T104: P105' := P105 + 1
IM[16,9]: 1
T104: P106' := P106 + 1
IM[16,14]: 1
T104: P107' := P107 + 1
IM[16,8]: 1
T104: P108' := P108 + 1
IM[16,5]: 1
T104: P110' := P110 + 1
IM[16,30]: 1
T104: P111' := P111 + 1
IM[16,34]: 1
T104: P127' := P127 - 1
IM[16,121]: -1
P126 --> T103 : 1
Pre[17,89]: 1
T103: P49' := P49 + 1
IM[17,90]: 1
T103: P101' := P101 + 1
IM[17,22]: 1
T103: P102' := P102 + 1
IM[17,18]: 1
T103: P103' := P103 + 1
IM[17,29]: 1
T103: P104' := P104 + 1
IM[17,31]: 1
T103: P105' := P105 + 1
IM[17,9]: 1
T103: P106' := P106 + 1
IM[17,14]: 1
T103: P107' := P107 + 1
IM[17,8]: 1
T103: P108' := P108 + 1
IM[17,5]: 1
T103: P110' := P110 + 1
IM[17,30]: 1
T103: P111' := P111 + 1
IM[17,34]: 1
T103: P126' := P126 - 1
IM[17,89]: -1
P125 --> T102 : 1
Pre[18,117]: 1
T102: P48' := P48 + 1
IM[18,115]: 1
T102: P101' := P101 + 1
IM[18,22]: 1
T102: P102' := P102 + 1
IM[18,18]: 1
T102: P103' := P103 + 1
IM[18,29]: 1
T102: P104' := P104 + 1
IM[18,31]: 1
T102: P105' := P105 + 1
IM[18,9]: 1
T102: P106' := P106 + 1
IM[18,14]: 1
T102: P107' := P107 + 1
IM[18,8]: 1
T102: P108' := P108 + 1
IM[18,5]: 1
T102: P110' := P110 + 1
IM[18,30]: 1
T102: P111' := P111 + 1
IM[18,34]: 1
T102: P125' := P125 - 1
IM[18,117]: -1
P112 --> T101 : 1
Pre[19,102]: 1
T101: P24' := P24 + 1
IM[19,100]: 1
T101: P101' := P101 + 1
IM[19,22]: 1
T101: P102' := P102 + 1
IM[19,18]: 1
T101: P103' := P103 + 1
IM[19,29]: 1
T101: P104' := P104 + 1
IM[19,31]: 1
T101: P105' := P105 + 1
IM[19,9]: 1
T101: P106' := P106 + 1
IM[19,14]: 1
T101: P107' := P107 + 1
IM[19,8]: 1
T101: P108' := P108 + 1
IM[19,5]: 1
T101: P110' := P110 + 1
IM[19,30]: 1
T101: P111' := P111 + 1
IM[19,34]: 1
T101: P112' := P112 - 1
IM[19,102]: -1
P123 --> T100 : 1
Pre[20,60]: 1
T100: P46' := P46 + 1
IM[20,59]: 1
T100: P101' := P101 + 1
IM[20,22]: 1
T100: P102' := P102 + 1
IM[20,18]: 1
T100: P103' := P103 + 1
IM[20,29]: 1
T100: P104' := P104 + 1
IM[20,31]: 1
T100: P105' := P105 + 1
IM[20,9]: 1
T100: P106' := P106 + 1
IM[20,14]: 1
T100: P107' := P107 + 1
IM[20,8]: 1
T100: P108' := P108 + 1
IM[20,5]: 1
T100: P110' := P110 + 1
IM[20,30]: 1
T100: P111' := P111 + 1
IM[20,34]: 1
T100: P123' := P123 - 1
IM[20,60]: -1
P108 --> T99 : 1
Pre[21,5]: 1
P120 --> T99 : 1
Pre[21,2]: 1
T99: P97' := P97 + 1
IM[21,3]: 1
T99: P108' := P108 - 1
IM[21,5]: -1
T99: P120' := P120 - 1
IM[21,2]: -1
P122 --> T98 : 1
Pre[22,55]: 1
T98: P45' := P45 + 1
IM[22,51]: 1
T98: P101' := P101 + 1
IM[22,22]: 1
T98: P102' := P102 + 1
IM[22,18]: 1
T98: P103' := P103 + 1
IM[22,29]: 1
T98: P104' := P104 + 1
IM[22,31]: 1
T98: P105' := P105 + 1
IM[22,9]: 1
T98: P106' := P106 + 1
IM[22,14]: 1
T98: P107' := P107 + 1
IM[22,8]: 1
T98: P108' := P108 + 1
IM[22,5]: 1
T98: P110' := P110 + 1
IM[22,30]: 1
T98: P111' := P111 + 1
IM[22,34]: 1
T98: P122' := P122 - 1
IM[22,55]: -1
P121 --> T97 : 1
Pre[23,25]: 1
T97: P44' := P44 + 1
IM[23,26]: 1
T97: P101' := P101 + 1
IM[23,22]: 1
T97: P102' := P102 + 1
IM[23,18]: 1
T97: P103' := P103 + 1
IM[23,29]: 1
T97: P104' := P104 + 1
IM[23,31]: 1
T97: P105' := P105 + 1
IM[23,9]: 1
T97: P106' := P106 + 1
IM[23,14]: 1
T97: P107' := P107 + 1
IM[23,8]: 1
T97: P108' := P108 + 1
IM[23,5]: 1
T97: P110' := P110 + 1
IM[23,30]: 1
T97: P111' := P111 + 1
IM[23,34]: 1
T97: P121' := P121 - 1
IM[23,25]: -1
P119 --> T96 : 1
Pre[24,21]: 1
T96: P42' := P42 + 1
IM[24,19]: 1
T96: P101' := P101 + 1
IM[24,22]: 1
T96: P102' := P102 + 1
IM[24,18]: 1
T96: P103' := P103 + 1
IM[24,29]: 1
T96: P104' := P104 + 1
IM[24,31]: 1
T96: P105' := P105 + 1
IM[24,9]: 1
T96: P106' := P106 + 1
IM[24,14]: 1
T96: P107' := P107 + 1
IM[24,8]: 1
T96: P108' := P108 + 1
IM[24,5]: 1
T96: P110' := P110 + 1
IM[24,30]: 1
T96: P111' := P111 + 1
IM[24,34]: 1
T96: P119' := P119 - 1
IM[24,21]: -1
P118 --> T95 : 1
Pre[25,43]: 1
T95: P41' := P41 + 1
IM[25,47]: 1
T95: P101' := P101 + 1
IM[25,22]: 1
T95: P102' := P102 + 1
IM[25,18]: 1
T95: P103' := P103 + 1
IM[25,29]: 1
T95: P104' := P104 + 1
IM[25,31]: 1
T95: P105' := P105 + 1
IM[25,9]: 1
T95: P106' := P106 + 1
IM[25,14]: 1
T95: P107' := P107 + 1
IM[25,8]: 1
T95: P108' := P108 + 1
IM[25,5]: 1
T95: P110' := P110 + 1
IM[25,30]: 1
T95: P111' := P111 + 1
IM[25,34]: 1
T95: P118' := P118 - 1
IM[25,43]: -1
P117 --> T94 : 1
Pre[26,126]: 1
T94: P40' := P40 + 1
IM[26,127]: 1
T94: P101' := P101 + 1
IM[26,22]: 1
T94: P102' := P102 + 1
IM[26,18]: 1
T94: P103' := P103 + 1
IM[26,29]: 1
T94: P104' := P104 + 1
IM[26,31]: 1
T94: P105' := P105 + 1
IM[26,9]: 1
T94: P106' := P106 + 1
IM[26,14]: 1
T94: P107' := P107 + 1
IM[26,8]: 1
T94: P108' := P108 + 1
IM[26,5]: 1
T94: P110' := P110 + 1
IM[26,30]: 1
T94: P111' := P111 + 1
IM[26,34]: 1
T94: P117' := P117 - 1
IM[26,126]: -1
P116 --> T93 : 1
Pre[27,33]: 1
T93: P39' := P39 + 1
IM[27,28]: 1
T93: P101' := P101 + 1
IM[27,22]: 1
T93: P102' := P102 + 1
IM[27,18]: 1
T93: P103' := P103 + 1
IM[27,29]: 1
T93: P104' := P104 + 1
IM[27,31]: 1
T93: P105' := P105 + 1
IM[27,9]: 1
T93: P106' := P106 + 1
IM[27,14]: 1
T93: P107' := P107 + 1
IM[27,8]: 1
T93: P108' := P108 + 1
IM[27,5]: 1
T93: P110' := P110 + 1
IM[27,30]: 1
T93: P111' := P111 + 1
IM[27,34]: 1
T93: P116' := P116 - 1
IM[27,33]: -1
P115 --> T92 : 1
Pre[28,52]: 1
T92: P38' := P38 + 1
IM[28,53]: 1
T92: P101' := P101 + 1
IM[28,22]: 1
T92: P102' := P102 + 1
IM[28,18]: 1
T92: P103' := P103 + 1
IM[28,29]: 1
T92: P104' := P104 + 1
IM[28,31]: 1
T92: P105' := P105 + 1
IM[28,9]: 1
T92: P106' := P106 + 1
IM[28,14]: 1
T92: P107' := P107 + 1
IM[28,8]: 1
T92: P108' := P108 + 1
IM[28,5]: 1
T92: P110' := P110 + 1
IM[28,30]: 1
T92: P111' := P111 + 1
IM[28,34]: 1
T92: P115' := P115 - 1
IM[28,52]: -1
P114 --> T91 : 1
Pre[29,112]: 1
T91: P37' := P37 + 1
IM[29,113]: 1
T91: P101' := P101 + 1
IM[29,22]: 1
T91: P102' := P102 + 1
IM[29,18]: 1
T91: P103' := P103 + 1
IM[29,29]: 1
T91: P104' := P104 + 1
IM[29,31]: 1
T91: P105' := P105 + 1
IM[29,9]: 1
T91: P106' := P106 + 1
IM[29,14]: 1
T91: P107' := P107 + 1
IM[29,8]: 1
T91: P108' := P108 + 1
IM[29,5]: 1
T91: P110' := P110 + 1
IM[29,30]: 1
T91: P111' := P111 + 1
IM[29,34]: 1
T91: P114' := P114 - 1
IM[29,112]: -1
P113 --> T90 : 1
Pre[30,101]: 1
T90: P35' := P35 + 1
IM[30,99]: 1
T90: P101' := P101 + 1
IM[30,22]: 1
T90: P102' := P102 + 1
IM[30,18]: 1
T90: P103' := P103 + 1
IM[30,29]: 1
T90: P104' := P104 + 1
IM[30,31]: 1
T90: P105' := P105 + 1
IM[30,9]: 1
T90: P106' := P106 + 1
IM[30,14]: 1
T90: P107' := P107 + 1
IM[30,8]: 1
T90: P108' := P108 + 1
IM[30,5]: 1
T90: P110' := P110 + 1
IM[30,30]: 1
T90: P111' := P111 + 1
IM[30,34]: 1
T90: P113' := P113 - 1
IM[30,101]: -1
P100 --> T89 : 1
Pre[31,32]: 1
T89: P13' := P13 + 1
IM[31,27]: 1
T89: P100' := P100 - 1
IM[31,32]: -1
T89: P111' := P111 + 1
IM[31,34]: 1
P107 --> T88 : 1
Pre[32,8]: 1
P109 --> T88 : 1
Pre[32,1]: 1
T88: P96' := P96 + 1
IM[32,0]: 1
T88: P107' := P107 - 1
IM[32,8]: -1
T88: P109' := P109 - 1
IM[32,1]: -1
P99 --> T87 : 1
Pre[33,98]: 1
T87: P2' := P2 + 1
IM[33,109]: 1
T87: P99' := P99 - 1
IM[33,98]: -1
T87: P110' := P110 + 1
IM[33,30]: 1
P97 --> T86 : 1
Pre[34,3]: 1
T86: P97' := P97 - 1
IM[34,3]: -1
T86: P108' := P108 + 1
IM[34,5]: 1
T86: P120' := P120 + 1
IM[34,2]: 1
P96 --> T85 : 1
Pre[35,0]: 1
T85: P96' := P96 - 1
IM[35,0]: -1
T85: P107' := P107 + 1
IM[35,8]: 1
T85: P109' := P109 + 1
IM[35,1]: 1
P95 --> T84 : 1
Pre[36,17]: 1
T84: P95' := P95 - 1
IM[36,17]: -1
T84: P98' := P98 + 1
IM[36,4]: 1
T84: P106' := P106 + 1
IM[36,14]: 1
P94 --> T83 : 1
Pre[37,10]: 1
T83: P87' := P87 + 1
IM[37,6]: 1
T83: P94' := P94 - 1
IM[37,10]: -1
T83: P105' := P105 + 1
IM[37,9]: 1
P93 --> T82 : 1
Pre[38,42]: 1
T82: P76' := P76 + 1
IM[38,48]: 1
T82: P93' := P93 - 1
IM[38,42]: -1
T82: P104' := P104 + 1
IM[38,31]: 1
P92 --> T81 : 1
Pre[39,84]: 1
T81: P65' := P65 + 1
IM[39,86]: 1
T81: P92' := P92 - 1
IM[39,84]: -1
T81: P103' := P103 + 1
IM[39,29]: 1
P90 --> T80 : 1
Pre[40,23]: 1
T80: P43' := P43 + 1
IM[40,24]: 1
T80: P90' := P90 - 1
IM[40,23]: -1
T80: P101' := P101 + 1
IM[40,22]: 1
P91 --> T79 : 1
Pre[41,16]: 1
T79: P54' := P54 + 1
IM[41,15]: 1
T79: P91' := P91 - 1
IM[41,16]: -1
T79: P102' := P102 + 1
IM[41,18]: 1
P89 --> T78 : 1
Pre[42,128]: 1
P101 --> T78 : 1
Pre[42,22]: 1
P102 --> T78 : 1
Pre[42,18]: 1
P103 --> T78 : 1
Pre[42,29]: 1
P104 --> T78 : 1
Pre[42,31]: 1
P105 --> T78 : 1
Pre[42,9]: 1
P106 --> T78 : 1
Pre[42,14]: 1
P107 --> T78 : 1
Pre[42,8]: 1
P108 --> T78 : 1
Pre[42,5]: 1
P110 --> T78 : 1
Pre[42,30]: 1
P111 --> T78 : 1
Pre[42,34]: 1
T78: P1' := P1 + 1
IM[42,129]: 1
T78: P89' := P89 - 1
IM[42,128]: -1
T78: P101' := P101 - 1
IM[42,22]: -1
T78: P102' := P102 - 1
IM[42,18]: -1
T78: P103' := P103 - 1
IM[42,29]: -1
T78: P104' := P104 - 1
IM[42,31]: -1
T78: P105' := P105 - 1
IM[42,9]: -1
T78: P106' := P106 - 1
IM[42,14]: -1
T78: P107' := P107 - 1
IM[42,8]: -1
T78: P108' := P108 - 1
IM[42,5]: -1
T78: P110' := P110 - 1
IM[42,30]: -1
T78: P111' := P111 - 1
IM[42,34]: -1
P98 --> T77 : 1
Pre[43,4]: 1
P106 --> T77 : 1
Pre[43,14]: 1
T77: P95' := P95 + 1
IM[43,17]: 1
T77: P98' := P98 - 1
IM[43,4]: -1
T77: P106' := P106 - 1
IM[43,14]: -1
P88 --> T76 : 1
Pre[44,118]: 1
P101 --> T76 : 1
Pre[44,22]: 1
P102 --> T76 : 1
Pre[44,18]: 1
P103 --> T76 : 1
Pre[44,29]: 1
P104 --> T76 : 1
Pre[44,31]: 1
P105 --> T76 : 1
Pre[44,9]: 1
P106 --> T76 : 1
Pre[44,14]: 1
P107 --> T76 : 1
Pre[44,8]: 1
P108 --> T76 : 1
Pre[44,5]: 1
P110 --> T76 : 1
Pre[44,30]: 1
P111 --> T76 : 1
Pre[44,34]: 1
T76: P36' := P36 + 1
IM[44,116]: 1
T76: P88' := P88 - 1
IM[44,118]: -1
T76: P101' := P101 - 1
IM[44,22]: -1
T76: P102' := P102 - 1
IM[44,18]: -1
T76: P103' := P103 - 1
IM[44,29]: -1
T76: P104' := P104 - 1
IM[44,31]: -1
T76: P105' := P105 - 1
IM[44,9]: -1
T76: P106' := P106 - 1
IM[44,14]: -1
T76: P107' := P107 - 1
IM[44,8]: -1
T76: P108' := P108 - 1
IM[44,5]: -1
T76: P110' := P110 - 1
IM[44,30]: -1
T76: P111' := P111 - 1
IM[44,34]: -1
P86 --> T75 : 1
Pre[45,72]: 1
P101 --> T75 : 1
Pre[45,22]: 1
P102 --> T75 : 1
Pre[45,18]: 1
P103 --> T75 : 1
Pre[45,29]: 1
P104 --> T75 : 1
Pre[45,31]: 1
P105 --> T75 : 1
Pre[45,9]: 1
P106 --> T75 : 1
Pre[45,14]: 1
P107 --> T75 : 1
Pre[45,8]: 1
P108 --> T75 : 1
Pre[45,5]: 1
P110 --> T75 : 1
Pre[45,30]: 1
P111 --> T75 : 1
Pre[45,34]: 1
T75: P34' := P34 + 1
IM[45,73]: 1
T75: P86' := P86 - 1
IM[45,72]: -1
T75: P101' := P101 - 1
IM[45,22]: -1
T75: P102' := P102 - 1
IM[45,18]: -1
T75: P103' := P103 - 1
IM[45,29]: -1
T75: P104' := P104 - 1
IM[45,31]: -1
T75: P105' := P105 - 1
IM[45,9]: -1
T75: P106' := P106 - 1
IM[45,14]: -1
T75: P107' := P107 - 1
IM[45,8]: -1
T75: P108' := P108 - 1
IM[45,5]: -1
T75: P110' := P110 - 1
IM[45,30]: -1
T75: P111' := P111 - 1
IM[45,34]: -1
P85 --> T74 : 1
Pre[46,120]: 1
P101 --> T74 : 1
Pre[46,22]: 1
P102 --> T74 : 1
Pre[46,18]: 1
P103 --> T74 : 1
Pre[46,29]: 1
P104 --> T74 : 1
Pre[46,31]: 1
P105 --> T74 : 1
Pre[46,9]: 1
P106 --> T74 : 1
Pre[46,14]: 1
P107 --> T74 : 1
Pre[46,8]: 1
P108 --> T74 : 1
Pre[46,5]: 1
P110 --> T74 : 1
Pre[46,30]: 1
P111 --> T74 : 1
Pre[46,34]: 1
T74: P33' := P33 + 1
IM[46,119]: 1
T74: P85' := P85 - 1
IM[46,120]: -1
T74: P101' := P101 - 1
IM[46,22]: -1
T74: P102' := P102 - 1
IM[46,18]: -1
T74: P103' := P103 - 1
IM[46,29]: -1
T74: P104' := P104 - 1
IM[46,31]: -1
T74: P105' := P105 - 1
IM[46,9]: -1
T74: P106' := P106 - 1
IM[46,14]: -1
T74: P107' := P107 - 1
IM[46,8]: -1
T74: P108' := P108 - 1
IM[46,5]: -1
T74: P110' := P110 - 1
IM[46,30]: -1
T74: P111' := P111 - 1
IM[46,34]: -1
P83 --> T73 : 1
Pre[47,13]: 1
P101 --> T73 : 1
Pre[47,22]: 1
P102 --> T73 : 1
Pre[47,18]: 1
P103 --> T73 : 1
Pre[47,29]: 1
P104 --> T73 : 1
Pre[47,31]: 1
P105 --> T73 : 1
Pre[47,9]: 1
P106 --> T73 : 1
Pre[47,14]: 1
P107 --> T73 : 1
Pre[47,8]: 1
P108 --> T73 : 1
Pre[47,5]: 1
P110 --> T73 : 1
Pre[47,30]: 1
P111 --> T73 : 1
Pre[47,34]: 1
T73: P31' := P31 + 1
IM[47,12]: 1
T73: P83' := P83 - 1
IM[47,13]: -1
T73: P101' := P101 - 1
IM[47,22]: -1
T73: P102' := P102 - 1
IM[47,18]: -1
T73: P103' := P103 - 1
IM[47,29]: -1
T73: P104' := P104 - 1
IM[47,31]: -1
T73: P105' := P105 - 1
IM[47,9]: -1
T73: P106' := P106 - 1
IM[47,14]: -1
T73: P107' := P107 - 1
IM[47,8]: -1
T73: P108' := P108 - 1
IM[47,5]: -1
T73: P110' := P110 - 1
IM[47,30]: -1
T73: P111' := P111 - 1
IM[47,34]: -1
P84 --> T72 : 1
Pre[48,75]: 1
P101 --> T72 : 1
Pre[48,22]: 1
P102 --> T72 : 1
Pre[48,18]: 1
P103 --> T72 : 1
Pre[48,29]: 1
P104 --> T72 : 1
Pre[48,31]: 1
P105 --> T72 : 1
Pre[48,9]: 1
P106 --> T72 : 1
Pre[48,14]: 1
P107 --> T72 : 1
Pre[48,8]: 1
P108 --> T72 : 1
Pre[48,5]: 1
P110 --> T72 : 1
Pre[48,30]: 1
P111 --> T72 : 1
Pre[48,34]: 1
T72: P32' := P32 + 1
IM[48,74]: 1
T72: P84' := P84 - 1
IM[48,75]: -1
T72: P101' := P101 - 1
IM[48,22]: -1
T72: P102' := P102 - 1
IM[48,18]: -1
T72: P103' := P103 - 1
IM[48,29]: -1
T72: P104' := P104 - 1
IM[48,31]: -1
T72: P105' := P105 - 1
IM[48,9]: -1
T72: P106' := P106 - 1
IM[48,14]: -1
T72: P107' := P107 - 1
IM[48,8]: -1
T72: P108' := P108 - 1
IM[48,5]: -1
T72: P110' := P110 - 1
IM[48,30]: -1
T72: P111' := P111 - 1
IM[48,34]: -1
P71 --> T71 : 1
Pre[49,93]: 1
P101 --> T71 : 1
Pre[49,22]: 1
P102 --> T71 : 1
Pre[49,18]: 1
P103 --> T71 : 1
Pre[49,29]: 1
P104 --> T71 : 1
Pre[49,31]: 1
P105 --> T71 : 1
Pre[49,9]: 1
P106 --> T71 : 1
Pre[49,14]: 1
P107 --> T71 : 1
Pre[49,8]: 1
P108 --> T71 : 1
Pre[49,5]: 1
P110 --> T71 : 1
Pre[49,30]: 1
P111 --> T71 : 1
Pre[49,34]: 1
T71: P19' := P19 + 1
IM[49,92]: 1
T71: P71' := P71 - 1
IM[49,93]: -1
T71: P101' := P101 - 1
IM[49,22]: -1
T71: P102' := P102 - 1
IM[49,18]: -1
T71: P103' := P103 - 1
IM[49,29]: -1
T71: P104' := P104 - 1
IM[49,31]: -1
T71: P105' := P105 - 1
IM[49,9]: -1
T71: P106' := P106 - 1
IM[49,14]: -1
T71: P107' := P107 - 1
IM[49,8]: -1
T71: P108' := P108 - 1
IM[49,5]: -1
T71: P110' := P110 - 1
IM[49,30]: -1
T71: P111' := P111 - 1
IM[49,34]: -1
P82 --> T70 : 1
Pre[50,97]: 1
P101 --> T70 : 1
Pre[50,22]: 1
P102 --> T70 : 1
Pre[50,18]: 1
P103 --> T70 : 1
Pre[50,29]: 1
P104 --> T70 : 1
Pre[50,31]: 1
P105 --> T70 : 1
Pre[50,9]: 1
P106 --> T70 : 1
Pre[50,14]: 1
P107 --> T70 : 1
Pre[50,8]: 1
P108 --> T70 : 1
Pre[50,5]: 1
P110 --> T70 : 1
Pre[50,30]: 1
P111 --> T70 : 1
Pre[50,34]: 1
T70: P30' := P30 + 1
IM[50,96]: 1
T70: P82' := P82 - 1
IM[50,97]: -1
T70: P101' := P101 - 1
IM[50,22]: -1
T70: P102' := P102 - 1
IM[50,18]: -1
T70: P103' := P103 - 1
IM[50,29]: -1
T70: P104' := P104 - 1
IM[50,31]: -1
T70: P105' := P105 - 1
IM[50,9]: -1
T70: P106' := P106 - 1
IM[50,14]: -1
T70: P107' := P107 - 1
IM[50,8]: -1
T70: P108' := P108 - 1
IM[50,5]: -1
T70: P110' := P110 - 1
IM[50,30]: -1
T70: P111' := P111 - 1
IM[50,34]: -1
P81 --> T69 : 1
Pre[51,81]: 1
P101 --> T69 : 1
Pre[51,22]: 1
P102 --> T69 : 1
Pre[51,18]: 1
P103 --> T69 : 1
Pre[51,29]: 1
P104 --> T69 : 1
Pre[51,31]: 1
P105 --> T69 : 1
Pre[51,9]: 1
P106 --> T69 : 1
Pre[51,14]: 1
P107 --> T69 : 1
Pre[51,8]: 1
P108 --> T69 : 1
Pre[51,5]: 1
P110 --> T69 : 1
Pre[51,30]: 1
P111 --> T69 : 1
Pre[51,34]: 1
T69: P29' := P29 + 1
IM[51,80]: 1
T69: P81' := P81 - 1
IM[51,81]: -1
T69: P101' := P101 - 1
IM[51,22]: -1
T69: P102' := P102 - 1
IM[51,18]: -1
T69: P103' := P103 - 1
IM[51,29]: -1
T69: P104' := P104 - 1
IM[51,31]: -1
T69: P105' := P105 - 1
IM[51,9]: -1
T69: P106' := P106 - 1
IM[51,14]: -1
T69: P107' := P107 - 1
IM[51,8]: -1
T69: P108' := P108 - 1
IM[51,5]: -1
T69: P110' := P110 - 1
IM[51,30]: -1
T69: P111' := P111 - 1
IM[51,34]: -1
P80 --> T68 : 1
Pre[52,67]: 1
P101 --> T68 : 1
Pre[52,22]: 1
P102 --> T68 : 1
Pre[52,18]: 1
P103 --> T68 : 1
Pre[52,29]: 1
P104 --> T68 : 1
Pre[52,31]: 1
P105 --> T68 : 1
Pre[52,9]: 1
P106 --> T68 : 1
Pre[52,14]: 1
P107 --> T68 : 1
Pre[52,8]: 1
P108 --> T68 : 1
Pre[52,5]: 1
P110 --> T68 : 1
Pre[52,30]: 1
P111 --> T68 : 1
Pre[52,34]: 1
T68: P28' := P28 + 1
IM[52,66]: 1
T68: P80' := P80 - 1
IM[52,67]: -1
T68: P101' := P101 - 1
IM[52,22]: -1
T68: P102' := P102 - 1
IM[52,18]: -1
T68: P103' := P103 - 1
IM[52,29]: -1
T68: P104' := P104 - 1
IM[52,31]: -1
T68: P105' := P105 - 1
IM[52,9]: -1
T68: P106' := P106 - 1
IM[52,14]: -1
T68: P107' := P107 - 1
IM[52,8]: -1
T68: P108' := P108 - 1
IM[52,5]: -1
T68: P110' := P110 - 1
IM[52,30]: -1
T68: P111' := P111 - 1
IM[52,34]: -1
P79 --> T67 : 1
Pre[53,62]: 1
P101 --> T67 : 1
Pre[53,22]: 1
P102 --> T67 : 1
Pre[53,18]: 1
P103 --> T67 : 1
Pre[53,29]: 1
P104 --> T67 : 1
Pre[53,31]: 1
P105 --> T67 : 1
Pre[53,9]: 1
P106 --> T67 : 1
Pre[53,14]: 1
P107 --> T67 : 1
Pre[53,8]: 1
P108 --> T67 : 1
Pre[53,5]: 1
P110 --> T67 : 1
Pre[53,30]: 1
P111 --> T67 : 1
Pre[53,34]: 1
T67: P27' := P27 + 1
IM[53,61]: 1
T67: P79' := P79 - 1
IM[53,62]: -1
T67: P101' := P101 - 1
IM[53,22]: -1
T67: P102' := P102 - 1
IM[53,18]: -1
T67: P103' := P103 - 1
IM[53,29]: -1
T67: P104' := P104 - 1
IM[53,31]: -1
T67: P105' := P105 - 1
IM[53,9]: -1
T67: P106' := P106 - 1
IM[53,14]: -1
T67: P107' := P107 - 1
IM[53,8]: -1
T67: P108' := P108 - 1
IM[53,5]: -1
T67: P110' := P110 - 1
IM[53,30]: -1
T67: P111' := P111 - 1
IM[53,34]: -1
P87 --> T66 : 1
Pre[54,6]: 1
P105 --> T66 : 1
Pre[54,9]: 1
T66: P87' := P87 - 1
IM[54,6]: -1
T66: P94' := P94 + 1
IM[54,10]: 1
T66: P105' := P105 - 1
IM[54,9]: -1
P78 --> T65 : 1
Pre[55,83]: 1
P101 --> T65 : 1
Pre[55,22]: 1
P102 --> T65 : 1
Pre[55,18]: 1
P103 --> T65 : 1
Pre[55,29]: 1
P104 --> T65 : 1
Pre[55,31]: 1
P105 --> T65 : 1
Pre[55,9]: 1
P106 --> T65 : 1
Pre[55,14]: 1
P107 --> T65 : 1
Pre[55,8]: 1
P108 --> T65 : 1
Pre[55,5]: 1
P110 --> T65 : 1
Pre[55,30]: 1
P111 --> T65 : 1
Pre[55,34]: 1
T65: P26' := P26 + 1
IM[55,82]: 1
T65: P78' := P78 - 1
IM[55,83]: -1
T65: P101' := P101 - 1
IM[55,22]: -1
T65: P102' := P102 - 1
IM[55,18]: -1
T65: P103' := P103 - 1
IM[55,29]: -1
T65: P104' := P104 - 1
IM[55,31]: -1
T65: P105' := P105 - 1
IM[55,9]: -1
T65: P106' := P106 - 1
IM[55,14]: -1
T65: P107' := P107 - 1
IM[55,8]: -1
T65: P108' := P108 - 1
IM[55,5]: -1
T65: P110' := P110 - 1
IM[55,30]: -1
T65: P111' := P111 - 1
IM[55,34]: -1
P77 --> T64 : 1
Pre[56,76]: 1
P101 --> T64 : 1
Pre[56,22]: 1
P102 --> T64 : 1
Pre[56,18]: 1
P103 --> T64 : 1
Pre[56,29]: 1
P104 --> T64 : 1
Pre[56,31]: 1
P105 --> T64 : 1
Pre[56,9]: 1
P106 --> T64 : 1
Pre[56,14]: 1
P107 --> T64 : 1
Pre[56,8]: 1
P108 --> T64 : 1
Pre[56,5]: 1
P110 --> T64 : 1
Pre[56,30]: 1
P111 --> T64 : 1
Pre[56,34]: 1
T64: P25' := P25 + 1
IM[56,79]: 1
T64: P77' := P77 - 1
IM[56,76]: -1
T64: P101' := P101 - 1
IM[56,22]: -1
T64: P102' := P102 - 1
IM[56,18]: -1
T64: P103' := P103 - 1
IM[56,29]: -1
T64: P104' := P104 - 1
IM[56,31]: -1
T64: P105' := P105 - 1
IM[56,9]: -1
T64: P106' := P106 - 1
IM[56,14]: -1
T64: P107' := P107 - 1
IM[56,8]: -1
T64: P108' := P108 - 1
IM[56,5]: -1
T64: P110' := P110 - 1
IM[56,30]: -1
T64: P111' := P111 - 1
IM[56,34]: -1
P75 --> T63 : 1
Pre[57,91]: 1
P101 --> T63 : 1
Pre[57,22]: 1
P102 --> T63 : 1
Pre[57,18]: 1
P103 --> T63 : 1
Pre[57,29]: 1
P104 --> T63 : 1
Pre[57,31]: 1
P105 --> T63 : 1
Pre[57,9]: 1
P106 --> T63 : 1
Pre[57,14]: 1
P107 --> T63 : 1
Pre[57,8]: 1
P108 --> T63 : 1
Pre[57,5]: 1
P110 --> T63 : 1
Pre[57,30]: 1
P111 --> T63 : 1
Pre[57,34]: 1
T63: P23' := P23 + 1
IM[57,88]: 1
T63: P75' := P75 - 1
IM[57,91]: -1
T63: P101' := P101 - 1
IM[57,22]: -1
T63: P102' := P102 - 1
IM[57,18]: -1
T63: P103' := P103 - 1
IM[57,29]: -1
T63: P104' := P104 - 1
IM[57,31]: -1
T63: P105' := P105 - 1
IM[57,9]: -1
T63: P106' := P106 - 1
IM[57,14]: -1
T63: P107' := P107 - 1
IM[57,8]: -1
T63: P108' := P108 - 1
IM[57,5]: -1
T63: P110' := P110 - 1
IM[57,30]: -1
T63: P111' := P111 - 1
IM[57,34]: -1
P74 --> T62 : 1
Pre[58,70]: 1
P101 --> T62 : 1
Pre[58,22]: 1
P102 --> T62 : 1
Pre[58,18]: 1
P103 --> T62 : 1
Pre[58,29]: 1
P104 --> T62 : 1
Pre[58,31]: 1
P105 --> T62 : 1
Pre[58,9]: 1
P106 --> T62 : 1
Pre[58,14]: 1
P107 --> T62 : 1
Pre[58,8]: 1
P108 --> T62 : 1
Pre[58,5]: 1
P110 --> T62 : 1
Pre[58,30]: 1
P111 --> T62 : 1
Pre[58,34]: 1
T62: P22' := P22 + 1
IM[58,71]: 1
T62: P74' := P74 - 1
IM[58,70]: -1
T62: P101' := P101 - 1
IM[58,22]: -1
T62: P102' := P102 - 1
IM[58,18]: -1
T62: P103' := P103 - 1
IM[58,29]: -1
T62: P104' := P104 - 1
IM[58,31]: -1
T62: P105' := P105 - 1
IM[58,9]: -1
T62: P106' := P106 - 1
IM[58,14]: -1
T62: P107' := P107 - 1
IM[58,8]: -1
T62: P108' := P108 - 1
IM[58,5]: -1
T62: P110' := P110 - 1
IM[58,30]: -1
T62: P111' := P111 - 1
IM[58,34]: -1
P73 --> T61 : 1
Pre[59,20]: 1
P101 --> T61 : 1
Pre[59,22]: 1
P102 --> T61 : 1
Pre[59,18]: 1
P103 --> T61 : 1
Pre[59,29]: 1
P104 --> T61 : 1
Pre[59,31]: 1
P105 --> T61 : 1
Pre[59,9]: 1
P106 --> T61 : 1
Pre[59,14]: 1
P107 --> T61 : 1
Pre[59,8]: 1
P108 --> T61 : 1
Pre[59,5]: 1
P110 --> T61 : 1
Pre[59,30]: 1
P111 --> T61 : 1
Pre[59,34]: 1
T61: P21' := P21 + 1
IM[59,35]: 1
T61: P73' := P73 - 1
IM[59,20]: -1
T61: P101' := P101 - 1
IM[59,22]: -1
T61: P102' := P102 - 1
IM[59,18]: -1
T61: P103' := P103 - 1
IM[59,29]: -1
T61: P104' := P104 - 1
IM[59,31]: -1
T61: P105' := P105 - 1
IM[59,9]: -1
T61: P106' := P106 - 1
IM[59,14]: -1
T61: P107' := P107 - 1
IM[59,8]: -1
T61: P108' := P108 - 1
IM[59,5]: -1
T61: P110' := P110 - 1
IM[59,30]: -1
T61: P111' := P111 - 1
IM[59,34]: -1
P72 --> T60 : 1
Pre[60,57]: 1
P101 --> T60 : 1
Pre[60,22]: 1
P102 --> T60 : 1
Pre[60,18]: 1
P103 --> T60 : 1
Pre[60,29]: 1
P104 --> T60 : 1
Pre[60,31]: 1
P105 --> T60 : 1
Pre[60,9]: 1
P106 --> T60 : 1
Pre[60,14]: 1
P107 --> T60 : 1
Pre[60,8]: 1
P108 --> T60 : 1
Pre[60,5]: 1
P110 --> T60 : 1
Pre[60,30]: 1
P111 --> T60 : 1
Pre[60,34]: 1
T60: P20' := P20 + 1
IM[60,56]: 1
T60: P72' := P72 - 1
IM[60,57]: -1
T60: P101' := P101 - 1
IM[60,22]: -1
T60: P102' := P102 - 1
IM[60,18]: -1
T60: P103' := P103 - 1
IM[60,29]: -1
T60: P104' := P104 - 1
IM[60,31]: -1
T60: P105' := P105 - 1
IM[60,9]: -1
T60: P106' := P106 - 1
IM[60,14]: -1
T60: P107' := P107 - 1
IM[60,8]: -1
T60: P108' := P108 - 1
IM[60,5]: -1
T60: P110' := P110 - 1
IM[60,30]: -1
T60: P111' := P111 - 1
IM[60,34]: -1
P59 --> T59 : 1
Pre[61,77]: 1
P101 --> T59 : 1
Pre[61,22]: 1
P102 --> T59 : 1
Pre[61,18]: 1
P103 --> T59 : 1
Pre[61,29]: 1
P104 --> T59 : 1
Pre[61,31]: 1
P105 --> T59 : 1
Pre[61,9]: 1
P106 --> T59 : 1
Pre[61,14]: 1
P107 --> T59 : 1
Pre[61,8]: 1
P108 --> T59 : 1
Pre[61,5]: 1
P110 --> T59 : 1
Pre[61,30]: 1
P111 --> T59 : 1
Pre[61,34]: 1
T59: P7' := P7 + 1
IM[61,78]: 1
T59: P59' := P59 - 1
IM[61,77]: -1
T59: P101' := P101 - 1
IM[61,22]: -1
T59: P102' := P102 - 1
IM[61,18]: -1
T59: P103' := P103 - 1
IM[61,29]: -1
T59: P104' := P104 - 1
IM[61,31]: -1
T59: P105' := P105 - 1
IM[61,9]: -1
T59: P106' := P106 - 1
IM[61,14]: -1
T59: P107' := P107 - 1
IM[61,8]: -1
T59: P108' := P108 - 1
IM[61,5]: -1
T59: P110' := P110 - 1
IM[61,30]: -1
T59: P111' := P111 - 1
IM[61,34]: -1
P70 --> T58 : 1
Pre[62,104]: 1
P101 --> T58 : 1
Pre[62,22]: 1
P102 --> T58 : 1
Pre[62,18]: 1
P103 --> T58 : 1
Pre[62,29]: 1
P104 --> T58 : 1
Pre[62,31]: 1
P105 --> T58 : 1
Pre[62,9]: 1
P106 --> T58 : 1
Pre[62,14]: 1
P107 --> T58 : 1
Pre[62,8]: 1
P108 --> T58 : 1
Pre[62,5]: 1
P110 --> T58 : 1
Pre[62,30]: 1
P111 --> T58 : 1
Pre[62,34]: 1
T58: P18' := P18 + 1
IM[62,103]: 1
T58: P70' := P70 - 1
IM[62,104]: -1
T58: P101' := P101 - 1
IM[62,22]: -1
T58: P102' := P102 - 1
IM[62,18]: -1
T58: P103' := P103 - 1
IM[62,29]: -1
T58: P104' := P104 - 1
IM[62,31]: -1
T58: P105' := P105 - 1
IM[62,9]: -1
T58: P106' := P106 - 1
IM[62,14]: -1
T58: P107' := P107 - 1
IM[62,8]: -1
T58: P108' := P108 - 1
IM[62,5]: -1
T58: P110' := P110 - 1
IM[62,30]: -1
T58: P111' := P111 - 1
IM[62,34]: -1
P69 --> T57 : 1
Pre[63,58]: 1
P101 --> T57 : 1
Pre[63,22]: 1
P102 --> T57 : 1
Pre[63,18]: 1
P103 --> T57 : 1
Pre[63,29]: 1
P104 --> T57 : 1
Pre[63,31]: 1
P105 --> T57 : 1
Pre[63,9]: 1
P106 --> T57 : 1
Pre[63,14]: 1
P107 --> T57 : 1
Pre[63,8]: 1
P108 --> T57 : 1
Pre[63,5]: 1
P110 --> T57 : 1
Pre[63,30]: 1
P111 --> T57 : 1
Pre[63,34]: 1
T57: P17' := P17 + 1
IM[63,63]: 1
T57: P69' := P69 - 1
IM[63,58]: -1
T57: P101' := P101 - 1
IM[63,22]: -1
T57: P102' := P102 - 1
IM[63,18]: -1
T57: P103' := P103 - 1
IM[63,29]: -1
T57: P104' := P104 - 1
IM[63,31]: -1
T57: P105' := P105 - 1
IM[63,9]: -1
T57: P106' := P106 - 1
IM[63,14]: -1
T57: P107' := P107 - 1
IM[63,8]: -1
T57: P108' := P108 - 1
IM[63,5]: -1
T57: P110' := P110 - 1
IM[63,30]: -1
T57: P111' := P111 - 1
IM[63,34]: -1
P68 --> T56 : 1
Pre[64,94]: 1
P101 --> T56 : 1
Pre[64,22]: 1
P102 --> T56 : 1
Pre[64,18]: 1
P103 --> T56 : 1
Pre[64,29]: 1
P104 --> T56 : 1
Pre[64,31]: 1
P105 --> T56 : 1
Pre[64,9]: 1
P106 --> T56 : 1
Pre[64,14]: 1
P107 --> T56 : 1
Pre[64,8]: 1
P108 --> T56 : 1
Pre[64,5]: 1
P110 --> T56 : 1
Pre[64,30]: 1
P111 --> T56 : 1
Pre[64,34]: 1
T56: P16' := P16 + 1
IM[64,95]: 1
T56: P68' := P68 - 1
IM[64,94]: -1
T56: P101' := P101 - 1
IM[64,22]: -1
T56: P102' := P102 - 1
IM[64,18]: -1
T56: P103' := P103 - 1
IM[64,29]: -1
T56: P104' := P104 - 1
IM[64,31]: -1
T56: P105' := P105 - 1
IM[64,9]: -1
T56: P106' := P106 - 1
IM[64,14]: -1
T56: P107' := P107 - 1
IM[64,8]: -1
T56: P108' := P108 - 1
IM[64,5]: -1
T56: P110' := P110 - 1
IM[64,30]: -1
T56: P111' := P111 - 1
IM[64,34]: -1
P76 --> T55 : 1
Pre[65,48]: 1
P104 --> T55 : 1
Pre[65,31]: 1
T55: P76' := P76 - 1
IM[65,48]: -1
T55: P93' := P93 + 1
IM[65,42]: 1
T55: P104' := P104 - 1
IM[65,31]: -1
P67 --> T54 : 1
Pre[66,44]: 1
P101 --> T54 : 1
Pre[66,22]: 1
P102 --> T54 : 1
Pre[66,18]: 1
P103 --> T54 : 1
Pre[66,29]: 1
P104 --> T54 : 1
Pre[66,31]: 1
P105 --> T54 : 1
Pre[66,9]: 1
P106 --> T54 : 1
Pre[66,14]: 1
P107 --> T54 : 1
Pre[66,8]: 1
P108 --> T54 : 1
Pre[66,5]: 1
P110 --> T54 : 1
Pre[66,30]: 1
P111 --> T54 : 1
Pre[66,34]: 1
T54: P15' := P15 + 1
IM[66,46]: 1
T54: P67' := P67 - 1
IM[66,44]: -1
T54: P101' := P101 - 1
IM[66,22]: -1
T54: P102' := P102 - 1
IM[66,18]: -1
T54: P103' := P103 - 1
IM[66,29]: -1
T54: P104' := P104 - 1
IM[66,31]: -1
T54: P105' := P105 - 1
IM[66,9]: -1
T54: P106' := P106 - 1
IM[66,14]: -1
T54: P107' := P107 - 1
IM[66,8]: -1
T54: P108' := P108 - 1
IM[66,5]: -1
T54: P110' := P110 - 1
IM[66,30]: -1
T54: P111' := P111 - 1
IM[66,34]: -1
P66 --> T53 : 1
Pre[67,49]: 1
P101 --> T53 : 1
Pre[67,22]: 1
P102 --> T53 : 1
Pre[67,18]: 1
P103 --> T53 : 1
Pre[67,29]: 1
P104 --> T53 : 1
Pre[67,31]: 1
P105 --> T53 : 1
Pre[67,9]: 1
P106 --> T53 : 1
Pre[67,14]: 1
P107 --> T53 : 1
Pre[67,8]: 1
P108 --> T53 : 1
Pre[67,5]: 1
P110 --> T53 : 1
Pre[67,30]: 1
P111 --> T53 : 1
Pre[67,34]: 1
T53: P14' := P14 + 1
IM[67,41]: 1
T53: P66' := P66 - 1
IM[67,49]: -1
T53: P101' := P101 - 1
IM[67,22]: -1
T53: P102' := P102 - 1
IM[67,18]: -1
T53: P103' := P103 - 1
IM[67,29]: -1
T53: P104' := P104 - 1
IM[67,31]: -1
T53: P105' := P105 - 1
IM[67,9]: -1
T53: P106' := P106 - 1
IM[67,14]: -1
T53: P107' := P107 - 1
IM[67,8]: -1
T53: P108' := P108 - 1
IM[67,5]: -1
T53: P110' := P110 - 1
IM[67,30]: -1
T53: P111' := P111 - 1
IM[67,34]: -1
P64 --> T52 : 1
Pre[68,111]: 1
P101 --> T52 : 1
Pre[68,22]: 1
P102 --> T52 : 1
Pre[68,18]: 1
P103 --> T52 : 1
Pre[68,29]: 1
P104 --> T52 : 1
Pre[68,31]: 1
P105 --> T52 : 1
Pre[68,9]: 1
P106 --> T52 : 1
Pre[68,14]: 1
P107 --> T52 : 1
Pre[68,8]: 1
P108 --> T52 : 1
Pre[68,5]: 1
P110 --> T52 : 1
Pre[68,30]: 1
P111 --> T52 : 1
Pre[68,34]: 1
T52: P12' := P12 + 1
IM[68,114]: 1
T52: P64' := P64 - 1
IM[68,111]: -1
T52: P101' := P101 - 1
IM[68,22]: -1
T52: P102' := P102 - 1
IM[68,18]: -1
T52: P103' := P103 - 1
IM[68,29]: -1
T52: P104' := P104 - 1
IM[68,31]: -1
T52: P105' := P105 - 1
IM[68,9]: -1
T52: P106' := P106 - 1
IM[68,14]: -1
T52: P107' := P107 - 1
IM[68,8]: -1
T52: P108' := P108 - 1
IM[68,5]: -1
T52: P110' := P110 - 1
IM[68,30]: -1
T52: P111' := P111 - 1
IM[68,34]: -1
P63 --> T51 : 1
Pre[69,107]: 1
P101 --> T51 : 1
Pre[69,22]: 1
P102 --> T51 : 1
Pre[69,18]: 1
P103 --> T51 : 1
Pre[69,29]: 1
P104 --> T51 : 1
Pre[69,31]: 1
P105 --> T51 : 1
Pre[69,9]: 1
P106 --> T51 : 1
Pre[69,14]: 1
P107 --> T51 : 1
Pre[69,8]: 1
P108 --> T51 : 1
Pre[69,5]: 1
P110 --> T51 : 1
Pre[69,30]: 1
P111 --> T51 : 1
Pre[69,34]: 1
T51: P11' := P11 + 1
IM[69,106]: 1
T51: P63' := P63 - 1
IM[69,107]: -1
T51: P101' := P101 - 1
IM[69,22]: -1
T51: P102' := P102 - 1
IM[69,18]: -1
T51: P103' := P103 - 1
IM[69,29]: -1
T51: P104' := P104 - 1
IM[69,31]: -1
T51: P105' := P105 - 1
IM[69,9]: -1
T51: P106' := P106 - 1
IM[69,14]: -1
T51: P107' := P107 - 1
IM[69,8]: -1
T51: P108' := P108 - 1
IM[69,5]: -1
T51: P110' := P110 - 1
IM[69,30]: -1
T51: P111' := P111 - 1
IM[69,34]: -1
P62 --> T50 : 1
Pre[70,124]: 1
P101 --> T50 : 1
Pre[70,22]: 1
P102 --> T50 : 1
Pre[70,18]: 1
P103 --> T50 : 1
Pre[70,29]: 1
P104 --> T50 : 1
Pre[70,31]: 1
P105 --> T50 : 1
Pre[70,9]: 1
P106 --> T50 : 1
Pre[70,14]: 1
P107 --> T50 : 1
Pre[70,8]: 1
P108 --> T50 : 1
Pre[70,5]: 1
P110 --> T50 : 1
Pre[70,30]: 1
P111 --> T50 : 1
Pre[70,34]: 1
T50: P10' := P10 + 1
IM[70,110]: 1
T50: P62' := P62 - 1
IM[70,124]: -1
T50: P101' := P101 - 1
IM[70,22]: -1
T50: P102' := P102 - 1
IM[70,18]: -1
T50: P103' := P103 - 1
IM[70,29]: -1
T50: P104' := P104 - 1
IM[70,31]: -1
T50: P105' := P105 - 1
IM[70,9]: -1
T50: P106' := P106 - 1
IM[70,14]: -1
T50: P107' := P107 - 1
IM[70,8]: -1
T50: P108' := P108 - 1
IM[70,5]: -1
T50: P110' := P110 - 1
IM[70,30]: -1
T50: P111' := P111 - 1
IM[70,34]: -1
P61 --> T49 : 1
Pre[71,54]: 1
P101 --> T49 : 1
Pre[71,22]: 1
P102 --> T49 : 1
Pre[71,18]: 1
P103 --> T49 : 1
Pre[71,29]: 1
P104 --> T49 : 1
Pre[71,31]: 1
P105 --> T49 : 1
Pre[71,9]: 1
P106 --> T49 : 1
Pre[71,14]: 1
P107 --> T49 : 1
Pre[71,8]: 1
P108 --> T49 : 1
Pre[71,5]: 1
P110 --> T49 : 1
Pre[71,30]: 1
P111 --> T49 : 1
Pre[71,34]: 1
T49: P9' := P9 + 1
IM[71,50]: 1
T49: P61' := P61 - 1
IM[71,54]: -1
T49: P101' := P101 - 1
IM[71,22]: -1
T49: P102' := P102 - 1
IM[71,18]: -1
T49: P103' := P103 - 1
IM[71,29]: -1
T49: P104' := P104 - 1
IM[71,31]: -1
T49: P105' := P105 - 1
IM[71,9]: -1
T49: P106' := P106 - 1
IM[71,14]: -1
T49: P107' := P107 - 1
IM[71,8]: -1
T49: P108' := P108 - 1
IM[71,5]: -1
T49: P110' := P110 - 1
IM[71,30]: -1
T49: P111' := P111 - 1
IM[71,34]: -1
P60 --> T48 : 1
Pre[72,125]: 1
P101 --> T48 : 1
Pre[72,22]: 1
P102 --> T48 : 1
Pre[72,18]: 1
P103 --> T48 : 1
Pre[72,29]: 1
P104 --> T48 : 1
Pre[72,31]: 1
P105 --> T48 : 1
Pre[72,9]: 1
P106 --> T48 : 1
Pre[72,14]: 1
P107 --> T48 : 1
Pre[72,8]: 1
P108 --> T48 : 1
Pre[72,5]: 1
P110 --> T48 : 1
Pre[72,30]: 1
P111 --> T48 : 1
Pre[72,34]: 1
T48: P8' := P8 + 1
IM[72,123]: 1
T48: P60' := P60 - 1
IM[72,125]: -1
T48: P101' := P101 - 1
IM[72,22]: -1
T48: P102' := P102 - 1
IM[72,18]: -1
T48: P103' := P103 - 1
IM[72,29]: -1
T48: P104' := P104 - 1
IM[72,31]: -1
T48: P105' := P105 - 1
IM[72,9]: -1
T48: P106' := P106 - 1
IM[72,14]: -1
T48: P107' := P107 - 1
IM[72,8]: -1
T48: P108' := P108 - 1
IM[72,5]: -1
T48: P110' := P110 - 1
IM[72,30]: -1
T48: P111' := P111 - 1
IM[72,34]: -1
P47 --> T47 : 1
Pre[73,64]: 1
P101 --> T47 : 1
Pre[73,22]: 1
P102 --> T47 : 1
Pre[73,18]: 1
P103 --> T47 : 1
Pre[73,29]: 1
P104 --> T47 : 1
Pre[73,31]: 1
P105 --> T47 : 1
Pre[73,9]: 1
P106 --> T47 : 1
Pre[73,14]: 1
P107 --> T47 : 1
Pre[73,8]: 1
P108 --> T47 : 1
Pre[73,5]: 1
P110 --> T47 : 1
Pre[73,30]: 1
P111 --> T47 : 1
Pre[73,34]: 1
T47: P47' := P47 - 1
IM[73,64]: -1
T47: P101' := P101 - 1
IM[73,22]: -1
T47: P102' := P102 - 1
IM[73,18]: -1
T47: P103' := P103 - 1
IM[73,29]: -1
T47: P104' := P104 - 1
IM[73,31]: -1
T47: P105' := P105 - 1
IM[73,9]: -1
T47: P106' := P106 - 1
IM[73,14]: -1
T47: P107' := P107 - 1
IM[73,8]: -1
T47: P108' := P108 - 1
IM[73,5]: -1
T47: P110' := P110 - 1
IM[73,30]: -1
T47: P111' := P111 - 1
IM[73,34]: -1
T47: P124' := P124 + 1
IM[73,65]: 1
P58 --> T46 : 1
Pre[74,45]: 1
P101 --> T46 : 1
Pre[74,22]: 1
P102 --> T46 : 1
Pre[74,18]: 1
P103 --> T46 : 1
Pre[74,29]: 1
P104 --> T46 : 1
Pre[74,31]: 1
P105 --> T46 : 1
Pre[74,9]: 1
P106 --> T46 : 1
Pre[74,14]: 1
P107 --> T46 : 1
Pre[74,8]: 1
P108 --> T46 : 1
Pre[74,5]: 1
P110 --> T46 : 1
Pre[74,30]: 1
P111 --> T46 : 1
Pre[74,34]: 1
T46: P6' := P6 + 1
IM[74,40]: 1
T46: P58' := P58 - 1
IM[74,45]: -1
T46: P101' := P101 - 1
IM[74,22]: -1
T46: P102' := P102 - 1
IM[74,18]: -1
T46: P103' := P103 - 1
IM[74,29]: -1
T46: P104' := P104 - 1
IM[74,31]: -1
T46: P105' := P105 - 1
IM[74,9]: -1
T46: P106' := P106 - 1
IM[74,14]: -1
T46: P107' := P107 - 1
IM[74,8]: -1
T46: P108' := P108 - 1
IM[74,5]: -1
T46: P110' := P110 - 1
IM[74,30]: -1
T46: P111' := P111 - 1
IM[74,34]: -1
P57 --> T45 : 1
Pre[75,108]: 1
P101 --> T45 : 1
Pre[75,22]: 1
P102 --> T45 : 1
Pre[75,18]: 1
P103 --> T45 : 1
Pre[75,29]: 1
P104 --> T45 : 1
Pre[75,31]: 1
P105 --> T45 : 1
Pre[75,9]: 1
P106 --> T45 : 1
Pre[75,14]: 1
P107 --> T45 : 1
Pre[75,8]: 1
P108 --> T45 : 1
Pre[75,5]: 1
P110 --> T45 : 1
Pre[75,30]: 1
P111 --> T45 : 1
Pre[75,34]: 1
T45: P5' := P5 + 1
IM[75,105]: 1
T45: P57' := P57 - 1
IM[75,108]: -1
T45: P101' := P101 - 1
IM[75,22]: -1
T45: P102' := P102 - 1
IM[75,18]: -1
T45: P103' := P103 - 1
IM[75,29]: -1
T45: P104' := P104 - 1
IM[75,31]: -1
T45: P105' := P105 - 1
IM[75,9]: -1
T45: P106' := P106 - 1
IM[75,14]: -1
T45: P107' := P107 - 1
IM[75,8]: -1
T45: P108' := P108 - 1
IM[75,5]: -1
T45: P110' := P110 - 1
IM[75,30]: -1
T45: P111' := P111 - 1
IM[75,34]: -1
P65 --> T44 : 1
Pre[76,86]: 1
P103 --> T44 : 1
Pre[76,29]: 1
T44: P65' := P65 - 1
IM[76,86]: -1
T44: P92' := P92 + 1
IM[76,84]: 1
T44: P103' := P103 - 1
IM[76,29]: -1
P56 --> T43 : 1
Pre[77,87]: 1
P101 --> T43 : 1
Pre[77,22]: 1
P102 --> T43 : 1
Pre[77,18]: 1
P103 --> T43 : 1
Pre[77,29]: 1
P104 --> T43 : 1
Pre[77,31]: 1
P105 --> T43 : 1
Pre[77,9]: 1
P106 --> T43 : 1
Pre[77,14]: 1
P107 --> T43 : 1
Pre[77,8]: 1
P108 --> T43 : 1
Pre[77,5]: 1
P110 --> T43 : 1
Pre[77,30]: 1
P111 --> T43 : 1
Pre[77,34]: 1
T43: P4' := P4 + 1
IM[77,85]: 1
T43: P56' := P56 - 1
IM[77,87]: -1
T43: P101' := P101 - 1
IM[77,22]: -1
T43: P102' := P102 - 1
IM[77,18]: -1
T43: P103' := P103 - 1
IM[77,29]: -1
T43: P104' := P104 - 1
IM[77,31]: -1
T43: P105' := P105 - 1
IM[77,9]: -1
T43: P106' := P106 - 1
IM[77,14]: -1
T43: P107' := P107 - 1
IM[77,8]: -1
T43: P108' := P108 - 1
IM[77,5]: -1
T43: P110' := P110 - 1
IM[77,30]: -1
T43: P111' := P111 - 1
IM[77,34]: -1
P55 --> T42 : 1
Pre[78,11]: 1
P101 --> T42 : 1
Pre[78,22]: 1
P102 --> T42 : 1
Pre[78,18]: 1
P103 --> T42 : 1
Pre[78,29]: 1
P104 --> T42 : 1
Pre[78,31]: 1
P105 --> T42 : 1
Pre[78,9]: 1
P106 --> T42 : 1
Pre[78,14]: 1
P107 --> T42 : 1
Pre[78,8]: 1
P108 --> T42 : 1
Pre[78,5]: 1
P110 --> T42 : 1
Pre[78,30]: 1
P111 --> T42 : 1
Pre[78,34]: 1
T42: P3' := P3 + 1
IM[78,7]: 1
T42: P55' := P55 - 1
IM[78,11]: -1
T42: P101' := P101 - 1
IM[78,22]: -1
T42: P102' := P102 - 1
IM[78,18]: -1
T42: P103' := P103 - 1
IM[78,29]: -1
T42: P104' := P104 - 1
IM[78,31]: -1
T42: P105' := P105 - 1
IM[78,9]: -1
T42: P106' := P106 - 1
IM[78,14]: -1
T42: P107' := P107 - 1
IM[78,8]: -1
T42: P108' := P108 - 1
IM[78,5]: -1
T42: P110' := P110 - 1
IM[78,30]: -1
T42: P111' := P111 - 1
IM[78,34]: -1
P53 --> T41 : 1
Pre[79,38]: 1
P101 --> T41 : 1
Pre[79,22]: 1
P102 --> T41 : 1
Pre[79,18]: 1
P103 --> T41 : 1
Pre[79,29]: 1
P104 --> T41 : 1
Pre[79,31]: 1
P105 --> T41 : 1
Pre[79,9]: 1
P106 --> T41 : 1
Pre[79,14]: 1
P107 --> T41 : 1
Pre[79,8]: 1
P108 --> T41 : 1
Pre[79,5]: 1
P110 --> T41 : 1
Pre[79,30]: 1
P111 --> T41 : 1
Pre[79,34]: 1
T41: P53' := P53 - 1
IM[79,38]: -1
T41: P101' := P101 - 1
IM[79,22]: -1
T41: P102' := P102 - 1
IM[79,18]: -1
T41: P103' := P103 - 1
IM[79,29]: -1
T41: P104' := P104 - 1
IM[79,31]: -1
T41: P105' := P105 - 1
IM[79,9]: -1
T41: P106' := P106 - 1
IM[79,14]: -1
T41: P107' := P107 - 1
IM[79,8]: -1
T41: P108' := P108 - 1
IM[79,5]: -1
T41: P110' := P110 - 1
IM[79,30]: -1
T41: P111' := P111 - 1
IM[79,34]: -1
T41: P130' := P130 + 1
IM[79,39]: 1
P52 --> T40 : 1
Pre[80,69]: 1
P101 --> T40 : 1
Pre[80,22]: 1
P102 --> T40 : 1
Pre[80,18]: 1
P103 --> T40 : 1
Pre[80,29]: 1
P104 --> T40 : 1
Pre[80,31]: 1
P105 --> T40 : 1
Pre[80,9]: 1
P106 --> T40 : 1
Pre[80,14]: 1
P107 --> T40 : 1
Pre[80,8]: 1
P108 --> T40 : 1
Pre[80,5]: 1
P110 --> T40 : 1
Pre[80,30]: 1
P111 --> T40 : 1
Pre[80,34]: 1
T40: P52' := P52 - 1
IM[80,69]: -1
T40: P101' := P101 - 1
IM[80,22]: -1
T40: P102' := P102 - 1
IM[80,18]: -1
T40: P103' := P103 - 1
IM[80,29]: -1
T40: P104' := P104 - 1
IM[80,31]: -1
T40: P105' := P105 - 1
IM[80,9]: -1
T40: P106' := P106 - 1
IM[80,14]: -1
T40: P107' := P107 - 1
IM[80,8]: -1
T40: P108' := P108 - 1
IM[80,5]: -1
T40: P110' := P110 - 1
IM[80,30]: -1
T40: P111' := P111 - 1
IM[80,34]: -1
T40: P129' := P129 + 1
IM[80,68]: 1
P51 --> T39 : 1
Pre[81,37]: 1
P101 --> T39 : 1
Pre[81,22]: 1
P102 --> T39 : 1
Pre[81,18]: 1
P103 --> T39 : 1
Pre[81,29]: 1
P104 --> T39 : 1
Pre[81,31]: 1
P105 --> T39 : 1
Pre[81,9]: 1
P106 --> T39 : 1
Pre[81,14]: 1
P107 --> T39 : 1
Pre[81,8]: 1
P108 --> T39 : 1
Pre[81,5]: 1
P110 --> T39 : 1
Pre[81,30]: 1
P111 --> T39 : 1
Pre[81,34]: 1
T39: P51' := P51 - 1
IM[81,37]: -1
T39: P101' := P101 - 1
IM[81,22]: -1
T39: P102' := P102 - 1
IM[81,18]: -1
T39: P103' := P103 - 1
IM[81,29]: -1
T39: P104' := P104 - 1
IM[81,31]: -1
T39: P105' := P105 - 1
IM[81,9]: -1
T39: P106' := P106 - 1
IM[81,14]: -1
T39: P107' := P107 - 1
IM[81,8]: -1
T39: P108' := P108 - 1
IM[81,5]: -1
T39: P110' := P110 - 1
IM[81,30]: -1
T39: P111' := P111 - 1
IM[81,34]: -1
T39: P128' := P128 + 1
IM[81,36]: 1
P50 --> T38 : 1
Pre[82,122]: 1
P101 --> T38 : 1
Pre[82,22]: 1
P102 --> T38 : 1
Pre[82,18]: 1
P103 --> T38 : 1
Pre[82,29]: 1
P104 --> T38 : 1
Pre[82,31]: 1
P105 --> T38 : 1
Pre[82,9]: 1
P106 --> T38 : 1
Pre[82,14]: 1
P107 --> T38 : 1
Pre[82,8]: 1
P108 --> T38 : 1
Pre[82,5]: 1
P110 --> T38 : 1
Pre[82,30]: 1
P111 --> T38 : 1
Pre[82,34]: 1
T38: P50' := P50 - 1
IM[82,122]: -1
T38: P101' := P101 - 1
IM[82,22]: -1
T38: P102' := P102 - 1
IM[82,18]: -1
T38: P103' := P103 - 1
IM[82,29]: -1
T38: P104' := P104 - 1
IM[82,31]: -1
T38: P105' := P105 - 1
IM[82,9]: -1
T38: P106' := P106 - 1
IM[82,14]: -1
T38: P107' := P107 - 1
IM[82,8]: -1
T38: P108' := P108 - 1
IM[82,5]: -1
T38: P110' := P110 - 1
IM[82,30]: -1
T38: P111' := P111 - 1
IM[82,34]: -1
T38: P127' := P127 + 1
IM[82,121]: 1
P49 --> T37 : 1
Pre[83,90]: 1
P101 --> T37 : 1
Pre[83,22]: 1
P102 --> T37 : 1
Pre[83,18]: 1
P103 --> T37 : 1
Pre[83,29]: 1
P104 --> T37 : 1
Pre[83,31]: 1
P105 --> T37 : 1
Pre[83,9]: 1
P106 --> T37 : 1
Pre[83,14]: 1
P107 --> T37 : 1
Pre[83,8]: 1
P108 --> T37 : 1
Pre[83,5]: 1
P110 --> T37 : 1
Pre[83,30]: 1
P111 --> T37 : 1
Pre[83,34]: 1
T37: P49' := P49 - 1
IM[83,90]: -1
T37: P101' := P101 - 1
IM[83,22]: -1
T37: P102' := P102 - 1
IM[83,18]: -1
T37: P103' := P103 - 1
IM[83,29]: -1
T37: P104' := P104 - 1
IM[83,31]: -1
T37: P105' := P105 - 1
IM[83,9]: -1
T37: P106' := P106 - 1
IM[83,14]: -1
T37: P107' := P107 - 1
IM[83,8]: -1
T37: P108' := P108 - 1
IM[83,5]: -1
T37: P110' := P110 - 1
IM[83,30]: -1
T37: P111' := P111 - 1
IM[83,34]: -1
T37: P126' := P126 + 1
IM[83,89]: 1
P48 --> T36 : 1
Pre[84,115]: 1
P101 --> T36 : 1
Pre[84,22]: 1
P102 --> T36 : 1
Pre[84,18]: 1
P103 --> T36 : 1
Pre[84,29]: 1
P104 --> T36 : 1
Pre[84,31]: 1
P105 --> T36 : 1
Pre[84,9]: 1
P106 --> T36 : 1
Pre[84,14]: 1
P107 --> T36 : 1
Pre[84,8]: 1
P108 --> T36 : 1
Pre[84,5]: 1
P110 --> T36 : 1
Pre[84,30]: 1
P111 --> T36 : 1
Pre[84,34]: 1
T36: P48' := P48 - 1
IM[84,115]: -1
T36: P101' := P101 - 1
IM[84,22]: -1
T36: P102' := P102 - 1
IM[84,18]: -1
T36: P103' := P103 - 1
IM[84,29]: -1
T36: P104' := P104 - 1
IM[84,31]: -1
T36: P105' := P105 - 1
IM[84,9]: -1
T36: P106' := P106 - 1
IM[84,14]: -1
T36: P107' := P107 - 1
IM[84,8]: -1
T36: P108' := P108 - 1
IM[84,5]: -1
T36: P110' := P110 - 1
IM[84,30]: -1
T36: P111' := P111 - 1
IM[84,34]: -1
T36: P125' := P125 + 1
IM[84,117]: 1
P24 --> T35 : 1
Pre[85,100]: 1
P101 --> T35 : 1
Pre[85,22]: 1
P102 --> T35 : 1
Pre[85,18]: 1
P103 --> T35 : 1
Pre[85,29]: 1
P104 --> T35 : 1
Pre[85,31]: 1
P105 --> T35 : 1
Pre[85,9]: 1
P106 --> T35 : 1
Pre[85,14]: 1
P107 --> T35 : 1
Pre[85,8]: 1
P108 --> T35 : 1
Pre[85,5]: 1
P110 --> T35 : 1
Pre[85,30]: 1
P111 --> T35 : 1
Pre[85,34]: 1
T35: P24' := P24 - 1
IM[85,100]: -1
T35: P101' := P101 - 1
IM[85,22]: -1
T35: P102' := P102 - 1
IM[85,18]: -1
T35: P103' := P103 - 1
IM[85,29]: -1
T35: P104' := P104 - 1
IM[85,31]: -1
T35: P105' := P105 - 1
IM[85,9]: -1
T35: P106' := P106 - 1
IM[85,14]: -1
T35: P107' := P107 - 1
IM[85,8]: -1
T35: P108' := P108 - 1
IM[85,5]: -1
T35: P110' := P110 - 1
IM[85,30]: -1
T35: P111' := P111 - 1
IM[85,34]: -1
T35: P112' := P112 + 1
IM[85,102]: 1
P46 --> T34 : 1
Pre[86,59]: 1
P101 --> T34 : 1
Pre[86,22]: 1
P102 --> T34 : 1
Pre[86,18]: 1
P103 --> T34 : 1
Pre[86,29]: 1
P104 --> T34 : 1
Pre[86,31]: 1
P105 --> T34 : 1
Pre[86,9]: 1
P106 --> T34 : 1
Pre[86,14]: 1
P107 --> T34 : 1
Pre[86,8]: 1
P108 --> T34 : 1
Pre[86,5]: 1
P110 --> T34 : 1
Pre[86,30]: 1
P111 --> T34 : 1
Pre[86,34]: 1
T34: P46' := P46 - 1
IM[86,59]: -1
T34: P101' := P101 - 1
IM[86,22]: -1
T34: P102' := P102 - 1
IM[86,18]: -1
T34: P103' := P103 - 1
IM[86,29]: -1
T34: P104' := P104 - 1
IM[86,31]: -1
T34: P105' := P105 - 1
IM[86,9]: -1
T34: P106' := P106 - 1
IM[86,14]: -1
T34: P107' := P107 - 1
IM[86,8]: -1
T34: P108' := P108 - 1
IM[86,5]: -1
T34: P110' := P110 - 1
IM[86,30]: -1
T34: P111' := P111 - 1
IM[86,34]: -1
T34: P123' := P123 + 1
IM[86,60]: 1
P43 --> T33 : 1
Pre[87,24]: 1
P101 --> T33 : 1
Pre[87,22]: 1
T33: P43' := P43 - 1
IM[87,24]: -1
T33: P90' := P90 + 1
IM[87,23]: 1
T33: P101' := P101 - 1
IM[87,22]: -1
P45 --> T32 : 1
Pre[88,51]: 1
P101 --> T32 : 1
Pre[88,22]: 1
P102 --> T32 : 1
Pre[88,18]: 1
P103 --> T32 : 1
Pre[88,29]: 1
P104 --> T32 : 1
Pre[88,31]: 1
P105 --> T32 : 1
Pre[88,9]: 1
P106 --> T32 : 1
Pre[88,14]: 1
P107 --> T32 : 1
Pre[88,8]: 1
P108 --> T32 : 1
Pre[88,5]: 1
P110 --> T32 : 1
Pre[88,30]: 1
P111 --> T32 : 1
Pre[88,34]: 1
T32: P45' := P45 - 1
IM[88,51]: -1
T32: P101' := P101 - 1
IM[88,22]: -1
T32: P102' := P102 - 1
IM[88,18]: -1
T32: P103' := P103 - 1
IM[88,29]: -1
T32: P104' := P104 - 1
IM[88,31]: -1
T32: P105' := P105 - 1
IM[88,9]: -1
T32: P106' := P106 - 1
IM[88,14]: -1
T32: P107' := P107 - 1
IM[88,8]: -1
T32: P108' := P108 - 1
IM[88,5]: -1
T32: P110' := P110 - 1
IM[88,30]: -1
T32: P111' := P111 - 1
IM[88,34]: -1
T32: P122' := P122 + 1
IM[88,55]: 1
P44 --> T31 : 1
Pre[89,26]: 1
P101 --> T31 : 1
Pre[89,22]: 1
P102 --> T31 : 1
Pre[89,18]: 1
P103 --> T31 : 1
Pre[89,29]: 1
P104 --> T31 : 1
Pre[89,31]: 1
P105 --> T31 : 1
Pre[89,9]: 1
P106 --> T31 : 1
Pre[89,14]: 1
P107 --> T31 : 1
Pre[89,8]: 1
P108 --> T31 : 1
Pre[89,5]: 1
P110 --> T31 : 1
Pre[89,30]: 1
P111 --> T31 : 1
Pre[89,34]: 1
T31: P44' := P44 - 1
IM[89,26]: -1
T31: P101' := P101 - 1
IM[89,22]: -1
T31: P102' := P102 - 1
IM[89,18]: -1
T31: P103' := P103 - 1
IM[89,29]: -1
T31: P104' := P104 - 1
IM[89,31]: -1
T31: P105' := P105 - 1
IM[89,9]: -1
T31: P106' := P106 - 1
IM[89,14]: -1
T31: P107' := P107 - 1
IM[89,8]: -1
T31: P108' := P108 - 1
IM[89,5]: -1
T31: P110' := P110 - 1
IM[89,30]: -1
T31: P111' := P111 - 1
IM[89,34]: -1
T31: P121' := P121 + 1
IM[89,25]: 1
P42 --> T30 : 1
Pre[90,19]: 1
P101 --> T30 : 1
Pre[90,22]: 1
P102 --> T30 : 1
Pre[90,18]: 1
P103 --> T30 : 1
Pre[90,29]: 1
P104 --> T30 : 1
Pre[90,31]: 1
P105 --> T30 : 1
Pre[90,9]: 1
P106 --> T30 : 1
Pre[90,14]: 1
P107 --> T30 : 1
Pre[90,8]: 1
P108 --> T30 : 1
Pre[90,5]: 1
P110 --> T30 : 1
Pre[90,30]: 1
P111 --> T30 : 1
Pre[90,34]: 1
T30: P42' := P42 - 1
IM[90,19]: -1
T30: P101' := P101 - 1
IM[90,22]: -1
T30: P102' := P102 - 1
IM[90,18]: -1
T30: P103' := P103 - 1
IM[90,29]: -1
T30: P104' := P104 - 1
IM[90,31]: -1
T30: P105' := P105 - 1
IM[90,9]: -1
T30: P106' := P106 - 1
IM[90,14]: -1
T30: P107' := P107 - 1
IM[90,8]: -1
T30: P108' := P108 - 1
IM[90,5]: -1
T30: P110' := P110 - 1
IM[90,30]: -1
T30: P111' := P111 - 1
IM[90,34]: -1
T30: P119' := P119 + 1
IM[90,21]: 1
P41 --> T29 : 1
Pre[91,47]: 1
P101 --> T29 : 1
Pre[91,22]: 1
P102 --> T29 : 1
Pre[91,18]: 1
P103 --> T29 : 1
Pre[91,29]: 1
P104 --> T29 : 1
Pre[91,31]: 1
P105 --> T29 : 1
Pre[91,9]: 1
P106 --> T29 : 1
Pre[91,14]: 1
P107 --> T29 : 1
Pre[91,8]: 1
P108 --> T29 : 1
Pre[91,5]: 1
P110 --> T29 : 1
Pre[91,30]: 1
P111 --> T29 : 1
Pre[91,34]: 1
T29: P41' := P41 - 1
IM[91,47]: -1
T29: P101' := P101 - 1
IM[91,22]: -1
T29: P102' := P102 - 1
IM[91,18]: -1
T29: P103' := P103 - 1
IM[91,29]: -1
T29: P104' := P104 - 1
IM[91,31]: -1
T29: P105' := P105 - 1
IM[91,9]: -1
T29: P106' := P106 - 1
IM[91,14]: -1
T29: P107' := P107 - 1
IM[91,8]: -1
T29: P108' := P108 - 1
IM[91,5]: -1
T29: P110' := P110 - 1
IM[91,30]: -1
T29: P111' := P111 - 1
IM[91,34]: -1
T29: P118' := P118 + 1
IM[91,43]: 1
P40 --> T28 : 1
Pre[92,127]: 1
P101 --> T28 : 1
Pre[92,22]: 1
P102 --> T28 : 1
Pre[92,18]: 1
P103 --> T28 : 1
Pre[92,29]: 1
P104 --> T28 : 1
Pre[92,31]: 1
P105 --> T28 : 1
Pre[92,9]: 1
P106 --> T28 : 1
Pre[92,14]: 1
P107 --> T28 : 1
Pre[92,8]: 1
P108 --> T28 : 1
Pre[92,5]: 1
P110 --> T28 : 1
Pre[92,30]: 1
P111 --> T28 : 1
Pre[92,34]: 1
T28: P40' := P40 - 1
IM[92,127]: -1
T28: P101' := P101 - 1
IM[92,22]: -1
T28: P102' := P102 - 1
IM[92,18]: -1
T28: P103' := P103 - 1
IM[92,29]: -1
T28: P104' := P104 - 1
IM[92,31]: -1
T28: P105' := P105 - 1
IM[92,9]: -1
T28: P106' := P106 - 1
IM[92,14]: -1
T28: P107' := P107 - 1
IM[92,8]: -1
T28: P108' := P108 - 1
IM[92,5]: -1
T28: P110' := P110 - 1
IM[92,30]: -1
T28: P111' := P111 - 1
IM[92,34]: -1
T28: P117' := P117 + 1
IM[92,126]: 1
P39 --> T27 : 1
Pre[93,28]: 1
P101 --> T27 : 1
Pre[93,22]: 1
P102 --> T27 : 1
Pre[93,18]: 1
P103 --> T27 : 1
Pre[93,29]: 1
P104 --> T27 : 1
Pre[93,31]: 1
P105 --> T27 : 1
Pre[93,9]: 1
P106 --> T27 : 1
Pre[93,14]: 1
P107 --> T27 : 1
Pre[93,8]: 1
P108 --> T27 : 1
Pre[93,5]: 1
P110 --> T27 : 1
Pre[93,30]: 1
P111 --> T27 : 1
Pre[93,34]: 1
T27: P39' := P39 - 1
IM[93,28]: -1
T27: P101' := P101 - 1
IM[93,22]: -1
T27: P102' := P102 - 1
IM[93,18]: -1
T27: P103' := P103 - 1
IM[93,29]: -1
T27: P104' := P104 - 1
IM[93,31]: -1
T27: P105' := P105 - 1
IM[93,9]: -1
T27: P106' := P106 - 1
IM[93,14]: -1
T27: P107' := P107 - 1
IM[93,8]: -1
T27: P108' := P108 - 1
IM[93,5]: -1
T27: P110' := P110 - 1
IM[93,30]: -1
T27: P111' := P111 - 1
IM[93,34]: -1
T27: P116' := P116 + 1
IM[93,33]: 1
P38 --> T26 : 1
Pre[94,53]: 1
P101 --> T26 : 1
Pre[94,22]: 1
P102 --> T26 : 1
Pre[94,18]: 1
P103 --> T26 : 1
Pre[94,29]: 1
P104 --> T26 : 1
Pre[94,31]: 1
P105 --> T26 : 1
Pre[94,9]: 1
P106 --> T26 : 1
Pre[94,14]: 1
P107 --> T26 : 1
Pre[94,8]: 1
P108 --> T26 : 1
Pre[94,5]: 1
P110 --> T26 : 1
Pre[94,30]: 1
P111 --> T26 : 1
Pre[94,34]: 1
T26: P38' := P38 - 1
IM[94,53]: -1
T26: P101' := P101 - 1
IM[94,22]: -1
T26: P102' := P102 - 1
IM[94,18]: -1
T26: P103' := P103 - 1
IM[94,29]: -1
T26: P104' := P104 - 1
IM[94,31]: -1
T26: P105' := P105 - 1
IM[94,9]: -1
T26: P106' := P106 - 1
IM[94,14]: -1
T26: P107' := P107 - 1
IM[94,8]: -1
T26: P108' := P108 - 1
IM[94,5]: -1
T26: P110' := P110 - 1
IM[94,30]: -1
T26: P111' := P111 - 1
IM[94,34]: -1
T26: P115' := P115 + 1
IM[94,52]: 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,22]: 1
T25: P102' := P102 + 1
IM[95,18]: 1
T25: P103' := P103 + 1
IM[95,29]: 1
T25: P104' := P104 + 1
IM[95,31]: 1
T25: P105' := P105 + 1
IM[95,9]: 1
T25: P106' := P106 + 1
IM[95,14]: 1
T25: P107' := P107 + 1
IM[95,8]: 1
T25: P108' := P108 + 1
IM[95,5]: 1
T25: P110' := P110 + 1
IM[95,30]: 1
T25: P111' := P111 + 1
IM[95,34]: 1
P37 --> T24 : 1
Pre[96,113]: 1
P101 --> T24 : 1
Pre[96,22]: 1
P102 --> T24 : 1
Pre[96,18]: 1
P103 --> T24 : 1
Pre[96,29]: 1
P104 --> T24 : 1
Pre[96,31]: 1
P105 --> T24 : 1
Pre[96,9]: 1
P106 --> T24 : 1
Pre[96,14]: 1
P107 --> T24 : 1
Pre[96,8]: 1
P108 --> T24 : 1
Pre[96,5]: 1
P110 --> T24 : 1
Pre[96,30]: 1
P111 --> T24 : 1
Pre[96,34]: 1
T24: P37' := P37 - 1
IM[96,113]: -1
T24: P101' := P101 - 1
IM[96,22]: -1
T24: P102' := P102 - 1
IM[96,18]: -1
T24: P103' := P103 - 1
IM[96,29]: -1
T24: P104' := P104 - 1
IM[96,31]: -1
T24: P105' := P105 - 1
IM[96,9]: -1
T24: P106' := P106 - 1
IM[96,14]: -1
T24: P107' := P107 - 1
IM[96,8]: -1
T24: P108' := P108 - 1
IM[96,5]: -1
T24: P110' := P110 - 1
IM[96,30]: -1
T24: P111' := P111 - 1
IM[96,34]: -1
T24: P114' := P114 + 1
IM[96,112]: 1
P36 --> T23 : 1
Pre[97,116]: 1
T23: P36' := P36 - 1
IM[97,116]: -1
T23: P88' := P88 + 1
IM[97,118]: 1
T23: P101' := P101 + 1
IM[97,22]: 1
T23: P102' := P102 + 1
IM[97,18]: 1
T23: P103' := P103 + 1
IM[97,29]: 1
T23: P104' := P104 + 1
IM[97,31]: 1
T23: P105' := P105 + 1
IM[97,9]: 1
T23: P106' := P106 + 1
IM[97,14]: 1
T23: P107' := P107 + 1
IM[97,8]: 1
T23: P108' := P108 + 1
IM[97,5]: 1
T23: P110' := P110 + 1
IM[97,30]: 1
T23: P111' := P111 + 1
IM[97,34]: 1
P34 --> T22 : 1
Pre[98,73]: 1
T22: P34' := P34 - 1
IM[98,73]: -1
T22: P86' := P86 + 1
IM[98,72]: 1
T22: P101' := P101 + 1
IM[98,22]: 1
T22: P102' := P102 + 1
IM[98,18]: 1
T22: P103' := P103 + 1
IM[98,29]: 1
T22: P104' := P104 + 1
IM[98,31]: 1
T22: P105' := P105 + 1
IM[98,9]: 1
T22: P106' := P106 + 1
IM[98,14]: 1
T22: P107' := P107 + 1
IM[98,8]: 1
T22: P108' := P108 + 1
IM[98,5]: 1
T22: P110' := P110 + 1
IM[98,30]: 1
T22: P111' := P111 + 1
IM[98,34]: 1
P33 --> T21 : 1
Pre[99,119]: 1
T21: P33' := P33 - 1
IM[99,119]: -1
T21: P85' := P85 + 1
IM[99,120]: 1
T21: P101' := P101 + 1
IM[99,22]: 1
T21: P102' := P102 + 1
IM[99,18]: 1
T21: P103' := P103 + 1
IM[99,29]: 1
T21: P104' := P104 + 1
IM[99,31]: 1
T21: P105' := P105 + 1
IM[99,9]: 1
T21: P106' := P106 + 1
IM[99,14]: 1
T21: P107' := P107 + 1
IM[99,8]: 1
T21: P108' := P108 + 1
IM[99,5]: 1
T21: P110' := P110 + 1
IM[99,30]: 1
T21: P111' := P111 + 1
IM[99,34]: 1
P31 --> T20 : 1
Pre[100,12]: 1
T20: P31' := P31 - 1
IM[100,12]: -1
T20: P83' := P83 + 1
IM[100,13]: 1
T20: P101' := P101 + 1
IM[100,22]: 1
T20: P102' := P102 + 1
IM[100,18]: 1
T20: P103' := P103 + 1
IM[100,29]: 1
T20: P104' := P104 + 1
IM[100,31]: 1
T20: P105' := P105 + 1
IM[100,9]: 1
T20: P106' := P106 + 1
IM[100,14]: 1
T20: P107' := P107 + 1
IM[100,8]: 1
T20: P108' := P108 + 1
IM[100,5]: 1
T20: P110' := P110 + 1
IM[100,30]: 1
T20: P111' := P111 + 1
IM[100,34]: 1
P32 --> T19 : 1
Pre[101,74]: 1
T19: P32' := P32 - 1
IM[101,74]: -1
T19: P84' := P84 + 1
IM[101,75]: 1
T19: P101' := P101 + 1
IM[101,22]: 1
T19: P102' := P102 + 1
IM[101,18]: 1
T19: P103' := P103 + 1
IM[101,29]: 1
T19: P104' := P104 + 1
IM[101,31]: 1
T19: P105' := P105 + 1
IM[101,9]: 1
T19: P106' := P106 + 1
IM[101,14]: 1
T19: P107' := P107 + 1
IM[101,8]: 1
T19: P108' := P108 + 1
IM[101,5]: 1
T19: P110' := P110 + 1
IM[101,30]: 1
T19: P111' := P111 + 1
IM[101,34]: 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,22]: 1
T18: P102' := P102 + 1
IM[102,18]: 1
T18: P103' := P103 + 1
IM[102,29]: 1
T18: P104' := P104 + 1
IM[102,31]: 1
T18: P105' := P105 + 1
IM[102,9]: 1
T18: P106' := P106 + 1
IM[102,14]: 1
T18: P107' := P107 + 1
IM[102,8]: 1
T18: P108' := P108 + 1
IM[102,5]: 1
T18: P110' := P110 + 1
IM[102,30]: 1
T18: P111' := P111 + 1
IM[102,34]: 1
P30 --> T17 : 1
Pre[103,96]: 1
T17: P30' := P30 - 1
IM[103,96]: -1
T17: P82' := P82 + 1
IM[103,97]: 1
T17: P101' := P101 + 1
IM[103,22]: 1
T17: P102' := P102 + 1
IM[103,18]: 1
T17: P103' := P103 + 1
IM[103,29]: 1
T17: P104' := P104 + 1
IM[103,31]: 1
T17: P105' := P105 + 1
IM[103,9]: 1
T17: P106' := P106 + 1
IM[103,14]: 1
T17: P107' := P107 + 1
IM[103,8]: 1
T17: P108' := P108 + 1
IM[103,5]: 1
T17: P110' := P110 + 1
IM[103,30]: 1
T17: P111' := P111 + 1
IM[103,34]: 1
P29 --> T16 : 1
Pre[104,80]: 1
T16: P29' := P29 - 1
IM[104,80]: -1
T16: P81' := P81 + 1
IM[104,81]: 1
T16: P101' := P101 + 1
IM[104,22]: 1
T16: P102' := P102 + 1
IM[104,18]: 1
T16: P103' := P103 + 1
IM[104,29]: 1
T16: P104' := P104 + 1
IM[104,31]: 1
T16: P105' := P105 + 1
IM[104,9]: 1
T16: P106' := P106 + 1
IM[104,14]: 1
T16: P107' := P107 + 1
IM[104,8]: 1
T16: P108' := P108 + 1
IM[104,5]: 1
T16: P110' := P110 + 1
IM[104,30]: 1
T16: P111' := P111 + 1
IM[104,34]: 1
P28 --> T15 : 1
Pre[105,66]: 1
T15: P28' := P28 - 1
IM[105,66]: -1
T15: P80' := P80 + 1
IM[105,67]: 1
T15: P101' := P101 + 1
IM[105,22]: 1
T15: P102' := P102 + 1
IM[105,18]: 1
T15: P103' := P103 + 1
IM[105,29]: 1
T15: P104' := P104 + 1
IM[105,31]: 1
T15: P105' := P105 + 1
IM[105,9]: 1
T15: P106' := P106 + 1
IM[105,14]: 1
T15: P107' := P107 + 1
IM[105,8]: 1
T15: P108' := P108 + 1
IM[105,5]: 1
T15: P110' := P110 + 1
IM[105,30]: 1
T15: P111' := P111 + 1
IM[105,34]: 1
P27 --> T14 : 1
Pre[106,61]: 1
T14: P27' := P27 - 1
IM[106,61]: -1
T14: P79' := P79 + 1
IM[106,62]: 1
T14: P101' := P101 + 1
IM[106,22]: 1
T14: P102' := P102 + 1
IM[106,18]: 1
T14: P103' := P103 + 1
IM[106,29]: 1
T14: P104' := P104 + 1
IM[106,31]: 1
T14: P105' := P105 + 1
IM[106,9]: 1
T14: P106' := P106 + 1
IM[106,14]: 1
T14: P107' := P107 + 1
IM[106,8]: 1
T14: P108' := P108 + 1
IM[106,5]: 1
T14: P110' := P110 + 1
IM[106,30]: 1
T14: P111' := P111 + 1
IM[106,34]: 1
P35 --> T13 : 1
Pre[107,99]: 1
P101 --> T13 : 1
Pre[107,22]: 1
P102 --> T13 : 1
Pre[107,18]: 1
P103 --> T13 : 1
Pre[107,29]: 1
P104 --> T13 : 1
Pre[107,31]: 1
P105 --> T13 : 1
Pre[107,9]: 1
P106 --> T13 : 1
Pre[107,14]: 1
P107 --> T13 : 1
Pre[107,8]: 1
P108 --> T13 : 1
Pre[107,5]: 1
P110 --> T13 : 1
Pre[107,30]: 1
P111 --> T13 : 1
Pre[107,34]: 1
T13: P35' := P35 - 1
IM[107,99]: -1
T13: P101' := P101 - 1
IM[107,22]: -1
T13: P102' := P102 - 1
IM[107,18]: -1
T13: P103' := P103 - 1
IM[107,29]: -1
T13: P104' := P104 - 1
IM[107,31]: -1
T13: P105' := P105 - 1
IM[107,9]: -1
T13: P106' := P106 - 1
IM[107,14]: -1
T13: P107' := P107 - 1
IM[107,8]: -1
T13: P108' := P108 - 1
IM[107,5]: -1
T13: P110' := P110 - 1
IM[107,30]: -1
T13: P111' := P111 - 1
IM[107,34]: -1
T13: P113' := P113 + 1
IM[107,101]: 1
P26 --> T12 : 1
Pre[108,82]: 1
T12: P26' := P26 - 1
IM[108,82]: -1
T12: P78' := P78 + 1
IM[108,83]: 1
T12: P101' := P101 + 1
IM[108,22]: 1
T12: P102' := P102 + 1
IM[108,18]: 1
T12: P103' := P103 + 1
IM[108,29]: 1
T12: P104' := P104 + 1
IM[108,31]: 1
T12: P105' := P105 + 1
IM[108,9]: 1
T12: P106' := P106 + 1
IM[108,14]: 1
T12: P107' := P107 + 1
IM[108,8]: 1
T12: P108' := P108 + 1
IM[108,5]: 1
T12: P110' := P110 + 1
IM[108,30]: 1
T12: P111' := P111 + 1
IM[108,34]: 1
P25 --> T11 : 1
Pre[109,79]: 1
T11: P25' := P25 - 1
IM[109,79]: -1
T11: P77' := P77 + 1
IM[109,76]: 1
T11: P101' := P101 + 1
IM[109,22]: 1
T11: P102' := P102 + 1
IM[109,18]: 1
T11: P103' := P103 + 1
IM[109,29]: 1
T11: P104' := P104 + 1
IM[109,31]: 1
T11: P105' := P105 + 1
IM[109,9]: 1
T11: P106' := P106 + 1
IM[109,14]: 1
T11: P107' := P107 + 1
IM[109,8]: 1
T11: P108' := P108 + 1
IM[109,5]: 1
T11: P110' := P110 + 1
IM[109,30]: 1
T11: P111' := P111 + 1
IM[109,34]: 1
P23 --> T10 : 1
Pre[110,88]: 1
T10: P23' := P23 - 1
IM[110,88]: -1
T10: P75' := P75 + 1
IM[110,91]: 1
T10: P101' := P101 + 1
IM[110,22]: 1
T10: P102' := P102 + 1
IM[110,18]: 1
T10: P103' := P103 + 1
IM[110,29]: 1
T10: P104' := P104 + 1
IM[110,31]: 1
T10: P105' := P105 + 1
IM[110,9]: 1
T10: P106' := P106 + 1
IM[110,14]: 1
T10: P107' := P107 + 1
IM[110,8]: 1
T10: P108' := P108 + 1
IM[110,5]: 1
T10: P110' := P110 + 1
IM[110,30]: 1
T10: P111' := P111 + 1
IM[110,34]: 1
P22 --> T9 : 1
Pre[111,71]: 1
T9: P22' := P22 - 1
IM[111,71]: -1
T9: P74' := P74 + 1
IM[111,70]: 1
T9: P101' := P101 + 1
IM[111,22]: 1
T9: P102' := P102 + 1
IM[111,18]: 1
T9: P103' := P103 + 1
IM[111,29]: 1
T9: P104' := P104 + 1
IM[111,31]: 1
T9: P105' := P105 + 1
IM[111,9]: 1
T9: P106' := P106 + 1
IM[111,14]: 1
T9: P107' := P107 + 1
IM[111,8]: 1
T9: P108' := P108 + 1
IM[111,5]: 1
T9: P110' := P110 + 1
IM[111,30]: 1
T9: P111' := P111 + 1
IM[111,34]: 1
P21 --> T8 : 1
Pre[112,35]: 1
T8: P21' := P21 - 1
IM[112,35]: -1
T8: P73' := P73 + 1
IM[112,20]: 1
T8: P101' := P101 + 1
IM[112,22]: 1
T8: P102' := P102 + 1
IM[112,18]: 1
T8: P103' := P103 + 1
IM[112,29]: 1
T8: P104' := P104 + 1
IM[112,31]: 1
T8: P105' := P105 + 1
IM[112,9]: 1
T8: P106' := P106 + 1
IM[112,14]: 1
T8: P107' := P107 + 1
IM[112,8]: 1
T8: P108' := P108 + 1
IM[112,5]: 1
T8: P110' := P110 + 1
IM[112,30]: 1
T8: P111' := P111 + 1
IM[112,34]: 1
P20 --> T7 : 1
Pre[113,56]: 1
T7: P20' := P20 - 1
IM[113,56]: -1
T7: P72' := P72 + 1
IM[113,57]: 1
T7: P101' := P101 + 1
IM[113,22]: 1
T7: P102' := P102 + 1
IM[113,18]: 1
T7: P103' := P103 + 1
IM[113,29]: 1
T7: P104' := P104 + 1
IM[113,31]: 1
T7: P105' := P105 + 1
IM[113,9]: 1
T7: P106' := P106 + 1
IM[113,14]: 1
T7: P107' := P107 + 1
IM[113,8]: 1
T7: P108' := P108 + 1
IM[113,5]: 1
T7: P110' := P110 + 1
IM[113,30]: 1
T7: P111' := P111 + 1
IM[113,34]: 1
P7 --> T6 : 1
Pre[114,78]: 1
T6: P7' := P7 - 1
IM[114,78]: -1
T6: P59' := P59 + 1
IM[114,77]: 1
T6: P101' := P101 + 1
IM[114,22]: 1
T6: P102' := P102 + 1
IM[114,18]: 1
T6: P103' := P103 + 1
IM[114,29]: 1
T6: P104' := P104 + 1
IM[114,31]: 1
T6: P105' := P105 + 1
IM[114,9]: 1
T6: P106' := P106 + 1
IM[114,14]: 1
T6: P107' := P107 + 1
IM[114,8]: 1
T6: P108' := P108 + 1
IM[114,5]: 1
T6: P110' := P110 + 1
IM[114,30]: 1
T6: P111' := P111 + 1
IM[114,34]: 1
P18 --> T5 : 1
Pre[115,103]: 1
T5: P18' := P18 - 1
IM[115,103]: -1
T5: P70' := P70 + 1
IM[115,104]: 1
T5: P101' := P101 + 1
IM[115,22]: 1
T5: P102' := P102 + 1
IM[115,18]: 1
T5: P103' := P103 + 1
IM[115,29]: 1
T5: P104' := P104 + 1
IM[115,31]: 1
T5: P105' := P105 + 1
IM[115,9]: 1
T5: P106' := P106 + 1
IM[115,14]: 1
T5: P107' := P107 + 1
IM[115,8]: 1
T5: P108' := P108 + 1
IM[115,5]: 1
T5: P110' := P110 + 1
IM[115,30]: 1
T5: P111' := P111 + 1
IM[115,34]: 1
P17 --> T4 : 1
Pre[116,63]: 1
T4: P17' := P17 - 1
IM[116,63]: -1
T4: P69' := P69 + 1
IM[116,58]: 1
T4: P101' := P101 + 1
IM[116,22]: 1
T4: P102' := P102 + 1
IM[116,18]: 1
T4: P103' := P103 + 1
IM[116,29]: 1
T4: P104' := P104 + 1
IM[116,31]: 1
T4: P105' := P105 + 1
IM[116,9]: 1
T4: P106' := P106 + 1
IM[116,14]: 1
T4: P107' := P107 + 1
IM[116,8]: 1
T4: P108' := P108 + 1
IM[116,5]: 1
T4: P110' := P110 + 1
IM[116,30]: 1
T4: P111' := P111 + 1
IM[116,34]: 1
P16 --> T3 : 1
Pre[117,95]: 1
T3: P16' := P16 - 1
IM[117,95]: -1
T3: P68' := P68 + 1
IM[117,94]: 1
T3: P101' := P101 + 1
IM[117,22]: 1
T3: P102' := P102 + 1
IM[117,18]: 1
T3: P103' := P103 + 1
IM[117,29]: 1
T3: P104' := P104 + 1
IM[117,31]: 1
T3: P105' := P105 + 1
IM[117,9]: 1
T3: P106' := P106 + 1
IM[117,14]: 1
T3: P107' := P107 + 1
IM[117,8]: 1
T3: P108' := P108 + 1
IM[117,5]: 1
T3: P110' := P110 + 1
IM[117,30]: 1
T3: P111' := P111 + 1
IM[117,34]: 1
P13 --> T2 : 1
Pre[118,27]: 1
P111 --> T2 : 1
Pre[118,34]: 1
T2: P13' := P13 - 1
IM[118,27]: -1
T2: P100' := P100 + 1
IM[118,32]: 1
T2: P111' := P111 - 1
IM[118,34]: -1
P54 --> T1 : 1
Pre[119,15]: 1
P102 --> T1 : 1
Pre[119,18]: 1
T1: P54' := P54 - 1
IM[119,15]: -1
T1: P91' := P91 + 1
IM[119,16]: 1
T1: P102' := P102 - 1
IM[119,18]: -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
FORMULA RwMutex-PT-r0010w0050-UpperBounds-00 1 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA RwMutex-PT-r0010w0050-UpperBounds-01 1 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA RwMutex-PT-r0010w0050-UpperBounds-02 1 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA RwMutex-PT-r0010w0050-UpperBounds-03 1 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA RwMutex-PT-r0010w0050-UpperBounds-04 1 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA RwMutex-PT-r0010w0050-UpperBounds-05 1 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA RwMutex-PT-r0010w0050-UpperBounds-06 1 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA RwMutex-PT-r0010w0050-UpperBounds-07 1 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA RwMutex-PT-r0010w0050-UpperBounds-08 1 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA RwMutex-PT-r0010w0050-UpperBounds-09 1 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA RwMutex-PT-r0010w0050-UpperBounds-10 1 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA RwMutex-PT-r0010w0050-UpperBounds-11 1 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA RwMutex-PT-r0010w0050-UpperBounds-12 1 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA RwMutex-PT-r0010w0050-UpperBounds-13 1 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA RwMutex-PT-r0010w0050-UpperBounds-14 1 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA RwMutex-PT-r0010w0050-UpperBounds-15 1 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
BK_STOP 1526899745206
--------------------
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="UpperBounds"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/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 UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r146-smll-152685545000107"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
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 ;