andfalsefalsefalseandtruefalsefalseandfalsetruefalseandtruetruetrueeqnilniltrueeqconsTLnilfalseeqnilconsTLfalseeqconsTLconsTpLpandeqTTpeqLLpeqvarLvarLpeqLLpeqvarLapplyTSfalseeqvarLlambdaXTfalseeqapplyTSvarLfalseeqapplyTSapplyTpSpandeqTTpeqSSpeqapplyTSlambdaXTpfalseeqlambdaXTvarLfalseeqlambdaXTapplyTpSpfalseeqlambdaXTlambdaXpTpandeqTTpeqXXpiftruevarKvarLvarKiffalsevarKvarLvarLrenvarLvarKvarLpifeqLLpvarKvarLprenXYapplyTSapplyrenXYTrenXYSrenXYlambdaZTlambdavarconsXconsYconslambdaZTnilrenXYrenZvarconsXconsYconslambdaZTnilTeqconsTLconsTpLpeqLLpeqconsTLconsTpLpeqTTpeqconsTLconsTpLpandeqTTpeqLLpeqvarLvarLpeqLLpeqapplyTSapplyTpSpeqSSpeqapplyTSapplyTpSpeqTTpeqapplyTSapplyTpSpandeqTTpeqSSpeqlambdaXTlambdaXpTpeqXXpeqlambdaXTlambdaXpTpeqTTpeqlambdaXTlambdaXpTpandeqTTpeqXXprenvarLvarKvarLpeqLLprenvarLvarKvarLpifeqLLpvarKvarLprenXYapplyTSrenXYSrenXYapplyTSrenXYTrenXYlambdaZTrenZvarconsXconsYconslambdaZTnilTrenXYlambdaZTrenXYrenZvarconsXconsYconslambdaZTnilTtruerenXYlambdaZTrenZvarconsXconsYconslambdaZTnilTrenXYapplyTSrenXYSrenXYapplyTSrenXYTrenXYlambdaZTrenXYrenZvarconsXconsYconslambdaZTnilTtrue1ren30102230ren30102130if30102030lambda201820apply221228var1010cons201020eq201022nil00true00and201020false00renXYlambdaZTrenZvarconsXconsYconslambdaZTnilTrenXYlambdaZTrenXYrenZvarconsXconsYconslambdaZTnilT1ren32102130ren30102130if30102030lambda241821apply241020var1010cons201021eq201028nil00true00and201028false00renvarLvarKvarLpeqLLpfalseeqconsTLconsTpLpeqLLpeqconsTLconsTpLpeqTTpeqvarLvarLpeqLLpeqapplyTSapplyTpSpeqSSpeqapplyTSapplyTpSpeqTTpeqlambdaXTlambdaXpTpeqXXpeqlambdaXTlambdaXpTpeqTTptrueeq22eqlambdaXTlambdaXpTpandeqTTpeqXXpfalseeqapplyTSapplyTpSpandeqTTpeqSSpfalseeqconsTLconsTpLpandeqTTpeqLLpfalserenvarLvarKvarLpifeqLLpvarKvarLpfalse