Sum of integers below 712