aig 22 16 0 1 6
45
	

c
Generated by Yosys 0.33 (git sha1 2584903a060)