theorem Hex.Conway.primitive_2_15 : Primitive 2 15 supportedEntry_2_15 [7, 31, 151] [1, 1, 1]

C(2, 15) has a generator of order 32767.

theorem Hex.Conway.primitive_2_11 : Primitive 2 11 supportedEntry_2_11 [23, 89] [1, 1]

C(2, 11) has a generator of order 2047.

theorem Hex.Conway.primitive_2_13 : Primitive 2 13 supportedEntry_2_13 [8191] [1]

C(2, 13) has a generator of order 8191.

theorem Hex.Conway.primitive_281_4 : Primitive 281 4 supportedEntry_281_4 [2, 3, 5, 7, 13, 47, 3037] [5, 1, 1, 1, 1, 1, 1]

C(281, 4) has a generator of order 6234839520.

theorem Hex.Conway.primitive_191_4 : Primitive 191 4 supportedEntry_191_4 [2, 3, 5, 17, 19, 29, 37] [8, 1, 1, 1, 1, 1, 1]

C(191, 4) has a generator of order 1330863360.

theorem Hex.Conway.primitive_263_4 : Primitive 263 4 supportedEntry_263_4 [2, 3, 5, 11, 131, 6917] [5, 1, 1, 1, 1, 1]

C(263, 4) has a generator of order 4784350560.

theorem Hex.Conway.primitive_83_4 : Primitive 83 4 supportedEntry_83_4 [2, 3, 5, 7, 13, 41, 53] [4, 1, 1, 1, 1, 1, 1]

C(83, 4) has a generator of order 47458320.

theorem Hex.Conway.primitive_137_4 : Primitive 137 4 supportedEntry_137_4 [2, 3, 5, 17, 23, 1877] [5, 1, 1, 1, 1, 1]

C(137, 4) has a generator of order 352275360.

theorem Hex.Conway.primitive_167_4 : Primitive 167 4 supportedEntry_167_4 [2, 3, 5, 7, 83, 2789] [5, 1, 1, 1, 1, 1]

C(167, 4) has a generator of order 777796320.

theorem Hex.Conway.primitive_223_4 : Primitive 223 4 supportedEntry_223_4 [2, 3, 5, 7, 37, 4973] [7, 1, 1, 1, 1, 1]

C(223, 4) has a generator of order 2472973440.

theorem Hex.Conway.primitive_251_4 : Primitive 251 4 supportedEntry_251_4 [2, 3, 5, 7, 17, 109] [4, 2, 3, 1, 2, 1]

C(251, 4) has a generator of order 3969126000.

theorem Hex.Conway.primitive_67_4 : Primitive 67 4 supportedEntry_67_4 [2, 3, 5, 11, 17, 449] [4, 1, 1, 1, 1, 1]

C(67, 4) has a generator of order 20151120.

theorem Hex.Conway.primitive_109_4 : Primitive 109 4 supportedEntry_109_4 [2, 3, 5, 11, 13, 457] [4, 3, 1, 1, 1, 1]

C(109, 4) has a generator of order 141158160.

theorem Hex.Conway.primitive_163_4 : Primitive 163 4 supportedEntry_163_4 [2, 3, 5, 41, 2657] [4, 4, 1, 1, 1]

C(163, 4) has a generator of order 705911760.

theorem Hex.Conway.primitive_47_4 : Primitive 47 4 supportedEntry_47_4 [2, 3, 5, 13, 17, 23] [6, 1, 1, 1, 1, 1]

C(47, 4) has a generator of order 4879680.

theorem Hex.Conway.primitive_101_4 : Primitive 101 4 supportedEntry_101_4 [2, 3, 5, 17, 5101] [4, 1, 2, 1, 1]

C(101, 4) has a generator of order 104060400.

theorem Hex.Conway.primitive_37_4 : Primitive 37 4 supportedEntry_37_4 [2, 3, 5, 19, 137] [4, 2, 1, 1, 1]

C(37, 4) has a generator of order 1874160.

theorem Hex.Conway.primitive_61_4 : Primitive 61 4 supportedEntry_61_4 [2, 3, 5, 31, 1861] [4, 1, 1, 1, 1]

C(61, 4) has a generator of order 13845840.

theorem Hex.Conway.primitive_547_3 : Primitive 547 3 supportedEntry_547_3 [2, 3, 7, 13, 163, 613] [1, 2, 1, 1, 1, 1]

C(547, 3) has a generator of order 163667322.

theorem Hex.Conway.primitive_811_3 : Primitive 811 3 supportedEntry_811_3 [2, 3, 5, 31, 73, 97] [1, 5, 1, 1, 1, 1]

C(811, 3) has a generator of order 533411730.

theorem Hex.Conway.primitive_947_3 : Primitive 947 3 supportedEntry_947_3 [2, 7, 11, 43, 277, 463] [1, 1, 1, 1, 1, 1]

C(947, 3) has a generator of order 849278122.

theorem Hex.Conway.primitive_23_4 : Primitive 23 4 supportedEntry_23_4 [2, 3, 5, 11, 53] [5, 1, 1, 1, 1]

C(23, 4) has a generator of order 279840.

theorem Hex.Conway.primitive_11_5 : Primitive 11 5 supportedEntry_11_5 [2, 5, 3221] [1, 2, 1]

C(11, 5) has a generator of order 161050.

theorem Hex.Conway.primitive_373_3 : Primitive 373 3 supportedEntry_373_3 [2, 3, 7, 13, 31, 73] [2, 2, 2, 1, 1, 1]

C(373, 3) has a generator of order 51895116.