tablegens0genxif1lex10xif1falsexnilif1truexif2xxif2xyif3ley10xyif3truexyconsentryxytimesxyif2xsyif3falsexygensxle0ytruelesx0falselesxsylexyplus0yyplussxysplusxytimes0y0timessxyplusytimesxy10ssssssssss0table0gen1s100if12le2100false0nil0true0if22if33cons2entry3times2plus2FULL./TRS/SchneiderKamp/trs/thiemann32.trs