4.50/1.19	YES
4.50/1.19	property Termination
4.50/1.19	has value True
4.50/1.19	for SRS ( [2, 7] -> [1, 8], [2, 8, 1] -> [8], [2, 8] -> [4], [5, 9] -> [0], [4] -> [5, 2, 3], [5, 3] -> [6, 0], [2, 8] -> [7], [4, 7] -> [1, 3], [5, 2, 6] -> [6, 2, 4], [9, 7] -> [7, 5], [7, 2] -> [4], [7, 0] -> [9, 3], [6, 9] -> [9], [9, 5, 9] -> [5, 7], [4] -> [9, 6, 6], [9] -> [6, 7], [6, 2] -> [7, 7], [2, 4] -> [0, 7], [6, 6] -> [3], [0, 3] -> [5, 3])
4.50/1.19	reason
4.50/1.19	  remap for 20 rules
4.50/1.19	   property Termination
4.50/1.19	has value True
4.50/1.19	for SRS ( [0, 1] -> [2, 3], [0, 3, 2] -> [3], [0, 3] -> [4], [5, 6] -> [7], [4] -> [5, 0, 8], [5, 8] -> [9, 7], [0, 3] -> [1], [4, 1] -> [2, 8], [5, 0, 9] -> [9, 0, 4], [6, 1] -> [1, 5], [1, 0] -> [4], [1, 7] -> [6, 8], [9, 6] -> [6], [6, 5, 6] -> [5, 1], [4] -> [6, 9, 9], [6] -> [9, 1], [9, 0] -> [1, 1], [0, 4] -> [7, 1], [9, 9] -> [8], [7, 8] -> [5, 8])
4.50/1.19	reason
4.50/1.19	  reverse each lhs and rhs
4.50/1.19	   property Termination
4.50/1.19	has value True
4.50/1.19	for SRS ( [1, 0] -> [3, 2], [2, 3, 0] -> [3], [3, 0] -> [4], [6, 5] -> [7], [4] -> [8, 0, 5], [8, 5] -> [7, 9], [3, 0] -> [1], [1, 4] -> [8, 2], [9, 0, 5] -> [4, 0, 9], [1, 6] -> [5, 1], [0, 1] -> [4], [7, 1] -> [8, 6], [6, 9] -> [6], [6, 5, 6] -> [1, 5], [4] -> [9, 9, 6], [6] -> [1, 9], [0, 9] -> [1, 1], [4, 0] -> [1, 7], [9, 9] -> [8], [8, 7] -> [8, 5])
4.50/1.19	reason
4.50/1.19	  DP transform
4.50/1.19	   property Termination
4.50/1.19	has value True
4.50/1.19	for SRS ( [1, 0] ->= [3, 2], [2, 3, 0] ->= [3], [3, 0] ->= [4], [6, 5] ->= [7], [4] ->= [8, 0, 5], [8, 5] ->= [7, 9], [3, 0] ->= [1], [1, 4] ->= [8, 2], [9, 0, 5] ->= [4, 0, 9], [1, 6] ->= [5, 1], [0, 1] ->= [4], [7, 1] ->= [8, 6], [6, 9] ->= [6], [6, 5, 6] ->= [1, 5], [4] ->= [9, 9, 6], [6] ->= [1, 9], [0, 9] ->= [1, 1], [4, 0] ->= [1, 7], [9, 9] ->= [8], [8, 7] ->= [8, 5], [1#, 0] |-> [3#, 2], [1#, 0] |-> [2#], [2#, 3, 0] |-> [3#], [3#, 0] |-> [4#], [6#, 5] |-> [7#], [4#] |-> [8#, 0, 5], [4#] |-> [0#, 5], [8#, 5] |-> [7#, 9], [8#, 5] |-> [9#], [3#, 0] |-> [1#], [1#, 4] |-> [8#, 2], [1#, 4] |-> [2#], [9#, 0, 5] |-> [4#, 0, 9], [9#, 0, 5] |-> [0#, 9], [9#, 0, 5] |-> [9#], [1#, 6] |-> [1#], [0#, 1] |-> [4#], [7#, 1] |-> [8#, 6], [7#, 1] |-> [6#], [6#, 9] |-> [6#], [6#, 5, 6] |-> [1#, 5], [4#] |-> [9#, 9, 6], [4#] |-> [9#, 6], [4#] |-> [6#], [6#] |-> [1#, 9], [6#] |-> [9#], [0#, 9] |-> [1#, 1], [0#, 9] |-> [1#], [4#, 0] |-> [1#, 7], [4#, 0] |-> [7#], [9#, 9] |-> [8#], [8#, 7] |-> [8#, 5])
4.50/1.19	reason
4.50/1.19	  remap for 52 rules
4.50/1.19	   property Termination
4.50/1.19	has value True
4.50/1.19	for SRS ( [0, 1] ->= [2, 3], [3, 2, 1] ->= [2], [2, 1] ->= [4], [5, 6] ->= [7], [4] ->= [8, 1, 6], [8, 6] ->= [7, 9], [2, 1] ->= [0], [0, 4] ->= [8, 3], [9, 1, 6] ->= [4, 1, 9], [0, 5] ->= [6, 0], [1, 0] ->= [4], [7, 0] ->= [8, 5], [5, 9] ->= [5], [5, 6, 5] ->= [0, 6], [4] ->= [9, 9, 5], [5] ->= [0, 9], [1, 9] ->= [0, 0], [4, 1] ->= [0, 7], [9, 9] ->= [8], [8, 7] ->= [8, 6], [10, 1] |-> [11, 3], [10, 1] |-> [12], [12, 2, 1] |-> [11], [11, 1] |-> [13], [14, 6] |-> [15], [13] |-> [16, 1, 6], [13] |-> [17, 6], [16, 6] |-> [15, 9], [16, 6] |-> [18], [11, 1] |-> [10], [10, 4] |-> [16, 3], [10, 4] |-> [12], [18, 1, 6] |-> [13, 1, 9], [18, 1, 6] |-> [17, 9], [18, 1, 6] |-> [18], [10, 5] |-> [10], [17, 0] |-> [13], [15, 0] |-> [16, 5], [15, 0] |-> [14], [14, 9] |-> [14], [14, 6, 5] |-> [10, 6], [13] |-> [18, 9, 5], [13] |-> [18, 5], [13] |-> [14], [14] |-> [10, 9], [14] |-> [18], [17, 9] |-> [10, 0], [17, 9] |-> [10], [13, 1] |-> [10, 7], [13, 1] |-> [15], [18, 9] |-> [16], [16, 7] |-> [16, 6])
4.50/1.19	reason
4.50/1.19	  EDG has 1 SCCs
4.50/1.19	   property Termination
4.50/1.19	has value True
4.50/1.19	for SRS ( [10, 1] |-> [11, 3], [11, 1] |-> [10], [10, 5] |-> [10], [10, 4] |-> [12], [12, 2, 1] |-> [11], [11, 1] |-> [13], [13, 1] |-> [15], [15, 0] |-> [14], [14] |-> [18], [18, 9] |-> [16], [16, 7] |-> [16, 6], [16, 6] |-> [18], [18, 1, 6] |-> [18], [18, 1, 6] |-> [17, 9], [17, 9] |-> [10], [10, 4] |-> [16, 3], [16, 6] |-> [15, 9], [15, 0] |-> [16, 5], [10, 1] |-> [12], [17, 9] |-> [10, 0], [17, 0] |-> [13], [13, 1] |-> [10, 7], [13] |-> [14], [14] |-> [10, 9], [14, 9] |-> [14], [14, 6] |-> [15], [13] |-> [18, 5], [18, 1, 6] |-> [13, 1, 9], [13] |-> [18, 9, 5], [0, 1] ->= [2, 3], [3, 2, 1] ->= [2], [2, 1] ->= [4], [5, 6] ->= [7], [4] ->= [8, 1, 6], [8, 6] ->= [7, 9], [2, 1] ->= [0], [0, 4] ->= [8, 3], [9, 1, 6] ->= [4, 1, 9], [0, 5] ->= [6, 0], [1, 0] ->= [4], [7, 0] ->= [8, 5], [5, 9] ->= [5], [5, 6, 5] ->= [0, 6], [4] ->= [9, 9, 5], [5] ->= [0, 9], [1, 9] ->= [0, 0], [4, 1] ->= [0, 7], [9, 9] ->= [8], [8, 7] ->= [8, 6])
4.50/1.19	reason
4.50/1.19	  Tiling   { method = Overlap, width = 3, state_type = Bit64, map_type = Enum, verbose = False, tracing = False}
4.50/1.19	  using 1563 tiles
4.50/1.21	    [ [<, 0, >] , [<, 2, >] , [<, 4, >] , [<, 5, >] , [<, 7, >] , [<, 8, >] , [<, 10, >] , [<, 11, >] , [<, 12, >] , [<, 13, >] , [<, 14, >] , [<, 15, >] , [<, 16, >] , [<, 18, >] , [0, 0, >] , [0, 5, >] , [0, 6, >] , [0, 7, >] , [0, 8, >] , [0, 9, >] , [1, 6, >] , [1, 8, >] , [1, 9, >] , [2, 0, >] , [2, 2, >] , [2, 3, >] , [2, 4, >] , [2, 8, >] , [3, 0, >] , [3, 6, >] , [3, 7, >] , [3, 8, >] , [3, 9, >] , [4, 0, >] , [4, 6, >] , [4, 7, >] , [4, 8, >] , [4, 9, >] , [5, 0, >] , [5, 5, >] , [5, 6, >] , [5, 7, >] , [5, 8, >] , [5, 9, >] , [6, 0, >] , [6, 5, >] , [6, 6, >] , [6, 7, >] , [6, 8, >] , [6, 9, >] , [7, 0, >] , [7, 5, >] , [7, 6, >] , [7, 7, >] , [7, 8, >] , [7, 9, >] , [8, 0, >] , [8, 2, >] , [8, 3, >] , [8, 4, >] , [8, 5, >] , [8, 6, >] , [8, 7, >] , [8, 8, >] , [8, 9, >] , [9, 0, >] , [9, 5, >] , [9, 6, >] , [9, 7, >] , [9, 8, >] , [9, 9, >] , [10, 0, >] , [10, 5, >] , [10, 6, >] , [10, 7, >] , [10, 8, >] , [10, 9, >] , [11, 0, >] , [11, 2, >] , [11, 3, >] , [11, 4, >] , [11, 8, >] , [12, 0, >] , [12, 6, >] , [12, 7, >] , [12, 8, >] , [12, 9, >] , [13, 0, >] , [13, 6, >] , [13, 7, >] , [13, 8, >] , [13, 9, >] , [14, 0, >] , [14, 5, >] , [14, 6, >] , [14, 7, >] , [14, 8, >] , [14, 9, >] , [15, 0, >] , [15, 5, >] , [15, 6, >] , [15, 7, >] , [15, 8, >] , [15, 9, >] , [16, 0, >] , [16, 2, >] , [16, 3, >] , [16, 4, >] , [16, 5, >] , [16, 6, >] , [16, 7, >] , [16, 8, >] , [16, 9, >] , [17, 8, >] , [17, 9, >] , [18, 0, >] , [18, 5, >] , [18, 6, >] , [18, 7, >] , [18, 8, >] , [18, 9, >] , [<, <, 0] , [<, 0, 0] , [<, 2, 0] , [<, 4, 0] , [<, 5, 0] , [<, 6, 0] , [<, 7, 0] , [<, 8, 0] , [<, 9, 0] , [<, 10, 0] , [<, 11, 0] , [<, 12, 0] , [<, 13, 0] , [<, 14, 0] , [<, 15, 0] , [<, 16, 0] , [<, 17, 0] , [<, 18, 0] , [0, 0, 0] , [0, 1, 0] , [0, 2, 0] , [0, 4, 0] , [0, 5, 0] , [0, 6, 0] , [0, 7, 0] , [0, 8, 0] , [0, 9, 0] , [1, 4, 0] , [1, 6, 0] , [1, 7, 0] , [1, 8, 0] , [1, 9, 0] , [2, 2, 0] , [2, 3, 0] , [2, 6, 0] , [2, 7, 0] , [2, 8, 0] , [2, 9, 0] , [3, 0, 0] , [3, 1, 0] , [3, 2, 0] , [3, 4, 0] , [3, 6, 0] , [3, 7, 0] , [3, 8, 0] , [3, 9, 0] , [4, 0, 0] , [4, 1, 0] , [4, 2, 0] , [4, 4, 0] , [4, 6, 0] , [4, 7, 0] , [4, 8, 0] , [4, 9, 0] , [5, 0, 0] , [5, 1, 0] , [5, 2, 0] , [5, 4, 0] , [5, 5, 0] , [5, 6, 0] , [5, 7, 0] , [5, 8, 0] , [5, 9, 0] , [6, 0, 0] , [6, 1, 0] , [6, 2, 0] , [6, 4, 0] , [6, 5, 0] , [6, 6, 0] , [6, 7, 0] , [6, 8, 0] , [6, 9, 0] , [7, 0, 0] , [7, 1, 0] , [7, 2, 0] , [7, 4, 0] , [7, 5, 0] , [7, 6, 0] , [7, 7, 0] , [7, 8, 0] , [7, 9, 0] , [8, 0, 0] , [8, 1, 0] , [8, 2, 0] , [8, 3, 0] , [8, 4, 0] , [8, 5, 0] , [8, 6, 0] , [8, 7, 0] , [8, 8, 0] , [8, 9, 0] , [9, 0, 0] , [9, 1, 0] , [9, 2, 0] , [9, 4, 0] , [9, 5, 0] , [9, 6, 0] , [9, 7, 0] , [9, 8, 0] , [9, 9, 0] , [10, 0, 0] , [10, 1, 0] , [10, 2, 0] , [10, 4, 0] , [10, 5, 0] , [10, 6, 0] , [10, 7, 0] , [10, 8, 0] , [10, 9, 0] , [11, 2, 0] , [11, 3, 0] , [11, 6, 0] , [11, 7, 0] , [11, 8, 0] , [11, 9, 0] , [12, 0, 0] , [12, 1, 0] , [12, 2, 0] , [12, 4, 0] , [12, 6, 0] , [12, 7, 0] , [12, 8, 0] , [12, 9, 0] , [13, 0, 0] , [13, 1, 0] , [13, 2, 0] , [13, 4, 0] , [13, 6, 0] , [13, 7, 0] , [13, 8, 0] , [13, 9, 0] , [14, 0, 0] , [14, 1, 0] , [14, 2, 0] , [14, 4, 0] , [14, 5, 0] , [14, 6, 0] , [14, 7, 0] , [14, 8, 0] , [14, 9, 0] , [15, 0, 0] , [15, 1, 0] , [15, 2, 0] , [15, 4, 0] , [15, 5, 0] , [15, 6, 0] , [15, 7, 0] , [15, 8, 0] , [15, 9, 0] , [16, 0, 0] , [16, 1, 0] , [16, 2, 0] , [16, 3, 0] , [16, 4, 0] , [16, 5, 0] , [16, 6, 0] , [16, 7, 0] , [16, 8, 0] , [16, 9, 0] , [17, 4, 0] , [17, 7, 0] , [17, 8, 0] , [17, 9, 0] , [18, 0, 0] , [18, 1, 0] , [18, 2, 0] , [18, 4, 0] , [18, 5, 0] , [18, 6, 0] , [18, 7, 0] , [18, 8, 0] , [18, 9, 0] , [<, 4, 1] , [<, 5, 1] , [<, 7, 1] , [<, 8, 1] , [<, 10, 1] , [<, 12, 1] , [<, 13, 1] , [<, 14, 1] , [<, 15, 1] , [<, 16, 1] , [<, 18, 1] , [0, 0, 1] , [0, 4, 1] , [0, 5, 1] , [0, 6, 1] , [0, 7, 1] , [0, 8, 1] , [0, 9, 1] , [1, 4, 1] , [1, 6, 1] , [1, 8, 1] , [2, 8, 1] , [3, 0, 1] , [3, 4, 1] , [3, 6, 1] , [3, 7, 1] , [3, 8, 1] , [3, 9, 1] , [4, 0, 1] , [4, 4, 1] , [4, 6, 1] , [4, 7, 1] , [4, 8, 1] , [4, 9, 1] , [5, 0, 1] , [5, 4, 1] , [5, 5, 1] , [5, 6, 1] , [5, 7, 1] , [5, 8, 1] , [5, 9, 1] , [6, 0, 1] , [6, 4, 1] , [6, 5, 1] , [6, 6, 1] , [6, 7, 1] , [6, 8, 1] , [6, 9, 1] , [7, 0, 1] , [7, 4, 1] , [7, 5, 1] , [7, 6, 1] , [7, 7, 1] , [7, 8, 1] , [7, 9, 1] , [8, 0, 1] , [8, 3, 1] , [8, 4, 1] , [8, 5, 1] , [8, 6, 1] , [8, 7, 1] , [8, 8, 1] , [8, 9, 1] , [9, 0, 1] , [9, 4, 1] , [9, 5, 1] , [9, 6, 1] , [9, 7, 1] , [9, 8, 1] , [9, 9, 1] , [10, 0, 1] , [10, 4, 1] , [10, 5, 1] , [10, 6, 1] , [10, 7, 1] , [10, 8, 1] , [10, 9, 1] , [11, 8, 1] , [12, 0, 1] , [12, 4, 1] , [12, 6, 1] , [12, 7, 1] , [12, 8, 1] , [12, 9, 1] , [13, 0, 1] , [13, 4, 1] , [13, 6, 1] , [13, 7, 1] , [13, 8, 1] , [13, 9, 1] , [14, 0, 1] , [14, 4, 1] , [14, 5, 1] , [14, 6, 1] , [14, 7, 1] , [14, 8, 1] , [14, 9, 1] , [15, 0, 1] , [15, 4, 1] , [15, 5, 1] , [15, 6, 1] , [15, 7, 1] , [15, 8, 1] , [15, 9, 1] , [16, 0, 1] , [16, 3, 1] , [16, 4, 1] , [16, 5, 1] , [16, 6, 1] , [16, 7, 1] , [16, 8, 1] , [16, 9, 1] , [17, 4, 1] , [17, 8, 1] , [18, 0, 1] , [18, 4, 1] , [18, 5, 1] , [18, 6, 1] , [18, 7, 1] , [18, 8, 1] , [18, 9, 1] , [<, <, 2] , [<, 0, 2] , [<, 2, 2] , [<, 4, 2] , [<, 5, 2] , [<, 6, 2] , [<, 7, 2] , [<, 8, 2] , [<, 9, 2] , [<, 10, 2] , [<, 11, 2] , [<, 12, 2] , [<, 13, 2] , [<, 14, 2] , [<, 15, 2] , [<, 16, 2] , [<, 18, 2] , [0, 0, 2] , [0, 2, 2] , [0, 4, 2] , [0, 5, 2] , [0, 6, 2] , [0, 7, 2] , [0, 8, 2] , [0, 9, 2] , [1, 4, 2] , [1, 6, 2] , [1, 7, 2] , [1, 8, 2] , [1, 9, 2] , [2, 2, 2] , [2, 3, 2] , [2, 6, 2] , [2, 7, 2] , [2, 8, 2] , [2, 9, 2] , [3, 0, 2] , [3, 2, 2] , [3, 4, 2] , [3, 6, 2] , [3, 7, 2] , [3, 8, 2] , [3, 9, 2] , [4, 0, 2] , [4, 2, 2] , [4, 4, 2] , [4, 6, 2] , [4, 7, 2] , [4, 8, 2] , [4, 9, 2] , [5, 0, 2] , [5, 2, 2] , [5, 4, 2] , [5, 5, 2] , [5, 6, 2] , [5, 7, 2] , [5, 8, 2] , [5, 9, 2] , [6, 0, 2] , [6, 2, 2] , [6, 4, 2] , [6, 5, 2] , [6, 6, 2] , [6, 7, 2] , [6, 8, 2] , [6, 9, 2] , [7, 0, 2] , [7, 2, 2] , [7, 4, 2] , [7, 5, 2] , [7, 6, 2] , [7, 7, 2] , [7, 8, 2] , [7, 9, 2] , [8, 0, 2] , [8, 2, 2] , [8, 3, 2] , [8, 4, 2] , [8, 5, 2] , [8, 6, 2] , [8, 7, 2] , [8, 8, 2] , [8, 9, 2] , [9, 0, 2] , [9, 2, 2] , [9, 4, 2] , [9, 5, 2] , [9, 6, 2] , [9, 7, 2] , [9, 8, 2] , [9, 9, 2] , [10, 0, 2] , [10, 2, 2] , [10, 4, 2] , [10, 5, 2] , [10, 6, 2] , [10, 7, 2] , [10, 8, 2] , [10, 9, 2] , [11, 2, 2] , [11, 3, 2] , [11, 6, 2] , [11, 7, 2] , [11, 8, 2] , [11, 9, 2] , [12, 0, 2] , [12, 2, 2] , [12, 4, 2] , [12, 6, 2] , [12, 7, 2] , [12, 8, 2] , [12, 9, 2] , [13, 0, 2] , [13, 2, 2] , [13, 4, 2] , [13, 6, 2] , [13, 7, 2] , [13, 8, 2] , [13, 9, 2] , [14, 0, 2] , [14, 2, 2] , [14, 4, 2] , [14, 5, 2] , [14, 6, 2] , [14, 7, 2] , [14, 8, 2] , [14, 9, 2] , [15, 0, 2] , [15, 2, 2] , [15, 4, 2] , [15, 5, 2] , [15, 6, 2] , [15, 7, 2] , [15, 8, 2] , [15, 9, 2] , [16, 0, 2] , [16, 2, 2] , [16, 3, 2] , [16, 4, 2] , [16, 5, 2] , [16, 6, 2] , [16, 7, 2] , [16, 8, 2] , [16, 9, 2] , [17, 4, 2] , [17, 7, 2] , [17, 8, 2] , [17, 9, 2] , [18, 0, 2] , [18, 2, 2] , [18, 4, 2] , [18, 5, 2] , [18, 6, 2] , [18, 7, 2] , [18, 8, 2] , [18, 9, 2] , [<, 2, 3] , [<, 8, 3] , [<, 11, 3] , [<, 16, 3] , [0, 2, 3] , [0, 8, 3] , [2, 2, 3] , [2, 8, 3] , [3, 2, 3] , [3, 8, 3] , [4, 2, 3] , [4, 8, 3] , [5, 2, 3] , [5, 8, 3] , [6, 2, 3] , [6, 8, 3] , [7, 2, 3] , [7, 8, 3] , [8, 2, 3] , [8, 8, 3] , [9, 2, 3] , [9, 8, 3] , [10, 2, 3] , [10, 8, 3] , [11, 2, 3] , [11, 8, 3] , [12, 2, 3] , [12, 8, 3] , [13, 2, 3] , [13, 8, 3] , [14, 2, 3] , [14, 8, 3] , [15, 2, 3] , [15, 8, 3] , [16, 2, 3] , [16, 8, 3] , [18, 2, 3] , [18, 8, 3] , [<, <, 4] , [<, 0, 4] , [<, 2, 4] , [<, 4, 4] , [<, 5, 4] , [<, 7, 4] , [<, 8, 4] , [<, 9, 4] , [<, 10, 4] , [<, 11, 4] , [<, 12, 4] , [<, 13, 4] , [<, 14, 4] , [<, 15, 4] , [<, 16, 4] , [<, 17, 4] , [<, 18, 4] , [0, 0, 4] , [0, 1, 4] , [0, 2, 4] , [0, 4, 4] , [0, 5, 4] , [0, 6, 4] , [0, 7, 4] , [0, 8, 4] , [0, 9, 4] , [1, 4, 4] , [1, 6, 4] , [1, 7, 4] , [1, 8, 4] , [1, 9, 4] , [2, 2, 4] , [2, 3, 4] , [2, 7, 4] , [2, 8, 4] , [2, 9, 4] , [3, 0, 4] , [3, 1, 4] , [3, 2, 4] , [3, 4, 4] , [3, 6, 4] , [3, 7, 4] , [3, 8, 4] , [3, 9, 4] , [4, 0, 4] , [4, 1, 4] , [4, 2, 4] , [4, 4, 4] , [4, 6, 4] , [4, 7, 4] , [4, 8, 4] , [4, 9, 4] , [5, 0, 4] , [5, 1, 4] , [5, 2, 4] , [5, 4, 4] , [5, 5, 4] , [5, 6, 4] , [5, 7, 4] , [5, 8, 4] , [5, 9, 4] , [6, 0, 4] , [6, 1, 4] , [6, 2, 4] , [6, 4, 4] , [6, 5, 4] , [6, 6, 4] , [6, 7, 4] , [6, 8, 4] , [6, 9, 4] , [7, 0, 4] , [7, 1, 4] , [7, 2, 4] , [7, 4, 4] , [7, 5, 4] , [7, 6, 4] , [7, 7, 4] , [7, 8, 4] , [7, 9, 4] , [8, 0, 4] , [8, 1, 4] , [8, 2, 4] , [8, 3, 4] , [8, 4, 4] , [8, 5, 4] , [8, 6, 4] , [8, 7, 4] , [8, 8, 4] , [8, 9, 4] , [9, 0, 4] , [9, 1, 4] , [9, 2, 4] , [9, 4, 4] , [9, 5, 4] , [9, 6, 4] , [9, 7, 4] , [9, 8, 4] , [9, 9, 4] , [10, 0, 4] , [10, 1, 4] , [10, 2, 4] , [10, 4, 4] , [10, 5, 4] , [10, 6, 4] , [10, 7, 4] , [10, 8, 4] , [10, 9, 4] , [11, 2, 4] , [11, 3, 4] , [11, 7, 4] , [11, 8, 4] , [11, 9, 4] , [12, 0, 4] , [12, 1, 4] , [12, 2, 4] , [12, 4, 4] , [12, 6, 4] , [12, 7, 4] , [12, 8, 4] , [12, 9, 4] , [13, 0, 4] , [13, 1, 4] , [13, 2, 4] , [13, 4, 4] , [13, 6, 4] , [13, 7, 4] , [13, 8, 4] , [13, 9, 4] , [14, 0, 4] , [14, 1, 4] , [14, 2, 4] , [14, 4, 4] , [14, 5, 4] , [14, 6, 4] , [14, 7, 4] , [14, 8, 4] , [14, 9, 4] , [15, 0, 4] , [15, 1, 4] , [15, 2, 4] , [15, 4, 4] , [15, 5, 4] , [15, 6, 4] , [15, 7, 4] , [15, 8, 4] , [15, 9, 4] , [16, 0, 4] , [16, 1, 4] , [16, 2, 4] , [16, 3, 4] , [16, 4, 4] , [16, 5, 4] , [16, 6, 4] , [16, 7, 4] , [16, 8, 4] , [16, 9, 4] , [17, 4, 4] , [17, 7, 4] , [17, 8, 4] , [17, 9, 4] , [18, 0, 4] , [18, 1, 4] , [18, 2, 4] , [18, 4, 4] , [18, 5, 4] , [18, 6, 4] , [18, 7, 4] , [18, 8, 4] , [18, 9, 4] , [<, <, 5] , [<, 5, 5] , [<, 7, 5] , [<, 8, 5] , [<, 10, 5] , [<, 14, 5] , [<, 15, 5] , [<, 16, 5] , [<, 18, 5] , [0, 0, 5] , [0, 5, 5] , [0, 6, 5] , [0, 7, 5] , [0, 8, 5] , [0, 9, 5] , [1, 8, 5] , [2, 8, 5] , [3, 0, 5] , [3, 6, 5] , [3, 7, 5] , [3, 8, 5] , [3, 9, 5] , [4, 0, 5] , [4, 6, 5] , [4, 7, 5] , [4, 8, 5] , [4, 9, 5] , [5, 0, 5] , [5, 5, 5] , [5, 6, 5] , [5, 7, 5] , [5, 8, 5] , [5, 9, 5] , [6, 0, 5] , [6, 5, 5] , [6, 6, 5] , [6, 7, 5] , [6, 8, 5] , [6, 9, 5] , [7, 0, 5] , [7, 5, 5] , [7, 6, 5] , [7, 7, 5] , [7, 8, 5] , [7, 9, 5] , [8, 0, 5] , [8, 5, 5] , [8, 6, 5] , [8, 7, 5] , [8, 8, 5] , [8, 9, 5] , [9, 0, 5] , [9, 5, 5] , [9, 6, 5] , [9, 7, 5] , [9, 8, 5] , [9, 9, 5] , [10, 0, 5] , [10, 5, 5] , [10, 6, 5] , [10, 7, 5] , [10, 8, 5] , [10, 9, 5] , [11, 8, 5] , [12, 0, 5] , [12, 6, 5] , [12, 7, 5] , [12, 8, 5] , [12, 9, 5] , [13, 0, 5] , [13, 6, 5] , [13, 7, 5] , [13, 8, 5] , [13, 9, 5] , [14, 0, 5] , [14, 5, 5] , [14, 6, 5] , [14, 7, 5] , [14, 8, 5] , [14, 9, 5] , [15, 0, 5] , [15, 5, 5] , [15, 6, 5] , [15, 7, 5] , [15, 8, 5] , [15, 9, 5] , [16, 0, 5] , [16, 5, 5] , [16, 6, 5] , [16, 7, 5] , [16, 8, 5] , [16, 9, 5] , [17, 8, 5] , [18, 0, 5] , [18, 5, 5] , [18, 6, 5] , [18, 7, 5] , [18, 8, 5] , [18, 9, 5] , [<, <, 6] , [<, 0, 6] , [<, 2, 6] , [<, 4, 6] , [<, 5, 6] , [<, 6, 6] , [<, 7, 6] , [<, 8, 6] , [<, 9, 6] , [<, 10, 6] , [<, 11, 6] , [<, 12, 6] , [<, 13, 6] , [<, 14, 6] , [<, 15, 6] , [<, 16, 6] , [<, 18, 6] , [0, 0, 6] , [0, 2, 6] , [0, 4, 6] , [0, 5, 6] , [0, 6, 6] , [0, 7, 6] , [0, 8, 6] , [0, 9, 6] , [1, 4, 6] , [1, 6, 6] , [1, 7, 6] , [1, 8, 6] , [1, 9, 6] , [2, 2, 6] , [2, 3, 6] , [2, 6, 6] , [2, 7, 6] , [2, 8, 6] , [2, 9, 6] , [3, 0, 6] , [3, 2, 6] , [3, 4, 6] , [3, 6, 6] , [3, 7, 6] , [3, 8, 6] , [3, 9, 6] , [4, 0, 6] , [4, 2, 6] , [4, 4, 6] , [4, 6, 6] , [4, 7, 6] , [4, 8, 6] , [4, 9, 6] , [5, 0, 6] , [5, 2, 6] , [5, 4, 6] , [5, 5, 6] , [5, 6, 6] , [5, 7, 6] , [5, 8, 6] , [5, 9, 6] , [6, 0, 6] , [6, 2, 6] , [6, 4, 6] , [6, 5, 6] , [6, 6, 6] , [6, 7, 6] , [6, 8, 6] , [6, 9, 6] , [7, 0, 6] , [7, 2, 6] , [7, 4, 6] , [7, 5, 6] , [7, 6, 6] , [7, 7, 6] , [7, 8, 6] , [7, 9, 6] , [8, 0, 6] , [8, 1, 6] , [8, 2, 6] , [8, 3, 6] , [8, 4, 6] , [8, 5, 6] , [8, 6, 6] , [8, 7, 6] , [8, 8, 6] , [8, 9, 6] , [9, 0, 6] , [9, 2, 6] , [9, 4, 6] , [9, 5, 6] , [9, 6, 6] , [9, 7, 6] , [9, 8, 6] , [9, 9, 6] , [10, 0, 6] , [10, 2, 6] , [10, 4, 6] , [10, 5, 6] , [10, 6, 6] , [10, 7, 6] , [10, 8, 6] , [10, 9, 6] , [11, 2, 6] , [11, 3, 6] , [11, 6, 6] , [11, 7, 6] , [11, 8, 6] , [11, 9, 6] , [12, 0, 6] , [12, 2, 6] , [12, 4, 6] , [12, 6, 6] , [12, 7, 6] , [12, 8, 6] , [12, 9, 6] , [13, 0, 6] , [13, 2, 6] , [13, 4, 6] , [13, 6, 6] , [13, 7, 6] , [13, 8, 6] , [13, 9, 6] , [14, 0, 6] , [14, 2, 6] , [14, 4, 6] , [14, 5, 6] , [14, 6, 6] , [14, 7, 6] , [14, 8, 6] , [14, 9, 6] , [15, 0, 6] , [15, 2, 6] , [15, 4, 6] , [15, 5, 6] , [15, 6, 6] , [15, 7, 6] , [15, 8, 6] , [15, 9, 6] , [16, 0, 6] , [16, 2, 6] , [16, 3, 6] , [16, 4, 6] , [16, 5, 6] , [16, 6, 6] , [16, 7, 6] , [16, 8, 6] , [16, 9, 6] , [17, 4, 6] , [17, 7, 6] , [17, 8, 6] , [17, 9, 6] , [18, 0, 6] , [18, 2, 6] , [18, 4, 6] , [18, 5, 6] , [18, 6, 6] , [18, 7, 6] , [18, 8, 6] , [18, 9, 6] , [<, <, 7] , [<, 0, 7] , [<, 2, 7] , [<, 4, 7] , [<, 5, 7] , [<, 6, 7] , [<, 7, 7] , [<, 8, 7] , [<, 9, 7] , [<, 10, 7] , [<, 11, 7] , [<, 12, 7] , [<, 13, 7] , [<, 14, 7] , [<, 15, 7] , [<, 16, 7] , [<, 17, 7] , [<, 18, 7] , [0, 0, 7] , [0, 1, 7] , [0, 2, 7] , [0, 4, 7] , [0, 5, 7] , [0, 6, 7] , [0, 7, 7] , [0, 8, 7] , [0, 9, 7] , [1, 0, 7] , [1, 4, 7] , [1, 6, 7] , [1, 7, 7] , [1, 8, 7] , [1, 9, 7] , [2, 0, 7] , [2, 2, 7] , [2, 3, 7] , [2, 6, 7] , [2, 7, 7] , [2, 8, 7] , [2, 9, 7] , [3, 0, 7] , [3, 1, 7] , [3, 2, 7] , [3, 4, 7] , [3, 6, 7] , [3, 7, 7] , [3, 8, 7] , [3, 9, 7] , [4, 0, 7] , [4, 1, 7] , [4, 2, 7] , [4, 4, 7] , [4, 6, 7] , [4, 7, 7] , [4, 8, 7] , [4, 9, 7] , [5, 0, 7] , [5, 1, 7] , [5, 2, 7] , [5, 4, 7] , [5, 5, 7] , [5, 6, 7] , [5, 7, 7] , [5, 8, 7] , [5, 9, 7] , [6, 0, 7] , [6, 1, 7] , [6, 2, 7] , [6, 4, 7] , [6, 5, 7] , [6, 6, 7] , [6, 7, 7] , [6, 8, 7] , [6, 9, 7] , [7, 0, 7] , [7, 1, 7] , [7, 2, 7] , [7, 4, 7] , [7, 5, 7] , [7, 6, 7] , [7, 7, 7] , [7, 8, 7] , [7, 9, 7] , [8, 0, 7] , [8, 1, 7] , [8, 2, 7] , [8, 3, 7] , [8, 4, 7] , [8, 5, 7] , [8, 6, 7] , [8, 7, 7] , [8, 8, 7] , [8, 9, 7] , [9, 0, 7] , [9, 1, 7] , [9, 2, 7] , [9, 4, 7] , [9, 5, 7] , [9, 6, 7] , [9, 7, 7] , [9, 8, 7] , [9, 9, 7] , [10, 0, 7] , [10, 1, 7] , [10, 2, 7] , [10, 4, 7] , [10, 5, 7] , [10, 6, 7] , [10, 7, 7] , [10, 8, 7] , [10, 9, 7] , [11, 0, 7] , [11, 2, 7] , [11, 3, 7] , [11, 6, 7] , [11, 7, 7] , [11, 8, 7] , [11, 9, 7] , [12, 0, 7] , [12, 1, 7] , [12, 2, 7] , [12, 4, 7] , [12, 6, 7] , [12, 7, 7] , [12, 8, 7] , [12, 9, 7] , [13, 0, 7] , [13, 1, 7] , [13, 2, 7] , [13, 4, 7] , [13, 6, 7] , [13, 7, 7] , [13, 8, 7] , [13, 9, 7] , [14, 0, 7] , [14, 1, 7] , [14, 2, 7] , [14, 4, 7] , [14, 5, 7] , [14, 6, 7] , [14, 7, 7] , [14, 8, 7] , [14, 9, 7] , [15, 0, 7] , [15, 1, 7] , [15, 2, 7] , [15, 4, 7] , [15, 5, 7] , [15, 6, 7] , [15, 7, 7] , [15, 8, 7] , [15, 9, 7] , [16, 0, 7] , [16, 1, 7] , [16, 2, 7] , [16, 3, 7] , [16, 4, 7] , [16, 5, 7] , [16, 6, 7] , [16, 7, 7] , [16, 8, 7] , [16, 9, 7] , [17, 0, 7] , [17, 4, 7] , [17, 7, 7] , [17, 8, 7] , [17, 9, 7] , [18, 0, 7] , [18, 1, 7] , [18, 2, 7] , [18, 4, 7] , [18, 5, 7] , [18, 6, 7] , [18, 7, 7] , [18, 8, 7] , [18, 9, 7] , [<, <, 8] , [<, 0, 8] , [<, 2, 8] , [<, 4, 8] , [<, 5, 8] , [<, 6, 8] , [<, 7, 8] , [<, 8, 8] , [<, 9, 8] , [<, 10, 8] , [<, 11, 8] , [<, 12, 8] , [<, 13, 8] , [<, 14, 8] , [<, 15, 8] , [<, 16, 8] , [<, 17, 8] , [<, 18, 8] , [0, 0, 8] , [0, 1, 8] , [0, 2, 8] , [0, 4, 8] , [0, 5, 8] , [0, 6, 8] , [0, 7, 8] , [0, 8, 8] , [0, 9, 8] , [1, 0, 8] , [1, 4, 8] , [1, 6, 8] , [1, 7, 8] , [1, 8, 8] , [1, 9, 8] , [2, 0, 8] , [2, 2, 8] , [2, 3, 8] , [2, 6, 8] , [2, 7, 8] , [2, 8, 8] , [2, 9, 8] , [3, 0, 8] , [3, 1, 8] , [3, 2, 8] , [3, 4, 8] , [3, 6, 8] , [3, 7, 8] , [3, 8, 8] , [3, 9, 8] , [4, 0, 8] , [4, 1, 8] , [4, 2, 8] , [4, 4, 8] , [4, 6, 8] , [4, 7, 8] , [4, 8, 8] , [4, 9, 8] , [5, 0, 8] , [5, 1, 8] , [5, 2, 8] , [5, 4, 8] , [5, 5, 8] , [5, 6, 8] , [5, 7, 8] , [5, 8, 8] , [5, 9, 8] , [6, 0, 8] , [6, 1, 8] , [6, 2, 8] , [6, 4, 8] , [6, 5, 8] , [6, 6, 8] , [6, 7, 8] , [6, 8, 8] , [6, 9, 8] , [7, 0, 8] , [7, 1, 8] , [7, 2, 8] , [7, 4, 8] , [7, 5, 8] , [7, 6, 8] , [7, 7, 8] , [7, 8, 8] , [7, 9, 8] , [8, 0, 8] , [8, 1, 8] , [8, 2, 8] , [8, 3, 8] , [8, 4, 8] , [8, 5, 8] , [8, 6, 8] , [8, 7, 8] , [8, 8, 8] , [8, 9, 8] , [9, 0, 8] , [9, 1, 8] , [9, 2, 8] , [9, 4, 8] , [9, 5, 8] , [9, 6, 8] , [9, 7, 8] , [9, 8, 8] , [9, 9, 8] , [10, 0, 8] , [10, 1, 8] , [10, 2, 8] , [10, 4, 8] , [10, 5, 8] , [10, 6, 8] , [10, 7, 8] , [10, 8, 8] , [10, 9, 8] , [11, 0, 8] , [11, 2, 8] , [11, 3, 8] , [11, 6, 8] , [11, 7, 8] , [11, 8, 8] , [11, 9, 8] , [12, 0, 8] , [12, 1, 8] , [12, 2, 8] , [12, 4, 8] , [12, 6, 8] , [12, 7, 8] , [12, 8, 8] , [12, 9, 8] , [13, 0, 8] , [13, 1, 8] , [13, 2, 8] , [13, 4, 8] , [13, 6, 8] , [13, 7, 8] , [13, 8, 8] , [13, 9, 8] , [14, 0, 8] , [14, 1, 8] , [14, 2, 8] , [14, 4, 8] , [14, 5, 8] , [14, 6, 8] , [14, 7, 8] , [14, 8, 8] , [14, 9, 8] , [15, 0, 8] , [15, 1, 8] , [15, 2, 8] , [15, 4, 8] , [15, 5, 8] , [15, 6, 8] , [15, 7, 8] , [15, 8, 8] , [15, 9, 8] , [16, 0, 8] , [16, 1, 8] , [16, 2, 8] , [16, 3, 8] , [16, 4, 8] , [16, 5, 8] , [16, 6, 8] , [16, 7, 8] , [16, 8, 8] , [16, 9, 8] , [17, 0, 8] , [17, 4, 8] , [17, 7, 8] , [17, 8, 8] , [17, 9, 8] , [18, 0, 8] , [18, 1, 8] , [18, 2, 8] , [18, 4, 8] , [18, 5, 8] , [18, 6, 8] , [18, 7, 8] , [18, 8, 8] , [18, 9, 8] , [<, <, 9] , [<, 0, 9] , [<, 2, 9] , [<, 4, 9] , [<, 5, 9] , [<, 7, 9] , [<, 8, 9] , [<, 9, 9] , [<, 10, 9] , [<, 11, 9] , [<, 12, 9] , [<, 13, 9] , [<, 14, 9] , [<, 15, 9] , [<, 16, 9] , [<, 17, 9] , [<, 18, 9] , [0, 0, 9] , [0, 1, 9] , [0, 2, 9] , [0, 4, 9] , [0, 5, 9] , [0, 6, 9] , [0, 7, 9] , [0, 8, 9] , [0, 9, 9] , [1, 4, 9] , [1, 6, 9] , [1, 7, 9] , [1, 8, 9] , [1, 9, 9] , [2, 2, 9] , [2, 3, 9] , [2, 7, 9] , [2, 8, 9] , [2, 9, 9] , [3, 0, 9] , [3, 1, 9] , [3, 2, 9] , [3, 4, 9] , [3, 6, 9] , [3, 7, 9] , [3, 8, 9] , [3, 9, 9] , [4, 0, 9] , [4, 1, 9] , [4, 2, 9] , [4, 4, 9] , [4, 6, 9] , [4, 7, 9] , [4, 8, 9] , [4, 9, 9] , [5, 0, 9] , [5, 1, 9] , [5, 2, 9] , [5, 4, 9] , [5, 5, 9] , [5, 6, 9] , [5, 7, 9] , [5, 8, 9] , [5, 9, 9] , [6, 0, 9] , [6, 1, 9] , [6, 2, 9] , [6, 4, 9] , [6, 5, 9] , [6, 6, 9] , [6, 7, 9] , [6, 8, 9] , [6, 9, 9] , [7, 0, 9] , [7, 1, 9] , [7, 2, 9] , [7, 4, 9] , [7, 5, 9] , [7, 6, 9] , [7, 7, 9] , [7, 8, 9] , [7, 9, 9] , [8, 0, 9] , [8, 1, 9] , [8, 2, 9] , [8, 3, 9] , [8, 4, 9] , [8, 5, 9] , [8, 6, 9] , [8, 7, 9] , [8, 8, 9] , [8, 9, 9] , [9, 0, 9] , [9, 1, 9] , [9, 2, 9] , [9, 4, 9] , [9, 5, 9] , [9, 6, 9] , [9, 7, 9] , [9, 8, 9] , [9, 9, 9] , [10, 0, 9] , [10, 1, 9] , [10, 2, 9] , [10, 4, 9] , [10, 5, 9] , [10, 6, 9] , [10, 7, 9] , [10, 8, 9] , [10, 9, 9] , [11, 2, 9] , [11, 3, 9] , [11, 7, 9] , [11, 8, 9] , [11, 9, 9] , [12, 0, 9] , [12, 1, 9] , [12, 2, 9] , [12, 4, 9] , [12, 6, 9] , [12, 7, 9] , [12, 8, 9] , [12, 9, 9] , [13, 0, 9] , [13, 1, 9] , [13, 2, 9] , [13, 4, 9] , [13, 6, 9] , [13, 7, 9] , [13, 8, 9] , [13, 9, 9] , [14, 0, 9] , [14, 1, 9] , [14, 2, 9] , [14, 4, 9] , [14, 5, 9] , [14, 6, 9] , [14, 7, 9] , [14, 8, 9] , [14, 9, 9] , [15, 0, 9] , [15, 1, 9] , [15, 2, 9] , [15, 4, 9] , [15, 5, 9] , [15, 6, 9] , [15, 7, 9] , [15, 8, 9] , [15, 9, 9] , [16, 0, 9] , [16, 1, 9] , [16, 2, 9] , [16, 3, 9] , [16, 4, 9] , [16, 5, 9] , [16, 6, 9] , [16, 7, 9] , [16, 8, 9] , [16, 9, 9] , [17, 4, 9] , [17, 7, 9] , [17, 8, 9] , [17, 9, 9] , [18, 0, 9] , [18, 1, 9] , [18, 2, 9] , [18, 4, 9] , [18, 5, 9] , [18, 6, 9] , [18, 7, 9] , [18, 8, 9] , [18, 9, 9] , [<, <, 10] , [<, <, 11] , [<, <, 12] , [<, <, 13] , [<, <, 14] , [<, <, 15] , [<, <, 16] , [<, <, 17] , [<, <, 18] ]
4.50/1.21	  remove some unmatched rules
4.50/1.21	  
4.50/1.21	   property Termination
4.50/1.21	has value True
4.50/1.21	for SRS ( [[10], [1]] |-> [[11], [3]], [[10], [5]] |-> [[10]], [[10], [4]] |-> [[12]], [[13], [1]] |-> [[15]], [[15], [0]] |-> [[14]], [[14]] |-> [[18]], [[18], [9]] |-> [[16]], [[16], [7]] |-> [[16], [6]], [[16], [6]] |-> [[18]], [[17], [9]] |-> [[10]], [[10], [4]] |-> [[16], [3]], [[16], [6]] |-> [[15], [9]], [[15], [0]] |-> [[16], [5]], [[10], [1]] |-> [[12]], [[17], [9]] |-> [[10], [0]], [[17], [0]] |-> [[13]], [[13], [1]] |-> [[10], [7]], [[13]] |-> [[14]], [[14]] |-> [[10], [9]], [[14], [9]] |-> [[14]], [[14], [6]] |-> [[15]], [[13]] |-> [[18], [5]], [[13]] |-> [[18], [9], [5]], [[0], [1]] ->= [[2], [3]], [[5], [6]] ->= [[7]], [[4]] ->= [[8], [1], [6]], [[8], [6]] ->= [[7], [9]], [[0], [4]] ->= [[8], [3]], [[0], [5]] ->= [[6], [0]], [[1], [0]] ->= [[4]], [[7], [0]] ->= [[8], [5]], [[5], [9]] ->= [[5]], [[5], [6], [5]] ->= [[0], [6]], [[4]] ->= [[9], [9], [5]], [[5]] ->= [[0], [9]], [[1], [9]] ->= [[0], [0]], [[4], [1]] ->= [[0], [7]], [[9], [9]] ->= [[8]], [[8], [7]] ->= [[8], [6]])
4.50/1.21	reason
4.50/1.21	  remap for 39 rules
4.50/1.21	   property Termination
4.50/1.21	has value True
4.50/1.21	for SRS ( [0, 1] |-> [2, 3], [0, 4] |-> [0], [0, 5] |-> [6], [7, 1] |-> [8], [8, 9] |-> [10], [10] |-> [11], [11, 12] |-> [13], [13, 14] |-> [13, 15], [13, 15] |-> [11], [16, 12] |-> [0], [0, 5] |-> [13, 3], [13, 15] |-> [8, 12], [8, 9] |-> [13, 4], [0, 1] |-> [6], [16, 12] |-> [0, 9], [16, 9] |-> [7], [7, 1] |-> [0, 14], [7] |-> [10], [10] |-> [0, 12], [10, 12] |-> [10], [10, 15] |-> [8], [7] |-> [11, 4], [7] |-> [11, 12, 4], [9, 1] ->= [17, 3], [4, 15] ->= [14], [5] ->= [18, 1, 15], [18, 15] ->= [14, 12], [9, 5] ->= [18, 3], [9, 4] ->= [15, 9], [1, 9] ->= [5], [14, 9] ->= [18, 4], [4, 12] ->= [4], [4, 15, 4] ->= [9, 15], [5] ->= [12, 12, 4], [4] ->= [9, 12], [1, 12] ->= [9, 9], [5, 1] ->= [9, 14], [12, 12] ->= [18], [18, 14] ->= [18, 15])
4.50/1.21	reason
4.50/1.21	  weights
4.50/1.21	    Map [(1, 101/1), (4, 57/1), (5, 120/1), (7, 68/1), (8, 6/1), (9, 52/1), (10, 57/1), (11, 6/1), (12, 4/1), (14, 13/1), (15, 11/1), (16, 49/1), (18, 7/1)]
4.50/1.21	  
4.50/1.21	   property Termination
4.50/1.21	has value True
4.50/1.21	for SRS ( )
4.50/1.21	reason
4.50/1.21	  EDG has 0 SCCs
4.50/1.21	
4.50/1.21	**************************************************
4.50/1.21	          summary
4.50/1.21	**************************************************
4.50/1.21	SRS with 20 rules on 10 letters       Remap   { tracing = False}
4.50/1.21	SRS with 20 rules on 10 letters       reverse each lhs and rhs
4.50/1.21	SRS with 20 rules on 10 letters       DP transform
4.50/1.21	SRS with 52 rules on 19 letters       Remap   { tracing = False}
4.50/1.21	SRS with 52 rules on 19 letters       EDG
4.50/1.21	SRS with 49 rules on 19 letters       remove some, by Tiling   { method = Overlap, width = 3, state_type = Bit64, map_type = Enum, verbose = False, tracing = False}
4.50/1.21	SRS with 39 rules on 19 letters       Remap   { tracing = False}
4.50/1.21	SRS with 39 rules on 19 letters       weights
4.50/1.21	SRS with 0 rules on 0 letters       EDG
4.50/1.21	
4.50/1.21	**************************************************
4.50/1.21	(20, 10)\Deepee(52, 19)\EDG(49, 19)\TileRemoveROC{3}(39, 19)\Weight(0, 0)\EDG[]
4.50/1.21	**************************************************
4.75/1.22	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;tiling = \ m w -> weighted (And_Then (Worker (Tiling { method = m,width = w})) (Worker Remap));when_small = \ m -> And_Then (Worker (SizeAtmost 100)) m;when_medium = \ m -> And_Then (Worker (SizeAtmost 10000)) m;solver = Minisatapi;qpi = \ dim bits -> weighted (when_small (Worker (QPI { tracing = True,dim = dim,bits = bits,solver = solver})));matrix = \ dom dim bits -> weighted (when_small (Worker (Matrix { monotone = Weak,domain = dom,dim = dim,bits = bits,tracing = False,solver = solver})));kbo = \ b -> weighted (when_small (Worker (KBO { bits = b,solver = solver})));mb = Worker (Matchbound { method = RFC,max_size = 100000});remove = First_Of ([ Worker (Weight { modus = mo})] <> ([ Seq [ qpi 2 4, qpi 3 4, qpi 4 4], Seq [ qpi 5 4, qpi 6 3, qpi 7 3]] <> ([ matrix Arctic 4 3, matrix Natural 4 3] <> [ kbo 1, And_Then (Worker Mirror) (kbo 1)])));remove_tile = Seq [ remove, tiling Overlap 3];dp = As_Transformer (Apply (And_Then (Worker (DP { tracing = False})) (Worker Remap)) (Apply wop (Branch (Worker (EDG { tracing = False})) remove_tile)));noh = [ Timeout 10 (Worker (Enumerate { closure = Forward})), Timeout 10 (Worker (Enumerate { closure = Backward}))];yeah = Tree_Search_Preemptive 0 done [ Worker (Weight { modus = mo}), mb, And_Then (Worker Mirror) mb, dp, And_Then (Worker Mirror) dp]}
4.75/1.22	in Apply (Worker Remap) (First_Of ([ yeah] <> noh))
4.75/1.26	EOF