fond
Model Checking Contest 2018
8th edition, Bratislava, Slovakia, June 26, 2018
Execution of r062-smll-152649733500330
Last Updated
June 26, 2018

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
1113.240 3600000.00 3599901.00 98.50 [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 StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r062-smll-152649733500330
=====================================================================


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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1526602217787

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

Filename model.pnml
Petri model created: 43 places, 490 transitions, 1438 arcs.
P43 --> T490 : 2
Pre[0,6]: 2
P42 --> T489 : 2
Pre[1,38]: 2
P40 --> T488 : 2
Pre[2,31]: 2
P42 --> T488 : 1
Pre[2,38]: 1
T488: P40' := P40 - 2
IM[2,31]: -2
T488: P42' := P42 + 1
IM[2,38]: 1
P40 --> T487 : 2
Pre[3,31]: 2
P38 --> T487 : 1
Pre[3,19]: 1
T487: P40' := P40 - 2
IM[3,31]: -2
T487: P38' := P38 + 1
IM[3,19]: 1
P40 --> T486 : 2
Pre[4,31]: 2
P36 --> T486 : 1
Pre[4,18]: 1
T486: P40' := P40 - 2
IM[4,31]: -2
T486: P36' := P36 + 1
IM[4,18]: 1
P40 --> T485 : 2
Pre[5,31]: 2
P33 --> T485 : 1
Pre[5,24]: 1
T485: P40' := P40 - 2
IM[5,31]: -2
T485: P33' := P33 + 1
IM[5,24]: 1
P40 --> T484 : 2
Pre[6,31]: 2
P32 --> T484 : 1
Pre[6,26]: 1
T484: P40' := P40 - 2
IM[6,31]: -2
T484: P32' := P32 + 1
IM[6,26]: 1
P40 --> T483 : 2
Pre[7,31]: 2
P31 --> T483 : 1
Pre[7,25]: 1
T483: P40' := P40 - 2
IM[7,31]: -2
T483: P31' := P31 + 1
IM[7,25]: 1
P40 --> T482 : 2
Pre[8,31]: 2
P30 --> T482 : 1
Pre[8,27]: 1
T482: P40' := P40 - 2
IM[8,31]: -2
T482: P30' := P30 + 1
IM[8,27]: 1
P40 --> T481 : 2
Pre[9,31]: 2
P29 --> T481 : 1
Pre[9,30]: 1
T481: P40' := P40 - 2
IM[9,31]: -2
T481: P29' := P29 + 1
IM[9,30]: 1
P40 --> T480 : 2
Pre[10,31]: 2
P23 --> T480 : 1
Pre[10,37]: 1
T480: P40' := P40 - 2
IM[10,31]: -2
T480: P23' := P23 + 1
IM[10,37]: 1
P40 --> T479 : 2
Pre[11,31]: 2
P21 --> T479 : 1
Pre[11,36]: 1
T479: P40' := P40 - 2
IM[11,31]: -2
T479: P21' := P21 + 1
IM[11,36]: 1
P40 --> T478 : 2
Pre[12,31]: 2
P19 --> T478 : 1
Pre[12,35]: 1
T478: P40' := P40 - 2
IM[12,31]: -2
T478: P19' := P19 + 1
IM[12,35]: 1
P40 --> T477 : 2
Pre[13,31]: 2
P17 --> T477 : 1
Pre[13,34]: 1
T477: P40' := P40 - 2
IM[13,31]: -2
T477: P17' := P17 + 1
IM[13,34]: 1
P40 --> T476 : 2
Pre[14,31]: 2
P15 --> T476 : 1
Pre[14,33]: 1
T476: P40' := P40 - 2
IM[14,31]: -2
T476: P15' := P15 + 1
IM[14,33]: 1
P40 --> T475 : 2
Pre[15,31]: 2
P10 --> T475 : 1
Pre[15,32]: 1
T475: P40' := P40 - 2
IM[15,31]: -2
T475: P10' := P10 + 1
IM[15,32]: 1
P40 --> T474 : 2
Pre[16,31]: 2
P9 --> T474 : 1
Pre[16,17]: 1
T474: P40' := P40 - 2
IM[16,31]: -2
T474: P9' := P9 + 1
IM[16,17]: 1
P38 --> T473 : 2
Pre[17,19]: 2
P42 --> T473 : 1
Pre[17,38]: 1
T473: P38' := P38 - 2
IM[17,19]: -2
T473: P42' := P42 + 1
IM[17,38]: 1
P38 --> T472 : 2
Pre[18,19]: 2
P40 --> T472 : 1
Pre[18,31]: 1
T472: P38' := P38 - 2
IM[18,19]: -2
T472: P40' := P40 + 1
IM[18,31]: 1
P38 --> T471 : 2
Pre[19,19]: 2
P36 --> T471 : 1
Pre[19,18]: 1
T471: P38' := P38 - 2
IM[19,19]: -2
T471: P36' := P36 + 1
IM[19,18]: 1
P38 --> T470 : 2
Pre[20,19]: 2
P34 --> T470 : 1
Pre[20,9]: 1
T470: P38' := P38 - 2
IM[20,19]: -2
T470: P34' := P34 + 1
IM[20,9]: 1
P38 --> T469 : 2
Pre[21,19]: 2
P33 --> T469 : 1
Pre[21,24]: 1
T469: P38' := P38 - 2
IM[21,19]: -2
T469: P33' := P33 + 1
IM[21,24]: 1
P38 --> T468 : 2
Pre[22,19]: 2
P32 --> T468 : 1
Pre[22,26]: 1
T468: P38' := P38 - 2
IM[22,19]: -2
T468: P32' := P32 + 1
IM[22,26]: 1
P38 --> T467 : 2
Pre[23,19]: 2
P31 --> T467 : 1
Pre[23,25]: 1
T467: P38' := P38 - 2
IM[23,19]: -2
T467: P31' := P31 + 1
IM[23,25]: 1
P38 --> T466 : 2
Pre[24,19]: 2
P30 --> T466 : 1
Pre[24,27]: 1
T466: P38' := P38 - 2
IM[24,19]: -2
T466: P30' := P30 + 1
IM[24,27]: 1
P38 --> T465 : 2
Pre[25,19]: 2
P29 --> T465 : 1
Pre[25,30]: 1
T465: P38' := P38 - 2
IM[25,19]: -2
T465: P29' := P29 + 1
IM[25,30]: 1
P38 --> T464 : 2
Pre[26,19]: 2
P27 --> T464 : 1
Pre[26,28]: 1
T464: P38' := P38 - 2
IM[26,19]: -2
T464: P27' := P27 + 1
IM[26,28]: 1
P38 --> T463 : 2
Pre[27,19]: 2
P26 --> T463 : 1
Pre[27,23]: 1
T463: P38' := P38 - 2
IM[27,19]: -2
T463: P26' := P26 + 1
IM[27,23]: 1
P38 --> T462 : 2
Pre[28,19]: 2
P25 --> T462 : 1
Pre[28,22]: 1
T462: P38' := P38 - 2
IM[28,19]: -2
T462: P25' := P25 + 1
IM[28,22]: 1
P38 --> T461 : 2
Pre[29,19]: 2
P24 --> T461 : 1
Pre[29,21]: 1
T461: P38' := P38 - 2
IM[29,19]: -2
T461: P24' := P24 + 1
IM[29,21]: 1
P38 --> T460 : 2
Pre[30,19]: 2
P23 --> T460 : 1
Pre[30,37]: 1
T460: P38' := P38 - 2
IM[30,19]: -2
T460: P23' := P23 + 1
IM[30,37]: 1
P38 --> T459 : 2
Pre[31,19]: 2
P21 --> T459 : 1
Pre[31,36]: 1
T459: P38' := P38 - 2
IM[31,19]: -2
T459: P21' := P21 + 1
IM[31,36]: 1
P38 --> T458 : 2
Pre[32,19]: 2
P19 --> T458 : 1
Pre[32,35]: 1
T458: P38' := P38 - 2
IM[32,19]: -2
T458: P19' := P19 + 1
IM[32,35]: 1
P38 --> T457 : 2
Pre[33,19]: 2
P17 --> T457 : 1
Pre[33,34]: 1
T457: P38' := P38 - 2
IM[33,19]: -2
T457: P17' := P17 + 1
IM[33,34]: 1
P38 --> T456 : 2
Pre[34,19]: 2
P15 --> T456 : 1
Pre[34,33]: 1
T456: P38' := P38 - 2
IM[34,19]: -2
T456: P15' := P15 + 1
IM[34,33]: 1
P38 --> T455 : 2
Pre[35,19]: 2
P10 --> T455 : 1
Pre[35,32]: 1
T455: P38' := P38 - 2
IM[35,19]: -2
T455: P10' := P10 + 1
IM[35,32]: 1
P38 --> T454 : 2
Pre[36,19]: 2
P9 --> T454 : 1
Pre[36,17]: 1
T454: P38' := P38 - 2
IM[36,19]: -2
T454: P9' := P9 + 1
IM[36,17]: 1
P38 --> T453 : 2
Pre[37,19]: 2
P7 --> T453 : 1
Pre[37,7]: 1
T453: P38' := P38 - 2
IM[37,19]: -2
T453: P7' := P7 + 1
IM[37,7]: 1
P36 --> T452 : 2
Pre[38,18]: 2
P40 --> T452 : 1
Pre[38,31]: 1
T452: P36' := P36 - 2
IM[38,18]: -2
T452: P40' := P40 + 1
IM[38,31]: 1
P36 --> T451 : 2
Pre[39,18]: 2
P38 --> T451 : 1
Pre[39,19]: 1
T451: P36' := P36 - 2
IM[39,18]: -2
T451: P38' := P38 + 1
IM[39,19]: 1
P36 --> T450 : 2
Pre[40,18]: 2
P34 --> T450 : 1
Pre[40,9]: 1
T450: P36' := P36 - 2
IM[40,18]: -2
T450: P34' := P34 + 1
IM[40,9]: 1
P36 --> T449 : 2
Pre[41,18]: 2
P33 --> T449 : 1
Pre[41,24]: 1
T449: P36' := P36 - 2
IM[41,18]: -2
T449: P33' := P33 + 1
IM[41,24]: 1
P36 --> T448 : 2
Pre[42,18]: 2
P32 --> T448 : 1
Pre[42,26]: 1
T448: P36' := P36 - 2
IM[42,18]: -2
T448: P32' := P32 + 1
IM[42,26]: 1
P36 --> T447 : 2
Pre[43,18]: 2
P31 --> T447 : 1
Pre[43,25]: 1
T447: P36' := P36 - 2
IM[43,18]: -2
T447: P31' := P31 + 1
IM[43,25]: 1
P36 --> T446 : 2
Pre[44,18]: 2
P30 --> T446 : 1
Pre[44,27]: 1
T446: P36' := P36 - 2
IM[44,18]: -2
T446: P30' := P30 + 1
IM[44,27]: 1
P36 --> T445 : 2
Pre[45,18]: 2
P29 --> T445 : 1
Pre[45,30]: 1
T445: P36' := P36 - 2
IM[45,18]: -2
T445: P29' := P29 + 1
IM[45,30]: 1
P36 --> T444 : 2
Pre[46,18]: 2
P28 --> T444 : 1
Pre[46,29]: 1
T444: P36' := P36 - 2
IM[46,18]: -2
T444: P28' := P28 + 1
IM[46,29]: 1
P36 --> T443 : 2
Pre[47,18]: 2
P27 --> T443 : 1
Pre[47,28]: 1
T443: P36' := P36 - 2
IM[47,18]: -2
T443: P27' := P27 + 1
IM[47,28]: 1
P36 --> T442 : 2
Pre[48,18]: 2
P26 --> T442 : 1
Pre[48,23]: 1
T442: P36' := P36 - 2
IM[48,18]: -2
T442: P26' := P26 + 1
IM[48,23]: 1
P36 --> T441 : 2
Pre[49,18]: 2
P25 --> T441 : 1
Pre[49,22]: 1
T441: P36' := P36 - 2
IM[49,18]: -2
T441: P25' := P25 + 1
IM[49,22]: 1
P36 --> T440 : 2
Pre[50,18]: 2
P24 --> T440 : 1
Pre[50,21]: 1
T440: P36' := P36 - 2
IM[50,18]: -2
T440: P24' := P24 + 1
IM[50,21]: 1
P36 --> T439 : 2
Pre[51,18]: 2
P19 --> T439 : 1
Pre[51,35]: 1
T439: P36' := P36 - 2
IM[51,18]: -2
T439: P19' := P19 + 1
IM[51,35]: 1
P36 --> T438 : 2
Pre[52,18]: 2
P17 --> T438 : 1
Pre[52,34]: 1
T438: P36' := P36 - 2
IM[52,18]: -2
T438: P17' := P17 + 1
IM[52,34]: 1
P36 --> T437 : 2
Pre[53,18]: 2
P15 --> T437 : 1
Pre[53,33]: 1
T437: P36' := P36 - 2
IM[53,18]: -2
T437: P15' := P15 + 1
IM[53,33]: 1
P36 --> T436 : 2
Pre[54,18]: 2
P14 --> T436 : 1
Pre[54,20]: 1
T436: P36' := P36 - 2
IM[54,18]: -2
T436: P14' := P14 + 1
IM[54,20]: 1
P36 --> T435 : 2
Pre[55,18]: 2
P13 --> T435 : 1
Pre[55,16]: 1
T435: P36' := P36 - 2
IM[55,18]: -2
T435: P13' := P13 + 1
IM[55,16]: 1
P36 --> T434 : 2
Pre[56,18]: 2
P12 --> T434 : 1
Pre[56,15]: 1
T434: P36' := P36 - 2
IM[56,18]: -2
T434: P12' := P12 + 1
IM[56,15]: 1
P36 --> T433 : 2
Pre[57,18]: 2
P11 --> T433 : 1
Pre[57,14]: 1
T433: P36' := P36 - 2
IM[57,18]: -2
T433: P11' := P11 + 1
IM[57,14]: 1
P36 --> T432 : 2
Pre[58,18]: 2
P10 --> T432 : 1
Pre[58,32]: 1
T432: P36' := P36 - 2
IM[58,18]: -2
T432: P10' := P10 + 1
IM[58,32]: 1
P36 --> T431 : 2
Pre[59,18]: 2
P7 --> T431 : 1
Pre[59,7]: 1
T431: P36' := P36 - 2
IM[59,18]: -2
T431: P7' := P7 + 1
IM[59,7]: 1
P36 --> T430 : 2
Pre[60,18]: 2
P5 --> T430 : 1
Pre[60,8]: 1
T430: P36' := P36 - 2
IM[60,18]: -2
T430: P5' := P5 + 1
IM[60,8]: 1
P36 --> T429 : 2
Pre[61,18]: 2
P4 --> T429 : 1
Pre[61,13]: 1
T429: P36' := P36 - 2
IM[61,18]: -2
T429: P4' := P4 + 1
IM[61,13]: 1
P34 --> T428 : 2
Pre[62,9]: 2
P38 --> T428 : 1
Pre[62,19]: 1
T428: P34' := P34 - 2
IM[62,9]: -2
T428: P38' := P38 + 1
IM[62,19]: 1
P34 --> T427 : 2
Pre[63,9]: 2
P36 --> T427 : 1
Pre[63,18]: 1
T427: P34' := P34 - 2
IM[63,9]: -2
T427: P36' := P36 + 1
IM[63,18]: 1
P34 --> T426 : 2
Pre[64,9]: 2
P33 --> T426 : 1
Pre[64,24]: 1
T426: P34' := P34 - 2
IM[64,9]: -2
T426: P33' := P33 + 1
IM[64,24]: 1
P34 --> T425 : 2
Pre[65,9]: 2
P32 --> T425 : 1
Pre[65,26]: 1
T425: P34' := P34 - 2
IM[65,9]: -2
T425: P32' := P32 + 1
IM[65,26]: 1
P34 --> T424 : 2
Pre[66,9]: 2
P31 --> T424 : 1
Pre[66,25]: 1
T424: P34' := P34 - 2
IM[66,9]: -2
T424: P31' := P31 + 1
IM[66,25]: 1
P34 --> T423 : 2
Pre[67,9]: 2
P30 --> T423 : 1
Pre[67,27]: 1
T423: P34' := P34 - 2
IM[67,9]: -2
T423: P30' := P30 + 1
IM[67,27]: 1
P34 --> T422 : 2
Pre[68,9]: 2
P29 --> T422 : 1
Pre[68,30]: 1
T422: P34' := P34 - 2
IM[68,9]: -2
T422: P29' := P29 + 1
IM[68,30]: 1
P34 --> T421 : 2
Pre[69,9]: 2
P28 --> T421 : 1
Pre[69,29]: 1
T421: P34' := P34 - 2
IM[69,9]: -2
T421: P28' := P28 + 1
IM[69,29]: 1
P34 --> T420 : 2
Pre[70,9]: 2
P27 --> T420 : 1
Pre[70,28]: 1
T420: P34' := P34 - 2
IM[70,9]: -2
T420: P27' := P27 + 1
IM[70,28]: 1
P34 --> T419 : 2
Pre[71,9]: 2
P26 --> T419 : 1
Pre[71,23]: 1
T419: P34' := P34 - 2
IM[71,9]: -2
T419: P26' := P26 + 1
IM[71,23]: 1
P34 --> T418 : 2
Pre[72,9]: 2
P25 --> T418 : 1
Pre[72,22]: 1
T418: P34' := P34 - 2
IM[72,9]: -2
T418: P25' := P25 + 1
IM[72,22]: 1
P34 --> T417 : 2
Pre[73,9]: 2
P24 --> T417 : 1
Pre[73,21]: 1
T417: P34' := P34 - 2
IM[73,9]: -2
T417: P24' := P24 + 1
IM[73,21]: 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,16]: 1
T415: P34' := P34 - 2
IM[75,9]: -2
T415: P13' := P13 + 1
IM[75,16]: 1
P34 --> T414 : 2
Pre[76,9]: 2
P12 --> T414 : 1
Pre[76,15]: 1
T414: P34' := P34 - 2
IM[76,9]: -2
T414: P12' := P12 + 1
IM[76,15]: 1
P34 --> T413 : 2
Pre[77,9]: 2
P11 --> T413 : 1
Pre[77,14]: 1
T413: P34' := P34 - 2
IM[77,9]: -2
T413: P11' := P11 + 1
IM[77,14]: 1
P34 --> T412 : 2
Pre[78,9]: 2
P5 --> T412 : 1
Pre[78,8]: 1
T412: P34' := P34 - 2
IM[78,9]: -2
T412: P5' := P5 + 1
IM[78,8]: 1
P34 --> T411 : 2
Pre[79,9]: 2
P4 --> T411 : 1
Pre[79,13]: 1
T411: P34' := P34 - 2
IM[79,9]: -2
T411: P4' := P4 + 1
IM[79,13]: 1
P33 --> T410 : 2
Pre[80,24]: 2
P43 --> T410 : 1
Pre[80,6]: 1
T410: P33' := P33 - 2
IM[80,24]: -2
T410: P43' := P43 + 1
IM[80,6]: 1
P33 --> T409 : 2
Pre[81,24]: 2
P40 --> T409 : 1
Pre[81,31]: 1
T409: P33' := P33 - 2
IM[81,24]: -2
T409: P40' := P40 + 1
IM[81,31]: 1
P33 --> T408 : 2
Pre[82,24]: 2
P38 --> T408 : 1
Pre[82,19]: 1
T408: P33' := P33 - 2
IM[82,24]: -2
T408: P38' := P38 + 1
IM[82,19]: 1
P33 --> T407 : 2
Pre[83,24]: 2
P36 --> T407 : 1
Pre[83,18]: 1
T407: P33' := P33 - 2
IM[83,24]: -2
T407: P36' := P36 + 1
IM[83,18]: 1
P33 --> T406 : 2
Pre[84,24]: 2
P34 --> T406 : 1
Pre[84,9]: 1
T406: P33' := P33 - 2
IM[84,24]: -2
T406: P34' := P34 + 1
IM[84,9]: 1
P33 --> T405 : 2
Pre[85,24]: 2
P32 --> T405 : 1
Pre[85,26]: 1
T405: P33' := P33 - 2
IM[85,24]: -2
T405: P32' := P32 + 1
IM[85,26]: 1
P33 --> T404 : 2
Pre[86,24]: 2
P31 --> T404 : 1
Pre[86,25]: 1
T404: P33' := P33 - 2
IM[86,24]: -2
T404: P31' := P31 + 1
IM[86,25]: 1
P33 --> T403 : 2
Pre[87,24]: 2
P30 --> T403 : 1
Pre[87,27]: 1
T403: P33' := P33 - 2
IM[87,24]: -2
T403: P30' := P30 + 1
IM[87,27]: 1
P33 --> T402 : 2
Pre[88,24]: 2
P28 --> T402 : 1
Pre[88,29]: 1
T402: P33' := P33 - 2
IM[88,24]: -2
T402: P28' := P28 + 1
IM[88,29]: 1
P33 --> T401 : 2
Pre[89,24]: 2
P27 --> T401 : 1
Pre[89,28]: 1
T401: P33' := P33 - 2
IM[89,24]: -2
T401: P27' := P27 + 1
IM[89,28]: 1
P33 --> T400 : 2
Pre[90,24]: 2
P26 --> T400 : 1
Pre[90,23]: 1
T400: P33' := P33 - 2
IM[90,24]: -2
T400: P26' := P26 + 1
IM[90,23]: 1
P33 --> T399 : 2
Pre[91,24]: 2
P25 --> T399 : 1
Pre[91,22]: 1
T399: P33' := P33 - 2
IM[91,24]: -2
T399: P25' := P25 + 1
IM[91,22]: 1
P33 --> T398 : 2
Pre[92,24]: 2
P24 --> T398 : 1
Pre[92,21]: 1
T398: P33' := P33 - 2
IM[92,24]: -2
T398: P24' := P24 + 1
IM[92,21]: 1
P33 --> T397 : 2
Pre[93,24]: 2
P14 --> T397 : 1
Pre[93,20]: 1
T397: P33' := P33 - 2
IM[93,24]: -2
T397: P14' := P14 + 1
IM[93,20]: 1
P33 --> T396 : 2
Pre[94,24]: 2
P13 --> T396 : 1
Pre[94,16]: 1
T396: P33' := P33 - 2
IM[94,24]: -2
T396: P13' := P13 + 1
IM[94,16]: 1
P32 --> T395 : 2
Pre[95,26]: 2
P43 --> T395 : 1
Pre[95,6]: 1
T395: P32' := P32 - 2
IM[95,26]: -2
T395: P43' := P43 + 1
IM[95,6]: 1
P32 --> T394 : 2
Pre[96,26]: 2
P40 --> T394 : 1
Pre[96,31]: 1
T394: P32' := P32 - 2
IM[96,26]: -2
T394: P40' := P40 + 1
IM[96,31]: 1
P32 --> T393 : 2
Pre[97,26]: 2
P38 --> T393 : 1
Pre[97,19]: 1
T393: P32' := P32 - 2
IM[97,26]: -2
T393: P38' := P38 + 1
IM[97,19]: 1
P32 --> T392 : 2
Pre[98,26]: 2
P36 --> T392 : 1
Pre[98,18]: 1
T392: P32' := P32 - 2
IM[98,26]: -2
T392: P36' := P36 + 1
IM[98,18]: 1
P32 --> T391 : 2
Pre[99,26]: 2
P34 --> T391 : 1
Pre[99,9]: 1
T391: P32' := P32 - 2
IM[99,26]: -2
T391: P34' := P34 + 1
IM[99,9]: 1
P32 --> T390 : 2
Pre[100,26]: 2
P33 --> T390 : 1
Pre[100,24]: 1
T390: P32' := P32 - 2
IM[100,26]: -2
T390: P33' := P33 + 1
IM[100,24]: 1
P32 --> T389 : 2
Pre[101,26]: 2
P31 --> T389 : 1
Pre[101,25]: 1
T389: P32' := P32 - 2
IM[101,26]: -2
T389: P31' := P31 + 1
IM[101,25]: 1
P32 --> T388 : 2
Pre[102,26]: 2
P30 --> T388 : 1
Pre[102,27]: 1
T388: P32' := P32 - 2
IM[102,26]: -2
T388: P30' := P30 + 1
IM[102,27]: 1
P32 --> T387 : 2
Pre[103,26]: 2
P29 --> T387 : 1
Pre[103,30]: 1
T387: P32' := P32 - 2
IM[103,26]: -2
T387: P29' := P29 + 1
IM[103,30]: 1
P32 --> T386 : 2
Pre[104,26]: 2
P28 --> T386 : 1
Pre[104,29]: 1
T386: P32' := P32 - 2
IM[104,26]: -2
T386: P28' := P28 + 1
IM[104,29]: 1
P32 --> T385 : 2
Pre[105,26]: 2
P27 --> T385 : 1
Pre[105,28]: 1
T385: P32' := P32 - 2
IM[105,26]: -2
T385: P27' := P27 + 1
IM[105,28]: 1
P32 --> T384 : 2
Pre[106,26]: 2
P26 --> T384 : 1
Pre[106,23]: 1
T384: P32' := P32 - 2
IM[106,26]: -2
T384: P26' := P26 + 1
IM[106,23]: 1
P32 --> T383 : 2
Pre[107,26]: 2
P25 --> T383 : 1
Pre[107,22]: 1
T383: P32' := P32 - 2
IM[107,26]: -2
T383: P25' := P25 + 1
IM[107,22]: 1
P32 --> T382 : 2
Pre[108,26]: 2
P24 --> T382 : 1
Pre[108,21]: 1
T382: P32' := P32 - 2
IM[108,26]: -2
T382: P24' := P24 + 1
IM[108,21]: 1
P32 --> T381 : 2
Pre[109,26]: 2
P21 --> T381 : 1
Pre[109,36]: 1
T381: P32' := P32 - 2
IM[109,26]: -2
T381: P21' := P21 + 1
IM[109,36]: 1
P32 --> T380 : 2
Pre[110,26]: 2
P19 --> T380 : 1
Pre[110,35]: 1
T380: P32' := P32 - 2
IM[110,26]: -2
T380: P19' := P19 + 1
IM[110,35]: 1
P32 --> T379 : 2
Pre[111,26]: 2
P17 --> T379 : 1
Pre[111,34]: 1
T379: P32' := P32 - 2
IM[111,26]: -2
T379: P17' := P17 + 1
IM[111,34]: 1
P32 --> T378 : 2
Pre[112,26]: 2
P15 --> T378 : 1
Pre[112,33]: 1
T378: P32' := P32 - 2
IM[112,26]: -2
T378: P15' := P15 + 1
IM[112,33]: 1
P32 --> T377 : 2
Pre[113,26]: 2
P14 --> T377 : 1
Pre[113,20]: 1
T377: P32' := P32 - 2
IM[113,26]: -2
T377: P14' := P14 + 1
IM[113,20]: 1
P32 --> T376 : 2
Pre[114,26]: 2
P13 --> T376 : 1
Pre[114,16]: 1
T376: P32' := P32 - 2
IM[114,26]: -2
T376: P13' := P13 + 1
IM[114,16]: 1
P32 --> T375 : 2
Pre[115,26]: 2
P12 --> T375 : 1
Pre[115,15]: 1
T375: P32' := P32 - 2
IM[115,26]: -2
T375: P12' := P12 + 1
IM[115,15]: 1
P31 --> T374 : 2
Pre[116,25]: 2
P40 --> T374 : 1
Pre[116,31]: 1
T374: P31' := P31 - 2
IM[116,25]: -2
T374: P40' := P40 + 1
IM[116,31]: 1
P31 --> T373 : 2
Pre[117,25]: 2
P38 --> T373 : 1
Pre[117,19]: 1
T373: P31' := P31 - 2
IM[117,25]: -2
T373: P38' := P38 + 1
IM[117,19]: 1
P31 --> T372 : 2
Pre[118,25]: 2
P36 --> T372 : 1
Pre[118,18]: 1
T372: P31' := P31 - 2
IM[118,25]: -2
T372: P36' := P36 + 1
IM[118,18]: 1
P31 --> T371 : 2
Pre[119,25]: 2
P34 --> T371 : 1
Pre[119,9]: 1
T371: P31' := P31 - 2
IM[119,25]: -2
T371: P34' := P34 + 1
IM[119,9]: 1
P31 --> T370 : 2
Pre[120,25]: 2
P33 --> T370 : 1
Pre[120,24]: 1
T370: P31' := P31 - 2
IM[120,25]: -2
T370: P33' := P33 + 1
IM[120,24]: 1
P31 --> T369 : 2
Pre[121,25]: 2
P32 --> T369 : 1
Pre[121,26]: 1
T369: P31' := P31 - 2
IM[121,25]: -2
T369: P32' := P32 + 1
IM[121,26]: 1
P31 --> T368 : 2
Pre[122,25]: 2
P30 --> T368 : 1
Pre[122,27]: 1
T368: P31' := P31 - 2
IM[122,25]: -2
T368: P30' := P30 + 1
IM[122,27]: 1
P31 --> T367 : 2
Pre[123,25]: 2
P29 --> T367 : 1
Pre[123,30]: 1
T367: P31' := P31 - 2
IM[123,25]: -2
T367: P29' := P29 + 1
IM[123,30]: 1
P31 --> T366 : 2
Pre[124,25]: 2
P28 --> T366 : 1
Pre[124,29]: 1
T366: P31' := P31 - 2
IM[124,25]: -2
T366: P28' := P28 + 1
IM[124,29]: 1
P31 --> T365 : 2
Pre[125,25]: 2
P27 --> T365 : 1
Pre[125,28]: 1
T365: P31' := P31 - 2
IM[125,25]: -2
T365: P27' := P27 + 1
IM[125,28]: 1
P31 --> T364 : 2
Pre[126,25]: 2
P26 --> T364 : 1
Pre[126,23]: 1
T364: P31' := P31 - 2
IM[126,25]: -2
T364: P26' := P26 + 1
IM[126,23]: 1
P31 --> T363 : 2
Pre[127,25]: 2
P25 --> T363 : 1
Pre[127,22]: 1
T363: P31' := P31 - 2
IM[127,25]: -2
T363: P25' := P25 + 1
IM[127,22]: 1
P31 --> T362 : 2
Pre[128,25]: 2
P24 --> T362 : 1
Pre[128,21]: 1
T362: P31' := P31 - 2
IM[128,25]: -2
T362: P24' := P24 + 1
IM[128,21]: 1
P31 --> T361 : 2
Pre[129,25]: 2
P23 --> T361 : 1
Pre[129,37]: 1
T361: P31' := P31 - 2
IM[129,25]: -2
T361: P23' := P23 + 1
IM[129,37]: 1
P31 --> T360 : 2
Pre[130,25]: 2
P21 --> T360 : 1
Pre[130,36]: 1
T360: P31' := P31 - 2
IM[130,25]: -2
T360: P21' := P21 + 1
IM[130,36]: 1
P31 --> T359 : 2
Pre[131,25]: 2
P19 --> T359 : 1
Pre[131,35]: 1
T359: P31' := P31 - 2
IM[131,25]: -2
T359: P19' := P19 + 1
IM[131,35]: 1
P31 --> T358 : 2
Pre[132,25]: 2
P17 --> T358 : 1
Pre[132,34]: 1
T358: P31' := P31 - 2
IM[132,25]: -2
T358: P17' := P17 + 1
IM[132,34]: 1
P31 --> T357 : 2
Pre[133,25]: 2
P15 --> T357 : 1
Pre[133,33]: 1
T357: P31' := P31 - 2
IM[133,25]: -2
T357: P15' := P15 + 1
IM[133,33]: 1
P31 --> T356 : 2
Pre[134,25]: 2
P14 --> T356 : 1
Pre[134,20]: 1
T356: P31' := P31 - 2
IM[134,25]: -2
T356: P14' := P14 + 1
IM[134,20]: 1
P31 --> T355 : 2
Pre[135,25]: 2
P13 --> T355 : 1
Pre[135,16]: 1
T355: P31' := P31 - 2
IM[135,25]: -2
T355: P13' := P13 + 1
IM[135,16]: 1
P31 --> T354 : 2
Pre[136,25]: 2
P12 --> T354 : 1
Pre[136,15]: 1
T354: P31' := P31 - 2
IM[136,25]: -2
T354: P12' := P12 + 1
IM[136,15]: 1
P31 --> T353 : 2
Pre[137,25]: 2
P11 --> T353 : 1
Pre[137,14]: 1
T353: P31' := P31 - 2
IM[137,25]: -2
T353: P11' := P11 + 1
IM[137,14]: 1
P31 --> T352 : 2
Pre[138,25]: 2
P10 --> T352 : 1
Pre[138,32]: 1
T352: P31' := P31 - 2
IM[138,25]: -2
T352: P10' := P10 + 1
IM[138,32]: 1
P31 --> T351 : 2
Pre[139,25]: 2
P9 --> T351 : 1
Pre[139,17]: 1
T351: P31' := P31 - 2
IM[139,25]: -2
T351: P9' := P9 + 1
IM[139,17]: 1
P31 --> T350 : 2
Pre[140,25]: 2
P7 --> T350 : 1
Pre[140,7]: 1
T350: P31' := P31 - 2
IM[140,25]: -2
T350: P7' := P7 + 1
IM[140,7]: 1
P31 --> T349 : 2
Pre[141,25]: 2
P5 --> T349 : 1
Pre[141,8]: 1
T349: P31' := P31 - 2
IM[141,25]: -2
T349: P5' := P5 + 1
IM[141,8]: 1
P30 --> T348 : 2
Pre[142,27]: 2
P40 --> T348 : 1
Pre[142,31]: 1
T348: P30' := P30 - 2
IM[142,27]: -2
T348: P40' := P40 + 1
IM[142,31]: 1
P30 --> T347 : 2
Pre[143,27]: 2
P38 --> T347 : 1
Pre[143,19]: 1
T347: P30' := P30 - 2
IM[143,27]: -2
T347: P38' := P38 + 1
IM[143,19]: 1
P30 --> T346 : 2
Pre[144,27]: 2
P36 --> T346 : 1
Pre[144,18]: 1
T346: P30' := P30 - 2
IM[144,27]: -2
T346: P36' := P36 + 1
IM[144,18]: 1
P30 --> T345 : 2
Pre[145,27]: 2
P34 --> T345 : 1
Pre[145,9]: 1
T345: P30' := P30 - 2
IM[145,27]: -2
T345: P34' := P34 + 1
IM[145,9]: 1
P30 --> T344 : 2
Pre[146,27]: 2
P33 --> T344 : 1
Pre[146,24]: 1
T344: P30' := P30 - 2
IM[146,27]: -2
T344: P33' := P33 + 1
IM[146,24]: 1
P30 --> T343 : 2
Pre[147,27]: 2
P32 --> T343 : 1
Pre[147,26]: 1
T343: P30' := P30 - 2
IM[147,27]: -2
T343: P32' := P32 + 1
IM[147,26]: 1
P30 --> T342 : 2
Pre[148,27]: 2
P31 --> T342 : 1
Pre[148,25]: 1
T342: P30' := P30 - 2
IM[148,27]: -2
T342: P31' := P31 + 1
IM[148,25]: 1
P30 --> T341 : 2
Pre[149,27]: 2
P29 --> T341 : 1
Pre[149,30]: 1
T341: P30' := P30 - 2
IM[149,27]: -2
T341: P29' := P29 + 1
IM[149,30]: 1
P30 --> T340 : 2
Pre[150,27]: 2
P26 --> T340 : 1
Pre[150,23]: 1
T340: P30' := P30 - 2
IM[150,27]: -2
T340: P26' := P26 + 1
IM[150,23]: 1
P30 --> T339 : 2
Pre[151,27]: 2
P25 --> T339 : 1
Pre[151,22]: 1
T339: P30' := P30 - 2
IM[151,27]: -2
T339: P25' := P25 + 1
IM[151,22]: 1
P30 --> T338 : 2
Pre[152,27]: 2
P24 --> T338 : 1
Pre[152,21]: 1
T338: P30' := P30 - 2
IM[152,27]: -2
T338: P24' := P24 + 1
IM[152,21]: 1
P30 --> T337 : 2
Pre[153,27]: 2
P23 --> T337 : 1
Pre[153,37]: 1
T337: P30' := P30 - 2
IM[153,27]: -2
T337: P23' := P23 + 1
IM[153,37]: 1
P30 --> T336 : 2
Pre[154,27]: 2
P21 --> T336 : 1
Pre[154,36]: 1
T336: P30' := P30 - 2
IM[154,27]: -2
T336: P21' := P21 + 1
IM[154,36]: 1
P30 --> T335 : 2
Pre[155,27]: 2
P19 --> T335 : 1
Pre[155,35]: 1
T335: P30' := P30 - 2
IM[155,27]: -2
T335: P19' := P19 + 1
IM[155,35]: 1
P30 --> T334 : 2
Pre[156,27]: 2
P17 --> T334 : 1
Pre[156,34]: 1
T334: P30' := P30 - 2
IM[156,27]: -2
T334: P17' := P17 + 1
IM[156,34]: 1
P30 --> T333 : 2
Pre[157,27]: 2
P15 --> T333 : 1
Pre[157,33]: 1
T333: P30' := P30 - 2
IM[157,27]: -2
T333: P15' := P15 + 1
IM[157,33]: 1
P30 --> T332 : 2
Pre[158,27]: 2
P14 --> T332 : 1
Pre[158,20]: 1
T332: P30' := P30 - 2
IM[158,27]: -2
T332: P14' := P14 + 1
IM[158,20]: 1
P30 --> T331 : 2
Pre[159,27]: 2
P12 --> T331 : 1
Pre[159,15]: 1
T331: P30' := P30 - 2
IM[159,27]: -2
T331: P12' := P12 + 1
IM[159,15]: 1
P30 --> T330 : 2
Pre[160,27]: 2
P11 --> T330 : 1
Pre[160,14]: 1
T330: P30' := P30 - 2
IM[160,27]: -2
T330: P11' := P11 + 1
IM[160,14]: 1
P30 --> T329 : 2
Pre[161,27]: 2
P10 --> T329 : 1
Pre[161,32]: 1
T329: P30' := P30 - 2
IM[161,27]: -2
T329: P10' := P10 + 1
IM[161,32]: 1
P30 --> T328 : 2
Pre[162,27]: 2
P9 --> T328 : 1
Pre[162,17]: 1
T328: P30' := P30 - 2
IM[162,27]: -2
T328: P9' := P9 + 1
IM[162,17]: 1
P30 --> T327 : 2
Pre[163,27]: 2
P7 --> T327 : 1
Pre[163,7]: 1
T327: P30' := P30 - 2
IM[163,27]: -2
T327: P7' := P7 + 1
IM[163,7]: 1
P30 --> T326 : 2
Pre[164,27]: 2
P5 --> T326 : 1
Pre[164,8]: 1
T326: P30' := P30 - 2
IM[164,27]: -2
T326: P5' := P5 + 1
IM[164,8]: 1
P30 --> T325 : 2
Pre[165,27]: 2
P4 --> T325 : 1
Pre[165,13]: 1
T325: P30' := P30 - 2
IM[165,27]: -2
T325: P4' := P4 + 1
IM[165,13]: 1
P29 --> T324 : 2
Pre[166,30]: 2
P40 --> T324 : 1
Pre[166,31]: 1
T324: P29' := P29 - 2
IM[166,30]: -2
T324: P40' := P40 + 1
IM[166,31]: 1
P29 --> T323 : 2
Pre[167,30]: 2
P38 --> T323 : 1
Pre[167,19]: 1
T323: P29' := P29 - 2
IM[167,30]: -2
T323: P38' := P38 + 1
IM[167,19]: 1
P29 --> T322 : 2
Pre[168,30]: 2
P36 --> T322 : 1
Pre[168,18]: 1
T322: P29' := P29 - 2
IM[168,30]: -2
T322: P36' := P36 + 1
IM[168,18]: 1
P29 --> T321 : 2
Pre[169,30]: 2
P34 --> T321 : 1
Pre[169,9]: 1
T321: P29' := P29 - 2
IM[169,30]: -2
T321: P34' := P34 + 1
IM[169,9]: 1
P29 --> T320 : 2
Pre[170,30]: 2
P32 --> T320 : 1
Pre[170,26]: 1
T320: P29' := P29 - 2
IM[170,30]: -2
T320: P32' := P32 + 1
IM[170,26]: 1
P29 --> T319 : 2
Pre[171,30]: 2
P31 --> T319 : 1
Pre[171,25]: 1
T319: P29' := P29 - 2
IM[171,30]: -2
T319: P31' := P31 + 1
IM[171,25]: 1
P29 --> T318 : 2
Pre[172,30]: 2
P30 --> T318 : 1
Pre[172,27]: 1
T318: P29' := P29 - 2
IM[172,30]: -2
T318: P30' := P30 + 1
IM[172,27]: 1
P29 --> T317 : 2
Pre[173,30]: 2
P23 --> T317 : 1
Pre[173,37]: 1
T317: P29' := P29 - 2
IM[173,30]: -2
T317: P23' := P23 + 1
IM[173,37]: 1
P29 --> T316 : 2
Pre[174,30]: 2
P21 --> T316 : 1
Pre[174,36]: 1
T316: P29' := P29 - 2
IM[174,30]: -2
T316: P21' := P21 + 1
IM[174,36]: 1
P29 --> T315 : 2
Pre[175,30]: 2
P19 --> T315 : 1
Pre[175,35]: 1
T315: P29' := P29 - 2
IM[175,30]: -2
T315: P19' := P19 + 1
IM[175,35]: 1
P29 --> T314 : 2
Pre[176,30]: 2
P17 --> T314 : 1
Pre[176,34]: 1
T314: P29' := P29 - 2
IM[176,30]: -2
T314: P17' := P17 + 1
IM[176,34]: 1
P29 --> T313 : 2
Pre[177,30]: 2
P15 --> T313 : 1
Pre[177,33]: 1
T313: P29' := P29 - 2
IM[177,30]: -2
T313: P15' := P15 + 1
IM[177,33]: 1
P29 --> T312 : 2
Pre[178,30]: 2
P11 --> T312 : 1
Pre[178,14]: 1
T312: P29' := P29 - 2
IM[178,30]: -2
T312: P11' := P11 + 1
IM[178,14]: 1
P29 --> T311 : 2
Pre[179,30]: 2
P10 --> T311 : 1
Pre[179,32]: 1
T311: P29' := P29 - 2
IM[179,30]: -2
T311: P10' := P10 + 1
IM[179,32]: 1
P29 --> T310 : 2
Pre[180,30]: 2
P9 --> T310 : 1
Pre[180,17]: 1
T310: P29' := P29 - 2
IM[180,30]: -2
T310: P9' := P9 + 1
IM[180,17]: 1
P29 --> T309 : 2
Pre[181,30]: 2
P7 --> T309 : 1
Pre[181,7]: 1
T309: P29' := P29 - 2
IM[181,30]: -2
T309: P7' := P7 + 1
IM[181,7]: 1
P29 --> T308 : 2
Pre[182,30]: 2
P5 --> T308 : 1
Pre[182,8]: 1
T308: P29' := P29 - 2
IM[182,30]: -2
T308: P5' := P5 + 1
IM[182,8]: 1
P29 --> T307 : 2
Pre[183,30]: 2
P4 --> T307 : 1
Pre[183,13]: 1
T307: P29' := P29 - 2
IM[183,30]: -2
T307: P4' := P4 + 1
IM[183,13]: 1
P28 --> T306 : 2
Pre[184,29]: 2
P43 --> T306 : 1
Pre[184,6]: 1
T306: P28' := P28 - 2
IM[184,29]: -2
T306: P43' := P43 + 1
IM[184,6]: 1
P28 --> T305 : 2
Pre[185,29]: 2
P36 --> T305 : 1
Pre[185,18]: 1
T305: P28' := P28 - 2
IM[185,29]: -2
T305: P36' := P36 + 1
IM[185,18]: 1
P28 --> T304 : 2
Pre[186,29]: 2
P34 --> T304 : 1
Pre[186,9]: 1
T304: P28' := P28 - 2
IM[186,29]: -2
T304: P34' := P34 + 1
IM[186,9]: 1
P28 --> T303 : 2
Pre[187,29]: 2
P33 --> T303 : 1
Pre[187,24]: 1
T303: P28' := P28 - 2
IM[187,29]: -2
T303: P33' := P33 + 1
IM[187,24]: 1
P28 --> T302 : 2
Pre[188,29]: 2
P32 --> T302 : 1
Pre[188,26]: 1
T302: P28' := P28 - 2
IM[188,29]: -2
T302: P32' := P32 + 1
IM[188,26]: 1
P28 --> T301 : 2
Pre[189,29]: 2
P31 --> T301 : 1
Pre[189,25]: 1
T301: P28' := P28 - 2
IM[189,29]: -2
T301: P31' := P31 + 1
IM[189,25]: 1
P28 --> T300 : 2
Pre[190,29]: 2
P27 --> T300 : 1
Pre[190,28]: 1
T300: P28' := P28 - 2
IM[190,29]: -2
T300: P27' := P27 + 1
IM[190,28]: 1
P28 --> T299 : 2
Pre[191,29]: 2
P26 --> T299 : 1
Pre[191,23]: 1
T299: P28' := P28 - 2
IM[191,29]: -2
T299: P26' := P26 + 1
IM[191,23]: 1
P28 --> T298 : 2
Pre[192,29]: 2
P25 --> T298 : 1
Pre[192,22]: 1
T298: P28' := P28 - 2
IM[192,29]: -2
T298: P25' := P25 + 1
IM[192,22]: 1
P28 --> T297 : 2
Pre[193,29]: 2
P24 --> T297 : 1
Pre[193,21]: 1
T297: P28' := P28 - 2
IM[193,29]: -2
T297: P24' := P24 + 1
IM[193,21]: 1
P27 --> T296 : 2
Pre[194,28]: 2
P43 --> T296 : 1
Pre[194,6]: 1
T296: P27' := P27 - 2
IM[194,28]: -2
T296: P43' := P43 + 1
IM[194,6]: 1
P27 --> T295 : 2
Pre[195,28]: 2
P38 --> T295 : 1
Pre[195,19]: 1
T295: P27' := P27 - 2
IM[195,28]: -2
T295: P38' := P38 + 1
IM[195,19]: 1
P27 --> T294 : 2
Pre[196,28]: 2
P36 --> T294 : 1
Pre[196,18]: 1
T294: P27' := P27 - 2
IM[196,28]: -2
T294: P36' := P36 + 1
IM[196,18]: 1
P27 --> T293 : 2
Pre[197,28]: 2
P34 --> T293 : 1
Pre[197,9]: 1
T293: P27' := P27 - 2
IM[197,28]: -2
T293: P34' := P34 + 1
IM[197,9]: 1
P27 --> T292 : 2
Pre[198,28]: 2
P33 --> T292 : 1
Pre[198,24]: 1
T292: P27' := P27 - 2
IM[198,28]: -2
T292: P33' := P33 + 1
IM[198,24]: 1
P27 --> T291 : 2
Pre[199,28]: 2
P32 --> T291 : 1
Pre[199,26]: 1
T291: P27' := P27 - 2
IM[199,28]: -2
T291: P32' := P32 + 1
IM[199,26]: 1
P27 --> T290 : 2
Pre[200,28]: 2
P31 --> T290 : 1
Pre[200,25]: 1
T290: P27' := P27 - 2
IM[200,28]: -2
T290: P31' := P31 + 1
IM[200,25]: 1
P27 --> T289 : 2
Pre[201,28]: 2
P28 --> T289 : 1
Pre[201,29]: 1
T289: P27' := P27 - 2
IM[201,28]: -2
T289: P28' := P28 + 1
IM[201,29]: 1
P27 --> T288 : 2
Pre[202,28]: 2
P26 --> T288 : 1
Pre[202,23]: 1
T288: P27' := P27 - 2
IM[202,28]: -2
T288: P26' := P26 + 1
IM[202,23]: 1
P27 --> T287 : 2
Pre[203,28]: 2
P25 --> T287 : 1
Pre[203,22]: 1
T287: P27' := P27 - 2
IM[203,28]: -2
T287: P25' := P25 + 1
IM[203,22]: 1
P27 --> T286 : 2
Pre[204,28]: 2
P24 --> T286 : 1
Pre[204,21]: 1
T286: P27' := P27 - 2
IM[204,28]: -2
T286: P24' := P24 + 1
IM[204,21]: 1
P27 --> T285 : 2
Pre[205,28]: 2
P14 --> T285 : 1
Pre[205,20]: 1
T285: P27' := P27 - 2
IM[205,28]: -2
T285: P14' := P14 + 1
IM[205,20]: 1
P26 --> T284 : 2
Pre[206,23]: 2
P43 --> T284 : 1
Pre[206,6]: 1
T284: P26' := P26 - 2
IM[206,23]: -2
T284: P43' := P43 + 1
IM[206,6]: 1
P26 --> T283 : 2
Pre[207,23]: 2
P38 --> T283 : 1
Pre[207,19]: 1
T283: P26' := P26 - 2
IM[207,23]: -2
T283: P38' := P38 + 1
IM[207,19]: 1
P26 --> T282 : 2
Pre[208,23]: 2
P36 --> T282 : 1
Pre[208,18]: 1
T282: P26' := P26 - 2
IM[208,23]: -2
T282: P36' := P36 + 1
IM[208,18]: 1
P26 --> T281 : 2
Pre[209,23]: 2
P34 --> T281 : 1
Pre[209,9]: 1
T281: P26' := P26 - 2
IM[209,23]: -2
T281: P34' := P34 + 1
IM[209,9]: 1
P26 --> T280 : 2
Pre[210,23]: 2
P33 --> T280 : 1
Pre[210,24]: 1
T280: P26' := P26 - 2
IM[210,23]: -2
T280: P33' := P33 + 1
IM[210,24]: 1
P26 --> T279 : 2
Pre[211,23]: 2
P32 --> T279 : 1
Pre[211,26]: 1
T279: P26' := P26 - 2
IM[211,23]: -2
T279: P32' := P32 + 1
IM[211,26]: 1
P26 --> T278 : 2
Pre[212,23]: 2
P31 --> T278 : 1
Pre[212,25]: 1
T278: P26' := P26 - 2
IM[212,23]: -2
T278: P31' := P31 + 1
IM[212,25]: 1
P26 --> T277 : 2
Pre[213,23]: 2
P30 --> T277 : 1
Pre[213,27]: 1
T277: P26' := P26 - 2
IM[213,23]: -2
T277: P30' := P30 + 1
IM[213,27]: 1
P26 --> T276 : 2
Pre[214,23]: 2
P28 --> T276 : 1
Pre[214,29]: 1
T276: P26' := P26 - 2
IM[214,23]: -2
T276: P28' := P28 + 1
IM[214,29]: 1
P26 --> T275 : 2
Pre[215,23]: 2
P27 --> T275 : 1
Pre[215,28]: 1
T275: P26' := P26 - 2
IM[215,23]: -2
T275: P27' := P27 + 1
IM[215,28]: 1
P26 --> T274 : 2
Pre[216,23]: 2
P25 --> T274 : 1
Pre[216,22]: 1
T274: P26' := P26 - 2
IM[216,23]: -2
T274: P25' := P25 + 1
IM[216,22]: 1
P26 --> T273 : 2
Pre[217,23]: 2
P24 --> T273 : 1
Pre[217,21]: 1
T273: P26' := P26 - 2
IM[217,23]: -2
T273: P24' := P24 + 1
IM[217,21]: 1
P26 --> T272 : 2
Pre[218,23]: 2
P14 --> T272 : 1
Pre[218,20]: 1
T272: P26' := P26 - 2
IM[218,23]: -2
T272: P14' := P14 + 1
IM[218,20]: 1
P26 --> T271 : 2
Pre[219,23]: 2
P13 --> T271 : 1
Pre[219,16]: 1
T271: P26' := P26 - 2
IM[219,23]: -2
T271: P13' := P13 + 1
IM[219,16]: 1
P25 --> T270 : 2
Pre[220,22]: 2
P43 --> T270 : 1
Pre[220,6]: 1
T270: P25' := P25 - 2
IM[220,22]: -2
T270: P43' := P43 + 1
IM[220,6]: 1
P25 --> T269 : 2
Pre[221,22]: 2
P38 --> T269 : 1
Pre[221,19]: 1
T269: P25' := P25 - 2
IM[221,22]: -2
T269: P38' := P38 + 1
IM[221,19]: 1
P25 --> T268 : 2
Pre[222,22]: 2
P36 --> T268 : 1
Pre[222,18]: 1
T268: P25' := P25 - 2
IM[222,22]: -2
T268: P36' := P36 + 1
IM[222,18]: 1
P25 --> T267 : 2
Pre[223,22]: 2
P34 --> T267 : 1
Pre[223,9]: 1
T267: P25' := P25 - 2
IM[223,22]: -2
T267: P34' := P34 + 1
IM[223,9]: 1
P25 --> T266 : 2
Pre[224,22]: 2
P33 --> T266 : 1
Pre[224,24]: 1
T266: P25' := P25 - 2
IM[224,22]: -2
T266: P33' := P33 + 1
IM[224,24]: 1
P25 --> T265 : 2
Pre[225,22]: 2
P32 --> T265 : 1
Pre[225,26]: 1
T265: P25' := P25 - 2
IM[225,22]: -2
T265: P32' := P32 + 1
IM[225,26]: 1
P25 --> T264 : 2
Pre[226,22]: 2
P31 --> T264 : 1
Pre[226,25]: 1
T264: P25' := P25 - 2
IM[226,22]: -2
T264: P31' := P31 + 1
IM[226,25]: 1
P25 --> T263 : 2
Pre[227,22]: 2
P30 --> T263 : 1
Pre[227,27]: 1
T263: P25' := P25 - 2
IM[227,22]: -2
T263: P30' := P30 + 1
IM[227,27]: 1
P25 --> T262 : 2
Pre[228,22]: 2
P28 --> T262 : 1
Pre[228,29]: 1
T262: P25' := P25 - 2
IM[228,22]: -2
T262: P28' := P28 + 1
IM[228,29]: 1
P25 --> T261 : 2
Pre[229,22]: 2
P27 --> T261 : 1
Pre[229,28]: 1
T261: P25' := P25 - 2
IM[229,22]: -2
T261: P27' := P27 + 1
IM[229,28]: 1
P25 --> T260 : 2
Pre[230,22]: 2
P26 --> T260 : 1
Pre[230,23]: 1
T260: P25' := P25 - 2
IM[230,22]: -2
T260: P26' := P26 + 1
IM[230,23]: 1
P25 --> T259 : 2
Pre[231,22]: 2
P24 --> T259 : 1
Pre[231,21]: 1
T259: P25' := P25 - 2
IM[231,22]: -2
T259: P24' := P24 + 1
IM[231,21]: 1
P25 --> T258 : 2
Pre[232,22]: 2
P14 --> T258 : 1
Pre[232,20]: 1
T258: P25' := P25 - 2
IM[232,22]: -2
T258: P14' := P14 + 1
IM[232,20]: 1
P25 --> T257 : 2
Pre[233,22]: 2
P13 --> T257 : 1
Pre[233,16]: 1
T257: P25' := P25 - 2
IM[233,22]: -2
T257: P13' := P13 + 1
IM[233,16]: 1
P25 --> T256 : 2
Pre[234,22]: 2
P12 --> T256 : 1
Pre[234,15]: 1
T256: P25' := P25 - 2
IM[234,22]: -2
T256: P12' := P12 + 1
IM[234,15]: 1
P24 --> T255 : 2
Pre[235,21]: 2
P38 --> T255 : 1
Pre[235,19]: 1
T255: P24' := P24 - 2
IM[235,21]: -2
T255: P38' := P38 + 1
IM[235,19]: 1
P24 --> T254 : 2
Pre[236,21]: 2
P36 --> T254 : 1
Pre[236,18]: 1
T254: P24' := P24 - 2
IM[236,21]: -2
T254: P36' := P36 + 1
IM[236,18]: 1
P24 --> T253 : 2
Pre[237,21]: 2
P34 --> T253 : 1
Pre[237,9]: 1
T253: P24' := P24 - 2
IM[237,21]: -2
T253: P34' := P34 + 1
IM[237,9]: 1
P24 --> T252 : 2
Pre[238,21]: 2
P33 --> T252 : 1
Pre[238,24]: 1
T252: P24' := P24 - 2
IM[238,21]: -2
T252: P33' := P33 + 1
IM[238,24]: 1
P24 --> T251 : 2
Pre[239,21]: 2
P32 --> T251 : 1
Pre[239,26]: 1
T251: P24' := P24 - 2
IM[239,21]: -2
T251: P32' := P32 + 1
IM[239,26]: 1
P24 --> T250 : 2
Pre[240,21]: 2
P31 --> T250 : 1
Pre[240,25]: 1
T250: P24' := P24 - 2
IM[240,21]: -2
T250: P31' := P31 + 1
IM[240,25]: 1
P24 --> T249 : 2
Pre[241,21]: 2
P30 --> T249 : 1
Pre[241,27]: 1
T249: P24' := P24 - 2
IM[241,21]: -2
T249: P30' := P30 + 1
IM[241,27]: 1
P24 --> T248 : 2
Pre[242,21]: 2
P28 --> T248 : 1
Pre[242,29]: 1
T248: P24' := P24 - 2
IM[242,21]: -2
T248: P28' := P28 + 1
IM[242,29]: 1
P24 --> T247 : 2
Pre[243,21]: 2
P27 --> T247 : 1
Pre[243,28]: 1
T247: P24' := P24 - 2
IM[243,21]: -2
T247: P27' := P27 + 1
IM[243,28]: 1
P24 --> T246 : 2
Pre[244,21]: 2
P26 --> T246 : 1
Pre[244,23]: 1
T246: P24' := P24 - 2
IM[244,21]: -2
T246: P26' := P26 + 1
IM[244,23]: 1
P24 --> T245 : 2
Pre[245,21]: 2
P25 --> T245 : 1
Pre[245,22]: 1
T245: P24' := P24 - 2
IM[245,21]: -2
T245: P25' := P25 + 1
IM[245,22]: 1
P24 --> T244 : 2
Pre[246,21]: 2
P14 --> T244 : 1
Pre[246,20]: 1
T244: P24' := P24 - 2
IM[246,21]: -2
T244: P14' := P14 + 1
IM[246,20]: 1
P24 --> T243 : 2
Pre[247,21]: 2
P13 --> T243 : 1
Pre[247,16]: 1
T243: P24' := P24 - 2
IM[247,21]: -2
T243: P13' := P13 + 1
IM[247,16]: 1
P24 --> T242 : 2
Pre[248,21]: 2
P12 --> T242 : 1
Pre[248,15]: 1
T242: P24' := P24 - 2
IM[248,21]: -2
T242: P12' := P12 + 1
IM[248,15]: 1
P24 --> T241 : 2
Pre[249,21]: 2
P11 --> T241 : 1
Pre[249,14]: 1
T241: P24' := P24 - 2
IM[249,21]: -2
T241: P11' := P11 + 1
IM[249,14]: 1
P23 --> T240 : 2
Pre[250,37]: 2
P42 --> T240 : 1
Pre[250,38]: 1
T240: P23' := P23 - 2
IM[250,37]: -2
T240: P42' := P42 + 1
IM[250,38]: 1
P23 --> T239 : 2
Pre[251,37]: 2
P40 --> T239 : 1
Pre[251,31]: 1
T239: P23' := P23 - 2
IM[251,37]: -2
T239: P40' := P40 + 1
IM[251,31]: 1
P23 --> T238 : 2
Pre[252,37]: 2
P38 --> T238 : 1
Pre[252,19]: 1
T238: P23' := P23 - 2
IM[252,37]: -2
T238: P38' := P38 + 1
IM[252,19]: 1
P23 --> T237 : 2
Pre[253,37]: 2
P31 --> T237 : 1
Pre[253,25]: 1
T237: P23' := P23 - 2
IM[253,37]: -2
T237: P31' := P31 + 1
IM[253,25]: 1
P23 --> T236 : 2
Pre[254,37]: 2
P30 --> T236 : 1
Pre[254,27]: 1
T236: P23' := P23 - 2
IM[254,37]: -2
T236: P30' := P30 + 1
IM[254,27]: 1
P23 --> T235 : 2
Pre[255,37]: 2
P29 --> T235 : 1
Pre[255,30]: 1
T235: P23' := P23 - 2
IM[255,37]: -2
T235: P29' := P29 + 1
IM[255,30]: 1
P23 --> T234 : 2
Pre[256,37]: 2
P21 --> T234 : 1
Pre[256,36]: 1
T234: P23' := P23 - 2
IM[256,37]: -2
T234: P21' := P21 + 1
IM[256,36]: 1
P23 --> T233 : 2
Pre[257,37]: 2
P19 --> T233 : 1
Pre[257,35]: 1
T233: P23' := P23 - 2
IM[257,37]: -2
T233: P19' := P19 + 1
IM[257,35]: 1
P23 --> T232 : 2
Pre[258,37]: 2
P17 --> T232 : 1
Pre[258,34]: 1
T232: P23' := P23 - 2
IM[258,37]: -2
T232: P17' := P17 + 1
IM[258,34]: 1
P23 --> T231 : 2
Pre[259,37]: 2
P15 --> T231 : 1
Pre[259,33]: 1
T231: P23' := P23 - 2
IM[259,37]: -2
T231: P15' := P15 + 1
IM[259,33]: 1
P21 --> T230 : 2
Pre[260,36]: 2
P42 --> T230 : 1
Pre[260,38]: 1
T230: P21' := P21 - 2
IM[260,36]: -2
T230: P42' := P42 + 1
IM[260,38]: 1
P21 --> T229 : 2
Pre[261,36]: 2
P40 --> T229 : 1
Pre[261,31]: 1
T229: P21' := P21 - 2
IM[261,36]: -2
T229: P40' := P40 + 1
IM[261,31]: 1
P21 --> T228 : 2
Pre[262,36]: 2
P38 --> T228 : 1
Pre[262,19]: 1
T228: P21' := P21 - 2
IM[262,36]: -2
T228: P38' := P38 + 1
IM[262,19]: 1
P21 --> T227 : 2
Pre[263,36]: 2
P32 --> T227 : 1
Pre[263,26]: 1
T227: P21' := P21 - 2
IM[263,36]: -2
T227: P32' := P32 + 1
IM[263,26]: 1
P21 --> T226 : 2
Pre[264,36]: 2
P31 --> T226 : 1
Pre[264,25]: 1
T226: P21' := P21 - 2
IM[264,36]: -2
T226: P31' := P31 + 1
IM[264,25]: 1
P21 --> T225 : 2
Pre[265,36]: 2
P30 --> T225 : 1
Pre[265,27]: 1
T225: P21' := P21 - 2
IM[265,36]: -2
T225: P30' := P30 + 1
IM[265,27]: 1
P21 --> T224 : 2
Pre[266,36]: 2
P29 --> T224 : 1
Pre[266,30]: 1
T224: P21' := P21 - 2
IM[266,36]: -2
T224: P29' := P29 + 1
IM[266,30]: 1
P21 --> T223 : 2
Pre[267,36]: 2
P23 --> T223 : 1
Pre[267,37]: 1
T223: P21' := P21 - 2
IM[267,36]: -2
T223: P23' := P23 + 1
IM[267,37]: 1
P21 --> T222 : 2
Pre[268,36]: 2
P19 --> T222 : 1
Pre[268,35]: 1
T222: P21' := P21 - 2
IM[268,36]: -2
T222: P19' := P19 + 1
IM[268,35]: 1
P21 --> T221 : 2
Pre[269,36]: 2
P17 --> T221 : 1
Pre[269,34]: 1
T221: P21' := P21 - 2
IM[269,36]: -2
T221: P17' := P17 + 1
IM[269,34]: 1
P21 --> T220 : 2
Pre[270,36]: 2
P15 --> T220 : 1
Pre[270,33]: 1
T220: P21' := P21 - 2
IM[270,36]: -2
T220: P15' := P15 + 1
IM[270,33]: 1
P21 --> T219 : 2
Pre[271,36]: 2
P10 --> T219 : 1
Pre[271,32]: 1
T219: P21' := P21 - 2
IM[271,36]: -2
T219: P10' := P10 + 1
IM[271,32]: 1
P19 --> T218 : 2
Pre[272,35]: 2
P42 --> T218 : 1
Pre[272,38]: 1
T218: P19' := P19 - 2
IM[272,35]: -2
T218: P42' := P42 + 1
IM[272,38]: 1
P19 --> T217 : 2
Pre[273,35]: 2
P40 --> T217 : 1
Pre[273,31]: 1
T217: P19' := P19 - 2
IM[273,35]: -2
T217: P40' := P40 + 1
IM[273,31]: 1
P19 --> T216 : 2
Pre[274,35]: 2
P38 --> T216 : 1
Pre[274,19]: 1
T216: P19' := P19 - 2
IM[274,35]: -2
T216: P38' := P38 + 1
IM[274,19]: 1
P19 --> T215 : 2
Pre[275,35]: 2
P36 --> T215 : 1
Pre[275,18]: 1
T215: P19' := P19 - 2
IM[275,35]: -2
T215: P36' := P36 + 1
IM[275,18]: 1
P19 --> T214 : 2
Pre[276,35]: 2
P32 --> T214 : 1
Pre[276,26]: 1
T214: P19' := P19 - 2
IM[276,35]: -2
T214: P32' := P32 + 1
IM[276,26]: 1
P19 --> T213 : 2
Pre[277,35]: 2
P31 --> T213 : 1
Pre[277,25]: 1
T213: P19' := P19 - 2
IM[277,35]: -2
T213: P31' := P31 + 1
IM[277,25]: 1
P19 --> T212 : 2
Pre[278,35]: 2
P30 --> T212 : 1
Pre[278,27]: 1
T212: P19' := P19 - 2
IM[278,35]: -2
T212: P30' := P30 + 1
IM[278,27]: 1
P19 --> T211 : 2
Pre[279,35]: 2
P29 --> T211 : 1
Pre[279,30]: 1
T211: P19' := P19 - 2
IM[279,35]: -2
T211: P29' := P29 + 1
IM[279,30]: 1
P19 --> T210 : 2
Pre[280,35]: 2
P23 --> T210 : 1
Pre[280,37]: 1
T210: P19' := P19 - 2
IM[280,35]: -2
T210: P23' := P23 + 1
IM[280,37]: 1
P19 --> T209 : 2
Pre[281,35]: 2
P21 --> T209 : 1
Pre[281,36]: 1
T209: P19' := P19 - 2
IM[281,35]: -2
T209: P21' := P21 + 1
IM[281,36]: 1
P19 --> T208 : 2
Pre[282,35]: 2
P17 --> T208 : 1
Pre[282,34]: 1
T208: P19' := P19 - 2
IM[282,35]: -2
T208: P17' := P17 + 1
IM[282,34]: 1
P19 --> T207 : 2
Pre[283,35]: 2
P15 --> T207 : 1
Pre[283,33]: 1
T207: P19' := P19 - 2
IM[283,35]: -2
T207: P15' := P15 + 1
IM[283,33]: 1
P19 --> T206 : 2
Pre[284,35]: 2
P10 --> T206 : 1
Pre[284,32]: 1
T206: P19' := P19 - 2
IM[284,35]: -2
T206: P10' := P10 + 1
IM[284,32]: 1
P19 --> T205 : 2
Pre[285,35]: 2
P9 --> T205 : 1
Pre[285,17]: 1
T205: P19' := P19 - 2
IM[285,35]: -2
T205: P9' := P9 + 1
IM[285,17]: 1
P17 --> T204 : 2
Pre[286,34]: 2
P42 --> T204 : 1
Pre[286,38]: 1
T204: P17' := P17 - 2
IM[286,34]: -2
T204: P42' := P42 + 1
IM[286,38]: 1
P17 --> T203 : 2
Pre[287,34]: 2
P40 --> T203 : 1
Pre[287,31]: 1
T203: P17' := P17 - 2
IM[287,34]: -2
T203: P40' := P40 + 1
IM[287,31]: 1
P17 --> T202 : 2
Pre[288,34]: 2
P38 --> T202 : 1
Pre[288,19]: 1
T202: P17' := P17 - 2
IM[288,34]: -2
T202: P38' := P38 + 1
IM[288,19]: 1
P17 --> T201 : 2
Pre[289,34]: 2
P36 --> T201 : 1
Pre[289,18]: 1
T201: P17' := P17 - 2
IM[289,34]: -2
T201: P36' := P36 + 1
IM[289,18]: 1
P17 --> T200 : 2
Pre[290,34]: 2
P32 --> T200 : 1
Pre[290,26]: 1
T200: P17' := P17 - 2
IM[290,34]: -2
T200: P32' := P32 + 1
IM[290,26]: 1
P17 --> T199 : 2
Pre[291,34]: 2
P31 --> T199 : 1
Pre[291,25]: 1
T199: P17' := P17 - 2
IM[291,34]: -2
T199: P31' := P31 + 1
IM[291,25]: 1
P17 --> T198 : 2
Pre[292,34]: 2
P30 --> T198 : 1
Pre[292,27]: 1
T198: P17' := P17 - 2
IM[292,34]: -2
T198: P30' := P30 + 1
IM[292,27]: 1
P17 --> T197 : 2
Pre[293,34]: 2
P29 --> T197 : 1
Pre[293,30]: 1
T197: P17' := P17 - 2
IM[293,34]: -2
T197: P29' := P29 + 1
IM[293,30]: 1
P17 --> T196 : 2
Pre[294,34]: 2
P23 --> T196 : 1
Pre[294,37]: 1
T196: P17' := P17 - 2
IM[294,34]: -2
T196: P23' := P23 + 1
IM[294,37]: 1
P17 --> T195 : 2
Pre[295,34]: 2
P21 --> T195 : 1
Pre[295,36]: 1
T195: P17' := P17 - 2
IM[295,34]: -2
T195: P21' := P21 + 1
IM[295,36]: 1
P17 --> T194 : 2
Pre[296,34]: 2
P19 --> T194 : 1
Pre[296,35]: 1
T194: P17' := P17 - 2
IM[296,34]: -2
T194: P19' := P19 + 1
IM[296,35]: 1
P17 --> T193 : 2
Pre[297,34]: 2
P15 --> T193 : 1
Pre[297,33]: 1
T193: P17' := P17 - 2
IM[297,34]: -2
T193: P15' := P15 + 1
IM[297,33]: 1
P17 --> T192 : 2
Pre[298,34]: 2
P10 --> T192 : 1
Pre[298,32]: 1
T192: P17' := P17 - 2
IM[298,34]: -2
T192: P10' := P10 + 1
IM[298,32]: 1
P17 --> T191 : 2
Pre[299,34]: 2
P9 --> T191 : 1
Pre[299,17]: 1
T191: P17' := P17 - 2
IM[299,34]: -2
T191: P9' := P9 + 1
IM[299,17]: 1
P17 --> T190 : 2
Pre[300,34]: 2
P7 --> T190 : 1
Pre[300,7]: 1
T190: P17' := P17 - 2
IM[300,34]: -2
T190: P7' := P7 + 1
IM[300,7]: 1
P15 --> T189 : 2
Pre[301,33]: 2
P40 --> T189 : 1
Pre[301,31]: 1
T189: P15' := P15 - 2
IM[301,33]: -2
T189: P40' := P40 + 1
IM[301,31]: 1
P15 --> T188 : 2
Pre[302,33]: 2
P38 --> T188 : 1
Pre[302,19]: 1
T188: P15' := P15 - 2
IM[302,33]: -2
T188: P38' := P38 + 1
IM[302,19]: 1
P15 --> T187 : 2
Pre[303,33]: 2
P36 --> T187 : 1
Pre[303,18]: 1
T187: P15' := P15 - 2
IM[303,33]: -2
T187: P36' := P36 + 1
IM[303,18]: 1
P15 --> T186 : 2
Pre[304,33]: 2
P32 --> T186 : 1
Pre[304,26]: 1
T186: P15' := P15 - 2
IM[304,33]: -2
T186: P32' := P32 + 1
IM[304,26]: 1
P15 --> T185 : 2
Pre[305,33]: 2
P31 --> T185 : 1
Pre[305,25]: 1
T185: P15' := P15 - 2
IM[305,33]: -2
T185: P31' := P31 + 1
IM[305,25]: 1
P15 --> T184 : 2
Pre[306,33]: 2
P30 --> T184 : 1
Pre[306,27]: 1
T184: P15' := P15 - 2
IM[306,33]: -2
T184: P30' := P30 + 1
IM[306,27]: 1
P15 --> T183 : 2
Pre[307,33]: 2
P29 --> T183 : 1
Pre[307,30]: 1
T183: P15' := P15 - 2
IM[307,33]: -2
T183: P29' := P29 + 1
IM[307,30]: 1
P15 --> T182 : 2
Pre[308,33]: 2
P23 --> T182 : 1
Pre[308,37]: 1
T182: P15' := P15 - 2
IM[308,33]: -2
T182: P23' := P23 + 1
IM[308,37]: 1
P15 --> T181 : 2
Pre[309,33]: 2
P21 --> T181 : 1
Pre[309,36]: 1
T181: P15' := P15 - 2
IM[309,33]: -2
T181: P21' := P21 + 1
IM[309,36]: 1
P15 --> T180 : 2
Pre[310,33]: 2
P19 --> T180 : 1
Pre[310,35]: 1
T180: P15' := P15 - 2
IM[310,33]: -2
T180: P19' := P19 + 1
IM[310,35]: 1
P15 --> T179 : 2
Pre[311,33]: 2
P17 --> T179 : 1
Pre[311,34]: 1
T179: P15' := P15 - 2
IM[311,33]: -2
T179: P17' := P17 + 1
IM[311,34]: 1
P15 --> T178 : 2
Pre[312,33]: 2
P10 --> T178 : 1
Pre[312,32]: 1
T178: P15' := P15 - 2
IM[312,33]: -2
T178: P10' := P10 + 1
IM[312,32]: 1
P15 --> T177 : 2
Pre[313,33]: 2
P9 --> T177 : 1
Pre[313,17]: 1
T177: P15' := P15 - 2
IM[313,33]: -2
T177: P9' := P9 + 1
IM[313,17]: 1
P15 --> T176 : 2
Pre[314,33]: 2
P7 --> T176 : 1
Pre[314,7]: 1
T176: P15' := P15 - 2
IM[314,33]: -2
T176: P7' := P7 + 1
IM[314,7]: 1
P15 --> T175 : 2
Pre[315,33]: 2
P5 --> T175 : 1
Pre[315,8]: 1
T175: P15' := P15 - 2
IM[315,33]: -2
T175: P5' := P5 + 1
IM[315,8]: 1
P14 --> T174 : 2
Pre[316,20]: 2
P36 --> T174 : 1
Pre[316,18]: 1
T174: P14' := P14 - 2
IM[316,20]: -2
T174: P36' := P36 + 1
IM[316,18]: 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,24]: 1
T172: P14' := P14 - 2
IM[318,20]: -2
T172: P33' := P33 + 1
IM[318,24]: 1
P14 --> T171 : 2
Pre[319,20]: 2
P32 --> T171 : 1
Pre[319,26]: 1
T171: P14' := P14 - 2
IM[319,20]: -2
T171: P32' := P32 + 1
IM[319,26]: 1
P14 --> T170 : 2
Pre[320,20]: 2
P31 --> T170 : 1
Pre[320,25]: 1
T170: P14' := P14 - 2
IM[320,20]: -2
T170: P31' := P31 + 1
IM[320,25]: 1
P14 --> T169 : 2
Pre[321,20]: 2
P30 --> T169 : 1
Pre[321,27]: 1
T169: P14' := P14 - 2
IM[321,20]: -2
T169: P30' := P30 + 1
IM[321,27]: 1
P14 --> T168 : 2
Pre[322,20]: 2
P27 --> T168 : 1
Pre[322,28]: 1
T168: P14' := P14 - 2
IM[322,20]: -2
T168: P27' := P27 + 1
IM[322,28]: 1
P14 --> T167 : 2
Pre[323,20]: 2
P26 --> T167 : 1
Pre[323,23]: 1
T167: P14' := P14 - 2
IM[323,20]: -2
T167: P26' := P26 + 1
IM[323,23]: 1
P14 --> T166 : 2
Pre[324,20]: 2
P25 --> T166 : 1
Pre[324,22]: 1
T166: P14' := P14 - 2
IM[324,20]: -2
T166: P25' := P25 + 1
IM[324,22]: 1
P14 --> T165 : 2
Pre[325,20]: 2
P24 --> T165 : 1
Pre[325,21]: 1
T165: P14' := P14 - 2
IM[325,20]: -2
T165: P24' := P24 + 1
IM[325,21]: 1
P14 --> T164 : 2
Pre[326,20]: 2
P13 --> T164 : 1
Pre[326,16]: 1
T164: P14' := P14 - 2
IM[326,20]: -2
T164: P13' := P13 + 1
IM[326,16]: 1
P14 --> T163 : 2
Pre[327,20]: 2
P12 --> T163 : 1
Pre[327,15]: 1
T163: P14' := P14 - 2
IM[327,20]: -2
T163: P12' := P12 + 1
IM[327,15]: 1
P14 --> T162 : 2
Pre[328,20]: 2
P11 --> T162 : 1
Pre[328,14]: 1
T162: P14' := P14 - 2
IM[328,20]: -2
T162: P11' := P11 + 1
IM[328,14]: 1
P14 --> T161 : 2
Pre[329,20]: 2
P4 --> T161 : 1
Pre[329,13]: 1
T161: P14' := P14 - 2
IM[329,20]: -2
T161: P4' := P4 + 1
IM[329,13]: 1
P13 --> T160 : 2
Pre[330,16]: 2
P36 --> T160 : 1
Pre[330,18]: 1
T160: P13' := P13 - 2
IM[330,16]: -2
T160: P36' := P36 + 1
IM[330,18]: 1
P13 --> T159 : 2
Pre[331,16]: 2
P34 --> T159 : 1
Pre[331,9]: 1
T159: P13' := P13 - 2
IM[331,16]: -2
T159: P34' := P34 + 1
IM[331,9]: 1
P13 --> T158 : 2
Pre[332,16]: 2
P33 --> T158 : 1
Pre[332,24]: 1
T158: P13' := P13 - 2
IM[332,16]: -2
T158: P33' := P33 + 1
IM[332,24]: 1
P13 --> T157 : 2
Pre[333,16]: 2
P32 --> T157 : 1
Pre[333,26]: 1
T157: P13' := P13 - 2
IM[333,16]: -2
T157: P32' := P32 + 1
IM[333,26]: 1
P13 --> T156 : 2
Pre[334,16]: 2
P31 --> T156 : 1
Pre[334,25]: 1
T156: P13' := P13 - 2
IM[334,16]: -2
T156: P31' := P31 + 1
IM[334,25]: 1
P13 --> T155 : 2
Pre[335,16]: 2
P26 --> T155 : 1
Pre[335,23]: 1
T155: P13' := P13 - 2
IM[335,16]: -2
T155: P26' := P26 + 1
IM[335,23]: 1
P13 --> T154 : 2
Pre[336,16]: 2
P25 --> T154 : 1
Pre[336,22]: 1
T154: P13' := P13 - 2
IM[336,16]: -2
T154: P25' := P25 + 1
IM[336,22]: 1
P13 --> T153 : 2
Pre[337,16]: 2
P24 --> T153 : 1
Pre[337,21]: 1
T153: P13' := P13 - 2
IM[337,16]: -2
T153: P24' := P24 + 1
IM[337,21]: 1
P13 --> T152 : 2
Pre[338,16]: 2
P14 --> T152 : 1
Pre[338,20]: 1
T152: P13' := P13 - 2
IM[338,16]: -2
T152: P14' := P14 + 1
IM[338,20]: 1
P13 --> T151 : 2
Pre[339,16]: 2
P12 --> T151 : 1
Pre[339,15]: 1
T151: P13' := P13 - 2
IM[339,16]: -2
T151: P12' := P12 + 1
IM[339,15]: 1
P13 --> T150 : 2
Pre[340,16]: 2
P11 --> T150 : 1
Pre[340,14]: 1
T150: P13' := P13 - 2
IM[340,16]: -2
T150: P11' := P11 + 1
IM[340,14]: 1
P13 --> T149 : 2
Pre[341,16]: 2
P5 --> T149 : 1
Pre[341,8]: 1
T149: P13' := P13 - 2
IM[341,16]: -2
T149: P5' := P5 + 1
IM[341,8]: 1
P13 --> T148 : 2
Pre[342,16]: 2
P4 --> T148 : 1
Pre[342,13]: 1
T148: P13' := P13 - 2
IM[342,16]: -2
T148: P4' := P4 + 1
IM[342,13]: 1
P13 --> T147 : 2
Pre[343,16]: 2
P3 --> T147 : 1
Pre[343,12]: 1
T147: P13' := P13 - 2
IM[343,16]: -2
T147: P3' := P3 + 1
IM[343,12]: 1
P12 --> T146 : 2
Pre[344,15]: 2
P36 --> T146 : 1
Pre[344,18]: 1
T146: P12' := P12 - 2
IM[344,15]: -2
T146: P36' := P36 + 1
IM[344,18]: 1
P12 --> T145 : 2
Pre[345,15]: 2
P34 --> T145 : 1
Pre[345,9]: 1
T145: P12' := P12 - 2
IM[345,15]: -2
T145: P34' := P34 + 1
IM[345,9]: 1
P12 --> T144 : 2
Pre[346,15]: 2
P32 --> T144 : 1
Pre[346,26]: 1
T144: P12' := P12 - 2
IM[346,15]: -2
T144: P32' := P32 + 1
IM[346,26]: 1
P12 --> T143 : 2
Pre[347,15]: 2
P31 --> T143 : 1
Pre[347,25]: 1
T143: P12' := P12 - 2
IM[347,15]: -2
T143: P31' := P31 + 1
IM[347,25]: 1
P12 --> T142 : 2
Pre[348,15]: 2
P30 --> T142 : 1
Pre[348,27]: 1
T142: P12' := P12 - 2
IM[348,15]: -2
T142: P30' := P30 + 1
IM[348,27]: 1
P12 --> T141 : 2
Pre[349,15]: 2
P25 --> T141 : 1
Pre[349,22]: 1
T141: P12' := P12 - 2
IM[349,15]: -2
T141: P25' := P25 + 1
IM[349,22]: 1
P12 --> T140 : 2
Pre[350,15]: 2
P24 --> T140 : 1
Pre[350,21]: 1
T140: P12' := P12 - 2
IM[350,15]: -2
T140: P24' := P24 + 1
IM[350,21]: 1
P12 --> T139 : 2
Pre[351,15]: 2
P14 --> T139 : 1
Pre[351,20]: 1
T139: P12' := P12 - 2
IM[351,15]: -2
T139: P14' := P14 + 1
IM[351,20]: 1
P12 --> T138 : 2
Pre[352,15]: 2
P13 --> T138 : 1
Pre[352,16]: 1
T138: P12' := P12 - 2
IM[352,15]: -2
T138: P13' := P13 + 1
IM[352,16]: 1
P12 --> T137 : 2
Pre[353,15]: 2
P11 --> T137 : 1
Pre[353,14]: 1
T137: P12' := P12 - 2
IM[353,15]: -2
T137: P11' := P11 + 1
IM[353,14]: 1
P12 --> T136 : 2
Pre[354,15]: 2
P7 --> T136 : 1
Pre[354,7]: 1
T136: P12' := P12 - 2
IM[354,15]: -2
T136: P7' := P7 + 1
IM[354,7]: 1
P12 --> T135 : 2
Pre[355,15]: 2
P5 --> T135 : 1
Pre[355,8]: 1
T135: P12' := P12 - 2
IM[355,15]: -2
T135: P5' := P5 + 1
IM[355,8]: 1
P12 --> T134 : 2
Pre[356,15]: 2
P4 --> T134 : 1
Pre[356,13]: 1
T134: P12' := P12 - 2
IM[356,15]: -2
T134: P4' := P4 + 1
IM[356,13]: 1
P12 --> T133 : 2
Pre[357,15]: 2
P3 --> T133 : 1
Pre[357,12]: 1
T133: P12' := P12 - 2
IM[357,15]: -2
T133: P3' := P3 + 1
IM[357,12]: 1
P12 --> T132 : 2
Pre[358,15]: 2
P2 --> T132 : 1
Pre[358,11]: 1
T132: P12' := P12 - 2
IM[358,15]: -2
T132: P2' := P2 + 1
IM[358,11]: 1
P11 --> T131 : 2
Pre[359,14]: 2
P36 --> T131 : 1
Pre[359,18]: 1
T131: P11' := P11 - 2
IM[359,14]: -2
T131: P36' := P36 + 1
IM[359,18]: 1
P11 --> T130 : 2
Pre[360,14]: 2
P34 --> T130 : 1
Pre[360,9]: 1
T130: P11' := P11 - 2
IM[360,14]: -2
T130: P34' := P34 + 1
IM[360,9]: 1
P11 --> T129 : 2
Pre[361,14]: 2
P31 --> T129 : 1
Pre[361,25]: 1
T129: P11' := P11 - 2
IM[361,14]: -2
T129: P31' := P31 + 1
IM[361,25]: 1
P11 --> T128 : 2
Pre[362,14]: 2
P30 --> T128 : 1
Pre[362,27]: 1
T128: P11' := P11 - 2
IM[362,14]: -2
T128: P30' := P30 + 1
IM[362,27]: 1
P11 --> T127 : 2
Pre[363,14]: 2
P29 --> T127 : 1
Pre[363,30]: 1
T127: P11' := P11 - 2
IM[363,14]: -2
T127: P29' := P29 + 1
IM[363,30]: 1
P11 --> T126 : 2
Pre[364,14]: 2
P24 --> T126 : 1
Pre[364,21]: 1
T126: P11' := P11 - 2
IM[364,14]: -2
T126: P24' := P24 + 1
IM[364,21]: 1
P11 --> T125 : 2
Pre[365,14]: 2
P14 --> T125 : 1
Pre[365,20]: 1
T125: P11' := P11 - 2
IM[365,14]: -2
T125: P14' := P14 + 1
IM[365,20]: 1
P11 --> T124 : 2
Pre[366,14]: 2
P13 --> T124 : 1
Pre[366,16]: 1
T124: P11' := P11 - 2
IM[366,14]: -2
T124: P13' := P13 + 1
IM[366,16]: 1
P11 --> T123 : 2
Pre[367,14]: 2
P12 --> T123 : 1
Pre[367,15]: 1
T123: P11' := P11 - 2
IM[367,14]: -2
T123: P12' := P12 + 1
IM[367,15]: 1
P11 --> T122 : 2
Pre[368,14]: 2
P9 --> T122 : 1
Pre[368,17]: 1
T122: P11' := P11 - 2
IM[368,14]: -2
T122: P9' := P9 + 1
IM[368,17]: 1
P11 --> T121 : 2
Pre[369,14]: 2
P7 --> T121 : 1
Pre[369,7]: 1
T121: P11' := P11 - 2
IM[369,14]: -2
T121: P7' := P7 + 1
IM[369,7]: 1
P11 --> T120 : 2
Pre[370,14]: 2
P5 --> T120 : 1
Pre[370,8]: 1
T120: P11' := P11 - 2
IM[370,14]: -2
T120: P5' := P5 + 1
IM[370,8]: 1
P11 --> T119 : 2
Pre[371,14]: 2
P4 --> T119 : 1
Pre[371,13]: 1
T119: P11' := P11 - 2
IM[371,14]: -2
T119: P4' := P4 + 1
IM[371,13]: 1
P11 --> T118 : 2
Pre[372,14]: 2
P3 --> T118 : 1
Pre[372,12]: 1
T118: P11' := P11 - 2
IM[372,14]: -2
T118: P3' := P3 + 1
IM[372,12]: 1
P11 --> T117 : 2
Pre[373,14]: 2
P2 --> T117 : 1
Pre[373,11]: 1
T117: P11' := P11 - 2
IM[373,14]: -2
T117: P2' := P2 + 1
IM[373,11]: 1
P11 --> T116 : 2
Pre[374,14]: 2
P1 --> T116 : 1
Pre[374,10]: 1
T116: P11' := P11 - 2
IM[374,14]: -2
T116: P1' := P1 + 1
IM[374,10]: 1
P10 --> T115 : 2
Pre[375,32]: 2
P40 --> T115 : 1
Pre[375,31]: 1
T115: P10' := P10 - 2
IM[375,32]: -2
T115: P40' := P40 + 1
IM[375,31]: 1
P10 --> T114 : 2
Pre[376,32]: 2
P38 --> T114 : 1
Pre[376,19]: 1
T114: P10' := P10 - 2
IM[376,32]: -2
T114: P38' := P38 + 1
IM[376,19]: 1
P10 --> T113 : 2
Pre[377,32]: 2
P36 --> T113 : 1
Pre[377,18]: 1
T113: P10' := P10 - 2
IM[377,32]: -2
T113: P36' := P36 + 1
IM[377,18]: 1
P10 --> T112 : 2
Pre[378,32]: 2
P31 --> T112 : 1
Pre[378,25]: 1
T112: P10' := P10 - 2
IM[378,32]: -2
T112: P31' := P31 + 1
IM[378,25]: 1
P10 --> T111 : 2
Pre[379,32]: 2
P30 --> T111 : 1
Pre[379,27]: 1
T111: P10' := P10 - 2
IM[379,32]: -2
T111: P30' := P30 + 1
IM[379,27]: 1
P10 --> T110 : 2
Pre[380,32]: 2
P29 --> T110 : 1
Pre[380,30]: 1
T110: P10' := P10 - 2
IM[380,32]: -2
T110: P29' := P29 + 1
IM[380,30]: 1
P10 --> T109 : 2
Pre[381,32]: 2
P21 --> T109 : 1
Pre[381,36]: 1
T109: P10' := P10 - 2
IM[381,32]: -2
T109: P21' := P21 + 1
IM[381,36]: 1
P10 --> T108 : 2
Pre[382,32]: 2
P19 --> T108 : 1
Pre[382,35]: 1
T108: P10' := P10 - 2
IM[382,32]: -2
T108: P19' := P19 + 1
IM[382,35]: 1
P10 --> T107 : 2
Pre[383,32]: 2
P17 --> T107 : 1
Pre[383,34]: 1
T107: P10' := P10 - 2
IM[383,32]: -2
T107: P17' := P17 + 1
IM[383,34]: 1
P10 --> T106 : 2
Pre[384,32]: 2
P15 --> T106 : 1
Pre[384,33]: 1
T106: P10' := P10 - 2
IM[384,32]: -2
T106: P15' := P15 + 1
IM[384,33]: 1
P10 --> T105 : 2
Pre[385,32]: 2
P9 --> T105 : 1
Pre[385,17]: 1
T105: P10' := P10 - 2
IM[385,32]: -2
T105: P9' := P9 + 1
IM[385,17]: 1
P10 --> T104 : 2
Pre[386,32]: 2
P7 --> T104 : 1
Pre[386,7]: 1
T104: P10' := P10 - 2
IM[386,32]: -2
T104: P7' := P7 + 1
IM[386,7]: 1
P10 --> T103 : 2
Pre[387,32]: 2
P5 --> T103 : 1
Pre[387,8]: 1
T103: P10' := P10 - 2
IM[387,32]: -2
T103: P5' := P5 + 1
IM[387,8]: 1
P10 --> T102 : 2
Pre[388,32]: 2
P4 --> T102 : 1
Pre[388,13]: 1
T102: P10' := P10 - 2
IM[388,32]: -2
T102: P4' := P4 + 1
IM[388,13]: 1
P9 --> T101 : 2
Pre[389,17]: 2
P40 --> T101 : 1
Pre[389,31]: 1
T101: P9' := P9 - 2
IM[389,17]: -2
T101: P40' := P40 + 1
IM[389,31]: 1
P9 --> T100 : 2
Pre[390,17]: 2
P38 --> T100 : 1
Pre[390,19]: 1
T100: P9' := P9 - 2
IM[390,17]: -2
T100: P38' := P38 + 1
IM[390,19]: 1
P9 --> T99 : 2
Pre[391,17]: 2
P31 --> T99 : 1
Pre[391,25]: 1
T99: P9' := P9 - 2
IM[391,17]: -2
T99: P31' := P31 + 1
IM[391,25]: 1
P9 --> T98 : 2
Pre[392,17]: 2
P30 --> T98 : 1
Pre[392,27]: 1
T98: P9' := P9 - 2
IM[392,17]: -2
T98: P30' := P30 + 1
IM[392,27]: 1
P9 --> T97 : 2
Pre[393,17]: 2
P29 --> T97 : 1
Pre[393,30]: 1
T97: P9' := P9 - 2
IM[393,17]: -2
T97: P29' := P29 + 1
IM[393,30]: 1
P9 --> T96 : 2
Pre[394,17]: 2
P19 --> T96 : 1
Pre[394,35]: 1
T96: P9' := P9 - 2
IM[394,17]: -2
T96: P19' := P19 + 1
IM[394,35]: 1
P9 --> T95 : 2
Pre[395,17]: 2
P17 --> T95 : 1
Pre[395,34]: 1
T95: P9' := P9 - 2
IM[395,17]: -2
T95: P17' := P17 + 1
IM[395,34]: 1
P9 --> T94 : 2
Pre[396,17]: 2
P15 --> T94 : 1
Pre[396,33]: 1
T94: P9' := P9 - 2
IM[396,17]: -2
T94: P15' := P15 + 1
IM[396,33]: 1
P9 --> T93 : 2
Pre[397,17]: 2
P11 --> T93 : 1
Pre[397,14]: 1
T93: P9' := P9 - 2
IM[397,17]: -2
T93: P11' := P11 + 1
IM[397,14]: 1
P9 --> T92 : 2
Pre[398,17]: 2
P10 --> T92 : 1
Pre[398,32]: 1
T92: P9' := P9 - 2
IM[398,17]: -2
T92: P10' := P10 + 1
IM[398,32]: 1
P9 --> T91 : 2
Pre[399,17]: 2
P7 --> T91 : 1
Pre[399,7]: 1
T91: P9' := P9 - 2
IM[399,17]: -2
T91: P7' := P7 + 1
IM[399,7]: 1
P9 --> T90 : 2
Pre[400,17]: 2
P5 --> T90 : 1
Pre[400,8]: 1
T90: P9' := P9 - 2
IM[400,17]: -2
T90: P5' := P5 + 1
IM[400,8]: 1
P9 --> T89 : 2
Pre[401,17]: 2
P4 --> T89 : 1
Pre[401,13]: 1
T89: P9' := P9 - 2
IM[401,17]: -2
T89: P4' := P4 + 1
IM[401,13]: 1
P9 --> T88 : 2
Pre[402,17]: 2
P3 --> T88 : 1
Pre[402,12]: 1
T88: P9' := P9 - 2
IM[402,17]: -2
T88: P3' := P3 + 1
IM[402,12]: 1
P7 --> T87 : 2
Pre[403,7]: 2
P38 --> T87 : 1
Pre[403,19]: 1
T87: P7' := P7 - 2
IM[403,7]: -2
T87: P38' := P38 + 1
IM[403,19]: 1
P7 --> T86 : 2
Pre[404,7]: 2
P36 --> T86 : 1
Pre[404,18]: 1
T86: P7' := P7 - 2
IM[404,7]: -2
T86: P36' := P36 + 1
IM[404,18]: 1
P7 --> T85 : 2
Pre[405,7]: 2
P31 --> T85 : 1
Pre[405,25]: 1
T85: P7' := P7 - 2
IM[405,7]: -2
T85: P31' := P31 + 1
IM[405,25]: 1
P7 --> T84 : 2
Pre[406,7]: 2
P30 --> T84 : 1
Pre[406,27]: 1
T84: P7' := P7 - 2
IM[406,7]: -2
T84: P30' := P30 + 1
IM[406,27]: 1
P7 --> T83 : 2
Pre[407,7]: 2
P29 --> T83 : 1
Pre[407,30]: 1
T83: P7' := P7 - 2
IM[407,7]: -2
T83: P29' := P29 + 1
IM[407,30]: 1
P7 --> T82 : 2
Pre[408,7]: 2
P17 --> T82 : 1
Pre[408,34]: 1
T82: P7' := P7 - 2
IM[408,7]: -2
T82: P17' := P17 + 1
IM[408,34]: 1
P7 --> T81 : 2
Pre[409,7]: 2
P15 --> T81 : 1
Pre[409,33]: 1
T81: P7' := P7 - 2
IM[409,7]: -2
T81: P15' := P15 + 1
IM[409,33]: 1
P7 --> T80 : 2
Pre[410,7]: 2
P12 --> T80 : 1
Pre[410,15]: 1
T80: P7' := P7 - 2
IM[410,7]: -2
T80: P12' := P12 + 1
IM[410,15]: 1
P7 --> T79 : 2
Pre[411,7]: 2
P11 --> T79 : 1
Pre[411,14]: 1
T79: P7' := P7 - 2
IM[411,7]: -2
T79: P11' := P11 + 1
IM[411,14]: 1
P7 --> T78 : 2
Pre[412,7]: 2
P10 --> T78 : 1
Pre[412,32]: 1
T78: P7' := P7 - 2
IM[412,7]: -2
T78: P10' := P10 + 1
IM[412,32]: 1
P7 --> T77 : 2
Pre[413,7]: 2
P9 --> T77 : 1
Pre[413,17]: 1
T77: P7' := P7 - 2
IM[413,7]: -2
T77: P9' := P9 + 1
IM[413,17]: 1
P7 --> T76 : 2
Pre[414,7]: 2
P5 --> T76 : 1
Pre[414,8]: 1
T76: P7' := P7 - 2
IM[414,7]: -2
T76: P5' := P5 + 1
IM[414,8]: 1
P7 --> T75 : 2
Pre[415,7]: 2
P4 --> T75 : 1
Pre[415,13]: 1
T75: P7' := P7 - 2
IM[415,7]: -2
T75: P4' := P4 + 1
IM[415,13]: 1
P7 --> T74 : 2
Pre[416,7]: 2
P3 --> T74 : 1
Pre[416,12]: 1
T74: P7' := P7 - 2
IM[416,7]: -2
T74: P3' := P3 + 1
IM[416,12]: 1
P7 --> T73 : 2
Pre[417,7]: 2
P2 --> T73 : 1
Pre[417,11]: 1
T73: P7' := P7 - 2
IM[417,7]: -2
T73: P2' := P2 + 1
IM[417,11]: 1
P5 --> T72 : 2
Pre[418,8]: 2
P36 --> T72 : 1
Pre[418,18]: 1
T72: P5' := P5 - 2
IM[418,8]: -2
T72: P36' := P36 + 1
IM[418,18]: 1
P5 --> T71 : 2
Pre[419,8]: 2
P34 --> T71 : 1
Pre[419,9]: 1
T71: P5' := P5 - 2
IM[419,8]: -2
T71: P34' := P34 + 1
IM[419,9]: 1
P5 --> T70 : 2
Pre[420,8]: 2
P31 --> T70 : 1
Pre[420,25]: 1
T70: P5' := P5 - 2
IM[420,8]: -2
T70: P31' := P31 + 1
IM[420,25]: 1
P5 --> T69 : 2
Pre[421,8]: 2
P30 --> T69 : 1
Pre[421,27]: 1
T69: P5' := P5 - 2
IM[421,8]: -2
T69: P30' := P30 + 1
IM[421,27]: 1
P5 --> T68 : 2
Pre[422,8]: 2
P29 --> T68 : 1
Pre[422,30]: 1
T68: P5' := P5 - 2
IM[422,8]: -2
T68: P29' := P29 + 1
IM[422,30]: 1
P5 --> T67 : 2
Pre[423,8]: 2
P15 --> T67 : 1
Pre[423,33]: 1
T67: P5' := P5 - 2
IM[423,8]: -2
T67: P15' := P15 + 1
IM[423,33]: 1
P5 --> T66 : 2
Pre[424,8]: 2
P13 --> T66 : 1
Pre[424,16]: 1
T66: P5' := P5 - 2
IM[424,8]: -2
T66: P13' := P13 + 1
IM[424,16]: 1
P5 --> T65 : 2
Pre[425,8]: 2
P12 --> T65 : 1
Pre[425,15]: 1
T65: P5' := P5 - 2
IM[425,8]: -2
T65: P12' := P12 + 1
IM[425,15]: 1
P5 --> T64 : 2
Pre[426,8]: 2
P11 --> T64 : 1
Pre[426,14]: 1
T64: P5' := P5 - 2
IM[426,8]: -2
T64: P11' := P11 + 1
IM[426,14]: 1
P5 --> T63 : 2
Pre[427,8]: 2
P10 --> T63 : 1
Pre[427,32]: 1
T63: P5' := P5 - 2
IM[427,8]: -2
T63: P10' := P10 + 1
IM[427,32]: 1
P5 --> T62 : 2
Pre[428,8]: 2
P9 --> T62 : 1
Pre[428,17]: 1
T62: P5' := P5 - 2
IM[428,8]: -2
T62: P9' := P9 + 1
IM[428,17]: 1
P5 --> T61 : 2
Pre[429,8]: 2
P7 --> T61 : 1
Pre[429,7]: 1
T61: P5' := P5 - 2
IM[429,8]: -2
T61: P7' := P7 + 1
IM[429,7]: 1
P5 --> T60 : 2
Pre[430,8]: 2
P4 --> T60 : 1
Pre[430,13]: 1
T60: P5' := P5 - 2
IM[430,8]: -2
T60: P4' := P4 + 1
IM[430,13]: 1
P5 --> T59 : 2
Pre[431,8]: 2
P3 --> T59 : 1
Pre[431,12]: 1
T59: P5' := P5 - 2
IM[431,8]: -2
T59: P3' := P3 + 1
IM[431,12]: 1
P5 --> T58 : 2
Pre[432,8]: 2
P2 --> T58 : 1
Pre[432,11]: 1
T58: P5' := P5 - 2
IM[432,8]: -2
T58: P2' := P2 + 1
IM[432,11]: 1
P5 --> T57 : 2
Pre[433,8]: 2
P1 --> T57 : 1
Pre[433,10]: 1
T57: P5' := P5 - 2
IM[433,8]: -2
T57: P1' := P1 + 1
IM[433,10]: 1
P4 --> T56 : 2
Pre[434,13]: 2
P36 --> T56 : 1
Pre[434,18]: 1
T56: P4' := P4 - 2
IM[434,13]: -2
T56: P36' := P36 + 1
IM[434,18]: 1
P4 --> T55 : 2
Pre[435,13]: 2
P34 --> T55 : 1
Pre[435,9]: 1
T55: P4' := P4 - 2
IM[435,13]: -2
T55: P34' := P34 + 1
IM[435,9]: 1
P4 --> T54 : 2
Pre[436,13]: 2
P30 --> T54 : 1
Pre[436,27]: 1
T54: P4' := P4 - 2
IM[436,13]: -2
T54: P30' := P30 + 1
IM[436,27]: 1
P4 --> T53 : 2
Pre[437,13]: 2
P29 --> T53 : 1
Pre[437,30]: 1
T53: P4' := P4 - 2
IM[437,13]: -2
T53: P29' := P29 + 1
IM[437,30]: 1
P4 --> T52 : 2
Pre[438,13]: 2
P14 --> T52 : 1
Pre[438,20]: 1
T52: P4' := P4 - 2
IM[438,13]: -2
T52: P14' := P14 + 1
IM[438,20]: 1
P4 --> T51 : 2
Pre[439,13]: 2
P13 --> T51 : 1
Pre[439,16]: 1
T51: P4' := P4 - 2
IM[439,13]: -2
T51: P13' := P13 + 1
IM[439,16]: 1
P4 --> T50 : 2
Pre[440,13]: 2
P12 --> T50 : 1
Pre[440,15]: 1
T50: P4' := P4 - 2
IM[440,13]: -2
T50: P12' := P12 + 1
IM[440,15]: 1
P4 --> T49 : 2
Pre[441,13]: 2
P11 --> T49 : 1
Pre[441,14]: 1
T49: P4' := P4 - 2
IM[441,13]: -2
T49: P11' := P11 + 1
IM[441,14]: 1
P4 --> T48 : 2
Pre[442,13]: 2
P10 --> T48 : 1
Pre[442,32]: 1
T48: P4' := P4 - 2
IM[442,13]: -2
T48: P10' := P10 + 1
IM[442,32]: 1
P4 --> T47 : 2
Pre[443,13]: 2
P9 --> T47 : 1
Pre[443,17]: 1
T47: P4' := P4 - 2
IM[443,13]: -2
T47: P9' := P9 + 1
IM[443,17]: 1
P4 --> T46 : 2
Pre[444,13]: 2
P7 --> T46 : 1
Pre[444,7]: 1
T46: P4' := P4 - 2
IM[444,13]: -2
T46: P7' := P7 + 1
IM[444,7]: 1
P4 --> T45 : 2
Pre[445,13]: 2
P5 --> T45 : 1
Pre[445,8]: 1
T45: P4' := P4 - 2
IM[445,13]: -2
T45: P5' := P5 + 1
IM[445,8]: 1
P4 --> T44 : 2
Pre[446,13]: 2
P3 --> T44 : 1
Pre[446,12]: 1
T44: P4' := P4 - 2
IM[446,13]: -2
T44: P3' := P3 + 1
IM[446,12]: 1
P4 --> T43 : 2
Pre[447,13]: 2
P2 --> T43 : 1
Pre[447,11]: 1
T43: P4' := P4 - 2
IM[447,13]: -2
T43: P2' := P2 + 1
IM[447,11]: 1
P4 --> T42 : 2
Pre[448,13]: 2
P1 --> T42 : 1
Pre[448,10]: 1
T42: P4' := P4 - 2
IM[448,13]: -2
T42: P1' := P1 + 1
IM[448,10]: 1
P3 --> T41 : 2
Pre[449,12]: 2
P13 --> T41 : 1
Pre[449,16]: 1
T41: P3' := P3 - 2
IM[449,12]: -2
T41: P13' := P13 + 1
IM[449,16]: 1
P3 --> T40 : 2
Pre[450,12]: 2
P12 --> T40 : 1
Pre[450,15]: 1
T40: P3' := P3 - 2
IM[450,12]: -2
T40: P12' := P12 + 1
IM[450,15]: 1
P3 --> T39 : 2
Pre[451,12]: 2
P11 --> T39 : 1
Pre[451,14]: 1
T39: P3' := P3 - 2
IM[451,12]: -2
T39: P11' := P11 + 1
IM[451,14]: 1
P3 --> T38 : 2
Pre[452,12]: 2
P9 --> T38 : 1
Pre[452,17]: 1
T38: P3' := P3 - 2
IM[452,12]: -2
T38: P9' := P9 + 1
IM[452,17]: 1
P3 --> T37 : 2
Pre[453,12]: 2
P7 --> T37 : 1
Pre[453,7]: 1
T37: P3' := P3 - 2
IM[453,12]: -2
T37: P7' := P7 + 1
IM[453,7]: 1
P3 --> T36 : 2
Pre[454,12]: 2
P5 --> T36 : 1
Pre[454,8]: 1
T36: P3' := P3 - 2
IM[454,12]: -2
T36: P5' := P5 + 1
IM[454,8]: 1
P3 --> T35 : 2
Pre[455,12]: 2
P4 --> T35 : 1
Pre[455,13]: 1
T35: P3' := P3 - 2
IM[455,12]: -2
T35: P4' := P4 + 1
IM[455,13]: 1
P3 --> T34 : 2
Pre[456,12]: 2
P2 --> T34 : 1
Pre[456,11]: 1
T34: P3' := P3 - 2
IM[456,12]: -2
T34: P2' := P2 + 1
IM[456,11]: 1
P3 --> T33 : 2
Pre[457,12]: 2
P1 --> T33 : 1
Pre[457,10]: 1
T33: P3' := P3 - 2
IM[457,12]: -2
T33: P1' := P1 + 1
IM[457,10]: 1
P2 --> T32 : 2
Pre[458,11]: 2
P12 --> T32 : 1
Pre[458,15]: 1
T32: P2' := P2 - 2
IM[458,11]: -2
T32: P12' := P12 + 1
IM[458,15]: 1
P2 --> T31 : 2
Pre[459,11]: 2
P11 --> T31 : 1
Pre[459,14]: 1
T31: P2' := P2 - 2
IM[459,11]: -2
T31: P11' := P11 + 1
IM[459,14]: 1
P2 --> T30 : 2
Pre[460,11]: 2
P7 --> T30 : 1
Pre[460,7]: 1
T30: P2' := P2 - 2
IM[460,11]: -2
T30: P7' := P7 + 1
IM[460,7]: 1
P2 --> T29 : 2
Pre[461,11]: 2
P5 --> T29 : 1
Pre[461,8]: 1
T29: P2' := P2 - 2
IM[461,11]: -2
T29: P5' := P5 + 1
IM[461,8]: 1
P2 --> T28 : 2
Pre[462,11]: 2
P4 --> T28 : 1
Pre[462,13]: 1
T28: P2' := P2 - 2
IM[462,11]: -2
T28: P4' := P4 + 1
IM[462,13]: 1
P2 --> T27 : 2
Pre[463,11]: 2
P3 --> T27 : 1
Pre[463,12]: 1
T27: P2' := P2 - 2
IM[463,11]: -2
T27: P3' := P3 + 1
IM[463,12]: 1
P2 --> T26 : 2
Pre[464,11]: 2
P1 --> T26 : 1
Pre[464,10]: 1
T26: P2' := P2 - 2
IM[464,11]: -2
T26: P1' := P1 + 1
IM[464,10]: 1
P1 --> T25 : 2
Pre[465,10]: 2
P11 --> T25 : 1
Pre[465,14]: 1
T25: P1' := P1 - 2
IM[465,10]: -2
T25: P11' := P11 + 1
IM[465,14]: 1
P1 --> T24 : 2
Pre[466,10]: 2
P5 --> T24 : 1
Pre[466,8]: 1
T24: P1' := P1 - 2
IM[466,10]: -2
T24: P5' := P5 + 1
IM[466,8]: 1
P1 --> T23 : 2
Pre[467,10]: 2
P4 --> T23 : 1
Pre[467,13]: 1
T23: P1' := P1 - 2
IM[467,10]: -2
T23: P4' := P4 + 1
IM[467,13]: 1
P1 --> T22 : 2
Pre[468,10]: 2
P3 --> T22 : 1
Pre[468,12]: 1
T22: P1' := P1 - 2
IM[468,10]: -2
T22: P3' := P3 + 1
IM[468,12]: 1
P1 --> T21 : 2
Pre[469,10]: 2
P2 --> T21 : 1
Pre[469,11]: 1
T21: P1' := P1 - 2
IM[469,10]: -2
T21: P2' := P2 + 1
IM[469,11]: 1
P41 --> T20 : 1
Pre[470,5]: 1
T20: P41' := P41 - 1
IM[470,5]: -1
P41 --> T19 : 1
Pre[471,5]: 1
T19: P41' := P41 - 1
IM[471,5]: -1
T19: P40' := P40 + 1
IM[471,31]: 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,19]: 1
P37 --> T16 : 1
Pre[474,3]: 1
T16: P37' := P37 - 1
IM[474,3]: -1
P37 --> T15 : 1
Pre[475,3]: 1
T15: P37' := P37 - 1
IM[475,3]: -1
T15: P36' := P36 + 1
IM[475,18]: 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,36]: 1
P20 --> T10 : 1
Pre[480,40]: 1
T10: P20' := P20 - 1
IM[480,40]: -1
P20 --> T9 : 1
Pre[481,40]: 1
T9: P20' := P20 - 1
IM[481,40]: -1
T9: P19' := P19 + 1
IM[481,35]: 1
P18 --> T8 : 1
Pre[482,42]: 1
T8: P18' := P18 - 1
IM[482,42]: -1
P18 --> T7 : 1
Pre[483,42]: 1
T7: P18' := P18 - 1
IM[483,42]: -1
T7: P17' := P17 + 1
IM[483,34]: 1
P16 --> T6 : 1
Pre[484,39]: 1
T6: P16' := P16 - 1
IM[484,39]: -1
P16 --> T5 : 1
Pre[485,39]: 1
T5: P16' := P16 - 1
IM[485,39]: -1
T5: P15' := P15 + 1
IM[485,33]: 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,7]: 1
P6 --> T2 : 1
Pre[488,2]: 1
T2: P6' := P6 - 1
IM[488,2]: -1
P6 --> T1 : 1
Pre[489,2]: 1
T1: P6' := P6 - 1
IM[489,2]: -1
T1: P5' := P5 + 1
IM[489,8]: 1


Decreasing places (index:name): 0:P35 1:P8 2:P6 3:P37 4:P39 5:P41 39:P16 40:P20 41:P22 42:P18

Increasing places (index:name): 6:P43 38:P42

Disabled transitions:

P43 --> T490 : 2
Pre[0,6]: 2
P42 --> T489 : 2
Pre[1,38]: 2
P40 --> T488 : 2
Pre[2,31]: 2
P42 --> T488 : 1
Pre[2,38]: 1
P42 >= 1. Erasing
P40 --> T487 : 2
Pre[3,31]: 2
P38 --> T487 : 1
Pre[3,19]: 1
P40 --> T486 : 2
Pre[4,31]: 2
P36 --> T486 : 1
Pre[4,18]: 1
P40 --> T485 : 2
Pre[5,31]: 2
P33 --> T485 : 1
Pre[5,24]: 1
P40 --> T484 : 2
Pre[6,31]: 2
P32 --> T484 : 1
Pre[6,26]: 1
P40 --> T483 : 2
Pre[7,31]: 2
P31 --> T483 : 1
Pre[7,25]: 1
P40 --> T482 : 2
Pre[8,31]: 2
P30 --> T482 : 1
Pre[8,27]: 1
P40 --> T481 : 2
Pre[9,31]: 2
P29 --> T481 : 1
Pre[9,30]: 1
P40 --> T480 : 2
Pre[10,31]: 2
P23 --> T480 : 1
Pre[10,37]: 1
P40 --> T479 : 2
Pre[11,31]: 2
P21 --> T479 : 1
Pre[11,36]: 1
P40 --> T478 : 2
Pre[12,31]: 2
P19 --> T478 : 1
Pre[12,35]: 1
P40 --> T477 : 2
Pre[13,31]: 2
P17 --> T477 : 1
Pre[13,34]: 1
P40 --> T476 : 2
Pre[14,31]: 2
P15 --> T476 : 1
Pre[14,33]: 1
P40 --> T475 : 2
Pre[15,31]: 2
P10 --> T475 : 1
Pre[15,32]: 1
P40 --> T474 : 2
Pre[16,31]: 2
P9 --> T474 : 1
Pre[16,17]: 1
P38 --> T473 : 2
Pre[17,19]: 2
P42 --> T473 : 1
Pre[17,38]: 1
P42 >= 1. Erasing
P38 --> T472 : 2
Pre[18,19]: 2
P40 --> T472 : 1
Pre[18,31]: 1
P38 --> T471 : 2
Pre[19,19]: 2
P36 --> T471 : 1
Pre[19,18]: 1
P38 --> T470 : 2
Pre[20,19]: 2
P34 --> T470 : 1
Pre[20,9]: 1
P38 --> T469 : 2
Pre[21,19]: 2
P33 --> T469 : 1
Pre[21,24]: 1
P38 --> T468 : 2
Pre[22,19]: 2
P32 --> T468 : 1
Pre[22,26]: 1
P38 --> T467 : 2
Pre[23,19]: 2
P31 --> T467 : 1
Pre[23,25]: 1
P38 --> T466 : 2
Pre[24,19]: 2
P30 --> T466 : 1
Pre[24,27]: 1
P38 --> T465 : 2
Pre[25,19]: 2
P29 --> T465 : 1
Pre[25,30]: 1
P38 --> T464 : 2
Pre[26,19]: 2
P27 --> T464 : 1
Pre[26,28]: 1
P38 --> T463 : 2
Pre[27,19]: 2
P26 --> T463 : 1
Pre[27,23]: 1
P38 --> T462 : 2
Pre[28,19]: 2
P25 --> T462 : 1
Pre[28,22]: 1
P38 --> T461 : 2
Pre[29,19]: 2
P24 --> T461 : 1
Pre[29,21]: 1
P38 --> T460 : 2
Pre[30,19]: 2
P23 --> T460 : 1
Pre[30,37]: 1
P38 --> T459 : 2
Pre[31,19]: 2
P21 --> T459 : 1
Pre[31,36]: 1
P38 --> T458 : 2
Pre[32,19]: 2
P19 --> T458 : 1
Pre[32,35]: 1
P38 --> T457 : 2
Pre[33,19]: 2
P17 --> T457 : 1
Pre[33,34]: 1
P38 --> T456 : 2
Pre[34,19]: 2
P15 --> T456 : 1
Pre[34,33]: 1
P38 --> T455 : 2
Pre[35,19]: 2
P10 --> T455 : 1
Pre[35,32]: 1
P38 --> T454 : 2
Pre[36,19]: 2
P9 --> T454 : 1
Pre[36,17]: 1
P38 --> T453 : 2
Pre[37,19]: 2
P7 --> T453 : 1
Pre[37,7]: 1
P36 --> T452 : 2
Pre[38,18]: 2
P40 --> T452 : 1
Pre[38,31]: 1
P36 --> T451 : 2
Pre[39,18]: 2
P38 --> T451 : 1
Pre[39,19]: 1
P36 --> T450 : 2
Pre[40,18]: 2
P34 --> T450 : 1
Pre[40,9]: 1
P36 --> T449 : 2
Pre[41,18]: 2
P33 --> T449 : 1
Pre[41,24]: 1
P36 --> T448 : 2
Pre[42,18]: 2
P32 --> T448 : 1
Pre[42,26]: 1
P36 --> T447 : 2
Pre[43,18]: 2
P31 --> T447 : 1
Pre[43,25]: 1
P36 --> T446 : 2
Pre[44,18]: 2
P30 --> T446 : 1
Pre[44,27]: 1
P36 --> T445 : 2
Pre[45,18]: 2
P29 --> T445 : 1
Pre[45,30]: 1
P36 --> T444 : 2
Pre[46,18]: 2
P28 --> T444 : 1
Pre[46,29]: 1
P36 --> T443 : 2
Pre[47,18]: 2
P27 --> T443 : 1
Pre[47,28]: 1
P36 --> T442 : 2
Pre[48,18]: 2
P26 --> T442 : 1
Pre[48,23]: 1
P36 --> T441 : 2
Pre[49,18]: 2
P25 --> T441 : 1
Pre[49,22]: 1
P36 --> T440 : 2
Pre[50,18]: 2
P24 --> T440 : 1
Pre[50,21]: 1
P36 --> T439 : 2
Pre[51,18]: 2
P19 --> T439 : 1
Pre[51,35]: 1
P36 --> T438 : 2
Pre[52,18]: 2
P17 --> T438 : 1
Pre[52,34]: 1
P36 --> T437 : 2
Pre[53,18]: 2
P15 --> T437 : 1
Pre[53,33]: 1
P36 --> T436 : 2
Pre[54,18]: 2
P14 --> T436 : 1
Pre[54,20]: 1
P36 --> T435 : 2
Pre[55,18]: 2
P13 --> T435 : 1
Pre[55,16]: 1
P36 --> T434 : 2
Pre[56,18]: 2
P12 --> T434 : 1
Pre[56,15]: 1
P36 --> T433 : 2
Pre[57,18]: 2
P11 --> T433 : 1
Pre[57,14]: 1
P36 --> T432 : 2
Pre[58,18]: 2
P10 --> T432 : 1
Pre[58,32]: 1
P36 --> T431 : 2
Pre[59,18]: 2
P7 --> T431 : 1
Pre[59,7]: 1
P36 --> T430 : 2
Pre[60,18]: 2
P5 --> T430 : 1
Pre[60,8]: 1
P36 --> T429 : 2
Pre[61,18]: 2
P4 --> T429 : 1
Pre[61,13]: 1
P34 --> T428 : 2
Pre[62,9]: 2
P38 --> T428 : 1
Pre[62,19]: 1
P34 --> T427 : 2
Pre[63,9]: 2
P36 --> T427 : 1
Pre[63,18]: 1
P34 --> T426 : 2
Pre[64,9]: 2
P33 --> T426 : 1
Pre[64,24]: 1
P34 --> T425 : 2
Pre[65,9]: 2
P32 --> T425 : 1
Pre[65,26]: 1
P34 --> T424 : 2
Pre[66,9]: 2
P31 --> T424 : 1
Pre[66,25]: 1
P34 --> T423 : 2
Pre[67,9]: 2
P30 --> T423 : 1
Pre[67,27]: 1
P34 --> T422 : 2
Pre[68,9]: 2
P29 --> T422 : 1
Pre[68,30]: 1
P34 --> T421 : 2
Pre[69,9]: 2
P28 --> T421 : 1
Pre[69,29]: 1
P34 --> T420 : 2
Pre[70,9]: 2
P27 --> T420 : 1
Pre[70,28]: 1
P34 --> T419 : 2
Pre[71,9]: 2
P26 --> T419 : 1
Pre[71,23]: 1
P34 --> T418 : 2
Pre[72,9]: 2
P25 --> T418 : 1
Pre[72,22]: 1
P34 --> T417 : 2
Pre[73,9]: 2
P24 --> T417 : 1
Pre[73,21]: 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,16]: 1
P34 --> T414 : 2
Pre[76,9]: 2
P12 --> T414 : 1
Pre[76,15]: 1
P34 --> T413 : 2
Pre[77,9]: 2
P11 --> T413 : 1
Pre[77,14]: 1
P34 --> T412 : 2
Pre[78,9]: 2
P5 --> T412 : 1
Pre[78,8]: 1
P34 --> T411 : 2
Pre[79,9]: 2
P4 --> T411 : 1
Pre[79,13]: 1
P33 --> T410 : 2
Pre[80,24]: 2
P43 --> T410 : 1
Pre[80,6]: 1
P43 >= 1. Erasing
P33 --> T409 : 2
Pre[81,24]: 2
P40 --> T409 : 1
Pre[81,31]: 1
P33 --> T408 : 2
Pre[82,24]: 2
P38 --> T408 : 1
Pre[82,19]: 1
P33 --> T407 : 2
Pre[83,24]: 2
P36 --> T407 : 1
Pre[83,18]: 1
P33 --> T406 : 2
Pre[84,24]: 2
P34 --> T406 : 1
Pre[84,9]: 1
P33 --> T405 : 2
Pre[85,24]: 2
P32 --> T405 : 1
Pre[85,26]: 1
P33 --> T404 : 2
Pre[86,24]: 2
P31 --> T404 : 1
Pre[86,25]: 1
P33 --> T403 : 2
Pre[87,24]: 2
P30 --> T403 : 1
Pre[87,27]: 1
P33 --> T402 : 2
Pre[88,24]: 2
P28 --> T402 : 1
Pre[88,29]: 1
P33 --> T401 : 2
Pre[89,24]: 2
P27 --> T401 : 1
Pre[89,28]: 1
P33 --> T400 : 2
Pre[90,24]: 2
P26 --> T400 : 1
Pre[90,23]: 1
P33 --> T399 : 2
Pre[91,24]: 2
P25 --> T399 : 1
Pre[91,22]: 1
P33 --> T398 : 2
Pre[92,24]: 2
P24 --> T398 : 1
Pre[92,21]: 1
P33 --> T397 : 2
Pre[93,24]: 2
P14 --> T397 : 1
Pre[93,20]: 1
P33 --> T396 : 2
Pre[94,24]: 2
P13 --> T396 : 1
Pre[94,16]: 1
P32 --> T395 : 2
Pre[95,26]: 2
P43 --> T395 : 1
Pre[95,6]: 1
P43 >= 1. Erasing
P32 --> T394 : 2
Pre[96,26]: 2
P40 --> T394 : 1
Pre[96,31]: 1
P32 --> T393 : 2
Pre[97,26]: 2
P38 --> T393 : 1
Pre[97,19]: 1
P32 --> T392 : 2
Pre[98,26]: 2
P36 --> T392 : 1
Pre[98,18]: 1
P32 --> T391 : 2
Pre[99,26]: 2
P34 --> T391 : 1
Pre[99,9]: 1
P32 --> T390 : 2
Pre[100,26]: 2
P33 --> T390 : 1
Pre[100,24]: 1
P32 --> T389 : 2
Pre[101,26]: 2
P31 --> T389 : 1
Pre[101,25]: 1
P32 --> T388 : 2
Pre[102,26]: 2
P30 --> T388 : 1
Pre[102,27]: 1
P32 --> T387 : 2
Pre[103,26]: 2
P29 --> T387 : 1
Pre[103,30]: 1
P32 --> T386 : 2
Pre[104,26]: 2
P28 --> T386 : 1
Pre[104,29]: 1
P32 --> T385 : 2
Pre[105,26]: 2
P27 --> T385 : 1
Pre[105,28]: 1
P32 --> T384 : 2
Pre[106,26]: 2
P26 --> T384 : 1
Pre[106,23]: 1
P32 --> T383 : 2
Pre[107,26]: 2
P25 --> T383 : 1
Pre[107,22]: 1
P32 --> T382 : 2
Pre[108,26]: 2
P24 --> T382 : 1
Pre[108,21]: 1
P32 --> T381 : 2
Pre[109,26]: 2
P21 --> T381 : 1
Pre[109,36]: 1
P32 --> T380 : 2
Pre[110,26]: 2
P19 --> T380 : 1
Pre[110,35]: 1
P32 --> T379 : 2
Pre[111,26]: 2
P17 --> T379 : 1
Pre[111,34]: 1
P32 --> T378 : 2
Pre[112,26]: 2
P15 --> T378 : 1
Pre[112,33]: 1
P32 --> T377 : 2
Pre[113,26]: 2
P14 --> T377 : 1
Pre[113,20]: 1
P32 --> T376 : 2
Pre[114,26]: 2
P13 --> T376 : 1
Pre[114,16]: 1
P32 --> T375 : 2
Pre[115,26]: 2
P12 --> T375 : 1
Pre[115,15]: 1
P31 --> T374 : 2
Pre[116,25]: 2
P40 --> T374 : 1
Pre[116,31]: 1
P31 --> T373 : 2
Pre[117,25]: 2
P38 --> T373 : 1
Pre[117,19]: 1
P31 --> T372 : 2
Pre[118,25]: 2
P36 --> T372 : 1
Pre[118,18]: 1
P31 --> T371 : 2
Pre[119,25]: 2
P34 --> T371 : 1
Pre[119,9]: 1
P31 --> T370 : 2
Pre[120,25]: 2
P33 --> T370 : 1
Pre[120,24]: 1
P31 --> T369 : 2
Pre[121,25]: 2
P32 --> T369 : 1
Pre[121,26]: 1
P31 --> T368 : 2
Pre[122,25]: 2
P30 --> T368 : 1
Pre[122,27]: 1
P31 --> T367 : 2
Pre[123,25]: 2
P29 --> T367 : 1
Pre[123,30]: 1
P31 --> T366 : 2
Pre[124,25]: 2
P28 --> T366 : 1
Pre[124,29]: 1
P31 --> T365 : 2
Pre[125,25]: 2
P27 --> T365 : 1
Pre[125,28]: 1
P31 --> T364 : 2
Pre[126,25]: 2
P26 --> T364 : 1
Pre[126,23]: 1
P31 --> T363 : 2
Pre[127,25]: 2
P25 --> T363 : 1
Pre[127,22]: 1
P31 --> T362 : 2
Pre[128,25]: 2
P24 --> T362 : 1
Pre[128,21]: 1
P31 --> T361 : 2
Pre[129,25]: 2
P23 --> T361 : 1
Pre[129,37]: 1
P31 --> T360 : 2
Pre[130,25]: 2
P21 --> T360 : 1
Pre[130,36]: 1
P31 --> T359 : 2
Pre[131,25]: 2
P19 --> T359 : 1
Pre[131,35]: 1
P31 --> T358 : 2
Pre[132,25]: 2
P17 --> T358 : 1
Pre[132,34]: 1
P31 --> T357 : 2
Pre[133,25]: 2
P15 --> T357 : 1
Pre[133,33]: 1
P31 --> T356 : 2
Pre[134,25]: 2
P14 --> T356 : 1
Pre[134,20]: 1
P31 --> T355 : 2
Pre[135,25]: 2
P13 --> T355 : 1
Pre[135,16]: 1
P31 --> T354 : 2
Pre[136,25]: 2
P12 --> T354 : 1
Pre[136,15]: 1
P31 --> T353 : 2
Pre[137,25]: 2
P11 --> T353 : 1
Pre[137,14]: 1
P31 --> T352 : 2
Pre[138,25]: 2
P10 --> T352 : 1
Pre[138,32]: 1
P31 --> T351 : 2
Pre[139,25]: 2
P9 --> T351 : 1
Pre[139,17]: 1
P31 --> T350 : 2
Pre[140,25]: 2
P7 --> T350 : 1
Pre[140,7]: 1
P31 --> T349 : 2
Pre[141,25]: 2
P5 --> T349 : 1
Pre[141,8]: 1
P30 --> T348 : 2
Pre[142,27]: 2
P40 --> T348 : 1
Pre[142,31]: 1
P30 --> T347 : 2
Pre[143,27]: 2
P38 --> T347 : 1
Pre[143,19]: 1
P30 --> T346 : 2
Pre[144,27]: 2
P36 --> T346 : 1
Pre[144,18]: 1
P30 --> T345 : 2
Pre[145,27]: 2
P34 --> T345 : 1
Pre[145,9]: 1
P30 --> T344 : 2
Pre[146,27]: 2
P33 --> T344 : 1
Pre[146,24]: 1
P30 --> T343 : 2
Pre[147,27]: 2
P32 --> T343 : 1
Pre[147,26]: 1
P30 --> T342 : 2
Pre[148,27]: 2
P31 --> T342 : 1
Pre[148,25]: 1
P30 --> T341 : 2
Pre[149,27]: 2
P29 --> T341 : 1
Pre[149,30]: 1
P30 --> T340 : 2
Pre[150,27]: 2
P26 --> T340 : 1
Pre[150,23]: 1
P30 --> T339 : 2
Pre[151,27]: 2
P25 --> T339 : 1
Pre[151,22]: 1
P30 --> T338 : 2
Pre[152,27]: 2
P24 --> T338 : 1
Pre[152,21]: 1
P30 --> T337 : 2
Pre[153,27]: 2
P23 --> T337 : 1
Pre[153,37]: 1
P30 --> T336 : 2
Pre[154,27]: 2
P21 --> T336 : 1
Pre[154,36]: 1
P30 --> T335 : 2
Pre[155,27]: 2
P19 --> T335 : 1
Pre[155,35]: 1
P30 --> T334 : 2
Pre[156,27]: 2
P17 --> T334 : 1
Pre[156,34]: 1
P30 --> T333 : 2
Pre[157,27]: 2
P15 --> T333 : 1
Pre[157,33]: 1
P30 --> T332 : 2
Pre[158,27]: 2
P14 --> T332 : 1
Pre[158,20]: 1
P30 --> T331 : 2
Pre[159,27]: 2
P12 --> T331 : 1
Pre[159,15]: 1
P30 --> T330 : 2
Pre[160,27]: 2
P11 --> T330 : 1
Pre[160,14]: 1
P30 --> T329 : 2
Pre[161,27]: 2
P10 --> T329 : 1
Pre[161,32]: 1
P30 --> T328 : 2
Pre[162,27]: 2
P9 --> T328 : 1
Pre[162,17]: 1
P30 --> T327 : 2
Pre[163,27]: 2
P7 --> T327 : 1
Pre[163,7]: 1
P30 --> T326 : 2
Pre[164,27]: 2
P5 --> T326 : 1
Pre[164,8]: 1
P30 --> T325 : 2
Pre[165,27]: 2
P4 --> T325 : 1
Pre[165,13]: 1
P29 --> T324 : 2
Pre[166,30]: 2
P40 --> T324 : 1
Pre[166,31]: 1
P29 --> T323 : 2
Pre[167,30]: 2
P38 --> T323 : 1
Pre[167,19]: 1
P29 --> T322 : 2
Pre[168,30]: 2
P36 --> T322 : 1
Pre[168,18]: 1
P29 --> T321 : 2
Pre[169,30]: 2
P34 --> T321 : 1
Pre[169,9]: 1
P29 --> T320 : 2
Pre[170,30]: 2
P32 --> T320 : 1
Pre[170,26]: 1
P29 --> T319 : 2
Pre[171,30]: 2
P31 --> T319 : 1
Pre[171,25]: 1
P29 --> T318 : 2
Pre[172,30]: 2
P30 --> T318 : 1
Pre[172,27]: 1
P29 --> T317 : 2
Pre[173,30]: 2
P23 --> T317 : 1
Pre[173,37]: 1
P29 --> T316 : 2
Pre[174,30]: 2
P21 --> T316 : 1
Pre[174,36]: 1
P29 --> T315 : 2
Pre[175,30]: 2
P19 --> T315 : 1
Pre[175,35]: 1
P29 --> T314 : 2
Pre[176,30]: 2
P17 --> T314 : 1
Pre[176,34]: 1
P29 --> T313 : 2
Pre[177,30]: 2
P15 --> T313 : 1
Pre[177,33]: 1
P29 --> T312 : 2
Pre[178,30]: 2
P11 --> T312 : 1
Pre[178,14]: 1
P29 --> T311 : 2
Pre[179,30]: 2
P10 --> T311 : 1
Pre[179,32]: 1
P29 --> T310 : 2
Pre[180,30]: 2
P9 --> T310 : 1
Pre[180,17]: 1
P29 --> T309 : 2
Pre[181,30]: 2
P7 --> T309 : 1
Pre[181,7]: 1
P29 --> T308 : 2
Pre[182,30]: 2
P5 --> T308 : 1
Pre[182,8]: 1
P29 --> T307 : 2
Pre[183,30]: 2
P4 --> T307 : 1
Pre[183,13]: 1
P28 --> T306 : 2
Pre[184,29]: 2
P43 --> T306 : 1
Pre[184,6]: 1
P43 >= 1. Erasing
P28 --> T305 : 2
Pre[185,29]: 2
P36 --> T305 : 1
Pre[185,18]: 1
P28 --> T304 : 2
Pre[186,29]: 2
P34 --> T304 : 1
Pre[186,9]: 1
P28 --> T303 : 2
Pre[187,29]: 2
P33 --> T303 : 1
Pre[187,24]: 1
P28 --> T302 : 2
Pre[188,29]: 2
P32 --> T302 : 1
Pre[188,26]: 1
P28 --> T301 : 2
Pre[189,29]: 2
P31 --> T301 : 1
Pre[189,25]: 1
P28 --> T300 : 2
Pre[190,29]: 2
P27 --> T300 : 1
Pre[190,28]: 1
P28 --> T299 : 2
Pre[191,29]: 2
P26 --> T299 : 1
Pre[191,23]: 1
P28 --> T298 : 2
Pre[192,29]: 2
P25 --> T298 : 1
Pre[192,22]: 1
P28 --> T297 : 2
Pre[193,29]: 2
P24 --> T297 : 1
Pre[193,21]: 1
P27 --> T296 : 2
Pre[194,28]: 2
P43 --> T296 : 1
Pre[194,6]: 1
P43 >= 1. Erasing
P27 --> T295 : 2
Pre[195,28]: 2
P38 --> T295 : 1
Pre[195,19]: 1
P27 --> T294 : 2
Pre[196,28]: 2
P36 --> T294 : 1
Pre[196,18]: 1
P27 --> T293 : 2
Pre[197,28]: 2
P34 --> T293 : 1
Pre[197,9]: 1
P27 --> T292 : 2
Pre[198,28]: 2
P33 --> T292 : 1
Pre[198,24]: 1
P27 --> T291 : 2
Pre[199,28]: 2
P32 --> T291 : 1
Pre[199,26]: 1
P27 --> T290 : 2
Pre[200,28]: 2
P31 --> T290 : 1
Pre[200,25]: 1
P27 --> T289 : 2
Pre[201,28]: 2
P28 --> T289 : 1
Pre[201,29]: 1
P27 --> T288 : 2
Pre[202,28]: 2
P26 --> T288 : 1
Pre[202,23]: 1
P27 --> T287 : 2
Pre[203,28]: 2
P25 --> T287 : 1
Pre[203,22]: 1
P27 --> T286 : 2
Pre[204,28]: 2
P24 --> T286 : 1
Pre[204,21]: 1
P27 --> T285 : 2
Pre[205,28]: 2
P14 --> T285 : 1
Pre[205,20]: 1
P26 --> T284 : 2
Pre[206,23]: 2
P43 --> T284 : 1
Pre[206,6]: 1
P43 >= 1. Erasing
P26 --> T283 : 2
Pre[207,23]: 2
P38 --> T283 : 1
Pre[207,19]: 1
P26 --> T282 : 2
Pre[208,23]: 2
P36 --> T282 : 1
Pre[208,18]: 1
P26 --> T281 : 2
Pre[209,23]: 2
P34 --> T281 : 1
Pre[209,9]: 1
P26 --> T280 : 2
Pre[210,23]: 2
P33 --> T280 : 1
Pre[210,24]: 1
P26 --> T279 : 2
Pre[211,23]: 2
P32 --> T279 : 1
Pre[211,26]: 1
P26 --> T278 : 2
Pre[212,23]: 2
P31 --> T278 : 1
Pre[212,25]: 1
P26 --> T277 : 2
Pre[213,23]: 2
P30 --> T277 : 1
Pre[213,27]: 1
P26 --> T276 : 2
Pre[214,23]: 2
P28 --> T276 : 1
Pre[214,29]: 1
P26 --> T275 : 2
Pre[215,23]: 2
P27 --> T275 : 1
Pre[215,28]: 1
P26 --> T274 : 2
Pre[216,23]: 2
P25 --> T274 : 1
Pre[216,22]: 1
P26 --> T273 : 2
Pre[217,23]: 2
P24 --> T273 : 1
Pre[217,21]: 1
P26 --> T272 : 2
Pre[218,23]: 2
P14 --> T272 : 1
Pre[218,20]: 1
P26 --> T271 : 2
Pre[219,23]: 2
P13 --> T271 : 1
Pre[219,16]: 1
P25 --> T270 : 2
Pre[220,22]: 2
P43 --> T270 : 1
Pre[220,6]: 1
P43 >= 1. Erasing
P25 --> T269 : 2
Pre[221,22]: 2
P38 --> T269 : 1
Pre[221,19]: 1
P25 --> T268 : 2
Pre[222,22]: 2
P36 --> T268 : 1
Pre[222,18]: 1
P25 --> T267 : 2
Pre[223,22]: 2
P34 --> T267 : 1
Pre[223,9]: 1
P25 --> T266 : 2
Pre[224,22]: 2
P33 --> T266 : 1
Pre[224,24]: 1
P25 --> T265 : 2
Pre[225,22]: 2
P32 --> T265 : 1
Pre[225,26]: 1
P25 --> T264 : 2
Pre[226,22]: 2
P31 --> T264 : 1
Pre[226,25]: 1
P25 --> T263 : 2
Pre[227,22]: 2
P30 --> T263 : 1
Pre[227,27]: 1
P25 --> T262 : 2
Pre[228,22]: 2
P28 --> T262 : 1
Pre[228,29]: 1
P25 --> T261 : 2
Pre[229,22]: 2
P27 --> T261 : 1
Pre[229,28]: 1
P25 --> T260 : 2
Pre[230,22]: 2
P26 --> T260 : 1
Pre[230,23]: 1
P25 --> T259 : 2
Pre[231,22]: 2
P24 --> T259 : 1
Pre[231,21]: 1
P25 --> T258 : 2
Pre[232,22]: 2
P14 --> T258 : 1
Pre[232,20]: 1
P25 --> T257 : 2
Pre[233,22]: 2
P13 --> T257 : 1
Pre[233,16]: 1
P25 --> T256 : 2
Pre[234,22]: 2
P12 --> T256 : 1
Pre[234,15]: 1
P24 --> T255 : 2
Pre[235,21]: 2
P38 --> T255 : 1
Pre[235,19]: 1
P24 --> T254 : 2
Pre[236,21]: 2
P36 --> T254 : 1
Pre[236,18]: 1
P24 --> T253 : 2
Pre[237,21]: 2
P34 --> T253 : 1
Pre[237,9]: 1
P24 --> T252 : 2
Pre[238,21]: 2
P33 --> T252 : 1
Pre[238,24]: 1
P24 --> T251 : 2
Pre[239,21]: 2
P32 --> T251 : 1
Pre[239,26]: 1
P24 --> T250 : 2
Pre[240,21]: 2
P31 --> T250 : 1
Pre[240,25]: 1
P24 --> T249 : 2
Pre[241,21]: 2
P30 --> T249 : 1
Pre[241,27]: 1
P24 --> T248 : 2
Pre[242,21]: 2
P28 --> T248 : 1
Pre[242,29]: 1
P24 --> T247 : 2
Pre[243,21]: 2
P27 --> T247 : 1
Pre[243,28]: 1
P24 --> T246 : 2
Pre[244,21]: 2
P26 --> T246 : 1
Pre[244,23]: 1
P24 --> T245 : 2
Pre[245,21]: 2
P25 --> T245 : 1
Pre[245,22]: 1
P24 --> T244 : 2
Pre[246,21]: 2
P14 --> T244 : 1
Pre[246,20]: 1
P24 --> T243 : 2
Pre[247,21]: 2
P13 --> T243 : 1
Pre[247,16]: 1
P24 --> T242 : 2
Pre[248,21]: 2
P12 --> T242 : 1
Pre[248,15]: 1
P24 --> T241 : 2
Pre[249,21]: 2
P11 --> T241 : 1
Pre[249,14]: 1
P23 --> T240 : 2
Pre[250,37]: 2
P42 --> T240 : 1
Pre[250,38]: 1
P42 >= 1. Erasing
P23 --> T239 : 2
Pre[251,37]: 2
P40 --> T239 : 1
Pre[251,31]: 1
P23 --> T238 : 2
Pre[252,37]: 2
P38 --> T238 : 1
Pre[252,19]: 1
P23 --> T237 : 2
Pre[253,37]: 2
P31 --> T237 : 1
Pre[253,25]: 1
P23 --> T236 : 2
Pre[254,37]: 2
P30 --> T236 : 1
Pre[254,27]: 1
P23 --> T235 : 2
Pre[255,37]: 2
P29 --> T235 : 1
Pre[255,30]: 1
P23 --> T234 : 2
Pre[256,37]: 2
P21 --> T234 : 1
Pre[256,36]: 1
P23 --> T233 : 2
Pre[257,37]: 2
P19 --> T233 : 1
Pre[257,35]: 1
P23 --> T232 : 2
Pre[258,37]: 2
P17 --> T232 : 1
Pre[258,34]: 1
P23 --> T231 : 2
Pre[259,37]: 2
P15 --> T231 : 1
Pre[259,33]: 1
P21 --> T230 : 2
Pre[260,36]: 2
P42 --> T230 : 1
Pre[260,38]: 1
P42 >= 1. Erasing
P21 --> T229 : 2
Pre[261,36]: 2
P40 --> T229 : 1
Pre[261,31]: 1
P21 --> T228 : 2
Pre[262,36]: 2
P38 --> T228 : 1
Pre[262,19]: 1
P21 --> T227 : 2
Pre[263,36]: 2
P32 --> T227 : 1
Pre[263,26]: 1
P21 --> T226 : 2
Pre[264,36]: 2
P31 --> T226 : 1
Pre[264,25]: 1
P21 --> T225 : 2
Pre[265,36]: 2
P30 --> T225 : 1
Pre[265,27]: 1
P21 --> T224 : 2
Pre[266,36]: 2
P29 --> T224 : 1
Pre[266,30]: 1
P21 --> T223 : 2
Pre[267,36]: 2
P23 --> T223 : 1
Pre[267,37]: 1
P21 --> T222 : 2
Pre[268,36]: 2
P19 --> T222 : 1
Pre[268,35]: 1
P21 --> T221 : 2
Pre[269,36]: 2
P17 --> T221 : 1
Pre[269,34]: 1
P21 --> T220 : 2
Pre[270,36]: 2
P15 --> T220 : 1
Pre[270,33]: 1
P21 --> T219 : 2
Pre[271,36]: 2
P10 --> T219 : 1
Pre[271,32]: 1
P19 --> T218 : 2
Pre[272,35]: 2
P42 --> T218 : 1
Pre[272,38]: 1
P42 >= 1. Erasing
P19 --> T217 : 2
Pre[273,35]: 2
P40 --> T217 : 1
Pre[273,31]: 1
P19 --> T216 : 2
Pre[274,35]: 2
P38 --> T216 : 1
Pre[274,19]: 1
P19 --> T215 : 2
Pre[275,35]: 2
P36 --> T215 : 1
Pre[275,18]: 1
P19 --> T214 : 2
Pre[276,35]: 2
P32 --> T214 : 1
Pre[276,26]: 1
P19 --> T213 : 2
Pre[277,35]: 2
P31 --> T213 : 1
Pre[277,25]: 1
P19 --> T212 : 2
Pre[278,35]: 2
P30 --> T212 : 1
Pre[278,27]: 1
P19 --> T211 : 2
Pre[279,35]: 2
P29 --> T211 : 1
Pre[279,30]: 1
P19 --> T210 : 2
Pre[280,35]: 2
P23 --> T210 : 1
Pre[280,37]: 1
P19 --> T209 : 2
Pre[281,35]: 2
P21 --> T209 : 1
Pre[281,36]: 1
P19 --> T208 : 2
Pre[282,35]: 2
P17 --> T208 : 1
Pre[282,34]: 1
P19 --> T207 : 2
Pre[283,35]: 2
P15 --> T207 : 1
Pre[283,33]: 1
P19 --> T206 : 2
Pre[284,35]: 2
P10 --> T206 : 1
Pre[284,32]: 1
P19 --> T205 : 2
Pre[285,35]: 2
P9 --> T205 : 1
Pre[285,17]: 1
P17 --> T204 : 2
Pre[286,34]: 2
P42 --> T204 : 1
Pre[286,38]: 1
P42 >= 1. Erasing
P17 --> T203 : 2
Pre[287,34]: 2
P40 --> T203 : 1
Pre[287,31]: 1
P17 --> T202 : 2
Pre[288,34]: 2
P38 --> T202 : 1
Pre[288,19]: 1
P17 --> T201 : 2
Pre[289,34]: 2
P36 --> T201 : 1
Pre[289,18]: 1
P17 --> T200 : 2
Pre[290,34]: 2
P32 --> T200 : 1
Pre[290,26]: 1
P17 --> T199 : 2
Pre[291,34]: 2
P31 --> T199 : 1
Pre[291,25]: 1
P17 --> T198 : 2
Pre[292,34]: 2
P30 --> T198 : 1
Pre[292,27]: 1
P17 --> T197 : 2
Pre[293,34]: 2
P29 --> T197 : 1
Pre[293,30]: 1
P17 --> T196 : 2
Pre[294,34]: 2
P23 --> T196 : 1
Pre[294,37]: 1
P17 --> T195 : 2
Pre[295,34]: 2
P21 --> T195 : 1
Pre[295,36]: 1
P17 --> T194 : 2
Pre[296,34]: 2
P19 --> T194 : 1
Pre[296,35]: 1
P17 --> T193 : 2
Pre[297,34]: 2
P15 --> T193 : 1
Pre[297,33]: 1
P17 --> T192 : 2
Pre[298,34]: 2
P10 --> T192 : 1
Pre[298,32]: 1
P17 --> T191 : 2
Pre[299,34]: 2
P9 --> T191 : 1
Pre[299,17]: 1
P17 --> T190 : 2
Pre[300,34]: 2
P7 --> T190 : 1
Pre[300,7]: 1
P15 --> T189 : 2
Pre[301,33]: 2
P40 --> T189 : 1
Pre[301,31]: 1
P15 --> T188 : 2
Pre[302,33]: 2
P38 --> T188 : 1
Pre[302,19]: 1
P15 --> T187 : 2
Pre[303,33]: 2
P36 --> T187 : 1
Pre[303,18]: 1
P15 --> T186 : 2
Pre[304,33]: 2
P32 --> T186 : 1
Pre[304,26]: 1
P15 --> T185 : 2
Pre[305,33]: 2
P31 --> T185 : 1
Pre[305,25]: 1
P15 --> T184 : 2
Pre[306,33]: 2
P30 --> T184 : 1
Pre[306,27]: 1
P15 --> T183 : 2
Pre[307,33]: 2
P29 --> T183 : 1
Pre[307,30]: 1
P15 --> T182 : 2
Pre[308,33]: 2
P23 --> T182 : 1
Pre[308,37]: 1
P15 --> T181 : 2
Pre[309,33]: 2
P21 --> T181 : 1
Pre[309,36]: 1
P15 --> T180 : 2
Pre[310,33]: 2
P19 --> T180 : 1
Pre[310,35]: 1
P15 --> T179 : 2
Pre[311,33]: 2
P17 --> T179 : 1
Pre[311,34]: 1
P15 --> T178 : 2
Pre[312,33]: 2
P10 --> T178 : 1
Pre[312,32]: 1
P15 --> T177 : 2
Pre[313,33]: 2
P9 --> T177 : 1
Pre[313,17]: 1
P15 --> T176 : 2
Pre[314,33]: 2
P7 --> T176 : 1
Pre[314,7]: 1
P15 --> T175 : 2
Pre[315,33]: 2
P5 --> T175 : 1
Pre[315,8]: 1
P14 --> T174 : 2
Pre[316,20]: 2
P36 --> T174 : 1
Pre[316,18]: 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,24]: 1
P14 --> T171 : 2
Pre[319,20]: 2
P32 --> T171 : 1
Pre[319,26]: 1
P14 --> T170 : 2
Pre[320,20]: 2
P31 --> T170 : 1
Pre[320,25]: 1
P14 --> T169 : 2
Pre[321,20]: 2
P30 --> T169 : 1
Pre[321,27]: 1
P14 --> T168 : 2
Pre[322,20]: 2
P27 --> T168 : 1
Pre[322,28]: 1
P14 --> T167 : 2
Pre[323,20]: 2
P26 --> T167 : 1
Pre[323,23]: 1
P14 --> T166 : 2
Pre[324,20]: 2
P25 --> T166 : 1
Pre[324,22]: 1
P14 --> T165 : 2
Pre[325,20]: 2
P24 --> T165 : 1
Pre[325,21]: 1
P14 --> T164 : 2
Pre[326,20]: 2
P13 --> T164 : 1
Pre[326,16]: 1
P14 --> T163 : 2
Pre[327,20]: 2
P12 --> T163 : 1
Pre[327,15]: 1
P14 --> T162 : 2
Pre[328,20]: 2
P11 --> T162 : 1
Pre[328,14]: 1
P14 --> T161 : 2
Pre[329,20]: 2
P4 --> T161 : 1
Pre[329,13]: 1
P13 --> T160 : 2
Pre[330,16]: 2
P36 --> T160 : 1
Pre[330,18]: 1
P13 --> T159 : 2
Pre[331,16]: 2
P34 --> T159 : 1
Pre[331,9]: 1
P13 --> T158 : 2
Pre[332,16]: 2
P33 --> T158 : 1
Pre[332,24]: 1
P13 --> T157 : 2
Pre[333,16]: 2
P32 --> T157 : 1
Pre[333,26]: 1
P13 --> T156 : 2
Pre[334,16]: 2
P31 --> T156 : 1
Pre[334,25]: 1
P13 --> T155 : 2
Pre[335,16]: 2
P26 --> T155 : 1
Pre[335,23]: 1
P13 --> T154 : 2
Pre[336,16]: 2
P25 --> T154 : 1
Pre[336,22]: 1
P13 --> T153 : 2
Pre[337,16]: 2
P24 --> T153 : 1
Pre[337,21]: 1
P13 --> T152 : 2
Pre[338,16]: 2
P14 --> T152 : 1
Pre[338,20]: 1
P13 --> T151 : 2
Pre[339,16]: 2
P12 --> T151 : 1
Pre[339,15]: 1
P13 --> T150 : 2
Pre[340,16]: 2
P11 --> T150 : 1
Pre[340,14]: 1
P13 --> T149 : 2
Pre[341,16]: 2
P5 --> T149 : 1
Pre[341,8]: 1
P13 --> T148 : 2
Pre[342,16]: 2
P4 --> T148 : 1
Pre[342,13]: 1
P13 --> T147 : 2
Pre[343,16]: 2
P3 --> T147 : 1
Pre[343,12]: 1
P12 --> T146 : 2
Pre[344,15]: 2
P36 --> T146 : 1
Pre[344,18]: 1
P12 --> T145 : 2
Pre[345,15]: 2
P34 --> T145 : 1
Pre[345,9]: 1
P12 --> T144 : 2
Pre[346,15]: 2
P32 --> T144 : 1
Pre[346,26]: 1
P12 --> T143 : 2
Pre[347,15]: 2
P31 --> T143 : 1
Pre[347,25]: 1
P12 --> T142 : 2
Pre[348,15]: 2
P30 --> T142 : 1
Pre[348,27]: 1
P12 --> T141 : 2
Pre[349,15]: 2
P25 --> T141 : 1
Pre[349,22]: 1
P12 --> T140 : 2
Pre[350,15]: 2
P24 --> T140 : 1
Pre[350,21]: 1
P12 --> T139 : 2
Pre[351,15]: 2
P14 --> T139 : 1
Pre[351,20]: 1
P12 --> T138 : 2
Pre[352,15]: 2
P13 --> T138 : 1
Pre[352,16]: 1
P12 --> T137 : 2
Pre[353,15]: 2
P11 --> T137 : 1
Pre[353,14]: 1
P12 --> T136 : 2
Pre[354,15]: 2
P7 --> T136 : 1
Pre[354,7]: 1
P12 --> T135 : 2
Pre[355,15]: 2
P5 --> T135 : 1
Pre[355,8]: 1
P12 --> T134 : 2
Pre[356,15]: 2
P4 --> T134 : 1
Pre[356,13]: 1
P12 --> T133 : 2
Pre[357,15]: 2
P3 --> T133 : 1
Pre[357,12]: 1
P12 --> T132 : 2
Pre[358,15]: 2
P2 --> T132 : 1
Pre[358,11]: 1
P11 --> T131 : 2
Pre[359,14]: 2
P36 --> T131 : 1
Pre[359,18]: 1
P11 --> T130 : 2
Pre[360,14]: 2
P34 --> T130 : 1
Pre[360,9]: 1
P11 --> T129 : 2
Pre[361,14]: 2
P31 --> T129 : 1
Pre[361,25]: 1
P11 --> T128 : 2
Pre[362,14]: 2
P30 --> T128 : 1
Pre[362,27]: 1
P11 --> T127 : 2
Pre[363,14]: 2
P29 --> T127 : 1
Pre[363,30]: 1
P11 --> T126 : 2
Pre[364,14]: 2
P24 --> T126 : 1
Pre[364,21]: 1
P11 --> T125 : 2
Pre[365,14]: 2
P14 --> T125 : 1
Pre[365,20]: 1
P11 --> T124 : 2
Pre[366,14]: 2
P13 --> T124 : 1
Pre[366,16]: 1
P11 --> T123 : 2
Pre[367,14]: 2
P12 --> T123 : 1
Pre[367,15]: 1
P11 --> T122 : 2
Pre[368,14]: 2
P9 --> T122 : 1
Pre[368,17]: 1
P11 --> T121 : 2
Pre[369,14]: 2
P7 --> T121 : 1
Pre[369,7]: 1
P11 --> T120 : 2
Pre[370,14]: 2
P5 --> T120 : 1
Pre[370,8]: 1
P11 --> T119 : 2
Pre[371,14]: 2
P4 --> T119 : 1
Pre[371,13]: 1
P11 --> T118 : 2
Pre[372,14]: 2
P3 --> T118 : 1
Pre[372,12]: 1
P11 --> T117 : 2
Pre[373,14]: 2
P2 --> T117 : 1
Pre[373,11]: 1
P11 --> T116 : 2
Pre[374,14]: 2
P1 --> T116 : 1
Pre[374,10]: 1
P10 --> T115 : 2
Pre[375,32]: 2
P40 --> T115 : 1
Pre[375,31]: 1
P10 --> T114 : 2
Pre[376,32]: 2
P38 --> T114 : 1
Pre[376,19]: 1
P10 --> T113 : 2
Pre[377,32]: 2
P36 --> T113 : 1
Pre[377,18]: 1
P10 --> T112 : 2
Pre[378,32]: 2
P31 --> T112 : 1
Pre[378,25]: 1
P10 --> T111 : 2
Pre[379,32]: 2
P30 --> T111 : 1
Pre[379,27]: 1
P10 --> T110 : 2
Pre[380,32]: 2
P29 --> T110 : 1
Pre[380,30]: 1
P10 --> T109 : 2
Pre[381,32]: 2
P21 --> T109 : 1
Pre[381,36]: 1
P10 --> T108 : 2
Pre[382,32]: 2
P19 --> T108 : 1
Pre[382,35]: 1
P10 --> T107 : 2
Pre[383,32]: 2
P17 --> T107 : 1
Pre[383,34]: 1
P10 --> T106 : 2
Pre[384,32]: 2
P15 --> T106 : 1
Pre[384,33]: 1
P10 --> T105 : 2
Pre[385,32]: 2
P9 --> T105 : 1
Pre[385,17]: 1
P10 --> T104 : 2
Pre[386,32]: 2
P7 --> T104 : 1
Pre[386,7]: 1
P10 --> T103 : 2
Pre[387,32]: 2
P5 --> T103 : 1
Pre[387,8]: 1
P10 --> T102 : 2
Pre[388,32]: 2
P4 --> T102 : 1
Pre[388,13]: 1
P9 --> T101 : 2
Pre[389,17]: 2
P40 --> T101 : 1
Pre[389,31]: 1
P9 --> T100 : 2
Pre[390,17]: 2
P38 --> T100 : 1
Pre[390,19]: 1
P9 --> T99 : 2
Pre[391,17]: 2
P31 --> T99 : 1
Pre[391,25]: 1
P9 --> T98 : 2
Pre[392,17]: 2
P30 --> T98 : 1
Pre[392,27]: 1
P9 --> T97 : 2
Pre[393,17]: 2
P29 --> T97 : 1
Pre[393,30]: 1
P9 --> T96 : 2
Pre[394,17]: 2
P19 --> T96 : 1
Pre[394,35]: 1
P9 --> T95 : 2
Pre[395,17]: 2
P17 --> T95 : 1
Pre[395,34]: 1
P9 --> T94 : 2
Pre[396,17]: 2
P15 --> T94 : 1
Pre[396,33]: 1
P9 --> T93 : 2
Pre[397,17]: 2
P11 --> T93 : 1
Pre[397,14]: 1
P9 --> T92 : 2
Pre[398,17]: 2
P10 --> T92 : 1
Pre[398,32]: 1
P9 --> T91 : 2
Pre[399,17]: 2
P7 --> T91 : 1
Pre[399,7]: 1
P9 --> T90 : 2
Pre[400,17]: 2
P5 --> T90 : 1
Pre[400,8]: 1
P9 --> T89 : 2
Pre[401,17]: 2
P4 --> T89 : 1
Pre[401,13]: 1
P9 --> T88 : 2
Pre[402,17]: 2
P3 --> T88 : 1
Pre[402,12]: 1
P7 --> T87 : 2
Pre[403,7]: 2
P38 --> T87 : 1
Pre[403,19]: 1
P7 --> T86 : 2
Pre[404,7]: 2
P36 --> T86 : 1
Pre[404,18]: 1
P7 --> T85 : 2
Pre[405,7]: 2
P31 --> T85 : 1
Pre[405,25]: 1
P7 --> T84 : 2
Pre[406,7]: 2
P30 --> T84 : 1
Pre[406,27]: 1
P7 --> T83 : 2
Pre[407,7]: 2
P29 --> T83 : 1
Pre[407,30]: 1
P7 --> T82 : 2
Pre[408,7]: 2
P17 --> T82 : 1
Pre[408,34]: 1
P7 --> T81 : 2
Pre[409,7]: 2
P15 --> T81 : 1
Pre[409,33]: 1
P7 --> T80 : 2
Pre[410,7]: 2
P12 --> T80 : 1
Pre[410,15]: 1
P7 --> T79 : 2
Pre[411,7]: 2
P11 --> T79 : 1
Pre[411,14]: 1
P7 --> T78 : 2
Pre[412,7]: 2
P10 --> T78 : 1
Pre[412,32]: 1
P7 --> T77 : 2
Pre[413,7]: 2
P9 --> T77 : 1
Pre[413,17]: 1
P7 --> T76 : 2
Pre[414,7]: 2
P5 --> T76 : 1
Pre[414,8]: 1
P7 --> T75 : 2
Pre[415,7]: 2
P4 --> T75 : 1
Pre[415,13]: 1
P7 --> T74 : 2
Pre[416,7]: 2
P3 --> T74 : 1
Pre[416,12]: 1
P7 --> T73 : 2
Pre[417,7]: 2
P2 --> T73 : 1
Pre[417,11]: 1
P5 --> T72 : 2
Pre[418,8]: 2
P36 --> T72 : 1
Pre[418,18]: 1
P5 --> T71 : 2
Pre[419,8]: 2
P34 --> T71 : 1
Pre[419,9]: 1
P5 --> T70 : 2
Pre[420,8]: 2
P31 --> T70 : 1
Pre[420,25]: 1
P5 --> T69 : 2
Pre[421,8]: 2
P30 --> T69 : 1
Pre[421,27]: 1
P5 --> T68 : 2
Pre[422,8]: 2
P29 --> T68 : 1
Pre[422,30]: 1
P5 --> T67 : 2
Pre[423,8]: 2
P15 --> T67 : 1
Pre[423,33]: 1
P5 --> T66 : 2
Pre[424,8]: 2
P13 --> T66 : 1
Pre[424,16]: 1
P5 --> T65 : 2
Pre[425,8]: 2
P12 --> T65 : 1
Pre[425,15]: 1
P5 --> T64 : 2
Pre[426,8]: 2
P11 --> T64 : 1
Pre[426,14]: 1
P5 --> T63 : 2
Pre[427,8]: 2
P10 --> T63 : 1
Pre[427,32]: 1
P5 --> T62 : 2
Pre[428,8]: 2
P9 --> T62 : 1
Pre[428,17]: 1
P5 --> T61 : 2
Pre[429,8]: 2
P7 --> T61 : 1
Pre[429,7]: 1
P5 --> T60 : 2
Pre[430,8]: 2
P4 --> T60 : 1
Pre[430,13]: 1
P5 --> T59 : 2
Pre[431,8]: 2
P3 --> T59 : 1
Pre[431,12]: 1
P5 --> T58 : 2
Pre[432,8]: 2
P2 --> T58 : 1
Pre[432,11]: 1
P5 --> T57 : 2
Pre[433,8]: 2
P1 --> T57 : 1
Pre[433,10]: 1
P4 --> T56 : 2
Pre[434,13]: 2
P36 --> T56 : 1
Pre[434,18]: 1
P4 --> T55 : 2
Pre[435,13]: 2
P34 --> T55 : 1
Pre[435,9]: 1
P4 --> T54 : 2
Pre[436,13]: 2
P30 --> T54 : 1
Pre[436,27]: 1
P4 --> T53 : 2
Pre[437,13]: 2
P29 --> T53 : 1
Pre[437,30]: 1
P4 --> T52 : 2
Pre[438,13]: 2
P14 --> T52 : 1
Pre[438,20]: 1
P4 --> T51 : 2
Pre[439,13]: 2
P13 --> T51 : 1
Pre[439,16]: 1
P4 --> T50 : 2
Pre[440,13]: 2
P12 --> T50 : 1
Pre[440,15]: 1
P4 --> T49 : 2
Pre[441,13]: 2
P11 --> T49 : 1
Pre[441,14]: 1
P4 --> T48 : 2
Pre[442,13]: 2
P10 --> T48 : 1
Pre[442,32]: 1
P4 --> T47 : 2
Pre[443,13]: 2
P9 --> T47 : 1
Pre[443,17]: 1
P4 --> T46 : 2
Pre[444,13]: 2
P7 --> T46 : 1
Pre[444,7]: 1
P4 --> T45 : 2
Pre[445,13]: 2
P5 --> T45 : 1
Pre[445,8]: 1
P4 --> T44 : 2
Pre[446,13]: 2
P3 --> T44 : 1
Pre[446,12]: 1
P4 --> T43 : 2
Pre[447,13]: 2
P2 --> T43 : 1
Pre[447,11]: 1
P4 --> T42 : 2
Pre[448,13]: 2
P1 --> T42 : 1
Pre[448,10]: 1
P3 --> T41 : 2
Pre[449,12]: 2
P13 --> T41 : 1
Pre[449,16]: 1
P3 --> T40 : 2
Pre[450,12]: 2
P12 --> T40 : 1
Pre[450,15]: 1
P3 --> T39 : 2
Pre[451,12]: 2
P11 --> T39 : 1
Pre[451,14]: 1
P3 --> T38 : 2
Pre[452,12]: 2
P9 --> T38 : 1
Pre[452,17]: 1
P3 --> T37 : 2
Pre[453,12]: 2
P7 --> T37 : 1
Pre[453,7]: 1
P3 --> T36 : 2
Pre[454,12]: 2
P5 --> T36 : 1
Pre[454,8]: 1
P3 --> T35 : 2
Pre[455,12]: 2
P4 --> T35 : 1
Pre[455,13]: 1
P3 --> T34 : 2
Pre[456,12]: 2
P2 --> T34 : 1
Pre[456,11]: 1
P3 --> T33 : 2
Pre[457,12]: 2
P1 --> T33 : 1
Pre[457,10]: 1
P2 --> T32 : 2
Pre[458,11]: 2
P12 --> T32 : 1
Pre[458,15]: 1
P2 --> T31 : 2
Pre[459,11]: 2
P11 --> T31 : 1
Pre[459,14]: 1
P2 --> T30 : 2
Pre[460,11]: 2
P7 --> T30 : 1
Pre[460,7]: 1
P2 --> T29 : 2
Pre[461,11]: 2
P5 --> T29 : 1
Pre[461,8]: 1
P2 --> T28 : 2
Pre[462,11]: 2
P4 --> T28 : 1
Pre[462,13]: 1
P2 --> T27 : 2
Pre[463,11]: 2
P3 --> T27 : 1
Pre[463,12]: 1
P2 --> T26 : 2
Pre[464,11]: 2
P1 --> T26 : 1
Pre[464,10]: 1
P1 --> T25 : 2
Pre[465,10]: 2
P11 --> T25 : 1
Pre[465,14]: 1
P1 --> T24 : 2
Pre[466,10]: 2
P5 --> T24 : 1
Pre[466,8]: 1
P1 --> T23 : 2
Pre[467,10]: 2
P4 --> T23 : 1
Pre[467,13]: 1
P1 --> T22 : 2
Pre[468,10]: 2
P3 --> T22 : 1
Pre[468,12]: 1
P1 --> T21 : 2
Pre[469,10]: 2
P2 --> T21 : 1
Pre[469,11]: 1
P41 --> T20 : 1
Pre[470,5]: 1
P41 --> T19 : 1
Pre[471,5]: 1
P39 --> T18
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="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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