void main(void) { input(); return; }