#include <stdio.h>
int main(int argc, char* argv[])
{
int a[100001];
int b[11];
int n,m;
int i,j,k;
int max,save;
scanf("%d %d",&n,&m);
while( ! ( n == 0 && m == 0))
{
for(i=0;i<n;i++)
{
scanf("%d",&a[i]);
}
for(i=0;i<m;i++)
{
max = -100000;
for(j=0;j<n;j++)
{
if(a[j] > max)
{
max = a[j];
save = j;
}
}
a[save] = -100000;
b[i] = max;
}
for(k=0;k<m-1;k++)
printf("%d ",b[k]);
printf("%d/n",b[k]);
scanf("%d %d",&n,&m);
}
return 0;
}