immatcopyConsxxsConsNilimmatcopyxsnestimeqlNilnumber42NilnestimeqlConsxxsnestimeqlimmatcopyConsxxsimmatcopyNilNilnumber42xConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilNilgoalxnestimeqlximmatcopy1Cons2Nil0nestimeql1number421goal1INNERMOST