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