About the Execution
Execution Summary | ||||
Max Memory Used (MB) |
CPU Usage (ms) | I/O Wait (ms) | Competition Result | Execution Status |
5763.54 | 1736913 | 310.2 | CC | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
......................................
=====================================================================
Generated by BenchKit 2-1667
Executing tool greatspn
Input is Peterson-PT-7, examination is ReachabilityComputeBounds
Time confinement is 3600 seconds
Memory confinement is 6144 MBytes
Run identifier is r03kn-qhx2-140036872301133
=====================================================================
--------------------
content from stdout:
BK_START 1400398366868
======================================================
== This is GreatSPN, running for the MCC'2014 ==
======================================================
Running Peterson (PT), instance 7
MODEL_DIR = /home/mcc/execution
CONVERT FORMULAE /home/mcc/execution/ReachabilityComputeBounds.xml INTO /home/mcc/execution/ReachabilityComputeBounds.rgmedd-ctl
/home/mcc/BenchKit/bin/bin/RGMEDD model -P -h 2000000000 -B 1 -C -f /home/mcc/execution/ReachabilityComputeBounds.rgmedd-ctl
Setting MEDDLY cache to 2000000000 bytes.
Opening file: model.bnd
----------------------------------------
Start firing rule encoding
----------------------------------------
Encoding transition EndLoop_5_4 (0/3096).
Encoding transition EndLoop_6_4 (1/3096).
Encoding transition EndLoop_7_4 (2/3096).
Encoding transition EndLoop_0_5 (3/3096).
Encoding transition EndLoop_1_5 (4/3096).
Encoding transition EndLoop_2_5 (5/3096).
Encoding transition EndLoop_3_5 (6/3096).
Encoding transition EndLoop_4_5 (7/3096).
Encoding transition EndLoop_5_5 (8/3096).
Encoding transition EndLoop_6_5 (9/3096).
Encoding transition EndLoop_7_5 (10/3096).
Encoding transition EndLoop_0_6 (11/3096).
Encoding transition EndLoop_1_6 (12/3096).
Encoding transition EndLoop_2_6 (13/3096).
Encoding transition EndLoop_3_6 (14/3096).
Encoding transition EndLoop_4_6 (15/3096).
Encoding transition EndLoop_6_2 (16/3096).
Encoding transition EndLoop_5_2 (17/3096).
Encoding transition EndLoop_0_3 (18/3096).
Encoding transition EndLoop_7_2 (19/3096).
Encoding transition EndLoop_2_3 (20/3096).
Encoding transition EndLoop_1_3 (21/3096).
Encoding transition EndLoop_4_3 (22/3096).
Encoding transition EndLoop_3_3 (23/3096).
Encoding transition EndLoop_6_3 (24/3096).
Encoding transition EndLoop_5_3 (25/3096).
Encoding transition EndLoop_0_4 (26/3096).
Encoding transition EndLoop_7_3 (27/3096).
Encoding transition EndLoop_2_4 (28/3096).
Encoding transition EndLoop_1_4 (29/3096).
Encoding transition EndLoop_4_4 (30/3096).
Encoding transition EndLoop_3_4 (31/3096).
Encoding transition EndLoop_7_0 (32/3096).
Encoding transition EndLoop_0_1 (33/3096).
Encoding transition EndLoop_5_0 (34/3096).
Encoding transition EndLoop_6_0 (35/3096).
Encoding transition EndLoop_3_1 (36/3096).
Encoding transition EndLoop_4_1 (37/3096).
Encoding transition EndLoop_1_1 (38/3096).
Encoding transition EndLoop_2_1 (39/3096).
Encoding transition EndLoop_7_1 (40/3096).
Encoding transition EndLoop_0_2 (41/3096).
Encoding transition EndLoop_5_1 (42/3096).
Encoding transition EndLoop_6_1 (43/3096).
Encoding transition EndLoop_3_2 (44/3096).
Encoding transition EndLoop_4_2 (45/3096).
Encoding transition EndLoop_1_2 (46/3096).
Encoding transition EndLoop_2_2 (47/3096).
Encoding transition EndLoop_0_0 (48/3096).
Encoding transition EndLoop_4_0 (49/3096).
Encoding transition EndLoop_3_0 (50/3096).
Encoding transition EndLoop_2_0 (51/3096).
Encoding transition EndLoop_1_0 (52/3096).
Encoding transition Loop_5_4_2 (53/3096).
Encoding transition Loop_6_4_2 (54/3096).
Encoding transition Loop_7_4_2 (55/3096).
Encoding transition Loop_0_5_2 (56/3096).
Encoding transition Loop_1_5_2 (57/3096).
Encoding transition Loop_2_5_2 (58/3096).
Encoding transition Loop_3_5_2 (59/3096).
Encoding transition Loop_4_5_2 (60/3096).
Encoding transition Loop_5_3_2 (61/3096).
Encoding transition Loop_6_3_2 (62/3096).
Encoding transition Loop_7_3_2 (63/3096).
Encoding transition Loop_0_4_2 (64/3096).
Encoding transition Loop_1_4_2 (65/3096).
Encoding transition Loop_2_4_2 (66/3096).
Encoding transition Loop_3_4_2 (67/3096).
Encoding transition Loop_4_4_2 (68/3096).
Encoding transition Loop_6_2_2 (69/3096).
Encoding transition Loop_5_2_2 (70/3096).
Encoding transition Loop_0_3_2 (71/3096).
Encoding transition Loop_7_2_2 (72/3096).
Encoding transition Loop_2_3_2 (73/3096).
Encoding transition Loop_1_3_2 (74/3096).
Encoding transition Loop_4_3_2 (75/3096).
Encoding transition Loop_3_3_2 (76/3096).
Encoding transition Loop_6_1_2 (77/3096).
Encoding transition Loop_5_1_2 (78/3096).
Encoding transition Loop_0_2_2 (79/3096).
Encoding transition Loop_7_1_2 (80/3096).
Encoding transition Loop_2_2_2 (81/3096).
Encoding transition Loop_1_2_2 (82/3096).
Encoding transition Loop_4_2_2 (83/3096).
Encoding transition Loop_3_2_2 (84/3096).
Encoding transition Loop_7_1_3 (85/3096).
Encoding transition Loop_0_2_3 (86/3096).
Encoding transition Loop_5_1_3 (87/3096).
Encoding transition Loop_6_1_3 (88/3096).
Encoding transition Loop_3_2_3 (89/3096).
Encoding transition Loop_4_2_3 (90/3096).
Encoding transition Loop_1_2_3 (91/3096).
Encoding transition Loop_2_2_3 (92/3096).
Encoding transition Loop_7_0_3 (93/3096).
Encoding transition Loop_0_1_3 (94/3096).
Encoding transition Loop_5_0_3 (95/3096).
Encoding transition Loop_6_0_3 (96/3096).
Encoding transition Loop_3_1_3 (97/3096).
Encoding transition Loop_4_1_3 (98/3096).
Encoding transition Loop_1_1_3 (99/3096).
Encoding transition Loop_2_1_3 (100/3096).
Encoding transition Loop_0_0_3 (101/3096).
Encoding transition Loop_7_6_2 (102/3096).
Encoding transition Loop_6_6_2 (103/3096).
Encoding transition Loop_5_6_2 (104/3096).
Encoding transition Loop_4_0_3 (105/3096).
Encoding transition Loop_3_0_3 (106/3096).
Encoding transition Loop_2_0_3 (107/3096).
Encoding transition Loop_1_0_3 (108/3096).
Encoding transition Loop_0_6_2 (109/3096).
Encoding transition Loop_7_5_2 (110/3096).
Encoding transition Loop_6_5_2 (111/3096).
Encoding transition Loop_5_5_2 (112/3096).
Encoding transition Loop_4_6_2 (113/3096).
Encoding transition Loop_3_6_2 (114/3096).
Encoding transition Loop_2_6_2 (115/3096).
Encoding transition Loop_1_6_2 (116/3096).
Encoding transition Loop_1_6_3 (117/3096).
Encoding transition Loop_2_6_3 (118/3096).
Encoding transition Loop_3_6_3 (119/3096).
Encoding transition Loop_4_6_3 (120/3096).
Encoding transition Loop_5_5_3 (121/3096).
Encoding transition Loop_6_5_3 (122/3096).
Encoding transition Loop_7_5_3 (123/3096).
Encoding transition Loop_0_6_3 (124/3096).
Encoding transition Loop_1_5_3 (125/3096).
Encoding transition Loop_2_5_3 (126/3096).
Encoding transition Loop_3_5_3 (127/3096).
Encoding transition Loop_4_5_3 (128/3096).
Encoding transition Loop_5_4_3 (129/3096).
Encoding transition Loop_6_4_3 (130/3096).
Encoding transition Loop_7_4_3 (131/3096).
Encoding transition Loop_0_5_3 (132/3096).
Encoding transition Loop_2_4_3 (133/3096).
Encoding transition Loop_1_4_3 (134/3096).
Encoding transition Loop_4_4_3 (135/3096).
Encoding transition Loop_3_4_3 (136/3096).
Encoding transition Loop_6_3_3 (137/3096).
Encoding transition Loop_5_3_3 (138/3096).
Encoding transition Loop_0_4_3 (139/3096).
Encoding transition Loop_7_3_3 (140/3096).
Encoding transition Loop_2_3_3 (141/3096).
Encoding transition Loop_1_3_3 (142/3096).
Encoding transition Loop_4_3_3 (143/3096).
Encoding transition Loop_3_3_3 (144/3096).
Encoding transition Loop_6_2_3 (145/3096).
Encoding transition Loop_5_2_3 (146/3096).
Encoding transition Loop_0_3_3 (147/3096).
Encoding transition Loop_7_2_3 (148/3096).
Encoding transition Loop_3_3_4 (149/3096).
Encoding transition Loop_4_3_4 (150/3096).
Encoding transition Loop_1_3_4 (151/3096).
Encoding transition Loop_2_3_4 (152/3096).
Encoding transition Loop_7_2_4 (153/3096).
Encoding transition Loop_0_3_4 (154/3096).
Encoding transition Loop_5_2_4 (155/3096).
Encoding transition Loop_6_2_4 (156/3096).
Encoding transition Loop_3_2_4 (157/3096).
Encoding transition Loop_4_2_4 (158/3096).
Encoding transition Loop_1_2_4 (159/3096).
Encoding transition Loop_2_2_4 (160/3096).
Encoding transition Loop_7_1_4 (161/3096).
Encoding transition Loop_0_2_4 (162/3096).
Encoding transition Loop_5_1_4 (163/3096).
Encoding transition Loop_6_1_4 (164/3096).
Encoding transition Loop_4_1_4 (165/3096).
Encoding transition Loop_3_1_4 (166/3096).
Encoding transition Loop_2_1_4 (167/3096).
Encoding transition Loop_1_1_4 (168/3096).
Encoding transition Loop_0_1_4 (169/3096).
Encoding transition Loop_7_0_4 (170/3096).
Encoding transition Loop_6_0_4 (171/3096).
Encoding transition Loop_5_0_4 (172/3096).
Encoding transition Loop_4_0_4 (173/3096).
Encoding transition Loop_3_0_4 (174/3096).
Encoding transition Loop_2_0_4 (175/3096).
Encoding transition Loop_1_0_4 (176/3096).
Encoding transition Loop_0_0_4 (177/3096).
Encoding transition Loop_7_6_3 (178/3096).
Encoding transition Loop_6_6_3 (179/3096).
Encoding transition Loop_5_6_3 (180/3096).
Encoding transition Loop_6_1_0 (181/3096).
Encoding transition Loop_5_1_0 (182/3096).
Encoding transition Loop_0_2_0 (183/3096).
Encoding transition Loop_7_1_0 (184/3096).
Encoding transition Loop_2_2_0 (185/3096).
Encoding transition Loop_1_2_0 (186/3096).
Encoding transition Loop_4_2_0 (187/3096).
Encoding transition Loop_3_2_0 (188/3096).
Encoding transition Loop_6_2_0 (189/3096).
Encoding transition Loop_5_2_0 (190/3096).
Encoding transition Loop_0_3_0 (191/3096).
Encoding transition Loop_7_2_0 (192/3096).
Encoding transition Loop_2_3_0 (193/3096).
Encoding transition Loop_1_3_0 (194/3096).
Encoding transition Loop_4_3_0 (195/3096).
Encoding transition Loop_3_3_0 (196/3096).
Encoding transition EndLoop_5_6 (197/3096).
Encoding transition EndLoop_6_6 (198/3096).
Encoding transition EndLoop_7_6 (199/3096).
Encoding transition Loop_0_0_0 (200/3096).
Encoding transition Loop_1_0_0 (201/3096).
Encoding transition Loop_2_0_0 (202/3096).
Encoding transition Loop_3_0_0 (203/3096).
Encoding transition Loop_4_0_0 (204/3096).
Encoding transition Loop_5_0_0 (205/3096).
Encoding transition Loop_6_0_0 (206/3096).
Encoding transition Loop_7_0_0 (207/3096).
Encoding transition Loop_0_1_0 (208/3096).
Encoding transition Loop_1_1_0 (209/3096).
Encoding transition Loop_2_1_0 (210/3096).
Encoding transition Loop_3_1_0 (211/3096).
Encoding transition Loop_4_1_0 (212/3096).
Encoding transition Loop_0_6_0 (213/3096).
Encoding transition Loop_7_5_0 (214/3096).
Encoding transition Loop_6_5_0 (215/3096).
Encoding transition Loop_5_5_0 (216/3096).
Encoding transition Loop_4_6_0 (217/3096).
Encoding transition Loop_3_6_0 (218/3096).
Encoding transition Loop_2_6_0 (219/3096).
Encoding transition Loop_1_6_0 (220/3096).
Encoding transition Loop_0_0_1 (221/3096).
Encoding transition Loop_7_6_0 (222/3096).
Encoding transition Loop_6_6_0 (223/3096).
Encoding transition Loop_5_6_0 (224/3096).
Encoding transition Loop_4_0_1 (225/3096).
Encoding transition Loop_3_0_1 (226/3096).
Encoding transition Loop_2_0_1 (227/3096).
Encoding transition Loop_1_0_1 (228/3096).
Encoding transition Loop_7_3_0 (229/3096).
Encoding transition Loop_0_4_0 (230/3096).
Encoding transition Loop_5_3_0 (231/3096).
Encoding transition Loop_6_3_0 (232/3096).
Encoding transition Loop_3_4_0 (233/3096).
Encoding transition Loop_4_4_0 (234/3096).
Encoding transition Loop_1_4_0 (235/3096).
Encoding transition Loop_2_4_0 (236/3096).
Encoding transition Loop_7_4_0 (237/3096).
Encoding transition Loop_0_5_0 (238/3096).
Encoding transition Loop_5_4_0 (239/3096).
Encoding transition Loop_6_4_0 (240/3096).
Encoding transition Loop_3_5_0 (241/3096).
Encoding transition Loop_4_5_0 (242/3096).
Encoding transition Loop_1_5_0 (243/3096).
Encoding transition Loop_2_5_0 (244/3096).
Encoding transition Loop_2_3_1 (245/3096).
Encoding transition Loop_1_3_1 (246/3096).
Encoding transition Loop_4_3_1 (247/3096).
Encoding transition Loop_3_3_1 (248/3096).
Encoding transition Loop_6_2_1 (249/3096).
Encoding transition Loop_5_2_1 (250/3096).
Encoding transition Loop_0_3_1 (251/3096).
Encoding transition Loop_7_2_1 (252/3096).
Encoding transition Loop_2_4_1 (253/3096).
Encoding transition Loop_1_4_1 (254/3096).
Encoding transition Loop_4_4_1 (255/3096).
Encoding transition Loop_3_4_1 (256/3096).
Encoding transition Loop_6_3_1 (257/3096).
Encoding transition Loop_5_3_1 (258/3096).
Encoding transition Loop_0_4_1 (259/3096).
Encoding transition Loop_7_3_1 (260/3096).
Encoding transition Loop_1_1_1 (261/3096).
Encoding transition Loop_2_1_1 (262/3096).
Encoding transition Loop_3_1_1 (263/3096).
Encoding transition Loop_4_1_1 (264/3096).
Encoding transition Loop_5_0_1 (265/3096).
Encoding transition Loop_6_0_1 (266/3096).
Encoding transition Loop_7_0_1 (267/3096).
Encoding transition Loop_0_1_1 (268/3096).
Encoding transition Loop_1_2_1 (269/3096).
Encoding transition Loop_2_2_1 (270/3096).
Encoding transition Loop_3_2_1 (271/3096).
Encoding transition Loop_4_2_1 (272/3096).
Encoding transition Loop_5_1_1 (273/3096).
Encoding transition Loop_6_1_1 (274/3096).
Encoding transition Loop_7_1_1 (275/3096).
Encoding transition Loop_0_2_1 (276/3096).
Encoding transition Loop_4_0_2 (277/3096).
Encoding transition Loop_3_0_2 (278/3096).
Encoding transition Loop_2_0_2 (279/3096).
Encoding transition Loop_1_0_2 (280/3096).
Encoding transition Loop_0_0_2 (281/3096).
Encoding transition Loop_7_6_1 (282/3096).
Encoding transition Loop_6_6_1 (283/3096).
Encoding transition Loop_5_6_1 (284/3096).
Encoding transition Loop_4_1_2 (285/3096).
Encoding transition Loop_3_1_2 (286/3096).
Encoding transition Loop_2_1_2 (287/3096).
Encoding transition Loop_1_1_2 (288/3096).
Encoding transition Loop_0_1_2 (289/3096).
Encoding transition Loop_7_0_2 (290/3096).
Encoding transition Loop_6_0_2 (291/3096).
Encoding transition Loop_5_0_2 (292/3096).
Encoding transition Loop_3_5_1 (293/3096).
Encoding transition Loop_4_5_1 (294/3096).
Encoding transition Loop_1_5_1 (295/3096).
Encoding transition Loop_2_5_1 (296/3096).
Encoding transition Loop_7_4_1 (297/3096).
Encoding transition Loop_0_5_1 (298/3096).
Encoding transition Loop_5_4_1 (299/3096).
Encoding transition Loop_6_4_1 (300/3096).
Encoding transition Loop_3_6_1 (301/3096).
Encoding transition Loop_4_6_1 (302/3096).
Encoding transition Loop_1_6_1 (303/3096).
Encoding transition Loop_2_6_1 (304/3096).
Encoding transition Loop_7_5_1 (305/3096).
Encoding transition Loop_0_6_1 (306/3096).
Encoding transition Loop_5_5_1 (307/3096).
Encoding transition Loop_6_5_1 (308/3096).
Encoding transition Alone1_1_0_0 (309/3096).
Encoding transition Loop_7_6_6 (310/3096).
Encoding transition Loop_6_6_6 (311/3096).
Encoding transition Loop_5_6_6 (312/3096).
Encoding transition Alone1_5_0_0 (313/3096).
Encoding transition Alone1_4_0_0 (314/3096).
Encoding transition Alone1_3_0_0 (315/3096).
Encoding transition Alone1_2_0_0 (316/3096).
Encoding transition Loop_0_6_6 (317/3096).
Encoding transition Loop_7_5_6 (318/3096).
Encoding transition Loop_6_5_6 (319/3096).
Encoding transition Loop_5_5_6 (320/3096).
Encoding transition Loop_4_6_6 (321/3096).
Encoding transition Loop_3_6_6 (322/3096).
Encoding transition Loop_2_6_6 (323/3096).
Encoding transition Loop_1_6_6 (324/3096).
Encoding transition Alone1_1_2_0 (325/3096).
Encoding transition Alone1_3_2_0 (326/3096).
Encoding transition Alone1_7_1_0 (327/3096).
Encoding transition Alone1_0_2_0 (328/3096).
Encoding transition Alone1_6_2_0 (329/3096).
Encoding transition Alone1_7_2_0 (330/3096).
Encoding transition Alone1_4_2_0 (331/3096).
Encoding transition Alone1_5_2_0 (332/3096).
Encoding transition Alone1_0_1_0 (333/3096).
Encoding transition Alone1_2_1_0 (334/3096).
Encoding transition Alone1_6_0_0 (335/3096).
Encoding transition Alone1_7_0_0 (336/3096).
Encoding transition Alone1_5_1_0 (337/3096).
Encoding transition Alone1_6_1_0 (338/3096).
Encoding transition Alone1_3_1_0 (339/3096).
Encoding transition Alone1_4_1_0 (340/3096).
Encoding transition Alone1_2_4_0 (341/3096).
Encoding transition Alone1_1_4_0 (342/3096).
Encoding transition Alone1_5_4_0 (343/3096).
Encoding transition Alone1_3_4_0 (344/3096).
Encoding transition Alone1_7_4_0 (345/3096).
Encoding transition Alone1_6_4_0 (346/3096).
Encoding transition Alone1_1_5_0 (347/3096).
Encoding transition Alone1_0_5_0 (348/3096).
Encoding transition Alone1_1_3_0 (349/3096).
Encoding transition Alone1_0_3_0 (350/3096).
Encoding transition Alone1_4_3_0 (351/3096).
Encoding transition Alone1_2_3_0 (352/3096).
Encoding transition Alone1_6_3_0 (353/3096).
Encoding transition Alone1_5_3_0 (354/3096).
Encoding transition Alone1_0_4_0 (355/3096).
Encoding transition Alone1_7_3_0 (356/3096).
Encoding transition Alone1_3_6_0 (357/3096).
Encoding transition Alone1_4_6_0 (358/3096).
Encoding transition Alone1_5_6_0 (359/3096).
Encoding transition Alone1_7_6_0 (360/3096).
Encoding transition Alone1_0_7_0 (361/3096).
Encoding transition Alone1_1_7_0 (362/3096).
Encoding transition Alone1_2_7_0 (363/3096).
Encoding transition Alone1_3_7_0 (364/3096).
Encoding transition Alone1_2_5_0 (365/3096).
Encoding transition Alone1_3_5_0 (366/3096).
Encoding transition Alone1_4_5_0 (367/3096).
Encoding transition Alone1_6_5_0 (368/3096).
Encoding transition Alone1_7_5_0 (369/3096).
Encoding transition Alone1_0_6_0 (370/3096).
Encoding transition Alone1_1_6_0 (371/3096).
Encoding transition Alone1_2_6_0 (372/3096).
Encoding transition Alone1_6_1_1 (373/3096).
Encoding transition Alone1_5_1_1 (374/3096).
Encoding transition Alone1_4_1_1 (375/3096).
Encoding transition Alone1_3_1_1 (376/3096).
Encoding transition Alone1_2_1_1 (377/3096).
Encoding transition Alone1_0_1_1 (378/3096).
Encoding transition Alone1_7_0_1 (379/3096).
Encoding transition Alone1_6_0_1 (380/3096).
Encoding transition Alone1_5_0_1 (381/3096).
Encoding transition Alone1_4_0_1 (382/3096).
Encoding transition Alone1_3_0_1 (383/3096).
Encoding transition Alone1_2_0_1 (384/3096).
Encoding transition Alone1_1_0_1 (385/3096).
Encoding transition Alone1_6_7_0 (386/3096).
Encoding transition Alone1_5_7_0 (387/3096).
Encoding transition Alone1_4_7_0 (388/3096).
Encoding transition Alone1_7_3_1 (389/3096).
Encoding transition Alone1_0_4_1 (390/3096).
Encoding transition Alone1_5_3_1 (391/3096).
Encoding transition Alone1_6_3_1 (392/3096).
Encoding transition Alone1_2_3_1 (393/3096).
Encoding transition Alone1_4_3_1 (394/3096).
Encoding transition Alone1_0_3_1 (395/3096).
Encoding transition Alone1_1_3_1 (396/3096).
Encoding transition Alone1_6_2_1 (397/3096).
Encoding transition Alone1_7_2_1 (398/3096).
Encoding transition Alone1_4_2_1 (399/3096).
Encoding transition Alone1_5_2_1 (400/3096).
Encoding transition Alone1_1_2_1 (401/3096).
Encoding transition Alone1_3_2_1 (402/3096).
Encoding transition Alone1_7_1_1 (403/3096).
Encoding transition Alone1_0_2_1 (404/3096).
Encoding transition Alone1_0_6_1 (405/3096).
Encoding transition Alone1_7_5_1 (406/3096).
Encoding transition Alone1_2_6_1 (407/3096).
Encoding transition Alone1_1_6_1 (408/3096).
Encoding transition Alone1_3_5_1 (409/3096).
Encoding transition Alone1_2_5_1 (410/3096).
Encoding transition Alone1_6_5_1 (411/3096).
Encoding transition Alone1_4_5_1 (412/3096).
Encoding transition Alone1_7_4_1 (413/3096).
Encoding transition Alone1_6_4_1 (414/3096).
Encoding transition Alone1_1_5_1 (415/3096).
Encoding transition Alone1_0_5_1 (416/3096).
Encoding transition Alone1_2_4_1 (417/3096).
Encoding transition Alone1_1_4_1 (418/3096).
Encoding transition Alone1_5_4_1 (419/3096).
Encoding transition Alone1_3_4_1 (420/3096).
Encoding transition Alone1_2_0_2 (421/3096).
Encoding transition Alone1_3_0_2 (422/3096).
Encoding transition Alone1_4_0_2 (423/3096).
Encoding transition Alone1_5_0_2 (424/3096).
Encoding transition Alone1_4_7_1 (425/3096).
Encoding transition Alone1_5_7_1 (426/3096).
Encoding transition Alone1_6_7_1 (427/3096).
Encoding transition Alone1_1_0_2 (428/3096).
Encoding transition Alone1_0_7_1 (429/3096).
Encoding transition Alone1_1_7_1 (430/3096).
Encoding transition Alone1_2_7_1 (431/3096).
Encoding transition Alone1_3_7_1 (432/3096).
Encoding transition Alone1_3_6_1 (433/3096).
Encoding transition Alone1_4_6_1 (434/3096).
Encoding transition Alone1_5_6_1 (435/3096).
Encoding transition Alone1_7_6_1 (436/3096).
Encoding transition Loop_7_3_4 (437/3096).
Encoding transition Loop_0_4_4 (438/3096).
Encoding transition Loop_5_3_4 (439/3096).
Encoding transition Loop_6_3_4 (440/3096).
Encoding transition Loop_3_4_4 (441/3096).
Encoding transition Loop_4_4_4 (442/3096).
Encoding transition Loop_1_4_4 (443/3096).
Encoding transition Loop_2_4_4 (444/3096).
Encoding transition Loop_7_4_4 (445/3096).
Encoding transition Loop_0_5_4 (446/3096).
Encoding transition Loop_5_4_4 (447/3096).
Encoding transition Loop_6_4_4 (448/3096).
Encoding transition Loop_3_5_4 (449/3096).
Encoding transition Loop_4_5_4 (450/3096).
Encoding transition Loop_1_5_4 (451/3096).
Encoding transition Loop_2_5_4 (452/3096).
Encoding transition Loop_0_6_4 (453/3096).
Encoding transition Loop_7_5_4 (454/3096).
Encoding transition Loop_6_5_4 (455/3096).
Encoding transition Loop_5_5_4 (456/3096).
Encoding transition Loop_4_6_4 (457/3096).
Encoding transition Loop_3_6_4 (458/3096).
Encoding transition Loop_2_6_4 (459/3096).
Encoding transition Loop_1_6_4 (460/3096).
Encoding transition Loop_0_0_5 (461/3096).
Encoding transition Loop_7_6_4 (462/3096).
Encoding transition Loop_6_6_4 (463/3096).
Encoding transition Loop_5_6_4 (464/3096).
Encoding transition Loop_4_0_5 (465/3096).
Encoding transition Loop_3_0_5 (466/3096).
Encoding transition Loop_2_0_5 (467/3096).
Encoding transition Loop_1_0_5 (468/3096).
Encoding transition Loop_5_0_5 (469/3096).
Encoding transition Loop_6_0_5 (470/3096).
Encoding transition Loop_7_0_5 (471/3096).
Encoding transition Loop_0_1_5 (472/3096).
Encoding transition Loop_1_1_5 (473/3096).
Encoding transition Loop_2_1_5 (474/3096).
Encoding transition Loop_3_1_5 (475/3096).
Encoding transition Loop_4_1_5 (476/3096).
Encoding transition Loop_5_1_5 (477/3096).
Encoding transition Loop_6_1_5 (478/3096).
Encoding transition Loop_7_1_5 (479/3096).
Encoding transition Loop_0_2_5 (480/3096).
Encoding transition Loop_1_2_5 (481/3096).
Encoding transition Loop_2_2_5 (482/3096).
Encoding transition Loop_3_2_5 (483/3096).
Encoding transition Loop_4_2_5 (484/3096).
Encoding transition Loop_6_2_5 (485/3096).
Encoding transition Loop_5_2_5 (486/3096).
Encoding transition Loop_0_3_5 (487/3096).
Encoding transition Loop_7_2_5 (488/3096).
Encoding transition Loop_2_3_5 (489/3096).
Encoding transition Loop_1_3_5 (490/3096).
Encoding transition Loop_4_3_5 (491/3096).
Encoding transition Loop_3_3_5 (492/3096).
Encoding transition Loop_6_3_5 (493/3096).
Encoding transition Loop_5_3_5 (494/3096).
Encoding transition Loop_0_4_5 (495/3096).
Encoding transition Loop_7_3_5 (496/3096).
Encoding transition Loop_2_4_5 (497/3096).
Encoding transition Loop_1_4_5 (498/3096).
Encoding transition Loop_4_4_5 (499/3096).
Encoding transition Loop_3_4_5 (500/3096).
Encoding transition Loop_3_5_5 (501/3096).
Encoding transition Loop_4_5_5 (502/3096).
Encoding transition Loop_1_5_5 (503/3096).
Encoding transition Loop_2_5_5 (504/3096).
Encoding transition Loop_7_4_5 (505/3096).
Encoding transition Loop_0_5_5 (506/3096).
Encoding transition Loop_5_4_5 (507/3096).
Encoding transition Loop_6_4_5 (508/3096).
Encoding transition Loop_3_6_5 (509/3096).
Encoding transition Loop_4_6_5 (510/3096).
Encoding transition Loop_1_6_5 (511/3096).
Encoding transition Loop_2_6_5 (512/3096).
Encoding transition Loop_7_5_5 (513/3096).
Encoding transition Loop_0_6_5 (514/3096).
Encoding transition Loop_5_5_5 (515/3096).
Encoding transition Loop_6_5_5 (516/3096).
Encoding transition Loop_4_0_6 (517/3096).
Encoding transition Loop_3_0_6 (518/3096).
Encoding transition Loop_2_0_6 (519/3096).
Encoding transition Loop_1_0_6 (520/3096).
Encoding transition Loop_0_0_6 (521/3096).
Encoding transition Loop_7_6_5 (522/3096).
Encoding transition Loop_6_6_5 (523/3096).
Encoding transition Loop_5_6_5 (524/3096).
Encoding transition Loop_4_1_6 (525/3096).
Encoding transition Loop_3_1_6 (526/3096).
Encoding transition Loop_2_1_6 (527/3096).
Encoding transition Loop_1_1_6 (528/3096).
Encoding transition Loop_0_1_6 (529/3096).
Encoding transition Loop_7_0_6 (530/3096).
Encoding transition Loop_6_0_6 (531/3096).
Encoding transition Loop_5_0_6 (532/3096).
Encoding transition Loop_1_2_6 (533/3096).
Encoding transition Loop_2_2_6 (534/3096).
Encoding transition Loop_3_2_6 (535/3096).
Encoding transition Loop_4_2_6 (536/3096).
Encoding transition Loop_5_1_6 (537/3096).
Encoding transition Loop_6_1_6 (538/3096).
Encoding transition Loop_7_1_6 (539/3096).
Encoding transition Loop_0_2_6 (540/3096).
Encoding transition Loop_1_3_6 (541/3096).
Encoding transition Loop_2_3_6 (542/3096).
Encoding transition Loop_3_3_6 (543/3096).
Encoding transition Loop_4_3_6 (544/3096).
Encoding transition Loop_5_2_6 (545/3096).
Encoding transition Loop_6_2_6 (546/3096).
Encoding transition Loop_7_2_6 (547/3096).
Encoding transition Loop_0_3_6 (548/3096).
Encoding transition Loop_2_4_6 (549/3096).
Encoding transition Loop_1_4_6 (550/3096).
Encoding transition Loop_4_4_6 (551/3096).
Encoding transition Loop_3_4_6 (552/3096).
Encoding transition Loop_6_3_6 (553/3096).
Encoding transition Loop_5_3_6 (554/3096).
Encoding transition Loop_0_4_6 (555/3096).
Encoding transition Loop_7_3_6 (556/3096).
Encoding transition Loop_2_5_6 (557/3096).
Encoding transition Loop_1_5_6 (558/3096).
Encoding transition Loop_4_5_6 (559/3096).
Encoding transition Loop_3_5_6 (560/3096).
Encoding transition Loop_6_4_6 (561/3096).
Encoding transition Loop_5_4_6 (562/3096).
Encoding transition Loop_0_5_6 (563/3096).
Encoding transition Loop_7_4_6 (564/3096).
Encoding transition Alone1_7_3_5 (565/3096).
Encoding transition Alone1_0_4_5 (566/3096).
Encoding transition Alone1_5_3_5 (567/3096).
Encoding transition Alone1_6_3_5 (568/3096).
Encoding transition Alone1_2_3_5 (569/3096).
Encoding transition Alone1_4_3_5 (570/3096).
Encoding transition Alone1_0_3_5 (571/3096).
Encoding transition Alone1_1_3_5 (572/3096).
Encoding transition Alone1_6_2_5 (573/3096).
Encoding transition Alone1_7_2_5 (574/3096).
Encoding transition Alone1_4_2_5 (575/3096).
Encoding transition Alone1_5_2_5 (576/3096).
Encoding transition Alone1_1_2_5 (577/3096).
Encoding transition Alone1_3_2_5 (578/3096).
Encoding transition Alone1_7_1_5 (579/3096).
Encoding transition Alone1_0_2_5 (580/3096).
Encoding transition Alone1_6_1_5 (581/3096).
Encoding transition Alone1_5_1_5 (582/3096).
Encoding transition Alone1_4_1_5 (583/3096).
Encoding transition Alone1_3_1_5 (584/3096).
Encoding transition Alone1_2_1_5 (585/3096).
Encoding transition Alone1_0_1_5 (586/3096).
Encoding transition Alone1_7_0_5 (587/3096).
Encoding transition Alone1_6_0_5 (588/3096).
Encoding transition Alone1_5_0_5 (589/3096).
Encoding transition Alone1_4_0_5 (590/3096).
Encoding transition Alone1_3_0_5 (591/3096).
Encoding transition Alone1_2_0_5 (592/3096).
Encoding transition Alone1_1_0_5 (593/3096).
Encoding transition Alone1_6_7_4 (594/3096).
Encoding transition Alone1_5_7_4 (595/3096).
Encoding transition Alone1_4_7_4 (596/3096).
Encoding transition Alone1_0_7_4 (597/3096).
Encoding transition Alone1_1_7_4 (598/3096).
Encoding transition Alone1_2_7_4 (599/3096).
Encoding transition Alone1_3_7_4 (600/3096).
Encoding transition Alone1_3_6_4 (601/3096).
Encoding transition Alone1_4_6_4 (602/3096).
Encoding transition Alone1_5_6_4 (603/3096).
Encoding transition Alone1_7_6_4 (604/3096).
Encoding transition Alone1_7_5_4 (605/3096).
Encoding transition Alone1_0_6_4 (606/3096).
Encoding transition Alone1_1_6_4 (607/3096).
Encoding transition Alone1_2_6_4 (608/3096).
Encoding transition Alone1_2_5_4 (609/3096).
Encoding transition Alone1_3_5_4 (610/3096).
Encoding transition Alone1_4_5_4 (611/3096).
Encoding transition Alone1_6_5_4 (612/3096).
Encoding transition Alone1_7_4_4 (613/3096).
Encoding transition Alone1_6_4_4 (614/3096).
Encoding transition Alone1_1_5_4 (615/3096).
Encoding transition Alone1_0_5_4 (616/3096).
Encoding transition Alone1_2_4_4 (617/3096).
Encoding transition Alone1_1_4_4 (618/3096).
Encoding transition Alone1_5_4_4 (619/3096).
Encoding transition Alone1_3_4_4 (620/3096).
Encoding transition Alone1_6_3_4 (621/3096).
Encoding transition Alone1_5_3_4 (622/3096).
Encoding transition Alone1_0_4_4 (623/3096).
Encoding transition Alone1_7_3_4 (624/3096).
Encoding transition Alone1_1_3_4 (625/3096).
Encoding transition Alone1_0_3_4 (626/3096).
Encoding transition Alone1_4_3_4 (627/3096).
Encoding transition Alone1_2_3_4 (628/3096).
Encoding transition Alone1_3_4_6 (629/3096).
Encoding transition Alone1_5_4_6 (630/3096).
Encoding transition Alone1_1_4_6 (631/3096).
Encoding transition Alone1_2_4_6 (632/3096).
Encoding transition Alone1_0_5_6 (633/3096).
Encoding transition Alone1_1_5_6 (634/3096).
Encoding transition Alone1_6_4_6 (635/3096).
Encoding transition Alone1_7_4_6 (636/3096).
Encoding transition Alone1_2_3_6 (637/3096).
Encoding transition Alone1_4_3_6 (638/3096).
Encoding transition Alone1_0_3_6 (639/3096).
Encoding transition Alone1_1_3_6 (640/3096).
Encoding transition Alone1_7_3_6 (641/3096).
Encoding transition Alone1_0_4_6 (642/3096).
Encoding transition Alone1_5_3_6 (643/3096).
Encoding transition Alone1_6_3_6 (644/3096).
Encoding transition Alone1_3_2_6 (645/3096).
Encoding transition Alone1_1_2_6 (646/3096).
Encoding transition Alone1_0_2_6 (647/3096).
Encoding transition Alone1_7_1_6 (648/3096).
Encoding transition Alone1_7_2_6 (649/3096).
Encoding transition Alone1_6_2_6 (650/3096).
Encoding transition Alone1_5_2_6 (651/3096).
Encoding transition Alone1_4_2_6 (652/3096).
Encoding transition Alone1_2_1_6 (653/3096).
Encoding transition Alone1_0_1_6 (654/3096).
Encoding transition Alone1_7_0_6 (655/3096).
Encoding transition Alone1_6_0_6 (656/3096).
Encoding transition Alone1_6_1_6 (657/3096).
Encoding transition Alone1_5_1_6 (658/3096).
Encoding transition Alone1_4_1_6 (659/3096).
Encoding transition Alone1_3_1_6 (660/3096).
Encoding transition Alone1_4_7_5 (661/3096).
Encoding transition Alone1_5_7_5 (662/3096).
Encoding transition Alone1_6_7_5 (663/3096).
Encoding transition Alone1_1_0_6 (664/3096).
Encoding transition Alone1_2_0_6 (665/3096).
Encoding transition Alone1_3_0_6 (666/3096).
Encoding transition Alone1_4_0_6 (667/3096).
Encoding transition Alone1_5_0_6 (668/3096).
Encoding transition Alone1_3_6_5 (669/3096).
Encoding transition Alone1_4_6_5 (670/3096).
Encoding transition Alone1_5_6_5 (671/3096).
Encoding transition Alone1_7_6_5 (672/3096).
Encoding transition Alone1_0_7_5 (673/3096).
Encoding transition Alone1_1_7_5 (674/3096).
Encoding transition Alone1_2_7_5 (675/3096).
Encoding transition Alone1_3_7_5 (676/3096).
Encoding transition Alone1_3_5_5 (677/3096).
Encoding transition Alone1_2_5_5 (678/3096).
Encoding transition Alone1_6_5_5 (679/3096).
Encoding transition Alone1_4_5_5 (680/3096).
Encoding transition Alone1_0_6_5 (681/3096).
Encoding transition Alone1_7_5_5 (682/3096).
Encoding transition Alone1_2_6_5 (683/3096).
Encoding transition Alone1_1_6_5 (684/3096).
Encoding transition Alone1_2_4_5 (685/3096).
Encoding transition Alone1_1_4_5 (686/3096).
Encoding transition Alone1_5_4_5 (687/3096).
Encoding transition Alone1_3_4_5 (688/3096).
Encoding transition Alone1_7_4_5 (689/3096).
Encoding transition Alone1_6_4_5 (690/3096).
Encoding transition Alone1_1_5_5 (691/3096).
Encoding transition Alone1_0_5_5 (692/3096).
Encoding transition Alone1_5_0_3 (693/3096).
Encoding transition Alone1_4_0_3 (694/3096).
Encoding transition Alone1_3_0_3 (695/3096).
Encoding transition Alone1_2_0_3 (696/3096).
Encoding transition Alone1_1_0_3 (697/3096).
Encoding transition Alone1_6_7_2 (698/3096).
Encoding transition Alone1_5_7_2 (699/3096).
Encoding transition Alone1_4_7_2 (700/3096).
Encoding transition Alone1_6_1_3 (701/3096).
Encoding transition Alone1_5_1_3 (702/3096).
Encoding transition Alone1_4_1_3 (703/3096).
Encoding transition Alone1_3_1_3 (704/3096).
Encoding transition Alone1_2_1_3 (705/3096).
Encoding transition Alone1_0_1_3 (706/3096).
Encoding transition Alone1_7_0_3 (707/3096).
Encoding transition Alone1_6_0_3 (708/3096).
Encoding transition Alone1_1_6_2 (709/3096).
Encoding transition Alone1_2_6_2 (710/3096).
Encoding transition Alone1_7_5_2 (711/3096).
Encoding transition Alone1_0_6_2 (712/3096).
Encoding transition Alone1_4_5_2 (713/3096).
Encoding transition Alone1_6_5_2 (714/3096).
Encoding transition Alone1_2_5_2 (715/3096).
Encoding transition Alone1_3_5_2 (716/3096).
Encoding transition Alone1_2_7_2 (717/3096).
Encoding transition Alone1_3_7_2 (718/3096).
Encoding transition Alone1_0_7_2 (719/3096).
Encoding transition Alone1_1_7_2 (720/3096).
Encoding transition Alone1_5_6_2 (721/3096).
Encoding transition Alone1_7_6_2 (722/3096).
Encoding transition Alone1_3_6_2 (723/3096).
Encoding transition Alone1_4_6_2 (724/3096).
Encoding transition Alone1_6_3_2 (725/3096).
Encoding transition Alone1_5_3_2 (726/3096).
Encoding transition Alone1_0_4_2 (727/3096).
Encoding transition Alone1_7_3_2 (728/3096).
Encoding transition Alone1_1_3_2 (729/3096).
Encoding transition Alone1_0_3_2 (730/3096).
Encoding transition Alone1_4_3_2 (731/3096).
Encoding transition Alone1_2_3_2 (732/3096).
Encoding transition Alone1_7_4_2 (733/3096).
Encoding transition Alone1_6_4_2 (734/3096).
Encoding transition Alone1_1_5_2 (735/3096).
Encoding transition Alone1_0_5_2 (736/3096).
Encoding transition Alone1_2_4_2 (737/3096).
Encoding transition Alone1_1_4_2 (738/3096).
Encoding transition Alone1_5_4_2 (739/3096).
Encoding transition Alone1_3_4_2 (740/3096).
Encoding transition Alone1_3_1_2 (741/3096).
Encoding transition Alone1_4_1_2 (742/3096).
Encoding transition Alone1_5_1_2 (743/3096).
Encoding transition Alone1_6_1_2 (744/3096).
Encoding transition Alone1_6_0_2 (745/3096).
Encoding transition Alone1_7_0_2 (746/3096).
Encoding transition Alone1_0_1_2 (747/3096).
Encoding transition Alone1_2_1_2 (748/3096).
Encoding transition Alone1_4_2_2 (749/3096).
Encoding transition Alone1_5_2_2 (750/3096).
Encoding transition Alone1_6_2_2 (751/3096).
Encoding transition Alone1_7_2_2 (752/3096).
Encoding transition Alone1_7_1_2 (753/3096).
Encoding transition Alone1_0_2_2 (754/3096).
Encoding transition Alone1_1_2_2 (755/3096).
Encoding transition Alone1_3_2_2 (756/3096).
Encoding transition Alone1_2_1_4 (757/3096).
Encoding transition Alone1_0_1_4 (758/3096).
Encoding transition Alone1_7_0_4 (759/3096).
Encoding transition Alone1_6_0_4 (760/3096).
Encoding transition Alone1_6_1_4 (761/3096).
Encoding transition Alone1_5_1_4 (762/3096).
Encoding transition Alone1_4_1_4 (763/3096).
Encoding transition Alone1_3_1_4 (764/3096).
Encoding transition Alone1_3_2_4 (765/3096).
Encoding transition Alone1_1_2_4 (766/3096).
Encoding transition Alone1_0_2_4 (767/3096).
Encoding transition Alone1_7_1_4 (768/3096).
Encoding transition Alone1_7_2_4 (769/3096).
Encoding transition Alone1_6_2_4 (770/3096).
Encoding transition Alone1_5_2_4 (771/3096).
Encoding transition Alone1_4_2_4 (772/3096).
Encoding transition Alone1_5_6_3 (773/3096).
Encoding transition Alone1_7_6_3 (774/3096).
Encoding transition Alone1_3_6_3 (775/3096).
Encoding transition Alone1_4_6_3 (776/3096).
Encoding transition Alone1_2_7_3 (777/3096).
Encoding transition Alone1_3_7_3 (778/3096).
Encoding transition Alone1_0_7_3 (779/3096).
Encoding transition Alone1_1_7_3 (780/3096).
Encoding transition Alone1_6_7_3 (781/3096).
Encoding transition Alone1_1_0_4 (782/3096).
Encoding transition Alone1_4_7_3 (783/3096).
Encoding transition Alone1_5_7_3 (784/3096).
Encoding transition Alone1_4_0_4 (785/3096).
Encoding transition Alone1_5_0_4 (786/3096).
Encoding transition Alone1_2_0_4 (787/3096).
Encoding transition Alone1_3_0_4 (788/3096).
Encoding transition Alone1_2_4_3 (789/3096).
Encoding transition Alone1_1_4_3 (790/3096).
Encoding transition Alone1_5_4_3 (791/3096).
Encoding transition Alone1_3_4_3 (792/3096).
Encoding transition Alone1_7_4_3 (793/3096).
Encoding transition Alone1_6_4_3 (794/3096).
Encoding transition Alone1_1_5_3 (795/3096).
Encoding transition Alone1_0_5_3 (796/3096).
Encoding transition Alone1_3_5_3 (797/3096).
Encoding transition Alone1_2_5_3 (798/3096).
Encoding transition Alone1_6_5_3 (799/3096).
Encoding transition Alone1_4_5_3 (800/3096).
Encoding transition Alone1_0_6_3 (801/3096).
Encoding transition Alone1_7_5_3 (802/3096).
Encoding transition Alone1_2_6_3 (803/3096).
Encoding transition Alone1_1_6_3 (804/3096).
Encoding transition Alone1_7_1_3 (805/3096).
Encoding transition Alone1_0_2_3 (806/3096).
Encoding transition Alone1_1_2_3 (807/3096).
Encoding transition Alone1_3_2_3 (808/3096).
Encoding transition Alone1_4_2_3 (809/3096).
Encoding transition Alone1_5_2_3 (810/3096).
Encoding transition Alone1_6_2_3 (811/3096).
Encoding transition Alone1_7_2_3 (812/3096).
Encoding transition Alone1_0_3_3 (813/3096).
Encoding transition Alone1_1_3_3 (814/3096).
Encoding transition Alone1_2_3_3 (815/3096).
Encoding transition Alone1_4_3_3 (816/3096).
Encoding transition Alone1_5_3_3 (817/3096).
Encoding transition Alone1_6_3_3 (818/3096).
Encoding transition Alone1_7_3_3 (819/3096).
Encoding transition Alone1_0_4_3 (820/3096).
Encoding transition NotAlone_0_6_2 (821/3096).
Encoding transition NotAlone_7_5_2 (822/3096).
Encoding transition NotAlone_2_6_2 (823/3096).
Encoding transition NotAlone_1_6_2 (824/3096).
Encoding transition NotAlone_3_5_2 (825/3096).
Encoding transition NotAlone_2_5_2 (826/3096).
Encoding transition NotAlone_6_5_2 (827/3096).
Encoding transition NotAlone_4_5_2 (828/3096).
Encoding transition NotAlone_7_4_2 (829/3096).
Encoding transition NotAlone_6_4_2 (830/3096).
Encoding transition NotAlone_1_5_2 (831/3096).
Encoding transition NotAlone_0_5_2 (832/3096).
Encoding transition NotAlone_2_4_2 (833/3096).
Encoding transition NotAlone_1_4_2 (834/3096).
Encoding transition NotAlone_5_4_2 (835/3096).
Encoding transition NotAlone_3_4_2 (836/3096).
Encoding transition NotAlone_2_0_3 (837/3096).
Encoding transition NotAlone_3_0_3 (838/3096).
Encoding transition NotAlone_4_0_3 (839/3096).
Encoding transition NotAlone_5_0_3 (840/3096).
Encoding transition NotAlone_4_7_2 (841/3096).
Encoding transition NotAlone_5_7_2 (842/3096).
Encoding transition NotAlone_6_7_2 (843/3096).
Encoding transition NotAlone_1_0_3 (844/3096).
Encoding transition NotAlone_0_7_2 (845/3096).
Encoding transition NotAlone_1_7_2 (846/3096).
Encoding transition NotAlone_2_7_2 (847/3096).
Encoding transition NotAlone_3_7_2 (848/3096).
Encoding transition NotAlone_3_6_2 (849/3096).
Encoding transition NotAlone_4_6_2 (850/3096).
Encoding transition NotAlone_5_6_2 (851/3096).
Encoding transition NotAlone_7_6_2 (852/3096).
Encoding transition NotAlone_6_1_2 (853/3096).
Encoding transition NotAlone_5_1_2 (854/3096).
Encoding transition NotAlone_4_1_2 (855/3096).
Encoding transition NotAlone_3_1_2 (856/3096).
Encoding transition NotAlone_2_1_2 (857/3096).
Encoding transition NotAlone_0_1_2 (858/3096).
Encoding transition NotAlone_7_0_2 (859/3096).
Encoding transition NotAlone_6_0_2 (860/3096).
Encoding transition NotAlone_5_0_2 (861/3096).
Encoding transition NotAlone_4_0_2 (862/3096).
Encoding transition NotAlone_3_0_2 (863/3096).
Encoding transition NotAlone_2_0_2 (864/3096).
Encoding transition NotAlone_1_0_2 (865/3096).
Encoding transition NotAlone_6_7_1 (866/3096).
Encoding transition NotAlone_5_7_1 (867/3096).
Encoding transition NotAlone_4_7_1 (868/3096).
Encoding transition NotAlone_7_3_2 (869/3096).
Encoding transition NotAlone_0_4_2 (870/3096).
Encoding transition NotAlone_5_3_2 (871/3096).
Encoding transition NotAlone_6_3_2 (872/3096).
Encoding transition NotAlone_2_3_2 (873/3096).
Encoding transition NotAlone_4_3_2 (874/3096).
Encoding transition NotAlone_0_3_2 (875/3096).
Encoding transition NotAlone_1_3_2 (876/3096).
Encoding transition NotAlone_6_2_2 (877/3096).
Encoding transition NotAlone_7_2_2 (878/3096).
Encoding transition NotAlone_4_2_2 (879/3096).
Encoding transition NotAlone_5_2_2 (880/3096).
Encoding transition NotAlone_1_2_2 (881/3096).
Encoding transition NotAlone_3_2_2 (882/3096).
Encoding transition NotAlone_7_1_2 (883/3096).
Encoding transition NotAlone_0_2_2 (884/3096).
Encoding transition NotAlone_4_6_3 (885/3096).
Encoding transition NotAlone_3_6_3 (886/3096).
Encoding transition NotAlone_7_6_3 (887/3096).
Encoding transition NotAlone_5_6_3 (888/3096).
Encoding transition NotAlone_1_7_3 (889/3096).
Encoding transition NotAlone_0_7_3 (890/3096).
Encoding transition NotAlone_3_7_3 (891/3096).
Encoding transition NotAlone_2_7_3 (892/3096).
Encoding transition NotAlone_3_5_3 (893/3096).
Encoding transition NotAlone_2_5_3 (894/3096).
Encoding transition NotAlone_6_5_3 (895/3096).
Encoding transition NotAlone_4_5_3 (896/3096).
Encoding transition NotAlone_0_6_3 (897/3096).
Encoding transition NotAlone_7_5_3 (898/3096).
Encoding transition NotAlone_2_6_3 (899/3096).
Encoding transition NotAlone_1_6_3 (900/3096).
Encoding transition NotAlone_6_0_4 (901/3096).
Encoding transition NotAlone_7_0_4 (902/3096).
Encoding transition NotAlone_0_1_4 (903/3096).
Encoding transition NotAlone_2_1_4 (904/3096).
Encoding transition NotAlone_3_1_4 (905/3096).
Encoding transition NotAlone_4_1_4 (906/3096).
Encoding transition NotAlone_5_1_4 (907/3096).
Encoding transition NotAlone_6_1_4 (908/3096).
Encoding transition NotAlone_4_7_3 (909/3096).
Encoding transition NotAlone_5_7_3 (910/3096).
Encoding transition NotAlone_6_7_3 (911/3096).
Encoding transition NotAlone_1_0_4 (912/3096).
Encoding transition NotAlone_2_0_4 (913/3096).
Encoding transition NotAlone_3_0_4 (914/3096).
Encoding transition NotAlone_4_0_4 (915/3096).
Encoding transition NotAlone_5_0_4 (916/3096).
Encoding transition NotAlone_3_2_3 (917/3096).
Encoding transition NotAlone_1_2_3 (918/3096).
Encoding transition NotAlone_0_2_3 (919/3096).
Encoding transition NotAlone_7_1_3 (920/3096).
Encoding transition NotAlone_7_2_3 (921/3096).
Encoding transition NotAlone_6_2_3 (922/3096).
Encoding transition NotAlone_5_2_3 (923/3096).
Encoding transition NotAlone_4_2_3 (924/3096).
Encoding transition NotAlone_2_1_3 (925/3096).
Encoding transition NotAlone_0_1_3 (926/3096).
Encoding transition NotAlone_7_0_3 (927/3096).
Encoding transition NotAlone_6_0_3 (928/3096).
Encoding transition NotAlone_6_1_3 (929/3096).
Encoding transition NotAlone_5_1_3 (930/3096).
Encoding transition NotAlone_4_1_3 (931/3096).
Encoding transition NotAlone_3_1_3 (932/3096).
Encoding transition NotAlone_3_4_3 (933/3096).
Encoding transition NotAlone_5_4_3 (934/3096).
Encoding transition NotAlone_1_4_3 (935/3096).
Encoding transition NotAlone_2_4_3 (936/3096).
Encoding transition NotAlone_0_5_3 (937/3096).
Encoding transition NotAlone_1_5_3 (938/3096).
Encoding transition NotAlone_6_4_3 (939/3096).
Encoding transition NotAlone_7_4_3 (940/3096).
Encoding transition NotAlone_2_3_3 (941/3096).
Encoding transition NotAlone_4_3_3 (942/3096).
Encoding transition NotAlone_0_3_3 (943/3096).
Encoding transition NotAlone_1_3_3 (944/3096).
Encoding transition NotAlone_7_3_3 (945/3096).
Encoding transition NotAlone_0_4_3 (946/3096).
Encoding transition NotAlone_5_3_3 (947/3096).
Encoding transition NotAlone_6_3_3 (948/3096).
Encoding transition NotAlone_4_2_0 (949/3096).
Encoding transition NotAlone_5_2_0 (950/3096).
Encoding transition NotAlone_6_2_0 (951/3096).
Encoding transition NotAlone_7_2_0 (952/3096).
Encoding transition NotAlone_7_1_0 (953/3096).
Encoding transition NotAlone_0_2_0 (954/3096).
Encoding transition NotAlone_1_2_0 (955/3096).
Encoding transition NotAlone_3_2_0 (956/3096).
Encoding transition NotAlone_5_3_0 (957/3096).
Encoding transition NotAlone_6_3_0 (958/3096).
Encoding transition NotAlone_7_3_0 (959/3096).
Encoding transition NotAlone_0_4_0 (960/3096).
Encoding transition NotAlone_0_3_0 (961/3096).
Encoding transition NotAlone_1_3_0 (962/3096).
Encoding transition NotAlone_2_3_0 (963/3096).
Encoding transition NotAlone_4_3_0 (964/3096).
Encoding transition NotAlone_7_4_0 (965/3096).
Encoding transition NotAlone_6_4_0 (966/3096).
Encoding transition NotAlone_1_5_0 (967/3096).
Encoding transition NotAlone_0_5_0 (968/3096).
Encoding transition NotAlone_2_4_0 (969/3096).
Encoding transition NotAlone_1_4_0 (970/3096).
Encoding transition NotAlone_5_4_0 (971/3096).
Encoding transition NotAlone_3_4_0 (972/3096).
Encoding transition NotAlone_0_6_0 (973/3096).
Encoding transition NotAlone_7_5_0 (974/3096).
Encoding transition NotAlone_2_6_0 (975/3096).
Encoding transition NotAlone_1_6_0 (976/3096).
Encoding transition NotAlone_3_5_0 (977/3096).
Encoding transition NotAlone_2_5_0 (978/3096).
Encoding transition NotAlone_6_5_0 (979/3096).
Encoding transition NotAlone_4_5_0 (980/3096).
Encoding transition Alone1_1_6_6 (981/3096).
Encoding transition Alone1_2_6_6 (982/3096).
Encoding transition Alone1_7_5_6 (983/3096).
Encoding transition Alone1_0_6_6 (984/3096).
Encoding transition Alone1_4_5_6 (985/3096).
Encoding transition Alone1_6_5_6 (986/3096).
Encoding transition Alone1_2_5_6 (987/3096).
Encoding transition Alone1_3_5_6 (988/3096).
Encoding transition Alone1_2_7_6 (989/3096).
Encoding transition Alone1_3_7_6 (990/3096).
Encoding transition Alone1_0_7_6 (991/3096).
Encoding transition Alone1_1_7_6 (992/3096).
Encoding transition Alone1_5_6_6 (993/3096).
Encoding transition Alone1_7_6_6 (994/3096).
Encoding transition Alone1_3_6_6 (995/3096).
Encoding transition Alone1_4_6_6 (996/3096).
Encoding transition NotAlone_5_0_0 (997/3096).
Encoding transition NotAlone_4_0_0 (998/3096).
Encoding transition NotAlone_3_0_0 (999/3096).
Encoding transition NotAlone_2_0_0 (1000/3096).
Encoding transition NotAlone_1_0_0 (1001/3096).
Encoding transition Alone1_6_7_6 (1002/3096).
Encoding transition Alone1_5_7_6 (1003/3096).
Encoding transition Alone1_4_7_6 (1004/3096).
Encoding transition NotAlone_6_1_0 (1005/3096).
Encoding transition NotAlone_5_1_0 (1006/3096).
Encoding transition NotAlone_4_1_0 (1007/3096).
Encoding transition NotAlone_3_1_0 (1008/3096).
Encoding transition NotAlone_2_1_0 (1009/3096).
Encoding transition NotAlone_0_1_0 (1010/3096).
Encoding transition NotAlone_7_0_0 (1011/3096).
Encoding transition NotAlone_6_0_0 (1012/3096).
Encoding transition NotAlone_0_3_1 (1013/3096).
Encoding transition NotAlone_1_3_1 (1014/3096).
Encoding transition NotAlone_2_3_1 (1015/3096).
Encoding transition NotAlone_4_3_1 (1016/3096).
Encoding transition NotAlone_5_3_1 (1017/3096).
Encoding transition NotAlone_6_3_1 (1018/3096).
Encoding transition NotAlone_7_3_1 (1019/3096).
Encoding transition NotAlone_0_4_1 (1020/3096).
Encoding transition NotAlone_1_4_1 (1021/3096).
Encoding transition NotAlone_2_4_1 (1022/3096).
Encoding transition NotAlone_3_4_1 (1023/3096).
Encoding transition NotAlone_5_4_1 (1024/3096).
Encoding transition NotAlone_6_4_1 (1025/3096).
Encoding transition NotAlone_7_4_1 (1026/3096).
Encoding transition NotAlone_0_5_1 (1027/3096).
Encoding transition NotAlone_1_5_1 (1028/3096).
Encoding transition NotAlone_3_5_1 (1029/3096).
Encoding transition NotAlone_2_5_1 (1030/3096).
Encoding transition NotAlone_6_5_1 (1031/3096).
Encoding transition NotAlone_4_5_1 (1032/3096).
Encoding transition NotAlone_0_6_1 (1033/3096).
Encoding transition NotAlone_7_5_1 (1034/3096).
Encoding transition NotAlone_2_6_1 (1035/3096).
Encoding transition NotAlone_1_6_1 (1036/3096).
Encoding transition NotAlone_4_6_1 (1037/3096).
Encoding transition NotAlone_3_6_1 (1038/3096).
Encoding transition NotAlone_7_6_1 (1039/3096).
Encoding transition NotAlone_5_6_1 (1040/3096).
Encoding transition NotAlone_1_7_1 (1041/3096).
Encoding transition NotAlone_0_7_1 (1042/3096).
Encoding transition NotAlone_3_7_1 (1043/3096).
Encoding transition NotAlone_2_7_1 (1044/3096).
Encoding transition NotAlone_5_6_0 (1045/3096).
Encoding transition NotAlone_7_6_0 (1046/3096).
Encoding transition NotAlone_3_6_0 (1047/3096).
Encoding transition NotAlone_4_6_0 (1048/3096).
Encoding transition NotAlone_2_7_0 (1049/3096).
Encoding transition NotAlone_3_7_0 (1050/3096).
Encoding transition NotAlone_0_7_0 (1051/3096).
Encoding transition NotAlone_1_7_0 (1052/3096).
Encoding transition NotAlone_6_7_0 (1053/3096).
Encoding transition NotAlone_1_0_1 (1054/3096).
Encoding transition NotAlone_4_7_0 (1055/3096).
Encoding transition NotAlone_5_7_0 (1056/3096).
Encoding transition NotAlone_4_0_1 (1057/3096).
Encoding transition NotAlone_5_0_1 (1058/3096).
Encoding transition NotAlone_2_0_1 (1059/3096).
Encoding transition NotAlone_3_0_1 (1060/3096).
Encoding transition NotAlone_2_1_1 (1061/3096).
Encoding transition NotAlone_0_1_1 (1062/3096).
Encoding transition NotAlone_7_0_1 (1063/3096).
Encoding transition NotAlone_6_0_1 (1064/3096).
Encoding transition NotAlone_6_1_1 (1065/3096).
Encoding transition NotAlone_5_1_1 (1066/3096).
Encoding transition NotAlone_4_1_1 (1067/3096).
Encoding transition NotAlone_3_1_1 (1068/3096).
Encoding transition NotAlone_3_2_1 (1069/3096).
Encoding transition NotAlone_1_2_1 (1070/3096).
Encoding transition NotAlone_0_2_1 (1071/3096).
Encoding transition NotAlone_7_1_1 (1072/3096).
Encoding transition NotAlone_7_2_1 (1073/3096).
Encoding transition NotAlone_6_2_1 (1074/3096).
Encoding transition NotAlone_5_2_1 (1075/3096).
Encoding transition NotAlone_4_2_1 (1076/3096).
Encoding transition ContinueLoop_1_7_0 (1077/3096).
Encoding transition ContinueLoop_2_7_0 (1078/3096).
Encoding transition ContinueLoop_3_7_0 (1079/3096).
Encoding transition ContinueLoop_4_7_0 (1080/3096).
Encoding transition ContinueLoop_5_6_0 (1081/3096).
Encoding transition ContinueLoop_6_6_0 (1082/3096).
Encoding transition ContinueLoop_7_6_0 (1083/3096).
Encoding transition ContinueLoop_0_7_0 (1084/3096).
Encoding transition ContinueLoop_1_0_1 (1085/3096).
Encoding transition ContinueLoop_2_0_1 (1086/3096).
Encoding transition ContinueLoop_3_0_1 (1087/3096).
Encoding transition ContinueLoop_4_0_1 (1088/3096).
Encoding transition ContinueLoop_5_7_0 (1089/3096).
Encoding transition ContinueLoop_6_7_0 (1090/3096).
Encoding transition ContinueLoop_7_7_0 (1091/3096).
Encoding transition ContinueLoop_0_0_1 (1092/3096).
Encoding transition ContinueLoop_2_5_0 (1093/3096).
Encoding transition ContinueLoop_1_5_0 (1094/3096).
Encoding transition ContinueLoop_4_5_0 (1095/3096).
Encoding transition ContinueLoop_3_5_0 (1096/3096).
Encoding transition ContinueLoop_6_4_0 (1097/3096).
Encoding transition ContinueLoop_5_4_0 (1098/3096).
Encoding transition ContinueLoop_0_5_0 (1099/3096).
Encoding transition ContinueLoop_7_4_0 (1100/3096).
Encoding transition ContinueLoop_2_6_0 (1101/3096).
Encoding transition ContinueLoop_1_6_0 (1102/3096).
Encoding transition ContinueLoop_4_6_0 (1103/3096).
Encoding transition ContinueLoop_3_6_0 (1104/3096).
Encoding transition ContinueLoop_6_5_0 (1105/3096).
Encoding transition ContinueLoop_5_5_0 (1106/3096).
Encoding transition ContinueLoop_0_6_0 (1107/3096).
Encoding transition ContinueLoop_7_5_0 (1108/3096).
Encoding transition ContinueLoop_3_3_1 (1109/3096).
Encoding transition ContinueLoop_4_3_1 (1110/3096).
Encoding transition ContinueLoop_1_3_1 (1111/3096).
Encoding transition ContinueLoop_2_3_1 (1112/3096).
Encoding transition ContinueLoop_7_2_1 (1113/3096).
Encoding transition ContinueLoop_0_3_1 (1114/3096).
Encoding transition ContinueLoop_5_2_1 (1115/3096).
Encoding transition ContinueLoop_6_2_1 (1116/3096).
Encoding transition ContinueLoop_3_4_1 (1117/3096).
Encoding transition ContinueLoop_4_4_1 (1118/3096).
Encoding transition ContinueLoop_1_4_1 (1119/3096).
Encoding transition ContinueLoop_2_4_1 (1120/3096).
Encoding transition ContinueLoop_7_3_1 (1121/3096).
Encoding transition ContinueLoop_0_4_1 (1122/3096).
Encoding transition ContinueLoop_5_3_1 (1123/3096).
Encoding transition ContinueLoop_6_3_1 (1124/3096).
Encoding transition ContinueLoop_4_1_1 (1125/3096).
Encoding transition ContinueLoop_3_1_1 (1126/3096).
Encoding transition ContinueLoop_2_1_1 (1127/3096).
Encoding transition ContinueLoop_1_1_1 (1128/3096).
Encoding transition ContinueLoop_0_1_1 (1129/3096).
Encoding transition ContinueLoop_7_0_1 (1130/3096).
Encoding transition ContinueLoop_6_0_1 (1131/3096).
Encoding transition ContinueLoop_5_0_1 (1132/3096).
Encoding transition ContinueLoop_4_2_1 (1133/3096).
Encoding transition ContinueLoop_3_2_1 (1134/3096).
Encoding transition ContinueLoop_2_2_1 (1135/3096).
Encoding transition ContinueLoop_1_2_1 (1136/3096).
Encoding transition ContinueLoop_0_2_1 (1137/3096).
Encoding transition ContinueLoop_7_1_1 (1138/3096).
Encoding transition ContinueLoop_6_1_1 (1139/3096).
Encoding transition ContinueLoop_5_1_1 (1140/3096).
Encoding transition NotAlone_3_6_6 (1141/3096).
Encoding transition NotAlone_4_6_6 (1142/3096).
Encoding transition NotAlone_5_6_6 (1143/3096).
Encoding transition NotAlone_7_6_6 (1144/3096).
Encoding transition NotAlone_0_7_6 (1145/3096).
Encoding transition NotAlone_1_7_6 (1146/3096).
Encoding transition NotAlone_2_7_6 (1147/3096).
Encoding transition NotAlone_3_7_6 (1148/3096).
Encoding transition NotAlone_4_7_6 (1149/3096).
Encoding transition NotAlone_5_7_6 (1150/3096).
Encoding transition NotAlone_6_7_6 (1151/3096).
Encoding transition ContinueLoop_0_0_0 (1152/3096).
Encoding transition ContinueLoop_1_0_0 (1153/3096).
Encoding transition ContinueLoop_2_0_0 (1154/3096).
Encoding transition ContinueLoop_3_0_0 (1155/3096).
Encoding transition ContinueLoop_4_0_0 (1156/3096).
Encoding transition NotAlone_2_4_6 (1157/3096).
Encoding transition NotAlone_1_4_6 (1158/3096).
Encoding transition NotAlone_5_4_6 (1159/3096).
Encoding transition NotAlone_3_4_6 (1160/3096).
Encoding transition NotAlone_7_4_6 (1161/3096).
Encoding transition NotAlone_6_4_6 (1162/3096).
Encoding transition NotAlone_1_5_6 (1163/3096).
Encoding transition NotAlone_0_5_6 (1164/3096).
Encoding transition NotAlone_3_5_6 (1165/3096).
Encoding transition NotAlone_2_5_6 (1166/3096).
Encoding transition NotAlone_6_5_6 (1167/3096).
Encoding transition NotAlone_4_5_6 (1168/3096).
Encoding transition NotAlone_0_6_6 (1169/3096).
Encoding transition NotAlone_7_5_6 (1170/3096).
Encoding transition NotAlone_2_6_6 (1171/3096).
Encoding transition NotAlone_1_6_6 (1172/3096).
Encoding transition ContinueLoop_7_2_0 (1173/3096).
Encoding transition ContinueLoop_0_3_0 (1174/3096).
Encoding transition ContinueLoop_5_2_0 (1175/3096).
Encoding transition ContinueLoop_6_2_0 (1176/3096).
Encoding transition ContinueLoop_3_3_0 (1177/3096).
Encoding transition ContinueLoop_4_3_0 (1178/3096).
Encoding transition ContinueLoop_1_3_0 (1179/3096).
Encoding transition ContinueLoop_2_3_0 (1180/3096).
Encoding transition ContinueLoop_7_3_0 (1181/3096).
Encoding transition ContinueLoop_0_4_0 (1182/3096).
Encoding transition ContinueLoop_5_3_0 (1183/3096).
Encoding transition ContinueLoop_6_3_0 (1184/3096).
Encoding transition ContinueLoop_3_4_0 (1185/3096).
Encoding transition ContinueLoop_4_4_0 (1186/3096).
Encoding transition ContinueLoop_1_4_0 (1187/3096).
Encoding transition ContinueLoop_2_4_0 (1188/3096).
Encoding transition ContinueLoop_0_1_0 (1189/3096).
Encoding transition ContinueLoop_7_0_0 (1190/3096).
Encoding transition ContinueLoop_6_0_0 (1191/3096).
Encoding transition ContinueLoop_5_0_0 (1192/3096).
Encoding transition ContinueLoop_4_1_0 (1193/3096).
Encoding transition ContinueLoop_3_1_0 (1194/3096).
Encoding transition ContinueLoop_2_1_0 (1195/3096).
Encoding transition ContinueLoop_1_1_0 (1196/3096).
Encoding transition ContinueLoop_0_2_0 (1197/3096).
Encoding transition ContinueLoop_7_1_0 (1198/3096).
Encoding transition ContinueLoop_6_1_0 (1199/3096).
Encoding transition ContinueLoop_5_1_0 (1200/3096).
Encoding transition ContinueLoop_4_2_0 (1201/3096).
Encoding transition ContinueLoop_3_2_0 (1202/3096).
Encoding transition ContinueLoop_2_2_0 (1203/3096).
Encoding transition ContinueLoop_1_2_0 (1204/3096).
Encoding transition NotAlone_1_7_5 (1205/3096).
Encoding transition NotAlone_0_7_5 (1206/3096).
Encoding transition NotAlone_3_7_5 (1207/3096).
Encoding transition NotAlone_2_7_5 (1208/3096).
Encoding transition NotAlone_4_6_5 (1209/3096).
Encoding transition NotAlone_3_6_5 (1210/3096).
Encoding transition NotAlone_7_6_5 (1211/3096).
Encoding transition NotAlone_5_6_5 (1212/3096).
Encoding transition NotAlone_0_6_5 (1213/3096).
Encoding transition NotAlone_7_5_5 (1214/3096).
Encoding transition NotAlone_2_6_5 (1215/3096).
Encoding transition NotAlone_1_6_5 (1216/3096).
Encoding transition NotAlone_3_5_5 (1217/3096).
Encoding transition NotAlone_2_5_5 (1218/3096).
Encoding transition NotAlone_6_5_5 (1219/3096).
Encoding transition NotAlone_4_5_5 (1220/3096).
Encoding transition NotAlone_6_4_5 (1221/3096).
Encoding transition NotAlone_7_4_5 (1222/3096).
Encoding transition NotAlone_0_5_5 (1223/3096).
Encoding transition NotAlone_1_5_5 (1224/3096).
Encoding transition NotAlone_1_4_5 (1225/3096).
Encoding transition NotAlone_2_4_5 (1226/3096).
Encoding transition NotAlone_3_4_5 (1227/3096).
Encoding transition NotAlone_5_4_5 (1228/3096).
Encoding transition NotAlone_5_3_5 (1229/3096).
Encoding transition NotAlone_6_3_5 (1230/3096).
Encoding transition NotAlone_7_3_5 (1231/3096).
Encoding transition NotAlone_0_4_5 (1232/3096).
Encoding transition NotAlone_0_3_5 (1233/3096).
Encoding transition NotAlone_1_3_5 (1234/3096).
Encoding transition NotAlone_2_3_5 (1235/3096).
Encoding transition NotAlone_4_3_5 (1236/3096).
Encoding transition NotAlone_0_4_6 (1237/3096).
Encoding transition NotAlone_7_3_6 (1238/3096).
Encoding transition NotAlone_6_3_6 (1239/3096).
Encoding transition NotAlone_5_3_6 (1240/3096).
Encoding transition NotAlone_4_3_6 (1241/3096).
Encoding transition NotAlone_2_3_6 (1242/3096).
Encoding transition NotAlone_1_3_6 (1243/3096).
Encoding transition NotAlone_0_3_6 (1244/3096).
Encoding transition NotAlone_7_2_6 (1245/3096).
Encoding transition NotAlone_6_2_6 (1246/3096).
Encoding transition NotAlone_5_2_6 (1247/3096).
Encoding transition NotAlone_4_2_6 (1248/3096).
Encoding transition NotAlone_3_2_6 (1249/3096).
Encoding transition NotAlone_1_2_6 (1250/3096).
Encoding transition NotAlone_0_2_6 (1251/3096).
Encoding transition NotAlone_7_1_6 (1252/3096).
Encoding transition NotAlone_5_1_6 (1253/3096).
Encoding transition NotAlone_6_1_6 (1254/3096).
Encoding transition NotAlone_3_1_6 (1255/3096).
Encoding transition NotAlone_4_1_6 (1256/3096).
Encoding transition NotAlone_0_1_6 (1257/3096).
Encoding transition NotAlone_2_1_6 (1258/3096).
Encoding transition NotAlone_6_0_6 (1259/3096).
Encoding transition NotAlone_7_0_6 (1260/3096).
Encoding transition NotAlone_4_0_6 (1261/3096).
Encoding transition NotAlone_5_0_6 (1262/3096).
Encoding transition NotAlone_2_0_6 (1263/3096).
Encoding transition NotAlone_3_0_6 (1264/3096).
Encoding transition NotAlone_6_7_5 (1265/3096).
Encoding transition NotAlone_1_0_6 (1266/3096).
Encoding transition NotAlone_4_7_5 (1267/3096).
Encoding transition NotAlone_5_7_5 (1268/3096).
Encoding transition NotAlone_3_5_4 (1269/3096).
Encoding transition NotAlone_2_5_4 (1270/3096).
Encoding transition NotAlone_6_5_4 (1271/3096).
Encoding transition NotAlone_4_5_4 (1272/3096).
Encoding transition NotAlone_0_6_4 (1273/3096).
Encoding transition NotAlone_7_5_4 (1274/3096).
Encoding transition NotAlone_2_6_4 (1275/3096).
Encoding transition NotAlone_1_6_4 (1276/3096).
Encoding transition NotAlone_2_4_4 (1277/3096).
Encoding transition NotAlone_1_4_4 (1278/3096).
Encoding transition NotAlone_5_4_4 (1279/3096).
Encoding transition NotAlone_3_4_4 (1280/3096).
Encoding transition NotAlone_7_4_4 (1281/3096).
Encoding transition NotAlone_6_4_4 (1282/3096).
Encoding transition NotAlone_1_5_4 (1283/3096).
Encoding transition NotAlone_0_5_4 (1284/3096).
Encoding transition NotAlone_0_3_4 (1285/3096).
Encoding transition NotAlone_1_3_4 (1286/3096).
Encoding transition NotAlone_2_3_4 (1287/3096).
Encoding transition NotAlone_4_3_4 (1288/3096).
Encoding transition NotAlone_5_3_4 (1289/3096).
Encoding transition NotAlone_6_3_4 (1290/3096).
Encoding transition NotAlone_7_3_4 (1291/3096).
Encoding transition NotAlone_0_4_4 (1292/3096).
Encoding transition NotAlone_7_1_4 (1293/3096).
Encoding transition NotAlone_0_2_4 (1294/3096).
Encoding transition NotAlone_1_2_4 (1295/3096).
Encoding transition NotAlone_3_2_4 (1296/3096).
Encoding transition NotAlone_4_2_4 (1297/3096).
Encoding transition NotAlone_5_2_4 (1298/3096).
Encoding transition NotAlone_6_2_4 (1299/3096).
Encoding transition NotAlone_7_2_4 (1300/3096).
Encoding transition NotAlone_3_2_5 (1301/3096).
Encoding transition NotAlone_1_2_5 (1302/3096).
Encoding transition NotAlone_0_2_5 (1303/3096).
Encoding transition NotAlone_7_1_5 (1304/3096).
Encoding transition NotAlone_7_2_5 (1305/3096).
Encoding transition NotAlone_6_2_5 (1306/3096).
Encoding transition NotAlone_5_2_5 (1307/3096).
Encoding transition NotAlone_4_2_5 (1308/3096).
Encoding transition NotAlone_2_1_5 (1309/3096).
Encoding transition NotAlone_0_1_5 (1310/3096).
Encoding transition NotAlone_7_0_5 (1311/3096).
Encoding transition NotAlone_6_0_5 (1312/3096).
Encoding transition NotAlone_6_1_5 (1313/3096).
Encoding transition NotAlone_5_1_5 (1314/3096).
Encoding transition NotAlone_4_1_5 (1315/3096).
Encoding transition NotAlone_3_1_5 (1316/3096).
Encoding transition NotAlone_6_7_4 (1317/3096).
Encoding transition NotAlone_1_0_5 (1318/3096).
Encoding transition NotAlone_4_7_4 (1319/3096).
Encoding transition NotAlone_5_7_4 (1320/3096).
Encoding transition NotAlone_4_0_5 (1321/3096).
Encoding transition NotAlone_5_0_5 (1322/3096).
Encoding transition NotAlone_2_0_5 (1323/3096).
Encoding transition NotAlone_3_0_5 (1324/3096).
Encoding transition NotAlone_5_6_4 (1325/3096).
Encoding transition NotAlone_7_6_4 (1326/3096).
Encoding transition NotAlone_3_6_4 (1327/3096).
Encoding transition NotAlone_4_6_4 (1328/3096).
Encoding transition NotAlone_2_7_4 (1329/3096).
Encoding transition NotAlone_3_7_4 (1330/3096).
Encoding transition NotAlone_0_7_4 (1331/3096).
Encoding transition NotAlone_1_7_4 (1332/3096).
Encoding transition ContinueLoop_4_5_4 (1333/3096).
Encoding transition ContinueLoop_3_5_4 (1334/3096).
Encoding transition ContinueLoop_2_5_4 (1335/3096).
Encoding transition ContinueLoop_1_5_4 (1336/3096).
Encoding transition ContinueLoop_0_5_4 (1337/3096).
Encoding transition ContinueLoop_7_4_4 (1338/3096).
Encoding transition ContinueLoop_6_4_4 (1339/3096).
Encoding transition ContinueLoop_5_4_4 (1340/3096).
Encoding transition ContinueLoop_4_6_4 (1341/3096).
Encoding transition ContinueLoop_3_6_4 (1342/3096).
Encoding transition ContinueLoop_2_6_4 (1343/3096).
Encoding transition ContinueLoop_1_6_4 (1344/3096).
Encoding transition ContinueLoop_0_6_4 (1345/3096).
Encoding transition ContinueLoop_7_5_4 (1346/3096).
Encoding transition ContinueLoop_6_5_4 (1347/3096).
Encoding transition ContinueLoop_5_5_4 (1348/3096).
Encoding transition ContinueLoop_3_7_4 (1349/3096).
Encoding transition ContinueLoop_4_7_4 (1350/3096).
Encoding transition ContinueLoop_1_7_4 (1351/3096).
Encoding transition ContinueLoop_2_7_4 (1352/3096).
Encoding transition ContinueLoop_7_6_4 (1353/3096).
Encoding transition ContinueLoop_0_7_4 (1354/3096).
Encoding transition ContinueLoop_5_6_4 (1355/3096).
Encoding transition ContinueLoop_6_6_4 (1356/3096).
Encoding transition ContinueLoop_3_0_5 (1357/3096).
Encoding transition ContinueLoop_4_0_5 (1358/3096).
Encoding transition ContinueLoop_1_0_5 (1359/3096).
Encoding transition ContinueLoop_2_0_5 (1360/3096).
Encoding transition ContinueLoop_7_7_4 (1361/3096).
Encoding transition ContinueLoop_0_0_5 (1362/3096).
Encoding transition ContinueLoop_5_7_4 (1363/3096).
Encoding transition ContinueLoop_6_7_4 (1364/3096).
Encoding transition ContinueLoop_2_1_5 (1365/3096).
Encoding transition ContinueLoop_1_1_5 (1366/3096).
Encoding transition ContinueLoop_4_1_5 (1367/3096).
Encoding transition ContinueLoop_3_1_5 (1368/3096).
Encoding transition ContinueLoop_6_0_5 (1369/3096).
Encoding transition ContinueLoop_5_0_5 (1370/3096).
Encoding transition ContinueLoop_0_1_5 (1371/3096).
Encoding transition ContinueLoop_7_0_5 (1372/3096).
Encoding transition ContinueLoop_2_2_5 (1373/3096).
Encoding transition ContinueLoop_1_2_5 (1374/3096).
Encoding transition ContinueLoop_4_2_5 (1375/3096).
Encoding transition ContinueLoop_3_2_5 (1376/3096).
Encoding transition ContinueLoop_6_1_5 (1377/3096).
Encoding transition ContinueLoop_5_1_5 (1378/3096).
Encoding transition ContinueLoop_0_2_5 (1379/3096).
Encoding transition ContinueLoop_7_1_5 (1380/3096).
Encoding transition ContinueLoop_1_3_5 (1381/3096).
Encoding transition ContinueLoop_2_3_5 (1382/3096).
Encoding transition ContinueLoop_3_3_5 (1383/3096).
Encoding transition ContinueLoop_4_3_5 (1384/3096).
Encoding transition ContinueLoop_5_2_5 (1385/3096).
Encoding transition ContinueLoop_6_2_5 (1386/3096).
Encoding transition ContinueLoop_7_2_5 (1387/3096).
Encoding transition ContinueLoop_0_3_5 (1388/3096).
Encoding transition ContinueLoop_1_4_5 (1389/3096).
Encoding transition ContinueLoop_2_4_5 (1390/3096).
Encoding transition ContinueLoop_3_4_5 (1391/3096).
Encoding transition ContinueLoop_4_4_5 (1392/3096).
Encoding transition ContinueLoop_5_3_5 (1393/3096).
Encoding transition ContinueLoop_6_3_5 (1394/3096).
Encoding transition ContinueLoop_7_3_5 (1395/3096).
Encoding transition ContinueLoop_0_4_5 (1396/3096).
Encoding transition ContinueLoop_0_5_3 (1397/3096).
Encoding transition ContinueLoop_7_4_3 (1398/3096).
Encoding transition ContinueLoop_6_4_3 (1399/3096).
Encoding transition ContinueLoop_5_4_3 (1400/3096).
Encoding transition ContinueLoop_4_5_3 (1401/3096).
Encoding transition ContinueLoop_3_5_3 (1402/3096).
Encoding transition ContinueLoop_2_5_3 (1403/3096).
Encoding transition ContinueLoop_1_5_3 (1404/3096).
Encoding transition ContinueLoop_0_6_3 (1405/3096).
Encoding transition ContinueLoop_7_5_3 (1406/3096).
Encoding transition ContinueLoop_6_5_3 (1407/3096).
Encoding transition ContinueLoop_5_5_3 (1408/3096).
Encoding transition ContinueLoop_4_6_3 (1409/3096).
Encoding transition ContinueLoop_3_6_3 (1410/3096).
Encoding transition ContinueLoop_2_6_3 (1411/3096).
Encoding transition ContinueLoop_1_6_3 (1412/3096).
Encoding transition ContinueLoop_7_6_3 (1413/3096).
Encoding transition ContinueLoop_0_7_3 (1414/3096).
Encoding transition ContinueLoop_5_6_3 (1415/3096).
Encoding transition ContinueLoop_6_6_3 (1416/3096).
Encoding transition ContinueLoop_3_7_3 (1417/3096).
Encoding transition ContinueLoop_4_7_3 (1418/3096).
Encoding transition ContinueLoop_1_7_3 (1419/3096).
Encoding transition ContinueLoop_2_7_3 (1420/3096).
Encoding transition ContinueLoop_7_7_3 (1421/3096).
Encoding transition ContinueLoop_0_0_4 (1422/3096).
Encoding transition ContinueLoop_5_7_3 (1423/3096).
Encoding transition ContinueLoop_6_7_3 (1424/3096).
Encoding transition ContinueLoop_3_0_4 (1425/3096).
Encoding transition ContinueLoop_4_0_4 (1426/3096).
Encoding transition ContinueLoop_1_0_4 (1427/3096).
Encoding transition ContinueLoop_2_0_4 (1428/3096).
Encoding transition ContinueLoop_6_0_4 (1429/3096).
Encoding transition ContinueLoop_5_0_4 (1430/3096).
Encoding transition ContinueLoop_0_1_4 (1431/3096).
Encoding transition ContinueLoop_7_0_4 (1432/3096).
Encoding transition ContinueLoop_2_1_4 (1433/3096).
Encoding transition ContinueLoop_1_1_4 (1434/3096).
Encoding transition ContinueLoop_4_1_4 (1435/3096).
Encoding transition ContinueLoop_3_1_4 (1436/3096).
Encoding transition ContinueLoop_6_1_4 (1437/3096).
Encoding transition ContinueLoop_5_1_4 (1438/3096).
Encoding transition ContinueLoop_0_2_4 (1439/3096).
Encoding transition ContinueLoop_7_1_4 (1440/3096).
Encoding transition ContinueLoop_2_2_4 (1441/3096).
Encoding transition ContinueLoop_1_2_4 (1442/3096).
Encoding transition ContinueLoop_4_2_4 (1443/3096).
Encoding transition ContinueLoop_3_2_4 (1444/3096).
Encoding transition ContinueLoop_5_2_4 (1445/3096).
Encoding transition ContinueLoop_6_2_4 (1446/3096).
Encoding transition ContinueLoop_7_2_4 (1447/3096).
Encoding transition ContinueLoop_0_3_4 (1448/3096).
Encoding transition ContinueLoop_1_3_4 (1449/3096).
Encoding transition ContinueLoop_2_3_4 (1450/3096).
Encoding transition ContinueLoop_3_3_4 (1451/3096).
Encoding transition ContinueLoop_4_3_4 (1452/3096).
Encoding transition ContinueLoop_5_3_4 (1453/3096).
Encoding transition ContinueLoop_6_3_4 (1454/3096).
Encoding transition ContinueLoop_7_3_4 (1455/3096).
Encoding transition ContinueLoop_0_4_4 (1456/3096).
Encoding transition ContinueLoop_1_4_4 (1457/3096).
Encoding transition ContinueLoop_2_4_4 (1458/3096).
Encoding transition ContinueLoop_3_4_4 (1459/3096).
Encoding transition ContinueLoop_4_4_4 (1460/3096).
Encoding transition ContinueLoop_3_6_2 (1461/3096).
Encoding transition ContinueLoop_4_6_2 (1462/3096).
Encoding transition ContinueLoop_1_6_2 (1463/3096).
Encoding transition ContinueLoop_2_6_2 (1464/3096).
Encoding transition ContinueLoop_7_5_2 (1465/3096).
Encoding transition ContinueLoop_0_6_2 (1466/3096).
Encoding transition ContinueLoop_5_5_2 (1467/3096).
Encoding transition ContinueLoop_6_5_2 (1468/3096).
Encoding transition ContinueLoop_3_5_2 (1469/3096).
Encoding transition ContinueLoop_4_5_2 (1470/3096).
Encoding transition ContinueLoop_1_5_2 (1471/3096).
Encoding transition ContinueLoop_2_5_2 (1472/3096).
Encoding transition ContinueLoop_7_4_2 (1473/3096).
Encoding transition ContinueLoop_0_5_2 (1474/3096).
Encoding transition ContinueLoop_5_4_2 (1475/3096).
Encoding transition ContinueLoop_6_4_2 (1476/3096).
Encoding transition ContinueLoop_4_0_3 (1477/3096).
Encoding transition ContinueLoop_3_0_3 (1478/3096).
Encoding transition ContinueLoop_2_0_3 (1479/3096).
Encoding transition ContinueLoop_1_0_3 (1480/3096).
Encoding transition ContinueLoop_0_0_3 (1481/3096).
Encoding transition ContinueLoop_7_7_2 (1482/3096).
Encoding transition ContinueLoop_6_7_2 (1483/3096).
Encoding transition ContinueLoop_5_7_2 (1484/3096).
Encoding transition ContinueLoop_4_7_2 (1485/3096).
Encoding transition ContinueLoop_3_7_2 (1486/3096).
Encoding transition ContinueLoop_2_7_2 (1487/3096).
Encoding transition ContinueLoop_1_7_2 (1488/3096).
Encoding transition ContinueLoop_0_7_2 (1489/3096).
Encoding transition ContinueLoop_7_6_2 (1490/3096).
Encoding transition ContinueLoop_6_6_2 (1491/3096).
Encoding transition ContinueLoop_5_6_2 (1492/3096).
Encoding transition ContinueLoop_1_2_3 (1493/3096).
Encoding transition ContinueLoop_2_2_3 (1494/3096).
Encoding transition ContinueLoop_3_2_3 (1495/3096).
Encoding transition ContinueLoop_4_2_3 (1496/3096).
BK_STOP 1400400103830
--------------------
content from stderr:
terminate called after throwing an instance of 'MEDDLY::error'
/home/mcc/BenchKit/bin/greatspn_tool.sh: line 167: 1694 Aborted ~/BenchKit/bin/bin/RGMEDD model ${PLACE_ORDER} ${MEDDLY_CACHE} ${BOUND} -C -f ${NEW_FRM}
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="Peterson-PT-7"
export BK_EXAMINATION="ReachabilityComputeBounds"
export BK_TOOL="greatspn"
export BK_RESULT_DIR="/home/fko/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
# 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/Peterson-PT-7.tgz
mv Peterson-PT-7 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-1667"
echo " Executing tool greatspn"
echo " Input is Peterson-PT-7, examination is ReachabilityComputeBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 6144 MBytes"
echo " Run identifier is r03kn-qhx2-140036872301133"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo -n "BK_START "
date -u +%s%3N
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 ;