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