Winter is here at the North and the White Walkers are close. John Snow has an army consisting of *n* soldiers. While the rest of the world is fighting for the Iron Throne, he is going to get ready for the attack of the White Walkers.

He has created a method to know how strong his army is. Let the *i*-th soldier’s strength be *a*_{i}. For some *k* he calls *i*_{1}, *i*_{2}, ..., *i*_{k} a clan if *i*_{1} < *i*_{2} < *i*_{3} < ... < *i*_{k} and *gcd*(*a*_{i1}, *a*_{i2}, ..., *a*_{ik}) > 1 . He calls the strength of that clan *k*·*gcd*(*a*_{i1}, *a*_{i2}, ..., *a*_{ik}). Then he defines the strength of his army by the sum of strengths of all possible clans.

Your task is to find the strength of his army. As the number may be very large, you have to print it modulo 1000000007 (10^{9} + 7).

Greatest common divisor (gcd) of a sequence of integers is the maximum possible integer so that each element of the sequence is divisible by it.

提交代码