duplicateConsxxsConsxConsxduplicatexsduplicateNilNilgoalxduplicatexduplicate1Cons2Nil0goal1INNERMOST