aig 38 16 0 3 22
76
46
62

 
7;59c
Generated by Yosys 0.33 (git sha1 2584903a060)