{"automaton": "bartholdi_right", "n": 1, "order": 2, "involutions": 1, "d_Hom_F2": 1, "order_hist": {"1": 1, "2": 1}, "sympy_order": 2, "sec": 0.1}
{"automaton": "bartholdi_right", "n": 2, "order": 8, "involutions": 5, "d_Hom_F2": 2, "order_hist": {"1": 1, "2": 5, "4": 2}, "sympy_order": 8, "sec": 0.0}
{"automaton": "bartholdi_right", "n": 3, "order": 32, "involutions": 15, "d_Hom_F2": 3, "order_hist": {"1": 1, "2": 15, "4": 8, "8": 8}, "sympy_order": 32, "sec": 0.0}
{"automaton": "bartholdi_right", "n": 4, "order": 128, "involutions": 43, "d_Hom_F2": 3, "order_hist": {"1": 1, "2": 43, "4": 20, "8": 32, "16": 32}, "sympy_order": 128, "sec": 0.0}
{"automaton": "bartholdi_right", "n": 5, "order": 1024, "involutions": 167, "d_Hom_F2": 3, "order_hist": {"1": 1, "2": 167, "4": 184, "8": 160, "16": 256, "32": 256}, "sympy_order": 1024, "sec": 0.0}
{"automaton": "bartholdi_right", "n": 6, "order": 8192, "involutions": 647, "d_Hom_F2": 3, "order_hist": {"1": 1, "2": 647, "4": 696, "8": 1472, "16": 1280, "32": 2048, "64": 2048}, "sympy_order": 8192, "sec": 0.0}
{"automaton": "bartholdi_right", "n": 7, "order": 65536, "involutions": 2567, "d_Hom_F2": 3, "order_hist": {"1": 1, "2": 2567, "4": 2616, "8": 5568, "16": 11776, "32": 10240, "64": 16384, "128": 16384}, "sympy_order": 65536, "sec": 0.4}
