#include <stdio.h>

int main() {
	int a, b, c;
	scanf("%d %d %d", &a, &b, &c);
	int x[3], y[3], z[3];
	int i, j, k;
	for ( i = 123; i <= 987; i++) {
		int temp = i;
		int t = 0;
		while (t < 3) {
			x[t] = temp % 10;
			temp /= 10;
			t++;
		}
		if (x[0] != x[1] && x[1] != x[2] && x[0] != x[2]) {
			 j= i * b / a;
			 t = 0;
			 while (t < 3) {
				 y[t] = temp % 10;
				 temp /= 10;
				 t++;
			 }
			 if (y[0] != y[1] && y[1] != y[2] && y[0] != y[2]) {
				 k= i * c / a;
				 t = 0;
				 while (t < 3) {
					 z[t] = temp % 10;
					 temp /= 10;
					 t++;
				 }
				 int flag = 1;
				 if (j >= 1000 || k >= 1000||z[0]==z[1]||z[0]==z[2]||z[1]==z[2]) flag = 0;
				 for (int i = 0; i < 3; i++) {
					 for (int j = 0; j < 3; j++) {
						 if (x[i] == y[i] || x[i] == z[i] || y[i] == z[i]) {
							 flag = 0;
							 break;
						 }if (flag == 0)break;
					 }
					 if (flag == 1) printf("%d %d %d\n", i, j, k);
				 }
			 }

		}
		
	}
	return 0;
}