Everyday Automata 007 (ARTB)