leancheck-0.8.0: test/diff/tiers-4cases-Bools-Bools.out

map length (tiers :: [[ [Bool]->[Bool] ]])  =  [1,2,8,26,88,278,...]

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

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

ratioRepetitions (list :: [ [Bool]->[Bool] ])  =  0 % 1

tiers :: [[Bool]->[Bool]]  =
  [ [\_ -> []]
  , [ \_ -> [False]
    , \_ -> [True]
    ]
  , [ \x -> case x of [] -> [False]; _ -> []
    , \x -> case x of [] -> [True]; _ -> []
    , \x -> case x of [] -> []; _ -> [False]
    , \x -> case x of [] -> []; _ -> [True]
    , \_ -> [False,False]
    , \_ -> [False,True]
    , \_ -> [True,False]
    , \_ -> [True,True]
    ]
  , [ \x -> case x of [] -> [False,False]; _ -> []
    , \x -> case x of [] -> [False,True]; _ -> []
    , \x -> case x of [] -> [True,False]; _ -> []
    , \x -> case x of [] -> [True,True]; _ -> []
    , \x -> case x of [False] -> [False]; _ -> []
    , \x -> case x of [False] -> [True]; _ -> []
    , \x -> case x of [True] -> [False]; _ -> []
    , \x -> case x of [True] -> [True]; _ -> []
    , \x -> case x of [] -> [True]; _ -> [False]
    , \x -> case x of [False] -> []; _ -> [False]
    , \x -> case x of [True] -> []; _ -> [False]
    , \x -> case x of [] -> [False]; _ -> [True]
    , \x -> case x of [False] -> []; _ -> [True]
    , \x -> case x of [True] -> []; _ -> [True]
    , \x -> case x of [] -> []; _ -> [False,False]
    , \x -> case x of [] -> []; _ -> [False,True]
    , \x -> case x of [] -> []; _ -> [True,False]
    , \x -> case x of [] -> []; _ -> [True,True]
    , \_ -> [False,False,False]
    , \_ -> [False,False,True]
    , \_ -> [False,True,False]
    , \_ -> [False,True,True]
    , \_ -> [True,False,False]
    , \_ -> [True,False,True]
    , \_ -> [True,True,False]
    , \_ -> [True,True,True]
    ]
  , [ \x -> case x of [] -> [False,False,False]; _ -> []
    , \x -> case x of [] -> [False,False,True]; _ -> []
    , \x -> case x of [] -> [False,True,False]; _ -> []
    , \x -> case x of [] -> [False,True,True]; _ -> []
    , \x -> case x of [] -> [True,False,False]; _ -> []
    , \x -> case x of [] -> [True,False,True]; _ -> []
    , \x -> case x of [] -> [True,True,False]; _ -> []
    , \x -> case x of [] -> [True,True,True]; _ -> []
    , \x -> case x of [False] -> [False,False]; _ -> []
    , \x -> case x of [False] -> [False,True]; _ -> []
    , \x -> case x of [False] -> [True,False]; _ -> []
    , \x -> case x of [False] -> [True,True]; _ -> []
    , \x -> case x of [True] -> [False,False]; _ -> []
    , \x -> case x of [True] -> [False,True]; _ -> []
    , \x -> case x of [True] -> [True,False]; _ -> []
    , \x -> case x of [True] -> [True,True]; _ -> []
    , \x -> case x of [False,False] -> [False]; _ -> []
    , \x -> case x of [False,False] -> [True]; _ -> []
    , \x -> case x of [False,True] -> [False]; _ -> []
    , \x -> case x of [False,True] -> [True]; _ -> []
    , \x -> case x of [True,False] -> [False]; _ -> []
    , \x -> case x of [True,False] -> [True]; _ -> []
    , \x -> case x of [True,True] -> [False]; _ -> []
    , \x -> case x of [True,True] -> [True]; _ -> []
    , \x -> case x of [] -> [False,False]; _ -> [False]
    , \x -> case x of [] -> [False,True]; _ -> [False]
    , \x -> case x of [] -> [True,False]; _ -> [False]
    , \x -> case x of [] -> [True,True]; _ -> [False]
    , \x -> case x of [False] -> [True]; _ -> [False]
    , \x -> case x of [True] -> [True]; _ -> [False]
    , \x -> case x of [] -> []; [False] -> []; _ -> [False]
    , \x -> case x of [] -> []; [True] -> []; _ -> [False]
    , \x -> case x of [False,False] -> []; _ -> [False]
    , \x -> case x of [False,True] -> []; _ -> [False]
    , \x -> case x of [True,False] -> []; _ -> [False]
    , \x -> case x of [True,True] -> []; _ -> [False]
    , \x -> case x of [] -> [False,False]; _ -> [True]
    , \x -> case x of [] -> [False,True]; _ -> [True]
    , \x -> case x of [] -> [True,False]; _ -> [True]
    , \x -> case x of [] -> [True,True]; _ -> [True]
    , \x -> case x of [False] -> [False]; _ -> [True]
    , \x -> case x of [True] -> [False]; _ -> [True]
    , \x -> case x of [] -> []; [False] -> []; _ -> [True]
    , \x -> case x of [] -> []; [True] -> []; _ -> [True]
    , \x -> case x of [False,False] -> []; _ -> [True]
    , \x -> case x of [False,True] -> []; _ -> [True]
    , \x -> case x of [True,False] -> []; _ -> [True]
    , \x -> case x of [True,True] -> []; _ -> [True]
    , \x -> case x of [] -> [False]; _ -> [False,False]
    , \x -> case x of [] -> [True]; _ -> [False,False]
    , \x -> case x of [False] -> []; _ -> [False,False]
    , \x -> case x of [True] -> []; _ -> [False,False]
    , \x -> case x of [] -> [False]; _ -> [False,True]
    , \x -> case x of [] -> [True]; _ -> [False,True]
    , \x -> case x of [False] -> []; _ -> [False,True]
    , \x -> case x of [True] -> []; _ -> [False,True]
    , \x -> case x of [] -> [False]; _ -> [True,False]
    , \x -> case x of [] -> [True]; _ -> [True,False]
    , \x -> case x of [False] -> []; _ -> [True,False]
    , \x -> case x of [True] -> []; _ -> [True,False]
    , \x -> case x of [] -> [False]; _ -> [True,True]
    , \x -> case x of [] -> [True]; _ -> [True,True]
    , \x -> case x of [False] -> []; _ -> [True,True]
    , \x -> case x of [True] -> []; _ -> [True,True]
    , \x -> case x of [] -> []; _ -> [False,False,False]
    , \x -> case x of [] -> []; _ -> [False,False,True]
    , \x -> case x of [] -> []; _ -> [False,True,False]
    , \x -> case x of [] -> []; _ -> [False,True,True]
    , \x -> case x of [] -> []; _ -> [True,False,False]
    , \x -> case x of [] -> []; _ -> [True,False,True]
    , \x -> case x of [] -> []; _ -> [True,True,False]
    , \x -> case x of [] -> []; _ -> [True,True,True]
    , \_ -> [False,False,False,False]
    , \_ -> [False,False,False,True]
    , \_ -> [False,False,True,False]
    , \_ -> [False,False,True,True]
    , \_ -> [False,True,False,False]
    , \_ -> [False,True,False,True]
    , \_ -> [False,True,True,False]
    , \_ -> [False,True,True,True]
    , \_ -> [True,False,False,False]
    , \_ -> [True,False,False,True]
    , \_ -> [True,False,True,False]
    , \_ -> [True,False,True,True]
    , \_ -> [True,True,False,False]
    , \_ -> [True,True,False,True]
    , \_ -> [True,True,True,False]
    , \_ -> [True,True,True,True]
    ]
  , [ \x -> case x of [] -> [False,False,False,False]; _ -> []
    , \x -> case x of [] -> [False,False,False,True]; _ -> []
    , \x -> case x of [] -> [False,False,True,False]; _ -> []
    , \x -> case x of [] -> [False,False,True,True]; _ -> []
    , \x -> case x of [] -> [False,True,False,False]; _ -> []
    , \x -> case x of [] -> [False,True,False,True]; _ -> []
    , \x -> case x of [] -> [False,True,True,False]; _ -> []
    , \x -> case x of [] -> [False,True,True,True]; _ -> []
    , \x -> case x of [] -> [True,False,False,False]; _ -> []
    , \x -> case x of [] -> [True,False,False,True]; _ -> []
    , \x -> case x of [] -> [True,False,True,False]; _ -> []
    , \x -> case x of [] -> [True,False,True,True]; _ -> []
    , \x -> case x of [] -> [True,True,False,False]; _ -> []
    , \x -> case x of [] -> [True,True,False,True]; _ -> []
    , \x -> case x of [] -> [True,True,True,False]; _ -> []
    , \x -> case x of [] -> [True,True,True,True]; _ -> []
    , \x -> case x of [False] -> [False,False,False]; _ -> []
    , \x -> case x of [False] -> [False,False,True]; _ -> []
    , \x -> case x of [False] -> [False,True,False]; _ -> []
    , \x -> case x of [False] -> [False,True,True]; _ -> []
    , \x -> case x of [False] -> [True,False,False]; _ -> []
    , \x -> case x of [False] -> [True,False,True]; _ -> []
    , \x -> case x of [False] -> [True,True,False]; _ -> []
    , \x -> case x of [False] -> [True,True,True]; _ -> []
    , \x -> case x of [True] -> [False,False,False]; _ -> []
    , \x -> case x of [True] -> [False,False,True]; _ -> []
    , \x -> case x of [True] -> [False,True,False]; _ -> []
    , \x -> case x of [True] -> [False,True,True]; _ -> []
    , \x -> case x of [True] -> [True,False,False]; _ -> []
    , \x -> case x of [True] -> [True,False,True]; _ -> []
    , \x -> case x of [True] -> [True,True,False]; _ -> []
    , \x -> case x of [True] -> [True,True,True]; _ -> []
    , \x -> case x of [] -> [False]; [False] -> [False]; _ -> []
    , \x -> case x of [] -> [False]; [False] -> [True]; _ -> []
    , \x -> case x of [] -> [True]; [False] -> [False]; _ -> []
    , \x -> case x of [] -> [True]; [False] -> [True]; _ -> []
    , \x -> case x of [] -> [False]; [True] -> [False]; _ -> []
    , \x -> case x of [] -> [False]; [True] -> [True]; _ -> []
    , \x -> case x of [] -> [True]; [True] -> [False]; _ -> []
    , \x -> case x of [] -> [True]; [True] -> [True]; _ -> []
    , \x -> case x of [False,False] -> [False,False]; _ -> []
    , \x -> case x of [False,False] -> [False,True]; _ -> []
    , \x -> case x of [False,False] -> [True,False]; _ -> []
    , \x -> case x of [False,False] -> [True,True]; _ -> []
    , \x -> case x of [False,True] -> [False,False]; _ -> []
    , \x -> case x of [False,True] -> [False,True]; _ -> []
    , \x -> case x of [False,True] -> [True,False]; _ -> []
    , \x -> case x of [False,True] -> [True,True]; _ -> []
    , \x -> case x of [True,False] -> [False,False]; _ -> []
    , \x -> case x of [True,False] -> [False,True]; _ -> []
    , \x -> case x of [True,False] -> [True,False]; _ -> []
    , \x -> case x of [True,False] -> [True,True]; _ -> []
    , \x -> case x of [True,True] -> [False,False]; _ -> []
    , \x -> case x of [True,True] -> [False,True]; _ -> []
    , \x -> case x of [True,True] -> [True,False]; _ -> []
    , \x -> case x of [True,True] -> [True,True]; _ -> []
    , \x -> case x of [False,False,False] -> [False]; _ -> []
    , \x -> case x of [False,False,False] -> [True]; _ -> []
    , \x -> case x of [False,False,True] -> [False]; _ -> []
    , \x -> case x of [False,False,True] -> [True]; _ -> []
    , \x -> case x of [False,True,False] -> [False]; _ -> []
    , \x -> case x of [False,True,False] -> [True]; _ -> []
    , \x -> case x of [False,True,True] -> [False]; _ -> []
    , \x -> case x of [False,True,True] -> [True]; _ -> []
    , \x -> case x of [True,False,False] -> [False]; _ -> []
    , \x -> case x of [True,False,False] -> [True]; _ -> []
    , \x -> case x of [True,False,True] -> [False]; _ -> []
    , \x -> case x of [True,False,True] -> [True]; _ -> []
    , \x -> case x of [True,True,False] -> [False]; _ -> []
    , \x -> case x of [True,True,False] -> [True]; _ -> []
    , \x -> case x of [True,True,True] -> [False]; _ -> []
    , \x -> case x of [True,True,True] -> [True]; _ -> []
    , \x -> case x of [] -> [False,False,False]; _ -> [False]
    , \x -> case x of [] -> [False,False,True]; _ -> [False]
    , \x -> case x of [] -> [False,True,False]; _ -> [False]
    , \x -> case x of [] -> [False,True,True]; _ -> [False]
    , \x -> case x of [] -> [True,False,False]; _ -> [False]
    , \x -> case x of [] -> [True,False,True]; _ -> [False]
    , \x -> case x of [] -> [True,True,False]; _ -> [False]
    , \x -> case x of [] -> [True,True,True]; _ -> [False]
    , \x -> case x of [False] -> [False,False]; _ -> [False]
    , \x -> case x of [False] -> [False,True]; _ -> [False]
    , \x -> case x of [False] -> [True,False]; _ -> [False]
    , \x -> case x of [False] -> [True,True]; _ -> [False]
    , \x -> case x of [True] -> [False,False]; _ -> [False]
    , \x -> case x of [True] -> [False,True]; _ -> [False]
    , \x -> case x of [True] -> [True,False]; _ -> [False]
    , \x -> case x of [True] -> [True,True]; _ -> [False]
    , \x -> case x of [] -> []; [False] -> [True]; _ -> [False]
    , \x -> case x of [] -> [True]; [False] -> []; _ -> [False]
    , \x -> case x of [] -> []; [True] -> [True]; _ -> [False]
    , \x -> case x of [] -> [True]; [True] -> []; _ -> [False]
    , \x -> case x of [False,False] -> [True]; _ -> [False]
    , \x -> case x of [False,True] -> [True]; _ -> [False]
    , \x -> case x of [True,False] -> [True]; _ -> [False]
    , \x -> case x of [True,True] -> [True]; _ -> [False]
    , \x -> case x of [] -> []; [False,False] -> []; _ -> [False]
    , \x -> case x of [] -> []; [False,True] -> []; _ -> [False]
    , \x -> case x of [] -> []; [True,False] -> []; _ -> [False]
    , \x -> case x of [] -> []; [True,True] -> []; _ -> [False]
    , \x -> case x of [False] -> []; [True] -> []; _ -> [False]
    , \x -> case x of [False,False,False] -> []; _ -> [False]
    , \x -> case x of [False,False,True] -> []; _ -> [False]
    , \x -> case x of [False,True,False] -> []; _ -> [False]
    , \x -> case x of [False,True,True] -> []; _ -> [False]
    , \x -> case x of [True,False,False] -> []; _ -> [False]
    , \x -> case x of [True,False,True] -> []; _ -> [False]
    , \x -> case x of [True,True,False] -> []; _ -> [False]
    , \x -> case x of [True,True,True] -> []; _ -> [False]
    , \x -> case x of [] -> [False,False,False]; _ -> [True]
    , \x -> case x of [] -> [False,False,True]; _ -> [True]
    , \x -> case x of [] -> [False,True,False]; _ -> [True]
    , \x -> case x of [] -> [False,True,True]; _ -> [True]
    , \x -> case x of [] -> [True,False,False]; _ -> [True]
    , \x -> case x of [] -> [True,False,True]; _ -> [True]
    , \x -> case x of [] -> [True,True,False]; _ -> [True]
    , \x -> case x of [] -> [True,True,True]; _ -> [True]
    , \x -> case x of [False] -> [False,False]; _ -> [True]
    , \x -> case x of [False] -> [False,True]; _ -> [True]
    , \x -> case x of [False] -> [True,False]; _ -> [True]
    , \x -> case x of [False] -> [True,True]; _ -> [True]
    , \x -> case x of [True] -> [False,False]; _ -> [True]
    , \x -> case x of [True] -> [False,True]; _ -> [True]
    , \x -> case x of [True] -> [True,False]; _ -> [True]
    , \x -> case x of [True] -> [True,True]; _ -> [True]
    , \x -> case x of [] -> []; [False] -> [False]; _ -> [True]
    , \x -> case x of [] -> [False]; [False] -> []; _ -> [True]
    , \x -> case x of [] -> []; [True] -> [False]; _ -> [True]
    , \x -> case x of [] -> [False]; [True] -> []; _ -> [True]
    , \x -> case x of [False,False] -> [False]; _ -> [True]
    , \x -> case x of [False,True] -> [False]; _ -> [True]
    , \x -> case x of [True,False] -> [False]; _ -> [True]
    , \x -> case x of [True,True] -> [False]; _ -> [True]
    , \x -> case x of [] -> []; [False,False] -> []; _ -> [True]
    , \x -> case x of [] -> []; [False,True] -> []; _ -> [True]
    , \x -> case x of [] -> []; [True,False] -> []; _ -> [True]
    , \x -> case x of [] -> []; [True,True] -> []; _ -> [True]
    , \x -> case x of [False] -> []; [True] -> []; _ -> [True]
    , \x -> case x of [False,False,False] -> []; _ -> [True]
    , \x -> case x of [False,False,True] -> []; _ -> [True]
    , \x -> case x of [False,True,False] -> []; _ -> [True]
    , \x -> case x of [False,True,True] -> []; _ -> [True]
    , \x -> case x of [True,False,False] -> []; _ -> [True]
    , \x -> case x of [True,False,True] -> []; _ -> [True]
    , \x -> case x of [True,True,False] -> []; _ -> [True]
    , \x -> case x of [True,True,True] -> []; _ -> [True]
    , \x -> case x of [] -> [False,True]; _ -> [False,False]
    , \x -> case x of [] -> [True,False]; _ -> [False,False]
    , \x -> case x of [] -> [True,True]; _ -> [False,False]
    , \x -> case x of [False] -> [False]; _ -> [False,False]
    , \x -> case x of [False] -> [True]; _ -> [False,False]
    , \x -> case x of [True] -> [False]; _ -> [False,False]
    , \x -> case x of [True] -> [True]; _ -> [False,False]
    , \x -> case x of [] -> []; [False] -> []; _ -> [False,False]
    , \x -> case x of [] -> []; [True] -> []; _ -> [False,False]
    , \x -> case x of [False,False] -> []; _ -> [False,False]
    , \x -> case x of [False,True] -> []; _ -> [False,False]
    , \x -> case x of [True,False] -> []; _ -> [False,False]
    , \x -> case x of [True,True] -> []; _ -> [False,False]
    , \x -> case x of [] -> [False,False]; _ -> [False,True]
    , \x -> case x of [] -> [True,False]; _ -> [False,True]
    , \x -> case x of [] -> [True,True]; _ -> [False,True]
    , \x -> case x of [False] -> [False]; _ -> [False,True]
    , \x -> case x of [False] -> [True]; _ -> [False,True]
    , \x -> case x of [True] -> [False]; _ -> [False,True]
    , \x -> case x of [True] -> [True]; _ -> [False,True]
    , \x -> case x of [] -> []; [False] -> []; _ -> [False,True]
    , \x -> case x of [] -> []; [True] -> []; _ -> [False,True]
    , \x -> case x of [False,False] -> []; _ -> [False,True]
    , \x -> case x of [False,True] -> []; _ -> [False,True]
    , \x -> case x of [True,False] -> []; _ -> [False,True]
    , \x -> case x of [True,True] -> []; _ -> [False,True]
    , \x -> case x of [] -> [False,False]; _ -> [True,False]
    , \x -> case x of [] -> [False,True]; _ -> [True,False]
    , \x -> case x of [] -> [True,True]; _ -> [True,False]
    , \x -> case x of [False] -> [False]; _ -> [True,False]
    , \x -> case x of [False] -> [True]; _ -> [True,False]
    , \x -> case x of [True] -> [False]; _ -> [True,False]
    , \x -> case x of [True] -> [True]; _ -> [True,False]
    , \x -> case x of [] -> []; [False] -> []; _ -> [True,False]
    , \x -> case x of [] -> []; [True] -> []; _ -> [True,False]
    , \x -> case x of [False,False] -> []; _ -> [True,False]
    , \x -> case x of [False,True] -> []; _ -> [True,False]
    , \x -> case x of [True,False] -> []; _ -> [True,False]
    , \x -> case x of [True,True] -> []; _ -> [True,False]
    , \x -> case x of [] -> [False,False]; _ -> [True,True]
    , \x -> case x of [] -> [False,True]; _ -> [True,True]
    , \x -> case x of [] -> [True,False]; _ -> [True,True]
    , \x -> case x of [False] -> [False]; _ -> [True,True]
    , \x -> case x of [False] -> [True]; _ -> [True,True]
    , \x -> case x of [True] -> [False]; _ -> [True,True]
    , \x -> case x of [True] -> [True]; _ -> [True,True]
    , \x -> case x of [] -> []; [False] -> []; _ -> [True,True]
    , \x -> case x of [] -> []; [True] -> []; _ -> [True,True]
    , \x -> case x of [False,False] -> []; _ -> [True,True]
    , \x -> case x of [False,True] -> []; _ -> [True,True]
    , \x -> case x of [True,False] -> []; _ -> [True,True]
    , \x -> case x of [True,True] -> []; _ -> [True,True]
    , \x -> case x of [] -> [False]; _ -> [False,False,False]
    , \x -> case x of [] -> [True]; _ -> [False,False,False]
    , \x -> case x of [False] -> []; _ -> [False,False,False]
    , \x -> case x of [True] -> []; _ -> [False,False,False]
    , \x -> case x of [] -> [False]; _ -> [False,False,True]
    , \x -> case x of [] -> [True]; _ -> [False,False,True]
    , \x -> case x of [False] -> []; _ -> [False,False,True]
    , \x -> case x of [True] -> []; _ -> [False,False,True]
    , \x -> case x of [] -> [False]; _ -> [False,True,False]
    , \x -> case x of [] -> [True]; _ -> [False,True,False]
    , \x -> case x of [False] -> []; _ -> [False,True,False]
    , \x -> case x of [True] -> []; _ -> [False,True,False]
    , \x -> case x of [] -> [False]; _ -> [False,True,True]
    , \x -> case x of [] -> [True]; _ -> [False,True,True]
    , \x -> case x of [False] -> []; _ -> [False,True,True]
    , \x -> case x of [True] -> []; _ -> [False,True,True]
    , \x -> case x of [] -> [False]; _ -> [True,False,False]
    , \x -> case x of [] -> [True]; _ -> [True,False,False]
    , \x -> case x of [False] -> []; _ -> [True,False,False]
    , \x -> case x of [True] -> []; _ -> [True,False,False]
    , \x -> case x of [] -> [False]; _ -> [True,False,True]
    , \x -> case x of [] -> [True]; _ -> [True,False,True]
    , \x -> case x of [False] -> []; _ -> [True,False,True]
    , \x -> case x of [True] -> []; _ -> [True,False,True]
    , \x -> case x of [] -> [False]; _ -> [True,True,False]
    , \x -> case x of [] -> [True]; _ -> [True,True,False]
    , \x -> case x of [False] -> []; _ -> [True,True,False]
    , \x -> case x of [True] -> []; _ -> [True,True,False]
    , \x -> case x of [] -> [False]; _ -> [True,True,True]
    , \x -> case x of [] -> [True]; _ -> [True,True,True]
    , \x -> case x of [False] -> []; _ -> [True,True,True]
    , \x -> case x of [True] -> []; _ -> [True,True,True]
    , \x -> case x of [] -> []; _ -> [False,False,False,False]
    , \x -> case x of [] -> []; _ -> [False,False,False,True]
    , \x -> case x of [] -> []; _ -> [False,False,True,False]
    , \x -> case x of [] -> []; _ -> [False,False,True,True]
    , \x -> case x of [] -> []; _ -> [False,True,False,False]
    , \x -> case x of [] -> []; _ -> [False,True,False,True]
    , \x -> case x of [] -> []; _ -> [False,True,True,False]
    , \x -> case x of [] -> []; _ -> [False,True,True,True]
    , \x -> case x of [] -> []; _ -> [True,False,False,False]
    , \x -> case x of [] -> []; _ -> [True,False,False,True]
    , \x -> case x of [] -> []; _ -> [True,False,True,False]
    , \x -> case x of [] -> []; _ -> [True,False,True,True]
    , \x -> case x of [] -> []; _ -> [True,True,False,False]
    , \x -> case x of [] -> []; _ -> [True,True,False,True]
    , \x -> case x of [] -> []; _ -> [True,True,True,False]
    , \x -> case x of [] -> []; _ -> [True,True,True,True]
    , \_ -> [False,False,False,False,False]
    , \_ -> [False,False,False,False,True]
    , \_ -> [False,False,False,True,False]
    , \_ -> [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,True,False,False,False]
    , \_ -> [False,True,False,False,True]
    , \_ -> [False,True,False,True,False]
    , \_ -> [False,True,False,True,True]
    , \_ -> [False,True,True,False,False]
    , \_ -> [False,True,True,False,True]
    , \_ -> [False,True,True,True,False]
    , \_ -> [False,True,True,True,True]
    , \_ -> [True,False,False,False,False]
    , \_ -> [True,False,False,False,True]
    , \_ -> [True,False,False,True,False]
    , \_ -> [True,False,False,True,True]
    , \_ -> [True,False,True,False,False]
    , \_ -> [True,False,True,False,True]
    , \_ -> [True,False,True,True,False]
    , \_ -> [True,False,True,True,True]
    , \_ -> [True,True,False,False,False]
    , \_ -> [True,True,False,False,True]
    , \_ -> [True,True,False,True,False]
    , \_ -> [True,True,False,True,True]
    , \_ -> [True,True,True,False,False]
    , \_ -> [True,True,True,False,True]
    , \_ -> [True,True,True,True,False]
    , \_ -> [True,True,True,True,True]
    ]
  , ...
  ]