3.03/0.84	NO
3.03/0.84	property Termination
3.03/0.84	has value False
3.03/0.84	for SRS ( [b, c, c, a, a, a, a, a, a] -> [a, a, a, a, a, a, a, b, c, c, b, c, c])
3.03/0.84	reason
3.03/0.84	  remap for 1 rules
3.03/0.84	   property Termination
3.03/0.84	has value False
3.03/0.84	for SRS ( [0, 1, 1, 2, 2, 2, 2, 2, 2] -> [2, 2, 2, 2, 2, 2, 2, 0, 1, 1, 0, 1, 1])
3.03/0.84	reason
3.03/0.84	  looping SRS derivation
3.03/0.84	  Closure source : abbcccccccccccccccccccccccccccccccccccccccccc
3.03/0.84	  target : cccccccabbccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb
3.03/0.84	  steps  : 64
3.03/0.84	  strict  : True
3.03/0.84	  last_rule_app_source  : 0
3.03/0.84	  last_rule_app_target  : 45
3.03/0.84	  reason : Overlap (Inside 45)
3.03/0.84	    Overlap (Inside 48)
3.03/0.84	      Overlap (Inside 52)
3.03/0.84	        Overlap (Inside 55)
3.03/0.84	          Overlap (Inside 60)
3.03/0.84	            Overlap (Inside 63)
3.31/0.85	              Overlap (Inside 67)
3.31/0.85	                Overlap (Inside 70)
3.31/0.85	                  Overlap (Inside 76)
3.31/0.85	                    Overlap (Inside 79)
3.31/0.85	                      Overlap (Inside 83)
3.31/0.85	                        Overlap (Inside 86)
3.31/0.85	                          Overlap (Inside 91)
3.31/0.85	                            Overlap (Inside 94)
3.31/0.85	                              Overlap (Inside 98)
3.31/0.85	                                Overlap (Inside 101)
3.31/0.85	                                  Overlap (Inside 108)
3.31/0.85	                                    Overlap (Inside 111)
3.31/0.85	                                      Overlap (Inside 115)
3.31/0.85	                                        Overlap (Inside 118)
3.31/0.85	                                          Overlap (Inside 123)
3.31/0.85	                                            Overlap (Inside 126)
3.31/0.85	                                              Overlap (Inside 130)
3.31/0.85	                                                Overlap (Inside 133)
3.31/0.85	                                                  Overlap (Inside 139)
3.31/0.85	                                                    Overlap (Inside 142)
3.31/0.85	                                                      Overlap (Inside 146)
3.31/0.85	                                                        Overlap (Inside 149)
3.31/0.85	                                                          Overlap (Inside 154)
3.31/0.85	                                                            Overlap (Inside 157)
3.31/0.85	                                                              Overlap (Inside 161)
3.31/0.86	                                                                Overlap (Right 3)
3.31/0.86	                                                                  Overlap (Inside 38)
3.31/0.86	                                                                    Overlap (Inside 41)
3.31/0.86	                                                                      Overlap (Inside 45)
3.31/0.86	                                                                        Overlap (Inside 48)
3.31/0.86	                                                                          Overlap (Inside 53)
3.31/0.86	                                                                            Overlap (Inside 56)
3.31/0.86	                                                                              Overlap (Inside 60)
3.31/0.86	                                                                                Overlap (Inside 63)
3.31/0.86	                                                                                  Overlap (Inside 69)
3.31/0.86	                                                                                    Overlap (Inside 72)
3.31/0.86	                                                                                      Overlap (Inside 76)
3.31/0.86	                                                                                        Overlap (Inside 79)
3.31/0.86	                                                                                          Overlap (Inside 84)
3.31/0.86	                                                                                            Overlap (Inside 87)
3.31/0.86	                                                                                              Overlap (Inside 91)
3.31/0.86	                                                                                                Overlap (Right 3)
3.31/0.86	                                                                                                  Overlap (Inside 31)
3.31/0.86	                                                                                                    Overlap (Inside 34)
3.31/0.86	                                                                                                      Overlap (Inside 38)
3.31/0.86	                                                                                                        Overlap (Inside 41)
3.31/0.86	                                                                                                          Overlap (Inside 46)
3.31/0.86	                                                                                                            Overlap (Inside 49)
3.31/0.86	                                                                                                              Overlap (Inside 53)
3.31/0.86	                                                                                                                Overlap (Right 3)
3.31/0.86	                                                                                                                  Overlap (Inside 24)
3.31/0.86	                                                                                                                    Overlap (Inside 27)
3.31/0.86	                                                                                                                      Overlap (Inside 31)
3.31/0.86	                                                                                                                        Overlap (Right 3)
3.31/0.86	                                                                                                                          Overlap (Inside 17)
3.31/0.86	                                                                                                                            Overlap (Right 3)
3.31/0.86	                                                                                                                              Overlap (Right 3)
3.31/0.86	                                                                                                                                Rule 0
3.31/0.86	                                                                                                                                Rule 0
3.31/0.86	                                                                                                                              Rule 0
3.31/0.86	                                                                                                                            Rule 0
3.31/0.86	                                                                                                                          Rule 0
3.31/0.86	                                                                                                                        Rule 0
3.31/0.86	                                                                                                                      Rule 0
3.31/0.86	                                                                                                                    Rule 0
3.31/0.86	                                                                                                                  Rule 0
3.31/0.86	                                                                                                                Rule 0
3.31/0.86	                                                                                                              Rule 0
3.31/0.86	                                                                                                            Rule 0
3.31/0.86	                                                                                                          Rule 0
3.31/0.86	                                                                                                        Rule 0
3.31/0.86	                                                                                                      Rule 0
3.31/0.86	                                                                                                    Rule 0
3.31/0.86	                                                                                                  Rule 0
3.31/0.86	                                                                                                Rule 0
3.31/0.86	                                                                                              Rule 0
3.31/0.86	                                                                                            Rule 0
3.31/0.86	                                                                                          Rule 0
3.31/0.86	                                                                                        Rule 0
3.31/0.87	                                                                                      Rule 0
3.38/0.87	                                                                                    Rule 0
3.38/0.87	                                                                                  Rule 0
3.38/0.87	                                                                                Rule 0
3.38/0.87	                                                                              Rule 0
3.38/0.87	                                                                            Rule 0
3.38/0.87	                                                                          Rule 0
3.38/0.87	                                                                        Rule 0
3.38/0.87	                                                                      Rule 0
3.38/0.87	                                                                    Rule 0
3.38/0.87	                                                                  Rule 0
3.38/0.87	                                                                Rule 0
3.38/0.87	                                                              Rule 0
3.38/0.87	                                                            Rule 0
3.38/0.87	                                                          Rule 0
3.38/0.87	                                                        Rule 0
3.38/0.87	                                                      Rule 0
3.38/0.87	                                                    Rule 0
3.38/0.88	                                                  Rule 0
3.38/0.88	                                                Rule 0
3.38/0.88	                                              Rule 0
3.38/0.88	                                            Rule 0
3.38/0.88	                                          Rule 0
3.38/0.88	                                        Rule 0
3.38/0.88	                                      Rule 0
3.38/0.88	                                    Rule 0
3.38/0.88	                                  Rule 0
3.38/0.88	                                Rule 0
3.38/0.88	                              Rule 0
3.38/0.88	                            Rule 0
3.38/0.88	                          Rule 0
3.38/0.88	                        Rule 0
3.38/0.88	                      Rule 0
3.38/0.88	                    Rule 0
3.38/0.88	                  Rule 0
3.38/0.88	                Rule 0
3.38/0.88	              Rule 0
3.38/0.88	            Rule 0
3.38/0.88	          Rule 0
3.38/0.88	        Rule 0
3.38/0.88	      Rule 0
3.38/0.88	    Rule 0
3.38/0.88	  
3.38/0.88	
3.38/0.88	**************************************************
3.38/0.88	          summary
3.38/0.88	**************************************************
3.38/0.89	SRS with 1 rules on 3 letters       Remap   { tracing = False}
3.38/0.89	SRS with 1 rules on 3 letters       looping SRS derivation
3.38/0.89	Closure source : abbcccccccccccccccccccccccccccccccccccccccccc
3.38/0.89	target : cccccccabbccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb
3.38/0.89	steps  : 64
3.38/0.89	strict  : True
3.38/0.89	last_rule_app_source  : 0
3.38/0.89	last_rule_app_target  : 45
3.38/0.89	reason : Overlap (Inside 45)
3.38/0.89	  Overlap (Inside 48)
3.38/0.89	    Overlap (Inside 52)
3.38/0.89	      Overlap (Inside 55)
3.38/0.89	        Overlap (Inside 60)
3.38/0.89	          Overlap (Inside 63)
3.38/0.89	            Overlap (Inside 67)
3.38/0.89	              Overlap (Inside 70)
3.38/0.89	                Overlap (Inside 76)
3.38/0.89	                  Overlap (Inside 79)
3.38/0.89	                    Overlap (Inside 83)
3.38/0.89	                      Overlap (Inside 86)
3.38/0.89	                        Overlap (Inside 91)
3.38/0.89	                          Overlap (Inside 94)
3.38/0.89	                            Overlap (Inside 98)
3.38/0.89	                              Overlap (Inside 101)
3.38/0.89	                                Overlap (Inside 108)
3.38/0.89	                                  Overlap (Inside 111)
3.38/0.89	                                    Overlap (Inside 115)
3.38/0.89	                                      Overlap (Inside 118)
3.38/0.89	                                        Overlap (Inside 123)
3.38/0.89	                                          Overlap (Inside 126)
3.38/0.89	                                            Overlap (Inside 130)
3.38/0.89	                                              Overlap (Inside 133)
3.38/0.89	                                                Overlap (Inside 139)
3.38/0.89	                                                  Overlap (Inside 142)
3.38/0.89	                                                    Overlap (Inside 146)
3.38/0.89	                                                      Overlap (Inside 149)
3.38/0.89	                                                        Overlap (Inside 154)
3.38/0.90	                                                          Overlap (Inside 157)
3.38/0.90	                                                            Overlap (Inside 161)
3.38/0.90	                                                              Overlap (Right 3)
3.38/0.90	                                                                Overlap (Inside 38)
3.38/0.90	                                                                  Overlap (Inside 41)
3.38/0.90	                                                                    Overlap (Inside 45)
3.38/0.90	                                                                      Overlap (Inside 48)
3.38/0.90	                                                                        Overlap (Inside 53)
3.38/0.90	                                                                          Overlap (Inside 56)
3.38/0.90	                                                                            Overlap (Inside 60)
3.38/0.90	                                                                              Overlap (Inside 63)
3.38/0.90	                                                                                Overlap (Inside 69)
3.38/0.90	                                                                                  Overlap (Inside 72)
3.38/0.90	                                                                                    Overlap (Inside 76)
3.38/0.90	                                                                                      Overlap (Inside 79)
3.38/0.90	                                                                                        Overlap (Inside 84)
3.38/0.90	                                                                                          Overlap (Inside 87)
3.38/0.90	                                                                                            Overlap (Inside 91)
3.38/0.90	                                                                                              Overlap (Right 3)
3.38/0.90	                                                                                                Overlap (Inside 31)
3.38/0.90	                                                                                                  Overlap (Inside 34)
3.38/0.90	                                                                                                    Overlap (Inside 38)
3.38/0.90	                                                                                                      Overlap (Inside 41)
3.38/0.90	                                                                                                        Overlap (Inside 46)
3.38/0.90	                                                                                                          Overlap (Inside 49)
3.38/0.90	                                                                                                            Overlap (Inside 53)
3.38/0.90	                                                                                                              Overlap (Right 3)
3.38/0.90	                                                                                                                Overlap (Inside 24)
3.38/0.90	                                                                                                                  Overlap (Inside 27)
3.38/0.90	                                                                                                                    Overlap (Inside 31)
3.38/0.90	                                                                                                                      Overlap (Right 3)
3.38/0.90	                                                                                                                        Overlap (Inside 17)
3.38/0.90	                                                                                                                          Overlap (Right 3)
3.38/0.90	                                                                                                                            Overlap (Right 3)
3.38/0.90	                                                                                                                              Rule 0
3.38/0.90	                                                                                                                              Rule 0
3.38/0.90	                                                                                                                            Rule 0
3.38/0.90	                                                                                                                          Rule 0
3.38/0.90	                                                                                                                        Rule 0
3.38/0.90	                                                                                                                      Rule 0
3.38/0.90	                                                                                                                    Rule 0
3.38/0.90	                                                                                                                  Rule 0
3.38/0.90	                                                                                                                Rule 0
3.38/0.90	                                                                                                              Rule 0
3.38/0.90	                                                                                                            Rule 0
3.38/0.90	                                                                                                          Rule 0
3.38/0.90	                                                                                                        Rule 0
3.38/0.90	                                                                                                      Rule 0
3.38/0.90	                                                                                                    Rule 0
3.38/0.90	                                                                                                  Rule 0
3.38/0.90	                                                                                                Rule 0
3.38/0.90	                                                                                              Rule 0
3.38/0.90	                                                                                            Rule 0
3.38/0.90	                                                                                          Rule 0
3.38/0.90	                                                                                        Rule 0
3.38/0.90	                                                                                      Rule 0
3.38/0.90	                                                                                    Rule 0
3.38/0.90	                                                                                  Rule 0
3.38/0.90	                                                                                Rule 0
3.38/0.90	                                                                              Rule 0
3.38/0.90	                                                                            Rule 0
3.38/0.90	                                                                          Rule 0
3.38/0.90	                                                                        Rule 0
3.38/0.90	                                                                      Rule 0
3.38/0.90	                                                                    Rule 0
3.38/0.90	                                                                  Rule 0
3.38/0.91	                                                                Rule 0
3.38/0.91	                                                              Rule 0
3.38/0.91	                                                            Rule 0
3.38/0.91	                                                          Rule 0
3.38/0.91	                                                        Rule 0
3.38/0.91	                                                      Rule 0
3.38/0.91	                                                    Rule 0
3.38/0.91	                                                  Rule 0
3.38/0.91	                                                Rule 0
3.38/0.91	                                              Rule 0
3.38/0.91	                                            Rule 0
3.38/0.91	                                          Rule 0
3.38/0.91	                                        Rule 0
3.38/0.91	                                      Rule 0
3.38/0.91	                                    Rule 0
3.38/0.91	                                  Rule 0
3.38/0.91	                                Rule 0
3.38/0.91	                              Rule 0
3.38/0.91	                            Rule 0
3.38/0.91	                          Rule 0
3.38/0.91	                        Rule 0
3.38/0.91	                      Rule 0
3.38/0.91	                    Rule 0
3.38/0.91	                  Rule 0
3.38/0.91	                Rule 0
3.38/0.91	              Rule 0
3.38/0.91	            Rule 0
3.38/0.91	          Rule 0
3.38/0.91	        Rule 0
3.38/0.91	      Rule 0
3.38/0.91	    Rule 0
3.38/0.91	  Rule 0
3.38/0.91	
3.38/0.91	
3.38/0.91	**************************************************
3.38/0.91	(1, 3)\Loop[]
3.38/0.91	**************************************************
4.19/1.12	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.19/1.12	in Apply (Worker Remap) (First_Of ([ yeah] <> noh))
4.19/1.14	EOF