126.58/32.66 YES 126.58/32.68 126.58/32.68 Problem: 126.58/32.68 0(0(1(x1))) -> 0(0(2(1(x1)))) 126.58/32.68 0(1(3(x1))) -> 0(3(4(1(x1)))) 126.58/32.68 3(1(1(x1))) -> 3(1(4(1(x1)))) 126.58/32.68 3(1(1(x1))) -> 3(4(1(4(4(1(x1)))))) 126.58/32.68 3(1(1(x1))) -> 3(4(4(1(2(4(1(x1))))))) 126.58/32.68 3(3(1(x1))) -> 3(2(1(3(x1)))) 126.58/32.68 5(0(4(x1))) -> 4(0(5(4(x1)))) 126.58/32.68 0(0(0(1(x1)))) -> 0(0(0(2(1(x1))))) 126.58/32.68 0(0(1(5(x1)))) -> 0(0(5(1(2(4(x1)))))) 126.58/32.68 0(0(5(3(x1)))) -> 0(0(5(4(3(x1))))) 126.58/32.68 0(4(1(1(x1)))) -> 0(5(4(1(2(1(x1)))))) 126.58/32.68 0(4(3(1(x1)))) -> 0(3(5(4(1(x1))))) 126.58/32.68 0(4(3(4(x1)))) -> 0(3(2(4(4(x1))))) 126.58/32.68 3(0(1(1(x1)))) -> 0(2(1(3(1(x1))))) 126.58/32.68 3(1(1(5(x1)))) -> 3(1(2(1(5(x1))))) 126.58/32.68 5(0(1(5(x1)))) -> 0(5(4(1(5(x1))))) 126.58/32.68 5(2(3(1(x1)))) -> 4(5(2(1(3(x1))))) 126.58/32.68 5(2(3(5(x1)))) -> 2(4(5(3(5(x1))))) 126.58/32.68 5(2(5(4(x1)))) -> 2(4(5(4(5(x1))))) 126.58/32.68 0(1(2(2(1(x1))))) -> 2(4(0(1(2(1(x1)))))) 126.58/32.68 0(1(5(0(4(x1))))) -> 0(2(1(5(4(0(x1)))))) 126.58/32.68 0(1(5(5(3(x1))))) -> 0(5(4(5(1(3(x1)))))) 126.58/32.68 0(2(2(1(5(x1))))) -> 0(2(1(5(4(2(4(4(2(x1))))))))) 126.58/32.68 0(2(2(3(4(x1))))) -> 0(3(4(4(2(4(4(2(x1)))))))) 126.58/32.68 0(2(5(1(1(x1))))) -> 5(0(1(2(4(1(x1)))))) 126.58/32.68 0(3(3(2(3(x1))))) -> 0(3(3(2(4(3(x1)))))) 126.58/32.68 0(4(4(3(4(x1))))) -> 4(4(4(4(0(3(x1)))))) 126.58/32.68 3(0(1(4(3(x1))))) -> 3(2(0(3(4(1(x1)))))) 126.58/32.68 3(0(4(5(1(x1))))) -> 3(5(4(4(1(0(x1)))))) 126.58/32.68 3(1(1(1(2(x1))))) -> 3(2(1(4(1(2(1(2(x1)))))))) 126.58/32.68 5(2(3(1(4(x1))))) -> 5(2(1(2(1(3(4(x1))))))) 126.58/32.68 5(3(0(0(4(x1))))) -> 0(0(3(5(4(4(x1)))))) 126.58/32.68 0(1(3(4(3(4(x1)))))) -> 0(3(4(3(4(1(2(x1))))))) 126.58/32.68 0(1(5(0(4(2(x1)))))) -> 0(5(2(4(1(0(2(x1))))))) 126.58/32.68 0(2(2(2(3(1(x1)))))) -> 0(2(2(4(2(3(1(x1))))))) 126.58/32.68 0(4(1(1(0(4(x1)))))) -> 0(4(4(1(4(1(0(x1))))))) 126.58/32.68 0(4(3(2(2(3(x1)))))) -> 0(2(3(2(4(2(3(x1))))))) 126.58/32.68 3(0(4(1(2(2(x1)))))) -> 3(2(1(0(4(4(2(x1))))))) 126.58/32.68 3(1(0(3(5(4(x1)))))) -> 3(0(3(2(1(5(4(x1))))))) 126.58/32.68 3(2(2(1(1(3(x1)))))) -> 1(2(1(3(2(4(3(x1))))))) 126.58/32.68 3(3(3(1(3(5(x1)))))) -> 3(2(1(3(3(3(5(x1))))))) 126.58/32.68 3(4(3(0(4(5(x1)))))) -> 3(5(0(3(4(4(4(x1))))))) 126.58/32.68 3(4(3(1(4(2(x1)))))) -> 3(4(2(1(3(2(2(4(2(4(x1)))))))))) 126.58/32.68 3(5(0(2(1(4(x1)))))) -> 3(2(4(0(5(1(2(x1))))))) 126.58/32.68 3(5(5(2(3(1(x1)))))) -> 5(5(4(3(3(2(1(x1))))))) 126.58/32.68 5(0(1(2(3(1(x1)))))) -> 2(1(0(3(4(5(4(4(4(1(x1)))))))))) 126.58/32.68 5(0(4(3(3(1(x1)))))) -> 0(3(5(1(5(4(4(3(x1)))))))) 126.58/32.68 0(0(1(1(3(3(3(x1))))))) -> 0(3(0(1(3(3(4(1(x1)))))))) 126.58/32.68 0(0(2(5(1(4(2(x1))))))) -> 0(2(1(0(5(4(2(2(x1)))))))) 126.58/32.68 0(2(5(4(4(1(5(x1))))))) -> 1(2(4(5(0(5(4(4(x1)))))))) 126.58/32.68 0(4(2(3(4(5(4(x1))))))) -> 3(0(5(4(4(2(4(0(x1)))))))) 126.58/32.68 0(5(2(1(2(1(4(x1))))))) -> 2(1(2(1(0(5(2(4(x1)))))))) 126.58/32.68 3(2(5(0(4(0(1(x1))))))) -> 0(0(5(4(2(2(4(4(1(3(x1)))))))))) 126.58/32.68 3(4(3(4(0(1(4(x1))))))) -> 3(4(2(4(4(4(0(5(1(2(3(x1))))))))))) 126.58/32.68 3(5(2(1(0(2(2(x1))))))) -> 2(1(3(0(5(2(2(4(x1)))))))) 126.58/32.68 3(5(2(2(0(1(1(x1))))))) -> 3(2(4(5(0(2(1(2(1(x1))))))))) 126.58/32.68 3(5(3(4(0(1(4(x1))))))) -> 2(1(5(4(3(4(0(3(x1)))))))) 126.58/32.68 5(1(5(3(1(1(3(x1))))))) -> 2(1(5(1(5(1(3(3(x1)))))))) 126.58/32.68 5(2(0(0(1(0(3(x1))))))) -> 0(5(3(4(2(1(0(0(x1)))))))) 126.58/32.68 5(2(0(4(0(4(3(x1))))))) -> 2(0(5(1(0(4(4(3(x1)))))))) 126.58/32.68 5(2(3(0(0(4(3(x1))))))) -> 0(5(4(2(4(3(0(3(3(x1))))))))) 126.58/32.68 5(2(3(3(2(0(5(x1))))))) -> 2(0(3(3(5(2(4(5(x1)))))))) 126.58/32.68 5(5(5(0(1(4(3(x1))))))) -> 0(5(4(4(3(4(5(5(1(x1))))))))) 126.58/32.68 0(2(0(5(5(2(2(3(x1)))))))) -> 5(2(2(4(5(3(2(0(0(x1))))))))) 126.58/32.68 0(2(5(2(4(0(1(4(x1)))))))) -> 0(3(0(5(2(1(2(2(4(4(x1)))))))))) 126.58/32.68 0(4(1(5(3(2(3(3(x1)))))))) -> 0(5(4(1(2(3(3(4(3(x1))))))))) 126.58/32.68 0(4(5(0(1(5(2(3(x1)))))))) -> 2(1(2(4(2(5(3(0(5(0(x1)))))))))) 126.58/32.68 0(5(5(1(4(2(0(3(x1)))))))) -> 0(3(5(1(2(0(5(1(2(4(x1)))))))))) 126.58/32.68 3(0(1(3(2(0(4(2(x1)))))))) -> 0(4(2(2(2(4(1(0(3(3(4(x1))))))))))) 126.58/32.68 3(3(1(1(2(5(5(2(x1)))))))) -> 3(2(1(5(1(2(5(3(1(x1))))))))) 126.58/32.68 3(5(4(2(5(1(0(4(x1)))))))) -> 4(2(4(2(1(3(5(0(5(4(x1)))))))))) 126.58/32.68 5(0(4(3(0(2(2(3(x1)))))))) -> 0(2(4(4(0(3(2(5(3(x1))))))))) 126.58/32.68 5(2(2(0(4(0(1(4(x1)))))))) -> 4(2(4(0(0(5(1(0(2(x1))))))))) 126.58/32.68 5(2(2(0(4(1(5(4(x1)))))))) -> 2(5(2(4(5(0(2(1(4(x1))))))))) 126.58/32.68 5(3(2(2(1(1(0(5(x1)))))))) -> 0(3(2(5(2(1(5(1(2(x1))))))))) 126.58/32.68 0(0(4(4(5(3(1(1(5(x1))))))))) -> 2(1(5(4(4(4(1(0(0(3(5(x1))))))))))) 126.58/32.68 0(1(2(5(1(4(0(3(4(x1))))))))) -> 0(2(4(0(3(1(2(1(2(4(5(x1))))))))))) 126.58/32.68 0(1(3(1(2(0(1(1(5(x1))))))))) -> 0(5(1(0(1(4(1(1(2(3(x1)))))))))) 126.58/32.68 0(2(0(4(1(5(3(0(4(x1))))))))) -> 4(1(0(3(5(0(0(2(2(4(x1)))))))))) 126.58/32.68 0(4(3(3(4(2(5(0(5(x1))))))))) -> 0(5(0(4(3(2(4(5(3(2(x1)))))))))) 126.58/32.68 3(0(4(3(5(4(3(0(1(x1))))))))) -> 0(3(0(3(4(3(2(4(5(1(x1)))))))))) 126.58/32.68 3(1(5(3(1(1(0(3(2(x1))))))))) -> 5(1(0(3(2(1(3(3(2(1(x1)))))))))) 126.58/32.69 3(3(0(0(1(5(4(0(4(x1))))))))) -> 1(0(2(4(4(0(3(5(0(3(x1)))))))))) 126.58/32.69 5(2(0(3(1(2(5(0(4(x1))))))))) -> 5(1(0(3(5(2(4(2(4(0(x1)))))))))) 126.58/32.69 5(2(0(3(2(0(4(4(1(x1))))))))) -> 0(5(3(0(5(2(2(4(2(4(1(x1))))))))))) 126.58/32.69 5(5(0(1(1(3(2(5(2(x1))))))))) -> 3(5(1(2(2(0(5(1(5(4(x1)))))))))) 126.58/32.69 5(5(3(2(1(0(1(0(4(x1))))))))) -> 0(2(1(3(5(0(5(4(2(4(1(x1))))))))))) 126.58/32.69 0(1(3(1(4(2(0(4(5(2(x1)))))))))) -> 4(0(1(2(4(0(2(1(5(1(3(x1))))))))))) 126.58/32.69 0(4(3(1(3(5(2(5(4(4(x1)))))))))) -> 0(5(5(2(4(4(1(5(4(3(3(x1))))))))))) 126.58/32.69 3(2(0(2(0(5(2(3(4(5(x1)))))))))) -> 3(5(4(4(2(0(3(2(5(2(0(x1))))))))))) 126.58/32.69 126.58/32.69 Proof: 126.58/32.69 String Reversal Processor: 126.58/32.69 1(0(0(x1))) -> 1(2(0(0(x1)))) 126.58/32.69 3(1(0(x1))) -> 1(4(3(0(x1)))) 126.58/32.69 1(1(3(x1))) -> 1(4(1(3(x1)))) 126.58/32.69 1(1(3(x1))) -> 1(4(4(1(4(3(x1)))))) 126.58/32.69 1(1(3(x1))) -> 1(4(2(1(4(4(3(x1))))))) 126.58/32.69 1(3(3(x1))) -> 3(1(2(3(x1)))) 126.58/32.69 4(0(5(x1))) -> 4(5(0(4(x1)))) 126.58/32.69 1(0(0(0(x1)))) -> 1(2(0(0(0(x1))))) 126.58/32.69 5(1(0(0(x1)))) -> 4(2(1(5(0(0(x1)))))) 126.58/32.69 3(5(0(0(x1)))) -> 3(4(5(0(0(x1))))) 126.58/32.69 1(1(4(0(x1)))) -> 1(2(1(4(5(0(x1)))))) 126.58/32.69 1(3(4(0(x1)))) -> 1(4(5(3(0(x1))))) 126.58/32.69 4(3(4(0(x1)))) -> 4(4(2(3(0(x1))))) 126.58/32.69 1(1(0(3(x1)))) -> 1(3(1(2(0(x1))))) 126.58/32.69 5(1(1(3(x1)))) -> 5(1(2(1(3(x1))))) 126.58/32.69 5(1(0(5(x1)))) -> 5(1(4(5(0(x1))))) 126.58/32.69 1(3(2(5(x1)))) -> 3(1(2(5(4(x1))))) 126.58/32.69 5(3(2(5(x1)))) -> 5(3(5(4(2(x1))))) 126.58/32.69 4(5(2(5(x1)))) -> 5(4(5(4(2(x1))))) 126.58/32.69 1(2(2(1(0(x1))))) -> 1(2(1(0(4(2(x1)))))) 126.58/32.69 4(0(5(1(0(x1))))) -> 0(4(5(1(2(0(x1)))))) 126.58/32.69 3(5(5(1(0(x1))))) -> 3(1(5(4(5(0(x1)))))) 126.58/32.69 5(1(2(2(0(x1))))) -> 2(4(4(2(4(5(1(2(0(x1))))))))) 126.58/32.69 4(3(2(2(0(x1))))) -> 2(4(4(2(4(4(3(0(x1)))))))) 126.58/32.69 1(1(5(2(0(x1))))) -> 1(4(2(1(0(5(x1)))))) 126.58/32.69 3(2(3(3(0(x1))))) -> 3(4(2(3(3(0(x1)))))) 126.58/32.69 4(3(4(4(0(x1))))) -> 3(0(4(4(4(4(x1)))))) 126.58/32.69 3(4(1(0(3(x1))))) -> 1(4(3(0(2(3(x1)))))) 126.58/32.69 1(5(4(0(3(x1))))) -> 0(1(4(4(5(3(x1)))))) 126.58/32.69 2(1(1(1(3(x1))))) -> 2(1(2(1(4(1(2(3(x1)))))))) 126.58/32.69 4(1(3(2(5(x1))))) -> 4(3(1(2(1(2(5(x1))))))) 126.58/32.69 4(0(0(3(5(x1))))) -> 4(4(5(3(0(0(x1)))))) 126.58/32.69 4(3(4(3(1(0(x1)))))) -> 2(1(4(3(4(3(0(x1))))))) 126.58/32.69 2(4(0(5(1(0(x1)))))) -> 2(0(1(4(2(5(0(x1))))))) 126.58/32.69 1(3(2(2(2(0(x1)))))) -> 1(3(2(4(2(2(0(x1))))))) 126.58/32.69 4(0(1(1(4(0(x1)))))) -> 0(1(4(1(4(4(0(x1))))))) 126.58/32.69 3(2(2(3(4(0(x1)))))) -> 3(2(4(2(3(2(0(x1))))))) 126.58/32.69 2(2(1(4(0(3(x1)))))) -> 2(4(4(0(1(2(3(x1))))))) 126.58/32.69 4(5(3(0(1(3(x1)))))) -> 4(5(1(2(3(0(3(x1))))))) 126.58/32.69 3(1(1(2(2(3(x1)))))) -> 3(4(2(3(1(2(1(x1))))))) 126.58/32.69 5(3(1(3(3(3(x1)))))) -> 5(3(3(3(1(2(3(x1))))))) 126.58/32.69 5(4(0(3(4(3(x1)))))) -> 4(4(4(3(0(5(3(x1))))))) 126.58/32.69 2(4(1(3(4(3(x1)))))) -> 4(2(4(2(2(3(1(2(4(3(x1)))))))))) 126.58/32.69 4(1(2(0(5(3(x1)))))) -> 2(1(5(0(4(2(3(x1))))))) 126.58/32.69 1(3(2(5(5(3(x1)))))) -> 1(2(3(3(4(5(5(x1))))))) 126.58/32.69 1(3(2(1(0(5(x1)))))) -> 1(4(4(4(5(4(3(0(1(2(x1)))))))))) 126.58/32.69 1(3(3(4(0(5(x1)))))) -> 3(4(4(5(1(5(3(0(x1)))))))) 126.58/32.69 3(3(3(1(1(0(0(x1))))))) -> 1(4(3(3(1(0(3(0(x1)))))))) 126.58/32.69 2(4(1(5(2(0(0(x1))))))) -> 2(2(4(5(0(1(2(0(x1)))))))) 126.58/32.69 5(1(4(4(5(2(0(x1))))))) -> 4(4(5(0(5(4(2(1(x1)))))))) 126.58/32.69 4(5(4(3(2(4(0(x1))))))) -> 0(4(2(4(4(5(0(3(x1)))))))) 126.58/32.69 4(1(2(1(2(5(0(x1))))))) -> 4(2(5(0(1(2(1(2(x1)))))))) 126.58/32.69 1(0(4(0(5(2(3(x1))))))) -> 3(1(4(4(2(2(4(5(0(0(x1)))))))))) 126.58/32.69 4(1(0(4(3(4(3(x1))))))) -> 3(2(1(5(0(4(4(4(2(4(3(x1))))))))))) 126.58/32.69 2(2(0(1(2(5(3(x1))))))) -> 4(2(2(5(0(3(1(2(x1)))))))) 126.58/32.69 1(1(0(2(2(5(3(x1))))))) -> 1(2(1(2(0(5(4(2(3(x1))))))))) 126.58/32.69 4(1(0(4(3(5(3(x1))))))) -> 3(0(4(3(4(5(1(2(x1)))))))) 126.58/32.69 3(1(1(3(5(1(5(x1))))))) -> 3(3(1(5(1(5(1(2(x1)))))))) 126.58/32.69 3(0(1(0(0(2(5(x1))))))) -> 0(0(1(2(4(3(5(0(x1)))))))) 126.58/32.69 3(4(0(4(0(2(5(x1))))))) -> 3(4(4(0(1(5(0(2(x1)))))))) 126.58/32.69 3(4(0(0(3(2(5(x1))))))) -> 3(3(0(3(4(2(4(5(0(x1))))))))) 126.58/32.69 5(0(2(3(3(2(5(x1))))))) -> 5(4(2(5(3(3(0(2(x1)))))))) 126.58/32.69 3(4(1(0(5(5(5(x1))))))) -> 1(5(5(4(3(4(4(5(0(x1))))))))) 126.58/32.69 3(2(2(5(5(0(2(0(x1)))))))) -> 0(0(2(3(5(4(2(2(5(x1))))))))) 126.58/32.69 4(1(0(4(2(5(2(0(x1)))))))) -> 4(4(2(2(1(2(5(0(3(0(x1)))))))))) 126.58/32.69 3(3(2(3(5(1(4(0(x1)))))))) -> 3(4(3(3(2(1(4(5(0(x1))))))))) 126.58/32.69 3(2(5(1(0(5(4(0(x1)))))))) -> 0(5(0(3(5(2(4(2(1(2(x1)))))))))) 126.58/32.69 3(0(2(4(1(5(5(0(x1)))))))) -> 4(2(1(5(0(2(1(5(3(0(x1)))))))))) 126.58/32.69 2(4(0(2(3(1(0(3(x1)))))))) -> 4(3(3(0(1(4(2(2(2(4(0(x1))))))))))) 126.58/32.69 2(5(5(2(1(1(3(3(x1)))))))) -> 1(3(5(2(1(5(1(2(3(x1))))))))) 126.58/32.70 4(0(1(5(2(4(5(3(x1)))))))) -> 4(5(0(5(3(1(2(4(2(4(x1)))))))))) 126.58/32.70 3(2(2(0(3(4(0(5(x1)))))))) -> 3(5(2(3(0(4(4(2(0(x1))))))))) 126.58/32.70 4(1(0(4(0(2(2(5(x1)))))))) -> 2(0(1(5(0(0(4(2(4(x1))))))))) 126.58/32.70 4(5(1(4(0(2(2(5(x1)))))))) -> 4(1(2(0(5(4(2(5(2(x1))))))))) 126.58/32.70 5(0(1(1(2(2(3(5(x1)))))))) -> 2(1(5(1(2(5(2(3(0(x1))))))))) 126.58/32.70 5(1(1(3(5(4(4(0(0(x1))))))))) -> 5(3(0(0(1(4(4(4(5(1(2(x1))))))))))) 126.58/32.70 4(3(0(4(1(5(2(1(0(x1))))))))) -> 5(4(2(1(2(1(3(0(4(2(0(x1))))))))))) 126.58/32.70 5(1(1(0(2(1(3(1(0(x1))))))))) -> 3(2(1(1(4(1(0(1(5(0(x1)))))))))) 126.58/32.70 4(0(3(5(1(4(0(2(0(x1))))))))) -> 4(2(2(0(0(5(3(0(1(4(x1)))))))))) 126.58/32.70 5(0(5(2(4(3(3(4(0(x1))))))))) -> 2(3(5(4(2(3(4(0(5(0(x1)))))))))) 126.58/32.70 1(0(3(4(5(3(4(0(3(x1))))))))) -> 1(5(4(2(3(4(3(0(3(0(x1)))))))))) 126.58/32.70 2(3(0(1(1(3(5(1(3(x1))))))))) -> 1(2(3(3(1(2(3(0(1(5(x1)))))))))) 126.58/32.70 4(0(4(5(1(0(0(3(3(x1))))))))) -> 3(0(5(3(0(4(4(2(0(1(x1)))))))))) 126.58/32.70 4(0(5(2(1(3(0(2(5(x1))))))))) -> 0(4(2(4(2(5(3(0(1(5(x1)))))))))) 126.58/32.70 1(4(4(0(2(3(0(2(5(x1))))))))) -> 1(4(2(4(2(2(5(0(3(5(0(x1))))))))))) 126.58/32.70 2(5(2(3(1(1(0(5(5(x1))))))))) -> 4(5(1(5(0(2(2(1(5(3(x1)))))))))) 126.58/32.70 4(0(1(0(1(2(3(5(5(x1))))))))) -> 1(4(2(4(5(0(5(3(1(2(0(x1))))))))))) 126.58/32.70 2(5(4(0(2(4(1(3(1(0(x1)))))))))) -> 3(1(5(1(2(0(4(2(1(0(4(x1))))))))))) 126.58/32.70 4(4(5(2(5(3(1(3(4(0(x1)))))))))) -> 3(3(4(5(1(4(4(2(5(5(0(x1))))))))))) 126.58/32.70 5(4(3(2(5(0(2(0(2(3(x1)))))))))) -> 0(2(5(2(3(0(2(4(4(5(3(x1))))))))))) 126.58/32.70 Bounds Processor: 126.58/32.70 bound: 1 126.58/32.70 enrichment: match 126.58/32.70 automaton: 126.58/32.70 final states: {501,492,483,476,468,460,454,445,436,429,421,412,404, 126.58/32.70 396,389,383,375,369,362,353,347,338,332,325,321,314, 126.58/32.70 307,301,295,289,282,276,271,265,259,253,245,239,233, 126.58/32.70 227,221,216,210,205,196,190,185,177,172,169,162,156, 126.58/32.70 152,147,141,136,131,127,123,117,112,107,103,98,94, 126.58/32.70 88,83,79,76,73,69,67,62,58,57,54,50,47,44,39,37,33, 126.58/32.70 30,26,23,18,13,9,6,1} 126.58/32.70 transitions: 126.58/32.70 f60() -> 2* 126.58/32.70 10(70) -> 71* 126.58/32.70 10(262) -> 263* 126.58/32.70 10(60) -> 61* 126.58/32.70 10(55) -> 56* 126.58/32.70 10(45) -> 206* 126.58/32.70 10(444) -> 436* 126.58/32.70 10(40) -> 405* 126.58/32.70 10(10) -> 11* 126.58/32.70 10(409) -> 410* 126.58/32.70 10(5) -> 1* 126.58/32.70 10(496) -> 497* 126.58/32.70 10(284) -> 285* 126.58/32.70 10(279) -> 280* 126.58/32.70 10(77) -> 78* 126.58/32.70 10(72) -> 69* 126.58/32.70 10(264) -> 259* 126.58/32.70 10(234) -> 235* 126.58/32.70 10(32) -> 30* 126.58/32.70 10(27) -> 413* 126.58/32.70 10(22) -> 18* 126.58/32.70 10(17) -> 13* 126.58/32.70 10(12) -> 9* 126.58/32.70 10(406) -> 407* 126.58/32.70 10(204) -> 196* 126.58/32.70 10(2) -> 163* 126.58/32.70 10(391) -> 392* 126.58/32.70 10(381) -> 382* 126.58/32.70 10(164) -> 165* 126.58/32.70 10(159) -> 160* 126.58/32.70 10(356) -> 357* 126.58/32.70 10(129) -> 130* 126.58/32.70 10(316) -> 317* 126.58/32.70 10(306) -> 301* 126.58/32.70 10(89) -> 437* 126.58/32.70 10(488) -> 489* 126.58/32.70 10(473) -> 474* 126.58/32.70 10(266) -> 272* 126.58/32.70 10(34) -> 35* 126.58/32.70 10(24) -> 25* 126.58/32.70 10(19) -> 20* 126.58/32.70 10(14) -> 15* 126.58/32.70 10(211) -> 212* 126.58/32.70 10(408) -> 409* 126.58/32.70 10(398) -> 399* 126.58/32.70 10(348) -> 349* 126.58/32.70 10(106) -> 103* 126.58/32.70 10(490) -> 491* 126.58/32.70 10(273) -> 274* 126.58/32.70 10(51) -> 52* 126.58/32.70 10(46) -> 44* 126.58/32.70 10(243) -> 244* 126.58/32.70 10(41) -> 42* 126.58/32.70 10(440) -> 441* 126.58/32.70 10(435) -> 429* 126.58/32.70 10(400) -> 401* 126.58/32.70 10(188) -> 189* 126.58/32.70 10(385) -> 386* 126.58/32.70 10(178) -> 179* 126.58/32.70 10(143) -> 144* 126.58/32.70 10(335) -> 336* 126.58/32.70 10(133) -> 134* 126.58/32.70 10(118) -> 119* 126.58/32.70 10(113) -> 114* 126.58/32.70 10(108) -> 469* 126.58/32.70 10(93) -> 88* 126.58/32.70 10(482) -> 476* 126.58/32.70 10(467) -> 460* 126.58/32.70 10(63) -> 197* 126.58/32.70 10(53) -> 50* 126.58/32.70 10(250) -> 251* 126.58/32.70 10(43) -> 39* 126.58/32.70 10(28) -> 484* 126.58/32.70 10(215) -> 210* 126.58/32.70 10(8) -> 6* 126.58/32.70 10(195) -> 190* 126.58/32.70 10(387) -> 388* 126.58/32.70 10(372) -> 373* 126.58/32.70 10(352) -> 347* 126.58/32.70 10(145) -> 146* 126.58/32.70 10(342) -> 343* 126.58/32.70 10(140) -> 136* 126.58/32.70 10(120) -> 121* 126.58/32.70 10(115) -> 116* 126.58/32.70 10(110) -> 111* 126.58/32.70 10(90) -> 91* 126.58/32.70 20(75) -> 80* 126.58/32.70 20(469) -> 470* 126.58/32.70 20(257) -> 258* 126.58/32.70 20(40) -> 132* 126.58/32.70 20(439) -> 440* 126.58/32.70 20(237) -> 238* 126.58/32.70 20(35) -> 36* 126.58/32.70 20(424) -> 425* 126.58/32.70 20(20) -> 21* 126.58/32.70 20(419) -> 420* 126.58/32.70 20(10) -> 24* 126.58/32.70 20(399) -> 400* 126.58/32.70 20(197) -> 234* 126.58/32.70 20(384) -> 385* 126.58/32.70 20(374) -> 369* 126.58/32.70 20(349) -> 350* 126.58/32.70 20(142) -> 339* 126.58/32.70 20(339) -> 340* 126.58/32.70 20(506) -> 507* 126.58/32.70 20(87) -> 83* 126.58/32.70 20(82) -> 79* 126.58/32.70 20(446) -> 447* 126.58/32.71 20(42) -> 43* 126.58/32.71 20(27) -> 354* 126.58/32.71 20(219) -> 220* 126.58/32.71 20(7) -> 48* 126.58/32.71 20(2) -> 63* 126.58/32.71 20(401) -> 402* 126.58/32.71 20(194) -> 195* 126.58/32.71 20(189) -> 185* 126.58/32.71 20(376) -> 377* 126.58/32.71 20(366) -> 367* 126.58/32.71 20(336) -> 337* 126.58/32.71 20(326) -> 327* 126.58/32.71 20(119) -> 120* 126.58/32.71 20(114) -> 115* 126.58/32.71 20(311) -> 312* 126.58/32.71 20(493) -> 494* 126.58/32.71 20(89) -> 118* 126.58/32.71 20(84) -> 85* 126.58/32.71 20(463) -> 464* 126.58/32.71 20(261) -> 262* 126.58/32.71 20(59) -> 60* 126.58/32.71 20(256) -> 257* 126.58/32.71 20(251) -> 252* 126.58/32.71 20(443) -> 444* 126.58/32.71 20(428) -> 421* 126.58/32.71 20(418) -> 419* 126.58/32.71 20(14) -> 178* 126.58/32.71 20(206) -> 333* 126.58/32.71 20(4) -> 5* 126.58/32.71 20(388) -> 383* 126.58/32.71 20(181) -> 182* 126.58/32.71 20(166) -> 167* 126.58/32.71 20(318) -> 319* 126.58/32.71 20(116) -> 112* 126.58/32.71 20(298) -> 299* 126.58/32.71 20(91) -> 92* 126.58/32.71 20(480) -> 481* 126.58/32.71 20(278) -> 279* 126.58/32.71 20(71) -> 72* 126.58/32.71 20(470) -> 471* 126.58/32.71 20(465) -> 466* 126.58/32.71 20(263) -> 264* 126.58/32.71 20(455) -> 456* 126.58/32.71 20(51) -> 137* 126.58/32.71 20(41) -> 290* 126.58/32.71 20(31) -> 32* 126.58/32.71 20(11) -> 55* 126.58/32.71 20(410) -> 411* 126.58/32.71 20(183) -> 184* 126.58/32.71 20(380) -> 381* 126.58/32.71 20(163) -> 164* 126.58/32.71 20(158) -> 159* 126.58/32.71 20(355) -> 356* 126.58/32.71 20(148) -> 149* 126.58/32.71 20(340) -> 341* 126.58/32.71 20(138) -> 139* 126.58/32.71 20(118) -> 308* 126.58/32.71 20(315) -> 316* 126.58/32.71 20(487) -> 488* 126.58/32.71 20(462) -> 463* 126.58/32.71 20(457) -> 458* 126.58/32.71 20(240) -> 241* 126.58/32.71 20(38) -> 240* 126.58/32.71 20(432) -> 433* 126.58/32.71 20(230) -> 231* 126.58/32.71 20(220) -> 216* 126.58/32.71 20(3) -> 51* 126.58/32.71 20(180) -> 181* 126.58/32.71 20(155) -> 152* 126.58/32.71 20(150) -> 151* 126.58/32.71 20(135) -> 131* 126.58/32.71 20(130) -> 127* 126.58/32.71 20(317) -> 318* 126.58/32.71 20(110) -> 502* 126.58/32.71 20(504) -> 505* 126.58/32.71 20(95) -> 96* 126.58/32.71 20(484) -> 485* 126.58/32.71 00(277) -> 461* 126.58/32.71 00(75) -> 73* 126.58/32.71 00(459) -> 454* 126.58/32.71 00(449) -> 450* 126.58/32.71 00(40) -> 422* 126.58/32.71 00(232) -> 227* 126.58/32.71 00(25) -> 153* 126.58/32.71 00(10) -> 157* 126.58/32.71 00(197) -> 198* 126.58/32.71 00(379) -> 380* 126.58/32.71 00(364) -> 365* 126.58/32.71 00(359) -> 360* 126.58/32.71 00(329) -> 330* 126.58/32.71 00(486) -> 487* 126.58/32.71 00(471) -> 472* 126.58/32.71 00(269) -> 270* 126.58/32.71 00(254) -> 255* 126.58/32.71 00(52) -> 217* 126.58/32.71 00(27) -> 28* 126.58/32.71 00(416) -> 417* 126.58/32.71 00(7) -> 211* 126.58/32.71 00(2) -> 3* 126.58/32.71 00(134) -> 135* 126.58/32.71 00(331) -> 325* 126.58/32.71 00(89) -> 90* 126.58/32.71 00(281) -> 276* 126.58/32.71 00(64) -> 70* 126.58/32.71 00(24) -> 104* 126.58/32.71 00(413) -> 414* 126.58/32.71 00(4) -> 31* 126.58/32.71 00(393) -> 394* 126.58/32.71 00(186) -> 187* 126.58/32.71 00(373) -> 374* 126.58/32.71 00(363) -> 397* 126.58/32.71 00(146) -> 141* 126.58/32.71 00(343) -> 344* 126.58/32.71 00(333) -> 334* 126.58/32.71 00(313) -> 307* 126.58/32.71 00(111) -> 107* 126.58/32.71 00(101) -> 102* 126.58/32.71 00(248) -> 249* 126.58/32.71 00(223) -> 224* 126.58/32.71 00(405) -> 406* 126.58/32.71 00(370) -> 371* 126.58/32.71 00(163) -> 446* 126.58/32.71 00(355) -> 370* 126.58/32.71 00(108) -> 173* 126.58/32.71 00(507) -> 501* 126.58/32.71 00(502) -> 503* 126.58/32.71 00(285) -> 286* 126.58/32.71 00(280) -> 281* 126.58/32.71 00(477) -> 478* 126.58/32.71 00(63) -> 283* 126.58/32.71 00(260) -> 261* 126.58/32.71 00(452) -> 453* 126.58/32.71 00(437) -> 438* 126.58/32.71 00(235) -> 236* 126.58/32.71 00(417) -> 418* 126.58/32.71 00(3) -> 4* 126.58/32.71 00(392) -> 393* 126.58/32.71 00(312) -> 313* 126.58/32.71 00(292) -> 293* 126.58/32.71 40(80) -> 81* 126.58/32.71 40(479) -> 480* 126.58/32.71 40(277) -> 278* 126.58/32.71 40(267) -> 390* 126.58/32.71 40(65) -> 68* 126.58/32.71 40(464) -> 465* 126.58/32.71 40(247) -> 248* 126.58/32.71 40(45) -> 46* 126.58/32.71 40(242) -> 243* 126.58/32.71 40(40) -> 41* 126.58/32.71 40(25) -> 113* 126.58/32.71 40(15) -> 16* 126.58/32.71 40(10) -> 14* 126.58/32.71 40(207) -> 208* 126.58/32.71 40(202) -> 203* 126.58/32.71 40(182) -> 183* 126.58/32.71 40(167) -> 168* 126.58/32.71 40(354) -> 355* 126.58/32.71 40(142) -> 143* 126.58/32.71 40(137) -> 138* 126.58/32.71 40(132) -> 133* 126.58/32.71 40(122) -> 117* 126.58/32.71 40(319) -> 320* 126.58/32.71 40(299) -> 300* 126.58/32.71 40(92) -> 93* 126.58/32.71 40(481) -> 482* 126.58/32.71 40(466) -> 467* 126.58/32.71 40(456) -> 457* 126.58/32.71 40(234) -> 326* 126.58/32.71 40(229) -> 230* 126.58/32.71 40(27) -> 99* 126.58/32.71 40(214) -> 215* 126.58/32.71 40(7) -> 8* 126.58/32.71 40(2) -> 27* 126.58/32.71 40(199) -> 200* 126.58/32.71 40(184) -> 177* 126.58/32.71 40(174) -> 175* 126.58/32.71 40(164) -> 222* 126.58/32.71 40(361) -> 353* 126.58/32.71 40(154) -> 155* 126.58/32.71 40(149) -> 150* 126.58/32.71 40(346) -> 338* 126.58/32.71 40(144) -> 145* 126.58/32.71 40(341) -> 342* 126.58/32.71 40(109) -> 110* 126.58/32.71 40(99) -> 100* 126.58/32.71 40(498) -> 499* 126.58/32.71 40(286) -> 287* 126.58/32.71 40(74) -> 75* 126.58/32.71 40(266) -> 267* 126.58/32.71 40(458) -> 459* 126.58/32.71 40(49) -> 47* 126.58/32.71 40(448) -> 449* 126.58/32.71 40(246) -> 247* 126.58/32.71 40(241) -> 242* 126.58/32.71 40(34) -> 38* 126.58/32.71 40(433) -> 434* 126.58/32.71 40(231) -> 232* 126.58/32.71 40(29) -> 26* 126.58/32.71 40(226) -> 221* 126.58/32.71 40(24) -> 186* 126.58/32.71 40(14) -> 19* 126.58/32.71 40(201) -> 202* 126.58/32.71 40(191) -> 192* 126.58/32.71 40(176) -> 172* 126.58/32.71 40(363) -> 364* 126.58/32.71 40(161) -> 156* 126.58/32.71 40(126) -> 123* 126.58/32.71 40(323) -> 324* 126.58/32.71 40(308) -> 309* 126.58/32.71 40(303) -> 304* 126.58/32.71 40(96) -> 97* 126.58/32.71 40(495) -> 496* 126.58/32.71 40(86) -> 87* 126.58/32.71 40(485) -> 486* 126.58/32.71 40(81) -> 82* 126.58/32.71 40(475) -> 468* 126.58/32.71 40(268) -> 269* 126.58/32.71 40(258) -> 253* 126.58/32.71 40(51) -> 363* 126.58/32.71 40(41) -> 302* 126.58/32.71 40(238) -> 233* 126.58/32.71 40(36) -> 33* 126.58/32.71 40(430) -> 431* 126.58/32.71 40(228) -> 229* 126.58/32.71 40(425) -> 426* 126.58/32.71 40(21) -> 22* 126.58/32.71 40(420) -> 412* 126.58/32.71 40(218) -> 219* 126.58/32.71 40(16) -> 17* 126.58/32.71 40(11) -> 12* 126.58/32.71 40(208) -> 209* 126.58/32.71 40(203) -> 204* 126.58/32.71 40(390) -> 391* 126.58/32.71 40(178) -> 246* 126.58/32.71 40(153) -> 154* 126.58/32.71 40(128) -> 129* 126.58/32.71 40(320) -> 314* 126.58/32.71 40(108) -> 109* 126.58/32.71 40(290) -> 291* 126.58/32.71 40(63) -> 64* 126.58/32.71 40(48) -> 49* 126.58/32.71 40(447) -> 448* 126.58/32.71 40(225) -> 226* 126.58/32.71 40(422) -> 423* 126.58/32.71 40(8) -> 84* 126.58/32.71 40(407) -> 408* 126.58/32.71 40(3) -> 142* 126.58/32.71 40(402) -> 403* 126.58/32.71 40(382) -> 375* 126.58/32.71 40(377) -> 378* 126.58/32.71 40(175) -> 176* 126.58/32.71 40(337) -> 332* 126.58/32.71 40(125) -> 126* 126.58/32.71 40(105) -> 106* 126.58/32.71 40(100) -> 101* 126.58/32.71 40(494) -> 495* 126.58/32.71 40(287) -> 288* 126.58/32.71 40(85) -> 86* 126.58/32.71 30(267) -> 268* 126.58/32.71 30(65) -> 66* 126.58/32.71 30(252) -> 245* 126.58/32.71 30(40) -> 277* 126.58/32.71 30(25) -> 23* 126.58/32.71 30(414) -> 415* 126.58/32.71 30(212) -> 213* 126.58/32.71 30(197) -> 254* 126.58/32.71 30(394) -> 395* 126.58/32.71 30(192) -> 193* 126.58/32.71 30(157) -> 158* 126.58/32.71 30(344) -> 345* 126.58/32.71 30(324) -> 321* 126.58/32.71 30(102) -> 98* 126.58/32.71 30(97) -> 94* 126.58/32.71 30(294) -> 289* 126.58/32.71 30(491) -> 483* 126.58/32.71 30(274) -> 275* 126.58/32.71 30(52) -> 53* 126.58/32.71 30(244) -> 239* 126.58/32.71 30(441) -> 442* 126.58/32.71 30(431) -> 432* 126.58/32.71 30(411) -> 404* 126.58/32.71 30(209) -> 205* 126.58/32.71 30(7) -> 95* 126.58/32.71 30(2) -> 10* 126.58/32.71 30(179) -> 180* 126.58/32.71 30(351) -> 352* 126.58/32.71 30(139) -> 140* 126.58/32.71 30(104) -> 105* 126.58/32.71 30(503) -> 504* 126.58/32.71 30(296) -> 297* 126.58/32.71 30(291) -> 292* 126.58/32.71 30(453) -> 445* 126.58/32.71 30(438) -> 439* 126.58/32.71 30(423) -> 424* 126.58/32.71 30(211) -> 430* 126.58/32.71 30(4) -> 124* 126.58/32.71 30(368) -> 362* 126.58/32.71 30(151) -> 147* 126.58/32.71 30(328) -> 329* 126.58/32.71 30(121) -> 122* 126.58/32.71 30(500) -> 492* 126.58/32.71 30(293) -> 294* 126.58/32.71 30(288) -> 282* 126.58/32.71 30(283) -> 296* 126.58/32.71 30(61) -> 58* 126.58/32.71 30(51) -> 148* 126.58/32.71 30(450) -> 451* 126.58/32.71 30(213) -> 214* 126.58/32.71 30(198) -> 199* 126.58/32.71 30(193) -> 194* 126.58/32.71 30(173) -> 174* 126.58/32.71 30(168) -> 162* 126.58/32.71 30(365) -> 366* 126.58/32.71 30(345) -> 346* 126.58/32.71 30(310) -> 311* 126.58/32.71 30(78) -> 76* 126.58/32.71 30(275) -> 271* 126.58/32.71 30(270) -> 265* 126.58/32.71 30(43) -> 322* 126.58/32.71 30(442) -> 443* 126.58/32.71 30(38) -> 37* 126.58/32.71 30(427) -> 428* 126.58/32.71 30(23) -> 170* 126.58/32.71 30(8) -> 128* 126.58/32.71 30(3) -> 7* 126.58/32.71 30(397) -> 398* 126.58/32.71 30(170) -> 171* 126.58/32.71 30(165) -> 166* 126.58/32.71 30(357) -> 358* 126.58/32.71 30(322) -> 323* 126.58/32.71 30(302) -> 303* 126.58/32.71 30(499) -> 500* 126.58/32.71 50(474) -> 475* 126.58/32.71 50(272) -> 273* 126.58/32.71 50(40) -> 493* 126.58/32.71 50(439) -> 455* 126.58/32.71 50(434) -> 435* 126.58/32.71 50(25) -> 348* 126.58/32.71 50(222) -> 223* 126.58/32.71 50(217) -> 218* 126.58/32.71 50(10) -> 108* 126.58/32.71 50(197) -> 266* 126.58/32.71 50(187) -> 188* 126.58/32.71 50(157) -> 228* 126.58/32.71 50(334) -> 335* 126.58/32.71 50(309) -> 310* 126.58/32.71 50(304) -> 305* 126.58/32.71 50(461) -> 462* 126.58/32.71 50(52) -> 74* 126.58/32.71 50(451) -> 452* 126.58/32.71 50(249) -> 250* 126.58/32.71 50(42) -> 57* 126.58/32.71 50(27) -> 59* 126.58/32.71 50(426) -> 427* 126.58/32.71 50(224) -> 225* 126.58/32.71 50(7) -> 45* 126.58/32.71 50(2) -> 89* 126.58/32.71 50(386) -> 387* 126.58/32.71 50(371) -> 372* 126.58/32.71 50(124) -> 125* 126.58/32.71 50(89) -> 191* 126.58/32.71 50(478) -> 479* 126.58/32.71 50(64) -> 65* 126.58/32.71 50(236) -> 237* 126.58/32.71 50(211) -> 315* 126.58/32.71 50(206) -> 207* 126.58/32.71 50(4) -> 34* 126.58/32.71 50(403) -> 396* 126.58/32.71 50(186) -> 260* 126.58/32.71 50(378) -> 379* 126.58/32.71 50(171) -> 169* 126.58/32.71 50(358) -> 359* 126.58/32.71 50(505) -> 506* 126.58/32.71 50(283) -> 284* 126.58/32.71 50(66) -> 62* 126.58/32.71 50(56) -> 54* 126.58/32.71 50(41) -> 77* 126.58/32.71 50(415) -> 416* 126.58/32.71 50(395) -> 389* 126.58/32.71 50(360) -> 361* 126.58/32.71 50(350) -> 351* 126.58/32.71 50(330) -> 331* 126.58/32.71 50(305) -> 306* 126.58/32.71 50(300) -> 295* 126.58/32.71 50(497) -> 498* 126.58/32.71 50(472) -> 473* 126.58/32.71 50(68) -> 67* 126.58/32.71 50(63) -> 376* 126.58/32.71 50(255) -> 256* 126.58/32.71 50(53) -> 477* 126.58/32.71 50(48) -> 384* 126.58/32.71 50(28) -> 29* 126.58/32.71 50(3) -> 40* 126.58/32.71 50(200) -> 201* 126.58/32.71 50(367) -> 368* 126.58/32.71 50(160) -> 161* 126.58/32.71 50(327) -> 328* 126.58/32.71 50(297) -> 298* 126.58/32.71 50(489) -> 490* 126.58/32.71 41(646) -> 647* 126.58/32.71 41(606) -> 607* 126.58/32.71 41(571) -> 572* 126.58/32.71 41(521) -> 522* 126.58/32.71 41(648) -> 649* 126.58/32.71 41(603) -> 604* 126.58/32.71 41(518) -> 519* 126.58/32.71 41(650) -> 651* 126.58/32.71 41(625) -> 626* 126.58/32.71 41(605) -> 606* 126.58/32.71 41(590) -> 591* 126.58/32.71 41(515) -> 516* 126.58/32.71 41(622) -> 623* 126.58/32.71 41(634) -> 635* 126.58/32.71 41(614) -> 615* 126.58/32.71 41(604) -> 605* 126.58/32.71 41(589) -> 590* 126.58/32.71 51(570) -> 571* 126.58/32.71 51(520) -> 521* 126.58/32.71 51(664) -> 665* 126.58/32.71 51(624) -> 625* 126.58/32.71 01(681) -> 682* 126.58/32.71 01(666) -> 667* 126.58/32.71 01(556) -> 557* 126.58/32.71 01(623) -> 624* 126.58/32.71 01(618) -> 619* 126.58/32.71 01(568) -> 569* 126.58/32.71 01(533) -> 534* 126.58/32.71 01(513) -> 514* 126.58/32.71 01(680) -> 681* 126.58/32.71 01(540) -> 541* 126.58/32.71 01(607) -> 608* 126.58/32.71 01(557) -> 558* 126.58/32.71 01(542) -> 543* 126.58/32.71 01(534) -> 535* 126.58/32.71 01(519) -> 520* 126.58/32.71 11(651) -> 652* 126.58/32.71 11(536) -> 537* 126.58/32.71 11(516) -> 517* 126.58/32.71 11(683) -> 684* 126.58/32.71 11(663) -> 664* 126.58/32.71 11(633) -> 634* 126.58/32.71 11(548) -> 549* 126.58/32.71 11(635) -> 636* 126.58/32.71 11(677) -> 678* 126.58/32.71 11(647) -> 648* 126.58/32.71 11(572) -> 573* 126.58/32.71 11(574) -> 575* 126.58/32.71 11(559) -> 560* 126.58/32.71 31(546) -> 547* 126.58/32.71 31(678) -> 679* 126.58/32.71 31(608) -> 609* 126.58/32.71 31(675) -> 676* 126.58/32.71 31(632) -> 633* 126.58/32.71 31(612) -> 613* 126.58/32.71 31(587) -> 588* 126.58/32.71 31(549) -> 550* 126.58/32.71 31(514) -> 515* 126.58/32.71 21(676) -> 677* 126.58/32.71 21(588) -> 589* 126.58/32.71 21(573) -> 574* 126.58/32.71 21(558) -> 559* 126.58/32.71 21(535) -> 536* 126.58/32.71 21(682) -> 683* 126.58/32.71 21(662) -> 663* 126.58/32.71 21(652) -> 653* 126.58/32.71 21(547) -> 548* 126.58/32.71 21(594) -> 595* 126.58/32.71 1 -> 163* 126.58/32.71 3 -> 518* 126.58/32.71 6 -> 10* 126.58/32.71 7 -> 513* 126.58/32.71 9 -> 163* 126.58/32.71 13 -> 163* 126.58/32.71 18 -> 163* 126.58/32.71 23 -> 163,11 126.58/32.71 26 -> 27,519,142 126.58/32.71 30 -> 163* 126.58/32.71 33 -> 89* 126.58/32.71 37 -> 10,277 126.58/32.71 39 -> 163* 126.58/32.71 44 -> 163,11 126.58/32.71 47 -> 27,14 126.58/32.71 50 -> 163* 126.58/32.71 54 -> 89* 126.58/32.71 57 -> 89* 126.58/32.71 58 -> 163,11 126.58/32.71 62 -> 89,108 126.58/32.71 67 -> 27* 126.58/32.71 69 -> 163,197 126.58/32.71 73 -> 27,519,142 126.58/32.71 75 -> 533* 126.58/32.71 76 -> 10* 126.58/32.71 79 -> 89,266 126.58/32.71 83 -> 27,14 126.58/32.71 88 -> 163* 126.58/32.71 94 -> 10* 126.58/32.71 98 -> 27,14 126.58/32.71 103 -> 10* 126.58/32.71 107 -> 163,437 126.58/32.71 112 -> 63,164 126.58/32.71 117 -> 27,12 126.58/32.71 123 -> 27,519,142 126.58/32.71 127 -> 27,14 126.58/32.71 131 -> 63,354,339 126.58/32.71 136 -> 163,11 126.58/32.71 141 -> 27,519,142 126.58/32.71 146 -> 540* 126.58/32.71 147 -> 10* 126.58/32.71 152 -> 63* 126.58/32.71 156 -> 27,109,46 126.58/32.71 162 -> 10* 126.58/32.71 169 -> 89,108 126.58/32.71 172 -> 89,59 126.58/32.71 177 -> 63,354 126.58/32.71 185 -> 27* 126.58/32.71 190 -> 163,11 126.58/32.71 196 -> 163,11 126.58/32.71 205 -> 163,11 126.58/32.71 210 -> 10* 126.58/32.71 216 -> 63,354 126.58/32.71 221 -> 89* 126.58/32.71 227 -> 27* 126.58/32.71 232 -> 542* 126.58/32.71 233 -> 27* 126.58/32.71 239 -> 163,484 126.58/32.71 245 -> 27* 126.58/32.71 253 -> 63,137 126.58/32.71 259 -> 163* 126.58/32.71 265 -> 27* 126.58/32.71 271 -> 10* 126.58/32.71 274 -> 546* 126.58/32.71 276 -> 10,7 126.58/32.71 280 -> 568* 126.58/32.71 281 -> 556* 126.58/32.71 282 -> 10* 126.58/32.71 285 -> 603* 126.58/32.71 289 -> 10* 126.58/32.71 293 -> 612* 126.58/32.71 295 -> 89,40,284 126.58/32.71 300 -> 614* 126.58/32.71 301 -> 10* 126.58/32.71 307 -> 10* 126.58/32.71 312 -> 618* 126.58/32.71 314 -> 27* 126.58/32.71 321 -> 10* 126.58/32.71 325 -> 10* 126.58/32.71 330 -> 622* 126.58/32.71 332 -> 10,7,296 126.58/32.71 338 -> 63,354,339 126.58/32.71 347 -> 63,118 126.58/32.71 351 -> 632* 126.58/32.71 353 -> 27,519,142 126.58/32.71 362 -> 10* 126.58/32.71 369 -> 27* 126.58/32.71 375 -> 27* 126.58/32.71 383 -> 89,40 126.58/32.71 389 -> 89* 126.58/32.71 396 -> 27,14,8 126.58/32.71 404 -> 89* 126.58/32.71 412 -> 27,519,142 126.58/32.71 421 -> 89,40 126.58/32.71 429 -> 163* 126.58/32.71 436 -> 63,24,48 126.58/32.71 445 -> 27,519,142 126.58/32.71 454 -> 27,519,142 126.58/32.71 459 -> 666* 126.58/32.71 460 -> 163,413,144 126.58/32.71 468 -> 63,118,377 126.58/32.71 476 -> 27,519,142 126.58/32.71 483 -> 63,118,60 126.58/32.71 492 -> 27,99 126.58/32.71 499 -> 675* 126.58/32.71 501 -> 89,59 126.58/32.71 507 -> 680* 126.58/32.71 517 -> 213* 126.58/32.71 522 -> 423* 126.58/32.71 537 -> 484* 126.58/32.71 541 -> 534* 126.58/32.71 543 -> 534* 126.58/32.71 550 -> 11* 126.58/32.71 557 -> 594,587,570 126.58/32.71 560 -> 212* 126.58/32.71 569 -> 556* 126.58/32.71 575 -> 11* 126.58/32.71 591 -> 129* 126.58/32.71 595 -> 574* 126.58/32.71 609 -> 14* 126.58/32.71 613 -> 547* 126.58/32.71 615 -> 519* 126.58/32.71 619 -> 556* 126.58/32.71 626 -> 14* 126.58/32.71 633 -> 646* 126.58/32.71 634 -> 662* 126.58/32.71 636 -> 197,119 126.58/32.71 647 -> 650* 126.58/32.71 649 -> 634* 126.58/32.71 653 -> 634* 126.58/32.71 665 -> 266* 126.58/32.71 667 -> 534* 126.58/32.71 679 -> 413* 126.58/32.71 684 -> 91* 126.58/32.71 problem: 126.58/32.71 126.58/32.71 Qed 126.58/32.72 EOF