334.64/86.34 NO 334.64/86.34 Loop of length 80 starting with a string of length 21 using right expansion 334.64/86.34 and the encoding {0=a, 1=b}: 334.64/86.34 334.64/86.34 .aaaa.aababababbababbab 334.64/86.34 rule aaaa -> abbb at position 0 334.64/86.34 .abbb.aababababbababbab 334.64/86.34 rule baab -> aaba at position 3 334.64/86.34 .abbaaba.abababbababbab 334.64/86.34 rule baab -> aaba at position 5 334.64/86.34 .abbaaaaba.ababbababbab 334.64/86.34 rule baab -> aaba at position 7 334.64/86.34 .abbaaaaaaba.abbababbab 334.64/86.34 rule aaaa -> abbb at position 5 334.64/86.34 .abbaaabbbba.abbababbab 334.64/86.34 rule baab -> aaba at position 9 334.64/86.34 .abbaaabbbaaba.bababbab 334.64/86.34 rule baab -> aaba at position 8 334.64/86.34 .abbaaabbaabaa.bababbab 334.64/86.34 rule baab -> aaba at position 10 334.64/86.34 .abbaaabbaaaaba.ababbab 334.64/86.34 rule baab -> aaba at position 12 334.64/86.34 .abbaaabbaaaaaaba.abbab 334.64/86.34 rule aaaa -> abbb at position 10 334.64/86.34 .abbaaabbaaabbbba.abbab 334.64/86.34 rule baab -> aaba at position 14 334.64/86.34 .abbaaabbaaabbbaaba.bab 334.64/86.34 rule baab -> aaba at position 13 334.64/86.34 .abbaaabbaaabbaabaa.bab 334.64/86.34 rule baab -> aaba at position 15 334.64/86.34 .abbaaabbaaabbaaaaba.ab 334.64/86.34 rule baab -> aaba at position 17 334.64/86.34 .abbaaabbaaabbaaaaaaba. 334.64/86.34 rule aaaa -> abbb at position 14 334.64/86.34 .abbaaabbaaabbaabbbaba. 334.64/86.34 rule baab -> aaba at position 12 334.64/86.34 .abbaaabbaaabaababbaba. 334.64/86.34 rule baab -> aaba at position 11 334.64/86.34 .abbaaabbaaaaabaabbaba. 334.64/86.34 rule aaaa -> abbb at position 9 334.64/86.34 .abbaaabbaabbbbaabbaba. 334.64/86.34 rule baab -> aaba at position 13 334.64/86.34 .abbaaabbaabbbaabababa. 334.64/86.34 rule baab -> aaba at position 12 334.64/86.34 .abbaaabbaabbaabaababa. 334.64/86.34 rule baab -> aaba at position 14 334.64/86.34 .abbaaabbaabbaaaabaaba. 334.64/86.34 rule aaaa -> abbb at position 12 334.64/86.34 .abbaaabbaabbabbbbaaba. 334.64/86.34 rule baab -> aaba at position 16 334.64/86.34 .abbaaabbaabbabbbaabaa. 334.64/86.34 rule baab -> aaba at position 15 334.64/86.34 .abbaaabbaabbabbaabaaa. 334.64/86.34 rule baab -> aaba at position 14 334.64/86.34 .abbaaabbaabbabaabaaaa. 334.64/86.34 rule baab -> aaba at position 13 334.64/86.34 .abbaaabbaabbaaabaaaaa. 334.64/86.34 rule aaaa -> abbb at position 17 334.64/86.34 .abbaaabbaabbaaabaabbb. 334.64/86.34 rule baab -> aaba at position 15 334.64/86.34 .abbaaabbaabbaaaaababb. 334.64/86.34 rule aaaa -> abbb at position 13 334.64/86.34 .abbaaabbaabbaabbbbabb. 334.64/86.34 rule baab -> aaba at position 11 334.64/86.34 .abbaaabbaabaababbbabb. 334.64/86.34 rule baab -> aaba at position 10 334.64/86.34 .abbaaabbaaaabaabbbabb. 334.64/86.34 rule baab -> aaba at position 12 334.64/86.34 .abbaaabbaaaaaababbabb. 334.64/86.34 rule aaaa -> abbb at position 9 334.64/86.34 .abbaaabbaabbbababbabb. 334.64/86.34 rule baab -> aaba at position 7 334.64/86.34 .abbaaabaababbababbabb. 334.64/86.34 rule baab -> aaba at position 6 334.64/86.34 .abbaaaaabaabbababbabb. 334.64/86.34 rule aaaa -> abbb at position 4 334.64/86.34 .abbaabbbbaabbababbabb. 334.64/86.34 rule baab -> aaba at position 2 334.64/86.34 .abaababbbaabbababbabb. 334.64/86.34 rule baab -> aaba at position 1 334.64/86.34 .aaabaabbbaabbababbabb. 334.64/86.34 rule baab -> aaba at position 3 334.64/86.34 .aaaaababbaabbababbabb. 334.64/86.34 rule aaaa -> abbb at position 1 334.64/86.34 .aabbbbabbaabbababbabb. 334.64/86.34 rule baab -> aaba at position 8 334.64/86.34 .aabbbbabaababababbabb. 334.64/86.34 rule baab -> aaba at position 7 334.64/86.34 .aabbbbaaabaabababbabb. 334.64/86.34 rule baab -> aaba at position 9 334.64/86.34 .aabbbbaaaaabaababbabb. 334.64/86.34 rule baab -> aaba at position 11 334.64/86.34 .aabbbbaaaaaaabaabbabb. 334.64/86.34 rule aaaa -> abbb at position 9 334.64/86.34 .aabbbbaaaabbbbaabbabb. 334.64/86.34 rule baab -> aaba at position 13 334.64/86.34 .aabbbbaaaabbbaabababb. 334.64/86.34 rule baab -> aaba at position 12 334.64/86.34 .aabbbbaaaabbaabaababb. 334.64/86.34 rule baab -> aaba at position 14 334.64/86.34 .aabbbbaaaabbaaaabaabb. 334.64/86.34 rule baab -> aaba at position 16 334.64/86.34 .aabbbbaaaabbaaaaaabab. 334.64/86.34 rule aaaa -> abbb at position 13 334.64/86.34 .aabbbbaaaabbaabbbabab. 334.64/86.34 rule baab -> aaba at position 11 334.64/86.34 .aabbbbaaaabaababbabab. 334.64/86.34 rule baab -> aaba at position 10 334.64/86.34 .aabbbbaaaaaabaabbabab. 334.64/86.34 rule aaaa -> abbb at position 8 334.64/86.34 .aabbbbaaabbbbaabbabab. 334.64/86.34 rule baab -> aaba at position 12 334.64/86.34 .aabbbbaaabbbaabababab. 334.64/86.34 rule baab -> aaba at position 11 334.64/86.34 .aabbbbaaabbaabaababab. 334.64/86.34 rule baab -> aaba at position 13 334.64/86.34 .aabbbbaaabbaaaabaabab. 334.64/86.34 rule baab -> aaba at position 15 334.64/86.34 .aabbbbaaabbaaaaaabaab. 334.64/86.34 rule aaaa -> abbb at position 12 334.64/86.34 .aabbbbaaabbaabbbabaab. 334.64/86.34 rule baab -> aaba at position 10 334.64/86.34 .aabbbbaaabaababbabaab. 334.64/86.34 rule baab -> aaba at position 9 334.64/86.34 .aabbbbaaaaabaabbabaab. 334.64/86.34 rule aaaa -> abbb at position 7 334.64/86.34 .aabbbbaabbbbaabbabaab. 334.64/86.34 rule baab -> aaba at position 5 334.64/86.34 .aabbbaababbbaabbabaab. 334.64/86.34 rule baab -> aaba at position 4 334.64/86.34 .aabbaabaabbbaabbabaab. 334.64/86.34 rule baab -> aaba at position 6 334.64/86.34 .aabbaaaababbaabbabaab. 334.64/86.34 rule baab -> aaba at position 11 334.64/86.34 .aabbaaaababaabababaab. 334.64/86.34 rule baab -> aaba at position 10 334.64/86.34 .aabbaaaabaaabaababaab. 334.64/86.34 rule baab -> aaba at position 12 334.64/86.34 .aabbaaaabaaaaabaabaab. 334.64/86.34 rule aaaa -> abbb at position 10 334.64/86.34 .aabbaaaabaabbbbaabaab. 334.64/86.34 rule baab -> aaba at position 14 334.64/86.34 .aabbaaaabaabbbaabaaab. 334.64/86.34 rule baab -> aaba at position 13 334.64/86.34 .aabbaaaabaabbaabaaaab. 334.64/86.34 rule baab -> aaba at position 12 334.64/86.34 .aabbaaaabaabaabaaaaab. 334.64/86.34 rule baab -> aaba at position 11 334.64/86.34 .aabbaaaabaaaabaaaaaab. 334.64/86.34 rule aaaa -> abbb at position 15 334.64/86.34 .aabbaaaabaaaabaabbbab. 334.64/86.34 rule baab -> aaba at position 13 334.64/86.34 .aabbaaaabaaaaaababbab. 334.64/86.34 rule aaaa -> abbb at position 10 334.64/86.34 .aabbaaaabaabbbababbab. 334.64/86.34 rule baab -> aaba at position 8 334.64/86.34 .aabbaaaaaababbababbab. 334.64/86.34 rule aaaa -> abbb at position 5 334.64/86.34 .aabbaabbbababbababbab. 334.64/86.34 rule baab -> aaba at position 3 334.64/86.34 .aabaababbababbababbab. 334.64/86.34 rule baab -> aaba at position 2 334.64/86.34 .aaaabaabbababbababbab. 334.64/86.34 rule baab -> aaba at position 4 334.64/86.34 .aaaaaababababbababbab. 334.92/86.42 EOF