fst stdout

fst fsm3nb.txt 37
{[0, 1]=>[10, 0], [10, 2]=>[20, 0], [10, 1]=>[0, 0], [20, 1]=>[50, 0], [40, 1]=>
[50, 0], [40, 2]=>[41, 1], [41, 0]=>[42, 2], [42, 0]=>[30, 2], [50, 1]=>[60, 0],
 [50, 2]=>[51, 1], [51, 0]=>[80, 2], [60, 1]=>[70, 0], [70, 1]=>[71, 1], [71, 0]
=>[140, 2], [70, 2]=>[40, 0], [80, 1]=>[90, 0], [80, 2]=>[81, 1], [81, 0]=>[82, 
1], [82, 0]=>[41, 1], [90, 1]=>[91, 1], [91, 0]=>[100, 1], [90, 2]=>[51, 1], [10
0, 1]=>[110, 0], [110, 1]=>[111, 1], [111, 0]=>[140, 2], [110, 2]=>[112, 1], [11
2, 0]=>[80, 1], [120, 1]=>[130, 0], [120, 2]=>[41, 1], [130, 1]=>[111, 1], [130,
 2]=>[112, 1], [140, 1]=>[150, 0], [150, 1]=>[151, 1], [151, 0]=>[140, 1], [150,
 2]=>[152, 1], [152, 0]=>[120, 2], [30, nil]=>[nil, nil]}
input 27 => "11011" => ["12", "12", "11", "12", "12", "2"]
{"s"=>10, "x"=>1, "ns2"=>""}
{"s"=>20, "x"=>2, "ns2"=>""}
{"s"=>50, "x"=>1, "ns2"=>""}
{"s"=>51, "x"=>2, "ns2"=>"1"}
{"s"=>80, "x"=>2, "ns2"=>"12"}
{"s"=>90, "x"=>1, "ns2"=>"12"}
{"s"=>91, "x"=>1, "ns2"=>"121"}
{"s"=>100, "x"=>1, "ns2"=>"1211"}
{"s"=>110, "x"=>1, "ns2"=>"1211"}
{"s"=>112, "x"=>2, "ns2"=>"12111"}
{"s"=>80, "x"=>2, "ns2"=>"121111"}
{"s"=>90, "x"=>1, "ns2"=>"121111"}
{"s"=>51, "x"=>2, "ns2"=>"1211111"}
{"s"=>80, "x"=>2, "ns2"=>"12111112"}
{"s"=>81, "x"=>2, "ns2"=>"121111121"}
{"s"=>82, "x"=>2, "ns2"=>"1211111211"}
{"s"=>41, "x"=>2, "ns2"=>"12111112111"}
{"s"=>42, "x"=>2, "ns2"=>"121111121112"}
{"s"=>30, "x"=>2, "ns2"=>"1211111211122"}
output ["12", "11", "11", "12", "11", "12", "2"] => 101001 => 41
f4(27) = 41


fst fsm2d.txt 96
{[0, 1]=>[1, 1], [1, 2]=>[2, 2], [1, 1]=>[3, 2], [2, 1]=>[4, 0], [3, 1]=>[5, 0],
 [4, 2]=>[6, 0], [4, 1]=>[7, 0], [5, 2]=>[2, 0], [5, 1]=>[3, 0], [6, 2]=>[8, 2],
 [6, 1]=>[9, 0], [7, 1]=>[10, 0], [8, nil]=>[nil, nil], [9, 2]=>[11, 1], [9, 1]=
>[12, 0], [10, 2]=>[2, 0], [10, 1]=>[13, 0], [11, 2]=>[14, 1], [11, 1]=>[15, 0],
 [12, 1]=>[16, 0], [13, 1]=>[17, 0], [14, 0]=>[18, 1], [15, 2]=>[19, 2], [15, 1]
=>[20, 1], [16, 2]=>[21, 1], [16, 1]=>[13, 0], [17, 2]=>[22, 1], [17, 1]=>[23, 0
], [18, 0]=>[24, 1], [19, 2]=>[25, 1], [19, 1]=>[15, 1], [20, 1]=>[26, 1], [21, 
2]=>[27, 1], [21, 1]=>[28, 0], [22, 2]=>[29, 2], [22, 1]=>[30, 0], [23, 1]=>[31,
 0], [24, 0]=>[32, 1], [25, 0]=>[33, 1], [26, 2]=>[34, 2], [26, 1]=>[35, 1], [27
, 0]=>[36, 1], [28, 2]=>[37, 2], [28, 1]=>[38, 1], [29, 0]=>[32, 1], [30, 2]=>[3
7, 1], [30, 1]=>[35, 2], [31, 1]=>[39, 1], [31, 2]=>[40, 0], [32, 0]=>[41, 1], [
33, 0]=>[18, 1], [34, 2]=>[42, 1], [34, 1]=>[28, 1], [35, 1]=>[43, 1], [36, 0]=>
[41, 2], [37, 2]=>[44, 1], [37, 1]=>[45, 1], [38, 1]=>[46, 1], [39, 1]=>[47, 0],
 [40, 2]=>[48, 1], [40, 1]=>[49, 0], [41, 0]=>[50, 1], [42, 0]=>[51, 1], [43, 2]
=>[52, 2], [43, 1]=>[53, 1], [44, 0]=>[51, 2], [45, 2]=>[19, 1], [45, 1]=>[38, 2
], [46, 2]=>[34, 1], [46, 1]=>[53, 2], [47, 2]=>[54, 2], [47, 1]=>[55, 1], [48, 
0]=>[41, 1], [49, 1]=>[56, 1], [49, 2]=>[57, 0], [50, 0]=>[58, 2], [51, 0]=>[36,
 1], [52, 2]=>[59, 1], [52, 1]=>[30, 1], [53, 1]=>[60, 1], [54, 2]=>[61, 1], [54
, 1]=>[26, 1], [55, 1]=>[47, 1], [56, 1]=>[43, 0], [57, 2]=>[62, 1], [57, 1]=>[6
3, 0], [58, 0]=>[65, 2], [59, 0]=>[24, 2], [60, 2]=>[52, 1], [60, 1]=>[55, 2], [
61, 0]=>[24, 1], [62, 0]=>[41, 2], [63, 1]=>[64, 1], [63, 2]=>[6, 0], [64, 1]=>[
46, 0], [65, nil]=>[nil, nil]}
input 27 => "11011" => ["12", "12", "11", "12", "12", "2"]
{"s"=>1, "x"=>1, "ns2"=>"1"}
{"s"=>2, "x"=>2, "ns2"=>"12"}
{"s"=>4, "x"=>1, "ns2"=>"12"}
{"s"=>6, "x"=>2, "ns2"=>"12"}
{"s"=>9, "x"=>1, "ns2"=>"12"}
{"s"=>12, "x"=>1, "ns2"=>"12"}
{"s"=>16, "x"=>1, "ns2"=>"12"}
{"s"=>21, "x"=>2, "ns2"=>"121"}
{"s"=>28, "x"=>1, "ns2"=>"121"}
{"s"=>37, "x"=>2, "ns2"=>"1212"}
{"s"=>44, "x"=>2, "ns2"=>"12121"}
{"s"=>51, "x"=>2, "ns2"=>"121212"}
{"s"=>36, "x"=>2, "ns2"=>"1212121"}
{"s"=>41, "x"=>2, "ns2"=>"12121212"}
{"s"=>50, "x"=>2, "ns2"=>"121212121"}
{"s"=>58, "x"=>2, "ns2"=>"1212121212"}
{"s"=>65, "x"=>2, "ns2"=>"12121212122"}
output ["12", "12", "12", "12", "12", "2"] => 11111 => 31
f4(27) = 41
f4(41) = 31

#1
input 287 => "100011111" => ["12", "12", "12", "12", "12", "11", "11", "11", "12
", "2"]
{"s"=>10, "x"=>1, "ns2"=>""}
{"s"=>20, "x"=>2, "ns2"=>""}
{"s"=>50, "x"=>1, "ns2"=>""}
{"s"=>51, "x"=>2, "ns2"=>"1"}
{"s"=>80, "x"=>2, "ns2"=>"12"}
{"s"=>90, "x"=>1, "ns2"=>"12"}
{"s"=>51, "x"=>2, "ns2"=>"121"}
{"s"=>80, "x"=>2, "ns2"=>"1212"}
{"s"=>90, "x"=>1, "ns2"=>"1212"}
{"s"=>51, "x"=>2, "ns2"=>"12121"}
{"s"=>80, "x"=>2, "ns2"=>"121212"}
{"s"=>90, "x"=>1, "ns2"=>"121212"}
{"s"=>51, "x"=>2, "ns2"=>"1212121"}
{"s"=>80, "x"=>2, "ns2"=>"12121212"}
{"s"=>90, "x"=>1, "ns2"=>"12121212"}
{"s"=>91, "x"=>1, "ns2"=>"121212121"}
{"s"=>100, "x"=>1, "ns2"=>"1212121211"}
{"s"=>110, "x"=>1, "ns2"=>"1212121211"}
{"s"=>111, "x"=>1, "ns2"=>"12121212111"}
{"s"=>140, "x"=>1, "ns2"=>"121212121112"}
{"s"=>150, "x"=>1, "ns2"=>"121212121112"}
{"s"=>151, "x"=>1, "ns2"=>"1212121211121"}
{"s"=>140, "x"=>1, "ns2"=>"12121212111211"}
{"s"=>150, "x"=>1, "ns2"=>"12121212111211"}
{"s"=>152, "x"=>2, "ns2"=>"121212121112111"}
{"s"=>120, "x"=>2, "ns2"=>"1212121211121112"}
{"s"=>41, "x"=>2, "ns2"=>"12121212111211121"}
{"s"=>42, "x"=>2, "ns2"=>"121212121112111212"}
{"s"=>30, "x"=>2, "ns2"=>"1212121211121112122"}
output ["12", "12", "12", "12", "11", "12", "11", "12", "12", "2"] => 110101111 
=> 431
f4(287) = 431

#2
input 997 => "1111100101" => ["12", "11", "12", "11", "11", "12", "12", "12", "1
2", "12", "2"]
{"s"=>10, "x"=>1, "ns2"=>""}
{"s"=>20, "x"=>2, "ns2"=>""}
{"s"=>50, "x"=>1, "ns2"=>""}
{"s"=>60, "x"=>1, "ns2"=>""}
{"s"=>70, "x"=>1, "ns2"=>""}
{"s"=>40, "x"=>2, "ns2"=>""}
{"s"=>50, "x"=>1, "ns2"=>""}
{"s"=>60, "x"=>1, "ns2"=>""}
{"s"=>70, "x"=>1, "ns2"=>""}
{"s"=>71, "x"=>1, "ns2"=>"1"}
{"s"=>140, "x"=>1, "ns2"=>"12"}
{"s"=>150, "x"=>1, "ns2"=>"12"}
{"s"=>152, "x"=>2, "ns2"=>"121"}
{"s"=>120, "x"=>2, "ns2"=>"1212"}
{"s"=>130, "x"=>1, "ns2"=>"1212"}
{"s"=>112, "x"=>2, "ns2"=>"12121"}
{"s"=>80, "x"=>2, "ns2"=>"121211"}
{"s"=>90, "x"=>1, "ns2"=>"121211"}
{"s"=>51, "x"=>2, "ns2"=>"1212111"}
{"s"=>80, "x"=>2, "ns2"=>"12121112"}
{"s"=>90, "x"=>1, "ns2"=>"12121112"}
{"s"=>51, "x"=>2, "ns2"=>"121211121"}
{"s"=>80, "x"=>2, "ns2"=>"1212111212"}
{"s"=>90, "x"=>1, "ns2"=>"1212111212"}
{"s"=>51, "x"=>2, "ns2"=>"12121112121"}
{"s"=>80, "x"=>2, "ns2"=>"121211121212"}
{"s"=>81, "x"=>2, "ns2"=>"1212111212121"}
{"s"=>82, "x"=>2, "ns2"=>"12121112121211"}
{"s"=>41, "x"=>2, "ns2"=>"121211121212111"}
{"s"=>42, "x"=>2, "ns2"=>"1212111212121112"}
{"s"=>30, "x"=>2, "ns2"=>"12121112121211122"}
output ["12", "12", "11", "12", "12", "12", "11", "12", "2"] => 10111011 => 187
f4(997) = 187

#3
input 195 => "11000011" => ["12", "12", "11", "11", "11", "11", "12", "12", "2"]
{"s"=>10, "x"=>1, "ns2"=>""}
{"s"=>20, "x"=>2, "ns2"=>""}
{"s"=>50, "x"=>1, "ns2"=>""}
{"s"=>51, "x"=>2, "ns2"=>"1"}
{"s"=>80, "x"=>2, "ns2"=>"12"}
{"s"=>90, "x"=>1, "ns2"=>"12"}
{"s"=>91, "x"=>1, "ns2"=>"121"}
{"s"=>100, "x"=>1, "ns2"=>"1211"}
{"s"=>110, "x"=>1, "ns2"=>"1211"}
{"s"=>111, "x"=>1, "ns2"=>"12111"}
{"s"=>140, "x"=>1, "ns2"=>"121112"}
{"s"=>150, "x"=>1, "ns2"=>"121112"}
{"s"=>151, "x"=>1, "ns2"=>"1211121"}
{"s"=>140, "x"=>1, "ns2"=>"12111211"}
{"s"=>150, "x"=>1, "ns2"=>"12111211"}
{"s"=>151, "x"=>1, "ns2"=>"121112111"}
{"s"=>140, "x"=>1, "ns2"=>"1211121111"}
{"s"=>150, "x"=>1, "ns2"=>"1211121111"}
{"s"=>152, "x"=>2, "ns2"=>"12111211111"}
{"s"=>120, "x"=>2, "ns2"=>"121112111112"}
{"s"=>130, "x"=>1, "ns2"=>"121112111112"}
{"s"=>112, "x"=>2, "ns2"=>"1211121111121"}
{"s"=>80, "x"=>2, "ns2"=>"12111211111211"}
{"s"=>81, "x"=>2, "ns2"=>"121112111112111"}
{"s"=>82, "x"=>2, "ns2"=>"1211121111121111"}
{"s"=>41, "x"=>2, "ns2"=>"12111211111211111"}
{"s"=>42, "x"=>2, "ns2"=>"121112111112111112"}
{"s"=>30, "x"=>2, "ns2"=>"1211121111121111122"}
output ["12", "11", "12", "11", "11", "12", "11", "11", "12", "2"] => 100100101 
=> 293
f4(195) = 293

#1
input 973 => "1111001101" => ["12", "11", "12", "12", "11", "11", "12", "12", "1
2", "12", "2"]
{"s"=>1, "x"=>1, "ns2"=>"1"}
{"s"=>2, "x"=>2, "ns2"=>"12"}
{"s"=>4, "x"=>1, "ns2"=>"12"}
{"s"=>7, "x"=>1, "ns2"=>"12"}
{"s"=>10, "x"=>1, "ns2"=>"12"}
{"s"=>2, "x"=>2, "ns2"=>"12"}
{"s"=>4, "x"=>1, "ns2"=>"12"}
{"s"=>6, "x"=>2, "ns2"=>"12"}
{"s"=>9, "x"=>1, "ns2"=>"12"}
{"s"=>12, "x"=>1, "ns2"=>"12"}
{"s"=>16, "x"=>1, "ns2"=>"12"}
{"s"=>13, "x"=>1, "ns2"=>"12"}
{"s"=>17, "x"=>1, "ns2"=>"12"}
{"s"=>22, "x"=>2, "ns2"=>"121"}
{"s"=>30, "x"=>1, "ns2"=>"121"}
{"s"=>37, "x"=>2, "ns2"=>"1211"}
{"s"=>45, "x"=>1, "ns2"=>"12111"}
{"s"=>19, "x"=>2, "ns2"=>"121111"}
{"s"=>15, "x"=>1, "ns2"=>"1211111"}
{"s"=>19, "x"=>2, "ns2"=>"12111112"}
{"s"=>25, "x"=>2, "ns2"=>"121111121"}
{"s"=>33, "x"=>2, "ns2"=>"1211111211"}
{"s"=>18, "x"=>2, "ns2"=>"12111112111"}
{"s"=>24, "x"=>2, "ns2"=>"121111121111"}
{"s"=>32, "x"=>2, "ns2"=>"1211111211111"}
{"s"=>41, "x"=>2, "ns2"=>"12111112111111"}
{"s"=>50, "x"=>2, "ns2"=>"121111121111111"}
{"s"=>58, "x"=>2, "ns2"=>"1211111211111112"}
{"s"=>65, "x"=>2, "ns2"=>"12111112111111122"}
output ["12", "11", "11", "12", "11", "11", "11", "12", "2"] => 10001001 => 137
f4(973) = 365
f4(365) = 137

#2
input 259 => "100000011" => ["12", "12", "11", "11", "11", "11", "11", "11", "12
", "2"]
{"s"=>1, "x"=>1, "ns2"=>"1"}
{"s"=>2, "x"=>2, "ns2"=>"12"}
{"s"=>4, "x"=>1, "ns2"=>"12"}
{"s"=>6, "x"=>2, "ns2"=>"12"}
{"s"=>9, "x"=>1, "ns2"=>"12"}
{"s"=>12, "x"=>1, "ns2"=>"12"}
{"s"=>16, "x"=>1, "ns2"=>"12"}
{"s"=>13, "x"=>1, "ns2"=>"12"}
{"s"=>17, "x"=>1, "ns2"=>"12"}
{"s"=>23, "x"=>1, "ns2"=>"12"}
{"s"=>31, "x"=>1, "ns2"=>"12"}
{"s"=>39, "x"=>1, "ns2"=>"121"}
{"s"=>47, "x"=>1, "ns2"=>"121"}
{"s"=>55, "x"=>1, "ns2"=>"1211"}
{"s"=>47, "x"=>1, "ns2"=>"12111"}
{"s"=>55, "x"=>1, "ns2"=>"121111"}
{"s"=>47, "x"=>1, "ns2"=>"1211111"}
{"s"=>54, "x"=>2, "ns2"=>"12111112"}
{"s"=>61, "x"=>2, "ns2"=>"121111121"}
{"s"=>24, "x"=>2, "ns2"=>"1211111211"}
{"s"=>32, "x"=>2, "ns2"=>"12111112111"}
{"s"=>41, "x"=>2, "ns2"=>"121111121111"}
{"s"=>50, "x"=>2, "ns2"=>"1211111211111"}
{"s"=>58, "x"=>2, "ns2"=>"12111112111112"}
{"s"=>65, "x"=>2, "ns2"=>"121111121111122"}
output ["12", "11", "11", "12", "11", "11", "12", "2"] => 1001001 => 73
f4(259) = 389
f4(389) = 73

#3
input 157 => "10011101" => ["12", "11", "12", "12", "12", "11", "11", "12", "2"]
{"s"=>1, "x"=>1, "ns2"=>"1"}
{"s"=>2, "x"=>2, "ns2"=>"12"}
{"s"=>4, "x"=>1, "ns2"=>"12"}
{"s"=>7, "x"=>1, "ns2"=>"12"}
{"s"=>10, "x"=>1, "ns2"=>"12"}
{"s"=>2, "x"=>2, "ns2"=>"12"}
{"s"=>4, "x"=>1, "ns2"=>"12"}
{"s"=>6, "x"=>2, "ns2"=>"12"}
{"s"=>9, "x"=>1, "ns2"=>"12"}
{"s"=>11, "x"=>2, "ns2"=>"121"}
{"s"=>15, "x"=>1, "ns2"=>"121"}
{"s"=>20, "x"=>1, "ns2"=>"1211"}
{"s"=>26, "x"=>1, "ns2"=>"12111"}
{"s"=>35, "x"=>1, "ns2"=>"121111"}
{"s"=>43, "x"=>1, "ns2"=>"1211111"}
{"s"=>52, "x"=>2, "ns2"=>"12111112"}
{"s"=>59, "x"=>2, "ns2"=>"121111121"}
{"s"=>24, "x"=>2, "ns2"=>"1211111212"}
{"s"=>32, "x"=>2, "ns2"=>"12111112121"}
{"s"=>41, "x"=>2, "ns2"=>"121111121211"}
{"s"=>50, "x"=>2, "ns2"=>"1211111212111"}
{"s"=>58, "x"=>2, "ns2"=>"12111112121112"}
{"s"=>65, "x"=>2, "ns2"=>"121111121211122"}
output ["12", "11", "11", "12", "12", "11", "12", "2"] => 1011001 => 89
f4(157) = 59
f4(59) = 89