aig 5 1 1 0 3 1
10
5


b0 AIGER_NEVER