half00halfs00halfssxshalfxlastbit00lastbits0s0lastbitssxlastbitxzero0truezerosxfalseconvxconviterxcons0nilconviterxlifzeroxxliftruexlliffalsexlconviterhalfxconslastbitxlhalfssxhalfxlastbitssxlastbitxconvxconviterxcons0nilconviterxlzeroxconviterxlifzeroxxliffalsexllastbitxiffalsexlhalfxiffalsexlconviterhalfxconslastbitxltrueconvxconviterxcons0nilfalseiffalsexlconviterhalfxconslastbitxlconviterxlifzeroxxltrueiffalsexlhalfxfalsehalfssxhalfxtrue1half1210if30102138conviter201828cons201020nil00conv1818false00true00zero13114lastbit1210s1412half1216001iffalsexllastbitxfalselastbitssxlastbitxtrue1lastbit1210if30102138conviter201828cons201020nil00conv1818false00true00zero13114lastbit1210s1412half1216001conviterxlzeroxfalse