aig 5 1 1 0 3 1
10
4


b0 AIGER_NEVER