nthtailnlcondgenlengthlnlcondtruenllcondfalsenltailnthtailsnltailnilniltailconsxlllengthnil0lengthconsxlslengthlgeu0truege0svfalsegesusvgeuvnthtail2cond3ge2length1true0false0tail1s1nil0cons200FULL./TRS/SchneiderKamp/trs/cade16.trs