aig 11 4 0 3 7
14
20
22




c
Generated by Yosys 0.33 (git sha1 2584903a060)