mvsis> print_factor
{i}{1} = m{2}q{2} + m{1}q{0} + m{0}q{1}
{i}{2} = m{2}q{0} + m{1}q{1} + m{0}q{2}
{j}{1} = n{2}r{2} + n{1}r{0} + n{0}r{1}
{j}{2} = n{2}r{0} + n{1}r{1} + n{0}r{2}
{k}{1} = o{2}s{2} + o{1}s{0} + o{0}s{1}
{k}{2} = o{2}s{0} + o{1}s{1} + o{0}s{2}
{l}{1} = p{2}t{2} + p{1}t{0} + p{0}t{1}
{l}{2} = p{2}t{0} + p{1}t{1} + p{0}t{2}
m{0} = a{0} + e{0}
m{2} = a{2}e{1} + a{1}e{2}
n{0} = a{0} + f{0}
n{2} = a{2}f{1} + a{1}f{2}
o{0} = c{0} + e{0}
o{2} = c{2}e{1} + c{1}e{2}
p{0} = c{0} + f{0}
p{2} = c{2}f{1} + c{1}f{2}
q{0} = b{0} + g{0}
q{2} = b{2}g{1} + b{1}g{2}
r{0} = b{0} + h{0}
r{2} = b{2}h{1} + b{1}h{2}
s{0} = d{0} + g{0}
s{2} = d{2}g{1} + d{1}g{2}
t{0} = d{0} + h{0}
t{2} = d{2}h{1} + d{1}h{2}
matmul:  12 nodes,  4 POs,  56 cubes(sop),  96 lits(sop),  96 lits(fact.)
mvsis>