1 line
12 KiB
Standard ML
1 line
12 KiB
Standard ML
{"0": "dcecbe89da87717d", "1": "bc2f95c3b3b1fd7c", "2": "d16f58f0050f042b", "3": "6f4b3106f49ad410", "4": "ab609e68124c719b", "5": "e21dee174be510fc", "6": "65179257ec81bd37", "7": "2ebf8f0207284552", "8": "c871c8cd6a7419b0", "9": "3417a5d5cc86267b", "10": "b3681ebe5b335a9e", "11": "1cb2b90666ec9723", "12": "2587fa295d367583", "13": "4d798b84b4419884", "14": "5697fc2911501b9b", "15": "4c79c8e7f201cc25", "16": "c63717ed832b8ff3", "17": "559fc772ee9eff79", "18": "9a0610bb9367a805", "19": "114973c6b683d6fe", "20": "80e7df4ad508244a", "21": "5d9190f3167fd396", "22": "a9c8141d66b5a877", "23": "98b23412784095b4", "24": "4b8eeba658038219", "25": "44d04b34a39f5362", "26": "a28ba3aa05c65b42", "27": "79fa091f26810091", "28": "cd3206305ba8a760", "29": "ce1d262e6c87db8f", "30": "9da9b47a253b04be", "31": "bb50f4147b9e517c", "32": "a91b57477b81b410", "33": "939ed15a55a62b43", "34": "87e40faa06c67711", "35": "fba4a8c59d24a296", "36": "c9a4084cbe5fdd3f", "37": "cdb87ca5ed996244", "38": "3e0b9891846b3e65", "39": "7c237c2428a77564", "40": "182e8899cd4f1faa", "41": "429f9bbb4e35881f", "42": "6a2cd43028a0a8f0", "43": "3781681968cdf712", "44": "8e90aaae6f19c309", "45": "44852b896dda3309", "46": "1efb0d2c0570f865", "47": "2d5edf1c5211bd0d", "48": "01b6ba94cc772444", "49": "981d48104ddd96f6", "50": "0e3aba4296c101e7", "51": "c41ab54fc13a606e", "52": "d29f086b66185e41", "53": "9dd58d37f72034ca", "54": "b701ec51c7d7f065", "55": "7f0821f1f27f31d9", "56": "b205c2e132b9f489", "57": "f4078572785b6fcf", "58": "bd68720a2ecb2893", "59": "9ada92da9709cf9b", "60": "44761de95a3a0118", "61": "9f18826f8e486359", "62": "c457c35d537f02ff", "63": "2edcc7ad895b4181", "64": "2f587640cc76fdf5", "65": "d97a30a3c5a91e07", "66": "21137cbba93715f7", "67": "72b6cdaab34eec88", "68": "8fa41ae70e6df6f5", "69": "bc7fcfcd5dffa377", "70": "ed83bb6b2eff8bd7", "71": "5c843dc72e07e859", "72": "ec8aa31b61a5d368", "73": "c0f5c676b66a1cdf", "74": "53c16048073a24ff", "75": "a6fb68a891b1be19", "76": "f9eb480cdb23a4a0", "77": "771288245535bef8", "78": "0cbb48463f93f1c4", "79": "1c14617c4dfc812e", "80": "c04972159dd0a4f8", "81": "f3ef0e438b05d0a2", "82": "4e5826d954e1f2ce", "83": "8980fc35864abfd0", "84": "cb9cd2bdfaaf61b2", "85": "2f71590220c5a815", "86": "bbd73a19241675df", "87": "4baac5bff512cec0", "88": "bcf244f43b7b2b8b", "89": "6f69f12147d50432", "90": "e3f3bdcca241ed84", "91": "994710c563b4fec2", "92": "960d852b52718508", "93": "571abff7db9249cf", "94": "f375ddb4a4451a5a", "95": "6b6d225d37079c3a", "96": "d1c2d1c9898b8fb2", "97": "7c5cc9444980f2a8", "98": "ec55228698b8a915", "99": "fe9555dde1661b52", "100": "71744d4cd3c86b8a", "101": "ab76995ca7b906ef", "102": "bbde0f8ee0dc83e9", "103": "fdd822e47052b286", "104": "5e067ae9bc375cbc", "105": "b4de992e1920c7bd", "106": "c99e8cff00f37455", "107": "6d0ce080e208e5e3", "108": "1c624c428d6e401d", "109": "0cce50bc8da494e1", "110": "e6e87c1191314640", "111": "5565841bb6a8d506", "112": "fc723acb6f85f937", "113": "0f2580f8f81e552c", "114": "0a9901fe58d86d74", "115": "5abe40bc14343ab6", "116": "730439cc5fbc32ff", "117": "3c6e87a8208ad229", "118": "8c48e1720ecbf000", "119": "4c40e6568646f510", "120": "cad9eaa93ba64453", "121": "63d3eeada858d11d", "122": "4dcf6e015571e301", "123": "59fe6a71f23b9b6f", "124": "5397d24cf6a15d11", "125": "aa72686ac36e96b4", "126": "204f65cc03a17cfb", "127": "ef5472a52bcaee4a", "128": "c0947e757f28766d", "129": "4450063d07847237", "130": "48994dbb788b4563", "131": "9ce23f1a01bbd35b", "132": "70726e134b35f09c", "133": "16279ddcdf2acd08", "134": "8c94074a20567aa3", "135": "c1db2373c831bba0", "136": "98dcdd4b94c7c24c", "137": "67f2c8ec243c0ea8", "138": "ef40bef16031e9a3", "139": "b6055232757a6196", "140": "68e1009df704e425", "141": "4b0e27cb85e1c17c", "142": "352484943700b2dd", "143": "a5326e2608e2954c", "144": "38f0215a5c147b18", "145": "e9d814f3479953eb", "146": "0a0c2062f149f4bc", "147": "80020e72a0d44255", "148": "80cbe14a2a5e2885", "149": "76d91ee620673fa4", "150": "a5dc2a994a29d9a4", "151": "6206d8c101fbab51", "152": "e479917567331685", "153": "97d1f2a910e62097", "154": "b5df3643d8eeb4c5", "155": "5de7d3c0d2a358a9", "156": "d3baec81a56b4883", "157": "c2d1ee252fe739da", "158": "fa97c5d695257757", "159": "1935836d151825a4", "160": "697bb86794e9aa64", "161": "d69eb8ca08a64bca", "162": "7df352b3f5118ca3", "163": "50e4adb279253813", "164": "39fd91a37e958e25", "165": "47d51b1c17283dee", "166": "81f7ad76d501a064", "167": "1df1ceb4f5eff367", "168": "5bdffdd06c127889", "169": "f2fe421e1f4aaebb", "170": "707b4f85326cf76a", "171": "696a76d73eea527b", "172": "9d920c50c04327fc", "173": "5ebdd56921fead4b", "174": "cb842e61c790e63c", "175": "00c46e3ffb52aa76", "176": "25a9d19c80597c5e", "177": "5c330c3d3c3fcd8e", "178": "9863bdf0bdeb8d4d", "179": "b0e1af630bc4df60", "180": "096f8cf12e50065d", "181": "4ab6e60c72bcd0e4", "182": "e16d64baa101cf05", "184": "2d7ecfaec33260df", "185": "b621e9fc2ce8bad2", "186": "6489cf8b72450359", "187": "8355a6c0c9f9ae95", "188": "7fd13a250368a668", "190": "18ad3ae1e1eec65a", "191": "92fec2f4f6101695", "192": "2c1ee5b6b3f7e214", "193": "f0d349648c339e11", "194": "f58febcf442902d6", "195": "01a23b1f5380685e", "196": "e690593bd5470c7c", "197": "4f0e82919bab3763", "198": "3b12adeca4bfc83a", "199": "5c13318540b0c1ad", "200": "810865ffd132ed2b", "202": "aa633cc642fd9837", "203": "57e29e42dc9d82ed", "204": "37feabe7f2ac49c0", "205": "4843123b74ab16e8", "207": "8559018ac3d8ec91", "208": "5fa0d20c2e172700", "209": "20c67929dc429ed9", "210": "a1f82fcb817f5afe", "211": "058d41377bde0fcb", "212": "cf12b3ca9b1cd7a4", "213": "da4eef981848505d", "215": "8cefa690451d8799", "216": "854ffe556d0cea81", "217": "d7bf39c3dc695082", "218": "240608e3eb233612", "219": "6c7d100c1a8a2383", "220": "5a5bafebf69baf73", "221": "4e34d085a500b347", "222": "38c96ff733eb5184", "223": "2a1595aedc0e0a2e", "224": "d57d876bf05fc226", "225": "be43271c5328a1fc", "226": "5f865e1991eb3927", "227": "dfce8119d4457708", "228": "4b3f3bc5cca9e901", "229": "ef53ab4b89da0cd9", "232": "c476c1f630b85c82", "233": "ad9c3643d3939363", "234": "3369908573cb69a2", "235": "f62ed51bb8fc9cfd", "236": "9bcf0b233c1ef54d", "237": "9b6df0fdc0877f50", "238": "c025f0ab626aebbb", "239": "cd54fc91dcd7be03", "240": "bf0d9c791725c1e6", "242": "e6c9dc063292de74", "243": "aea8e8690e924e3b", "244": "49a8d9e687ed80b4", "245": "fa179dd819bf180f", "247": "ebed40aceeaf522d", "248": "93f92b2cdfe8771b", "249": "55dceec34f593ee1", "250": "18180576c1d52b2e", "251": "a1911b7e51a85b08", "252": "1f1c938edd555420", "253": "17339a664fdac5a2", "254": "4bc15f5313f2a2ee", "255": "926ba326a1d2f379", "256": "c752ef97bf56a2d8", "257": "2584bf7a6e3ab526", "258": "7bb1f50ad58702cd", "259": "1515747c281a43ad", "261": "5d047d57ff3ac18b", "262": "ac0a54b9ddd2130e", "263": "ef242545ceb585ed", "264": "e42f13ce1cdcfa8a", "265": "bb84da732329410a", "266": "61c7a181880a0359", "267": "36e8119a7693b0c7", "268": "000881361ddc64b3", "269": "30467e7b1c0f7876", "270": "edc526af0890ec56", "271": "34bc37c9a3bd73a8", "272": "d57a294496a1724b", "274": "331b5e17fb20d18a", "275": "b399b8bdbc42bead", "276": "0d42011795d6e294", "277": "55299836c7635d67", "278": "35c9c800d0f86f4d", "279": "4d9777b13285f595", "280": "58b6daed15c40fec", "281": "553627b2d4712a02", "282": "6ec1fe05b8689b49", "283": "f8e2cddb22dd1c87", "284": "7a6177620fc3cb7f", "285": "099d2ff4635cda1f", "286": "8634973f64275c2f", "287": "c40663a7d948be81", "288": "5d61a56833e52c53", "289": "3ced009033f8476d", "290": "b074152c6bee458c", "291": "6843380416dc0c8f", "292": "8d620de8420a45ed", "293": "4cadfea1d365367e", "294": "b31d3219bec72de1", "295": "11096969fa7dd6b4", "296": "1c505232634c0384", "297": "9c769819495ac8d9", "298": "702ff7d8e9a2bd57", "299": "fea36ec96b490f97", "300": "9808d4b4c09fd93d", "301": "74c9ee3f2cda3889", "302": "5cc64644b18549d0", "303": "a0b689c1c3753d17", "304": "d68f24199ce90bb9", "305": "61a8f56e2805a764", "306": "9b44b7d83d2a76db", "307": "466feebf2b53be4c", "308": "94415114e71a621d", "309": "068cb006fbb264f4", "310": "f1e83e3542ddef8d", "312": "7d8e7f316463d690", "313": "6596fabafa5f4cad", "314": "87fd4faf0918bb71", "315": "d9c789fb090e04e3", "316": "aa89c62f8d5ac4df", "317": "7d008eb90ace3f12", "318": "444742d12ecdf6dc", "319": "ca2c1ab8f1a34bff", "320": "d99bc0c71069a22c", "321": "cb2840acd93c2fa1", "322": "daea05d09ddfbbe5", "323": "2e0b7f205a4d5acc", "324": "86dd83e538fab462", "325": "5f8f6c4ae7288b67", "326": "92f63bf8440228f8", "327": "c746dab85718a7e1", "328": "adcdce3f8a04b635", "329": "1516cf38adefe292", "330": "97a8f32612fe93aa", "331": "0a2bb4c19ffa055f", "332": "41e1d4f62bd16ea4", "333": "ea2515c2e7dc1446", "334": "ef86f0c5f0bea1a4", "335": "172da99b063e9569", "337": "3203d2bc48570b55", "338": "951c1103076b3003", "339": "7a38559ec4730f7e", "340": "485c80c985e03868", "341": "cf944dbc4b108323", "342": "8246a641bfbbbe89", "343": "2199fc074663f35c", "344": "0b4bdf16451ad7ec", "345": "8e14f6d751e5bd1c", "346": "22a97e3d43f2d772", "347": "3490e942de573fce", "348": "4a56178b381771bd", "349": "2606313448e557a9", "350": "fd4638754a6d318a", "351": "9888ffcb20c3ade4", "352": "6833b08eb6654c5f", "353": "5fb734fdb1515b10", "354": "6bf6f8d783e315f7", "355": "6004b126abd66768", "356": "faf7a9d5cff478eb", "357": "b96fcabfb23058f3", "358": "f1bf3ac9fe81caaf", "359": "8c0999088df9a016", "360": "fd1a681ae8f9cb48", "361": "7abdc51008bbfe68", "362": "2c017da1613e9e91", "363": "b5422c2310e6eef6", "364": "b49b2c7e85dfafec", "365": "1cc8ee526583afaa", "366": "a25c06e758fbbe65", "367": "d34d384f04fdfdf2", "368": "20f0aef17dcce146", "369": "4b47f892e6f03f74", "370": "faae7322ea2e5a40", "371": "e8beabe1a2a77e9d", "372": "cfaebd581d20822b", "373": "63842f7863aafcf2", "374": "1385a41407052792", "375": "26e4dccaf5d7409e", "376": "81fced6b77819642", "377": "861ab859e6022fa0", "378": "218c2974a5a1445d", "379": "ea162ecb924db2af", "380": "25a74a8bb4222f4e", "381": "810f84ec728543d3", "382": "d341402a14ecaaab", "383": "6a16cb65c15e0656", "384": "e6c6705d895e5393", "385": "6a883df7d6aeb0c9", "386": "a7eb9ead6c31c2b9", "387": "07b4f90d4a7da585", "388": "6c9a00659f4666aa", "389": "a701b1d851c4a163", "390": "0314da5bdbec3407", "391": "2a9c5dcff6d6d353", "392": "370dfdf5df51de9e", "393": "125fac73dec47bf7", "394": "07717f8b94268d8b", "395": "7a58eb8078c12868", "396": "fc697b11295a1784", "397": "fab21f67f53068d9", "398": "6731cc84ed756269", "399": "1f8a28519c82278f", "400": "4b99ad3bde7c98e9", "401": "72815c6b5c7ee231", "402": "cb71f60408abbae7", "403": "2085292891392162", "404": "238d7a0fb0369b2a", "405": "7e4b9150030e1ecb", "406": "bed3e6d9968b0239", "407": "1c7a1d328a95b0e2", "408": "b390000e3ad1291d", "409": "35554082e04d7379", "410": "1d7025d86109a7d7", "411": "4edc82b33b854338", "412": "3d2161f92c82c4e1", "413": "62d8b30baa47a5e1", "414": "84ca95e9397c26a2", "415": "9116319d02f370ba", "416": "bbd82574a37f7248", "417": "b35e50941196c16e", "418": "0c7f20f852e39ad8", "419": "c8cf61e456b50916", "420": "05a9620ac1733a07", "421": "af834f88dde2ca92", "422": "316c6c3c139d6e6f", "423": "f5a15806cf231d1e", "424": "dd4ebddab5c20dbb", "425": "076d4036a4c47a63", "426": "0940f7cf35c6a89e", "427": "95ac8de46851120b", "428": "c9dd928e18a7868e", "429": "e6f328fcc4074263", "430": "7f1af998c2d13ce8", "431": "4725fd919751512a", "432": "66c74a11c5f58aa8", "433": "7dfb6320f249f082", "434": "7e3319eab4bc270e", "435": "668fccdcd207d499", "436": "c79e5d71c262e40a", "437": "b35f29fc07f78f83", "438": "122bbb7d777e052c", "439": "b7609bc5d7187f51", "440": "b359b5bbfadb935b", "441": "ed37c0c69a679010", "442": "00cc5ebe7830ede1", "443": "8e23032c2e898300", "444": "e45426e585cebb59", "445": "9dafc2fbe14d2ce2", "446": "381289a2034d5024", "447": "b5fbd76adaba94ea", "448": "8123e116daaba0f0", "449": "b361015f8b9fae4a", "450": "17c0770649db2d2e", "451": "f48f28978e4b1c18", "452": "104da5c7673b71af", "453": "7b9f6f5d53d7b09e", "454": "7b8f56be7280741d", "455": "d9e2c009a0d89f3d", "456": "4a21a60a01ccb1fe", "457": "a717530ea9c74938", "458": "09173a87f817aac5", "459": "0fd73dd78c9f7f6b", "460": "9b578ae99637c92d", "461": "9b2c62120db6526a", "462": "27c571b063fa2824", "463": "7c3cf217f348bedf", "464": "ae087eb7728a614e", "465": "69f6dda1479895ee", "466": "49e0d6bb82b99e2f", "467": "1e71ef271c665a24", "468": "88239a5fe45a25cd", "469": "718ef0b168b11b17", "470": "3bcd9ed116a39250", "471": "aa50718f6cc5437c"} |