#include<fstream.h>

ifstream f("date.in");
int x[100];
void main()
{ int n;
  while(f>>n) x[n]++;
  int k;
  cin>>k;
  int nr=0;
  for(int i=99;i>k;i--)
    if(x[i]>0) { cout<<i<<" ";
		 nr++;
		 if(nr%20==0) cout<<endl;
	       }
}