nesteqlNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilNilnesteqlConsxxsnesteqleqlConsxxseqlNilNileqlConsxxseqlConsxxsnumber17nConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilNilgoalxnesteqlxnesteql1Nil0Cons2eql1number171goal1INNERMOST