map length (tiers :: [[ [Bool]->[Bool] ]])  =  [2,5,20,83,...]

length (list :: [ [Bool]->[Bool] ])  =  Infinity

allUnique (list :: [ [Bool]->[Bool] ])  =  False

ratioRepetitions (list :: [ [Bool]->[Bool] ])  =  43 % 110

tiers :: [[Bool]->[Bool]]  =
  [ [ \x -> case x of
              [] -> []
              [False] -> []
              [True] -> []
              [False,False] -> []
              [False,True] -> []
              [True,False] -> []
              [True,True] -> []
              [False,False,False] -> []
              ...
    , \x -> case x of
              [] -> []
              [False] -> []
              [True] -> []
              [False,False] -> []
              [False,True] -> []
              [True,False] -> []
              [True,True] -> []
              [False,False,False] -> []
              ...
    ]
  , [ \x -> case x of
              [] -> [False]
              [False] -> [False]
              [True] -> [False]
              [False,False] -> [False]
              [False,True] -> [False]
              [True,False] -> [False]
              [True,True] -> [False]
              [False,False,False] -> [False]
              ...
    , \x -> case x of
              [] -> [True]
              [False] -> [True]
              [True] -> [True]
              [False,False] -> [True]
              [False,True] -> [True]
              [True,False] -> [True]
              [True,True] -> [True]
              [False,False,False] -> [True]
              ...
    , \x -> case x of
              [] -> [False]
              [False] -> [False]
              [True] -> [False]
              [False,False] -> [False]
              [False,True] -> [False]
              [True,False] -> [False]
              [True,True] -> [False]
              [False,False,False] -> [False]
              ...
    , \x -> case x of
              [] -> [True]
              [False] -> [True]
              [True] -> [True]
              [False,False] -> [True]
              [False,True] -> [True]
              [True,False] -> [True]
              [True,True] -> [True]
              [False,False,False] -> [True]
              ...
    , \x -> case x of
              [] -> []
              [False] -> []
              [True] -> []
              [False,False] -> []
              [False,True] -> []
              [True,False] -> []
              [True,True] -> []
              [False,False,False] -> []
              ...
    ]
  , [ \x -> case x of
              [] -> [False]
              [False] -> []
              [True] -> []
              [False,False] -> []
              [False,True] -> []
              [True,False] -> []
              [True,True] -> []
              [False,False,False] -> []
              ...
    , \x -> case x of
              [] -> [True]
              [False] -> []
              [True] -> []
              [False,False] -> []
              [False,True] -> []
              [True,False] -> []
              [True,True] -> []
              [False,False,False] -> []
              ...
    , \x -> case x of
              [] -> []
              [False] -> [False]
              [True] -> [False]
              [False,False] -> [False]
              [False,True] -> [False]
              [True,False] -> [False]
              [True,True] -> [False]
              [False,False,False] -> [False]
              ...
    , \x -> case x of
              [] -> []
              [False] -> [True]
              [True] -> [True]
              [False,False] -> [True]
              [False,True] -> [True]
              [True,False] -> [True]
              [True,True] -> [True]
              [False,False,False] -> [True]
              ...
    , \x -> case x of
              [] -> [False,False]
              [False] -> [False,False]
              [True] -> [False,False]
              [False,False] -> [False,False]
              [False,True] -> [False,False]
              [True,False] -> [False,False]
              [True,True] -> [False,False]
              [False,False,False] -> [False,False]
              ...
    , \x -> case x of
              [] -> [False,True]
              [False] -> [False,True]
              [True] -> [False,True]
              [False,False] -> [False,True]
              [False,True] -> [False,True]
              [True,False] -> [False,True]
              [True,True] -> [False,True]
              [False,False,False] -> [False,True]
              ...
    , \x -> case x of
              [] -> [True,False]
              [False] -> [True,False]
              [True] -> [True,False]
              [False,False] -> [True,False]
              [False,True] -> [True,False]
              [True,False] -> [True,False]
              [True,True] -> [True,False]
              [False,False,False] -> [True,False]
              ...
    , \x -> case x of
              [] -> [True,True]
              [False] -> [True,True]
              [True] -> [True,True]
              [False,False] -> [True,True]
              [False,True] -> [True,True]
              [True,False] -> [True,True]
              [True,True] -> [True,True]
              [False,False,False] -> [True,True]
              ...
    , \x -> case x of
              [] -> [False,False]
              [False] -> [False,False]
              [True] -> [False,False]
              [False,False] -> [False,False]
              [False,True] -> [False,False]
              [True,False] -> [False,False]
              [True,True] -> [False,False]
              [False,False,False] -> [False,False]
              ...
    , \x -> case x of
              [] -> [False,True]
              [False] -> [False,True]
              [True] -> [False,True]
              [False,False] -> [False,True]
              [False,True] -> [False,True]
              [True,False] -> [False,True]
              [True,True] -> [False,True]
              [False,False,False] -> [False,True]
              ...
    , \x -> case x of
              [] -> [True,False]
              [False] -> [True,False]
              [True] -> [True,False]
              [False,False] -> [True,False]
              [False,True] -> [True,False]
              [True,False] -> [True,False]
              [True,True] -> [True,False]
              [False,False,False] -> [True,False]
              ...
    , \x -> case x of
              [] -> [True,True]
              [False] -> [True,True]
              [True] -> [True,True]
              [False,False] -> [True,True]
              [False,True] -> [True,True]
              [True,False] -> [True,True]
              [True,True] -> [True,True]
              [False,False,False] -> [True,True]
              ...
    , \x -> case x of
              [] -> []
              [False] -> [False]
              [True] -> []
              [False,False] -> [False]
              [False,True] -> [False]
              [True,False] -> []
              [True,True] -> []
              [False,False,False] -> [False]
              ...
    , \x -> case x of
              [] -> []
              [False] -> [True]
              [True] -> []
              [False,False] -> [True]
              [False,True] -> [True]
              [True,False] -> []
              [True,True] -> []
              [False,False,False] -> [True]
              ...
    , \x -> case x of
              [] -> []
              [False] -> []
              [True] -> []
              [False,False] -> []
              [False,True] -> []
              [True,False] -> []
              [True,True] -> []
              [False,False,False] -> []
              ...
    , \x -> case x of
              [] -> []
              [False] -> []
              [True] -> [False]
              [False,False] -> []
              [False,True] -> []
              [True,False] -> [False]
              [True,True] -> [False]
              [False,False,False] -> []
              ...
    , \x -> case x of
              [] -> []
              [False] -> []
              [True] -> [True]
              [False,False] -> []
              [False,True] -> []
              [True,False] -> [True]
              [True,True] -> [True]
              [False,False,False] -> []
              ...
    , \x -> case x of
              [] -> []
              [False] -> []
              [True] -> []
              [False,False] -> []
              [False,True] -> []
              [True,False] -> []
              [True,True] -> []
              [False,False,False] -> []
              ...
    , \x -> case x of
              [] -> [False]
              [False] -> []
              [True] -> []
              [False,False] -> []
              [False,True] -> []
              [True,False] -> []
              [True,True] -> []
              [False,False,False] -> []
              ...
    , \x -> case x of
              [] -> [True]
              [False] -> []
              [True] -> []
              [False,False] -> []
              [False,True] -> []
              [True,False] -> []
              [True,True] -> []
              [False,False,False] -> []
              ...
    ]
  , [ \x -> case x of
              [] -> [False,False]
              [False] -> []
              [True] -> []
              [False,False] -> []
              [False,True] -> []
              [True,False] -> []
              [True,True] -> []
              [False,False,False] -> []
              ...
    , \x -> case x of
              [] -> [False,True]
              [False] -> []
              [True] -> []
              [False,False] -> []
              [False,True] -> []
              [True,False] -> []
              [True,True] -> []
              [False,False,False] -> []
              ...
    , \x -> case x of
              [] -> [True,False]
              [False] -> []
              [True] -> []
              [False,False] -> []
              [False,True] -> []
              [True,False] -> []
              [True,True] -> []
              [False,False,False] -> []
              ...
    , \x -> case x of
              [] -> [True,True]
              [False] -> []
              [True] -> []
              [False,False] -> []
              [False,True] -> []
              [True,False] -> []
              [True,True] -> []
              [False,False,False] -> []
              ...
    , \x -> case x of
              [] -> []
              [False] -> [False]
              [True] -> []
              [False,False] -> []
              [False,True] -> []
              [True,False] -> []
              [True,True] -> []
              [False,False,False] -> []
              ...
    , \x -> case x of
              [] -> []
              [False] -> [True]
              [True] -> []
              [False,False] -> []
              [False,True] -> []
              [True,False] -> []
              [True,True] -> []
              [False,False,False] -> []
              ...
    , \x -> case x of
              [] -> []
              [False] -> []
              [True] -> [False]
              [False,False] -> []
              [False,True] -> []
              [True,False] -> []
              [True,True] -> []
              [False,False,False] -> []
              ...
    , \x -> case x of
              [] -> []
              [False] -> []
              [True] -> [True]
              [False,False] -> []
              [False,True] -> []
              [True,False] -> []
              [True,True] -> []
              [False,False,False] -> []
              ...
    , \x -> case x of
              [] -> [True]
              [False] -> [False]
              [True] -> [False]
              [False,False] -> [False]
              [False,True] -> [False]
              [True,False] -> [False]
              [True,True] -> [False]
              [False,False,False] -> [False]
              ...
    , \x -> case x of
              [] -> [False]
              [False] -> []
              [True] -> [False]
              [False,False] -> [False]
              [False,True] -> [False]
              [True,False] -> [False]
              [True,True] -> [False]
              [False,False,False] -> [False]
              ...
    , \x -> case x of
              [] -> [False]
              [False] -> [False]
              [True] -> []
              [False,False] -> [False]
              [False,True] -> [False]
              [True,False] -> [False]
              [True,True] -> [False]
              [False,False,False] -> [False]
              ...
    , \x -> case x of
              [] -> [False]
              [False] -> [True]
              [True] -> [True]
              [False,False] -> [True]
              [False,True] -> [True]
              [True,False] -> [True]
              [True,True] -> [True]
              [False,False,False] -> [True]
              ...
    , \x -> case x of
              [] -> [True]
              [False] -> []
              [True] -> [True]
              [False,False] -> [True]
              [False,True] -> [True]
              [True,False] -> [True]
              [True,True] -> [True]
              [False,False,False] -> [True]
              ...
    , \x -> case x of
              [] -> [True]
              [False] -> [True]
              [True] -> []
              [False,False] -> [True]
              [False,True] -> [True]
              [True,False] -> [True]
              [True,True] -> [True]
              [False,False,False] -> [True]
              ...
    , \x -> case x of
              [] -> []
              [False] -> [False,False]
              [True] -> [False,False]
              [False,False] -> [False,False]
              [False,True] -> [False,False]
              [True,False] -> [False,False]
              [True,True] -> [False,False]
              [False,False,False] -> [False,False]
              ...
    , \x -> case x of
              [] -> []
              [False] -> [False,True]
              [True] -> [False,True]
              [False,False] -> [False,True]
              [False,True] -> [False,True]
              [True,False] -> [False,True]
              [True,True] -> [False,True]
              [False,False,False] -> [False,True]
              ...
    , \x -> case x of
              [] -> []
              [False] -> [True,False]
              [True] -> [True,False]
              [False,False] -> [True,False]
              [False,True] -> [True,False]
              [True,False] -> [True,False]
              [True,True] -> [True,False]
              [False,False,False] -> [True,False]
              ...
    , \x -> case x of
              [] -> []
              [False] -> [True,True]
              [True] -> [True,True]
              [False,False] -> [True,True]
              [False,True] -> [True,True]
              [True,False] -> [True,True]
              [True,True] -> [True,True]
              [False,False,False] -> [True,True]
              ...
    , \x -> case x of
              [] -> [False,False,False]
              [False] -> [False,False,False]
              [True] -> [False,False,False]
              [False,False] -> [False,False,False]
              [False,True] -> [False,False,False]
              [True,False] -> [False,False,False]
              [True,True] -> [False,False,False]
              [False,False,False] -> [False,False,False]
              ...
    , \x -> case x of
              [] -> [False,False,True]
              [False] -> [False,False,True]
              [True] -> [False,False,True]
              [False,False] -> [False,False,True]
              [False,True] -> [False,False,True]
              [True,False] -> [False,False,True]
              [True,True] -> [False,False,True]
              [False,False,False] -> [False,False,True]
              ...
    , \x -> case x of
              [] -> [False,True,False]
              [False] -> [False,True,False]
              [True] -> [False,True,False]
              [False,False] -> [False,True,False]
              [False,True] -> [False,True,False]
              [True,False] -> [False,True,False]
              [True,True] -> [False,True,False]
              [False,False,False] -> [False,True,False]
              ...
    , \x -> case x of
              [] -> [False,True,True]
              [False] -> [False,True,True]
              [True] -> [False,True,True]
              [False,False] -> [False,True,True]
              [False,True] -> [False,True,True]
              [True,False] -> [False,True,True]
              [True,True] -> [False,True,True]
              [False,False,False] -> [False,True,True]
              ...
    , \x -> case x of
              [] -> [True,False,False]
              [False] -> [True,False,False]
              [True] -> [True,False,False]
              [False,False] -> [True,False,False]
              [False,True] -> [True,False,False]
              [True,False] -> [True,False,False]
              [True,True] -> [True,False,False]
              [False,False,False] -> [True,False,False]
              ...
    , \x -> case x of
              [] -> [True,False,True]
              [False] -> [True,False,True]
              [True] -> [True,False,True]
              [False,False] -> [True,False,True]
              [False,True] -> [True,False,True]
              [True,False] -> [True,False,True]
              [True,True] -> [True,False,True]
              [False,False,False] -> [True,False,True]
              ...
    , \x -> case x of
              [] -> [True,True,False]
              [False] -> [True,True,False]
              [True] -> [True,True,False]
              [False,False] -> [True,True,False]
              [False,True] -> [True,True,False]
              [True,False] -> [True,True,False]
              [True,True] -> [True,True,False]
              [False,False,False] -> [True,True,False]
              ...
    , \x -> case x of
              [] -> [True,True,True]
              [False] -> [True,True,True]
              [True] -> [True,True,True]
              [False,False] -> [True,True,True]
              [False,True] -> [True,True,True]
              [True,False] -> [True,True,True]
              [True,True] -> [True,True,True]
              [False,False,False] -> [True,True,True]
              ...
    , \x -> case x of
              [] -> [False,False,False]
              [False] -> [False,False,False]
              [True] -> [False,False,False]
              [False,False] -> [False,False,False]
              [False,True] -> [False,False,False]
              [True,False] -> [False,False,False]
              [True,True] -> [False,False,False]
              [False,False,False] -> [False,False,False]
              ...
    , \x -> case x of
              [] -> [False,False,True]
              [False] -> [False,False,True]
              [True] -> [False,False,True]
              [False,False] -> [False,False,True]
              [False,True] -> [False,False,True]
              [True,False] -> [False,False,True]
              [True,True] -> [False,False,True]
              [False,False,False] -> [False,False,True]
              ...
    , \x -> case x of
              [] -> [False,True,False]
              [False] -> [False,True,False]
              [True] -> [False,True,False]
              [False,False] -> [False,True,False]
              [False,True] -> [False,True,False]
              [True,False] -> [False,True,False]
              [True,True] -> [False,True,False]
              [False,False,False] -> [False,True,False]
              ...
    , \x -> case x of
              [] -> [False,True,True]
              [False] -> [False,True,True]
              [True] -> [False,True,True]
              [False,False] -> [False,True,True]
              [False,True] -> [False,True,True]
              [True,False] -> [False,True,True]
              [True,True] -> [False,True,True]
              [False,False,False] -> [False,True,True]
              ...
    , \x -> case x of
              [] -> [True,False,False]
              [False] -> [True,False,False]
              [True] -> [True,False,False]
              [False,False] -> [True,False,False]
              [False,True] -> [True,False,False]
              [True,False] -> [True,False,False]
              [True,True] -> [True,False,False]
              [False,False,False] -> [True,False,False]
              ...
    , \x -> case x of
              [] -> [True,False,True]
              [False] -> [True,False,True]
              [True] -> [True,False,True]
              [False,False] -> [True,False,True]
              [False,True] -> [True,False,True]
              [True,False] -> [True,False,True]
              [True,True] -> [True,False,True]
              [False,False,False] -> [True,False,True]
              ...
    , \x -> case x of
              [] -> [True,True,False]
              [False] -> [True,True,False]
              [True] -> [True,True,False]
              [False,False] -> [True,True,False]
              [False,True] -> [True,True,False]
              [True,False] -> [True,True,False]
              [True,True] -> [True,True,False]
              [False,False,False] -> [True,True,False]
              ...
    , \x -> case x of
              [] -> [True,True,True]
              [False] -> [True,True,True]
              [True] -> [True,True,True]
              [False,False] -> [True,True,True]
              [False,True] -> [True,True,True]
              [True,False] -> [True,True,True]
              [True,True] -> [True,True,True]
              [False,False,False] -> [True,True,True]
              ...
    , \x -> case x of
              [] -> []
              [False] -> [False,False]
              [True] -> []
              [False,False] -> [False,False]
              [False,True] -> [False,False]
              [True,False] -> []
              [True,True] -> []
              [False,False,False] -> [False,False]
              ...
    , \x -> case x of
              [] -> []
              [False] -> [False,True]
              [True] -> []
              [False,False] -> [False,True]
              [False,True] -> [False,True]
              [True,False] -> []
              [True,True] -> []
              [False,False,False] -> [False,True]
              ...
    , \x -> case x of
              [] -> []
              [False] -> [True,False]
              [True] -> []
              [False,False] -> [True,False]
              [False,True] -> [True,False]
              [True,False] -> []
              [True,True] -> []
              [False,False,False] -> [True,False]
              ...
    , \x -> case x of
              [] -> []
              [False] -> [True,True]
              [True] -> []
              [False,False] -> [True,True]
              [False,True] -> [True,True]
              [True,False] -> []
              [True,True] -> []
              [False,False,False] -> [True,True]
              ...
    , \x -> case x of
              [] -> []
              [False] -> []
              [True] -> []
              [False,False] -> [False]
              [False,True] -> []
              [True,False] -> []
              [True,True] -> []
              [False,False,False] -> [False]
              ...
    , \x -> case x of
              [] -> []
              [False] -> []
              [True] -> []
              [False,False] -> [True]
              [False,True] -> []
              [True,False] -> []
              [True,True] -> []
              [False,False,False] -> [True]
              ...
    , \x -> case x of
              [] -> []
              [False] -> []
              [True] -> []
              [False,False] -> []
              [False,True] -> []
              [True,False] -> []
              [True,True] -> []
              [False,False,False] -> []
              ...
    , \x -> case x of
              [] -> []
              [False] -> []
              [True] -> []
              [False,False] -> []
              [False,True] -> [False]
              [True,False] -> []
              [True,True] -> []
              [False,False,False] -> []
              ...
    , \x -> case x of
              [] -> []
              [False] -> []
              [True] -> []
              [False,False] -> []
              [False,True] -> [True]
              [True,False] -> []
              [True,True] -> []
              [False,False,False] -> []
              ...
    , \x -> case x of
              [] -> []
              [False] -> []
              [True] -> []
              [False,False] -> []
              [False,True] -> []
              [True,False] -> []
              [True,True] -> []
              [False,False,False] -> []
              ...
    , \x -> case x of
              [] -> []
              [False] -> [False]
              [True] -> []
              [False,False] -> []
              [False,True] -> []
              [True,False] -> []
              [True,True] -> []
              [False,False,False] -> []
              ...
    , \x -> case x of
              [] -> []
              [False] -> [True]
              [True] -> []
              [False,False] -> []
              [False,True] -> []
              [True,False] -> []
              [True,True] -> []
              [False,False,False] -> []
              ...
    , \x -> case x of
              [] -> []
              [False] -> [False]
              [True] -> [False]
              [False,False] -> [False]
              [False,True] -> [False]
              [True,False] -> [False]
              [True,True] -> [False]
              [False,False,False] -> [False]
              ...
    , \x -> case x of
              [] -> []
              [False] -> [True]
              [True] -> [False]
              [False,False] -> [True]
              [False,True] -> [True]
              [True,False] -> [False]
              [True,True] -> [False]
              [False,False,False] -> [True]
              ...
    , \x -> case x of
              [] -> []
              [False] -> []
              [True] -> [False]
              [False,False] -> []
              [False,True] -> []
              [True,False] -> [False]
              [True,True] -> [False]
              [False,False,False] -> []
              ...
    , \x -> case x of
              [] -> []
              [False] -> [False]
              [True] -> [True]
              [False,False] -> [False]
              [False,True] -> [False]
              [True,False] -> [True]
              [True,True] -> [True]
              [False,False,False] -> [False]
              ...
    , \x -> case x of
              [] -> []
              [False] -> [True]
              [True] -> [True]
              [False,False] -> [True]
              [False,True] -> [True]
              [True,False] -> [True]
              [True,True] -> [True]
              [False,False,False] -> [True]
              ...
    , \x -> case x of
              [] -> []
              [False] -> []
              [True] -> [True]
              [False,False] -> []
              [False,True] -> []
              [True,False] -> [True]
              [True,True] -> [True]
              [False,False,False] -> []
              ...
    , \x -> case x of
              [] -> []
              [False] -> [False]
              [True] -> []
              [False,False] -> [False]
              [False,True] -> [False]
              [True,False] -> []
              [True,True] -> []
              [False,False,False] -> [False]
              ...
    , \x -> case x of
              [] -> []
              [False] -> [True]
              [True] -> []
              [False,False] -> [True]
              [False,True] -> [True]
              [True,False] -> []
              [True,True] -> []
              [False,False,False] -> [True]
              ...
    , \x -> case x of
              [] -> []
              [False] -> []
              [True] -> []
              [False,False] -> []
              [False,True] -> []
              [True,False] -> []
              [True,True] -> []
              [False,False,False] -> []
              ...
    , \x -> case x of
              [] -> []
              [False] -> []
              [True] -> [False,False]
              [False,False] -> []
              [False,True] -> []
              [True,False] -> [False,False]
              [True,True] -> [False,False]
              [False,False,False] -> []
              ...
    , \x -> case x of
              [] -> []
              [False] -> []
              [True] -> [False,True]
              [False,False] -> []
              [False,True] -> []
              [True,False] -> [False,True]
              [True,True] -> [False,True]
              [False,False,False] -> []
              ...
    , \x -> case x of
              [] -> []
              [False] -> []
              [True] -> [True,False]
              [False,False] -> []
              [False,True] -> []
              [True,False] -> [True,False]
              [True,True] -> [True,False]
              [False,False,False] -> []
              ...
    , \x -> case x of
              [] -> []
              [False] -> []
              [True] -> [True,True]
              [False,False] -> []
              [False,True] -> []
              [True,False] -> [True,True]
              [True,True] -> [True,True]
              [False,False,False] -> []
              ...
    , \x -> case x of
              [] -> []
              [False] -> []
              [True] -> []
              [False,False] -> []
              [False,True] -> []
              [True,False] -> [False]
              [True,True] -> []
              [False,False,False] -> []
              ...
    , \x -> case x of
              [] -> []
              [False] -> []
              [True] -> []
              [False,False] -> []
              [False,True] -> []
              [True,False] -> [True]
              [True,True] -> []
              [False,False,False] -> []
              ...
    , \x -> case x of
              [] -> []
              [False] -> []
              [True] -> []
              [False,False] -> []
              [False,True] -> []
              [True,False] -> []
              [True,True] -> []
              [False,False,False] -> []
              ...
    , \x -> case x of
              [] -> []
              [False] -> []
              [True] -> []
              [False,False] -> []
              [False,True] -> []
              [True,False] -> []
              [True,True] -> [False]
              [False,False,False] -> []
              ...
    , \x -> case x of
              [] -> []
              [False] -> []
              [True] -> []
              [False,False] -> []
              [False,True] -> []
              [True,False] -> []
              [True,True] -> [True]
              [False,False,False] -> []
              ...
    , \x -> case x of
              [] -> []
              [False] -> []
              [True] -> []
              [False,False] -> []
              [False,True] -> []
              [True,False] -> []
              [True,True] -> []
              [False,False,False] -> []
              ...
    , \x -> case x of
              [] -> []
              [False] -> []
              [True] -> [False]
              [False,False] -> []
              [False,True] -> []
              [True,False] -> []
              [True,True] -> []
              [False,False,False] -> []
              ...
    , \x -> case x of
              [] -> []
              [False] -> []
              [True] -> [True]
              [False,False] -> []
              [False,True] -> []
              [True,False] -> []
              [True,True] -> []
              [False,False,False] -> []
              ...
    , \x -> case x of
              [] -> [False]
              [False] -> [False]
              [True] -> []
              [False,False] -> [False]
              [False,True] -> [False]
              [True,False] -> []
              [True,True] -> []
              [False,False,False] -> [False]
              ...
    , \x -> case x of
              [] -> [False]
              [False] -> [True]
              [True] -> []
              [False,False] -> [True]
              [False,True] -> [True]
              [True,False] -> []
              [True,True] -> []
              [False,False,False] -> [True]
              ...
    , \x -> case x of
              [] -> [False]
              [False] -> []
              [True] -> []
              [False,False] -> []
              [False,True] -> []
              [True,False] -> []
              [True,True] -> []
              [False,False,False] -> []
              ...
    , \x -> case x of
              [] -> [False]
              [False] -> []
              [True] -> [False]
              [False,False] -> []
              [False,True] -> []
              [True,False] -> [False]
              [True,True] -> [False]
              [False,False,False] -> []
              ...
    , \x -> case x of
              [] -> [False]
              [False] -> []
              [True] -> [True]
              [False,False] -> []
              [False,True] -> []
              [True,False] -> [True]
              [True,True] -> [True]
              [False,False,False] -> []
              ...
    , \x -> case x of
              [] -> [False]
              [False] -> []
              [True] -> []
              [False,False] -> []
              [False,True] -> []
              [True,False] -> []
              [True,True] -> []
              [False,False,False] -> []
              ...
    , \x -> case x of
              [] -> [True]
              [False] -> [False]
              [True] -> []
              [False,False] -> [False]
              [False,True] -> [False]
              [True,False] -> []
              [True,True] -> []
              [False,False,False] -> [False]
              ...
    , \x -> case x of
              [] -> [True]
              [False] -> [True]
              [True] -> []
              [False,False] -> [True]
              [False,True] -> [True]
              [True,False] -> []
              [True,True] -> []
              [False,False,False] -> [True]
              ...
    , \x -> case x of
              [] -> [True]
              [False] -> []
              [True] -> []
              [False,False] -> []
              [False,True] -> []
              [True,False] -> []
              [True,True] -> []
              [False,False,False] -> []
              ...
    , \x -> case x of
              [] -> [True]
              [False] -> []
              [True] -> [False]
              [False,False] -> []
              [False,True] -> []
              [True,False] -> [False]
              [True,True] -> [False]
              [False,False,False] -> []
              ...
    , \x -> case x of
              [] -> [True]
              [False] -> []
              [True] -> [True]
              [False,False] -> []
              [False,True] -> []
              [True,False] -> [True]
              [True,True] -> [True]
              [False,False,False] -> []
              ...
    , \x -> case x of
              [] -> [True]
              [False] -> []
              [True] -> []
              [False,False] -> []
              [False,True] -> []
              [True,False] -> []
              [True,True] -> []
              [False,False,False] -> []
              ...
    , \x -> case x of
              [] -> [False,False]
              [False] -> []
              [True] -> []
              [False,False] -> []
              [False,True] -> []
              [True,False] -> []
              [True,True] -> []
              [False,False,False] -> []
              ...
    , \x -> case x of
              [] -> [False,True]
              [False] -> []
              [True] -> []
              [False,False] -> []
              [False,True] -> []
              [True,False] -> []
              [True,True] -> []
              [False,False,False] -> []
              ...
    , \x -> case x of
              [] -> [True,False]
              [False] -> []
              [True] -> []
              [False,False] -> []
              [False,True] -> []
              [True,False] -> []
              [True,True] -> []
              [False,False,False] -> []
              ...
    , \x -> case x of
              [] -> [True,True]
              [False] -> []
              [True] -> []
              [False,False] -> []
              [False,True] -> []
              [True,False] -> []
              [True,True] -> []
              [False,False,False] -> []
              ...
    ]
  , ...
  ]