10.78/2.78	NO
10.78/2.78	property Termination
10.78/2.78	has value False
10.78/2.78	for SRS ( [a, b, a, a, a, a, a, a, a, a] -> [a, a, a, a, a, a, a, a, a, a, b, a, a, b])
10.78/2.78	reason
10.78/2.78	  remap for 1 rules
10.78/2.78	   property Termination
10.78/2.78	has value False
10.78/2.78	for SRS ( [0, 1, 0, 0, 0, 0, 0, 0, 0, 0] -> [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1])
10.78/2.78	reason
10.78/2.78	  looping SRS derivation
10.78/2.78	  Closure source : abaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
10.78/2.78	  target : aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab
10.78/2.78	  steps  : 64
10.78/2.78	  strict  : True
10.78/2.78	  last_rule_app_source  : 0
10.78/2.78	  last_rule_app_target  : 57
10.78/2.78	  reason : Overlap (Inside 57)
10.78/2.78	    Overlap (Inside 60)
10.78/2.78	      Overlap (Inside 64)
10.78/2.78	        Overlap (Inside 67)
10.78/2.78	          Overlap (Inside 72)
10.78/2.78	            Overlap (Inside 75)
10.78/2.78	              Overlap (Inside 79)
10.78/2.79	                Overlap (Inside 82)
10.78/2.79	                  Overlap (Inside 88)
10.78/2.79	                    Overlap (Inside 91)
10.78/2.79	                      Overlap (Inside 95)
10.78/2.79	                        Overlap (Inside 98)
10.78/2.79	                          Overlap (Inside 103)
10.78/2.79	                            Overlap (Inside 106)
10.78/2.79	                              Overlap (Inside 110)
10.78/2.79	                                Overlap (Inside 113)
10.78/2.79	                                  Overlap (Inside 120)
10.78/2.79	                                    Overlap (Inside 123)
10.78/2.79	                                      Overlap (Inside 127)
10.78/2.79	                                        Overlap (Inside 130)
10.78/2.79	                                          Overlap (Inside 135)
10.78/2.79	                                            Overlap (Inside 138)
10.78/2.79	                                              Overlap (Inside 142)
10.78/2.79	                                                Overlap (Inside 145)
10.78/2.79	                                                  Overlap (Inside 151)
10.78/2.79	                                                    Overlap (Inside 154)
10.78/2.79	                                                      Overlap (Inside 158)
10.78/2.79	                                                        Overlap (Inside 161)
10.78/2.79	                                                          Overlap (Inside 166)
10.78/2.79	                                                            Overlap (Inside 169)
10.78/2.79	                                                              Overlap (Inside 173)
10.78/2.79	                                                                Overlap (Right 2)
10.78/2.79	                                                                  Overlap (Inside 48)
10.78/2.79	                                                                    Overlap (Inside 51)
10.78/2.79	                                                                      Overlap (Inside 55)
10.78/2.79	                                                                        Overlap (Inside 58)
10.78/2.79	                                                                          Overlap (Inside 63)
10.78/2.79	                                                                            Overlap (Inside 66)
10.78/2.79	                                                                              Overlap (Inside 70)
10.78/2.79	                                                                                Overlap (Inside 73)
10.78/2.79	                                                                                  Overlap (Inside 79)
10.78/2.79	                                                                                    Overlap (Inside 82)
10.78/2.79	                                                                                      Overlap (Inside 86)
10.78/2.79	                                                                                        Overlap (Inside 89)
10.78/2.79	                                                                                          Overlap (Inside 94)
10.78/2.79	                                                                                            Overlap (Inside 97)
10.78/2.79	                                                                                              Overlap (Inside 101)
10.78/2.79	                                                                                                Overlap (Right 2)
10.78/2.79	                                                                                                  Overlap (Inside 39)
10.78/2.79	                                                                                                    Overlap (Inside 42)
10.78/2.79	                                                                                                      Overlap (Inside 46)
10.78/2.79	                                                                                                        Overlap (Inside 49)
10.78/2.79	                                                                                                          Overlap (Inside 54)
10.78/2.79	                                                                                                            Overlap (Inside 57)
10.78/2.79	                                                                                                              Overlap (Inside 61)
10.78/2.79	                                                                                                                Overlap (Right 2)
10.78/2.79	                                                                                                                  Overlap (Inside 30)
10.78/2.79	                                                                                                                    Overlap (Inside 33)
10.78/2.79	                                                                                                                      Overlap (Inside 37)
10.78/2.79	                                                                                                                        Overlap (Right 2)
10.78/2.79	                                                                                                                          Overlap (Inside 21)
10.78/2.79	                                                                                                                            Overlap (Right 2)
10.78/2.79	                                                                                                                              Overlap (Right 2)
10.78/2.79	                                                                                                                                Rule 0
10.78/2.79	                                                                                                                                Rule 0
10.78/2.79	                                                                                                                              Rule 0
10.78/2.79	                                                                                                                            Rule 0
10.78/2.79	                                                                                                                          Rule 0
10.78/2.79	                                                                                                                        Rule 0
10.78/2.79	                                                                                                                      Rule 0
10.78/2.79	                                                                                                                    Rule 0
10.78/2.79	                                                                                                                  Rule 0
10.78/2.79	                                                                                                                Rule 0
10.78/2.79	                                                                                                              Rule 0
10.78/2.79	                                                                                                            Rule 0
10.78/2.79	                                                                                                          Rule 0
10.78/2.79	                                                                                                        Rule 0
10.78/2.79	                                                                                                      Rule 0
10.78/2.80	                                                                                                    Rule 0
10.78/2.80	                                                                                                  Rule 0
10.78/2.80	                                                                                                Rule 0
10.78/2.80	                                                                                              Rule 0
10.78/2.80	                                                                                            Rule 0
10.78/2.80	                                                                                          Rule 0
10.78/2.80	                                                                                        Rule 0
10.78/2.80	                                                                                      Rule 0
10.78/2.80	                                                                                    Rule 0
10.78/2.80	                                                                                  Rule 0
10.78/2.80	                                                                                Rule 0
10.78/2.80	                                                                              Rule 0
10.78/2.80	                                                                            Rule 0
10.78/2.80	                                                                          Rule 0
10.78/2.80	                                                                        Rule 0
10.78/2.80	                                                                      Rule 0
10.78/2.80	                                                                    Rule 0
10.78/2.80	                                                                  Rule 0
10.78/2.80	                                                                Rule 0
10.78/2.80	                                                              Rule 0
10.78/2.80	                                                            Rule 0
10.78/2.80	                                                          Rule 0
10.78/2.80	                                                        Rule 0
10.78/2.80	                                                      Rule 0
10.78/2.80	                                                    Rule 0
10.78/2.80	                                                  Rule 0
10.78/2.80	                                                Rule 0
10.78/2.80	                                              Rule 0
10.78/2.80	                                            Rule 0
10.78/2.80	                                          Rule 0
10.78/2.80	                                        Rule 0
10.78/2.80	                                      Rule 0
10.78/2.80	                                    Rule 0
10.78/2.80	                                  Rule 0
10.78/2.80	                                Rule 0
10.78/2.80	                              Rule 0
10.78/2.80	                            Rule 0
10.78/2.80	                          Rule 0
10.78/2.80	                        Rule 0
10.78/2.80	                      Rule 0
10.78/2.80	                    Rule 0
10.78/2.80	                  Rule 0
10.78/2.80	                Rule 0
10.78/2.80	              Rule 0
10.78/2.80	            Rule 0
10.78/2.80	          Rule 0
10.78/2.80	        Rule 0
10.78/2.80	      Rule 0
10.78/2.80	    Rule 0
10.78/2.80	  
10.78/2.80	
10.78/2.80	**************************************************
10.78/2.80	          summary
10.78/2.80	**************************************************
10.78/2.80	SRS with 1 rules on 2 letters       Remap   { tracing = False}
10.78/2.80	SRS with 1 rules on 2 letters       looping SRS derivation
10.78/2.80	Closure source : abaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
10.78/2.80	target : aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab
10.78/2.80	steps  : 64
10.78/2.80	strict  : True
10.78/2.80	last_rule_app_source  : 0
10.78/2.80	last_rule_app_target  : 57
10.78/2.80	reason : Overlap (Inside 57)
10.78/2.80	  Overlap (Inside 60)
10.78/2.80	    Overlap (Inside 64)
10.78/2.80	      Overlap (Inside 67)
10.78/2.80	        Overlap (Inside 72)
10.78/2.80	          Overlap (Inside 75)
10.78/2.80	            Overlap (Inside 79)
10.78/2.80	              Overlap (Inside 82)
10.78/2.80	                Overlap (Inside 88)
10.78/2.80	                  Overlap (Inside 91)
10.78/2.80	                    Overlap (Inside 95)
10.78/2.80	                      Overlap (Inside 98)
10.78/2.80	                        Overlap (Inside 103)
10.78/2.80	                          Overlap (Inside 106)
10.78/2.80	                            Overlap (Inside 110)
10.78/2.80	                              Overlap (Inside 113)
10.78/2.80	                                Overlap (Inside 120)
10.78/2.80	                                  Overlap (Inside 123)
10.78/2.80	                                    Overlap (Inside 127)
10.78/2.80	                                      Overlap (Inside 130)
10.78/2.80	                                        Overlap (Inside 135)
10.78/2.80	                                          Overlap (Inside 138)
10.78/2.80	                                            Overlap (Inside 142)
10.78/2.80	                                              Overlap (Inside 145)
10.78/2.80	                                                Overlap (Inside 151)
10.78/2.80	                                                  Overlap (Inside 154)
10.78/2.80	                                                    Overlap (Inside 158)
10.78/2.80	                                                      Overlap (Inside 161)
10.78/2.80	                                                        Overlap (Inside 166)
10.78/2.80	                                                          Overlap (Inside 169)
10.78/2.80	                                                            Overlap (Inside 173)
10.78/2.80	                                                              Overlap (Right 2)
10.78/2.80	                                                                Overlap (Inside 48)
10.78/2.80	                                                                  Overlap (Inside 51)
10.78/2.80	                                                                    Overlap (Inside 55)
10.78/2.80	                                                                      Overlap (Inside 58)
10.78/2.80	                                                                        Overlap (Inside 63)
10.78/2.80	                                                                          Overlap (Inside 66)
10.78/2.80	                                                                            Overlap (Inside 70)
10.78/2.80	                                                                              Overlap (Inside 73)
10.78/2.80	                                                                                Overlap (Inside 79)
10.78/2.80	                                                                                  Overlap (Inside 82)
10.78/2.80	                                                                                    Overlap (Inside 86)
10.78/2.80	                                                                                      Overlap (Inside 89)
10.78/2.80	                                                                                        Overlap (Inside 94)
10.78/2.80	                                                                                          Overlap (Inside 97)
10.78/2.80	                                                                                            Overlap (Inside 101)
10.78/2.80	                                                                                              Overlap (Right 2)
10.78/2.80	                                                                                                Overlap (Inside 39)
10.78/2.80	                                                                                                  Overlap (Inside 42)
10.78/2.80	                                                                                                    Overlap (Inside 46)
10.78/2.80	                                                                                                      Overlap (Inside 49)
10.78/2.80	                                                                                                        Overlap (Inside 54)
10.78/2.80	                                                                                                          Overlap (Inside 57)
10.78/2.80	                                                                                                            Overlap (Inside 61)
10.78/2.80	                                                                                                              Overlap (Right 2)
10.78/2.80	                                                                                                                Overlap (Inside 30)
10.78/2.80	                                                                                                                  Overlap (Inside 33)
10.78/2.80	                                                                                                                    Overlap (Inside 37)
10.78/2.80	                                                                                                                      Overlap (Right 2)
10.78/2.80	                                                                                                                        Overlap (Inside 21)
10.78/2.80	                                                                                                                          Overlap (Right 2)
10.78/2.80	                                                                                                                            Overlap (Right 2)
10.78/2.80	                                                                                                                              Rule 0
10.78/2.80	                                                                                                                              Rule 0
10.78/2.80	                                                                                                                            Rule 0
10.78/2.80	                                                                                                                          Rule 0
10.78/2.80	                                                                                                                        Rule 0
10.78/2.80	                                                                                                                      Rule 0
10.78/2.80	                                                                                                                    Rule 0
10.78/2.80	                                                                                                                  Rule 0
10.78/2.80	                                                                                                                Rule 0
10.78/2.80	                                                                                                              Rule 0
10.78/2.80	                                                                                                            Rule 0
10.78/2.80	                                                                                                          Rule 0
10.78/2.80	                                                                                                        Rule 0
10.78/2.80	                                                                                                      Rule 0
10.78/2.80	                                                                                                    Rule 0
10.78/2.80	                                                                                                  Rule 0
10.78/2.80	                                                                                                Rule 0
10.78/2.80	                                                                                              Rule 0
10.78/2.80	                                                                                            Rule 0
10.78/2.80	                                                                                          Rule 0
10.78/2.80	                                                                                        Rule 0
10.78/2.80	                                                                                      Rule 0
10.78/2.80	                                                                                    Rule 0
10.78/2.80	                                                                                  Rule 0
10.78/2.80	                                                                                Rule 0
10.78/2.81	                                                                              Rule 0
10.78/2.81	                                                                            Rule 0
10.78/2.81	                                                                          Rule 0
10.78/2.81	                                                                        Rule 0
10.78/2.81	                                                                      Rule 0
10.78/2.81	                                                                    Rule 0
10.78/2.81	                                                                  Rule 0
10.78/2.81	                                                                Rule 0
10.78/2.81	                                                              Rule 0
10.78/2.81	                                                            Rule 0
10.78/2.81	                                                          Rule 0
10.78/2.81	                                                        Rule 0
10.78/2.81	                                                      Rule 0
10.78/2.81	                                                    Rule 0
10.78/2.81	                                                  Rule 0
10.78/2.81	                                                Rule 0
10.78/2.81	                                              Rule 0
10.78/2.81	                                            Rule 0
10.78/2.81	                                          Rule 0
10.78/2.81	                                        Rule 0
10.78/2.81	                                      Rule 0
10.78/2.81	                                    Rule 0
10.78/2.81	                                  Rule 0
10.78/2.81	                                Rule 0
10.78/2.81	                              Rule 0
10.78/2.81	                            Rule 0
10.78/2.81	                          Rule 0
10.78/2.81	                        Rule 0
10.78/2.81	                      Rule 0
10.78/2.81	                    Rule 0
10.78/2.81	                  Rule 0
10.78/2.81	                Rule 0
10.78/2.81	              Rule 0
10.78/2.81	            Rule 0
10.78/2.81	          Rule 0
10.78/2.81	        Rule 0
10.78/2.81	      Rule 0
10.78/2.81	    Rule 0
10.78/2.81	  Rule 0
10.78/2.81	
10.78/2.81	
10.78/2.81	**************************************************
10.78/2.81	(1, 2)\Loop[]
10.78/2.81	**************************************************
11.13/2.86	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]}
11.13/2.86	in Apply (Worker Remap) (First_Of ([ yeah] <> noh))
11.27/2.95	EOF