Poseidon_Ristretto.ipynb

{
 "cells": [
  {
   "cell_type": "code",
   "execution_count": 2,
   "metadata": {},
   "outputs": [],
   "source": [
    "# For GF(p)\n",
    "\n",
    "N = 1518\n",
    "t = 6\n",
    "n = int(N / t)\n",
    "set_random_seed(0)\n",
    "prime = 27742317777372353535851937790883648493 + 2^252\n",
    "\n",
    "F.<x> = GF(prime)\n"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 3,
   "metadata": {},
   "outputs": [],
   "source": [
    "def isAllInvertible(M, t):\n",
    "    # Test all square submatrices for invertibility\n",
    "    counter = 0\n",
    "    all_invertible = True\n",
    "    for i in range(2, t):\n",
    "        choices_i = Combinations(range(0, t), i)\n",
    "        for m in range(0, choices_i.cardinality()):\n",
    "            for n in range(0, choices_i.cardinality()):\n",
    "                M_sub = M[choices_i[m], choices_i[n]]\n",
    "                is_inv = M_sub.is_invertible()\n",
    "                all_invertible = all_invertible and is_inv\n",
    "                if is_inv == False:\n",
    "                    print \"FALSE\"\n",
    "                    print M_sub\n",
    "                counter += 1\n",
    "    print \"Submatrices checked:\", counter\n",
    "    return all_invertible"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 4,
   "metadata": {},
   "outputs": [],
   "source": [
    "def print_matrix_format(M_int, n, t):\n",
    "    print \"n:\", n\n",
    "    print \"t:\", t\n",
    "    print \"N:\", (n * t)\n",
    "    print \"Prime:\", \"0x\" + hex(prime)\n",
    "    hex_length = int(ceil(float(n) / 4)) + 2 # +2 for \"0x\"\n",
    "    print \"MDS matrix (rows):\"\n",
    "    for i in range(0, t):\n",
    "        #print [hex(entry) for entry in M_int[i]]\n",
    "        print [\"{0:#0{1}x}\".format(entry, hex_length) for entry in M_int[i]]"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 5,
   "metadata": {},
   "outputs": [],
   "source": [
    "def matrix_entries_to_int(M, t):\n",
    "    M_int = []\n",
    "    for i in range(0, t):\n",
    "        M_int.append([])\n",
    "        for j in range(0, t):\n",
    "            M_int[i].append(int(M[i, j]))\n",
    "    return M_int"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 6,
   "metadata": {},
   "outputs": [],
   "source": [
    "def create_mds(n, t, start):\n",
    "    M = matrix(F, t, t)\n",
    "    xs = []\n",
    "    ys = []\n",
    "\n",
    "    for i in range(0, t):\n",
    "        xs.append(F(start + i))\n",
    "        ys.append(F(start + t + i))\n",
    "    \n",
    "    #import pdb; pdb.set_trace()\n",
    "    \n",
    "    #print \"xs:\", xs\n",
    "    #print \"ys:\", ys\n",
    "    \n",
    "    for i in range(0, t):\n",
    "        for j in range(0, t):\n",
    "            entry = (xs[i] + ys[j])^(-1)\n",
    "            M[i, j] = entry\n",
    "    return M"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 7,
   "metadata": {},
   "outputs": [],
   "source": [
    "mds_matrix = create_mds(n, t, 0)\n"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 8,
   "metadata": {},
   "outputs": [],
   "source": [
    "mds_matrix_int = matrix_entries_to_int(mds_matrix, t)\n"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 11,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "n: 253\n",
      "t: 6\n",
      "N: 1518\n",
      "Prime: 0x1000000000000000000000000000000014def9dea2f79cd65812631a5cf5d3ed\n",
      "MDS matrix (rows):\n",
      "['0x0d55555555555555555555555555555566b9d03987ce5807f40f5295f822309b', '0x024924924924924924924924924924924c1fda8d84fecd43312732ba9f90d522', '0x0600000000000000000000000000000007d39db37d1cdad06106e529e2dc2f79', '0x038e38e38e38e38e38e38e38e38e38e392dc3786cee1b11330041605dbc4d9c3', '0x019999999999999999999999999999999bafe5c976b25c7bd59b704f6fb22ecb', '0x0e8ba2e8ba2e8ba2e8ba2e8ba2e8ba2e9e9c28f8f13e317d0a3f42d225f6c0a9']\n",
      "['0x024924924924924924924924924924924c1fda8d84fecd43312732ba9f90d522', '0x0600000000000000000000000000000007d39db37d1cdad06106e529e2dc2f79', '0x038e38e38e38e38e38e38e38e38e38e392dc3786cee1b11330041605dbc4d9c3', '0x019999999999999999999999999999999bafe5c976b25c7bd59b704f6fb22ecb', '0x0e8ba2e8ba2e8ba2e8ba2e8ba2e8ba2e9e9c28f8f13e317d0a3f42d225f6c0a9', '0x0eaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabdcc650c1562fa6f2610dad82a8c0244']\n",
      "['0x0600000000000000000000000000000007d39db37d1cdad06106e529e2dc2f79', '0x038e38e38e38e38e38e38e38e38e38e392dc3786cee1b11330041605dbc4d9c3', '0x019999999999999999999999999999999bafe5c976b25c7bd59b704f6fb22ecb', '0x0e8ba2e8ba2e8ba2e8ba2e8ba2e8ba2e9e9c28f8f13e317d0a3f42d225f6c0a9', '0x0eaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabdcc650c1562fa6f2610dad82a8c0244', '0x076276276276276276276276276276276c18248e23d4be8a50087c82524a130b']\n",
      "['0x038e38e38e38e38e38e38e38e38e38e392dc3786cee1b11330041605dbc4d9c3', '0x019999999999999999999999999999999bafe5c976b25c7bd59b704f6fb22ecb', '0x0e8ba2e8ba2e8ba2e8ba2e8ba2e8ba2e9e9c28f8f13e317d0a3f42d225f6c0a9', '0x0eaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabdcc650c1562fa6f2610dad82a8c0244', '0x076276276276276276276276276276276c18248e23d4be8a50087c82524a130b', '0x01249249249249249249249249249249260fed46c27f66a19893995d4fc86a91']\n",
      "['0x019999999999999999999999999999999bafe5c976b25c7bd59b704f6fb22ecb', '0x0e8ba2e8ba2e8ba2e8ba2e8ba2e8ba2e9e9c28f8f13e317d0a3f42d225f6c0a9', '0x0eaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabdcc650c1562fa6f2610dad82a8c0244', '0x076276276276276276276276276276276c18248e23d4be8a50087c82524a130b', '0x01249249249249249249249249249249260fed46c27f66a19893995d4fc86a91', '0x0bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbcb09ea70111bfb8c1e73e246887001d0']\n",
      "['0x0e8ba2e8ba2e8ba2e8ba2e8ba2e8ba2e9e9c28f8f13e317d0a3f42d225f6c0a9', '0x0eaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabdcc650c1562fa6f2610dad82a8c0244', '0x076276276276276276276276276276276c18248e23d4be8a50087c82524a130b', '0x01249249249249249249249249249249260fed46c27f66a19893995d4fc86a91', '0x0bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbcb09ea70111bfb8c1e73e246887001d0', '0x0b0000000000000000000000000000000e594bc9100a3bd35c8ca4221fe901b3']\n"
     ]
    },
    {
     "name": "stderr",
     "output_type": "stream",
     "text": [
      "/usr/lib/python2.7/dist-packages/sage/repl/ipython_kernel/__main__.py:1: DeprecationWarning: use the method .hex instead\n",
      "See https://trac.sagemath.org/26756 for details.\n",
      "  from ipykernel.kernelapp import IPKernelApp\n"
     ]
    }
   ],
   "source": [
    "print_matrix_format(mds_matrix_int, n, t)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 21,
   "metadata": {},
   "outputs": [],
   "source": [
    "from sage.rings.polynomial.polynomial_gf2x import GF2X_BuildIrred_list\n",
    "\n",
    "def grain_sr_generator():\n",
    "    bit_sequence = [1] * 80\n",
    "    for _ in range(0, 160):\n",
    "        new_bit = bit_sequence[62] ^^ bit_sequence[51] ^^ bit_sequence[38] ^^ bit_sequence[23] ^^ bit_sequence[13] ^^ bit_sequence[0]\n",
    "        bit_sequence.pop(0)\n",
    "        bit_sequence.append(new_bit)\n",
    "\n",
    "    while True:\n",
    "        new_bit = bit_sequence[62] ^^ bit_sequence[51] ^^ bit_sequence[38] ^^ bit_sequence[23] ^^ bit_sequence[13] ^^ bit_sequence[0]\n",
    "        bit_sequence.pop(0)\n",
    "        bit_sequence.append(new_bit)\n",
    "        while new_bit == 0:\n",
    "            new_bit = bit_sequence[62] ^^ bit_sequence[51] ^^ bit_sequence[38] ^^ bit_sequence[23] ^^ bit_sequence[13] ^^ bit_sequence[0]\n",
    "            bit_sequence.pop(0)\n",
    "            bit_sequence.append(new_bit)\n",
    "            new_bit = bit_sequence[62] ^^ bit_sequence[51] ^^ bit_sequence[38] ^^ bit_sequence[23] ^^ bit_sequence[13] ^^ bit_sequence[0]\n",
    "            bit_sequence.pop(0)\n",
    "            bit_sequence.append(new_bit)\n",
    "        new_bit = bit_sequence[62] ^^ bit_sequence[51] ^^ bit_sequence[38] ^^ bit_sequence[23] ^^ bit_sequence[13] ^^ bit_sequence[0]\n",
    "        bit_sequence.pop(0)\n",
    "        bit_sequence.append(new_bit)\n",
    "        yield new_bit\n"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 22,
   "metadata": {},
   "outputs": [],
   "source": [
    "grain_gen = grain_sr_generator()"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 17,
   "metadata": {},
   "outputs": [],
   "source": [
    "def grain_random_bits(num_bits):\n",
    "    random_bits = [grain_gen.next() for i in range(0, num_bits)]\n",
    "    random_int = int(\"\".join(str(i) for i in random_bits), 2)\n",
    "    return random_int"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 24,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "Round constants for GF(p):\n",
      "['0x07dee32d2fef774b872c091f21fd433bdd25fa2473e1ab9aba302e0f2f27779a', '0x0d2cc38b52751899ba1503a9a1052fd15dab8a4f107879b0253cee5a9fb14800', '0x078d24ce2e81b6ceb60642248cb0d0dcf7c0f12a19e0c7626cfd2f02eb92f43d', '0x0b2f69e1d0e178f547a09e8dbc3520ba0bace5fa9d9a6cb5c779d1f3c7aea9f9', '0x0f5379a444403c992f948b1f3bb8650ecdbc72ba890730da99b937746735e28d', '0x0b40e7dee1486f0863b4552257235df6b61f3734a84d3514816e273b98f4870f', '0x05a270180698004c84f87477a61d826546d4aa940f6e913003fef405dcaaa704', '0x07635e53d64b711d72f69c84831eea2979307c6dfcd804ab89d0559ff072c422', '0x00222c5b43d0077c3db42644e3d336d3a33eb338603e3e541e01300da83f54be', '0x07fe4311214be939bfcafc6b7517b6e9462dd367274cd44a17fe6107c378baf6', '0x07700647a1f79d97aa310ba6723555ed710fa3284102de6d88e443b0e878d003', '0x0ad104c957b45d6e651c12429adf5af9ac00780dbf00a36a1d37205753be8f05', '0x02c4c8acc530d959ee7c0d8e7ded98196eb22c4fd53f095342675c421a51f143', '0x03c74cb2fb155ecea5febd6a05a0223a15d88624bd37c83bd6dd570757d0dd63', '0x0c42b2565202cef9a9c8c34dd3a03deb19a4b9df6195a20c902a05863baed4a5', '0x07d833d313cef82136e6ddab024ac6a007adaf3363873c8ca16b0204ffcdca7f', '0x019978412552ae8619b9a8c2ce2018e05ff10edc1792f2cf445bf1b92f44a74c', '0x05533e7f3ce05bfc69d96416de80653e136f20279b67baeeb3cf6526130e74bd', '0x0709aecee2a65e62a0f16afbfafe1ca6aa353ae9a8f919694c000a07a5b03aa8', '0x096c6624b72aac5501816ce6a4661cda2d1c4571ffd8dc01fc465030d6d07961', '0x002db50f182a8853c740d467c6da5c16dc2e337a117a2e08b46c7c0e36a9fb02', '0x0ec58760d91e276a5fbe9e3fd2cd0e71500fe0f713af7338849fd6e1e7b3dcba', '0x01aa20d70af08a11bddcccfd7530632c87e1929895a1f1734a515fd8cfcbc9dd', '0x0854c77cf0caad23e1edd2d6a6453b85e37f94d351589d8e5361a9aaa466b7fd', '0x093c6f02c4f2fd229d96c86205600dc3afdbbaf81c889c35af51fa9563c7fc2f', '0x0ef3dafb67d1bbf0e8b2217b7dd51dd9ce7e6f990bfe7f339de5e12691c68302', '0x0a4cb16ffb2f0d580a043b47edf46439be91f4bfdafb50cf8295f459d12268f9', '0x092a80f59daedb3a836cb8be0662f19cf2a3169ffdb84b897e6521979451342b', '0x0bcac584e2741298dfb1f7db74f5a00e0f1eeb2a6903dbde22e7557ab5f8a8dc', '0x017d71419f3a54282ce1d0d05ee640ae8e0f47cecd7d0e4686f06bfc88c2669e', '0x01800479969acb77d59bf0f293931c1ae41013846e682babf97b8867b768d1fb', '0x042cce10b92d6af45eacdfb34f342dff6d897deb1416c2d023764d8ce531cdca', '0x0ee7e3e7cd0015aceb63100562f444afd9baae1f18f20c59dce99880f5c7bb55', '0x08d227e5ca3c372be5e27321124b33dae4394680bc7a192aadb83908dc690ee2', '0x043e23a20acd784128472b2c874d573d38f164fddb9fa8fdb2e45ab8df994596', '0x09a676cba3aea403792b4394aaa066d5221c4a506be0fb4605b2261d91a3f5ee', '0x0905a8678f68e7fbaa8fe56f72fe5c812b81e774b5f8a15962900e92214c076a', '0x0969a3ebd43f96dc8fbc0915a2ac6c0bf13f55d95b7cd6830c747d2eb49ce7a2', '0x0028a0f534ab8dddb4f0d88b0e1f94ac6a4cc64d873660ebbafb80a93de705ff', '0x05ca021b7c2caec2c4325933fe1feb766cce5022f40b257c57ad7864552e9755', '0x0178320e9e67004368b8da68c1eb917262ad33570e2060f523d3266794236652', '0x0b4a6b36c7469c0b70e8649c8a13df10120e71164ecfe9939b81580bd57e7e26', '0x01c9714605e42264b0c5b54e27332d43948413cb6ef5e0ec9ec09b4a37f74dfe', '0x093ebdc46e70f0867bc7d5232909b548d992e7779069cd55c672deae3f34409f', '0x0ecb5ba80b49752fa7a50c82e3bee5c9d8b592f753bd73f63f44f2757b6453bf', '0x08f941e796b1879ebaa28e5e9793c08c8b8e870a58ae40afa3870433cbeb6ac5', '0x0e408895f93504ae1f6df9da84abe77cf85ce04f2a78682a0c81e47121613bf7', '0x095c0d3a8659fcd2ffce4ac4993110b10434c43d7fa58b25361b83605e9d26b1', '0x0f9b2a1442e45c753243c25792ac7431e94451bd3b75fe8061ddf5fb199504bb', '0x026203f4d1c5c3ac00eb14158568514b143283d393341e8f5f1251bde28afd24', '0x076674756dd526852df996d00a6da712383ffbb9dfcf04d08d52b51c56603f0c', '0x0a396cf4c38dc66b14213287c680ad59ce5311a81e33ed83d49dd559b2380cae', '0x0c894145b04aba62fd4a1438ffa514320d1604ea2cb4e6280601d8e8845467a5', '0x0e08884778ae5b6effcea1530f35ef973983f3fe589462c1dc4ffa95bca1e788', '0x03e0d318ca30191196014f2398da8ada0b1fb39246bc561f7d79b4b93274b2f8', '0x0b024df08778101dfeca6850bb42ac398847208e207bed1e7ed959565aa78ea3', '0x0f758166c17047aa4c8db957c90557f198cd5b9212e95e04d8ea9d0667d89182', '0x0677b111c96e6e50f9aed5093e61a7e4cd1c00c124abca3983a01b5789eb84bb', '0x076a9e9eb29a01cf7105676455286690aedb5d4c363ba939108e9a0763b8dd99', '0x0537a946e7f4a95fd090486ee233c03c52be02d35464ca7164477c0f94bbde05', '0x0c13198697f71c3955b84097321d8b3f9510327dc968da1017e80a6003c99b15', '0x00560c5e7509074876f1fe48d8055176ad3f6358a7c25dd8645ac8dfa5f015a4', '0x0a1d0df544469b69cecd16303a42bc31e32ac9dc76125e467416d77fcabfc1c4', '0x0c3a9255ac9875c1ad129906e3cbbdafda21fa6e6e3bf578beb3a0b3ed0ce53f', '0x03276f0e69887a7d6eed98b82d96d3d2bc8ccdbb15b75185aab0686d687203d6', '0x02367bef00a9c64f32a56d0d1c20088d0a50485459c1c7fd2b2deafb06a4aacd', '0x086aa6e3baafc0738fafdb5a16d9b0fdc23a1c256113f5d1c6f9d48a50c46bff', '0x0ddc1f4fbbd1bd1ab6655706e3850fb9f8def0c837c5017a80c1251707f47713', '0x0e17668bef6f94c7dfb8b7b256a6477371bc19ce78b33b0851f0e4df5abb3c91', '0x0ba4b91870aa7d4e915e826c5c67a709f9cda2f53e708f243323e9ea7e815d92', '0x0c28d013b8e96dfa88b80b18c3f8973476a938971b785995c5cc64bbd1546a64', '0x0a7387fd12c7b3ac2a602fcb11cfe5d5e78df7d4e0e9454003a2437443d99262', '0x06ea1538310b0f8acde9118db99e0c6d8fdd31009f4cad64695e90d4ad77038a', '0x02cf0a2aa8a6688304faa22507a641bb02fbeaea231e2e75f98b62886cca57bf', '0x006daf8215b541f0bdc434803a7d8072decea01809b317827323e949d7b5205c', '0x06d0de6e11e4c3d429ded0b93fdfae124d2348efae4f43af5fa0dc9d363a3ab7', '0x0f8c1da28d8cba955ff0acceef3724a30a6ddbbb594a89b718e7d3bda1e40ae2', '0x0f1d75bc9e1b3df109604b314ebdba1ca304b7a3735bf9a65cb122a6b0a5bfbe', '0x07bc867f70911d1d63d204e79ac4b8bf66854746262f59a208537c10d3679740', '0x0a514c676d01d22aa1abf800aeda6f999bc07cc5f0cda5612ea6fa594ecd4e62', '0x0d2801727525684c3da45d5f65dbb19cc1522f54c5681c6704c803bb780be21b', '0x024ddeeea8ce986e0c4dbddf3e6d71bac1111f5b9779c427f0b8b0a95a4f3766', '0x0dfba356033d74b0f2ff70d7d20de3943e4e8763cff14175eb9f583d4c95a9ee', '0x0151f1de9cf20404032b62a4f6483c5b2c5b39faadcb434080e56789a866ac99', '0x098afb5fbb1f2b841abe94a2c7fae5a2b283502d9c65b84b0d35af41e4061dfd', '0x0417c5d0a513cb403037a5e310baba24017766be0f242f835b0860fe43cee816', '0x0305000216399804c1688d0f040d67f3c310191323a93a7a53d95a53eb83d227', '0x0f6858b843c969f67f516daf43f628ee04fefb1435dfb6d45ab1c9c924b12b91', '0x0fa543b4dc9e6829bf358925c4cbe7ed82a48da5c8d0aaf53f8b500237019e92', '0x07308272f79608055ab64aaf182baa4c07b30fdd33354c5c405a9e5dd24eec3f', '0x059f6f68937aabe785ba92071af485b72d94b06eddffc16a8f6bf6ccec1fd387', '0x03eb669030a02d9869a77b5840e78972065f2fd3db908a97b11e7840b1188563', '0x023fcbb6c3acf673a35eed022ada71bab2f376eec82416df81c3508c2cd2112b', '0x05648595297a65516c948663d4e50b89480f0547f634f31c6ca3c1dcffe00b48', '0x06bc506ec5d1835a4ae37a68c1c011267bdb4c0286cb7179cabb799f31acf61e', '0x0e3ec7cb37e29c8e78de71fe2b05eeff1d99840207c31312324643f12b1c9eb1', '0x0a2f62b408dbc23b79ca1fd35431ee7bf4141200d086a925eb9b69c359769571', '0x00b61128c313de60a2c80de7795440878ce99bfb24f5d73a917d4ddc7def27e5', '0x0750d9dba690ccdd6948b30c982ab79724bd1c098c96ef60ffc776afba513e0f', '0x0b9c194c9e32125d75676cf1ef43c9654466f0aaa15d6130f97e40be6392f994', '0x0ebbbf4c9ac750966dd77b581a60cd56ba1fc17edcb10ff92580879486d2d67e', '0x049fd0041587e59889641b8214cad071216cf792aa1dd46227441600bed94905', '0x0f90bc7b8eceddfb9371a22ab10ab975e3d3af26f8d65a278471619f20db0a3e', '0x0a2ae4279466528a669bfe755134dcf9f4ce520df0ae4b40d4ad3708bd9f43a1', '0x056017c5b0b7cad1c34fd9227926f8ee7551b22280cf3b4882db9ebf73fac5fe', '0x00fa0c9787e9ea41e336513c87678284866cd04da5f5dfefc8c8ffe7beca5a15', '0x044a1c91275ef2a9ed5ce9f4f7edac3b6265445c143446e8406bf0e237fb0ff7', '0x006a5f66c64c489e02c0c20e7a4e867d85ece871f880610303306b2abc89a618', '0x06cab1b647e06087d5f0fea5779f73e7f72cad94d92c185fade2e35e0d59a0c5', '0x09cb806c8d4b27ab293f1bb88afa0eba2903b526fbf6552ec6e5492e66d8e77c', '0x0ccb800a3391e0d75ccec586b7f8870015c248f53f0f6b2e2c0718eb7d5b9b7a', '0x0c8d225c964fb7c1e17d4c6ab55f6e8e5cf52dff11c2beb18d25aea6e888f8f2', '0x0733a54722f87482177fac3817e09642fa3c0fedeec864344b90cd3a069c2ad2', '0x0985442f08524b9217e33d171b864e731a7bd7ba37979a320dcb8c0eb2e88bc4', '0x097369f4105d11aeb823b38351540675e703513ec845a4356ed11180c7b6615e', '0x0c9e4849e261c96ca1895fc086981acdb75e73e93f0738127498a32f9fdf6ead', '0x0842ef25779d0f578aa5db89dd3cf9a5af233b1d0ece630cc591f52c188a675b', '0x02c0ad1bbfadf8c0d254ec1f457de4609777b384f4925cbd8763c761f6d6facd', '0x07d2ac9ed583400d7093ca483221092ea4f814a540ea74bc9277041de72fbcf6', '0x007fb31b37332c22b0792ccbf0a6ec6099b3f873534e8039ea83da8fe481d97e', '0x0cd9fcbdcad67144b2eb06041beccab24052836b3b498c2748879ae5c23009ad', '0x0a4e3ebe48799b2783d6076da0684189dcba3232a76dc0d77ac4333fcf2e3c18', '0x05f1f39107ea0da82f6d4c73f95b4bbbf4860e12c3b8fac1a3a575c86218a37d', '0x07ef38030c061948abe5e1b83c812d24cad3c47eba405e98d0480b1c46b0e421', '0x0ea5e24f9b4d392e07e8f11b04c974e7eef92c2b365063e0a1e1a03a91095b1a', '0x001103fa27aaa29fd3fb57141211c73af21458a293edfb49eb543f86b8968b93', '0x00945c4e63df690c3fdd1f2c1d4582764a8e311af62d92034c6edef6abe8bbed', '0x08e027fad54a818cdc1f2c63e8d63755ad4669ebd5b752d2bf46e7d024245029', '0x00a562264ef748a355d7b482c5d5cf383bdcc92f0d0aa70e08e6d5d5672b1d2c', '0x0364508460a3ed5fce207207d4d4be005f880cda77f45fdba81b123027c4a708', '0x0d34b7db472e3c3703bb82d7c31f5c85e943ed667554d2e523d6d68f0daad047', '0x0a4eaf906ee4bb69307c7692fbc4eb6d87844aa17359b299aa460d6f79666320', '0x0b7131ac795daaa7c4a02a6a6c8f5c7e4f3a81bd4d781c396e3625a785858243', '0x0e79962d6f1f1d048f4a891795c01c9a20b521139a398183ba6b47bfb11f9817', '0x0dfc5f393c71b77fc78a7be79bc3f6f499cbf54b3ddd7d4b1868be23a6ba9b50', '0x00075cc47da3ef8be846bdd3d906a8a320b0a491d70d2366d3b1ffdafb3f1c76', '0x09dc91f7ade83f990b2b58c9fcb115322bb7764672a96732c1d0d01af7befac4', '0x073a3d0175c61e0b128c5cd6b7230f6d8224e929b89b06da5ee83e481669c475', '0x0d2d705b69ec62705de79043ad4dfb9494994e7134e31904ff4c6bd027430460', '0x04472cd1dc4505835ea27415aa8540563b707a5638dcd8a7d3ecef03a911d25a', '0x0bb52ade1ed065fbc312cfc4fa403a2162a66adfd5c07eaa10e3f00779a7d0ff', '0x0f908cbcc94f336d5cf159b5b2940fdbd5e824f48c3a6cd5d2a96fca82f22c47', '0x005e4ee714e452ad8cd2880f645dbb610bb15c7cab300a525121e134f5d1d9ea', '0x0a9f49a99091b88d252b6d8c92f633bec217f7e76587757ad69a225d55229aed', '0x0300dcadeca268aa0060060b159c7f37d8be9eaec0c14f38b7a62eb45ac879b8', '0x0b7a882c440fe072d3aa3652736d5229db9b205bddfbbc8d034f96b1ba5268c3', '0x00f462b7440a3cd36f3b8f702eafc1e9a238f978141937cf69ce5d96f07806ca', '0x0684544dc8a7290159fe7e3b759f6da19dd454e5f79a782ed45ef9f1744afdf9', '0x01910a2be20ebebc7962e27e15fd6c000e3073b99b8534ff4d5ec2afee510b4d', '0x03b5df67bcc4e7bc48debf6b343edae547bdd8c71b50bfb7de548c99ab7b6f54', '0x062645e3afe3d20c09cca50d0da8baa278bf2fdcbb8eff3ea9708d605e754bc8', '0x042b7e174fb7fa3942caa3d7fc3f9a93ff5d25db763c71c25d1614623ffa6763', '0x023d507d5abf6e4e161e76ae6b50a6edfa1d3330fe3c4f8651bf627bce561d2f', '0x0e45d5876dea9040f3cc4fd5bb6ebd794f186627fa6a9b7f649169b9172865b4', '0x023edbb74d9b6bfda3d0c921941ec709e96faeee33465f3968577fddcc4f9340', '0x0af5492cb84f28fff9e397a669ab3c833bbc09eee32842dbbd85371eea5877ce', '0x094d670eafdcaa4de492d0cb677a148765a504169063b6d9afb3eea9e6eb0fea', '0x0fd9e11e29b56db25cc09f1b2840fd3659805e63ec51064bda85ae577bbe46ab', '0x0aff2b1b9bf22bdd59e2f5e13715f5e396e999ff1d89c2a1fc7ee56e47fca6e6', '0x08436c47178cf5651c02b7267bfd8a49b84f9261458356d2d9547cc85738886a', '0x03b6e7010602d87209eda88e08d9d213d522ebd3a4ecd3b6ca410b98e86feee9', '0x068ff17336cda654e96b5fb3b63f7864bd22ccec274e603478eb121f73e6296f', '0x00ae6ffc6d1aa09739b2e96804de97b03d230dab5fc881ba04e7a2a63951dc9a', '0x07e993165a77c6583ce36f101fa16a0b951d563731abcbaf896a13ceea584069', '0x0bf56bcbf7b17f0198a839258ba8af88e452897382b6872887a4690176bad76d', '0x027aa67bdbb81227562c8bf65b3fa2fc1da374f8ed639a38f1224f169bfbb7c0', '0x07abbbd6cf60f9da344a2d04a3a703ce5fae547b9a74dab799826d344318c5f3', '0x0da1b35095346959dfb9716eacc2a657cab95a99a7a6c85456ce4b1903cbb46e', '0x06ad124460a52fcf7340e607720127f07aa68d75291490335d7dc67f41b660a7', '0x087c8e8e47cd1056f05c0adead81d5fe3bb0f230b08c6873b4b6ee629aec7675', '0x0bab241b9119f8e8779bdb22f0af3f0e73cdf9418a3e462fe1d70b9622aaacfa', '0x03834ff05b844ec5a05af54830c902305ac64957c021eeadf67b63e6014e7422', '0x0db731648c716e89a8a5b65d426a4a8bcef9c91fcc122ad1707d42f7d20abc2d', '0x0a392c41b3673543ffa4ef8cbcaf9b1789b9389f52c38545eb419961c85796d9', '0x080b6e294e1b2c4b11efe5224024ac2206df51064dc5c30626c9171d1e46d5ba', '0x0bc139ded73baf9c285fa16c5eb628ea877ab5f82933aeba6e3d184d6f110f98', '0x0f32935faa4f028b4c611eefd9e30985900da8e46cffd51e0dbc4e7d17ce7221', '0x014e649a1e9d2164573a6ea629df86c0b63e641cb25bd5d104c5d2fdf4b0b163', '0x0478d0859d1a506a83a9a72723b53253411f2ba66e82fdd62e5bd2a06994331d', '0x077ede39f2191d619b4e5f625ac5d72edd34aad2b19ab92bc37519611bc213f5', '0x074efc8e03da0f4e7ded1c90fb7494fd326096fe20fe9dd55918b34b4d2a7613', '0x057fb9867713debe90bd92b180279e6eed202d595a7dcc85e4d5e203e8251900', '0x0ef1a771bf63157a47fb0f7c79fcd1ebd9c16d797aeead1d77168aed5ef8381a', '0x02b66ebca8475efc6b34694d7c91801a8fad43f922e3cd6145d607c9a564581a', '0x0448a6b9d11e05c5904e16c3b1f80b4a0742c5a8f1a3c14063b686a6e7025f3c', '0x0f6025552752aafb1fb15d3be6ac27206b937654727f7012ed097f3c1c4d4428', '0x0eaea21f69692a5bfb8af978fde458541aee8db4005bfb58ae6aad9141480c37', '0x0bf22682a537b9fc86147370a6c9bf4c5d6ef4ce5baab91221af47778062966a', '0x0e07024a2ba9e1be2107cb4acf3e750ec07b0bef8c68c1a96bc406b5dbc2e300', '0x08426e377a363e9dc8e72d64b7ce8e860b29f4acfb0f437734a465db34a776f0', '0x06dd20f1c81aecb2b52331ee4a2a76e7976adb02399c678ff1a437de16988469', '0x0bbeba5bce6720559099e7feeaf5c336d235ca64aae176efaa3887e26dc1adbb', '0x07fb9affe9feece573bfbf8605f7952d0eb0d18e1d8e16fc700304f5c3c3c53e', '0x0c7b271c8d41de4f839aefd8b1537bf7e7b2a5fdc1cbda3c04f048bfcd602d1a', '0x0f9890600f254dfe1404158f2de8bc124fb390926e6848266a95a21535a85d2f', '0x0607f4587c53b568b5428ece605056272dc4f32b3d7e489547b78ac684dc5ceb', '0x06119e69b1a063d7c348df41014b1ba18366eefc0cf2d6bfdf890c0d0ba2f32a', '0x0b9c7641e18283ea3508f280272347ea656db45cf707041160bb54f9a5f8496d', '0x013398ea778ca97e1a338255dbf83602365d1388c0ccfca4b25f1491bdcd8826', '0x055f4fd5a63b8b44c6ff489e5528ccbac34221c9f00c4bc326888ce251310aa8', '0x0f170e386498c140663181a2c5567b3a47fc4f34191fded780d630f70c364de0', '0x0d9e4eed56e18cbae429649d1fc1945c008deca0afeafd801ebc4f76b00ccba8', '0x00ba2c5d3a2e09bb4d13db4b9b9a697e077e4aa3a65455dd64545fc985a20414', '0x0fa906d804cb6081c1cd097e1e5a6d59959776fe4cc292d9d2498e67291205ba', '0x0d58798f0218ffc36b93232a07d27d4a7a2b6205bb0ed90bcf2e20763cfec26e', '0x075e9d58fab5fc4153445dc4db94348ad403b51d5fafa01c1d8b2572e617542c', '0x08e1f2eb9819d9f32a6001848dfe11d076ea2b93c8245fa4af9ab1baea49b3b9', '0x077ac8dd2cfc3e91049c145ac9ba66ee3f5f51702947926e4cf5987580a6c832', '0x0d0aad3d44a92340046c7c39c4612bd53277585545c633ebe8205c8c5c5e0a60', '0x0435e6e1614ddd2526011c30a9f190e1000f3cf6aa675c5069ae659490bc550b', '0x08522c402baeaaae50763b337af53d9cd45640399f283f8779da67d49932f4c5', '0x0f528c3399b05c8b0e8bb38ccecd9e2629835078590a47e1cf9450a9f28adb3b', '0x06ef6effc8ab5fc3ace9809f6004b19305cb88ac37942ed9854cebf432f8778a', '0x07839dc94c51b55f50aa89e39a9cb8de8365c409f25ab5a7b0413e83236be6dd', '0x032f3b1d2275213872b2eb414886156a464a6bef931586ac441321335834094b', '0x050fff0d4cb7ae1086475ed1dbec6c564bc1aa2ef0933d820d581e959cb47cd9', '0x01ab2b26e38b136e75569e90e69e5bc7325382fb5246e2a845ee891827d45197', '0x02c267af3e8f7c9994594bf495a5c6d2fc169cea9f219bc5067e3373df2b15f5', '0x0aac7da921d48e61fc6380b18392a26ddee38bfae29f587655124a59701ea7be', '0x00af7e4f98bd15420514e6691f939b8c886ebf004532f24c0268e69b9667e2d8', '0x098f396b70aa7a3559c3b9b4e1f06f8a500b11504cb842d0fc914ab1608d4039', '0x0e99d808ad2eeb1f412894b420279b84a95b4dc9554cfd9cc6856bb097210605', '0x07b172adba2bdce5c3e70fe278d0d02f9dbe519de6afba34eb29fbff8a0df4eb', '0x013dedc44297240da55b5ec28b90b0011c9f1db02dcace3f22cbd93fbb31e3fb', '0x010d005ffc7828cc2a96a006fbbc572e935ca0a90d7f95ea88764d707fbb9f9f', '0x04b612bd2d76b08813751b79a113861afec9a773aa7e4c5152ace3d20e169b57', '0x013f6d926053049b0d6bdf58c46b419c5de46354b07edb8469474f746fe6574d', '0x09acd4aa7a334750c27e0a1801499ab9c68af6c5f6f4e1769fd5d1499fca941c', '0x01c48b56ec4574c2dd967383ace046024cb3833417fbc99eb7f93748ec1188e7', '0x002b59bb38b1d1da408d9013d17fa9fd8928bcba3e5d604dc56c062480ccd4ad', '0x055f5ab861d254a8af789c7f76efaffcb39ff8307a76863e05df76439772a192', '0x04432ae08c3c1b1834d655d792a2ef10ae5c6af6788bfa170c1da00b01f0bd77', '0x09430e2decf319ea5f99acb123c7e5eebe7e1f5d78aca1cfc3bda48c97ed25ce', '0x037733aa3c745b9e52fc7b0a45f8c0b94a747c3b26941159fba44016a3b683ee', '0x02a893785610c1052b50b2c11180546cc3aa46dd65fae3fec234c1ec12b654d5', '0x07aa6aadb8a7585cb09939daf790eb430cc8502b3856e85119327607328ceae8', '0x0372a781f41169e7eeb890dee23dd29d653e1f1527ea9ce77b594f752db07cf1', '0x0d29952e3b7331a2fe469ed6bda5a28912c7d549052776e7f219e22522a6437c', '0x0f49884237439117144e3ec4ba66736312c6e076f03850247ff56389eaf003f0', '0x075c0104bf94e26484aed5f4d4d365e96ff0dbb4d32a9d49120882533502d8f1', '0x04ad008b742cc5b93aaaa7f90cde56600bdfd5bcdda421afb3afd751105ad9c1', '0x0154c9d5c631b72f85f316f43a8de05cbf6382f41f0c0c3cc0d9ea0ab9d4dae2', '0x05a16b5e4e000808b4550b6f3192f36e27a9174796f3a04a2455278c0689c2b4', '0x07b32b0ff8fadc9bd93ce20a81e09c4d22e4ab424deb338426588f4ee78179bf', '0x06735777c623002f1583d9b90e92f448a44dd674a37a71973b26df31378e9f9c', '0x0f5c2721cb52a4c913a2fd58c0b626100d78d0cc848ffcf42eee00ab2633b794', '0x06c90cd5642c7debacbafe3408e70dcd5cf96947a133c47e09f3ce8834a8feb4', '0x0e4f789179629175932322e86efac2af0eb5c1fe2c33aaa6507b44e41d129149', '0x09ed38c8b60d4742ee5837a40cc7ef79f10bc53151deb2a47d5ca4de80bd8abd', '0x0a5e5bfb18117162f8c47c9d1635239b26c8402d1d81f92d16eed538c3ec2032', '0x0726f11b44ca7138a5689e1f0d7feda0161c1e15af8f0fe1b13db7d5f9dd7bce', '0x07241b4316a3e170c843974957f085e29d56d1628066234921541305e42a2a29', '0x0a32c7fbe8393a16c597181c33fa1107f5a621a4d3db8da7eef10d092b1852f4', '0x090619ae509fb85805abdbfad8e3bc6da145f5c5190be655b05f6f75b8e4cdc0', '0x00fb88c5007647e916253fe380af85576c3f3eaf08c92986fed33eff9e2943e0', '0x0a28056a9d89f6f559b40be24546b368e30099f7e300ad28bb85ea3387e0d610', '0x063973a906a4d88cb43ca14fd618b89c75d726b37953c42bb5a4cc10703cd82a', '0x07ad41dcffe8422d7febaf87dd6c6096edd0ff2248813e13c2979cd69a374c45', '0x008015f5b446f6411273fe520ec53b28c9b5cadb8d8beb3c8948c8cac0754133', '0x08d929c2b6255113a0995dcd19dbcced65e70e9ac8625c791ea0ebecacc07605', '0x00c6835ab1417f404747ebcc83082a77af1f9ff30630e4271969ca99a06153e4', '0x007da9133eb60a2510a5f44c19db52b30d35cefd957979f1c22a7aa3487e1083', '0x0ac25bc7830dc7d5b0eae6031b156d3d6d97ced92d5bd7bf39625d2d3856b35a', '0x01e297d06f7917c4bc7925e738e68cffd44c4705eaa3570a6224e4417e0ed05e', '0x0081502f723fe6221d9e13e2ad5e347c4c2d3fe1e7bb2e8a1bc59a7706da6a4d', '0x04ff945991bb674966cd3d4430891088a4d9d6b343c08647f453a857ffeff114', '0x0a3c3cf20a36247ee718609aaf839f38b4b0bfa601d1216ee3ba381e5478f36b', '0x0493885c587b9b8da43138ad38bf9447873644819d8a9a1ad5f100453a6b80e2', '0x088f694d1671ba99a8b3dc03e6c463d604e2022c0a0518abdabc4424c583a75a', '0x042d3c9bff8cff7201c9a949e6024dc053060563fe31cd17551820cd71ea32b0', '0x03a9ecdfd97d5b75608e44b60a5515c4130a007d941ca4cb4f547bf8718dac74', '0x0e9a03ce3c31724924d51bb5e7c46f10b029ca0ac077c7042782b1f77c507e8d', '0x08d3d1bbd3e9a15ba31cac262fc6cc1bdde69f57b3f29ab87c7b207002b04e29', '0x02950737b097c9b78f8980a248402465aaa6d56e62893950ffc7f223840bfcb1', '0x004601bbeaf32154c05f84f8825724b4d8bff9b876bbca78947de9ec2fff1f67', '0x034844e3664530a155a2c6c94df8c040711290c1b4aaac13fe1c9ec0ae54c875', '0x01a1b6ad5098bfb89437759d055d4423d5b4e52f565a5ba210b456c87484aafa', '0x058fd89d9c120a70da913f73dd05391f313fda09213c478be3b2557e474a3ce6', '0x0e32949d9a784d3c9bfd713b87b1ab272b6eec9d6f27985e27f08d97ac5c4321', '0x0cdf82fbb25e4532c1dfbfbc12149726e901669794863ed1f67ad53e2a63673f', '0x09f2ac84833db7358721e4615d12bae37dc9ba803dbe2e24757af449b5ba4880', '0x0ee8ef5c95d90f3f481fe88068ea26e97e0d384f82096197125a55e7388b0b21', '0x02f26bf968d6ac684d4f4f9e45bd48941d778afe5f1f27abfe918c010a14e04f', '0x0c39ca690cd73f5e03c9b58604540fe9beb5291ade2ccf695845290069f25dd3', '0x037164d2af0731808119ef5fe41a1406fdb97ecc97a2fd57a4832afe0912c2fb', '0x061a50fa8a14edef5cad096483d4ab01120a1179235a70f15a622bb4c1c15cae', '0x0f723b0587e366833fc62ff6e5a3c00becbb1af7fb4da4fc91cfea2c67fe4ae9', '0x01acac3691de4e678bf9c625a2f4fca84c86a2e2aaa093e8a71329cff78a5c97', '0x074854f5bd09b34a0f88e53b78c5ac4212872aabacd957ffb4d8b5bd591e6723', '0x028b9ef647aeef8e864639f96a430d2ec9b2fe960c80279239b4a5b2b3b5da9f', '0x07085968b1756eaa013a94a50f2dac713d806ecab95a4164f4b0a7bebfd351da', '0x0325261ba0bb3b54dd51e73d5752e4c42240205e4bf1cee19b3b04c2c6944654', '0x0a3b3f8e988beec2994ac1e1970dddfce296f4af57677e2d5d6e1d0f58864a64', '0x0ff6d6d358c3afca895ea5c4e7861ed1839c22fd1dbdc89168dc8a888cce03fb', '0x016f11f156a0c061c1d5502a3614d0407df140af55dbba456b186c40b8ccf4b9', '0x01855a072a9428376cfd64bdc7ca033425315758f49ea485b15d718290d57fdb', '0x0823219f11b2d3d8995cf518083206d6b032e525efebb28347173a857de4917b', '0x05e2628407c2554d6f963847fc94fe337cfe9fd7d9a4765c2c2f4f44466f4297', '0x0bc90ec8dc06e4e93085d221849ac942b1da21a567075c9bbd33137e3d21d936', '0x00f6bcd001375094b206c368b85a87427e33b18a638f61b92f5797f35b27b483', '0x02240f5265d51fcc47d4b5e99657c62c281a621105b60bde535369cf57b9fce3', '0x022c50143c5b09c8d84dc7ea04f92106de5668c819fbcbe2b079a6f65fbfa2e1', '0x058c169d6b53c4b12d376e54fbb206afdd4b3f7fc616bbc0242fa52bad332904', '0x0a92d0f7feb70ea83d105af37b826cee9f4673195e147c994c11a08ad543711b', '0x007ec81db746f19b568405b4198d0e928fc84aab77975a4e62ae057467d499f2', '0x099345d797680263df3703cd47ba61648ca05b00c4e36651b5c5ea9f2b722ef0', '0x0f77b31d5d9c7efa1a584bb8fb7e996cc85789dd6d2a381d59d1e90a7cdbb9a7', '0x0753fa60bc853e5956de1d308208c91865c83694ba4f5da7ca6f51273607e808', '0x0f2d94d42741e900b20288b59bca3c620d23283aa3845d18f9f1bea139f7439a', '0x0eace4d73dff86ebd07d540f53462e82af315dfd7f9d16a4e74a8ff821b741f0', '0x0b48f05ab6cca72feeeb42487202d2cb851406e4d01606128d87e3af0b5cffd7', '0x0ab61586e193c1faff5302f893e685aac3783b966fc55fd4459ee11d5476f135', '0x0fbc35a6eec52a7ea0cac835a998490f000d35a7fdd14a4692ac3b2fb896c915', '0x05d59b22a002231a41622c8b6c119f8fd04fe1790c88be8b3c14e14b0b4644b3', '0x0eebbbceffd456a992b64f7d08a6407fc6e50e61a8546debe2709e79dc2f830b', '0x0cb649362954e881499a15e9424f74598aba1f4869b0a541e479460b988b93dc', '0x01a2c1b91716948b36c64027f814c424589e9bcb751173aa2d96fd24df8bfe7d', '0x065477226b997b6391678ee4d035928b62ae47bc726c7e12780fc1b0d55eb957', '0x082c9c59a958743d04adf02fda462ebab44a5d1e500ebc4087110fe8443a01d3', '0x06ed2a6f3623bf226b9b5d8610a08f0975d85917a39bd749abada04b8b9f4910', '0x0d296535765fb6f57f10db89679254e5ee3c20db915fc6d2cfa7ce18c2db5994', '0x0401241fb0c0e3ab92e5ed651a7227a5827f0a3b37d569d654e3f6e4ee9afdc6', '0x0b0f93828aa86be71b98ef3a0cc5a4247ac63dfbf80ca726b25ebbfe2fc9f2a9', '0x0f556eaf433ee14740d35c9ee5103c439cd47a5e3d8ca3350f1a1cfc061f5d10', '0x005badc63641107c7149c4d9111b0adb1a36390a89b6b08c88b8806117a64817', '0x027bb0e02e465218a4066d88ab3acc71e24cf52cf594a5e3e6709154478e0109', '0x0509ee58beeaca293017c0d3c3d92f8d60855ec82f83e23f1ccb10bb350f0d31', '0x09243d3e9240b9aa497d46182640b8fe7d832041a76081efdfa49f505b5d93e4', '0x0f7c328159d437d89dab8cfcec25beea769e6f5b65e542f1de35961c0041e6bb', '0x0e955f6624df2b78c04530a1b87ac09a03971ed185c3021af1c260f48e78fd7d', '0x0fcf37ef120d96abe992a8438222f5db0f354d02b6275d06970c63cd90e21b03', '0x001dc9723a49bf995b31012d71b417323304c46d766b53a1b66d6d7113278984', '0x0025e92b05fcf120e00c79c0b36e5f97c6695823d9bce1a4b46d7e1c68f263f8', '0x0454a4f93b77db34f611fd65f4e7c6d5e3a5110cf1929ff0455d7b88dc509c25', '0x0004e19e4928bb8a54028c6d9a208cbccd857fa9f15bdcb3fdd213af97d0a55c', '0x0038b51eb2b06e33a0011511cc8065b8c2a197162ca63a73c6ee3c3aca0024ac', '0x0712e49eab1ae3a5020e441c3a641367fa1155e227e577790b82436d76626d5b', '0x0eeddf0dd104a332962253f0a1b512ed0a4246faef321dbc14cb99bcb92b700b', '0x025cc088220ab762886b02dce29ecb8e9d83621b8bae268882615b50fd6649f4', '0x0fa575a75dce0240fb13abc28e29b4696f0f2cb5437b04b183fddf84c3288ffb', '0x0e61692a4f4e4956a22eebe5c9212a439258d4bec7343e85e65d15a863b7e32e', '0x0be2a93710bd14ff80388a1e5683cf246a562485779d96d1150e7b61450b4d18', '0x09a4384906a4ab74bb49518502aae8ac33381d017101deff34c00d4232750b60', '0x090486747cf829153650b1f7d4b75e43df898e221df296c2f630cf3a9cadee35', '0x0a5110e7bbb1c16b1e0f12e0a48c48bdbf7365c7c9271902436b8efe728eed12', '0x0ef8d643ed0d225d53e630184cfcd2ec7d4bb38ba3b56eb98f933a632d523150', '0x0742cabb24d193da0ec0a2ffa98bb555bb6eabbf216da0e313caa558e323dd02', '0x0d703472d90655b09e658cdde39f6e1aa3e66909c33bddd4747e1f63635be8e8', '0x0763bd753edb3d10d880586a82be787de343c20f1ee87f70f29ffbc3fbe8521e', '0x066c47237dccf751390ab49e20571783d2a7a1f6ae75ee482fa3b49f441fa7f7', '0x0b3a7d48a9f41369687887f7bfddf93a0644c9a2f8c560f0331cb172a5131acd', '0x0d1380fc08f7578332b7d45cbd9ce7d7c7de7425ed04243e613f69ef746bc81a', '0x0f521acd2f02fb65a2396e95169e445cb58a9c8d721ce872cd163e63ca5d4178', '0x0c603b71449e810abfe707d6257f95d60ad0001c7d6f8ea67c021c358c00632a', '0x02b36f7e28e18ffb5516d55f3c3889b5b222bb01df790623ed43cc65264984a1', '0x0591746d800f3cbc10c809a8265c0e5c4db4c743cb86219937337d6318bfb94c', '0x0f773cccd8fae7c7783724da0ca351886858c35d80d91e603964cb65c5b886ee', '0x052fcf0a6f5283931ff631e67ead2b2288b748a34c1da84c50de011846540da9', '0x06d4453a2810fb060819e1ab9585f1bbbbd805cbb5a8ef1264f6ab0771d6eecc', '0x0be90b2ff7f9bb23fbcd296f006377b5c42bdfa6214a1c06c3604326a74cc20c', '0x041c814e4cb80c87a0ec7639a8bb2ac01ee33aa2b6537e635c7add9480c12d63', '0x097ae56ff12a2673d4c246b0db694a4fdcbc42e0903460ce51c3097c54fd5f54', '0x0ef0bf5ca621d35b423e70f81ba541f7f87fa5b8f3f3fb4af77568dd32398b38', '0x0b00cc8a37dccfa4bc884b2a23d1572a8419175f9a63f7a8f17690ff51b497e9', '0x05cba5622c1506012a5dc086cfd64e8247fa4d73aa6f1ab4adc17352cb4aae94', '0x0799baf4fef75a5a11984426437ef12ed350c9c418ea226d379cf9b2c7eea760', '0x09482149efed85982bb5fdf2ffd7c205ac8329657365b7dbd294a44b2e581b16', '0x0c71d4e511c45f7e6e1c820463a9c5d6332593136806ba4c52d37ecb08a2eb8f', '0x03a943745a266d36412d38cf892012cef8de56628ec8e0bafa4b09dc46e3f0ca', '0x0015d44d696cdab483f4f74ab04fd3ec8b9006d7d4b32449dce297c06681050f', '0x08266d35e9e49e960b150d3ea8161064f2d96387290081dc71328c440ff7149d', '0x0585bc9e06d3629e23bb3e92d01034c2e9ff4b43e2ae6a6a1fbe7ec6f0ce69cc', '0x08bf0a7dcbfb42937d05628f76813b8a3a8a1dea2888332f21cdaff962f47bf9', '0x0139fe1d58925bc03b3811d78cd43f81d75c48f0830b3e7a3301e1cf54d4c8ef', '0x0d3ea2475ade030ea7ca9d5abdee9f735480ce5cc1294bf416d5fcfe461840ef', '0x04038ad152c1011a67f3e01ba49a5f93d992adf8d865c1d7506616714313ee78', '0x071dccd01263f7d3fa33d6992883fe55ef2ecf1a9d89b71c333448f2b5ff7db4', '0x0c0b408feed7d318af45c218e2cf01437beacb428467d7525e2e226206919004', '0x0d89b4f5da463369e8ca06bf768519c410410bede370365bba03d810386ada29', '0x0962b10419e6d7e422c0c3c9be8fcbac6e439e8bbe369074714947773b82d295', '0x06abaa937bdae842fcb716e19534fd0357d4fbc91c2b0741c1fc194c297381fa', '0x095a70b13870a809094ed254b60169cc611a9cc26e85282458c78d8424cb345d', '0x000e3727cd39a3fc840b714e83fb67682bbfe0b789b1d7ee3588e3ff2dd7d53d', '0x0845f241f32c0b6c459cc5a51d62ffb7ada42ce442d1e682dcd67c19787c1f78', '0x094bbcd8dcbf8cf9e7533e7b41ae621c2cc9c66a7c80075076c22781ff228d1c', '0x02a5ace05841e680d7239cb2b3da5c918704fadcf58cad18656b2e0e78252785', '0x0cd9723d6a0b7f8c4f31e55368b3d87087feb61f3d0a1ec0e84c1521c28b1c9a', '0x0681b8752219385b0cf2503441bd234fcb68bd09f03d5035bfadafe4d1fd0a45', '0x0ee8b23cfc59743e8deaf2bfdd5bd8c9f99170df8dabeefde438f1492ec06457', '0x001d4018613c296f4820e498aa23d1ab7eb159024da60d3ffba5f0a8b2ff9947', '0x054425866e9407e6785cfa6e7e780c5c20d6a177697a43c6ad9652be77ace33e', '0x03faa3ab7b0ff8b6759fdb339bcd82a634153a1209b52dda2228c5586ab577ae', '0x04d6c78bf4a09c70f1284f61a2532fa58ea1d3d41aa872d4a4b9cb5b442469ee', '0x09a02555530ba5036a8aac9034a03d66fd4bcbc648c11ad06dbe8ee6c8260755', '0x005c1b774c4c57de684d62ae2c7efab3abe1427ccb973dfb008e13a99ff8ac00', '0x074d0b0051a992a4e942e33984ccf880c3dfb7ebac5f282104a3d253630b8290', '0x02ee719dde79965abe9976c093496f3918f8037f3f34857fbf8c6facabf9a46f', '0x01753df7b5f331f112ae87ca3e8a3d6233c85719a2b4ef54bfb37e944d81ccb8', '0x05a8e38033186cbdabafae665f7bb2c80c4fbbc3e62eadfe0967e6a5267709eb', '0x09b67df00f5a37b5b323214984e0e75356833411f7183ef12313a8044ee57712', '0x0152b1a5c66961f64e7e970b3bcc5914055a9072acbe77429c5d0e9bd62b1fd2', '0x026575b8656fbb2122608c116417d358abede492ac8f76ba57f1c74d2f37af00', '0x01a1328c7a6075b8920234c8063f0aad29c65ffb9ab317c355e7acb1f9bca989', '0x003f9fb0f125af10d1daf48197c0e8b8d8a69be3140a710911231e40feb74221', '0x0ce490d01528d517333529f0e9713d2b6b659a9e6af8483c6e145336a5e1fdeb', '0x02f0da2f4bd1286a32a0c2a3a92eca2efb871c16bdf6d8fc7041d4044585cae9', '0x0bb3b8e63c41617096f82925f1cbfc8320ed573b8cf1f9dd467d070479c45b0a', '0x04710bf489aee4e6e9c1360b90ce5f360fa529a364f0f2d498f724b026f228cd', '0x0af55bc1069b9e81d2b615ab8bbfd6769da11d0ad8437e2444521c70bd47a182', '0x07ce6feb900c6550bee50b24cf6422120a3865d4246f6ecddbbef4c769aa4c2e', '0x02f2c4629d63276f2e075a087b82a94ed6a8c0acebbd55febe851dc830120b34', '0x0cb92d761832c620063d2c981cf85e749228a2cc79385709b5e36ecdcc8a5aa6', '0x0db6f05cb36eed528606d6f300861c6251f910717c923511c4bc07fe5b6eab52', '0x0ded6e335165ba0fcab56a713c7d64d001083decfa7e1c260c955569fb004678', '0x08994c5d1c07fe81223dbb6d5c26787c81d9b105c919a4b5d893375bd6a3e57b', '0x0bc192e5acc0386ebd392af0bb18ea1abe0df868a75cf6b5f7b5e0d94fc32397', '0x04cff85cfa80183c9e14a0757caf1a46f0bff9cdd79786e4c66ebd04d02d1031', '0x0167d730aaf850161838c70b19e435dcf5207f3bf4d0632c8704aa51ca748510', '0x0b5235590ee7fc80e5353a1e20e42337cab3d903f55614547b7a862cb3221e2c', '0x04f5b44c68a01033c1a4904c463f3d29c7f92207cb1e46dedea8d7e7852ec6e0', '0x04d1cf09d75714d8b520ab093b3debd8517a06dba9916dda40e3db49aa76f6bd', '0x07eda96c5fcc67d3a55444475f728aaf7333c51afa108659a6e9c88ec1a74a8a', '0x0a421ffb7b13a06dd39a6300a954674f74278739f01a2a64a316e99829845b82', '0x05553d04b17b5231489516b03916baa94175265f9f5066b9c1dbc79fb149c43c', '0x03461486aca3c57712dcd4e64ea23266c2c997980cbc03c1f19abbb835827a4d', '0x0d78d4451b858a4da2e215aaa35f202044e57d65f31d50cedeb3f6af967ac5bd', '0x0ae69b67d1a9da7231f4edae7f5cb7b7e34f0a908192ae513895b595f375b594', '0x02fde78089e118751d06423454f7d70fe8057290233de6f9abeeed1d9dbdaea8', '0x0b059474f7cb848908171764cf75a00744d14af727c62574dfe1c9f492e8c802', '0x06ec3b911385184241987bec1af64fa992ad3f66da2deb857ec06119891e2f77', '0x0633bbf1ad6d06999f997d9f2376d78cd89b141a977fe4b5069b519755630d17', '0x027b6c4861d20292c6c146c89d890ddaabcf983db59b04433b88b3b24d62e347', '0x0b91bb890eb0c71fb833762863a182c81b6205dc88011e5fed5a84970a8af113', '0x0e2d8663ddb61560855afd8a55d3e2711c6a3404317bf35c15cd147d8beaf568', '0x0245bef1be6950094ab1a244128a3c130c414f35554f3c324bf1dc465b1fdb53', '0x06dc475a7fa76e59eabed2bcb6fcf01abb6885aded57126d26a4cec69c1fb72e', '0x05122e20bf384ae7b449c4d6eacbb65bbb9f4617f365910c77d19ecbb0633f5c', '0x0556e3419b9c40cc2e89e3644ff2ab8b607cf78b1d2b4f4d412e32f8b63c4b69', '0x078ffca2cc60bd0a1fd9a3d86af2bc2db2f4cbeff250fc325ddcf196d35aec3d', '0x0e959c908884c67196257f98888e62772ff7c0eb17bc58653488aea314a8ba94', '0x090feb38abae7f620f5719d39d46f512ce47f2668f40eb8f748caa9628f1cc2a', '0x0edb43f8b522799b530e80ac29d82c210e9f41d67b047c7d6c604066ada8de06', '0x0c5bb0050a4703d8ecf664a7702cb5ed2d8be805bec2732c765573a98913ed39', '0x03608a07b83bee36b5d96e337519a83d80a7d364f1b18cfb9adcdb518bef8728', '0x01522daf70f39e33ef8368bf61b99c9b64e2250c55e8acf3e85460a0aaa8f0f4', '0x00d3c82db60b7101953110da0ea86be7922579a3795b835629de62104a762f1f', '0x0a01abaf05db834dcaa6ac3faaa20f7823247ae3015d34c6b2703889892fcc87', '0x03e26d170acf9ebbe27c493698cfbdfa1b729879a1d2e965475a722d36b56951', '0x006da7fa9b8b3dd982dc9fe9ea89a0c3027ce60a216928899804665323d9bea1', '0x0add9d940138b96028715c2da07fcd587450d58b297ad3209db06093b78bebe7', '0x01cce4e0f9c7676e3bb0eb693f02792958df847db1942385fa5111008dbd1ef7', '0x02430e1c4265898b83bb4ae62871a3f5fb50edc2c825b51fa6f22a60887354df', '0x078f5ce6a5708339ab76aafc6e62524cbe63b1a1f68c05e6a5e583fe765e1cd6', '0x01ac4adef445e6bd2f2a7ce96512606298dd9c9e3c530f4f1db9b092f12eeb7f', '0x039c8b3b7bc30c373f379c42268017698e67364462a01b0ad2e87aff7053b915', '0x0b79ed82f8ee9c59e05ce41315a922e12ff70ee3201a5902285bf1020a3ab7b6', '0x06f19d9526b7d1c8a8f27375b18a14b1a8969c05635fa389348006bb070cee6c', '0x0114308a30a6dcbbf18b90e46bdfdf9a8080f9c8036af7508a549bc578c93ec3', '0x04be3c33c1e68c9bb0ac6da05f5ee2bfeb386ff918e5d35c529e98e03ab427d9', '0x0187f693efb95c10c06c670c572b52977f532b3c43b6ab620449122249ba9ece', '0x0a196416ed0fc28a2d9e63b4d7fbbf35956dfea5ad462b1e58d73288af6fa3a5', '0x0885677d3770bc75e2913ba22bc64bf2544e85c42630790f6c7cd52c35fac254', '0x0c8042435b314cde334e7a28d5125ac4781e14970f350f6fa7a3dbd669088e6b', '0x0d7d133abeb9caf03974fdc2c89bb7834d62c4f74e39f1f8a6778280602a82df', '0x0c73e49aa4b3e540941496f9a953566accd93a3f338921b48883c1cc60201b8f', '0x01eac03a496fd5ce63d3a1bfe99277b5235e4e090df80f425cff5c81d3ab8e5d', '0x0b576068c600a980f9c53e08fdc73b0628052a07a41ce3dc38fe1b618d36c20c', '0x0799ad31b1c0bf4ed79bd57c9074e22f727004974b2f51be7a4fd4bf996f21aa', '0x0c6ed88997da62d9248ab601cb4e5d383c63935bda27922854c75730d6a430bd', '0x0ac2b45d0bd32db7d2bf94fd2ad2cb0d14dd5a5b812e1a3cf11313986830a7bd', '0x01dbea2888b61944fc1626c0e114f96c9b3d198566c384ad847e4ab1d84084a4', '0x0df0b997918573dcb30a1ec49d91fe7ec0c19a4583af7f0a1e558c064a310247', '0x0f2ab1496933eab47fc2b64b996c1f5dcfcb6d0d07a2b68e0612be17589bdaaa', '0x05c6443d737047e74dcef750052bb42de61a1aad3d0b58ee0aff79e8e992dc2a', '0x00e336479c4894f91e6260f497cf45d02841ea991b859bd2a2ea5a562a5f0706', '0x021acbfe0d2b488ddb802d1eb34f641d518ac223059b639075a6d3f872986cc4', '0x0984bce04e3998ce2320340b03a85efdea2f64e8a8bd70a0e3797a67f9390081', '0x05c021bc4dd1cdeaaacb571bb4de1feea2071c106b50d325575a19ba507f5ee5', '0x0f629ec1724e6f4c9a513db378b2c4b0124d35948f6cec2477afc3501fbb2919', '0x0769e37a3ed9804cc4be6ddc2b8d4a8c868cd1d2e3209d30bbe52acdf96bf8ea', '0x0cb8b5bec4993a5835877fc96e9d5d5b54bb949d7450fb8ea9829cb1e3b233c7', '0x0ec47f48b26beb0a08442582f8ed0da60e88c34f3f3ec25e0edf0121479ed249', '0x09b5cddbbf1c12d4b759f599577bd2890ab2c5cca233bf9a4d9225efcf0221e1', '0x0bac0d1821188255ea6d258f49ace1efd39a1dd11a8a5ee4729e1868c39a82f6', '0x09cab0d68f81c83c4c1353a9fb3dee03fe27bd5988cd1d83063a491676116706', '0x043de947affb1f16e6eccfe99c2edf7984af7e1ff14738e209dbb9c5100bfdd4', '0x0c6db9ef610998f16725b343293f6982cc98aa2f12ce49d8f8b29edced607de4', '0x0dddc751a2305a3969768d0eccfd7951cf61751d4d5d5c777d3b6220d1bb5c3d', '0x032098f6a7e765aad3545c02f5f1469a43e96b5ae99137103076606b9053bd7a', '0x03450ff1a43e9e7abd62dd409b17d93966cb43319c3c49fbafe0b9cd5bb9e583', '0x099bab9a1a767490b3d0b84a8f186ea0291373ecf15bf01824bc16f5e8cf1fb8', '0x0e57c8350c6b9a65b01d666604bdab49094ae92dab7b6956c0fc51456579cf19', '0x0d62ec49576e5ebd5e94a329d47f398a95d01b0a103261fdee4a3527e86f2af3', '0x06ed91e2bb5371f1a0742629f7699266f72a66f36e1e2d2044d297323533ed2f', '0x0557ee5beb1d3ddbc36d2913eaee4486b010d3c04db5ee2d16aab9625d8544fb', '0x01ea06027cadb563494dd818efceae87aca361d1c9b8ddf73e67067d6570cc10', '0x014b1c2e4b1fa46bcde35272ddb98db783dc97a54496da1bb3332baffd1cf5e5', '0x0ea878af730f0942089843f05bfa48c8a3b4a59b14b8f2c499ced00252b281f3', '0x03e3a1c0909d62db2bf144b2fecce466f786748ec7d077e921795a7a3555df01', '0x0745483c08be0f5adcf44e44a3793d227cf98770e3187b61bc3ce31660d9dee3', '0x08730dcefe10634f61f8c911cb27d541ce34b54a385c613e9b8e7e92dd73efad', '0x097f91c749b6858beb62b16959c7d0d650e6f266a3705167ad78665e338dbdbe', '0x0ec3d1b13c91aa46b425dd7359a7ef9cc0b16ab703f23000ba7693ccc750a76c', '0x016d9b581113240b4f4caa04450c2f693b3e9cc2bf5c79018bef0ae80eeac8f0', '0x0b0d832e89d9fe8b78e598a71933263aedad061d07134051f13b0d9ac96776f2', '0x0efa84022075a35a32f42021ae91546b9a3c0033263aade6298985f942a6ad05', '0x0381970c73080d4a39e7b3b75f0e8f8ab1d6ca2271389b59ead07bd487691ac7', '0x0963cf62e9cfdfc78ab52e7aabbadce2caf71ca35efbd561e587a6c8fad6a845', '0x0fbb6a0e84042010fe133c830f5a4aebbfeb19b0ae7754c9ee36c49a6335eb42', '0x04f3737aea34878d122884e386da06a54e34fe8feb1c8eed6f9a2478e4579355', '0x02c79c6a3ec20f8e6c035dd0be3f230d377a3dfaa47503a53de3a84857797826', '0x02d6a9acb2d565e8fbcf988b3e51da3f98c9388549e47691030932809a8c6b30', '0x02b78871bc72b3a86db8c1dae9a5da0106c97c746c748f167ac0215386db9153', '0x03748aba9594664827ed346676c49cec87cc272812d043e9e787b3fadcdcb3da', '0x04046dbdcf44fcf698ff0cba737fbea34853ea0ffffcaf607dd4bb8b179578de', '0x054f57786234d8e71b56e58401907ec24a4c1868d40c5264bc4e97cc235809b9', '0x0234b05b888dc1e7905b7ed767140b786b21765c07cb0cc283aeaa298cc05785', '0x096d3fb09bf1b8facf0859e165b2db62a983a9424c97340fd104ec3bc9254793', '0x0486772235a59ff675bd64abf047224a6fdefa5e84c10b4dcd7e6a74ed9e5d31', '0x03709208f6fbb3edf013049a0919178a4d88e5ece63d44c2ac6dbfdad5e1cc7d', '0x0179823da7b5848dc061510f1f7f7920fb478298fd986018d44a6b778869672a', '0x0b18208ff69feee2d4dd9ca4b0c5b2df00947a8a509d8b605dad8d766ccf1834', '0x0371258c01eeae1830cc69393bc029d8ddf2ccecd478626ec220880e8db2b948', '0x0e5b531276214eecbe62b8ed4ddba931fb337715aa2fc1d1585fc9ef172b2954', '0x0df17a4ba75a4f25052908fd2b70b3578c9f7f068b9cd90921cc1ed4ced6f4e6', '0x05fe8097d10c443358fb2ad9ac0cd9ef948532e30512b7c088eaaa07e159058b', '0x011cd7e75cf5001bcb39fb7b207f587c1e333c0b1d21070cc665342ba55e3a5e', '0x03c6688b38a30737d3341caaf1780d2f4b21e82a4036636ef0ad53ebe757ca94', '0x0342b8975c1fb6b054756f3cea1cee6d59edbc5589a6a26caf19bf313e5fd7b4', '0x07bc24defdf64449e1d415b87158bd17b19f83854426572a1f2a09614c42015e', '0x0e349124a3089e2b75d0fa796b6c108d2c7a5b9495fbbd4e233898675b1dce26', '0x0dfe8419f91573748288c0971778208fb41bab289b056b52955ebc4e79216971', '0x096be9d705d8948932e5d9becc358c8ea59ea74917c31e45cf78cc7ff81758b4', '0x0d42e919945b610c918f91ec51202feee759ee8cfb96748a287f8f66f3f74f7d', '0x0587a23f1150f029762805f4bd31c09c90f3754e517c6dec777ac98af74de2a5', '0x09db9438b4dd3738804356692e1df61b139c92dd621b76f032b21f48b84d4ff3', '0x0c5f48113d00a864a60e9db4442b065ef4496d2a89bb91d6fb4712aa7ee5fdb0', '0x0d051100675ab7d6db97c838c0e8c2ea3463055b04548e7b2462b7a2613e7dfa', '0x0948087170fb4457403be34f1d70dfe874c6d4675dd5308ff70ba5f41859a605', '0x0012703c6eeae85806cf6645685ca11de7e01f095761c8c83943d17a9daa5cef', '0x095562b432dfd006561f2d31aa1377f17dc6830c5860278c7f188a442d329878', '0x0a85a73878beed7edde237f2807bcdbb3cf5cbca3ade50fc75e4c968dbd60734', '0x014d39ef46f64f91c9a63355c40b048fcba00129021b9535d7ff9ddd341a3c56', '0x01c31e4940b3681fa0ff1237cd32977a050113272b39f9faf1a9817b0801faa0', '0x0cab46a5cd3b550d89de9196e8c303ce255538eb43a9a99a06ccf16749471440', '0x042ba1034cdc6a549b100178a24e7642fa1788635f0410cb4c04ad483dcf6779', '0x0ffb6c718262af9c152fcdf6cdc5554f023f52531ff60b86e3c82897e84093da', '0x0b5b46f09c394d178068d9e02ed5f5c40daa2801d00fcc1f71d9e70821463ee3', '0x0a00e9849f9e9cb189914369ec5dd432bd25b0d25dfb7783849aafe8311d34e4', '0x09ea2bccbd095e89e4ef11437b05ad7b6998d84f6744d498aa410122fdd7b7a3', '0x0c477889abf5b92cf518280b45e919c2f5b9ac9d44365666531e87608b80d9f8', '0x0155a3d775da4357f1aa540286140ec48877586138752978d43452f8c1349d23', '0x08945fc063496c1b8bfedbf7b2972fa02da822cd0536b82c10b74bfd54006112', '0x073bc1e30d980b9ca01d5636fb1233047221587cc37f410026c7d55a612bd645', '0x03c72c8a6df73351c07d9e4e86881e823538306b4394673c9645ecc79d462cc7', '0x02c0443eca6bcf533b9011a1845a6fc1be90d671b6a2d94c22fe22395f68a948', '0x057c6a6ada24159d21aaf7b747ac1c263185a2c8ed34b4f7c4b19e89a60f40cd', '0x0e477b6de9d9a039e88b1aa5c0c7ef52febcc31e14f2e4a90a0f18e84136a064', '0x01c46ff1b8eb97c747f26fce8eea35ef4ffd8bea1f50ceb203c263fb14092ee9', '0x039e1fbdee17006a7dbcaef79af1145a88a1505c90931f3a49afccfdf75d61bf', '0x078b62b3a1f564ca8d5844aa5c14f2c95aba3813cc5852a6e7281f1de9161866', '0x068dd2eff97e893b7da1a1a7e7d5e6ac8d30819799c594e79e3c3aec63f5547b', '0x07e3d42b1c94857daecf333c50d97ddf338679199875a380d054156543da797f', '0x000f28b1e142fac9523ec2b9187acaa15351e8f2bcad429c82de9283909864a0', '0x0839cc59d7367dbba86ab3a48b6270ad20878b5b8022df25443f54417211a9ac', '0x0688e74eb93604147ce3242b6e387c6bd08a1a84acebd466db3f36ec97968e1e', '0x08d8cefead8c1722e027ab64d224a6bb729920adc1578e8e1de6dabc1228e20e', '0x002fedb68912d096329a1fe56dd68f2c3f21daafc20af5e9275dfb19ca762e5f', '0x0599a650372f2cc3d325121cb72f278e7ecb2c74d3b392da363dce3abcb47042', '0x0609196707ec72c9d9d7b812261032267a65aafb8ecb97febf74f06292a113cc', '0x016819500c85c4fa381342b6bf9a594a908eaa8059d18bc80796489cfa31b92d', '0x0b7b3a530a2725c24c0c96bd45f2b2cbc16c4d35773ce19e577059cdd9bcc762', '0x06825293938a066606eae105a8e4f3f3ff4c01e2a947b1721c1ce2c80cc72277', '0x0b5ac202cb326094119c50c7387f1479f66b6fefa9ca9f564366ccac94c6eb7c', '0x0a25a272f8a58a609c2a836b00ecf6daa623a46be661bd83d8a825c884793e9d', '0x0dd143e9a09c3ce382d95029656e8a542341635a0b85152dacb8310407bf64c5', '0x0ea50ef1e61456037cd8b2c150630c29c8fd7bdb59146369b261098299e1cea2', '0x043f267a6f421fe2c2a89a9d732d5125a5a5a16f2b2a383aea075248161b666a', '0x0f4af19192e2382fbe5366f44758071a37c8efd665d7b301382b1ce9d959e694', '0x04a173e73a8994bdf8f5ba49529aac85ec368dad5159d2b6f0203925c5c639aa', '0x078e6e276a103ab6d7a2f5622cecd2683e587ef872a363f1e5f224df39052bda', '0x0d27bb7aacaf61a8b245a0bac6cd019e85edb56a1534d99292be67b4edc0ec08', '0x03727f55906f52136935925cfb2166bc1a9a68956a818eb5a6f98c9364c6193b', '0x0cfa61e28e1eb33170802da0494fd98f50c54d5bd444bfc1b67ff0beb3c92fa9', '0x009e8db8da6cfcf74515c9369f57db24e3d03b62e15e431802f55aee0ee11568', '0x085d7c6a6d4a95988c1de423272917c63d3e8ba635989b734f1b3764b5427b71', '0x08887b0169ac52602cca6b97c5b848b76a96ce7d8a609ed81ac561b5b1d3a41f', '0x0238cdbfe83d49610ecf825078e31b490dd2f67c24d8e6f60166135debc32ef7', '0x01f7d08891bd42973a317a4b5a16e5ec796368c1e6cfb22a5fec5be31e211b56', '0x04a33e9f97e9ca9adbbd635db232df79e23232731228b7161751178b3a89b978', '0x0836c43d61c567c97592cd953d648564ddea3bbe74081fd1382f0faf1fb54d85', '0x0a0a891728d7e182df7ef788f077529bd69a2a2dc9df1a1ad0db3294d1d6d473', '0x03b194dba1b87cf64c32f114789ad8e0a124697a8c5e2a5f26f2ebd914c04bdc', '0x05e401a946e85667addf056270bcbf6e63e19f78fd5c8ca2ebcfb3a2728a5c8b', '0x0b840abb22a4c0a5c6a0b70fb03a74bfb2bef1f4b04e2dddcd0b4c41fbeab9f1', '0x0dbb5a880c4d8476dbeb47d461d2816544a54349b13cfba9640d6a530a3f1b85', '0x054bd6abc312a67dffce1cc654fd1c1c3681d606f5b40762f95a2af217fe0229', '0x035a85e857e59e32a3ea8f2f1c31238103a8e8822f31134b5fb250f51edd5517', '0x045b292a2f4b9f58a29a4590949ab0c12a60af61dce3335d385c3c718381260e', '0x0adfdf463683f40b413b9ed7bcb5904ed1719ca1671965edafb371a02cea9e68', '0x087a13f3b16c1701896019c9160ce86b97163b2fdb14e74c3fa89d1f3b5a27d5', '0x0344839e83940bf96e19ff2584e76c5d72bea67e2548b26c04b872901914b33d', '0x0e583cac5984690bf6e5a9ce96b8f750bb7e34dbb0095706f3b34c4b65bbc810', '0x025a862c209e952e9d916a62c2024a2af21bd799e5ea3d42874722b9edf14d97', '0x08e4122d0fd1dabe76cd9fb435c80f468c73201f36524ce7fffda6491605a78a', '0x031f2b3b17c85bbab6f67162ddf879b2521ffb0443da4c30bf0b3c6313c4bd82', '0x00c93c66e26c5e657b56520e8a93cc7fbf73ed5e64f7c2295bb2ce7f55b03784', '0x00d682edceb6c16e331267d52c752a8320bf457992418bc21a0b205e9e147e7b', '0x08dad91589e63d8de57196ce4f43754241e728f98579377688bec4c5a8c1e53d', '0x092da09a6be31b651cb33535820cfdb80e9a3a31d3f8a20aa12f9743f9605202', '0x0d66ecb531e5367021c216c672ffac5644d3123790c82e2d30ffa7674ccefca1', '0x05387133740b070d341e4bfb51d1e6480f522a8cc65b9e9e5875fa529819e192', '0x074146ffc368d4f01b8072e8de51b23f43318f3b7c8b0ffb9438ce39b6924fdb', '0x09f39a9df4fd89749df72af0f557a30e211f77bbff589422f05c7721e62dbade', '0x02640ec671b31d45bf47ce9bd6ebac351d38a199a7a62c53a96f119b5dfdbfd9', '0x0c11cda365d600363702a06eb68e541570125051d21e1e31df182f76141e4266', '0x0d6a5f0c13c07bc60712a708b6c1c1d75e66c44cc69afe6eb345cbeab4a3f9ed', '0x0ec17304884df34e98f5154d3e2a0cccac2fcf51af5768f0c64e0af88b5cd218', '0x09fd192053fc92d7fc61c25cf68b50aa8a80323d9e1bb485a5fc31f9a90568cf', '0x06c3dcb2d91866389ffbf27834b77fcfedab6616ffccd0d903462bc93ce22895', '0x02f9db9d33b1dc95c9dac1a2a71db6b1f2fb307e25f4bf09867ebe21a0283c5a', '0x033b6a3c18e1cc4b07f48e5a7011398f508238ab94e1aca23e39700c0dc857d3', '0x0c6ec14fed9d20201a062d720af83ec72375be906d78e461986936fbf9e0d76b', '0x0be434b34e59fc4e9fea50fc3fd1e45c45aa5ca1f98d70fc2cb231c9909b82e5', '0x0507361fb51a36f7bde5913fdc92f1255580bad7209d4f691fbd2fa6fdaedd41', '0x0fe7a2b6c3055bff154f474bf0a0536a023ce7f8a6cacbbe25bf9aa280305516', '0x042173e11066b266088d6763dadcc354f06fc028c0e90543b34e99b322a5a5f2', '0x07a8933b664a6ec098c811b7f7ebea5f05f93bb57a7e28ff9a2d5098a8d6d7bc', '0x0af4d1be5a3c475e9c87b5bd2f994cab9b1514796d78a2db3b0c09fd854bd7c9', '0x05c877dfa06f3dd4854e8590a16e35a50869780c12e3d20efa132b3de7643002', '0x0ce278adf6a70f0907df9e5c6df969953ee88c0d9bf489d07371b542a6b8a2c0', '0x0317484efd3fee76d7862909ed3c085645d4c6d2f47dd9184cdb406cfbca82ca', '0x07f2c9bbc3be43f783435f99a7de0e8d1fba353bfcc03c120bc1a5c280777146', '0x0b86e6acc58cc9a52049d60f0b588e79a5ecb13dcaac26e5b1293df53fb97c67', '0x082185e6688c5a942f7b374527c4ad0948a7ec70a4e2502290c4586563f00c9a', '0x0ba6743be439c6feebb97bb6209259c6445e7745df0bf334131c06a5c59391ef', '0x0ad273818d852e128580b839f81ea7f901674b62024adcb002c0e8ca1e6fe66e', '0x0a6e86184b2675042586d748829a0f2d054b967537ac7765a5b0b4c2e91bf6d2', '0x0487381967515ea0b000297ec782f1b6dc56af1688717c09bdf6cdd2e895cf95', '0x0cce45b1eade293729a2bbb42d9024a7b8e2cacef7f114a62d74e33cae300f52', '0x0c2836962a4b7ab83d57ecb37e442d18ec541106ba4ef32297eb3ee48831f835', '0x0adcccbb22b8a8f7bcf27a107c513a722cc76e69121b20b85dc57a42df83f4ef', '0x0214257e11d1adfb8879ba7d50054dbadf8b1d68a6324ae59e1298a688bcf98f', '0x0f4528a2f1174def7f6b452f05b6ef63ff75e3aaa571985fbbb3bff409c8194a', '0x0e02bbc0572447b1fe5dc266c4187850cf872cf96e3b2bb97bc6f2ad8653ffa6', '0x0781a5f8b44b5e573b818a384a9f7e8f2dfa4df52a4dc33f83892841e9ca7fe5', '0x0758aa64c0ca95a957fb26ec51643ad23dc5fa25dfc4c5807addedbff8689173', '0x07bb6a8b76b572485f9d4db5140ad6e7e75bf851001fb6258c366b804ed7026f', '0x0ba3055ec85ed4a7d58af31dd17c76ad75663d1d6e0c138b73e566793d12d586', '0x08b1e69a15587b95362830b2388fc88fa2a06d7f4004aed0e3473b223c6bc97a', '0x08952ad53ffce907f238cf878e594c9189900d968888469e2839854ac71bef5d', '0x06be872a5484a55b56b6bc270f241ded45fabfaa51f39c099b1ac41c6a3c45a3', '0x0ad2ae94c5dca8d57e8cf7bb97681cfbfdb40c03fba64f23eb2bcebb0a860595', '0x05b75fec04ac1ba50b228353815f54edcdf46c5285d6f0c203fc04e7404d4081', '0x0696ca4127d544271ecb0b2be53111a7f52ac0905c7103c1405dbfd7e93d3bb9', '0x0e709d9bcce94f19ccaf4a99eb9fbc3eae6b45662fa212a3ba7f858ef922043b', '0x0e203f94033dbef9b166a58c0ca6b38ec8dc5ba4d874da9213aebc1c5a2a643f', '0x0a06b3889959b6aa66d9e758aaac03928e953c7e5d608152ef1183e3889db294', '0x08429e9e8ead1f844f3a1381afa044a3b35fdcb18729d5e0bcffaf7afdbc8d39', '0x03b8068ed69ef42717ff6b3e607c11e4b7a28f702cea27e929c865d8a8e336d3', '0x0979ce15cf48207ae9c2130325b2d43e11ae7ff06b520643f4e949cb89816c47', '0x0f92f03d9a0d5cce1a0d7fe31dce61e35b602651f0b58cb56374b90ccd358fa6', '0x0d4cb5d4db2a07df12bf9894e6c7abee9135b3e4d8d6d236753cc530dc1ded8a', '0x0d5cde0c1e6937009e7e37801374b2a2afa2f3983f1e59e7551b51bf20b3ef1c', '0x004f82c1ae913128abd63f7d574b74d9acd58f36986cee0adecb70784744c2b4', '0x070cf0e54f66a327d2c03c1fd1582b0c5dd723a6e7d4a01b4fbc1e6c23a87e46', '0x07bcb8f261afb69a403a9e0418fa544b89fb809158eecce1593319341a7e39d1', '0x0ede381e4269986228dc98af6cbb225e1bceffcd1be4df1133429a1da2baa45c', '0x011d29336f420cb156dd04db9f464cbdb44e5a41da0db14a60614c1a347382c4', '0x05479954a239a31cbb185e7938682646fad398c9fe12b7a284909578b3434c8c', '0x0f4fe570387bbc10fdefba69e92a61ed8cb95d923e6c86e4087fb6b3321b8024', '0x0a1bca5bc820a929102a227d9e3c69107675b522768a45ae6af911137e60fcb3', '0x0aacf039f0592bff11af5df9070da959dfe0c0d3e3ae8d816a2c715778cf3430', '0x0cf2ff30eb085d0485fa2043ba9b3d82c08df27b6d10727ffe08880286181b69', '0x03c8f01009a8174778d3e6276062731c5425bbe614714e14c2535c4d97aa6a06', '0x0e2a365c106c359e8ed5bdb8e84f52f5687c556a2ad56d252bfb6ad69a2a4b72', '0x0117711f8c29168dedeaa33fa3d32f7686a8928794e076babf258caeb87370ec', '0x09ccf8696deeddd543eb88f5a6be619db4b29ad923b7e45eb5ec7e4ebde7912d', '0x0e2394dea05768b8c4a58d6c250d0b1666b7fa5fbeaa7e2b269d91de5981ecbb', '0x06a424cd245d28469c85eb309d3c7777714eb16103143f194c7693231c0e56dc', '0x0c12f284b609ef90803f414cb712430b4e2060bb33c5fd92034fe5876d60e640', '0x02ebe8e6a1a2e60e9aa47011a2899707aa51baa65e4e02b14ccde0f249f4861b', '0x0b2cc96c2b40808ad0ee6ddcb25f850f2d20be6ab5014e973a4524d34e1dc29c', '0x03a33bf3d7e35a4da671d0d0ccd48f6350a616344c7db93ef8bbd3fe3e06ec7e', '0x01eeb05445074922d08eded2a418d95a80c6a64c588fe17a0129f0fa3d91ad8a', '0x00cac79b7d0d1d9a4b95ae18f74e7ea96d4cacbe24d182351ef131f1f2afc625', '0x023924d457d34463edee0cdbaaf101e13e067f72d4cb7fbb08cc3cdb1d926380', '0x0882b6212fef02961b1ee08edf6a250fc859909cb5604ddd6d9db463562867bb', '0x0224265472f8555d442b0c8573bd8416c90a6fdd0777d8640f1d1787f3f68485', '0x03c26b64600a51bdde9bb1625dd192cde899f581646a1d51dc16b9454ad2dcc4', '0x0690a1c68e3cad92b71a9b9313f86ebf55356a35d0165679e75bc2ec7da9335f', '0x06356bd02b54d2900e94f4f246c1f85c547172e2f2cbc3cda31e8bc97847b5e4', '0x000d0a954c0833f5b5563b779637778b21e0213c71bd9bcd4d11738653b251a5', '0x0d9d9bdf8974e43fc69d687e00fff014aca1a796987e6978a4bd66d43694cedd', '0x0c957457b1f1c53d75972dc6e0ec4fd8ce7951871cdfb5cf1a8f033131582351', '0x0573311c107da6d9370ad6ce1231045b6f7a54b43a3ad4cb19a017808c31d047', '0x0ef3558f96be46e2ec4867ebbf57f267a4c137c58a7cae8836dce7ca867e8a2d', '0x02326f2a32b49dcffe53bf3346d61ba531a3d56022f1e207426c80c2edc48d0a', '0x0d5fd23403084303825560b12a67b61f94773c918fd86b5bbe3c25f4e034aa3c', '0x02a99d2682aef785500e5273b5a46a9f894833a6acc3546e6a0f377fbcf691b7', '0x01b6b1ab2f1b1e3c03f29b58d43c70a72434ec2dfbc0963a0d5cdbec42777f0c', '0x090e3c525e1a13cc4b5d6c1ce774de87fdc11b5a3e39a1d6d179b7d0ca857cd4', '0x0e0742eeed07ad18c924e98c85b8bc56401bf41f8830acb31a934feda6bfb8b9', '0x067e794b754789519b533b8dcf48776b2cddbd445d752caae811be0696dc4e48', '0x079ca14c88ec9cc6886d59a48b4778aa87b59620b8bf34e298ddc8096ecd3b4c', '0x031e898eebd306ebd9242855f7c21a38faefd294fb1fb8ea9bdf4f2598dfc536', '0x0a15c7fd551de9a7fbf0798cd28e6b2a7de89e345a11b4927699cf09aa009025', '0x086c361d0071c0ec6d6d52dae4d5d7b2afe2d996e2af53b701e86cbf2df738e3', '0x0441fd0998626d7fae67106683bf04ab838d689e181498dbf5f82b750ef19197', '0x0893d855ce2380a29f2f6762d5d6cfd74c45ea5f52255c9e700f4c91caab921b', '0x0a5520a7630a85f2bc016eca2df55110eb45b3aad2dcf51105b7e77a56dd4a15', '0x04ef90d9cf4889202379c37b586ac889becb50fe2ed4f161e42cd1a3467bbe3c', '0x053e7ac572947af3d7f69c5cb2679078055b5b56dc1b4c55853cbdb91bf25d17', '0x06377a0271fbedb40f340968bd7adbb9fec1fd6412a97bfe1a724c88c05ff7cd', '0x0f11cc13c2b1228f368c1fb52806bebe13d4452bd1801fa705f7ce506f1fe485', '0x0eb6efb4d307134a35ae57b1b5235bafb7425606fc3319c83019fd876ee4b6f5', '0x0cb819db89820af6bb5625aa3e8d18d97a984c38e0f88a23d59af3b8dc7f22d5', '0x00e406a75d7f60421f02489082b20f78aa5db078846b81458ab8614ac703de49', '0x0bd15cb296a723773cbe2cdc0ea9e33e5df0d4ca1027fd56df7a6bcc56f70802', '0x01bb0adf52ca481c547b9cb29de5515533f926dd2f60d561a7a3f92914df194e', '0x0d15d83471427a827a1e9ab8680ae1e7b787e413f760752266844c70b7ba9752', '0x036d6278cb05aca81836ca327d084cc1cf3717af2bf7189c1a6c630f69f45ed5', '0x0bf2971a2352ebcde1cfc4324425eb1acbeb857719d826778d76225bcffe9f6d', '0x0e4ba341e02377347e6175951f45a086197c6e24dfbc3eb8b975530be95ddf66', '0x05c4fdf2efdf7a2ef34d102c43239c35dfcc6ecc532be45c5c15f882dcea98d5', '0x03127e0a1045e2356a124656758406296be8f17e3128fd9de770b082da40f019', '0x018d00f3f3b6f26b54958e23c5065923d120bfc091241f85bf19271f461f2533', '0x044b39dbbdb9b82884306e51f8eac5a9dd7e90a8ca913861ea28af76b07ad5ba', '0x01e03af1284236e8616e1aa276d7527295de13544a2099ef62db94f8e4ff4ef1', '0x0fd93e43abe0a6c82ad002316823c85ad1e7e5ffdb9eed27720eedcf16c17fe9', '0x06e18317ef804801b9ac93b2f3804ecd32af6e02babd242c9b25cfb8bafa90f1', '0x0f594d6bce6adfde2b7046e521f72f254363bebfe6cfa9e0530d5eefbf9d1d63', '0x0effc7064f3015fadf82e3543348b56700498590cc5e438f57c742fb33083b8a', '0x0601e29fb1356907410f48fa36061d47a428afd9dc24c7172b60690de49a433d', '0x0e52d272a3d70f788e5b8476dbf775d827e77afc67127d9cba18ee2f149f30b1', '0x0d3dbe44c10a08436c90e19a10ca2508c2e2c8fc777e6d5ef8eab468145e14d3', '0x08f72f0d8585d7a42b19f173cba605e740c796f335bc2f7328f03ea26d0d358a', '0x0fd7877eca83ae67a26f33744a22ab10c606edd01c29d8346802ea4ba47b2dbb', '0x04f2e93f1c0aed613480e7fda602e89e2a529152b0c51655e597352bf58d6d5f', '0x09ee5b98f562a24690a563e4d98d07e47f5f8828d50f0a43e04e61f0ac879e84', '0x0e66862d8e3524a37e7f3bfcdcb4533616780922d7465855b86307c9559099fb', '0x057846b42da1f6398060330e43a1f0ad1d72cfc5f51e30d5b1aa139b5559ecaf', '0x07f9d74e9473d3345b5be9fde2d6d98cfafe15dd87e8b621b814c44495731046', '0x00259e6494b90723ca368f6373cdcc9e05e737e15910ed1ffae3c779880f4fc4', '0x0283984d814e43cadd9ea6b4bb555f99cb88b872c2c1c8a0d420dc203c894dfb', '0x0ca5913e70725c5b09b4c427e06c2665a7d16def5b97bb22f83d3197c6bff3f6', '0x0fe433191de0ec0191610dc8a469b2287039f562bfb2e6db8d24116500d83986', '0x08f4c62a87539ec21b5876dbdc1b7be3d09b59a9d29458176ddd210feb789e2a', '0x07080064e117e385e9e3e361befa958e67312010b639723eae08c6a93d383768', '0x018296d682e455af6824aa37590e37dc227845102213f5017e5e3df795592bfe', '0x09f64c45f6329ffa01f3ae81ba68c4ebbbc2a0d3b49876ad5c74cbf713a58706', '0x00363ad599eed17ecad3b1625532dadd7d51439b822ecbebf31a9b261e00a3e8', '0x0881296482edd8758d8f6353c6a23d2ec54d3a3f03326f89cba707af3d351c48', '0x0b893866935de3e998cd1d96957ba18a783ed16a4bfe6c1676b2d6505ce975c5', '0x0dcd9bdeaec06b2fa15c8ee48d2b9a8c814666c2d9dbc97e67ee9696fd311518', '0x09c2f85106af2f4b3dcd1c46e09d15f34d4b3bf9bf91f2b4f4e60031847f2486', '0x059ac4b7951bda4a55a27e471ff4dd52671aef52681449f950d8729f7b21c063', '0x0879748216c237e2a3d643a1d8566d169e5519b1c90940724a5431371937bafa', '0x064514c0c7995b7586e3493e92718513f7c49ba515cbed068645f06c91f51819', '0x01a6468d07036f1f208f0e769f861420cf3cec178198c78086a8eb5aa5afb0ff', '0x0de218e14a9da58ba786e2ad4921dc6656f2a790de278800f4805a8af62d3601', '0x0209112ce97406d863abc1edcb4c41bbb48decfcc2f9f633a5277719e11fa378', '0x08b68f96bee56cc5f3f6de95558f4e0140ef42bd3ce1bb4a40e0830cb79b79d2', '0x0d6f85a400977860782ada6eddefe3d25434310b8941ace28fbe4bd275776e33', '0x083994d3f0b35b0137a306805fd0cefe32d5e95a660163c0aa561e739580a4c5', '0x0ac026da6ca48b570bc61d033badddba7d7e3cb319ab46e1c4343ef8acd6bf12', '0x0483903b938845f8461148e53ac4aa9037f8add85e05dc9f08d9629f374d9bad', '0x0845fadca9a136534e35dd22c6a449fdc4eaded7e337f075455e3edfad0edabd', '0x061908bde195669c343290d753dbc45217726e60e3cfc79763b0338bd5f4314f', '0x0c9154c1d384ff0040166b297768232da482cb935a020bc9259b77a31708f9eb', '0x00c0ac434b4a6cdbc3c40f295e6569faeed1574f5f59a43aa6a9784c84e26fe5', '0x03aab9392ce71e4a9f7d1a326dde8a5b85f6714e8629a39ed07eaabc74d7ce9f', '0x0e79ffa59f9f3a8ed6d03f41812bbd883865fa696b87101c3fadf57b2d16cf24', '0x07ecdd276303ed2f8a5ffe628ccffc04378a3b69ffbd1d2fea0c59d2ab686a88', '0x0b234795c90b223999855898bf31d8f4e9725304a8edaa020d724eba4b5d315e', '0x07bb7cf0e3c3c1b19f4c0345a590cabb50cbe1dcb168648835dc3db3f3597a4c', '0x05827b77b5a7bb45febfdb464518638734ad4ec7a158099441c50d3495e2454b', '0x08641ee474ad7f394375f9beb01c838fbd3905a1ac7b0793cf8cc6db6e3a2fb9', '0x05915eed9f9e3c61a11ff098b9d56705fe2767a7bb998ff9d3b234d21a448a3b', '0x0cb8ec084a30d651638584cef04bb78c3f2a65bc37057fdfc954266ce4cd50d1', '0x0121457696b98ad63e247835cb34f971f7079b63bac2fba1a478fa43d5ab05ac', '0x06412a261b701628875c6b49caca10326828e1bc49d27bdf2e35be786d548ec6', '0x08ff430f06cbd59cd5af52230b954500f78ee8e6b0bc8bcfcf09feb86972a699', '0x0495ee8ff6338fa0353760834693dda88aabc5480bae4ad94869d10553fa055d', '0x0f25bcee7ccf8f1230839b4a736a2aec9660614a938d9f1c8e79aac7848ab258', '0x0548a7f479dd29850a1c45163fdabd6c4999470844cbfd227afee2583982eb88', '0x0bfbf54f2286a2b11b65042c2855a57d54aae12b1fc21a45b6b8da2cedb52f17', '0x0f58e29744e4e652e21cc0fcbcbfd4d0c8806dd1c7b0c3b6785f7b4a4df3bf9f', '0x00a12ca5338f9d0775ba5c1aa287b53b8b19447cd9b5bcff9a8fdc1b02b18539', '0x0850dd045f69b6ba6bc4a8abe2c0adc3b50b66013431de1705f381407ab85c5d', '0x079fcc75a9abed7344201875a3548bf23d348f4884b6c36c240d4689399a80d0', '0x0db027afe562ab6d658dc60e8c7127aa10589c75c7351bdfa509ce5a4aa11220', '0x056706e2076c29106fe172de489f220c27172b5347a9dc0eb8495f243b7acbf5', '0x0c8937890686e76e30cfaf313fb4840cd240eff39495682cc1068a3730181e5a', '0x0eaa8a5ede32d5696c4a4f6d017112bc70ba9c820d10e8c5b24b58fafaa538db', '0x05c33b759fc3823048c34cfae6856ef0b940c3e9da1fdc0e65749dbe6232a56c', '0x0777afad9e9d907d4a8fee95e0098630621b9060f278f7f9f56cf57831dadb4b', '0x0e3fb367bdc842c16bc23acd07245fd587cfd78831d1e52051b7414adcd3a50e', '0x0d9528779a48499d157ef5efb71a1a0e82868c82c0fe2688cee183a04664217d', '0x093424997ec83eb0f4f9a9a405f3e9a85b6730656409811ff4b7cffaa1c22f4a', '0x0aa5ea6f5e7327533d69bc4b1d849d0a0a87f159f0b0c8d2105ae7fe01f59ea4', '0x01f5495d8996bdaba62f302747ea715a20874693ce75c65bf74a2113049dee38', '0x08148c1f74eb3de05c55e1508d2ea0a6a4b4fbf68af4946723631893212390a5', '0x09a77dfa2a2fb26458821bd4b3ec678e3c187f19f1d0ff7a135a58e8e3704d9c', '0x0e4af70e51bb8422733eaa7efcb6cc598af34d6137ce9f5541d532bfa3833d80', '0x0d9566c88d4606119f18bab97b35b6ee8fe06c6a7d5a9359f04e85441bc4363e', '0x02b50b89d3f2ad7d557f9d1971a63f24e556d183904e2bc09de1d100db430791', '0x04798e13f7b4917ab71d236501c38e9aebcc87ba61865a542429ebc08b493d3e', '0x0f1271d0e73f8102300f7a1e71a3fc644ef075d327c3f94d5479e026d1b9d797', '0x0ce80b20ffdea755ae6245d55f6acb65856a7e1fca75d2bfbd55e823c76ebf03', '0x0a3195c62fee65f77edfa34c4e07a5693980501b0a77664cd826fad5b6236139', '0x04d218d3a2565d267ed87b03753838e95d10fe39aade5183b6de45c7d7317e85', '0x0209b44ccb4fcad450aa366f5e2a34d008abc559ed2f0024705c9f4afc6634b4', '0x0eaca6cf5430a5c3a54e582726a3774a0663dc397769039d5afda6f59a7c16a9', '0x0693b19f0bda38696b9b9ca66c2768f04b4b61a59b4567d8c648f090a29f9168', '0x0c528247668c85bb672303385dd680ae405c143c181b1a64a4b9f1409511f16c', '0x09ffc5ac6d5344650b6e08bc361eeec4efb8b642f9ddb8365fcd7918020ab81e', '0x03fae0d5fc9b5658157b454702f638fccf317c1467ffede363b2cc038befd0d1', '0x09fd3cdcef2e04bc52d21c6fe71934e1f4da123b00baddd3c6a57d42b5d4a2d3', '0x0ea972183f92a8b40a01d26539449b15926082a8001a7a08c3b2dfe3cb45837d', '0x0d039b7407af61942ecff51e3a4540fd904f0482370cb4eb9fff9ed329d2c3dc', '0x08d78d97adaa81b7b8e5b97d43e82eb4bb0b974a7fcfd00b1c7d5cbdb7b43e3b', '0x04ab89e421d42f89ad467f063ce8190b1c272adcb9c05625459a7dd6ff404e9c', '0x0373c4d1575e2100d9b751ddd87ce1b599c51f7d46158641071da58feb5cc2eb', '0x0ddc81c928b2f75432b5ed9495846e7b6948f95fd44e0bc44bbb4212736fb71b', '0x008a370181e5c188caff8e297ae5e8703e2f1775d782b1119117055fb25a1930', '0x0afb42387c669d552d03376b4879eec90711facaf48fe8f3cf25ff0e4bdb8be0', '0x051352512d5b96b0d454afa03da231dca1797b12ff5ed8661f73535d93a53cb4', '0x00ccff5bd142fd9837a4a6127cbc127d57d051cec3e2e65eacd433c303775373', '0x0c6112880d35ccb98ace04ffee34aef0427e23d62620b7cc339b393fc87800f7', '0x0c50aeb95d05b905ea7cd3416b84805cad8db5ac305118a0b8ca0dd40ebe81bd', '0x0f50de4595a53caa1ae08c0d0ec7e5bd7c256166d5ad128a33cf7e664e0cb43d', '0x0ab3e98e4534991fff4a4112b2ad9f64423c5d3c6d4808fed36a46e6ac19247b', '0x0f4bd9b3547e397a977c75e489589950cf54748e94f677c6d3a4ec0211b8595c', '0x0217372aa4690cdbe0c68b3ac3cd8ec2db271149cc77170518685e2f79dfa68c', '0x05a0ada7d3dd25127eb259a3774bc5869fc8a4b13449d37d1e33176071d41579', '0x03f8d2038ea5cee8b6c297ffb8ae82be767f765cc2537d8aacb268a4111b8621', '0x00e9dfe22b5b68457fe337e2ea775c649a5bdcc58ee1803c186d68d3bdabad76', '0x046e31fd18b7d9ace9bfd3b5725524e8cca275e35e597380790da5470d414c98', '0x00c5b842b6493786de273a67d151418e3d15ba80afe3afa33aa7dc725f451a5e', '0x0f8cce293ff0f3625b1df989739a6d6b8c6fbd8e71cb154de86cc3c4a0685d1d', '0x085c9d5bdbdf6b5f608c910b244f96000e40e1fbca8e7511756a901b33f31c1b', '0x0a596c7cdf0df67532304f79cd378ac894c3d1708bad8fb53db1c16849998e16', '0x0aae01e3298bd1a57982bb26e1130f7094e86a556b9436e5c7eeba1d54a8b642', '0x0ae1198c1ea8a77a4b7a6658634347b47d7a433bcf9e283b2c48156a85d1e407', '0x0d17757b50918290e8abadb81bf99c030b5faca41a03289775935d2fa5a03e6c', '0x0133212e162f656942654a65d9486ad4817e18d43abca7fb85826a00a82ac311', '0x01d7bb15aa19bd77cb6b2b5de191c72b3625237b2bc420c21357df8e3ded9a34', '0x011080757dc82c027864904a77e3ec0114f61b38451bda852875d6574fe61c95', '0x0a1e2ba39dd05defdf3900e99eacbd4d6fc62d4e229af482ea30c3efc7cad839', '0x0382869614a163f0c41fd93fc181daf8480a2568a3e0bbeeffb34e8a54c912e2', '0x0b6cd8d0f01c3ff611c966562a1ac16059462b151ac0d71d691e37a1d461aa45', '0x0d441fc4715020e83a639be5c6628f6605749b762628ba7f3f50d33d5e9dd433', '0x0784b82313e6335ec4352e921acd044f3d8b6117a422a23bc31ecb1bd29149a4', '0x0bba68a69db2120ffcf1c8c1936a97971428ea095945cfd0bd3dd3b6876a379b', '0x0b71e3fdd71b4b2551b25bd57feeb65fbecae7eaa8628fd3a755ce17da24032e', '0x0e58c1cb4d37e4b8f3dba33293ced83f63bf43fcc6dfaac976c5331b5dfe379c', '0x0e3ebe7bab8220f23eb0eaa59d4c237da78409ff68c5baaba16c687de0b78945', '0x0541048b2f2a892fe7f6351ed638f4de86bdff65d675621e7dd2fae2ebf413f1', '0x04494c341615371cc359838f6f3d64b486d3b6124b3e0bf0c1f23b41a17ddfec', '0x0fa0202931bc91fc5fa46c0caa59c821a693f9ff0f59eba6df3189ac93803882', '0x02c9818cf7f5f69aa2b8df70696ef0d2e4efb4b5bfff5d79ce7e817086af8c15', '0x0f20479252eb2f7a2aea9b77486bc773c2dbff929e8936e2add5ca98555b044b', '0x0da869b7ea5c50642ceac251f731f8eab11acbd699a70152e4bf26746220c0bc', '0x09fd6788737b3ff8ef256c6e9c4da168cfde8f58f05e32ca6c4d404883349286', '0x093010b3982ec0d5c8508929cb3acb958c55f1c4e0607f324f5af66ff409aa27', '0x06db55f0a84c8cc99dcfccba3397695d01dfd23eb6a09d7369849a055a312bff', '0x01d01e620e4bf258c7e36474c92eb969a47ef7a386667d9f3b09789e899192e1', '0x0375d98f39d184e6629185e2f39ebdac5a02f8a143966a135ef6d3f0d52d104e', '0x01366251976ac8d5c433a619b2a55d1cc44068553fd7debce8569200be5d6a75', '0x039c795ef86b46a5f096a5fc7e04c8e221e62b79b4a5f87a7262875931421715', '0x02dcc4602c2e026962db8e53bc0e36e5c2e53a23a0c6f33a237c9327280cb8af', '0x00f7cc6d5efde5aaa4e9d686e6911c27012e647db602eef128aee41bc4c70e1a', '0x074bf09be43a269c6ae4af23bdf0421b51b36676103e7e63ef88196b8d308ab4', '0x05d46df6679899261d72c285f231b18c316de5c54c45c117d2e0f0d4f059971a', '0x05f07ab8b7fc631bbf0fd9af8cf248dde377c08bf82bf029d264942ab38c8ee6', '0x0897f13028f55fa26a7e366011a17caf7490dbe0eec092003888634a0e02856f', '0x0462ade035a8dbd3e6df804408ee2cd2ed3076fbcb9acd7d836d0a926de4c65c', '0x0dd8b8980b61e4babcdbbcafe509bf59d4611a7a88727f595684b362da4d701f', '0x02bfe2b7e43f5729cc8d735d8b4e3effb027f2e82fe44723387772c1bd7bca01', '0x08f4e36b724c7202d0c3429b199b687c155fd8c861ed006e3425b8bebf600241', '0x0344bd609426bc8c7555ef73afda558202f60ea3507faedf0442eee1bfff7555', '0x07a9b82fb7d5d5cb7bdc70ae83658d92a3005eb6edf9ad885bb63e35d69b77c8', '0x02b8afe6f0245a7ac8bc26746d089758cebed1c8089762974e6b312b26f6f8b0', '0x0ab7bf3fd629d4f9f094d25fad32d4726b1d162c28aef3568ac0928e2dc6a6bd', '0x0aed07d944e550f8ca993d9d1e97f43e55ee96008252d342ef3244dc7989bfca', '0x00d34348a18ffc77751f6d215688a53241e35f0e8c39de5c1f659b6bb1d187e8', '0x00ede2381c33ac68b3356acc0e15de342285cb80af20a832551df1d36ff0b334', '0x0c0c753ff3d5093d6a4ed942bbf421207ee546dd99ac4a3d9140777c654337ff', '0x03c46aa28271921993da7b3d291f960d8525bf036ff13d9bbb4849abb6a1ed39', '0x0fe38938d97e451778fb3cd05a728a6c3def4dcaa9327469b6eb80918feaacd3', '0x04a28f5663ba90a18a8e67398742c1a7403e57a1d5ce4fbb6075d0551bebd613', '0x0dbe2e7bba997e34c5a91e5d1014a70b87d6c14f777e5a2318add743f48543a2', '0x0224be6132e43c3e9a166635af1c17c3bd95dc9a088333cdc8f09737fbfec703', '0x0ea4a1782cbb1063d19118723e44befceb191a7db1ef9dfe3bc5a308b23b7929', '0x00851d0298ecbf8c6ebe6d566ca31aa851d873286cd686690acaef56ca38837c', '0x0e954819eb75532437467d74d045b02e3f2cbae8e542029ca59214581bb50f85', '0x0537f41b152ee3177fa0d668bdf7a23c5ebbc292f4e3446f1a7c7a9fd7d618e6', '0x035effa7ac5866bd48094d392e6ee25905a3d3f9eb029b98625f27e4ab0ccef7', '0x062faa35a4d35ae918313b7a76d21544cf8704c4c68b67926d37dcab69290023', '0x05907330fa5e121e2ac44b80417b11795816c2ecc948f1425c68eee07542926b', '0x07342afec29e93a2129d6c157b3350a1094c8ccfb1867f3ba105e5ba572efa6a', '0x0d0c8fca17467a4bc32caf5e346389bae8979bef11b950d82088f1036481663e', '0x0529f4f45c9450a916b4bd69fab62d7f76abaa8535d9ee745e6153a1c8622c90', '0x0eda1e768c25294ed1d56c40f497e420233c3697bac6b2dc3ce5af418e7f2163', '0x02ebf7bf6404e459ba660001d799cb91d93563382769e7b4dbd6b927f3cb0c44', '0x05b846c2376defb447d116e6af6b24d321f968c1fa7e76c51f2f90331c36f28b', '0x0ff4dcbfd000d6c9244cc863a5583bb703d1cb363c008319b1069bea94139b29', '0x0dc27ccc53a9d940c0274c3c8de303015240a1260387a93892c4ce345369faba', '0x0e516c82c0c36922eb8ef16edfbdc92c053b0d155095a57404452e4ed2ec5a48', '0x04f9d1b895f166dc561092d6c33993104782033de36f61962014e69d9cacccf8', '0x0999499c4aa3ccfc24caee2ed7fe5e9379183b101b6ac7cc2c2d7310b9ff0369', '0x03525674241b4b6e9e96ed917a6724c341b5aa80e1ae6ce48e3e592ff02f9249', '0x0d6efb513cafe1609a6862305511140405ef43905c64fdb4f1ed78b8aa1b3d5b', '0x035af259919beb3b8eb7a5b8f460c9abb3c2c5b2be98eb5195f0890346723f01', '0x08a956ffb5d8de99b1f5c1a7577892252ce7a50962e3edc5163e8f53dad7c0cb', '0x036f9846dc572476f77c862359cd21f3469f0e2893c534a7c187fc9b48f9870e', '0x0021c22644d63870220a1a42e8dcfef4aa082ba9784aee85bc0b12c457862bdc', '0x0adf5703ac3422c965eac8422eddda9a4e09d1ade85eb3a830d080d7553ed1ef', '0x0e00ca91e8f8c19b068e309242c8d7108981108b924befed4808adf074ac7da6', '0x01784ebfa03152e452e33dae44fbb04093925f6a2842a912df532b01061f297c', '0x0db29d82cc623be158404e18ff47c83d459505e3687ed3330062b3ed977d9be7', '0x05a428d8bced0f6eab3cc8ccba544eed0f9d0d0b2fa9f1e9ce2b627137992fe8', '0x0f51c5e5e61b98a1f83bb6880c8efcdeeb3314f4fd74e213131b1c816692a832', '0x0f7a9ea7bc5b3c55a754445ad4fd9d8c025872c312c3e557904ddfc2de86daff', '0x0d43d97fce44eebcd84a57139a96782b640a1fb6374a16a7d3cced60b54314c1', '0x0a4133bdc1ebdd59e16b752e2cd18d87d7cec0caea778adf068eccfd58feac9e', '0x09e321a05472eb2969366063e0601f0fd191dd8bd61a70185cacc31dcda469a2', '0x00f0b2fec4796503868e6a836fb4cbe5a0e43fa6e3f6c08b8658b17feadf06bf', '0x0acf59a23c6a09cccff3249ed553b30c140836a78a523f0df0f52a87443cf8f2', '0x01241d157e804b20cc83bf6ecacae6aebaae33b0b94026f6561ba67b3cb4bd2a', '0x031b99684d6443cfb362e6a95af32a91eed407312b51ed4b7194d6b5d59aaacb', '0x0bf53a961cc344622b758bd50b0ea6e8dbf2af2763f5225fa8a4e27cddd488f7', '0x02996384ef5517c11a3f4d74859408c1570757941c5a479e19d06d3015bc8360', '0x09a4d1b1511d94a74543b9614470079dcb935781e20802c16ae316c99e855aa3', '0x021ac9a5b9a64c31983bbf006d4379db7233b3ebfaf58e9b2047f19851e1e9da', '0x0db8a6a37e2f1c1fb13a29deeb7aa1c49feab5c1c3885c457e93a94f98e103c2', '0x0555db18c9c2b33c37ecb631155980cf0ab003425f774948ed84b18755da22d7', '0x03074bb765e98f9a81c1f5302be9c1e0e8915c252c316eaa328fd66f53d9dbc1', '0x0a460f60421bcde5b8de3bd0461cf0505949a8fe1ad2b63d8e374dfe8f3da4bf', '0x0a27b25ddb81edef6959ff137e91e35a59dab652f96deb2888fb801bf3bdfc4d', '0x0f52a638f85c5212d59c7048589ec14d38f8238410bef855ae3b00af1637cfe2', '0x0d69ab0e3fbb7eae4a70acae1ba03076035dab8e0c1a4a84f80a297cd263c283', '0x02627236f37f44bdaefd2d7faf11d01617aa661ccc0bb91df509e3e29c5244d0', '0x0837c9b47667631bd8bb3e93af600b26fab3ebe8a3f3289fe9f90ee86532ac70', '0x08a27f7059b5497a02c4f7d75a204867af62e9bd3d4e918ed98c4fccd2d424a9', '0x0cdeba59a9e807cb647f0148a4c883f68e3f33f3092240c8532c8f5f25017b27', '0x0a3f4a3588b6b7836e7f5d6670b51a166485685bd51c1bac89a2352de037d25a', '0x0782429280048e6d570f1cd3e45f3d7fa402beb5277dec12bfe3fa4fef1ffb16', '0x06f3e68b4d57c34da84a8340041e163ad1aa549514844eb8ca30357aaed791ca', '0x052459ed1c272ee79c63d6d3e3ac04d3a3b54759086df199046cb179d6a43bab', '0x0b4765b0fcbd809b42bf4132df6b3a3872b90d6c0a20914db6182f1220ddcf4f', '0x0bad090f4ee4ec5afd176d0028532bd1764481c8805a27a12623d90cea0c63e5', '0x05111cb0c988d0a6727be1e17f85f5034a867766fcd8ebb3012b37974f16a634', '0x0073b645cfa62ac5ea7e04afbc1d605f83f2fd9c4f2e9095318bcab1953a7852', '0x0923272210d39dff39c6ab9f379b709a006163ba7918b5372d05a93f490dcad5', '0x0d0fb390f269da40f113dd75da5e30a956bf0f7693b65d884b479ee809afb641', '0x0471134d0de1b1605adba33cafa616a563902109a6bcf9c2e15c0c69b4b1f6d9', '0x01eaf436dcd8dca30dd13d1c6c8d0250abef501455b975c6048f9fcc059a0ba8', '0x0dfc3e720fe2475be463823681cf387be403b2c814a70d12f4ccdc849d9e0c1d']\n"
     ]
    }
   ],
   "source": [
    "field = 1 # 0 .. binary, 1 .. prime\n",
    "\n",
    "# Round constants for GF(p)\n",
    "num_round_constants = 960 # 160 * 6\n",
    "round_constants = []\n",
    "for i in range(0, num_round_constants):\n",
    "    random_int = grain_random_bits(n)\n",
    "    while random_int >= prime:\n",
    "        random_int = grain_random_bits(n)\n",
    "    round_constants.append(random_int)\n",
    "\n",
    "print \"Round constants for GF(p):\"\n",
    "hex_length = int(ceil(float(n) / 4)) + 2 # +2 for \"0x\"\n",
    "#for i in range(0,num_round_constants):\n",
    "    #print [\"{0:#0{1}x}\".format(round_constants[i], hex_length)]\n",
    "print [\"{0:#0{1}x}\".format(entry, hex_length) for entry in round_constants]"
   ]
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "SageMath 8.6",
   "language": "",
   "name": "sagemath"
  },
  "language_info": {
   "codemirror_mode": {
    "name": "ipython",
    "version": 2
   },
   "file_extension": ".py",
   "mimetype": "text/x-python",
   "name": "python",
   "nbconvert_exporter": "python",
   "pygments_lexer": "ipython2",
   "version": "2.7.16"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 2
}