quartos
origami
circuited
rems
lemma
automatons