sumconssnxconsmysumconsnxconssmysumcons0xysumxysumnilyyemptyniltrueemptyconsnxfalsetailnilniltailconsnxxheadconsnxnweightxifemptyxemptytailxxiftruebxweight_undefined_erroriffalsebxif2bxif2truexheadxif2falsexweightsumxcons0tailtailxsum2cons2s100nil0empty1true0false0tail1head1weight1if3weight_undefined_error0if22FULL./TRS/SchneiderKamp/trs/thiemann17.trs