#include <stdio.h>
int main (void){
    int am,pm,i,nin,gaku;
    char cl[16];
    for(i=0;i<9;i++){
        scanf("%s%d%d",cl,&am,&pm);
        nin=am+pm;
        gaku=am*200+pm*300;
        printf("%s %d %d\n",cl,nin,gaku);
    }
return 0;
}