map length (tiers :: [[ Nat3->Nat3 ]])  =  [1,3,6,7,6,3,1]

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

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

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

tiers :: [Nat3->Nat3]  =
  [ [\_ -> 0]
  , [ \x -> case x of
            2 -> 1
            _ -> 0
    , \x -> case x of
            1 -> 1
            _ -> 0
    , \x -> case x of
            0 -> 1
            _ -> 0
    ]
  , [ \x -> case x of
            2 -> 2
            _ -> 0
    , \x -> case x of
            0 -> 0
            _ -> 1
    , \x -> case x of
            1 -> 2
            _ -> 0
    , \x -> case x of
            1 -> 0
            _ -> 1
    , \x -> case x of
            2 -> 0
            _ -> 1
    , \x -> case x of
            0 -> 2
            _ -> 0
    ]
  , [ \x -> case x of
            0 -> 0
            1 -> 1
            2 -> 2
    , \x -> case x of
            0 -> 0
            1 -> 2
            2 -> 1
    , \x -> case x of
            0 -> 1
            1 -> 0
            2 -> 2
    , \_ -> 1
    , \x -> case x of
            0 -> 1
            1 -> 2
            2 -> 0
    , \x -> case x of
            0 -> 2
            1 -> 0
            2 -> 1
    , \x -> case x of
            0 -> 2
            1 -> 1
            2 -> 0
    ]
  , [ \x -> case x of
            0 -> 0
            _ -> 2
    , \x -> case x of
            2 -> 2
            _ -> 1
    , \x -> case x of
            1 -> 2
            _ -> 1
    , \x -> case x of
            1 -> 0
            _ -> 2
    , \x -> case x of
            0 -> 2
            _ -> 1
    , \x -> case x of
            2 -> 0
            _ -> 2
    ]
  , [ \x -> case x of
            0 -> 1
            _ -> 2
    , \x -> case x of
            1 -> 1
            _ -> 2
    , \x -> case x of
            2 -> 1
            _ -> 2
    ]
  , [\_ -> 2]
  ]
