aadivides0asytrueaadividesasxasyaaadiv2xasyyaaadiv2xy0aadividesxyaaadiv20yaszfalseaaadiv2asxyaszaaadiv2xyzaafilterfnilnilaafilterfaaconsxxsaaaifafxxaafilterfxsaaaiftruexxsaaconsxxsaaaiffalsexxsxsaanotfxanot2afxanot2truefalseanot2falsetrueasievenilnilasieveaaconsxxsaaconsxasieveaafilteranotadividesxxs2.0asieve0sieve0sieve1not20not20not21not0not0not1if0if0if1if2if3cons0cons0cons1cons2nil0nil0filter0filter0filter1filter2false0false0div20div20div21div22div23true0true0s0s0s10000divides0divides0divides1adivides0x5divides1x5as0x8s1x8adiv22x11x12x13div23x11x12x13adiv21x11x12div22x11x12adiv20x11div21x11afilter1x16x17filter2x16x17afilter0x16filter1x16acons1x20x21cons2x20x21acons0x20cons1x20aif2x23x24x25if3x23x24x25aif1x23x24if2x23x24aif0x23if1x23anot0x27not1x27anot20x29not21x29asieve0x31sieve1x31adivides100s1ytrue0adivides1s1xs1ydiv23xs1yydiv23xy00adivides1xydiv2300ys1zfalse0div23s1xys1zdiv23xyzfilter2fnil0nil0filter2fcons2xxsif3afxxfilter2fxsif3true0xxscons2xxsif3false0xxsxsanot1fxnot21afxnot21true0false0not21false0true0sieve1nil0nil0sieve1cons2xxscons2xsieve1filter2not1divides1xxsadivides0x5divides1x5as0x8s1x8adiv22x11x12x13div23x11x12x13adiv21x11x12div22x11x12adiv20x11div21x11afilter1x16x17filter2x16x17afilter0x16filter1x16acons1x20x21cons2x20x21acons0x20cons1x20aif2x23x24x25if3x23x24x25aif1x23x24if2x23x24aif0x23if1x23anot0x27not1x27anot20x29not21x29asieve0x31sieve1x31adivides1s1xs1ydiv23xs1yydiv23xy00adivides1xydiv23s1xys1zdiv23xyzfilter2fcons2xxsfilter2fxsfilter2fcons2xxsafxfilter2fcons2xxsif3afxxfilter2fxsanot1fxafxanot1fxnot21afxsieve1cons2xxsfilter2not1divides1xxssieve1cons2xxssieve1filter2not1divides1xxsadiv22x11x12x13div23x11x12x13afilter1x16x17filter2x16x17aif2x23x24x25if3x23x24x25anot20x29not21x29asieve0x31sieve1x31truesieve1cons2xxssieve1filter2not1divides1xxssieve1cons2xxsfilter2not1divides1xxsfilter2fcons2xxsfilter2fxsfilter2fcons2xxsafxadivides1s1xs1ydiv23xs1yydiv23xy00adivides1xyanot1fxafxadiv22x11x12x13div23x11x12x13div23s1xys1zdiv23xyzafilter1x16x17filter2x16x17asieve0x31sieve1x31truesieve1cons2xxssieve1filter2not1divides1xxssieve1cons2xxsfilter2not1divides1xxsfilter2fcons2xxsafxasieve0x31sieve1x31afilter1x16x17filter2x16x17filter2fcons2xxsfilter2fxsanot1fxafxtruesieve111filter220a20sieve110sieve002not2110not2000not110not000if330if220if110if000cons220cons110cons000nil000filter220filter110filter000false000div2330div2220div2110div2000true000s110s0000000divides110divides000a20a22divides00divides11000s00s11true00div200div2111div2221div2333false00filter00filter111filter222nil00cons00cons11cons22if00if111if22if333not00not111not200not211sieve00sieve11a21filter221sieve11sieve1cons2xxssieve1filter2not1divides1xxsfilter2fcons2xxsafxafilter1x16x17filter2x16x17filter2fcons2xxsfilter2fxsfilter2fcons2xxsfilter2fxsfilter2fcons2xxsafxafilter1x16x17filter2x16x17truea22filter222afilter1x16x17filter2x16x17afilter1x16x17filter2x16x17falsesieve1cons2xxssieve1filter2not1divides1xxstrue1sieve1101sieve11110sieve001not211012not2006not11010not007if33112430if2201025if11016if005cons2211420cons11015cons002nil005filter22102filter11013filter000false001div233102032div22201025div211014div2007true002s11011s0050002divides11010divides002a20120filter2fnil0nil0filter2fcons2xxsif3afxxfilter2fxsif3true0xxscons2xxsif3false0xxsxsadiv22x11x12x13div23x11x12x13falsediv23s1xys1zdiv23xyzdiv23xy00adivides1xyadivides1s1xs1ydiv23xs1yytrue1div2331123a2012s111100004divides1101div23s1xys1zdiv23xyzadivides1s1xs1ydiv23xs1yyadivides1s1xs1ydiv23xs1yyfalsediv23s1xys1zdiv23xyztruediv2333anot20x29not21x29falseaif2x23x24x25if3x23x24x25falsefilter2fcons2xxsif3afxxfilter2fxsfalseanot1fxnot21afxfalse