#include<iostream>
#include<cstdio>
using namespace std;
int main(void)
{
    char name[16];
    int am,pm;
    while(scanf("%s %d %d",&name,&am,&pm)!=EOF){
        cout<<name<<" "<<am+pm<<" "<<am*200+pm*300<<"\n";
    }
}