theorem Hex.Conway.primitive_2_12 : Primitive 2 12 supportedEntry_2_12 [3, 5, 7, 13] [2, 1, 1, 1]

C(2, 12) has a generator of order 4095.

theorem Hex.Conway.primitive_5_8 : Primitive 5 8 supportedEntry_5_8 [2, 3, 13, 313] [5, 1, 1, 1]

C(5, 8) has a generator of order 390624.

theorem Hex.Conway.primitive_2_10 : Primitive 2 10 supportedEntry_2_10 [3, 11, 31] [1, 1, 1]

C(2, 10) has a generator of order 1023.

theorem Hex.Conway.primitive_13_6 : Primitive 13 6 supportedEntry_13_6 [2, 3, 7, 61, 157] [3, 2, 1, 1, 1]

C(13, 6) has a generator of order 4826808.

theorem Hex.Conway.primitive_293_4 : Primitive 293 4 supportedEntry_293_4 [2, 3, 5, 7, 17, 73, 101] [4, 1, 2, 2, 1, 1, 1]

C(293, 4) has a generator of order 7370050800.

theorem Hex.Conway.primitive_211_4 : Primitive 211 4 supportedEntry_211_4 [2, 3, 5, 7, 53, 113, 197] [4, 1, 1, 1, 1, 1, 1]

C(211, 4) has a generator of order 1982119440.

theorem Hex.Conway.primitive_269_4 : Primitive 269 4 supportedEntry_269_4 [2, 3, 5, 67, 97, 373] [4, 3, 1, 1, 1, 1]

C(269, 4) has a generator of order 5236114320.

theorem Hex.Conway.primitive_2_8 : Primitive 2 8 supportedEntry_2_8 [3, 5, 17] [1, 1, 1]

C(2, 8) has a generator of order 255.

theorem Hex.Conway.primitive_139_4 : Primitive 139 4 supportedEntry_139_4 [2, 3, 5, 7, 23, 9661] [4, 1, 1, 1, 1, 1]

C(139, 4) has a generator of order 373301040.

theorem Hex.Conway.primitive_179_4 : Primitive 179 4 supportedEntry_179_4 [2, 3, 5, 37, 89, 433] [4, 2, 1, 1, 1, 1]

C(179, 4) has a generator of order 1026625680.

theorem Hex.Conway.primitive_227_4 : Primitive 227 4 supportedEntry_227_4 [2, 3, 5, 19, 113, 5153] [4, 1, 1, 1, 1, 1]

C(227, 4) has a generator of order 2655237840.

theorem Hex.Conway.primitive_2_9 : Primitive 2 9 supportedEntry_2_9 [7, 73] [1, 1]

C(2, 9) has a generator of order 511.

theorem Hex.Conway.primitive_73_4 : Primitive 73 4 supportedEntry_73_4 [2, 3, 5, 13, 37, 41] [5, 2, 1, 1, 1, 1]

C(73, 4) has a generator of order 28398240.

theorem Hex.Conway.primitive_113_4 : Primitive 113 4 supportedEntry_113_4 [2, 3, 5, 7, 19, 1277] [6, 1, 1, 1, 1, 1]

C(113, 4) has a generator of order 163047360.

theorem Hex.Conway.primitive_193_4 : Primitive 193 4 supportedEntry_193_4 [2, 3, 5, 97, 149] [8, 1, 3, 1, 1]

C(193, 4) has a generator of order 1387488000.

theorem Hex.Conway.primitive_71_4 : Primitive 71 4 supportedEntry_71_4 [2, 3, 5, 7, 2521] [5, 2, 1, 1, 1]

C(71, 4) has a generator of order 25411680.

theorem Hex.Conway.primitive_107_4 : Primitive 107 4 supportedEntry_107_4 [2, 3, 5, 53, 229] [4, 3, 2, 1, 1]

C(107, 4) has a generator of order 131079600.

theorem Hex.Conway.primitive_41_4 : Primitive 41 4 supportedEntry_41_4 [2, 3, 5, 7, 29] [5, 1, 1, 1, 2]

C(41, 4) has a generator of order 2825760.

theorem Hex.Conway.primitive_571_3 : Primitive 571 3 supportedEntry_571_3 [2, 3, 5, 7, 19, 103, 151] [1, 2, 1, 1, 1, 1, 1]

C(571, 3) has a generator of order 186169410.

theorem Hex.Conway.primitive_631_3 : Primitive 631 3 supportedEntry_631_3 [2, 3, 5, 7, 307, 433] [1, 3, 1, 1, 1, 1]

C(631, 3) has a generator of order 251239590.

theorem Hex.Conway.primitive_821_3 : Primitive 821 3 supportedEntry_821_3 [2, 5, 7, 41, 229, 421] [2, 1, 1, 1, 1, 1]

C(821, 3) has a generator of order 553387660.

theorem Hex.Conway.primitive_967_3 : Primitive 967 3 supportedEntry_967_3 [2, 3, 7, 23, 67, 4657] [1, 2, 1, 1, 1, 1]

C(967, 3) has a generator of order 904231062.

theorem Hex.Conway.primitive_29_4 : Primitive 29 4 supportedEntry_29_4 [2, 3, 5, 7, 421] [4, 1, 1, 1, 1]

C(29, 4) has a generator of order 707280.

theorem Hex.Conway.primitive_13_5 : Primitive 13 5 supportedEntry_13_5 [2, 3, 30941] [2, 1, 1]

C(13, 5) has a generator of order 371292.