theorem Hex.Conway.compat_67_1_2 : Compatible 67 1 2 supportedEntry_67_1 supportedEntry_67_2

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

theorem Hex.Conway.compat_83_1_2 : Compatible 83 1 2 supportedEntry_83_1 supportedEntry_83_2

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

theorem Hex.Conway.compat_109_1_2 : Compatible 109 1 2 supportedEntry_109_1 supportedEntry_109_2

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

theorem Hex.Conway.compat_487_1_2 : Compatible 487 1 2 supportedEntry_487_1 supportedEntry_487_2

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

theorem Hex.Conway.compat_193_1_2 : Compatible 193 1 2 supportedEntry_193_1 supportedEntry_193_2

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

theorem Hex.Conway.compat_127_1_2 : Compatible 127 1 2 supportedEntry_127_1 supportedEntry_127_2

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

theorem Hex.Conway.compat_47_1_2 : Compatible 47 1 2 supportedEntry_47_1 supportedEntry_47_2

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

theorem Hex.Conway.compat_31_1_2 : Compatible 31 1 2 supportedEntry_31_1 supportedEntry_31_2

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

theorem Hex.Conway.compat_13_1_2 : Compatible 13 1 2 supportedEntry_13_1 supportedEntry_13_2

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

theorem Hex.Conway.compat_5_1_2 : Compatible 5 1 2 supportedEntry_5_1 supportedEntry_5_2

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