#include<stdio.h>
int main(void)
{
    int a1,a2,a3,a4,a5,a6,a7,a8,a9,b1,b2,b3,b4,b5,b6,b7,b8,b9;
	char c1[16],c2[16],c3[16],c4[16],c5[16],c6[16],c7[16],c8[16],c9[16];
	scanf("%s %d %d",&c1,&a1,&b1);
	scanf("%s %d %d",&c2,&a2,&b2);
	scanf("%s %d %d",&c3,&a3,&b3);
	scanf("%s %d %d",&c4,&a4,&b4);
	scanf("%s %d %d",&c5,&a5,&b5);
	scanf("%s %d %d",&c6,&a6,&b6);
	scanf("%s %d %d",&c7,&a7,&b7);
	scanf("%s %d %d",&c8,&a8,&b8);
	scanf("%s %d %d",&c9,&a9,&b9);
	printf("%s %d %d\n",c1,a1+b1,a1*200+b1*300);
	printf("%s %d %d\n",c2,a2+b2,a2*200+b2*300);
	printf("%s %d %d\n",c3,a3+b3,a3*200+b3*300);
	printf("%s %d %d\n",c4,a4+b4,a4*200+b4*300);
	printf("%s %d %d\n",c5,a5+b5,a5*200+b5*300);
	printf("%s %d %d\n",c6,a6+b6,a6*200+b6*300);
	printf("%s %d %d\n",c7,a7+b7,a7*200+b7*300);
	printf("%s %d %d\n",c8,a8+b8,a8*200+b8*300);
	printf("%s %d %d\n",c9,a9+b9,a9*200+b9*300);
	return 0;
}