Edited at
nemDay 1

NEMで透明性ある抽選機能をつくる

NEMブロックチェーンをうまく使って、改ざんされてないと証明できる抽選機能を作れないかということで検証してみました。

抽選機能をどう作るかというと、乱数と呼ばれるランダムな数字をつくりだし、その数字の範囲に対応するよう当てはめておいた抽選結果を探せばよいです。これは簡単ですね。

なので、「透明性ある=(恣意的でないことを証明できる)抽選機能をつくる」には、「恣意的でないことを証明できる乱数をつくる」ことができれば、できるということになります。


従来の乱数

JavaScriptでは、

Math.random()

を使うと、[0,1)つまり0以上1未満のランダムな数字をつくることができますね。

当然これを使って抽選をつくることはできますが、

運営に都合の良いような抽選結果に変えていない

ということを証明する手立てがありません。

運営に都合の良いような抽選結果に変えていないことを証明するには、使った乱数を公開する必要があります。

だからといって、使った乱数をNEMブロックチェーンにアポスティーユしたところで、意味がありません。

アポスティーユした乱数を、運営に都合の良いような結果に変えていない

ことを証明できないからです。


じゃあどうするか

じゃあどうするか。ここで一つ思いつきました。

ハッシュ値を乱数の代わりに使えばいいやん。

と。

ハッシュ値とは、ハッシュ関数の結果のことなのですが、ハッシュ関数とはなにかを説明しておくと、

「任意の長さの入力を、衝突困難な固定長の出力に変換する関数」です。

イメージが湧きづらいので、256bitのハッシュ関数で具体的に考えましょう。

256bitのハッシュ関数の場合、どんなデータをハッシュ関数の入力に入れても、[0,2^256-1]の整数つまり0以上2^256-1以下の整数として出力します。

ハッシュ関数は、


  • 入力が同じなら出力は常に同じ

  • 入力が少しでも変わると出力は大きく変わる

  • 出力が衝突する確率は限りなく低い(2^256-1か莫大であることからもまあわかるでしょう)

という性質を持つので、ブロックチェーンにおいても不正な取引記録でないかを検知できるために大いに使われています。

それに加えて、


  • 0以上2^256-1以下の整数のうち、それぞれの数字が出力される確率は等しい

という「一様性」という性質を満たします。

この「一様性」は、乱数として使うためにも必須の性質となります。


使えるか検証してみる

NEMブロックチェーンの1900489ブロックから1901489ブロックまでのブロックハッシュをとってきました。

長いので折りたたみ。

[

"c372232ea2d16a6121666682a910e822b09ead27b2d306bbf7c1a658aceebd50",
"f51c5aa51871672491373439beb558241726fd8e81472dab700988e4a4e824ce",
"0bea352ee65283ed07d118efb165bfff2e8a0905cbe11f0dd8e663cbb52fb125",
"c9e02702930242e9ecfaa5492c11ec759beaef548292208362cfa16e479ca1d0",
"b9eca14014ba2bda639464741b27f789c075e5a0afb28e71010fb651feb72289",
"3c2178cbf383a94fb45376eeee0a9b3d82ade8daa7710856756543f59ab2cd48",
"bba3ae0b80e8fd89c90f1634cfce098ecf75499f108613f1ed6030ebd2dea263",
"5576da1dbec47bf589001efadefd28f45a0839313d0276f2bc98769f16004082",
"692adde53936e1b59ce6da11430bb5e8f2966e0a6493db5a85a7846b45d53722",
"aae7e644bb99b6fa0d95604a20dfcd1afd377b9967f060a80fa00e76654908e1",
"d6d3749008ee524fadc33fbfb30b14477811e0f8c2e9e9d281e75710dd094cf2",
"0e7b7b13f4b085bd5171a03d575dc038bf5a045fcb967a686af3344df71b0225",
"613189bd8045f126dddd7e162b254f6927d30ccb6f6208ff04916b5c9a80c299",
"8a31d1c3a1d01a6f34599433d0fdb815a44e6bd7ff2bf0fd3476a127ff1f990d",
"af443b53f4286e655ee18cf9287cb47f32a04fd6f03ba1e782ba9c85baad28c8",
"be7a2563fa3671c1add7666e5b371a284d308fda34109f4aad6b7eab9b067b89",
"1b67413a7df58c6fea8a71bd0373daabe7a02a9150f94375eebd8045ba82cba9",
"1f516e7414fc930748dac6ff1015b1c33038f866c77184a64767e64ea7d858ad",
"92abc3b2cfa51e56f291ecf7089821408fbca06bde69af1d89f29b6721c3b52f",
"3bb66ac24b04d89ad88a39541190d8a81149808b78ace68b1956b48dde04ba52",
"1743e22647dc5cc1ea84fcbb07c75723b2e6bc0b9ca1b203bbb6f88313cef921",
"b8c8ced22738564c91618d5baff00981289f772a94ce923e306e6f2f0a63643a",
"c04d4cff4aa7e7f36472d8c472b3f9a1d1d90f1c5607ca860b43ce9f493f927c",
"c51ffd58b7c625ad874a5c22d6f9ccb95b6722ec76423ae3fd3424379cff708e",
"e144e3ef46a8de543ec4e38189830ccf87af1c77666079bd31358eeffe3a1165",
"0ba43e2c5a88f73afa3fca5e649b3e9a9d7777e4dcea0524f703c1a6428a58dc",
"46c760eeeb8ffa01f1636971590c7dcca34cd3252bd02b15e595c9f759697fd3",
"7050262cff71faac7e773806c666ef3db44a1e944c26fb96e9930534e07367f3",
"4bff75a8e91432726d93c772608886e702bf0fe5f2532a628d7ee3f0f15efc28",
"7eb8fc6b5781a11ed6d4b457a5095f56255908988eca03253bc7ac1482117ab7",
"a9fb168188777fc00637f9cf6a33bbdaed86c9a1737373371ea3eded9604e006",
"ad766757c35e72b84e3b314b17c52911abb4c0741bd44632bac5911630b7e3e7",
"8375106cc53fb574866fd08030847bea16ee495807e5ff7414d70b89caf7fcfd",
"33ac9e3fc912c8d77b0ee55e9f2bf52d9b6ca8e3ff7ae900ac5cc7c41a9b56b1",
"184848540908bb74e2d1254cf60d27dee2c0617d4cbfdce9e83b12e497008f7b",
"34da7aa2b704f8d348295fd31859f2791458cbdbdbedea9f298aa896d658048d",
"080e54168a461dddafc9bcb3f9f606ad2269b3e9939f59c1726379cb4ff33cd0",
"0bcbb277927e6ec481a0f5f43ec45e862887e12025645050aa2e868c4c014046",
"626040546caabba1b3521be06a10a4dd54923fde277b4441caed64ccdc8b9556",
"9d4f733d9b6a9cc9ed4356b39bf12a428ff4a03a1a0c08cc7f4134722bde4a82",
"baf70582deb63862dad648ab201a14432e9f32060e29dba29d6b9884306497b6",
"2c753798b3c21018fa759b58c3ab4dfabdd19efb202666d831b112c135a45ea8",
"5e5118c4dbabb270d9a88e1ad2fae03ce3455163e5d240b0a72c13a2cdcb8baf",
"c3f9e7ebb2950bc57a257fa27ca68eec24ce9d27429157738aa5b9a653832fa3",
"3b588862a1f01ed91bc5c715ae68afb2e3319f6677a4f793d24cf0036ba3ab78",
"750dc84db9dac57ff4e3f682f61bf04c1873b7ffac511fd3670344e9bf51a4c4",
"6cb483c41650d319da1def0f89f4ccafc9f1970126e21c55c757b93ebbd48b45",
"a210f4a02ff3e2da85c5bebe8b4c670fcd4b4b41756f14ba6bd06a5a83fb094f",
"238d74b802fe809fed6fcdfeeca34841cce805aa612701001a63d08f4c4a7b6b",
"80033d90d44b45deebc5288c9469da8155ed10bb43848f630d4dbfc7ee968756",
"f536c963314101f5c0e7719713d5c101654a531322a755a8458163eec75036b2",
"915451f0abaf0dd9e25746c4a0b4869b4035a10fc46fb404fb02669bf957c5a2",
"7bcc1448b7e26f0a45f00131d890de38fedd637a3b18b7f2d6b02874be0c5ccf",
"cea4a087ad74e6dfcdc7aff31b9899cb9029be0b8c2eda43c65f246a4eafbcfa",
"788958c3411b10ecd9d83ada62ee39cb38ab8ecb0e1940a4dbddb6210a1b9529",
"c6ec43085f325ccfd4ffdeb563ff9570b9951c7677827d80efe575079e62e48c",
"4c885481a36dc45706b9a9cf39de4101358e335c6923f2d88e6a6c14e4317a27",
"7eb6a74c88fef306f2b1fb02b61a86fd694700f2f66479cb0c8918be5945b005",
"f2117b6fb2bbbbaecec9344e6f8822aecb276013f7eb924879d8b397689f8547",
"3a2865641cce2cfd1d2d799a26ecc8dc3faf9540d5fdd560e0641cf6026595d7",
"4bb5ff38853742120a0b40fe21c642e52d5df4570fbc16ed1e3f613e7ef51503",
"65d4af99f5bdff91b2dda928dd508c4214f44a002a1700d288322fcd6126b90a",
"3aedacf16c4a6d7b1c54723dd1c4426f16ba9b653f7b7bb7ed61c86e295ecd0f",
"83a63c09e0c38b20d6db4060adf54ce7b176d945c02f69b9a9eddb44cf79d458",
"a97874531de36ebd6e3c086010f2f292a058bc5506c9de172b9db4f108406c8d",
"d76cc59f9f5c0b886a3de4d52549764bd6c541d321a42f07f670027ae3ad36b3",
"384de12f9e843a7228900dec7a46bd2f4a2293052112d0842ee2831e58816e09",
"52976e0350d87170a9301a9ace9bbb59a1033a7090e59d5ca4c91dbab819f47c",
"9044b7819155704c8b632ca6523bffabc645627cc5e5c01b3066b910a7998cc5",
"fc774394303ba33f8fd2e7660e574fab1e18f3c95f368e37e53322364ffbeb01",
"1e9f0925e0e6f583e528171225ff5aa2d1a44658058fb7c52b8583df11726818",
"d58a5637b8e2d3a167a895bada86444f4bf71f80a85bee7150dd36f223b1c70b",
"d5b447cb5ef83eb0ed83fc5e5b33828b63c4f4cb400da15606208da5954d0332",
"07fe01275a19607371465f1a986dc4830c9a38a9129aa93589838c5553397318",
"e041ebb516c51203eccc3db9a1f013208b375df94b6b57c5817b83b997c12186",
"063117c6ce6b2b8d5d7276861923a7aeed88bd14d235c1bb26c7ad74c85a5a64",
"04177165f90283c38fb3dac3f88e3ddfbddbea31515d7feab49e032b976cdbe4",
"3ff07894a7c5f77b06ce57fd930966d4d7c2e66c8bd06d74319a9b7f2a377765",
"1b1764585f549b23f88eb6220c9c80ccd9a2a2b75491d3dc1aece2b9abaa859b",
"6251e6c8a13f4e05eb6bb3ecaf0c96ada11330d610efb4c0cd0c81bdf2dd8319",
"ea9c67ce94ecb269ef5d14d3cf45e02b125a08d7cae25ae62e497a7ad29f3b23",
"93a588d15f6e05b88957d0f3e7f6afabcfd04b3cc1b47f6a26a1c2694d84e253",
"c8b6915889a94cf549d7cf3c9e6222bf9fbcd8093116a5bc25e75880a02df1b9",
"bef9b2452b3546a2ec6ce1361730acea57d530318a60b959471afdbe608a2750",
"71f3fc65baa999854e0c8e70169d149afa7692a524999593aefb922458294ffd",
"806aa00eaf92985c983760e6d54ce65068b0a58d3f6e5736fb44f5e323e1447a",
"faa07656437af9dc0c99108948549d2ce2d01e6468f840e4f2306366e5432936",
"dcdf2a83570b719d9eb1426cdd4b48b99cb0b91e7ef6bfd87edbce631baf12a9",
"aa7ce542b52a6a3f4ec9183c203160653e6837ac9ea51e1208c34da29ec9dd17",
"0078387ab55ba2434d340bade0365b6c5312fedd3e762f2721b6e5fbcf1ac927",
"9318c60b9bab8ab3492e1ac6c0b805fa4d600b6efa48a0050ce97cb4a4413b06",
"0903ea1a4e868480d19359723fb2192c5ac84cb4222cf2a948750d3e48ea47df",
"143f777e60af496ceca1ef9e576d6784157f3b91f7d6f5b686c64ded7845092c",
"fee4811719da960a0fc1fdeb8848af931ed1eeaf4203345acef5af2f01a46081",
"d15364407aa99b7c039dcd288d650f04a71ebb85c2e3b3a10baea90040747be4",
"72b151dbe117f4496dab4f4744c64d323997326ebbe6599329004e041789dc58",
"11333b20002c0c176044187ee0adf319f2fc5c36827589ed2aeb5b949fc8649a",
"2096afbe0fb84394e68646301cded1987c2bd1488c40acbb2565cbd66ece0884",
"52161030c9c1c072bbdba76e82f71deec237bda1d7572fee5ce8a51759129615",
"65fcc925dc7fe6bbbe43428139d173b7efd964af1bb50ab3535ef270c1e01ec0",
"e622a5d41a248533adaec4a5af3b9d85266c1a896839c40b88fc2607bfc910b8",
"9cba011f431cf3351373fe0bcd7bad38a9f73f5242e22dcdbff9a8cfbe8284af",
"1cd33c5cbdab5b2c8e4ced9fdb599372eff5c771b8256307a6dec8ec5976a997",
"37154683662e2814fd107bfce7d8ce2af1b0e68bda834ee456d753695bdac141",
"30a513f523cbc08ab6b590ebef20144e407499385b7875f032b57e8701f6314a",
"a1987e0e441b6a8bb6af63a5e511a3a337cbf8f6b3ade3328caa58c0602d631e",
"67ff3c107955db479252de7569d6947e18018b30d47fc852cee02c5ded56cca8",
"9a088738a7481f2380630e1acbdbaea634982bf8dddea27004b47d2623e194d6",
"0129cff614507058ebfc06b8101c1e45334983d91adc61d38a07ddd9ffc4b968",
"0fe8002b8bedee671091102ef0308fb65c84bb1aea7c27b1374e4117137b1408",
"2cd23da97d07c30c1a94c84c892c8f5bb0718b937a319f2c84f900df97506614",
"5fee05bcfe3fa49d4a17d506dd27999aa5590cc1ad38414941fc4cb7559f2fdb",
"fecf03b2cbe65080c9e9e6a332e3947d355f20da3a993a2bf4b8b125da5eba14",
"05e2b0451b9e600cf0ce1b726ecee843b081dd9b40c39e95c68679bbe0bbf4ee",
"30dae936bad7bd3056016bc0560bd1ae0ed238966e36f857d889d8c4c3bfa54f",
"64b018da483a9b9d2c9c89e5d349a2438d3f205a1eab8ca4cf4c7ffb2988378a",
"ab6935f03df6bb000806b7d56e2e6cffe3e5299615438c036869c235d1aaef73",
"f5c695d3b1107c4e4541a403c7aaa23e1db35630213883df735e2353fae1d421",
"4c4a3d251a7771bef5ee382cb296499a1337e393b7a4602aa3ed79a4a9a212ca",
"29f4ed6ab413ae9721d52d61d44d36cc7cbc025aefe07b73e24fcdd73e9c3eb6",
"321c86ca13d696618cae12ec0c66c86c351fbea8ecd292761d67a51eccd3b8d7",
"b5fea2b664da4e1e8fd04bd037f512e3f2de106a2c4e33f7e4830ffb670d690d",
"2f99918f752b9d9fe5533bcc1b5ce1a03cada83af16644a4369a2bc001a8230f",
"323b980102a7a60179f25caa3b600f3eac03a5ecc99eaa7950edc41287afc9d7",
"0ef1b6222b18eab6fe933d009005955564c0aac6006dca5768669ff0a478781d",
"d69f69ff4e6699672dd98eb96f40a8e679b93b1ecdab102cbb2a1a635272cc40",
"0893021152014abaae4ef166a24f55fe7fa595a9686513eba324d7a8e70d3350",
"0b34ab3580a7a7f26aa053040b0caf031ac8e3e7cc9b284065da0d9beda3f458",
"de3618ae1219313bc1557b70858e2a78d917f323322a484a18058efd0a08f1e0",
"df1c15ad6112664756eac14c31e65f55335433e364ec67424e57fa91bc4ab246",
"72b430613620bc0b2bcb291e49311fe1bcc65eee080166648e2867f1886aac02",
"b0cc8e43cbc60b1605e74357f9a7de01ef8a92e27ab3e9c1b05ee6f8597165db",
"e3ec748d722c2b0df4d73f617d50c3809e4c95e49fae90996b693983730b6d1e",
"7b5bb2f59a34823c0a81ad2495f7ae96f5253f8f92590f223a899e339e7b4511",
"110533c3536aeec1106184d820b1a926c71f53a45d9162176502b6eaeb9b3b07",
"21ac61b6b75b189d4fb595f4c0f563b712c17e52eb755f2b61922faf18e6c9bd",
"712dd5bb38ef018d197e3a2643843e9eabf7fc8295fc740280972d54c297e7bd",
"19195b32f140c06075810b178a6ed67f8db25305954296833c8aa2e4c5bbbfdb",
"3f4ed578f2d21bd65eda618c2af3ffa5750bce139900749e9c05957c6b0687dd",
"eb1016e1db9427c444b23847d060d296a127877f4385cf60ac58a5977d85ad8e",
"6b6d9eea0438a8161fc1fda660930c27eb3e96ac8c49cb31143deecbc07f61b3",
"13285b28874e66cb3f692151074dc0e99604c32d92d6cbde4051f053b1740ff7",
"0face78bf7f1b0baee1a76c536c62097380f173008acc9437c73553b4e4160d3",
"12097b03a3e6cea8d02132a7b804fb9d9cd6f0ab466ee48d834fd66785de38fe",
"d62716588dd267477607aeda62b442bef7135b5eb33604e5e391c25fd16dbe6f",
"48001ae4e81629383c9a1c6b1bfd9668d87ab5aebd28f5d728d398837a8704af",
"1ab2aba692ee88db16887d9f1559ba07ee4946298f573a31a11a591221764d48",
"838a7855f8cce719c3e0b5a8afd303976f1bf59f8ae732df6f4d2da71c6f502b",
"4dbbbb33497564a12791b93659a82d62aa064e405075b56af08da35cc7ca98b1",
"5f822bc1a0e831562bb56032daedeca3fd69abcb3be75e640ba7cc937644009d",
"e9081435ed8489849093c8fcaeb1e91476ed479ac90d516f3b62e724a3cfc00b",
"55d66def0d8ca90778c19ce9fa0a52a5e2b3cebef9eae0072bc926b558439b99",
"f4c7342ff44ff3614439c47e903389062ce4a978e10daf12fd482dbd32f71dc2",
"118bbee168e3b680086b93be26cbd618ccfb748deb8185c7a06cf088c3b7a50b",
"14763ed1f220acce6a62ca222970422fcf797c5c0cabfacd805bbb5f02981466",
"98136cf8727a6e9ae935c164ffea4d193c1d9ca1f716be01df3f9bea59274b1f",
"2bf0015330ed359d6f54819dfa3da1315c7cce50fa87ab1b1de6a59048a401f6",
"34132b122aed460966763a2daf02cccbbf7c83f0727aea9c3ef69036be4bc245",
"aa378068f48d5bd8fefb37e522dac25b39633dffcf5f382f1207ecaa666fadcf",
"24f49ae08cbe5b1467ac64ad0d9ec7248116cc8710c071157dde27ef2c1c09e2",
"35a72c92b0be58e5243be98f9ac29ebd2e9e0800b8bcb295d10411fabd32cb56",
"b766329d55aa2c3ef6bc8f7a99e63e2ffa0fe15e2a0b3185955618796acc43d3",
"ee6809f0e2730f5b0c214444c3ac0b2d245f7ab11c53caf3fa417dc6ededf161",
"691a25a6f437bc88111525ef4f31992375349d39fa7d2a817f8a249b4ca8cd90",
"1ab02301aeb8b4b3ea8981e9b25893d87b512c1b0bb9355ffce4b95c96d0a022",
"0bfb61f443cf30a39502a5c62e7d1578a631780295405b4b650bbcfce769b5f1",
"647edb2c93b1164c3761e19d507fe2cdbfcfa11f54191b81b76fc29f441c7fd3",
"4b824dc83c99649edf8981278c2c0b769d9634d118b6af9b359478c7448afb8d",
"17c5279d0d21013f4e76545a4a5ab968e84896379bd394fff2fdc6cd79758da3",
"d8d8676c6ced2b180111e8ab7d2bb8b83c535d02462a970f5e2c3193e372129f",
"e9b00c65faa1217e0fa82804320b75619c3173e5fd429d3e548d7bc4bfd74896",
"be69308e99b2097cb151597c9299e87a1db2e8ee553cfc9fb137c4506d1e3dbc",
"3d65915347a3683ff1bd0c59b64911abbfa75f705a1d7f2141918b20ae05a43a",
"916dde0b2e949ef9847eb7ae11f62310531701b4e677e92c70b689a822978c28",
"27f3e0dd5a79bd064b31838c6f25a630e821cf9cbe7b5fd5ea6a977bca3112bf",
"fa2a425ed10f0cdf209d1f9379455aaa69671fc9e2da33bc557d65a5ce658576",
"037dd93aeadf706a315ce3a26ccdea5ec744ec942af6d94117613df17d59095d",
"4c3c7d2b2193d3caa495407b1742e172ca344a6ab53784cf11ae132e626fac36",
"5be46ce3ab1df921879337b5faf0ad4df3c1ed5be7c516ef0c4d2be4c34ed5bf",
"6f927b9d840acd8fb9dd6f107da2d13acc7b8974d2fc27c2859c653f71f3ad55",
"885e894489735d3c2fffa833fc64c14a6b2af10db4547ed45148259cfaacb05a",
"535f45137be48bc9b34ce414d5beabb8154d01488930bf51a06817f00594b582",
"3175a63931fe6cbf0f306eced6cd995ccfa2c007866301f0e73ea26dd42512d9",
"617e76c93af929b979b09655e708690aa1e5da647f5fa6fbf167ab69f16e9fb2",
"d7ac09ad1b2004a9cfe54c8e7916d8c1e2352a3794715c30a3976d012ca685f5",
"d10f0c87c000a870ef450ecc85d756ffce67ec5ea4fb78fb9c18f0d97dfab60a",
"aacb9bfc67256698821dc8603a79f81600179e54a96ac233b77d7a89e4962843",
"1995023f78730a29fb19a446958981d126eec501c8d0d8fa76e1e7872b96917a",
"2721e5e620608a3b18902f01b3f381603f39163f17eccdf15895853035477c76",
"46ff9f8d835950dc8cf34099f7ceafba3abf53bc8954555716760650fbe04bb5",
"13e55554500921cd10412bd72f77e0d02d24e2acffc4e943423d9119866adb5b",
"f0672382e3a88070eac68041081a8b0f62f21199c66c95aac5c67b4f7ea0b1e9",
"43a1746be509ac956669daae8db9f5fdc7853541a8cf745ac17a8989cd702dfc",
"47ff9deae94d5d0dcc7f23b0e59d6414716cbdbfa892ddce95633be24cdae9f9",
"05eef9d33c8dfa3f7e65895a4b78329a53943ed197fc28b7e197dae665011219",
"efe4432f557327df9d5e5465a59e3cef8b7ac6ee3f7ff2985627a71715a5c28b",
"7eeac28b2921ae8110af0cab24fadd1c858a810ad196a78ab4636bb91457401b",
"6de7a68336020ebac9c9b9db62acf28f1cba7c4e11169984bf95ee62d3ab40a0",
"20fd0bb3dc9d4866e22c9d5837deb1ef9a1299895e2d8c5626c2accd86d3dfd4",
"3c4b36ce38f7c04514b7f4f45c0fee118a846a78645133c9169b55b1a9a1c95a",
"17272ebdc1c1e965a38f1fee46d79985a9e1f7f882bb8704ea1fac2927cd00ce",
"9586a4e91c2c0ba5db0ee26354ed75836d1e5698d457487bf2c4352b3ba51305",
"457e313df22257fc22b0f97ea992ed6f883288c7f202cb75b2da717ab996f145",
"caf916c3d08f4c8db5d1b964509704a90fc7233a6c680813489d01858b0bd6fa",
"5b5ba732b5e5a1447cccf2eeeab7865b5528a3830b6752e42bb398c448eb303e",
"f46d547e2bcbbb041df2d13c21fb4633e0f1aba871550096b043be778a82dc7c",
"b3e088a84306bec973cd36302a9c6f63f93876c4243e9d2a33601c00568d154f",
"c0718de6c8c101ff61fda9a3c84a8de36b273f0a7ce923bfb235635b245fd128",
"f7a36b76fd5b199f4fd7977d4bb3f8f47951d4753102993a3e2a3ec3c43ec1f2",
"fcc3b90bcb976d753f8167262dd8dd089a5eac2807565f6e7e235b37d57ce9b2",
"80be507cc5a8f95c90b6774f7510f039c7fec3dc6c1d1b7959196f4b7f4f49b6",
"41d33ebc77571373c426df4d979bfbb76b23bd188adeba439db43f6625cacdb8",
"66886109d2363eeb94b6ddc9e1938cca40b4ba35a2baac72e7257b29c68ec4d3",
"e2f99aa27425ad38e45a985e9fd3c3d180e1eb5adbb092fa88ec40d80252408e",
"e91978847a6b7d5b4703c7894fe02d5971fce5b789d3834d0b49c968d1a71dd0",
"dd09181d3a129b678f82077b1a7474ef723c3ff775f78983d5ddb093ae2b193d",
"8d8070083b75020f74e13523f4e3b1ed8cfeb3940ebe644977b51b4d018dba0a",
"fc9215fc0ea4918e8c21a1b8273092c6404a0c32e4c56883b7c54ad272abfe4f",
"95013f2405dd6e27f5c40361776d2d7e90f51b5a320329d67349bd51fbd214de",
"6c70cfb8b739d6b8517761acce97c543cd8768538c40a3e74e339200171150cb",
"0eca799240662561861345de80316b3935d6c136df4d33226caeb9f9c413b23e",
"89a1656d5dd991798a45efcbc14d538a9a7018607cd2184c42b6774ff72ac5fa",
"8eb38c2f6d336618b28bbd1bd220a244259541327cf295891c03741659a3410e",
"b41c5f1a7ada5647b9a25310da1c0d61137cf4187c14f547fd495a47baea92f6",
"cecf17963003f4085db86f848c047a105ddea49c6f54daa2ef03063901a6c044",
"cc6a26363278288a9a376b6f19d2f27cfe0d98e0833a721f499edad49bca7e2a",
"444f80610431b55737102b5dca7e23de22f207bfa26dfc0c3aec5bce8068f319",
"74185587f303f6a07b40740f2e90034c211f8ee4e431041b8c5d5ca15e9b9cab",
"0065b9bc183ee6182df7bbbd3c9ee5a711d0d29512211f203e37f3fd39d72ae6",
"bc9ef4e0c3d559730014cfabdd3fe74b5d6bcb6b073792bd33f5daedb09bd3fc",
"6be9e05b7dc4f712e7fc20179e8ead7bb71a54b7195a6e4d9774dfdddf0f02b8",
"9c550a09b882e8b6457f7cf8d7c7085fdd3c6f06f15e86bf207d273c03d9f84f",
"286f975cc82f1f527679f7c381f8d219dcc4198834e10e1aadf39fbe265db75b",
"edf26eda89df537a49591647ee472fe81257dcecc806f53beddb3d5e8d0bee00",
"c826af61033a5d69dd10d94ed2ae6150eee56c1231dee699bbbe360570cf6ab9",
"d500911a9745bdbf75745a051550176b372acfc19b652d4c051f4b55a8220dfd",
"c6a9106b36411a6414044a5c256f63c9749ccc1c0a159c7dec41e3e0125bf0b2",
"12436170b658928084f670ac6d6b91199a46b932c0dfa97795cf46ab88800853",
"5c43bce4a34c3ade3f992a68d1b30632024c2e71f6c5db02d73a096a8d11e8d5",
"4b9e15b60bb6abe8c57b3d2553f18e12664b84123e8b9542f1c80012c757c820",
"fd519652470248e1a3fd3072531dc6dc14129907400878a20c01077b7c49bb4b",
"12439462968df337bdf947c4a9248041b748e0d01701036024550992e3849d88",
"5c4423f5d84aecdde237a2deefc0d99b4c2c513bb7970d3afaf1106672df799c",
"4adf0c21dbcbfc38d092440400d74568b4e76a9323f41315ccc5723a1afaa32a",
"95a180c6afa7fb8608508fdbb8a33190a38f557d8393ace4d279483873b1912a",
"1ffc1d0f7c4d93219a8bb05a87f713f8f3adf0a4344284e4b904a5e3fab0854e",
"2a472cab6b8f58e606d6df771481f7c9bb497cb2ca82087fe51ad59f866e831e",
"20d8bd9a1c506acffbb935ab16b9a108e1927758183db8aefa202db208a9407a",
"a9a3fbfd65e883c4810490337a1d627ce012db04abedfb2c1b6152b7263d1e23",
"a48af0ea5e61f3774fd88486bc8a9286a3615e406344f15c74ba895be1801455",
"2ff128c662fbee35f9503b9349e158e3d6e3d2ef1de8d812049e8498a6ca2273",
"7481a001b2ca31039d7970bea6d3afd79f6b1723c3892331b377d0564a4678d9",
"c6d2a02cb1bbf94207c130999c761990de91432b2408d2a38c4e578bdc809ad2",
"c102d166a7c7e5c43f827dd01a0c1e29273d0a3e5bb41fee8990bab3daad3611",
"16e48b5e10f89d73bfbeb9f6e98a034008e794ecf8349eb0507f8b858b8b8831",
"33a0b1a3f93ea12458647ecf27b17ce94eccb2fbe353a0fd532388e32ae2b233",
"d8643d29c3eb037d5383f83d66e5bcc239542ef082a2d084467313716a4915f5",
"ecef258addf9403d3cad929b7e6cf2eb2a8a6697d76d248f3cbbba1c00bcef13",
"ee36bb4f0d2ecace80c151303027b3c1701bc4e17934ec698427658d1b2fb2ab",
"416ce63237a53f271cfec1cb4cd505e5723bd85249052cbdd4e8b8ad3a8b45e6",
"80df7204f3e94586678906dc0e338f9923f1acb59314ffcd2c993bec5e832659",
"b988a7dc139af6fe2087e681aaa9eef19805ecfcc5b3048d0d8bd9d3da435d77",
"a54fb08f92825464d114ca35798b57d45e3d4979cd9b5975f1353dc31fc5be68",
"2c80fda5e98620a395a777130f1ca674f82255c4cb05f13fe7dab5f41151726f",
"32cee1830883254b9a537134269279496213a1041044877c5239b0607a6bd4d9",
"90d09e2c4f6ed9711421d4235bdc2e1e07ff3efb07bcd52d780577cdb3bbb365",
"13773356ba796a64884f73997a28ca07af4c5ed63398a4d2e14077ad005c0e59",
"a78eacb45499f0f602b0bb53f8e4ba0f3129d470374f9016ddcf73852519e5fa",
"ede4e35767154c02a1ee2e7c4dccff878153aadcf53cb90abc4abc834901235f",
"873c6bf45127673957bfa743d48c328527da303cd434f53301c98ef414df33cb",
"be50a9623133e913919a7702a15c109f5060acf2659e8b5038abfb5f9df25f42",
"59ad5c24d4aaed2e8a014e4ccf6d2782ba3e7532cbefb46d25eea69c69b3d0ed",
"32a2405705ad4c732d6092c8906b73fdb702fab53147ac5884f766966974c4b6",
"b5b2fae9bf5f033d95d3b2f99a9f1f45e8963838f3e610bc0d09faa59070ff7a",
"a11ee6541e5751dc98ee29f59043235bb6293d6aac46e95f18a82979ee83939d",
"797299e4e30062f5a7897b2de4fda704b98f105ad8a9f697e56c7f41ec7f2c88",
"fc18d42c6a2a093b62c304259a5fc4f01b17387d135bb7fe226c0a989fab47e4",
"9f8b247da241b06330cb2779b059ff291c6ac8544697281ea9664964e61f3255",
"a8340e62d6fd60893cf85837342afb293e8e3c409aee52c191b2b21e606b69eb",
"3a402877af965ceeb51fe6eac15b4b00e9b4432c3d554eac7bb8b68cda6f6f23",
"d22e945b9254619ca2a88ef25cd81c4b20b21bf0d72f4f49aab6fa875c2b7410",
"b2b0e739ff3f23fc880df176f1c019005d64f6cc69dc04f31d5a4d70d5f4aadf",
"e95a4cfe8e2cf49b736ea320cde88c1bbd8a29d8feabaf1e71a4f3527d70cf6a",
"09c487e083c292683a89c84b22975638d882643ffd4e337760878d173b692d48",
"48dc56deae6de64b56d3635c41edfd36a09678448ff0dcbc22f71d2affe67957",
"2e42c5d676c14ed5ca22506674e73495b5e70cdf4fb240a06920055f12f69453",
"2225ac76c79bee1a674acdbf8cb7bb81d28bec3855e262a3d3e13098cdaffe3d",
"fe4237e2cc9abea0098735ce27a010f5bb3bd311b4427c1b6516343670f110f0",
"8651e5b75cc91793c8e2ac76f0781116ca1151cf469b7fc24d386c7c3c9d82a6",
"ff6a0181dbe6dc2a576209f5c4786953924d308cb6acad00251531cbe8db6bb1",
"6e66cf21dfe48804d4b2a4b8eaf1fa23fcce6cd2b174ca3806b31a748f9c6093",
"6ecbda8d92b35e4e5081f5a83cbc81a592c1a0f05eed73ab73bce0c1a3d89b16",
"914d1380dac89050825521d588d2ee4b43ad7621eef087e40507a55c1cf96bc5",
"af55a93d3b3d49de950d58eba7d6d42252a0bdb1bcd4d426559db516ec44ae23",
"e40983a8b034edbbc5930f20de3c5725954379dfac7116824497f4bf23ec5313",
"e737cfccb356f8946cfd7c6f7c0af04701259a4f89795307fea3db8aa4248be1",
"482d2f4780ed80c932b9b1198a75c1409733f03054da0a720688d87bb56b7d42",
"bc187bc48e89a9453d8ab64793b737643b61de90d3f3f93f1840cacce3d67f98",
"9183d015c5d783c5ccf426f84823fd06e0cd7ae3db84e780b103db3f86615709",
"aa359c0264d80d1eced627c6049932be59c8cae80e0ab7a2b0ae486eda0e47be",
"f7895540d0deff742ac2c84341d1a74c86517055848cebfbe5e0e67b30466f93",
"85f74814efbc66540e686cc69960f52331e44cdfac3d667d20a85def6ee80c41",
"51528dd800e099e981b3814bef31543df9b341f2dfdd1ed597592fd1fa87dcab",
"8a2a31a0af28abdbdc5a5edffba85353042ca1d4d64a1537d542fde3ea0cc452",
"b499d3d401b4f3a21cea70ddec983550419d8df85c8b2b1eecddd54876332add",
"ab2f394742e4ddfeaf20d911202cd6607d5532d26e99d29c4f9d3e1e7a69f30b",
"effaaf5f5ef2d2204d9a89ca887b6c7bc763b9efadc98b80af72552f6cc32925",
"6db8303f590af6d6aa9d0583a6583fb8bad0a73e47a305a7326b68354819ad93",
"546e4833893888ba81c088207b395de4c63899a0cba7d8b1a4e6fe40a0ad98e4",
"493c72510550a91202e90f378284e8bb651a6b4b8dff31ae79a7ad8472732bca",
"9fc1a27644a557dc0348603b4c309d43d755eacc46c6ac966eff160e3328f723",
"2072892fd8aa27548284ec3706fb58dd1af6c35b18d865aa81ef721c7b7a840e",
"00bdd42d4c2d38035ec75dce9ecb4e82c406218b608e3769b3963fcdf18a8b88",
"0d522159d9c39e0e428c80a6c2c3ac205160f49da601d03cd90500fbc71585cc",
"081e62beba0a5519e8ac29e477970fb845065866b7a5e11877b8c99815a50176",
"4723eeb7b076e5e7269698753786c563b4e4150750c8bde61adf78e35ddc232c",
"f44393c8af22fbd6128a66af779bb75f6848d0f9ef5bda96f335e6f2ce693215",
"fa512858abc0d644d5035e681e75211b58e9a0a83163dc0b9ade197ec4cdc62d",
"7fd4e685eac7b8628e2251060f56700ca30fe0218938f20ec1ad1e98d20d69e0",
"9a96d1f8e091c7c9f807588456a0b9bd8c171e7e874e1c1b8264a6f1d24ed7cf",
"b0b5b0a18f65c80891c3efbd3a8daa5137381378bc2f05c80abe49cb41f2aa4d",
"fedc859a8ed4630535271f2e9a1990029faf917d1aef29d682e62c15f8ab9da4",
"80a9f3011c3c20f4a7fdd8fd32701b35f4f8b3e0f79798906ef677fa334b18d8",
"71607b66a4c4942f3118209f8b99dfde3c242f285eeb7463b455709ae5e99a3f",
"a70f9548b57dd8930540cd186876f8a7ca593f68f23ffc6ff275efb34be6bf7a",
"b318e7aad1a3b2b972c5b3849350f0540851dae92560b0c9a9c3121b43c821ab",
"a9e58d51ed677da90edc974695927ec266860c60bce24d8edd783fb65b32f888",
"6b9226c4821e66dd473d33d57413d0462659d47f7b98bd0b6535b31f3473a160",
"75b2ffc6a97d5c361c38bbaf68e656d871695b9d706691900b13abb37612abed",
"b226f6dff34bc1bde3e3db30b0e7ebb93ed9c4badf1e189eae5e32cae5e952b2",
"3e20b6762925bd79b82a6ea3498c8cae6b60f28ea80939d9e5d1d9757d7a39b6",
"959e951a2933f049b893d92b0e0f704315cd5fa6b35618fe277175b7bce6ada7",
"9c892911b7225276db26008601069e7026ee159ff15966c648401b33e7514136",
"3328b19a149c02beb539d64d224185266df598135e2e6122cee1d6003769a12f",
"d21c0b588b0a2d72c109236c0f24df63eadd96708b8552e4feb32acef7ddcfc0",
"268b29baa20a2d03a4385016a85e36fcab94f3b83ef97b070447ae1837794f98",
"a43794e6d0b84024d7be4ddd515360e2ca1d98c59a89516d566b4bc3454e9d70",
"d7a3482dd4768c06f5382a1f81c0e45311cd239a570bcdd3ecb6db9c05e097e3",
"c81746e2088e3483b9672b0d1b12e2321bd96f4490ad6879b725745e201924af",
"a71e0404aaf7d1c20083d54b532ca179aa5a3a81244daab4277e689d315efbad",
"65f29daf154672a4e3aeff4ac99c1770e199ba9cc1a02d8e5c3c40bd6d5d2236",
"445e96c501e65169e0b59a7649d105713ccbed028e08dbd9868a8064f638e999",
"775852d628bef4d1ed005baba9d02b36a0b6a9918787e394e9e712e8c32d0982",
"51c2dfec20e60ac7ec3ce6bc8db33dabb5d87192a72be2ad34124c6297a7e4da",
"5d539ff362051bbd740c93ad1085da4643808b72670856a8ef0094e30d71cde2",
"6547ea85103c6cb2c4fe36963c7f190e3657f8a1895ae547393dfda674dc78df",
"4e0884a6e87f10831ee94bc5d07a4b2ee7689dbba6515470f8fd1cb1dd220c03",
"fb8d2365644605d55554d3c08bc3844eb1bbfa789009c0d0d187ffe66ad200ba",
"ce9e171c6ed8e863bbf486f104e673104a8c4a131b1674d8cc76a7ff23eb7c3f",
"84a5ebfba3363248e24fb69a0d4e52a4e95c568ce9f241e1e3842f8bfe0c682b",
"489475776caa3cbc13520cffe89aadec08659265c6f0fea37e89ff85b36006d6",
"c67a895e4ef23a005ee213fd72c3f0e75bd5d1e49cf0c8c5a1dda563afd6f486",
"d84942ffe059b9fd67609309a43948e09f976873547a87799619e7511c0c1c4b",
"54f74662b8c4b0e74bc6b790feeb4d1062c4861b3d61aa547c3ad5e724922e39",
"007af414e7fcf88458895d5a7a3b4e4343b75ab0b5fa97bfdc8441877ee705e4",
"93102abf4b6bfb64c40d12e94dff3505831b173e2792875c163b6d5b70146650",
"99704e63b9b923b095d8f136703941562dbe11a8b3416222000210e2bab43527",
"8eb7a3e9476257c98820893bb23b6a3d968b872e4a3d644be6658261ce0af693",
"6e799a7ebaef28400f35ba689c3c8bded13cc57f3d222e1b14320774554de2ed",
"b0465025d10d8862fdf943f08c8db109201db9b69b9735b6b45deaf6275a8f30",
"34f3159dc180cafe258ba2a5ca03c4d9577e707107036dfa2ea18d0199499d59",
"d5522fca12a775c06b83ca85d85b74d5bd7967d94e84daebb733b538d13cebf1",
"d1104a548207dbc847df9dcb06509c9383bb02221eac5d78eacdee24dd7d5dc1",
"009f414d72c03c746226ccd97b6bd98f64cb23650f920e7dffa5dff1c223e2d1",
"4060ff4b4b864319bab0856aa5b4c5bf61c569dbd3281d1adff891f1fc19ea79",
"435dad2e696e3030b2d6ca865d59db5700bf5a97dbc932e2c5e140c66ccd5b72",
"2f30b2a22c3f31b261d41ccbe210b6eee62149dc73fb82c445da2d29b385b804",
"a1ebfb6e6187f0fbf00b2b2138672336826303c3c142c1c82e4cda8953faaf1d",
"050b388be90d1ab6ac91266f03eef6adfa67c0f1176385cd3a9d297f62b8596e",
"c0cf9aba67b28977e872af66c507687d1fa676edd6ed2eacaab498b6c70a0c2d",
"dc451ffa45f696d7fa4751e873fb0a1f59e4461e62928cb7c542134062efe786",
"59ec0fd82155921b0ec3fa0211cb76aa42b12f507e92663fb74bc2b0ba6a28e2",
"51a1c01b52d1c2c5e8852477f34306643e7dd89ca4d6f67bff789d40cbd16507",
"4a8da2d097afd8c287b06c9c0b65d6074eb187863eb5c428d63b11bd1da0f66d",
"16ddea2b5a3041932c91cf661985f7df225cf5623aa4e624d57871fb3fbb396a",
"b6c0c9f44b85a15a23dfb3d762f242ffcc7b1e47b708de8bd0e3398ed8a6441f",
"3a7f65de1346adf5a873c98942fc4b7408b853481a3e91ded42aeeb9d3b62421",
"8445306fad725fe73e65f9bf9e662db7be017e93dd0571362d3e597ef73b81db",
"bc825d57fb65880cbe6468df9e802254af74ae87376d4f4eab26706ec88fe0b6",
"da2024eeb9c37d74030746ac45ec41db5a7f3e024a56975156b15c7001aa92f1",
"a0fe68075e12902556c2fe8fb0bc3fded91124be863609903bbd1149d32eba39",
"70290689fa9d924d5f114bf935e24cb04c57098cfd57436dc788211da19c33f8",
"931f19956af96928f7e008a27f0e536795c31a5cf41a09e9cf31082f1b250073",
"a23d0ddc6d964033e6da9eb1837451c7224ca22560ce01a00a474631574657ae",
"451ba98ada2ba134a75c6ebf426364649cbb4c1f193b540c25c86682b3efee4c",
"eeea8afbb1ed9421515aeece1eaf0cfd6b5cb0a7aff6bdc145b47dbff16f516b",
"ded0620778981a9a77c83d8cf522ee3374085a513dac7a02da1eb0d0f863ca3e",
"0fd04a078938fd7eaf7eb96b2b4f063704591bbfa2961ca2b2a111fcd1c21e3a",
"b280b3dd33a873b3a82959b5e088f08ccb611a171de952d7fb9cf35fd1acfb83",
"d519d240c5c159fa585096890e371ab2221308b32bf9129d70bb08f77c40bd28",
"f09d5eb797e8abafb5c4745169b77aceca26c736c952bbb75194742622e4a5cc",
"5920f60dad7d640aae000d73d38343e87e776bc7f652911b21eccd9541cda177",
"abf5d4073782187c204798dd8eb6e218d776702578e64526271ac2d963a0be1a",
"5f48a7e33e17b7cb475eedfbf06c665d9096c778106eea35dbec4197c90503df",
"67634aa1e59aaff00ffb4d22cb6cd177e018603708e6a6a2f58413a00462582e",
"e5ffa9255eddb30a06a9564d8c9716f5d8653dd3823f03796103f05db0499614",
"bbcfae9d30b729a33359006f2b996b88c9a30a084724b16ab8afe35be310785c",
"75f5cd478cbd00eec9d78c8acc15979a6c1e7e2112cce5d9c275dd63dedb9ce6",
"a0534d4664eae6164a16e0432d9009c7b0b33602bf6e10e0599a6fbb464cf17d",
"80671bbfad06d28da82df6fa609efea3e99930573c19be22b814c368d364791c",
"a93d8d47f24a22bdcca6a9066c92f9629b25e3c7de1beda92f2bc9391e73070c",
"5bdb3177c4970b1ee742915cadc4eacdb7c20a22372e96120b6fe708263c61c1",
"cca117f760eb6c83e4f5cf518b7a8b2bf105b72603da2667266abaa57e29711a",
"368eb003ef9e5b2fc3358ad8ad52d2ac18ea386d66d1f3227df4dc6736cf8e9d",
"b10c3f945b645afea2ebb38c15e1cf11349c0a2ef2af3f3d46adf13ba80522ad",
"89964908ea2943e41f06a5e27fad6a8b60af237ca582db496704bff3d5597048",
"109eda27a5e7fc6b91b0840f5092670f5943d3884450d886f7526501e5fff77c",
"f5f774c58fe9122d8c5c549fb4818d21652d2d2fd4f05b7ec1278549ae2f3595",
"b6b966ae4206608a7fbb69f4f24c35e63ed3895ea995966b89b19783a4f75ba8",
"705bef6e44e05f73c395fd99ccf3c9287aa61ae20328df530176f2964bfce8ea",
"2b0567dbbaf54b331257c79f39753bfc5cebadbb716ba0345cc76487746cd5ff",
"06706b31bc87d9d536afe6bfdbdedd0840d1bd1fd631b7796f368f5b0a403b5a",
"404d391e59831e3b605ee134210ff919d79951b54bbd4d6de770015ace388835",
"257e4fd46523d97309ccb690ff2347b090c587f63633f48ae4915db72e165fb1",
"ccb11604022adf6ac6eab00abfc93673e0f96099bb7b7b6b7758094f916faee8",
"d8a00ff696ee4775703fe939009d7655f8a23592125c00cb19dcd1681880294d",
"437d73f7e5f055d9f8e05d6c6144d78936fa36c4fbcdcf285a0377bfee89a576",
"5c01ac1b8ef6b046d0767d6ec6a7c0de95ad195e20c1b8f4449a68f4cc62bf73",
"921f6cb690f1b05de974d82dcab24a7cca7ed57be230aa7eea6621088adf0311",
"e4b9af8b88deaf27a304f0042b7952d7dd6bb161a1dff253c39c41b50be5b69e",
"9ee186a200c22f50210c4737f25eee4a534faef76e88afc5cc6a882bdc86c618",
"e586c456a97cbe0dbdd599ac1163cc819f53ee7fb779b641b6d5fcc9dd2adb11",
"f1dc3f5dd4ff3f3a10fa05746a21a16685f65b97f5a67b2b2d4b78fc26620ffd",
"f3d63e481eebabb3e3b7f7631e26a95e13eef8abd9bd41369f624064b9ad922a",
"7ef495c16933020a3dee022e5d24c5bfa492501df62bddb81f9f2c4da5a5c275",
"91fb2c9f92ea040107b6841bc251f8e6435432173b4d104f8835d6ce179f601c",
"3d3d326785fa843a6a7519b6608baa78566bc5573d466d516d064311b6cd5b1b",
"8c70b7bec65ffb18abd3ee85b39b6ffcba0fd789826e3bc24ad209be129b30d7",
"ef77fa59bd82d41e2cf96e28c1e255a3ea248fcf7160ab980fc6e0958498f6d2",
"a1f6afdb7a5d0230679d2ae59702ee9888b9fb148683f679c645186843af70ff",
"d451c222659abe36e811ae2bdf7af51f7a71cd49072e4196b2f86cfdd3ca8c02",
"0d5e7799e2f9bd34ffd9446bc3d9c2633fe2dc300611efb35a99a1a03e92ee8b",
"368a090c1b99d7b38c34eef04a504780c3a54960333249f02e415311989a0f07",
"56f7907658d92f61b6ed70aee00327e5f7a76b8b79701be1db4dbc1743b66cb3",
"e3f79d2724fff6e162af6292393d53b09d413c7ec7d4b1ea213dc784990a5a06",
"4d87fb0781630dde565792f5ff078ac9e22235c2711f50362c44fe54aecd3149",
"235d3a1aedd9fb8f03e358c7d5627da9605edbc62796642aec531f0688dd750e",
"163f4d6b2de3925c1d82a6e867e4e72e5944f76d91840a05d3981ccfbf4412de",
"858adff4b8e7e4a13c9193c7bee997a0bf850ec6137364054d21007c95c36d83",
"089689ae82f937306ef561f29146a1f3a21890bcf4bcd78521f1bc4d86f6d9df",
"3f453f848832088c80c2508c349932ad36b40a3caac63e73a8c800f41326cc9f",
"0e2f18f5aced8092ad14da5cbfd82a9cff43b6e9825697e2206b33d9dc4b58b1",
"09770792cf5b49262d27deb95afd6d8cf0d2e3bf333581de4e0abd0e958bb3c8",
"d689ad7b6b7c130ec4764ba602dff68ec313f8cc9adfaae3c03633c820dd4bb6",
"3fe5fcfacd1799c4f39c9b28b96da51805d0870144e800a7d4d331f257778d69",
"4f40c6d439aa16b018f0aa58ad9ffd0464a853a74a928130393a4f0481bd5297",
"6fc5cb3e4480b1ddb9eac6fd05d18c933da72671139ed87f487e7ab05f7a4550",
"c86deea1c0db88e6ee83e58ca22f8dbcb7129544e98f9fbfa9c80d4df80965af",
"e7a28dac3e80b47bd614c2cc5ab7014085f0a773ef2c96019aea9bea93630445",
"a9ee039508661a707f8c8ac1a99d2be0a6b2500ade60abdb09778717d9574dfa",
"65848dd701bc480d204f5657e8a6217210e0c414fe369a567d2ec7a972bd459e",
"8247d3ec4f62bbd0bf0ae3e2e117119a326394d1b809fa4b57a0798a9fd7b830",
"928dea295d3eb5647a8ab74abcd968a42a57e0aeab82843589048742a4e628dc",
"6e056988354e2cbaba493f9eda5883f4de1377a9c7be3f88779118df5281290f",
"d7e1eec733434a5e5fcff9bbcf08aecf936e1b18ccf012fb605a190eeb81875f",
"f65c854700f60730b524bc825c9867fb5ecccff9e3fca1740bc34320a8174147",
"56f88a6a5b4477b11689afd5c977795e3082c997e3558f3b55b8cecf32539036",
"7b747c2fa0b9ffa587f94702d3cb886c165c6a36724fc0f904a164a0477101d3",
"9742431559c8346c459b0520caaa34f31e8a803784c7dddfe484a70c26d8a7ab",
"941439c56821e87dd008c7974e171ce79d6f6d1785a521f953b00a5bd5abaadb",
"42c7e38f630a21525e65003e702ecdb6773c1399781359b8e5d4e403a6d7fd60",
"10013b681348a7c6e3905bbf27772bd7ba48b4fac89db10be25223fa08afdf13",
"1d6c9090a6562267144e4f9482eabfac3e387c1ed4322fa4c30369eb04ee75b6",
"2b38e3bec6fa52dd7e3841a982edbbc080f7ee6ed4351da2335b7809b4925e8d",
"ce0bf2c31a3b9b00773b1c733f0b4217b1bb66f77b522f3fb81ed60a6e4a9f28",
"eddc39c35ae3ab7e3f1bedc8c4c1637731045c760a513e2d1dd7726d777812e9",
"407baa4726a03e8ae1766f9e35cc6f770145492951955ab1fd4fd5ecfa30c1b0",
"fd91e2f14941ffa50f7474b250e611e28a4e35aea1cad1fbdca364b821edd7a4",
"5801b842aebe98ac2e8c94ba748f0f03d4cfac5106737fc0eb1b13812c6b9da4",
"c57e63b3a7798c35b7568baa1d1b8f45c12230b5562693aa0bf36339398d09b0",
"c48f42ce67d8f54a0514b5ab195497f18c21d1ccd2d8ab2b2703f2f1cec1cdc5",
"8e3f2a1aeef3f4a4e11cd10825a14dd321384884a2acc26f61638e05f9cd58ef",
"eb2a393fa87e316f4105d854dbcfef0381cff40df70065e8f50c474e498f820e",
"cecd9453b5d2ebeeb2759d5986f96bc73cb821fc32d0bad1c98d01a05e775318",
"3d32fe171d75bf4d23ba3c41ba0de4b5f6f79343a38d454db67a87a5bcdc1a4a",
"348405e60d0b6e1dc9597e4cf3a9ef6809f6cf15b15b24b70a3cd1a5808a3912",
"4f551393e35ccd72a29db87ad9211c41af0108f67d43dd2bf1d26adf3d07a1a0",
"850b8d13a921be9376faa7fc6b6ad615fa6288a405bf6dc9eb0c3e2edaf5cfb4",
"f2be83ba3bac8205ea5a03634b58fee5abc0ee0c32674fe0f18f1874488a4ad1",
"19f8de2e518b5f29a08b3ad33cc3b21ba246238147f8be51b90c0b42d8b6abd3",
"0db7397b9a7e2f131416693b43cc5ee49101b7374efeeb61d4afa49b4f675470",
"0c63200a6cef8a7b6b5c258b98b0cd2736573b66b59dfba651f03a05d3a3b19c",
"0f9d4c73c48ae10c3d2b3086262166b23d15607729228857f0fda193af22379e",
"df419e3ea197309055b54972bb8f63ae2189deca7f36344e66ed884df8ffd639",
"c4e93e1f2c4bdee52ccc15a6599d6d9856b2674b30aeea6173eb54c220875bab",
"49a3008ed947a0039eee882e9161d58c05bf755542509ed9629e405e16497673",
"d31dc27627ed03c0b59afd300c1fb80782f48de6daf181a09661d73a8f5620ff",
"467a0c176a0bd47db7958364ec11a517c3207c0486244b039a332672f61c2eff",
"fb2e712d9e1480a52e527f527e9967b275352481b0c2fbe484724d4dd5720f50",
"fced20b879da71b4e4d4d19b02a8bf08e469c01f5a04538837caf6ac33a12235",
"4f693f6429dd85b7fc38f71e7262212de968fcac691b1396615940ecdd4a6168",
"b2ed903b2e7acd39db45e80467728e139bc805cf572561f38377e6047ff0353c",
"81d6a3022fe5b88c02dd08662853b447dcb01d33cda2a10a46f894be82e4ae8b",
"37942a5ac238fdff24b52dc290ccc4675da10991892691b98e9e11902609af91",
"4d2e19bc82874ddc6fe88ba4ad8cbb2ecbb7e58983f81e34d8e89d968e8e0e41",
"26f64ea77a1796ec73954860d6f919a6d6543af4268c3896235aee6da8e78648",
"4f88abb45f3c0ddce676eb2a043d9578e175127feaa4bfb91957ec66b6cb6239",
"458f30d66461c1a8178422b38203b7ce2e2c33f003866ea2650c1acd2a052f8e",
"aa375cbf8cd4823b30e7570a36ff4ddfe58ef732e2cc37f67df62538fc6e8f7a",
"fe017b5e34f6c219735770446a221285fba910d1a729e01d9ff273fe940259b8",
"9e87102ed60e0cedd30df201da57c5c570fd09e89ed565234024941458e56502",
"6adfa0b83a3a9bc62e2dbec5263296dae50f30e88c0ee08c4543ad905e373b2e",
"7209e6793d7b2d2b68ea034a39f4af26eb7da5a167944b37fab08fced681cf08",
"52f5ceb837185cb8ac20b65b83e1696c03357b597794eea7e92d9042a2a73c5c",
"2534f826c046fb6a207c9e2646f84226cd59217ff1e0c7356e638bcbd5f45d9b",
"dc31ef7e2eccf96b3917065fda3ea4976335bf93f27038d1dd1c5cba563117cd",
"da8040947afee72588cfafb4b12a314a832b8822e4526fecf22ca6185ff2a50a",
"311e8fc18dc2032492659e2f6472a05fb8ee80004b9f59708feb0efca9bf5210",
"f79b5deeaed5eb74a794955543cc49e57f5e35dc45ca37654bab36f3484605fa",
"2362aca888c7172a2a72a58e0674ca665ef6a52056584f14defbb4a237debc67",
"173a91f7550f8ee650867ab0383b2f404d823b5623e8a84fdfa5c9b1884f93ed",
"2426e6e1d1d5aedcd3154a21c80521ac4bedaafee36fa1474beb62b0af2e26b7",
"7b94a6503e58fb1ef409bef81cdb0e4cd207411aa1f8ad74a51b1783a6b78d84",
"2c3367a840958a622d6060ebbd4c733cb08f8bdbcf6c619c53e49ab04c46bd12",
"35370edde95a47d17b7b118e6ff42c187290dde2e916ed8e3a98e8b73eb804fc",
"b4a6ddb1ed8b4db5af3451cf6e877040b5081b8fb5078fa3d2ba949448939067",
"7fc21c1f2f5dec826548c191ebf5da348df67c558d4a636f79f16af4f945071b",
"fcbf36d9a8a2c9de909966170845769868fb44fcf9d6288edf0f0dc4d7b22e0d",
"2b888b7d5c3ce470779a07040d8a5130c8c56b0418f90df9da8bc932a125a5b5",
"3d93a6b494cbc9aa427f24dd4e486ea5defed8e5e2195fe223e1417a231d596b",
"2a35cf1c69a2f0c2edf5f60266698028a5a63254e9bee34020d56e9c6b26c364",
"e80431d91661155f8930d1b6c644c216cbdf1ebe637b9e064acee0c9d9e33e2b",
"507820d6448dd8e34c74b765a02a44ec90bedc22425bc422c217242003937a93",
"29928be021bfeffa8d3cdee5993973d7fd7e041a1c9b83ae6b14db0e8c5ee5ae",
"721b4c5a2acb66577063871dfa410b0afd42f9e4e470e313149da45df23d1fe0",
"4d8ee822654b9ad3be8a26fce4e860b373ad19b7aa8123da6e13e05563403666",
"7e24898072a8f6913b8e4f98a8c763f2717320431bd3dd1704c18d1cb77242ca",
"f852ef9e83e8caedb6edbd1e9178f8a824843d535d2669a02291bae7338b8358",
"8760842d027d388e4d90a73276c4b7ef8f376bef376fdbf219e6c81e3d3250c3",
"aca429b65c22d99b08b3f98c1765189d2fa423113854642dbc5220f3c4ca31e9",
"64c879a248fd70743bfdbcaa8330905c7e4708a9e70305601d45924356f91bb5",
"57e9b5a4e719d6b3e7bc64e05be95964ac284ea7b589b91172cf1e54461e25c5",
"bc88d1ce6e61de0d34f5938dd4d19154db7e003155e5100fcddd3695016521a7",
"65e69df4e8b01a6e2e70113e2c3e771de4bc69240abc0f3ebd55ff9d55f9d5d5",
"a70c7a00267b2e018e6d3fe58b5c0b6b08c1af8f72e3efd4b20c20379d409bcc",
"bac58d51d44c88d6662ee07b6a7fc289156a574e1a68bf89316c276208415228",
"a84dcf839bf8264f3728832228507c2cf354234c9134e8c09ac084c9553560c1",
"1a8fc0d675e3f560c443295fd0f6a6ad140785beedbce6921d0057329f461596",
"74b471131b67366ab9c7ea092519bfab5fd5b5257c2042f1b6f2f65f219cd12b",
"fa5da16b359293b6ff905777c17d809d966241eae717729a99973ca31dcd309a",
"ebff2b8e9895e5573157b3f49337fed97d5483883ec3e2fa7ff2730905af27e9",
"7e2d58e391d9fa2b06e39c366d567e763fe18477d261949cf6edbd4fc968b8ad",
"6d8cceaccd23e7939e54872c8ac7559ce7b2e34aefdff826d11702820257950c",
"ba288a833cdef6ada90fbc837a3d3019ba13f58d041f6bc71bbba8613e2801d6",
"4f854b0feced22e65fd9c7c3aff51175d5fce1dcdb742eb52108466988089458",
"866d992b2313bd51402d849efdf77e435e0189f02dfe4ee0e9e09f49aa696ef3",
"d92309a1906c957cb163ced42cf9dee901a132c7eda4d56ef0ec1377d38e46a1",
"403c082aba705c96fec0fa8f3fe743be6ca9656c230938575f9c7ebe033e4626",
"4547927191eb1bf441e11c2c059508d352c39a3b4a58f60c1f0243c064ae6f6e",
"3aa679864df86e4c5459af62643f69dd6c9c91e5c6a61d6225ffdd80bf7dc9fd",
"e3247a2ddcdba07a325501c07e13b46b50f0699df6542a21e038a4bf63bbfd10",
"c8d0dae82f65c102627a3f1bd2c25720c68af1b1ea648d8fb31a9c42e1b1fa8f",
"3deb813e33067554c5388c858d80d6767b7997dd717c543b0dc15b33abb601ed",
"8d2533ac24917fcdf8fb79a17f78edf4e0e09fb7fb7952554f379d5bc9f8a1c7",
"1bafc5626ef409812bec5e24b0e77e4cf21341a283b9e3a38dfbcb7f148db3cf",
"3a43b6b2058ead9172b8af8f18d6767c4c042dcfa70616a51915724ce2d67e2c",
"1d2119053c1c3d79e1d46925e456ae4959236660caea6c77574348a344e331b2",
"f3c6db5eeaf0ccdb9697d470e5df19be6bf2079fe2363d949b8d718a102a1f8e",
"5bd32ec65c47b075a4019d2db71b47216d1c4348e4ba4329e010c38ec7fe75e0",
"1826138f66bbe0c27043a41749f6d571a61f9829568a161362edc7bc89cf38eb",
"4fce3a07a625eb754461b37f13b2748cbd5c1642562499155887215d95cf7766",
"8109c8505939844c73ec9d613c37b3bc1b05bfb74b5b1370e2ca1552cbd2a60a",
"fbd46c8a18119cf5c7449ac6d3ba9b11df2e18eced399211dd28c42b166f8414",
"b4969b8fbf283c36a806100ac8a27a7232b1d6e77715a0d81467c72e34ca5ac3",
"0f4a3a340ea823e49d0c2cf689173f40074519b487cc819593cb43de3db3a207",
"0d6d8118ab0b4295b72253861c94f30471ea93167e93c36f6d6395a98cceb486",
"f3f1df2dbd35c301e05af17cf854afc046c7cf5378678e0f08dbbe0a22ee00f7",
"a04aa8ac743e622dcbb7b7c068a3eb7edeed0dc7ecafa2d3d2b6bf53ca8d9b1c",
"a798b69728dc3bf37d207c34fab06d04c38c22be48ecc08633d49097a3df3276",
"953470bfc13a25be6c0a159da1a70656c4461d8298f3d05db23217f9ddf8de8a",
"820fa36a3504af48e777303a87476945a71482b19de2d400ca2747bdaeb6bce3",
"1b25f649594b37aa2e13ee692e45813c9eced999c136d575e7775c3c44873a38",
"64f38d5a7525940cf9eb6ffb87fef28096e26203c063d2f3c1fbdfbefc810ad1",
"fc10543f1bf68f449bc1db84e50ce99c508870c50b6b42f9678e8650fda84aaa",
"042c2f2ade04fd13d6ffedb99793012f39bde9e12cbd07efb3b3d3f5114ecccc",
"b94bcddc506e3b2063aeee1300b34c4cfeaa85b9175cb8a21bba34fc78453325",
"fb946e31675b72fcb93b443b135a741c891c92de161e451af63c05f0feb88da6",
"c84366a67c12c0b14c4a0db9c8fa4fb3560ca6f550ca3fe9c99e0ed96f587c4e",
"ed9d42c5914f7ea190dc63516690e908b161e1fb04e1f890595947541f106f3d",
"c14466d642ae9930bdcce30580cfdcdd098b8ab3e0c9923993317cc2650c13f6",
"4e34bdd62cb1ff533beaae36565984a4fe4b37d46e2835de32f5612b261be847",
"091ba350c62c44e2dc35a63c2fcb7cbfae444eae0d607f0f359dca963db03972",
"b0b1d10f9001a9ad9f9e5817425ec8a3685f52d32472b774a819e69659f164ac",
"6b4f7b2f9504d8569668b4be96e9505f37e0b84c6427da81ce7481d6d73c4c6b",
"c2e2aeeb39b293ef35f32bfff5f2f87b9b5ee1852e992e7c35a97656e78eef57",
"a70eb752f0b7d91e651c2bb5a04c93517b077425214a42b5b354ff5add3faaf5",
"aab85e0e9f9a4964b2ea6bfad54b55bb257af6a355e3e915f1f7646c189898d5",
"14587e2f89a4b367ea8f58010122dc247b0dd308114e9041672265be450a2d5d",
"6af775d0eb69b7d330cf5036d5048976aa608231a4bdfd093fc001f5ccb59ea0",
"fe7fb909139623fdf3d08d98ce3880d1615dcf4b7db186b41576705e73165e95",
"64adad56516051f1921a6a75f0a74c2722d889d425e5e225ae5a838a1e899de3",
"6994870e54602c38f3e7d8f2d5bab3bd4b3769acc113d7d72c38bf4c7207192c",
"dc94dcda3d6a8b21d47462500c9aea64af7389da9ddc91af4f8ec757ba02b3b8",
"b961bee513090a9b0d6683edae1a7272147e1e512f5a98b157a7e7651adab2d7",
"912dd3a748ade4d180747437097b7b98edc2d0c45602f274912e65e1ab6a242e",
"1b287914a2eb885ec243361b9cf972dbfbb732218462f9e7f588dd82f8efc04f",
"215ff7dd982871f001e0d7ac62378cf06ba9cc256ff07c3fe5f397d86349366c",
"a75bd6d0b5e3bf048d0efb7089ec50706118f7a3ca33693d8c4828bd5a2c8621",
"7de96b5ca52be6a2d3c36fae97c9cb2f942abeb0c2df9729f232f0ce0dda2e62",
"571c3fd34637dc3b20997af9708036a7dd33284a2b5aada25b3274eee19c9cef",
"50a93442c91b5e6e20dac3c20e0d6f2f9562b53b475318b6c65bbc054139d8e0",
"26ebbeb9bbbdc22c3296b0e1a0186c9126be325bbcc7bc0bc93e9f96b076807c",
"7870756a4443763661e1629fcfd591f2dbf91ad42721cd62ede5612e5fd94f63",
"2c60882c03a78dc114f39d500fa36df5d0b7846d4fec6385c3096f75ac2bad75",
"68bce6c7ae913740e8223ab3ef3be411b6e4ec8959786560d9f422ed23893dc2",
"ad0d3e9f16b9091be13104e086a42a0a691b7c47995ab49cf78eea51013f1f7c",
"90ba75068d106118120aaea1a03a90d05de6dc094c971571ed35b341b671bd1e",
"d1e4301074561fc7f5a210f3cf19e0e109f7f169da897aa97a8857c1f0d33496",
"b223e310ba450f371ee2450df70fcf9bc91e35cefb5e60c456c098823c8e6676",
"b2765150e85efacd2a20cdec5dce88881bb517f2037cc42979b3e85fa8cdb85e",
"8370e3ae7af9c10634ac6cb6827b89ed3f706c8f383fd19c391d13dae669a2ca",
"3eb9733f6b96d6c2d22bc099e7a238249e83d5b3d6ef7b2793e12c52fdc0db29",
"2c2a49356a1d535af2130145c78c14a52206fad5d8d1a539b00cad87de26de0b",
"2509d0a3feae40436884e489598e2a91273741e1efd24f9892c18456604b349f",
"71a9e5dd5c9f235dcb4af2b5333252cd4e88634622ff17bc8c51a2e450189e53",
"fc5c94d7fb184d62bdde32eaebfdde90240f1d4929ab4d38459ce83eecd7f149",
"642898b40ebcd3bc63a63dfd6ba0e0b041c70f78cda052c87974fad75055ce90",
"d88c3b31f1c3f288059fb7d3270a9513d7d47617d9fd70cc29aecee8a6b524d8",
"85ba4004bdf8338d0621806f457ddd8bacf0ab22e18e93ff98d52466fa1ab3c3",
"3818ea087b1a8a7750ffbb5f0b7cb33a96d3c542d6d14b8e5d35ec467d0870c8",
"57051dd652d266303e25558f6bf6388a83cb2a1a179577cfb89de49bc4ef1165",
"8dab68aa4ac2cf18112ab3e3c1fcf5cae568b423652332cb8bf1155c162bd3e6",
"3b55ef3d68287994e378749bfe9bbe177e6066078d216c9e11404065b75d862e",
"41f01011b0c59caf323bce5ecac4f0640d8a9a22ed01ca1510d7a6b7a0469f36",
"40691ce87d37b2f332b9e2901221338cdca1d3019d667f8360f10e574a5fa378",
"fc29a3773700ccc416a7661b3c77a2080cc82f52c2a1250a43fe4e1599ea6a19",
"0b5514f2253d2a9f61e10201ac73cc3b69b979d4694029cdad92be18879c79b5",
"1f34046e2f61e9db097410ee86a11d7d8ebc1fb459c6167dd26ce352900fa20e",
"ca1bceb71363432378aca9d8b385e2ec4bbaf4ece04b81b303864d1472a692a0",
"c61e1d27405d661819f5ca0d3475ee3d7b94effec00dfb9b1937576d990e0215",
"bb794923edbd39cc5d19d20516e4ae76ddb238ea335faaa1d03df7f169010ebd",
"c9c51aac39886d715d20925803afd84d231e1e1ec0f8042adb9f225491a6383f",
"5ddff42419be40b9fc38e06878bb05dcc74a44e8c2bb81dcd8de45c6d085b333",
"6e1568f933f96cf316d7025864b1dbc43d58f679113a78048f3be469229b0113",
"3f95a98315db7f4a2fdf3e90d71487c908cca0b3df9ed8cfaca1bc9f86fed115",
"62826912009eb0d3754e6ca789b435a95d89eb3dd9a10edef546e3b7fbf93391",
"a6be52751c10ea7735a962bd4bd7d3ccf8dae5a5481cd888aec2416bdca50501",
"41c3eaafdbf0494d9a7021ebc1008e22afa852dba616b73823a71cbac8f88189",
"653eb248401140340c06c83fc7b45db451ef6f6d208df4775d97515f53d2cfff",
"dd45ff4a7d2a3aa1a38a3758cd75a0652b2ee580fca3ec51c5fa6fb69f1081c7",
"20256571211ede6b7dcd518248861fba7300e8b19a2b744cf655b38a34db3945",
"bff431f59b9c942edbf9cca684de143d21715d94b4362b69c658a465aae3deaf",
"7d3a9f191a72ac9b43ed5fb1951a356be2e23a68aa5b230d60e0a6882e1c95f9",
"549aa6892bada3150a0cf880cd07d0bc8374f8b0e5ef556f2b805430a884a0be",
"9156b0f948a05d38c7e25597123b2c9b6778edfeb9f8823c834be6a620e6b6b8",
"b045e548bea01119857771246d4da6eebd4ae872d6b0a3df96b8cacaa4c41fab",
"64afd76c54279c5cdc13e2729af9470def48ad3e7db0645e467c9181e1524725",
"9ff4166e8f2bce64091f44ba8f15a7f0135be043918970f1bdb65ae408bcafaa",
"507c1b496fd4911a046a5c98a48587445986a2a357f911bad8962d2a4145e119",
"f4c4752203a16ef8d1ca3573ba64371a0c8d857bc0c84ce3ed60f0f3027b5b2e",
"ff22a6fac3f7e7c02f761448c98ae2f3f3fc0d809a5a174a8833e545425ffeb7",
"30c75ea8cc9825b9b2934539fd1617e807277f3ac3ab69f24f6877e9a77faca2",
"e43154500415407a19cb0b33b8610d789c1b93738ff5be0c39f3d2d0d1309987",
"da6b56469f6dd34e03d71ee3291f4a3bcd233ab91d0b98c07a18310f521a2234",
"a663a399e64177c4a35da4558feea1c96128259612fd6ea8ab1dde1ed07111fb",
"9b50400ed5393339dec6e9a9d999dbdc96af1a2fefde18dbeb249222b583037a",
"e7218a47035d637c1d19e57055e8559994cc1fd3292e52c343feb3a9682d94f7",
"a52bd17c4fe9d09fdb48bf0e74a34619b93b451b1e7cbefba093148a23395dc2",
"ec2fd64d5963a6ccdad6f66500db9aa3ade71baf86477902d77c22987f747fe0",
"678d749d163a9dc1f308078229a17dcd265f578a9a980f9df981b6bd681f677f",
"8443a72a8e39ed383f7e75c758421c1e3bc8508b7137ee5d0ae62eba15a68b6c",
"afda6334b00cd7ac13de146e66784e49ee2d5e65f690de54631141a2aa6d40b1",
"552c76f236928fc5bb88674d413fc083b0091ec1c0cc93c9031eb362dffab954",
"5f2632e210c5f49f20c52634d36438eac1e48ebae5925c7379d21b0f8d4434f6",
"fef31b3ff9be9e3b605461bd9fcfb2b751390d6ddb39f2ae4f927e0c674ef87d",
"b1a91a31cf46a146ffa895f3f4460028c0aff7976501973aa84c559d4adc83cf",
"24721b01c3e99c902708bdc5ba4e6b911d66d0707349b149a4c917bf6854b624",
"eba2b5cfd8e4ab68b1b4ba4164017002bdce671c70a9807ef4b2148a0f0b392c",
"ba782089236ee7c8c7e69d8f033bbe4bf97735bff38ff5db1c8ce655e0029f3e",
"5c05cedc4a84eefa912174c1b1a28ac72bf5ead10cca463d5ecc907ed8b1fbd5",
"ebeb1f8c323d59540d6725a6711c06aea31b28964aa73af0bc1c5b6c47383750",
"22860ad13591a53b34b45441bd9ec882a1a6d86248dc5aafb9a2cda332c6c273",
"b075fd0d319b926897762f03d226d71fcc6cd383864e33c0d00e4f211af71d03",
"abe0b89487108442c179c8cd24cca51b9b4cf026172561d4cd687a0f6cb7c385",
"c8f2608ba81fab87fd79feb587e4d9fdcca625ec450b13b0033221359e7789bc",
"f96a041e664502b11060083493d8b46ef41ad1d7b5caef1fdb5835d5a1ff277c",
"a2ee5ecaa77ef068497897b9a675f430e29e7d4cece4b69a9292bf38e3fd0e18",
"396e9e75e274475d7a96c29c0bf355ed59a346cac1406f9ca212c78584d84322",
"9f553f57ae3903847885b0b09c6bb8c334a83ecf85590aafbaafc267c256c732",
"08393e690cc96c96b44ba9de1d707d07f3701bc3457c7c9f4a5d7a073eb7152e",
"6346e6c61d488afa8ad9a4682f2b7e845b758265b4c1d66dab47611c531be792",
"daaab66c9d0d4dd2eaa102ee4896566c2ed4fd6340db398d1470d362e621b46b",
"cf3f4642caec8661c0caf7535e9f1c52c764f39041a3e314429e79946605cd94",
"9297cc680f0b3d8e83e76547ea507158230821af6a6a23851fb58c3d3e94e10b",
"3fa0d47b666eeb443d450ffc02649f5fafa1535e0dc2b75d8e399e06392c545b",
"3a492e12b1399e14488acfff20d0a23247c8d678647c7bd43f5d1f7c3e230ebf",
"4727f7c0ceb8123694d86d8efd18b99c648be9fbb251fae6e3cae9e989088195",
"d1ab04ca1533d0ddf27c43aac14c3fbb7101c88eed19302559a3e9f6ed1a9e37",
"411db6e8dfad6e5f992c120b6916756fc2c9a3feabed0d6637bd3015cfc43f73",
"2fbe3d63647119036b96e8f096b709a95d241efda6079bbc55f4089edcd8d3b0",
"37927752e57a8c2efd0eda7ba67b3903e387bb5ffc740ea566ee0563618a0dfe",
"ce9d73925e9db03f0d7c86c9e19486768c4da82397eb27a60d4d737ddc67f7d0",
"209118e1cc1c05c45bb78a034160bc665a1fc7fceea6710ef215b726795c64ea",
"880f399ca4dcb0e84ea7d6890daf62e54d6c4af2e056ebd77f45f552f565a3d9",
"434b31df9a775f26e6c0c817a02826e3ea7bbc5aa8024af71fbe8543de8a57bc",
"6e1e421cac3aeac071c752a4441e629edfced378d3749c1296ae0f75e1dd73d7",
"8b011d36f54349c3f8b0968fb8c13b8d4bb3c7d4dc1229893b4ab9e2a12fdd60",
"0f352ea7270992a904f3c8f7d817b08b8784bec1cb23c68245e4a7ccf3626938",
"868d42f0a7d1ed31069f9a046acb1eb30aded590f50223e2d15dc9234461f8e6",
"9d99c2be48609621204e3c7acf959801ce23d123bd139e7c7b44c5a0b9f02456",
"1da366674be5d6eecfc625268234aedaf57201326ee73c8fde27d48ec160b18c",
"10ca8bf4985c117282e819918c5f816fca248ce2f1a053b8d6d185026602c481",
"ff05677757c21cf9cc8b7d013540384757e3c2ffe13037fd870f36ab6cd9d776",
"7fc29b5ae62bc081a570d792e334a79851fce573da558b18886ba8ea0345a939",
"8eda2e0779fed58743b3e1d150dddb84beb3b6eee9c08edd211326741fd54835",
"7b30ea6b41a8cd46ce8269b1492054855f9b22351ab175eafef957df0fb2a84e",
"b031a4a464e393bf70a603ec27de6ca68da10c6d4f10d1fefc46419d67bb2b40",
"5bdc908056950c20d150af6ccefebc387e7a5ac69d2dd26bacb152c6c5b373c7",
"ca92553fd04c47fb7a955a36eb3946b4196dc1bf17af5e0648133bb523a20f71",
"398963a9969cdf53d71b2f7cbf2770a6d55c74de9a6efbf590f03da46aed6629",
"eb1ef43beea1a08f6ef2afaf6d4e934f7135283c90cdaba1f72716a4e9f7f09c",
"5ec4c44dd985c851a2a8e004590a0565de635bf5c6b7233993aed06016687b0c",
"a255f9c0240d7ce7d8cf1472594f7ebc629e4acc43a03ea0fc4a92e3df45c929",
"c16f6a040bb6db68c7f4e459f8571945cb5676198893b921e0f7b3adac356ecb",
"dac39fd1caf624b92a13b78e8f202c47fe6b28bd6cb3da4ba88701ee6839e62a",
"39b62c540e3671c8ca261e6bfa87e2db750ed5ca6c9cbf27cc03ca7bb3ed1d4b",
"e22190acbcc45736dc1f6752dbd5a57b3f83bdf2b653ef2c20d3f2ad00143524",
"a4a2ee6c9c0f41a35c3a948b7c62678c1647c4212031e2a995b29936b44fcf5d",
"b2a32d4e731192116a413e403f6f3f51c10a2da1e9541ea86c971e1958a4e748",
"883a15f89fb3acbc0a46da397b61398917844da4386418b7edd15d30f114d2c0",
"c433df95d2ad8b4497b43bcb246251d292c51fe121b4544a29eea4abb1556f39",
"60c8cf6fd6747a0561c73484b99cfaa2987e62d6489d1c59ba842d407d2ddb48",
"99421312a927718e7695fff34f190ead32e8ee6d959cd44e00105a8e8abd9b3d",
"d7863c0f7bbe886e36a8fbfa62fd2cea798904b4cf7b9e7aee977cbca5da7d8c",
"6aedd6a84d073e2b25f4d3c9591e74c0880bdb91ea7c618130d5300f55f9a8f5",
"cab75e720d2d1f7b534a924822b5651ad963dfa4e824f3177e0c882a78181cb2",
"da720ef5e554de7d8b200cd8cc5f57c6d8ac7120e004df024e6875a931c51dd1",
"2fa10a8fdede8dd7e1431a5b8f969cf63f26e2e1bbfa5157f97fa1224704cbbd",
"3676bc669853a11574668cb8a5be70008c778ecf56cf965544adfa0dd5b79580",
"76a50ff5edc45724ef84beb6730f76c2c8476dd58f32b26a6c229d76bce86d8c",
"f5a06bdaaff6dfb829175ca85356913209bdbdb3dd956b9bdb1eb6d54bd0a700",
"3cd4524a49a32f802421e29bea41252e50720f6413e44b076a52775c7d6086d7",
"b27e90a3657eb9b48f6823f1e396c0159eed5dede013148333dda92efe1cf846",
"d14b0b6c3cae6db05a795c0624c796e1d42bde0bcc496c4d9165d4ff52b3147c",
"05af96e51d4e44174d5b7f5eb276ebc9ed520b0227e3c8887034addd96cd4d65",
"e85a43bc5c0c58e793fadcf921cccb4420613ff68e5d95f26d11e47f1986020a",
"5e5d1158c1c8b807b9a2ff663a1a80d1a288b740ff2536d537d6e1ce917f5adb",
"97eb99d2a940823bf72a2047d48991e57819f0501bb3a6e530abd8a49d3fb6af",
"1c3e5d67daf1761ae730cca435b9fe6b9294d9cd7773fdececf150c09e9dbebe",
"e6cef4db089474ea93d4ed8b548cf78339071145d3089842da6bf8166386a7a4",
"cc92da857068d0e0384f9d5bf016418135b358c6d148da3177332284f4c8c02f",
"9b4750858f19d8a39b3b8030bd45ca8bdbf8b8cd238b1fb57b74130a55da98a5",
"af868eac8ad5f913b9a019e80df85c4d1dd39a4cdd794624cb13b4cce449b5a2",
"7f6e880402e5e7ea89b7b830dff36b8098fb6f2a32240ace2c7d6e3d427d008e",
"71697ef3ede456e54911db507c68f9b1a55e0351abc274e881da9c915fcce50d",
"4d3f037b5f6189d4193f8a0cafe65334733dd45b6429156efbdf0c95bfb41d79",
"b54e7cbf80db849526ea289eaa3c97d1504a631e0ad6e0c0feaf4a0e852373b9",
"6a8285d27efc8feb5d6f3c5d54f851908bb58c9d1c4ba4a775c28b3a8e66404c",
"66640a19a7f276bf96cefce49981a20b6b3e6509feb1e9ff43d5019977e403c3",
"f249b971b129b3f109698b93ea337edeb1fdf40f8e947b4388f218f54bae9e9e",
"fabe061d86d34fbfced5575608e0316d5c679294cc4b007e5132636c0be3c5ea",
"94714f68ab7b959c6bd57ac3f86b4fed817f48d90ef7f89923bf1acc88f3f6fa",
"ffbbfd5fec1c79ff286e05ffddc8d740f86cc9547db3396d29e7d6ae9f9ff547",
"62a86138322df0b043fc06603e1b0d0adb3f1d7687ec95e2c778e32d2e57d62d",
"bc0d8a8d524f4783cdc32cdd5fadf3fc0486534ae2509e272722e942ab29253c",
"798d1647d775e1706dfa8e19dc282573f4b903735ba258caecf58fafbfc383b3",
"6987d6b5b36cb578209e6d144fe9378f35c623fe2b6dbe17d1487b59a9d0406d",
"5f9d6e773c585f871817b720d2ae408e70bd0253623e01b60cc576ff7061b5e4",
"a95b5695f5b7746878951989233b389d805f974d1038d7cb631cfd4ed18a2ac5",
"b7d54e6cc36fe8747760018ef558341f588dfe6fec6911c5ab4c89b58c7ce27a",
"6c62073bd6c9b31dccb190c7017af3864f11f8768b3e33b4caa8a9dd0651495a",
"a47ccb38dccabf8f6a64ead76bfccc315616bb2402b0a4733dda93dc64dce8be",
"e792be04913088fe0bd22e94d5f3ffc7b1888fc2f023b723925c790946d06f8a",
"5411b37a1f3f875a4554a4a7398cf7c93fd873d819bcacef3d419e4f18ae76a4",
"639a104ecd8802cb05bb048d3efa239952f08930c1727b2b8792fc4c93b4a4aa",
"c2357234fd82148352a52faf54998d89c0e5d2dcce39173faaa1eb5855056e57",
"7abb847194e068eabec564c4b05726b9b614c372c67c063ff9c25b75810ec9eb",
"167b47da2d25c0cb40cffd4823e8cc7a163c3cb73d77f829cb4f09a9a5d56a82",
"90dddce46b0a777a561ee630158a789820e8ef8598ff1ea7fdbabf92272c5fee",
"4fbe18b975718099bd7275e324f9a797b5a51e00acda0db27a5ac9b3c1038f13",
"bdde903dfe135702a1b86cfbcf298c45511e3b03f3c53d3fefc985104117a430",
"3bdc6e0d2a7da4ed80ffbac8c628e70b09e24b2e2f75997baec31e57b51e7845",
"2ab764b780b02ee525e530e419bfa3056df8fbe54a289837fb2c6a27264fbbd2",
"82f97bf67b3746cd8aa53f3d95222c9ce8e22d6dc49310aa6d78b0b457012909",
"e711167334f95c114615b31c99f8b61aedde9bccf715c7e9f60a40a90ceec8d7",
"0f0f4accb08ec7c168b4ca0717bc0bae616e28c96b954e8ea654116c2b082336",
"0018878112bdc9aa51f6754a8fc40877f9e92135ab612e518d10f0e233fc171d",
"69d2b06f80393969e2f8c5397aa4596ded1e087d6ce83e34a2a429c1c0f35d6d",
"1dfed0699942375ae2595ac17fa8b1dadf970e515ca7d08e47b115d4e7487bf4",
"43ec81f9f51984cd86e03b75d18d6c44b0a9ace1fe05c788b5283569360dc603",
"ae8757e1835f405b91d6e060ae86acd9b8bab05d1efea66f3a98bc4d3fe4e7da",
"da1f03379e7bfba4cf54b627a3b4a8398cdd0db36233fd3922cdb1344c3a9c1b",
"8ba098df6a362c550a8ff249d282625ff0e0f75c6daac1b6561d07665507fa68",
"bf77a540e4fb19bf894871733f99a67f390f4b3f03e833623369c8a6ac29815d",
"24c0a967aa4076c219ed39b0035cffc1b326f2de7206a266c1092e83c75e8068",
"0de9fcbe7a3562bb84f3912ddc52eece3b78133f15c3fa8df7e932fcc29a4f04",
"8bec0f74141d7225e9ad978e0a823f63f2c77e3d1846612f77209dbc8f45cb6a",
"06a2a9f3440f7b0e5882f3cd2298cb2566e6383779abfa3b48d95403e420ada5",
"bcce6abfc8ac1273b125c9dca74ec9896b6bf88c7afb2956dd2ffb6b393012f6",
"6c73be1732f2ac10d05d77b31bab9475c9b561e82a8bf12bd56bf944a88b0361",
"ae6107ab25e828dc909e3c16b3768c1a05fe1c60c95c2ca45f30961308657095",
"be78440c6541bcedbde053dde3d98d91007cd1f6a77e96644f729eb2518759a0",
"acc092babaf23f8665d0cdd7f1f95cee21559dc6f5d5364864c6cfd2619e40cc",
"9325b94545fad6ef3fed623df066e446d05486877ec7694442b9be39cefd117c",
"95d1e63fa70b6599d59df9119ec3af415c3b139baa83a77e748a761535f3025a",
"944f85499547612b3fae9238c16c92e0413dc43d1e0f39d093b2a3fb606e2f49",
"5aaa87e6e717e976e074becd2305a0d961e1669035806dd32b3b41416580c0ab",
"1bfa9118492b715bf2593094ef8457c3b914c453b7794a6bb8e02c69e8b7770c",
"a56e2bb444d766aa108a269fa1855cd0602425b0472e64d3a415e97c3ff95d2d",
"c7f9b80d418b6dbc16a3176f62664b4ed0a7359a030005c9ab6a2336252486d6",
"a10c44b05ccaf644f8834cc8b17330bd7702ece954b3cf38f7f878c5ea3d8727",
"2da6bdc171399c528b54a5703b526741f25f3d45f158b2194cc333c84073e5ed",
"f532a3f0ed2d539ed0506eac0d78b9491febce8d073d20a9d8ad2b74453f5e33",
"470ea3f0ee7132d840b941841b245d5326a604808281904038265b3e11d65b90",
"5ffbbd9607e231d9557256dcd41e05102ac0f1c4508797ac423a67d212cb580f",
"7e25048ac91b8cd2188d72148b66099cab6015a9c48b1cfd914fb7f12b6ef003",
"5358c7145b7408ef556e530f83326be3c418d8446d1ea927d54dcdea2f561353",
"06a2f5017cc43ca467e7959baff1e07e309b3f50bfc2e62a7aa8f89c86a4259e",
"58f30c994feb022f6ee0bf24c1df8c5ee574c7e39e5ae3e83b2af86fdbe986af",
"58a5cbfe7266ee646f376ec91804de94575daed24be96d5fc6c7a0b83f8ce9ab",
"26f85b0b66c6caf84073273f5a555eac7c5f5f264acafddfb9d73e0326a28a83",
"9e582ff128ca33371d0c90181d4eb5d83ca8a580ef9dcf657849bf010d7f8be5",
"2303800ca3419077c86d6b472145cfccdc520f7a75a6c55c3b40348bd88f8be7",
"ca7c2583f3930abe34372bcec4af03676b001b1dd973f8e804d99babca4b181a",
"1d6ee0f495af0c11b11e973234a86e68e4eebe7d3ff00d71c3f9a21e4c2885b0",
"babd9c397b986f1fb53693fe0ef12cb7c6dd2db31fc8b3ee01d3221d63d8862f",
"fb4cb9a4ec7dd3639445162754c234073c2932de9a49ac6bfae87268fe493c9a",
"a053c570d52dbbfb0478a074bc26988f4e7b4a30710a7810c79a5a1a52d2bc6a",
"938e8a315305a01429c745ac2f8bde917765b63dcc123a450119b1c9364d1a09",
"3f1bc3468816ed63d2df2ecbaa5eee7544e3a1993696ce3f062b1252634fc1fa",
"b8a2afc9d89d947c4ac41964195f7128ff7e78a184834541caf1c17cc88c8326",
"3c0c3ab0e7cbb8fc88c10a5d2f8e31d1a496dc37a0e4b883a527d482858a2925",
"b2a1431bc5454ef4d68e789dc7d16408a34cee61d28083e79c512a1eafefc73a",
"f8d943e6b36d03ec6b38ff0b9badb29871e153e7808395f1e4f6a6f1d4d8d03b",
"e214627a63e4465fcb6f0db1f628afe728d5517ee54c80b9daa9bcb12a1a5fc5",
"4f8861540026bbc5e5790b71c1cdeed27b84a032bf4b93f670560f41ad3726a1",
"cdc33d8ab941364c10b49514129b9a4a99105053cbc74b9fabce4fed46a03194",
"a2bd250c6d0dd1f77b8e8f8b4b501c4e16927a9bcdbef58a32324fdbbe0f95b0",
"a9c37a79f94d9eacbf7ff1ecb2f1217d876c11fd8eb40fad8a175c648dc2992e",
"d960749f92f32d28db9469cb0668ee8e26a0e7a778587e8b88c1a67943d24a9d",
"3fe5d4a8eb04f394d5bcb34d662258d48b0a28e68f067a15d0c53eb347061bc1",
"ac40dae787a5f59dd5a4ff3046380c68df71cf6863d83b72cb756838cec2bc46",
"f287baa5ded987a2a1a06380e2af0646476386fa8bf45348a38cf6ea7d22397d",
"6376a581014f56c21dd8b03be9c3dbbb10760ec8d91652af1f1a893fcbb2b0df",
"f7a3335905f43d93408a5aab6d265244495a0c9ce3da7d28176fa1d8052bca97",
"37d2358d248a9d1dc2eb005ba972e54f9827a47d49ec1aa64adc71442ecd04ae",
"d484aae4153d8676b02e140ba208df37c4397a376b92ae3e6d51e4b7ab7285c6",
"520e3b95b897c8a314c875865c8ac5fcd948c24c5a1eec7761675c044a65f1f6",
"ebeb4f5c5462ae66ce12e02b3d6b88364e6087e16f2f4e68ce5a4ca48feec47c",
"bc98271d8d8365aaccafb88daebb29c733ecb2e782872917271e6b6b3a3f3733",
"d03e19039c4f1f4b3884d157d8c7e08e32d36b2f5b2cda91d55bbcf6bc1a046d",
"a3c001dfbcf92812e96fd0cbbb9c059a8ee13466562f56ec0d750e21b813783c",
"5aca719f2b03673f2d23a4efb90baa07b20d8efff3367fd7addc08f76406c97f",
"473e271cb490d0299f3b06b7a27f0a25252022fd4bbee677bd7f8c1627d03552",
"ca13bdc102c1f5a5044c88db48ab2b6b1aee6b38736c0410117c98a1aa3f8060",
"8d711c5afaef358acca59f77866b37198c694aa0ab4ffe5f3392447171562064",
"944f07b562e57078e0a3c7d7481b25bdfe77e5878f165c9434b2dd185a4986df",
"a3c28a0b26805c87cee9eeb9c8808396c0d0d942f72492aea624d4db7b2ad479",
"5afaf42666452e857c5eb10fe498a4256a06723f4622495cf70f8462e9001cc3",
"5e85b0fe816c02f1c8a766512af0885b2ea07aa0b4c9db0b0ed894ab37215a4c",
"377bc1b60288a4314357f0cc0806d0533dcf7a1e651eed54baa223d6ca1743fb",
"b37bcd9d5078c42c593855b33994c5bcf9b379830d7228c4ae8a384a5b896e62",
"f4387a94242058945b4bd1e89cab857b66d847f1c0203cce05e59e41a4636ccf",
"71bc7435c2a60014aa247e1356d1bf7354710690780d1e4adddabb4f7af002dc",
"a46e4063dd7b3c70c5f9d0b96f2e83c72cfc30d5449ce5680755a63097b70583",
"9c52672888a98b4f94b0e356b3ad767339ecf5b5c41f913afd76e0d0577305c9",
"dbc76a80cf6327d760637897df1b7de51f72c6ae6240d4713cf4a5e414d04f5e",
"cf25cd16e59b9326c2ad0bbf1a4293a66f791e2c258d4828f144b49921c9e396",
"299ebf00207bf0a458cc714e91c5b2a7a12d4b652a4c0d92033ac37cc71176ef",
"78cf15f88bc6b611707cc94ca484bccd45722ffccf0e7c0bd97656a03dfcbab6",
"d1c0f2d279c4a13c911e18ba50faea9579da4c76e642d6a1db593c7c1056181a",
"ba0666178f996135b1b0f726af7e970d4319d12ba6d109341b4b9f8785b0b0dc",
"93857dc629d791af60eb9e33539c24e9b24cae6b45689e655515fcfbf9381045",
"15ec75aaa62bb50fadb37e1a06630d7f6455a690032e25d5359333e6dd64a199",
"d8b33fd90c66be63fc630add11ec98fc6d5cb2c34c43b06dae88616a50581c4b",
"2a105f772874e5617f7235474ef14b1d22d60570708cccadb5a2969c8e42ccdb",
"85ee8baec6e668aec6fe9be8631785a0439db391fc22eadd1a99ce3985fd5e17",
"44e38d65c0e7a84de6b85851181485952c5b20cdba2ecef3bdeda5f9e6e01bad",
"74ebaee2ba5999d17043c5b9b0650c77a98a3d71c7a09fabc4897cc3eda611c0",
"c25ecd4843961bde8ec90d1ac0808d0e53b65bbe76ca7f629195e890fa5d09ed",
"24f9a99610b347a66cb51eb4964d512438de1578077c5291f507fe0b1cc27b04",
"e10de7b5efc0e99e84e0743715e3beb6a449fa33b8ae523849200f7a83997d7d",
"9bbda6ff99be0a78bd810a89f5c366c99598e66859ee1b8719a6a0d629592a44",
"2b2966e21005b1e285339a2eba15c1bf81e1a0f73fd8eedc8c002319dfbdc6d7",
"a426e1ae495564227ee0c76a370a1fcda9926dcda59f3f4fbffdcdec1734a014",
"d8e6082d6d7137d04a1c628b555331dbe02b68faadd844340bbaf93035c9979e",
"d12f667b5ed896f84909fc064ee75546a222d0fd5991cee8d9610f0f45489480",
"9265d38a5c79b2e3a16667f08adb8d6276b3de6f0905e0d7c52550fd3cb3c691",
"c75784d59609ae6508fc2bfdd166a9d91cfc0f6b6f3dc5b2e26c52832f179eba",
"bf464b957c0667cd6f7b36ba614b1e28bc07c660aafbcaf4477e6f3d187dd86b",
"369a73b37c543c3dbf1134a224ad5514a4a1ba3495c6550c7aa466fdcc225993",
"90bfe6964381dbc15df18bd05e4b93b65041f1d75d5a5260649f252fa521e6b5",
"6f35e18c85645b500c3f381e87e825bf4f519e54843f96e86ed73be8bc3f071b",
"99b28c2acc4ed76a577588ae549bf1ebd5026032d2308bcf67d812be5534dc3e",
"0ad7716788a3a801182f4c752f737cce9a92f47241c0bcadb646b07f1755c13f",
"07e6de88af3ef0ebe8a539bec640204ac6aa0d4bcacd5b1e03dc3d9d496fd316",
"284fbb1d0d92292347c884a75316cf01194d58c55b83f874241ce48431736a0f",
"4feda5db6371cc23f0802f16f5bd802222f7deac4f49df5fab864269503ff429",
"3374f755f32c68424d28fc1dd75f6d8edc125546cd9e600fec2047319e6871e5",
"7c6ab4ec8715c90ffc4533ba9f41bd20ba23d50efa83dd33877bf7e47a2af893",
"9ace2167192068d6978f4d63c5d27feb374db577c543cd3565514fc7788b985b",
"8b1452dc143ae5eb7347112f32b5df7bbe40c3ec3ac7f71c63bbf9d3b9fc0409",
"4af1bba3bbbc78bf9a83448a6e63f18f4e428bc56a088e75637a6febfe131850",
"ebdb925c29db0020b8e0cf393712e287368dba419290fa34789f48cb19e32233",
"5e14eb6b453ca3c8069e5d916607da9d6472f8ebb1df483d6206be1340838854",
"28b5191353ad11ecd2ec328a047f1525e2a71a0598f5cadb8c747dc1afb39ec3",
"22ea73c141c68da7085863df2072f34304a226a45641ac7ebfedeea0882ac8a8",
"efd697b7ffd0bdcda4932178476a2f6c3ccee175e388f9bae82bded0a80e3a6f",
"b2e8ab3a76a2dc37abe46d9074cec0525900c6ec65a55af43779aaa667b0ff89",
"e20a27d380ee12d15fa28e237370c58f9ca92825c24f79889ef6847f7fcb7990",
"fe15dc4eec5f5ee87dd08355c23c5e0eefc65aed47b1c173aa1d26ff0cf0b740",
"a1d6bf6921b35354c9efad6cb75c214e523d9d618e15eca3c0f0ed9ffe70415f",
"5db8aec497f4fdae88b1734ac17701283b8ff95b2ae1d91a9c66b45b52cc084a",
"a299e18e7ec3f634533881dc13d962ad3f0687be053f37b8a8d22daba783c524",
"86500765ecd12297072bb3f7de5c4a9ea074ba4f63ce52c3224e4474d386e0ff",
"296be7c64330063fc3cb49057b957cbe4b50457ff7d6e7682ae2f5292aedb04e",
"39b4262da5a782f2ca5453abd81419b1270908fbd3f561cd05238ae87007965f",
"b104454b845011ebd2d8b6f51876d80a164170ec395a04c692a68cb02b34106a",
"39ace59209e5f9b0b0405717fbc660770392b89533c6d9dbfe7d393ab32e9b12",
"f59a943641efdec83d6303f75ab74d916e610228f70b60c76284c9cfc3d8e1ac",
"7ed265b9fc97b06bbe78b915c3eaa731401201e7beb4810eb6bca8885bb127bb",
"e61f9af38d3f492bbca52f1081adce2af0079346994d6f6511f6f7502bddb677",
"30ef68f16f531904952c8db692cecbac5e753688d1550f76058aa44e0e460659",
"818cb3115650558c96deb7a1f847b86e290f8a4ae8789983df47f775e17426be",
"f2b07f25dde3549c3bd8b937b7a9b5ba261e86eecadfbb61941c322f19d219a9",
"bb3b7ca36c12942a1975536d54cf5349155c78d00bfc245c5f9e1f36379502e2",
"c4b6d5bf78c1c3deec3de27aa25df8abf5564cc248cd70fd832ef370b32a1dff",
"5ce204d20c49fb64180df44c0a000657a482a14b762f82e954c567ef5fba87bd",
"e7005f26fb98c3c5b4acd736430645ac1019f4799bf1a2cd1c6d3027916623f6",
"3b16e2921e53339b3bfc2fedcfca34b8cf0fa2d94bba04cf0fa90ad723dd48ee",
"340576787242244e05ffc4078cdefd7fe0919fdb44a6c343f593e6df1eb8b019",
"9bf41b79d9d4aeb3f27f7bc3bdc3193a82e1cc80c7bdfef78dd7612701f18236",
"1c5c2d0153d2a896d0380d9faac74bdf2dfec6e690f6f461a8364e5077cbc48f",
"0f75bb27a781739f4e63963f69e7554779d08a6b85517df26bfb4929a01292ec",
"cbd65d84cdcd75a283cfdfc177068622a2a0e189349fd3ab30b1a93d885c1880",
"60023ef93f4d930bcd14445f6c13d5d2e652b2c1f571da8b8d7ca2b575baa638",
"321a5fb79a0b3c9274b79ad95f3b6c1b0ee557b46a6e2ac78eb483bf76a07249",
"b2ac88924c1ae869a21343fc40c284ece8953cfdce0978ba768c492dae7b852f",
"bb0de13c413ee5d43142a83bbbb1f490e3c6b69fc59d9a8026ab7276228ed01b",
"953d815d1c0ac6552a072f020c24be6a1666efe6a10101c5a2d67fb81c23f157",
"66a74cfc5937368721c541ec6aa93c39d9183996d35890b3d0dc8d947955b945",
"f2fa2f817597ac571a66afab837125f45612c772f32566be9140ddeb3b930462",
"9f99323166bde8c12be7f8c0c293bd211736015580b5e5560b530dabac5fc895",
"619c91b5da3b8de1ab2bb711f065fcd42b6524e06fd1c8f22ada88650f6b329e",
"39f72605a966c4914353487ff0a312575bd09431b4bf6cf05603f5c4d17c2ba4",
"a8b961efea47109bde6746a1a383f362601efe25cfb1e45fe831fd10a01b5de0",
"ac51213817e662ffae0d1360ecef43f845962e9afbb9d7f592575e0dc0b629b1",
"8e9dbcea9634f865fae67c417d53543e54b34690c1db6d332ec4f61258f232b2",
"5c6ff8d3a0dd02b240ff8d3a3126ad9eafb941b0e38a0781238b02badbf4c949",
"b3eca6418977cfa38cffd2550c608c5fcf572a993c3996daf153f4d87f87e525",
"16c621f4420b0c5270ac8555bc61d7336e2c3353ea20a4057c5ff04e48adf3e2",
"2f294f807e031e6b9e92b8c40ff2d8502d20c21fc34429d0b6ad28439286dfdc",
"ec6a08759f456ff3e2f524b7be7e2a7daa3e05ce2c09d4a99b2d21c6824b0ef2",
"2cf2c107c6a477e3a3efa00be41bb4f255c18e78f527bfae46171b26b336d3ea",
"049538a7fcf08400860c40045057b45692d70dc6b05976efe334642836822658",
"ff22eb971070fc4c76b12b39cfcf14321d81faf34882e97a4b3f39f01793fda7",
"092226b57bfc0450552a6fa002cd63ebc4ac1762aaa378ad3feae5151c63e777",
"9f6239617321ac0a678242198d93148142b1be8be49164de7b07b43aee11226b",
"2a412ad190316bd9bb28c5138fc5e0b833227454f4795fcb785917f192b1269a",
"2f95a751f9fd071e8ac32cebc6eaa8b42e8c3bf86df7974e0277f44dc32adec3",
"48838e155eb3907e0dec540302f27c166b69a7cd59393bab389eb0759bb57b8d",
"9902b17be72150b934dee5aa59effc7b3fbfac6e2156cceda6fa7146c94650c1",
"4b6e17850b87d92999efde9552f7aa71a4b220fbc1b9af0a3a40d756e9b8d543",
"170e478e77db393c0ca841fb02fda03b875fe522e093838639799a52dbbc8b19",
"aa90bedb08467d98a86abbd06d9a6703c189b51851f517a7c928d938bc092378",
"7407f3de2c5eed2a33d748120eb76c67ef621468eb9cda8e77ebfac02e602172",
"c1c80745f6f6bb97247d78c3aacd62b64a8a921e601a024d34cbcb2feb50a53d",
"3cb5e2c91b4f1bd965ba92839a068402751e6fbea8a71e51addb6200a66d47d9",
"e6deefa3d3ae196b97e880f9e55d37b5486984101d8db58b4904ee385c4627ce",
"0a1ae2a1a79e27294c56fa785f6891d26d732693372ec51b2a9006ce6d1f9c7a",
"63cda87eca68fa9cc84973711c9bce304a4c0039b8039e8d2489030441f49228",
"714ac5b84e6bae8e5ade26e07925ee6ff4fbf19ef776f9335eac680786da83d7",
"7c6968f1ce45447ac4fe14ce323e52bd64aed189679138bd6cafc49326341a1a",
"9ec8fcff57938a876e0d562385537290f3d9b391068aa6bba1e2855535d7718b",
"3ea28aaed2858e22b4c9c93ed633b8b60647ced181ef039d86cac4c75f120a9d",
"3c6a78d70a90386084512992982a14eff15bd734111195aa0eb6333cf9920e96",
"6178b0a7460815d84fc5cabbaaad503b97ae50e55e807fbca34ab022a0c09c75",
"0b75b64ceef919fd5418b9e7bb24c9cb4214ca0744bfed155ddc03bb94ec43c7",
"7a4a1cb0717585dc6b073cbc3d741efea6ca397ce7e729f1613b6b167cad2f66",
"944110931325c0ebe3809ed76b92ca388047b812613800d0eae708485383f87d",
"a5dd2e3cf291ec1e6e76dbc46070a1c51f25f7e0a0e573230f56e039dad39a20",
"e4c56e6e7318e6d5d3b4bd3fc175818371f719f6bf6308c1aa07639d6d199271",
"21fdccddb7a0c4eed8c82bd062199d6acd2ca1a57e05eb0ad551fabc2938b46c",
"06a2e590d88d6a9195e876e2cfc83ef9df9e34628cef06552b5a47502f5e6fc8",
"52a2116aa95634e3e2aaa7de3f7184c3f485cc1102b971302da1e0f964c6b1fe",
"5fed534e381632807511b6021f52072d52f74b5960b0bac10a0651b68d824f55",
"37e81d068b22cf36656330da285ee3ec420e2089f1b64d9c019bea14383e2ffd",
"3d05452675dd1e7f4e8c10a9b4e8df82d79b036dae4c7641861b581dfbca6763",
"dc8b77ec06b4a11fcd297807137c34ffb7bc2bda48a02a9400a734456cdb1349",
"1f8627110ea7568f4e7223f6012ee337e90e3990baf12b8b5ce75bb61c37c269",
"8420957ecd2bc1974fa2540551ac68b621865ecd05fac5ed2da6bae6efd0c5c0",
"15b00042d81bd075fcc73edbd898472ae21380aede731fa9b76bc02c6e6f6a74",
"27cf9506bfc103ca7d172f8583b387b15d9761179011b8eaee6f3ba1c1291abe",
"5afbc437a9e779a696a37561ac43d31bc8acb7d08b2aca7f637412847f30843b",
"b4d8ad91e5c6568a6a562f8728271d8a7bfe03aca779509561404bec06814cae",
"c85e07c38aea7704f43b2ddeb9197e6ca80ef32175e2c1bc01cff63ed3d9aa88",
"ae3ef02066e492831a7f10f97d61c1f1eb11e3bc94de70e25ce98e8cfc846334",
"15e2df2c4005c58f20d8101b75dd9eb173ca07109b4609a3ed3b3942a1f53b0d",
"f23d9022bdb498ec6e7d02a02708f7dd5337e65760537784a677ae5dd48e6324",
"98a5d2929c1b09b95b7c3f2af2c1a7ca718570904d4731d33db58457b771d2d4",
"2d5e6e94dca0e10ab87f9f7424b9010eef2343a8f5124a73b2ea349630823c1d",
"716812f207a45f2e4b9715d2024c4de6b2f8d587170189dd04866adfa1542824",
"3249ac2f58b94c9ad77971c8c1ac31467f364c3ba2d911a7c99188e462c76d3e",
"51a4032006e4b7a3dbc907b17db394cc0299cf3cbaf413d416c1205534ea4cf0",
"4c537529fd9ca762b91a723acab1308061991fcebe8467b2d03d6b5a57559dcb",
"1d93f3a627136dd00f1328068e966de6854438b0342988180a765c045e0d3131",
"de02eebd6e3d25bc0a16f8ac98fc5d44008bbf0dfe5059b391017e4fb3dad53b",
"559735c7d93a66f76acfa9be0574e493579a9772528db907e3aa1f81305b8f7e",
"55bab8f45ef96d95f5d1cd18c18ca3f9d429fcb945a17671c9dd45efe6926247",
"0a1de26d3f8d8275f54c9e3db7dcf86f57c49e56836fb815e6193b1624a25d75"
]


ハッシュをそのまま乱数には使えないので、

「ハッシュの下32ビットを0xFFFFFFFF+1でわったもの」

をつくりました。

それが以下になります。

長いので折りたたみ。

[

0.6755178758584703,
0.6441672329428064,
0.7077589718875845,
0.2797337659354633,
0.9949819170858203,
0.6042908003098078,
0.8237096303663471,
0.08594134498525909,
0.27278465830552967,
0.39564567091773395,
0.8634231656006126,
0.965255865353452,
0.6035272240646945,
0.9965758952304199,
0.7292047014295134,
0.6055676661444752,
0.7285582818390238,
0.6556449340785958,
0.13189251328164073,
0.8672596409142156,
0.07737690980485103,
0.040579094095290424,
0.2861262849266935,
0.6132727001358924,
0.9930735467916991,
0.259923509382625,
0.3492660418500346,
0.8767609568025826,
0.9428556060751099,
0.5080792139070293,
0.5860118881301051,
0.19030594248098925,
0.7928465003596727,
0.10393277953936085,
0.5898523022397077,
0.8372805448801445,
0.3123052605223621,
0.2968940898535992,
0.8615048729957792,
0.17136064222347006,
0.18903492162680136,
0.2095393334071942,
0.8038871101578434,
0.326220490812841,
0.42046615304901874,
0.7473395328846154,
0.7337119145630188,
0.515549261010147,
0.29801150674419746,
0.9319843852268496,
0.7785677134009469,
0.9739955447087986,
0.7423761374648605,
0.3073690520383811,
0.03948337795200836,
0.6186964839274754,
0.8913799617186607,
0.3487195981081388,
0.4086840915048225,
0.009362568848152312,
0.49592715583181174,
0.3794971132603234,
0.1616027986541397,
0.8104527203390498,
0.032233032638261334,
0.8893617810423863,
0.345724942475959,
0.7191460422983268,
0.654686735396899,
0.31243771345178545,
0.06815195643998495,
0.1394314195819738,
0.5832063673490673,
0.3250953611743393,
0.5927906945796662,
0.7826286788989391,
0.591504805859063,
0.16490884990545662,
0.6705707078032593,
0.9486925066329288,
0.8227421724756113,
0.3028089002014159,
0.6257010534465548,
0.37710805618602505,
0.3443803781048349,
0.14015605909287837,
0.8955560454389909,
0.10814015034310058,
0.62026769472758,
0.8090024683179805,
0.641620339509477,
0.28482484055795354,
0.4698034032410484,
0.006414443488794948,
0.2517774040465656,
0.09194733763391788,
0.6241515042782183,
0.43283131821845455,
0.3479398538702959,
0.7573260517691556,
0.7491617632911451,
0.7441790513098657,
0.3494668955331358,
0.35880668492959966,
0.007662849968220771,
0.3756925534400373,
0.927105704538316,
0.14016084888488073,
0.9990955239625404,
0.07609677502794582,
0.5910705375929993,
0.3344602499470255,
0.8530079174910224,
0.8778679927061005,
0.7646430320489787,
0.1622347557363647,
0.819014516616942,
0.9800083716353422,
0.6626292938978013,
0.24457160901384697,
0.8001056219917037,
0.40254837586603787,
0.006471816219033631,
0.530026068801532,
0.6424632141465468,
0.3220641762768068,
0.9025451729312877,
0.9282829968557421,
0.039198987195081775,
0.7355147764867904,
0.532877684229258,
0.34938656430444365,
0.4493931006755198,
0.6190684478774361,
0.9203373808228265,
0.0972715460456143,
0.7601303900033539,
0.772396079211588,
0.41806840091433106,
0.4903210137249718,
0.7519436897132414,
0.6931772212714835,
0.3056850925333996,
0.5229220982927182,
0.8180808089249956,
0.47862271579881727,
0.13071139346126268,
0.11107350399509852,
0.780435126689364,
0.461975134318223,
0.6398887661378572,
0.3447816132904919,
0.19908319464863353,
0.7645209459039665,
0.010133051781480445,
0.34825582042063025,
0.2837525583532994,
0.7433434887191614,
0.4001415854785921,
0.17230283519539583,
0.7390563093915247,
0.4171793357043479,
0.9294119705281714,
0.2994507291120129,
0.5891208729215713,
0.9039567676149208,
0.2660598650728492,
0.2677457065479238,
0.4744499706370872,
0.8884593620636638,
0.7493787162819362,
0.42624269342660964,
0.6797735827695052,
0.13512493114339302,
0.7898112982022136,
0.8062365927748002,
0.4896398404356185,
0.38451649024722084,
0.7629216759844967,
0.44512446723997695,
0.9791975233189756,
0.021800369495013815,
0.8286906987961127,
0.9430942355988301,
0.1744159434862472,
0.4921067977538581,
0.8929162183527174,
0.17026623947784916,
0.20812204252186278,
0.9838912314697846,
0.5250680063676713,
0.4946395106368324,
0.8024929754441821,
0.30021536194258724,
0.39454758758529734,
0.08456054587954669,
0.07945633565063037,
0.8268318550723679,
0.5266704458106939,
0.6626249166816996,
0.1554718497571237,
0.2329875839019631,
0.724959449312873,
0.5431494104077922,
0.2848386909544558,
0.5410592845969506,
0.3380902594276914,
0.14208705167800353,
0.7665826051418163,
0.8339372693640034,
0.49730358796597074,
0.1476257872180142,
0.775615979865104,
0.009067568464453231,
0.818956244927588,
0.6803451324068813,
0.006068828051460169,
0.44793691100737476,
0.983674339713453,
0.09010796507124509,
0.7659255412327883,
0.9654964196881038,
0.3501473102602519,
0.7301418163650999,
0.006450668910157557,
0.6085585454964448,
0.5016014039287346,
0.36956195052935786,
0.22593944664717172,
0.6898777477186819,
0.8713227940889361,
0.015044707575590514,
0.14986749625528872,
0.5509632827134252,
0.4406649306045531,
0.656769632747576,
0.07171539637998571,
0.5332036212862478,
0.5510545274128799,
0.7786831932092745,
0.48550005524547307,
0.8887422999573737,
0.44872245854901205,
0.10538692262614772,
0.4519282082216647,
0.9792559926815462,
0.5251237821125248,
0.03383257846204391,
0.14937008245600622,
0.8808605870885916,
0.6515218288757656,
0.2901378183835507,
0.8613373532102763,
0.8542054933156366,
0.545097839446994,
0.167521607868262,
0.41517770043927654,
0.0028829022783047756,
0.1061965625514734,
0.22868763800447053,
0.3691886871515747,
0.8525904100045074,
0.12411108057110362,
0.0676490327035191,
0.478207877249971,
0.7020828364654637,
0.0014046637810311894,
0.1449264274316203,
0.28517361713693795,
0.08153079708142458,
0.6169795549048529,
0.4129000262852991,
0.4119379945127149,
0.5642242120961249,
0.9316952000213077,
0.9238155206953678,
0.6237072880900715,
0.8989135226930756,
0.37663900372028325,
0.8532628500492458,
0.36003804587759963,
0.8357645794366869,
0.49000259733060436,
0.2320736218784176,
0.9996105041353988,
0.07407500293899211,
0.8034666920554514,
0.4411783778204532,
0.2367784171916494,
0.9095980939244847,
0.5609798774963664,
0.6400238924287315,
0.11318086206754224,
0.9229229772283982,
0.1403247758607205,
0.6411826539880555,
0.7086714065421074,
0.8899917362467367,
0.5249227903608519,
0.8517803994127969,
0.18857476561995568,
0.43322826955309796,
0.9786355895871846,
0.9142573072841059,
0.4617182532003425,
0.4781791594527148,
0.42485291637127587,
0.2816418156217881,
0.627648883645341,
0.44706987087779443,
0.19984383210536183,
0.4823381934506675,
0.9435202798208967,
0.7776721596665849,
0.08454903729365883,
0.36664028008623056,
0.8062926581609744,
0.768764864133849,
0.8205171750906196,
0.8215155489327189,
0.2576090277306757,
0.9713686492693072,
0.20036464002923215,
0.8980957418442926,
0.2964896844458975,
0.2647725146414648,
0.35624650315294193,
0.20488937948944266,
0.46122240588563085,
0.8980914770853918,
0.4901462622196754,
0.7378948721424432,
0.9035835989992096,
0.21645553019280908,
0.9682283254731978,
0.2166948076842108,
0.27073081961617124,
0.022958271909262584,
0.1253836562683302,
0.19285557726231767,
0.42720235661305545,
0.961805915916759,
0.7624059623951106,
0.5924056085274568,
0.05251776474819467,
0.45648913817864123,
0.8638007649834736,
0.41726688910677723,
0.14031197110663912,
0.99237681459458,
0.7006840013667671,
0.6868737057519317,
0.10955979188661086,
0.1428555383213925,
0.4957126314974652,
0.4378112741834045,
0.7293122503276245,
0.8048547850467392,
0.33321970266597806,
0.1537255756914908,
0.5987795203921338,
0.8173358407377581,
0.8651941870025346,
0.7583600771050807,
0.9847704456152325,
0.42500850242213545,
0.7012591372945484,
0.32804388490692804,
0.3856254477020412,
0.7774970638047665,
0.38647315054816966,
0.7281823686156846,
0.7961638587983707,
0.1157373443981021,
0.24895056575745125,
0.8462870195150113,
0.8269980032525487,
0.9657517587686311,
0.7834454008339544,
0.006509002532462823,
0.8249317542242193,
0.6312897188196167,
0.10603335199552433,
0.3409170914303784,
0.7028798043501749,
0.9431048286946269,
0.9702726749168412,
0.8193682569124197,
0.8190457531761018,
0.4853628372040956,
0.1363013862018244,
0.2570439258723156,
0.38917148727671513,
0.7852327748633066,
0.017125617251062212,
0.6886228371152242,
0.8869700648093061,
0.8705385268830086,
0.2746115618559093,
0.8257518477797862,
0.11894268079636215,
0.14935885396538276,
0.4928198518447624,
0.21410456979975676,
0.6563283609357495,
0.8333959749046238,
0.8984369926383805,
0.6804078569822963,
0.6443993841866961,
0.2968278476728191,
0.4547857044857893,
0.04004260013812282,
0.8055501109467703,
0.18002889705356884,
0.5681104009431113,
0.09570558674067854,
0.9317878165589152,
0.7983817727766889,
0.5424653928592953,
0.046473897538723864,
0.8614314852425436,
0.8639351767171023,
0.14993381433885866,
0.7253047327337099,
0.6470605408882397,
0.09227562604757855,
0.714070982233172,
0.07268052340314736,
0.5179590476951467,
0.2643957732395259,
0.8273093706991779,
0.24442950152895168,
0.5961007493539017,
0.2645023286492802,
0.5978142038448281,
0.6828184895410245,
0.5346291695103583,
0.7471324724022141,
0.5850132414104914,
0.527204148361274,
0.07481078036939977,
0.8605246957998082,
0.584162937613242,
0.12837670513623783,
0.34166797468011917,
0.5067950839891087,
0.37295945369940237,
0.9688933901416356,
0.5757296247351286,
0.8489884126114167,
0.4482005607448985,
0.6243853682243231,
0.6441369570428824,
0.32228333114699537,
0.9199452027492098,
0.6566048431342013,
0.19658757517966152,
0.27906810196094867,
0.15174339226254807,
0.8346506869035425,
0.651733242127051,
0.03393358435340542,
0.019263607919976024,
0.7053584190330837,
0.43082613694267957,
0.4666759319293024,
0.9773064667771818,
0.13253543622152308,
0.1735170865835429,
0.22480831673015103,
0.8076447112969227,
0.9757896028402703,
0.2873460087662903,
0.36900824875780575,
0.7377335007157487,
0.5021091146632352,
0.23839769517965562,
0.85531328359044,
0.28336017236191785,
0.8465373413279972,
0.3101704382128479,
0.8267165191533781,
0.6841158640301125,
0.9726537601027297,
0.12706540038973685,
0.08705845174543989,
0.5599079727101857,
0.9613675475030596,
0.8337716648433757,
0.20167745398396567,
0.8644162064568177,
0.4997590325073709,
0.5113019075969472,
0.14858529370943674,
0.5568550977755466,
0.6597827842132614,
0.7140408888724727,
0.16414162846378555,
0.9860620188960019,
0.578160865366962,
0.3472502833109466,
0.3680302608683776,
0.8379182240082692,
0.6353643156204756,
0.8357599740465544,
0.33668659937956524,
0.3747962141350834,
0.6630755701714837,
0.28231847153099215,
0.2182424308774626,
0.532464261523556,
0.6842979620407098,
0.6512382935386241,
0.29795438477256203,
0.24499541433644373,
0.2835016491085993,
0.9737095301909627,
0.8425625594897574,
0.6294807022506094,
0.13716658464101297,
0.4185602302706242,
0.851123700815049,
0.01396909798820715,
0.548323016275727,
0.9462451862511796,
0.38769855498981165,
0.7165872330583136,
0.2013475504241296,
0.23904900328234047,
0.7687102504467382,
0.3397385900234195,
0.2738975149751402,
0.0054493935325763635,
0.3358434339370214,
0.6142670988604116,
0.03224671819066785,
0.33284573288002184,
0.6221631520013705,
0.1312990885067962,
0.11641219866378517,
0.022203916921793465,
0.7867541717800205,
0.0091488985366069,
0.24279796104943333,
0.5313809124127452,
0.6656712860953229,
0.8263897080501518,
0.012668976097523462,
0.39328667111538507,
0.7480131382467256,
0.3895872273458138,
0.881621990325307,
0.6707459645510525,
0.7889500725522987,
0.08028720670386386,
0.8860854014954729,
0.26909170725128884,
0.06314274996126601,
0.7812265085012714,
0.5383182120365831,
0.5851969361736432,
0.79618299258784,
0.08763909807606579,
0.20621268525864292,
0.24102223088057298,
0.5500290707103045,
0.13644414933781235,
0.7912232346812317,
0.6401244678162328,
0.8670786942511515,
0.6824758582940502,
0.2676884066936766,
0.9863440287267659,
0.9908491771181228,
0.06760864240760185,
0.4698059050063151,
0.9950035603239675,
0.4349439326755106,
0.12134452097149205,
0.39471554532524095,
0.14886333214791103,
0.24097022093855083,
0.35133961875721337,
0.8407638324053874,
0.9045247640238434,
0.8642527437452815,
0.09607844545880297,
0.269686541815681,
0.7996462957932722,
0.4495600809924212,
0.1192873649111221,
0.4454208119878128,
0.7266037298195538,
0.10489957572540724,
0.6695883382739473,
0.9724083132977617,
0.38783588548839,
0.3522418815065739,
0.054110430659286314,
0.8812959752700515,
0.2547889277932208,
0.6893081955353981,
0.3744096391309075,
0.6725414669310072,
0.13881288518635856,
0.004869430327059103,
0.7126730155927765,
0.9407227390773415,
0.23654785524973362,
0.6593890410520576,
0.9000493760453652,
0.9912240006940495,
0.8677805689786982,
0.37614754572886683,
0.312875647869165,
0.9251700215798733,
0.31380930922781336,
0.6512015370305632,
0.9769699433764838,
0.4884100427125604,
0.769272887559904,
0.08660625808094774,
0.7162708152821918,
0.6260776050915191,
0.2905218285253555,
0.6012331306937228,
0.529731375521452,
0.5627385411790429,
0.4478541986196894,
0.5978699972848105,
0.4101723873545817,
0.5689425616452802,
0.81454010024074,
0.13517767636458802,
0.5273256948048541,
0.9842712623030578,
0.8618929986520422,
0.785041900767256,
0.32743549331264465,
0.6213456261021424,
0.20647008838282668,
0.667539518249114,
0.18012368520259012,
0.6582737412905026,
0.12852041240048603,
0.643617610364132,
0.8801617114525665,
0.03412912274574142,
0.25497252337051846,
0.009694765789828906,
0.25927726720908595,
0.6542919060807424,
0.8171478230080446,
0.32071126725541227,
0.8142253150730918,
0.7090303587515443,
0.4069455245991576,
0.1375940894097076,
0.49787139159112037,
0.40672919140354014,
0.08457251919539936,
0.6657295640711043,
0.8749194938863906,
0.5518220045025978,
0.40354874669656826,
0.29242729006624485,
0.4075425948033907,
0.05876500440267031,
0.8750400093558803,
0.8464658162199113,
0.278201539134188,
0.1983453303571663,
0.1053331501561527,
0.4246790123695226,
0.6190115056510576,
0.6327995948104187,
0.8905800638931292,
0.5189248999857634,
0.7591366290019678,
0.24498112086322651,
0.3246445400464918,
0.8989517939973045,
0.39852604744921577,
0.24445921444437915,
0.2233326647484984,
0.2427224366093805,
0.5352860441280729,
0.9261874090708297,
0.8115882547133575,
0.8626835161966,
0.381012796978702,
0.8609614262499291,
0.47406607365097525,
0.9585821539998478,
0.8692984424692808,
0.8822853471809731,
0.6296366082107734,
0.9507203830756993,
0.26711993810420853,
0.726320525334757,
0.7553816765442913,
0.3984797302164323,
0.4251989997982045,
0.0127816929046022,
0.1243481759737125,
0.06131984620851461,
0.40519972154991696,
0.7722694742894427,
0.13919159424006744,
0.41768492232488585,
0.9139395125475571,
0.08753174824815517,
0.872158596728034,
0.6726903197524814,
0.40713346991854105,
0.7028368291684512,
0.000308343209398059,
0.7043428043146485,
0.34626622692362086,
0.9417239876793986,
0.6927098766185134,
0.4889809658026744,
0.5419556641816058,
0.6478651493433549,
0.33584075917858647,
0.4691179214206333,
0.19441400868688105,
0.2774169289687222,
0.834832519487206,
0.7379215687368814,
0.2961525321696309,
0.4897541309450181,
0.9926295445749139,
0.3230450442812976,
0.5890701649685088,
0.09970104929518445,
0.5683495317512074,
0.6142534426446663,
0.6195944991474027,
0.3887734199847964,
0.956188213069967,
0.3353667644167707,
0.8917497179684578,
0.25971988175523464,
0.37422019554633185,
0.7488420889128098,
0.5200722053460944,
0.556247729006281,
0.4683229782311998,
0.2956332336868237,
0.04644429172539252,
0.5349726068170212,
0.6235345172750612,
0.1810277805619472,
0.6685965798489276,
0.7490770639267463,
0.6633339183552502,
0.4389909441673641,
0.8185145123439176,
0.5487805890265807,
0.024677834013634787,
0.39399580620089447,
0.27661797643560404,
0.09641210085163175,
0.5769751469085401,
0.33211412078983016,
0.5041319084130534,
0.6477877205814672,
0.1530208546093248,
0.7539605544307177,
0.2542669885452527,
0.7074961824592892,
0.14965413933378974,
0.33986145475410423,
0.050518562796180735,
0.1680929190870591,
0.20306534254994835,
0.7537134545281794,
0.9034497712048352,
0.2111476667251316,
0.24958657339438484,
0.29776931444596716,
0.3321529869763537,
0.6725083211605689,
0.7787857299621184,
0.760167063390875,
0.5596587309985558,
0.8911236314780833,
0.22338980208695627,
0.6583711732314832,
0.03279784811492959,
0.3184715286638754,
0.38132100095537513,
0.8085490159710285,
0.21073927595530154,
0.3766812852995194,
0.3964958589981533,
0.9090494543567881,
0.24989874224408967,
0.1450886032881887,
0.9150013420532926,
0.251768465445323,
0.2704981684848895,
0.06967708842588521,
0.07341528289798072,
0.16966152264961543,
0.18490715771562122,
0.5259421836878039,
0.859032075819334,
0.24824390822282152,
0.15091767980505658,
0.052727454587055245,
0.8459403458624007,
0.7902083459287436,
0.29749332002771395,
0.3900226464937494,
0.99330500396744,
0.32352807613171825,
0.2121139786234391,
0.38793575633036337,
0.7833940477071781,
0.5216394154172482,
0.6872524755744386,
0.8314333101342044,
0.16446493686280794,
0.6766227860182111,
0.275881861400763,
0.7424253040790617,
0.5537505854279153,
0.2649275430629327,
0.277436957060694,
0.8076589272375356,
0.48880347551051606,
0.7956953569771013,
0.02019945323006237,
0.18281583073148872,
0.6697162256272781,
0.29061805975870647,
0.5622370533091569,
0.22752709389373826,
0.7347719924838217,
0.7190470836868154,
0.39072856292844016,
0.15552075629949588,
0.6650314556120502,
0.44272043659415106,
0.3526844306273117,
0.48112228360984527,
0.9101579645439419,
0.2153526722023619,
0.7894175042839295,
0.35756578351314316,
0.6421421057642769,
0.4802247799188422,
0.5926364370604597,
0.3415988556439054,
0.08130355879694771,
0.13198683181125365,
0.7776102385897213,
0.2421375937392324,
0.06381369243930413,
0.5222273386368126,
0.9735117121537942,
0.8648167610785031,
0.3138444599029246,
0.5557067905449558,
0.5233973319463892,
0.9018571185650902,
0.92831526718296,
0.9779821592331822,
0.11234253740691173,
0.514060824530679,
0.1615168014917329,
0.873989513114558,
0.09064674845213228,
0.2101073037390847,
0.27063873416526213,
0.23711815877750472,
0.1839541630316419,
0.09567024817123781,
0.7973991380532736,
0.6450485413998944,
0.7353367274010872,
0.33283783456609534,
0.09115226545630774,
0.2868625573550497,
0.19316733237196862,
0.31347585686330587,
0.6187812028496482,
0.4772181854297449,
0.47088005288291723,
0.7265017055269568,
0.9924788663611931,
0.101122033573017,
0.252007027215326,
0.6863345363378373,
0.5319028293089715,
0.656467106113319,
0.4050445280515227,
0.4991985299855467,
0.050548031937924225,
0.993900381027232,
0.32342578711067926,
0.6543544020164652,
0.8262768387390014,
0.1676893416251264,
0.43761577444095534,
0.16876318542490787,
0.6999298973707319,
0.7650280997075671,
0.3581719238679325,
0.17135181817490416,
0.055755993597152644,
0.8806785789506227,
0.10086212519110696,
0.2171174814498791,
0.6998614072100868,
0.373939975484726,
0.56796479005552,
0.14009528936354798,
0.12000561345368754,
0.0075913793425055635,
0.4679530000937993,
0.6252834155748792,
0.5326552690315655,
0.4598792922822478,
0.4633857182840318,
0.6815722695741738,
0.13499165213084585,
0.10992344261843791,
0.47396429010526375,
0.23271205328235217,
0.6733365407384319,
0.06022945746319123,
0.8183009412182264,
0.6254175828363322,
0.7527795847861048,
0.34744564871011435,
0.8592038922615358,
0.4981673447178135,
0.28390430712232,
0.5723705209261669,
0.5089578001082311,
0.7000553558347875,
0.2129234280932982,
0.09210191087147732,
0.11089941652279799,
0.9299489511013843,
0.5730156066298987,
0.7623728969512444,
0.608237955162357,
0.7862291787253295,
0.9129765787890592,
0.858345693409989,
0.7345144433748243,
0.18115433728814925,
0.919199302308075,
0.6501049906132056,
0.3604454878625566,
0.4262635992901082,
0.257638106182599,
0.5267717744053275,
0.1492325128403568,
0.21031865738572522,
0.3713690408904499,
0.9748849028197315,
0.6279390132119738,
0.5817301141986926,
0.4870175957882352,
0.32623246249887916,
0.8547912912570851,
0.42617144841378823,
0.16102149620675982,
0.18503473889665556,
0.3936568494871391,
0.5527696212643687,
0.21969890529748493,
0.9835571879482728,
0.42521782438857897,
0.11022582117240545,
0.9367793651616153,
0.4313875707870786,
0.7545334544858274,
0.4968340535407965,
0.02541045426051376,
0.8275400718738185,
0.9863950733529392,
0.6326481731684525,
0.8302976574819296,
0.7165805596664037,
0.18948722565301862,
0.6301903809956718,
0.3858555104550569,
0.20670014252110852,
0.3411501523435931,
0.3673887963796474,
0.7025578757055472,
0.18889710264953252,
0.9006711411989925,
0.14310249433459307
]



区間ごとに分ける

検証するために、[0,1)という値域を、

* [0,0.2)

* [0.2,0.4)

* [0.4,0.6)

* [0.6,0.8)

* [0.8,1)

という、5区分にわけ、それぞれの区分に入った乱数の数を数えてみます。

すると

[0,0.2)
[0.2,0.4)
[0.4,0.6)
[0.6,0.8)
[0.8,1)

193
216
181
207
203

となりました。

期待度数は200なはずなので、遠からずではあります。しかし181のように少し遠い値もあるため、ここらへんのばらつきが乱数として使うにあたって許容できるのかをみてみます。


カイ二乗検定

カイ二乗検定の説明はぱぱっとします。難しいですが、詳しい説明は省かせてください。


  • とあるルールに従って計算された検定統計量が、χ^2分布に従う仮説をつくる

  • カイ二乗分布の確率分布表をみると、確率が高いところ、確率が低いところがある

  • その仮説のとおり検定統計量がχ^2分布に従っていて、検定統計量が確率が高い分布域に収まっているとまあ不思議はない

  • その仮説のとおり検定統計量がχ^2分布に従っていて、検定統計量が確率が高い分布域に収まっていなければ、仮説が不自然であるとみなせる。つまり仮説は棄却される。

標本数をn、区間数をk、各区間の観測度数をxi、期待度数をF=n/kとすると、

n個の乱数が一様であれば、

\chi^2=Σ_{i=1}^{k}{\frac{(x_i-F)^2}{F}}

は自由度k-1のカイ2乗分布に従います。

ここではn=1000、k=5なので、

1000個の乱数が一様であれば、

\chi^2=3.620

が自由度4のカイ二乗検分布に従います。


検定結果

自由度4において、危険率5%とすると、棄却域は(9.48773,無限大)です。

3.620は棄却域に入っていないので、


1000個の乱数が一様であれば

\chi^2=3.620

が自由度4のカイ二乗検分布に従います。


という仮説は、棄却されません。つまり、

「1000個の乱数が一様である」は、正しい確率のほうが高い

ということです。


従来の乱数でも検定してみた

[0,0.2)
[0.2,0.4)
[0.4,0.6)
[0.6,0.8)
[0.8,1)

203
195
186
220
196

\chi^2=3.230

これも棄却域に入っていないので、「1000個の乱数が一様である」は、正しい確率のほうが高いと言えることになります。これはJavaScript標準のやつなので当然ですね笑。


結論

NEMのブロックハッシュのように、恣意性のない入力から作られたハッシュ値は、一様性があるので、乱数として十分使える。なので「恣意性が入ってないと証明できる乱数」になれる。ということになります。

ハッシュ値であればブロックハッシュでなく何でも良いということもいえます。マルチシグトランザクションのハッシュ値でも構いません。(マルチシグでない場合はオフラインでトランザクションつくりなおせるので要注意)

ということは

あらかじめ抽選に使うハッシュ値についてルールを決めておきさえすれば、

NEMブロックチェーンをつかって恣意性がないと証明できる乱数がつくれる、つまり、NEMブロックチェーンを使えば透明性ある抽選機能がつくれる!!!

といえます。

ゲーム用のガチャだとか ガチャもぐとかにも 使えると思いますし、

弊社(LCNEM)の開発するちけっとピアツーピアにも応用したいと思います。

アイデアの種になれば良いですね。

では!