#include<stdio.h>
#include<string.h>
#include<math.h>

int main(){
	char klasse[25];
	int s,a,i,t;
	
	for(i=0;i<9;i++){
		scanf(" %s %d",klasse,&s);
		scanf("%d",&a);
		t=s*200;
		t+=a*300;
		a+=s;
		printf("%s %d %d\n",klasse,a,t);
	}
	return 0;
}