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