#include<stdio.h>

int i2,max,n,i,k,j,l,m,s;
int v[101],t[101];

int main(){

FILE *f=fopen("loto.in","r");

fscanf(f,"%d",&n);
fscanf(f,"%d",&s);


//for(i=1;i<=n+1;i++){
//v[i]=-1;
//}

  for(i=1;i<=n;i++){
  fscanf(f,"%d",&v[i]);
    if(v[i]>max)max=v[i];
  }
fclose(f);

 //for(i=1;i<=max;i++){
  // if(v[i]!=-1){k++;t[k]=v[i];}
 //}

FILE *g=fopen("loto.out","w");

int ok=1;

 for(i=1;i<=n&&ok;i++){

    for(j=2;j<=n&&ok;j++){

       for(k=3;k<=n&&ok;k++){

	  for(l=4;l<=n&&ok;l++){

	     for(m=5;m<=n&&ok;m++){

		for(i2=6;i2<=n&&ok;i2++){

		 if(s==v[i]+v[j]+v[k]+v[l]+v[m]+v[i2]){ok=0;
		 fprintf(g,"%d %d %d %d %d %d",v[i],v[j],v[k],v[l],v[m],v[i2]);}

		}

	     }

	  }

       }

    }

 }

if(ok==1){fprintf(g,"%d",-1); }

fclose(g);

return 0;
}