theorem Hex.Conway.compat_281_1_2 : Compatible 281 1 2 supportedEntry_281_1 supportedEntry_281_2

Compatibility of C(281, 1) with C(281, 2).

theorem Hex.Conway.compat_331_1_2 : Compatible 331 1 2 supportedEntry_331_1 supportedEntry_331_2

Compatibility of C(331, 1) with C(331, 2).

theorem Hex.Conway.compat_389_1_2 : Compatible 389 1 2 supportedEntry_389_1 supportedEntry_389_2

Compatibility of C(389, 1) with C(389, 2).

theorem Hex.Conway.compat_443_1_2 : Compatible 443 1 2 supportedEntry_443_1 supportedEntry_443_2

Compatibility of C(443, 1) with C(443, 2).

theorem Hex.Conway.compat_13_1_3 : Compatible 13 1 3 supportedEntry_13_1 supportedEntry_13_3

Compatibility of C(13, 1) with C(13, 3).

theorem Hex.Conway.compat_211_1_2 : Compatible 211 1 2 supportedEntry_211_1 supportedEntry_211_2

Compatibility of C(211, 1) with C(211, 2).

theorem Hex.Conway.compat_541_1_2 : Compatible 541 1 2 supportedEntry_541_1 supportedEntry_541_2

Compatibility of C(541, 1) with C(541, 2).

theorem Hex.Conway.compat_593_1_2 : Compatible 593 1 2 supportedEntry_593_1 supportedEntry_593_2

Compatibility of C(593, 1) with C(593, 2).

theorem Hex.Conway.compat_647_1_2 : Compatible 647 1 2 supportedEntry_647_1 supportedEntry_647_2

Compatibility of C(647, 1) with C(647, 2).

theorem Hex.Conway.compat_719_1_2 : Compatible 719 1 2 supportedEntry_719_1 supportedEntry_719_2

Compatibility of C(719, 1) with C(719, 2).

theorem Hex.Conway.compat_773_1_2 : Compatible 773 1 2 supportedEntry_773_1 supportedEntry_773_2

Compatibility of C(773, 1) with C(773, 2).

theorem Hex.Conway.compat_877_1_2 : Compatible 877 1 2 supportedEntry_877_1 supportedEntry_877_2

Compatibility of C(877, 1) with C(877, 2).

theorem Hex.Conway.compat_977_1_2 : Compatible 977 1 2 supportedEntry_977_1 supportedEntry_977_2

Compatibility of C(977, 1) with C(977, 2).

theorem Hex.Conway.compat_271_1_2 : Compatible 271 1 2 supportedEntry_271_1 supportedEntry_271_2

Compatibility of C(271, 1) with C(271, 2).

theorem Hex.Conway.compat_313_1_2 : Compatible 313 1 2 supportedEntry_313_1 supportedEntry_313_2

Compatibility of C(313, 1) with C(313, 2).

theorem Hex.Conway.compat_353_1_2 : Compatible 353 1 2 supportedEntry_353_1 supportedEntry_353_2

Compatibility of C(353, 1) with C(353, 2).

theorem Hex.Conway.compat_401_1_2 : Compatible 401 1 2 supportedEntry_401_1 supportedEntry_401_2

Compatibility of C(401, 1) with C(401, 2).

theorem Hex.Conway.compat_457_1_2 : Compatible 457 1 2 supportedEntry_457_1 supportedEntry_457_2

Compatibility of C(457, 1) with C(457, 2).

theorem Hex.Conway.compat_503_1_2 : Compatible 503 1 2 supportedEntry_503_1 supportedEntry_503_2

Compatibility of C(503, 1) with C(503, 2).

theorem Hex.Conway.compat_137_1_2 : Compatible 137 1 2 supportedEntry_137_1 supportedEntry_137_2

Compatibility of C(137, 1) with C(137, 2).

theorem Hex.Conway.compat_167_1_2 : Compatible 167 1 2 supportedEntry_167_1 supportedEntry_167_2

Compatibility of C(167, 1) with C(167, 2).

theorem Hex.Conway.compat_197_1_2 : Compatible 197 1 2 supportedEntry_197_1 supportedEntry_197_2

Compatibility of C(197, 1) with C(197, 2).

theorem Hex.Conway.compat_233_1_2 : Compatible 233 1 2 supportedEntry_233_1 supportedEntry_233_2

Compatibility of C(233, 1) with C(233, 2).

theorem Hex.Conway.compat_7_1_3 : Compatible 7 1 3 supportedEntry_7_1 supportedEntry_7_3

Compatibility of C(7, 1) with C(7, 3).