Advent of Code 2020, in DexLang

day1.dx

'# Advent of Code 2020. Day 1
DexLang, [Lyndon White](http://oxinabox.net)
## part 1
From the list  find two entries that sum to 2020, and compute their product.

list = [1567, 1223, 1758, 1842, 1933, 1898, 1409, 1058, 1533, 1417, 1032, 1634, 1477, 1394, 1888, 1972, 1237, 1390, 1677, 1546, 1302, 1070, 1369, 1455, 1065, 1924, 1593, 1131, 1064, 1346, 1914, 1129, 1830, 1450, 1278, 1740, 1809, 1176, 1734, 1102, 1807, 1982, 1603, 1736, 2008, 1980, 1905, 1633, 1732, 1350, 1865, 1988, 1805, 1998, 1152, 1046, 1870, 1557, 1789, 1766, 1945, 1359, 1002, 1126, 1719, 1497, 1296, 1560, 1936, 1929, 1464, 2005, 1281, 618, 1257, 1107, 1632, 1688, 1964, 1803, 1360, 1384, 1889, 1411, 1328, 1452, 1868, 1515, 1586, 1631, 1618, 1087, 1710, 1094, 1774, 1295, 1700, 1636, 1230, 1421, 1910, 1522, 1366, 1144, 1757, 1493, 1316, 1103, 687, 1371, 1720, 1155, 1559, 1900, 989, 1367, 1999, 1066, 1773, 1787, 1402, 1047, 1806, 1956, 1219, 1555, 1307, 1419, 1706, 1884, 1109, 1181, 2010, 1298, 1730, 1078, 1848, 1398, 1687, 2007, 1550, 1664, 1225, 1079, 1698, 350, 1222, 1377, 1977, 1510, 1571, 1630, 1029, 1379, 1942, 1949, 1249, 1829, 1297, 1530, 1607, 1324, 1069, 1476, 928, 1039, 1855, 1644, 1454, 1310, 1172, 547, 1034, 1878, 1479, 1457, 1319, 1810, 1759, 1439, 1851, 545, 1470, 2003, 1908, 1564, 1491, 1174, 1301, 1689, 1276, 1781, 1392, 1499, 1962, 1653, 1823, 1381, 1827, 1974]

' helper: `lastSomething`  
Given a table of `Maybe`s, returns the last that is not `Nothing`

def lastSomething (xs:n=>Maybe a) : Maybe a = 
    fold Nothing \i state. (select (isNothing xs.i) state xs.i)

:p lastSomething [Nothing, Just 1, Just 2, Nothing]



' Solve the actual problem

lastSomething for i. lastSomething for j.
    -- i < j as we  only need to check triangle of combinations
    (select (i<j && (list.i + list.j) == 2020)
        (Just $ list.i * list.j)
        Nothing
    )

' ## Part 2
Find 3 numbers that sum to 2020 and report their product
Lets not over complicate this and just copy the above

lastSomething for i. lastSomething for j. lastSomething for k.
    -- i < j < k as we  only need to check triangle of combinations
    (select (i<j && j < k && (list.i + list.j + list.k) == 2020)
        (Just $ list.i * list.j * list.k)
        Nothing
    )

day2.dx

'# Advent of Code 2020. Day 2
DexLang, [Lyndon White](http://oxinabox.net)
# Part 1
Check how many passwords follow the rule of letter occuring between min and max times


-- rules = [{letter='p', min=2, max=4, password=AsList _ "vpkpp"}, {letter='b', min=6, max=16, password=AsList _ "bbbbbbbbbbbbbbbpb"}, {letter='z', min=6, max=7, password=AsList _ "zzfzzdz"}, {letter='q', min=4, max=6, password=AsList _ "tfzqvqcpcmqqjqzd"}, {letter='k', min=7, max=8, password=AsList _ "rkkkknkw"}, {letter='t', min=5, max=14, password=AsList _ "ttttnttttttdttttttt"}, {letter='b', min=2, max=10, password=AsList _ "bfbbbbcbnpbbbbt"}, {letter='h', min=3, max=4, password=AsList _ "hrht"}, {letter='c', min=2, max=6, password=AsList _ "ccccccc"}, {letter='g', min=5, max=7, password=AsList _ "pmtgqgg"}, {letter='h', min=16, max=18, password=AsList _ "vhhhhhhhhhhhhphhrnh"}, {letter='k', min=8, max=10, password=AsList _ "kklxkkkqkkkkk"}, {letter='b', min=2, max=5, password=AsList _ "bcbdbbr"}, {letter='l', min=6, max=8, password=AsList _ "lllnllxb"}, {letter='t', min=2, max=13, password=AsList _ "kvdsdnbclhxntktxdwq"}, {letter='z', min=3, max=4, password=AsList _ "zjwz"}, {letter='s', min=12, max=16, password=AsList _ "ssssssssssswssss"}, {letter='h', min=1, max=5, password=AsList _ "mckhhhs"}, {letter='s', min=11, max=18, password=AsList _ "ksssssssgssssssssk"}, {letter='f', min=6, max=7, password=AsList _ "hcmxbfx"}, {letter='r', min=4, max=11, password=AsList _ "grrrcnkjfdr"}, {letter='t', min=6, max=10, password=AsList _ "tdttttrtbjl"}, {letter='h', min=8, max=10, password=AsList _ "vphrhhmhhz"}, {letter='t', min=7, max=8, password=AsList _ "tghttttt"}, {letter='h', min=2, max=11, password=AsList _ "hhhhhhhhhhhhhh"}, {letter='g', min=5, max=6, password=AsList _ "gggggq"}, {letter='p', min=4, max=6, password=AsList _ "dgpmnqv"}, {letter='v', min=5, max=9, password=AsList _ "nmfnvhtrlzhbvd"}, {letter='z', min=1, max=8, password=AsList _ "zwzqzzzz"}, {letter='l', min=10, max=12, password=AsList _ "hllllllhlklldzlmk"}, {letter='n', min=10, max=11, password=AsList _ "brnjfbnnnmnnnnw"}, {letter='d', min=1, max=3, password=AsList _ "jmscsdw"}, {letter='d', min=13, max=20, password=AsList _ "xdqcsdqdpkppddbdtdgg"}, {letter='w', min=1, max=3, password=AsList _ "wfppvkswrwmnq"}, {letter='p', min=2, max=10, password=AsList _ "xbppppmppppppc"}, {letter='r', min=1, max=4, password=AsList _ "rrrr"}, {letter='q', min=4, max=5, password=AsList _ "qqqgq"}, {letter='f', min=7, max=8, password=AsList _ "fchfwjcfpvffdfh"}, {letter='d', min=2, max=5, password=AsList _ "dtddddddgdddx"}, {letter='t', min=11, max=15, password=AsList _ "zcwngpdjtzcpfvt"}, {letter='c', min=11, max=12, password=AsList _ "ccccccccccqz"}, {letter='v', min=8, max=10, password=AsList _ "vvkbszvvwr"}, {letter='t', min=3, max=5, password=AsList _ "psttst"}, {letter='f', min=1, max=7, password=AsList _ "fffsfffffffffrftfff"}, {letter='z', min=3, max=4, password=AsList _ "zqzz"}, {letter='l', min=12, max=13, password=AsList _ "mlklllhkdmllndplj"}, {letter='x', min=11, max=17, password=AsList _ "jttxgmtmpxxxxzfpf"}, {letter='d', min=2, max=7, password=AsList _ "ddqggvrdmrgc"}, {letter='l', min=5, max=15, password=AsList _ "ckjvllsnmczlnsh"}, {letter='l', min=1, max=3, password=AsList _ "nlllllllllll"}, {letter='r', min=4, max=7, password=AsList _ "ctlrfrb"}, {letter='k', min=4, max=12, password=AsList _ "sknbxdzmnckkk"}, {letter='m', min=2, max=16, password=AsList _ "nmmgwpkncdpfglcpzj"}, {letter='n', min=4, max=5, password=AsList _ "nmnnkjn"}, {letter='h', min=3, max=6, password=AsList _ "hhhkhk"}, {letter='n', min=5, max=15, password=AsList _ "ncmnngnngbnnndjx"}, {letter='r', min=1, max=6, password=AsList _ "rrrklrh"}, {letter='j', min=7, max=16, password=AsList _ "jzjjjjdkjjjjjjjjjj"}, {letter='l', min=1, max=2, password=AsList _ "lcxdxl"}, {letter='t', min=1, max=11, password=AsList _ "gttttttttttt"}, {letter='w', min=6, max=10, password=AsList _ "cvtsdlwggwbgn"}, {letter='q', min=3, max=4, password=AsList _ "qpzhj"}, {letter='b', min=5, max=6, password=AsList _ "sbjcbx"}, {letter='h', min=4, max=5, password=AsList _ "dxjhhhpj"}, {letter='z', min=4, max=5, password=AsList _ "zbckhf"}, {letter='r', min=8, max=13, password=AsList _ "xhscjbqthpfkffjh"}, {letter='j', min=5, max=7, password=AsList _ "jjjxjcdtj"}, {letter='b', min=13, max=15, password=AsList _ "bbbbbblbbbwbtbbbbb"}, {letter='x', min=16, max=19, password=AsList _ "xxxgxxxxcwxxxxxksxx"}, {letter='s', min=2, max=5, password=AsList _ "sssss"}, {letter='s', min=11, max=12, password=AsList _ "fwgcsmxfszgs"}, {letter='m', min=1, max=3, password=AsList _ "mmbm"}, {letter='p', min=5, max=10, password=AsList _ "ppgfpzczphpp"}, {letter='r', min=11, max=13, password=AsList _ "rrrrrrrtgrrrc"}, {letter='g', min=4, max=6, password=AsList _ "nggdwbhktgjhsnrwmg"}, {letter='b', min=6, max=9, password=AsList _ "pnrtwgbwwdhmrbp"}, {letter='w', min=5, max=6, password=AsList _ "wwwqqww"}, {letter='s', min=10, max=14, password=AsList _ "ssssssssstsssss"}, {letter='k', min=1, max=9, password=AsList _ "hkkkkkkkkk"}, {letter='n', min=2, max=3, password=AsList _ "nnktnnnc"}, {letter='m', min=4, max=7, password=AsList _ "prmrmmmsj"}, {letter='t', min=13, max=15, password=AsList _ "tfqttttttkttqttttttt"}, {letter='p', min=6, max=8, password=AsList _ "ppppptpplprh"}, {letter='l', min=12, max=14, password=AsList _ "lllllllllllllll"}, {letter='g', min=11, max=12, password=AsList _ "ggggqppgkpzc"}, {letter='n', min=2, max=3, password=AsList _ "hpnnvn"}, {letter='f', min=1, max=5, password=AsList _ "gffffdfffmzf"}, {letter='w', min=9, max=18, password=AsList _ "lwjnfkwrjqtqnvjkhcw"}, {letter='x', min=6, max=7, password=AsList _ "mmxxxxn"}, {letter='j', min=12, max=14, password=AsList _ "hhpwdljfljpvxl"}, {letter='m', min=3, max=5, password=AsList _ "zxlrmrqknmv"}, {letter='l', min=6, max=9, password=AsList _ "slbllllllxlld"}, {letter='g', min=11, max=16, password=AsList _ "gggggggggglggggcg"}, {letter='h', min=1, max=6, password=AsList _ "hwhwlg"}, {letter='k', min=18, max=19, password=AsList _ "kkxvgrkkzkmkkkkkktk"}, {letter='c', min=3, max=10, password=AsList _ "cchccccccfccc"}, {letter='m', min=9, max=10, password=AsList _ "nssbtshpmmn"}, {letter='m', min=6, max=7, password=AsList _ "mtvbmpfpmm"}, {letter='t', min=4, max=13, password=AsList _ "wkmdgpwpcznlqsqtcjf"}, {letter='m', min=1, max=3, password=AsList _ "mmvm"}, {letter='p', min=2, max=11, password=AsList _ "ljvgtkpdlmpznlphxfgj"}, {letter='p', min=5, max=9, password=AsList _ "kppppcppnqpppqpzpppw"}, {letter='w', min=8, max=9, password=AsList _ "wwwwwwwwfw"}, {letter='m', min=4, max=7, password=AsList _ "bvmmlsqsh"}, {letter='v', min=2, max=5, password=AsList _ "vvrvv"}, {letter='j', min=4, max=10, password=AsList _ "jjfwjvxjjjwjj"}, {letter='f', min=5, max=6, password=AsList _ "ffffjf"}, {letter='w', min=1, max=3, password=AsList _ "pwwzd"}, {letter='v', min=4, max=6, password=AsList _ "vvvrvzvvv"}, {letter='s', min=11, max=15, password=AsList _ "ssssspsssscssssd"}, {letter='c', min=3, max=7, password=AsList _ "wrxltgcvpmc"}, {letter='p', min=2, max=3, password=AsList _ "pplp"}, {letter='f', min=3, max=5, password=AsList _ "nfnxfg"}, {letter='r', min=8, max=9, password=AsList _ "rrrsrrrhrr"}, {letter='j', min=3, max=7, password=AsList _ "dpmcvjj"}, {letter='b', min=10, max=16, password=AsList _ "bbbbbbbbbbbbbbrnbb"}, {letter='q', min=13, max=15, password=AsList _ "qqqqqxqqqqqqqqhqq"}, {letter='v', min=6, max=7, password=AsList _ "wvvvvzvv"}, {letter='j', min=2, max=7, password=AsList _ "rbtzvjhnvfznhfbskcp"}, {letter='n', min=7, max=8, password=AsList _ "nnnnncbnn"}, {letter='j', min=14, max=15, password=AsList _ "jjjjjjjgjjjjjjbjj"}, {letter='g', min=8, max=12, password=AsList _ "gggdgggghgqggggjgg"}, {letter='b', min=9, max=10, password=AsList _ "rlcbfbbbbbb"}, {letter='k', min=11, max=12, password=AsList _ "kkkkkkkkkktkk"}, {letter='k', min=11, max=12, password=AsList _ "kmkkkkkkkkqk"}, {letter='c', min=11, max=14, password=AsList _ "ccccfccccccccncccq"}, {letter='k', min=13, max=16, password=AsList _ "pkkkkkjkkkbkrkkkkzk"}, {letter='d', min=7, max=17, password=AsList _ "dhdvddzjddrwdchdd"}, {letter='z', min=1, max=8, password=AsList _ "zqlzzzzzz"}, {letter='p', min=3, max=9, password=AsList _ "ppfppsppwppbp"}, {letter='r', min=7, max=9, password=AsList _ "rrnrrrbrrrrrhrrr"}, {letter='t', min=4, max=7, password=AsList _ "tfqxtgl"}, {letter='l', min=4, max=5, password=AsList _ "ljmglll"}, {letter='d', min=5, max=6, password=AsList _ "tdvffd"}, {letter='r', min=4, max=13, password=AsList _ "rwrqbdbtbrtmrmlrgrr"}, {letter='g', min=15, max=19, password=AsList _ "gggggggggggggggggggg"}, {letter='r', min=7, max=8, password=AsList _ "lrkrfxtrrj"}, {letter='z', min=5, max=6, password=AsList _ "zkdlwzwv"}, {letter='r', min=9, max=10, password=AsList _ "rzrrrrrrfr"}, {letter='r', min=3, max=5, password=AsList _ "rrbcgrbrqrrd"}, {letter='t', min=15, max=16, password=AsList _ "cqnkntxktjwtttctt"}, {letter='p', min=9, max=12, password=AsList _ "ppppppppdpppp"}, {letter='d', min=8, max=10, password=AsList _ "tgddddgdck"}, {letter='n', min=6, max=9, password=AsList _ "nnnnncnxgpnnnnnn"}, {letter='w', min=1, max=4, password=AsList _ "wpwxtjwlwt"}, {letter='d', min=3, max=11, password=AsList _ "dclddmdkqdmf"}, {letter='w', min=5, max=7, password=AsList _ "zgwkpnwkqctwxj"}, {letter='x', min=4, max=6, password=AsList _ "phmxxhvlf"}, {letter='g', min=1, max=2, password=AsList _ "gjrvfg"}, {letter='t', min=11, max=13, password=AsList _ "ttbtptlzltttvttqttj"}, {letter='p', min=2, max=6, password=AsList _ "nmqsppqcqxntchq"}, {letter='z', min=10, max=13, password=AsList _ "dszzzzzgzzplf"}, {letter='j', min=5, max=7, password=AsList _ "kjwbjjqjjgd"}, {letter='r', min=12, max=16, password=AsList _ "rrrrrrjrrrrbrrrlrr"}, {letter='p', min=4, max=6, password=AsList _ "dppppx"}, {letter='w', min=11, max=20, password=AsList _ "wkswvxjwwzhxwwwqgqwn"}, {letter='f', min=8, max=9, password=AsList _ "qffwwmfwjf"}, {letter='g', min=3, max=4, password=AsList _ "pbgdtg"}, {letter='q', min=3, max=8, password=AsList _ "dqqqqqql"}, {letter='d', min=16, max=17, password=AsList _ "djddpdddddddddddsd"}, {letter='q', min=4, max=7, password=AsList _ "qqqqqqmq"}, {letter='r', min=13, max=14, password=AsList _ "rrlrsrrrrrrrrsrr"}, {letter='k', min=10, max=12, password=AsList _ "kkkkkkkkkhkkk"}, {letter='z', min=1, max=3, password=AsList _ "hdqwpdtmzgnpnffrh"}, {letter='g', min=2, max=4, password=AsList _ "gtgrg"}, {letter='l', min=5, max=7, password=AsList _ "lllltlllq"}, {letter='s', min=6, max=8, password=AsList _ "sqcvnsgs"}, {letter='q', min=1, max=3, password=AsList _ "qdqbqq"}, {letter='j', min=1, max=4, password=AsList _ "jknh"}, {letter='z', min=4, max=5, password=AsList _ "zzxlz"}, {letter='c', min=2, max=5, password=AsList _ "ccccjc"}, {letter='l', min=7, max=8, password=AsList _ "lllqfltlwll"}, {letter='p', min=8, max=9, password=AsList _ "pplpppppt"}, {letter='j', min=4, max=19, password=AsList _ "vkmrhblhpvfjlbwjlxjm"}, {letter='l', min=4, max=5, password=AsList _ "rlllnl"}, {letter='j', min=3, max=13, password=AsList _ "hgqcvcnjwnrnjp"}, {letter='c', min=3, max=5, password=AsList _ "cpcbbjp"}, {letter='z', min=4, max=5, password=AsList _ "jtpjzdrwcbrzhvmzz"}, {letter='s', min=4, max=8, password=AsList _ "bqsbvtrs"}, {letter='d', min=13, max=14, password=AsList _ "ddjddddddddpqddd"}, {letter='l', min=5, max=6, password=AsList _ "lllllll"}, {letter='z', min=7, max=9, password=AsList _ "zzzzzzzzpz"}, {letter='f', min=3, max=4, password=AsList _ "rpsgm"}, {letter='l', min=9, max=13, password=AsList _ "dllldlllllllb"}, {letter='h', min=16, max=17, password=AsList _ "thvclfldkhxzcqwvhp"}, {letter='z', min=8, max=9, password=AsList _ "zzzzzzzzz"}, {letter='d', min=9, max=10, password=AsList _ "dtddddddtdk"}, {letter='k', min=3, max=6, password=AsList _ "sxbvkk"}, {letter='x', min=4, max=14, password=AsList _ "xffvxhtxxnmjcxm"}, {letter='h', min=6, max=11, password=AsList _ "kthhhhfqhwf"}, {letter='z', min=3, max=5, password=AsList _ "pzzzq"}, {letter='x', min=3, max=4, password=AsList _ "xxxwxx"}, {letter='w', min=2, max=4, password=AsList _ "sqdwjg"}, {letter='t', min=5, max=6, password=AsList _ "mmgjhkqxts"}, {letter='w', min=7, max=9, password=AsList _ "wwwwwwwwkww"}, {letter='c', min=13, max=15, password=AsList _ "cccccccccccjccj"}, {letter='j', min=2, max=4, password=AsList _ "qjmhjpzbwfj"}, {letter='h', min=9, max=10, password=AsList _ "hhhjhhhhhzpwh"}, {letter='x', min=3, max=6, password=AsList _ "xxtxxlgx"}, {letter='q', min=11, max=14, password=AsList _ "qqqqqqqqqqqqqsq"}, {letter='n', min=2, max=6, password=AsList _ "kqnxcnnx"}, {letter='m', min=9, max=10, password=AsList _ "mmmmmpmmbm"}, {letter='p', min=9, max=12, password=AsList _ "pphpspzpppdp"}, {letter='j', min=4, max=5, password=AsList _ "jmndj"}, {letter='w', min=11, max=13, password=AsList _ "wgdmhwgcwlwqbwpxwkw"}, {letter='b', min=5, max=12, password=AsList _ "bdzqgjbfbbbbbqwb"}, {letter='v', min=9, max=10, password=AsList _ "kvqpggvvcvpv"}, {letter='s', min=9, max=12, password=AsList _ "lsbxnblrxfggt"}, {letter='r', min=9, max=12, password=AsList _ "rrrrrrrrrrrqrrr"}, {letter='s', min=9, max=10, password=AsList _ "nshmnkcdsz"}, {letter='z', min=1, max=2, password=AsList _ "kzzz"}, {letter='v', min=4, max=6, password=AsList _ "vsslvv"}, {letter='j', min=8, max=9, password=AsList _ "jjjjjjjjk"}, {letter='n', min=5, max=6, password=AsList _ "nnvnnn"}, {letter='k', min=3, max=5, password=AsList _ "nnjsljhcwtckqjs"}, {letter='b', min=2, max=5, password=AsList _ "cbhjxd"}, {letter='c', min=4, max=10, password=AsList _ "ccxzqktkqjsggfcckccc"}, {letter='f', min=13, max=16, password=AsList _ "ffffffffffffzffvf"}, {letter='l', min=1, max=4, password=AsList _ "slllll"}, {letter='v', min=7, max=9, password=AsList _ "vxvvvdrvnvwwklvv"}, {letter='r', min=3, max=9, password=AsList _ "rrtrrrrrrr"}, {letter='n', min=2, max=3, password=AsList _ "bnnsnf"}, {letter='b', min=9, max=12, password=AsList _ "txbxbvbtkbbbbbbbgq"}, {letter='c', min=6, max=17, password=AsList _ "ccccrcccccgcccccccc"}, {letter='d', min=3, max=7, password=AsList _ "qcddhpm"}, {letter='t', min=15, max=18, password=AsList _ "ttttttttttttttztttt"}, {letter='v', min=2, max=5, password=AsList _ "mvxcfbgzzfgrqts"}, {letter='q', min=3, max=4, password=AsList _ "vqwqqqmgk"}, {letter='k', min=3, max=8, password=AsList _ "kknkkkkkkk"}, {letter='z', min=4, max=6, password=AsList _ "skclpzmrlgzzzvzsl"}, {letter='h', min=3, max=4, password=AsList _ "hhsh"}, {letter='z', min=8, max=11, password=AsList _ "zzzzzzzzzzzznxzzzz"}, {letter='p', min=1, max=5, password=AsList _ "ppppc"}, {letter='f', min=2, max=6, password=AsList _ "nffwwj"}, {letter='g', min=5, max=7, password=AsList _ "gwtwfqmdfcgtth"}, {letter='q', min=1, max=17, password=AsList _ "wqfvwgcwcpwtgvtwf"}, {letter='c', min=6, max=16, password=AsList _ "ccccccccccccccccxccc"}, {letter='p', min=8, max=10, password=AsList _ "ppppprpppc"}, {letter='k', min=4, max=6, password=AsList _ "kqkkkkkkkkkk"}, {letter='q', min=3, max=10, password=AsList _ "cvqgjxqcrj"}, {letter='l', min=3, max=6, password=AsList _ "hcbgpfjhscfbrsfkzk"}, {letter='s', min=2, max=5, password=AsList _ "mskwssbdstsbssr"}, {letter='m', min=2, max=8, password=AsList _ "fzmfccddffc"}, {letter='v', min=6, max=8, password=AsList _ "vfmvltvv"}, {letter='w', min=3, max=4, password=AsList _ "wwwk"}, {letter='x', min=5, max=6, password=AsList _ "kxwxlxjxx"}, {letter='f', min=14, max=16, password=AsList _ "ffffffhffffffffk"}, {letter='q', min=7, max=8, password=AsList _ "lmqqlnqqpv"}, {letter='s', min=6, max=8, password=AsList _ "mzssssds"}, {letter='l', min=7, max=8, password=AsList _ "fgwtpwrltlvs"}, {letter='n', min=3, max=4, password=AsList _ "nmncnnkhnclmhdkbsv"}, {letter='f', min=8, max=9, password=AsList _ "fffffffftf"}, {letter='x', min=2, max=11, password=AsList _ "xcxfxxpxxdj"}, {letter='f', min=10, max=16, password=AsList _ "fffffffffffffffh"}, {letter='m', min=2, max=6, password=AsList _ "mjmmmm"}, {letter='g', min=5, max=7, password=AsList _ "gfgshggrhg"}, {letter='q', min=9, max=13, password=AsList _ "qqqqqqqqqqqqjq"}, {letter='x', min=11, max=14, password=AsList _ "xxxxxxxxxxxxxgxx"}, {letter='m', min=5, max=8, password=AsList _ "mmmmkkmmfx"}, {letter='n', min=3, max=4, password=AsList _ "nwdnnnn"}, {letter='x', min=1, max=7, password=AsList _ "tksssgxnlvkphdxzcsx"}, {letter='r', min=1, max=3, password=AsList _ "rrmn"}, {letter='m', min=2, max=5, password=AsList _ "mnmmmxmmmm"}, {letter='j', min=3, max=4, password=AsList _ "rcjcrjf"}, {letter='z', min=6, max=14, password=AsList _ "wnchnnzkptzfwb"}, {letter='j', min=5, max=16, password=AsList _ "jjljcjkjjmzjjjnxfjj"}, {letter='k', min=8, max=14, password=AsList _ "kkkkjkknkkkkkk"}, {letter='d', min=5, max=8, password=AsList _ "lcfpxdpdsrxhcgb"}, {letter='d', min=1, max=3, password=AsList _ "ddscmtdh"}, {letter='d', min=6, max=7, password=AsList _ "lxdddkd"}, {letter='s', min=1, max=3, password=AsList _ "wssss"}, {letter='x', min=4, max=8, password=AsList _ "xgxjflxzdxhxxcx"}, {letter='w', min=3, max=6, password=AsList _ "nxwgww"}, {letter='l', min=12, max=16, password=AsList _ "ljjglfblllllpblk"}, {letter='n', min=9, max=10, password=AsList _ "nxnnnnnnnmn"}, {letter='m', min=3, max=4, password=AsList _ "mmlgfmc"}, {letter='k', min=5, max=13, password=AsList _ "lmvxkxkbqkbxmmsxkqfc"}, {letter='c', min=10, max=11, password=AsList _ "cccccccccch"}, {letter='v', min=13, max=16, password=AsList _ "vvvvvvvvvvvvvvvvvv"}, {letter='h', min=1, max=2, password=AsList _ "hkhdbhjcf"}, {letter='l', min=16, max=17, password=AsList _ "llllllllllllllllcl"}, {letter='c', min=1, max=2, password=AsList _ "zcccccp"}, {letter='x', min=2, max=10, password=AsList _ "jsgxvxxdrxwtsftx"}, {letter='r', min=17, max=18, password=AsList _ "rrrrrrrrrxrrrrrrrh"}, {letter='w', min=4, max=5, password=AsList _ "wwwpwwwwwwwww"}, {letter='f', min=1, max=3, password=AsList _ "fzffff"}, {letter='q', min=3, max=5, password=AsList _ "rqsqq"}, {letter='b', min=4, max=7, password=AsList _ "blkxxbbrkkbjzqqd"}, {letter='s', min=5, max=6, password=AsList _ "slsssssss"}, {letter='g', min=13, max=15, password=AsList _ "xgggggggggggcrxg"}, {letter='d', min=3, max=4, password=AsList _ "ddsddddddddddddddddd"}, {letter='r', min=3, max=8, password=AsList _ "cklssrprdmgggk"}, {letter='s', min=5, max=11, password=AsList _ "ndxsssddflsbsptdzfmh"}, {letter='g', min=5, max=20, password=AsList _ "sgpdgmnsgxgghmlmgqgz"}, {letter='p', min=13, max=14, password=AsList _ "kpppmppppzbppgpp"}, {letter='f', min=10, max=11, password=AsList _ "ffffffffffvff"}, {letter='g', min=4, max=8, password=AsList _ "gpgpggcnjggqg"}, {letter='n', min=8, max=10, password=AsList _ "npxntcdndpnrq"}, {letter='q', min=9, max=13, password=AsList _ "qqqqqqqqqqqqtq"}, {letter='n', min=5, max=8, password=AsList _ "nnnnwnpnnv"}, {letter='w', min=6, max=9, password=AsList _ "wwwwwwwkcwwwwwwww"}, {letter='g', min=6, max=7, password=AsList _ "gxgghmg"}, {letter='z', min=7, max=8, password=AsList _ "spgkbchz"}, {letter='v', min=6, max=14, password=AsList _ "jdpxvvdvtvpsqm"}, {letter='d', min=2, max=7, password=AsList _ "vjbktzd"}, {letter='s', min=2, max=3, password=AsList _ "ssxv"}, {letter='j', min=2, max=4, password=AsList _ "jtch"}, {letter='r', min=3, max=5, password=AsList _ "hghhr"}, {letter='k', min=17, max=19, password=AsList _ "kkkkkkkkkknkkkkkrkq"}, {letter='v', min=4, max=13, password=AsList _ "vvvcvvvvvvvqvwvv"}, {letter='k', min=5, max=8, password=AsList _ "dkpkvkkckkwbk"}, {letter='h', min=8, max=15, password=AsList _ "qdqhqglpgbsjgnhc"}, {letter='d', min=8, max=11, password=AsList _ "fdpddxmcdkdh"}, {letter='c', min=3, max=5, password=AsList _ "ccwcccccpc"}, {letter='z', min=10, max=11, password=AsList _ "wjnzrzkzwzfgrzzl"}, {letter='m', min=12, max=14, password=AsList _ "mmmwmmmmmmmmmmmm"}, {letter='q', min=2, max=4, password=AsList _ "kqcvqxxtdbtjrjmrgr"}, {letter='f', min=12, max=14, password=AsList _ "wjsfpfhxbfvffh"}, {letter='d', min=14, max=17, password=AsList _ "dddddddddddddddddddd"}, {letter='s', min=1, max=5, password=AsList _ "dsssssdssswqns"}, {letter='h', min=6, max=8, password=AsList _ "hnlbffhh"}, {letter='k', min=4, max=5, password=AsList _ "bhssktq"}, {letter='p', min=8, max=19, password=AsList _ "pppppppfpppppppppppp"}, {letter='q', min=18, max=19, password=AsList _ "qsxllxqlzkqqmkqshqd"}, {letter='p', min=3, max=6, password=AsList _ "qbpkpm"}, {letter='z', min=1, max=3, password=AsList _ "zxnlclfzbp"}, {letter='f', min=18, max=19, password=AsList _ "ffxmfdxfdfffffhrfjf"}, {letter='w', min=2, max=5, password=AsList _ "wvpwwwf"}, {letter='l', min=13, max=17, password=AsList _ "llplltllllllmlllp"}, {letter='t', min=6, max=8, password=AsList _ "jzwtpjkcktrpqp"}, {letter='f', min=3, max=4, password=AsList _ "wfhffdnfffffvfsfffz"}, {letter='c', min=5, max=7, password=AsList _ "csctcxrcq"}, {letter='f', min=5, max=8, password=AsList _ "fffftffff"}, {letter='h', min=10, max=12, password=AsList _ "hjhmhwhzckhg"}, {letter='r', min=7, max=9, password=AsList _ "rrrrrrgrrr"}, {letter='z', min=11, max=13, password=AsList _ "zzzkzgfzzrzzrzz"}, {letter='q', min=14, max=18, password=AsList _ "hpsqffzbhqqldqrtcz"}, {letter='t', min=8, max=12, password=AsList _ "jtjttjtzvttvttptttlt"}, {letter='w', min=1, max=3, password=AsList _ "wwrwwwwwpwvwwcnf"}, {letter='d', min=2, max=6, password=AsList _ "clmpddfddhdd"}, {letter='l', min=6, max=8, password=AsList _ "lllllpfll"}, {letter='z', min=5, max=6, password=AsList _ "fhrdnz"}, {letter='n', min=3, max=7, password=AsList _ "gxjntsp"}, {letter='t', min=4, max=8, password=AsList _ "nddttttgnvt"}, {letter='l', min=2, max=4, password=AsList _ "lbxlhlllllllllllfl"}, {letter='l', min=2, max=5, password=AsList _ "llkdlbx"}, {letter='q', min=3, max=6, password=AsList _ "wqbbhnmcwplxlm"}, {letter='c', min=4, max=9, password=AsList _ "wkcccjcqrlclcgcccrc"}, {letter='h', min=3, max=4, password=AsList _ "thjh"}, {letter='s', min=2, max=6, password=AsList _ "hsbnjgjqj"}, {letter='s', min=7, max=10, password=AsList _ "sbshrhsvhnqtb"}, {letter='j', min=10, max=15, password=AsList _ "jjjjjjjjjcjjjjjjj"}, {letter='k', min=9, max=12, password=AsList _ "kkkkkkqkkkknkkkkkkkk"}, {letter='p', min=5, max=7, password=AsList _ "zrzpplx"}, {letter='v', min=7, max=12, password=AsList _ "vvvvvvvvvvvjvv"}, {letter='s', min=14, max=15, password=AsList _ "sssvssspssssswss"}, {letter='z', min=11, max=13, password=AsList _ "nzzzzzzzzfzzrzz"}, {letter='b', min=6, max=8, password=AsList _ "pwvlqbhlswggnhbwthjl"}, {letter='t', min=8, max=12, password=AsList _ "tcxpmxcbswgt"}, {letter='m', min=4, max=5, password=AsList _ "mmmxf"}, {letter='f', min=11, max=12, password=AsList _ "ffpffffwfwfk"}, {letter='r', min=3, max=8, password=AsList _ "rrrrrgrdxrr"}, {letter='f', min=6, max=7, password=AsList _ "fsfbffjfb"}, {letter='h', min=8, max=9, password=AsList _ "hhhhhhhhhhhhh"}, {letter='w', min=11, max=12, password=AsList _ "lwwwttwwkvpwwwwwc"}, {letter='s', min=1, max=14, password=AsList _ "pshssssssssssrsjs"}, {letter='x', min=4, max=6, password=AsList _ "xxxxxxxx"}, {letter='l', min=2, max=4, password=AsList _ "lldt"}, {letter='x', min=9, max=10, password=AsList _ "xxdxxxxxczxbxd"}, {letter='t', min=1, max=7, password=AsList _ "tgtttdst"}, {letter='z', min=8, max=9, password=AsList _ "zzzzqzzzd"}, {letter='g', min=11, max=12, password=AsList _ "ggggggggggdxg"}, {letter='p', min=10, max=13, password=AsList _ "ppppgppppppprppgp"}, {letter='g', min=2, max=16, password=AsList _ "qggkwxfvpcffplwg"}, {letter='n', min=17, max=18, password=AsList _ "nnnnnnnnnnnnnnnnnz"}, {letter='q', min=3, max=7, password=AsList _ "qqqqqbdqqq"}, {letter='h', min=4, max=8, password=AsList _ "hjmhrmhbvhj"}, {letter='d', min=12, max=15, password=AsList _ "bdzddppfddhpzjd"}, {letter='z', min=5, max=7, password=AsList _ "zzzzzzzzzz"}, {letter='v', min=3, max=4, password=AsList _ "vvvf"}, {letter='g', min=3, max=5, password=AsList _ "dcnwgqrvggfqbllvfgk"}, {letter='b', min=5, max=9, password=AsList _ "lsmsrwlvb"}, {letter='w', min=7, max=8, password=AsList _ "wwwwwwwsw"}, {letter='n', min=12, max=13, password=AsList _ "hrbpwjqrkhtxnnqqn"}, {letter='m', min=5, max=6, password=AsList _ "mvxqmmd"}, {letter='v', min=3, max=20, password=AsList _ "hmhjxjffzczvbwqfnngv"}, {letter='d', min=15, max=16, password=AsList _ "ddddddddddddhddd"}, {letter='x', min=4, max=7, password=AsList _ "jxxbwnxpbqrkx"}, {letter='z', min=5, max=7, password=AsList _ "zrzzzzmzt"}, {letter='c', min=16, max=20, password=AsList _ "hcdccfkcjcsxrcnccbpv"}, {letter='j', min=8, max=9, password=AsList _ "jjjqjjjjk"}, {letter='c', min=4, max=12, password=AsList _ "kszcxlswkcbvmxjsbdt"}, {letter='r', min=1, max=5, password=AsList _ "rrhnr"}, {letter='x', min=12, max=13, password=AsList _ "xxxxxbxxxxxxx"}, {letter='r', min=2, max=4, password=AsList _ "rrnl"}, {letter='m', min=1, max=8, password=AsList _ "rmmmmmvmmmmmm"}, {letter='k', min=10, max=13, password=AsList _ "kkkkkkkkkkkkbk"}, {letter='t', min=5, max=15, password=AsList _ "qtrtttxvtlxhtlpttwt"}, {letter='k', min=9, max=10, password=AsList _ "kkkkkkkkzh"}, {letter='q', min=17, max=18, password=AsList _ "qqqqqbqqqqqqqqqqwqq"}, {letter='k', min=1, max=2, password=AsList _ "jkftk"}, {letter='t', min=5, max=7, password=AsList _ "ltttktvtwtt"}, {letter='b', min=4, max=6, password=AsList _ "rbbtwb"}, {letter='w', min=1, max=5, password=AsList _ "gwwwwwmwww"}, {letter='x', min=6, max=8, password=AsList _ "txqxxtxtx"}, {letter='t', min=9, max=14, password=AsList _ "ttnttttnttttttw"}, {letter='s', min=3, max=6, password=AsList _ "spszzskl"}, {letter='x', min=4, max=9, password=AsList _ "xxxrxvxxkxx"}, {letter='r', min=11, max=14, password=AsList _ "rrrfhrbrjkrrgh"}, {letter='q', min=1, max=9, password=AsList _ "wqqqqqqqqqq"}, {letter='f', min=5, max=14, password=AsList _ "gfdjfdmfmmcgfrffsp"}, {letter='b', min=2, max=4, password=AsList _ "bvcb"}, {letter='c', min=9, max=12, password=AsList _ "ccccnccrcccccccc"}, {letter='s', min=9, max=14, password=AsList _ "ssssssssbgssssss"}, {letter='d', min=15, max=18, password=AsList _ "ddddddcdkdsddddddw"}, {letter='v', min=17, max=18, password=AsList _ "vvvvvvvvvvvvzvvvvbvv"}, {letter='k', min=3, max=7, password=AsList _ "mfkbzqnwhkgkk"}, {letter='p', min=2, max=5, password=AsList _ "cpqpp"}, {letter='r', min=7, max=10, password=AsList _ "frrrrrrrrnrrrrrqrw"}, {letter='h', min=5, max=6, password=AsList _ "fhhhxschhdpbh"}, {letter='k', min=1, max=2, password=AsList _ "kcrkkk"}, {letter='s', min=1, max=5, password=AsList _ "kssssssszsnssssssr"}, {letter='t', min=3, max=4, password=AsList _ "ztct"}, {letter='g', min=1, max=2, password=AsList _ "grkgc"}, {letter='t', min=8, max=9, password=AsList _ "tttctttcttqc"}, {letter='d', min=4, max=9, password=AsList _ "rddvdddddddddd"}, {letter='j', min=5, max=7, password=AsList _ "jjjjjjnj"}, {letter='f', min=4, max=5, password=AsList _ "ffrjd"}, {letter='x', min=14, max=16, password=AsList _ "jqvkmxlxfxbwplhxl"}, {letter='j', min=2, max=13, password=AsList _ "hkqphvkprvmjdfm"}, {letter='b', min=1, max=12, password=AsList _ "bbbbbbbbvbbjvbbbbbs"}, {letter='m', min=4, max=6, password=AsList _ "mmmnmm"}, {letter='q', min=16, max=18, password=AsList _ "rvfzkvqqmddvqfrrpq"}, {letter='c', min=7, max=14, password=AsList _ "czcccccccdpccgsc"}, {letter='z', min=1, max=8, password=AsList _ "zgzfbtzzqp"}, {letter='n', min=7, max=18, password=AsList _ "tzfktnkcpncxcsvxzv"}, {letter='x', min=2, max=3, password=AsList _ "xmxz"}, {letter='q', min=4, max=10, password=AsList _ "qqldqqqqqqql"}, {letter='f', min=2, max=6, password=AsList _ "ffvfpqfftg"}, {letter='c', min=12, max=15, password=AsList _ "cccccccccscxlccc"}, {letter='d', min=3, max=17, password=AsList _ "ddlzddghdddgwdddddd"}, {letter='g', min=11, max=13, password=AsList _ "lglgmqgcmlggbftgggd"}, {letter='q', min=12, max=13, password=AsList _ "ldjqqvqqhbfqn"}, {letter='h', min=4, max=5, password=AsList _ "hhhhp"}, {letter='f', min=9, max=11, password=AsList _ "tfkcfzcqpzfdggbpw"}, {letter='f', min=10, max=13, password=AsList _ "fffffffffkffffff"}, {letter='l', min=2, max=3, password=AsList _ "swln"}, {letter='j', min=6, max=10, password=AsList _ "kqsjnjtjmd"}, {letter='c', min=8, max=12, password=AsList _ "ccccctclccscmcc"}, {letter='r', min=10, max=18, password=AsList _ "rrrrrrrrrjrrjrrrrr"}, {letter='t', min=4, max=7, password=AsList _ "btcxktc"}, {letter='m', min=8, max=19, password=AsList _ "mmmmmmmmmmmmmmmmmmhm"}, {letter='j', min=10, max=12, password=AsList _ "jjjjjjrjjjlj"}, {letter='x', min=1, max=11, password=AsList _ "xlxxxxxxxxxxz"}, {letter='w', min=11, max=17, password=AsList _ "fblmwxqwbfdwlcqww"}, {letter='c', min=4, max=6, password=AsList _ "qchcclc"}, {letter='k', min=3, max=4, password=AsList _ "kkkkkkkbkkr"}, {letter='s', min=4, max=5, password=AsList _ "sssfssssssssw"}, {letter='m', min=4, max=6, password=AsList _ "bvmmvjrlvmzmmtsm"}, {letter='f', min=6, max=14, password=AsList _ "qftmhffffcccffsz"}, {letter='t', min=3, max=4, password=AsList _ "rzthtt"}, {letter='s', min=6, max=19, password=AsList _ "qshpkhjcsssqmzspxss"}, {letter='p', min=3, max=4, password=AsList _ "vshp"}, {letter='w', min=3, max=4, password=AsList _ "zwff"}, {letter='s', min=5, max=7, password=AsList _ "tngctss"}, {letter='g', min=11, max=14, password=AsList _ "bhshgkpgxrgkqwpprwv"}, {letter='t', min=3, max=7, password=AsList _ "ttptttt"}, {letter='q', min=1, max=3, password=AsList _ "qqzqqqvb"}, {letter='r', min=7, max=12, password=AsList _ "kvzjrmrhvxxs"}, {letter='j', min=11, max=12, password=AsList _ "jjjkjjjjjjjz"}, {letter='p', min=10, max=11, password=AsList _ "pppppppppxppp"}, {letter='s', min=1, max=10, password=AsList _ "rsssssssshsss"}, {letter='x', min=4, max=5, password=AsList _ "xxxdcx"}, {letter='n', min=3, max=4, password=AsList _ "fnlnfn"}, {letter='l', min=8, max=9, password=AsList _ "llfflqlfll"}, {letter='z', min=3, max=4, password=AsList _ "hzrz"}, {letter='f', min=15, max=16, password=AsList _ "tdzxfwjvdgsxczff"}, {letter='z', min=12, max=16, password=AsList _ "zzzzzzzvpzzzzzzzzz"}, {letter='f', min=4, max=8, password=AsList _ "fwfwffffqmfkff"}, {letter='z', min=7, max=8, password=AsList _ "zjvzzkzzzxmzz"}, {letter='r', min=7, max=8, password=AsList _ "drrcsrrg"}, {letter='z', min=7, max=8, password=AsList _ "znzzzzbzzz"}, {letter='l', min=7, max=8, password=AsList _ "llllllml"}, {letter='b', min=10, max=11, password=AsList _ "jbbbbbjbbbs"}, {letter='c', min=5, max=12, password=AsList _ "cccccccccccpc"}, {letter='n', min=9, max=13, password=AsList _ "nnnnnnnnpnnnn"}, {letter='q', min=7, max=8, password=AsList _ "rvqqqqhnrqqqjqq"}, {letter='d', min=4, max=8, password=AsList _ "xzqwgncdgqtd"}, {letter='r', min=6, max=7, password=AsList _ "rrrrrmr"}, {letter='q', min=1, max=2, password=AsList _ "rbql"}, {letter='f', min=13, max=14, password=AsList _ "ffkfjffjzqfcnfhshw"}, {letter='m', min=6, max=9, password=AsList _ "mmmhmmkmbmrlrwwmtfl"}, {letter='s', min=5, max=12, password=AsList _ "ssfsmsbwsrzssstsssss"}, {letter='m', min=6, max=14, password=AsList _ "bmpbqmjmqxmnrt"}, {letter='g', min=5, max=7, password=AsList _ "hgwgdntgwgsp"}, {letter='q', min=10, max=15, password=AsList _ "qzqqrbqmqqqqsntqqq"}, {letter='w', min=7, max=10, password=AsList _ "wwwwwwnwwwhz"}, {letter='v', min=5, max=7, password=AsList _ "vvvvrvv"}, {letter='z', min=2, max=3, password=AsList _ "zzzlz"}, {letter='r', min=5, max=9, password=AsList _ "rxqbhdrmr"}, {letter='c', min=10, max=15, password=AsList _ "bchccbcqqcrtcrj"}, {letter='g', min=8, max=10, password=AsList _ "hplggnlnbfpgfxmkgb"}, {letter='p', min=14, max=18, password=AsList _ "pwpqppdpfpppppqpph"}, {letter='t', min=8, max=9, password=AsList _ "ttlgpzmtdkzdrcstztf"}, {letter='l', min=13, max=19, password=AsList _ "slzsflllllwlllllllg"}, {letter='z', min=5, max=6, password=AsList _ "zqcnzz"}, {letter='c', min=11, max=14, password=AsList _ "ccctcccccwckch"}, {letter='v', min=3, max=5, password=AsList _ "vhblvzmvfv"}, {letter='v', min=18, max=19, password=AsList _ "vvvvvvvvbvvvvvvvvmv"}, {letter='g', min=4, max=5, password=AsList _ "gjjwgtlgjtggg"}, {letter='l', min=4, max=5, password=AsList _ "rlnvlvxllg"}, {letter='z', min=2, max=11, password=AsList _ "qzclmjsrfrsbrjtd"}, {letter='w', min=9, max=11, password=AsList _ "gwwwwwwwwsbfrbw"}, {letter='v', min=1, max=2, password=AsList _ "vzvvvvvvvvvvvvvvvvv"}, {letter='b', min=4, max=8, password=AsList _ "bzbpbpbjdfbdbqfz"}, {letter='m', min=10, max=16, password=AsList _ "wxcvdmldmzxvnxmmqb"}, {letter='c', min=4, max=11, password=AsList _ "cljrsmxwvbcx"}, {letter='n', min=12, max=17, password=AsList _ "lwzncwfjpwxbnnhnnpx"}, {letter='k', min=9, max=10, password=AsList _ "vfbbmbxwkd"}, {letter='c', min=17, max=19, password=AsList _ "ccccccccgcccccccccd"}, {letter='h', min=5, max=9, password=AsList _ "vhrhmhvsh"}, {letter='g', min=6, max=10, password=AsList _ "ggfggsggngwgpcgfvz"}, {letter='g', min=4, max=17, password=AsList _ "ccvgdkxzggzbsjvzqq"}, {letter='g', min=8, max=10, password=AsList _ "qggggggzggg"}, {letter='w', min=3, max=4, password=AsList _ "wwvh"}, {letter='r', min=4, max=5, password=AsList _ "gjrfrb"}, {letter='r', min=1, max=5, password=AsList _ "qrrrrrrr"}, {letter='k', min=11, max=15, password=AsList _ "kckkkkpjqmnkcwkkkkq"}, {letter='q', min=3, max=6, password=AsList _ "qwswqq"}, {letter='s', min=4, max=5, password=AsList _ "lsssss"}, {letter='d', min=12, max=13, password=AsList _ "mdwgdddtdfdvr"}, {letter='k', min=1, max=14, password=AsList _ "vkkkkkkkdkkkkkkk"}, {letter='t', min=1, max=6, password=AsList _ "zrgnxtt"}, {letter='d', min=8, max=9, password=AsList _ "kdqdfgndd"}, {letter='z', min=6, max=7, password=AsList _ "pfnzzzzzwjzxg"}, {letter='d', min=2, max=9, password=AsList _ "ddddddddddddkddd"}, {letter='x', min=5, max=7, password=AsList _ "krnfpjx"}, {letter='j', min=4, max=12, password=AsList _ "ksgkjzbqprvjqjxbp"}, {letter='m', min=10, max=11, password=AsList _ "hmzmmmnmmmpmmg"}, {letter='k', min=4, max=8, password=AsList _ "fxmkmppqnlckglvm"}, {letter='x', min=8, max=11, password=AsList _ "xxxxxxtrxxxdxxx"}, {letter='r', min=1, max=10, password=AsList _ "rwcrfrlhrsrhr"}, {letter='m', min=5, max=7, password=AsList _ "mmmmvmm"}, {letter='m', min=7, max=16, password=AsList _ "mmmmmjmhmmqmwmmqvfm"}, {letter='v', min=8, max=13, password=AsList _ "mdmrvvsvvmhcxknc"}, {letter='w', min=5, max=6, password=AsList _ "bwwxnw"}, {letter='g', min=11, max=12, password=AsList _ "ggggggggggwgggg"}, {letter='t', min=9, max=16, password=AsList _ "tgtttgtnttttdtttw"}, {letter='j', min=4, max=7, password=AsList _ "jjjjjvvnjj"}, {letter='p', min=12, max=17, password=AsList _ "vhbprgsmljmpzzhzn"}, {letter='v', min=4, max=13, password=AsList _ "vrcntbdvkvtdvzxnptvb"}, {letter='j', min=1, max=7, password=AsList _ "jjjjjjdjj"}, {letter='c', min=11, max=14, password=AsList _ "cjhcrkhcccccdc"}, {letter='j', min=17, max=18, password=AsList _ "jhjjjjjjjjjqjjjjjvj"}, {letter='m', min=8, max=9, password=AsList _ "jmmkmmmmdmwvmgz"}, {letter='x', min=9, max=12, password=AsList _ "dkxxxhqxxzzpcvcxgkx"}, {letter='m', min=16, max=17, password=AsList _ "mmmmmqmmmmmtmmmfmjm"}, {letter='b', min=3, max=13, password=AsList _ "mbbtrmxlzdpbt"}, {letter='g', min=1, max=5, password=AsList _ "bggggggg"}, {letter='m', min=11, max=19, password=AsList _ "dlgmdsscksdrtmmdpjrq"}, {letter='g', min=1, max=4, password=AsList _ "skgg"}, {letter='l', min=12, max=20, password=AsList _ "jcgnljnllllqftjrvnhl"}, {letter='d', min=2, max=3, password=AsList _ "drbdcl"}, {letter='t', min=2, max=3, password=AsList _ "mtwtt"}, {letter='f', min=8, max=9, password=AsList _ "fxstfnfsfffft"}, {letter='z', min=14, max=16, password=AsList _ "zzzzzzzzzzzzzzzrz"}, {letter='x', min=5, max=8, password=AsList _ "xxxxpxxxxxxt"}, {letter='t', min=10, max=11, password=AsList _ "ttttttttttv"}, {letter='r', min=5, max=16, password=AsList _ "xrwrrrqhhlqkhdlzr"}, {letter='n', min=5, max=7, password=AsList _ "nnnnnnhnnnnnnnnnnnnn"}, {letter='v', min=4, max=6, password=AsList _ "dzwfvxz"}, {letter='c', min=2, max=6, password=AsList _ "cccccccc"}, {letter='j', min=5, max=6, password=AsList _ "jjjpjkjhj"}, {letter='j', min=3, max=11, password=AsList _ "jjhnjjgjjghjjj"}, {letter='s', min=14, max=20, password=AsList _ "zskwnsmpsswctgwshxsm"}, {letter='j', min=1, max=3, password=AsList _ "tjfjj"}, {letter='d', min=2, max=8, password=AsList _ "dsdrssdwqq"}, {letter='j', min=9, max=10, password=AsList _ "rjjjjjjjqjjqjjj"}, {letter='b', min=8, max=10, password=AsList _ "clmwbzzjkb"}, {letter='k', min=4, max=9, password=AsList _ "klkdkkkkvkkkkkk"}, {letter='v', min=8, max=16, password=AsList _ "xvvsvvqqvvjvvvvv"}, {letter='d', min=4, max=5, password=AsList _ "qdrtd"}, {letter='p', min=3, max=4, password=AsList _ "pppt"}, {letter='p', min=4, max=5, password=AsList _ "ppvmp"}, {letter='g', min=5, max=13, password=AsList _ "sggmnggwtggmqggkg"}, {letter='g', min=9, max=17, password=AsList _ "ggcgggntdgjmgtgxg"}, {letter='q', min=12, max=13, password=AsList _ "jqqqqqqqqzqqqqq"}, {letter='v', min=2, max=3, password=AsList _ "tbvzcmzvn"}, {letter='m', min=1, max=5, password=AsList _ "vnmwtww"}, {letter='r', min=5, max=6, password=AsList _ "rrhkrs"}, {letter='c', min=14, max=15, password=AsList _ "cccchccccccccct"}, {letter='m', min=15, max=17, password=AsList _ "mmmmmmzmmmmmmmhmm"}, {letter='k', min=5, max=10, password=AsList _ "kqkkkkkkkkkkkkkkkkk"}, {letter='z', min=17, max=19, password=AsList _ "gxpjhhktxrlwwgqzlxzx"}, {letter='s', min=3, max=7, password=AsList _ "wsbssvscgss"}, {letter='k', min=3, max=5, password=AsList _ "kkkkf"}, {letter='m', min=4, max=7, password=AsList _ "jmmmgmbmmmv"}, {letter='p', min=2, max=7, password=AsList _ "vpchdqpxxwjpwdgr"}, {letter='w', min=3, max=6, password=AsList _ "wwwxwwdww"}, {letter='h', min=11, max=17, password=AsList _ "hhhhhhhhhhhhhhhhb"}, {letter='w', min=1, max=5, password=AsList _ "zwwwwwwwwwwwwwgw"}, {letter='m', min=2, max=5, password=AsList _ "mlmmmmk"}, {letter='p', min=10, max=11, password=AsList _ "nptppbpplpd"}, {letter='m', min=2, max=8, password=AsList _ "xcmsbqms"}, {letter='w', min=7, max=13, password=AsList _ "wjvwrwwwlxnsnw"}, {letter='r', min=3, max=9, password=AsList _ "rrrrrrrrv"}, {letter='t', min=2, max=4, password=AsList _ "nttw"}, {letter='q', min=17, max=18, password=AsList _ "ptqqpqrcrgqqqlqqmq"}, {letter='h', min=6, max=7, password=AsList _ "jhxhkchjhhrhh"}, {letter='n', min=8, max=11, password=AsList _ "nnbnnnnnnppgnnlnhbq"}, {letter='g', min=15, max=18, password=AsList _ "gggqggrsggzggggdggg"}, {letter='n', min=5, max=9, password=AsList _ "ptcnnjrnfnn"}, {letter='h', min=9, max=15, password=AsList _ "hshwhbhhxhzhhhhhw"}, {letter='x', min=1, max=3, password=AsList _ "fxxxx"}, {letter='z', min=3, max=6, password=AsList _ "zzpzqzzzqzzzzzznzzwz"}, {letter='p', min=10, max=11, password=AsList _ "lllpqpqvpppprppppp"}, {letter='n', min=13, max=15, password=AsList _ "mnnnnnnntqcpdnn"}, {letter='g', min=14, max=19, password=AsList _ "ggggggggggggggggggrg"}, {letter='w', min=3, max=11, password=AsList _ "qtlpkwswvwwww"}, {letter='g', min=3, max=8, password=AsList _ "lwgzgzml"}, {letter='w', min=1, max=4, password=AsList _ "wwsw"}, {letter='q', min=14, max=19, password=AsList _ "zcxqpjgxqfqqqqvjmklq"}, {letter='h', min=4, max=5, password=AsList _ "hrxkh"}, {letter='p', min=9, max=12, password=AsList _ "ppppgpppppppppp"}, {letter='t', min=8, max=11, password=AsList _ "pwgtdxrtwtbskjnq"}, {letter='m', min=2, max=4, password=AsList _ "pcdmkmlpwwxqw"}, {letter='r', min=1, max=4, password=AsList _ "rrrxrr"}, {letter='l', min=8, max=9, password=AsList _ "lllllwlbl"}, {letter='p', min=8, max=9, password=AsList _ "pppppppfp"}, {letter='x', min=4, max=5, password=AsList _ "jdxxs"}, {letter='h', min=3, max=5, password=AsList _ "hvwth"}, {letter='z', min=7, max=14, password=AsList _ "xkqhzztwjzzsgz"}, {letter='b', min=7, max=11, password=AsList _ "bbwbbbcbbbbb"}, {letter='f', min=2, max=4, password=AsList _ "fflf"}, {letter='m', min=4, max=9, password=AsList _ "cmmmqlmmlxmgmmmmtmpm"}, {letter='j', min=3, max=18, password=AsList _ "bnjznmljlhpfhcmnpcj"}, {letter='z', min=7, max=9, password=AsList _ "zzxzvcbzzzz"}, {letter='s', min=14, max=15, password=AsList _ "ssmssssssslssszss"}, {letter='v', min=12, max=19, password=AsList _ "vgvvvvnvsvvrzvrvvvv"}, {letter='q', min=8, max=10, password=AsList _ "qqqqcpqqqnqqqk"}, {letter='p', min=11, max=14, password=AsList _ "zzvpwltfptcszpv"}, {letter='h', min=2, max=9, password=AsList _ "khpnvdcvdh"}, {letter='q', min=8, max=12, password=AsList _ "dqqqqqqlqqqqqq"}, {letter='f', min=2, max=17, password=AsList _ "fffffffffgfgjfffxtt"}, {letter='n', min=1, max=8, password=AsList _ "jnnnnrnn"}, {letter='k', min=7, max=8, password=AsList _ "kkkhmkkdkkkk"}, {letter='j', min=10, max=11, password=AsList _ "xjwmjcjjqrpjvlbjj"}, {letter='v', min=3, max=4, password=AsList _ "vrvc"}, {letter='r', min=4, max=9, password=AsList _ "dprrlbbrsrgqzvkc"}, {letter='w', min=4, max=8, password=AsList _ "wrcwgsqghwwjw"}, {letter='r', min=11, max=12, password=AsList _ "rrzrrrrrrrrrf"}, {letter='c', min=4, max=5, password=AsList _ "rzccmcc"}, {letter='w', min=1, max=8, password=AsList _ "wqwvwcwtwww"}, {letter='f', min=7, max=9, password=AsList _ "hjfpvgffllfsfsft"}, {letter='d', min=1, max=3, password=AsList _ "nddd"}, {letter='c', min=12, max=13, password=AsList _ "ccccbccsccbbcccpcc"}, {letter='d', min=1, max=11, password=AsList _ "xdhddwddjdg"}, {letter='c', min=3, max=5, password=AsList _ "ccvcc"}, {letter='d', min=2, max=6, password=AsList _ "djddddfd"}, {letter='z', min=4, max=5, password=AsList _ "kzqszztpzz"}, {letter='s', min=2, max=5, password=AsList _ "ssssz"}, {letter='g', min=2, max=6, password=AsList _ "gdvjggrx"}, {letter='k', min=9, max=11, password=AsList _ "qzklmckckkmkkk"}, {letter='g', min=5, max=6, password=AsList _ "grjpwv"}, {letter='n', min=8, max=12, password=AsList _ "nnnnnnngnnnnnnn"}, {letter='z', min=15, max=19, password=AsList _ "zzzzzlmmczdzztgmzvzp"}, {letter='p', min=4, max=5, password=AsList _ "pprvpmpdwppbqpmpw"}, {letter='q', min=9, max=15, password=AsList _ "lfqrxjvdqnlqqtqgnqn"}, {letter='w', min=1, max=4, password=AsList _ "pwwww"}, {letter='q', min=1, max=9, password=AsList _ "qvqqqgqqfqnq"}, {letter='k', min=2, max=4, password=AsList _ "rwlkkcqxcrwd"}, {letter='q', min=2, max=12, password=AsList _ "qqdlpwqqftgjb"}, {letter='q', min=5, max=7, password=AsList _ "qqqtlfq"}, {letter='g', min=8, max=9, password=AsList _ "ggggggrgvtgg"}, {letter='l', min=6, max=13, password=AsList _ "llllllllllllklll"}, {letter='h', min=1, max=4, password=AsList _ "dhhhn"}, {letter='f', min=5, max=6, password=AsList _ "ffjjsfft"}, {letter='x', min=11, max=12, password=AsList _ "xxcxxxxxvxxxxx"}, {letter='z', min=5, max=7, password=AsList _ "zzzwzfh"}, {letter='d', min=12, max=14, password=AsList _ "vpblrhxdwrgdvkg"}, {letter='n', min=1, max=3, password=AsList _ "xwrjrjdj"}, {letter='z', min=8, max=9, password=AsList _ "zzzzdpzzghbzzzzwz"}, {letter='p', min=15, max=16, password=AsList _ "pppppppppppppppw"}, {letter='r', min=4, max=12, password=AsList _ "rrrvrrrrrrrrr"}, {letter='d', min=8, max=9, password=AsList _ "dddddddndd"}, {letter='l', min=4, max=10, password=AsList _ "llsfllllllll"}, {letter='z', min=2, max=13, password=AsList _ "kzkctzprbpkkd"}, {letter='c', min=2, max=4, password=AsList _ "qvcccd"}, {letter='q', min=6, max=7, password=AsList _ "qqqrqqfqdq"}, {letter='f', min=11, max=13, password=AsList _ "ffhffggfffgbf"}, {letter='r', min=9, max=19, password=AsList _ "wncrtrxrrrjhjcvtvsbt"}, {letter='h', min=9, max=11, password=AsList _ "hhhhhhhhlhh"}, {letter='s', min=8, max=10, password=AsList _ "ggwhksdslsp"}, {letter='h', min=3, max=13, password=AsList _ "hhhhhhhhhhhhfhhh"}, {letter='h', min=6, max=7, password=AsList _ "hwghlnh"}, {letter='r', min=7, max=10, password=AsList _ "rrrrrrjrrrr"}, {letter='f', min=9, max=10, password=AsList _ "fbjfbfffff"}, {letter='b', min=16, max=17, password=AsList _ "bbbbbbbbfbbbbbbjbbb"}, {letter='t', min=13, max=16, password=AsList _ "tttttttttttttttz"}, {letter='s', min=2, max=3, password=AsList _ "ssrsssjssss"}, {letter='b', min=1, max=3, password=AsList _ "sbbbbk"}, {letter='q', min=1, max=5, password=AsList _ "xcdbqqqdjxs"}, {letter='p', min=10, max=12, password=AsList _ "jppvpstpjjpp"}, {letter='b', min=8, max=15, password=AsList _ "bglbkmhbqbgfzfh"}, {letter='x', min=1, max=6, password=AsList _ "xxxxxfx"}, {letter='w', min=14, max=18, password=AsList _ "mwwwhtwjshwbvwrjrn"}, {letter='w', min=1, max=2, password=AsList _ "wtww"}, {letter='h', min=2, max=7, password=AsList _ "pxhntbg"}, {letter='c', min=2, max=7, password=AsList _ "ccccccs"}, {letter='z', min=2, max=5, password=AsList _ "zzzzczz"}, {letter='n', min=3, max=5, password=AsList _ "tggvn"}, {letter='h', min=13, max=14, password=AsList _ "hfhhhmthvhhwhdhhhhh"}, {letter='n', min=11, max=16, password=AsList _ "nnnnznnpnnlknnnn"}, {letter='d', min=2, max=6, password=AsList _ "dkdddddd"}, {letter='g', min=12, max=15, password=AsList _ "gxbgggggggbnggg"}, {letter='c', min=1, max=3, password=AsList _ "scxccc"}, {letter='w', min=5, max=6, password=AsList _ "wwwwwfwww"}, {letter='z', min=12, max=13, password=AsList _ "zzzzzzzzzzzczz"}, {letter='j', min=6, max=9, password=AsList _ "psjjmjrxjnrwxzjjnnf"}, {letter='h', min=15, max=16, password=AsList _ "hhhhhhhthhvhhhkhh"}, {letter='n', min=4, max=5, password=AsList _ "nnnnj"}, {letter='g', min=11, max=12, password=AsList _ "gqggdgggggggrgggm"}, {letter='n', min=2, max=5, password=AsList _ "mqnlthrtjnr"}, {letter='n', min=11, max=13, password=AsList _ "nnnnnnnnvnnnx"}, {letter='b', min=2, max=4, password=AsList _ "xbbr"}, {letter='j', min=2, max=7, password=AsList _ "rzjshrj"}, {letter='b', min=18, max=20, password=AsList _ "gzcxrqfqmlbqmvrttbbp"}, {letter='h', min=10, max=13, password=AsList _ "hhhhkhhhhrhhh"}, {letter='n', min=5, max=6, password=AsList _ "mkjnnnqbdpznlndnnd"}, {letter='w', min=5, max=6, password=AsList _ "wwwdqww"}, {letter='v', min=15, max=19, password=AsList _ "vvvvvxvvvvvvvvzvvvv"}, {letter='b', min=2, max=3, password=AsList _ "wlbhwdjwtncwpkbxvhc"}, {letter='f', min=4, max=5, password=AsList _ "ffrrf"}, {letter='v', min=15, max=16, password=AsList _ "vhvpvpvvvmckvbkvvvv"}, {letter='m', min=2, max=6, password=AsList _ "mmbnrsq"}, {letter='r', min=6, max=7, password=AsList _ "rlrqgrj"}, {letter='c', min=7, max=12, password=AsList _ "ccccccsccccmcc"}, {letter='g', min=1, max=9, password=AsList _ "kggggggglg"}, {letter='f', min=4, max=9, password=AsList _ "frfffffnfzfcfff"}, {letter='g', min=2, max=3, password=AsList _ "gcspt"}, {letter='v', min=8, max=14, password=AsList _ "dvkpxqztcqttvv"}, {letter='r', min=5, max=11, password=AsList _ "rrrrtrrrrrrrrrrrr"}, {letter='c', min=4, max=15, password=AsList _ "jdrnrvqrzckbrxmzsgl"}, {letter='t', min=3, max=5, password=AsList _ "dkttc"}, {letter='j', min=4, max=11, password=AsList _ "ppjjwjjtdjt"}, {letter='k', min=7, max=9, password=AsList _ "kkkkkkkkm"}, {letter='p', min=1, max=4, password=AsList _ "lcpp"}, {letter='w', min=3, max=6, password=AsList _ "wwwwwvw"}, {letter='h', min=3, max=13, password=AsList _ "ghhlhhhhhbhgt"}, {letter='f', min=5, max=6, password=AsList _ "ffzvft"}, {letter='p', min=1, max=2, password=AsList _ "bppp"}, {letter='m', min=6, max=12, password=AsList _ "lnnfbnmdrngmpt"}, {letter='n', min=7, max=8, password=AsList _ "blfngnngnnnn"}, {letter='s', min=5, max=8, password=AsList _ "ssssssss"}, {letter='d', min=2, max=8, password=AsList _ "ddddddds"}, {letter='x', min=6, max=11, password=AsList _ "gxnxbfxcrkjxxxhx"}, {letter='m', min=9, max=10, password=AsList _ "wzfmmmvmtfrmm"}, {letter='n', min=5, max=11, password=AsList _ "xgkpshnxwnn"}, {letter='z', min=14, max=18, password=AsList _ "ztzczzzznzzzzzzzvz"}, {letter='k', min=5, max=7, password=AsList _ "kgkkkks"}, {letter='z', min=10, max=11, password=AsList _ "zvglzzxvqzpdj"}, {letter='z', min=1, max=16, password=AsList _ "rdhsbnvmpfqpzmrzw"}, {letter='m', min=13, max=14, password=AsList _ "mmmmmmmmmmmmmxm"}, {letter='n', min=12, max=16, password=AsList _ "fsmnddnmkmjnkncn"}, {letter='l', min=2, max=5, password=AsList _ "mqlllmgb"}, {letter='k', min=2, max=4, password=AsList _ "xgmthfprbsk"}, {letter='q', min=2, max=4, password=AsList _ "qssq"}, {letter='r', min=12, max=13, password=AsList _ "rrrrrrrrrrrrq"}, {letter='v', min=1, max=19, password=AsList _ "vzdtngrnnvmnpzvbmwvg"}, {letter='m', min=7, max=11, password=AsList _ "lrjmsvmmmsjjmw"}, {letter='r', min=4, max=7, password=AsList _ "rxrbfzrtvrhdq"}, {letter='t', min=1, max=4, password=AsList _ "ltttttttt"}, {letter='k', min=5, max=16, password=AsList _ "cktfdzrxppmkjfhk"}, {letter='f', min=5, max=9, password=AsList _ "qfsfcfbtfl"}, {letter='p', min=2, max=7, password=AsList _ "pvtkpppmppppd"}, {letter='v', min=2, max=7, password=AsList _ "jkrmnjv"}, {letter='n', min=2, max=4, password=AsList _ "qnjhnnnnfnnk"}, {letter='n', min=2, max=3, password=AsList _ "ndvp"}, {letter='g', min=1, max=3, password=AsList _ "ggdgg"}, {letter='r', min=16, max=17, password=AsList _ "rrrrrbtrqrrrrrrvrrr"}, {letter='r', min=8, max=10, password=AsList _ "rbkprrrmvr"}, {letter='j', min=6, max=12, password=AsList _ "hqjwbjxjwjmjjqjhn"}, {letter='r', min=16, max=17, password=AsList _ "rzrrrrrkrrrrrrrvrrr"}, {letter='d', min=5, max=8, password=AsList _ "ddddldhdhd"}, {letter='g', min=9, max=20, password=AsList _ "ggggghgggggcggggglgq"}, {letter='c', min=7, max=9, password=AsList _ "rgmkcfctjpdccdwvtfcc"}, {letter='w', min=2, max=12, password=AsList _ "wwwswtswhwhbdww"}, {letter='t', min=4, max=10, password=AsList _ "ttdttttftt"}, {letter='g', min=2, max=9, password=AsList _ "svtkbzggg"}, {letter='r', min=4, max=7, password=AsList _ "rqrwrcwrqrr"}, {letter='s', min=9, max=15, password=AsList _ "dsssrzsksmswwsljbbs"}, {letter='d', min=5, max=13, password=AsList _ "dddhvdxhdrhddrd"}, {letter='s', min=11, max=19, password=AsList _ "zdssvpmlqxqjbsssckp"}, {letter='w', min=2, max=6, password=AsList _ "swcnwz"}, {letter='n', min=17, max=18, password=AsList _ "nnnnnnnnnnnsnnnnnlcn"}, {letter='t', min=6, max=7, password=AsList _ "tzzrcht"}, {letter='k', min=4, max=10, password=AsList _ "bdckkrckkzk"}, {letter='h', min=3, max=9, password=AsList _ "nrdrdvhhhh"}, {letter='s', min=1, max=4, password=AsList _ "gssss"}, {letter='h', min=3, max=15, password=AsList _ "jhhhtzmpvbhhjhck"}, {letter='g', min=3, max=5, password=AsList _ "xlgzfg"}, {letter='j', min=7, max=11, password=AsList _ "pmwflgjwjjrkl"}, {letter='j', min=6, max=18, password=AsList _ "jjjjjjjjjjjjjjjjjt"}, {letter='k', min=6, max=11, password=AsList _ "kkkkkskkkkkkvk"}, {letter='l', min=4, max=15, password=AsList _ "llllllllldlllllllll"}, {letter='w', min=5, max=6, password=AsList _ "rwtwfwg"}, {letter='x', min=1, max=11, password=AsList _ "xxxgxxxxxxx"}, {letter='v', min=2, max=7, password=AsList _ "vsgvvcvvv"}, {letter='r', min=12, max=14, password=AsList _ "rrgrrrrrprrjrrr"}, {letter='f', min=9, max=10, password=AsList _ "mclwdbqffzcsxqr"}, {letter='v', min=6, max=7, password=AsList _ "vvkvvvv"}, {letter='c', min=2, max=4, password=AsList _ "cczch"}, {letter='c', min=6, max=10, password=AsList _ "hcqccmccscccrck"}, {letter='v', min=1, max=4, password=AsList _ "vvvh"}, {letter='s', min=6, max=12, password=AsList _ "nwfjghlpqsks"}, {letter='p', min=4, max=5, password=AsList _ "hpcpt"}, {letter='d', min=6, max=11, password=AsList _ "rdbgvdggzsj"}, {letter='d', min=2, max=4, password=AsList _ "dddmdxx"}, {letter='n', min=1, max=14, password=AsList _ "gnnnsnpfnnnbvnnj"}, {letter='q', min=2, max=4, password=AsList _ "ckhqmjqqq"}, {letter='w', min=2, max=7, password=AsList _ "vwpmwnp"}, {letter='w', min=3, max=5, password=AsList _ "pnwwb"}, {letter='k', min=8, max=12, password=AsList _ "kckkkkkknkkkkkp"}, {letter='c', min=5, max=8, password=AsList _ "cccctcccccfcc"}, {letter='n', min=13, max=14, password=AsList _ "qnnnnmlnnwhnnx"}, {letter='f', min=3, max=4, password=AsList _ "qffb"}, {letter='w', min=11, max=12, password=AsList _ "rwwwwwwwwwjpw"}, {letter='b', min=6, max=11, password=AsList _ "pxgbbbcbbzbfbb"}, {letter='m', min=12, max=14, password=AsList _ "mmmmmmmmmmmvmmmmm"}, {letter='p', min=5, max=13, password=AsList _ "ppppxppppppppqpphh"}, {letter='l', min=5, max=10, password=AsList _ "llllwllllgll"}, {letter='c', min=1, max=8, password=AsList _ "ccfzcczscvjcc"}, {letter='m', min=2, max=4, password=AsList _ "cmlrm"}, {letter='j', min=4, max=7, password=AsList _ "szjkflj"}, {letter='p', min=6, max=9, password=AsList _ "cjnppqpsppppjpdbhpf"}, {letter='k', min=11, max=12, password=AsList _ "kkkjkkkkdkrkg"}, {letter='j', min=4, max=15, password=AsList _ "jjjqjjjjjjjjdxcjjjj"}, {letter='d', min=4, max=5, password=AsList _ "dddddd"}, {letter='l', min=4, max=5, password=AsList _ "hjlllqdwvl"}, {letter='r', min=12, max=14, password=AsList _ "rrmrrrrqrlrxrr"}, {letter='c', min=7, max=8, password=AsList _ "nbzxczcn"}, {letter='l', min=8, max=9, password=AsList _ "pgmlwccjlrg"}, {letter='z', min=6, max=8, password=AsList _ "zzzzzzbzzj"}, {letter='r', min=1, max=8, password=AsList _ "mrrrrrrrrrf"}, {letter='w', min=1, max=3, password=AsList _ "wwww"}, {letter='d', min=5, max=6, password=AsList _ "qldxdsdk"}, {letter='h', min=3, max=14, password=AsList _ "hfdhhhhhhhhhhshhh"}, {letter='q', min=9, max=10, password=AsList _ "lbvqvwfvnkmth"}, {letter='v', min=7, max=10, password=AsList _ "lvdvwnvvnvt"}, {letter='q', min=2, max=3, password=AsList _ "qqspq"}, {letter='m', min=10, max=13, password=AsList _ "mmmmmmmlmmmmcmmmm"}, {letter='w', min=4, max=6, password=AsList _ "wwwwwlw"}, {letter='h', min=1, max=9, password=AsList _ "jkkhqlhhd"}, {letter='x', min=6, max=8, password=AsList _ "xxxxxxxx"}, {letter='b', min=13, max=16, password=AsList _ "bbbbbbbbbbbbbbbs"}, {letter='m', min=17, max=18, password=AsList _ "lmmmspmmkmzmdmstvms"}, {letter='g', min=1, max=5, password=AsList _ "ncgnggglggrgggrh"}, {letter='t', min=2, max=6, password=AsList _ "sxjbjt"}, {letter='k', min=5, max=7, password=AsList _ "ktkkkkvk"}, {letter='k', min=7, max=8, password=AsList _ "kxkzkkkkks"}, {letter='p', min=7, max=11, password=AsList _ "jvrfhrjpspt"}, {letter='k', min=5, max=7, password=AsList _ "kkkkkkpk"}, {letter='h', min=3, max=6, password=AsList _ "qhthhhshhhxhhhh"}, {letter='l', min=1, max=6, password=AsList _ "llllzq"}, {letter='k', min=2, max=4, password=AsList _ "bhqk"}, {letter='m', min=2, max=3, password=AsList _ "tkfm"}, {letter='m', min=4, max=14, password=AsList _ "mlzmmxjjphrcmcn"}, {letter='w', min=15, max=19, password=AsList _ "wqwwwwwwwwwwwwfwwwlw"}, {letter='k', min=11, max=13, password=AsList _ "wzskknsplzkkpnkmk"}, {letter='g', min=3, max=4, password=AsList _ "gdgn"}, {letter='b', min=1, max=4, password=AsList _ "psdbbbbkntx"}, {letter='d', min=12, max=13, password=AsList _ "wdddddlddddfdd"}, {letter='d', min=4, max=5, password=AsList _ "dddjwdf"}, {letter='n', min=14, max=18, password=AsList _ "ntnsnnnnknrnnxnqnn"}, {letter='v', min=1, max=8, password=AsList _ "vvvvvvvtvvv"}, {letter='s', min=13, max=14, password=AsList _ "shwnbsssjwssss"}, {letter='g', min=3, max=6, password=AsList _ "dgglgfzzg"}, {letter='f', min=2, max=5, password=AsList _ "ffffmfff"}, {letter='t', min=8, max=15, password=AsList _ "dtxltcttwtttttt"}, {letter='z', min=9, max=14, password=AsList _ "zzzzzzzzzzzzznzz"}, {letter='w', min=6, max=10, password=AsList _ "swwwwwwwwbww"}, {letter='j', min=4, max=10, password=AsList _ "tqxwnppjxjbzrjppm"}, {letter='b', min=3, max=4, password=AsList _ "slbdt"}, {letter='d', min=3, max=7, password=AsList _ "bdsmhtr"}, {letter='z', min=10, max=19, password=AsList _ "gznrnzzzzzvkztzznzbl"}, {letter='t', min=8, max=12, password=AsList _ "whtztgtwtttt"}, {letter='r', min=3, max=9, password=AsList _ "rfccdfmnrpj"}, {letter='m', min=6, max=7, password=AsList _ "qhmmmpm"}, {letter='q', min=12, max=15, password=AsList _ "zrnwqblrdqlqjrlptg"}, {letter='c', min=6, max=10, password=AsList _ "ccccckccccccc"}, {letter='r', min=15, max=17, password=AsList _ "rrrrrrrrrrrrrrrrhr"}, {letter='g', min=3, max=11, password=AsList _ "ggggggggkgjgg"}, {letter='b', min=6, max=7, password=AsList _ "mxjzshbgsdjcwsbjchgk"}, {letter='h', min=10, max=11, password=AsList _ "hchghhhhhgh"}, {letter='d', min=4, max=6, password=AsList _ "qvdddctdd"}, {letter='b', min=2, max=5, password=AsList _ "qqpzfl"}, {letter='z', min=7, max=8, password=AsList _ "zztgzzzh"}, {letter='h', min=6, max=8, password=AsList _ "zmschbhh"}, {letter='b', min=7, max=15, password=AsList _ "wbbbjpbcbjbbrshp"}, {letter='n', min=1, max=10, password=AsList _ "ccnnznfnjd"}, {letter='s', min=7, max=8, password=AsList _ "snjqvsss"}, {letter='d', min=8, max=16, password=AsList _ "ddddddddddkddddcddd"}, {letter='t', min=8, max=17, password=AsList _ "tjtrttlttrtptctjr"}, {letter='d', min=5, max=7, password=AsList _ "ddddkddd"}, {letter='k', min=5, max=6, password=AsList _ "kkgkks"}, {letter='c', min=6, max=14, password=AsList _ "szcskczcftcctk"}, {letter='b', min=2, max=3, password=AsList _ "zblpbt"}, {letter='f', min=12, max=13, password=AsList _ "grpkpffxfftsf"}, {letter='s', min=6, max=14, password=AsList _ "sssssssssssssws"}, {letter='t', min=13, max=16, password=AsList _ "ttmmfcthmtcmttpn"}, {letter='h', min=1, max=4, password=AsList _ "zrhhs"}, {letter='k', min=2, max=3, password=AsList _ "krgk"}, {letter='l', min=3, max=4, password=AsList _ "lllv"}, {letter='z', min=8, max=9, password=AsList _ "zdbzzzzrzzz"}, {letter='g', min=7, max=8, password=AsList _ "njlrzggqjgg"}, {letter='c', min=4, max=5, password=AsList _ "dpcqc"}, {letter='n', min=4, max=6, password=AsList _ "nnnhnnn"}, {letter='l', min=3, max=4, password=AsList _ "lllq"}, {letter='v', min=5, max=7, password=AsList _ "jbvvvphvwnhkmjrbhcsn"}, {letter='d', min=12, max=14, password=AsList _ "kvbwfkjzdcpcjd"}, {letter='h', min=9, max=12, password=AsList _ "hrhhhhhhxhhhhhh"}, {letter='f', min=5, max=7, password=AsList _ "tffvfngffkhfff"}, {letter='v', min=2, max=7, password=AsList _ "vvvvvvhvvvvvvvvv"}, {letter='v', min=7, max=9, password=AsList _ "rcdhfnlhmwsgrzqz"}, {letter='j', min=9, max=11, password=AsList _ "pfgzjbrbmjj"}, {letter='j', min=6, max=7, password=AsList _ "ldxbbjnrjj"}, {letter='d', min=8, max=14, password=AsList _ "kdddsdqdvddqcckr"}, {letter='l', min=3, max=12, password=AsList _ "fxknndgbgdllkpzx"}, {letter='f', min=2, max=9, password=AsList _ "xffbmfnfffpqf"}, {letter='t', min=9, max=12, password=AsList _ "lttzwtgtktttkjct"}, {letter='s', min=2, max=11, password=AsList _ "zsxrcxtqwmv"}, {letter='s', min=5, max=8, password=AsList _ "ssdsspscsb"}, {letter='r', min=4, max=13, password=AsList _ "shdxtlrmzqlrrwtdnpwx"}, {letter='j', min=12, max=14, password=AsList _ "jjjlzzcvjjjvjjz"}, {letter='s', min=2, max=4, password=AsList _ "ssvsc"}, {letter='q', min=4, max=6, password=AsList _ "qkqkqqqqkq"}, {letter='z', min=9, max=11, password=AsList _ "czzmzwzbbhz"}, {letter='x', min=11, max=12, password=AsList _ "xxxxxxlxxxxpxxx"}, {letter='x', min=7, max=13, password=AsList _ "xxxxhxxxxxxxxxx"}, {letter='g', min=2, max=4, password=AsList _ "wggq"}, {letter='v', min=2, max=6, password=AsList _ "zvxpnqvqwpmbfwnrl"}, {letter='m', min=5, max=6, password=AsList _ "mmmmmc"}, {letter='v', min=1, max=4, password=AsList _ "vvccm"}, {letter='n', min=14, max=16, password=AsList _ "nngdnnnnnntxnwnn"}, {letter='q', min=6, max=14, password=AsList _ "qfdqszrcvfwcqj"}, {letter='z', min=13, max=14, password=AsList _ "zznzzszzzzzzdfz"}, {letter='p', min=2, max=4, password=AsList _ "cppp"}, {letter='q', min=3, max=7, password=AsList _ "qftqqdvh"}, {letter='t', min=4, max=6, password=AsList _ "rrqsftttxs"}, {letter='z', min=1, max=2, password=AsList _ "zzlzsz"}, {letter='g', min=3, max=4, password=AsList _ "vsbg"}, {letter='j', min=5, max=6, password=AsList _ "tzljjh"}, {letter='v', min=1, max=2, password=AsList _ "vptfbrwgvztwp"}, {letter='w', min=2, max=6, password=AsList _ "hqtnzw"}, {letter='f', min=8, max=9, password=AsList _ "ffdffhcxf"}, {letter='d', min=1, max=2, password=AsList _ "dbddddd"}, {letter='f', min=12, max=14, password=AsList _ "fffffffffsfffpff"}, {letter='t', min=12, max=13, password=AsList _ "ftwtgttttxxtbtwttt"}, {letter='k', min=6, max=8, password=AsList _ "qvpkkmkkk"}, {letter='b', min=2, max=9, password=AsList _ "tvjntzdbgmdbbbljwbmb"}, {letter='v', min=1, max=4, password=AsList _ "vfvvvc"}, {letter='v', min=8, max=12, password=AsList _ "vvvvvvvvvvvbv"}, {letter='n', min=2, max=4, password=AsList _ "wncnxnmch"}, {letter='t', min=10, max=12, password=AsList _ "tttqxrtttttvjrc"}, {letter='f', min=11, max=14, password=AsList _ "fffffffffffffpf"}, {letter='h', min=16, max=20, password=AsList _ "hhhjthhhtphchpkhmhhh"}, {letter='m', min=4, max=5, password=AsList _ "zzmml"}, {letter='c', min=6, max=7, password=AsList _ "ccccdcnclkccccck"}, {letter='c', min=15, max=17, password=AsList _ "sxzcbfcntlgccwckcd"}, {letter='t', min=9, max=17, password=AsList _ "mkfttrtvtwdsxxttf"}, {letter='t', min=2, max=3, password=AsList _ "dtzt"}, {letter='z', min=4, max=5, password=AsList _ "zzzbz"}, {letter='f', min=12, max=17, password=AsList _ "zcfftrnfwvfhnvfffsdf"}, {letter='f', min=7, max=16, password=AsList _ "ffdfxxtwffvdffjff"}, {letter='r', min=3, max=5, password=AsList _ "rrxrr"}, {letter='b', min=13, max=14, password=AsList _ "kbwbbbvbbmbwbb"}, {letter='f', min=10, max=15, password=AsList _ "zflnbhfqmhfsqnf"}, {letter='p', min=3, max=5, password=AsList _ "fwpptwzppkbhp"}, {letter='k', min=13, max=14, password=AsList _ "kkkkkkkkbkkkjkk"}, {letter='b', min=7, max=11, password=AsList _ "hqdbtbbhpht"}, {letter='f', min=1, max=6, password=AsList _ "tffffff"}, {letter='d', min=1, max=2, password=AsList _ "bddsrd"}, {letter='m', min=13, max=18, password=AsList _ "mmmmmmmmmmmmxmmmmlmm"}, {letter='x', min=3, max=4, password=AsList _ "xxkx"}, {letter='z', min=4, max=13, password=AsList _ "hzmwzszzzzlhzzxknb"}, {letter='h', min=10, max=15, password=AsList _ "hhhhhchhhbhbhhhhhk"}, {letter='h', min=3, max=4, password=AsList _ "vhhhb"}, {letter='z', min=10, max=11, password=AsList _ "zxwzzzzzllvzzzzmz"}, {letter='h', min=7, max=10, password=AsList _ "phdkrrhkmhh"}, {letter='j', min=2, max=11, password=AsList _ "jjjjjjjjjjtzjjjjg"}, {letter='g', min=3, max=4, password=AsList _ "gxfgggg"}, {letter='f', min=1, max=3, password=AsList _ "fwtdf"}, {letter='d', min=8, max=9, password=AsList _ "bjqxpvzdddx"}, {letter='c', min=7, max=15, password=AsList _ "vcccccccccccccccc"}, {letter='n', min=1, max=7, password=AsList _ "tvnpzhn"}, {letter='v', min=1, max=2, password=AsList _ "ktvv"}, {letter='g', min=2, max=3, password=AsList _ "gpggg"}, {letter='d', min=7, max=13, password=AsList _ "fddcdfgvbmpdd"}, {letter='s', min=4, max=5, password=AsList _ "rsssw"}, {letter='c', min=2, max=14, password=AsList _ "jckbwnnlkcmvnwtj"}]

'#### Record & length erased lists
We used `{letter='p', min=2, max=4, password=AsList _ "vpkpp"}`
to represent a rule + password.
The `{a=1, b=2}` gives us a record type.
`"abc"` in dex would become a `['a', 'b', 'c']` which is a fixed length table (array) with the length stored in the type)
in particular it would be a `Fin 4=>Char`.
But the password all have different lengths.
And dex requires tables to have homogeneous types.
So we use `AsList n x` to convert a table `x` of length `n` into a `List`.
And we can avoid passing in the `n` and pass in `_` which will make type inference work it out.
We will do the ame thing in reverse to use pattern matching to give us back an table to work with.


def countUses (d:Eq a) ?=> (needle:a) (haystack:n=>a) : Int = 
    fold 0 \x net. net + (BToI (x==needle))

-- :p countUses 'a' "abcab"

' TODO Finish this once Char supports Eq
' https://github.com/google-research/dex-lang/issues/301

-- :p countUses 3.0 [1.0, 2.0]


dat = {letter='p', min=2, max=4, password=AsList _ "vpkpp"}

-- Lens accessor
:p getAt #letter dat


-- Patter Matching, both to destructure the record and to get a normal table out of the list
{letter=letter, min=imin, max=imax , password=(AsList _ password_str)} = dat
:p letter

:p password_str

uses = countUses letter password_str
imin < uses && uses < imax