#include<bits/stdc++.h>
using namespace std;
typedef long long int lli;
typedef long double ld;
/*
#include <chrono>
using namespace std::chrono;
#include <boost/multiprecision/cpp_lli.hpp>
using namespace boost::multiprecision;
*/
/*
#include <ext/pb_ds/assoc_container.hpp>
#include <ext/pb_ds/tree_policy.hpp>
using namespace __gnu_pbds;
#define ordered_set tree<lli, null_type,less_equal<lli>, rb_tree_tag,tree_order_statistics_node_update>
//remove _equal from less_equal to make it ordered set , currently it is ordered_multiset
*/
#define pb push_back
const lli mod=1e9+7;
const lli mod1=998244353;
#define fir first
#define sec second
#define plli pair<lli,lli>
#define pplli pair<lli,plli>
#define fastio ios_base::sync_with_stdio(false);cin.tie(NULL);
lli power(lli a, lli b) {
lli res = 1;
while (b > 0) {
if (b & 1)
res = res * a;
a = a * a;
b >>= 1;
}
return res;
}
lli powermod(lli a, lli b)
{
lli res = 1;
while (b > 0) {
if (b & 1)
res = ((res%mod)*(a%mod))%mod;
a = (a * a)%mod;
b >>= 1;
}
return res%mod;
}
int main()
{
fastio
lli T,i,j;
T=1;
cin>>T;
for(lli t=1;t<=T;t++)
{
lli n,c;
cin>>n>>c;
lli x,y;
map<lli,lli> mp;
for(i=0;i<n;i++)
{
cin>>x>>y;
mp[x+1]++,mp[y]--;
}
lli cur=0;
vector<plli> v;
lli prev=0;
for(plli p:mp)
{
v.pb({cur,p.fir-prev});
cur+=p.sec;
prev=p.fir;
}
sort(v.begin(),v.end(),greater<plli> ());
lli n1=v.size();
lli ans=0;
for(i=0;i<n1;i++)
{
if(c<v[i].sec)
{
ans+=(c*v[i].fir);
c=0;
break;
}
else
{
ans+=(v[i].fir*v[i].sec);
c-=v[i].sec;
}
}
cout<<"Case #"<<t<<": "<<ans+n<<"\n";
}
return 0;
}
I2luY2x1ZGU8Yml0cy9zdGRjKysuaD4KdXNpbmcgbmFtZXNwYWNlIHN0ZDsKdHlwZWRlZiBsb25nIGxvbmcgaW50IGxsaTsKdHlwZWRlZiBsb25nIGRvdWJsZSBsZDsKLyoKI2luY2x1ZGUgPGNocm9ubz4gCnVzaW5nIG5hbWVzcGFjZSBzdGQ6OmNocm9ubzsKI2luY2x1ZGUgPGJvb3N0L211bHRpcHJlY2lzaW9uL2NwcF9sbGkuaHBwPiAKdXNpbmcgbmFtZXNwYWNlIGJvb3N0OjptdWx0aXByZWNpc2lvbjsKKi8KLyoKI2luY2x1ZGUgPGV4dC9wYl9kcy9hc3NvY19jb250YWluZXIuaHBwPiAKI2luY2x1ZGUgPGV4dC9wYl9kcy90cmVlX3BvbGljeS5ocHA+IAp1c2luZyBuYW1lc3BhY2UgX19nbnVfcGJkczsgCiNkZWZpbmUgb3JkZXJlZF9zZXQgdHJlZTxsbGksIG51bGxfdHlwZSxsZXNzX2VxdWFsPGxsaT4sIHJiX3RyZWVfdGFnLHRyZWVfb3JkZXJfc3RhdGlzdGljc19ub2RlX3VwZGF0ZT4gCi8vcmVtb3ZlIF9lcXVhbCBmcm9tIGxlc3NfZXF1YWwgdG8gbWFrZSBpdCBvcmRlcmVkIHNldCAsIGN1cnJlbnRseSBpdCBpcyBvcmRlcmVkX211bHRpc2V0CiovCiNkZWZpbmUgcGIgcHVzaF9iYWNrCmNvbnN0IGxsaSBtb2Q9MWU5Kzc7CmNvbnN0IGxsaSBtb2QxPTk5ODI0NDM1MzsKI2RlZmluZSBmaXIgZmlyc3QKI2RlZmluZSBzZWMgc2Vjb25kCiNkZWZpbmUgcGxsaSBwYWlyPGxsaSxsbGk+CiNkZWZpbmUgcHBsbGkgcGFpcjxsbGkscGxsaT4KI2RlZmluZSBmYXN0aW8gaW9zX2Jhc2U6OnN5bmNfd2l0aF9zdGRpbyhmYWxzZSk7Y2luLnRpZShOVUxMKTsKbGxpIHBvd2VyKGxsaSBhLCBsbGkgYikgewogICAgbGxpIHJlcyA9IDE7CiAgICB3aGlsZSAoYiA+IDApIHsKICAgICAgICBpZiAoYiAmIDEpCiAgICAgICAgICAgIHJlcyA9IHJlcyAqIGE7CiAgICAgICAgYSA9IGEgKiBhOwogICAgICAgIGIgPj49IDE7CiAgICB9CiAgICByZXR1cm4gcmVzOwp9CmxsaSBwb3dlcm1vZChsbGkgYSwgbGxpIGIpIAp7CiAgICBsbGkgcmVzID0gMTsKICAgIHdoaWxlIChiID4gMCkgewogICAgICAgIGlmIChiICYgMSkKICAgICAgICAgICAgcmVzID0gKChyZXMlbW9kKSooYSVtb2QpKSVtb2Q7CiAgICAgICAgYSA9IChhICogYSklbW9kOwogICAgICAgIGIgPj49IDE7CiAgICB9CiAgICByZXR1cm4gcmVzJW1vZDsKfQppbnQgbWFpbigpCnsKICAgIGZhc3RpbwogICAgbGxpIFQsaSxqOwogICAgVD0xOwogICAgY2luPj5UOwogICAgZm9yKGxsaSB0PTE7dDw9VDt0KyspCiAgICB7CiAgICAgICAgbGxpIG4sYzsKICAgICAgICBjaW4+Pm4+PmM7CiAgICAgICAgbGxpIHgseTsKICAgICAgICBtYXA8bGxpLGxsaT4gbXA7CiAgICAgICAgZm9yKGk9MDtpPG47aSsrKQogICAgICAgIHsKICAgICAgICAgICAgY2luPj54Pj55OwogICAgICAgICAgICBtcFt4KzFdKyssbXBbeV0tLTsKICAgICAgICB9CiAgICAgICAgbGxpIGN1cj0wOwogICAgICAgIHZlY3RvcjxwbGxpPiB2OwogICAgICAgIGxsaSBwcmV2PTA7CiAgICAgICAgZm9yKHBsbGkgcDptcCkKICAgICAgICB7CiAgICAgICAgICAgIHYucGIoe2N1cixwLmZpci1wcmV2fSk7CiAgICAgICAgICAgIGN1cis9cC5zZWM7CiAgICAgICAgICAgIHByZXY9cC5maXI7CiAgICAgICAgfQogICAgICAgIHNvcnQodi5iZWdpbigpLHYuZW5kKCksZ3JlYXRlcjxwbGxpPiAoKSk7CiAgICAgICAgbGxpIG4xPXYuc2l6ZSgpOwogICAgICAgIGxsaSBhbnM9MDsKICAgICAgICBmb3IoaT0wO2k8bjE7aSsrKQogICAgICAgIHsKICAgICAgICAgICAgaWYoYzx2W2ldLnNlYykKICAgICAgICAgICAgewogICAgICAgICAgICAgICAgYW5zKz0oYyp2W2ldLmZpcik7CiAgICAgICAgICAgICAgICBjPTA7CiAgICAgICAgICAgICAgICBicmVhazsKICAgICAgICAgICAgfQogICAgICAgICAgICBlbHNlCiAgICAgICAgICAgIHsKICAgICAgICAgICAgICAgIGFucys9KHZbaV0uZmlyKnZbaV0uc2VjKTsKICAgICAgICAgICAgICAgIGMtPXZbaV0uc2VjOwogICAgICAgICAgICB9CiAgICAgICAgfQogICAgICAgIGNvdXQ8PCJDYXNlICMiPDx0PDwiOiAiPDxhbnMrbjw8IlxuIjsKICAgIH0gICAKICAgIHJldHVybiAwOwp9CgoKCgoKCgoK