aig 74 64 0 1 10
149



c
Generated by Yosys 0.33 (git sha1 2584903a060)