[BACK]Return to HMT.in CVS log [TXT][DIR] Up to [local] / OpenXM / src / Ti / examples

Annotation of OpenXM/src/Ti/examples/HMT.in, Revision 1.1.1.1

1.1       maekawa     1: %HMT.in
                      2: % First counter example to 3/4 conjecture.
                      3: % Found by Hosten and Maclagan.
                      4: M: { 1 4 : 247 248 345 15 }

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>