Return to HMT.in CVS log

Up to [local] / OpenXM / src / Ti / examples

Annotation of OpenXM/src/Ti/examples/HMT.in, Revision 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 }