#include<iostream> int main(){ std::cout<<"153 370 371 407"; }