tiers-TheseIntInt.out

map length (tiers :: [[ These Int Int ]])  =  [3,4,5,6,7,8,9,10,11,12,13,14,...]

length (list :: [ These Int Int ])  =  Infinity

allUnique (list :: [ These Int Int ])  =  True

ratioRepetitions (list :: [ These Int Int ])  =  0 % 1

tiers :: [These Int Int]  =
  [ [ This 0
    , That 0
    , These 0 0
    ]
  , [ This 1
    , That 1
    , These 0 1
    , These 1 0
    ]
  , [ This (-1)
    , That (-1)
    , These 0 (-1)
    , These 1 1
    , These (-1) 0
    ]
  , [ This 2
    , That 2
    , These 0 2
    , These 1 (-1)
    , These (-1) 1
    , These 2 0
    ]
  , [ This (-2)
    , That (-2)
    , These 0 (-2)
    , These 1 2
    , These (-1) (-1)
    , These 2 1
    , These (-2) 0
    ]
  , [ This 3
    , That 3
    , These 0 3
    , These 1 (-2)
    , These (-1) 2
    , These 2 (-1)
    , These (-2) 1
    , These 3 0
    ]
  , [ This (-3)
    , That (-3)
    , These 0 (-3)
    , These 1 3
    , These (-1) (-2)
    , These 2 2
    , These (-2) (-1)
    , These 3 1
    , These (-3) 0
    ]
  , [ This 4
    , That 4
    , These 0 4
    , These 1 (-3)
    , These (-1) 3
    , These 2 (-2)
    , These (-2) 2
    , These 3 (-1)
    , These (-3) 1
    , These 4 0
    ]
  , [ This (-4)
    , That (-4)
    , These 0 (-4)
    , These 1 4
    , These (-1) (-3)
    , These 2 3
    , These (-2) (-2)
    , These 3 2
    , These (-3) (-1)
    , These 4 1
    , These (-4) 0
    ]
  , [ This 5
    , That 5
    , These 0 5
    , These 1 (-4)
    , These (-1) 4
    , These 2 (-3)
    , These (-2) 3
    , These 3 (-2)
    , These (-3) 2
    , These 4 (-1)
    , These (-4) 1
    , These 5 0
    ]
  , [ This (-5)
    , That (-5)
    , These 0 (-5)
    , These 1 5
    , These (-1) (-4)
    , These 2 4
    , These (-2) (-3)
    , These 3 3
    , These (-3) (-2)
    , These 4 2
    , These (-4) (-1)
    , These 5 1
    , These (-5) 0
    ]
  , [ This 6
    , That 6
    , These 0 6
    , These 1 (-5)
    , These (-1) 5
    , These 2 (-4)
    , These (-2) 4
    , These 3 (-3)
    , These (-3) 3
    , These 4 (-2)
    , These (-4) 2
    , These 5 (-1)
    , These (-5) 1
    , These 6 0
    ]
  , ...
  ]