abcProve.c 10 KB