theorem Hex.Conway.primitive_2_14 : Primitive 2 14 supportedEntry_2_14 [3, 43, 127] [1, 1, 1]

C(2, 14) has a generator of order 16383.

theorem Hex.Conway.primitive_7_8 : Primitive 7 8 supportedEntry_7_8 [2, 3, 5, 1201] [6, 1, 2, 1]

C(7, 8) has a generator of order 5764800.

theorem Hex.Conway.primitive_11_6 : Primitive 11 6 supportedEntry_11_6 [2, 3, 5, 7, 19, 37] [3, 2, 1, 1, 1, 1]

C(11, 6) has a generator of order 1771560.

theorem Hex.Conway.primitive_7_7 : Primitive 7 7 supportedEntry_7_7 [2, 3, 29, 4733] [1, 1, 1, 1]

C(7, 7) has a generator of order 823542.

theorem Hex.Conway.primitive_157_4 : Primitive 157 4 supportedEntry_157_4 [2, 3, 5, 13, 17, 29, 79] [4, 1, 2, 1, 1, 1, 1]

C(157, 4) has a generator of order 607573200.

theorem Hex.Conway.primitive_229_4 : Primitive 229 4 supportedEntry_229_4 [2, 3, 5, 13, 19, 23, 2017] [4, 1, 1, 1, 1, 1, 1]

C(229, 4) has a generator of order 2750058480.

theorem Hex.Conway.primitive_277_4 : Primitive 277 4 supportedEntry_277_4 [2, 3, 5, 23, 139, 7673] [4, 1, 1, 1, 1, 1]

C(277, 4) has a generator of order 5887339440.

theorem Hex.Conway.primitive_3_8 : Primitive 3 8 supportedEntry_3_8 [2, 5, 41] [5, 1, 1]

C(3, 8) has a generator of order 6560.

theorem Hex.Conway.primitive_149_4 : Primitive 149 4 supportedEntry_149_4 [2, 3, 5, 17, 37, 653] [4, 1, 2, 1, 1, 1]

C(149, 4) has a generator of order 492884400.

theorem Hex.Conway.primitive_181_4 : Primitive 181 4 supportedEntry_181_4 [2, 3, 5, 7, 13, 16381] [4, 2, 1, 1, 1, 1]

C(181, 4) has a generator of order 1073283120.

theorem Hex.Conway.primitive_239_4 : Primitive 239 4 supportedEntry_239_4 [2, 3, 5, 7, 13, 17] [6, 1, 1, 1, 4, 1]

C(239, 4) has a generator of order 3262808640.

theorem Hex.Conway.primitive_257_4 : Primitive 257 4 supportedEntry_257_4 [2, 3, 5, 43, 1321] [10, 1, 2, 1, 1]

C(257, 4) has a generator of order 4362470400.

theorem Hex.Conway.primitive_89_4 : Primitive 89 4 supportedEntry_89_4 [2, 3, 5, 11, 17, 233] [5, 2, 1, 1, 1, 1]

C(89, 4) has a generator of order 62742240.

theorem Hex.Conway.primitive_5_6 : Primitive 5 6 supportedEntry_5_6 [2, 3, 7, 31] [3, 2, 1, 1]

C(5, 6) has a generator of order 15624.

theorem Hex.Conway.primitive_199_4 : Primitive 199 4 supportedEntry_199_4 [2, 3, 5, 11, 19801] [5, 2, 2, 1, 1]

C(199, 4) has a generator of order 1568239200.

theorem Hex.Conway.primitive_79_4 : Primitive 79 4 supportedEntry_79_4 [2, 3, 5, 13, 3121] [6, 1, 1, 1, 1]

C(79, 4) has a generator of order 38950080.

theorem Hex.Conway.primitive_127_4 : Primitive 127 4 supportedEntry_127_4 [2, 3, 5, 7, 1613] [9, 2, 1, 1, 1]

C(127, 4) has a generator of order 260144640.

theorem Hex.Conway.primitive_53_4 : Primitive 53 4 supportedEntry_53_4 [2, 3, 5, 13, 281] [4, 3, 1, 1, 1]

C(53, 4) has a generator of order 7890480.

theorem Hex.Conway.primitive_919_3 : Primitive 919 3 supportedEntry_919_3 [2, 3, 7, 13, 17, 19, 163] [1, 4, 1, 1, 1, 1, 1]

C(919, 3) has a generator of order 776151558.

theorem Hex.Conway.primitive_691_3 : Primitive 691 3 supportedEntry_691_3 [2, 3, 5, 19, 23, 8389] [1, 2, 1, 1, 1, 1]

C(691, 3) has a generator of order 329939370.

theorem Hex.Conway.primitive_823_3 : Primitive 823 3 supportedEntry_823_3 [2, 3, 7, 43, 137, 751] [1, 2, 1, 1, 1, 1]

C(823, 3) has a generator of order 557441766.

theorem Hex.Conway.primitive_971_3 : Primitive 971 3 supportedEntry_971_3 [2, 5, 13, 79, 97, 919] [1, 1, 1, 1, 1, 1]

C(971, 3) has a generator of order 915498610.

theorem Hex.Conway.primitive_31_4 : Primitive 31 4 supportedEntry_31_4 [2, 3, 5, 13, 37] [7, 1, 1, 1, 1]

C(31, 4) has a generator of order 923520.

theorem Hex.Conway.primitive_277_3 : Primitive 277 3 supportedEntry_277_3 [2, 3, 7, 19, 23, 193] [2, 2, 1, 1, 1, 1]

C(277, 3) has a generator of order 21253932.