oracle/go is the Go code at 4c1507c, moved unchanged, plus test-only
generators that record what it computes. tests/vectors holds the
deterministic crypto/store vectors and synthetic fixtures they produce.
Co-Authored-By: Claude <noreply@anthropic.com>
245 lines
78 KiB
Plaintext
245 lines
78 KiB
Plaintext
fury-encryption.org/v1
|
||
-> frodo640shake+mlkem768 dF78XfbIonWfTtZ/L+l4REwvl8l8G84apmu1XZtrR7iZp2uqieJ+gSxB1Xa46ZOMo+AYCONclBHcO/tY0QoHXfUMj6VsgAur5fASRpu8BxdJTnH8Mw/aQh7dzsnoFkPNYzh+3RqHGFOWgZElaMkLSl7GAU4hooVlryeiGVzKRHYqH2MbCPknUhlFueO6fAOQ/24ObBjdvfR+DVQC0vGNG27GOvurOrkjmcEGGs06BoG5k4im/CxmMw4rDoTE/fxam9qYUWTm1sHJnRnvOxoKTsapSopAmLJ7jTQCTK8uWzJtI1SsS3yddsmve5dF66kCnTw7r2KYdBMi/m2odDwwGA6op21s+QzIO5/yaRW0BoWYiNOl2awgZkSvLDEGEBl6i4KA02tFzOEzJUvZNue83HCWiFTyL/6MT8eMlzUMms4LMoMf1b5P6gW1mk3rbYhh5E3pK2unb60pEXaAt2f16FjUKvpr+xlJGB3Sot85R/Lf8AEAbH0MVP8c5wTAzfjbx2dzSHXeS5GHLGZ9EaEGpJaoG9W7qWYbRah0aPbK4caxeUTlr77iYvMGMHIPnA3wlsKOYsdSITuMLdHFV9M1V45jQzG9chyzEYoMa2MhmK1I2AGfjYpZPeOgRvXrp+7bBPSJ+BByObCLxPqY4ecdrBmJiEzQ+Ik1FiRPuCRw2/2a4Z0JxiSnjjklL5pACa9r53bRcC4MRLwXkekuW2nhiMlnJupNQUfLfqUlQFcWToq0OrEf25wwNXrGxBIS2wlc9xih5mZ4qCDvvbcDN3sL2OnJv8IojouBTTxonARolgsY0eSy9WR/d9llUzE5zGfcR/SSWoAhi7aickQ7RNw1BdpdjuH1jUwW1Gg7Pjg+byT50Jl6fWhqTU8bhuW+jo/MSlQF85hN+/uKIzmOmYSbui6F1eGfKWVLxPxnT9tvrWXKoS1VDPi9rwzWD8Zk1aa9AwDnTxtbBPCBsVyAlrY5kXyexgdy8AxZOtRo2WisEoH48T5XSEyt2fIrfp/Uzx5c24lF0DdlTIHK8dBB2o+WgP8vVHW2wegOmG2Uf6buwCVtinJ28Y2dtWqrEiW2TYJrDP392OP9x08zJRAvcRJjucSaYAWeqbnwtX84ik5+nniNPYpdS1RaWd3iXvnbkB30tNct2dZ1wTOpD+dVRQuRdQ+XmXsME9nNQp7J5yhAtO1rYqZemOd3Mr84IIl7mj8Lr5OfJVWWvIjPSOObXZBOxzVoPNebtqEDAoe6EZLSeaEgICxtSrxHsOnOfotv4mtMgADDQQMN+EdZYklcHdc6VBqziNfCEggvccF0qQNpQfTrKjY3qs+lBo1wJYJMOtcjCqApv51n1EkIz9j49j9p7jS8edSAIi/rqPaRJOh0UAYZSK6L5+VUGX3+3wZBZvHKr8oB3a0QaOP/MKYWP5OjQI7/5l6rwIxD8FIaVqQhmEn781zTGXptqKZb0MoskXIj1g7kRAlnQ+KEOKpcW+K3eq8WLS43Qd6KqhYKKbfVYHYhjbobpr4zJ3uM3DNKL+/x7KSX8kw4MezK2HiRY/FjK3Fhtva+EY+TTyTQuQJeTJkhMzPaEmHvSsjnKB1PpOHZTzwO5K2yuxabvLWCEnLXQ1F977nJbjx5VwjVDaDkALFX+kc1wX9LG9cO5rL10zduQK5f4FyIkAIJC4LvFPzF/1A/CE+n7JGX+YgXGSexousIcmseJm0TKi4W9KKwNSUpfv/6K66Qqs+D6wX1K3bxpFi3etAtrhbLAMDXo18F2DQHOPVlPwr2h7FeusrfEFhWIWo420jYg2QmPmJ2cZjoP74iECOIdBiIMCwK7Rugftd3baUX8NLlhW4DqTJO2aOvjcFVaDgIXhqA4092GDJ0abAQppfaRMOc+jw7w4EX/F99JR/bC+2SAf9odkunoBXmUPlIOO/kotR+yKjoIsP1wPLovwIvbmf2RuyWIKgGdrzdoHNIYd75ffKNWwrki9mA3O13Z6gmDx83ymVRAF7uX0TW+bWU/ZYSWvzXtj9sqtyRQaMJre2CW6D6kA0xDBs+FiRGQ3MwBzBa6/0URzf7vB5l+qkBpEsmJezeO6Yc0/r1lfA8R2yga04XzPGBdvusyc8xTMs7G9hXL6ZhT8skwOqmjPHGkyITUWtEPo6H4jN9U3SQ37A3iZK1VMyYaXCmbOuZwgjJ5hWM/xnosHvgweNWK7NmvmzRmnR6uxHxIwZS7FfK/tKLXLNVok6ZAbyzbobcVYZTml0JGvhXFwtl2fVOoJgbph2ocpfMAwBWPgsKlGgw5WlTZAv5q2nqLjMjhAKVxOJIBrK+MW5S7FL0Num7upeQJ6PGml29nxKiKZTlifYsXNzcWSo2N6waDkLqeC6fdppkKbky8SBPwNA6i3+9N8pAN9S8dWFqe9TNNDDxX9/QUEqtu/kyaLsT4xO9eakNGAEFXYk0l2lODZ9JO+KBnoPpwjcx7b/NvjeM90DMdsK2n4EDoKUiO1noDiUxZx+gteUMi2+2XxABPH5Q7Ww85+utd8kVPrKa5XKilnYif6VnezrUVj0CzdNPYnZ/OlZgzkWmQdf/Nm6ZwLN66xmnD5MHCg7ZkjRLVhhN0umTnyAkYBTvPhhh8i6qeRKATL9cP4w9D7+ffarsNwTZybbOzFwOAh3jPRp58/ZG7rOE3gPwk9oR4SdeVZOMarkZkTXmvpD75psM6/OrExcf5Gmudm76xT2E7tkJDDTKApfByW2jzTuIqcuVqHuGITGp338asisnWCdNlmqasSUUWVWcgTBGtSDXfDCE15kinfl8iyZ6mjEGeFAGjPuRSV4tB+046cYSQLcOkC4vbYj+KK8S5AjjETitpIUlkESYPRJh21kvI4nI+uuUT8TixwxUUSlmvRFymdmhb0PREa4RWgyekght2DFa/ILYLsxwd2GQwE5o6bdO0BU9MYq5TUEjk/DYKHyjXkP8+rzTom8GzLlIioiw8GJkus5xiCZlowuuwUyEsHiG6P98FRQ7NikAueu3ebtWvB5bhoegNipSRc4EKKx6ntOPJyaFtXB4c7/i5WtNFwNeYgUmHPp3UH0E7OH/1uqDpTAefxWl4u1tB2aOTWig4ELO3en0W7QDQsVYhJ0HJ9CZCpdr2YGux344J+WYZOLbS9foAaGmmmp+LFx+hadB4laPsabc2F02LpYVShWc2C9E/BVtXGBu/i+Gn6cj6jC5o2PsDC1MmwOulzKyvHhAghO5ySWV5Q5TXRKJuurpcSfp3XkyfsWbv3c8Obz2VQxlAZBVTxOfpE3J4w0jvXQAALQwd/Uf93nuCrIkUfiSGtw/ME2GU+3gKNs9LP/Up+pyhF+SdbmH0aRr3vOdotzHSYr2fGYNLUqI9xhsqzsxPcic0zU0+vGeZkYNuxizrPVbTRtR9rbRtnoMZT3SYl2LICz7YxnjRd76GmP23xvRl/UlqKdyHIuoDIPjKDKVWmIaI7yXXRQ2OHTrheJEbqDMLS55JTpkrgZvdWyp4EGs8NX8MAHbMzLKYMn3nnb8ac362NEMFnq+ZHEXamMJhooegCCIc0a/KKwjqDS5AlLcJKo6nuhSFW5YmHghOmU9mKGSNnTWgNShOAIcfxvoBjTDdN7A460jQhnEGlxvtXrC9Nft6wpC8g4691xzILUHl8IBKswrSRyE060rCYoOWmbcDNNN1Hv3kZwOzHpD/QNql0R/wxLvVu2kjTB5r5c1Zf/dr51odPWLnnB66BaomtzE3dpmpdGZ2JESOHgjdiIsGjb6oWdXN/lLhYaRBy9TbXBqLO8wEe/+gvFU7xPkWJzjA5IffGVylioDJ5RjsQQklxupTKZ5upe/3AYindYY4KAxlJgaNKSnJ2bFY9235zcRdfdVbEYxiPjVGqllkS7p5thwXr142cGNyk+Yo6rVK6fun7teFjFBMb7L7WLkLKmQoXPqCGnixu5SuZG5Z3aetpaIctMXsPwISUobc36MOYmm+uHsVLqnbZAH0/RiK6dKGZZV3E3N6Krp/XM+kaI5rHpqgjmHNGPvA2sVDh5OohMqN2atpy6IZn1NokbZdVbUPjBFguLpl3wDflMdcMU0ApCdmSBoAudo2bom9tAbacBHSgcl6OSCzB8NIJN3NqHpSHCtKgELw+wt/GaxnCjBdoXWd4oTLv0ICR69tobA9aWLTdD3TL+A8yRfhlCKsotZzunUwtWqQctE+qKGDq/t/5Eog4474TuBn17avPSzHtMAgZGcahkkbKwN8lpu90BFYrO554+Alm06JO+zm+plMqC+miZNN+7dP5pAofIjAv4W1qGj0b3WjPqOcUTqDQC2Lx61SZS7lXpR6srmdUNvzYbszWLkFvSWGWx6ficXt65aw5G9ZMR7L9OA+0zUKEDAuNWwNsIr1J1nshS4BP/xYrEOeSD8wmrBc2qbIQu49sNjySldm3l7doz6irE8pulgIKBahDcf/QBLriqpKRWyhGynXXD73k5eYUDlUFqpz6BWqWScfIme0Mje9IWaGHJX6+VCYNBkKo3Sjrxg1KWLjCrJWNi2DxIHDNUGJw5BpbxtQy8hJtrF618mfmgRepZGV5EJUeC+pg0axLCULeSx6BtLS8u8/PTYrVUCI8PwD0iggmXLlnSDslfHDSqPF9hmZWwWVs6s10LFwSKBGxvojooRd284/0lVvnzMlL3nhB8CC418ouFQU4H4+7o0EiFJGQX4k3Bv2hN0gS83AVM7DpBFK3QVkNmaS60uUiTCjKKbe12v/MtCBf5cOBRv6X4zsfSBIdm5RBGxOtWaNxE6oQAquzMNW4gCh/66bmSZcs6D8KQgxLW4p/HkFlEGefwLiP/a2uoCPpmy6Ea6O9WbQnl7qxLGIx/xum+qzcoca1gxLxaaiYBopYbT5yuUPNB+8O8J3RlcQhxvGIp31Bo1lozy5u4X3ks0HL2/ei3UEWzLVsK2+eBtQa8OQprirmsxR+v567KOAFGKBawACy62jjTDxQ2KzJ+k632VuwCrhb41KTOLPgHdQrlH01lJ/DDA2uw2SCGZluxAMJpqk/Rfv9GrJAcHj2k5tceAsNzFfhYJTsikFyinithLuCUYDWTm2p0h5PsBgpBxjQVHC+WfrG5sgKcd5pLKPIhF4lGMJVHGY/8tgPLOaB28+lK3XN2yUwyrAX11/pmpm/Z1VdIcPnRLaYVI7PpwDeHQYRlLpqJAzmEOJtI5fl7ZIncy4zV5z7esJFH1QTNqfiq/TGJPke6QNEKq0u9FcJKv5DxojF9EijKk+SyOWux0ryisncSF5BJK6FlWwShMKrKtX/C7/i3duGub+g8O9Ai0pq77fD/CBJKnx5nBtvVKd+Cb3sUrsvfFCERwEYy8Vx1jZOxfKuYCwTMNWvHlllf/nKVQwdW8GDJ32B/ge44oSwdRTIF/VcVaO7hhancOvk5JIA3NhSQ0+BtkZF5Yt8n4PJnlm4i9Mrq7tvZafSg3NXHju0rZRYPv74wJfeKlmXwc0Y2fkUDXhiiD3jc5ZU8cNdEZro61baH3AmY49meaMI8OPaFHTMQAiwpu9LoIy6Arh5VLpwOmMBq/2aJNuleccd87wl0tH+EwYzdPsLCa9DJGW9exwynwhyDPA2fMSvcFcoCKBYMvysNDDeD6usIB0tSMINCerRdH7l/nSJDMK4/u0JroyljVqtduGOlKrKPOl7SRbkmtLrvObUl5TqqKp9FwVRyqT5JDEZwIxVV/ntjF6TIw5D3wDA/aFNxIvNYJZssRoVUpt5T99byqVeVroj7HXR1HKvXk8xGv57J91o6aXfoXTYnXvAi6GASsJvaa06MnFTgjIT211DAMvnC3t8ttO1FO9SUjk2QPz3L+abt1xSkGZS+D5Y+Jtzh4/sfxuwxxKIZz/R2S41jtmr82w1Qfhx7eV/tHzSn2WVaMZ4g6qu+vmqvQk0c0dj8YiLTI3i84mZ2voTF0G+CKQYZxpblsUmP76fWXqh/4xEeOPIE5oYRx9SZw/1v2IJIMquhgzWVluRRsAG/8sGbLnRmT7K46k9oImsKQoUDumfs8TlLtM4tRVzlqSWr0bKOp4QSZjwUWnewL4YTH+4p+i6y/6UVjct7N4DVLyp7IrWviV2M8LuyvR2MkBq/oG9SnyJwmz5OqmMFPBs/wCDRezOlggNEfQdMmDFnjG9F3Z7B597PE0dYvg6M/HgA8F/yA8AGZKVPj4mP4Yunsunyo7JYredm3walFy7Fum5lIUn7DX8HTSNSwssFExxxpgPpQCwJipY4Br98HTlshvTAj0T7rdROhc9ZKI2vf0puX9MZa+wtV7GEae3BPlOT/Y7Lxu7jDP+ovzpGb2ap0tB5W7gbaYUGj6bIQSkZDcNl3KWLdeIiPf1I+DeZXGyKF3SwerQd4UgK/ZdSt5CW0hS4b2dgAWD+6xSz6Mdnr/c+IE94OPwC5pHYp9J1y0bGh3Unm2tpVOJob+qncboxCyvw5odBa7ha7EE0ZJ2ToKbshyxjAm4U3MrMc3fSFmU+DXk4ewGUhprlim3ix/6Y7kUcUWKnsZw0CeepR5wViazWSkC6/UKBua8GBvE4ks6Ce812CkbDJQWGQ7lGY25K8pFPilYlYy6pcVBKq+cttIa55dlVUJ3SvGh98zbFjc3WaLSgmICjY1VNDNqPXTU+r5gVTrr8M9o7gbWYCPp2Yg3AEAF4OQWTDpZnlJkaDJ4nI/Uv2LTFI6D5m4c6XR6M4uuAKHHYHr7XXEDFaZ23cXRJTNqOrudIaW8NfdnYpO2f7x7UBbYFx2uLj8fDBvvPWRSFE8LtnL0Ygw6A15c+V/R4lFgnO8MYLSeDrD6dqaFxFz1TKnv46imraTn479BJFRXtveKFk3uSr5/5EeASBsgmrtu5ceW2HBWHddAu2myOeJ9EX3JXMot02gE7bnH2rEsxUglhuOfgCwPzu3i2+s54cMZXmu45LJETOYo9zTQPnKlWd95QNZioIr9VimceEoqpxiSDmhhmJPF7py3e9MRnQ6E6VUpEpfCzcjGCtkwKR+6rfL/7KAbxklTeWKBnYLIzteuK3L292Uj5XPUUmi89HxMFcm5YNh/gOs3nmUtKGev4Zt9icgW2scoLutVXQsQKHuQSyZFaKEz5H9dpyZeAX0D7RmN2+X0sBe31dt6MVhP4mCcGsEGM/A/pIe+MF9Q18U2n5f9wpaXvTfXw/pAI6HWNPZ4oIhaWLIkJj3E0vT4HAW/UQXxeBWZAHT+kSKsNw8yLmGSCHTzuAl+GJU27pWdNussv+AgOf277EREmp0LI/ouErzDo9ETs4nQLc38mWz72ekyLPSCook+gGNKgMJ3YroweKrewei3ElLoWGcdkGEo2Q+kQOIkcYQhnwjm14sesrqRuPFJIil8uO9N9RwXabtJlYvGfT61/RI8aD3rMxLv4zI4TAbKyiGr+M8PWpiVQ8tGrWJfe4v6bo0ws54t1AlZ+89sY6ZaNzP0LkXPjzjtZuc65cFiDoY3vClxklktwHrrjt6pO9BmOl/M244EQFDddn5Ry4usbXTIa59p0i60+F/vXHiTQq1PM7AxYzi296O7YmkyAQMGACFI6G0z1zE8ixV/LUSFAjwerucD9hYWILuzqOR/XNl9pXA4ycYryc5Lf8vT3xSwDi7xpLUlwKzOe9ACvIVvXiCHvsr+D0xpnIBruWqYzpfVmQxRJDgAZLaVHLF03lbrbZaJXiHJ3JhQKUdsH5tjOOzX5JiXSTn47POt+6sh4sNJbYf/NCuPxHtaPoy8xQCE3K4al3WOYoXljIdpSFzvJ7p6Cvq3UXOZ9zOVCAW/TVFPn9JVH8Bg4mTvzWWqyKeJU8NzMEleNS2fw8VQS6CW0ICSESCce8lSrvGZXOKdF1+ioPMb0yPl2/U5itoS5VbkT+sNyQLywc5NBpMPaVmBo/YP4BgGvEtO9/BxyNwZ8SfOCEmBipL7ZHSwdZNoMbKruG44y89U/+OkBrb8b720SlNiGltmmuA7zd2ay9lAF67kXCE660lg8B7hzlgBzr7sBlil4jprYI71B3cIpH1j5loo9WznKcNSQfj5tmDz+UGBRFc5S+Si8RjboUE7hHftTE9rbVPdr/AIRF8Y3wvJ7qqPoOBAxh9lOAOxJcHbE87vEL4cBd+Twc9sW7Ftw7bmq+43r+lbeQXWMN4Acs1+guLXrtchAdRRsRyhQs/NACOvovwrYSr+9/9ru5WDXjksqI6vT8JzQi4KqZfb9pso9Fj7LywCFYrMFhNvr7S9Dq09/JvgwnvHTJEaVTBtIKPn3ksnK7HbyuCo91XMQM7YOIZV3vDOsPUupMASX7YU73gwxDU1JzXLJ13WcP8FJz9H7vxcsWipmsGUE3y1kBcLF7Z9foIKb3q+uF3lprnrTPvYGpavTPD/3smm32mH4nBrrTfFbbeGQTNZgqmHP3sXKiUaGMHA6k52xMmZd4zdibbKULO9/5OPrT9IHXdfZPETmBB011UY25/4UjmwPucD5gqNlXpsNJxhSPkDTAJ9SZbkks8p21XTT7ML3eLYBG10S9l5TWzbyrwgYnSHSTBXMTYyIMDs49RhfoDcPYwAtaCLQkyPX0JPvCQrW+gSWZ9J6qcq4TLyVmQDelTIEArW9fG/wKkkGs2BRQrfXrguegl8zxqLsUWVQWAjpR+dajwj8rkbKFksrgq3VpkmdlDrRr2eUE1Cdy595u+UDYJYCFbjid/8inL1rp8L2PMlHRpLiZd+QmGi/XfGYfFNlLi9xX6Zm0zVd14TWTkvS1SfZ8Mdm6GqEVr1EOlPlaBDLIQUToVh5cd/jc634d9uGCxkumv6YVHIOkES/nFreiBrH8+BYnhMivLYzyCCjeqfRCgaqr6V/B95RuPwtYq+FtgHyUae3uUNHJiP3/QcD1SJfEX8GwlM+KFSgEmas/sb3jbh2URn2uZxGkkXEbdP3V6f34FDYo8xM7E/iKAO7Y+amSGXnQIt1Y1hvFoRc/u1mkDtB3yWU1TMmBvYtgq7+uDpE2X4pCHZYe+Da/GP+Qm4zvtLt0XWqnJlAJKrWYLi5v+JLEN3RQc3CavD7j41kIJ/BaEGYnfB3h+7kwqT3apXr2xE3ocVmiRH7X4VNgzXTgEgDA8EldoxvtMGrCzBxX8cciSIVatyPLS2tnEg9BwyEQM4Lp/h0tbdnEdvHnmpHbZBBmAjvo1/XdS31oPcTQjZppdre8U+sUyAN1HpJgPAhIjemE8n9qlToGyPZhzdKiYNFvI1gS+w8NLWZPbuTk4J/DjoW0oYWk2oI7MVanVgJv5CPNs9cTqLcpKPXvQLwFOMDZU/wfUB7FevFnGv5e1t8AkpzdQvuKzLLbvBHpbN6reCbTPB3GsFFJ2n3RJUupLQ50YvxhYL/DEm1/j8QGGZc7VkR5FozHQMfMd5gjj3PVxBFAEsllQjyOHd3s3fdLkvCXpn8kSXgiXbtwZa9dAfc//gGVcmHBy4yDLiCgT46zKpw54pk1yJ1ez1hjTroKdb6z3CQQHv6hXsQW301to8yMg6QcWvG/H+ydW9DjvQ24IikxcYJFrD1nRp+fpD8JLc7ewcNQ4Lv6gbH5MGG1234JOk8/QeNnZX5Wo+y1p9PsdK5onmCJKXs3iepDi0J+lpNmunzDcVAQmX7C2zwR+pu3o+jBbAtqqzgFId2TVwrpd+73cnBEnXeOlsa54vV7/jFY8KzrKTrJBXdGgjqv0NZSuOUD5dN1kf12VnEeDxpNi1YXR2MULjP9S4gNiFS9xiaN1wtPQLKJ0z02hXGHiRCizdjfCDLAsdMcfLCy7I4iwSJmX//obI9F1/qS/3QQdZs6/L4ruaRyOBS50Madcv3ADPdFGhZfVPYe/w9+LyT8LyJtbObe89gDok05xXp/sSOiEd8a1ocUHWsVLmLJBzDSgEvt/rTjDRqlEwgkZEP2c3p8oHavfk7fg8vtiwzdH5f4muOBIRARwPcfwx6kn6o6jkLabE4gMoygDGu6WfE8fJbw4h2ddEJFlm4VdYPABXA1/X4E+S+xVi0m0SdjHxGzdHBolXgJCZqdU4aSm5RdxFsQQxj/qL8bSL96/CTioFirscDLBov3mD5kYl/zoYMYXGc7WCXDmdinzNdWNFNSQzrHtr5PxBeFSakJ2888EYXOWt2Ea8z7ooE6KP8OrHa4At2CBtv7u1JU+0u2g9oFGmJj0teMAgHOjMi/VkO756/XA9dol2ye//VE5UlSkEqifetPchU7zwRfl7EcP5RhtxR4wCzxgqfl/QQOOSiOLRYvFHwT2dMYgnOcgavwIAqhIdwg0yIUohrZLov9HU+HPi9bbm01+6dvC/aiUdf5RNQ8QNZ0Vz8bkKyjp/Leym9qWjBgSH/6vlAgor9pgUoCNjQbZmLKFFfXNiZrwJf+SWWJwov1vQQjpMXUohppiJ03JZ6fs8MhMuljTX23nOVqGt0v/BkJoVEYf/EWpuYy5UmLF5UJmnZENC8op7g97mYpOohRb8co7Gmh8ML0VcT1ngOQhqph6xmqhiWZu2C4yUjCvPrKkOzWYZdIib78o9HOUrHnF/RcdAdhU0Y4zjMTTOsbF3cbSzs9SAO97DtGL6SVI0LB3FsDd1yVMkUNDct7cjsXI5or3QLx30zY7Dth0EhSk075V1gSFajFbXmBtMPLjkyYEnK0FHIKec245OR0Mz+oLLgWyLP1S3YrSq5rmdeq4XEv9wJfkCFMhyQtCJhSq+daem0df29ze16SB4fNDJOUMs1RBwZE2uRqppgx1TL2CHT77Qqp3V1YHzDytMDEJlvM8daZ1NS6DPyaMv/vNg7xpgUuzhqQV/JFl8nTex60PETqj9wdu6No+JmIV7GAz8Vo/bR+vp2Hj+sGtzYJWWWqpRvZ32bd9KAD/DfY4Y3xxHUwtwy+12YSsAaFOCX1LPLB5N+Vw96ZQNmnb9z0/lSZBtDmzO5Imh2fyC51Iz+T7lJ3DU30d8d3Bdkd4YOGb3VT5Klpk22m/4hJeRkWW9eS44eYGH74mCXzAWDlxXQUHG2qjqYKteQDQE/ueRpMdDgtajHq60nsU/ZewsSifoByD20R0WtI4f5Addp20lq68C/2ggmKN39yCaie3lZsXiIz6GNa/Wrg/UwqsVQgLqRl6cYzdR8cgHajGpisgKkeVpt3EoS2Q+upvvsN8oltSSeQyD3Ec9d63HVMF1HsWUb8t7u9N4kaJ1uqQ/38VGF7aRa3o9o9qB2ZrOZLp3xRnGbgBWBwHYjJgjZ26oju1WZVUW+Ay+RO3qmrCt/B6yPApY2io/1r81+KJxrGrJh5DZnv/IYfj7qOgSR17lSUDVk8JSrcqcUTIUse2BA9zvc5AVARL9tBQxOBhL9hmYfeaN1lWKe5h0Pa8b2EgRpBlS4atwIzEsCXNmJ39tVdjEkUb7UurmfNwmMg24tBe1TdmKzTRaZ8EhHSuJB6tFqbLv+5Zs934TW3wNYFve5B91jRBtLiomcBGD0b+oCqVJcohTk8P6X+1HzPPEMyJp2U1S2GTfVoph8CfXkVpkMnYKdt+/ekkkoctCzoyzF/AkLkj0DxdUb+HDHyXn7BZ/7xjLPI3joAXygEgMLDAyOgf6Iqv38LGmHIzupI5/3CcV8/Ci6lG3PNJc/Jhmvbjq6PUaICPPwjyp0palWob2N6z4LUUWxFEmKbtt5UTnYXEPJGZMG3BZTDOzI+x9zFGfMlZDoPdgEKOiqnJejqB7Af8VisOQx0ojUMIE3W1JjzYKm3K+ElQsqandsMqv5WoFBiy0ya6tsxI+REldh58Tdr4TPaBH0jqURvyTlIb2MiIkimcxRwRGchRxHv7umAodeziQ1KaUFvPcq2wX5jzWqozstTOLDYGCazBivu0YZiShKvtt8wJi3ytClrEWiQMIOnsSwa5dV/SbAQA5ht+oRoPom+zswD7bghWqhS6thSkO2lOb3fG7NlQDXcWbln2dCSTuHV26L1SY4cYitHhQz+CQfgmnBjJZl7XHjPcPUA+0Qn3jh34Hd78i3iZtuVImsyxg469as58BwlEuVB8OP079NAxd4gIXiaR6qXCBFJI7Vg6nvdSqkvc1nYm3Ckj1o1TLKaHW5oQlhnQvZ4g1VXoOCKWl6+URa+CvFrIuk7mhJqG9D8MvdoOk1o8D3pX7T0fK1UgllFWCBgAspwVqKJ7BfJyYEQQmVLl6t93smnB9GWEcnhJkAsfcSq5ERFK7TXcdHeHWvRSVkkXpmTC1ekQbocZk1Najg8dT4MgEEldKY6VlFcYlYfCIFU8Apvo2xKoa3GEveNPPaVEbEiP4wcsjj+SCyBomVKroahbUhsYG/qhMskcCdy6AkJDyOCNISWIzK0Vnl4z9h/tHMt7zGyKbDGJgn7PJvleBSRZyFlbW1rW5w3FI9G6ppBol3PIXmDLe/KCtUmFp+SBm/3eUjLHLo0LaDy60f4do8dK/ZOdcY6m+X6bT9X7Z8+cLfWVifLOXxnQGuN8c4Dpq+OZ2Kvzj+0nmFUZV41qVgvrYlWfN7VZlP6w3YzNiPmNIVdAeBLsViRJ7mfuqmKqY9JeOGKyeXAiXscYZP3KVpBpejFG24vJY49X8h0qRK7mBAo+i/J8Lyj3B1dsacRveYucZtZgAuhpMtIbj9cKUG5eMo4/EvFeDVeQUMU3BcMrktWP3WN4BTPlv9+gL3Jh32ay5jmJJ3fpEoyhcRLv5uCuuM80vQjOhKFomBvps/laOGRd7MbWp7t1s1qbXauX8FXbAM+jmxourP4dprbGxm4LgKggBNswh6hgpmDCkUBPPCZj5ZJ1JxdXs0vmFQPtPFYmyH0VqBTowGohcnPDC8+Nmzxh3AWuBEIqnKaqj3LLHypWPEJ3nzn1PnsiuV85P6xDBoJZRA+RK7DeMmNk+7lKkkB5wwgMgFGtV8qfsRK5ooJL1YehbMQvSo6ddzTDAqtkbgbtVCk7yV4DK3nH/eDi2iJCAY56jAGNOoUzgt2vr6nYEf4 /A1r6g+JSbvvcjttHYbnXyedWRmLUhKLeCaxvO5vZ6/CDi8AkRqUQE58T8cCaWJPUCuszEBTHZCiSHbws0vZ2YQksija4x1kuTaTWnyOz014SOWHgNVCBeE5NX9dyf9sObUCAEFYXyati9Yhu/U4DCvpD6OWcxl0jp0yQeWFrJohco7M4ersTonizJNSyw0/TQhm7iB1ZiI34eg8QKlz/vFpWDWeZNch8S5FaBvEe6gMgOgJhCv7e9+eR8F1fbzF4QqCHQ+L/7kmHSTihXD03JsllqUkcc9XO765t05qYMt9k19alBf+qzOGwtoaj4jviJmUTmt5CjCNFzAfPIFwxiv0jYgaHxc/OyjOtNzK0I8ISTRusyzMlzxE7ZxVW5zAwuUkvkoj/laLTsa+Alo+hz9Ifh3AeEfazGsvQVRNNSW/Yl21pdb8kKunK/PPGK6bJb0vVTdQhArupI67ptRDwL26byZdp0K2e4iAriTmKJhW3OXc0d9qaGgkrSwjQJXgT7dBMDYuppP2u3IZHQ5pII0kD6IQeB0gKmghrd5H0HRAHX4i3OO46IXk3ftziza2sX/dOHcuhpFnTPVSqZoGuDUf7GLy9In+dNXPxRf/ww/c3zOty4ESNR340JYIFtXzhA1hbaYxBzYFcKY1PrD+hx/kkYsHOD1y7/4W7nuBzJTe1bjSnBmC4ITIhAGnos+8p1or8Da+OmgU1fPTFqidJuo20LHGPoFi/O13/pOA2IZc8WQe1s5WLzRpgp6orPSygeZsqD1BKLDmGJOEMyU3phbA1jyBh+/cH19N6lVcEc+UiYm6sXo602O64uXSdoO83+Ukw0GHtcM+0J4sKphTdCvT6NKV+NBPskc/pPEyKYQsuaOC2YOorotNN0YEY688lWQG2JJ/AR9bv6L+BX+hCiEIVhOPZjZCM6B6VHS440b4dKDUGTZR83AN9Ida+b0qJz8ET2w1dfxt9lwDzLBUiH06s+sy/JlytKxx1z3xs4zrcqVBUsiFrKmyiwprdGsgNlRGBEC8tJriqqHLtmXJlii6t6s9o794UKLJpv7HZe1rmqVYP7ocR1zXjFyVV3R2wMFnbzxaAWvbrIwKGTRbFADsMUh41gyvbliY7Pj8VwT+1xke9DfOjORYFpS7oJLa4BfFL1CdwTxq2nuSEylooSQ6h7EA/KEaLsO15/dSRReQBgJouSRVWkdWPV/Q7bprMPkiyhE97fiMimsy+d0c8z63cy+2jEp2al+at9uuyqFcuBHIkdX2EPw0bc8s1vGnT/Jy21Sl/FYlnggiMdpUNp7NAfCju8ocbqWLYTFtmmTZgq6iFePLDVqeVxG8RB78VtQ1/a2lagkJveZRK7z8UryPQAA8Z919ZkIYQP5iZHiPpSjpJ5IJSMncykPKRKKK+r/SRc+y2wOYasWiL8tLcXhI+0EqaX9X7M7/Bb8z+BI
|
||
yN4JTp78nMtSFFOfrVhjdHgyAEW3wLBRFJ4w+1VyRrUitwsWI/VFjm0t9PymFe7d
|
||
|
||
--- 6+UcRCMYENnuhQquAqxB0UDlHml9MVE+Ssajx4tjAjQ
|
||
k�ïèqŠòh$«?0sVb]÷†‚³rqéË—¸Í�îì{Wñ
|
||
βÓsƈóè�»P™Ei§�w
|
||
¥·ØßG†¿=÷–
|
||
åõvõÂ'œ�ˆK<%oSÀöÏd>Œô!·bÉæñBþ+‹Îef>ºŽq¯““Ý‚ô ¥é’Œ¨ë5è”VÙ·èZŒ!ð%Vèç(M�Ü�¢ÙkŽ[(ÆÔÒ�ìŠgY7ßy’br’±Þª–ïǵöIu�]Þ!�š «cØ• é°øÀ¨Bó0A{¾JÛzk“4 ÃJ-ÒZ—c±b¢ôŠT—N´FþÎÓ‘$nàO<Ài·�þ²µÈ#w4ìæ~.tX
|
||
,¡8oÌ
|
||
U¦PÀ�)Ñ·Å-?þ³Ùi8÷ÁÏ%¬žx¤ Aø²Zš%Ã…ZÚ$}£XØKë¢Âÿ”¥M|–?p€ó)pçQ1 p4üU¡Ð³£Ë®à
|
||
µ „ b]YXit:ÜtZ¨õ¥8@µÇo=npѼeç—bŠ ì8u ݈[ 7�hïM²'Öã'"�1¬÷ÈÃ%ôñ¨ä�£ÍÃ7"4 •Ýò±}ÍzeÙá~&ÂüyQ8ã²íÙY2Yû ÛÖDÎU.Š·<)™K`#J|À¯†ÓÑ‘$ã¾ î—›^C/�Oðâ]£®9z
|
||
gÙo¶§#HçÕœši�fÒ£Ÿ¤”Ã×yOèÛ®g
|
||
Œ „üÞ‡#@Žnôø¾s5²R[ÔD%ÕÇÉÆT»LÕcalû$ìÆíp«×JÀ–0€ïJâzæ1^²žŠð�Ÿ™§�Ø�0Gœ¥R\‡êg9}xëÛZqæ† |