2.37/0.64	YES
2.37/0.64	property Termination
2.37/0.64	has value True
2.37/0.64	for SRS ( [c, a, a] -> [c, c, b], [c, a, b] -> [c, b, a], [b, b, a] -> [b, b, c], [b, c, b] -> [a, a, a], [c, a, a] ->= [a, b, a], [a, b, c] ->= [a, a, c])
2.37/0.64	reason
2.37/0.64	  remap for 6 rules
2.37/0.64	   property Termination
2.37/0.64	has value True
2.37/0.64	for SRS ( [0, 1, 1] -> [0, 0, 2], [0, 1, 2] -> [0, 2, 1], [2, 2, 1] -> [2, 2, 0], [2, 0, 2] -> [1, 1, 1], [0, 1, 1] ->= [1, 2, 1], [1, 2, 0] ->= [1, 1, 0])
2.37/0.64	reason
2.37/0.64	  Tiling   { method = Overlap, width = 3, state_type = Bit64, map_type = Enum, verbose = False, tracing = False}
2.37/0.64	  using 42 tiles
2.37/0.64	    [ [0, 0, >] , [0, 1, >] , [0, 2, >] , [1, 0, >] , [1, 1, >] , [2, 0, >] , [2, 1, >] , [<, <, 0] , [<, 0, 0] , [0, 0, 0] , [0, 1, 0] , [0, 2, 0] , [1, 0, 0] , [1, 1, 0] , [1, 2, 0] , [2, 0, 0] , [2, 1, 0] , [2, 2, 0] , [<, <, 1] , [<, 0, 1] , [<, 1, 1] , [<, 2, 1] , [0, 0, 1] , [0, 1, 1] , [0, 2, 1] , [1, 0, 1] , [1, 1, 1] , [1, 2, 1] , [2, 0, 1] , [2, 1, 1] , [2, 2, 1] , [<, <, 2] , [<, 0, 2] , [<, 1, 2] , [<, 2, 2] , [0, 0, 2] , [0, 1, 2] , [0, 2, 2] , [1, 0, 2] , [1, 1, 2] , [2, 0, 2] , [2, 1, 2] ]
2.37/0.64	  tile all rules
2.37/0.64	  
2.37/0.64	   property Termination
2.37/0.64	has value True
2.37/0.66	for SRS ( [[<, <, 0], [<, 0, 1], [0, 1, 1], [1, 1, >], [1, >, >]] -> [[<, <, 0], [<, 0, 0], [0, 0, 2], [0, 2, >], [2, >, >]], [[<, <, 0], [<, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, >]] -> [[<, <, 0], [<, 0, 0], [0, 0, 2], [0, 2, 0], [2, 0, >]], [[<, <, 0], [<, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0]] -> [[<, <, 0], [<, 0, 0], [0, 0, 2], [0, 2, 0], [2, 0, 0]], [[<, <, 0], [<, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1]] -> [[<, <, 0], [<, 0, 0], [0, 0, 2], [0, 2, 0], [2, 0, 1]], [[<, <, 0], [<, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 2]] -> [[<, <, 0], [<, 0, 0], [0, 0, 2], [0, 2, 0], [2, 0, 2]], [[<, <, 0], [<, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, >]] -> [[<, <, 0], [<, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, >]], [[<, <, 0], [<, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 0]] -> [[<, <, 0], [<, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 0]], [[<, <, 0], [<, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1]] -> [[<, <, 0], [<, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 1]], [[<, <, 0], [<, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 2]] -> [[<, <, 0], [<, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 2]], [[<, <, 0], [<, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 0]] -> [[<, <, 0], [<, 0, 0], [0, 0, 2], [0, 2, 2], [2, 2, 0]], [[<, <, 0], [<, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 1]] -> [[<, <, 0], [<, 0, 0], [0, 0, 2], [0, 2, 2], [2, 2, 1]], [[<, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, >], [1, >, >]] -> [[<, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, >], [2, >, >]], [[<, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, >]] -> [[<, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 0], [2, 0, >]], [[<, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0]] -> [[<, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 0], [2, 0, 0]], [[<, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1]] -> [[<, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 0], [2, 0, 1]], [[<, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 2]] -> [[<, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 0], [2, 0, 2]], [[<, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, >]] -> [[<, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, >]], [[<, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 0]] -> [[<, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 0]], [[<, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1]] -> [[<, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 1]], [[<, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 2]] -> [[<, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 2]], [[<, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 0]] -> [[<, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 2], [2, 2, 0]], [[<, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 1]] -> [[<, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 2], [2, 2, 1]], [[0, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, >], [1, >, >]] -> [[0, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, >], [2, >, >]], [[0, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, >]] -> [[0, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 0], [2, 0, >]], [[0, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0]] -> [[0, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 0], [2, 0, 0]], [[0, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1]] -> [[0, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 0], [2, 0, 1]], [[0, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 2]] -> [[0, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 0], [2, 0, 2]], [[0, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, >]] -> [[0, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, >]], [[0, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 0]] -> [[0, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 0]], [[0, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1]] -> [[0, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 1]], [[0, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 2]] -> [[0, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 2]], [[0, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 0]] -> [[0, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 2], [2, 2, 0]], [[0, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 1]] -> [[0, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 2], [2, 2, 1]], [[0, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, >], [1, >, >]] -> [[0, 1, 0], [1, 0, 0], [0, 0, 2], [0, 2, >], [2, >, >]], [[0, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, >]] -> [[0, 1, 0], [1, 0, 0], [0, 0, 2], [0, 2, 0], [2, 0, >]], [[0, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0]] -> [[0, 1, 0], [1, 0, 0], [0, 0, 2], [0, 2, 0], [2, 0, 0]], [[0, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1]] -> [[0, 1, 0], [1, 0, 0], [0, 0, 2], [0, 2, 0], [2, 0, 1]], [[0, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 2]] -> [[0, 1, 0], [1, 0, 0], [0, 0, 2], [0, 2, 0], [2, 0, 2]], [[0, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, >]] -> [[0, 1, 0], [1, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, >]], [[0, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 0]] -> [[0, 1, 0], [1, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 0]], [[0, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1]] -> [[0, 1, 0], [1, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 1]], [[0, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 2]] -> [[0, 1, 0], [1, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 2]], [[0, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 0]] -> [[0, 1, 0], [1, 0, 0], [0, 0, 2], [0, 2, 2], [2, 2, 0]], [[0, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 1]] -> [[0, 1, 0], [1, 0, 0], [0, 0, 2], [0, 2, 2], [2, 2, 1]], [[0, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, >], [1, >, >]] -> [[0, 2, 0], [2, 0, 0], [0, 0, 2], [0, 2, >], [2, >, >]], [[0, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, >]] -> [[0, 2, 0], [2, 0, 0], [0, 0, 2], [0, 2, 0], [2, 0, >]], [[0, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0]] -> [[0, 2, 0], [2, 0, 0], [0, 0, 2], [0, 2, 0], [2, 0, 0]], [[0, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1]] -> [[0, 2, 0], [2, 0, 0], [0, 0, 2], [0, 2, 0], [2, 0, 1]], [[0, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 2]] -> [[0, 2, 0], [2, 0, 0], [0, 0, 2], [0, 2, 0], [2, 0, 2]], [[0, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, >]] -> [[0, 2, 0], [2, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, >]], [[0, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 0]] -> [[0, 2, 0], [2, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 0]], [[0, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1]] -> [[0, 2, 0], [2, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 1]], [[0, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 2]] -> [[0, 2, 0], [2, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 2]], [[0, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 0]] -> [[0, 2, 0], [2, 0, 0], [0, 0, 2], [0, 2, 2], [2, 2, 0]], [[0, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 1]] -> [[0, 2, 0], [2, 0, 0], [0, 0, 2], [0, 2, 2], [2, 2, 1]], [[1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, >], [1, >, >]] -> [[1, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, >], [2, >, >]], [[1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, >]] -> [[1, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 0], [2, 0, >]], [[1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0]] -> [[1, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 0], [2, 0, 0]], [[1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1]] -> [[1, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 0], [2, 0, 1]], [[1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 2]] -> [[1, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 0], [2, 0, 2]], [[1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, >]] -> [[1, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, >]], [[1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 0]] -> [[1, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 0]], [[1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1]] -> [[1, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 1]], [[1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 2]] -> [[1, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 2]], [[1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 0]] -> [[1, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 2], [2, 2, 0]], [[1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 1]] -> [[1, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 2], [2, 2, 1]], [[1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, >], [1, >, >]] -> [[1, 1, 0], [1, 0, 0], [0, 0, 2], [0, 2, >], [2, >, >]], [[1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, >]] -> [[1, 1, 0], [1, 0, 0], [0, 0, 2], [0, 2, 0], [2, 0, >]], [[1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0]] -> [[1, 1, 0], [1, 0, 0], [0, 0, 2], [0, 2, 0], [2, 0, 0]], [[1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1]] -> [[1, 1, 0], [1, 0, 0], [0, 0, 2], [0, 2, 0], [2, 0, 1]], [[1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 2]] -> [[1, 1, 0], [1, 0, 0], [0, 0, 2], [0, 2, 0], [2, 0, 2]], [[1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, >]] -> [[1, 1, 0], [1, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, >]], [[1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 0]] -> [[1, 1, 0], [1, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 0]], [[1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1]] -> [[1, 1, 0], [1, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 1]], [[1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 2]] -> [[1, 1, 0], [1, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 2]], [[1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 0]] -> [[1, 1, 0], [1, 0, 0], [0, 0, 2], [0, 2, 2], [2, 2, 0]], [[1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 1]] -> [[1, 1, 0], [1, 0, 0], [0, 0, 2], [0, 2, 2], [2, 2, 1]], [[1, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, >], [1, >, >]] -> [[1, 2, 0], [2, 0, 0], [0, 0, 2], [0, 2, >], [2, >, >]], [[1, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, >]] -> [[1, 2, 0], [2, 0, 0], [0, 0, 2], [0, 2, 0], [2, 0, >]], [[1, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0]] -> [[1, 2, 0], [2, 0, 0], [0, 0, 2], [0, 2, 0], [2, 0, 0]], [[1, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1]] -> [[1, 2, 0], [2, 0, 0], [0, 0, 2], [0, 2, 0], [2, 0, 1]], [[1, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 2]] -> [[1, 2, 0], [2, 0, 0], [0, 0, 2], [0, 2, 0], [2, 0, 2]], [[1, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, >]] -> [[1, 2, 0], [2, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, >]], [[1, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 0]] -> [[1, 2, 0], [2, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 0]], [[1, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1]] -> [[1, 2, 0], [2, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 1]], [[1, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 2]] -> [[1, 2, 0], [2, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 2]], [[1, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 0]] -> [[1, 2, 0], [2, 0, 0], [0, 0, 2], [0, 2, 2], [2, 2, 0]], [[1, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 1]] -> [[1, 2, 0], [2, 0, 0], [0, 0, 2], [0, 2, 2], [2, 2, 1]], [[2, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, >], [1, >, >]] -> [[2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, >], [2, >, >]], [[2, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, >]] -> [[2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 0], [2, 0, >]], [[2, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0]] -> [[2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 0], [2, 0, 0]], [[2, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1]] -> [[2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 0], [2, 0, 1]], [[2, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 2]] -> [[2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 0], [2, 0, 2]], [[2, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, >]] -> [[2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, >]], [[2, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 0]] -> [[2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 0]], [[2, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1]] -> [[2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 1]], [[2, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 2]] -> [[2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 2]], [[2, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 0]] -> [[2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 2], [2, 2, 0]], [[2, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 1]] -> [[2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 2], [2, 2, 1]], [[2, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, >], [1, >, >]] -> [[2, 1, 0], [1, 0, 0], [0, 0, 2], [0, 2, >], [2, >, >]], [[2, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, >]] -> [[2, 1, 0], [1, 0, 0], [0, 0, 2], [0, 2, 0], [2, 0, >]], [[2, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0]] -> [[2, 1, 0], [1, 0, 0], [0, 0, 2], [0, 2, 0], [2, 0, 0]], [[2, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1]] -> [[2, 1, 0], [1, 0, 0], [0, 0, 2], [0, 2, 0], [2, 0, 1]], [[2, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 2]] -> [[2, 1, 0], [1, 0, 0], [0, 0, 2], [0, 2, 0], [2, 0, 2]], [[2, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, >]] -> [[2, 1, 0], [1, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, >]], [[2, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 0]] -> [[2, 1, 0], [1, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 0]], [[2, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1]] -> [[2, 1, 0], [1, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 1]], [[2, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 2]] -> [[2, 1, 0], [1, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 2]], [[2, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 0]] -> [[2, 1, 0], [1, 0, 0], [0, 0, 2], [0, 2, 2], [2, 2, 0]], [[2, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 1]] -> [[2, 1, 0], [1, 0, 0], [0, 0, 2], [0, 2, 2], [2, 2, 1]], [[2, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, >], [1, >, >]] -> [[2, 2, 0], [2, 0, 0], [0, 0, 2], [0, 2, >], [2, >, >]], [[2, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, >]] -> [[2, 2, 0], [2, 0, 0], [0, 0, 2], [0, 2, 0], [2, 0, >]], [[2, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0]] -> [[2, 2, 0], [2, 0, 0], [0, 0, 2], [0, 2, 0], [2, 0, 0]], [[2, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1]] -> [[2, 2, 0], [2, 0, 0], [0, 0, 2], [0, 2, 0], [2, 0, 1]], [[2, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 2]] -> [[2, 2, 0], [2, 0, 0], [0, 0, 2], [0, 2, 0], [2, 0, 2]], [[2, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, >]] -> [[2, 2, 0], [2, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, >]], [[2, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 0]] -> [[2, 2, 0], [2, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 0]], [[2, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1]] -> [[2, 2, 0], [2, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 1]], [[2, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 2]] -> [[2, 2, 0], [2, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 2]], [[2, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 0]] -> [[2, 2, 0], [2, 0, 0], [0, 0, 2], [0, 2, 2], [2, 2, 0]], [[2, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 1]] -> [[2, 2, 0], [2, 0, 0], [0, 0, 2], [0, 2, 2], [2, 2, 1]], [[<, <, 0], [<, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, >]] -> [[<, <, 0], [<, 0, 2], [0, 2, 1], [2, 1, 0], [1, 0, >]], [[<, <, 0], [<, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 0]] -> [[<, <, 0], [<, 0, 2], [0, 2, 1], [2, 1, 0], [1, 0, 0]], [[<, <, 0], [<, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 1]] -> [[<, <, 0], [<, 0, 2], [0, 2, 1], [2, 1, 0], [1, 0, 1]], [[<, <, 0], [<, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 2]] -> [[<, <, 0], [<, 0, 2], [0, 2, 1], [2, 1, 0], [1, 0, 2]], [[<, <, 0], [<, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, >]] -> [[<, <, 0], [<, 0, 2], [0, 2, 1], [2, 1, 1], [1, 1, >]], [[<, <, 0], [<, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 0]] -> [[<, <, 0], [<, 0, 2], [0, 2, 1], [2, 1, 1], [1, 1, 0]], [[<, <, 0], [<, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 1]] -> [[<, <, 0], [<, 0, 2], [0, 2, 1], [2, 1, 1], [1, 1, 1]], [[<, <, 0], [<, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 2]] -> [[<, <, 0], [<, 0, 2], [0, 2, 1], [2, 1, 1], [1, 1, 2]], [[<, 0, 0], [0, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, >]] -> [[<, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 0], [1, 0, >]], [[<, 0, 0], [0, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 0]] -> [[<, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 0], [1, 0, 0]], [[<, 0, 0], [0, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 1]] -> [[<, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 0], [1, 0, 1]], [[<, 0, 0], [0, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 2]] -> [[<, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 0], [1, 0, 2]], [[<, 0, 0], [0, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, >]] -> [[<, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 1], [1, 1, >]], [[<, 0, 0], [0, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 0]] -> [[<, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 1], [1, 1, 0]], [[<, 0, 0], [0, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 1]] -> [[<, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 1], [1, 1, 1]], [[<, 0, 0], [0, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 2]] -> [[<, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 1], [1, 1, 2]], [[0, 0, 0], [0, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, >]] -> [[0, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 0], [1, 0, >]], [[0, 0, 0], [0, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 0]] -> [[0, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 0], [1, 0, 0]], [[0, 0, 0], [0, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 1]] -> [[0, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 0], [1, 0, 1]], [[0, 0, 0], [0, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 2]] -> [[0, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 0], [1, 0, 2]], [[0, 0, 0], [0, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, >]] -> [[0, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 1], [1, 1, >]], [[0, 0, 0], [0, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 0]] -> [[0, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 1], [1, 1, 0]], [[0, 0, 0], [0, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 1]] -> [[0, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 1], [1, 1, 1]], [[0, 0, 0], [0, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 2]] -> [[0, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 1], [1, 1, 2]], [[0, 1, 0], [1, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, >]] -> [[0, 1, 0], [1, 0, 2], [0, 2, 1], [2, 1, 0], [1, 0, >]], [[0, 1, 0], [1, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 0]] -> [[0, 1, 0], [1, 0, 2], [0, 2, 1], [2, 1, 0], [1, 0, 0]], [[0, 1, 0], [1, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 1]] -> [[0, 1, 0], [1, 0, 2], [0, 2, 1], [2, 1, 0], [1, 0, 1]], [[0, 1, 0], [1, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 2]] -> [[0, 1, 0], [1, 0, 2], [0, 2, 1], [2, 1, 0], [1, 0, 2]], [[0, 1, 0], [1, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, >]] -> [[0, 1, 0], [1, 0, 2], [0, 2, 1], [2, 1, 1], [1, 1, >]], [[0, 1, 0], [1, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 0]] -> [[0, 1, 0], [1, 0, 2], [0, 2, 1], [2, 1, 1], [1, 1, 0]], [[0, 1, 0], [1, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 1]] -> [[0, 1, 0], [1, 0, 2], [0, 2, 1], [2, 1, 1], [1, 1, 1]], [[0, 1, 0], [1, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 2]] -> [[0, 1, 0], [1, 0, 2], [0, 2, 1], [2, 1, 1], [1, 1, 2]], [[0, 2, 0], [2, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, >]] -> [[0, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 0], [1, 0, >]], [[0, 2, 0], [2, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 0]] -> [[0, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 0], [1, 0, 0]], [[0, 2, 0], [2, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 1]] -> [[0, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 0], [1, 0, 1]], [[0, 2, 0], [2, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 2]] -> [[0, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 0], [1, 0, 2]], [[0, 2, 0], [2, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, >]] -> [[0, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 1], [1, 1, >]], [[0, 2, 0], [2, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 0]] -> [[0, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 1], [1, 1, 0]], [[0, 2, 0], [2, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 1]] -> [[0, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 1], [1, 1, 1]], [[0, 2, 0], [2, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 2]] -> [[0, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 1], [1, 1, 2]], [[1, 0, 0], [0, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, >]] -> [[1, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 0], [1, 0, >]], [[1, 0, 0], [0, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 0]] -> [[1, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 0], [1, 0, 0]], [[1, 0, 0], [0, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 1]] -> [[1, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 0], [1, 0, 1]], [[1, 0, 0], [0, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 2]] -> [[1, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 0], [1, 0, 2]], [[1, 0, 0], [0, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, >]] -> [[1, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 1], [1, 1, >]], [[1, 0, 0], [0, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 0]] -> [[1, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 1], [1, 1, 0]], [[1, 0, 0], [0, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 1]] -> [[1, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 1], [1, 1, 1]], [[1, 0, 0], [0, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 2]] -> [[1, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 1], [1, 1, 2]], [[1, 1, 0], [1, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, >]] -> [[1, 1, 0], [1, 0, 2], [0, 2, 1], [2, 1, 0], [1, 0, >]], [[1, 1, 0], [1, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 0]] -> [[1, 1, 0], [1, 0, 2], [0, 2, 1], [2, 1, 0], [1, 0, 0]], [[1, 1, 0], [1, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 1]] -> [[1, 1, 0], [1, 0, 2], [0, 2, 1], [2, 1, 0], [1, 0, 1]], [[1, 1, 0], [1, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 2]] -> [[1, 1, 0], [1, 0, 2], [0, 2, 1], [2, 1, 0], [1, 0, 2]], [[1, 1, 0], [1, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, >]] -> [[1, 1, 0], [1, 0, 2], [0, 2, 1], [2, 1, 1], [1, 1, >]], [[1, 1, 0], [1, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 0]] -> [[1, 1, 0], [1, 0, 2], [0, 2, 1], [2, 1, 1], [1, 1, 0]], [[1, 1, 0], [1, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 1]] -> [[1, 1, 0], [1, 0, 2], [0, 2, 1], [2, 1, 1], [1, 1, 1]], [[1, 1, 0], [1, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 2]] -> [[1, 1, 0], [1, 0, 2], [0, 2, 1], [2, 1, 1], [1, 1, 2]], [[1, 2, 0], [2, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, >]] -> [[1, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 0], [1, 0, >]], [[1, 2, 0], [2, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 0]] -> [[1, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 0], [1, 0, 0]], [[1, 2, 0], [2, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 1]] -> [[1, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 0], [1, 0, 1]], [[1, 2, 0], [2, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 2]] -> [[1, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 0], [1, 0, 2]], [[1, 2, 0], [2, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, >]] -> [[1, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 1], [1, 1, >]], [[1, 2, 0], [2, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 0]] -> [[1, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 1], [1, 1, 0]], [[1, 2, 0], [2, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 1]] -> [[1, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 1], [1, 1, 1]], [[1, 2, 0], [2, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 2]] -> [[1, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 1], [1, 1, 2]], [[2, 0, 0], [0, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, >]] -> [[2, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 0], [1, 0, >]], [[2, 0, 0], [0, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 0]] -> [[2, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 0], [1, 0, 0]], [[2, 0, 0], [0, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 1]] -> [[2, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 0], [1, 0, 1]], [[2, 0, 0], [0, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 2]] -> [[2, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 0], [1, 0, 2]], [[2, 0, 0], [0, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, >]] -> [[2, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 1], [1, 1, >]], [[2, 0, 0], [0, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 0]] -> [[2, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 1], [1, 1, 0]], [[2, 0, 0], [0, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 1]] -> [[2, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 1], [1, 1, 1]], [[2, 0, 0], [0, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 2]] -> [[2, 0, 0], [0, 0, 2], [0, 2, 1], [2, 1, 1], [1, 1, 2]], [[2, 1, 0], [1, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, >]] -> [[2, 1, 0], [1, 0, 2], [0, 2, 1], [2, 1, 0], [1, 0, >]], [[2, 1, 0], [1, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 0]] -> [[2, 1, 0], [1, 0, 2], [0, 2, 1], [2, 1, 0], [1, 0, 0]], [[2, 1, 0], [1, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 1]] -> [[2, 1, 0], [1, 0, 2], [0, 2, 1], [2, 1, 0], [1, 0, 1]], [[2, 1, 0], [1, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 2]] -> [[2, 1, 0], [1, 0, 2], [0, 2, 1], [2, 1, 0], [1, 0, 2]], [[2, 1, 0], [1, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, >]] -> [[2, 1, 0], [1, 0, 2], [0, 2, 1], [2, 1, 1], [1, 1, >]], [[2, 1, 0], [1, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 0]] -> [[2, 1, 0], [1, 0, 2], [0, 2, 1], [2, 1, 1], [1, 1, 0]], [[2, 1, 0], [1, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 1]] -> [[2, 1, 0], [1, 0, 2], [0, 2, 1], [2, 1, 1], [1, 1, 1]], [[2, 1, 0], [1, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 2]] -> [[2, 1, 0], [1, 0, 2], [0, 2, 1], [2, 1, 1], [1, 1, 2]], [[2, 2, 0], [2, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, >]] -> [[2, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 0], [1, 0, >]], [[2, 2, 0], [2, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 0]] -> [[2, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 0], [1, 0, 0]], [[2, 2, 0], [2, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 1]] -> [[2, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 0], [1, 0, 1]], [[2, 2, 0], [2, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 2]] -> [[2, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 0], [1, 0, 2]], [[2, 2, 0], [2, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, >]] -> [[2, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 1], [1, 1, >]], [[2, 2, 0], [2, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 0]] -> [[2, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 1], [1, 1, 0]], [[2, 2, 0], [2, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 1]] -> [[2, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 1], [1, 1, 1]], [[2, 2, 0], [2, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 2]] -> [[2, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 1], [1, 1, 2]], [[<, <, 2], [<, 2, 2], [2, 2, 1], [2, 1, >], [1, >, >]] -> [[<, <, 2], [<, 2, 2], [2, 2, 0], [2, 0, >], [0, >, >]], [[<, <, 2], [<, 2, 2], [2, 2, 1], [2, 1, 0], [1, 0, >]] -> [[<, <, 2], [<, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, >]], [[<, <, 2], [<, 2, 2], [2, 2, 1], [2, 1, 0], [1, 0, 0]] -> [[<, <, 2], [<, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0]], [[<, <, 2], [<, 2, 2], [2, 2, 1], [2, 1, 0], [1, 0, 1]] -> [[<, <, 2], [<, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 1]], [[<, <, 2], [<, 2, 2], [2, 2, 1], [2, 1, 0], [1, 0, 2]] -> [[<, <, 2], [<, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 2]], [[<, <, 2], [<, 2, 2], [2, 2, 1], [2, 1, 1], [1, 1, >]] -> [[<, <, 2], [<, 2, 2], [2, 2, 0], [2, 0, 1], [0, 1, >]], [[<, <, 2], [<, 2, 2], [2, 2, 1], [2, 1, 1], [1, 1, 0]] -> [[<, <, 2], [<, 2, 2], [2, 2, 0], [2, 0, 1], [0, 1, 0]], [[<, <, 2], [<, 2, 2], [2, 2, 1], [2, 1, 1], [1, 1, 1]] -> [[<, <, 2], [<, 2, 2], [2, 2, 0], [2, 0, 1], [0, 1, 1]], [[<, <, 2], [<, 2, 2], [2, 2, 1], [2, 1, 1], [1, 1, 2]] -> [[<, <, 2], [<, 2, 2], [2, 2, 0], [2, 0, 1], [0, 1, 2]], [[<, <, 2], [<, 2, 2], [2, 2, 1], [2, 1, 2], [1, 2, 0]] -> [[<, <, 2], [<, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 0]], [[<, <, 2], [<, 2, 2], [2, 2, 1], [2, 1, 2], [1, 2, 1]] -> [[<, <, 2], [<, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 1]], [[<, 0, 2], [0, 2, 2], [2, 2, 1], [2, 1, >], [1, >, >]] -> [[<, 0, 2], [0, 2, 2], [2, 2, 0], [2, 0, >], [0, >, >]], [[<, 0, 2], [0, 2, 2], [2, 2, 1], [2, 1, 0], [1, 0, >]] -> [[<, 0, 2], [0, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, >]], [[<, 0, 2], [0, 2, 2], [2, 2, 1], [2, 1, 0], [1, 0, 0]] -> [[<, 0, 2], [0, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0]], [[<, 0, 2], [0, 2, 2], [2, 2, 1], [2, 1, 0], [1, 0, 1]] -> [[<, 0, 2], [0, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 1]], [[<, 0, 2], [0, 2, 2], [2, 2, 1], [2, 1, 0], [1, 0, 2]] -> [[<, 0, 2], [0, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 2]], [[<, 0, 2], [0, 2, 2], [2, 2, 1], [2, 1, 1], [1, 1, >]] -> [[<, 0, 2], [0, 2, 2], [2, 2, 0], [2, 0, 1], [0, 1, >]], [[<, 0, 2], [0, 2, 2], [2, 2, 1], [2, 1, 1], [1, 1, 0]] -> [[<, 0, 2], [0, 2, 2], [2, 2, 0], [2, 0, 1], [0, 1, 0]], [[<, 0, 2], [0, 2, 2], [2, 2, 1], [2, 1, 1], [1, 1, 1]] -> [[<, 0, 2], [0, 2, 2], [2, 2, 0], [2, 0, 1], [0, 1, 1]], [[<, 0, 2], [0, 2, 2], [2, 2, 1], [2, 1, 1], [1, 1, 2]] -> [[<, 0, 2], [0, 2, 2], [2, 2, 0], [2, 0, 1], [0, 1, 2]], [[<, 0, 2], [0, 2, 2], [2, 2, 1], [2, 1, 2], [1, 2, 0]] -> [[<, 0, 2], [0, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 0]], [[<, 0, 2], [0, 2, 2], [2, 2, 1], [2, 1, 2], [1, 2, 1]] -> [[<, 0, 2], [0, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 1]], [[0, 0, 2], [0, 2, 2], [2, 2, 1], [2, 1, >], [1, >, >]] -> [[0, 0, 2], [0, 2, 2], [2, 2, 0], [2, 0, >], [0, >, >]], [[0, 0, 2], [0, 2, 2], [2, 2, 1], [2, 1, 0], [1, 0, >]] -> [[0, 0, 2], [0, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, >]], [[0, 0, 2], [0, 2, 2], [2, 2, 1], [2, 1, 0], [1, 0, 0]] -> [[0, 0, 2], [0, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0]], [[0, 0, 2], [0, 2, 2], [2, 2, 1], [2, 1, 0], [1, 0, 1]] -> [[0, 0, 2], [0, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 1]], [[0, 0, 2], [0, 2, 2], [2, 2, 1], [2, 1, 0], [1, 0, 2]] -> [[0, 0, 2], [0, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 2]], [[0, 0, 2], [0, 2, 2], [2, 2, 1], [2, 1, 1], [1, 1, >]] -> [[0, 0, 2], [0, 2, 2], [2, 2, 0], [2, 0, 1], [0, 1, >]], [[0, 0, 2], [0, 2, 2], [2, 2, 1], [2, 1, 1], [1, 1, 0]] -> [[0, 0, 2], [0, 2, 2], [2, 2, 0], [2, 0, 1], [0, 1, 0]], [[0, 0, 2], [0, 2, 2], [2, 2, 1], [2, 1, 1], [1, 1, 1]] -> [[0, 0, 2], [0, 2, 2], [2, 2, 0], [2, 0, 1], [0, 1, 1]], [[0, 0, 2], [0, 2, 2], [2, 2, 1], [2, 1, 1], [1, 1, 2]] -> [[0, 0, 2], [0, 2, 2], [2, 2, 0], [2, 0, 1], [0, 1, 2]], [[0, 0, 2], [0, 2, 2], [2, 2, 1], [2, 1, 2], [1, 2, 0]] -> [[0, 0, 2], [0, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 0]], [[0, 0, 2], [0, 2, 2], [2, 2, 1], [2, 1, 2], [1, 2, 1]] -> [[0, 0, 2], [0, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 1]], [[1, 0, 2], [0, 2, 2], [2, 2, 1], [2, 1, >], [1, >, >]] -> [[1, 0, 2], [0, 2, 2], [2, 2, 0], [2, 0, >], [0, >, >]], [[1, 0, 2], [0, 2, 2], [2, 2, 1], [2, 1, 0], [1, 0, >]] -> [[1, 0, 2], [0, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, >]], [[1, 0, 2], [0, 2, 2], [2, 2, 1], [2, 1, 0], [1, 0, 0]] -> [[1, 0, 2], [0, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0]], [[1, 0, 2], [0, 2, 2], [2, 2, 1], [2, 1, 0], [1, 0, 1]] -> [[1, 0, 2], [0, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 1]], [[1, 0, 2], [0, 2, 2], [2, 2, 1], [2, 1, 0], [1, 0, 2]] -> [[1, 0, 2], [0, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 2]], [[1, 0, 2], [0, 2, 2], [2, 2, 1], [2, 1, 1], [1, 1, >]] -> [[1, 0, 2], [0, 2, 2], [2, 2, 0], [2, 0, 1], [0, 1, >]], [[1, 0, 2], [0, 2, 2], [2, 2, 1], [2, 1, 1], [1, 1, 0]] -> [[1, 0, 2], [0, 2, 2], [2, 2, 0], [2, 0, 1], [0, 1, 0]], [[1, 0, 2], [0, 2, 2], [2, 2, 1], [2, 1, 1], [1, 1, 1]] -> [[1, 0, 2], [0, 2, 2], [2, 2, 0], [2, 0, 1], [0, 1, 1]], [[1, 0, 2], [0, 2, 2], [2, 2, 1], [2, 1, 1], [1, 1, 2]] -> [[1, 0, 2], [0, 2, 2], [2, 2, 0], [2, 0, 1], [0, 1, 2]], [[1, 0, 2], [0, 2, 2], [2, 2, 1], [2, 1, 2], [1, 2, 0]] -> [[1, 0, 2], [0, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 0]], [[1, 0, 2], [0, 2, 2], [2, 2, 1], [2, 1, 2], [1, 2, 1]] -> [[1, 0, 2], [0, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 1]], [[2, 0, 2], [0, 2, 2], [2, 2, 1], [2, 1, >], [1, >, >]] -> [[2, 0, 2], [0, 2, 2], [2, 2, 0], [2, 0, >], [0, >, >]], [[2, 0, 2], [0, 2, 2], [2, 2, 1], [2, 1, 0], [1, 0, >]] -> [[2, 0, 2], [0, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, >]], [[2, 0, 2], [0, 2, 2], [2, 2, 1], [2, 1, 0], [1, 0, 0]] -> [[2, 0, 2], [0, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0]], [[2, 0, 2], [0, 2, 2], [2, 2, 1], [2, 1, 0], [1, 0, 1]] -> [[2, 0, 2], [0, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 1]], [[2, 0, 2], [0, 2, 2], [2, 2, 1], [2, 1, 0], [1, 0, 2]] -> [[2, 0, 2], [0, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 2]], [[2, 0, 2], [0, 2, 2], [2, 2, 1], [2, 1, 1], [1, 1, >]] -> [[2, 0, 2], [0, 2, 2], [2, 2, 0], [2, 0, 1], [0, 1, >]], [[2, 0, 2], [0, 2, 2], [2, 2, 1], [2, 1, 1], [1, 1, 0]] -> [[2, 0, 2], [0, 2, 2], [2, 2, 0], [2, 0, 1], [0, 1, 0]], [[2, 0, 2], [0, 2, 2], [2, 2, 1], [2, 1, 1], [1, 1, 1]] -> [[2, 0, 2], [0, 2, 2], [2, 2, 0], [2, 0, 1], [0, 1, 1]], [[2, 0, 2], [0, 2, 2], [2, 2, 1], [2, 1, 1], [1, 1, 2]] -> [[2, 0, 2], [0, 2, 2], [2, 2, 0], [2, 0, 1], [0, 1, 2]], [[2, 0, 2], [0, 2, 2], [2, 2, 1], [2, 1, 2], [1, 2, 0]] -> [[2, 0, 2], [0, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 0]], [[2, 0, 2], [0, 2, 2], [2, 2, 1], [2, 1, 2], [1, 2, 1]] -> [[2, 0, 2], [0, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 1]], [[<, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, >], [2, >, >]] -> [[<, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, >], [1, >, >]], [[<, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, >]] -> [[<, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, >]], [[<, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 0]] -> [[<, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 0]], [[<, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 1]] -> [[<, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 1]], [[<, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 2]] -> [[<, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 2]], [[<, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, >]] -> [[<, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, >]], [[<, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 0]] -> [[<, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 0]], [[<, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 1]] -> [[<, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1]], [[<, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 2]] -> [[<, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 2]], [[<, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 0]] -> [[<, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 2], [1, 2, 0]], [[<, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 1]] -> [[<, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 2], [1, 2, 1]], [[<, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, >], [2, >, >]] -> [[<, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, >], [1, >, >]], [[<, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, >]] -> [[<, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, >]], [[<, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 0]] -> [[<, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 0]], [[<, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 1]] -> [[<, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 1]], [[<, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 2]] -> [[<, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 2]], [[<, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, >]] -> [[<, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, >]], [[<, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 0]] -> [[<, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 0]], [[<, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 1]] -> [[<, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1]], [[<, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 2]] -> [[<, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 2]], [[<, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 0]] -> [[<, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 2], [1, 2, 0]], [[<, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 1]] -> [[<, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 2], [1, 2, 1]], [[<, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, >], [2, >, >]] -> [[<, 2, 1], [2, 1, 1], [1, 1, 1], [1, 1, >], [1, >, >]], [[<, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, >]] -> [[<, 2, 1], [2, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, >]], [[<, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 0]] -> [[<, 2, 1], [2, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 0]], [[<, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 1]] -> [[<, 2, 1], [2, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 1]], [[<, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 2]] -> [[<, 2, 1], [2, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 2]], [[<, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, >]] -> [[<, 2, 1], [2, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, >]], [[<, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 0]] -> [[<, 2, 1], [2, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 0]], [[<, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 1]] -> [[<, 2, 1], [2, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1]], [[<, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 2]] -> [[<, 2, 1], [2, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 2]], [[<, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 0]] -> [[<, 2, 1], [2, 1, 1], [1, 1, 1], [1, 1, 2], [1, 2, 0]], [[<, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 1]] -> [[<, 2, 1], [2, 1, 1], [1, 1, 1], [1, 1, 2], [1, 2, 1]], [[0, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, >], [2, >, >]] -> [[0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, >], [1, >, >]], [[0, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, >]] -> [[0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, >]], [[0, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 0]] -> [[0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 0]], [[0, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 1]] -> [[0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 1]], [[0, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 2]] -> [[0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 2]], [[0, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, >]] -> [[0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, >]], [[0, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 0]] -> [[0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 0]], [[0, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 1]] -> [[0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1]], [[0, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 2]] -> [[0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 2]], [[0, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 0]] -> [[0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 2], [1, 2, 0]], [[0, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 1]] -> [[0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 2], [1, 2, 1]], [[0, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, >], [2, >, >]] -> [[0, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, >], [1, >, >]], [[0, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, >]] -> [[0, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, >]], [[0, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 0]] -> [[0, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 0]], [[0, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 1]] -> [[0, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 1]], [[0, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 2]] -> [[0, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 2]], [[0, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, >]] -> [[0, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, >]], [[0, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 0]] -> [[0, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 0]], [[0, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 1]] -> [[0, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1]], [[0, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 2]] -> [[0, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 2]], [[0, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 0]] -> [[0, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 2], [1, 2, 0]], [[0, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 1]] -> [[0, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 2], [1, 2, 1]], [[0, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, >], [2, >, >]] -> [[0, 2, 1], [2, 1, 1], [1, 1, 1], [1, 1, >], [1, >, >]], [[0, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, >]] -> [[0, 2, 1], [2, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, >]], [[0, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 0]] -> [[0, 2, 1], [2, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 0]], [[0, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 1]] -> [[0, 2, 1], [2, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 1]], [[0, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 2]] -> [[0, 2, 1], [2, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 2]], [[0, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, >]] -> [[0, 2, 1], [2, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, >]], [[0, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 0]] -> [[0, 2, 1], [2, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 0]], [[0, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 1]] -> [[0, 2, 1], [2, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1]], [[0, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 2]] -> [[0, 2, 1], [2, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 2]], [[0, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 0]] -> [[0, 2, 1], [2, 1, 1], [1, 1, 1], [1, 1, 2], [1, 2, 0]], [[0, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 1]] -> [[0, 2, 1], [2, 1, 1], [1, 1, 1], [1, 1, 2], [1, 2, 1]], [[1, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, >], [2, >, >]] -> [[1, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, >], [1, >, >]], [[1, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, >]] -> [[1, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, >]], [[1, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 0]] -> [[1, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 0]], [[1, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 1]] -> [[1, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 1]], [[1, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 2]] -> [[1, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 2]], [[1, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, >]] -> [[1, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, >]], [[1, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 0]] -> [[1, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 0]], [[1, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 1]] -> [[1, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1]], [[1, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 2]] -> [[1, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 2]], [[1, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 0]] -> [[1, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 2], [1, 2, 0]], [[1, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 1]] -> [[1, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 2], [1, 2, 1]], [[1, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, >], [2, >, >]] -> [[1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, >], [1, >, >]], [[1, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, >]] -> [[1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, >]], [[1, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 0]] -> [[1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 0]], [[1, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 1]] -> [[1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 1]], [[1, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 2]] -> [[1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 2]], [[1, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, >]] -> [[1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, >]], [[1, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 0]] -> [[1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 0]], [[1, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 1]] -> [[1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1]], [[1, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 2]] -> [[1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 2]], [[1, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 0]] -> [[1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 2], [1, 2, 0]], [[1, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 1]] -> [[1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 2], [1, 2, 1]], [[2, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, >], [2, >, >]] -> [[2, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, >], [1, >, >]], [[2, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, >]] -> [[2, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, >]], [[2, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 0]] -> [[2, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 0]], [[2, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 1]] -> [[2, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 1]], [[2, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 2]] -> [[2, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 2]], [[2, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, >]] -> [[2, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, >]], [[2, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 0]] -> [[2, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 0]], [[2, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 1]] -> [[2, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1]], [[2, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 2]] -> [[2, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 2]], [[2, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 0]] -> [[2, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 2], [1, 2, 0]], [[2, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 1]] -> [[2, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 2], [1, 2, 1]], [[2, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, >], [2, >, >]] -> [[2, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, >], [1, >, >]], [[2, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, >]] -> [[2, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, >]], [[2, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 0]] -> [[2, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 0]], [[2, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 1]] -> [[2, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 1]], [[2, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 2]] -> [[2, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 2]], [[2, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, >]] -> [[2, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, >]], [[2, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 0]] -> [[2, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 0]], [[2, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 1]] -> [[2, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1]], [[2, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 2]] -> [[2, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 2]], [[2, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 0]] -> [[2, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 2], [1, 2, 0]], [[2, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 1]] -> [[2, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 2], [1, 2, 1]], [[<, <, 0], [<, 0, 1], [0, 1, 1], [1, 1, >], [1, >, >]] ->= [[<, <, 1], [<, 1, 2], [1, 2, 1], [2, 1, >], [1, >, >]], [[<, <, 0], [<, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, >]] ->= [[<, <, 1], [<, 1, 2], [1, 2, 1], [2, 1, 0], [1, 0, >]], [[<, <, 0], [<, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0]] ->= [[<, <, 1], [<, 1, 2], [1, 2, 1], [2, 1, 0], [1, 0, 0]], [[<, <, 0], [<, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1]] ->= [[<, <, 1], [<, 1, 2], [1, 2, 1], [2, 1, 0], [1, 0, 1]], [[<, <, 0], [<, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 2]] ->= [[<, <, 1], [<, 1, 2], [1, 2, 1], [2, 1, 0], [1, 0, 2]], [[<, <, 0], [<, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, >]] ->= [[<, <, 1], [<, 1, 2], [1, 2, 1], [2, 1, 1], [1, 1, >]], [[<, <, 0], [<, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 0]] ->= [[<, <, 1], [<, 1, 2], [1, 2, 1], [2, 1, 1], [1, 1, 0]], [[<, <, 0], [<, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1]] ->= [[<, <, 1], [<, 1, 2], [1, 2, 1], [2, 1, 1], [1, 1, 1]], [[<, <, 0], [<, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 2]] ->= [[<, <, 1], [<, 1, 2], [1, 2, 1], [2, 1, 1], [1, 1, 2]], [[<, <, 0], [<, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 0]] ->= [[<, <, 1], [<, 1, 2], [1, 2, 1], [2, 1, 2], [1, 2, 0]], [[<, <, 0], [<, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 1]] ->= [[<, <, 1], [<, 1, 2], [1, 2, 1], [2, 1, 2], [1, 2, 1]], [[<, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, >], [1, >, >]] ->= [[<, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, >], [1, >, >]], [[<, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, >]] ->= [[<, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 0], [1, 0, >]], [[<, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0]] ->= [[<, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 0], [1, 0, 0]], [[<, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1]] ->= [[<, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 0], [1, 0, 1]], [[<, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 2]] ->= [[<, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 0], [1, 0, 2]], [[<, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, >]] ->= [[<, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 1], [1, 1, >]], [[<, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 0]] ->= [[<, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 1], [1, 1, 0]], [[<, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1]] ->= [[<, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 1], [1, 1, 1]], [[<, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 2]] ->= [[<, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 1], [1, 1, 2]], [[<, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 0]] ->= [[<, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 2], [1, 2, 0]], [[<, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 1]] ->= [[<, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 2], [1, 2, 1]], [[0, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, >], [1, >, >]] ->= [[0, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, >], [1, >, >]], [[0, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, >]] ->= [[0, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 0], [1, 0, >]], [[0, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0]] ->= [[0, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 0], [1, 0, 0]], [[0, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1]] ->= [[0, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 0], [1, 0, 1]], [[0, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 2]] ->= [[0, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 0], [1, 0, 2]], [[0, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, >]] ->= [[0, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 1], [1, 1, >]], [[0, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 0]] ->= [[0, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 1], [1, 1, 0]], [[0, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1]] ->= [[0, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 1], [1, 1, 1]], [[0, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 2]] ->= [[0, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 1], [1, 1, 2]], [[0, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 0]] ->= [[0, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 2], [1, 2, 0]], [[0, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 1]] ->= [[0, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 2], [1, 2, 1]], [[0, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, >], [1, >, >]] ->= [[0, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, >], [1, >, >]], [[0, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, >]] ->= [[0, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, 0], [1, 0, >]], [[0, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0]] ->= [[0, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, 0], [1, 0, 0]], [[0, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1]] ->= [[0, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, 0], [1, 0, 1]], [[0, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 2]] ->= [[0, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, 0], [1, 0, 2]], [[0, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, >]] ->= [[0, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, 1], [1, 1, >]], [[0, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 0]] ->= [[0, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, 1], [1, 1, 0]], [[0, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1]] ->= [[0, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, 1], [1, 1, 1]], [[0, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 2]] ->= [[0, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, 1], [1, 1, 2]], [[0, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 0]] ->= [[0, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, 2], [1, 2, 0]], [[0, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 1]] ->= [[0, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, 2], [1, 2, 1]], [[0, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, >], [1, >, >]] ->= [[0, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, >], [1, >, >]], [[0, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, >]] ->= [[0, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, 0], [1, 0, >]], [[0, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0]] ->= [[0, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, 0], [1, 0, 0]], [[0, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1]] ->= [[0, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, 0], [1, 0, 1]], [[0, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 2]] ->= [[0, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, 0], [1, 0, 2]], [[0, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, >]] ->= [[0, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, 1], [1, 1, >]], [[0, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 0]] ->= [[0, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, 1], [1, 1, 0]], [[0, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1]] ->= [[0, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, 1], [1, 1, 1]], [[0, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 2]] ->= [[0, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, 1], [1, 1, 2]], [[0, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 0]] ->= [[0, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, 2], [1, 2, 0]], [[0, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 1]] ->= [[0, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, 2], [1, 2, 1]], [[1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, >], [1, >, >]] ->= [[1, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, >], [1, >, >]], [[1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, >]] ->= [[1, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 0], [1, 0, >]], [[1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0]] ->= [[1, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 0], [1, 0, 0]], [[1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1]] ->= [[1, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 0], [1, 0, 1]], [[1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 2]] ->= [[1, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 0], [1, 0, 2]], [[1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, >]] ->= [[1, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 1], [1, 1, >]], [[1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 0]] ->= [[1, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 1], [1, 1, 0]], [[1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1]] ->= [[1, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 1], [1, 1, 1]], [[1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 2]] ->= [[1, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 1], [1, 1, 2]], [[1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 0]] ->= [[1, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 2], [1, 2, 0]], [[1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 1]] ->= [[1, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 2], [1, 2, 1]], [[1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, >], [1, >, >]] ->= [[1, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, >], [1, >, >]], [[1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, >]] ->= [[1, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, 0], [1, 0, >]], [[1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0]] ->= [[1, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, 0], [1, 0, 0]], [[1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1]] ->= [[1, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, 0], [1, 0, 1]], [[1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 2]] ->= [[1, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, 0], [1, 0, 2]], [[1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, >]] ->= [[1, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, 1], [1, 1, >]], [[1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 0]] ->= [[1, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, 1], [1, 1, 0]], [[1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1]] ->= [[1, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, 1], [1, 1, 1]], [[1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 2]] ->= [[1, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, 1], [1, 1, 2]], [[1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 0]] ->= [[1, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, 2], [1, 2, 0]], [[1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 1]] ->= [[1, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, 2], [1, 2, 1]], [[1, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, >], [1, >, >]] ->= [[1, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, >], [1, >, >]], [[1, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, >]] ->= [[1, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, 0], [1, 0, >]], [[1, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0]] ->= [[1, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, 0], [1, 0, 0]], [[1, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1]] ->= [[1, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, 0], [1, 0, 1]], [[1, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 2]] ->= [[1, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, 0], [1, 0, 2]], [[1, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, >]] ->= [[1, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, 1], [1, 1, >]], [[1, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 0]] ->= [[1, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, 1], [1, 1, 0]], [[1, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1]] ->= [[1, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, 1], [1, 1, 1]], [[1, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 2]] ->= [[1, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, 1], [1, 1, 2]], [[1, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 0]] ->= [[1, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, 2], [1, 2, 0]], [[1, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 1]] ->= [[1, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, 2], [1, 2, 1]], [[2, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, >], [1, >, >]] ->= [[2, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, >], [1, >, >]], [[2, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, >]] ->= [[2, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 0], [1, 0, >]], [[2, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0]] ->= [[2, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 0], [1, 0, 0]], [[2, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1]] ->= [[2, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 0], [1, 0, 1]], [[2, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 2]] ->= [[2, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 0], [1, 0, 2]], [[2, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, >]] ->= [[2, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 1], [1, 1, >]], [[2, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 0]] ->= [[2, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 1], [1, 1, 0]], [[2, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1]] ->= [[2, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 1], [1, 1, 1]], [[2, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 2]] ->= [[2, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 1], [1, 1, 2]], [[2, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 0]] ->= [[2, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 2], [1, 2, 0]], [[2, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 1]] ->= [[2, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 2], [1, 2, 1]], [[2, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, >], [1, >, >]] ->= [[2, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, >], [1, >, >]], [[2, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, >]] ->= [[2, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, 0], [1, 0, >]], [[2, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0]] ->= [[2, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, 0], [1, 0, 0]], [[2, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1]] ->= [[2, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, 0], [1, 0, 1]], [[2, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 2]] ->= [[2, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, 0], [1, 0, 2]], [[2, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, >]] ->= [[2, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, 1], [1, 1, >]], [[2, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 0]] ->= [[2, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, 1], [1, 1, 0]], [[2, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1]] ->= [[2, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, 1], [1, 1, 1]], [[2, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 2]] ->= [[2, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, 1], [1, 1, 2]], [[2, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 0]] ->= [[2, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, 2], [1, 2, 0]], [[2, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 1]] ->= [[2, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, 2], [1, 2, 1]], [[2, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, >], [1, >, >]] ->= [[2, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, >], [1, >, >]], [[2, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, >]] ->= [[2, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, 0], [1, 0, >]], [[2, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0]] ->= [[2, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, 0], [1, 0, 0]], [[2, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1]] ->= [[2, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, 0], [1, 0, 1]], [[2, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 2]] ->= [[2, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, 0], [1, 0, 2]], [[2, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, >]] ->= [[2, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, 1], [1, 1, >]], [[2, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 0]] ->= [[2, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, 1], [1, 1, 0]], [[2, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1]] ->= [[2, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, 1], [1, 1, 1]], [[2, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 2]] ->= [[2, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, 1], [1, 1, 2]], [[2, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 0]] ->= [[2, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, 2], [1, 2, 0]], [[2, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 1]] ->= [[2, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, 2], [1, 2, 1]], [[<, <, 1], [<, 1, 2], [1, 2, 0], [2, 0, >], [0, >, >]] ->= [[<, <, 1], [<, 1, 1], [1, 1, 0], [1, 0, >], [0, >, >]], [[<, <, 1], [<, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, >]] ->= [[<, <, 1], [<, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, >]], [[<, <, 1], [<, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0]] ->= [[<, <, 1], [<, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 0]], [[<, <, 1], [<, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 1]] ->= [[<, <, 1], [<, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1]], [[<, <, 1], [<, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 2]] ->= [[<, <, 1], [<, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 2]], [[<, <, 1], [<, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, >]] ->= [[<, <, 1], [<, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, >]], [[<, <, 1], [<, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, 0]] ->= [[<, <, 1], [<, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 0]], [[<, <, 1], [<, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, 1]] ->= [[<, <, 1], [<, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1]], [[<, <, 1], [<, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, 2]] ->= [[<, <, 1], [<, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 2]], [[<, <, 1], [<, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, >]] ->= [[<, <, 1], [<, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, >]], [[<, <, 1], [<, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0]] ->= [[<, <, 1], [<, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, 0]], [[<, <, 1], [<, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1]] ->= [[<, <, 1], [<, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, 1]], [[<, <, 1], [<, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 2]] ->= [[<, <, 1], [<, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, 2]], [[<, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, >], [0, >, >]] ->= [[<, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, >], [0, >, >]], [[<, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, >]] ->= [[<, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, >]], [[<, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0]] ->= [[<, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 0]], [[<, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 1]] ->= [[<, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1]], [[<, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 2]] ->= [[<, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 2]], [[<, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, >]] ->= [[<, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, >]], [[<, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, 0]] ->= [[<, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 0]], [[<, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, 1]] ->= [[<, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1]], [[<, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, 2]] ->= [[<, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 2]], [[<, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, >]] ->= [[<, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, >]], [[<, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0]] ->= [[<, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, 0]], [[<, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1]] ->= [[<, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, 1]], [[<, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 2]] ->= [[<, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, 2]], [[<, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, >], [0, >, >]] ->= [[<, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, >], [0, >, >]], [[<, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, >]] ->= [[<, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, >]], [[<, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0]] ->= [[<, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 0]], [[<, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 1]] ->= [[<, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1]], [[<, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 2]] ->= [[<, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 2]], [[<, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, >]] ->= [[<, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, >]], [[<, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, 0]] ->= [[<, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 0]], [[<, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, 1]] ->= [[<, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1]], [[<, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, 2]] ->= [[<, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 2]], [[<, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, >]] ->= [[<, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, >]], [[<, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0]] ->= [[<, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, 0]], [[<, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1]] ->= [[<, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, 1]], [[<, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 2]] ->= [[<, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, 2]], [[<, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, >], [0, >, >]] ->= [[<, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, >], [0, >, >]], [[<, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, >]] ->= [[<, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, >]], [[<, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0]] ->= [[<, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 0]], [[<, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 1]] ->= [[<, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1]], [[<, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 2]] ->= [[<, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 2]], [[<, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, >]] ->= [[<, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, >]], [[<, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, 0]] ->= [[<, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 0]], [[<, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, 1]] ->= [[<, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1]], [[<, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, 2]] ->= [[<, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 2]], [[<, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, >]] ->= [[<, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, >]], [[<, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0]] ->= [[<, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, 0]], [[<, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1]] ->= [[<, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, 1]], [[<, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 2]] ->= [[<, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, 2]], [[0, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, >], [0, >, >]] ->= [[0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, >], [0, >, >]], [[0, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, >]] ->= [[0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, >]], [[0, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0]] ->= [[0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 0]], [[0, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 1]] ->= [[0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1]], [[0, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 2]] ->= [[0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 2]], [[0, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, >]] ->= [[0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, >]], [[0, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, 0]] ->= [[0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 0]], [[0, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, 1]] ->= [[0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1]], [[0, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, 2]] ->= [[0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 2]], [[0, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, >]] ->= [[0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, >]], [[0, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0]] ->= [[0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, 0]], [[0, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1]] ->= [[0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, 1]], [[0, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 2]] ->= [[0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, 2]], [[0, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, >], [0, >, >]] ->= [[0, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, >], [0, >, >]], [[0, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, >]] ->= [[0, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, >]], [[0, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0]] ->= [[0, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 0]], [[0, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 1]] ->= [[0, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1]], [[0, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 2]] ->= [[0, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 2]], [[0, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, >]] ->= [[0, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, >]], [[0, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, 0]] ->= [[0, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 0]], [[0, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, 1]] ->= [[0, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1]], [[0, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, 2]] ->= [[0, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 2]], [[0, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, >]] ->= [[0, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, >]], [[0, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0]] ->= [[0, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, 0]], [[0, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1]] ->= [[0, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, 1]], [[0, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 2]] ->= [[0, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, 2]], [[0, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, >], [0, >, >]] ->= [[0, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, >], [0, >, >]], [[0, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, >]] ->= [[0, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, >]], [[0, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0]] ->= [[0, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 0]], [[0, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 1]] ->= [[0, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1]], [[0, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 2]] ->= [[0, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 2]], [[0, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, >]] ->= [[0, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, >]], [[0, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, 0]] ->= [[0, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 0]], [[0, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, 1]] ->= [[0, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1]], [[0, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, 2]] ->= [[0, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 2]], [[0, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, >]] ->= [[0, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, >]], [[0, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0]] ->= [[0, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, 0]], [[0, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1]] ->= [[0, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, 1]], [[0, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 2]] ->= [[0, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, 2]], [[1, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, >], [0, >, >]] ->= [[1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, >], [0, >, >]], [[1, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, >]] ->= [[1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, >]], [[1, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0]] ->= [[1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 0]], [[1, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 1]] ->= [[1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1]], [[1, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 2]] ->= [[1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 2]], [[1, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, >]] ->= [[1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, >]], [[1, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, 0]] ->= [[1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 0]], [[1, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, 1]] ->= [[1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1]], [[1, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, 2]] ->= [[1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 2]], [[1, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, >]] ->= [[1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, >]], [[1, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0]] ->= [[1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, 0]], [[1, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1]] ->= [[1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, 1]], [[1, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 2]] ->= [[1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, 2]], [[1, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, >], [0, >, >]] ->= [[1, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, >], [0, >, >]], [[1, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, >]] ->= [[1, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, >]], [[1, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0]] ->= [[1, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 0]], [[1, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 1]] ->= [[1, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1]], [[1, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 2]] ->= [[1, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 2]], [[1, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, >]] ->= [[1, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, >]], [[1, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, 0]] ->= [[1, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 0]], [[1, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, 1]] ->= [[1, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1]], [[1, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, 2]] ->= [[1, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 2]], [[1, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, >]] ->= [[1, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, >]], [[1, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0]] ->= [[1, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, 0]], [[1, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1]] ->= [[1, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, 1]], [[1, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 2]] ->= [[1, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, 2]], [[1, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, >], [0, >, >]] ->= [[1, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, >], [0, >, >]], [[1, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, >]] ->= [[1, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, >]], [[1, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0]] ->= [[1, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 0]], [[1, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 1]] ->= [[1, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1]], [[1, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 2]] ->= [[1, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 2]], [[1, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, >]] ->= [[1, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, >]], [[1, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, 0]] ->= [[1, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 0]], [[1, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, 1]] ->= [[1, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1]], [[1, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, 2]] ->= [[1, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 2]], [[1, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, >]] ->= [[1, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, >]], [[1, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0]] ->= [[1, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, 0]], [[1, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1]] ->= [[1, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, 1]], [[1, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 2]] ->= [[1, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, 2]], [[2, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, >], [0, >, >]] ->= [[2, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, >], [0, >, >]], [[2, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, >]] ->= [[2, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, >]], [[2, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0]] ->= [[2, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 0]], [[2, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 1]] ->= [[2, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1]], [[2, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 2]] ->= [[2, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 2]], [[2, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, >]] ->= [[2, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, >]], [[2, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, 0]] ->= [[2, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 0]], [[2, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, 1]] ->= [[2, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1]], [[2, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, 2]] ->= [[2, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 2]], [[2, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, >]] ->= [[2, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, >]], [[2, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0]] ->= [[2, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, 0]], [[2, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1]] ->= [[2, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, 1]], [[2, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 2]] ->= [[2, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, 2]], [[2, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, >], [0, >, >]] ->= [[2, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, >], [0, >, >]], [[2, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, >]] ->= [[2, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, >]], [[2, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0]] ->= [[2, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 0]], [[2, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 1]] ->= [[2, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1]], [[2, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 2]] ->= [[2, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 2]], [[2, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, >]] ->= [[2, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, >]], [[2, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, 0]] ->= [[2, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 0]], [[2, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, 1]] ->= [[2, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1]], [[2, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, 2]] ->= [[2, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 2]], [[2, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, >]] ->= [[2, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, >]], [[2, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0]] ->= [[2, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, 0]], [[2, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1]] ->= [[2, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, 1]], [[2, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 2]] ->= [[2, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, 2]], [[2, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, >], [0, >, >]] ->= [[2, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, >], [0, >, >]], [[2, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, >]] ->= [[2, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, >]], [[2, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0]] ->= [[2, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 0]], [[2, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 1]] ->= [[2, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1]], [[2, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 2]] ->= [[2, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 2]], [[2, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, >]] ->= [[2, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, >]], [[2, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, 0]] ->= [[2, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 0]], [[2, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, 1]] ->= [[2, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1]], [[2, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 1], [0, 1, 2]] ->= [[2, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 2]], [[2, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, >]] ->= [[2, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, >]], [[2, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0]] ->= [[2, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, 0]], [[2, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1]] ->= [[2, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, 1]], [[2, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 2]] ->= [[2, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 2], [0, 2, 2]])
2.58/0.75	reason
2.58/0.75	  remap for 664 rules
2.58/0.75	   property Termination
2.58/0.75	has value True
2.80/0.76	for SRS ( [0, 1, 2, 3, 4] -> [0, 5, 6, 7, 8], [0, 1, 2, 9, 10] -> [0, 5, 6, 11, 12], [0, 1, 2, 9, 13] -> [0, 5, 6, 11, 14], [0, 1, 2, 9, 15] -> [0, 5, 6, 11, 16], [0, 1, 2, 9, 17] -> [0, 5, 6, 11, 18], [0, 1, 2, 19, 3] -> [0, 5, 6, 20, 21], [0, 1, 2, 19, 9] -> [0, 5, 6, 20, 22], [0, 1, 2, 19, 19] -> [0, 5, 6, 20, 23], [0, 1, 2, 19, 24] -> [0, 5, 6, 20, 25], [0, 1, 2, 24, 26] -> [0, 5, 6, 27, 28], [0, 1, 2, 24, 29] -> [0, 5, 6, 27, 30], [5, 31, 2, 3, 4] -> [5, 32, 6, 7, 8], [5, 31, 2, 9, 10] -> [5, 32, 6, 11, 12], [5, 31, 2, 9, 13] -> [5, 32, 6, 11, 14], [5, 31, 2, 9, 15] -> [5, 32, 6, 11, 16], [5, 31, 2, 9, 17] -> [5, 32, 6, 11, 18], [5, 31, 2, 19, 3] -> [5, 32, 6, 20, 21], [5, 31, 2, 19, 9] -> [5, 32, 6, 20, 22], [5, 31, 2, 19, 19] -> [5, 32, 6, 20, 23], [5, 31, 2, 19, 24] -> [5, 32, 6, 20, 25], [5, 31, 2, 24, 26] -> [5, 32, 6, 27, 28], [5, 31, 2, 24, 29] -> [5, 32, 6, 27, 30], [32, 31, 2, 3, 4] -> [32, 32, 6, 7, 8], [32, 31, 2, 9, 10] -> [32, 32, 6, 11, 12], [32, 31, 2, 9, 13] -> [32, 32, 6, 11, 14], [32, 31, 2, 9, 15] -> [32, 32, 6, 11, 16], [32, 31, 2, 9, 17] -> [32, 32, 6, 11, 18], [32, 31, 2, 19, 3] -> [32, 32, 6, 20, 21], [32, 31, 2, 19, 9] -> [32, 32, 6, 20, 22], [32, 31, 2, 19, 19] -> [32, 32, 6, 20, 23], [32, 31, 2, 19, 24] -> [32, 32, 6, 20, 25], [32, 31, 2, 24, 26] -> [32, 32, 6, 27, 28], [32, 31, 2, 24, 29] -> [32, 32, 6, 27, 30], [33, 15, 2, 3, 4] -> [33, 13, 6, 7, 8], [33, 15, 2, 9, 10] -> [33, 13, 6, 11, 12], [33, 15, 2, 9, 13] -> [33, 13, 6, 11, 14], [33, 15, 2, 9, 15] -> [33, 13, 6, 11, 16], [33, 15, 2, 9, 17] -> [33, 13, 6, 11, 18], [33, 15, 2, 19, 3] -> [33, 13, 6, 20, 21], [33, 15, 2, 19, 9] -> [33, 13, 6, 20, 22], [33, 15, 2, 19, 19] -> [33, 13, 6, 20, 23], [33, 15, 2, 19, 24] -> [33, 13, 6, 20, 25], [33, 15, 2, 24, 26] -> [33, 13, 6, 27, 28], [33, 15, 2, 24, 29] -> [33, 13, 6, 27, 30], [11, 16, 2, 3, 4] -> [11, 14, 6, 7, 8], [11, 16, 2, 9, 10] -> [11, 14, 6, 11, 12], [11, 16, 2, 9, 13] -> [11, 14, 6, 11, 14], [11, 16, 2, 9, 15] -> [11, 14, 6, 11, 16], [11, 16, 2, 9, 17] -> [11, 14, 6, 11, 18], [11, 16, 2, 19, 3] -> [11, 14, 6, 20, 21], [11, 16, 2, 19, 9] -> [11, 14, 6, 20, 22], [11, 16, 2, 19, 19] -> [11, 14, 6, 20, 23], [11, 16, 2, 19, 24] -> [11, 14, 6, 20, 25], [11, 16, 2, 24, 26] -> [11, 14, 6, 27, 28], [11, 16, 2, 24, 29] -> [11, 14, 6, 27, 30], [13, 31, 2, 3, 4] -> [13, 32, 6, 7, 8], [13, 31, 2, 9, 10] -> [13, 32, 6, 11, 12], [13, 31, 2, 9, 13] -> [13, 32, 6, 11, 14], [13, 31, 2, 9, 15] -> [13, 32, 6, 11, 16], [13, 31, 2, 9, 17] -> [13, 32, 6, 11, 18], [13, 31, 2, 19, 3] -> [13, 32, 6, 20, 21], [13, 31, 2, 19, 9] -> [13, 32, 6, 20, 22], [13, 31, 2, 19, 19] -> [13, 32, 6, 20, 23], [13, 31, 2, 19, 24] -> [13, 32, 6, 20, 25], [13, 31, 2, 24, 26] -> [13, 32, 6, 27, 28], [13, 31, 2, 24, 29] -> [13, 32, 6, 27, 30], [9, 15, 2, 3, 4] -> [9, 13, 6, 7, 8], [9, 15, 2, 9, 10] -> [9, 13, 6, 11, 12], [9, 15, 2, 9, 13] -> [9, 13, 6, 11, 14], [9, 15, 2, 9, 15] -> [9, 13, 6, 11, 16], [9, 15, 2, 9, 17] -> [9, 13, 6, 11, 18], [9, 15, 2, 19, 3] -> [9, 13, 6, 20, 21], [9, 15, 2, 19, 9] -> [9, 13, 6, 20, 22], [9, 15, 2, 19, 19] -> [9, 13, 6, 20, 23], [9, 15, 2, 19, 24] -> [9, 13, 6, 20, 25], [9, 15, 2, 24, 26] -> [9, 13, 6, 27, 28], [9, 15, 2, 24, 29] -> [9, 13, 6, 27, 30], [26, 16, 2, 3, 4] -> [26, 14, 6, 7, 8], [26, 16, 2, 9, 10] -> [26, 14, 6, 11, 12], [26, 16, 2, 9, 13] -> [26, 14, 6, 11, 14], [26, 16, 2, 9, 15] -> [26, 14, 6, 11, 16], [26, 16, 2, 9, 17] -> [26, 14, 6, 11, 18], [26, 16, 2, 19, 3] -> [26, 14, 6, 20, 21], [26, 16, 2, 19, 9] -> [26, 14, 6, 20, 22], [26, 16, 2, 19, 19] -> [26, 14, 6, 20, 23], [26, 16, 2, 19, 24] -> [26, 14, 6, 20, 25], [26, 16, 2, 24, 26] -> [26, 14, 6, 27, 28], [26, 16, 2, 24, 29] -> [26, 14, 6, 27, 30], [14, 31, 2, 3, 4] -> [14, 32, 6, 7, 8], [14, 31, 2, 9, 10] -> [14, 32, 6, 11, 12], [14, 31, 2, 9, 13] -> [14, 32, 6, 11, 14], [14, 31, 2, 9, 15] -> [14, 32, 6, 11, 16], [14, 31, 2, 9, 17] -> [14, 32, 6, 11, 18], [14, 31, 2, 19, 3] -> [14, 32, 6, 20, 21], [14, 31, 2, 19, 9] -> [14, 32, 6, 20, 22], [14, 31, 2, 19, 19] -> [14, 32, 6, 20, 23], [14, 31, 2, 19, 24] -> [14, 32, 6, 20, 25], [14, 31, 2, 24, 26] -> [14, 32, 6, 27, 28], [14, 31, 2, 24, 29] -> [14, 32, 6, 27, 30], [22, 15, 2, 3, 4] -> [22, 13, 6, 7, 8], [22, 15, 2, 9, 10] -> [22, 13, 6, 11, 12], [22, 15, 2, 9, 13] -> [22, 13, 6, 11, 14], [22, 15, 2, 9, 15] -> [22, 13, 6, 11, 16], [22, 15, 2, 9, 17] -> [22, 13, 6, 11, 18], [22, 15, 2, 19, 3] -> [22, 13, 6, 20, 21], [22, 15, 2, 19, 9] -> [22, 13, 6, 20, 22], [22, 15, 2, 19, 19] -> [22, 13, 6, 20, 23], [22, 15, 2, 19, 24] -> [22, 13, 6, 20, 25], [22, 15, 2, 24, 26] -> [22, 13, 6, 27, 28], [22, 15, 2, 24, 29] -> [22, 13, 6, 27, 30], [28, 16, 2, 3, 4] -> [28, 14, 6, 7, 8], [28, 16, 2, 9, 10] -> [28, 14, 6, 11, 12], [28, 16, 2, 9, 13] -> [28, 14, 6, 11, 14], [28, 16, 2, 9, 15] -> [28, 14, 6, 11, 16], [28, 16, 2, 9, 17] -> [28, 14, 6, 11, 18], [28, 16, 2, 19, 3] -> [28, 14, 6, 20, 21], [28, 16, 2, 19, 9] -> [28, 14, 6, 20, 22], [28, 16, 2, 19, 19] -> [28, 14, 6, 20, 23], [28, 16, 2, 19, 24] -> [28, 14, 6, 20, 25], [28, 16, 2, 24, 26] -> [28, 14, 6, 27, 28], [28, 16, 2, 24, 29] -> [28, 14, 6, 27, 30], [0, 1, 34, 26, 12] -> [0, 35, 20, 22, 10], [0, 1, 34, 26, 14] -> [0, 35, 20, 22, 13], [0, 1, 34, 26, 16] -> [0, 35, 20, 22, 15], [0, 1, 34, 26, 18] -> [0, 35, 20, 22, 17], [0, 1, 34, 29, 21] -> [0, 35, 20, 23, 3], [0, 1, 34, 29, 22] -> [0, 35, 20, 23, 9], [0, 1, 34, 29, 23] -> [0, 35, 20, 23, 19], [0, 1, 34, 29, 25] -> [0, 35, 20, 23, 24], [5, 31, 34, 26, 12] -> [5, 6, 20, 22, 10], [5, 31, 34, 26, 14] -> [5, 6, 20, 22, 13], [5, 31, 34, 26, 16] -> [5, 6, 20, 22, 15], [5, 31, 34, 26, 18] -> [5, 6, 20, 22, 17], [5, 31, 34, 29, 21] -> [5, 6, 20, 23, 3], [5, 31, 34, 29, 22] -> [5, 6, 20, 23, 9], [5, 31, 34, 29, 23] -> [5, 6, 20, 23, 19], [5, 31, 34, 29, 25] -> [5, 6, 20, 23, 24], [32, 31, 34, 26, 12] -> [32, 6, 20, 22, 10], [32, 31, 34, 26, 14] -> [32, 6, 20, 22, 13], [32, 31, 34, 26, 16] -> [32, 6, 20, 22, 15], [32, 31, 34, 26, 18] -> [32, 6, 20, 22, 17], [32, 31, 34, 29, 21] -> [32, 6, 20, 23, 3], [32, 31, 34, 29, 22] -> [32, 6, 20, 23, 9], [32, 31, 34, 29, 23] -> [32, 6, 20, 23, 19], [32, 31, 34, 29, 25] -> [32, 6, 20, 23, 24], [33, 15, 34, 26, 12] -> [33, 17, 20, 22, 10], [33, 15, 34, 26, 14] -> [33, 17, 20, 22, 13], [33, 15, 34, 26, 16] -> [33, 17, 20, 22, 15], [33, 15, 34, 26, 18] -> [33, 17, 20, 22, 17], [33, 15, 34, 29, 21] -> [33, 17, 20, 23, 3], [33, 15, 34, 29, 22] -> [33, 17, 20, 23, 9], [33, 15, 34, 29, 23] -> [33, 17, 20, 23, 19], [33, 15, 34, 29, 25] -> [33, 17, 20, 23, 24], [11, 16, 34, 26, 12] -> [11, 18, 20, 22, 10], [11, 16, 34, 26, 14] -> [11, 18, 20, 22, 13], [11, 16, 34, 26, 16] -> [11, 18, 20, 22, 15], [11, 16, 34, 26, 18] -> [11, 18, 20, 22, 17], [11, 16, 34, 29, 21] -> [11, 18, 20, 23, 3], [11, 16, 34, 29, 22] -> [11, 18, 20, 23, 9], [11, 16, 34, 29, 23] -> [11, 18, 20, 23, 19], [11, 16, 34, 29, 25] -> [11, 18, 20, 23, 24], [13, 31, 34, 26, 12] -> [13, 6, 20, 22, 10], [13, 31, 34, 26, 14] -> [13, 6, 20, 22, 13], [13, 31, 34, 26, 16] -> [13, 6, 20, 22, 15], [13, 31, 34, 26, 18] -> [13, 6, 20, 22, 17], [13, 31, 34, 29, 21] -> [13, 6, 20, 23, 3], [13, 31, 34, 29, 22] -> [13, 6, 20, 23, 9], [13, 31, 34, 29, 23] -> [13, 6, 20, 23, 19], [13, 31, 34, 29, 25] -> [13, 6, 20, 23, 24], [9, 15, 34, 26, 12] -> [9, 17, 20, 22, 10], [9, 15, 34, 26, 14] -> [9, 17, 20, 22, 13], [9, 15, 34, 26, 16] -> [9, 17, 20, 22, 15], [9, 15, 34, 26, 18] -> [9, 17, 20, 22, 17], [9, 15, 34, 29, 21] -> [9, 17, 20, 23, 3], [9, 15, 34, 29, 22] -> [9, 17, 20, 23, 9], [9, 15, 34, 29, 23] -> [9, 17, 20, 23, 19], [9, 15, 34, 29, 25] -> [9, 17, 20, 23, 24], [26, 16, 34, 26, 12] -> [26, 18, 20, 22, 10], [26, 16, 34, 26, 14] -> [26, 18, 20, 22, 13], [26, 16, 34, 26, 16] -> [26, 18, 20, 22, 15], [26, 16, 34, 26, 18] -> [26, 18, 20, 22, 17], [26, 16, 34, 29, 21] -> [26, 18, 20, 23, 3], [26, 16, 34, 29, 22] -> [26, 18, 20, 23, 9], [26, 16, 34, 29, 23] -> [26, 18, 20, 23, 19], [26, 16, 34, 29, 25] -> [26, 18, 20, 23, 24], [14, 31, 34, 26, 12] -> [14, 6, 20, 22, 10], [14, 31, 34, 26, 14] -> [14, 6, 20, 22, 13], [14, 31, 34, 26, 16] -> [14, 6, 20, 22, 15], [14, 31, 34, 26, 18] -> [14, 6, 20, 22, 17], [14, 31, 34, 29, 21] -> [14, 6, 20, 23, 3], [14, 31, 34, 29, 22] -> [14, 6, 20, 23, 9], [14, 31, 34, 29, 23] -> [14, 6, 20, 23, 19], [14, 31, 34, 29, 25] -> [14, 6, 20, 23, 24], [22, 15, 34, 26, 12] -> [22, 17, 20, 22, 10], [22, 15, 34, 26, 14] -> [22, 17, 20, 22, 13], [22, 15, 34, 26, 16] -> [22, 17, 20, 22, 15], [22, 15, 34, 26, 18] -> [22, 17, 20, 22, 17], [22, 15, 34, 29, 21] -> [22, 17, 20, 23, 3], [22, 15, 34, 29, 22] -> [22, 17, 20, 23, 9], [22, 15, 34, 29, 23] -> [22, 17, 20, 23, 19], [22, 15, 34, 29, 25] -> [22, 17, 20, 23, 24], [28, 16, 34, 26, 12] -> [28, 18, 20, 22, 10], [28, 16, 34, 26, 14] -> [28, 18, 20, 22, 13], [28, 16, 34, 26, 16] -> [28, 18, 20, 22, 15], [28, 16, 34, 26, 18] -> [28, 18, 20, 22, 17], [28, 16, 34, 29, 21] -> [28, 18, 20, 23, 3], [28, 16, 34, 29, 22] -> [28, 18, 20, 23, 9], [28, 16, 34, 29, 23] -> [28, 18, 20, 23, 19], [28, 16, 34, 29, 25] -> [28, 18, 20, 23, 24], [36, 37, 30, 21, 4] -> [36, 37, 28, 12, 38], [36, 37, 30, 22, 10] -> [36, 37, 28, 14, 39], [36, 37, 30, 22, 13] -> [36, 37, 28, 14, 32], [36, 37, 30, 22, 15] -> [36, 37, 28, 14, 31], [36, 37, 30, 22, 17] -> [36, 37, 28, 14, 6], [36, 37, 30, 23, 3] -> [36, 37, 28, 16, 40], [36, 37, 30, 23, 9] -> [36, 37, 28, 16, 33], [36, 37, 30, 23, 19] -> [36, 37, 28, 16, 2], [36, 37, 30, 23, 24] -> [36, 37, 28, 16, 34], [36, 37, 30, 25, 26] -> [36, 37, 28, 18, 11], [36, 37, 30, 25, 29] -> [36, 37, 28, 18, 20], [35, 27, 30, 21, 4] -> [35, 27, 28, 12, 38], [35, 27, 30, 22, 10] -> [35, 27, 28, 14, 39], [35, 27, 30, 22, 13] -> [35, 27, 28, 14, 32], [35, 27, 30, 22, 15] -> [35, 27, 28, 14, 31], [35, 27, 30, 22, 17] -> [35, 27, 28, 14, 6], [35, 27, 30, 23, 3] -> [35, 27, 28, 16, 40], [35, 27, 30, 23, 9] -> [35, 27, 28, 16, 33], [35, 27, 30, 23, 19] -> [35, 27, 28, 16, 2], [35, 27, 30, 23, 24] -> [35, 27, 28, 16, 34], [35, 27, 30, 25, 26] -> [35, 27, 28, 18, 11], [35, 27, 30, 25, 29] -> [35, 27, 28, 18, 20], [6, 27, 30, 21, 4] -> [6, 27, 28, 12, 38], [6, 27, 30, 22, 10] -> [6, 27, 28, 14, 39], [6, 27, 30, 22, 13] -> [6, 27, 28, 14, 32], [6, 27, 30, 22, 15] -> [6, 27, 28, 14, 31], [6, 27, 30, 22, 17] -> [6, 27, 28, 14, 6], [6, 27, 30, 23, 3] -> [6, 27, 28, 16, 40], [6, 27, 30, 23, 9] -> [6, 27, 28, 16, 33], [6, 27, 30, 23, 19] -> [6, 27, 28, 16, 2], [6, 27, 30, 23, 24] -> [6, 27, 28, 16, 34], [6, 27, 30, 25, 26] -> [6, 27, 28, 18, 11], [6, 27, 30, 25, 29] -> [6, 27, 28, 18, 20], [17, 27, 30, 21, 4] -> [17, 27, 28, 12, 38], [17, 27, 30, 22, 10] -> [17, 27, 28, 14, 39], [17, 27, 30, 22, 13] -> [17, 27, 28, 14, 32], [17, 27, 30, 22, 15] -> [17, 27, 28, 14, 31], [17, 27, 30, 22, 17] -> [17, 27, 28, 14, 6], [17, 27, 30, 23, 3] -> [17, 27, 28, 16, 40], [17, 27, 30, 23, 9] -> [17, 27, 28, 16, 33], [17, 27, 30, 23, 19] -> [17, 27, 28, 16, 2], [17, 27, 30, 23, 24] -> [17, 27, 28, 16, 34], [17, 27, 30, 25, 26] -> [17, 27, 28, 18, 11], [17, 27, 30, 25, 29] -> [17, 27, 28, 18, 20], [18, 27, 30, 21, 4] -> [18, 27, 28, 12, 38], [18, 27, 30, 22, 10] -> [18, 27, 28, 14, 39], [18, 27, 30, 22, 13] -> [18, 27, 28, 14, 32], [18, 27, 30, 22, 15] -> [18, 27, 28, 14, 31], [18, 27, 30, 22, 17] -> [18, 27, 28, 14, 6], [18, 27, 30, 23, 3] -> [18, 27, 28, 16, 40], [18, 27, 30, 23, 9] -> [18, 27, 28, 16, 33], [18, 27, 30, 23, 19] -> [18, 27, 28, 16, 2], [18, 27, 30, 23, 24] -> [18, 27, 28, 16, 34], [18, 27, 30, 25, 26] -> [18, 27, 28, 18, 11], [18, 27, 30, 25, 29] -> [18, 27, 28, 18, 20], [35, 11, 18, 7, 8] -> [1, 2, 19, 3, 4], [35, 11, 18, 11, 12] -> [1, 2, 19, 9, 10], [35, 11, 18, 11, 14] -> [1, 2, 19, 9, 13], [35, 11, 18, 11, 16] -> [1, 2, 19, 9, 15], [35, 11, 18, 11, 18] -> [1, 2, 19, 9, 17], [35, 11, 18, 20, 21] -> [1, 2, 19, 19, 3], [35, 11, 18, 20, 22] -> [1, 2, 19, 19, 9], [35, 11, 18, 20, 23] -> [1, 2, 19, 19, 19], [35, 11, 18, 20, 25] -> [1, 2, 19, 19, 24], [35, 11, 18, 27, 28] -> [1, 2, 19, 24, 26], [35, 11, 18, 27, 30] -> [1, 2, 19, 24, 29], [41, 26, 18, 7, 8] -> [42, 19, 19, 3, 4], [41, 26, 18, 11, 12] -> [42, 19, 19, 9, 10], [41, 26, 18, 11, 14] -> [42, 19, 19, 9, 13], [41, 26, 18, 11, 16] -> [42, 19, 19, 9, 15], [41, 26, 18, 11, 18] -> [42, 19, 19, 9, 17], [41, 26, 18, 20, 21] -> [42, 19, 19, 19, 3], [41, 26, 18, 20, 22] -> [42, 19, 19, 19, 9], [41, 26, 18, 20, 23] -> [42, 19, 19, 19, 19], [41, 26, 18, 20, 25] -> [42, 19, 19, 19, 24], [41, 26, 18, 27, 28] -> [42, 19, 19, 24, 26], [41, 26, 18, 27, 30] -> [42, 19, 19, 24, 29], [37, 28, 18, 7, 8] -> [43, 23, 19, 3, 4], [37, 28, 18, 11, 12] -> [43, 23, 19, 9, 10], [37, 28, 18, 11, 14] -> [43, 23, 19, 9, 13], [37, 28, 18, 11, 16] -> [43, 23, 19, 9, 15], [37, 28, 18, 11, 18] -> [43, 23, 19, 9, 17], [37, 28, 18, 20, 21] -> [43, 23, 19, 19, 3], [37, 28, 18, 20, 22] -> [43, 23, 19, 19, 9], [37, 28, 18, 20, 23] -> [43, 23, 19, 19, 19], [37, 28, 18, 20, 25] -> [43, 23, 19, 19, 24], [37, 28, 18, 27, 28] -> [43, 23, 19, 24, 26], [37, 28, 18, 27, 30] -> [43, 23, 19, 24, 29], [6, 11, 18, 7, 8] -> [31, 2, 19, 3, 4], [6, 11, 18, 11, 12] -> [31, 2, 19, 9, 10], [6, 11, 18, 11, 14] -> [31, 2, 19, 9, 13], [6, 11, 18, 11, 16] -> [31, 2, 19, 9, 15], [6, 11, 18, 11, 18] -> [31, 2, 19, 9, 17], [6, 11, 18, 20, 21] -> [31, 2, 19, 19, 3], [6, 11, 18, 20, 22] -> [31, 2, 19, 19, 9], [6, 11, 18, 20, 23] -> [31, 2, 19, 19, 19], [6, 11, 18, 20, 25] -> [31, 2, 19, 19, 24], [6, 11, 18, 27, 28] -> [31, 2, 19, 24, 26], [6, 11, 18, 27, 30] -> [31, 2, 19, 24, 29], [34, 26, 18, 7, 8] -> [2, 19, 19, 3, 4], [34, 26, 18, 11, 12] -> [2, 19, 19, 9, 10], [34, 26, 18, 11, 14] -> [2, 19, 19, 9, 13], [34, 26, 18, 11, 16] -> [2, 19, 19, 9, 15], [34, 26, 18, 11, 18] -> [2, 19, 19, 9, 17], [34, 26, 18, 20, 21] -> [2, 19, 19, 19, 3], [34, 26, 18, 20, 22] -> [2, 19, 19, 19, 9], [34, 26, 18, 20, 23] -> [2, 19, 19, 19, 19], [34, 26, 18, 20, 25] -> [2, 19, 19, 19, 24], [34, 26, 18, 27, 28] -> [2, 19, 19, 24, 26], [34, 26, 18, 27, 30] -> [2, 19, 19, 24, 29], [27, 28, 18, 7, 8] -> [20, 23, 19, 3, 4], [27, 28, 18, 11, 12] -> [20, 23, 19, 9, 10], [27, 28, 18, 11, 14] -> [20, 23, 19, 9, 13], [27, 28, 18, 11, 16] -> [20, 23, 19, 9, 15], [27, 28, 18, 11, 18] -> [20, 23, 19, 9, 17], [27, 28, 18, 20, 21] -> [20, 23, 19, 19, 3], [27, 28, 18, 20, 22] -> [20, 23, 19, 19, 9], [27, 28, 18, 20, 23] -> [20, 23, 19, 19, 19], [27, 28, 18, 20, 25] -> [20, 23, 19, 19, 24], [27, 28, 18, 27, 28] -> [20, 23, 19, 24, 26], [27, 28, 18, 27, 30] -> [20, 23, 19, 24, 29], [17, 11, 18, 7, 8] -> [15, 2, 19, 3, 4], [17, 11, 18, 11, 12] -> [15, 2, 19, 9, 10], [17, 11, 18, 11, 14] -> [15, 2, 19, 9, 13], [17, 11, 18, 11, 16] -> [15, 2, 19, 9, 15], [17, 11, 18, 11, 18] -> [15, 2, 19, 9, 17], [17, 11, 18, 20, 21] -> [15, 2, 19, 19, 3], [17, 11, 18, 20, 22] -> [15, 2, 19, 19, 9], [17, 11, 18, 20, 23] -> [15, 2, 19, 19, 19], [17, 11, 18, 20, 25] -> [15, 2, 19, 19, 24], [17, 11, 18, 27, 28] -> [15, 2, 19, 24, 26], [17, 11, 18, 27, 30] -> [15, 2, 19, 24, 29], [24, 26, 18, 7, 8] -> [19, 19, 19, 3, 4], [24, 26, 18, 11, 12] -> [19, 19, 19, 9, 10], [24, 26, 18, 11, 14] -> [19, 19, 19, 9, 13], [24, 26, 18, 11, 16] -> [19, 19, 19, 9, 15], [24, 26, 18, 11, 18] -> [19, 19, 19, 9, 17], [24, 26, 18, 20, 21] -> [19, 19, 19, 19, 3], [24, 26, 18, 20, 22] -> [19, 19, 19, 19, 9], [24, 26, 18, 20, 23] -> [19, 19, 19, 19, 19], [24, 26, 18, 20, 25] -> [19, 19, 19, 19, 24], [24, 26, 18, 27, 28] -> [19, 19, 19, 24, 26], [24, 26, 18, 27, 30] -> [19, 19, 19, 24, 29], [18, 11, 18, 7, 8] -> [16, 2, 19, 3, 4], [18, 11, 18, 11, 12] -> [16, 2, 19, 9, 10], [18, 11, 18, 11, 14] -> [16, 2, 19, 9, 13], [18, 11, 18, 11, 16] -> [16, 2, 19, 9, 15], [18, 11, 18, 11, 18] -> [16, 2, 19, 9, 17], [18, 11, 18, 20, 21] -> [16, 2, 19, 19, 3], [18, 11, 18, 20, 22] -> [16, 2, 19, 19, 9], [18, 11, 18, 20, 23] -> [16, 2, 19, 19, 19], [18, 11, 18, 20, 25] -> [16, 2, 19, 19, 24], [18, 11, 18, 27, 28] -> [16, 2, 19, 24, 26], [18, 11, 18, 27, 30] -> [16, 2, 19, 24, 29], [25, 26, 18, 7, 8] -> [23, 19, 19, 3, 4], [25, 26, 18, 11, 12] -> [23, 19, 19, 9, 10], [25, 26, 18, 11, 14] -> [23, 19, 19, 9, 13], [25, 26, 18, 11, 16] -> [23, 19, 19, 9, 15], [25, 26, 18, 11, 18] -> [23, 19, 19, 9, 17], [25, 26, 18, 20, 21] -> [23, 19, 19, 19, 3], [25, 26, 18, 20, 22] -> [23, 19, 19, 19, 9], [25, 26, 18, 20, 23] -> [23, 19, 19, 19, 19], [25, 26, 18, 20, 25] -> [23, 19, 19, 19, 24], [25, 26, 18, 27, 28] -> [23, 19, 19, 24, 26], [25, 26, 18, 27, 30] -> [23, 19, 19, 24, 29], [0, 1, 2, 3, 4] ->= [44, 41, 29, 21, 4], [0, 1, 2, 9, 10] ->= [44, 41, 29, 22, 10], [0, 1, 2, 9, 13] ->= [44, 41, 29, 22, 13], [0, 1, 2, 9, 15] ->= [44, 41, 29, 22, 15], [0, 1, 2, 9, 17] ->= [44, 41, 29, 22, 17], [0, 1, 2, 19, 3] ->= [44, 41, 29, 23, 3], [0, 1, 2, 19, 9] ->= [44, 41, 29, 23, 9], [0, 1, 2, 19, 19] ->= [44, 41, 29, 23, 19], [0, 1, 2, 19, 24] ->= [44, 41, 29, 23, 24], [0, 1, 2, 24, 26] ->= [44, 41, 29, 25, 26], [0, 1, 2, 24, 29] ->= [44, 41, 29, 25, 29], [5, 31, 2, 3, 4] ->= [1, 34, 29, 21, 4], [5, 31, 2, 9, 10] ->= [1, 34, 29, 22, 10], [5, 31, 2, 9, 13] ->= [1, 34, 29, 22, 13], [5, 31, 2, 9, 15] ->= [1, 34, 29, 22, 15], [5, 31, 2, 9, 17] ->= [1, 34, 29, 22, 17], [5, 31, 2, 19, 3] ->= [1, 34, 29, 23, 3], [5, 31, 2, 19, 9] ->= [1, 34, 29, 23, 9], [5, 31, 2, 19, 19] ->= [1, 34, 29, 23, 19], [5, 31, 2, 19, 24] ->= [1, 34, 29, 23, 24], [5, 31, 2, 24, 26] ->= [1, 34, 29, 25, 26], [5, 31, 2, 24, 29] ->= [1, 34, 29, 25, 29], [32, 31, 2, 3, 4] ->= [31, 34, 29, 21, 4], [32, 31, 2, 9, 10] ->= [31, 34, 29, 22, 10], [32, 31, 2, 9, 13] ->= [31, 34, 29, 22, 13], [32, 31, 2, 9, 15] ->= [31, 34, 29, 22, 15], [32, 31, 2, 9, 17] ->= [31, 34, 29, 22, 17], [32, 31, 2, 19, 3] ->= [31, 34, 29, 23, 3], [32, 31, 2, 19, 9] ->= [31, 34, 29, 23, 9], [32, 31, 2, 19, 19] ->= [31, 34, 29, 23, 19], [32, 31, 2, 19, 24] ->= [31, 34, 29, 23, 24], [32, 31, 2, 24, 26] ->= [31, 34, 29, 25, 26], [32, 31, 2, 24, 29] ->= [31, 34, 29, 25, 29], [33, 15, 2, 3, 4] ->= [2, 24, 29, 21, 4], [33, 15, 2, 9, 10] ->= [2, 24, 29, 22, 10], [33, 15, 2, 9, 13] ->= [2, 24, 29, 22, 13], [33, 15, 2, 9, 15] ->= [2, 24, 29, 22, 15], [33, 15, 2, 9, 17] ->= [2, 24, 29, 22, 17], [33, 15, 2, 19, 3] ->= [2, 24, 29, 23, 3], [33, 15, 2, 19, 9] ->= [2, 24, 29, 23, 9], [33, 15, 2, 19, 19] ->= [2, 24, 29, 23, 19], [33, 15, 2, 19, 24] ->= [2, 24, 29, 23, 24], [33, 15, 2, 24, 26] ->= [2, 24, 29, 25, 26], [33, 15, 2, 24, 29] ->= [2, 24, 29, 25, 29], [11, 16, 2, 3, 4] ->= [20, 25, 29, 21, 4], [11, 16, 2, 9, 10] ->= [20, 25, 29, 22, 10], [11, 16, 2, 9, 13] ->= [20, 25, 29, 22, 13], [11, 16, 2, 9, 15] ->= [20, 25, 29, 22, 15], [11, 16, 2, 9, 17] ->= [20, 25, 29, 22, 17], [11, 16, 2, 19, 3] ->= [20, 25, 29, 23, 3], [11, 16, 2, 19, 9] ->= [20, 25, 29, 23, 9], [11, 16, 2, 19, 19] ->= [20, 25, 29, 23, 19], [11, 16, 2, 19, 24] ->= [20, 25, 29, 23, 24], [11, 16, 2, 24, 26] ->= [20, 25, 29, 25, 26], [11, 16, 2, 24, 29] ->= [20, 25, 29, 25, 29], [13, 31, 2, 3, 4] ->= [15, 34, 29, 21, 4], [13, 31, 2, 9, 10] ->= [15, 34, 29, 22, 10], [13, 31, 2, 9, 13] ->= [15, 34, 29, 22, 13], [13, 31, 2, 9, 15] ->= [15, 34, 29, 22, 15], [13, 31, 2, 9, 17] ->= [15, 34, 29, 22, 17], [13, 31, 2, 19, 3] ->= [15, 34, 29, 23, 3], [13, 31, 2, 19, 9] ->= [15, 34, 29, 23, 9], [13, 31, 2, 19, 19] ->= [15, 34, 29, 23, 19], [13, 31, 2, 19, 24] ->= [15, 34, 29, 23, 24], [13, 31, 2, 24, 26] ->= [15, 34, 29, 25, 26], [13, 31, 2, 24, 29] ->= [15, 34, 29, 25, 29], [9, 15, 2, 3, 4] ->= [19, 24, 29, 21, 4], [9, 15, 2, 9, 10] ->= [19, 24, 29, 22, 10], [9, 15, 2, 9, 13] ->= [19, 24, 29, 22, 13], [9, 15, 2, 9, 15] ->= [19, 24, 29, 22, 15], [9, 15, 2, 9, 17] ->= [19, 24, 29, 22, 17], [9, 15, 2, 19, 3] ->= [19, 24, 29, 23, 3], [9, 15, 2, 19, 9] ->= [19, 24, 29, 23, 9], [9, 15, 2, 19, 19] ->= [19, 24, 29, 23, 19], [9, 15, 2, 19, 24] ->= [19, 24, 29, 23, 24], [9, 15, 2, 24, 26] ->= [19, 24, 29, 25, 26], [9, 15, 2, 24, 29] ->= [19, 24, 29, 25, 29], [26, 16, 2, 3, 4] ->= [29, 25, 29, 21, 4], [26, 16, 2, 9, 10] ->= [29, 25, 29, 22, 10], [26, 16, 2, 9, 13] ->= [29, 25, 29, 22, 13], [26, 16, 2, 9, 15] ->= [29, 25, 29, 22, 15], [26, 16, 2, 9, 17] ->= [29, 25, 29, 22, 17], [26, 16, 2, 19, 3] ->= [29, 25, 29, 23, 3], [26, 16, 2, 19, 9] ->= [29, 25, 29, 23, 9], [26, 16, 2, 19, 19] ->= [29, 25, 29, 23, 19], [26, 16, 2, 19, 24] ->= [29, 25, 29, 23, 24], [26, 16, 2, 24, 26] ->= [29, 25, 29, 25, 26], [26, 16, 2, 24, 29] ->= [29, 25, 29, 25, 29], [14, 31, 2, 3, 4] ->= [16, 34, 29, 21, 4], [14, 31, 2, 9, 10] ->= [16, 34, 29, 22, 10], [14, 31, 2, 9, 13] ->= [16, 34, 29, 22, 13], [14, 31, 2, 9, 15] ->= [16, 34, 29, 22, 15], [14, 31, 2, 9, 17] ->= [16, 34, 29, 22, 17], [14, 31, 2, 19, 3] ->= [16, 34, 29, 23, 3], [14, 31, 2, 19, 9] ->= [16, 34, 29, 23, 9], [14, 31, 2, 19, 19] ->= [16, 34, 29, 23, 19], [14, 31, 2, 19, 24] ->= [16, 34, 29, 23, 24], [14, 31, 2, 24, 26] ->= [16, 34, 29, 25, 26], [14, 31, 2, 24, 29] ->= [16, 34, 29, 25, 29], [22, 15, 2, 3, 4] ->= [23, 24, 29, 21, 4], [22, 15, 2, 9, 10] ->= [23, 24, 29, 22, 10], [22, 15, 2, 9, 13] ->= [23, 24, 29, 22, 13], [22, 15, 2, 9, 15] ->= [23, 24, 29, 22, 15], [22, 15, 2, 9, 17] ->= [23, 24, 29, 22, 17], [22, 15, 2, 19, 3] ->= [23, 24, 29, 23, 3], [22, 15, 2, 19, 9] ->= [23, 24, 29, 23, 9], [22, 15, 2, 19, 19] ->= [23, 24, 29, 23, 19], [22, 15, 2, 19, 24] ->= [23, 24, 29, 23, 24], [22, 15, 2, 24, 26] ->= [23, 24, 29, 25, 26], [22, 15, 2, 24, 29] ->= [23, 24, 29, 25, 29], [28, 16, 2, 3, 4] ->= [30, 25, 29, 21, 4], [28, 16, 2, 9, 10] ->= [30, 25, 29, 22, 10], [28, 16, 2, 9, 13] ->= [30, 25, 29, 22, 13], [28, 16, 2, 9, 15] ->= [30, 25, 29, 22, 15], [28, 16, 2, 9, 17] ->= [30, 25, 29, 22, 17], [28, 16, 2, 19, 3] ->= [30, 25, 29, 23, 3], [28, 16, 2, 19, 9] ->= [30, 25, 29, 23, 9], [28, 16, 2, 19, 19] ->= [30, 25, 29, 23, 19], [28, 16, 2, 19, 24] ->= [30, 25, 29, 23, 24], [28, 16, 2, 24, 26] ->= [30, 25, 29, 25, 26], [28, 16, 2, 24, 29] ->= [30, 25, 29, 25, 29], [44, 41, 26, 12, 38] ->= [44, 42, 9, 10, 38], [44, 41, 26, 14, 39] ->= [44, 42, 9, 13, 39], [44, 41, 26, 14, 32] ->= [44, 42, 9, 13, 32], [44, 41, 26, 14, 31] ->= [44, 42, 9, 13, 31], [44, 41, 26, 14, 6] ->= [44, 42, 9, 13, 6], [44, 41, 26, 16, 40] ->= [44, 42, 9, 15, 40], [44, 41, 26, 16, 33] ->= [44, 42, 9, 15, 33], [44, 41, 26, 16, 2] ->= [44, 42, 9, 15, 2], [44, 41, 26, 16, 34] ->= [44, 42, 9, 15, 34], [44, 41, 26, 18, 7] ->= [44, 42, 9, 17, 7], [44, 41, 26, 18, 11] ->= [44, 42, 9, 17, 11], [44, 41, 26, 18, 20] ->= [44, 42, 9, 17, 20], [44, 41, 26, 18, 27] ->= [44, 42, 9, 17, 27], [1, 34, 26, 12, 38] ->= [1, 2, 9, 10, 38], [1, 34, 26, 14, 39] ->= [1, 2, 9, 13, 39], [1, 34, 26, 14, 32] ->= [1, 2, 9, 13, 32], [1, 34, 26, 14, 31] ->= [1, 2, 9, 13, 31], [1, 34, 26, 14, 6] ->= [1, 2, 9, 13, 6], [1, 34, 26, 16, 40] ->= [1, 2, 9, 15, 40], [1, 34, 26, 16, 33] ->= [1, 2, 9, 15, 33], [1, 34, 26, 16, 2] ->= [1, 2, 9, 15, 2], [1, 34, 26, 16, 34] ->= [1, 2, 9, 15, 34], [1, 34, 26, 18, 7] ->= [1, 2, 9, 17, 7], [1, 34, 26, 18, 11] ->= [1, 2, 9, 17, 11], [1, 34, 26, 18, 20] ->= [1, 2, 9, 17, 20], [1, 34, 26, 18, 27] ->= [1, 2, 9, 17, 27], [42, 24, 26, 12, 38] ->= [42, 19, 9, 10, 38], [42, 24, 26, 14, 39] ->= [42, 19, 9, 13, 39], [42, 24, 26, 14, 32] ->= [42, 19, 9, 13, 32], [42, 24, 26, 14, 31] ->= [42, 19, 9, 13, 31], [42, 24, 26, 14, 6] ->= [42, 19, 9, 13, 6], [42, 24, 26, 16, 40] ->= [42, 19, 9, 15, 40], [42, 24, 26, 16, 33] ->= [42, 19, 9, 15, 33], [42, 24, 26, 16, 2] ->= [42, 19, 9, 15, 2], [42, 24, 26, 16, 34] ->= [42, 19, 9, 15, 34], [42, 24, 26, 18, 7] ->= [42, 19, 9, 17, 7], [42, 24, 26, 18, 11] ->= [42, 19, 9, 17, 11], [42, 24, 26, 18, 20] ->= [42, 19, 9, 17, 20], [42, 24, 26, 18, 27] ->= [42, 19, 9, 17, 27], [43, 25, 26, 12, 38] ->= [43, 23, 9, 10, 38], [43, 25, 26, 14, 39] ->= [43, 23, 9, 13, 39], [43, 25, 26, 14, 32] ->= [43, 23, 9, 13, 32], [43, 25, 26, 14, 31] ->= [43, 23, 9, 13, 31], [43, 25, 26, 14, 6] ->= [43, 23, 9, 13, 6], [43, 25, 26, 16, 40] ->= [43, 23, 9, 15, 40], [43, 25, 26, 16, 33] ->= [43, 23, 9, 15, 33], [43, 25, 26, 16, 2] ->= [43, 23, 9, 15, 2], [43, 25, 26, 16, 34] ->= [43, 23, 9, 15, 34], [43, 25, 26, 18, 7] ->= [43, 23, 9, 17, 7], [43, 25, 26, 18, 11] ->= [43, 23, 9, 17, 11], [43, 25, 26, 18, 20] ->= [43, 23, 9, 17, 20], [43, 25, 26, 18, 27] ->= [43, 23, 9, 17, 27], [31, 34, 26, 12, 38] ->= [31, 2, 9, 10, 38], [31, 34, 26, 14, 39] ->= [31, 2, 9, 13, 39], [31, 34, 26, 14, 32] ->= [31, 2, 9, 13, 32], [31, 34, 26, 14, 31] ->= [31, 2, 9, 13, 31], [31, 34, 26, 14, 6] ->= [31, 2, 9, 13, 6], [31, 34, 26, 16, 40] ->= [31, 2, 9, 15, 40], [31, 34, 26, 16, 33] ->= [31, 2, 9, 15, 33], [31, 34, 26, 16, 2] ->= [31, 2, 9, 15, 2], [31, 34, 26, 16, 34] ->= [31, 2, 9, 15, 34], [31, 34, 26, 18, 7] ->= [31, 2, 9, 17, 7], [31, 34, 26, 18, 11] ->= [31, 2, 9, 17, 11], [31, 34, 26, 18, 20] ->= [31, 2, 9, 17, 20], [31, 34, 26, 18, 27] ->= [31, 2, 9, 17, 27], [2, 24, 26, 12, 38] ->= [2, 19, 9, 10, 38], [2, 24, 26, 14, 39] ->= [2, 19, 9, 13, 39], [2, 24, 26, 14, 32] ->= [2, 19, 9, 13, 32], [2, 24, 26, 14, 31] ->= [2, 19, 9, 13, 31], [2, 24, 26, 14, 6] ->= [2, 19, 9, 13, 6], [2, 24, 26, 16, 40] ->= [2, 19, 9, 15, 40], [2, 24, 26, 16, 33] ->= [2, 19, 9, 15, 33], [2, 24, 26, 16, 2] ->= [2, 19, 9, 15, 2], [2, 24, 26, 16, 34] ->= [2, 19, 9, 15, 34], [2, 24, 26, 18, 7] ->= [2, 19, 9, 17, 7], [2, 24, 26, 18, 11] ->= [2, 19, 9, 17, 11], [2, 24, 26, 18, 20] ->= [2, 19, 9, 17, 20], [2, 24, 26, 18, 27] ->= [2, 19, 9, 17, 27], [20, 25, 26, 12, 38] ->= [20, 23, 9, 10, 38], [20, 25, 26, 14, 39] ->= [20, 23, 9, 13, 39], [20, 25, 26, 14, 32] ->= [20, 23, 9, 13, 32], [20, 25, 26, 14, 31] ->= [20, 23, 9, 13, 31], [20, 25, 26, 14, 6] ->= [20, 23, 9, 13, 6], [20, 25, 26, 16, 40] ->= [20, 23, 9, 15, 40], [20, 25, 26, 16, 33] ->= [20, 23, 9, 15, 33], [20, 25, 26, 16, 2] ->= [20, 23, 9, 15, 2], [20, 25, 26, 16, 34] ->= [20, 23, 9, 15, 34], [20, 25, 26, 18, 7] ->= [20, 23, 9, 17, 7], [20, 25, 26, 18, 11] ->= [20, 23, 9, 17, 11], [20, 25, 26, 18, 20] ->= [20, 23, 9, 17, 20], [20, 25, 26, 18, 27] ->= [20, 23, 9, 17, 27], [15, 34, 26, 12, 38] ->= [15, 2, 9, 10, 38], [15, 34, 26, 14, 39] ->= [15, 2, 9, 13, 39], [15, 34, 26, 14, 32] ->= [15, 2, 9, 13, 32], [15, 34, 26, 14, 31] ->= [15, 2, 9, 13, 31], [15, 34, 26, 14, 6] ->= [15, 2, 9, 13, 6], [15, 34, 26, 16, 40] ->= [15, 2, 9, 15, 40], [15, 34, 26, 16, 33] ->= [15, 2, 9, 15, 33], [15, 34, 26, 16, 2] ->= [15, 2, 9, 15, 2], [15, 34, 26, 16, 34] ->= [15, 2, 9, 15, 34], [15, 34, 26, 18, 7] ->= [15, 2, 9, 17, 7], [15, 34, 26, 18, 11] ->= [15, 2, 9, 17, 11], [15, 34, 26, 18, 20] ->= [15, 2, 9, 17, 20], [15, 34, 26, 18, 27] ->= [15, 2, 9, 17, 27], [19, 24, 26, 12, 38] ->= [19, 19, 9, 10, 38], [19, 24, 26, 14, 39] ->= [19, 19, 9, 13, 39], [19, 24, 26, 14, 32] ->= [19, 19, 9, 13, 32], [19, 24, 26, 14, 31] ->= [19, 19, 9, 13, 31], [19, 24, 26, 14, 6] ->= [19, 19, 9, 13, 6], [19, 24, 26, 16, 40] ->= [19, 19, 9, 15, 40], [19, 24, 26, 16, 33] ->= [19, 19, 9, 15, 33], [19, 24, 26, 16, 2] ->= [19, 19, 9, 15, 2], [19, 24, 26, 16, 34] ->= [19, 19, 9, 15, 34], [19, 24, 26, 18, 7] ->= [19, 19, 9, 17, 7], [19, 24, 26, 18, 11] ->= [19, 19, 9, 17, 11], [19, 24, 26, 18, 20] ->= [19, 19, 9, 17, 20], [19, 24, 26, 18, 27] ->= [19, 19, 9, 17, 27], [29, 25, 26, 12, 38] ->= [29, 23, 9, 10, 38], [29, 25, 26, 14, 39] ->= [29, 23, 9, 13, 39], [29, 25, 26, 14, 32] ->= [29, 23, 9, 13, 32], [29, 25, 26, 14, 31] ->= [29, 23, 9, 13, 31], [29, 25, 26, 14, 6] ->= [29, 23, 9, 13, 6], [29, 25, 26, 16, 40] ->= [29, 23, 9, 15, 40], [29, 25, 26, 16, 33] ->= [29, 23, 9, 15, 33], [29, 25, 26, 16, 2] ->= [29, 23, 9, 15, 2], [29, 25, 26, 16, 34] ->= [29, 23, 9, 15, 34], [29, 25, 26, 18, 7] ->= [29, 23, 9, 17, 7], [29, 25, 26, 18, 11] ->= [29, 23, 9, 17, 11], [29, 25, 26, 18, 20] ->= [29, 23, 9, 17, 20], [29, 25, 26, 18, 27] ->= [29, 23, 9, 17, 27], [16, 34, 26, 12, 38] ->= [16, 2, 9, 10, 38], [16, 34, 26, 14, 39] ->= [16, 2, 9, 13, 39], [16, 34, 26, 14, 32] ->= [16, 2, 9, 13, 32], [16, 34, 26, 14, 31] ->= [16, 2, 9, 13, 31], [16, 34, 26, 14, 6] ->= [16, 2, 9, 13, 6], [16, 34, 26, 16, 40] ->= [16, 2, 9, 15, 40], [16, 34, 26, 16, 33] ->= [16, 2, 9, 15, 33], [16, 34, 26, 16, 2] ->= [16, 2, 9, 15, 2], [16, 34, 26, 16, 34] ->= [16, 2, 9, 15, 34], [16, 34, 26, 18, 7] ->= [16, 2, 9, 17, 7], [16, 34, 26, 18, 11] ->= [16, 2, 9, 17, 11], [16, 34, 26, 18, 20] ->= [16, 2, 9, 17, 20], [16, 34, 26, 18, 27] ->= [16, 2, 9, 17, 27], [23, 24, 26, 12, 38] ->= [23, 19, 9, 10, 38], [23, 24, 26, 14, 39] ->= [23, 19, 9, 13, 39], [23, 24, 26, 14, 32] ->= [23, 19, 9, 13, 32], [23, 24, 26, 14, 31] ->= [23, 19, 9, 13, 31], [23, 24, 26, 14, 6] ->= [23, 19, 9, 13, 6], [23, 24, 26, 16, 40] ->= [23, 19, 9, 15, 40], [23, 24, 26, 16, 33] ->= [23, 19, 9, 15, 33], [23, 24, 26, 16, 2] ->= [23, 19, 9, 15, 2], [23, 24, 26, 16, 34] ->= [23, 19, 9, 15, 34], [23, 24, 26, 18, 7] ->= [23, 19, 9, 17, 7], [23, 24, 26, 18, 11] ->= [23, 19, 9, 17, 11], [23, 24, 26, 18, 20] ->= [23, 19, 9, 17, 20], [23, 24, 26, 18, 27] ->= [23, 19, 9, 17, 27], [30, 25, 26, 12, 38] ->= [30, 23, 9, 10, 38], [30, 25, 26, 14, 39] ->= [30, 23, 9, 13, 39], [30, 25, 26, 14, 32] ->= [30, 23, 9, 13, 32], [30, 25, 26, 14, 31] ->= [30, 23, 9, 13, 31], [30, 25, 26, 14, 6] ->= [30, 23, 9, 13, 6], [30, 25, 26, 16, 40] ->= [30, 23, 9, 15, 40], [30, 25, 26, 16, 33] ->= [30, 23, 9, 15, 33], [30, 25, 26, 16, 2] ->= [30, 23, 9, 15, 2], [30, 25, 26, 16, 34] ->= [30, 23, 9, 15, 34], [30, 25, 26, 18, 7] ->= [30, 23, 9, 17, 7], [30, 25, 26, 18, 11] ->= [30, 23, 9, 17, 11], [30, 25, 26, 18, 20] ->= [30, 23, 9, 17, 20], [30, 25, 26, 18, 27] ->= [30, 23, 9, 17, 27])
2.85/0.78	reason
2.85/0.78	  weights
2.85/0.78	    Map [(0, 1/1), (1, 1/1), (2, 1216/3), (3, 1/1), (6, 12/1), (7, 31/1), (8, 31/1), (9, 4/1), (11, 110/1), (12, 186/1), (15, 3/1), (16, 25/1), (17, 620/3), (18, 1045/3), (19, 11/1), (23, 16/1), (25, 5/1), (26, 51/1), (27, 1/1), (28, 1/1), (29, 15/1), (30, 1216/3), (33, 341/3), (34, 1078/3), (35, 93/1), (37, 1/1), (41, 1/1)]
2.85/0.78	  
2.85/0.78	   property Termination
2.85/0.78	has value True
2.85/0.78	for SRS ( )
2.85/0.78	reason
2.85/0.78	  has no strict rules
2.85/0.78	
2.85/0.78	**************************************************
2.85/0.78	          summary
2.85/0.78	**************************************************
2.85/0.78	SRS with 6 rules on 3 letters       Remap   { tracing = False}
2.85/0.78	SRS with 6 rules on 3 letters       tile all, by Tiling   { method = Overlap, width = 3, state_type = Bit64, map_type = Enum, verbose = False, tracing = False}
2.85/0.80	SRS with 664 rules on 45 letters       Remap   { tracing = False}
2.85/0.80	SRS with 664 rules on 45 letters       weights
2.85/0.80	SRS with 0 rules on 0 letters       has no strict rules
2.85/0.80	
2.85/0.80	**************************************************
2.95/0.82	(6, 3)\TileAllROC{3}(664, 45)\Weight(0, 0)[]
2.95/0.82	**************************************************
2.95/0.82	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))))))}
2.95/0.82	in Apply (Worker Remap) method
2.98/0.84	EOF