{"item":"copy-b","valid":true,"port":"Solidity 0.8.24 pure isSplit and isSplitLite; no inline assembly. Binary64 is emulated with rounded integer significands and exponents; gamma and WAD conversion reuse TellMath.","vectors":{"n":32115,"replica":30115,"synthetic":2000,"seeds":[66200,66201,66202,66203],"policy":"quotient:Policy","options":{"soft":1,"qm":"qm_k1e-5.json"},"hits":26965,"misses":5150,"expected":"unmodified quotient.py consistency()"},"isSplit":{"mismatch_count":0,"mismatches":[],"operation_difference":null,"reverts":0},"isSplitLite":{"hits_lost":7,"false_hits":1,"reverts":0,"sample_includes_all_8_discrepancies":true},"gas":{"unit":"EVM gas per transaction minus 21000 and calldata intrinsic (4 per zero byte, 16 per nonzero byte); Paris pyrevm 0.3.7, solc 0.8.24 viaIR optimizer 200","isSplit":{"hits":{"n":26965,"min":113244,"mean":140329.889,"max":298298},"misses":{"n":5150,"min":36674,"mean":141572.843,"max":359320}},"isSplitLite":{"hits":{"n":26965,"min":90816,"mean":98709.047,"max":173253},"misses":{"n":5150,"min":96276,"mean":161262.083,"max":215396}}},"costliest_vector":{"index":7405,"paid_w":"5976536031598038","rx_w":"101052306541229932544","ry_w":"9895865163572433649664","fee_w":"661144633857246","is_buy":true,"expected":false,"isSplit_execution_gas":359320,"profile":"Instrumented copy with gasleft boundaries; separate compilation changes total gas, so part numbers do not sum to the uninstrumented call.","profile_execution_gas":362331,"profile_gas_by_part":{"preimages_and_setup":45781,"ratios_and_deduplication":160000,"forward_tests":155723,"entry_exit_and_instrumentation":827}},"runtime_bytes":{"method":"Separate compilation of SizePort exposing TellMath.isArb, then adding each external function; solc 0.8.24, viaIR, optimizer 200, Paris","TellMath_baseline":2070,"with_isSplit_only":5334,"isSplit_added":3264,"with_isSplitLite_only":4632,"isSplitLite_added":2562,"with_both":5923,"both_added":3853},"additional_checks":{"edge_cases":250,"edge_mismatches":0,"edge_reverts":0,"uint128_and_fee_cap_cases":100,"uint128_and_fee_cap_mismatches":0,"uint128_and_fee_cap_reverts":0,"bundle_sample_vectors":3000,"sample_mismatches":0,"sample_lite_hits_lost":7,"sample_lite_false_hits":1},"code_encoding":"base64(zlib(UTF-8 Solidity source))","code_sha256":"9e9ae88479c69a8859f4d5d4e7bcf10b542f0df7e962a6586c91713c412ef2fc","code_zb64":"eNrNGtlu20jyPV/R8zABGZG6HMuHLA2yM/EgQK6dCeAsDE9ASS2JMdWUSepyxv++VX2xm4dkZ7OLNYKYZFd13UdXu9Uif3787bP/NhxTllL/zYSyLJyGNDkn7958erZMgtkiIGkchZMw25F287TZfdl/9iwKR0mQ7MgnGkXvgmxOvj0j8LMKWdY97hH4RRMWRGQcszQLWEauXv1GBqRDO6f9A5Cfrj4cHyEsubggx0ePAe9q8O4h8Ldv3ingTvcgL5evX3/59dVHwfkJyI3grVaLTKM4TpwonnWdreuSBul4pE2mcUK2ANz2yGhHRiFDFbE4WQRReB9kYcyafIfpio3xDUCyt5Q5ioGtm/OwXCWUJDRbJSwlGoK5UtOcbzae0/EtnRjf8CecEmdLhrmYgAR8DfELyEwYacinhz14vZc5Wu+lxMKHfUhH3RzpqCuR8GEfUqdnMNhT/PX2IxlCKZEOCGTIo8Q5II0hjJLlkCiGJEqQaoyfwE1cBaHXBeRD7mhstWhBUBJnFEOUDREniVdsAkbPYsJokNA08+kaQCbxahRRsnjR/Yt6pPsXhMXFgCzIBT4fNfWWHxglk3AdpuCB5ySbU3RDP6JsBhRgt3ARZJSEKYmnU/TjICOLOM1IzCj36QnsPg23wAEuknQeTrOCXye5T4MAno4wkOSgi995RD5R09kpxJX47siogZ0h9PzCVySBX1XmMAM8Zf38eZKvo0Uo6KmN1ksZUIK90ZwS2PGp2wcMWIDtwZ6ERik1YPNFEwuRctPfAQDAtyzKYA6t8Vm4pimAhYxco/W4DV+655YB0owuwdIbhmDLhI65GS1J7tAbeRZ1C4mBFrzNkH1wQPjvErlW7IeSaRIB5gP8CwtUAWQbqFEA1IX1xDadWBoiQ3//rV4HA3x//hz18RzjEj503KJG7mo0cofgSodcBl5n+kqFhgSlkJ0FC6iZA6gRTgcEgl/4j9IvG7eFBRCYCMDfISyoW4gbjvphqmMBsK4OBsyiOmBQDMRHSTBrcDTicDk84h933VxswQzwDIGLOB6oqmwCbnUjlIsBNJROhP7DE4/tF+gqA2wEDG+SoMZi2fMqueRpBWO9zCaGiUzH1kYYaxjkJA0ZOAjICW+dyt1xCx8VCw+SgmFgSjYhpEpIs+CLaFEMnw3Psw5tgKvJr86GJ+xSzccUqq23qbXv47Lghme7XpvLJ79xLwPIXtuy0E9fAlgO0szZoKgu7OZb3s+NgpAWIHY3HDgPFakMLZOG11KZPrlMwjUmOFu8URxHpmjSQYUbkV+IU3AGZJjr+Vy4yQD1a9u4bCpYw+jjNVGaRYTfPFA1NMB2L0uCcbGICZDqMNsfklaTJpGW4OTqkVZHjrMEGkvlg84CGAZJXVsJdmhyi9l4Es0rRYCBJnW91MpeWtGKe53jt+Ew32BZiITc+IuQKWcNtJJGdXbXKlJcBBA5I+AhAJqjvmk97K+hC+E9yiwJJ+cESckAGlFot1Ef8j2YgklE6e8W0yrgvt4utSkF6lXel3DcqwORWOGsX0r8XBUYupIclTwTMeHQsIqWzjIIJ24LmXRJOg4i0Vmhr4JZYU3UEny6EgUEahxoRPZ7IzoP2YQDXrl5l/eHZF6cSuJV5sdTf4StYwpiLldZ2hRZakEDAMMNOa1gATAZtn8shjaP0QTWAqZtUFAt8P9hTZPfYeUqyIOFc5Pr96kKr4gjDBS+K69nWOjFGzgwnungXRLR6+o9hxBUNYB8Feu6QraNsujlISujSwqGcWkEsSyJAKJcTUusJPVLYT+RXZeki4WxsD7kh7AyXzmGGaGTmvgM01fJyNHImHfh2z9WO8Mc3Oifr4pf/mV8gYMGTdb0c/kTQJXTXULXf5QxjM/m3qNwckkt/0hv8QPfttZLihWkzvum1ta1vjgQWrF6QShDuW40lwXhtGZcC/dc4aKkUiCvqAGtQrf/P3N1/MA7w6EacNiMS/eaBlBc+mXtzvJKOONhobpW3q2WogIjYk9gVLaZAC9EfgHUyhB5J1kkxg+jSA37NyRpa1Usi2orTjkDHT58DdpEXlLFsSZf9OVqmdk2UHPwUIL7NcQJtyW+2O2p4lDqAvmjFfvh6aot7PYLlPBzfPPNJg3TuYOzhQsO2cDTSKPBiicbteE67zvWtHzQSVXvsQarrnV3bXYDKZS02UJppgCIS1afkZp9hqIiWymNKs2rc1uWrGjV6bDsiQ/PHvLp4z9XcRZSlhkTyBS2GmfkEtoL3bhpBVB1mtgzp3zClPIJY8cnDjV/7+KU8vTstN05Oekd985Oeie9s36x8TLGLIGR4Oo6r0uo9YsY9HZvZc37JpjlvslNqua5Tdg68Ea6oth002BB892AtH4ePbHbD5oL9IYR/IKjetCk4o1W0511nUfJRu5BlEsHtOj5cILvlzbaQKvylJ1OTjvd43b+451UbApnxXdhFMHzk/Y+PT49Ozt6eXzWlXv7R1UsT5N4YXZYm0M0qtrVSbh20Gs2Xsf1hBZqTLxYRU+0cLV3oYxIEQz9AqzsmYcX8Dk8U6LVG/VGR55/MCcecFLNh1/PRzCZ/BA+MB8iqQskBYkXwwxryMgLKuqLKmgqvwKmj3iVdY10zvJ+MuiXREfZMQGJYsaVXmmRWh2kd0n2hmXmdUS16MaNRi751pCjw4+1jqMTjhrquo2O2zJnU3W3HLwO6hQ6aPfDi5N+2Gi4nI6zbbDWFnbqV1bFHZbZ1rZcqXZgl63YYlcey5e1YbjE09xAVyeCnrco9QmUfy9NCn4mXXl18I2I/qXTV3OcirHqezWIO+6WfSuJY3QtbdX3Ba967yPECw425NAu/7/RsF3r0sGvHm11/W6vsIegoWepAlzMIMHZGp2a9LNafrdi74VCNVG/A42UohlwmtBVXWIsNDr4oYYFHLL/KCa6mgVgB2n6ORP+PibgtBAughlNzckaP8FFYVY7Wru8Pr5RbK3zxsDqETXfY3QBVV02BfMJKt/I+rp9Mxj39RR5jWnD8De9WxTDduN+eWEe2gu4uw5+2R+OIR2Nm6JBhPq2vmaNxo2NVhH1XRH1dnbgfAgbRjGwysmjW83Div60yEgUAyfwX5mVKD6MPQ8BG/4rY8/DQzkFb/QgFumMJla1MQ5Trw8kXavYWMnE5+g1Y/uKWyG7oGS7pR5bu81FUMieRkdnD/4r+np14YbdWcV8o674+bSiQt7JUBsOBXxFnqMyyUJ5d+7yAliGnAfRtFykOLTfKWY22HUoMPDWiRMZiHfj1onnapfcmTlTCnxX0+TKg3J9EO+bq5avCzB0zTpSiKAORBATEYRSra/DG96cUFdihzd13QDstAmSvCVltpsaLdLEmACJg9/jTgl6AzlEUGmc729fYWnQJQ98bHSxh/3CD6nQ7fLxqjcpD8GL0buE4F02jVNqtfDrIAqL807tcFvjeZc/i+u8x4mucKJwEWalP1kxh/h8UHIhAcH1gDreO/HHnXq0Q3VrI+z0a7WsYfrnEirBd0jrGdPGg2WrqAJxZyUULUgiKSTBFek+YlBlzam0pc2BFSY52jnBYQv+OieFKVbugvJa99KBfWdmJrJCdZtqBbAtUjVqOLLPFVCDuzNwd0XcXQkX9cO2esbHdvZVb1EtVkKBtZzWWg8/ceAJEiDn59AMw9OuSHC9l4qZAFAAlc04QSBUFbDiikP3ICJDVABOKIsXqmGV4W0euj0+IDDnT5fXcG7XQk/SinnbZG9vwbZVzYUF+BUAv16wXf9rGdBiPzCULJjH/3bp9dcbjzuX621TSLeo+nydf1LrHLjQv1g0Ep38uI4AhSttHwrvlJI9ALx1qgCwtHALWri9OO7fVivB2vC+X7mO3nU7GIBr3Q+SahB9QX37c3cw4H9sFcUDo827H0CDVvgLFAv5G4gzUH0ggENHVgOeux3qFE//3Aget8p92dfMH57qpnjZVr1uqW4OqptfAOhcFWExYJuk1/MbqFgoJd9rwMekZJTQ4LaOa54zObQL/n7NJqLxrODDxn+o6NL2cFk9a+bDcKuF5crCgPa4NKIMv67owMXMu9RiuvxyPmQrWn2O585bnJf7hT/oseRg6CHsYsDajU6faY2rXoYJDgW7nkhF3zWmLlzB/YAC+uh7MDXtU1TLtdMTFZkz7O7j+C1UnP83rtEKrnEboP58Q18HfIyTTG78oy1At0+RxbyfaB6S679uh/+cd87FQf4fnv0bFrvAdw==","bundle_encoding":"base64(zlib(UTF-8 JSON bundle))","bundle_sha256":"8147c6c654876bf1019e47ae6a3b090cd86f88c05fa7b0b68cf6a050bda95861","bundle_zb64":"eNrsvXtvXld25vlV2AEGlGKWsu8XO5xBujsZBJieTqoa3X+4DIGWaJtVEqWQlMtKdX33eX5rn6PLe+hKpboWMBhMObEl8n3X2WdfnnV91v79X3138+r6/q++/P1fvfjh+sVvn799c/fw7O37v/ryr35t//ynN6/f6hNnv3rz6ublzcP7s/BsPEvlb368ufrHX/7NP13d3dyfXd2+PLu7fvvq6v3Z1dl/+tV/P/vdzcMPZ2/f313/+Fqfz8/6syXs17c3r3nA2dXd92+v7u6vL168efXq+sXDzZvb+4sX9z9e/Ob+ze3F26uHH17dfHtx/3D1cHP/cPPi/uL+3bdv7968uL6///Xtd3dvXu/SN3l/9+LFm3e3D/94+92bi7//7//l17dvL/dHPPu7u+/fvb6+ffgn/nb35Kl++ezq5cvnV9vPn5z/4hf3b169OL94eP/2+nJ7+LN/0n8v7q7/5d3N3fXLy/929+76Z7757u7F9Z/33R/15m/u7v+UL19dvn1mr4OAe17i/u31i8vfn7+6uv3+3dX31+dfnu9LdH5xvkZ1f/7l78//+d2bhxten4XVe/KzF29uH/Sj8y+vnq1PPru7vnr5/OH6p4cnT//wB33/+uHh5vZ7E/Dm7cPN65t/vb7jL9e3V9++un55/iXjuji/e3erz6QQ9B3bEfsvtDb//fruXuuqgb1ll2hUb949vH338KvrbcWR99fbv77mG89eahO9eX/98j++f7h+8ebl9bM33/5Gnz03ec9eXz/88OblP77UyG++u5H082/+oP9pZrUzLj/ukGca1ZOv7x/unvB6r148vWCdHrRLr+5e/oIddv7Nxc2thnLJX569fPf67f0T5vPpxYurtw/v7q6fr6Ha7F8wLetPdkT2JXmxTsbLJeTVm6uX908YwbP7h5f6+tef/PnZze3L65+enP/+/OmX3+ir13d3WvfLr6/Pvntzd3Z9dnN7tkt79v219sb6wPnF1988Pbv57uz6a63Ij9d3LO43l5fr1+ff6Djpd/bRL8/urm7ur89+qVNw8/r67/nhk/UrG+rtw93Vi4fL/Slfn+8/0iR+fdwjJz/j71oBnqj/XOqE2XQ9v3l5ef5Pf/fLf/zV+dOvtLnvNPmX5+Gn8y/OYzz/6xS+enGl4323/SwlfmYiNCE6iw/Pr9a5fX6jg/tkk3DxyWF+wi64/Fbb4f4Zx/4HzeI+8q/PT7cLw9x2zDdPn+q9f3v9XrN8fnP/q7evbh6evLu5fUi1Xfzcf7998+bVU2227fP/183D9Z/4HU0MYHV/+Xs98stPQE1b+rurd68eXt68eHjySmD21JZcn2LRGZ/27+ub+9dXD9pcGuw3X716c/9w+d3VK531H24kMnx1x9o/8Mtf3xq0Xj3boOPZm7fXt0+enl3dn3335a9vTfbNxd2b3yH9+lZIc3ellxCyPvvPGsEvdcoFgd89fcqHz368/Fpv8UQf//q332wD44tPdGJvXj7/nabi7qf1n/f2n++ur+2/N/fPv333/vzpN0i5/klb4UHnYJd1vv9Eq/DV928ebNxnp+9tIzh7efVw9bPr+8iB/1pf/ebpF9+enz/7zZub2yc/PXt489y+/ySni/Nvb74/Xy/yE8/58ak95OHu/Xra2XasF5rc3ws3n7NFn6x9erHvQEa1virddv877WC9mw1we9aSsz1vffD7q3uTKwFa72f66/N399cvf5FiCOEX9+9ePykc5W8vL8PZtRb3LDYb6LcM9JMH2j6y1/z6XOt/bud/m9D1xXPtF03Fs6u3WvyXT/Sk9dXrn15cv304+3v7jzYfu0I/+/KzF/m/39xe7xtql/D1zYWedwFi6vNPv1nitHL7B9Z37ccajX7xdfjmP1zuo/ry7OMG/kTkjxf7By7WN77ZBXx4HQwHfhcFauFLNv4Xl3H70O2bh8c/GL/8eDjs45rb11d379fZ+/1vhbXSKdIur3Q0ftRHhf+vb/R3/evD36+v9IOP9sUzfvDhl1c/6cNXP62//2FtXEm94O+slrTj/TOBw2sp4j/s+/qCn9pvWcAPv0Y7cTA+0TS/P98V/5c3X0QGt88eY9z//PWX9ZuPv3tukLje6eNnNFjh1JqK50zfuU3i9tOP03T+yZTpMK/VP/9y+8N6kraRZmRN5R8uUFi3D5cJFP2ri7/6/vrWkOT5jjufWIj/5/a7s4cfrs/KL+6vtV4c4GtbNdkG4ez+/a1+qYk+277/lezF767vrm/1qbvr11dSB2fvbl+/eck5f/nz1qIsxPUzDKV3DzevLt7cfzAX7/S8N68v7n+wX3y0By7u39//uy1C7NmbF1d/nmH3L5vu/PO+vcDlz7MKt2FfXj3b/gQevXn14/WTp1+dLVtPv9vH9+kvN2i8erb+8PFXvzY4vr7cBP4NpsO9jo0W7/1uwj7TypybOWKffXb9kz6gAX25/f3d7aub298+MVPk7fuPoj4M5O17fX2t3DM+glfyZI33gr8/3TQff15K7/zq/BO99+x3d2jr8/PzX//69vmbu5vvb26vXj3/ZKiXn/xZn5FePvvkJ0+WxrtA312g7S5M110sTSd1qYdsCPqo9H/j+3zdxm9Df/6c13v+3NZI0/Pks3m4+NkJ1nHfXlprZEPiD/urX2wq8fXV2yeC8oufHZJ22TYs+/N6LeGzTKanX2j+JPjcRnx3LVt4f29+eo6yu7798dLMmTf3z/Tnmzt5bP/0y//6n351eR75/cEQf6/P/XT94t0DroNs8X88N1XzYRPoU7y33m6fhi//Sa7MC6aiNQGI/ltOvrN/8hd82Uz6p3g93z1cRn36X15f/svr57+N17+ozzZ7n1Hr/z834RkaB2wzR5+ETx/ydHeyPkecZ2b5mi1gq/jqzYsrtO3HRXz+Ads0aNvCkvTPp2IEdu/0dROEyOWAfMW/zZm4vrNZe74+9+SfJeOXlwvinv3S/vPEJmc/GduxXWdDRtrt9e905q4vzz/ZMdqEl9iCtmPusGKefvW77W9vfvfk63PUnObvTzP/Lj419DbjczM9ecjdMjYXACw7VXjw2eM+gOxf6+8fZDxHgt70++snaI9lqzKky18+YwLWr+JFDH/917E9/erup89+0cJf22/GRfzwR7M8ZCJ8/rnw6Sc//OXpV3rPzz4Z1qP6F9Hk6N0/+3V6+tVnNvA/PzsFBp1BnUDOn/kLTzh7TzlxiPtsRj5oyvOL0y++e//BoPpmaWUZLfc4q/fyzpdGPlWYFk75NHbyZ8VF/vQoyJ8Qtri0rbAHHp7aNrGH69Tc/HQpa+R+d5d3T+DsU1/07Pfmd3x7dc/e/viZX2kS1u/ZRu9uzf86u7n/u7tvnzDpZ9/uPtvZ1U8f//j+wx8//vDjz95+/OHbjz/97qOo766eykrV6kkfnL3VYmygeW/PfHr2+w1D/9v1q1f/xZBmDehCY9Czf7p4f6FnSLZkStZXfzCU/fUtLyBvUq9y/t27V6/Ovzz/5JU+82bP3v7RN/juYr38nzbMfaK3oa4HvbVhSpCGd37BkDAvHxnSpw6z+7DsYZ8N7de3mj0A5Pbq9fXF2XfAyNdPztkpwiopiCdrLi9scr9ef/mGH9v77D+2v9iPv33z8MPJp7/4/EPfgE33dy8u1+79gmd98d0X5wzm7E+N0O079xCdk+D/FwbjtqDb2aNRtxVx+0sF3MDH3/y742tfERP7PLr2m39fWO1sxdU+RNU+uNSE1Mzb/vbyNycxtM9W8ZO/f4id/fF4lU0o2sM2L27et0//5m/SAnq9qtkaL+9uNNxPna9fXut3L9/JjZL/dvbte+lJQaCOJM7YC/mCr26u7x82t+vsieychztDbTlp99f6MI7bigqaFfP0Z32vzyPz/18Mx9/f3rx9e/1nOl73l4/F0r+6ufygzX4NPv369tcfw7Gf6TUznVF/N99ghN+efyGBa0SfSvzi/uubL4n8SvDdJ5I/+7p5QR/Qeds9fz4y/3hz/bvPkPnnoqE/g9j7AD5F6+VO7G/z705mLIlHxPz/kxd/WvLiN3+ZrMVv/tx0xR/NVhyw9bFl/yMpip9PUHyenbj+2TTEv5mD+BOSDz9efl1nbzW3kGOdI2T5GSGGmnJotcSU5syplnIxx6yj1dhy7ank3MpsrVy0FmMpLefBj9tF1Ls9Fi9/PFB+fnLs/60Mxr8rqH53ef15AP3TDI+F0fcYOvro3vIMn8bP73Tsb77I6ZtPpd989PuCacC7pxc5YexbbP1/KbL+SBCW4PqX5o7ZGHHH5PneXd+81lvdP9eJey4keff2/Mv1+6jB3qEk1+9eXr98Z97rQoP1GV5Ij/6dzqrw+p4g6/pF1i9kTYJDGr8NepP6JY9d8REJem5hWP3rD08/V/27KtDWl/InoP/z+C7H8X98wPO7nz758/uPf5ZP+T8W1N/c/0f5o5qsR+D+bPlOmquPjtDd9UeBNh8fZa5Xv39qTtj2Py3Nk//w/Mcr4fmTNTSGxFAYwtOne5jpicWoLwL/PP3q4/d34d+HS83Lq+vv0Ksff/3htb9/fbH/6frp2eVHl+v7q9evr/7rd0943Nn/fhavYz/7P9Z/vrRp+FTcP5y9vn795u79mX1LYv7hiQRL4qeP/Iev6zf75376+Pq3P/Hc5x/20BNe1N7qZ7/9/pNvvz/99vtHvs1s3v50dnl5Fs7+5//Ul+yP/+YkfvZQ8hgfH/sjj7U9oFl5otfhNb48e6KhaUifPnqb3bubl3/PSO0PP721NMmFxDw2iyw4n+Xs/4+rbQM8+kmBl+xIffT+X+4enjx//e7Vk+dvbq//y82rVxjeTy+ef5+eCFgf2xnx0Z3xD1/H9PGlX94/8s3bl5/8EMz4sJtuLsNXN397+9NXN1988dl2PnzyN/rkb/729v1Xv3nkk5+94tUnE71ekH+9v//6N99c2HZ7evGTDKJvmP6Pv7cf7b+3D3/6koeH3DGHL29+fLImUt+xmf2j33n1Rl+6+2Of+OHmZz7x2VT8VlPx27+tX/32Z2biM5H/+tXjH2CH/1ZY/vTsXy/vfuYzBvP2wf8tXV5GPUzvcPn85Zvf3T559UYe4L9evnrz1dkf/si3f693unz+7u2TH27s8z/c/OznP+5R5lba7YmtxoUtz78+sjE//Z/h53cyJl7+zAc+m8EfNIM//K0++wNTyBs+v5dD+OTl/dc/fHPx8ilvasIu5cddf3X2rVyD3/7swA167eNPtf+/vn35xRff6BUeG8mJhE/++odHDlx69MD9kTc52Qwfzl9gRm+vr+7+Udrne/mDNqcW+rRXfnphKHM6uYaCAejDV9uf+fTZ6ythF6bjza1m5/Fn2mZfXw7oAR222/CL+NUfOeK37Kbbv728DV/Er24/rMym7p7crkGuEV8siHuKzlyL9MenMj86ldICl9+HX3wfv9p07OX38Rffp68+qNjL79Mvvs/bN/5gpoI2ylsZxy/uf5SFYAnrP5qU+hBNJmt49YrksCzREsYsPc+UaqozYbHGFFuvsTf9eLY0RtDnxgy9tRFl38bIb0cqF7WMmeJILaRQwpS9exE/lZ5L6m3kVIa+3wJxdX085trSrDKGe8pyxy5mlzWcokzlHvrANO5JD62lS/ocOeRa6kF6aXHG0ZrMZX27NNnekq8nDmzq2WuapS57u46JxKlHxJLa6K3EdlFnrbXNKft8xjC7dOin8lMpSf/oHWTBNzIGF3N2DXVUxjeSzHTNn54Zkt4qaGL08N6bnp1jutDfNb6eS8Hqb+Fk+Jrw0DWRs4zKEyRJY55yAOoomp7eZ80JF0LvVjTHEjurZlPOhN74osrZiPq7Pqw/znIivvaSR5yavRiGZl1rcDHbDCHqcfy76yVSYvgap+ana9HLzFp+zb9Gq2UfvSOj8JR8MjtyZ/TaKc9cY5z6cw44NiNq2uMYkq2B6r3MB+IB2jX6p9YYtFLMW9FE5paDdkHVGOLp9GtwmtCpWZhV30taxikPauA5yUfSe2unsuIaeM5aBPlQ2k5tNv37Qq89mVv5U/pAqSfTw5JL9tDAey+lF20XRjpZFL0KflnPVbtaLxX0SI1Cqxu1JFG7XrtThyZoV/TI66d8uns01lR0YkrodUQ9gpFqYDor8gnLCJ2p5qVsw7c+ijaZECLzN0tQcTqSTonknO6dUrvmoWstc28z650ZvHaZdn4qU3uox9Rs8EUrG/k/bTbt/ayZDBdJfy7aNFpXHQVtjc8Hn/vQu2XNsjzZlLUhTVKtJUQwQO+tozpsbW1zBE0hCBC1kdic2nNND+jsoKYXOpGvMU8NQ2vPCcYpnaMXTU6ZMeskadeuGYupF81X1ybVhGkm5Ubz1Nm0EkOPzGGkw+wIR5Ca+BDDMeDRTpv6J2qv4Ehqw+hAFB0mvSa7RwCU67SNFnPT6SwmRqDUTkavEbHn9bpNQ9XhtW0YqrZe7jMCPjqyAdicRUdWk6LNisgZdYSTWeuf7RWdcaGXYFHTmXQeENcLwNotdDCDXlZ7ZWr99LGhvci/UixA9imyZIYd69TIq96Mg5+0gjqiRQteWrPNr2doZwjqtT01AB3W1iagrhXQS/BqWj2B94n0Dj7p2exjKQVtAp2ZnAUeWROu6dUamR7Rm7C39eE0hSJgqbYpn9UE6UzrV5qr07XTzguta9vrDbIWorEN9LpRJ6Jrf2v7ac2F3toprYAMUgM6vRpp01cvdDIYddOeSYLqU9ia9qJdSKsZZrEN1XXQpdEmJ2EhPHuMrdFT19wLjMfU1rHZ0Y4tWg4dPx2pcgpaGragVYvZEJ4NVAQehZWLwmQddG0/jV7TpMOVkl5HM6QnTYYiPTJ1tBhZ0yEvh7nPUgtoW63UGo6OiDbNYCNoybSvpYAMh6XmdMI66kN400Bi7ScUjL6cmaxThWpKWKrG4EjSBNOGiXoBzU1hZ6PT0uQBWpKi7cS5lX7Wu8xABKtGgYEWj4WapwdHsjS3pl8y+0AmhT0gSSFrC2rj5JR1CqLhgX4qfBsYAbNIIppcJ0R4XnXyUfjzFLek2XVaZKgIqbWSwKsUsARLl8sQ0R8lZ6xHyrqQiglm1QxNYWZvDk5u5BjqUJxMj2YH9JdGbLIytFzaOK2w4lpmVkXHZ22cbPYGAT59Q1t3CNwv+Ig2QWLK0qlsQXe00CH2VNTubGZ0aQcHwFwnQoBWkiGrlAm7JbHI2oICM9TRKaZok7P8emkso2K2nfBYg5Vyk3LUBOk82XjRXtIl6GVhg/BHCgT1LPyrrI1w5FS7aT2ESIP9IsRrtviAnX6irzXBiwybNdUBJRoioAREaK9gKQC/OlUyTNiw7VT5Swlm9IKUSEOVMNfShhkdIXiXUdaWwkZb14l6bpxXNP3aJhkICw3lmk43uo6GhiftE1Hr+vZcyp/Dm4W4Aj2sX+0a9k+oHFQdSp172RxJGk0YmbU60qIyDgoG3mGnAxxacC0V412QrqWTwaRNhprQDLIk2CA61lrLqSdLV7IdD5Aee2CbyejUSdSSmDYYnLNYsKskbOl7jmtnrjS5qE5pHUHXUeXoBYR5QgJN3eCdly0lxJaRqPfVawdhE7p8YhxpNsABrbeOUwDgaywYdh0rW4f+dAXNUtVeblhHqZn8yZbVNGjRtL+15Zfdghhegy0RJtgWzCI53dA4I5IjzBdwCDoCmofFqxizUgbsJCCRD2idEsacznGTUSiwk3WkI2YuQSuydk9nRAofC2w0zR76odh49V12ElChF1rrGDk7AmIpE+34zg4YHC6tjGDGfJ5yWMGEzmSq2W2gvUliCYaMf30rLsWphxZGYOrdVH+xtdH7ae9oyfVijOpUvvyqgKEnvSQ4FcBrg9ipyLKl9EjtlbmscTkc2md6U/QdM7T0Gio3YWLrAJdTzaORZ623NPjAwcJ2wryS2tG0CzcSB4K511+k34tWaqJAhJZ4Htr45uTo1GqGYjn4QsIamR2o48rGQnHiGBUOl8wQrcyuTWXE4jkMfdwsOvmR8lYq7gL6Qt/Hsj/djbKKpbQxYDUrdnoEEViZ2kaa7qJzZ+Aq+1IrL7OQjcrJLWbd6Y30krLlMAlHHAeLSwdaKkQeIz4ssyOQ075k8YadkG7eqZ6nj+hg6v+kGQoeqI4S5x7Fgrkkf+EAVx29kcF5vYN8moXa2lID367gotmZ0R6Ufa/drvmXgaDBaP3LI4dfSkX7KBqu5RyXppSXLQuqLiQpNSxtIz3S2YVyBppQoACNx8OpEyMNrQ0+uilIDJyAHSErWnafjudsZoU3M0PZ05rNyUkpR7jTNsBp1kqwr8LyIvFnNRb9BX9AuxcVqffmZGqKcDTkCJnWF2BJepEhxgwcNrP0jtZD1qf2GpiCvZSAhokSnqjN5VDhvg8CCcQUpMYYEYoRT0caJmBTn65WRX9I6TY26jQ1bPKHeTs6wMRSFk5JPlaw9Jd2bCTyYapRh0wgiKOp81bz0TdjLQR2rBA+kOTrbAeMKA1ViG4ogdks+Ne8EWjB28cV0SJ0O7SCC3lQ5WDB4trhlEW9nfBTQwQHzVTGch2sXplmGGoNtBgsESe0WxQJv1i7T2DTOALlgLKyFDWoNHiJgj+9bExZGtp+2lvyuhmWBROENFpB4YxcegwkM3SItHBmh1n+qR5UL4Z8BX4SyiegxAU7ml8wZgoYw1h7kUOtk8tJkv7hSdO29gmwylXEAcB1xpLpmDUTz19D55/BxBfTvRnI1dD4jPBFw86P6l6NkJOhP8jgykSoGvE1TgnWYuL7Ji/hscplk/mqra6Z6A3nXb6woCyB7VqVUzNe6lmHo+BUWvQkmT+gQQqIIpYwqnHt74lWkakjQ2XizLE/EsE08611hLVRToN6vF1kqwa2G4cLiO+MRMpQNrT0iJaPkN9gTvWqxGj0wrhtOMR6P/uutu2pGtPRwYiUq4F7TcylLIuawGHF4dQGokoY4xu3NROGEcqZTWT+nxBX1qzOKyboIWylsUehD+G1BQNrerQtGgoQdSLE34+/zoB2uxzZiOPdMP00qEpULGKQ5Hk4nYkQFOPh6QTbhF2RKEU0PNJSyp4AQycxs2pWvNZFE4jCJK4nm02wWzR1eoPT0InthcrcyxmbRLo0TYUQayX6KBRZTrwmRsql4FYlJk6whPutxdAItZVlTaOdToE3EoXF4cCxsSipICwRfhB2a0+BDTiO0vMcKqlIwjITE5wjoFWV4phEduR1hXTARhm5Ghaus3bQMmw0kQKVwNkfHH2dXXYPkZTJG+FzTVBfK1WI4xYtxSR0c3AbogWzsD30vpk4YcJQwe8j1IpDrEcnO1uC0cmjKkpTqkBYWUAvHWDi1Xp/zfAhMNawtSuHb2LmsQu7ND++nj1ZBsZyAbW7GWky10eLwuwc1JwmUJq9AKlsSQNVLRBGJBNeCKtbGEmHS+sob56wDHYYFpimRaAGFJVmiuIkPo6/hBej7Qq0WdhBCK2/gOIaed7DbFpNrJSAksI6TRYuqAJw7eBGiEvGVjsE8XQMBSaCTqIFCJ9CdC0NQ9L+7Ct+ENDfAwdZ6KMJ1NKY26lJToTZdOz6IcIZsYcFTPL/8YsSYSb9TX6SfBQCdoJtbFxQXFpZBnW3GDzxM6LXOhsNWIjEtmRYnoJYJzCAwT+2OKzGWczTRNkVQvzZPJaKn6hJ01tWS4Jg3WljSS3pvAVO8gzH4DIKB3dGUyNcX64qWQ8MPqmGFrpFAif7QtsnE9bTjGXyHYXRc8C18bXX5cCd7kJCI3g42m2CRk6ydrl2B/6Chpa1qzGLCcMSg7MzT5aB8DCmByiFCq52IMpBQUmyXrCaDagNjwWAAYwvIutBJltdBgbBScIT/DQ1M19XZI4oLh5GYjCnux5LExdOVoN2/cCcJYzEQSRu1bFbTNMHw9higRSpMR2vBfETw0YyGmHunA95m4xVTfBXI0MVEXdC32jWI6mfEaahvsASO0KOHAmIwbprbfUUASYRJu2o9og5QJS9YzmPsY/T9AMHC6fQho/3xb5NlH3hruZkGaoayR80rbtW7RD+FIBoqOY3JQnCIbKdQ4hG9mBAN2nzJ4u2gN+aF+EWiSF9VPiuXSmMThwL0Kcfdo5gc2JkYB0NO/wZ2URdE1CrTUJ8r+GRyjQZxJjJDmbszC0kB0wQWD6cWYt0a0EFA9JcZjmSHRgE1EnbEDu0F8LxAJeJKKLxI4chk56S2qmEiGT9H8Q3NrC+JgAhc2Q7UI5HMXgjuGQrzkOx0DPRys7/JzD/goh5R5thBupgHKPmxPPl4mv3kNVYZgGJMnPdBQBbuBKcGRzsMTEds0Vuda4Im8ik0KnS/J+6HAQvZJhZpIYDGyyGytwQqyFZtfI+hFsTqT8mixNuyVAyrTpp0rWYbPUQupU+jThTMh2wDMtYk6NFLhbsBEuDme1CZ21vbT8ccSzqAgocbdROtECfEeYVIta2bNoFOiORfObEbzEEwzvXVtRLSQtY1EkHWtsSjCJAIx0+Di6tDqYwRdsxYVXo1UwNaY4lBCWPk7H8dMxBU3QNN52XwMMjSqB9gImDJ3uqpwlxyHmxvKwFSC/4FuFSi+JXNOOKfU4OjCVbtejaV82SF8Ni/wWPnANw0NsD5zWz5wxtdV4sd6fvdhktuOC2lpnXl2NGWL1xwHhVbUTtmIKpQkbgEGfWBmCUhAmlZ4j72tRbSl47EKNTj7F9ju+uR3csyggsknSSd62xAGLL/D41CxKGXANFSL6yESMBSFy7JuWhofalOibBdLzcyd7CNyFGbgWqmTCSRS1PT5EUlgV7dYCIqa851huZ5M4bLZO7czQnMUacXWniaQDT0YgkqbSl5jHviYuF/YX7iunBiFiKIYtQWqWT18A/wLwgDaoP83hcAS1ZOIZCiHbr3ZkUOXnRVo1NDE42KU/gNa3ws2W7ZCNJAXKSlzdD1Fm6mlguk3II68uvGxaVljXa5qohMP8V+bIMZtuC8PiYwbJBYLlOVyAwQj1BwjlIJLtKOdi7OEhapEFQS4oFzArYU3jZ2G0kbE2RyutJBLEjEXcpHp1PrGk2E7RSHLJDLg7bQDY6Rm8n7TaXsYjzLdAQOmB09aWNiBVo6GQccIilODSXqBaBbeuWZZyn5npbeUBpRyCKzK4sx0DkjPB7y+QQTb/Kl9OzzO1qYBKOuja6VBxZlymnRXv+9BwVtJoAligZYVAiimSaCCNRCUKd9YpJBUwagmiVHKh2BAZh0fpINwr/9PF+XFqzcCvuvwxptENaHjsmtra/XAryIitYgDFE3kpgQRZnuRqyPgbeK7FvguIHM6YSIs8Ww6motLKykjiuei0CDUAz2nri/5HDMsMxEkaVvMFENiKSDcv1kKvUdtAO6Zy+XpdPTVybDKe0sMCLI2nmjSlGgA3gkvIYRJIxCYhZY3Zyro9G8MQgp4pmZVgtikdIL1pqwJS5VSNM4iuabaFalagGFutgk3EguaRZ5AycWsEYYLK1wsofUjlUrJJIq6zHdYFBSubzUnQEeoHkOu2ND5NkTwTxhaDFChzqIWYs/BCQ6VxZgYgl5IhwaI+OFTiJm0HQisUfzLKUf7BqBsj/cM4s+REe0dgUKACUxECF8qt8yRxUrSYe5UADLB+TFLQsXaLdevqwoGKiNkvmJJlgSl8OKagMDYEslLRDtSSXVSRUovMYdjKRhHWG9ZwvYuPY8xl1PlZRAxFXoh56NHbNySNkVFOjhEbtqKVktTJYRjobgbTMlgOMVgdBMElWeB4GmhRIdfJ72Piy/8cxY8KexMGm0KaazWxZumKAUM1EsTOqx9qiArIDT0XzaQ+Qh6YDEfklaH5IUXFihJ/mkFiNSyWfJse+Ep8fewbcEs7CnWAOnNzGYvu/k5qUDRB4rUNOIAL9WgNSfngH0zLG0bC2Y7eyebf9Sb2FXKtAfRcbYxC31vj0AWZAv+Yhxyg+ViVBbEJFcEaoxRBMdHK+eAFSAyvvQPZbOFhZVhn1YRnKq5ggRl6CfPlhB7Fkmp1EHmlLYkait5Vgbycz0BafRVMibcYW0PRw9MDn0wXVa02CilKvFePMfCT0CAwZCy7PLe4u44wSFwCC45dNnMxFChkKsynEOoWbSBTBysLIboxgFjBlTqgWCtuELsmKchIZtorB3kyHtZXXExxQu1Mp2QqHaAfmGn6S1jqazz8srke4pluxDc5ftnwp3glxRj4dpGyTBdELaYREIVbm2YeiIo6dzkvi6JVVPNQJqZpXPHno5nPrh9j4UloE8BtxzkdqgFIjs0DiVgesWGoYJYuThJo2jhIndgBbiXolWRmdJOwkhBUOr4+tzS5bWbe1UBwMcvQ4iuj5gSmsM5SxZbBDJboFi8ELJHq13F4luH3YzAELUZvUlA9bDjQhsFwBUoCXiNE6LZptctLmaXOeimEnZ3OQvK5WInE6v4VAOhGLBn5bkQxATf5Wtgsm7lZPQ0XsxGSy7NTS1mSH2VhE7AKmzOlhB8grGW08TJJ1jL7PYq9Si4WokilTARRpIJkX2igygIr9vC6jPHTz8Y4RGeko8v3UIOhoF4sv4LoRqtDGwcLoY+WUzL8nVZXJz8puFCywUCwJW0/649Qn0AEThGmnTApF+x7/blYIKQ+K8M7KkE6ippRPRJCEegGUhbYHuU+MejKgox92DxhGkUsg4Wxry3FOJB8apR59q/QK1EdRYdCzOX3x0QRmGhZ7CtR/aS+2VRJIDYCmnxoCShNwTqnNtO1DIpeCIfPhKzEs6i/G+u0h183+wiKP1YoKLKIAPgySART8bAUdhN8wd1EhkeQsZkW20jjclEAY8XSnoL1JZFCNKUMT83dVWWFFAWxgkI6aBSBIFBYMVGwZMBLFkykWsJQfumScTo5l4DnVBOn0WXBKMjq2FEU4RFyIBXN0Ow64th6OUqMQHLtXho9ZUzoIOmSn46dEklIHbeFMAdKw0GyyuD/KvGH8bikITZaVFUbCIpgXHGBcdn4s9WVwfij9IQ+NjS8tQ1CaiKIOqUzCSIFyF0AYjjNjK6zRqcQz/YxTT8BBR7ShH6npONX6RJW1AwUteBq2ujiUVpSDOd43U17iBVlAshXNJnJYhbpqsl1kUHQCwsHqJRgxDUCwjK0Kg3A1nhSO8djqh/RWZHd0btDUjZpKMIPyMimfsIJJuR9NopYsBcMYrVxtlVjJfcUWp7iB+tG24oNWeTQJx+l4divcY1ISmXLgoRxKW2WUBPYIWn6g7i5sCTUlOCC4p2W5BIMq+trNuqWQrLMDCO1qd2gMaBjZRMdChkmSXUdIp9vqwIjmmJdEYCyYqTZWarlReEm5B6ZAsRi6JbwzaRXptXAQLySyKkHUEQO1oA/RUHZPYNcS4F9BH2aBYDt+CCUAkBka5mNE0em/IRzTKVp3TuFcJZE29VKkFIywGQqhGAtmNxbBqmwHtQ+ZDNrAn+hUrWgOej94G7IVyNhGbEI2aFohfaoZpaDMkZnrkaZQiNpFmBVWiWgL2wPWQMK3bafbUrNLlTjvL4fVGB3EpGqDO4DCnNQfXljKgkTUoAwdN2yap0S0D7sO21TTdQj8BpSzTnemdCmtjD6RNbYTpUwkzbeiTmCVWAnFuTrHbOBjsRtFqBpcowRiuS1UhlFOqSnEn60r+hthAhDQJK5MHoXfyTC38k7qLAqJ8tO5QLGjIKlExYMwW0u6Eb1p+WFMwBVA7c1iY6SuqPMPVoKp4WVsBCnX0cIhQyj4ptSeyhPh/9rO1JljpZD5kVNluknzUMlxN6uwpOxrBQHCsSCaIn7ijSvzjcKnSrFTXmfWiLleKFFWTBshkobtlteytEOlBNu8odOoNyl2bbhE9LO3ncVBaXKGV1AoYbBotdELQrIsD4Er24DpaChSQJwNKq3wmapNi27BerDKGMtPWT5vkkXWn4hEax9rBVCFWhJiq4Q58IkOFb5CV2HpwCu0epBp9YA6M9QByqjYeAlWJ8A6ZOqfe7ByjYtouT1oQPpDPaRfCB1gEaLEYDiZ7qEiXEivE04aCbe6Lc6Pjmcm6koeJTfztBq5JRRfsULXw+DlmFBaTdzVNpYVTyTCgbAsSNczqeFiWICKyq5GUSbxDCxu/RI/WgiC+XQ6NxTbEYkYhENtp1IjQa076RgChUZ6IMhQ4PxgixZcWnNVDsfQwo7NUoDU81gxLEoAZ7HhRuYtm2OWnQX+M7UjPVmJmK0G7A7tlHKwIkK0jBvnTvKtyIjcsX4gaNdbjjQWVnNMyWkQqogguBWMdThWYJKmB3w/RKGtciCUVbKziCrag1T7Bgul9bJobRi8DIGIED6IwR3uDFX/5salQ/mYYLAmc8cIuS+vLBKbp1AU9zCRv1gWOkhXk9UQY0xtWfSTOBZKTcsmTMvDjjJ1y8ByLlaia9GAyNg4QQGPSDBvNRzhEfS0aoOCN6TnL2MAvx+ym5G6ELEqQSV9EuPEXqbqZIt3TItpp7F4LIegcyJRrdNJHUJDj5hSIm4LMUjvkSxVJxWjLYS/EC3dQ9yc55IyI4jAXsHfPWgTaqJ0rjQf1JZU2wWyZjrFRc0YDRYKwv6sUMdyNf8EvwZWn4xMso4Y7oRxDlnEDBZwljG32wqgcibJbJlpi4m8iHeE4wlDDzPRZPpgndRspY4UFYOZpwU6ZAbwvHFCtZnjVp9X4F4RNoda1rMdHDhxhP8SeUSr9jI/XTu8EIOmCj0cfCkCAdnCeZAdrZQN89uMAsL7WMnLRsNd7ZbcsBLvsfy6SkgCbaJPE94+VQjg7mDl6lY8B+cK/2dO3F8SUCsOhF2csEy0sBTdWTShZquNwDaWvX4g98j21ubVMhEIwGKkHsVIgQSIqbxZReyDo4IlvPilcEHYJwSOcaWJFR3qCqxAkLwm6kZ/XCqcGteEQUpiIawpwA0szBJ2AzwHwg7J6mxZUr5ppWknmpjaEugZON55ZRXBUi0q+Gx1iRZXujBEhQKJz2npMkNK/NVV/0KqsR84FTpYYCXh3zDYITgpco/he1L1qVcyv5xgNUXoHZJoXGUcRxxoFlmDwFShtq3YqSkUObKrEiIvJ5PIO5UbVsVpIehHSnI1L9SuwKPTSRwYbstJgqZkpRVUpQ5LbDOuBEXYSkEJDlNmVAZrk5lAaizqwe8Dkw0zkzksK+8ZLEUAl1AbmJIuS2HjuAUWcUCyXaFPXLRJyWxB3x0q83BPg1VMgh9tY67NLbM2DLdtQvDcKB6KZtOTVbRKp6OlY1Yv3XuoK8e6Zj9TKk5CRMhK7tSqlAn3UNg98MA7xk+FrfaIxEhlBoVCKPxVaTopmIchQP5tQ1Zz+VqzpApG3arXKYdF6yTdJhYHhzTUlU0g6E91He5zKHmPP2gT4N5Qn228bs4PJ1Y6qBuxVBvuoAogd5ARyigq0mlQN3FJLDZSKNXqy91F90bj001LqnAQC7Wa1ikJnXPIAMhbwNfVCAhwWSWTFTZaBQppdo7MqmvD/MK6ErIDXhSwl40o2vDFtA15idNQSUTLdZhCEaaI9hbEpW6+b8GW7MtiIiESrPpdk0dNrsXPmyU/+uI/hmPBCoylTlYxkLKflsmJoGjmYZHgx1YOw7OLnkWAjKdsqd7T0lXyjZhVQqEeF/Wc2PmkDJY6nlAWVQp3PVNgT9Rw7Ok0MrTRqBmVc3YYLckQNDTma99oeBDkwWxaVVlc1TZLgatqUf9MeFnmslXFUdwKE4IQlhbu1PrFu6pwwINlIPp697gqMLHVjB5mVUM4K3jwdl4arwaDLlMYYWEmECQcaLny2yj2meZ6ZMvomKeO60j1AmWP2Zh1gmQ9IJAQoRDC7NZB8SdUDGrecASPp5P8XqIojfoiCxNRzk+1BuQkOIo7zQH7iI9OGOMBSBOCdAhtMmiTlXH2Q9xOY5JsSviZQXM92IsMqYKEbWMaczSlKzgFhLK2zBjZi0Zl37L6Tk1imUWy6qhQ2SNEfVHEVrSUANGq1kisKDWzsjHMFdzCRJ/7GtW8TgqRId+vGCCcU/1kEp4psW1GCNW61PVRwC6fChS/SEaI6YA8AZhDeaYOPHgPAQT4s6nAF+kMzSokNupYIhyXMCuq9UywAsRmxV8UBbTNpDrJQxG9bNhJ8H2naUGhOIYj6TOjsq+phh1PpgoCC9FxqTVzbTjSOgKWmT6Qjaxog1I5rRJ/XvYSWUamiqgTJVKWbq8ABApEaonYT8AgI63D+1ZKfUs+hqeJ2gLH4AoYuUzACEGNaDy+31jJ0gzPWPubiu5MPUdFE+MZw8E2IXKkTtO61Bg2q4YEcZbOKKsLwzQ66V7ZS6SLzLqlewlgd6twbCTg2UGRmtkDzmz1fxR+6Tw0C0UFXGw5kLgmbcVfsZOIO3U7WERTcHc0U2zvahXT6ZhWp/yYTI3lzqmgBE8oMRnDyoU0TmNNmfrG1m8U/hOygEeqzUMCkK8GolA6TgfznvoKKmqhrYZVRQb5qRNjSKRh8irtZf91ksDalgQ3MyQD6TSoj6hXkrDH4BS0ISvOhE6/6lxIX5K4mLTcMFYvMXedetuSpGdgWOLmb8Xc3Uq7sZqFo4ekd4ajRz6kWxGl7R2SMeTuC2mpTWWzCwEU2Uqkn3DuH2F+wZTWJwBf2Dh0PCEWRXuJAr7KxSBiuOgskFKpDSgUYHZOJ0pa85ib1SdQzn7wpyqUGMvuCOzwpBcnleLixEGjUUZbDi1JhWZAsNxFMk2SViaFs4S3yG72Q+qVHWdcOqYFP5iUCTkejFX42NmciHZh5cl0sOkQUSOFR9holBYLpCki1Mukw5bpNvBEpTM5+LaCX93GHay0fI5F6sPul3luxCvN1rQ8Akcmk+edELKPVkwk+UECNhhNPu4aVO42mR+yMFttKco2U/1JWxDL81AWhO2RUZ4UDKR0zFhpT+tsRgpZqh3LtT10vPCJalh0FSsbtiJQ4DXhoxKEwUwh7xvJdTYjkX0yfq424qwTcGSHs5A79RB2vdE9kTniKpqNll+0OrGGG1UsaUU6oVNOG5qlpdimnz4BG0KIgb1C9cHq+tBJfFuDlUpsdT2UaBs6oJkPSgGp5QbIbELthNMmC/ZUPqXuVGU2olhxcZ1BXeLUlKJSoLMUVrdUG3XAcMDHqg0guUzZJX0g0mrM8Jl4mpPIuYHsbpF1CxFVo0oTo+uEzgwoAh0OLJPAXGDQ4TcTDmyU91jBf++n4tnrZJVXhcCoy8XSQCmOpewfG2wsbyzH1ekFuhpZIr0q/B/qNmGzmFr+XDq8g0AJHkULYxiHkh4NZGCmDYuVttrkRDcJHObJwmsbmDpf+EdIjuYzWvDT2U8U/CAGF8HS9ZPEzlb9bbpssSGYL2KJYFLEACSfLrvSCjqrcfAXOfkz8dYkBp6zJp6ggenDhLEK8bxSurTl4VDo09htFCPB9EdPEtBh+6ZFUTnIt2OfbV9QNxuN+kgVGFnGYYbfyorB2YSj0yGw0asEpu4F0VbS0xkGeraE7efizZSjuqGvtlhGuYJWHY3BQHSAZdNW0nyRBRBIECpMFhsT3lTI02GjDR3EY/STqO6c8rIVmdM9CQ4ehRws33LmOQndFhETKaz2NbwH4EDvC+m808WVvWEBvURCuudldcP+gaZHrR0+7DL1iexZBLkTSqBpGIsFzZTgL/F6jI7D7kGXVwxu6lt0tilypO4dp2Naad+qh8bcI28Lf5J6tEXGNN90MLsU/8fD0SXKHilDoz/VsNpqLdSkrreR509khW16YFLhYEJdGUYRxauS+W1NrdheeEAH6LGCVcjg2TLHq6bVjEkalRAoInnRrM0arTmIbzE5NDTAOspUXyeKiGs6Ahv9S3A42GuYTsTpiV50y5LRTmFlhwiWW48MLAjqj63A3prJ4GQZMynUw+bRWCrtBsydWHzAYK4TdY4kzTJaibjK2v6Dmk5ch6XaMSdiNQ83UPJ0OvyMJxNxIiiuWg+YpPQnHmopVo6zIvjghaUZqpVHWtFvIlmYLHfG6rTj7ozEvRoxJHhu2gtWAhmstxpR/a3mwTqLNUATJy7CJkGTXeALkjmt9t0cDruH/NggWkcSb2WAJ7Ud0ex5itqoD1l1kZoWalosUT/4OD2l6dxD7ytSByUcFCOIRXcIWI0SvrzvYpXozVovpGVtcnjh14D/0HuJ8xKhg+EKzYRMBer0cLiq0Yc0p82sUqxNq6hPUJEhXmzckkyFKLsK/VmWdgsXwi2iPHC/2kqXnW5Pi7RiN8Im7bb1E+45c0a0b2sWRQxvGJnFdq75cQG1LgeEpmCmo46K0SrDCVJhg1LHtXorzWgYQ6+bubddocY106+OIvMsUDMmaCKbnK1KfQIAh/0DkmPK4I/RJQBDWW818GpJfLERKTa5wOjhNPAO0ajLdvLMHSDFRPlceGSDwhklGAbvE9/eSkQptTOtwhnYilypoQmrC0E1ohZBT7YF+0HrTSj6AG/Vat0spYbjMOKWDctkaeHCQAcwlY+pAm0MvmE0cu3qsgAzAYofGEaJ0mEHkXI2Hh+OZ966gIRk1Mts6Wt8k7nCJRx1CPR0I6mhr6ZUHWcQXQFb9gBxlOyQFGZ7E3dehBvyVcZCyVZ+Yt1NKNk1Az+a6UhfgpUMsdJpgpsUztdwWAMZJdHI09YbjtgL3TtWa0CyHmOufjCkLygr3qId1j8zXRAM0ZEh10bd1CMgahW8hOHjNCcQlUCXDTb/oLhv6z5inTEJzWVCC9bEzLgbtEQrFMnWdjQ9sVFpwVWDebllNUXS9uB1olH52yKZ0HOxGmOF4Gy3Qs8Ly8Ab6hWc+MP0o0qH1WrJ3E+rXpy6l0afKmuUs0XaYIuYNqBwmviP5YQSEeVlWY50mBo6SMg21CZGkxRzIAgEDPY/tJm5qa+xKqLoByAThhZ17Nk+zTPDAyVJG48zD/2QzLq2RN3669CPDco6dZ5W6bKIFRYmZxoCxp1V9VqfExrzdZokraZ8p8YVNblmVJJqnKtbhlWykojbakCN2zJhUsECpZqJSDBptovVsIMwE5THFVY+eYL1lCJ4MK1YdNEz4RUYSYnjFVevM+MYEantdNGrq9MKIVkYNexvLcxhAYp10CvF+odMBtrMNAmVmpO4JbGJVNGXg64nwlUQ0XhRdf2XRAL9Wg670zzjalEw4p/GZphkx+AkW2yaKONyjbhkIRlK0haK9KcORQHxJs1HMIpaPp2eanWEw1qPjLRqowUyK9tNEwwSBiuDog9SxWEVFdrAwxK0F522OaTESV3TtulgYGU6rjI87OgaNt+ddp1EDEgRh7L77lA6oMrkOpd+p7oCVildTYZ5CSfzr82F6UiOy6oqjAEyrKcVmgF2xKrQQStkukKQSA5GIpP4kazakrg8lS+n4gf1hsZuoorD7ExCwxYcaYAFVYArUSpb3BRkJNhGTG9Ze9aDN1Oi3lffkFMDZVK+T0wOHb2q4qhfwQUIuBdhkQyHpVkLqQGr4IcPsrObITDhoYajbxfBdtnN3TJdO4MOh2rW1caGnPpqswjfgZFWDG48vHZB2QHZT9wyyucP4q3fJORkGTf0rKAqvFCxRdcHONVly+kCF53IsNV/bgkJqIvBknIEEUc+gjMeVF2NlObKCEGIHdjPHLTaFxedWlArrSnE59Ez1ukF44+WzuTUrQ3s6fCN34Y5QByhoxjRjBSua68WAnbWjYp6aSi3GT8ctQORt8BpsIhWsaLaR4ZPsw8aRM8UrSeowTx1V8ZesBCm9Tdi6yVSwBwia4VjXI4LY9KAvJBaRjxYn5kEOE0voe4E453ypGwtqMhE9S0LRckyqXkon1iHxVrc4aQhoS6O8NH2wfCyJpg4VhY2CbRlLBSsROw9C19QjsBi4ONTFjLXotRiRfeJOBHYeJidZC2aCMFWK+XfcoV1RWon/NFu5hAsIMsqYnkReGCzlgtii9CvI70y8+Fk0bXJKGtE5Mm+m3FrmVAsGUiocQsFc/wph7LWRFSjZsNUK29s1HySKxgHaKONwoQNYt763jjGWnKg6hnoMOeadE2n2h5VR1IiE+4lqqZP0ycooUDT0a6igxJbF98pbfQQXGiSUoPKErPzIXZhLpDyYXvSfzxZRFR/kI0C9a3Su+noW7PuWEx1WBkCzpfV1NOlArr1imAHOtQYGQ7DPRMiBJWEKaAXteWzHm0TPA4MhNVTjrGzEtrdlJVV4pO0sqYWEKZ3Y3EhsUwrD74gfNyRS7lVyseji8FMkgPfxRpcUjBP6SC0JPKYKxCN8Up1AVFW8qPQG9oFe0m2BS16UZfHqA+mAJY7CmSs+DJ0BSpkAzNAnDaV7QYkiBpUmUbavyWadVInC7cB5zETBj2YhcTx4RpRkEn+ne7lyZrBgYZ4Ziv3wm7pZhXWamWnlvqiyXy1Al06A46DY51tJjJUNcLG5LgoyiY/BpcJDNqsOQIAMC+gIuFZWjoUlTStFNUs/nxAzska0dWdLVbb3l0QLU8VENUOeWut36BZkpklzg4P0LqfWXtGWn7EZc4cDAfSN1SOGlu6Wg5wGJHAisKBTYvuLGbJorpKmVORZpy9SKtbvAx2p2WmTqOellpJBFIJkmdjF0JbzOb5wvyiLZztK7YgJKeYrOySwIeOSiDpRXE2zPl8tHzYAYT32QrTIjO4ozR1oaCNzol5C3vi0FP1kay8Fdt2FSh9PiHNelfC+odbkKxFqnWmpLsUlBzEr7YyxIWbNQ4h/RwtlGHEUvYqGS0kHPGsW8kq9Ks8tqJo+NxEqIIZcHS+5amECPGuYSpWaxVYjgOO2HZUd7KnxypsJcZuXXit92g1xWKdlZJV9NIDiqZLGFNokGStWbV7pg7AAeHJ6yX82RI2yKbcPFg0koTMxiTD37IUpcTSM3VXKyRUaO9TKeaxMpt4UK80eyYcVWnEvrV7yIZ3fdUYr1YY04jWGFY0QaLjR7D5swYBjUb9ZfVrPnrOBAvYU7BQV62PDna3tv60qSdta+FZ4+uTvGE4JLLsGOFAwIAzItmiuJ4YsNFIyBMUahZqBM2tu3K3Zjo8y+h2EMu5ma0ZcT6uajx6zE0zninU7vmoZNOqn8IzTssktUYkVFSbU79VoNLYqhtoWNtEI02iYiF+0UEBevMjOoSC4AhWccjids8APayT9dAo1uHMKFrdymwmTghRdA5XhCtB8WMOxj9qx/hvsZ4O1mEXp23f9dwmAOmeKxxw41Z8xwxF9igTlccqtSG7Nq0mBRw6rjC1MvTLgl+YLfdEjVskBEDcuy8CI2T1vN0GQM7e2v4RYKb8Ab+LdjQa1nGLBuM8dmuAtroxUAxQLaFEA7CN6gHr08LadAXrxuDRWMhiwnGDlsPZOapBS46igagAWoFqWpaTzNbCMrth1aFZw0fzpyYhQctB0jCYFh007eqWwj51Dq1Si15mKPu4CqZwFrDBa7dGxVafweIbgZcmrVaOBF8KChqRXyhNMRxHn42/BGWoLS3aFmUqWpMGFO5exqNXIcQvMxKdSTwzbl2DTmxWIY11IyCrY13tUUu8W7VCDiur29rK07mMEu9ijUmCkbMomCfySQ2FaZdDPHlY5z70ajGLEkewWIVmso6ItL1auaBGAJId27FKrEEuvSlhgcJfzY+Eewnir7IW6/y8uiiHVZNCXaBMyLn8wcTwrWiH5AIV0GhbqqCtmBA0esQkhnRRcM4o2JtGQqZNqiWQrL/v2CAiwM6gcMHuk1idAS7IJFv7YNq+p1IfCVfToXtwcwP2uxW2c5UCs5sp3+nL2U+4D5nAKKNY5TXjwvLSAnE9k6q7g6+/OmRhV5Am2xpkMw3WvGYSps+rKDESLGpGYsy0Ilj2RTZzm/oA7RDpzcPaZut1TbNh6xW6tGEmr1yIEtDhd3XIJm2MbcRdM4Ruh1XXResMRrCAoMzhMGVrjE5DP8qrosWdYJFAMQvF7u6p28UYVsdGwQFuCN8xwgREMFr4Yujg1TxSBED+G0uIfNqK6FK/TufWbB2cp1lRq7lTM7OfAEgxGiqBJqsszcGI28dQBaXXiTwUdzMAGEbH5q07dCwqWdPWpIH4pZWbcaVQXQHgcAxuGeqA5ygaS4nQs4UwmsVEoFIvGk7kIJF7t1gVZBYoEqgmTacRnTXow4xYsQsFFxSoNLwIMyUKpdqYTm01C4MKp31NzGhdr0Ec0LosJgh+ZLZQZ8fgCuU0lIeQ5KTSzFi9RODQN9bwdzEmC3wZ2tkRsabzIXEqAu+NdgarP8TBxbGW4xiPmInVLgMgzQEJn7gwouJWLk4KBSoyLa0mrCBSk9TiUhuQaYJQHgmuEBMyVjPFBNuB4q4QLv8IFk21zg1WOEU6nmo+2qxz/Ue0fnnZIknQT9MxdIlpC3t0ROtuY51o2X+T6noaqs70oUukMXRiXDS8iQ6U6s5c5kDB2UxmyR7LLiDewOSci5++unE260TP4lIHYczEbllioivc5bXlYcl5Wf8GlrwcXUwJtBZ+FoIme2nEgmC1f3a91F6NTNlTtG46w+pKo3XKwnsm9dxpKd3yASzxYRIhVZo39q3RIhlUWtSTko5b4ziKPrBSi5G+h3G7AnyIYRWjMChJy5+iJSaWVfBF69Jml29Uouh0ybB2wpbISlSx0ZyGq7NQOMb/o3E6QGwUknz07nHtaDZile10ebqwfA6JGujbFNouU5YMmQ4niZNKy4PVbYJ4HnpyZGt4c/BMCtEl7gygw3IxAq4lZwiqV4yVvZwJyxxXkP4y1HOmVRBkWhzeF68cDlkNK84hlMRqWTkf/mXGXiJ8AP/GjA4irkYtpB4CVyRZlRzZ4WCXDc103DTQpeEwNOu1RS4sctkFmciWrMPKCriyT7EZs9XHhGIdj2g8PYxfBQfvMC8yrwE8LMdk/TZQtFxJFCx/YN1Ql4Vv7WYacQR4fKtmjngb0VnC77ROOsw6yRXcf4LO1Bdd0MGt2dV4RDjCPi/0baO4JZkHDdvQLnIrVo6sM8bVeqE/Em21ShqSDPjUVicY2e1YHdwZRecW2zXDwlz8s9Wt0DL9ohiB3i4Rk3mWD/pbe5YkVbXuSzQvoNlmsXaeRPFw8mzqFzlhWoaYphPFblqpDJukCe0T2mFhAUBKZehmTIcH233k0sx3s3sCzbvn+hKqUgxZUYh6a2HcsCYRY9H9F/nhxPYgJWcVUsOaFQPFHXdYb2B3+I1lGuDuQGSgmLUm83vh6wacrkyDdfIoR/GFlqLGYzMzzDS3OU+JiwvIkW2t1iB7YbOhlwZ9YFeAsdud4pi50nSPFPDJKKBvFKnEvhqVQsdvVuNFd8uGxlgN6uAgUApAXCbbqW2UqFIAQIdZjsgx8mFNexO6CT/KkuGUOdJXlIZiwxouGNOp2y0SXB1prl+3bgPRdGmzUrnH3EydF2oHCxf80YtxOU3DLIJgl2gQlbO2N9RBMgorr7YLE83PZx4hjLNMKT8WTWS1MNLtSjarFqBebdD7mptV9s7d6D9rH88VbNYghsYWZAy40YDgfTzMT7fb1foqdZ4Y5lRw00qbzsj6ItlYu56D/uZs2LDcNCshA+CYPXJC0QJhh1huW8TKYWkmSubZNLRlpe4IizCb20BU2u5Mo6cTWUS7Osma2FibPLqixAPuEE0NOIlUJ86lUxkh/YDIb5ptac4ElpuEWhvuTOrWfCGK/7nerWe7+yA8ksSmTyMFoGOatg9bLaaF7IslzKddg4BmKNZQjiQZ9C5K47LxiOkMS4+QfCxiwoOxqgCdvmw+IWwLWkV260hf13UKifpDUIQQAm6GkXPp0TezpVjoCXSswWrgQaK+36YF8fT+Ncc/2E1Xy4qybIVdmipXaFjZEtqAkr9kXbPDIxUKGLdkwWk+TrTBij+rtabnhhY2y0Zk7dAzK3Ec2jRzAQWXkdD4PFmTvkei3MnKAWndmXCfVm0Ilsy62aCSJ62LaJnoe2KVRzAEDGkAJCrQacKxCBjzkQBdJWE/zWGFKm1h+gLBj5gLt7htl21YJ0G614Bl1fjRjdL8hD1Brw8B0HHrFLr9Y+Lg1dYtvkVKjDtupLjoTTAtzqSDZ7nSaJUYtS5+sdWu0p0zG6PsEReIJy+euayKkfbW9HpAXpRDIkB2+ygXIFEJQhmyURzxdi2JU+2GKJICByMZTgvEersbKI+tbRQxkUFBN62Uy+LM4nVXC6NTcU2HKHyUTNMIGuHR3uiYhkGwgXemVdnWixV9TUwdDnn80Aw6NyN7FuuFhYtrhXfWaZJI/bRGqUenPFitR7YrJPDPVjeW1ZbULn+bra/9bzWNk6tBAVZcAyvwItBsrQ2C2YKHgE61qzTBf8gNW8gfhWk30gUWKK8AIy3MjEmKHWZptmboxg0Sdg+soCUfS/+zhWOwhOtWv0ST4WKX59BRKlm6wi4qINtnJhINhlZfCqj/XLpBKJsrdw7YT4hl9RolhIALPa0uyG5JwSGf2y3BcCuKNQwfw2jdZbGLTjNTNEFNxsOplsK16hUzCfbbCdvKMwRCLJH9Rf+2sNXcppVWKJYvS8ekJh3IGyWTWFvGcDMDvNG5kQJGqvDiaptvZG/ukGN7UAptjbeS+aNp2F1kiyd/Aph2RaN15ph7j13KJ63CYWIqrI4fmYpPulUYcMYt2IjpY/dSW/PlftCGaBmjW5J/N2+JVhH04qXA1ji0WxUisR2aEFE0aISjYO3B6GwPKHObZjkWbENnpaAGhviwKA4TFog0mIKTFPJPXJ1LRJ0qebp2RbtO98I6V9Kp0u4LPpbLJzhXOLyVl7VrqbFpuHHWCrijhXTyar46jNbF3Rwwf9MW1B3WTZz7sfLqinta0GVX42CvEFU0cnSo3ApElxOadq+iRWtcADtotSUrZiFcUB1h5WjczjPK0Yug4wCdqaTfrKBvHXzL0hDyQ/7qlWvd9zmc0dK4w2IBzfpI8blm11sduRaUK+ZmXZjy4ulx/ZZdg0ytbhvLUiCwTWefwWbHN81jPJIUpIGW1aXAGKYGYY8YDHo/cDUxxVpp9RHigX1dyIIdY0fPrtBB3VrroqPtgWnOCcdQ77Gu21GN6A6/qjVjgWy9DY1lSLkQnYMpZ03xkagcZS9UF3MnFnUP5J4ARwgkVtBm5pbF5Lrdx2PKLlSQke5XmMpsm2h30ZXwaNUNxjMNUEZdnpSRzmkn0QXU2wUWNnZqjcnM0L1zschoVKNJIkq4YOLkeMLmsHL1aQ1xgqUUQByL6XNNxcJD8/ZJFa2diFu1dcc5SetWqsvZEnQvq0ThMMassIu0RN9a3NquQe2bWYCDy21kOoVcFYA1jwI/uJXkRawVVzOeCeQP+3Cw0kEy4Nt11mZ6VvrhWj7IeLE4UXT1IeIerFTmZDdbiA2UsvLcxUakMwRuVrM7REJeF6DQpJImMDjRrN66ec06+OFWEnsG4g/bj2L2QOcn8oarOJcGsqgXIu21rXoFbF7yQ5P3gXS8qjqtwIv6AqzMno6RoGEtX7hMxHqy7jwwMIjdqN0DfCzKIbWnWOF2t2FbpH68g0SJUbGuCe1oANDKigQ2wQeKxadVEFZjdtK3BhNsXfoNm4cgTqfCzTqSogVxHZJdNU9d2DEqb9Vo1KORFaMR8nbjFEhEtw526brvnthQZx0sgGh3D3GjlV2xyAYk2fNImYR10cRaxEPloFPia3cFpXXJzQpxUbJO8YgODoH2rbKNQi00e7fs47G2u9ul7uz2YO0VLFpuF6FAm02UJe7BMtLj66oFbtKC/olhr+/Z7VHmc+Zjfpe0Kj5xoRubUSWGXdWAudTXVXaruHsaMQaSKISbaAGF1bqa5nywILis7rB/mjVqafDT8+o/gtqmWS6Np/qHTs2FzrYUKtCOkVTxauCx7kGiYyPXzrdHKhRpV2JtwXAC7VYY60Sw9e1j8qP1QLVOBNMqt3BIuZ/JiusTZRa0QGwEl44HjPgS1eXoyWGhIHMviehZPC3Z1W3r8txmbaY772p3zVsNJ5xhNrKxSdMB7klByd6j9ddWp2X+DXeh2Z2l6yKw5d9AMOAeaayrdXs2ZTLy3Gk9zcXL8ZEMMlXd3ObbuFJ9dbMlBVPMgdIrMVmrStE6qyduHJTpOVaCstpNx1xmSBViPhRQZLsxDVqrlXCvpB0N82D5ZOM9jnVZCW19uGIdpzZx3Z6VXmaSWcPQqsz8CP2AaCD99awViFW+UWTArQXkrPllXfQ57tIJVuYTrIc7AR+pQ25nHtgTtKw7DB//EWL9KrLd6hU0sdoJJO37UuiWQiKobB0gLB9ptUn0jofHTc63HlUh0exhgQPKUMw3q1QEUjfBlqYzvNnZJZt+sQbJ9CGzTqYXdlEsyScKalaP61NwSIWbZKCuphWvpl/q6jKJk8+18HaTLtedbfeXszuj3XRFkoDWMEwh0fGjK0K4oVi829xXDFXe3iracP/CVrxMULVRzhetdcqKiZKbpXq6WDr6EWoAygi/Cu9/oyvgh9h9NtAFiRgsC5CyX+je+OlWVFFX/ovadruIyNzTgx8CGTha/Jc2jXO7hq1xTVO0Cx+LdSq2C/YI6ZCkpU6AQvnVr8UuZzTjldDzwVKLFH5zjUAjvtdt6xNNgG5LNX61IIeVv0C3pAyFNPyKiaRF4YMAUdc9YqfQHKyw1PpD0osAU4oYPOROHIds1cuLfBnWjbPFmGp0nWU1OVEUk9ITvI5j7IYOdbSQ4HIHFB/VCMYA6zGui6ziMjTjqo+pds3TSvIQN+tEeix8Wspxd26NiUhNcp3T1pegLwyNltWw7mwWdI0wv+3KNQJD1bozcp2J1X/RpKWnI/OV/pj0ZbYSVFmCFlS3InRstGwadgXVuZiKhIyVCZdVgoIJa508OBjzmGLDMON4JbumqC/PYTEd26Lek94w+xZeMOqPxn1m+hS7XoReT3ZfEYU5j8TOSGdRQ40VaC3F6fFLEhO9Ys2vV1sLKryoCLOMkjXCDo8VQNrVATSLHAQqoxXzZLuBmyJwLgvZEqbJcK1jHXIzDqX59IciimLcsIIPXR8xxK2HLW1m8P/LBVeNklmgTYDReynsjatxod3Nl6xvfzVFAguJj8K2h+p4HD7FrJBMVxvDdR0KxBu6t1DAaZfUmSahqJxrPq1ScSOl2R3Kbd3+IJRIx3wv9jDFz+xAViVZY3R7p04qgQIBJgLTnEZTw5p7kQq38l0O8aBpBBGLNI7bEVdkJVi5WGO/urZYBJDoaLT2eCvY1yybQ2Wr2YIWSoQzb5cs0CNotIOrWe2mdjNuwKW0rpBr1u2nW5XM5qzEYI3wge1qZKJFL6SAIMFwi5ZtPh7YZA0h6ebQrN0g3ey4oI1S4XWv+laKVyCjWJyBdpphdb2iRyeFEIlEcUiPWcrWIHWu9nfGFOISJtqXUI9FIatpQ7qQdWtDSDnZAhe77XTY/9vlqI/I5xTjCtEJeDQzBKGFQQQlQoxCXFwSDjONPichLzyfZrly62qMV4FNPI/1GhClszVXxgG0ndittyatWCFzQItb952tK34p9AJ6rQkoXSQMVHkOoZkD3lCHQLNars3AFjZksbXDI8z8KKYtj0GOz5oycKKoSeukOClCCYRztX7zWL5MFX2y3qF2qRUnjDsqQAeOFD0EtwbpUIyJqHICqHiOY10sN+1e+Glb91jratxX6MiNPPB2gIlJY5sMo0FH489NowiRtTUiHige7Dov7jIi54RP/lgGuEOUt7qBLV9kERVrb9HWzcaLu2sliEQaiKCCr3hgnaiOtTEk9dmOtXlc0E5Vz7RbSgyNg4XPrTlBwyVdaExnaqv7a9Y5bV1ISAFZtXIhursdMxk0XyE7BHjTS8Q473Te7kYqIFhnd+k0a/dm2URaSVIU1qy3Hpcu2uW/VP4fa8mb7UbevYcV1GFCqYOAxcQ9b1b9So64WgOHYFeccgvuuOBKCgIYlNam/kgTC04MHgp1rhiM1uWey9NpuUYPjLAd3kzouZnBlaxkedUEcreFXeEoLHlkb2a779KYcnZHp21+mnCBP0bUohx1OYp0/te6Dru2othdEJaAp4o+48pRvPsIzdLauxhNkYZHF8YatrsEVyHU4n0za2xwKGZoQrKE6EbSlShRDPFwZEnjJRq5xfBmS/NQ98zXrT3sulUCCiCM2L5WHbooQRK4i8RPjHeSHokZc99CxpqyBL4x0ak7wS0hbLmnGGiWTyC6czMp3pdRQunvbDFquMjxWPtAtSblQeSBm/U4Dnu/PRqxTysH3e9loKKC+DxGdxsrRTJo7EhtIusS2jGiSb4ylUXjNeCfZJuMNEaNEFf5rmLPyFV1GFVWgFNtzlaxguXiA2W9a/j3728ffrh+uHmxuUJro9CUHbMwG3eMO7Mnbi0eHRX6F5qYabfDR7O8KdAj40txNheLcAzh9ByeYU0JKSyIq0j49H+P/5RkxukPrPXVyeBNcvpfl3wYsiXSW/IY8xKdHQZtdwHN4jHoJbo6DBpO4EzVY9BLdHMYtLXer81j0Et0dxg0AfG8OtL8pQe9RE+HQbdsNwt7DNpEp+AwaDgz0gkeg16iPSCPhkphuEDeEu0BeUu1ZDfdEouHcjFuRnHBvE12cxk2AYLefIZtsj1gj675m3/5lx/2ku0BfDFZMMcF+Zbs4gF90dKDPbgMe8mOHsMm3t+Dj8G3ZHvAn12COLML/m2yXQDQSlebDwAu2S4A2CFbTB8AXLK7ny/T/ZyZNDyGPa162wcATXbzAEC52m1aPt/BC1uyo8uwCRKn5DNsk+3i8kY6FFYXANxkewAgjVXqunb4Lz/sJdvDV4e2YAl2j2Ev2R4ACMEIqrvLsJdsDwDkmp5UugsALtnDBQDhcffoA4BLdvQLnkW/6Fnx8NqpoyQl5TLsJdsFAKdUcAk+ALhkuwQrg9WYuQDgJtsDALn7gF64LsNesofLsGkyO4fPsE22h+fOPdvcx+My7CXbAwAhgiQrhHQY9pLtAYAZklefLgC4yfYAQIh8VtjoMewl2zFb45iuqR6ee6aF1FZn+Bcf9pLtAoC0AerRBwCXbBcANP569QHAJdsDAIvRuYYLAG6yPQCwWJvQ6OK5b7Kzy7Bpnl+Kz7BNtgcAFiuo6C4AuMl2SVjTeykGFwDcZHsAIFRMLsdwGfaSPf3KA6ZjfYCH507PeQgULsNesl0A0Do+ZR8AXLJdAHBY52gXw3WT7WG4cjMNXaldhr1kewAghJJ1ue9fftibbJeaHQhUs/oU7SzZ02XYk/uXp8+wkT09AJA25fRTdBn2ku1huFo7h1ZdAHCTnf3q0bJfQdrwAEBuSUEFuwx7yXYBQHo65uIDgEu2CwBC2KjdxXDdZHsYrhUS8gg+AGiyowsAWsve4gOAS7YHAEIf6KuB71982JtsDwC0y55qcAHATbYHALZkV4e4eO6b7Ooy7FnoB+8zbJPd/Qqgu1sFdJweAEjT31GST+G2yc4eANhoeNiaCwBusl0AkFtfx3Tx3DfZHp57oy1cTD4AuGS7ACC9nXL1AcAl2wUAZ04QfF2GvWR7AGC3a8qiCwBusj0AkNtASigunvsme7pQV+gsP4IPd8VkRz/GjSPlJnoAIG14aCzqMuwl2wMA7f6v2V0AcJPtAYDdLsYJLp77JtvDczdmeck+ALhkuwAgjQxb8wHAJdsFAEepXEzmMuwl2wUA7TY5H5b1JtuFdMgty9mHaL3J9vDcR7QrMFwAcJNd/Sie1Y/j6cK2HrTZCtUFADfZw2XYM9XkQ7jeZHsAIPcZ9upDuV6yXTjX9OiiYZDLsJdsFwCkn/N0ol0v2S4AKHunpOgDgEu2CwBqA3J3ssuwl2wXAKTzffNhXm+yPTx3uydk+jCvN9nTr6fAdGwq4AGAkyZC2Yd5vcn2MFy5xZOr6F2GvWS7NJ7Ik6u6fDpPLNkenjs3RnC3jcuwl2wPAJyQJZMP83qT7QKA3GpafZjXm2wPw9ValXYf5vWS7cK85qLOMH2Y15tsFwCkqWPyYV5vsrNjE5vs2MWm+nTf4faI5kO+3oVXl4GnSE9BpwY8S7hLA4pAG8boQ8DehQ+fgXOCfCjYm3AXDjY3nZJq9mnDswl36cMT6NU8fGjYu3CXhpGhdS4ncoLDJdwHDnujq7ATHC7hPnDIXSg1O8HhEt4d+6h1x0ZqLnxs7u7tdKD1aaW2hLv0UuMWZe7i8xn4Eu4Ch5He/sWHlL0Ld4HDyDUKzYeWvQt3gcNYAtVOPnC4Ca8+A+faUh9q9i7cpatarKPm7EPO3oX7wGGjJ3d0gsMl3AcOuadjVCc4XMKjYyvP6NjLc/jA4azcLOPTX3IT7uLlS0NwObMPHG7CXeAwxcwVRT5wuAl3gUM68XMht8/Al3AXOOQWE/3LBw434T6ddktoXGDgM3AT7sLXlmzuw/AhbO/CXeAwVW7H8aFs78J94JD7kGJzgsMlvDp2k65+7aTz9IHD0bi6y8fL34S7ePlp1txGdYLDJdwFDrOcQu7e9mnhbcKnT+vxmLmK1gcON+EucJi5QK76ELh34S5wyBXItftQuHfhLl5+LmGO4EPi3oW7wCH3LYfkQ+PehXefgds9xt1p4CZ8OF5oMD1vNPCBw851icXpKoYl3MXLz6PVGbsTHC7hPnA4a48lOMHhEu4ChxDVcvOhdO/CXczawrQMH1L3LtwFDgtXEwYfWvcu3AUOi+yJkH2I3ZtwF2Y3N6NzX7gPHG7Cna6mkc3cfcjdu/DkeKdOdrxUJ/nAIRekpuoEh0u4Dxz2PmIZTnC4hPvAoeYk9+gEh0u4DxzOFur0oXnvwl28fLojjOhD9N6Fu8Bh5eb04kP13oW7wGFNXLVbnC7rWsJd4LBm7jj2oXvvwl3gsJbY5Fz5ePmb8OZ4rVt3vNfNhfPNpeB2tZbTwE24Dxy2GfIITnC4hPvAoZRyC9kJDpdwHzgcPY3kdMf2JtznzsXZaL7iBIdLuAscypioqSenaxeXcBc4bDKaNSc+cLgJd4HDlnKX4ekDh5twFzhsOY1ZfEjgm3AXFvh+s2h0vFrUhQfOmGMePkTwXbgLHLYWUos+VPBduA8cyisc2eka7k24DxxSu1edLuLehLt4+W10eos5weES7gOHk3aCTpdxL+E+t3H3gCXUfeBwE+4Chz2WSVmjz8CXcBc47KlELnP2GfgSXhwvt66Ot1s73cpdUm7R61ruJdwFDnuNZZTkA4ebcBc47C3oH6eruZfw5gOHbcov9KGI78JdvPzeBy0oneBwCfeBw9Fnz04s8U24DxzOHuQVOsHhEu4ChyO0FIcTS3wT7gKHI9ZcghNLfBPu4uWPBIvOiSW+hPuwxEfO2uFOLPFNuAscSrH10J1Y4ptwF7NWEzLSdGKJb8Jd4HA0AVZyYolvwl28/NEDHZad4HAJ94HDPmXUOrHEN+E+cDhGjsOJJb4JdzFrh85OiU4s8U24CxxOGeMtO7HEN+EucGi5wurEEt+Eu8DhTGWE4cQS34S7wCE3nubgxBLfhLuYtbNIcnJiiW/CXeBQmg1n3AcON+EucDhbpBG/Dxxuwn3gsIcSpxNLfBPuA4d91pKcWOKbcBcvf47RWnFiiW/CfeBw9j6aE0t8E+4BhymEBo3OBQ534cNl4Fat4sMS34VPl4GnGmv2YYlvwl1Y4ilkObTNhyW+C08uAy+yJ4YPS3wXnl0GXhN3wRSfgS/h1WXgjRoHH5b4LtwHDnvorfqwxHfh3WfgUm+9OsHhEu4Dh2OGMIcTHJrw6QOHsgxzSk5wuIS7wGEMPdXiwxLfhbvAYYwt9+bDEt+FF5eBa0ooOfYZ+BLuAocxl5aiD0t8F+4Ch7Fk4qk+cLgJd4HDWJO8FB+W+CbchSWeIlfEDB+W+C48ugy8xwhq+Qx8CfeBwxFSzsEJDpdwHzgck0YiTnC4hPvA4Ryl9+YEh0u4CxzKgqtz+rDEd+EuXr5OfpcZ5AOHS7gLS1xjrqMUH5b4LtwFDlMuXAniA4ebcBc4TKXI3Pdhie/CXeAw1Zy4iNln4Eu4i5efmlRE9mGJ78J94LDHUlt0gsMl3AcOR6CTlY9ZuwmfPgOfPYThBIdLuA8cyu5M2Yclvgt38fJz6LNUH5b4LtwFDnPsoXUflvgu3AUOc2pc+Oxj1m7CXczanKs2oQ9LfBfuAoe5lJKLD0t8F+4Ch5qTWrsPS3wX7gKHuaXWpw9LfBfuA4c90krRx6zdhLuYtXkEGbXTCQ6XcB84FFyVlpzgcAn3gUOiqaM6weES7gKHclHSDD4s8V24CxyW2Clp9PHyl3AXlngqqQG2PnC4CXeBw5Jrk7HvA4ebcBc4lFLuwlofONyEu8BhqcKs5MMS34W7wGFpmV6+Pl7+JtzFyy+d7FJwgsMl3AcOR0xtZic4NOHFBw5nyDN2Jzhcwn3gcM7KnVpOAzfhLnBYw2i5+bDEd+EuXn6N8sKHD0t8F+4ChzW1IavZBw434S5wWHMLIfuwxHfhLnBYS42p+rDEN+EuLHGNuUhP+LDEd+EuXn4VovTgwxLfhfvAYRfapuoEh0u4DxwO+ocNJzhcwn3gcIaee3SCwyXcBw7nhNTVnQZuwl28/CYnfEQflvgm3IUlnlocMRQflvgu3AUOW+opteIDh5twFzg06234sMR34S5w2ErlNhMfL38T7uLlN9kTM/uwxHfhLnDYmoC2+rDEd+E+cNjT4MJvn4Ej/C/SzfeRgY84W8hOcLiE+8DhjGEkH5b4LtzFy+8hpFB8WOK78OIz8JmlJorTwE24Cxz2OEqZPizxXbiLWdtTr5LvA4ebcBc47JkL7X1Y4rtwFy+/F9wUH5b4LtwFDnsVpAwflvgu3AcOWwkt+rDEd+EuZm3vOY5cnOBwCfeBw5FyqN0JDpdwHzicsaThxBLfhLvAoWy3WoMTS3wTPn0GPmV8OrHEl3AflvigJ1R1Yolvwl3gcLARuxNLfBPuAodyf7QJnVjim3AXOBylQezygcNNuAscjlol34klvgl38fJHK1LLTizxTbgPHPZMXyUnODThPixx2W6yO51Y4ptwHzgUXjEvPgNfwl3gcIYwZnViiW/CXbz8qW/TX9Zn4Et48xn45HLe5jRwE+4Ch9MujnJiiW/CXeBw5p5HdWKJL+E+LPFZ5OJ3J5b4JtzFy5+1tjSdWOKbcB84bKXX5MQS34T7wKF2YS9OLPFNuA8cjjRnc2KJb8J94HCmSH9Zn4Ev4R5evj4TU4k+LPFNuAtLPIcYcss+LPFdePQZ+Cyj+rDEd+HZZeByU8LwYYnvwovLwLMs5uDDEt+FV5eBlzboO+Mz8CW8uwy8VjrLdp+BL+E+cCgzaPbiBIcmvPrAYS+0QXGCwyXcBw5HzpIefQa+hCeXgc9UWilOcLiEu8BhDLGO5sMS34W7wCHtoMIMPnC4Ce8+A58jRx+W+C7cBQ5jGrNmH5b4Lny6DDyP0JsPS3wX7gKHsXRbT5+BL+EucBhryyk0HzjchPvAYaulpOkEh0u4Dxz2Ulv1YYnvwpvLwIcgpVcnOFzCfeBwkv8dTnC4hLvAYZJfmJMPS3wT7sISpwFXgGfkM/Al3AUONR+xNx+W+C48+wx8pjl9WOK7cBc4THnI1Pdhie/CXeAwlV5L9mGJ78JdzNpUm/7nwxLfhfvAIT0WRnaCQxNefOCwlyk/xQkOl3AfONSE5Byc4HAJ94HDKeOz+rDEd+EuZq0mO/XuwxLfhbvAoRzaPKcPS3wX7gKHmXtBkg9LfBc+fQY+udxpOg0c4S4scWty2poPS3wX7uLl5yIVMX1Y4rtwFzjMdMeLPizxXbgPHLYWtaJOcLiE+8Bhl4vfohMcLuE+cDi4RcKHJb4Ld/Hy88w1hO4EhybchSWeS6Dzsw9LfBfuAoclEm7yYYnvwl3gsKQwWvdhie/Ci8/AZQUFH5b4LtzFyy95xph8WOK7cBc4LGWkXHxY4rtwFzgstefafFjiS3gPPnDYWukzO8HhEu4Dh722EH1Y4rtwFy+/SN2nPJ3gcAn3gcMpg6IlJzhcwl3gsAa5V6P6wOEm3AUOa0xcb+sDh5twFzisKaaYfVjiu3AXL7/mIA/LhyW+C48+A59SEz4s8V24CxzWMuoI0QcON+EucFhr7yH5sMR34T5w2Nog4+Ez8CXcxcuvnYZqwQkOl3AfOBw1tJmd4HAJ94FDunHE7gSHS7gLHDYhbSw+LPFduAsctphKbj4s8V24i5ffUqx1+LDEd+EucNhyaCP4sMR34c1n4HOE7MMS34W7mLWtjJmqD0t8F+4Ch03GROk+LPFNuAtLPLfWheLJCQ6XcB847C1pOZ3gcAn3gcNRSyw+LPFduItZ22Tq003RZ+BLuAsc9qAjNH1Y4rtwFzjsMclx82GJ78Jd4LCnOEPxYYlvwl1Y4rnnGFLzYYnvwl3M2i6TtgwflvguPPsMfKYefVjiu3AXOOx15Jl9WOK7cB84bL3G2pzgcAn3gcNOO18flvgu3MXL76P2FpxY4ku4D0u8z0KnHyc4XMJd4FAGcwjFiSW+CXeBwxGz9LITS3wT7gKHI6VUphNLfBPu4uUbtTA6scQ34S5wOApdn51Y4pvw4TPw2WJzYokv4T4s8VFlBA0nlvgm3AcOWx8tOrHEN+EuXv7obY7sxBLfhPvAoaYkVCeW+CbcBw5nTWk4scQ34S5wKJ8w1+DEEt+Eu8DhjLn05MQS34S7ePkzpTqrE0t8E+4ChzPHHrsTS3wT7gKHswT5hU4s8U148Rn4lFp2Yolvwl3gcNYZRnFiiW/CXbz82UYKzYklvgn3gcOuwzOcWOKbcB84HI0rHZ3gcAn3gUN5Vj07scQ34R5wiBfeZvVhie/Cs8vAo3zx4cMS34VXl4GnJDXhwxLfhTeXgdMAJfXuM/AlfLgMvMQ4qg9LfBc+XQYuezl0H5b4JtyFJS7Zs6TpwxLfhfvAYaODf3CCwyXcBw57b734sMR34cVl4KP12ZoTHC7hPnAo0zMOH5b4LtzDyy9RJ79EH5b4LtwFDmMssWUflvgm3IUlrvmQxVx9WOK78Ogy8Jx0hnxY4rtwFzjUYtYcfFjiu3AXOIxVTmHyYYnvwpvPwOUYVh+W+C7cBw6bnNnuwxLfhbuYtbGPEGd3gkMTPnzgcPRYUnSCwyXcBw5nS60UJzhcwl3gMAkKZQr5wOEm3AUOaacWpg9LfBfu4uWnlFuOPizxXbgLHMqa6DX7sMR34S5wmDj61YclvoQ3F5Z4SdqEc/iwxHfhLnCYWogp+LDEd+HJZ+AzlTSd4HAJ94HDPrIsOCc4XMJ94HDICOrVCQ6XcB84nLSAHE5wuIS7wCHXCefkwxLfhbt4+TmWUYsPS3wX7gKHOeXZmw9LfBfuAoc5ZykJH5b4LtwFDrMsIRlxPnC4CXeBw1xjLtmHJb4Ld/HycwtFmOUDh5twHzgkETmyExwu4T5w2OXQhu4Eh0u4DxwO2RM5OMHhEu4Dh1PLWX1Y4rtwFy+/hEamxgcON+EucFhijXP6sMR34S5wKL8wS0v4wOEm3AUOpZZLKT4s8V24CxxqVuiC4uPlL+EuLHHNR9SwfVjiu3AXOCzSyDH6sMR34T5w2OakTavTwE24Dxz2GWqLTnC4hPvA4YBq7cMS34W7ePlldn2uO8HhEu4ChzW0krIPS3wT7sISF2BV+eHFBw434S5wWJN8lO7DEt+Fu8ChjE4dfR+W+C7cxcvXQs6YfFjiu3AXOLRir+LDEt+Fu8Ch9EOszYclvgt3MWtrD6nP5ASHJjz7wGGfJUQflvgu3MXLr2PUlKcTHC7hPnA45Sm35ASHS7gLHLbQOj2KXAa+CXcxa2XRjhl8WOK7cBc4bKmGmH1Y4rtwFzhsucRcfVjim3AXlnhpJafafVjiu3AXOGzCqxF8WOK7cBeztukAheTDEt+F+8BhDwLa7gSHS7gPHHaqDoMTHC7hPnA4xmgzO8HhEu4Dh7PPGX1Y4rtwFy9fCxlj8WGJ78Jd4LDHZqVqPgNfwl3gsKea6/Bhie/CXeCwcxNL8GGJ78Jd4LCT/s0+LPFduIuX32vSgvqwxHfhLnDYWxxc1Ocz8CXcBw57mPLFneBwCfeBwxHCTNUJDpdwHzgkc1WcWOKbcBcvv8+Rc3diiW/CXeBwhF7qdGKJb8Jd4HDEVkd0Yolvwl3gcMgpDMWJJb4Jd4HDkSW+ObHEl3AflvgoeZbhxBLfhLvA4ahZRrMTS3wT7gKHo6U4c/aBw024Dxz2mGN1Yolvwn3gcISSuxNLfBPefQY+awtOLPFNuA8cztEEt05waMJ9WOIzyIQr0wcON+EucEjYQ26KDxxuwl3gcGoly3RiiW/CXbz8mWvs0Yklvgl3gcNZoEY5scQ34S5wqF2iYRcfONyEu8DhbKnm4cQSX8J9WOKzx9aiE0t8E+7i5U+5VzKbneBwCfeBwzEnxC6ngZtwHziU6DScWOKbcA+ztoYwYg0+LPFdeHcZeOxSyj4s8V34cBk4nnLxYYkv4dWFJa6FrFLLPizxXXh0GXgpmhUflvguPLkMvObeog9LfBdeXAbe0hjFhyW+C/eBw55CaNUJDpdwHzgcMWpanOBwCfeBQ+m2Gn1Y4rvw6TPwmXuuTnC4hLvAYQxD9r4PS3wX7gKHMZLT82GJ78Jd4DDKTinBhyW+C3eBw0iVQPJhie/Cm8vAi8z96sMS34W7wGGs/09t59Krx3Ec0L9ywbVNdFd1VXVZ2yCLLBLntRZo8ioiTJE0LynHDvzfU/11twIDSVY+AvySycPS9zjTPXfOzOgtmEr8whEddleRZCrxC2d0GKImDdLhhjM6LFvFYCrxC1dk8NqGpzukww1ndJj1GZwJ6XDDER1KqxVzZyrxC0d0KD3SlanELxzRoUi0aUwlfuBIJW6iXm8oU4lfOKJDWQlgYyrxC0d0KDaGCVOJXziiQ6kvz3pQLDP4hjM6XA/TCqYSv3Bkly/rmSAZkA43nNFhthzSIB0+4EglbusX+WAq8QsXZvDs05lK/MIRHWqfhWcq8QtHdvkqtWDuTCV+4YgOVd1MmUr8whEd6jAPS0aHB47oUG1dustU4geujA5dUxpTiV84ssvX0DYkIR1uOKPDWouv7JIZfMMZHWbtCcMgHW44osP10LiWTCV+4cEMnnWcYCrxC0d2+aMWE7VPYXS44UglbkMiwplK/MIRHQ71mclU4heOLGvX/dqkM5X4hSM6HGY1NlOJXziyyx8+xL1BOtxwRoehOqdCOtxwRodTrDemEr9wZFm7LpVWbZAONxzRobVWKxWmEr9wYQavtUQwlfiFIzq0XoeIZCrxC0d0uE6TiTCV+IUjy9rapcgYTCV+4YgO6yCh7kwlfuGIDuuvMZOpxC+c0aGPdYs8SIcbzugwdB2XmV3+gSO7fJsyzTukww1ndJjr5xED0uGGIzr01uv3M5X4hSM69N5ElKnELzyZwVOHMZX4gSOVuLnUZzCYSvzCER16bQmzMZX4hSM6rENEdGEq8QtHdOglWx1MJX7hjA59pDlTiV84sstfF79GCqTDDWd0OFVaN0iHD7gzOkxZzwKDdLjhiA6j9TGcqcQvHNFh9FbvKFOJX/hgBk/PxlTiF47oMGTOrkwlfuGIDmuPkmpMJX7hiA7XzUItmEr8wJFK3KLWnrMxlfiFI7v8cNMmA9LhhjM6jPVkqoB0uOGMDue6NqNBOtxwRocp7glV4geO6LC+O5EdqsQPHNnlz96yK1SJP+CDqcSn1J7QoUr8wDszePYVpEGDP+CIDqdOmQ2qxA8c0eEszTaFKvEDR3b509ZTyqFK/MAZHbr5CKgSP3BGh7FuiwtV4geOLGvXNQIpUCV+4IwOU2tHC1XiB47s8rNJ14Aq8QNHdJi9iyVUiR84osOUprNDlfiBOzN4WhtQJX7giA5Ta6HiUCV+4IgOs0w7JlSJHziiwzRfDypndHjgjA7d1nNimWXtgSPL2gxbj+mDdLjhjA7nEA2oEj9wRof1VnqDKvEDJ3Torcm6rBHR4YUnMnjv3gZTiR84UonXG9nWHfI6M/iGCzN4rhsUCTT4A67I4LXUj85U4hduyOCPpwExlfiFOzK41QfcmUr8wgMZ3F11BqTDDWd0GDa8N0iHD3hndDjHujQD0uGGMzpMXT8Zg3S44YgOa7W8Tkwiu/wLH8jgvee62ykz+IYjOuzS67DMVOIXjuiwa+s5mEr8wpMZPLUHU4kfOFKJe388+4apxC+8I4M/fuDOVOIXzujQ3dfOkBl8wxkdhs3mBulwwxkd1kpf5oR0uOGMDnO0dbdTZvANR3b50pawmEr8wJFK3KWLpDGV+IUjOhTpo8/O6PDAER2KNhuNqcQvfDCDp7swlfiFI7t8GbXhNKYSv3BEh2KRLZhK/MIZHXo0SYd0+IAHo8OopZA0SIcbzuhw2uMuXMzgG47s8iXXitkhHW44okOtjXKfTCV+4YgOtYuPLowODxzR4bp/0LrzJjP4hiM6VG1zGlOJXziyy9dR/89kKvEL78zg2Wsp1KHBH3BEh/UJFBOmEr9wZFmrXgsV65AON5zRYfjIYCrxC0d2+brC+QxIhxvO6DBHDGmQDjcc0eFoOn0wlfiBI5X4OiLndKYSv3BEh6N24utBSczgG47osJbiop2pxC8c0WF9AtWUqcQv3JnB65tvTCV+4ciydti0nEwlfuGMDte9IZpBOnzAndFhrJ8ZJKTDDWd0ONdljQLpcMMZHaa1GUwlfuHILt/aWkwwlfiFIzq0rlp7WkaHB47osD7ewwZTiV84okPTbuFMJX7gSCXuNppnMpX4hXdm8Dq0daYSv3BEh2YzhzKV+IUzOqyPoHuDdLjhjA4j+pwK6XDDGR1O196YSvzCkV2+pQ2VhHS44IpU4vUJHGbGVOIXjujQu9aimanELxzRoYtEJlOJXziiw/r2pAhTiV84ssv30dsYTCV+4YgOa83c3ZlK/MInM3jKzJ7Q4AsujA5rO9u7QTrccEaHURtOZSrxC0d2+T7rDfUO6XDDGR1mrYTmgHS44YgOY7VoLRgdHjiiw+ijiTKV+IUjOgzRPoypxC8c2eWHitSXn9HhgSM6jNG1PoeMDg8c0WFYsy7K6PDABzN4ug6mEr9wRoe+nl/GVOIXjuzyo44QkQLpcMMZHc6oryZUiR84o8P0+vpAlfiGM5X4bCbDoUr8wBEdzr6eYQZV4geO7PJnaTYbVIkfOKLDqVKrcagSP3BEh7W3CjWoEj9wZFk7rd7KgCrxA09m8MzZoEp8w5lKfHr2JlAlfuCMDmOKDKgSP3BGhzN0BFSJHziyrJ3pwxOqxA8c0WG29dQeqBI/cESH2UfU/orR4YEjOsxaGqpDlfiGM5V46goXoUr8wJFdfq4LaxtUiR84osOsbXhTqBI/cESH6etWvlAlfuCMDuv9HAFV4gfO6DDmeqQJs8s/cGSXnzPKWlAlvuFMJZ65doZQJX7ghA6jNUsNphK/cEUG71Z0phK/8IEMLqucZyrxCzdkcFVtg6nELzyQwUdtrZypxC98IoNbtzGZSvzAkUo8mjePzlTiF87osA5vqUwlfuGCDB4zuzmkww1ndDhn00hIhxvO6DCjexNIhxuO6LA3lylMJX7hiA57X7duYSrxC09kcBkmwVTiF47osKuueITR4YEjOuxD1iXHjA4PHNFhf9wyg6nELxzRYfc6JDtTiV+4I4PXal9nQDrccEaH69lrvUE63HBGh+vRNzogHW44o8NcV8MEpMMNR3QozeuwzFTiF47s8mXdd7MxlfiFIzqUddszYSrxC0d0KKqZg6nELxxZ1srQ3oOpxC8c0aGYiCZTiR84UonHui7DO1OJXzijw6iV/hBIhxvO6DDqrXSmEr9wZFm77odb/4J0uOGMDtePO3qHdLjhiA51nW1SphK/cESH2r2lMZX4gSOVeGi5tk+mEr9wZFmrOmo1zlTiF47ocKFdmEr8whEdqolNYyrxC0d0WIfkaMFU4hfO6DDalGQq8QufzOCZ1hPS4YJLY3Q4s8VQSIcbzugwZ1/32mYG33BEh6O+PH0ylfiFIzoc3cfoTCV+4cguf6xLj5SpxC8c0eE6tk1jKvELR3Q4hs42mUr8wJFKPIZJamMq8QtHdFiLoGbCVOIXjuzyR9TWyjqkww1ndDjX7fsHpMMNZ3S4frqUAelwwxkd5rQhDdLhhiM6tBbug6nELxzZ5Vv3mM5U4heO6LA2V9mSqcQvHNGhqTXtTCV+4YgOrZZvpkwlfuGIDs1UwphK/MKRXb6tpw1NphK/cEaHsZ4fY5AON5zR4Ww+JCEdbjijw1nHexNIhxvO6DDnnMFU4heO7PK9rX6WqcQvHNGh9+gqTCV+4YgOXVzqOMHo8MARHbqahjOV+IUjOvQxRiZTiR84UomXrdTXoxGZwTcc0eHjwYXKVOIXzugw+lw3DWUG33BGh7NEOxXS4YYzOqzdT29MJX7hwQyeopKQDjcc0WG0+pwYU4kfOFKJR/QYEUwlfuHIsnZdupfJVOIXjugw1EKEqcQvHNnlR62BxmAq8QtHdFjL/Fw3DWUG33BEh7WCazOZSvzCkWVtfYGk9wHp8AE3RodzPRZkQjrccEaH2erbA1XiB87oMNNiQpX4gSM6nG3dkxCqxA8cWdbOHlMUqsQPHNHhFM9hUCV+4IgOa5lfC2aoEt9wphKfw3o2qBI/cESH0/YDBpnBNxzZ5U9/XNXI6PDAGR3GuhgGqsQPnNHh7L5SOmbwDWd0mG22DlXiB87ocO3bFKrEDxzZ5a+f/K7rYZDBDxzRYS3zu0+oEj9wRIf11ZH6JDI6PHBEh6k+ukKV+IEjOqxFkKlBlfiBI7v8LK4FVIkfOKLDdK31PlSJHzijw/X1EagSP3BGh1MKDVXiB87oMHsfAVXiB07s8usT2Gp/xVTiF27M4KnZmUr8wh0ZvNfxXjOYwTd8IoNLuDpTiV94IoOrx3pUOTP4A45U4rMNm7MxlfiFCzK4WWvKVOIXzujQV+9ikA43nNFhaB3bJqTDDWd0OEWjMZX4hQcyePaRMiAdbjiiw/rNXusJRocbjlTixc7Q6B0a/AFHdNj7rMMPU4lfOKLDLrVq7kwlfuEDGbzeyjaYSvzCER329WgnZyrxC0d02M10TKYSv3BkWbsa12gJ6XDBe2N0GGqpTCV+4R0ZfEp0c0iHG87oMPvUSEiHG47oUGpD642pxC8cWdZK/e4pTCV+4cEMntIGU4lfOKJDkan1DWJ0uOFIJb5W+mMkU4lfOKJDWWewO1OJXziyrN0/V2Yq8QtndOjjcWRmBt9wRoehqTMgHW44o8OptS9skA43nNFhSh2WmUr8wpFdvrauzZhK/MIRHWrtrWQylfiFCzN4mjWmEr9wRIcqtW8TphK/cESHqlELZqYSv3Bkl6/DswdTiV84okM1b5pMJX7hjA7duveEdLjhjA6jhDUE0uGGMzpc96l3phK/cGSXrykmc0I63HBEh6P1+iAylfiFIzoctTJczxRmBt/wyQyec4UM0OAPOKLDdcOMPplK/MCRSnwOnX00phK/cESHY9QqSJhK/MIRHQ5zncZU4hfO6NBrxRwK6XDDGR2ue/slU4lfOLLLH7WgsJ6QDjec0WHKrKUQpMMHHKnE66tTr4g7o8MDR3RYS4neJ1OJXziiQ1sXkXamEr/wwQye6spU4heO6NC0vvvGVOIXjujQxropVGd0eOCIDs08tDGV+IEbo0O3+igylfiFI7t8i5F1dIN0uOGMDmtjmDEgHW44o8NU6clU4heOLGu9iQ5hKvELR3TovQ8fTCV+4cguf91oezpTiR84UokXO6MlU4lfOKLD2hRO7UwlfuHIstZHpClTiV84okO3aGFMJX7hjA5r95NTIB1uOKPDMK3vPqTDDWd0OMcYwlTiF44sa1eK5iaQDjcc0WE08RlMJX7hiA6jr5PMTCV+4YgOQ9pawjE6PHBEh7W1ajaYSvzCnRk8ezhTiV84osMYUzKZSvzCER1G7QvrI87o8MAZHbpb7SMgHW44o8OwWlEwlfiFI7v8mCNq0QzpcMMZHa6Ou0GV+IEjOpxNmwpUiR84osPZ68hmUCV+4IgOp3Sp7xCzy99wphKf9WZmQpX4gQszeJoIVIkfOKLDOWovPqBK/MARHU6rD6FDlfiBMzos8EyoEj9wZJdf64nWO1SJHzijw3UjEYUq8Q1nKvGZQ8yhSvzAER1mq9d7QpX4gSM6zC7WGlSJHziyy0/pLgpV4geO6DC1XhGDKvEDD2bwnB4+ocEfcESHOWauO1gygxf8b3M33/9lcJu9C1SJHziyy08P0QFV4gfO6HA938mhSvzAGR2ui0pSIB1uOKPDHLUQgirxAyd0WN95rc8hU4lf+EQG7zKHM5X4gSOVeDbpWRugxgy+4R0ZXHvLNoUZfMMVGXzUy6JMJX7hgxk8VY2pxC/ckMFtjrUXZwbfcEaH61aKrUE63HBGh+HRhKnELzyRwadNGQHpcMMZHebImrszg284scvPx53DkqnELxzRYS/PZmcq8QtHdNildijKVOIX7sjgdWBTZyrxC0d02Eczm0wlfuHJDJ7r8Z8NGvwBR3TY1718lanEL5zR4XoKizGV+IUjy9oe0UZMSIcbzuhweq8DJ6TDDWd0mCYpA9LhhiM6lDZGH0wlfuGIDmtrZRpMJX7gSCWeIus5sUwlfuGIDmsxsZ7Ux+jwwBEdylhPSWIq8QtHdLh+uiTOVOIX7szgtaKYTCV+4cguX3xKSQXS4YYzOox1hzyBdPiAK6PD6dbNIR1uOKPDNNdISIcbjuhQ28pzmUr8wpFdfm1m57r3JjP4hiM6VKlfNphK/MIRHaquawOZSvzCER3qulNBMpX4gSOVeKq1WngylfiFd2bwdWKSqcQvnNGh177QB6TDDWd0GHVYngHpcMMZHc71qjRIhxvO6DAt1703mcE3HNnl1/6kN2Mq8QNHKvF1k22RyVTiF47ocIgu2zI6PHBEh2M9TkuYSvzCER2O0R9HCWbwDUd2+cNa9GAq8QsPZvBcJUNAgz/gjA59pvcJ6fABT0aHMdscAulwwxkdrrDYmUr8wpFd/khXmRPS4YYjOrRmwzpTiV84okPrw0KZSvzCkWWtiXrZkNHhgSM6tPoQ1paT2eUfOLLLt9Fr9clU4heO6NBqxezCVOIXjujQfD3FmanEL1yZwVc6opAON5zR4cqu0iEdbjijwxn1SUxIhxvO6LBekPXsAWbwDUd06LULr08Ks6zdcKQSr+XyyFqOMzo8cESHLusIwVTiF47o0FW7K1OJXziiQ1+nbIypxC8c0WFtfkabTCV+4cguv77zpo2pxC+c0aHX6yIB6fABn4wOY90wp0M63HBGhzNmxoB0uOGMDjNaLVWYXf6BI7v8WE+0F6YSv3BEh9FNfDCV+IUjOgwZum7KwQy+4YgOY/3MYDKV+IYnUokvobh2phK/cGSXX5oNU6YSv3BEh+vu/WFMJX7hjA49M6dAOtxwRoeRvTQO6XDDGR3OKbVXZnb5B47s8qOcVctmSIcPOFOJz+ajvkCMDg8c0eHs5i2hSvzAER2uUFQFqsQPHNHhupzEBlSJHziyy19nJcOhSvzAER2upyRlQpX4gSM6nN6lPuKMDjd8MDqMprXUh3S44YwOI4c7VIkfOLLLX3fImxOqxA+c0WGthHqDKvEDR3SYzadKMjo8cESH2S3NoEr8wBEdrjoqAqrEDxzZ5a+L02ubwujwwBEd5lAVgSrxA0d0mCa1xIIq8QNHlrXptWZ2qBI/cEaHUcpKqBI/cGcGr31KhyrxA2d0OGeue7Qyg284o8Pa0a6NITP4A45U4uv3Ro/JZOK/0IUZvXv9QiYU/4WuzOhiQ5RJxX+hGzO6DqsjhUGjb7ozow/12u07NPqmBzN6rW5nMsH4L/RkRve+bhGV0OgPukJyrK2WDqfkuOmQHOe6G2xSctx0SI4zJZIJx3+hD2b0nKNeGUqOm87Isbcw0QnJ8dAZOfbuXt9SSI6Hzsixi0XtjSA5broxcuw6ZjYmIf+F3pnRR32PtENyPHRGjt2KbAOS46Ezcuwu9XkMSI6HDskxus7WKDluOiTH2jw2YWLyX+gTGn1dnOyUHB/0gOSYM4pNyXHTGTlKi/UkX0iOh87IUbpndofkeOiMHEW8d03ojMChM2cERFc1KJAcD52Ro4yhNg2S46EzchSrFVKbkBw3PRk5Sn1Ymgokx0OH5LjucmAGnRE4dOaMgKzsPiYlx02H5DjXz0s6JcdNh+S4Hl0tg5LjpjNy1Dalj4DkeOiMHLWHajTojMChM2cEVHxYDkiOh87IUdVs9oDkeOiMHHXUeno0SI6HzshRTae4QnI8dEaOta7LMR06I3DozBkBjdrJtKTkuOmQHGfvtb+j5LjpkBzXY7rMoEXvpnuDRs+hkZQcN52R42izXhWBzggcOnNGYPTwKQbJ8dAZOQ7x2caE5HjojBxr25u1l4EWvYfOLHrHsDZyQHI8dEaOw+rz2AOS46ZPRo7D64gxOiTHQ4fkGDK6D0qOmw7JcfZa3QW06D10ZtE7srn3Rslx0yE5ZsZUpeS46YwcV9jdzCE5HjojRyt1SSQkxwd9NkaOVgc7awqdETh05ozAytJDHJLjoTNyXJch1pEakuOhM3K0ddfMEEiOh87I0Vxd0yA5Hjokx5DwPqEzAofOnBGwWeTRKTk+6ALJMdc1oEbJcdMZOXpbT3mfkBwPXaHRU6x3pUZ/0Bk51pdIQwd0RuDQmTMCdbQbZS9IjofOyLHEWy9Ng+R46IwcfViMppAcN30wcnQbs95WSI6HDsmxDtTTGnRG4NCZMwIe2lsoJcdNh+Q4RSSdkuOmQ3LMrtaTkuOmM3KM1kYMgeR46BMafd1q2CY1+oPOnBGIWqv3mZAcD52RY+0FarkukBwPnZFjqKerQXI8dEaOMbxNm5AcD52RY5hJmx06I3DozBmB8KHraZ/Q6JsOyXHtBCQoOW46JMcpFtYpOW46JMfsnkEV7YfOyHG2+holVbQfukKjZw6hivZDZ+RYL0ptw6ii/dAZOc710Bt3SI6HzshxnSdpkyraD52R4xz1hnaqaN90qGifVn8pVbQfOiRHHx5GFe2HDskxNHJSRfuhM4veOSVLvJQcNx2SY6Fr3wudETh05oxArurcqKL90Bk55goqgiraNx0q2nM9iS2pov3QmUVvyrT1nHto9E1n5JgaboMq2g+dkWPWMSOcKtoPnZFjms11T05o9E2H5OjW6sMILXoPnVn0rn1p7QUoOT7oUNGeU8WdKtoPHZJjis5JFe2Hjshx3YZuPWaTkeOlD2b0NbdARfulGzR6rnOaTo3+oAczusz14K2ARt/0yYxe25hMqGg/dKZoX9dpdxGoaL/0zoxuLmNARfulCzO6m7pPSo6bDskxxpjZKTluOiTHqd77oOS46ZAcU1a5Tclx0xk5rvsVmUNF+6UnM/pamU6oaL90Ro5d2uM+ndDomy7Q6CmiUNF+6Ywca/elw6Ci/dIZOZa5atcOFe2X7szo5mvTDsnx0CE5uq0VEiXHTYfkGKM+jk7JcdMhOc5VaiQlx02H5JjaIqGi/dKZMwLSap/RoaL90hk5SrlXFCraL52RY70qo75HkBwPfUKj1/doQkX7pTNyXG9nNqhoP3SmaO8yYnaFivZLZ+Qo687uBhXtlw7J0b1ZBCXHTYfkGCsibpQcNx2S4xzaBCraL505IyCpQ4ZTctx0Ro66HvPiUNG+6cEU7cuLXhaAFr2Hzix6VR6XgEJyPHSFRs/sChXtl86cEdB1ay6HivZLZ+So6z4oEyraL52Ro1qs27pCi95DZxa96j6adkqOD7pAclw/HDSj5LjpkBzXtasxKTluOiTH1IjWKTluOiPHse5gLFDRfunMonesU+ADKtovnZHjWOcbAiraL52R41pPW0JF+6EzRXvBU2eHivZLZ+Q4xrQ2oKL90pkzAsOilkdQ0X7pkBzdY0yn5LjpkBzDZrSk5LjpkBznyFSh5LjpkBzXfSgNKtovnTkjYLUm1YCK9ktn5Ghd1BtUtF86I0eT+kAKVLRfOiNH0+ZtQEX7pRs0esa6cyE1+oPOnBGwMUtgUNF+6YwczSLXE72h0TcdkqPX0W50So6bDsmx1kfdByXHTYfkOE11QkX7pTNnBGoPM7w3So6bzsjRm9pUqGi/dEaO3iWaQUX7pTNyrK/RlICK9ktn5Oja0hpUtB86U7SXudYllFDRfukCjb6aUKhov3RGjl4G6CGQHA8dkmNt2TWNkuOmQ3IMN+9Q0X7pzBkBn+syoU7JcdMhOdZquvmg5PigM0V7j6Ypc0JyPHRGjtG1WYeK9ktn5BgiPRQq2i+dOSMQ6742BhXtl87Icd1Gt0+oaL/0gEZPGw0q2i+dWfSGTXeBivZDD0iOHjENKtovnTkjELGui1VKjpsOyXF6bTSoov3QITmmdetU0X7ozKJ3tiExqKL90Bk5znV9llNF+6Ezcpwi1idVtG86VLTXBszX9RPQ6JvOyHGOFq5U0X7oAo2ecxpVtB86I8dpue4v+reR46u//OrVD5++/PTm66vfvPr3f/v7X8+nf/jXf/rHpx/ef3h++e7p5c1Pnz88v3778vPTj29enhbj6cunP748ff7w7eXpx+c3756/vPrVqy/Pn798evft7df3nz4W5++e33569/y0/u37P//Ox9PXT0///O3T1/fPH7/+9tOXr69fPn14evPx3dPvvn189+F/fs37ry/7D3799B/PH5+/vPn6/P3Pz2+/fvry8vrzn54+Pj+/e3mq1+Lph+evb398fvdUf+6H92/fPFjvHn/ou6dvH3/69O79D+/rv/7h/Jn1m18//cu3j0/1m97+/vvPa4Ti/fH91x+ffv3rGubtrx7/+e3L2+f1386f+d3TT89vXr59ef7+5f2fn//P3/HdU/3Dr7G/f/fl/c/PX/5f9MvH958/P399/XjR/vDt/Zfnn2rAl3rRfvunrz9++vikTy9f3314/7unelfuq1Cvar0VxXpqr+drGY9/3s9/+vL880/1d/R1PH7x838+v/22fm29VV8+Pr+8rD9kv4Hf//79x3f1h/xX/aFvPqzP0avfSH0E9v9cH9rzv//qs/bqN7V3+6u/uX/l+rt/+ct/A4OQLm0=","input_bounds":"The pure functions clamp fee_w above 1e17 as Python does; they return false for zero reserves or paid/reserve WAD inputs >= 2^128. The scored vectors and 250 extra edge cases are inside these bounds.","not_done":["No contract integration or engine run.","No submission or speed gate."]}
