#states
1421431121139091697039401718
56781021222325969878798081839495
128133134135136138142143909110310410810914214388911321331341351361381421438891134135136138911421439012365697017185560616263353669701518303165697017185061626365697015185960616263
7374757714414511792937172737475771451179293
99100101102106107111848586878933343891213141624272829333438111213141626272829971001011021061071118285868789
x
1112131416535457581301318485868789126127
0124441920
89828586871211229121314164948
141142143114115116683769704243326869704313914014114214364676869706869704142431411421101431151161051411421431166667686970186970158891142143137140141142143
3678104546475152561297679808183118119120124125
#initial
0124441920
#accepting
7374757714414511792937172737475771451179293
#alphabet
-
\\
.
#transitions
141142143114115116683769704243326869704313914014114214364676869706869704142431411421101431151161051411421431166667686970186970158891142143137140141142143:->x
141142143114115116683769704243326869704313914014114214364676869706869704142431411421101431151161051411421431166667686970186970158891142143137140141142143:\\>7374757714414511792937172737475771451179293
141142143114115116683769704243326869704313914014114214364676869706869704142431411421101431151161051411421431166667686970186970158891142143137140141142143:.>x
128133134135136138142143909110310410810914214388911321331341351361381421438891134135136138911421439012365697017185560616263353669701518303165697017185061626365697015185960616263:->141142143114115116683769704243326869704313914014114214364676869706869704142431411421101431151161051411421431166667686970186970158891142143137140141142143
128133134135136138142143909110310410810914214388911321331341351361381421438891134135136138911421439012365697017185560616263353669701518303165697017185061626365697015185960616263:\\>7374757714414511792937172737475771451179293
128133134135136138142143909110310410810914214388911321331341351361381421438891134135136138911421439012365697017185560616263353669701518303165697017185061626365697015185960616263:.>141142143114115116683769704243326869704313914014114214364676869706869704142431411421101431151161051411421431166667686970186970158891142143137140141142143
99100101102106107111848586878933343891213141624272829333438111213141626272829971001011021061071118285868789:->128133134135136138142143909110310410810914214388911321331341351361381421438891134135136138911421439012365697017185560616263353669701518303165697017185061626365697015185960616263
99100101102106107111848586878933343891213141624272829333438111213141626272829971001011021061071118285868789:\\>x
99100101102106107111848586878933343891213141624272829333438111213141626272829971001011021061071118285868789:.>1421431121139091697039401718
7374757714414511792937172737475771451179293:->3678104546475152561297679808183118119120124125
7374757714414511792937172737475771451179293:\\>x
7374757714414511792937172737475771451179293:.>56781021222325969878798081839495
89828586871211229121314164948:->141142143114115116683769704243326869704313914014114214364676869706869704142431411421101431151161051411421431166667686970186970158891142143137140141142143
89828586871211229121314164948:\\>x
89828586871211229121314164948:.>128133134135136138142143909110310410810914214388911321331341351361381421438891134135136138911421439012365697017185560616263353669701518303165697017185061626365697015185960616263
1112131416535457581301318485868789126127:->128133134135136138142143909110310410810914214388911321331341351361381421438891134135136138911421439012365697017185560616263353669701518303165697017185061626365697015185960616263
1112131416535457581301318485868789126127:\\>x
1112131416535457581301318485868789126127:.>128133134135136138142143909110310410810914214388911321331341351361381421438891134135136138911421439012365697017185560616263353669701518303165697017185061626365697015185960616263
56781021222325969878798081839495:->99100101102106107111848586878933343891213141624272829333438111213141626272829971001011021061071118285868789
56781021222325969878798081839495:\\>x
56781021222325969878798081839495:.>99100101102106107111848586878933343891213141624272829333438111213141626272829971001011021061071118285868789
1421431121139091697039401718:->x
1421431121139091697039401718:\\>7374757714414511792937172737475771451179293
1421431121139091697039401718:.>141142143114115116683769704243326869704313914014114214364676869706869704142431411421101431151161051411421431166667686970186970158891142143137140141142143
3678104546475152561297679808183118119120124125:->89828586871211229121314164948
3678104546475152561297679808183118119120124125:\\>x
3678104546475152561297679808183118119120124125:.>1112131416535457581301318485868789126127
x:->x
x:\\>x
x:.>x
0124441920:->3678104546475152561297679808183118119120124125
0124441920:\\>x
0124441920:.>56781021222325969878798081839495
