leancheck-0.7.0: tests/diff/tiers-Nat,Nat,Nat.out

tiers :: [(Nat,Nat,Nat)]  =
  [ [(0,0,0)]
  , [ (0,0,1)
    , (0,1,0)
    , (1,0,0)
    ]
  , [ (0,0,2)
    , (0,1,1)
    , (0,2,0)
    , (1,0,1)
    , (1,1,0)
    , (2,0,0)
    ]
  , [ (0,0,3)
    , (0,1,2)
    , (0,2,1)
    , (0,3,0)
    , (1,0,2)
    , (1,1,1)
    , (1,2,0)
    , (2,0,1)
    , (2,1,0)
    , (3,0,0)
    ]
  , [ (0,0,4)
    , (0,1,3)
    , (0,2,2)
    , (0,3,1)
    , (0,4,0)
    , (1,0,3)
    , (1,1,2)
    , (1,2,1)
    , (1,3,0)
    , (2,0,2)
    , (2,1,1)
    , (2,2,0)
    , (3,0,1)
    , (3,1,0)
    , (4,0,0)
    ]
  , [ (0,0,5)
    , (0,1,4)
    , (0,2,3)
    , (0,3,2)
    , (0,4,1)
    , (0,5,0)
    , (1,0,4)
    , (1,1,3)
    , (1,2,2)
    , (1,3,1)
    , (1,4,0)
    , (2,0,3)
    , (2,1,2)
    , (2,2,1)
    , (2,3,0)
    , (3,0,2)
    , (3,1,1)
    , (3,2,0)
    , (4,0,1)
    , (4,1,0)
    , (5,0,0)
    ]
  , ...
  ]

map length (tiers :: [[ (Nat,Nat,Nat) ]])  =  [1,3,6,10,15,21,...]

length (list :: [ (Nat,Nat,Nat) ])  =  Infinity

allUnique (list :: [ (Nat,Nat,Nat) ])  =  True

ratioRepetitions (list :: [ (Nat,Nat,Nat) ])  =  0 % 1