aadivides0asytrueaadividesasxasyaaadiv2xasyyaaadiv2xy0aadividesxyaaadiv20yaszfalseaaadiv2asxyaszaaadiv2xyzaafilterfnilnilaafilterfaaconsxxsaaaifafxxaafilterfxsaaaiftruexxsaaconsxxsaaaiffalsexxsxsaanotfxanot2afxanot2truefalseanot2falsetrueasievenilnilasieveaaconsxxsaaconsxasieveaafilteranotadividesxxs2.0asieve0sieve0sieve1not20not20not21not0not0not1not2if0if0if1if2if3cons0cons0cons1cons2nil0nil0filter0filter0filter1filter2false0false0div20div20div21div22div23true0true0s0s0s10000divides0divides0divides1divides2adivides1x5x6divides2x5x6adivides0x5divides1x5as0x9s1x9adiv22x12x13x14div23x12x13x14adiv21x12x13div22x12x13adiv20x12div21x12afilter1x17x18filter2x17x18afilter0x17filter1x17acons1x21x22cons2x21x22acons0x21cons1x21aif2x24x25x26if3x24x25x26aif1x24x25if2x24x25aif0x24if1x24anot1x28x29not2x28x29anot0x28not1x28anot20x31not21x31asieve0x33sieve1x33divides200s1ytrue0divides2s1xs1ydiv23xs1yydiv23xy00divides2xydiv2300ys1zfalse0div23s1xys1zdiv23xyzfilter2fnil0nil0filter2fcons2xxsif3afxxfilter2fxsif3true0xxscons2xxsif3false0xxsxsnot2fxnot21afxnot21true0false0not21false0true0sieve1nil0nil0sieve1cons2xxscons2xsieve1filter2not1divides1xxsadivides1x5x6divides2x5x6adivides0x5divides1x5as0x9s1x9adiv22x12x13x14div23x12x13x14adiv21x12x13div22x12x13adiv20x12div21x12afilter1x17x18filter2x17x18afilter0x17filter1x17acons1x21x22cons2x21x22acons0x21cons1x21aif2x24x25x26if3x24x25x26aif1x24x25if2x24x25aif0x24if1x24anot1x28x29not2x28x29anot0x28not1x28anot20x31not21x31asieve0x33sieve1x33divides2s1xs1ydiv23xs1yydiv23xy00divides2xydiv23s1xys1zdiv23xyzfilter2fcons2xxsfilter2fxsfilter2fcons2xxsafxfilter2fcons2xxsif3afxxfilter2fxsnot2fxafxnot2fxnot21afxsieve1cons2xxsfilter2not1divides1xxssieve1cons2xxssieve1filter2not1divides1xxsadivides1x5x6divides2x5x6adiv22x12x13x14div23x12x13x14afilter1x17x18filter2x17x18aif2x24x25x26if3x24x25x26anot1x28x29not2x28x29anot20x31not21x31asieve0x33sieve1x33truesieve1cons2xxssieve1filter2not1divides1xxssieve1cons2xxsfilter2not1divides1xxsfilter2fcons2xxsafxasieve0x33sieve1x33anot1x28x29not2x28x29not2fxafxafilter1x17x18filter2x17x18filter2fcons2xxsfilter2fxstrue1641sieve11011not2211021a211021filter2211021sieve11010sieve001not211010not2000not2201020not11110not000if330102030if2201020if11010if000cons2201020cons11010cons000nil000filter2201020filter11111filter000false000div2331102131div22201020div211010div2000true000s11011s0000001divides2211021divides11010divides000a201021sieve1cons2xxssieve1filter2not1divides1xxssieve1cons2xxsfilter2not1divides1xxsfilter2fcons2xxsafxanot1x28x29not2x28x29not2fxafxfilter2fcons2xxsfilter2fxssieve1cons2xxssieve1filter2not1divides1xxstrue1641sieve11110sieve11010sieve001not211010not2001not2201020not11010not000if330102131if2201021if11010if001cons2201121cons11011cons000nil000filter2201120filter11010filter000false000div2331112031div22201021div211010div2000true000s11011s0010001divides2201020divides11011divides000a211021filter2fnil0nil0filter2fcons2xxsif3afxxfilter2fxsif3true0xxscons2xxsif3false0xxsxssieve1cons2xxsfilter2not1divides1xxsfalsefilter2fcons2xxsfilter2fxstrue1641filter2201120cons2201121filter2fcons2xxsafxfalseanot1x28x29not2x28x29not2fxafxtrue1641not2211021a211020not11111anot1x28x29not2x28x29anot1x28x29not2x28x29falseadivides1x5x6divides2x5x6falseadiv22x12x13x14div23x12x13x14falsediv23s1xys1zdiv23xyzdiv23xy00divides2xydivides2s1xs1ydiv23xs1yytrue1641div2331102031divides2211020s111110000divides2s1xs1ydiv23xs1yydivides2s1xs1ydiv23xs1yyfalseaif2x24x25x26if3x24x25x26falsenot2fxnot21afxfalseanot20x31not21x31falsefilter2fcons2xxsif3afxxfilter2fxsfalse