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