#include <iostream>
using namespace std;

int main(){
	char ch[16];
	int am,pm;
	while(cin >> ch >> am >> pm){
		cout << ch << " " << (am+pm) << " " << (am*200+pm*300) << endl;
		for(int i=0;i<16;i++){
			ch[i] = '\0';
		}
	}
	return 0;
}