census kernels (genus 9): 4
LMFDB records: 32
LMFDB group [128,134]: kernel = G_2 (census line 1432); mirror kernel = G_2 (census line 1432); 4 generating vectors, e.g. ['9.128-134.0.2-4-8.1:[1, 1]', '9.128-134.0.2-4-8.2:[2, 1]', '9.128-134.0.2-4-8.3:[3, 1]']
LMFDB group [128,136]: kernel = G_1 (census line 1427); mirror kernel = G_1 (census line 1427); 4 generating vectors, e.g. ['9.128-136.0.2-4-8.1:[1, 1]', '9.128-136.0.2-4-8.2:[2, 1]', '9.128-136.0.2-4-8.3:[3, 1]']
LMFDB group [128,138]: kernel = G_4 (census line 1442); mirror kernel = G_4 (census line 1442); 8 generating vectors, e.g. ['9.128-138.0.2-4-8.1:[1, 1]', '9.128-138.0.2-4-8.1:[1, 2]', '9.128-138.0.2-4-8.1:[1, 3]']
LMFDB group [128,75]: kernel = G_3 (census line 1437); mirror kernel = G_3 (census line 1437); 16 generating vectors, e.g. ['9.128-75.0.2-4-8.1:[1, 1]', '9.128-75.0.2-4-8.2:[2, 1]', '9.128-75.0.2-4-8.3:[3, 1]']
