int main(void) { return 73; }