paperlined.org
apps > pumping_station_one > projects

Simpler automata that I could try to build as a first try:

Lists:

Specific ones: