The Lisp

zhufei's blog

SCIP EX1.3. sum of the squares of the two larger numbers in three.