aaappendnilysysaaappendaaconsxxsysaaconsxaaappendxsysaafilterfnilnilaafilterfaaconsxxsaaaifafxxaafilterfxsaale0ytrueaaleasx0falseaaleasxasyaalexyaaaiftruexxsaaconsxxsaaaiffalsexxsxsaanotfbanot2afbanot2truefalseanot2falsetrueaqsnilnilaqsaaconsxxsaaappendaqsaafilteralexxsaaconsxaqsaafilteranotalexxs2.0aqs0qs0qs1not20not20not21not0not0not1not2false0false0s0s0s1true0true00000le0le0le1le2if0if0if1if2if3filter0filter0filter1filter2cons0cons0cons1cons2nil0nil0append0append0append1append2aappend1x6x7append2x6x7aappend0x6append1x6acons1x10x11cons2x10x11acons0x10cons1x10afilter1x13x14filter2x13x14afilter0x13filter1x13aif2x16x17x18if3x16x17x18aif1x16x17if2x16x17aif0x16if1x16ale1x20x21le2x20x21ale0x20le1x20as0x25s1x25anot1x28x29not2x28x29anot0x28not1x28anot20x31not21x31aqs0x33qs1x33append2nil0ysysappend2cons2xxsyscons2xappend2xsysfilter2fnil0nil0filter2fcons2xxsif3afxxfilter2fxsle200ytrue0le2s1x00false0le2s1xs1yle2xyif3true0xxscons2xxsif3false0xxsxsnot2fbnot21afbnot21true0false0not21false0true0qs1nil0nil0qs1cons2xxsappend2qs1filter2le1xxscons2xqs1filter2not1le1xxsaappend1x6x7append2x6x7aappend0x6append1x6acons1x10x11cons2x10x11acons0x10cons1x10afilter1x13x14filter2x13x14afilter0x13filter1x13aif2x16x17x18if3x16x17x18aif1x16x17if2x16x17aif0x16if1x16ale1x20x21le2x20x21ale0x20le1x20as0x25s1x25anot1x28x29not2x28x29anot0x28not1x28anot20x31not21x31aqs0x33qs1x33append2cons2xxsysappend2xsysfilter2fcons2xxsfilter2fxsfilter2fcons2xxsafxfilter2fcons2xxsif3afxxfilter2fxsle2s1xs1yle2xynot2fbafbnot2fbnot21afbqs1cons2xxsfilter2not1le1xxsqs1cons2xxsqs1filter2not1le1xxsqs1cons2xxsfilter2le1xxsqs1cons2xxsqs1filter2le1xxsqs1cons2xxsappend2qs1filter2le1xxscons2xqs1filter2not1le1xxsaappend1x6x7append2x6x7afilter1x13x14filter2x13x14aif2x16x17x18if3x16x17x18ale1x20x21le2x20x21anot1x28x29not2x28x29anot20x31not21x31aqs0x33qs1x33trueqs1cons2xxsqs1filter2not1le1xxsqs1cons2xxsfilter2not1le1xxsfilter2fcons2xxsfilter2fxsfilter2fcons2xxsafxafilter1x13x14filter2x13x14anot1x28x29not2x28x29not2fbafbaqs0x33qs1x33qs1cons2xxsfilter2le1xxsqs1cons2xxsqs1filter2le1xxstrueqs111not220a20filter220qs110qs002not2110not2000not220not110not000false000s110s000true0000000le220le110le000if330if220if110if000filter220filter110filter000cons220cons110cons000nil000append220append110append000a20a22append00append11append221nil00cons00cons11cons221filter00filter111filter221if00if11if22if33le00le11le22000true00s00s111false00not00not111not221not200not211qs00qs11filter221a21not221qs11qs1cons2xxsqs1filter2not1le1xxsfilter2fcons2xxsfilter2fxsfilter2fcons2xxsafxafilter1x13x14filter2x13x14anot1x28x29not2x28x29not2fbafbqs1cons2xxsqs1filter2le1xxsnot2fbafbanot1x28x29not2x28x29afilter1x13x14filter2x13x14filter2fcons2xxsafxfilter2fcons2xxsfilter2fxstruefilter222a22not222not2fbafbanot1x28x29not2x28x29afilter1x13x14filter2x13x14not2fbafbanot1x28x29not2x28x29truea21not221not2fbafbnot2fbafbfalseafilter1x13x14filter2x13x14falseqs1cons2xxsqs1filter2not1le1xxsqs1cons2xxsqs1filter2le1xxstrue1qs1101qs11110qs004not211012not2006not2201020not1101not001false000s11013s006true0020002le22110210le11410le005if3312130if2241022if11014if006filter22102filter11214filter004cons221120cons11012cons001nil000append221026append11010append003a201022filter2fnil0nil0filter2fcons2xxsif3afxxfilter2fxsif3true0xxscons2xxsif3false0xxsxsnot2fbnot21afbfalseqs1cons2xxsappend2qs1filter2le1xxscons2xqs1filter2not1le1xxsfalseanot20x31not21x31falseale1x20x21le2x20x21falsele2s1xs1yle2xytruele222aif2x16x17x18if3x16x17x18falsefilter2fcons2xxsif3afxxfilter2fxsfalseaappend1x6x7append2x6x7falseappend2cons2xxsysappend2xsystrueappend221