leancheck-0.7.0: tests/diff/tiers-Bools.out

tiers :: [[Bool]]  =
  [ [[]]
  , [ [False]
    , [True]
    ]
  , [ [False,False]
    , [False,True]
    , [True,False]
    , [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]
    ]
  , [ [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]
    ]
  , [ [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]
    ]
  , ...
  ]

map length (tiers :: [[ [Bool] ]])  =  [1,2,4,8,16,32,...]

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

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

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