1 to K

求める式は $N(K+1)+\cfrac{K(K+1)}{2}$ です。それぞれの値を求めてあらかじめ $1007$ で割ったあまりを求めることが適切です。