Documentation

HexConway.PrimitiveProofs.S0_3

source
theorem Hex.Conway.primitive_421_2 :
Primitive 421 2 supportedEntry_421_2 [2, 3, 5, 7, 211] [3, 1, 1, 1, 1]

C(421, 2) has a generator of order 177240.

source
theorem Hex.Conway.primitive_491_2 :
Primitive 491 2 supportedEntry_491_2 [2, 3, 5, 7, 41] [3, 1, 1, 2, 1]

C(491, 2) has a generator of order 241080.

source
theorem Hex.Conway.primitive_139_2 :
Primitive 139 2 supportedEntry_139_2 [2, 3, 5, 7, 23] [3, 1, 1, 1, 1]

C(139, 2) has a generator of order 19320.

source
theorem Hex.Conway.primitive_229_2 :
Primitive 229 2 supportedEntry_229_2 [2, 3, 5, 19, 23] [3, 1, 1, 1, 1]

C(229, 2) has a generator of order 52440.

source
theorem Hex.Conway.primitive_557_2 :
Primitive 557 2 supportedEntry_557_2 [2, 3, 31, 139] [3, 2, 1, 1]

C(557, 2) has a generator of order 310248.

source
theorem Hex.Conway.primitive_607_2 :
Primitive 607 2 supportedEntry_607_2 [2, 3, 19, 101] [6, 1, 1, 1]

C(607, 2) has a generator of order 368448.

source
theorem Hex.Conway.primitive_653_2 :
Primitive 653 2 supportedEntry_653_2 [2, 3, 109, 163] [3, 1, 1, 1]

C(653, 2) has a generator of order 426408.

source
theorem Hex.Conway.primitive_733_2 :
Primitive 733 2 supportedEntry_733_2 [2, 3, 61, 367] [3, 1, 1, 1]

C(733, 2) has a generator of order 537288.

source
theorem Hex.Conway.primitive_787_2 :
Primitive 787 2 supportedEntry_787_2 [2, 3, 131, 197] [3, 1, 1, 1]

C(787, 2) has a generator of order 619368.

source
theorem Hex.Conway.primitive_887_2 :
Primitive 887 2 supportedEntry_887_2 [2, 3, 37, 443] [4, 1, 1, 1]

C(887, 2) has a generator of order 786768.

source
theorem Hex.Conway.primitive_983_2 :
Primitive 983 2 supportedEntry_983_2 [2, 3, 41, 491] [4, 1, 1, 1]

C(983, 2) has a generator of order 966288.

source
theorem Hex.Conway.primitive_271_2 :
Primitive 271 2 supportedEntry_271_2 [2, 3, 5, 17] [5, 3, 1, 1]

C(271, 2) has a generator of order 73440.

source
theorem Hex.Conway.primitive_313_2 :
Primitive 313 2 supportedEntry_313_2 [2, 3, 13, 157] [4, 1, 1, 1]

C(313, 2) has a generator of order 97968.

source
theorem Hex.Conway.primitive_353_2 :
Primitive 353 2 supportedEntry_353_2 [2, 3, 11, 59] [6, 1, 1, 1]

C(353, 2) has a generator of order 124608.

source
theorem Hex.Conway.primitive_401_2 :
Primitive 401 2 supportedEntry_401_2 [2, 3, 5, 67] [5, 1, 2, 1]

C(401, 2) has a generator of order 160800.

source
theorem Hex.Conway.primitive_457_2 :
Primitive 457 2 supportedEntry_457_2 [2, 3, 19, 229] [4, 1, 1, 1]

C(457, 2) has a generator of order 208848.

source
theorem Hex.Conway.primitive_503_2 :
Primitive 503 2 supportedEntry_503_2 [2, 3, 7, 251] [4, 2, 1, 1]

C(503, 2) has a generator of order 253008.

source
theorem Hex.Conway.primitive_149_2 :
Primitive 149 2 supportedEntry_149_2 [2, 3, 5, 37] [3, 1, 2, 1]

C(149, 2) has a generator of order 22200.

source
theorem Hex.Conway.primitive_173_2 :
Primitive 173 2 supportedEntry_173_2 [2, 3, 29, 43] [3, 1, 1, 1]

C(173, 2) has a generator of order 29928.

source
theorem Hex.Conway.primitive_199_2 :
Primitive 199 2 supportedEntry_199_2 [2, 3, 5, 11] [4, 2, 2, 1]

C(199, 2) has a generator of order 39600.

source
theorem Hex.Conway.primitive_241_2 :
Primitive 241 2 supportedEntry_241_2 [2, 3, 5, 11] [5, 1, 1, 2]

C(241, 2) has a generator of order 58080.

source
theorem Hex.Conway.primitive_577_2 :
Primitive 577 2 supportedEntry_577_2 [2, 3, 17] [7, 2, 2]

C(577, 2) has a generator of order 332928.

source
theorem Hex.Conway.primitive_79_2 :
Primitive 79 2 supportedEntry_79_2 [2, 3, 5, 13] [5, 1, 1, 1]

C(79, 2) has a generator of order 6240.

source
theorem Hex.Conway.primitive_101_2 :
Primitive 101 2 supportedEntry_101_2 [2, 3, 5, 17] [3, 1, 2, 1]

C(101, 2) has a generator of order 10200.