[20, 1596, [2, 3, 7], "simple_quotient, not_abelian"] [20, 912, [2, 3, 8], "not_abelian"] [20, 684, [2, 3, 9], "not_abelian"] [20, 570, [2, 3, 10], "not_abelian"] [20, 456, [2, 3, 12], "not_abelian"] [20, 342, [2, 3, 18], "not_abelian"] [20, 300, [2, 3, 25], "not_abelian"] [20, 264, [2, 3, 44], "not_abelian"] [20, 252, [2, 3, 63], "not_abelian"] [20, 246, [2, 3, 82], "possibly_metacyclic, not_abelian"] [20, 760, [2, 4, 5], "not_abelian"] [20, 456, [2, 4, 6], "not_abelian"] [20, 304, [2, 4, 8], "not_abelian"] [20, 228, [2, 4, 12], "not_abelian"] [20, 168, [2, 4, 42], "possibly_metacyclic, not_abelian"] [20, 160, [2, 4, 80], "possibly_metacyclic, not_abelian"] [20, 380, [2, 5, 5], "not_abelian"] [20, 190, [2, 5, 10], "not_abelian"] [20, 160, [2, 5, 16], "not_abelian"] [20, 140, [2, 5, 35], "not_abelian"] [20, 228, [2, 6, 6], "not_abelian"] [20, 132, [2, 6, 22], "possibly_metacyclic, not_abelian"] [20, 120, [2, 6, 60], "possibly_metacyclic, not_abelian"] [20, 126, [2, 7, 18], "possibly_metacyclic, not_abelian"] [20, 112, [2, 7, 56], "possibly_metacyclic, not_abelian"] [20, 152, [2, 8, 8], "not_abelian"] [20, 144, [2, 8, 9], "not_abelian"] [20, 112, [2, 8, 28], "not_abelian"] [20, 108, [2, 9, 27], "not_abelian"] [20, 120, [2, 10, 12], "possibly_metacyclic, not_abelian"] [20, 100, [2, 10, 50], "possibly_metacyclic, not_abelian"] [20, 96, [2, 12, 48], "possibly_metacyclic, not_abelian"] [20, 96, [2, 16, 24], "not_abelian"] [20, 90, [2, 18, 45], "possibly_metacyclic, not_abelian"] [20, 88, [2, 22, 44], "possibly_metacyclic, not_abelian"] [20, 82, [2, 41, 82], "is_cyclic"] [20, 84, [2, 42, 42], "possibly_metacyclic"] [20, 80, [2, 80, 80], "is_cyclic"] [20, 456, [3, 3, 4], "not_abelian"] [20, 285, [3, 3, 5], "not_abelian"] [20, 228, [3, 3, 6], "not_abelian"] [20, 171, [3, 3, 9], "not_abelian"] [20, 132, [3, 3, 22], "not_abelian"] [20, 123, [3, 3, 41], "possibly_metacyclic, not_abelian"] [20, 120, [3, 3, 60], "not_abelian"] [20, 228, [3, 4, 4], "not_abelian"] [20, 120, [3, 4, 10], "not_abelian"] [20, 96, [3, 4, 48], "not_abelian"] [20, 114, [3, 6, 6], "not_abelian"] [20, 84, [3, 6, 21], "not_abelian"] [20, 84, [3, 7, 14], "not_abelian"] [20, 72, [3, 9, 36], "not_abelian"] [20, 72, [3, 12, 18], "not_abelian"] [20, 66, [3, 22, 22], "possibly_metacyclic, not_abelian"] [20, 60, [3, 60, 60], "is_cyclic"] [20, 152, [4, 4, 4], "not_abelian"] [20, 84, [4, 4, 21], "possibly_metacyclic, not_abelian"] [20, 80, [4, 4, 40], "not_abelian"] [20, 72, [4, 6, 18], "possibly_metacyclic, not_abelian"] [20, 64, [4, 8, 32], "possibly_metacyclic, not_abelian"] [20, 72, [4, 9, 9], "not_abelian"] [20, 60, [4, 12, 30], "not_abelian"] [20, 60, [4, 15, 20], "possibly_metacyclic, not_abelian"] [20, 56, [4, 28, 28], ""] [20, 95, [5, 5, 5], "not_abelian"] [20, 80, [5, 5, 8], "not_abelian"] [20, 60, [5, 10, 15], "not_abelian"] [20, 55, [5, 11, 55], "is_cyclic"] [20, 60, [5, 12, 12], "possibly_metacyclic, not_abelian"] [20, 50, [5, 50, 50], "is_cyclic"] [20, 66, [6, 6, 11], "possibly_metacyclic, not_abelian"] [20, 60, [6, 6, 30], "not_abelian"] [20, 60, [6, 10, 10], "possibly_metacyclic, not_abelian"] [20, 48, [6, 48, 48], "is_cyclic"] [20, 63, [7, 7, 9], "possibly_metacyclic, not_abelian"] [20, 56, [7, 7, 28], "not_abelian"] [20, 56, [8, 8, 14], "not_abelian"] [20, 48, [8, 24, 24], ""] [20, 45, [9, 45, 45], "is_cyclic"] [20, 50, [10, 10, 25], "not_abelian"] [20, 44, [11, 44, 44], "is_cyclic"] [20, 48, [12, 12, 24], "not_abelian"] [20, 48, [12, 16, 16], "not_abelian"] [20, 42, [21, 42, 42], "is_cyclic"] [20, 44, [22, 22, 22], ""] [20, 41, [41, 41, 41], "is_cyclic"]