#include <bits/stdc++.h>

#define loop(v, f, l) for(int v = (f), v##_ = (l); v < v##_; ++v)

using namespace std;

typedef long long int lint;
static inline int in(){ int x; scanf("%d", &x); return (x); }
static inline lint inl(){ lint x; scanf("%lld", &x); return (x); }

int main()
{
	for(int i = 0; i < 9; i++)
	{
		char line[32];
		char class_name[16];
		int num[2];
		fgets(line, 32, stdin);
		sscanf(line, "%s%d%d", class_name, &num[0], &num[1]);
		printf("%s %d %d\n", class_name, num[0] + num[1], num[0] * 200 + num[1] * 300);
	}
	return (0);
}