#include <iostream>
using namespace std;
int main(void){
    int a,b;
    char name[20];
    for(int i=0;i<9;i++){
        cin >> name >> a >> b;
        cout << name << " " << a+b << " " << a*200+b*300 << endl;
    }
    return 0;
}

