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

About the Execution of smart for DNAwalker-PT-17redondantChoiceL

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
1226.840 3600000.00 3599979.00 39.60 [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 384K
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K 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.7K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K 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 8.8K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K 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 2.5K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 11K 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-17redondantChoiceL, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r062-smll-152649733500337
=====================================================================


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

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


Decreasing places (index:name): 0:P12 1:P37 2:P30 3:P27 4:P25 5:P35 6:P23 7:P21 8:P32 42:P10

Increasing places (index:name): 9:P42 32:P43

Disabled transitions:

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