main(){__builtin_printf("602214076%015.f");}