iftruexyxiffalsexyyeq00trueeq0sxfalseeqsx0falseeqsxsyeqxyappnilllappconsxl1l2consxappl1l2appappl1l2l3appl1appl2l3memxnilfalsememxconsylifmemeqxyxlifmemtruexltrueifmemfalsexlmemxlinterxnilnilinternilxnilinterappl1l2l3appinterl1l3interl2l3interl1appl2l3appinterl1l2interl1l3interconsxl1l2ifintermemxl2xl1l2interl1consxl2ifintermemxl1xl2l1ifintertruexl1l2consxinterl1l2ifinterfalsexl1l2interl1l2eqsxsyeqxyappconsxl1l2appl1l2appappl1l2l3appl1appl2l3appappl1l2l3appl2l3memxconsylifmemeqxyxlmemxconsyleqxyifmemfalsexlmemxlinterappl1l2l3appinterl1l3interl2l3interappl1l2l3interl1l3interappl1l2l3interl2l3interl1appl2l3appinterl1l2interl1l3interl1appl2l3interl1l2interl1appl2l3interl1l3interconsxl1l2ifintermemxl2xl1l2interconsxl1l2memxl2interl1consxl2ifintermemxl1xl2l1interl1consxl2memxl1ifintertruexl1l2interl1l2ifinterfalsexl1l2interl1l2trueinterappl1l2l3interl2l3interappl1l2l3interl1l3interl1appl2l3interl1l2interl1appl2l3interl1l3interconsxl1l2ifintermemxl2xl1l2ifintertruexl1l2interl1l2interl1consxl2ifintermemxl1xl2l1ifinterfalsexl1l2interl1l2true123456781inter21112app211112cons21112ifinter4121314mem20true00false00nil00ifmem30eq20000s10interconsxl1l2ifintermemxl2xl1l2ifintertruexl1l2interl1l2interl1consxl2ifintermemxl1xl2l1ifinterfalsexl1l2interl1l21inter211112cons2112ifinter411314mem21true01false01nil00ifmem3111eq20000s10ifintertruexl1l2interl1l2ifinterfalsexl1l2interl1l2ifintertruexl1l2interl1l2falseifinterfalsexl1l2interl1l2falseinterconsxl1l2memxl2false236interl1consxl2memxl1false125memxconsylifmemeqxyxlifmemfalsexlmemxltrue141mem212cons211112ifmem313eq20false00000true00s10ifmemfalsexlmemxlifmemfalsexlmemxlfalsememxconsyleqxyfalse3eqsxsyeqxytrue31eq212s1111interappl1l2l3appinterl1l3interl2l3false2interl1appl2l3appinterl1l2interl1l3falseappappl1l2l3appl1appl2l3appconsxl1l2appl1l2appappl1l2l3appl2l3true1app2111app212122nil00cons211122