#include <bits/stdc++.h>
using namespace std;
typedef long long ll;

#define eb emplace_back
#define all(s) (s).begin(), (s).end()
#define rep(i, a, b) for (int i = (a); i <= (b); ++i)
#define per(i, a, b) for (int i = (a); i >= (b); --i)

map<string, int> sz;

int testcase;

inline void work() {
    int n;
    cin >> n;
    ll ans = 0;
    string s, tmp;
    getline(cin, s);
    rep(i, 1, n) {
        getline(cin, s);
        stringstream sin(s);
        vector<string> elements;
        while(sin >> tmp) elements.eb(tmp);
        elements.pop_back();
        string type;
        for (auto x : elements) type += x;
        int amount = 0;
        for (auto c : tmp) {
            if (!isdigit(c)) continue;
            amount = amount * 10 + (c - '0');
        }
        if (!amount) amount = 1;
        ans += 1ll * sz[type] * amount;
    }
    printf("Case #%d: %lld\n", ++testcase, (ans + 1023) / 1024);
}

int main() {
    sz["bool"] = sz["char"] = 1;
    sz["int"] = sz["float"] = 4;
    sz["long long"] = sz["double"] = 8;
    sz["__int128"] = sz["long double"] = 16;
    cin.tie(0);
    ios::sync_with_stdio(false);
    int t; cin >> t;
    while (t--) work();
    return 0;
}