Sum of integers below 513