lt0NilConsx'xsTruelt0Consx'xs'Consxxslt0xs'xsgxNilConsNilConsNilConsNilConsNilNilfxNilConsNilConsNilConsNilConsNilNilnotEmptyConsxxsTruenotEmptyNilFalselt0xNilFalsegxConsx'xsg[Ite][False][Ite]lt0xConsNilNilxConsx'xsfxConsx'xsf[Ite][False][Ite]lt0xConsNilNilxConsx'xsnumber4nConsNilConsNilConsNilConsNilNilgoalxyConsfxyConsgxyNilg[Ite][False][Ite]FalseConsxxsygxsConsConsNilNilyg[Ite][False][Ite]Truex'Consxxsgx'xsf[Ite][False][Ite]FalseConsxxsyfxsConsConsNilNilyf[Ite][False][Ite]Truex'Consxxsfx'xsf[Ite][False][Ite]3True0Nil0lt02g2f2g[Ite][False][Ite]3Cons2number41notEmpty1goal2False0INNERMOST