turing_machine/cards/407