#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;}