Sum of integers below 813