aadivides0asytrueaadividesasxasyaaadiv2xasyyaaadiv2xy0aadividesxyaaadiv20yaszfalseaaadiv2asxyaszaaadiv2xyzaafilterfnilnilaafilterfaaconsxxsaaaifafxxaafilterfxsaaaiftruexxsaaconsxxsaaaiffalsexxsxsaanotfxanot2afxanot2truefalseanot2falsetrueasievenilnilasieveaaconsxxsaaconsxasieveaafilteranotadividesxxsa2divides000s0true0div20false0filter0nil0cons0if0not0not20sieve0FULL./TRS/SchneiderKamp/trs/thiemann39.trs