abcProve.c 12 KB