abcDprove2.c 12.3 KB