half00halfs00halfssxshalfxlastbit00lastbits0s0lastbitssxlastbitxzero0truezerosxfalseconvxconviterxcons0nilconviterxlifzeroxxliftruexlliffalsexlconviterhalfxconslastbitxlhalfssxhalfxlastbitssxlastbitxconvxconviterxcons0nilconviterxlzeroxconviterxlifzeroxxliffalsexllastbitxiffalsexlhalfxiffalsexlconviterhalfxconslastbitxltrueconvxconviterxcons0nilfalseiffalsexlconviterhalfxconslastbitxlconviterxlifzeroxxltrueiffalsexlhalfxfalsehalfssxhalfxtruehalf11iffalsexllastbitxfalselastbitssxlastbitxtruelastbit11conviterxlzeroxfalse