#include <bits/stdc++.h>

#define inf 1000000000
#define Vmax 202
#define Gmax 75002

using namespace std;

ifstream fin("ghiozdan.in");
ofstream fout("ghiozdan.out");

int Freq[Vmax];
int dp[Gmax];
int last[Gmax], nr[Gmax];
int i, j, k;
int N, G;
int x;
int Nmin;

int main()
{
    fin >> N >> G;
    for(i = 1; i <= N; i++)
    {
        fin >> x;
        Freq[x]++;
    }
    for(i = 0; i <= G; i++)
        dp[i] = inf;
    dp[0] = 0;
    for(i = Vmax - 2; i >= 1; i--)
        if(Freq[i])
            for(j = G - i; j >= 0; j--)
                for(k = 1; k <= Freq[i] && j + i * k <= G && dp[j + i * k] == inf; k++)
                    if(dp[j + i * k] > dp[j] + k)
                        dp[j + i * k] = dp[j] + k, last[j + i * k] = j, nr[j + i * k] = k;

    for(i = G; i >= 1; i--)
        if(dp[i] != inf)
        {
            fout << i << " " << dp[i] << "\n";
            while(i)
            {
                int x = (i - last[i]) / nr[i];
                while(nr[i]--)
                fout << x << "\n";
                i = last[i];
            }
            break;
        }
    return 0;
}