{'d': (3, 3, 3), 'E': [(0, 2, 1), (1, 1, 1), (1, 2, 2), (2, 0, 0), (2, 0, 1), (2, 2, 1)], 'tau_deg': 14, 'lower_at_cap': (9, True)}
{'d': (3, 3, 3), 'E': [(0, 0, 0), (0, 0, 2), (0, 1, 0), (0, 2, 1), (1, 0, 0), (2, 0, 1)], 'tau_deg': 12, 'lower_at_cap': (9, True)}
{'d': (3, 3, 3), 'E': [(0, 2, 0), (0, 2, 2), (1, 0, 1), (1, 0, 2), (1, 1, 0), (2, 1, 0)], 'tau_deg': 10, 'lower_at_cap': (9, True)}
{'d': (3, 3, 3), 'E': [(0, 1, 1), (1, 0, 0), (1, 1, 2), (2, 0, 0), (2, 0, 2), (2, 2, 2)], 'tau_deg': 10, 'lower_at_cap': (9, True)}
{'d': (3, 3, 3), 'E': [(0, 0, 2), (1, 1, 0), (1, 1, 1), (1, 2, 0), (1, 2, 2), (2, 0, 0)], 'tau_deg': 8, 'lower_proved': True, 'kerdim_at_D': 1}
{'d': (3, 3, 3), 'E': [(0, 2, 2), (1, 1, 1), (1, 2, 0), (1, 2, 1), (2, 0, 0), (2, 2, 2)], 'tau_deg': 14, 'lower_at_cap': (9, True)}
{'d': (3, 3, 3), 'E': [(0, 0, 1), (0, 1, 0), (1, 2, 1), (2, 1, 0), (2, 1, 1), (2, 2, 2)], 'tau_deg': 18, 'lower_at_cap': (9, True)}
{'d': (3, 3, 3), 'E': [(0, 1, 1), (1, 1, 1), (1, 2, 0), (2, 0, 1), (2, 1, 1), (2, 1, 2)], 'tau_deg': 8, 'lower_proved': True, 'kerdim_at_D': 1}
{'d': (2, 2, 3, 3), 'E': [(0, 0, 2, 1), (0, 1, 1, 2), (0, 1, 2, 1), (0, 1, 2, 2), (1, 1, 0, 2), (1, 1, 1, 0)], 'tau_deg': 15, 'lower_at_cap': (9, True)}
{'d': (2, 2, 3, 3), 'E': [(0, 1, 1, 1), (1, 0, 0, 1), (1, 0, 2, 1), (1, 1, 1, 0), (1, 1, 1, 2), (1, 1, 2, 2)], 'tau_deg': 16, 'lower_at_cap': (9, True)}
{'d': (2, 2, 3, 3), 'E': [(0, 0, 0, 0), (0, 0, 0, 2), (0, 0, 1, 1), (0, 1, 1, 0), (0, 1, 2, 2), (1, 0, 0, 0)], 'tau_deg': 17, 'lower_at_cap': (9, True)}
{'d': (2, 2, 3, 3), 'E': [(0, 0, 2, 2), (0, 1, 1, 0), (1, 0, 1, 2), (1, 1, 0, 2), (1, 1, 1, 1), (1, 1, 2, 0)], 'tau_deg': 28, 'lower_at_cap': (9, True)}
{'d': (2, 2, 3, 3), 'E': [(0, 1, 0, 2), (0, 1, 2, 1), (1, 0, 2, 2), (1, 1, 0, 0), (1, 1, 0, 1), (1, 1, 1, 2)], 'tau_deg': 30, 'lower_at_cap': (9, True)}
{'d': (2, 2, 3, 3), 'E': [(0, 0, 0, 0), (0, 0, 0, 2), (0, 1, 0, 0), (0, 1, 1, 0), (1, 0, 2, 2), (1, 1, 0, 1)], 'tau_deg': 19, 'lower_at_cap': (9, True)}
{'d': (3, 5), 'E': [(0, 0), (0, 1), (1, 2), (1, 3), (1, 4), (2, 2)], 'tau_deg': 4, 'lower_proved': True, 'kerdim_at_D': 1}
{'d': (3, 5), 'E': [(0, 0), (0, 1), (0, 3), (1, 4), (2, 2), (2, 3)], 'tau_deg': 6, 'lower_proved': True, 'kerdim_at_D': 1}
{'d': (3, 5), 'E': [(0, 4), (1, 0), (1, 3), (2, 0), (2, 1), (2, 2)], 'tau_deg': 6, 'lower_proved': True, 'kerdim_at_D': 1}
{'d': (2, 2, 2, 2, 2), 'E': [(0, 0, 0, 0, 0), (0, 1, 0, 0, 0), (0, 1, 0, 0, 1), (1, 0, 1, 0, 0), (1, 1, 1, 1, 1)], 'tau_deg': 10, 'lower_proved': True, 'kerdim_at_D': 1}
{'d': (2, 2, 2, 2, 2), 'E': [(0, 0, 1, 0, 1), (0, 1, 0, 0, 0), (0, 1, 1, 1, 0), (1, 0, 0, 1, 0), (1, 1, 1, 1, 0)], 'tau_deg': 27, 'lower_at_cap': (11, True)}
{'d': (2, 2, 2, 2, 2), 'E': [(0, 0, 0, 0, 0), (0, 0, 1, 1, 0), (0, 1, 0, 0, 1), (0, 1, 1, 0, 0), (1, 1, 0, 0, 0)], 'tau_deg': 24, 'lower_at_cap': (11, True)}
{'d': (2, 2, 2, 2, 2), 'E': [(0, 0, 0, 0, 1), (0, 0, 0, 1, 1), (0, 0, 1, 0, 0), (1, 0, 1, 1, 0), (1, 1, 0, 0, 0)], 'tau_deg': 21, 'lower_at_cap': (11, True)}
