map length (tiers :: [[ Bool->Int->Bool ]]) = [4,8,12,24,36,56,...] length (list :: [ Bool->Int->Bool ]) = Infinity allUnique (list :: [ Bool->Int->Bool ]) = True ratioRepetitions (list :: [ Bool->Int->Bool ]) = 0 % 1 tiers :: [Bool->Int->Bool] = [ [ \_ _ -> False , \x _ -> case x of False -> False; _ -> True , \x _ -> case x of False -> True; _ -> False , \_ _ -> True ] , [ \x y -> case (x,y) of (True,0) -> True; _ -> False , \x y -> case (x,y) of (False,_) -> False; (_,0) -> False; _ -> True , \x y -> case (x,y) of (False,_) -> True; (_,0) -> True; _ -> False , \x y -> case (x,y) of (True,0) -> False; _ -> True , \x y -> case (x,y) of (False,0) -> True; _ -> False , \x y -> case (x,y) of (_,0) -> True; (False,_) -> False; _ -> True , \x y -> case (x,y) of (_,0) -> False; (False,_) -> True; _ -> False , \x y -> case (x,y) of (False,0) -> False; _ -> True ] , [ \x y -> case (x,y) of (True,1) -> True; _ -> False , \x y -> case (x,y) of (False,_) -> False; (_,0) -> True; (_,1) -> False; _ -> True , \x y -> case (x,y) of (False,_) -> True; (_,0) -> False; (_,1) -> True; _ -> False , \x y -> case (x,y) of (True,1) -> False; _ -> True , \_ y -> case y of 0 -> True; _ -> False , \x y -> case (x,y) of (False,0) -> True; (_,0) -> False; (False,_) -> False; _ -> True , \x y -> case (x,y) of (False,0) -> False; (_,0) -> True; (False,_) -> True; _ -> False , \_ y -> case y of 0 -> False; _ -> True , \x y -> case (x,y) of (False,1) -> True; _ -> False , \x y -> case (x,y) of (False,0) -> False; (True,0) -> True; (False,1) -> True; (True,1) -> True; ... , \x y -> case (x,y) of (False,0) -> True; (True,0) -> False; (False,1) -> False; (True,1) -> False; ... , \x y -> case (x,y) of (False,1) -> False; _ -> True ] , [ \x y -> case (x,y) of (True,0) -> True; (True,1) -> True; _ -> False , \x y -> case (x,y) of (True,-1) -> True; _ -> False , \x y -> case (x,y) of (False,_) -> False; (_,0) -> False; (_,1) -> False; _ -> True , \x y -> case (x,y) of (False,0) -> False; (True,0) -> True; (False,1) -> False; (True,1) -> True; ... , \x y -> case (x,y) of (False,_) -> True; (_,0) -> True; (_,1) -> True; _ -> False , \x y -> case (x,y) of (False,0) -> True; (True,0) -> False; (False,1) -> True; (True,1) -> False; ... , \x y -> case (x,y) of (True,0) -> False; (True,1) -> False; _ -> True , \x y -> case (x,y) of (True,-1) -> False; _ -> True , \x y -> case (x,y) of (False,0) -> True; (True,1) -> True; _ -> False , \x y -> case (x,y) of (_,0) -> True; (False,_) -> False; (_,1) -> False; _ -> True , \x y -> case (x,y) of (_,0) -> False; (False,_) -> True; (_,1) -> True; _ -> False , \x y -> case (x,y) of (False,0) -> False; (True,1) -> False; _ -> True , \x y -> case (x,y) of (True,0) -> True; (False,1) -> True; _ -> False , \x y -> case (x,y) of (_,0) -> False; (_,1) -> True; (False,_) -> False; _ -> True , \x y -> case (x,y) of (_,0) -> True; (_,1) -> False; (False,_) -> True; _ -> False , \x y -> case (x,y) of (True,0) -> False; (False,1) -> False; _ -> True , \x y -> case (x,y) of (False,0) -> True; (False,1) -> True; _ -> False , \x y -> case (x,y) of (_,0) -> True; (_,1) -> True; (False,_) -> False; _ -> True , \x y -> case (x,y) of (False,-1) -> True; _ -> False , \x y -> case (x,y) of (False,0) -> False; (True,0) -> True; (False,1) -> False; (True,1) -> True; ... , \x y -> case (x,y) of (_,0) -> False; (_,1) -> False; (False,_) -> True; _ -> False , \x y -> case (x,y) of (False,0) -> False; (False,1) -> False; _ -> True , \x y -> case (x,y) of (False,0) -> True; (True,0) -> False; (False,1) -> True; (True,1) -> False; ... , \x y -> case (x,y) of (False,-1) -> False; _ -> True ] , [ \x y -> case (x,y) of (True,0) -> True; (True,-1) -> True; _ -> False , \x y -> case (x,y) of (True,2) -> True; _ -> False , \x y -> case (x,y) of (False,0) -> False; (True,0) -> False; (False,1) -> False; (True,1) -> True; ... , \x y -> case (x,y) of (False,0) -> False; (True,0) -> True; (False,1) -> False; (True,1) -> True; ... , \x y -> case (x,y) of (False,0) -> True; (True,0) -> True; (False,1) -> True; (True,1) -> False; ... , \x y -> case (x,y) of (False,0) -> True; (True,0) -> False; (False,1) -> True; (True,1) -> False; ... , \x y -> case (x,y) of (True,0) -> False; (True,-1) -> False; _ -> True , \x y -> case (x,y) of (True,2) -> False; _ -> True , \x y -> case (x,y) of (_,0) -> True; (True,1) -> True; _ -> False , \x y -> case (x,y) of (False,0) -> True; (True,-1) -> True; _ -> False , \x y -> case (x,y) of (False,0) -> True; (True,0) -> False; (False,1) -> False; (True,1) -> False; ... , \x y -> case (x,y) of (False,0) -> True; (True,0) -> True; (False,1) -> False; (True,1) -> True; ... , \x y -> case (x,y) of (False,0) -> False; (True,0) -> True; (False,1) -> True; (True,1) -> True; ... , \x y -> case (x,y) of (False,0) -> False; (True,0) -> False; (False,1) -> True; (True,1) -> False; ... , \x y -> case (x,y) of (_,0) -> False; (True,1) -> False; _ -> True , \x y -> case (x,y) of (False,0) -> False; (True,-1) -> False; _ -> True , \_ y -> case y of 1 -> True; _ -> False , \x y -> case (x,y) of (False,0) -> False; (True,0) -> True; (False,1) -> True; (True,1) -> False; ... , \x y -> case (x,y) of (False,0) -> True; (True,0) -> False; (False,1) -> False; (True,1) -> True; ... , \_ y -> case y of 1 -> False; _ -> True , \x y -> case (x,y) of (_,0) -> True; (False,1) -> True; _ -> False , \x y -> case (x,y) of (False,0) -> True; (True,0) -> False; (False,1) -> True; (True,1) -> True; ... , \x y -> case (x,y) of (True,0) -> True; (False,-1) -> True; _ -> False , \x y -> case (x,y) of (False,0) -> False; (True,0) -> False; (False,1) -> False; (True,1) -> True; ... , \x y -> case (x,y) of (False,0) -> False; (True,0) -> True; (False,1) -> False; (True,1) -> False; ... , \x y -> case (x,y) of (_,0) -> False; (False,1) -> False; _ -> True , \x y -> case (x,y) of (False,0) -> True; (True,0) -> True; (False,1) -> True; (True,1) -> False; ... , \x y -> case (x,y) of (True,0) -> False; (False,-1) -> False; _ -> True , \x y -> case (x,y) of (False,0) -> True; (False,-1) -> True; _ -> False , \x y -> case (x,y) of (False,0) -> True; (True,0) -> True; (False,1) -> False; (True,1) -> True; ... , \x y -> case (x,y) of (False,2) -> True; _ -> False , \x y -> case (x,y) of (False,0) -> False; (True,0) -> True; (False,1) -> False; (True,1) -> True; ... , \x y -> case (x,y) of (False,0) -> False; (True,0) -> False; (False,1) -> True; (True,1) -> False; ... , \x y -> case (x,y) of (False,0) -> False; (False,-1) -> False; _ -> True , \x y -> case (x,y) of (False,0) -> True; (True,0) -> False; (False,1) -> True; (True,1) -> False; ... , \x y -> case (x,y) of (False,2) -> False; _ -> True ] , [ \x y -> case (x,y) of (True,0) -> True; (True,2) -> True; _ -> False , \x y -> case (x,y) of (True,1) -> True; (True,-1) -> True; _ -> False , \x y -> case (x,y) of (True,-2) -> True; _ -> False , \x y -> case (x,y) of (False,0) -> False; (True,0) -> False; (False,1) -> False; (True,1) -> True; ... , \x y -> case (x,y) of (False,0) -> False; (True,0) -> True; (False,1) -> False; (True,1) -> False; ... , \x y -> case (x,y) of (False,0) -> False; (True,0) -> True; (False,1) -> False; (True,1) -> True; ... , \x y -> case (x,y) of (False,0) -> True; (True,0) -> True; (False,1) -> True; (True,1) -> False; ... , \x y -> case (x,y) of (False,0) -> True; (True,0) -> False; (False,1) -> True; (True,1) -> True; ... , \x y -> case (x,y) of (False,0) -> True; (True,0) -> False; (False,1) -> True; (True,1) -> False; ... , \x y -> case (x,y) of (True,0) -> False; (True,2) -> False; _ -> True , \x y -> case (x,y) of (True,1) -> False; (True,-1) -> False; _ -> True , \x y -> case (x,y) of (True,-2) -> False; _ -> True , \x y -> case (x,y) of (_,0) -> True; (True,-1) -> True; _ -> False , \x y -> case (x,y) of (False,0) -> True; (True,2) -> True; _ -> False , \x y -> case (x,y) of (False,0) -> True; (True,0) -> False; (False,1) -> False; (True,1) -> True; ... , \x y -> case (x,y) of (False,0) -> True; (True,0) -> True; (False,1) -> False; (True,1) -> True; ... , \x y -> case (x,y) of (False,0) -> False; (True,0) -> True; (False,1) -> True; (True,1) -> False; ... , \x y -> case (x,y) of (False,0) -> False; (True,0) -> False; (False,1) -> True; (True,1) -> False; ... , \x y -> case (x,y) of (_,0) -> False; (True,-1) -> False; _ -> True , \x y -> case (x,y) of (False,0) -> False; (True,2) -> False; _ -> True , \x y -> case (x,y) of (True,0) -> True; (_,1) -> True; _ -> False , \x y -> case (x,y) of (False,1) -> True; (True,-1) -> True; _ -> False , \x y -> case (x,y) of (False,0) -> False; (True,0) -> False; (False,1) -> True; (True,1) -> False; ... , \x y -> case (x,y) of (False,0) -> False; (True,0) -> True; (False,1) -> True; (True,1) -> True; ... , \x y -> case (x,y) of (False,0) -> True; (True,0) -> True; (False,1) -> False; (True,1) -> True; ... , \x y -> case (x,y) of (False,0) -> True; (True,0) -> False; (False,1) -> False; (True,1) -> False; ... , \x y -> case (x,y) of (True,0) -> False; (_,1) -> False; _ -> True , \x y -> case (x,y) of (False,1) -> False; (True,-1) -> False; _ -> True , \x y -> case (x,y) of (False,0) -> True; (_,1) -> True; _ -> False , \x y -> case (x,y) of (False,0) -> True; (True,0) -> True; (False,1) -> True; (True,1) -> False; ... , \x y -> case (x,y) of (True,1) -> True; (False,-1) -> True; _ -> False , \x y -> case (x,y) of (False,0) -> False; (True,0) -> True; (False,1) -> False; (True,1) -> False; ... , \x y -> case (x,y) of (False,0) -> False; (True,0) -> False; (False,1) -> False; (True,1) -> True; ... , \x y -> case (x,y) of (False,0) -> False; (_,1) -> False; _ -> True , \x y -> case (x,y) of (False,0) -> True; (True,0) -> False; (False,1) -> True; (True,1) -> True; ... , \x y -> case (x,y) of (True,1) -> False; (False,-1) -> False; _ -> True , \x y -> case (x,y) of (_,0) -> True; (False,-1) -> True; _ -> False , \x y -> case (x,y) of (False,0) -> True; (True,0) -> False; (False,1) -> False; (True,1) -> True; ... , \x y -> case (x,y) of (True,0) -> True; (False,2) -> True; _ -> False , \x y -> case (x,y) of (False,0) -> False; (True,0) -> False; (False,1) -> False; (True,1) -> True; ... , \x y -> case (x,y) of (False,0) -> False; (True,0) -> True; (False,1) -> True; (True,1) -> False; ... , \x y -> case (x,y) of (_,0) -> False; (False,-1) -> False; _ -> True , \x y -> case (x,y) of (False,0) -> True; (True,0) -> True; (False,1) -> True; (True,1) -> False; ... , \x y -> case (x,y) of (True,0) -> False; (False,2) -> False; _ -> True , \x y -> case (x,y) of (False,0) -> True; (False,2) -> True; _ -> False , \x y -> case (x,y) of (False,0) -> True; (True,0) -> True; (False,1) -> False; (True,1) -> True; ... , \x y -> case (x,y) of (False,1) -> True; (False,-1) -> True; _ -> False , \x y -> case (x,y) of (False,0) -> False; (True,0) -> True; (False,1) -> True; (True,1) -> True; ... , \x y -> case (x,y) of (False,-2) -> True; _ -> False , \x y -> case (x,y) of (False,0) -> False; (True,0) -> True; (False,1) -> False; (True,1) -> True; ... , \x y -> case (x,y) of (False,0) -> False; (True,0) -> False; (False,1) -> True; (True,1) -> False; ... , \x y -> case (x,y) of (False,0) -> False; (False,2) -> False; _ -> True , \x y -> case (x,y) of (False,0) -> True; (True,0) -> False; (False,1) -> False; (True,1) -> False; ... , \x y -> case (x,y) of (False,1) -> False; (False,-1) -> False; _ -> True , \x y -> case (x,y) of (False,0) -> True; (True,0) -> False; (False,1) -> True; (True,1) -> False; ... , \x y -> case (x,y) of (False,-2) -> False; _ -> True ] , ... ]