#include<stdio.h>

int main(){
   int a[5000][2]={0};
   int m,n,i,j,jh1,jh0;
   scanf("%d%d",&n,&m);
   for(i=0;i<n;i++){
   	scanf("%d%d",&a[i][0],&a[i][1]);
   }
   for(i=0;i<n;i++){
   	for(j=0;j<n;j++){
   		if(a[j][1]<a[j+1][1]||(a[j][1]==a[j+1][1]&&a[j][0]>a[j+1][0])){
   			jh0=a[j][0];
   			jh1=a[j][1];
   			a[j][1]=a[j+1][1];
   			a[j][0]=a[j+1][0];
   			a[j+1][0]=jh0;
   			a[j+1][1]=jh1;
   		}
   	}
   }
   m=m*3;
   m=m/2;
   while(a[m][1]==a[m-1][1]) m++;
   printf("%d %d\n",a[m-1][1],m);
   for(i=0;i<m;i++){
   	printf("%d %d\n",a[i][0],a[i][1]);
   }
}