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