#include<stdio.h>
FILE*f,*g;
long i,j,n,s,max,x,a[101],b[7][32000];
int main()
{
max=0;
f=fopen("loto.in","r");
g=fopen("loto.out","w");
fscanf(f,"%ld%ld",&n,&s);
for(i=1;i<=n;i++)
{
fscanf(f,"%ld",&a[i]);
b[1][a[i]]=i;
}
for(x=2;x<=6;x++)
for(j=1;j<=s;j++)

for(i=1;i<=n;i++)

if(a[i]<j&&b[x-1][j-a[i]]>0)

b[x][j]=i;
if(b[6][s])
{
x=s;
for(i=6;i>=1;i--)
{
fprintf(g,"%ld ",a[b[i][x]]);
x=x-a[b[i][x]];
}
}
else
fprintf(g,"-1");
fprintf(g,"\n");
fclose(f);
fclose(g);
return 0;
}