\frac12<\left\lfloor\mod\left(\left\lfloor\frac y{17}\right\rfloor2^{-17\left\lfloor x\right\rfloor-\mod\left(\left\lfloor y\right\rfloor,17\right)},2\right)\right\rfloor