Sum of integers below 523