main(){__builtin_printf("602214076%015d",0);}