andfalsefalsefalseandtruefalsefalseandfalsetruefalseandtruetruetrueeqnilniltrueeqconsTLnilfalseeqnilconsTLfalseeqconsTLconsTpLpandeqTTpeqLLpeqvarLvarLpeqLLpeqvarLapplyTSfalseeqvarLlambdaXTfalseeqapplyTSvarLfalseeqapplyTSapplyTpSpandeqTTpeqSSpeqapplyTSlambdaXTpfalseeqlambdaXTvarLfalseeqlambdaXTapplyTpSpfalseeqlambdaXTlambdaXpTpandeqTTpeqXXpiftruevarKvarLvarKiffalsevarKvarLvarLrenvarLvarKvarLpifeqLLpvarKvarLprenXYapplyTSapplyrenXYTrenXYSrenXYlambdaZTlambdavarconsXconsYconslambdaZTnilrenXYrenZvarconsXconsYconslambdaZTnilTeqconsTLconsTpLpeqLLpeqconsTLconsTpLpeqTTpeqconsTLconsTpLpandeqTTpeqLLpeqvarLvarLpeqLLpeqapplyTSapplyTpSpeqSSpeqapplyTSapplyTpSpeqTTpeqapplyTSapplyTpSpandeqTTpeqSSpeqlambdaXTlambdaXpTpeqXXpeqlambdaXTlambdaXpTpeqTTpeqlambdaXTlambdaXpTpandeqTTpeqXXprenvarLvarKvarLpeqLLprenvarLvarKvarLpifeqLLpvarKvarLprenXYapplyTSrenXYSrenXYapplyTSrenXYTrenXYlambdaZTrenZvarconsXconsYconslambdaZTnilTrenXYlambdaZTrenXYrenZvarconsXconsYconslambdaZTnilTtruerenXYlambdaZTrenZvarconsXconsYconslambdaZTnilTrenXYapplyTSrenXYSrenXYapplyTSrenXYTrenXYlambdaZTrenXYrenZvarconsXconsYconslambdaZTnilTtrueren36ren31if34lambda22apply27var13cons22eq22nil05true04and21false00false0and21true0nil0eq2cons22var1apply212lambda22if33ren33ren33iftruevarKvarLvarKiffalsevarKvarLvarLrenvarLvarKvarLpifeqLLpvarKvarLprenXYapplyTSapplyrenXYTrenXYSrenXYlambdaZTlambdavarconsXconsYconslambdaZTnilrenXYrenZvarconsXconsYconslambdaZTnilTrenvarLvarKvarLpeqLLpfalseeqconsTLconsTpLpeqLLpeqconsTLconsTpLpeqTTpeqvarLvarLpeqLLpeqapplyTSapplyTpSpeqSSpeqapplyTSapplyTpSpeqTTpeqlambdaXTlambdaXpTpeqXXpeqlambdaXTlambdaXpTpeqTTptrueeq22eqlambdaXTlambdaXpTpandeqTTpeqXXpfalseeqapplyTSapplyTpSpandeqTTpeqSSpfalseeqconsTLconsTpLpandeqTTpeqLLpfalserenvarLvarKvarLpifeqLLpvarKvarLpfalse