aag 1 0 1 0 0 1
2 3
3
b0 AIGER_NEVER