{"log2_order": 1, "d": 1, "log2_ab": 1, "automaton": "bartholdi_left", "n": 1, "sec": 0.0}
{"log2_order": 2, "d": 1, "log2_ab": 2, "automaton": "bartholdi_left", "n": 2, "sec": 0.0}
{"log2_order": 4, "d": 2, "log2_ab": 3, "automaton": "bartholdi_left", "n": 3, "sec": 0.0}
{"log2_order": 7, "d": 3, "log2_ab": 4, "automaton": "bartholdi_left", "n": 4, "sec": 0.0}
{"log2_order": 10, "d": 3, "log2_ab": 5, "automaton": "bartholdi_left", "n": 5, "sec": 0.0}
{"log2_order": 14, "d": 3, "log2_ab": 6, "automaton": "bartholdi_left", "n": 6, "sec": 0.0}
{"log2_order": 21, "d": 3, "log2_ab": 6, "automaton": "bartholdi_left", "n": 7, "sec": 0.0}
{"log2_order": 34, "d": 3, "log2_ab": 7, "automaton": "bartholdi_left", "n": 8, "sec": 0.0}
{"log2_order": 57, "d": 3, "log2_ab": 7, "automaton": "bartholdi_left", "n": 9, "sec": 0.1}
{"log2_order": 102, "d": 3, "log2_ab": 8, "automaton": "bartholdi_left", "n": 10, "sec": 0.4}
{"log2_order": 189, "d": 3, "log2_ab": 8, "automaton": "bartholdi_left", "n": 11, "sec": 2.7}
