abcNewAig.c 11.9 KB