half00halfs00halfssxshalfxlastbit00lastbits0s0lastbitssxlastbitxzero0truezerosxfalseconvxconviterxcons0nilconviterxlifzeroxxliftruexlliffalsexlconviterhalfxconslastbitxlhalfssxhalfxlastbitssxlastbitxconvxconviterxcons0nilconviterxlzeroxconviterxlifzeroxxliffalsexllastbitxiffalsexlhalfxiffalsexlconviterhalfxconslastbitxltrueconvxconviterxcons0nilfalseiffalsexlconviterhalfxconslastbitxlconviterxlifzeroxxltrue1if3111203conviter221120cons201-12-16false02true00zero101-9lastbit101-5s1213half1-110000iffalsexlconviterhalfxconslastbitxllastbit00lastbits0s0lastbitssxlastbitxhalf00halfs00halfssxshalfxzero0truezerosxfalseiffalsexlconviterhalfxconslastbitxlfalseiffalsexlhalfxfalsehalfssxhalfxtruehalf11iffalsexllastbitxfalselastbitssxlastbitxtruelastbit11conviterxlzeroxfalse