{"key":"math-2","part":"math","fixed_point":"Signed int256 decimal Q30: real value = integer/1e30. Mean, mass, density, and variance ALL use 1e30 (variance is not Q60). Q30 resolves tiny-window variance below the 1e-9 relative target on the oracle vectors while bounded products fit int256; no extra storage or wide-multiply assembly.","functions":[{"name":"ln","domain":"x real in [0.5,2], 100, and clamp endpoints 1e-12/1e12; accepts any int256 via saturation","max_rel_error":1e-18,"max_abs_error":6e-30,"gas":3260},{"name":"exp","domain":"x real in [-0.1,0.1]; API saturates above 64, underflows below -70","max_rel_error":1e-18,"max_abs_error":1.9999999999999998e-30,"gas":817},{"name":"pdf","domain":"standardized x in [-8,8]; all int256 accepted, |x|>=12 saturates","max_rel_error":3.96e-16,"max_abs_error":3e-30,"gas":1087},{"name":"cdf","domain":"standardized x in [-8,8]; all int256 accepted, |x|>=12 saturates","max_rel_error":1.608e-15,"max_abs_error":7.64103024112e-19,"gas":1657},{"name":"sqrt","domain":"variance in [0,0.0009], plus 1e-24; API input clamp [0,1e6]","max_rel_error":1e-18,"max_abs_error":1.9999999999999998e-30,"gas":1540},{"name":"trunc.mass","domain":"trunc(m,v,lo,hi)[0]; sd 0..300 bps, width 0..200 bps, standardized edges up to +/-30","max_rel_error":2.37769e-13,"max_abs_error":8.22694075753e-19,"gas":18467},{"name":"trunc.mean","domain":"trunc(m,v,lo,hi)[1]; same domain as mass; point mass and low-mass fallback included","max_rel_error":1e-18,"max_abs_error":1.17237280245e-19,"gas":18467},{"name":"trunc.variance","domain":"trunc(m,v,lo,hi)[2]; same domain as mass; variance is log-price squared, Q30 scaled","max_rel_error":4.22195593e-10,"max_abs_error":6.674829581e-21,"gas":18467}],"tests":{"passed":35,"failed":0},"bytes_runtime":4161,"knots":"","code_zb64":"eNrsvXuTFMmV7au/+RRhfezMhWmqCH9GhFpoTqsbSZj1E+iZI5PpaJKqBFJdL2UmNPQZffe7fjvr6Z4VVUkBrbkXpIZ6RHp4eLjv59prL+Y7934/21tO519Pli+2F4d7v3rnf1r9yTHav/pT/Ouzy/7kZ6ufOxe8+1XT/uoD/Hm5WE7muv2v/v/559695vF3X/7vra9mO9ODxXTr4e70YDl7NpvOf918/fBJ8/k3Xza/e/zlVtj6Ym/ycjG9dTSfPN+fNNoos93Z8k3zf9rtftvHz27duqex/tfB4VIjNY9nzw+mu833of2seTWZzyYH+uFs0cwOmr3D51tHcy5a/P3lZD7dvdtM9haHzWJnsqePPH3TuGlot1fD7U5fMUgzny4ns4NFs3j5dMtNtwb9YG+ynL2ano1+NJ/uzBazw4NG/19OF0sNdjCZzw9/an6aHewe/rRYjfn53l7z+XcPNdZk+XI+WU6bp9Nnh/Npo4GWL/anmv92843mszzUo07vNtPXOh0Hk71GE9xb3G0O581ksZjuP917s31rb/Z0Ppm/ac7OUPN/bzX6MztY+pT55/jDhwfaaQfL5vvmvj3hZ+OXffWN14V5CC52rm9TGoaYQjtE13mdDu9i6q8Y4uE3//7Xx98/esJAXdu5Nne9c31OsUs+xrbtYwzZuzZdd6DvHmqoMPRD9L5vY+ti8LnrhqDJ5VZTDGwExnr28mBnycvY2Zsd3T4e+fXdk3vsHZ5++WJ25+yWRy/1IvSyX871so8/dud4Rfmz+lXzuvmNhmj+jb9+re9+q1H0nf7Sd6uH+cdqHuc35d7B7df3vr/zr9/zfg+ODhcz20GTg91mOTt4o3FOt8RkqXe05fxnzf7k9Wz/5T6b102d3774dBry5NmueIpmfv459PkX050ftUXPfsaf11pfWzEtlW7X83f0dz67cNHxgD9e/OlPL2Z70+a2FuN+45t/bb6/U4y9Gv+efvtZ9fNPPy1G+8f6sX9z2bD/unbYra3RYWfPbL6Niy56F1L2odMWT23s+9blvu+8dmn7Dh/keOl+1jLrzls8jVaqucd3n+q7tQv9MwfoZ134sy78/uIlc/0qOd/79pK/68vnjOQZSrdMsb38/1d9ttOy9Zf8fcVnczvyv6s+G5PLzg9t8D717cVvr/psP+SUJMOiC5Ibrg0x9r5LffZX3reL7eX/v+KzfTvy56rP5iHl5F0XBhfaGGLX+9we//SKzw7Jh7695O8rPivB7HNwqZO87ULuoz//k6s+7Locuzb1vQ/JS21c+P6qD4exP1d9OIU+5sv+vurD/dj/rviwH/1z1Yf7sfN0xYdje4P9lUf/XDXt9m1uffzhH/W1DI2zi/5xme6cvj46Vp53T7Wk1OZh8+etHO/m+JfPmoPpczPJFjKo9mR1bXWy2w5fHthlP0/nh4XuZMh3qjxX6uQ3dmPTf8fWQrEI53Xs8aV3JdPsI+sVrT4gfXNxpc79fmm/36pX82RSS+k47Ll7jV+nyyqdxZ9ls3W/Hu0fa8bWA48MXqng1eCfXjk4eyX0uXdd69bvouWJfJRM7yQah/HL3JA6BFGbw/iFklVtkLjyIVx1Zy+tIXEWc/bxirun7AZdPeQeZTN+sZedHDXbJGGfkm+vmK8sYP0XgkR6F/p0xeDIYZdl6UiiDb3Td1fMXB6AFJw8gE7rJ83ZuSsW0GGLS1H1UhpeujlimV/xxG3f5S7loe/0zluZ+N3gr1h9n6SOXNvrkaPcEtd3HT+54kNdSnr0wXv5EakfWulQfvJ2n7pqhlF2ZNJLqf6+aqv20fm87u8rPhj6S/9csZU3Vrhnx2Vj7XG2UfJbfza9hd45vW/7oT6MiPwRl0hexBwvZSWzb788/tfdaX7zm+bkux/vFBpgureQMsLXGP3c1oUPXqpEH8ub3p3Md5uDw/m+VN3u9EA+6BtCJHsvpTcPXy4Xs92pdKrzd53/y4kCW6M8j3afXVd5bqQ6nbmOzX/9l3nVzo8p0uOfose35AGajry9+gRu1fmowQW/qVif5tGER9Lsp/Nn9/TfTrNzOH32bLYzmx4sF82z+eF+88X06MV0cbd5NZs0j3dm371pDnaX8+0X2yeDfHF49GY+e/5iaYf3Ln939jc+9DB4AkuPl4xy0Hy13Xx9uHgxm87Pffz0js1kd3K0tDktfn0h+CXTZ6q3+MXD7/609dXDLx588/jB9vL18nSQR9P9yexgdvC8me0f7U33NZgNY6G006se8Lbt5wQVnmIhreJe//X6v35zX0tOQEJ3WzSL0yhas3whU+r5C+2QYiMsJ7O9czvhaD57RQDjZhtB52X81Z/zo1+ff9W1g3x85dHan/69Pqw/XxZjOP7Im8t9cf4c6ddDbuPQScFqC8gJz9LKcbhMQJx86Ehjvjlx2ohKt066tpXL4uWzyvlrNxlBekqGeZL1MEQ5bqa58oiYWjeG7iiTIjmZQ75vU9sleYEbjpFkNXhpPP2/DUMcsu9y314xyN81yBt9OATZTPJ9MFFSG9phwIO86pN/P397ojoyjoYOPexlJXZDajcaghXEsJLlI6ukdb7jrW42htbe2wbI0s9DO4Qoi7HdcJA4aP5aQ3P9g5ZVls+Vgxyfntvfyz1g1x5psL/fwVYfM70lJH44wmt6LXFwVx/cmSBmd6Y6rn1zeLD3hkC6/K292fPZ072pCQEd89+46ZYf7myvOVQ60f3YgWbjaFHcIBNH9mZIgfBV9Uwn++vEgUw5un7Q332QXd/L2pSResl6lJ/tYg5ENHKMekHDIPPq/Jsd/3DUO+ic7YkkHyXIXHGxve6n9Ziy6vvgNfW2YxAffXvtj2snx5ic9vWQMPzlUAR3/Y9r/yUvN6HT4ZJPlDnZ7fU/7lqsYdfLTh+SSx3f+w0+L7s56f3q/5nAfdBoF2XTxY//3QQupq2XW6Q7Oj1z1KPL/O9HP/X3czfts3wYr1fU9wnnIkpADtf+dEhxCF3XyYrucJoGbTbfXvvjQ5e6tk+t6yRK2hR1/xSu/3HXy+toBxnLfad/u5B9P7TX/7zXwQpB77mXi+S02Zx8qw0+73LS9pb81Y6TNxf0IP0mnz9+4Vp7Jw8SNy/FkRd+3qw71bR3ToTXRdl1bVP3iy9//9lp4GhBfqW955pnh3Osnt/erxIrO+/Fvr1/YuBeatdcYv58v3aJsJjb5t9WNtiW5vnrBkFv376+jkOw+Pt8eZaTOo6f6WmP5Ag0T6c7h/tTM/4/a3b2JvtHC93RMlO5WC0b530sV3vZQh17Ps2B9tqJF3QSVGvJWoVsTsDJ78rQ2stz5tzB+l/h97n69bxpfotj0ss9WZsZ4ve8v36NNpbPdr/J8aqYmt0ix/E7lMOc3SD4a90g+PEbBH/ZDVy+1g1cvmKN8mU36K81/hWv4NIXcL31v2L5L1396y3+8dofr+fFjyCVThz9ZvZZM9Mx7z5rPv10tm46bNPbc4nZA4nG+ZW23cm4CzY+n1grWY5PjaanC/9N9/h1sxgVKAAlvphy7nWYj+MKzdHhT9O5fNb5TCKXp7qIh7jbTF4dznYXmJc7070980lPhzx8Jqdz2uwf7psXjlPKj346lOE5mcsEnf795UqwH4cvtpsXJjK2093mv3bkyg6FlFrd/URO7ZwhAMbd1ubn0yvnp1+9enUtOba6eKK13tqRNHpxqX/6lBzv1ovRa47mWuT7l/xy5yUbYbL2d7P20o/NHJ/SLcP6XzOt7+tf2xY9J4L9Z/pHi588+/RgxH8+mL4mX3F7okdlzisT4Snqzp7PdP29UiafnJ2D5n/q6Ny/v/5k2lUtuQW7yz2ul/ly57P1V/ryyrDmyn+sYnCX3MyVQ/h1Q9Ru8upN6vnrq1cvkjHXL4H9XgvQ/Mu/HI9jq/F0Pp38eFU+RfNdwQ1mhTp9xXRm/vS3siIIec7rvWjQBW/79F8tCrhz58Q+08fW4hN2tC4v1o9m9z3d9fr31avRWN2Z6XJ7f7KQBNmfTg7unoKw7iAivrm9f1enc+fl0vKDe4d3X8z+sn06wNeTpQ7rQqd8srd99Ob/WTS/MahNw4DNs8ne3tPJzo/N7enu8+nx8JIO2u8nN7kX75yNtn9v7/Dei9nKPuJ+n5KPPEOFMYP2brstK3f4S3N7satTItP/6dHi3CCPpq+m8wVBOIJxi2bx0+Toswafe/9IYnQlLlchOUTifPpMYpbRT2ZbxuTm+urkeO6fyay3gj+dE3/7y7OxlteRf/snqU5NYmuV4rwk1bl3eHIpcxu/Vst9fO2L2VXXcmJezAyudaexsXng+419VD8rtuPJwK/MihymPq8Z7+TInQRXNHeJvn0O5D5fGRbse6nMYy3a3rnLW2jXZ3e1Je6vDOhX6y+YnEyKG201+yeQocXu3RN34u6Jv7Bet5wOoJm9zQDztT999apemqcaf8IafM9qTPBktga7nb59yi+Gy6Bht7XPpF9RrPdPVLW0hHSD2TR3jwe3b4ppXiqjfzblRvblxEvS548dpKe4SzalMxfq6elvtyb8Gi/QfsYXkzvrBbIFtwDLXaqSjtU3L/LokoHOX/f0+Lqnl1xnFp9G29KlJ+/y5/WXmnxFwZq+tc885Qtb058vl/K1+vjH2kj56rFPDsLPx/7o6b7XEuqt7l9AS3LwEPKxeLr95amw0Hx1Ko4ndrc5PrXFUT29XOfR9ManthD+zupDOr6v1lis/7j1q49//on+LOY796qE1gfF/7fh3Ncn+H8f0kf8/4f4c5Y2xZD0beu29JdvHhwsX5BwlMXx8GBnm98E/cbLtlqlX7+UzbR3eCS7afsWkHobBKtO7uar6e72rVuPpruzxXI+e/rSjKLjrCaZi8Xhy/nOCnj9dHYAfF7+zL6syZ9myxfg6/n38OXy1v7h7uzZbMccU3mrMo50w/3ZEuzZ0fzw1YzM6fLFZGl22bPDvb3Dn0i/7hwe7M4sgXuLD+1Pl7++dcttNxentMBaPZ7LzuGurtNmOC41sAEnTw9f8avjJUKErazfu/r1bNHsaTDGOLvdCkx+YS66o4zT2T7J5lu+noPudW4RTuagp9t9if16Mg1ufjqTzafBx89m0hw/4O7hzsvTLDUfuqfFP9Rv5rLGZZPOJnuL04VmCHtB9slzz6DnCoQvZ/ZBfnsw2Z+eBBDOJv3icG9XFxwcnl1kr2C2XKye7mA15OF8odu/aZ5O2TAGH5zKApeFzt7QdPYPCRXYCmnLaczZq9X0DCpga7I4fLb8iXd/vJWaxdF0h7107Ez8NGcXHaz202Kxeoonf3z4uHn87e+f/Mfnjx40+vq7R9/++8MvH3zZ/O5PzZM/Pmi++Pa7Pz16+Ic/Pmn++O1XXz549NjqY7749psnjx7+7ocn3z56fOuTzx/rk5/YLz7/5k/Ng//93aMHjx833z5qHn793VcPNZhGf/T5N08ePnisw/XNF1/98OXDb/5wt9EAzTffPrn11cOvHz7RZU++vWs3rT/WfPv75usHj774o779/HcPv3r45E92v98/fPIN9/r9t49ufd589/mjJw+/+OGrzx813/3w6LtvHz9oeKwvHz7+4qvPH3794Mtt3V13bB78+4NvnjSP//j5V19dfMpb3/7HNw8eMfXzj9j87kHz1cPPf/fVA25kD/nlw0cPvnjC05x99YUWTtP76u6tx989+OKhvtBaPNCzfP7oT3ePx3z84PsfdJF+2Xz5+def/0GPdvuKFdEr+eKHRw++Zspahsc//O7xk4dPfnjyoPnDt99+aev8+MGjf5cye/xZ89W3j22xfnj84O6tLz9/8rndWENopfRrff27Hx4/tDV7+M2TB48e/fDdk4fffnNHr/c/tCqa4+f66Je2uN9+w6Nqjzz49tGfGJQ1sLW/2/zHHx/o549YT1upz1mCx1qxL56cv0z30wI+uXX2jM03D/7w1cM/PPjmiwf89ltG+Y+Hjx/c0at6+JgLHtpt9fJ1zx/skXlFmtUt+/Lchr1rL7J5+Pvm8y///SHTPr5Yr/7xw+NtYkv2xR+Pl3v7FoVS5wsAl++hBHBU/3uA9anU/11uP+r/f4L6v8vL/Wb7R4fzZfN/2TV/nMwPpovFP1by95Pte+d+yH76xKoDpflO4iYnlWWL5vn0YLrCkptq2T/ap4TObYftllTX0Eq878wMLDd7LkVBDV/zh9WHjhFU0oVSmH9/OZuvdMXTl7O9XTTF/KVpOamN3emRNIhu/Wbr2Xw6tfJADWUaZ7KzPFe990S/OXYjzz1E82LlycjmOVhSwfhXlNfuXwnm30YRSs//OH1z9zS6/2qyd6eshFtMlz8c3b7THL18uic9dOarvrB440/nb3j7zoUqttMxJk8XV+f5Xl5aN3eSjTtJXG69pmDukntZSOk0D/LjaejprIrvJ73Cc7MoJ9BMpmcrMj/39fPJ4gcp9vMTPHmq54fLs+v2p5OFnmyXiMSL7ePvbmsm55Orx4PpkpPLz343mRKA0JppWDnbq/l+ej7fM+cKfr6K6f6b/vu1nPWpXFp8a13Mx1cf3Goczu3pD86PYtuPz5GBuvCpexpouNt88vJgZlFJmS7T+fxw/sklyy7bTwfrZFftT/cPZRouJ8/PluXSZT33Ls5Wdip7ef2W3db+l2192wb/5K+a8vef3JGZPT33ZNf+9Hy698D1fH7+Vp/Xa+TDzy9ZFU7sX/cO2nXnZ/X4f47tX06Wa3eyJNjz5zVhs9vjuOU7dy98Zmu8APfixVcAky9eXHzrN/nsO5xUOTRlvFR8gNLp28GF3LdBX3tgc3m4cuxi+XwHMso759Lg+xR73/beJQBAKWu+G871svtseJvs+oHqw6HTtSmk0QUBNNOG6JKPoafCcch56FJ2vh1SMXDyIXeh74NWMfsC1VUOrOn6GKNeXMvYsc+5bbuOwkCfyxmH1ukCl32nN5HHX2Hf5446b98PIJ+0R7q+B6mnn5VvMMU8gGvqIyDPYXzGIftBc3BuaH0XvJaACpkwtKHPsZxxG8OQ2KSZyonxNe58x37WZ3yIoQshOMOJpVS/PL04pwOgjUlhTM5jA+tI6P3phbS9Bus0mF5QHDzwu9aVM9bZ0X4Iet2ewpHRGetEaM10+tq+i72OjIZv9UXXaX4Xrx30Vl0MrV5F73o/usRbrtWO7VxKmmfsOi/jWHs79K2etNoV0eXU9kAoB9cO3o8uhRZi0Hr5rG3b9Z4dTdlUG3RuioGpvHbaEdk2Rzs67lbQjvReR4QtoVPYa8EplaVMtdoVzt50G3Vchy7EbmxknWVNWntYu24AeRh6vZUuuSRRVJw8LVHrNVn9KmWd69EZU9kVOcl90lvWqehYRsCovU7fxYt1crQ+EoRxYMOPD8zJDexhHb1W0xi0L/TqKLnVqSm3m9ZAbxpo4AqdODKypicxoXXT23arXapZpTbpOEZ3eulfzvTuma1Q/2y+5mfPz360Dv6CQt3emx48X77gB5/er4sNz6y+c9bJGpvv/rFh2d61Uf88+8vJF1hmf1mT75s0v8UoObbm6t/P9XsZHStbbl7//sRC/C0W0nNdc/yDMjuxsuTM+vpk7+CTu2ZoYWBdYZS4mxslOhiAcFMYkBBdO4xaJZT0IdAkgLS5qNfTcW6d9ps2aSnhdWSiTqYkqQ5UOXC5zwY3+EHnIeckeagzEYLElva+xG6xgXvKKqRuk37fx3SFWOs02S7qwugHytEHnShJmRx0r66U8DrKXmpXWkOKunejmj9T5ih1Lp3r9PSGyUdmSUekYsY6Zp5iRakOXRhGNcdWQtlKtEpQtZInshZiN0g9S+7rjJeSKgQqW2V7dMQuunG930UJV4lJ5yXg9Xo84GBpNCmRUsI7bAQ9C5Dr5Np+VF62ukpvQjJeRqEh2rs+mMCVfKsslUGWjOeFMPq4svN6XYO2GBwPEuu6jdc+1XRkq5QmkJQt9R5suyHJTBhXzz1TlnFjSkivcpAtlFa6oVAd0MwMMWuvyZ6A8mFUJ+lQSE5G2VVgvaU62hVrQ+KYlFpUs9Xuzg5IfBg/IFHGMI+fQiddMYDJzthXMrW6rtjHWaNpCi1mRXRxGNdJOkcsXJKlIBHA0Q4YZi7EnMoDkj1WjRYkU3Gcxreb9vuAayCrUevmTPnK3HQU5JRLkallkPqS9ZZdm8d1kh5Jryyhb3WM5TJoq+mYBDZcVwkhvQidG1Sjtr8fF0KtbqyrUXlOu8zLwNGZ6h3nsdzzkizJS2ZJXuhT4wfEdk3IbGRJFjlPEkBUYHDAy/NBMTMzDXHgoI77TN6oT3pHcYTs3WyFDpzu0JbuWEdpWIfdJYGfrxDHsrg7joVOiEzLAJCf94LQrESFTB8NSHVX0tGLo1JTrgBbRwvtgiS4VVjhHVAhVZ8PL3sxDVjocjvd6IwDh0OL4XVKZUAOFOhL9ejPII/ro6HyyxoqfsRQ8f21DJUejSFlC8GA064Zj57IhghsMQoAk0Ryx4HDypa4zaVjp+MiUSmxknX287j/JQteR4MD2pswGVAi0hoSF/IPCkNFNr78Mh0KubgymMdNeO3UyKyllnTY2PS4mVQN9pUJ76jjCtgzepo0PmPorazOSgZCjxqVHqWwU3pS0rFSSbI0IqU6gZuM+7hSzTg98juZSUuljz6bpXtCX1pA8ugCESNZCUOf+nELSG5olv9jdai9dE3GZ5TpSfFUKYclJPWiZXklOdYySkfDV6xnohBKnhHqhgkhZAfUUinWpBYplcuSqDleEUeIUNJRutvJFNOztthDgTo3CcbKWpKIz3LkZVJIe12x3ZzDnWtbWUKd5GDWYss+7TR2OWG9NVlsMpmibM04jKo6WPhkq0ohrxx5uYuoe0lkXVpOWIJaRuDK7M564aNLjBUVtKoBy00nFvMn4U1rt4VyJTz8IDo6erUEiUZnLFUMOwuuu86TbiCfQUZKCnWkhgpJWQR6g7yCKwIqmpbekUfDaSNQpizTSdaIphW7WumzXmw3bdCUrlD6g5SlVk1aGfNEIqDX/OUJpfBRIf2SCmn6+ugdxPO33CYB/UGGaEBtENXW/yRgM/6N9FmMeTREv1F4321yrbOY+4DPJAndmXmvH+CwaGbFA2jWfYtykqHZ5ivGlTWmQxUjbEDy56Vv8OglZeSylEJZUt31WpxVHHb02YgPUI6ryyQDOyqJKWPW2BLnZQZFJ1CSWP6bjM4QL1aeFs8m8S39myiMdhFZN2CiSxBIktSphZ7ocIANSKZ3G0fGxWGDwkEmtO9hUxqcJEGLr1Na/vIVYShscaUlNvL4+rawVUpk6rG0cN6Th0EHSqeUUlY2CFpZK6YX1yU/tr5aKanaNvIZtKT2BG61zA251IXglBtDPEjSTEvnR+fbWkhXGh1dIMcQ9dPj8g1Udhf7wZFwkJ9PcL8rFG+1HwIxaLlWEquU5esJAhJXbnepFYjTkB4Z9GxXuPGOqCf/OXgJ5EdLS8oNYunkoBbr2xH9geBCe0basRsdFz3qJQK0e6RJHApC9pCeQMZIqoK6epgMaWIO2soXQ8DlPpMJO5A+az1WZ8At1byyPLcyeL+VSDLoAl5pGwY3MqzUKFyonQW1PFPODEg+Jvbla5NVJwsaogsX3Pjyal7Ojm1L0JEAt3w1vGPssypyj13nSQcOociZ1du3Q9/3eMGJsI0MOKJikmZDuQwSRnAx6M7aFUTcRtbBJ6hDu5Xx6jvkdrIpEcsqTUH2nwxXjNw05FFJLbtRWz17BKXOr/wKuSBaP0Lz1W5A2kR5zViswY/uBsmESNwCV7iXoCTxou8J9ab/nqaH+6c2PWRQbGB7vIOwPYQQEg6ysdsUUxHNuVNJHeeNQq6DviE6bSQZx3IAZIIEV2pNYvqtjg4xuz6NqWPobIi6esLfEjk6ZZEAlCelO5THzZMPDejNAVaf0eMmecZ270hiyZHBK5cnIZO7ipdtyaQI0GzJCe9DzFeMqys1jp49mCWeLbeeoEIp5+uYa4c61jkdV8eDDlqCqKPNWFJSmQ6iHnn0UmWhcppZqUGGYMI4GhVnhJulH+XPZPK9yDXv5T1DRlKI3y2ZLFJuHV4yqZx+bL6OeLYejUXovSORigOowWOp3TKX4tXKKpBtNGo8tBlaHL2tgPfVmynXYU5pzsU2076RJMukjpGsF4Iu1bAeQ2BlQ0FDDIUSFqZ8/XJY7RhUoMwdnmtcFRMr0LgSvbKbpNJcIB7pLbNZ6grtbEikos5G7/IVh4LATU8nCT0gMX79hOyX9kRfjZvkdQedXzJw6aIlWY1L3pbgfII8R9qWAHQMvPOh8FP1AtBTycVVNn90HYIEgYwiUBu8fo2IhNB5Jl9WJQuIT+MbQIYlQ3VkvrqQGXKVMW7LvZZqg91JXnS5eaWdJJnM4sNJGN28ySHGHAgFIjlJokFGKKvcFakbdldYBSIIf4/vXgJwckIIBiSSFCS7penNgy+Fg54/Bkxt3Zlgz+h8oVLrZI/C4SP7CfQU1iJEbcV8tVIkmXh3kVTUFSZqL9dCgkmi2hu1kY6q3mGCD70UkjrqCR4lGRzEOEeFpIGItINl8EaMdPkAeilAj8r3lvDrojNhml077rqBqsGQ61uJhB6giWwTLHYdv/DRKPmljZLREL2/ZkCEtH0E1SWTO11ESJXhEJ01c30kIGUGS7AihHRMB+L0ZVS653i2gHw6MrejLgCRz2hxBpn9LTNi+3ryhLnUFg58Gvm4FsLG0e0L0EmHgox5zqRde7lw0m1yd7wvRZ83oe+JaIY0jI8rzyTzD2EK0FY6ojpVpCtKVyihKhIRGAf0sh31LYBmdaB1CF/LB4A4Tdqj1efKDPcW1hvWCBpZD9X6Md9iIDIKDk/+TyJVkOQ+SXB5X6aLtwYCqc7cTSmvNComIUfUKqRk3jugQ2xbgmNScJU67pxurmXA4sxhXB2HIKmYNU9dDCgzBfB4CCNXum5YIivom9zSKyIaCRCVJiyjDMefTaqlhZyuzG5vSelJqZLUHfDp3YjRN8imT1I5AUzAYIRzAzrGkU8YyvwShH6SpC1ZbjcufmWOabhehicGgYQ8yRWUHDbVR/H7i4rfo91n7yIe3bebBKRhTPcdLOrgkobKZOjS9QPJQfvTc1SBDdFkpRwsbYKplvQOZrm1MDUOZUBTruQGU6P5h068RBHIaU2kiod1m4TXZc7FDlO1J3soZzJWYedNFi61CGXNjtBO1qn3te+x0dplSXAyZQTzJeIGCanSY84bLR9+cmtNUCSae7n7EsfVFDeqIWg7esFg5nrDYckbroJzaZNFlAaQhU8MQiomGYgbCuRyyLRRFqWzzEIbAZqD8pdektdRhVI3mCZqPZrLAq7Y7J9E7UA55kbZngjkHvBWZ+FTMgzEVCuU12abUq4fllafSOFiqAOZLrOhW3GjFU2D5b9k7xOzkj0SSOIOJbpzK260ph1ZIyI6Un/o9xigeM3VqYwbrWoAaIJBk6MWIVjstwVF2lcY9E2kpLaLlDvAA7McB6itCQDXBsMmK9tbqi3TvYxAFpZ364DTlrCRrbDJ0nqkrwxzeqcMuIA9yX9JPt3ov6e94P+p7QUZARvYC+8ghrwVNrIXIvjQKHffDaEnsNdpN1h2qpLefpNTgeVPzVIrCUGbMWi8CTzgWZTjbiRwumRWbmR4TAA6TqY+yLwvgd9bfpODYUUmxHEC6NDjVGnUWSbAXXlWG8wYg78dQMBjmLfS3hgthFG16DWufQMJkbWqjCknG7gUr1KGAj00cwWY32iNwbMCc9ak5arwztzKiwN9U468kd2xgiD0+NfSkXhW2h2SmtLvZZhvayOAhIXWWiB/so7AJ8ml7bRRkJghb2S4FvuC9sEQfcstlUMW2Xn4iB6JnDbS8pXe0BA0PM04cdJ5UkeZW+jIdBudkWLgHtyuc+R8DDFGXgK1R3hhHJMy3ou1hG69nym9rzV8Xy/9vW3T93ay3psweHfi66Mp8kubIv7mpojfLHJxfT35vhT7+7JE3pPlFDaqxL+2offO/IlSVr8P7+f9uGrvx698Lz7we3HX30dg4X1EQN5DpOY9BJTefdjrnYfm3nn08F3HN28cf/1oUfzSFkUYsShcvJZF0W1kUVwZ1X+3KYd3mg55l4mafqNwxWgCyUUXacKXvewddDx4LQcGnLrySohnCELAOVv3RBKfskKiFX5XoY93N/LHo/6LHvWdXyLvKRuuNahkpA9ef5O0pzXZ9B1FmxQqp5tkPaF7APkNFrOl6PEmSU9vvbGldAE4EkIJN8l5WutLh90CWgbrPN4k56ljiAnc0ZpTJhB0ETdJeUZqMmT48MSD1bhWCeO82dpJrFGqnzxsXX3fu+plbGRVDX1Oq2Ii2DaoTehad5N8Z4xUFHpzS5yVNYe25NfaMN3ZDzTTlPGTKNLB8QsVZnezbGdHL1yAhLg6HbX8DpDgTZKdvsfnh9rLyqj0sjM1YP4muU7AqPTj1PxoAhqM/AUA9U1ynSEMVkHtrW8uPq7UEwism6Q6rc0pRTiw4kh/UWxDq9+Sd2+zVOcqWEkRbHDA6B0MIx2UYTfJdMI7AlLPQ4wBqBcuO1i/bpTo9MHa6XaUmrMXIdSgG6j2100SnZTo6/pIhQ3FQjINXGaDufjf0z4I/9T2wc5G9sGHz3M6wPODti3chy0lZEgdehPn/iZ5Tk8AP1P5R8lOksrURqMf9FCVBWwUXczeYqEByUCPVkLjHWWpqcqTbRQNdR64eOetJjUiGqm9gF4v1OQVG4lxls3J3omrfrT0EAahCRVSd5M0Z2ytutOK7qkNaKMxfvA+qyXeKLMBuU1HyUE25j6AzRLmkdhl394oy0ncmmInkl7JKizRvzA51Di1zcrAZfoxIO8rEh/Ca5J0IzpY7eONtrGOg6cUR8ZMD4CfPs7UT2aMhptkOUlJdXKdYaGgxXQOhFtJU4UKnbhRNK8Fd6tHDxRia/Iwk8oWkZEcy+Lj9u0zjBupHFrJSxYQYTa+qQhMm5gBdT1vP4dszxWJOkSOGCqyg3hLxkNJ67GRyd4FTdIYAgJJFxk18lMC+cjsuhtkOakNknChTL83eQgcX3qeosayimWjk4WXn1oMeYpTKOSRfeOh0INQ6gZZTujyBhwiY8ihmp8MZwunQ+vbG2Q5h2SkrhSiWZCG2mI4+DJ1/h8tkV/cEvngac5VUT8km4mCN7hp4P6xLvAh3CDPSeke5HWUfGrv+iH3clQ6zmC3mVSr+AICxjlpneip2qRCjjKYQWc73yTTOVAfSDIuW4IrymGzpAfUIfEGuc4B57yVEwg3T7Zqaom6SEGvL+XPRk7FMACPkagZrLhYg0H3J3kJLXW+Qb5zsOQpJaXeeJBgGQoETEjWhRukPDUwXFq97yghlv8jY9JT1gORlbtB1pOBIT6VLdbLOIWiq5M3jHL3VY5ywzWWpY4YZrulNhvSJLQQP0R/g+TnYFMm6e2NMSUPVnZLRXhKN0mADqsp93iYkMhpQC2NVgZ+5f4GWVAbGDpR7d3oqQWCoqfv8ZhLpo606RobByu1XDCLGXccNDN9VY+UNl5j6LV1+iJ2H7QWsFfDKTPcIC16PLAEW4AzN8m2GMg8woBQ7uO8+RpDuSCbBR4DI32xjgV+GG6QJT0duAOXpsPcRRy4TB15CTzJ6W1mbJsXkWSEPX3v3VCabflt1pidkY0x0GtISu51xtuPtsovbat8+ATq2R+ok5xRBWIfr2He6fzb7bShM74ph89AgW2buhukVc8PPMDkQyJTnmxvxFM3SLFeGBiaFepNgadBjZJukG+9OPAADTMi2afO9/4m2deBKzWU/DsaSUTst9bIFiU9b5R97ajvzjAOJzIARKkGGD17GRXDRzHxi4oJOo+/g+xrKQnW0xFu2L4HnpB1UqJk7UvXBUpeOwZ1/RAOaLg89AlusguMGmW2MxnxJxSjmQhfhAAdYFSoAsQyggKgrmxZ5fV3DRHPjXgkBrXuHHOQd1i6FPKUAOjTyQU0S/0KBlCpxtcvsQT3ok4+Od4q6UQAXN4GkNUL5N4VjwzY7zbIbMY/MV6QAb4GPXZpzYVA7EjXyd3KJ9GXMtdDsb6EJqRH8kzbjrY+cnKGEtaZTZ7Q/YjA4bBubnKVet2JuKpfvQHCWKHUH0ZL0nfQRME/dUppWAaDIezMwfVZNpMEGy2f6LJTymDjyUuk6doIPmDN2zQFGZ0RxEqGZ6MmDiUeEt6LSI6S/gPuvGlZMu631qYAurdMKiDwA62/KyscYEaXbdwOtM2RE5IvCSH3cDL0RvoOu5aeBfBQGUkMGbuPqKCDayKEtdBCeWl6e9KkMhFaY5iGFKHkopADB72EHIGB4ES8XEJI58j61KoFiMIAlOLzaJUqsmxto15LB8NvdMeMfGWPIgcWm2BmTxQu6XQPMHbXxEq0DRlaY9A65cmoCiygu1hFPvAQ5JMlREX1XmGYNMKP1HMeLg/ma8vh58NholdHCkLvAf6PEKoeJt7o1foeeuIV1U/5tiKsloSFHQzQJk3aLvw3DTHGf2p9jJLdRCGPpTtdvmabQdhenPXTg3/8Eou9IylCaxnACS7RFE4yJoPNLsUYzXl0LjKcKzLo1ogx+OrNW+VIg5z3MLSVklpnMyLNU87RjeXjs86DgxgNThMgKWQe2q7ysjWIIWog3OmOu8lUJR0xWtoSktaoE95BtFOexA7qIa2CRGWXz7cAKA8sITEdHkslQR8Y4fix7ErVa0cTsk4bXbxA3Vq688yZygp68bSaXIKXtYO4rYzlSfZjpsOv1x0TrNZE7VJb1GvAKYTFTZeAruq916H4PS+/tw2wBrYtlUCjJ2dbAjOfqrzho4j4xUSEPcqTub497lj75+5MHIz0wj132WI5WS7W9b79+bSx7v7pV6+u6Ia7msrun1sW9c/O/vb2dzi/snbPP0tyreuSezzDcDpDuuVKrGk+msirv1yyU/72WfM37ZTwWfPpp38rN8fZdjzrwPvnv/2l2dLM/qb3Hv9SNOK9uF/1oZPrRhvzng12rjnv6Q8vjr5ag79pAM86nD8oxa9tX7K1ikvWt/k9m8NJq98lL+Vil99y060G+rn5LQ/3L//S/MyIbhrsm1enP37Fj1fv9ZP9w326Tz89fHmwu/hkTIXZ/cecyv56wad1zWAvDz5dz1vUmAHywUvGrC6WrrjmxTJT6c4RCJlAn95bd1wqClLVY+6KJyvT+TSIolqo9WZudka46G8w5LXXKsLzdt21kr3cX+9ib6yPtJSDuk1u50Dl+KpnbAnGZmD5RLJIWpAxtH0DQgutdZbrUnlbmQnIKYciF9rRrura9X6W6vo7RRfDCn7NpaJ2SsqeTm/WC0wuE/24PNZMPYkg20x+PBSi0QCd2jm9XKhQ1l6nFYksXIuyFelGIi+15Nh7HyuVrJHNtVeKmvRrrlSPSQnjsDUKIjxJkwVXDwmVvQw4WuhZPIFZU+pXQbxhFTRDCmZaSPtxb7sPcfKg6rv2IoF3v+YiyZoL9GX0ev0SI9Y4Idc310hULA0aWNvH+kQTaacPZYmThz1avwS+IxchyGe+mbi79oFbNQ+4rmyCU/RaF0OwILcoQ9wcPD0iiN0ZxeNNHsuTsCc+puvhgSba8iH20fW3hgHGwjXvTzUIrBG0tSQgVfUM59YDbeJ1fumbTPso6FIlmkPV14Ag0xApX6dmGWoOYhbxQ6zP9R850jmku+ZiZjKhwdHlDD/2BrelYWNak0n+AJIayo3rLk4ijHXNxbnJZ3+55dhkyI0uvsln38NyDNcuexs2WA/nrj+B92dJ50AfA1DnNM/1gGT1d/gAq0UDoQ12z6ql7fuwpRE+oNbpPUGTL1ofS0yDBayq7FeE2YFWkS3tJpJE/ljrmHNhhuXh0aYhnq704qtB54c/XXSJ10UEurURAfN7D38iCHD/LP7zt79cHO8f6wIC54MnJ+GkVeBDA965yYSIFi2Y0m9ZL31x5/hf3YafXza5On60P1ksPrlrnyYWw7/u+N98PhJxev10cnB8vT++Loxd/2oyn00OdqbHn4nH16byM5cHBNyHDghc+2RuIJoi0JNrn8xNXDfnaVsVVyBJT5DX0XyHQG7plSQq7fFW6KbdDp2nY/XQDh9C5sOWf22TYGivv1bXc94SNdFw5dDBNxG4jvgmjtZ/JV4QzDxVoplOWhG6/BYw7odYJgokrr+lfL7+BK7jvtHSFrYV63/NcmkdWlo6QkhXum+R3h6hpYFMm2g7nLQT+w+iELXDNzCn/HWDBu/NgQMixs+dpfKJJLYfZC/lTfbS9W2ya7hwdDx0dPzNNLf21kUHOiDdpkon5ZZmvBmWElryAuwOFSLtPa3QJoaodeJ8J07cBre9tDLjQ8jsuIHfQgj3bf2WTT77Sy7IP6kj9wEX5Ka+3PWNgA29E7rbUWkdh9ZANmfOSdkR4RLvJA7pgyyY3Ll+kz0Uu3867eWH3n+gtfrvdN5uNCN3zfHSJssx/NJxkw5OYBdail0oYtOJ7D9GAT5GAd4iCuA/dBTguicy95sIqPh+YnM0nk9yVnsP0JamkSCae/g2SnGeA+2hg3Sg0QHm9AGk1vA+3LXNEtyJWnt4j+RswPrcUxyH49GFqoO85qDlpj9fP4C8HT7AErlNBLtv33FmOxn6Entfe4z+ohmoJT5eZT5BaQNePfexJ7V7oyD4NVfHh002UHyXMRFu7ihLHKhvoI0xrRvzQFVWVzHTRDaV0/X6r+448F42Tte2mxhI/pc0JkOgm6L+DMY17D7AztkoUpTeXQSEW4MI5jQRmo3eUd1I58+uBN1L2FBiMHhc7q7Ng/8AC7OJJenzuwl8bHDbd5xXvd6q0E322qsiufrW7sb1P/uLrMM/o9v1i+yH9+Oqb8Rx9K4fy0GRIDFu8gaHb/Ri560qzLVwpYQBqvMUK04IB9y/owYYrvZeo/uBru0kWHpfBXx1c8dHfKZSy1P/0dK/mPo6VzXgTZZybz2lI4SSYX0Ng8RrWcvHkxlBvhEhyCrE36QhOamckrWJSVJ73FKPbP3UU0/Oo6zoJBQNrwk21BVgiSCdSV21xw43S9ZXJHqrAY3UBZyTdZWXnoBtrpX9UF8coN+iTAVAo5Y1d1o1KixC1frI64kHWlbT83eIRN+dlwehLbNuFmlIlNrAWJngu+rl+uvFpcqg0wP1soaltunSxGc/evEfvfi38uLDzb14q5mlQ5T5t34YZ5aAjzZ56wLeDnTyjrTt6nOVGoeCpKfNd6KslZZRXcSplnzMVesOuAque3EwiUlN5QBJDcxZGSrM7IaqtPnYWpU/GzPE88nS+i2sLvInSj4pD+lsC7dm7rpsdHpDRZSleVrnMhZL3k5JRVF18MjQCGb6eaUUItSSeqhQjplSR7PztnPUMsMxJknrAERXBITHRaw0Q9HlcI1K5kL+qKULpcST+JEnBkWQBsRyTmA+pVWQl9WTyXmXVvK9LqOOjt4j+tfBiViGNYwxPNNEqJfn1kqkYZavaZ+LDgk8mES3jNhx+s0BLsiIUoZ0Xf5yWjeeXjfudWeshDRuQt1pxkNcc7GUgxwu3pmWQUJZukFOu4RyrArXPQRsxhQGExRN2eRb9G79JLgpFb8tOppWUlT34zyW1B+BSLAzsqYYrJC9jBABBfOWX9FNc38FRakWBfYgAmV6LzImpHCrEFYL0QlhBZIyyUqe6fIDO3PVY1JX0nlPT9/a2uhlyQMj0SyXoywu1xvSukcdjx4CGKAM2RvmHJakNQ+m1YebdHAUUXpyQ3pxmZh4mcVgobDLcoQ2U4c2DWUoicPXcjhwikh/j3Ou6pWzJakm50O016tqyB0rY0Ug2iiwOejpU+xjR6SnJPO2IyILg2ZERBPtpSGlEl16SrIG42HSxhvko+UOkgUd7qx5yKZw9cA0JukZqmN3RyqLOpDaQ+m+BiJ6Q5R46Jz1NYRTs0zwB0IMwG0CIc4Y4zgZsl6SG+Cth79CBpQ+ZfurjDdI7Ns+oh6Jjj8UkRhBrOvLcowgkXDti3WKB/hfCRBCjAtxMMU5DpqDalzEN91ctD6yu70L2JsdVTSxioFk7X3jraAKWwITAuKKBGNrgMKvR4xI1skeH91YAUoEeJN5RK0zB7Bqm7ZFsTesS7JEQx5gpEhchaPq1lwMgRDNICUJoF4mYNgalMOVGgCCZoQywA6YfsOKSy1CMFANy76iKWjHEsFkjLkL95/2eE1w2Xc2KJVtAWbeksgkRWP0k/iRfqRCe5SmNkbQ5EiHgToxM7zbqr9EsjWhBYzsELpoSQBjplsXiVR1+fLXvxiNpw2og6pTYmx2/UBmO9cTQD1LYK7cEqIuCcIJycKyn4HXgdIRkYsFGzIF3Xy8jExaYXpGiOmddN24m4OmMQ4nZzKlgy64fDkQSUjaEnOnH6s1ytLik37oQ7U/kzOiQQDG6LQO7w4TQK5SqZ7aaJTijogsfJsyBOmTUHJucX/jPR24Kd1CnJksGX3RVz3g8L3alIBQUowkRVR2bJRp1g5GlUMor4hGlKrZt7RwwtEFa4AYLd8h/KZOCqTHR4SeA24aGuDyNFUXSl6ylwZPGYZnqeRgIX2dpNIHhl9wMEKe4K2Mkc9FQvXSTn7dM+l8yORzdM6VnBkwJ1FBfWXFBiOY7jPcQ5IMvsIEwm9JqFg6Zxhczlf1o0DKBHjRLUoAK4KrKBahuJT+4K7y6zM1dbKQfNQzwcRQXiwjuIcCAaZXyhgzQQm9f4nRkpsIjkuL6WuX6eBBi4LGr9q/MAOdG1o/kSSncRx0ug4C3IrwiIAwzaK0tOgwmR3srApfalVlA7WW2OSjQinCJIQV0+HV483QT7QekE4ehqHTltIrtXw7MF8X2/ri0FmfMuIzEP1glkfaeFQ2wZClKVq6YGFiajNJkOhOLqwzsXmsPgbIObDJIH6i+m+wZhgVH4WDrwqKCctgSMrq/X6MKnyMKrxFVCHePKoADFxWf+vsYLYlNdydqoWSPCl80laSBVuospBtQA93M4483FYWRsTzhHyyvlhaZyCD6EksSmrQtwA2d1ca9ZDp6I69db9CxiOah7QyGfo1s5CT0gYZSTDHyUUHTZBRDRVDNXJ7xa1FZQC9oSpKehoRZw0hZxtFkK9o40NTcEB/moAMX+My0zQrQpmMnzlQVtQig6BOhnHLPNzSRpIJfe2LZe8SfcDg8sTRobxra9+DUlfwAPI7NGGLIScJfaknXMLSnNdLwY/X4sQWRLN2i7UdKJ2eDn69QGQI+rBxZRgpSdYEzMZAdPaGxuqrMc2AgQk00F4FM4SUvqbTVq8eRKSWHFJrYvOBrrZSoBHGsNIc6SBpI/Yk9d+1RsWnhZIaI2IWqln0K5WQA8YNcXujDcIED1V7SdkeHq9DXnew4wCVUqkRe29e8oqRVOfxis4ymAy0pugg7abKXHsrlrEcDdnzQIT/SJtkMrZ4jRZk6+oZXPtiq0+JZgdiAYeOOAk4AkdYshoY5jisGMItUoTaY71RpHcVRzyeBYR58mdxbDk4yeIAJfnWqkmPYVrAZY72ZpPhRKPoAdp3vXySE21fxj5IWuglyjdM5u4mef4YWhR2lG3XcKfYgCkCvtEu6yzxgj2+prMATjUOn4fez3Is8ip9dXcaptPZ22IPENXp9dHqzpctcpJZIS1NtoiOyHaguKBiP+/ASjngLlCZj7cnkZVisVvM5R6vj7xYV3VxpSoIwgJ6CLRE8uApxmBkv5QgIWZ47Yt10Dp6ByMnJMgdcUVydI5z2dV7JEEabjFHWDCJuWj3EpF2pU0m0xrAhU5cGvQ3+bNAK7nyTA9seXxArEzXj3c4pBeBBCBB12HF7lhZ4vTXI0JJXN2UE50WMuSPqRT/HPkWfesIJ2Sj/JQ3hkNU92N1uHJExHU6cIAzzABdfXMfbR19K0Mc4S63xNOeosyEScjDDap9liGSR55V4sYMagvLdvSzGlV5Lb0Azd03Pyzi9tfjEQ1HJBLs1MNg1Ed2xtCuuZij1WbYJKUX3NDDSg8DbNUvZpBFLbkANareM0BAejjRwabuPm5P5WkP0tNLqyPKzg7IwAzLt4kOC2AjSBoSHydwVURuehonwKnpEFlpXCbJ5QjWNqO3jslWeQbB3lCFuWiqTLCDbmKkffU1nZ7o41iFuVGz172YlKZUYm7h9KSsuyXq15dKdAvyQMlET+aAvA3eFzx/xBfKhESi2z35k052CdFxM0lSpWrku3ZEhIGRsetGMzLOEhaRNoue4GJOxOfJJpQnnS4LjjB0a+KRnL2l7uVrdjUT4fUvllmEDUOAt3XYkcZxW90dGUf2h26lOrxtyH2SWUKLhirYhOcXjU2X6JUBzNa0s5eggQeR3mmUGo4nGrjGrfgYyMP38GTkKm6qIbEdM/TANLl11tAZC9JgdNXFkEZmWoXSakvnVgJM6jRKTJUnNRCO7wgg2i9tgwykc/Ia+RkBoTpwYZ0FvR1wSkhmQhkRpYtgxi6XOMFu13qlXLn0HQy01gfLAv6jGyrGQMaAxqKeRllaOLp9xbKKXxuPChqyYcS7kPrSMvYaXJnnIBt63WspCyRRYIYzUWAYoi3/0/fVsFKhGNmrxqrS6ZFEkicaXEbZsQgzDcVkr+rEt5Y66qEp/hhU+BhUeIugQrp5UIFombYqLAHogTzeODRaG9nO2sN1yD2CCzVRXU94HkYoArvWPoiocLbT7KvaLbx8D6KdCDwOW0s7TjIsVeukYFAhnS7aWERQVBgU0DxXU5Ct6Vd+uKwifQ7vc8DSyLFOVyKVQJ1bi2g9XBgqDsIAY73FQHSAaQ0xmn8YLFacrNLPYAgoyCq+i/VDJxEHKb6UJ/B2+aIEYwhQlhd3JGb4iF4X7jKig4w6RP1lbgPomQycCAQEImT+p2Um6FuxFkfi4JajkalhUZieYsMWXoEy1AzkgWZFBGI6+o/63lKrtaYjTeCtF2eK42pR49AhElO6pREtzQFdCbtgSA/UQztEy0uUATxfx9utXWXwJhLrtrLEP6RQtAlICUEQU1Geswfp4CYXgww0sW9Nm0aaNSVcSlaVIcMU9v6OxATbHEe7jFhgNTr5/S0oCeu+lrqKqF5bTfZHb7AS2iyOLpXcTcpnaIWW2KU6NZ7bt3UJDSHCAD++dKf2iXHX6VbZ56pcor/+xVojqKtj31ohSzIH2Jjvc1vPAl+DGFFPh2wZD96v6OVpaVD6171ZJQ4ggsUse2PGLiOLsmBwSeiDINEVwnjMCjzJQDwzWWrAoW5jaZaS6z+u0dGW55wY0sPQDVVxUqKpQiZQ4UD8ADolHCJHkCBKrjJdhvzhAzqykXiMrqbNaChBUKsHIxNDvwrs/iRfCywEqJCaLp9ByKd21s8eCozKY/Y0XugpG8YdC/6KtQJ0Czs3rhZ5kVACCmw8Z91X5Wrg4EkeAajqLOez7uYR/nAkGs0yrAcBHAtVaIcb0x8Cr81QStJFMsAMIzusmwWxoJaGiSRWcTsc5VVAIopdBeKEw0L7R7pLVB6pOd0BgK8losZBHWGVVBrIWFI+gL2tL6vqKw4HXYs41oDqcM4tCpRDXa3aJoMkJDqokNe3OquOPBmlTqWu6hBhpDB76qU6IgIE63I9A/JaweI7hNMGtkBnotZX3WHBUAegX3Ra6cgwSHCXMIG+NR1ip8jAvqNtenvSy1pXFkrbT3I1rBkvYJIHS7ABs+aZY2sGdX0xXTE5nkhnHatI7ITYfaUpB+KBpAUJ0BDV5ObZRes6s24WMMU6ErNo/xU6fAB8XUYKpR21nsGsA/2rjRB7Xyf16cwH7QzNFcc1Hx1qyL2sGpBI/uKTV84It3LE2zV/qP7hwImUXMZcqmdHJGUg3IUxQ7p4MNiFJQxKQCnk/lJ2yDL2WiRsT/e8tjJ+mENkNxHVd8QhnOZCwJReqOXF5KJ1kQwTK9AKhNcqJxf0YGe9vYbhquCn7uF40yyCVDRgGzoS1CYCoFRtDU1KapQ6VsADPQes6tUAwJJHAuJDpRQSNQAAhZK6cgjhYLAwtw6WBrNObV1lGyQZfMDraQJGvAgkSAvfA8U0letqCHd6xEAMQcUifDRVkNLaUBLOgdF3GLc6LXvHrqBpDJUIfR13lDD2VM7L3gXTQHrCWx9eibO45uatZIdx49C0gnPXE7XrqgQVxrusXJBuYBUAM3kWF+zGumF9NkwN0R2wXgTFaJZaE131CAgaERHWSzrV5Y1JGbVUaqDihnBFC/OUVhlEwzqbAVv5JIzYw/gd2cokEvQT2uoAhSllQqJjkU9m0iQPHM6wHx0YnLbqdO4JoJK5ID3iBkxagAr9mgkEFtrCXqBTBwfyEgh3qrqRkz2UvkiOPS+TiSbwHyMKHyMKbxFRyO+g+EGqQR4yEE7crn68+IHsP46PFSTJ5MYHwh0rHS8K9IEcSF/RKRuEtk6GvGXOZ2UteHf9iz0HNUJF2NrxlqLTBGKVhXGonUDXb0MVDETzsHvxKOrURWfpaq7uyEi0VPQPJZDd2OwzKOZshfzjeOKMFYf2xfCWL0lapHS8Aay1YAXJ5EkBBcRGpKuRnj9V1kwAbD7QsrI1mvgWZxo4b2X5gKAk/dITF+35gMWudbEvYy/4kCQ2dE0M5iv1hKVxEvo60oohKUeSZmMBKceF5SvaAmSuh5GaQj+bRr20dFCqWjoNKIcBhAmWUCJSooMNMUymiqCLwVnpOtRZ96NuTUfQQV5PT6NBaUwpJSAD2PZV4EV2pPVjogCIvke4S4EGBBU+muQkSlgPH4E/0+YJBLTcnyqdjXuXQNFgn0lzAFeobE9ZW5plxEwMsfWjOH5iIeSkAf9SeJRD7b22tF+VceCx9BywS+s8AfC9vhIQXT9YFaOBrfEj8BLKg2EBFrLX5m1ZpwjruFWP6EgMk9EzFBOWLO0Gq52JOUHQoAWO4HzZQBOPZwCcyfELY5YBiVg6rQ+do/9dpBtkCUIBRwxXuuFVZEXhM8R0fCrqS3HOLcdP+4pIXgCcQX0KUkt2H9TFYGThlQ/gSZxgcibARbKJjPZIEqktDSbZySvEKq0gaZkRK0TtQAqIefWUMYykQPMgJ87TV5B6AOz+arCeZDmCE5wJMbfO4rFdyYIPsptc02CkBGBBZe1JQMumLuOc5LJpB2NRQbvAG3LcVdjggTaKwWWjifXULehIJr4tkcGyLKnUyiBytNtKhoitDrAsORlv8aluLE7SdxDdRP0d4L2mpi6V6egtdCAGOx2iTQgHbUMDMpeajUtRWIgIKg+Yf4cgcLGqU1u9gxYRF4HaZkNi6fCuGRIv2OpgSXkma2MewhqIcQvUPlOsC/gqlpVUgfM1BDKXrr0Yya0kH2EE+nxSdAIzl4tl80brnRfAAQI9S4ExW2uXXd3YEa8FccZuxk6W6JeUJm1Wgr0QNYTOafdCiCZBmRPwqKu78ygEvFdOD1nqbNn4KvvcH3fTGwAVkM+uwcGA3nU0UKMj7XHtGHln7C20BdUiViqTnnartLBcGcrGLaeMbq5Oh+yOxEonK6KWK4MpgLCsaqWgzndEqyViccXoY1/1lh10xnAYkltxDia64UrWV1zCqD5P4bhkUU/KuZQFcaD63Jv5x11H/NQ+geIhs+zoH26V4ISaS8AGdhFVkZnKLCKe2q0kgewwr7kWSQ/IDQIZ+fIA22V8VNZZT8FYIDVldHLu7UeSPkRVdDREHejZZBIrl0HzLWKpAOsG+BoKqGXVexeMFGkOqZcUSemX12wBUUpYalbyTtSDBpWO8oyhulQCxQD5KxJM6gEpR1kDL2wp69FzUIxk7jZ2FChTV42JYiBTl9G7VLisjDdp/Zo4FxsYbBMNFsnIlbIq4QXD3kPEoruIai7Whn6Ngfg4pRZsNNPQpSxHaBDE76n0o66k60139tXiOOv6GDqWnP1qqwLObKiQK7SZthNEYKUtDaDr39MBlJGvQ+PfDrYCmpLK4Pjor3/019/CX+9u7q9vUR1rRgVFy+AgR4oKKGklR2IFboTDu8qtQetLUlso1I4z4c2BepwymbG6lEhkNuuHc5PNvs6+Sn5bHTFAK2sOUFq9G9zVgeJGz9rRz6BJS3scTIQj+geuLHd5pPTJEWLvqCIgaaqPUG5IRqisUgJ5wPL2cDuEwQrNe2K+VR2fGVtWIyYVNZDgwp2z5lFVKS6AJhLCNOCyUt2Ekq/Gi1R0EvftU2uNxTAErXt31V+XkA3mJcFzY4AoE1ADIXYSe+ADLlSrVskNmT1E6wFawdlKOVqsq71oBwy7OjUC1tMXChcp3HaocIlcSs0lRAqA8ogVkDVrXdVmHUEbgQlkeClkUVWRWwbDaAT7DQobujz8TGnzMqEXQJxQgSYNG6yneZnuoniDoj7M2ejHcaWGLYUFgh07VEyQGQcPkgsWIq2K2oyTM5UO/+pKyzfREZLG8mSculxll53F2XVjvFXpWg2X141FbjoTvfFU9OFfkKaos9rAdWU7lmqQeHVPUitkw2eMIRkwdFo8WTSqTPYuVkCiLTgL5A3iR2m16ONgdBtkAfvqUqglgpWSErHoB2M+6bAwSyw9PblQvtrgZBR4dZUVSISP+iEcT4kR7RRjlAT+kKsO3Nn0Oak8xFDp4XWgDKma0ur4cdy6oUA6QySAV6FfHPXBFY0UeKoBmCdZrIHqFp1o0qkhrb2UrQv6CnPWATLiFZVJY0eJSE8Sh+JaymnxpnLXrhsxkaqXB0IRL7B5pPdQUdZYVabPxr9QwiG3BktSAazSI/RprGE6wREJpqwlAaMWhrpb41Zv6WSIa3pcQAIkemeUjOY1kGnZsNA9Z6tcBQRMKkobtqKwGejkAflpBw+r3K3kCVJWyG5NCYoqxBiJVPDVJqgql5vXqlenQxT64wryrkoASfBaLRK++5hNDKxgoA1Kpm4OqhsQCSU5Y+8MQmwpdtxpOfxA06QAS33WA9egUq0FQwW+AAWF4+yreNlgIWGdyjgA5IfmwsVqPKqLAZUQmkxWtdbphVS7gYJfvDtD/fYUH5SJ+kzLRekQHUrcx5HiK5QJYX/zi4mw99SXx4pzhq3koTPpSPZpx+u96BRxCKtLobaD+KbDpYkDO9JitmXyEOQcEGD540wE2QK4Zc14htvjPUNp4IiOEdct4yBWqB3IFOjEdn1V02BNcFaOSUa3Xp5FJweByrOeuNnKKSjDL48RDARELKVcQWIZvZHhM3JVTm3XQp3imBxUu4n6DBCXXVVTQmq+tSyOw2MGQYEP1K4ZEmXQGSy9p6TBWZEO/BFlAJB4TjKyEEnmXIf1BkNo0KtTrmkIeZQyHwaKbITUQExIivhyOGsU22EBEKHBQZYyDAM1Q+suxSzgGS0jQr6AKHsF2XD2aPi1eLa8Z3BD1ZZZ3RxoTGsEFNqqx5wZVUbco8ZdS1i9rbk+PE57RDC1eQx0YZxcss65GU58HysurIjaY9MOFGYYztTS4KECRyScC+r1PHw4FsGCQKoHN1jm4yTDMxu6s2ieXr3MpJ6D31V1ZjCCIKhw3EEn6xtSSbkMxsNvhjULzgvcAajA8NHn/uhzv4XP3d/c5ybsg9CnKlym52gdPy5sIDqfjeHTQ7FaUtIBaqGntS7tOKst2TdKRUszucP7ACaUrdVVhi/ckfFyXeXZSsrJqEEsAacyVH5VkkvxQOIiiAsjVNKk0QI5oyrR6+Hkow0yvrrrawo4MK/QBNJWmRrvS63BYNI5km+CuzpDBVVmhzrDQmUj8OCRJU/gUO1zXakM2BLaK5zLle7CaKmAmqRMe9hIBuMUI6ie2+quGmWVJx8sIUmMHlVWOmR0ac9ALnVTs0Sr6uAVFbX8owFIxBiBPnmdkI05UKJTt+uABlfAUQMMenjNgQZoZhTuDRUfA0AzUE9kK2Hwgr8IbSH/orSNsTfQ0OhLnJDY13eNzhDjJFpwKqLlw2D8L+PeLfEIcJgtsIEyybNF9h96G4iafHsBzVzRaaK+8UM9KDRHgXMmM11y6aGU8SopfqeI09j0VjTGXXUpvEc9aZnAscnwSQH/rWCyMOca9SfRD+pKcIm1q2M9om8NNUb6KMI6nx1ZGFcGZUiRU7pnbTNku9WwVIxMkmMxAQYfxiLoiAeZ8xBoEGrDfKlQoZjDtOHU6pF47421keLsUF+pEwvkICWLHgKbi7afS52eIArtkRI9p0O+lo/VhrIBKbIDkG+dSMzaoX9JmcJJK4tUy1zHqIhxdMzDGLVCN+4q9NogveGle9gyKe9xNQAFaKdMdtyczjACcE1bnqjyQ+1aOeLYkc4kBkMDr3WpqqbIFvI0Ejm9/CG9/Vhy2gdIW3V+cM+BRhvdcvkoGecT5AkwJwyhy4ObpnIw1km56amZia+ydGA+yQ5mkjhQiZr7RcSqSnXbpdBS4fNruEQtE1zZuSpsxUiz+Fwg2wcnv7fPrhvRG8CdKlRqUoBFUPNfcYIg5BEg+Fpl/gZgipXEJmuW0I1tGchCEKQeWAeMZ6Va3ALYkI27i/iTdiFE19LLki5+3aWdRb29FSgE6hiiHaQymdbDpmeUFgnJDNd2qFpbH484yAjoAUpJaIA0HYCPVqFwI32AXbyC0NHksqODOFRifbw8zgvbDtVC1kxTD4ibAkDdVRK8pX8LqYbeMGHW+QX9gHZecy19ODoSDNkwIKDEpYliKZtX+DVjhPX4CaQzYDJNa4aMwarCKCrvjvvrwsBeVYTB9IfPm4xuMVVbnmAfKCGQJFb4NIK0ov4pGWcpyX9Cr12ugo2U/MD0Zn6MEZ5Bkm69TdZdCiZbBzERowO2CDivQs11VDrDQZQoY+opUSutsuPR4G4b8OT1cngpYIRqnljYa40eN5VrGwzljwFFOKO/ALOqiHG0cUlfUw7m6JLrK+L33moHs7frWiRKTyFjqoEfdiVwTElhQlTJiHOHig7G0uTQP+uVUbdntWXrR0tgiCBGACQP4UmqcjkmrhCGNTM0sWKzs6D0HYlnwp/cgRGlPMFBYETgve1i/brxqI2iacWWBA5SZ0ybqoJARPh2KSeA0MGy7YlYQaazUlmjgfEDAB4mScMRDFamWLGdcn9nDoVVx8Gq3FnbaSrF6pIGuDMjHL0DnQv6jxz8H13st3Gxh3eQ1nbBqrDJs2UDpY0w8GNnSl8DlUH3+zozynBgT5yhP4zJmbqiQMCwXXup0fD0aF4wW6bW27qgLLVGgSrFBTU99b2osop2fTVk6K3duXSKHGkalxhWqHQcW0fAQIJ8qCw/EhnGXkRE3o2hkNqBclkNhctMlLojeFtKBzB2ks+IMvDUfKAjNUPtf3UpWTb9HFAgvCsSJhjqkL2X0DoKBym0DxR492D5cZZrvbNlaUZitYkkHATb5Nkx+yv2YOhRe2p0Hfx1EKHHOoVo9hR8OxjYI+sDQxz1UhEm08FoqD2cALFCHEI2A/QSKzEZqz9JRIRqCnXqRUqfmmkzYloSBJ7QeltG/SEhBtRlrWyAu7LwUgiuTvsQ8Ye4iww8oQZpBcyB0nngJcptgLKMiCt+aelywciXCQvIle9NM1+u5CGNhbJWVqCdP5znCr4b6XdB0pZ5kcAfSIXRk6uvriR4dKxT8BCJdZDOznV1ODQB1j3SiMQAD1aDwYiwCuRTvwwCsjUytWJ3sfEA5uMZEt+qahiBd2Vz8eEDSN3lTXcy7gCbVZdD5ZTKaFuGhWmwdh1UFgRsWLoYl64tQUO4lVpwvxAg0g3DuCNKOiyrzMRVremCrzsICd6BjvcrDIUfqqL9LZCKFEwQcUJYjBjChrXrOQMgSCBJqyjxtjqr5YPOd4jEHWVjST5QRFJhIFeXkpol7JCpz6A1As3sytAjHHCwbjlKGGXNpQovvRqM5gQaLZm3RHCIVhWuMnIAfcKeXTGBdZBZdiRgATsOY3EHbR0JEAMy2vaBPNljz5cRNiD6HeRewVLFyCQyghVZN5BCT9lvMJJQDEQgXdj25ZitCQ3K8YnbWmNJOO3r8RysVy1nKhv+VQtM3LiMAQ95RcEMXjbFKm0FYSJ4A9DyRSevSqp1BguHd5l2zy0EABVrLdU45ASdse4DjwGuQjwG+Gh1LSi1AYhENP7s/ngBYTepE9pUsEgpSS4MFhDuMx1s6lgkKwf1CFEs6zdOhSqp+lBRsbL54PrWPPSCYUxsK+o6UDCkWqUf4bIZUcvUf1L3YQcDOkU6eVa1QvQhk+in8B8ON+LjhMBLQwU6M+sA5q2thrUpicayGqocJTYJoITe+EHJWYJNp6vPUN1e/jrVSQPUrvBTkJilbU8V18QB78EsZQRC1RcA5jE4aBIUOjGO9ZSLK252sAOBIGOwXGoJccL1zrBXEBIhPuzwnalSShUfBYgwQmkEQSkapD4n1FxHREoT4GX8vuAq+M31RwqW9Ox4XkPVWM1TWVu/BYwOCEIwmGYeRpvoQalB4Z8ZHOxSUitVawPt8AyrTW8hfMrXIKQJ0HBUZUha4mygFi2aMStQANUZFUZFqgT6wUh3wRHB2pd81Y/WGNOctaMjkhVao/YdCCr7SsJB9THQlNWQBIEplBCHZHQ7yaA4Y2AIRwtcSYFI4RuRPwigZGxWYHJnlMQdkjBDCIcgIc5EEr2vr5XxbsQ8FGHRVarrjf4iVOaoEX8CGYTxgXSgW3djj1eejbmD1wTM00IZFaM/Ea9gTVEwGz963R+97rfwul37DtxuMtByjnHGyC+4MTq5wU5KD7AyULwVKDjNa6AjATWVDRgMAQgc1tS/VXAQQMkRLUyXu2SFWbTUK+O3JHiHwapzuwrUdO3bRVxI8oKwG0kY9VDd1SB38kQwn/ZmeIxVigEbg/9Ivg6RNNKNQ/Rr+DaJK9CcxxlUJlnarzUvqvR1jOXVUUfUGwmRXLGeNiV91WoUlFcGHy6bwgiJcAhgrauifCCkjWwYKClWHb3tAJ6XaTgtL2hDajhXYWpPWq/0RUjmJ6BAGg401+VU/dolRLKlsGk9RYDcGDdzRSaFTUZNIYWu1N2CFge84FJVLq+RMmQoBm9z1DPJHqb4tMQaURTkoF7PVqLl4RKgl1hbVV9CqJrsAGChWcNEOuEMRrtcBZ4MNyFLx0wmPB/yaFVBfUbXr7z5MXS5N7LmhCUZV2yvFZGCbQCKeXFvAGMCojIKvYqdgCstm4cN0cHAQN0fRH2x6njUZgjxeme2eBmZ3uCeAPqgazAwHIULdQ2nWYyRUn0yXWOpl2gptQTwK9J5kuhPldlnZ0AAhNXbmrmESCJoWF0p24iIG8lXwPk0v4xYRBXeu8OQhvsHGhc9NPzzub6xEVFju3pSQ2TjIciL1eunCoAWjiS5KveW0g4okXtQdeQHxxCgcuKt1BKQv4N7G+vXVekt1oLABuUTVmJHqIn8WapSnXatJQlJjiMoO8jjWnpAlWU10fqPduY9v/0wZlEeF1paTwor4aMxfQ0EQQK1K+jEWGFhRwqTzpSEtiCdk+8XKnKtLRPLXKttkqHyieBUyd/UcPDeCIOAqcA11ON64lGnir/IWj0aAh3kOj0w6URXEjdtQbqRQGdT/+uxpXVjdEkobWq2i3FZdau8mKscoa0EQQMpM2PBGjtEA9SsdGXp0XP8V7WP0GiDg3CE2CHg50gjVKslrqLAq14NFvqASCuuumPQVKuq+IJSGoQ6rdZ4jR1btgWv4OpB4amS6SsVDEFea1SWoOcrs1/WNAz7mmZvvR6qfBt9XkgD0MzbGn2OcbzCc4BPD0jOKBxaa2tV5dAItBgjDkk0YNeZZD5kE1W+rSNURY2uy6t+Z1TAB8hHhio4RGsVGpJSbU+9PXFo+L3r9DK8h4YVsOaGxitJ6x+K0kqaGSgjWyPuyRZ56qoiAfYN93aUW2BhXL5GhFSsjC0ZbSbtCRJOTbns/artDk1YOvQ2NV0EcZlFdSkdFSmvpTcADUjpG0ef3XILGQYSgovOWvCYRdeDjXH1kEAroeuwJu8c8ADpQFvGyXWlTh6QIbqWD3VCnY4fkZM5GPHsWEA0J2uYACgPGIK3lom0hKs6DKwa2UQL+9FKErC/hz6hgm1sGUefrIlhMGoZQ6G01tolVn3e4XOgwDFbQV/bpQrvHoEkSW2AxAFCl6DHMYbW0o7rDEU6AD9DNGeDZFdNjAJzk+cLPQ4O7eWqakV4xmbGxJaSNKu+C10N3IEanrMMSyBx4N6o+yFoqa6FNhnK2kD2zlmcedVOp7T2nCVAqEkjeNYZJwkaoY4wmk0bjISZoA1LlMi4D9C9Vg4DLbCgd6YwgHhbaD/66h999bfx1d07YGqTkiGMTLKiL6pW75Q9aADGQmCNwQO/R1VmTPMeD9UubGf0j6D9GqBfX/Wm50paK+oKgKAOpxhCoqp+ENqPTCGkuafUQRHLrLvNMqDpQFnRNPA1tEyyriBlKg74K25AV9FVRyO+bYFCAZnqxog2A7B9YGwWv4a3sk5RwQYBXhhDgY61ZBZQSTJjSotNwgr5jrs4wK080G2UWEjdO5XmlbjqhhS2RD+kya5cY8i2u5UzaYyfFGeCuYwVuxn9YiP8sORDe1RXZd/hboGOMFL5OEJ1Y+QiQ2f9jAbi2HKWnJX5VO3eVxQCEPNiuHVQ1YFjA5JY1QUAUaTdOWWstGOBNZeaxxgrlqlutRfg3HFGzp6siLIG8FEsBLKQdQF1buyAICHLYJH1zk6cEpQpxr+HsKP2vI/NWfDpfUhj2IHBui5S5E+qSxtOT9RVlgTMzZ3FJ/xglSLa0FCwVhRoWzo53BoGLDADVhDFt4Cjq/LzjFI36AixHnh4Yz0cfRAoy22pN6FGBZOeAEqZ+6NHTQ+TUk/vqordRasqb4QuMy1hmX6swxnpdGo/HZG7bJ3M6jqSrWCtechgU8WtPQP4F2Oxqy71lsLAvNLZIrYGIrw3wvCKLMAyHthZ2OYkzyis1catyIGwTvmLkD0ExomwH3SAZaomwoknO4T8EDV6g0XjSsucN2zhUkO4jqW4rE0mpSykP1vrA+EriE9clRDQ+LodzJGxplEmKCoWH4geO2JekIoB8COgCIVNlRnFaaNmCOxhpIMiDR1xVCtPgwtwerMBu6l3pItnlyvWfW90ixqkw6oFgVB3bCIQEKA4I/iWzsUGy26jxiHCcbYELiWGNI2ubEXNrQegSpeFRJiTpkSS87B9rbvWHBF6Olt3s2gkCtpwNaUPQs7KMyqayQ3GYZvSigWUyGC1KR38wGvaliOCOyv4H+XZomCAVmwgB6jm8fBhDnVLF0gOiAIM9PKA/IKShIo40EGkiSgiyNSBuEI6MHKFL6FgmCYZHdwJFKR4M7tB5FR3z9b9G3wQSIOElsfwbuv2gyAqYHGHPFKuQcm5T5cHtGdA7I+Bb3votPEhDSUnzUK8pwrFgzwIVFMQCqZ9BAxRPlatNlZXJvMCaHk+AEiOUIp0lew1Oo+AgxIMQgsiZt1oq24lLUXUNDelH2VVtgZJPaSlXFAqdALJwGKocw0jLiiUt9FMFKMv0Us3HFbdJhhOrJ4IMPgr6oFgIONVrLmy8ytRAXcbKMkYhpq5hAy9Jd6pGbFodVgzFLysJJcBbziAOcY956oiBhqdEvEnkVw62daICyZuOEYGNxItJj1DJDXAf4fchuK+6skncYEdhAtLkRlcGNBf1Goe6eYyqQAZ16ZtO1qx5ro0j74MtD6B4pO8NwrTOkGGesywIkyh3iIFS/EThHJtdRqy2elwPtCLt8o8bCGDZBEOnZktbTemmekDD4SEJJj1n7UirbLYb4uoEGA+IijEZICP2mbG8l1zLc2LZfBC2wpAjm57ULJXPXec4YaA5cKMCsf/YF0q1t2+tYAZaoVWJVYaiQ1aUv9gRcQBrB31IB8rwT864W/lhPt3UAqO6ADaLcsFGM3lTOm+tb5HnfGseLhKKlcFsYF5DL2NkRW1Rm4zVNeRGYc71MG5Za49Zdxl3s46OkDeAxBVug1tZL0oqsLNwXrN4MKDz7VYfLbIa4VJMlYeRHWueMoi0TsrncnGHn65rG4x9WK2oudMKp9W5iXlg1W0QGwKKzEkaMRP4SgqnSIgodHKl3urPqdQHGicVELFZ0kFLSjt1paajFoFr+XGK5o6DGSqtDI81sRuS8mfjZSihQUsAu6vnB1Azp2BpwAsjtVqUl8WqQ+gCpScQKrZtOgfCh7JKk2lGqgAAkBYvQq71EIawLI9vS3pvmzE513VYwvaFArQYcF++3GcKQAgeh4gIqZ8DbCijTqEcoORb/cj2lxaA/43LBWsbjs00HyVL4s21V1nDKZ4k8Cx6IPYVxVT8ELDWwR/lnVkJhJAO5LSXqIWjxIGEAKkNOCFI35OcLqivwemQOGZ7MpMZMqDqLPkeBmFyEAPOBqgbBMm1pokIb1dYflKzurXRgi16FxmUQVy41Sy9hW2Wzb5qkExfaEGXEqSIhIyqb4S/tPOGOpb63dGQ7VYd3uUBY0DhL+5KjojgLDmvu0ALxi1Iat2R1auUYXNyH+Shsk0j0pVt+dIJmagETcgmFEuOjJkLO5An0r4JYk6VqW6REOoz4fGMMIMF7FNO2i7K/vGGmNSZGAQ6sGqhawgryobhBnIqK+AbfibjIS92SLLjVsdnvVgla5VITTwC4ittZWGeHkWZjgu2R9WKGdaYQMQrhJoxokOMgU8Ngc3k7dlG1YGtKOqAkJsKRE9FP4JBi2YzTKqS20GD0JvBlMmgLZWhPtV+MZo5YP1ZgNhQhOJzqpYKwcrIhpa0LMEQwOdrap+DwPgTMYymvI04kFZTRhNxfFdwXr4utMEupFWoM6ai1KWT/WlnIyuqiteXQoTNiET6xzQO8tI1v1Q6NVlpFID5NJdfuuhCF4NRkdHYbnRK5eVMDQ+6mGEIUwTxzQzoDl0HsLFmjjaa/ZVZMLjcyND6cpsmQLKaQDvVdUb3vzkdrBGnkyRBgZ5qAtQO6PNonjPgcohI0k7Uz1ePSatPNjN9EYjbR68N/RzRRKS2uOikd5AFW0VfZVapw4IMjgavoxx9XGKaYUCjixZ6xVYJXwt6QEyaqvwwmDUgqnBuC7qK4Ewc54znozFmaxAuOpb6AAl4bitcrkdbu6a4YyomxMPatFaHESEY6pCm1SbpFU6yFe02skPRtEDmx0ooxFDzhkCFIocTztXwqF1+5VM4BsepESeIK96ywxrIBFcSgcCkD90qoXhHfpERF7VDJ3AcUdzA2S/8SL2Fu3xbs2gQHdQRySEQZiDPEzVVLWnDTAB2IOKyKq0sadiA3YBQAl+tM0EiouQIX1poEiA6retorhwRPbEp2ACtXr1YGVybfl2ubK3IglCWdYV0xBe5P/KKIOxHFl9ljOGOfih45rxZAkMrrfSF5hSgUOFutWOMxYSomguAnD76Gx/dLbfxtkOI8529NdDp5Mc6yjMoMTEUtmXgtMlcXTcg0FBYXAkLF6BtfBq4DkgJwIiB+ZlE371lfj48CJ36P+eBCg4o9I1BxxCfj1bMyAyAqB01t7ZaiNl4XBOqd9xsa2h7qgQIzaFlCLWlmeChocaYusaNIKQjP0qokbJotYEXgxfR1sThe8t9UswzwQANEYzWjvSKA940Inq0iEeVQNra1XxKk88Yvwic1lnj5MT4poR5Z61lOoma1Bv7Y8Is+fKWtSPoc6krwcY7lIAZivY89ZBnHTSSCohtwYz8EBXo/UWApFewl7JC4DZt4itcZbD+RqqMn+jzgCMRMtPLSIM51pGo5Kt2FSNmQNDEjFtDUpLbUMpVMDHwzqHqsuSQBASV9R2npi3IyNHw8267XU7+u2Wa0f+lCr/3VzatpvM0H2YkT7QHN7ho18x1Edd/VFXb6Srf//y55//enD4aPpqqqGO1+b13ePX27w6/Wpy+tXTU7X+ajb96dzKXVjfHz9rftT6Jtb3x3J9X2xPX032bv94t3l97nnOVu5kIj+f3nR/eTan5R29ghfbZmXc1lw1Sc3u6YWV+fvL2Xx6++fmt/ebtvmXf2l+bn5zv3HTYN/sL/n5Vo5n3+u3p9++Wp5+7JX9Zpj6fLf5ZGdvsn803W2eHr482F18MmYB6dVMJ8s/TBbrbKCTJXqux3g+WexNny1vn5v8i+3Vp1fbuIga00zdGC/lMgyAsVoLpkSj97grecA1fvQa3IiRC05veG5K0/3Zstk7fP7Xg8n+dPevPMDtT1azdP6vegZtvefN1tnTjK3N9PVyPt2fnluaYh+dvPLXWp/lm6Pp8W64s70/ef1ZddVBddXs4LMb7cn914XgOPerg7X79WQz7h/waS4rRjm94PSX58b6x61/3PrVxz+/9B82572vJ8sXf5zMD6aLxfbicO9d3wMNLkfmV8fKvPyXEqpfnVP2v4JIqXO/atoPsQAvF8vJXLf//+n7v3evefzdl/9766vZzvRgMd16uDs9WM6ezabzXzdfP3xy62g+eb4/abQrZruz5Zvm/7Tb/baPn92a7aOHm//7+9necjpnBzWTRfP1P5pn88P95pPt7XuL+c69s9+ysT757Nate7rj/9qdvmq+nk4WL5GJB8vmp/nk6Gg6v9scHC4b3e3l0/3ZYoHwXCznk+X0+Zvt5uHB3uxg2nyNDDxsHp/8/NbO4YG+3lk253bxsZQ7FcEmyU4F4qlSfX2nkVyezg8me5LK86lU6PLl/GBxoorPS0ssox+b+1KRd44va77e3ju4fV7gnV7jzl0zfX20/iJ/7qKj3WfrLwrnLtopLjr9xeLvMmNeX6Z+TAafKI41Rs7e4emXL2ZXrMjJlSf/nl+h0+kcS32zURhco66f2nmV/44neOcyE+3Y2HcefTgr9eHtu8zgFbbW+eeQYU60+WLc/Ng1ufiIpTFsS2JjXLIG+6tjcMXuNGOheNRG5+XUqjr/IJeYWBd2sD1gsX2ne4vpxT1sV5Ub+OJl/uSycgtfvCycXLaz7rLVry5s49WDbFVPcsn6bbiJzm5/vMKnP2Cli/e3uMo0P/8e7LNXvovbGokhVmb9yJG5fBnejflk+v+7+aGk73I2XWwv34MBcIX+h0a40P9E0z7q//8W+v+c1j3V/aVBid4/VdNnm+2J9t7xUTmvu198VhzxxXT5w9E6n/KFzs6BBOO5T18mJiZPF7fP5Kq+WqdCXl6q1I5/c/u1VEfb/Fuz9br5dVNoXCwbqZrn0y0967PZ8183u9Nnk5d7y+1nL3/+eVsnnGCNtnZ/SURi8WZ/f7qcv3kynxws9ib80qaUo5ZguruSMvrmp9nu8sXj8z9Z7PLtFa7lYrchGuCTtNnx45w81snn/2fjh2G40/yrXVe5na+IAu3qt/rrngUWqkvIatwuRz8e25Awd+QxA4m6czqMvqmGeaphJpqnpuHq6Z4ugM34JDWymrX7bCygckk8pV0XTzn9+Pzs8/NzA8zrEbae6r/JmpgM2+9nPfnP+tBvtAnuNhYga05e+SfnPqNt9OTFVGrgpy27Zj59Np1PD3amzbPJ3t7Tyc6PzcvFVOdk1vz0YioNeP/+3uH9+y9m2803hwfT/SMd0xf6xPbaWexrOfdXs4jMYjo5WDuL8595tdTU7YGPP3USfFv7ydN1W67XlhdWnvCTLZ3FoT7lHRx/tT60JVPi56WFr3SJXamf7C+Pw1b6WuNrgsuzI/TJ9UNkVQzsFSt0aC7KxfjX+cH2+dBkNSd95unJqs4OVnJGvscn71hSzExKI0PPC4grzv/rK47mucN5eprS+g1xHBsKhDL1Hs6+3XrNEKyn7RVHAHH3WbNzuH+0Z67eugU8/ri30e7fb86+13AaQZalPLjphTd5YgLrmdLUD2tE2smTpeMns+eJo8+j6R5/pT05v8OjrPY8e/QT2cGEA3WjV9P5YvrJ/ycCWWb/PXrw+ZdfP9je330/9xi3/6AX6gr7jyahH+2/D/HnfzR/mLxcLCTNm2cWq2n2CeVwYKVLDpa3bv1nHcf5z2a2aJbSUbvTvZkOw+TpnvTV7Ol8Mn+z3Xy+t3cqshbNRAbWibn16+ZoslhOb82WsscOX01PozjISsZbzA6ea6jz8Z/Dl3PpmcnBbrMj7df857mZyH3d3t6+8593b02XO9umNF8c25CaH14/u3vRHB7svUE3NhKsy9k+0z6aHkiE7kiANrpsb3bw43T3+Anwgm7p4sXyULbvVGbBYjHdf7r35u6ZO85UFnf5KAs125vOtxZH0x3ZzTvN4dHO4e509eDS07vbtx5NlxM94OMvHn73p62vHn7x4JvHD7aXr5cr9T2f7s4Wy/ns6culnt6WYW6Ki/scTp9pzBkKaLI7OVraL7Zv3fof/6P54WCmZ2Nhnk5fTF7NDue3bj3Qy3ijVXx+oMdh1Z/rhc6nR/PpQkNoWZaYE8QTJnsvpw2LsZAB9n9Cu938+4lO19pN9haHtxZ6ShI/b1ZX3G2++fYJX2Zd/Hs9+vT1BKl+FzNu2I6peXq00Iznupn2zq52yGFzYijcuix8oqGmmoM5Djw6K8sm1LHUc2k4hO1S09Bg//H5l3qXzeHL5dHLpRbhX5v/tAjGfzaLiax07aRzTziZP39pilsf/LObbjl/100dqcXZwc7ey13W+vVv7rdYSb+bHUxI5v6/7VxNc9NIEL3rV0xxIYBlOw5kE0KoYj+LqgUCYWsPVCrI0jjWImu0kuzEFD9+3+ueUWx2b3udrgJi2e7p737dErHFWhvtwlWAX6p8hnC5aa1Nj06NKwqT9Vm9hPINEIY4A2LoimRXDo3vY4ClMF18ta2DSuDLp8fNgf5Ind8DfazhTXm4hw4VeAfVZEMYZOIbgyyzI/Mx21bwQuOqbe1WZVZpBuB1mW8fdmC1sJZySh535lM6HR+O8OdKQjPjarXEPIZkw4Bl3AKywPWFWyFYRSvd6HyWkz/n/gVkwzdxKWuLtHbtCrYOr8uvMNnd2FyqGUTqHoJ8u/v28pwbt73gRlJUphVYRSeJfZi0dxNZBM0evTw/GWHYQTmCfj2CAKya1s2zeVlxFlULHsMzU9G9o7pym014awpyo5zDF616ExIk4SYyrrSWIBGesm2Lo1V5mOpkdHIlNhBRNtA7uNFfYMV6z6SQ+6M7cVfWCE4JuikC7li5hPXOZlS50bLcYXdAiD8iXhyFXAHkuY8jAo7cOdi25mvIDtZPJikja0Dhetp0jHw6RYB3t1lDaQSmhDu3I62hIi247LkMxbBxJYNEmR/OxmZzPpVKUGu+dDSSfMiIxGwT+RJJJNZE8DVc0S/kzReSbjDJoKX4/V9jzHO5zkRrVchElpSrF9yAObzX3pbwKT+05u0B/ZAq0rQoeIMFJk8ZAIxeNKS5pemqLbl1UrTIAdUqZyTURenjbzCfbz6brC47qqRjV551MkK92xNEkX1nwm1xGIyXA9AX2b7zy+aKbN5miLDbfbvflnXhbhEEMtC+OAf+XJVFsPINSsK6sC/OMZAz6zJwyS0PwlfRvTrmQGvzdevNCoOAPXuxzizd2PyJSaEdziGXkH5g9tPPv4ZEgdTSf710ngFZrtZVBka/O9doQokT2NaSj/oNHkhWRbmAh30tv9j2S1c/pBkhW6WjWIrsra2Zjp89Pjh8YtvFI6CFXnJSQ0YM3y/RQZaugqfnUpgx3uxy4QuTL7P6xn4XWGjfdb48S6SQeTyixZSfy/JckkoQjsVfJZqNHlnWgCVZgWa0JnhB3WzgQ5gX5khuIQsmtTB7Nzb7wm2s9qiuL/ENdio+hDPUGG2+tDXazK1rv9hWu/a7xUJuYxGZICbhPaqUJK8hAfFN7fbQCSQKnZGlDSHMouVc7wtjBmPg5MJc+gVdEgCJIBOcT+/IR/3mbkQU9NxvxziDqihpSq5mjB+cipgkbPJqYF8tofUkYKjV/e07VANGVhDB6EE+qOAJck4WDBvAw96tKnMg/mhRQDZqqlqDstoyQ4mWFLUZYk9lxDnlkZf7E+IIaNWO/dh8JVcBTHOMgw/0+AdyzW5W1yyDDBu8Ra92+s6mzK5Ljo+ozVauuAaKIS//++L1MJXrwyLzbW8J9K6XWcc95IMaoa2s87lrr1cAff4pX9S7TrkBzO2/7q5R1zzWJfdPV5JWtfm85xvvEpNuNp+RMpj2WcjoSYGYhmsDWQGY6d1xwV9FwP+BJ9HL33NpRPaFd2ftUukNvXA/Y0vlQnbr0bIC2a2sH+AbOdciyMaS74uyhUQ8uCEuLszRMxVyQPzPzez4B+IZKYNIt43NAaURJIfHM19YkuEah/gFki71A/29cKITi7BvXaLIwuWi8CCzfEBF8zwN2omV6F/3goJDPvWIJ8mEVSMzzuH4aDwFQDGnU+RcXhLJFOUNOvkocdoS/l5niMyvwgbsVBAMA7ZABeT9buAQdBsCdeavlFyMDlr82CZq+AS4pZfZQ1gOWSLWHu+swxWmDCu1kdlZYo2k8UwGOB16Ouvu/XJlZC7wmqsSGYJE2LtmUtV+Z0G4at7aG4U8gdkoCVBhEuCTaKsMwgavrCer7E46AMpWm5cy2mC28bUhm6M22EqBlHYKGoVdUU7Dl2FhIyrCOp0dbDYESCJ3/1EGtlqabypgvcrjF4T9vPMwLSsK1od75BzaMCcp6bzsQYnULu1WGNWynLOKMGNRvu8a3snaW3rnxubDPiosuySw+eOCR7FZncjBwcicKKzH+HqUjlidgnIvNhKmlXKPyJgNwney505PH3MTNYgFFJhxCAkz4brONq4spNu2QYlFBWg4Tt7AMQPo+A7S6rTDFljW24AE9EGLv9jA+m0jxvaJlPyWyfQs7lqvgEQZXMUwwksfZCPYnaP8vckJzN8QFoqXl2ioo8S3CTLogEV2b9WMvN1EQ4Z6JgVk8urH15Mc7T9Fw4ai/cBN05wNe7KXDdKNEf4c3Wk0ZHOXY6BWeHD56s0vpl9Di1ThKM+jFhpvRBs6dgr6RWjhnxtL0Ke+O5yl66ZgIZvDL8tV1n6R0MV0WWAcns1QaCFAcm+OYU3gH2sZFDgjJi41dIepXJ3VoZ3VfQoY0qCy9kufDMQOXZ/SOWZAIDmjaAGvyTJAOlF3Hfqy38w8PTw+TPmOVNdk9/4a6mHltoLvDmgtWm6r2H7Pqzsd3ixtBUW6RxI4klh6nyGc2vXr+X1p45OT2m+A1DIt7mqRYUl0aXtioy6ROUJEbsq6lmHkBi0HyFH7+ASN+vWHyQU79wTN129cfFVEBNkGYDk0W6SqnxV9u4M5OhTwXWXYQBdgANSBj6GwSeUfVlFPBuSoHS7Zkc0X9o5Oy5nhSEiUrjPCNuliOn17HUyXu9b6aQFWQgDHBw4jRYoUKVKkSJEiRYoUKVKkSJEiRYoUKVKkSJEiRYoUKVKkSJEiRYoUKVKkSP+b/gFmMshJ","code_sha256":"b7af21d451c9961cc880df3b78d20c5ecb65eb36360b1f93e81f673846b36d2b","notes":"35 tests: 267 mpmath/90-digit scalar vectors, 162 moment vectors, 256 no-revert fuzz cases and 4096 property cases; second seed passed (4096 no-revert). Errors are sampled conservative bounds: distance to rounded oracle plus 1e-30; relative rounded up to 1e-18, excluding zero references. Gas is max sampled internal-call delta incl. measurement/dispatch, excluding ABI/cold-call overhead; mass/mean/variance share ONE call. Solc 0.8.24, viaIR, Paris, optimizer 200, no metadata. Runtime is full MathHarness, not the empty internal-library stub. 12 silent updates: 102232 gas on representative path, not a callback worst-case proof. All input endpoints saturate; reversed bounds swap; v=0 is inclusive point mass. Mass<1e-12 preserves real.py edge-mean/v-quarter fallback. Centered narrow-window moments avoid cancellation. Stable tails can differ from real.py binary64 branch choice near 1e-12. No full-policy fee parity or engine score claimed. Flattened smoke Strategy passed pinned static validator. code_sha256 hashes the uncompressed tar; tar holds only src/ and test/, including offline instructions and SciPy license. No dependencies/submodules."}
