theorem Hex.Conway.primitive_223_2 : Primitive 223 2 supportedEntry_223_2 [2, 3, 7, 37] [6, 1, 1, 1]

C(223, 2) has a generator of order 49728.

theorem Hex.Conway.primitive_251_2 : Primitive 251 2 supportedEntry_251_2 [2, 3, 5, 7] [3, 2, 3, 1]

C(251, 2) has a generator of order 63000.

theorem Hex.Conway.primitive_71_2 : Primitive 71 2 supportedEntry_71_2 [2, 3, 5, 7] [4, 2, 1, 1]

C(71, 2) has a generator of order 5040.

theorem Hex.Conway.primitive_89_2 : Primitive 89 2 supportedEntry_89_2 [2, 3, 5, 11] [4, 2, 1, 1]

C(89, 2) has a generator of order 7920.

theorem Hex.Conway.primitive_113_2 : Primitive 113 2 supportedEntry_113_2 [2, 3, 7, 19] [5, 1, 1, 1]

C(113, 2) has a generator of order 12768.

theorem Hex.Conway.primitive_43_2 : Primitive 43 2 supportedEntry_43_2 [2, 3, 7, 11] [3, 1, 1, 1]

C(43, 2) has a generator of order 1848.

theorem Hex.Conway.primitive_163_2 : Primitive 163 2 supportedEntry_163_2 [2, 3, 41] [3, 4, 1]

C(163, 2) has a generator of order 26568.

theorem Hex.Conway.primitive_127_2 : Primitive 127 2 supportedEntry_127_2 [2, 3, 7] [8, 2, 1]

C(127, 2) has a generator of order 16128.

theorem Hex.Conway.primitive_53_2 : Primitive 53 2 supportedEntry_53_2 [2, 3, 13] [3, 3, 1]

C(53, 2) has a generator of order 2808.

theorem Hex.Conway.primitive_31_2 : Primitive 31 2 supportedEntry_31_2 [2, 3, 5] [6, 1, 1]

C(31, 2) has a generator of order 960.

theorem Hex.Conway.primitive_2_3 : Primitive 2 3 supportedEntry_2_3 [7] [1]

C(2, 3) has a generator of order 7.

theorem Hex.Conway.primitive_5_2 : Primitive 5 2 supportedEntry_5_2 [2, 3] [3, 1]

C(5, 2) has a generator of order 24.

theorem Hex.Conway.primitive_631_1 : Primitive 631 1 supportedEntry_631_1 [2, 3, 5, 7] [1, 2, 1, 1]

C(631, 1) has a generator of order 630.

theorem Hex.Conway.primitive_911_1 : Primitive 911 1 supportedEntry_911_1 [2, 5, 7, 13] [1, 1, 1, 1]

C(911, 1) has a generator of order 910.

theorem Hex.Conway.primitive_421_1 : Primitive 421 1 supportedEntry_421_1 [2, 3, 5, 7] [2, 1, 1, 1]

C(421, 1) has a generator of order 420.

theorem Hex.Conway.primitive_523_1 : Primitive 523 1 supportedEntry_523_1 [2, 3, 29] [1, 2, 1]

C(523, 1) has a generator of order 522.

theorem Hex.Conway.primitive_607_1 : Primitive 607 1 supportedEntry_607_1 [2, 3, 101] [1, 1, 1]

C(607, 1) has a generator of order 606.

theorem Hex.Conway.primitive_643_1 : Primitive 643 1 supportedEntry_643_1 [2, 3, 107] [1, 1, 1]

C(643, 1) has a generator of order 642.

theorem Hex.Conway.primitive_683_1 : Primitive 683 1 supportedEntry_683_1 [2, 11, 31] [1, 1, 1]

C(683, 1) has a generator of order 682.

theorem Hex.Conway.primitive_733_1 : Primitive 733 1 supportedEntry_733_1 [2, 3, 61] [2, 1, 1]

C(733, 1) has a generator of order 732.

theorem Hex.Conway.primitive_757_1 : Primitive 757 1 supportedEntry_757_1 [2, 3, 7] [2, 3, 1]

C(757, 1) has a generator of order 756.

theorem Hex.Conway.primitive_821_1 : Primitive 821 1 supportedEntry_821_1 [2, 5, 41] [2, 1, 1]

C(821, 1) has a generator of order 820.

theorem Hex.Conway.primitive_853_1 : Primitive 853 1 supportedEntry_853_1 [2, 3, 71] [2, 1, 1]

C(853, 1) has a generator of order 852.

theorem Hex.Conway.primitive_907_1 : Primitive 907 1 supportedEntry_907_1 [2, 3, 151] [1, 1, 1]

C(907, 1) has a generator of order 906.