andtrueyyandfalseyfalseeqnilniltrueeqconstlnilfalseeqnilconstlfalseeqconstlconst'l'andeqtt'eqll'eqvarlvarl'eqll'eqvarlapplytsfalseeqvarllambdaxtfalseeqapplytsvarlfalseeqapplytsapplyt's'andeqtt'eqss'eqapplytslambdaxtfalseeqlambdaxtvarlfalseeqlambdaxtapplytsfalseeqlambdaxtlambdax't'andeqxx'eqtt'iftruevarkvarl'varkiffalsevarkvarl'varl'renvarlvarkvarl'ifeqll'varkvarl'renxyapplytsapplyrenxytrenxysrenxylambdaztlambdavarconsxconsyconslambdaztnilrenxyrenzvarconsxconsyconslambdaztnilteqconstlconst'l'eqll'eqconstlconst'l'eqtt'eqconstlconst'l'andeqtt'eqll'eqvarlvarl'eqll'eqapplytsapplyt's'eqss'eqapplytsapplyt's'eqtt'eqapplytsapplyt's'andeqtt'eqss'eqlambdaxtlambdax't'eqtt'eqlambdaxtlambdax't'eqxx'eqlambdaxtlambdax't'andeqxx'eqtt'renvarlvarkvarl'eqll'renvarlvarkvarl'ifeqll'varkvarl'renxyapplytsrenxysrenxyapplytsrenxytrenxylambdaztrenzvarconsxconsyconslambdaztniltrenxylambdaztrenxyrenzvarconsxconsyconslambdaztnilttruerenxylambdaztrenzvarconsxconsyconslambdaztniltrenxyapplytsrenxysrenxyapplytsrenxytrenxylambdaztrenxyrenzvarconsxconsyconslambdaztnilttrue1ren30102830ren30102130if30102030lambda201221apply221120var1010cons201024eq201021nil00false00and201120true01renxyapplytsrenxysrenxyapplytsrenxyt1ren30102235ren30102635if30102635lambda261028apply281129var1014cons201020eq201020nil00false00and201120true00renvarlvarkvarl'eqll'falseeqconstlconst'l'eqll'eqconstlconst'l'eqtt'eqvarlvarl'eqll'eqapplytsapplyt's'eqss'eqapplytsapplyt's'eqtt'eqlambdaxtlambdax't'eqtt'eqlambdaxtlambdax't'eqxx'trueeqlambdaxtlambdax't'andeqxx'eqtt'falseeqapplytsapplyt's'andeqtt'eqss'falseeqconstlconst'l'andeqtt'eqll'falserenvarlvarkvarl'ifeqll'varkvarl'false