abcNewAig.c 11.7 KB