About the Execution of smart for DNAwalker-PT-16redondantChoiceR
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 908.950 | 3600000.00 | 3599841.00 | 227.70 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
..................
/home/mcc/execution
total 372K
-rw-r--r-- 1 mcc users 3.1K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.6K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 122 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 360 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 19 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 211K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool smart
Input is DNAwalker-PT-16redondantChoiceR, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r062-smll-152649733500331
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of positive values
NUM_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME DNAwalker-PT-16redondantChoiceR-UpperBounds-00
FORMULA_NAME DNAwalker-PT-16redondantChoiceR-UpperBounds-01
FORMULA_NAME DNAwalker-PT-16redondantChoiceR-UpperBounds-02
FORMULA_NAME DNAwalker-PT-16redondantChoiceR-UpperBounds-03
FORMULA_NAME DNAwalker-PT-16redondantChoiceR-UpperBounds-04
FORMULA_NAME DNAwalker-PT-16redondantChoiceR-UpperBounds-05
FORMULA_NAME DNAwalker-PT-16redondantChoiceR-UpperBounds-06
FORMULA_NAME DNAwalker-PT-16redondantChoiceR-UpperBounds-07
FORMULA_NAME DNAwalker-PT-16redondantChoiceR-UpperBounds-08
FORMULA_NAME DNAwalker-PT-16redondantChoiceR-UpperBounds-09
FORMULA_NAME DNAwalker-PT-16redondantChoiceR-UpperBounds-10
FORMULA_NAME DNAwalker-PT-16redondantChoiceR-UpperBounds-11
FORMULA_NAME DNAwalker-PT-16redondantChoiceR-UpperBounds-12
FORMULA_NAME DNAwalker-PT-16redondantChoiceR-UpperBounds-13
FORMULA_NAME DNAwalker-PT-16redondantChoiceR-UpperBounds-14
FORMULA_NAME DNAwalker-PT-16redondantChoiceR-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1526605045945
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DNAwalker (PT), instance 16redondantChoiceR
Examination UpperBounds
Parser /home/mcc/BenchKit/bin/parser/UpperBoundParse.jar
Model checker /home/mcc/BenchKit/bin/upper_bound/smart
PNML FILE: model.pnml
Petri model created: 43 places, 490 transitions, 1438 arcs.
Bounds file is: UpperBounds.xml
P43 --> T490 : 2
Pre[0,7]: 2
P42 --> T489 : 2
Pre[1,39]: 2
P40 --> T488 : 2
Pre[2,8]: 2
P42 --> T488 : 1
Pre[2,39]: 1
T488: P40' := P40 - 2
IM[2,8]: -2
T488: P42' := P42 + 1
IM[2,39]: 1
P40 --> T487 : 2
Pre[3,8]: 2
P38 --> T487 : 1
Pre[3,10]: 1
T487: P40' := P40 - 2
IM[3,8]: -2
T487: P38' := P38 + 1
IM[3,10]: 1
P40 --> T486 : 2
Pre[4,8]: 2
P36 --> T486 : 1
Pre[4,11]: 1
T486: P40' := P40 - 2
IM[4,8]: -2
T486: P36' := P36 + 1
IM[4,11]: 1
P40 --> T485 : 2
Pre[5,8]: 2
P33 --> T485 : 1
Pre[5,14]: 1
T485: P40' := P40 - 2
IM[5,8]: -2
T485: P33' := P33 + 1
IM[5,14]: 1
P40 --> T484 : 2
Pre[6,8]: 2
P32 --> T484 : 1
Pre[6,17]: 1
T484: P40' := P40 - 2
IM[6,8]: -2
T484: P32' := P32 + 1
IM[6,17]: 1
P40 --> T483 : 2
Pre[7,8]: 2
P31 --> T483 : 1
Pre[7,19]: 1
T483: P40' := P40 - 2
IM[7,8]: -2
T483: P31' := P31 + 1
IM[7,19]: 1
P40 --> T482 : 2
Pre[8,8]: 2
P30 --> T482 : 1
Pre[8,22]: 1
T482: P40' := P40 - 2
IM[8,8]: -2
T482: P30' := P30 + 1
IM[8,22]: 1
P40 --> T481 : 2
Pre[9,8]: 2
P29 --> T481 : 1
Pre[9,31]: 1
T481: P40' := P40 - 2
IM[9,8]: -2
T481: P29' := P29 + 1
IM[9,31]: 1
P40 --> T480 : 2
Pre[10,8]: 2
P23 --> T480 : 1
Pre[10,38]: 1
T480: P40' := P40 - 2
IM[10,8]: -2
T480: P23' := P23 + 1
IM[10,38]: 1
P40 --> T479 : 2
Pre[11,8]: 2
P21 --> T479 : 1
Pre[11,37]: 1
T479: P40' := P40 - 2
IM[11,8]: -2
T479: P21' := P21 + 1
IM[11,37]: 1
P40 --> T478 : 2
Pre[12,8]: 2
P19 --> T478 : 1
Pre[12,36]: 1
T478: P40' := P40 - 2
IM[12,8]: -2
T478: P19' := P19 + 1
IM[12,36]: 1
P40 --> T477 : 2
Pre[13,8]: 2
P17 --> T477 : 1
Pre[13,35]: 1
T477: P40' := P40 - 2
IM[13,8]: -2
T477: P17' := P17 + 1
IM[13,35]: 1
P40 --> T476 : 2
Pre[14,8]: 2
P15 --> T476 : 1
Pre[14,34]: 1
T476: P40' := P40 - 2
IM[14,8]: -2
T476: P15' := P15 + 1
IM[14,34]: 1
P40 --> T475 : 2
Pre[15,8]: 2
P10 --> T475 : 1
Pre[15,33]: 1
T475: P40' := P40 - 2
IM[15,8]: -2
T475: P10' := P10 + 1
IM[15,33]: 1
P40 --> T474 : 2
Pre[16,8]: 2
P9 --> T474 : 1
Pre[16,32]: 1
T474: P40' := P40 - 2
IM[16,8]: -2
T474: P9' := P9 + 1
IM[16,32]: 1
P38 --> T473 : 2
Pre[17,10]: 2
P42 --> T473 : 1
Pre[17,39]: 1
T473: P38' := P38 - 2
IM[17,10]: -2
T473: P42' := P42 + 1
IM[17,39]: 1
P38 --> T472 : 2
Pre[18,10]: 2
P40 --> T472 : 1
Pre[18,8]: 1
T472: P38' := P38 - 2
IM[18,10]: -2
T472: P40' := P40 + 1
IM[18,8]: 1
P38 --> T471 : 2
Pre[19,10]: 2
P36 --> T471 : 1
Pre[19,11]: 1
T471: P38' := P38 - 2
IM[19,10]: -2
T471: P36' := P36 + 1
IM[19,11]: 1
P38 --> T470 : 2
Pre[20,10]: 2
P34 --> T470 : 1
Pre[20,9]: 1
T470: P38' := P38 - 2
IM[20,10]: -2
T470: P34' := P34 + 1
IM[20,9]: 1
P38 --> T469 : 2
Pre[21,10]: 2
P33 --> T469 : 1
Pre[21,14]: 1
T469: P38' := P38 - 2
IM[21,10]: -2
T469: P33' := P33 + 1
IM[21,14]: 1
P38 --> T468 : 2
Pre[22,10]: 2
P32 --> T468 : 1
Pre[22,17]: 1
T468: P38' := P38 - 2
IM[22,10]: -2
T468: P32' := P32 + 1
IM[22,17]: 1
P38 --> T467 : 2
Pre[23,10]: 2
P31 --> T467 : 1
Pre[23,19]: 1
T467: P38' := P38 - 2
IM[23,10]: -2
T467: P31' := P31 + 1
IM[23,19]: 1
P38 --> T466 : 2
Pre[24,10]: 2
P30 --> T466 : 1
Pre[24,22]: 1
T466: P38' := P38 - 2
IM[24,10]: -2
T466: P30' := P30 + 1
IM[24,22]: 1
P38 --> T465 : 2
Pre[25,10]: 2
P29 --> T465 : 1
Pre[25,31]: 1
T465: P38' := P38 - 2
IM[25,10]: -2
T465: P29' := P29 + 1
IM[25,31]: 1
P38 --> T464 : 2
Pre[26,10]: 2
P27 --> T464 : 1
Pre[26,13]: 1
T464: P38' := P38 - 2
IM[26,10]: -2
T464: P27' := P27 + 1
IM[26,13]: 1
P38 --> T463 : 2
Pre[27,10]: 2
P26 --> T463 : 1
Pre[27,15]: 1
T463: P38' := P38 - 2
IM[27,10]: -2
T463: P26' := P26 + 1
IM[27,15]: 1
P38 --> T462 : 2
Pre[28,10]: 2
P25 --> T462 : 1
Pre[28,16]: 1
T462: P38' := P38 - 2
IM[28,10]: -2
T462: P25' := P25 + 1
IM[28,16]: 1
P38 --> T461 : 2
Pre[29,10]: 2
P24 --> T461 : 1
Pre[29,18]: 1
T461: P38' := P38 - 2
IM[29,10]: -2
T461: P24' := P24 + 1
IM[29,18]: 1
P38 --> T460 : 2
Pre[30,10]: 2
P23 --> T460 : 1
Pre[30,38]: 1
T460: P38' := P38 - 2
IM[30,10]: -2
T460: P23' := P23 + 1
IM[30,38]: 1
P38 --> T459 : 2
Pre[31,10]: 2
P21 --> T459 : 1
Pre[31,37]: 1
T459: P38' := P38 - 2
IM[31,10]: -2
T459: P21' := P21 + 1
IM[31,37]: 1
P38 --> T458 : 2
Pre[32,10]: 2
P19 --> T458 : 1
Pre[32,36]: 1
T458: P38' := P38 - 2
IM[32,10]: -2
T458: P19' := P19 + 1
IM[32,36]: 1
P38 --> T457 : 2
Pre[33,10]: 2
P17 --> T457 : 1
Pre[33,35]: 1
T457: P38' := P38 - 2
IM[33,10]: -2
T457: P17' := P17 + 1
IM[33,35]: 1
P38 --> T456 : 2
Pre[34,10]: 2
P15 --> T456 : 1
Pre[34,34]: 1
T456: P38' := P38 - 2
IM[34,10]: -2
T456: P15' := P15 + 1
IM[34,34]: 1
P38 --> T455 : 2
Pre[35,10]: 2
P10 --> T455 : 1
Pre[35,33]: 1
T455: P38' := P38 - 2
IM[35,10]: -2
T455: P10' := P10 + 1
IM[35,33]: 1
P38 --> T454 : 2
Pre[36,10]: 2
P9 --> T454 : 1
Pre[36,32]: 1
T454: P38' := P38 - 2
IM[36,10]: -2
T454: P9' := P9 + 1
IM[36,32]: 1
P38 --> T453 : 2
Pre[37,10]: 2
P7 --> T453 : 1
Pre[37,28]: 1
T453: P38' := P38 - 2
IM[37,10]: -2
T453: P7' := P7 + 1
IM[37,28]: 1
P36 --> T452 : 2
Pre[38,11]: 2
P40 --> T452 : 1
Pre[38,8]: 1
T452: P36' := P36 - 2
IM[38,11]: -2
T452: P40' := P40 + 1
IM[38,8]: 1
P36 --> T451 : 2
Pre[39,11]: 2
P38 --> T451 : 1
Pre[39,10]: 1
T451: P36' := P36 - 2
IM[39,11]: -2
T451: P38' := P38 + 1
IM[39,10]: 1
P36 --> T450 : 2
Pre[40,11]: 2
P34 --> T450 : 1
Pre[40,9]: 1
T450: P36' := P36 - 2
IM[40,11]: -2
T450: P34' := P34 + 1
IM[40,9]: 1
P36 --> T449 : 2
Pre[41,11]: 2
P33 --> T449 : 1
Pre[41,14]: 1
T449: P36' := P36 - 2
IM[41,11]: -2
T449: P33' := P33 + 1
IM[41,14]: 1
P36 --> T448 : 2
Pre[42,11]: 2
P32 --> T448 : 1
Pre[42,17]: 1
T448: P36' := P36 - 2
IM[42,11]: -2
T448: P32' := P32 + 1
IM[42,17]: 1
P36 --> T447 : 2
Pre[43,11]: 2
P31 --> T447 : 1
Pre[43,19]: 1
T447: P36' := P36 - 2
IM[43,11]: -2
T447: P31' := P31 + 1
IM[43,19]: 1
P36 --> T446 : 2
Pre[44,11]: 2
P30 --> T446 : 1
Pre[44,22]: 1
T446: P36' := P36 - 2
IM[44,11]: -2
T446: P30' := P30 + 1
IM[44,22]: 1
P36 --> T445 : 2
Pre[45,11]: 2
P29 --> T445 : 1
Pre[45,31]: 1
T445: P36' := P36 - 2
IM[45,11]: -2
T445: P29' := P29 + 1
IM[45,31]: 1
P36 --> T444 : 2
Pre[46,11]: 2
P28 --> T444 : 1
Pre[46,12]: 1
T444: P36' := P36 - 2
IM[46,11]: -2
T444: P28' := P28 + 1
IM[46,12]: 1
P36 --> T443 : 2
Pre[47,11]: 2
P27 --> T443 : 1
Pre[47,13]: 1
T443: P36' := P36 - 2
IM[47,11]: -2
T443: P27' := P27 + 1
IM[47,13]: 1
P36 --> T442 : 2
Pre[48,11]: 2
P26 --> T442 : 1
Pre[48,15]: 1
T442: P36' := P36 - 2
IM[48,11]: -2
T442: P26' := P26 + 1
IM[48,15]: 1
P36 --> T441 : 2
Pre[49,11]: 2
P25 --> T441 : 1
Pre[49,16]: 1
T441: P36' := P36 - 2
IM[49,11]: -2
T441: P25' := P25 + 1
IM[49,16]: 1
P36 --> T440 : 2
Pre[50,11]: 2
P24 --> T440 : 1
Pre[50,18]: 1
T440: P36' := P36 - 2
IM[50,11]: -2
T440: P24' := P24 + 1
IM[50,18]: 1
P36 --> T439 : 2
Pre[51,11]: 2
P19 --> T439 : 1
Pre[51,36]: 1
T439: P36' := P36 - 2
IM[51,11]: -2
T439: P19' := P19 + 1
IM[51,36]: 1
P36 --> T438 : 2
Pre[52,11]: 2
P17 --> T438 : 1
Pre[52,35]: 1
T438: P36' := P36 - 2
IM[52,11]: -2
T438: P17' := P17 + 1
IM[52,35]: 1
P36 --> T437 : 2
Pre[53,11]: 2
P15 --> T437 : 1
Pre[53,34]: 1
T437: P36' := P36 - 2
IM[53,11]: -2
T437: P15' := P15 + 1
IM[53,34]: 1
P36 --> T436 : 2
Pre[54,11]: 2
P14 --> T436 : 1
Pre[54,20]: 1
T436: P36' := P36 - 2
IM[54,11]: -2
T436: P14' := P14 + 1
IM[54,20]: 1
P36 --> T435 : 2
Pre[55,11]: 2
P13 --> T435 : 1
Pre[55,21]: 1
T435: P36' := P36 - 2
IM[55,11]: -2
T435: P13' := P13 + 1
IM[55,21]: 1
P36 --> T434 : 2
Pre[56,11]: 2
P12 --> T434 : 1
Pre[56,23]: 1
T434: P36' := P36 - 2
IM[56,11]: -2
T434: P12' := P12 + 1
IM[56,23]: 1
P36 --> T433 : 2
Pre[57,11]: 2
P11 --> T433 : 1
Pre[57,24]: 1
T433: P36' := P36 - 2
IM[57,11]: -2
T433: P11' := P11 + 1
IM[57,24]: 1
P36 --> T432 : 2
Pre[58,11]: 2
P10 --> T432 : 1
Pre[58,33]: 1
T432: P36' := P36 - 2
IM[58,11]: -2
T432: P10' := P10 + 1
IM[58,33]: 1
P36 --> T431 : 2
Pre[59,11]: 2
P7 --> T431 : 1
Pre[59,28]: 1
T431: P36' := P36 - 2
IM[59,11]: -2
T431: P7' := P7 + 1
IM[59,28]: 1
P36 --> T430 : 2
Pre[60,11]: 2
P5 --> T430 : 1
Pre[60,26]: 1
T430: P36' := P36 - 2
IM[60,11]: -2
T430: P5' := P5 + 1
IM[60,26]: 1
P36 --> T429 : 2
Pre[61,11]: 2
P4 --> T429 : 1
Pre[61,25]: 1
T429: P36' := P36 - 2
IM[61,11]: -2
T429: P4' := P4 + 1
IM[61,25]: 1
P34 --> T428 : 2
Pre[62,9]: 2
P38 --> T428 : 1
Pre[62,10]: 1
T428: P34' := P34 - 2
IM[62,9]: -2
T428: P38' := P38 + 1
IM[62,10]: 1
P34 --> T427 : 2
Pre[63,9]: 2
P36 --> T427 : 1
Pre[63,11]: 1
T427: P34' := P34 - 2
IM[63,9]: -2
T427: P36' := P36 + 1
IM[63,11]: 1
P34 --> T426 : 2
Pre[64,9]: 2
P33 --> T426 : 1
Pre[64,14]: 1
T426: P34' := P34 - 2
IM[64,9]: -2
T426: P33' := P33 + 1
IM[64,14]: 1
P34 --> T425 : 2
Pre[65,9]: 2
P32 --> T425 : 1
Pre[65,17]: 1
T425: P34' := P34 - 2
IM[65,9]: -2
T425: P32' := P32 + 1
IM[65,17]: 1
P34 --> T424 : 2
Pre[66,9]: 2
P31 --> T424 : 1
Pre[66,19]: 1
T424: P34' := P34 - 2
IM[66,9]: -2
T424: P31' := P31 + 1
IM[66,19]: 1
P34 --> T423 : 2
Pre[67,9]: 2
P30 --> T423 : 1
Pre[67,22]: 1
T423: P34' := P34 - 2
IM[67,9]: -2
T423: P30' := P30 + 1
IM[67,22]: 1
P34 --> T422 : 2
Pre[68,9]: 2
P29 --> T422 : 1
Pre[68,31]: 1
T422: P34' := P34 - 2
IM[68,9]: -2
T422: P29' := P29 + 1
IM[68,31]: 1
P34 --> T421 : 2
Pre[69,9]: 2
P28 --> T421 : 1
Pre[69,12]: 1
T421: P34' := P34 - 2
IM[69,9]: -2
T421: P28' := P28 + 1
IM[69,12]: 1
P34 --> T420 : 2
Pre[70,9]: 2
P27 --> T420 : 1
Pre[70,13]: 1
T420: P34' := P34 - 2
IM[70,9]: -2
T420: P27' := P27 + 1
IM[70,13]: 1
P34 --> T419 : 2
Pre[71,9]: 2
P26 --> T419 : 1
Pre[71,15]: 1
T419: P34' := P34 - 2
IM[71,9]: -2
T419: P26' := P26 + 1
IM[71,15]: 1
P34 --> T418 : 2
Pre[72,9]: 2
P25 --> T418 : 1
Pre[72,16]: 1
T418: P34' := P34 - 2
IM[72,9]: -2
T418: P25' := P25 + 1
IM[72,16]: 1
P34 --> T417 : 2
Pre[73,9]: 2
P24 --> T417 : 1
Pre[73,18]: 1
T417: P34' := P34 - 2
IM[73,9]: -2
T417: P24' := P24 + 1
IM[73,18]: 1
P34 --> T416 : 2
Pre[74,9]: 2
P14 --> T416 : 1
Pre[74,20]: 1
T416: P34' := P34 - 2
IM[74,9]: -2
T416: P14' := P14 + 1
IM[74,20]: 1
P34 --> T415 : 2
Pre[75,9]: 2
P13 --> T415 : 1
Pre[75,21]: 1
T415: P34' := P34 - 2
IM[75,9]: -2
T415: P13' := P13 + 1
IM[75,21]: 1
P34 --> T414 : 2
Pre[76,9]: 2
P12 --> T414 : 1
Pre[76,23]: 1
T414: P34' := P34 - 2
IM[76,9]: -2
T414: P12' := P12 + 1
IM[76,23]: 1
P34 --> T413 : 2
Pre[77,9]: 2
P11 --> T413 : 1
Pre[77,24]: 1
T413: P34' := P34 - 2
IM[77,9]: -2
T413: P11' := P11 + 1
IM[77,24]: 1
P34 --> T412 : 2
Pre[78,9]: 2
P5 --> T412 : 1
Pre[78,26]: 1
T412: P34' := P34 - 2
IM[78,9]: -2
T412: P5' := P5 + 1
IM[78,26]: 1
P34 --> T411 : 2
Pre[79,9]: 2
P4 --> T411 : 1
Pre[79,25]: 1
T411: P34' := P34 - 2
IM[79,9]: -2
T411: P4' := P4 + 1
IM[79,25]: 1
P33 --> T410 : 2
Pre[80,14]: 2
P43 --> T410 : 1
Pre[80,7]: 1
T410: P33' := P33 - 2
IM[80,14]: -2
T410: P43' := P43 + 1
IM[80,7]: 1
P33 --> T409 : 2
Pre[81,14]: 2
P40 --> T409 : 1
Pre[81,8]: 1
T409: P33' := P33 - 2
IM[81,14]: -2
T409: P40' := P40 + 1
IM[81,8]: 1
P33 --> T408 : 2
Pre[82,14]: 2
P38 --> T408 : 1
Pre[82,10]: 1
T408: P33' := P33 - 2
IM[82,14]: -2
T408: P38' := P38 + 1
IM[82,10]: 1
P33 --> T407 : 2
Pre[83,14]: 2
P36 --> T407 : 1
Pre[83,11]: 1
T407: P33' := P33 - 2
IM[83,14]: -2
T407: P36' := P36 + 1
IM[83,11]: 1
P33 --> T406 : 2
Pre[84,14]: 2
P34 --> T406 : 1
Pre[84,9]: 1
T406: P33' := P33 - 2
IM[84,14]: -2
T406: P34' := P34 + 1
IM[84,9]: 1
P33 --> T405 : 2
Pre[85,14]: 2
P32 --> T405 : 1
Pre[85,17]: 1
T405: P33' := P33 - 2
IM[85,14]: -2
T405: P32' := P32 + 1
IM[85,17]: 1
P33 --> T404 : 2
Pre[86,14]: 2
P31 --> T404 : 1
Pre[86,19]: 1
T404: P33' := P33 - 2
IM[86,14]: -2
T404: P31' := P31 + 1
IM[86,19]: 1
P33 --> T403 : 2
Pre[87,14]: 2
P30 --> T403 : 1
Pre[87,22]: 1
T403: P33' := P33 - 2
IM[87,14]: -2
T403: P30' := P30 + 1
IM[87,22]: 1
P33 --> T402 : 2
Pre[88,14]: 2
P28 --> T402 : 1
Pre[88,12]: 1
T402: P33' := P33 - 2
IM[88,14]: -2
T402: P28' := P28 + 1
IM[88,12]: 1
P33 --> T401 : 2
Pre[89,14]: 2
P27 --> T401 : 1
Pre[89,13]: 1
T401: P33' := P33 - 2
IM[89,14]: -2
T401: P27' := P27 + 1
IM[89,13]: 1
P33 --> T400 : 2
Pre[90,14]: 2
P26 --> T400 : 1
Pre[90,15]: 1
T400: P33' := P33 - 2
IM[90,14]: -2
T400: P26' := P26 + 1
IM[90,15]: 1
P33 --> T399 : 2
Pre[91,14]: 2
P25 --> T399 : 1
Pre[91,16]: 1
T399: P33' := P33 - 2
IM[91,14]: -2
T399: P25' := P25 + 1
IM[91,16]: 1
P33 --> T398 : 2
Pre[92,14]: 2
P24 --> T398 : 1
Pre[92,18]: 1
T398: P33' := P33 - 2
IM[92,14]: -2
T398: P24' := P24 + 1
IM[92,18]: 1
P33 --> T397 : 2
Pre[93,14]: 2
P14 --> T397 : 1
Pre[93,20]: 1
T397: P33' := P33 - 2
IM[93,14]: -2
T397: P14' := P14 + 1
IM[93,20]: 1
P33 --> T396 : 2
Pre[94,14]: 2
P13 --> T396 : 1
Pre[94,21]: 1
T396: P33' := P33 - 2
IM[94,14]: -2
T396: P13' := P13 + 1
IM[94,21]: 1
P32 --> T395 : 2
Pre[95,17]: 2
P43 --> T395 : 1
Pre[95,7]: 1
T395: P32' := P32 - 2
IM[95,17]: -2
T395: P43' := P43 + 1
IM[95,7]: 1
P32 --> T394 : 2
Pre[96,17]: 2
P40 --> T394 : 1
Pre[96,8]: 1
T394: P32' := P32 - 2
IM[96,17]: -2
T394: P40' := P40 + 1
IM[96,8]: 1
P32 --> T393 : 2
Pre[97,17]: 2
P38 --> T393 : 1
Pre[97,10]: 1
T393: P32' := P32 - 2
IM[97,17]: -2
T393: P38' := P38 + 1
IM[97,10]: 1
P32 --> T392 : 2
Pre[98,17]: 2
P36 --> T392 : 1
Pre[98,11]: 1
T392: P32' := P32 - 2
IM[98,17]: -2
T392: P36' := P36 + 1
IM[98,11]: 1
P32 --> T391 : 2
Pre[99,17]: 2
P34 --> T391 : 1
Pre[99,9]: 1
T391: P32' := P32 - 2
IM[99,17]: -2
T391: P34' := P34 + 1
IM[99,9]: 1
P32 --> T390 : 2
Pre[100,17]: 2
P33 --> T390 : 1
Pre[100,14]: 1
T390: P32' := P32 - 2
IM[100,17]: -2
T390: P33' := P33 + 1
IM[100,14]: 1
P32 --> T389 : 2
Pre[101,17]: 2
P31 --> T389 : 1
Pre[101,19]: 1
T389: P32' := P32 - 2
IM[101,17]: -2
T389: P31' := P31 + 1
IM[101,19]: 1
P32 --> T388 : 2
Pre[102,17]: 2
P30 --> T388 : 1
Pre[102,22]: 1
T388: P32' := P32 - 2
IM[102,17]: -2
T388: P30' := P30 + 1
IM[102,22]: 1
P32 --> T387 : 2
Pre[103,17]: 2
P29 --> T387 : 1
Pre[103,31]: 1
T387: P32' := P32 - 2
IM[103,17]: -2
T387: P29' := P29 + 1
IM[103,31]: 1
P32 --> T386 : 2
Pre[104,17]: 2
P28 --> T386 : 1
Pre[104,12]: 1
T386: P32' := P32 - 2
IM[104,17]: -2
T386: P28' := P28 + 1
IM[104,12]: 1
P32 --> T385 : 2
Pre[105,17]: 2
P27 --> T385 : 1
Pre[105,13]: 1
T385: P32' := P32 - 2
IM[105,17]: -2
T385: P27' := P27 + 1
IM[105,13]: 1
P32 --> T384 : 2
Pre[106,17]: 2
P26 --> T384 : 1
Pre[106,15]: 1
T384: P32' := P32 - 2
IM[106,17]: -2
T384: P26' := P26 + 1
IM[106,15]: 1
P32 --> T383 : 2
Pre[107,17]: 2
P25 --> T383 : 1
Pre[107,16]: 1
T383: P32' := P32 - 2
IM[107,17]: -2
T383: P25' := P25 + 1
IM[107,16]: 1
P32 --> T382 : 2
Pre[108,17]: 2
P24 --> T382 : 1
Pre[108,18]: 1
T382: P32' := P32 - 2
IM[108,17]: -2
T382: P24' := P24 + 1
IM[108,18]: 1
P32 --> T381 : 2
Pre[109,17]: 2
P21 --> T381 : 1
Pre[109,37]: 1
T381: P32' := P32 - 2
IM[109,17]: -2
T381: P21' := P21 + 1
IM[109,37]: 1
P32 --> T380 : 2
Pre[110,17]: 2
P19 --> T380 : 1
Pre[110,36]: 1
T380: P32' := P32 - 2
IM[110,17]: -2
T380: P19' := P19 + 1
IM[110,36]: 1
P32 --> T379 : 2
Pre[111,17]: 2
P17 --> T379 : 1
Pre[111,35]: 1
T379: P32' := P32 - 2
IM[111,17]: -2
T379: P17' := P17 + 1
IM[111,35]: 1
P32 --> T378 : 2
Pre[112,17]: 2
P15 --> T378 : 1
Pre[112,34]: 1
T378: P32' := P32 - 2
IM[112,17]: -2
T378: P15' := P15 + 1
IM[112,34]: 1
P32 --> T377 : 2
Pre[113,17]: 2
P14 --> T377 : 1
Pre[113,20]: 1
T377: P32' := P32 - 2
IM[113,17]: -2
T377: P14' := P14 + 1
IM[113,20]: 1
P32 --> T376 : 2
Pre[114,17]: 2
P13 --> T376 : 1
Pre[114,21]: 1
T376: P32' := P32 - 2
IM[114,17]: -2
T376: P13' := P13 + 1
IM[114,21]: 1
P32 --> T375 : 2
Pre[115,17]: 2
P12 --> T375 : 1
Pre[115,23]: 1
T375: P32' := P32 - 2
IM[115,17]: -2
T375: P12' := P12 + 1
IM[115,23]: 1
P31 --> T374 : 2
Pre[116,19]: 2
P40 --> T374 : 1
Pre[116,8]: 1
T374: P31' := P31 - 2
IM[116,19]: -2
T374: P40' := P40 + 1
IM[116,8]: 1
P31 --> T373 : 2
Pre[117,19]: 2
P38 --> T373 : 1
Pre[117,10]: 1
T373: P31' := P31 - 2
IM[117,19]: -2
T373: P38' := P38 + 1
IM[117,10]: 1
P31 --> T372 : 2
Pre[118,19]: 2
P36 --> T372 : 1
Pre[118,11]: 1
T372: P31' := P31 - 2
IM[118,19]: -2
T372: P36' := P36 + 1
IM[118,11]: 1
P31 --> T371 : 2
Pre[119,19]: 2
P34 --> T371 : 1
Pre[119,9]: 1
T371: P31' := P31 - 2
IM[119,19]: -2
T371: P34' := P34 + 1
IM[119,9]: 1
P31 --> T370 : 2
Pre[120,19]: 2
P33 --> T370 : 1
Pre[120,14]: 1
T370: P31' := P31 - 2
IM[120,19]: -2
T370: P33' := P33 + 1
IM[120,14]: 1
P31 --> T369 : 2
Pre[121,19]: 2
P32 --> T369 : 1
Pre[121,17]: 1
T369: P31' := P31 - 2
IM[121,19]: -2
T369: P32' := P32 + 1
IM[121,17]: 1
P31 --> T368 : 2
Pre[122,19]: 2
P30 --> T368 : 1
Pre[122,22]: 1
T368: P31' := P31 - 2
IM[122,19]: -2
T368: P30' := P30 + 1
IM[122,22]: 1
P31 --> T367 : 2
Pre[123,19]: 2
P29 --> T367 : 1
Pre[123,31]: 1
T367: P31' := P31 - 2
IM[123,19]: -2
T367: P29' := P29 + 1
IM[123,31]: 1
P31 --> T366 : 2
Pre[124,19]: 2
P28 --> T366 : 1
Pre[124,12]: 1
T366: P31' := P31 - 2
IM[124,19]: -2
T366: P28' := P28 + 1
IM[124,12]: 1
P31 --> T365 : 2
Pre[125,19]: 2
P27 --> T365 : 1
Pre[125,13]: 1
T365: P31' := P31 - 2
IM[125,19]: -2
T365: P27' := P27 + 1
IM[125,13]: 1
P31 --> T364 : 2
Pre[126,19]: 2
P26 --> T364 : 1
Pre[126,15]: 1
T364: P31' := P31 - 2
IM[126,19]: -2
T364: P26' := P26 + 1
IM[126,15]: 1
P31 --> T363 : 2
Pre[127,19]: 2
P25 --> T363 : 1
Pre[127,16]: 1
T363: P31' := P31 - 2
IM[127,19]: -2
T363: P25' := P25 + 1
IM[127,16]: 1
P31 --> T362 : 2
Pre[128,19]: 2
P24 --> T362 : 1
Pre[128,18]: 1
T362: P31' := P31 - 2
IM[128,19]: -2
T362: P24' := P24 + 1
IM[128,18]: 1
P31 --> T361 : 2
Pre[129,19]: 2
P23 --> T361 : 1
Pre[129,38]: 1
T361: P31' := P31 - 2
IM[129,19]: -2
T361: P23' := P23 + 1
IM[129,38]: 1
P31 --> T360 : 2
Pre[130,19]: 2
P21 --> T360 : 1
Pre[130,37]: 1
T360: P31' := P31 - 2
IM[130,19]: -2
T360: P21' := P21 + 1
IM[130,37]: 1
P31 --> T359 : 2
Pre[131,19]: 2
P19 --> T359 : 1
Pre[131,36]: 1
T359: P31' := P31 - 2
IM[131,19]: -2
T359: P19' := P19 + 1
IM[131,36]: 1
P31 --> T358 : 2
Pre[132,19]: 2
P17 --> T358 : 1
Pre[132,35]: 1
T358: P31' := P31 - 2
IM[132,19]: -2
T358: P17' := P17 + 1
IM[132,35]: 1
P31 --> T357 : 2
Pre[133,19]: 2
P15 --> T357 : 1
Pre[133,34]: 1
T357: P31' := P31 - 2
IM[133,19]: -2
T357: P15' := P15 + 1
IM[133,34]: 1
P31 --> T356 : 2
Pre[134,19]: 2
P14 --> T356 : 1
Pre[134,20]: 1
T356: P31' := P31 - 2
IM[134,19]: -2
T356: P14' := P14 + 1
IM[134,20]: 1
P31 --> T355 : 2
Pre[135,19]: 2
P13 --> T355 : 1
Pre[135,21]: 1
T355: P31' := P31 - 2
IM[135,19]: -2
T355: P13' := P13 + 1
IM[135,21]: 1
P31 --> T354 : 2
Pre[136,19]: 2
P12 --> T354 : 1
Pre[136,23]: 1
T354: P31' := P31 - 2
IM[136,19]: -2
T354: P12' := P12 + 1
IM[136,23]: 1
P31 --> T353 : 2
Pre[137,19]: 2
P11 --> T353 : 1
Pre[137,24]: 1
T353: P31' := P31 - 2
IM[137,19]: -2
T353: P11' := P11 + 1
IM[137,24]: 1
P31 --> T352 : 2
Pre[138,19]: 2
P10 --> T352 : 1
Pre[138,33]: 1
T352: P31' := P31 - 2
IM[138,19]: -2
T352: P10' := P10 + 1
IM[138,33]: 1
P31 --> T351 : 2
Pre[139,19]: 2
P9 --> T351 : 1
Pre[139,32]: 1
T351: P31' := P31 - 2
IM[139,19]: -2
T351: P9' := P9 + 1
IM[139,32]: 1
P31 --> T350 : 2
Pre[140,19]: 2
P7 --> T350 : 1
Pre[140,28]: 1
T350: P31' := P31 - 2
IM[140,19]: -2
T350: P7' := P7 + 1
IM[140,28]: 1
P31 --> T349 : 2
Pre[141,19]: 2
P5 --> T349 : 1
Pre[141,26]: 1
T349: P31' := P31 - 2
IM[141,19]: -2
T349: P5' := P5 + 1
IM[141,26]: 1
P30 --> T348 : 2
Pre[142,22]: 2
P40 --> T348 : 1
Pre[142,8]: 1
T348: P30' := P30 - 2
IM[142,22]: -2
T348: P40' := P40 + 1
IM[142,8]: 1
P30 --> T347 : 2
Pre[143,22]: 2
P38 --> T347 : 1
Pre[143,10]: 1
T347: P30' := P30 - 2
IM[143,22]: -2
T347: P38' := P38 + 1
IM[143,10]: 1
P30 --> T346 : 2
Pre[144,22]: 2
P36 --> T346 : 1
Pre[144,11]: 1
T346: P30' := P30 - 2
IM[144,22]: -2
T346: P36' := P36 + 1
IM[144,11]: 1
P30 --> T345 : 2
Pre[145,22]: 2
P34 --> T345 : 1
Pre[145,9]: 1
T345: P30' := P30 - 2
IM[145,22]: -2
T345: P34' := P34 + 1
IM[145,9]: 1
P30 --> T344 : 2
Pre[146,22]: 2
P33 --> T344 : 1
Pre[146,14]: 1
T344: P30' := P30 - 2
IM[146,22]: -2
T344: P33' := P33 + 1
IM[146,14]: 1
P30 --> T343 : 2
Pre[147,22]: 2
P32 --> T343 : 1
Pre[147,17]: 1
T343: P30' := P30 - 2
IM[147,22]: -2
T343: P32' := P32 + 1
IM[147,17]: 1
P30 --> T342 : 2
Pre[148,22]: 2
P31 --> T342 : 1
Pre[148,19]: 1
T342: P30' := P30 - 2
IM[148,22]: -2
T342: P31' := P31 + 1
IM[148,19]: 1
P30 --> T341 : 2
Pre[149,22]: 2
P29 --> T341 : 1
Pre[149,31]: 1
T341: P30' := P30 - 2
IM[149,22]: -2
T341: P29' := P29 + 1
IM[149,31]: 1
P30 --> T340 : 2
Pre[150,22]: 2
P26 --> T340 : 1
Pre[150,15]: 1
T340: P30' := P30 - 2
IM[150,22]: -2
T340: P26' := P26 + 1
IM[150,15]: 1
P30 --> T339 : 2
Pre[151,22]: 2
P25 --> T339 : 1
Pre[151,16]: 1
T339: P30' := P30 - 2
IM[151,22]: -2
T339: P25' := P25 + 1
IM[151,16]: 1
P30 --> T338 : 2
Pre[152,22]: 2
P24 --> T338 : 1
Pre[152,18]: 1
T338: P30' := P30 - 2
IM[152,22]: -2
T338: P24' := P24 + 1
IM[152,18]: 1
P30 --> T337 : 2
Pre[153,22]: 2
P23 --> T337 : 1
Pre[153,38]: 1
T337: P30' := P30 - 2
IM[153,22]: -2
T337: P23' := P23 + 1
IM[153,38]: 1
P30 --> T336 : 2
Pre[154,22]: 2
P21 --> T336 : 1
Pre[154,37]: 1
T336: P30' := P30 - 2
IM[154,22]: -2
T336: P21' := P21 + 1
IM[154,37]: 1
P30 --> T335 : 2
Pre[155,22]: 2
P19 --> T335 : 1
Pre[155,36]: 1
T335: P30' := P30 - 2
IM[155,22]: -2
T335: P19' := P19 + 1
IM[155,36]: 1
P30 --> T334 : 2
Pre[156,22]: 2
P17 --> T334 : 1
Pre[156,35]: 1
T334: P30' := P30 - 2
IM[156,22]: -2
T334: P17' := P17 + 1
IM[156,35]: 1
P30 --> T333 : 2
Pre[157,22]: 2
P15 --> T333 : 1
Pre[157,34]: 1
T333: P30' := P30 - 2
IM[157,22]: -2
T333: P15' := P15 + 1
IM[157,34]: 1
P30 --> T332 : 2
Pre[158,22]: 2
P14 --> T332 : 1
Pre[158,20]: 1
T332: P30' := P30 - 2
IM[158,22]: -2
T332: P14' := P14 + 1
IM[158,20]: 1
P30 --> T331 : 2
Pre[159,22]: 2
P12 --> T331 : 1
Pre[159,23]: 1
T331: P30' := P30 - 2
IM[159,22]: -2
T331: P12' := P12 + 1
IM[159,23]: 1
P30 --> T330 : 2
Pre[160,22]: 2
P11 --> T330 : 1
Pre[160,24]: 1
T330: P30' := P30 - 2
IM[160,22]: -2
T330: P11' := P11 + 1
IM[160,24]: 1
P30 --> T329 : 2
Pre[161,22]: 2
P10 --> T329 : 1
Pre[161,33]: 1
T329: P30' := P30 - 2
IM[161,22]: -2
T329: P10' := P10 + 1
IM[161,33]: 1
P30 --> T328 : 2
Pre[162,22]: 2
P9 --> T328 : 1
Pre[162,32]: 1
T328: P30' := P30 - 2
IM[162,22]: -2
T328: P9' := P9 + 1
IM[162,32]: 1
P30 --> T327 : 2
Pre[163,22]: 2
P7 --> T327 : 1
Pre[163,28]: 1
T327: P30' := P30 - 2
IM[163,22]: -2
T327: P7' := P7 + 1
IM[163,28]: 1
P30 --> T326 : 2
Pre[164,22]: 2
P5 --> T326 : 1
Pre[164,26]: 1
T326: P30' := P30 - 2
IM[164,22]: -2
T326: P5' := P5 + 1
IM[164,26]: 1
P30 --> T325 : 2
Pre[165,22]: 2
P4 --> T325 : 1
Pre[165,25]: 1
T325: P30' := P30 - 2
IM[165,22]: -2
T325: P4' := P4 + 1
IM[165,25]: 1
P29 --> T324 : 2
Pre[166,31]: 2
P40 --> T324 : 1
Pre[166,8]: 1
T324: P29' := P29 - 2
IM[166,31]: -2
T324: P40' := P40 + 1
IM[166,8]: 1
P29 --> T323 : 2
Pre[167,31]: 2
P38 --> T323 : 1
Pre[167,10]: 1
T323: P29' := P29 - 2
IM[167,31]: -2
T323: P38' := P38 + 1
IM[167,10]: 1
P29 --> T322 : 2
Pre[168,31]: 2
P36 --> T322 : 1
Pre[168,11]: 1
T322: P29' := P29 - 2
IM[168,31]: -2
T322: P36' := P36 + 1
IM[168,11]: 1
P29 --> T321 : 2
Pre[169,31]: 2
P34 --> T321 : 1
Pre[169,9]: 1
T321: P29' := P29 - 2
IM[169,31]: -2
T321: P34' := P34 + 1
IM[169,9]: 1
P29 --> T320 : 2
Pre[170,31]: 2
P32 --> T320 : 1
Pre[170,17]: 1
T320: P29' := P29 - 2
IM[170,31]: -2
T320: P32' := P32 + 1
IM[170,17]: 1
P29 --> T319 : 2
Pre[171,31]: 2
P31 --> T319 : 1
Pre[171,19]: 1
T319: P29' := P29 - 2
IM[171,31]: -2
T319: P31' := P31 + 1
IM[171,19]: 1
P29 --> T318 : 2
Pre[172,31]: 2
P30 --> T318 : 1
Pre[172,22]: 1
T318: P29' := P29 - 2
IM[172,31]: -2
T318: P30' := P30 + 1
IM[172,22]: 1
P29 --> T317 : 2
Pre[173,31]: 2
P23 --> T317 : 1
Pre[173,38]: 1
T317: P29' := P29 - 2
IM[173,31]: -2
T317: P23' := P23 + 1
IM[173,38]: 1
P29 --> T316 : 2
Pre[174,31]: 2
P21 --> T316 : 1
Pre[174,37]: 1
T316: P29' := P29 - 2
IM[174,31]: -2
T316: P21' := P21 + 1
IM[174,37]: 1
P29 --> T315 : 2
Pre[175,31]: 2
P19 --> T315 : 1
Pre[175,36]: 1
T315: P29' := P29 - 2
IM[175,31]: -2
T315: P19' := P19 + 1
IM[175,36]: 1
P29 --> T314 : 2
Pre[176,31]: 2
P17 --> T314 : 1
Pre[176,35]: 1
T314: P29' := P29 - 2
IM[176,31]: -2
T314: P17' := P17 + 1
IM[176,35]: 1
P29 --> T313 : 2
Pre[177,31]: 2
P15 --> T313 : 1
Pre[177,34]: 1
T313: P29' := P29 - 2
IM[177,31]: -2
T313: P15' := P15 + 1
IM[177,34]: 1
P29 --> T312 : 2
Pre[178,31]: 2
P11 --> T312 : 1
Pre[178,24]: 1
T312: P29' := P29 - 2
IM[178,31]: -2
T312: P11' := P11 + 1
IM[178,24]: 1
P29 --> T311 : 2
Pre[179,31]: 2
P10 --> T311 : 1
Pre[179,33]: 1
T311: P29' := P29 - 2
IM[179,31]: -2
T311: P10' := P10 + 1
IM[179,33]: 1
P29 --> T310 : 2
Pre[180,31]: 2
P9 --> T310 : 1
Pre[180,32]: 1
T310: P29' := P29 - 2
IM[180,31]: -2
T310: P9' := P9 + 1
IM[180,32]: 1
P29 --> T309 : 2
Pre[181,31]: 2
P7 --> T309 : 1
Pre[181,28]: 1
T309: P29' := P29 - 2
IM[181,31]: -2
T309: P7' := P7 + 1
IM[181,28]: 1
P29 --> T308 : 2
Pre[182,31]: 2
P5 --> T308 : 1
Pre[182,26]: 1
T308: P29' := P29 - 2
IM[182,31]: -2
T308: P5' := P5 + 1
IM[182,26]: 1
P29 --> T307 : 2
Pre[183,31]: 2
P4 --> T307 : 1
Pre[183,25]: 1
T307: P29' := P29 - 2
IM[183,31]: -2
T307: P4' := P4 + 1
IM[183,25]: 1
P28 --> T306 : 2
Pre[184,12]: 2
P43 --> T306 : 1
Pre[184,7]: 1
T306: P28' := P28 - 2
IM[184,12]: -2
T306: P43' := P43 + 1
IM[184,7]: 1
P28 --> T305 : 2
Pre[185,12]: 2
P36 --> T305 : 1
Pre[185,11]: 1
T305: P28' := P28 - 2
IM[185,12]: -2
T305: P36' := P36 + 1
IM[185,11]: 1
P28 --> T304 : 2
Pre[186,12]: 2
P34 --> T304 : 1
Pre[186,9]: 1
T304: P28' := P28 - 2
IM[186,12]: -2
T304: P34' := P34 + 1
IM[186,9]: 1
P28 --> T303 : 2
Pre[187,12]: 2
P33 --> T303 : 1
Pre[187,14]: 1
T303: P28' := P28 - 2
IM[187,12]: -2
T303: P33' := P33 + 1
IM[187,14]: 1
P28 --> T302 : 2
Pre[188,12]: 2
P32 --> T302 : 1
Pre[188,17]: 1
T302: P28' := P28 - 2
IM[188,12]: -2
T302: P32' := P32 + 1
IM[188,17]: 1
P28 --> T301 : 2
Pre[189,12]: 2
P31 --> T301 : 1
Pre[189,19]: 1
T301: P28' := P28 - 2
IM[189,12]: -2
T301: P31' := P31 + 1
IM[189,19]: 1
P28 --> T300 : 2
Pre[190,12]: 2
P27 --> T300 : 1
Pre[190,13]: 1
T300: P28' := P28 - 2
IM[190,12]: -2
T300: P27' := P27 + 1
IM[190,13]: 1
P28 --> T299 : 2
Pre[191,12]: 2
P26 --> T299 : 1
Pre[191,15]: 1
T299: P28' := P28 - 2
IM[191,12]: -2
T299: P26' := P26 + 1
IM[191,15]: 1
P28 --> T298 : 2
Pre[192,12]: 2
P25 --> T298 : 1
Pre[192,16]: 1
T298: P28' := P28 - 2
IM[192,12]: -2
T298: P25' := P25 + 1
IM[192,16]: 1
P28 --> T297 : 2
Pre[193,12]: 2
P24 --> T297 : 1
Pre[193,18]: 1
T297: P28' := P28 - 2
IM[193,12]: -2
T297: P24' := P24 + 1
IM[193,18]: 1
P27 --> T296 : 2
Pre[194,13]: 2
P43 --> T296 : 1
Pre[194,7]: 1
T296: P27' := P27 - 2
IM[194,13]: -2
T296: P43' := P43 + 1
IM[194,7]: 1
P27 --> T295 : 2
Pre[195,13]: 2
P38 --> T295 : 1
Pre[195,10]: 1
T295: P27' := P27 - 2
IM[195,13]: -2
T295: P38' := P38 + 1
IM[195,10]: 1
P27 --> T294 : 2
Pre[196,13]: 2
P36 --> T294 : 1
Pre[196,11]: 1
T294: P27' := P27 - 2
IM[196,13]: -2
T294: P36' := P36 + 1
IM[196,11]: 1
P27 --> T293 : 2
Pre[197,13]: 2
P34 --> T293 : 1
Pre[197,9]: 1
T293: P27' := P27 - 2
IM[197,13]: -2
T293: P34' := P34 + 1
IM[197,9]: 1
P27 --> T292 : 2
Pre[198,13]: 2
P33 --> T292 : 1
Pre[198,14]: 1
T292: P27' := P27 - 2
IM[198,13]: -2
T292: P33' := P33 + 1
IM[198,14]: 1
P27 --> T291 : 2
Pre[199,13]: 2
P32 --> T291 : 1
Pre[199,17]: 1
T291: P27' := P27 - 2
IM[199,13]: -2
T291: P32' := P32 + 1
IM[199,17]: 1
P27 --> T290 : 2
Pre[200,13]: 2
P31 --> T290 : 1
Pre[200,19]: 1
T290: P27' := P27 - 2
IM[200,13]: -2
T290: P31' := P31 + 1
IM[200,19]: 1
P27 --> T289 : 2
Pre[201,13]: 2
P28 --> T289 : 1
Pre[201,12]: 1
T289: P27' := P27 - 2
IM[201,13]: -2
T289: P28' := P28 + 1
IM[201,12]: 1
P27 --> T288 : 2
Pre[202,13]: 2
P26 --> T288 : 1
Pre[202,15]: 1
T288: P27' := P27 - 2
IM[202,13]: -2
T288: P26' := P26 + 1
IM[202,15]: 1
P27 --> T287 : 2
Pre[203,13]: 2
P25 --> T287 : 1
Pre[203,16]: 1
T287: P27' := P27 - 2
IM[203,13]: -2
T287: P25' := P25 + 1
IM[203,16]: 1
P27 --> T286 : 2
Pre[204,13]: 2
P24 --> T286 : 1
Pre[204,18]: 1
T286: P27' := P27 - 2
IM[204,13]: -2
T286: P24' := P24 + 1
IM[204,18]: 1
P27 --> T285 : 2
Pre[205,13]: 2
P14 --> T285 : 1
Pre[205,20]: 1
T285: P27' := P27 - 2
IM[205,13]: -2
T285: P14' := P14 + 1
IM[205,20]: 1
P26 --> T284 : 2
Pre[206,15]: 2
P43 --> T284 : 1
Pre[206,7]: 1
T284: P26' := P26 - 2
IM[206,15]: -2
T284: P43' := P43 + 1
IM[206,7]: 1
P26 --> T283 : 2
Pre[207,15]: 2
P38 --> T283 : 1
Pre[207,10]: 1
T283: P26' := P26 - 2
IM[207,15]: -2
T283: P38' := P38 + 1
IM[207,10]: 1
P26 --> T282 : 2
Pre[208,15]: 2
P36 --> T282 : 1
Pre[208,11]: 1
T282: P26' := P26 - 2
IM[208,15]: -2
T282: P36' := P36 + 1
IM[208,11]: 1
P26 --> T281 : 2
Pre[209,15]: 2
P34 --> T281 : 1
Pre[209,9]: 1
T281: P26' := P26 - 2
IM[209,15]: -2
T281: P34' := P34 + 1
IM[209,9]: 1
P26 --> T280 : 2
Pre[210,15]: 2
P33 --> T280 : 1
Pre[210,14]: 1
T280: P26' := P26 - 2
IM[210,15]: -2
T280: P33' := P33 + 1
IM[210,14]: 1
P26 --> T279 : 2
Pre[211,15]: 2
P32 --> T279 : 1
Pre[211,17]: 1
T279: P26' := P26 - 2
IM[211,15]: -2
T279: P32' := P32 + 1
IM[211,17]: 1
P26 --> T278 : 2
Pre[212,15]: 2
P31 --> T278 : 1
Pre[212,19]: 1
T278: P26' := P26 - 2
IM[212,15]: -2
T278: P31' := P31 + 1
IM[212,19]: 1
P26 --> T277 : 2
Pre[213,15]: 2
P30 --> T277 : 1
Pre[213,22]: 1
T277: P26' := P26 - 2
IM[213,15]: -2
T277: P30' := P30 + 1
IM[213,22]: 1
P26 --> T276 : 2
Pre[214,15]: 2
P28 --> T276 : 1
Pre[214,12]: 1
T276: P26' := P26 - 2
IM[214,15]: -2
T276: P28' := P28 + 1
IM[214,12]: 1
P26 --> T275 : 2
Pre[215,15]: 2
P27 --> T275 : 1
Pre[215,13]: 1
T275: P26' := P26 - 2
IM[215,15]: -2
T275: P27' := P27 + 1
IM[215,13]: 1
P26 --> T274 : 2
Pre[216,15]: 2
P25 --> T274 : 1
Pre[216,16]: 1
T274: P26' := P26 - 2
IM[216,15]: -2
T274: P25' := P25 + 1
IM[216,16]: 1
P26 --> T273 : 2
Pre[217,15]: 2
P24 --> T273 : 1
Pre[217,18]: 1
T273: P26' := P26 - 2
IM[217,15]: -2
T273: P24' := P24 + 1
IM[217,18]: 1
P26 --> T272 : 2
Pre[218,15]: 2
P14 --> T272 : 1
Pre[218,20]: 1
T272: P26' := P26 - 2
IM[218,15]: -2
T272: P14' := P14 + 1
IM[218,20]: 1
P26 --> T271 : 2
Pre[219,15]: 2
P13 --> T271 : 1
Pre[219,21]: 1
T271: P26' := P26 - 2
IM[219,15]: -2
T271: P13' := P13 + 1
IM[219,21]: 1
P25 --> T270 : 2
Pre[220,16]: 2
P43 --> T270 : 1
Pre[220,7]: 1
T270: P25' := P25 - 2
IM[220,16]: -2
T270: P43' := P43 + 1
IM[220,7]: 1
P25 --> T269 : 2
Pre[221,16]: 2
P38 --> T269 : 1
Pre[221,10]: 1
T269: P25' := P25 - 2
IM[221,16]: -2
T269: P38' := P38 + 1
IM[221,10]: 1
P25 --> T268 : 2
Pre[222,16]: 2
P36 --> T268 : 1
Pre[222,11]: 1
T268: P25' := P25 - 2
IM[222,16]: -2
T268: P36' := P36 + 1
IM[222,11]: 1
P25 --> T267 : 2
Pre[223,16]: 2
P34 --> T267 : 1
Pre[223,9]: 1
T267: P25' := P25 - 2
IM[223,16]: -2
T267: P34' := P34 + 1
IM[223,9]: 1
P25 --> T266 : 2
Pre[224,16]: 2
P33 --> T266 : 1
Pre[224,14]: 1
T266: P25' := P25 - 2
IM[224,16]: -2
T266: P33' := P33 + 1
IM[224,14]: 1
P25 --> T265 : 2
Pre[225,16]: 2
P32 --> T265 : 1
Pre[225,17]: 1
T265: P25' := P25 - 2
IM[225,16]: -2
T265: P32' := P32 + 1
IM[225,17]: 1
P25 --> T264 : 2
Pre[226,16]: 2
P31 --> T264 : 1
Pre[226,19]: 1
T264: P25' := P25 - 2
IM[226,16]: -2
T264: P31' := P31 + 1
IM[226,19]: 1
P25 --> T263 : 2
Pre[227,16]: 2
P30 --> T263 : 1
Pre[227,22]: 1
T263: P25' := P25 - 2
IM[227,16]: -2
T263: P30' := P30 + 1
IM[227,22]: 1
P25 --> T262 : 2
Pre[228,16]: 2
P28 --> T262 : 1
Pre[228,12]: 1
T262: P25' := P25 - 2
IM[228,16]: -2
T262: P28' := P28 + 1
IM[228,12]: 1
P25 --> T261 : 2
Pre[229,16]: 2
P27 --> T261 : 1
Pre[229,13]: 1
T261: P25' := P25 - 2
IM[229,16]: -2
T261: P27' := P27 + 1
IM[229,13]: 1
P25 --> T260 : 2
Pre[230,16]: 2
P26 --> T260 : 1
Pre[230,15]: 1
T260: P25' := P25 - 2
IM[230,16]: -2
T260: P26' := P26 + 1
IM[230,15]: 1
P25 --> T259 : 2
Pre[231,16]: 2
P24 --> T259 : 1
Pre[231,18]: 1
T259: P25' := P25 - 2
IM[231,16]: -2
T259: P24' := P24 + 1
IM[231,18]: 1
P25 --> T258 : 2
Pre[232,16]: 2
P14 --> T258 : 1
Pre[232,20]: 1
T258: P25' := P25 - 2
IM[232,16]: -2
T258: P14' := P14 + 1
IM[232,20]: 1
P25 --> T257 : 2
Pre[233,16]: 2
P13 --> T257 : 1
Pre[233,21]: 1
T257: P25' := P25 - 2
IM[233,16]: -2
T257: P13' := P13 + 1
IM[233,21]: 1
P25 --> T256 : 2
Pre[234,16]: 2
P12 --> T256 : 1
Pre[234,23]: 1
T256: P25' := P25 - 2
IM[234,16]: -2
T256: P12' := P12 + 1
IM[234,23]: 1
P24 --> T255 : 2
Pre[235,18]: 2
P38 --> T255 : 1
Pre[235,10]: 1
T255: P24' := P24 - 2
IM[235,18]: -2
T255: P38' := P38 + 1
IM[235,10]: 1
P24 --> T254 : 2
Pre[236,18]: 2
P36 --> T254 : 1
Pre[236,11]: 1
T254: P24' := P24 - 2
IM[236,18]: -2
T254: P36' := P36 + 1
IM[236,11]: 1
P24 --> T253 : 2
Pre[237,18]: 2
P34 --> T253 : 1
Pre[237,9]: 1
T253: P24' := P24 - 2
IM[237,18]: -2
T253: P34' := P34 + 1
IM[237,9]: 1
P24 --> T252 : 2
Pre[238,18]: 2
P33 --> T252 : 1
Pre[238,14]: 1
T252: P24' := P24 - 2
IM[238,18]: -2
T252: P33' := P33 + 1
IM[238,14]: 1
P24 --> T251 : 2
Pre[239,18]: 2
P32 --> T251 : 1
Pre[239,17]: 1
T251: P24' := P24 - 2
IM[239,18]: -2
T251: P32' := P32 + 1
IM[239,17]: 1
P24 --> T250 : 2
Pre[240,18]: 2
P31 --> T250 : 1
Pre[240,19]: 1
T250: P24' := P24 - 2
IM[240,18]: -2
T250: P31' := P31 + 1
IM[240,19]: 1
P24 --> T249 : 2
Pre[241,18]: 2
P30 --> T249 : 1
Pre[241,22]: 1
T249: P24' := P24 - 2
IM[241,18]: -2
T249: P30' := P30 + 1
IM[241,22]: 1
P24 --> T248 : 2
Pre[242,18]: 2
P28 --> T248 : 1
Pre[242,12]: 1
T248: P24' := P24 - 2
IM[242,18]: -2
T248: P28' := P28 + 1
IM[242,12]: 1
P24 --> T247 : 2
Pre[243,18]: 2
P27 --> T247 : 1
Pre[243,13]: 1
T247: P24' := P24 - 2
IM[243,18]: -2
T247: P27' := P27 + 1
IM[243,13]: 1
P24 --> T246 : 2
Pre[244,18]: 2
P26 --> T246 : 1
Pre[244,15]: 1
T246: P24' := P24 - 2
IM[244,18]: -2
T246: P26' := P26 + 1
IM[244,15]: 1
P24 --> T245 : 2
Pre[245,18]: 2
P25 --> T245 : 1
Pre[245,16]: 1
T245: P24' := P24 - 2
IM[245,18]: -2
T245: P25' := P25 + 1
IM[245,16]: 1
P24 --> T244 : 2
Pre[246,18]: 2
P14 --> T244 : 1
Pre[246,20]: 1
T244: P24' := P24 - 2
IM[246,18]: -2
T244: P14' := P14 + 1
IM[246,20]: 1
P24 --> T243 : 2
Pre[247,18]: 2
P13 --> T243 : 1
Pre[247,21]: 1
T243: P24' := P24 - 2
IM[247,18]: -2
T243: P13' := P13 + 1
IM[247,21]: 1
P24 --> T242 : 2
Pre[248,18]: 2
P12 --> T242 : 1
Pre[248,23]: 1
T242: P24' := P24 - 2
IM[248,18]: -2
T242: P12' := P12 + 1
IM[248,23]: 1
P24 --> T241 : 2
Pre[249,18]: 2
P11 --> T241 : 1
Pre[249,24]: 1
T241: P24' := P24 - 2
IM[249,18]: -2
T241: P11' := P11 + 1
IM[249,24]: 1
P23 --> T240 : 2
Pre[250,38]: 2
P42 --> T240 : 1
Pre[250,39]: 1
T240: P23' := P23 - 2
IM[250,38]: -2
T240: P42' := P42 + 1
IM[250,39]: 1
P23 --> T239 : 2
Pre[251,38]: 2
P40 --> T239 : 1
Pre[251,8]: 1
T239: P23' := P23 - 2
IM[251,38]: -2
T239: P40' := P40 + 1
IM[251,8]: 1
P23 --> T238 : 2
Pre[252,38]: 2
P38 --> T238 : 1
Pre[252,10]: 1
T238: P23' := P23 - 2
IM[252,38]: -2
T238: P38' := P38 + 1
IM[252,10]: 1
P23 --> T237 : 2
Pre[253,38]: 2
P31 --> T237 : 1
Pre[253,19]: 1
T237: P23' := P23 - 2
IM[253,38]: -2
T237: P31' := P31 + 1
IM[253,19]: 1
P23 --> T236 : 2
Pre[254,38]: 2
P30 --> T236 : 1
Pre[254,22]: 1
T236: P23' := P23 - 2
IM[254,38]: -2
T236: P30' := P30 + 1
IM[254,22]: 1
P23 --> T235 : 2
Pre[255,38]: 2
P29 --> T235 : 1
Pre[255,31]: 1
T235: P23' := P23 - 2
IM[255,38]: -2
T235: P29' := P29 + 1
IM[255,31]: 1
P23 --> T234 : 2
Pre[256,38]: 2
P21 --> T234 : 1
Pre[256,37]: 1
T234: P23' := P23 - 2
IM[256,38]: -2
T234: P21' := P21 + 1
IM[256,37]: 1
P23 --> T233 : 2
Pre[257,38]: 2
P19 --> T233 : 1
Pre[257,36]: 1
T233: P23' := P23 - 2
IM[257,38]: -2
T233: P19' := P19 + 1
IM[257,36]: 1
P23 --> T232 : 2
Pre[258,38]: 2
P17 --> T232 : 1
Pre[258,35]: 1
T232: P23' := P23 - 2
IM[258,38]: -2
T232: P17' := P17 + 1
IM[258,35]: 1
P23 --> T231 : 2
Pre[259,38]: 2
P15 --> T231 : 1
Pre[259,34]: 1
T231: P23' := P23 - 2
IM[259,38]: -2
T231: P15' := P15 + 1
IM[259,34]: 1
P21 --> T230 : 2
Pre[260,37]: 2
P42 --> T230 : 1
Pre[260,39]: 1
T230: P21' := P21 - 2
IM[260,37]: -2
T230: P42' := P42 + 1
IM[260,39]: 1
P21 --> T229 : 2
Pre[261,37]: 2
P40 --> T229 : 1
Pre[261,8]: 1
T229: P21' := P21 - 2
IM[261,37]: -2
T229: P40' := P40 + 1
IM[261,8]: 1
P21 --> T228 : 2
Pre[262,37]: 2
P38 --> T228 : 1
Pre[262,10]: 1
T228: P21' := P21 - 2
IM[262,37]: -2
T228: P38' := P38 + 1
IM[262,10]: 1
P21 --> T227 : 2
Pre[263,37]: 2
P32 --> T227 : 1
Pre[263,17]: 1
T227: P21' := P21 - 2
IM[263,37]: -2
T227: P32' := P32 + 1
IM[263,17]: 1
P21 --> T226 : 2
Pre[264,37]: 2
P31 --> T226 : 1
Pre[264,19]: 1
T226: P21' := P21 - 2
IM[264,37]: -2
T226: P31' := P31 + 1
IM[264,19]: 1
P21 --> T225 : 2
Pre[265,37]: 2
P30 --> T225 : 1
Pre[265,22]: 1
T225: P21' := P21 - 2
IM[265,37]: -2
T225: P30' := P30 + 1
IM[265,22]: 1
P21 --> T224 : 2
Pre[266,37]: 2
P29 --> T224 : 1
Pre[266,31]: 1
T224: P21' := P21 - 2
IM[266,37]: -2
T224: P29' := P29 + 1
IM[266,31]: 1
P21 --> T223 : 2
Pre[267,37]: 2
P23 --> T223 : 1
Pre[267,38]: 1
T223: P21' := P21 - 2
IM[267,37]: -2
T223: P23' := P23 + 1
IM[267,38]: 1
P21 --> T222 : 2
Pre[268,37]: 2
P19 --> T222 : 1
Pre[268,36]: 1
T222: P21' := P21 - 2
IM[268,37]: -2
T222: P19' := P19 + 1
IM[268,36]: 1
P21 --> T221 : 2
Pre[269,37]: 2
P17 --> T221 : 1
Pre[269,35]: 1
T221: P21' := P21 - 2
IM[269,37]: -2
T221: P17' := P17 + 1
IM[269,35]: 1
P21 --> T220 : 2
Pre[270,37]: 2
P15 --> T220 : 1
Pre[270,34]: 1
T220: P21' := P21 - 2
IM[270,37]: -2
T220: P15' := P15 + 1
IM[270,34]: 1
P21 --> T219 : 2
Pre[271,37]: 2
P10 --> T219 : 1
Pre[271,33]: 1
T219: P21' := P21 - 2
IM[271,37]: -2
T219: P10' := P10 + 1
IM[271,33]: 1
P19 --> T218 : 2
Pre[272,36]: 2
P42 --> T218 : 1
Pre[272,39]: 1
T218: P19' := P19 - 2
IM[272,36]: -2
T218: P42' := P42 + 1
IM[272,39]: 1
P19 --> T217 : 2
Pre[273,36]: 2
P40 --> T217 : 1
Pre[273,8]: 1
T217: P19' := P19 - 2
IM[273,36]: -2
T217: P40' := P40 + 1
IM[273,8]: 1
P19 --> T216 : 2
Pre[274,36]: 2
P38 --> T216 : 1
Pre[274,10]: 1
T216: P19' := P19 - 2
IM[274,36]: -2
T216: P38' := P38 + 1
IM[274,10]: 1
P19 --> T215 : 2
Pre[275,36]: 2
P36 --> T215 : 1
Pre[275,11]: 1
T215: P19' := P19 - 2
IM[275,36]: -2
T215: P36' := P36 + 1
IM[275,11]: 1
P19 --> T214 : 2
Pre[276,36]: 2
P32 --> T214 : 1
Pre[276,17]: 1
T214: P19' := P19 - 2
IM[276,36]: -2
T214: P32' := P32 + 1
IM[276,17]: 1
P19 --> T213 : 2
Pre[277,36]: 2
P31 --> T213 : 1
Pre[277,19]: 1
T213: P19' := P19 - 2
IM[277,36]: -2
T213: P31' := P31 + 1
IM[277,19]: 1
P19 --> T212 : 2
Pre[278,36]: 2
P30 --> T212 : 1
Pre[278,22]: 1
T212: P19' := P19 - 2
IM[278,36]: -2
T212: P30' := P30 + 1
IM[278,22]: 1
P19 --> T211 : 2
Pre[279,36]: 2
P29 --> T211 : 1
Pre[279,31]: 1
T211: P19' := P19 - 2
IM[279,36]: -2
T211: P29' := P29 + 1
IM[279,31]: 1
P19 --> T210 : 2
Pre[280,36]: 2
P23 --> T210 : 1
Pre[280,38]: 1
T210: P19' := P19 - 2
IM[280,36]: -2
T210: P23' := P23 + 1
IM[280,38]: 1
P19 --> T209 : 2
Pre[281,36]: 2
P21 --> T209 : 1
Pre[281,37]: 1
T209: P19' := P19 - 2
IM[281,36]: -2
T209: P21' := P21 + 1
IM[281,37]: 1
P19 --> T208 : 2
Pre[282,36]: 2
P17 --> T208 : 1
Pre[282,35]: 1
T208: P19' := P19 - 2
IM[282,36]: -2
T208: P17' := P17 + 1
IM[282,35]: 1
P19 --> T207 : 2
Pre[283,36]: 2
P15 --> T207 : 1
Pre[283,34]: 1
T207: P19' := P19 - 2
IM[283,36]: -2
T207: P15' := P15 + 1
IM[283,34]: 1
P19 --> T206 : 2
Pre[284,36]: 2
P10 --> T206 : 1
Pre[284,33]: 1
T206: P19' := P19 - 2
IM[284,36]: -2
T206: P10' := P10 + 1
IM[284,33]: 1
P19 --> T205 : 2
Pre[285,36]: 2
P9 --> T205 : 1
Pre[285,32]: 1
T205: P19' := P19 - 2
IM[285,36]: -2
T205: P9' := P9 + 1
IM[285,32]: 1
P17 --> T204 : 2
Pre[286,35]: 2
P42 --> T204 : 1
Pre[286,39]: 1
T204: P17' := P17 - 2
IM[286,35]: -2
T204: P42' := P42 + 1
IM[286,39]: 1
P17 --> T203 : 2
Pre[287,35]: 2
P40 --> T203 : 1
Pre[287,8]: 1
T203: P17' := P17 - 2
IM[287,35]: -2
T203: P40' := P40 + 1
IM[287,8]: 1
P17 --> T202 : 2
Pre[288,35]: 2
P38 --> T202 : 1
Pre[288,10]: 1
T202: P17' := P17 - 2
IM[288,35]: -2
T202: P38' := P38 + 1
IM[288,10]: 1
P17 --> T201 : 2
Pre[289,35]: 2
P36 --> T201 : 1
Pre[289,11]: 1
T201: P17' := P17 - 2
IM[289,35]: -2
T201: P36' := P36 + 1
IM[289,11]: 1
P17 --> T200 : 2
Pre[290,35]: 2
P32 --> T200 : 1
Pre[290,17]: 1
T200: P17' := P17 - 2
IM[290,35]: -2
T200: P32' := P32 + 1
IM[290,17]: 1
P17 --> T199 : 2
Pre[291,35]: 2
P31 --> T199 : 1
Pre[291,19]: 1
T199: P17' := P17 - 2
IM[291,35]: -2
T199: P31' := P31 + 1
IM[291,19]: 1
P17 --> T198 : 2
Pre[292,35]: 2
P30 --> T198 : 1
Pre[292,22]: 1
T198: P17' := P17 - 2
IM[292,35]: -2
T198: P30' := P30 + 1
IM[292,22]: 1
P17 --> T197 : 2
Pre[293,35]: 2
P29 --> T197 : 1
Pre[293,31]: 1
T197: P17' := P17 - 2
IM[293,35]: -2
T197: P29' := P29 + 1
IM[293,31]: 1
P17 --> T196 : 2
Pre[294,35]: 2
P23 --> T196 : 1
Pre[294,38]: 1
T196: P17' := P17 - 2
IM[294,35]: -2
T196: P23' := P23 + 1
IM[294,38]: 1
P17 --> T195 : 2
Pre[295,35]: 2
P21 --> T195 : 1
Pre[295,37]: 1
T195: P17' := P17 - 2
IM[295,35]: -2
T195: P21' := P21 + 1
IM[295,37]: 1
P17 --> T194 : 2
Pre[296,35]: 2
P19 --> T194 : 1
Pre[296,36]: 1
T194: P17' := P17 - 2
IM[296,35]: -2
T194: P19' := P19 + 1
IM[296,36]: 1
P17 --> T193 : 2
Pre[297,35]: 2
P15 --> T193 : 1
Pre[297,34]: 1
T193: P17' := P17 - 2
IM[297,35]: -2
T193: P15' := P15 + 1
IM[297,34]: 1
P17 --> T192 : 2
Pre[298,35]: 2
P10 --> T192 : 1
Pre[298,33]: 1
T192: P17' := P17 - 2
IM[298,35]: -2
T192: P10' := P10 + 1
IM[298,33]: 1
P17 --> T191 : 2
Pre[299,35]: 2
P9 --> T191 : 1
Pre[299,32]: 1
T191: P17' := P17 - 2
IM[299,35]: -2
T191: P9' := P9 + 1
IM[299,32]: 1
P17 --> T190 : 2
Pre[300,35]: 2
P7 --> T190 : 1
Pre[300,28]: 1
T190: P17' := P17 - 2
IM[300,35]: -2
T190: P7' := P7 + 1
IM[300,28]: 1
P15 --> T189 : 2
Pre[301,34]: 2
P40 --> T189 : 1
Pre[301,8]: 1
T189: P15' := P15 - 2
IM[301,34]: -2
T189: P40' := P40 + 1
IM[301,8]: 1
P15 --> T188 : 2
Pre[302,34]: 2
P38 --> T188 : 1
Pre[302,10]: 1
T188: P15' := P15 - 2
IM[302,34]: -2
T188: P38' := P38 + 1
IM[302,10]: 1
P15 --> T187 : 2
Pre[303,34]: 2
P36 --> T187 : 1
Pre[303,11]: 1
T187: P15' := P15 - 2
IM[303,34]: -2
T187: P36' := P36 + 1
IM[303,11]: 1
P15 --> T186 : 2
Pre[304,34]: 2
P32 --> T186 : 1
Pre[304,17]: 1
T186: P15' := P15 - 2
IM[304,34]: -2
T186: P32' := P32 + 1
IM[304,17]: 1
P15 --> T185 : 2
Pre[305,34]: 2
P31 --> T185 : 1
Pre[305,19]: 1
T185: P15' := P15 - 2
IM[305,34]: -2
T185: P31' := P31 + 1
IM[305,19]: 1
P15 --> T184 : 2
Pre[306,34]: 2
P30 --> T184 : 1
Pre[306,22]: 1
T184: P15' := P15 - 2
IM[306,34]: -2
T184: P30' := P30 + 1
IM[306,22]: 1
P15 --> T183 : 2
Pre[307,34]: 2
P29 --> T183 : 1
Pre[307,31]: 1
T183: P15' := P15 - 2
IM[307,34]: -2
T183: P29' := P29 + 1
IM[307,31]: 1
P15 --> T182 : 2
Pre[308,34]: 2
P23 --> T182 : 1
Pre[308,38]: 1
T182: P15' := P15 - 2
IM[308,34]: -2
T182: P23' := P23 + 1
IM[308,38]: 1
P15 --> T181 : 2
Pre[309,34]: 2
P21 --> T181 : 1
Pre[309,37]: 1
T181: P15' := P15 - 2
IM[309,34]: -2
T181: P21' := P21 + 1
IM[309,37]: 1
P15 --> T180 : 2
Pre[310,34]: 2
P19 --> T180 : 1
Pre[310,36]: 1
T180: P15' := P15 - 2
IM[310,34]: -2
T180: P19' := P19 + 1
IM[310,36]: 1
P15 --> T179 : 2
Pre[311,34]: 2
P17 --> T179 : 1
Pre[311,35]: 1
T179: P15' := P15 - 2
IM[311,34]: -2
T179: P17' := P17 + 1
IM[311,35]: 1
P15 --> T178 : 2
Pre[312,34]: 2
P10 --> T178 : 1
Pre[312,33]: 1
T178: P15' := P15 - 2
IM[312,34]: -2
T178: P10' := P10 + 1
IM[312,33]: 1
P15 --> T177 : 2
Pre[313,34]: 2
P9 --> T177 : 1
Pre[313,32]: 1
T177: P15' := P15 - 2
IM[313,34]: -2
T177: P9' := P9 + 1
IM[313,32]: 1
P15 --> T176 : 2
Pre[314,34]: 2
P7 --> T176 : 1
Pre[314,28]: 1
T176: P15' := P15 - 2
IM[314,34]: -2
T176: P7' := P7 + 1
IM[314,28]: 1
P15 --> T175 : 2
Pre[315,34]: 2
P5 --> T175 : 1
Pre[315,26]: 1
T175: P15' := P15 - 2
IM[315,34]: -2
T175: P5' := P5 + 1
IM[315,26]: 1
P14 --> T174 : 2
Pre[316,20]: 2
P36 --> T174 : 1
Pre[316,11]: 1
T174: P14' := P14 - 2
IM[316,20]: -2
T174: P36' := P36 + 1
IM[316,11]: 1
P14 --> T173 : 2
Pre[317,20]: 2
P34 --> T173 : 1
Pre[317,9]: 1
T173: P14' := P14 - 2
IM[317,20]: -2
T173: P34' := P34 + 1
IM[317,9]: 1
P14 --> T172 : 2
Pre[318,20]: 2
P33 --> T172 : 1
Pre[318,14]: 1
T172: P14' := P14 - 2
IM[318,20]: -2
T172: P33' := P33 + 1
IM[318,14]: 1
P14 --> T171 : 2
Pre[319,20]: 2
P32 --> T171 : 1
Pre[319,17]: 1
T171: P14' := P14 - 2
IM[319,20]: -2
T171: P32' := P32 + 1
IM[319,17]: 1
P14 --> T170 : 2
Pre[320,20]: 2
P31 --> T170 : 1
Pre[320,19]: 1
T170: P14' := P14 - 2
IM[320,20]: -2
T170: P31' := P31 + 1
IM[320,19]: 1
P14 --> T169 : 2
Pre[321,20]: 2
P30 --> T169 : 1
Pre[321,22]: 1
T169: P14' := P14 - 2
IM[321,20]: -2
T169: P30' := P30 + 1
IM[321,22]: 1
P14 --> T168 : 2
Pre[322,20]: 2
P27 --> T168 : 1
Pre[322,13]: 1
T168: P14' := P14 - 2
IM[322,20]: -2
T168: P27' := P27 + 1
IM[322,13]: 1
P14 --> T167 : 2
Pre[323,20]: 2
P26 --> T167 : 1
Pre[323,15]: 1
T167: P14' := P14 - 2
IM[323,20]: -2
T167: P26' := P26 + 1
IM[323,15]: 1
P14 --> T166 : 2
Pre[324,20]: 2
P25 --> T166 : 1
Pre[324,16]: 1
T166: P14' := P14 - 2
IM[324,20]: -2
T166: P25' := P25 + 1
IM[324,16]: 1
P14 --> T165 : 2
Pre[325,20]: 2
P24 --> T165 : 1
Pre[325,18]: 1
T165: P14' := P14 - 2
IM[325,20]: -2
T165: P24' := P24 + 1
IM[325,18]: 1
P14 --> T164 : 2
Pre[326,20]: 2
P13 --> T164 : 1
Pre[326,21]: 1
T164: P14' := P14 - 2
IM[326,20]: -2
T164: P13' := P13 + 1
IM[326,21]: 1
P14 --> T163 : 2
Pre[327,20]: 2
P12 --> T163 : 1
Pre[327,23]: 1
T163: P14' := P14 - 2
IM[327,20]: -2
T163: P12' := P12 + 1
IM[327,23]: 1
P14 --> T162 : 2
Pre[328,20]: 2
P11 --> T162 : 1
Pre[328,24]: 1
T162: P14' := P14 - 2
IM[328,20]: -2
T162: P11' := P11 + 1
IM[328,24]: 1
P14 --> T161 : 2
Pre[329,20]: 2
P4 --> T161 : 1
Pre[329,25]: 1
T161: P14' := P14 - 2
IM[329,20]: -2
T161: P4' := P4 + 1
IM[329,25]: 1
P13 --> T160 : 2
Pre[330,21]: 2
P36 --> T160 : 1
Pre[330,11]: 1
T160: P13' := P13 - 2
IM[330,21]: -2
T160: P36' := P36 + 1
IM[330,11]: 1
P13 --> T159 : 2
Pre[331,21]: 2
P34 --> T159 : 1
Pre[331,9]: 1
T159: P13' := P13 - 2
IM[331,21]: -2
T159: P34' := P34 + 1
IM[331,9]: 1
P13 --> T158 : 2
Pre[332,21]: 2
P33 --> T158 : 1
Pre[332,14]: 1
T158: P13' := P13 - 2
IM[332,21]: -2
T158: P33' := P33 + 1
IM[332,14]: 1
P13 --> T157 : 2
Pre[333,21]: 2
P32 --> T157 : 1
Pre[333,17]: 1
T157: P13' := P13 - 2
IM[333,21]: -2
T157: P32' := P32 + 1
IM[333,17]: 1
P13 --> T156 : 2
Pre[334,21]: 2
P31 --> T156 : 1
Pre[334,19]: 1
T156: P13' := P13 - 2
IM[334,21]: -2
T156: P31' := P31 + 1
IM[334,19]: 1
P13 --> T155 : 2
Pre[335,21]: 2
P26 --> T155 : 1
Pre[335,15]: 1
T155: P13' := P13 - 2
IM[335,21]: -2
T155: P26' := P26 + 1
IM[335,15]: 1
P13 --> T154 : 2
Pre[336,21]: 2
P25 --> T154 : 1
Pre[336,16]: 1
T154: P13' := P13 - 2
IM[336,21]: -2
T154: P25' := P25 + 1
IM[336,16]: 1
P13 --> T153 : 2
Pre[337,21]: 2
P24 --> T153 : 1
Pre[337,18]: 1
T153: P13' := P13 - 2
IM[337,21]: -2
T153: P24' := P24 + 1
IM[337,18]: 1
P13 --> T152 : 2
Pre[338,21]: 2
P14 --> T152 : 1
Pre[338,20]: 1
T152: P13' := P13 - 2
IM[338,21]: -2
T152: P14' := P14 + 1
IM[338,20]: 1
P13 --> T151 : 2
Pre[339,21]: 2
P12 --> T151 : 1
Pre[339,23]: 1
T151: P13' := P13 - 2
IM[339,21]: -2
T151: P12' := P12 + 1
IM[339,23]: 1
P13 --> T150 : 2
Pre[340,21]: 2
P11 --> T150 : 1
Pre[340,24]: 1
T150: P13' := P13 - 2
IM[340,21]: -2
T150: P11' := P11 + 1
IM[340,24]: 1
P13 --> T149 : 2
Pre[341,21]: 2
P5 --> T149 : 1
Pre[341,26]: 1
T149: P13' := P13 - 2
IM[341,21]: -2
T149: P5' := P5 + 1
IM[341,26]: 1
P13 --> T148 : 2
Pre[342,21]: 2
P4 --> T148 : 1
Pre[342,25]: 1
T148: P13' := P13 - 2
IM[342,21]: -2
T148: P4' := P4 + 1
IM[342,25]: 1
P13 --> T147 : 2
Pre[343,21]: 2
P3 --> T147 : 1
Pre[343,27]: 1
T147: P13' := P13 - 2
IM[343,21]: -2
T147: P3' := P3 + 1
IM[343,27]: 1
P12 --> T146 : 2
Pre[344,23]: 2
P36 --> T146 : 1
Pre[344,11]: 1
T146: P12' := P12 - 2
IM[344,23]: -2
T146: P36' := P36 + 1
IM[344,11]: 1
P12 --> T145 : 2
Pre[345,23]: 2
P34 --> T145 : 1
Pre[345,9]: 1
T145: P12' := P12 - 2
IM[345,23]: -2
T145: P34' := P34 + 1
IM[345,9]: 1
P12 --> T144 : 2
Pre[346,23]: 2
P32 --> T144 : 1
Pre[346,17]: 1
T144: P12' := P12 - 2
IM[346,23]: -2
T144: P32' := P32 + 1
IM[346,17]: 1
P12 --> T143 : 2
Pre[347,23]: 2
P31 --> T143 : 1
Pre[347,19]: 1
T143: P12' := P12 - 2
IM[347,23]: -2
T143: P31' := P31 + 1
IM[347,19]: 1
P12 --> T142 : 2
Pre[348,23]: 2
P30 --> T142 : 1
Pre[348,22]: 1
T142: P12' := P12 - 2
IM[348,23]: -2
T142: P30' := P30 + 1
IM[348,22]: 1
P12 --> T141 : 2
Pre[349,23]: 2
P25 --> T141 : 1
Pre[349,16]: 1
T141: P12' := P12 - 2
IM[349,23]: -2
T141: P25' := P25 + 1
IM[349,16]: 1
P12 --> T140 : 2
Pre[350,23]: 2
P24 --> T140 : 1
Pre[350,18]: 1
T140: P12' := P12 - 2
IM[350,23]: -2
T140: P24' := P24 + 1
IM[350,18]: 1
P12 --> T139 : 2
Pre[351,23]: 2
P14 --> T139 : 1
Pre[351,20]: 1
T139: P12' := P12 - 2
IM[351,23]: -2
T139: P14' := P14 + 1
IM[351,20]: 1
P12 --> T138 : 2
Pre[352,23]: 2
P13 --> T138 : 1
Pre[352,21]: 1
T138: P12' := P12 - 2
IM[352,23]: -2
T138: P13' := P13 + 1
IM[352,21]: 1
P12 --> T137 : 2
Pre[353,23]: 2
P11 --> T137 : 1
Pre[353,24]: 1
T137: P12' := P12 - 2
IM[353,23]: -2
T137: P11' := P11 + 1
IM[353,24]: 1
P12 --> T136 : 2
Pre[354,23]: 2
P7 --> T136 : 1
Pre[354,28]: 1
T136: P12' := P12 - 2
IM[354,23]: -2
T136: P7' := P7 + 1
IM[354,28]: 1
P12 --> T135 : 2
Pre[355,23]: 2
P5 --> T135 : 1
Pre[355,26]: 1
T135: P12' := P12 - 2
IM[355,23]: -2
T135: P5' := P5 + 1
IM[355,26]: 1
P12 --> T134 : 2
Pre[356,23]: 2
P4 --> T134 : 1
Pre[356,25]: 1
T134: P12' := P12 - 2
IM[356,23]: -2
T134: P4' := P4 + 1
IM[356,25]: 1
P12 --> T133 : 2
Pre[357,23]: 2
P3 --> T133 : 1
Pre[357,27]: 1
T133: P12' := P12 - 2
IM[357,23]: -2
T133: P3' := P3 + 1
IM[357,27]: 1
P12 --> T132 : 2
Pre[358,23]: 2
P2 --> T132 : 1
Pre[358,29]: 1
T132: P12' := P12 - 2
IM[358,23]: -2
T132: P2' := P2 + 1
IM[358,29]: 1
P11 --> T131 : 2
Pre[359,24]: 2
P36 --> T131 : 1
Pre[359,11]: 1
T131: P11' := P11 - 2
IM[359,24]: -2
T131: P36' := P36 + 1
IM[359,11]: 1
P11 --> T130 : 2
Pre[360,24]: 2
P34 --> T130 : 1
Pre[360,9]: 1
T130: P11' := P11 - 2
IM[360,24]: -2
T130: P34' := P34 + 1
IM[360,9]: 1
P11 --> T129 : 2
Pre[361,24]: 2
P31 --> T129 : 1
Pre[361,19]: 1
T129: P11' := P11 - 2
IM[361,24]: -2
T129: P31' := P31 + 1
IM[361,19]: 1
P11 --> T128 : 2
Pre[362,24]: 2
P30 --> T128 : 1
Pre[362,22]: 1
T128: P11' := P11 - 2
IM[362,24]: -2
T128: P30' := P30 + 1
IM[362,22]: 1
P11 --> T127 : 2
Pre[363,24]: 2
P29 --> T127 : 1
Pre[363,31]: 1
T127: P11' := P11 - 2
IM[363,24]: -2
T127: P29' := P29 + 1
IM[363,31]: 1
P11 --> T126 : 2
Pre[364,24]: 2
P24 --> T126 : 1
Pre[364,18]: 1
T126: P11' := P11 - 2
IM[364,24]: -2
T126: P24' := P24 + 1
IM[364,18]: 1
P11 --> T125 : 2
Pre[365,24]: 2
P14 --> T125 : 1
Pre[365,20]: 1
T125: P11' := P11 - 2
IM[365,24]: -2
T125: P14' := P14 + 1
IM[365,20]: 1
P11 --> T124 : 2
Pre[366,24]: 2
P13 --> T124 : 1
Pre[366,21]: 1
T124: P11' := P11 - 2
IM[366,24]: -2
T124: P13' := P13 + 1
IM[366,21]: 1
P11 --> T123 : 2
Pre[367,24]: 2
P12 --> T123 : 1
Pre[367,23]: 1
T123: P11' := P11 - 2
IM[367,24]: -2
T123: P12' := P12 + 1
IM[367,23]: 1
P11 --> T122 : 2
Pre[368,24]: 2
P9 --> T122 : 1
Pre[368,32]: 1
T122: P11' := P11 - 2
IM[368,24]: -2
T122: P9' := P9 + 1
IM[368,32]: 1
P11 --> T121 : 2
Pre[369,24]: 2
P7 --> T121 : 1
Pre[369,28]: 1
T121: P11' := P11 - 2
IM[369,24]: -2
T121: P7' := P7 + 1
IM[369,28]: 1
P11 --> T120 : 2
Pre[370,24]: 2
P5 --> T120 : 1
Pre[370,26]: 1
T120: P11' := P11 - 2
IM[370,24]: -2
T120: P5' := P5 + 1
IM[370,26]: 1
P11 --> T119 : 2
Pre[371,24]: 2
P4 --> T119 : 1
Pre[371,25]: 1
T119: P11' := P11 - 2
IM[371,24]: -2
T119: P4' := P4 + 1
IM[371,25]: 1
P11 --> T118 : 2
Pre[372,24]: 2
P3 --> T118 : 1
Pre[372,27]: 1
T118: P11' := P11 - 2
IM[372,24]: -2
T118: P3' := P3 + 1
IM[372,27]: 1
P11 --> T117 : 2
Pre[373,24]: 2
P2 --> T117 : 1
Pre[373,29]: 1
T117: P11' := P11 - 2
IM[373,24]: -2
T117: P2' := P2 + 1
IM[373,29]: 1
P11 --> T116 : 2
Pre[374,24]: 2
P1 --> T116 : 1
Pre[374,30]: 1
T116: P11' := P11 - 2
IM[374,24]: -2
T116: P1' := P1 + 1
IM[374,30]: 1
P10 --> T115 : 2
Pre[375,33]: 2
P40 --> T115 : 1
Pre[375,8]: 1
T115: P10' := P10 - 2
IM[375,33]: -2
T115: P40' := P40 + 1
IM[375,8]: 1
P10 --> T114 : 2
Pre[376,33]: 2
P38 --> T114 : 1
Pre[376,10]: 1
T114: P10' := P10 - 2
IM[376,33]: -2
T114: P38' := P38 + 1
IM[376,10]: 1
P10 --> T113 : 2
Pre[377,33]: 2
P36 --> T113 : 1
Pre[377,11]: 1
T113: P10' := P10 - 2
IM[377,33]: -2
T113: P36' := P36 + 1
IM[377,11]: 1
P10 --> T112 : 2
Pre[378,33]: 2
P31 --> T112 : 1
Pre[378,19]: 1
T112: P10' := P10 - 2
IM[378,33]: -2
T112: P31' := P31 + 1
IM[378,19]: 1
P10 --> T111 : 2
Pre[379,33]: 2
P30 --> T111 : 1
Pre[379,22]: 1
T111: P10' := P10 - 2
IM[379,33]: -2
T111: P30' := P30 + 1
IM[379,22]: 1
P10 --> T110 : 2
Pre[380,33]: 2
P29 --> T110 : 1
Pre[380,31]: 1
T110: P10' := P10 - 2
IM[380,33]: -2
T110: P29' := P29 + 1
IM[380,31]: 1
P10 --> T109 : 2
Pre[381,33]: 2
P21 --> T109 : 1
Pre[381,37]: 1
T109: P10' := P10 - 2
IM[381,33]: -2
T109: P21' := P21 + 1
IM[381,37]: 1
P10 --> T108 : 2
Pre[382,33]: 2
P19 --> T108 : 1
Pre[382,36]: 1
T108: P10' := P10 - 2
IM[382,33]: -2
T108: P19' := P19 + 1
IM[382,36]: 1
P10 --> T107 : 2
Pre[383,33]: 2
P17 --> T107 : 1
Pre[383,35]: 1
T107: P10' := P10 - 2
IM[383,33]: -2
T107: P17' := P17 + 1
IM[383,35]: 1
P10 --> T106 : 2
Pre[384,33]: 2
P15 --> T106 : 1
Pre[384,34]: 1
T106: P10' := P10 - 2
IM[384,33]: -2
T106: P15' := P15 + 1
IM[384,34]: 1
P10 --> T105 : 2
Pre[385,33]: 2
P9 --> T105 : 1
Pre[385,32]: 1
T105: P10' := P10 - 2
IM[385,33]: -2
T105: P9' := P9 + 1
IM[385,32]: 1
P10 --> T104 : 2
Pre[386,33]: 2
P7 --> T104 : 1
Pre[386,28]: 1
T104: P10' := P10 - 2
IM[386,33]: -2
T104: P7' := P7 + 1
IM[386,28]: 1
P10 --> T103 : 2
Pre[387,33]: 2
P5 --> T103 : 1
Pre[387,26]: 1
T103: P10' := P10 - 2
IM[387,33]: -2
T103: P5' := P5 + 1
IM[387,26]: 1
P10 --> T102 : 2
Pre[388,33]: 2
P4 --> T102 : 1
Pre[388,25]: 1
T102: P10' := P10 - 2
IM[388,33]: -2
T102: P4' := P4 + 1
IM[388,25]: 1
P9 --> T101 : 2
Pre[389,32]: 2
P40 --> T101 : 1
Pre[389,8]: 1
T101: P9' := P9 - 2
IM[389,32]: -2
T101: P40' := P40 + 1
IM[389,8]: 1
P9 --> T100 : 2
Pre[390,32]: 2
P38 --> T100 : 1
Pre[390,10]: 1
T100: P9' := P9 - 2
IM[390,32]: -2
T100: P38' := P38 + 1
IM[390,10]: 1
P9 --> T99 : 2
Pre[391,32]: 2
P31 --> T99 : 1
Pre[391,19]: 1
T99: P9' := P9 - 2
IM[391,32]: -2
T99: P31' := P31 + 1
IM[391,19]: 1
P9 --> T98 : 2
Pre[392,32]: 2
P30 --> T98 : 1
Pre[392,22]: 1
T98: P9' := P9 - 2
IM[392,32]: -2
T98: P30' := P30 + 1
IM[392,22]: 1
P9 --> T97 : 2
Pre[393,32]: 2
P29 --> T97 : 1
Pre[393,31]: 1
T97: P9' := P9 - 2
IM[393,32]: -2
T97: P29' := P29 + 1
IM[393,31]: 1
P9 --> T96 : 2
Pre[394,32]: 2
P19 --> T96 : 1
Pre[394,36]: 1
T96: P9' := P9 - 2
IM[394,32]: -2
T96: P19' := P19 + 1
IM[394,36]: 1
P9 --> T95 : 2
Pre[395,32]: 2
P17 --> T95 : 1
Pre[395,35]: 1
T95: P9' := P9 - 2
IM[395,32]: -2
T95: P17' := P17 + 1
IM[395,35]: 1
P9 --> T94 : 2
Pre[396,32]: 2
P15 --> T94 : 1
Pre[396,34]: 1
T94: P9' := P9 - 2
IM[396,32]: -2
T94: P15' := P15 + 1
IM[396,34]: 1
P9 --> T93 : 2
Pre[397,32]: 2
P11 --> T93 : 1
Pre[397,24]: 1
T93: P9' := P9 - 2
IM[397,32]: -2
T93: P11' := P11 + 1
IM[397,24]: 1
P9 --> T92 : 2
Pre[398,32]: 2
P10 --> T92 : 1
Pre[398,33]: 1
T92: P9' := P9 - 2
IM[398,32]: -2
T92: P10' := P10 + 1
IM[398,33]: 1
P9 --> T91 : 2
Pre[399,32]: 2
P7 --> T91 : 1
Pre[399,28]: 1
T91: P9' := P9 - 2
IM[399,32]: -2
T91: P7' := P7 + 1
IM[399,28]: 1
P9 --> T90 : 2
Pre[400,32]: 2
P5 --> T90 : 1
Pre[400,26]: 1
T90: P9' := P9 - 2
IM[400,32]: -2
T90: P5' := P5 + 1
IM[400,26]: 1
P9 --> T89 : 2
Pre[401,32]: 2
P4 --> T89 : 1
Pre[401,25]: 1
T89: P9' := P9 - 2
IM[401,32]: -2
T89: P4' := P4 + 1
IM[401,25]: 1
P9 --> T88 : 2
Pre[402,32]: 2
P3 --> T88 : 1
Pre[402,27]: 1
T88: P9' := P9 - 2
IM[402,32]: -2
T88: P3' := P3 + 1
IM[402,27]: 1
P7 --> T87 : 2
Pre[403,28]: 2
P38 --> T87 : 1
Pre[403,10]: 1
T87: P7' := P7 - 2
IM[403,28]: -2
T87: P38' := P38 + 1
IM[403,10]: 1
P7 --> T86 : 2
Pre[404,28]: 2
P36 --> T86 : 1
Pre[404,11]: 1
T86: P7' := P7 - 2
IM[404,28]: -2
T86: P36' := P36 + 1
IM[404,11]: 1
P7 --> T85 : 2
Pre[405,28]: 2
P31 --> T85 : 1
Pre[405,19]: 1
T85: P7' := P7 - 2
IM[405,28]: -2
T85: P31' := P31 + 1
IM[405,19]: 1
P7 --> T84 : 2
Pre[406,28]: 2
P30 --> T84 : 1
Pre[406,22]: 1
T84: P7' := P7 - 2
IM[406,28]: -2
T84: P30' := P30 + 1
IM[406,22]: 1
P7 --> T83 : 2
Pre[407,28]: 2
P29 --> T83 : 1
Pre[407,31]: 1
T83: P7' := P7 - 2
IM[407,28]: -2
T83: P29' := P29 + 1
IM[407,31]: 1
P7 --> T82 : 2
Pre[408,28]: 2
P17 --> T82 : 1
Pre[408,35]: 1
T82: P7' := P7 - 2
IM[408,28]: -2
T82: P17' := P17 + 1
IM[408,35]: 1
P7 --> T81 : 2
Pre[409,28]: 2
P15 --> T81 : 1
Pre[409,34]: 1
T81: P7' := P7 - 2
IM[409,28]: -2
T81: P15' := P15 + 1
IM[409,34]: 1
P7 --> T80 : 2
Pre[410,28]: 2
P12 --> T80 : 1
Pre[410,23]: 1
T80: P7' := P7 - 2
IM[410,28]: -2
T80: P12' := P12 + 1
IM[410,23]: 1
P7 --> T79 : 2
Pre[411,28]: 2
P11 --> T79 : 1
Pre[411,24]: 1
T79: P7' := P7 - 2
IM[411,28]: -2
T79: P11' := P11 + 1
IM[411,24]: 1
P7 --> T78 : 2
Pre[412,28]: 2
P10 --> T78 : 1
Pre[412,33]: 1
T78: P7' := P7 - 2
IM[412,28]: -2
T78: P10' := P10 + 1
IM[412,33]: 1
P7 --> T77 : 2
Pre[413,28]: 2
P9 --> T77 : 1
Pre[413,32]: 1
T77: P7' := P7 - 2
IM[413,28]: -2
T77: P9' := P9 + 1
IM[413,32]: 1
P7 --> T76 : 2
Pre[414,28]: 2
P5 --> T76 : 1
Pre[414,26]: 1
T76: P7' := P7 - 2
IM[414,28]: -2
T76: P5' := P5 + 1
IM[414,26]: 1
P7 --> T75 : 2
Pre[415,28]: 2
P4 --> T75 : 1
Pre[415,25]: 1
T75: P7' := P7 - 2
IM[415,28]: -2
T75: P4' := P4 + 1
IM[415,25]: 1
P7 --> T74 : 2
Pre[416,28]: 2
P3 --> T74 : 1
Pre[416,27]: 1
T74: P7' := P7 - 2
IM[416,28]: -2
T74: P3' := P3 + 1
IM[416,27]: 1
P7 --> T73 : 2
Pre[417,28]: 2
P2 --> T73 : 1
Pre[417,29]: 1
T73: P7' := P7 - 2
IM[417,28]: -2
T73: P2' := P2 + 1
IM[417,29]: 1
P5 --> T72 : 2
Pre[418,26]: 2
P36 --> T72 : 1
Pre[418,11]: 1
T72: P5' := P5 - 2
IM[418,26]: -2
T72: P36' := P36 + 1
IM[418,11]: 1
P5 --> T71 : 2
Pre[419,26]: 2
P34 --> T71 : 1
Pre[419,9]: 1
T71: P5' := P5 - 2
IM[419,26]: -2
T71: P34' := P34 + 1
IM[419,9]: 1
P5 --> T70 : 2
Pre[420,26]: 2
P31 --> T70 : 1
Pre[420,19]: 1
T70: P5' := P5 - 2
IM[420,26]: -2
T70: P31' := P31 + 1
IM[420,19]: 1
P5 --> T69 : 2
Pre[421,26]: 2
P30 --> T69 : 1
Pre[421,22]: 1
T69: P5' := P5 - 2
IM[421,26]: -2
T69: P30' := P30 + 1
IM[421,22]: 1
P5 --> T68 : 2
Pre[422,26]: 2
P29 --> T68 : 1
Pre[422,31]: 1
T68: P5' := P5 - 2
IM[422,26]: -2
T68: P29' := P29 + 1
IM[422,31]: 1
P5 --> T67 : 2
Pre[423,26]: 2
P15 --> T67 : 1
Pre[423,34]: 1
T67: P5' := P5 - 2
IM[423,26]: -2
T67: P15' := P15 + 1
IM[423,34]: 1
P5 --> T66 : 2
Pre[424,26]: 2
P13 --> T66 : 1
Pre[424,21]: 1
T66: P5' := P5 - 2
IM[424,26]: -2
T66: P13' := P13 + 1
IM[424,21]: 1
P5 --> T65 : 2
Pre[425,26]: 2
P12 --> T65 : 1
Pre[425,23]: 1
T65: P5' := P5 - 2
IM[425,26]: -2
T65: P12' := P12 + 1
IM[425,23]: 1
P5 --> T64 : 2
Pre[426,26]: 2
P11 --> T64 : 1
Pre[426,24]: 1
T64: P5' := P5 - 2
IM[426,26]: -2
T64: P11' := P11 + 1
IM[426,24]: 1
P5 --> T63 : 2
Pre[427,26]: 2
P10 --> T63 : 1
Pre[427,33]: 1
T63: P5' := P5 - 2
IM[427,26]: -2
T63: P10' := P10 + 1
IM[427,33]: 1
P5 --> T62 : 2
Pre[428,26]: 2
P9 --> T62 : 1
Pre[428,32]: 1
T62: P5' := P5 - 2
IM[428,26]: -2
T62: P9' := P9 + 1
IM[428,32]: 1
P5 --> T61 : 2
Pre[429,26]: 2
P7 --> T61 : 1
Pre[429,28]: 1
T61: P5' := P5 - 2
IM[429,26]: -2
T61: P7' := P7 + 1
IM[429,28]: 1
P5 --> T60 : 2
Pre[430,26]: 2
P4 --> T60 : 1
Pre[430,25]: 1
T60: P5' := P5 - 2
IM[430,26]: -2
T60: P4' := P4 + 1
IM[430,25]: 1
P5 --> T59 : 2
Pre[431,26]: 2
P3 --> T59 : 1
Pre[431,27]: 1
T59: P5' := P5 - 2
IM[431,26]: -2
T59: P3' := P3 + 1
IM[431,27]: 1
P5 --> T58 : 2
Pre[432,26]: 2
P2 --> T58 : 1
Pre[432,29]: 1
T58: P5' := P5 - 2
IM[432,26]: -2
T58: P2' := P2 + 1
IM[432,29]: 1
P5 --> T57 : 2
Pre[433,26]: 2
P1 --> T57 : 1
Pre[433,30]: 1
T57: P5' := P5 - 2
IM[433,26]: -2
T57: P1' := P1 + 1
IM[433,30]: 1
P4 --> T56 : 2
Pre[434,25]: 2
P36 --> T56 : 1
Pre[434,11]: 1
T56: P4' := P4 - 2
IM[434,25]: -2
T56: P36' := P36 + 1
IM[434,11]: 1
P4 --> T55 : 2
Pre[435,25]: 2
P34 --> T55 : 1
Pre[435,9]: 1
T55: P4' := P4 - 2
IM[435,25]: -2
T55: P34' := P34 + 1
IM[435,9]: 1
P4 --> T54 : 2
Pre[436,25]: 2
P30 --> T54 : 1
Pre[436,22]: 1
T54: P4' := P4 - 2
IM[436,25]: -2
T54: P30' := P30 + 1
IM[436,22]: 1
P4 --> T53 : 2
Pre[437,25]: 2
P29 --> T53 : 1
Pre[437,31]: 1
T53: P4' := P4 - 2
IM[437,25]: -2
T53: P29' := P29 + 1
IM[437,31]: 1
P4 --> T52 : 2
Pre[438,25]: 2
P14 --> T52 : 1
Pre[438,20]: 1
T52: P4' := P4 - 2
IM[438,25]: -2
T52: P14' := P14 + 1
IM[438,20]: 1
P4 --> T51 : 2
Pre[439,25]: 2
P13 --> T51 : 1
Pre[439,21]: 1
T51: P4' := P4 - 2
IM[439,25]: -2
T51: P13' := P13 + 1
IM[439,21]: 1
P4 --> T50 : 2
Pre[440,25]: 2
P12 --> T50 : 1
Pre[440,23]: 1
T50: P4' := P4 - 2
IM[440,25]: -2
T50: P12' := P12 + 1
IM[440,23]: 1
P4 --> T49 : 2
Pre[441,25]: 2
P11 --> T49 : 1
Pre[441,24]: 1
T49: P4' := P4 - 2
IM[441,25]: -2
T49: P11' := P11 + 1
IM[441,24]: 1
P4 --> T48 : 2
Pre[442,25]: 2
P10 --> T48 : 1
Pre[442,33]: 1
T48: P4' := P4 - 2
IM[442,25]: -2
T48: P10' := P10 + 1
IM[442,33]: 1
P4 --> T47 : 2
Pre[443,25]: 2
P9 --> T47 : 1
Pre[443,32]: 1
T47: P4' := P4 - 2
IM[443,25]: -2
T47: P9' := P9 + 1
IM[443,32]: 1
P4 --> T46 : 2
Pre[444,25]: 2
P7 --> T46 : 1
Pre[444,28]: 1
T46: P4' := P4 - 2
IM[444,25]: -2
T46: P7' := P7 + 1
IM[444,28]: 1
P4 --> T45 : 2
Pre[445,25]: 2
P5 --> T45 : 1
Pre[445,26]: 1
T45: P4' := P4 - 2
IM[445,25]: -2
T45: P5' := P5 + 1
IM[445,26]: 1
P4 --> T44 : 2
Pre[446,25]: 2
P3 --> T44 : 1
Pre[446,27]: 1
T44: P4' := P4 - 2
IM[446,25]: -2
T44: P3' := P3 + 1
IM[446,27]: 1
P4 --> T43 : 2
Pre[447,25]: 2
P2 --> T43 : 1
Pre[447,29]: 1
T43: P4' := P4 - 2
IM[447,25]: -2
T43: P2' := P2 + 1
IM[447,29]: 1
P4 --> T42 : 2
Pre[448,25]: 2
P1 --> T42 : 1
Pre[448,30]: 1
T42: P4' := P4 - 2
IM[448,25]: -2
T42: P1' := P1 + 1
IM[448,30]: 1
P3 --> T41 : 2
Pre[449,27]: 2
P13 --> T41 : 1
Pre[449,21]: 1
T41: P3' := P3 - 2
IM[449,27]: -2
T41: P13' := P13 + 1
IM[449,21]: 1
P3 --> T40 : 2
Pre[450,27]: 2
P12 --> T40 : 1
Pre[450,23]: 1
T40: P3' := P3 - 2
IM[450,27]: -2
T40: P12' := P12 + 1
IM[450,23]: 1
P3 --> T39 : 2
Pre[451,27]: 2
P11 --> T39 : 1
Pre[451,24]: 1
T39: P3' := P3 - 2
IM[451,27]: -2
T39: P11' := P11 + 1
IM[451,24]: 1
P3 --> T38 : 2
Pre[452,27]: 2
P9 --> T38 : 1
Pre[452,32]: 1
T38: P3' := P3 - 2
IM[452,27]: -2
T38: P9' := P9 + 1
IM[452,32]: 1
P3 --> T37 : 2
Pre[453,27]: 2
P7 --> T37 : 1
Pre[453,28]: 1
T37: P3' := P3 - 2
IM[453,27]: -2
T37: P7' := P7 + 1
IM[453,28]: 1
P3 --> T36 : 2
Pre[454,27]: 2
P5 --> T36 : 1
Pre[454,26]: 1
T36: P3' := P3 - 2
IM[454,27]: -2
T36: P5' := P5 + 1
IM[454,26]: 1
P3 --> T35 : 2
Pre[455,27]: 2
P4 --> T35 : 1
Pre[455,25]: 1
T35: P3' := P3 - 2
IM[455,27]: -2
T35: P4' := P4 + 1
IM[455,25]: 1
P3 --> T34 : 2
Pre[456,27]: 2
P2 --> T34 : 1
Pre[456,29]: 1
T34: P3' := P3 - 2
IM[456,27]: -2
T34: P2' := P2 + 1
IM[456,29]: 1
P3 --> T33 : 2
Pre[457,27]: 2
P1 --> T33 : 1
Pre[457,30]: 1
T33: P3' := P3 - 2
IM[457,27]: -2
T33: P1' := P1 + 1
IM[457,30]: 1
P2 --> T32 : 2
Pre[458,29]: 2
P12 --> T32 : 1
Pre[458,23]: 1
T32: P2' := P2 - 2
IM[458,29]: -2
T32: P12' := P12 + 1
IM[458,23]: 1
P2 --> T31 : 2
Pre[459,29]: 2
P11 --> T31 : 1
Pre[459,24]: 1
T31: P2' := P2 - 2
IM[459,29]: -2
T31: P11' := P11 + 1
IM[459,24]: 1
P2 --> T30 : 2
Pre[460,29]: 2
P7 --> T30 : 1
Pre[460,28]: 1
T30: P2' := P2 - 2
IM[460,29]: -2
T30: P7' := P7 + 1
IM[460,28]: 1
P2 --> T29 : 2
Pre[461,29]: 2
P5 --> T29 : 1
Pre[461,26]: 1
T29: P2' := P2 - 2
IM[461,29]: -2
T29: P5' := P5 + 1
IM[461,26]: 1
P2 --> T28 : 2
Pre[462,29]: 2
P4 --> T28 : 1
Pre[462,25]: 1
T28: P2' := P2 - 2
IM[462,29]: -2
T28: P4' := P4 + 1
IM[462,25]: 1
P2 --> T27 : 2
Pre[463,29]: 2
P3 --> T27 : 1
Pre[463,27]: 1
T27: P2' := P2 - 2
IM[463,29]: -2
T27: P3' := P3 + 1
IM[463,27]: 1
P2 --> T26 : 2
Pre[464,29]: 2
P1 --> T26 : 1
Pre[464,30]: 1
T26: P2' := P2 - 2
IM[464,29]: -2
T26: P1' := P1 + 1
IM[464,30]: 1
P1 --> T25 : 2
Pre[465,30]: 2
P11 --> T25 : 1
Pre[465,24]: 1
T25: P1' := P1 - 2
IM[465,30]: -2
T25: P11' := P11 + 1
IM[465,24]: 1
P1 --> T24 : 2
Pre[466,30]: 2
P5 --> T24 : 1
Pre[466,26]: 1
T24: P1' := P1 - 2
IM[466,30]: -2
T24: P5' := P5 + 1
IM[466,26]: 1
P1 --> T23 : 2
Pre[467,30]: 2
P4 --> T23 : 1
Pre[467,25]: 1
T23: P1' := P1 - 2
IM[467,30]: -2
T23: P4' := P4 + 1
IM[467,25]: 1
P1 --> T22 : 2
Pre[468,30]: 2
P3 --> T22 : 1
Pre[468,27]: 1
T22: P1' := P1 - 2
IM[468,30]: -2
T22: P3' := P3 + 1
IM[468,27]: 1
P1 --> T21 : 2
Pre[469,30]: 2
P2 --> T21 : 1
Pre[469,29]: 1
T21: P1' := P1 - 2
IM[469,30]: -2
T21: P2' := P2 + 1
IM[469,29]: 1
P41 --> T20 : 1
Pre[470,2]: 1
T20: P41' := P41 - 1
IM[470,2]: -1
P41 --> T19 : 1
Pre[471,2]: 1
T19: P41' := P41 - 1
IM[471,2]: -1
T19: P40' := P40 + 1
IM[471,8]: 1
P39 --> T18 : 1
Pre[472,4]: 1
T18: P39' := P39 - 1
IM[472,4]: -1
P39 --> T17 : 1
Pre[473,4]: 1
T17: P39' := P39 - 1
IM[473,4]: -1
T17: P38' := P38 + 1
IM[473,10]: 1
P37 --> T16 : 1
Pre[474,5]: 1
T16: P37' := P37 - 1
IM[474,5]: -1
P37 --> T15 : 1
Pre[475,5]: 1
T15: P37' := P37 - 1
IM[475,5]: -1
T15: P36' := P36 + 1
IM[475,11]: 1
P35 --> T14 : 1
Pre[476,0]: 1
T14: P35' := P35 - 1
IM[476,0]: -1
P35 --> T13 : 1
Pre[477,0]: 1
T13: P35' := P35 - 1
IM[477,0]: -1
T13: P34' := P34 + 1
IM[477,9]: 1
P22 --> T12 : 1
Pre[478,41]: 1
T12: P22' := P22 - 1
IM[478,41]: -1
P22 --> T11 : 1
Pre[479,41]: 1
T11: P22' := P22 - 1
IM[479,41]: -1
T11: P21' := P21 + 1
IM[479,37]: 1
P20 --> T10 : 1
Pre[480,42]: 1
T10: P20' := P20 - 1
IM[480,42]: -1
P20 --> T9 : 1
Pre[481,42]: 1
T9: P20' := P20 - 1
IM[481,42]: -1
T9: P19' := P19 + 1
IM[481,36]: 1
P18 --> T8 : 1
Pre[482,40]: 1
T8: P18' := P18 - 1
IM[482,40]: -1
P18 --> T7 : 1
Pre[483,40]: 1
T7: P18' := P18 - 1
IM[483,40]: -1
T7: P17' := P17 + 1
IM[483,35]: 1
P16 --> T6 : 1
Pre[484,6]: 1
T6: P16' := P16 - 1
IM[484,6]: -1
P16 --> T5 : 1
Pre[485,6]: 1
T5: P16' := P16 - 1
IM[485,6]: -1
T5: P15' := P15 + 1
IM[485,34]: 1
P8 --> T4 : 1
Pre[486,1]: 1
T4: P8' := P8 - 1
IM[486,1]: -1
P8 --> T3 : 1
Pre[487,1]: 1
T3: P8' := P8 - 1
IM[487,1]: -1
T3: P7' := P7 + 1
IM[487,28]: 1
P6 --> T2 : 1
Pre[488,3]: 1
T2: P6' := P6 - 1
IM[488,3]: -1
P6 --> T1 : 1
Pre[489,3]: 1
T1: P6' := P6 - 1
IM[489,3]: -1
T1: P5' := P5 + 1
IM[489,26]: 1
Decreasing places (index:name): 0:P35 1:P8 2:P41 3:P6 4:P39 5:P37 6:P16 40:P18 41:P22 42:P20
Increasing places (index:name): 7:P43 39:P42
Disabled transitions:
P43 --> T490 : 2
Pre[0,7]: 2
P42 --> T489 : 2
Pre[1,39]: 2
P40 --> T488 : 2
Pre[2,8]: 2
P42 --> T488 : 1
Pre[2,39]: 1
P42 >= 1. Erasing
P40 --> T487 : 2
Pre[3,8]: 2
P38 --> T487 : 1
Pre[3,10]: 1
P40 --> T486 : 2
Pre[4,8]: 2
P36 --> T486 : 1
Pre[4,11]: 1
P40 --> T485 : 2
Pre[5,8]: 2
P33 --> T485 : 1
Pre[5,14]: 1
P40 --> T484 : 2
Pre[6,8]: 2
P32 --> T484 : 1
Pre[6,17]: 1
P40 --> T483 : 2
Pre[7,8]: 2
P31 --> T483 : 1
Pre[7,19]: 1
P40 --> T482 : 2
Pre[8,8]: 2
P30 --> T482 : 1
Pre[8,22]: 1
P40 --> T481 : 2
Pre[9,8]: 2
P29 --> T481 : 1
Pre[9,31]: 1
P40 --> T480 : 2
Pre[10,8]: 2
P23 --> T480 : 1
Pre[10,38]: 1
P40 --> T479 : 2
Pre[11,8]: 2
P21 --> T479 : 1
Pre[11,37]: 1
P40 --> T478 : 2
Pre[12,8]: 2
P19 --> T478 : 1
Pre[12,36]: 1
P40 --> T477 : 2
Pre[13,8]: 2
P17 --> T477 : 1
Pre[13,35]: 1
P40 --> T476 : 2
Pre[14,8]: 2
P15 --> T476 : 1
Pre[14,34]: 1
P40 --> T475 : 2
Pre[15,8]: 2
P10 --> T475 : 1
Pre[15,33]: 1
P40 --> T474 : 2
Pre[16,8]: 2
P9 --> T474 : 1
Pre[16,32]: 1
P38 --> T473 : 2
Pre[17,10]: 2
P42 --> T473 : 1
Pre[17,39]: 1
P42 >= 1. Erasing
P38 --> T472 : 2
Pre[18,10]: 2
P40 --> T472 : 1
Pre[18,8]: 1
P38 --> T471 : 2
Pre[19,10]: 2
P36 --> T471 : 1
Pre[19,11]: 1
P38 --> T470 : 2
Pre[20,10]: 2
P34 --> T470 : 1
Pre[20,9]: 1
P38 --> T469 : 2
Pre[21,10]: 2
P33 --> T469 : 1
Pre[21,14]: 1
P38 --> T468 : 2
Pre[22,10]: 2
P32 --> T468 : 1
Pre[22,17]: 1
P38 --> T467 : 2
Pre[23,10]: 2
P31 --> T467 : 1
Pre[23,19]: 1
P38 --> T466 : 2
Pre[24,10]: 2
P30 --> T466 : 1
Pre[24,22]: 1
P38 --> T465 : 2
Pre[25,10]: 2
P29 --> T465 : 1
Pre[25,31]: 1
P38 --> T464 : 2
Pre[26,10]: 2
P27 --> T464 : 1
Pre[26,13]: 1
P38 --> T463 : 2
Pre[27,10]: 2
P26 --> T463 : 1
Pre[27,15]: 1
P38 --> T462 : 2
Pre[28,10]: 2
P25 --> T462 : 1
Pre[28,16]: 1
P38 --> T461 : 2
Pre[29,10]: 2
P24 --> T461 : 1
Pre[29,18]: 1
P38 --> T460 : 2
Pre[30,10]: 2
P23 --> T460 : 1
Pre[30,38]: 1
P38 --> T459 : 2
Pre[31,10]: 2
P21 --> T459 : 1
Pre[31,37]: 1
P38 --> T458 : 2
Pre[32,10]: 2
P19 --> T458 : 1
Pre[32,36]: 1
P38 --> T457 : 2
Pre[33,10]: 2
P17 --> T457 : 1
Pre[33,35]: 1
P38 --> T456 : 2
Pre[34,10]: 2
P15 --> T456 : 1
Pre[34,34]: 1
P38 --> T455 : 2
Pre[35,10]: 2
P10 --> T455 : 1
Pre[35,33]: 1
P38 --> T454 : 2
Pre[36,10]: 2
P9 --> T454 : 1
Pre[36,32]: 1
P38 --> T453 : 2
Pre[37,10]: 2
P7 --> T453 : 1
Pre[37,28]: 1
P36 --> T452 : 2
Pre[38,11]: 2
P40 --> T452 : 1
Pre[38,8]: 1
P36 --> T451 : 2
Pre[39,11]: 2
P38 --> T451 : 1
Pre[39,10]: 1
P36 --> T450 : 2
Pre[40,11]: 2
P34 --> T450 : 1
Pre[40,9]: 1
P36 --> T449 : 2
Pre[41,11]: 2
P33 --> T449 : 1
Pre[41,14]: 1
P36 --> T448 : 2
Pre[42,11]: 2
P32 --> T448 : 1
Pre[42,17]: 1
P36 --> T447 : 2
Pre[43,11]: 2
P31 --> T447 : 1
Pre[43,19]: 1
P36 --> T446 : 2
Pre[44,11]: 2
P30 --> T446 : 1
Pre[44,22]: 1
P36 --> T445 : 2
Pre[45,11]: 2
P29 --> T445 : 1
Pre[45,31]: 1
P36 --> T444 : 2
Pre[46,11]: 2
P28 --> T444 : 1
Pre[46,12]: 1
P36 --> T443 : 2
Pre[47,11]: 2
P27 --> T443 : 1
Pre[47,13]: 1
P36 --> T442 : 2
Pre[48,11]: 2
P26 --> T442 : 1
Pre[48,15]: 1
P36 --> T441 : 2
Pre[49,11]: 2
P25 --> T441 : 1
Pre[49,16]: 1
P36 --> T440 : 2
Pre[50,11]: 2
P24 --> T440 : 1
Pre[50,18]: 1
P36 --> T439 : 2
Pre[51,11]: 2
P19 --> T439 : 1
Pre[51,36]: 1
P36 --> T438 : 2
Pre[52,11]: 2
P17 --> T438 : 1
Pre[52,35]: 1
P36 --> T437 : 2
Pre[53,11]: 2
P15 --> T437 : 1
Pre[53,34]: 1
P36 --> T436 : 2
Pre[54,11]: 2
P14 --> T436 : 1
Pre[54,20]: 1
P36 --> T435 : 2
Pre[55,11]: 2
P13 --> T435 : 1
Pre[55,21]: 1
P36 --> T434 : 2
Pre[56,11]: 2
P12 --> T434 : 1
Pre[56,23]: 1
P36 --> T433 : 2
Pre[57,11]: 2
P11 --> T433 : 1
Pre[57,24]: 1
P36 --> T432 : 2
Pre[58,11]: 2
P10 --> T432 : 1
Pre[58,33]: 1
P36 --> T431 : 2
Pre[59,11]: 2
P7 --> T431 : 1
Pre[59,28]: 1
P36 --> T430 : 2
Pre[60,11]: 2
P5 --> T430 : 1
Pre[60,26]: 1
P36 --> T429 : 2
Pre[61,11]: 2
P4 --> T429 : 1
Pre[61,25]: 1
P34 --> T428 : 2
Pre[62,9]: 2
P38 --> T428 : 1
Pre[62,10]: 1
P34 --> T427 : 2
Pre[63,9]: 2
P36 --> T427 : 1
Pre[63,11]: 1
P34 --> T426 : 2
Pre[64,9]: 2
P33 --> T426 : 1
Pre[64,14]: 1
P34 --> T425 : 2
Pre[65,9]: 2
P32 --> T425 : 1
Pre[65,17]: 1
P34 --> T424 : 2
Pre[66,9]: 2
P31 --> T424 : 1
Pre[66,19]: 1
P34 --> T423 : 2
Pre[67,9]: 2
P30 --> T423 : 1
Pre[67,22]: 1
P34 --> T422 : 2
Pre[68,9]: 2
P29 --> T422 : 1
Pre[68,31]: 1
P34 --> T421 : 2
Pre[69,9]: 2
P28 --> T421 : 1
Pre[69,12]: 1
P34 --> T420 : 2
Pre[70,9]: 2
P27 --> T420 : 1
Pre[70,13]: 1
P34 --> T419 : 2
Pre[71,9]: 2
P26 --> T419 : 1
Pre[71,15]: 1
P34 --> T418 : 2
Pre[72,9]: 2
P25 --> T418 : 1
Pre[72,16]: 1
P34 --> T417 : 2
Pre[73,9]: 2
P24 --> T417 : 1
Pre[73,18]: 1
P34 --> T416 : 2
Pre[74,9]: 2
P14 --> T416 : 1
Pre[74,20]: 1
P34 --> T415 : 2
Pre[75,9]: 2
P13 --> T415 : 1
Pre[75,21]: 1
P34 --> T414 : 2
Pre[76,9]: 2
P12 --> T414 : 1
Pre[76,23]: 1
P34 --> T413 : 2
Pre[77,9]: 2
P11 --> T413 : 1
Pre[77,24]: 1
P34 --> T412 : 2
Pre[78,9]: 2
P5 --> T412 : 1
Pre[78,26]: 1
P34 --> T411 : 2
Pre[79,9]: 2
P4 --> T411 : 1
Pre[79,25]: 1
P33 --> T410 : 2
Pre[80,14]: 2
P43 --> T410 : 1
Pre[80,7]: 1
P43 >= 1. Erasing
P33 --> T409 : 2
Pre[81,14]: 2
P40 --> T409 : 1
Pre[81,8]: 1
P33 --> T408 : 2
Pre[82,14]: 2
P38 --> T408 : 1
Pre[82,10]: 1
P33 --> T407 : 2
Pre[83,14]: 2
P36 --> T407 : 1
Pre[83,11]: 1
P33 --> T406 : 2
Pre[84,14]: 2
P34 --> T406 : 1
Pre[84,9]: 1
P33 --> T405 : 2
Pre[85,14]: 2
P32 --> T405 : 1
Pre[85,17]: 1
P33 --> T404 : 2
Pre[86,14]: 2
P31 --> T404 : 1
Pre[86,19]: 1
P33 --> T403 : 2
Pre[87,14]: 2
P30 --> T403 : 1
Pre[87,22]: 1
P33 --> T402 : 2
Pre[88,14]: 2
P28 --> T402 : 1
Pre[88,12]: 1
P33 --> T401 : 2
Pre[89,14]: 2
P27 --> T401 : 1
Pre[89,13]: 1
P33 --> T400 : 2
Pre[90,14]: 2
P26 --> T400 : 1
Pre[90,15]: 1
P33 --> T399 : 2
Pre[91,14]: 2
P25 --> T399 : 1
Pre[91,16]: 1
P33 --> T398 : 2
Pre[92,14]: 2
P24 --> T398 : 1
Pre[92,18]: 1
P33 --> T397 : 2
Pre[93,14]: 2
P14 --> T397 : 1
Pre[93,20]: 1
P33 --> T396 : 2
Pre[94,14]: 2
P13 --> T396 : 1
Pre[94,21]: 1
P32 --> T395 : 2
Pre[95,17]: 2
P43 --> T395 : 1
Pre[95,7]: 1
P43 >= 1. Erasing
P32 --> T394 : 2
Pre[96,17]: 2
P40 --> T394 : 1
Pre[96,8]: 1
P32 --> T393 : 2
Pre[97,17]: 2
P38 --> T393 : 1
Pre[97,10]: 1
P32 --> T392 : 2
Pre[98,17]: 2
P36 --> T392 : 1
Pre[98,11]: 1
P32 --> T391 : 2
Pre[99,17]: 2
P34 --> T391 : 1
Pre[99,9]: 1
P32 --> T390 : 2
Pre[100,17]: 2
P33 --> T390 : 1
Pre[100,14]: 1
P32 --> T389 : 2
Pre[101,17]: 2
P31 --> T389 : 1
Pre[101,19]: 1
P32 --> T388 : 2
Pre[102,17]: 2
P30 --> T388 : 1
Pre[102,22]: 1
P32 --> T387 : 2
Pre[103,17]: 2
P29 --> T387 : 1
Pre[103,31]: 1
P32 --> T386 : 2
Pre[104,17]: 2
P28 --> T386 : 1
Pre[104,12]: 1
P32 --> T385 : 2
Pre[105,17]: 2
P27 --> T385 : 1
Pre[105,13]: 1
P32 --> T384 : 2
Pre[106,17]: 2
P26 --> T384 : 1
Pre[106,15]: 1
P32 --> T383 : 2
Pre[107,17]: 2
P25 --> T383 : 1
Pre[107,16]: 1
P32 --> T382 : 2
Pre[108,17]: 2
P24 --> T382 : 1
Pre[108,18]: 1
P32 --> T381 : 2
Pre[109,17]: 2
P21 --> T381 : 1
Pre[109,37]: 1
P32 --> T380 : 2
Pre[110,17]: 2
P19 --> T380 : 1
Pre[110,36]: 1
P32 --> T379 : 2
Pre[111,17]: 2
P17 --> T379 : 1
Pre[111,35]: 1
P32 --> T378 : 2
Pre[112,17]: 2
P15 --> T378 : 1
Pre[112,34]: 1
P32 --> T377 : 2
Pre[113,17]: 2
P14 --> T377 : 1
Pre[113,20]: 1
P32 --> T376 : 2
Pre[114,17]: 2
P13 --> T376 : 1
Pre[114,21]: 1
P32 --> T375 : 2
Pre[115,17]: 2
P12 --> T375 : 1
Pre[115,23]: 1
P31 --> T374 : 2
Pre[116,19]: 2
P40 --> T374 : 1
Pre[116,8]: 1
P31 --> T373 : 2
Pre[117,19]: 2
P38 --> T373 : 1
Pre[117,10]: 1
P31 --> T372 : 2
Pre[118,19]: 2
P36 --> T372 : 1
Pre[118,11]: 1
P31 --> T371 : 2
Pre[119,19]: 2
P34 --> T371 : 1
Pre[119,9]: 1
P31 --> T370 : 2
Pre[120,19]: 2
P33 --> T370 : 1
Pre[120,14]: 1
P31 --> T369 : 2
Pre[121,19]: 2
P32 --> T369 : 1
Pre[121,17]: 1
P31 --> T368 : 2
Pre[122,19]: 2
P30 --> T368 : 1
Pre[122,22]: 1
P31 --> T367 : 2
Pre[123,19]: 2
P29 --> T367 : 1
Pre[123,31]: 1
P31 --> T366 : 2
Pre[124,19]: 2
P28 --> T366 : 1
Pre[124,12]: 1
P31 --> T365 : 2
Pre[125,19]: 2
P27 --> T365 : 1
Pre[125,13]: 1
P31 --> T364 : 2
Pre[126,19]: 2
P26 --> T364 : 1
Pre[126,15]: 1
P31 --> T363 : 2
Pre[127,19]: 2
P25 --> T363 : 1
Pre[127,16]: 1
P31 --> T362 : 2
Pre[128,19]: 2
P24 --> T362 : 1
Pre[128,18]: 1
P31 --> T361 : 2
Pre[129,19]: 2
P23 --> T361 : 1
Pre[129,38]: 1
P31 --> T360 : 2
Pre[130,19]: 2
P21 --> T360 : 1
Pre[130,37]: 1
P31 --> T359 : 2
Pre[131,19]: 2
P19 --> T359 : 1
Pre[131,36]: 1
P31 --> T358 : 2
Pre[132,19]: 2
P17 --> T358 : 1
Pre[132,35]: 1
P31 --> T357 : 2
Pre[133,19]: 2
P15 --> T357 : 1
Pre[133,34]: 1
P31 --> T356 : 2
Pre[134,19]: 2
P14 --> T356 : 1
Pre[134,20]: 1
P31 --> T355 : 2
Pre[135,19]: 2
P13 --> T355 : 1
Pre[135,21]: 1
P31 --> T354 : 2
Pre[136,19]: 2
P12 --> T354 : 1
Pre[136,23]: 1
P31 --> T353 : 2
Pre[137,19]: 2
P11 --> T353 : 1
Pre[137,24]: 1
P31 --> T352 : 2
Pre[138,19]: 2
P10 --> T352 : 1
Pre[138,33]: 1
P31 --> T351 : 2
Pre[139,19]: 2
P9 --> T351 : 1
Pre[139,32]: 1
P31 --> T350 : 2
Pre[140,19]: 2
P7 --> T350 : 1
Pre[140,28]: 1
P31 --> T349 : 2
Pre[141,19]: 2
P5 --> T349 : 1
Pre[141,26]: 1
P30 --> T348 : 2
Pre[142,22]: 2
P40 --> T348 : 1
Pre[142,8]: 1
P30 --> T347 : 2
Pre[143,22]: 2
P38 --> T347 : 1
Pre[143,10]: 1
P30 --> T346 : 2
Pre[144,22]: 2
P36 --> T346 : 1
Pre[144,11]: 1
P30 --> T345 : 2
Pre[145,22]: 2
P34 --> T345 : 1
Pre[145,9]: 1
P30 --> T344 : 2
Pre[146,22]: 2
P33 --> T344 : 1
Pre[146,14]: 1
P30 --> T343 : 2
Pre[147,22]: 2
P32 --> T343 : 1
Pre[147,17]: 1
P30 --> T342 : 2
Pre[148,22]: 2
P31 --> T342 : 1
Pre[148,19]: 1
P30 --> T341 : 2
Pre[149,22]: 2
P29 --> T341 : 1
Pre[149,31]: 1
P30 --> T340 : 2
Pre[150,22]: 2
P26 --> T340 : 1
Pre[150,15]: 1
P30 --> T339 : 2
Pre[151,22]: 2
P25 --> T339 : 1
Pre[151,16]: 1
P30 --> T338 : 2
Pre[152,22]: 2
P24 --> T338 : 1
Pre[152,18]: 1
P30 --> T337 : 2
Pre[153,22]: 2
P23 --> T337 : 1
Pre[153,38]: 1
P30 --> T336 : 2
Pre[154,22]: 2
P21 --> T336 : 1
Pre[154,37]: 1
P30 --> T335 : 2
Pre[155,22]: 2
P19 --> T335 : 1
Pre[155,36]: 1
P30 --> T334 : 2
Pre[156,22]: 2
P17 --> T334 : 1
Pre[156,35]: 1
P30 --> T333 : 2
Pre[157,22]: 2
P15 --> T333 : 1
Pre[157,34]: 1
P30 --> T332 : 2
Pre[158,22]: 2
P14 --> T332 : 1
Pre[158,20]: 1
P30 --> T331 : 2
Pre[159,22]: 2
P12 --> T331 : 1
Pre[159,23]: 1
P30 --> T330 : 2
Pre[160,22]: 2
P11 --> T330 : 1
Pre[160,24]: 1
P30 --> T329 : 2
Pre[161,22]: 2
P10 --> T329 : 1
Pre[161,33]: 1
P30 --> T328 : 2
Pre[162,22]: 2
P9 --> T328 : 1
Pre[162,32]: 1
P30 --> T327 : 2
Pre[163,22]: 2
P7 --> T327 : 1
Pre[163,28]: 1
P30 --> T326 : 2
Pre[164,22]: 2
P5 --> T326 : 1
Pre[164,26]: 1
P30 --> T325 : 2
Pre[165,22]: 2
P4 --> T325 : 1
Pre[165,25]: 1
P29 --> T324 : 2
Pre[166,31]: 2
P40 --> T324 : 1
Pre[166,8]: 1
P29 --> T323 : 2
Pre[167,31]: 2
P38 --> T323 : 1
Pre[167,10]: 1
P29 --> T322 : 2
Pre[168,31]: 2
P36 --> T322 : 1
Pre[168,11]: 1
P29 --> T321 : 2
Pre[169,31]: 2
P34 --> T321 : 1
Pre[169,9]: 1
P29 --> T320 : 2
Pre[170,31]: 2
P32 --> T320 : 1
Pre[170,17]: 1
P29 --> T319 : 2
Pre[171,31]: 2
P31 --> T319 : 1
Pre[171,19]: 1
P29 --> T318 : 2
Pre[172,31]: 2
P30 --> T318 : 1
Pre[172,22]: 1
P29 --> T317 : 2
Pre[173,31]: 2
P23 --> T317 : 1
Pre[173,38]: 1
P29 --> T316 : 2
Pre[174,31]: 2
P21 --> T316 : 1
Pre[174,37]: 1
P29 --> T315 : 2
Pre[175,31]: 2
P19 --> T315 : 1
Pre[175,36]: 1
P29 --> T314 : 2
Pre[176,31]: 2
P17 --> T314 : 1
Pre[176,35]: 1
P29 --> T313 : 2
Pre[177,31]: 2
P15 --> T313 : 1
Pre[177,34]: 1
P29 --> T312 : 2
Pre[178,31]: 2
P11 --> T312 : 1
Pre[178,24]: 1
P29 --> T311 : 2
Pre[179,31]: 2
P10 --> T311 : 1
Pre[179,33]: 1
P29 --> T310 : 2
Pre[180,31]: 2
P9 --> T310 : 1
Pre[180,32]: 1
P29 --> T309 : 2
Pre[181,31]: 2
P7 --> T309 : 1
Pre[181,28]: 1
P29 --> T308 : 2
Pre[182,31]: 2
P5 --> T308 : 1
Pre[182,26]: 1
P29 --> T307 : 2
Pre[183,31]: 2
P4 --> T307 : 1
Pre[183,25]: 1
P28 --> T306 : 2
Pre[184,12]: 2
P43 --> T306 : 1
Pre[184,7]: 1
P43 >= 1. Erasing
P28 --> T305 : 2
Pre[185,12]: 2
P36 --> T305 : 1
Pre[185,11]: 1
P28 --> T304 : 2
Pre[186,12]: 2
P34 --> T304 : 1
Pre[186,9]: 1
P28 --> T303 : 2
Pre[187,12]: 2
P33 --> T303 : 1
Pre[187,14]: 1
P28 --> T302 : 2
Pre[188,12]: 2
P32 --> T302 : 1
Pre[188,17]: 1
P28 --> T301 : 2
Pre[189,12]: 2
P31 --> T301 : 1
Pre[189,19]: 1
P28 --> T300 : 2
Pre[190,12]: 2
P27 --> T300 : 1
Pre[190,13]: 1
P28 --> T299 : 2
Pre[191,12]: 2
P26 --> T299 : 1
Pre[191,15]: 1
P28 --> T298 : 2
Pre[192,12]: 2
P25 --> T298 : 1
Pre[192,16]: 1
P28 --> T297 : 2
Pre[193,12]: 2
P24 --> T297 : 1
Pre[193,18]: 1
P27 --> T296 : 2
Pre[194,13]: 2
P43 --> T296 : 1
Pre[194,7]: 1
P43 >= 1. Erasing
P27 --> T295 : 2
Pre[195,13]: 2
P38 --> T295 : 1
Pre[195,10]: 1
P27 --> T294 : 2
Pre[196,13]: 2
P36 --> T294 : 1
Pre[196,11]: 1
P27 --> T293 : 2
Pre[197,13]: 2
P34 --> T293 : 1
Pre[197,9]: 1
P27 --> T292 : 2
Pre[198,13]: 2
P33 --> T292 : 1
Pre[198,14]: 1
P27 --> T291 : 2
Pre[199,13]: 2
P32 --> T291 : 1
Pre[199,17]: 1
P27 --> T290 : 2
Pre[200,13]: 2
P31 --> T290 : 1
Pre[200,19]: 1
P27 --> T289 : 2
Pre[201,13]: 2
P28 --> T289 : 1
Pre[201,12]: 1
P27 --> T288 : 2
Pre[202,13]: 2
P26 --> T288 : 1
Pre[202,15]: 1
P27 --> T287 : 2
Pre[203,13]: 2
P25 --> T287 : 1
Pre[203,16]: 1
P27 --> T286 : 2
Pre[204,13]: 2
P24 --> T286 : 1
Pre[204,18]: 1
P27 --> T285 : 2
Pre[205,13]: 2
P14 --> T285 : 1
Pre[205,20]: 1
P26 --> T284 : 2
Pre[206,15]: 2
P43 --> T284 : 1
Pre[206,7]: 1
P43 >= 1. Erasing
P26 --> T283 : 2
Pre[207,15]: 2
P38 --> T283 : 1
Pre[207,10]: 1
P26 --> T282 : 2
Pre[208,15]: 2
P36 --> T282 : 1
Pre[208,11]: 1
P26 --> T281 : 2
Pre[209,15]: 2
P34 --> T281 : 1
Pre[209,9]: 1
P26 --> T280 : 2
Pre[210,15]: 2
P33 --> T280 : 1
Pre[210,14]: 1
P26 --> T279 : 2
Pre[211,15]: 2
P32 --> T279 : 1
Pre[211,17]: 1
P26 --> T278 : 2
Pre[212,15]: 2
P31 --> T278 : 1
Pre[212,19]: 1
P26 --> T277 : 2
Pre[213,15]: 2
P30 --> T277 : 1
Pre[213,22]: 1
P26 --> T276 : 2
Pre[214,15]: 2
P28 --> T276 : 1
Pre[214,12]: 1
P26 --> T275 : 2
Pre[215,15]: 2
P27 --> T275 : 1
Pre[215,13]: 1
P26 --> T274 : 2
Pre[216,15]: 2
P25 --> T274 : 1
Pre[216,16]: 1
P26 --> T273 : 2
Pre[217,15]: 2
P24 --> T273 : 1
Pre[217,18]: 1
P26 --> T272 : 2
Pre[218,15]: 2
P14 --> T272 : 1
Pre[218,20]: 1
P26 --> T271 : 2
Pre[219,15]: 2
P13 --> T271 : 1
Pre[219,21]: 1
P25 --> T270 : 2
Pre[220,16]: 2
P43 --> T270 : 1
Pre[220,7]: 1
P43 >= 1. Erasing
P25 --> T269 : 2
Pre[221,16]: 2
P38 --> T269 : 1
Pre[221,10]: 1
P25 --> T268 : 2
Pre[222,16]: 2
P36 --> T268 : 1
Pre[222,11]: 1
P25 --> T267 : 2
Pre[223,16]: 2
P34 --> T267 : 1
Pre[223,9]: 1
P25 --> T266 : 2
Pre[224,16]: 2
P33 --> T266 : 1
Pre[224,14]: 1
P25 --> T265 : 2
Pre[225,16]: 2
P32 --> T265 : 1
Pre[225,17]: 1
P25 --> T264 : 2
Pre[226,16]: 2
P31 --> T264 : 1
Pre[226,19]: 1
P25 --> T263 : 2
Pre[227,16]: 2
P30 --> T263 : 1
Pre[227,22]: 1
P25 --> T262 : 2
Pre[228,16]: 2
P28 --> T262 : 1
Pre[228,12]: 1
P25 --> T261 : 2
Pre[229,16]: 2
P27 --> T261 : 1
Pre[229,13]: 1
P25 --> T260 : 2
Pre[230,16]: 2
P26 --> T260 : 1
Pre[230,15]: 1
P25 --> T259 : 2
Pre[231,16]: 2
P24 --> T259 : 1
Pre[231,18]: 1
P25 --> T258 : 2
Pre[232,16]: 2
P14 --> T258 : 1
Pre[232,20]: 1
P25 --> T257 : 2
Pre[233,16]: 2
P13 --> T257 : 1
Pre[233,21]: 1
P25 --> T256 : 2
Pre[234,16]: 2
P12 --> T256 : 1
Pre[234,23]: 1
P24 --> T255 : 2
Pre[235,18]: 2
P38 --> T255 : 1
Pre[235,10]: 1
P24 --> T254 : 2
Pre[236,18]: 2
P36 --> T254 : 1
Pre[236,11]: 1
P24 --> T253 : 2
Pre[237,18]: 2
P34 --> T253 : 1
Pre[237,9]: 1
P24 --> T252 : 2
Pre[238,18]: 2
P33 --> T252 : 1
Pre[238,14]: 1
P24 --> T251 : 2
Pre[239,18]: 2
P32 --> T251 : 1
Pre[239,17]: 1
P24 --> T250 : 2
Pre[240,18]: 2
P31 --> T250 : 1
Pre[240,19]: 1
P24 --> T249 : 2
Pre[241,18]: 2
P30 --> T249 : 1
Pre[241,22]: 1
P24 --> T248 : 2
Pre[242,18]: 2
P28 --> T248 : 1
Pre[242,12]: 1
P24 --> T247 : 2
Pre[243,18]: 2
P27 --> T247 : 1
Pre[243,13]: 1
P24 --> T246 : 2
Pre[244,18]: 2
P26 --> T246 : 1
Pre[244,15]: 1
P24 --> T245 : 2
Pre[245,18]: 2
P25 --> T245 : 1
Pre[245,16]: 1
P24 --> T244 : 2
Pre[246,18]: 2
P14 --> T244 : 1
Pre[246,20]: 1
P24 --> T243 : 2
Pre[247,18]: 2
P13 --> T243 : 1
Pre[247,21]: 1
P24 --> T242 : 2
Pre[248,18]: 2
P12 --> T242 : 1
Pre[248,23]: 1
P24 --> T241 : 2
Pre[249,18]: 2
P11 --> T241 : 1
Pre[249,24]: 1
P23 --> T240 : 2
Pre[250,38]: 2
P42 --> T240 : 1
Pre[250,39]: 1
P42 >= 1. Erasing
P23 --> T239 : 2
Pre[251,38]: 2
P40 --> T239 : 1
Pre[251,8]: 1
P23 --> T238 : 2
Pre[252,38]: 2
P38 --> T238 : 1
Pre[252,10]: 1
P23 --> T237 : 2
Pre[253,38]: 2
P31 --> T237 : 1
Pre[253,19]: 1
P23 --> T236 : 2
Pre[254,38]: 2
P30 --> T236 : 1
Pre[254,22]: 1
P23 --> T235 : 2
Pre[255,38]: 2
P29 --> T235 : 1
Pre[255,31]: 1
P23 --> T234 : 2
Pre[256,38]: 2
P21 --> T234 : 1
Pre[256,37]: 1
P23 --> T233 : 2
Pre[257,38]: 2
P19 --> T233 : 1
Pre[257,36]: 1
P23 --> T232 : 2
Pre[258,38]: 2
P17 --> T232 : 1
Pre[258,35]: 1
P23 --> T231 : 2
Pre[259,38]: 2
P15 --> T231 : 1
Pre[259,34]: 1
P21 --> T230 : 2
Pre[260,37]: 2
P42 --> T230 : 1
Pre[260,39]: 1
P42 >= 1. Erasing
P21 --> T229 : 2
Pre[261,37]: 2
P40 --> T229 : 1
Pre[261,8]: 1
P21 --> T228 : 2
Pre[262,37]: 2
P38 --> T228 : 1
Pre[262,10]: 1
P21 --> T227 : 2
Pre[263,37]: 2
P32 --> T227 : 1
Pre[263,17]: 1
P21 --> T226 : 2
Pre[264,37]: 2
P31 --> T226 : 1
Pre[264,19]: 1
P21 --> T225 : 2
Pre[265,37]: 2
P30 --> T225 : 1
Pre[265,22]: 1
P21 --> T224 : 2
Pre[266,37]: 2
P29 --> T224 : 1
Pre[266,31]: 1
P21 --> T223 : 2
Pre[267,37]: 2
P23 --> T223 : 1
Pre[267,38]: 1
P21 --> T222 : 2
Pre[268,37]: 2
P19 --> T222 : 1
Pre[268,36]: 1
P21 --> T221 : 2
Pre[269,37]: 2
P17 --> T221 : 1
Pre[269,35]: 1
P21 --> T220 : 2
Pre[270,37]: 2
P15 --> T220 : 1
Pre[270,34]: 1
P21 --> T219 : 2
Pre[271,37]: 2
P10 --> T219 : 1
Pre[271,33]: 1
P19 --> T218 : 2
Pre[272,36]: 2
P42 --> T218 : 1
Pre[272,39]: 1
P42 >= 1. Erasing
P19 --> T217 : 2
Pre[273,36]: 2
P40 --> T217 : 1
Pre[273,8]: 1
P19 --> T216 : 2
Pre[274,36]: 2
P38 --> T216 : 1
Pre[274,10]: 1
P19 --> T215 : 2
Pre[275,36]: 2
P36 --> T215 : 1
Pre[275,11]: 1
P19 --> T214 : 2
Pre[276,36]: 2
P32 --> T214 : 1
Pre[276,17]: 1
P19 --> T213 : 2
Pre[277,36]: 2
P31 --> T213 : 1
Pre[277,19]: 1
P19 --> T212 : 2
Pre[278,36]: 2
P30 --> T212 : 1
Pre[278,22]: 1
P19 --> T211 : 2
Pre[279,36]: 2
P29 --> T211 : 1
Pre[279,31]: 1
P19 --> T210 : 2
Pre[280,36]: 2
P23 --> T210 : 1
Pre[280,38]: 1
P19 --> T209 : 2
Pre[281,36]: 2
P21 --> T209 : 1
Pre[281,37]: 1
P19 --> T208 : 2
Pre[282,36]: 2
P17 --> T208 : 1
Pre[282,35]: 1
P19 --> T207 : 2
Pre[283,36]: 2
P15 --> T207 : 1
Pre[283,34]: 1
P19 --> T206 : 2
Pre[284,36]: 2
P10 --> T206 : 1
Pre[284,33]: 1
P19 --> T205 : 2
Pre[285,36]: 2
P9 --> T205 : 1
Pre[285,32]: 1
P17 --> T204 : 2
Pre[286,35]: 2
P42 --> T204 : 1
Pre[286,39]: 1
P42 >= 1. Erasing
P17 --> T203 : 2
Pre[287,35]: 2
P40 --> T203 : 1
Pre[287,8]: 1
P17 --> T202 : 2
Pre[288,35]: 2
P38 --> T202 : 1
Pre[288,10]: 1
P17 --> T201 : 2
Pre[289,35]: 2
P36 --> T201 : 1
Pre[289,11]: 1
P17 --> T200 : 2
Pre[290,35]: 2
P32 --> T200 : 1
Pre[290,17]: 1
P17 --> T199 : 2
Pre[291,35]: 2
P31 --> T199 : 1
Pre[291,19]: 1
P17 --> T198 : 2
Pre[292,35]: 2
P30 --> T198 : 1
Pre[292,22]: 1
P17 --> T197 : 2
Pre[293,35]: 2
P29 --> T197 : 1
Pre[293,31]: 1
P17 --> T196 : 2
Pre[294,35]: 2
P23 --> T196 : 1
Pre[294,38]: 1
P17 --> T195 : 2
Pre[295,35]: 2
P21 --> T195 : 1
Pre[295,37]: 1
P17 --> T194 : 2
Pre[296,35]: 2
P19 --> T194 : 1
Pre[296,36]: 1
P17 --> T193 : 2
Pre[297,35]: 2
P15 --> T193 : 1
Pre[297,34]: 1
P17 --> T192 : 2
Pre[298,35]: 2
P10 --> T192 : 1
Pre[298,33]: 1
P17 --> T191 : 2
Pre[299,35]: 2
P9 --> T191 : 1
Pre[299,32]: 1
P17 --> T190 : 2
Pre[300,35]: 2
P7 --> T190 : 1
Pre[300,28]: 1
P15 --> T189 : 2
Pre[301,34]: 2
P40 --> T189 : 1
Pre[301,8]: 1
P15 --> T188 : 2
Pre[302,34]: 2
P38 --> T188 : 1
Pre[302,10]: 1
P15 --> T187 : 2
Pre[303,34]: 2
P36 --> T187 : 1
Pre[303,11]: 1
P15 --> T186 : 2
Pre[304,34]: 2
P32 --> T186 : 1
Pre[304,17]: 1
P15 --> T185 : 2
Pre[305,34]: 2
P31 --> T185 : 1
Pre[305,19]: 1
P15 --> T184 : 2
Pre[306,34]: 2
P30 --> T184 : 1
Pre[306,22]: 1
P15 --> T183 : 2
Pre[307,34]: 2
P29 --> T183 : 1
Pre[307,31]: 1
P15 --> T182 : 2
Pre[308,34]: 2
P23 --> T182 : 1
Pre[308,38]: 1
P15 --> T181 : 2
Pre[309,34]: 2
P21 --> T181 : 1
Pre[309,37]: 1
P15 --> T180 : 2
Pre[310,34]: 2
P19 --> T180 : 1
Pre[310,36]: 1
P15 --> T179 : 2
Pre[311,34]: 2
P17 --> T179 : 1
Pre[311,35]: 1
P15 --> T178 : 2
Pre[312,34]: 2
P10 --> T178 : 1
Pre[312,33]: 1
P15 --> T177 : 2
Pre[313,34]: 2
P9 --> T177 : 1
Pre[313,32]: 1
P15 --> T176 : 2
Pre[314,34]: 2
P7 --> T176 : 1
Pre[314,28]: 1
P15 --> T175 : 2
Pre[315,34]: 2
P5 --> T175 : 1
Pre[315,26]: 1
P14 --> T174 : 2
Pre[316,20]: 2
P36 --> T174 : 1
Pre[316,11]: 1
P14 --> T173 : 2
Pre[317,20]: 2
P34 --> T173 : 1
Pre[317,9]: 1
P14 --> T172 : 2
Pre[318,20]: 2
P33 --> T172 : 1
Pre[318,14]: 1
P14 --> T171 : 2
Pre[319,20]: 2
P32 --> T171 : 1
Pre[319,17]: 1
P14 --> T170 : 2
Pre[320,20]: 2
P31 --> T170 : 1
Pre[320,19]: 1
P14 --> T169 : 2
Pre[321,20]: 2
P30 --> T169 : 1
Pre[321,22]: 1
P14 --> T168 : 2
Pre[322,20]: 2
P27 --> T168 : 1
Pre[322,13]: 1
P14 --> T167 : 2
Pre[323,20]: 2
P26 --> T167 : 1
Pre[323,15]: 1
P14 --> T166 : 2
Pre[324,20]: 2
P25 --> T166 : 1
Pre[324,16]: 1
P14 --> T165 : 2
Pre[325,20]: 2
P24 --> T165 : 1
Pre[325,18]: 1
P14 --> T164 : 2
Pre[326,20]: 2
P13 --> T164 : 1
Pre[326,21]: 1
P14 --> T163 : 2
Pre[327,20]: 2
P12 --> T163 : 1
Pre[327,23]: 1
P14 --> T162 : 2
Pre[328,20]: 2
P11 --> T162 : 1
Pre[328,24]: 1
P14 --> T161 : 2
Pre[329,20]: 2
P4 --> T161 : 1
Pre[329,25]: 1
P13 --> T160 : 2
Pre[330,21]: 2
P36 --> T160 : 1
Pre[330,11]: 1
P13 --> T159 : 2
Pre[331,21]: 2
P34 --> T159 : 1
Pre[331,9]: 1
P13 --> T158 : 2
Pre[332,21]: 2
P33 --> T158 : 1
Pre[332,14]: 1
P13 --> T157 : 2
Pre[333,21]: 2
P32 --> T157 : 1
Pre[333,17]: 1
P13 --> T156 : 2
Pre[334,21]: 2
P31 --> T156 : 1
Pre[334,19]: 1
P13 --> T155 : 2
Pre[335,21]: 2
P26 --> T155 : 1
Pre[335,15]: 1
P13 --> T154 : 2
Pre[336,21]: 2
P25 --> T154 : 1
Pre[336,16]: 1
P13 --> T153 : 2
Pre[337,21]: 2
P24 --> T153 : 1
Pre[337,18]: 1
P13 --> T152 : 2
Pre[338,21]: 2
P14 --> T152 : 1
Pre[338,20]: 1
P13 --> T151 : 2
Pre[339,21]: 2
P12 --> T151 : 1
Pre[339,23]: 1
P13 --> T150 : 2
Pre[340,21]: 2
P11 --> T150 : 1
Pre[340,24]: 1
P13 --> T149 : 2
Pre[341,21]: 2
P5 --> T149 : 1
Pre[341,26]: 1
P13 --> T148 : 2
Pre[342,21]: 2
P4 --> T148 : 1
Pre[342,25]: 1
P13 --> T147 : 2
Pre[343,21]: 2
P3 --> T147 : 1
Pre[343,27]: 1
P12 --> T146 : 2
Pre[344,23]: 2
P36 --> T146 : 1
Pre[344,11]: 1
P12 --> T145 : 2
Pre[345,23]: 2
P34 --> T145 : 1
Pre[345,9]: 1
P12 --> T144 : 2
Pre[346,23]: 2
P32 --> T144 : 1
Pre[346,17]: 1
P12 --> T143 : 2
Pre[347,23]: 2
P31 --> T143 : 1
Pre[347,19]: 1
P12 --> T142 : 2
Pre[348,23]: 2
P30 --> T142 : 1
Pre[348,22]: 1
P12 --> T141 : 2
Pre[349,23]: 2
P25 --> T141 : 1
Pre[349,16]: 1
P12 --> T140 : 2
Pre[350,23]: 2
P24 --> T140 : 1
Pre[350,18]: 1
P12 --> T139 : 2
Pre[351,23]: 2
P14 --> T139 : 1
Pre[351,20]: 1
P12 --> T138 : 2
Pre[352,23]: 2
P13 --> T138 : 1
Pre[352,21]: 1
P12 --> T137 : 2
Pre[353,23]: 2
P11 --> T137 : 1
Pre[353,24]: 1
P12 --> T136 : 2
Pre[354,23]: 2
P7 --> T136 : 1
Pre[354,28]: 1
P12 --> T135 : 2
Pre[355,23]: 2
P5 --> T135 : 1
Pre[355,26]: 1
P12 --> T134 : 2
Pre[356,23]: 2
P4 --> T134 : 1
Pre[356,25]: 1
P12 --> T133 : 2
Pre[357,23]: 2
P3 --> T133 : 1
Pre[357,27]: 1
P12 --> T132 : 2
Pre[358,23]: 2
P2 --> T132 : 1
Pre[358,29]: 1
P11 --> T131 : 2
Pre[359,24]: 2
P36 --> T131 : 1
Pre[359,11]: 1
P11 --> T130 : 2
Pre[360,24]: 2
P34 --> T130 : 1
Pre[360,9]: 1
P11 --> T129 : 2
Pre[361,24]: 2
P31 --> T129 : 1
Pre[361,19]: 1
P11 --> T128 : 2
Pre[362,24]: 2
P30 --> T128 : 1
Pre[362,22]: 1
P11 --> T127 : 2
Pre[363,24]: 2
P29 --> T127 : 1
Pre[363,31]: 1
P11 --> T126 : 2
Pre[364,24]: 2
P24 --> T126 : 1
Pre[364,18]: 1
P11 --> T125 : 2
Pre[365,24]: 2
P14 --> T125 : 1
Pre[365,20]: 1
P11 --> T124 : 2
Pre[366,24]: 2
P13 --> T124 : 1
Pre[366,21]: 1
P11 --> T123 : 2
Pre[367,24]: 2
P12 --> T123 : 1
Pre[367,23]: 1
P11 --> T122 : 2
Pre[368,24]: 2
P9 --> T122 : 1
Pre[368,32]: 1
P11 --> T121 : 2
Pre[369,24]: 2
P7 --> T121 : 1
Pre[369,28]: 1
P11 --> T120 : 2
Pre[370,24]: 2
P5 --> T120 : 1
Pre[370,26]: 1
P11 --> T119 : 2
Pre[371,24]: 2
P4 --> T119 : 1
Pre[371,25]: 1
P11 --> T118 : 2
Pre[372,24]: 2
P3 --> T118 : 1
Pre[372,27]: 1
P11 --> T117 : 2
Pre[373,24]: 2
P2 --> T117 : 1
Pre[373,29]: 1
P11 --> T116 : 2
Pre[374,24]: 2
P1 --> T116 : 1
Pre[374,30]: 1
P10 --> T115 : 2
Pre[375,33]: 2
P40 --> T115 : 1
Pre[375,8]: 1
P10 --> T114 : 2
Pre[376,33]: 2
P38 --> T114 : 1
Pre[376,10]: 1
P10 --> T113 : 2
Pre[377,33]: 2
P36 --> T113 : 1
Pre[377,11]: 1
P10 --> T112 : 2
Pre[378,33]: 2
P31 --> T112 : 1
Pre[378,19]: 1
P10 --> T111 : 2
Pre[379,33]: 2
P30 --> T111 : 1
Pre[379,22]: 1
P10 --> T110 : 2
Pre[380,33]: 2
P29 --> T110 : 1
Pre[380,31]: 1
P10 --> T109 : 2
Pre[381,33]: 2
P21 --> T109 : 1
Pre[381,37]: 1
P10 --> T108 : 2
Pre[382,33]: 2
P19 --> T108 : 1
Pre[382,36]: 1
P10 --> T107 : 2
Pre[383,33]: 2
P17 --> T107 : 1
Pre[383,35]: 1
P10 --> T106 : 2
Pre[384,33]: 2
P15 --> T106 : 1
Pre[384,34]: 1
P10 --> T105 : 2
Pre[385,33]: 2
P9 --> T105 : 1
Pre[385,32]: 1
P10 --> T104 : 2
Pre[386,33]: 2
P7 --> T104 : 1
Pre[386,28]: 1
P10 --> T103 : 2
Pre[387,33]: 2
P5 --> T103 : 1
Pre[387,26]: 1
P10 --> T102 : 2
Pre[388,33]: 2
P4 --> T102 : 1
Pre[388,25]: 1
P9 --> T101 : 2
Pre[389,32]: 2
P40 --> T101 : 1
Pre[389,8]: 1
P9 --> T100 : 2
Pre[390,32]: 2
P38 --> T100 : 1
Pre[390,10]: 1
P9 --> T99 : 2
Pre[391,32]: 2
P31 --> T99 : 1
Pre[391,19]: 1
P9 --> T98 : 2
Pre[392,32]: 2
P30 --> T98 : 1
Pre[392,22]: 1
P9 --> T97 : 2
Pre[393,32]: 2
P29 --> T97 : 1
Pre[393,31]: 1
P9 --> T96 : 2
Pre[394,32]: 2
P19 --> T96 : 1
Pre[394,36]: 1
P9 --> T95 : 2
Pre[395,32]: 2
P17 --> T95 : 1
Pre[395,35]: 1
P9 --> T94 : 2
Pre[396,32]: 2
P15 --> T94 : 1
Pre[396,34]: 1
P9 --> T93 : 2
Pre[397,32]: 2
P11 --> T93 : 1
Pre[397,24]: 1
P9 --> T92 : 2
Pre[398,32]: 2
P10 --> T92 : 1
Pre[398,33]: 1
P9 --> T91 : 2
Pre[399,32]: 2
P7 --> T91 : 1
Pre[399,28]: 1
P9 --> T90 : 2
Pre[400,32]: 2
P5 --> T90 : 1
Pre[400,26]: 1
P9 --> T89 : 2
Pre[401,32]: 2
P4 --> T89 : 1
Pre[401,25]: 1
P9 --> T88 : 2
Pre[402,32]: 2
P3 --> T88 : 1
Pre[402,27]: 1
P7 --> T87 : 2
Pre[403,28]: 2
P38 --> T87 : 1
Pre[403,10]: 1
P7 --> T86 : 2
Pre[404,28]: 2
P36 --> T86 : 1
Pre[404,11]: 1
P7 --> T85 : 2
Pre[405,28]: 2
P31 --> T85 : 1
Pre[405,19]: 1
P7 --> T84 : 2
Pre[406,28]: 2
P30 --> T84 : 1
Pre[406,22]: 1
P7 --> T83 : 2
Pre[407,28]: 2
P29 --> T83 : 1
Pre[407,31]: 1
P7 --> T82 : 2
Pre[408,28]: 2
P17 --> T82 : 1
Pre[408,35]: 1
P7 --> T81 : 2
Pre[409,28]: 2
P15 --> T81 : 1
Pre[409,34]: 1
P7 --> T80 : 2
Pre[410,28]: 2
P12 --> T80 : 1
Pre[410,23]: 1
P7 --> T79 : 2
Pre[411,28]: 2
P11 --> T79 : 1
Pre[411,24]: 1
P7 --> T78 : 2
Pre[412,28]: 2
P10 --> T78 : 1
Pre[412,33]: 1
P7 --> T77 : 2
Pre[413,28]: 2
P9 --> T77 : 1
Pre[413,32]: 1
P7 --> T76 : 2
Pre[414,28]: 2
P5 --> T76 : 1
Pre[414,26]: 1
P7 --> T75 : 2
Pre[415,28]: 2
P4 --> T75 : 1
Pre[415,25]: 1
P7 --> T74 : 2
Pre[416,28]: 2
P3 --> T74 : 1
Pre[416,27]: 1
P7 --> T73 : 2
Pre[417,28]: 2
P2 --> T73 : 1
Pre[417,29]: 1
P5 --> T72 : 2
Pre[418,26]: 2
P36 --> T72 : 1
Pre[418,11]: 1
P5 --> T71 : 2
Pre[419,26]: 2
P34 --> T71 : 1
Pre[419,9]: 1
P5 --> T70 : 2
Pre[420,26]: 2
P31 --> T70 : 1
Pre[420,19]: 1
P5 --> T69 : 2
Pre[421,26]: 2
P30 --> T69 : 1
Pre[421,22]: 1
P5 --> T68 : 2
Pre[422,26]: 2
P29 --> T68 : 1
Pre[422,31]: 1
P5 --> T67 : 2
Pre[423,26]: 2
P15 --> T67 : 1
Pre[423,34]: 1
P5 --> T66 : 2
Pre[424,26]: 2
P13 --> T66 : 1
Pre[424,21]: 1
P5 --> T65 : 2
Pre[425,26]: 2
P12 --> T65 : 1
Pre[425,23]: 1
P5 --> T64 : 2
Pre[426,26]: 2
P11 --> T64 : 1
Pre[426,24]: 1
P5 --> T63 : 2
Pre[427,26]: 2
P10 --> T63 : 1
Pre[427,33]: 1
P5 --> T62 : 2
Pre[428,26]: 2
P9 --> T62 : 1
Pre[428,32]: 1
P5 --> T61 : 2
Pre[429,26]: 2
P7 --> T61 : 1
Pre[429,28]: 1
P5 --> T60 : 2
Pre[430,26]: 2
P4 --> T60 : 1
Pre[430,25]: 1
P5 --> T59 : 2
Pre[431,26]: 2
P3 --> T59 : 1
Pre[431,27]: 1
P5 --> T58 : 2
Pre[432,26]: 2
P2 --> T58 : 1
Pre[432,29]: 1
P5 --> T57 : 2
Pre[433,26]: 2
P1 --> T57 : 1
Pre[433,30]: 1
P4 --> T56 : 2
Pre[434,25]: 2
P36 --> T56 : 1
Pre[434,11]: 1
P4 --> T55 : 2
Pre[435,25]: 2
P34 --> T55 : 1
Pre[435,9]: 1
P4 --> T54 : 2
Pre[436,25]: 2
P30 --> T54 : 1
Pre[436,22]: 1
P4 --> T53 : 2
Pre[437,25]: 2
P29 --> T53 : 1
Pre[437,31]: 1
P4 --> T52 : 2
Pre[438,25]: 2
P14 --> T52 : 1
Pre[438,20]: 1
P4 --> T51 : 2
Pre[439,25]: 2
P13 --> T51 : 1
Pre[439,21]: 1
P4 --> T50 : 2
Pre[440,25]: 2
P12 --> T50 : 1
Pre[440,23]: 1
P4 --> T49 : 2
Pre[441,25]: 2
P11 --> T49 : 1
Pre[441,24]: 1
P4 --> T48 : 2
Pre[442,25]: 2
P10 --> T48 : 1
Pre[442,33]: 1
P4 --> T47 : 2
Pre[443,25]: 2
P9 --> T47 : 1
Pre[443,32]: 1
P4 --> T46 : 2
Pre[444,25]: 2
P7 --> T46 : 1
Pre[444,28]: 1
P4 --> T45 : 2
Pre[445,25]: 2
P5 --> T45 : 1
Pre[445,26]: 1
P4 --> T44 : 2
Pre[446,25]: 2
P3 --> T44 : 1
Pre[446,27]: 1
P4 --> T43 : 2
Pre[447,25]: 2
P2 --> T43 : 1
Pre[447,29]: 1
P4 --> T42 : 2
Pre[448,25]: 2
P1 --> T42 : 1
Pre[448,30]: 1
P3 --> T41 : 2
Pre[449,27]: 2
P13 --> T41 : 1
Pre[449,21]: 1
P3 --> T40 : 2
Pre[450,27]: 2
P12 --> T40 : 1
Pre[450,23]: 1
P3 --> T39 : 2
Pre[451,27]: 2
P11 --> T39 : 1
Pre[451,24]: 1
P3 --> T38 : 2
Pre[452,27]: 2
P9 --> T38 : 1
Pre[452,32]: 1
P3 --> T37 : 2
Pre[453,27]: 2
P7 --> T37 : 1
Pre[453,28]: 1
P3 --> T36 : 2
Pre[454,27]: 2
P5 --> T36 : 1
Pre[454,26]: 1
P3 --> T35 : 2
Pre[455,27]: 2
P4 --> T35 : 1
Pre[455,25]: 1
P3 --> T34 : 2
Pre[456,27]: 2
P2 --> T34 : 1
Pre[456,29]: 1
P3 --> T33 : 2
Pre[457,27]: 2
P1 --> T33 : 1
Pre[457,30]: 1
P2 --> T32 : 2
Pre[458,29]: 2
P12 --> T32 : 1
Pre[458,23]: 1
P2 --> T31 : 2
Pre[459,29]: 2
P11 --> T31 : 1
Pre[459,24]: 1
P2 --> T30 : 2
Pre[460,29]: 2
P7 --> T30 : 1
Pre[460,28]: 1
P2 --> T29 : 2
Pre[461,29]: 2
P5 --> T29 : 1
Pre[461,26]: 1
P2 --> T28 : 2
Pre[462,29]: 2
P4 --> T28 : 1
Pre[462,25]: 1
P2 --> T27 : 2
Pre[463,29]: 2
P3 --> T27 : 1
Pre[463,27]: 1
P2 --> T26 : 2
Pre[464,29]: 2
P1 --> T26 : 1
Pre[464,30]: 1
P1 --> T25 : 2
Pre[465,30]: 2
P11 --> T25 : 1
Pre[465,24]: 1
P1 --> T24 : 2
Pre[466,30]: 2
P5 --> T24 : 1
Pre[466,26]: 1
P1 --> T23 : 2
Pre[467,30]: 2
P4 --> T23 : 1
Pre[467,25]: 1
P1 --> T22 : 2
Pre[468,30]: 2
P3 --> T22 : 1
Pre[468,27]: 1
P1 --> T21 : 2
Pre[469,30]: 2
P2 -->
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DNAwalker-PT-16redondantChoiceR"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/DNAwalker-PT-16redondantChoiceR.tgz
mv DNAwalker-PT-16redondantChoiceR 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 DNAwalker-PT-16redondantChoiceR, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r062-smll-152649733500331"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;