lt0Consx'xs'Consxxslt0xs'xsgxNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilNilfxNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilNillt0xNilFalsegxConsx'xsg[Ite][False][Ite]lt0xConsNilNilxConsx'xsfxConsx'xsff[Ite][False][Ite]lt0xConsNilNilxConsx'xsf[Ite][False][Ite]lt0xConsNilNilxConsx'xsnumber42ConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilNilgoalxyConsfxyConsgxyNilg[Ite][False][Ite]FalseConsxxsygxsConsConsNilNilyg[Ite][False][Ite]Truex'Consxxsgx'xsf[Ite][False][Ite]FalseConsxxsyxsf[Ite][False][Ite]Truex'Consxxsxsf[Ite][False][Ite]FalsexyConsConsNilNilyf[Ite][False][Ite]Truexyxf[Ite][False][Ite]3True0f2g[Ite][False][Ite]3Cons2Nil0lt02number420goal2g2False0INNERMOST