0.00/0.16	YES
0.00/0.16	property Termination
0.00/0.16	has value True
0.00/0.16	for SRS ( [b, b, c] -> [b, a, a], [a, c, c] -> [a, a, b], [a, c, b] ->= [c, a, b], [a, c, c] ->= [c, c, b], [a, a, a] ->= [a, b, a], [a, b, a] ->= [a, b, c])
0.00/0.16	reason
0.00/0.16	  remap for 6 rules
0.00/0.16	   property Termination
0.00/0.16	has value True
0.00/0.16	for SRS ( [0, 0, 1] -> [0, 2, 2], [2, 1, 1] -> [2, 2, 0], [2, 1, 0] ->= [1, 2, 0], [2, 1, 1] ->= [1, 1, 0], [2, 2, 2] ->= [2, 0, 2], [2, 0, 2] ->= [2, 0, 1])
0.00/0.16	reason
0.00/0.16	  Tiling   { method = Overlap, width = 2, state_type = Bit64, map_type = Enum, verbose = False, tracing = False}
0.00/0.16	  using 15 tiles
0.00/0.16	    [ [0, >] , [1, >] , [2, >] , [<, 0] , [0, 0] , [1, 0] , [2, 0] , [<, 1] , [0, 1] , [1, 1] , [2, 1] , [<, 2] , [0, 2] , [1, 2] , [2, 2] ]
0.00/0.16	  tile all rules
0.00/0.16	  
0.00/0.16	   property Termination
0.00/0.16	has value True
0.00/0.16	for SRS ( [[<, 0], [0, 0], [0, 1], [1, >]] -> [[<, 0], [0, 2], [2, 2], [2, >]], [[<, 0], [0, 0], [0, 1], [1, 0]] -> [[<, 0], [0, 2], [2, 2], [2, 0]], [[<, 0], [0, 0], [0, 1], [1, 1]] -> [[<, 0], [0, 2], [2, 2], [2, 1]], [[<, 0], [0, 0], [0, 1], [1, 2]] -> [[<, 0], [0, 2], [2, 2], [2, 2]], [[0, 0], [0, 0], [0, 1], [1, >]] -> [[0, 0], [0, 2], [2, 2], [2, >]], [[0, 0], [0, 0], [0, 1], [1, 0]] -> [[0, 0], [0, 2], [2, 2], [2, 0]], [[0, 0], [0, 0], [0, 1], [1, 1]] -> [[0, 0], [0, 2], [2, 2], [2, 1]], [[0, 0], [0, 0], [0, 1], [1, 2]] -> [[0, 0], [0, 2], [2, 2], [2, 2]], [[1, 0], [0, 0], [0, 1], [1, >]] -> [[1, 0], [0, 2], [2, 2], [2, >]], [[1, 0], [0, 0], [0, 1], [1, 0]] -> [[1, 0], [0, 2], [2, 2], [2, 0]], [[1, 0], [0, 0], [0, 1], [1, 1]] -> [[1, 0], [0, 2], [2, 2], [2, 1]], [[1, 0], [0, 0], [0, 1], [1, 2]] -> [[1, 0], [0, 2], [2, 2], [2, 2]], [[2, 0], [0, 0], [0, 1], [1, >]] -> [[2, 0], [0, 2], [2, 2], [2, >]], [[2, 0], [0, 0], [0, 1], [1, 0]] -> [[2, 0], [0, 2], [2, 2], [2, 0]], [[2, 0], [0, 0], [0, 1], [1, 1]] -> [[2, 0], [0, 2], [2, 2], [2, 1]], [[2, 0], [0, 0], [0, 1], [1, 2]] -> [[2, 0], [0, 2], [2, 2], [2, 2]], [[<, 2], [2, 1], [1, 1], [1, >]] -> [[<, 2], [2, 2], [2, 0], [0, >]], [[<, 2], [2, 1], [1, 1], [1, 0]] -> [[<, 2], [2, 2], [2, 0], [0, 0]], [[<, 2], [2, 1], [1, 1], [1, 1]] -> [[<, 2], [2, 2], [2, 0], [0, 1]], [[<, 2], [2, 1], [1, 1], [1, 2]] -> [[<, 2], [2, 2], [2, 0], [0, 2]], [[0, 2], [2, 1], [1, 1], [1, >]] -> [[0, 2], [2, 2], [2, 0], [0, >]], [[0, 2], [2, 1], [1, 1], [1, 0]] -> [[0, 2], [2, 2], [2, 0], [0, 0]], [[0, 2], [2, 1], [1, 1], [1, 1]] -> [[0, 2], [2, 2], [2, 0], [0, 1]], [[0, 2], [2, 1], [1, 1], [1, 2]] -> [[0, 2], [2, 2], [2, 0], [0, 2]], [[1, 2], [2, 1], [1, 1], [1, >]] -> [[1, 2], [2, 2], [2, 0], [0, >]], [[1, 2], [2, 1], [1, 1], [1, 0]] -> [[1, 2], [2, 2], [2, 0], [0, 0]], [[1, 2], [2, 1], [1, 1], [1, 1]] -> [[1, 2], [2, 2], [2, 0], [0, 1]], [[1, 2], [2, 1], [1, 1], [1, 2]] -> [[1, 2], [2, 2], [2, 0], [0, 2]], [[2, 2], [2, 1], [1, 1], [1, >]] -> [[2, 2], [2, 2], [2, 0], [0, >]], [[2, 2], [2, 1], [1, 1], [1, 0]] -> [[2, 2], [2, 2], [2, 0], [0, 0]], [[2, 2], [2, 1], [1, 1], [1, 1]] -> [[2, 2], [2, 2], [2, 0], [0, 1]], [[2, 2], [2, 1], [1, 1], [1, 2]] -> [[2, 2], [2, 2], [2, 0], [0, 2]], [[<, 2], [2, 1], [1, 0], [0, >]] ->= [[<, 1], [1, 2], [2, 0], [0, >]], [[<, 2], [2, 1], [1, 0], [0, 0]] ->= [[<, 1], [1, 2], [2, 0], [0, 0]], [[<, 2], [2, 1], [1, 0], [0, 1]] ->= [[<, 1], [1, 2], [2, 0], [0, 1]], [[<, 2], [2, 1], [1, 0], [0, 2]] ->= [[<, 1], [1, 2], [2, 0], [0, 2]], [[0, 2], [2, 1], [1, 0], [0, >]] ->= [[0, 1], [1, 2], [2, 0], [0, >]], [[0, 2], [2, 1], [1, 0], [0, 0]] ->= [[0, 1], [1, 2], [2, 0], [0, 0]], [[0, 2], [2, 1], [1, 0], [0, 1]] ->= [[0, 1], [1, 2], [2, 0], [0, 1]], [[0, 2], [2, 1], [1, 0], [0, 2]] ->= [[0, 1], [1, 2], [2, 0], [0, 2]], [[1, 2], [2, 1], [1, 0], [0, >]] ->= [[1, 1], [1, 2], [2, 0], [0, >]], [[1, 2], [2, 1], [1, 0], [0, 0]] ->= [[1, 1], [1, 2], [2, 0], [0, 0]], [[1, 2], [2, 1], [1, 0], [0, 1]] ->= [[1, 1], [1, 2], [2, 0], [0, 1]], [[1, 2], [2, 1], [1, 0], [0, 2]] ->= [[1, 1], [1, 2], [2, 0], [0, 2]], [[2, 2], [2, 1], [1, 0], [0, >]] ->= [[2, 1], [1, 2], [2, 0], [0, >]], [[2, 2], [2, 1], [1, 0], [0, 0]] ->= [[2, 1], [1, 2], [2, 0], [0, 0]], [[2, 2], [2, 1], [1, 0], [0, 1]] ->= [[2, 1], [1, 2], [2, 0], [0, 1]], [[2, 2], [2, 1], [1, 0], [0, 2]] ->= [[2, 1], [1, 2], [2, 0], [0, 2]], [[<, 2], [2, 1], [1, 1], [1, >]] ->= [[<, 1], [1, 1], [1, 0], [0, >]], [[<, 2], [2, 1], [1, 1], [1, 0]] ->= [[<, 1], [1, 1], [1, 0], [0, 0]], [[<, 2], [2, 1], [1, 1], [1, 1]] ->= [[<, 1], [1, 1], [1, 0], [0, 1]], [[<, 2], [2, 1], [1, 1], [1, 2]] ->= [[<, 1], [1, 1], [1, 0], [0, 2]], [[0, 2], [2, 1], [1, 1], [1, >]] ->= [[0, 1], [1, 1], [1, 0], [0, >]], [[0, 2], [2, 1], [1, 1], [1, 0]] ->= [[0, 1], [1, 1], [1, 0], [0, 0]], [[0, 2], [2, 1], [1, 1], [1, 1]] ->= [[0, 1], [1, 1], [1, 0], [0, 1]], [[0, 2], [2, 1], [1, 1], [1, 2]] ->= [[0, 1], [1, 1], [1, 0], [0, 2]], [[1, 2], [2, 1], [1, 1], [1, >]] ->= [[1, 1], [1, 1], [1, 0], [0, >]], [[1, 2], [2, 1], [1, 1], [1, 0]] ->= [[1, 1], [1, 1], [1, 0], [0, 0]], [[1, 2], [2, 1], [1, 1], [1, 1]] ->= [[1, 1], [1, 1], [1, 0], [0, 1]], [[1, 2], [2, 1], [1, 1], [1, 2]] ->= [[1, 1], [1, 1], [1, 0], [0, 2]], [[2, 2], [2, 1], [1, 1], [1, >]] ->= [[2, 1], [1, 1], [1, 0], [0, >]], [[2, 2], [2, 1], [1, 1], [1, 0]] ->= [[2, 1], [1, 1], [1, 0], [0, 0]], [[2, 2], [2, 1], [1, 1], [1, 1]] ->= [[2, 1], [1, 1], [1, 0], [0, 1]], [[2, 2], [2, 1], [1, 1], [1, 2]] ->= [[2, 1], [1, 1], [1, 0], [0, 2]], [[<, 2], [2, 2], [2, 2], [2, >]] ->= [[<, 2], [2, 0], [0, 2], [2, >]], [[<, 2], [2, 2], [2, 2], [2, 0]] ->= [[<, 2], [2, 0], [0, 2], [2, 0]], [[<, 2], [2, 2], [2, 2], [2, 1]] ->= [[<, 2], [2, 0], [0, 2], [2, 1]], [[<, 2], [2, 2], [2, 2], [2, 2]] ->= [[<, 2], [2, 0], [0, 2], [2, 2]], [[0, 2], [2, 2], [2, 2], [2, >]] ->= [[0, 2], [2, 0], [0, 2], [2, >]], [[0, 2], [2, 2], [2, 2], [2, 0]] ->= [[0, 2], [2, 0], [0, 2], [2, 0]], [[0, 2], [2, 2], [2, 2], [2, 1]] ->= [[0, 2], [2, 0], [0, 2], [2, 1]], [[0, 2], [2, 2], [2, 2], [2, 2]] ->= [[0, 2], [2, 0], [0, 2], [2, 2]], [[1, 2], [2, 2], [2, 2], [2, >]] ->= [[1, 2], [2, 0], [0, 2], [2, >]], [[1, 2], [2, 2], [2, 2], [2, 0]] ->= [[1, 2], [2, 0], [0, 2], [2, 0]], [[1, 2], [2, 2], [2, 2], [2, 1]] ->= [[1, 2], [2, 0], [0, 2], [2, 1]], [[1, 2], [2, 2], [2, 2], [2, 2]] ->= [[1, 2], [2, 0], [0, 2], [2, 2]], [[2, 2], [2, 2], [2, 2], [2, >]] ->= [[2, 2], [2, 0], [0, 2], [2, >]], [[2, 2], [2, 2], [2, 2], [2, 0]] ->= [[2, 2], [2, 0], [0, 2], [2, 0]], [[2, 2], [2, 2], [2, 2], [2, 1]] ->= [[2, 2], [2, 0], [0, 2], [2, 1]], [[2, 2], [2, 2], [2, 2], [2, 2]] ->= [[2, 2], [2, 0], [0, 2], [2, 2]], [[<, 2], [2, 0], [0, 2], [2, >]] ->= [[<, 2], [2, 0], [0, 1], [1, >]], [[<, 2], [2, 0], [0, 2], [2, 0]] ->= [[<, 2], [2, 0], [0, 1], [1, 0]], [[<, 2], [2, 0], [0, 2], [2, 1]] ->= [[<, 2], [2, 0], [0, 1], [1, 1]], [[<, 2], [2, 0], [0, 2], [2, 2]] ->= [[<, 2], [2, 0], [0, 1], [1, 2]], [[0, 2], [2, 0], [0, 2], [2, >]] ->= [[0, 2], [2, 0], [0, 1], [1, >]], [[0, 2], [2, 0], [0, 2], [2, 0]] ->= [[0, 2], [2, 0], [0, 1], [1, 0]], [[0, 2], [2, 0], [0, 2], [2, 1]] ->= [[0, 2], [2, 0], [0, 1], [1, 1]], [[0, 2], [2, 0], [0, 2], [2, 2]] ->= [[0, 2], [2, 0], [0, 1], [1, 2]], [[1, 2], [2, 0], [0, 2], [2, >]] ->= [[1, 2], [2, 0], [0, 1], [1, >]], [[1, 2], [2, 0], [0, 2], [2, 0]] ->= [[1, 2], [2, 0], [0, 1], [1, 0]], [[1, 2], [2, 0], [0, 2], [2, 1]] ->= [[1, 2], [2, 0], [0, 1], [1, 1]], [[1, 2], [2, 0], [0, 2], [2, 2]] ->= [[1, 2], [2, 0], [0, 1], [1, 2]], [[2, 2], [2, 0], [0, 2], [2, >]] ->= [[2, 2], [2, 0], [0, 1], [1, >]], [[2, 2], [2, 0], [0, 2], [2, 0]] ->= [[2, 2], [2, 0], [0, 1], [1, 0]], [[2, 2], [2, 0], [0, 2], [2, 1]] ->= [[2, 2], [2, 0], [0, 1], [1, 1]], [[2, 2], [2, 0], [0, 2], [2, 2]] ->= [[2, 2], [2, 0], [0, 1], [1, 2]])
0.00/0.16	reason
0.00/0.16	  remap for 96 rules
0.00/0.16	   property Termination
0.00/0.16	has value True
0.00/0.16	for SRS ( [0, 1, 2, 3] -> [0, 4, 5, 6], [0, 1, 2, 7] -> [0, 4, 5, 8], [0, 1, 2, 9] -> [0, 4, 5, 10], [0, 1, 2, 11] -> [0, 4, 5, 5], [1, 1, 2, 3] -> [1, 4, 5, 6], [1, 1, 2, 7] -> [1, 4, 5, 8], [1, 1, 2, 9] -> [1, 4, 5, 10], [1, 1, 2, 11] -> [1, 4, 5, 5], [7, 1, 2, 3] -> [7, 4, 5, 6], [7, 1, 2, 7] -> [7, 4, 5, 8], [7, 1, 2, 9] -> [7, 4, 5, 10], [7, 1, 2, 11] -> [7, 4, 5, 5], [8, 1, 2, 3] -> [8, 4, 5, 6], [8, 1, 2, 7] -> [8, 4, 5, 8], [8, 1, 2, 9] -> [8, 4, 5, 10], [8, 1, 2, 11] -> [8, 4, 5, 5], [12, 10, 9, 3] -> [12, 5, 8, 13], [12, 10, 9, 7] -> [12, 5, 8, 1], [12, 10, 9, 9] -> [12, 5, 8, 2], [12, 10, 9, 11] -> [12, 5, 8, 4], [4, 10, 9, 3] -> [4, 5, 8, 13], [4, 10, 9, 7] -> [4, 5, 8, 1], [4, 10, 9, 9] -> [4, 5, 8, 2], [4, 10, 9, 11] -> [4, 5, 8, 4], [11, 10, 9, 3] -> [11, 5, 8, 13], [11, 10, 9, 7] -> [11, 5, 8, 1], [11, 10, 9, 9] -> [11, 5, 8, 2], [11, 10, 9, 11] -> [11, 5, 8, 4], [5, 10, 9, 3] -> [5, 5, 8, 13], [5, 10, 9, 7] -> [5, 5, 8, 1], [5, 10, 9, 9] -> [5, 5, 8, 2], [5, 10, 9, 11] -> [5, 5, 8, 4], [12, 10, 7, 13] ->= [14, 11, 8, 13], [12, 10, 7, 1] ->= [14, 11, 8, 1], [12, 10, 7, 2] ->= [14, 11, 8, 2], [12, 10, 7, 4] ->= [14, 11, 8, 4], [4, 10, 7, 13] ->= [2, 11, 8, 13], [4, 10, 7, 1] ->= [2, 11, 8, 1], [4, 10, 7, 2] ->= [2, 11, 8, 2], [4, 10, 7, 4] ->= [2, 11, 8, 4], [11, 10, 7, 13] ->= [9, 11, 8, 13], [11, 10, 7, 1] ->= [9, 11, 8, 1], [11, 10, 7, 2] ->= [9, 11, 8, 2], [11, 10, 7, 4] ->= [9, 11, 8, 4], [5, 10, 7, 13] ->= [10, 11, 8, 13], [5, 10, 7, 1] ->= [10, 11, 8, 1], [5, 10, 7, 2] ->= [10, 11, 8, 2], [5, 10, 7, 4] ->= [10, 11, 8, 4], [12, 10, 9, 3] ->= [14, 9, 7, 13], [12, 10, 9, 7] ->= [14, 9, 7, 1], [12, 10, 9, 9] ->= [14, 9, 7, 2], [12, 10, 9, 11] ->= [14, 9, 7, 4], [4, 10, 9, 3] ->= [2, 9, 7, 13], [4, 10, 9, 7] ->= [2, 9, 7, 1], [4, 10, 9, 9] ->= [2, 9, 7, 2], [4, 10, 9, 11] ->= [2, 9, 7, 4], [11, 10, 9, 3] ->= [9, 9, 7, 13], [11, 10, 9, 7] ->= [9, 9, 7, 1], [11, 10, 9, 9] ->= [9, 9, 7, 2], [11, 10, 9, 11] ->= [9, 9, 7, 4], [5, 10, 9, 3] ->= [10, 9, 7, 13], [5, 10, 9, 7] ->= [10, 9, 7, 1], [5, 10, 9, 9] ->= [10, 9, 7, 2], [5, 10, 9, 11] ->= [10, 9, 7, 4], [12, 5, 5, 6] ->= [12, 8, 4, 6], [12, 5, 5, 8] ->= [12, 8, 4, 8], [12, 5, 5, 10] ->= [12, 8, 4, 10], [12, 5, 5, 5] ->= [12, 8, 4, 5], [4, 5, 5, 6] ->= [4, 8, 4, 6], [4, 5, 5, 8] ->= [4, 8, 4, 8], [4, 5, 5, 10] ->= [4, 8, 4, 10], [4, 5, 5, 5] ->= [4, 8, 4, 5], [11, 5, 5, 6] ->= [11, 8, 4, 6], [11, 5, 5, 8] ->= [11, 8, 4, 8], [11, 5, 5, 10] ->= [11, 8, 4, 10], [11, 5, 5, 5] ->= [11, 8, 4, 5], [5, 5, 5, 6] ->= [5, 8, 4, 6], [5, 5, 5, 8] ->= [5, 8, 4, 8], [5, 5, 5, 10] ->= [5, 8, 4, 10], [5, 5, 5, 5] ->= [5, 8, 4, 5], [12, 8, 4, 6] ->= [12, 8, 2, 3], [12, 8, 4, 8] ->= [12, 8, 2, 7], [12, 8, 4, 10] ->= [12, 8, 2, 9], [12, 8, 4, 5] ->= [12, 8, 2, 11], [4, 8, 4, 6] ->= [4, 8, 2, 3], [4, 8, 4, 8] ->= [4, 8, 2, 7], [4, 8, 4, 10] ->= [4, 8, 2, 9], [4, 8, 4, 5] ->= [4, 8, 2, 11], [11, 8, 4, 6] ->= [11, 8, 2, 3], [11, 8, 4, 8] ->= [11, 8, 2, 7], [11, 8, 4, 10] ->= [11, 8, 2, 9], [11, 8, 4, 5] ->= [11, 8, 2, 11], [5, 8, 4, 6] ->= [5, 8, 2, 3], [5, 8, 4, 8] ->= [5, 8, 2, 7], [5, 8, 4, 10] ->= [5, 8, 2, 9], [5, 8, 4, 5] ->= [5, 8, 2, 11])
0.00/0.16	reason
0.00/0.16	  weights
0.00/0.16	    Map [(1, 1/38), (5, 1/38), (9, 20/19), (10, 20/19), (11, 1/38), (12, 1/1)]
0.00/0.16	  
0.00/0.16	   property Termination
0.00/0.16	has value True
0.00/0.17	for SRS ( [0, 1, 2, 3] -> [0, 4, 5, 6], [0, 1, 2, 7] -> [0, 4, 5, 8], [0, 1, 2, 9] -> [0, 4, 5, 10], [0, 1, 2, 11] -> [0, 4, 5, 5], [1, 1, 2, 3] -> [1, 4, 5, 6], [1, 1, 2, 7] -> [1, 4, 5, 8], [1, 1, 2, 9] -> [1, 4, 5, 10], [1, 1, 2, 11] -> [1, 4, 5, 5], [7, 1, 2, 3] -> [7, 4, 5, 6], [7, 1, 2, 7] -> [7, 4, 5, 8], [7, 1, 2, 9] -> [7, 4, 5, 10], [7, 1, 2, 11] -> [7, 4, 5, 5], [8, 1, 2, 3] -> [8, 4, 5, 6], [8, 1, 2, 7] -> [8, 4, 5, 8], [8, 1, 2, 9] -> [8, 4, 5, 10], [8, 1, 2, 11] -> [8, 4, 5, 5], [11, 10, 7, 13] ->= [9, 11, 8, 13], [11, 10, 7, 1] ->= [9, 11, 8, 1], [11, 10, 7, 2] ->= [9, 11, 8, 2], [11, 10, 7, 4] ->= [9, 11, 8, 4], [5, 10, 7, 13] ->= [10, 11, 8, 13], [5, 10, 7, 1] ->= [10, 11, 8, 1], [5, 10, 7, 2] ->= [10, 11, 8, 2], [5, 10, 7, 4] ->= [10, 11, 8, 4], [11, 10, 9, 7] ->= [9, 9, 7, 1], [5, 10, 9, 7] ->= [10, 9, 7, 1], [12, 8, 4, 6] ->= [12, 8, 2, 3], [12, 8, 4, 8] ->= [12, 8, 2, 7], [12, 8, 4, 10] ->= [12, 8, 2, 9], [12, 8, 4, 5] ->= [12, 8, 2, 11], [4, 8, 4, 6] ->= [4, 8, 2, 3], [4, 8, 4, 8] ->= [4, 8, 2, 7], [4, 8, 4, 10] ->= [4, 8, 2, 9], [4, 8, 4, 5] ->= [4, 8, 2, 11], [11, 8, 4, 6] ->= [11, 8, 2, 3], [11, 8, 4, 8] ->= [11, 8, 2, 7], [11, 8, 4, 10] ->= [11, 8, 2, 9], [11, 8, 4, 5] ->= [11, 8, 2, 11], [5, 8, 4, 6] ->= [5, 8, 2, 3], [5, 8, 4, 8] ->= [5, 8, 2, 7], [5, 8, 4, 10] ->= [5, 8, 2, 9], [5, 8, 4, 5] ->= [5, 8, 2, 11])
0.00/0.17	reason
0.00/0.17	  Tiling   { method = Overlap, width = 2, state_type = Bit64, map_type = Enum, verbose = False, tracing = False}
0.00/0.17	  using 57 tiles
0.00/0.17	    [ [1, >] , [2, >] , [3, >] , [4, >] , [5, >] , [6, >] , [7, >] , [8, >] , [9, >] , [10, >] , [11, >] , [13, >] , [<, 0] , [<, 1] , [1, 1] , [7, 1] , [8, 1] , [1, 2] , [7, 2] , [8, 2] , [2, 3] , [<, 4] , [0, 4] , [1, 4] , [7, 4] , [8, 4] , [<, 5] , [4, 5] , [5, 5] , [11, 5] , [5, 6] , [11, 6] , [<, 7] , [2, 7] , [9, 7] , [10, 7] , [<, 8] , [4, 8] , [5, 8] , [11, 8] , [12, 8] , [<, 9] , [2, 9] , [9, 9] , [10, 9] , [<, 10] , [4, 10] , [5, 10] , [11, 10] , [<, 11] , [2, 11] , [9, 11] , [10, 11] , [<, 12] , [1, 13] , [7, 13] , [8, 13] ]
0.00/0.17	  remove some unmatched rules
0.00/0.17	  
0.00/0.17	   property Termination
0.00/0.17	has value True
0.00/0.17	for SRS ( [[1], [1], [2], [3]] -> [[1], [4], [5], [6]], [[1], [1], [2], [7]] -> [[1], [4], [5], [8]], [[1], [1], [2], [9]] -> [[1], [4], [5], [10]], [[1], [1], [2], [11]] -> [[1], [4], [5], [5]], [[7], [1], [2], [3]] -> [[7], [4], [5], [6]], [[7], [1], [2], [7]] -> [[7], [4], [5], [8]], [[7], [1], [2], [9]] -> [[7], [4], [5], [10]], [[7], [1], [2], [11]] -> [[7], [4], [5], [5]], [[8], [1], [2], [3]] -> [[8], [4], [5], [6]], [[8], [1], [2], [7]] -> [[8], [4], [5], [8]], [[8], [1], [2], [9]] -> [[8], [4], [5], [10]], [[8], [1], [2], [11]] -> [[8], [4], [5], [5]], [[11], [10], [7], [13]] ->= [[9], [11], [8], [13]], [[11], [10], [7], [1]] ->= [[9], [11], [8], [1]], [[11], [10], [7], [2]] ->= [[9], [11], [8], [2]], [[11], [10], [7], [4]] ->= [[9], [11], [8], [4]], [[5], [10], [7], [13]] ->= [[10], [11], [8], [13]], [[5], [10], [7], [1]] ->= [[10], [11], [8], [1]], [[5], [10], [7], [2]] ->= [[10], [11], [8], [2]], [[5], [10], [7], [4]] ->= [[10], [11], [8], [4]], [[11], [10], [9], [7]] ->= [[9], [9], [7], [1]], [[5], [10], [9], [7]] ->= [[10], [9], [7], [1]], [[12], [8], [4], [8]] ->= [[12], [8], [2], [7]], [[12], [8], [4], [10]] ->= [[12], [8], [2], [9]], [[12], [8], [4], [5]] ->= [[12], [8], [2], [11]], [[4], [8], [4], [8]] ->= [[4], [8], [2], [7]], [[4], [8], [4], [10]] ->= [[4], [8], [2], [9]], [[4], [8], [4], [5]] ->= [[4], [8], [2], [11]], [[11], [8], [4], [8]] ->= [[11], [8], [2], [7]], [[11], [8], [4], [10]] ->= [[11], [8], [2], [9]], [[11], [8], [4], [5]] ->= [[11], [8], [2], [11]], [[5], [8], [4], [8]] ->= [[5], [8], [2], [7]], [[5], [8], [4], [10]] ->= [[5], [8], [2], [9]], [[5], [8], [4], [5]] ->= [[5], [8], [2], [11]])
0.00/0.17	reason
0.00/0.17	  remap for 34 rules
0.00/0.17	   property Termination
0.00/0.17	has value True
0.00/0.17	for SRS ( [0, 0, 1, 2] -> [0, 3, 4, 5], [0, 0, 1, 6] -> [0, 3, 4, 7], [0, 0, 1, 8] -> [0, 3, 4, 9], [0, 0, 1, 10] -> [0, 3, 4, 4], [6, 0, 1, 2] -> [6, 3, 4, 5], [6, 0, 1, 6] -> [6, 3, 4, 7], [6, 0, 1, 8] -> [6, 3, 4, 9], [6, 0, 1, 10] -> [6, 3, 4, 4], [7, 0, 1, 2] -> [7, 3, 4, 5], [7, 0, 1, 6] -> [7, 3, 4, 7], [7, 0, 1, 8] -> [7, 3, 4, 9], [7, 0, 1, 10] -> [7, 3, 4, 4], [10, 9, 6, 11] ->= [8, 10, 7, 11], [10, 9, 6, 0] ->= [8, 10, 7, 0], [10, 9, 6, 1] ->= [8, 10, 7, 1], [10, 9, 6, 3] ->= [8, 10, 7, 3], [4, 9, 6, 11] ->= [9, 10, 7, 11], [4, 9, 6, 0] ->= [9, 10, 7, 0], [4, 9, 6, 1] ->= [9, 10, 7, 1], [4, 9, 6, 3] ->= [9, 10, 7, 3], [10, 9, 8, 6] ->= [8, 8, 6, 0], [4, 9, 8, 6] ->= [9, 8, 6, 0], [12, 7, 3, 7] ->= [12, 7, 1, 6], [12, 7, 3, 9] ->= [12, 7, 1, 8], [12, 7, 3, 4] ->= [12, 7, 1, 10], [3, 7, 3, 7] ->= [3, 7, 1, 6], [3, 7, 3, 9] ->= [3, 7, 1, 8], [3, 7, 3, 4] ->= [3, 7, 1, 10], [10, 7, 3, 7] ->= [10, 7, 1, 6], [10, 7, 3, 9] ->= [10, 7, 1, 8], [10, 7, 3, 4] ->= [10, 7, 1, 10], [4, 7, 3, 7] ->= [4, 7, 1, 6], [4, 7, 3, 9] ->= [4, 7, 1, 8], [4, 7, 3, 4] ->= [4, 7, 1, 10])
0.00/0.17	reason
0.00/0.17	  weights
0.00/0.17	    Map [(2, 3/1)]
0.00/0.17	  
0.00/0.17	   property Termination
0.00/0.17	has value True
0.00/0.17	for SRS ( [0, 0, 1, 6] -> [0, 3, 4, 7], [0, 0, 1, 8] -> [0, 3, 4, 9], [0, 0, 1, 10] -> [0, 3, 4, 4], [6, 0, 1, 6] -> [6, 3, 4, 7], [6, 0, 1, 8] -> [6, 3, 4, 9], [6, 0, 1, 10] -> [6, 3, 4, 4], [7, 0, 1, 6] -> [7, 3, 4, 7], [7, 0, 1, 8] -> [7, 3, 4, 9], [7, 0, 1, 10] -> [7, 3, 4, 4], [10, 9, 6, 11] ->= [8, 10, 7, 11], [10, 9, 6, 0] ->= [8, 10, 7, 0], [10, 9, 6, 1] ->= [8, 10, 7, 1], [10, 9, 6, 3] ->= [8, 10, 7, 3], [4, 9, 6, 11] ->= [9, 10, 7, 11], [4, 9, 6, 0] ->= [9, 10, 7, 0], [4, 9, 6, 1] ->= [9, 10, 7, 1], [4, 9, 6, 3] ->= [9, 10, 7, 3], [10, 9, 8, 6] ->= [8, 8, 6, 0], [4, 9, 8, 6] ->= [9, 8, 6, 0], [12, 7, 3, 7] ->= [12, 7, 1, 6], [12, 7, 3, 9] ->= [12, 7, 1, 8], [12, 7, 3, 4] ->= [12, 7, 1, 10], [3, 7, 3, 7] ->= [3, 7, 1, 6], [3, 7, 3, 9] ->= [3, 7, 1, 8], [3, 7, 3, 4] ->= [3, 7, 1, 10], [10, 7, 3, 7] ->= [10, 7, 1, 6], [10, 7, 3, 9] ->= [10, 7, 1, 8], [10, 7, 3, 4] ->= [10, 7, 1, 10], [4, 7, 3, 7] ->= [4, 7, 1, 6], [4, 7, 3, 9] ->= [4, 7, 1, 8], [4, 7, 3, 4] ->= [4, 7, 1, 10])
0.00/0.17	reason
0.00/0.17	  Tiling   { method = Overlap, width = 2, state_type = Bit64, map_type = Enum, verbose = False, tracing = False}
0.00/0.17	  using 50 tiles
0.00/0.17	    [ [0, >] , [1, >] , [3, >] , [4, >] , [6, >] , [7, >] , [8, >] , [9, >] , [10, >] , [11, >] , [<, 0] , [0, 0] , [6, 0] , [7, 0] , [0, 1] , [6, 1] , [7, 1] , [<, 3] , [0, 3] , [6, 3] , [7, 3] , [<, 4] , [3, 4] , [4, 4] , [10, 4] , [<, 6] , [1, 6] , [8, 6] , [9, 6] , [<, 7] , [3, 7] , [4, 7] , [10, 7] , [12, 7] , [<, 8] , [1, 8] , [8, 8] , [9, 8] , [<, 9] , [3, 9] , [4, 9] , [10, 9] , [<, 10] , [1, 10] , [8, 10] , [9, 10] , [0, 11] , [6, 11] , [7, 11] , [<, 12] ]
0.00/0.17	  tile all rules
0.00/0.17	  
0.00/0.17	   property Termination
0.00/0.17	has value True
0.00/0.18	for SRS ( [[<, 0], [0, 0], [0, 1], [1, 6], [6, >]] -> [[<, 0], [0, 3], [3, 4], [4, 7], [7, >]], [[<, 0], [0, 0], [0, 1], [1, 6], [6, 0]] -> [[<, 0], [0, 3], [3, 4], [4, 7], [7, 0]], [[<, 0], [0, 0], [0, 1], [1, 6], [6, 1]] -> [[<, 0], [0, 3], [3, 4], [4, 7], [7, 1]], [[<, 0], [0, 0], [0, 1], [1, 6], [6, 3]] -> [[<, 0], [0, 3], [3, 4], [4, 7], [7, 3]], [[<, 0], [0, 0], [0, 1], [1, 6], [6, 11]] -> [[<, 0], [0, 3], [3, 4], [4, 7], [7, 11]], [[0, 0], [0, 0], [0, 1], [1, 6], [6, >]] -> [[0, 0], [0, 3], [3, 4], [4, 7], [7, >]], [[0, 0], [0, 0], [0, 1], [1, 6], [6, 0]] -> [[0, 0], [0, 3], [3, 4], [4, 7], [7, 0]], [[0, 0], [0, 0], [0, 1], [1, 6], [6, 1]] -> [[0, 0], [0, 3], [3, 4], [4, 7], [7, 1]], [[0, 0], [0, 0], [0, 1], [1, 6], [6, 3]] -> [[0, 0], [0, 3], [3, 4], [4, 7], [7, 3]], [[0, 0], [0, 0], [0, 1], [1, 6], [6, 11]] -> [[0, 0], [0, 3], [3, 4], [4, 7], [7, 11]], [[6, 0], [0, 0], [0, 1], [1, 6], [6, >]] -> [[6, 0], [0, 3], [3, 4], [4, 7], [7, >]], [[6, 0], [0, 0], [0, 1], [1, 6], [6, 0]] -> [[6, 0], [0, 3], [3, 4], [4, 7], [7, 0]], [[6, 0], [0, 0], [0, 1], [1, 6], [6, 1]] -> [[6, 0], [0, 3], [3, 4], [4, 7], [7, 1]], [[6, 0], [0, 0], [0, 1], [1, 6], [6, 3]] -> [[6, 0], [0, 3], [3, 4], [4, 7], [7, 3]], [[6, 0], [0, 0], [0, 1], [1, 6], [6, 11]] -> [[6, 0], [0, 3], [3, 4], [4, 7], [7, 11]], [[7, 0], [0, 0], [0, 1], [1, 6], [6, >]] -> [[7, 0], [0, 3], [3, 4], [4, 7], [7, >]], [[7, 0], [0, 0], [0, 1], [1, 6], [6, 0]] -> [[7, 0], [0, 3], [3, 4], [4, 7], [7, 0]], [[7, 0], [0, 0], [0, 1], [1, 6], [6, 1]] -> [[7, 0], [0, 3], [3, 4], [4, 7], [7, 1]], [[7, 0], [0, 0], [0, 1], [1, 6], [6, 3]] -> [[7, 0], [0, 3], [3, 4], [4, 7], [7, 3]], [[7, 0], [0, 0], [0, 1], [1, 6], [6, 11]] -> [[7, 0], [0, 3], [3, 4], [4, 7], [7, 11]], [[<, 0], [0, 0], [0, 1], [1, 8], [8, >]] -> [[<, 0], [0, 3], [3, 4], [4, 9], [9, >]], [[<, 0], [0, 0], [0, 1], [1, 8], [8, 6]] -> [[<, 0], [0, 3], [3, 4], [4, 9], [9, 6]], [[<, 0], [0, 0], [0, 1], [1, 8], [8, 8]] -> [[<, 0], [0, 3], [3, 4], [4, 9], [9, 8]], [[<, 0], [0, 0], [0, 1], [1, 8], [8, 10]] -> [[<, 0], [0, 3], [3, 4], [4, 9], [9, 10]], [[0, 0], [0, 0], [0, 1], [1, 8], [8, >]] -> [[0, 0], [0, 3], [3, 4], [4, 9], [9, >]], [[0, 0], [0, 0], [0, 1], [1, 8], [8, 6]] -> [[0, 0], [0, 3], [3, 4], [4, 9], [9, 6]], [[0, 0], [0, 0], [0, 1], [1, 8], [8, 8]] -> [[0, 0], [0, 3], [3, 4], [4, 9], [9, 8]], [[0, 0], [0, 0], [0, 1], [1, 8], [8, 10]] -> [[0, 0], [0, 3], [3, 4], [4, 9], [9, 10]], [[6, 0], [0, 0], [0, 1], [1, 8], [8, >]] -> [[6, 0], [0, 3], [3, 4], [4, 9], [9, >]], [[6, 0], [0, 0], [0, 1], [1, 8], [8, 6]] -> [[6, 0], [0, 3], [3, 4], [4, 9], [9, 6]], [[6, 0], [0, 0], [0, 1], [1, 8], [8, 8]] -> [[6, 0], [0, 3], [3, 4], [4, 9], [9, 8]], [[6, 0], [0, 0], [0, 1], [1, 8], [8, 10]] -> [[6, 0], [0, 3], [3, 4], [4, 9], [9, 10]], [[7, 0], [0, 0], [0, 1], [1, 8], [8, >]] -> [[7, 0], [0, 3], [3, 4], [4, 9], [9, >]], [[7, 0], [0, 0], [0, 1], [1, 8], [8, 6]] -> [[7, 0], [0, 3], [3, 4], [4, 9], [9, 6]], [[7, 0], [0, 0], [0, 1], [1, 8], [8, 8]] -> [[7, 0], [0, 3], [3, 4], [4, 9], [9, 8]], [[7, 0], [0, 0], [0, 1], [1, 8], [8, 10]] -> [[7, 0], [0, 3], [3, 4], [4, 9], [9, 10]], [[<, 0], [0, 0], [0, 1], [1, 10], [10, >]] -> [[<, 0], [0, 3], [3, 4], [4, 4], [4, >]], [[<, 0], [0, 0], [0, 1], [1, 10], [10, 4]] -> [[<, 0], [0, 3], [3, 4], [4, 4], [4, 4]], [[<, 0], [0, 0], [0, 1], [1, 10], [10, 7]] -> [[<, 0], [0, 3], [3, 4], [4, 4], [4, 7]], [[<, 0], [0, 0], [0, 1], [1, 10], [10, 9]] -> [[<, 0], [0, 3], [3, 4], [4, 4], [4, 9]], [[0, 0], [0, 0], [0, 1], [1, 10], [10, >]] -> [[0, 0], [0, 3], [3, 4], [4, 4], [4, >]], [[0, 0], [0, 0], [0, 1], [1, 10], [10, 4]] -> [[0, 0], [0, 3], [3, 4], [4, 4], [4, 4]], [[0, 0], [0, 0], [0, 1], [1, 10], [10, 7]] -> [[0, 0], [0, 3], [3, 4], [4, 4], [4, 7]], [[0, 0], [0, 0], [0, 1], [1, 10], [10, 9]] -> [[0, 0], [0, 3], [3, 4], [4, 4], [4, 9]], [[6, 0], [0, 0], [0, 1], [1, 10], [10, >]] -> [[6, 0], [0, 3], [3, 4], [4, 4], [4, >]], [[6, 0], [0, 0], [0, 1], [1, 10], [10, 4]] -> [[6, 0], [0, 3], [3, 4], [4, 4], [4, 4]], [[6, 0], [0, 0], [0, 1], [1, 10], [10, 7]] -> [[6, 0], [0, 3], [3, 4], [4, 4], [4, 7]], [[6, 0], [0, 0], [0, 1], [1, 10], [10, 9]] -> [[6, 0], [0, 3], [3, 4], [4, 4], [4, 9]], [[7, 0], [0, 0], [0, 1], [1, 10], [10, >]] -> [[7, 0], [0, 3], [3, 4], [4, 4], [4, >]], [[7, 0], [0, 0], [0, 1], [1, 10], [10, 4]] -> [[7, 0], [0, 3], [3, 4], [4, 4], [4, 4]], [[7, 0], [0, 0], [0, 1], [1, 10], [10, 7]] -> [[7, 0], [0, 3], [3, 4], [4, 4], [4, 7]], [[7, 0], [0, 0], [0, 1], [1, 10], [10, 9]] -> [[7, 0], [0, 3], [3, 4], [4, 4], [4, 9]], [[<, 6], [6, 0], [0, 1], [1, 6], [6, >]] -> [[<, 6], [6, 3], [3, 4], [4, 7], [7, >]], [[<, 6], [6, 0], [0, 1], [1, 6], [6, 0]] -> [[<, 6], [6, 3], [3, 4], [4, 7], [7, 0]], [[<, 6], [6, 0], [0, 1], [1, 6], [6, 1]] -> [[<, 6], [6, 3], [3, 4], [4, 7], [7, 1]], [[<, 6], [6, 0], [0, 1], [1, 6], [6, 3]] -> [[<, 6], [6, 3], [3, 4], [4, 7], [7, 3]], [[<, 6], [6, 0], [0, 1], [1, 6], [6, 11]] -> [[<, 6], [6, 3], [3, 4], [4, 7], [7, 11]], [[1, 6], [6, 0], [0, 1], [1, 6], [6, >]] -> [[1, 6], [6, 3], [3, 4], [4, 7], [7, >]], [[1, 6], [6, 0], [0, 1], [1, 6], [6, 0]] -> [[1, 6], [6, 3], [3, 4], [4, 7], [7, 0]], [[1, 6], [6, 0], [0, 1], [1, 6], [6, 1]] -> [[1, 6], [6, 3], [3, 4], [4, 7], [7, 1]], [[1, 6], [6, 0], [0, 1], [1, 6], [6, 3]] -> [[1, 6], [6, 3], [3, 4], [4, 7], [7, 3]], [[1, 6], [6, 0], [0, 1], [1, 6], [6, 11]] -> [[1, 6], [6, 3], [3, 4], [4, 7], [7, 11]], [[8, 6], [6, 0], [0, 1], [1, 6], [6, >]] -> [[8, 6], [6, 3], [3, 4], [4, 7], [7, >]], [[8, 6], [6, 0], [0, 1], [1, 6], [6, 0]] -> [[8, 6], [6, 3], [3, 4], [4, 7], [7, 0]], [[8, 6], [6, 0], [0, 1], [1, 6], [6, 1]] -> [[8, 6], [6, 3], [3, 4], [4, 7], [7, 1]], [[8, 6], [6, 0], [0, 1], [1, 6], [6, 3]] -> [[8, 6], [6, 3], [3, 4], [4, 7], [7, 3]], [[8, 6], [6, 0], [0, 1], [1, 6], [6, 11]] -> [[8, 6], [6, 3], [3, 4], [4, 7], [7, 11]], [[9, 6], [6, 0], [0, 1], [1, 6], [6, >]] -> [[9, 6], [6, 3], [3, 4], [4, 7], [7, >]], [[9, 6], [6, 0], [0, 1], [1, 6], [6, 0]] -> [[9, 6], [6, 3], [3, 4], [4, 7], [7, 0]], [[9, 6], [6, 0], [0, 1], [1, 6], [6, 1]] -> [[9, 6], [6, 3], [3, 4], [4, 7], [7, 1]], [[9, 6], [6, 0], [0, 1], [1, 6], [6, 3]] -> [[9, 6], [6, 3], [3, 4], [4, 7], [7, 3]], [[9, 6], [6, 0], [0, 1], [1, 6], [6, 11]] -> [[9, 6], [6, 3], [3, 4], [4, 7], [7, 11]], [[<, 6], [6, 0], [0, 1], [1, 8], [8, >]] -> [[<, 6], [6, 3], [3, 4], [4, 9], [9, >]], [[<, 6], [6, 0], [0, 1], [1, 8], [8, 6]] -> [[<, 6], [6, 3], [3, 4], [4, 9], [9, 6]], [[<, 6], [6, 0], [0, 1], [1, 8], [8, 8]] -> [[<, 6], [6, 3], [3, 4], [4, 9], [9, 8]], [[<, 6], [6, 0], [0, 1], [1, 8], [8, 10]] -> [[<, 6], [6, 3], [3, 4], [4, 9], [9, 10]], [[1, 6], [6, 0], [0, 1], [1, 8], [8, >]] -> [[1, 6], [6, 3], [3, 4], [4, 9], [9, >]], [[1, 6], [6, 0], [0, 1], [1, 8], [8, 6]] -> [[1, 6], [6, 3], [3, 4], [4, 9], [9, 6]], [[1, 6], [6, 0], [0, 1], [1, 8], [8, 8]] -> [[1, 6], [6, 3], [3, 4], [4, 9], [9, 8]], [[1, 6], [6, 0], [0, 1], [1, 8], [8, 10]] -> [[1, 6], [6, 3], [3, 4], [4, 9], [9, 10]], [[8, 6], [6, 0], [0, 1], [1, 8], [8, >]] -> [[8, 6], [6, 3], [3, 4], [4, 9], [9, >]], [[8, 6], [6, 0], [0, 1], [1, 8], [8, 6]] -> [[8, 6], [6, 3], [3, 4], [4, 9], [9, 6]], [[8, 6], [6, 0], [0, 1], [1, 8], [8, 8]] -> [[8, 6], [6, 3], [3, 4], [4, 9], [9, 8]], [[8, 6], [6, 0], [0, 1], [1, 8], [8, 10]] -> [[8, 6], [6, 3], [3, 4], [4, 9], [9, 10]], [[9, 6], [6, 0], [0, 1], [1, 8], [8, >]] -> [[9, 6], [6, 3], [3, 4], [4, 9], [9, >]], [[9, 6], [6, 0], [0, 1], [1, 8], [8, 6]] -> [[9, 6], [6, 3], [3, 4], [4, 9], [9, 6]], [[9, 6], [6, 0], [0, 1], [1, 8], [8, 8]] -> [[9, 6], [6, 3], [3, 4], [4, 9], [9, 8]], [[9, 6], [6, 0], [0, 1], [1, 8], [8, 10]] -> [[9, 6], [6, 3], [3, 4], [4, 9], [9, 10]], [[<, 6], [6, 0], [0, 1], [1, 10], [10, >]] -> [[<, 6], [6, 3], [3, 4], [4, 4], [4, >]], [[<, 6], [6, 0], [0, 1], [1, 10], [10, 4]] -> [[<, 6], [6, 3], [3, 4], [4, 4], [4, 4]], [[<, 6], [6, 0], [0, 1], [1, 10], [10, 7]] -> [[<, 6], [6, 3], [3, 4], [4, 4], [4, 7]], [[<, 6], [6, 0], [0, 1], [1, 10], [10, 9]] -> [[<, 6], [6, 3], [3, 4], [4, 4], [4, 9]], [[1, 6], [6, 0], [0, 1], [1, 10], [10, >]] -> [[1, 6], [6, 3], [3, 4], [4, 4], [4, >]], [[1, 6], [6, 0], [0, 1], [1, 10], [10, 4]] -> [[1, 6], [6, 3], [3, 4], [4, 4], [4, 4]], [[1, 6], [6, 0], [0, 1], [1, 10], [10, 7]] -> [[1, 6], [6, 3], [3, 4], [4, 4], [4, 7]], [[1, 6], [6, 0], [0, 1], [1, 10], [10, 9]] -> [[1, 6], [6, 3], [3, 4], [4, 4], [4, 9]], [[8, 6], [6, 0], [0, 1], [1, 10], [10, >]] -> [[8, 6], [6, 3], [3, 4], [4, 4], [4, >]], [[8, 6], [6, 0], [0, 1], [1, 10], [10, 4]] -> [[8, 6], [6, 3], [3, 4], [4, 4], [4, 4]], [[8, 6], [6, 0], [0, 1], [1, 10], [10, 7]] -> [[8, 6], [6, 3], [3, 4], [4, 4], [4, 7]], [[8, 6], [6, 0], [0, 1], [1, 10], [10, 9]] -> [[8, 6], [6, 3], [3, 4], [4, 4], [4, 9]], [[9, 6], [6, 0], [0, 1], [1, 10], [10, >]] -> [[9, 6], [6, 3], [3, 4], [4, 4], [4, >]], [[9, 6], [6, 0], [0, 1], [1, 10], [10, 4]] -> [[9, 6], [6, 3], [3, 4], [4, 4], [4, 4]], [[9, 6], [6, 0], [0, 1], [1, 10], [10, 7]] -> [[9, 6], [6, 3], [3, 4], [4, 4], [4, 7]], [[9, 6], [6, 0], [0, 1], [1, 10], [10, 9]] -> [[9, 6], [6, 3], [3, 4], [4, 4], [4, 9]], [[<, 7], [7, 0], [0, 1], [1, 6], [6, >]] -> [[<, 7], [7, 3], [3, 4], [4, 7], [7, >]], [[<, 7], [7, 0], [0, 1], [1, 6], [6, 0]] -> [[<, 7], [7, 3], [3, 4], [4, 7], [7, 0]], [[<, 7], [7, 0], [0, 1], [1, 6], [6, 1]] -> [[<, 7], [7, 3], [3, 4], [4, 7], [7, 1]], [[<, 7], [7, 0], [0, 1], [1, 6], [6, 3]] -> [[<, 7], [7, 3], [3, 4], [4, 7], [7, 3]], [[<, 7], [7, 0], [0, 1], [1, 6], [6, 11]] -> [[<, 7], [7, 3], [3, 4], [4, 7], [7, 11]], [[3, 7], [7, 0], [0, 1], [1, 6], [6, >]] -> [[3, 7], [7, 3], [3, 4], [4, 7], [7, >]], [[3, 7], [7, 0], [0, 1], [1, 6], [6, 0]] -> [[3, 7], [7, 3], [3, 4], [4, 7], [7, 0]], [[3, 7], [7, 0], [0, 1], [1, 6], [6, 1]] -> [[3, 7], [7, 3], [3, 4], [4, 7], [7, 1]], [[3, 7], [7, 0], [0, 1], [1, 6], [6, 3]] -> [[3, 7], [7, 3], [3, 4], [4, 7], [7, 3]], [[3, 7], [7, 0], [0, 1], [1, 6], [6, 11]] -> [[3, 7], [7, 3], [3, 4], [4, 7], [7, 11]], [[4, 7], [7, 0], [0, 1], [1, 6], [6, >]] -> [[4, 7], [7, 3], [3, 4], [4, 7], [7, >]], [[4, 7], [7, 0], [0, 1], [1, 6], [6, 0]] -> [[4, 7], [7, 3], [3, 4], [4, 7], [7, 0]], [[4, 7], [7, 0], [0, 1], [1, 6], [6, 1]] -> [[4, 7], [7, 3], [3, 4], [4, 7], [7, 1]], [[4, 7], [7, 0], [0, 1], [1, 6], [6, 3]] -> [[4, 7], [7, 3], [3, 4], [4, 7], [7, 3]], [[4, 7], [7, 0], [0, 1], [1, 6], [6, 11]] -> [[4, 7], [7, 3], [3, 4], [4, 7], [7, 11]], [[10, 7], [7, 0], [0, 1], [1, 6], [6, >]] -> [[10, 7], [7, 3], [3, 4], [4, 7], [7, >]], [[10, 7], [7, 0], [0, 1], [1, 6], [6, 0]] -> [[10, 7], [7, 3], [3, 4], [4, 7], [7, 0]], [[10, 7], [7, 0], [0, 1], [1, 6], [6, 1]] -> [[10, 7], [7, 3], [3, 4], [4, 7], [7, 1]], [[10, 7], [7, 0], [0, 1], [1, 6], [6, 3]] -> [[10, 7], [7, 3], [3, 4], [4, 7], [7, 3]], [[10, 7], [7, 0], [0, 1], [1, 6], [6, 11]] -> [[10, 7], [7, 3], [3, 4], [4, 7], [7, 11]], [[12, 7], [7, 0], [0, 1], [1, 6], [6, >]] -> [[12, 7], [7, 3], [3, 4], [4, 7], [7, >]], [[12, 7], [7, 0], [0, 1], [1, 6], [6, 0]] -> [[12, 7], [7, 3], [3, 4], [4, 7], [7, 0]], [[12, 7], [7, 0], [0, 1], [1, 6], [6, 1]] -> [[12, 7], [7, 3], [3, 4], [4, 7], [7, 1]], [[12, 7], [7, 0], [0, 1], [1, 6], [6, 3]] -> [[12, 7], [7, 3], [3, 4], [4, 7], [7, 3]], [[12, 7], [7, 0], [0, 1], [1, 6], [6, 11]] -> [[12, 7], [7, 3], [3, 4], [4, 7], [7, 11]], [[<, 7], [7, 0], [0, 1], [1, 8], [8, >]] -> [[<, 7], [7, 3], [3, 4], [4, 9], [9, >]], [[<, 7], [7, 0], [0, 1], [1, 8], [8, 6]] -> [[<, 7], [7, 3], [3, 4], [4, 9], [9, 6]], [[<, 7], [7, 0], [0, 1], [1, 8], [8, 8]] -> [[<, 7], [7, 3], [3, 4], [4, 9], [9, 8]], [[<, 7], [7, 0], [0, 1], [1, 8], [8, 10]] -> [[<, 7], [7, 3], [3, 4], [4, 9], [9, 10]], [[3, 7], [7, 0], [0, 1], [1, 8], [8, >]] -> [[3, 7], [7, 3], [3, 4], [4, 9], [9, >]], [[3, 7], [7, 0], [0, 1], [1, 8], [8, 6]] -> [[3, 7], [7, 3], [3, 4], [4, 9], [9, 6]], [[3, 7], [7, 0], [0, 1], [1, 8], [8, 8]] -> [[3, 7], [7, 3], [3, 4], [4, 9], [9, 8]], [[3, 7], [7, 0], [0, 1], [1, 8], [8, 10]] -> [[3, 7], [7, 3], [3, 4], [4, 9], [9, 10]], [[4, 7], [7, 0], [0, 1], [1, 8], [8, >]] -> [[4, 7], [7, 3], [3, 4], [4, 9], [9, >]], [[4, 7], [7, 0], [0, 1], [1, 8], [8, 6]] -> [[4, 7], [7, 3], [3, 4], [4, 9], [9, 6]], [[4, 7], [7, 0], [0, 1], [1, 8], [8, 8]] -> [[4, 7], [7, 3], [3, 4], [4, 9], [9, 8]], [[4, 7], [7, 0], [0, 1], [1, 8], [8, 10]] -> [[4, 7], [7, 3], [3, 4], [4, 9], [9, 10]], [[10, 7], [7, 0], [0, 1], [1, 8], [8, >]] -> [[10, 7], [7, 3], [3, 4], [4, 9], [9, >]], [[10, 7], [7, 0], [0, 1], [1, 8], [8, 6]] -> [[10, 7], [7, 3], [3, 4], [4, 9], [9, 6]], [[10, 7], [7, 0], [0, 1], [1, 8], [8, 8]] -> [[10, 7], [7, 3], [3, 4], [4, 9], [9, 8]], [[10, 7], [7, 0], [0, 1], [1, 8], [8, 10]] -> [[10, 7], [7, 3], [3, 4], [4, 9], [9, 10]], [[12, 7], [7, 0], [0, 1], [1, 8], [8, >]] -> [[12, 7], [7, 3], [3, 4], [4, 9], [9, >]], [[12, 7], [7, 0], [0, 1], [1, 8], [8, 6]] -> [[12, 7], [7, 3], [3, 4], [4, 9], [9, 6]], [[12, 7], [7, 0], [0, 1], [1, 8], [8, 8]] -> [[12, 7], [7, 3], [3, 4], [4, 9], [9, 8]], [[12, 7], [7, 0], [0, 1], [1, 8], [8, 10]] -> [[12, 7], [7, 3], [3, 4], [4, 9], [9, 10]], [[<, 7], [7, 0], [0, 1], [1, 10], [10, >]] -> [[<, 7], [7, 3], [3, 4], [4, 4], [4, >]], [[<, 7], [7, 0], [0, 1], [1, 10], [10, 4]] -> [[<, 7], [7, 3], [3, 4], [4, 4], [4, 4]], [[<, 7], [7, 0], [0, 1], [1, 10], [10, 7]] -> [[<, 7], [7, 3], [3, 4], [4, 4], [4, 7]], [[<, 7], [7, 0], [0, 1], [1, 10], [10, 9]] -> [[<, 7], [7, 3], [3, 4], [4, 4], [4, 9]], [[3, 7], [7, 0], [0, 1], [1, 10], [10, >]] -> [[3, 7], [7, 3], [3, 4], [4, 4], [4, >]], [[3, 7], [7, 0], [0, 1], [1, 10], [10, 4]] -> [[3, 7], [7, 3], [3, 4], [4, 4], [4, 4]], [[3, 7], [7, 0], [0, 1], [1, 10], [10, 7]] -> [[3, 7], [7, 3], [3, 4], [4, 4], [4, 7]], [[3, 7], [7, 0], [0, 1], [1, 10], [10, 9]] -> [[3, 7], [7, 3], [3, 4], [4, 4], [4, 9]], [[4, 7], [7, 0], [0, 1], [1, 10], [10, >]] -> [[4, 7], [7, 3], [3, 4], [4, 4], [4, >]], [[4, 7], [7, 0], [0, 1], [1, 10], [10, 4]] -> [[4, 7], [7, 3], [3, 4], [4, 4], [4, 4]], [[4, 7], [7, 0], [0, 1], [1, 10], [10, 7]] -> [[4, 7], [7, 3], [3, 4], [4, 4], [4, 7]], [[4, 7], [7, 0], [0, 1], [1, 10], [10, 9]] -> [[4, 7], [7, 3], [3, 4], [4, 4], [4, 9]], [[10, 7], [7, 0], [0, 1], [1, 10], [10, >]] -> [[10, 7], [7, 3], [3, 4], [4, 4], [4, >]], [[10, 7], [7, 0], [0, 1], [1, 10], [10, 4]] -> [[10, 7], [7, 3], [3, 4], [4, 4], [4, 4]], [[10, 7], [7, 0], [0, 1], [1, 10], [10, 7]] -> [[10, 7], [7, 3], [3, 4], [4, 4], [4, 7]], [[10, 7], [7, 0], [0, 1], [1, 10], [10, 9]] -> [[10, 7], [7, 3], [3, 4], [4, 4], [4, 9]], [[12, 7], [7, 0], [0, 1], [1, 10], [10, >]] -> [[12, 7], [7, 3], [3, 4], [4, 4], [4, >]], [[12, 7], [7, 0], [0, 1], [1, 10], [10, 4]] -> [[12, 7], [7, 3], [3, 4], [4, 4], [4, 4]], [[12, 7], [7, 0], [0, 1], [1, 10], [10, 7]] -> [[12, 7], [7, 3], [3, 4], [4, 4], [4, 7]], [[12, 7], [7, 0], [0, 1], [1, 10], [10, 9]] -> [[12, 7], [7, 3], [3, 4], [4, 4], [4, 9]], [[<, 10], [10, 9], [9, 6], [6, 11], [11, >]] ->= [[<, 8], [8, 10], [10, 7], [7, 11], [11, >]], [[1, 10], [10, 9], [9, 6], [6, 11], [11, >]] ->= [[1, 8], [8, 10], [10, 7], [7, 11], [11, >]], [[8, 10], [10, 9], [9, 6], [6, 11], [11, >]] ->= [[8, 8], [8, 10], [10, 7], [7, 11], [11, >]], [[9, 10], [10, 9], [9, 6], [6, 11], [11, >]] ->= [[9, 8], [8, 10], [10, 7], [7, 11], [11, >]], [[<, 10], [10, 9], [9, 6], [6, 0], [0, >]] ->= [[<, 8], [8, 10], [10, 7], [7, 0], [0, >]], [[<, 10], [10, 9], [9, 6], [6, 0], [0, 0]] ->= [[<, 8], [8, 10], [10, 7], [7, 0], [0, 0]], [[<, 10], [10, 9], [9, 6], [6, 0], [0, 1]] ->= [[<, 8], [8, 10], [10, 7], [7, 0], [0, 1]], [[<, 10], [10, 9], [9, 6], [6, 0], [0, 3]] ->= [[<, 8], [8, 10], [10, 7], [7, 0], [0, 3]], [[<, 10], [10, 9], [9, 6], [6, 0], [0, 11]] ->= [[<, 8], [8, 10], [10, 7], [7, 0], [0, 11]], [[1, 10], [10, 9], [9, 6], [6, 0], [0, >]] ->= [[1, 8], [8, 10], [10, 7], [7, 0], [0, >]], [[1, 10], [10, 9], [9, 6], [6, 0], [0, 0]] ->= [[1, 8], [8, 10], [10, 7], [7, 0], [0, 0]], [[1, 10], [10, 9], [9, 6], [6, 0], [0, 1]] ->= [[1, 8], [8, 10], [10, 7], [7, 0], [0, 1]], [[1, 10], [10, 9], [9, 6], [6, 0], [0, 3]] ->= [[1, 8], [8, 10], [10, 7], [7, 0], [0, 3]], [[1, 10], [10, 9], [9, 6], [6, 0], [0, 11]] ->= [[1, 8], [8, 10], [10, 7], [7, 0], [0, 11]], [[8, 10], [10, 9], [9, 6], [6, 0], [0, >]] ->= [[8, 8], [8, 10], [10, 7], [7, 0], [0, >]], [[8, 10], [10, 9], [9, 6], [6, 0], [0, 0]] ->= [[8, 8], [8, 10], [10, 7], [7, 0], [0, 0]], [[8, 10], [10, 9], [9, 6], [6, 0], [0, 1]] ->= [[8, 8], [8, 10], [10, 7], [7, 0], [0, 1]], [[8, 10], [10, 9], [9, 6], [6, 0], [0, 3]] ->= [[8, 8], [8, 10], [10, 7], [7, 0], [0, 3]], [[8, 10], [10, 9], [9, 6], [6, 0], [0, 11]] ->= [[8, 8], [8, 10], [10, 7], [7, 0], [0, 11]], [[9, 10], [10, 9], [9, 6], [6, 0], [0, >]] ->= [[9, 8], [8, 10], [10, 7], [7, 0], [0, >]], [[9, 10], [10, 9], [9, 6], [6, 0], [0, 0]] ->= [[9, 8], [8, 10], [10, 7], [7, 0], [0, 0]], [[9, 10], [10, 9], [9, 6], [6, 0], [0, 1]] ->= [[9, 8], [8, 10], [10, 7], [7, 0], [0, 1]], [[9, 10], [10, 9], [9, 6], [6, 0], [0, 3]] ->= [[9, 8], [8, 10], [10, 7], [7, 0], [0, 3]], [[9, 10], [10, 9], [9, 6], [6, 0], [0, 11]] ->= [[9, 8], [8, 10], [10, 7], [7, 0], [0, 11]], [[<, 10], [10, 9], [9, 6], [6, 1], [1, >]] ->= [[<, 8], [8, 10], [10, 7], [7, 1], [1, >]], [[<, 10], [10, 9], [9, 6], [6, 1], [1, 6]] ->= [[<, 8], [8, 10], [10, 7], [7, 1], [1, 6]], [[<, 10], [10, 9], [9, 6], [6, 1], [1, 8]] ->= [[<, 8], [8, 10], [10, 7], [7, 1], [1, 8]], [[<, 10], [10, 9], [9, 6], [6, 1], [1, 10]] ->= [[<, 8], [8, 10], [10, 7], [7, 1], [1, 10]], [[1, 10], [10, 9], [9, 6], [6, 1], [1, >]] ->= [[1, 8], [8, 10], [10, 7], [7, 1], [1, >]], [[1, 10], [10, 9], [9, 6], [6, 1], [1, 6]] ->= [[1, 8], [8, 10], [10, 7], [7, 1], [1, 6]], [[1, 10], [10, 9], [9, 6], [6, 1], [1, 8]] ->= [[1, 8], [8, 10], [10, 7], [7, 1], [1, 8]], [[1, 10], [10, 9], [9, 6], [6, 1], [1, 10]] ->= [[1, 8], [8, 10], [10, 7], [7, 1], [1, 10]], [[8, 10], [10, 9], [9, 6], [6, 1], [1, >]] ->= [[8, 8], [8, 10], [10, 7], [7, 1], [1, >]], [[8, 10], [10, 9], [9, 6], [6, 1], [1, 6]] ->= [[8, 8], [8, 10], [10, 7], [7, 1], [1, 6]], [[8, 10], [10, 9], [9, 6], [6, 1], [1, 8]] ->= [[8, 8], [8, 10], [10, 7], [7, 1], [1, 8]], [[8, 10], [10, 9], [9, 6], [6, 1], [1, 10]] ->= [[8, 8], [8, 10], [10, 7], [7, 1], [1, 10]], [[9, 10], [10, 9], [9, 6], [6, 1], [1, >]] ->= [[9, 8], [8, 10], [10, 7], [7, 1], [1, >]], [[9, 10], [10, 9], [9, 6], [6, 1], [1, 6]] ->= [[9, 8], [8, 10], [10, 7], [7, 1], [1, 6]], [[9, 10], [10, 9], [9, 6], [6, 1], [1, 8]] ->= [[9, 8], [8, 10], [10, 7], [7, 1], [1, 8]], [[9, 10], [10, 9], [9, 6], [6, 1], [1, 10]] ->= [[9, 8], [8, 10], [10, 7], [7, 1], [1, 10]], [[<, 10], [10, 9], [9, 6], [6, 3], [3, >]] ->= [[<, 8], [8, 10], [10, 7], [7, 3], [3, >]], [[<, 10], [10, 9], [9, 6], [6, 3], [3, 4]] ->= [[<, 8], [8, 10], [10, 7], [7, 3], [3, 4]], [[<, 10], [10, 9], [9, 6], [6, 3], [3, 7]] ->= [[<, 8], [8, 10], [10, 7], [7, 3], [3, 7]], [[<, 10], [10, 9], [9, 6], [6, 3], [3, 9]] ->= [[<, 8], [8, 10], [10, 7], [7, 3], [3, 9]], [[1, 10], [10, 9], [9, 6], [6, 3], [3, >]] ->= [[1, 8], [8, 10], [10, 7], [7, 3], [3, >]], [[1, 10], [10, 9], [9, 6], [6, 3], [3, 4]] ->= [[1, 8], [8, 10], [10, 7], [7, 3], [3, 4]], [[1, 10], [10, 9], [9, 6], [6, 3], [3, 7]] ->= [[1, 8], [8, 10], [10, 7], [7, 3], [3, 7]], [[1, 10], [10, 9], [9, 6], [6, 3], [3, 9]] ->= [[1, 8], [8, 10], [10, 7], [7, 3], [3, 9]], [[8, 10], [10, 9], [9, 6], [6, 3], [3, >]] ->= [[8, 8], [8, 10], [10, 7], [7, 3], [3, >]], [[8, 10], [10, 9], [9, 6], [6, 3], [3, 4]] ->= [[8, 8], [8, 10], [10, 7], [7, 3], [3, 4]], [[8, 10], [10, 9], [9, 6], [6, 3], [3, 7]] ->= [[8, 8], [8, 10], [10, 7], [7, 3], [3, 7]], [[8, 10], [10, 9], [9, 6], [6, 3], [3, 9]] ->= [[8, 8], [8, 10], [10, 7], [7, 3], [3, 9]], [[9, 10], [10, 9], [9, 6], [6, 3], [3, >]] ->= [[9, 8], [8, 10], [10, 7], [7, 3], [3, >]], [[9, 10], [10, 9], [9, 6], [6, 3], [3, 4]] ->= [[9, 8], [8, 10], [10, 7], [7, 3], [3, 4]], [[9, 10], [10, 9], [9, 6], [6, 3], [3, 7]] ->= [[9, 8], [8, 10], [10, 7], [7, 3], [3, 7]], [[9, 10], [10, 9], [9, 6], [6, 3], [3, 9]] ->= [[9, 8], [8, 10], [10, 7], [7, 3], [3, 9]], [[<, 4], [4, 9], [9, 6], [6, 11], [11, >]] ->= [[<, 9], [9, 10], [10, 7], [7, 11], [11, >]], [[3, 4], [4, 9], [9, 6], [6, 11], [11, >]] ->= [[3, 9], [9, 10], [10, 7], [7, 11], [11, >]], [[4, 4], [4, 9], [9, 6], [6, 11], [11, >]] ->= [[4, 9], [9, 10], [10, 7], [7, 11], [11, >]], [[10, 4], [4, 9], [9, 6], [6, 11], [11, >]] ->= [[10, 9], [9, 10], [10, 7], [7, 11], [11, >]], [[<, 4], [4, 9], [9, 6], [6, 0], [0, >]] ->= [[<, 9], [9, 10], [10, 7], [7, 0], [0, >]], [[<, 4], [4, 9], [9, 6], [6, 0], [0, 0]] ->= [[<, 9], [9, 10], [10, 7], [7, 0], [0, 0]], [[<, 4], [4, 9], [9, 6], [6, 0], [0, 1]] ->= [[<, 9], [9, 10], [10, 7], [7, 0], [0, 1]], [[<, 4], [4, 9], [9, 6], [6, 0], [0, 3]] ->= [[<, 9], [9, 10], [10, 7], [7, 0], [0, 3]], [[<, 4], [4, 9], [9, 6], [6, 0], [0, 11]] ->= [[<, 9], [9, 10], [10, 7], [7, 0], [0, 11]], [[3, 4], [4, 9], [9, 6], [6, 0], [0, >]] ->= [[3, 9], [9, 10], [10, 7], [7, 0], [0, >]], [[3, 4], [4, 9], [9, 6], [6, 0], [0, 0]] ->= [[3, 9], [9, 10], [10, 7], [7, 0], [0, 0]], [[3, 4], [4, 9], [9, 6], [6, 0], [0, 1]] ->= [[3, 9], [9, 10], [10, 7], [7, 0], [0, 1]], [[3, 4], [4, 9], [9, 6], [6, 0], [0, 3]] ->= [[3, 9], [9, 10], [10, 7], [7, 0], [0, 3]], [[3, 4], [4, 9], [9, 6], [6, 0], [0, 11]] ->= [[3, 9], [9, 10], [10, 7], [7, 0], [0, 11]], [[4, 4], [4, 9], [9, 6], [6, 0], [0, >]] ->= [[4, 9], [9, 10], [10, 7], [7, 0], [0, >]], [[4, 4], [4, 9], [9, 6], [6, 0], [0, 0]] ->= [[4, 9], [9, 10], [10, 7], [7, 0], [0, 0]], [[4, 4], [4, 9], [9, 6], [6, 0], [0, 1]] ->= [[4, 9], [9, 10], [10, 7], [7, 0], [0, 1]], [[4, 4], [4, 9], [9, 6], [6, 0], [0, 3]] ->= [[4, 9], [9, 10], [10, 7], [7, 0], [0, 3]], [[4, 4], [4, 9], [9, 6], [6, 0], [0, 11]] ->= [[4, 9], [9, 10], [10, 7], [7, 0], [0, 11]], [[10, 4], [4, 9], [9, 6], [6, 0], [0, >]] ->= [[10, 9], [9, 10], [10, 7], [7, 0], [0, >]], [[10, 4], [4, 9], [9, 6], [6, 0], [0, 0]] ->= [[10, 9], [9, 10], [10, 7], [7, 0], [0, 0]], [[10, 4], [4, 9], [9, 6], [6, 0], [0, 1]] ->= [[10, 9], [9, 10], [10, 7], [7, 0], [0, 1]], [[10, 4], [4, 9], [9, 6], [6, 0], [0, 3]] ->= [[10, 9], [9, 10], [10, 7], [7, 0], [0, 3]], [[10, 4], [4, 9], [9, 6], [6, 0], [0, 11]] ->= [[10, 9], [9, 10], [10, 7], [7, 0], [0, 11]], [[<, 4], [4, 9], [9, 6], [6, 1], [1, >]] ->= [[<, 9], [9, 10], [10, 7], [7, 1], [1, >]], [[<, 4], [4, 9], [9, 6], [6, 1], [1, 6]] ->= [[<, 9], [9, 10], [10, 7], [7, 1], [1, 6]], [[<, 4], [4, 9], [9, 6], [6, 1], [1, 8]] ->= [[<, 9], [9, 10], [10, 7], [7, 1], [1, 8]], [[<, 4], [4, 9], [9, 6], [6, 1], [1, 10]] ->= [[<, 9], [9, 10], [10, 7], [7, 1], [1, 10]], [[3, 4], [4, 9], [9, 6], [6, 1], [1, >]] ->= [[3, 9], [9, 10], [10, 7], [7, 1], [1, >]], [[3, 4], [4, 9], [9, 6], [6, 1], [1, 6]] ->= [[3, 9], [9, 10], [10, 7], [7, 1], [1, 6]], [[3, 4], [4, 9], [9, 6], [6, 1], [1, 8]] ->= [[3, 9], [9, 10], [10, 7], [7, 1], [1, 8]], [[3, 4], [4, 9], [9, 6], [6, 1], [1, 10]] ->= [[3, 9], [9, 10], [10, 7], [7, 1], [1, 10]], [[4, 4], [4, 9], [9, 6], [6, 1], [1, >]] ->= [[4, 9], [9, 10], [10, 7], [7, 1], [1, >]], [[4, 4], [4, 9], [9, 6], [6, 1], [1, 6]] ->= [[4, 9], [9, 10], [10, 7], [7, 1], [1, 6]], [[4, 4], [4, 9], [9, 6], [6, 1], [1, 8]] ->= [[4, 9], [9, 10], [10, 7], [7, 1], [1, 8]], [[4, 4], [4, 9], [9, 6], [6, 1], [1, 10]] ->= [[4, 9], [9, 10], [10, 7], [7, 1], [1, 10]], [[10, 4], [4, 9], [9, 6], [6, 1], [1, >]] ->= [[10, 9], [9, 10], [10, 7], [7, 1], [1, >]], [[10, 4], [4, 9], [9, 6], [6, 1], [1, 6]] ->= [[10, 9], [9, 10], [10, 7], [7, 1], [1, 6]], [[10, 4], [4, 9], [9, 6], [6, 1], [1, 8]] ->= [[10, 9], [9, 10], [10, 7], [7, 1], [1, 8]], [[10, 4], [4, 9], [9, 6], [6, 1], [1, 10]] ->= [[10, 9], [9, 10], [10, 7], [7, 1], [1, 10]], [[<, 4], [4, 9], [9, 6], [6, 3], [3, >]] ->= [[<, 9], [9, 10], [10, 7], [7, 3], [3, >]], [[<, 4], [4, 9], [9, 6], [6, 3], [3, 4]] ->= [[<, 9], [9, 10], [10, 7], [7, 3], [3, 4]], [[<, 4], [4, 9], [9, 6], [6, 3], [3, 7]] ->= [[<, 9], [9, 10], [10, 7], [7, 3], [3, 7]], [[<, 4], [4, 9], [9, 6], [6, 3], [3, 9]] ->= [[<, 9], [9, 10], [10, 7], [7, 3], [3, 9]], [[3, 4], [4, 9], [9, 6], [6, 3], [3, >]] ->= [[3, 9], [9, 10], [10, 7], [7, 3], [3, >]], [[3, 4], [4, 9], [9, 6], [6, 3], [3, 4]] ->= [[3, 9], [9, 10], [10, 7], [7, 3], [3, 4]], [[3, 4], [4, 9], [9, 6], [6, 3], [3, 7]] ->= [[3, 9], [9, 10], [10, 7], [7, 3], [3, 7]], [[3, 4], [4, 9], [9, 6], [6, 3], [3, 9]] ->= [[3, 9], [9, 10], [10, 7], [7, 3], [3, 9]], [[4, 4], [4, 9], [9, 6], [6, 3], [3, >]] ->= [[4, 9], [9, 10], [10, 7], [7, 3], [3, >]], [[4, 4], [4, 9], [9, 6], [6, 3], [3, 4]] ->= [[4, 9], [9, 10], [10, 7], [7, 3], [3, 4]], [[4, 4], [4, 9], [9, 6], [6, 3], [3, 7]] ->= [[4, 9], [9, 10], [10, 7], [7, 3], [3, 7]], [[4, 4], [4, 9], [9, 6], [6, 3], [3, 9]] ->= [[4, 9], [9, 10], [10, 7], [7, 3], [3, 9]], [[10, 4], [4, 9], [9, 6], [6, 3], [3, >]] ->= [[10, 9], [9, 10], [10, 7], [7, 3], [3, >]], [[10, 4], [4, 9], [9, 6], [6, 3], [3, 4]] ->= [[10, 9], [9, 10], [10, 7], [7, 3], [3, 4]], [[10, 4], [4, 9], [9, 6], [6, 3], [3, 7]] ->= [[10, 9], [9, 10], [10, 7], [7, 3], [3, 7]], [[10, 4], [4, 9], [9, 6], [6, 3], [3, 9]] ->= [[10, 9], [9, 10], [10, 7], [7, 3], [3, 9]], [[<, 10], [10, 9], [9, 8], [8, 6], [6, >]] ->= [[<, 8], [8, 8], [8, 6], [6, 0], [0, >]], [[<, 10], [10, 9], [9, 8], [8, 6], [6, 0]] ->= [[<, 8], [8, 8], [8, 6], [6, 0], [0, 0]], [[<, 10], [10, 9], [9, 8], [8, 6], [6, 1]] ->= [[<, 8], [8, 8], [8, 6], [6, 0], [0, 1]], [[<, 10], [10, 9], [9, 8], [8, 6], [6, 3]] ->= [[<, 8], [8, 8], [8, 6], [6, 0], [0, 3]], [[<, 10], [10, 9], [9, 8], [8, 6], [6, 11]] ->= [[<, 8], [8, 8], [8, 6], [6, 0], [0, 11]], [[1, 10], [10, 9], [9, 8], [8, 6], [6, >]] ->= [[1, 8], [8, 8], [8, 6], [6, 0], [0, >]], [[1, 10], [10, 9], [9, 8], [8, 6], [6, 0]] ->= [[1, 8], [8, 8], [8, 6], [6, 0], [0, 0]], [[1, 10], [10, 9], [9, 8], [8, 6], [6, 1]] ->= [[1, 8], [8, 8], [8, 6], [6, 0], [0, 1]], [[1, 10], [10, 9], [9, 8], [8, 6], [6, 3]] ->= [[1, 8], [8, 8], [8, 6], [6, 0], [0, 3]], [[1, 10], [10, 9], [9, 8], [8, 6], [6, 11]] ->= [[1, 8], [8, 8], [8, 6], [6, 0], [0, 11]], [[8, 10], [10, 9], [9, 8], [8, 6], [6, >]] ->= [[8, 8], [8, 8], [8, 6], [6, 0], [0, >]], [[8, 10], [10, 9], [9, 8], [8, 6], [6, 0]] ->= [[8, 8], [8, 8], [8, 6], [6, 0], [0, 0]], [[8, 10], [10, 9], [9, 8], [8, 6], [6, 1]] ->= [[8, 8], [8, 8], [8, 6], [6, 0], [0, 1]], [[8, 10], [10, 9], [9, 8], [8, 6], [6, 3]] ->= [[8, 8], [8, 8], [8, 6], [6, 0], [0, 3]], [[8, 10], [10, 9], [9, 8], [8, 6], [6, 11]] ->= [[8, 8], [8, 8], [8, 6], [6, 0], [0, 11]], [[9, 10], [10, 9], [9, 8], [8, 6], [6, >]] ->= [[9, 8], [8, 8], [8, 6], [6, 0], [0, >]], [[9, 10], [10, 9], [9, 8], [8, 6], [6, 0]] ->= [[9, 8], [8, 8], [8, 6], [6, 0], [0, 0]], [[9, 10], [10, 9], [9, 8], [8, 6], [6, 1]] ->= [[9, 8], [8, 8], [8, 6], [6, 0], [0, 1]], [[9, 10], [10, 9], [9, 8], [8, 6], [6, 3]] ->= [[9, 8], [8, 8], [8, 6], [6, 0], [0, 3]], [[9, 10], [10, 9], [9, 8], [8, 6], [6, 11]] ->= [[9, 8], [8, 8], [8, 6], [6, 0], [0, 11]], [[<, 4], [4, 9], [9, 8], [8, 6], [6, >]] ->= [[<, 9], [9, 8], [8, 6], [6, 0], [0, >]], [[<, 4], [4, 9], [9, 8], [8, 6], [6, 0]] ->= [[<, 9], [9, 8], [8, 6], [6, 0], [0, 0]], [[<, 4], [4, 9], [9, 8], [8, 6], [6, 1]] ->= [[<, 9], [9, 8], [8, 6], [6, 0], [0, 1]], [[<, 4], [4, 9], [9, 8], [8, 6], [6, 3]] ->= [[<, 9], [9, 8], [8, 6], [6, 0], [0, 3]], [[<, 4], [4, 9], [9, 8], [8, 6], [6, 11]] ->= [[<, 9], [9, 8], [8, 6], [6, 0], [0, 11]], [[3, 4], [4, 9], [9, 8], [8, 6], [6, >]] ->= [[3, 9], [9, 8], [8, 6], [6, 0], [0, >]], [[3, 4], [4, 9], [9, 8], [8, 6], [6, 0]] ->= [[3, 9], [9, 8], [8, 6], [6, 0], [0, 0]], [[3, 4], [4, 9], [9, 8], [8, 6], [6, 1]] ->= [[3, 9], [9, 8], [8, 6], [6, 0], [0, 1]], [[3, 4], [4, 9], [9, 8], [8, 6], [6, 3]] ->= [[3, 9], [9, 8], [8, 6], [6, 0], [0, 3]], [[3, 4], [4, 9], [9, 8], [8, 6], [6, 11]] ->= [[3, 9], [9, 8], [8, 6], [6, 0], [0, 11]], [[4, 4], [4, 9], [9, 8], [8, 6], [6, >]] ->= [[4, 9], [9, 8], [8, 6], [6, 0], [0, >]], [[4, 4], [4, 9], [9, 8], [8, 6], [6, 0]] ->= [[4, 9], [9, 8], [8, 6], [6, 0], [0, 0]], [[4, 4], [4, 9], [9, 8], [8, 6], [6, 1]] ->= [[4, 9], [9, 8], [8, 6], [6, 0], [0, 1]], [[4, 4], [4, 9], [9, 8], [8, 6], [6, 3]] ->= [[4, 9], [9, 8], [8, 6], [6, 0], [0, 3]], [[4, 4], [4, 9], [9, 8], [8, 6], [6, 11]] ->= [[4, 9], [9, 8], [8, 6], [6, 0], [0, 11]], [[10, 4], [4, 9], [9, 8], [8, 6], [6, >]] ->= [[10, 9], [9, 8], [8, 6], [6, 0], [0, >]], [[10, 4], [4, 9], [9, 8], [8, 6], [6, 0]] ->= [[10, 9], [9, 8], [8, 6], [6, 0], [0, 0]], [[10, 4], [4, 9], [9, 8], [8, 6], [6, 1]] ->= [[10, 9], [9, 8], [8, 6], [6, 0], [0, 1]], [[10, 4], [4, 9], [9, 8], [8, 6], [6, 3]] ->= [[10, 9], [9, 8], [8, 6], [6, 0], [0, 3]], [[10, 4], [4, 9], [9, 8], [8, 6], [6, 11]] ->= [[10, 9], [9, 8], [8, 6], [6, 0], [0, 11]], [[<, 12], [12, 7], [7, 3], [3, 7], [7, >]] ->= [[<, 12], [12, 7], [7, 1], [1, 6], [6, >]], [[<, 12], [12, 7], [7, 3], [3, 7], [7, 0]] ->= [[<, 12], [12, 7], [7, 1], [1, 6], [6, 0]], [[<, 12], [12, 7], [7, 3], [3, 7], [7, 1]] ->= [[<, 12], [12, 7], [7, 1], [1, 6], [6, 1]], [[<, 12], [12, 7], [7, 3], [3, 7], [7, 3]] ->= [[<, 12], [12, 7], [7, 1], [1, 6], [6, 3]], [[<, 12], [12, 7], [7, 3], [3, 7], [7, 11]] ->= [[<, 12], [12, 7], [7, 1], [1, 6], [6, 11]], [[<, 12], [12, 7], [7, 3], [3, 9], [9, >]] ->= [[<, 12], [12, 7], [7, 1], [1, 8], [8, >]], [[<, 12], [12, 7], [7, 3], [3, 9], [9, 6]] ->= [[<, 12], [12, 7], [7, 1], [1, 8], [8, 6]], [[<, 12], [12, 7], [7, 3], [3, 9], [9, 8]] ->= [[<, 12], [12, 7], [7, 1], [1, 8], [8, 8]], [[<, 12], [12, 7], [7, 3], [3, 9], [9, 10]] ->= [[<, 12], [12, 7], [7, 1], [1, 8], [8, 10]], [[<, 12], [12, 7], [7, 3], [3, 4], [4, >]] ->= [[<, 12], [12, 7], [7, 1], [1, 10], [10, >]], [[<, 12], [12, 7], [7, 3], [3, 4], [4, 4]] ->= [[<, 12], [12, 7], [7, 1], [1, 10], [10, 4]], [[<, 12], [12, 7], [7, 3], [3, 4], [4, 7]] ->= [[<, 12], [12, 7], [7, 1], [1, 10], [10, 7]], [[<, 12], [12, 7], [7, 3], [3, 4], [4, 9]] ->= [[<, 12], [12, 7], [7, 1], [1, 10], [10, 9]], [[<, 3], [3, 7], [7, 3], [3, 7], [7, >]] ->= [[<, 3], [3, 7], [7, 1], [1, 6], [6, >]], [[<, 3], [3, 7], [7, 3], [3, 7], [7, 0]] ->= [[<, 3], [3, 7], [7, 1], [1, 6], [6, 0]], [[<, 3], [3, 7], [7, 3], [3, 7], [7, 1]] ->= [[<, 3], [3, 7], [7, 1], [1, 6], [6, 1]], [[<, 3], [3, 7], [7, 3], [3, 7], [7, 3]] ->= [[<, 3], [3, 7], [7, 1], [1, 6], [6, 3]], [[<, 3], [3, 7], [7, 3], [3, 7], [7, 11]] ->= [[<, 3], [3, 7], [7, 1], [1, 6], [6, 11]], [[0, 3], [3, 7], [7, 3], [3, 7], [7, >]] ->= [[0, 3], [3, 7], [7, 1], [1, 6], [6, >]], [[0, 3], [3, 7], [7, 3], [3, 7], [7, 0]] ->= [[0, 3], [3, 7], [7, 1], [1, 6], [6, 0]], [[0, 3], [3, 7], [7, 3], [3, 7], [7, 1]] ->= [[0, 3], [3, 7], [7, 1], [1, 6], [6, 1]], [[0, 3], [3, 7], [7, 3], [3, 7], [7, 3]] ->= [[0, 3], [3, 7], [7, 1], [1, 6], [6, 3]], [[0, 3], [3, 7], [7, 3], [3, 7], [7, 11]] ->= [[0, 3], [3, 7], [7, 1], [1, 6], [6, 11]], [[6, 3], [3, 7], [7, 3], [3, 7], [7, >]] ->= [[6, 3], [3, 7], [7, 1], [1, 6], [6, >]], [[6, 3], [3, 7], [7, 3], [3, 7], [7, 0]] ->= [[6, 3], [3, 7], [7, 1], [1, 6], [6, 0]], [[6, 3], [3, 7], [7, 3], [3, 7], [7, 1]] ->= [[6, 3], [3, 7], [7, 1], [1, 6], [6, 1]], [[6, 3], [3, 7], [7, 3], [3, 7], [7, 3]] ->= [[6, 3], [3, 7], [7, 1], [1, 6], [6, 3]], [[6, 3], [3, 7], [7, 3], [3, 7], [7, 11]] ->= [[6, 3], [3, 7], [7, 1], [1, 6], [6, 11]], [[7, 3], [3, 7], [7, 3], [3, 7], [7, >]] ->= [[7, 3], [3, 7], [7, 1], [1, 6], [6, >]], [[7, 3], [3, 7], [7, 3], [3, 7], [7, 0]] ->= [[7, 3], [3, 7], [7, 1], [1, 6], [6, 0]], [[7, 3], [3, 7], [7, 3], [3, 7], [7, 1]] ->= [[7, 3], [3, 7], [7, 1], [1, 6], [6, 1]], [[7, 3], [3, 7], [7, 3], [3, 7], [7, 3]] ->= [[7, 3], [3, 7], [7, 1], [1, 6], [6, 3]], [[7, 3], [3, 7], [7, 3], [3, 7], [7, 11]] ->= [[7, 3], [3, 7], [7, 1], [1, 6], [6, 11]], [[<, 3], [3, 7], [7, 3], [3, 9], [9, >]] ->= [[<, 3], [3, 7], [7, 1], [1, 8], [8, >]], [[<, 3], [3, 7], [7, 3], [3, 9], [9, 6]] ->= [[<, 3], [3, 7], [7, 1], [1, 8], [8, 6]], [[<, 3], [3, 7], [7, 3], [3, 9], [9, 8]] ->= [[<, 3], [3, 7], [7, 1], [1, 8], [8, 8]], [[<, 3], [3, 7], [7, 3], [3, 9], [9, 10]] ->= [[<, 3], [3, 7], [7, 1], [1, 8], [8, 10]], [[0, 3], [3, 7], [7, 3], [3, 9], [9, >]] ->= [[0, 3], [3, 7], [7, 1], [1, 8], [8, >]], [[0, 3], [3, 7], [7, 3], [3, 9], [9, 6]] ->= [[0, 3], [3, 7], [7, 1], [1, 8], [8, 6]], [[0, 3], [3, 7], [7, 3], [3, 9], [9, 8]] ->= [[0, 3], [3, 7], [7, 1], [1, 8], [8, 8]], [[0, 3], [3, 7], [7, 3], [3, 9], [9, 10]] ->= [[0, 3], [3, 7], [7, 1], [1, 8], [8, 10]], [[6, 3], [3, 7], [7, 3], [3, 9], [9, >]] ->= [[6, 3], [3, 7], [7, 1], [1, 8], [8, >]], [[6, 3], [3, 7], [7, 3], [3, 9], [9, 6]] ->= [[6, 3], [3, 7], [7, 1], [1, 8], [8, 6]], [[6, 3], [3, 7], [7, 3], [3, 9], [9, 8]] ->= [[6, 3], [3, 7], [7, 1], [1, 8], [8, 8]], [[6, 3], [3, 7], [7, 3], [3, 9], [9, 10]] ->= [[6, 3], [3, 7], [7, 1], [1, 8], [8, 10]], [[7, 3], [3, 7], [7, 3], [3, 9], [9, >]] ->= [[7, 3], [3, 7], [7, 1], [1, 8], [8, >]], [[7, 3], [3, 7], [7, 3], [3, 9], [9, 6]] ->= [[7, 3], [3, 7], [7, 1], [1, 8], [8, 6]], [[7, 3], [3, 7], [7, 3], [3, 9], [9, 8]] ->= [[7, 3], [3, 7], [7, 1], [1, 8], [8, 8]], [[7, 3], [3, 7], [7, 3], [3, 9], [9, 10]] ->= [[7, 3], [3, 7], [7, 1], [1, 8], [8, 10]], [[<, 3], [3, 7], [7, 3], [3, 4], [4, >]] ->= [[<, 3], [3, 7], [7, 1], [1, 10], [10, >]], [[<, 3], [3, 7], [7, 3], [3, 4], [4, 4]] ->= [[<, 3], [3, 7], [7, 1], [1, 10], [10, 4]], [[<, 3], [3, 7], [7, 3], [3, 4], [4, 7]] ->= [[<, 3], [3, 7], [7, 1], [1, 10], [10, 7]], [[<, 3], [3, 7], [7, 3], [3, 4], [4, 9]] ->= [[<, 3], [3, 7], [7, 1], [1, 10], [10, 9]], [[0, 3], [3, 7], [7, 3], [3, 4], [4, >]] ->= [[0, 3], [3, 7], [7, 1], [1, 10], [10, >]], [[0, 3], [3, 7], [7, 3], [3, 4], [4, 4]] ->= [[0, 3], [3, 7], [7, 1], [1, 10], [10, 4]], [[0, 3], [3, 7], [7, 3], [3, 4], [4, 7]] ->= [[0, 3], [3, 7], [7, 1], [1, 10], [10, 7]], [[0, 3], [3, 7], [7, 3], [3, 4], [4, 9]] ->= [[0, 3], [3, 7], [7, 1], [1, 10], [10, 9]], [[6, 3], [3, 7], [7, 3], [3, 4], [4, >]] ->= [[6, 3], [3, 7], [7, 1], [1, 10], [10, >]], [[6, 3], [3, 7], [7, 3], [3, 4], [4, 4]] ->= [[6, 3], [3, 7], [7, 1], [1, 10], [10, 4]], [[6, 3], [3, 7], [7, 3], [3, 4], [4, 7]] ->= [[6, 3], [3, 7], [7, 1], [1, 10], [10, 7]], [[6, 3], [3, 7], [7, 3], [3, 4], [4, 9]] ->= [[6, 3], [3, 7], [7, 1], [1, 10], [10, 9]], [[7, 3], [3, 7], [7, 3], [3, 4], [4, >]] ->= [[7, 3], [3, 7], [7, 1], [1, 10], [10, >]], [[7, 3], [3, 7], [7, 3], [3, 4], [4, 4]] ->= [[7, 3], [3, 7], [7, 1], [1, 10], [10, 4]], [[7, 3], [3, 7], [7, 3], [3, 4], [4, 7]] ->= [[7, 3], [3, 7], [7, 1], [1, 10], [10, 7]], [[7, 3], [3, 7], [7, 3], [3, 4], [4, 9]] ->= [[7, 3], [3, 7], [7, 1], [1, 10], [10, 9]], [[<, 10], [10, 7], [7, 3], [3, 7], [7, >]] ->= [[<, 10], [10, 7], [7, 1], [1, 6], [6, >]], [[<, 10], [10, 7], [7, 3], [3, 7], [7, 0]] ->= [[<, 10], [10, 7], [7, 1], [1, 6], [6, 0]], [[<, 10], [10, 7], [7, 3], [3, 7], [7, 1]] ->= [[<, 10], [10, 7], [7, 1], [1, 6], [6, 1]], [[<, 10], [10, 7], [7, 3], [3, 7], [7, 3]] ->= [[<, 10], [10, 7], [7, 1], [1, 6], [6, 3]], [[<, 10], [10, 7], [7, 3], [3, 7], [7, 11]] ->= [[<, 10], [10, 7], [7, 1], [1, 6], [6, 11]], [[1, 10], [10, 7], [7, 3], [3, 7], [7, >]] ->= [[1, 10], [10, 7], [7, 1], [1, 6], [6, >]], [[1, 10], [10, 7], [7, 3], [3, 7], [7, 0]] ->= [[1, 10], [10, 7], [7, 1], [1, 6], [6, 0]], [[1, 10], [10, 7], [7, 3], [3, 7], [7, 1]] ->= [[1, 10], [10, 7], [7, 1], [1, 6], [6, 1]], [[1, 10], [10, 7], [7, 3], [3, 7], [7, 3]] ->= [[1, 10], [10, 7], [7, 1], [1, 6], [6, 3]], [[1, 10], [10, 7], [7, 3], [3, 7], [7, 11]] ->= [[1, 10], [10, 7], [7, 1], [1, 6], [6, 11]], [[8, 10], [10, 7], [7, 3], [3, 7], [7, >]] ->= [[8, 10], [10, 7], [7, 1], [1, 6], [6, >]], [[8, 10], [10, 7], [7, 3], [3, 7], [7, 0]] ->= [[8, 10], [10, 7], [7, 1], [1, 6], [6, 0]], [[8, 10], [10, 7], [7, 3], [3, 7], [7, 1]] ->= [[8, 10], [10, 7], [7, 1], [1, 6], [6, 1]], [[8, 10], [10, 7], [7, 3], [3, 7], [7, 3]] ->= [[8, 10], [10, 7], [7, 1], [1, 6], [6, 3]], [[8, 10], [10, 7], [7, 3], [3, 7], [7, 11]] ->= [[8, 10], [10, 7], [7, 1], [1, 6], [6, 11]], [[9, 10], [10, 7], [7, 3], [3, 7], [7, >]] ->= [[9, 10], [10, 7], [7, 1], [1, 6], [6, >]], [[9, 10], [10, 7], [7, 3], [3, 7], [7, 0]] ->= [[9, 10], [10, 7], [7, 1], [1, 6], [6, 0]], [[9, 10], [10, 7], [7, 3], [3, 7], [7, 1]] ->= [[9, 10], [10, 7], [7, 1], [1, 6], [6, 1]], [[9, 10], [10, 7], [7, 3], [3, 7], [7, 3]] ->= [[9, 10], [10, 7], [7, 1], [1, 6], [6, 3]], [[9, 10], [10, 7], [7, 3], [3, 7], [7, 11]] ->= [[9, 10], [10, 7], [7, 1], [1, 6], [6, 11]], [[<, 10], [10, 7], [7, 3], [3, 9], [9, >]] ->= [[<, 10], [10, 7], [7, 1], [1, 8], [8, >]], [[<, 10], [10, 7], [7, 3], [3, 9], [9, 6]] ->= [[<, 10], [10, 7], [7, 1], [1, 8], [8, 6]], [[<, 10], [10, 7], [7, 3], [3, 9], [9, 8]] ->= [[<, 10], [10, 7], [7, 1], [1, 8], [8, 8]], [[<, 10], [10, 7], [7, 3], [3, 9], [9, 10]] ->= [[<, 10], [10, 7], [7, 1], [1, 8], [8, 10]], [[1, 10], [10, 7], [7, 3], [3, 9], [9, >]] ->= [[1, 10], [10, 7], [7, 1], [1, 8], [8, >]], [[1, 10], [10, 7], [7, 3], [3, 9], [9, 6]] ->= [[1, 10], [10, 7], [7, 1], [1, 8], [8, 6]], [[1, 10], [10, 7], [7, 3], [3, 9], [9, 8]] ->= [[1, 10], [10, 7], [7, 1], [1, 8], [8, 8]], [[1, 10], [10, 7], [7, 3], [3, 9], [9, 10]] ->= [[1, 10], [10, 7], [7, 1], [1, 8], [8, 10]], [[8, 10], [10, 7], [7, 3], [3, 9], [9, >]] ->= [[8, 10], [10, 7], [7, 1], [1, 8], [8, >]], [[8, 10], [10, 7], [7, 3], [3, 9], [9, 6]] ->= [[8, 10], [10, 7], [7, 1], [1, 8], [8, 6]], [[8, 10], [10, 7], [7, 3], [3, 9], [9, 8]] ->= [[8, 10], [10, 7], [7, 1], [1, 8], [8, 8]], [[8, 10], [10, 7], [7, 3], [3, 9], [9, 10]] ->= [[8, 10], [10, 7], [7, 1], [1, 8], [8, 10]], [[9, 10], [10, 7], [7, 3], [3, 9], [9, >]] ->= [[9, 10], [10, 7], [7, 1], [1, 8], [8, >]], [[9, 10], [10, 7], [7, 3], [3, 9], [9, 6]] ->= [[9, 10], [10, 7], [7, 1], [1, 8], [8, 6]], [[9, 10], [10, 7], [7, 3], [3, 9], [9, 8]] ->= [[9, 10], [10, 7], [7, 1], [1, 8], [8, 8]], [[9, 10], [10, 7], [7, 3], [3, 9], [9, 10]] ->= [[9, 10], [10, 7], [7, 1], [1, 8], [8, 10]], [[<, 10], [10, 7], [7, 3], [3, 4], [4, >]] ->= [[<, 10], [10, 7], [7, 1], [1, 10], [10, >]], [[<, 10], [10, 7], [7, 3], [3, 4], [4, 4]] ->= [[<, 10], [10, 7], [7, 1], [1, 10], [10, 4]], [[<, 10], [10, 7], [7, 3], [3, 4], [4, 7]] ->= [[<, 10], [10, 7], [7, 1], [1, 10], [10, 7]], [[<, 10], [10, 7], [7, 3], [3, 4], [4, 9]] ->= [[<, 10], [10, 7], [7, 1], [1, 10], [10, 9]], [[1, 10], [10, 7], [7, 3], [3, 4], [4, >]] ->= [[1, 10], [10, 7], [7, 1], [1, 10], [10, >]], [[1, 10], [10, 7], [7, 3], [3, 4], [4, 4]] ->= [[1, 10], [10, 7], [7, 1], [1, 10], [10, 4]], [[1, 10], [10, 7], [7, 3], [3, 4], [4, 7]] ->= [[1, 10], [10, 7], [7, 1], [1, 10], [10, 7]], [[1, 10], [10, 7], [7, 3], [3, 4], [4, 9]] ->= [[1, 10], [10, 7], [7, 1], [1, 10], [10, 9]], [[8, 10], [10, 7], [7, 3], [3, 4], [4, >]] ->= [[8, 10], [10, 7], [7, 1], [1, 10], [10, >]], [[8, 10], [10, 7], [7, 3], [3, 4], [4, 4]] ->= [[8, 10], [10, 7], [7, 1], [1, 10], [10, 4]], [[8, 10], [10, 7], [7, 3], [3, 4], [4, 7]] ->= [[8, 10], [10, 7], [7, 1], [1, 10], [10, 7]], [[8, 10], [10, 7], [7, 3], [3, 4], [4, 9]] ->= [[8, 10], [10, 7], [7, 1], [1, 10], [10, 9]], [[9, 10], [10, 7], [7, 3], [3, 4], [4, >]] ->= [[9, 10], [10, 7], [7, 1], [1, 10], [10, >]], [[9, 10], [10, 7], [7, 3], [3, 4], [4, 4]] ->= [[9, 10], [10, 7], [7, 1], [1, 10], [10, 4]], [[9, 10], [10, 7], [7, 3], [3, 4], [4, 7]] ->= [[9, 10], [10, 7], [7, 1], [1, 10], [10, 7]], [[9, 10], [10, 7], [7, 3], [3, 4], [4, 9]] ->= [[9, 10], [10, 7], [7, 1], [1, 10], [10, 9]], [[<, 4], [4, 7], [7, 3], [3, 7], [7, >]] ->= [[<, 4], [4, 7], [7, 1], [1, 6], [6, >]], [[<, 4], [4, 7], [7, 3], [3, 7], [7, 0]] ->= [[<, 4], [4, 7], [7, 1], [1, 6], [6, 0]], [[<, 4], [4, 7], [7, 3], [3, 7], [7, 1]] ->= [[<, 4], [4, 7], [7, 1], [1, 6], [6, 1]], [[<, 4], [4, 7], [7, 3], [3, 7], [7, 3]] ->= [[<, 4], [4, 7], [7, 1], [1, 6], [6, 3]], [[<, 4], [4, 7], [7, 3], [3, 7], [7, 11]] ->= [[<, 4], [4, 7], [7, 1], [1, 6], [6, 11]], [[3, 4], [4, 7], [7, 3], [3, 7], [7, >]] ->= [[3, 4], [4, 7], [7, 1], [1, 6], [6, >]], [[3, 4], [4, 7], [7, 3], [3, 7], [7, 0]] ->= [[3, 4], [4, 7], [7, 1], [1, 6], [6, 0]], [[3, 4], [4, 7], [7, 3], [3, 7], [7, 1]] ->= [[3, 4], [4, 7], [7, 1], [1, 6], [6, 1]], [[3, 4], [4, 7], [7, 3], [3, 7], [7, 3]] ->= [[3, 4], [4, 7], [7, 1], [1, 6], [6, 3]], [[3, 4], [4, 7], [7, 3], [3, 7], [7, 11]] ->= [[3, 4], [4, 7], [7, 1], [1, 6], [6, 11]], [[4, 4], [4, 7], [7, 3], [3, 7], [7, >]] ->= [[4, 4], [4, 7], [7, 1], [1, 6], [6, >]], [[4, 4], [4, 7], [7, 3], [3, 7], [7, 0]] ->= [[4, 4], [4, 7], [7, 1], [1, 6], [6, 0]], [[4, 4], [4, 7], [7, 3], [3, 7], [7, 1]] ->= [[4, 4], [4, 7], [7, 1], [1, 6], [6, 1]], [[4, 4], [4, 7], [7, 3], [3, 7], [7, 3]] ->= [[4, 4], [4, 7], [7, 1], [1, 6], [6, 3]], [[4, 4], [4, 7], [7, 3], [3, 7], [7, 11]] ->= [[4, 4], [4, 7], [7, 1], [1, 6], [6, 11]], [[10, 4], [4, 7], [7, 3], [3, 7], [7, >]] ->= [[10, 4], [4, 7], [7, 1], [1, 6], [6, >]], [[10, 4], [4, 7], [7, 3], [3, 7], [7, 0]] ->= [[10, 4], [4, 7], [7, 1], [1, 6], [6, 0]], [[10, 4], [4, 7], [7, 3], [3, 7], [7, 1]] ->= [[10, 4], [4, 7], [7, 1], [1, 6], [6, 1]], [[10, 4], [4, 7], [7, 3], [3, 7], [7, 3]] ->= [[10, 4], [4, 7], [7, 1], [1, 6], [6, 3]], [[10, 4], [4, 7], [7, 3], [3, 7], [7, 11]] ->= [[10, 4], [4, 7], [7, 1], [1, 6], [6, 11]], [[<, 4], [4, 7], [7, 3], [3, 9], [9, >]] ->= [[<, 4], [4, 7], [7, 1], [1, 8], [8, >]], [[<, 4], [4, 7], [7, 3], [3, 9], [9, 6]] ->= [[<, 4], [4, 7], [7, 1], [1, 8], [8, 6]], [[<, 4], [4, 7], [7, 3], [3, 9], [9, 8]] ->= [[<, 4], [4, 7], [7, 1], [1, 8], [8, 8]], [[<, 4], [4, 7], [7, 3], [3, 9], [9, 10]] ->= [[<, 4], [4, 7], [7, 1], [1, 8], [8, 10]], [[3, 4], [4, 7], [7, 3], [3, 9], [9, >]] ->= [[3, 4], [4, 7], [7, 1], [1, 8], [8, >]], [[3, 4], [4, 7], [7, 3], [3, 9], [9, 6]] ->= [[3, 4], [4, 7], [7, 1], [1, 8], [8, 6]], [[3, 4], [4, 7], [7, 3], [3, 9], [9, 8]] ->= [[3, 4], [4, 7], [7, 1], [1, 8], [8, 8]], [[3, 4], [4, 7], [7, 3], [3, 9], [9, 10]] ->= [[3, 4], [4, 7], [7, 1], [1, 8], [8, 10]], [[4, 4], [4, 7], [7, 3], [3, 9], [9, >]] ->= [[4, 4], [4, 7], [7, 1], [1, 8], [8, >]], [[4, 4], [4, 7], [7, 3], [3, 9], [9, 6]] ->= [[4, 4], [4, 7], [7, 1], [1, 8], [8, 6]], [[4, 4], [4, 7], [7, 3], [3, 9], [9, 8]] ->= [[4, 4], [4, 7], [7, 1], [1, 8], [8, 8]], [[4, 4], [4, 7], [7, 3], [3, 9], [9, 10]] ->= [[4, 4], [4, 7], [7, 1], [1, 8], [8, 10]], [[10, 4], [4, 7], [7, 3], [3, 9], [9, >]] ->= [[10, 4], [4, 7], [7, 1], [1, 8], [8, >]], [[10, 4], [4, 7], [7, 3], [3, 9], [9, 6]] ->= [[10, 4], [4, 7], [7, 1], [1, 8], [8, 6]], [[10, 4], [4, 7], [7, 3], [3, 9], [9, 8]] ->= [[10, 4], [4, 7], [7, 1], [1, 8], [8, 8]], [[10, 4], [4, 7], [7, 3], [3, 9], [9, 10]] ->= [[10, 4], [4, 7], [7, 1], [1, 8], [8, 10]], [[<, 4], [4, 7], [7, 3], [3, 4], [4, >]] ->= [[<, 4], [4, 7], [7, 1], [1, 10], [10, >]], [[<, 4], [4, 7], [7, 3], [3, 4], [4, 4]] ->= [[<, 4], [4, 7], [7, 1], [1, 10], [10, 4]], [[<, 4], [4, 7], [7, 3], [3, 4], [4, 7]] ->= [[<, 4], [4, 7], [7, 1], [1, 10], [10, 7]], [[<, 4], [4, 7], [7, 3], [3, 4], [4, 9]] ->= [[<, 4], [4, 7], [7, 1], [1, 10], [10, 9]], [[3, 4], [4, 7], [7, 3], [3, 4], [4, >]] ->= [[3, 4], [4, 7], [7, 1], [1, 10], [10, >]], [[3, 4], [4, 7], [7, 3], [3, 4], [4, 4]] ->= [[3, 4], [4, 7], [7, 1], [1, 10], [10, 4]], [[3, 4], [4, 7], [7, 3], [3, 4], [4, 7]] ->= [[3, 4], [4, 7], [7, 1], [1, 10], [10, 7]], [[3, 4], [4, 7], [7, 3], [3, 4], [4, 9]] ->= [[3, 4], [4, 7], [7, 1], [1, 10], [10, 9]], [[4, 4], [4, 7], [7, 3], [3, 4], [4, >]] ->= [[4, 4], [4, 7], [7, 1], [1, 10], [10, >]], [[4, 4], [4, 7], [7, 3], [3, 4], [4, 4]] ->= [[4, 4], [4, 7], [7, 1], [1, 10], [10, 4]], [[4, 4], [4, 7], [7, 3], [3, 4], [4, 7]] ->= [[4, 4], [4, 7], [7, 1], [1, 10], [10, 7]], [[4, 4], [4, 7], [7, 3], [3, 4], [4, 9]] ->= [[4, 4], [4, 7], [7, 1], [1, 10], [10, 9]], [[10, 4], [4, 7], [7, 3], [3, 4], [4, >]] ->= [[10, 4], [4, 7], [7, 1], [1, 10], [10, >]], [[10, 4], [4, 7], [7, 3], [3, 4], [4, 4]] ->= [[10, 4], [4, 7], [7, 1], [1, 10], [10, 4]], [[10, 4], [4, 7], [7, 3], [3, 4], [4, 7]] ->= [[10, 4], [4, 7], [7, 1], [1, 10], [10, 7]], [[10, 4], [4, 7], [7, 3], [3, 4], [4, 9]] ->= [[10, 4], [4, 7], [7, 1], [1, 10], [10, 9]])
0.00/0.22	reason
0.00/0.22	  remap for 490 rules
0.00/0.22	   property Termination
0.00/0.22	has value True
0.00/0.23	for SRS ( [0, 1, 2, 3, 4] -> [0, 5, 6, 7, 8], [0, 1, 2, 3, 9] -> [0, 5, 6, 7, 10], [0, 1, 2, 3, 11] -> [0, 5, 6, 7, 12], [0, 1, 2, 3, 13] -> [0, 5, 6, 7, 14], [0, 1, 2, 3, 15] -> [0, 5, 6, 7, 16], [1, 1, 2, 3, 4] -> [1, 5, 6, 7, 8], [1, 1, 2, 3, 9] -> [1, 5, 6, 7, 10], [1, 1, 2, 3, 11] -> [1, 5, 6, 7, 12], [1, 1, 2, 3, 13] -> [1, 5, 6, 7, 14], [1, 1, 2, 3, 15] -> [1, 5, 6, 7, 16], [9, 1, 2, 3, 4] -> [9, 5, 6, 7, 8], [9, 1, 2, 3, 9] -> [9, 5, 6, 7, 10], [9, 1, 2, 3, 11] -> [9, 5, 6, 7, 12], [9, 1, 2, 3, 13] -> [9, 5, 6, 7, 14], [9, 1, 2, 3, 15] -> [9, 5, 6, 7, 16], [10, 1, 2, 3, 4] -> [10, 5, 6, 7, 8], [10, 1, 2, 3, 9] -> [10, 5, 6, 7, 10], [10, 1, 2, 3, 11] -> [10, 5, 6, 7, 12], [10, 1, 2, 3, 13] -> [10, 5, 6, 7, 14], [10, 1, 2, 3, 15] -> [10, 5, 6, 7, 16], [0, 1, 2, 17, 18] -> [0, 5, 6, 19, 20], [0, 1, 2, 17, 21] -> [0, 5, 6, 19, 22], [0, 1, 2, 17, 23] -> [0, 5, 6, 19, 24], [0, 1, 2, 17, 25] -> [0, 5, 6, 19, 26], [1, 1, 2, 17, 18] -> [1, 5, 6, 19, 20], [1, 1, 2, 17, 21] -> [1, 5, 6, 19, 22], [1, 1, 2, 17, 23] -> [1, 5, 6, 19, 24], [1, 1, 2, 17, 25] -> [1, 5, 6, 19, 26], [9, 1, 2, 17, 18] -> [9, 5, 6, 19, 20], [9, 1, 2, 17, 21] -> [9, 5, 6, 19, 22], [9, 1, 2, 17, 23] -> [9, 5, 6, 19, 24], [9, 1, 2, 17, 25] -> [9, 5, 6, 19, 26], [10, 1, 2, 17, 18] -> [10, 5, 6, 19, 20], [10, 1, 2, 17, 21] -> [10, 5, 6, 19, 22], [10, 1, 2, 17, 23] -> [10, 5, 6, 19, 24], [10, 1, 2, 17, 25] -> [10, 5, 6, 19, 26], [0, 1, 2, 27, 28] -> [0, 5, 6, 29, 30], [0, 1, 2, 27, 31] -> [0, 5, 6, 29, 29], [0, 1, 2, 27, 32] -> [0, 5, 6, 29, 7], [0, 1, 2, 27, 33] -> [0, 5, 6, 29, 19], [1, 1, 2, 27, 28] -> [1, 5, 6, 29, 30], [1, 1, 2, 27, 31] -> [1, 5, 6, 29, 29], [1, 1, 2, 27, 32] -> [1, 5, 6, 29, 7], [1, 1, 2, 27, 33] -> [1, 5, 6, 29, 19], [9, 1, 2, 27, 28] -> [9, 5, 6, 29, 30], [9, 1, 2, 27, 31] -> [9, 5, 6, 29, 29], [9, 1, 2, 27, 32] -> [9, 5, 6, 29, 7], [9, 1, 2, 27, 33] -> [9, 5, 6, 29, 19], [10, 1, 2, 27, 28] -> [10, 5, 6, 29, 30], [10, 1, 2, 27, 31] -> [10, 5, 6, 29, 29], [10, 1, 2, 27, 32] -> [10, 5, 6, 29, 7], [10, 1, 2, 27, 33] -> [10, 5, 6, 29, 19], [34, 9, 2, 3, 4] -> [34, 13, 6, 7, 8], [34, 9, 2, 3, 9] -> [34, 13, 6, 7, 10], [34, 9, 2, 3, 11] -> [34, 13, 6, 7, 12], [34, 9, 2, 3, 13] -> [34, 13, 6, 7, 14], [34, 9, 2, 3, 15] -> [34, 13, 6, 7, 16], [3, 9, 2, 3, 4] -> [3, 13, 6, 7, 8], [3, 9, 2, 3, 9] -> [3, 13, 6, 7, 10], [3, 9, 2, 3, 11] -> [3, 13, 6, 7, 12], [3, 9, 2, 3, 13] -> [3, 13, 6, 7, 14], [3, 9, 2, 3, 15] -> [3, 13, 6, 7, 16], [21, 9, 2, 3, 4] -> [21, 13, 6, 7, 8], [21, 9, 2, 3, 9] -> [21, 13, 6, 7, 10], [21, 9, 2, 3, 11] -> [21, 13, 6, 7, 12], [21, 9, 2, 3, 13] -> [21, 13, 6, 7, 14], [21, 9, 2, 3, 15] -> [21, 13, 6, 7, 16], [22, 9, 2, 3, 4] -> [22, 13, 6, 7, 8], [22, 9, 2, 3, 9] -> [22, 13, 6, 7, 10], [22, 9, 2, 3, 11] -> [22, 13, 6, 7, 12], [22, 9, 2, 3, 13] -> [22, 13, 6, 7, 14], [22, 9, 2, 3, 15] -> [22, 13, 6, 7, 16], [34, 9, 2, 17, 18] -> [34, 13, 6, 19, 20], [34, 9, 2, 17, 21] -> [34, 13, 6, 19, 22], [34, 9, 2, 17, 23] -> [34, 13, 6, 19, 24], [34, 9, 2, 17, 25] -> [34, 13, 6, 19, 26], [3, 9, 2, 17, 18] -> [3, 13, 6, 19, 20], [3, 9, 2, 17, 21] -> [3, 13, 6, 19, 22], [3, 9, 2, 17, 23] -> [3, 13, 6, 19, 24], [3, 9, 2, 17, 25] -> [3, 13, 6, 19, 26], [21, 9, 2, 17, 18] -> [21, 13, 6, 19, 20], [21, 9, 2, 17, 21] -> [21, 13, 6, 19, 22], [21, 9, 2, 17, 23] -> [21, 13, 6, 19, 24], [21, 9, 2, 17, 25] -> [21, 13, 6, 19, 26], [22, 9, 2, 17, 18] -> [22, 13, 6, 19, 20], [22, 9, 2, 17, 21] -> [22, 13, 6, 19, 22], [22, 9, 2, 17, 23] -> [22, 13, 6, 19, 24], [22, 9, 2, 17, 25] -> [22, 13, 6, 19, 26], [34, 9, 2, 27, 28] -> [34, 13, 6, 29, 30], [34, 9, 2, 27, 31] -> [34, 13, 6, 29, 29], [34, 9, 2, 27, 32] -> [34, 13, 6, 29, 7], [34, 9, 2, 27, 33] -> [34, 13, 6, 29, 19], [3, 9, 2, 27, 28] -> [3, 13, 6, 29, 30], [3, 9, 2, 27, 31] -> [3, 13, 6, 29, 29], [3, 9, 2, 27, 32] -> [3, 13, 6, 29, 7], [3, 9, 2, 27, 33] -> [3, 13, 6, 29, 19], [21, 9, 2, 27, 28] -> [21, 13, 6, 29, 30], [21, 9, 2, 27, 31] -> [21, 13, 6, 29, 29], [21, 9, 2, 27, 32] -> [21, 13, 6, 29, 7], [21, 9, 2, 27, 33] -> [21, 13, 6, 29, 19], [22, 9, 2, 27, 28] -> [22, 13, 6, 29, 30], [22, 9, 2, 27, 31] -> [22, 13, 6, 29, 29], [22, 9, 2, 27, 32] -> [22, 13, 6, 29, 7], [22, 9, 2, 27, 33] -> [22, 13, 6, 29, 19], [35, 10, 2, 3, 4] -> [35, 14, 6, 7, 8], [35, 10, 2, 3, 9] -> [35, 14, 6, 7, 10], [35, 10, 2, 3, 11] -> [35, 14, 6, 7, 12], [35, 10, 2, 3, 13] -> [35, 14, 6, 7, 14], [35, 10, 2, 3, 15] -> [35, 14, 6, 7, 16], [36, 10, 2, 3, 4] -> [36, 14, 6, 7, 8], [36, 10, 2, 3, 9] -> [36, 14, 6, 7, 10], [36, 10, 2, 3, 11] -> [36, 14, 6, 7, 12], [36, 10, 2, 3, 13] -> [36, 14, 6, 7, 14], [36, 10, 2, 3, 15] -> [36, 14, 6, 7, 16], [7, 10, 2, 3, 4] -> [7, 14, 6, 7, 8], [7, 10, 2, 3, 9] -> [7, 14, 6, 7, 10], [7, 10, 2, 3, 11] -> [7, 14, 6, 7, 12], [7, 10, 2, 3, 13] -> [7, 14, 6, 7, 14], [7, 10, 2, 3, 15] -> [7, 14, 6, 7, 16], [32, 10, 2, 3, 4] -> [32, 14, 6, 7, 8], [32, 10, 2, 3, 9] -> [32, 14, 6, 7, 10], [32, 10, 2, 3, 11] -> [32, 14, 6, 7, 12], [32, 10, 2, 3, 13] -> [32, 14, 6, 7, 14], [32, 10, 2, 3, 15] -> [32, 14, 6, 7, 16], [37, 10, 2, 3, 4] -> [37, 14, 6, 7, 8], [37, 10, 2, 3, 9] -> [37, 14, 6, 7, 10], [37, 10, 2, 3, 11] -> [37, 14, 6, 7, 12], [37, 10, 2, 3, 13] -> [37, 14, 6, 7, 14], [37, 10, 2, 3, 15] -> [37, 14, 6, 7, 16], [35, 10, 2, 17, 18] -> [35, 14, 6, 19, 20], [35, 10, 2, 17, 21] -> [35, 14, 6, 19, 22], [35, 10, 2, 17, 23] -> [35, 14, 6, 19, 24], [35, 10, 2, 17, 25] -> [35, 14, 6, 19, 26], [36, 10, 2, 17, 18] -> [36, 14, 6, 19, 20], [36, 10, 2, 17, 21] -> [36, 14, 6, 19, 22], [36, 10, 2, 17, 23] -> [36, 14, 6, 19, 24], [36, 10, 2, 17, 25] -> [36, 14, 6, 19, 26], [7, 10, 2, 17, 18] -> [7, 14, 6, 19, 20], [7, 10, 2, 17, 21] -> [7, 14, 6, 19, 22], [7, 10, 2, 17, 23] -> [7, 14, 6, 19, 24], [7, 10, 2, 17, 25] -> [7, 14, 6, 19, 26], [32, 10, 2, 17, 18] -> [32, 14, 6, 19, 20], [32, 10, 2, 17, 21] -> [32, 14, 6, 19, 22], [32, 10, 2, 17, 23] -> [32, 14, 6, 19, 24], [32, 10, 2, 17, 25] -> [32, 14, 6, 19, 26], [37, 10, 2, 17, 18] -> [37, 14, 6, 19, 20], [37, 10, 2, 17, 21] -> [37, 14, 6, 19, 22], [37, 10, 2, 17, 23] -> [37, 14, 6, 19, 24], [37, 10, 2, 17, 25] -> [37, 14, 6, 19, 26], [35, 10, 2, 27, 28] -> [35, 14, 6, 29, 30], [35, 10, 2, 27, 31] -> [35, 14, 6, 29, 29], [35, 10, 2, 27, 32] -> [35, 14, 6, 29, 7], [35, 10, 2, 27, 33] -> [35, 14, 6, 29, 19], [36, 10, 2, 27, 28] -> [36, 14, 6, 29, 30], [36, 10, 2, 27, 31] -> [36, 14, 6, 29, 29], [36, 10, 2, 27, 32] -> [36, 14, 6, 29, 7], [36, 10, 2, 27, 33] -> [36, 14, 6, 29, 19], [7, 10, 2, 27, 28] -> [7, 14, 6, 29, 30], [7, 10, 2, 27, 31] -> [7, 14, 6, 29, 29], [7, 10, 2, 27, 32] -> [7, 14, 6, 29, 7], [7, 10, 2, 27, 33] -> [7, 14, 6, 29, 19], [32, 10, 2, 27, 28] -> [32, 14, 6, 29, 30], [32, 10, 2, 27, 31] -> [32, 14, 6, 29, 29], [32, 10, 2, 27, 32] -> [32, 14, 6, 29, 7], [32, 10, 2, 27, 33] -> [32, 14, 6, 29, 19], [37, 10, 2, 27, 28] -> [37, 14, 6, 29, 30], [37, 10, 2, 27, 31] -> [37, 14, 6, 29, 29], [37, 10, 2, 27, 32] -> [37, 14, 6, 29, 7], [37, 10, 2, 27, 33] -> [37, 14, 6, 29, 19], [38, 33, 22, 15, 39] ->= [40, 25, 32, 16, 39], [27, 33, 22, 15, 39] ->= [17, 25, 32, 16, 39], [25, 33, 22, 15, 39] ->= [23, 25, 32, 16, 39], [26, 33, 22, 15, 39] ->= [24, 25, 32, 16, 39], [38, 33, 22, 9, 41] ->= [40, 25, 32, 10, 41], [38, 33, 22, 9, 1] ->= [40, 25, 32, 10, 1], [38, 33, 22, 9, 2] ->= [40, 25, 32, 10, 2], [38, 33, 22, 9, 5] ->= [40, 25, 32, 10, 5], [38, 33, 22, 9, 42] ->= [40, 25, 32, 10, 42], [27, 33, 22, 9, 41] ->= [17, 25, 32, 10, 41], [27, 33, 22, 9, 1] ->= [17, 25, 32, 10, 1], [27, 33, 22, 9, 2] ->= [17, 25, 32, 10, 2], [27, 33, 22, 9, 5] ->= [17, 25, 32, 10, 5], [27, 33, 22, 9, 42] ->= [17, 25, 32, 10, 42], [25, 33, 22, 9, 41] ->= [23, 25, 32, 10, 41], [25, 33, 22, 9, 1] ->= [23, 25, 32, 10, 1], [25, 33, 22, 9, 2] ->= [23, 25, 32, 10, 2], [25, 33, 22, 9, 5] ->= [23, 25, 32, 10, 5], [25, 33, 22, 9, 42] ->= [23, 25, 32, 10, 42], [26, 33, 22, 9, 41] ->= [24, 25, 32, 10, 41], [26, 33, 22, 9, 1] ->= [24, 25, 32, 10, 1], [26, 33, 22, 9, 2] ->= [24, 25, 32, 10, 2], [26, 33, 22, 9, 5] ->= [24, 25, 32, 10, 5], [26, 33, 22, 9, 42] ->= [24, 25, 32, 10, 42], [38, 33, 22, 11, 43] ->= [40, 25, 32, 12, 43], [38, 33, 22, 11, 3] ->= [40, 25, 32, 12, 3], [38, 33, 22, 11, 17] ->= [40, 25, 32, 12, 17], [38, 33, 22, 11, 27] ->= [40, 25, 32, 12, 27], [27, 33, 22, 11, 43] ->= [17, 25, 32, 12, 43], [27, 33, 22, 11, 3] ->= [17, 25, 32, 12, 3], [27, 33, 22, 11, 17] ->= [17, 25, 32, 12, 17], [27, 33, 22, 11, 27] ->= [17, 25, 32, 12, 27], [25, 33, 22, 11, 43] ->= [23, 25, 32, 12, 43], [25, 33, 22, 11, 3] ->= [23, 25, 32, 12, 3], [25, 33, 22, 11, 17] ->= [23, 25, 32, 12, 17], [25, 33, 22, 11, 27] ->= [23, 25, 32, 12, 27], [26, 33, 22, 11, 43] ->= [24, 25, 32, 12, 43], [26, 33, 22, 11, 3] ->= [24, 25, 32, 12, 3], [26, 33, 22, 11, 17] ->= [24, 25, 32, 12, 17], [26, 33, 22, 11, 27] ->= [24, 25, 32, 12, 27], [38, 33, 22, 13, 44] ->= [40, 25, 32, 14, 44], [38, 33, 22, 13, 6] ->= [40, 25, 32, 14, 6], [38, 33, 22, 13, 36] ->= [40, 25, 32, 14, 36], [38, 33, 22, 13, 45] ->= [40, 25, 32, 14, 45], [27, 33, 22, 13, 44] ->= [17, 25, 32, 14, 44], [27, 33, 22, 13, 6] ->= [17, 25, 32, 14, 6], [27, 33, 22, 13, 36] ->= [17, 25, 32, 14, 36], [27, 33, 22, 13, 45] ->= [17, 25, 32, 14, 45], [25, 33, 22, 13, 44] ->= [23, 25, 32, 14, 44], [25, 33, 22, 13, 6] ->= [23, 25, 32, 14, 6], [25, 33, 22, 13, 36] ->= [23, 25, 32, 14, 36], [25, 33, 22, 13, 45] ->= [23, 25, 32, 14, 45], [26, 33, 22, 13, 44] ->= [24, 25, 32, 14, 44], [26, 33, 22, 13, 6] ->= [24, 25, 32, 14, 6], [26, 33, 22, 13, 36] ->= [24, 25, 32, 14, 36], [26, 33, 22, 13, 45] ->= [24, 25, 32, 14, 45], [46, 19, 22, 15, 39] ->= [47, 26, 32, 16, 39], [6, 19, 22, 15, 39] ->= [45, 26, 32, 16, 39], [29, 19, 22, 15, 39] ->= [19, 26, 32, 16, 39], [31, 19, 22, 15, 39] ->= [33, 26, 32, 16, 39], [46, 19, 22, 9, 41] ->= [47, 26, 32, 10, 41], [46, 19, 22, 9, 1] ->= [47, 26, 32, 10, 1], [46, 19, 22, 9, 2] ->= [47, 26, 32, 10, 2], [46, 19, 22, 9, 5] ->= [47, 26, 32, 10, 5], [46, 19, 22, 9, 42] ->= [47, 26, 32, 10, 42], [6, 19, 22, 9, 41] ->= [45, 26, 32, 10, 41], [6, 19, 22, 9, 1] ->= [45, 26, 32, 10, 1], [6, 19, 22, 9, 2] ->= [45, 26, 32, 10, 2], [6, 19, 22, 9, 5] ->= [45, 26, 32, 10, 5], [6, 19, 22, 9, 42] ->= [45, 26, 32, 10, 42], [29, 19, 22, 9, 41] ->= [19, 26, 32, 10, 41], [29, 19, 22, 9, 1] ->= [19, 26, 32, 10, 1], [29, 19, 22, 9, 2] ->= [19, 26, 32, 10, 2], [29, 19, 22, 9, 5] ->= [19, 26, 32, 10, 5], [29, 19, 22, 9, 42] ->= [19, 26, 32, 10, 42], [31, 19, 22, 9, 41] ->= [33, 26, 32, 10, 41], [31, 19, 22, 9, 1] ->= [33, 26, 32, 10, 1], [31, 19, 22, 9, 2] ->= [33, 26, 32, 10, 2], [31, 19, 22, 9, 5] ->= [33, 26, 32, 10, 5], [31, 19, 22, 9, 42] ->= [33, 26, 32, 10, 42], [46, 19, 22, 11, 43] ->= [47, 26, 32, 12, 43], [46, 19, 22, 11, 3] ->= [47, 26, 32, 12, 3], [46, 19, 22, 11, 17] ->= [47, 26, 32, 12, 17], [46, 19, 22, 11, 27] ->= [47, 26, 32, 12, 27], [6, 19, 22, 11, 43] ->= [45, 26, 32, 12, 43], [6, 19, 22, 11, 3] ->= [45, 26, 32, 12, 3], [6, 19, 22, 11, 17] ->= [45, 26, 32, 12, 17], [6, 19, 22, 11, 27] ->= [45, 26, 32, 12, 27], [29, 19, 22, 11, 43] ->= [19, 26, 32, 12, 43], [29, 19, 22, 11, 3] ->= [19, 26, 32, 12, 3], [29, 19, 22, 11, 17] ->= [19, 26, 32, 12, 17], [29, 19, 22, 11, 27] ->= [19, 26, 32, 12, 27], [31, 19, 22, 11, 43] ->= [33, 26, 32, 12, 43], [31, 19, 22, 11, 3] ->= [33, 26, 32, 12, 3], [31, 19, 22, 11, 17] ->= [33, 26, 32, 12, 17], [31, 19, 22, 11, 27] ->= [33, 26, 32, 12, 27], [46, 19, 22, 13, 44] ->= [47, 26, 32, 14, 44], [46, 19, 22, 13, 6] ->= [47, 26, 32, 14, 6], [46, 19, 22, 13, 36] ->= [47, 26, 32, 14, 36], [46, 19, 22, 13, 45] ->= [47, 26, 32, 14, 45], [6, 19, 22, 13, 44] ->= [45, 26, 32, 14, 44], [6, 19, 22, 13, 6] ->= [45, 26, 32, 14, 6], [6, 19, 22, 13, 36] ->= [45, 26, 32, 14, 36], [6, 19, 22, 13, 45] ->= [45, 26, 32, 14, 45], [29, 19, 22, 13, 44] ->= [19, 26, 32, 14, 44], [29, 19, 22, 13, 6] ->= [19, 26, 32, 14, 6], [29, 19, 22, 13, 36] ->= [19, 26, 32, 14, 36], [29, 19, 22, 13, 45] ->= [19, 26, 32, 14, 45], [31, 19, 22, 13, 44] ->= [33, 26, 32, 14, 44], [31, 19, 22, 13, 6] ->= [33, 26, 32, 14, 6], [31, 19, 22, 13, 36] ->= [33, 26, 32, 14, 36], [31, 19, 22, 13, 45] ->= [33, 26, 32, 14, 45], [38, 33, 24, 21, 4] ->= [40, 23, 21, 9, 41], [38, 33, 24, 21, 9] ->= [40, 23, 21, 9, 1], [38, 33, 24, 21, 11] ->= [40, 23, 21, 9, 2], [38, 33, 24, 21, 13] ->= [40, 23, 21, 9, 5], [38, 33, 24, 21, 15] ->= [40, 23, 21, 9, 42], [27, 33, 24, 21, 4] ->= [17, 23, 21, 9, 41], [27, 33, 24, 21, 9] ->= [17, 23, 21, 9, 1], [27, 33, 24, 21, 11] ->= [17, 23, 21, 9, 2], [27, 33, 24, 21, 13] ->= [17, 23, 21, 9, 5], [27, 33, 24, 21, 15] ->= [17, 23, 21, 9, 42], [25, 33, 24, 21, 4] ->= [23, 23, 21, 9, 41], [25, 33, 24, 21, 9] ->= [23, 23, 21, 9, 1], [25, 33, 24, 21, 11] ->= [23, 23, 21, 9, 2], [25, 33, 24, 21, 13] ->= [23, 23, 21, 9, 5], [25, 33, 24, 21, 15] ->= [23, 23, 21, 9, 42], [26, 33, 24, 21, 4] ->= [24, 23, 21, 9, 41], [26, 33, 24, 21, 9] ->= [24, 23, 21, 9, 1], [26, 33, 24, 21, 11] ->= [24, 23, 21, 9, 2], [26, 33, 24, 21, 13] ->= [24, 23, 21, 9, 5], [26, 33, 24, 21, 15] ->= [24, 23, 21, 9, 42], [46, 19, 24, 21, 4] ->= [47, 24, 21, 9, 41], [46, 19, 24, 21, 9] ->= [47, 24, 21, 9, 1], [46, 19, 24, 21, 11] ->= [47, 24, 21, 9, 2], [46, 19, 24, 21, 13] ->= [47, 24, 21, 9, 5], [46, 19, 24, 21, 15] ->= [47, 24, 21, 9, 42], [6, 19, 24, 21, 4] ->= [45, 24, 21, 9, 41], [6, 19, 24, 21, 9] ->= [45, 24, 21, 9, 1], [6, 19, 24, 21, 11] ->= [45, 24, 21, 9, 2], [6, 19, 24, 21, 13] ->= [45, 24, 21, 9, 5], [6, 19, 24, 21, 15] ->= [45, 24, 21, 9, 42], [29, 19, 24, 21, 4] ->= [19, 24, 21, 9, 41], [29, 19, 24, 21, 9] ->= [19, 24, 21, 9, 1], [29, 19, 24, 21, 11] ->= [19, 24, 21, 9, 2], [29, 19, 24, 21, 13] ->= [19, 24, 21, 9, 5], [29, 19, 24, 21, 15] ->= [19, 24, 21, 9, 42], [31, 19, 24, 21, 4] ->= [33, 24, 21, 9, 41], [31, 19, 24, 21, 9] ->= [33, 24, 21, 9, 1], [31, 19, 24, 21, 11] ->= [33, 24, 21, 9, 2], [31, 19, 24, 21, 13] ->= [33, 24, 21, 9, 5], [31, 19, 24, 21, 15] ->= [33, 24, 21, 9, 42], [48, 37, 14, 36, 8] ->= [48, 37, 12, 3, 4], [48, 37, 14, 36, 10] ->= [48, 37, 12, 3, 9], [48, 37, 14, 36, 12] ->= [48, 37, 12, 3, 11], [48, 37, 14, 36, 14] ->= [48, 37, 12, 3, 13], [48, 37, 14, 36, 16] ->= [48, 37, 12, 3, 15], [48, 37, 14, 45, 20] ->= [48, 37, 12, 17, 18], [48, 37, 14, 45, 22] ->= [48, 37, 12, 17, 21], [48, 37, 14, 45, 24] ->= [48, 37, 12, 17, 23], [48, 37, 14, 45, 26] ->= [48, 37, 12, 17, 25], [48, 37, 14, 6, 30] ->= [48, 37, 12, 27, 28], [48, 37, 14, 6, 29] ->= [48, 37, 12, 27, 31], [48, 37, 14, 6, 7] ->= [48, 37, 12, 27, 32], [48, 37, 14, 6, 19] ->= [48, 37, 12, 27, 33], [49, 36, 14, 36, 8] ->= [49, 36, 12, 3, 4], [49, 36, 14, 36, 10] ->= [49, 36, 12, 3, 9], [49, 36, 14, 36, 12] ->= [49, 36, 12, 3, 11], [49, 36, 14, 36, 14] ->= [49, 36, 12, 3, 13], [49, 36, 14, 36, 16] ->= [49, 36, 12, 3, 15], [5, 36, 14, 36, 8] ->= [5, 36, 12, 3, 4], [5, 36, 14, 36, 10] ->= [5, 36, 12, 3, 9], [5, 36, 14, 36, 12] ->= [5, 36, 12, 3, 11], [5, 36, 14, 36, 14] ->= [5, 36, 12, 3, 13], [5, 36, 14, 36, 16] ->= [5, 36, 12, 3, 15], [13, 36, 14, 36, 8] ->= [13, 36, 12, 3, 4], [13, 36, 14, 36, 10] ->= [13, 36, 12, 3, 9], [13, 36, 14, 36, 12] ->= [13, 36, 12, 3, 11], [13, 36, 14, 36, 14] ->= [13, 36, 12, 3, 13], [13, 36, 14, 36, 16] ->= [13, 36, 12, 3, 15], [14, 36, 14, 36, 8] ->= [14, 36, 12, 3, 4], [14, 36, 14, 36, 10] ->= [14, 36, 12, 3, 9], [14, 36, 14, 36, 12] ->= [14, 36, 12, 3, 11], [14, 36, 14, 36, 14] ->= [14, 36, 12, 3, 13], [14, 36, 14, 36, 16] ->= [14, 36, 12, 3, 15], [49, 36, 14, 45, 20] ->= [49, 36, 12, 17, 18], [49, 36, 14, 45, 22] ->= [49, 36, 12, 17, 21], [49, 36, 14, 45, 24] ->= [49, 36, 12, 17, 23], [49, 36, 14, 45, 26] ->= [49, 36, 12, 17, 25], [5, 36, 14, 45, 20] ->= [5, 36, 12, 17, 18], [5, 36, 14, 45, 22] ->= [5, 36, 12, 17, 21], [5, 36, 14, 45, 24] ->= [5, 36, 12, 17, 23], [5, 36, 14, 45, 26] ->= [5, 36, 12, 17, 25], [13, 36, 14, 45, 20] ->= [13, 36, 12, 17, 18], [13, 36, 14, 45, 22] ->= [13, 36, 12, 17, 21], [13, 36, 14, 45, 24] ->= [13, 36, 12, 17, 23], [13, 36, 14, 45, 26] ->= [13, 36, 12, 17, 25], [14, 36, 14, 45, 20] ->= [14, 36, 12, 17, 18], [14, 36, 14, 45, 22] ->= [14, 36, 12, 17, 21], [14, 36, 14, 45, 24] ->= [14, 36, 12, 17, 23], [14, 36, 14, 45, 26] ->= [14, 36, 12, 17, 25], [49, 36, 14, 6, 30] ->= [49, 36, 12, 27, 28], [49, 36, 14, 6, 29] ->= [49, 36, 12, 27, 31], [49, 36, 14, 6, 7] ->= [49, 36, 12, 27, 32], [49, 36, 14, 6, 19] ->= [49, 36, 12, 27, 33], [5, 36, 14, 6, 30] ->= [5, 36, 12, 27, 28], [5, 36, 14, 6, 29] ->= [5, 36, 12, 27, 31], [5, 36, 14, 6, 7] ->= [5, 36, 12, 27, 32], [5, 36, 14, 6, 19] ->= [5, 36, 12, 27, 33], [13, 36, 14, 6, 30] ->= [13, 36, 12, 27, 28], [13, 36, 14, 6, 29] ->= [13, 36, 12, 27, 31], [13, 36, 14, 6, 7] ->= [13, 36, 12, 27, 32], [13, 36, 14, 6, 19] ->= [13, 36, 12, 27, 33], [14, 36, 14, 6, 30] ->= [14, 36, 12, 27, 28], [14, 36, 14, 6, 29] ->= [14, 36, 12, 27, 31], [14, 36, 14, 6, 7] ->= [14, 36, 12, 27, 32], [14, 36, 14, 6, 19] ->= [14, 36, 12, 27, 33], [38, 32, 14, 36, 8] ->= [38, 32, 12, 3, 4], [38, 32, 14, 36, 10] ->= [38, 32, 12, 3, 9], [38, 32, 14, 36, 12] ->= [38, 32, 12, 3, 11], [38, 32, 14, 36, 14] ->= [38, 32, 12, 3, 13], [38, 32, 14, 36, 16] ->= [38, 32, 12, 3, 15], [27, 32, 14, 36, 8] ->= [27, 32, 12, 3, 4], [27, 32, 14, 36, 10] ->= [27, 32, 12, 3, 9], [27, 32, 14, 36, 12] ->= [27, 32, 12, 3, 11], [27, 32, 14, 36, 14] ->= [27, 32, 12, 3, 13], [27, 32, 14, 36, 16] ->= [27, 32, 12, 3, 15], [25, 32, 14, 36, 8] ->= [25, 32, 12, 3, 4], [25, 32, 14, 36, 10] ->= [25, 32, 12, 3, 9], [25, 32, 14, 36, 12] ->= [25, 32, 12, 3, 11], [25, 32, 14, 36, 14] ->= [25, 32, 12, 3, 13], [25, 32, 14, 36, 16] ->= [25, 32, 12, 3, 15], [26, 32, 14, 36, 8] ->= [26, 32, 12, 3, 4], [26, 32, 14, 36, 10] ->= [26, 32, 12, 3, 9], [26, 32, 14, 36, 12] ->= [26, 32, 12, 3, 11], [26, 32, 14, 36, 14] ->= [26, 32, 12, 3, 13], [26, 32, 14, 36, 16] ->= [26, 32, 12, 3, 15], [38, 32, 14, 45, 20] ->= [38, 32, 12, 17, 18], [38, 32, 14, 45, 22] ->= [38, 32, 12, 17, 21], [38, 32, 14, 45, 24] ->= [38, 32, 12, 17, 23], [38, 32, 14, 45, 26] ->= [38, 32, 12, 17, 25], [27, 32, 14, 45, 20] ->= [27, 32, 12, 17, 18], [27, 32, 14, 45, 22] ->= [27, 32, 12, 17, 21], [27, 32, 14, 45, 24] ->= [27, 32, 12, 17, 23], [27, 32, 14, 45, 26] ->= [27, 32, 12, 17, 25], [25, 32, 14, 45, 20] ->= [25, 32, 12, 17, 18], [25, 32, 14, 45, 22] ->= [25, 32, 12, 17, 21], [25, 32, 14, 45, 24] ->= [25, 32, 12, 17, 23], [25, 32, 14, 45, 26] ->= [25, 32, 12, 17, 25], [26, 32, 14, 45, 20] ->= [26, 32, 12, 17, 18], [26, 32, 14, 45, 22] ->= [26, 32, 12, 17, 21], [26, 32, 14, 45, 24] ->= [26, 32, 12, 17, 23], [26, 32, 14, 45, 26] ->= [26, 32, 12, 17, 25], [38, 32, 14, 6, 30] ->= [38, 32, 12, 27, 28], [38, 32, 14, 6, 29] ->= [38, 32, 12, 27, 31], [38, 32, 14, 6, 7] ->= [38, 32, 12, 27, 32], [38, 32, 14, 6, 19] ->= [38, 32, 12, 27, 33], [27, 32, 14, 6, 30] ->= [27, 32, 12, 27, 28], [27, 32, 14, 6, 29] ->= [27, 32, 12, 27, 31], [27, 32, 14, 6, 7] ->= [27, 32, 12, 27, 32], [27, 32, 14, 6, 19] ->= [27, 32, 12, 27, 33], [25, 32, 14, 6, 30] ->= [25, 32, 12, 27, 28], [25, 32, 14, 6, 29] ->= [25, 32, 12, 27, 31], [25, 32, 14, 6, 7] ->= [25, 32, 12, 27, 32], [25, 32, 14, 6, 19] ->= [25, 32, 12, 27, 33], [26, 32, 14, 6, 30] ->= [26, 32, 12, 27, 28], [26, 32, 14, 6, 29] ->= [26, 32, 12, 27, 31], [26, 32, 14, 6, 7] ->= [26, 32, 12, 27, 32], [26, 32, 14, 6, 19] ->= [26, 32, 12, 27, 33], [46, 7, 14, 36, 8] ->= [46, 7, 12, 3, 4], [46, 7, 14, 36, 10] ->= [46, 7, 12, 3, 9], [46, 7, 14, 36, 12] ->= [46, 7, 12, 3, 11], [46, 7, 14, 36, 14] ->= [46, 7, 12, 3, 13], [46, 7, 14, 36, 16] ->= [46, 7, 12, 3, 15], [6, 7, 14, 36, 8] ->= [6, 7, 12, 3, 4], [6, 7, 14, 36, 10] ->= [6, 7, 12, 3, 9], [6, 7, 14, 36, 12] ->= [6, 7, 12, 3, 11], [6, 7, 14, 36, 14] ->= [6, 7, 12, 3, 13], [6, 7, 14, 36, 16] ->= [6, 7, 12, 3, 15], [29, 7, 14, 36, 8] ->= [29, 7, 12, 3, 4], [29, 7, 14, 36, 10] ->= [29, 7, 12, 3, 9], [29, 7, 14, 36, 12] ->= [29, 7, 12, 3, 11], [29, 7, 14, 36, 14] ->= [29, 7, 12, 3, 13], [29, 7, 14, 36, 16] ->= [29, 7, 12, 3, 15], [31, 7, 14, 36, 8] ->= [31, 7, 12, 3, 4], [31, 7, 14, 36, 10] ->= [31, 7, 12, 3, 9], [31, 7, 14, 36, 12] ->= [31, 7, 12, 3, 11], [31, 7, 14, 36, 14] ->= [31, 7, 12, 3, 13], [31, 7, 14, 36, 16] ->= [31, 7, 12, 3, 15], [46, 7, 14, 45, 20] ->= [46, 7, 12, 17, 18], [46, 7, 14, 45, 22] ->= [46, 7, 12, 17, 21], [46, 7, 14, 45, 24] ->= [46, 7, 12, 17, 23], [46, 7, 14, 45, 26] ->= [46, 7, 12, 17, 25], [6, 7, 14, 45, 20] ->= [6, 7, 12, 17, 18], [6, 7, 14, 45, 22] ->= [6, 7, 12, 17, 21], [6, 7, 14, 45, 24] ->= [6, 7, 12, 17, 23], [6, 7, 14, 45, 26] ->= [6, 7, 12, 17, 25], [29, 7, 14, 45, 20] ->= [29, 7, 12, 17, 18], [29, 7, 14, 45, 22] ->= [29, 7, 12, 17, 21], [29, 7, 14, 45, 24] ->= [29, 7, 12, 17, 23], [29, 7, 14, 45, 26] ->= [29, 7, 12, 17, 25], [31, 7, 14, 45, 20] ->= [31, 7, 12, 17, 18], [31, 7, 14, 45, 22] ->= [31, 7, 12, 17, 21], [31, 7, 14, 45, 24] ->= [31, 7, 12, 17, 23], [31, 7, 14, 45, 26] ->= [31, 7, 12, 17, 25], [46, 7, 14, 6, 30] ->= [46, 7, 12, 27, 28], [46, 7, 14, 6, 29] ->= [46, 7, 12, 27, 31], [46, 7, 14, 6, 7] ->= [46, 7, 12, 27, 32], [46, 7, 14, 6, 19] ->= [46, 7, 12, 27, 33], [6, 7, 14, 6, 30] ->= [6, 7, 12, 27, 28], [6, 7, 14, 6, 29] ->= [6, 7, 12, 27, 31], [6, 7, 14, 6, 7] ->= [6, 7, 12, 27, 32], [6, 7, 14, 6, 19] ->= [6, 7, 12, 27, 33], [29, 7, 14, 6, 30] ->= [29, 7, 12, 27, 28], [29, 7, 14, 6, 29] ->= [29, 7, 12, 27, 31], [29, 7, 14, 6, 7] ->= [29, 7, 12, 27, 32], [29, 7, 14, 6, 19] ->= [29, 7, 12, 27, 33], [31, 7, 14, 6, 30] ->= [31, 7, 12, 27, 28], [31, 7, 14, 6, 29] ->= [31, 7, 12, 27, 31], [31, 7, 14, 6, 7] ->= [31, 7, 12, 27, 32], [31, 7, 14, 6, 19] ->= [31, 7, 12, 27, 33])
0.00/0.23	reason
0.00/0.23	  weights
0.00/0.23	    Map [(2, 1006/1), (3, 64350/19), (4, 990/1), (6, 4221/13), (7, 67/1), (11, 42570/19), (13, 2010/13), (14, 26/1), (15, 24750/19), (19, 2345/13), (20, 67/1), (22, 4489/13), (24, 15/1), (26, 14/1), (27, 1/1), (29, 1608/13), (30, 67/1), (33, 3/1), (36, 6918925/361), (38, 106445/19), (45, 26/1), (46, 106445/19)]
0.00/0.23	  
0.00/0.23	   property Termination
0.00/0.23	has value True
0.00/0.23	for SRS ( )
0.00/0.23	reason
0.00/0.23	  has no strict rules
0.00/0.23	
0.00/0.23	**************************************************
0.00/0.23	          summary
0.00/0.23	**************************************************
0.00/0.23	SRS with 6 rules on 3 letters       Remap   { tracing = False}
0.00/0.23	SRS with 6 rules on 3 letters       tile all, by Tiling   { method = Overlap, width = 2, state_type = Bit64, map_type = Enum, verbose = False, tracing = False}
0.00/0.23	SRS with 96 rules on 15 letters       Remap   { tracing = False}
0.00/0.23	SRS with 96 rules on 15 letters       weights
0.00/0.23	SRS with 42 rules on 14 letters       remove some, by Tiling   { method = Overlap, width = 2, state_type = Bit64, map_type = Enum, verbose = False, tracing = False}
0.00/0.23	SRS with 34 rules on 13 letters       Remap   { tracing = False}
0.00/0.23	SRS with 34 rules on 13 letters       weights
0.00/0.23	SRS with 31 rules on 11 letters       tile all, by Tiling   { method = Overlap, width = 2, state_type = Bit64, map_type = Enum, verbose = False, tracing = False}
0.00/0.24	SRS with 490 rules on 50 letters       Remap   { tracing = False}
0.00/0.24	SRS with 490 rules on 50 letters       weights
0.00/0.24	SRS with 0 rules on 0 letters       has no strict rules
0.00/0.24	
0.00/0.24	**************************************************
0.00/0.25	(6, 3)\TileAllROC{2}(96, 15)\Weight(42, 14)\TileRemoveROC{2}(34, 13)\Weight(31, 11)\TileAllROC{2}(490, 50)\Weight(0, 0)[]
0.00/0.25	**************************************************
0.00/0.25	let { done = Worker No_Strict_Rules;mo = Pre (Or_Else Count (IfSizeLeq 10000 GLPK Fail));wop = Or_Else (Worker (Weight { modus = mo})) Pass;weighted = \ m -> And_Then m wop;when_small = \ m -> And_Then (Worker (SizeAtmost 100)) m;when_medium = \ m -> And_Then (Worker (SizeAtmost 10000)) m;tiling = \ m w -> weighted (And_Then (Worker (Tiling { method = m,width = w})) (Worker Remap));matrix = \ mo dom dim bits -> weighted (Worker (Matrix { monotone = mo,domain = dom,dim = dim,bits = bits}));kbo = \ b -> weighted (Worker (KBO { bits = b,solver = Minisatapi}));method = Apply wop (Tree_Search_Preemptive 0 done ([ ] <> ([ when_medium (kbo 1), when_medium (And_Then (Worker Mirror) (kbo 1))] <> ((for [ 3, 4] (\ d -> when_small (matrix Strict Natural d 3))) <> (for [ 2, 3, 5, 8] (\ w -> tiling Overlap w))))))}
0.00/0.25	in Apply (Worker Remap) method
0.00/0.26	EOF