deduce3.C 356 Bytes