#include <bits/stdc++.h>
using namespace std;
bool init(int x,int y)
{
int num[19];
int t=0;
num[t++]=x%10;
num[t++]=x/10%10;
num[t++]=x/100%10;
num[t++]=x/1000%10;
num[t++]=x/10000%10;
num[t++]=y/10%10;
num[t++]=y/100%10;
num[t++]=y/1000%10;
num[t++]=y/10000%10;
num[t++]=y%10;
sort(num,num+10);
for(int i=0; i<=9; i++)
if(num[i]!=i)
return false;
return true;
}
int main()
{
int T;
int time=0;
while(cin>>T&&T)
{if(time)
cout<<endl;
time=1;
int first=0;
for(int i=1234; i<=98765&&i*T<=98765; i++)
{
if(init(i,i*T))
{
first=1;
if(i<=9999)
cout<<i*T<<" / "<<'0'<<i<<" = "<<T<<endl;
else
cout<<i*T<<" / "<<i<<" = "<<T<<endl;
}
}
if(!first)
cout<<"There are no solutions for "<<T<<"."<<endl;
}
return 0;
}
using namespace std;
bool init(int x,int y)
{
int num[19];
int t=0;
num[t++]=x%10;
num[t++]=x/10%10;
num[t++]=x/100%10;
num[t++]=x/1000%10;
num[t++]=x/10000%10;
num[t++]=y/10%10;
num[t++]=y/100%10;
num[t++]=y/1000%10;
num[t++]=y/10000%10;
num[t++]=y%10;
sort(num,num+10);
for(int i=0; i<=9; i++)
if(num[i]!=i)
return false;
return true;
}
int main()
{
int T;
int time=0;
while(cin>>T&&T)
{if(time)
cout<<endl;
time=1;
int first=0;
for(int i=1234; i<=98765&&i*T<=98765; i++)
{
if(init(i,i*T))
{
first=1;
if(i<=9999)
cout<<i*T<<" / "<<'0'<<i<<" = "<<T<<endl;
else
cout<<i*T<<" / "<<i<<" = "<<T<<endl;
}
}
if(!first)
cout<<"There are no solutions for "<<T<<"."<<endl;
}
return 0;
}