aig 63 32 0 1 31
126
977="7=7;U[SYc
Generated by Yosys 0.33 (git sha1 2584903a060)