appappappiftruexyxappappappiffalsexyyappappfilterfnilnilappappfilterfappappconsxxsappappappifappfxappappconsxappappfilterfxsappappfilterfxs2.0appcons0cons0cons1cons2nil0nil0filter0filter0filter1filter2false0false0true0true0if0if0if1if2if3appif2x4x5x6if3x4x5x6appif1x4x5if2x4x5appif0x4if1x4appfilter1x10x11filter2x10x11appfilter0x10filter1x10appcons1x14x15cons2x14x15appcons0x14cons1x14if3true0xyxif3false0xyyfilter2fnil0nil0filter2fcons2xxsif3appfxcons2xfilter2fxsfilter2fxsappif2x4x5x6if3x4x5x6appif1x4x5if2x4x5appif0x4if1x4appfilter1x10x11filter2x10x11appfilter0x10filter1x10appcons1x14x15cons2x14x15appcons0x14cons1x14filter2fcons2xxsfilter2fxsfilter2fcons2xxsappfxfilter2fcons2xxsif3appfxcons2xfilter2fxsfilter2fxsappif2x4x5x6if3x4x5x6appfilter1x10x11filter2x10x11trueappfilter1x10x11filter2x10x11filter2fcons2xxsappfxfilter2fcons2xxsfilter2fxstrue211641app200001001021000filter2200001001021000cons2200011000120100filter11000010000appfilter1x10x11filter2x10x11appfilter1x10x11filter2x10x11falseappif2x4x5x6if3x4x5x6falsefilter2fcons2xxsif3appfxcons2xfilter2fxsfilter2fxsfalse