logsx1sloghalfsx1half0x10sshalfx1halfs0x10x1halfssx1shalfpssx1halfhalfssssx1sshalfhalfx1psssx1spssx1sspsx1ssx10x1x11p111001112half1110log1210s1110logsx1sloghalfsx1half0x10sshalfx1halfs0x10x1halfssx1shalfpssx1halfhalfssssx1sshalfhalfx1psssx1spssx1sspsx1ssx1logsx1halfsx1logsx1loghalfsx1logsx1sloghalfsx1half0x1halfx1half0x1shalfx1half0x1sshalfx1halfssx1pssx1halfssx1halfpssx1halfssx1shalfpssx1halfhalfssssx1halfx1halfhalfssssx1halfhalfx1halfhalfssssx1shalfhalfx1halfhalfssssx1sshalfhalfx1psssx1pssx1psssx1spssx1sspsx1ssx1truelogsx1loghalfsx1true1log101-16p1-1100110half1-110s1111sspsx1ssx1half0x10sshalfx1halfs0x10x1halfssx1shalfpssx1halfhalfssssx1sshalfhalfx1psssx1spssx1logsx1halfsx1falselogsx1sloghalfsx1falsehalf0x1halfx1halfssx1halfpssx1halfhalfssssx1halfx1halfhalfssssx1halfhalfx1truehalf13p11014half12s10s11half11011p11half11halfssx1halfpssx1halfhalfssssx1halfx1halfhalfssssx1halfhalfx1sspsx1ssx1psssx1spssx1half0x10sshalfx1halfs0x10x1halfssx1shalfpssx1halfhalfssssx1sshalfhalfx1halfhalfssssx1halfhalfx1halfhalfssssx1halfx1truehalf10p11014half13s12s11half11011p11half11halfhalfssssx1halfhalfx1half0x10sshalfx1halfs0x10x1halfssx1shalfpssx1halfhalfssssx1sshalfhalfx1sspsx1ssx1psssx1spssx11half101p1-1100110half101s1110half0x10sshalfx1halfs0x10x1halfssx1shalfpssx1halfhalfssssx1sshalfhalfx1sspsx1ssx1psssx1spssx1halfssx1halfpssx1true1half1111p1110s1212halfssx1halfpssx1psssx1spssx1sspsx1ssx1psssx1spssx11half1010p1-110s121-1psssx1spssx1halfhalfssssx1sshalfhalfx1falsehalfhalfssssx1shalfhalfx1falsehalfssx1shalfpssx1falsehalfssx1pssx1falsehalf0x1sshalfx1falsehalf0x1shalfx1falsepsssx1pssx1truep11psssx1spssx1falsesspsx1ssx1trues11