half00halfs00halfssxshalfxlastbit00lastbits0s0lastbitssxlastbitxzero0truezerosxfalseconvxconviterxcons0nilconviterxlifzeroxxliftruexlliffalsexlconviterhalfxconslastbitxlhalfssxhalfxlastbitssxlastbitxconvxconviterxcons0nilconviterxlifzeroxxlconviterxlzeroxiffalsexlconviterhalfxconslastbitxliffalsexlhalfxiffalsexllastbitxtrueconvxconviterxcons0nilfalse123456iffalsexlconviterhalfxconslastbitxlconviterxlifzeroxxltrue123451if374111212123false041conviter221411122half101121cons201011142lastbit114111zero1012110001s141311true001half00halfs00halfssxshalfxzero0truezerosxfalseiffalsexlhalfxfalse2halfssxhalfxtrue21half111s1111iffalsexllastbitxfalselastbitssxlastbitxtrue1lastbit111s1111conviterxlzeroxfalse