aig 15 2 2 0 11 2 1
14
21
22
24
30

	





i0 c
i1 d
l0 a
l1 AIGER_NOT_b
b0 AIGER_NEVER_0
b1 AIGER_NEVER_1
c0 AIGER_INVAR_0
c
smvtoaig
1.9
mult2.flatsmv