Return to HMT.in CVS log | Up to [local] / OpenXM / src / Ti / examples |
File: [local] / OpenXM / src / Ti / examples / Attic / HMT.in (download)
Revision 1.1.1.1 (vendor branch), Fri Oct 8 02:12:13 1999 UTC (24 years, 9 months ago) by maekawa
o import OpenXM sources |
%HMT.in % First counter example to 3/4 conjecture. % Found by Hosten and Maclagan. M: { 1 4 : 247 248 345 15 }