collatz_automata_7state_start_1125899906842623
collatz_automata_7state_start_2251799813685247