aig 17 5 0 5 12
3
17
23
29
34



	


c
Generated by Yosys 0.33 (git sha1 2584903a060)