packages feed

leancheck-instances-0.0.1: test/diff/tiers-Text.out

map length (tiers :: [[ Text ]])  =  [0,1,1,2,4,8,16,32,64,128,256,512,...]

length (list :: [ Text ])  =  Infinity

allUnique (list :: [ Text ])  =  True

ratioRepetitions (list :: [ Text ])  =  0 % 1

tiers :: [Text]  =
  [ []
  , [""]
  , ["a"]
  , [ "aa"
    , " "
    ]
  , [ "aaa"
    , "a "
    , " a"
    , "b"
    ]
  , [ "aaaa"
    , "aa "
    , "a a"
    , "ab"
    , " aa"
    , "  "
    , "ba"
    , "A"
    ]
  , [ "aaaaa"
    , "aaa "
    , "aa a"
    , "aab"
    , "a aa"
    , "a  "
    , "aba"
    , "aA"
    , " aaa"
    , " a "
    , "  a"
    , " b"
    , "baa"
    , "b "
    , "Aa"
    , "c"
    ]
  , [ "aaaaaa"
    , "aaaa "
    , "aaa a"
    , "aaab"
    , "aa aa"
    , "aa  "
    , "aaba"
    , "aaA"
    , "a aaa"
    , "a a "
    , "a  a"
    , "a b"
    , "abaa"
    , "ab "
    , "aAa"
    , "ac"
    , " aaaa"
    , " aa "
    , " a a"
    , " ab"
    , "  aa"
    , "   "
    , " ba"
    , " A"
    , "baaa"
    , "ba "
    , "b a"
    , "bb"
    , "Aaa"
    , "A "
    , "ca"
    , "\n"
    ]
  , [ "aaaaaaa"
    , "aaaaa "
    , "aaaa a"
    , "aaaab"
    , "aaa aa"
    , "aaa  "
    , "aaaba"
    , "aaaA"
    , "aa aaa"
    , "aa a "
    , "aa  a"
    , "aa b"
    , "aabaa"
    , "aab "
    , "aaAa"
    , "aac"
    , "a aaaa"
    , "a aa "
    , "a a a"
    , "a ab"
    , "a  aa"
    , "a   "
    , "a ba"
    , "a A"
    , "abaaa"
    , "aba "
    , "ab a"
    , "abb"
    , "aAaa"
    , "aA "
    , "aca"
    , "a\n"
    , " aaaaa"
    , " aaa "
    , " aa a"
    , " aab"
    , " a aa"
    , " a  "
    , " aba"
    , " aA"
    , "  aaa"
    , "  a "
    , "   a"
    , "  b"
    , " baa"
    , " b "
    , " Aa"
    , " c"
    , "baaaa"
    , "baa "
    , "ba a"
    , "bab"
    , "b aa"
    , "b  "
    , "bba"
    , "bA"
    , "Aaaa"
    , "Aa "
    , "A a"
    , "Ab"
    , "caa"
    , "c "
    , "\na"
    , "d"
    ]
  , [ "aaaaaaaa"
    , "aaaaaa "
    , "aaaaa a"
    , "aaaaab"
    , "aaaa aa"
    , "aaaa  "
    , "aaaaba"
    , "aaaaA"
    , "aaa aaa"
    , "aaa a "
    , "aaa  a"
    , "aaa b"
    , "aaabaa"
    , "aaab "
    , "aaaAa"
    , "aaac"
    , "aa aaaa"
    , "aa aa "
    , "aa a a"
    , "aa ab"
    , "aa  aa"
    , "aa   "
    , "aa ba"
    , "aa A"
    , "aabaaa"
    , "aaba "
    , "aab a"
    , "aabb"
    , "aaAaa"
    , "aaA "
    , "aaca"
    , "aa\n"
    , "a aaaaa"
    , "a aaa "
    , "a aa a"
    , "a aab"
    , "a a aa"
    , "a a  "
    , "a aba"
    , "a aA"
    , "a  aaa"
    , "a  a "
    , "a   a"
    , "a  b"
    , "a baa"
    , "a b "
    , "a Aa"
    , "a c"
    , "abaaaa"
    , "abaa "
    , "aba a"
    , "abab"
    , "ab aa"
    , "ab  "
    , "abba"
    , "abA"
    , "aAaaa"
    , "aAa "
    , "aA a"
    , "aAb"
    , "acaa"
    , "ac "
    , "a\na"
    , "ad"
    , " aaaaaa"
    , " aaaa "
    , " aaa a"
    , " aaab"
    , " aa aa"
    , " aa  "
    , " aaba"
    , " aaA"
    , " a aaa"
    , " a a "
    , " a  a"
    , " a b"
    , " abaa"
    , " ab "
    , " aAa"
    , " ac"
    , "  aaaa"
    , "  aa "
    , "  a a"
    , "  ab"
    , "   aa"
    , "    "
    , "  ba"
    , "  A"
    , " baaa"
    , " ba "
    , " b a"
    , " bb"
    , " Aaa"
    , " A "
    , " ca"
    , " \n"
    , "baaaaa"
    , "baaa "
    , "baa a"
    , "baab"
    , "ba aa"
    , "ba  "
    , "baba"
    , "baA"
    , "b aaa"
    , "b a "
    , "b  a"
    , "b b"
    , "bbaa"
    , "bb "
    , "bAa"
    , "bc"
    , "Aaaaa"
    , "Aaa "
    , "Aa a"
    , "Aab"
    , "A aa"
    , "A  "
    , "Aba"
    , "AA"
    , "caaa"
    , "ca "
    , "c a"
    , "cb"
    , "\naa"
    , "\n "
    , "da"
    , "0"
    ]
  , [ "aaaaaaaaa"
    , "aaaaaaa "
    , "aaaaaa a"
    , "aaaaaab"
    , "aaaaa aa"
    , "aaaaa  "
    , "aaaaaba"
    , "aaaaaA"
    , "aaaa aaa"
    , "aaaa a "
    , "aaaa  a"
    , "aaaa b"
    , "aaaabaa"
    , "aaaab "
    , "aaaaAa"
    , "aaaac"
    , "aaa aaaa"
    , "aaa aa "
    , "aaa a a"
    , "aaa ab"
    , "aaa  aa"
    , "aaa   "
    , "aaa ba"
    , "aaa A"
    , "aaabaaa"
    , "aaaba "
    , "aaab a"
    , "aaabb"
    , "aaaAaa"
    , "aaaA "
    , "aaaca"
    , "aaa\n"
    , "aa aaaaa"
    , "aa aaa "
    , "aa aa a"
    , "aa aab"
    , "aa a aa"
    , "aa a  "
    , "aa aba"
    , "aa aA"
    , "aa  aaa"
    , "aa  a "
    , "aa   a"
    , "aa  b"
    , "aa baa"
    , "aa b "
    , "aa Aa"
    , "aa c"
    , "aabaaaa"
    , "aabaa "
    , "aaba a"
    , "aabab"
    , "aab aa"
    , "aab  "
    , "aabba"
    , "aabA"
    , "aaAaaa"
    , "aaAa "
    , "aaA a"
    , "aaAb"
    , "aacaa"
    , "aac "
    , "aa\na"
    , "aad"
    , "a aaaaaa"
    , "a aaaa "
    , "a aaa a"
    , "a aaab"
    , "a aa aa"
    , "a aa  "
    , "a aaba"
    , "a aaA"
    , "a a aaa"
    , "a a a "
    , "a a  a"
    , "a a b"
    , "a abaa"
    , "a ab "
    , "a aAa"
    , "a ac"
    , "a  aaaa"
    , "a  aa "
    , "a  a a"
    , "a  ab"
    , "a   aa"
    , "a    "
    , "a  ba"
    , "a  A"
    , "a baaa"
    , "a ba "
    , "a b a"
    , "a bb"
    , "a Aaa"
    , "a A "
    , "a ca"
    , "a \n"
    , "abaaaaa"
    , "abaaa "
    , "abaa a"
    , "abaab"
    , "aba aa"
    , "aba  "
    , "ababa"
    , "abaA"
    , "ab aaa"
    , "ab a "
    , "ab  a"
    , "ab b"
    , "abbaa"
    , "abb "
    , "abAa"
    , "abc"
    , "aAaaaa"
    , "aAaa "
    , "aAa a"
    , "aAab"
    , "aA aa"
    , "aA  "
    , "aAba"
    , "aAA"
    , "acaaa"
    , "aca "
    , "ac a"
    , "acb"
    , "a\naa"
    , "a\n "
    , "ada"
    , "a0"
    , " aaaaaaa"
    , " aaaaa "
    , " aaaa a"
    , " aaaab"
    , " aaa aa"
    , " aaa  "
    , " aaaba"
    , " aaaA"
    , " aa aaa"
    , " aa a "
    , " aa  a"
    , " aa b"
    , " aabaa"
    , " aab "
    , " aaAa"
    , " aac"
    , " a aaaa"
    , " a aa "
    , " a a a"
    , " a ab"
    , " a  aa"
    , " a   "
    , " a ba"
    , " a A"
    , " abaaa"
    , " aba "
    , " ab a"
    , " abb"
    , " aAaa"
    , " aA "
    , " aca"
    , " a\n"
    , "  aaaaa"
    , "  aaa "
    , "  aa a"
    , "  aab"
    , "  a aa"
    , "  a  "
    , "  aba"
    , "  aA"
    , "   aaa"
    , "   a "
    , "    a"
    , "   b"
    , "  baa"
    , "  b "
    , "  Aa"
    , "  c"
    , " baaaa"
    , " baa "
    , " ba a"
    , " bab"
    , " b aa"
    , " b  "
    , " bba"
    , " bA"
    , " Aaaa"
    , " Aa "
    , " A a"
    , " Ab"
    , " caa"
    , " c "
    , " \na"
    , " d"
    , "baaaaaa"
    , "baaaa "
    , "baaa a"
    , "baaab"
    , "baa aa"
    , "baa  "
    , "baaba"
    , "baaA"
    , "ba aaa"
    , "ba a "
    , "ba  a"
    , "ba b"
    , "babaa"
    , "bab "
    , "baAa"
    , "bac"
    , "b aaaa"
    , "b aa "
    , "b a a"
    , "b ab"
    , "b  aa"
    , "b   "
    , "b ba"
    , "b A"
    , "bbaaa"
    , "bba "
    , "bb a"
    , "bbb"
    , "bAaa"
    , "bA "
    , "bca"
    , "b\n"
    , "Aaaaaa"
    , "Aaaa "
    , "Aaa a"
    , "Aaab"
    , "Aa aa"
    , "Aa  "
    , "Aaba"
    , "AaA"
    , "A aaa"
    , "A a "
    , "A  a"
    , "A b"
    , "Abaa"
    , "Ab "
    , "AAa"
    , "Ac"
    , "caaaa"
    , "caa "
    , "ca a"
    , "cab"
    , "c aa"
    , "c  "
    , "cba"
    , "cA"
    , "\naaa"
    , "\na "
    , "\n a"
    , "\nb"
    , "daa"
    , "d "
    , "0a"
    , "e"
    ]
  , [ "aaaaaaaaaa"
    , "aaaaaaaa "
    , "aaaaaaa a"
    , "aaaaaaab"
    , "aaaaaa aa"
    , "aaaaaa  "
    , "aaaaaaba"
    , "aaaaaaA"
    , "aaaaa aaa"
    , "aaaaa a "
    , "aaaaa  a"
    , "aaaaa b"
    , "aaaaabaa"
    , "aaaaab "
    , "aaaaaAa"
    , "aaaaac"
    , "aaaa aaaa"
    , "aaaa aa "
    , "aaaa a a"
    , "aaaa ab"
    , "aaaa  aa"
    , "aaaa   "
    , "aaaa ba"
    , "aaaa A"
    , "aaaabaaa"
    , "aaaaba "
    , "aaaab a"
    , "aaaabb"
    , "aaaaAaa"
    , "aaaaA "
    , "aaaaca"
    , "aaaa\n"
    , "aaa aaaaa"
    , "aaa aaa "
    , "aaa aa a"
    , "aaa aab"
    , "aaa a aa"
    , "aaa a  "
    , "aaa aba"
    , "aaa aA"
    , "aaa  aaa"
    , "aaa  a "
    , "aaa   a"
    , "aaa  b"
    , "aaa baa"
    , "aaa b "
    , "aaa Aa"
    , "aaa c"
    , "aaabaaaa"
    , "aaabaa "
    , "aaaba a"
    , "aaabab"
    , "aaab aa"
    , "aaab  "
    , "aaabba"
    , "aaabA"
    , "aaaAaaa"
    , "aaaAa "
    , "aaaA a"
    , "aaaAb"
    , "aaacaa"
    , "aaac "
    , "aaa\na"
    , "aaad"
    , "aa aaaaaa"
    , "aa aaaa "
    , "aa aaa a"
    , "aa aaab"
    , "aa aa aa"
    , "aa aa  "
    , "aa aaba"
    , "aa aaA"
    , "aa a aaa"
    , "aa a a "
    , "aa a  a"
    , "aa a b"
    , "aa abaa"
    , "aa ab "
    , "aa aAa"
    , "aa ac"
    , "aa  aaaa"
    , "aa  aa "
    , "aa  a a"
    , "aa  ab"
    , "aa   aa"
    , "aa    "
    , "aa  ba"
    , "aa  A"
    , "aa baaa"
    , "aa ba "
    , "aa b a"
    , "aa bb"
    , "aa Aaa"
    , "aa A "
    , "aa ca"
    , "aa \n"
    , "aabaaaaa"
    , "aabaaa "
    , "aabaa a"
    , "aabaab"
    , "aaba aa"
    , "aaba  "
    , "aababa"
    , "aabaA"
    , "aab aaa"
    , "aab a "
    , "aab  a"
    , "aab b"
    , "aabbaa"
    , "aabb "
    , "aabAa"
    , "aabc"
    , "aaAaaaa"
    , "aaAaa "
    , "aaAa a"
    , "aaAab"
    , "aaA aa"
    , "aaA  "
    , "aaAba"
    , "aaAA"
    , "aacaaa"
    , "aaca "
    , "aac a"
    , "aacb"
    , "aa\naa"
    , "aa\n "
    , "aada"
    , "aa0"
    , "a aaaaaaa"
    , "a aaaaa "
    , "a aaaa a"
    , "a aaaab"
    , "a aaa aa"
    , "a aaa  "
    , "a aaaba"
    , "a aaaA"
    , "a aa aaa"
    , "a aa a "
    , "a aa  a"
    , "a aa b"
    , "a aabaa"
    , "a aab "
    , "a aaAa"
    , "a aac"
    , "a a aaaa"
    , "a a aa "
    , "a a a a"
    , "a a ab"
    , "a a  aa"
    , "a a   "
    , "a a ba"
    , "a a A"
    , "a abaaa"
    , "a aba "
    , "a ab a"
    , "a abb"
    , "a aAaa"
    , "a aA "
    , "a aca"
    , "a a\n"
    , "a  aaaaa"
    , "a  aaa "
    , "a  aa a"
    , "a  aab"
    , "a  a aa"
    , "a  a  "
    , "a  aba"
    , "a  aA"
    , "a   aaa"
    , "a   a "
    , "a    a"
    , "a   b"
    , "a  baa"
    , "a  b "
    , "a  Aa"
    , "a  c"
    , "a baaaa"
    , "a baa "
    , "a ba a"
    , "a bab"
    , "a b aa"
    , "a b  "
    , "a bba"
    , "a bA"
    , "a Aaaa"
    , "a Aa "
    , "a A a"
    , "a Ab"
    , "a caa"
    , "a c "
    , "a \na"
    , "a d"
    , "abaaaaaa"
    , "abaaaa "
    , "abaaa a"
    , "abaaab"
    , "abaa aa"
    , "abaa  "
    , "abaaba"
    , "abaaA"
    , "aba aaa"
    , "aba a "
    , "aba  a"
    , "aba b"
    , "ababaa"
    , "abab "
    , "abaAa"
    , "abac"
    , "ab aaaa"
    , "ab aa "
    , "ab a a"
    , "ab ab"
    , "ab  aa"
    , "ab   "
    , "ab ba"
    , "ab A"
    , "abbaaa"
    , "abba "
    , "abb a"
    , "abbb"
    , "abAaa"
    , "abA "
    , "abca"
    , "ab\n"
    , "aAaaaaa"
    , "aAaaa "
    , "aAaa a"
    , "aAaab"
    , "aAa aa"
    , "aAa  "
    , "aAaba"
    , "aAaA"
    , "aA aaa"
    , "aA a "
    , "aA  a"
    , "aA b"
    , "aAbaa"
    , "aAb "
    , "aAAa"
    , "aAc"
    , "acaaaa"
    , "acaa "
    , "aca a"
    , "acab"
    , "ac aa"
    , "ac  "
    , "acba"
    , "acA"
    , "a\naaa"
    , "a\na "
    , "a\n a"
    , "a\nb"
    , "adaa"
    , "ad "
    , "a0a"
    , "ae"
    , " aaaaaaaa"
    , " aaaaaa "
    , " aaaaa a"
    , " aaaaab"
    , " aaaa aa"
    , " aaaa  "
    , " aaaaba"
    , " aaaaA"
    , " aaa aaa"
    , " aaa a "
    , " aaa  a"
    , " aaa b"
    , " aaabaa"
    , " aaab "
    , " aaaAa"
    , " aaac"
    , " aa aaaa"
    , " aa aa "
    , " aa a a"
    , " aa ab"
    , " aa  aa"
    , " aa   "
    , " aa ba"
    , " aa A"
    , " aabaaa"
    , " aaba "
    , " aab a"
    , " aabb"
    , " aaAaa"
    , " aaA "
    , " aaca"
    , " aa\n"
    , " a aaaaa"
    , " a aaa "
    , " a aa a"
    , " a aab"
    , " a a aa"
    , " a a  "
    , " a aba"
    , " a aA"
    , " a  aaa"
    , " a  a "
    , " a   a"
    , " a  b"
    , " a baa"
    , " a b "
    , " a Aa"
    , " a c"
    , " abaaaa"
    , " abaa "
    , " aba a"
    , " abab"
    , " ab aa"
    , " ab  "
    , " abba"
    , " abA"
    , " aAaaa"
    , " aAa "
    , " aA a"
    , " aAb"
    , " acaa"
    , " ac "
    , " a\na"
    , " ad"
    , "  aaaaaa"
    , "  aaaa "
    , "  aaa a"
    , "  aaab"
    , "  aa aa"
    , "  aa  "
    , "  aaba"
    , "  aaA"
    , "  a aaa"
    , "  a a "
    , "  a  a"
    , "  a b"
    , "  abaa"
    , "  ab "
    , "  aAa"
    , "  ac"
    , "   aaaa"
    , "   aa "
    , "   a a"
    , "   ab"
    , "    aa"
    , "     "
    , "   ba"
    , "   A"
    , "  baaa"
    , "  ba "
    , "  b a"
    , "  bb"
    , "  Aaa"
    , "  A "
    , "  ca"
    , "  \n"
    , " baaaaa"
    , " baaa "
    , " baa a"
    , " baab"
    , " ba aa"
    , " ba  "
    , " baba"
    , " baA"
    , " b aaa"
    , " b a "
    , " b  a"
    , " b b"
    , " bbaa"
    , " bb "
    , " bAa"
    , " bc"
    , " Aaaaa"
    , " Aaa "
    , " Aa a"
    , " Aab"
    , " A aa"
    , " A  "
    , " Aba"
    , " AA"
    , " caaa"
    , " ca "
    , " c a"
    , " cb"
    , " \naa"
    , " \n "
    , " da"
    , " 0"
    , "baaaaaaa"
    , "baaaaa "
    , "baaaa a"
    , "baaaab"
    , "baaa aa"
    , "baaa  "
    , "baaaba"
    , "baaaA"
    , "baa aaa"
    , "baa a "
    , "baa  a"
    , "baa b"
    , "baabaa"
    , "baab "
    , "baaAa"
    , "baac"
    , "ba aaaa"
    , "ba aa "
    , "ba a a"
    , "ba ab"
    , "ba  aa"
    , "ba   "
    , "ba ba"
    , "ba A"
    , "babaaa"
    , "baba "
    , "bab a"
    , "babb"
    , "baAaa"
    , "baA "
    , "baca"
    , "ba\n"
    , "b aaaaa"
    , "b aaa "
    , "b aa a"
    , "b aab"
    , "b a aa"
    , "b a  "
    , "b aba"
    , "b aA"
    , "b  aaa"
    , "b  a "
    , "b   a"
    , "b  b"
    , "b baa"
    , "b b "
    , "b Aa"
    , "b c"
    , "bbaaaa"
    , "bbaa "
    , "bba a"
    , "bbab"
    , "bb aa"
    , "bb  "
    , "bbba"
    , "bbA"
    , "bAaaa"
    , "bAa "
    , "bA a"
    , "bAb"
    , "bcaa"
    , "bc "
    , "b\na"
    , "bd"
    , "Aaaaaaa"
    , "Aaaaa "
    , "Aaaa a"
    , "Aaaab"
    , "Aaa aa"
    , "Aaa  "
    , "Aaaba"
    , "AaaA"
    , "Aa aaa"
    , "Aa a "
    , "Aa  a"
    , "Aa b"
    , "Aabaa"
    , "Aab "
    , "AaAa"
    , "Aac"
    , "A aaaa"
    , "A aa "
    , "A a a"
    , "A ab"
    , "A  aa"
    , "A   "
    , "A ba"
    , "A A"
    , "Abaaa"
    , "Aba "
    , "Ab a"
    , "Abb"
    , "AAaa"
    , "AA "
    , "Aca"
    , "A\n"
    , "caaaaa"
    , "caaa "
    , "caa a"
    , "caab"
    , "ca aa"
    , "ca  "
    , "caba"
    , "caA"
    , "c aaa"
    , "c a "
    , "c  a"
    , "c b"
    , "cbaa"
    , "cb "
    , "cAa"
    , "cc"
    , "\naaaa"
    , "\naa "
    , "\na a"
    , "\nab"
    , "\n aa"
    , "\n  "
    , "\nba"
    , "\nA"
    , "daaa"
    , "da "
    , "d a"
    , "db"
    , "0aa"
    , "0 "
    , "ea"
    , "B"
    ]
  , ...
  ]