iftruexyxiffalsexyyeq00trueeq0sxfalseeqsx0falseeqsxsyeqxyappnilllappconsxl1l2consxappl1l2appappl1l2l3appl1appl2l3memxnilfalsememxconsylifmemeqxyxlifmemtruexltrueifmemfalsexlmemxlinterxnilnilinternilxnilinterappl1l2l3appinterl1l3interl2l3interl1appl2l3appinterl1l2interl1l3interconsxl1l2ifintermemxl2xl1l2interl1consxl2ifintermemxl1xl2l1ifintertruexl1l2consxinterl1l2ifinterfalsexl1l2interl1l2eqsxsyeqxyappconsxl1l2appl1l2appappl1l2l3appl2l3appappl1l2l3appl1appl2l3memxconsyleqxymemxconsylifmemeqxyxlifmemfalsexlmemxlinterappl1l2l3interl2l3interappl1l2l3interl1l3interappl1l2l3appinterl1l3interl2l3interl1appl2l3interl1l3interl1appl2l3interl1l2interl1appl2l3appinterl1l2interl1l3interconsxl1l2memxl2interconsxl1l2ifintermemxl2xl1l2interl1consxl2memxl1interl1consxl2ifintermemxl1xl2l1ifintertruexl1l2interl1l2ifinterfalsexl1l2interl1l2trueifinterfalsexl1l2interl1l2interappl1l2l3interl2l3interappl1l2l3interl1l3interl1appl2l3interl1l3interl1appl2l3interl1l2interconsxl1l2ifintermemxl2xl1l2ifintertruexl1l2interl1l2interl1consxl2ifintermemxl1xl2l1true1ifinter4012223248inter221221ifmem341120310mem201020cons211124app21011024nil00s1114eq211120000false02true04interl1consxl2memxl1falseinterconsxl1l2memxl2falsememxconsylifmemeqxyxlifmemfalsexlmemxltrue1ifmem30102630mem201620cons261923s1213eq201420000false00true00ifmemfalsexlmemxlifmemfalsexlmemxlfalsememxconsyleqxyfalseeqsxsyeqxytrue1eq281120s1411interl1appl2l3appinterl1l2interl1l3falseinterappl1l2l3appinterl1l3interl2l3falseappconsxl1l2appl1l2appappl1l2l3appl2l3appappl1l2l3appl1appl2l3true1app211028cons281829app231121nil00