#include<bits/stdc++.h>
using namespace std;
int main(){
int aa,bb,cc;
cin>>aa>>bb>>cc;
int cnt=0;
for(inlinet a=123;a<=987/ccaa;a++){
if(a%aa==0){
int b=a/aabb;
int c=a/aacc;
int abc=a1000000+b*1000+c;
char s[10];
sprintf(s,"%d",abc);
sort(s,s+9);
if(strcmp(s,"123456789")0){
printf("%d %d %d\n",a,b,c);
cnt++;
}
}
}
if(cnt0){
cout<<"No!!!";
}
return 0;
}
