1 2 3 4 5 6 7 8 9 10
source: mm.c procedure: mm format: rose loop: 0 known(ambn > 4) known(an > 0) known(bm > 0) peel(1,3,4) print