0.00/0.40	NO
0.00/0.41	Loop of length 15 starting with a string of length 12 using right expansion
0.00/0.41	and the encoding {0=a, 1=b}:
0.00/0.41	
0.00/0.41	.aaaa.aabababa
0.00/0.41		rule aaaa -> aabb at position 0
0.00/0.41	.aabb.aabababa
0.00/0.41		rule baab -> aaba at position 3
0.00/0.41	.aabaaba.ababa
0.00/0.41		rule baab -> aaba at position 5
0.00/0.41	.aabaaaaba.aba
0.00/0.41		rule aaaa -> aabb at position 3
0.00/0.41	.aabaabbba.aba
0.00/0.41		rule baab -> aaba at position 7
0.00/0.41	.aabaabbaaba.a
0.00/0.41		rule baab -> aaba at position 6
0.00/0.41	.aabaabaabaa.a
0.00/0.41		rule baab -> aaba at position 5
0.00/0.41	.aabaaaabaaa.a
0.00/0.41		rule aaaa -> aabb at position 3
0.00/0.41	.aabaabbbaaa.a
0.00/0.41		rule baab -> aaba at position 2
0.00/0.41	.aaaababbaaa.a
0.00/0.41		rule aaaa -> aabb at position 8
0.00/0.41	.aaaababbaabb.
0.00/0.41		rule baab -> aaba at position 7
0.00/0.41	.aaaababaabab.
0.00/0.41		rule baab -> aaba at position 6
0.00/0.41	.aaaabaaabaab.
0.00/0.41		rule baab -> aaba at position 8
0.00/0.41	.aaaabaaaaaba.
0.00/0.41		rule aaaa -> aabb at position 5
0.00/0.41	.aaaabaabbaba.
0.00/0.41		rule baab -> aaba at position 4
0.00/0.41	.aaaaaabababa.
0.00/0.45	EOF