0.00/0.29 NO 0.00/0.29 Loop of length 30 starting with a string of length 13 using right expansion 0.00/0.29 and the encoding {0=a, 1=b}: 0.00/0.29 0.00/0.29 .aaaa.aabababab 0.00/0.29 rule aaaa -> abab at position 0 0.00/0.29 .abab.aabababab 0.00/0.29 rule baab -> aaba at position 3 0.00/0.29 .abaaaba.ababab 0.00/0.29 rule baab -> aaba at position 5 0.00/0.29 .abaaaaaba.abab 0.00/0.29 rule aaaa -> abab at position 3 0.00/0.29 .abaababba.abab 0.00/0.29 rule baab -> aaba at position 1 0.00/0.29 .aaabaabba.abab 0.00/0.29 rule baab -> aaba at position 3 0.00/0.29 .aaaaababa.abab 0.00/0.29 rule baab -> aaba at position 7 0.00/0.29 .aaaaabaaaba.ab 0.00/0.29 rule baab -> aaba at position 9 0.00/0.29 .aaaaabaaaaaba. 0.00/0.29 rule aaaa -> abab at position 7 0.00/0.29 .aaaaabaababba. 0.00/0.29 rule baab -> aaba at position 5 0.00/0.29 .aaaaaaabaabba. 0.00/0.29 rule aaaa -> abab at position 3 0.00/0.29 .aaaababbaabba. 0.00/0.29 rule baab -> aaba at position 7 0.00/0.29 .aaaababaababa. 0.00/0.29 rule baab -> aaba at position 6 0.00/0.29 .aaaabaaabaaba. 0.00/0.29 rule baab -> aaba at position 8 0.00/0.29 .aaaabaaaaabaa. 0.00/0.29 rule aaaa -> abab at position 6 0.00/0.29 .aaaabaababbaa. 0.00/0.29 rule baab -> aaba at position 4 0.00/0.29 .aaaaaabaabbaa. 0.00/0.29 rule aaaa -> abab at position 2 0.00/0.29 .aaababbaabbaa. 0.00/0.29 rule baab -> aaba at position 6 0.00/0.29 .aaababaababaa. 0.00/0.29 rule baab -> aaba at position 5 0.00/0.29 .aaabaaabaabaa. 0.00/0.29 rule baab -> aaba at position 7 0.00/0.29 .aaabaaaaabaaa. 0.00/0.29 rule aaaa -> abab at position 5 0.00/0.29 .aaabaababbaaa. 0.00/0.29 rule baab -> aaba at position 3 0.00/0.29 .aaaaabaabbaaa. 0.00/0.29 rule aaaa -> abab at position 1 0.00/0.29 .aababbaabbaaa. 0.00/0.29 rule baab -> aaba at position 5 0.00/0.29 .aababaababaaa. 0.00/0.29 rule baab -> aaba at position 4 0.00/0.29 .aabaaabaabaaa. 0.00/0.29 rule baab -> aaba at position 6 0.00/0.29 .aabaaaaabaaaa. 0.00/0.29 rule aaaa -> abab at position 4 0.00/0.29 .aabaababbaaaa. 0.00/0.29 rule baab -> aaba at position 2 0.00/0.29 .aaaabaabbaaaa. 0.00/0.29 rule baab -> aaba at position 4 0.00/0.29 .aaaaaababaaaa. 0.00/0.29 rule aaaa -> abab at position 9 0.00/0.29 .aaaaaabababab. 0.00/0.34 EOF