aadivides0asytrueaadividesasxasyaaadiv2xasyyaaadiv2xy0aadividesxyaaadiv20yaszfalseaaadiv2asxyaszaaadiv2xyzaafilterfnilnilaafilterfaaconsxxsaaaifafxxaafilterfxsaaaiftruexxsaaconsxxsaaaiffalsexxsxsaanotfxanot2afxanot2truefalseanot2falsetrueasievenilnilasieveaaconsxxsaaconsxasieveaafilteranotadividesxxs2.0asieve0sieve0sieve1not20not20not21not0not0not1not2if0if0if1if2if3cons0cons0cons1cons2nil0nil0filter0filter0filter1filter2false0false0div20div20div21div22div23true0true0s0s0s10000divides0divides0divides1divides2adivides1x5x6divides2x5x6adivides0x5divides1x5as0x9s1x9adiv22x12x13x14div23x12x13x14adiv21x12x13div22x12x13adiv20x12div21x12afilter1x17x18filter2x17x18afilter0x17filter1x17acons1x21x22cons2x21x22acons0x21cons1x21aif2x24x25x26if3x24x25x26aif1x24x25if2x24x25aif0x24if1x24anot1x28x29not2x28x29anot0x28not1x28anot20x31not21x31asieve0x33sieve1x33divides200s1ytrue0divides2s1xs1ydiv23xs1yydiv23xy00divides2xydiv2300ys1zfalse0div23s1xys1zdiv23xyzfilter2fnil0nil0filter2fcons2xxsif3afxxfilter2fxsif3true0xxscons2xxsif3false0xxsxsnot2fxnot21afxnot21true0false0not21false0true0sieve1nil0nil0sieve1cons2xxscons2xsieve1filter2not1divides1xxsadivides1x5x6divides2x5x6adivides0x5divides1x5as0x9s1x9adiv22x12x13x14div23x12x13x14adiv21x12x13div22x12x13adiv20x12div21x12afilter1x17x18filter2x17x18afilter0x17filter1x17acons1x21x22cons2x21x22acons0x21cons1x21aif2x24x25x26if3x24x25x26aif1x24x25if2x24x25aif0x24if1x24anot1x28x29not2x28x29anot0x28not1x28anot20x31not21x31asieve0x33sieve1x33divides2s1xs1ydiv23xs1yydiv23xy00divides2xydiv23s1xys1zdiv23xyzfilter2fcons2xxsfilter2fxsfilter2fcons2xxsafxfilter2fcons2xxsif3afxxfilter2fxsnot2fxafxnot2fxnot21afxsieve1cons2xxsfilter2not1divides1xxssieve1cons2xxssieve1filter2not1divides1xxsadivides1x5x6divides2x5x6adiv22x12x13x14div23x12x13x14afilter1x17x18filter2x17x18aif2x24x25x26if3x24x25x26anot1x28x29not2x28x29anot20x31not21x31asieve0x33sieve1x33truesieve1cons2xxssieve1filter2not1divides1xxssieve1cons2xxsfilter2not1divides1xxsfilter2fcons2xxsfilter2fxsfilter2fcons2xxsafxafilter1x17x18filter2x17x18anot1x28x29not2x28x29not2fxafxasieve0x33sieve1x33truesieve1132not220a20filter220sieve110sieve0033not2110not2000not220not111not000if330if220if110if000cons220cons110cons000nil000filter220filter110filter000false000div2330div2220div2110div2000true000s110s0000000divides220divides110divides000a20a22divides00divides11divides222000s00s11true00div200div211div222div233false00filter00filter111filter22nil00cons00cons11cons222if00if111if22if33not00not111not22not200not2111sieve00sieve11filter221a21not221sieve11sieve1cons2xxssieve1filter2not1divides1xxsfilter2fcons2xxsfilter2fxsfilter2fcons2xxsafxafilter1x17x18filter2x17x18afilter1x17x18filter2x17x18filter2fcons2xxsafxfilter2fcons2xxsfilter2fxstruefilter222a22afilter1x17x18filter2x17x18afilter1x17x18filter2x17x18falsesieve1cons2xxssieve1filter2not1divides1xxstrue1641sieve11411sieve11413sieve002not211210not2002not2201020not11412not006if330102135if2201220if11213if000cons2201125cons11412cons000nil002filter2201123filter11410filter003false002div2330102531div22201425div211210div2002true000s11014s0070002divides2211526divides11014divides003a221120filter2fnil0nil0filter2fcons2xxsif3afxxfilter2fxsif3true0xxscons2xxsif3false0xxsxsnot2fxnot21afxfalseanot20x31not21x31falseaif2x24x25x26if3x24x25x26falsefilter2fcons2xxsif3afxxfilter2fxsfalseadiv22x12x13x14div23x12x13x14falseadivides1x5x6divides2x5x6falsedivides2s1xs1ydiv23xs1yydiv23xy00divides2xydiv23s1xys1zdiv23xyztruedivides221div2331div23xy00divides2xydiv23xy00divides2xyfalse