packages feed

leancheck-instances-0.0.2: test/diff/tiers-SeqInt.out

map length (tiers :: [[ Seq Int ]])  =  [1,1,1,2,2,3,4,5,6,8,10,12,...]

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

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

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

tiers :: [Seq Int]  =
  [ [fromList []]
  , [fromList [0]]
  , [fromList [1]]
  , [ fromList [0,1]
    , fromList [-1]
    ]
  , [ fromList [0,-1]
    , fromList [2]
    ]
  , [ fromList [0,2]
    , fromList [1,-1]
    , fromList [-2]
    ]
  , [ fromList [0,1,-1]
    , fromList [0,-2]
    , fromList [1,2]
    , fromList [3]
    ]
  , [ fromList [0,1,2]
    , fromList [0,3]
    , fromList [1,-2]
    , fromList [-1,2]
    , fromList [-3]
    ]
  , [ fromList [0,1,-2]
    , fromList [0,-1,2]
    , fromList [0,-3]
    , fromList [1,3]
    , fromList [-1,-2]
    , fromList [4]
    ]
  , [ fromList [0,1,3]
    , fromList [0,-1,-2]
    , fromList [0,4]
    , fromList [1,-1,2]
    , fromList [1,-3]
    , fromList [-1,3]
    , fromList [2,-2]
    , fromList [-4]
    ]
  , [ fromList [0,1,-1,2]
    , fromList [0,1,-3]
    , fromList [0,-1,3]
    , fromList [0,2,-2]
    , fromList [0,-4]
    , fromList [1,-1,-2]
    , fromList [1,4]
    , fromList [-1,-3]
    , fromList [2,3]
    , fromList [5]
    ]
  , [ fromList [0,1,-1,-2]
    , fromList [0,1,4]
    , fromList [0,-1,-3]
    , fromList [0,2,3]
    , fromList [0,5]
    , fromList [1,-1,3]
    , fromList [1,2,-2]
    , fromList [1,-4]
    , fromList [-1,4]
    , fromList [2,-3]
    , fromList [-2,3]
    , fromList [-5]
    ]
  , ...
  ]