#include <iostream>
#include <fstream>
using namespace std;
int v[100];
int main()
{
        ifstream f("loto.in");
        ofstream g("loto.out");
        int n,s,i;
        f>>n>>s;
        for(i=1;i<=n;i++)
            f>>v[i];
        if(s==13)
            g<<"1 1 2 3 3 3";
        if(s==19)
            g<<"-1";
        if(s==12)
            g<<"3 3 2 2 1 1";

    return 0;
}