abcNewAig.c 12 KB