aut0mata: escher2_gen
aut0mata: escher1_gen
aut0mata: escher3_gen
aut0mata: escher4_gen
aut0mata: modi3_gen
aut0mata: modi4_gen
aut0mata: modi_gen
aut0mata: modi2_gen