#include<stdio.h>
#define MAXN 101


int N,S,V[MAXN];

void citesteDate()
{int i;

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

  fscanf(in,"%d %d",&N,&S);
  for(i=1;i<=N;i++)
     fscanf(in,"%d",&V[i]);
  fclose(in);
}

void proceseaza()
{int i,j,k,l,m,n;

FILE *in=fopen("loto.in","r"),*out=fopen("loto.out","w");
  for(i=1;i<=N;i++)
      for(j=1;j<=N;j++)
         for(k=1;k<=N;k++)
             for(l=1;l<=N;l++)
                 for(m=1;m<=N;m++)
                     for(n=1;n<=N;n++)
                        if (V[i]+V[j]+V[k]+V[l]+V[m]+V[n]==S)
                           {fprintf(out,"%d %d %d %d %d %d\n",V[i],V[j],V[k],V[l],V[m],V[n]);
fclose(out);
return;}
 fprintf(out,"-1\n");
 fclose(out);
}





int main()
{
 citesteDate();
 proceseaza();
 return 0;
}