[15, 1176, [2, 3, 7], "simple_quotient, not_abelian"] [15, 672, [2, 3, 8], "not_abelian"] [15, 504, [2, 3, 9], "not_abelian"] [15, 420, [2, 3, 10], "not_abelian"] [15, 336, [2, 3, 12], "not_abelian"] [15, 312, [2, 3, 13], "simple_quotient, not_abelian"] [15, 294, [2, 3, 14], "not_abelian"] [15, 252, [2, 3, 18], "not_abelian"] [15, 240, [2, 3, 20], "not_abelian"] [15, 216, [2, 3, 27], "not_abelian"] [15, 210, [2, 3, 30], "not_abelian"] [15, 192, [2, 3, 48], "not_abelian"] [15, 186, [2, 3, 62], "possibly_metacyclic, not_abelian"] [15, 560, [2, 4, 5], "not_abelian"] [15, 336, [2, 4, 6], "not_abelian"] [15, 224, [2, 4, 8], "not_abelian"] [15, 176, [2, 4, 11], "not_abelian"] [15, 168, [2, 4, 12], "not_abelian"] [15, 144, [2, 4, 18], "not_abelian"] [15, 140, [2, 4, 20], "not_abelian"] [15, 128, [2, 4, 32], "possibly_metacyclic, not_abelian"] [15, 120, [2, 4, 60], "possibly_metacyclic, not_abelian"] [15, 280, [2, 5, 5], "not_abelian"] [15, 210, [2, 5, 6], "not_abelian"] [15, 160, [2, 5, 8], "not_abelian"] [15, 140, [2, 5, 10], "not_abelian"] [15, 120, [2, 5, 15], "not_abelian"] [15, 110, [2, 5, 22], "possibly_metacyclic, not_abelian"] [15, 100, [2, 5, 50], "possibly_metacyclic, not_abelian"] [15, 168, [2, 6, 6], "not_abelian"] [15, 126, [2, 6, 9], "not_abelian"] [15, 120, [2, 6, 10], "not_abelian"] [15, 96, [2, 6, 24], "not_abelian"] [15, 90, [2, 6, 45], "possibly_metacyclic, not_abelian"] [15, 98, [2, 7, 14], "possibly_metacyclic, not_abelian"] [15, 84, [2, 7, 42], "possibly_metacyclic, not_abelian"] [15, 112, [2, 8, 8], "not_abelian"] [15, 96, [2, 8, 12], "possibly_metacyclic, not_abelian"] [15, 80, [2, 8, 40], "possibly_metacyclic, not_abelian"] [15, 80, [2, 10, 20], "not_abelian"] [15, 88, [2, 11, 11], "not_abelian"] [15, 84, [2, 12, 12], "not_abelian"] [15, 72, [2, 12, 36], "possibly_metacyclic, not_abelian"] [15, 70, [2, 14, 35], "possibly_metacyclic, not_abelian"] [15, 72, [2, 18, 18], "not_abelian"] [15, 66, [2, 22, 33], "possibly_metacyclic, not_abelian"] [15, 62, [2, 31, 62], "is_cyclic"] [15, 64, [2, 32, 32], "possibly_metacyclic"] [15, 60, [2, 60, 60], "is_cyclic"] [15, 336, [3, 3, 4], "not_abelian"] [15, 210, [3, 3, 5], "not_abelian"] [15, 168, [3, 3, 6], "not_abelian"] [15, 147, [3, 3, 7], "not_abelian"] [15, 126, [3, 3, 9], "not_abelian"] [15, 120, [3, 3, 10], "not_abelian"] [15, 105, [3, 3, 15], "not_abelian"] [15, 96, [3, 3, 24], "not_abelian"] [15, 93, [3, 3, 31], "possibly_metacyclic, not_abelian"] [15, 90, [3, 3, 45], "not_abelian"] [15, 168, [3, 4, 4], "not_abelian"] [15, 96, [3, 4, 8], "not_abelian"] [15, 84, [3, 4, 12], "not_abelian"] [15, 72, [3, 4, 36], "not_abelian"] [15, 105, [3, 5, 5], "not_abelian"] [15, 84, [3, 6, 6], "not_abelian"] [15, 72, [3, 6, 9], "not_abelian"] [15, 60, [3, 6, 30], "not_abelian"] [15, 63, [3, 9, 9], "not_abelian"] [15, 54, [3, 9, 27], "not_abelian"] [15, 60, [3, 10, 10], "not_abelian"] [15, 48, [3, 16, 48], "is_cyclic"] [15, 48, [3, 24, 24], "not_abelian"] [15, 45, [3, 45, 45], "is_cyclic"] [15, 112, [4, 4, 4], "not_abelian"] [15, 84, [4, 4, 6], "not_abelian"] [15, 72, [4, 4, 9], "not_abelian"] [15, 64, [4, 4, 16], "possibly_metacyclic, not_abelian"] [15, 60, [4, 4, 30], "not_abelian"] [15, 80, [4, 5, 5], "not_abelian"] [15, 60, [4, 5, 12], "possibly_metacyclic, not_abelian"] [15, 56, [4, 8, 8], "not_abelian"] [15, 48, [4, 8, 24], "not_abelian"] [15, 44, [4, 11, 44], "is_cyclic"] [15, 48, [4, 12, 12], "possibly_metacyclic"] [15, 40, [4, 40, 40], "is_cyclic"] [15, 70, [5, 5, 5], "not_abelian"] [15, 55, [5, 5, 11], "possibly_metacyclic, not_abelian"] [15, 50, [5, 5, 25], "not_abelian"] [15, 60, [5, 6, 6], "not_abelian"] [15, 45, [5, 9, 15], "possibly_metacyclic, not_abelian"] [15, 40, [5, 20, 20], "not_abelian"] [15, 48, [6, 6, 12], "not_abelian"] [15, 42, [6, 7, 42], "is_cyclic"] [15, 48, [6, 8, 8], "possibly_metacyclic, not_abelian"] [15, 36, [6, 36, 36], "is_cyclic"] [15, 49, [7, 7, 7], "possibly_metacyclic"] [15, 42, [7, 7, 21], "not_abelian"] [15, 35, [7, 35, 35], "is_cyclic"] [15, 40, [8, 8, 20], "not_abelian"] [15, 36, [9, 12, 36], "is_cyclic"] [15, 36, [9, 18, 18], "not_abelian"] [15, 40, [10, 10, 10], "not_abelian"] [15, 33, [11, 33, 33], "is_cyclic"] [15, 36, [12, 12, 18], "not_abelian"] [15, 32, [16, 32, 32], "is_cyclic"] [15, 31, [31, 31, 31], "is_cyclic"]