#include<stdio.h>
int main(void)
{
	int g[1000],k[1000],i,w[1000],z[1000];
	char n[1000][1000];
	for(i=0;i<9;i++){
		scanf("%s %d %d",n[i],&g[i],&k[i]);
	}	
	for(i=0;i<9;i++){
		z[i]=g[i]+k[i];
		w[i]=g[i]*200+k[i]*300;
	}
	for(i=0;i<9;i++){
		printf("%s %d %d\n",n[i],z[i],w[i]);
	}
	return 0;
}