#include<stdio.h>
#include<string.h>
int main(void)
{
	int b,c,x[1001],X[1001],i;
	char a[1001][1001];
	for(i=0;i<9;i++){
		scanf("%s",a[i]);
		scanf("%d %d",&b,&c);
		x[i]=0;
		X[i]=0;
		x[i]=b+c;
		X[i]=b*200+c*300;
	}
	for(i=0;i<9;i++){
		printf("%s %d %d\n",a[i],x[i],X[i]);
	}
	return 0;
}