deduce.C 728 Bytes