{"automaton": "bartholdi_left", "n": 1, "order": 2, "involutions": 1, "d_Hom_F2": 1, "order_hist": {"1": 1, "2": 1}, "sympy_order": 2, "sec": 0.1}
{"automaton": "bartholdi_left", "n": 2, "order": 4, "involutions": 1, "d_Hom_F2": 1, "order_hist": {"1": 1, "2": 1, "4": 2}, "sympy_order": 4, "sec": 0.0}
{"automaton": "bartholdi_left", "n": 3, "order": 16, "involutions": 3, "d_Hom_F2": 2, "order_hist": {"1": 1, "2": 3, "4": 4, "8": 8}, "sympy_order": 16, "sec": 0.0}
{"automaton": "bartholdi_left", "n": 4, "order": 128, "involutions": 7, "d_Hom_F2": 3, "order_hist": {"1": 1, "2": 7, "4": 24, "8": 32, "16": 64}, "sympy_order": 128, "sec": 0.0}
{"automaton": "bartholdi_left", "n": 5, "order": 1024, "involutions": 7, "d_Hom_F2": 3, "order_hist": {"1": 1, "2": 7, "4": 56, "8": 192, "16": 256, "32": 512}, "sympy_order": 1024, "sec": 0.0}
{"automaton": "bartholdi_left", "n": 6, "order": 16384, "involutions": 15, "d_Hom_F2": 3, "order_hist": {"1": 1, "2": 15, "4": 112, "8": 896, "16": 3072, "32": 4096, "64": 8192}, "sympy_order": 16384, "sec": 0.1}
