#include <bits/stdc++.h>
using namespace std;
#define ll long long
#define pii pair<int,int>
#define eb emplace_back
const int N=2e5+5,up=5e6,M=up+5;
int n,m,c,tp,cnt[4],z[N],z1[N],z2[N],bt[M];ll ans;
vector<int> a[N];tuple<int,int,int> ev[M];
int f(int x,int y)
{
	int t=a[x].size(),s=0;for(int i=1;i<=y;++i) s+=a[x][t-i];
	s+=(a[x].size()-y)*20;return s;
}
int f1(int x,int y) {int s=0;for(int i=0;i<y;++i) s+=a[x][i];return s;}
void upd(int x,int w) {for(;x<=up;x+=x&-x) bt[x]+=w;}
int qry(int x) {int res=0;for(;x;x-=x&-x) res+=bt[x];return res;}
int main()
{
	scanf("%d %d %d",&n,&m,&c);
	for(int i=1,x,y;i<=n;++i) scanf("%d %d",&x,&y),a[x].eb(y);
	for(int i=1;i<=m;++i) sort(a[i].begin(),a[i].end());
	for(int i=1;i<=m;++i) ++cnt[min<int>(a[i].size(),3)];
	ans=1ll*cnt[3]*(cnt[2]+cnt[3]-1)*(cnt[1]+cnt[2]+cnt[3]-2);
	for(int i=1;i<=m;++i) if(!a[i].empty())
	{if(a[i].size()==1) z[++z[0]]=f(i,1);else z1[++z1[0]]=f(i,1);}
	sort(z+1,z+z[0]+1);sort(z1+1,z1+z1[0]+1);
	for(int i=1,t,t1;i<=m;++i) if(a[i].size()==1)
	{
		t=lower_bound(z+1,z+z[0]+1,f1(i,1))-z;
		t1=lower_bound(z1+1,z1+z1[0]+1,f1(i,1))-z1;
		ans+=1ll*(z[0]-t)*(cnt[2]+cnt[3])+1ll*(z1[0]-t1+1)*(cnt[2]+cnt[3]-1);
	}
	z[0]=z1[0]=z2[0]=0;
	for(int i=1;i<=m;++i) if(!a[i].empty())
	{if(a[i].size()==2) z[++z[0]]=f(i,1),z2[++z2[0]]=f1(i,2);else z1[++z1[0]]=f(i,1);}
	sort(z+1,z+z[0]+1);sort(z1+1,z1+z1[0]+1);sort(z2+1,z2+z2[0]+1);
	for(int i=1,t,t1,t2;i<=m;++i) if(a[i].size()>1)
	{
		bool fl=a[i].size()==2;
		t=lower_bound(z+1,z+z[0]+1,f1(i,1))-z;
		t1=lower_bound(z1+1,z1+z1[0]+1,f1(i,1))-z1;
		t2=upper_bound(z2+1,z2+z2[0]+1,f(i,2))-z2-1;
		ans+=1ll*(z[0]-t-fl+1)*(cnt[2]-fl-1)+1ll*(z1[0]-t1+fl)*(cnt[2]-fl);
		ans+=1ll*(t+t1-2)*(t2-fl);
	}
	for(int i=1;i<=m;++i) if(a[i].size()>1) ev[++tp]={f(i,2),f1(i,1),0};
	for(int i=1;i<=m;++i) if(a[i].size()==2) ev[++tp]={f1(i,2),f(i,1),1};
	sort(ev+1,ev+tp+1);
	for(int i=1;i<=tp;++i)
	{auto [x,y,op]=ev[i];if(op) upd(y,1);else ans-=qry(y-1);}
	z[0]=z1[0]=z2[0]=0;
	for(int i=1;i<=m;++i) if(!a[i].empty())
	{z[++z[0]]=f(i,1);if(a[i].size()==1) z1[++z1[0]]=f1(i,1);}
	sort(z+1,z+z[0]+1);sort(z1+1,z1+z1[0]+1);
	fill(bt,bt+up+1,0);tp=0;
	for(int i=1,x,x1,t,t1;i<=m;++i) if(!a[i].empty())
	{
		bool fl=a[i].size()==1;
		for(int j=0;j<a[i].size();++j)
		{
			x=a[i][j]+j*20;ev[++tp]={x,x,-1};
			t=lower_bound(z+1,z+z[0]+1,x)-z;
			t1=upper_bound(z1+1,z1+z1[0]+1,x)-z1-1;ans+=1ll*(z[0]-t)*(t1-fl);
			if(j+1<a[i].size())
			{
				x1=a[i][j+1]+(j+1)*20;ev[++tp]={x,x1,1};
				t=lower_bound(z+1,z+z[0]+1,x1)-z;ans-=1ll*(z[0]-t)*(t1-fl);
			}
		}
	}
	for(int i=1;i<=m;++i) if(a[i].size()==1) ev[++tp]={f1(i,1),f(i,1),0};
	for(int i=1;i<=tp;++i) {auto &[x,y,op]=ev[i];y=up-y;if(op) ++y;}
	sort(ev+1,ev+tp+1);
	for(int i=1;i<=tp;++i)
	{auto [x,y,op]=ev[i];if(op) ans+=qry(y-1)*op;else upd(y,1);}
	ans+=cnt[1];printf("%lld\n",ans);return 0;
}