deduction.cpp 1.4 KB