#pragma GCC optimize("Ofast")
#pragma GCC target("avx2")

#define RD(v) int v=0;{int c;while(c=*rp++-48,c>=0)v=v*10+c;}

char wbuf[6*50000];
char rbuf[16];

main(){
	char*wp=wbuf;
	for(int a=49;a<58;a+=2)
	{
		*wp++=a;
		*wp++=32;
	}
	for(int b=49;b<58;b+=1)
	for(int a=49;a<58;a+=2)
	{
		*wp++=b;
		*wp++=a;
		*wp++=32;
	}
	for(int c=49;c<58;c+=1)
	for(int b=48;b<58;b+=1)
	for(int a=49;a<58;a+=2)
	{
		*wp++=c;
		*wp++=b;
		*wp++=a;
		*wp++=32;
	}
	for(int d=49;d<58;d+=1)
	for(int c=48;c<58;c+=1)
	for(int b=48;b<58;b+=1)
	for(int a=49;a<58;a+=2)
	{
		*wp++=d;
		*wp++=c;
		*wp++=b;
		*wp++=a;
		*wp++=32;
	}
	for(int e=49;e<58;e+=1)
	for(int d=48;d<58;d+=1)
	for(int c=48;c<58;c+=1)
	for(int b=48;b<58;b+=1)
	for(int a=49;a<58;a+=2)
	{
		*wp++=e;
		*wp++=d;
		*wp++=c;
		*wp++=b;
		*wp++=a;
		*wp++=32;
	}

	read(0,rbuf,16);
	char*rp=rbuf;
	RD(n);
	n=n+1>>1;
	n=n<5?n*2:n<50?n*3-5:n<500?n*4-55:n<5000?n*5-555:n*6-5555;
	write(1,wbuf,n);
	_exit(0);
}