lt0sxtrueltx0falseltsxsyltxytimes0y0timessxyplusytimesxyplus0yyplussxysplusxyfacxloopxs0s0loopxcyifltxcxcyiffalsexcyloopxsctimesysciftruexcyyltsxsyltxytimessxytimesxytimessxyplusytimesxyplussxyplusxyfacxloopxs0s0loopxcyltxcloopxcyifltxcxcyiffalsexcytimesysciffalsexcyloopxsctimesysctruefacxloopxs0s0falseiffalsexcyloopxsctimesyscloopxcyifltxcxcytrueiffalsexcytimesyscfalsetimessxytimesxytrue1times2810212s1113timessxyplusytimesxyfalseplussxyplusxytrue1plus2810212s1113loopxcyltxcfalseltsxsyltxytrue1lt281120s1411