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

tiers :: [Bag Nat2]  =
  [ [Bag []]
  , [Bag [0]]
  , [ Bag [0,0]
    , Bag [1]
    ]
  , [ Bag [0,0,0]
    , Bag [0,1]
    ]
  , [ Bag [0,0,0,0]
    , Bag [0,0,1]
    , Bag [1,1]
    ]
  , [ Bag [0,0,0,0,0]
    , Bag [0,0,0,1]
    , Bag [0,1,1]
    ]
  , [ Bag [0,0,0,0,0,0]
    , Bag [0,0,0,0,1]
    , Bag [0,0,1,1]
    , Bag [1,1,1]
    ]
  , [ Bag [0,0,0,0,0,0,0]
    , Bag [0,0,0,0,0,1]
    , Bag [0,0,0,1,1]
    , Bag [0,1,1,1]
    ]
  , [ Bag [0,0,0,0,0,0,0,0]
    , Bag [0,0,0,0,0,0,1]
    , Bag [0,0,0,0,1,1]
    , Bag [0,0,1,1,1]
    , Bag [1,1,1,1]
    ]
  , [ Bag [0,0,0,0,0,0,0,0,0]
    , Bag [0,0,0,0,0,0,0,1]
    , Bag [0,0,0,0,0,1,1]
    , Bag [0,0,0,1,1,1]
    , Bag [0,1,1,1,1]
    ]
  , [ Bag [0,0,0,0,0,0,0,0,0,0]
    , Bag [0,0,0,0,0,0,0,0,1]
    , Bag [0,0,0,0,0,0,1,1]
    , Bag [0,0,0,0,1,1,1]
    , Bag [0,0,1,1,1,1]
    , Bag [1,1,1,1,1]
    ]
  , [ Bag [0,0,0,0,0,0,0,0,0,0,0]
    , Bag [0,0,0,0,0,0,0,0,0,1]
    , Bag [0,0,0,0,0,0,0,1,1]
    , Bag [0,0,0,0,0,1,1,1]
    , Bag [0,0,0,1,1,1,1]
    , Bag [0,1,1,1,1,1]
    ]
  , ...
  ]

map length (tiers :: [[ Bag Nat2 ]])  =  [1,1,2,2,3,3,4,4,5,5,6,6,...]

length (list :: [ Bag Nat2 ])  =  Infinity

allUnique (list :: [ Bag Nat2 ])  =  True

ratioRepetitions (list :: [ Bag Nat2 ])  =  0 % 1