# include <cstdio>

using namespace std;

int n, i, j, k, max, G;
int a[20005], ct[20005], A[75005], rez[75005], cate[75005];
int main()
{
    freopen("ghiozdan.in","r",stdin);
    freopen("ghiozdan.out","w",stdout);
    
    scanf("%d%d",&n,&G);
    for (i = 1; i <= n; i++)
    {
        scanf("%d",&a[i]);
        ct[a[i]]++;
        if (max < a[i]) max = a[i];
        }
        
    for (i = 1; i <= G; i++)
        A[i] = 100000;
        
    for (i = max; i >= 1; i--)
        if (ct[i])
        for (j = G; j >= i; j--)
            for (k = 0; k <= ct[i] && j - k * i >= 0; k++)
            if (A[j] > A[j - k * i] + k)
            {
                     A[j] = A[j - k * i] + k;
                     rez[j] = i;
                     cate[j] = k;
                     }
            else if (A[j] != 100000) break;
    
    while (A[G] == 100000) G--;
    printf("%d %d\n",G,A[G]);
    
    while (G)
    {
          for (i = 1; i <= cate[G]; i++)
          printf("%d\n",rez[G]);
          
          G = G - rez[G] * cate[G];
          }
          
return 0;
}