theorem Hex.Conway.compat_991_1_2 : Compatible 991 1 2 supportedEntry_991_1 supportedEntry_991_2

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

theorem Hex.Conway.compat_379_1_2 : Compatible 379 1 2 supportedEntry_379_1 supportedEntry_379_2

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

theorem Hex.Conway.compat_439_1_2 : Compatible 439 1 2 supportedEntry_439_1 supportedEntry_439_2

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

theorem Hex.Conway.compat_509_1_2 : Compatible 509 1 2 supportedEntry_509_1 supportedEntry_509_2

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

theorem Hex.Conway.compat_181_1_2 : Compatible 181 1 2 supportedEntry_181_1 supportedEntry_181_2

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

theorem Hex.Conway.compat_523_1_2 : Compatible 523 1 2 supportedEntry_523_1 supportedEntry_523_2

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

theorem Hex.Conway.compat_587_1_2 : Compatible 587 1 2 supportedEntry_587_1 supportedEntry_587_2

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

theorem Hex.Conway.compat_641_1_2 : Compatible 641 1 2 supportedEntry_641_1 supportedEntry_641_2

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

theorem Hex.Conway.compat_677_1_2 : Compatible 677 1 2 supportedEntry_677_1 supportedEntry_677_2

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

theorem Hex.Conway.compat_757_1_2 : Compatible 757 1 2 supportedEntry_757_1 supportedEntry_757_2

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

theorem Hex.Conway.compat_823_1_2 : Compatible 823 1 2 supportedEntry_823_1 supportedEntry_823_2

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

theorem Hex.Conway.compat_971_1_2 : Compatible 971 1 2 supportedEntry_971_1 supportedEntry_971_2

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

theorem Hex.Conway.compat_263_1_2 : Compatible 263 1 2 supportedEntry_263_1 supportedEntry_263_2

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

theorem Hex.Conway.compat_269_1_2 : Compatible 269 1 2 supportedEntry_269_1 supportedEntry_269_2

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

theorem Hex.Conway.compat_293_1_2 : Compatible 293 1 2 supportedEntry_293_1 supportedEntry_293_2

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

theorem Hex.Conway.compat_347_1_2 : Compatible 347 1 2 supportedEntry_347_1 supportedEntry_347_2

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

theorem Hex.Conway.compat_397_1_2 : Compatible 397 1 2 supportedEntry_397_1 supportedEntry_397_2

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

theorem Hex.Conway.compat_449_1_2 : Compatible 449 1 2 supportedEntry_449_1 supportedEntry_449_2

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

theorem Hex.Conway.compat_499_1_2 : Compatible 499 1 2 supportedEntry_499_1 supportedEntry_499_2

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

theorem Hex.Conway.compat_3_2_4 : Compatible 3 2 4 supportedEntry_3_2 supportedEntry_3_4

Compatibility of C(3, 2) with C(3, 4).

theorem Hex.Conway.compat_157_1_2 : Compatible 157 1 2 supportedEntry_157_1 supportedEntry_157_2

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

theorem Hex.Conway.compat_191_1_2 : Compatible 191 1 2 supportedEntry_191_1 supportedEntry_191_2

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

theorem Hex.Conway.compat_227_1_2 : Compatible 227 1 2 supportedEntry_227_1 supportedEntry_227_2

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

theorem Hex.Conway.compat_2_1_5 : Compatible 2 1 5 supportedEntry_2_1 supportedEntry_2_5

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