192.73/49.25 YES 192.90/49.26 192.90/49.26 Problem: 192.90/49.26 1(1(x1)) -> 4(3(x1)) 192.90/49.26 1(2(x1)) -> 2(1(x1)) 192.90/49.26 2(2(x1)) -> 1(1(1(x1))) 192.90/49.26 3(3(x1)) -> 5(6(x1)) 192.90/49.26 3(4(x1)) -> 1(1(x1)) 192.90/49.26 4(4(x1)) -> 3(x1) 192.90/49.26 5(5(x1)) -> 6(2(x1)) 192.90/49.26 5(6(x1)) -> 1(2(x1)) 192.90/49.26 6(6(x1)) -> 2(1(x1)) 192.90/49.26 192.90/49.26 Proof: 192.90/49.26 String Reversal Processor: 192.90/49.26 1(1(x1)) -> 3(4(x1)) 192.90/49.26 2(1(x1)) -> 1(2(x1)) 192.90/49.26 2(2(x1)) -> 1(1(1(x1))) 192.90/49.26 3(3(x1)) -> 6(5(x1)) 192.90/49.26 4(3(x1)) -> 1(1(x1)) 192.90/49.26 4(4(x1)) -> 3(x1) 192.90/49.26 5(5(x1)) -> 2(6(x1)) 192.90/49.26 6(5(x1)) -> 2(1(x1)) 192.90/49.26 6(6(x1)) -> 1(2(x1)) 192.90/49.26 DP Processor: 192.90/49.26 DPs: 192.90/49.26 1#(1(x1)) -> 4#(x1) 192.90/49.26 1#(1(x1)) -> 3#(4(x1)) 192.90/49.26 2#(1(x1)) -> 2#(x1) 192.90/49.26 2#(1(x1)) -> 1#(2(x1)) 192.90/49.26 2#(2(x1)) -> 1#(x1) 192.90/49.26 2#(2(x1)) -> 1#(1(x1)) 192.90/49.26 2#(2(x1)) -> 1#(1(1(x1))) 192.90/49.26 3#(3(x1)) -> 5#(x1) 192.90/49.26 3#(3(x1)) -> 6#(5(x1)) 192.90/49.26 4#(3(x1)) -> 1#(x1) 192.90/49.26 4#(3(x1)) -> 1#(1(x1)) 192.90/49.26 4#(4(x1)) -> 3#(x1) 192.90/49.26 5#(5(x1)) -> 6#(x1) 192.90/49.26 5#(5(x1)) -> 2#(6(x1)) 192.90/49.26 6#(5(x1)) -> 1#(x1) 192.90/49.26 6#(5(x1)) -> 2#(1(x1)) 192.90/49.26 6#(6(x1)) -> 2#(x1) 192.90/49.26 6#(6(x1)) -> 1#(2(x1)) 192.90/49.26 TRS: 192.90/49.26 1(1(x1)) -> 3(4(x1)) 192.90/49.26 2(1(x1)) -> 1(2(x1)) 192.90/49.26 2(2(x1)) -> 1(1(1(x1))) 192.90/49.26 3(3(x1)) -> 6(5(x1)) 192.90/49.26 4(3(x1)) -> 1(1(x1)) 192.90/49.26 4(4(x1)) -> 3(x1) 192.90/49.26 5(5(x1)) -> 2(6(x1)) 192.90/49.26 6(5(x1)) -> 2(1(x1)) 192.90/49.26 6(6(x1)) -> 1(2(x1)) 192.90/49.26 TDG Processor: 192.90/49.26 DPs: 192.90/49.26 1#(1(x1)) -> 4#(x1) 192.90/49.26 1#(1(x1)) -> 3#(4(x1)) 192.90/49.26 2#(1(x1)) -> 2#(x1) 192.90/49.26 2#(1(x1)) -> 1#(2(x1)) 192.90/49.26 2#(2(x1)) -> 1#(x1) 192.90/49.26 2#(2(x1)) -> 1#(1(x1)) 192.90/49.26 2#(2(x1)) -> 1#(1(1(x1))) 192.90/49.26 3#(3(x1)) -> 5#(x1) 192.90/49.26 3#(3(x1)) -> 6#(5(x1)) 192.90/49.26 4#(3(x1)) -> 1#(x1) 192.90/49.26 4#(3(x1)) -> 1#(1(x1)) 192.90/49.26 4#(4(x1)) -> 3#(x1) 192.90/49.26 5#(5(x1)) -> 6#(x1) 192.90/49.26 5#(5(x1)) -> 2#(6(x1)) 192.90/49.26 6#(5(x1)) -> 1#(x1) 192.90/49.26 6#(5(x1)) -> 2#(1(x1)) 192.90/49.26 6#(6(x1)) -> 2#(x1) 192.90/49.26 6#(6(x1)) -> 1#(2(x1)) 192.90/49.26 TRS: 192.90/49.26 1(1(x1)) -> 3(4(x1)) 192.90/49.26 2(1(x1)) -> 1(2(x1)) 192.90/49.26 2(2(x1)) -> 1(1(1(x1))) 192.90/49.26 3(3(x1)) -> 6(5(x1)) 192.90/49.26 4(3(x1)) -> 1(1(x1)) 192.90/49.26 4(4(x1)) -> 3(x1) 192.90/49.26 5(5(x1)) -> 2(6(x1)) 192.90/49.26 6(5(x1)) -> 2(1(x1)) 192.90/49.26 6(6(x1)) -> 1(2(x1)) 192.90/49.26 graph: 192.90/49.26 6#(5(x1)) -> 2#(1(x1)) -> 2#(2(x1)) -> 1#(1(1(x1))) 192.90/49.26 6#(5(x1)) -> 2#(1(x1)) -> 2#(2(x1)) -> 1#(1(x1)) 192.90/49.26 6#(5(x1)) -> 2#(1(x1)) -> 2#(2(x1)) -> 1#(x1) 192.90/49.26 6#(5(x1)) -> 2#(1(x1)) -> 2#(1(x1)) -> 1#(2(x1)) 192.90/49.26 6#(5(x1)) -> 2#(1(x1)) -> 2#(1(x1)) -> 2#(x1) 192.90/49.26 6#(5(x1)) -> 1#(x1) -> 1#(1(x1)) -> 3#(4(x1)) 192.90/49.26 6#(5(x1)) -> 1#(x1) -> 1#(1(x1)) -> 4#(x1) 192.90/49.26 6#(6(x1)) -> 2#(x1) -> 2#(2(x1)) -> 1#(1(1(x1))) 192.90/49.26 6#(6(x1)) -> 2#(x1) -> 2#(2(x1)) -> 1#(1(x1)) 192.90/49.26 6#(6(x1)) -> 2#(x1) -> 2#(2(x1)) -> 1#(x1) 192.90/49.26 6#(6(x1)) -> 2#(x1) -> 2#(1(x1)) -> 1#(2(x1)) 192.90/49.26 6#(6(x1)) -> 2#(x1) -> 2#(1(x1)) -> 2#(x1) 192.90/49.26 6#(6(x1)) -> 1#(2(x1)) -> 1#(1(x1)) -> 3#(4(x1)) 192.90/49.26 6#(6(x1)) -> 1#(2(x1)) -> 1#(1(x1)) -> 4#(x1) 192.90/49.26 5#(5(x1)) -> 6#(x1) -> 6#(6(x1)) -> 1#(2(x1)) 192.90/49.26 5#(5(x1)) -> 6#(x1) -> 6#(6(x1)) -> 2#(x1) 192.90/49.26 5#(5(x1)) -> 6#(x1) -> 6#(5(x1)) -> 2#(1(x1)) 192.90/49.26 5#(5(x1)) -> 6#(x1) -> 6#(5(x1)) -> 1#(x1) 192.90/49.26 5#(5(x1)) -> 2#(6(x1)) -> 2#(2(x1)) -> 1#(1(1(x1))) 192.90/49.26 5#(5(x1)) -> 2#(6(x1)) -> 2#(2(x1)) -> 1#(1(x1)) 192.90/49.26 5#(5(x1)) -> 2#(6(x1)) -> 2#(2(x1)) -> 1#(x1) 192.90/49.26 5#(5(x1)) -> 2#(6(x1)) -> 2#(1(x1)) -> 1#(2(x1)) 192.90/49.26 5#(5(x1)) -> 2#(6(x1)) -> 2#(1(x1)) -> 2#(x1) 192.90/49.26 2#(2(x1)) -> 1#(1(1(x1))) -> 1#(1(x1)) -> 3#(4(x1)) 192.90/49.26 2#(2(x1)) -> 1#(1(1(x1))) -> 1#(1(x1)) -> 4#(x1) 192.90/49.26 2#(2(x1)) -> 1#(1(x1)) -> 1#(1(x1)) -> 3#(4(x1)) 192.90/49.26 2#(2(x1)) -> 1#(1(x1)) -> 1#(1(x1)) -> 4#(x1) 192.90/49.26 2#(2(x1)) -> 1#(x1) -> 1#(1(x1)) -> 3#(4(x1)) 192.90/49.26 2#(2(x1)) -> 1#(x1) -> 1#(1(x1)) -> 4#(x1) 192.90/49.26 2#(1(x1)) -> 2#(x1) -> 2#(2(x1)) -> 1#(1(1(x1))) 192.90/49.26 2#(1(x1)) -> 2#(x1) -> 2#(2(x1)) -> 1#(1(x1)) 192.90/49.26 2#(1(x1)) -> 2#(x1) -> 2#(2(x1)) -> 1#(x1) 192.90/49.26 2#(1(x1)) -> 2#(x1) -> 2#(1(x1)) -> 1#(2(x1)) 192.90/49.26 2#(1(x1)) -> 2#(x1) -> 2#(1(x1)) -> 2#(x1) 192.90/49.26 2#(1(x1)) -> 1#(2(x1)) -> 1#(1(x1)) -> 3#(4(x1)) 192.90/49.26 2#(1(x1)) -> 1#(2(x1)) -> 1#(1(x1)) -> 4#(x1) 192.90/49.26 3#(3(x1)) -> 6#(5(x1)) -> 6#(6(x1)) -> 1#(2(x1)) 192.90/49.26 3#(3(x1)) -> 6#(5(x1)) -> 6#(6(x1)) -> 2#(x1) 192.90/49.26 3#(3(x1)) -> 6#(5(x1)) -> 6#(5(x1)) -> 2#(1(x1)) 192.90/49.26 3#(3(x1)) -> 6#(5(x1)) -> 6#(5(x1)) -> 1#(x1) 192.90/49.26 3#(3(x1)) -> 5#(x1) -> 5#(5(x1)) -> 2#(6(x1)) 192.90/49.26 3#(3(x1)) -> 5#(x1) -> 5#(5(x1)) -> 6#(x1) 192.90/49.27 4#(4(x1)) -> 3#(x1) -> 3#(3(x1)) -> 6#(5(x1)) 192.90/49.27 4#(4(x1)) -> 3#(x1) -> 3#(3(x1)) -> 5#(x1) 192.90/49.27 4#(3(x1)) -> 1#(1(x1)) -> 1#(1(x1)) -> 3#(4(x1)) 192.90/49.27 4#(3(x1)) -> 1#(1(x1)) -> 1#(1(x1)) -> 4#(x1) 192.90/49.27 4#(3(x1)) -> 1#(x1) -> 1#(1(x1)) -> 3#(4(x1)) 192.90/49.27 4#(3(x1)) -> 1#(x1) -> 1#(1(x1)) -> 4#(x1) 192.90/49.27 1#(1(x1)) -> 3#(4(x1)) -> 3#(3(x1)) -> 6#(5(x1)) 192.90/49.27 1#(1(x1)) -> 3#(4(x1)) -> 3#(3(x1)) -> 5#(x1) 192.90/49.27 1#(1(x1)) -> 4#(x1) -> 4#(4(x1)) -> 3#(x1) 192.90/49.27 1#(1(x1)) -> 4#(x1) -> 4#(3(x1)) -> 1#(1(x1)) 192.90/49.27 1#(1(x1)) -> 4#(x1) -> 4#(3(x1)) -> 1#(x1) 192.90/49.27 Matrix Interpretation Processor: dim=1 192.90/49.27 192.90/49.27 interpretation: 192.90/49.27 [6#](x0) = x0 + 9, 192.90/49.27 192.90/49.27 [5#](x0) = x0 + 24, 192.90/49.27 192.90/49.27 [2#](x0) = x0 + 15, 192.90/49.27 192.90/49.27 [3#](x0) = x0 + 10, 192.90/49.27 192.90/49.27 [4#](x0) = x0, 192.90/49.27 192.90/49.27 [1#](x0) = x0 + 5, 192.90/49.27 192.90/49.27 [5](x0) = x0 + 22, 192.90/49.27 192.90/49.27 [6](x0) = x0 + 20, 192.90/49.27 192.90/49.27 [2](x0) = x0 + 24, 192.90/49.27 192.90/49.27 [4](x0) = x0 + 11, 192.90/49.27 192.90/49.27 [3](x0) = x0 + 21, 192.90/49.27 192.90/49.27 [1](x0) = x0 + 16 192.90/49.27 orientation: 192.90/49.27 1#(1(x1)) = x1 + 21 >= x1 = 4#(x1) 192.90/49.27 192.90/49.27 1#(1(x1)) = x1 + 21 >= x1 + 21 = 3#(4(x1)) 192.90/49.27 192.90/49.27 2#(1(x1)) = x1 + 31 >= x1 + 15 = 2#(x1) 192.90/49.27 192.90/49.27 2#(1(x1)) = x1 + 31 >= x1 + 29 = 1#(2(x1)) 192.90/49.27 192.90/49.27 2#(2(x1)) = x1 + 39 >= x1 + 5 = 1#(x1) 192.90/49.27 192.90/49.27 2#(2(x1)) = x1 + 39 >= x1 + 21 = 1#(1(x1)) 192.90/49.27 192.90/49.27 2#(2(x1)) = x1 + 39 >= x1 + 37 = 1#(1(1(x1))) 192.90/49.27 192.90/49.27 3#(3(x1)) = x1 + 31 >= x1 + 24 = 5#(x1) 192.90/49.27 192.90/49.27 3#(3(x1)) = x1 + 31 >= x1 + 31 = 6#(5(x1)) 192.90/49.27 192.90/49.27 4#(3(x1)) = x1 + 21 >= x1 + 5 = 1#(x1) 192.90/49.27 192.90/49.27 4#(3(x1)) = x1 + 21 >= x1 + 21 = 1#(1(x1)) 192.90/49.27 192.90/49.27 4#(4(x1)) = x1 + 11 >= x1 + 10 = 3#(x1) 192.90/49.27 192.90/49.27 5#(5(x1)) = x1 + 46 >= x1 + 9 = 6#(x1) 192.90/49.27 192.90/49.27 5#(5(x1)) = x1 + 46 >= x1 + 35 = 2#(6(x1)) 192.90/49.27 192.90/49.27 6#(5(x1)) = x1 + 31 >= x1 + 5 = 1#(x1) 192.90/49.27 192.90/49.27 6#(5(x1)) = x1 + 31 >= x1 + 31 = 2#(1(x1)) 192.90/49.27 192.90/49.27 6#(6(x1)) = x1 + 29 >= x1 + 15 = 2#(x1) 192.90/49.27 192.90/49.27 6#(6(x1)) = x1 + 29 >= x1 + 29 = 1#(2(x1)) 192.90/49.27 192.90/49.27 1(1(x1)) = x1 + 32 >= x1 + 32 = 3(4(x1)) 192.90/49.27 192.90/49.27 2(1(x1)) = x1 + 40 >= x1 + 40 = 1(2(x1)) 192.90/49.27 192.90/49.27 2(2(x1)) = x1 + 48 >= x1 + 48 = 1(1(1(x1))) 192.90/49.27 192.90/49.27 3(3(x1)) = x1 + 42 >= x1 + 42 = 6(5(x1)) 192.90/49.27 192.90/49.27 4(3(x1)) = x1 + 32 >= x1 + 32 = 1(1(x1)) 192.90/49.27 192.90/49.27 4(4(x1)) = x1 + 22 >= x1 + 21 = 3(x1) 192.90/49.27 192.90/49.27 5(5(x1)) = x1 + 44 >= x1 + 44 = 2(6(x1)) 192.90/49.27 192.90/49.27 6(5(x1)) = x1 + 42 >= x1 + 40 = 2(1(x1)) 192.90/49.27 192.90/49.27 6(6(x1)) = x1 + 40 >= x1 + 40 = 1(2(x1)) 192.90/49.27 problem: 192.90/49.27 DPs: 192.90/49.27 1#(1(x1)) -> 3#(4(x1)) 192.90/49.27 3#(3(x1)) -> 6#(5(x1)) 192.90/49.27 4#(3(x1)) -> 1#(1(x1)) 192.90/49.27 6#(5(x1)) -> 2#(1(x1)) 192.90/49.27 6#(6(x1)) -> 1#(2(x1)) 192.90/49.27 TRS: 192.90/49.27 1(1(x1)) -> 3(4(x1)) 192.90/49.27 2(1(x1)) -> 1(2(x1)) 192.90/49.27 2(2(x1)) -> 1(1(1(x1))) 192.90/49.27 3(3(x1)) -> 6(5(x1)) 192.90/49.27 4(3(x1)) -> 1(1(x1)) 192.90/49.27 4(4(x1)) -> 3(x1) 192.90/49.27 5(5(x1)) -> 2(6(x1)) 192.90/49.27 6(5(x1)) -> 2(1(x1)) 192.90/49.27 6(6(x1)) -> 1(2(x1)) 192.90/49.27 Restore Modifier: 192.90/49.27 DPs: 192.90/49.27 1#(1(x1)) -> 3#(4(x1)) 192.90/49.27 3#(3(x1)) -> 6#(5(x1)) 192.90/49.27 4#(3(x1)) -> 1#(1(x1)) 192.90/49.27 6#(5(x1)) -> 2#(1(x1)) 192.90/49.27 6#(6(x1)) -> 1#(2(x1)) 192.90/49.27 TRS: 192.90/49.27 1(1(x1)) -> 3(4(x1)) 192.90/49.27 2(1(x1)) -> 1(2(x1)) 192.90/49.27 2(2(x1)) -> 1(1(1(x1))) 192.90/49.27 3(3(x1)) -> 6(5(x1)) 192.90/49.27 4(3(x1)) -> 1(1(x1)) 192.90/49.27 4(4(x1)) -> 3(x1) 192.90/49.27 5(5(x1)) -> 2(6(x1)) 192.90/49.27 6(5(x1)) -> 2(1(x1)) 192.90/49.27 6(6(x1)) -> 1(2(x1)) 192.90/49.27 EDG Processor: 192.90/49.27 DPs: 192.90/49.27 1#(1(x1)) -> 3#(4(x1)) 192.90/49.27 3#(3(x1)) -> 6#(5(x1)) 192.90/49.27 4#(3(x1)) -> 1#(1(x1)) 192.90/49.27 6#(5(x1)) -> 2#(1(x1)) 192.90/49.27 6#(6(x1)) -> 1#(2(x1)) 192.90/49.27 TRS: 192.90/49.27 1(1(x1)) -> 3(4(x1)) 192.90/49.27 2(1(x1)) -> 1(2(x1)) 192.90/49.27 2(2(x1)) -> 1(1(1(x1))) 192.90/49.27 3(3(x1)) -> 6(5(x1)) 192.90/49.27 4(3(x1)) -> 1(1(x1)) 192.90/49.27 4(4(x1)) -> 3(x1) 192.90/49.27 5(5(x1)) -> 2(6(x1)) 192.90/49.27 6(5(x1)) -> 2(1(x1)) 192.90/49.27 6(6(x1)) -> 1(2(x1)) 192.90/49.27 graph: 192.90/49.27 6#(6(x1)) -> 1#(2(x1)) -> 1#(1(x1)) -> 3#(4(x1)) 192.90/49.27 3#(3(x1)) -> 6#(5(x1)) -> 6#(5(x1)) -> 2#(1(x1)) 192.90/49.27 3#(3(x1)) -> 6#(5(x1)) -> 6#(6(x1)) -> 1#(2(x1)) 192.90/49.27 4#(3(x1)) -> 1#(1(x1)) -> 1#(1(x1)) -> 3#(4(x1)) 192.90/49.27 1#(1(x1)) -> 3#(4(x1)) -> 3#(3(x1)) -> 6#(5(x1)) 192.90/49.27 SCC Processor: 192.90/49.27 #sccs: 1 192.90/49.27 #rules: 3 192.90/49.27 #arcs: 5/25 192.90/49.27 DPs: 192.90/49.27 6#(6(x1)) -> 1#(2(x1)) 192.90/49.27 1#(1(x1)) -> 3#(4(x1)) 192.90/49.27 3#(3(x1)) -> 6#(5(x1)) 192.90/49.27 TRS: 192.90/49.27 1(1(x1)) -> 3(4(x1)) 192.90/49.27 2(1(x1)) -> 1(2(x1)) 192.90/49.27 2(2(x1)) -> 1(1(1(x1))) 192.90/49.27 3(3(x1)) -> 6(5(x1)) 192.90/49.27 4(3(x1)) -> 1(1(x1)) 192.90/49.27 4(4(x1)) -> 3(x1) 192.90/49.27 5(5(x1)) -> 2(6(x1)) 192.90/49.27 6(5(x1)) -> 2(1(x1)) 192.90/49.27 6(6(x1)) -> 1(2(x1)) 192.90/49.27 Matrix Interpretation Processor: dim=4 192.90/49.27 192.90/49.27 interpretation: 192.90/49.27 [6#](x0) = [1 0 1 0]x0, 192.90/49.27 192.90/49.27 [3#](x0) = [0 0 1 0]x0, 192.90/49.27 192.90/49.27 [1#](x0) = [0 0 0 1]x0 + [1], 192.90/49.27 192.90/49.27 [0 0 0 0] [0] 192.90/49.27 [0 1 0 0] [0] 192.90/49.27 [5](x0) = [0 0 0 1]x0 + [0] 192.90/49.27 [0 0 0 0] [1], 192.90/49.27 192.90/49.27 [1 0 0 0] [0] 192.90/49.27 [0 1 0 0] [0] 192.90/49.27 [6](x0) = [0 0 0 0]x0 + [1] 192.90/49.27 [0 0 0 0] [0], 192.90/49.27 192.90/49.27 [0 0 0 0] [0] 192.90/49.27 [0 1 0 0] [0] 192.90/49.27 [2](x0) = [0 0 0 0]x0 + [1] 192.90/49.27 [0 0 0 0] [0], 192.90/49.27 192.90/49.27 [0 0 0 1] [0] 192.90/49.27 [0 1 0 0] [0] 192.90/49.27 [4](x0) = [1 0 0 0]x0 + [1] 192.90/49.27 [0 0 0 0] [0], 192.90/49.27 192.90/49.27 [0 0 0 0] [0] 192.90/49.27 [0 1 0 0] [0] 192.90/49.27 [3](x0) = [0 0 0 1]x0 + [1] 192.90/49.27 [0 0 0 0] [0], 192.90/49.27 192.90/49.27 [0 0 0 0] [0] 192.90/49.27 [0 1 0 0] [0] 192.90/49.27 [1](x0) = [0 0 0 0]x0 + [1] 192.90/49.27 [1 0 0 0] [0] 192.90/49.27 orientation: 192.90/49.27 6#(6(x1)) = [1 0 0 0]x1 + [1] >= [1] = 1#(2(x1)) 192.90/49.27 192.90/49.27 1#(1(x1)) = [1 0 0 0]x1 + [1] >= [1 0 0 0]x1 + [1] = 3#(4(x1)) 192.90/49.27 192.90/49.27 3#(3(x1)) = [0 0 0 1]x1 + [1] >= [0 0 0 1]x1 = 6#(5(x1)) 192.90/49.27 192.90/49.27 [0 0 0 0] [0] [0 0 0 0] [0] 192.90/49.27 [0 1 0 0] [0] [0 1 0 0] [0] 192.90/49.27 1(1(x1)) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 3(4(x1)) 192.90/49.27 [0 0 0 0] [0] [0 0 0 0] [0] 192.90/49.27 192.90/49.27 [0 0 0 0] [0] [0 0 0 0] [0] 192.90/49.27 [0 1 0 0] [0] [0 1 0 0] [0] 192.90/49.27 2(1(x1)) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 1(2(x1)) 192.90/49.27 [0 0 0 0] [0] [0 0 0 0] [0] 192.90/49.27 192.90/49.27 [0 0 0 0] [0] [0 0 0 0] [0] 192.90/49.27 [0 1 0 0] [0] [0 1 0 0] [0] 192.90/49.27 2(2(x1)) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 1(1(1(x1))) 192.90/49.27 [0 0 0 0] [0] [0 0 0 0] [0] 192.90/49.27 192.90/49.27 [0 0 0 0] [0] [0 0 0 0] [0] 192.90/49.27 [0 1 0 0] [0] [0 1 0 0] [0] 192.90/49.27 3(3(x1)) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 6(5(x1)) 192.90/49.27 [0 0 0 0] [0] [0 0 0 0] [0] 192.90/49.27 192.90/49.27 [0 0 0 0] [0] [0 0 0 0] [0] 192.90/49.27 [0 1 0 0] [0] [0 1 0 0] [0] 192.90/49.27 4(3(x1)) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 1(1(x1)) 192.90/49.27 [0 0 0 0] [0] [0 0 0 0] [0] 192.90/49.27 192.90/49.27 [0 0 0 0] [0] [0 0 0 0] [0] 192.90/49.27 [0 1 0 0] [0] [0 1 0 0] [0] 192.90/49.27 4(4(x1)) = [0 0 0 1]x1 + [1] >= [0 0 0 1]x1 + [1] = 3(x1) 192.90/49.27 [0 0 0 0] [0] [0 0 0 0] [0] 192.90/49.27 192.90/49.27 [0 0 0 0] [0] [0 0 0 0] [0] 192.90/49.27 [0 1 0 0] [0] [0 1 0 0] [0] 192.90/49.27 5(5(x1)) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 2(6(x1)) 192.90/49.27 [0 0 0 0] [1] [0 0 0 0] [0] 192.90/49.27 192.90/49.27 [0 0 0 0] [0] [0 0 0 0] [0] 192.90/49.27 [0 1 0 0] [0] [0 1 0 0] [0] 192.90/49.28 6(5(x1)) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 2(1(x1)) 192.90/49.28 [0 0 0 0] [0] [0 0 0 0] [0] 192.90/49.28 192.90/49.28 [1 0 0 0] [0] [0 0 0 0] [0] 192.90/49.28 [0 1 0 0] [0] [0 1 0 0] [0] 192.90/49.28 6(6(x1)) = [0 0 0 0]x1 + [1] >= [0 0 0 0]x1 + [1] = 1(2(x1)) 192.90/49.28 [0 0 0 0] [0] [0 0 0 0] [0] 192.90/49.28 problem: 192.90/49.28 DPs: 192.90/49.28 6#(6(x1)) -> 1#(2(x1)) 192.90/49.28 1#(1(x1)) -> 3#(4(x1)) 192.90/49.28 TRS: 192.90/49.28 1(1(x1)) -> 3(4(x1)) 192.90/49.28 2(1(x1)) -> 1(2(x1)) 192.90/49.28 2(2(x1)) -> 1(1(1(x1))) 192.90/49.28 3(3(x1)) -> 6(5(x1)) 192.90/49.28 4(3(x1)) -> 1(1(x1)) 192.90/49.28 4(4(x1)) -> 3(x1) 192.90/49.28 5(5(x1)) -> 2(6(x1)) 192.90/49.28 6(5(x1)) -> 2(1(x1)) 192.90/49.28 6(6(x1)) -> 1(2(x1)) 192.90/49.28 Restore Modifier: 192.90/49.28 DPs: 192.90/49.28 6#(6(x1)) -> 1#(2(x1)) 192.90/49.28 1#(1(x1)) -> 3#(4(x1)) 192.90/49.28 TRS: 192.90/49.28 1(1(x1)) -> 3(4(x1)) 192.90/49.28 2(1(x1)) -> 1(2(x1)) 192.90/49.28 2(2(x1)) -> 1(1(1(x1))) 192.90/49.28 3(3(x1)) -> 6(5(x1)) 192.90/49.28 4(3(x1)) -> 1(1(x1)) 192.90/49.28 4(4(x1)) -> 3(x1) 192.90/49.28 5(5(x1)) -> 2(6(x1)) 192.90/49.28 6(5(x1)) -> 2(1(x1)) 192.90/49.28 6(6(x1)) -> 1(2(x1)) 192.90/49.28 EDG Processor: 192.90/49.28 DPs: 192.90/49.28 6#(6(x1)) -> 1#(2(x1)) 192.90/49.28 1#(1(x1)) -> 3#(4(x1)) 192.90/49.28 TRS: 192.90/49.28 1(1(x1)) -> 3(4(x1)) 192.90/49.28 2(1(x1)) -> 1(2(x1)) 192.90/49.28 2(2(x1)) -> 1(1(1(x1))) 192.90/49.28 3(3(x1)) -> 6(5(x1)) 192.90/49.28 4(3(x1)) -> 1(1(x1)) 192.90/49.28 4(4(x1)) -> 3(x1) 192.90/49.28 5(5(x1)) -> 2(6(x1)) 192.90/49.28 6(5(x1)) -> 2(1(x1)) 192.90/49.28 6(6(x1)) -> 1(2(x1)) 192.90/49.28 graph: 192.90/49.28 6#(6(x1)) -> 1#(2(x1)) -> 1#(1(x1)) -> 3#(4(x1)) 192.90/49.28 SCC Processor: 192.90/49.28 #sccs: 0 192.90/49.28 #rules: 0 192.90/49.28 #arcs: 1/4 192.90/49.28 192.90/49.28 EOF