theorem Hex.Conway.compat_863_1_2 : Compatible 863 1 2 supportedEntry_863_1 supportedEntry_863_2

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

theorem Hex.Conway.compat_101_1_2 : Compatible 101 1 2 supportedEntry_101_1 supportedEntry_101_2

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

theorem Hex.Conway.compat_257_1_2 : Compatible 257 1 2 supportedEntry_257_1 supportedEntry_257_2

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

theorem Hex.Conway.compat_41_1_2 : Compatible 41 1 2 supportedEntry_41_1 supportedEntry_41_2

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

theorem Hex.Conway.compat_59_1_2 : Compatible 59 1 2 supportedEntry_59_1 supportedEntry_59_2

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

theorem Hex.Conway.compat_73_1_2 : Compatible 73 1 2 supportedEntry_73_1 supportedEntry_73_2

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

theorem Hex.Conway.compat_5_1_3 : Compatible 5 1 3 supportedEntry_5_1 supportedEntry_5_3

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

theorem Hex.Conway.compat_19_1_2 : Compatible 19 1 2 supportedEntry_19_1 supportedEntry_19_2

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

theorem Hex.Conway.compat_3_1_3 : Compatible 3 1 3 supportedEntry_3_1 supportedEntry_3_3

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

theorem Hex.Conway.compat_2_1_2 : Compatible 2 1 2 supportedEntry_2_1 supportedEntry_2_2

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

theorem Hex.Conway.compat_3_1_2 : Compatible 3 1 2 supportedEntry_3_1 supportedEntry_3_2

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