24.38/6.57 YES 24.38/6.58 24.38/6.58 Problem: 24.38/6.58 3(1(x1)) -> 4(1(x1)) 24.38/6.58 5(9(x1)) -> 2(6(5(x1))) 24.38/6.58 3(5(x1)) -> 8(9(7(x1))) 24.38/6.58 9(x1) -> 3(2(3(x1))) 24.38/6.58 8(4(x1)) -> 6(x1) 24.38/6.58 2(6(x1)) -> 4(3(x1)) 24.38/6.58 3(8(x1)) -> 3(2(7(x1))) 24.38/6.58 9(x1) -> 5(0(2(x1))) 24.38/6.58 8(8(4(x1))) -> 1(9(x1)) 24.38/6.58 7(1(x1)) -> 6(9(x1)) 24.38/6.58 3(9(x1)) -> 9(3(x1)) 24.38/6.58 7(5(x1)) -> 1(0(x1)) 24.38/6.58 24.38/6.58 Proof: 24.38/6.58 Matrix Interpretation Processor: dim=3 24.38/6.58 24.38/6.58 interpretation: 24.38/6.58 [1 0 1] [0] 24.38/6.58 [0](x0) = [0 0 0]x0 + [1] 24.38/6.58 [0 0 0] [0], 24.38/6.58 24.38/6.58 [1 1 0] 24.38/6.58 [8](x0) = [0 1 0]x0 24.38/6.58 [0 0 0] , 24.38/6.58 24.38/6.58 [1 0 0] 24.38/6.58 [7](x0) = [0 0 0]x0 24.38/6.58 [1 0 0] , 24.38/6.58 24.38/6.58 [1 0 0] 24.38/6.58 [2](x0) = [0 0 0]x0 24.38/6.58 [0 0 0] , 24.38/6.58 24.38/6.58 [1 1 0] 24.38/6.58 [6](x0) = [0 0 0]x0 24.38/6.58 [0 0 0] , 24.38/6.58 24.38/6.58 [1 0 1] 24.38/6.58 [5](x0) = [0 0 0]x0 24.38/6.58 [0 1 1] , 24.38/6.58 24.38/6.58 [1 0 0] [0] 24.38/6.58 [9](x0) = [0 0 0]x0 + [0] 24.38/6.58 [0 0 1] [1], 24.38/6.58 24.38/6.58 [1 0 0] 24.38/6.58 [4](x0) = [0 1 0]x0 24.38/6.58 [0 0 0] , 24.38/6.58 24.38/6.58 [1 0 0] 24.38/6.58 [3](x0) = [0 0 0]x0 24.38/6.58 [0 0 1] , 24.38/6.58 24.38/6.58 [1 0 0] 24.38/6.58 [1](x0) = [0 0 0]x0 24.38/6.58 [0 0 0] 24.38/6.58 orientation: 24.38/6.58 [1 0 0] [1 0 0] 24.38/6.58 3(1(x1)) = [0 0 0]x1 >= [0 0 0]x1 = 4(1(x1)) 24.38/6.58 [0 0 0] [0 0 0] 24.38/6.58 24.38/6.58 [1 0 1] [1] [1 0 1] 24.38/6.58 5(9(x1)) = [0 0 0]x1 + [0] >= [0 0 0]x1 = 2(6(5(x1))) 24.38/6.58 [0 0 1] [1] [0 0 0] 24.38/6.58 24.38/6.58 [1 0 1] [1 0 0] 24.38/6.58 3(5(x1)) = [0 0 0]x1 >= [0 0 0]x1 = 8(9(7(x1))) 24.38/6.58 [0 1 1] [0 0 0] 24.38/6.58 24.38/6.58 [1 0 0] [0] [1 0 0] 24.38/6.58 9(x1) = [0 0 0]x1 + [0] >= [0 0 0]x1 = 3(2(3(x1))) 24.38/6.58 [0 0 1] [1] [0 0 0] 24.38/6.58 24.38/6.58 [1 1 0] [1 1 0] 24.38/6.58 8(4(x1)) = [0 1 0]x1 >= [0 0 0]x1 = 6(x1) 24.38/6.58 [0 0 0] [0 0 0] 24.38/6.58 24.38/6.58 [1 1 0] [1 0 0] 24.38/6.58 2(6(x1)) = [0 0 0]x1 >= [0 0 0]x1 = 4(3(x1)) 24.38/6.58 [0 0 0] [0 0 0] 24.38/6.58 24.38/6.58 [1 1 0] [1 0 0] 24.38/6.58 3(8(x1)) = [0 0 0]x1 >= [0 0 0]x1 = 3(2(7(x1))) 24.38/6.58 [0 0 0] [0 0 0] 24.38/6.58 24.38/6.58 [1 0 0] [0] [1 0 0] [0] 24.38/6.58 9(x1) = [0 0 0]x1 + [0] >= [0 0 0]x1 + [0] = 5(0(2(x1))) 24.38/6.58 [0 0 1] [1] [0 0 0] [1] 24.38/6.58 24.38/6.58 [1 2 0] [1 0 0] 24.38/6.58 8(8(4(x1))) = [0 1 0]x1 >= [0 0 0]x1 = 1(9(x1)) 24.38/6.58 [0 0 0] [0 0 0] 24.38/6.58 24.38/6.58 [1 0 0] [1 0 0] 24.38/6.58 7(1(x1)) = [0 0 0]x1 >= [0 0 0]x1 = 6(9(x1)) 24.38/6.58 [1 0 0] [0 0 0] 24.38/6.58 24.38/6.58 [1 0 0] [0] [1 0 0] [0] 24.38/6.58 3(9(x1)) = [0 0 0]x1 + [0] >= [0 0 0]x1 + [0] = 9(3(x1)) 24.38/6.58 [0 0 1] [1] [0 0 1] [1] 24.38/6.58 24.38/6.58 [1 0 1] [1 0 1] 24.38/6.58 7(5(x1)) = [0 0 0]x1 >= [0 0 0]x1 = 1(0(x1)) 24.38/6.58 [1 0 1] [0 0 0] 24.38/6.58 problem: 24.38/6.58 3(1(x1)) -> 4(1(x1)) 24.38/6.58 3(5(x1)) -> 8(9(7(x1))) 24.38/6.58 9(x1) -> 3(2(3(x1))) 24.38/6.58 8(4(x1)) -> 6(x1) 24.38/6.58 2(6(x1)) -> 4(3(x1)) 24.38/6.58 3(8(x1)) -> 3(2(7(x1))) 24.38/6.58 9(x1) -> 5(0(2(x1))) 24.38/6.58 8(8(4(x1))) -> 1(9(x1)) 24.38/6.58 7(1(x1)) -> 6(9(x1)) 24.38/6.58 3(9(x1)) -> 9(3(x1)) 24.38/6.58 7(5(x1)) -> 1(0(x1)) 24.38/6.58 Matrix Interpretation Processor: dim=3 24.38/6.58 24.38/6.58 interpretation: 24.38/6.58 [1 0 0] 24.38/6.58 [0](x0) = [0 0 0]x0 24.38/6.58 [0 1 0] , 24.38/6.58 24.38/6.58 [1 1 0] [0] 24.38/6.58 [8](x0) = [0 0 1]x0 + [1] 24.38/6.58 [0 1 0] [0], 24.38/6.58 24.38/6.58 [1 0 1] 24.38/6.58 [7](x0) = [0 1 0]x0 24.38/6.58 [0 1 0] , 24.38/6.58 24.38/6.58 [1 1 0] [0] 24.38/6.58 [2](x0) = [0 0 0]x0 + [0] 24.38/6.58 [0 0 0] [1], 24.38/6.58 24.38/6.58 [1 1 0] [0] 24.38/6.58 [6](x0) = [0 0 0]x0 + [1] 24.38/6.58 [0 0 0] [0], 24.38/6.58 24.38/6.58 [1 1 1] [1] 24.38/6.58 [5](x0) = [0 1 0]x0 + [1] 24.38/6.58 [0 1 0] [0], 24.38/6.58 24.38/6.58 [1 1 0] [1] 24.38/6.58 [9](x0) = [0 0 0]x0 + [1] 24.38/6.58 [0 0 0] [0], 24.38/6.58 24.38/6.58 [1 1 0] [0] 24.38/6.58 [4](x0) = [0 0 0]x0 + [0] 24.38/6.58 [0 0 0] [1], 24.38/6.59 24.38/6.59 [1 1 0] [0] 24.38/6.59 [3](x0) = [0 0 0]x0 + [1] 24.38/6.59 [0 1 0] [0], 24.38/6.59 24.38/6.59 [1 0 0] [1] 24.38/6.59 [1](x0) = [0 0 0]x0 + [1] 24.38/6.59 [0 1 1] [1] 24.38/6.59 orientation: 24.38/6.59 [1 0 0] [2] [1 0 0] [2] 24.38/6.59 3(1(x1)) = [0 0 0]x1 + [1] >= [0 0 0]x1 + [0] = 4(1(x1)) 24.38/6.59 [0 0 0] [1] [0 0 0] [1] 24.38/6.59 24.38/6.59 [1 2 1] [2] [1 1 1] [2] 24.38/6.59 3(5(x1)) = [0 0 0]x1 + [1] >= [0 0 0]x1 + [1] = 8(9(7(x1))) 24.38/6.59 [0 1 0] [1] [0 0 0] [1] 24.38/6.59 24.38/6.59 [1 1 0] [1] [1 1 0] [1] 24.38/6.59 9(x1) = [0 0 0]x1 + [1] >= [0 0 0]x1 + [1] = 3(2(3(x1))) 24.38/6.59 [0 0 0] [0] [0 0 0] [0] 24.38/6.59 24.38/6.59 [1 1 0] [0] [1 1 0] [0] 24.38/6.59 8(4(x1)) = [0 0 0]x1 + [2] >= [0 0 0]x1 + [1] = 6(x1) 24.38/6.59 [0 0 0] [0] [0 0 0] [0] 24.38/6.59 24.38/6.59 [1 1 0] [1] [1 1 0] [1] 24.38/6.59 2(6(x1)) = [0 0 0]x1 + [0] >= [0 0 0]x1 + [0] = 4(3(x1)) 24.38/6.59 [0 0 0] [1] [0 0 0] [1] 24.38/6.59 24.38/6.59 [1 1 1] [1] [1 1 1] [0] 24.38/6.59 3(8(x1)) = [0 0 0]x1 + [1] >= [0 0 0]x1 + [1] = 3(2(7(x1))) 24.38/6.59 [0 0 1] [1] [0 0 0] [0] 24.38/6.59 24.38/6.59 [1 1 0] [1] [1 1 0] [1] 24.38/6.59 9(x1) = [0 0 0]x1 + [1] >= [0 0 0]x1 + [1] = 5(0(2(x1))) 24.38/6.59 [0 0 0] [0] [0 0 0] [0] 24.38/6.59 24.38/6.59 [1 1 0] [2] [1 1 0] [2] 24.38/6.59 8(8(4(x1))) = [0 0 0]x1 + [1] >= [0 0 0]x1 + [1] = 1(9(x1)) 24.38/6.59 [0 0 0] [2] [0 0 0] [2] 24.38/6.59 24.38/6.59 [1 1 1] [2] [1 1 0] [2] 24.38/6.59 7(1(x1)) = [0 0 0]x1 + [1] >= [0 0 0]x1 + [1] = 6(9(x1)) 24.38/6.59 [0 0 0] [1] [0 0 0] [0] 24.38/6.59 24.38/6.59 [1 1 0] [2] [1 1 0] [2] 24.38/6.59 3(9(x1)) = [0 0 0]x1 + [1] >= [0 0 0]x1 + [1] = 9(3(x1)) 24.38/6.59 [0 0 0] [1] [0 0 0] [0] 24.38/6.59 24.38/6.59 [1 2 1] [1] [1 0 0] [1] 24.38/6.59 7(5(x1)) = [0 1 0]x1 + [1] >= [0 0 0]x1 + [1] = 1(0(x1)) 24.38/6.59 [0 1 0] [1] [0 1 0] [1] 24.38/6.59 problem: 24.38/6.59 3(1(x1)) -> 4(1(x1)) 24.38/6.59 3(5(x1)) -> 8(9(7(x1))) 24.38/6.59 9(x1) -> 3(2(3(x1))) 24.38/6.59 8(4(x1)) -> 6(x1) 24.38/6.59 2(6(x1)) -> 4(3(x1)) 24.38/6.59 9(x1) -> 5(0(2(x1))) 24.38/6.59 8(8(4(x1))) -> 1(9(x1)) 24.38/6.59 7(1(x1)) -> 6(9(x1)) 24.38/6.59 3(9(x1)) -> 9(3(x1)) 24.38/6.59 7(5(x1)) -> 1(0(x1)) 24.38/6.59 String Reversal Processor: 24.38/6.59 1(3(x1)) -> 1(4(x1)) 24.38/6.59 5(3(x1)) -> 7(9(8(x1))) 24.38/6.59 9(x1) -> 3(2(3(x1))) 24.38/6.59 4(8(x1)) -> 6(x1) 24.38/6.59 6(2(x1)) -> 3(4(x1)) 24.38/6.59 9(x1) -> 2(0(5(x1))) 24.38/6.59 4(8(8(x1))) -> 9(1(x1)) 24.38/6.59 1(7(x1)) -> 9(6(x1)) 24.38/6.59 9(3(x1)) -> 3(9(x1)) 24.38/6.59 5(7(x1)) -> 0(1(x1)) 24.38/6.59 Matrix Interpretation Processor: dim=3 24.38/6.59 24.38/6.59 interpretation: 24.38/6.59 [1 0 0] 24.38/6.59 [0](x0) = [0 0 0]x0 24.38/6.59 [0 1 0] , 24.38/6.59 24.38/6.59 [1 0 1] 24.38/6.59 [8](x0) = [0 1 0]x0 24.38/6.59 [0 1 0] , 24.38/6.59 24.38/6.59 [1 0 0] [0] 24.38/6.59 [7](x0) = [0 1 0]x0 + [0] 24.38/6.59 [0 0 0] [1], 24.38/6.59 24.38/6.59 [1 1 0] 24.38/6.59 [2](x0) = [0 1 0]x0 24.38/6.59 [0 0 0] , 24.38/6.59 24.38/6.59 [1 1 0] 24.38/6.59 [6](x0) = [0 0 0]x0 24.38/6.59 [0 0 0] , 24.38/6.59 24.38/6.59 [1 1 1] [0] 24.38/6.59 [5](x0) = [1 1 0]x0 + [0] 24.38/6.59 [0 0 1] [1], 24.38/6.59 24.38/6.59 [1 1 1] 24.38/6.59 [9](x0) = [0 1 0]x0 24.38/6.59 [0 1 0] , 24.38/6.59 24.38/6.59 [1 1 0] 24.38/6.59 [4](x0) = [0 0 0]x0 24.38/6.59 [0 1 0] , 24.38/6.59 24.38/6.59 [1 0 1] 24.38/6.59 [3](x0) = [0 1 0]x0 24.38/6.59 [0 1 0] , 24.38/6.59 24.38/6.59 [1 1 0] 24.38/6.59 [1](x0) = [0 0 0]x0 24.38/6.59 [0 1 0] 24.38/6.59 orientation: 24.38/6.59 [1 1 1] [1 1 0] 24.38/6.59 1(3(x1)) = [0 0 0]x1 >= [0 0 0]x1 = 1(4(x1)) 24.38/6.59 [0 1 0] [0 0 0] 24.38/6.59 24.38/6.59 [1 2 1] [0] [1 2 1] [0] 24.38/6.59 5(3(x1)) = [1 1 1]x1 + [0] >= [0 1 0]x1 + [0] = 7(9(8(x1))) 24.38/6.59 [0 1 0] [1] [0 0 0] [1] 24.38/6.59 24.38/6.59 [1 1 1] [1 1 1] 24.38/6.59 9(x1) = [0 1 0]x1 >= [0 1 0]x1 = 3(2(3(x1))) 24.38/6.59 [0 1 0] [0 1 0] 24.38/6.59 24.38/6.59 [1 1 1] [1 1 0] 24.38/6.59 4(8(x1)) = [0 0 0]x1 >= [0 0 0]x1 = 6(x1) 24.38/6.59 [0 1 0] [0 0 0] 24.38/6.59 24.38/6.59 [1 2 0] [1 2 0] 24.38/6.59 6(2(x1)) = [0 0 0]x1 >= [0 0 0]x1 = 3(4(x1)) 24.38/6.59 [0 0 0] [0 0 0] 24.38/6.59 24.38/6.59 [1 1 1] [1 1 1] 24.38/6.59 9(x1) = [0 1 0]x1 >= [0 0 0]x1 = 2(0(5(x1))) 24.38/6.59 [0 1 0] [0 0 0] 24.38/6.59 24.38/6.59 [1 2 1] [1 2 0] 24.38/6.59 4(8(8(x1))) = [0 0 0]x1 >= [0 0 0]x1 = 9(1(x1)) 24.38/6.59 [0 1 0] [0 0 0] 24.38/6.59 24.38/6.59 [1 1 0] [1 1 0] 24.38/6.59 1(7(x1)) = [0 0 0]x1 >= [0 0 0]x1 = 9(6(x1)) 24.38/6.59 [0 1 0] [0 0 0] 24.38/6.59 24.38/6.59 [1 2 1] [1 2 1] 24.38/6.59 9(3(x1)) = [0 1 0]x1 >= [0 1 0]x1 = 3(9(x1)) 24.38/6.59 [0 1 0] [0 1 0] 24.38/6.59 24.38/6.59 [1 1 0] [1] [1 1 0] 24.38/6.59 5(7(x1)) = [1 1 0]x1 + [0] >= [0 0 0]x1 = 0(1(x1)) 24.38/6.59 [0 0 0] [2] [0 0 0] 24.38/6.59 problem: 24.38/6.59 1(3(x1)) -> 1(4(x1)) 24.38/6.59 5(3(x1)) -> 7(9(8(x1))) 24.38/6.59 9(x1) -> 3(2(3(x1))) 24.38/6.59 4(8(x1)) -> 6(x1) 24.38/6.59 6(2(x1)) -> 3(4(x1)) 24.38/6.59 9(x1) -> 2(0(5(x1))) 24.38/6.59 4(8(8(x1))) -> 9(1(x1)) 24.38/6.59 1(7(x1)) -> 9(6(x1)) 24.38/6.59 9(3(x1)) -> 3(9(x1)) 24.38/6.59 String Reversal Processor: 24.38/6.59 3(1(x1)) -> 4(1(x1)) 24.38/6.59 3(5(x1)) -> 8(9(7(x1))) 24.38/6.59 9(x1) -> 3(2(3(x1))) 24.38/6.59 8(4(x1)) -> 6(x1) 24.38/6.59 2(6(x1)) -> 4(3(x1)) 24.38/6.59 9(x1) -> 5(0(2(x1))) 24.38/6.59 8(8(4(x1))) -> 1(9(x1)) 24.38/6.59 7(1(x1)) -> 6(9(x1)) 24.38/6.59 3(9(x1)) -> 9(3(x1)) 24.38/6.59 Matrix Interpretation Processor: dim=3 24.38/6.59 24.38/6.59 interpretation: 24.38/6.59 [1 0 0] 24.38/6.59 [0](x0) = [0 0 0]x0 24.38/6.59 [0 0 0] , 24.38/6.59 24.38/6.59 [1 0 0] [0] 24.38/6.59 [8](x0) = [0 0 0]x0 + [1] 24.38/6.59 [0 1 0] [0], 24.38/6.59 24.38/6.59 [1 0 1] [0] 24.38/6.59 [7](x0) = [0 0 0]x0 + [1] 24.38/6.59 [0 0 0] [1], 24.38/6.59 24.38/6.59 [1 0 0] 24.38/6.59 [2](x0) = [0 0 0]x0 24.38/6.59 [1 0 0] , 24.38/6.59 24.38/6.59 [1 0 0] 24.38/6.59 [6](x0) = [0 0 0]x0 24.38/6.59 [0 0 0] , 24.38/6.59 24.38/6.59 [1 1 1] [0] 24.38/6.59 [5](x0) = [0 0 0]x0 + [1] 24.38/6.59 [0 0 0] [1], 24.38/6.59 24.38/6.59 [1 0 0] [0] 24.38/6.59 [9](x0) = [0 0 0]x0 + [1] 24.38/6.59 [0 0 0] [1], 24.38/6.59 24.38/6.59 [1 0 0] 24.38/6.59 [4](x0) = [0 0 0]x0 24.38/6.59 [0 0 0] , 24.38/6.59 24.38/6.59 [1 0 0] [0] 24.38/6.59 [3](x0) = [0 0 0]x0 + [1] 24.38/6.59 [0 0 0] [1], 24.38/6.59 24.38/6.59 [1 0 0] [0] 24.38/6.59 [1](x0) = [0 0 0]x0 + [0] 24.38/6.59 [0 0 0] [1] 24.38/6.59 orientation: 24.38/6.59 [1 0 0] [0] [1 0 0] 24.38/6.59 3(1(x1)) = [0 0 0]x1 + [1] >= [0 0 0]x1 = 4(1(x1)) 24.38/6.59 [0 0 0] [1] [0 0 0] 24.38/6.59 24.38/6.59 [1 1 1] [0] [1 0 1] [0] 24.38/6.59 3(5(x1)) = [0 0 0]x1 + [1] >= [0 0 0]x1 + [1] = 8(9(7(x1))) 24.38/6.59 [0 0 0] [1] [0 0 0] [1] 24.38/6.59 24.38/6.59 [1 0 0] [0] [1 0 0] [0] 24.38/6.59 9(x1) = [0 0 0]x1 + [1] >= [0 0 0]x1 + [1] = 3(2(3(x1))) 24.38/6.59 [0 0 0] [1] [0 0 0] [1] 24.38/6.59 24.38/6.59 [1 0 0] [0] [1 0 0] 24.38/6.59 8(4(x1)) = [0 0 0]x1 + [1] >= [0 0 0]x1 = 6(x1) 24.38/6.59 [0 0 0] [0] [0 0 0] 24.38/6.59 24.38/6.59 [1 0 0] [1 0 0] 24.38/6.59 2(6(x1)) = [0 0 0]x1 >= [0 0 0]x1 = 4(3(x1)) 24.38/6.59 [1 0 0] [0 0 0] 24.38/6.59 24.38/6.59 [1 0 0] [0] [1 0 0] [0] 24.38/6.59 9(x1) = [0 0 0]x1 + [1] >= [0 0 0]x1 + [1] = 5(0(2(x1))) 24.44/6.60 [0 0 0] [1] [0 0 0] [1] 24.44/6.60 24.44/6.60 [1 0 0] [0] [1 0 0] [0] 24.44/6.60 8(8(4(x1))) = [0 0 0]x1 + [1] >= [0 0 0]x1 + [0] = 1(9(x1)) 24.44/6.60 [0 0 0] [1] [0 0 0] [1] 24.44/6.60 24.44/6.60 [1 0 0] [1] [1 0 0] 24.44/6.60 7(1(x1)) = [0 0 0]x1 + [1] >= [0 0 0]x1 = 6(9(x1)) 24.44/6.60 [0 0 0] [1] [0 0 0] 24.44/6.60 24.44/6.60 [1 0 0] [0] [1 0 0] [0] 24.44/6.60 3(9(x1)) = [0 0 0]x1 + [1] >= [0 0 0]x1 + [1] = 9(3(x1)) 24.44/6.60 [0 0 0] [1] [0 0 0] [1] 24.44/6.60 problem: 24.44/6.60 3(1(x1)) -> 4(1(x1)) 24.44/6.60 3(5(x1)) -> 8(9(7(x1))) 24.44/6.60 9(x1) -> 3(2(3(x1))) 24.44/6.60 8(4(x1)) -> 6(x1) 24.44/6.60 2(6(x1)) -> 4(3(x1)) 24.44/6.60 9(x1) -> 5(0(2(x1))) 24.44/6.60 8(8(4(x1))) -> 1(9(x1)) 24.44/6.60 3(9(x1)) -> 9(3(x1)) 24.44/6.60 String Reversal Processor: 24.44/6.60 1(3(x1)) -> 1(4(x1)) 24.44/6.60 5(3(x1)) -> 7(9(8(x1))) 24.44/6.60 9(x1) -> 3(2(3(x1))) 24.44/6.60 4(8(x1)) -> 6(x1) 24.44/6.60 6(2(x1)) -> 3(4(x1)) 24.44/6.60 9(x1) -> 2(0(5(x1))) 24.44/6.60 4(8(8(x1))) -> 9(1(x1)) 24.44/6.60 9(3(x1)) -> 3(9(x1)) 24.44/6.60 Bounds Processor: 24.44/6.60 bound: 1 24.44/6.60 enrichment: match 24.44/6.60 automaton: 24.44/6.60 final states: {17,15,12,11,10,7,4,1} 24.44/6.60 transitions: 24.44/6.60 f100() -> 2* 24.44/6.60 10(2) -> 16* 24.44/6.60 10(3) -> 1* 24.44/6.60 40(2) -> 3* 24.44/6.60 70(6) -> 4* 24.44/6.60 90(5) -> 6* 24.44/6.60 90(2) -> 18* 24.44/6.60 90(16) -> 15* 24.44/6.60 80(2) -> 5* 24.44/6.60 30(2) -> 8* 24.44/6.60 30(9) -> 7* 24.44/6.60 30(18) -> 17* 24.44/6.60 30(3) -> 11* 24.44/6.60 20(14) -> 12* 24.44/6.60 20(8) -> 9* 24.44/6.60 60(2) -> 10* 24.44/6.60 00(13) -> 14* 24.44/6.60 50(2) -> 13* 24.44/6.60 21(45) -> 46* 24.44/6.60 21(40) -> 41* 24.44/6.60 21(57) -> 58* 24.44/6.60 21(24) -> 25* 24.44/6.60 21(61) -> 62* 24.44/6.60 21(28) -> 29* 24.44/6.60 01(60) -> 61* 24.44/6.60 01(44) -> 45* 24.44/6.60 01(56) -> 57* 24.44/6.60 51(55) -> 56* 24.44/6.60 51(59) -> 60* 24.44/6.60 51(43) -> 44* 24.44/6.60 31(25) -> 26* 24.44/6.60 31(27) -> 28* 24.44/6.60 31(39) -> 40* 24.44/6.60 31(29) -> 30* 24.44/6.60 31(41) -> 42* 24.44/6.60 31(23) -> 24* 24.44/6.60 11(68) -> 69* 24.44/6.60 41(75) -> 76* 24.44/6.60 41(67) -> 68* 24.44/6.60 1 -> 16,27,55 24.44/6.60 2 -> 43,23 24.44/6.60 3 -> 67* 24.44/6.60 4 -> 44,13 24.44/6.60 5 -> 59,39 24.44/6.60 10 -> 3* 24.44/6.60 11 -> 10* 24.44/6.60 15 -> 3* 24.44/6.60 16 -> 55,27 24.44/6.60 17 -> 18* 24.44/6.60 26 -> 18* 24.44/6.60 29 -> 75* 24.44/6.60 30 -> 15* 24.44/6.60 42 -> 6* 24.44/6.60 46 -> 18* 24.44/6.60 58 -> 15* 24.44/6.60 62 -> 6* 24.44/6.60 69 -> 1,16 24.44/6.60 76 -> 68* 24.44/6.60 problem: 24.44/6.60 24.44/6.60 Qed 24.44/6.60 EOF