aig 0 0 0 11 0
0
1
0
0
0
0
0
0
0
0
1
c
Generated by Yosys 0.33 (git sha1 2584903a060)