YES(?,O(n^2)) 1168.66/296.12 YES(?,O(n^2)) 1168.66/296.13 1168.66/296.13 Problem: 1168.66/296.13 0(1(0(x1))) -> 0(2(1(0(x1)))) 1168.66/296.13 0(1(0(x1))) -> 0(0(2(1(0(x1))))) 1168.66/296.13 0(1(0(x1))) -> 0(0(2(1(2(x1))))) 1168.66/296.13 0(1(0(x1))) -> 0(2(1(0(2(x1))))) 1168.66/296.13 0(1(0(x1))) -> 0(3(2(1(0(x1))))) 1168.66/296.13 0(1(0(x1))) -> 1(0(0(0(2(x1))))) 1168.66/296.13 0(1(0(x1))) -> 1(0(0(2(0(x1))))) 1168.66/296.13 0(1(0(x1))) -> 1(0(4(2(0(x1))))) 1168.66/296.13 0(1(0(x1))) -> 1(4(0(4(0(x1))))) 1168.66/296.13 0(1(0(x1))) -> 4(0(0(2(1(x1))))) 1168.66/296.13 0(1(0(x1))) -> 5(0(0(4(1(x1))))) 1168.66/296.13 0(1(0(x1))) -> 5(1(0(4(0(x1))))) 1168.66/296.13 0(1(0(x1))) -> 0(2(1(0(3(2(x1)))))) 1168.66/296.13 0(1(0(x1))) -> 0(4(0(4(1(3(x1)))))) 1168.66/296.13 0(1(0(x1))) -> 0(4(2(2(1(0(x1)))))) 1168.66/296.13 0(1(0(x1))) -> 0(5(2(1(2(0(x1)))))) 1168.66/296.13 0(1(0(x1))) -> 0(5(2(5(1(0(x1)))))) 1168.66/296.13 0(1(0(x1))) -> 1(0(0(5(4(4(x1)))))) 1168.66/296.13 0(1(0(x1))) -> 1(0(4(4(4(0(x1)))))) 1168.66/296.13 0(1(0(x1))) -> 1(5(0(0(4(2(x1)))))) 1168.66/296.13 0(1(0(x1))) -> 3(0(0(4(1(4(x1)))))) 1168.66/296.13 0(1(0(x1))) -> 4(5(1(0(2(0(x1)))))) 1168.66/296.13 0(1(0(x1))) -> 5(5(1(0(0(2(x1)))))) 1168.66/296.13 0(0(1(0(x1)))) -> 1(0(0(2(0(x1))))) 1168.66/296.13 0(0(1(0(x1)))) -> 0(1(5(0(0(2(x1)))))) 1168.66/296.13 0(1(0(3(x1)))) -> 1(0(3(3(0(2(x1)))))) 1168.66/296.13 0(1(0(3(x1)))) -> 1(0(5(3(2(0(x1)))))) 1168.66/296.13 0(1(1(0(x1)))) -> 0(4(4(1(1(0(x1)))))) 1168.66/296.13 0(1(1(3(x1)))) -> 3(4(5(1(1(0(x1)))))) 1168.66/296.13 0(1(2(0(x1)))) -> 1(1(0(2(0(x1))))) 1168.66/296.13 0(1(2(0(x1)))) -> 3(0(2(1(0(x1))))) 1168.66/296.13 0(1(2(0(x1)))) -> 4(1(0(0(2(x1))))) 1168.66/296.13 0(1(2(0(x1)))) -> 0(0(4(2(5(1(x1)))))) 1168.66/296.13 0(1(2(0(x1)))) -> 1(1(2(0(4(0(x1)))))) 1168.66/296.13 0(1(2(0(x1)))) -> 3(0(2(1(0(4(x1)))))) 1168.66/296.13 0(1(3(0(x1)))) -> 1(0(3(0(2(x1))))) 1168.66/296.13 0(1(4(0(x1)))) -> 0(3(4(2(1(0(x1)))))) 1168.66/296.13 0(1(5(0(x1)))) -> 0(5(1(4(0(x1))))) 1168.66/296.13 0(1(5(0(x1)))) -> 1(5(3(0(2(0(x1)))))) 1168.66/296.13 0(3(1(0(x1)))) -> 1(2(3(0(5(0(x1)))))) 1168.66/296.13 5(0(1(0(x1)))) -> 1(4(0(0(5(1(x1)))))) 1168.66/296.13 5(0(1(0(x1)))) -> 2(1(0(0(4(5(x1)))))) 1168.66/296.13 0(1(0(0(0(x1))))) -> 0(0(5(1(0(0(x1)))))) 1168.66/296.13 0(1(2(4(0(x1))))) -> 0(0(5(4(2(1(x1)))))) 1168.66/296.13 0(1(2(5(0(x1))))) -> 1(0(2(0(5(4(x1)))))) 1168.66/296.13 0(1(4(0(0(x1))))) -> 0(0(0(4(1(0(x1)))))) 1168.66/296.13 0(1(4(5(0(x1))))) -> 1(5(0(0(4(2(x1)))))) 1168.66/296.13 0(3(0(1(0(x1))))) -> 0(3(0(0(2(1(x1)))))) 1168.66/296.13 3(0(3(1(0(x1))))) -> 0(1(3(2(3(0(x1)))))) 1168.66/296.13 5(0(1(2(0(x1))))) -> 0(0(5(2(1(0(x1)))))) 1168.66/296.13 1168.66/296.13 Proof: 1168.66/296.13 Complexity Transformation Processor: 1168.66/296.13 strict: 1168.66/296.13 0(1(0(x1))) -> 0(2(1(0(x1)))) 1168.66/296.13 0(1(0(x1))) -> 0(0(2(1(0(x1))))) 1168.66/296.13 0(1(0(x1))) -> 0(0(2(1(2(x1))))) 1168.66/296.13 0(1(0(x1))) -> 0(2(1(0(2(x1))))) 1168.66/296.13 0(1(0(x1))) -> 0(3(2(1(0(x1))))) 1168.66/296.13 0(1(0(x1))) -> 1(0(0(0(2(x1))))) 1168.66/296.13 0(1(0(x1))) -> 1(0(0(2(0(x1))))) 1168.66/296.13 0(1(0(x1))) -> 1(0(4(2(0(x1))))) 1168.66/296.13 0(1(0(x1))) -> 1(4(0(4(0(x1))))) 1168.66/296.13 0(1(0(x1))) -> 4(0(0(2(1(x1))))) 1168.66/296.13 0(1(0(x1))) -> 5(0(0(4(1(x1))))) 1168.66/296.13 0(1(0(x1))) -> 5(1(0(4(0(x1))))) 1168.66/296.13 0(1(0(x1))) -> 0(2(1(0(3(2(x1)))))) 1168.66/296.13 0(1(0(x1))) -> 0(4(0(4(1(3(x1)))))) 1168.66/296.13 0(1(0(x1))) -> 0(4(2(2(1(0(x1)))))) 1168.66/296.13 0(1(0(x1))) -> 0(5(2(1(2(0(x1)))))) 1168.66/296.13 0(1(0(x1))) -> 0(5(2(5(1(0(x1)))))) 1168.66/296.13 0(1(0(x1))) -> 1(0(0(5(4(4(x1)))))) 1168.66/296.13 0(1(0(x1))) -> 1(0(4(4(4(0(x1)))))) 1168.66/296.13 0(1(0(x1))) -> 1(5(0(0(4(2(x1)))))) 1168.66/296.13 0(1(0(x1))) -> 3(0(0(4(1(4(x1)))))) 1168.66/296.13 0(1(0(x1))) -> 4(5(1(0(2(0(x1)))))) 1168.66/296.13 0(1(0(x1))) -> 5(5(1(0(0(2(x1)))))) 1168.66/296.13 0(0(1(0(x1)))) -> 1(0(0(2(0(x1))))) 1168.66/296.13 0(0(1(0(x1)))) -> 0(1(5(0(0(2(x1)))))) 1168.66/296.13 0(1(0(3(x1)))) -> 1(0(3(3(0(2(x1)))))) 1168.66/296.13 0(1(0(3(x1)))) -> 1(0(5(3(2(0(x1)))))) 1168.66/296.13 0(1(1(0(x1)))) -> 0(4(4(1(1(0(x1)))))) 1168.66/296.13 0(1(1(3(x1)))) -> 3(4(5(1(1(0(x1)))))) 1168.66/296.13 0(1(2(0(x1)))) -> 1(1(0(2(0(x1))))) 1168.66/296.13 0(1(2(0(x1)))) -> 3(0(2(1(0(x1))))) 1168.66/296.13 0(1(2(0(x1)))) -> 4(1(0(0(2(x1))))) 1168.66/296.13 0(1(2(0(x1)))) -> 0(0(4(2(5(1(x1)))))) 1168.66/296.13 0(1(2(0(x1)))) -> 1(1(2(0(4(0(x1)))))) 1168.66/296.13 0(1(2(0(x1)))) -> 3(0(2(1(0(4(x1)))))) 1168.66/296.13 0(1(3(0(x1)))) -> 1(0(3(0(2(x1))))) 1168.66/296.13 0(1(4(0(x1)))) -> 0(3(4(2(1(0(x1)))))) 1168.66/296.13 0(1(5(0(x1)))) -> 0(5(1(4(0(x1))))) 1168.66/296.13 0(1(5(0(x1)))) -> 1(5(3(0(2(0(x1)))))) 1168.66/296.13 0(3(1(0(x1)))) -> 1(2(3(0(5(0(x1)))))) 1168.66/296.13 5(0(1(0(x1)))) -> 1(4(0(0(5(1(x1)))))) 1168.66/296.13 5(0(1(0(x1)))) -> 2(1(0(0(4(5(x1)))))) 1168.66/296.13 0(1(0(0(0(x1))))) -> 0(0(5(1(0(0(x1)))))) 1168.66/296.13 0(1(2(4(0(x1))))) -> 0(0(5(4(2(1(x1)))))) 1168.66/296.13 0(1(2(5(0(x1))))) -> 1(0(2(0(5(4(x1)))))) 1168.66/296.13 0(1(4(0(0(x1))))) -> 0(0(0(4(1(0(x1)))))) 1168.66/296.13 0(1(4(5(0(x1))))) -> 1(5(0(0(4(2(x1)))))) 1168.66/296.13 0(3(0(1(0(x1))))) -> 0(3(0(0(2(1(x1)))))) 1168.66/296.13 3(0(3(1(0(x1))))) -> 0(1(3(2(3(0(x1)))))) 1168.66/296.13 5(0(1(2(0(x1))))) -> 0(0(5(2(1(0(x1)))))) 1168.66/296.13 weak: 1168.66/296.13 1168.66/296.13 Matrix Interpretation Processor: dim=3 1168.66/296.13 1168.66/296.13 max_matrix: 1168.66/296.13 [1 1 0] 1168.66/296.13 [0 0 1] 1168.66/296.13 [0 0 1] 1168.66/296.13 interpretation: 1168.66/296.13 [1 0 0] 1168.66/296.14 [5](x0) = [0 0 0]x0 1168.66/296.14 [0 0 1] , 1168.66/296.14 1168.66/296.14 [1 0 0] 1168.66/296.14 [4](x0) = [0 0 0]x0 1168.66/296.14 [0 0 0] , 1168.66/296.14 1168.66/296.14 [1 1 0] 1168.66/296.14 [3](x0) = [0 0 1]x0 1168.66/296.14 [0 0 1] , 1168.66/296.14 1168.66/296.14 [1 0 0] 1168.66/296.14 [2](x0) = [0 0 0]x0 1168.66/296.14 [0 0 0] , 1168.66/296.14 1168.66/296.14 [1 0 0] [0] 1168.66/296.14 [1](x0) = [0 0 0]x0 + [0] 1168.66/296.14 [0 0 0] [1], 1168.66/296.14 1168.66/296.14 [1 1 0] 1168.66/296.14 [0](x0) = [0 0 0]x0 1168.66/296.14 [0 0 1] 1168.66/296.14 orientation: 1168.66/296.14 [1 1 0] [0] [1 1 0] 1168.66/296.14 0(1(0(x1))) = [0 0 0]x1 + [0] >= [0 0 0]x1 = 0(2(1(0(x1)))) 1168.66/296.14 [0 0 0] [1] [0 0 0] 1168.66/296.14 1168.66/296.14 [1 1 0] [0] [1 1 0] 1168.66/296.14 0(1(0(x1))) = [0 0 0]x1 + [0] >= [0 0 0]x1 = 0(0(2(1(0(x1))))) 1168.66/296.14 [0 0 0] [1] [0 0 0] 1168.66/296.14 1168.66/296.14 [1 1 0] [0] [1 0 0] 1168.66/296.14 0(1(0(x1))) = [0 0 0]x1 + [0] >= [0 0 0]x1 = 0(0(2(1(2(x1))))) 1168.66/296.14 [0 0 0] [1] [0 0 0] 1168.66/296.14 1168.66/296.14 [1 1 0] [0] [1 0 0] 1168.66/296.14 0(1(0(x1))) = [0 0 0]x1 + [0] >= [0 0 0]x1 = 0(2(1(0(2(x1))))) 1168.66/296.14 [0 0 0] [1] [0 0 0] 1168.66/296.14 1168.66/296.14 [1 1 0] [0] [1 1 0] 1168.66/296.14 0(1(0(x1))) = [0 0 0]x1 + [0] >= [0 0 0]x1 = 0(3(2(1(0(x1))))) 1168.66/296.14 [0 0 0] [1] [0 0 0] 1168.66/296.14 1168.66/296.14 [1 1 0] [0] [1 0 0] [0] 1168.66/296.14 0(1(0(x1))) = [0 0 0]x1 + [0] >= [0 0 0]x1 + [0] = 1(0(0(0(2(x1))))) 1168.66/296.14 [0 0 0] [1] [0 0 0] [1] 1168.66/296.14 1168.66/296.14 [1 1 0] [0] [1 1 0] [0] 1168.66/296.14 0(1(0(x1))) = [0 0 0]x1 + [0] >= [0 0 0]x1 + [0] = 1(0(0(2(0(x1))))) 1168.66/296.14 [0 0 0] [1] [0 0 0] [1] 1168.66/296.14 1168.66/296.14 [1 1 0] [0] [1 1 0] [0] 1168.66/296.14 0(1(0(x1))) = [0 0 0]x1 + [0] >= [0 0 0]x1 + [0] = 1(0(4(2(0(x1))))) 1168.66/296.14 [0 0 0] [1] [0 0 0] [1] 1168.66/296.14 1168.66/296.14 [1 1 0] [0] [1 1 0] [0] 1168.66/296.14 0(1(0(x1))) = [0 0 0]x1 + [0] >= [0 0 0]x1 + [0] = 1(4(0(4(0(x1))))) 1168.66/296.14 [0 0 0] [1] [0 0 0] [1] 1168.66/296.14 1168.66/296.14 [1 1 0] [0] [1 0 0] 1168.66/296.14 0(1(0(x1))) = [0 0 0]x1 + [0] >= [0 0 0]x1 = 4(0(0(2(1(x1))))) 1168.66/296.14 [0 0 0] [1] [0 0 0] 1168.66/296.14 1168.66/296.14 [1 1 0] [0] [1 0 0] 1168.66/296.14 0(1(0(x1))) = [0 0 0]x1 + [0] >= [0 0 0]x1 = 5(0(0(4(1(x1))))) 1168.66/296.14 [0 0 0] [1] [0 0 0] 1168.66/296.14 1168.66/296.14 [1 1 0] [0] [1 1 0] [0] 1168.66/296.14 0(1(0(x1))) = [0 0 0]x1 + [0] >= [0 0 0]x1 + [0] = 5(1(0(4(0(x1))))) 1168.66/296.14 [0 0 0] [1] [0 0 0] [1] 1168.66/296.14 1168.66/296.14 [1 1 0] [0] [1 0 0] 1168.66/296.14 0(1(0(x1))) = [0 0 0]x1 + [0] >= [0 0 0]x1 = 0(2(1(0(3(2(x1)))))) 1168.66/296.14 [0 0 0] [1] [0 0 0] 1168.66/296.14 1168.66/296.14 [1 1 0] [0] [1 1 0] 1168.66/296.14 0(1(0(x1))) = [0 0 0]x1 + [0] >= [0 0 0]x1 = 0(4(0(4(1(3(x1)))))) 1168.66/296.14 [0 0 0] [1] [0 0 0] 1168.66/296.14 1168.66/296.14 [1 1 0] [0] [1 1 0] 1168.66/296.14 0(1(0(x1))) = [0 0 0]x1 + [0] >= [0 0 0]x1 = 0(4(2(2(1(0(x1)))))) 1168.66/296.14 [0 0 0] [1] [0 0 0] 1168.66/296.14 1168.66/296.14 [1 1 0] [0] [1 1 0] 1168.66/296.14 0(1(0(x1))) = [0 0 0]x1 + [0] >= [0 0 0]x1 = 0(5(2(1(2(0(x1)))))) 1168.66/296.14 [0 0 0] [1] [0 0 0] 1168.66/296.14 1168.66/296.14 [1 1 0] [0] [1 1 0] 1168.66/296.14 0(1(0(x1))) = [0 0 0]x1 + [0] >= [0 0 0]x1 = 0(5(2(5(1(0(x1)))))) 1168.66/296.14 [0 0 0] [1] [0 0 0] 1168.66/296.15 1168.66/296.15 [1 1 0] [0] [1 0 0] [0] 1168.66/296.15 0(1(0(x1))) = [0 0 0]x1 + [0] >= [0 0 0]x1 + [0] = 1(0(0(5(4(4(x1)))))) 1168.66/296.15 [0 0 0] [1] [0 0 0] [1] 1168.66/296.15 1168.66/296.15 [1 1 0] [0] [1 1 0] [0] 1168.66/296.15 0(1(0(x1))) = [0 0 0]x1 + [0] >= [0 0 0]x1 + [0] = 1(0(4(4(4(0(x1)))))) 1168.66/296.15 [0 0 0] [1] [0 0 0] [1] 1168.66/296.15 1168.66/296.15 [1 1 0] [0] [1 0 0] [0] 1168.66/296.15 0(1(0(x1))) = [0 0 0]x1 + [0] >= [0 0 0]x1 + [0] = 1(5(0(0(4(2(x1)))))) 1168.66/296.15 [0 0 0] [1] [0 0 0] [1] 1168.66/296.15 1168.66/296.15 [1 1 0] [0] [1 0 0] 1168.66/296.15 0(1(0(x1))) = [0 0 0]x1 + [0] >= [0 0 0]x1 = 3(0(0(4(1(4(x1)))))) 1168.66/296.15 [0 0 0] [1] [0 0 0] 1168.66/296.15 1168.66/296.15 [1 1 0] [0] [1 1 0] 1168.66/296.15 0(1(0(x1))) = [0 0 0]x1 + [0] >= [0 0 0]x1 = 4(5(1(0(2(0(x1)))))) 1168.66/296.15 [0 0 0] [1] [0 0 0] 1168.66/296.15 1168.66/296.15 [1 1 0] [0] [1 0 0] [0] 1168.66/296.15 0(1(0(x1))) = [0 0 0]x1 + [0] >= [0 0 0]x1 + [0] = 5(5(1(0(0(2(x1)))))) 1168.66/296.15 [0 0 0] [1] [0 0 0] [1] 1168.66/296.15 1168.66/296.15 [1 1 0] [0] [1 1 0] [0] 1168.66/296.15 0(0(1(0(x1)))) = [0 0 0]x1 + [0] >= [0 0 0]x1 + [0] = 1(0(0(2(0(x1))))) 1168.66/296.15 [0 0 0] [1] [0 0 0] [1] 1168.66/296.15 1168.66/296.15 [1 1 0] [0] [1 0 0] [0] 1168.66/296.15 0(0(1(0(x1)))) = [0 0 0]x1 + [0] >= [0 0 0]x1 + [0] = 0(1(5(0(0(2(x1)))))) 1168.66/296.15 [0 0 0] [1] [0 0 0] [1] 1168.66/296.15 1168.66/296.15 [1 1 1] [0] [1 0 0] [0] 1168.66/296.15 0(1(0(3(x1)))) = [0 0 0]x1 + [0] >= [0 0 0]x1 + [0] = 1(0(3(3(0(2(x1)))))) 1168.66/296.15 [0 0 0] [1] [0 0 0] [1] 1168.66/296.15 1168.66/296.15 [1 1 1] [0] [1 1 0] [0] 1168.66/296.15 0(1(0(3(x1)))) = [0 0 0]x1 + [0] >= [0 0 0]x1 + [0] = 1(0(5(3(2(0(x1)))))) 1168.66/296.15 [0 0 0] [1] [0 0 0] [1] 1168.66/296.15 1168.66/296.15 [1 1 0] [0] [1 1 0] 1168.66/296.15 0(1(1(0(x1)))) = [0 0 0]x1 + [0] >= [0 0 0]x1 = 0(4(4(1(1(0(x1)))))) 1168.66/296.15 [0 0 0] [1] [0 0 0] 1168.66/296.15 1168.66/296.15 [1 1 0] [0] [1 1 0] 1168.66/296.15 0(1(1(3(x1)))) = [0 0 0]x1 + [0] >= [0 0 0]x1 = 3(4(5(1(1(0(x1)))))) 1168.66/296.15 [0 0 0] [1] [0 0 0] 1168.66/296.15 1168.66/296.15 [1 1 0] [0] [1 1 0] [0] 1168.66/296.15 0(1(2(0(x1)))) = [0 0 0]x1 + [0] >= [0 0 0]x1 + [0] = 1(1(0(2(0(x1))))) 1168.66/296.15 [0 0 0] [1] [0 0 0] [1] 1168.66/296.15 1168.66/296.15 [1 1 0] [0] [1 1 0] 1168.66/296.15 0(1(2(0(x1)))) = [0 0 0]x1 + [0] >= [0 0 0]x1 = 3(0(2(1(0(x1))))) 1168.66/296.15 [0 0 0] [1] [0 0 0] 1168.66/296.15 1168.66/296.15 [1 1 0] [0] [1 0 0] 1168.66/296.15 0(1(2(0(x1)))) = [0 0 0]x1 + [0] >= [0 0 0]x1 = 4(1(0(0(2(x1))))) 1168.66/296.15 [0 0 0] [1] [0 0 0] 1168.66/296.15 1168.66/296.15 [1 1 0] [0] [1 0 0] 1168.66/296.15 0(1(2(0(x1)))) = [0 0 0]x1 + [0] >= [0 0 0]x1 = 0(0(4(2(5(1(x1)))))) 1168.66/296.15 [0 0 0] [1] [0 0 0] 1168.66/296.15 1168.66/296.15 [1 1 0] [0] [1 1 0] [0] 1168.66/296.15 0(1(2(0(x1)))) = [0 0 0]x1 + [0] >= [0 0 0]x1 + [0] = 1(1(2(0(4(0(x1)))))) 1168.66/296.15 [0 0 0] [1] [0 0 0] [1] 1168.66/296.15 1168.66/296.15 [1 1 0] [0] [1 0 0] 1168.66/296.15 0(1(2(0(x1)))) = [0 0 0]x1 + [0] >= [0 0 0]x1 = 3(0(2(1(0(4(x1)))))) 1168.66/296.15 [0 0 0] [1] [0 0 0] 1168.66/296.16 1168.66/296.16 [1 1 0] [0] [1 0 0] [0] 1168.66/296.16 0(1(3(0(x1)))) = [0 0 0]x1 + [0] >= [0 0 0]x1 + [0] = 1(0(3(0(2(x1))))) 1168.66/296.16 [0 0 0] [1] [0 0 0] [1] 1168.66/296.16 1168.66/296.16 [1 1 0] [0] [1 1 0] 1168.66/296.16 0(1(4(0(x1)))) = [0 0 0]x1 + [0] >= [0 0 0]x1 = 0(3(4(2(1(0(x1)))))) 1168.66/296.16 [0 0 0] [1] [0 0 0] 1168.66/296.16 1168.66/296.16 [1 1 0] [0] [1 1 0] [0] 1168.66/296.16 0(1(5(0(x1)))) = [0 0 0]x1 + [0] >= [0 0 0]x1 + [0] = 0(5(1(4(0(x1))))) 1168.66/296.16 [0 0 0] [1] [0 0 0] [1] 1168.66/296.16 1168.66/296.16 [1 1 0] [0] [1 1 0] [0] 1168.66/296.16 0(1(5(0(x1)))) = [0 0 0]x1 + [0] >= [0 0 0]x1 + [0] = 1(5(3(0(2(0(x1)))))) 1168.66/296.16 [0 0 0] [1] [0 0 0] [1] 1168.66/296.16 1168.66/296.16 [1 1 0] [1] [1 1 0] [0] 1168.66/296.16 0(3(1(0(x1)))) = [0 0 0]x1 + [0] >= [0 0 0]x1 + [0] = 1(2(3(0(5(0(x1)))))) 1168.66/296.16 [0 0 0] [1] [0 0 0] [1] 1168.66/296.16 1168.66/296.16 [1 1 0] [0] [1 0 0] [0] 1168.66/296.16 5(0(1(0(x1)))) = [0 0 0]x1 + [0] >= [0 0 0]x1 + [0] = 1(4(0(0(5(1(x1)))))) 1168.66/296.16 [0 0 0] [1] [0 0 0] [1] 1168.66/296.16 1168.66/296.16 [1 1 0] [0] [1 0 0] 1168.66/296.16 5(0(1(0(x1)))) = [0 0 0]x1 + [0] >= [0 0 0]x1 = 2(1(0(0(4(5(x1)))))) 1168.66/296.16 [0 0 0] [1] [0 0 0] 1168.66/296.16 1168.66/296.16 [1 1 0] [0] [1 1 0] [0] 1168.66/296.16 0(1(0(0(0(x1))))) = [0 0 0]x1 + [0] >= [0 0 0]x1 + [0] = 0(0(5(1(0(0(x1)))))) 1168.66/296.16 [0 0 0] [1] [0 0 0] [1] 1168.66/296.16 1168.66/296.16 [1 1 0] [0] [1 0 0] 1168.66/296.16 0(1(2(4(0(x1))))) = [0 0 0]x1 + [0] >= [0 0 0]x1 = 0(0(5(4(2(1(x1)))))) 1168.66/296.16 [0 0 0] [1] [0 0 0] 1168.66/296.16 1168.66/296.16 [1 1 0] [0] [1 0 0] [0] 1168.66/296.16 0(1(2(5(0(x1))))) = [0 0 0]x1 + [0] >= [0 0 0]x1 + [0] = 1(0(2(0(5(4(x1)))))) 1168.66/296.16 [0 0 0] [1] [0 0 0] [1] 1168.66/296.16 1168.66/296.16 [1 1 0] [0] [1 1 0] 1168.66/296.16 0(1(4(0(0(x1))))) = [0 0 0]x1 + [0] >= [0 0 0]x1 = 0(0(0(4(1(0(x1)))))) 1168.66/296.16 [0 0 0] [1] [0 0 0] 1168.66/296.16 1168.66/296.16 [1 1 0] [0] [1 0 0] [0] 1168.66/296.16 0(1(4(5(0(x1))))) = [0 0 0]x1 + [0] >= [0 0 0]x1 + [0] = 1(5(0(0(4(2(x1)))))) 1168.66/296.16 [0 0 0] [1] [0 0 0] [1] 1168.66/296.16 1168.66/296.16 [1 1 0] [1] [1 0 0] 1168.66/296.16 0(3(0(1(0(x1))))) = [0 0 0]x1 + [0] >= [0 0 0]x1 = 0(3(0(0(2(1(x1)))))) 1168.66/296.16 [0 0 0] [1] [0 0 0] 1168.66/296.16 1168.66/296.16 [1 1 0] [1] [1 1 0] [0] 1168.66/296.16 3(0(3(1(0(x1))))) = [0 0 0]x1 + [1] >= [0 0 0]x1 + [0] = 0(1(3(2(3(0(x1)))))) 1168.66/296.16 [0 0 0] [1] [0 0 0] [1] 1168.66/296.16 1168.66/296.16 [1 1 0] [0] [1 1 0] 1168.66/296.16 5(0(1(2(0(x1))))) = [0 0 0]x1 + [0] >= [0 0 0]x1 = 0(0(5(2(1(0(x1)))))) 1168.66/296.16 [0 0 0] [1] [0 0 0] 1168.66/296.16 problem: 1168.66/296.16 strict: 1168.66/296.16 0(1(0(x1))) -> 0(2(1(0(x1)))) 1168.66/296.16 0(1(0(x1))) -> 0(0(2(1(0(x1))))) 1168.66/296.16 0(1(0(x1))) -> 0(0(2(1(2(x1))))) 1168.66/296.16 0(1(0(x1))) -> 0(2(1(0(2(x1))))) 1168.66/296.16 0(1(0(x1))) -> 0(3(2(1(0(x1))))) 1168.66/296.16 0(1(0(x1))) -> 1(0(0(0(2(x1))))) 1168.66/296.16 0(1(0(x1))) -> 1(0(0(2(0(x1))))) 1168.66/296.16 0(1(0(x1))) -> 1(0(4(2(0(x1))))) 1168.66/296.16 0(1(0(x1))) -> 1(4(0(4(0(x1))))) 1168.66/296.16 0(1(0(x1))) -> 4(0(0(2(1(x1))))) 1168.66/296.16 0(1(0(x1))) -> 5(0(0(4(1(x1))))) 1168.66/296.16 0(1(0(x1))) -> 5(1(0(4(0(x1))))) 1168.66/296.16 0(1(0(x1))) -> 0(2(1(0(3(2(x1)))))) 1168.66/296.17 0(1(0(x1))) -> 0(4(0(4(1(3(x1)))))) 1168.66/296.17 0(1(0(x1))) -> 0(4(2(2(1(0(x1)))))) 1168.66/296.17 0(1(0(x1))) -> 0(5(2(1(2(0(x1)))))) 1168.66/296.17 0(1(0(x1))) -> 0(5(2(5(1(0(x1)))))) 1168.66/296.17 0(1(0(x1))) -> 1(0(0(5(4(4(x1)))))) 1168.66/296.17 0(1(0(x1))) -> 1(0(4(4(4(0(x1)))))) 1168.66/296.17 0(1(0(x1))) -> 1(5(0(0(4(2(x1)))))) 1168.66/296.17 0(1(0(x1))) -> 3(0(0(4(1(4(x1)))))) 1168.66/296.17 0(1(0(x1))) -> 4(5(1(0(2(0(x1)))))) 1168.66/296.17 0(1(0(x1))) -> 5(5(1(0(0(2(x1)))))) 1168.66/296.17 0(0(1(0(x1)))) -> 1(0(0(2(0(x1))))) 1168.66/296.17 0(0(1(0(x1)))) -> 0(1(5(0(0(2(x1)))))) 1168.66/296.17 0(1(0(3(x1)))) -> 1(0(3(3(0(2(x1)))))) 1168.66/296.17 0(1(0(3(x1)))) -> 1(0(5(3(2(0(x1)))))) 1168.66/296.17 0(1(1(0(x1)))) -> 0(4(4(1(1(0(x1)))))) 1168.66/296.17 0(1(1(3(x1)))) -> 3(4(5(1(1(0(x1)))))) 1168.66/296.17 0(1(2(0(x1)))) -> 1(1(0(2(0(x1))))) 1168.66/296.17 0(1(2(0(x1)))) -> 3(0(2(1(0(x1))))) 1168.66/296.17 0(1(2(0(x1)))) -> 4(1(0(0(2(x1))))) 1168.66/296.17 0(1(2(0(x1)))) -> 0(0(4(2(5(1(x1)))))) 1168.66/296.17 0(1(2(0(x1)))) -> 1(1(2(0(4(0(x1)))))) 1168.66/296.17 0(1(2(0(x1)))) -> 3(0(2(1(0(4(x1)))))) 1168.66/296.17 0(1(3(0(x1)))) -> 1(0(3(0(2(x1))))) 1168.66/296.17 0(1(4(0(x1)))) -> 0(3(4(2(1(0(x1)))))) 1168.66/296.17 0(1(5(0(x1)))) -> 0(5(1(4(0(x1))))) 1168.66/296.17 0(1(5(0(x1)))) -> 1(5(3(0(2(0(x1)))))) 1168.66/296.17 5(0(1(0(x1)))) -> 1(4(0(0(5(1(x1)))))) 1168.66/296.17 5(0(1(0(x1)))) -> 2(1(0(0(4(5(x1)))))) 1168.66/296.17 0(1(0(0(0(x1))))) -> 0(0(5(1(0(0(x1)))))) 1168.66/296.17 0(1(2(4(0(x1))))) -> 0(0(5(4(2(1(x1)))))) 1168.66/296.17 0(1(2(5(0(x1))))) -> 1(0(2(0(5(4(x1)))))) 1168.66/296.17 0(1(4(0(0(x1))))) -> 0(0(0(4(1(0(x1)))))) 1168.66/296.17 0(1(4(5(0(x1))))) -> 1(5(0(0(4(2(x1)))))) 1168.66/296.17 5(0(1(2(0(x1))))) -> 0(0(5(2(1(0(x1)))))) 1168.66/296.17 weak: 1168.66/296.17 0(3(1(0(x1)))) -> 1(2(3(0(5(0(x1)))))) 1168.66/296.17 0(3(0(1(0(x1))))) -> 0(3(0(0(2(1(x1)))))) 1168.66/296.17 3(0(3(1(0(x1))))) -> 0(1(3(2(3(0(x1)))))) 1168.66/296.17 Matrix Interpretation Processor: dim=4 1168.66/296.17 1168.66/296.17 max_matrix: 1168.66/296.17 [1 1 0 1] 1168.66/296.17 [0 0 1 0] 1168.66/296.17 [0 0 0 1] 1168.66/296.17 [0 0 0 1] 1168.66/296.17 interpretation: 1168.66/296.17 [1 0 0 0] 1168.66/296.17 [0 0 0 0] 1168.66/296.17 [5](x0) = [0 0 0 0]x0 1168.66/296.17 [0 0 0 1] , 1168.66/296.17 1168.66/296.17 [1 0 0 0] 1168.66/296.17 [0 0 0 0] 1168.66/296.17 [4](x0) = [0 0 0 0]x0 1168.66/296.17 [0 0 0 0] , 1168.66/296.17 1168.66/296.17 [1 1 0 1] [0] 1168.66/296.17 [0 0 0 0] [0] 1168.66/296.17 [3](x0) = [0 0 0 0]x0 + [1] 1168.66/296.17 [0 0 0 1] [0], 1168.66/296.17 1168.66/296.17 [1 0 0 0] 1168.66/296.17 [0 0 0 0] 1168.66/296.17 [2](x0) = [0 0 0 0]x0 1168.66/296.17 [0 0 0 0] , 1168.66/296.17 1168.66/296.17 [1 0 0 0] [0] 1168.66/296.17 [0 0 1 0] [0] 1168.66/296.17 [1](x0) = [0 0 0 0]x0 + [0] 1168.66/296.17 [0 0 0 0] [1], 1168.66/296.17 1168.66/296.17 [1 1 0 0] 1168.66/296.17 [0 0 0 0] 1168.66/296.17 [0](x0) = [0 0 0 1]x0 1168.66/296.17 [0 0 0 1] 1168.66/296.17 orientation: 1168.66/296.17 [1 1 0 1] [0] [1 1 0 0] 1168.66/296.17 [0 0 0 0] [0] [0 0 0 0] 1168.66/296.17 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 0(2(1(0(x1)))) 1168.66/296.17 [0 0 0 0] [1] [0 0 0 0] 1168.66/296.17 1168.66/296.17 [1 1 0 1] [0] [1 1 0 0] 1168.66/296.17 [0 0 0 0] [0] [0 0 0 0] 1168.66/296.17 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 0(0(2(1(0(x1))))) 1168.66/296.17 [0 0 0 0] [1] [0 0 0 0] 1168.66/296.17 1168.66/296.17 [1 1 0 1] [0] [1 0 0 0] 1168.66/296.17 [0 0 0 0] [0] [0 0 0 0] 1168.66/296.17 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 0(0(2(1(2(x1))))) 1168.66/296.17 [0 0 0 0] [1] [0 0 0 0] 1168.66/296.17 1168.66/296.17 [1 1 0 1] [0] [1 0 0 0] 1168.66/296.17 [0 0 0 0] [0] [0 0 0 0] 1168.66/296.17 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 0(2(1(0(2(x1))))) 1168.66/296.17 [0 0 0 0] [1] [0 0 0 0] 1168.66/296.17 1168.66/296.17 [1 1 0 1] [0] [1 1 0 0] 1168.66/296.17 [0 0 0 0] [0] [0 0 0 0] 1168.66/296.17 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 0(3(2(1(0(x1))))) 1168.66/296.17 [0 0 0 0] [1] [0 0 0 0] 1168.66/296.17 1168.66/296.17 [1 1 0 1] [0] [1 0 0 0] [0] 1168.66/296.17 [0 0 0 0] [0] [0 0 0 0] [0] 1168.66/296.18 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 1(0(0(0(2(x1))))) 1168.66/296.18 [0 0 0 0] [1] [0 0 0 0] [1] 1168.66/296.18 1168.66/296.18 [1 1 0 1] [0] [1 1 0 0] [0] 1168.66/296.18 [0 0 0 0] [0] [0 0 0 0] [0] 1168.66/296.18 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 1(0(0(2(0(x1))))) 1168.66/296.18 [0 0 0 0] [1] [0 0 0 0] [1] 1168.66/296.18 1168.66/296.18 [1 1 0 1] [0] [1 1 0 0] [0] 1168.66/296.18 [0 0 0 0] [0] [0 0 0 0] [0] 1168.66/296.18 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 1(0(4(2(0(x1))))) 1168.66/296.18 [0 0 0 0] [1] [0 0 0 0] [1] 1168.66/296.18 1168.66/296.18 [1 1 0 1] [0] [1 1 0 0] [0] 1168.66/296.18 [0 0 0 0] [0] [0 0 0 0] [0] 1168.66/296.18 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 1(4(0(4(0(x1))))) 1168.66/296.18 [0 0 0 0] [1] [0 0 0 0] [1] 1168.66/296.18 1168.66/296.18 [1 1 0 1] [0] [1 0 0 0] 1168.66/296.18 [0 0 0 0] [0] [0 0 0 0] 1168.66/296.18 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 4(0(0(2(1(x1))))) 1168.66/296.18 [0 0 0 0] [1] [0 0 0 0] 1168.66/296.18 1168.66/296.18 [1 1 0 1] [0] [1 0 0 0] 1168.66/296.18 [0 0 0 0] [0] [0 0 0 0] 1168.66/296.18 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 5(0(0(4(1(x1))))) 1168.66/296.18 [0 0 0 0] [1] [0 0 0 0] 1168.66/296.18 1168.66/296.18 [1 1 0 1] [0] [1 1 0 0] [0] 1168.66/296.18 [0 0 0 0] [0] [0 0 0 0] [0] 1168.66/296.18 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 5(1(0(4(0(x1))))) 1168.66/296.18 [0 0 0 0] [1] [0 0 0 0] [1] 1168.66/296.18 1168.66/296.18 [1 1 0 1] [0] [1 0 0 0] 1168.66/296.18 [0 0 0 0] [0] [0 0 0 0] 1168.66/296.18 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 0(2(1(0(3(2(x1)))))) 1168.66/296.18 [0 0 0 0] [1] [0 0 0 0] 1168.66/296.18 1168.66/296.18 [1 1 0 1] [0] [1 1 0 1] 1168.66/296.18 [0 0 0 0] [0] [0 0 0 0] 1168.66/296.18 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 0(4(0(4(1(3(x1)))))) 1168.66/296.18 [0 0 0 0] [1] [0 0 0 0] 1168.66/296.18 1168.66/296.18 [1 1 0 1] [0] [1 1 0 0] 1168.66/296.18 [0 0 0 0] [0] [0 0 0 0] 1168.66/296.18 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 0(4(2(2(1(0(x1)))))) 1168.66/296.18 [0 0 0 0] [1] [0 0 0 0] 1168.66/296.18 1168.66/296.18 [1 1 0 1] [0] [1 1 0 0] 1168.66/296.18 [0 0 0 0] [0] [0 0 0 0] 1168.66/296.18 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 0(5(2(1(2(0(x1)))))) 1168.66/296.18 [0 0 0 0] [1] [0 0 0 0] 1168.66/296.18 1168.66/296.18 [1 1 0 1] [0] [1 1 0 0] 1168.66/296.18 [0 0 0 0] [0] [0 0 0 0] 1168.66/296.18 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 0(5(2(5(1(0(x1)))))) 1168.66/296.18 [0 0 0 0] [1] [0 0 0 0] 1168.66/296.18 1168.66/296.18 [1 1 0 1] [0] [1 0 0 0] [0] 1168.66/296.18 [0 0 0 0] [0] [0 0 0 0] [0] 1168.66/296.18 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 1(0(0(5(4(4(x1)))))) 1168.66/296.18 [0 0 0 0] [1] [0 0 0 0] [1] 1168.66/296.18 1168.66/296.18 [1 1 0 1] [0] [1 1 0 0] [0] 1168.66/296.18 [0 0 0 0] [0] [0 0 0 0] [0] 1168.76/296.20 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 1(0(4(4(4(0(x1)))))) 1168.76/296.20 [0 0 0 0] [1] [0 0 0 0] [1] 1168.76/296.20 1168.76/296.20 [1 1 0 1] [0] [1 0 0 0] [0] 1168.76/296.20 [0 0 0 0] [0] [0 0 0 0] [0] 1168.76/296.20 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 1(5(0(0(4(2(x1)))))) 1168.76/296.20 [0 0 0 0] [1] [0 0 0 0] [1] 1168.76/296.20 1168.76/296.20 [1 1 0 1] [0] [1 0 0 0] [0] 1168.76/296.20 [0 0 0 0] [0] [0 0 0 0] [0] 1168.76/296.20 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 3(0(0(4(1(4(x1)))))) 1168.76/296.20 [0 0 0 0] [1] [0 0 0 0] [0] 1168.76/296.20 1168.76/296.20 [1 1 0 1] [0] [1 1 0 0] 1168.76/296.20 [0 0 0 0] [0] [0 0 0 0] 1168.76/296.20 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 4(5(1(0(2(0(x1)))))) 1168.76/296.20 [0 0 0 0] [1] [0 0 0 0] 1168.76/296.20 1168.76/296.20 [1 1 0 1] [0] [1 0 0 0] [0] 1168.76/296.20 [0 0 0 0] [0] [0 0 0 0] [0] 1168.76/296.20 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 5(5(1(0(0(2(x1)))))) 1168.76/296.20 [0 0 0 0] [1] [0 0 0 0] [1] 1168.76/296.20 1168.76/296.20 [1 1 0 1] [0] [1 1 0 0] [0] 1168.76/296.20 [0 0 0 0] [0] [0 0 0 0] [0] 1168.76/296.20 0(0(1(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 1(0(0(2(0(x1))))) 1168.76/296.20 [0 0 0 0] [1] [0 0 0 0] [1] 1168.76/296.20 1168.76/296.20 [1 1 0 1] [0] [1 0 0 0] [0] 1168.76/296.20 [0 0 0 0] [0] [0 0 0 0] [0] 1168.76/296.20 0(0(1(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 0(1(5(0(0(2(x1)))))) 1168.76/296.20 [0 0 0 0] [1] [0 0 0 0] [1] 1168.76/296.20 1168.76/296.20 [1 1 0 2] [0] [1 0 0 0] [0] 1168.76/296.20 [0 0 0 0] [0] [0 0 0 0] [0] 1168.76/296.20 0(1(0(3(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 1(0(3(3(0(2(x1)))))) 1168.76/296.20 [0 0 0 0] [1] [0 0 0 0] [1] 1168.76/296.20 1168.76/296.20 [1 1 0 2] [0] [1 1 0 0] [0] 1168.76/296.20 [0 0 0 0] [0] [0 0 0 0] [0] 1168.76/296.20 0(1(0(3(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 1(0(5(3(2(0(x1)))))) 1168.76/296.20 [0 0 0 0] [1] [0 0 0 0] [1] 1168.76/296.20 1168.76/296.20 [1 1 0 0] [0] [1 1 0 0] 1168.76/296.20 [0 0 0 0] [0] [0 0 0 0] 1168.76/296.20 0(1(1(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 0(4(4(1(1(0(x1)))))) 1168.76/296.20 [0 0 0 0] [1] [0 0 0 0] 1168.76/296.20 1168.76/296.20 [1 1 0 1] [0] [1 1 0 0] [0] 1168.76/296.20 [0 0 0 0] [0] [0 0 0 0] [0] 1168.76/296.20 0(1(1(3(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 3(4(5(1(1(0(x1)))))) 1168.76/296.20 [0 0 0 0] [1] [0 0 0 0] [0] 1168.76/296.20 1168.76/296.20 [1 1 0 0] [0] [1 1 0 0] [0] 1168.76/296.20 [0 0 0 0] [0] [0 0 0 0] [0] 1168.76/296.20 0(1(2(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 1(1(0(2(0(x1))))) 1168.76/296.20 [0 0 0 0] [1] [0 0 0 0] [1] 1168.76/296.20 1168.76/296.20 [1 1 0 0] [0] [1 1 0 0] [0] 1168.76/296.20 [0 0 0 0] [0] [0 0 0 0] [0] 1168.76/296.20 0(1(2(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 3(0(2(1(0(x1))))) 1168.76/296.20 [0 0 0 0] [1] [0 0 0 0] [0] 1168.76/296.21 1168.76/296.21 [1 1 0 0] [0] [1 0 0 0] 1168.76/296.21 [0 0 0 0] [0] [0 0 0 0] 1168.76/296.21 0(1(2(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 4(1(0(0(2(x1))))) 1168.76/296.21 [0 0 0 0] [1] [0 0 0 0] 1168.76/296.21 1168.76/296.21 [1 1 0 0] [0] [1 0 0 0] 1168.76/296.21 [0 0 0 0] [0] [0 0 0 0] 1168.76/296.21 0(1(2(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 0(0(4(2(5(1(x1)))))) 1168.76/296.21 [0 0 0 0] [1] [0 0 0 0] 1168.76/296.21 1168.76/296.21 [1 1 0 0] [0] [1 1 0 0] [0] 1168.76/296.21 [0 0 0 0] [0] [0 0 0 0] [0] 1168.76/296.21 0(1(2(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 1(1(2(0(4(0(x1)))))) 1168.76/296.21 [0 0 0 0] [1] [0 0 0 0] [1] 1168.76/296.21 1168.76/296.21 [1 1 0 0] [0] [1 0 0 0] [0] 1168.76/296.21 [0 0 0 0] [0] [0 0 0 0] [0] 1168.76/296.21 0(1(2(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 3(0(2(1(0(4(x1)))))) 1168.76/296.21 [0 0 0 0] [1] [0 0 0 0] [0] 1168.76/296.21 1168.76/296.21 [1 1 0 1] [1] [1 0 0 0] [0] 1168.76/296.21 [0 0 0 0] [0] [0 0 0 0] [0] 1168.76/296.21 0(1(3(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 1(0(3(0(2(x1))))) 1168.76/296.21 [0 0 0 0] [1] [0 0 0 0] [1] 1168.76/296.21 1168.76/296.21 [1 1 0 0] [0] [1 1 0 0] 1168.76/296.21 [0 0 0 0] [0] [0 0 0 0] 1168.76/296.21 0(1(4(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 0(3(4(2(1(0(x1)))))) 1168.76/296.21 [0 0 0 0] [1] [0 0 0 0] 1168.76/296.21 1168.76/296.21 [1 1 0 0] [0] [1 1 0 0] [0] 1168.76/296.21 [0 0 0 0] [0] [0 0 0 0] [0] 1168.76/296.21 0(1(5(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 0(5(1(4(0(x1))))) 1168.76/296.21 [0 0 0 0] [1] [0 0 0 0] [1] 1168.76/296.21 1168.76/296.21 [1 1 0 0] [0] [1 1 0 0] [0] 1168.76/296.21 [0 0 0 0] [0] [0 0 0 0] [0] 1168.76/296.21 0(1(5(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 1(5(3(0(2(0(x1)))))) 1168.76/296.21 [0 0 0 0] [1] [0 0 0 0] [1] 1168.76/296.21 1168.76/296.21 [1 1 0 1] [0] [1 0 0 0] [0] 1168.76/296.21 [0 0 0 0] [0] [0 0 0 0] [0] 1168.76/296.21 5(0(1(0(x1)))) = [0 0 0 0]x1 + [0] >= [0 0 0 0]x1 + [0] = 1(4(0(0(5(1(x1)))))) 1168.76/296.21 [0 0 0 0] [1] [0 0 0 0] [1] 1168.76/296.21 1168.76/296.21 [1 1 0 1] [0] [1 0 0 0] 1168.76/296.21 [0 0 0 0] [0] [0 0 0 0] 1168.76/296.21 5(0(1(0(x1)))) = [0 0 0 0]x1 + [0] >= [0 0 0 0]x1 = 2(1(0(0(4(5(x1)))))) 1168.76/296.21 [0 0 0 0] [1] [0 0 0 0] 1168.76/296.21 1168.76/296.21 [1 1 0 1] [0] [1 1 0 0] [0] 1168.76/296.21 [0 0 0 0] [0] [0 0 0 0] [0] 1168.76/296.21 0(1(0(0(0(x1))))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 0(0(5(1(0(0(x1)))))) 1168.76/296.21 [0 0 0 0] [1] [0 0 0 0] [1] 1168.76/296.21 1168.76/296.21 [1 1 0 0] [0] [1 0 0 0] 1168.76/296.21 [0 0 0 0] [0] [0 0 0 0] 1168.76/296.21 0(1(2(4(0(x1))))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 0(0(5(4(2(1(x1)))))) 1168.76/296.21 [0 0 0 0] [1] [0 0 0 0] 1168.76/296.21 1168.76/296.21 [1 1 0 0] [0] [1 0 0 0] [0] 1168.76/296.22 [0 0 0 0] [0] [0 0 0 0] [0] 1168.76/296.22 0(1(2(5(0(x1))))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 1(0(2(0(5(4(x1)))))) 1168.76/296.22 [0 0 0 0] [1] [0 0 0 0] [1] 1168.76/296.22 1168.76/296.22 [1 1 0 0] [0] [1 1 0 0] 1168.76/296.22 [0 0 0 0] [0] [0 0 0 0] 1168.76/296.22 0(1(4(0(0(x1))))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 0(0(0(4(1(0(x1)))))) 1168.76/296.22 [0 0 0 0] [1] [0 0 0 0] 1168.76/296.22 1168.76/296.22 [1 1 0 0] [0] [1 0 0 0] [0] 1168.76/296.22 [0 0 0 0] [0] [0 0 0 0] [0] 1168.76/296.22 0(1(4(5(0(x1))))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 1(5(0(0(4(2(x1)))))) 1168.76/296.22 [0 0 0 0] [1] [0 0 0 0] [1] 1168.76/296.22 1168.76/296.22 [1 1 0 0] [0] [1 1 0 0] 1168.76/296.22 [0 0 0 0] [0] [0 0 0 0] 1168.76/296.22 5(0(1(2(0(x1))))) = [0 0 0 0]x1 + [0] >= [0 0 0 0]x1 = 0(0(5(2(1(0(x1)))))) 1168.76/296.22 [0 0 0 0] [1] [0 0 0 0] 1168.76/296.22 1168.76/296.22 [1 1 0 1] [1] [1 1 0 1] [0] 1168.76/296.22 [0 0 0 0] [0] [0 0 0 0] [0] 1168.76/296.22 0(3(1(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 1(2(3(0(5(0(x1)))))) 1168.76/296.22 [0 0 0 0] [1] [0 0 0 0] [1] 1168.76/296.22 1168.76/296.22 [1 1 0 1] [1] [1 0 0 0] 1168.76/296.22 [0 0 0 0] [0] [0 0 0 0] 1168.76/296.22 0(3(0(1(0(x1))))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 0(3(0(0(2(1(x1)))))) 1168.76/296.22 [0 0 0 0] [1] [0 0 0 0] 1168.76/296.22 1168.76/296.22 [1 1 0 1] [2] [1 1 0 1] [1] 1168.76/296.22 [0 0 0 0] [0] [0 0 0 0] [0] 1168.76/296.22 3(0(3(1(0(x1))))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 0(1(3(2(3(0(x1)))))) 1168.76/296.22 [0 0 0 0] [1] [0 0 0 0] [1] 1168.76/296.22 problem: 1168.76/296.22 strict: 1168.76/296.22 0(1(0(x1))) -> 0(2(1(0(x1)))) 1168.76/296.22 0(1(0(x1))) -> 0(0(2(1(0(x1))))) 1168.76/296.22 0(1(0(x1))) -> 0(0(2(1(2(x1))))) 1168.76/296.22 0(1(0(x1))) -> 0(2(1(0(2(x1))))) 1168.76/296.22 0(1(0(x1))) -> 0(3(2(1(0(x1))))) 1168.76/296.22 0(1(0(x1))) -> 1(0(0(0(2(x1))))) 1168.76/296.22 0(1(0(x1))) -> 1(0(0(2(0(x1))))) 1168.76/296.22 0(1(0(x1))) -> 1(0(4(2(0(x1))))) 1168.76/296.22 0(1(0(x1))) -> 1(4(0(4(0(x1))))) 1168.76/296.22 0(1(0(x1))) -> 4(0(0(2(1(x1))))) 1168.76/296.22 0(1(0(x1))) -> 5(0(0(4(1(x1))))) 1168.76/296.22 0(1(0(x1))) -> 5(1(0(4(0(x1))))) 1168.76/296.22 0(1(0(x1))) -> 0(2(1(0(3(2(x1)))))) 1168.76/296.22 0(1(0(x1))) -> 0(4(0(4(1(3(x1)))))) 1168.76/296.22 0(1(0(x1))) -> 0(4(2(2(1(0(x1)))))) 1168.76/296.22 0(1(0(x1))) -> 0(5(2(1(2(0(x1)))))) 1168.76/296.22 0(1(0(x1))) -> 0(5(2(5(1(0(x1)))))) 1168.76/296.22 0(1(0(x1))) -> 1(0(0(5(4(4(x1)))))) 1168.76/296.22 0(1(0(x1))) -> 1(0(4(4(4(0(x1)))))) 1168.76/296.22 0(1(0(x1))) -> 1(5(0(0(4(2(x1)))))) 1168.76/296.22 0(1(0(x1))) -> 3(0(0(4(1(4(x1)))))) 1168.76/296.22 0(1(0(x1))) -> 4(5(1(0(2(0(x1)))))) 1168.76/296.22 0(1(0(x1))) -> 5(5(1(0(0(2(x1)))))) 1168.76/296.22 0(0(1(0(x1)))) -> 1(0(0(2(0(x1))))) 1168.76/296.22 0(0(1(0(x1)))) -> 0(1(5(0(0(2(x1)))))) 1168.76/296.22 0(1(0(3(x1)))) -> 1(0(3(3(0(2(x1)))))) 1168.76/296.22 0(1(0(3(x1)))) -> 1(0(5(3(2(0(x1)))))) 1168.76/296.22 0(1(1(0(x1)))) -> 0(4(4(1(1(0(x1)))))) 1168.76/296.22 0(1(1(3(x1)))) -> 3(4(5(1(1(0(x1)))))) 1168.76/296.22 0(1(2(0(x1)))) -> 1(1(0(2(0(x1))))) 1168.76/296.22 0(1(2(0(x1)))) -> 3(0(2(1(0(x1))))) 1168.76/296.22 0(1(2(0(x1)))) -> 4(1(0(0(2(x1))))) 1168.76/296.22 0(1(2(0(x1)))) -> 0(0(4(2(5(1(x1)))))) 1168.76/296.22 0(1(2(0(x1)))) -> 1(1(2(0(4(0(x1)))))) 1168.76/296.22 0(1(2(0(x1)))) -> 3(0(2(1(0(4(x1)))))) 1168.76/296.22 0(1(4(0(x1)))) -> 0(3(4(2(1(0(x1)))))) 1168.76/296.22 0(1(5(0(x1)))) -> 0(5(1(4(0(x1))))) 1168.76/296.22 0(1(5(0(x1)))) -> 1(5(3(0(2(0(x1)))))) 1168.76/296.22 5(0(1(0(x1)))) -> 1(4(0(0(5(1(x1)))))) 1168.76/296.22 5(0(1(0(x1)))) -> 2(1(0(0(4(5(x1)))))) 1168.76/296.22 0(1(0(0(0(x1))))) -> 0(0(5(1(0(0(x1)))))) 1168.76/296.22 0(1(2(4(0(x1))))) -> 0(0(5(4(2(1(x1)))))) 1168.76/296.23 0(1(2(5(0(x1))))) -> 1(0(2(0(5(4(x1)))))) 1168.76/296.23 0(1(4(0(0(x1))))) -> 0(0(0(4(1(0(x1)))))) 1168.76/296.23 0(1(4(5(0(x1))))) -> 1(5(0(0(4(2(x1)))))) 1168.76/296.23 5(0(1(2(0(x1))))) -> 0(0(5(2(1(0(x1)))))) 1168.76/296.23 weak: 1168.76/296.23 0(1(3(0(x1)))) -> 1(0(3(0(2(x1))))) 1168.76/296.23 0(3(1(0(x1)))) -> 1(2(3(0(5(0(x1)))))) 1168.76/296.23 0(3(0(1(0(x1))))) -> 0(3(0(0(2(1(x1)))))) 1168.76/296.23 3(0(3(1(0(x1))))) -> 0(1(3(2(3(0(x1)))))) 1168.76/296.23 Matrix Interpretation Processor: dim=4 1168.76/296.23 1168.76/296.23 max_matrix: 1168.76/296.23 [1 1 0 1] 1168.76/296.23 [0 0 1 0] 1168.76/296.23 [0 0 0 1] 1168.76/296.23 [0 0 0 1] 1168.76/296.23 interpretation: 1168.76/296.23 [1 0 0 0] 1168.76/296.23 [0 0 0 0] 1168.76/296.23 [5](x0) = [0 0 0 0]x0 1168.76/296.23 [0 0 0 1] , 1168.76/296.23 1168.76/296.23 [1 0 0 0] 1168.76/296.23 [0 0 0 0] 1168.76/296.23 [4](x0) = [0 0 0 0]x0 1168.76/296.23 [0 0 0 0] , 1168.76/296.23 1168.76/296.23 [1 1 0 1] [0] 1168.76/296.23 [0 0 0 0] [0] 1168.76/296.23 [3](x0) = [0 0 0 0]x0 + [1] 1168.76/296.23 [0 0 0 1] [0], 1168.76/296.23 1168.76/296.23 [1 0 0 0] 1168.76/296.23 [0 0 0 0] 1168.76/296.23 [2](x0) = [0 0 0 0]x0 1168.76/296.23 [0 0 0 0] , 1168.76/296.23 1168.76/296.23 [1 1 0 0] [0] 1168.76/296.23 [0 0 1 0] [0] 1168.76/296.23 [1](x0) = [0 0 0 0]x0 + [0] 1168.76/296.23 [0 0 0 0] [1], 1168.76/296.23 1168.76/296.23 [1 1 0 0] 1168.76/296.23 [0 0 0 0] 1168.76/296.23 [0](x0) = [0 0 0 1]x0 1168.76/296.23 [0 0 0 1] 1168.76/296.23 orientation: 1168.76/296.23 [1 1 0 1] [0] [1 1 0 0] 1168.76/296.23 [0 0 0 0] [0] [0 0 0 0] 1168.76/296.23 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 0(2(1(0(x1)))) 1168.76/296.23 [0 0 0 0] [1] [0 0 0 0] 1168.76/296.23 1168.76/296.23 [1 1 0 1] [0] [1 1 0 0] 1168.76/296.23 [0 0 0 0] [0] [0 0 0 0] 1168.76/296.23 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 0(0(2(1(0(x1))))) 1168.76/296.23 [0 0 0 0] [1] [0 0 0 0] 1168.76/296.23 1168.76/296.23 [1 1 0 1] [0] [1 0 0 0] 1168.76/296.23 [0 0 0 0] [0] [0 0 0 0] 1168.76/296.23 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 0(0(2(1(2(x1))))) 1168.76/296.23 [0 0 0 0] [1] [0 0 0 0] 1168.76/296.23 1168.76/296.23 [1 1 0 1] [0] [1 0 0 0] 1168.76/296.23 [0 0 0 0] [0] [0 0 0 0] 1168.76/296.23 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 0(2(1(0(2(x1))))) 1168.76/296.23 [0 0 0 0] [1] [0 0 0 0] 1168.76/296.23 1168.76/296.23 [1 1 0 1] [0] [1 1 0 0] 1168.76/296.23 [0 0 0 0] [0] [0 0 0 0] 1168.76/296.23 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 0(3(2(1(0(x1))))) 1168.76/296.23 [0 0 0 0] [1] [0 0 0 0] 1168.76/296.23 1168.76/296.23 [1 1 0 1] [0] [1 0 0 0] [0] 1168.76/296.23 [0 0 0 0] [0] [0 0 0 0] [0] 1168.76/296.23 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 1(0(0(0(2(x1))))) 1168.76/296.23 [0 0 0 0] [1] [0 0 0 0] [1] 1168.76/296.24 1168.76/296.24 [1 1 0 1] [0] [1 1 0 0] [0] 1168.76/296.24 [0 0 0 0] [0] [0 0 0 0] [0] 1168.76/296.24 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 1(0(0(2(0(x1))))) 1168.76/296.24 [0 0 0 0] [1] [0 0 0 0] [1] 1168.76/296.24 1168.76/296.24 [1 1 0 1] [0] [1 1 0 0] [0] 1168.76/296.24 [0 0 0 0] [0] [0 0 0 0] [0] 1168.76/296.24 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 1(0(4(2(0(x1))))) 1168.76/296.24 [0 0 0 0] [1] [0 0 0 0] [1] 1168.76/296.24 1168.76/296.24 [1 1 0 1] [0] [1 1 0 0] [0] 1168.76/296.24 [0 0 0 0] [0] [0 0 0 0] [0] 1168.76/296.24 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 1(4(0(4(0(x1))))) 1168.76/296.24 [0 0 0 0] [1] [0 0 0 0] [1] 1168.76/296.25 1168.76/296.25 [1 1 0 1] [0] [1 1 0 0] 1168.76/296.25 [0 0 0 0] [0] [0 0 0 0] 1168.76/296.25 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 4(0(0(2(1(x1))))) 1168.76/296.25 [0 0 0 0] [1] [0 0 0 0] 1168.76/296.25 1168.76/296.25 [1 1 0 1] [0] [1 1 0 0] 1168.76/296.25 [0 0 0 0] [0] [0 0 0 0] 1168.76/296.25 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 5(0(0(4(1(x1))))) 1168.76/296.25 [0 0 0 0] [1] [0 0 0 0] 1168.76/296.25 1168.76/296.25 [1 1 0 1] [0] [1 1 0 0] [0] 1168.76/296.25 [0 0 0 0] [0] [0 0 0 0] [0] 1168.76/296.25 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 5(1(0(4(0(x1))))) 1168.76/296.25 [0 0 0 0] [1] [0 0 0 0] [1] 1168.76/296.25 1168.76/296.25 [1 1 0 1] [0] [1 0 0 0] 1168.76/296.25 [0 0 0 0] [0] [0 0 0 0] 1168.76/296.25 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 0(2(1(0(3(2(x1)))))) 1168.76/296.25 [0 0 0 0] [1] [0 0 0 0] 1168.76/296.25 1168.76/296.25 [1 1 0 1] [0] [1 1 0 1] 1168.76/296.25 [0 0 0 0] [0] [0 0 0 0] 1168.76/296.25 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 0(4(0(4(1(3(x1)))))) 1168.76/296.25 [0 0 0 0] [1] [0 0 0 0] 1168.76/296.25 1168.76/296.25 [1 1 0 1] [0] [1 1 0 0] 1168.76/296.25 [0 0 0 0] [0] [0 0 0 0] 1168.76/296.25 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 0(4(2(2(1(0(x1)))))) 1168.76/296.25 [0 0 0 0] [1] [0 0 0 0] 1168.76/296.25 1168.76/296.25 [1 1 0 1] [0] [1 1 0 0] 1168.76/296.25 [0 0 0 0] [0] [0 0 0 0] 1168.76/296.25 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 0(5(2(1(2(0(x1)))))) 1168.76/296.25 [0 0 0 0] [1] [0 0 0 0] 1168.76/296.25 1168.76/296.25 [1 1 0 1] [0] [1 1 0 0] 1168.76/296.25 [0 0 0 0] [0] [0 0 0 0] 1168.76/296.25 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 0(5(2(5(1(0(x1)))))) 1168.76/296.25 [0 0 0 0] [1] [0 0 0 0] 1168.76/296.25 1168.76/296.25 [1 1 0 1] [0] [1 0 0 0] [0] 1168.76/296.25 [0 0 0 0] [0] [0 0 0 0] [0] 1168.76/296.25 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 1(0(0(5(4(4(x1)))))) 1168.76/296.25 [0 0 0 0] [1] [0 0 0 0] [1] 1168.76/296.25 1168.76/296.25 [1 1 0 1] [0] [1 1 0 0] [0] 1168.76/296.25 [0 0 0 0] [0] [0 0 0 0] [0] 1168.76/296.25 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 1(0(4(4(4(0(x1)))))) 1168.76/296.25 [0 0 0 0] [1] [0 0 0 0] [1] 1168.76/296.25 1168.76/296.25 [1 1 0 1] [0] [1 0 0 0] [0] 1168.76/296.25 [0 0 0 0] [0] [0 0 0 0] [0] 1168.76/296.25 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 1(5(0(0(4(2(x1)))))) 1168.76/296.25 [0 0 0 0] [1] [0 0 0 0] [1] 1168.76/296.25 1168.76/296.25 [1 1 0 1] [0] [1 0 0 0] [0] 1168.76/296.25 [0 0 0 0] [0] [0 0 0 0] [0] 1168.76/296.25 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 3(0(0(4(1(4(x1)))))) 1168.76/296.25 [0 0 0 0] [1] [0 0 0 0] [0] 1168.76/296.25 1168.76/296.25 [1 1 0 1] [0] [1 1 0 0] 1168.76/296.25 [0 0 0 0] [0] [0 0 0 0] 1168.76/296.25 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 4(5(1(0(2(0(x1)))))) 1168.76/296.25 [0 0 0 0] [1] [0 0 0 0] 1168.76/296.26 1168.76/296.26 [1 1 0 1] [0] [1 0 0 0] [0] 1168.76/296.26 [0 0 0 0] [0] [0 0 0 0] [0] 1168.76/296.26 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 5(5(1(0(0(2(x1)))))) 1168.76/296.26 [0 0 0 0] [1] [0 0 0 0] [1] 1168.76/296.26 1168.76/296.26 [1 1 0 1] [0] [1 1 0 0] [0] 1168.76/296.26 [0 0 0 0] [0] [0 0 0 0] [0] 1168.76/296.26 0(0(1(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 1(0(0(2(0(x1))))) 1168.76/296.26 [0 0 0 0] [1] [0 0 0 0] [1] 1168.76/296.26 1168.76/296.26 [1 1 0 1] [0] [1 0 0 0] [0] 1168.76/296.26 [0 0 0 0] [0] [0 0 0 0] [0] 1168.76/296.26 0(0(1(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 0(1(5(0(0(2(x1)))))) 1168.76/296.26 [0 0 0 0] [1] [0 0 0 0] [1] 1168.76/296.26 1168.76/296.26 [1 1 0 2] [0] [1 0 0 0] [0] 1168.76/296.26 [0 0 0 0] [0] [0 0 0 0] [0] 1168.76/296.26 0(1(0(3(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 1(0(3(3(0(2(x1)))))) 1168.76/296.26 [0 0 0 0] [1] [0 0 0 0] [1] 1168.76/296.26 1168.76/296.26 [1 1 0 2] [0] [1 1 0 0] [0] 1168.76/296.26 [0 0 0 0] [0] [0 0 0 0] [0] 1168.76/296.26 0(1(0(3(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 1(0(5(3(2(0(x1)))))) 1168.76/296.26 [0 0 0 0] [1] [0 0 0 0] [1] 1168.76/296.26 1168.76/296.26 [1 1 0 1] [0] [1 1 0 1] 1168.76/296.26 [0 0 0 0] [0] [0 0 0 0] 1168.76/296.26 0(1(1(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 0(4(4(1(1(0(x1)))))) 1168.76/296.26 [0 0 0 0] [1] [0 0 0 0] 1168.76/296.26 1168.76/296.26 [1 1 0 1] [1] [1 1 0 1] [0] 1168.76/296.26 [0 0 0 0] [0] [0 0 0 0] [0] 1168.76/296.26 0(1(1(3(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 3(4(5(1(1(0(x1)))))) 1168.76/296.26 [0 0 0 0] [1] [0 0 0 0] [0] 1168.76/296.26 1168.76/296.26 [1 1 0 0] [0] [1 1 0 0] [0] 1168.76/296.26 [0 0 0 0] [0] [0 0 0 0] [0] 1168.76/296.26 0(1(2(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 1(1(0(2(0(x1))))) 1168.76/296.26 [0 0 0 0] [1] [0 0 0 0] [1] 1168.76/296.26 1168.76/296.26 [1 1 0 0] [0] [1 1 0 0] [0] 1168.76/296.26 [0 0 0 0] [0] [0 0 0 0] [0] 1168.76/296.26 0(1(2(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 3(0(2(1(0(x1))))) 1168.76/296.26 [0 0 0 0] [1] [0 0 0 0] [0] 1168.76/296.26 1168.76/296.26 [1 1 0 0] [0] [1 0 0 0] 1168.76/296.26 [0 0 0 0] [0] [0 0 0 0] 1168.76/296.26 0(1(2(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 4(1(0(0(2(x1))))) 1168.76/296.26 [0 0 0 0] [1] [0 0 0 0] 1168.76/296.26 1168.76/296.26 [1 1 0 0] [0] [1 1 0 0] 1168.76/296.26 [0 0 0 0] [0] [0 0 0 0] 1168.76/296.26 0(1(2(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 0(0(4(2(5(1(x1)))))) 1168.76/296.26 [0 0 0 0] [1] [0 0 0 0] 1168.76/296.26 1168.76/296.26 [1 1 0 0] [0] [1 1 0 0] [0] 1168.76/296.26 [0 0 0 0] [0] [0 0 0 0] [0] 1168.76/296.26 0(1(2(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 1(1(2(0(4(0(x1)))))) 1168.76/296.26 [0 0 0 0] [1] [0 0 0 0] [1] 1168.76/296.26 1168.76/296.26 [1 1 0 0] [0] [1 0 0 0] [0] 1168.76/296.28 [0 0 0 0] [0] [0 0 0 0] [0] 1168.76/296.28 0(1(2(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 3(0(2(1(0(4(x1)))))) 1168.76/296.28 [0 0 0 0] [1] [0 0 0 0] [0] 1168.76/296.28 1168.76/296.28 [1 1 0 0] [0] [1 1 0 0] 1168.76/296.28 [0 0 0 0] [0] [0 0 0 0] 1168.76/296.28 0(1(4(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 0(3(4(2(1(0(x1)))))) 1168.76/296.28 [0 0 0 0] [1] [0 0 0 0] 1168.76/296.28 1168.76/296.28 [1 1 0 0] [0] [1 1 0 0] [0] 1168.76/296.28 [0 0 0 0] [0] [0 0 0 0] [0] 1168.76/296.28 0(1(5(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 0(5(1(4(0(x1))))) 1168.76/296.28 [0 0 0 0] [1] [0 0 0 0] [1] 1168.76/296.28 1168.76/296.28 [1 1 0 0] [0] [1 1 0 0] [0] 1168.76/296.28 [0 0 0 0] [0] [0 0 0 0] [0] 1168.76/296.28 0(1(5(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 1(5(3(0(2(0(x1)))))) 1168.76/296.28 [0 0 0 0] [1] [0 0 0 0] [1] 1168.76/296.28 1168.76/296.28 [1 1 0 1] [0] [1 1 0 0] [0] 1168.76/296.28 [0 0 0 0] [0] [0 0 0 0] [0] 1168.76/296.28 5(0(1(0(x1)))) = [0 0 0 0]x1 + [0] >= [0 0 0 0]x1 + [0] = 1(4(0(0(5(1(x1)))))) 1168.76/296.28 [0 0 0 0] [1] [0 0 0 0] [1] 1168.76/296.28 1168.76/296.28 [1 1 0 1] [0] [1 0 0 0] 1168.76/296.28 [0 0 0 0] [0] [0 0 0 0] 1168.76/296.28 5(0(1(0(x1)))) = [0 0 0 0]x1 + [0] >= [0 0 0 0]x1 = 2(1(0(0(4(5(x1)))))) 1168.76/296.28 [0 0 0 0] [1] [0 0 0 0] 1168.76/296.28 1168.76/296.28 [1 1 0 1] [0] [1 1 0 0] [0] 1168.76/296.28 [0 0 0 0] [0] [0 0 0 0] [0] 1168.76/296.28 0(1(0(0(0(x1))))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 0(0(5(1(0(0(x1)))))) 1168.76/296.28 [0 0 0 0] [1] [0 0 0 0] [1] 1168.76/296.28 1168.76/296.28 [1 1 0 0] [0] [1 1 0 0] 1168.76/296.28 [0 0 0 0] [0] [0 0 0 0] 1168.76/296.28 0(1(2(4(0(x1))))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 0(0(5(4(2(1(x1)))))) 1168.76/296.28 [0 0 0 0] [1] [0 0 0 0] 1168.76/296.28 1168.76/296.28 [1 1 0 0] [0] [1 0 0 0] [0] 1168.76/296.28 [0 0 0 0] [0] [0 0 0 0] [0] 1168.76/296.28 0(1(2(5(0(x1))))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 1(0(2(0(5(4(x1)))))) 1168.76/296.28 [0 0 0 0] [1] [0 0 0 0] [1] 1168.76/296.28 1168.76/296.28 [1 1 0 0] [0] [1 1 0 0] 1168.76/296.28 [0 0 0 0] [0] [0 0 0 0] 1168.76/296.28 0(1(4(0(0(x1))))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 0(0(0(4(1(0(x1)))))) 1168.76/296.28 [0 0 0 0] [1] [0 0 0 0] 1168.76/296.28 1168.76/296.28 [1 1 0 0] [0] [1 0 0 0] [0] 1168.76/296.28 [0 0 0 0] [0] [0 0 0 0] [0] 1168.76/296.28 0(1(4(5(0(x1))))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 1(5(0(0(4(2(x1)))))) 1168.76/296.28 [0 0 0 0] [1] [0 0 0 0] [1] 1168.76/296.28 1168.76/296.28 [1 1 0 0] [0] [1 1 0 0] 1168.76/296.28 [0 0 0 0] [0] [0 0 0 0] 1168.76/296.28 5(0(1(2(0(x1))))) = [0 0 0 0]x1 + [0] >= [0 0 0 0]x1 = 0(0(5(2(1(0(x1)))))) 1168.76/296.28 [0 0 0 0] [1] [0 0 0 0] 1168.76/296.28 1168.76/296.28 [1 1 0 1] [1] [1 0 0 0] [0] 1168.76/296.29 [0 0 0 0] [0] [0 0 0 0] [0] 1168.76/296.29 0(1(3(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 1(0(3(0(2(x1))))) 1168.76/296.29 [0 0 0 0] [1] [0 0 0 0] [1] 1168.76/296.29 1168.76/296.29 [1 1 0 1] [1] [1 1 0 1] [0] 1168.76/296.29 [0 0 0 0] [0] [0 0 0 0] [0] 1168.76/296.29 0(3(1(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 1(2(3(0(5(0(x1)))))) 1168.76/296.29 [0 0 0 0] [1] [0 0 0 0] [1] 1168.76/296.29 1168.76/296.29 [1 1 0 1] [1] [1 1 0 0] 1168.76/296.29 [0 0 0 0] [0] [0 0 0 0] 1168.76/296.29 0(3(0(1(0(x1))))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 0(3(0(0(2(1(x1)))))) 1168.76/296.29 [0 0 0 0] [1] [0 0 0 0] 1168.76/296.29 1168.76/296.29 [1 1 0 1] [2] [1 1 0 1] [1] 1168.76/296.29 [0 0 0 0] [0] [0 0 0 0] [0] 1168.76/296.29 3(0(3(1(0(x1))))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 0(1(3(2(3(0(x1)))))) 1168.76/296.29 [0 0 0 0] [1] [0 0 0 0] [1] 1168.76/296.29 problem: 1168.76/296.29 strict: 1168.76/296.29 0(1(0(x1))) -> 0(2(1(0(x1)))) 1168.76/296.29 0(1(0(x1))) -> 0(0(2(1(0(x1))))) 1168.76/296.29 0(1(0(x1))) -> 0(0(2(1(2(x1))))) 1168.76/296.29 0(1(0(x1))) -> 0(2(1(0(2(x1))))) 1168.76/296.29 0(1(0(x1))) -> 0(3(2(1(0(x1))))) 1168.76/296.29 0(1(0(x1))) -> 1(0(0(0(2(x1))))) 1168.76/296.29 0(1(0(x1))) -> 1(0(0(2(0(x1))))) 1168.76/296.29 0(1(0(x1))) -> 1(0(4(2(0(x1))))) 1168.76/296.29 0(1(0(x1))) -> 1(4(0(4(0(x1))))) 1168.76/296.29 0(1(0(x1))) -> 4(0(0(2(1(x1))))) 1168.76/296.29 0(1(0(x1))) -> 5(0(0(4(1(x1))))) 1168.76/296.29 0(1(0(x1))) -> 5(1(0(4(0(x1))))) 1168.76/296.29 0(1(0(x1))) -> 0(2(1(0(3(2(x1)))))) 1168.76/296.29 0(1(0(x1))) -> 0(4(0(4(1(3(x1)))))) 1168.76/296.29 0(1(0(x1))) -> 0(4(2(2(1(0(x1)))))) 1168.76/296.29 0(1(0(x1))) -> 0(5(2(1(2(0(x1)))))) 1168.76/296.29 0(1(0(x1))) -> 0(5(2(5(1(0(x1)))))) 1168.76/296.29 0(1(0(x1))) -> 1(0(0(5(4(4(x1)))))) 1168.76/296.29 0(1(0(x1))) -> 1(0(4(4(4(0(x1)))))) 1168.76/296.29 0(1(0(x1))) -> 1(5(0(0(4(2(x1)))))) 1168.76/296.29 0(1(0(x1))) -> 3(0(0(4(1(4(x1)))))) 1168.76/296.29 0(1(0(x1))) -> 4(5(1(0(2(0(x1)))))) 1168.76/296.29 0(1(0(x1))) -> 5(5(1(0(0(2(x1)))))) 1168.76/296.29 0(0(1(0(x1)))) -> 1(0(0(2(0(x1))))) 1168.76/296.29 0(0(1(0(x1)))) -> 0(1(5(0(0(2(x1)))))) 1168.76/296.29 0(1(0(3(x1)))) -> 1(0(3(3(0(2(x1)))))) 1168.76/296.29 0(1(0(3(x1)))) -> 1(0(5(3(2(0(x1)))))) 1168.76/296.29 0(1(1(0(x1)))) -> 0(4(4(1(1(0(x1)))))) 1168.76/296.29 0(1(2(0(x1)))) -> 1(1(0(2(0(x1))))) 1168.76/296.29 0(1(2(0(x1)))) -> 3(0(2(1(0(x1))))) 1168.76/296.29 0(1(2(0(x1)))) -> 4(1(0(0(2(x1))))) 1168.76/296.29 0(1(2(0(x1)))) -> 0(0(4(2(5(1(x1)))))) 1168.76/296.29 0(1(2(0(x1)))) -> 1(1(2(0(4(0(x1)))))) 1168.76/296.29 0(1(2(0(x1)))) -> 3(0(2(1(0(4(x1)))))) 1168.76/296.29 0(1(4(0(x1)))) -> 0(3(4(2(1(0(x1)))))) 1168.76/296.29 0(1(5(0(x1)))) -> 0(5(1(4(0(x1))))) 1168.76/296.29 0(1(5(0(x1)))) -> 1(5(3(0(2(0(x1)))))) 1168.76/296.29 5(0(1(0(x1)))) -> 1(4(0(0(5(1(x1)))))) 1168.76/296.29 5(0(1(0(x1)))) -> 2(1(0(0(4(5(x1)))))) 1168.76/296.29 0(1(0(0(0(x1))))) -> 0(0(5(1(0(0(x1)))))) 1168.76/296.29 0(1(2(4(0(x1))))) -> 0(0(5(4(2(1(x1)))))) 1168.76/296.29 0(1(2(5(0(x1))))) -> 1(0(2(0(5(4(x1)))))) 1168.76/296.29 0(1(4(0(0(x1))))) -> 0(0(0(4(1(0(x1)))))) 1168.76/296.29 0(1(4(5(0(x1))))) -> 1(5(0(0(4(2(x1)))))) 1168.76/296.29 5(0(1(2(0(x1))))) -> 0(0(5(2(1(0(x1)))))) 1168.76/296.29 weak: 1168.76/296.29 0(1(1(3(x1)))) -> 3(4(5(1(1(0(x1)))))) 1168.76/296.29 0(1(3(0(x1)))) -> 1(0(3(0(2(x1))))) 1168.76/296.29 0(3(1(0(x1)))) -> 1(2(3(0(5(0(x1)))))) 1168.76/296.29 0(3(0(1(0(x1))))) -> 0(3(0(0(2(1(x1)))))) 1168.76/296.29 3(0(3(1(0(x1))))) -> 0(1(3(2(3(0(x1)))))) 1168.76/296.29 Matrix Interpretation Processor: dim=4 1168.76/296.29 1168.76/296.29 max_matrix: 1168.76/296.29 [1 1 0 0] 1168.76/296.29 [0 0 1 1] 1168.76/296.29 [0 0 0 1] 1168.76/296.29 [0 0 0 1] 1168.76/296.29 interpretation: 1168.76/296.29 [1 0 0 0] 1168.76/296.29 [0 0 1 0] 1168.76/296.29 [5](x0) = [0 0 0 0]x0 1168.76/296.29 [0 0 0 1] , 1168.76/296.29 1168.76/296.29 [1 0 0 0] 1168.76/296.29 [0 0 0 0] 1168.76/296.29 [4](x0) = [0 0 0 0]x0 1168.76/296.29 [0 0 0 0] , 1168.76/296.29 1168.76/296.29 [1 1 0 0] 1168.76/296.29 [0 0 1 0] 1168.76/296.29 [3](x0) = [0 0 0 1]x0 1168.76/296.29 [0 0 0 1] , 1168.86/296.30 1168.86/296.30 [1 0 0 0] 1168.86/296.30 [0 0 0 0] 1168.86/296.30 [2](x0) = [0 0 0 0]x0 1168.86/296.30 [0 0 0 0] , 1168.86/296.30 1168.86/296.30 [1 0 0 0] [0] 1168.86/296.30 [0 0 1 0] [1] 1168.86/296.30 [1](x0) = [0 0 0 1]x0 + [0] 1168.86/296.30 [0 0 0 0] [1], 1168.86/296.30 1168.86/296.30 [1 1 0 0] 1168.86/296.30 [0 0 0 1] 1168.86/296.30 [0](x0) = [0 0 0 1]x0 1168.86/296.30 [0 0 0 1] 1168.86/296.30 orientation: 1168.86/296.30 [1 1 0 1] [1] [1 1 0 0] 1168.86/296.30 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.30 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 0(2(1(0(x1)))) 1168.86/296.30 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.30 1168.86/296.30 [1 1 0 1] [1] [1 1 0 0] 1168.86/296.30 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.30 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 0(0(2(1(0(x1))))) 1168.86/296.30 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.30 1168.86/296.30 [1 1 0 1] [1] [1 0 0 0] 1168.86/296.30 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.30 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 0(0(2(1(2(x1))))) 1168.86/296.30 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.30 1168.86/296.30 [1 1 0 1] [1] [1 0 0 0] 1168.86/296.30 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.30 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 0(2(1(0(2(x1))))) 1168.86/296.30 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.30 1168.86/296.30 [1 1 0 1] [1] [1 1 0 0] 1168.86/296.30 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.30 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 0(3(2(1(0(x1))))) 1168.86/296.30 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.30 1168.86/296.30 [1 1 0 1] [1] [1 0 0 0] [0] 1168.86/296.30 [0 0 0 0] [1] [0 0 0 0] [1] 1168.86/296.30 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 1(0(0(0(2(x1))))) 1168.86/296.30 [0 0 0 0] [1] [0 0 0 0] [1] 1168.86/296.30 1168.86/296.30 [1 1 0 1] [1] [1 1 0 0] [0] 1168.86/296.30 [0 0 0 0] [1] [0 0 0 0] [1] 1168.86/296.30 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 1(0(0(2(0(x1))))) 1168.86/296.30 [0 0 0 0] [1] [0 0 0 0] [1] 1168.86/296.30 1168.86/296.30 [1 1 0 1] [1] [1 1 0 0] [0] 1168.86/296.30 [0 0 0 0] [1] [0 0 0 0] [1] 1168.86/296.30 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 1(0(4(2(0(x1))))) 1168.86/296.30 [0 0 0 0] [1] [0 0 0 0] [1] 1168.86/296.30 1168.86/296.30 [1 1 0 1] [1] [1 1 0 0] [0] 1168.86/296.30 [0 0 0 0] [1] [0 0 0 0] [1] 1168.86/296.30 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 1(4(0(4(0(x1))))) 1168.86/296.30 [0 0 0 0] [1] [0 0 0 0] [1] 1168.86/296.30 1168.86/296.30 [1 1 0 1] [1] [1 0 0 0] 1168.86/296.30 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.30 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 4(0(0(2(1(x1))))) 1168.86/296.30 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.30 1168.86/296.30 [1 1 0 1] [1] [1 0 0 0] 1168.86/296.30 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.30 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 5(0(0(4(1(x1))))) 1168.86/296.30 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.30 1168.86/296.30 [1 1 0 1] [1] [1 1 0 0] [0] 1168.86/296.30 [0 0 0 0] [1] [0 0 0 0] [0] 1168.86/296.30 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 5(1(0(4(0(x1))))) 1168.86/296.31 [0 0 0 0] [1] [0 0 0 0] [1] 1168.86/296.31 1168.86/296.31 [1 1 0 1] [1] [1 0 0 0] 1168.86/296.31 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.31 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 0(2(1(0(3(2(x1)))))) 1168.86/296.31 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.31 1168.86/296.31 [1 1 0 1] [1] [1 1 0 0] 1168.86/296.31 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.31 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 0(4(0(4(1(3(x1)))))) 1168.86/296.31 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.31 1168.86/296.31 [1 1 0 1] [1] [1 1 0 0] 1168.86/296.31 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.31 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 0(4(2(2(1(0(x1)))))) 1168.86/296.31 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.31 1168.86/296.31 [1 1 0 1] [1] [1 1 0 0] 1168.86/296.31 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.31 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 0(5(2(1(2(0(x1)))))) 1168.86/296.31 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.31 1168.86/296.31 [1 1 0 1] [1] [1 1 0 0] 1168.86/296.31 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.31 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 0(5(2(5(1(0(x1)))))) 1168.86/296.31 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.31 1168.86/296.31 [1 1 0 1] [1] [1 0 0 0] [0] 1168.86/296.31 [0 0 0 0] [1] [0 0 0 0] [1] 1168.86/296.31 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 1(0(0(5(4(4(x1)))))) 1168.86/296.31 [0 0 0 0] [1] [0 0 0 0] [1] 1168.86/296.31 1168.86/296.31 [1 1 0 1] [1] [1 1 0 0] [0] 1168.86/296.31 [0 0 0 0] [1] [0 0 0 0] [1] 1168.86/296.31 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 1(0(4(4(4(0(x1)))))) 1168.86/296.31 [0 0 0 0] [1] [0 0 0 0] [1] 1168.86/296.31 1168.86/296.31 [1 1 0 1] [1] [1 0 0 0] [0] 1168.86/296.31 [0 0 0 0] [1] [0 0 0 0] [1] 1168.86/296.31 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 1(5(0(0(4(2(x1)))))) 1168.86/296.31 [0 0 0 0] [1] [0 0 0 0] [1] 1168.86/296.31 1168.86/296.31 [1 1 0 1] [1] [1 0 0 0] 1168.86/296.31 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.31 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 3(0(0(4(1(4(x1)))))) 1168.86/296.31 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.31 1168.86/296.31 [1 1 0 1] [1] [1 1 0 0] 1168.86/296.31 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.31 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 4(5(1(0(2(0(x1)))))) 1168.86/296.31 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.31 1168.86/296.31 [1 1 0 1] [1] [1 0 0 0] [0] 1168.86/296.31 [0 0 0 0] [1] [0 0 0 0] [0] 1168.86/296.31 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 5(5(1(0(0(2(x1)))))) 1168.86/296.31 [0 0 0 0] [1] [0 0 0 0] [1] 1168.86/296.31 1168.86/296.31 [1 1 0 1] [2] [1 1 0 0] [0] 1168.86/296.31 [0 0 0 0] [1] [0 0 0 0] [1] 1168.86/296.31 0(0(1(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 1(0(0(2(0(x1))))) 1168.86/296.31 [0 0 0 0] [1] [0 0 0 0] [1] 1168.86/296.31 1168.86/296.31 [1 1 0 1] [2] [1 0 0 0] [1] 1168.86/296.33 [0 0 0 0] [1] [0 0 0 0] [1] 1168.86/296.33 0(0(1(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 0(1(5(0(0(2(x1)))))) 1168.86/296.33 [0 0 0 0] [1] [0 0 0 0] [1] 1168.86/296.33 1168.86/296.33 [1 1 1 1] [1] [1 0 0 0] [0] 1168.86/296.33 [0 0 0 0] [1] [0 0 0 0] [1] 1168.86/296.33 0(1(0(3(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 1(0(3(3(0(2(x1)))))) 1168.86/296.33 [0 0 0 0] [1] [0 0 0 0] [1] 1168.86/296.33 1168.86/296.33 [1 1 1 1] [1] [1 1 0 0] [0] 1168.86/296.33 [0 0 0 0] [1] [0 0 0 0] [1] 1168.86/296.33 0(1(0(3(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 1(0(5(3(2(0(x1)))))) 1168.86/296.33 [0 0 0 0] [1] [0 0 0 0] [1] 1168.86/296.33 1168.86/296.33 [1 1 0 1] [1] [1 1 0 0] 1168.86/296.33 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.33 0(1(1(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 0(4(4(1(1(0(x1)))))) 1168.86/296.33 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.33 1168.86/296.33 [1 1 0 0] [1] [1 1 0 0] [0] 1168.86/296.33 [0 0 0 0] [1] [0 0 0 0] [1] 1168.86/296.33 0(1(2(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 1(1(0(2(0(x1))))) 1168.86/296.33 [0 0 0 0] [1] [0 0 0 0] [1] 1168.86/296.33 1168.86/296.33 [1 1 0 0] [1] [1 1 0 0] 1168.86/296.33 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.33 0(1(2(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 3(0(2(1(0(x1))))) 1168.86/296.33 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.33 1168.86/296.33 [1 1 0 0] [1] [1 0 0 0] 1168.86/296.33 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.33 0(1(2(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 4(1(0(0(2(x1))))) 1168.86/296.33 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.33 1168.86/296.33 [1 1 0 0] [1] [1 0 0 0] 1168.86/296.33 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.33 0(1(2(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 0(0(4(2(5(1(x1)))))) 1168.86/296.33 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.33 1168.86/296.33 [1 1 0 0] [1] [1 1 0 0] [0] 1168.86/296.33 [0 0 0 0] [1] [0 0 0 0] [1] 1168.86/296.33 0(1(2(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 1(1(2(0(4(0(x1)))))) 1168.86/296.33 [0 0 0 0] [1] [0 0 0 0] [1] 1168.86/296.33 1168.86/296.33 [1 1 0 0] [1] [1 0 0 0] 1168.86/296.33 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.33 0(1(2(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 3(0(2(1(0(4(x1)))))) 1168.86/296.33 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.33 1168.86/296.33 [1 1 0 0] [1] [1 1 0 0] 1168.86/296.33 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.33 0(1(4(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 0(3(4(2(1(0(x1)))))) 1168.86/296.33 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.33 1168.86/296.33 [1 1 0 0] [1] [1 1 0 0] [0] 1168.86/296.33 [0 0 0 0] [1] [0 0 0 0] [1] 1168.86/296.33 0(1(5(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 0(5(1(4(0(x1))))) 1168.86/296.33 [0 0 0 0] [1] [0 0 0 0] [1] 1168.86/296.33 1168.86/296.33 [1 1 0 0] [1] [1 1 0 0] [0] 1168.86/296.33 [0 0 0 0] [1] [0 0 0 0] [1] 1168.86/296.34 0(1(5(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 1(5(3(0(2(0(x1)))))) 1168.86/296.34 [0 0 0 0] [1] [0 0 0 0] [1] 1168.86/296.34 1168.86/296.34 [1 1 0 1] [1] [1 0 0 1] [1] 1168.86/296.34 [0 0 0 0] [1] [0 0 0 0] [1] 1168.86/296.34 5(0(1(0(x1)))) = [0 0 0 0]x1 + [0] >= [0 0 0 0]x1 + [0] = 1(4(0(0(5(1(x1)))))) 1168.86/296.34 [0 0 0 0] [1] [0 0 0 0] [1] 1168.86/296.34 1168.86/296.34 [1 1 0 1] [1] [1 0 0 0] 1168.86/296.34 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.34 5(0(1(0(x1)))) = [0 0 0 0]x1 + [0] >= [0 0 0 0]x1 = 2(1(0(0(4(5(x1)))))) 1168.86/296.34 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.34 1168.86/296.34 [1 1 0 3] [1] [1 1 0 2] [1] 1168.86/296.34 [0 0 0 0] [1] [0 0 0 0] [1] 1168.86/296.34 0(1(0(0(0(x1))))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 0(0(5(1(0(0(x1)))))) 1168.86/296.34 [0 0 0 0] [1] [0 0 0 0] [1] 1168.86/296.34 1168.86/296.34 [1 1 0 0] [1] [1 0 0 0] 1168.86/296.34 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.34 0(1(2(4(0(x1))))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 0(0(5(4(2(1(x1)))))) 1168.86/296.34 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.34 1168.86/296.34 [1 1 0 0] [1] [1 0 0 0] [0] 1168.86/296.34 [0 0 0 0] [1] [0 0 0 0] [1] 1168.86/296.34 0(1(2(5(0(x1))))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 1(0(2(0(5(4(x1)))))) 1168.86/296.34 [0 0 0 0] [1] [0 0 0 0] [1] 1168.86/296.34 1168.86/296.34 [1 1 0 1] [1] [1 1 0 0] 1168.86/296.34 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.34 0(1(4(0(0(x1))))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 0(0(0(4(1(0(x1)))))) 1168.86/296.34 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.34 1168.86/296.34 [1 1 0 0] [1] [1 0 0 0] [0] 1168.86/296.34 [0 0 0 0] [1] [0 0 0 0] [1] 1168.86/296.34 0(1(4(5(0(x1))))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 1(5(0(0(4(2(x1)))))) 1168.86/296.34 [0 0 0 0] [1] [0 0 0 0] [1] 1168.86/296.34 1168.86/296.34 [1 1 0 0] [1] [1 1 0 0] 1168.86/296.34 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.34 5(0(1(2(0(x1))))) = [0 0 0 0]x1 + [0] >= [0 0 0 0]x1 = 0(0(5(2(1(0(x1)))))) 1168.86/296.34 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.34 1168.86/296.34 [1 1 0 1] [1] [1 1 0 0] 1168.86/296.34 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.34 0(1(1(3(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 3(4(5(1(1(0(x1)))))) 1168.86/296.34 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.34 1168.86/296.34 [1 1 0 2] [1] [1 0 0 0] [0] 1168.86/296.34 [0 0 0 0] [1] [0 0 0 0] [1] 1168.86/296.34 0(1(3(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 1(0(3(0(2(x1))))) 1168.86/296.34 [0 0 0 0] [1] [0 0 0 0] [1] 1168.86/296.34 1168.86/296.34 [1 1 0 2] [1] [1 1 0 2] [0] 1168.86/296.34 [0 0 0 0] [1] [0 0 0 0] [1] 1168.86/296.34 0(3(1(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 1(2(3(0(5(0(x1)))))) 1168.86/296.34 [0 0 0 0] [1] [0 0 0 0] [1] 1168.86/296.34 1168.86/296.34 [1 1 0 1] [3] [1 0 0 0] 1168.86/296.35 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.35 0(3(0(1(0(x1))))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 0(3(0(0(2(1(x1)))))) 1168.86/296.35 [0 0 0 0] [1] [0 0 0 0] 1168.86/296.35 1168.86/296.35 [1 1 0 2] [2] [1 1 0 1] [1] 1168.86/296.35 [0 0 0 0] [1] [0 0 0 0] [1] 1168.86/296.35 3(0(3(1(0(x1))))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 0(1(3(2(3(0(x1)))))) 1168.86/296.35 [0 0 0 0] [1] [0 0 0 0] [1] 1168.86/296.35 problem: 1168.86/296.35 strict: 1168.86/296.35 5(0(1(0(x1)))) -> 1(4(0(0(5(1(x1)))))) 1168.86/296.35 0(1(0(0(0(x1))))) -> 0(0(5(1(0(0(x1)))))) 1168.86/296.35 weak: 1168.86/296.35 0(1(0(x1))) -> 0(2(1(0(x1)))) 1168.86/296.35 0(1(0(x1))) -> 0(0(2(1(0(x1))))) 1168.86/296.35 0(1(0(x1))) -> 0(0(2(1(2(x1))))) 1168.86/296.35 0(1(0(x1))) -> 0(2(1(0(2(x1))))) 1168.86/296.35 0(1(0(x1))) -> 0(3(2(1(0(x1))))) 1168.86/296.35 0(1(0(x1))) -> 1(0(0(0(2(x1))))) 1168.86/296.35 0(1(0(x1))) -> 1(0(0(2(0(x1))))) 1168.86/296.35 0(1(0(x1))) -> 1(0(4(2(0(x1))))) 1168.86/296.35 0(1(0(x1))) -> 1(4(0(4(0(x1))))) 1168.86/296.35 0(1(0(x1))) -> 4(0(0(2(1(x1))))) 1168.86/296.35 0(1(0(x1))) -> 5(0(0(4(1(x1))))) 1168.86/296.35 0(1(0(x1))) -> 5(1(0(4(0(x1))))) 1168.86/296.35 0(1(0(x1))) -> 0(2(1(0(3(2(x1)))))) 1168.86/296.35 0(1(0(x1))) -> 0(4(0(4(1(3(x1)))))) 1168.86/296.35 0(1(0(x1))) -> 0(4(2(2(1(0(x1)))))) 1168.86/296.35 0(1(0(x1))) -> 0(5(2(1(2(0(x1)))))) 1168.86/296.35 0(1(0(x1))) -> 0(5(2(5(1(0(x1)))))) 1168.86/296.35 0(1(0(x1))) -> 1(0(0(5(4(4(x1)))))) 1168.86/296.35 0(1(0(x1))) -> 1(0(4(4(4(0(x1)))))) 1168.86/296.35 0(1(0(x1))) -> 1(5(0(0(4(2(x1)))))) 1168.86/296.35 0(1(0(x1))) -> 3(0(0(4(1(4(x1)))))) 1168.86/296.35 0(1(0(x1))) -> 4(5(1(0(2(0(x1)))))) 1168.86/296.35 0(1(0(x1))) -> 5(5(1(0(0(2(x1)))))) 1168.86/296.35 0(0(1(0(x1)))) -> 1(0(0(2(0(x1))))) 1168.86/296.35 0(0(1(0(x1)))) -> 0(1(5(0(0(2(x1)))))) 1168.86/296.35 0(1(0(3(x1)))) -> 1(0(3(3(0(2(x1)))))) 1168.86/296.35 0(1(0(3(x1)))) -> 1(0(5(3(2(0(x1)))))) 1168.86/296.35 0(1(1(0(x1)))) -> 0(4(4(1(1(0(x1)))))) 1168.86/296.35 0(1(2(0(x1)))) -> 1(1(0(2(0(x1))))) 1168.86/296.35 0(1(2(0(x1)))) -> 3(0(2(1(0(x1))))) 1168.86/296.35 0(1(2(0(x1)))) -> 4(1(0(0(2(x1))))) 1168.86/296.35 0(1(2(0(x1)))) -> 0(0(4(2(5(1(x1)))))) 1168.86/296.35 0(1(2(0(x1)))) -> 1(1(2(0(4(0(x1)))))) 1168.86/296.35 0(1(2(0(x1)))) -> 3(0(2(1(0(4(x1)))))) 1168.86/296.35 0(1(4(0(x1)))) -> 0(3(4(2(1(0(x1)))))) 1168.86/296.35 0(1(5(0(x1)))) -> 0(5(1(4(0(x1))))) 1168.86/296.35 0(1(5(0(x1)))) -> 1(5(3(0(2(0(x1)))))) 1168.86/296.35 5(0(1(0(x1)))) -> 2(1(0(0(4(5(x1)))))) 1168.86/296.35 0(1(2(4(0(x1))))) -> 0(0(5(4(2(1(x1)))))) 1168.86/296.35 0(1(2(5(0(x1))))) -> 1(0(2(0(5(4(x1)))))) 1168.86/296.35 0(1(4(0(0(x1))))) -> 0(0(0(4(1(0(x1)))))) 1168.86/296.35 0(1(4(5(0(x1))))) -> 1(5(0(0(4(2(x1)))))) 1168.86/296.35 5(0(1(2(0(x1))))) -> 0(0(5(2(1(0(x1)))))) 1168.86/296.35 0(1(1(3(x1)))) -> 3(4(5(1(1(0(x1)))))) 1168.86/296.35 0(1(3(0(x1)))) -> 1(0(3(0(2(x1))))) 1168.86/296.35 0(3(1(0(x1)))) -> 1(2(3(0(5(0(x1)))))) 1168.86/296.35 0(3(0(1(0(x1))))) -> 0(3(0(0(2(1(x1)))))) 1168.86/296.35 3(0(3(1(0(x1))))) -> 0(1(3(2(3(0(x1)))))) 1168.86/296.35 Matrix Interpretation Processor: dim=5 1168.86/296.35 1168.86/296.35 max_matrix: 1168.86/296.35 [1 1 0 0 0] 1168.86/296.35 [0 0 1 1 1] 1168.86/296.35 [0 0 0 1 1] 1168.86/296.35 [0 0 0 0 1] 1168.86/296.35 [0 0 0 0 0] 1168.86/296.35 interpretation: 1168.86/296.35 [1 0 0 0 0] [0] 1168.86/296.35 [0 0 0 1 0] [0] 1168.86/296.35 [5](x0) = [0 0 0 0 0]x0 + [1] 1168.86/296.35 [0 0 0 0 0] [1] 1168.86/296.35 [0 0 0 0 0] [1], 1168.86/296.35 1168.86/296.35 [1 0 0 0 0] [0] 1168.86/296.35 [0 0 0 0 0] [0] 1168.86/296.35 [4](x0) = [0 0 0 0 0]x0 + [1] 1168.86/296.35 [0 0 0 0 0] [0] 1168.86/296.35 [0 0 0 0 0] [0], 1168.86/296.35 1168.86/296.35 [1 1 0 0 0] [0] 1168.86/296.35 [0 0 1 0 0] [0] 1168.86/296.35 [3](x0) = [0 0 0 1 0]x0 + [0] 1168.86/296.35 [0 0 0 0 1] [0] 1168.86/296.35 [0 0 0 0 0] [1], 1168.86/296.35 1168.86/296.35 [1 0 0 0 0] [0] 1168.86/296.35 [0 0 0 0 0] [0] 1168.86/296.35 [2](x0) = [0 0 0 0 0]x0 + [1] 1168.86/296.35 [0 0 0 0 0] [0] 1168.86/296.35 [0 0 0 0 0] [0], 1168.86/296.35 1168.86/296.35 [1 0 0 0 0] [0] 1168.86/296.35 [0 0 0 0 0] [1] 1168.86/296.35 [1](x0) = [0 0 0 1 0]x0 + [0] 1168.86/296.35 [0 0 0 0 0] [0] 1168.86/296.35 [0 0 0 0 0] [1], 1168.86/296.37 1168.86/296.37 [1 1 0 0 0] [0] 1168.86/296.37 [0 0 0 0 1] [0] 1168.86/296.37 [0](x0) = [0 0 0 0 1]x0 + [0] 1168.86/296.37 [0 0 0 0 1] [0] 1168.86/296.37 [0 0 0 0 0] [1] 1168.86/296.37 orientation: 1168.86/296.37 [1 1 0 0 0] [1] [1 0 0 0 0] [1] 1168.86/296.37 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.86/296.37 5(0(1(0(x1)))) = [0 0 0 0 0]x1 + [1] >= [0 0 0 0 0]x1 + [0] = 1(4(0(0(5(1(x1)))))) 1168.86/296.37 [0 0 0 0 0] [1] [0 0 0 0 0] [0] 1168.86/296.37 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.86/296.37 1168.86/296.37 [1 1 0 0 1] [2] [1 1 0 0 1] [1] 1168.86/296.37 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.86/296.37 0(1(0(0(0(x1))))) = [0 0 0 0 0]x1 + [1] >= [0 0 0 0 0]x1 + [1] = 0(0(5(1(0(0(x1)))))) 1168.86/296.37 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.86/296.37 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.86/296.37 1168.86/296.37 [1 1 0 0 0] [1] [1 1 0 0 0] [0] 1168.86/296.37 [0 0 0 0 0] [1] [0 0 0 0 0] [0] 1168.86/296.37 0(1(0(x1))) = [0 0 0 0 0]x1 + [1] >= [0 0 0 0 0]x1 + [0] = 0(2(1(0(x1)))) 1168.86/296.37 [0 0 0 0 0] [1] [0 0 0 0 0] [0] 1168.86/296.37 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.86/296.37 1168.86/296.37 [1 1 0 0 0] [1] [1 1 0 0 0] [0] 1168.86/296.37 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.86/296.37 0(1(0(x1))) = [0 0 0 0 0]x1 + [1] >= [0 0 0 0 0]x1 + [1] = 0(0(2(1(0(x1))))) 1168.86/296.37 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.86/296.37 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.86/296.37 1168.86/296.37 [1 1 0 0 0] [1] [1 0 0 0 0] [0] 1168.86/296.37 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.86/296.37 0(1(0(x1))) = [0 0 0 0 0]x1 + [1] >= [0 0 0 0 0]x1 + [1] = 0(0(2(1(2(x1))))) 1168.86/296.37 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.86/296.37 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.86/296.37 1168.86/296.37 [1 1 0 0 0] [1] [1 0 0 0 0] [0] 1168.86/296.37 [0 0 0 0 0] [1] [0 0 0 0 0] [0] 1168.86/296.37 0(1(0(x1))) = [0 0 0 0 0]x1 + [1] >= [0 0 0 0 0]x1 + [0] = 0(2(1(0(2(x1))))) 1168.86/296.37 [0 0 0 0 0] [1] [0 0 0 0 0] [0] 1168.86/296.37 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.86/296.37 1168.86/296.37 [1 1 0 0 0] [1] [1 1 0 0 0] [1] 1168.86/296.37 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.86/296.37 0(1(0(x1))) = [0 0 0 0 0]x1 + [1] >= [0 0 0 0 0]x1 + [1] = 0(3(2(1(0(x1))))) 1168.86/296.37 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.86/296.37 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.86/296.37 1168.86/296.37 [1 1 0 0 0] [1] [1 0 0 0 0] [1] 1168.86/296.37 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.86/296.37 0(1(0(x1))) = [0 0 0 0 0]x1 + [1] >= [0 0 0 0 0]x1 + [1] = 1(0(0(0(2(x1))))) 1168.86/296.37 [0 0 0 0 0] [1] [0 0 0 0 0] [0] 1168.86/296.37 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.86/296.37 1168.86/296.37 [1 1 0 0 0] [1] [1 1 0 0 0] [0] 1168.86/296.37 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.86/296.37 0(1(0(x1))) = [0 0 0 0 0]x1 + [1] >= [0 0 0 0 0]x1 + [1] = 1(0(0(2(0(x1))))) 1168.86/296.37 [0 0 0 0 0] [1] [0 0 0 0 0] [0] 1168.86/296.37 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.86/296.39 1168.86/296.39 [1 1 0 0 0] [1] [1 1 0 0 0] [0] 1168.86/296.39 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.86/296.39 0(1(0(x1))) = [0 0 0 0 0]x1 + [1] >= [0 0 0 0 0]x1 + [0] = 1(0(4(2(0(x1))))) 1168.86/296.39 [0 0 0 0 0] [1] [0 0 0 0 0] [0] 1168.86/296.39 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.86/296.39 1168.86/296.39 [1 1 0 0 0] [1] [1 1 0 0 0] [0] 1168.86/296.39 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.86/296.39 0(1(0(x1))) = [0 0 0 0 0]x1 + [1] >= [0 0 0 0 0]x1 + [0] = 1(4(0(4(0(x1))))) 1168.86/296.39 [0 0 0 0 0] [1] [0 0 0 0 0] [0] 1168.86/296.39 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.86/296.39 1168.86/296.39 [1 1 0 0 0] [1] [1 0 0 0 0] [0] 1168.86/296.39 [0 0 0 0 0] [1] [0 0 0 0 0] [0] 1168.86/296.39 0(1(0(x1))) = [0 0 0 0 0]x1 + [1] >= [0 0 0 0 0]x1 + [1] = 4(0(0(2(1(x1))))) 1168.86/296.39 [0 0 0 0 0] [1] [0 0 0 0 0] [0] 1168.86/296.39 [0 0 0 0 0] [1] [0 0 0 0 0] [0] 1168.86/296.39 1168.86/296.39 [1 1 0 0 0] [1] [1 0 0 0 0] [0] 1168.86/296.39 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.86/296.39 0(1(0(x1))) = [0 0 0 0 0]x1 + [1] >= [0 0 0 0 0]x1 + [1] = 5(0(0(4(1(x1))))) 1168.86/296.39 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.86/296.39 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.86/296.39 1168.86/296.39 [1 1 0 0 0] [1] [1 1 0 0 0] [0] 1168.86/296.39 [0 0 0 0 0] [1] [0 0 0 0 0] [0] 1168.86/296.39 0(1(0(x1))) = [0 0 0 0 0]x1 + [1] >= [0 0 0 0 0]x1 + [1] = 5(1(0(4(0(x1))))) 1168.86/296.39 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.86/296.39 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.86/296.39 1168.86/296.39 [1 1 0 0 0] [1] [1 0 0 0 0] [1] 1168.86/296.39 [0 0 0 0 0] [1] [0 0 0 0 0] [0] 1168.86/296.39 0(1(0(x1))) = [0 0 0 0 0]x1 + [1] >= [0 0 0 0 0]x1 + [0] = 0(2(1(0(3(2(x1)))))) 1168.86/296.39 [0 0 0 0 0] [1] [0 0 0 0 0] [0] 1168.86/296.39 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.86/296.39 1168.86/296.39 [1 1 0 0 0] [1] [1 1 0 0 0] [0] 1168.86/296.39 [0 0 0 0 0] [1] [0 0 0 0 0] [0] 1168.86/296.39 0(1(0(x1))) = [0 0 0 0 0]x1 + [1] >= [0 0 0 0 0]x1 + [0] = 0(4(0(4(1(3(x1)))))) 1168.86/296.39 [0 0 0 0 0] [1] [0 0 0 0 0] [0] 1168.86/296.39 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.86/296.39 1168.86/296.39 [1 1 0 0 0] [1] [1 1 0 0 0] [0] 1168.86/296.39 [0 0 0 0 0] [1] [0 0 0 0 0] [0] 1168.86/296.39 0(1(0(x1))) = [0 0 0 0 0]x1 + [1] >= [0 0 0 0 0]x1 + [0] = 0(4(2(2(1(0(x1)))))) 1168.86/296.39 [0 0 0 0 0] [1] [0 0 0 0 0] [0] 1168.86/296.39 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.86/296.39 1168.86/296.39 [1 1 0 0 0] [1] [1 1 0 0 0] [0] 1168.86/296.39 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.86/296.39 0(1(0(x1))) = [0 0 0 0 0]x1 + [1] >= [0 0 0 0 0]x1 + [1] = 0(5(2(1(2(0(x1)))))) 1168.86/296.39 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.86/296.39 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.86/296.39 1168.86/296.39 [1 1 0 0 0] [1] [1 1 0 0 0] [0] 1168.96/296.41 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.41 0(1(0(x1))) = [0 0 0 0 0]x1 + [1] >= [0 0 0 0 0]x1 + [1] = 0(5(2(5(1(0(x1)))))) 1168.96/296.41 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.41 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.41 1168.96/296.41 [1 1 0 0 0] [1] [1 0 0 0 0] [1] 1168.96/296.41 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.41 0(1(0(x1))) = [0 0 0 0 0]x1 + [1] >= [0 0 0 0 0]x1 + [1] = 1(0(0(5(4(4(x1)))))) 1168.96/296.41 [0 0 0 0 0] [1] [0 0 0 0 0] [0] 1168.96/296.41 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.41 1168.96/296.41 [1 1 0 0 0] [1] [1 1 0 0 0] [0] 1168.96/296.41 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.41 0(1(0(x1))) = [0 0 0 0 0]x1 + [1] >= [0 0 0 0 0]x1 + [0] = 1(0(4(4(4(0(x1)))))) 1168.96/296.41 [0 0 0 0 0] [1] [0 0 0 0 0] [0] 1168.96/296.41 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.41 1168.96/296.41 [1 1 0 0 0] [1] [1 0 0 0 0] [0] 1168.96/296.41 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.41 0(1(0(x1))) = [0 0 0 0 0]x1 + [1] >= [0 0 0 0 0]x1 + [1] = 1(5(0(0(4(2(x1)))))) 1168.96/296.41 [0 0 0 0 0] [1] [0 0 0 0 0] [0] 1168.96/296.41 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.41 1168.96/296.41 [1 1 0 0 0] [1] [1 0 0 0 0] [1] 1168.96/296.41 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.41 0(1(0(x1))) = [0 0 0 0 0]x1 + [1] >= [0 0 0 0 0]x1 + [1] = 3(0(0(4(1(4(x1)))))) 1168.96/296.41 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.41 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.41 1168.96/296.41 [1 1 0 0 0] [1] [1 1 0 0 0] [0] 1168.96/296.41 [0 0 0 0 0] [1] [0 0 0 0 0] [0] 1168.96/296.41 0(1(0(x1))) = [0 0 0 0 0]x1 + [1] >= [0 0 0 0 0]x1 + [1] = 4(5(1(0(2(0(x1)))))) 1168.96/296.41 [0 0 0 0 0] [1] [0 0 0 0 0] [0] 1168.96/296.41 [0 0 0 0 0] [1] [0 0 0 0 0] [0] 1168.96/296.41 1168.96/296.41 [1 1 0 0 0] [1] [1 0 0 0 0] [0] 1168.96/296.41 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.41 0(1(0(x1))) = [0 0 0 0 0]x1 + [1] >= [0 0 0 0 0]x1 + [1] = 5(5(1(0(0(2(x1)))))) 1168.96/296.41 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.41 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.41 1168.96/296.41 [1 1 0 0 0] [2] [1 1 0 0 0] [0] 1168.96/296.41 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.41 0(0(1(0(x1)))) = [0 0 0 0 0]x1 + [1] >= [0 0 0 0 0]x1 + [1] = 1(0(0(2(0(x1))))) 1168.96/296.41 [0 0 0 0 0] [1] [0 0 0 0 0] [0] 1168.96/296.41 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.41 1168.96/296.41 [1 1 0 0 0] [2] [1 0 0 0 0] [1] 1168.96/296.41 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.41 0(0(1(0(x1)))) = [0 0 0 0 0]x1 + [1] >= [0 0 0 0 0]x1 + [1] = 0(1(5(0(0(2(x1)))))) 1168.96/296.41 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.41 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.41 1168.96/296.41 [1 1 1 0 0] [1] [1 0 0 0 0] [0] 1168.96/296.43 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.43 0(1(0(3(x1)))) = [0 0 0 0 0]x1 + [1] >= [0 0 0 0 0]x1 + [1] = 1(0(3(3(0(2(x1)))))) 1168.96/296.43 [0 0 0 0 0] [1] [0 0 0 0 0] [0] 1168.96/296.43 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.43 1168.96/296.43 [1 1 1 0 0] [1] [1 1 0 0 0] [0] 1168.96/296.43 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.43 0(1(0(3(x1)))) = [0 0 0 0 0]x1 + [1] >= [0 0 0 0 0]x1 + [1] = 1(0(5(3(2(0(x1)))))) 1168.96/296.43 [0 0 0 0 0] [1] [0 0 0 0 0] [0] 1168.96/296.43 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.43 1168.96/296.43 [1 1 0 0 0] [1] [1 1 0 0 0] [0] 1168.96/296.43 [0 0 0 0 0] [1] [0 0 0 0 0] [0] 1168.96/296.43 0(1(1(0(x1)))) = [0 0 0 0 0]x1 + [1] >= [0 0 0 0 0]x1 + [0] = 0(4(4(1(1(0(x1)))))) 1168.96/296.43 [0 0 0 0 0] [1] [0 0 0 0 0] [0] 1168.96/296.43 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.43 1168.96/296.43 [1 1 0 0 0] [1] [1 1 0 0 0] [0] 1168.96/296.43 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.43 0(1(2(0(x1)))) = [0 0 0 0 0]x1 + [1] >= [0 0 0 0 0]x1 + [0] = 1(1(0(2(0(x1))))) 1168.96/296.43 [0 0 0 0 0] [1] [0 0 0 0 0] [0] 1168.96/296.43 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.43 1168.96/296.43 [1 1 0 0 0] [1] [1 1 0 0 0] [0] 1168.96/296.43 [0 0 0 0 0] [1] [0 0 0 0 0] [0] 1168.96/296.43 0(1(2(0(x1)))) = [0 0 0 0 0]x1 + [1] >= [0 0 0 0 0]x1 + [0] = 3(0(2(1(0(x1))))) 1168.96/296.43 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.43 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.43 1168.96/296.43 [1 1 0 0 0] [1] [1 0 0 0 0] [0] 1168.96/296.43 [0 0 0 0 0] [1] [0 0 0 0 0] [0] 1168.96/296.43 0(1(2(0(x1)))) = [0 0 0 0 0]x1 + [1] >= [0 0 0 0 0]x1 + [1] = 4(1(0(0(2(x1))))) 1168.96/296.43 [0 0 0 0 0] [1] [0 0 0 0 0] [0] 1168.96/296.43 [0 0 0 0 0] [1] [0 0 0 0 0] [0] 1168.96/296.43 1168.96/296.43 [1 1 0 0 0] [1] [1 0 0 0 0] [0] 1168.96/296.43 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.43 0(1(2(0(x1)))) = [0 0 0 0 0]x1 + [1] >= [0 0 0 0 0]x1 + [1] = 0(0(4(2(5(1(x1)))))) 1168.96/296.43 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.43 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.43 1168.96/296.43 [1 1 0 0 0] [1] [1 1 0 0 0] [0] 1168.96/296.43 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.43 0(1(2(0(x1)))) = [0 0 0 0 0]x1 + [1] >= [0 0 0 0 0]x1 + [0] = 1(1(2(0(4(0(x1)))))) 1168.96/296.43 [0 0 0 0 0] [1] [0 0 0 0 0] [0] 1168.96/296.43 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.43 1168.96/296.43 [1 1 0 0 0] [1] [1 0 0 0 0] [0] 1168.96/296.43 [0 0 0 0 0] [1] [0 0 0 0 0] [0] 1168.96/296.43 0(1(2(0(x1)))) = [0 0 0 0 0]x1 + [1] >= [0 0 0 0 0]x1 + [0] = 3(0(2(1(0(4(x1)))))) 1168.96/296.43 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.43 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.43 1168.96/296.43 [1 1 0 0 0] [1] [1 1 0 0 0] [1] 1168.96/296.44 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.44 0(1(4(0(x1)))) = [0 0 0 0 0]x1 + [1] >= [0 0 0 0 0]x1 + [1] = 0(3(4(2(1(0(x1)))))) 1168.96/296.44 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.44 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.44 1168.96/296.44 [1 1 0 0 0] [1] [1 1 0 0 0] [0] 1168.96/296.44 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.44 0(1(5(0(x1)))) = [0 0 0 0 0]x1 + [1] >= [0 0 0 0 0]x1 + [1] = 0(5(1(4(0(x1))))) 1168.96/296.44 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.44 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.44 1168.96/296.44 [1 1 0 0 0] [1] [1 1 0 0 0] [0] 1168.96/296.44 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.44 0(1(5(0(x1)))) = [0 0 0 0 0]x1 + [1] >= [0 0 0 0 0]x1 + [1] = 1(5(3(0(2(0(x1)))))) 1168.96/296.44 [0 0 0 0 0] [1] [0 0 0 0 0] [0] 1168.96/296.44 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.44 1168.96/296.44 [1 1 0 0 0] [1] [1 0 0 0 0] [0] 1168.96/296.44 [0 0 0 0 0] [1] [0 0 0 0 0] [0] 1168.96/296.44 5(0(1(0(x1)))) = [0 0 0 0 0]x1 + [1] >= [0 0 0 0 0]x1 + [1] = 2(1(0(0(4(5(x1)))))) 1168.96/296.44 [0 0 0 0 0] [1] [0 0 0 0 0] [0] 1168.96/296.44 [0 0 0 0 0] [1] [0 0 0 0 0] [0] 1168.96/296.44 1168.96/296.44 [1 1 0 0 0] [1] [1 0 0 0 0] [1] 1168.96/296.44 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.44 0(1(2(4(0(x1))))) = [0 0 0 0 0]x1 + [1] >= [0 0 0 0 0]x1 + [1] = 0(0(5(4(2(1(x1)))))) 1168.96/296.44 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.44 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.44 1168.96/296.44 [1 1 0 0 0] [1] [1 0 0 0 0] [0] 1168.96/296.44 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.44 0(1(2(5(0(x1))))) = [0 0 0 0 0]x1 + [1] >= [0 0 0 0 0]x1 + [0] = 1(0(2(0(5(4(x1)))))) 1168.96/296.44 [0 0 0 0 0] [1] [0 0 0 0 0] [0] 1168.96/296.44 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.44 1168.96/296.44 [1 1 0 0 1] [1] [1 1 0 0 0] [1] 1168.96/296.44 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.44 0(1(4(0(0(x1))))) = [0 0 0 0 0]x1 + [1] >= [0 0 0 0 0]x1 + [1] = 0(0(0(4(1(0(x1)))))) 1168.96/296.44 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.44 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.44 1168.96/296.44 [1 1 0 0 0] [1] [1 0 0 0 0] [0] 1168.96/296.44 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.44 0(1(4(5(0(x1))))) = [0 0 0 0 0]x1 + [1] >= [0 0 0 0 0]x1 + [1] = 1(5(0(0(4(2(x1)))))) 1168.96/296.44 [0 0 0 0 0] [1] [0 0 0 0 0] [0] 1168.96/296.44 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.44 1168.96/296.44 [1 1 0 0 0] [1] [1 1 0 0 0] [1] 1168.96/296.44 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.44 5(0(1(2(0(x1))))) = [0 0 0 0 0]x1 + [1] >= [0 0 0 0 0]x1 + [1] = 0(0(5(2(1(0(x1)))))) 1168.96/296.44 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.44 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.46 1168.96/296.46 [1 1 0 0 0] [1] [1 1 0 0 0] [0] 1168.96/296.46 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.46 0(1(1(3(x1)))) = [0 0 0 0 0]x1 + [1] >= [0 0 0 0 0]x1 + [0] = 3(4(5(1(1(0(x1)))))) 1168.96/296.46 [0 0 0 0 0] [1] [0 0 0 0 0] [0] 1168.96/296.46 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.46 1168.96/296.46 [1 1 0 0 1] [1] [1 0 0 0 0] [0] 1168.96/296.46 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.46 0(1(3(0(x1)))) = [0 0 0 0 0]x1 + [1] >= [0 0 0 0 0]x1 + [1] = 1(0(3(0(2(x1))))) 1168.96/296.46 [0 0 0 0 0] [1] [0 0 0 0 0] [0] 1168.96/296.46 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.46 1168.96/296.46 [1 1 0 0 1] [1] [1 1 0 0 1] [1] 1168.96/296.46 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.46 0(3(1(0(x1)))) = [0 0 0 0 0]x1 + [1] >= [0 0 0 0 0]x1 + [0] = 1(2(3(0(5(0(x1)))))) 1168.96/296.46 [0 0 0 0 0] [1] [0 0 0 0 0] [0] 1168.96/296.46 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.46 1168.96/296.46 [1 1 0 0 0] [3] [1 0 0 0 0] [2] 1168.96/296.46 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.46 0(3(0(1(0(x1))))) = [0 0 0 0 0]x1 + [1] >= [0 0 0 0 0]x1 + [1] = 0(3(0(0(2(1(x1)))))) 1168.96/296.46 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.46 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.46 1168.96/296.46 [1 1 0 0 1] [2] [1 1 0 0 1] [1] 1168.96/296.46 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.46 3(0(3(1(0(x1))))) = [0 0 0 0 0]x1 + [1] >= [0 0 0 0 0]x1 + [1] = 0(1(3(2(3(0(x1)))))) 1168.96/296.46 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.46 [0 0 0 0 0] [1] [0 0 0 0 0] [1] 1168.96/296.46 problem: 1168.96/296.46 strict: 1168.96/296.46 5(0(1(0(x1)))) -> 1(4(0(0(5(1(x1)))))) 1168.96/296.46 weak: 1168.96/296.46 0(1(0(0(0(x1))))) -> 0(0(5(1(0(0(x1)))))) 1168.96/296.46 0(1(0(x1))) -> 0(2(1(0(x1)))) 1168.96/296.46 0(1(0(x1))) -> 0(0(2(1(0(x1))))) 1168.96/296.46 0(1(0(x1))) -> 0(0(2(1(2(x1))))) 1168.96/296.46 0(1(0(x1))) -> 0(2(1(0(2(x1))))) 1168.96/296.46 0(1(0(x1))) -> 0(3(2(1(0(x1))))) 1168.96/296.46 0(1(0(x1))) -> 1(0(0(0(2(x1))))) 1168.96/296.46 0(1(0(x1))) -> 1(0(0(2(0(x1))))) 1168.96/296.46 0(1(0(x1))) -> 1(0(4(2(0(x1))))) 1168.96/296.46 0(1(0(x1))) -> 1(4(0(4(0(x1))))) 1168.96/296.46 0(1(0(x1))) -> 4(0(0(2(1(x1))))) 1168.96/296.46 0(1(0(x1))) -> 5(0(0(4(1(x1))))) 1168.96/296.46 0(1(0(x1))) -> 5(1(0(4(0(x1))))) 1168.96/296.46 0(1(0(x1))) -> 0(2(1(0(3(2(x1)))))) 1168.96/296.46 0(1(0(x1))) -> 0(4(0(4(1(3(x1)))))) 1168.96/296.46 0(1(0(x1))) -> 0(4(2(2(1(0(x1)))))) 1168.96/296.46 0(1(0(x1))) -> 0(5(2(1(2(0(x1)))))) 1168.96/296.46 0(1(0(x1))) -> 0(5(2(5(1(0(x1)))))) 1168.96/296.46 0(1(0(x1))) -> 1(0(0(5(4(4(x1)))))) 1168.96/296.46 0(1(0(x1))) -> 1(0(4(4(4(0(x1)))))) 1168.96/296.46 0(1(0(x1))) -> 1(5(0(0(4(2(x1)))))) 1168.96/296.46 0(1(0(x1))) -> 3(0(0(4(1(4(x1)))))) 1168.96/296.46 0(1(0(x1))) -> 4(5(1(0(2(0(x1)))))) 1168.96/296.46 0(1(0(x1))) -> 5(5(1(0(0(2(x1)))))) 1168.96/296.46 0(0(1(0(x1)))) -> 1(0(0(2(0(x1))))) 1168.96/296.46 0(0(1(0(x1)))) -> 0(1(5(0(0(2(x1)))))) 1168.96/296.46 0(1(0(3(x1)))) -> 1(0(3(3(0(2(x1)))))) 1168.96/296.46 0(1(0(3(x1)))) -> 1(0(5(3(2(0(x1)))))) 1168.96/296.46 0(1(1(0(x1)))) -> 0(4(4(1(1(0(x1)))))) 1168.96/296.46 0(1(2(0(x1)))) -> 1(1(0(2(0(x1))))) 1168.96/296.46 0(1(2(0(x1)))) -> 3(0(2(1(0(x1))))) 1168.96/296.46 0(1(2(0(x1)))) -> 4(1(0(0(2(x1))))) 1168.96/296.46 0(1(2(0(x1)))) -> 0(0(4(2(5(1(x1)))))) 1168.96/296.46 0(1(2(0(x1)))) -> 1(1(2(0(4(0(x1)))))) 1168.96/296.46 0(1(2(0(x1)))) -> 3(0(2(1(0(4(x1)))))) 1168.96/296.46 0(1(4(0(x1)))) -> 0(3(4(2(1(0(x1)))))) 1168.96/296.47 0(1(5(0(x1)))) -> 0(5(1(4(0(x1))))) 1168.96/296.47 0(1(5(0(x1)))) -> 1(5(3(0(2(0(x1)))))) 1168.96/296.47 5(0(1(0(x1)))) -> 2(1(0(0(4(5(x1)))))) 1168.96/296.47 0(1(2(4(0(x1))))) -> 0(0(5(4(2(1(x1)))))) 1168.96/296.47 0(1(2(5(0(x1))))) -> 1(0(2(0(5(4(x1)))))) 1168.96/296.47 0(1(4(0(0(x1))))) -> 0(0(0(4(1(0(x1)))))) 1168.96/296.47 0(1(4(5(0(x1))))) -> 1(5(0(0(4(2(x1)))))) 1168.96/296.47 5(0(1(2(0(x1))))) -> 0(0(5(2(1(0(x1)))))) 1168.96/296.47 0(1(1(3(x1)))) -> 3(4(5(1(1(0(x1)))))) 1168.96/296.47 0(1(3(0(x1)))) -> 1(0(3(0(2(x1))))) 1168.96/296.47 0(3(1(0(x1)))) -> 1(2(3(0(5(0(x1)))))) 1168.96/296.47 0(3(0(1(0(x1))))) -> 0(3(0(0(2(1(x1)))))) 1168.96/296.47 3(0(3(1(0(x1))))) -> 0(1(3(2(3(0(x1)))))) 1168.96/296.47 Matrix Interpretation Processor: dim=4 1168.96/296.47 1168.96/296.47 max_matrix: 1168.96/296.47 [1 1 1 0] 1168.96/296.47 [0 0 1 0] 1168.96/296.47 [0 0 1 1] 1168.96/296.47 [0 0 0 0] 1168.96/296.47 interpretation: 1168.96/296.47 [1 0 0 0] [0] 1168.96/296.47 [0 0 0 0] [0] 1168.96/296.47 [5](x0) = [0 0 0 1]x0 + [0] 1168.96/296.47 [0 0 0 0] [1], 1168.96/296.47 1168.96/296.47 [1 0 0 0] 1168.96/296.47 [0 0 0 0] 1168.96/296.47 [4](x0) = [0 0 0 0]x0 1168.96/296.47 [0 0 0 0] , 1168.96/296.47 1168.96/296.47 [1 1 0 0] [0] 1168.96/296.47 [0 0 1 0] [0] 1168.96/296.47 [3](x0) = [0 0 0 0]x0 + [1] 1168.96/296.47 [0 0 0 0] [1], 1168.96/296.47 1168.96/296.47 [1 0 0 0] 1168.96/296.47 [0 0 0 0] 1168.96/296.47 [2](x0) = [0 0 0 0]x0 1168.96/296.47 [0 0 0 0] , 1168.96/296.47 1168.96/296.47 [1 1 0 0] [0] 1168.96/296.47 [0 0 0 0] [0] 1168.96/296.47 [1](x0) = [0 0 0 0]x0 + [1] 1168.96/296.47 [0 0 0 0] [0], 1168.96/296.47 1168.96/296.47 [1 1 1 0] [0] 1168.96/296.47 [0 0 0 0] [0] 1168.96/296.47 [0](x0) = [0 0 1 0]x0 + [0] 1168.96/296.47 [0 0 0 0] [1] 1168.96/296.47 orientation: 1168.96/296.47 [1 1 1 0] [1] [1 1 0 0] [0] 1168.96/296.47 [0 0 0 0] [0] [0 0 0 0] [0] 1168.96/296.47 5(0(1(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 1(4(0(0(5(1(x1)))))) 1168.96/296.47 [0 0 0 0] [1] [0 0 0 0] [0] 1168.96/296.47 1168.96/296.47 [1 1 3 0] [1] [1 1 2 0] [0] 1168.96/296.47 [0 0 0 0] [0] [0 0 0 0] [0] 1168.96/296.47 0(1(0(0(0(x1))))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 0(0(5(1(0(0(x1)))))) 1168.96/296.47 [0 0 0 0] [1] [0 0 0 0] [1] 1168.96/296.47 1168.96/296.47 [1 1 1 0] [1] [1 1 1 0] [0] 1168.96/296.47 [0 0 0 0] [0] [0 0 0 0] [0] 1168.96/296.47 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 0(2(1(0(x1)))) 1168.96/296.47 [0 0 0 0] [1] [0 0 0 0] [1] 1168.96/296.47 1168.96/296.47 [1 1 1 0] [1] [1 1 1 0] [0] 1168.96/296.47 [0 0 0 0] [0] [0 0 0 0] [0] 1168.96/296.47 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 0(0(2(1(0(x1))))) 1168.96/296.47 [0 0 0 0] [1] [0 0 0 0] [1] 1168.96/296.47 1168.96/296.47 [1 1 1 0] [1] [1 0 0 0] [0] 1168.96/296.47 [0 0 0 0] [0] [0 0 0 0] [0] 1168.96/296.47 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 0(0(2(1(2(x1))))) 1168.96/296.47 [0 0 0 0] [1] [0 0 0 0] [1] 1168.96/296.47 1168.96/296.47 [1 1 1 0] [1] [1 0 0 0] [0] 1168.96/296.47 [0 0 0 0] [0] [0 0 0 0] [0] 1168.96/296.47 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 0(2(1(0(2(x1))))) 1168.96/296.47 [0 0 0 0] [1] [0 0 0 0] [1] 1168.96/296.47 1168.96/296.47 [1 1 1 0] [1] [1 1 1 0] [1] 1168.96/296.47 [0 0 0 0] [0] [0 0 0 0] [0] 1168.96/296.47 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 0(3(2(1(0(x1))))) 1168.96/296.47 [0 0 0 0] [1] [0 0 0 0] [1] 1168.96/296.48 1168.96/296.48 [1 1 1 0] [1] [1 0 0 0] [0] 1168.96/296.48 [0 0 0 0] [0] [0 0 0 0] [0] 1168.96/296.48 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 1(0(0(0(2(x1))))) 1168.96/296.48 [0 0 0 0] [1] [0 0 0 0] [0] 1168.96/296.48 1168.96/296.48 [1 1 1 0] [1] [1 1 1 0] [0] 1168.96/296.48 [0 0 0 0] [0] [0 0 0 0] [0] 1168.96/296.48 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 1(0(0(2(0(x1))))) 1168.96/296.48 [0 0 0 0] [1] [0 0 0 0] [0] 1168.96/296.48 1168.96/296.48 [1 1 1 0] [1] [1 1 1 0] [0] 1168.96/296.48 [0 0 0 0] [0] [0 0 0 0] [0] 1168.96/296.48 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 1(0(4(2(0(x1))))) 1168.96/296.48 [0 0 0 0] [1] [0 0 0 0] [0] 1168.96/296.48 1168.96/296.48 [1 1 1 0] [1] [1 1 1 0] [0] 1168.96/296.48 [0 0 0 0] [0] [0 0 0 0] [0] 1168.96/296.48 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 1(4(0(4(0(x1))))) 1168.96/296.48 [0 0 0 0] [1] [0 0 0 0] [0] 1168.96/296.48 1168.96/296.48 [1 1 1 0] [1] [1 1 0 0] 1168.96/296.48 [0 0 0 0] [0] [0 0 0 0] 1168.96/296.48 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 4(0(0(2(1(x1))))) 1168.96/296.48 [0 0 0 0] [1] [0 0 0 0] 1168.96/296.48 1168.96/296.48 [1 1 1 0] [1] [1 1 0 0] [0] 1168.96/296.48 [0 0 0 0] [0] [0 0 0 0] [0] 1168.96/296.48 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 5(0(0(4(1(x1))))) 1168.96/296.48 [0 0 0 0] [1] [0 0 0 0] [1] 1168.96/296.48 1168.96/296.48 [1 1 1 0] [1] [1 1 1 0] [0] 1168.96/296.48 [0 0 0 0] [0] [0 0 0 0] [0] 1168.96/296.48 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 5(1(0(4(0(x1))))) 1168.96/296.48 [0 0 0 0] [1] [0 0 0 0] [1] 1168.96/296.48 1168.96/296.48 [1 1 1 0] [1] [1 0 0 0] [1] 1168.96/296.48 [0 0 0 0] [0] [0 0 0 0] [0] 1168.96/296.48 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 0(2(1(0(3(2(x1)))))) 1168.96/296.48 [0 0 0 0] [1] [0 0 0 0] [1] 1168.96/296.48 1168.96/296.48 [1 1 1 0] [1] [1 1 1 0] [0] 1168.96/296.48 [0 0 0 0] [0] [0 0 0 0] [0] 1168.96/296.48 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 0(4(0(4(1(3(x1)))))) 1168.96/296.48 [0 0 0 0] [1] [0 0 0 0] [1] 1168.96/296.48 1168.96/296.48 [1 1 1 0] [1] [1 1 1 0] [0] 1168.96/296.48 [0 0 0 0] [0] [0 0 0 0] [0] 1168.96/296.48 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 0(4(2(2(1(0(x1)))))) 1168.96/296.48 [0 0 0 0] [1] [0 0 0 0] [1] 1168.96/296.48 1168.96/296.48 [1 1 1 0] [1] [1 1 1 0] [0] 1168.96/296.48 [0 0 0 0] [0] [0 0 0 0] [0] 1168.96/296.48 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 0(5(2(1(2(0(x1)))))) 1168.96/296.48 [0 0 0 0] [1] [0 0 0 0] [1] 1168.96/296.48 1168.96/296.48 [1 1 1 0] [1] [1 1 1 0] [0] 1168.96/296.48 [0 0 0 0] [0] [0 0 0 0] [0] 1168.96/296.48 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 0(5(2(5(1(0(x1)))))) 1168.96/296.48 [0 0 0 0] [1] [0 0 0 0] [1] 1169.06/296.50 1169.06/296.50 [1 1 1 0] [1] [1 0 0 0] [0] 1169.06/296.50 [0 0 0 0] [0] [0 0 0 0] [0] 1169.06/296.50 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 1(0(0(5(4(4(x1)))))) 1169.06/296.50 [0 0 0 0] [1] [0 0 0 0] [0] 1169.06/296.50 1169.06/296.50 [1 1 1 0] [1] [1 1 1 0] [0] 1169.06/296.50 [0 0 0 0] [0] [0 0 0 0] [0] 1169.06/296.50 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 1(0(4(4(4(0(x1)))))) 1169.06/296.50 [0 0 0 0] [1] [0 0 0 0] [0] 1169.06/296.50 1169.06/296.50 [1 1 1 0] [1] [1 0 0 0] [0] 1169.06/296.50 [0 0 0 0] [0] [0 0 0 0] [0] 1169.06/296.50 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 1(5(0(0(4(2(x1)))))) 1169.06/296.50 [0 0 0 0] [1] [0 0 0 0] [0] 1169.06/296.50 1169.06/296.50 [1 1 1 0] [1] [1 0 0 0] [0] 1169.06/296.50 [0 0 0 0] [0] [0 0 0 0] [0] 1169.06/296.50 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 3(0(0(4(1(4(x1)))))) 1169.06/296.50 [0 0 0 0] [1] [0 0 0 0] [1] 1169.06/296.50 1169.06/296.50 [1 1 1 0] [1] [1 1 1 0] 1169.06/296.50 [0 0 0 0] [0] [0 0 0 0] 1169.06/296.50 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 4(5(1(0(2(0(x1)))))) 1169.06/296.50 [0 0 0 0] [1] [0 0 0 0] 1169.06/296.50 1169.06/296.50 [1 1 1 0] [1] [1 0 0 0] [0] 1169.06/296.50 [0 0 0 0] [0] [0 0 0 0] [0] 1169.06/296.50 0(1(0(x1))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 5(5(1(0(0(2(x1)))))) 1169.06/296.50 [0 0 0 0] [1] [0 0 0 0] [1] 1169.06/296.50 1169.06/296.50 [1 1 1 0] [2] [1 1 1 0] [0] 1169.06/296.50 [0 0 0 0] [0] [0 0 0 0] [0] 1169.06/296.50 0(0(1(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 1(0(0(2(0(x1))))) 1169.06/296.50 [0 0 0 0] [1] [0 0 0 0] [0] 1169.06/296.50 1169.06/296.50 [1 1 1 0] [2] [1 0 0 0] [1] 1169.06/296.50 [0 0 0 0] [0] [0 0 0 0] [0] 1169.06/296.50 0(0(1(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 0(1(5(0(0(2(x1)))))) 1169.06/296.50 [0 0 0 0] [1] [0 0 0 0] [1] 1169.06/296.50 1169.06/296.50 [1 1 1 0] [2] [1 0 0 0] [2] 1169.06/296.50 [0 0 0 0] [0] [0 0 0 0] [0] 1169.06/296.50 0(1(0(3(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 1(0(3(3(0(2(x1)))))) 1169.06/296.50 [0 0 0 0] [1] [0 0 0 0] [0] 1169.06/296.50 1169.06/296.50 [1 1 1 0] [2] [1 1 1 0] [1] 1169.06/296.50 [0 0 0 0] [0] [0 0 0 0] [0] 1169.06/296.50 0(1(0(3(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 1(0(5(3(2(0(x1)))))) 1169.06/296.50 [0 0 0 0] [1] [0 0 0 0] [0] 1169.06/296.50 1169.06/296.50 [1 1 1 0] [1] [1 1 1 0] [0] 1169.06/296.50 [0 0 0 0] [0] [0 0 0 0] [0] 1169.06/296.50 0(1(1(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 0(4(4(1(1(0(x1)))))) 1169.06/296.50 [0 0 0 0] [1] [0 0 0 0] [1] 1169.06/296.50 1169.06/296.50 [1 1 1 0] [1] [1 1 1 0] [0] 1169.06/296.50 [0 0 0 0] [0] [0 0 0 0] [0] 1169.06/296.51 0(1(2(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 1(1(0(2(0(x1))))) 1169.06/296.51 [0 0 0 0] [1] [0 0 0 0] [0] 1169.06/296.51 1169.06/296.51 [1 1 1 0] [1] [1 1 1 0] [0] 1169.06/296.51 [0 0 0 0] [0] [0 0 0 0] [0] 1169.06/296.51 0(1(2(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 3(0(2(1(0(x1))))) 1169.06/296.51 [0 0 0 0] [1] [0 0 0 0] [1] 1169.06/296.51 1169.06/296.51 [1 1 1 0] [1] [1 0 0 0] 1169.06/296.51 [0 0 0 0] [0] [0 0 0 0] 1169.06/296.51 0(1(2(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 4(1(0(0(2(x1))))) 1169.06/296.51 [0 0 0 0] [1] [0 0 0 0] 1169.06/296.51 1169.06/296.51 [1 1 1 0] [1] [1 1 0 0] [0] 1169.06/296.51 [0 0 0 0] [0] [0 0 0 0] [0] 1169.06/296.51 0(1(2(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 0(0(4(2(5(1(x1)))))) 1169.06/296.51 [0 0 0 0] [1] [0 0 0 0] [1] 1169.06/296.51 1169.06/296.51 [1 1 1 0] [1] [1 1 1 0] [0] 1169.06/296.51 [0 0 0 0] [0] [0 0 0 0] [0] 1169.06/296.51 0(1(2(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 1(1(2(0(4(0(x1)))))) 1169.06/296.51 [0 0 0 0] [1] [0 0 0 0] [0] 1169.06/296.51 1169.06/296.51 [1 1 1 0] [1] [1 0 0 0] [0] 1169.06/296.51 [0 0 0 0] [0] [0 0 0 0] [0] 1169.06/296.51 0(1(2(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 3(0(2(1(0(4(x1)))))) 1169.06/296.51 [0 0 0 0] [1] [0 0 0 0] [1] 1169.06/296.51 1169.06/296.51 [1 1 1 0] [1] [1 1 1 0] [1] 1169.06/296.51 [0 0 0 0] [0] [0 0 0 0] [0] 1169.06/296.51 0(1(4(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 0(3(4(2(1(0(x1)))))) 1169.06/296.51 [0 0 0 0] [1] [0 0 0 0] [1] 1169.06/296.51 1169.06/296.51 [1 1 1 0] [1] [1 1 1 0] [0] 1169.06/296.51 [0 0 0 0] [0] [0 0 0 0] [0] 1169.06/296.51 0(1(5(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 0(5(1(4(0(x1))))) 1169.06/296.51 [0 0 0 0] [1] [0 0 0 0] [1] 1169.06/296.51 1169.06/296.51 [1 1 1 0] [1] [1 1 1 0] [0] 1169.06/296.51 [0 0 0 0] [0] [0 0 0 0] [0] 1169.06/296.51 0(1(5(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 1(5(3(0(2(0(x1)))))) 1169.06/296.51 [0 0 0 0] [1] [0 0 0 0] [0] 1169.06/296.51 1169.06/296.51 [1 1 1 0] [1] [1 0 0 0] 1169.06/296.51 [0 0 0 0] [0] [0 0 0 0] 1169.06/296.51 5(0(1(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 = 2(1(0(0(4(5(x1)))))) 1169.06/296.51 [0 0 0 0] [1] [0 0 0 0] 1169.06/296.51 1169.06/296.51 [1 1 1 0] [1] [1 1 0 0] [0] 1169.06/296.51 [0 0 0 0] [0] [0 0 0 0] [0] 1169.06/296.51 0(1(2(4(0(x1))))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 0(0(5(4(2(1(x1)))))) 1169.06/296.51 [0 0 0 0] [1] [0 0 0 0] [1] 1169.06/296.51 1169.06/296.51 [1 1 1 0] [1] [1 0 0 0] [0] 1169.06/296.51 [0 0 0 0] [0] [0 0 0 0] [0] 1169.06/296.51 0(1(2(5(0(x1))))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 1(0(2(0(5(4(x1)))))) 1169.06/296.51 [0 0 0 0] [1] [0 0 0 0] [0] 1169.06/296.52 1169.06/296.52 [1 1 2 0] [1] [1 1 1 0] [0] 1169.06/296.52 [0 0 0 0] [0] [0 0 0 0] [0] 1169.06/296.52 0(1(4(0(0(x1))))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 0(0(0(4(1(0(x1)))))) 1169.06/296.52 [0 0 0 0] [1] [0 0 0 0] [1] 1169.06/296.52 1169.06/296.52 [1 1 1 0] [1] [1 0 0 0] [0] 1169.06/296.52 [0 0 0 0] [0] [0 0 0 0] [0] 1169.06/296.52 0(1(4(5(0(x1))))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 1(5(0(0(4(2(x1)))))) 1169.06/296.52 [0 0 0 0] [1] [0 0 0 0] [0] 1169.06/296.52 1169.06/296.52 [1 1 1 0] [1] [1 1 1 0] [0] 1169.06/296.52 [0 0 0 0] [0] [0 0 0 0] [0] 1169.06/296.52 5(0(1(2(0(x1))))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [0] = 0(0(5(2(1(0(x1)))))) 1169.06/296.52 [0 0 0 0] [1] [0 0 0 0] [1] 1169.06/296.52 1169.06/296.52 [1 1 1 0] [1] [1 1 1 0] [0] 1169.06/296.52 [0 0 0 0] [0] [0 0 0 0] [0] 1169.06/296.52 0(1(1(3(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 3(4(5(1(1(0(x1)))))) 1169.06/296.52 [0 0 0 0] [1] [0 0 0 0] [1] 1169.06/296.52 1169.06/296.52 [1 1 2 0] [1] [1 0 0 0] [1] 1169.06/296.52 [0 0 0 0] [0] [0 0 0 0] [0] 1169.06/296.52 0(1(3(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 1(0(3(0(2(x1))))) 1169.06/296.52 [0 0 0 0] [1] [0 0 0 0] [0] 1169.06/296.52 1169.06/296.52 [1 1 1 0] [2] [1 1 1 0] [1] 1169.06/296.52 [0 0 0 0] [0] [0 0 0 0] [0] 1169.06/296.52 0(3(1(0(x1)))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 1(2(3(0(5(0(x1)))))) 1169.06/296.52 [0 0 0 0] [1] [0 0 0 0] [0] 1169.06/296.52 1169.06/296.52 [1 1 1 0] [3] [1 1 0 0] [1] 1169.06/296.52 [0 0 0 0] [0] [0 0 0 0] [0] 1169.06/296.52 0(3(0(1(0(x1))))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 0(3(0(0(2(1(x1)))))) 1169.06/296.52 [0 0 0 0] [1] [0 0 0 0] [1] 1169.06/296.52 1169.06/296.52 [1 1 1 0] [2] [1 1 1 0] [1] 1169.06/296.52 [0 0 0 0] [1] [0 0 0 0] [0] 1169.06/296.52 3(0(3(1(0(x1))))) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 0(1(3(2(3(0(x1)))))) 1169.06/296.52 [0 0 0 0] [1] [0 0 0 0] [1] 1169.06/296.52 problem: 1169.06/296.52 strict: 1169.06/296.52 1169.06/296.52 weak: 1169.06/296.52 5(0(1(0(x1)))) -> 1(4(0(0(5(1(x1)))))) 1169.06/296.52 0(1(0(0(0(x1))))) -> 0(0(5(1(0(0(x1)))))) 1169.06/296.52 0(1(0(x1))) -> 0(2(1(0(x1)))) 1169.06/296.52 0(1(0(x1))) -> 0(0(2(1(0(x1))))) 1169.06/296.52 0(1(0(x1))) -> 0(0(2(1(2(x1))))) 1169.06/296.52 0(1(0(x1))) -> 0(2(1(0(2(x1))))) 1169.06/296.52 0(1(0(x1))) -> 0(3(2(1(0(x1))))) 1169.06/296.52 0(1(0(x1))) -> 1(0(0(0(2(x1))))) 1169.06/296.52 0(1(0(x1))) -> 1(0(0(2(0(x1))))) 1169.06/296.52 0(1(0(x1))) -> 1(0(4(2(0(x1))))) 1169.06/296.52 0(1(0(x1))) -> 1(4(0(4(0(x1))))) 1169.06/296.52 0(1(0(x1))) -> 4(0(0(2(1(x1))))) 1169.06/296.52 0(1(0(x1))) -> 5(0(0(4(1(x1))))) 1169.06/296.52 0(1(0(x1))) -> 5(1(0(4(0(x1))))) 1169.06/296.52 0(1(0(x1))) -> 0(2(1(0(3(2(x1)))))) 1169.06/296.52 0(1(0(x1))) -> 0(4(0(4(1(3(x1)))))) 1169.06/296.52 0(1(0(x1))) -> 0(4(2(2(1(0(x1)))))) 1169.06/296.52 0(1(0(x1))) -> 0(5(2(1(2(0(x1)))))) 1169.06/296.52 0(1(0(x1))) -> 0(5(2(5(1(0(x1)))))) 1169.06/296.52 0(1(0(x1))) -> 1(0(0(5(4(4(x1)))))) 1169.06/296.52 0(1(0(x1))) -> 1(0(4(4(4(0(x1)))))) 1169.06/296.52 0(1(0(x1))) -> 1(5(0(0(4(2(x1)))))) 1169.06/296.52 0(1(0(x1))) -> 3(0(0(4(1(4(x1)))))) 1169.06/296.52 0(1(0(x1))) -> 4(5(1(0(2(0(x1)))))) 1169.06/296.53 0(1(0(x1))) -> 5(5(1(0(0(2(x1)))))) 1169.06/296.53 0(0(1(0(x1)))) -> 1(0(0(2(0(x1))))) 1169.06/296.53 0(0(1(0(x1)))) -> 0(1(5(0(0(2(x1)))))) 1169.06/296.53 0(1(0(3(x1)))) -> 1(0(3(3(0(2(x1)))))) 1169.06/296.53 0(1(0(3(x1)))) -> 1(0(5(3(2(0(x1)))))) 1169.06/296.53 0(1(1(0(x1)))) -> 0(4(4(1(1(0(x1)))))) 1169.06/296.53 0(1(2(0(x1)))) -> 1(1(0(2(0(x1))))) 1169.06/296.53 0(1(2(0(x1)))) -> 3(0(2(1(0(x1))))) 1169.06/296.53 0(1(2(0(x1)))) -> 4(1(0(0(2(x1))))) 1169.06/296.53 0(1(2(0(x1)))) -> 0(0(4(2(5(1(x1)))))) 1169.06/296.53 0(1(2(0(x1)))) -> 1(1(2(0(4(0(x1)))))) 1169.06/296.53 0(1(2(0(x1)))) -> 3(0(2(1(0(4(x1)))))) 1169.06/296.53 0(1(4(0(x1)))) -> 0(3(4(2(1(0(x1)))))) 1169.06/296.53 0(1(5(0(x1)))) -> 0(5(1(4(0(x1))))) 1169.06/296.53 0(1(5(0(x1)))) -> 1(5(3(0(2(0(x1)))))) 1169.06/296.53 5(0(1(0(x1)))) -> 2(1(0(0(4(5(x1)))))) 1169.06/296.53 0(1(2(4(0(x1))))) -> 0(0(5(4(2(1(x1)))))) 1169.06/296.53 0(1(2(5(0(x1))))) -> 1(0(2(0(5(4(x1)))))) 1169.06/296.53 0(1(4(0(0(x1))))) -> 0(0(0(4(1(0(x1)))))) 1169.06/296.53 0(1(4(5(0(x1))))) -> 1(5(0(0(4(2(x1)))))) 1169.06/296.53 5(0(1(2(0(x1))))) -> 0(0(5(2(1(0(x1)))))) 1169.06/296.53 0(1(1(3(x1)))) -> 3(4(5(1(1(0(x1)))))) 1169.06/296.53 0(1(3(0(x1)))) -> 1(0(3(0(2(x1))))) 1169.06/296.53 0(3(1(0(x1)))) -> 1(2(3(0(5(0(x1)))))) 1169.06/296.53 0(3(0(1(0(x1))))) -> 0(3(0(0(2(1(x1)))))) 1169.06/296.53 3(0(3(1(0(x1))))) -> 0(1(3(2(3(0(x1)))))) 1169.06/296.53 Qed 1169.06/296.53 EOF