map length (tiers :: [[ UTCTime ]]) = [0,1,1,3,3,5,5,9,9,11,11,17,...]
length (list :: [ UTCTime ]) = Infinity
allUnique (list :: [ UTCTime ]) = True
ratioRepetitions (list :: [ UTCTime ]) = 0 % 1
tiers :: [UTCTime] =
[ []
, [2019-01-01 00:00:01 UTC]
, [2099-01-24 00:00:01 UTC]
, [ 2019-01-01 00:00:00.5 UTC
, 2019-01-01 00:00:02 UTC
, 1938-12-09 00:00:01 UTC
]
, [ 2099-01-24 00:00:00.5 UTC
, 2099-01-24 00:00:02 UTC
, 2139-02-05 00:00:01 UTC
]
, [ 2019-01-01 00:00:00.333333333333 UTC
, 2019-01-01 00:00:03 UTC
, 1938-12-09 00:00:00.5 UTC
, 1938-12-09 00:00:02 UTC
, 1978-12-20 00:00:01 UTC
]
, [ 2099-01-24 00:00:00.333333333333 UTC
, 2099-01-24 00:00:03 UTC
, 2139-02-05 00:00:00.5 UTC
, 2139-02-05 00:00:02 UTC
, 2059-01-12 00:00:01 UTC
]
, [ 2019-01-01 00:00:00.25 UTC
, 2019-01-01 00:00:00.666666666666 UTC
, 2019-01-01 00:00:01.5 UTC
, 2019-01-01 00:00:04 UTC
, 1938-12-09 00:00:00.333333333333 UTC
, 1938-12-09 00:00:03 UTC
, 1978-12-20 00:00:00.5 UTC
, 1978-12-20 00:00:02 UTC
, 1898-11-27 00:00:01 UTC
]
, [ 2099-01-24 00:00:00.25 UTC
, 2099-01-24 00:00:00.666666666666 UTC
, 2099-01-24 00:00:01.5 UTC
, 2099-01-24 00:00:04 UTC
, 2139-02-05 00:00:00.333333333333 UTC
, 2139-02-05 00:00:03 UTC
, 2059-01-12 00:00:00.5 UTC
, 2059-01-12 00:00:02 UTC
, 2159-02-11 00:00:01 UTC
]
, [ 2019-01-01 00:00:00.2 UTC
, 2019-01-01 00:00:05 UTC
, 1938-12-09 00:00:00.25 UTC
, 1938-12-09 00:00:00.666666666666 UTC
, 1938-12-09 00:00:01.5 UTC
, 1938-12-09 00:00:04 UTC
, 1978-12-20 00:00:00.333333333333 UTC
, 1978-12-20 00:00:03 UTC
, 1898-11-27 00:00:00.5 UTC
, 1898-11-27 00:00:02 UTC
, 1998-12-26 00:00:01 UTC
]
, [ 2099-01-24 00:00:00.2 UTC
, 2099-01-24 00:00:05 UTC
, 2139-02-05 00:00:00.25 UTC
, 2139-02-05 00:00:00.666666666666 UTC
, 2139-02-05 00:00:01.5 UTC
, 2139-02-05 00:00:04 UTC
, 2059-01-12 00:00:00.333333333333 UTC
, 2059-01-12 00:00:03 UTC
, 2159-02-11 00:00:00.5 UTC
, 2159-02-11 00:00:02 UTC
, 2079-01-18 00:00:01 UTC
]
, [ 2019-01-01 00:00:00.166666666666 UTC
, 2019-01-01 00:00:00.4 UTC
, 2019-01-01 00:00:00.75 UTC
, 2019-01-01 00:00:01.333333333333 UTC
, 2019-01-01 00:00:02.5 UTC
, 2019-01-01 00:00:06 UTC
, 1938-12-09 00:00:00.2 UTC
, 1938-12-09 00:00:05 UTC
, 1978-12-20 00:00:00.25 UTC
, 1978-12-20 00:00:00.666666666666 UTC
, 1978-12-20 00:00:01.5 UTC
, 1978-12-20 00:00:04 UTC
, 1898-11-27 00:00:00.333333333333 UTC
, 1898-11-27 00:00:03 UTC
, 1998-12-26 00:00:00.5 UTC
, 1998-12-26 00:00:02 UTC
, 1918-12-03 00:00:01 UTC
]
, ...
]