#include<stdio.h>

const char in[]="ghiozdan.in";
const char out[]="ghiozdan.out";

const int Gmax=75002;
const int Nmax=20002;

int f[Gmax], v[Gmax], n, w, max, l[Gmax];

int main()
	{int i, j, k;
		freopen(in,"r",stdin);
		freopen(out,"w",stdout);
			scanf("%d %d", &n, &w);
		for(i=1;i<=n;++i){
			scanf("%d", &f[0]);
			++f[f[0]];
			if(f[0]>max)max=f[0];
		}
		f[0]=0;
		for(i=max;i>=1;--i)
			if(f[i])
				for(k=w-i;k>=0;--k)
					if(v[k] || !k)
						for(j=1;j<=f[i];++j)
							if(k+i*j<=w && !v[k+i*j])
								{
								v[k+i*j]=v[k+i*(j-1)]+1;
								l[k+i*j]=i;
							}
								else break;
		for(i=w;!v[i];--i);
				printf("%d %d\n", i, v[i]);
		for(j=w;v[i];--j)
			if(v[j]==v[i])printf("%d\n",l[j]),--v[i];
		return 0;
	}