fxConsx'xsf[Ite][False][Ite]lt0xConsNilNilxConsx'xsfxNilConsNilConsNilConsNilConsNilNilgxConsx'xsg[Ite][False][Ite]lt0xConsNilNilxConsx'xsgxNilConsNilConsNilConsNilConsNilNilgoalxyConsfxyConsgxyNillt0xNilFalselt0Consx'xs'Consxxslt0xs'xslt0NilConsx'xsTruenotEmptyConsxxsTruenotEmptyNilFalsenumber4nConsNilConsNilConsNilConsNilNilf[Ite][False][Ite]FalseConsxxsyfxsConsConsNilNilyf[Ite][False][Ite]Truex'Consxxsfx'xsg[Ite][False][Ite]FalseConsxxsygxsConsConsNilNilyg[Ite][False][Ite]Truex'Consxxsgx'xsCons2False0Nil0True0f2f[Ite][False][Ite]3g2g[Ite][False][Ite]3goal2lt02notEmpty1number4112.211Cons201112False00Nil00True00f220102f[Ite][False][Ite]32410203g2215112g[Ite][False][Ite]322115213goal2915182lt0200102notEmpty1411number41811fxNilConsNilConsNilConsNilConsNilNilgxNilConsNilConsNilConsNilConsNilNilgoalxyConsfxyConsgxyNilnotEmptyConsxxsTruenotEmptyNilFalsenumber4nConsNilConsNilConsNilConsNilNilfxConsx'xsf[Ite][False][Ite]lt0xConsNilNilxConsx'xsfxNilConsNilConsNilConsNilConsNilNilf[Ite][False][Ite]FalseConsxxsyfxsConsConsNilNilyf[Ite][False][Ite]Truex'Consxxsfx'xsgxConsx'xsg[Ite][False][Ite]lt0xConsNilNilxConsx'xsgxNilConsNilConsNilConsNilConsNilNilg[Ite][False][Ite]FalseConsxxsygxsConsConsNilNilyg[Ite][False][Ite]Truex'Consxxsgx'xsgoalxyConsfxyConsgxyNillt0xNilFalselt0Consx'xs'Consxxslt0xs'xslt0NilConsx'xsTruenotEmptyConsxxsTruenotEmptyNilFalsenumber4nConsNilConsNilConsNilConsNilNil11Cons211112False00Nil00True00f268112f[Ite][False][Ite]35818213g240102g[Ite][False][Ite]34110203goal2128112lt0200102notEmpty1051number41411fxConsx'xsf[Ite][False][Ite]lt0xConsNilNilxConsx'xsfxConsx'xsf[Ite][False][Ite]lt0xConsNilNilxConsx'xsfxNilConsNilConsNilConsNilConsNilNilf[Ite][False][Ite]FalseConsxxsyfxsConsConsNilNilyf[Ite][False][Ite]Truex'Consxxsfx'xsgxConsx'xsg[Ite][False][Ite]lt0xConsNilNilxConsx'xsgxNilConsNilConsNilConsNilConsNilNilg[Ite][False][Ite]FalseConsxxsygxsConsConsNilNilyg[Ite][False][Ite]Truex'Consxxsgx'xsgoalxyConsfxyConsgxyNillt0xNilFalselt0Consx'xs'Consxxslt0xs'xslt0NilConsx'xsTruenotEmptyConsxxsTruenotEmptyNilFalsenumber4nConsNilConsNilConsNilConsNilNil11Cons211112False00Nil00True00f242102f[Ite][False][Ite]34112203g294112g[Ite][False][Ite]38114213goal2156112lt0200102notEmpty1701number41411gxConsx'xsg[Ite][False][Ite]lt0xConsNilNilxConsx'xsfxConsx'xsf[Ite][False][Ite]lt0xConsNilNilxConsx'xsfxNilConsNilConsNilConsNilConsNilNilf[Ite][False][Ite]FalseConsxxsyfxsConsConsNilNilyf[Ite][False][Ite]Truex'Consxxsfx'xsgxConsx'xsg[Ite][False][Ite]lt0xConsNilNilxConsx'xsgxNilConsNilConsNilConsNilConsNilNilg[Ite][False][Ite]FalseConsxxsygxsConsConsNilNilyg[Ite][False][Ite]Truex'Consxxsgx'xsgoalxyConsfxyConsgxyNillt0xNilFalselt0Consx'xs'Consxxslt0xs'xslt0NilConsx'xsTruenotEmptyConsxxsTruenotEmptyNilFalsenumber4nConsNilConsNilConsNilConsNilNil11Cons211112False00Nil00True02f254112f[Ite][False][Ite]33114213g248102g[Ite][False][Ite]30218203goal21113112lt0200122notEmpty14131number41901lt0Consx'xs'Consxxslt0xs'xsfxConsx'xsf[Ite][False][Ite]lt0xConsNilNilxConsx'xsfxNilConsNilConsNilConsNilConsNilNilf[Ite][False][Ite]FalseConsxxsyfxsConsConsNilNilyf[Ite][False][Ite]Truex'Consxxsfx'xsgxConsx'xsg[Ite][False][Ite]lt0xConsNilNilxConsx'xsgxNilConsNilConsNilConsNilConsNilNilg[Ite][False][Ite]FalseConsxxsygxsConsConsNilNilyg[Ite][False][Ite]Truex'Consxxsgx'xsgoalxyConsfxyConsgxyNillt0xNilFalselt0Consx'xs'Consxxslt0xs'xslt0NilConsx'xsTruenotEmptyConsxxsTruenotEmptyNilFalsenumber4nConsNilConsNilConsNilConsNilNil11Cons211112False00Nil00True04f258102f[Ite][False][Ite]31118203g244102g[Ite][False][Ite]30114203goal21112142lt0240102notEmpty14101number41441lt0xNilFalsefxConsx'xsf[Ite][False][Ite]lt0xConsNilNilxConsx'xsfxNilConsNilConsNilConsNilConsNilNilf[Ite][False][Ite]FalseConsxxsyfxsConsConsNilNilyf[Ite][False][Ite]Truex'Consxxsfx'xsgxConsx'xsg[Ite][False][Ite]lt0xConsNilNilxConsx'xsgxNilConsNilConsNilConsNilConsNilNilg[Ite][False][Ite]FalseConsxxsygxsConsConsNilNilyg[Ite][False][Ite]Truex'Consxxsgx'xsgoalxyConsfxyConsgxyNillt0xNilFalselt0Consx'xs'Consxxslt0xs'xslt0NilConsx'xsTruenotEmptyConsxxsTruenotEmptyNilFalsenumber4nConsNilConsNilConsNilConsNilNil11Cons211112False01Nil00True00f292112f[Ite][False][Ite]38112213g243112g[Ite][False][Ite]33113213goal2155142lt0210102notEmpty1141number41401lt0NilConsx'xsTruefxConsx'xsf[Ite][False][Ite]lt0xConsNilNilxConsx'xsfxNilConsNilConsNilConsNilConsNilNilf[Ite][False][Ite]FalseConsxxsyfxsConsConsNilNilyf[Ite][False][Ite]Truex'Consxxsfx'xsgxConsx'xsg[Ite][False][Ite]lt0xConsNilNilxConsx'xsgxNilConsNilConsNilConsNilConsNilNilg[Ite][False][Ite]FalseConsxxsygxsConsConsNilNilyg[Ite][False][Ite]Truex'Consxxsgx'xsgoalxyConsfxyConsgxyNillt0xNilFalselt0Consx'xs'Consxxslt0xs'xslt0NilConsx'xsTruenotEmptyConsxxsTruenotEmptyNilFalsenumber4nConsNilConsNilConsNilConsNilNilTcT3.0.0