The Lisp

zhufei's blog

SCIP EX1.27. Carmicheal numbers with Fermat test