熊猫先生是世界上顶尖的数论专家之一。
现在，熊猫先生正在研究 2 的幂的性质。由于 7 是熊猫先生的幸运数字，他总是对 7 的倍数感兴趣。
然而，我们知道 2 的任何幂都不是 7 的倍数，但 2 的幂减去 1 可能是 7 的倍数。熊猫先生想知道，在小于 $2^N$ 的正整数中，有多少个形如 $2^k - 1$（$k$ 为正整数）的数能被 7 整除。其中 $N$ 是熊猫先生给出的一个正整数。
输入格式
输入的第一行包含测试用例的数量 $T$。接下来有 $T$ 个测试用例。 每个测试用例仅包含一个正整数 $N$。
输出格式
对于每个测试用例，输出一行 “Case #x: y”，其中 $x$ 是测试用例编号（从 1 开始），$y$ 是答案。
数据范围
- $1 \le T \le 100$
- $1 \le N \le 10^5$
样例
样例输入 1
2 1 4
样例输出 1
Case #1: 0 Case #2: 1