theorem Hex.Conway.compat_71_1_2 : Compatible 71 1 2 supportedEntry_71_1 supportedEntry_71_2

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

theorem Hex.Conway.compat_89_1_2 : Compatible 89 1 2 supportedEntry_89_1 supportedEntry_89_2

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

theorem Hex.Conway.compat_113_1_2 : Compatible 113 1 2 supportedEntry_113_1 supportedEntry_113_2

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

theorem Hex.Conway.compat_43_1_2 : Compatible 43 1 2 supportedEntry_43_1 supportedEntry_43_2

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

theorem Hex.Conway.compat_61_1_2 : Compatible 61 1 2 supportedEntry_61_1 supportedEntry_61_2

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

theorem Hex.Conway.compat_97_1_2 : Compatible 97 1 2 supportedEntry_97_1 supportedEntry_97_2

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

theorem Hex.Conway.compat_29_1_2 : Compatible 29 1 2 supportedEntry_29_1 supportedEntry_29_2

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

theorem Hex.Conway.compat_53_1_2 : Compatible 53 1 2 supportedEntry_53_1 supportedEntry_53_2

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

theorem Hex.Conway.compat_17_1_2 : Compatible 17 1 2 supportedEntry_17_1 supportedEntry_17_2

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

theorem Hex.Conway.compat_7_1_2 : Compatible 7 1 2 supportedEntry_7_1 supportedEntry_7_2

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