nthtailnlcondgenlengthlnlcondtruenllcondfalsenltailnthtailsnltailnilniltailconsxlllengthnil0lengthconsxlslengthlgeu0truege0svfalsegesusvgeuvnthtailnllengthlnthtailnlgenlengthlnthtailnlcondgenlengthlnlcondfalsenlnthtailsnlcondfalsenltailnthtailsnllengthconsxllengthlgesusvgeuvtruecondfalsenlnthtailsnlnthtailnlcondgenlengthlnltruenthtailnlgenlengthlfalsegesusvgeuvtruege22nthtailnllengthlfalselengthconsxllengthltruelength11condfalsenltailnthtailsnlfalse