#include<bits/stdc++.h>
using namespace std;
const int MaxN=5e5;
struct NODE{
int id,x, y;
bool operator<(const NODE rhs)const{
return (x>rhs.x)? x>rhs.x : y>rhs.y ; }
} node[MaxN];
vector<NODE> ans;
int main(){
ios::sync_with_stdio(0);
cin.tie(0); cout.tie(0);
int t,n,m,h,w;
cin>>t>>n>>m;
for(int i=0; i<t; i+=1){
cin>>node[i].x>>node[i].y;
node[i].id=i
}
h=node[m].x;
w=node[m].y;
sort(node,node+n);
int uN=1; // X座標不重複的數量
for(int i=1; i<n; i+=1){
if( node[uN-1].x==node[i].x ){
node[uN-1].y=max(node[uN-1].y,node[i].y);
}else{ // node[uN-1].x!=node[i].x
node[uN]=node[i];
uN+=1;
}
}
ans.push_back(node[0]);
int nowY=node[0].y;
for(int n=1; n<uN; n+=1){
if( node[n].y<=nowY )
continue;
ans.push_back(node[n]);
nowY=node[n].y;
}
cout<<"Case "<<t<<":\n";
cout<<"Dominate Point: "<<ans.size()<<"\n";
for(int i=ans.size()-1; 0<=i; i-=1)
cout<<"("<<ans[i].x<<","<<ans[i].y<<")\n";
}
I2luY2x1ZGU8Yml0cy9zdGRjKysuaD4KdXNpbmcgbmFtZXNwYWNlIHN0ZDsKY29uc3QgaW50IE1heE49NWU1OwpzdHJ1Y3QgTk9ERXsKCWludCBpZCx4LCB5OwoJYm9vbCBvcGVyYXRvcjwoY29uc3QgTk9ERSByaHMpY29uc3R7CgkJcmV0dXJuICh4PnJocy54KT8geD5yaHMueCA6IHk+cmhzLnkgOyB9Cn0gbm9kZVtNYXhOXTsKdmVjdG9yPE5PREU+IGFuczsKCmludCBtYWluKCl7Cglpb3M6OnN5bmNfd2l0aF9zdGRpbygwKTsKCWNpbi50aWUoMCk7IGNvdXQudGllKDApOwoJCglpbnQgdCxuLG0saCx3OwoJY2luPj50Pj5uPj5tOwoJZm9yKGludCBpPTA7IGk8dDsgaSs9MSl7CgkJY2luPj5ub2RlW2ldLng+Pm5vZGVbaV0ueTsKCQlub2RlW2ldLmlkPWkKCX0KCWg9bm9kZVttXS54OwoJdz1ub2RlW21dLnk7Cglzb3J0KG5vZGUsbm9kZStuKTsKCWludCB1Tj0xOyAvLyDvvLjluqfmqJnkuI3ph43opIfnmoTmlbjph48KCWZvcihpbnQgaT0xOyBpPG47IGkrPTEpewoJCWlmKCBub2RlW3VOLTFdLng9PW5vZGVbaV0ueCApewoJCQlub2RlW3VOLTFdLnk9bWF4KG5vZGVbdU4tMV0ueSxub2RlW2ldLnkpOwoJCX1lbHNleyAvLyBub2RlW3VOLTFdLnghPW5vZGVbaV0ueAoJCQlub2RlW3VOXT1ub2RlW2ldOwoJCQl1Tis9MTsKCQl9Cgl9CglhbnMucHVzaF9iYWNrKG5vZGVbMF0pOwoJaW50IG5vd1k9bm9kZVswXS55OwoJZm9yKGludCBuPTE7IG48dU47IG4rPTEpewoJCWlmKCBub2RlW25dLnk8PW5vd1kgKQoJCQljb250aW51ZTsKCQlhbnMucHVzaF9iYWNrKG5vZGVbbl0pOwoJCW5vd1k9bm9kZVtuXS55OwoJfQoJY291dDw8IkNhc2UgIjw8dDw8IjpcbiI7Cgljb3V0PDwiRG9taW5hdGUgUG9pbnQ6ICI8PGFucy5zaXplKCk8PCJcbiI7Cglmb3IoaW50IGk9YW5zLnNpemUoKS0xOyAwPD1pOyBpLT0xKQoJCWNvdXQ8PCIoIjw8YW5zW2ldLng8PCIsIjw8YW5zW2ldLnk8PCIpXG4iOwoKfQ==