Data.SBV.Examples.Puzzles.Euler185
guesses
euler185
solveEuler185