Documentation

HexConway.PrimitiveProofs.S3_3

source
theorem Hex.Conway.primitive_929_2 :
Primitive 929 2 supportedEntry_929_2 [2, 3, 5, 29, 31] [6, 1, 1, 1, 1]

C(929, 2) has a generator of order 863040.

source
theorem Hex.Conway.primitive_953_2 :
Primitive 953 2 supportedEntry_953_2 [2, 3, 7, 17, 53] [4, 2, 1, 1, 1]

C(953, 2) has a generator of order 908208.

source
theorem Hex.Conway.primitive_307_2 :
Primitive 307 2 supportedEntry_307_2 [2, 3, 7, 11, 17] [3, 2, 1, 1, 1]

C(307, 2) has a generator of order 94248.

source
theorem Hex.Conway.primitive_349_2 :
Primitive 349 2 supportedEntry_349_2 [2, 3, 5, 7, 29] [3, 1, 2, 1, 1]

C(349, 2) has a generator of order 121800.

source
theorem Hex.Conway.primitive_409_2 :
Primitive 409 2 supportedEntry_409_2 [2, 3, 5, 17, 41] [4, 1, 1, 1, 1]

C(409, 2) has a generator of order 167280.

source
theorem Hex.Conway.primitive_463_2 :
Primitive 463 2 supportedEntry_463_2 [2, 3, 7, 11, 29] [5, 1, 1, 1, 1]

C(463, 2) has a generator of order 214368.

source
theorem Hex.Conway.primitive_131_2 :
Primitive 131 2 supportedEntry_131_2 [2, 3, 5, 11, 13] [3, 1, 1, 1, 1]

C(131, 2) has a generator of order 17160.

source
theorem Hex.Conway.primitive_181_2 :
Primitive 181 2 supportedEntry_181_2 [2, 3, 5, 7, 13] [3, 2, 1, 1, 1]

C(181, 2) has a generator of order 32760.

source
theorem Hex.Conway.primitive_523_2 :
Primitive 523 2 supportedEntry_523_2 [2, 3, 29, 131] [3, 2, 1, 1]

C(523, 2) has a generator of order 273528.

source
theorem Hex.Conway.primitive_587_2 :
Primitive 587 2 supportedEntry_587_2 [2, 3, 7, 293] [3, 1, 2, 1]

C(587, 2) has a generator of order 344568.

source
theorem Hex.Conway.primitive_641_2 :
Primitive 641 2 supportedEntry_641_2 [2, 3, 5, 107] [8, 1, 1, 1]

C(641, 2) has a generator of order 410880.

source
theorem Hex.Conway.primitive_677_2 :
Primitive 677 2 supportedEntry_677_2 [2, 3, 13, 113] [3, 1, 2, 1]

C(677, 2) has a generator of order 458328.

source
theorem Hex.Conway.primitive_757_2 :
Primitive 757 2 supportedEntry_757_2 [2, 3, 7, 379] [3, 3, 1, 1]

C(757, 2) has a generator of order 573048.

source
theorem Hex.Conway.primitive_823_2 :
Primitive 823 2 supportedEntry_823_2 [2, 3, 103, 137] [4, 1, 1, 1]

C(823, 2) has a generator of order 677328.

source
theorem Hex.Conway.primitive_971_2 :
Primitive 971 2 supportedEntry_971_2 [2, 3, 5, 97] [3, 5, 1, 1]

C(971, 2) has a generator of order 942840.

source
theorem Hex.Conway.primitive_263_2 :
Primitive 263 2 supportedEntry_263_2 [2, 3, 11, 131] [4, 1, 1, 1]

C(263, 2) has a generator of order 69168.

source
theorem Hex.Conway.primitive_283_2 :
Primitive 283 2 supportedEntry_283_2 [2, 3, 47, 71] [3, 1, 1, 1]

C(283, 2) has a generator of order 80088.

source
theorem Hex.Conway.primitive_337_2 :
Primitive 337 2 supportedEntry_337_2 [2, 3, 7, 13] [5, 1, 1, 2]

C(337, 2) has a generator of order 113568.

source
theorem Hex.Conway.primitive_367_2 :
Primitive 367 2 supportedEntry_367_2 [2, 3, 23, 61] [5, 1, 1, 1]

C(367, 2) has a generator of order 134688.

source
theorem Hex.Conway.primitive_433_2 :
Primitive 433 2 supportedEntry_433_2 [2, 3, 7, 31] [5, 3, 1, 1]

C(433, 2) has a generator of order 187488.

source
theorem Hex.Conway.primitive_479_2 :
Primitive 479 2 supportedEntry_479_2 [2, 3, 5, 239] [6, 1, 1, 1]

C(479, 2) has a generator of order 229440.

source
theorem Hex.Conway.primitive_2_4 :
Primitive 2 4 supportedEntry_2_4 [3, 5] [1, 1]

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

source
theorem Hex.Conway.primitive_151_2 :
Primitive 151 2 supportedEntry_151_2 [2, 3, 5, 19] [4, 1, 2, 1]

C(151, 2) has a generator of order 22800.

source
theorem Hex.Conway.primitive_179_2 :
Primitive 179 2 supportedEntry_179_2 [2, 3, 5, 89] [3, 2, 1, 1]

C(179, 2) has a generator of order 32040.