whiletruexycondgtx0xycondtruesxywhilegty0xycondfalsexywhilegtsy0sysygtsx0truegt0xfalsegtsxsygtxywhile3true0cond3gt200s1false0FULLenger-nonloop-ex_payet.trs