aig 4 2 0 2 2
6
8

c
Generated by Yosys 0.33 (git sha1 2584903a060)