原翻译和PDF根本对不上，题解也是照着翻译写的，无法AC，建议撤下。

题目描述

定义 $f(x)$ 是满足 $(a \times b) | x$（即$x \mod (a \times b) = 0$）的有序对数个数。给定一个正整数 $n$ ，Rikka需要求出 $f(1) + f(2) + \cdots + f(n)$。

输入格式

本题有多组数据。

每组数据中输入一行，一个正整数 $n$ $(1 \leq n \leq 10^{11})$，数据以 EOF 结束。

输出格式

每组数据，输出一行 Case X: Y，$X$ 是数据编号（从 $1$ 开始），$Y$ 是求出的答案。

输入样例

1
3
6
10
15
21
28

输出样例

Case 1: 1
Case 2: 7
Case 3: 25
Case 4: 53
Case 5: 95
Case 6: 161
Case 7: 246

### 题目描述
定义 $f(x)$ 是满足 $(a \times b) | x$（即$x \mod (a \times b) = 0$）的有序对数个数。给定一个正整数 $n$ ，Rikka需要求出 $f(1) + f(2) + \cdots + f(n)$。

### 输入格式
**本题有多组数据。**

每组数据中输入一行，一个正整数 $n$ $(1 \leq n \leq 10^{11})$，数据以 `EOF` 结束。

### 输出格式
每组数据，输出一行 `Case X: Y`，$X$ 是数据编号（从 $1$ 开始），$Y$ 是求出的答案。