.i 27 
.o 56 
.p 166 
.s 121
0-------------------------- * state1 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state1 state3 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state2 state1 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state3 state4 00000010010000001-0000000-00-0001001000010-0-----00-0---
1-------------------------- state4 state5 00000010000000000-0000000-00-0000000110101-0-----00-0---
1-------------------------- state5 state7 00000001000000000-0000000-00-0000000001000-0-----00-0---
1-------------------------- state6 state2 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-----0-------------------- state7 state9 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-----1-------------------- state7 state8 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state8 state17 00000010000000000-0000000-00-0000000001000-0-----00-0---
1----0--------------------- state9 state12 00000000000000000-0000000-00-0000000000000-0-----00-0---
1----1--------------------- state9 state10 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state10 state11 00000010000000000-0000001-00-0000000000001-0-----00-0---
1-------------------------- state11 state12 00000000000000000-0000000-00-0000010000000-0-----00-0---
1---0---------------------- state12 state15 00000000000000000-0000000-00-0000000000000-0-----00-0---
1---1---------------------- state12 state13 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state13 state29 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state14 state17 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state15 state59 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state16 state17 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state17 state18 0000000000010100001000000-10-000000000000011-----00-0---
1-------------------------- state18 state19 00100000000000000-0000000-00-0000000000000-0000--00-0---
1--0----------------------- state19 state21 00000000000000000-0000000-00-0000000000000-0-----00-0---
1--1----------------------- state19 state20 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state20 state21 00000001000000000-0000000-00-0000000100000-0-----00-0---
1-------------------------- state21 state22 01000000000100000-0000000-10-100000000000000000001001---
1-------------------------- state22 state23 00010000000000000-0000000-00-0000000000000-0000--01-0---
1-------------------------- state23 state24 00000000100000000-0000000-00-0000000000000-0---0000-0---
1-0------------------------ state24 state26 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-1------------------------ state24 state25 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state25 state26 00000001000000000-0000000-00-0000000010000-0-----00-0---
10------------------------- state26 state28 00000000010000010-0000000-00-0000000000000-0-----00-0---
11------------------------- state26 state27 00000000010000010-0000000-00-0000000000000-0-----00-0---
1-------------------------- state27 state28 00000000000000000-0000000-00-0010000000000-0-----00-0---
1-------------------------- state28 state7 00000000000000000-0000000-00-0000000000000-0-----00-0---
1------1------------------- state29 state36 00000000000000000-0000000-00-0000000000000-0-----00-0---
1------01------------------ state29 state36 00000000000000000-0000000-00-0000000000000-0-----00-0---
1------0011---------------- state29 state36 00000000000000000-0000000-00-0000000000000-0-----00-0---
1------0010---------------- state29 state34 00000000000000000-0000000-00-0000000000000-0-----00-0---
1------0001---------------- state29 state32 00000000000000000-0000000-00-0000000000000-0-----00-0---
1------0000---------------- state29 state30 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state30 state38 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state31 state37 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state32 state55 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state33 state37 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state34 state57 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state35 state37 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state36 state37 00000001000000000-0000000-00-0000000010000-0-----00-0---
1-------------------------- state37 state14 00000000000000000-0000000-00-0000000000000-0-----00-0---
1----------1--------------- state38 state43 00000000000000000-0000000-00-0000000000000-0-----00-0---
1----------01-------------- state38 state43 00000000000000000-0000000-00-0000000000000-0-----00-0---
1----------001------------- state38 state43 00000000000000000-0000000-00-0000000000000-0-----00-0---
1----------0001------------ state38 state41 00000000000000000-0000000-00-0000000000000-0-----00-0---
1----------0000------------ state38 state39 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state39 state45 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state40 state44 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state41 state50 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state42 state44 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state43 state44 00000001000000000-0000000-00-0000000010000-0-----00-0---
1-------------------------- state44 state31 00000000000000000-0000000-00-0000000000000-0-----00-0---
1--------------0----------- state45 state48 00000000000000000-0000000-00-0000000000000-0-----00-0---
1--------------1----------- state45 state46 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state46 state47 0000000001000101001000000-00-0000000000000-0-----00-0---
1-------------------------- state47 state49 00000000000000000-0000000-00-0000100000000-0-----00-0---
1-------------------------- state48 state49 0000000000100000111001010-00-0000000000000-0-----00-0---
1-------------------------- state49 state40 00000000000000000-0000000-00-0000000000000-0-----00-0---
1--------------0----------- state50 state52 00000000000000000-0000000-00-0000000000000-0-----00-0---
1--------------1----------- state50 state51 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state51 state54 0000000000100000111001010-00-0000000000000-0-----00-0---
1-------------------------- state52 state53 0000000000000101001000000-00-0000000000000-0-----00-0---
1-------------------------- state53 state54 00000000000000000-0000000-00-0000100000000-0-----00-0---
1-------------------------- state54 state42 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state55 state56 0000000000100000111001010-00-0000000000000-0-----00-0---
1-------------------------- state56 state33 00000000000000000-0000000-00-0000100000000-0-----00-0---
1-------------------------- state57 state58 00000000001000001-0001000-00-0000000000000-0-----00-0---
1-------------------------- state58 state35 00000000000000000-0000000-00-0000100000000-0-----00-0---
1---------------0---------- state59 state67 00000000000000000-0000000-00-0000000000000-0-----00-0---
1---------------1---------- state59 state60 00000000000000000-0000000-00-0000000000000-0-----00-0---
1------1------------------- state60 state67 00000000000000000-0000000-00-0000000000000-0-----00-0---
1------01------------------ state60 state67 00000000000000000-0000000-00-0000000000000-0-----00-0---
1------0011---------------- state60 state67 00000000000000000-0000000-00-0000000000000-0-----00-0---
1------0010---------------- state60 state65 00000000000000000-0000000-00-0000000000000-0-----00-0---
1------0001---------------- state60 state63 00000000000000000-0000000-00-0000000000000-0-----00-0---
1------0000---------------- state60 state61 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state61 state82 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state62 state67 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state63 state83 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state64 state67 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state65 state89 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state66 state81 00000000000000000-0000000-00-0000000000000-0-----00-0---
1------1------------------- state67 state80 00000000000000000-0000000-00-0000000000000-0-----00-0---
1------011----------------- state67 state80 00000000000000000-0000000-00-0000000000000-0-----00-0---
1------0101---------------- state67 state78 00000000000000000-0000000-00-0000000000000-0-----00-0---
1------0100---------------- state67 state76 00000000000000000-0000000-00-0000000000000-0-----00-0---
1------0011---------------- state67 state74 00000000000000000-0000000-00-0000000000000-0-----00-0---
1------0010---------------- state67 state72 00000000000000000-0000000-00-0000000000000-0-----00-0---
1------0001---------------- state67 state70 00000000000000000-0000000-00-0000000000000-0-----00-0---
1------0000---------------- state67 state68 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state68 state96 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state69 state81 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state70 state98 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state71 state81 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state72 state103 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state73 state81 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state74 state107 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state75 state81 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state76 state115 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state77 state81 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state78 state117 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state79 state81 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state80 state81 00000001000000000-0000000-00-0000000010000-0-----00-0---
1-------------------------- state81 state16 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state82 state62 00000001000000000-0000000-00-0000000010000-0-----00-0---
1-------------------------- state83 state84 00000001000000000-0000000-00-0000000001000-0-----00-0---
1-------------------------- state84 state86 00001000000001001-0000000-00-0000000000000-0100--00-0---
1-------------------------- state85 state64 00000000000000000-0000000-00-0000000000000-0-----00-0---
1----------------0--------- state86 state88 00000000000000000-0000000-00-0000000000000-0-----00-0---
1----------------1--------- state86 state87 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state87 state16 00000001000000000-0000000-00-0000100001000-0-----00-0---
1-------------------------- state88 state86 00000000000000000-0000000-00-0000100000000-0-----00-0---
1-------------------------- state89 state91 00001001000000000-0000000-00-0001000001000-0-----00-0---
1-------------------------- state90 state66 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state91 state92 00000010000000000-0000000-00-0000000000000-0010--00-0---
1--0----------------------- state92 state95 00000000000000000-0000000-00-0000000000000-0-----00-0---
1--1----------------------- state92 state93 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state93 state94 00000000000100001-0000000-10-0000000000000-0-----00-0---
1-------------------------- state94 state16 00000000000000000-0000000-00-0000100000000-0-----00-0---
1-------------------------- state95 state91 00000000000000000-0000000-00-0010100000000-0-----00-0---
1-------------------------- state96 state97 00000100000001000-0000000-00-000000000000011101111011101
1-------------------------- state97 state69 001000010000000100101010010110100000000001-0-----00-0---
1--------------0----------- state98 state101 00000000000000000-0000000-00-0000000000000-0-----00-0---
1--------------1----------- state98 state99 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state99 state100 00000100000001000-0000000-00-000000000000011101111011101
1-------------------------- state100 state102 001000010000000100101010010110100000000001-0-----00-0---
1-------------------------- state101 state102 00000100000001001-0000000-00-0000000001000-0100--00-0---
1-------------------------- state102 state71 00000000000000000-0000000-00-0000000000000-0-----00-0---
1--------------0----------- state103 state105 00000000000000000-0000000-00-0000000000000-0-----00-0---
1--------------1----------- state103 state104 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state104 state106 0000000000000101001000000-00-0000000000000-0-----00-0---
1-------------------------- state105 state106 00000100000001001-0000000-00-0000000001000-0100--00-0---
1-------------------------- state106 state73 00000000000000000-0000000-00-0000000000000-0-----00-0---
1--------------0----------- state107 state112 00000000000000000-0000000-00-0000000000000-0-----00-0---
1--------------1----------- state107 state108 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-----------------00000000- state108 state110 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-----------------1-------- state108 state110 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-----------------01------- state108 state110 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-----------------001------ state108 state110 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-----------------0001----- state108 state110 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-----------------00001---- state108 state110 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-----------------000001--- state108 state110 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-----------------0000001-- state108 state110 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-----------------00000001- state108 state109 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state109 state112 0000000000001100101000000-00-0000000000000-0-----00-0100
1-------------------------- state110 state111 0000010000000101001010000-0000100000000000111000110-0100
1-------------------------- state111 state114 00000001000000000-0000100001-0000000000001-0-----00-0---
1-------------------------- state112 state113 00000100000001001-0000000-00-0000000000000-0100--00-0---
1-------------------------- state113 state114 00000001000000000-0000000-00-0000000001000-0-----00-0---
1-------------------------- state114 state75 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state115 state116 00001000000010001-0010000-00-0000000000000-01011010-0101
1-------------------------- state116 state77 10000001000000000-0000100-00-0001000001101-0-----00-0---
1-------------------------- state117 state118 00000010000000000-0000000-00-0000000000000-0-----00-0011
1-------------------------0 state118 state121 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------1 state118 state119 00000000000000000-0000000-00-0000000000000-0-----00-0---
1-------------------------- state119 state120 0000010000001000001000000-00-0000000000000111011010-0101
1-------------------------- state120 state16 00010010000000010-000000000110100000000100-0-----00-0---
1-------------------------- state121 state79 00000000000000000-0000000-00-0000000000000-0-----00-0---