The SHA-3 Family of Cryptographic Hash Functions and Extendable-Output Functions Jos\303\251 Luis G\303\263mez Pardo Departamento de \303\201lxebra, Universidade de Santiago 15782 Santiago de Compostela, Spain e-mail: gomez.pardo@usc.es Carlos G\303\263mez-Rodr\303\255guez Departamento de Computaci\303\263n, Universidade da Coru\303\261a 15071 A Coru\303\261a, Spain e-mail: cgomezr@udc.es

This worksheet contains a Maple implementation of the Secure Hash Algorithm-3 (SHA-3) family of functions wich have been standardized by the US National Institute of Standards and Technology (NIST) in August 2015, as specified in [FIPS PUB 202] (SHA-3 Standard). The SHA-3 family consists of four cryptographic hash functions, called SHA3-224, SHA3-256, SHA3-384, and SHA3-512, and two extendable-output functions (XOFs), called SHAKE128 and SHAKE256. The XOFs are different from hash functions but, as stated in SHA-3 Standard, "it is possible to use them in similar ways, with the flexibility to be adapted directly to the requirements of individual applications, subject to additional security considerations". The SHA-3 functions are based on the Keccak sponge function, designed by G. Bertoni, J. Daemen, M. Peeters, G. Van Assche. Keccak was selected for this purpose because it was declared, on October 2, 2012, the winner of the NIST Hash Function Competition held by NIST. The worksheet is an updated version of a previous one which had been published in 2013 with the title "The SHA-3 family of hash functions and their use for message authentication". The new version includes the XOFs following the NIST specification and, at the programming level, the most important change is in the padding procedure. In the original proposal, the SHA-3 functions were instances of Keccak, which uses the pad10*1 algorithm specified in Kreference,but in SHA-3 Standard the application of Keccak is preceded by appending a two-bit suffix "01" to the message in the case of the SHA-3 hash functions and appending a four-bit "1111" suffix in the case of the SHA-3 XOFs. The stated purpose of this modification is to distinguish the SHA-3 hash functions from the XOFs and to facilitate the development of new variants of the SHA-3 functions. With respect to the previous version of this worksheet, we just made the minimum number of changes to comply with the standard and, in particular, we kept the terminology used in the previous version. We also implement the Message Authentication Code HMAC-SHA-3, based on the SHA-3 hash functions. In addition to the NIST specification in SHA-3 Standard, the principal reference for Keccak may be found in the The Keccak sponge function family web page and, in particular, in the documents "The Keccak reference" (Kreference),"Keccak implementation overview" (Kimplementation) and, in more detail, in "Keccak sponge function family main document" (Kmain). The implementation in this worksheet is similar to other implementations of cryptographic schemes included in [G\303\263mez Pardo] and its purpose is to facilitate learning through experimentation and to help to understand how the algorithm works. With this in mind, one important design goal was to build up an implementation that could handle real messages in a variety of formats and not just short text strings. The implementation uses, whenever possible, lookup tables for efficiency and is able to compute hashes or authentication tags for both text (or hex) strings and binary files of moderate size. A hash function maps messages (which may be regarded as bit strings of arbitrary length) to short fixed-length strings, the message digests or hash values (or, simply, hashes) which can be seen as a sort of fingerprints of the messages. The idea is then that any change, either accidental or intentional to the message will, with high probability, also change the hash value, allowing the detection of the fact that these changes have taken place. For the hash function to be cryptographically useful it is then a basic requirement that the function be collision resistant, in the sense that it should be infeasible for an adversary to generate a collision, i.e., two different messages with the same hash (since hashes have a short fixed length, there will be many messages which have the same hash value, so the hash function is far from being injective but it should look like that to an adversary). At first sight, it might seem sufficient that the adversary be unable to find a collision with a given message, but for most cryptographic purposes this is not enough and, on the other hand, finding collisions between two messages, none of which is fixed, is much easier as a consequence of the birthday attack (see Wikipedia Cryptographic Hash Function and [G\303\263mez Pardo, 5.6]). Thus a cryptographic hash function should be collision resistant (meaning that finding a collision is infeasible in practice), and also preimage resistant (i.e., one-way), the latter being always the case for all genuine collision resistant functions (i.e., for those that are not specifically designed to behave differently). Cryptographic hash functions have many important cryptographic applications, including password or pin verification (the passwords are not stored but their hashes are stored instead), digital signatures and message authentication through MACs (our implementation of HMAC-SHA-3 below is an application of the latter type). In the case of the four SHA-3 hash functions, SHA3-224, SHA3-256, SHA3-384, and SHA3-512, the suffix after the dash indicates the bit-length of the digest, so that, for example, SHA3-512 produces 512-bit hashes. An extendable-output function (abbreviately XOF) maps messages to bit strings but, in contrast with hash functions, its output can be extended to any desired length. Thus in the functions SHAKE128 and SHAKE256, the suffixes do not indicate output length but, as explained in SHA-3 Standard, they refer to the security strength that these functions can generally support. The Keccak algorithm is based on the sponge construction, which is more general than a hash function since, using a permutation of fixed-length bit strings, it allows the selection of an arbitrary output length; this construction is presented in the documents "Cryptographic Sponge Functions" (Csponge) and the already mentioned Kmain, where its security properties are discussed. In particular, the authors have shown that the Keccak sponge function has the property called indifferentiability from a random oracle (a random oracle is an ideal hash function which, on each new input query, will pick uniformly at random some response from its output domain and will always return the same response if asked the same query again). Indeed, the authors have obtained an upper bound for the expected success probability of a shortcut attack (an attack whose success probability against the sponge function is higher than against a random oracle) which, in turn, gives a lower bound for the expected complexity of differentiating the sponge construction (calling a random permutation) from a random oracle. This is a provable lower bound on the expected workload of any successful generic attack, namely, of an attack that does not exploit specific properties of the underlying permutation, cf. Kmain. In addition to these good security properties, the sponge construction also has other practical advantages over constructions that make use of a compression function (a hash function that acts on fixed-length messages) such as the Merkle-Damg\303\245rd construction used in the SHA-2 family of hash functions (see, for example, [G\303\263mez Pardo, 5.6.2] for a description of this construction). Among these advantages are its greater simplicity, the fact that it has variable-length output, and also the flexibility provided by the fact that its security level can be increased at the cost of speed by decreasing the bit rate and increasing the capacity (see below for the definition of these parameters). The sponge construction builds a function SPONGE[ f , pad, r] which maps arbitrary finite-length bit strings to infinite-length bit strings using a permutation f: (\342\204\2442)b\342\206\222 (\342\204\2442)b (where the positive integer b is called the width of f), an appropriate padding rule "pad" and a parameter r (a positive integer < b) called the bit rate. A finite-length output can be obtained by truncating it to its first n bits. The sponge construction has a state of b bits which at the start of the process are all initialized to 0. The input message is then padded and divided into r-bit blocks and the sponge construction proceeds in two phases called the absorbing phase and the squeezing phase. The state bits are separated into two parts: the outer part consisting of the first r bits and the inner part with the remaining c = b - r bits, where c is called the capacity. In the absorbing phase, the first message block is XORed (using the bitwise XOR) with the outer part of the initial 0-state and then the permutation f is applied to the resulting state. Then the next r-bit message block is XORed with the outer part of the state and f is applied again. This process continues interleaving the XOR operations with applications of the permutation f until all the input is consumed. When all the message blocks are processed, the sponge construction switches to the squeezing phase. This phase starts by taking the first r bits from the state and then applying the permutation f. If the squeezed r bits are less than the requested n bits, the process continues by applying f to the state and then extracting the first r bits of the resulting state. The process is continued interleaving the extraction of the first r bits of the state with the application of f until the total number of bits obtained is \342\211\245 n, and the final output is obtained by truncating the squeezed bits to the first n bits. The whole process is summarized in Csponge by means of the following image: TUZOV3RLVWI8b2I8Uj1NRExDZE5OWmVtOmBRPkQ6O1JkdXh2eT9HYlJRdEtDbHl3WTx0WFl0Q0NCYE5cXEBOZFxcUUhteGhZUGhIa2ZoeVU8eUNNUk1wdXV1TEpEVk9kckBsWE5kTEVkUkpkTD9xcXA8VGtFTE9kTE88VEpUT1xcVXlpUW5ycGxvWEtMcVRRVEtcXFBqOkBPQjxxWkxqREhuQ3VXPEBSWkRZWF1zd1V4alVUPERqQ21qXnR0cVl2RUxQc0RRbVlzUkhzVkVtbG1qPkFWajxcXDo+OnRUW1RMV0I6O1pFQW48SDo+WnFJakRuOj5aVnlaZD49Plpqd11iQEY8WjppaVpQajtaOnZYWjpeVVo6PkhKOj5SQ0I8bXZ0P1Y7UWJgcXZgXXdpWXJBd0NJPWVqQ2ZVcVZLSXRLSVI7RVJSeXVAb2JAd1ZJcWVfQVR4QjpbWGtteXZJeWpBeGpxZVhndXZHWW1naXdnSUFRcko/Q3NXZzpjZERlZ2ZfZ25vaHBvR2RLR3RzWXhhaUVXY0V1dHBjY0dnY0hrQ0hzeXZZeElReW9Zd3FvV1dRZ2ZfZ2Y/Zlo/cnNBZzpCOkFFVEtFUF9kTl93UkloPUl0S0lUU0VVU01TRE1jRm1GYWVWX0VlVVdlZU9nZG9GX2NGQ0VTQ0VYZltDa3NSS19Ib2NIZVl3ZXlUZj9VOz9EdFF5b1lXcWdXaGtVdj9Jdj15al1iSlFpb1V3QF1jUkNCX1k7O1Jad1dZcWlPb2RQb3JBeXJZO0lqPVZyQXhbUUhsS0heTUhzT2ZcXE9yVFF1VD1SOj1GbEtITFdkX1lDXFw7eHY7ZT5fYj5TRVVTRUNDQ0NvV2U7ZVZfZVZjVl9ldm5heG5FVEtFVE1VVE1tc0FZSjo+Wldmcj5hcnJXaXV3a1JGYFxcaGlEV2NFV2s9WGo9R2I7R3JXWXFxZ3hvaXhzXm1BQHBEbnZ3WXlxWWZBcWtPcXRQcXNJeXNpUXlmaXF1d3hmaXdnWWxNWGxBaWtVdl5iPl9CSXhuQzo8SnZ5a1F5b1l1V1JBcFtoeVtUajtBZT9Ra1F4X1lvZXZAaWtvdkZJbVZ4cz1fYz9Wclo/YFRPZVRfOkVSV2NFV29nT1tTbl1YbmF5c1l4WXlpeXV1SkF0akNZbGFWXFxLQjxCWnlZZl11ckdYQkFkW2N3SVNCPVNCaXF1d1d3XFxRdmxPV09RRzxNeEpTVDthdl5hdlp1dnI/d2JBd05tVFBtdE9pdG93SU9hdE5hZFdnZXdLWW5Bd3JBeXJdYkphZkNVZEJDU0JCOm9jRmlzR1l1eXFpdXV4aHdiQXdyPGdCRTtDdl9TUj9lRGtGW0NGO1NHR11Ybl1YSktSV3NYPWF5c3l2WVd3UGlnPVF1SkdzXnFjRVk7O0I+V1NDRVNTZWl0ZWhrR2hraXNVd0hDYVY8cVNBRUZgbXJDR2NDV0Rha1M+PUNjVVdlVWZIY0RGbVl4bWliP2diX2dmX0c8PUd4a0lYQXVSQVVUTVVUP2Q+Pzo7d2Q/Z2I/c0hxc0hdVVZdSWxLcD5gaj5EakM9a2NAVmRYb2VoVl4/bmhWeVpvZ1lxcUdoZVxcZ21ReGxRT2VUT1tBQGw6Pjo7VmpBV2NFV2tNWGxNR2djR3dvWXdRSXBnQkE9Q095dFF5ZmF3Zm1tSUZDQk9bU3NFWXNVeVpxR1dTR1I/ZVI/ZWNXVGFPVnVZZlphRlI+WjpIYj9Iclo/YXVWYXlQaW9RX3I+YXJvc1ZIYWdZdGlxdXdYZVBvZEBJeXZeWk4/YENHY0M/dVteXj5AbD5gaj5gbVZgZXhvaXhma0BXY0dnY2d3bVhAbEpAakpOakVGTEprTXheSXN1dXhoaW9ZdXF4ZXdUaXBXdG5BeGpBeFNTUFA/WHhzPUtiQFZYdXF4ZXVrYFA7cU9icHF0ZXhkdXJfTExZdE1pcG9ocGtXaE49SjpMVj91UkF1d1hpcXVNdW5IV2F5c1l4d3JkUXNEUVNgU2BUa0JAa2ptUUxEWlJ4Y1lwYWNRd2RxcHledFBxdEhZc0VZZ2dnZ09PZExPcmBgZFBvZGBhdl5BbVNIbWtvYVVKOjxKV2BWYG1WaFRVcGBTVVVVdXF5d1dhSFZgVUdlU0dxZGd0ZEhxbXd2TE5sRFhocXFuYFh0Y2lcXE9mXFxReF9Zb2tFWGtFT2NET2BrRmA7cVpASXRQcXRQb2RQb2VtcGZHTmJiSHFzSHFkUG9kSXI9eFpGblpdP3dKSW5PaXRPUWxMUGxOTls/WGZbRjo+dEtHZVNHbUdoa0dXZE1XdGNZdGFYd2RRd2RRV29ocG9obE9obHd0aXdVWW9Jd01pcj9pcm15dkl5Pl9CXWF1d0dnWW9Jd01ZbkF3S3F4QVdYYGFza0F4akFSQmNSPl1SQkdjQ0dVVE1VXFxbYkh3RXlreXJJeF1xY2lPeGpBeGJBWXQ/PDtCckN3VGloZXV0aXdVaUl3U2VDR2NjRXlkaVNYbHNTdWtzTz1AO0pqUVJSQVR0Pzo7SndxSk9cXEs6QjpbPT46O1BKOztydzo7QnE6O0JWeVZKXVRqc2dYZWlUZ0hlbVRbRVZbQ3Q7PTo7dEVfZ2ZfR1xcV0ZaW0hCTUdST2hsT2hhd1NZb0huW0hKY0U+Pjpbc05zRFFzeXBZdWldUmE/UmI9ZE49UDo+WjpYXz5wakBwYXVveGZgb2Zga2JBXkpHcjpKOjx0YXV4aGl1ZVVXZVVrQkBrWkxRQlxcVGpCOjx3VVBuXFxQbj5gaj5cXGpKaXF1dXhCcHM8ZExGSjpMeWBcXFBuXFxsSHVuXVxcalh4UXltVVhtVUhdV1I8b1pLOjx0YWR3dXBVVFVVVUVLeTxsPmRMRko6TFlBZW5MRXA9PVNSTHJJXFxOO2VKPUo6cHU/aGo/SFBSXFxrcHlqa0hwa2ByWDxTPFBLQEo6ZHFlYXBNaW5vaHBvTFBsTGxiQFBCTE9SPFo6QnRlUl9PVE1TRE1TSUddRnBBUkxbVGo7Wjo+blFGbltIbld2W1tGZlxcV2ZdV19lVl9DRnM9QG48SDo+YmlQcVdpdTxXbktBW3ZQXkNOX1JaOj5gbWl3VXlwXmBuXnBnWVBeakFiTF5kako6PmZgcXl3WXlXd1tbYmF1c1hnVE9lVGs9SUlrQmQ7XTpCalNyXnVSRUNiQUtkWk86PGpYZHZheXZ5SFltcWpDVUpcXHBLXkRSP1o6ZmFcXE9oQkZbbWF4Y1lkPG9bXkZiP1ZaOj46O2ZBZWloUVZbR3RiXWJGY1dhWHhtYFo6Plo6bm9KZ2VXZ2NhWHRBYWtTVnR4Zm52YHFWUGNfcGtUZmBEUGJbYHBJX3lySXhddnZtSGI/Vjo+amhJc0JBc15gbl5gaFZQaFtRcj92ZFF3dGF5c1lYY0VXY01mbERWWkFHTDtKOjx2eFo6QjppWUI7SURfVE1VVE07REo7dGtNU0htU0hLUmJhdkNZZGxPaGxnd01jZl9nZndjSXdDSVdrOztCVkFiOk9DQE1VVE1JbEtIbFNJdVNpTWF4RXdEaWtYdj1paGV1dGtDQE9COjxKOmxXPF1zS11OQXVSQV1VVEE6PGp5RExNRXJmbFV2QG1zVUo/ZEo/SG1tdFZsbU5GSjo8cUhEUE9WZl1zUm5eR15nZ2dnP15aWlFjaVs6XmhpeWFPT2JCP2NCb2dob19hdmZWSXheaHVoUHdkUXdaYWBYW1o/cENXY0VXYkJGeXJBeUJWW0VWXFxPSGZjUXRfWG5AZ2tcXEZmcVZhUllwYXdzS1heQT9hc1Z5SXdteGZbVW5gZlh1YWBcXE9mXFxFUGtEQGZZXjs+YFJBZl1OdU93ZFFXXFxvTm5Xb2JAb3JBeFtZbmxnVmVAP3VyP2BAblpAbl5gbl5XcWFfd2Zhd1pfWTs8SjpcXFNKRFFcXGhVSXV2bVFyTz1TOj46O0hBXVY/U2huRXdMTURDX3RjTWZcXE9mXFxnYj9nQltDWTpCOmlHQl9nWl1Yb2VYR2VTR1VJR11Vcj9YW3VyVWlVPEI6W1g/PXh3RWR0b0VCTWI9PVM6O1paeGQ+dmRqZm1IXl5jRl9jZmNZcGFXQHFyWjo+dkheWlE/YFRQbVRYdkF5a2l3aWJ3Z2l3W0FATDtaSllfPFhfUl54eXhaTEB2Sk48Plp0UWZKX2RqPnU7YF5fZl5fSG9Nd25MZl1BWjpeZTpAeURuYldnZVdhdVZhXVtedlpBVklGXjw6W3g/Q3hPW0N0eXc7X0ZyWjpOeWI/cE4/YGRRd2RBaEJGWzpKOnBRPEl2cFlST2hsT0h0S0l0Y0l3Y2lyP2lyT2hsT2h5ZWFSRE1TZG1zVkhRd0FZW0RtRm1UTE1UTGVUT2VQcXRQWWhRdW14SkhOPU15UUo6PHZzXUtAVHZnWXVxeGtYZFFkRE9jRE9kTE90SXlteU5laFFObExQTE4+cExoXFxVUnlrdTxNRFlzRVlPZVRPVTxNUlxcT1Y9cUpFVVNFbU95bHFNUFpQS2BgcXZgdUF5cmE8UXI8bUBVbkNRc0RRb2RQb3BZUUpQa0RQU3lxVVJRdExRbExQbEw9VEo9WG5Bd0tFU0NFc3dUWXBBcXNIcTtlTT08OktJXFxXdGN5SGltdW5peG9pc0dpc09LRExLVE5dVE51VFF1RFFzRGFlaFljWG9lWG9lcHdBSzpBVmpsUXY9eUpUTVVUVVBtVHBoVkVxTFVVVVV1VVl1dVltWXNpbllkVVtNeVlFcnZQWW9RcztJclt5ckl4TXloeXBZdURpbGVka0doa3VpdU9BcktJd25hcj53aXZJeEFxcXdXeXhReWV5b2JAb2JmXVdmXTxWeDo+Wjo+Wj14YkdnY0dRbF9WY1h2YXhfZ2hvZ2h5dmF1VXdISV1TRl1jYj9IWXVpeGVpd1V5cElzTXdGQWVjVGNYYGFzU3NEUXNkeGl4TXlzbUFWWHNJeF1XY0VXY19nZl95W1lyQVdmQXVjTFNVeD9GPj9zXk14XkdTTW9nV1VpcFF2P1ljbFF4bElDTWtGdm15dkllUkFTOj46PXh3WXlxVVhtVXhRd0dZbXlzeXZZR0NDQ0NIb2NIX0JQd0dCQ0ZXY0VXZ0l1bXhecXZgcUdWPWlKaXRPaVhBcWNXY3lleWZ5Y0RGeXZJeWVXX2VWX0tTZHJBeXJlUXdkcXhpbXJmTVBzTXheYW5eYE5sRG1mdVdpdXVWYXVGXVhWSjpAU0dpc0dxS0hsSz9pcj9JWGtFWGV4VGlwd3J1TllMVkNBc0JhdXdYWVFZcj1Zdk5Jb011WXZJeEF1UXQ9d0llSl1JdltJOmVSP0VTRE1TcFl2X2F3YFdmXVdYZXF0Z19zRmFzbXl2SVlEV2dCOj5qQkdiO0diQ0hrQ3hgaW91VkBgW09aS0lldFZeS0BjQXFrV1Zwb2hwV0lwXXdiQ0djQ1ZvaXZmc1BqQ2FzRmFrQkBrUnlwaXdleXFjXkl2RlZbRVZrP1drUEZ5dVl5cWBwbkBcXFdoOjtKSlRuYHBuYEJaQXZaQUh5bXl2TWZtX1hJX1JcXGNld1NRZVVXZUluPXVqUmVZZ1RzT1xcc2dYVXFgaj9oanFcXFdSQXJkWUtzXFxzT2l0b1BwbFB4Q1lsYVxcUkFEOjxrS0RMS0RUV2VVd3hWSXFNXFxYampUbltIblthd2ZhWWVxdGdMTUdwckxZS1Ntb1pNTExMTEZpc0dZeWtleU9BUlZlcXRldFZhdVZlU0dlT29kUG94a2lEbXJEWFxcQG9iQFc8TVI8VFU9SDpcXHdQYG1WYHV5eExAdVJBVVdjRVdTUG1UUHZVeEpxbVhwbVhvZFBvXFxvaE1wU21vWk1LRExLcnRZW1B4ZGhUZVBKPExKRFhrRVhVVVVVdUF5TERSO09dVE5dUkFydT46PGp1RW1VWG1NSHNeZVdnZXdaQXZabWxYPXlrWXZBXXdIWWp3XXhwaXdVSWpwVG5xQG5QeU1XYXldWFB1RG89YXNGYUtbXFxsV2htV3l4YkBvWWRMRmVXZ2VvRmBrRlRvaVBNckh2PXlqbVB5TERNU0RtVGZgZkFbPT5aWlllO0ZaO1ZgYW9zRndjSXdedD5bWnlfRm5aXVl1cXhnVXZgaF9mY2BsY0ZfY0ZmY19uU3dnaXd3eGBgdT5pakFmWVl5ZmdnZ2dnZVdnXW91QG9jSG9jUj9lUmh0TUhpdVloZ050WklxUFZrc25nQ0lbOj52UHZteGZpVFlwYXdjZl9nZnFzV1hhQ3BzPD55TnduTG92cXl1eXdmTEF5YXlzWWBdeFZ3XVhsUHBsUE5cXENgYmFYdFN4bV1RYlxcRmw+aXI/WV1VVl1TT3dWQHZ1VmFMSXduUXdkUXdYV29tSkZsSmdZcW9VT2RMT0JoUzw8SlBNc2ZtdXZIcWlkbkZETlRRdVRBTUZsSj9QUltEbEJleXJIa0x1b1JpVDthT1dNcU5lVVdlVT9lUl9sUHBsWFFxb1dtUXhsUVBtVFB1WXdpaHBxWmdnZ2d3XklvbUZeW0ZecW13dkhhdXNYaHVoXUdxdkRpbGVWd1Bpb21ZeG1ZeG5heEZIa0NIZk1fRDtCOjt2WFVial9kW0NDRD1kPmNGPltSXndVP3lpQFFEWElpdXVjPk1GZ3l1eXdFQUlpWnlVTUNWaHV1eGd5eXV5cXlZVW1oZkV5akl2PUloXXVySktSP2diP1dGQW1jZmdnZ2dYb2VYPz1DP21SQE1ZdE1ZYFtGXltjWXNJWHFyQHFyQkFzQm1VWG11O0lyW2dpQVd2QXljWVFpb1VHc0NJUz1USj1EW1t2YXl2QVFXQG90UHF0Uj9lUmNSP2VSdnF1UFNzPl1SPl1SP2VSQ1trak1zRFFzdmFxPlxcSj9kSmFsU1ZAU25NS1xcRG1SQG1SRWVcXE5hP0ZgZE5fZE5iPE9iQnBjO19uaXZleGBcXE5eXFxKZm08QGM/Zlo/Xm9YR15WaV9AVmpLeXJgP2VjVnZcXFF2XFxIb2NId2NJd3M+eFN3eElWalB3aW1xdFdpdmV2dFM+d2VpbFBwbF9fZng/ZXRgZmtYdGxoXFxBeFtZcml3VWlHZ2NHY0VhVVJpVDtBRj5fdl9pdmNhWHRxckdXRWt3YmRRd2RZZXBjV1RJaW11Zk1XZE1fZ2ZfZ0BvaktVbkBFc0VZc11cXGpOZVRPdXJJeE15QXhbWXJwUUtgYG5eYHJFWXNlUXhfWXNSRXk8QExUXXFyRXBReGxRVFM7TFVVVVVVTVVUTXNFWXNrWVlJV3NsT2hsP2tIQGJqQHNCQWNcXFheSkZnd1F5b2FpVUdydnd5eGltOmljQj52YT9lY1Z2YHF2QD9mQGh2ZXZ0R3ltYWduY0hva0F5Q1lwU1lwYHNNaWZeX2ZqUWU/c1JJWWJTP0lrTXZJeWV5c2V3U1lAP0RUU0lwXVdETVNET2hsT3h5c3l2WVhcXGFyQ09iPE9iWXdJeW1ocV9jSG9jaEVXY0VFWkFEQlFGXFxLRlBxdFBhQ1xcQWNET2N0RVlzRURSO2JSTFRMPUw8RVBrRFA+dUpbXFxrVVhtVVBsTFBMS0lPQmBKcUBrQT1LP11SPj1Md3l5Oj1tV1lxcVVTQ0VTS2RdS3BqSXZdeFBmP1FrO3h4PVF0P0hfXFxRVlFkX1NTRE9jRE9lVVRwXWF3TXBxWlBURTxMPFV0YHBTeEhZZXF3RklNTUlMPHVteGR2XFxcXGpwZFdUYXJnaExGcGxQcEw8PW9mYG9GRE5OUXRMUXZjSXdzRFdMYW5EUFtIb2NIP3VNZ3dEV0NdYkpBdnZ3d0w8Sjo8VmpIV2lcXFVkWXdleVdZcXFnUF9PdmxoV3hsUXhYeXF5Y3RRZ253eFM7Q1t3ZGlPdmFnU1VfU1s/VEpLUmNHV2M9Q1tHWW1xdltRZERTcktRd0ZTRVltQ3VcXHNNWXRtXFxPZlxcT2dkT0dUTVdtSnVMVU5xdFBxVFBtVGBQblxcUG5gZltbXnJkaWpPQzo8amlAa0VYa0l5bXl0UWI8T0JFU0NFa1dkeWlkVXRgUGl0T0lodDtpdFhhbnZoUkJkT2tdWEpVeWlFTm9Rdj9ZTz5AdGpIVj1BWEZxcnBpWWpkTUFFdHddeGJJbG5gcG5hc1NYUEtMUnFxd1dZcG9ocGd1TVZ0S3VUVV9IcGtIeGxpdkVBS1tIcW11dkRUS0VUVkFITmpkc0dpc2Zxa0Q8OjtpPGtoQWlmZl9nRlN1XVFyXl9ZW1d0Y1lCU0d0SGlldUNVd0NDT0NGXnlFak1CW1tWdz92eVNZVk1zRFFzeXV5XTt1VFF1VEFyOkFmYXdkbllGYVNzT1tDP09SY1l5SnF5QkNmTXNGSD1WeV1mX2dmV0Fpa1VGXltGPlNpbGNSWXVVeWdZdkF2UXdHWU1IUltjXFxRdlxcTUdPT2dcXE9mPD9ETG1UUG1Ja012PkljTXNGamd1altYdGN5Ykl0XT9DW2tkQElyZmVXZ2VycG1VOztCOjxpc0dpc3docXd4QHFyQF9vakdkSj9kWm91WG9jSG9nOlhmUWZfU09wPllyPVlqX3hsXmFpRGliQmZlcnZcXGJmXm95bU1HYnhgaUd5YkJGZVVXZV1eamJgZGR3dFFAdGJfcFRQbVRGYXNGYVBwZj5ReEtfXl9SY1l5cXl3d3VXeXNWSGFFeXNJeUtFR29kUXdkcUF3S1lma1l2QVlWTXlXWGFpY0l3Y0l3ZFF3ZG9mYG9mZE9nVENFU0N3XFxRdmxVd1BpZ3BZYz95aGZFdVxcV2dlV2ljVXRgY1l3ZXlZd0l5bWdWRWlsQ0lzQ0leW0ZeP2hqeGtJeFNZbVZXTVRMTVBgXXNSbFRZQU46PFpaP2RLb2RQb2BtVmB1dmhoYV1leGZxQG9kUG9sb3l4QWppd3VfSF4+cHJHaHlJaXdeRl1GbmJAb3JBXmpKQXlrWXZpd3V4aGF2P3lqcW9RV2RRblxcUE5gUl5bZmFaTHBxXUdxPEhddF5oYm9mYG9mWVl1SXBdd05ddVhmTXdeRFFzRHlkaGBlY0FhX15gbl5wTVdtc1d4YGlodlZ3YVl0YXhjd3dtaWdmX2dmQ0djQ3BvaHBnWXllPD5aOl5zQ1FzRFFmeT9wbndvU2I7S0doa0doeXVFc2ZHVWVwbXl2SXlgb2ZgQ0RLQ0R2VUZrQ0RZc3lUQ0ZeR2djSHJaPXRjYVh0ZG1ITU5NQEw8dVdYYXFraHBvaHdwPWxwXFxXSlF1Y1V0YEhwblROUHhrXFxkc1l4UXl5dXl1eV9leEBMbFZ4TFhsTVhxdFBxamlJV0lBWnZvY0l3Y2lhdkNZbHBxeHBpd0F5cjs+XUZxdkl5bVlBdEpBXFxLRlxcO0lzU3B5WUl5TWFbVGdxPGBxdm5oRUFeO0diO2l4ZXFkbU51VHh0aXhlWVl0UlZwcXBnV1FgbE5gZGFoT09oaUBlaEBmZml3Z2leX3JYdVJCaXNCQXNybXl2SUk8PXdLWWZBZXloa0V1aWdvZ2hvQXlrWXZgb05HaGtHSFF2VFc6PEppVVhxdVhJZEtHZFBsXmJuP1xcOk5pcWZmRGFsQ1ZcXGBeXXI+SEVXY0V2SmFHQ11EPm1EPF1WW0tEPz1VOj1TTk9GcltCdT1jQmVJWG9kdEF4W1lyUXdHWWR4ZlVNTnlrRGxSSG1TaHV4aGl1cU5xT2ZcXE9mcl5IZWRPZ2RwbFBwZDo/YjpvY0hvc1F4X1k/ZVdYU21peG9pc0NJczt1Q3lpOjtKOmx5Pk9eV3ZheF9haXZfSWlyP2lqTVdwdnljP1Z0c3llSWZcXEZHZEtHdHRoaGVhY0ZfY1Bvb1ZHc2Rhb3RZYFhea0F4akFfY0Zfc2xoZkVxXXdOaW5GaWxhdmhXdWZwZXdQcVlmYV1RXl5eXl5BeFtZcmhwb2hwbFBwbD5nZjpCOjtiO0FWRGFkY3NiSXNFWFlpcXVnPE9iPHdpeXdJbUl2d1V1VFF1ZFdnZUdoeVd1QVdJO0F0Y2F4VFF1VHF4YD1pXlVHZEtHVHdJeW1ZTVVUTWlpdXV4dElYZ0FYeW1yPUdETEtERFNDRVN0S0l0a19obl9DRltDVltJXWNoTmVUT0Vpc0dpd1F5ZXlncGtIcHNmSXVlYEtJSDtKOjxqcm1tWHBtaG1XaEVKO0RKUHF0UHlteXRZYE10TGVUT2VYa3lZX2huX2hYdk13R1ltcWR3SUV2bFVySkB0SkF0a1V2QElUY2B0QXRLWDx3ZVl3cVluQXBZSEhzZXROYXRsSkBsanBXV1FRcXVYcVl0YXhTaUhVbXBWRGFsY0xvZFBvPFFyPGl5ZUFYWmxZdkF5O2VuTHVteGRZdGV2RGlsQHBqQHRTSXVzPXlqSVRyQj1QOl53amd4ZGl0ckF5cllaQW5bYj9nYj9cXFdoWjpwYVtGbEJ3bkl3bXBGYGtGdXNYaGFIbEtIbGdob2dobVdobUhwa0hQblxcUGZhaGVsVnlwaXdlQXlqWHZDP15EUGtEeGl2SXhBd1BlWVFhdVZhVVBtVFBfZE5fWGFxc1dfaG5fSG1VWG1ZR1FtZ2pDRWBxY3NveVlpVDpNUjxNdmhpdXV3R1hdaXJLWF5BY3l3aXlrR3E7RFk7Q0NDQ0NTV2VVd3dZeXFZRVRLRUxTZT47QjpZZ3hnWXVxaGBlc1RrQj1HVFBtVEBJdmVZSTo7RVpnSGVtdFJJdVNpZXJDWFxccXZHWWVxcXdXWUZqQ0M/T1JTX0lzTVBxbXdyTFF0THBuVXREcVNATFlZXW5jVXRgaFNVcFBncG9ocE9lVE9lYG5eYGpfSHZ0RXhcXExOXFxMbmhwb2hdVl5dUkJxTVpieV1kUG9kbDtFRltiSkVSO0VCS0lVOjtWU19jRl9jWXdlWXddWXBhd09fZl5fZmBvZmB2alM6PVI6RVNDRXM6QXI6bVVYbUVBb3VAa3U/S1JCTVRMTWhVSVZlQUo6PEpaV2ZaP2ZKeXddd2A9eFpVeXdmQVs6Sjo8cldcXFRqPlo6Qmp1RWJASjpCOmlZWk9KOj5aOl51QU4/O1o6PmhZPm9aPzo7Slo7PlpxPT5aVj1cXHhPYGo+YEpweWpeYG5eRHBDPUo6PFQ7QVo6cHFUbmF2P3lwaXdVeWJGQF1rP3dKSV5cXFhwOj5yaUF4c1hvOndwRFdjRVdbRVZbQWFrU1ZyeEhFdmo/blpATlxcV0Y6O0Y+cXREa3JBeXJhc0Zhc3ZTWWhhZWlwX2NET2NUZWhkZUR1S0hSRVVTZXV2R1lNZ0V3c2tSXFxLQE1YbE1YPl1SPnl0aXhVRUxLRExrRVZjRVdjZT9nYj9nZE9nVD9lUl9zV1hhUV9kTl9sYmFrZml4XXlySXhqSXZdeHZpeGFxakBwSlBjX3B0UXl0ZVBvZFBnZE9nZEF3YkF1VFF1SFhdcW5nWnZ4O2d2RF5kZGZgZl5fZml5dXl4P1RbRVI7RUJDX1JMQXRKQVRRdVRZY0l0XXg8aWJFY0huW0hCb0NCcVVGa0pMTWRCQXNCcXhPP2JAb2JAV2I9V2I9c1JHSF1tYk9nZE9zc2lPQkdnY0c/dWQ7VEo9VDplZkxVV2VVV09hdE5hSG5bSG5naG9nZ2dnZ0dha0tIc3ZscWVpcWJAb2JcXE9mXFxPb2RQb0BwakBwakZeV3BjQXFkO1ZcXE1WXFx1V2l1Z19nZl9cXFhaPF51alhvPEhfZ2ZfR25bSG5nZVdndVd4YGlzckl4XUltcW5nY0dnY3BvaHBldkBpa2BwbmBgSEhdXFxiQndFeWtZWkF1W0FWUGVUT2V2aXl3eXV2SGllPFFyPEVUS0VUZ2NHZ2NSP2Vya1V2QGl5ckl4PU9TX29GX2NGV3dJeW1VTl1UTlFzRFFXeXF5d1lmQGVjXFxLSWlreUxNVExtQ1dLSW5hdkNZZGBvZmBjTkRNb2RQb2RRd2RRblxcUG5fZVZfdXdZeXFJQGtCQHhxeXhRQXRKQVV0YFhjcW13VFleXVZePWtIWWttTFFXcFl3UXlvWXBhdXNgcG5gUE4+YHBvaHBPaGxPeGpJdE1IQExkVE9lVFlrUXY/aXRleFRxeFdZcVFgXXNSaG9VdXB0VFF1VHhYcVZmUG9kUHdCSWxddHBpdXVoXFxPZlxcTE1UTE1hdE5hV1llSmxZeG1ZTE1UTGtoVFptc1ZIUXV5eGl5TXdMWW5EdHNFeFFQbVRQWWJBdFtAbVJAbVl4UXlNT2RMT2RAb2JAb2RQb1Q8TVJcXGxPaGxfeG5heFI/ZVI/XFxKPjxvZFBvdExRdGx3VXlwSUVSO0VqYmFxclRWajxNcXBXV1FLRExLREVTQ0VSQkRXY0VXY0BvYmBLVWxQRkROTm1VWG15ZGl0ZVh3UXlvdVhxdXhrWGRRVGlyP09tb0JEY2I8XVhePUhaXUNAU2I7QVZyTVl0TUhqZXZocXdIRWZKXUI/Y0JhcXNXV3VlVXZ1eXhpWUY+b0l4XXlCd1dAU1htVVhlVVdlXVl1YVZDP2diP2dRd2RRU2lhUXRQcXRwTXY+SUNTQ0VTQ0I7Q2JfV1NRb2JAb2JwW0huW1hkVVJhV3RNU0RNc1hoYXVjc0dpc1NgU2RRZWdUZVRQbVRAcXdaPXVxQVNGXUtwdXNiQHBqQFhDUWxfXFxOTERTU0VlYXhuYU9jRE9jUXFgR2ZbR3Z4aXl1WU9wXkdrOkRaU0dlU1lkYXRjb2hwb0hwdUJtVVhtVVRMTVRcXHV4Vj1FRmtSVl1VVkdjQ0dDPD1XVkFxSGFtc1RUSj1USmlwR2RsRGVLRExLVFRRcF1PPD1XTkFvS3VPWW1xXkFSamRNV2Rtb1l3UVlwdW1PZ2VXZ3VuSGVtPHFUO2hORUdbR2ZbZ19nZl93TnFqSHduYWZeX2Z3VGlwRUdiO0dqRm9eaUBla1B2dXl4aWF3SG5sU0htQ0BcXERASzt1d1NmTE9kTFtnZGNUTl1UVmloZXVUbE1YbGNlSHV3TnFma0doa1tJdltZc1F4X1FCPEtCTEtETHNiSXNFYEd0Yl13SGtodXV4aEVHY0NHcHVzP0dyWl1GXltGWnVWZltjWGNJdDtIajt4VXloaWVVVWFET2NEV1dJcW1zRmFzRkNGXl1XZl15XklzTWtDPlNFeFtZclFjT1NHcjtIXWtpTG9lWG9ZXXFyR2tCPUdyUE9DYD9mWj9SPl1SXj11amB0T2l0S0xSaWxVdkBWWHFNZDxteFVvZ2hvV3hReW1RPD1XQ1FsX0RRc05pZ3dlUXdkYWl3Z2lfaG5faGhuX2h4eGl5dW9wYFd2Rmc6a0ZgS2diP2dCVVNFdUI+W0JuZUdXUWlEcXNIcVhuXVg+PUNTQXVSYXRPaXRrZ0hVc1ZkO2U6QXI6RUI7Q0JdVVZdcWlmRW9jYXhBdFtqTmBsTlxcSj5cXEJOW0ROZnFvYEheZGpmaG9naHBwcHBAW1t2YkF3cnhgaUFgdFF5dHVReXRRY0I/Y2I/Z2JfbmBwbnBZZkhIcGtIcEF4W1lub2JAb2JpcF92ZmQ+bXF4Z1lRb2VYb0VPY0RvXXheaXJwcXhwcVFxeFl2YXhfZXJAaFtGaz5PcGpAcGJ2X2l2ZmVvYEhhZGp2XFxoXmVKXlxcTl5gbl5gdnhpeXFpUVF0Z1hveXh5eFlpTkFvS19mbEZ1WXl1eXhfZ3laPE5fUm5oWndnP1ZwX1dzUEZkS0dkdVZhdUhcXF1uYmJBd2Jhc1ZIYU1IaXU/b1pPeWFgcXZgdUJBc0JfYj5fdmRpdGVgX3dAYG1WYE13RGlEUXNESWdjR2dWTW1IQHNSZDtlQkFzQkVWW0VWXVNGXV91VmFVUG9VUktETEtGZltHdktWPkFjRFFzRG1IX1VWal1mPEd1dGdYZUtSYkV5bGl2eXNZeGF3dVlnVFNFVWNlVl9lSktSVXFoZ1VWWW1IQFN5ZTtlZE9nZEdkXXNSRENDQ0RLQ0RWY2lqeXF5dXlvWHBtWEBvYkB3XXlySUhVdEVWQ0VTQ0BqOkBKcGBzdWVXRklqRGx2WXhZeElNbFxcVkJIajtIUnBtWHBUU2lcXEtHZEtPdExRdHRLSXRbUFRjYFdEcUJUdltJZmV4ZXVReD1ubldXaG1XeHRpeGVJXFw8V29Rd29gV2dLVlpPXlt1XnBRP2ByeV1Fdl9mXl92QGlrUXZAaWtVZmI+X2JCX15MeE5JeWZJdW13RGlrVVpxSV1rSVFhdVZhV2l1V0llZkxVVl1VVlFtZ1ZFc0xZV3lFeV95ZF5hdl5lWXdleT9VY1BjdmBxdmxHR1tTaV9nZl9HSXNDSUd3RXlrSWtDSEt1U0l1Y193dGhnVXVveGNZdGF3ZXlzWVhdaGJFREdvUl1VVDxtWHVjWGRhdFNZaGF1eGl5dXl5dFl1WUM/Y0JfeHdpYj1tYkZDaWtVdkBxaXdVeUhhZXNTRE5bRD5xaT5fVz9VZktxRGdLVU53ZFF3eG5Jd01paGV1dGxfeFRVRl1TZl5hdl5VVl1VVkF1UkFhd2Zhd3h3aUpPU19vaHBvaFxcW2JsT1BrcExRaEt4XFxZckFwckV4XFxVTE1UbF5gbl5UUj1VUlBwVWV1V2l1eXRpeGVRcXRQUVVUTVVsd3d0VWpRcj9YS2FsU1ZAdXNYWGFpbXV0WFJNUUFVVUI9U2I8UXI8eVJJcF11ZHNQdl1Zdj1xcT5AamdAeGlAZkhgXXNOYltAZHBnd1RpandeZW1wZkdwa0hwW3ZfYmp3dlxcUXZsUXlvWXdVeGBpT21VWG1xWXZfUXhsUXhScVtGVmdlV2doX3l4UV9lVl9tSHBrSGRPU1lbSXI9dHlHaD9xRkltZXZld1RpaHI/aXJnd1V5aF1xRUlXQlhjSXRdaG11dkhpVGVvVHNReXRxeF1pdl5LRGNBdFtXUkhxc0hZSXBdd3JNeF5JQ2hJeHI7ckdpc2drR2hrd1RpaGVVVGBfU2N5ckVpVl9lVl1LRlxcW0ZfY0ZnZ2dnV1dlVVdrdWNBcVdPZVRPbXRQcXRSWWlieXVTR3dda1JGP0NFU0NFUXNEUVVrT1Y/a3drQUlaSXVtd1ZobVdoVVNRb0d3S1luQVd5cWdrW3VzV1hhcXRnV1V3ZVl3dXdYaWlFV1l2O3I7O0lRPUhzSXlzeWRoY21rVXZAZVZfZVZmTWtaQF5Jd2NJeXZJeW1BaXI/SXZ1dl94b2xKQGxqR3lsaXY9dlpIPmVVV2VxWXFNZmhvZ3h1eXhpeWl0YXhDWF1BeXByPmlqQWZTR2VTX2ZeX25WYG1Wd3F1RmhqP2hSaXBld3RpeXF5cWtXd3E9aWJUWG1VeHBmR3VcXE9mXFxPXFxWXl1WeXdIP2NeTnRfWGNRYGtHaGtXZ2VXR3Fod2JOT2NET3NpeXF5cXdjSXdjQXZaQXRpcWNOX0Q/aGo/aGl3VXlvRXdLWU5zcmZdZWs9d0pJZjxRaktETEtMa0RWeVdJc05Jb013Y1dQYU9uXVhuXVNGXUNYZnBuW2JnZ2dnaG9naFduYGY/dVl4aXhJYUpIXkxOWj1WWmFmY1RgcHdXeXBvZ3ZJXkE+aGhAZkhwXXdOX1o+XkpxcT1uWj1od0BIeGxReDx5aFhfaUVwY2F4Z1dRcW8/d0pJblhwbVhYWmZRZ1xcYXJDcHNIcXNBcWtXVl9nZl8/aV5VdmZeb2Zgb2V2QGlrV3lwaXdmcHdzdndkQXY7WWpkUG9keHF3cXhVbl87QWFgPl9iPndFeWxpRmI7R2I8T2I8V1pjeWJSP2VyPl9iPl9xdmBxYXlzWXhyZ2ZdQVpAVmpraGdVcWBvZ2hvSWp5V29GaF11bmhXUXFvP3VPWV86dltmTmU6PlpaPlpDU0pjRGhDdXJTRnVTSXVhdXNXWGhrR2hTRkFtY1Y7VlFVZXFzV3BjSG9jeWd5aFlRZVVXZWtFc0BJRVFrR1Y9c0NJc3NTWXBhR0V1cklVaVxcP1Ric3ZIaWVlY0dnY0NCO0M6WUdVO3ZSW2VlO2VbWXJBV1lyPVlud3c6R3JCS0NES1lzRVlHTWVuQ0N1a1lGa0JiaXJFd0RjRVdjVXlxeXdZO3ZQWUNdaXdnaXVWYXV2O2RZT3hWd0RSO0ViQ0ZbQ2h1dXA9dHdkPXNKSE5YcG1YeE9ZbXFeUW5XQVBSaXI9WXhgaXNleXVLWWxIbW5JdW1oRVdjRVlsYXZDbUo9SFBqcXVyVE5jRE9jRF9McXF3V3lAYFtTTmBqcXVweXdZeWtKTnl3eXhZeVpYaVxcQUFmVW93d1hpcXFbdlhfbEZtZll3ZVl5X1lzUUBrQkBrO3h4QEldRm5aXWFyQ1hcXG1uZkZBcGpAcFI+aWlvXmBuXkVvbGZGYW1vdkZXZE1XdDpZaT1ebT5YaD9WcGdXdXBwZ0lHaVNXcXBnX3BYaUB2dVNJeGFAcGpAYGNHZ2NpZkVxbFtRdFVwb2hwd2ZIZW1AcEVJcnJQYmVXZ2VfYj5fclxcaXJFaGZfZ2ZrR3dqZ3hkZUI/Y0JZYkFzQ2pFd0dXQkxLRExLU0VVU3FjV1RhYlF1YlVvSGdNR2ZbR3ZVeGBpQ1hlRWxXVVI9VVI/ZVI/RWV3Rmp3eD5VUj1VVlhhaXNdVW5PQ0pJd25BaGo/SHVVWXVlRl9jRlZNSVZ3SXltaUhvY0g9VVJcXFV0VXY6YGxOZlo/ZlpycW88ZnhvaXhWT2k8P115VnZvSGhzRmlYVmo7QWtGYGtWWGFxQ2I7R0J3VFlvaHBvaFNDRVNzVXhfWTtZZz1taEQ9U0I9Z2RPZzxxYjpDcj8/ZVI/dUZJZW1DaWJ5QmJdVE5dZD5fYj5hd1NZaGtRd2ptc1ZHSVxcS0ZcXENUS0VUcmVYQnFXW0l2W1loYXVzQGlWQVtDQHF0UHFIaXNHSWdmRU9kQltkTE9kTE1VVE1jXVFHOj9EbG9ocG9ZbkF3S1VTRVVDSGdZbHdTTl1UTj9jQj9zVklxXFxpdFthbkNVbE5cXExOPHFoYVZaPEpPXFxLUUh5eGl5dWRsRGVyX3V1Y1VxY1l0YVhOPkBxX3lOck1YbE1QcDxNUWxrd01VUj1VXm1WYG1QblxcUFpBdWFUeV50TmFUbVNIbUNUS0VUdk9JbnJAcXJBcWtnXmF2Xl1pdFtWZU93ZFF3dl9pdmtYZk8+dlBoXjpodlZIYF1vWkhoaVRPZVRvdE9pdF9fZl4/dlJ5XnVhXmF2XklYXXFuY1ZfZVZ2b0hGX05Oaz9oaj9Zb1F3b2pRd0o+aEBeZGpeZWBAcXJAXVtebmNIb0NYZllAZWlnYj9nYnJueENVa0VYa19hcm55eHFiQkZmcVlhPnFsZ0F2UV9kTl9qdWlbVGZgb2Zgc0B3PT5qanFlP150TmF0Yl5cXER2cGZGakxQbExGaGtHaHZ3d1xcdmpXUWJldl9pdltBcWFTeW5yQHFSVl1qaV1Bb2JAb2JZb3F2R25NSXdycWhFPnVETl9Sbl9NT2RMT2pKTmRLR2Q7SXBJR1xcS0ZcXGNHZ2Nfb2FJcmlgbl5gWll5cElweXVgYXNhaUM+aEtZdUE/aWlQWk5OWz9HYjtHalVvbDpHaGtHcGRQb2RucXdPZlFgZlFvZFBPdlVpX1VAcF1HW2I+X2I+dGJfcHRReXRfaXVoWmZnWk9eW1FIb2VYbz0/W0NHY0NHdlVpb0Zga0Z2cEZOd093ZFF3ckh4cElAXFxcXFFrXz5iXUh0eG95dklzSGheSldkTVdqaXdtZk9iZlFfSnFpanFnOnhcXGtxWz5WYVBHWmZpd2pXcz9BYWZZZTx2YXlveT55cFU/clA/ZDtBaFNuYFdPeHQ+bFtGbnJ2a0dHZ3NAd2xPZnhvYmZRX2pOZj5Ba3NZeGFZa0VYa113cF1JXkRebzw+WlpealpReGBLbk9gU2BdV2ZdR19oRD5aOk5ianhbQEI6O0I6c0g8T0NAPlo6PmhZPk88Sjo+UkRyOj5aUF5pdkF5a3F0Z1hlVlFoU3FbOl5hRk5fUj46S3lkT2ZcXE9WbkF3S1lzUGdHXWt4VF1GOlxcSk9cXDtodVF4T1k9cHd4T2l4VXlwTnRUSzpcXHlITE9SPEo6PFpacWFKR3I6Plo6Plo6WHk6Z1o9Plo6Plo6bnc9ZlxcRj46PEpWeUpkPE06Pjo7QUI6Oz5KOnRocXFuQGlrUXhMeXN5c3luXWVMYXROYURMS0RsQXdLWWZIV0R5dXl3eXhrV1ZBUVhwS0VhW2hvZ2hTTVVUbXRReXRxd1NjXVdmXVJCY1dTUWg/TVRMTWh3TWY8T2I8dWY/S3Jta0l4XXliYXdmYXVrTVM7RWpkUXdkcVN5aXVIbEtIVFlwYXdbYVdubEtDXFxLRlxccWtVdkB1cmNkcj9pcklsTXY8U0dlU2dBUWtcXE5eXFxyPmFyPlhwS0FKOlxcUUJMT1JcXHVGYE1zTHRJeXNpWHQ+UWxMUGxMUnVZUj9jQj9HVF1vUmttSFFzYko9R05jU0dlc2V1dGhnWFRvZVV0cF1Zckd3Z2BBZmJua1RuYGY/ZT9nYj95cGl3dXRmY3l3eGhpZUF5akF4W1ludlpbbW5mRlhxdVhpYUhrR2lzR2lcXE9mXFxneVtPX2ROb2JGQF07SXVWP1o6blVJVF5bdWY7VWo/UkZdU0ZHWVVTSXVTSTtDQlhnZ1RzRGlrVVZZV1VzUkF1UkhbRltbQkNfUmw9WGo9VlhxUkhtU2htdkZJZVZHcz1JWU13RkltVE1VVF1tdUBxc0hxY0ZocllVUU5MSz9UeT09VEo9bFJhXjpeZXZpZGw+dUJQa0Rwc1l4YVlIaVVwcWZXdnN4dGZJVUVVU0VVYGNDTl9kTm9udGRsXUVZcnRvUVF5ZkV2PGlqdlxccV9ZTk1Ic3BxeHBhc1VBWHVFS3VMWF5Bc1ltWXNpakZtTmloVXVwbGJhTzo8eHU8b1o9eD5heVVJVUNFYz9oaj92cjxBaFhAblpAbmdob2dWbEBWW1FuX2Z3eUNWc01wXkY/bVpobl9ocl5IWnF4Z3lYaU9Zd2Q+cmdpXmZAblpAdnV5eGlZZ2RPZ3BuZ1ZBY25vXFw6OmtlYGlzVXdGaGtHWFl0bW94cHF4dmdpd3FSQmNHU01oPkdzbV9JeWd5YENkQl1TcE1SYjtHYltzUkdIPVdkcz1JaU10XkdTRm1DXkN4QEVDRUVmSl1GXltGQm9TO05fUl5la3ZhSmByVXlqSkBgbXZmSGFkSj9kYnF4Y2ZiP2dyY1d0YEhocnZbYUlgY1B0cld5Zj5fRkZtRkNnS1VOWXRtX0lZTXI8O0JyQ0NkO0VWZ3huaUVnT2dkT3NnWXlJWXk8PVI6aG1XbmdZUHZHeHVZaXFsVmBtVnROYXRmcXhjbmFTcWlxYXhwRnleYGo/PlpqX1tOP2ByVm15dml4d3JbeWNUSWFyPmFqZ3hfPl13d3RNcW9gbmFTcUljRUJNVE5dVF5JeT09U1JHY01zRnBVVT1JeEZFQ1VNVVRNRVlzRUl1Zk1JY0hLQjpzaV1ZY2dNR2FDY0I/Y0ZZZXFzZ2VhWHg9ST5fYms/aGo/VExNVGRhSEtFVEtFWHRheGNhUj5JRjp1aG9PZVdnZVdzV2Z1aXVldE1lQ0FZRV9bV1dlTV1VVl1JT01tbmZpdXV4bGJhTzo6WXd0aVNnR2djR0ljTXReS1I8QVhYY2I8RXd0R0JdeWVneUg8PXNWYXV2V3dIPUNYQXV4dXhLdXRxU3NtY0ZmbVNIbVNfZVZfS1JiSXNNd0Y+dVY7O2JZSVI/U2J5R1ltcXZvTUlKX1ZpdVdJTUZLP2NEWXJzZVVxPUlraHdxRGs+TVVyQFhbdXJjTGtEUGt2aFlbZFlhZFVlPVFYSE9bRU1GbmN5P1o6Pms8ZlxcRm55Pl9iPm9cXGY+ZUpJaERWeGVfa3N3c05Jb01nZE9nZFV5XWxZdXBZXW9Hb1JBeVtRYnRxa3RwW0lfc1FnXmY+WjpYYFpQaltXa0h4dVFRdVR1PkdDTTtDRlNyc11WbENpXXFCRnF0UHFkaW9oWUFDW1NYbVV4SFdyXFw/eFtxeHVXdlVtdj1RRFA7QjpJQkpFcmpnclZJaW1VdUlbRmdLVW4/Y2lvQ1tDVnRrRUJNdj1pd3F1clRrU0NFU0N3Q2lPRnBTSG1TV1lrZVJ3Q0U9VTo7QkE7Uj9TclBLcjxRclBxdFBBdVlheW1lREx1Uk1vRkdNckhhYko9VEo9dkl5dVlpd29VRXlnRTxNcm5dSUpfckFnRmY7SkE8Uj9Ucmg8dXFwcFhwbVhBcWtVdkJwczw9anBZU2RlV2dlV3NtWVpMdWhlU1ZAUUtUUUpgcnFYdWldd0dYeGdFS0U8Slp1UGJAVlJpckRRc0RNU0RNa0NBS2VhUUlUdXNhcnFYRVVmYGVET2NEeFtJPl9iUz9IW01icG9QeGhPW0VKOlxcd0BpVllhTz9lUj9FdVNJdVxcTE5cXFROQW1rZnFYYll1O1lSUj1VUnFyQHFqeXRLW0RWRmFzRnFySGhNRXlOPUR0cFVzS0l0S3BTYVh4Qz9tdVBeS0BjRXBcXGdObW9WZ1BGdDs/WjpecUNYZ3hYZWNhaHRYcXVYcT1Yaj1nY0dnY3RPaXRBd0tZbl1QblxcQGtIZnR3YGxOYGxnVmVwQG1UUG14PmlqQXJQcXRwb3hmSXU7SGo7aGhvZ2g+d3ZcXEFcXHRmbXh3dkhpbV9WY1BAXVVWXWFnZl9neWxZc2lWY1BgX0NmO0V5YV15Rk9nZHRySGhNVUhQXW1qTVhsTWlwZXV0QHFrV1R3aHF3WEhtU0hTbm1PSElTSXVTcXVYcXVNdWxYZj1Yaj14ZGl0ZXhWRkFta113UklwZFBfPnd2PD5aamFcXGhIb1pvaXlpeXFZa1F2X0B3YkF3X1RfcEJpdE9peDpJaj1ua0hwa1liWUNjSGl4eUt3ZVl3UXdHWW1JW01yPldlcXNXZFdnZXdIb2NIQ1VTRXV0T2l0cz1Zcj13Y0l3V0lpbXViYkFiZnViT3NkRXVkaGNZdXF4Z09lVE9VXVVOX2VmY0ZfY1ZrUGZfVHZheF9pSG9jSEZ0O0Z1aFF0X1hjdE9pdFdpcXF3Z0dnY0dsSkBsYmdnZ2dkUG9keGBoY1F0Ykl0XXhgaW91VmF0TmFibj9icFFnZl9ndml4UXllR2djR3dfV09xXmBvZmBzWj9gPmlyP1llVE9lcHF3V1lvaXhveWd2RGlcXFxcWFpIXmR1cV1vbnFXaXBAPnJaSXJXVl9bV2htY2l1dXhnUkVvRENZa0FxbmZkVXQ+b2JAb3l4cXlGcDtRYWRYb2VYbXRmaGQ/Z2I/b3lsRGVuQG1SQE1LQ0RLU1F1VHFOX2ROX3BuYHBrVkRRTElzQ0l3bklnQ3BrQ3FiQ0ZbQ1ZsYGZjdEl4XXliPl9iPm9lWG91S1heQT9cXDxXaXFxd0dZc0VZUWlpVU1UTE1WYG1WUG9lWG9Tbl1TcEt4cHF4WHVpeGV5XklLeT15aklOeGxReG1zVkhRTFBsTEh0S0l0Tk1PT1l0TVl4XFxpckVwVFBtVEdpc0dhUkFhVlFwakBwSkVUS0VYV1Fxb1c8UWo9bmpAcGpMUXRMVVhtVXhNeW5Jd2tJeGtJTVNETWBtVmBVV1BhbztxUU9cXHVFQXVSQU11RFJ1WHRqWHM6PEpIWXZIUEtgbE9obG9gcG5gWHZTRGw8UXI8cVZgbVZbSXZbaW9naG8+bEplQVdTUXBfRVFzRFFJeE15bHhuYXhOdExRdHdyYWxDSGtDXVNGXWttWHBtcWtXVFFYdFF4XXVNdUtrRVhrZUo/ZEpmeVNEcUw/aXI/cXBwcHB0cnFzV1hBdVJBdW5dRTxzYkZtRnVLSXRraXNVeEBtU0hQaj9US2RNV2Q9bW5ZeGRpdGV4b1l1cWx4UWlseWhxdXdYd11Zdm1oZmdGPF1iW0dmW3VyYV9mX2dmSXNFeFtZeXF5d0F5ckF5Z1NVcF94TllSWG1VWGByPm13d1xcdXBQV09Rb25heG55cXlxeXVBdjtZaldwU01VUGxMUERQa0RQdWpIVj1xcXdVeVxcVE5dVFlkSXZfWXNRSHlzSXlmdUt0PEo9bWpGRHNIcXNISXNDSXVxeFdZVFF0eUtHZEtnXVdmXVZBdXNWRU55dFFZeHNpWXlXdExRdFJfUFRDcFM7aVBSVW9aTW1UUG1sVFBtVFVUTVVqeGpOTU9vWXJBeEtmPVNPSXVVeXBpRUw8TXVUUXVXdE5kQXdiYXRReXRJTGw9RFNJdE14XFx5dXl3eXhTV1BRb2RYZGF0aFVNSj1PTlhTUXBPU0xNVGx5cFl1aWVXZ2VXV3FwQ2xLSGx0TmF0bmxQcGx4cHF4eGF4Y1lMdVR4XFx5c1VZdXVIbltITlxcTE48bVNIbW9VcUpkUG9keEtYXFxRYkRPY0RLQjxLWk10SWlrVXRQbmVYb0VwP0BQQm15bVV5XFxIcXNIWWFxc1dwVmBtVjtFUjtlUUc8VmJ1VmF1dmNJd3NFeWxpdm5gcG5wV1VcXFZgbVZIXW1yRFQ7RVJbZXZEaWxLRVRLVWphUFFpWWtSQXVSQXRKQXQ6QGo6cG1IZXVfVGxDeXZJeW1ZZFBkXWx1WHF1ZGtAVXdwaHNPWV9kQXdiQWZ5WXk9cHhSWG4+YGo+SGo7SFpVUGFxT2hsT2xPaGxvcHBwcHFwZ3dUdnlWYGFRcV91VmF1T3NOSF9WT3FEPnZcXFF2P1lrVE9lVFdqdmdcXFJeYVI/b1o/XUZuclBpb1VXYj1XYkdnQ1FyPFFyZ1l1cXd1eGdZdUF4W1lyWG1VWF13RXliQ1lzRVlSQkNjRE9jcF1lQmdJZmtHaGtWcWF1dVFGcjtJUnVSQXVWd1F5b2FTVEFDQ0NDV1tJcj1IZVNHZWl4ZXl0Rk1lX2VWX0V5ckF5RlNFcFtDdUFEXXV3dz1kdUl5bXl2R1dFcVB5ZXlvdExRdFxcU1Roa1JEUFxcRXdMaW5bRE5bZFFPQVhnQXA/QFB2PXlqbVdTVWxZdFF4XVNfUFR3ZVl3RW1ZcE1rWFlxcVdrRFBrWHNReE9tRFdNRVVTRVl3UXlvVU1VVE1PZExPaGxldFR4ZFl0YWxlbFlMcEpBdEplSG9jSHF0UHFsRFddPE5aPHZdWXZtSXlteXZyQHFybE5HQXB5aVk9VVI9bU9ncHZBPG9zSHFzTFF0TFlPUW9PTVNETVNSRU9NdVVZdVNuPU9IUG9kUG88cVQ7ZFZfZVZ4YU9fPXl2ZUxiWVFQTE9SQGtCQGs/VEtQPFlzRVl3XXlySXREUXNEaXRPaXRLSXRrcXl3WXlrSHBrYHdFeWpjcG9ocFJ3XFxUajx1TV1qdW14ZklVWW1qSHVVakBWO0BsSkB0bXhWSVF5THlOcElOUHl0UXlyeFxccll4UXltcl1ET1VdTmBsXmZfZ2ZZc1NIWkhuW0hmXFxPZlxcaXl1eXh3XXdzV3B0XmF1VmF1O2heX3dsUkF1UkdnY0d3WHdqaFdsSkBsamBwbmB3XVE/XVROXVV5b1l3bXRmR1VUTVVUbVdobVdrSXhrWWJzQUJNWXRhd1NnZ2dnZ0I/Y0JTd0hVV0hhbWNiP2diU1NlP0JxZVRtQUlkTVdkTXJERUU/ZVI/XWdOR3lrWXZBQ3RbP0lkV1Zvc2lraGt2PVk6SG9NUU9qPFd5QEpDUFI8cXFNdHhmSXVNWXdTbFhobF88Tlo8TmtFWGtBeFtZbmlkYXRjeFVxWWVnZ2dndWpHVj1RZW9TV2ZfZ2ZPaXB3WGxNWERRc0RRd0VJZVVHZltHZkVvRGdLeXJJeF1BaFtVcnRnV1plVl9lRE1TRE1nZE9nSHY9eWpxeENvaXhvaUFzQ1hbaXJFeFxceWd5b3lUaXdlb0ZIXWVic0dpc1diPVdSS0VUS3VlbWI7P2ZNSXdzSXlzYUREY2ZNeXdpTUVHb1JgU2R1Y2RvY2dnZ2dcXFF2XFxRQ0RLQ1dVeWNTR2VTVmxpQz9FZkpdR2ZbT2NFVz9gaj5gdmF5dnF4dW5tSlFUYldOZVhvZVhpZ2RwcXJJeF15YlNHZVNAajpAYkFZWmJeW0BWbm9ocG9YdFxcR3JgTl9jRl9DSGtDaGhVaWQ/Z0JhVmFJSVNfU1BvZFBveV95ZFltVXY/WUt5aWJndXRBeFtZckJHRF1bZE9nZHVjVENpWVFNVVRNdVJBbU1BdGdlV2dlV25NUXdYdEBlcWdob0dIclpdWHVYcGRIbltIbm5gcE5Ic1ZtakdUTXBAV0tRTnl0UXlYVkFXdXNYaGF3eVxccGhFeXVZeWlZcXF3T3F0UHF3WWlzVmo7QXl0aXhlYG1WYG1OYGxOd3JjYWRkZmhCQWxbZm14dmQ/aEo/ZEo/ZFxcT2ZcXHV0eE1zRVlzU193aT1mSj1HTXVmSGV0UXl0SWtDSGtWbGlYS3lJQHFyQGFUZGNoVWFUVz9WWUd2WFVXb1tiSmNjQFV5eGl5dV9pdl95SkdGPU15UlN2ZXl0aV9TZGFUY0VXY1VJdVNpSXVleGNocG9oYHNGYXN4a3dzeD9XY0VXS2tEUGt3dHlJcjtSb2NIb3NJeF15SnVUUXV3XVV5QHFyQHl3WXlpbUNXWndmYXdockV4XFxZZkFkUXI9eFpxeXdZeWtBc3J5TVF4T1lvZ1dRYWdmX2deaWlJWkxPZExPXl5eXk5ZdGtoeGhAbWlnWkJhZmxhbGNWZFB2X1hfd15hdl5WXl1Wak1vYmhZbEtIbGtJdj15al9Xc1BIcGpObldoTXVGY0NHc3V3WGlJbnl1O29UX19mXj9JbWVial9obl9IPD1nd2F5VVtDcG1pVXVnVV9FXVNGXU91VFFVcGlWPT1Db29ocG9VeF9ZU21VWG1VUG1UcFd2bmFlVl9FU0VVU3FTWXV1c0VZc01FVEtFTXdGSW13VHlTZl1XZlNkWUVlPXFiR1Nobl9oTmtEUGtyZWtYYUtXZE1Xd2NlPll0ZXdzWWxZcGF3U3BsUHBsSkBsSlV5PnlteXRZYHl2YVlvY0hvb11PUE1tVFBteHBZd1FXZE1XZEhuW0h0Z3VUaXBVd1BWTEVyYll3ZXl4dF1KZHh1Rl1TRk15V3VMQHFyQHFMTlxcTG5NbzpMU0VVU2VRd2RheG5naFRAdUpBdFpHZ2NHdW9YbHZheXZvXmFOaWVOX2Ruc1NYQF9obl94bVl4ZXlVQnFVb1VlZHdHYmFYdGl2RXlkQW9DV0tJZF10Ym9jTXlXV1FpT2l4bWVYdXF4Z3FlQE9HeEV4XFxpQk1XRkBPeXRReU11ZkhoWVU8cD1Qa0RQU2lYWUtRdVRRdWh5dXl4VVVVVWVtV2htUVxcXXJCXFx1bVxcVXRgWGN4bkRsUko9VGpNeF5Jc1BsTFBkdl9pdl9pZmt3bW9OYkJ3ZVl3aV5Bc0tgd2JJcUlQW0ROW1hmYXRfdE1ZcEROW0RWeGBpc1VYYXFvd0tZbkFHdU4+ZkRhbGNmeXhJXT1YW2BZZTtWWj1WamNZVFl0YGdTXXl2bGl2eT1IUltDQFNiW0l3Y0lzYlllT1dHUU13ZFF3cGlmX1F0X1dTQW1jVkN1UW9kcXl3WXlSQmNZdkF5a3dmQFNlcXNXQD1DX2NGX2NYVj9pZ1V1cFtiSnl1eXV5V1l0ZV9zR2lzZ2dnZ1d5TDtWWmFET2NEUWlnVXV0Y00+d0xpcGtNTXNFWXNjXFxcXF13ckhoaFVJa01YbE13dHlBXj1XYj1ZakF2W3g/eWpJWmVXeFF5ZXlHXj5QeG1ZeGtpc2lYb2VYeWV5b3lweHVpdkNHY0M/W1tAeGpBeEhYXFxNT2RMP1xcPEdga1JBSWNRdWdYZVJCY1ZhdVZxYXRPcXJHV0V1b0c+U0I9U2JwaWJaZVZfZUhvTXdOcVlBZXdQa0hWYVU+XWp4dXhqeFhpcXVbVFJAYFBuXFxQbl1tYnF2YHFuXmBuTklvX2FvU1VwQHFrV1R1Z3VOW0VWW2VVWVlxdmBxdnFwZ1V1WGVxdGV0VFF1REFWajxwdGxxYXhrSnVxW2VUS0FSdD10TmF0Vm1xdkVZYUhrUklzW2VNYWB0UHF0RExLREx5dFF5cFV1Q1F1b1hXdXBPO0hWPXFaclBbblF5b0d0eW5iQG9iSHFzSGlxcFZyeGZ0QkZuWHB5TXZaYlh3aGhdO0diO2laRW5cXFZncXRncGxQcExWZ113ZmF3YHhfeXJfaWFZa1dfdnlfeXJJaHZXcV9ndD15SnFnWTtCY0NHY2dEZWtUdkNZbGFCVWVCUltDQGNiPEV3Y1lGTnlXW0NGWztDW09kTE9EdlVpX2V0bGdWRVFZV2VCOk1ZdE15R1dFcTtFRmtCRXlYTztjSXdjWU9IX01DZXdnVDtGX2VWX11iSkVSO0hLTWxObnhTPnFZY3hYdElqRV1sc1hYYXFSPl1SPmxKQExTQj1TakRXcFV5cGl3cHBgV3Fdbld3PkFyOkFyQ0lzQ0l0S0l0UkF1UnZxUmB3bG5oZkFlc0dpc1ldcUJwb2hwX3NVbXlveXRZTUl0S0lXb0dwa3dDb2VYb3VsaXZFSWlcXEVGUkVVU0V5dVl5QWdiP0dJdVNJbUNXUD1VUj15XFxpckVnVXVvWG9RdVtfZl5UVVVVVUF1UkFJdW14Vm14V0FZTUhwdkhpbXVVeXBpd1RQbVRsdnVBU2hxdXdYU11IdHRRcEQ8d2VZd2lUVXBgV2poeWl5cFl4ajtxcXdFalJESjtESmVUT2V0UkFXeGF5c2lZeWs+W1hPcm9Xbzpud3J0RDtEPGdoRGtmaj9oallzUWx4aGl1RXFubmRRO1FLUXhPWW1xbl1tUmhsT2hOZVRPVXl3XXR4clFYbVVYdXBZd1F5W1hSQXBrV1RRUFlUVVBrRFBrPXlqSXRzUkhQPUhzSHl2O0l5Z2h1ZUxLP1BwX1VjeG5heEZ4a0l4V3FdWlZyPndiQXdhc094XmFzU1hgRllpTWl0T2lla1BmP3ZoZ15qQ1lsYXZrU1ZgYEF2O1lqcHBwcGBjZEB1d1ZpcEFkYl5sR1ZdcF54TkFiPE9iPHFzSHFrVXZxb3hwaGd1dEd3TGluPXY6W1N4eVllVVdlZVl3ZVlha1NWP0lwXXdScWVUYUNXS0lOSXVTSWV1b3lxSVg+bUZNZ0dnY0dRXWdSRUhpbXV2b3g7W0lzUVN1UUdqU1dQYUdLQ0RLS2ZdQUQ6V2N4RWlLa2NvT0s8TVI8TFJCWHh1QVZgeFNZcE9dVE5tYXlzWXhweU1paHZfaXZjRVdjbXNIcXM9YHZweHBdeFJJcFhvZVh3RFhcXGFqUHBsUHVwUVxcbFBlVE9FVVVVVVF5dFFZUFNsbHFBc0tYTlRMTVRcXFV0TFVzeGpBeHJnWXVxaHdnaXdZYFFzTVZcXE1WTGlwO01WXFxNdmxpdkV5ckZuZk1xbkdfY3RJdXV4aGlJeW15dmtpYVNwaz0+Y15OdFNZcGF3bkl3bWh3Z2l3XVBib2VHXFw9RUZrYll3ZVl5VXlleU87REo7dE1JSTpVVGFvU2dbR2ZbRV55aGZjd0NHaGtHaHVXaXVJeF15cm9faG5vWGZBdUtpaDtlV2dlR3BlRlQ9WXI9WUlVUmBhRXI7WDplVVdlZWVxeXFJWE5nZVdnc3Y9UzxrdXBDVjxhQmRjZERxaU1lZUBzSXl1WXltd1dRQ2ptRWVVY2NDRltDUktFVEt1VVl1ZUdFV3RNRmZbR2ZJdltJeF5Jc01veDtbeGhzVXhfR2ZbR3Y9eFpJUkhzRltNdl5Jc01oZ2lHdWxoZlNRcF9TcG1YdWF4YG9mYFdJcW13RkdFbWtGbVNIbXF0Z1dVRm1YOkFXY0VXa3V3QXNURl1TZktHZEtTPE1SXFxNdF5HUztDQjtjZE9nZGd5U093ZFFXWXVVWVU9VVI9Z2VXZ0F3YkFXSHk/Yz1VVE1VZEV1SFptdmBxdlFtZ1ZFWW9Rd09BaWtVdjxZcj1ZSVg/WVhvZFBvVl1VVm13WXlxWVFzRFFndXV3WHFhdD1fZVZfRVFvZGk7ZV1zUkhfR1ltaVZZcj1ZcjtJcltTRl1TZndNWUVwbEF0S1hcXGtVdFBoRE5bRHZgaXNVcG5gcG53ZHg6WHlPQE5WdWpZWHNRXFxqSmBvZmBPeXRsaTxrRXlwPFxcbUFRdUhcXGt0UXl0aWJpbndjeXhNVmVncXV3WHFmYG9GcXRQcXRXVWljR2djaWxldkRpeXV5eGtpaVxcP1k6X0I/Y0JpaXV1d0RSO0VyPXdKSWZVdWhoRXdiQXduc0hxc1VzT1hfO0hqO2hbR2ZbTXY+SWNLQ0RLW3JYd3ZJcVd0TVl0dVdYYWlTSWhddXJ4Z1l1YWl2X2lqV0J2bUdoa0dSQUlrWVdRcWd3Q1hcXGFCUXVXW1dZX2F2XmFmXVduT2l0b0V2PGlqTFBsTFB2XFxRdk9pZG9gcG5Ab05PbzxQajxWbGV2eXNXWj9QYnNZd2l4cWBuY1ZAaWpBdjtXXFxNVlxcR2djR1FwbFBwYkBvYlhhcW93Tml0T2lrV1ZhcHFyR1hdXXFyR1hedG5eOj5qQT9wUEdydkl5YXltZk9zS1lfRGZqbE95bklnaXdnaXlnWXFxS0BjXlhaQW5bRk5sXXliV0ZsQl9ecXdocWlgZW90PnhqQXhyQHFySGZddF5kUj9lUkF0SkF0QHFyYHh1UU5fbXdcXHNGYXNYX1Fvb2ZpVWlDSXNDSV1TRl10TFF0THNEUXN1akdWPWdpd2d5WkNJYVFlV2FzRmFzTE1UTG1leXNZWENFU0NlUXdkQVVmS2FUTl1UYHVzWGdXXVVWPWF5ZnNXWEd2XFxRdlxcYXdmYUVPY0RvQXlrWXZMT2RMQ1I7RVJ3Y0l3U0VVU2VTU0hgPURsWXZBO0I6WWdAY1VLSFFjRVdjSXJ5eGtLbVJAbVZHUW1vVFdQYW9bPlxcPEFdUj5dbml2bFddWGdiYFZsYW9zVkhhbW92Rk9uPUBcXEBPZExPaHNReF9Zc1F4X2FOYUJCWmlWal1pRztCOjtCOltNTj1QOj46O1hZO2daPUI6O2ZpT3VJZXY7V1h0PUJaW0VOPUg6PG5pYEtGXFxLalhQbHhWRkFtO11YUDxKcmlNUWhtQ1lLOjxKPkxsTFBsRHFzSHF5akl2PXRRWUhvRzxyWkRKT1xcSzo+ZjtQbVRQbVRkQF1YRDtCOltFP01COjtCOjtCUUtiRHRNQ3FzSHFrR2hrZ3hvaXhOdDxLW01LRExLWHBRd01VUG1UQF1YSkxydnV5eGlRcGxQcEBuWkBqYkFeTVdlVVd5XFxpckVwa3FpeVpZX1l4YXlvaXBhd1NnaG9nYEtJYkJiTl9kdlNZcGFnaj9oSj93WjtCQTtUO0F4P0tJV29pW1VyQGdyRXdEQWFyPkFlU0dlP2lyP0xRS0RKSHhNeWxXaG1XeGF4Y1l0c1loeWBpc1FgS0loQj5oZ1F1b0hkXXBid05pbkFnc1F4X3F5eHF5PndyWz5yZXhkaXBqR1ZdcHd4aGllSXdjSWlsZXZkcFlxWXByQHFiVlZka19rYXhuYWFtc1ZoWGBhc09gd095bkF4akFoXFxYdko+Xl5eXl5feGJJdGtSRlFkX1NTSF1lckNSbl1FajtUSkVyamliTXlmSXVVdF9YY0tHZEtTPl1SXlNHZVNjQ2l5a0dZT11TRl1zaGdVdU9iPVdiR11TRk10TFF0SF9Fc0tSbk1GSFVTSXVTWXVoaGV1W1dSQW92SGllVU9kTE9YckF4W01mTUNYVGVWX2hqRXRMaGRVdGBYdXF4Z0lrQ0hrUXlvWXV5dkl5bVRvV2Bwb2hwU1htVVhzQkFzVlFxb1VrV0ROU3l2dGl4ZXlSSXBdYXFzV2Zgb2ZwRmFzRll2QXlrTWZtQlh0TE9kTG9gZj91al93UklwU1ZgYF9xd1d5UHhbUUdaWFlaT15baVlnaG9neE5pbkFvaHBvaHBwcHB4b1hnUUFcXDxvakBwaj53alxcYWBZd2VZT1s/UGBnT3VuWG1xdmdwaHBvSHhbUVxcanl4cXlnZ2dnb0BwakBxdXd4aFdkTVd0akhmPUFrSF9yY3d2SXltaWBvZmBta1ZmQHlheWF5TW9lWG9fZ2ZfZ2BvZmBzZHdeU0ZdU0ZjQ0djZ2Y/PWxabFg+YFZNbEo9SFhiQXRbRD9HZ2NHd29Zd1FJRUZrQllrZzxrWXhtWW5NSVdRcjxRdkhpTVRNVVQ9eWpFS2pxTXJwTEN4eHd0WXhhcWZgb2ZNdW5IV0JEbkV1bGhkcXdVeXBVdXBoVz51alxcQU9kZGx0UXlvWVddVE5dRFBrRFB5dFF5SHBddXJoTXVuSGtiQVRWZHhteXZJQXNCQVNjRF89d2pIZnVvWGdRUHBsUHhEaFxcZT5rSFJUaWV1c1hKS1Jdd1JJb2V2Q1lsZVdnZXdmR1VtX3I+YXJSZXc+b1JdR1Z5XWhuX2haYWVJZ2VYaWl1dWRVV2V1Y1l0YVhMQ2NOW0xiSXVteFZVdXBoZU50XFxMQWV0UXl0eVxcWXJBVDtFUjtVUj1VVmlxdXdQVVRvZGlwZUdfaGI+YEo/ZDtBeHh4bGl2ZVxcXmpAd2tYZmtKTnZJWWFIbnF0Z3hEZnlxR1tGYF1zTmheQXNLYGJhTnZuYGxOZGNHZ0Nhc0ZEaz5NdE9pdG9xeHBxTnRETGFoVE5dVF51VmFVVlU8UD5AbFF4bFFWXFxrX1xccFBbUlBtVFBePmBzR2lzR2lTTWZNQ1hUTVZcXE1GR29SPXFkOm9peG9JWWtnPFtJQ2tjXFxDeHhfdE5hVG55dWlzR3hhQkU9dldZaXE9d3lnSFZzWURlU0dlVmo8eXBFS1pVbzp0dXg+W1BAWklQakRuanFpeXV5d3lAa3l4cFlBdUw+dmF5X2k+ZTxeaXhgWnJheWdZXlJPWnZOW0hQXmthb0JAa0J4a1l2YUxJd25RblxcUF5bRl5bXnd0SWZLR2RLb3lzbnlXQGxKQFxcWXZdSUBcXERXY0VXYkJmcj5hcnZIaW1FTUdzaGtHaGN5ckNCPFdFX11WXl1JdF14QmN5cUFGPFl3UXlnRVdjRUdEPFVnUXVnUE1UTE1GcltFQV1EUXNEWXVpeGVFW1t4cXl1eVVGPk9YbVVYSW9Fd0tjSktVaj9WO0doa0xqPUlwWVl2QXlra3hLeXluSXVtSkxSSWxNdjxrSHBrYEBUYnRxd3F4VWRqPEVOdGRNYVxcbmBwbnhEWWxhSltcXHh0aXhlXWpKXVl2XXlReV9cXF5qUGlvVXdeaXZfST9ocj5gWj9kO0VlP2diP2d0T2l0WXVxd1dGa0I9VVVVVUVVU3JEPVI6d2N4eXJ5d1l5cVVXZVVXQXRKYG9mYFNQbVRQRE5OZVVXZVNbQFQ+ZEo/RGtIcHJbZFZfZVZSeXl1bVVYbW06QGo6YGxOYExwQWx5bWw6ZVZfZU5wcWxtTVhsPUw8TUtETEtSWVJ4RHV4dWxOYGxOdVRRdWxReGxxXFxQbjxvZVhveUF5a1lKW1xcXk5fbElvdXhOeWlRXzp3TnlnWXVpRFNLUGRMT2RvaHBvYERsQl15bVBLanFQeEx1WEh4VXRMUXRMPkB0P1lbWHFxd1d1UHF0cEJCO0Z0Q0RhR0lyO0lyO1FyZXl0aXhzWFhhYXNGYXNyQVhDPFVUTVVUTWVeUGRjeGJJcF1vbmBwbnY9aV5qTmY+QWs6QEpHclpdVXI/WDtdUj5ddlZJaW1dWU9dcmlPVW9PQ1tbRFhrRXhFeWxpVkVVU0VtSXZBQlJFVVNFVVNQc0dpc3dsWXZBUXBJVlpMUUs8ck1cXG1BVHJdUVBtVFBLTFJgbE5gXFxSQURORlxcTztcXFdDXFxrVGRQREB3WlxcanNxeGdZVXdlWXdIbEtITFllbGlkd1plTDpoVDp4VDtlWkFJclF4XFxmRlpST1p2b1FsSV5xRU5fUm5dUUhsS0heXFxOXjx5c114Yzx5czxnXVtGYjo+WlpSTENUSmN0RWtpeFdIbEtISnNFaUNCckFCOlFsZUBuPEh2X2VyP2lyT2VUT21yQHFydklxbWFNTUhtU0hPYGxOYHhuYXhSbj1MPEFWVXlXeG1xSGBMQVFPUHVUUXVUUj1VUkRYSVF4dkl5bXlWaG1XaHBuYHBOcE1QdXRZREFjO09eS0BuPEh2d155dUhmXXlaallzXUBwakBwdFBxdE9yPkhbdlloa2liYWZfZ1JIbVNIT2VUT2VWX2VWQ3RTPUNNR2VTR2NRcUJGbVVYbXlvWXdRSXNDSXNWUVhVbWJmYXdmcWhwb0h4bXlMO1dmXVd2YXlzWWhIb2NIX2ZeX0ZLSVU6a3NaT2JbaVZZa0l2PVJCY2NSQ0g8P3daW2I7Z0ZqSXdNeUZUY2NAeWJxS1RidXRWYXVWV2VVV2dbR05UTVVUdGxIZFNHZVNzQGdKQHBEXmZhd2ZNSXdub2lYT1p2XltIUF5rUWBmX19zb2lYUWl3aGl1cVxcO1FcXFp5d0c+ZUBvYkBma0BXdlVpXjp2ZTw+eF8+cj1BbjxIdl8/dWdAYnJJZmZJdFhAZj1ObDxRXFw6aF5qWXNpQj51QltrQnZFQzpRRzpZclpPYltJVUdjQ0dDWXNFWWxReGxhWWxrWXZ1aFh5aXl1Y0pLSGxLSFxcS0lCQ1ZqZ0Y6eXNZdXV2YXlTO2ZNSXdTQ0VTS1I8TVJ0UXl0YVJhRUZGW2c8W1FOPVB2VE9nZE9naG9naHM8UXI8QHdaVmRPZ2RvaXhlVXJBeFtRc0RRcz51TkZMUVdwbVRQbWRUT2VUc0l5TE1YVkFIVGBtc1ZIa0V1V0ZsSj1JdVNJVUdlU2dsTmBsSlFwS1NRT3F0UHFwb2hwV1xcYXJDQHVvWVR2PWtAVW53eFl5cVVTT2BOP2B2RltkPl1YaGpnaWFYaGBlb1xcS0liQlZsUHBsQEFmam5mSXFtR19oSk5SR2lzd0l4SFZbRVY7eXBRUFZLQVduYGtGYEs9VVI9ZVBvZFBWTVF2eXhZeVlpXXVySFRWXVV2PXlqSVZWTVFeVU9yUUxCUWNPYXVWYWFdb3JGTlxcQ2Bibm9cXDp4YWJAZnJjWG9lSD9EVEdIXW1CS0lSQlNiZ2lJQGdGOnd0aHlCaF1kTVdkTWF0TmFiXVFEYl1vQmh5S0F0SkFqUXVtZllqd0VLall4QTxKUEVKWHFKT1xcS0lFS0l0S1FlVE9leGxReDw9S3dYWXFxc1ZhdXY9d0pJbj51alxcQW9OYXROZVF3ZHE/VWtQRFZ5VU9kTE9sWWVqdmV5cGlXRmFsX3ZeSGNNQFxcPEdvY0hvXFxOXlxcbltIbls+d2pcXEFvdFF5dFdbRVZbd2dpd1FvZFBfZndePlF4X1lzQ3BbP0lha0doa09tVHRgaXNVR0Q8dXdYaWltO0hqO0Vxa1dWQ3RbP1FobVdoSHBrSFBwPUp3ZFBvZFRGXVNGcXNIcWtiQWRVP3JyP2B2ZmZ5cXl3aV5fZl5zSHFzaGo/aGpTSG1TSGZbR2Y+dz5IcF11cnh0WXhhT1xcTF5AV253RmlsYWZ1cXhnUV5cXE5ePndqXFx1dkl5bUllU0dlbEtIbFtYdGN5W1lyQVdXUGFnS11UTl1GdFtEQWV1eXdRVl1VVkRtRm15a3drQXhbWW5jV1BhT2F1VmFtYkFkVlh2ZVl3VT9kSj9sTVhsTXdEaXJBeXJZZ0l1bWRGbXZpd1Vkd1ZIYWVDUXNEUWdmX2dePUhSc3l2WXhJUXlvWXdzSVl2S1ZYcUJPW0NJRXRQcXRgU2RDeXJJd0VZeWhpdWVvZ2hvZ2dnZ0dLSWNyY1NVVVVVZVRPZXhJeUl5YUNGW0NOXVROXXVrV1ZBQ3RDP3FQcGxQYGtGYHNHWW1xdFdZV3FkUG9EWF9Id3Q6eWxQcGxQQHBqQHhjWXRhWHNFWXNZZmF0X3hkaXRlTm5NRmhOcHBwcHBYcG1YaWpFdlxcdmdpd3dySGhddXBoZ1FlXFxYXFxrT21QcGxQYHF2YHlHWF1xbm9WR3FMYXROYXZnaXdHS1p1TGJAVnJNU2o9WGp4bFF4dFRoUGVdU0dvWkF2Wk1mXUFAWkFuW1Y+bktBZ1hwbVhQZVRPZWtHaGtfaXJHW0BYS1FUT2VUb113UklIX2NGX19iPl9CeFt5b0lJXW1yRldYYXFzV3Fpd1VJYGtGYGtORnRxR2RWcE14XklTaXRPaW5vaHBKeGpJdE1sWXVIPE0+QGxVWG1VZVdnZW9ZeG1ZUGtEUFN2XVl2YGxOYExLSWs6VHE6ZUo9WVROXWQ+YGo+QFxcV0RMP2diP3dDWWRhQ2NIRVJeS0M/T1hqQXY7TWZNPURmeXRZdVl3aXhReVVDb1M7XUNTQ0VTV3hheXNNY2U8P1M8T2I8d2JIY0VcXEtJPzt2PmtpZXNzOztCOjtCOllCWk9iOzxaOl51QU4/O0o6PEpyeEtOPzo7Qlo9WFNxaXdVaXBvcEl5bXl0cElFeG9peE9VVE1VckBBdz1hbXdUWVBFU0NFd19Zc1FgUj5cXE1OPFhoQFZwdXdYaXVnaXJ1bXl4cXlFeExpbFdnZVc/eVhwPUo6PHJDTVdkTVdSaXR3THF0UHE+dVY7XFxxZlRQbVRsRGVueHV5eGlxd01zQXhLWUxrRVhrRUxLREx1YWBWX2VWT2hsT2hYZlBYcmlLSGlMRkBha1lfUW9vXl9mXl9oVkBrV1d1Yz5eWj5eWj5aUXBhOz5ackBtVFBtVFlqQUJJc0NJV2hhdXNMY2U/O3hsd0JJa0V2d1l5cUVVW1VVU1hfUXNPd1hpcXVTVVVVdWhJRUNES0N0VXhgaXNUZ0hlPWNCO0liO3ZWRXJyR2lzR3NCQXNuTWlMZ3duSXdNaUNHY0N4a0l4O3lIWUM6O0Jyc3NAcXJgQXlrWXZkS0dkW1JBQ0J2X1NMTVRsV3RKbVJcXE9mXFxvZmBvZldzZkJDQ0NDeFVpR11LSTtJaTxHZE5fZG51WHF1Q0dja1dJVEZETk5lVE9lTE5cXExuYFZDUUx3T3lycXNFPlo6Plo6XmlFdnltRmlXYXVWYXZfaXZ3Z0ldd1tJZ011ZlRTRVVDVkJnRzo7Sjo8cktseU9cXDtweGdZdVlcXFFyPVRNVVRNUXVUUU1OXFxMXmF2XmFKdTxWOjxKOnJLU1Vob2ZYcWhnVWV2X2l2eWJJc0VkS0dkS2VUT2VIW0VyO3JIR2k6O0I6c3ZzRVlzZVNVb0hnaXdVeWg+dUI7O2JZSWhfT2JLc0RRc3VwZ1dVRVRLRVQ/ZVI/UXY/WWNvYXhuQXVrc0Q6O2pbRXVTSXV4bVl4dU9ZbXFuYXhuYU50VEs6Zl11cF9pb3VwaGdVeHBxeGhVc1B5ZFc7SFNHZVM/S0V0TGhcXExLREw7SVA9bVNIbWtsUHBsbGtXTEo6PHlWZVl3ZVFweVJPZVRPRHBDPUo6XFx3ZEBWVHlKaVhXaG1XaGlwa2xUcmBUUXVUXVlRWl1TZVVXZUBwakBQSGhNPD5aOj5yWkZyaFBbYGF2Q1lsbk9hV1BiW0B5ckVbR2ZbX3NVU1ZhSXlAaWpVbFBmPU1ISE1gbFNWQE9pdE9JWFZBQEo6PEo6PE1ePHVsbU1GRVVTRVVKPVRKcGtIcGtcXFBuXFw9VVI9dVV4UGk9dWt0TDo8Sjo8SmppT3BgVGp0ckl4TWFIdGJtckBxcmxNWGxNU0RNU2dZVj1BSjpCOjtYO3dZP1NUVE1VdEV2PGliT1dHUU1jQ0djS0dzXmlVdW9Yd2l5cXl1aldFQDtaOj52QnZ5RG52ckl4XWlvZ2hvdXl4aXlyWE5xckBxYlBvZFByR0dsOko6PHJLbHNPXFxTa0VYa0l5bXl2UWVvVGVuY0hvQ2hTS0RMS0R4akF4cj15aklWbE1YbGxxbVFKOjxKOjxKWVFyc1Bqc0RYXFxhSldwU3FReGxRd3JEWG1xdkdRV2RNV1hxdVhBeUhZSzo8Wjo+eVBuc09ea2Zgb2ZxdkdZbVV5aDpBZj5fYj5vaGdRdV9IbltIdHg+Y0Y+Wjo+Wjo+cjo/dnZuXUZ3bnd4X2dxcGdjW1lJXTtCOjt2dm94W2tmTmVUT0VjR01KOnFvS2R3OjxaaUl0T2l0d1ZoYGFzVXlwaVdpdGlwQD5aWkFdYkBmOkJaRXJQdHBMZE07PEo6QExVcFJuWFo6Qjo7aE9bTDo+Wjo+anVVO0FCOjtCOjtidUFSPzxaakB2SXhheEFlbkBnS3luSXdtQnBbPD5aeVhqbUZpOz5aWnhveGBpc1FwY1d0YF5qSldmXVd2PXlqSUZrSFhaOnZlPWhpakI6W3hPZVI/ZUJweXJxeXdZSWNHTUI6O2JEa0I6PlpqOzxaOmlpcmB3dj5tdFBxdGB4bmFoS0dkS3lleEd5Pz9lUj9tYkFhOko6PEw9WG1wSXJWTFFuPVdgYXNTSHlzSXlrRVhrbW5gcG5JeW15dE50REw6Plo6PlxcPVhncElyVmdxdGd4QklsXXZleXBpT09kTE9iQkZjQ0djU1dlVXdxeWNRWXRNWU5uPEo6PlpaYWBoQXVBVmJdSHRwb3dWSXdiQXdCaGxpPltbdmZhd2ZbRl5bWGJBcFtLVl1GPlo6Plo6XmpacWtEbnZzWXhhaXZfaXZNcW5HV2dZUF5cXE5ebG5pdkF5QkBrQnBwcHBgPFZqW1lfWj5eWj5gaj5wWkBuOkB3Wl5aQmZbR2Z4bFF4REFzQkFedD5bS3BleGBJV2l1d0ZfY0ZrO0VGS2ZtP0RdYXRjV1Rha1NWP3lwaU9cXFhqSmxyQ0lzY3F1d1hZR2hrR2BSQUROQE1WXFxNblVYbVVNUjxNSllxbzx0UklwTXdkWGRhTHltVz9MeVt4UU9cXEtHcFJ1cXhnWVV1QXFCXFxNanF4Z1lVPkBsSHBrSHVyQ1BxdFBxb2hwb2BxbkxQYG1SQG1qdVhxdXBuYHBua0hwa3hwcXhYaG1XaER0Q0BRYUBvYkBzSXlzSWFyPmFSTVVUTWlzR2lPeGxRWHhLeVByZFRPZVRKPVRKR2lzR2lMTl5vVkdxbE5fZE5vb2hQS0lOc1J3WXlpeWl1c1hoYXRQcXRAcVQ7X2VWX0VcXFdEa01VYj1XYlF2P1RzRFFzVFVVVXVVdXBYZ3BvaHBrYmFSVmRUTVVUbW12RkltQ1lsYVRzRVlzbXl2ZDxsS0hsa25rV2Z3VUdaeF5lPz5lPFFlP1ZkV2dlZ1F3ZFFxXFxnckRAc0JBc112YkhAeXVZeW1IX1B3Xll4YXlvYkJGa0RQa3BfbUJoYWZeX2ZedkZvWkhPc0RRc2xJeGtJYGo+YDpxYT5JaXNHaT53XlxcYW08UGo8WGBhb3NGR21sZmJBd2JBeG1FR21leXRpWHVSQXViQG9iYGdWQXFLeFtRTlpwUFtSTl1UTnhbZ2BJQFxcZG9naG9rSHBrWGdwZGdsTFBsTG5kRGF0UXl0TWZdRFhuZFBPW1dPO1RQbVRgeXNMbWJJeVQ7b0lcXEV2Rm11PE9iPEdJbW12ZkNVbF92dklxS0xSeHBxeHB5eHF5VXVwaGVsSkBsWlVVdnh5YlBvZFBSV01PUkRQa0RQPkBUb2VYb1R4UXF2YXl2UW1UUE1waVRNSEBwcUh1S2x4W2x4a0l4a0xQbExYbl1YVkVxbGVOdXF2WEVUS0V4aGl1dWx4b3lzVnV0d3BuWXFxd1VRbW1mbXZmSEFnZVdnVUF1UkFhdE5hSG9tdkZtZ0hdeHZpeGFjWlFcXDp3eWdgdHVOb2JAb0JuW0huW0hiT2l0T2l3Z2l3V2NFV3NySXdFSXFpOltyeGdZTklWPll1cGVlUEViT1NHUD1oaW13T2VUT2VpaENicHlDZD9iOj9CdWtEUXVmTGVoY0dnY0tJdEtJdGZrVXZgVE9lVE9hdE5hVFl1VVl2eFZ0cGdqP2hqPnFpQE5xeFFlPVFvc1l3UXVkTVdkbUNIa0NIb1tUYGBDaGk7TmBsTmBEUEtreG95dWVvVXFPQkhxc0hBWHdRc3l5alo9UFJcXEtJdWNGbm5UUXVUcV5Jb212RmY8YWpQcXRQX2dEUHF0UHFgcG5gZmtAV3djaV5Fd2xoUkhMbHN1cFJYeXF5d11cXGp4bFl2QXVNVWpzVFhgQU4+UHBsUHB0bFNuSXhrSVJCZFV0YFhjeG5RRW1VWG1VVVVVdW9YZXFUQHVfXFxrXUxLP1BWY0VXQ0BMRHlzSXl3RVFqZ1lRV2VVV01uWWFVaXFWSXFtV3htWXhXX2VWb2RYZGFUdnV1eG1WYG1OS3lXaHhvQGlrVXRqSkxRcF13UmxxRT1ySXlzSUB3cW10YVxcTERkVmBhc1NAa2N5dD91eVJETVNETHdxdnRhUlhtVXhdc1JIUF15ckl4cnFpd3F0UHFUTHdxc3RRc05hdE5QUltAeXRReVxcWXE+TFI8TWJ3cXN0YWpGb15pUGVvUG9kUG9EdnVxeHNXT3RNWXRpX3VySHJaP2B0UXFJbnZAaWtVRnhrSXhxeVdJR05LQ3BjdldZaXFNUjxNUjxLQlY/aVhTVUxNVExDRk5RdExRdGtNdkl5ZXlDRDxNRlxcS0ZGeVVlSXZbSWh2RXlsbXBAWE55dVl5cW1ARHFTYFBjTWxdWG5daGtHaHNleXRpeG14ZFlEcWtzeHNXWFFRaXVXaW1XZFFxaXI9eEpJbE9WPXFKaXdNTXF0UHFlbFRmQFhuXVhubFBwbFZlbUpZdVVZVVhtVVhwcHM8SHE+YGo+dFdpdXdodW1MbVRQbVV2QFlrWG5deXlldXdYWXZcXE1TeXlaeWFzRldgV2FoTWBoU0ZrTGZiaGZvRU9iQ0dcXENvb29pW1tndW13X3FvcFlWa29YZ1d5aFFAZXFpXnFBeWhGX0xPX1tGXFxcXE5icUZlV1ljVGZlYE9nVHBmSHl3SXh2cXh2b3ZxPEd0Vl9reHZ3eWJTd1ZYV3hWd3NzY3NrbUltYWVhSUlBeWZJdWV4S2VUT2VsTUNaS0l0S1VIZUdxQ3RIaWV1U0ZdU0Z5O3lLQ3k7S3ddeE5nZE9nbE5gbFJYVFdxVVhtVVVtcFZHYFFUbVd0dEtJdGtJbFVoRHZqPVFocXdoYXZ5RGpTVFBgXUxOXFxMQllWZ1lYYXFzb0l4a0lsQVdtYkZfY0ZfYj5fYllqWUZdVVZddVF5dFFZa0lIb0tfeVh1VHRtdXZIaXBoZXVUbVNHeFA/cWxnVFVcXFVWXXVRcklMdz1LQll5eU1ST0x0TmF5XXV5eGl5VE1VVG1VWG1VbkVTVXFwZ2V2TUx0QTxNVExNPDxSR2VTR2BYW0RjYkl3Y2lpdEd1aGd1dEhvRHl1dUF3S1lub1FjYmFyP3BdP2FpcXF3V0dhZ2htRWl2THBbWGZuckd4XFxpYndQXFxlVl9lSF9Nb25iTnhqZ3dTWXBhUFxccUFaOl5gVkJKSWNFV2ZdV0ZzSXhaS0RDX3ZRO2JsdUhZO0JIYWVzU1RpX2JWS0JYbVVYXVhxQ1ZUTVVUX2VQcVdkTVdkX3h3O3JaPUhed3VEdUZoS3l0UXlscVV1Z2hvZ2hsdXg6VXJpd2huTXY8dXl4bWRZc1ZhdVZNU0RNQ1lpZ3ZNa2NXU0lQdWdePXY6SWJYbVVYVWZAZWNMZWRNQ2VcXGNIY1NiSz9TXkNzQ0lzd1l5cXl2aj1JbHFDYlliQm1oTndkUXd2WkF2OnVEUHdkUVdCOmdkT2dkTE1STFdnQEdjRVVzWz95Pml2ZVt0akNYY0VXVGtGaGNHRE9iTXNkaT9kPFdEUWZfdkFcXGJPbmBmZmpeaXh2ZWJeXFxkRmh5TmxLWWt5YXlteWtuR2ZUT2VUcHF4cHlxYGBgSHNEUVNLQ0RLeGtJeGNJdW13ZmxXVktdSD1VUj1JWW1xdnNBeXJhQ1hbSXJnVnh5Yj87QnRLSXRzdXl1eXd3Y0l3c2pHVj1hZG9ZVztFaXRbWGJBaGBlc1RzRVlzZWlxaXVxU1NJaGJzYmVXZ2VBdWtwa1l0UVhFbFdgdVl1S2dlV2dNeD1scldpdXdIdEtMSllhTkVVU0VBblpATml1V2lxZW9RZHBfX2Q+bkNHXUZwa0hwW1FYc2c/ZXhQaW9Rd09WX1A/XVNSbG9jZG9JUXVUUWVFV2NlckF5cml2RXlkTU9EWHNjcUF5a1l2Q1VkYENoU2FXc3VnV0VWVE14Z2tid2F5dmFUXz1pTF95RmNFdFtUY3lUa1tkZWV1dGdYRHFDW0dYUXlnWXVjQ0djU0VpbGVmdmt5ZVl5UkFIWm9EPEl1U0l1U2ZmQUduRmdfc2FfamlaVFBpeT5tX1dzUGhyQHFyTFlmY0d5dm95bGl2RWl3Z2l3Tz5seEBaOnBuYHB2TGheRU9eXVZeY0lxcEdeW0ZeZm9gdVlmPXFdS05iQm9dbFl4bXliSGBdc2hpdXF4P1ZbUD5fdW5cXD5QZXRwbkhgdldPcW5HZ0dnY0dBcFtXclZeXVY+Y1hWdml5d2lXZ2VXX0lBdXh5bW9Zd1FZeHJfYWl2X2lodkV5bFF4bFF4d1ZJUWNYZGFkP2diP09yPDtSQkNmdkh5TERrPmxRblV4WFxcakpQam9kUD1IVmo8TXlcXHlqWXJUaFBlPXl2bXE8bFdbdXRKdGo9SUtIbEtoPE9iPHNCQXNaPVBSRHdjSXdERUs9RE4+QEw8dVU9eHN1WG1FVGxDYVRobXVabVZgbVZgX2NDSFpaXmpKTmJiWWdaUF1JcW5AP1tbXmpKTmxASF1GTmJCRj5jdD1HRUZLUkJDRj5fVElrVmo7Q1s+Y29BZkBWblxcP3NdV2RiTmtMaGdtUGBpP2RoYHZuSHlvcV1DV3RcXEBvSnlcXDp2Wzs+bFVfcGdGeUo+YmRAW20+XU9WYlhObExvZFBvXlVxZkVXY0VnbHVhYlBxbk15dFF5aXFxd1dgZ1VhX2dmXz8+Wj1WWj1GdXBWX0leZ3BWcU9Xb1BPYFlZWmlxdXdYZFt4Xzo+dls+XmV5XzpAYlo+OlVTRVVTcGdzREljdnF4Om9ocG9oZlVlP01YP0dFRk9ja2NIb2NCOk9iPE9CU2toU0VVU0VVU1BsbmB5b1lQbVRQZVxcT2ZcXGxnVW1edVlkUHM+ZVlNVVRNRT1tWXhtaURjV3g7c3RBREpLQz9nZl9nZmRPWEI7ZVRPZVBjRE9Dc3Bnc0xPZEw7QmpbSG5bZGdVaGxNRklXUlpfZl5fUldlVVdTSFJjdDxHRUZPY1tzZlN3SGltdUJBaEdNdFRPQ1c/cnJdSVhDWWxDaWZfdl5hdmo7RUZTRE1TRFNraGNzSWBtVmBNaHdRQjo7clV3SGldVF9ZQ1pzYz09RnFzSFFPZmJvZmZJQkdlU0dNeDxFY2FPSW1TSG1DYjo9UmxtQ1NFWXBhd1M7Qm5td1ZJVUBnV0R5Q1FXc09HeVs7eGZJdW1TV2VVV2BTRElJY2RfQnlRVWRrclJBbWdob2ddUj5dakZUdXZQWW9RT01Ic1ZcXFFyPXBGVHVObl9oQjo7c3B1Qz5dUj5deGV5dEllVHQ/dFddVVZNRExLRF49WVNjZmI/Z2JJcj13Ql51cnhleW5heG5hd2dpd19tWUI7SFJbY2BfdztvV1dRaUdNZW5DY0Vpdnh5c3lheUlfQz07eWZbRkhBeGpBWFNraFNrRFBrVlxcTVZMWWZBdUNTa2hjbEpJbE12QXY7WUpTbFg+RUs+TGpiQG9icEx4YVVPZVQ+SE1GUHdrUXhsUWtFWGtlUG9kUGxPVWpbSXZbaVl0YXhrbFBwbGxPVWpsZXR1eFhpbU9RWFlfUXNPRFVvPFVUTVV0dXdYaVFpdE9pRFVvPE9pbVVYbVVvZVhvTVB2PWtrXVZeXW4+TU5LZW93PFhhcXNXbE1JeE5lcEo9WXI9WXFxdXdYcXF3VXlAVVdsRG1GWXRheFNhaXZfaUtZbFFWbVRldXlWbVhwbVhQcGxQUFB2XFxKPlFWa2l0ZXhUd1xcUXZcXFRfeEpcXF14Ykl0TERrXlF3T1lvbFBXamxPaGxTWjxMYkB0WzxqQkRNeXVVcXRXWGFxbmduR1ZzeUF5XXlrc1hoYXF0T2l0Q3Fob2dfTXhwcXhoR2djR0lsXXZiXk90VE9jRE9jPE9iPGFqQ1ZcXF5PdFRQWmo+XUZIW01uXlZvcXZHYXl2YVlvXkduXXI+aDpPXktga1V2YEhvXmdIXzp5aFlpaWFHZ2NHcWl3dXhGbW5wYktfdHhoaXVRcW5Hd1xcd2Zhd15NcFpPPnJVWXV1cG9ocHdaSXI9UGBjZ19nUkVnY0dnVFtXUjo7QnZnaXd3Z1hlcW9ZZ19PdFRJcW13dkRXY0VnaXZfaV5PdFRQWm5Xd1Bpc1BxdHB3dXhoaWxQbU1oXFxWXl1WcXBnc1NJdVNtRmdHRj9JZmJLY1xcP2dvU1dQQVRsP2hwZXdUbURFZ2RYb2VIRVROYXJDV0R1XXhiSVJLXVQ/ZVI/R2ZbR3ZSSWhddUlwX3Q/V0NRO0JaY09UYFNcXD1uc0xRdExZc0VZQ3FwR3lvPkFta1RWRlxcS0ZsdXdYWVFheWBwakl0TWhNV2RNVU9lVE9heWBgTGBAcXJAVUF1UmFZeWl5cVFIU01lb1RlcGxZeG1ZV3hVVERgWGRhdGM8SnJAWFtRUm1ZbXRUWGBhSzpcXGpAcGpwdHFjZFJsaXhvaXRNWXRlZE9nZFd4VVRdbXJGSFdVcXBnZVI/ZVJtWW1MPW1xeFdZUXdjSXdzUXl0cVB5SG9UUG1UVEtFVEthdE5hcHZxZG5CdUxpbFU+PGpNeE5JbVB5SG9iQG9iPEpSeXF5dVltWW08TWtLUGxMUFhkYXRjTGtcXGBWVkhyTnBsUFB3YkF3RnVteGRtTFBzWm1Zd2l4UW1KPUh4ckl4XXlrZ2RqU1xcc2FRU0dlU19FcFJVa1F0T2htVnVcXG5dTHlJeFF4QWxDXVREYExOXFxMXnBuYHBYcXF3V3FWcFhQYW1zVmxLQVhsU0htY1RsYmBMQF1PUHR4ZGl0ZVhYYXFzX2l2X2lzY3VqQVl2U0VVU2V4Y1l0QU1OS0BzZGxQP0FTSXVTYVVwU3F5eHF5R2FXYUxPZExrO0FWZnV1eGhVYERUY0x0YGhTVUBtRm12R1ltcVRtU3FzQGlrVURNRmxyV1hRcV1WTGRsPEFTXkxMQXRKQXBrV1RRcFR4QWBtOj1OYnNNUXVUUWlwb2hQbVRrR0ZzVWRRbUI9RVNvVXJKX0NgR3RIO0VEU0hSd0dsWXJJc1E6WG5BdWt4RVhFRFdjRVd0UXl0cWtIcGs8RW5KbWo7SE9AZVZfZVZRcW9XZVNGP2xTX15Zb3Y6SWo9PjpNdW5HU0BHYmNbc3dXWXFhdE9pdHdjSXdjclxcRXhRZ2hKdVRRdXZbSXZbR2ZbR3haSXI9Q3VARFBwXFxXUkFKOnRZeEl5YXlMcUBsT2hsT1Fxb1V3eGRZdGF0TmF0bmRZY3hKSWxNPnRKQVRPd3hzQHhzYXl4Zkl1bWhTVXBQaXhVeXB5XFxxUmhkVXRgcl5NUGFxc1dYT3VAcU50TnNEUVNVU0VVV1JBcFtNTktAd0VRVUpAU15UTGFsU05VVE1Va0NIa0toV2Y9U2hgdlJIckppdWpcXE49SFduWEpAUHJGbHZFQGs/UVZpdE9pZFhvZXhpVHFOQGxLSGxLSW9NdU5tVFBtUGo8UEpTeHJgQE1TSG1TaG9VdXBocXV3WFlIbVNIeUxmbFlwYXdTbUtBWFBoXXVyZGxlcVlaaHlveXRZPUpqVFhgYXNpPHlzQU9OTEthXXNSSEo6RE5bRE5sQWtHRUpeTExDQXlrWXZTYVdwSW1tXmk7UXZTR2VTb2BwbmBAcXJAeW1vaXlzV3lwaW90UHF0PlpGUW1vVndFbmRkVmV5YVlZVl5dblBxdHBUUXVUeUVsTElga0ZgdEtJdGtNWGxNVD95dWpcXHJTWXBhRU1GbHJObm52b2RITmNOaXRPaV9TT3A+Plp4d3l3eWhzX3JAYHZBb2tTXltveWdxXmtheG5haG1XaGVdaF1qXlxcYD9gWU9vdmBxVmlyP2lqO0FmdkF5XXlrWWhoVG5rRFBrbD5gaj5gbVZgdV94YklsdlFyTT9qVXlwaXdwaGd1VEF1UkFhW0ZeW0h3RUdrP1F2WkBuWm5aPUh2YHF2UEdlU0dfeUB4Tj5mRXFsZ15bQFZyU0l1c2BuXmBuY1ljT3ZcXFFWYXNGYWs+XUZob1V3cER5X3BmWmJgb2ZgXXBeZ1JWajtBW0ROW3Rhb3hAb1JAbVJWYj1XcnBoZ1VxXl9mXndvdFR2d1l5cUlvYkpOdVVZdXlvZmpQaGt3d1hpYV1WXl1wYGdPdXZvd19hbldWYXA/cFJfb3hoaXVxXFxRdlxcRUlfcGZyUmlwZXdcXE1Ic25faG5fX2ZeP29pTkVVU0VldVdpdTtCdkF4PXlDbFljR0NzQ3BWalxcblVsbl11ckhwbmBwbkdwWDpBVFJIcm5Uako9T1ZwUXdNUTo8UXRMUXBkdkRtWHhtWXhhb1NVcEJ5eVZFWXNFWUQ8a0ptdUxZdE1ZUW9Ndz5xVm14TGdMVU5hbG1AeWdZdXFoTVZcXE06PFZwYXdTeXVAaWxpWXBhdXNkPVdiPU1VVE1pWXVxeG9LcXduUXVUX2ZUaWpgcG5gSXlteXZPVlxcW2BlQ2BiXFxAajpAOltFVltFaHV1eGd1YmV5PE9iPEdpbXV2ZEdnY2dYZ1F1b1lDdG9HeG9oRmtiXFw/Z1F1Z1hFdVJBdWJHZ2NHeXVZeXFjdmZrZU5fZD5td2JTdmdpd0d5dm1pREpDZnZneXF5aXlpdExRdGRVdGBnc2l5aXlxdWJ1WUxlVVdldVtXUkFfc0Zhc3JbRUhVWGhPcl1jRkx3V0BTUktddERnRGU7ZUZtZlRPZVR3ZmF3Vl1nZGtTYmNtZl1zUkg/ZFVJY3RXUXlcXFlyQXhVeXBpVXdPPUxEZGpRdW9YZW13VFlwcHBwcFBBWHJDXFxLRlxcTEJcXEpERUtPbU1EVVNFdXZHWW1hcG5gcG5lWG9leXdpeU1PZExPQXg+bVVMTVRsPXdKSW5bVXJASEo6dGxFaVFwXXdSUFBcXGRsUWB2XmFWbERMTlF1VFFZXXFyR0hvY0hvR1R3dmRZdGFYPXFqR2RtdGRYPDxaQXZbaF94cWdqZEdhc094XnZsRWlaOkhmPXFqd095Sj5nT1FvT3ZqPUllbGBmQ1l5cXl3eUBmP3dlW29aPUdkTnZrQVllbkBnS0ZpYG90VkhhbU9eXVZeVXJzRVdjRXdLWWZBdVJIX207QVZuaFdVcVByPFFSZVhpeG1wXFxsTFBsXFxndE8+WmZmX2d2dGl4ZVlQbExQdGpwc215VnlleE15Q3FqR0R5Q3lYeXF5d2VyQUlrXk1qSEFWUlxcTD9FSjpRdW9YV3FgV1NRTj1JU1RpTl9kTlZtT3Fwb2hwT2NET2N4V1lxcVlwb3ZFeFxcaVJpdVdpSUxdbFJiQXdiQXNqbGpSQXVSSUo9bEo+aGo/SHNqaHNpcExZeHN5WXZJeFFIZW10ZHh2SXltbUxFaFZcXE1WXFxFVltFVlxcTVZscXl3WXlWYXVWYXF2YHFkUXdkcVBnTXVGWE1xbFdvUXdPcVRQbVREcWtRbXhMUXRMcXBoZXVUbExQbFRQbVRgaG5faFZobVdobWdWd2RRd3BqQHBqaXNVeGA/aXI/UWZrQHVIcXNoT3NOSF9FeFxcaW5kT1h1aWVfUXhfWXN1cXhnWWNFV2NNQ2M+bWJAb2JnUXVvV1dZcWl3Y1JLRUlzQ0lzRVlzZVZfZVZWa0NhPXNKR0ZFa0RmO0V3S1luT2g9Z2R3a0lZd2lhdXNYV2Rhc1N4c1l4YVVHZWtrSHBraGo/aGpjSG9jRVVTRVVYbVVYZFlCXFxrV1RRcGV4ZEdjYHZ4P05sTFBsQnddWGhxd2hpbE9obGBjcUBuc1BgbVZgcXBnV1Fpc1F4X1F0TFFkR2djR09oQj53Y0l3T2ZcXE9GbD0/bmhwb0hxdFBxaExhbkNHajtIamxoeUlxeGVGaG9Rd09pcXV3eEBhcj5hdFBxdHBwZ1dRbUVpdlQ/ZVI/YFJeW2w/W3ZYSVdUTVVUbUVYa0VlcXNXWEF5a1l2a0lSVlFnZUl3TXlmY0dnY1dkYXNTUHdUQFNCOkNCO0NCY0VXY3V0aXdVaV1oYF1XZl13ZGdUZV9WdW9YPElzQ0lXcXF3V1F4YkV5ZWdkWG9lWGtFWGtlT2dkT1dlVVdVTl1MUXVUUWF1VmFxPXVqSFRqQXRLWFxcUXI9UEVockxtWDpQeF9MTENwV1hhcXNVd1Bpb3F0V1hhdl5hdmpJeXZVTE1UbHBpd1VZVVNFVUdQTW9MU09tTXVRdFZcXFFYdE92XFxRdkl4XXlyc0hxc2B2YHhZZ1F1b1hQcXRQcXhwcXhNb0xXTkRZalh4cWhPZ2RPZ1xcUXZcXHlPWW9RXXZKPHRNWXRtdFBxRmZbR3ZcXFF2XFxhd2ZhdUZZYlpZZ0hBZkJQcXRQcXJBeXJBWWtlVktCXklmZ2d3VGlobU9obEh3Y0lXZVVXZWB3OmR2aGBxdmBRdlxcUXZEUXNEbXZBWT08Smh0bGVtZ3Z4ZGlwZV1wYkdQZE94XkpYbkk/ZD5vWk1fZVZfbVF4bFFZcXF3Z1NxYEVAXFw8T3NsaXhhP2BCZmltQXdGbmJHb2llQWBwbmBQZ2xBZ3daXmpKQkxlR2RHeFZzRz4/RDw9S0xBUD1IUkJETj5mdD1IXUZOQj1DW2N0PVJCY0hPU2VHcUZpO0lWa2NsVUY7PUNbbUI9P2xUUG9BdWtYZHl1eXhhVXBTWUtRbE9ObVhmPEtvYFhsXW1FYGpKTFJZQU1QVGtPQG1SQFVXZVVnSG9jSG9mQVVKTFdjQXBJbEpbXFxqeHRLYHhPQmRZRzxQPUhSQmpkOz1DWzpjWUBfdVZhdUJBc0JRaXRPSV91Qjw/VEV1YlNbQzxMZ19pdl9pZXVwaG9BeGpBZXVwaGdQcF1HYmJobj1hW0BGXj5QbWRmYXdmcWRQb0Q+WlxcT2ZcXF9sV1ZbPGdfVzpDRj5fTEZDW1tab2U7QT5QZ3Fhdj8/W3c/XUl4cnVPeF5JQ2tFeFtYYkFUSXNDSWNCaWdpcG9QdE1ZdGlrVXRQRFFzRHFZdEl3YWRKaWhNW1xceG9Zcng8TT5AdEFcXHdTWXBBaXNHaXNXaXV3dXRoaFU/aWJPXnFweVxcaW5lclZhdXZbU05gXkd1bGhmQ0djQ3dtaGBpYkF0W3Bxd1d5WG9xdkdla0Zwb2BdZXd0aGhdcj5oWk9obE9wbFhaOz93PUFgPUhiQmZpOlF2P1lrTVhsTVhpcGF3Q05kSV5mUD9taGhldXB1dXhoSWBzUm9nbklfSklyO0lySXZdeF5ha092PlBiPFdnY15eTEZzaGhldXB3WGlxdUd3TGleX3dyPEB0QUh2T19ePkB0QUd3Y0l3O1dcXGxTSF1Yb2VYVU9ocHlJeEFxY1l0YXh2SXltaUBsWlBVRGxOTUhZdkF5a1lxcXV3SFltcXRTU0lwWlxcSD47Y2ZbR2Y7S3NFQVZCUXVVY3c7S1hwbVhwbXBmQGxCUFVQSGtNdE5IXW1yRFRTSVRaXFx4Sz1ZT0RLW1xceEtNd2RRd1pga2VAU1lVclRJTDx1VXNcXHc9SFJiaFJNVGs/SUxLRExbTmJMWExlWG9lWHVTSXU/Yjo/YjtXQkFLZElFd2ZJYkl5dmlpdXV3eFR0dGxZeG1pT2dkT2Ftc1ZId2VZd0V1UGxld1RpcHdUWXBhbFF4bFFkTE9Ed2VZd3VUUXV0b1hlcVRhcj5hanZNWWlxdXdoTXVsWF5xdmBxdFBxRFBRc0RRP2xKQEx1UkF1OjxSR2VTR01XZE13PXhKSUxWXVVWdXl4aXlxXkVzTGhTVXBQV01xbkVXWkFyO3hZeEl5YUR3dUlWajxNOjxMUGxMcHl0WXVZd2BZc1FUQXVSQVlyPVlWY1F0X1B5dFF5PEVuamlyRT5zXFxxYHBuYFVuYGY/X3hPbUhJbDo+WlRGcENfYjtfRFlzWV9Jc01YeXFxS0l0S1lvUGVvVFxcUGI9dEBoS1VMblxcUG5kTE9kTFluQXdrUFdPUU9BdWJvcXg6X2ZeX3ZfWGNRUGBtVmBZcGF3T3VoaEVtd1ZJaXhvaXhfVl9PRVRLRVRPZVRPdE9HZUZ5eXVpdEFRVmtvSXBXUz9PUltxaXdVeTxRcjxRZ2RPZ1hpaXV1VltFVmtLWF5YX1ZHY1E/bmJOd3l4eXd5d1tYYkFQcG1YcG9faG5vcXVxd3VIb013bkB3YkF3W1NOYD5hdVZheUtZbkFHeGtJeD9nYj93aXlpeXFGb1lHZVNHbUxQbGxBdjtZamJAb2JIZW1wZnNXaXVXdEdnZmF3ZnlJeWF5bUNJU21TSG1jWG9lWHlZeFl4WWdGRW1kSl9zSV9nYlF2P1ljW0dmW0dJc0NJP2lyP3F4cHF4RXFkZ1NGeV1VOz9Sal9YY1F0SWdXPFF1b1dXRUtDRGtFdjtZSmNFV2N3ZVl3dWNYZGF0TE9kTF92XmF2PmFyPkF3YkF3TXlmSVVXY0VXP2NCP2N1d1dZcW9ocG9YSkFmO3VJdkF4PWdob2dYd3d3T0lpbWhSQG1SeFBZb1FPZVRPZVhUYXBTRXlsaXRNbFxcVkJEeU5VVVVVVVNlTXU9d1VQUktdTD9FVGVzSj1DW29EYG9ocG9oeXV5eFlUYW9TR0NDQ0NDQ0xQd015bm1OTUhzXFxFcFxcVVZdRVM/TGxgYE1zTFg+cXVYcVlWQXFrVU9QXW9qdVhxdU5hRXg6QXI6TVRhZXNUaFBwbVhwdVdZcXFfdFdJeW15dG9faG5vVXlwaVdEUG4+TU5LPVZaPW5faG5fWWJZTmxJd213VmlgV2ZdV3JbQWhIaF11bmJLX2R2X2l2P2I6P1pDaWhwbmdWQWNhZ2JdcGJHUG5iTmtWUHJhYGNTUHBeR3NMcHV3WGlBblpAbml5aXlxUXl0RTpbWGdRdW9fZ2Zfd3hpeXVJYjtHYmBxdmBBQmpfVkNRRERPZjxNUjxdeXdpeUNJdWtBc0tXRmhtV2h1dXl1eXdRd09ZZ0NJaU1nc2B1dXJHWD1vdXZFZko9SXhdeXJVSXVTaWZfZ2ZLY1xcT0NFU0NDSXVXR3NeTUVSO0VSO01yVFhgYVN3aFFQZVVXZXVbWFJBPEpScXBnVXVBdFhjQFJaPFhqPVhSaFF1bVhXZVVXZFJLXVl4dFk/UWtPTFF0TFFuZWpyQXlySXY9eWpZYFFzTVRiXFxMUG1UUG1tdkRZbFhVcXBXXlVvTU1UTG1UaGBVU3lwaXVVOjx3T1lvUWRxQmlqRXRMYHlzWXhvZ2hvRzxKW0ReYlF4TXZeSD9lVE9lWFlxcUNpVVI9VVJTYVdwV2RNV1RnZVdnY1JLZURPXFxRdlxcUXZheXZhSjxESj9FVHZsTWldeGJJdGZsTGVhdGNYVE5kUk9gbE5AbVVYbUFdUj5ddXl4WXlkTl9kdk9Zb1F1c1l4UWlBdWtYTjo8eXJBeVZNcW5FV1tRcj9gVk5cXHQ7WEpBPE9EUHVrWFZBZFk/RU92XFxRVklyO0lWWGFxc1VPUW1vXlRWd2hLRlxcS2xUUG1EdzpRU0RNU1ZcXE1WbFJGQE07bXFPdHNZeFFxUGA/b3h5SGo7SGpbSG5bWW5Bd2tURnlkT15uSWhjRl9jXnZlX2tTXls8Z19Rdm1JeXBsUHBcXHZ2VE9mR1Ftbz46X0VzS2R2Z0ZjY2JvZ2hvWWhhdXNiUUlhdXNYZ0ZhTWhyQXlyUWI8T0JgU2RzWXhJeUlFdUh1Y1l0YXhhc1NYP1ROY2hjVXRgO0JCT2NET2R4YXhfWXNRX1dwU1VHZVNHb0lHR3l1WXk9O2JPZ2RPPVhqPVg7RVI7cWRnU1VgZXNUZ1J3WWU7QVdlVVdBc0JBU3RFd3ZfaXZvd1dZcUU6a3ZJeWVJTVNQZWdUZUI6U2dQZWdcXFd3bkF3S1lCOmtCRjtFSl1UTl1SUUtkW29pWG1VWF1YQ3lneW95RDtCUW1nVkVmRU1IbVNIU19TYHNiPUlHZVNHdUF1SFVnaG9vS0hsa0lwSXVrWGRRRG5deW5pZmZlYndnaXdjWF9dcj5oOmhyXFxnckF5ckV3aXRxdkdZXWxIbV5pd09YX1E/Wlp4aXlxeW9RZXBHaGtHWjpAdEpldmd5dXl3eUdFRmtyU1loYWVmZWFTVW9IRztCcHF3V1lTZFlVUj1VQl9SXFxLeU1RYjxPQnBTZWd3ZmF3Rko7Q2xTSG1Dc0htZkdBZWtTQjpbRVdMbEZ4alxcQE9JdVNJPUpybFl2QVFzVU9LQFNOYXROQUo6eXRReWxJeXZNUFJLQFNeUXdkUVteeGNcXFZkYXBjPz5qZmF3Zk9xXl5hdl5dOl5fZl5feG5wWUFcXGRPYUZBZkpOYk5mYkt3d1l5cVFwaXVXd1BpXzo+d0xpbkVGaUVPYFJYckF4W1FZZURgbUd3XFxnTmVuUXY/WVs6Pl1uPmdKZmlEV25iTndXWXFxT15LQG9cXFBuPFdjRVdzQkFzYkh2REdzbz9sQ1hcXGFObHFgXj9GeHBxeGhUXUNFRldlVVdVd094d1l5cVlCOkdmW0dGc1Vpc1V4YD1CUnVpeGVJV0VWSkFmO11mZT9SdEVHTEtnV2dlV2NVbGl1cXV1Oztibk1YQEVUTnVmSGVlOjtGb2NIb0dWUmlTO21XeHdoaGV1dENjPk1SUWtEUXNETV1ET01VVE1nX2dmT0FIb0NHY0NHOztCaHNkRW11QHlyQVlCOldjRVdTd09XXXdSSW9kSHloQj14aW11dkdkaFdocXV3WD1CUmNJdF14R1llcUNCWk1yPkdDb1FFW2NZW0NYa0VYT2VUT3V5dll4SWNVeD12OklCTF9SUF9kTj90P1dkYGNTPDtibXV2SEl0X2NnVXVoQDtiUXlnWVVTcUdFVEtFRE10VEt4UE1GSz9XYj1XakNlRkV3RkFVWjtEakNlRlFZPz9Dd0VFdFNiO0lYajtDb0BzT1BqVmBtVnhieW5jSG9jeF94YklcXDo+bFlQdW5WZE1XdHRXY3NHaXNndXZIaW12XmF2bm13dkhhZWhibXV2SEdoa0doVVdtW1hSQVBxdFBxcGV3VGlMOkx2XFxRdj5MSjtEWVd1a01YbE1pakV0TExUTE1Ec1VNUGFBa0Zga2M9c0Zhc2ZwVUNBd0t3c1l4YXlpdXV4aHZvYVlXZVVXbUZWeUpwXVJQYlReYG5eYE5wZURgZXhPb2JAb1pYYz5RZms+WnZ2aXhhdUhxc0hwX2Zgb2ZgYGxOYGR4YGRYbmNhdVdpdVF5T3l5bll0SXVySGdFVWtJdj1pVVdlVVdnZVdna0doaztCPl1SPj1DPktCdFFlS2NjVlV4XFx3QmlEclFZeU08dF9hVm1EWXZsdV15cklISlphckNOZW9QZ19obl9oYmRhbl5gbkp4Y11XZl1HWlp2YXl2aWVxdGdQcXRQcW5xc1tAX0RgZEpxdFBxXlFobjo+XltGXltHc0xoXnRQcXRIZltHZkBvYkB3XVZXbm5HW0NZZmJvWkBuWjo+ZFNHZUNvdUxgdEdPXktgcXZHeUxwdWtgaXh2ZVxcRmxGPl1qPnZNVnZBQFxcdGFlcnZcXENGblBYY1xcRmxmYXVzWHBFd2xoVnRgaGNlZl9nZnhwcXhYSXFtd15uRmZ0YWhVcGBnP1o6d2VZd20/UWZXd3F4Z2luQXdLUVxcQ2B2bGl2RVlrUXZfaHF0Z1hlYXFzV3hdeF5pUj9lUj95a2hyZ15fZj5aWlBvZFBjdEBwWE9ya0lbXnBudFBxdGZpYHF5Wk5pTmlfO3duQl5wa1l2QVlaOnF1d1hpZU9nZD9jQ0lyPXhaWXFxd1d5dXl3eXhpa0FhTXFpd1VbR2ZbZ2l1dXhoO0diO0lsXXZCYW5hVG1UUG1IUE1vTGtBWXZfdVZhVXJ5eFBzSFdiWXBgYFVLcFNXPEpqXFxQblxcbFhJS0htU0h1cGhldXR0WXhhWUtFVEs8SmJNV2RNTVI8TUJ1TkdUYVhpeV5JU015U0NEU0VVU1VmQXVLUFRraVxcVXJAeDthWG1IbnRVUXBwdXhQVmtAVV11ckhoSjpoTXVsWEpATmNMa3RJeWF5bW9gcG5wWGlxZWNZdUJAZF1AcEluWltwbGV5bFlvaVN3cGhndUBpa1V2dGl4ZUlPY2xQcGxAdllJd3k+WlpGbEJvYXJAZlhvZVg+WkZmXXReXFw6TnFvV3dwR3lsaWZLQGNOYGxOYFxcT2ZcXG9Pdj5Ja0Zhc0ZJd015bmlYZXFwWzpOeG1ZeFVuX0hvXnJBTGtHdll1UUt0SnlmUXF3YHF2QE12XmN0QklzTE1pO0V3TEtZXV9mUWlETltEPmFWbHN4aGl1ZVVWXVVIXj1zSl9nZmRwb2hwS0VUS21XaG1XWVxcVWlEVFdlVVdYbVVYdXNYaFlWb2pGZjxhakNWXFxgXmxReGxBaXI/aWJBd2JZVmFwX19cXE5eXFxXc1BoX154c11pdGV4ZG9Rd0VgYlxcPmdKcFxcTllbWHBrVmBnZkZ3c1ZaOkhwXXdycF53W1ZqeVdhVmBDU2RzV1hhcVlcXFVVRFlzRWlpdl9pRFFzRHFYZ1F1b1tXUkFoSWtna1lDcF13S1dGQV1DR2NDQ2FCcW91d1dZYV9mXj9FVVNFYWtGYEtka0lTQkNzRGtWajtDb19VXl1TaENFaEFSTllJc2N0UHF0eD1YO2FiPl9CaHNkZVl2XVlkTVdMb2RQb112QklsZm1QdT12OklqPXRKSFxcS0ZcXEtucHBwcHNHaXNXXFxQYj1MRWhyZFxcT2ZcXFNJdVNpUXRfWGtuUXZzRFFzPEo6bUpwPUo6ZVhvZVB3eW9uTFhkdVdybU9JPVNCPUo6TFlsPFBTPWxoeVJbeFVFXFxKPER3X0BTW2B4UERwUl1vOkBqOmB1VmF1SGVtdGRTUkBQO3VVWXVxWGl4S3BqcmFZeHVsaGRVbFl4bXlQaW11VlxcTE5cXHRqUFI+XVI+dWtYZFFGaXNHaXhuYXhAcWtXVFFwXXdSdU9pdE9JdEtJYHVWYXVDWWxhVEo6XVVWXVU/ZVI/YFhJXUtTYVNURHdGSHZtSXlvUVV4ZXl0aVBXdHFrSHBrSGBdUXZcXFF2UkF1UndheXZxQEhmbnd3WGldOm5nV1FxX05cXENwYVBZcV1OXFxDYHl2YXlMUXRMcV5Jb21WPj1LdF95R1ltaV49SFJrSHBrSF51Y0N1eVc9d3lfZEhvY0hjVVJBWEFRV2VVV0FjQj9jRE5bRHJReXRxeGV5dElBc0JBU3RvSTxNaDx3VEs/RGRFaUJtRjt1Q0dDR2lzR1lFaFxcZWJuZUJsTVhHZVNHZWRoW2l4ZXFyQHFyWGxhdFNkPVdiXUxQbExAdWJQcHlOQXI6QW5XV3FwV1pAXltaUWhzWGBhb3M+PmpnVmVwdFBZWXdRcVZtT3FwVURMdGpWXk5OWzs+Xl1WXj1PeVZ2eXhpeXVpa1V2YEBeWj4+bFg+XnJ5eEZOX3c+cj9gYD93a0ZBXkJpYmVGd2BQZ2VXZ3VneGRpeGpJdj1pbGV2ZFRPZVRvYFRwcTo+ckV4XFxpPmNpUFxcd1dwUFBpTFBsTFB0TFF0XlhjQk9gW0F3YkFhXFxfckJwW1dOYU5vZFBvWj5eWkJ3bl93bkl3bVBwb0lPckJnY0dnaXlxeXdmZXJoaXVxeEZEPW91YVtTYFNYS1FmPz1Cam9XV2RLdUVxPkxKO3hwcXhwU0htU21ZeG1RUzx2VnV3TT1KSkBjYG9zVkhdS0ZcXEtZcXF3dz15aklWdHdwZzo+aGBVQF9WRV1WcWtIVkloTGlGanlXbGdGV0dydll4SXlJcG1YcE1JdEtJTXNGSF1obl9oPmF4P0NzQ2t4O0FuX1FNdjxZaj1Zcj15TklvTWV5d2l5c11RWE1XZE13dkl5bVlyPFFyRFRLRWRyXFxFUEVocmRUT2VUSjpoUGVtdHZAWWtRck1ZdE11VVl1UWtEUGtxeXdZeUNJc0NhVlppV2tFWGtpckVOeXRReXB5d1l5XTo+X0RQYXI/eFpHZEtHXFxzVl9pUXVvWF9tVmBtQXlrWVZvWGdxdGl3VUlJdmo9R0RPdXBnV1VpeXV5eGlnVXVvUmhfWEpdRD9tZ0RDZG5NU1RzY0FZQjpfZl5fZnhnWXVxR1hdaXJnWXVxeD9nYj93ckl3RVlhaXNVaG51aUttV2htR3ZZSTttYjtBVk5hdE5haXdVeVBLRVZ1Z1tDRUZDaWdxRXNXQkdtWHBtSFNTZVxcUXZcXFFGV1lTPlFWa191VmF1QGljVXNUaVFzSDtTbz1Dd113RHNUa0VYa3F3V1lpdWdwR2BLOm1vZFBvVEVxbGVuTVhsTXhxeXhRVWhzeERYXFxhcmpJdj15eXRZd2l4dGl4VUlFbWxkUkdlU2dsUXhsbVZpaj9wdHhoWXVxWGdRdV9pdl9JUXRMUUhVbXBkaztBVlZhcXNVdFVZdXV4U1lwUXF0V1hhTnNoSnNZblZpcXV1eFRpcGVlVXVwWFdtcXZFcV1Ybl1IajtIUkBtUkBxcXdVaVJJcF14aXlxeVFuX1Y/aHF3aHlpWHhwaGV1VHhQaW1tb2hwb0BUYlxccWtVdkBZdkF5az1Zcj15bGhkVXRNeF5JU2dlV2dpTXVsWEp4UXFEc0VNS0VUSz1VUj11ckdYTWFsTEVIc0JtTmxYa0JxbktgeWlUUXVUbUZBdUxwdWtIUXNEUW9kUG9cXFZieHddeFJJQFl2bHVTWFBhPVl2bG1uQVJmZUtHZGtrWFZBUXRxaXA9PW9TQE1eQWpWVXFwZVc9eXVDPUtbeFdVRVNDRXNmSXVteHdYaWE9SXZGR21sZmZtcXZHaWo/aGpecXdrUHdkUXdFd2xoZnlreXJZdlxcZj5lak93TklvakBwalBzRFFzSGdtdGZ5cll2SXBpeG9pbnljcFlNWWV1b1hnUXNEUXNkT2dkT1dNcWZHU2I7QXdReWdZcWJHU0VCYXdVO0JiZ2dnZ3Vtd253VFlwYVRRdVRVUXVUcXRPaXRvWXdRP2RKP1xcU2ZrdVd2QHVSSWhdXVh5P0NFZ3JkSXVtd0Zzd0ZHO0JKR1luY2ZfZ2Z5ZXlveURzZ1lnYXNTV0hxa1dWQVNJT0JDPVNCPXV5d1l5Y3lleWVHcFBrRFBDWXNFWW5tYUtnZE9naG9VdXBMQFZMWXRNSXNKYU06PFhwbVhgZFlSdFJJcE1XbXBmRW1CXU5cXFR2dlVXZVVXY1lzcURqO0hqR3RSWHBOX2ROczxRcjxKOmhxd2hZbE1YbFVyV015VXlXeWhqQXhqYXVWYVVwUl1PV2RNV2xLQVh2ZVl3dUBXS1FOdFFUSFlsYXRTeG15c3l2XmF2Xm1QVWhRbj13SnlteE15Q3hzYVltVVhtVVF1VFFsc3F1Ojx4akl2PWlWRXFsd1xcWXJBVGJcXEx0PFFyXFxXV1FxT0lzQ0lXV1Fxb0V3Y0l3ZE1XZE1RdExRZW10Zkh3UklwXWBSXFxEUWpHal15ckl4YXdPeU5fX1BWZVVzaG1XaFVDUWtHXndyYmFpc1V4YHl2WXdZeG9YZ1FVO0VSO1V3UGlndWV4ZGl2XVl2bWNZdGF4XFxRdlxcaXZFeWR5TXZFR0hcXF1yQj93YkFXdD1XRW9iQG9iaG9naENlb2lTYll3ZXlFdjtZSl9peEdYXXFCc2VzWj1IYGtTVj9JaF11ck9pdE9pWW1Zc2lWbXF2R1FFVEtFXk1UT2VYb2VobkFYY0lJbW12dk1WZ0FDd011TXlmSVVUTVVUYXNTWF9jcVliOz1DY0tCWXdzYXdXT294Tz9JcW13VnVkaGNVcHF3V1lHTktDY1FSSz9TbndXWTxKOkl2ak1XZE1XZGlPbHV5eGlZbHlZYmRZTVBxYFlOdz1TcHBwcFBwZD1Uc2BOTERzaGhVdWBPZ2RPeXF5dXlXa0BVRnVsbUl5dk1YV0FwZXV0aFBTRnRLd1VKYll5O0F2cjxNPkBsXFw8V2NFV09ZWUBBbGxlVl5dVkZtbXZEdVhxdXhFdjxpakxZeDtodE5hdGB5c1l4V2l1V0ltc3hQS0JgUmtUV0s9bWV0VGhgT1VtcGZtckZITV11ckhobHhgS2Fobl9ocGdVdXBkT2dkb3RQcXRkTkB4ang+YD1IQmVHS01WXFxNZlJdR2hpdGV3dEFzSWdPZ2RPRWo7VjpDRU9JRmlddmxRQ1NLZnVpQ3JXWGFxQzo7ZGFpRk9ZRk5La0lFTjo9b3NBUD1IUkJkcD5dVl5MUHNYeXhlUVF4T1ltWW1xZllvaXNpYmtGbEpgW2BwdXdpeU53bGdob2deaV53cnhxeXV5d3RQcXRYZ1Fxb09faEY/d1VmalNeWzw/b19OaGo/aFJoYGVvZF5fZl5Rbj9Xa2JJaUVRWjtAZnlxeXdZa1F2X3hWaXBhX3M/cUxQWkpgdT94cl1paVV2bE1geXZheVZobVd4aXVpd3FoXXVuaEpZamZYc0RRc1Bpb1V3aG5Bd0tBc0JBY2xBZkhfalR4W2FXZF1ealQ/bz14WklOcXJAcT5EW2N1dXdYaWhpdE5hdF5cXD9HcXRQcXhGaWxhbmN2eEBIZ3hGbko/YWdPdW5geG5haDo+XFxDYGJocXdocWtIcGteSWpYUW9FWHJbYWJAb2JYXmFyP3h2SXltWWlxcVdbR2ZbSG9jSFNhV3BBZ0tVZkxVVE1lRG1FVkhjaEo7ZTtBRj5AVEZtTm1Nc05IT01tbkZFVFA9SmRRd2R5dkhpbU1tdFRpdkFVVE1VUFo8Tlo8XjpQcD1GYllBYXZQaz5AXFw8Z2M/d3VCdmJ0cV5wQFtbZm46YVtARl4+UG1kWGNRcF9eSXFWWXJBeFtRb2hmPltvYGhyZ1xcQ0ZePlBtRHdkUXd4c1l4YUltU0htPW5aRj5kcF9fQkpGQVZKTFJiWVBuaFdVcXBnVXVwUHNIUEpbXFxqUUVsSkxSQkROXlBqalRqO09iQkY+QVZAU0o+QEw8TW9BVFBSXFxqSkxSQkRvWEZyWkI+P2x0b1o9PGVAQltjPEI+OjpaT1l4eXdjTz5cXERmalNJdVNRc0dmWlteakpOYmJZdGxReGxBc0V4eUVBZlZhdVZxZ1ZBcVtgcXI/XFw8PztDZmBDWG9lWD87QkBjUktNc0hfQltbYkpLUmJZeFpBSVJbYkpLUkJDZ1hbc1o9bEpMUkJleFptSj1AXFxKYmRJckZrQltbYkpLUmR3Qm07RT5GPjo6Sk87XFxqTnVzYV1WakxWa0BRaXRPaUBwakBwW2lTalFPZExPZFF3ZEFzZUVsQl1yXUl4Pk1OS3lyVElMQ2BSc0VZc0V1U0l1b2hwb3hNZkBSUVhTXkxMWHRrQXVwdklSTERrXnRQcXRwZFBvZFlMb014bFFoYHF2RF9eTHhjTkliQkY+W2Y8TWVOR3JOW0ROW3NYbHBVWG1VeUt5XFx5amRYZGFUV2RNV0hsXXRSUGVUT2VqP2hqZ2BVc1BYSkFuO21qQHBqU0l1U0l5c0l5XWxSRkBUUXVUaWV1dGhweHBxeGF4Y1l0bVl4bWluVUlTRl1TblF4bFF3UXlvWT1WWj1uWXhtWUhwa0h4VkhRbT1TV2BrRmBrV1VxcGVzVkhRbVhWQXFreWx5cllOWXhzWWBQY01sUHBsUFV3UGlvVXFwZ1VxZGV0ZFBZY3FrPk1Oc2xYZkF1UkhQXW1SSXBNZ0l3Y0lvXVhuXVF3ZFFZbGF2Q0F0SkF0SlNmXVdmO0JKXURvPXdKSUZRdVRRaVJFb0RzSXlzSUVSO0VmW1VyP2h2X2lWbVh1dUNbW2JKYGw+UFdGZVhvZVhhcGM/blpATnRfdnhpeXVRYXROYXZrQWlDSGtDeG5Jd21gP2BSPlpKRlxcS0Z2ZFF3dFhpcXF3TXluSXdvVkdxTHdjSXdbOk51cXhnWU9lVE9jUFBhbF92QnBqQHByT1hfUT93cG9fVj9xOlFma2BzRmFzWHdxeGd5bGl2RVl2QXlrVUl1U0laOnhxeXhxUXhsUXFuR1dtSGltdXZwZ2NHQXRKQUQ6a3ZHWWVBdUdSdVRRdUh2PXlqVVNFVXNcXE9mXFxLVGxZdWl1aUtnc2tNWGxNRXRbWGJJdF13Uj9LQjtBZWtTVnZfaXZPZ2RPZ0JlZWI/Z2JrQj1HVml1V1lVVVVVdWJxVF1bYkpLUmJZV1BBWUBTWHNReF89QnI/WWtEdzx1U0l1c3RCc2VnZVdnRTtCeG1ZeFBSW2RVW1RQbVR0QkFzQjxKYF1zUkhSS110TXluSUVRVmxzbkhXTVF3b2xNUjxNQjxKSHFzSGF2Z3hxeXhROlxcWGdRdW9pd1V5cG5lbXV0WGhBSjpwb2hwT1dNWGRhdGM8SlJxcXdVUVdNTktAU3RoWGVxSjp0bGhkVVxcZE5tcXZHWUo6YHVWYVVjaXRzWHF1WEo6SXFtdXZUZHVkXWpKTFJCZFlHUU15UGs+YVZsREpadXNYaFFTSXVTYVhbPVlyPVFFaHJcXHRvVWVwZGVKOnRxeFF5ZXRqPUluZVxcWGRhdGNleXRpeDo8UlhEWXdYWXFxd1RRdVRJTF1sUk5ZV3ZFcjxoSjo8WGVxdGd4VklxbUtgUD88SmBwU1dQdWBoU1VMcUhBcjtYSkdga0ZQT2RMT2RMX0pQXFxMcV5jYGNqPl1GcHV3WGk9PlpjWHh4aXl1WWZBcWtTPl1SXnBld3RIT2lvX15FSWNGX2NmX2hlSFxcPD9bW154b1ZkZV9wQFhwbVhwP2hqP2lzVXhgZ2BvZlBxbkd3bF5oYkFkcXZgcXZkUXdkbGdtQj5aTmF0TkF2WWFhQE9tVXRAO0I8Q2I6O0JcXFF2XFxBQjpXc19xdGVXVmdlV2dXZl1XVFNFVXNheGNZdGhpdXVXaFNhVzo7dFBxdGh3VEdVU0VVQzpLZ2VXZ0NtdDxtdE9fZE5fSHFtd1ZNaUhtV2htZ2BvbltYYj8+akF5a1lWWz9QYnBWbXd5bXlheUFXY0VXY1dnZVdgdHNfeGJJXFw9SHJaWGhpXmpKTkJNR2RHeEZrUlF1VHFxeGdZdXlneXBZVW5dWG5ZeGF5c01ZdE1ZYj1XYm9heG5Rcj1ZckFjQ1RbeENnQkNtdVpVVl1VQjpjVl9lVlpjSENBU1RnYj9nUmRNV2R5ZmFbRUN1eGhBQjphZ1NVaEhzRXhbWWRhTHhtWXhVUkBgS1tAT2RBdFtOXFxMTlxcSGZddF5mZE9nRD5adm5dSUJ3Y0l3Z3Rld1RRWXVQb3hnWXVNSUNHS1JCQ0Y+X1ROVXZTW0M6O2VVV2VpYXVzV0Q6a3V4Z1l1VXZAaWNnV1VxRFNDRXV2SFltXVZeXXZhbGxEQXNCQUo6SGxddFI8PGpDSGtDZVI/ZVJQbVRQRHddRGxgbExFSEo6UXVUUU06PHNWXFx3QFh0WEhPRFBKOkxRRUl3U1lwYU1WXFxNdnBoV1VhdVdpdXV1eGhpT1BUa2dcXE9mTGxMUGx0bXhmSVNkXFxwZ1V1UDxKWHlxeXV1bXhWSU10P11qSkxiPHd1THByQUlyPl9iPl9yPmFySnh0QG9iQFdsYGZjREhrQ0h2aj9hdm9heVl0RW5teGZpVEFyOkFmSGFtcz5aWkl3Y0ljVFBvUXdiXFxGbF5hdl5BZVRPZXQ+YXI+WjpnY0dnWzpeZFF3ZFFZb0BPY15YcWpPdW9YZ0FHZE5xcGdXdWhpdXV4eFpJcj1YW1FuX0pJd0U+Wm5Bd0tZbk9Xb1BfaXh2bUhgXVteako6YUNgP2diP0d3Y0l3eXlnU3JeTVNeS2RrU25LcE92dFl4YXFuWXVtdXZIaVJBdVJ5aXlxeXVebVJMUXdPWW9HYGtGUE5cXExOTExMTFxcbmVoaj9oak9hdE5hSkF0Sk1IcGNcXE5NRVl5cXl3ZXFSPHNHVHdeWFBVdFhxdXhKQXRKSV9IZ3laX3N0UHF0WGtRdl9APmpzV3hgaXFyR3g8T3ldUGo8UGpxd3dYaWB0PGRJUHJscXZHd2pJdl1wPmBqPmhwb2hwVmBtVnNGYXNGPltCPl15bml2Rm1CZmNteXhxeWF1b3hmQXRbWGI/UWZraXF1d3hyYGVoWXRhVExvaTpUVl1VdmpBeGpNWD1McVpBdlpJS01sTjpWY1FwXz9uWkBubXhmaXRfckJIXFxPZlxcT3ZvWXdxYFZgTHBdeF5pcmF3U1lgRVdjRU9pQndfQ0FmPFlyPWl0T2l0Z2BvZkBaWkBvYkBvaHBvSGF1VmF1UHF0UGBzUFBeZl9nZm9UeXRxbXdWSVlNcWZHdWdYZWl0c1l4YVlpb1V3b0ZIXWVSWWdRdUdHY0NHd0ZJbWVec0Zhc3JBeXJFcVZhSUY+P0Q8PVNDPUVOVWJBXUJOWVhlcXRnV3dReWdhdVZhdXZgaG9jSG9jQXRbWHJOSW9NZW51PFZmXFxPZkxYbE1YcHhXWXFZXXFiaXF1d1hwbmBwRj5bQkJGO0VKQWhjT2hsT2g9dWJIY1I/ZVJPW0ROO1hzX3V4YHhTXXBiRUxTQHh2dXdYaXF0RWs/eG5heE5zSHJXQFVmbHVrWFZBRE9OYXROYVVsYFZDPEp2cFl3UXU9WXI9YHVKdEs6XFxOTERTc094UXhfWU9bPk5qSGhddW5xdkd5TGBbUWlxdGd4ZEl5bXl2bVZgbUZlZm5sZ2hvZ3hqQXhqUXhsUW5zP09iQkZePmBkV1d2U15jXUBjQFZyXUl4bml4b2lmTFZkXVBiPE9iUF9vUkdwa1d2QE9oVVFhVEdiO0dqPVhqPW9lWG9lVl9lVlhrRVhrXFxPajs/W1tCXj9ZbDtZcGNIU19TTmF5Rj1nQ09HZEtHUFtHUj10a1dWQVFZY1lLalRQbVRNeWxZdlxceXlZbVdJTj5ATDw9d1VZTj1gS0BgU1pMTnlRTzptWXhtWU9lVE9kUTxxblh4VGlwVVNNVVRtWGlxdVdFUDtbSlBkQmFfPUhuaUd5aXZnUG9kUG9mYG9mQ0ZbQ2Z4WF5pRz5aa0Zga0ZAaHF1dXhMWFl1UU4+QFxcSmVkbVdAU1RXZVVHbUZzc0RPY0RDUUZYb3JrPUlWRE5bZHBvaHA9bVpsR3lsaWZYdmthblxcRVhgbE5gcGZnVGFwbkd3TFlbUW5fcj9pcj9fYE5cXD5AXFw8P1tjVmNtcGJscW9UZ3BkSXdNeW5faG5fQFpaWG9lWGdmX2d2T3dOSV9jSXFHUXhNP2VSP11MTlxcbEF4W1liWHZrYXBvaHBzX1FoQWFrU1Z2aHF3SHhoWmliQkY+b2Q6bUJtRWRKS1pKTmRqZmJueWxaXmpKTkJNaG95aTppaE89WFhBVkRpV3Y7Qjo7QjpNVEtXREtXZ0o7ZVo6Ojo6OjM6XCJce1x9LSUrQU5OT1RBVElPTkc2Jy0lKUJPVU5EU19YRzYjJCIiISEiIi0lKUJPVU5EU19ZR0YnLSUtQk9VTkRTX1dJRFRIRzYjJCIlcWdGKi0lLkJPVU5EU19IRUlHSFRHNiMkIiVTRkYqLSUpQ0hJTERSRU5HNiI= The Keccak sponge construction is the special case of this algorithm based on the use of the Keccak permutations Keccak-f[b] (which play the role of the permutation f above), together with multi-rate padding, described below. As mentioned in Kreference, the design philosophy underlying the Keccak construction is the so-called hermetic sponge strategy, consisting in the use of the sponge construction for obtaining provable security against generic attacks and calling a permutation that should not have structural properties with the exception of a compact description; this philosophy is explained in detail in Csponge and, more specifically for the case of the Keccak permutations, in Kmain. There are seven Keccak permutations Keccak-f[b]: (\342\204\2442)b\342\206\222 (\342\204\2442)b, of widths b\342\210\210{25, 50, 100, 200, 400, 800, 1600}, but here we will consider only the values of b which are multiples of 8, i.e., 200, 400, 800 and 1600. The reason is that our implementation will be byte-oriented and so all the bit strings or bit lists we will handle will have length a multiple of 8. This is not a very serious restriction because the usual messages have this property and, on the other hand, the lower values of b are weak from the security point of view and, in fact, the only value used in the SHA-3 standard is b = 1600. The permutation width b can be written in the form b = 25\303\2272\356\223\201, for \356\223\201 ranging from 3 to 6. The permutation Keccak-f[b] is described in Kreference as a sequence of operations on a state a that is a three-dimensional array of elements of \342\204\2442 of the form a[5][5][w], with w = 2\356\223\201. Here, a bit string s\342\210\210(\342\204\2442)b whose bits we assume enumerated from 0 to b-1, is mapped to the state by assigning the bit s[w(5y+x)+z] to the state bit a[x][y][z], and the state bits a[x][y][0..w-1], for fixed values of x and y, constitute a lane, so that the state can be viewed as a 5\303\2275 array of lanes. We refer to Kreference for the description of Keccak-f[b], which is an iterated permutation consisting of a sequence of nr rounds, where nr = 12+2\356\223\201 and each round consists of five steps (Kreference). As described above, the permutation width b is written in the form b = c + r, where c is the capacity and r is the bit rate. The message is padded to make its length a multiple of r and the blocks of length r are successively absorbed into the state, each of these absortions being followed for an application to the state of the Keccak-f[b] permutation. Although this is not necessary, we will for simplicity assume that c (and hence also r) is a multiple of 8 and, in fact, we will require that r be a multiple of w, which is always the case for the SHA-3 hash functions included in the SHA-3 standard (see SHA-3 Standard). In the original proposal, Ksubmission, it is suggested, for security reasons, the use of c = 2n, where n is the size of the output hash and this suggestion has been followed in the NIST standard. Thus r, the number of message bits processed per block permutation, depends on the output hash size. This way the rate r is 1152, 1088, 832, 576, respectively, for 224, 256, 384 and 512-bit hash sizes when w is 64, which corresponds to b = 1600. As far as possible, we will keep these notations in our implementation. In the NIST specification in SHA-3 Standard, a more general version of the Keccak family of permutations is described and, in particular, the Keccak-f[b] permutation is equivalent to NIST's Keccak-p[b, 12+2l] so that Keccak-p[1600, 24], which underlies the six SHA-3 functions defined in the NIST standard, is equivalent to Keccak-f[1600] in the terminology of Kreference that we are using here. There are many possible choices for working with the data involved in the algorithm and, in particular, the lanes in the state might be represented by decimal integers, by hex strings, by lists of bytes or by lists (or strings) of bits. In this implementation we use integers to represent the lanes and the bitwise operations on them in the Keccak rounds are performed with the help of Maple's package Bits, with the exception of the cyclic bit rotation, for which we use the function Rot defined below. When converting between bit lists and integers, we will use the little endian convention as suggested in Kreference, so that bits will be enumerated in ascending order from the least significant to the most significant one and the number defined by the bits bi will be \316\243bi2i, and a similar convention will be adopted for byte lists.

Requirements: Maple v.14 or higher \302\251 (2015) Jos\303\251 Luis G\303\263mez Pardo, Carlos G\303\263mez-Rodr\303\255guez

We start with some auxiliary conversion functions that will be used by the Keccak algorithm but are not intended to be called directly by the user. Thus bytestohexstring converts a list of bytes (as integers in the 0..255 range) to a hex string and hexstringtobytes reverses this process. Similarly, filetobytes reads a binary file to a list of bytes and bytestofile writes a list of bytes to a file. Some of these functions are combined in messagetobytes, which on input a message given either as an ASCII text string, a hex string or a file, converts it to a list of bytes suitable to be processed by the SHA-3 functions. For speed, these functions use tables to convert between bytes given as integers and the corresponding hexadecimal strings. LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYnLUkjbWlHRiQ2JVEocmVzdGFydEYnLyUnaXRhbGljR1EldHJ1ZUYnLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGJy1JI21vR0YkNi1RIjpGJy9GM1Enbm9ybWFsRicvJSZmZW5jZUdRJmZhbHNlRicvJSpzZXBhcmF0b3JHRj0vJSlzdHJldGNoeUdGPS8lKnN5bW1ldHJpY0dGPS8lKGxhcmdlb3BHRj0vJS5tb3ZhYmxlbGltaXRzR0Y9LyUnYWNjZW50R0Y9LyUnbHNwYWNlR1EsMC4yNzc3Nzc4ZW1GJy8lJ3JzcGFjZUdGTC1JJ21zcGFjZUdGJDYmLyUnaGVpZ2h0R1EmMC4wZXhGJy8lJndpZHRoR1EmMC4wZW1GJy8lJmRlcHRoR0ZULyUqbGluZWJyZWFrR1EobmV3bGluZUYnLUZQNiZGUkZVRlgvRmVuUSVhdXRvRictRiw2I1EhRic= QzQ+SStieXRlc3RvaGV4RzYiLUkmQXJyYXlHJSpwcm90ZWN0ZWRHNiQ7IiIhIiRiI2YqNiNJImlHRiVGJUYlRiVAJTI5JCIjOy1JJGNhdEdGKDYkUSIwRiUtX0ksU3RyaW5nVG9vbHNHNiRGKEkoX3N5c2xpYkdGJUkqTG93ZXJDYXNlR0YlNiMtSShjb252ZXJ0R0YoNiRGMkkkaGV4R0YlLUY5NiMtRkA2JEY/SSdzdHJpbmdHRihGJUYlRiUhIiI+STFieXRlc3RvaGV4c3RyaW5nR0YlZio2IydJKWJ5dGVsaXN0R0YlPCQmSShpbnRlZ2VyR0YoNiNGKi1JJWxpc3RHRig2I0ZQRiVGJUYlQCUvRjI3IlEhRiUtRjU2Iy1JI29wR0YoNiMtSSRtYXBHRig2JGYqNiNJInhHRiVGJTYkSSlvcGVyYXRvckdGJUkmYXJyb3dHRiVGJSZGJDYjRjJGJUYlRiVGMkYlRiVGJUZIPkkraGV4dG9ieXRlc0dGJS1JJnRhYmxlR0YoNiMtRmpuNiRmKkZdb0YlRl9vRiUvRjItRkA2JUYySShkZWNpbWFsR0YlRkJGJUYlRiUtRkA2JEYkRlRGSD5JMWhleHN0cmluZ3RvYnl0ZXNHRiVmKjYjJ0kkc3RyR0YlRkdGJUYlRiVAJS9GMkZZRlgtRmpuNiRmKkZdb0YlRl9vRiUmRmVvRmNvRiVGJUYlNyMtX0Y6SSxMZW5ndGhTcGxpdEdGJTYkRjIiIiNGJUYlRiVGSD5JLGZpbGV0b2J5dGVzR0YlZio2IydJKWZpbGVuYW1lR0YlRkc2I0kiZkdGJUYlRiVDJT44JC1JJG1vZEdGJTYkLV9fSSpGaWxlVG9vbHNHRiVJJ0JpbmFyeUdGJUklUmVhZEdGJTYkRjImRlE2IyIiIiIkYyMtX0ZkckkmQ2xvc2VHRiVGY29GXnJGJUYlRiVGSD5JKmNoZWNrZmlsZUdGJWYqRmdxNiRJInJHRiVGW3JGJUYlQyU+OCVGMkAkLV9GZXJJJ0V4aXN0c0dGJTYjRmdzQyQ+Rl5yLUkpcmVhZHN0YXRHRiU2I1FNRmlsZX5leGlzdHMsfm8vYy9hfnRvfm92ZXJ3cml0ZS9jaGFuZ2UvYWJvcnRGJUAnL0Zeckkib0dGJUYlL0ZeckkiYUdGJVlROk9wZXJhdGlvbn5hYm9ydGVkfmJ5fnVzZXJGJUMkPkZncy1GYHQ2I1E8UGxlYXNlfmVudGVyfm5ld35maWxlfm5hbWU6RiU+RmdzLTkhRlx0RmdzRiVGJUYlRkg+STRieXRldG9pbnRlZ2VyMXRhYmxlR0YlLUYnNiRGKmYqRl1vRiVGX29GJSwmLUklbW9kc0dGKDYkLCZGMkZbc0Zbc0Zbc0Zcc0Zbc0ZIRltzRiVGJUYlRkg+SSxieXRlc3RvZmlsZUdGJXQrNiYnSSJsR0YlRlNGaHE+J0kqZmlsZWNoZWNrR0YlSSp0cnVlZmFsc2VHRihJJXRydWVHRig+J0kqbG9nb3V0cHV0R0YlSSVuYW1lR0YoSSl0ZXJtaW5hbEdGJTYkRltySSJuR0YlRiVGJUMoPkZecjklQCQ5Jj5GXnItRmFzNiNGXnI+RmdzLUklbm9wc0dGKEZjby1fRmRySSZXcml0ZUdGJTYlRl5yRmlyLUZqbjYkZipGXW9GJUZfb0YlJkZjdUZjb0YlRiVGJUYyLUZec0Zld0AnLzknSSVmaWxlR0YlQyUtSSh3cml0ZXRvR0YoNiMtRjU2JEZgd1ElLmxvZ0YlLUkncHJpbnRmR0YlNiVROSVkfmJ5dGVzfnNhdmVkfnRvfiVzXG5cbkYlRmdzRl5yLUZoeDYjRlt3L0ZkeEZbd0ZdeUklTlVMTEdGKEYlRiVGJTYjIiIlRkg+SS9tZXNzYWdldG9ieXRlc0dGJWYqNiQnSShtZXNzYWdlR0YlRkcnSSxtZXNzYWdldHlwZUdGJUZqdkYlRiVGJUApL0Zgd0ZleC1GZXFGY28vRmB3SSV0ZXh0R0YlLUZANiRGMkkmYnl0ZXNHRiUvRmB3RkItRmNwNiMtRjlGY29ZUUVpbmNvcnJlY3R+bWVzc2FnZX50eXBlfnNwZWNpZmljYXRpb25GJUYlRiVGJUZI The next function, checkkey, converts a key, given either as a text or a hex string, to a list of bytes that can be used by the HMAC function. If the string contains some non-hex character, then it is automatically regarded as an ASCII text string, otherwise it is regarded as a hex string. We have imposed a lower minimum of 128 bits for the key, so that the supplied key will be rejected if the hex string has less than 32 characters or if the text string has less than 16 characters. The maximum length will be 512 bits and if the supplied string is longer it will be truncated to this length (i.e., to 128 characters if it is a hex string and to 64 characters otherwise). Of course, all these conventions and restrictions are easy to modify and, in particular, it is possible to define a key type as hex or text according to whether we want the string to be regarded as a hex or a text string and the size limits can also be easily modified or even lifted. However, we feel that these restrictions are reasonable and make the functions easier to use. The function checkkey takes as input a key given as a string (either hex or ASCII) and, after checking that the string length is no less than 128 bits, converts it to a list of bytes (at most 64 bytes, corresponding to a 512-bit key as mentioned above); if the supplied key is too short, then it is rejected as invalid. QyQ+SSljaGVja2tleUc2ImYqNiMnSSRrZXlHRiVJJ3N0cmluZ0clKnByb3RlY3RlZEc2I0kia0dGJUYlRiVDJT44JDkkQCU0LV9JLFN0cmluZ1Rvb2xzRzYkRitJKF9zeXNsaWJHRiVJK0lzSGV4RGlnaXRHRiU2I0YwQyRAJjItX0Y2SSdMZW5ndGhHRiVGOiIjO1lRSFRoZX5zdXBwbGllZH5rZXl+aGFzfmxlc3N+dGhhbn4xMjh+Yml0c0YlMiIja0Y+PkYwLV9GNkklVGFrZUdGJTYkRjBGRT5GMC1JKGNvbnZlcnRHRis2JEYwSSZieXRlc0dGJUMkQCgyRj4iI0tZUUxUaGV+c3VwcGxpZWR+aGV4fmtleX5oYXN+bGVzc350aGFufjEyOH5iaXRzRiUyIiRHIkY+PkYwLUZINiRGMUZXLy1JJG1vZEdGJTYkRj4iIiMiIiI+RjAtSSRjYXRHRis2JFEiMEYlRjA+RjAtSTFoZXhzdHJpbmd0b2J5dGVzR0YlNiMtX0Y2SSpMb3dlckNhc2VHRiVGOkYwRiVGJUYlISIi The next function performs a cyclic bitwise shift on an integer n. The parameter l sets the integer length, i.e., the number of bits that are going to be shifted (this is necessary because an integer that is represented, say, by a list of 64 bits, may have one or several leading bits equal to 0 and the result of applying the cyclic rotation would be different if these 0 bits were not taken into account). Finally, the parameter s (where we may assume that s is less than l or, otherwise, reduce s modulo l) sets the number of positions that the bits are going to be shifted. QyQ+SSRSb3RHNiJmKjYlSSJuR0YlSSJsR0YlSSJzR0YlNiNJInRHRiVGJUYlLCYqJi1JJWlyZW1HJSpwcm90ZWN0ZWRHNiQ5JCkiIiMsJjklIiIiOSYhIiJGOClGNUY5RjhGOC1JJWlxdW9HRjFGMkY4RiVGJUYlRjo= We will use the following function to convert a lane, given as a list of bytes, to a w-bit integer, note that for this conversion we use the little-endian convention. QyQ+SStieXRlc3RvaW50RzYiZio2I0kmYnl0ZXNHRiU2I0kibEdGJUYlRiVDJD44JC1JJW5vcHNHJSpwcm90ZWN0ZWRHNiM5JC1JJGFkZEdGMDYkKiYmRjI2I0kiaUdGJSIiIikiJGMjLCZGOUY6ISIiRjpGOi9GOTtGOkYtRiVGJUYlRj4= Finally, a function to convert a decimal integer x to base b, where the base-b representation is the list of digits in little-endian order, and l is a parameter that specifies the length of this list, so that if the integer has less than l digits in base b, the list of digits given by the function is completed with zeros on the right up to the required length (we will always assume that this length is greater than or equal to the bit-length of x). QyQ+SStkZWNpbWFsdG9iRzYiZio2JSdJInhHRiVJKm5vbm5lZ2ludEclKnByb3RlY3RlZEdJImJHRiVJImxHRiU2I0kieUdGJUYlRiVDJD44JC1JKGNvbnZlcnRHRis2JTkkSSViYXNlR0YlOSU3JC1JI29wR0YrNiNGMi1JIiRHRis2JCIiISwmOSYiIiItSSVub3BzR0YrRjwhIiJGJUYlRiVGRg==

We start the implementation of the Keccak sponge function by giving the Round Constants, which are used in the \316\271 (iota) step of each round of Keccak-f[b]. The 24 constants are initialized as hex strings in a one-dimensional array: PkkmUkNoZXhHNiItSSZBcnJheUclKnByb3RlY3RlZEc2JDsiIiEiI0I3OlExMDAwMDAwMDAwMDAwMDAwMUYkUTEwMDAwMDAwMDAwMDA4MDgyRiRRMTgwMDAwMDAwMDAwMDgwOGFGJFExODAwMDAwMDA4MDAwODAwMEYkUTEwMDAwMDAwMDAwMDA4MDhiRiRRMTAwMDAwMDAwODAwMDAwMDFGJFExODAwMDAwMDA4MDAwODA4MUYkUTE4MDAwMDAwMDAwMDA4MDA5RiRRMTAwMDAwMDAwMDAwMDAwOGFGJFExMDAwMDAwMDAwMDAwMDA4OEYkUTEwMDAwMDAwMDgwMDA4MDA5RiRRMTAwMDAwMDAwODAwMDAwMGFGJFExMDAwMDAwMDA4MDAwODA4YkYkUTE4MDAwMDAwMDAwMDAwMDhiRiRRMTgwMDAwMDAwMDAwMDgwODlGJFExODAwMDAwMDAwMDAwODAwM0YkUTE4MDAwMDAwMDAwMDA4MDAyRiRRMTgwMDAwMDAwMDAwMDAwODBGJFExMDAwMDAwMDAwMDAwODAwYUYkUTE4MDAwMDAwMDgwMDAwMDBhRiRGM1ExODAwMDAwMDAwMDAwODA4MEYkRjJRMTgwMDAwMDAwODAwMDgwMDhGJA== We now convert each round constant to an integer that will be XORed with the first lane of the state in the \316\271 step. For this, according to the little endian convention we have mentioned, the bytes in each constant are reversed before converting them to an integer. Later, in the absortion phase, these integers will be automatically truncated to lane size w whenever w < 64, which happens when b < 1600 in order to XOR them with other lanes; this truncation will be forced by the use of Bits:-Settings(defaultbits = w) in the function keccak below. QyQ+SSZSQ2ludEc2Ii0mSSJ8aXJHJSpwcm90ZWN0ZWRHNiNJK2J5dGVzdG9pbnRHRiU2Iy0mRig2I19JKkxpc3RUb29sc0dGJUkoUmV2ZXJzZUdGJTYjLSZGKDYjSTFoZXhzdHJpbmd0b2J5dGVzR0YlNiNJJlJDaGV4R0YlIiIi Next, we set up the cyclic shift offsets that are used in the \317\201 and \317\200 steps of each round of Keccak-f[b]. The offsets are the elements of the following two-dimensional array: QyQ+SSNyb0c2Ii1JJkFycmF5RyUqcHJvdGVjdGVkRzYlOyIiISIiJUYqNyc3J0YrIiNPIiIkIiNUIiM9NyciIiIiI1ciIzUiI1giIiM3JyIjaSIiJyIjViIjOiIjaDcnIiNHIiNiIiNEIiNAIiNjNyciI0YiIz8iI1IiIikiIzlGNA== The next step is to build the round function, for which se shall assume that the lanes are given as integers. The bitwise operations on these integers required by the Keccak permutation are then performed using the Maple package Bits (plus the function Rot we defined before to perform the cyclic shift) and it is important to notice that, for these operations to work properly, it is necessary to set the parameter defaultbits of the Bits package to the lane length w which, as mentioned, is done in the function keccak below. Note that Maple's convention is to number the list elements starting from 1 (instead of the numbering starting from 0 used in the Keccak reference) but this does not cause any trouble. The bitwise cyclic shifts used in the \317\201 and \317\200 steps are right shifts according to the little endian convention (bits are shifted from less to more significant) but sometimes they are called "left shifts" because the big endian convention is assumed. The cyclic right shift of size s is obtained with Rot. We remark that the Maple code for this function is an almost word-for-word rendition of the pseudocode given in Kimplementation. The inputs of the Round function are the state A, the permutation width b, and the round number rn. The output is the modified state. QyQ+SSZSb3VuZEc2ImYqNiUnSSJBR0YlSSZBcnJheUclKnByb3RlY3RlZEcnSSJiR0YlSSdwb3NpbnRHRisnSSNybkdGJUkqbm9ubmVnaW50R0YrNilJIndHRiVJI3diR0YlSSJCR0YlSSJDR0YlSSJER0YlSSJ4R0YlSSJ5R0YlRiVGJUMtPjgkLUklaXF1b0dGKzYkOSUiI0Q+OCYtRio2JTsiIiEiIiVGRi9JJWZpbGxHRiVGRz44Jy1GKjYkRkZGST44KEZNPyg4KUZHIiIiRkhJJXRydWVHRis+JkZMNiNGUi1fSSVCaXRzR0koX3N5c2xpYkdGJUkkWG9yR0YrNiQtRlk2JC1GWTYkLUZZNiQmOSQ2JEZSRkcmRl9vNiRGUkZTJkZfbzYkRlIiIiMmRl9vNiRGUiIiJCZGX282JEZSRkg/KEZSRkdGU0ZIRlQ+JkZQRlctRlk2JCZGTDYjLUkkbW9kR0YlNiQsJkZSRlMhIiJGUyIiJi1JJFJvdEdGJTYlJkZMNiMtRmNwNiQsJkZSRlNGU0ZTRmdwRjxGUz8oRlJGR0ZTRkhGVD8oOCpGR0ZTRkhGVD4mRl9vNiRGUkZicS1GWTYkRmRxRl1wPyhGUkZHRlNGSEZUPyhGYnFGR0ZTRkhGVD4mRkM2JEZicS1GY3A2JCwmRlJGZW9GYnFGaG9GZ3AtRmlwNiVGZHFGPC1GY3A2JCZJI3JvR0YlRmVxRjw/KEZSRkdGU0ZIRlQ/KEZicUZHRlNGSEZUPkZkcS1GWTYkJkZDRmVxLV9GWkkkQW5kR0YrNiQtX0ZaSSROb3RHRis2IyZGQzYkRl1xRmJxJkZDNiQtRmNwNiQsJkZSRlNGZW9GU0ZncEZicT4mRl9vNiRGR0ZHLUZZNiRGXHQmSSZSQ2ludEdGJTYjOSZGX29GJUYlRiVGZnA= The next step is to build the Keccak-f[b] permutation, which consists simply in applying the successive round functions to the state. The inputs are a state A and the permutation width b; the output is the modified state. QyQ+SShLZWNjYWtmRzYiZio2JCdJIkFHRiVJJkFycmF5RyUqcHJvdGVjdGVkRydJImJHRiVJJ3Bvc2ludEdGKzYnSSJ3R0YlSSJsR0YlSSNuckdGJUkiaUdGJUkiU0dGJUYlRiVDKD44JC1JJWlxdW9HRis2JDklIiNEPjglLSZJJWlsb2dHRiU2IyIiIzYjRjc+OCYsJiIjNyIiIkY+RkM+OCg5JD8oOCciIiFGSSwmRkZGSSEiIkZJSSV0cnVlR0YrPkZLLUkmUm91bmRHRiU2JUZLRjtGTkZLRiVGJUYlRlE= Keccak uses multi-rate padding, an algorithm that pads the message given as a bit list by appending a single bit 1 followed by the minimum number of bits 0 followed by a single bit 1 such that the resulting length is a multiple of the bit rate r (see Kreference). The next function implements this algorithm but adds two variants: for the SHA-3 hash functions the application of multi-rate padding is preceded by appending first the bits "01" to the message bit list and for the SHA-3 XOF's, the four bits "1111" are appended first. Having the full message given as a list of bits is not convenient if the message is long and hence we will consider the message as a list of bytes (which is not restrictive in this context, given the byte-oriented approach mentioned before). These blocks will later be divided into lanes and these lanes converted to integers in the Keccak function below, just before their absortion into the state. The inputs of the padding function are the message given as a list of bytes (i.e., a list of integers in the 0..255 range), the bit rate r and domain, which can take the values 'hash' 'xof' or 'kec' to apply different paddings and implement domain separation by distinguishing the inputs corresponding to the SHA-3 hash functions from these corresponding to the SHA-3 XOFs, with the value 'kec' corresponding to the Keccak function itself. The output is an array containing the padded message blocks, each of which is given as a list of bytes. QyQ+SSRwYWRHNiJmKjYlJ0kobWVzc2FnZUdGJUklbGlzdEclKnByb3RlY3RlZEcnSSJyR0YlSSdwb3NpbnRHRisnSSdkb21haW5HRiUtSSppZGVudGljYWxHRis2JUklaGFzaEdGJUkkeG9mR0YlSSRrZWNHRiU2KEkkcmJ5R0YlSSZudW1ieUdGJUkkYWJ5R0YlSSdibG9ja3NHRiVJKmxhc3RibG9ja0dGJUklbGFzdEdGJUYlRiVDKT44JC1JJWlxdW9HRis2JDklIiIpPjglLUklbm9wc0dGKzYjOSQ+OCYtSSVpcmVtR0YrNiRGR0ZAPjgnNyMtX0kqTGlzdFRvb2xzRzYkRitJKF9zeXNsaWJHRiVJLExlbmd0aFNwbGl0R0YlNiRGS0ZAPkZSLUkmQXJyYXlHRis2JDsiIiItRkk2I0ZSZio2I0kiaUdGJUYlNiRJKW9wZXJhdG9yR0YlSSZhcnJvd0dGJUYlJlQjRkpGJUYlNiRGO0ZSQCcvRk0iIiFDJEAnLzkmRjQ+OCg3JSIiJy1JIiRHRis2JEZobywmRkBGam4hIiNGam4iJEciL0ZccEY1PkZecDclIiNKRmFwRmZwPkZecDclRmpuRmFwRmZwQCUvRkdGaG8+RlItRmduNiQ7RmpuRmpuL0klZmlsbEdGJUZecD5GUi1fSStBcnJheVRvb2xzR0ZXSSxDb25jYXRlbmF0ZUdGJTYlIiIjRlJGYHEvRk0sJkZARmpuISIiRmpuQCdGW3A+JkZSNiNGXnI3JC1JI29wR0YrNiNGYXIiJE0iRmdwPkZhcjckRmRyIiRmIj5GYXI3JEZkciIkSCJAJ0ZbcD5GYXI3JkZkckZgcC1GYnA2JEZobywoRkBGam5GTUZeckZlcEZqbkZmcEZncD5GYXI3JkZkckZqcEZhc0ZmcD5GYXI3JkZkckZqbkZhc0ZmcEZSRiVGJUYlRl5y Next we give the function that absorbs one block into the state. For this we use Maple's function ArrayTools:-Copy, which copies a one-dimensional array containing a Keccak block into the zero state. The entries of the block are copied to the state in Fortran order, which Maple uses by default, and this corresponds exactly to the mapping defined in Kreference, so that we don't need to make the mapping function explicit (note, however, that if we represent the 5x5 state array as a matrix, the x-coordinate serves to enumerate rows and the y-coordinate to enumerate columns, in contrast with the graphical picture given in [Kreference, p. 11], where the x-coordinates belong to the horizontal axis and the y-coordinates to the vertical one. Independently of this pictorial representation, the indices of the block are mapped to those of the state in the following order: (0, 0), (1,0), (2,0), (3,0), (4, 0), (0,1), (2,1), ..., which is precisely Fortran_order). The function inputs are the state array, the block given as a list of bytes, the bit rate r and the permutation width b. The output is the modified state. QyQ+SSxBYnNvcmJCbG9ja0c2ImYqNiZJIlNHRiVJKmJsb2NrbGlzdEdGJUkiYkdGJUkickdGJTYlSSJCR0YlSSJ3R0YlSSJUR0YlRiVGJUMoPjgkOSQ+OCUtSSVpcXVvRyUqcHJvdGVjdGVkRzYkOSYiJCsjPjgmLUkmQXJyYXlHRjg2JTsiIiEiIiVGQS9JJWZpbGxHRiVGQi1fSStBcnJheVRvb2xzRzYkRjhJKF9zeXNsaWJHRiVJJUNvcHlHRiU2JC1GPzYjLSZJInxpckdGODYjSStieXRlc3RvaW50R0YlNiM3Iy1fSSpMaXN0VG9vbHNHRklJLExlbmd0aFNwbGl0R0YlNiQ5JUY1Rj0+RjItJkZRNiNfSSVCaXRzR0ZKSSRYb3JHRjg2JEYyRj0+RjItSShLZWNjYWtmR0YlNiRGMkY6RiVGJUYlISIi The following is a different version of the absorbing function which is functionally equivalent to the previous one but does not employ the resources of Maple's ArrayTools package and is closer in spirit to the description in Kimplementation. To force the function keccak below to use it instead of the previous function it suffices to drop the 2 at the end of the name and to rename it to AbsorbBlock. QyQ+SS1BYnNvcmJCbG9jazJHNiJmKjYmSSJTR0YlSSpibG9ja2xpc3RHRiVJImJHRiVJInJHRiU2KUkiQkdGJUkid0dGJUkiekdGJUkibUdGJUkibkdGJUkieEdGJUkieUdGJUYlRiVDKj44JDkkPjglLUklaXF1b0clKnByb3RlY3RlZEc2JDkmIiQrIz44Ji1GOzYkLUY7NiQ5JyIiKUY5PjgnLUY7NiRGQSIiJj44KC1JJWlyZW1HRjxGSz8oOCkiIiEiIiIiIiVJJXRydWVHRjw/KDgqRlNGVCwmRklGVCEiIkZURlY+JkY2NiRGUkZYLV9JJUJpdHNHSShfc3lzbGliR0YlSSRYb3JHRjw2JEZmbi1JK2J5dGVzdG9pbnRHRiU2IyY5JTYjOywmKiZGOUZULCZGWEZMRlJGVEZURlRGVEZUKiZGOUZULChGWEZMRlJGVEZURlRGVD8oRlJGU0ZULCZGTkZURlpGVEZWPiZGNjYkRlJGSS1GaW42JEZdcC1GX282IyZGYm82IzssJiomRjlGVCwmRklGTEZSRlRGVEZURlRGVComRjlGVCwoRklGTEZSRlRGVEZURlQ+RjYtSShLZWNjYWtmR0YlNiRGNkY+RiVGJUYlRlo= Next we give the squeezing function, which extracts the bits from the state after processing them with the Keccak permutation. The inputs are the state array, the Keccak width, the bit rate and the required output length in bits. The output is a list of bytes corresponding to the required length. QyQ+SShTcXVlZXplRzYiZio2JkkiU0dGJUkiYkdGJUkickdGJUkibkdGJTYpSSJ3R0YlSSJ6R0YlSSJCR0YlSSJsR0YlSSJtR0YlSSJaR0YlSSJoR0YlRiVGJUMoPjgkLUklaXF1b0clKnByb3RlY3RlZEc2JDklIiNEPjgmOSQ+OCcmLUkoY29udmVydEdGOTYkRj5JJWxpc3RHRjk2IzsiIiItRjg2JDkmRjY/KEYlRklGSUYlMi1JJW5vcHNHRjk2I0ZBKiY5J0ZJRjYhIiJDJD5GPi1JKEtlY2Nha2ZHRiU2JEY+Rjs+RkE3JC1JI29wR0Y5RlEmLUZnbjYjRkNGRz5GQS1fSSpMaXN0VG9vbHNHNiRGOUkoX3N5c2xpYkdGJUkoRmxhdHRlbkdGJTYjLSZJInxpckdGOTYjSStkZWNpbWFsdG9iR0YlNiVGQSIkYyMtRjg2JEY2IiIpJkZBNiM7RkktRjg2JEZTRlxwRiVGJUYlRlQ= Now we combine the previous functions to obtain a version of Keccak that acts on messages given as lists of bytes and produces its output also in this format. This function is used below to construct the Keccak sponge function and the SHA-3 functions, as well as the SHA-3 based HMAC. As mentioned above, all of the numeric parameters b, r, n, are required to be multiples of 8 as a consequence of the byte-oriented character of the implementation. In fact, we will require that the bit rate r is a multiple of the lane width w since this simplifies the implementation somewhat and is not too restrictive in practice (for example, all the values for b, r and n used in the SHA-3 functions, and hence on HMAC based on these functions, comply with this requisite). Here the command LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYnLUkjbWlHRiQ2JlElQml0c0YnLyUnZmFtaWx5R1EsQ291cmllcn5OZXdGJy8lJ2l0YWxpY0dRJmZhbHNlRicvJSxtYXRodmFyaWFudEdRJ25vcm1hbEYnLUkjbW9HRiQ2LlEjOi1GJ0YvRjUvJSZmZW5jZUdGNC8lKnNlcGFyYXRvckdGNC8lKXN0cmV0Y2h5R0Y0LyUqc3ltbWV0cmljR0Y0LyUobGFyZ2VvcEdGNC8lLm1vdmFibGVsaW1pdHNHRjQvJSdhY2NlbnRHRjQvJSdsc3BhY2VHUSYwLjBlbUYnLyUncnNwYWNlR0ZMLUYsNiZRKVNldHRpbmdzRidGL0YyRjUtSShtZmVuY2VkR0YkNiUtRiM2KC1GLDYmUSxkZWZhdWx0Yml0c0YnRi9GMkY1LUY5Ni5RIn5GJ0YvRjVGPEY+RkBGQkZERkZGSEZKRk0tRjk2LlEiPUYnRi9GNUY8Rj5GQEZCRkRGRkZIL0ZLUSwwLjI3Nzc3NzhlbUYnL0ZORltvRlotRiw2JlEid0YnRi9GMkY1RjVGL0Y1RjU= plays an important role because it forces all bitwise operations with the integers representing w-bit lanes to be performed with w-bit width and, in particular, if the lanes are shorter than 64 bytes (as it happens whenever b < 1600), the XOR operation with the 64-bit round constants defined above is performed over the first w bits, which is equivalent to the truncation of these constants before XORing them and makes it unnecessary to perform this truncation explicitly. The function proceeds as in the pseudocode given in [Kimplementation, p. 9]. First, padding is performed with the previous function pad and then the state is initialized. The next step is the absorbing phase which is performed for each block by the function AbsorbBlock and, finally, the squeezing phase produces the requested output by means of the function Squeeze. The inputs of the function are the message in one of the three valid formats, the permutation width b, the bit rate r, the output length n and, finally, domain, which is used to select the type of padding that will be applied and will take the values 'hash' for the SHA-3 hash functions, 'xof' for the SHAKE functions and 'kec' for Keccak. The output is a list of bytes which will be converted in the function Keccak below to a hex string to obtain the message digest. QyQ+SSdrZWNjYWtHNiJmKjYnSShtZXNzYWdlR0YlSSJiR0YlSSJyR0YlSSJuR0YlSSdkb21haW5HRiU2KEkibUdGJUkid0dGJUkiU0dGJUkjbmJHRiVJImlHRiVJIlBHRiVGJUYlQyxAJDQtSSNpbkclKnByb3RlY3RlZEc2JDklNyYiJCsjIiQrJSIkKykiJSs7WTYkUTxiLXZhbHVlfm9mfiUxfm5vdH5zdXBwb3J0ZWRGJUY7QCQ0Ly1JJG1vZEdGJTYkOSciIikiIiFZNiRRU3RoZX5vdXRwdXR+bGVuZ3Rofm5+PX4lMX5zaG91bGR+YmV+YX5tdWx0aXBsZX5vZn44RiVGSj44JS1JJWlxdW9HRjk2JEY7IiNEQCQwLUZINiQ5JkZRRkxZNiRRTnRoZX5iaXR+cmF0ZX5yfnNob3VsZH5iZX5hfm11bHRpcGxlfm9mfnd+PX4lMUYlRlEtX0klQml0c0dJKF9zeXNsaWJHRiVJKVNldHRpbmdzR0YlNiMvSSxkZWZhdWx0Yml0c0dGJUZRPjgkLUkkcGFkR0YlNiU5JEZaOSg+OCYtSSZBcnJheUdGOTYlO0ZMIiIlRlxwZio2JEYySSJqR0YlRiU2JEkpb3BlcmF0b3JHRiVJJmFycm93R0YlRiVGTEYlRiVGJT44Jy1fSStBcnJheVRvb2xzRzYkRjlGW29JKU51bUVsZW1zR0YlNiNGYW8/KDgoIiIiRl5xRmVwSSV0cnVlR0Y5PkZoby1JLEFic29yYkJsb2NrR0YlNiZGaG8mRmFvNiNGXXFGO0ZaLUkoU3F1ZWV6ZUdGJTYmRmhvRjtGWkZKRiVGJUYlISIi Finally, we give the Keccak (sponge) function for ordinary messages. The input parameters are message, for a message given either as a text string, a file name (including the full path if the file is not in the current working directory) or a hex string, b for the Keccak width, r for the bit rate, n for the desired output length in bits (all of them satisfying the requirements stated above) and, finally, a name (hex, text or file) to indicate which kind of message is being processed (with text being the default). The default values for the width and the bit rate are those suggested in Ksubmission. As mentioned in Csponge the resulting capacity value of 576 precludes generic attacks with expected complexity below LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYmLUklbXN1cEdGJDYlLUkjbW5HRiQ2JFEiMkYnLyUsbWF0aHZhcmlhbnRHUSdub3JtYWxGJy1GIzYnLUYvNiRRJDI4OEYnRjIvJSdpdGFsaWNHUSV0cnVlRicvJStmb3JlZ3JvdW5kR1EsWzIwMCwwLDIwMF1GJy8lLHBsYWNlaG9sZGVyR0Y8L0YzUSdpdGFsaWNGJy8lMXN1cGVyc2NyaXB0c2hpZnRHUSIwRictSSNtb0dGJDYtUSIuRidGMi8lJmZlbmNlR1EmZmFsc2VGJy8lKnNlcGFyYXRvckdGTS8lKXN0cmV0Y2h5R0ZNLyUqc3ltbWV0cmljR0ZNLyUobGFyZ2VvcEdGTS8lLm1vdmFibGVsaW1pdHNHRk0vJSdhY2NlbnRHRk0vJSdsc3BhY2VHUSYwLjBlbUYnLyUncnNwYWNlR0Zmbi1GSDYtUSJ+RidGMkZLRk5GUEZSRlRGVkZYRlpGZ25GMg==The output is the message digest given as a hex string. QyQ+SSdLZWNjYWtHNiJ0KzYnJ0kobWVzc2FnZUdGJUknc3RyaW5nRyUqcHJvdGVjdGVkRz4nSSJiR0YlSSdwb3NpbnRHRisiJSs7PidJInJHRiVGLyIlQzU+J0kibkdGJUYvRjQ+J0ksbWVzc2FnZXR5cGVHRiVJJW5hbWVHRitJJXRleHRHRiU2JEkibUdGJUkibEdGJUYlRiVDJT44JC1JL21lc3NhZ2V0b2J5dGVzR0YlNiQ5JDkoPjglLUkna2VjY2FrR0YlNidGQjklOSY5J0kka2VjR0YlLUkxYnl0ZXN0b2hleHN0cmluZ0dGJTYjRklGJUYlRiU2IyIiJiEiIg==

The process of SHA-3 standardization by NIST was completed in August 2015 and includes four hash functions with output lengths of 224, 256, 384 and 512 bits. In all these cases, the width is 1600 (i.e., the underlying permutation is Keccak-f[1600]) and the capacity is twice the output length. The capacity works as a security parameter, so that security is increased with higher capacities, but there is a security-efficiency trade-off and speed may be increased by using lower capacities (see KParameters). The function SHA3 below is an implementation of the four hash functions in the SHA-3 standard. It is an indexed function which should be called in the form: SHA3[n](message) where n is the output length in bits (which must be one of the following values: 224, 256, 384, 512), message is the message and there is an additional (optional) input parameter to specify the type of message (text, hex or file) with text the default. QyQ+SSVTSEEzRzYidCs2JCdJKG1lc3NhZ2VHRiVJJ3N0cmluZ0clKnByb3RlY3RlZEc+J0ksbWVzc2FnZXR5cGVHRiVJJW5hbWVHRitJJXRleHRHRiU2JUkibkdGJUkibUdGJUkibEdGJUYlRiVDJ0AlLUkldHlwZUdGKzYkOSEuSShpbmRleGVkR0YrPjgkLUkjb3BHRis2I0Y6WVE8b3V0cHV0fmxlbmd0aH5ub3R+c3BlY2lmaWVkRiVAJDQtSSNpbkdGKzYkRj48JiIkQyMiJGMjIiQlUSIkNyZZNiRRQCUxfmlzfm5vdH5hfnZhbGlkfm91dHB1dH5sZW5ndGhGJUY+PjglLUkvbWVzc2FnZXRvYnl0ZXNHRiU2JDkkOSU+OCYtSSdrZWNjYWtHRiU2J0ZSIiUrOywmRmduIiIiRj4hIiNGPkklaGFzaEdGJS1JMWJ5dGVzdG9oZXhzdHJpbmdHRiU2I0ZZRiVGJUYlNiMiIiMhIiI= The next procedure implements the XOFs SHAKE128 and SHAKE256. These functions should be called in the form: SHAKE[n](message, d) where n is now the "security strength" of the function which must be either 128 or 256, while d represents the bit-length of the output, which should be a multiple of 8. QyQ+SSZTSEFLRUc2InQrNiUnSShtZXNzYWdlR0YlSSdzdHJpbmdHJSpwcm90ZWN0ZWRHJ0kiZEdGJUkoaW50ZWdlckdGKz4nSSxtZXNzYWdldHlwZUdGJUklbmFtZUdGK0kldGV4dEdGJTYlSSJuR0YlSSJtR0YlSSJsR0YlRiVGJUMnQCUtSSV0eXBlR0YrNiQ5IS5JKGluZGV4ZWRHRis+OCQtSSNvcEdGKzYjRj1ZUTxvdXRwdXR+bGVuZ3Rofm5vdH5zcGVjaWZpZWRGJUAkNC1JI2luR0YrNiRGQTwkIiRHIiIkYyNZNiRRTiUxfmlzfm5vdH5hfnZhbGlkfnNlY3VyaXR5fnN0cmVuZ3RofnBhcmFtZXRlckYlRkE+OCUtSS9tZXNzYWdldG9ieXRlc0dGJTYkOSQ5Jj44Ji1JJ2tlY2Nha0dGJTYnRlMiJSs7LCZGaG4iIiJGQSEiIzklSSR4b2ZHRiUtSTFieXRlc3RvaGV4c3RyaW5nR0YlNiNGWkYlRiVGJTYjIiIkISIi

One of the most important applications of hash functions is to the construction of MACs (Message Authentication Codes). MACs are cryptographic schemes designed to prevent an adversary from impersonating a legitimate user and from modifying a message without the legitimate users noticing it. For this purpose, two users share a secret key k and when one of them wants to send a message m to the other, she uses a tag generation algorithm that computes a MAC tag t using m and k as inputs and sends the pair (m,t) to the receiver. The receiver verifies that t is a valid tag for m by running a verification algorithm that, on input m, k and t, checks whether t is a valid tag for m (this is done by computing the tag from m and k and checking whether it is equal to the received tag). If the message has been modified by an adversary, this will be noticed by the receiver because the adversary, not knowing the secret key, will be unable to compute a valid tag for the message if the MAC is secure (see, for example, [G\303\263mez Pardo] for the precise definition of security for MACs). Thus a secure MAC gives the receiver assurance that the message has not been modified (thus providing message integrity) and also that the message is authentic (for only the legitimate user in possession of k should be able to generate a valid tag for m). One of the basic ideas to obtain a MAC from a cryptographic hash function consists in computing the message tag by hashing the key together with the messages. There are several concrete ways of doing this and the most popular one gives rise to HMAC (Hash-based MAC, introduced in [Bellare-Canetti-Krawczyk]) which, using a hash function H, combines the message with the key and some padding and computes the tag t = HMAC(k,m) = H((k\342\212\225opad)\342\210\245H((k\342\212\225ipad)\342\210\245m)), where \342\212\225 denotes the bitwise XOR, \342\210\245 denotes concatenation of strings, ipad is a string of bytes 0x36, and opad a string of bytes 0x5c, both of length equal to the block size B, a parameter associated to the scheme (we omit here some details and refer to the HMAC papers page, or to [G\303\263mez Pardo, Algorithm 5.4], or also to the Wikipedia HMAC page for a more detailed description). HMAC is used in both the Transport Layer Security (TLS) protocol used by web browsers for secure connections, as well as in the IPSec security suite. It is regarded as a secure scheme although its practical security in some settings has been questioned in [Koblitz-Menezes]. Although HMAC-SHA-3 has not been standardized and the Keccak authors mention in their web page that "Unlike SHA-1 and SHA-2, Keccak does not have the length-extension weakness, hence does not need the HMAC nested construction. Instead, MAC computation can be performed by simply prepending the message with the key" , we give here a SHA-3-based implementation of HMAC (see, for example, SHA3-based MACs) which uses any one of the four SHA-3 hash functions defined above.The parameters B (input block length in bytes) and L (output size in bytes) are computed in the following table (see FIPS-198-1 for a detailed description of the NIST HMAC standard or also [G\303\263mez Pardo, Section 5.6.5]). In this case, following the recommendation in [Ksubmission, 5.1.3, p. 9], B is equal to the byte rate and L the output length of the hash function in bytes, which is one of the following values: 28, 32, 48 or 64. The table is indexed by the four output bit lengths and the entry corresponding to each of these lengths is an array containing the values of B and L (in this order) associated to it. QyQ+SSNIVEc2Ii1JJnRhYmxlRyUqcHJvdGVjdGVkRzYjLUkkbWFwR0YoNiRmKjYjSSJ4R0YlRiU2JEkpb3BlcmF0b3JHRiVJJmFycm93R0YlRiUvOSQtSSZBcnJheUdGKDYkOyIiIiIiIzckLCYiJCsjRjlGNCMhIiIiIiUsJEY0I0Y5IiIpRiVGJUYlNyYiJEMjIiRjIyIkJVEiJDcmRjk= The next function, HMAC3, computes the SHA-3-based HMAC tag for a message. Like the function SHA3, HMAC3 is an indexed function which is called in the form: HMAC3[n](key, message) where n is the output length in bytes and must be equal to one of the following: 224, 256, 384, 512. The key, given either as a text or a hex string, is processed with the function checkkey above and hence it must have a minimum bit length of 128 (this seems a basic security requirement and, in fact, in HMAC it is advisable to use a key length greater than or equal to the output length). However, if desired it is easy to modify the function to allow for the use of smaller keys (for example, for testing purposes). There is no maximum length for the key but keys longer than 512 bits will be truncated to this length by checkkey (a key length greater than 512 would not significantly improve security and would, on the other hand, have obvious practical disadvantages since keys have to be shared through secure channels and stored safely). The message can be an ASCII string, a hex string or a file, with the type specified through the optional parameter messagetype, which has text as default. QyQ+SSZITUFDM0c2InQrNiUnSSRrZXlHRiVJJ3N0cmluZ0clKnByb3RlY3RlZEcnSShtZXNzYWdlR0YlRio+J0ksbWVzc2FnZXR5cGVHRiVJJW5hbWVHRitJJXRleHRHRiU2KkkibkdGJUkiQkdGJUkiTEdGJUkickdGJUkibUdGJUkia0dGJUklaXBhZEdGJUklb3BhZEdGJUYlRiVDLkAlLUkldHlwZUdGKzYkOSEuSShpbmRleGVkR0YrPjgkLUkjb3BHRis2I0ZBWVE8b3V0cHV0fmxlbmd0aH5ub3R+c3BlY2lmaWVkRiVAJDQtSSNpbkdGKzYkRkU8JiIkQyMiJGMjIiQlUSIkNyZZNiRRQCUxfmlzfm5vdH5hfnZhbGlkfm91dHB1dH5sZW5ndGhGJUZFPjglJiZJI0hUR0YlNiNGRTYjIiIiPjgmJkZlbjYjIiIjPjgnLCRGWSIiKT44KC1JL21lc3NhZ2V0b2J5dGVzR0YlNiQ5JTkmPjgpLUkpY2hlY2trZXlHRiU2IzkkPkZbcDckLUZHNiNGW3AtSSIkR0YrNiQiIiEsJkZZRmluLUklbm9wc0dGK0ZjcCEiIj44KjcjLUZlcDYkIiNhRlk+OCs3Iy1GZXA2JCIjIypGWT5GZG8tSSdrZWNjYWtHRiU2JzckLUZHNiMtJkkifGlyR0YrNiNfSSVCaXRzR0koX3N5c2xpYkdGJUkkWG9yR0YrNiRGW3BGXXEtRkc2I0ZkbyIlKztGYG9GRUklaGFzaEdGJS1JMWJ5dGVzdG9oZXhzdHJpbmdHRiU2Iy1GanE2JzckLUZHNiMtRmByNiRGW3BGY3FGaHJGanJGYG9GRUZbc0YlRiVGJTYjIiIkRltx

Here we include some Known Answer Tests taken from Keccak Code Package Test Vectors and KATests. Note, however, that the tests in the latter reference have not been updated and hence give different results for SHA-3 and SHAKE because they do not take into account the new padding method introduced by NIST. We start with a few short hex messages. Qy4+SSRzbTBHNiJRIUYlISIiPkklc20xNkdGJVElNDFGQkYlRic+SSVzbTY0R0YlUTE0QTRGMjAyNDg0NTEyNTI2RiVGJz5JJnNtMzIwR0YlUVtwN0FCQUExMkVDMkE3MzQ3Njc0RTQ0NDE0MEFFMEZCNjU5RDA4RTFDNjZERUNEOEQ2RUFFOTI1RkE0NTFENjVGM0MwMzA4RTI5NDQ2QjhFRDNGJUYnPkkmc204MDBHRiVRY3c0MzNDNTMwMzEzMTYyNEMwMDIxRDg2OEEzMDgyNTQ3NUU4RDBCRDMwNTJBMDIyMTgwMzk4RjRDQTQ0MjNCOTgyMTRCNkJFQUFDMjFDODgwN0EyQzMzRjhDOTNCRDQyQjA5MkNDMUIwNkNFREYzMjI0RDVFRDFFQzI5Nzg0NDQ0RjIyRTA4QTU1QUE1ODU0MkI1MjRCMDJDRDNENUQ1RjY5MDdBRkU3MUM1RDc0NjIyMjRBM0Y5RDlFNTNFN0UwODQ2RENCQjRDRUYlRic+SSdzbTIwNDBHRiVRaWpsM0EzQTgxOUM0OEVGREUyQUQ5MTRGQkYwMEUxOEFCNkJDNEYxNDUxM0FCMjdEMEMxNzhBMTg4QjYxNDMxRTdGNTYyM0NCNjZCMjMzNDY3NzVEMzg2QjUwRTk4MkM0OTNBREJCRkM1NEI5QTNDRDM4MzM4MjMzNkExQTBCMjE1MEExNTM1OEYzMzZEMDNBRTE4RjY2NkM3NTczRDU1QzRGRDE4MUMyOUU2Q0NGREU2M0VBMzVGMEFERjU4ODVDRkMwQTNEODRBMkIyRTRERDI0NDk2REI3ODlFNjYzMTcwQ0VGNzQ3OThBQTFCQkNENDU3NEVBMEJCQTQwNDg5RDc2NEIyRjgzQUFEQzY2QjE0OEI0QTBDRDk1MjQ2QzEyN0Q1ODcxQzRGMTE0MTg2OTBBNURERjAxMjQ2QTBDODBBNDNDNzAwODhCNjE4MzYzOURDRkRBNDEyNUJEMTEzQThGNDlFRTIzRUQzMDZGQUFDNTc2QzNGQjBDMUUyNTY2NzFEODE3RkMyNTM0QTUyRjVCNDM5RjcyRTQyNERFMzc2RjRDNTY1Q0NBODIzMDdERDlFRjc2REE1QjdDNEVCN0UwODUxNzJFMzI4ODA3QzAyRDAxMUZGQkYzMzc4NTM3OEQ3OURDMjY2RjZBNUJFNkJCMEU0QTkyRUNFRUJBRUIxRiVGJw== Here, we use the Keccak function with b = 200, r =40 and c = n = 160. In this case the output length is higher than the bit rate, so that the squeezing phase requires more than one application of the Keccak permutation: QyQtJkkifGlyRyUqcHJvdGVjdGVkRzYjSSdLZWNjYWtHNiI2JzcoSSRzbTBHRilJJXNtMTZHRilJJXNtNjRHRilJJnNtMzIwR0YpSSZzbTgwMEdGKUknc20yMDQwR0YpIiQrIyIjUyIkZyJJJGhleEdGKSIiIg== Next, with different parameters: QyQtJkkifGlyRyUqcHJvdGVjdGVkRzYjSSdLZWNjYWtHNiI2JzcoSSRzbTBHRilJJXNtMTZHRilJJXNtNjRHRilJJnNtMzIwR0YpSSZzbTgwMEdGKUknc20yMDQwR0YpIiQrKSIkNyZGM0kkaGV4R0YpIiIi Let us now compute the hashes of the preceding messages with the four SHA-3 functions: QyQtJkkifGlyRyUqcHJvdGVjdGVkRzYjJkklU0hBM0c2IjYjIiRDIzYkNyhJJHNtMEdGKkklc20xNkdGKkklc202NEdGKkkmc20zMjBHRipJJnNtODAwR0YqSSdzbTIwNDBHRipJJGhleEdGKiIiIg== QyQtJkkifGlyRyUqcHJvdGVjdGVkRzYjJkklU0hBM0c2IjYjIiRjIzYkNyhJJHNtMEdGKkklc20xNkdGKkklc202NEdGKkkmc20zMjBHRipJJnNtODAwR0YqSSdzbTIwNDBHRipJJGhleEdGKiIiIg== QyQtJkkifGlyRyUqcHJvdGVjdGVkRzYjJkklU0hBM0c2IjYjIiQlUTYkNyhJJHNtMEdGKkklc20xNkdGKkklc202NEdGKkkmc20zMjBHRipJJnNtODAwR0YqSSdzbTIwNDBHRipJJGhleEdGKiIiIg== QyQtJkkifGlyRyUqcHJvdGVjdGVkRzYjJkklU0hBM0c2IjYjIiQ3JjYkNyhJJHNtMEdGKkklc20xNkdGKkklc202NEdGKkkmc20zMjBHRipJJnNtODAwR0YqSSdzbTIwNDBHRipJJGhleEdGKiIiIg== Let us now apply the SHAKE functions to some of these messages setting the output length equal to 4096 bits; the results agree with those in Keccak Code Package Test Vectors. QyQtJkkifGlyRyUqcHJvdGVjdGVkRzYjJkkmU0hBS0VHNiI2IyIkRyI2JTcmSSRzbTBHRipJJXNtNjRHRipJJnNtMzIwR0YqSSdzbTIwNDBHRioiJSc0JUkkaGV4R0YqIiIi QyQtJkkifGlyRyUqcHJvdGVjdGVkRzYjJkkmU0hBS0VHNiI2IyIkYyM2JTcmSSRzbTBHRipJJXNtNjRHRipJJnNtMzIwR0YqSSdzbTIwNDBHRioiJSc0JUkkaGV4R0YqIiIi The following messages from Keccak Code Package Test Vectors have byte lengths equal to B-1, B, and B+1, where B = 136 is the byte length of the blocks in which the message is partitioned when a bit rate r = 1088 is used. Thus they serve to test the different cases in the pad function according to the number of remaining bytes after partitioning the message in blocks of this length. Qyg+SSdzbTEwODBHNiJRaVtsQjc3MUQ1Q0VGNUQxQTQxQTkzRDE1NjQzRDcxODFEMkEyRUYwQThFODREOTE4MTJGMjBFRDIxRjE0N0JFRjczMkJGM0E2MEVGNDA2N0MzNzM0Qjg1QkM4Q0Q0NzE3ODBGMTBEQzlFODI5MUI1ODMzOUE2NzdCOTYwMjE4RjcxRTc5M0YyNzk3QUVBMzQ5NDA2NTEyODI5MDY1RDM3QkI1NUVBNzk2RkE0RjU2RkQ4ODk2QjQ5QjJDRDE5QjQzMjE1QUQ5NjdDNzEyQjI0RTUwMzJEMDY1MjMyRTAyQzEyNzQwOUQyRUQ0MTQ2QjlENzVENzYzRDUyREI5OEQ5NDlEM0IwRkVENkE4MDUyRkJCRiUhIiI+SSdzbTEwODhHRiVRW1xsQjMyRDk1QjBCOUFBRDJBODgxNkRFNkQwNkQxRjg2MDA4NTA1QkQ4QzE0MTI0RjZFOUExNjNCNUEyQURFNTVGODM1RDBFQzM4ODBFRjUwNzAwRDNCMjVFNDJDQzBBRjA1MENDRDFCRTVFNTU1QjIzMDg3RTA0RDdCRjk4MTM2MjI3ODBDNzMxM0ExOTU0Rjg3NDBCNkVFMkQzRjcxRjc2OERENDE3RjUyMDQ4MkJEM0EwOEQ0RjIyMkI0RUU5REJEMDE1NDQ3QjMzNTA3REQ1MEYzQUI0MjQ3QzVERTlBOEFCRDYyQThERUNFQTAxRTNCODdDOEI5MjdGNUIwOEJFQjM3Njc0QzZGOEUzODBDMDRGJUYnPkknc20xMDk2R0YlUV1cbDA0NDEwRTMxMDgyQTQ3NTg0QjQwNkYwNTEzOThBNkFCRTc0RTREQTU5QkI2Rjg1RTZCNDlFOEExRjdGMkNBMDBERkJBNTQ2MkMyQ0QyQkZERThCNjRGQjIxRDcwQzA4M0YxMTMxOEI1NkE1MkQwM0I4MUNBQzVFRUMyOUVCMzFCRDAwNzhCNjE1Njc4NkRBM0Q2RDhDMzMwOThDNUM0N0JCNjdBQzY0REIxNDE2NUFGNjVCNDQ1NDREODA2RERFNUY0ODdENTM3M0M3Rjk3OTJDMjk5RTk2ODZCN0U1ODIxRTdDOEUyNDU4MzE1Qjk5NkI1Njc3RDkyNkRBQzU3QjNGMjJEQTg3M0M2MDEwMTZBMERGJUYn The result of applying SHAKE256 (which uses Keccak with bit rate r = 1088) to these messages is the following (the same as in Keccak Code Package Test Vectors): QyQtJkkifGlyRyUqcHJvdGVjdGVkRzYjJkkmU0hBS0VHNiI2IyIkYyM2JTclSSdzbTEwODBHRipJJ3NtMTA4OEdGKkknc20xMDk2R0YqIiUnNCVJJGhleEdGKiIiIg== Next we give a "long message", taken from KATests. QyQ+SShsbTM0MzA0RzYiUVtjXG0wRUJGNjRBQzAxN0ZFQkRDQTQwRkY4NUZENEFFQjhGMUE4Mjc1NjFDMTUwRjc0Q0Q1RTg2NDg1N0ZCQkE5QzA4QTQ2RUZCOUZGN0ExNjkxOTYxOEM5RkIwNkJGOEZFM0YwODU5Nzc0REE2QzM4QzVBMEM1NEQ0NDA3NUQxQkFGNjQ4MkI3NzA1QzhFMUE4NkU3OUIwRkJGMDMyODI0NkI1RTZCRTAxM0Y5MzRENEVDQzM0ODA4QTM2MzlDNDk0NjQzMDlERjVBRDI1MEJGNDUyMUU0MUI0Q0RFNTYzNTY2Qjg2MjUwNzZBRDdFMjYwMDE4RUVFMkYzMjUyRDE1RjM2QkRCQkNFM0M3NDc1OEM2OEEwRTcyRDgzQTM3REI0RDIwMjJBODBBNEY2QjE2RjQ1MTUwNTNFMUZFMzk4Q0M2QTc0RDM0M0Q0Q0JCNDAzNTk3QUU2ODUzM0UxOEVGODkzRjc1NkY2RjU1NEY5OEJDQ0JDODQ3MDJEMTlGODc1RDM0N0MzNDVCMDlFREZDQjFDNzFCRDY5NTVDNTE3OERGQ0IwNzM3NjcyOENGQzNBQjk1NjVDMEExQThEQ0E3ODIyMTAyOEIwMEI1MUIxNzVBMkRBMkNDMEE5MEMzM0MxNjlFQThBMUEyRTM3NUMwODdBQzM2NTdEMjhBQzQ4MUQ1QjVDMjI1QUVGQTg1OTE5RkI4NjI4RjMyRjQyRjFGQzA4MDZBMjUwMTQzQzA4NDMyMkZFOUUzMEJDQzhCODlGM0RBNzM0NjlDRUI5MzVFRTI1ODg3RDg0MzMyMUNDOEFCQjNDNzVFMTVGNDg5NENCQjU3MzE3ODIzNzJBNTYzMTk3OUJCRTZBRUFDREZCNzExQTg0RjgzQkI4OUUwRjkyQjg4QzVFRTgzRTRGOUEzQzRGODA2MjRBMTdFRDU1NDlCNzdFRDdEOTM5QzM2OENEOUE5MkVBQUU1OTUxMDVERTdFMjg4OUNBRDcxRDAxMjAxNTgwMDM4RkNGNEFCNEQyODVBMTNCRUZBQUExNEZBQ0ZFNTA5OUE4M0Y5RTcxRDUxMjUxOUQwNTVGNDRGNzU3NzU3QkNFQkJEMjczNENCOTFDNUM0Q0U3QjQxMUQxRTgzQjQyNjg5RkRGOEE2OUU2M0RERkQyNTVCOTc3RDc0MzVCRUVCNURFQkJCQTdBNDdCMTlDREFCM0YxQzQwRTc5QjkyNkE0ODFBMTYyOUE4MTg1MjVDMkExOTg5ODNGMjNGMERBNURBOEI5OTYzMzY4OTI5MjMzMkJDQzJBNEFENDk3NjlCM0U0NDhGOENFREI4N0MxREUyRUY1RDA0RTFDM0E4MTE2QzMzMjhGNkIxOUI1OUMzMThFMThGOERCMjk4NzVDMjJBMEEwQzhFQTYxNUE1OTM0MzlGN0I5MEFBMkFEOUMxNkNBNTczMDQwQTgxOTBBODM0MzcwMzc4NTU0QkRBOURBOTQ4NkFBM0NFM0YxQjAxREJBMTRCMDMyQjNDMzM0RjdBMUU5NjE0MjYzMDJFRDJEMzhDMzRGNjFEN0I0RDE4MkMwQ0EzMDNDMkYzNzlFNzRFQUY2NUE0OEQzRDhBOTU2MTZCMkFCQTVDODhEQkY2Mjg0QzVDRDY4RDkwMkUzOTU4QTdCOTUyOUY0OUQzODA5MUJBQzI4ODczNDI0N0ZDRTg4NkQ0OUJDRTAwQUI5OEIxQjk2MkE4REE4QjQ3MTA2NDRFOURBNDE4NTI5RTc5QTI3NDA4QjUyRUI2NTVGREUwMjVBMTI5QTM4RUVFQkE5MzY2NTdGNzI1RjBFQzY2ODM4MEI5REQ1MEMwNzU5QUMxNTBGODFCNjk2Qjg4NkU4NkE1NDQ3Q0NEQ0IzRkJFQzA4Qzc5NDcxREMzMTExMDQyRkNGRkZBREMxQTk3MzM0MERENjg2MTA2MzFGRERBNkFEMjUxNDhDMkQwQjQ4QURBMjRFNkIyRDQyRUE3NTEwOTkxQzA0NTVCQTFCN0YzOTNDQTFGQTU4MDFGMTgyRjg5MTE3ODg1NDU1REJGODhGNjNDRTBCNzc2NjlCQTk2NUI3M0EzNDREM0M0Qzc4N0UzQjRBQUY1OEM1NkZCMjU4OTk2N0M3MTk2OUIxRkU5MkM1RTdEOTEwOTREQkE4NEY0NzA0MzczMzlDMURDNjkxOERENUZCODM1Q0JFNjk3NTAzNjM2OTFCMENFRTdCODBGMEQwQUVCMzFEREJEQUM1MkY5MDRBM0E5MTA1MUI1NEFERjc1QjBEMTk1NzYzRDI5RkQxQjg4MjQ0RjYxRDZBMzA0ODA3QjY0NjMyNkU3NkZCODgwRDFERjM3MjgxQTExQ0VENTJENUI1ODczNjY4NjQyQzcyQ0Q3QzcwRTM2ODI1Q0MxN0RBNkUwM0M1NzdEMTJGNzlDQ0VGRDZCN0I3NkM4OEIxOUY3NjA2NTM2NzkzRDhEMzNGN0UwQTU5ODc2OTg4M0I0MTdDMzY2MkI2MjY3MDAxQkU3RDA5MTQ1NjNCMjQwMjE0OTM1N0QxQzY0NjgwREE4MEIzMjIwN0E2NzYxMUVERjBFOEQ5QTc2N0UyQkUyQUJCMjE5NTZGQzc2NDIwMDk0NUU0QkM1ODMwQUNDQ0RDODBERTQ4NTA4NjUxNEM2M0RBN0Y3ODVDQkEwQzFFOUNFNUIyNDlCNTJFN0VFNTcwRDg2NTdDNjNDNEZDOTA4NTZERkJCQjI0QzhEMkE3MTFDQjNBMDk2MDY4NUVDNTU1NDBGNkVDMjY0MUE0MjlEM0RDOTlEODJGMjZEMkM3RUFDQzYxNEZGRTk4ODExN0Q4RjEzQjc0NDJBOUFFMjkyOUQzRTFGNjdCOTc0QkI0QTRBQTk2MDAxNUM5MjE2QUZBODQ0QTI0MzA5NUYxNjdCMTE0NzAwRkIxMTIxNUVCNTQzNTdCQ0IxRDQ3OTJBMEI2NzZDNzA4RTcxMDIxMUMzQUY3M0Q2MUI4MkY0RDA0QkM0MEM4OThDRTAwQTJEMzRDNzdGNUUyMkRCNzFGNDZDOTM5QTBFQzlDMzdEMTY0N0UyM0EwRjQ0Q0MyM0Q3MTBBMURCMjBFMzhEMDA5QzY1ODAxOTIyOTVDNDBCNDc4QTg1QTA5MzAxODFEMDk2MkMzQjE4QjZBQUM3RjVCRTk5NjA3QUREMjVCQkMyM0E3NTMwRTdFNThDOTNGOUZENEFGRTUxMzNGRDIyOEM2QjREOUU0MzUzOENEOURDQkU3NkM0RDdERURGMjI3NDE4Mzk1NThBNkI1NjE4NDczMjdERjdDRkYxQzE3RTAzRUIwRUQ5REQ5MjE5NzQ5NTQ2MzhDQURCRjY0NUE0QkFBNEE2Mjc3NEJBNjZFMkU0NThBMUY3QUM2N0VDMzk0NDI5MzM5QzJGNjIwRDQ1N0Y1REQwNkFFNTUxQjY5QkFEREVFOTlBNkM5M0VEQzdCRjdDRDU2ODk4Q0VDNEFCNEU2MzM0ODlERDE5MzRCM0VBQjY4NjAxRTM1NjAwOTJDQjlCMUM2NEI5MEM5RkJCNkY2MkJFNjBCMEUyMjFGMUY2RTFENTg0NDRCNzMxQjMwQUIwNEM0MDk4ODA5M0ZCRDM5NkU2NUJBNzAzRjUyQUNFMDY5NTAzNUVFNzhFN0E0OTY5RDNFQjU4MzRDNThFRjYwRkVFMURFMEYwRTAzRTQyMDNGRjUwRjk1N0VENjg1MTNGOTEzNEE0MzMyQjU2MDQ0RUUxNENFODBFQUQ3Q0U1MzJBQ0E1OEIxRjk4NDIzQzNDQUJEOTkyMUY4M0E4MUM3NDY3QjNDNkY2REU0QjEyQUQ3NDFDNzM0NUJENjQ1ODU0QkJGODU5RDExMEM4RDYwRjUzQUZFNjVGNkE4QTA4NTZCQkY3ODk1NEY4RUNDODMxRkJCNDNGMDMwNDQ5QTlGRTcyQTNDODZBQjc5NjJBQ0QyODk3NTUzMENCNTY3Q0VBNzEzQkU3NkIyMjYyQTcwODk2QjhBM0NBQzY2NzcyQzU2QTlFRDEzOUYzRjQzNDk4OThBRUNDREVCRDU2MjJGMzJBNzVFQkJDOUZFMjAyRkU1NkM5NTczNTZENDBBRkVFNDcxOEM1MkQzMEZCRjY4M0NFMTcwNTZFNjcyRjkwOTExMEMwODdEMzYxQzE5NkZFMzNDNkQ4MERDNjkyNTc2OUY2QTkzREQ0MUI1QkI1RkVBODA2RjNCRjU2QzUwRDY5QjQ1QTM3MUFDNURDRjVDRjM1NkJDNTUyRTBDRjg3RTIyQUYwRjEyMUIyMTI3OEIwNjcxMzhFMkFGQTA5OEU3RURFMUMwQThBQjI5QjZDQ0Y2Qjg1RDM5QURCOUNFREQwMTM4ODZEMkMyM0MyNzNBMjEyNjdCMkYyQzIyQjVCRjI1RDVBNUNCRDA4MzY4NEI0NTRBQjVGQjg1NEY5MENCNDlCMkY1Mzc5NUJCRkQ0NjM0OEIzMDk1ODM5ODM0NEY5QzM2MjA0MEUxNDEyRjMzMUUyREQxNjc5RjMxQURCQ0Y4RDQwQkQzQkY3MDdBNEYzNTU4MjM5QTBCOTQ4OEIzRDZBMjY0RTZEQTM5MTFCMEJFNDdERkYzMjU3QjE5MzEyOUREQTlGM0MwRDlBREVCMTYxRjg0MjZDQ0QwMUFEMkQwODU0RjczMTlFMTJERjg5REE4OEM5OEZCRkVBOTZEMUY0MEJEMDk4QUE0NkJFQjQ3MTgzNEIwMzlENkYwMDFGODA0RUQzREM0N0NERTAxRDVCNTk0RDU2NUQ5NEY3MEJBNzM4NzgyMkRCRThEMEU0NDY0NUE5MTRGMjVEMUQxNUYzOEVCNEU1QzlCNEY0OEM2MTQ2REJFRkY4RDM2QzE3RTVFNTdBM0YwN0U1NjFBRjM5MEVERkE0RTJDRkVDQTE5NzIyQTNCRUVFQTIzNzgyQ0Q3QUY4QTYxNzY3QjAxMEY4OUE3MDgyRTA0RTgwN0Y1Q0VDNDlCRjVBQzcxREIzREZEQzU2NjVDRDFGQTVCOUVCMEMzQzczNDNDNjc0NzMwRUM2NTBBMTNCQUU0MTIxMjZDNjhEQUY5MTc4NjJBREI0RTIyMDQ2MUE2Q0QwQzc1MTFGNEYzMUM0N0Y4QTQxQUM1NEZDMEIzNEYwN0RDMTUwNjBFOUE0Mzg1NURBMEExNjI0MzZCMUQzQTRCNkQ4RUE4NzIyOUZBRUNCQkQ5QTJGMDc5MjI2NkREMTYwRTBGODY3MTY5MDQxMUY4QTlCQzc0MjlGOEUwRjRFQjAwOThFMzNGMDUzMjA1N0QxRTA1RTZBNzhGRjQ4QTZCREY3ODE3NkZCNDYyRTU2QjMwNTQ3NkE3OEYwOTk3ODZBNjc5M0QyRkMzRjRGNzREQUJEM0EzNEJDMkU1MDI2N0YwNjE1NzQ5NEI5OTY2RTFCRjFGODcwOENCQjc3MDU4MENCQjI0NjdGQzFCMzU5NTM0NUE0OUE1RDhFQzUyOEYzRTJCM0Y5MUIwNkUwNjkzRjg3RkRBM0I2OENGOTlERjVDNDdCQjE4Qjc2N0ZCRTc0RUMwQjY2NEFDMEYxQ0M2NTkyRjAxQTU2NTlBN0YzQjQyOTNCRkI4NTQxRjBBOUUzRjkyM0E1NDdERDFDNzg0RUQ2MjRDRDNBMkM5RDFCOEMzMDhCMzIzNkU0MTQ2QzkzQ0RDMzZFMTdERkVEQTVDMTIzRTczNUFENEZFQUFEQ0FBQkY5NTgxQkMxMDYwNzI2RjU0NUMzMDhFNTZDNzMxMDA5M0Y3OTM4QTIwODNEQzQ2OEJGNUZGM0M4NEMyMjcxRUM3NTMzODM4RkYxNUU2RjdFRThDNzExMTVFQThFMzQyQkMzM0FENjQ0Njc2NDBCMTFFRkU1RjMzQ0VDREVFMzA1OEU4QzE3RjhDQTA0ODg5MTg1MDZGRTJGQTEwQjkyQjlGQTg3REQ3MzA1MzYyRDI0RDRDRTQ1NEE3Nzk2MTJCMTEyQzdDN0U2RDRCNjMyQTg0NzVFREFEQkVBMTM0ODZDRkFGNTY0N0U0REYxRkIxMzVBRTc5M0Y4RTZEMjMyMTZCMEFERjY2NEExNDM5N0RBRTA3RTEzM0ExQTU4RTE1QjI1RTkwOTJCNjFGQUQzNjE5QkQ1NTE4NTgxNDRCODBEOTA3NUQzNDEyOEMzNTE2NDNGMTAxQkFEREZBOTkwQ0U5MTBGMkE4RDcyMUI2NEM0OTVBMTJGMDdBRjNEMzJDRURBQzkyRTIwREQ5NjM4QzBEQjM2RUI3QjEyODYxMzhGRTA1NkVBRTlEOTFDNEEwQUI3REM1MjY3RkIxNkE0MUI3NzFFQjAxRDU0NzAxRkI0MzU3MDQ4MjE1N0JFMTBDNkZBOUU0RDg2NkI4QjVENjUwRUU2RjNGRTExN0IxRkE3OUNCRTRGOEE5Qjk3OTI4RUJBMkZDQTZENzY2OUIzODQxODQ4OTVCRkU3NkFCRjQ4NEIwM0I5RjdDQTEwMzA4QzZDRTMxMTk3Q0ExNUIxQTM2Q0VEQzM3NzRCNkI5RERDQzI0MzFFNzMyREIzNjUzN0YxRjRGNDg4M0U4MUU3QjNDNkQzNjhCNEVCRENFMzRDNjU3NzExRDJDQkI0MTU4RDUxOUUwMjdDNUI0QjY0NTc1QUZDRDg3Q0U3MzZDNDUwMjhEMzc4RDcwQzBGREU3M0I1NDk5RkZCMzA3QjlERDgyMDczODMzQzBBODQ3Njk5NjRGQkQ3RDAxQzRFQ0U4MDVFMTIyMzY0QjJCNDg1QjZEQUM3NzkzRjFFRTdGMUNCMkE1MEFFNjU2NUNEMjEwMzA4MjYwRUY2NEQ5QjJGRTgzNzg1MTZBRDA5Mzk2MEQ1Q0E4Q0ZBOUZDRjI4NzYyOTk4MDIwNzQzMDg2QjkzRUVERUMzMjQ3ODQ0MjhFQkEyMzE0MTQ2NjE4NUM3NDAwNTVCMUU4N0JGN0Y2QkVGNUNFOEUyOEREMjcwRjlEQTY0RDZGRkYyQ0IwRDczQTczNEQ0NURDNTZDRDAzQkU5NDE0REI1NjhFRTIzNjZGMjE2NkZENkQ0M0FGOUVFRUNCMTNDNEE1RDNBOEU3NzVCRUU1OTQyMTk0MDMzQUUzRUUxNzU0RkMwNDZCRTkxMTMwOTc5QUI4OEU0N0E0Q0VBMzc5RUQ5RTc3QkM0MzEwRERBRTJCREI3QTVCOTQxRTNGQjYwODFDQzNFRDcxMEUwQzYwM0Q0N0VGQTgyRkNDQzBENTU2RDRBQjU4ODI1RUJFNkVDNzcwMEYwMkZCN0EwRUVENDRDRDJGODc3MkNDREVFNEJBNEI4ODNEQUFCNDYyNjRBNTY5QUFBRTk3QTBFNDM2OUVDMDBGNTlEODQxQTFBN0NGMkQzOUJDNTg3MjVCMjQ4QzdCMTU5RDZENjhCM0Q5NzIxMjMxQ0FDQUFEMzhGMjZGMzU3QkZEMzFGRkNFQzE4Q0YzNEVFNDJDM0IzNzVDODI3QzQyODRCMzFGQ0Q0Mzc0Q0ZFOEMyQzdBNkI5NTI1ODFDOTgzNzU4N0NCMTYxRUVDQTIzNzI5MEFGRTgwOTVFMDY5QTk5NTE0REZBRkMyRkQ4Q0ZDNzM0QjRBRTY0ODA3RDNBQ0EyNjgxQURFMEZBMDE4QjE3RDJBNjFGMzBGMDMwN0FFODZENjdENEExNEQ5Q0UyMTRDRjQxRURCNzAyNzM1Rjk5RDU4QkRBQ0U3RjI4QzdEOTVBOUNBRThCMDc5NzA4QzZDN0U3OEFDQ0FCNjdGNjdBNTk4RjdDODZGRThCOEFCNjUzOUIyRUJCMzc2QjZBMTcxNDRBM0FEQUQ2QkU1RDYxN0QzMDYwN0FCNEQ5NEMxMUE3QzE4NThFMTlCNUM3QjEyRjlCRTRBQzI0NUE5RTkxQTIyRUU1NDcxQUE1ODUzOEFGQjM1MzE5RjUzRDZERDY5QkMyQUU0OEQyQjY0OURGRjZFNzFERUEzQjc5N0MwNzFBMEMzNDVGNjZERjA1MzQ3NUE0MDAzMUYzMjM5MDhDNzFBMTk4QzdGQjJENTQyQUE4REQ5N0IyRjFDRTAxRDExRTdGQzQ1ODUxOENFMUNCNDUxQkI5QjFENTc1MzBEMTVFQzk1QkE3M0JENUEzODY5NDdGRjhEMEY1NjU1NDlBMTFCODg3NTlENkFCQTNBODM5NjdCRjk1NDNFNjQwQTMzRjZGOUQ5NjU1QTU0Nzc4NUI0MkIxMTIxNkVDMUNDRTA2NzYzMEU4OTcwOENBODk2NzMzMTI5REI1MzEyMTY5MDAzQjhGQUNCOERFM0Y5OUU2NTQyN0FFRjUxQ0MxQzkxMDA1QkI3RjVCNjUyMThCMUI0OTJGREQ2Nzc2MUUwRjdDMkZDNjBGN0VDQTEzQjA5REY2QjJBNTNCNUI5Q0VBQjQzRDVBMUVDMzI2MEE4OUI1NEJDMjU3ODUwRjA2NTlFMzI0MERBRjA3M0NDNTIzNkY2NUIxNTlDRjhGREVDNzcxOTExQzA1NEJCNDE3RjY3OTkzMzBENDQzQTczNTcwNEU2NkVBOUYxRDMzNTE4MzcxOTdDMTlFODIyNkQyN0ExRUI1QjY2NDc4MUNGMDY1MTIzMUFCMjU2NzhBNEM5Rjk5NzNEQTgzMEVEMzg3MUE2RUU2MzhEREEzQzc4OUIwQUMyN0RGNDk3MTdDQTJBMURGNDY5NjhENTYwMzVFRjAyQjcxMkQxMjA2N0U3MkIxRTY2MTEyMEZDMUZERTRGRTZCMTFCQjREMTg5RjI5MTEyREJCRDZERDBEOUU0RTc4NTAxQzhFNUVFRUNDMzMzQjIwOEQ3Qjg2NTIyQzYxREU0RUQwRDQ0NTREMTlDQTYyMDI3NjI3MzQ0RjQ1NUMwNUY0MjlGQTE3RTRBNkYwQkFGQ0Q0QjU3NUNCQTM3NTVCMDQyMzgyOTQyMTkwQjZFQUY3NjJERjc3MTQ3OTdFOTE2RDU4RTdERDBERTJDRkM0MUQ4RTZFNDEwREU2MjNFQTVDNTQ3MzM0RDNBMjE0ODhDRDJENjVFNkY5RTBGMTIzMTY2RkQ4MzA0MzA5RDAxNjBCNUE2MDUzMTdFMDEyMjMwOEY5RkYwNjVBRTZFRDQyMjQzN0M5NjJBMTM2MkVDMUYyODA0QjI3NEUzQkFFMTE4MjkyRkY5MzBCRDUxOUVGRDNBOTNFNDBGOTQ5QUJDNjBFOEU5MTkwREFBRjlGQzgwOTlBNDQzMTE4NjFCMDJGRkI0RjlBMEFFQTgxOTk5MTcwRUQ1QkQxNEI3MjdCNDJFQjQ0QjBCNTU5ODNGMUFDMkYyQkE4MDczNDYzMEQ2Qjc1MDBENjVFQUI0MkY2NzcxRUVBNjg3MjY3N0UyNTJEQTRDNzE3QkFBMDc3NjBCRkM1RkUwOUQ0ODM1QTY1MjAwQTgwQzI3NTlBNDc2QTkzMEI3RkI0QTczODI0MUMzRTczQTlDNzVENUE3RjBBMEJFNTIxMzhEREEyODEyQUVGQkE4RkQ3OEQ1ODQwRTZFQTFEMTVDNTdFQTY2QTU5QjNBODgyQThGRDA0MDkzQTU4MTVBNTMyNEJFNzVDNEY4M0NGMTZCNzg1RDJEM0JEMzY2MDJBMDAyNkE5ODk1Q0IzNDM2ODhFRUE0MENEQjQ4M0VEQ0Q4Nzc4OEI2NjhBNjlEMEJDNzVCMDdEOEM4MjQ3QTk3ODBFNEMxRUMzNDJDMTE5ODI5NUQ2OTlGMDgyOUU0MUE3OEYwRjk5NzhERDUyRDY0OTE4OThGMUYwNUI5NzlFNTg3RjcxMURGNjZGMzhDMjNDMkJGRjlDNjkwODZBQjk3MEM0NjgzMTVCM0I2QzM2RDU4QTdBRTlDNzQ5RkEwNjQyOUU2NzgxQUU3RDQ5QjNCMzY4MDQ4NjQxQTYzREI5NUVFMjkzQTE5NTQyMDFDQUQ3MkU5MkE4NUUzNEM3QTc0QjJGRDFCQ0E2QUE2MTQzNUFGMkRDMzJDMUEyRjU1OUY2M0U3MTZBNkM5NkYwNzYwOTdFNkM0NUY0MzcyQUU2ODI4RTlFQUFFM0VCODIzNjE3MTBFQzE0RjY3RjdEMEVEOTg1OTI0OUMxOEQxNDk4NTMwMjg0N0ZDOEYzMzAxQkQzMUM3RTFFMDlCMjA1N0U5RUU0NkZDQzdDOUJEOERCNTlFQjBERUIwQjFEOEQyOTE1MDhDQjM4MzdDOUIyRjE5MUE0OTU5NUQ2QUFERENFRkVGMERENTlFRDNBMDVGQThGNkVGMDNEMzhGNTM0MTM5RDU2QkNCRDRCQzMyNTZFMUExMjBENDlBNURCMUJBREI1MjhCMDI1NkM2MUEyRjE3OUEyM0M0OTkyODczOEY5QzBGQTgxRkMxOTZEMUE3NDUwNzk5ODQxNUYwNzBFRjlDMzhCQUE1Mzk1MUZFRTdCNjgwMDhCQzY3NUUwRTE1QkMzMkE2MUMzMEJDMTMyRTc5QzU4QTNBOTcwRkZEREI4QjgwNjc4MkREMzEyNDJCM0MzQ0Y5ODEwQkVFQTVGQjVBMUIyNTBFQTYyMzM2NDU2RTc2OTRCNEM4Mjk1MDhDN0RCRkUwOTBBRjZBODUwRjc5RDA0RDJDNjk4NjM3ODE2MDE3RjhBOTIwRTFCMUFERTIzNkUyMjdCMzQ4MDg5OUJDQkI5OTFGNkM2QzI0MEJCRDQxMTRBQUY5ODc1OTM1NTU4Mzk0QTQ4NjY1MkIwOTQyRjM0MDlCNjZGQUY4QjhCRjcxMUNDOEMzNENDQTQxQjhFMTZDMkNERjAxNjBCOTJBMzMyQzFGMDRCQzY0NTgyNDQ2Qjk4QUZGMzQxODk2NzVCN0ExMEZGQzZGMTNCM0Y3NDY1NEVEN0MwNTkwRDRBRjdGNEQ3NDdCRjg5QkIyQThGNUM4Q0U2MTBDRjRGQTRBQjcxNEE4NDVFMTU2NDlCNTNFNTRBOTUyMTNENUE3MzkwNTk0MUQ5NDY3QjBCRUREQTJCRUNDMUMyMTlFMUNBQjY5OTY1MkQ4NUI4Q0Q3RTBDRDExQ0U1QjBDQUM3NkY5RUYzRDc0QkQ4Mjk4Nzc4OThFNzM1MENDQTcyMTAxMDc2QTk3MEJFQzY3NTZDM0ZEMUFBRjMzOTZGNzI4MzNGOEQ0RTcxNkFFQzZGOTM3MThCMjYyNzEwQjBEQTJGM0ZENkNCREIyMDRFRDBFOTFENjVDQUIzOUVEMzVGMjJBMDFFNUQ1MDkyODI3NTI4MzdFQkVFOTY4QjE0MDk4OUVGNUY0RDUxMzQ1Mjc4NEJEQjg5MkNBRkQ4Mzg3RTA1QjMwMTJDMDQ1OEEzNjlFNjIxOTFGNUJEQzU3REQ2M0NFNDJFOTQ1RjQ5M0MyQjQyMzA2QjgwODRGM0IyNUU5NEFCQUNGMDhFRTE1NUYzNjIxQUNDOTYyNkVFNDg3QzdBN0U0NjY3RjAzNzdBRTRCMkYlISIi The 256-bit and 512-bit hashes corresponding to this message under the SHA-3 functions are the following: QyQtJkklU0hBM0c2IjYjIiRjIzYkSShsbTM0MzA0R0YmSSRoZXhHRiYiIiI= QyQtJkklU0hBM0c2IjYjIiQ3JjYkSShsbTM0MzA0R0YmSSRoZXhHRiYiIiI= We next apply Keccak, with b = 1600, r = 576 and output length 512: LUknS2VjY2FrRzYiNidJKGxtMzQzMDRHRiQiJSs7IiR3JiIkNyZJJGhleEdGJA== Next, we include a couple of text messages and we compute their message digests with the four SHA-3 functions; these results can be checked against those obtained using the online implementation of SHA-3 at http://emn178.github.io/online-tools/. Observe that a small change in the message produces a random-looking change in the hash value. QyQ+SSRtdDFHNiJRTFRoZX5xdWlja35icm93bn5mb3h+anVtcHN+b3Zlcn50aGV+bGF6eX5kb2dGJSEiIg== QyQ+SSRtdDJHNiJRTVRoZX5xdWlja35icm93bn5mb3h+anVtcHN+b3Zlcn50aGV+bGF6eX5kb2cuRiUhIiI= QyQtJkkifGlyRyUqcHJvdGVjdGVkRzYjJkklU0hBM0c2IjYjIiRDIzYjNyRJJG10MUdGKkkkbXQyR0YqIiIi QyQtJkkifGlyRyUqcHJvdGVjdGVkRzYjJkklU0hBM0c2IjYjIiRjIzYjNyRJJG10MUdGKkkkbXQyR0YqIiIi QyQtJkkifGlyRyUqcHJvdGVjdGVkRzYjJkklU0hBM0c2IjYjIiQlUTYjNyRJJG10MUdGKkkkbXQyR0YqIiIi QyQtJkkifGlyRyUqcHJvdGVjdGVkRzYjJkklU0hBM0c2IjYjIiQ3JjYjNyRJJG10MUdGKkkkbXQyR0YqIiIi We now apply the SHAKE functions to both text messages: LSZJInxpckclKnByb3RlY3RlZEc2IyZJJlNIQUtFRzYiNiMiJEciNiQ3JEkkbXQxR0YpSSRtdDJHRikiJGMj LSZJInxpckclKnByb3RlY3RlZEc2IyZJJlNIQUtFRzYiNiMiJGMjNiQ3JEkkbXQxR0YpSSRtdDJHRikiJDcm We create, in the current directory, a file containing the sentence "The quick brown fox jumps over the lazy dog": QyQtSSxieXRlc3RvZmlsZUc2IjYlLUkoY29udmVydEclKnByb3RlY3RlZEc2JEkkbXQxR0YlSSZieXRlc0dGJVEtc2hhM3Rlc3RmaWxlRiVJJmZhbHNlR0YpIiIi We compute the hash of the file with SHA3-512; the result is the same that the one obtained for the text string: QyQtJkklU0hBM0c2IjYjIiQ3JjYkUS1zaGEzdGVzdGZpbGVGJkklZmlsZUdGJiIiIg== As another example, we compute the SHA3-512 hash of the original file containing this worksheet, namely, "SHA-3.mw", assuming it located on the current directory: QyQtJkklU0hBM0c2IjYjIiQ3JjYkUSlTSEEtMy5td0YmSSVmaWxlR0YmIiIi An example of the use of HMAC3 for authentication would be the following. Suppose that Alice wants to send Bob the following message: QyQ+SSRtc2dHNiJRSVRoZX5tZWV0aW5nfndpbGx+YmV+dG9tb3Jyb3d+YXR+MTE6MzB+QU1GJSEiIg== Alice wants to make sure that the message that Bob receives is exactly this one and that Bob knows that the message really comes from Alice. For authentication purposes they have agreed, through a secure channel, to use the 256-bit key with HMAC3[512]: QyQ+SSJrRzYiUVtvYzczYTQ4NzVzZmYzZGNjYTUwY2IwNDljZWNlYjNhNWUyMzBkNDVhNjQwNzExZGNkYmRkMDEyNTc2ZmZlNmYyMEYlISIi Alice then computes: QyQ+SSN0Z0c2Ii0mSSZITUFDM0dGJTYjIiQ3JjYkSSJrR0YlSSRtc2dHRiUiIiI= Alice then sends Bob the pair (msg, tg). By repeating the previous computation using the secret key k they share, Bob observes that the value obtained coincides with tg, which gives him assurance that the message really comes from Alice and has not been modified en route. In this case the message was sent in the clear but it is also possible to combine authentication with an encryption scheme to obtain authenticated encryption. Next, we use HMAC3 to compute a couple of tags. First we compute the HMAC tag for an ASCII message using SHA3-256: QyQtJkkmSE1BQzNHNiI2IyIkYyM2JFFJMGIwYjBiMGIwYjBiMGIwYjBiMGIwYjBiMGIwYjBiMGIwYjBiMGIwYkYmUSlIaX5UaGVyZUYmIiIi Now, the tag of a hex message using HMAC-SHA3-512: LSZJJkhNQUMzRzYiNiMiJDcmNiVRSWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFGJVFfcWRkZGRkZGRkZGRkZGRkZGRkZGRkZGRkZGRkZGRkZGRkZGRkZGRkZGRkZGRkZGRkZGRkZGRkZGRkZGRkZGRkZGRkZGRkZGRkZGRkZGRkZGRkZGRkZGRkZGRkZGRkZGRkZGRkZGRGJUkkaGV4R0Yl Another example is the following: QyQtJkkmSE1BQzNHNiI2IyIkNyY2JVFTMDEwMjAzMDQwNTA2MDcwODA5MGEwYjBjMGQwZTBmMTAxMTEyMTMxNDE1MTYxNzE4MTlGJi1fSSxTdHJpbmdUb29sc0c2JCUqcHJvdGVjdGVkR0koX3N5c2xpYkdGJkknUmVwZWF0R0YmNiRRI2NkRiYiI11JJGhleEdGJiIiIg== Finally, we compute the HMAC-SHA3-512 tag of the file "sha3testfile" created above, using the sentence "This is my not so secret key" as key: QyQtJkkmSE1BQzNHNiI2IyIkNyY2JVE9VGhpc35pc35teX5ub3R+c29+c2VjcmV0fmtleUYmUS1zaGEzdGVzdGZpbGVGJkklZmlsZUdGJiIiIg==

We have used Maple's capabilities as a programming environment, to implement and explore the cryptographic hash functions and the extended-output functions standardized by NIST in SHA-3 Standard. In addition, we have also implemented HMAC-SHA-3, the version of HMAC (Hash-based Message Authentication Code) based on the SHA-3 hash functions. These implementations use, whenever possible, lookup tables for efficiency and are able to provide hashes and to authenticate messages given either as hex strings, ASCII text strings or files. We have also included some Known Answer Tests to check compliance with the proposed standard.

M. Bellare, R. Canetti, H. Krawczyk, Keying Hash Functions for Message Authentication, available at http://cseweb.ucsd.edu/~mihir/papers/kmd5.pdf G. Bertoni, J. Daemen, M. Peeters, G. Van Assche, The Keccak reference, Version 3.0 (Kreference), available at http://keccak.noekeon.org/Keccak-reference-3.0.pdf G. Bertoni, J. Daemen, M. Peeters, G. Van Assche, The Keccak SHA-3 submission, Version 3.0 (Ksubmission), available at http://keccak.noekeon.org/Keccak-submission-3.pdf G. Bertoni, J. Daemen, M. Peeters, G. Van Assche, Cryptographic sponge functions, Version 0.1 (Csponge), available at http://sponge.noekeon.org/CSF-0.1.pdf G. Bertoni, J. Daemen, M. Peeters, G. Van Assche, R. Van Keer, Keccak implementation overview, Version 3.2 (Kimplementation), available at http://keccak.noekeon.org/Keccak-implementation-3.2.pdf G. Bertoni, J. Daemen, M. Peeters, G. Van Assche, Note on Keccak parameters and usage (Kparameters), available at http://keccak.noekeon.org/NoteOnKeccakParametersAndUsage.pdf G. Bertoni, J. Daemen, M. Peeters, G. Van Assche, Keccak sponge function family main document (Kmain), available at http://keccak.noekeon.org/Keccak-main-2.1.pdf FIPS PUB 198-1, The Keyed-Hash Message Authentication Code (HMAC) (2008), available at http://csrc.nist.gov/publications/fips/fips198-1/FIPS-198-1_final.pdf FIPS PUB 202, SHA-3 Standard: Permutation-Based Hash and Extendable-Output Functions (2015) (SHA-3 Standard), available at http://nvlpubs.nist.gov/nistpubs/FIPS/NIST.FIPS.202.pdf J.L. G\303\263mez Pardo, Introduction to Cryptography with Maple, Springer, 2013. N. Koblitz and A. Menezes, Another look at HMAC, available at http://eprint.iacr.org/2012/074.pdf R. Perlner, SHA3-based MACs (2014) (SHA-3 MACs), available at http://csrc.nist.gov/groups/ST/hash/sha-3/Aug2014/documents/perlner_kmac.pdf G. Van Assche, Keccak Code Package Test Vectors, available at https://github.com/gvanas/KeccakCodePackage/tree/master/TestVectors

Legal Notice: The copyright for this application is owned by the authors. Neither Maplesoft nor the authors are responsible for any errors contained within and are not liable for any damages resulting from the use of this material. This application is intended for non-commercial, non-profit use only. Contact the authors for permission if you wish to use this application in for-profit activities.