a a divides 0 a s y true a a divides a s x a s y a a a div2 x a s y y a a a div2 x y 0 a a divides x y a a a div2 0 y a s z false a a a div2 a s x y a s z a a a div2 x y z a a filter f nil nil a a filter f a a cons x xs a a a if a f x x a a filter f xs a a a if true x xs a a cons x xs a a a if false x xs xs a a not f x a not2 a f x a not2 true false a not2 false true a sieve nil nil a sieve a a cons x xs a a cons x a sieve a a filter a not a divides x xs a 2 divides 0 0 0 s 0 true 0 div2 0 false 0 filter 0 nil 0 cons 0 if 0 not 0 not2 0 sieve 0 FULL ./TRS/SchneiderKamp/trs/thiemann39.trs