#include<bits/stdc++.h>
using namespace std;
int main()
{
int n,cnt=0;
cin>>n;
for(int k=0;k<=n/5;k++)
{
for(int j=0;j<=n/2;j++)
{
for(int i=n;i>=0;i--)
{
if(i+j*2+k*5==n)
printf("%03d%12d%12d%12d\n",++cnt,i,j,k);
}
}
}
return 0;
}