#include <iostream>

int main()
{
	std::string name; int am, pm;
	while (std::cin >> name >> am >> pm) {
		std::cout << name << " " << am + pm << " " << 200*am + 300*pm << std::endl;
	}
	return 0;
}

