aig 62 32 0 1 30
124
977= 5;59SYQWc
Generated by Yosys 0.33 (git sha1 2584903a060)