There is a graph of n vertices which are indexed from 1 to n. For any pair of different vertices, the weight of the edge between them is the least common multiple of their indexes.
Mr. Frog is wondering about the total weight of the minimum spanning tree. Can you help him?
Input
The first line contains only one integer T (T≤100), which indicates the number of test cases.
For each test case, the first line contains only one integer n (2≤n≤109), indicating the number of vertices.
Output
For each test case, output one line “Case #x:y”,where x is the case number (starting from 1) and y is the total weight of the minimum spanning tree.
Sample Input
2
2
3
Sample Output
Case #1: 2
Case #2: 5
Hint
In the second sample, the graph contains 3 edges which are (1, 2, 2), (1, 3, 3) and (2, 3, 6). Thus the answer is 5.
#include <stdio.h>
#include <string.h>
//思维题, 透彻的理解题意是前提!!!
//在此基础上才能找出正确的规律!!!
//所以啊,好好学学英语吧
long long f(long long n)
{
return (n+2)*(n-1)/2;
}
int main()
{
int t, i;
long long n;
scanf("%d", &t);
for(i=1;i<=t;i++)
{
scanf("%lld", &n);
printf("Case #%d: ", i);
printf("%lld\n", f(n));
}
}