logsx1sloghalfsx1half0x10sshalfx1halfs0x10x1halfssx1shalfpssx1halfhalfssssx1sshalfhalfx1psssx1spssx1sspsx1ssx10x1x1logsx1halfsx1logsx1loghalfsx1logsx1sloghalfsx1half0x1halfx1half0x1shalfx1half0x1sshalfx1half0x10sshalfx1halfssx1pssx1halfssx1halfpssx1halfssx1shalfpssx1halfhalfssssx1halfx1halfhalfssssx1halfhalfx1halfhalfssssx1shalfhalfx1halfhalfssssx1sshalfhalfx1psssx1pssx1psssx1spssx1sspsx1ssx1truelogsx1loghalfsx1truelogsx1halfsx1falselogsx1sloghalfsx1falsehalf0x1halfx1halfssx1halfpssx1halfhalfssssx1halfx1halfhalfssssx1halfhalfx1true1half1110p1110012113half1410log1011s1110halfssx1halfpssx1halfhalfssssx1halfx1halfhalfssssx1halfhalfx11half1811p1110018113half1412log1014s1110halfssx1halfpssx1halfhalfssssx1halfhalfx1halfhalfssssx1sshalfhalfx1falsehalfhalfssssx1shalfhalfx1falsehalfssx1shalfpssx1falsehalfssx1pssx1falsehalf0x1sshalfx1falsehalf0x1shalfx1falsehalf0x10sshalfx1falsepsssx1pssx1truep11psssx1spssx1falsesspsx1ssx1trues11