#include <stdio.h>
int main(void) {
printf("0x0.b17217f7d1cf78p0 - 0x1.62e42fefa39efp-1 == %a\n", 0x0.b17217f7d1cf78p0 - 0x1.62e42fefa39efp-1);
return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CgppbnQgbWFpbih2b2lkKSB7CglwcmludGYoIjB4MC5iMTcyMTdmN2QxY2Y3OHAwIC0gMHgxLjYyZTQyZmVmYTM5ZWZwLTEgPT0gJWFcbiIsIAoJCQkweDAuYjE3MjE3ZjdkMWNmNzhwMCAtIDB4MS42MmU0MmZlZmEzOWVmcC0xKTsKCXJldHVybiAwOwp9Cg==