timesxysumgeneratexygeneratexygenxy0genxyzifgezxxyziftruexyzniliffalsexyzconsygenxyszsumnil0sumcons0xssumxssumconssxxsssumconsxxsgex0truege0syfalsegesxsygexytimes2sum1generate2gen300if4ge2true0nil0false0cons2s1FULL./TRS/SchneiderKamp/trs/thiemann41.trs