map length (tiers :: [[ Nat->() ]])  =  [2,1,2,5,14,42,...]

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

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

ratioRepetitions (list :: [ Nat->() ])  =  65 % 66

tiers :: [Nat->()]  =
  [ [ \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    ]
  , [ \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    ]
  , [ \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    ]
  , [ \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    ]
  , [ \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    ]
  , [ \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    , \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    ]
  , ...
  ]