#include <stdio.h>
#include <inttypes.h>
int main(void) {
int64_t ans = (int64_t)2147483647 + 1;
return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CiNpbmNsdWRlIDxpbnR0eXBlcy5oPgoKaW50IG1haW4odm9pZCkgewoJaW50NjRfdCBhbnMgPSAoaW50NjRfdCkyMTQ3NDgzNjQ3ICsgMTsKCXByaW50ZigiJWxsZCIsYW5zKTsKCXJldHVybiAwOwp9Cg==