Documentation

HexConway.PrimitiveProofs.S2_2

source
theorem Hex.Conway.primitive_401_3 :
Primitive 401 3 supportedEntry_401_3 [2, 5, 7, 23029] [4, 2, 1, 1]

C(401, 3) has a generator of order 64481200.

source
theorem Hex.Conway.primitive_467_3 :
Primitive 467 3 supportedEntry_467_3 [2, 19, 233, 11503] [1, 1, 1, 1]

C(467, 3) has a generator of order 101847562.

source
theorem Hex.Conway.primitive_509_3 :
Primitive 509 3 supportedEntry_509_3 [2, 43, 127, 6037] [2, 1, 1, 1]

C(509, 3) has a generator of order 131872228.

source
theorem Hex.Conway.primitive_2_6 :
Primitive 2 6 supportedEntry_2_6 [3, 7] [2, 1]

C(2, 6) has a generator of order 63.

source
theorem Hex.Conway.primitive_193_3 :
Primitive 193 3 supportedEntry_193_3 [2, 3, 7, 1783] [6, 2, 1, 1]

C(193, 3) has a generator of order 7189056.

source
theorem Hex.Conway.primitive_227_3 :
Primitive 227 3 supportedEntry_227_3 [2, 73, 113, 709] [1, 1, 1, 1]

C(227, 3) has a generator of order 11697082.

source
theorem Hex.Conway.primitive_61_3 :
Primitive 61 3 supportedEntry_61_3 [2, 3, 5, 13, 97] [2, 2, 1, 1, 1]

C(61, 3) has a generator of order 226980.

source
theorem Hex.Conway.primitive_857_3 :
Primitive 857 3 supportedEntry_857_3 [2, 107, 735307] [3, 1, 1]

C(857, 3) has a generator of order 629422792.

source
theorem Hex.Conway.primitive_109_3 :
Primitive 109 3 supportedEntry_109_3 [2, 3, 7, 571] [2, 4, 1, 1]

C(109, 3) has a generator of order 1295028.

source
theorem Hex.Conway.primitive_293_3 :
Primitive 293 3 supportedEntry_293_3 [2, 73, 86143] [2, 1, 1]

C(293, 3) has a generator of order 25153756.

source
theorem Hex.Conway.primitive_53_3 :
Primitive 53 3 supportedEntry_53_3 [2, 7, 13, 409] [2, 1, 1, 1]

C(53, 3) has a generator of order 148876.

source
theorem Hex.Conway.primitive_7_4 :
Primitive 7 4 supportedEntry_7_4 [2, 3, 5] [5, 1, 2]

C(7, 4) has a generator of order 2400.

source
theorem Hex.Conway.primitive_101_3 :
Primitive 101 3 supportedEntry_101_3 [2, 5, 10303] [2, 2, 1]

C(101, 3) has a generator of order 1030300.

source
theorem Hex.Conway.primitive_3_5 :
Primitive 3 5 supportedEntry_3_5 [2, 11] [1, 2]

C(3, 5) has a generator of order 242.

source
theorem Hex.Conway.primitive_59_3 :
Primitive 59 3 supportedEntry_59_3 [2, 29, 3541] [1, 1, 1]

C(59, 3) has a generator of order 205378.

source
theorem Hex.Conway.primitive_11_3 :
Primitive 11 3 supportedEntry_11_3 [2, 5, 7, 19] [1, 1, 1, 1]

C(11, 3) has a generator of order 1330.

source
theorem Hex.Conway.primitive_19_3 :
Primitive 19 3 supportedEntry_19_3 [2, 3, 127] [1, 3, 1]

C(19, 3) has a generator of order 6858.

source
theorem Hex.Conway.primitive_599_2 :
Primitive 599 2 supportedEntry_599_2 [2, 3, 5, 13, 23] [4, 1, 2, 1, 1]

C(599, 2) has a generator of order 358800.

source
theorem Hex.Conway.primitive_631_2 :
Primitive 631 2 supportedEntry_631_2 [2, 3, 5, 7, 79] [4, 2, 1, 1, 1]

C(631, 2) has a generator of order 398160.

source
theorem Hex.Conway.primitive_691_2 :
Primitive 691 2 supportedEntry_691_2 [2, 3, 5, 23, 173] [3, 1, 1, 1, 1]

C(691, 2) has a generator of order 477480.

source
theorem Hex.Conway.primitive_739_2 :
Primitive 739 2 supportedEntry_739_2 [2, 3, 5, 37, 41] [3, 2, 1, 1, 1]

C(739, 2) has a generator of order 546120.

source
theorem Hex.Conway.primitive_797_2 :
Primitive 797 2 supportedEntry_797_2 [2, 3, 7, 19, 199] [3, 1, 1, 1, 1]

C(797, 2) has a generator of order 635208.

source
theorem Hex.Conway.primitive_829_2 :
Primitive 829 2 supportedEntry_829_2 [2, 3, 5, 23, 83] [3, 2, 1, 1, 1]

C(829, 2) has a generator of order 687240.

source
theorem Hex.Conway.primitive_881_2 :
Primitive 881 2 supportedEntry_881_2 [2, 3, 5, 7, 11] [5, 2, 1, 2, 1]

C(881, 2) has a generator of order 776160.