fsm4 stdout

10
["s_1_0a", [["s_1_0b", "1"]]]
["s_1_0b", [["s_1_1a", "2"], ["s_0_0a", "2"], ["xa", "2"]]]
["s_1_1a", [["s_1_1b", "1"]]]
["s_1_1b", [["s_1_2a", "2"], ["s_0_0a", "2"], ["xa", "2"]]]
["s_1_2a", [["s_1_2b", "1"]]]
["s_1_2b", [["s_1_3a", "2"], ["s_0_0a", "2"], ["xa", "2"]]]
["s_1_3a", [["s_1_3b", "1"]]]
["s_1_3b", [["s_1_4a", "2"], ["s_0_0a", "2"], ["xa", "2"]]]
["s_1_4a", [["s_1_4b", "1"]]]
["s_1_4b", [["s_1_5a", "2"], ["s_0_0a", "2"], ["xa", "2"]]]
["s_1_5a", [["s_1_5b", "1"]]]
["s_1_5b", [["s_1_6a", "2"], ["s_0_0a", "2"], ["xa", "2"]]]
["s_1_6a", [["s_1_6b", "1"]]]
["s_1_6b", [["s_1_7a", "2"], ["s_0_0a", "2"], ["xa", "2"]]]
["s_1_7a", [["s_1_7b", "1"]]]
["s_1_7b", [["s_1_8a", "2"], ["s_0_0a", "2"], ["xa", "2"]]]
["s_1_8a", [["s_1_8b", "1"]]]
["s_1_8b", [["s_1_9a", "2"], ["s_0_0a", "2"], ["xa", "2"]]]
["s_1_9a", [["s_1_9b", "1"]]]
["s_1_9b", [["s_0_0a", "2"], ["xa", "2"]]]
["s_0_0a", [["s_0_0b", "1"]]]
["s_0_0b", [["s_0_1a", "1"], ["s_1_0a", "1"]]]
["s_0_1a", [["s_0_1b", "1"]]]
["s_0_1b", [["s_0_2a", "1"], ["s_1_0a", "1"]]]
["s_0_2a", [["s_0_2b", "1"]]]
["s_0_2b", [["s_0_3a", "1"], ["s_1_0a", "1"]]]
["s_0_3a", [["s_0_3b", "1"]]]
["s_0_3b", [["s_0_4a", "1"], ["s_1_0a", "1"]]]
["s_0_4a", [["s_0_4b", "1"]]]
["s_0_4b", [["s_0_5a", "1"], ["s_1_0a", "1"]]]
["s_0_5a", [["s_0_5b", "1"]]]
["s_0_5b", [["s_0_6a", "1"], ["s_1_0a", "1"]]]
["s_0_6a", [["s_0_6b", "1"]]]
["s_0_6b", [["s_0_7a", "1"], ["s_1_0a", "1"]]]
["s_0_7a", [["s_0_7b", "1"]]]
["s_0_7b", [["s_0_8a", "1"], ["s_1_0a", "1"]]]
["s_0_8a", [["s_0_8b", "1"]]]
["s_0_8b", [["s_0_9a", "1"], ["s_1_0a", "1"]]]
["s_0_9a", [["s_0_9b", "1"]]]
["s_0_9b", [["s_1_0a", "1"]]]
["xa", [["xb", "2"]]]
9
["s_1_0a", [["s_1_0b", "1"]]]
["s_1_0b", [["s_1_1a", "2"], ["s_0_0a", "2"], ["xa", "2"]]]
["s_1_1a", [["s_1_1b", "1"]]]
["s_1_1b", [["s_1_2a", "2"], ["s_0_0a", "2"], ["xa", "2"]]]
["s_1_2a", [["s_1_2b", "1"]]]
["s_1_2b", [["s_1_3a", "2"], ["s_0_0a", "2"], ["xa", "2"]]]
["s_1_3a", [["s_1_3b", "1"]]]
["s_1_3b", [["s_1_4a", "2"], ["s_0_0a", "2"], ["xa", "2"]]]
["s_1_4a", [["s_1_4b", "1"]]]
["s_1_4b", [["s_1_5a", "2"], ["s_0_0a", "2"], ["xa", "2"]]]
["s_1_5a", [["s_1_5b", "1"]]]
["s_1_5b", [["s_1_6a", "2"], ["s_0_0a", "2"], ["xa", "2"]]]
["s_1_6a", [["s_1_6b", "1"]]]
["s_1_6b", [["s_1_7a", "2"], ["s_0_0a", "2"], ["xa", "2"]]]
["s_1_7a", [["s_1_7b", "1"]]]
["s_1_7b", [["s_1_8a", "2"], ["s_0_0a", "2"], ["xa", "2"]]]
["s_1_8a", [["s_1_8b", "1"]]]
["s_1_8b", [["s_0_0a", "2"], ["xa", "2"]]]
["s_0_0a", [["s_0_0b", "1"]]]
["s_0_0b", [["s_0_1a", "1"], ["s_1_0a", "1"]]]
["s_0_1a", [["s_0_1b", "1"]]]
["s_0_1b", [["s_0_2a", "1"], ["s_1_0a", "1"]]]
["s_0_2a", [["s_0_2b", "1"]]]
["s_0_2b", [["s_0_3a", "1"], ["s_1_0a", "1"]]]
["s_0_3a", [["s_0_3b", "1"]]]
["s_0_3b", [["s_0_4a", "1"], ["s_1_0a", "1"]]]
["s_0_4a", [["s_0_4b", "1"]]]
["s_0_4b", [["s_0_5a", "1"], ["s_1_0a", "1"]]]
["s_0_5a", [["s_0_5b", "1"]]]
["s_0_5b", [["s_0_6a", "1"], ["s_1_0a", "1"]]]
["s_0_6a", [["s_0_6b", "1"]]]
["s_0_6b", [["s_0_7a", "1"], ["s_1_0a", "1"]]]
["s_0_7a", [["s_0_7b", "1"]]]
["s_0_7b", [["s_0_8a", "1"], ["s_1_0a", "1"]]]
["s_0_8a", [["s_0_8b", "1"]]]
["s_0_8b", [["s_1_0a", "1"]]]
["xa", [["xb", "2"]]]
#1
"1111111111001000100010010110111001110110111001011000100001000101110111011101001
00111111000101100101011100100011100100000101010111001101111111001011001001110101
10011010110101110001101001011111011111100000000100010000000111011111010000110110
01100110100000111011110000110110110001001101101101011000010011101101010001111001
00010101001101010011010100110011100000101110010001000011000100101000100100011001
01000111010110110010101101000111111111010000010110000101100110000001011110110011
11111000100110011010100010001011100100101011101001110000110011010110001001101100
10011000110011010101100101100000001110001011011101101011001000110100010101100000
00110101100001111110000110001000110000011101011111011010011011011000001010101101
10010011011101110111100010101101100010110000101011100001100011000011001000000011
01110100001011110110101101101101111100000111110100101000010110101000001110110001
11101010110001010110110000110001100111011001010011010101101000010011000001111011
11001110111110011011000100000011101000101100011011011101000101110011101000111101
00011101110011000001011111100100001100000111010001110011010011010100000100001011
10111011010010011011001010011000001110100101011110010011111110011110011011100011
"
[304, 303, [10], [], [10, 1, 1, 1, 1, 2, 3, 3, 2, 3, 1, 2, 1, 1, 1, 3, 3, 3, 1, 
1, 6, 1, 2, 1, 1, 3, 1, 3, 1, 1, 1, 1, 3, 2, 7, 1, 2, 1, 3, 1, 2, 2, 1, 2, 1, 3,
 2, 1, 1, 5, 6, 1, 1, 3, 5, 1, 2, 2, 2, 2, 1, 3, 4, 2, 2, 2, 1, 2, 2, 2, 1, 2, 1
, 3, 2, 1, 1, 4, 1, 1, 1, 1, 2, 1, 1, 2, 1, 1, 2, 3, 1, 3, 1, 1, 2, 1, 1, 1, 1, 
1, 2, 1, 1, 3, 1, 2, 2, 1, 1, 2, 1, 9, 1, 1, 2, 1, 2, 2, 1, 4, 2, 7, 1, 2, 2, 1,
 1, 1, 1, 3, 1, 1, 1, 3, 1, 3, 2, 2, 1, 2, 1, 2, 2, 1, 2, 2, 2, 1, 1, 2, 1, 2, 3
, 1, 2, 3, 2, 1, 2, 1, 2, 1, 1, 1, 2, 2, 1, 2, 6, 2, 1, 2, 3, 1, 5, 2, 1, 2, 2, 
2, 1, 1, 1, 2, 2, 1, 2, 3, 3, 4, 1, 1, 2, 2, 1, 2, 1, 1, 3, 2, 2, 2, 1, 2, 3, 1,
 1, 4, 2, 1, 2, 2, 2, 5, 5, 1, 1, 1, 1, 2, 1, 1, 3, 2, 4, 1, 1, 2, 1, 1, 2, 2, 2
, 2, 3, 2, 1, 1, 2, 1, 1, 2, 1, 1, 2, 4, 4, 3, 5, 2, 2, 1, 3, 1, 1, 2, 2, 2, 3, 
1, 1, 3, 3, 1, 4, 1, 3, 3, 2, 1, 6, 1, 2, 3, 1, 3, 2, 1, 2, 1, 1, 1, 1, 3, 3, 2,
 1, 1, 2, 2, 1, 1, 2, 3, 1, 1, 1, 4, 1, 7, 4, 2, 3, 2], [2, 3, 3, 2, 1, 1, 2, 1,
 1, 2, 1, 3, 4, 3, 1, 1, 1, 1, 2, 2, 3, 1, 2, 1, 1, 2, 3, 2, 5, 1, 1, 1, 2, 1, 2
, 1, 2, 2, 1, 1, 2, 1, 1, 1, 1, 3, 1, 2, 1, 1, 8, 3, 7, 1, 1, 4, 1, 2, 2, 1, 5, 
1, 4, 1, 1, 3, 2, 1, 1, 1, 1, 4, 2, 1, 1, 1, 3, 2, 3, 1, 1, 2, 1, 1, 2, 1, 1, 2,
 2, 5, 1, 2, 3, 4, 3, 2, 1, 3, 2, 3, 2, 1, 3, 1, 1, 1, 2, 1, 1, 1, 3, 1, 5, 1, 4
, 1, 2, 6, 1, 1, 2, 3, 2, 2, 1, 1, 3, 3, 1, 2, 2, 1, 1, 1, 2, 4, 2, 1, 1, 3, 2, 
1, 2, 2, 3, 2, 1, 1, 1, 2, 1, 7, 3, 1, 1, 1, 1, 1, 2, 3, 1, 3, 1, 1, 7, 1, 1, 4,
 4, 3, 3, 5, 1, 1, 1, 1, 2, 1, 1, 5, 1, 1, 1, 1, 2, 2, 1, 1, 1, 3, 1, 1, 1, 3, 1
, 4, 1, 1, 4, 3, 4, 2, 7, 1, 1, 4, 1, 1, 1, 1, 1, 1, 1, 5, 1, 2, 1, 4, 1, 1, 1, 
5, 1, 3, 1, 1, 1, 3, 1, 1, 1, 4, 3, 2, 1, 2, 1, 2, 1, 1, 1, 1, 4, 2, 5, 1, 2, 1,
 2, 1, 3, 6, 1, 3, 1, 3, 1, 1, 1, 3, 1, 2, 1, 3, 1, 3, 1, 2, 5, 1, 2, 4, 5, 1, 3
, 2, 1, 2, 1, 1, 5, 4, 1, 1, 1, 1, 2, 2, 1, 2, 1, 2, 5, 1, 2, 1, 1, 2, 2, 2, 2, 
1, 3]]
#2
"1110111000000000011110101000101111100111100000011100110101011011001110101111101
1111101111011"
[20, 19, [], [10], [3, 3, 4, 1, 1, 1, 5, 4, 3, 2, 1, 1, 2, 2, 3, 1, 5, 6, 4, 2],
 [1, 10, 1, 1, 3, 1, 2, 6, 2, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1]]
#3
"1100000000001110000010000111101111000101110011010110100100011001111011111111001
00011000110000100100101001110101110100111101110100110101011100001000011101101100
00000010110010101101101010011001000111001110010110100010001010011101100000100101
010111001011000110001101011111000011100011100111110101000010001111010111111001"
[78, 77, [], [10], [2, 3, 1, 4, 4, 1, 3, 2, 1, 2, 1, 1, 2, 4, 8, 1, 2, 2, 1, 1, 
1, 1, 3, 1, 3, 1, 4, 3, 1, 2, 1, 1, 3, 1, 3, 2, 2, 1, 2, 1, 1, 2, 2, 1, 1, 2, 1,
 3, 3, 1, 2, 1, 1, 1, 1, 3, 2, 1, 1, 1, 1, 3, 1, 2, 2, 2, 1, 5, 3, 3, 5, 1, 1, 1
, 4, 1, 6, 1], [10, 5, 4, 1, 3, 1, 2, 1, 1, 1, 2, 3, 2, 1, 2, 3, 3, 4, 2, 2, 1, 
2, 1, 1, 1, 2, 1, 1, 2, 1, 1, 1, 4, 4, 1, 1, 8, 1, 2, 1, 1, 1, 1, 1, 2, 2, 3, 2,
 2, 1, 1, 3, 3, 1, 2, 1, 5, 2, 1, 1, 1, 2, 1, 3, 3, 1, 1, 4, 3, 2, 1, 1, 4, 3, 1
, 1, 2]]