#include <stdio.h>

int main()
{
    long long int ans[1005];
    int z, n;
    long long int p, q, r, tot, i;

    p = 0;
    q = 2;
    r = 2;
    tot = 1;

    ans[1] = 1;
    for (i = 2; i <= 1000; i++) {
        tot += r;
        ans[i] = tot;
        p++;
        if (p == q) {
            p = 0;
            q++;
            r *= 2;
        }
    }

    z = 1;
    while (scanf(" %d", &n) != EOF) {
        printf("Case %d: %lld\n", z++, ans[n]);
    }

    return 0;
}