Documentation

HexConway.PrimitiveProofs.S2_1

theorem Hex.Conway.primitive_463_3 :
Primitive 463 3 supportedEntry_463_3 [2, 3, 7, 11, 19, 3769] [1, 2, 1, 1, 1, 1]

C(463, 3) has a generator of order 99252846.

C(541, 3) has a generator of order 158340420.

C(613, 3) has a generator of order 230346396.

C(647, 3) has a generator of order 270840022.

C(683, 3) has a generator of order 318611986.

C(751, 3) has a generator of order 423564750.

C(853, 3) has a generator of order 620650476.

C(911, 3) has a generator of order 756058030.

C(191, 3) has a generator of order 6967870.

C(263, 3) has a generator of order 18191446.

C(307, 3) has a generator of order 28934442.

C(349, 3) has a generator of order 42508548.

C(397, 3) has a generator of order 62570772.

C(443, 3) has a generator of order 86938306.

C(499, 3) has a generator of order 124251498.

C(139, 3) has a generator of order 2685618.

C(181, 3) has a generator of order 5929740.

C(563, 3) has a generator of order 178453546.

C(593, 3) has a generator of order 208527856.

C(719, 3) has a generator of order 371694958.

C(769, 3) has a generator of order 454756608.

C(883, 3) has a generator of order 688465386.

C(977, 3) has a generator of order 932574832.

C(313, 3) has a generator of order 30664296.