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