incConsxxsConsConsNilNilincxsnestincNilnumber17NilnestincConsxxsnestincincConsxxsincNilConsNilNilnumber17xConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilNilgoalxnestincxinc1Cons2Nil0nestinc1number171goal1INNERMOST