CHECK: sum is 509773