#include <stdio.h>

int main(void) {

  int am,pm;
  char class[20];

  int i;

  
  for(i=0;i<9;i++) {

    scanf("%s %d %d",class,&am,&pm);
    
    printf("%s %d %d\n",class,am+pm,am*200+pm*300);
    
  }

  return 0;

}