How I reduce 27 states to 26 states Use sort TuringMachine27.lean | uniq -D to inspect duplicate lines Check them one by one. You will found 24 and 22 are duplicates