headConsxxsxeConsFNilbFalseeConsTNilbFalseeConsBNilbFalseeConsANilbe[Match][Cons][Ite][True][Match]ANilbeConsFConsxxsbFalseeConsTConsxxsbFalseeConsBConsxxsbFalseeConsAConsxxsbFalseequalFFTrueequalFTFalseequalFBFalseequalFAFalseequalTFFalseequalTTTrueequalTBFalseequalTAFalseequalBFFalseequalBTFalseequalBBTrueequalBAFalseequalAFFalseequalATFalseequalABFalseequalAATruenotEmptyConsxxsTruenotEmptyNilFalseeNilbFalsetxyt[Ite]exyxyrxyr[Ite]exyxyqxyq[Ite]exyxypxyp[Ite]exyxygoalxyqxyandFalseFalseFalseandTrueFalseFalseandFalseTrueFalseandTrueTrueTrueq[Ite]Falsex'ConsFConsFxsq[Ite][False][Ite][True][Ite]andpx'ConsFConsFxsqx'ConsFxsx'ConsFConsFxsq[Ite]FalsexConsFConsTxsFalseq[Ite]FalsexConsFConsBxsFalseq[Ite]FalsexConsFConsAxsFalseq[Ite]FalsexConsTConsFxsFalseq[Ite]FalsexConsTConsTxsFalseq[Ite]FalsexConsTConsBxsFalseq[Ite]FalsexConsTConsAxsFalseq[Ite]FalsexConsBConsFxsFalseq[Ite]FalsexConsBConsTxsFalseq[Ite]FalsexConsBConsBxsFalseq[Ite]FalsexConsBConsAxsFalseq[Ite]FalsexConsAConsFxsFalseq[Ite]FalsexConsAConsTxsFalseq[Ite]FalsexConsAConsBxsFalseq[Ite]FalsexConsAConsAxsFalseq[Ite]Falsex'ConsFNilq[Ite][False][Ite]andTrueandTrueandFalseequalheadNilFx'ConsFNilq[Ite]Falsex'ConsTNilq[Ite][False][Ite]andTrueandFalseandFalseequalheadNilFx'ConsTNilq[Ite]Falsex'ConsBNilq[Ite][False][Ite]andTrueandFalseandFalseequalheadNilFx'ConsBNilq[Ite]Falsex'ConsANilq[Ite][False][Ite]andTrueandFalseandFalseequalheadNilFx'ConsANilr[Ite]Falsex'ConsFxsr[Ite][False][Ite][True][Ite]andqx'xsrx'xsx'ConsFxsr[Ite]FalsexConsTxsFalser[Ite]FalsexConsBxsFalser[Ite]FalsexConsAxsFalsep[Ite]Falsex'ConsFxsandrx'ConsFxspx'xsp[Ite]FalsexConsTxsFalsep[Ite]FalsexConsBxsFalsep[Ite]FalsexConsAxsFalseq[Ite][False][Ite]Truex'Consxxsq[Ite][False][Ite][True][Ite]andpx'Consxxsqx'xsx'Consxxst[Ite]FalsexyTruet[Ite]TruexyTruer[Ite]TruexyTrueq[Ite]TruexyTrueq[Ite][False][Ite]FalsexyFalsep[Ite]TruexyTruer2True0head1t[Ite]3equal2e[Match][Cons][Ite][True][Match]3Cons2B0e2goal2False0p[Ite]3p2q[Ite][False][Ite]3q[Ite][False][Ite][True][Ite]3t2Nil0r[Ite][False][Ite][True][Ite]3q[Ite]3A0r[Ite]3and2q2T0notEmpty1F0INNERMOST