#include <stdio.h>
int main()
{
char f11 = 0x85;
unsigned char f12 = 0x86;
return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CgppbnQgbWFpbigpCnsKCWNoYXIJCWYxMSA9IDB4ODU7Cgl1bnNpZ25lZCBjaGFyCWYxMiA9IDB4ODY7CgoJcHJpbnRmKCIleFxuIiwgZjExKTsKCXByaW50ZigiJXhcbiIsIGYxMik7CglyZXR1cm4gMDsKfQo=