andtrueyyandfalseyfalseeqnilniltrueeqconstlnilfalseeqnilconstlfalseeqconstlconst'l'andeqtt'eqll'eqvarlvarl'eqll'eqvarlapplytsfalseeqvarllambdaxtfalseeqapplytsvarlfalseeqapplytsapplyt's'andeqtt'eqss'eqapplytslambdaxtfalseeqlambdaxtvarlfalseeqlambdaxtapplytsfalseeqlambdaxtlambdax't'andeqxx'eqtt'iftruevarkvarl'varkiffalsevarkvarl'varl'renvarlvarkvarl'ifeqll'varkvarl'renxyapplytsapplyrenxytrenxysrenxylambdaztlambdavarconsxconsyconslambdaztnilrenxyrenzvarconsxconsyconslambdaztnilteqconstlconst'l'andeqtt'eqll'eqconstlconst'l'eqtt'eqconstlconst'l'eqll'eqvarlvarl'eqll'eqapplytsapplyt's'andeqtt'eqss'eqapplytsapplyt's'eqtt'eqapplytsapplyt's'eqss'eqlambdaxtlambdax't'andeqxx'eqtt'eqlambdaxtlambdax't'eqxx'eqlambdaxtlambdax't'eqtt'renvarlvarkvarl'ifeqll'varkvarl'renvarlvarkvarl'eqll'renxyapplytsrenxytrenxyapplytsrenxysrenxylambdaztrenxyrenzvarconsxconsyconslambdaztniltrenxylambdaztrenzvarconsxconsyconslambdaztnilttruerenxyapplytsrenxysrenxyapplytsrenxytrenxylambdaztrenxyrenzvarconsxconsyconslambdaztniltrenxylambdaztrenzvarconsxconsyconslambdaztnilttrue1234561ren313apply211112lambda2112ren313var10cons20nil00if30eq20true00false00and212renvarlvarkvarl'ifeqll'varkvarl'renxyapplytsapplyrenxytrenxysrenxylambdaztlambdavarconsxconsyconslambdaztnilrenxyrenzvarconsxconsyconslambdaztniltiftruevarkvarl'varkiffalsevarkvarl'varl'renvarlvarkvarl'eqll'false1234eqconstlconst'l'eqll'eqconstlconst'l'eqtt'eqvarlvarl'eqll'eqapplytsapplyt's'eqtt'eqapplytsapplyt's'eqss'eqlambdaxtlambdax't'eqxx'eqlambdaxtlambdax't'eqtt'true123eq22eqconstlconst'l'andeqtt'eqll'falseeqapplytsapplyt's'andeqtt'eqss'falseeqlambdaxtlambdax't'andeqxx'eqtt'falserenvarlvarkvarl'ifeqll'varkvarl'false