theorem Hex.Conway.compat_307_1_2 : Compatible 307 1 2 supportedEntry_307_1 supportedEntry_307_2

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

theorem Hex.Conway.compat_349_1_2 : Compatible 349 1 2 supportedEntry_349_1 supportedEntry_349_2

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

theorem Hex.Conway.compat_409_1_2 : Compatible 409 1 2 supportedEntry_409_1 supportedEntry_409_2

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

theorem Hex.Conway.compat_463_1_2 : Compatible 463 1 2 supportedEntry_463_1 supportedEntry_463_2

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

theorem Hex.Conway.compat_131_1_2 : Compatible 131 1 2 supportedEntry_131_1 supportedEntry_131_2

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

theorem Hex.Conway.compat_229_1_2 : Compatible 229 1 2 supportedEntry_229_1 supportedEntry_229_2

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

theorem Hex.Conway.compat_557_1_2 : Compatible 557 1 2 supportedEntry_557_1 supportedEntry_557_2

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

theorem Hex.Conway.compat_607_1_2 : Compatible 607 1 2 supportedEntry_607_1 supportedEntry_607_2

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

theorem Hex.Conway.compat_653_1_2 : Compatible 653 1 2 supportedEntry_653_1 supportedEntry_653_2

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

theorem Hex.Conway.compat_733_1_2 : Compatible 733 1 2 supportedEntry_733_1 supportedEntry_733_2

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

theorem Hex.Conway.compat_787_1_2 : Compatible 787 1 2 supportedEntry_787_1 supportedEntry_787_2

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

theorem Hex.Conway.compat_887_1_2 : Compatible 887 1 2 supportedEntry_887_1 supportedEntry_887_2

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

theorem Hex.Conway.compat_983_1_2 : Compatible 983 1 2 supportedEntry_983_1 supportedEntry_983_2

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

theorem Hex.Conway.compat_277_1_2 : Compatible 277 1 2 supportedEntry_277_1 supportedEntry_277_2

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

theorem Hex.Conway.compat_317_1_2 : Compatible 317 1 2 supportedEntry_317_1 supportedEntry_317_2

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

theorem Hex.Conway.compat_359_1_2 : Compatible 359 1 2 supportedEntry_359_1 supportedEntry_359_2

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

theorem Hex.Conway.compat_431_1_2 : Compatible 431 1 2 supportedEntry_431_1 supportedEntry_431_2

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

theorem Hex.Conway.compat_467_1_2 : Compatible 467 1 2 supportedEntry_467_1 supportedEntry_467_2

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

theorem Hex.Conway.compat_17_1_3 : Compatible 17 1 3 supportedEntry_17_1 supportedEntry_17_3

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

theorem Hex.Conway.compat_3_1_4 : Compatible 3 1 4 supportedEntry_3_1 supportedEntry_3_4

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

theorem Hex.Conway.compat_151_1_2 : Compatible 151 1 2 supportedEntry_151_1 supportedEntry_151_2

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

theorem Hex.Conway.compat_179_1_2 : Compatible 179 1 2 supportedEntry_179_1 supportedEntry_179_2

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

theorem Hex.Conway.compat_223_1_2 : Compatible 223 1 2 supportedEntry_223_1 supportedEntry_223_2

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

theorem Hex.Conway.compat_251_1_2 : Compatible 251 1 2 supportedEntry_251_1 supportedEntry_251_2

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