timesxysumgeneratexygeneratexygenxy0genxyzifgezxxyziftruexyzniliffalsexyzconsygenxyszsumnil0sumcons0xssumxssumconssxxsssumconsxxsgex0truege0syfalsegesxsygexytimes2sum1generate2gen300if4ge2true0nil0false0cons2s1INNERMOST./TRS/SchneiderKamp/trs/thiemann41.trs