logsx1sloghalfsx1half0x10sshalfx1halfs0x10x1halfssx1shalfpssx1halfhalfssssx1sshalfhalfx1psssx1spssx1sspsx1ssx10x1x1logsx1halfsx1logsx1loghalfsx1logsx1sloghalfsx1half0x1halfx1half0x1shalfx1half0x1sshalfx1half0x10sshalfx1halfssx1pssx1halfssx1halfpssx1halfssx1shalfpssx1halfhalfssssx1halfx1halfhalfssssx1halfhalfx1halfhalfssssx1shalfhalfx1halfhalfssssx1sshalfhalfx1psssx1pssx1psssx1spssx1sspsx1ssx1truelogsx1loghalfsx1true1log1210p111001115half1110s1110logsx1loghalfsx1sspsx1ssx1half0x10sshalfx1halfs0x10x1halfssx1shalfpssx1halfhalfssssx1sshalfhalfx1psssx1spssx1sspsx1ssx1half0x10sshalfx1halfs0x10x1halfssx1shalfpssx1halfhalfssssx1sshalfhalfx10x1x1psssx1spssx1logsx1halfsx1falselogsx1sloghalfsx1falsehalf0x1halfx1halfssx1halfpssx1halfhalfssssx1halfx1halfhalfssssx1halfhalfx1true1half1410p111001110half1119s1110half0x1halfx1halfssx1halfpssx1halfhalfssssx1halfhalfx1sspsx1ssx1psssx1spssx1half0x10sshalfx1halfs0x10x1halfssx1shalfpssx1halfhalfssssx1sshalfhalfx10x1x11half1110p111001412half1410s1110halfssx1halfpssx1halfhalfssssx1halfhalfx1sspsx1ssx1psssx1spssx1half0x10sshalfx1halfs0x10x1halfssx1shalfpssx1halfhalfssssx1sshalfhalfx10x1x11half1614p111001113half1618s1110halfssx1halfpssx1halfhalfssssx1halfhalfx1sspsx1ssx1psssx1spssx1halfssx1shalfpssx1halfhalfssssx1sshalfhalfx1sspsx1ssx1psssx1spssx1half0x10sshalfx1halfs0x10x1halfssx1shalfpssx1halfhalfssssx1sshalfhalfx10x1x1halfhalfssssx1halfhalfx1truehalfssx1halfpssx1true1half1111p1110s1212halfssx1halfpssx1psssx1spssx1sspsx1ssx1psssx1spssx1halfhalfssssx1sshalfhalfx1falsehalfhalfssssx1shalfhalfx1falsehalfssx1shalfpssx1falsehalfssx1pssx1falsehalf0x1sshalfx1falsehalf0x1shalfx1falsehalf0x10sshalfx1falsepsssx1pssx1truep11psssx1spssx1falsesspsx1ssx1trues11