keccak_tx.ts

/* Autogenerated file, do not edit! */

/* eslint-disable */

import { Noir, InputMap, CompiledCircuit, ForeignCallHandler } from "@noir-lang/noir_js"

export type { ForeignCallHandler } from "@noir-lang/noir_js"

export type Field = string;

export type PublicInputs = {
  current_root: Field;
  utxo_root: Field;
  deposit_amount: Field;
  withdrawals: Field;
  commitment_in: Field[];
  commitment_out: Field[];
  nullifier_hashes: Field[];
  contract_only_inputs: Field;
};


export const keccak_tx_circuit: CompiledCircuit = {"abi":{"parameters":[{"name":"tx","type":{"kind":"struct","path":"structs::PublicInputs","fields":[{"name":"current_root","type":{"kind":"field"}},{"name":"utxo_root","type":{"kind":"field"}},{"name":"deposit_amount","type":{"kind":"field"}},{"name":"withdrawals","type":{"kind":"field"}},{"name":"commitment_in","type":{"kind":"array","length":16,"type":{"kind":"field"}}},{"name":"commitment_out","type":{"kind":"array","length":16,"type":{"kind":"field"}}},{"name":"nullifier_hashes","type":{"kind":"array","length":16,"type":{"kind":"field"}}},{"name":"contract_only_inputs","type":{"kind":"field"}}]},"visibility":"private"}],"param_witnesses":{"tx":[{"start":0,"end":53}]},"return_type":{"abi_type":{"kind":"field"},"visibility":"private"},"return_witnesses":[1782]},"bytecode":"H4sIAAAAAAAA/9WdZZzUBb/FZ2bZNehQUFFBMcmlG+lulO7uVLq7U2np7lC6u1NBxW7pEFufsw9n2OWwu/Ofmd++WD6f7z33++bcnbkOzrnP3f/P7br3526Yy5X4kXv/vcf14B838w1mtuD+hBt2ZUvHnlwgN8gD8oJ8ID8oAAqCQqAwKML/2UVBMVAclAAlQSlQGpQBZUE5UB5UABVBJVAZVAFVQTVQHdTgm+TmexfxszzqivTc4nnE84rnE88vXkC8oHgh8cLiRcTfEC8qXky8uHgJ8ZLipcRLi5cRLyteTry8eAXxiuKVxCuLVxGvKl5NvLp4DXrUP+mZbzCzBffngc9Mjmy5c+Zsnid78/Ac4Y2zZc/XJG+ubDlzNcmdNzxveK68uZplz5sjR/O8OfPmydckX55s+cJz5mge3iJXvhwtWJbLoKt5i4g/2cJzG3VFvMY8Jl333q+8wXdl5/sVni/Yrpz33/vw/MF1ZYvyv8fwAsF0ZX/gn4nwgoF3ZZN/vsILBdiVu8VD/6yGFw6sK280/9yHFwmkK2+0n6HwN/zvyhPD5zG8qL9deWL8bIcX868reyx/T4QX96crT6x/54SXcN7V1MffX+ElnXbl8fl3YXgpZ13ZHPy9Gl7aSVc2R39Hh5fx3ZXL4d/34WV9deV0/O+O8HKxduVs4ce/h8LLx9aVx69/p4VXiLkrr5//fgyvGENXvhZ+/7s2vFL0XdkC+Pd2eOXourIF9B0gvMrDXeEBfp8Ir6pdzQL+bhJe7cGuHEF8zwmvHqUre4ugvjOF13DZbZa43lduw581HXveBG+BmqAWqA3qgLqgHqgPGoCGoBFoDJqApqAZaA5agJagFWgN2oC2oB1oDzqAjqAT6Ay6gK6gG98k7/ftiJ8l6vfvt8RritcSry1eR7yueD3x+uINxBuKNxJvLN5EvKl4M/Hm4i3EW4q3Em8t3ka8rXg78fbiHcQ7incS7yzeRbyreDdX3O+rqJ+ZYPfVmwZd3n31llFXxGusadJ17/2qFXzX/X1VO9iuKPuqTnBdD+yrusF0yb6qF3jXQ/uqfoBd0e2rBoF1RbuvGgbSFcO+auR/V4z7qrG/XbHsqyb+dcW6r5r60+VjXzVz3uVzXzV32uVgX7Vw1uVoX7V00uVwX7Xy3eV4X7X21eXHvmrjsttXbV12+6qdy25ftXfZ7asOLrt91dFlt686uez2VWeX3b7q4rLbV11ddvuqmyv+7CuP4c+ajj1vg3dAd9AD9AS9QG/QB/QF/UB/MAAMBIPAYDAEDAXDwHAwAowEo8BoMAaMBePAeDABTASTwGQwhW+S9/t2xM8S9fv3O+LdxXuI9xTvJd5bvI94X/F+4v3FB4gPFB8kPlh8iPhQ8WHiw8VHiI8UHyU+WnyM+FjxceLjxSeITxSfJD5ZfIor7vdV1M9MsPvqbYMu7756x6gr4jV2N+m69371CL7r/r7qGWxXlH3VK7iuB/ZV72C6ZF/1CbzroX3VN8Cu6PZVv8C6ot1X/QPpimFfDfC/K8Z9NdDfrlj21SD/umLdV4P96fKxr4Y47/K5r4Y67XKwr4Y563K0r4Y76XK4r0b47nK8r0b66vJjX41y2e2r0S67fTXGZbevxrrs9tU4l92+Gu+y21cTXHb7aqLLbl9Nctntq8kuu301xRV/9lVOw581HXveBe+BqWAamA5mgJlgFpgN3gdzwFwwD8wHC8BCsAgsBkvAUrAMLAcrwEqwCqwGa8BasA6sBxvARr5J3u/bET9L1O/f74lPFZ8mPl18hvhM8Vnis8XfF58jPld8nvh88QXiC8UXiS8WXyK+VHyZ+HLxFeIrxVeJrxZfI75WfJ34evEN4htdcb+von5mgt1X7xp0effVe0ZdEa9xqknXvfdrWvBd9/fV9GC7ouyrGcF1PbCvZgbTJftqVuBdD+2r2QF2Rbev3g+sK9p9NSeQrhj21Vz/u2LcV/P87YplX833ryvWfbXAny4f+2qh8y6f+2qR0y4H+2qxsy5H+2qJky6H+2qp7y7H+2qZry4/9tVyl92+WuGy21crXXb7apXLbl+tdtntqzUuu3211mW3r9a57PbVepfdvtrgsttXG13xZ1+FGP6s6djzAfgQbAKbwRawFWwD28EOsBPsArvBHrAX7AP7wQFwEBwCh8ERcBQcA8fBCXASnAKnwRlwFpwD5/kmeb9vR/wsUb9/fyi+SXyz+BbxreLbxLeL7xDfKb5LfLf4HvG94vvE94sfED8ofkj8sPgR8aPix8SPi58QPyl+Svy0+Bnxs+LnxM+74n5fRf3MBLuvPjDo8u6rD426Il7jJpOue+/X5uC77u+rLcF2RdlXW4PremBfbQumS/bV9sC7HtpXOwLsim5f7QysK9p9tSuQrhj21W7/u2LcV3v87YplX+31ryvWfbXPny4f+2q/8y6f++qA0y4H++qgsy5H++qQky6H++qw7y7H++qIry4/9tVRl92+Ouay21fHXXb76oTLbl+ddNntq1Muu3112mW3r8647PbVWZfdvjrnsttX513xZ18lMPxZ07HnI/AxuAAugk/Ap+AzcAl8Dr4AX4KvwNfgG/At+A58D34AP4KfwM/gF3AZXAFXwTVwHdwAN8EtcBvc4Zvk/b4d8bNE/f79sfgF8Yvin4h/Kv6Z+CXxz8W/EP9S/Cvxr8W/Ef9W/Dvx78V/EP9R/Cfxn8V/Eb8sfkX8qvg18eviN8Rvit8Svy1+xxX3+yrqZybYffWRQZd3X31s1BXxGi+YdN17vy4G33V/X30SbFeUffVpcF0P7KvPgumSfXUp8K6H9tXnAXZFt6++CKwr2n31ZSBdMeyrr/zvinFffe1vVyz76hv/umLdV9/60+VjX33nvMvnvvreaZeDffWDsy5H++pHJ10O99VPvrsc76uffXX5sa9+cdntq8suu311xWW3r6667PbVNZfdvrrusttXN1x2++qmy25f3XLZ7avbLrt9dccVf/ZVqOHPmo49v4K74DfwO/gD/An+An+Df8C/4D++IDfwgBCQAISCMPAIeBQ8Bh4HCUEikBgkAUlBMpAcpAApQSq364F9FfGzRP3+fVf8N/Hfxf8Q/1P8L/G/xf8R/1f8P/GI/yaqu8U94iHiCcRDxcPEHxF/VPwx8cfFE4onEk8snkQ8qXgy8eTiKcRTiqdyx/2+ivqZCXZf/WrQ5d1Xd426Il7jbyZd996v34Pvur+v/gi2K8q++jO4rgf21V/BdMm++jvwrof21T8BdkW3r/4NrCvaffVfIF0x7KuID7+fXTHuK7e/XbHsK49/XbHuqxB/unzsqwTOu3zuq1CnXQ72VZizLkf76hEnXQ731aO+uxzvq8d8dfmxrx532+2rhG67fZXIbbevErvt9lUSt92+Suq221fJ3Hb7Krnbbl+lcNvtq5Ruu32Vyh1/9lWYXdf9ffUEfsgnQWqQBjwFngbPgLTgWfAceB6kA+nBC+BFkAG8BF4Gr4BXwWvgdZARZAKZQRaQFWQDEQ90yw5ygJyyr56Q799PiqcWTyP+lPjT4s+IpxV/Vvw58efF04mnF39B/EXxDOIvib8s/or4q+Kvib8unlE8k3hm8SziWcWziYeLZxfPIZ7THff7KupnJth99YTbbl89adQV8RpTm3Tde7/SBN91f189FWxXlH31dHBdD+yrZ4Lpkn2VNvCuh/bVswF2RbevngusK9p99XwgXTHsq3T+d8W4r9L72xXLvnrBv65Y99WL/nT52FcZnHf53FcvOe1ysK9edtblaF+94qTL4b561XeX4331mq8uP/bV6267fZXRbbevMrnt9lVmt92+yuK221dZ3Xb7Kpvbbl+Fu+32VXa33b7K4bbbVznd8WdfPWLXFXn/Cj9kbpAH5AX5QH5QABQEhUBhUCTifQJFQTFQHJQAJUEpUBqUAWVBOVAeVAAVQSVQGVQBVUE1UB3UcLse2Fe55Pt3bvE84nnF84nnFy8gXlC8kHhh8SLib4gXFS8mXly8hHhJ8VLipcXLiJcVLydeXryCeEXxSuKVxauIVxWvJl5dvIY77vdV1M9MsPsql9tuX+U26op4jXlMuu69X3mD74q8fxVsV9T7V8F1PXj/Kpgu2VcFA+96+P5VgF3R3r8KrCv6+1eBdMV0/8r/rpjvX/nbFdv9K/+6Yr9/5U+Xr/tXzrt8379y2uXk/pWzLmf3r5x0Ob1/5bvL+f0rX13+3L9y2+2r8m67fVXBbbevKrrt9lUlt92+quy221dV3Hb7qqrbbl9Vc9vtq+puu31Vwx1/9tWjdl2R96/wQ74FaoJaoDaoA+qCeqA+aAAagkagMWgCmoJmoDloAVqCVqA1aAPagnagPegAOoJOoDPoArqCbm7XA/vqTfn+/ZZ4TfFa4rXF64jXFa8nXl+8gXhD8UbijcWbiDcVbybeXLyFeEvxVuKtxduItxVvJ95evIN4R/FO4p3Fu4h3Fe/mjvt9FfUzE+y+etNtt6/eMuqKeI01TbruvV+1gu+KvH8VbFfU+1fBdT14/yqYLtlX9QLvevj+VYBd0d6/Cqwr+vtXgXTFdP/K/66Y71/52xXb/Sv/umK/f+VPl6/7V867fN+/ctrl5P6Vsy5n96+cdDm9f+W7y/n9K19d/ty/ctvtq7Zuu33Vzm23r9q77fZVB7fdvurotttXndx2+6qz225fdXHb7auubrt91c0df/bVY3Zdkfev8EO+A7qDHqAn6AV6gz6gL+gH+oMBYCAYBAaDIWAoGAaGgxFgJBgFRoMxYCwYB8aDCWAimAQmgylu1wP76m35/v2OeHfxHuI9xXuJ9xbvI95XvJ94f/EB4gPFB4kPFh8iPlR8mPhw8RHiI8VHiY8WHyM+Vnyc+HjxCeITxSeJTxaf4o77fRX1MxPsvnrbbbev3jHqiniN3U267r1fPYLvirx/FWxX1PtXwXU9eP8qmC7ZV30C73r4/lWAXdHevwqsK/r7V4F0xXT/yv+umO9f+dsV2/0r/7piv3/lT5ev+1fOu3zfv3La5eT+lbMuZ/evnHQ5vX/lu8v5/StfXf7cv3Lb7avRbrt9NcZtt6/Guu321Ti33b4a77bbVxPcdvtqottuX01y2+2ryW67fTXFHX/21eN2XZH3r/BDvgemgmlgOpgBZoJZYDZ4H8wBc8E8MB8sAAvBIrAYLAFLwTKwHKwAK8EqsBqsAWvBOrAebAAb3a4H9tW78v37PfGp4tPEp4vPEJ8pPkt8tvj74nPE54rPE58vvkB8ofgi8cXiS8SXii8TXy6+Qnyl+Crx1eJrxNeKrxNfL75BfKM77vdV1M9MsPvqXbfdvnrPqCviNU416br3fk0Lvivy/lWwXVHvXwXX9eD9q2C6ZF/NCrzr4ftXAXZFe/8qsK7o718F0hXT/Sv/u2K+f+VvV2z3r/zriv3+lT9dvu5fOe/yff/KaZeT+1fOupzdv3LS5fT+le8u5/evfHX5c//KbbevVrjt9tVKt92+WuW221er3Xb7ao3bbl+tddvtq3Vuu3213m23rza47fbVRnf82VcJ7boi71/hh/wQbAKbwRawFWwD28EOsBPsArvBHrAX7AP7wQFwEBwCh8ERcBQcA8fBCXASnAKnwRlwFpwD592uB/bVB/L9+0PxTeKbxbeIbxXfJr5dfIf4TvFd4rvF94jvFd8nvl/8gPhB8UPih8WPiB8VPyZ+XPyE+EnxU+Knxc+InxU/J37eHff7KupnJth99YHbbl99aNQV8Ro3mXTde782B98Vef8q2K6o96+C63rw/lUwXbKvtgfe9fD9qwC7or1/FVhX9PevAumK6f6V/10x37/ytyu2+1f+dcV+/8qfLl/3r5x3+b5/5bTLyf0rZ13O7l856XJ6/8p3l/P7V766/Ll/5bbbV8fcdvvquNtuX51w2+2rk267fXXKbbevTrvt9tUZt92+Ouu221fn3Hb76rw7/uyrRHZdkfev8EN+DC6Ai+AT8Cn4DFwCn4MvwJfgK/A1+AZ8C74D34MfwI/gJ/Az+AVcBlfAVXANXAc3wE1wC9wGd9yuB/bVR/L9+2PxC+IXxT8R/1T8M/FL4p+LfyH+pfhX4l+LfyP+rfh34t+L/yD+o/hP4j+L/yJ+WfyK+FXxa+LXxW+I3xS/JX5b/I477vdV1M9MsPvqI7fdvvrYqCviNV4w6br3fl0Mvivy/lWwXVHvXwXX9eD9q2C6ZF9dCrzr4ftXAXZFe/8qsK7o718F0hXT/Sv/u2K+f+VvV2z3r/zriv3+lT9dvu5fOe/yff/KaZeT+1fOupzdv3LS5fT+le8u5/evfHX5c//KbbevLrvt9tUVt92+uuq221fX3Hb76rrbbl/dcNvtq5tuu311y223r2677fbVHXf82VeJ7boi71/hh7wLfgO/gz/An+Av8Df4B/wL/uOXYjfwgBCQAISCMPAIeBQ8Bh4HCUEikBgkAUlBMpAcpAApQSqP64F99at8/74r/pv47+J/iP8p/pf43+L/iP8r/p94xH+J6m5xj3iIeALxUPEw8UfEHxV/TPxx8YTiicQTiycRTyqeTDy5eArxlOKpPHG/r6J+ZoLdV7+6g++6f//KcF/9ZrivfjfcV38Y7qs/DffVX4b76m/DffWP4b7613Bf/We4ryI++H52xXz/yt+u2O5f+dcV+/0rf7p83b9y3uX7/pXTLif3r5x1Obt/5aTL6f0r313O71/56vLn/pXHbl8l9Njtq0Qeu32V2GO3r5J47PZVUo/dvkrmsdtXyT12+yqFx25fpfTY7atUnvizr5LYdUXev8IP/SRIDdKAp8DT4BmQFjwLngPPg3QgPXgBvAgygJfAy+AV8Cp4DbwOMoJMIDPIArKCiDcoHGQHOUBOj+uBffWEfP9+Ujy1eBrxp8SfFn9GPK34s+LPiT8vnk48vfgL4i+KZxB/Sfxl8VfEXxV/Tfx18YzimcQzi2cRzyqeTTxcPLt4DvGcnrjfV1E/M8Huqyc8dvvqSaOuiNeY2qTr3vuVJviuyPtXwXZFvX8VXNeD96+C6ZJ9lTbwrofvXwXYFe39q8C6or9/FUhXTPev/O+K+f6Vv12x3b/yryv2+1f+dPm6f+W8y/f9K6ddTu5fOetydv/KSZfT+1e+u5zfv/LV5c/9K4/dvsrosdtXmTx2+yqzx25fZfHY7ausHrt9lc1jt6/CPXb7KrvHbl/l8Njtq5ye+LOvktp1Rd6/wg+dG+QBeUE+kB8UAAVBIVAYFIl4n0BRUAwUByVASVAKlAZlQFlQDpQHFUBFUAlUBlVAVVANVAc1PK4H9lUu+f6dWzyPeF7xfOL5xQuIFxQvJF5YvIj4G+JFxYuJFxcvIV5SvJR4afEy4mXFy4mXF68gXlG8knhl8SriVcWriVcXr+GJ+30V9TMT7L7K5bHbV7mNuiJeYx6TrnvvV97guyLvXwXbFfX+VXBdD96/CqZL9lXBwLsevn8VYFe0968C64r+/lUgXTHdv/K/K+b7V/52xXb/yr+u2O9f+dPl6/6V8y7f96+cdjm5f+Wsy9n9KyddTu9f+e5yfv/KV5c/9688dvuqvMduX1Xw2O2rih67fVXJY7evKnvs9lUVj92+quqx21fVPHb7qrrHbl/V8MSffZXMrivy/hV+6LdATVAL1AZ1QF1QD9QHDUBD0Ag0Bk1AU9AMNActQEvQCrQGbUBb0A60Bx1AR9AJdAZdQFfQzeN6YF+9Kd+/3xKvKV5LvLZ4HfG64vXE64s3EG8o3ki8sXgT8abizcSbi7cQbyneSry1eBvxtuLtxNuLdxDvKN5JvLN4F/Gu4t08cb+von5mgt1Xb3rs9tVbRl0Rr7GmSde996tW8F2R96+C7Yp6/yq4rgfvXwXTJfuqXuBdD9+/CrAr2vtXgXVFf/8qkK6Y7l/53xXz/St/u2K7f+VfV+z3r/zp8nX/ynmX7/tXTruc3L9y1uXs/pWTLqf3r3x3Ob9/5avLn/tXHrt91dZjt6/aeez2VXuP3b7q4LHbVx09dvuqk8duX3X22O2rLh67fdXVY7evunniz75KbtcVef8KP/Q7oDvoAXqCXqA36AP6gn6gPxgABoJBYDAYAoaCYWA4GAFGglFgNBgDxoJxYDyYACaCSWAymOJxPbCv3pbv3++IdxfvId5TvJd4b/E+4n3F+4n3Fx8gPlB8kPhg8SHiQ8WHiQ8XHyE+UnyU+GjxMeJjxceJjxefID5RfJL4ZPEpnrjfV1E/M8Huq7c9dvvqHaOuiNfY3aTr3vvVI/iuyPtXwXZFvX8VXNeD96+C6ZJ91SfwrofvXwXYFe39q8C6or9/FUhXTPev/O+K+f6Vv12x3b/yryv2+1f+dPm6f+W8y/f9K6ddTu5fOetydv/KSZfT+1e+u5zfv/LV5c/9K4/dvhrtsdtXYzx2+2qsx25fjfPY7avxHrt9NcFjt68meuz21SSP3b6a7LHbV1M88WdfpbDrirx/hR/6PTAVTAPTwQwwE8wCs8H7YA6YC+aB+WABWAgWgcVgCVgKloHlYAVYCVaB1WANWAvWgfVgA9jocT2wr96V79/viU8VnyY+XXyG+EzxWeKzxSNed1SfIz5XfJ74fPEF4gvFF4kvFl8ivlR8mfhy8RXiK8VXia8WXyO+Vnyd+HrxDeIbPXG/r6J+ZoLdVxH/fAbbdf/+lVFXxGucatJ17/2aFnxX5P2rYLui3r8KruvB+1fBdMm+mhV418P3rwLsivb+VWBd0d+/CqQrpvtX/nfFfP/K367Y7l/51xX7/St/unzdv3Le5fv+ldMuJ/evnHU5u3/lpMvp/SvfXc7vX/nq8uf+lcduX63w2O2rlR67fbXKY7evVnvs9tUaj92+Wuux21frPHb7ar3Hbl9t8Njtq42e+LOvUtp1Rd6/wg/9IdgENoMtYCvYBraDHWAn2AV2gz1gL9gH9oMD4CA4BA6DI+AoOAaOgxPgJDgFToMz4Cw4B857XA/sqw/k+/eH4pvEN4tvEd8qvk18u/gO8Z3iu8R3i+8R3yu+T3y/+AHxg+KHxA+LHxE/Kn5M/Lj4CfGT4qfET4ufET8rfk78vCfu91XUz0yw++oDj92++tCoK+I1bjLpuvd+bQ6+K/L+VbBdUe9fBdf14P2rYLpkX20PvOvh+1cBdkV7/yqwrujvXwXSFdP9K/+7Yr5/5W9XbPev/OuK/f6VP12+7l857/J9/8ppl5P7V866nN2/ctLl9P6V7y7n9698dflz/8pjt6+Oeez21XGP3b464bHbVyc9dvvqlMduX5322O2rMx67fXXWY7evznns9tV5T/zZV6nsuiLvX+GH/hhcABfBJ+BT8Bm4BD4HX4AvwVfga/AN+BZ8B74HP4AfwU/gZ/ALuAyugKvgGrgOboCb4Ba4De54XA/sq4/k+/fH4hfEL4p/Iv6p+Gfil8Q/F/9C/Evxr8S/Fv9G/Fvx78S/F/9B/Efxn8R/Fv9F/LL4FfGr4tfEr4vfEL8pfkv8tvgdT9zvq6ifmWD31Uceu331sVFXxGu8YNJ17/26GHxX5P2rYLui3r8KruvB+1fBdMm+uhR418P3rwLsivb+VWBd0d+/CqQrpvtX/nfFfP/K367Y7l/51xX7/St/unzdv3Le5fv+ldMuJ/evnHU5u3/lpMvp/SvfXc7vX/nq8uf+lcduX1322O2rKx67fXXVY7evrnns9tV1j92+uuGx21c3PXb76pbHbl/d9tjtqzue+LOvnrDrirx/hR/6LvgN/A7+AH+Cv8Df4B/wL/gv4sWF4DUBDwgBCUAoCAOPgEfBY+BxkBAkAolBEpAUJAPJQQqQEqQKcT2wr36V7993xX8T/138D/E/xf8S/1v8H/F/xf8Tj3g/orpb3CMeIp5APFQ8TPwR8UfFHxN/XDyheCLxxOJJxJOKJxNPLp5CPKV4qpC431dRPzPB7qtfPcF33b9/ZbivfjPcV78b7qs/DPfVn4b76i/DffW34b76x3Bf/Wu4r/4z3FcRf2f62RXz/St/u2K7f+VfV+z3r/zp8nX/ynmX7/tXTruc3L9y1uXs/pWTLqf3r3x3Ob9/5avLn/tXIXb7KmGI3b5KFGK3rxKH2O2rJCF2+yppiN2+ShZit6+Sh9jtqxQhdvsqZYjdvkoVEn/21ZN2XZH3r/D6nwSpQRrwFHgaPAPSgmfBc+B5kA6kBy+AF0EG8BJ4GbwCXgWvgddBRpAJZAZZQFaQDYSD7CAHyCn76gn5/v2keGrxNOJPiT8t/ox4WvFnxZ8Tf148nXh68RfEXxTPIP6S+Mvir4i/Kv6a+OviGcUziWcWzyKeVTybeLh4dvEc4jlD4n5fRf3MBLuvnggJvuv+/SujrojXmNqk6977lSb4rsj7V8F2Rb1/FVzXg/evgumSfZU28K6H718F2BXt/avAuqK/fxVIV0z3rwz3VXrDffWC4b560XBfZTDcVy8Z7quXDffVK4b76lXDffWa4b563XBfZTTcV5kM91Vmw32VxXBfZTXcV9kM91W44b7Kbrivchjuq5zxaF+ltuuKvH+F158b5AF5QT6QHxQABUEhUBgUiXifQFFQDBQHJUBJUAqUBmVAWVAOlAcVQEVQCVQGVUBVUA1UBzVkX+WS79+5xfOI5xXPJ55fvIB4QfFC4oXFi4i/IV5UvJh4cfES4iXFS4mXFi8jXla8nHh58QriFcUriVcWryJeVbyaeHXxGiFxv6+ifmaC3Ve5QoLvun//ynBf5THcV3kN91U+w32V33BfFTDcVwUN91Uhw31V2HBfFTHcV28Y7quihvuqmOG+Km64r0oY7quShvuqlOG+Km24r8oY7quyhvuqnOG+Km+4ryoY7quKhvuqkuG+qmy4r6oY7quqhvuqmuG+qm64r2rEo32Vxq4r8v4VXv9boCaoBWqDOqAuqAfqgwagIWgEGoMmoCloBpqDFqAlaAVagzagLWgH2oMOoCPoBDqDLqAr6Cb76k35/v2WeE3xWuK1xeuI1xWvJ15fvIF4Q/FG4o3Fm4g3FW8m3ly8hXhL8VbircXbiLcVbyfeXryDeEfxTuKdxbuIdxXvFhL3+yrqZybYffVmSPBd9+9fGe6rmob7qpbhvqptuK/qGO6ruob7qp7hvqpvuK8aGO6rhob7qpHhvmpsuK+aGO6rpob7qpnhvmpuuK9aGO6rlob7qpXhvmptuK/aGO6rtob7qp3hvmpvuK86GO6rjob7qpPhvupsuK+6GO6rrob7qls82ldP2XVF3r/C638HdAc9QE/QC/QGfUBf0A/0BwPAQDAIDAZDwFAwDAwHI8BIMAqMBmPAWDAOjAcTwEQwCUwGU2RfvS3fv98R7y7eQ7yneC/x3uJ9xPuK9xPvLz5AfKD4IPHB4kPEh4oPEx8uPkJ8pPgo8dHiY8THio8THy8+QXyi+CTxyeJTQuJ+X0X9zAS7r94OCb7r/v0rw33V3XBf9TDcVz0N91Uvw33V23Bf9THcV30N91U/w33V33BfDTDcVwMN99Ugw3012HBfDTHcV0MN99Uww3013HBfjTDcVyMN99Uow3012nBfjTHcV2MN99U4w3013nBfTTDcVxMN99Ukw3012XBfTYlH++ppu67I+1d4/e+BqWAamA5mgJlgFpgN3gdzwFwwD8wHC8BCsAgsBkvAUrAMLAcrwEqwCqwGa8BasA6sBxvARtlX78r37/fEp4pPE58uPkN8pvgs8dni74vPEZ8rPk98vvgC8YXii8QXiy8RXyq+THy5+ArxleKrxFeLrxFfK75OfL34BvGNIXG/r6J+ZoLdV++GBN91//6V4b6aarivphnuq+mG+2qG4b6aabivZhnuq9mG++p9w301x3BfzTXcV/MM99V8w321wHBfLTTcV4sM99Viw321xHBfLTXcV8sM99Vyw321wnBfrTTcV6sM99Vqw321xnBfrTXcV+sM99V6w321wXBfbYxH++oZu67I+1d4/R+CTWAz2AK2gm1gO9gBdoJdYDfYA/aCfWA/OAAOgkPgMDgCjoJj4Dg4AU6CU+A0OAPOgnPgvOyrD+T794fim8Q3i28R3yq+TXy7+A7xneK7xHeL7xHfK75PfL/4AfGD4ofED4sfET8qfkz8uPgJ8ZPip8RPi58RPyt+Tvx8SNzvq6ifmWD31QchwXfdv39luK82Ge6rzYb7aovhvtpquK+2Ge6r7Yb7aofhvtppuK92Ge6r3Yb7ao/hvtpruK/2Ge6r/Yb76oDhvjpouK8OGe6rw4b76ojhvjpquK+OGe6r44b76oThvjppuK9OGe6r04b76ozhvjpruK/OGe6r8/FoX6W164q8f4XX/zG4AC6CT8Cn4DNwCXwOvgBfgq/A1+Ab8C34DnwPfgA/gp/Az+AXcBlcAVfBNXAd3AA3wS1wG9yRffWRfP/+WPyC+EXxT8Q/Ff9M/JL45+JfiH8p/pX41+LfiH8r/p349+I/iP8o/pP4z+K/iF8WvyJ+Vfya+HXxG+I3xW+J3xa/ExL3+yrqZybYffVRSPBd9+9fGe6rC4b76qLhvvrEcF99arivPjPcV5cM99XnhvvqC8N99aXhvvrKcF99bbivvjHcV98a7qvvDPfV94b76gfDffWj4b76yXBf/Wy4r34x3FeXDffVFcN9ddVwX10z3FfXDffVDcN9ddNwX90y3Fe3DffVnXi0r56164q8f4XXfxf8Bn4Hf4A/wV/gb/AP+Bf8F7GFEuA1AQ8IAQlAKAgDj4BHwWPgcZAQJAKJQRKQFCQDyUEKkBKkSuB6YF/9Kt+/74r/Jv67+B/if4r/Jf63+D/i/4r/Jx7xfkR1t7hHPEQ8gXioeJj4I+KPij8m/rh4QvFE4onFk4gnFU8mnlw8hXhK8VQJ4n5fRf3MBLuvfjXcV3cN99Vvhvvqd8N99YfhvvrTcF/9Zbiv/jbcV/8Y7qt/DffVf4b7KuLvTD+7Yr5/5W9XbPev/OuK/f6VP12+7l857/J9/8ppl5P7V866nN2/ctLl9P6V7y7n9698dflz/yqB3b5KmMBuXyVKYLevEiew21dJEtjtq6QJ7PZVsgR2+yp5Art9lSKB3b5KmcBuX6VKEH/21XN2XZH3r/D6nwSpQRrwFHgaPAPSgmfBc+B5kA6kBy+AF0EG8BJ4GbwCXgWvgddBRpAJZAZZQFaQDYSD7CAHyCn76gn5/v2keGrxNOJPiT8t/ox4WvFnxZ8Tf148nXh68RfEXxTPIP6S+Mvir4i/Kv6a+OviGcUziWcWzyKeVTybeLh4dvEc4jkTxP2+ivqZCXZfPZEg+K7796+MuiJeY2qTrnvvV5rguyLvXwXbFfX+VXBdD96/CqZL9lXawLsevn8VYFe0968C64r+/lUgXTHdvzLcV+kN99ULhvvqRcN9lcFwX71kuK9eNtxXrxjuq1cN99VrhvvqdcN9ldFwX2Uy3FeZDfdVFsN9ldVwX2Uz3Ffhhvsqu+G+ymG4r3LGo331vF1X5P0rvP7cIA/IC/KB/KAAKAgKgcKgSMT7BIqCYqA4KAFKglKgNCgDyoJyoDyoACqCSqAyqAKqgmqgOqgh+yqXfP/OLZ5HPK94PvH84gXEC4oXEi8sXkT8DfGi4sXEi4uXEC8pXkq8tHgZ8bLi5cTLi1cQryheSbyyeBXxquLVxKuL10gQ9/sq6mcm2H2VK0HwXffvXxnuqzyG+yqv4b7KZ7iv8hvuqwKG+6qg4b4qZLivChvuqyKG++oNw31V1HBfFTPcV8UN91UJw31V0nBflTLcV6UN91UZw31V1nBflTPcV+UN91UFw31V0XBfVTLcV5UN91UVw31V1XBfVTPcV9UN91WNeLSv0tl1Rd6/wut/C9QEtUBtUAfUBfVAfdAANASNQGPQBDQFzUBz0AK0BK1Aa9AGtAXtQHvQAXQEnUBn0AV0Bd1kX70p37/fEq8pXku8tngd8bri9cTrizcQbyjeSLyxeBPxpuLNxJuLtxBvKd5KvLV4G/G24u3E24t3EO8o3km8s3gX8a7i3RLE/b5K57LbV28mCL7r/v0rw31V03Bf1TLcV7UN91Udw31V13Bf1TPcV/UN91UDw33V0HBfNTLcV40N91UTw33V1HBfNTPcV80N91ULw33V0nBftTLcV60N91Ubw33V1nBftTPcV+0N91UHw33V0XBfdTLcV50N91UXw33V1XBfdYtH+yq9XVfk/Su8/ndAd9AD9AS9QG/QB/QF/UB/MAAMBIPAYDAEDAXDwHAwAowEo8BoMAaMBePAeDABTASTwGQwRfbV2/L9+x3x7uI9xHuK9xLvLd5HvK94P/H+4gPEB4oPEh8sPkR8qPgw8eHiI8RHio8SHy0+Rnys+Djx8eITxCeKTxKfLD4lQdzvq6ifmWD31dsJgu+6f//KcF91N9xXPQz3VU/DfdXLcF/1NtxXfQz3VV/DfdXPcF/1N9xXAwz31UDDfTXIcF8NNtxXQwz31VDDfTXMcF8NN9xXIwz31UjDfTXKcF+NNtxXYwz31VjDfTXOcF+NN9xXEwz31UTDfTXJcF9NNtxXU+LRvnrBrivy/hVe/3tgKpgGpoMZYCaYBWaD98EcMBfMA/PBArAQLAKLwRKwFCwDy8EKsBKsAqvBGrAWrAPrwQawUfbVu/L9+z3xqeLTxKeLzxCfKT5LfLb4++JzxOeKzxOfL75AfKH4IvHF4kvEl4ovE18uvkJ8pfgq8dXia8TXiq8TXy++QXxjgrjfV1E/M8Huq3cTBN91//6V4b6aarivphnuq+mG+2qG4b6aabivZhnuq9mG++p9w301x3BfzTXcV/MM99V8w321wHBfLTTcV4sM99Viw321xHBfLTXcV8sM99Vyw321wnBfrTTcV6sM99Vqw321xnBfrTXcV+sM99V6w321wXBfbYxH++pFu67I+1d4/R+CTWAz2AK2gm1gO9gBdoJdYDfYA/aCfWA/OAAOgkPgMDgCjoJj4Dg4AU6CU+A0OAPOgnPgvOyrD+T794fim8Q3i28R3yq+TXy7+A7xneK7xHeL7xHfK75PfL/4AfGD4ofED4sfET8qfkz8uPgJ8ZPip8RPi58RPyt+Tvx8grjfV1E/M8Huqw8SBN91//6V4b7aZLivNhvuqy2G+2qr4b7aZrivthvuqx2G+2qn4b7aZbivdhvuqz2G+2qv4b7aZ7iv9hvuqwOG++qg4b46ZLivDhvuqyOG++qo4b46ZrivjhvuqxOG++qk4b46ZbivThvuqzOG++qs4b46Z7ivzsejfZXBrivy/hVe/8fgArgIPgGfgs/AJfA5+AJ8Cb4CX4NvwLfgO/A9+AH8CH4CP4NfwGVwBVwF18B1cAPcBLfAbXBH9tVH8v37Y/EL4hfFPxH/VPwz8Uvin4t/If6l+FfiX4t/I/6t+Hfi34v/IP6j+E/iP4v/In5Z/Ir4VfFr4tfFb4jfFL8lflv8ToK431cZXHb76qMEwXfdv39luK8uGO6ri4b76hPDffWp4b76zHBfXTLcV58b7qsvDPfVl4b76ivDffW14b76xnBffWu4r74z3FffG+6rHwz31Y+G++onw331s+G++sVwX1023FdXDPfVVcN9dc1wX1033Fc3DPfVTcN9dctwX9023Fd34tG+esmuK/L+FV7/XfAb+B38Af4Ef4G/wT/gX/BfxBYKxWsCHhACEoBQEAYeAY+Cx8DjICFIBBKDJCApSAaSgxQgJUgV6npgX/0q37/viv8m/rv4H+J/iv8l/rf4P+L/iv8nHvF+RHW3uEc8RDyBeKh4mPgj4o+KPyb+uHhC8UTiicWTiCcVTyaeXDyFeErxVKFxv6+ifmaC3Ve/Gu6ru4b76jfDffW74b76w3Bf/Wm4r/4y3Fd/G+6rfwz31b+G++o/w30V8Xemn10x37/ytyu2+1f+dcV+/8qfLl/3r5x3+b5/5bTLyf0rZ13O7l856XJ6/8p3l/P7V766/Ll/FWq3rxKG2u2rRKF2+ypxqN2+ShJqt6+Shtrtq2ShdvsqeajdvkoRarevUoba7atUofFnX71s1xV5/wqv/0mQGqQBT4GnwTMgLXgWPAeeB+lAevACeBFkAC+Bl8Er4FXwGngdZASZQGaQBWQF2UA4yA5ygJyyr56Q799PiqcWTyP+lPjT4s+IpxV/Vvw58efF04mnF39B/EXxDOIvib8s/or4q+Kvib8unlE8k3hm8SziWcWziYeLZxfPIZ4zNO73VdTPTLD76onQ4Lvu378y6op4jalNuu69X2mC74q8fxVsV9T7V8F1PXj/Kpgu2VdpA+96+P5VgF3R3r8KrCv6+1eBdMV0/8pwX6U33FcvGO6rFw33VQbDffWS4b562XBfvWK4r1413FevGe6r1w33VUbDfZXJcF9lNtxXWQz3VVbDfZXNcF+FG+6r7Ib7KofhvsoZj/bVK3Zdkfev8PpzgzwgL8gH8oMCoCAoBAqDIhHvEygKioHioAQoCUqB0qAMKAvKgfKgAqgIKoHKoAqoCqqB6qCG7Ktc8v07t3ge8bzi+cTzixcQLyheSLyweBHxN8SLihcTLy5eQrykeCnx0uJlxMuKlxMvL15BvKJ4JfHK4lXEq4pXE68uXiM07vdV1M9MsPsqV2jwXffvXxnuqzyG+yqv4b7KZ7iv8hvuqwKG+6qg4b4qZLivChvuqyKG++oNw31V1HBfFTPcV8UN91UJw31V0nBflTLcV6UN91UZw31V1nBflTPcV+UN91UFw31V0XBfVTLcV5UN91UVw31V1XBfVTPcV9UN91WNeLSvXrXrirx/hdf/FqgJaoHaoA6oC+qB+qABaAgagcagCWgKmoHmoAVoCVqB1qANaAvagfagA+gIOoHOoAvoCrrJvnpTvn+/JV5TvJZ4bfE64nXF64nXF28g3lC8kXhj8SbiTcWbiTcXbyHeUryVeGvxNuJtxduJtxfvIN5RvJN4Z/Eu4l3Fu4XG/b6K+pkJdl+9GRp81/37V4b7qqbhvqpluK9qG+6rOob7qq7hvqpnuK/qG+6rBob7qqHhvmpkuK8aG+6rJob7qqnhvmpmuK+aG+6rFob7qqXhvmpluK9aG+6rNob7qq3hvmpnuK/aG+6rDob7qqPhvupkuK86G+6rLob7qqvhvuoWj/bVa3Zdkfev8PrfAd1BD9AT9AK9QR/QF/QD/cEAMBAMAoPBEDAUDAPDwQgwEowCo8EYMBaMA+PBBDARTAKTwRTZV2/L9+93xLuL9xDvKd5LvLd4H/G+4v3E+4sPEB8oPkh8sPgQ8aHiw8SHi48QHyk+Sny0+BjxseLjxMeLTxCfKD5JfLL4lNC431dRPzPB7qu3Q4Pvun//ynBfdTfcVz0M91VPw33Vy3Bf9TbcV30M91Vfw33Vz3Bf9TfcVwMM99VAw301yHBfDTbcV0MM99VQw301zHBfDTfcVyMM99VIw301ynBfjTbcV2MM99VYw301znBfjTfcVxMM99VEw301yXBfTTbcV1Pi0b563a4r8v4VXv97YCqYBqaDGWAmmAVmg/fBHDAXzAPzwQKwECwCi8ESsBQsA8vBCrASrAKrwRqwFqwD68EGsFH21bvy/fs98ani08Sni88Qnyk+S3y2+Pvic8Tnis8Tny++QHyh+CLxxeJLxJeKLxNfLr5CfKX4KvHV4mvE14qvE18vvkF8Y2jc76uon5lg99W7ocF33b9/Zbivphruq2mG+2q64b6aYbivZhruq1mG+2q24b5633BfzTHcV3MN99U8w30133BfLTDcVwsN99Uiw3212HBfLTHcV0sN99Uyw3213HBfrTDcVysN99Uqw3212nBfrTHcV2sN99U6w3213nBfbTDcVxvj0b7KaNcVef8Kr/9DsAlsBlvAVrANbAc7wE6wC+wGe8BesA/sBwfAQXAIHAZHwFFwDBwHJ8BJcAqcBmfAWXAOnJd99YF8//5QfJP4ZvEt4lvFt4lvF98hvlN8l/hu8T3ie8X3ie8XPyB+UPyQ+GHxI+JHxY+JHxc/IX5S/JT4afEz4mfFz4mfD437fRX1MxPsvvogNPiu+/evDPfVJsN9tdlwX20x3FdbDffVNsN9td1wX+0w3Fc7DffVLsN9tdtwX+0x3Fd7DffVPsN9td9wXx0w3FcHDffVIcN9ddhwXx0x3FdHDffVMcN9ddxwX50w3FcnDffVKcN9ddpwX50x3FdnDffVOcN9dT4e7atMdl2R96/w+j8GF8BF8An4FHwGLoHPwRfgS/AV+Bp8A74F34HvwQ/gR/AT+Bn8Ai6DK+AquAaugxvgJrgFboM7sq8+ku/fH4tfEL8o/on4p+KfiV8S/1z8C/Evxb8S/1r8G/Fvxb8T/178B/EfxX8S/1n8F/HL4lfEr4pfE78ufkP8pvgt8dvid0Ljfl9F/cwEu68+Cg2+6/79K8N9dcFwX1003FefGO6rTw331WeG++qS4b763HBffWG4r7403FdfGe6rrw331TeG++pbw331neG++t5wX/1guK9+NNxXPxnuq58N99UvhvvqsuG+umK4r64a7qtrhvvquuG+umG4r24a7qtbhvvqtuG+uhOP9lVmu67I+1d4/XfBb+B38Af4E/wF/gb/gH/BfxFbKAyvCXhACEgAQkEYeAQ8Ch4Dj4OEIBFIDJKApCAZSA5SgJQgVZjrgX31q3z/viv+m/jv4n+I/yn+l/jf4v+I/yv+n3jE+xHV3eIe8RDxBOKh4mHij4g/Kv6Y+OPiCcUTiScWTyKeVDyZeHLxFOIpxVOFxf2+ivqZCXZf/Wq4r+4a7qvfDPfV74b76g/DffWn4b76y3Bf/W24r/4x3Ff/Gu6r/wz3VcTfmX52xXz/yt+u2O5f+dcV+/0rf7p83b9y3uX7/pXTLif3r5x1Obt/5aTL6f0r313O71/56vLn/lWY3b5KGGa3rxKF2e2rxGF2+ypJmN2+Shpmt6+Shdntq+RhdvsqRZjdvkoZZrevUoXFn32Vxa4r8v4VXv+TIDVIA54CT4NnQFrwLHgOPA/SgfTgBfAiyABeAi+DV8Cr4DXwOsgIMoHMIAvICrKBcJAd5AA5ZV89Id+/nxRPLZ5G/Cnxp8WfEU8r/qz4c+LPi6cTTy/+gviL4hnEXxJ/WfwV8VfFXxN/XTyjeCbxzOJZxLOKZxMPF88unkM8Z1jc76uon5lg99UTYcF33b9/ZdQV8RpTm3Tde7/SBN8Vef8q2K6o96+C63rw/lUwXbKv0gbe9fD9qwC7or1/FVhX9PevAumK6f6V4b5Kb7ivXjDcVy8a7qsMhvvqJcN99bLhvnrFcF+9arivXjPcV68b7quMhvsqk+G+ymy4r7IY7qushvsqm+G+CjfcV9kN91UOw32VMx7tq6x2XZH3r/D6c4M8IC/IB/KDAqAgKAQKgyIR7xMoCoqB4qAEKAlKgdKgDCgLyoHyoAKoCCqByqAKqAqqgeqghuyrXPL9O7d4HvG84vnE84sXEC8oXki8sHgR8TfEi4oXEy8uXkK8pHgp8dLiZcTLipcTLy9eQbyieCXxyuJVxKuKVxOvLl4jLO73VdTPTLD7KldY8F33718Z7qs8hvsqr+G+yme4r/Ib7qsChvuqoOG+KmS4rwob7qsihvvqDcN9VdRwXxUz3FfFDfdVCcN9VdJwX5Uy3FelDfdVGcN9VdZwX5Uz3FflDfdVBcN9VdFwX1Uy3FeVDfdVFcN9VdVwX1Uz3FfVDfdVjXi0r7LZdUXev8LrfwvUBLVAbVAH1AX1QH3QADQEjUBj0AQ0Bc1Ac9ACtAStQGvQBrQF7UB70AF0BJ1AZ9AFdAXdZF+9Kd+/3xKvKV5LvLZ4HfG64vXE64s3EG8o3ki8sXgT8abizcSbi7cQbyneSry1eBvxtuLtxNuLdxDvKN5JvLN4F/Gu4t3C4n5fRf3MBLuv3gwLvuv+/SvDfVXTcF/VMtxXtQ33VR3DfVXXcF/VM9xX9Q33VQPDfdXQcF81MtxXjQ33VRPDfdXUcF81M9xXzQ33VQvDfdXScF+1MtxXrQ33VRvDfdXWcF+1M9xX7Q33VQfDfdXRcF91MtxXnQ33VRfDfdXVcF91i0f7KtyuK/L+FV7/O6A76AF6gl6gN+gD+oJ+oD8YAAaCQWAwGAKGgmFgOBgBRoJRYDQYA8aCcWA8mAAmgklgMpgi++pt+f79jnh38R7iPcV7ifcW7yPeV7yfeH/xAeIDxQeJDxYfIj5UfJj4cPER4iPFR4mPFh8jPlZ8nPh48QniE8UniU8WnxIW9/sq6mcm2H31dljwXffvXxnuq+6G+6qH4b7qabivehnuq96G+6qP4b7qa7iv+hnuq/6G+2qA4b4aaLivBhnuq8GG+2qI4b4aarivhhnuq+GG+2qE4b4aabivRhnuq9GG+2qM4b4aa7ivxhnuq/GG+2qC4b6aaLivJhnuq8mG+2pKPNpX2e26Iu9f4fW/B6aCaWA6mAFmgllgNngfzAFzwTwwHywAC8EisBgsAUvBMrAcrAArwSqwGqwBa8E6sB5sABtlX70r37/fE58qPk18uvgM8Znis8Rni78vPkd8rvg88fniC8QXii8SXyy+RHyp+DLx5eIrxFeKrxJfLb5GfK34OvH14hvEN4bF/b6K+pkJdl+9GxZ81/37V4b7aqrhvppmuK+mG+6rGYb7aqbhvppluK9mG+6r9w331RzDfTXXcF/NM9xX8w331QLDfbXQcF8tMtxXiw331RLDfbXUcF8tM9xXyw331QrDfbXScF+tMtxXqw331RrDfbXWcF+tM9xX6w331QbDfbUxHu2rHHZdkfev8Po/BJvAZrAFbAXbwHawA+wEu8BusAfsBfvAfnAAHASHwGFwBBwFx8BxcAKcBKfAaXAGnAXnwHnZVx/I9+8PxTeJbxbfIr5VfJv4dvEd4jvFd4nvFt8jvld8n/h+8QPiB8UPiR8WPyJ+VPyY+HHxE+InxU+JnxY/I35W/Jz4+bC431dRPzPB7qsPwoLvun//ynBfbTLcV5sN99UWw3211XBfbTPcV9sN99UOw32103Bf7TLcV7sN99Uew32113Bf7TPcV/sN99UBw3110HBfHTLcV4cN99URw3111HBfHTPcV8cN99UJw3110nBfnTLcV6cN99UZw3111nBfnTPcV+cN95Uryh/dVsF+t/vI6ufM3ThbxM+W2HXvP3+J+FPDde97bnVmNWZVZhVmZWYlZkVmBWZ5ZjlmWWYZZmlmKWZJZglmcWYxZlHmG8wizMLMQsyCzALM/Mx8zLzMPMzczFzMbsyuzC7MzsxOzI7MDsz2zHbMtsw2zNbMVsyWzBbM5sxmzKbMJszGzEbMhswGzPrMesy6zDrM2sxazJrMt5hvMqcwJzMnMScyJzDHM8cxxzLHMEczRzFHMkcwhzOHMYcyhzAHMwcxBzIHMPsz+zH7MvswezN7MXsyezC7M99hvs3cyNzAXM9cx1zLXMNczVzFXMlcwVzOXMZcylzCXMxcxFzIXMCcz5zHnMucw3yfOZs5izmTOYM5nTmNOZX5HvNd5nnmOeZZ5hnmaeYp5knmCeZx5jHmUeYR5mHmIeZB5gHmfuY+5l7mHuZu5i7mTuYO5nbmNuZW5hbmZuYm5ofMD5h3mLeZt5g3mTeY15nXmFeZV5iXmb8wf2b+xPyR+QPze+Z3zG+Z3zC/Zn7F/JL5BfNz5iXmZ8xPmZ8wLzIvMD9mfsRM5b6XKZkpmMmZyZhJmUmYiZmJmAmZjzMfYz7KfIQZxgxlJmCGMD1MN9PF/I8/77/Mf5h/M/9i/sn8g/k78zfmXeavzJzsz8HMzgxnZmNmZWZhZmZmYmZkvs58jfkq8xXmy8yXmBmYLzJfYKZnpmM+z3yO+SwzLfMZ5tPMp5hpmKmZTzKfYNZgVmdWY1ZlVmFWZlZiVmRWYJZnlmOWZZZhlmaWYpZklmAWZxZjFmW+wSzCLMwsxCzILMDMz8zHzMvMw8zNzMXsxuzK7MLszOzE7MjswGzPbMdsy2zDbM1sxWzJbMFszmzGbMpswmzMbMRsyGzArM+sx6zLrMOszazFrMl8i/kmcwpzMnMScyJzAnM8cxxzLHMMczRzFHMkcwRzOHMYcyhzCHMwcxBzIHMAsz+zH7Mvsw+zN7MXsyezB7M78x3m28yNzA3M9cx1zLXMNczVzFXMlcwVzOXMZcylzCXMxcxFzIXMBcz5zHnMucw5zPeZs5mzmDOZM5jTmdOYU5nvMd9lnmeeY55lnmGeZp5inmSeYB5nHmMeZR5hHmYeYh5kHmDuZ+5j7mXuYe5m7mLuZO5gbmduY25lbmFuZm5ifsj8gHmHeZt5i3mTeYN5nXmNeZV5hXmZ+QvzZ+ZPzB+ZPzC/Z37H/Jb5DfNr5lfML5lfMD9nXmJ+xvyU+QnzIvMC82PmR8xUnnuZkpmCmZyZjJmUmYSZmJmImZD5OPMx5qPMR5hhzFBmAmYI08N0M13M//jz/sv8h/k38y/mn8w/mL8zf2PeZf7KzMn+HMzszHBmNmZWZhZmZmYmZkbm68zXmK8yX2G+zHyJmYH5IvMFZnpmOubzzOeYzzLTMp9hPs18ipmGmZr5JPMJZg1mdWY1ZlVmFWZlZiVmRWYFZnlmOWZZZhlmaWYpZklmCWZxZjFmUeYbzCLMwsxCzILMAsz8zHzMvMw8zNzMXMxuzK7MLszOzE7MjswOzPbMdsy2zDbM1sxWzJbMFszmzGbMpswmzMbMRsyGzAbM+sx6zLrMOszazFrMmsy3mG8ypzAnMycxJzInMMczxzHHMscwRzNHMUcyRzCHM4cxhzKHMAczBzEHMgcw+zP7Mfsy+zB7M3sxezJ7MLsz32G+zdzI3MBcz1zHXMtcw1zNXMVcyVzBXM5cxlzKXMJczFzEXMhcwJzPnMecy5zDfJ85mzmLOZM5gzmdOY05lfke813meeY55lnmGeZp5inmSeYJ5nHmMeZR5hHmYeYh5kHmAeZ+5j7mXuYe5m7mLuZO5g7mduY25lbmFuZm5ibmh8wPmHeYt5m3mDeZN5jXmdeYV5lXmJeZvzB/Zv7E/JH5A/N75nfMb5nfML9mfsX8kvkF83PmJeZnzE+ZnzAvMi8wP2Z+xEwVci9TMlMwkzOTMZMykzATMxMxEzIfZz7GfJT5CDOMGcpMwAxhephupov5H3/ef5n/MP9m/sX8k/kH83fmb8y7zF+ZOdmfg5mdGc7MxszKzMLMzMzEzMh8nfka81XmK8yXmS8xMzBfZL7ATM9Mx3ye+RzzWWZa5jPMp5lPMdMwUzOfZD7BrMGszqzGrMqswqzMrMSsyKzALM8sxyzLLMMszSzFLMkswSzOLMYsynyDWYRZmFmIWZBZgJmfmY+Zl5mHmZuZi9mN2ZXZhdmZ2YnZkdmB2Z7ZjtmW2YbZmtmK2ZLZgtmc2YzZlNmE2ZjZiNmQ2YBZn1mPWZdZh1mbWYtZk/kW803mFOZk5iTmROYE5njmOOZY5hjmaOYo5kjmCOZw5jDmUOYQ5mDmIOZA5gBmf2Y/Zl9mH2ZvZi9mT2YPZnfmO8y3mRuZG5jrmeuYa5lrmKuZq5grmSuYy5nLmEuZS5iLmYuYC5kLmPOZ85hzmXOY7zNnM2cxZzJnMKczpzGnMt9jvss8zzzHPMs8wzzNPMU8yTzBPM48xjzKPMI8zDzEPMg8wNzP3Mfcy9zD3M3cxdzJ3MHcztzG3MrcwtzM3MT8kPkB8w7zNvMW8ybzBvM68xrzKvMK8zLzF+bPzJ+YPzJ/YH7P/I75LfMb5tfMr5hfMr9gfs68xPyM+SnzE+ZF5gXmx8yPmKkS3MuUzBTM5MxkzKTMJMzEzETMhMzHmY8xH2U+wgxjhjITMEOYHqab6WL+x5/3X+Y/zL+ZfzH/ZP7B/J35G/Mu81dmTvbnYGZnhjOzMbMyszAzMzMxMzJfZ77GfJX5CvNl5kvMDMwXmS8w0zPTMZ9nPsd8lpmW+QzzaeZTzDTM1MwnmU8wazCrM6sxqzKrMCszKzErMiswyzPLMcsyyzBLM0sxSzJLMIszizGLMt9gFmEWZhZiFmQWYOZn5mPmZeZh5mbmYnZjdmV2YXZmdmJ2ZHZgtme2Y7ZltmG2ZrZitmS2YDZnNmM2ZTZhNmY2YjZkNmDWZ9Zj1mXWYdZm1mLWZL7FfJM5hTmZOYk5kTmBOZ45jjmWOYY5mjmKOZI5gjmcOYw5lDmEOZg5iDmQOYDZn9mP2ZfZh9mb2YvZk9mD2Z35DvNt5kbmBuZ65jrmWuYa5mrmKuZK5grmcuYy5lLmEuZi5iLmQuYC5nzmPOZc5hzm+8zZzFnMmcwZzOnMacypzPeY7zLPM88xzzLPME8zTzFPMk8wjzOPMY8yjzAPMw8xDzIPMPcz9zH3MvcwdzN3MXcydzC3M7cxtzK3MDczNzE/ZH7AvMO8zbzFvMm8wbzOvMa8yrzCvMz8hfkz8yfmj8wfmN8zv2N+y/yG+TXzK+aXzC+YnzMvMT9jfsr8hHmReYH5MfMjZqrQe5mSmYKZnJmMmZSZhJmYmYiZkPk48zHmo8xHmGHMUGYCZgjTw3QzXcz/+PP+y/yH+TfzL+afzD+YvzN/Y95l/srMyf4czOzMcGY2ZlZmFmZmZiZmRubrzNeYrzJfYb7MfImZgfki8wVmemY65vPM55jPMtMyn2E+zXyKmYaZmvkk8wlmDWZ1ZjVmVWYVZmVmJWZFZgVmeWY5ZllmGWZpZilmSWYJZnFmMWZR5hvMIszCzELMgswCzPzMfMy8zDzM3MxczG7MrswuzM7MTsyOzA7M9sx2zLbMNszWzFbMlswWzObMZsymzCbMxsxGzIbMBsz6zHrMusw6zNrMWsyazLeYbzKnMCczJzEnMicwxzPHMccyxzBHM0cxRzJHMIczhzGHMocwBzMHMQcyBzD7M/sx+zL7MHszezF7MnswuzPfYb7N3MjcwFzPXMdcy1zDXM1cxVzJXMFczlzGXMpcwlzMXMRcyFzAnM+cx5zLnMN8nzmbOYs5kzmDOZ05jTmV+R7zXeZ55jnmWeYZ5mnmKeZJ5gnmceYx5lHmEeZh5iHmQeYB5n7mPuZe5h7mbuYu5k7mDuZ25jbmVuYW5mbmJuaHzA+Yd5i3mbeYN5k3mNeZ15hXmVeYl5m/MH9m/sT8kfkD83vmd8xvmd8wv2Z+xfyS+QXzc+Yl5mfMT5mfMC8yLzA/Zn7ETMXfc0zJTMFMzkzGTMpMwkzMTMRMyHyc+RjzUeYjzDBmKDMBM4Tp8f4eJtPF/I8/77/Mf5h/M/9i/sn8g/k78zfmXeavTO8dc+99c+/dc+89dO+ddO/9dO9dde+9de8ddu99du/ddu89d++dd+/9d+9deO+9eO8dee99ee/dee89eu+deu/9eu9de++9+7TMZ5hPM59ipmGmZj7JfILpvTPovT/ovUvovVfovWPovW/ovXvovYfovZPovZ/ovavovbfovcPovc/ovdvovefovfPovf/ovQvpvRfpvSPpvS/pvTvpvUfpvVPpvV/pvWvpvXfpvYPpvY/pvZvpvafpvQPivQ/ivRvivSfivTPivT/ivUvivVfivWPivW/ivXvivYfivZPivZ/ivavivbfivcPivc/ivdvivefivfPivf/ivQvjvRfjvSPjvS/jvTvjvUfjvVPjvV/jvWvjvXfjfU6v9/m93uf6ep/3630OsPf5wN7nBnufJ+x9zrD3+cPe5xJ7n1fsfY6x9/nG3ucee5+H7H1Osvf5yd7nKnuft+x9DrP3+cze5zZ7n+fsfc6z9/nP3udCe58X7X2OtPf50t7nTnufR+19jpb3+Vre5255n8flfU6X9/ld3ud6eZ/35X0OmPf5YN7nhnmfJ+Z9zpj3+WPe55J5n1fmfY6Z9/lm3ueeeZ+H5n1Omvf5ad7nqnmft+Z9Dpv3+Wze57Z5n+fmfc6b9/lv3ufCeZ8X5/09d+/vv3t/L977+/Le36P3/n699/fuvb+P7/09fe/v73t/r9/7+/7e5wB4nw/gfW6A93kC3ucMeJ8/4H0ugfd5Bd7nGHifb+B97oH3eQje5yR4n5/gfa6C93kL3ucweJ/P4H1ug/d5DhG/W5UO+THyArgIPgGfgs/AJfA5+AJ8Cb4CX4NvwLfgO/A9+AH8CH4CP4NfwGVwBVwF18B1cAPcBLfAbXAH/Aqi/knPfIOZLTxbUH8iXtv9rmzBtV0Ik99FC6LtYthDv9cWcNsnYdH8jlyAbZ+GRfv7dgG1fRYWw+/uBdB2KSzG3wP0u+3zsFh+p9DPti/CYv39RL/avgzz8buOfrR95avLj7avfXc5bvvGSZfDtm+ddTlq+85pl4O27513+Wz7wZ8uH20/+tcVa9tP/nbF0vaz/10xtv0SSFcMbZcD64q27UqgXdG0XQ2866G2a8F0Sdv14LoeaLsRbFeUtpvBd91vu2XRxbbbNl3/b7tj1YW2X8Psfn//rt3P9f/nDORyRf5xu+49ryrE9f//V4mI/7gk4v9k4nrEde/77WPgcZAQJHLd+93/JCApSAaSgxQgJUgFngBPgtQgDXgKPA2eAWnBs+A58Lzr3vfmiO+qL4AXQQbwEngZvAJeBa+B10FGkAlkBllA1oj3AkTccIl4znDEs7ByyuuK+HNXvhv//8//AC7NDVlhBgMA"};

export async function keccak_tx(tx: PublicInputs, foreignCallHandler?: ForeignCallHandler): Promise<Field> {
  const program = new Noir(keccak_tx_circuit);
  const args: InputMap = { tx };
  const { returnValue } = await program.execute(args, foreignCallHandler);
  return returnValue as Field;
}