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