elem :: Int -> [Int] -> Bool
-- testing 360 combinations of argument values
-- pruning with 40/53 rules
-- 2 candidates of size 1
-- 0 candidates of size 2
-- 0 candidates of size 3
-- 0 candidates of size 4
-- 4 candidates of size 5
-- 0 candidates of size 6
-- 0 candidates of size 7
-- 16 candidates of size 8
-- tested 19 candidates
elem x []  =  False
elem x (y:xs)  =  elem x xs || x == y

set :: [Int] -> Bool
-- testing 360 combinations of argument values
-- pruning with 41/52 rules
-- 2 candidates of size 1
-- 0 candidates of size 2
-- 0 candidates of size 3
-- 1 candidates of size 4
-- 0 candidates of size 5
-- 0 candidates of size 6
-- 2 candidates of size 7
-- 4 candidates of size 8
-- tested 6 candidates
set []  =  True
set (x:xs)  =  set xs && not (elem x xs)

