andfalsefalsefalseandtruefalsefalseandfalsetruefalseandtruetruetrueeqnilniltrueeqconsTLnilfalseeqnilconsTLfalseeqconsTLconsTpLpandeqTTpeqLLpeqvarLvarLpeqLLpeqvarLapplyTSfalseeqvarLlambdaXTfalseeqapplyTSvarLfalseeqapplyTSapplyTpSpandeqTTpeqSSpeqapplyTSlambdaXTpfalseeqlambdaXTvarLfalseeqlambdaXTapplyTpSpfalseeqlambdaXTlambdaXpTpandeqTTpeqXXpiftruevarKvarLvarKiffalsevarKvarLvarLrenvarLvarKvarLpifeqLLpvarKvarLprenXYapplyTSapplyrenXYTrenXYSrenXYlambdaZTlambdavarconsXconsYconslambdaZTnilrenXYrenZvarconsXconsYconslambdaZTnilTeqconsTLconsTpLpeqLLpeqconsTLconsTpLpeqTTpeqconsTLconsTpLpandeqTTpeqLLpeqvarLvarLpeqLLpeqapplyTSapplyTpSpeqSSpeqapplyTSapplyTpSpeqTTpeqapplyTSapplyTpSpandeqTTpeqSSpeqlambdaXTlambdaXpTpeqXXpeqlambdaXTlambdaXpTpeqTTpeqlambdaXTlambdaXpTpandeqTTpeqXXprenvarLvarKvarLpeqLLprenvarLvarKvarLpifeqLLpvarKvarLprenXYapplyTSrenXYSrenXYapplyTSrenXYTrenXYlambdaZTrenZvarconsXconsYconslambdaZTnilTrenXYlambdaZTrenXYrenZvarconsXconsYconslambdaZTnilTtruerenXYlambdaZTrenZvarconsXconsYconslambdaZTnilTrenXYapplyTSrenXYSrenXYapplyTSrenXYTrenXYlambdaZTrenXYrenZvarconsXconsYconslambdaZTnilTtrue1ren30102830ren30102130if30102030lambda201420apply221424var1010cons281020eq211020nil02true00and2101820false02renXYlambdaZTrenZvarconsXconsYconslambdaZTnilTrenXYlambdaZTrenXYrenZvarconsXconsYconslambdaZTnilTiftruevarKvarLvarKiffalsevarKvarLvarLrenvarLvarKvarLpifeqLLpvarKvarLprenXYapplyTSapplyrenXYTrenXYSrenXYlambdaZTlambdavarconsXconsYconslambdaZTnilrenXYrenZvarconsXconsYconslambdaZTnilT1ren30102132ren30102130if30102030lambda201822apply281022var1010cons221020eq201028nil00true05and261024false00iftruevarKvarLvarKiffalsevarKvarLvarLrenvarLvarKvarLpifeqLLpvarKvarLprenXYapplyTSapplyrenXYTrenXYSrenXYlambdaZTlambdavarconsXconsYconslambdaZTnilrenXYrenZvarconsXconsYconslambdaZTnilTrenvarLvarKvarLpeqLLpfalseeqconsTLconsTpLpeqLLpeqconsTLconsTpLpeqTTpeqvarLvarLpeqLLpeqapplyTSapplyTpSpeqSSpeqapplyTSapplyTpSpeqTTpeqlambdaXTlambdaXpTpeqXXpeqlambdaXTlambdaXpTpeqTTptrue1eq281028lambda211125apply221320var1110cons211124eqvarLvarLpeqLLpeqapplyTSapplyTpSpeqSSpeqapplyTSapplyTpSpeqTTp1eq231820apply211120var1615eqapplyTSapplyTpSpeqSSpeqapplyTSapplyTpSpeqTTp1eq241129apply211125eqlambdaXTlambdaXpTpandeqTTpeqXXpfalseeqapplyTSapplyTpSpandeqTTpeqSSpfalseeqconsTLconsTpLpandeqTTpeqLLpfalserenvarLvarKvarLpifeqLLpvarKvarLpfalse