deduce3.C 162 Bytes