Verified Solutions to some project euler problems