fond
Model Checking Contest 2018
8th edition, Bratislava, Slovakia, June 26, 2018
Execution of r026-ebro-152646304000260
Last Updated
June 26, 2018

About the Execution of smart for BridgeAndVehicles-PT-V10P10N10

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
497.940 72307.00 71991.00 99.00 2.5956E+0005 8.2128E+0005 10 34 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 656K
-rw-r--r-- 1 mcc users 5.2K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 21K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 69K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 5.0K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 121 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 359 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 21K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 67K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.1K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.4K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 10 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 311K May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool smart
Input is BridgeAndVehicles-PT-V10P10N10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r026-ebro-152646304000260
=====================================================================


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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1526501316980

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

Filename model.pnml
Petri model created: 48 places, 288 transitions, 2090 arcs.
P12 --> T288 : 1
Pre[0,38]: 1
P13 --> T288 : 1
Pre[0,36]: 1
P16 --> T288 : 1
Pre[0,19]: 1
P17 --> T288 : 1
Pre[0,16]: 1
T288: P12' := P12 - 1
IM[0,38]: -1
T288: P13' := P13 - 1
IM[0,36]: -1
T288: P16' := P16 - 1
IM[0,19]: -1
T288: P17' := P17 - 1
IM[0,16]: -1
T288: P11' := P11 + 1
IM[0,39]: 1
T288: P14' := P14 + 1
IM[0,35]: 1
T288: P31' := P31 + 1
IM[0,15]: 1
P11 --> T287 : 1
Pre[1,39]: 1
P13 --> T287 : 1
Pre[1,36]: 1
P16 --> T287 : 1
Pre[1,19]: 1
P17 --> T287 : 1
Pre[1,16]: 1
T287: P11' := P11 - 1
IM[1,39]: -1
T287: P13' := P13 - 1
IM[1,36]: -1
T287: P16' := P16 - 1
IM[1,19]: -1
T287: P17' := P17 - 1
IM[1,16]: -1
T287: P10' := P10 + 1
IM[1,40]: 1
T287: P14' := P14 + 1
IM[1,35]: 1
T287: P31' := P31 + 1
IM[1,15]: 1
P10 --> T286 : 1
Pre[2,40]: 1
P13 --> T286 : 1
Pre[2,36]: 1
P16 --> T286 : 1
Pre[2,19]: 1
P17 --> T286 : 1
Pre[2,16]: 1
T286: P10' := P10 - 1
IM[2,40]: -1
T286: P13' := P13 - 1
IM[2,36]: -1
T286: P16' := P16 - 1
IM[2,19]: -1
T286: P17' := P17 - 1
IM[2,16]: -1
T286: P9' := P9 + 1
IM[2,41]: 1
T286: P14' := P14 + 1
IM[2,35]: 1
T286: P31' := P31 + 1
IM[2,15]: 1
P9 --> T285 : 1
Pre[3,41]: 1
P13 --> T285 : 1
Pre[3,36]: 1
P16 --> T285 : 1
Pre[3,19]: 1
P17 --> T285 : 1
Pre[3,16]: 1
T285: P9' := P9 - 1
IM[3,41]: -1
T285: P13' := P13 - 1
IM[3,36]: -1
T285: P16' := P16 - 1
IM[3,19]: -1
T285: P17' := P17 - 1
IM[3,16]: -1
T285: P8' := P8 + 1
IM[3,43]: 1
T285: P14' := P14 + 1
IM[3,35]: 1
T285: P31' := P31 + 1
IM[3,15]: 1
P8 --> T284 : 1
Pre[4,43]: 1
P13 --> T284 : 1
Pre[4,36]: 1
P16 --> T284 : 1
Pre[4,19]: 1
P17 --> T284 : 1
Pre[4,16]: 1
T284: P8' := P8 - 1
IM[4,43]: -1
T284: P13' := P13 - 1
IM[4,36]: -1
T284: P16' := P16 - 1
IM[4,19]: -1
T284: P17' := P17 - 1
IM[4,16]: -1
T284: P7' := P7 + 1
IM[4,46]: 1
T284: P14' := P14 + 1
IM[4,35]: 1
T284: P31' := P31 + 1
IM[4,15]: 1
P7 --> T283 : 1
Pre[5,46]: 1
P13 --> T283 : 1
Pre[5,36]: 1
P16 --> T283 : 1
Pre[5,19]: 1
P17 --> T283 : 1
Pre[5,16]: 1
T283: P7' := P7 - 1
IM[5,46]: -1
T283: P13' := P13 - 1
IM[5,36]: -1
T283: P16' := P16 - 1
IM[5,19]: -1
T283: P17' := P17 - 1
IM[5,16]: -1
T283: P6' := P6 + 1
IM[5,45]: 1
T283: P14' := P14 + 1
IM[5,35]: 1
T283: P31' := P31 + 1
IM[5,15]: 1
P6 --> T282 : 1
Pre[6,45]: 1
P13 --> T282 : 1
Pre[6,36]: 1
P16 --> T282 : 1
Pre[6,19]: 1
P17 --> T282 : 1
Pre[6,16]: 1
T282: P6' := P6 - 1
IM[6,45]: -1
T282: P13' := P13 - 1
IM[6,36]: -1
T282: P16' := P16 - 1
IM[6,19]: -1
T282: P17' := P17 - 1
IM[6,16]: -1
T282: P5' := P5 + 1
IM[6,44]: 1
T282: P14' := P14 + 1
IM[6,35]: 1
T282: P31' := P31 + 1
IM[6,15]: 1
P5 --> T281 : 1
Pre[7,44]: 1
P13 --> T281 : 1
Pre[7,36]: 1
P16 --> T281 : 1
Pre[7,19]: 1
P17 --> T281 : 1
Pre[7,16]: 1
T281: P5' := P5 - 1
IM[7,44]: -1
T281: P13' := P13 - 1
IM[7,36]: -1
T281: P16' := P16 - 1
IM[7,19]: -1
T281: P17' := P17 - 1
IM[7,16]: -1
T281: P4' := P4 + 1
IM[7,42]: 1
T281: P14' := P14 + 1
IM[7,35]: 1
T281: P31' := P31 + 1
IM[7,15]: 1
P4 --> T280 : 1
Pre[8,42]: 1
P13 --> T280 : 1
Pre[8,36]: 1
P16 --> T280 : 1
Pre[8,19]: 1
P17 --> T280 : 1
Pre[8,16]: 1
T280: P4' := P4 - 1
IM[8,42]: -1
T280: P13' := P13 - 1
IM[8,36]: -1
T280: P16' := P16 - 1
IM[8,19]: -1
T280: P17' := P17 - 1
IM[8,16]: -1
T280: P3' := P3 + 1
IM[8,37]: 1
T280: P14' := P14 + 1
IM[8,35]: 1
T280: P31' := P31 + 1
IM[8,15]: 1
P3 --> T279 : 1
Pre[9,37]: 1
P13 --> T279 : 1
Pre[9,36]: 1
P16 --> T279 : 1
Pre[9,19]: 1
P17 --> T279 : 1
Pre[9,16]: 1
T279: P3' := P3 - 1
IM[9,37]: -1
T279: P13' := P13 - 1
IM[9,36]: -1
T279: P16' := P16 - 1
IM[9,19]: -1
T279: P17' := P17 - 1
IM[9,16]: -1
T279: P2' := P2 + 1
IM[9,23]: 1
T279: P14' := P14 + 1
IM[9,35]: 1
T279: P31' := P31 + 1
IM[9,15]: 1
P12 --> T278 : 1
Pre[10,38]: 1
P18 --> T278 : 1
Pre[10,14]: 1
P19 --> T278 : 1
Pre[10,34]: 1
P48 --> T278 : 1
Pre[10,11]: 1
T278: P18' := P18 - 1
IM[10,14]: -1
T278: P48' := P48 - 1
IM[10,11]: -1
T278: P34' := P34 + 1
IM[10,18]: 1
T278: P38' := P38 + 1
IM[10,12]: 1
P12 --> T277 : 1
Pre[11,38]: 1
P18 --> T277 : 1
Pre[11,14]: 1
P19 --> T277 : 1
Pre[11,34]: 1
P47 --> T277 : 1
Pre[11,6]: 1
T277: P18' := P18 - 1
IM[11,14]: -1
T277: P47' := P47 - 1
IM[11,6]: -1
T277: P34' := P34 + 1
IM[11,18]: 1
T277: P38' := P38 + 1
IM[11,12]: 1
P12 --> T276 : 1
Pre[12,38]: 1
P18 --> T276 : 1
Pre[12,14]: 1
P19 --> T276 : 1
Pre[12,34]: 1
P46 --> T276 : 1
Pre[12,3]: 1
T276: P18' := P18 - 1
IM[12,14]: -1
T276: P46' := P46 - 1
IM[12,3]: -1
T276: P34' := P34 + 1
IM[12,18]: 1
T276: P38' := P38 + 1
IM[12,12]: 1
P12 --> T275 : 1
Pre[13,38]: 1
P18 --> T275 : 1
Pre[13,14]: 1
P19 --> T275 : 1
Pre[13,34]: 1
P45 --> T275 : 1
Pre[13,2]: 1
T275: P18' := P18 - 1
IM[13,14]: -1
T275: P45' := P45 - 1
IM[13,2]: -1
T275: P34' := P34 + 1
IM[13,18]: 1
T275: P38' := P38 + 1
IM[13,12]: 1
P12 --> T274 : 1
Pre[14,38]: 1
P18 --> T274 : 1
Pre[14,14]: 1
P19 --> T274 : 1
Pre[14,34]: 1
P44 --> T274 : 1
Pre[14,4]: 1
T274: P18' := P18 - 1
IM[14,14]: -1
T274: P44' := P44 - 1
IM[14,4]: -1
T274: P34' := P34 + 1
IM[14,18]: 1
T274: P38' := P38 + 1
IM[14,12]: 1
P12 --> T273 : 1
Pre[15,38]: 1
P18 --> T273 : 1
Pre[15,14]: 1
P19 --> T273 : 1
Pre[15,34]: 1
P43 --> T273 : 1
Pre[15,5]: 1
T273: P18' := P18 - 1
IM[15,14]: -1
T273: P43' := P43 - 1
IM[15,5]: -1
T273: P34' := P34 + 1
IM[15,18]: 1
T273: P38' := P38 + 1
IM[15,12]: 1
P12 --> T272 : 1
Pre[16,38]: 1
P18 --> T272 : 1
Pre[16,14]: 1
P19 --> T272 : 1
Pre[16,34]: 1
P42 --> T272 : 1
Pre[16,7]: 1
T272: P18' := P18 - 1
IM[16,14]: -1
T272: P42' := P42 - 1
IM[16,7]: -1
T272: P34' := P34 + 1
IM[16,18]: 1
T272: P38' := P38 + 1
IM[16,12]: 1
P12 --> T271 : 1
Pre[17,38]: 1
P18 --> T271 : 1
Pre[17,14]: 1
P19 --> T271 : 1
Pre[17,34]: 1
P41 --> T271 : 1
Pre[17,8]: 1
T271: P18' := P18 - 1
IM[17,14]: -1
T271: P41' := P41 - 1
IM[17,8]: -1
T271: P34' := P34 + 1
IM[17,18]: 1
T271: P38' := P38 + 1
IM[17,12]: 1
P12 --> T270 : 1
Pre[18,38]: 1
P18 --> T270 : 1
Pre[18,14]: 1
P19 --> T270 : 1
Pre[18,34]: 1
P40 --> T270 : 1
Pre[18,9]: 1
T270: P18' := P18 - 1
IM[18,14]: -1
T270: P40' := P40 - 1
IM[18,9]: -1
T270: P34' := P34 + 1
IM[18,18]: 1
T270: P38' := P38 + 1
IM[18,12]: 1
P12 --> T269 : 1
Pre[19,38]: 1
P18 --> T269 : 1
Pre[19,14]: 1
P19 --> T269 : 1
Pre[19,34]: 1
P39 --> T269 : 1
Pre[19,10]: 1
T269: P18' := P18 - 1
IM[19,14]: -1
T269: P39' := P39 - 1
IM[19,10]: -1
T269: P34' := P34 + 1
IM[19,18]: 1
T269: P38' := P38 + 1
IM[19,12]: 1
P12 --> T268 : 1
Pre[20,38]: 1
P18 --> T268 : 1
Pre[20,14]: 1
P19 --> T268 : 1
Pre[20,34]: 1
P38 --> T268 : 1
Pre[20,12]: 1
T268: P18' := P18 - 1
IM[20,14]: -1
T268: P34' := P34 + 1
IM[20,18]: 1
P11 --> T267 : 1
Pre[21,39]: 1
P18 --> T267 : 1
Pre[21,14]: 1
P19 --> T267 : 1
Pre[21,34]: 1
P48 --> T267 : 1
Pre[21,11]: 1
T267: P18' := P18 - 1
IM[21,14]: -1
T267: P48' := P48 - 1
IM[21,11]: -1
T267: P34' := P34 + 1
IM[21,18]: 1
T267: P38' := P38 + 1
IM[21,12]: 1
P11 --> T266 : 1
Pre[22,39]: 1
P18 --> T266 : 1
Pre[22,14]: 1
P19 --> T266 : 1
Pre[22,34]: 1
P47 --> T266 : 1
Pre[22,6]: 1
T266: P18' := P18 - 1
IM[22,14]: -1
T266: P47' := P47 - 1
IM[22,6]: -1
T266: P34' := P34 + 1
IM[22,18]: 1
T266: P38' := P38 + 1
IM[22,12]: 1
P11 --> T265 : 1
Pre[23,39]: 1
P18 --> T265 : 1
Pre[23,14]: 1
P19 --> T265 : 1
Pre[23,34]: 1
P46 --> T265 : 1
Pre[23,3]: 1
T265: P18' := P18 - 1
IM[23,14]: -1
T265: P46' := P46 - 1
IM[23,3]: -1
T265: P34' := P34 + 1
IM[23,18]: 1
T265: P38' := P38 + 1
IM[23,12]: 1
P11 --> T264 : 1
Pre[24,39]: 1
P18 --> T264 : 1
Pre[24,14]: 1
P19 --> T264 : 1
Pre[24,34]: 1
P45 --> T264 : 1
Pre[24,2]: 1
T264: P18' := P18 - 1
IM[24,14]: -1
T264: P45' := P45 - 1
IM[24,2]: -1
T264: P34' := P34 + 1
IM[24,18]: 1
T264: P38' := P38 + 1
IM[24,12]: 1
P11 --> T263 : 1
Pre[25,39]: 1
P18 --> T263 : 1
Pre[25,14]: 1
P19 --> T263 : 1
Pre[25,34]: 1
P44 --> T263 : 1
Pre[25,4]: 1
T263: P18' := P18 - 1
IM[25,14]: -1
T263: P44' := P44 - 1
IM[25,4]: -1
T263: P34' := P34 + 1
IM[25,18]: 1
T263: P38' := P38 + 1
IM[25,12]: 1
P11 --> T262 : 1
Pre[26,39]: 1
P18 --> T262 : 1
Pre[26,14]: 1
P19 --> T262 : 1
Pre[26,34]: 1
P43 --> T262 : 1
Pre[26,5]: 1
T262: P18' := P18 - 1
IM[26,14]: -1
T262: P43' := P43 - 1
IM[26,5]: -1
T262: P34' := P34 + 1
IM[26,18]: 1
T262: P38' := P38 + 1
IM[26,12]: 1
P11 --> T261 : 1
Pre[27,39]: 1
P18 --> T261 : 1
Pre[27,14]: 1
P19 --> T261 : 1
Pre[27,34]: 1
P42 --> T261 : 1
Pre[27,7]: 1
T261: P18' := P18 - 1
IM[27,14]: -1
T261: P42' := P42 - 1
IM[27,7]: -1
T261: P34' := P34 + 1
IM[27,18]: 1
T261: P38' := P38 + 1
IM[27,12]: 1
P11 --> T260 : 1
Pre[28,39]: 1
P18 --> T260 : 1
Pre[28,14]: 1
P19 --> T260 : 1
Pre[28,34]: 1
P41 --> T260 : 1
Pre[28,8]: 1
T260: P18' := P18 - 1
IM[28,14]: -1
T260: P41' := P41 - 1
IM[28,8]: -1
T260: P34' := P34 + 1
IM[28,18]: 1
T260: P38' := P38 + 1
IM[28,12]: 1
P11 --> T259 : 1
Pre[29,39]: 1
P18 --> T259 : 1
Pre[29,14]: 1
P19 --> T259 : 1
Pre[29,34]: 1
P40 --> T259 : 1
Pre[29,9]: 1
T259: P18' := P18 - 1
IM[29,14]: -1
T259: P40' := P40 - 1
IM[29,9]: -1
T259: P34' := P34 + 1
IM[29,18]: 1
T259: P38' := P38 + 1
IM[29,12]: 1
P11 --> T258 : 1
Pre[30,39]: 1
P18 --> T258 : 1
Pre[30,14]: 1
P19 --> T258 : 1
Pre[30,34]: 1
P39 --> T258 : 1
Pre[30,10]: 1
T258: P18' := P18 - 1
IM[30,14]: -1
T258: P39' := P39 - 1
IM[30,10]: -1
T258: P34' := P34 + 1
IM[30,18]: 1
T258: P38' := P38 + 1
IM[30,12]: 1
P11 --> T257 : 1
Pre[31,39]: 1
P18 --> T257 : 1
Pre[31,14]: 1
P19 --> T257 : 1
Pre[31,34]: 1
P38 --> T257 : 1
Pre[31,12]: 1
T257: P18' := P18 - 1
IM[31,14]: -1
T257: P34' := P34 + 1
IM[31,18]: 1
P10 --> T256 : 1
Pre[32,40]: 1
P18 --> T256 : 1
Pre[32,14]: 1
P19 --> T256 : 1
Pre[32,34]: 1
P48 --> T256 : 1
Pre[32,11]: 1
T256: P18' := P18 - 1
IM[32,14]: -1
T256: P48' := P48 - 1
IM[32,11]: -1
T256: P34' := P34 + 1
IM[32,18]: 1
T256: P38' := P38 + 1
IM[32,12]: 1
P10 --> T255 : 1
Pre[33,40]: 1
P18 --> T255 : 1
Pre[33,14]: 1
P19 --> T255 : 1
Pre[33,34]: 1
P47 --> T255 : 1
Pre[33,6]: 1
T255: P18' := P18 - 1
IM[33,14]: -1
T255: P47' := P47 - 1
IM[33,6]: -1
T255: P34' := P34 + 1
IM[33,18]: 1
T255: P38' := P38 + 1
IM[33,12]: 1
P10 --> T254 : 1
Pre[34,40]: 1
P18 --> T254 : 1
Pre[34,14]: 1
P19 --> T254 : 1
Pre[34,34]: 1
P46 --> T254 : 1
Pre[34,3]: 1
T254: P18' := P18 - 1
IM[34,14]: -1
T254: P46' := P46 - 1
IM[34,3]: -1
T254: P34' := P34 + 1
IM[34,18]: 1
T254: P38' := P38 + 1
IM[34,12]: 1
P10 --> T253 : 1
Pre[35,40]: 1
P18 --> T253 : 1
Pre[35,14]: 1
P19 --> T253 : 1
Pre[35,34]: 1
P45 --> T253 : 1
Pre[35,2]: 1
T253: P18' := P18 - 1
IM[35,14]: -1
T253: P45' := P45 - 1
IM[35,2]: -1
T253: P34' := P34 + 1
IM[35,18]: 1
T253: P38' := P38 + 1
IM[35,12]: 1
P10 --> T252 : 1
Pre[36,40]: 1
P18 --> T252 : 1
Pre[36,14]: 1
P19 --> T252 : 1
Pre[36,34]: 1
P44 --> T252 : 1
Pre[36,4]: 1
T252: P18' := P18 - 1
IM[36,14]: -1
T252: P44' := P44 - 1
IM[36,4]: -1
T252: P34' := P34 + 1
IM[36,18]: 1
T252: P38' := P38 + 1
IM[36,12]: 1
P10 --> T251 : 1
Pre[37,40]: 1
P18 --> T251 : 1
Pre[37,14]: 1
P19 --> T251 : 1
Pre[37,34]: 1
P43 --> T251 : 1
Pre[37,5]: 1
T251: P18' := P18 - 1
IM[37,14]: -1
T251: P43' := P43 - 1
IM[37,5]: -1
T251: P34' := P34 + 1
IM[37,18]: 1
T251: P38' := P38 + 1
IM[37,12]: 1
P10 --> T250 : 1
Pre[38,40]: 1
P18 --> T250 : 1
Pre[38,14]: 1
P19 --> T250 : 1
Pre[38,34]: 1
P42 --> T250 : 1
Pre[38,7]: 1
T250: P18' := P18 - 1
IM[38,14]: -1
T250: P42' := P42 - 1
IM[38,7]: -1
T250: P34' := P34 + 1
IM[38,18]: 1
T250: P38' := P38 + 1
IM[38,12]: 1
P10 --> T249 : 1
Pre[39,40]: 1
P18 --> T249 : 1
Pre[39,14]: 1
P19 --> T249 : 1
Pre[39,34]: 1
P41 --> T249 : 1
Pre[39,8]: 1
T249: P18' := P18 - 1
IM[39,14]: -1
T249: P41' := P41 - 1
IM[39,8]: -1
T249: P34' := P34 + 1
IM[39,18]: 1
T249: P38' := P38 + 1
IM[39,12]: 1
P10 --> T248 : 1
Pre[40,40]: 1
P18 --> T248 : 1
Pre[40,14]: 1
P19 --> T248 : 1
Pre[40,34]: 1
P40 --> T248 : 1
Pre[40,9]: 1
T248: P18' := P18 - 1
IM[40,14]: -1
T248: P40' := P40 - 1
IM[40,9]: -1
T248: P34' := P34 + 1
IM[40,18]: 1
T248: P38' := P38 + 1
IM[40,12]: 1
P10 --> T247 : 1
Pre[41,40]: 1
P18 --> T247 : 1
Pre[41,14]: 1
P19 --> T247 : 1
Pre[41,34]: 1
P39 --> T247 : 1
Pre[41,10]: 1
T247: P18' := P18 - 1
IM[41,14]: -1
T247: P39' := P39 - 1
IM[41,10]: -1
T247: P34' := P34 + 1
IM[41,18]: 1
T247: P38' := P38 + 1
IM[41,12]: 1
P10 --> T246 : 1
Pre[42,40]: 1
P18 --> T246 : 1
Pre[42,14]: 1
P19 --> T246 : 1
Pre[42,34]: 1
P38 --> T246 : 1
Pre[42,12]: 1
T246: P18' := P18 - 1
IM[42,14]: -1
T246: P34' := P34 + 1
IM[42,18]: 1
P9 --> T245 : 1
Pre[43,41]: 1
P18 --> T245 : 1
Pre[43,14]: 1
P19 --> T245 : 1
Pre[43,34]: 1
P48 --> T245 : 1
Pre[43,11]: 1
T245: P18' := P18 - 1
IM[43,14]: -1
T245: P48' := P48 - 1
IM[43,11]: -1
T245: P34' := P34 + 1
IM[43,18]: 1
T245: P38' := P38 + 1
IM[43,12]: 1
P9 --> T244 : 1
Pre[44,41]: 1
P18 --> T244 : 1
Pre[44,14]: 1
P19 --> T244 : 1
Pre[44,34]: 1
P47 --> T244 : 1
Pre[44,6]: 1
T244: P18' := P18 - 1
IM[44,14]: -1
T244: P47' := P47 - 1
IM[44,6]: -1
T244: P34' := P34 + 1
IM[44,18]: 1
T244: P38' := P38 + 1
IM[44,12]: 1
P9 --> T243 : 1
Pre[45,41]: 1
P18 --> T243 : 1
Pre[45,14]: 1
P19 --> T243 : 1
Pre[45,34]: 1
P46 --> T243 : 1
Pre[45,3]: 1
T243: P18' := P18 - 1
IM[45,14]: -1
T243: P46' := P46 - 1
IM[45,3]: -1
T243: P34' := P34 + 1
IM[45,18]: 1
T243: P38' := P38 + 1
IM[45,12]: 1
P9 --> T242 : 1
Pre[46,41]: 1
P18 --> T242 : 1
Pre[46,14]: 1
P19 --> T242 : 1
Pre[46,34]: 1
P45 --> T242 : 1
Pre[46,2]: 1
T242: P18' := P18 - 1
IM[46,14]: -1
T242: P45' := P45 - 1
IM[46,2]: -1
T242: P34' := P34 + 1
IM[46,18]: 1
T242: P38' := P38 + 1
IM[46,12]: 1
P9 --> T241 : 1
Pre[47,41]: 1
P18 --> T241 : 1
Pre[47,14]: 1
P19 --> T241 : 1
Pre[47,34]: 1
P44 --> T241 : 1
Pre[47,4]: 1
T241: P18' := P18 - 1
IM[47,14]: -1
T241: P44' := P44 - 1
IM[47,4]: -1
T241: P34' := P34 + 1
IM[47,18]: 1
T241: P38' := P38 + 1
IM[47,12]: 1
P9 --> T240 : 1
Pre[48,41]: 1
P18 --> T240 : 1
Pre[48,14]: 1
P19 --> T240 : 1
Pre[48,34]: 1
P43 --> T240 : 1
Pre[48,5]: 1
T240: P18' := P18 - 1
IM[48,14]: -1
T240: P43' := P43 - 1
IM[48,5]: -1
T240: P34' := P34 + 1
IM[48,18]: 1
T240: P38' := P38 + 1
IM[48,12]: 1
P9 --> T239 : 1
Pre[49,41]: 1
P18 --> T239 : 1
Pre[49,14]: 1
P19 --> T239 : 1
Pre[49,34]: 1
P42 --> T239 : 1
Pre[49,7]: 1
T239: P18' := P18 - 1
IM[49,14]: -1
T239: P42' := P42 - 1
IM[49,7]: -1
T239: P34' := P34 + 1
IM[49,18]: 1
T239: P38' := P38 + 1
IM[49,12]: 1
P9 --> T238 : 1
Pre[50,41]: 1
P18 --> T238 : 1
Pre[50,14]: 1
P19 --> T238 : 1
Pre[50,34]: 1
P41 --> T238 : 1
Pre[50,8]: 1
T238: P18' := P18 - 1
IM[50,14]: -1
T238: P41' := P41 - 1
IM[50,8]: -1
T238: P34' := P34 + 1
IM[50,18]: 1
T238: P38' := P38 + 1
IM[50,12]: 1
P9 --> T237 : 1
Pre[51,41]: 1
P18 --> T237 : 1
Pre[51,14]: 1
P19 --> T237 : 1
Pre[51,34]: 1
P40 --> T237 : 1
Pre[51,9]: 1
T237: P18' := P18 - 1
IM[51,14]: -1
T237: P40' := P40 - 1
IM[51,9]: -1
T237: P34' := P34 + 1
IM[51,18]: 1
T237: P38' := P38 + 1
IM[51,12]: 1
P9 --> T236 : 1
Pre[52,41]: 1
P18 --> T236 : 1
Pre[52,14]: 1
P19 --> T236 : 1
Pre[52,34]: 1
P39 --> T236 : 1
Pre[52,10]: 1
T236: P18' := P18 - 1
IM[52,14]: -1
T236: P39' := P39 - 1
IM[52,10]: -1
T236: P34' := P34 + 1
IM[52,18]: 1
T236: P38' := P38 + 1
IM[52,12]: 1
P9 --> T235 : 1
Pre[53,41]: 1
P18 --> T235 : 1
Pre[53,14]: 1
P19 --> T235 : 1
Pre[53,34]: 1
P38 --> T235 : 1
Pre[53,12]: 1
T235: P18' := P18 - 1
IM[53,14]: -1
T235: P34' := P34 + 1
IM[53,18]: 1
P8 --> T234 : 1
Pre[54,43]: 1
P18 --> T234 : 1
Pre[54,14]: 1
P19 --> T234 : 1
Pre[54,34]: 1
P48 --> T234 : 1
Pre[54,11]: 1
T234: P18' := P18 - 1
IM[54,14]: -1
T234: P48' := P48 - 1
IM[54,11]: -1
T234: P34' := P34 + 1
IM[54,18]: 1
T234: P38' := P38 + 1
IM[54,12]: 1
P8 --> T233 : 1
Pre[55,43]: 1
P18 --> T233 : 1
Pre[55,14]: 1
P19 --> T233 : 1
Pre[55,34]: 1
P47 --> T233 : 1
Pre[55,6]: 1
T233: P18' := P18 - 1
IM[55,14]: -1
T233: P47' := P47 - 1
IM[55,6]: -1
T233: P34' := P34 + 1
IM[55,18]: 1
T233: P38' := P38 + 1
IM[55,12]: 1
P8 --> T232 : 1
Pre[56,43]: 1
P18 --> T232 : 1
Pre[56,14]: 1
P19 --> T232 : 1
Pre[56,34]: 1
P46 --> T232 : 1
Pre[56,3]: 1
T232: P18' := P18 - 1
IM[56,14]: -1
T232: P46' := P46 - 1
IM[56,3]: -1
T232: P34' := P34 + 1
IM[56,18]: 1
T232: P38' := P38 + 1
IM[56,12]: 1
P8 --> T231 : 1
Pre[57,43]: 1
P18 --> T231 : 1
Pre[57,14]: 1
P19 --> T231 : 1
Pre[57,34]: 1
P45 --> T231 : 1
Pre[57,2]: 1
T231: P18' := P18 - 1
IM[57,14]: -1
T231: P45' := P45 - 1
IM[57,2]: -1
T231: P34' := P34 + 1
IM[57,18]: 1
T231: P38' := P38 + 1
IM[57,12]: 1
P8 --> T230 : 1
Pre[58,43]: 1
P18 --> T230 : 1
Pre[58,14]: 1
P19 --> T230 : 1
Pre[58,34]: 1
P44 --> T230 : 1
Pre[58,4]: 1
T230: P18' := P18 - 1
IM[58,14]: -1
T230: P44' := P44 - 1
IM[58,4]: -1
T230: P34' := P34 + 1
IM[58,18]: 1
T230: P38' := P38 + 1
IM[58,12]: 1
P8 --> T229 : 1
Pre[59,43]: 1
P18 --> T229 : 1
Pre[59,14]: 1
P19 --> T229 : 1
Pre[59,34]: 1
P43 --> T229 : 1
Pre[59,5]: 1
T229: P18' := P18 - 1
IM[59,14]: -1
T229: P43' := P43 - 1
IM[59,5]: -1
T229: P34' := P34 + 1
IM[59,18]: 1
T229: P38' := P38 + 1
IM[59,12]: 1
P8 --> T228 : 1
Pre[60,43]: 1
P18 --> T228 : 1
Pre[60,14]: 1
P19 --> T228 : 1
Pre[60,34]: 1
P42 --> T228 : 1
Pre[60,7]: 1
T228: P18' := P18 - 1
IM[60,14]: -1
T228: P42' := P42 - 1
IM[60,7]: -1
T228: P34' := P34 + 1
IM[60,18]: 1
T228: P38' := P38 + 1
IM[60,12]: 1
P8 --> T227 : 1
Pre[61,43]: 1
P18 --> T227 : 1
Pre[61,14]: 1
P19 --> T227 : 1
Pre[61,34]: 1
P41 --> T227 : 1
Pre[61,8]: 1
T227: P18' := P18 - 1
IM[61,14]: -1
T227: P41' := P41 - 1
IM[61,8]: -1
T227: P34' := P34 + 1
IM[61,18]: 1
T227: P38' := P38 + 1
IM[61,12]: 1
P8 --> T226 : 1
Pre[62,43]: 1
P18 --> T226 : 1
Pre[62,14]: 1
P19 --> T226 : 1
Pre[62,34]: 1
P40 --> T226 : 1
Pre[62,9]: 1
T226: P18' := P18 - 1
IM[62,14]: -1
T226: P40' := P40 - 1
IM[62,9]: -1
T226: P34' := P34 + 1
IM[62,18]: 1
T226: P38' := P38 + 1
IM[62,12]: 1
P8 --> T225 : 1
Pre[63,43]: 1
P18 --> T225 : 1
Pre[63,14]: 1
P19 --> T225 : 1
Pre[63,34]: 1
P39 --> T225 : 1
Pre[63,10]: 1
T225: P18' := P18 - 1
IM[63,14]: -1
T225: P39' := P39 - 1
IM[63,10]: -1
T225: P34' := P34 + 1
IM[63,18]: 1
T225: P38' := P38 + 1
IM[63,12]: 1
P8 --> T224 : 1
Pre[64,43]: 1
P18 --> T224 : 1
Pre[64,14]: 1
P19 --> T224 : 1
Pre[64,34]: 1
P38 --> T224 : 1
Pre[64,12]: 1
T224: P18' := P18 - 1
IM[64,14]: -1
T224: P34' := P34 + 1
IM[64,18]: 1
P7 --> T223 : 1
Pre[65,46]: 1
P18 --> T223 : 1
Pre[65,14]: 1
P19 --> T223 : 1
Pre[65,34]: 1
P48 --> T223 : 1
Pre[65,11]: 1
T223: P18' := P18 - 1
IM[65,14]: -1
T223: P48' := P48 - 1
IM[65,11]: -1
T223: P34' := P34 + 1
IM[65,18]: 1
T223: P38' := P38 + 1
IM[65,12]: 1
P7 --> T222 : 1
Pre[66,46]: 1
P18 --> T222 : 1
Pre[66,14]: 1
P19 --> T222 : 1
Pre[66,34]: 1
P47 --> T222 : 1
Pre[66,6]: 1
T222: P18' := P18 - 1
IM[66,14]: -1
T222: P47' := P47 - 1
IM[66,6]: -1
T222: P34' := P34 + 1
IM[66,18]: 1
T222: P38' := P38 + 1
IM[66,12]: 1
P7 --> T221 : 1
Pre[67,46]: 1
P18 --> T221 : 1
Pre[67,14]: 1
P19 --> T221 : 1
Pre[67,34]: 1
P46 --> T221 : 1
Pre[67,3]: 1
T221: P18' := P18 - 1
IM[67,14]: -1
T221: P46' := P46 - 1
IM[67,3]: -1
T221: P34' := P34 + 1
IM[67,18]: 1
T221: P38' := P38 + 1
IM[67,12]: 1
P7 --> T220 : 1
Pre[68,46]: 1
P18 --> T220 : 1
Pre[68,14]: 1
P19 --> T220 : 1
Pre[68,34]: 1
P45 --> T220 : 1
Pre[68,2]: 1
T220: P18' := P18 - 1
IM[68,14]: -1
T220: P45' := P45 - 1
IM[68,2]: -1
T220: P34' := P34 + 1
IM[68,18]: 1
T220: P38' := P38 + 1
IM[68,12]: 1
P7 --> T219 : 1
Pre[69,46]: 1
P18 --> T219 : 1
Pre[69,14]: 1
P19 --> T219 : 1
Pre[69,34]: 1
P44 --> T219 : 1
Pre[69,4]: 1
T219: P18' := P18 - 1
IM[69,14]: -1
T219: P44' := P44 - 1
IM[69,4]: -1
T219: P34' := P34 + 1
IM[69,18]: 1
T219: P38' := P38 + 1
IM[69,12]: 1
P7 --> T218 : 1
Pre[70,46]: 1
P18 --> T218 : 1
Pre[70,14]: 1
P19 --> T218 : 1
Pre[70,34]: 1
P43 --> T218 : 1
Pre[70,5]: 1
T218: P18' := P18 - 1
IM[70,14]: -1
T218: P43' := P43 - 1
IM[70,5]: -1
T218: P34' := P34 + 1
IM[70,18]: 1
T218: P38' := P38 + 1
IM[70,12]: 1
P7 --> T217 : 1
Pre[71,46]: 1
P18 --> T217 : 1
Pre[71,14]: 1
P19 --> T217 : 1
Pre[71,34]: 1
P42 --> T217 : 1
Pre[71,7]: 1
T217: P18' := P18 - 1
IM[71,14]: -1
T217: P42' := P42 - 1
IM[71,7]: -1
T217: P34' := P34 + 1
IM[71,18]: 1
T217: P38' := P38 + 1
IM[71,12]: 1
P7 --> T216 : 1
Pre[72,46]: 1
P18 --> T216 : 1
Pre[72,14]: 1
P19 --> T216 : 1
Pre[72,34]: 1
P41 --> T216 : 1
Pre[72,8]: 1
T216: P18' := P18 - 1
IM[72,14]: -1
T216: P41' := P41 - 1
IM[72,8]: -1
T216: P34' := P34 + 1
IM[72,18]: 1
T216: P38' := P38 + 1
IM[72,12]: 1
P7 --> T215 : 1
Pre[73,46]: 1
P18 --> T215 : 1
Pre[73,14]: 1
P19 --> T215 : 1
Pre[73,34]: 1
P40 --> T215 : 1
Pre[73,9]: 1
T215: P18' := P18 - 1
IM[73,14]: -1
T215: P40' := P40 - 1
IM[73,9]: -1
T215: P34' := P34 + 1
IM[73,18]: 1
T215: P38' := P38 + 1
IM[73,12]: 1
P7 --> T214 : 1
Pre[74,46]: 1
P18 --> T214 : 1
Pre[74,14]: 1
P19 --> T214 : 1
Pre[74,34]: 1
P39 --> T214 : 1
Pre[74,10]: 1
T214: P18' := P18 - 1
IM[74,14]: -1
T214: P39' := P39 - 1
IM[74,10]: -1
T214: P34' := P34 + 1
IM[74,18]: 1
T214: P38' := P38 + 1
IM[74,12]: 1
P7 --> T213 : 1
Pre[75,46]: 1
P18 --> T213 : 1
Pre[75,14]: 1
P19 --> T213 : 1
Pre[75,34]: 1
P38 --> T213 : 1
Pre[75,12]: 1
T213: P18' := P18 - 1
IM[75,14]: -1
T213: P34' := P34 + 1
IM[75,18]: 1
P6 --> T212 : 1
Pre[76,45]: 1
P18 --> T212 : 1
Pre[76,14]: 1
P19 --> T212 : 1
Pre[76,34]: 1
P48 --> T212 : 1
Pre[76,11]: 1
T212: P18' := P18 - 1
IM[76,14]: -1
T212: P48' := P48 - 1
IM[76,11]: -1
T212: P34' := P34 + 1
IM[76,18]: 1
T212: P38' := P38 + 1
IM[76,12]: 1
P6 --> T211 : 1
Pre[77,45]: 1
P18 --> T211 : 1
Pre[77,14]: 1
P19 --> T211 : 1
Pre[77,34]: 1
P47 --> T211 : 1
Pre[77,6]: 1
T211: P18' := P18 - 1
IM[77,14]: -1
T211: P47' := P47 - 1
IM[77,6]: -1
T211: P34' := P34 + 1
IM[77,18]: 1
T211: P38' := P38 + 1
IM[77,12]: 1
P6 --> T210 : 1
Pre[78,45]: 1
P18 --> T210 : 1
Pre[78,14]: 1
P19 --> T210 : 1
Pre[78,34]: 1
P46 --> T210 : 1
Pre[78,3]: 1
T210: P18' := P18 - 1
IM[78,14]: -1
T210: P46' := P46 - 1
IM[78,3]: -1
T210: P34' := P34 + 1
IM[78,18]: 1
T210: P38' := P38 + 1
IM[78,12]: 1
P6 --> T209 : 1
Pre[79,45]: 1
P18 --> T209 : 1
Pre[79,14]: 1
P19 --> T209 : 1
Pre[79,34]: 1
P45 --> T209 : 1
Pre[79,2]: 1
T209: P18' := P18 - 1
IM[79,14]: -1
T209: P45' := P45 - 1
IM[79,2]: -1
T209: P34' := P34 + 1
IM[79,18]: 1
T209: P38' := P38 + 1
IM[79,12]: 1
P6 --> T208 : 1
Pre[80,45]: 1
P18 --> T208 : 1
Pre[80,14]: 1
P19 --> T208 : 1
Pre[80,34]: 1
P44 --> T208 : 1
Pre[80,4]: 1
T208: P18' := P18 - 1
IM[80,14]: -1
T208: P44' := P44 - 1
IM[80,4]: -1
T208: P34' := P34 + 1
IM[80,18]: 1
T208: P38' := P38 + 1
IM[80,12]: 1
P6 --> T207 : 1
Pre[81,45]: 1
P18 --> T207 : 1
Pre[81,14]: 1
P19 --> T207 : 1
Pre[81,34]: 1
P43 --> T207 : 1
Pre[81,5]: 1
T207: P18' := P18 - 1
IM[81,14]: -1
T207: P43' := P43 - 1
IM[81,5]: -1
T207: P34' := P34 + 1
IM[81,18]: 1
T207: P38' := P38 + 1
IM[81,12]: 1
P6 --> T206 : 1
Pre[82,45]: 1
P18 --> T206 : 1
Pre[82,14]: 1
P19 --> T206 : 1
Pre[82,34]: 1
P42 --> T206 : 1
Pre[82,7]: 1
T206: P18' := P18 - 1
IM[82,14]: -1
T206: P42' := P42 - 1
IM[82,7]: -1
T206: P34' := P34 + 1
IM[82,18]: 1
T206: P38' := P38 + 1
IM[82,12]: 1
P6 --> T205 : 1
Pre[83,45]: 1
P18 --> T205 : 1
Pre[83,14]: 1
P19 --> T205 : 1
Pre[83,34]: 1
P41 --> T205 : 1
Pre[83,8]: 1
T205: P18' := P18 - 1
IM[83,14]: -1
T205: P41' := P41 - 1
IM[83,8]: -1
T205: P34' := P34 + 1
IM[83,18]: 1
T205: P38' := P38 + 1
IM[83,12]: 1
P6 --> T204 : 1
Pre[84,45]: 1
P18 --> T204 : 1
Pre[84,14]: 1
P19 --> T204 : 1
Pre[84,34]: 1
P40 --> T204 : 1
Pre[84,9]: 1
T204: P18' := P18 - 1
IM[84,14]: -1
T204: P40' := P40 - 1
IM[84,9]: -1
T204: P34' := P34 + 1
IM[84,18]: 1
T204: P38' := P38 + 1
IM[84,12]: 1
P6 --> T203 : 1
Pre[85,45]: 1
P18 --> T203 : 1
Pre[85,14]: 1
P19 --> T203 : 1
Pre[85,34]: 1
P39 --> T203 : 1
Pre[85,10]: 1
T203: P18' := P18 - 1
IM[85,14]: -1
T203: P39' := P39 - 1
IM[85,10]: -1
T203: P34' := P34 + 1
IM[85,18]: 1
T203: P38' := P38 + 1
IM[85,12]: 1
P6 --> T202 : 1
Pre[86,45]: 1
P18 --> T202 : 1
Pre[86,14]: 1
P19 --> T202 : 1
Pre[86,34]: 1
P38 --> T202 : 1
Pre[86,12]: 1
T202: P18' := P18 - 1
IM[86,14]: -1
T202: P34' := P34 + 1
IM[86,18]: 1
P5 --> T201 : 1
Pre[87,44]: 1
P18 --> T201 : 1
Pre[87,14]: 1
P19 --> T201 : 1
Pre[87,34]: 1
P48 --> T201 : 1
Pre[87,11]: 1
T201: P18' := P18 - 1
IM[87,14]: -1
T201: P48' := P48 - 1
IM[87,11]: -1
T201: P34' := P34 + 1
IM[87,18]: 1
T201: P38' := P38 + 1
IM[87,12]: 1
P5 --> T200 : 1
Pre[88,44]: 1
P18 --> T200 : 1
Pre[88,14]: 1
P19 --> T200 : 1
Pre[88,34]: 1
P47 --> T200 : 1
Pre[88,6]: 1
T200: P18' := P18 - 1
IM[88,14]: -1
T200: P47' := P47 - 1
IM[88,6]: -1
T200: P34' := P34 + 1
IM[88,18]: 1
T200: P38' := P38 + 1
IM[88,12]: 1
P5 --> T199 : 1
Pre[89,44]: 1
P18 --> T199 : 1
Pre[89,14]: 1
P19 --> T199 : 1
Pre[89,34]: 1
P46 --> T199 : 1
Pre[89,3]: 1
T199: P18' := P18 - 1
IM[89,14]: -1
T199: P46' := P46 - 1
IM[89,3]: -1
T199: P34' := P34 + 1
IM[89,18]: 1
T199: P38' := P38 + 1
IM[89,12]: 1
P5 --> T198 : 1
Pre[90,44]: 1
P18 --> T198 : 1
Pre[90,14]: 1
P19 --> T198 : 1
Pre[90,34]: 1
P45 --> T198 : 1
Pre[90,2]: 1
T198: P18' := P18 - 1
IM[90,14]: -1
T198: P45' := P45 - 1
IM[90,2]: -1
T198: P34' := P34 + 1
IM[90,18]: 1
T198: P38' := P38 + 1
IM[90,12]: 1
P5 --> T197 : 1
Pre[91,44]: 1
P18 --> T197 : 1
Pre[91,14]: 1
P19 --> T197 : 1
Pre[91,34]: 1
P44 --> T197 : 1
Pre[91,4]: 1
T197: P18' := P18 - 1
IM[91,14]: -1
T197: P44' := P44 - 1
IM[91,4]: -1
T197: P34' := P34 + 1
IM[91,18]: 1
T197: P38' := P38 + 1
IM[91,12]: 1
P5 --> T196 : 1
Pre[92,44]: 1
P18 --> T196 : 1
Pre[92,14]: 1
P19 --> T196 : 1
Pre[92,34]: 1
P43 --> T196 : 1
Pre[92,5]: 1
T196: P18' := P18 - 1
IM[92,14]: -1
T196: P43' := P43 - 1
IM[92,5]: -1
T196: P34' := P34 + 1
IM[92,18]: 1
T196: P38' := P38 + 1
IM[92,12]: 1
P5 --> T195 : 1
Pre[93,44]: 1
P18 --> T195 : 1
Pre[93,14]: 1
P19 --> T195 : 1
Pre[93,34]: 1
P42 --> T195 : 1
Pre[93,7]: 1
T195: P18' := P18 - 1
IM[93,14]: -1
T195: P42' := P42 - 1
IM[93,7]: -1
T195: P34' := P34 + 1
IM[93,18]: 1
T195: P38' := P38 + 1
IM[93,12]: 1
P5 --> T194 : 1
Pre[94,44]: 1
P18 --> T194 : 1
Pre[94,14]: 1
P19 --> T194 : 1
Pre[94,34]: 1
P41 --> T194 : 1
Pre[94,8]: 1
T194: P18' := P18 - 1
IM[94,14]: -1
T194: P41' := P41 - 1
IM[94,8]: -1
T194: P34' := P34 + 1
IM[94,18]: 1
T194: P38' := P38 + 1
IM[94,12]: 1
P5 --> T193 : 1
Pre[95,44]: 1
P18 --> T193 : 1
Pre[95,14]: 1
P19 --> T193 : 1
Pre[95,34]: 1
P40 --> T193 : 1
Pre[95,9]: 1
T193: P18' := P18 - 1
IM[95,14]: -1
T193: P40' := P40 - 1
IM[95,9]: -1
T193: P34' := P34 + 1
IM[95,18]: 1
T193: P38' := P38 + 1
IM[95,12]: 1
P5 --> T192 : 1
Pre[96,44]: 1
P18 --> T192 : 1
Pre[96,14]: 1
P19 --> T192 : 1
Pre[96,34]: 1
P39 --> T192 : 1
Pre[96,10]: 1
T192: P18' := P18 - 1
IM[96,14]: -1
T192: P39' := P39 - 1
IM[96,10]: -1
T192: P34' := P34 + 1
IM[96,18]: 1
T192: P38' := P38 + 1
IM[96,12]: 1
P5 --> T191 : 1
Pre[97,44]: 1
P18 --> T191 : 1
Pre[97,14]: 1
P19 --> T191 : 1
Pre[97,34]: 1
P38 --> T191 : 1
Pre[97,12]: 1
T191: P18' := P18 - 1
IM[97,14]: -1
T191: P34' := P34 + 1
IM[97,18]: 1
P4 --> T190 : 1
Pre[98,42]: 1
P18 --> T190 : 1
Pre[98,14]: 1
P19 --> T190 : 1
Pre[98,34]: 1
P48 --> T190 : 1
Pre[98,11]: 1
T190: P18' := P18 - 1
IM[98,14]: -1
T190: P48' := P48 - 1
IM[98,11]: -1
T190: P34' := P34 + 1
IM[98,18]: 1
T190: P38' := P38 + 1
IM[98,12]: 1
P4 --> T189 : 1
Pre[99,42]: 1
P18 --> T189 : 1
Pre[99,14]: 1
P19 --> T189 : 1
Pre[99,34]: 1
P47 --> T189 : 1
Pre[99,6]: 1
T189: P18' := P18 - 1
IM[99,14]: -1
T189: P47' := P47 - 1
IM[99,6]: -1
T189: P34' := P34 + 1
IM[99,18]: 1
T189: P38' := P38 + 1
IM[99,12]: 1
P4 --> T188 : 1
Pre[100,42]: 1
P18 --> T188 : 1
Pre[100,14]: 1
P19 --> T188 : 1
Pre[100,34]: 1
P46 --> T188 : 1
Pre[100,3]: 1
T188: P18' := P18 - 1
IM[100,14]: -1
T188: P46' := P46 - 1
IM[100,3]: -1
T188: P34' := P34 + 1
IM[100,18]: 1
T188: P38' := P38 + 1
IM[100,12]: 1
P4 --> T187 : 1
Pre[101,42]: 1
P18 --> T187 : 1
Pre[101,14]: 1
P19 --> T187 : 1
Pre[101,34]: 1
P45 --> T187 : 1
Pre[101,2]: 1
T187: P18' := P18 - 1
IM[101,14]: -1
T187: P45' := P45 - 1
IM[101,2]: -1
T187: P34' := P34 + 1
IM[101,18]: 1
T187: P38' := P38 + 1
IM[101,12]: 1
P4 --> T186 : 1
Pre[102,42]: 1
P18 --> T186 : 1
Pre[102,14]: 1
P19 --> T186 : 1
Pre[102,34]: 1
P44 --> T186 : 1
Pre[102,4]: 1
T186: P18' := P18 - 1
IM[102,14]: -1
T186: P44' := P44 - 1
IM[102,4]: -1
T186: P34' := P34 + 1
IM[102,18]: 1
T186: P38' := P38 + 1
IM[102,12]: 1
P4 --> T185 : 1
Pre[103,42]: 1
P18 --> T185 : 1
Pre[103,14]: 1
P19 --> T185 : 1
Pre[103,34]: 1
P43 --> T185 : 1
Pre[103,5]: 1
T185: P18' := P18 - 1
IM[103,14]: -1
T185: P43' := P43 - 1
IM[103,5]: -1
T185: P34' := P34 + 1
IM[103,18]: 1
T185: P38' := P38 + 1
IM[103,12]: 1
P4 --> T184 : 1
Pre[104,42]: 1
P18 --> T184 : 1
Pre[104,14]: 1
P19 --> T184 : 1
Pre[104,34]: 1
P42 --> T184 : 1
Pre[104,7]: 1
T184: P18' := P18 - 1
IM[104,14]: -1
T184: P42' := P42 - 1
IM[104,7]: -1
T184: P34' := P34 + 1
IM[104,18]: 1
T184: P38' := P38 + 1
IM[104,12]: 1
P4 --> T183 : 1
Pre[105,42]: 1
P18 --> T183 : 1
Pre[105,14]: 1
P19 --> T183 : 1
Pre[105,34]: 1
P41 --> T183 : 1
Pre[105,8]: 1
T183: P18' := P18 - 1
IM[105,14]: -1
T183: P41' := P41 - 1
IM[105,8]: -1
T183: P34' := P34 + 1
IM[105,18]: 1
T183: P38' := P38 + 1
IM[105,12]: 1
P4 --> T182 : 1
Pre[106,42]: 1
P18 --> T182 : 1
Pre[106,14]: 1
P19 --> T182 : 1
Pre[106,34]: 1
P40 --> T182 : 1
Pre[106,9]: 1
T182: P18' := P18 - 1
IM[106,14]: -1
T182: P40' := P40 - 1
IM[106,9]: -1
T182: P34' := P34 + 1
IM[106,18]: 1
T182: P38' := P38 + 1
IM[106,12]: 1
P4 --> T181 : 1
Pre[107,42]: 1
P18 --> T181 : 1
Pre[107,14]: 1
P19 --> T181 : 1
Pre[107,34]: 1
P39 --> T181 : 1
Pre[107,10]: 1
T181: P18' := P18 - 1
IM[107,14]: -1
T181: P39' := P39 - 1
IM[107,10]: -1
T181: P34' := P34 + 1
IM[107,18]: 1
T181: P38' := P38 + 1
IM[107,12]: 1
P4 --> T180 : 1
Pre[108,42]: 1
P18 --> T180 : 1
Pre[108,14]: 1
P19 --> T180 : 1
Pre[108,34]: 1
P38 --> T180 : 1
Pre[108,12]: 1
T180: P18' := P18 - 1
IM[108,14]: -1
T180: P34' := P34 + 1
IM[108,18]: 1
P3 --> T179 : 1
Pre[109,37]: 1
P18 --> T179 : 1
Pre[109,14]: 1
P19 --> T179 : 1
Pre[109,34]: 1
P48 --> T179 : 1
Pre[109,11]: 1
T179: P18' := P18 - 1
IM[109,14]: -1
T179: P48' := P48 - 1
IM[109,11]: -1
T179: P34' := P34 + 1
IM[109,18]: 1
T179: P38' := P38 + 1
IM[109,12]: 1
P3 --> T178 : 1
Pre[110,37]: 1
P18 --> T178 : 1
Pre[110,14]: 1
P19 --> T178 : 1
Pre[110,34]: 1
P47 --> T178 : 1
Pre[110,6]: 1
T178: P18' := P18 - 1
IM[110,14]: -1
T178: P47' := P47 - 1
IM[110,6]: -1
T178: P34' := P34 + 1
IM[110,18]: 1
T178: P38' := P38 + 1
IM[110,12]: 1
P3 --> T177 : 1
Pre[111,37]: 1
P18 --> T177 : 1
Pre[111,14]: 1
P19 --> T177 : 1
Pre[111,34]: 1
P46 --> T177 : 1
Pre[111,3]: 1
T177: P18' := P18 - 1
IM[111,14]: -1
T177: P46' := P46 - 1
IM[111,3]: -1
T177: P34' := P34 + 1
IM[111,18]: 1
T177: P38' := P38 + 1
IM[111,12]: 1
P3 --> T176 : 1
Pre[112,37]: 1
P18 --> T176 : 1
Pre[112,14]: 1
P19 --> T176 : 1
Pre[112,34]: 1
P45 --> T176 : 1
Pre[112,2]: 1
T176: P18' := P18 - 1
IM[112,14]: -1
T176: P45' := P45 - 1
IM[112,2]: -1
T176: P34' := P34 + 1
IM[112,18]: 1
T176: P38' := P38 + 1
IM[112,12]: 1
P3 --> T175 : 1
Pre[113,37]: 1
P18 --> T175 : 1
Pre[113,14]: 1
P19 --> T175 : 1
Pre[113,34]: 1
P44 --> T175 : 1
Pre[113,4]: 1
T175: P18' := P18 - 1
IM[113,14]: -1
T175: P44' := P44 - 1
IM[113,4]: -1
T175: P34' := P34 + 1
IM[113,18]: 1
T175: P38' := P38 + 1
IM[113,12]: 1
P3 --> T174 : 1
Pre[114,37]: 1
P18 --> T174 : 1
Pre[114,14]: 1
P19 --> T174 : 1
Pre[114,34]: 1
P43 --> T174 : 1
Pre[114,5]: 1
T174: P18' := P18 - 1
IM[114,14]: -1
T174: P43' := P43 - 1
IM[114,5]: -1
T174: P34' := P34 + 1
IM[114,18]: 1
T174: P38' := P38 + 1
IM[114,12]: 1
P3 --> T173 : 1
Pre[115,37]: 1
P18 --> T173 : 1
Pre[115,14]: 1
P19 --> T173 : 1
Pre[115,34]: 1
P42 --> T173 : 1
Pre[115,7]: 1
T173: P18' := P18 - 1
IM[115,14]: -1
T173: P42' := P42 - 1
IM[115,7]: -1
T173: P34' := P34 + 1
IM[115,18]: 1
T173: P38' := P38 + 1
IM[115,12]: 1
P3 --> T172 : 1
Pre[116,37]: 1
P18 --> T172 : 1
Pre[116,14]: 1
P19 --> T172 : 1
Pre[116,34]: 1
P41 --> T172 : 1
Pre[116,8]: 1
T172: P18' := P18 - 1
IM[116,14]: -1
T172: P41' := P41 - 1
IM[116,8]: -1
T172: P34' := P34 + 1
IM[116,18]: 1
T172: P38' := P38 + 1
IM[116,12]: 1
P3 --> T171 : 1
Pre[117,37]: 1
P18 --> T171 : 1
Pre[117,14]: 1
P19 --> T171 : 1
Pre[117,34]: 1
P40 --> T171 : 1
Pre[117,9]: 1
T171: P18' := P18 - 1
IM[117,14]: -1
T171: P40' := P40 - 1
IM[117,9]: -1
T171: P34' := P34 + 1
IM[117,18]: 1
T171: P38' := P38 + 1
IM[117,12]: 1
P3 --> T170 : 1
Pre[118,37]: 1
P18 --> T170 : 1
Pre[118,14]: 1
P19 --> T170 : 1
Pre[118,34]: 1
P39 --> T170 : 1
Pre[118,10]: 1
T170: P18' := P18 - 1
IM[118,14]: -1
T170: P39' := P39 - 1
IM[118,10]: -1
T170: P34' := P34 + 1
IM[118,18]: 1
T170: P38' := P38 + 1
IM[118,12]: 1
P3 --> T169 : 1
Pre[119,37]: 1
P18 --> T169 : 1
Pre[119,14]: 1
P19 --> T169 : 1
Pre[119,34]: 1
P38 --> T169 : 1
Pre[119,12]: 1
T169: P18' := P18 - 1
IM[119,14]: -1
T169: P34' := P34 + 1
IM[119,18]: 1
P2 --> T168 : 1
Pre[120,23]: 1
P17 --> T168 : 1
Pre[120,16]: 1
P29 --> T168 : 1
Pre[120,28]: 1
P48 --> T168 : 1
Pre[120,11]: 1
T168: P17' := P17 - 1
IM[120,16]: -1
T168: P48' := P48 - 1
IM[120,11]: -1
T168: P35' := P35 + 1
IM[120,17]: 1
T168: P38' := P38 + 1
IM[120,12]: 1
P2 --> T167 : 1
Pre[121,23]: 1
P17 --> T167 : 1
Pre[121,16]: 1
P29 --> T167 : 1
Pre[121,28]: 1
P47 --> T167 : 1
Pre[121,6]: 1
T167: P17' := P17 - 1
IM[121,16]: -1
T167: P47' := P47 - 1
IM[121,6]: -1
T167: P35' := P35 + 1
IM[121,17]: 1
T167: P38' := P38 + 1
IM[121,12]: 1
P2 --> T166 : 1
Pre[122,23]: 1
P17 --> T166 : 1
Pre[122,16]: 1
P29 --> T166 : 1
Pre[122,28]: 1
P46 --> T166 : 1
Pre[122,3]: 1
T166: P17' := P17 - 1
IM[122,16]: -1
T166: P46' := P46 - 1
IM[122,3]: -1
T166: P35' := P35 + 1
IM[122,17]: 1
T166: P38' := P38 + 1
IM[122,12]: 1
P2 --> T165 : 1
Pre[123,23]: 1
P17 --> T165 : 1
Pre[123,16]: 1
P29 --> T165 : 1
Pre[123,28]: 1
P45 --> T165 : 1
Pre[123,2]: 1
T165: P17' := P17 - 1
IM[123,16]: -1
T165: P45' := P45 - 1
IM[123,2]: -1
T165: P35' := P35 + 1
IM[123,17]: 1
T165: P38' := P38 + 1
IM[123,12]: 1
P2 --> T164 : 1
Pre[124,23]: 1
P17 --> T164 : 1
Pre[124,16]: 1
P29 --> T164 : 1
Pre[124,28]: 1
P44 --> T164 : 1
Pre[124,4]: 1
T164: P17' := P17 - 1
IM[124,16]: -1
T164: P44' := P44 - 1
IM[124,4]: -1
T164: P35' := P35 + 1
IM[124,17]: 1
T164: P38' := P38 + 1
IM[124,12]: 1
P2 --> T163 : 1
Pre[125,23]: 1
P17 --> T163 : 1
Pre[125,16]: 1
P29 --> T163 : 1
Pre[125,28]: 1
P43 --> T163 : 1
Pre[125,5]: 1
T163: P17' := P17 - 1
IM[125,16]: -1
T163: P43' := P43 - 1
IM[125,5]: -1
T163: P35' := P35 + 1
IM[125,17]: 1
T163: P38' := P38 + 1
IM[125,12]: 1
P2 --> T162 : 1
Pre[126,23]: 1
P17 --> T162 : 1
Pre[126,16]: 1
P29 --> T162 : 1
Pre[126,28]: 1
P42 --> T162 : 1
Pre[126,7]: 1
T162: P17' := P17 - 1
IM[126,16]: -1
T162: P42' := P42 - 1
IM[126,7]: -1
T162: P35' := P35 + 1
IM[126,17]: 1
T162: P38' := P38 + 1
IM[126,12]: 1
P2 --> T161 : 1
Pre[127,23]: 1
P17 --> T161 : 1
Pre[127,16]: 1
P29 --> T161 : 1
Pre[127,28]: 1
P41 --> T161 : 1
Pre[127,8]: 1
T161: P17' := P17 - 1
IM[127,16]: -1
T161: P41' := P41 - 1
IM[127,8]: -1
T161: P35' := P35 + 1
IM[127,17]: 1
T161: P38' := P38 + 1
IM[127,12]: 1
P2 --> T160 : 1
Pre[128,23]: 1
P17 --> T160 : 1
Pre[128,16]: 1
P29 --> T160 : 1
Pre[128,28]: 1
P40 --> T160 : 1
Pre[128,9]: 1
T160: P17' := P17 - 1
IM[128,16]: -1
T160: P40' := P40 - 1
IM[128,9]: -1
T160: P35' := P35 + 1
IM[128,17]: 1
T160: P38' := P38 + 1
IM[128,12]: 1
P2 --> T159 : 1
Pre[129,23]: 1
P17 --> T159 : 1
Pre[129,16]: 1
P29 --> T159 : 1
Pre[129,28]: 1
P39 --> T159 : 1
Pre[129,10]: 1
T159: P17' := P17 - 1
IM[129,16]: -1
T159: P39' := P39 - 1
IM[129,10]: -1
T159: P35' := P35 + 1
IM[129,17]: 1
T159: P38' := P38 + 1
IM[129,12]: 1
P2 --> T158 : 1
Pre[130,23]: 1
P17 --> T158 : 1
Pre[130,16]: 1
P29 --> T158 : 1
Pre[130,28]: 1
P38 --> T158 : 1
Pre[130,12]: 1
T158: P17' := P17 - 1
IM[130,16]: -1
T158: P35' := P35 + 1
IM[130,17]: 1
P2 --> T157 : 1
Pre[131,23]: 1
P17 --> T157 : 1
Pre[131,16]: 1
P28 --> T157 : 1
Pre[131,27]: 1
P48 --> T157 : 1
Pre[131,11]: 1
T157: P17' := P17 - 1
IM[131,16]: -1
T157: P48' := P48 - 1
IM[131,11]: -1
T157: P35' := P35 + 1
IM[131,17]: 1
T157: P38' := P38 + 1
IM[131,12]: 1
P2 --> T156 : 1
Pre[132,23]: 1
P17 --> T156 : 1
Pre[132,16]: 1
P28 --> T156 : 1
Pre[132,27]: 1
P47 --> T156 : 1
Pre[132,6]: 1
T156: P17' := P17 - 1
IM[132,16]: -1
T156: P47' := P47 - 1
IM[132,6]: -1
T156: P35' := P35 + 1
IM[132,17]: 1
T156: P38' := P38 + 1
IM[132,12]: 1
P2 --> T155 : 1
Pre[133,23]: 1
P17 --> T155 : 1
Pre[133,16]: 1
P28 --> T155 : 1
Pre[133,27]: 1
P46 --> T155 : 1
Pre[133,3]: 1
T155: P17' := P17 - 1
IM[133,16]: -1
T155: P46' := P46 - 1
IM[133,3]: -1
T155: P35' := P35 + 1
IM[133,17]: 1
T155: P38' := P38 + 1
IM[133,12]: 1
P2 --> T154 : 1
Pre[134,23]: 1
P17 --> T154 : 1
Pre[134,16]: 1
P28 --> T154 : 1
Pre[134,27]: 1
P45 --> T154 : 1
Pre[134,2]: 1
T154: P17' := P17 - 1
IM[134,16]: -1
T154: P45' := P45 - 1
IM[134,2]: -1
T154: P35' := P35 + 1
IM[134,17]: 1
T154: P38' := P38 + 1
IM[134,12]: 1
P2 --> T153 : 1
Pre[135,23]: 1
P17 --> T153 : 1
Pre[135,16]: 1
P28 --> T153 : 1
Pre[135,27]: 1
P44 --> T153 : 1
Pre[135,4]: 1
T153: P17' := P17 - 1
IM[135,16]: -1
T153: P44' := P44 - 1
IM[135,4]: -1
T153: P35' := P35 + 1
IM[135,17]: 1
T153: P38' := P38 + 1
IM[135,12]: 1
P2 --> T152 : 1
Pre[136,23]: 1
P17 --> T152 : 1
Pre[136,16]: 1
P28 --> T152 : 1
Pre[136,27]: 1
P43 --> T152 : 1
Pre[136,5]: 1
T152: P17' := P17 - 1
IM[136,16]: -1
T152: P43' := P43 - 1
IM[136,5]: -1
T152: P35' := P35 + 1
IM[136,17]: 1
T152: P38' := P38 + 1
IM[136,12]: 1
P2 --> T151 : 1
Pre[137,23]: 1
P17 --> T151 : 1
Pre[137,16]: 1
P28 --> T151 : 1
Pre[137,27]: 1
P42 --> T151 : 1
Pre[137,7]: 1
T151: P17' := P17 - 1
IM[137,16]: -1
T151: P42' := P42 - 1
IM[137,7]: -1
T151: P35' := P35 + 1
IM[137,17]: 1
T151: P38' := P38 + 1
IM[137,12]: 1
P2 --> T150 : 1
Pre[138,23]: 1
P17 --> T150 : 1
Pre[138,16]: 1
P28 --> T150 : 1
Pre[138,27]: 1
P41 --> T150 : 1
Pre[138,8]: 1
T150: P17' := P17 - 1
IM[138,16]: -1
T150: P41' := P41 - 1
IM[138,8]: -1
T150: P35' := P35 + 1
IM[138,17]: 1
T150: P38' := P38 + 1
IM[138,12]: 1
P2 --> T149 : 1
Pre[139,23]: 1
P17 --> T149 : 1
Pre[139,16]: 1
P28 --> T149 : 1
Pre[139,27]: 1
P40 --> T149 : 1
Pre[139,9]: 1
T149: P17' := P17 - 1
IM[139,16]: -1
T149: P40' := P40 - 1
IM[139,9]: -1
T149: P35' := P35 + 1
IM[139,17]: 1
T149: P38' := P38 + 1
IM[139,12]: 1
P2 --> T148 : 1
Pre[140,23]: 1
P17 --> T148 : 1
Pre[140,16]: 1
P28 --> T148 : 1
Pre[140,27]: 1
P39 --> T148 : 1
Pre[140,10]: 1
T148: P17' := P17 - 1
IM[140,16]: -1
T148: P39' := P39 - 1
IM[140,10]: -1
T148: P35' := P35 + 1
IM[140,17]: 1
T148: P38' := P38 + 1
IM[140,12]: 1
P2 --> T147 : 1
Pre[141,23]: 1
P17 --> T147 : 1
Pre[141,16]: 1
P28 --> T147 : 1
Pre[141,27]: 1
P38 --> T147 : 1
Pre[141,12]: 1
T147: P17' := P17 - 1
IM[141,16]: -1
T147: P35' := P35 + 1
IM[141,17]: 1
P2 --> T146 : 1
Pre[142,23]: 1
P17 --> T146 : 1
Pre[142,16]: 1
P27 --> T146 : 1
Pre[142,26]: 1
P48 --> T146 : 1
Pre[142,11]: 1
T146: P17' := P17 - 1
IM[142,16]: -1
T146: P48' := P48 - 1
IM[142,11]: -1
T146: P35' := P35 + 1
IM[142,17]: 1
T146: P38' := P38 + 1
IM[142,12]: 1
P2 --> T145 : 1
Pre[143,23]: 1
P17 --> T145 : 1
Pre[143,16]: 1
P27 --> T145 : 1
Pre[143,26]: 1
P47 --> T145 : 1
Pre[143,6]: 1
T145: P17' := P17 - 1
IM[143,16]: -1
T145: P47' := P47 - 1
IM[143,6]: -1
T145: P35' := P35 + 1
IM[143,17]: 1
T145: P38' := P38 + 1
IM[143,12]: 1
P2 --> T144 : 1
Pre[144,23]: 1
P17 --> T144 : 1
Pre[144,16]: 1
P27 --> T144 : 1
Pre[144,26]: 1
P46 --> T144 : 1
Pre[144,3]: 1
T144: P17' := P17 - 1
IM[144,16]: -1
T144: P46' := P46 - 1
IM[144,3]: -1
T144: P35' := P35 + 1
IM[144,17]: 1
T144: P38' := P38 + 1
IM[144,12]: 1
P2 --> T143 : 1
Pre[145,23]: 1
P17 --> T143 : 1
Pre[145,16]: 1
P27 --> T143 : 1
Pre[145,26]: 1
P45 --> T143 : 1
Pre[145,2]: 1
T143: P17' := P17 - 1
IM[145,16]: -1
T143: P45' := P45 - 1
IM[145,2]: -1
T143: P35' := P35 + 1
IM[145,17]: 1
T143: P38' := P38 + 1
IM[145,12]: 1
P2 --> T142 : 1
Pre[146,23]: 1
P17 --> T142 : 1
Pre[146,16]: 1
P27 --> T142 : 1
Pre[146,26]: 1
P44 --> T142 : 1
Pre[146,4]: 1
T142: P17' := P17 - 1
IM[146,16]: -1
T142: P44' := P44 - 1
IM[146,4]: -1
T142: P35' := P35 + 1
IM[146,17]: 1
T142: P38' := P38 + 1
IM[146,12]: 1
P2 --> T141 : 1
Pre[147,23]: 1
P17 --> T141 : 1
Pre[147,16]: 1
P27 --> T141 : 1
Pre[147,26]: 1
P43 --> T141 : 1
Pre[147,5]: 1
T141: P17' := P17 - 1
IM[147,16]: -1
T141: P43' := P43 - 1
IM[147,5]: -1
T141: P35' := P35 + 1
IM[147,17]: 1
T141: P38' := P38 + 1
IM[147,12]: 1
P2 --> T140 : 1
Pre[148,23]: 1
P17 --> T140 : 1
Pre[148,16]: 1
P27 --> T140 : 1
Pre[148,26]: 1
P42 --> T140 : 1
Pre[148,7]: 1
T140: P17' := P17 - 1
IM[148,16]: -1
T140: P42' := P42 - 1
IM[148,7]: -1
T140: P35' := P35 + 1
IM[148,17]: 1
T140: P38' := P38 + 1
IM[148,12]: 1
P2 --> T139 : 1
Pre[149,23]: 1
P17 --> T139 : 1
Pre[149,16]: 1
P27 --> T139 : 1
Pre[149,26]: 1
P41 --> T139 : 1
Pre[149,8]: 1
T139: P17' := P17 - 1
IM[149,16]: -1
T139: P41' := P41 - 1
IM[149,8]: -1
T139: P35' := P35 + 1
IM[149,17]: 1
T139: P38' := P38 + 1
IM[149,12]: 1
P2 --> T138 : 1
Pre[150,23]: 1
P17 --> T138 : 1
Pre[150,16]: 1
P27 --> T138 : 1
Pre[150,26]: 1
P40 --> T138 : 1
Pre[150,9]: 1
T138: P17' := P17 - 1
IM[150,16]: -1
T138: P40' := P40 - 1
IM[150,9]: -1
T138: P35' := P35 + 1
IM[150,17]: 1
T138: P38' := P38 + 1
IM[150,12]: 1
P2 --> T137 : 1
Pre[151,23]: 1
P17 --> T137 : 1
Pre[151,16]: 1
P27 --> T137 : 1
Pre[151,26]: 1
P39 --> T137 : 1
Pre[151,10]: 1
T137: P17' := P17 - 1
IM[151,16]: -1
T137: P39' := P39 - 1
IM[151,10]: -1
T137: P35' := P35 + 1
IM[151,17]: 1
T137: P38' := P38 + 1
IM[151,12]: 1
P2 --> T136 : 1
Pre[152,23]: 1
P17 --> T136 : 1
Pre[152,16]: 1
P27 --> T136 : 1
Pre[152,26]: 1
P38 --> T136 : 1
Pre[152,12]: 1
T136: P17' := P17 - 1
IM[152,16]: -1
T136: P35' := P35 + 1
IM[152,17]: 1
P2 --> T135 : 1
Pre[153,23]: 1
P17 --> T135 : 1
Pre[153,16]: 1
P26 --> T135 : 1
Pre[153,24]: 1
P48 --> T135 : 1
Pre[153,11]: 1
T135: P17' := P17 - 1
IM[153,16]: -1
T135: P48' := P48 - 1
IM[153,11]: -1
T135: P35' := P35 + 1
IM[153,17]: 1
T135: P38' := P38 + 1
IM[153,12]: 1
P2 --> T134 : 1
Pre[154,23]: 1
P17 --> T134 : 1
Pre[154,16]: 1
P26 --> T134 : 1
Pre[154,24]: 1
P47 --> T134 : 1
Pre[154,6]: 1
T134: P17' := P17 - 1
IM[154,16]: -1
T134: P47' := P47 - 1
IM[154,6]: -1
T134: P35' := P35 + 1
IM[154,17]: 1
T134: P38' := P38 + 1
IM[154,12]: 1
P2 --> T133 : 1
Pre[155,23]: 1
P17 --> T133 : 1
Pre[155,16]: 1
P26 --> T133 : 1
Pre[155,24]: 1
P46 --> T133 : 1
Pre[155,3]: 1
T133: P17' := P17 - 1
IM[155,16]: -1
T133: P46' := P46 - 1
IM[155,3]: -1
T133: P35' := P35 + 1
IM[155,17]: 1
T133: P38' := P38 + 1
IM[155,12]: 1
P2 --> T132 : 1
Pre[156,23]: 1
P17 --> T132 : 1
Pre[156,16]: 1
P26 --> T132 : 1
Pre[156,24]: 1
P45 --> T132 : 1
Pre[156,2]: 1
T132: P17' := P17 - 1
IM[156,16]: -1
T132: P45' := P45 - 1
IM[156,2]: -1
T132: P35' := P35 + 1
IM[156,17]: 1
T132: P38' := P38 + 1
IM[156,12]: 1
P2 --> T131 : 1
Pre[157,23]: 1
P17 --> T131 : 1
Pre[157,16]: 1
P26 --> T131 : 1
Pre[157,24]: 1
P44 --> T131 : 1
Pre[157,4]: 1
T131: P17' := P17 - 1
IM[157,16]: -1
T131: P44' := P44 - 1
IM[157,4]: -1
T131: P35' := P35 + 1
IM[157,17]: 1
T131: P38' := P38 + 1
IM[157,12]: 1
P2 --> T130 : 1
Pre[158,23]: 1
P17 --> T130 : 1
Pre[158,16]: 1
P26 --> T130 : 1
Pre[158,24]: 1
P43 --> T130 : 1
Pre[158,5]: 1
T130: P17' := P17 - 1
IM[158,16]: -1
T130: P43' := P43 - 1
IM[158,5]: -1
T130: P35' := P35 + 1
IM[158,17]: 1
T130: P38' := P38 + 1
IM[158,12]: 1
P2 --> T129 : 1
Pre[159,23]: 1
P17 --> T129 : 1
Pre[159,16]: 1
P26 --> T129 : 1
Pre[159,24]: 1
P42 --> T129 : 1
Pre[159,7]: 1
T129: P17' := P17 - 1
IM[159,16]: -1
T129: P42' := P42 - 1
IM[159,7]: -1
T129: P35' := P35 + 1
IM[159,17]: 1
T129: P38' := P38 + 1
IM[159,12]: 1
P2 --> T128 : 1
Pre[160,23]: 1
P17 --> T128 : 1
Pre[160,16]: 1
P26 --> T128 : 1
Pre[160,24]: 1
P41 --> T128 : 1
Pre[160,8]: 1
T128: P17' := P17 - 1
IM[160,16]: -1
T128: P41' := P41 - 1
IM[160,8]: -1
T128: P35' := P35 + 1
IM[160,17]: 1
T128: P38' := P38 + 1
IM[160,12]: 1
P2 --> T127 : 1
Pre[161,23]: 1
P17 --> T127 : 1
Pre[161,16]: 1
P26 --> T127 : 1
Pre[161,24]: 1
P40 --> T127 : 1
Pre[161,9]: 1
T127: P17' := P17 - 1
IM[161,16]: -1
T127: P40' := P40 - 1
IM[161,9]: -1
T127: P35' := P35 + 1
IM[161,17]: 1
T127: P38' := P38 + 1
IM[161,12]: 1
P2 --> T126 : 1
Pre[162,23]: 1
P17 --> T126 : 1
Pre[162,16]: 1
P26 --> T126 : 1
Pre[162,24]: 1
P39 --> T126 : 1
Pre[162,10]: 1
T126: P17' := P17 - 1
IM[162,16]: -1
T126: P39' := P39 - 1
IM[162,10]: -1
T126: P35' := P35 + 1
IM[162,17]: 1
T126: P38' := P38 + 1
IM[162,12]: 1
P2 --> T125 : 1
Pre[163,23]: 1
P17 --> T125 : 1
Pre[163,16]: 1
P26 --> T125 : 1
Pre[163,24]: 1
P38 --> T125 : 1
Pre[163,12]: 1
T125: P17' := P17 - 1
IM[163,16]: -1
T125: P35' := P35 + 1
IM[163,17]: 1
P2 --> T124 : 1
Pre[164,23]: 1
P17 --> T124 : 1
Pre[164,16]: 1
P25 --> T124 : 1
Pre[164,25]: 1
P48 --> T124 : 1
Pre[164,11]: 1
T124: P17' := P17 - 1
IM[164,16]: -1
T124: P48' := P48 - 1
IM[164,11]: -1
T124: P35' := P35 + 1
IM[164,17]: 1
T124: P38' := P38 + 1
IM[164,12]: 1
P2 --> T123 : 1
Pre[165,23]: 1
P17 --> T123 : 1
Pre[165,16]: 1
P25 --> T123 : 1
Pre[165,25]: 1
P47 --> T123 : 1
Pre[165,6]: 1
T123: P17' := P17 - 1
IM[165,16]: -1
T123: P47' := P47 - 1
IM[165,6]: -1
T123: P35' := P35 + 1
IM[165,17]: 1
T123: P38' := P38 + 1
IM[165,12]: 1
P2 --> T122 : 1
Pre[166,23]: 1
P17 --> T122 : 1
Pre[166,16]: 1
P25 --> T122 : 1
Pre[166,25]: 1
P46 --> T122 : 1
Pre[166,3]: 1
T122: P17' := P17 - 1
IM[166,16]: -1
T122: P46' := P46 - 1
IM[166,3]: -1
T122: P35' := P35 + 1
IM[166,17]: 1
T122: P38' := P38 + 1
IM[166,12]: 1
P2 --> T121 : 1
Pre[167,23]: 1
P17 --> T121 : 1
Pre[167,16]: 1
P25 --> T121 : 1
Pre[167,25]: 1
P45 --> T121 : 1
Pre[167,2]: 1
T121: P17' := P17 - 1
IM[167,16]: -1
T121: P45' := P45 - 1
IM[167,2]: -1
T121: P35' := P35 + 1
IM[167,17]: 1
T121: P38' := P38 + 1
IM[167,12]: 1
P2 --> T120 : 1
Pre[168,23]: 1
P17 --> T120 : 1
Pre[168,16]: 1
P25 --> T120 : 1
Pre[168,25]: 1
P44 --> T120 : 1
Pre[168,4]: 1
T120: P17' := P17 - 1
IM[168,16]: -1
T120: P44' := P44 - 1
IM[168,4]: -1
T120: P35' := P35 + 1
IM[168,17]: 1
T120: P38' := P38 + 1
IM[168,12]: 1
P2 --> T119 : 1
Pre[169,23]: 1
P17 --> T119 : 1
Pre[169,16]: 1
P25 --> T119 : 1
Pre[169,25]: 1
P43 --> T119 : 1
Pre[169,5]: 1
T119: P17' := P17 - 1
IM[169,16]: -1
T119: P43' := P43 - 1
IM[169,5]: -1
T119: P35' := P35 + 1
IM[169,17]: 1
T119: P38' := P38 + 1
IM[169,12]: 1
P2 --> T118 : 1
Pre[170,23]: 1
P17 --> T118 : 1
Pre[170,16]: 1
P25 --> T118 : 1
Pre[170,25]: 1
P42 --> T118 : 1
Pre[170,7]: 1
T118: P17' := P17 - 1
IM[170,16]: -1
T118: P42' := P42 - 1
IM[170,7]: -1
T118: P35' := P35 + 1
IM[170,17]: 1
T118: P38' := P38 + 1
IM[170,12]: 1
P2 --> T117 : 1
Pre[171,23]: 1
P17 --> T117 : 1
Pre[171,16]: 1
P25 --> T117 : 1
Pre[171,25]: 1
P41 --> T117 : 1
Pre[171,8]: 1
T117: P17' := P17 - 1
IM[171,16]: -1
T117: P41' := P41 - 1
IM[171,8]: -1
T117: P35' := P35 + 1
IM[171,17]: 1
T117: P38' := P38 + 1
IM[171,12]: 1
P2 --> T116 : 1
Pre[172,23]: 1
P17 --> T116 : 1
Pre[172,16]: 1
P25 --> T116 : 1
Pre[172,25]: 1
P40 --> T116 : 1
Pre[172,9]: 1
T116: P17' := P17 - 1
IM[172,16]: -1
T116: P40' := P40 - 1
IM[172,9]: -1
T116: P35' := P35 + 1
IM[172,17]: 1
T116: P38' := P38 + 1
IM[172,12]: 1
P2 --> T115 : 1
Pre[173,23]: 1
P17 --> T115 : 1
Pre[173,16]: 1
P25 --> T115 : 1
Pre[173,25]: 1
P39 --> T115 : 1
Pre[173,10]: 1
T115: P17' := P17 - 1
IM[173,16]: -1
T115: P39' := P39 - 1
IM[173,10]: -1
T115: P35' := P35 + 1
IM[173,17]: 1
T115: P38' := P38 + 1
IM[173,12]: 1
P2 --> T114 : 1
Pre[174,23]: 1
P17 --> T114 : 1
Pre[174,16]: 1
P25 --> T114 : 1
Pre[174,25]: 1
P38 --> T114 : 1
Pre[174,12]: 1
T114: P17' := P17 - 1
IM[174,16]: -1
T114: P35' := P35 + 1
IM[174,17]: 1
P2 --> T113 : 1
Pre[175,23]: 1
P17 --> T113 : 1
Pre[175,16]: 1
P24 --> T113 : 1
Pre[175,29]: 1
P48 --> T113 : 1
Pre[175,11]: 1
T113: P17' := P17 - 1
IM[175,16]: -1
T113: P48' := P48 - 1
IM[175,11]: -1
T113: P35' := P35 + 1
IM[175,17]: 1
T113: P38' := P38 + 1
IM[175,12]: 1
P2 --> T112 : 1
Pre[176,23]: 1
P17 --> T112 : 1
Pre[176,16]: 1
P24 --> T112 : 1
Pre[176,29]: 1
P47 --> T112 : 1
Pre[176,6]: 1
T112: P17' := P17 - 1
IM[176,16]: -1
T112: P47' := P47 - 1
IM[176,6]: -1
T112: P35' := P35 + 1
IM[176,17]: 1
T112: P38' := P38 + 1
IM[176,12]: 1
P2 --> T111 : 1
Pre[177,23]: 1
P17 --> T111 : 1
Pre[177,16]: 1
P24 --> T111 : 1
Pre[177,29]: 1
P46 --> T111 : 1
Pre[177,3]: 1
T111: P17' := P17 - 1
IM[177,16]: -1
T111: P46' := P46 - 1
IM[177,3]: -1
T111: P35' := P35 + 1
IM[177,17]: 1
T111: P38' := P38 + 1
IM[177,12]: 1
P2 --> T110 : 1
Pre[178,23]: 1
P17 --> T110 : 1
Pre[178,16]: 1
P24 --> T110 : 1
Pre[178,29]: 1
P45 --> T110 : 1
Pre[178,2]: 1
T110: P17' := P17 - 1
IM[178,16]: -1
T110: P45' := P45 - 1
IM[178,2]: -1
T110: P35' := P35 + 1
IM[178,17]: 1
T110: P38' := P38 + 1
IM[178,12]: 1
P2 --> T109 : 1
Pre[179,23]: 1
P17 --> T109 : 1
Pre[179,16]: 1
P24 --> T109 : 1
Pre[179,29]: 1
P44 --> T109 : 1
Pre[179,4]: 1
T109: P17' := P17 - 1
IM[179,16]: -1
T109: P44' := P44 - 1
IM[179,4]: -1
T109: P35' := P35 + 1
IM[179,17]: 1
T109: P38' := P38 + 1
IM[179,12]: 1
P2 --> T108 : 1
Pre[180,23]: 1
P17 --> T108 : 1
Pre[180,16]: 1
P24 --> T108 : 1
Pre[180,29]: 1
P43 --> T108 : 1
Pre[180,5]: 1
T108: P17' := P17 - 1
IM[180,16]: -1
T108: P43' := P43 - 1
IM[180,5]: -1
T108: P35' := P35 + 1
IM[180,17]: 1
T108: P38' := P38 + 1
IM[180,12]: 1
P2 --> T107 : 1
Pre[181,23]: 1
P17 --> T107 : 1
Pre[181,16]: 1
P24 --> T107 : 1
Pre[181,29]: 1
P42 --> T107 : 1
Pre[181,7]: 1
T107: P17' := P17 - 1
IM[181,16]: -1
T107: P42' := P42 - 1
IM[181,7]: -1
T107: P35' := P35 + 1
IM[181,17]: 1
T107: P38' := P38 + 1
IM[181,12]: 1
P2 --> T106 : 1
Pre[182,23]: 1
P17 --> T106 : 1
Pre[182,16]: 1
P24 --> T106 : 1
Pre[182,29]: 1
P41 --> T106 : 1
Pre[182,8]: 1
T106: P17' := P17 - 1
IM[182,16]: -1
T106: P41' := P41 - 1
IM[182,8]: -1
T106: P35' := P35 + 1
IM[182,17]: 1
T106: P38' := P38 + 1
IM[182,12]: 1
P2 --> T105 : 1
Pre[183,23]: 1
P17 --> T105 : 1
Pre[183,16]: 1
P24 --> T105 : 1
Pre[183,29]: 1
P40 --> T105 : 1
Pre[183,9]: 1
T105: P17' := P17 - 1
IM[183,16]: -1
T105: P40' := P40 - 1
IM[183,9]: -1
T105: P35' := P35 + 1
IM[183,17]: 1
T105: P38' := P38 + 1
IM[183,12]: 1
P2 --> T104 : 1
Pre[184,23]: 1
P17 --> T104 : 1
Pre[184,16]: 1
P24 --> T104 : 1
Pre[184,29]: 1
P39 --> T104 : 1
Pre[184,10]: 1
T104: P17' := P17 - 1
IM[184,16]: -1
T104: P39' := P39 - 1
IM[184,10]: -1
T104: P35' := P35 + 1
IM[184,17]: 1
T104: P38' := P38 + 1
IM[184,12]: 1
P2 --> T103 : 1
Pre[185,23]: 1
P17 --> T103 : 1
Pre[185,16]: 1
P24 --> T103 : 1
Pre[185,29]: 1
P38 --> T103 : 1
Pre[185,12]: 1
T103: P17' := P17 - 1
IM[185,16]: -1
T103: P35' := P35 + 1
IM[185,17]: 1
P2 --> T102 : 1
Pre[186,23]: 1
P17 --> T102 : 1
Pre[186,16]: 1
P23 --> T102 : 1
Pre[186,30]: 1
P48 --> T102 : 1
Pre[186,11]: 1
T102: P17' := P17 - 1
IM[186,16]: -1
T102: P48' := P48 - 1
IM[186,11]: -1
T102: P35' := P35 + 1
IM[186,17]: 1
T102: P38' := P38 + 1
IM[186,12]: 1
P2 --> T101 : 1
Pre[187,23]: 1
P17 --> T101 : 1
Pre[187,16]: 1
P23 --> T101 : 1
Pre[187,30]: 1
P47 --> T101 : 1
Pre[187,6]: 1
T101: P17' := P17 - 1
IM[187,16]: -1
T101: P47' := P47 - 1
IM[187,6]: -1
T101: P35' := P35 + 1
IM[187,17]: 1
T101: P38' := P38 + 1
IM[187,12]: 1
P2 --> T100 : 1
Pre[188,23]: 1
P17 --> T100 : 1
Pre[188,16]: 1
P23 --> T100 : 1
Pre[188,30]: 1
P46 --> T100 : 1
Pre[188,3]: 1
T100: P17' := P17 - 1
IM[188,16]: -1
T100: P46' := P46 - 1
IM[188,3]: -1
T100: P35' := P35 + 1
IM[188,17]: 1
T100: P38' := P38 + 1
IM[188,12]: 1
P2 --> T99 : 1
Pre[189,23]: 1
P17 --> T99 : 1
Pre[189,16]: 1
P23 --> T99 : 1
Pre[189,30]: 1
P45 --> T99 : 1
Pre[189,2]: 1
T99: P17' := P17 - 1
IM[189,16]: -1
T99: P45' := P45 - 1
IM[189,2]: -1
T99: P35' := P35 + 1
IM[189,17]: 1
T99: P38' := P38 + 1
IM[189,12]: 1
P2 --> T98 : 1
Pre[190,23]: 1
P17 --> T98 : 1
Pre[190,16]: 1
P23 --> T98 : 1
Pre[190,30]: 1
P44 --> T98 : 1
Pre[190,4]: 1
T98: P17' := P17 - 1
IM[190,16]: -1
T98: P44' := P44 - 1
IM[190,4]: -1
T98: P35' := P35 + 1
IM[190,17]: 1
T98: P38' := P38 + 1
IM[190,12]: 1
P2 --> T97 : 1
Pre[191,23]: 1
P17 --> T97 : 1
Pre[191,16]: 1
P23 --> T97 : 1
Pre[191,30]: 1
P43 --> T97 : 1
Pre[191,5]: 1
T97: P17' := P17 - 1
IM[191,16]: -1
T97: P43' := P43 - 1
IM[191,5]: -1
T97: P35' := P35 + 1
IM[191,17]: 1
T97: P38' := P38 + 1
IM[191,12]: 1
P2 --> T96 : 1
Pre[192,23]: 1
P17 --> T96 : 1
Pre[192,16]: 1
P23 --> T96 : 1
Pre[192,30]: 1
P42 --> T96 : 1
Pre[192,7]: 1
T96: P17' := P17 - 1
IM[192,16]: -1
T96: P42' := P42 - 1
IM[192,7]: -1
T96: P35' := P35 + 1
IM[192,17]: 1
T96: P38' := P38 + 1
IM[192,12]: 1
P2 --> T95 : 1
Pre[193,23]: 1
P17 --> T95 : 1
Pre[193,16]: 1
P23 --> T95 : 1
Pre[193,30]: 1
P41 --> T95 : 1
Pre[193,8]: 1
T95: P17' := P17 - 1
IM[193,16]: -1
T95: P41' := P41 - 1
IM[193,8]: -1
T95: P35' := P35 + 1
IM[193,17]: 1
T95: P38' := P38 + 1
IM[193,12]: 1
P2 --> T94 : 1
Pre[194,23]: 1
P17 --> T94 : 1
Pre[194,16]: 1
P23 --> T94 : 1
Pre[194,30]: 1
P40 --> T94 : 1
Pre[194,9]: 1
T94: P17' := P17 - 1
IM[194,16]: -1
T94: P40' := P40 - 1
IM[194,9]: -1
T94: P35' := P35 + 1
IM[194,17]: 1
T94: P38' := P38 + 1
IM[194,12]: 1
P2 --> T93 : 1
Pre[195,23]: 1
P17 --> T93 : 1
Pre[195,16]: 1
P23 --> T93 : 1
Pre[195,30]: 1
P39 --> T93 : 1
Pre[195,10]: 1
T93: P17' := P17 - 1
IM[195,16]: -1
T93: P39' := P39 - 1
IM[195,10]: -1
T93: P35' := P35 + 1
IM[195,17]: 1
T93: P38' := P38 + 1
IM[195,12]: 1
P2 --> T92 : 1
Pre[196,23]: 1
P17 --> T92 : 1
Pre[196,16]: 1
P23 --> T92 : 1
Pre[196,30]: 1
P38 --> T92 : 1
Pre[196,12]: 1
T92: P17' := P17 - 1
IM[196,16]: -1
T92: P35' := P35 + 1
IM[196,17]: 1
P2 --> T91 : 1
Pre[197,23]: 1
P17 --> T91 : 1
Pre[197,16]: 1
P22 --> T91 : 1
Pre[197,31]: 1
P48 --> T91 : 1
Pre[197,11]: 1
T91: P17' := P17 - 1
IM[197,16]: -1
T91: P48' := P48 - 1
IM[197,11]: -1
T91: P35' := P35 + 1
IM[197,17]: 1
T91: P38' := P38 + 1
IM[197,12]: 1
P2 --> T90 : 1
Pre[198,23]: 1
P17 --> T90 : 1
Pre[198,16]: 1
P22 --> T90 : 1
Pre[198,31]: 1
P47 --> T90 : 1
Pre[198,6]: 1
T90: P17' := P17 - 1
IM[198,16]: -1
T90: P47' := P47 - 1
IM[198,6]: -1
T90: P35' := P35 + 1
IM[198,17]: 1
T90: P38' := P38 + 1
IM[198,12]: 1
P2 --> T89 : 1
Pre[199,23]: 1
P17 --> T89 : 1
Pre[199,16]: 1
P22 --> T89 : 1
Pre[199,31]: 1
P46 --> T89 : 1
Pre[199,3]: 1
T89: P17' := P17 - 1
IM[199,16]: -1
T89: P46' := P46 - 1
IM[199,3]: -1
T89: P35' := P35 + 1
IM[199,17]: 1
T89: P38' := P38 + 1
IM[199,12]: 1
P2 --> T88 : 1
Pre[200,23]: 1
P17 --> T88 : 1
Pre[200,16]: 1
P22 --> T88 : 1
Pre[200,31]: 1
P45 --> T88 : 1
Pre[200,2]: 1
T88: P17' := P17 - 1
IM[200,16]: -1
T88: P45' := P45 - 1
IM[200,2]: -1
T88: P35' := P35 + 1
IM[200,17]: 1
T88: P38' := P38 + 1
IM[200,12]: 1
P2 --> T87 : 1
Pre[201,23]: 1
P17 --> T87 : 1
Pre[201,16]: 1
P22 --> T87 : 1
Pre[201,31]: 1
P44 --> T87 : 1
Pre[201,4]: 1
T87: P17' := P17 - 1
IM[201,16]: -1
T87: P44' := P44 - 1
IM[201,4]: -1
T87: P35' := P35 + 1
IM[201,17]: 1
T87: P38' := P38 + 1
IM[201,12]: 1
P2 --> T86 : 1
Pre[202,23]: 1
P17 --> T86 : 1
Pre[202,16]: 1
P22 --> T86 : 1
Pre[202,31]: 1
P43 --> T86 : 1
Pre[202,5]: 1
T86: P17' := P17 - 1
IM[202,16]: -1
T86: P43' := P43 - 1
IM[202,5]: -1
T86: P35' := P35 + 1
IM[202,17]: 1
T86: P38' := P38 + 1
IM[202,12]: 1
P2 --> T85 : 1
Pre[203,23]: 1
P17 --> T85 : 1
Pre[203,16]: 1
P22 --> T85 : 1
Pre[203,31]: 1
P42 --> T85 : 1
Pre[203,7]: 1
T85: P17' := P17 - 1
IM[203,16]: -1
T85: P42' := P42 - 1
IM[203,7]: -1
T85: P35' := P35 + 1
IM[203,17]: 1
T85: P38' := P38 + 1
IM[203,12]: 1
P2 --> T84 : 1
Pre[204,23]: 1
P17 --> T84 : 1
Pre[204,16]: 1
P22 --> T84 : 1
Pre[204,31]: 1
P41 --> T84 : 1
Pre[204,8]: 1
T84: P17' := P17 - 1
IM[204,16]: -1
T84: P41' := P41 - 1
IM[204,8]: -1
T84: P35' := P35 + 1
IM[204,17]: 1
T84: P38' := P38 + 1
IM[204,12]: 1
P2 --> T83 : 1
Pre[205,23]: 1
P17 --> T83 : 1
Pre[205,16]: 1
P22 --> T83 : 1
Pre[205,31]: 1
P40 --> T83 : 1
Pre[205,9]: 1
T83: P17' := P17 - 1
IM[205,16]: -1
T83: P40' := P40 - 1
IM[205,9]: -1
T83: P35' := P35 + 1
IM[205,17]: 1
T83: P38' := P38 + 1
IM[205,12]: 1
P2 --> T82 : 1
Pre[206,23]: 1
P17 --> T82 : 1
Pre[206,16]: 1
P22 --> T82 : 1
Pre[206,31]: 1
P39 --> T82 : 1
Pre[206,10]: 1
T82: P17' := P17 - 1
IM[206,16]: -1
T82: P39' := P39 - 1
IM[206,10]: -1
T82: P35' := P35 + 1
IM[206,17]: 1
T82: P38' := P38 + 1
IM[206,12]: 1
P2 --> T81 : 1
Pre[207,23]: 1
P17 --> T81 : 1
Pre[207,16]: 1
P22 --> T81 : 1
Pre[207,31]: 1
P38 --> T81 : 1
Pre[207,12]: 1
T81: P17' := P17 - 1
IM[207,16]: -1
T81: P35' := P35 + 1
IM[207,17]: 1
P2 --> T80 : 1
Pre[208,23]: 1
P17 --> T80 : 1
Pre[208,16]: 1
P21 --> T80 : 1
Pre[208,32]: 1
P48 --> T80 : 1
Pre[208,11]: 1
T80: P17' := P17 - 1
IM[208,16]: -1
T80: P48' := P48 - 1
IM[208,11]: -1
T80: P35' := P35 + 1
IM[208,17]: 1
T80: P38' := P38 + 1
IM[208,12]: 1
P2 --> T79 : 1
Pre[209,23]: 1
P17 --> T79 : 1
Pre[209,16]: 1
P21 --> T79 : 1
Pre[209,32]: 1
P47 --> T79 : 1
Pre[209,6]: 1
T79: P17' := P17 - 1
IM[209,16]: -1
T79: P47' := P47 - 1
IM[209,6]: -1
T79: P35' := P35 + 1
IM[209,17]: 1
T79: P38' := P38 + 1
IM[209,12]: 1
P2 --> T78 : 1
Pre[210,23]: 1
P17 --> T78 : 1
Pre[210,16]: 1
P21 --> T78 : 1
Pre[210,32]: 1
P46 --> T78 : 1
Pre[210,3]: 1
T78: P17' := P17 - 1
IM[210,16]: -1
T78: P46' := P46 - 1
IM[210,3]: -1
T78: P35' := P35 + 1
IM[210,17]: 1
T78: P38' := P38 + 1
IM[210,12]: 1
P2 --> T77 : 1
Pre[211,23]: 1
P17 --> T77 : 1
Pre[211,16]: 1
P21 --> T77 : 1
Pre[211,32]: 1
P45 --> T77 : 1
Pre[211,2]: 1
T77: P17' := P17 - 1
IM[211,16]: -1
T77: P45' := P45 - 1
IM[211,2]: -1
T77: P35' := P35 + 1
IM[211,17]: 1
T77: P38' := P38 + 1
IM[211,12]: 1
P2 --> T76 : 1
Pre[212,23]: 1
P17 --> T76 : 1
Pre[212,16]: 1
P21 --> T76 : 1
Pre[212,32]: 1
P44 --> T76 : 1
Pre[212,4]: 1
T76: P17' := P17 - 1
IM[212,16]: -1
T76: P44' := P44 - 1
IM[212,4]: -1
T76: P35' := P35 + 1
IM[212,17]: 1
T76: P38' := P38 + 1
IM[212,12]: 1
P2 --> T75 : 1
Pre[213,23]: 1
P17 --> T75 : 1
Pre[213,16]: 1
P21 --> T75 : 1
Pre[213,32]: 1
P43 --> T75 : 1
Pre[213,5]: 1
T75: P17' := P17 - 1
IM[213,16]: -1
T75: P43' := P43 - 1
IM[213,5]: -1
T75: P35' := P35 + 1
IM[213,17]: 1
T75: P38' := P38 + 1
IM[213,12]: 1
P2 --> T74 : 1
Pre[214,23]: 1
P17 --> T74 : 1
Pre[214,16]: 1
P21 --> T74 : 1
Pre[214,32]: 1
P42 --> T74 : 1
Pre[214,7]: 1
T74: P17' := P17 - 1
IM[214,16]: -1
T74: P42' := P42 - 1
IM[214,7]: -1
T74: P35' := P35 + 1
IM[214,17]: 1
T74: P38' := P38 + 1
IM[214,12]: 1
P2 --> T73 : 1
Pre[215,23]: 1
P17 --> T73 : 1
Pre[215,16]: 1
P21 --> T73 : 1
Pre[215,32]: 1
P41 --> T73 : 1
Pre[215,8]: 1
T73: P17' := P17 - 1
IM[215,16]: -1
T73: P41' := P41 - 1
IM[215,8]: -1
T73: P35' := P35 + 1
IM[215,17]: 1
T73: P38' := P38 + 1
IM[215,12]: 1
P2 --> T72 : 1
Pre[216,23]: 1
P17 --> T72 : 1
Pre[216,16]: 1
P21 --> T72 : 1
Pre[216,32]: 1
P40 --> T72 : 1
Pre[216,9]: 1
T72: P17' := P17 - 1
IM[216,16]: -1
T72: P40' := P40 - 1
IM[216,9]: -1
T72: P35' := P35 + 1
IM[216,17]: 1
T72: P38' := P38 + 1
IM[216,12]: 1
P2 --> T71 : 1
Pre[217,23]: 1
P17 --> T71 : 1
Pre[217,16]: 1
P21 --> T71 : 1
Pre[217,32]: 1
P39 --> T71 : 1
Pre[217,10]: 1
T71: P17' := P17 - 1
IM[217,16]: -1
T71: P39' := P39 - 1
IM[217,10]: -1
T71: P35' := P35 + 1
IM[217,17]: 1
T71: P38' := P38 + 1
IM[217,12]: 1
P2 --> T70 : 1
Pre[218,23]: 1
P17 --> T70 : 1
Pre[218,16]: 1
P21 --> T70 : 1
Pre[218,32]: 1
P38 --> T70 : 1
Pre[218,12]: 1
T70: P17' := P17 - 1
IM[218,16]: -1
T70: P35' := P35 + 1
IM[218,17]: 1
P2 --> T69 : 1
Pre[219,23]: 1
P17 --> T69 : 1
Pre[219,16]: 1
P20 --> T69 : 1
Pre[219,33]: 1
P48 --> T69 : 1
Pre[219,11]: 1
T69: P17' := P17 - 1
IM[219,16]: -1
T69: P48' := P48 - 1
IM[219,11]: -1
T69: P35' := P35 + 1
IM[219,17]: 1
T69: P38' := P38 + 1
IM[219,12]: 1
P2 --> T68 : 1
Pre[220,23]: 1
P17 --> T68 : 1
Pre[220,16]: 1
P20 --> T68 : 1
Pre[220,33]: 1
P47 --> T68 : 1
Pre[220,6]: 1
T68: P17' := P17 - 1
IM[220,16]: -1
T68: P47' := P47 - 1
IM[220,6]: -1
T68: P35' := P35 + 1
IM[220,17]: 1
T68: P38' := P38 + 1
IM[220,12]: 1
P2 --> T67 : 1
Pre[221,23]: 1
P17 --> T67 : 1
Pre[221,16]: 1
P20 --> T67 : 1
Pre[221,33]: 1
P46 --> T67 : 1
Pre[221,3]: 1
T67: P17' := P17 - 1
IM[221,16]: -1
T67: P46' := P46 - 1
IM[221,3]: -1
T67: P35' := P35 + 1
IM[221,17]: 1
T67: P38' := P38 + 1
IM[221,12]: 1
P2 --> T66 : 1
Pre[222,23]: 1
P17 --> T66 : 1
Pre[222,16]: 1
P20 --> T66 : 1
Pre[222,33]: 1
P45 --> T66 : 1
Pre[222,2]: 1
T66: P17' := P17 - 1
IM[222,16]: -1
T66: P45' := P45 - 1
IM[222,2]: -1
T66: P35' := P35 + 1
IM[222,17]: 1
T66: P38' := P38 + 1
IM[222,12]: 1
P2 --> T65 : 1
Pre[223,23]: 1
P17 --> T65 : 1
Pre[223,16]: 1
P20 --> T65 : 1
Pre[223,33]: 1
P44 --> T65 : 1
Pre[223,4]: 1
T65: P17' := P17 - 1
IM[223,16]: -1
T65: P44' := P44 - 1
IM[223,4]: -1
T65: P35' := P35 + 1
IM[223,17]: 1
T65: P38' := P38 + 1
IM[223,12]: 1
P2 --> T64 : 1
Pre[224,23]: 1
P17 --> T64 : 1
Pre[224,16]: 1
P20 --> T64 : 1
Pre[224,33]: 1
P43 --> T64 : 1
Pre[224,5]: 1
T64: P17' := P17 - 1
IM[224,16]: -1
T64: P43' := P43 - 1
IM[224,5]: -1
T64: P35' := P35 + 1
IM[224,17]: 1
T64: P38' := P38 + 1
IM[224,12]: 1
P2 --> T63 : 1
Pre[225,23]: 1
P17 --> T63 : 1
Pre[225,16]: 1
P20 --> T63 : 1
Pre[225,33]: 1
P42 --> T63 : 1
Pre[225,7]: 1
T63: P17' := P17 - 1
IM[225,16]: -1
T63: P42' := P42 - 1
IM[225,7]: -1
T63: P35' := P35 + 1
IM[225,17]: 1
T63: P38' := P38 + 1
IM[225,12]: 1
P2 --> T62 : 1
Pre[226,23]: 1
P17 --> T62 : 1
Pre[226,16]: 1
P20 --> T62 : 1
Pre[226,33]: 1
P41 --> T62 : 1
Pre[226,8]: 1
T62: P17' := P17 - 1
IM[226,16]: -1
T62: P41' := P41 - 1
IM[226,8]: -1
T62: P35' := P35 + 1
IM[226,17]: 1
T62: P38' := P38 + 1
IM[226,12]: 1
P2 --> T61 : 1
Pre[227,23]: 1
P17 --> T61 : 1
Pre[227,16]: 1
P20 --> T61 : 1
Pre[227,33]: 1
P40 --> T61 : 1
Pre[227,9]: 1
T61: P17' := P17 - 1
IM[227,16]: -1
T61: P40' := P40 - 1
IM[227,9]: -1
T61: P35' := P35 + 1
IM[227,17]: 1
T61: P38' := P38 + 1
IM[227,12]: 1
P2 --> T60 : 1
Pre[228,23]: 1
P17 --> T60 : 1
Pre[228,16]: 1
P20 --> T60 : 1
Pre[228,33]: 1
P39 --> T60 : 1
Pre[228,10]: 1
T60: P17' := P17 - 1
IM[228,16]: -1
T60: P39' := P39 - 1
IM[228,10]: -1
T60: P35' := P35 + 1
IM[228,17]: 1
T60: P38' := P38 + 1
IM[228,12]: 1
P2 --> T59 : 1
Pre[229,23]: 1
P17 --> T59 : 1
Pre[229,16]: 1
P20 --> T59 : 1
Pre[229,33]: 1
P38 --> T59 : 1
Pre[229,12]: 1
T59: P17' := P17 - 1
IM[229,16]: -1
T59: P35' := P35 + 1
IM[229,17]: 1
P32 --> T58 : 1
Pre[230,13]: 1
P48 --> T58 : 1
Pre[230,11]: 1
T58: P32' := P32 - 1
IM[230,13]: -1
T58: P48' := P48 - 1
IM[230,11]: -1
T58: P34' := P34 + 1
IM[230,18]: 1
T58: P38' := P38 + 1
IM[230,12]: 1
P31 --> T57 : 1
Pre[231,15]: 1
P48 --> T57 : 1
Pre[231,11]: 1
T57: P31' := P31 - 1
IM[231,15]: -1
T57: P48' := P48 - 1
IM[231,11]: -1
T57: P35' := P35 + 1
IM[231,17]: 1
T57: P38' := P38 + 1
IM[231,12]: 1
P32 --> T56 : 1
Pre[232,13]: 1
P47 --> T56 : 1
Pre[232,6]: 1
T56: P32' := P32 - 1
IM[232,13]: -1
T56: P47' := P47 - 1
IM[232,6]: -1
T56: P18' := P18 + 1
IM[232,14]: 1
T56: P48' := P48 + 1
IM[232,11]: 1
P31 --> T55 : 1
Pre[233,15]: 1
P47 --> T55 : 1
Pre[233,6]: 1
T55: P31' := P31 - 1
IM[233,15]: -1
T55: P47' := P47 - 1
IM[233,6]: -1
T55: P17' := P17 + 1
IM[233,16]: 1
T55: P48' := P48 + 1
IM[233,11]: 1
P32 --> T54 : 1
Pre[234,13]: 1
P46 --> T54 : 1
Pre[234,3]: 1
T54: P32' := P32 - 1
IM[234,13]: -1
T54: P46' := P46 - 1
IM[234,3]: -1
T54: P18' := P18 + 1
IM[234,14]: 1
T54: P47' := P47 + 1
IM[234,6]: 1
P31 --> T53 : 1
Pre[235,15]: 1
P46 --> T53 : 1
Pre[235,3]: 1
T53: P31' := P31 - 1
IM[235,15]: -1
T53: P46' := P46 - 1
IM[235,3]: -1
T53: P17' := P17 + 1
IM[235,16]: 1
T53: P47' := P47 + 1
IM[235,6]: 1
P32 --> T52 : 1
Pre[236,13]: 1
P45 --> T52 : 1
Pre[236,2]: 1
T52: P32' := P32 - 1
IM[236,13]: -1
T52: P45' := P45 - 1
IM[236,2]: -1
T52: P18' := P18 + 1
IM[236,14]: 1
T52: P46' := P46 + 1
IM[236,3]: 1
P31 --> T51 : 1
Pre[237,15]: 1
P45 --> T51 : 1
Pre[237,2]: 1
T51: P31' := P31 - 1
IM[237,15]: -1
T51: P45' := P45 - 1
IM[237,2]: -1
T51: P17' := P17 + 1
IM[237,16]: 1
T51: P46' := P46 + 1
IM[237,3]: 1
P32 --> T50 : 1
Pre[238,13]: 1
P44 --> T50 : 1
Pre[238,4]: 1
T50: P32' := P32 - 1
IM[238,13]: -1
T50: P44' := P44 - 1
IM[238,4]: -1
T50: P18' := P18 + 1
IM[238,14]: 1
T50: P45' := P45 + 1
IM[238,2]: 1
P31 --> T49 : 1
Pre[239,15]: 1
P44 --> T49 : 1
Pre[239,4]: 1
T49: P31' := P31 - 1
IM[239,15]: -1
T49: P44' := P44 - 1
IM[239,4]: -1
T49: P17' := P17 + 1
IM[239,16]: 1
T49: P45' := P45 + 1
IM[239,2]: 1
P32 --> T48 : 1
Pre[240,13]: 1
P43 --> T48 : 1
Pre[240,5]: 1
T48: P32' := P32 - 1
IM[240,13]: -1
T48: P43' := P43 - 1
IM[240,5]: -1
T48: P18' := P18 + 1
IM[240,14]: 1
T48: P44' := P44 + 1
IM[240,4]: 1
P31 --> T47 : 1
Pre[241,15]: 1
P43 --> T47 : 1
Pre[241,5]: 1
T47: P31' := P31 - 1
IM[241,15]: -1
T47: P43' := P43 - 1
IM[241,5]: -1
T47: P17' := P17 + 1
IM[241,16]: 1
T47: P44' := P44 + 1
IM[241,4]: 1
P32 --> T46 : 1
Pre[242,13]: 1
P42 --> T46 : 1
Pre[242,7]: 1
T46: P32' := P32 - 1
IM[242,13]: -1
T46: P42' := P42 - 1
IM[242,7]: -1
T46: P18' := P18 + 1
IM[242,14]: 1
T46: P43' := P43 + 1
IM[242,5]: 1
P31 --> T45 : 1
Pre[243,15]: 1
P42 --> T45 : 1
Pre[243,7]: 1
T45: P31' := P31 - 1
IM[243,15]: -1
T45: P42' := P42 - 1
IM[243,7]: -1
T45: P17' := P17 + 1
IM[243,16]: 1
T45: P43' := P43 + 1
IM[243,5]: 1
P32 --> T44 : 1
Pre[244,13]: 1
P41 --> T44 : 1
Pre[244,8]: 1
T44: P32' := P32 - 1
IM[244,13]: -1
T44: P41' := P41 - 1
IM[244,8]: -1
T44: P18' := P18 + 1
IM[244,14]: 1
T44: P42' := P42 + 1
IM[244,7]: 1
P31 --> T43 : 1
Pre[245,15]: 1
P41 --> T43 : 1
Pre[245,8]: 1
T43: P31' := P31 - 1
IM[245,15]: -1
T43: P41' := P41 - 1
IM[245,8]: -1
T43: P17' := P17 + 1
IM[245,16]: 1
T43: P42' := P42 + 1
IM[245,7]: 1
P32 --> T42 : 1
Pre[246,13]: 1
P40 --> T42 : 1
Pre[246,9]: 1
T42: P32' := P32 - 1
IM[246,13]: -1
T42: P40' := P40 - 1
IM[246,9]: -1
T42: P18' := P18 + 1
IM[246,14]: 1
T42: P41' := P41 + 1
IM[246,8]: 1
P31 --> T41 : 1
Pre[247,15]: 1
P40 --> T41 : 1
Pre[247,9]: 1
T41: P31' := P31 - 1
IM[247,15]: -1
T41: P40' := P40 - 1
IM[247,9]: -1
T41: P17' := P17 + 1
IM[247,16]: 1
T41: P41' := P41 + 1
IM[247,8]: 1
P32 --> T40 : 1
Pre[248,13]: 1
P39 --> T40 : 1
Pre[248,10]: 1
T40: P32' := P32 - 1
IM[248,13]: -1
T40: P39' := P39 - 1
IM[248,10]: -1
T40: P18' := P18 + 1
IM[248,14]: 1
T40: P40' := P40 + 1
IM[248,9]: 1
P31 --> T39 : 1
Pre[249,15]: 1
P39 --> T39 : 1
Pre[249,10]: 1
T39: P31' := P31 - 1
IM[249,15]: -1
T39: P39' := P39 - 1
IM[249,10]: -1
T39: P17' := P17 + 1
IM[249,16]: 1
T39: P40' := P40 + 1
IM[249,9]: 1
P32 --> T38 : 1
Pre[250,13]: 1
P38 --> T38 : 1
Pre[250,12]: 1
T38: P32' := P32 - 1
IM[250,13]: -1
T38: P38' := P38 - 1
IM[250,12]: -1
T38: P18' := P18 + 1
IM[250,14]: 1
T38: P39' := P39 + 1
IM[250,10]: 1
P31 --> T37 : 1
Pre[251,15]: 1
P38 --> T37 : 1
Pre[251,12]: 1
T37: P31' := P31 - 1
IM[251,15]: -1
T37: P38' := P38 - 1
IM[251,12]: -1
T37: P17' := P17 + 1
IM[251,16]: 1
T37: P39' := P39 + 1
IM[251,10]: 1
P29 --> T36 : 1
Pre[252,28]: 1
P37 --> T36 : 1
Pre[252,20]: 1
T36: P29' := P29 - 1
IM[252,28]: -1
T36: P37' := P37 - 1
IM[252,20]: -1
T36: P19' := P19 + 1
IM[252,34]: 1
T36: P30' := P30 + 1
IM[252,22]: 1
P28 --> T35 : 1
Pre[253,27]: 1
P37 --> T35 : 1
Pre[253,20]: 1
T35: P28' := P28 - 1
IM[253,27]: -1
T35: P37' := P37 - 1
IM[253,20]: -1
T35: P29' := P29 + 1
IM[253,28]: 1
T35: P30' := P30 + 1
IM[253,22]: 1
P27 --> T34 : 1
Pre[254,26]: 1
P37 --> T34 : 1
Pre[254,20]: 1
T34: P27' := P27 - 1
IM[254,26]: -1
T34: P37' := P37 - 1
IM[254,20]: -1
T34: P28' := P28 + 1
IM[254,27]: 1
T34: P30' := P30 + 1
IM[254,22]: 1
P26 --> T33 : 1
Pre[255,24]: 1
P37 --> T33 : 1
Pre[255,20]: 1
T33: P26' := P26 - 1
IM[255,24]: -1
T33: P37' := P37 - 1
IM[255,20]: -1
T33: P27' := P27 + 1
IM[255,26]: 1
T33: P30' := P30 + 1
IM[255,22]: 1
P25 --> T32 : 1
Pre[256,25]: 1
P37 --> T32 : 1
Pre[256,20]: 1
T32: P25' := P25 - 1
IM[256,25]: -1
T32: P37' := P37 - 1
IM[256,20]: -1
T32: P26' := P26 + 1
IM[256,24]: 1
T32: P30' := P30 + 1
IM[256,22]: 1
P24 --> T31 : 1
Pre[257,29]: 1
P37 --> T31 : 1
Pre[257,20]: 1
T31: P24' := P24 - 1
IM[257,29]: -1
T31: P37' := P37 - 1
IM[257,20]: -1
T31: P25' := P25 + 1
IM[257,25]: 1
T31: P30' := P30 + 1
IM[257,22]: 1
P23 --> T30 : 1
Pre[258,30]: 1
P37 --> T30 : 1
Pre[258,20]: 1
T30: P23' := P23 - 1
IM[258,30]: -1
T30: P37' := P37 - 1
IM[258,20]: -1
T30: P24' := P24 + 1
IM[258,29]: 1
T30: P30' := P30 + 1
IM[258,22]: 1
P22 --> T29 : 1
Pre[259,31]: 1
P37 --> T29 : 1
Pre[259,20]: 1
T29: P22' := P22 - 1
IM[259,31]: -1
T29: P37' := P37 - 1
IM[259,20]: -1
T29: P23' := P23 + 1
IM[259,30]: 1
T29: P30' := P30 + 1
IM[259,22]: 1
P21 --> T28 : 1
Pre[260,32]: 1
P37 --> T28 : 1
Pre[260,20]: 1
T28: P21' := P21 - 1
IM[260,32]: -1
T28: P37' := P37 - 1
IM[260,20]: -1
T28: P22' := P22 + 1
IM[260,31]: 1
T28: P30' := P30 + 1
IM[260,22]: 1
P20 --> T27 : 1
Pre[261,33]: 1
P37 --> T27 : 1
Pre[261,20]: 1
T27: P20' := P20 - 1
IM[261,33]: -1
T27: P37' := P37 - 1
IM[261,20]: -1
T27: P21' := P21 + 1
IM[261,32]: 1
T27: P30' := P30 + 1
IM[261,22]: 1
P19 --> T26 : 1
Pre[262,34]: 1
P37 --> T26 : 1
Pre[262,20]: 1
T26: P19' := P19 - 1
IM[262,34]: -1
T26: P37' := P37 - 1
IM[262,20]: -1
T26: P20' := P20 + 1
IM[262,33]: 1
T26: P30' := P30 + 1
IM[262,22]: 1
P33 --> T25 : 1
Pre[263,21]: 1
T25: P33' := P33 - 1
IM[263,21]: -1
T25: P16' := P16 + 1
IM[263,19]: 1
T25: P36' := P36 + 1
IM[263,0]: 1
P16 --> T24 : 10
Pre[264,19]: 10
P35 --> T24 : 1
Pre[264,17]: 1
T24: P35' := P35 - 1
IM[264,17]: -1
T24: P32' := P32 + 1
IM[264,13]: 1
P16 --> T23 : 10
Pre[265,19]: 10
P34 --> T23 : 1
Pre[265,18]: 1
T23: P34' := P34 - 1
IM[265,18]: -1
T23: P31' := P31 + 1
IM[265,15]: 1
P16 --> T22 : 1
Pre[266,19]: 1
P18 --> T22 : 1
Pre[266,14]: 1
P29 --> T22 : 1
Pre[266,28]: 1
P30 --> T22 : 1
Pre[266,22]: 1
T22: P16' := P16 - 1
IM[266,19]: -1
T22: P18' := P18 - 1
IM[266,14]: -1
T22: P29' := P29 - 1
IM[266,28]: -1
T22: P30' := P30 - 1
IM[266,22]: -1
T22: P28' := P28 + 1
IM[266,27]: 1
T22: P32' := P32 + 1
IM[266,13]: 1
T22: P33' := P33 + 1
IM[266,21]: 1
P16 --> T21 : 1
Pre[267,19]: 1
P18 --> T21 : 1
Pre[267,14]: 1
P28 --> T21 : 1
Pre[267,27]: 1
P30 --> T21 : 1
Pre[267,22]: 1
T21: P16' := P16 - 1
IM[267,19]: -1
T21: P18' := P18 - 1
IM[267,14]: -1
T21: P28' := P28 - 1
IM[267,27]: -1
T21: P30' := P30 - 1
IM[267,22]: -1
T21: P27' := P27 + 1
IM[267,26]: 1
T21: P32' := P32 + 1
IM[267,13]: 1
T21: P33' := P33 + 1
IM[267,21]: 1
P16 --> T20 : 1
Pre[268,19]: 1
P18 --> T20 : 1
Pre[268,14]: 1
P27 --> T20 : 1
Pre[268,26]: 1
P30 --> T20 : 1
Pre[268,22]: 1
T20: P16' := P16 - 1
IM[268,19]: -1
T20: P18' := P18 - 1
IM[268,14]: -1
T20: P27' := P27 - 1
IM[268,26]: -1
T20: P30' := P30 - 1
IM[268,22]: -1
T20: P26' := P26 + 1
IM[268,24]: 1
T20: P32' := P32 + 1
IM[268,13]: 1
T20: P33' := P33 + 1
IM[268,21]: 1
P16 --> T19 : 1
Pre[269,19]: 1
P18 --> T19 : 1
Pre[269,14]: 1
P26 --> T19 : 1
Pre[269,24]: 1
P30 --> T19 : 1
Pre[269,22]: 1
T19: P16' := P16 - 1
IM[269,19]: -1
T19: P18' := P18 - 1
IM[269,14]: -1
T19: P26' := P26 - 1
IM[269,24]: -1
T19: P30' := P30 - 1
IM[269,22]: -1
T19: P25' := P25 + 1
IM[269,25]: 1
T19: P32' := P32 + 1
IM[269,13]: 1
T19: P33' := P33 + 1
IM[269,21]: 1
P16 --> T18 : 1
Pre[270,19]: 1
P18 --> T18 : 1
Pre[270,14]: 1
P25 --> T18 : 1
Pre[270,25]: 1
P30 --> T18 : 1
Pre[270,22]: 1
T18: P16' := P16 - 1
IM[270,19]: -1
T18: P18' := P18 - 1
IM[270,14]: -1
T18: P25' := P25 - 1
IM[270,25]: -1
T18: P30' := P30 - 1
IM[270,22]: -1
T18: P24' := P24 + 1
IM[270,29]: 1
T18: P32' := P32 + 1
IM[270,13]: 1
T18: P33' := P33 + 1
IM[270,21]: 1
P16 --> T17 : 1
Pre[271,19]: 1
P18 --> T17 : 1
Pre[271,14]: 1
P24 --> T17 : 1
Pre[271,29]: 1
P30 --> T17 : 1
Pre[271,22]: 1
T17: P16' := P16 - 1
IM[271,19]: -1
T17: P18' := P18 - 1
IM[271,14]: -1
T17: P24' := P24 - 1
IM[271,29]: -1
T17: P30' := P30 - 1
IM[271,22]: -1
T17: P23' := P23 + 1
IM[271,30]: 1
T17: P32' := P32 + 1
IM[271,13]: 1
T17: P33' := P33 + 1
IM[271,21]: 1
P16 --> T16 : 1
Pre[272,19]: 1
P18 --> T16 : 1
Pre[272,14]: 1
P23 --> T16 : 1
Pre[272,30]: 1
P30 --> T16 : 1
Pre[272,22]: 1
T16: P16' := P16 - 1
IM[272,19]: -1
T16: P18' := P18 - 1
IM[272,14]: -1
T16: P23' := P23 - 1
IM[272,30]: -1
T16: P30' := P30 - 1
IM[272,22]: -1
T16: P22' := P22 + 1
IM[272,31]: 1
T16: P32' := P32 + 1
IM[272,13]: 1
T16: P33' := P33 + 1
IM[272,21]: 1
P16 --> T15 : 1
Pre[273,19]: 1
P18 --> T15 : 1
Pre[273,14]: 1
P22 --> T15 : 1
Pre[273,31]: 1
P30 --> T15 : 1
Pre[273,22]: 1
T15: P16' := P16 - 1
IM[273,19]: -1
T15: P18' := P18 - 1
IM[273,14]: -1
T15: P22' := P22 - 1
IM[273,31]: -1
T15: P30' := P30 - 1
IM[273,22]: -1
T15: P21' := P21 + 1
IM[273,32]: 1
T15: P32' := P32 + 1
IM[273,13]: 1
T15: P33' := P33 + 1
IM[273,21]: 1
P16 --> T14 : 1
Pre[274,19]: 1
P18 --> T14 : 1
Pre[274,14]: 1
P21 --> T14 : 1
Pre[274,32]: 1
P30 --> T14 : 1
Pre[274,22]: 1
T14: P16' := P16 - 1
IM[274,19]: -1
T14: P18' := P18 - 1
IM[274,14]: -1
T14: P21' := P21 - 1
IM[274,32]: -1
T14: P30' := P30 - 1
IM[274,22]: -1
T14: P20' := P20 + 1
IM[274,33]: 1
T14: P32' := P32 + 1
IM[274,13]: 1
T14: P33' := P33 + 1
IM[274,21]: 1
P16 --> T13 : 1
Pre[275,19]: 1
P18 --> T13 : 1
Pre[275,14]: 1
P20 --> T13 : 1
Pre[275,33]: 1
P30 --> T13 : 1
Pre[275,22]: 1
T13: P16' := P16 - 1
IM[275,19]: -1
T13: P18' := P18 - 1
IM[275,14]: -1
T13: P20' := P20 - 1
IM[275,33]: -1
T13: P30' := P30 - 1
IM[275,22]: -1
T13: P19' := P19 + 1
IM[275,34]: 1
T13: P32' := P32 + 1
IM[275,13]: 1
T13: P33' := P33 + 1
IM[275,21]: 1
P14 --> T12 : 1
Pre[276,35]: 1
T12: P14' := P14 - 1
IM[276,35]: -1
T12: P15' := P15 + 1
IM[276,47]: 1
T12: P16' := P16 + 1
IM[276,19]: 1
P1 --> T11 : 1
Pre[277,1]: 1
P12 --> T11 : 1
Pre[277,38]: 1
T11: P1' := P1 - 1
IM[277,1]: -1
T11: P12' := P12 - 1
IM[277,38]: -1
T11: P2' := P2 + 1
IM[277,23]: 1
T11: P13' := P13 + 1
IM[277,36]: 1
P1 --> T10 : 1
Pre[278,1]: 1
P11 --> T10 : 1
Pre[278,39]: 1
T10: P1' := P1 - 1
IM[278,1]: -1
T10: P11' := P11 - 1
IM[278,39]: -1
T10: P12' := P12 + 1
IM[278,38]: 1
T10: P13' := P13 + 1
IM[278,36]: 1
P1 --> T9 : 1
Pre[279,1]: 1
P10 --> T9 : 1
Pre[279,40]: 1
T9: P1' := P1 - 1
IM[279,1]: -1
T9: P10' := P10 - 1
IM[279,40]: -1
T9: P11' := P11 + 1
IM[279,39]: 1
T9: P13' := P13 + 1
IM[279,36]: 1
P1 --> T8 : 1
Pre[280,1]: 1
P9 --> T8 : 1
Pre[280,41]: 1
T8: P1' := P1 - 1
IM[280,1]: -1
T8: P9' := P9 - 1
IM[280,41]: -1
T8: P10' := P10 + 1
IM[280,40]: 1
T8: P13' := P13 + 1
IM[280,36]: 1
P1 --> T7 : 1
Pre[281,1]: 1
P8 --> T7 : 1
Pre[281,43]: 1
T7: P1' := P1 - 1
IM[281,1]: -1
T7: P8' := P8 - 1
IM[281,43]: -1
T7: P9' := P9 + 1
IM[281,41]: 1
T7: P13' := P13 + 1
IM[281,36]: 1
P1 --> T6 : 1
Pre[282,1]: 1
P7 --> T6 : 1
Pre[282,46]: 1
T6: P1' := P1 - 1
IM[282,1]: -1
T6: P7' := P7 - 1
IM[282,46]: -1
T6: P8' := P8 + 1
IM[282,43]: 1
T6: P13' := P13 + 1
IM[282,36]: 1
P1 --> T5 : 1
Pre[283,1]: 1
P6 --> T5 : 1
Pre[283,45]: 1
T5: P1' := P1 - 1
IM[283,1]: -1
T5: P6' := P6 - 1
IM[283,45]: -1
T5: P7' := P7 + 1
IM[283,46]: 1
T5: P13' := P13 + 1
IM[283,36]: 1
P1 --> T4 : 1
Pre[284,1]: 1
P5 --> T4 : 1
Pre[284,44]: 1
T4: P1' := P1 - 1
IM[284,1]: -1
T4: P5' := P5 - 1
IM[284,44]: -1
T4: P6' := P6 + 1
IM[284,45]: 1
T4: P13' := P13 + 1
IM[284,36]: 1
P1 --> T3 : 1
Pre[285,1]: 1
P4 --> T3 : 1
Pre[285,42]: 1
T3: P1' := P1 - 1
IM[285,1]: -1
T3: P4' := P4 - 1
IM[285,42]: -1
T3: P5' := P5 + 1
IM[285,44]: 1
T3: P13' := P13 + 1
IM[285,36]: 1
P1 --> T2 : 1
Pre[286,1]: 1
P3 --> T2 : 1
Pre[286,37]: 1
T2: P1' := P1 - 1
IM[286,1]: -1
T2: P3' := P3 - 1
IM[286,37]: -1
T2: P4' := P4 + 1
IM[286,42]: 1
T2: P13' := P13 + 1
IM[286,36]: 1
P1 --> T1 : 1
Pre[287,1]: 1
P2 --> T1 : 1
Pre[287,23]: 1
T1: P1' := P1 - 1
IM[287,1]: -1
T1: P2' := P2 - 1
IM[287,23]: -1
T1: P3' := P3 + 1
IM[287,37]: 1
T1: P13' := P13 + 1
IM[287,36]: 1


Decreasing places (index:name): 1:P1 20:P37

Increasing places (index:name): 0:P36 47:P15

Disabled transitions:

P12 --> T288 : 1
Pre[0,38]: 1
P13 --> T288 : 1
Pre[0,36]: 1
P16 --> T288 : 1
Pre[0,19]: 1
P17 --> T288 : 1
Pre[0,16]: 1
P11 --> T287 : 1
Pre[1,39]: 1
P13 --> T287 : 1
Pre[1,36]: 1
P16 --> T287 : 1
Pre[1,19]: 1
P17 --> T287 : 1
Pre[1,16]: 1
P10 --> T286 : 1
Pre[2,40]: 1
P13 --> T286 : 1
Pre[2,36]: 1
P16 --> T286 : 1
Pre[2,19]: 1
P17 --> T286 : 1
Pre[2,16]: 1
P9 --> T285 : 1
Pre[3,41]: 1
P13 --> T285 : 1
Pre[3,36]: 1
P16 --> T285 : 1
Pre[3,19]: 1
P17 --> T285 : 1
Pre[3,16]: 1
P8 --> T284 : 1
Pre[4,43]: 1
P13 --> T284 : 1
Pre[4,36]: 1
P16 --> T284 : 1
Pre[4,19]: 1
P17 --> T284 : 1
Pre[4,16]: 1
P7 --> T283 : 1
Pre[5,46]: 1
P13 --> T283 : 1
Pre[5,36]: 1
P16 --> T283 : 1
Pre[5,19]: 1
P17 --> T283 : 1
Pre[5,16]: 1
P6 --> T282 : 1
Pre[6,45]: 1
P13 --> T282 : 1
Pre[6,36]: 1
P16 --> T282 : 1
Pre[6,19]: 1
P17 --> T282 : 1
Pre[6,16]: 1
P5 --> T281 : 1
Pre[7,44]: 1
P13 --> T281 : 1
Pre[7,36]: 1
P16 --> T281 : 1
Pre[7,19]: 1
P17 --> T281 : 1
Pre[7,16]: 1
P4 --> T280 : 1
Pre[8,42]: 1
P13 --> T280 : 1
Pre[8,36]: 1
P16 --> T280 : 1
Pre[8,19]: 1
P17 --> T280 : 1
Pre[8,16]: 1
P3 --> T279 : 1
Pre[9,37]: 1
P13 --> T279 : 1
Pre[9,36]: 1
P16 --> T279 : 1
Pre[9,19]: 1
P17 --> T279 : 1
Pre[9,16]: 1
P12 --> T278 : 1
Pre[10,38]: 1
P18 --> T278 : 1
Pre[10,14]: 1
P19 --> T278 : 1
Pre[10,34]: 1
P48 --> T278 : 1
Pre[10,11]: 1
P12 --> T277 : 1
Pre[11,38]: 1
P18 --> T277 : 1
Pre[11,14]: 1
P19 --> T277 : 1
Pre[11,34]: 1
P47 --> T277 : 1
Pre[11,6]: 1
P12 --> T276 : 1
Pre[12,38]: 1
P18 --> T276 : 1
Pre[12,14]: 1
P19 --> T276 : 1
Pre[12,34]: 1
P46 --> T276 : 1
Pre[12,3]: 1
P12 --> T275 : 1
Pre[13,38]: 1
P18 --> T275 : 1
Pre[13,14]: 1
P19 --> T275 : 1
Pre[13,34]: 1
P45 --> T275 : 1
Pre[13,2]: 1
P12 --> T274 : 1
Pre[14,38]: 1
P18 --> T274 : 1
Pre[14,14]: 1
P19 --> T274 : 1
Pre[14,34]: 1
P44 --> T274 : 1
Pre[14,4]: 1
P12 --> T273 : 1
Pre[15,38]: 1
P18 --> T273 : 1
Pre[15,14]: 1
P19 --> T273 : 1
Pre[15,34]: 1
P43 --> T273 : 1
Pre[15,5]: 1
P12 --> T272 : 1
Pre[16,38]: 1
P18 --> T272 : 1
Pre[16,14]: 1
P19 --> T272 : 1
Pre[16,34]: 1
P42 --> T272 : 1
Pre[16,7]: 1
P12 --> T271 : 1
Pre[17,38]: 1
P18 --> T271 : 1
Pre[17,14]: 1
P19 --> T271 : 1
Pre[17,34]: 1
P41 --> T271 : 1
Pre[17,8]: 1
P12 --> T270 : 1
Pre[18,38]: 1
P18 --> T270 : 1
Pre[18,14]: 1
P19 --> T270 : 1
Pre[18,34]: 1
P40 --> T270 : 1
Pre[18,9]: 1
P12 --> T269 : 1
Pre[19,38]: 1
P18 --> T269 : 1
Pre[19,14]: 1
P19 --> T269 : 1
Pre[19,34]: 1
P39 --> T269 : 1
Pre[19,10]: 1
P12 --> T268 : 1
Pre[20,38]: 1
P18 --> T268 : 1
Pre[20,14]: 1
P19 --> T268 : 1
Pre[20,34]: 1
P38 --> T268 : 1
Pre[20,12]: 1
P11 --> T267 : 1
Pre[21,39]: 1
P18 --> T267 : 1
Pre[21,14]: 1
P19 --> T267 : 1
Pre[21,34]: 1
P48 --> T267 : 1
Pre[21,11]: 1
P11 --> T266 : 1
Pre[22,39]: 1
P18 --> T266 : 1
Pre[22,14]: 1
P19 --> T266 : 1
Pre[22,34]: 1
P47 --> T266 : 1
Pre[22,6]: 1
P11 --> T265 : 1
Pre[23,39]: 1
P18 --> T265 : 1
Pre[23,14]: 1
P19 --> T265 : 1
Pre[23,34]: 1
P46 --> T265 : 1
Pre[23,3]: 1
P11 --> T264 : 1
Pre[24,39]: 1
P18 --> T264 : 1
Pre[24,14]: 1
P19 --> T264 : 1
Pre[24,34]: 1
P45 --> T264 : 1
Pre[24,2]: 1
P11 --> T263 : 1
Pre[25,39]: 1
P18 --> T263 : 1
Pre[25,14]: 1
P19 --> T263 : 1
Pre[25,34]: 1
P44 --> T263 : 1
Pre[25,4]: 1
P11 --> T262 : 1
Pre[26,39]: 1
P18 --> T262 : 1
Pre[26,14]: 1
P19 --> T262 : 1
Pre[26,34]: 1
P43 --> T262 : 1
Pre[26,5]: 1
P11 --> T261 : 1
Pre[27,39]: 1
P18 --> T261 : 1
Pre[27,14]: 1
P19 --> T261 : 1
Pre[27,34]: 1
P42 --> T261 : 1
Pre[27,7]: 1
P11 --> T260 : 1
Pre[28,39]: 1
P18 --> T260 : 1
Pre[28,14]: 1
P19 --> T260 : 1
Pre[28,34]: 1
P41 --> T260 : 1
Pre[28,8]: 1
P11 --> T259 : 1
Pre[29,39]: 1
P18 --> T259 : 1
Pre[29,14]: 1
P19 --> T259 : 1
Pre[29,34]: 1
P40 --> T259 : 1
Pre[29,9]: 1
P11 --> T258 : 1
Pre[30,39]: 1
P18 --> T258 : 1
Pre[30,14]: 1
P19 --> T258 : 1
Pre[30,34]: 1
P39 --> T258 : 1
Pre[30,10]: 1
P11 --> T257 : 1
Pre[31,39]: 1
P18 --> T257 : 1
Pre[31,14]: 1
P19 --> T257 : 1
Pre[31,34]: 1
P38 --> T257 : 1
Pre[31,12]: 1
P10 --> T256 : 1
Pre[32,40]: 1
P18 --> T256 : 1
Pre[32,14]: 1
P19 --> T256 : 1
Pre[32,34]: 1
P48 --> T256 : 1
Pre[32,11]: 1
P10 --> T255 : 1
Pre[33,40]: 1
P18 --> T255 : 1
Pre[33,14]: 1
P19 --> T255 : 1
Pre[33,34]: 1
P47 --> T255 : 1
Pre[33,6]: 1
P10 --> T254 : 1
Pre[34,40]: 1
P18 --> T254 : 1
Pre[34,14]: 1
P19 --> T254 : 1
Pre[34,34]: 1
P46 --> T254 : 1
Pre[34,3]: 1
P10 --> T253 : 1
Pre[35,40]: 1
P18 --> T253 : 1
Pre[35,14]: 1
P19 --> T253 : 1
Pre[35,34]: 1
P45 --> T253 : 1
Pre[35,2]: 1
P10 --> T252 : 1
Pre[36,40]: 1
P18 --> T252 : 1
Pre[36,14]: 1
P19 --> T252 : 1
Pre[36,34]: 1
P44 --> T252 : 1
Pre[36,4]: 1
P10 --> T251 : 1
Pre[37,40]: 1
P18 --> T251 : 1
Pre[37,14]: 1
P19 --> T251 : 1
Pre[37,34]: 1
P43 --> T251 : 1
Pre[37,5]: 1
P10 --> T250 : 1
Pre[38,40]: 1
P18 --> T250 : 1
Pre[38,14]: 1
P19 --> T250 : 1
Pre[38,34]: 1
P42 --> T250 : 1
Pre[38,7]: 1
P10 --> T249 : 1
Pre[39,40]: 1
P18 --> T249 : 1
Pre[39,14]: 1
P19 --> T249 : 1
Pre[39,34]: 1
P41 --> T249 : 1
Pre[39,8]: 1
P10 --> T248 : 1
Pre[40,40]: 1
P18 --> T248 : 1
Pre[40,14]: 1
P19 --> T248 : 1
Pre[40,34]: 1
P40 --> T248 : 1
Pre[40,9]: 1
P10 --> T247 : 1
Pre[41,40]: 1
P18 --> T247 : 1
Pre[41,14]: 1
P19 --> T247 : 1
Pre[41,34]: 1
P39 --> T247 : 1
Pre[41,10]: 1
P10 --> T246 : 1
Pre[42,40]: 1
P18 --> T246 : 1
Pre[42,14]: 1
P19 --> T246 : 1
Pre[42,34]: 1
P38 --> T246 : 1
Pre[42,12]: 1
P9 --> T245 : 1
Pre[43,41]: 1
P18 --> T245 : 1
Pre[43,14]: 1
P19 --> T245 : 1
Pre[43,34]: 1
P48 --> T245 : 1
Pre[43,11]: 1
P9 --> T244 : 1
Pre[44,41]: 1
P18 --> T244 : 1
Pre[44,14]: 1
P19 --> T244 : 1
Pre[44,34]: 1
P47 --> T244 : 1
Pre[44,6]: 1
P9 --> T243 : 1
Pre[45,41]: 1
P18 --> T243 : 1
Pre[45,14]: 1
P19 --> T243 : 1
Pre[45,34]: 1
P46 --> T243 : 1
Pre[45,3]: 1
P9 --> T242 : 1
Pre[46,41]: 1
P18 --> T242 : 1
Pre[46,14]: 1
P19 --> T242 : 1
Pre[46,34]: 1
P45 --> T242 : 1
Pre[46,2]: 1
P9 --> T241 : 1
Pre[47,41]: 1
P18 --> T241 : 1
Pre[47,14]: 1
P19 --> T241 : 1
Pre[47,34]: 1
P44 --> T241 : 1
Pre[47,4]: 1
P9 --> T240 : 1
Pre[48,41]: 1
P18 --> T240 : 1
Pre[48,14]: 1
P19 --> T240 : 1
Pre[48,34]: 1
P43 --> T240 : 1
Pre[48,5]: 1
P9 --> T239 : 1
Pre[49,41]: 1
P18 --> T239 : 1
Pre[49,14]: 1
P19 --> T239 : 1
Pre[49,34]: 1
P42 --> T239 : 1
Pre[49,7]: 1
P9 --> T238 : 1
Pre[50,41]: 1
P18 --> T238 : 1
Pre[50,14]: 1
P19 --> T238 : 1
Pre[50,34]: 1
P41 --> T238 : 1
Pre[50,8]: 1
P9 --> T237 : 1
Pre[51,41]: 1
P18 --> T237 : 1
Pre[51,14]: 1
P19 --> T237 : 1
Pre[51,34]: 1
P40 --> T237 : 1
Pre[51,9]: 1
P9 --> T236 : 1
Pre[52,41]: 1
P18 --> T236 : 1
Pre[52,14]: 1
P19 --> T236 : 1
Pre[52,34]: 1
P39 --> T236 : 1
Pre[52,10]: 1
P9 --> T235 : 1
Pre[53,41]: 1
P18 --> T235 : 1
Pre[53,14]: 1
P19 --> T235 : 1
Pre[53,34]: 1
P38 --> T235 : 1
Pre[53,12]: 1
P8 --> T234 : 1
Pre[54,43]: 1
P18 --> T234 : 1
Pre[54,14]: 1
P19 --> T234 : 1
Pre[54,34]: 1
P48 --> T234 : 1
Pre[54,11]: 1
P8 --> T233 : 1
Pre[55,43]: 1
P18 --> T233 : 1
Pre[55,14]: 1
P19 --> T233 : 1
Pre[55,34]: 1
P47 --> T233 : 1
Pre[55,6]: 1
P8 --> T232 : 1
Pre[56,43]: 1
P18 --> T232 : 1
Pre[56,14]: 1
P19 --> T232 : 1
Pre[56,34]: 1
P46 --> T232 : 1
Pre[56,3]: 1
P8 --> T231 : 1
Pre[57,43]: 1
P18 --> T231 : 1
Pre[57,14]: 1
P19 --> T231 : 1
Pre[57,34]: 1
P45 --> T231 : 1
Pre[57,2]: 1
P8 --> T230 : 1
Pre[58,43]: 1
P18 --> T230 : 1
Pre[58,14]: 1
P19 --> T230 : 1
Pre[58,34]: 1
P44 --> T230 : 1
Pre[58,4]: 1
P8 --> T229 : 1
Pre[59,43]: 1
P18 --> T229 : 1
Pre[59,14]: 1
P19 --> T229 : 1
Pre[59,34]: 1
P43 --> T229 : 1
Pre[59,5]: 1
P8 --> T228 : 1
Pre[60,43]: 1
P18 --> T228 : 1
Pre[60,14]: 1
P19 --> T228 : 1
Pre[60,34]: 1
P42 --> T228 : 1
Pre[60,7]: 1
P8 --> T227 : 1
Pre[61,43]: 1
P18 --> T227 : 1
Pre[61,14]: 1
P19 --> T227 : 1
Pre[61,34]: 1
P41 --> T227 : 1
Pre[61,8]: 1
P8 --> T226 : 1
Pre[62,43]: 1
P18 --> T226 : 1
Pre[62,14]: 1
P19 --> T226 : 1
Pre[62,34]: 1
P40 --> T226 : 1
Pre[62,9]: 1
P8 --> T225 : 1
Pre[63,43]: 1
P18 --> T225 : 1
Pre[63,14]: 1
P19 --> T225 : 1
Pre[63,34]: 1
P39 --> T225 : 1
Pre[63,10]: 1
P8 --> T224 : 1
Pre[64,43]: 1
P18 --> T224 : 1
Pre[64,14]: 1
P19 --> T224 : 1
Pre[64,34]: 1
P38 --> T224 : 1
Pre[64,12]: 1
P7 --> T223 : 1
Pre[65,46]: 1
P18 --> T223 : 1
Pre[65,14]: 1
P19 --> T223 : 1
Pre[65,34]: 1
P48 --> T223 : 1
Pre[65,11]: 1
P7 --> T222 : 1
Pre[66,46]: 1
P18 --> T222 : 1
Pre[66,14]: 1
P19 --> T222 : 1
Pre[66,34]: 1
P47 --> T222 : 1
Pre[66,6]: 1
P7 --> T221 : 1
Pre[67,46]: 1
P18 --> T221 : 1
Pre[67,14]: 1
P19 --> T221 : 1
Pre[67,34]: 1
P46 --> T221 : 1
Pre[67,3]: 1
P7 --> T220 : 1
Pre[68,46]: 1
P18 --> T220 : 1
Pre[68,14]: 1
P19 --> T220 : 1
Pre[68,34]: 1
P45 --> T220 : 1
Pre[68,2]: 1
P7 --> T219 : 1
Pre[69,46]: 1
P18 --> T219 : 1
Pre[69,14]: 1
P19 --> T219 : 1
Pre[69,34]: 1
P44 --> T219 : 1
Pre[69,4]: 1
P7 --> T218 : 1
Pre[70,46]: 1
P18 --> T218 : 1
Pre[70,14]: 1
P19 --> T218 : 1
Pre[70,34]: 1
P43 --> T218 : 1
Pre[70,5]: 1
P7 --> T217 : 1
Pre[71,46]: 1
P18 --> T217 : 1
Pre[71,14]: 1
P19 --> T217 : 1
Pre[71,34]: 1
P42 --> T217 : 1
Pre[71,7]: 1
P7 --> T216 : 1
Pre[72,46]: 1
P18 --> T216 : 1
Pre[72,14]: 1
P19 --> T216 : 1
Pre[72,34]: 1
P41 --> T216 : 1
Pre[72,8]: 1
P7 --> T215 : 1
Pre[73,46]: 1
P18 --> T215 : 1
Pre[73,14]: 1
P19 --> T215 : 1
Pre[73,34]: 1
P40 --> T215 : 1
Pre[73,9]: 1
P7 --> T214 : 1
Pre[74,46]: 1
P18 --> T214 : 1
Pre[74,14]: 1
P19 --> T214 : 1
Pre[74,34]: 1
P39 --> T214 : 1
Pre[74,10]: 1
P7 --> T213 : 1
Pre[75,46]: 1
P18 --> T213 : 1
Pre[75,14]: 1
P19 --> T213 : 1
Pre[75,34]: 1
P38 --> T213 : 1
Pre[75,12]: 1
P6 --> T212 : 1
Pre[76,45]: 1
P18 --> T212 : 1
Pre[76,14]: 1
P19 --> T212 : 1
Pre[76,34]: 1
P48 --> T212 : 1
Pre[76,11]: 1
P6 --> T211 : 1
Pre[77,45]: 1
P18 --> T211 : 1
Pre[77,14]: 1
P19 --> T211 : 1
Pre[77,34]: 1
P47 --> T211 : 1
Pre[77,6]: 1
P6 --> T210 : 1
Pre[78,45]: 1
P18 --> T210 : 1
Pre[78,14]: 1
P19 --> T210 : 1
Pre[78,34]: 1
P46 --> T210 : 1
Pre[78,3]: 1
P6 --> T209 : 1
Pre[79,45]: 1
P18 --> T209 : 1
Pre[79,14]: 1
P19 --> T209 : 1
Pre[79,34]: 1
P45 --> T209 : 1
Pre[79,2]: 1
P6 --> T208 : 1
Pre[80,45]: 1
P18 --> T208 : 1
Pre[80,14]: 1
P19 --> T208 : 1
Pre[80,34]: 1
P44 --> T208 : 1
Pre[80,4]: 1
P6 --> T207 : 1
Pre[81,45]: 1
P18 --> T207 : 1
Pre[81,14]: 1
P19 --> T207 : 1
Pre[81,34]: 1
P43 --> T207 : 1
Pre[81,5]: 1
P6 --> T206 : 1
Pre[82,45]: 1
P18 --> T206 : 1
Pre[82,14]: 1
P19 --> T206 : 1
Pre[82,34]: 1
P42 --> T206 : 1
Pre[82,7]: 1
P6 --> T205 : 1
Pre[83,45]: 1
P18 --> T205 : 1
Pre[83,14]: 1
P19 --> T205 : 1
Pre[83,34]: 1
P41 --> T205 : 1
Pre[83,8]: 1
P6 --> T204 : 1
Pre[84,45]: 1
P18 --> T204 : 1
Pre[84,14]: 1
P19 --> T204 : 1
Pre[84,34]: 1
P40 --> T204 : 1
Pre[84,9]: 1
P6 --> T203 : 1
Pre[85,45]: 1
P18 --> T203 : 1
Pre[85,14]: 1
P19 --> T203 : 1
Pre[85,34]: 1
P39 --> T203 : 1
Pre[85,10]: 1
P6 --> T202 : 1
Pre[86,45]: 1
P18 --> T202 : 1
Pre[86,14]: 1
P19 --> T202 : 1
Pre[86,34]: 1
P38 --> T202 : 1
Pre[86,12]: 1
P5 --> T201 : 1
Pre[87,44]: 1
P18 --> T201 : 1
Pre[87,14]: 1
P19 --> T201 : 1
Pre[87,34]: 1
P48 --> T201 : 1
Pre[87,11]: 1
P5 --> T200 : 1
Pre[88,44]: 1
P18 --> T200 : 1
Pre[88,14]: 1
P19 --> T200 : 1
Pre[88,34]: 1
P47 --> T200 : 1
Pre[88,6]: 1
P5 --> T199 : 1
Pre[89,44]: 1
P18 --> T199 : 1
Pre[89,14]: 1
P19 --> T199 : 1
Pre[89,34]: 1
P46 --> T199 : 1
Pre[89,3]: 1
P5 --> T198 : 1
Pre[90,44]: 1
P18 --> T198 : 1
Pre[90,14]: 1
P19 --> T198 : 1
Pre[90,34]: 1
P45 --> T198 : 1
Pre[90,2]: 1
P5 --> T197 : 1
Pre[91,44]: 1
P18 --> T197 : 1
Pre[91,14]: 1
P19 --> T197 : 1
Pre[91,34]: 1
P44 --> T197 : 1
Pre[91,4]: 1
P5 --> T196 : 1
Pre[92,44]: 1
P18 --> T196 : 1
Pre[92,14]: 1
P19 --> T196 : 1
Pre[92,34]: 1
P43 --> T196 : 1
Pre[92,5]: 1
P5 --> T195 : 1
Pre[93,44]: 1
P18 --> T195 : 1
Pre[93,14]: 1
P19 --> T195 : 1
Pre[93,34]: 1
P42 --> T195 : 1
Pre[93,7]: 1
P5 --> T194 : 1
Pre[94,44]: 1
P18 --> T194 : 1
Pre[94,14]: 1
P19 --> T194 : 1
Pre[94,34]: 1
P41 --> T194 : 1
Pre[94,8]: 1
P5 --> T193 : 1
Pre[95,44]: 1
P18 --> T193 : 1
Pre[95,14]: 1
P19 --> T193 : 1
Pre[95,34]: 1
P40 --> T193 : 1
Pre[95,9]: 1
P5 --> T192 : 1
Pre[96,44]: 1
P18 --> T192 : 1
Pre[96,14]: 1
P19 --> T192 : 1
Pre[96,34]: 1
P39 --> T192 : 1
Pre[96,10]: 1
P5 --> T191 : 1
Pre[97,44]: 1
P18 --> T191 : 1
Pre[97,14]: 1
P19 --> T191 : 1
Pre[97,34]: 1
P38 --> T191 : 1
Pre[97,12]: 1
P4 --> T190 : 1
Pre[98,42]: 1
P18 --> T190 : 1
Pre[98,14]: 1
P19 --> T190 : 1
Pre[98,34]: 1
P48 --> T190 : 1
Pre[98,11]: 1
P4 --> T189 : 1
Pre[99,42]: 1
P18 --> T189 : 1
Pre[99,14]: 1
P19 --> T189 : 1
Pre[99,34]: 1
P47 --> T189 : 1
Pre[99,6]: 1
P4 --> T188 : 1
Pre[100,42]: 1
P18 --> T188 : 1
Pre[100,14]: 1
P19 --> T188 : 1
Pre[100,34]: 1
P46 --> T188 : 1
Pre[100,3]: 1
P4 --> T187 : 1
Pre[101,42]: 1
P18 --> T187 : 1
Pre[101,14]: 1
P19 --> T187 : 1
Pre[101,34]: 1
P45 --> T187 : 1
Pre[101,2]: 1
P4 --> T186 : 1
Pre[102,42]: 1
P18 --> T186 : 1
Pre[102,14]: 1
P19 --> T186 : 1
Pre[102,34]: 1
P44 --> T186 : 1
Pre[102,4]: 1
P4 --> T185 : 1
Pre[103,42]: 1
P18 --> T185 : 1
Pre[103,14]: 1
P19 --> T185 : 1
Pre[103,34]: 1
P43 --> T185 : 1
Pre[103,5]: 1
P4 --> T184 : 1
Pre[104,42]: 1
P18 --> T184 : 1
Pre[104,14]: 1
P19 --> T184 : 1
Pre[104,34]: 1
P42 --> T184 : 1
Pre[104,7]: 1
P4 --> T183 : 1
Pre[105,42]: 1
P18 --> T183 : 1
Pre[105,14]: 1
P19 --> T183 : 1
Pre[105,34]: 1
P41 --> T183 : 1
Pre[105,8]: 1
P4 --> T182 : 1
Pre[106,42]: 1
P18 --> T182 : 1
Pre[106,14]: 1
P19 --> T182 : 1
Pre[106,34]: 1
P40 --> T182 : 1
Pre[106,9]: 1
P4 --> T181 : 1
Pre[107,42]: 1
P18 --> T181 : 1
Pre[107,14]: 1
P19 --> T181 : 1
Pre[107,34]: 1
P39 --> T181 : 1
Pre[107,10]: 1
P4 --> T180 : 1
Pre[108,42]: 1
P18 --> T180 : 1
Pre[108,14]: 1
P19 --> T180 : 1
Pre[108,34]: 1
P38 --> T180 : 1
Pre[108,12]: 1
P3 --> T179 : 1
Pre[109,37]: 1
P18 --> T179 : 1
Pre[109,14]: 1
P19 --> T179 : 1
Pre[109,34]: 1
P48 --> T179 : 1
Pre[109,11]: 1
P3 --> T178 : 1
Pre[110,37]: 1
P18 --> T178 : 1
Pre[110,14]: 1
P19 --> T178 : 1
Pre[110,34]: 1
P47 --> T178 : 1
Pre[110,6]: 1
P3 --> T177 : 1
Pre[111,37]: 1
P18 --> T177 : 1
Pre[111,14]: 1
P19 --> T177 : 1
Pre[111,34]: 1
P46 --> T177 : 1
Pre[111,3]: 1
P3 --> T176 : 1
Pre[112,37]: 1
P18 --> T176 : 1
Pre[112,14]: 1
P19 --> T176 : 1
Pre[112,34]: 1
P45 --> T176 : 1
Pre[112,2]: 1
P3 --> T175 : 1
Pre[113,37]: 1
P18 --> T175 : 1
Pre[113,14]: 1
P19 --> T175 : 1
Pre[113,34]: 1
P44 --> T175 : 1
Pre[113,4]: 1
P3 --> T174 : 1
Pre[114,37]: 1
P18 --> T174 : 1
Pre[114,14]: 1
P19 --> T174 : 1
Pre[114,34]: 1
P43 --> T174 : 1
Pre[114,5]: 1
P3 --> T173 : 1
Pre[115,37]: 1
P18 --> T173 : 1
Pre[115,14]: 1
P19 --> T173 : 1
Pre[115,34]: 1
P42 --> T173 : 1
Pre[115,7]: 1
P3 --> T172 : 1
Pre[116,37]: 1
P18 --> T172 : 1
Pre[116,14]: 1
P19 --> T172 : 1
Pre[116,34]: 1
P41 --> T172 : 1
Pre[116,8]: 1
P3 --> T171 : 1
Pre[117,37]: 1
P18 --> T171 : 1
Pre[117,14]: 1
P19 --> T171 : 1
Pre[117,34]: 1
P40 --> T171 : 1
Pre[117,9]: 1
P3 --> T170 : 1
Pre[118,37]: 1
P18 --> T170 : 1
Pre[118,14]: 1
P19 --> T170 : 1
Pre[118,34]: 1
P39 --> T170 : 1
Pre[118,10]: 1
P3 --> T169 : 1
Pre[119,37]: 1
P18 --> T169 : 1
Pre[119,14]: 1
P19 --> T169 : 1
Pre[119,34]: 1
P38 --> T169 : 1
Pre[119,12]: 1
P2 --> T168 : 1
Pre[120,23]: 1
P17 --> T168 : 1
Pre[120,16]: 1
P29 --> T168 : 1
Pre[120,28]: 1
P48 --> T168 : 1
Pre[120,11]: 1
P2 --> T167 : 1
Pre[121,23]: 1
P17 --> T167 : 1
Pre[121,16]: 1
P29 --> T167 : 1
Pre[121,28]: 1
P47 --> T167 : 1
Pre[121,6]: 1
P2 --> T166 : 1
Pre[122,23]: 1
P17 --> T166 : 1
Pre[122,16]: 1
P29 --> T166 : 1
Pre[122,28]: 1
P46 --> T166 : 1
Pre[122,3]: 1
P2 --> T165 : 1
Pre[123,23]: 1
P17 --> T165 : 1
Pre[123,16]: 1
P29 --> T165 : 1
Pre[123,28]: 1
P45 --> T165 : 1
Pre[123,2]: 1
P2 --> T164 : 1
Pre[124,23]: 1
P17 --> T164 : 1
Pre[124,16]: 1
P29 --> T164 : 1
Pre[124,28]: 1
P44 --> T164 : 1
Pre[124,4]: 1
P2 --> T163 : 1
Pre[125,23]: 1
P17 --> T163 : 1
Pre[125,16]: 1
P29 --> T163 : 1
Pre[125,28]: 1
P43 --> T163 : 1
Pre[125,5]: 1
P2 --> T162 : 1
Pre[126,23]: 1
P17 --> T162 : 1
Pre[126,16]: 1
P29 --> T162 : 1
Pre[126,28]: 1
P42 --> T162 : 1
Pre[126,7]: 1
P2 --> T161 : 1
Pre[127,23]: 1
P17 --> T161 : 1
Pre[127,16]: 1
P29 --> T161 : 1
Pre[127,28]: 1
P41 --> T161 : 1
Pre[127,8]: 1
P2 --> T160 : 1
Pre[128,23]: 1
P17 --> T160 : 1
Pre[128,16]: 1
P29 --> T160 : 1
Pre[128,28]: 1
P40 --> T160 : 1
Pre[128,9]: 1
P2 --> T159 : 1
Pre[129,23]: 1
P17 --> T159 : 1
Pre[129,16]: 1
P29 --> T159 : 1
Pre[129,28]: 1
P39 --> T159 : 1
Pre[129,10]: 1
P2 --> T158 : 1
Pre[130,23]: 1
P17 --> T158 : 1
Pre[130,16]: 1
P29 --> T158 : 1
Pre[130,28]: 1
P38 --> T158 : 1
Pre[130,12]: 1
P2 --> T157 : 1
Pre[131,23]: 1
P17 --> T157 : 1
Pre[131,16]: 1
P28 --> T157 : 1
Pre[131,27]: 1
P48 --> T157 : 1
Pre[131,11]: 1
P2 --> T156 : 1
Pre[132,23]: 1
P17 --> T156 : 1
Pre[132,16]: 1
P28 --> T156 : 1
Pre[132,27]: 1
P47 --> T156 : 1
Pre[132,6]: 1
P2 --> T155 : 1
Pre[133,23]: 1
P17 --> T155 : 1
Pre[133,16]: 1
P28 --> T155 : 1
Pre[133,27]: 1
P46 --> T155 : 1
Pre[133,3]: 1
P2 --> T154 : 1
Pre[134,23]: 1
P17 --> T154 : 1
Pre[134,16]: 1
P28 --> T154 : 1
Pre[134,27]: 1
P45 --> T154 : 1
Pre[134,2]: 1
P2 --> T153 : 1
Pre[135,23]: 1
P17 --> T153 : 1
Pre[135,16]: 1
P28 --> T153 : 1
Pre[135,27]: 1
P44 --> T153 : 1
Pre[135,4]: 1
P2 --> T152 : 1
Pre[136,23]: 1
P17 --> T152 : 1
Pre[136,16]: 1
P28 --> T152 : 1
Pre[136,27]: 1
P43 --> T152 : 1
Pre[136,5]: 1
P2 --> T151 : 1
Pre[137,23]: 1
P17 --> T151 : 1
Pre[137,16]: 1
P28 --> T151 : 1
Pre[137,27]: 1
P42 --> T151 : 1
Pre[137,7]: 1
P2 --> T150 : 1
Pre[138,23]: 1
P17 --> T150 : 1
Pre[138,16]: 1
P28 --> T150 : 1
Pre[138,27]: 1
P41 --> T150 : 1
Pre[138,8]: 1
P2 --> T149 : 1
Pre[139,23]: 1
P17 --> T149 : 1
Pre[139,16]: 1
P28 --> T149 : 1
Pre[139,27]: 1
P40 --> T149 : 1
Pre[139,9]: 1
P2 --> T148 : 1
Pre[140,23]: 1
P17 --> T148 : 1
Pre[140,16]: 1
P28 --> T148 : 1
Pre[140,27]: 1
P39 --> T148 : 1
Pre[140,10]: 1
P2 --> T147 : 1
Pre[141,23]: 1
P17 --> T147 : 1
Pre[141,16]: 1
P28 --> T147 : 1
Pre[141,27]: 1
P38 --> T147 : 1
Pre[141,12]: 1
P2 --> T146 : 1
Pre[142,23]: 1
P17 --> T146 : 1
Pre[142,16]: 1
P27 --> T146 : 1
Pre[142,26]: 1
P48 --> T146 : 1
Pre[142,11]: 1
P2 --> T145 : 1
Pre[143,23]: 1
P17 --> T145 : 1
Pre[143,16]: 1
P27 --> T145 : 1
Pre[143,26]: 1
P47 --> T145 : 1
Pre[143,6]: 1
P2 --> T144 : 1
Pre[144,23]: 1
P17 --> T144 : 1
Pre[144,16]: 1
P27 --> T144 : 1
Pre[144,26]: 1
P46 --> T144 : 1
Pre[144,3]: 1
P2 --> T143 : 1
Pre[145,23]: 1
P17 --> T143 : 1
Pre[145,16]: 1
P27 --> T143 : 1
Pre[145,26]: 1
P45 --> T143 : 1
Pre[145,2]: 1
P2 --> T142 : 1
Pre[146,23]: 1
P17 --> T142 : 1
Pre[146,16]: 1
P27 --> T142 : 1
Pre[146,26]: 1
P44 --> T142 : 1
Pre[146,4]: 1
P2 --> T141 : 1
Pre[147,23]: 1
P17 --> T141 : 1
Pre[147,16]: 1
P27 --> T141 : 1
Pre[147,26]: 1
P43 --> T141 : 1
Pre[147,5]: 1
P2 --> T140 : 1
Pre[148,23]: 1
P17 --> T140 : 1
Pre[148,16]: 1
P27 --> T140 : 1
Pre[148,26]: 1
P42 --> T140 : 1
Pre[148,7]: 1
P2 --> T139 : 1
Pre[149,23]: 1
P17 --> T139 : 1
Pre[149,16]: 1
P27 --> T139 : 1
Pre[149,26]: 1
P41 --> T139 : 1
Pre[149,8]: 1
P2 --> T138 : 1
Pre[150,23]: 1
P17 --> T138 : 1
Pre[150,16]: 1
P27 --> T138 : 1
Pre[150,26]: 1
P40 --> T138 : 1
Pre[150,9]: 1
P2 --> T137 : 1
Pre[151,23]: 1
P17 --> T137 : 1
Pre[151,16]: 1
P27 --> T137 : 1
Pre[151,26]: 1
P39 --> T137 : 1
Pre[151,10]: 1
P2 --> T136 : 1
Pre[152,23]: 1
P17 --> T136 : 1
Pre[152,16]: 1
P27 --> T136 : 1
Pre[152,26]: 1
P38 --> T136 : 1
Pre[152,12]: 1
P2 --> T135 : 1
Pre[153,23]: 1
P17 --> T135 : 1
Pre[153,16]: 1
P26 --> T135 : 1
Pre[153,24]: 1
P48 --> T135 : 1
Pre[153,11]: 1
P2 --> T134 : 1
Pre[154,23]: 1
P17 --> T134 : 1
Pre[154,16]: 1
P26 --> T134 : 1
Pre[154,24]: 1
P47 --> T134 : 1
Pre[154,6]: 1
P2 --> T133 : 1
Pre[155,23]: 1
P17 --> T133 : 1
Pre[155,16]: 1
P26 --> T133 : 1
Pre[155,24]: 1
P46 --> T133 : 1
Pre[155,3]: 1
P2 --> T132 : 1
Pre[156,23]: 1
P17 --> T132 : 1
Pre[156,16]: 1
P26 --> T132 : 1
Pre[156,24]: 1
P45 --> T132 : 1
Pre[156,2]: 1
P2 --> T131 : 1
Pre[157,23]: 1
P17 --> T131 : 1
Pre[157,16]: 1
P26 --> T131 : 1
Pre[157,24]: 1
P44 --> T131 : 1
Pre[157,4]: 1
P2 --> T130 : 1
Pre[158,23]: 1
P17 --> T130 : 1
Pre[158,16]: 1
P26 --> T130 : 1
Pre[158,24]: 1
P43 --> T130 : 1
Pre[158,5]: 1
P2 --> T129 : 1
Pre[159,23]: 1
P17 --> T129 : 1
Pre[159,16]: 1
P26 --> T129 : 1
Pre[159,24]: 1
P42 --> T129 : 1
Pre[159,7]: 1
P2 --> T128 : 1
Pre[160,23]: 1
P17 --> T128 : 1
Pre[160,16]: 1
P26 --> T128 : 1
Pre[160,24]: 1
P41 --> T128 : 1
Pre[160,8]: 1
P2 --> T127 : 1
Pre[161,23]: 1
P17 --> T127 : 1
Pre[161,16]: 1
P26 --> T127 : 1
Pre[161,24]: 1
P40 --> T127 : 1
Pre[161,9]: 1
P2 --> T126 : 1
Pre[162,23]: 1
P17 --> T126 : 1
Pre[162,16]: 1
P26 --> T126 : 1
Pre[162,24]: 1
P39 --> T126 : 1
Pre[162,10]: 1
P2 --> T125 : 1
Pre[163,23]: 1
P17 --> T125 : 1
Pre[163,16]: 1
P26 --> T125 : 1
Pre[163,24]: 1
P38 --> T125 : 1
Pre[163,12]: 1
P2 --> T124 : 1
Pre[164,23]: 1
P17 --> T124 : 1
Pre[164,16]: 1
P25 --> T124 : 1
Pre[164,25]: 1
P48 --> T124 : 1
Pre[164,11]: 1
P2 --> T123 : 1
Pre[165,23]: 1
P17 --> T123 : 1
Pre[165,16]: 1
P25 --> T123 : 1
Pre[165,25]: 1
P47 --> T123 : 1
Pre[165,6]: 1
P2 --> T122 : 1
Pre[166,23]: 1
P17 --> T122 : 1
Pre[166,16]: 1
P25 --> T122 : 1
Pre[166,25]: 1
P46 --> T122 : 1
Pre[166,3]: 1
P2 --> T121 : 1
Pre[167,23]: 1
P17 --> T121 : 1
Pre[167,16]: 1
P25 --> T121 : 1
Pre[167,25]: 1
P45 --> T121 : 1
Pre[167,2]: 1
P2 --> T120 : 1
Pre[168,23]: 1
P17 --> T120 : 1
Pre[168,16]: 1
P25 --> T120 : 1
Pre[168,25]: 1
P44 --> T120 : 1
Pre[168,4]: 1
P2 --> T119 : 1
Pre[169,23]: 1
P17 --> T119 : 1
Pre[169,16]: 1
P25 --> T119 : 1
Pre[169,25]: 1
P43 --> T119 : 1
Pre[169,5]: 1
P2 --> T118 : 1
Pre[170,23]: 1
P17 --> T118 : 1
Pre[170,16]: 1
P25 --> T118 : 1
Pre[170,25]: 1
P42 --> T118 : 1
Pre[170,7]: 1
P2 --> T117 : 1
Pre[171,23]: 1
P17 --> T117 : 1
Pre[171,16]: 1
P25 --> T117 : 1
Pre[171,25]: 1
P41 --> T117 : 1
Pre[171,8]: 1
P2 --> T116 : 1
Pre[172,23]: 1
P17 --> T116 : 1
Pre[172,16]: 1
P25 --> T116 : 1
Pre[172,25]: 1
P40 --> T116 : 1
Pre[172,9]: 1
P2 --> T115 : 1
Pre[173,23]: 1
P17 --> T115 : 1
Pre[173,16]: 1
P25 --> T115 : 1
Pre[173,25]: 1
P39 --> T115 : 1
Pre[173,10]: 1
P2 --> T114 : 1
Pre[174,23]: 1
P17 --> T114 : 1
Pre[174,16]: 1
P25 --> T114 : 1
Pre[174,25]: 1
P38 --> T114 : 1
Pre[174,12]: 1
P2 --> T113 : 1
Pre[175,23]: 1
P17 --> T113 : 1
Pre[175,16]: 1
P24 --> T113 : 1
Pre[175,29]: 1
P48 --> T113 : 1
Pre[175,11]: 1
P2 --> T112 : 1
Pre[176,23]: 1
P17 --> T112 : 1
Pre[176,16]: 1
P24 --> T112 : 1
Pre[176,29]: 1
P47 --> T112 : 1
Pre[176,6]: 1
P2 --> T111 : 1
Pre[177,23]: 1
P17 --> T111 : 1
Pre[177,16]: 1
P24 --> T111 : 1
Pre[177,29]: 1
P46 --> T111 : 1
Pre[177,3]: 1
P2 --> T110 : 1
Pre[178,23]: 1
P17 --> T110 : 1
Pre[178,16]: 1
P24 --> T110 : 1
Pre[178,29]: 1
P45 --> T110 : 1
Pre[178,2]: 1
P2 --> T109 : 1
Pre[179,23]: 1
P17 --> T109 : 1
Pre[179,16]: 1
P24 --> T109 : 1
Pre[179,29]: 1
P44 --> T109 : 1
Pre[179,4]: 1
P2 --> T108 : 1
Pre[180,23]: 1
P17 --> T108 : 1
Pre[180,16]: 1
P24 --> T108 : 1
Pre[180,29]: 1
P43 --> T108 : 1
Pre[180,5]: 1
P2 --> T107 : 1
Pre[181,23]: 1
P17 --> T107 : 1
Pre[181,16]: 1
P24 --> T107 : 1
Pre[181,29]: 1
P42 --> T107 : 1
Pre[181,7]: 1
P2 --> T106 : 1
Pre[182,23]: 1
P17 --> T106 : 1
Pre[182,16]: 1
P24 --> T106 : 1
Pre[182,29]: 1
P41 --> T106 : 1
Pre[182,8]: 1
P2 --> T105 : 1
Pre[183,23]: 1
P17 --> T105 : 1
Pre[183,16]: 1
P24 --> T105 : 1
Pre[183,29]: 1
P40 --> T105 : 1
Pre[183,9]: 1
P2 --> T104 : 1
Pre[184,23]: 1
P17 --> T104 : 1
Pre[184,16]: 1
P24 --> T104 : 1
Pre[184,29]: 1
P39 --> T104 : 1
Pre[184,10]: 1
P2 --> T103 : 1
Pre[185,23]: 1
P17 --> T103 : 1
Pre[185,16]: 1
P24 --> T103 : 1
Pre[185,29]: 1
P38 --> T103 : 1
Pre[185,12]: 1
P2 --> T102 : 1
Pre[186,23]: 1
P17 --> T102 : 1
Pre[186,16]: 1
P23 --> T102 : 1
Pre[186,30]: 1
P48 --> T102 : 1
Pre[186,11]: 1
P2 --> T101 : 1
Pre[187,23]: 1
P17 --> T101 : 1
Pre[187,16]: 1
P23 --> T101 : 1
Pre[187,30]: 1
P47 --> T101 : 1
Pre[187,6]: 1
P2 --> T100 : 1
Pre[188,23]: 1
P17 --> T100 : 1
Pre[188,16]: 1
P23 --> T100 : 1
Pre[188,30]: 1
P46 --> T100 : 1
Pre[188,3]: 1
P2 --> T99 : 1
Pre[189,23]: 1
P17 --> T99 : 1
Pre[189,16]: 1
P23 --> T99 : 1
Pre[189,30]: 1
P45 --> T99 : 1
Pre[189,2]: 1
P2 --> T98 : 1
Pre[190,23]: 1
P17 --> T98 : 1
Pre[190,16]: 1
P23 --> T98 : 1
Pre[190,30]: 1
P44 --> T98 : 1
Pre[190,4]: 1
P2 --> T97 : 1
Pre[191,23]: 1
P17 --> T97 : 1
Pre[191,16]: 1
P23 --> T97 : 1
Pre[191,30]: 1
P43 --> T97 : 1
Pre[191,5]: 1
P2 --> T96 : 1
Pre[192,23]: 1
P17 --> T96 : 1
Pre[192,16]: 1
P23 --> T96 : 1
Pre[192,30]: 1
P42 --> T96 : 1
Pre[192,7]: 1
P2 --> T95 : 1
Pre[193,23]: 1
P17 --> T95 : 1
Pre[193,16]: 1
P23 --> T95 : 1
Pre[193,30]: 1
P41 --> T95 : 1
Pre[193,8]: 1
P2 --> T94 : 1
Pre[194,23]: 1
P17 --> T94 : 1
Pre[194,16]: 1
P23 --> T94 : 1
Pre[194,30]: 1
P40 --> T94 : 1
Pre[194,9]: 1
P2 --> T93 : 1
Pre[195,23]: 1
P17 --> T93 : 1
Pre[195,16]: 1
P23 --> T93 : 1
Pre[195,30]: 1
P39 --> T93 : 1
Pre[195,10]: 1
P2 --> T92 : 1
Pre[196,23]: 1
P17 --> T92 : 1
Pre[196,16]: 1
P23 --> T92 : 1
Pre[196,30]: 1
P38 --> T92 : 1
Pre[196,12]: 1
P2 --> T91 : 1
Pre[197,23]: 1
P17 --> T91 : 1
Pre[197,16]: 1
P22 --> T91 : 1
Pre[197,31]: 1
P48 --> T91 : 1
Pre[197,11]: 1
P2 --> T90 : 1
Pre[198,23]: 1
P17 --> T90 : 1
Pre[198,16]: 1
P22 --> T90 : 1
Pre[198,31]: 1
P47 --> T90 : 1
Pre[198,6]: 1
P2 --> T89 : 1
Pre[199,23]: 1
P17 --> T89 : 1
Pre[199,16]: 1
P22 --> T89 : 1
Pre[199,31]: 1
P46 --> T89 : 1
Pre[199,3]: 1
P2 --> T88 : 1
Pre[200,23]: 1
P17 --> T88 : 1
Pre[200,16]: 1
P22 --> T88 : 1
Pre[200,31]: 1
P45 --> T88 : 1
Pre[200,2]: 1
P2 --> T87 : 1
Pre[201,23]: 1
P17 --> T87 : 1
Pre[201,16]: 1
P22 --> T87 : 1
Pre[201,31]: 1
P44 --> T87 : 1
Pre[201,4]: 1
P2 --> T86 : 1
Pre[202,23]: 1
P17 --> T86 : 1
Pre[202,16]: 1
P22 --> T86 : 1
Pre[202,31]: 1
P43 --> T86 : 1
Pre[202,5]: 1
P2 --> T85 : 1
Pre[203,23]: 1
P17 --> T85 : 1
Pre[203,16]: 1
P22 --> T85 : 1
Pre[203,31]: 1
P42 --> T85 : 1
Pre[203,7]: 1
P2 --> T84 : 1
Pre[204,23]: 1
P17 --> T84 : 1
Pre[204,16]: 1
P22 --> T84 : 1
Pre[204,31]: 1
P41 --> T84 : 1
Pre[204,8]: 1
P2 --> T83 : 1
Pre[205,23]: 1
P17 --> T83 : 1
Pre[205,16]: 1
P22 --> T83 : 1
Pre[205,31]: 1
P40 --> T83 : 1
Pre[205,9]: 1
P2 --> T82 : 1
Pre[206,23]: 1
P17 --> T82 : 1
Pre[206,16]: 1
P22 --> T82 : 1
Pre[206,31]: 1
P39 --> T82 : 1
Pre[206,10]: 1
P2 --> T81 : 1
Pre[207,23]: 1
P17 --> T81 : 1
Pre[207,16]: 1
P22 --> T81 : 1
Pre[207,31]: 1
P38 --> T81 : 1
Pre[207,12]: 1
P2 --> T80 : 1
Pre[208,23]: 1
P17 --> T80 : 1
Pre[208,16]: 1
P21 --> T80 : 1
Pre[208,32]: 1
P48 --> T80 : 1
Pre[208,11]: 1
P2 --> T79 : 1
Pre[209,23]: 1
P17 --> T79 : 1
Pre[209,16]: 1
P21 --> T79 : 1
Pre[209,32]: 1
P47 --> T79 : 1
Pre[209,6]: 1
P2 --> T78 : 1
Pre[210,23]: 1
P17 --> T78 : 1
Pre[210,16]: 1
P21 --> T78 : 1
Pre[210,32]: 1
P46 --> T78 : 1
Pre[210,3]: 1
P2 --> T77 : 1
Pre[211,23]: 1
P17 --> T77 : 1
Pre[211,16]: 1
P21 --> T77 : 1
Pre[211,32]: 1
P45 --> T77 : 1
Pre[211,2]: 1
P2 --> T76 : 1
Pre[212,23]: 1
P17 --> T76 : 1
Pre[212,16]: 1
P21 --> T76 : 1
Pre[212,32]: 1
P44 --> T76 : 1
Pre[212,4]: 1
P2 --> T75 : 1
Pre[213,23]: 1
P17 --> T75 : 1
Pre[213,16]: 1
P21 --> T75 : 1
Pre[213,32]: 1
P43 --> T75 : 1
Pre[213,5]: 1
P2 --> T74 : 1
Pre[214,23]: 1
P17 --> T74 : 1
Pre[214,16]: 1
P21 --> T74 : 1
Pre[214,32]: 1
P42 --> T74 : 1
Pre[214,7]: 1
P2 --> T73 : 1
Pre[215,23]: 1
P17 --> T73 : 1
Pre[215,16]: 1
P21 --> T73 : 1
Pre[215,32]: 1
P41 --> T73 : 1
Pre[215,8]: 1
P2 --> T72 : 1
Pre[216,23]: 1
P17 --> T72 : 1
Pre[216,16]: 1
P21 --> T72 : 1
Pre[216,32]: 1
P40 --> T72 : 1
Pre[216,9]: 1
P2 --> T71 : 1
Pre[217,23]: 1
P17 --> T71 : 1
Pre[217,16]: 1
P21 --> T71 : 1
Pre[217,32]: 1
P39 --> T71 : 1
Pre[217,10]: 1
P2 --> T70 : 1
Pre[218,23]: 1
P17 --> T70 : 1
Pre[218,16]: 1
P21 --> T70 : 1
Pre[218,32]: 1
P38 --> T70 : 1
Pre[218,12]: 1
P2 --> T69 : 1
Pre[219,23]: 1
P17 --> T69 : 1
Pre[219,16]: 1
P20 --> T69 : 1
Pre[219,33]: 1
P48 --> T69 : 1
Pre[219,11]: 1
P2 --> T68 : 1
Pre[220,23]: 1
P17 --> T68 : 1
Pre[220,16]: 1
P20 --> T68 : 1
Pre[220,33]: 1
P47 --> T68 : 1
Pre[220,6]: 1
P2 --> T67 : 1
Pre[221,23]: 1
P17 --> T67 : 1
Pre[221,16]: 1
P20 --> T67 : 1
Pre[221,33]: 1
P46 --> T67 : 1
Pre[221,3]: 1
P2 --> T66 : 1
Pre[222,23]: 1
P17 --> T66 : 1
Pre[222,16]: 1
P20 --> T66 : 1
Pre[222,33]: 1
P45 --> T66 : 1
Pre[222,2]: 1
P2 --> T65 : 1
Pre[223,23]: 1
P17 --> T65 : 1
Pre[223,16]: 1
P20 --> T65 : 1
Pre[223,33]: 1
P44 --> T65 : 1
Pre[223,4]: 1
P2 --> T64 : 1
Pre[224,23]: 1
P17 --> T64 : 1
Pre[224,16]: 1
P20 --> T64 : 1
Pre[224,33]: 1
P43 --> T64 : 1
Pre[224,5]: 1
P2 --> T63 : 1
Pre[225,23]: 1
P17 --> T63 : 1
Pre[225,16]: 1
P20 --> T63 : 1
Pre[225,33]: 1
P42 --> T63 : 1
Pre[225,7]: 1
P2 --> T62 : 1
Pre[226,23]: 1
P17 --> T62 : 1
Pre[226,16]: 1
P20 --> T62 : 1
Pre[226,33]: 1
P41 --> T62 : 1
Pre[226,8]: 1
P2 --> T61 : 1
Pre[227,23]: 1
P17 --> T61 : 1
Pre[227,16]: 1
P20 --> T61 : 1
Pre[227,33]: 1
P40 --> T61 : 1
Pre[227,9]: 1
P2 --> T60 : 1
Pre[228,23]: 1
P17 --> T60 : 1
Pre[228,16]: 1
P20 --> T60 : 1
Pre[228,33]: 1
P39 --> T60 : 1
Pre[228,10]: 1
P2 --> T59 : 1
Pre[229,23]: 1
P17 --> T59 : 1
Pre[229,16]: 1
P20 --> T59 : 1
Pre[229,33]: 1
P38 --> T59 : 1
Pre[229,12]: 1
P32 --> T58 : 1
Pre[230,13]: 1
P48 --> T58 : 1
Pre[230,11]: 1
P31 --> T57 : 1
Pre[231,15]: 1
P48 --> T57 : 1
Pre[231,11]: 1
P32 --> T56 : 1
Pre[232,13]: 1
P47 --> T56 : 1
Pre[232,6]: 1
P31 --> T55 : 1
Pre[233,15]: 1
P47 --> T55 : 1
Pre[233,6]: 1
P32 --> T54 : 1
Pre[234,13]: 1
P46 --> T54 : 1
Pre[234,3]: 1
P31 --> T53 : 1
Pre[235,15]: 1
P46 --> T53 : 1
Pre[235,3]: 1
P32 --> T52 : 1
Pre[236,13]: 1
P45 --> T52 : 1
Pre[236,2]: 1
P31 --> T51 : 1
Pre[237,15]: 1
P45 --> T51 : 1
Pre[237,2]: 1
P32 --> T50 : 1
Pre[238,13]: 1
P44 --> T50 : 1
Pre[238,4]: 1
P31 --> T49 : 1
Pre[239,15]: 1
P44 --> T49 : 1
Pre[239,4]: 1
P32 --> T48 : 1
Pre[240,13]: 1
P43 --> T48 : 1
Pre[240,5]: 1
P31 --> T47 : 1
Pre[241,15]: 1
P43 --> T47 : 1
Pre[241,5]: 1
P32 --> T46 : 1
Pre[242,13]: 1
P42 --> T46 : 1
Pre[242,7]: 1
P31 --> T45 : 1
Pre[243,15]: 1
P42 --> T45 : 1
Pre[243,7]: 1
P32 --> T44 : 1
Pre[244,13]: 1
P41 --> T44 : 1
Pre[244,8]: 1
P31 --> T43 : 1
Pre[245,15]: 1
P41 --> T43 : 1
Pre[245,8]: 1
P32 --> T42 : 1
Pre[246,13]: 1
P40 --> T42 : 1
Pre[246,9]: 1
P31 --> T41 : 1
Pre[247,15]: 1
P40 --> T41 : 1
Pre[247,9]: 1
P32 --> T40 : 1
Pre[248,13]: 1
P39 --> T40 : 1
Pre[248,10]: 1
P31 --> T39 : 1
Pre[249,15]: 1
P39 --> T39 : 1
Pre[249,10]: 1
P32 --> T38 : 1
Pre[250,13]: 1
P38 --> T38 : 1
Pre[250,12]: 1
P31 --> T37 : 1
Pre[251,15]: 1
P38 --> T37 : 1
Pre[251,12]: 1
P29 --> T36 : 1
Pre[252,28]: 1
P37 --> T36 : 1
Pre[252,20]: 1
P28 --> T35 : 1
Pre[253,27]: 1
P37 --> T35 : 1
Pre[253,20]: 1
P27 --> T34 : 1
Pre[254,26]: 1
P37 --> T34 : 1
Pre[254,20]: 1
P26 --> T33 : 1
Pre[255,24]: 1
P37 --> T33 : 1
Pre[255,20]: 1
P25 --> T32 : 1
Pre[256,25]: 1
P37 --> T32 : 1
Pre[256,20]: 1
P24 --> T31 : 1
Pre[257,29]: 1
P37 --> T31 : 1
Pre[257,20]: 1
P23 --> T30 : 1
Pre[258,30]: 1
P37 --> T30 : 1
Pre[258,20]: 1
P22 --> T29 : 1
Pre[259,31]: 1
P37 --> T29 : 1
Pre[259,20]: 1
P21 --> T28 : 1
Pre[260,32]: 1
P37 --> T28 : 1
Pre[260,20]: 1
P20 --> T27 : 1
Pre[261,33]: 1
P37 --> T27 : 1
Pre[261,20]: 1
P19 --> T26 : 1
Pre[262,34]: 1
P37 --> T26 : 1
Pre[262,20]: 1
P33 --> T25 : 1
Pre[263,21]: 1
P16 --> T24 : 10
Pre[264,19]: 10
P35 --> T24 : 1
Pre[264,17]: 1
P16 --> T23 : 10
Pre[265,19]: 10
P34 --> T23 : 1
Pre[265,18]: 1
P16 --> T22 : 1
Pre[266,19]: 1
P18 --> T22 : 1
Pre[266,14]: 1
P29 --> T22 : 1
Pre[266,28]: 1
P30 --> T22 : 1
Pre[266,22]: 1
P16 --> T21 : 1
Pre[267,19]: 1
P18 --> T21 : 1
Pre[267,14]: 1
P28 --> T21 : 1
Pre[267,27]: 1
P30 --> T21 : 1
Pre[267,22]: 1
P16 --> T20 : 1
Pre[268,19]: 1
P18 --> T20 : 1
Pre[268,14]: 1
P27 --> T20 : 1
Pre[268,26]: 1
P30 --> T20 : 1
Pre[268,22]: 1
P16 --> T19 : 1
Pre[269,19]: 1
P18 --> T19 : 1
Pre[269,14]: 1
P26 --> T19 : 1
Pre[269,24]: 1
P30 --> T19 : 1
Pre[269,22]: 1
P16 --> T18 : 1
Pre[270,19]: 1
P18 --> T18 : 1
Pre[270,14]: 1
P25 --> T18 : 1
Pre[270,25]: 1
P30 --> T18 : 1
Pre[270,22]: 1
P16 --> T17 : 1
Pre[271,19]: 1
P18 --> T17 : 1
Pre[271,14]: 1
P24 --> T17 : 1
Pre[271,29]: 1
P30 --> T17 : 1
Pre[271,22]: 1
P16 --> T16 : 1
Pre[272,19]: 1
P18 --> T16 : 1
Pre[272,14]: 1
P23 --> T16 : 1
Pre[272,30]: 1
P30 --> T16 : 1
Pre[272,22]: 1
P16 --> T15 : 1
Pre[273,19]: 1
P18 --> T15 : 1
Pre[273,14]: 1
P22 --> T15 : 1
Pre[273,31]: 1
P30 --> T15 : 1
Pre[273,22]: 1
P16 --> T14 : 1
Pre[274,19]: 1
P18 --> T14 : 1
Pre[274,14]: 1
P21 --> T14 : 1
Pre[274,32]: 1
P30 --> T14 : 1
Pre[274,22]: 1
P16 --> T13 : 1
Pre[275,19]: 1
P18 --> T13 : 1
Pre[275,14]: 1
P20 --> T13 : 1
Pre[275,33]: 1
P30 --> T13 : 1
Pre[275,22]: 1
P14 --> T12 : 1
Pre[276,35]: 1
P1 --> T11 : 1
Pre[277,1]: 1
P12 --> T11 : 1
Pre[277,38]: 1
P1 --> T10 : 1
Pre[278,1]: 1
P11 --> T10 : 1
Pre[278,39]: 1
P1 --> T9 : 1
Pre[279,1]: 1
P10 --> T9 : 1
Pre[279,40]: 1
P1 --> T8 : 1
Pre[280,1]: 1
P9 --> T8 : 1
Pre[280,41]: 1
P1 --> T7 : 1
Pre[281,1]: 1
P8 --> T7 : 1
Pre[281,43]: 1
P1 --> T6 : 1
Pre[282,1]: 1
P7 --> T6 : 1
Pre[282,46]: 1
P1 --> T5 : 1
Pre[283,1]: 1
P6 --> T5 : 1
Pre[283,45]: 1
P1 --> T4 : 1
Pre[284,1]: 1
P5 --> T4 : 1
Pre[284,44]: 1
P1 --> T3 : 1
Pre[285,1]: 1
P4 --> T3 : 1
Pre[285,42]: 1
P1 --> T2 : 1
Pre[286,1]: 1
P3 --> T2 : 1
Pre[286,37]: 1
P1 --> T1 : 1
Pre[287,1]: 1
P2 --> T1 : 1
Pre[287,23]: 1


New Decreasing places (index:name):

Accumulated Decreasing places (index:name): 1:P1 20:P37

New Increasing places (index:name):

Accumulated Increasing places (index:name): 0:P36 47:P15

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 T288
Disabled? False
Enabling: (1<=P12&1<=P13&1<=P16&1<=P17)
Firing: P12' := P12 - 1; P13' := P13 - 1; P16' := P16 - 1; P17' := P17 - 1; P11' := P11 + 1; P14' := P14 + 1; P31' := P31 + 1
Finalized T287
Disabled? False
Enabling: (1<=P11&1<=P13&1<=P16&1<=P17)
Firing: P11' := P11 - 1; P13' := P13 - 1; P16' := P16 - 1; P17' := P17 - 1; P10' := P10 + 1; P14' := P14 + 1; P31' := P31 + 1
Finalized T286
Disabled? False
Enabling: (1<=P10&1<=P13&1<=P16&1<=P17)
Firing: P10' := P10 - 1; P13' := P13 - 1; P16' := P16 - 1; P17' := P17 - 1; P9' := P9 + 1; P14' := P14 + 1; P31' := P31 + 1
Finalized T285
Disabled? False
Enabling: (1<=P9&1<=P13&1<=P16&1<=P17)
Firing: P9' := P9 - 1; P13' := P13 - 1; P16' := P16 - 1; P17' := P17 - 1; P8' := P8 + 1; P14' := P14 + 1; P31' := P31 + 1
Finalized T284
Disabled? False
Enabling: (1<=P8&1<=P13&1<=P16&1<=P17)
Firing: P8' := P8 - 1; P13' := P13 - 1; P16' := P16 - 1; P17' := P17 - 1; P7' := P7 + 1; P14' := P14 + 1; P31' := P31 + 1
Finalized T283
Disabled? False
Enabling: (1<=P7&1<=P13&1<=P16&1<=P17)
Firing: P7' := P7 - 1; P13' := P13 - 1; P16' := P16 - 1; P17' := P17 - 1; P6' := P6 + 1; P14' := P14 + 1; P31' := P31 + 1
Finalized T282
Disabled? False
Enabling: (1<=P6&1<=P13&1<=P16&1<=P17)
Firing: P6' := P6 - 1; P13' := P13 - 1; P16' := P16 - 1; P17' := P17 - 1; P5' := P5 + 1; P14' := P14 + 1; P31' := P31 + 1
Finalized T281
Disabled? False
Enabling: (1<=P5&1<=P13&1<=P16&1<=P17)
Firing: P5' := P5 - 1; P13' := P13 - 1; P16' := P16 - 1; P17' := P17 - 1; P4' := P4 + 1; P14' := P14 + 1; P31' := P31 + 1
Finalized T280
Disabled? False
Enabling: (1<=P4&1<=P13&1<=P16&1<=P17)
Firing: P4' := P4 - 1; P13' := P13 - 1; P16' := P16 - 1; P17' := P17 - 1; P3' := P3 + 1; P14' := P14 + 1; P31' := P31 + 1
Finalized T279
Disabled? False
Enabling: (1<=P3&1<=P13&1<=P16&1<=P17)
Firing: P3' := P3 - 1; P13' := P13 - 1; P16' := P16 - 1; P17' := P17 - 1; P2' := P2 + 1; P14' := P14 + 1; P31' := P31 + 1
Finalized T278
Disabled? False
Enabling: (1<=P12&1<=P18&1<=P19&1<=P48)
Firing: P18' := P18 - 1; P48' := P48 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T277
Disabled? False
Enabling: (1<=P12&1<=P18&1<=P19&1<=P47)
Firing: P18' := P18 - 1; P47' := P47 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T276
Disabled? False
Enabling: (1<=P12&1<=P18&1<=P19&1<=P46)
Firing: P18' := P18 - 1; P46' := P46 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T275
Disabled? False
Enabling: (1<=P12&1<=P18&1<=P19&1<=P45)
Firing: P18' := P18 - 1; P45' := P45 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T274
Disabled? False
Enabling: (1<=P12&1<=P18&1<=P19&1<=P44)
Firing: P18' := P18 - 1; P44' := P44 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T273
Disabled? False
Enabling: (1<=P12&1<=P18&1<=P19&1<=P43)
Firing: P18' := P18 - 1; P43' := P43 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T272
Disabled? False
Enabling: (1<=P12&1<=P18&1<=P19&1<=P42)
Firing: P18' := P18 - 1; P42' := P42 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T271
Disabled? False
Enabling: (1<=P12&1<=P18&1<=P19&1<=P41)
Firing: P18' := P18 - 1; P41' := P41 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T270
Disabled? False
Enabling: (1<=P12&1<=P18&1<=P19&1<=P40)
Firing: P18' := P18 - 1; P40' := P40 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T269
Disabled? False
Enabling: (1<=P12&1<=P18&1<=P19&1<=P39)
Firing: P18' := P18 - 1; P39' := P39 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T268
Disabled? False
Enabling: (1<=P12&1<=P18&1<=P19&1<=P38)
Firing: P18' := P18 - 1; P34' := P34 + 1
Finalized T267
Disabled? False
Enabling: (1<=P11&1<=P18&1<=P19&1<=P48)
Firing: P18' := P18 - 1; P48' := P48 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T266
Disabled? False
Enabling: (1<=P11&1<=P18&1<=P19&1<=P47)
Firing: P18' := P18 - 1; P47' := P47 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T265
Disabled? False
Enabling: (1<=P11&1<=P18&1<=P19&1<=P46)
Firing: P18' := P18 - 1; P46' := P46 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T264
Disabled? False
Enabling: (1<=P11&1<=P18&1<=P19&1<=P45)
Firing: P18' := P18 - 1; P45' := P45 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T263
Disabled? False
Enabling: (1<=P11&1<=P18&1<=P19&1<=P44)
Firing: P18' := P18 - 1; P44' := P44 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T262
Disabled? False
Enabling: (1<=P11&1<=P18&1<=P19&1<=P43)
Firing: P18' := P18 - 1; P43' := P43 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T261
Disabled? False
Enabling: (1<=P11&1<=P18&1<=P19&1<=P42)
Firing: P18' := P18 - 1; P42' := P42 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T260
Disabled? False
Enabling: (1<=P11&1<=P18&1<=P19&1<=P41)
Firing: P18' := P18 - 1; P41' := P41 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T259
Disabled? False
Enabling: (1<=P11&1<=P18&1<=P19&1<=P40)
Firing: P18' := P18 - 1; P40' := P40 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T258
Disabled? False
Enabling: (1<=P11&1<=P18&1<=P19&1<=P39)
Firing: P18' := P18 - 1; P39' := P39 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T257
Disabled? False
Enabling: (1<=P11&1<=P18&1<=P19&1<=P38)
Firing: P18' := P18 - 1; P34' := P34 + 1
Finalized T256
Disabled? False
Enabling: (1<=P10&1<=P18&1<=P19&1<=P48)
Firing: P18' := P18 - 1; P48' := P48 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T255
Disabled? False
Enabling: (1<=P10&1<=P18&1<=P19&1<=P47)
Firing: P18' := P18 - 1; P47' := P47 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T254
Disabled? False
Enabling: (1<=P10&1<=P18&1<=P19&1<=P46)
Firing: P18' := P18 - 1; P46' := P46 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T253
Disabled? False
Enabling: (1<=P10&1<=P18&1<=P19&1<=P45)
Firing: P18' := P18 - 1; P45' := P45 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T252
Disabled? False
Enabling: (1<=P10&1<=P18&1<=P19&1<=P44)
Firing: P18' := P18 - 1; P44' := P44 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T251
Disabled? False
Enabling: (1<=P10&1<=P18&1<=P19&1<=P43)
Firing: P18' := P18 - 1; P43' := P43 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T250
Disabled? False
Enabling: (1<=P10&1<=P18&1<=P19&1<=P42)
Firing: P18' := P18 - 1; P42' := P42 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T249
Disabled? False
Enabling: (1<=P10&1<=P18&1<=P19&1<=P41)
Firing: P18' := P18 - 1; P41' := P41 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T248
Disabled? False
Enabling: (1<=P10&1<=P18&1<=P19&1<=P40)
Firing: P18' := P18 - 1; P40' := P40 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T247
Disabled? False
Enabling: (1<=P10&1<=P18&1<=P19&1<=P39)
Firing: P18' := P18 - 1; P39' := P39 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T246
Disabled? False
Enabling: (1<=P10&1<=P18&1<=P19&1<=P38)
Firing: P18' := P18 - 1; P34' := P34 + 1
Finalized T245
Disabled? False
Enabling: (1<=P9&1<=P18&1<=P19&1<=P48)
Firing: P18' := P18 - 1; P48' := P48 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T244
Disabled? False
Enabling: (1<=P9&1<=P18&1<=P19&1<=P47)
Firing: P18' := P18 - 1; P47' := P47 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T243
Disabled? False
Enabling: (1<=P9&1<=P18&1<=P19&1<=P46)
Firing: P18' := P18 - 1; P46' := P46 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T242
Disabled? False
Enabling: (1<=P9&1<=P18&1<=P19&1<=P45)
Firing: P18' := P18 - 1; P45' := P45 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T241
Disabled? False
Enabling: (1<=P9&1<=P18&1<=P19&1<=P44)
Firing: P18' := P18 - 1; P44' := P44 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T240
Disabled? False
Enabling: (1<=P9&1<=P18&1<=P19&1<=P43)
Firing: P18' := P18 - 1; P43' := P43 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T239
Disabled? False
Enabling: (1<=P9&1<=P18&1<=P19&1<=P42)
Firing: P18' := P18 - 1; P42' := P42 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T238
Disabled? False
Enabling: (1<=P9&1<=P18&1<=P19&1<=P41)
Firing: P18' := P18 - 1; P41' := P41 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T237
Disabled? False
Enabling: (1<=P9&1<=P18&1<=P19&1<=P40)
Firing: P18' := P18 - 1; P40' := P40 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T236
Disabled? False
Enabling: (1<=P9&1<=P18&1<=P19&1<=P39)
Firing: P18' := P18 - 1; P39' := P39 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T235
Disabled? False
Enabling: (1<=P9&1<=P18&1<=P19&1<=P38)
Firing: P18' := P18 - 1; P34' := P34 + 1
Finalized T234
Disabled? False
Enabling: (1<=P8&1<=P18&1<=P19&1<=P48)
Firing: P18' := P18 - 1; P48' := P48 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T233
Disabled? False
Enabling: (1<=P8&1<=P18&1<=P19&1<=P47)
Firing: P18' := P18 - 1; P47' := P47 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T232
Disabled? False
Enabling: (1<=P8&1<=P18&1<=P19&1<=P46)
Firing: P18' := P18 - 1; P46' := P46 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T231
Disabled? False
Enabling: (1<=P8&1<=P18&1<=P19&1<=P45)
Firing: P18' := P18 - 1; P45' := P45 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T230
Disabled? False
Enabling: (1<=P8&1<=P18&1<=P19&1<=P44)
Firing: P18' := P18 - 1; P44' := P44 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T229
Disabled? False
Enabling: (1<=P8&1<=P18&1<=P19&1<=P43)
Firing: P18' := P18 - 1; P43' := P43 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T228
Disabled? False
Enabling: (1<=P8&1<=P18&1<=P19&1<=P42)
Firing: P18' := P18 - 1; P42' := P42 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T227
Disabled? False
Enabling: (1<=P8&1<=P18&1<=P19&1<=P41)
Firing: P18' := P18 - 1; P41' := P41 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T226
Disabled? False
Enabling: (1<=P8&1<=P18&1<=P19&1<=P40)
Firing: P18' := P18 - 1; P40' := P40 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T225
Disabled? False
Enabling: (1<=P8&1<=P18&1<=P19&1<=P39)
Firing: P18' := P18 - 1; P39' := P39 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T224
Disabled? False
Enabling: (1<=P8&1<=P18&1<=P19&1<=P38)
Firing: P18' := P18 - 1; P34' := P34 + 1
Finalized T223
Disabled? False
Enabling: (1<=P7&1<=P18&1<=P19&1<=P48)
Firing: P18' := P18 - 1; P48' := P48 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T222
Disabled? False
Enabling: (1<=P7&1<=P18&1<=P19&1<=P47)
Firing: P18' := P18 - 1; P47' := P47 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T221
Disabled? False
Enabling: (1<=P7&1<=P18&1<=P19&1<=P46)
Firing: P18' := P18 - 1; P46' := P46 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T220
Disabled? False
Enabling: (1<=P7&1<=P18&1<=P19&1<=P45)
Firing: P18' := P18 - 1; P45' := P45 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T219
Disabled? False
Enabling: (1<=P7&1<=P18&1<=P19&1<=P44)
Firing: P18' := P18 - 1; P44' := P44 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T218
Disabled? False
Enabling: (1<=P7&1<=P18&1<=P19&1<=P43)
Firing: P18' := P18 - 1; P43' := P43 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T217
Disabled? False
Enabling: (1<=P7&1<=P18&1<=P19&1<=P42)
Firing: P18' := P18 - 1; P42' := P42 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T216
Disabled? False
Enabling: (1<=P7&1<=P18&1<=P19&1<=P41)
Firing: P18' := P18 - 1; P41' := P41 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T215
Disabled? False
Enabling: (1<=P7&1<=P18&1<=P19&1<=P40)
Firing: P18' := P18 - 1; P40' := P40 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T214
Disabled? False
Enabling: (1<=P7&1<=P18&1<=P19&1<=P39)
Firing: P18' := P18 - 1; P39' := P39 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T213
Disabled? False
Enabling: (1<=P7&1<=P18&1<=P19&1<=P38)
Firing: P18' := P18 - 1; P34' := P34 + 1
Finalized T212
Disabled? False
Enabling: (1<=P6&1<=P18&1<=P19&1<=P48)
Firing: P18' := P18 - 1; P48' := P48 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T211
Disabled? False
Enabling: (1<=P6&1<=P18&1<=P19&1<=P47)
Firing: P18' := P18 - 1; P47' := P47 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T210
Disabled? False
Enabling: (1<=P6&1<=P18&1<=P19&1<=P46)
Firing: P18' := P18 - 1; P46' := P46 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T209
Disabled? False
Enabling: (1<=P6&1<=P18&1<=P19&1<=P45)
Firing: P18' := P18 - 1; P45' := P45 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T208
Disabled? False
Enabling: (1<=P6&1<=P18&1<=P19&1<=P44)
Firing: P18' := P18 - 1; P44' := P44 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T207
Disabled? False
Enabling: (1<=P6&1<=P18&1<=P19&1<=P43)
Firing: P18' := P18 - 1; P43' := P43 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T206
Disabled? False
Enabling: (1<=P6&1<=P18&1<=P19&1<=P42)
Firing: P18' := P18 - 1; P42' := P42 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T205
Disabled? False
Enabling: (1<=P6&1<=P18&1<=P19&1<=P41)
Firing: P18' := P18 - 1; P41' := P41 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T204
Disabled? False
Enabling: (1<=P6&1<=P18&1<=P19&1<=P40)
Firing: P18' := P18 - 1; P40' := P40 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T203
Disabled? False
Enabling: (1<=P6&1<=P18&1<=P19&1<=P39)
Firing: P18' := P18 - 1; P39' := P39 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T202
Disabled? False
Enabling: (1<=P6&1<=P18&1<=P19&1<=P38)
Firing: P18' := P18 - 1; P34' := P34 + 1
Finalized T201
Disabled? False
Enabling: (1<=P5&1<=P18&1<=P19&1<=P48)
Firing: P18' := P18 - 1; P48' := P48 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T200
Disabled? False
Enabling: (1<=P5&1<=P18&1<=P19&1<=P47)
Firing: P18' := P18 - 1; P47' := P47 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T199
Disabled? False
Enabling: (1<=P5&1<=P18&1<=P19&1<=P46)
Firing: P18' := P18 - 1; P46' := P46 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T198
Disabled? False
Enabling: (1<=P5&1<=P18&1<=P19&1<=P45)
Firing: P18' := P18 - 1; P45' := P45 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T197
Disabled? False
Enabling: (1<=P5&1<=P18&1<=P19&1<=P44)
Firing: P18' := P18 - 1; P44' := P44 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T196
Disabled? False
Enabling: (1<=P5&1<=P18&1<=P19&1<=P43)
Firing: P18' := P18 - 1; P43' := P43 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T195
Disabled? False
Enabling: (1<=P5&1<=P18&1<=P19&1<=P42)
Firing: P18' := P18 - 1; P42' := P42 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T194
Disabled? False
Enabling: (1<=P5&1<=P18&1<=P19&1<=P41)
Firing: P18' := P18 - 1; P41' := P41 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T193
Disabled? False
Enabling: (1<=P5&1<=P18&1<=P19&1<=P40)
Firing: P18' := P18 - 1; P40' := P40 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T192
Disabled? False
Enabling: (1<=P5&1<=P18&1<=P19&1<=P39)
Firing: P18' := P18 - 1; P39' := P39 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T191
Disabled? False
Enabling: (1<=P5&1<=P18&1<=P19&1<=P38)
Firing: P18' := P18 - 1; P34' := P34 + 1
Finalized T190
Disabled? False
Enabling: (1<=P4&1<=P18&1<=P19&1<=P48)
Firing: P18' := P18 - 1; P48' := P48 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T189
Disabled? False
Enabling: (1<=P4&1<=P18&1<=P19&1<=P47)
Firing: P18' := P18 - 1; P47' := P47 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T188
Disabled? False
Enabling: (1<=P4&1<=P18&1<=P19&1<=P46)
Firing: P18' := P18 - 1; P46' := P46 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T187
Disabled? False
Enabling: (1<=P4&1<=P18&1<=P19&1<=P45)
Firing: P18' := P18 - 1; P45' := P45 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T186
Disabled? False
Enabling: (1<=P4&1<=P18&1<=P19&1<=P44)
Firing: P18' := P18 - 1; P44' := P44 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T185
Disabled? False
Enabling: (1<=P4&1<=P18&1<=P19&1<=P43)
Firing: P18' := P18 - 1; P43' := P43 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T184
Disabled? False
Enabling: (1<=P4&1<=P18&1<=P19&1<=P42)
Firing: P18' := P18 - 1; P42' := P42 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T183
Disabled? False
Enabling: (1<=P4&1<=P18&1<=P19&1<=P41)
Firing: P18' := P18 - 1; P41' := P41 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T182
Disabled? False
Enabling: (1<=P4&1<=P18&1<=P19&1<=P40)
Firing: P18' := P18 - 1; P40' := P40 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T181
Disabled? False
Enabling: (1<=P4&1<=P18&1<=P19&1<=P39)
Firing: P18' := P18 - 1; P39' := P39 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T180
Disabled? False
Enabling: (1<=P4&1<=P18&1<=P19&1<=P38)
Firing: P18' := P18 - 1; P34' := P34 + 1
Finalized T179
Disabled? False
Enabling: (1<=P3&1<=P18&1<=P19&1<=P48)
Firing: P18' := P18 - 1; P48' := P48 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T178
Disabled? False
Enabling: (1<=P3&1<=P18&1<=P19&1<=P47)
Firing: P18' := P18 - 1; P47' := P47 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T177
Disabled? False
Enabling: (1<=P3&1<=P18&1<=P19&1<=P46)
Firing: P18' := P18 - 1; P46' := P46 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T176
Disabled? False
Enabling: (1<=P3&1<=P18&1<=P19&1<=P45)
Firing: P18' := P18 - 1; P45' := P45 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T175
Disabled? False
Enabling: (1<=P3&1<=P18&1<=P19&1<=P44)
Firing: P18' := P18 - 1; P44' := P44 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T174
Disabled? False
Enabling: (1<=P3&1<=P18&1<=P19&1<=P43)
Firing: P18' := P18 - 1; P43' := P43 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T173
Disabled? False
Enabling: (1<=P3&1<=P18&1<=P19&1<=P42)
Firing: P18' := P18 - 1; P42' := P42 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T172
Disabled? False
Enabling: (1<=P3&1<=P18&1<=P19&1<=P41)
Firing: P18' := P18 - 1; P41' := P41 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T171
Disabled? False
Enabling: (1<=P3&1<=P18&1<=P19&1<=P40)
Firing: P18' := P18 - 1; P40' := P40 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T170
Disabled? False
Enabling: (1<=P3&1<=P18&1<=P19&1<=P39)
Firing: P18' := P18 - 1; P39' := P39 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T169
Disabled? False
Enabling: (1<=P3&1<=P18&1<=P19&1<=P38)
Firing: P18' := P18 - 1; P34' := P34 + 1
Finalized T168
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P29&1<=P48)
Firing: P17' := P17 - 1; P48' := P48 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T167
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P29&1<=P47)
Firing: P17' := P17 - 1; P47' := P47 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T166
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P29&1<=P46)
Firing: P17' := P17 - 1; P46' := P46 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T165
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P29&1<=P45)
Firing: P17' := P17 - 1; P45' := P45 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T164
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P29&1<=P44)
Firing: P17' := P17 - 1; P44' := P44 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T163
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P29&1<=P43)
Firing: P17' := P17 - 1; P43' := P43 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T162
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P29&1<=P42)
Firing: P17' := P17 - 1; P42' := P42 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T161
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P29&1<=P41)
Firing: P17' := P17 - 1; P41' := P41 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T160
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P29&1<=P40)
Firing: P17' := P17 - 1; P40' := P40 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T159
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P29&1<=P39)
Firing: P17' := P17 - 1; P39' := P39 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T158
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P29&1<=P38)
Firing: P17' := P17 - 1; P35' := P35 + 1
Finalized T157
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P28&1<=P48)
Firing: P17' := P17 - 1; P48' := P48 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T156
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P28&1<=P47)
Firing: P17' := P17 - 1; P47' := P47 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T155
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P28&1<=P46)
Firing: P17' := P17 - 1; P46' := P46 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T154
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P28&1<=P45)
Firing: P17' := P17 - 1; P45' := P45 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T153
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P28&1<=P44)
Firing: P17' := P17 - 1; P44' := P44 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T152
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P28&1<=P43)
Firing: P17' := P17 - 1; P43' := P43 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T151
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P28&1<=P42)
Firing: P17' := P17 - 1; P42' := P42 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T150
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P28&1<=P41)
Firing: P17' := P17 - 1; P41' := P41 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T149
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P28&1<=P40)
Firing: P17' := P17 - 1; P40' := P40 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T148
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P28&1<=P39)
Firing: P17' := P17 - 1; P39' := P39 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T147
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P28&1<=P38)
Firing: P17' := P17 - 1; P35' := P35 + 1
Finalized T146
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P27&1<=P48)
Firing: P17' := P17 - 1; P48' := P48 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T145
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P27&1<=P47)
Firing: P17' := P17 - 1; P47' := P47 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T144
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P27&1<=P46)
Firing: P17' := P17 - 1; P46' := P46 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T143
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P27&1<=P45)
Firing: P17' := P17 - 1; P45' := P45 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T142
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P27&1<=P44)
Firing: P17' := P17 - 1; P44' := P44 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T141
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P27&1<=P43)
Firing: P17' := P17 - 1; P43' := P43 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T140
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P27&1<=P42)
Firing: P17' := P17 - 1; P42' := P42 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T139
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P27&1<=P41)
Firing: P17' := P17 - 1; P41' := P41 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T138
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P27&1<=P40)
Firing: P17' := P17 - 1; P40' := P40 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T137
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P27&1<=P39)
Firing: P17' := P17 - 1; P39' := P39 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T136
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P27&1<=P38)
Firing: P17' := P17 - 1; P35' := P35 + 1
Finalized T135
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P26&1<=P48)
Firing: P17' := P17 - 1; P48' := P48 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T134
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P26&1<=P47)
Firing: P17' := P17 - 1; P47' := P47 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T133
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P26&1<=P46)
Firing: P17' := P17 - 1; P46' := P46 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T132
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P26&1<=P45)
Firing: P17' := P17 - 1; P45' := P45 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T131
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P26&1<=P44)
Firing: P17' := P17 - 1; P44' := P44 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T130
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P26&1<=P43)
Firing: P17' := P17 - 1; P43' := P43 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T129
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P26&1<=P42)
Firing: P17' := P17 - 1; P42' := P42 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T128
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P26&1<=P41)
Firing: P17' := P17 - 1; P41' := P41 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T127
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P26&1<=P40)
Firing: P17' := P17 - 1; P40' := P40 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T126
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P26&1<=P39)
Firing: P17' := P17 - 1; P39' := P39 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T125
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P26&1<=P38)
Firing: P17' := P17 - 1; P35' := P35 + 1
Finalized T124
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P25&1<=P48)
Firing: P17' := P17 - 1; P48' := P48 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T123
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P25&1<=P47)
Firing: P17' := P17 - 1; P47' := P47 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T122
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P25&1<=P46)
Firing: P17' := P17 - 1; P46' := P46 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T121
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P25&1<=P45)
Firing: P17' := P17 - 1; P45' := P45 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T120
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P25&1<=P44)
Firing: P17' := P17 - 1; P44' := P44 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T119
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P25&1<=P43)
Firing: P17' := P17 - 1; P43' := P43 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T118
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P25&1<=P42)
Firing: P17' := P17 - 1; P42' := P42 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T117
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P25&1<=P41)
Firing: P17' := P17 - 1; P41' := P41 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T116
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P25&1<=P40)
Firing: P17' := P17 - 1; P40' := P40 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T115
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P25&1<=P39)
Firing: P17' := P17 - 1; P39' := P39 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T114
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P25&1<=P38)
Firing: P17' := P17 - 1; P35' := P35 + 1
Finalized T113
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P24&1<=P48)
Firing: P17' := P17 - 1; P48' := P48 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T112
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P24&1<=P47)
Firing: P17' := P17 - 1; P47' := P47 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T111
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P24&1<=P46)
Firing: P17' := P17 - 1; P46' := P46 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T110
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P24&1<=P45)
Firing: P17' := P17 - 1; P45' := P45 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T109
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P24&1<=P44)
Firing: P17' := P17 - 1; P44' := P44 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T108
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P24&1<=P43)
Firing: P17' := P17 - 1; P43' := P43 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T107
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P24&1<=P42)
Firing: P17' := P17 - 1; P42' := P42 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T106
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P24&1<=P41)
Firing: P17' := P17 - 1; P41' := P41 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T105
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P24&1<=P40)
Firing: P17' := P17 - 1; P40' := P40 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T104
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P24&1<=P39)
Firing: P17' := P17 - 1; P39' := P39 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T103
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P24&1<=P38)
Firing: P17' := P17 - 1; P35' := P35 + 1
Finalized T102
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P23&1<=P48)
Firing: P17' := P17 - 1; P48' := P48 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T101
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P23&1<=P47)
Firing: P17' := P17 - 1; P47' := P47 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T100
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P23&1<=P46)
Firing: P17' := P17 - 1; P46' := P46 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T99
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P23&1<=P45)
Firing: P17' := P17 - 1; P45' := P45 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T98
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P23&1<=P44)
Firing: P17' := P17 - 1; P44' := P44 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T97
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P23&1<=P43)
Firing: P17' := P17 - 1; P43' := P43 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T96
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P23&1<=P42)
Firing: P17' := P17 - 1; P42' := P42 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T95
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P23&1<=P41)
Firing: P17' := P17 - 1; P41' := P41 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T94
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P23&1<=P40)
Firing: P17' := P17 - 1; P40' := P40 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T93
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P23&1<=P39)
Firing: P17' := P17 - 1; P39' := P39 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T92
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P23&1<=P38)
Firing: P17' := P17 - 1; P35' := P35 + 1
Finalized T91
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P22&1<=P48)
Firing: P17' := P17 - 1; P48' := P48 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T90
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P22&1<=P47)
Firing: P17' := P17 - 1; P47' := P47 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T89
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P22&1<=P46)
Firing: P17' := P17 - 1; P46' := P46 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T88
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P22&1<=P45)
Firing: P17' := P17 - 1; P45' := P45 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T87
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P22&1<=P44)
Firing: P17' := P17 - 1; P44' := P44 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T86
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P22&1<=P43)
Firing: P17' := P17 - 1; P43' := P43 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T85
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P22&1<=P42)
Firing: P17' := P17 - 1; P42' := P42 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T84
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P22&1<=P41)
Firing: P17' := P17 - 1; P41' := P41 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T83
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P22&1<=P40)
Firing: P17' := P17 - 1; P40' := P40 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T82
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P22&1<=P39)
Firing: P17' := P17 - 1; P39' := P39 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T81
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P22&1<=P38)
Firing: P17' := P17 - 1; P35' := P35 + 1
Finalized T80
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P21&1<=P48)
Firing: P17' := P17 - 1; P48' := P48 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T79
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P21&1<=P47)
Firing: P17' := P17 - 1; P47' := P47 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T78
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P21&1<=P46)
Firing: P17' := P17 - 1; P46' := P46 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T77
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P21&1<=P45)
Firing: P17' := P17 - 1; P45' := P45 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T76
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P21&1<=P44)
Firing: P17' := P17 - 1; P44' := P44 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T75
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P21&1<=P43)
Firing: P17' := P17 - 1; P43' := P43 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T74
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P21&1<=P42)
Firing: P17' := P17 - 1; P42' := P42 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T73
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P21&1<=P41)
Firing: P17' := P17 - 1; P41' := P41 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T72
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P21&1<=P40)
Firing: P17' := P17 - 1; P40' := P40 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T71
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P21&1<=P39)
Firing: P17' := P17 - 1; P39' := P39 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T70
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P21&1<=P38)
Firing: P17' := P17 - 1; P35' := P35 + 1
Finalized T69
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P20&1<=P48)
Firing: P17' := P17 - 1; P48' := P48 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T68
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P20&1<=P47)
Firing: P17' := P17 - 1; P47' := P47 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T67
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P20&1<=P46)
Firing: P17' := P17 - 1; P46' := P46 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T66
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P20&1<=P45)
Firing: P17' := P17 - 1; P45' := P45 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T65
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P20&1<=P44)
Firing: P17' := P17 - 1; P44' := P44 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T64
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P20&1<=P43)
Firing: P17' := P17 - 1; P43' := P43 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T63
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P20&1<=P42)
Firing: P17' := P17 - 1; P42' := P42 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T62
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P20&1<=P41)
Firing: P17' := P17 - 1; P41' := P41 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T61
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P20&1<=P40)
Firing: P17' := P17 - 1; P40' := P40 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T60
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P20&1<=P39)
Firing: P17' := P17 - 1; P39' := P39 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T59
Disabled? False
Enabling: (1<=P2&1<=P17&1<=P20&1<=P38)
Firing: P17' := P17 - 1; P35' := P35 + 1
Finalized T58
Disabled? False
Enabling: (1<=P32&1<=P48)
Firing: P32' := P32 - 1; P48' := P48 - 1; P34' := P34 + 1; P38' := P38 + 1
Finalized T57
Disabled? False
Enabling: (1<=P31&1<=P48)
Firing: P31' := P31 - 1; P48' := P48 - 1; P35' := P35 + 1; P38' := P38 + 1
Finalized T56
Disabled? False
Enabling: (1<=P32&1<=P47)
Firing: P32' := P32 - 1; P47' := P47 - 1; P18' := P18 + 1; P48' := P48 + 1
Finalized T55
Disabled? False
Enabling: (1<=P31&1<=P47)
Firing: P31' := P31 - 1; P47' := P47 - 1; P17' := P17 + 1; P48' := P48 + 1
Finalized T54
Disabled? False
Enabling: (1<=P32&1<=P46)
Firing: P32' := P32 - 1; P46' := P46 - 1; P18' := P18 + 1; P47' := P47 + 1
Finalized T53
Disabled? False
Enabling: (1<=P31&1<=P46)
Firing: P31' := P31 - 1; P46' := P46 - 1; P17' := P17 + 1; P47' := P47 + 1
Finalized T52
Disabled? False
Enabling: (1<=P32&1<=P45)
Firing: P32' := P32 - 1; P45' := P45 - 1; P18' := P18 + 1; P46' := P46 + 1
Finalized T51
Disabled? False
Enabling: (1<=P31&1<=P45)
Firing: P31' := P31 - 1; P45' := P45 - 1; P17' := P17 + 1; P46' := P46 + 1
Finalized T50
Disabled? False
Enabling: (1<=P32&1<=P44)
Firing: P32' := P32 - 1; P44' := P44 - 1; P18' := P18 + 1; P45' := P45 + 1
Finalized T49
Disabled? False
Enabling: (1<=P31&1<=P44)
Firing: P31' := P31 - 1; P44' := P44 - 1; P17' := P17 + 1; P45' := P45 + 1
Finalized T48
Disabled? False
Enabling: (1<=P32&1<=P43)
Firing: P32' := P32 - 1; P43' := P43 - 1; P18' := P18 + 1; P44' := P44 + 1
Finalized T47
Disabled? False
Enabling: (1<=P31&1<=P43)
Firing: P31' := P31 - 1; P43' := P43 - 1; P17' := P17 + 1; P44' := P44 + 1
Finalized T46
Disabled? False
Enabling: (1<=P32&1<=P42)
Firing: P32' := P32 - 1; P42' := P42 - 1; P18' := P18 + 1; P43' := P43 + 1
Finalized T45
Disabled? False
Enabling: (1<=P31&1<=P42)
Firing: P31' := P31 - 1; P42' := P42 - 1; P17' := P17 + 1; P43' := P43 + 1
Finalized T44
Disabled? False
Enabling: (1<=P32&1<=P41)
Firing: P32' := P32 - 1; P41' := P41 - 1; P18' := P18 + 1; P42' := P42 + 1
Finalized T43
Disabled? False
Enabling: (1<=P31&1<=P41)
Firing: P31' := P31 - 1; P41' := P41 - 1; P17' := P17 + 1; P42' := P42 + 1
Finalized T42
Disabled? False
Enabling: (1<=P32&1<=P40)
Firing: P32' := P32 - 1; P40' := P40 - 1; P18' := P18 + 1; P41' := P41 + 1
Finalized T41
Disabled? False
Enabling: (1<=P31&1<=P40)
Firing: P31' := P31 - 1; P40' := P40 - 1; P17' := P17 + 1; P41' := P41 + 1
Finalized T40
Disabled? False
Enabling: (1<=P32&1<=P39)
Firing: P32' := P32 - 1; P39' := P39 - 1; P18' := P18 + 1; P40' := P40 + 1
Finalized T39
Disabled? False
Enabling: (1<=P31&1<=P39)
Firing: P31' := P31 - 1; P39' := P39 - 1; P17' := P17 + 1; P40' := P40 + 1
Finalized T38
Disabled? False
Enabling: (1<=P32&1<=P38)
Firing: P32' := P32 - 1; P38' := P38 - 1; P18' := P18 + 1; P39' := P39 + 1
Finalized T37
Disabled? False
Enabling: (1<=P31&1<=P38)
Firing: P31' := P31 - 1; P38' := P38 - 1; P17' := P17 + 1; P39' := P39 + 1
Finalized T36
Disabled? False
Enabling: (1<=P29&1<=P37)
Firing: P29' := P29 - 1; P37' := P37 - 1; P19' := P19 + 1; P30' := P30 + 1
Finalized T35
Disabled? False
Enabling: (1<=P28&1<=P37)
Firing: P28' := P28 - 1; P37' := P37 - 1; P29' := P29 + 1; P30' := P30 + 1
Finalized T34
Disabled? False
Enabling: (1<=P27&1<=P37)
Firing: P27' := P27 - 1; P37' := P37 - 1; P28' := P28 + 1; P30' := P30 + 1
Finalized T33
Disabled? False
Enabling: (1<=P26&1<=P37)
Firing: P26' := P26 - 1; P37' := P37 - 1; P27' := P27 + 1; P30' := P30 + 1
Finalized T32
Disabled? False
Enabling: (1<=P25&1<=P37)
Firing: P25' := P25 - 1; P37' := P37 - 1; P26' := P26 + 1; P30' := P30 + 1
Finalized T31
Disabled? False
Enabling: (1<=P24&1<=P37)
Firing: P24' := P24 - 1; P37' := P37 - 1; P25' := P25 + 1; P30' := P30 + 1
Finalized T30
Disabled? False
Enabling: (1<=P23&1<=P37)
Firing: P23' := P23 - 1; P37' := P37 - 1; P24' := P24 + 1; P30' := P30 + 1
Finalized T29
Disabled? False
Enabling: (1<=P22&1<=P37)
Firing: P22' := P22 - 1; P37' := P37 - 1; P23' := P23 + 1; P30' := P30 + 1
Finalized T28
Disabled? False
Enabling: (1<=P21&1<=P37)
Firing: P21' := P21 - 1; P37' := P37 - 1; P22' := P22 + 1; P30' := P30 + 1
Finalized T27
Disabled? False
Enabling: (1<=P20&1<=P37)
Firing: P20' := P20 - 1; P37' := P37 - 1; P21' := P21 + 1; P30' := P30 + 1
Finalized T26
Disabled? False
Enabling: (1<=P19&1<=P37)
Firing: P19' := P19 - 1; P37' := P37 - 1; P20' := P20 + 1; P30' := P30 + 1
Finalized T25
Disabled? False
Enabling: 1<=P33
Firing: P33' := P33 - 1; P16' := P16 + 1; P36' := P36 + 1
Finalized T24
Disabled? False
Enabling: (10<=P16&1<=P35)
Firing: P35' := P35 - 1; P32' := P32 + 1
Finalized T23
Disabled? False
Enabling: (10<=P16&1<=P34)
Firing: P34' := P34 - 1; P31' := P31 + 1
Finalized T22
Disabled? False
Enabling: (1<=P16&1<=P18&1<=P29&1<=P30)
Firing: P16' := P16 - 1; P18' := P18 - 1; P29' := P29 - 1; P30' := P30 - 1; P28' := P28 + 1; P32' := P32 + 1; P33' := P33 + 1
Finalized T21
Disabled? False
Enabling: (1<=P16&1<=P18&1<=P28&1<=P30)
Firing: P16' := P16 - 1; P18' := P18 - 1; P28' := P28 - 1; P30' := P30 - 1; P27' := P27 + 1; P32' := P32 + 1; P33' := P33 + 1
Finalized T20
Disabled? False
Enabling: (1<=P16&1<=P18&1<=P27&1<=P30)
Firing: P16' := P16 - 1; P18' := P18 - 1; P27' := P27 - 1; P30' := P30 - 1; P26' := P26 + 1; P32' := P32 + 1; P33' := P33 + 1
Finalized T19
Disabled? False
Enabling: (1<=P16&1<=P18&1<=P26&1<=P30)
Firing: P16' := P16 - 1; P18' := P18 - 1; P26' := P26 - 1; P30' := P30 - 1; P25' := P25 + 1; P32' := P32 + 1; P33' := P33 + 1
Finalized T18
Disabled? False
Enabling: (1<=P16&1<=P18&1<=P25&1<=P30)
Firing: P16' := P16 - 1; P18' := P18 - 1; P25' := P25 - 1; P30' := P30 - 1; P24' := P24 + 1; P32' := P32 + 1; P33' := P33 + 1
Finalized T17
Disabled? False
Enabling: (1<=P16&1<=P18&1<=P24&1<=P30)
Firing: P16' := P16 - 1; P18' := P18 - 1; P24' := P24 - 1; P30' := P30 - 1; P23' := P23 + 1; P32' := P32 + 1; P33' := P33 + 1
Finalized T16
Disabled? False
Enabling: (1<=P16&1<=P18&1<=P23&1<=P30)
Firing: P16' := P16 - 1; P18' := P18 - 1; P23' := P23 - 1; P30' := P30 - 1; P22' := P22 + 1; P32' := P32 + 1; P33' := P33 + 1
Finalized T15
Disabled? False
Enabling: (1<=P16&1<=P18&1<=P22&1<=P30)
Firing: P16' := P16 - 1; P18' := P18 - 1; P22' := P22 - 1; P30' := P30 - 1; P21' := P21 + 1; P32' := P32 + 1; P33' := P33 + 1
Finalized T14
Disabled? False
Enabling: (1<=P16&1<=P18&1<=P21&1<=P30)
Firing: P16' := P16 - 1; P18' := P18 - 1; P21' := P21 - 1; P30' := P30 - 1; P20' := P20 + 1; P32' := P32 + 1; P33' := P33 + 1
Finalized T13
Disabled? False
Enabling: (1<=P16&1<=P18&1<=P20&1<=P30)
Firing: P16' := P16 - 1; P18' := P18 - 1; P20' := P20 - 1; P30' := P30 - 1; P19' := P19 + 1; P32' := P32 + 1; P33' := P33 + 1
Finalized T12
Disabled? False
Enabling: 1<=P14
Firing: P14' := P14 - 1; P15' := P15 + 1; P16' := P16 + 1
Finalized T11
Disabled? False
Enabling: (1<=P1&1<=P12)
Firing: P1' := P1 - 1; P12' := P12 - 1; P2' := P2 + 1; P13' := P13 + 1
Finalized T10
Disabled? False
Enabling: (1<=P1&1<=P11)
Firing: P1' := P1 - 1; P11' := P11 - 1; P12' := P12 + 1; P13' := P13 + 1
Finalized T9
Disabled? False
Enabling: (1<=P1&1<=P10)
Firing: P1' := P1 - 1; P10' := P10 - 1; P11' := P11 + 1; P13' := P13 + 1
Finalized T8
Disabled? False
Enabling: (1<=P1&1<=P9)
Firing: P1' := P1 - 1; P9' := P9 - 1; P10' := P10 + 1; P13' := P13 + 1
Finalized T7
Disabled? False
Enabling: (1<=P1&1<=P8)
Firing: P1' := P1 - 1; P8' := P8 - 1; P9' := P9 + 1; P13' := P13 + 1
Finalized T6
Disabled? False
Enabling: (1<=P1&1<=P7)
Firing: P1' := P1 - 1; P7' := P7 - 1; P8' := P8 + 1; P13' := P13 + 1
Finalized T5
Disabled? False
Enabling: (1<=P1&1<=P6)
Firing: P1' := P1 - 1; P6' := P6 - 1; P7' := P7 + 1; P13' := P13 + 1
Finalized T4
Disabled? False
Enabling: (1<=P1&1<=P5)
Firing: P1' := P1 - 1; P5' := P5 - 1; P6' := P6 + 1; P13' := P13 + 1
Finalized T3
Disabled? False
Enabling: (1<=P1&1<=P4)
Firing: P1' := P1 - 1; P4' := P4 - 1; P5' := P5 + 1; P13' := P13 + 1
Finalized T2
Disabled? False
Enabling: (1<=P1&1<=P3)
Firing: P1' := P1 - 1; P3' := P3 - 1; P4' := P4 + 1; P13' := P13 + 1
Finalized T1
Disabled? False
Enabling: (1<=P1&1<=P2)
Firing: P1' := P1 - 1; P2' := P2 - 1; P3' := P3 + 1; P13' := P13 + 1
STATE_SPACE STATES 259556 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 10 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 34 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 821282 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1526501389287

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-PT-V10P10N10.tgz
mv BridgeAndVehicles-PT-V10P10N10 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 BridgeAndVehicles-PT-V10P10N10, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r026-ebro-152646304000260"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;