lengthnil0lengthconsxlslengthlltx0falselt0sytrueltsxsyltxyheadconsxlxheadnilundefinedtailnilniltailconsxllreverselrev0lnillrevxlaccuorigifltxlengthorigxlaccuorigiftruexlaccuorigrevsxtaillconsheadlaccuorigiffalsexlaccuorigacculength1nil000cons2s1lt2false0true0head1undefined0tail1reverse1rev4if5FULL./TRS/SchneiderKamp/trs/thiemann38.trs