le0ytruelesx0falselesxsylexyminus0y0minussxyif_minuslesxysxyif_minustruesxy0if_minusfalsesxysminusxyquot0sy0quotsxsysquotminusxysylogs00logssxslogsquotxss0lesxsylexyminussxyif_minuslesxysxyminussxylesxyif_minusfalsesxyminusxyquotsxsyquotminusxysyquotsxsyminusxylogssxlogsquotxss0logssxquotxss0truelogssxlogsquotxss0true1234561log111s1111quot211000minus211if_minus312le20false00true00quot0sy0quotsxsysquotminusxysyminus0y0minussxyif_minuslesxysxyif_minusfalsesxysminusxyif_minustruesxy0logssxquotxss0false12345quotsxsyquotminusxysytrue12341quot211s1111minus211000if_minus312le20false00true00minus0y0minussxyif_minuslesxysxyif_minusfalsesxysminusxyif_minustruesxy0quotsxsyminusxyfalse123minussxyif_minuslesxysxyif_minusfalsesxyminusxytrue121minus2111s1111if_minus3112le20false00000true00minussxyif_minuslesxysxyminussxyif_minuslesxysxyfalseminussxylesxyfalse1lesxsylexytrue1le212s1111