12<⌊mod(⌊y17⌋2−17⌊x⌋−mod(⌊y⌋,17),2)⌋{\displaystyle{1\over2}<\left\lfloor\mathrm{mod}\left(\left\lfloor{y\over17}\right\rfloor2^{-17\lfloorx\rfloor-\mathrm{mod}(\lfloory\rfloor,17)},2\right)\right\rfloor}⌊⋅⌋{\displaystyle\lfloor\cdot\rfloor}は床関数、mod{\displaystyle\mathrm{mod}}は剰余を表す。
此公式是个不等式：12<⌊mod(⌊y17⌋2−17⌊x⌋−mod(⌊y⌋,17),2)⌋{\displaystyle{1\over2}<\left\lfloor\mathrm{mod}\left(\left\lfloor{y\over17}\right\rfloor2^{-17\lfloorx\rfloor-\mathrm{mod}(\lfloory\rfloor,17)},2\right)\right\rfloor}其中⌊⋅⌋{\displaystyle\lfloor\cdot\rfloor}表示floor函数，mod{\displaystyle\mathrm{mod}}表示模除。