35.82/10.46 YES 35.82/10.46 35.82/10.46 Problem: 35.82/10.46 0(1(2(1(x1)))) -> 1(2(1(1(0(1(2(0(1(2(x1)))))))))) 35.82/10.46 0(1(2(1(x1)))) -> 1(2(1(1(0(1(2(0(1(2(0(1(2(x1))))))))))))) 35.82/10.46 0(1(2(1(x1)))) -> 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(x1)))))))))))))))) 35.82/10.46 0(1(2(1(x1)))) -> 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(x1))))))))))))))))))) 35.82/10.46 0(1(2(1(x1)))) -> 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(x1)))))))))))))))))))))) 35.82/10.46 0(1(2(1(x1)))) -> 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(x1))))))))))))))))))))))))) 35.82/10.46 0(1(2(1(x1)))) -> 35.82/10.46 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(x1)))))))))))))))))))))))))))) 35.82/10.46 0(1(2(1(x1)))) -> 35.82/10.46 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(x1))))))))))))))))))))))))))))))) 35.82/10.46 0(1(2(1(x1)))) -> 35.82/10.46 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(x1)))))))))))))))))))))))))))))))))) 35.82/10.46 0(1(2(1(x1)))) -> 35.82/10.46 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(x1))))))))))))))))))))))))))))))))))))) 35.82/10.46 0(1(2(1(x1)))) -> 35.82/10.46 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(x1)))))))))))))))))))))))))))))))))))))))) 35.82/10.46 0(1(2(1(x1)))) -> 35.82/10.46 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(x1))))))))))))))))))))))))))))))))))))))))))) 35.82/10.46 0(1(2(1(x1)))) -> 35.82/10.46 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2( 35.82/10.46 0 35.82/10.46 ( 35.82/10.46 1 35.82/10.46 ( 35.82/10.46 2 35.82/10.46 ( 35.82/10.46 0(1(2(0(1(2(0(1(2(x1)))))))))))))))))))))))))))))))))))))))))))))) 35.82/10.46 0(1(2(1(x1)))) -> 35.82/10.46 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2( 35.82/10.46 0 35.82/10.46 ( 35.82/10.46 1 35.82/10.46 ( 35.82/10.46 2 35.82/10.46 ( 35.82/10.46 0 35.82/10.46 ( 35.82/10.46 1 35.82/10.46 ( 35.82/10.46 2 35.82/10.46 ( 35.82/10.46 0(1(2(0(1(2(0(1(2(x1))))))))))))))))))))))))))))))))))))))))))))))))) 35.82/10.46 0(1(2(1(x1)))) -> 35.82/10.46 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2( 35.82/10.46 0 35.82/10.46 ( 35.82/10.46 1 35.82/10.46 ( 35.82/10.46 2 35.82/10.46 ( 35.82/10.46 0 35.82/10.46 ( 35.82/10.46 1 35.82/10.46 ( 35.82/10.46 2 35.82/10.46 ( 35.82/10.46 0 35.82/10.46 ( 35.82/10.46 1 35.82/10.46 ( 35.82/10.46 2 35.82/10.46 ( 35.82/10.46 0(1(2(0(1(2(0(1(2(x1)))))))))))))))))))))))))))))))))))))))))))))))))))) 35.82/10.46 0(1(2(1(x1)))) -> 35.82/10.46 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2( 35.82/10.46 0 35.82/10.46 ( 35.82/10.46 1 35.82/10.46 ( 35.82/10.46 2 35.82/10.46 ( 35.82/10.46 0 35.82/10.46 ( 35.82/10.46 1 35.82/10.46 ( 35.82/10.46 2 35.82/10.46 ( 35.82/10.46 0 35.82/10.46 ( 35.82/10.46 1 35.82/10.46 ( 35.82/10.46 2 35.82/10.46 ( 35.82/10.46 0 35.82/10.46 ( 35.82/10.46 1 35.82/10.46 ( 35.82/10.46 2 35.82/10.46 ( 35.82/10.46 0(1(2(0(1(2(0(1(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))) 35.82/10.46 0(1(2(1(x1)))) -> 35.82/10.46 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2( 35.82/10.46 0 35.82/10.46 ( 35.82/10.46 1 35.82/10.46 ( 35.82/10.46 2 35.82/10.46 ( 35.82/10.46 0 35.82/10.46 ( 35.82/10.46 1 35.82/10.46 ( 35.82/10.46 2 35.82/10.46 ( 35.82/10.46 0 35.82/10.46 ( 35.82/10.46 1 35.82/10.46 ( 35.82/10.46 2 35.82/10.46 ( 35.82/10.46 0 35.82/10.46 ( 35.82/10.46 1 35.82/10.46 ( 35.82/10.46 2 35.82/10.46 ( 35.82/10.46 0 35.82/10.46 ( 35.82/10.47 1 35.82/10.47 ( 35.82/10.47 2 35.82/10.47 ( 35.82/10.47 0(1(2(0(1(2(0(1(2(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 35.82/10.47 0(1(2(1(x1)))) -> 35.82/10.47 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2( 35.82/10.47 0 35.82/10.47 ( 35.82/10.47 1 35.82/10.47 ( 35.82/10.47 2 35.82/10.47 ( 35.82/10.47 0 35.82/10.47 ( 35.82/10.47 1 35.82/10.47 ( 35.82/10.47 2 35.82/10.47 ( 35.82/10.47 0 35.82/10.47 ( 35.82/10.47 1 35.82/10.47 ( 35.82/10.47 2 35.82/10.47 ( 35.82/10.47 0 35.82/10.47 ( 35.82/10.47 1 35.82/10.47 ( 35.82/10.47 2 35.82/10.47 ( 35.82/10.47 0 35.82/10.47 ( 35.82/10.47 1 35.82/10.47 ( 35.82/10.47 2 35.82/10.47 ( 35.82/10.47 0 35.82/10.47 ( 35.82/10.47 1 35.82/10.47 ( 35.82/10.47 2 35.82/10.47 ( 35.82/10.47 0(1(2(0(1(2(0(1(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 35.82/10.47 0(1(2(1(x1)))) -> 35.82/10.47 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2( 35.82/10.47 0 35.82/10.47 ( 35.82/10.47 1 35.82/10.47 ( 35.82/10.47 2 35.82/10.47 ( 35.82/10.47 0 35.82/10.47 ( 35.82/10.47 1 35.82/10.47 ( 35.82/10.47 2 35.82/10.47 ( 35.82/10.47 0 35.82/10.47 ( 35.82/10.47 1 35.82/10.47 ( 35.82/10.47 2 35.82/10.47 ( 35.82/10.47 0 35.82/10.47 ( 35.82/10.47 1 35.82/10.47 ( 35.82/10.47 2 35.82/10.47 ( 35.82/10.47 0 35.82/10.47 ( 35.82/10.47 1 35.82/10.47 ( 35.82/10.47 2 35.82/10.47 ( 35.82/10.47 0 35.82/10.47 ( 35.82/10.47 1 35.82/10.47 ( 35.82/10.47 2 35.82/10.47 ( 35.82/10.47 0 35.82/10.47 ( 35.82/10.47 1 35.82/10.47 ( 35.82/10.47 2 35.82/10.47 ( 35.82/10.47 0(1(2(0(1(2(0(1(2(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 35.82/10.47 0(1(2(1(x1)))) -> 35.82/10.47 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2( 35.82/10.47 0 35.82/10.47 ( 35.82/10.47 1 35.82/10.47 ( 35.82/10.47 2 35.82/10.47 ( 35.82/10.47 0 35.82/10.47 ( 35.82/10.47 1 35.82/10.47 ( 35.82/10.47 2 35.82/10.47 ( 35.82/10.47 0 35.82/10.47 ( 35.82/10.47 1 35.82/10.47 ( 35.82/10.47 2 35.82/10.47 ( 35.82/10.47 0 35.82/10.47 ( 35.82/10.47 1 35.82/10.47 ( 35.82/10.47 2 35.82/10.47 ( 35.82/10.47 0 35.82/10.47 ( 35.82/10.47 1 35.82/10.47 ( 35.82/10.47 2 35.82/10.47 ( 35.82/10.47 0 35.82/10.47 ( 35.82/10.47 1 35.82/10.47 ( 35.82/10.47 2 35.82/10.47 ( 35.82/10.47 0 35.82/10.47 ( 35.82/10.47 1 35.82/10.47 ( 35.82/10.47 2 35.82/10.47 ( 35.82/10.47 0 35.82/10.47 ( 35.82/10.47 1 35.82/10.47 ( 35.82/10.47 2 35.82/10.47 ( 35.82/10.47 0(1(2(0(1(2(0(1(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 35.82/10.47 0(1(2(1(x1)))) -> 35.82/10.47 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2( 35.82/10.47 0 35.82/10.47 ( 35.82/10.47 1 35.82/10.47 ( 35.82/10.47 2 35.82/10.47 ( 35.82/10.47 0 35.82/10.47 ( 35.82/10.47 1 35.82/10.47 ( 35.82/10.47 2 35.82/10.47 ( 35.82/10.47 0 35.82/10.47 ( 35.82/10.47 1 35.82/10.47 ( 35.82/10.47 2 35.82/10.47 ( 35.82/10.47 0 35.82/10.47 ( 35.82/10.47 1 35.82/10.47 ( 35.82/10.47 2 35.82/10.47 ( 35.82/10.47 0 35.82/10.47 ( 35.82/10.47 1 35.82/10.47 ( 35.82/10.47 2 35.82/10.47 ( 35.82/10.47 0 35.82/10.47 ( 35.82/10.47 1 35.82/10.47 ( 35.82/10.47 2 35.82/10.47 ( 35.82/10.47 0 35.82/10.47 ( 35.82/10.47 1 35.82/10.47 ( 35.82/10.47 2 35.82/10.47 ( 35.82/10.47 0 35.82/10.47 ( 35.82/10.47 1 35.82/10.47 ( 35.82/10.47 2 35.82/10.47 ( 35.82/10.47 0 35.82/10.47 ( 35.82/10.47 1 35.82/10.47 ( 35.82/10.47 2 35.82/10.47 ( 35.82/10.47 0(1(2(0(1(2(0(1(2(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 35.82/10.47 35.82/10.47 Proof: 35.82/10.47 String Reversal Processor: 35.82/10.47 1(2(1(0(x1)))) -> 2(1(0(2(1(0(1(1(2(1(x1)))))))))) 35.82/10.47 1(2(1(0(x1)))) -> 2(1(0(2(1(0(2(1(0(1(1(2(1(x1))))))))))))) 35.82/10.47 1(2(1(0(x1)))) -> 2(1(0(2(1(0(2(1(0(2(1(0(1(1(2(1(x1)))))))))))))))) 35.82/10.47 1(2(1(0(x1)))) -> 2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(1(1(2(1(x1))))))))))))))))))) 35.82/10.47 1(2(1(0(x1)))) -> 2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(1(1(2(1(x1)))))))))))))))))))))) 35.82/10.47 1(2(1(0(x1)))) -> 2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(1(1(2(1(x1))))))))))))))))))))))))) 35.82/10.47 1(2(1(0(x1)))) -> 35.82/10.47 2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(1(1(2(1(x1)))))))))))))))))))))))))))) 35.82/10.47 1(2(1(0(x1)))) -> 35.82/10.47 2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(1(1(2(1(x1))))))))))))))))))))))))))))))) 35.82/10.47 1(2(1(0(x1)))) -> 35.82/10.47 2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(1(1(2(1(x1)))))))))))))))))))))))))))))))))) 35.82/10.47 1(2(1(0(x1)))) -> 35.82/10.47 2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(1(1(2(1(x1))))))))))))))))))))))))))))))))))))) 35.82/10.47 1(2(1(0(x1)))) -> 35.82/10.47 2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(1(1(2(1(x1)))))))))))))))))))))))))))))))))))))))) 35.82/10.47 1(2(1(0(x1)))) -> 35.82/10.47 2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2 35.82/10.47 ( 35.82/10.47 1(0(2(1(0(1(1(2(1(x1))))))))))))))))))))))))))))))))))))))))))) 35.82/10.47 1(2(1(0(x1)))) -> 35.82/10.47 2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2 35.82/10.47 ( 35.82/10.47 1 35.82/10.47 ( 35.82/10.47 0 35.82/10.47 ( 35.82/10.47 2 35.82/10.47 ( 35.82/10.47 1(0(2(1(0(1(1(2(1(x1)))))))))))))))))))))))))))))))))))))))))))))) 35.82/10.47 1(2(1(0(x1)))) -> 35.82/10.47 2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2 35.82/10.47 ( 35.82/10.47 1 35.82/10.47 ( 35.82/10.47 0 35.82/10.47 ( 35.82/10.47 2 35.82/10.47 ( 35.82/10.47 1 35.82/10.47 ( 35.82/10.47 0 35.82/10.47 ( 35.82/10.47 2 35.82/10.47 ( 35.82/10.47 1(0(2(1(0(1(1(2(1(x1))))))))))))))))))))))))))))))))))))))))))))))))) 35.82/10.47 1(2(1(0(x1)))) -> 35.82/10.47 2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2 35.82/10.48 ( 35.82/10.48 1 35.82/10.48 ( 35.82/10.48 0 35.82/10.48 ( 35.82/10.48 2 35.82/10.48 ( 35.82/10.48 1 35.82/10.48 ( 35.82/10.48 0 35.82/10.48 ( 35.82/10.48 2 35.82/10.48 ( 35.82/10.48 1 35.82/10.48 ( 35.82/10.48 0 35.82/10.48 ( 35.82/10.48 2 35.82/10.48 ( 35.82/10.48 1(0(2(1(0(1(1(2(1(x1)))))))))))))))))))))))))))))))))))))))))))))))))))) 35.82/10.48 1(2(1(0(x1)))) -> 35.82/10.48 2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2 35.82/10.48 ( 35.82/10.48 1 35.82/10.48 ( 35.82/10.48 0 35.82/10.48 ( 35.82/10.48 2 35.82/10.48 ( 35.82/10.48 1 35.82/10.48 ( 35.82/10.48 0 35.82/10.48 ( 35.82/10.48 2 35.82/10.48 ( 35.82/10.48 1 35.82/10.48 ( 35.82/10.48 0 35.82/10.48 ( 35.82/10.48 2 35.82/10.48 ( 35.82/10.48 1 35.82/10.48 ( 35.82/10.48 0 35.82/10.48 ( 35.82/10.48 2 35.82/10.48 ( 35.82/10.48 1(0(2(1(0(1(1(2(1(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))) 35.82/10.48 1(2(1(0(x1)))) -> 35.82/10.48 2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2 35.82/10.48 ( 35.82/10.48 1 35.82/10.48 ( 35.82/10.48 0 35.82/10.48 ( 35.82/10.48 2 35.82/10.48 ( 35.82/10.48 1 35.82/10.48 ( 35.82/10.48 0 35.82/10.48 ( 35.82/10.48 2 35.82/10.48 ( 35.82/10.48 1 35.82/10.48 ( 35.82/10.48 0 35.82/10.48 ( 35.82/10.48 2 35.82/10.48 ( 35.82/10.48 1 35.82/10.48 ( 35.82/10.48 0 35.82/10.48 ( 35.82/10.48 2 35.82/10.48 ( 35.82/10.48 1 35.82/10.48 ( 35.82/10.48 0 35.82/10.48 ( 35.82/10.48 2 35.82/10.48 ( 35.82/10.48 1(0(2(1(0(1(1(2(1(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 35.82/10.48 1(2(1(0(x1)))) -> 35.82/10.48 2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2 35.82/10.48 ( 35.82/10.48 1 35.82/10.48 ( 35.82/10.48 0 35.82/10.48 ( 35.82/10.48 2 35.82/10.48 ( 35.82/10.48 1 35.82/10.48 ( 35.82/10.48 0 35.82/10.48 ( 35.82/10.48 2 35.82/10.48 ( 35.82/10.48 1 35.82/10.48 ( 35.82/10.48 0 35.82/10.48 ( 35.82/10.48 2 35.82/10.48 ( 35.82/10.48 1 35.82/10.48 ( 35.82/10.48 0 35.82/10.48 ( 35.82/10.48 2 35.82/10.48 ( 35.82/10.48 1 35.82/10.48 ( 35.82/10.48 0 35.82/10.48 ( 35.82/10.48 2 35.82/10.48 ( 35.82/10.48 1 35.82/10.48 ( 35.82/10.48 0 35.82/10.48 ( 35.82/10.48 2 35.82/10.48 ( 35.82/10.48 1(0(2(1(0(1(1(2(1(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 35.82/10.48 1(2(1(0(x1)))) -> 35.82/10.48 2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2 35.82/10.48 ( 35.82/10.48 1 35.82/10.48 ( 35.82/10.48 0 35.82/10.48 ( 35.82/10.48 2 35.82/10.48 ( 35.82/10.48 1 35.82/10.48 ( 35.82/10.48 0 35.82/10.48 ( 35.82/10.48 2 35.82/10.48 ( 35.82/10.48 1 35.82/10.48 ( 35.82/10.48 0 35.82/10.48 ( 35.82/10.48 2 35.82/10.48 ( 35.82/10.48 1 35.82/10.48 ( 35.82/10.48 0 35.82/10.48 ( 35.82/10.48 2 35.82/10.48 ( 35.82/10.48 1 35.82/10.48 ( 35.82/10.48 0 35.82/10.48 ( 35.82/10.48 2 35.82/10.48 ( 35.82/10.48 1 35.82/10.48 ( 35.82/10.48 0 35.82/10.48 ( 35.82/10.48 2 35.82/10.48 ( 35.82/10.48 1 35.82/10.48 ( 35.82/10.48 0 35.82/10.48 ( 35.82/10.48 2 35.82/10.48 ( 35.82/10.48 1(0(2(1(0(1(1(2(1(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 35.82/10.48 1(2(1(0(x1)))) -> 35.82/10.48 2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2 35.82/10.48 ( 35.82/10.48 1 35.82/10.48 ( 35.82/10.48 0 35.82/10.48 ( 35.82/10.48 2 35.82/10.48 ( 35.82/10.48 1 35.82/10.48 ( 35.82/10.48 0 35.82/10.48 ( 35.82/10.48 2 35.82/10.48 ( 35.82/10.48 1 35.82/10.48 ( 35.82/10.48 0 35.82/10.48 ( 35.82/10.48 2 35.82/10.48 ( 35.82/10.48 1 35.82/10.48 ( 35.82/10.48 0 35.82/10.48 ( 35.82/10.48 2 35.82/10.48 ( 35.82/10.48 1 35.82/10.48 ( 35.82/10.48 0 35.82/10.48 ( 35.82/10.48 2 35.82/10.48 ( 35.82/10.48 1 35.82/10.48 ( 35.82/10.48 0 35.82/10.48 ( 35.82/10.48 2 35.82/10.48 ( 35.82/10.48 1 35.82/10.48 ( 35.82/10.48 0 35.82/10.48 ( 35.82/10.48 2 35.82/10.48 ( 35.82/10.48 1 35.82/10.48 ( 35.82/10.48 0 35.82/10.48 ( 35.82/10.48 2 35.82/10.48 ( 35.82/10.48 1(0(2(1(0(1(1(2(1(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 35.82/10.48 1(2(1(0(x1)))) -> 35.82/10.48 2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2 35.82/10.48 ( 35.82/10.48 1 35.82/10.48 ( 35.82/10.48 0 35.82/10.48 ( 35.82/10.48 2 35.82/10.48 ( 35.82/10.48 1 35.82/10.48 ( 35.82/10.48 0 35.82/10.48 ( 35.82/10.48 2 35.82/10.48 ( 35.82/10.48 1 35.82/10.48 ( 35.82/10.48 0 35.82/10.48 ( 35.82/10.48 2 35.82/10.48 ( 35.82/10.48 1 35.82/10.48 ( 35.82/10.48 0 35.82/10.48 ( 35.82/10.48 2 35.82/10.48 ( 35.82/10.48 1 35.82/10.48 ( 35.82/10.48 0 35.82/10.48 ( 35.82/10.48 2 35.82/10.48 ( 35.82/10.48 1 35.82/10.48 ( 35.82/10.48 0 35.82/10.48 ( 35.82/10.48 2 35.82/10.48 ( 35.82/10.48 1 35.82/10.48 ( 35.82/10.48 0 35.82/10.48 ( 35.82/10.48 2 35.82/10.48 ( 35.82/10.48 1 35.82/10.48 ( 35.82/10.48 0 35.82/10.48 ( 35.82/10.48 2 35.82/10.48 ( 35.82/10.48 1 35.82/10.48 ( 35.82/10.48 0 35.82/10.48 ( 35.82/10.48 2 35.82/10.48 ( 35.82/10.48 1(0(2(1(0(1(1(2(1(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 35.82/10.48 Bounds Processor: 35.82/10.48 bound: 3 35.82/10.48 enrichment: match 35.82/10.48 automaton: 35.82/10.48 final states: {4} 35.82/10.48 transitions: 35.82/10.48 23(92) -> 93* 35.82/10.48 23(87) -> 88* 35.82/10.48 23(95) -> 96* 35.82/10.48 21(25) -> 26* 35.82/10.48 21(22) -> 23* 35.82/10.48 21(17) -> 18* 35.82/10.48 13(97) -> 98* 35.82/10.48 13(94) -> 95* 35.82/10.48 13(89) -> 90* 35.82/10.48 13(91) -> 92* 35.82/10.48 13(86) -> 87* 35.82/10.48 13(103) -> 104* 35.82/10.48 13(88) -> 89* 35.82/10.48 11(24) -> 25* 35.82/10.48 11(19) -> 20* 35.82/10.48 11(21) -> 22* 35.82/10.48 11(16) -> 17* 35.82/10.48 11(48) -> 49* 35.82/10.48 11(33) -> 34* 35.82/10.48 11(18) -> 19* 35.82/10.48 03(99) -> 100* 35.82/10.48 03(93) -> 94* 35.82/10.48 03(90) -> 91* 35.82/10.48 01(20) -> 21* 35.82/10.48 01(27) -> 28* 35.82/10.48 01(23) -> 24* 35.82/10.48 22(59) -> 60* 35.82/10.48 22(56) -> 57* 35.82/10.48 22(51) -> 52* 35.82/10.48 10(4) -> 4* 35.82/10.48 12(65) -> 66* 35.82/10.48 12(55) -> 56* 35.82/10.48 12(50) -> 51* 35.82/10.48 12(52) -> 53* 35.82/10.48 12(73) -> 74* 35.82/10.48 12(58) -> 59* 35.82/10.48 12(53) -> 54* 35.82/10.48 20(4) -> 4* 35.82/10.48 02(57) -> 58* 35.82/10.48 02(69) -> 70* 35.82/10.48 02(54) -> 55* 35.82/10.48 00(4) -> 4* 35.82/10.48 4 -> 16* 35.82/10.48 20 -> 73* 35.82/10.48 23 -> 65,48 35.82/10.48 26 -> 17,19,27,4 35.82/10.48 27 -> 50,33 35.82/10.48 28 -> 24* 35.82/10.48 34 -> 17* 35.82/10.48 49 -> 17* 35.82/10.48 54 -> 103* 35.82/10.48 57 -> 97* 35.82/10.48 60 -> 66,20,34,49,51,69,17 35.82/10.48 66 -> 51* 35.82/10.48 69 -> 86* 35.82/10.48 70 -> 58* 35.82/10.48 74 -> 51* 35.82/10.48 96 -> 98,87,99,74 35.82/10.48 98 -> 87* 35.82/10.48 100 -> 94* 35.82/10.48 104 -> 87* 35.82/10.48 problem: 35.82/10.48 35.82/10.48 Qed 35.82/10.49 EOF