#include<stdio.h>
int main()
{
	int r0,r1,r2,A,B,C;
	int r3,r4,r5;
	while(scanf("%d%d%d",&r0,&r1,&r2)!=EOF)
	{
		A=(r2-2*r1+r0)/2;
		B=r1-r0-A;
		C=r0;
		r3=9*A+3*B+C;
		r4=16*A+4*B+C;
		r5=25*A+5*B+C;
		printf("%d %d %d\n",r3,r4,r5);
	}
	return 0;
}