Loop of length 10 starting with a string of length 10 found after enumerating 234 derivations: .aaba.bababa rule aaba -> ababbaa at position 0 .ababbaa.bababa rule aaba -> ababbaa at position 5 .ababbababbaa.baba rule aaba -> ababbaa at position 10 .ababbababbababbaa.ba rule aaba -> ababbaa at position 15 .ababbababbababbababbaa. rule abbaba -> ababaa at position 12 .ababbababbabababaabbaa. rule abbaba -> ababaa at position 7 .ababbabababaababaabbaa. rule abbaba -> ababaa at position 2 .abababaababaababaabbaa. rule aaba -> ababbaa at position 11 .abababaababababbaabaabbaa. rule aaba -> ababbaa at position 16 .abababaababababbababbaaabbaa. rule abbaba -> ababaa at position 13 .abababaabababababaabbaaabbaa.