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