#include <stdio.h> int main() { printf("153 370 371 407"); return 0; }