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