#P1916. 又见F(x)

又见F(x)

    我们定义 F(x)是满足 x  mod(a*b) == 0这样a,b的组数。现在给你一个n,你需要求出sum = F(1) + F(2) + F(3) + …… + F(n)。

Input

有多组测试数据。
每组测试数据输入一个整数n (1 <= n <= 10^11)

Output

每组测试数据输出 Case x: y ,x 表示第x组测试数据,y表示sum的值

Sample Input

1
2
3
4

Sample Output

Case 1: 1
Case 2: 4
Case 3: 7
Case 4: 13

HINT

Source