Loop of length 14 starting with a string of length 13 found after enumerating 40995 derivations: .aab.ababababab rule aab -> baba at position 0 .baba.ababababab rule a -> at position 1 .bba.ababababab rule aab -> baba at position 2 .bbbaba.abababab rule bbb -> a at position 0 .aaba.abababab rule aab -> baba at position 3 .aabbaba.ababab rule aab -> baba at position 6 .aabbabbaba.abab rule a -> at position 7 .aabbabbba.abab rule bbb -> a at position 5 .aabbaaa.abab rule aab -> baba at position 6 .aabbaababa.ab rule aab -> baba at position 4 .aabbbabaaba.ab rule bbb -> a at position 2 .aaaabaaba.ab rule aab -> baba at position 2 .aababaaaba.ab rule aab -> baba at position 6 .aababababaa.ab rule aab -> baba at position 10 .aababababababa.