tm v1.0 starting reading input finished. start state s states:c0 c0b0 c0b0a0 c0b0a0n c0b0a0p c0b0a0q c0b0a0w c0b0a0x c0b0a1 c0b0a1w c0b0a1x c0b0t c0b1 c0b1a0 c0b1a0w c0b1a0x c0b1a1 c0b1a1w c0b1a1x c0b1t c1 c1b0 c1b0a0 c1b0a0w c1b0a0x c1b0a1 c1b0a1w c1b0a1x c1b0t c1b1 c1b1a0 c1b1a0w c1b1a0x c1b1a1 c1b1a1w c1b1a1x c1b1t f s final states:f trace states:No states to trace Sorted transition table: c0 #b c0 ## L c0 + c0b0t ## L c0 0 c0b0 #b L c0 1 c0b1 #b L c0b0 #[ c0b0a0 ## R c0b0 #b c0b0 ## L c0b0 + c0b0t ## L c0b0 0 c0b0 ## L c0b0 1 c0b0 ## L c0b0a0 #b c0b0a0n ## R c0b0a0 + c0b0a0p ## R c0b0a0 0 c0b0a0n ## R c0b0a0 1 c0b0a0n ## R c0b0a0 = c0b0a0w 0 L c0b0a0n #b c0b0a0n ## R c0b0a0n + c0b0a0n ## R c0b0a0n 0 c0b0a0n ## R c0b0a0n 1 c0b0a0n ## R c0b0a0n = c0b0a0w 0 L c0b0a0p #b c0b0a0n ## R c0b0a0p 0 c0b0a0n ## R c0b0a0p 1 c0b0a0n ## R c0b0a0p = c0b0a0q ## L c0b0a0q + f #b N c0b0a0w #b c0 = L c0b0a0w + c0b0a0x = L c0b0a0x #b c0b0t + L c0b0a1 #b c0b0a1 ## R c0b0a1 + c0b0a1 ## R c0b0a1 0 c0b0a1 ## R c0b0a1 1 c0b0a1 ## R c0b0a1 = c0b0a1w 1 L c0b0a1w #b c0 = L c0b0a1w + c0b0a1x = L c0b0a1x #b c0b0t + L c0b0t #[ c0b0a0 ## R c0b0t #b c0b0t ## L c0b0t 0 c0b0a0 #b R c0b0t 1 c0b0a1 #b R c0b1 #[ c0b1a0 ## R c0b1 #b c0b1 ## L c0b1 + c0b1t ## L c0b1 0 c0b1 ## L c0b1 1 c0b1 ## L c0b1a0 #b c0b1a0 ## R c0b1a0 + c0b1a0 ## R c0b1a0 0 c0b1a0 ## R c0b1a0 1 c0b1a0 ## R c0b1a0 = c0b1a0w 1 L c0b1a0w #b c0 = L c0b1a0w + c0b1a0x = L c0b1a0x #b c0b1t + L c0b1a1 #b c0b1a1 ## R c0b1a1 + c0b1a1 ## R c0b1a1 0 c0b1a1 ## R c0b1a1 1 c0b1a1 ## R c0b1a1 = c0b1a1w 0 L c0b1a1w #b c1 = L c0b1a1w + c0b1a1x = L c0b1a1x #b c1b0t + L c0b1t #[ c0b1a0 ## R c0b1t #b c0b1t ## L c0b1t 0 c0b1a0 #b R c0b1t 1 c0b1a1 #b R c1 #b c1 ## L c1 + c1b0t ## L c1 0 c1b0 #b L c1 1 c1b1 #b L c1b0 #[ c1b0a0 ## R c1b0 #b c1b0 ## L c1b0 + c1b0t ## L c1b0 0 c1b0 ## L c1b0 1 c1b0 ## L c1b0a0 #b c1b0a0 ## R c1b0a0 + c1b0a0 ## R c1b0a0 0 c1b0a0 ## R c1b0a0 1 c1b0a0 ## R c1b0a0 = c1b0a0w 1 L c1b0a0w #b c0 = L c1b0a0w + c1b0a0x = L c1b0a0x #b c0b0t + L c1b0a1 #b c1b0a1 ## R c1b0a1 + c1b0a1 ## R c1b0a1 0 c1b0a1 ## R c1b0a1 1 c1b0a1 ## R c1b0a1 = c1b0a1w 0 L c1b0a1w #b c1 = L c1b0a1w + c1b0a1x = L c1b0a1x #b c1b0t + L c1b0t #[ c1b0a0 ## R c1b0t #b c1b0t ## L c1b0t 0 c1b0a0 #b R c1b0t 1 c1b0a1 #b R c1b1 #[ c1b1a0 ## R c1b1 #b c1b1 ## L c1b1 + c1b1t ## L c1b1 0 c1b1 ## L c1b1 1 c1b1 ## L c1b1a0 #b c1b1a0 ## R c1b1a0 + c1b1a0 ## R c1b1a0 0 c1b1a0 ## R c1b1a0 1 c1b1a0 ## R c1b1a0 = c1b1a0w 0 L c1b1a0w #b c1 = L c1b1a0w + c1b1a0x = L c1b1a0x #b c1b0t + L c1b1a1 #b c1b1a1 ## R c1b1a1 + c1b1a1 ## R c1b1a1 0 c1b1a1 ## R c1b1a1 1 c1b1a1 ## R c1b1a1 = c1b1a1w 1 L c1b1a1w #b c1 = L c1b1a1w + c1b1a1x = L c1b1a1x #b c1b0t + L c1b1t #[ c1b1a0 ## R c1b1t #b c1b1t ## L c1b1t 0 c1b1a0 #b R c1b1t 1 c1b1a1 #b R s + s ## R s 0 s ## R s 1 s ## R s = c0 ## L tape = 00+00= tm halted after 46 steps, at f with output: =0000 tape = 01+00= tm halted after 46 steps, at f with output: =0001 tape = 10+00= tm halted after 46 steps, at f with output: =0010 tape = 11+00= tm halted after 46 steps, at f with output: =0011 tape = 00+01= tm halted after 46 steps, at f with output: =0001 tape = 01+01= tm halted after 46 steps, at f with output: =0010 tape = 10+01= tm halted after 46 steps, at f with output: =0011 tape = 11+01= tm halted after 46 steps, at f with output: =0100 tape = 00+10= tm halted after 46 steps, at f with output: =0010 tape = 01+10= tm halted after 46 steps, at f with output: =0011 tape = 10+10= tm halted after 46 steps, at f with output: =0100 tape = 11+10= tm halted after 46 steps, at f with output: =0101 tape = 00+11= tm halted after 46 steps, at f with output: =0011 tape = 01+11= tm halted after 46 steps, at f with output: =0100 tape = 10+11= tm halted after 46 steps, at f with output: =0101 tape = 11+11= tm halted after 46 steps, at f with output: =0110 tape = 010+101= tm halted after 74 steps, at f with output: =000111 tape = 0101+0011= tm halted after 108 steps, at f with output: =00001000 tape = 1+1111= tm halted after 66 steps, at f with output: =10000 tape = 1111+1= tm halted after 48 steps, at f with output: =10000 tape = 0+0000= tm halted after 66 steps, at f with output: =00000 tape = 0000+0= tm halted after 48 steps, at f with output: =00000 tape = 0+1111= tm halted after 66 steps, at f with output: =01111 tape = 1111+0= tm halted after 48 steps, at f with output: =01111 No more input tapes. Stopping.