deduce.C 722 Bytes