[13, 1008, [2, 3, 7], "simple_quotient, not_abelian"] [13, 576, [2, 3, 8], "not_abelian"] [13, 432, [2, 3, 9], "not_abelian"] [13, 360, [2, 3, 10], "not_abelian"] [13, 288, [2, 3, 12], "not_abelian"] [13, 252, [2, 3, 14], "not_abelian"] [13, 240, [2, 3, 15], "not_abelian"] [13, 216, [2, 3, 18], "not_abelian"] [13, 198, [2, 3, 22], "not_abelian"] [13, 192, [2, 3, 24], "not_abelian"] [13, 180, [2, 3, 30], "not_abelian"] [13, 168, [2, 3, 42], "not_abelian"] [13, 162, [2, 3, 54], "possibly_metacyclic, not_abelian"] [13, 480, [2, 4, 5], "not_abelian"] [13, 288, [2, 4, 6], "not_abelian"] [13, 224, [2, 4, 7], "not_abelian"] [13, 192, [2, 4, 8], "not_abelian"] [13, 160, [2, 4, 10], "not_abelian"] [13, 144, [2, 4, 12], "possibly_metacyclic, not_abelian"] [13, 128, [2, 4, 16], "not_abelian"] [13, 120, [2, 4, 20], "not_abelian"] [13, 112, [2, 4, 28], "possibly_metacyclic, not_abelian"] [13, 108, [2, 4, 36], "not_abelian"] [13, 104, [2, 4, 52], "possibly_metacyclic, not_abelian"] [13, 240, [2, 5, 5], "not_abelian"] [13, 180, [2, 5, 6], "not_abelian"] [13, 120, [2, 5, 10], "not_abelian"] [13, 90, [2, 5, 30], "not_abelian"] [13, 144, [2, 6, 6], "not_abelian"] [13, 126, [2, 6, 7], "not_abelian"] [13, 108, [2, 6, 9], "not_abelian"] [13, 96, [2, 6, 12], "not_abelian"] [13, 90, [2, 6, 15], "possibly_metacyclic, not_abelian"] [13, 84, [2, 6, 21], "not_abelian"] [13, 78, [2, 6, 39], "possibly_metacyclic, not_abelian"] [13, 112, [2, 7, 7], "not_abelian"] [13, 84, [2, 7, 14], "not_abelian"] [13, 96, [2, 8, 8], "not_abelian"] [13, 72, [2, 8, 24], "not_abelian"] [13, 72, [2, 9, 18], "not_abelian"] [13, 80, [2, 10, 10], "not_abelian"] [13, 66, [2, 11, 22], "not_abelian"] [13, 72, [2, 12, 12], "not_abelian"] [13, 60, [2, 15, 30], "possibly_metacyclic, not_abelian"] [13, 64, [2, 16, 16], "not_abelian"] [13, 60, [2, 20, 20], "not_abelian"] [13, 54, [2, 27, 54], "is_cyclic"] [13, 56, [2, 28, 28], "possibly_metacyclic"] [13, 52, [2, 52, 52], "is_cyclic"] [13, 288, [3, 3, 4], "not_abelian"] [13, 180, [3, 3, 5], "not_abelian"] [13, 144, [3, 3, 6], "not_abelian"] [13, 126, [3, 3, 7], "not_abelian"] [13, 108, [3, 3, 9], "not_abelian"] [13, 99, [3, 3, 11], "not_abelian"] [13, 96, [3, 3, 12], "not_abelian"] [13, 90, [3, 3, 15], "not_abelian"] [13, 84, [3, 3, 21], "not_abelian"] [13, 81, [3, 3, 27], "possibly_metacyclic, not_abelian"] [13, 78, [3, 3, 39], "not_abelian"] [13, 144, [3, 4, 4], "not_abelian"] [13, 96, [3, 4, 6], "not_abelian"] [13, 72, [3, 4, 12], "not_abelian"] [13, 90, [3, 5, 5], "not_abelian"] [13, 60, [3, 5, 15], "not_abelian"] [13, 72, [3, 6, 6], "not_abelian"] [13, 60, [3, 6, 10], "possibly_metacyclic, not_abelian"] [13, 54, [3, 6, 18], "possibly_metacyclic, not_abelian"] [13, 63, [3, 7, 7], "not_abelian"] [13, 48, [3, 8, 24], "not_abelian"] [13, 54, [3, 9, 9], "not_abelian"] [13, 48, [3, 12, 12], "not_abelian"] [13, 42, [3, 14, 42], "is_cyclic"] [13, 45, [3, 15, 15], "possibly_metacyclic"] [13, 42, [3, 21, 21], "not_abelian"] [13, 39, [3, 39, 39], "is_cyclic"] [13, 96, [4, 4, 4], "not_abelian"] [13, 80, [4, 4, 5], "not_abelian"] [13, 72, [4, 4, 6], "not_abelian"] [13, 64, [4, 4, 8], "possibly_metacyclic, not_abelian"] [13, 60, [4, 4, 10], "not_abelian"] [13, 56, [4, 4, 14], "possibly_metacyclic, not_abelian"] [13, 52, [4, 4, 26], "not_abelian"] [13, 48, [4, 6, 12], "possibly_metacyclic, not_abelian"] [13, 48, [4, 8, 8], "not_abelian"] [13, 40, [4, 10, 20], "possibly_metacyclic"] [13, 36, [4, 18, 36], "is_cyclic"] [13, 60, [5, 5, 5], "not_abelian"] [13, 45, [5, 5, 15], "not_abelian"] [13, 40, [5, 10, 10], "not_abelian"] [13, 48, [6, 6, 6], "not_abelian"] [13, 36, [6, 9, 18], "possibly_metacyclic, not_abelian"] [13, 36, [6, 12, 12], "possibly_metacyclic"] [13, 42, [7, 7, 7], "not_abelian"] [13, 32, [8, 16, 16], ""] [13, 36, [9, 9, 9], "not_abelian"] [13, 30, [10, 15, 30], "is_cyclic"] [13, 33, [11, 11, 11], "not_abelian"] [13, 28, [14, 28, 28], "is_cyclic"] [13, 30, [15, 15, 15], "not_abelian"] [13, 27, [27, 27, 27], "is_cyclic"]