selectsx'revprefixConsxxsConsConsx'revapprevprefixConsxxsselectsxConsx'revprefixxsselectConsxxsselectsxNilxsrevappConsxxsrestrevappxsConsxrestselectsxrevprefixNilConsConsxrevapprevprefixNilNilselectNilNilrevappNilrestrestselects3Cons2revapp2select1Nil0INNERMOST