14.63/3.78	NO
14.63/3.78	property Termination
14.63/3.78	has value False
14.63/3.78	for SRS ( [b, a, b, a, b, a, a] -> [a, a, a, a, a, b, a, b, a, b, a, b, a])
14.63/3.78	reason
14.63/3.78	  remap for 1 rules
14.63/3.78	   property Termination
14.63/3.78	has value False
14.63/3.78	for SRS ( [0, 1, 0, 1, 0, 1, 1] -> [1, 1, 1, 1, 1, 0, 1, 0, 1, 0, 1, 0, 1])
14.63/3.78	reason
14.63/3.78	  looping SRS derivation
14.63/3.78	  Closure source : ababababababababababababb
14.63/3.78	  target : bbbbbabbbbbbabbbbbbabbbbbbabbbbbbababbbbbbabbbbbbabbbbbbabbbbbbabbbbbbababbbbbbabbbbbbabbbbbbabbbbbbabbbbbbababbbbbbabbbbbbabbbbbbabbbbbbabbbbbbababbbbbbabbbbbbabbbbbbabbbbbbabbbbbbababababababababababababbbbbabababab
14.63/3.78	  steps  : 32
14.63/3.78	  strict  : True
14.63/3.78	  last_rule_app_source  : 0
14.63/3.78	  last_rule_app_target  : 176
14.63/3.78	  reason : Overlap (Inside 176)
14.63/3.78	    Overlap (Inside 169)
14.63/3.78	      Overlap (Inside 162)
14.63/3.78	        Overlap (Inside 155)
14.63/3.78	          Overlap (Inside 148)
14.63/3.78	            Overlap (Inside 154)
14.63/3.78	              Overlap (Inside 139)
14.63/3.78	                Overlap (Inside 132)
14.63/3.78	                  Overlap (Inside 125)
14.63/3.78	                    Overlap (Inside 118)
14.63/3.78	                      Overlap (Inside 111)
14.63/3.78	                        Overlap (Inside 117)
14.63/3.78	                          Overlap (Inside 102)
14.89/3.78	                            Overlap (Inside 95)
14.89/3.78	                              Overlap (Inside 88)
14.89/3.78	                                Overlap (Inside 81)
14.89/3.78	                                  Overlap (Inside 74)
14.89/3.78	                                    Overlap (Inside 80)
14.89/3.78	                                      Overlap (Inside 65)
14.89/3.78	                                        Overlap (Inside 58)
14.89/3.78	                                          Overlap (Inside 51)
14.89/3.78	                                            Overlap (Inside 44)
14.89/3.78	                                              Overlap (Inside 37)
14.89/3.78	                                                Overlap (Inside 43)
14.89/3.78	                                                  Overlap (Inside 28)
14.89/3.78	                                                    Overlap (Inside 21)
14.89/3.78	                                                      Overlap (Inside 14)
14.89/3.78	                                                        Overlap (Inside 7)
14.89/3.79	                                                          Overlap (Left 1)
14.89/3.79	                                                            Overlap (Left 1)
14.89/3.79	                                                              Overlap (Left 1)
14.89/3.79	                                                                Rule 0
14.89/3.79	                                                                Rule 0
14.89/3.79	                                                              Rule 0
14.89/3.79	                                                            Rule 0
14.89/3.79	                                                          Rule 0
14.89/3.79	                                                        Rule 0
14.89/3.79	                                                      Rule 0
14.89/3.79	                                                    Rule 0
14.89/3.79	                                                  Rule 0
14.89/3.79	                                                Rule 0
14.89/3.79	                                              Rule 0
14.89/3.79	                                            Rule 0
14.89/3.79	                                          Rule 0
14.89/3.79	                                        Rule 0
14.89/3.79	                                      Rule 0
14.89/3.79	                                    Rule 0
14.89/3.79	                                  Rule 0
14.89/3.79	                                Rule 0
14.89/3.79	                              Rule 0
14.89/3.79	                            Rule 0
14.89/3.79	                          Rule 0
14.89/3.79	                        Rule 0
14.89/3.79	                      Rule 0
14.89/3.79	                    Rule 0
14.89/3.79	                  Rule 0
14.89/3.79	                Rule 0
14.89/3.80	              Rule 0
14.89/3.80	            Rule 0
14.89/3.80	          Rule 0
14.89/3.80	        Rule 0
14.89/3.80	      Rule 0
14.89/3.80	    Rule 0
14.89/3.80	  
14.89/3.80	
14.89/3.80	**************************************************
14.89/3.80	          summary
14.89/3.80	**************************************************
14.89/3.80	SRS with 1 rules on 2 letters       Remap   { tracing = False}
14.89/3.80	SRS with 1 rules on 2 letters       looping SRS derivation
14.89/3.80	Closure source : ababababababababababababb
14.89/3.80	target : bbbbbabbbbbbabbbbbbabbbbbbabbbbbbababbbbbbabbbbbbabbbbbbabbbbbbabbbbbbababbbbbbabbbbbbabbbbbbabbbbbbabbbbbbababbbbbbabbbbbbabbbbbbabbbbbbabbbbbbababbbbbbabbbbbbabbbbbbabbbbbbabbbbbbababababababababababababbbbbabababab
14.89/3.80	steps  : 32
14.89/3.80	strict  : True
14.89/3.80	last_rule_app_source  : 0
14.89/3.80	last_rule_app_target  : 176
14.89/3.80	reason : Overlap (Inside 176)
14.89/3.80	  Overlap (Inside 169)
14.89/3.80	    Overlap (Inside 162)
14.89/3.80	      Overlap (Inside 155)
14.89/3.80	        Overlap (Inside 148)
14.89/3.80	          Overlap (Inside 154)
14.89/3.80	            Overlap (Inside 139)
14.89/3.81	              Overlap (Inside 132)
14.89/3.81	                Overlap (Inside 125)
14.89/3.81	                  Overlap (Inside 118)
14.89/3.81	                    Overlap (Inside 111)
14.89/3.81	                      Overlap (Inside 117)
14.89/3.81	                        Overlap (Inside 102)
14.89/3.81	                          Overlap (Inside 95)
14.89/3.81	                            Overlap (Inside 88)
14.89/3.81	                              Overlap (Inside 81)
14.89/3.81	                                Overlap (Inside 74)
14.89/3.81	                                  Overlap (Inside 80)
14.89/3.81	                                    Overlap (Inside 65)
14.89/3.81	                                      Overlap (Inside 58)
14.89/3.81	                                        Overlap (Inside 51)
14.89/3.81	                                          Overlap (Inside 44)
14.89/3.81	                                            Overlap (Inside 37)
14.89/3.81	                                              Overlap (Inside 43)
14.89/3.81	                                                Overlap (Inside 28)
14.89/3.81	                                                  Overlap (Inside 21)
14.89/3.81	                                                    Overlap (Inside 14)
14.89/3.81	                                                      Overlap (Inside 7)
14.89/3.82	                                                        Overlap (Left 1)
14.89/3.82	                                                          Overlap (Left 1)
14.89/3.82	                                                            Overlap (Left 1)
14.89/3.82	                                                              Rule 0
14.89/3.82	                                                              Rule 0
14.89/3.82	                                                            Rule 0
14.89/3.82	                                                          Rule 0
14.89/3.82	                                                        Rule 0
14.89/3.82	                                                      Rule 0
14.89/3.82	                                                    Rule 0
14.89/3.82	                                                  Rule 0
14.89/3.82	                                                Rule 0
14.89/3.82	                                              Rule 0
14.89/3.82	                                            Rule 0
14.89/3.82	                                          Rule 0
14.89/3.82	                                        Rule 0
14.89/3.82	                                      Rule 0
14.89/3.82	                                    Rule 0
14.89/3.82	                                  Rule 0
14.89/3.82	                                Rule 0
14.89/3.82	                              Rule 0
14.89/3.82	                            Rule 0
14.89/3.82	                          Rule 0
14.89/3.82	                        Rule 0
14.89/3.82	                      Rule 0
14.89/3.82	                    Rule 0
14.89/3.82	                  Rule 0
14.89/3.82	                Rule 0
14.89/3.83	              Rule 0
14.89/3.83	            Rule 0
14.89/3.83	          Rule 0
14.89/3.83	        Rule 0
14.89/3.83	      Rule 0
14.89/3.83	    Rule 0
14.89/3.83	  Rule 0
14.89/3.83	
14.89/3.83	
14.89/3.83	**************************************************
14.89/3.83	(1, 2)\Loop[]
14.89/3.83	**************************************************
22.55/5.74	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]}
22.55/5.74	in Apply (Worker Remap) (First_Of ([ yeah] <> noh))
22.83/5.81	EOF