Loop of length 1 starting with a string of length 3 found after enumerating 25 derivations: .agf. rule agf -> aagf at position 0 .aagf.