KnuthBendix.exp 270 Bytes