aig 28 16 0 5 12
23
38
44
50
56





c
Generated by Yosys 0.33 (git sha1 2584903a060)