3.12/0.98 NO 3.12/0.99 Loop of length 64 starting with a string of length 58 using right expansion 3.12/0.99 and the encoding {a=a, b=b}: 3.12/0.99 3.12/0.99 .abaaaaaaaa.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 0 3.12/0.99 .aaaaaaaaaabaab.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 12 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaabaab.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 24 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaabaaaaaaaaaaabaab.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 21 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaabaabaaabaab.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 40 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaabaabaaabaaaaaaaaaaabaab.aaaaaaaaaaaaaaaaaaaaaaaa 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 37 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaabaabaaaaaaaaaaaabaabaaabaab.aaaaaaaaaaaaaaaaaaaaaaaa 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 33 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaabaaaaaaaaaaabaabaaaabaabaaabaab.aaaaaaaaaaaaaaaaaaaaaaaa 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 30 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaab.aaaaaaaaaaaaaaaaaaaaaaaa 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 64 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaaaaaaaaaaabaab.aaaaaaaaaaaaaaaa 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 61 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaaaaaaaaaaabaabaaabaab.aaaaaaaaaaaaaaaa 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 57 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaaaaaaaaaaabaabaaaabaabaaabaab.aaaaaaaaaaaaaaaa 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 54 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaab.aaaaaaaaaaaaaaaa 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 49 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaaaaaaaaaaabaabaaaaabaabaaabaabaaaabaabaaabaab.aaaaaaaaaaaaaaaa 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 46 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaaaaaaaaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.aaaaaaaaaaaaaaaa 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 42 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaaaaaaaaaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.aaaaaaaaaaaaaaaa 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 39 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.aaaaaaaaaaaaaaaa 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 104 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaaaaaaaaaaabaab.aaaaaaaa 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 101 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaaaaaaaaaaabaabaaabaab.aaaaaaaa 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 97 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaaaaaaaaaaabaabaaaabaabaaabaab.aaaaaaaa 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 94 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaab.aaaaaaaa 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 89 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaaaaaaaaaaabaabaaaaabaabaaabaabaaaabaabaaabaab.aaaaaaaa 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 86 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaaaaaaaaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.aaaaaaaa 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 82 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaaaaaaaaaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.aaaaaaaa 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 79 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.aaaaaaaa 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 73 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaaaaaaaaaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.aaaaaaaa 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 70 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaaaaaaaaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.aaaaaaaa 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 66 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaaaaaaaaaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.aaaaaaaa 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 63 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.aaaaaaaa 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 58 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaaaaaaaaaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.aaaaaaaa 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 55 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaaaaaaaaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.aaaaaaaa 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 51 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaaaaaaaaaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.aaaaaaaa 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 48 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.aaaaaaaa 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 176 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaaaaaaaaaaabaab. 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 173 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaaaaaaaaaaabaabaaabaab. 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 169 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaaaaaaaaaaabaabaaaabaabaaabaab. 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 166 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaab. 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 161 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaaaaaaaaaaabaabaaaaabaabaaabaabaaaabaabaaabaab. 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 158 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaaaaaaaaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab. 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 154 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaaaaaaaaaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab. 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 151 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab. 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 145 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaaaaaaaaaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab. 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 142 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaaaaaaaaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab. 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 138 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaaaaaaaaaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab. 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 135 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab. 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 130 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaaaaaaaaaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab. 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 127 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaaaaaaaaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab. 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 123 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaaaaaaaaaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab. 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 120 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab. 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 113 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaaaaaaaaaaabaabaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab. 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 110 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaaaaaaaaaaabaabaaabaabaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab. 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 106 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaaaaaaaaaaabaabaaaabaabaaabaabaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab. 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 103 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab. 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 98 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaaaaaaaaaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab. 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 95 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaaaaaaaaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab. 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 91 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaaaaaaaaaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab. 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 88 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab. 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 82 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaaaaaaaaaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab. 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 79 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaaaaaaaaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab. 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 75 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaaaaaaaaaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab. 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 72 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab. 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 67 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaaaaaaaaaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab. 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 64 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaaaaaaaaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab. 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 60 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaaaaaaaaaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab. 3.12/0.99 rule abaaaaaaaa -> aaaaaaaaaabaab at position 57 3.12/0.99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab. 3.98/1.23 EOF