#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
ll a[11];
ll n,b,c,flag;
int main()
{
	cin>>n>>b>>c;
	ll x=n*b*c/__gcd(n,b*c/__gcd(b,c));
	for(int i=1;i<=9;i++)a[i]=i;
	do
	{
		ll c1=0,c2=0,c3=0;
		for(ll i=1;i<=3;i++)c1=c1*10+a[i];
		for(ll i=4;i<=6;i++)c2=c2*10+a[i];
		for(ll i=7;i<=9;i++)c3=c3*10+a[i];
		if(c1*x/n==c3*x/c&&c1*x/n==c2*x/b)
		{
			cout<<c1<<" "<<c2<<" "<<c3<<endl;
			flag=1;
		}
	}while(next_permutation(a+1,a+10));
	if(!flag)cout<<"No!!!";
}