aig 5 1 1 0 3 1
10
5
i0 pi0
b0 AIGER_NEVER