0.00/0.33	NO
0.00/0.34	Loop of length 15 starting with a string of length 12 using right expansion
0.00/0.34	and the encoding {0=a, 1=b}:
0.00/0.34	
0.00/0.34	.aaaa.abababaa
0.00/0.34		rule aaaa -> abba at position 0
0.00/0.34	.abba.abababaa
0.00/0.34		rule baab -> aaba at position 2
0.00/0.34	.abaaba.ababaa
0.00/0.34		rule baab -> aaba at position 4
0.00/0.34	.abaaaaba.abaa
0.00/0.34		rule baab -> aaba at position 6
0.00/0.34	.abaaaaaaba.aa
0.00/0.34		rule aaaa -> abba at position 3
0.00/0.34	.abaabbaaba.aa
0.00/0.34		rule baab -> aaba at position 5
0.00/0.34	.abaabaabaa.aa
0.00/0.34		rule baab -> aaba at position 4
0.00/0.34	.abaaaabaaa.aa
0.00/0.34		rule aaaa -> abba at position 8
0.00/0.34	.abaaaabaabba.
0.00/0.34		rule baab -> aaba at position 6
0.00/0.34	.abaaaaaababa.
0.00/0.34		rule aaaa -> abba at position 3
0.00/0.34	.abaabbaababa.
0.00/0.34		rule baab -> aaba at position 1
0.00/0.34	.aaababaababa.
0.00/0.34		rule baab -> aaba at position 5
0.00/0.34	.aaabaaabaaba.
0.00/0.34		rule baab -> aaba at position 7
0.00/0.34	.aaabaaaaabaa.
0.00/0.34		rule aaaa -> abba at position 5
0.00/0.34	.aaabaabbabaa.
0.00/0.34		rule baab -> aaba at position 3
0.00/0.34	.aaaaabababaa.
0.00/0.38	EOF