source: mm.c
procedure: mm
format: rose
loop: 0

known(ambn > 4)
known(an > 0)
known(bm > 0)
peel(1,3,4)
print