theorem Hex.Conway.primitive_431_1 : Primitive 431 1 supportedEntry_431_1 [2, 5, 43] [1, 1, 1]

C(431, 1) has a generator of order 430.

theorem Hex.Conway.primitive_461_1 : Primitive 461 1 supportedEntry_461_1 [2, 5, 23] [2, 1, 1]

C(461, 1) has a generator of order 460.

theorem Hex.Conway.primitive_139_1 : Primitive 139 1 supportedEntry_139_1 [2, 3, 23] [1, 1, 1]

C(139, 1) has a generator of order 138.

theorem Hex.Conway.primitive_181_1 : Primitive 181 1 supportedEntry_181_1 [2, 3, 5] [2, 2, 1]

C(181, 1) has a generator of order 180.

theorem Hex.Conway.primitive_229_1 : Primitive 229 1 supportedEntry_229_1 [2, 3, 19] [2, 1, 1]

C(229, 1) has a generator of order 228.

theorem Hex.Conway.primitive_71_1 : Primitive 71 1 supportedEntry_71_1 [2, 5, 7] [1, 1, 1]

C(71, 1) has a generator of order 70.

theorem Hex.Conway.primitive_557_1 : Primitive 557 1 supportedEntry_557_1 [2, 139] [2, 1]

C(557, 1) has a generator of order 556.

theorem Hex.Conway.primitive_577_1 : Primitive 577 1 supportedEntry_577_1 [2, 3] [6, 2]

C(577, 1) has a generator of order 576.

theorem Hex.Conway.primitive_653_1 : Primitive 653 1 supportedEntry_653_1 [2, 163] [2, 1]

C(653, 1) has a generator of order 652.

theorem Hex.Conway.primitive_773_1 : Primitive 773 1 supportedEntry_773_1 [2, 193] [2, 1]

C(773, 1) has a generator of order 772.

theorem Hex.Conway.primitive_857_1 : Primitive 857 1 supportedEntry_857_1 [2, 107] [3, 1]

C(857, 1) has a generator of order 856.

theorem Hex.Conway.primitive_977_1 : Primitive 977 1 supportedEntry_977_1 [2, 61] [4, 1]

C(977, 1) has a generator of order 976.

theorem Hex.Conway.primitive_269_1 : Primitive 269 1 supportedEntry_269_1 [2, 67] [2, 1]

C(269, 1) has a generator of order 268.

theorem Hex.Conway.primitive_353_1 : Primitive 353 1 supportedEntry_353_1 [2, 11] [5, 1]

C(353, 1) has a generator of order 352.

theorem Hex.Conway.primitive_401_1 : Primitive 401 1 supportedEntry_401_1 [2, 5] [4, 2]

C(401, 1) has a generator of order 400.

theorem Hex.Conway.primitive_479_1 : Primitive 479 1 supportedEntry_479_1 [2, 239] [1, 1]

C(479, 1) has a generator of order 478.

theorem Hex.Conway.primitive_2_2 : Primitive 2 2 supportedEntry_2_2 [3] [1]

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

theorem Hex.Conway.primitive_149_1 : Primitive 149 1 supportedEntry_149_1 [2, 37] [2, 1]

C(149, 1) has a generator of order 148.

theorem Hex.Conway.primitive_179_1 : Primitive 179 1 supportedEntry_179_1 [2, 89] [1, 1]

C(179, 1) has a generator of order 178.

theorem Hex.Conway.primitive_233_1 : Primitive 233 1 supportedEntry_233_1 [2, 29] [3, 1]

C(233, 1) has a generator of order 232.

theorem Hex.Conway.primitive_89_1 : Primitive 89 1 supportedEntry_89_1 [2, 11] [3, 1]

C(89, 1) has a generator of order 88.

theorem Hex.Conway.primitive_109_1 : Primitive 109 1 supportedEntry_109_1 [2, 3] [2, 3]

C(109, 1) has a generator of order 108.

theorem Hex.Conway.primitive_53_1 : Primitive 53 1 supportedEntry_53_1 [2, 13] [2, 1]

C(53, 1) has a generator of order 52.

theorem Hex.Conway.primitive_29_1 : Primitive 29 1 supportedEntry_29_1 [2, 7] [2, 1]

C(29, 1) has a generator of order 28.