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