lt0sxtrueltx0falseltsxsyltxytimes0y0timessxyplusytimesxyplus0yyplussxysplusxyfacxloopxs0s0loopxcyifltxcxcyiffalsexcyloopxsctimesysciftruexcyyltsxsyltxytimessxytimesxytimessxyplusytimesxyplussxyplusxyfacxloopxs0s0loopxcyltxcloopxcyifltxcxcyiffalsexcytimesysciffalsexcyloopxsctimesysctruefacxloopxs0s0falseiffalsexcyloopxsctimesyscloopxcyifltxcxcytrueiffalsexcytimesyscfalsetimessxytimesxytruetimes21timessxyplusytimesxyfalseplussxyplusxytrueplus21loopxcyltxcfalseltsxsyltxytruelt22