0.00/0.28	NO
0.00/0.28	Loop of length 25 starting with a string of length 11 using right expansion
0.00/0.28	and the encoding {0=a, 1=b}:
0.00/0.28	
0.00/0.28	.aaaa.abbbbab
0.00/0.28		rule aaaa -> abbb at position 0
0.00/0.28	.abbb.abbbbab
0.00/0.28		rule babb -> aaba at position 3
0.00/0.28	.abbaaba.bbab
0.00/0.28		rule babb -> aaba at position 5
0.00/0.28	.abbaaaaba.ab
0.00/0.28		rule aaaa -> abbb at position 3
0.00/0.28	.abbabbbba.ab
0.00/0.28		rule babb -> aaba at position 2
0.00/0.28	.abaababba.ab
0.00/0.28		rule babb -> aaba at position 4
0.00/0.28	.abaaaabaa.ab
0.00/0.28		rule aaaa -> abbb at position 2
0.00/0.28	.ababbbbaa.ab
0.00/0.28		rule babb -> aaba at position 1
0.00/0.28	.aaababbaa.ab
0.00/0.28		rule babb -> aaba at position 3
0.00/0.28	.aaaaabaaa.ab
0.00/0.28		rule aaaa -> abbb at position 1
0.00/0.28	.aabbbbaaa.ab
0.00/0.28		rule aaaa -> abbb at position 6
0.00/0.28	.aabbbbabbb.b
0.00/0.28		rule babb -> aaba at position 5
0.00/0.28	.aabbbaabab.b
0.00/0.28		rule babb -> aaba at position 7
0.00/0.28	.aabbbaaaaba.
0.00/0.28		rule aaaa -> abbb at position 5
0.00/0.28	.aabbbabbbba.
0.00/0.28		rule babb -> aaba at position 4
0.00/0.28	.aabbaababba.
0.00/0.28		rule babb -> aaba at position 6
0.00/0.28	.aabbaaaabaa.
0.00/0.28		rule aaaa -> abbb at position 4
0.00/0.28	.aabbabbbbaa.
0.00/0.28		rule babb -> aaba at position 3
0.00/0.28	.aabaababbaa.
0.00/0.28		rule babb -> aaba at position 5
0.00/0.28	.aabaaaabaaa.
0.00/0.28		rule aaaa -> abbb at position 3
0.00/0.28	.aababbbbaaa.
0.00/0.28		rule babb -> aaba at position 2
0.00/0.28	.aaaababbaaa.
0.00/0.28		rule babb -> aaba at position 4
0.00/0.28	.aaaaaabaaaa.
0.00/0.28		rule aaaa -> abbb at position 7
0.00/0.28	.aaaaaababbb.
0.00/0.28		rule babb -> aaba at position 6
0.00/0.28	.aaaaaaaabab.
0.00/0.28		rule aaaa -> abbb at position 4
0.00/0.28	.aaaaabbbbab.
0.00/0.31	EOF