[17, 1344, [2, 3, 7], "simple_quotient, not_abelian"] [17, 768, [2, 3, 8], "not_abelian"] [17, 576, [2, 3, 9], "not_abelian"] [17, 480, [2, 3, 10], "not_abelian"] [17, 384, [2, 3, 12], "not_abelian"] [17, 336, [2, 3, 14], "not_abelian"] [17, 288, [2, 3, 18], "not_abelian"] [17, 264, [2, 3, 22], "not_abelian"] [17, 240, [2, 3, 30], "not_abelian"] [17, 216, [2, 3, 54], "not_abelian"] [17, 210, [2, 3, 70], "possibly_metacyclic, not_abelian"] [17, 640, [2, 4, 5], "not_abelian"] [17, 384, [2, 4, 6], "not_abelian"] [17, 256, [2, 4, 8], "not_abelian"] [17, 192, [2, 4, 12], "not_abelian"] [17, 160, [2, 4, 20], "not_abelian"] [17, 144, [2, 4, 36], "possibly_metacyclic, not_abelian"] [17, 136, [2, 4, 68], "possibly_metacyclic, not_abelian"] [17, 320, [2, 5, 5], "not_abelian"] [17, 240, [2, 5, 6], "not_abelian"] [17, 160, [2, 5, 10], "not_abelian"] [17, 140, [2, 5, 14], "not_abelian"] [17, 120, [2, 5, 30], "not_abelian"] [17, 192, [2, 6, 6], "not_abelian"] [17, 168, [2, 6, 7], "not_abelian"] [17, 144, [2, 6, 9], "not_abelian"] [17, 132, [2, 6, 11], "not_abelian"] [17, 120, [2, 6, 15], "not_abelian"] [17, 108, [2, 6, 27], "not_abelian"] [17, 102, [2, 6, 51], "possibly_metacyclic, not_abelian"] [17, 112, [2, 7, 14], "not_abelian"] [17, 128, [2, 8, 8], "not_abelian"] [17, 96, [2, 8, 24], "not_abelian"] [17, 90, [2, 9, 30], "not_abelian"] [17, 88, [2, 11, 22], "not_abelian"] [17, 96, [2, 12, 12], "not_abelian"] [17, 84, [2, 12, 28], "not_abelian"] [17, 84, [2, 14, 21], "not_abelian"] [17, 80, [2, 20, 20], "not_abelian"] [17, 70, [2, 35, 70], "is_cyclic"] [17, 72, [2, 36, 36], "possibly_metacyclic"] [17, 68, [2, 68, 68], "is_cyclic"] [17, 384, [3, 3, 4], "not_abelian"] [17, 240, [3, 3, 5], "not_abelian"] [17, 192, [3, 3, 6], "not_abelian"] [17, 168, [3, 3, 7], "not_abelian"] [17, 144, [3, 3, 9], "not_abelian"] [17, 132, [3, 3, 11], "not_abelian"] [17, 120, [3, 3, 15], "not_abelian"] [17, 108, [3, 3, 27], "not_abelian"] [17, 105, [3, 3, 35], "possibly_metacyclic, not_abelian"] [17, 102, [3, 3, 51], "not_abelian"] [17, 192, [3, 4, 4], "not_abelian"] [17, 96, [3, 4, 12], "not_abelian"] [17, 84, [3, 4, 28], "possibly_metacyclic, not_abelian"] [17, 120, [3, 5, 5], "not_abelian"] [17, 90, [3, 5, 9], "not_abelian"] [17, 75, [3, 5, 25], "possibly_metacyclic, not_abelian"] [17, 96, [3, 6, 6], "not_abelian"] [17, 72, [3, 6, 18], "not_abelian"] [17, 84, [3, 7, 7], "not_abelian"] [17, 72, [3, 9, 9], "not_abelian"] [17, 63, [3, 9, 21], "possibly_metacyclic, not_abelian"] [17, 60, [3, 10, 30], "not_abelian"] [17, 66, [3, 11, 11], "not_abelian"] [17, 60, [3, 12, 20], "possibly_metacyclic, not_abelian"] [17, 60, [3, 15, 15], "not_abelian"] [17, 54, [3, 27, 27], "not_abelian"] [17, 51, [3, 51, 51], "is_cyclic"] [17, 128, [4, 4, 4], "not_abelian"] [17, 96, [4, 4, 6], "not_abelian"] [17, 80, [4, 4, 10], "not_abelian"] [17, 72, [4, 4, 18], "possibly_metacyclic, not_abelian"] [17, 68, [4, 4, 34], "not_abelian"] [17, 60, [4, 6, 20], "not_abelian"] [17, 56, [4, 7, 28], "not_abelian"] [17, 64, [4, 8, 8], "possibly_metacyclic, not_abelian"] [17, 48, [4, 24, 24], ""] [17, 80, [5, 5, 5], "not_abelian"] [17, 70, [5, 5, 7], "not_abelian"] [17, 60, [5, 5, 15], "not_abelian"] [17, 60, [5, 6, 10], "possibly_metacyclic, not_abelian"] [17, 48, [6, 8, 24], "possibly_metacyclic"] [17, 48, [6, 12, 12], "not_abelian"] [17, 42, [6, 21, 42], "is_cyclic"] [17, 56, [7, 7, 7], "not_abelian"] [17, 42, [7, 21, 21], "not_abelian"] [17, 48, [8, 8, 12], "not_abelian"] [17, 40, [8, 20, 40], "is_cyclic"] [17, 45, [9, 9, 15], "not_abelian"] [17, 40, [10, 20, 20], ""] [17, 44, [11, 11, 11], "not_abelian"] [17, 36, [18, 36, 36], "is_cyclic"] [17, 35, [35, 35, 35], "is_cyclic"]