Return to HMT.in CVS log | Up to [local] / OpenXM_contrib / TiGERS_0.9 / examples |
File: [local] / OpenXM_contrib / TiGERS_0.9 / examples / Attic / HMT.in (download)
Revision 1.1.1.1 (vendor branch), Sat Nov 27 10:58:44 1999 UTC (24 years, 10 months ago) by maekawa
Import TiGERS 0.9 |
%HMT.in % First counter example to 3/4 conjecture. % Found by Hosten and Maclagan. M: { 1 4 : 247 248 345 15 }