theorem Hex.Conway.compat_241_1_2 : Compatible 241 1 2 supportedEntry_241_1 supportedEntry_241_2

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

theorem Hex.Conway.compat_577_1_2 : Compatible 577 1 2 supportedEntry_577_1 supportedEntry_577_2

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

theorem Hex.Conway.compat_79_1_2 : Compatible 79 1 2 supportedEntry_79_1 supportedEntry_79_2

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

theorem Hex.Conway.compat_103_1_2 : Compatible 103 1 2 supportedEntry_103_1 supportedEntry_103_2

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

theorem Hex.Conway.compat_383_1_2 : Compatible 383 1 2 supportedEntry_383_1 supportedEntry_383_2

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

theorem Hex.Conway.compat_163_1_2 : Compatible 163 1 2 supportedEntry_163_1 supportedEntry_163_2

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

theorem Hex.Conway.compat_107_1_2 : Compatible 107 1 2 supportedEntry_107_1 supportedEntry_107_2

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

theorem Hex.Conway.compat_37_1_2 : Compatible 37 1 2 supportedEntry_37_1 supportedEntry_37_2

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

theorem Hex.Conway.compat_23_1_2 : Compatible 23 1 2 supportedEntry_23_1 supportedEntry_23_2

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

theorem Hex.Conway.compat_11_1_2 : Compatible 11 1 2 supportedEntry_11_1 supportedEntry_11_2

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

theorem Hex.Conway.compat_2_1_3 : Compatible 2 1 3 supportedEntry_2_1 supportedEntry_2_3

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