loopConsxxsNilppssFalseloopConsx'xs'Consxxsppssloop[Ite][False][Ite][False][Ite]!EQx'xConsx'xs'ConsxxsppssloopNilsppssTruematch1pslooppsps!EQ00True!EQ0SyFalse!EQSx0False!EQSxSy!EQxy00Cons2False0Nil0S1True0loop[Ite][False][Ite][False][Ite]5!EQ2loop4match1202.21!EQ26001Cons20False01Nil00S1111True00loop49loop[Ite][False][Ite][False][Ite]51112match1214loopConsxxsNilppssFalseloopConsx'xs'Consxxsppssloop[Ite][False][Ite][False][Ite]!EQx'xConsx'xs'ConsxxsppssloopNilsppssTruematch1pslooppsps!EQ00True!EQ0SyFalse!EQSx0False!EQSxSy!EQxyloopConsxxsNilppssFalseloopConsx'xs'Consxxsppssloop[Ite][False][Ite][False][Ite]!EQx'xConsx'xs'ConsxxsppssloopNilsppssTruematch1pslooppspsTcT3.0.0