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