#include #include #include #include #include #include using namespace std; typedef long long LL; const int MAXN = 1e3+5; char s[MAXN][12]; map mp; map::iterator it; int main() { int T; scanf("%d", &T); for(int cas=1; cas<=T; cas++) { int n, m, k; scanf("%d%d%d", &n, &m, &k); for(int i=0; isecond); tmp -= (tt-1)*tt/2; } if(tmp >= k) ans++; } printf("Case #%d: %d\n",cas, ans); } return 0; }