{"item":"literal-rational","status":"pass","gate":"11856/11856 expected answers; 0 mismatches","implementation":{"library":"TellMath","function":"isArb(bool,uint256,uint256,uint256,uint256,uint256,uint256,uint256,uint256) returns (bool)","visibility":"internal pure; TellMathHarness exposes the identical external pure ABI","approach":"Direct integer rational translation of tellref.is_arb with auditable normalization loops and checked left shifts. No assembly or storage.","source_path":"src/TellMath.sol","code_sha256":"d75d609752ff787bfe9be395be1355370cfde7dcf61b9380848f4d3aab166956","source_bytes":6938,"fee_extension":"Fees above 1e17 clamp to 1e17. Direct reference equivalence is claimed for already-clamped fees; extension tests clamp the Python oracle too.","supported_bounds":"Both amounts: 0 <= w < 2^120. All reserves: 1 <= w < 2^120. Fees: uint256, clamped to 1e17. Out-of-domain amount/reserve inputs revert Bounds.","bounds_argument":"Reserve binades -60..60, grids -112..8, gamma exponents -53/-52. n0 numerator <2^233; denominator <2^121. n <2^174; forward normalization operands <2^235. Positive candidate exponents -164..9; handed rounding operands <2^218. All fit uint256; every left shift also checks count/high bits. Full reasoning in bundled README.md.","rounding":"rn: nearest/ties-even including significand carry. gamma: integer-to-double, divide by WAD, subtract from 1, each separately rounded. n0: floor(x+1/2), not ties-even. Candidate order n0-1,n0,n0+1 skipping nonpositive. Forward rn then handed rn then integer truncation. Minimum pre/post paid-side binade.","storage_slots":0,"challenge_imports":[]},"compiler":{"solc":"0.8.24","optimizer_runs":200,"via_ir":true,"evm_version":"paris"},"measurements":{"vectors":11856,"matches":11856,"mismatches":[],"gas":{"min":25837,"mean":31421.193741565454,"p95":34736,"max":36904,"sum":372529673,"p95_convention":"nearest rank ceil(0.95*n)","measurement":"warm harness STATICCALL from GasMeter.measure, fresh caller memory per vector; includes calldata encoding/return decoding between gasleft calls; excludes meter outer call"},"source_bytes":6938,"runtime_bytes":3092,"creation_bytes":3120,"gas_sha256":"2e8a4c2e3f735c35e13cb7ebc79662da230db38167837d693dd31a22e5f2062b","answers_sha256":"1a2b54f160c1d7a0d32a313d071a2e4700480a293c20272b2ab934a51b6607f7","runtime_sha256":"2035206640895b012386f904232320e0f6c780aa3a1d496dd8e93a00761b0446","synthetic":{"isArb":31378,"rn":1032,"retailChance":3000}},"helper":{"functions":["retailChanceExponent(uint256,uint256,uint256) returns (int256)","retailChance(uint256,uint256,uint256) returns (uint256,uint256)"],"semantics":"Exact power of two: exponent d<=0 represents min(1,ulp(paid)/grid)=2^d using handed-integer binades. Positive-paid rational form returns (1,2^-d). Zero paid uses binary64 subnormal ulp in exponent form (-1022-minimumReserveBinade); rational form rejects zero because its denominator exceeds uint256.","boundary_checks":"3000 generated rational checks, plus 7 explicit exponent checks (zero at minimum/maximum/unit reserves; saturation; paid just below/at/above a binade). Six out-of-domain rejection calls tested."},"gas_per_vector":{"format":"base64(zlib(uint32 big-endian array))","count":11856,"order":"original vectors.json.gz order","decoded_bytes":47424,"sha256":"2e8a4c2e3f735c35e13cb7ebc79662da230db38167837d693dd31a22e5f2062b","gas_zb64":"eNqVvXWcneXx/r9ACVIguLsWgpXi3kKwIsGKS7HdI89zzobgZI/bxrBCcIJLCFaKu1O0uLtbipRSoHznPdckWQJ8+vv9kVeS3XMeue+Ra+aamburq7lQV1f+0q6uxgpdXZVTu7qS5bq6ild3ddVW7urqnaOrq/qe/fuirq7movb3bfbZyV1dnQW6utrXd3XVd7XPr2F/H9XVlVuzqysdZL/f0f6/tH1vSFdX5m277ov2J28/O8W+Y/cq32S/m2TfO8T+/q397mP7t12v8LB95mu7x2n291X25yD7/Wb2+afsZx37//f22V3sz+/sXufYz+x79XZXV2tt+/6+XV0jb7R72++qY+wzdq/cf+w9htrvi/a5J+znh9rzzWXPcJ69y3C77v32vlX787L9fi37Y9fJPmM/t8+n4+3/59s9/m4/e9OuX7DrPKfnqe+uP7Xb7TqL2712sD+b2HVW1Zr5z2bWO1Tesr/tu5nn9D71v9j97XqNL+139vP6mfadje3fPV1do+a0Z7Znalyve3futP/b/WsX23vZ55oj7Y99L93AnvFEPVftPnvHTe37K9nP7bOVJ2O/7D0Te//6FfZnRvv52vpu1T6bW9L+fG6f2d+eZXO7X8uuda595m77zPpa55o9W2NJ/btpPy9n7d/P6J3r99jvbM2q9nyNP9t939b1q5fYc3bbZ+zalY/s/pfonSu/11oXbF/qdq/2araWtp/Vk7S+TZOP+lZ6Pj5X/aP9f6z9bfJWPE/rXvvB/l+WnLYPtmuajCWn288mxPP22Z8b9b3hs9ja7WefPcL+viHW/nj7rL1PYyb7ua11au/UOMbWodd+bjLXsmtW7TmqJp9127OK3a/8jj3znva5ve1v+3/lVclfbVtbL2Rodfv7WrvG8/b3ldrHxnvaq8bN9rfpRs3uO+ZEyVZi61X4h91jsva32bQ/D9q9H5a8NpeXfLbsT24e++4W9sf2Ltdl9x5n16vY58r6btvWqmbPVz3M/t5dMpKYziXI59b25w/S5eJG+m7F1qJq+l0fYX9/a//fW3/nJkpeGjy/rWf+Xv0/NT0vzSu9aVxm193ePjtMutk0GW/bZ8pH6Rm4duVZ/a71vXSzbvqd2ru3bR0aR9t3ltX65tjbnWxN/iT5rTxuP1tX8o8uNMxmVJFFe468vVvDbEWzZNf+SrraNnuU2No0zNbUZre/d5KeYSPYkyr7bvKW7eh+qe1VblOtf49dp27v0vnEvrez9I/PtE1mi3bd+j723fntuvaeuYb+37B7VO3addOvJPau8r3kdMraJXvp+q1l7FkXtO/YnlXt+4X1JXe8f3Fhu+9TIcP28wZ6MoPd+zu7jr1vwWxGxfQq/9/Yf7O/SWKfe9T+f1vI3ll2PZOBqulAxa5Re8P+/6Rkt27vXDAdrfw7Pst17T37TXgSbAfvYLY5+Zd93n6fNb1pjrb1eUW61WT/1pUO1k1OGt9qbQob2vVMbpMbtcaVydpb7GzdZCv5Xr9r2zPV7Vnzb+l6yCjyXj9Ca9UyW10wW5Gz/azfap8xu5B/VbqevC77i93Iz6d3bC6nda+Y/hZsnWp27Ya9c25ZvVfyYaz1dvb5z+w9wybXzR5W7bPNbewzdr/6ZF23ZbraeM1+NkT6ULf7tLEdB8oX1X9lv19Q/ilnetewte/ZXTagM0x6nBbC/wy2/38T9nQe2Uau2/i1ZKx6rD3PydIH9qNqel0/0v7fll/lWdyeod/v23Uy9m/7Wd7kLWv7VmW/zP90srGvtk+N4aHX9syNiZJR7C36h69FBxO7Z/4y6Ul+B/kZ9ry+m3S/at9r2p7l7LrVZ+UfW+aP8m/IdjbsmXL2p+cl2RWuiS3LLmL/v9yuzxotJf9daUlOef/acvpe3Wxy8UL72+S1eqP+37K9zpuut0zP60/rfbAnjQ3lp10OTYeyN8vOtjfUvlTsM3WTnxrvg23ERhykta6aLaqeIbveW7Pr8y51Xa81q+2T2fjGWNm/3lXsGuZPqwfKN9ZMh+vozSKy49ia1geSuZrJTNHWtbOddLxi/++YfW9+IP/W6pU84gfxqWMrep+OrUt+O61L2exSYp9r2vfat8umse74njw2Zg7Zvfo22kdwBddu2LsUwS2XyF/iN7F91azktYWcXie/wjqhf9i7+pey+f3r2D3NV6W213WzYc269j5rfqHfrl85S3vnvsT2ovqgbHjV7lHDf/1O64Y+YLPy34ateS/kG0x2jvBNw2xZ2XS2crvsI+/dMDmor2jX79HaYRvAWFnT2fwtkru64YROXbqP/2mOkQ12u2pYoPmdsBpy1zFckLktdMh0uMn6mx1Iv9J6gS1ag2Q7keXU9KqNfN8pWcAPI5v45qbZhNx+8T43CddU7ZnyYA+7fmp4oXaBXdPeP0GnzXY1TG5GGabMPy156xj+rf9TtrH+bMiLPXs/8owff1zXqnTLVuAPwLbYnprpRM9ysl/139g1zX600BfzBa0xkkv0u2zPWL7G/m1rXB0m3+AYaXFh0hJ7aO/SeEi+F/3DBmEf2Df2sX6sMGfT9ABcz/2b9rmGYcb8WcJs4BZweW5+2aqG+f0Cds3eKWNYJP83YZPql7KFvJNfb2nZm8Zf7We23r3HyK6PBIOa/c4jy+jannoOMF1jqGQNX4o/aZle9BwsvIxs5ZfWXoA9wNa5d/TudfDT5nrW3CHaR2xufR757qLpT/lzrV171cAss0ovauMVg7T/JPycW0bvye+RfeIR9iTBp8xtz3SC8H7rXdmsdD6tJVi2YWvRKCk2Yj8qK8rPlOvCbvm9hX2QA9a623xWa5zwDGuZMx+XKwqjZMpam26zTTXbv4L5rfrHwgLoO/61Pbuug66zNuCgzjzyY3nzJdkH5U9Tk8Vav3w2OoDOIBPsIViFWA29aVysd8+vLZ2tm+3J2zU6F0ecMIMwWdlwVFLSe+X2lEw4BrP1qJlvb60kv9G6W7YXDNC8WrYJX518IAzJXoJnsT/VsfIj2GJ8NXqPTW+bbUkOl4w1TJ/r9v+GGabhR8pOojc99ynmaz4qOWzNonV22zJJcsZeYeNqd0inkams7U9q61Y3/91v+127Wxiae3dmkiw3iCkuU1xTu0F2qmJ72m3+u3mU4krWgTgB/wA2qb4hW5Q/VHvb3FQ6x5rwLBkwS8SI6Ai6iY9ODYP0LSPcjU9wDPKp7b35iewpYU9tzfpXi3seEv78Br0L/rxhcVoNH/qKYknsb8uwRB2MuFbgKfCXxY/tr4Xdmvbv6uzCOegO8VLT1reMjTD70XxB61q4X/bFY4jh8mfg7sL7wmfsb+5E4Wqes2L63HxE68U6O45JIs47VjgqsTWwreuqzSr81GwJkzgu5Bqme3l8ONe9VXET8ol/H2XrUzd/MPo96XdtpsDXFktVd9V+s0ZtMJbZ7Np1eo62yV5jftl87sH10GF0CizUels4ID+LYmfHihX5Zt65Zd9Nn4xY9LKIzffR81fMhx9h79IqaJ3S+aVXhfm0psgd/2d9WKfcbNJD9M/tJTL9ld4LP5TOI7uVvCZsyHs2bd2yn017fsc5dwa+30KxOrEDtiFjMVm9R3awQLwyyrAI8nWybBUy4bHhWrK5tbfl93qJy8ZJXuoZxRBuP82u1SxGKZuMNSwGadk652+XP0LeWK/qHNPyIOAP4m3kqm3X77d9zQ6V3mKb2Hf0z/Hmdnr2mtme2nPKr9RtLfpNHhvmH5L9Avcfr3vhU3PkhPaQnWnbM3bs39k3JCdg4jS136+ldW/WlDsitmrbeueukk7W7O/GEvYuXyo/gByDtxp27RbYc13F4vixdEvFnawFelE2n5GvRmxhOj5qSGCEguxn9RXJ0vAZtcc8e74tHQeLEsc1FpE99lh/jojdwBXHBiYxPDRqibAvHyrvAwYjtsZ/p8Trp2itwb4NbG1e9sLX7CDZfM/JWaxZ3FK5AewAe5DcJDnF7iZgf7MZDXI9i+uZ2qfouzxbuovistwV9vvlwqYfKb1Nj9Z+oWeO3wcFXp5POR7X+8u0H7xTZZfAu5foetjA/DeS4/aKkkMwK89fu1a5s/xKsuWuq59LHxzP1GWbuE7lgMgZmt1tHiM7RJzbXkT4rGD4prBJ2COwYr8wFTYeH853sVNgF/Yx7SgXVllKsRa5Fuwh8tlcR/6POJ5cQdNkN9klMFrk2PjTMr1onSE5zJl81F+RHJF7Qb49L3WVdAFbAobC11ftXdIf5AvQ0eIqwu7sf5XYAX/2hnCt2813JAesFevP/paHCXs3ntKzuL0jD2f72UTHHrN/3ybb6Lm7JyRrrL/vz1uyj6xhbbBsa2VX6So2Cj2pbxb5kOfj2Q03ZMZGLumSwF/ry04RO/WOkD6W3laeEF9IPojcFLqQmO+sPS7Zyu4ifNHGVtseZd9V/qSwlXTTc2gTFauRrwUX4h/dBtrva1fonTw/NVg4Jm2HXG4en+G5Z5fs1F/Wc3isv73i8rqtYcFkvLaR8ojpRcoVNUZHHsL2rH2y4nXfv4V0L3KQPHvWrps325TMFj/fXHEDuW7iemQXTEx8X/tafp04uXW44ghkjrVGp9P/aE88V3ev7Dg+Fp1o2LXGraLYhBirdbli3Zq9Q2aEsEJlgvyL5zbs39W9tHeNu7q6xti9yp8od4ZdI+/QQdfJO5msd8CJ5C4nSz5zI5U389jzCMXMOdOzjuGCvPnu2odaZ9Y4GSUs6/HTw8ofF0xPaksKG6OPrYO0Dsghz8SekLsrXBT5C5PdOnmmD7XOHdvz3Ov6boFcnq3rqEWUTwUftn4jrOAx8sWS59Y6sr/gSHIOVfLwf1AMjX1xX/ih4vF0cckjeey8ydPo84SpsL2enxgqDMj328fIXybrRo7qdOloSk75ush9d8tmVL8P3D5WOtWw5809FddYO7DTbNIJj/GJYxeUPW0cLlkn/+wx1LmKGXlfroXvRTabCyh3wXOy1/hIdBi9A1c3VhO+B7eQ3yDXV/9UMt0xH1RcQnY/tZikavuUnCPb7zE+uZCyOBV0lDgKe9veKzDDSsqtganLYZN4HrCu2+63Ak+bLldfCi5kG+UZ3Cdj8ybJ7jouH69nJyaqmUxn17BnnFsy63mIHSVfo00ey/Zs6auRr1teuAa+omXrUDw5csT3Kb5ohL+vni57nTwmHeRe5CoKyKvF2T2jhUVdjgxT1HLCxx5bLKwccO1h6YznPvdR3pk8SnKY4i/PeX6j/cA2dVJxLtWHuqbyauQLKs8rvireNoBXe3E6Xu2t4NUOD16tbwCvtk3wagXxVcTvyCsYBz/Tnn0Arzar1qjxja7xf/Jq7yieIq9JfgZfS+7mZ3m1TQfwauvLXjtPc6hs0/S8GvwfGHsqrza/7Mr0vBp2aSqvNkhxDHlv8qnIbWUD+SXXz3v0Dv75/8WrjQ9ebd/g1S4NXq0v+K+vgldbfQCv9nrk5+zdin8Ur1ZY9Me8Wkq+/UblpB27fyl7nBsS1x0cvNqx0/Fqtyg39CNe7aYBvNqI/5tXc51/NXi1yBtixwofKKZD151X2+JneLWjtH++X6YLxe+ExzwvAyfxtXi18g/Bq02exqvVZ5mOV7O16B8kGXSed0nJD/nNwpD/g1c7RTnZqbzaZcGrjRMv57zalcJFubkG8GqjtPfY1am82t/Fq2FTpvJqtwSvZvdvHhC8WuvHvFr28QG82pxaT8cawat1ZojYaaHIr3w1jVfD39ZPlC47r1aNP5MH8GqX/X/j1bAh+NqpvNrqyks5r7Zf+IsBvFp7s5/h1R4Qr4Y9+QmvdnfkhS4X3vkRr3b4NF7NueEjfsyrYUMa58gGITfOq02cxqs5XhkfvNrv5afq/w5e7TzlhflMe8Q0Xg2b4bmmRsRDsyv+/wmvtp/8kfNqh+n3rZGKY/C3HrdhV1ZTnrQ4QjnlH/Fqw5QPYF1/lle7NXi1q/XuHputFbzaLsGr3aucwI94tbOEgZ1X2z94tXOUlyR33qr+mFdzzPj/h1ez98+Pi9z5KMVvns9ZXDUXP+LVXtX3WmfbteYdwKtdMx2vNlZ+9Ce8mr13eu0AXq1PuZGf8GqDwibvG7zaaQN4tXek39hP59WqssXEljwnmNrzUg/IP3lcMZBXmyt4taWFmQfyapW7f4ZXu/XHvBp5qfqi8tHOqx08gFf7KnKg30zHq305gFcrKaarfaS6BGIcZHQKr1a7N3i1LZVD8jhrB8UEXv/xUfBqbwSvdpOe0Xm1q1RHg+2EV+MZMqvIL7sObha82g3i1YhjnFdLpuPVLvgxr1abJTC1fS5/sPAaMTs5FM9Vb6i9Jx8Dr+a5qIWDV9tF64Y88eyOR+HVrpGeo3/gSfKOP8erwR037Lkrtja9TeX6yC2zLvhLbMdUXm2LyBOM1X45r3axYnXimv4ZBvBq1/0Mr7aj6oty3wavdqg4KXKonTkH8GrJ/+DVjhvAq62tffsRr3arfAE5VuTMeTWT+8YWyqMN5NWIg5xX230Ar/bkz/Bq43V9ZAgf6bzaVfLZYLOpvNpNwavtJHsJTnRbUJCdB0fBq5E3y+2jGMbjkuGyM7/Iq206Ha92srDaVF7tudCht8SrsaaFwcI6yV9/hlfDV/QGr/aiZJN8g/NqwwbwaknwarcHr/aniAtNztIZlGNorGd47EjxasgbvBp5Ka+/eks5FHy782rrCSM1+/Ve/Nx5tbJ0wHm1NYNXWyd4NXve+uPKy4D9PGdzruIA59XODV5tXdmzqbwa+a6FlWNwXu2On/Jq6LrnEB+U/WjuF7zaDtPxasE3wW38LK/23jRezf3w0qG/8Gq2Xr1LyK7DqxWeDR7oeuFscN5AXs3Xwd6lPYN4NWI9/s93amCY0QN4tXOn8WqOsZYVxkJnnFebUXbG8zpV8Q3uh8+VX5rKq80SvNrqinPg1RwDBq9GfN044Od5Nfx5fgX5abD9j3i1QZJ/8NtUXu2EAbzaq4rBsE//i1drbCR8SZ6CPcX/eIx2yHS82oTg1Z4ZwKttE3s0TJ/DD03l1TJaz8Yh2mPWj5iBfFlitr1zesR164pHK5+j+NPrkz4LXm2c8kD4xubfpVfkhLC9jYWCV/tIeu42d2f5UnKd4A382I94tQsV95InBzM1P5Ps4cOdV3steDVbp54rfsqruQ+bXWuBnLHeU3m1RHbd7djSwhj9ewzg1a75GV7tZfnOKbzaYYa9mvdLzshDOa82LPIpawavdtd0vNpRwauZDDbJJZ4ve4peeq5vAK9GXYDHulN4taHTeLXOkwN4tcLP8GrUaSwVeHLv4NV+iDq6Kbzaoqpvcl1d9Me8GvESXJv7loeC95thAK9m71x7KeoA7h/Aq30UvNq5wasZZmotZn+fpjoj+J1qS/vgtV53i1drXyN+xes51/8fvNoo5b7w786r1QbwamaXktmn8WrsV36BabxaffA0Xs1rqn4l2cTuo0e+plN4ta8H8GrzTcermU1Kq8KzzqtdE3HsSsGrLTCNV0uuGMCr1SIHf7HyOaxTbkHxDNWo1XVe7eLg1Y4KXs3ulZjtrB4esfk80jvwpPNqNwWvNi54tZx4K89RrCr8MpVX+1Pwap8pHwsecv+zWext+xd4tdYv8GpXTcerva4c/Y94tbDJbfOL/VeLI57Cqzl3susAXg39e+qnvBo+dCqv1lGM/ou82kmSk5/waitN49U6xKi3KodX/7Ww+lRe7ckBvNrxwhuFjHi15Cv54p/wauFXR82jGMdzH8GrgSmHD9Ya8+xTebXJwavNEdzoWxFH7h282hDJOljBebVhwavVxavgm6byam8Fn/Je8GqTBvBq18jme07u6ODVXhbf93O8WuWhqP8+Wjnt9lCtnfNqQ4NXOyfy+eP0O/Q2NbmrXyy8O5VXO+OnvBqYiByq81/n/phXSw5SnOq82kRhVufVDlZMy3ogA2B7eDVqABzPPKUclfNq+cgZWszQXCJ4tapwlPNqfwle7QLhfufVDg1ebUTwaqzBB7p3emrkpP+s+AMfM5VXq4dPmsKrUcc5tzCa24MpvNpOv8CrnRjyzX79V7ya165O4dUm/ZRXa3wm7IXOY5t/wqvtIJxA3Mk6wasR2zY3VrwPbqr95Wd4tfmCQ3gi4pCbJHPOq536P3i1sb/Aq907gFcbGrya+YPeinB66TnpsfNqk4NXywqzg9+QLefVxgWvdv00Xi39WrrpObQpvNp3khG3LeXIb07Pq20RvNpBsWbrxrrdIr1xXu2r4NXO1Hs7r3as8mc/4dVWG8Crgd8uDzz9aPBqR4hXI+7Lfxc/3zzyA3m9s+Pb1UJHLx3Aq2Hju4NXm/gzvNoRoYeF4NXML487RrlrbOhUXu2yAbzaLgN4tUmK36fn1dCVKbVC8GrsKbxaPzixL3g1+IQXFBNV7xfWcV7NbFMHrm734AgH8mr3S3/h1dAv59USYWOvrf0ZXo31LnwpP+W5/eOn49WO0nen8Gr9tymfSuwKbwP+GMirYbc9L33lAF7tnGm8Gja1er1yjOmMkqWpvNrN0ktyDNyTmMVzWydKPp1X2yL27H3J+1Re7blf4NUWD17N7tN+MPoPBvBqjm2eFyc7hVfznOZCwjDo6BReDZw+lVebNXIXz0eu/48/z6vB25HfIJ/idT/vB682d/BqBwevduIv8Grx/am8WvLLvFrzouDNtx/Aq43WGjivNn46Xm3MT3k1dANerf2YZN/vB682fjpe7SphJnSG+N55tfOm8WrYAu7h190ueLVDg1cbN4BXu30ArzZf8GqLy76z/j/i1Z4cwKuVZHPy38vmOZ/+TeTiB/JqZleSdyP3aOuZ/1hrBj6Ygo3gvj0vvoVyK16Ha/a8aXYw/0XwU8QBo4JTO142poy84w/Nnja3V66FOAEeo7GlPod8gXM91/mtuCSvR99UsuLraD9LbQ/TZYTT8Qc8VyGeMzFf3/4idOIl2WneH5kunCJ8XL9U3BH+gtiA52RNkPUptTIZ8n2fqg43M0j+itxY7ergU2INm9/Eu05WDpFcMDEIss5+5W7Ts4INwB6sD7rmMeDbwk/kK4kz2W/H4QtrvakVRGa8NuNw+RDy9Y7xn1R871wddYFcd/XAzvD/V0esiR/fT3YG3adeGS7U8127y3Y5l7Or8Bm6yfvD54MpeN/CIGFs1qhzov5O9g8e5QD5TLeZc6meEAzC8/WAfX+YxsehP7kbtcfklfAv6YaKpz1u+JVqwfib9a7PrHjRsdkWqpPiO8g7soLuer3ZMOGyKTly1tbrjy6M3OspgbvOkC/ne02Tr/QacVPYA+yU5zQfiBznw8Javka276UhypE5jqAnYGv7ztuRa/9P5K/HSRbhKYml0VGu0ZxBe3jCb4Sn2b/cs4pT0n7xzMgI9s0x5ozaI+fN3tLv8l+JXxi1jnSI69IH5fc5KPAdueN5ZM/IMdbWiNzn+6p3g0ci3qbXEfzdHhKxC/1WK8tOO19IDoV7wWPcLByOHiZHKs/mGIr4lJ7KWcVNVz8Vjsc2kH+rE5deITvruMXWtkOud1LUr8+jeoCkIQxKXOf2eK3ApPRW7ab1dXl8XbJSWTJ6no6PmGuc9pLvZ19SLtNrOO7U+5OjL5wesfOO6pnw2n042a31HXoM0AHyq9gcPkuuGs7b+WDz+7nloyf0+OAvTLbb5vNbtqbFz5S7L90jfMu7eg3wt6Gf/xEH1VpXPqv4hmLEyteqHWxuoWekbs7jE7tHKRE+ovaIPJX7nl7lTsCitQekb+wXcgkmw09kR0sfXO7XVh1o1vB1ZwvxgvWbtAbEOPiyWuQjwZvoSXe3dC1/j5612/xe4T7FhjxDEf+wWeQ751PvUTI46gvulr1IPgmeZ7/IdX+peJ/1x+b5Hn8bsr9CYE3WtFs4K42+L5fRN6RT7aWDH6lKdryuaVf5dvYouStqn8jNUe9r3+29O+owzpFMwK8nVysO9/zJVcLtxCHkdtN75AvIhVJfn2wXse6OsmnYPeedzf6nZ0vG0tUl646JZ1QexDndCZKXBrzJvOrVK+wq+wW+SzcO325y3RktHQQnko9yrmqoep3h1Nr2jvXxUXezvTh377taPjDn0rKn3stITRn51I6wIXEivDf5wvpcqhVG7vBHvsZ23+YJkj/ykP77Scoxl1+Laz4bebDThWvBfF6LcKxyWtil7EXC1t5Ptn3ULpqNSp+Q7npN9TeqvSA3xn3hrer/kr/0OtiHlZ9qmb3pXD4tV8r96M/Nr6Vckz/naeonQG+JLxtgWPMX6WDpQ6MaucEFhIu9P+36yCVSJzJrxKb0tbypfJnnELKyD8Uheq/C+ZIX8iXgWq8fbaonwXNRiewY+JA6IGwIfHsScXFjRX3e473dtY74kP6nVJ+UbqS4GD4hXxTPyHp7fd/ZkW/l3keHr3lK8ugy8E3g5nuDY8grjwj2zy4ZedEfZEP8vQ2zN7cVb+B84nXSz+YaujbfQ3fIwWJ7qFnIE5u8GH0Oq4obwBa0n9J+YOPIW1Wjvsd5iEGBE2cVF4pcwKMiy3Bu3kfcrdwf78bzF8cLPxXgDOzn7ZZsBjMPkrHKA3s9jt1n9JaKXbk+GNtj4YkRR5al52AIaufTnRVHte+M2GuPyOvzvvZeyeiwPe+o79vrgJ+M3q6jVIPf3D36q54Tn1a9S74DDI89ovaK3Jhts/OMpdXFNdETho9Ctlln3p14vGbPkodzOCziTYvzR/09cOoskSc9NXpljlL+1/nwSYo/PbY3O5IspRxMfi9xCR7L3yLb3nhM9snxyDDlsdL1lEuB7yeviu0F9/SPj/XDdm8i/03NoNdHgZ1GyN6NPlN4n1xLHzzVfYEXb5JueI272ei+s8QD4DeTF2R3PBa4RVxB7YOIn1aUDlHThPxj81KzMYm9d+2R4LPw5UsGNlw8sMP54hQ8p8+a4G+awknoKjzNaLgVbNti0omGrUWFPswVYmbCTfKNzg3SO3ypYiT2Kb1XMX9+RNQN2lq1/hC19PZOnXuV78MmFJ4WXncfGjX42H5f9wUUe2NLqYPtP0S1n2B54vKej4J/+Fz5A+eZiHVnUl492Vn+qb2TahzIK6Ev7ab0wmvF19K7wR04x3KFMBp2r2G2Ku1RPR3xPJykY+lsYIGM/L33nz0f9R4/RJ/JurJZcAtu256x57F96NDPsG/km16IXM+nUcfyK32WGt7E9Kx/W2Hn1mqqoyHPwPs4v/G94lVsgeewD1Xc6LwH+cdroxZkJz0jmN/t9lnys8VNop5lZdk3ntd5lBVkC8mFEwM7775Q1CDsELWTyPrf9K7sN76pMHfUD26ueh1qctB7x1FDZIfpwcKngSnpbaAPhVq4vle0PuR3iAvxEeT1vMb39cCW2+s5kbv8GMnEuMeFa9Av7ILn2XeVfPfeFjHFjuKIyPt07x1zIVaWn0VPvfZ6mPpN8Vf4Os/HfCn71Xuq4krHIjELpmG+P31GdeDgPN6PPUf28kOkm16HOUG2jZoG4qxWXfn5+oOKocBe1P7wTuQdmldGHVxVfdrsJzwbtW3ei9IT2HKOyBmCgU3mGnerVxOu2GWtrryi59B30QwLZIa8HrIPz+6xm9nZzpioCzw3uIFFNJuE/BC5MH8Gk7nka/Xj8zlqg5rMrjlOutA/n/ALz5NmFbcTR3isFz30xL/YGuQaP9Kk//tbyS25DTgJnj19OvKaVwWeGB44fFfZHfoxqDvOfiXZJF5nrzx+mxx5ryWEzfzPD6rtSc6QflMbAD9NbOzvdKrqS9p3i29DLtymRa8D6+H2aEJgAfLYZpMqt0be3WS+da9shud3bO9zn8pWY8u4PzNwWi8rL5azz478h91vUswGIe9+Uuh+I3pF7U96u3CC9zauFnVRO8dcFrjQl2Xf+YMccv08tmR5YXn41Nr503A3/gG5I1/puaZ75GPh/5Epj3k+UW4bHwaeIR9cf054HX3Gv4Af2GfsBljcce3iuic2CZuKHfZnmy/iuTcUJ7boSVlVz8g1Ou+HPT03Pv9h4NWG8IbPa/mt7B62KrkuYv9vhAWcUytp7Xh/r6/5fXDD4OrrlQcpLxV27tioc2F/TpD+O5e7uPwcHAE9eugjve/kaKmnBZ86Z/+l1sjzposL58IPu6wOVR6KGIgYtPitdAObkB4Qa7GTcpOeR63IBnhO2mSpfIJ0rjYucMNNiqtY0yk8Fbkd8gNwc43oPStTf/qD+rrpQ3ScvVnM0dhM8Q1cdW5K3viU4D0nqD7LewfPCTt+a8jhBMUX+D3WtPCS9tFr3n4bXPA7io+oV/XYYAZ9n3il/UHYXtOz5KTgIIrCkXAhcJtuA66fxn/4LKmG/p1cqs+6j31Rz+MzeJ4Inv8W2eQWuWJij1R6Qj2m4xL83V9C/59XXc2Is6MvqhVYfkdxecXVVW/l8ve9ZL2xTPSl3SQcg40lHw6vQwyEXhD7YG+m4uZz5KOIi9IbJD9ev3ZM2JSzAxOXpnEEXIs4kt5ucGHl4eApFxYOpA6NHIzXDs6k3AF9D67PR8d17lX+jBpRr18py0ZR7wVGnlILAaao3SS5ofbT++JT2WmvRVpbtebsPzlPaoN8htg2ymU1bxKmhW/ClnoOdULEJWtKx93X3ih9rj0pvg/73rhR/t9rWj5XDra0u3onwGXUCtUfUV6O/jj8hOcJZhSHQT6wfaGwrteS7CIs6n1yj8re+IyBicJg+H/yatRbleOP+9WVFMuT56OeA/0j/0CuhTpg7Bl6Rm4W7tlnJcEXHifM2v1y+AZ7pjp1NCaL6YERP5s/yn6pWj/Wh9iP+BBM5Pm9B/Xs5EnIc6Lv4ByvUZwgm4bd8Lz328pnk0/2XOAI5Y2p8fB4/W3ZbHhxr4t9L/L+/9UMBscGO4gno4/AMc2mipWQh/pFyld4LdgQ6SLPxJqC+YijwDde+3SP4ofU9ix7R/AW9D/9SXqEHXcuZabIXzwZM8AmKrbEN1BD6/6Q/PvWwnpeM7yv8v7YCzBh6yzFb9gSz19sHLk2s72jkrBfE6If/wbZS/bd67Fa4jawmcQv5FjTC6LO/NGorR2sWMTzZV/r3p4P6sgmMeeHmqjmzdG3cJvyu15neHHwlhtH3Gb6mYSeuf4Mkl3AJsLLIHte5xw8cMXukf43+MYJqq3znqVxitvLf1B+kv5G6oZyp4qbYz1ZC6+vWVx2KTsk/MAk5SG8T2c+5TKaqwSvubpiTP52fbHPdu5SPAPuJn8ID0m9fT/5FrjduSMvNGvEwdcr9mb/iy8o1vXekUnBb5wsfSAX6xjdnj9/UsxKWzl6upeXv2vlQ3a+jzqlYeK1PVd3vbhbr12LXmH3i+eohgvfzgwX8vI8C3tHfQu2svcr6QK2HXviMcDT6g3iechFeh/rmdIp9txjnN1VS0UNmNcohK0hbgKXF14MLN0tm4AfHnuA7B65Fe/lC4yLLUdG6v3ywdihIjiNfAmYdnvZNuxDc//gkkyvqqO01wWTi9R8QOeMqEej7p6ZVGN0vfYhkkufYWI2uTqLer28Tnh31ehQV9K/eMzdMFtWeUJ/w8vn3o3ZPtQ7nCyOF747tfdtPyCuv2B4uGZ71zB8llC7f0TwXOb7szE30Xvq8J2rqw+r9oJ6RIrw+Pb9Qk7rNtb2KkcN4QmyH+n5+j1YJUsMyzM8obx365/6DP1peeLiJ5SH9HiL+TfUkA9VH4PXw/L+n2nORLqIarBqX9h9wfHkUl6N2PZz8fQ5k532TFFDaPtR2FH51Co11OSsM2HjPtNn63DHtajRP0PPlbF3zr0mPiwx21UNf8t7oK8t/D11ebOrZyWxZ+7FRoOTDpW+kMuv2L9b5wmvwH/U140+WJOVGrNX6PuKHA1zG3jOmslDkfh/Nq0Zc6HQAfaW+7q9JI40H9Zrvrht2KFg714idqB3hv6JF8RFZ+BEDBunpquV1VTzwT7iy8rvKpaqG1butXg8c4p6S/AdPZ9qjWsL2jXpXfqD/APfqW+unqrchaozrFocVVgl1m5lxdUVeJ9fqbYI+U4Md7UNn+W+iJov+sOIW4Zprlbd/GqypnxSajKZvV7xPnKBLHTA6vbdvK1j+TRx1vwuf1zIltnhJK/4Cd4p94hyjlVq9ZmLZPdMbP+rZucz9J5OkHyki8nGFBfSvcnLpDupxgDf7Jx5VX0ujTXUg0lNMXaLGQzUs1eY8UFv3hGqL6D+hPoy6jezt8hety0+Ta7Rs7fnU79GeqH0MP+8csjoAnlcrlU2nJO3ve+soVw/XHBie9uTlz/yPMxpwv7MCcxuoB7F7I2Kk33//2zPYtcoYEcNc9WOCe7jee0tNXHpe5KXyob2b+ZNUq9smLK2mHpoCnvFTBjk5krtX3YrW0Pitr8pl08NY/kR1SvCC9ThscDrMwav9EflLWv3qIfU+1ZMX1sWDxXgVQ0Ht+0ZU/K+9L7jd9aRf6I/ckotSYu5PPStEN8dLv3lWRLDUa0j7Y/JQeHcsFmT9f7N30pWyclmrxDnUUjELVVNlrO7aoYS+S7iu7LtSRs+kFwBeWdsxSnSyQa2iHc8VnatbvJV7o8ehltkX7A3+CNyVNg9sBnr6z3iMS8hOS/Wc/nIkf5VHAPylzObXfuN7AI1RPDddft+cTvhHeRwxNZ6Nua/0UtUpwesrJp1cvP5JOY+kD+aVzpCrTOyj2xRo4Xuwk2z7/TcY/PJJSV7a9+qZgcKj8new8GRV62Yjci/ErWYr0i/sCn5PZUbwU6P2Tyuv6T2i/sRW2DD+vfT99rtkDmzB603VSNZODT6aP8h3+zyRX6G9TH5SbuijrgeurWU3il/Z9SLLqaeWrf5103rq2WPyMF6rH2a9IDn897PC2X7U7jk/cM+nSj5SvGzOwsDFsj9vSMZR6Zan0kGfKaV2evC1pLD1nhxPdQqJROCFzA5KSwiGaTWPHd65NvIYdhaJ1nxEqxrmZpz0+MmOfeVo291cKzNK/oOWC+/tfJF+EPiZ/YGO809wWjpx8o1FH4tvhH70lwvbKlds0ifKj6LnBn18AtGzTmz2OqKs5OVNTO6epFkwOPdf4Z9pS7vFuUQK7spdqAmKXuO5Lq4tL6DHMI3oP/4z+x7wojYY3CN++wvND/b13rLqLlGR24WnqBWkD441rdq9rRzmWxzflLEA235UnIFSfQK5+k5bek6zBEp2z2Ky0vW6+/Kp6fLKQ+SJ094n/gAcojMus4eKryTeUv17/SVVQZJbrCJCZzev9VrRW6tHPYK3I4tbH+lmLRq8pJ9Uu/CXEKXL+zGd/JxedOZwpaSoWImakzWVW+a++EnFC+gC/iNSlk64zkT28d8l3h013H7U9gnalcOkv1iLcE0bpPGaj3BMDw/vWy573Vtf05mGnwmH49Px44UDgt9oo95lDASz5o1/cytL1lu9snvU0vkNowakVfU84B+pmtHTegjwVnvLh9Kz3fZ1ii/m94DrOh7ZM+a/FOyCsfFnvF7+s8O5113kQ8rzqLcofsx08/GbMJPla0lB85fvKnZTtSWgmESu3czJ7tM/jz/vuqLi4OlX/hveHB/HmplbA3aJ6kWJKU/dz/JA3YbHISc1WxNDr9S+05+jOfGJ+D3CrcJz2KH02djLpU9WwW/dp98bXUpYRdst9dyM397B+lLsqt6DHzW02zi8vCT1MV7ru9DrQt4Lm92a6zJUP1KzZH0OexrqiYDn5FMFPZjVk4F+/q97kfdZwUedWvpNjn9DL7zw6iFOlI5B7AI/VJguzrxAX1RzK97RuuVZw7v1YqnWH/s/nDzxym5mS5h8MpWirPzJts1+97YVHY3b8+R2vt1dpSNxvYis/mHxFHy7/QQ8U/YAfabd8M2ZP+jPgPywrnLxf8yEwSsRZ4RPEBOD4zr/aLY8+WFbwrkPs32JCfIRnpP4Tn6Dvrt/cabimcq/Fb5DPAiPWD0NDkfZmubzqF4qIodZAbu7NJXZB2fRg+fx0/3KQ71Wgjb1zbr+LJilpZhv/Q4zQTBfxGTcy3uld803vt2yWV+TuEr+hTS3+h6cM0p+GQu2QTiLOpbuCd1BvgT9sp7nk7VDAlsBOtdpy/CMF+B2qzTtGfEuNit8trCG7U95c/gJpEhYkd/nt3EU7afFq4qPKFYxmsCNhHW4Rnz7whr8T5gBs8/zSn7gw5if70+ch3Jc/to+95K8qnEOWlNctsw+9If/hS/hf30eKCkmdHYV2wKdhncgFyzfmDSzvzaK+rMwN/tX4vHzB8gvfKeoo+jR2CC8pm5f0b/+JWxLs8Ij2XvDPtrWCFZT/sDDq/FTGdwco684nfCqexB9emYpVrRbMfifYE7t9KeOTYBrx8SdVS2xm3yDZsqZ4D9ZP2SYyUb1MmgW6xrcrx8Bs/hPgpOlb6bTsSkyCYcFnhxg+i7HyIsge3OzSfsTj2zY2rTob7bZOcbtvfFrRUX+vyQByXTfA7/0IATIMc0g2Z+Y0eTHaL+cCX5ObczcFpwOYsphsTPsN5jnpM/zI3SDEpwi/OhO6uHs3aefDI2EBlslmMWz1idS8BzedxjNrQGFjQZKpaiJvs72VpqPtI3pZPYWGLp5kmKacAonte4XPmSsS3JZYlZ4w/IHoN3qJ1zv3+A4kmPZTeUn8W+117RetbXl+9q/iPiuGclo9SjMoPE8dDswizYL3A2+wpOIWYEuxNflLZQTqRNzQnzfFYSh56x7/Thl+A2bD0zh0lG0f2KYYPqVap1yNnz9y0UeO1AzSsoGfbJ7Csblb4uP0b+BF/aM062m1kk+az8GLOeqteqZ4iZ633UFm8UMWA5eqnulUyhTxn6ls5Uv2fF/Gfmefl57By/y3wkuSSmcj1dVX65tmPkNM6QvjeJz/ZXrVv5WWEObBFx2OG2H1lyID3KM1Tsc5kFhcuzZhf6no9+tOViBiz6bL4g+6jk2DHxQsLw7hvNr2Z20sz7qtmIbvhsu29lXuWb8M/EK34uykfCnlVq78F5Fwam31L4nevxvj30T12iPe2+39Z9W+HJLHGP7V9+UJyVsY90ivcg9iA3kTWMUYYfMb9fmkU5IN6hjs9bXBiHeJO42PMf/4y/H5Tddbtm61riXvZc3ccq3kH+wJPU6FYMQ2WozwXT7iUfWDa5yY5X74z39tP3NDg4CJPfDLPHTaYzpofZnGxDDzWAN4pbJw9Unqy1zp0V9vH46LegdxadWlkxcX5ozLS4SOsK3gFj5hfVeuYvUT4DOwAuBy/05SLWeUb5HfiTrMluH1jSbEvG9LbvU/v7XeE05KMEv7+zZAIb4fb+EPXEZOx7I1+STpQN2xTuCtx1Q/AQf5Uu9qyknHaJPOGUnGotdPZaxfb4E/aLmKzypWSgwgxNW5OeinKB5VMky4WTlLdENzLU45kN6Xsg5nqj++RCDVscZ3ahNEy4pWw4LDO7Zh1zPeTCZeoN1QphZ9vXiWvlvfqeFvfRQ+35RtKrciv877yq8+R63kPzDz3HqH20Z33w7zvKfmSKkiUwhsfyKwsrsObYFWwDMt1jdj8hJjT/1ru7ck68E/YRncQPY4uyu0Vc/IVsqc9nuCJy4xXlSLFB5EbRLeIzMD99mmAWanTr1PJ3NAcT20fuoUSsnFUulVgSe9hr+DK/YZyXMlT4h5lI+HDXn0Qyxl6B3/ERxN7EQh4PUTdAXn09YdH0KulUdlvZlUpbmB7fN/Lvsi/VN9Vni54xOx8b2s5Lz7CX2Iye9ZX77KE213xTZiHlzTPUpG+o/CW5GXBGfjbJML7R5d7WfNT9+hy8bndROQ5+lzV5q14RMd0ngRkHCwsQm4N94I+yhr0y5l+64dDMP2b+oWdhv2wJu0r04tJvZ3vQt1fM3KH++gStI3xS+ffyq8QvnO3ivepDZFN5DnSuG27+reDu4bSLwqQZeqjsGn1jJKdZZrflZNvRvwz1dB/Jj/R8r/xuezb5Knwq+BKbXDb8WKQ+s1uyR5zu175XeTT6gjmjBBlhPcApU2S7YO+Tmcn+fYH4YOI71it9SGfIZL7UHifwdGcpD1v4j/JacJLMK2icqdgfHUd2sYXscc+lmhOHvmdXDz95ita9fKB0x/MrzPNYSDktnps/2ee1Dz3kac/QNdCbvtmVKwdH4H+9BnxT8QvlIYpZyGtk7d2666q1Kp+hZ8rZHtbmk8yxPyXDCJmmckiOVx4MO17S/+Hpc5fGfPzDtYfEoewpmATsU51RejESn7ZM9PaPjJjD7lVcRzoDV1EiH0Hc/aL8SPUEYXxsUfYGxWa8YzlwEnIGz4W9LbMHGeEht7O3a75RnnzCVrKP2HU+h3yDAbr3Cx+1ofSld235M/aXP2Ay7IP3V1DfZOvYbfcqLSeuy2N74vhEPZI+E+EM2VI4NuIllzXzPyM3Uo6D3DL+MdcJ33+ufG+ZvpmF9a6leyOX86r6G3qorTlJ9X4+q2VGxVDkDLweYinl2OG7sCPOWc0fnMt8woPkVdOJyr/hS6lnz82gPBc6j+3mfVJmL62iPEzrTNmLwl+1l+QB2mOk59Qygr+wv42C4mliq9RscnMXyVChrTy6180sofVvPKNcDbaA2icwA76ca/ssrEsUK5QOFpZ3vLqq/HjefE/362FT/6oaDN4XzsjzP7eqbpu+S/aW3AP74HMFbX0y1MXMK1zm+PYV2fw+i4+yuwuH9VgsW/3AZOE5yTpxNn2orDt6iU2o3K9/Jy8rXqEX3PvDPxNHxLNhx8FpxA/Vx5RfJNfVoE7hJuVZsAvUVOCHqJ3PwXUfoViQGUXOiT6k/A056OyBivXoA2cPvJZ2rPaK//sc2fn13sQPqdmEtKXYOzU9G0k+Z2LIIXzLpcKd+ELPk/QrZiL2wxYzC5R8YbqJ8qBwVtw7a3pR+Fbr3f9r6QA5PfKA6bfKA2J/yffjC+lLJ4dNnX1xT2F8P4OL3tO3I09/YLzf6/puGjONkUl4XvryvR/jTeUbmPFD73lqv09sbVpPRj6eGqN5hQfgZ5FPYn30m7jbub3t9Id8uedR4F4OVl2z50EnqDYnF3FLoUezq9hLaoHIB1FrSe6LPL/PUaTOfn7ZMfhx+NdGr/J+1LIhc9g5Yk/HyuTsHlOM26Ifai7NQHX+5CCd7UYdWq4WuYOYgef84eLBz78dtQqPCCPRD42++pl7r8Q8seeEd5zzPlIxpc8dwu7eqDmX1DQXJwmTsF7k+XIzRt5vl+BF/6zv8w5+huFSko3qUcq1EJd7/uA01SYR23IdeAv2DBwMxwl3SR8H/2at4dbAktRIdMc8h/L2stOtY6JXrCMsnDNf1veUcDsxDPEtc1J7mHtlPiYzJmaP7iasVH5f2B6OB8yNnIHLiTmxZ+QP8P/YHGwy/oe8HT+jRxt8nDlN2A0dAweWDQdUTZ4y2wmPUndNbsbzCR3hQXIAuTPEV3g+0fS+xBzO83UfMBRrC57pzCsbDcaurijujLkr6GPtRdkQ6lRZe+TasetvxPmBqT0eM7/Td7TqFMk3of/INj7E8fdg4RpsEzENdgUbmgU7UUdLTabJRc70O2d2rHSSbEGJ2vDvJNP4CPyU/5taipcU6zqGfECcG7U0JVuvvoYwC7iu5yDZudpDwqvYCn6PX+M64Hv2iJwLcUT1uWl+zOuO7H6Zz4QDwRcjsQEfizsCB5Cr6zlFcV2JeW/0iRQV55feFe8H7550KaZrkgvYK7DXXcKi2ZGSD/wMOCm3WdRcPii8UVknsI09Y+aPwjTsV20R1aDi8312BzOzdgjfYFi0Ct+ze+CHvOLGtvnW3GfycT2bKaYingVv9HymnJnnEe36PcdKD3iGAnOEhkW8sa38Wm5p9fOATahhZn4fufuRtqc9awvTep3nu1qPCrXJtv49pl+Z+8VDd5svKm2sGlTiLWLFEesp59VXFpeTH6V5sHmLW3rOU8+x+85tInYYJhtCDND6SnNCioXIhZ4pfcV393HfT7SnTfLv+4VPPV2+eWToBDl0eFh8EHLGd/i97+VL8oXg6cwdobdrCLsTc/WZjPW9o/Un34nOw/FRn4mNKQyTzcltL99be1q5gdHmfzNniuNGXtjr+jHChyX6Fk2uevYP+X9GfR6louKkjNmk3N3CaSW7ZiYjvJNZQM/F/pHHgBNJX1IM7TM23xUXVdpRuQz4SeKynlvV/5OZx373quJ/57u2V11BcXHN0kvx3bcrH9u/etRPUD9I3e/KsmvkOHNgoqHKU5AjhrtBF8v2rKW/qjY9f77iZWSSedfUxLLe3fNo7ZEhMBV6Y6/n+TnsSfZ+6TBnDuCnGhcIa3j8M1n2j5kRHbNnxfmEJcCdcFbIDHlN/D1cJXwG84vw3a3NgxvBrl+vvAk1tR7Xry3dJH708+22Ei50vXkh8s3zq3fP+Tr2jLqfJ2KGcF3P4vzUtpHDCfxXvkN7hm2pLiP737xONXTNiH89dzNZ++65nA+1PsgGcp/dW3jTOcQ35Ysci6YR876veJr+HuxJ5lOL1T9Xfp24j14nYih8fcZksO8N2UOwEbaZ+/NsYGLiaWw7GJqcXk9TtYToB3P9iDlbe6k+t+8/spXZY+RXmBONrmIbqLEkp+e1gXOpzsPro+aPGqvV5Mf6TL8zqepEe/fSO5OraI7QZ9uG6Wtvxvy73wnzOfe2hvBx60qtBfE8PFnxVP0em5TP6FrE92miGIIYwM9kPjk4iFmi3mV95UDB1Y4frojapncVCyerKdZifgGfBxM5X2G6k7Xv5baMPO0lEdPeJZtefkJ2A8xZyQXn+hf5GbhgfClzcdOYF0w+sxWzjeFKnX8nruzT/pWIx2aQXmbtmrXVhPl4tmxVPD35E3C9z7bdTf7dz0HYWOtGbQAySY9VZUqfs9nevtHKAVSuld2qUaPzg2rZsBtwFtTSeh76RK0fe8Se4GsPu0RcBHvdPYtyl/k7lGtiLd3Gmp3u+0T6Q66Hminko7KIagB6zS/2HSY5JP6uXBy+5AnhLniB0n5aW3QMm8fZP8gcOeBaUbiRGZHoEHYXX3vcJWGLTKYL38vuk3NnTZEH+k+z98hWce3MnMpXIHfl8/Wu5Ihqv5c+kbNnfcgRep7vg5gLSP37D1HTfq/4Eq9z+kH+zO3dg5E3sX063uSnd2bpvdv12aXHjp82Dey3o+b29axg322ono0c1ZivwxeTj0b2TB96Nhe/mWWeyePiaarUvJZUY+aYYDHNuAQn8H32PBM+ugMWgMf/XhgU+fdaxYNVn03NGH60ZvdJDHv03Rx1fi+ql4/fZ4i/P5dfQu54ZvAu/Fwm+HLygH7WCTlEeO/vJMM9b4qbcEzBNZaIvX1LskjeGT3JvRe2akvdz/dsQWEp8F7rb+J4xv1HNZfV02KW7J7yL9g/bAf5TGr2ycNSl+i1pHcrzwAexkZmqDU/N+bxzinfiVxQh0E/MTEStXhgm9qm0mXyiMQ1YG/yFN7L+olkG7+EjffcVmBw8oPUkpEjLv5OvpB8TvZDfSZzrtYLvcuyrjXZNnLsxBWlGVWb6D1Eryn3R/0t2DMTOfMptbPYvJytc3aEfFDlt6ptaS0QedV1FYPAc7Tflz6NY+7Nd7Iv1G8xa5t6ST+vboeoKzIb2zFcUDxDWIAY2uPUSdL9gslY63cRs9r/O68p5veeYvPjhe1VJ48PIG7D3pAzY5+pA6ZmAC6bfAA59eo4cfeen6Zv7WDVGTGzA//u+ZZa5GCvVM1F7ryYE3KKaqcc47TiXOlLpKNgSK+Lps5/FdWaoi/MyHZdPFCfq5oclVbS2tNTS+0ANZ3paeppgCOm9s6/v6fW0zn6G6LG5V7lNzy3+r1qVKu7KGbgrCQ/33jP6Ms9SLWjzE3DZpFvKNo69tNjeVjUT62vn6d/kb6zHz6X4XPJLLwQZ7JRf0afHrUvYDo4AOaaT8mP4TOSXMw8zgc+4Zxp85m9SysvXjSZ7ryo+N7rfV4Jfnk98Xc+9/A14ROvqf+P/Gtr2di/i8Xruh4w//wA2Vhiucq68l9ej3JD1CpRu/6A8m3EEeAmeqSz8bz4AurcqvTc7KyerM6jUV/8F3F/xHjomPPynCPGmUKT5T9zTekbOC33K8Vr4FvymNjQ3NxRH9ItP1HcI2r6Zo65EWtrXmPzNc306qwXOneJ+GaehT4KavKds7tLOQNyG94HsUnMBLha9p36FdaZ2l/qAKjzd2x7hdaP9ew9TDnkqmGe/OPBSV8leT6MHPBDigeJJw/PRf3DJOW5kQVke/Tpsu3gJ/wHtoUZM/Dk1GBSb8N34Fy5H7E1//aaswnyf9jd/GLKAXlO5hnlLD2Xz1wnW6veRxTzO7a8RbMByBl6rj5m8mOT8dFwDtTpgHmc4y8HH1QU58tMQT9jtKn5196zuHb0q9l1eh/WvAL4OfoN8DXNfcRz4H+rg8U9wVlkbg6ff6R8DucQkN8Dd7bnVmyBfLkN20bxc8nkoe8h/YycHvGlz2S6UxwVOI9z0uDxfG7ln+W3yBU6xvudcqLoBudUOA8zu/7vfINdL/OAsBpxT4fzuMZMq5v28+IvFK+KHU5ejRq7HZV/4x70PvBc+FRwL3UY6Cf38XzzyYGzIpfV/a/A+ENVb+jn9CyvfW3Or+uAHxxzTZTuep1NTXWcrE3pRekzfCTy5b0bwady7ynnYZDnAzu0vlZeBxmqn6a8sXOEZksKFvcV/6b8E/VCnPvAGRZTzlmvPqMcJXxIE/4DWzU+zn+8XXXs2JvCztJzn6t7b8xJPUXn0viMkBPVFw9XyVwUYkLnN+CEJ6oOyGdqL6M+sZJh5OzOknliwuza0TdLbGbfKV8p/wo+BA/hnysm892fK3dJ7p46x9qvheHYQ+wH9VvUJZMT8TNxJypOI/dQPVI5ZfYO/wXe4XvcgxibOBpO0uVpE2GwHPfZSzgE/187SziCnCf5CfA+cRMy5bWEb4o/x3bzXN3vRH8HdmVGYU/2AB8MFqWurvZY1IluEzmbbSJ/d62wZd/f49ySF6JueEKc27KtMFnrGXH49ADCo5cvVQ6xebn6LUrMs/itMBq+oHqhOLyeKxV/VkYqXwrOoT5p3CGKicAj1CSBpal1oa6mHrwvcgoHCb52vacm42/K51HfAk7gnZ1T/SbO6TlGdgvulJiMmTBwkLljw371S3Z5d++B+rfkO52svXUO7Qj1/SE3Sb/OcaBOAn2iPoVaD3jx6j6yMc7v/lU12/D21E6BobOP6JwSckGew71UNq20qPYMfwXnRD4OXtR5nBtUe+wx3CDlMTlDAb2DE+zbVPlkZA35bz8S9d+fRhz7kmwldjn7ivwKuMJzaGaTs4P13Pji0gLK/8BBUfPvtWL7R7wB55cVz+7PtonORMkzt2lfzTtx2/iC8BwymyyruiLO74Lba9vvetuqZ3bZ+lR10j4n+QXNzeGcofRWzTjNB1/EeTMd+11hqPxP4Vrl5JmR4jnJN3X2YLq1MAI9T8SEVZOj9ieaWUAdJLYtR07+GNX3Nsz2JA8pZ5CJ2VSFi1Uvw/7wb3geerZ5FnAu5xzRr8xMbPqk017xMjwTtpKa2uYk9Xtjg5ml6P3uc6hnnXrAQiqfM5xzQrbUPrAGhauUw/ezzccK9/DOjgvP11mjnL2V7irZIL8I9qAWgX5bsBPzvrhW8zfipOi99bmW1Axtq/r9vm/Vi1o3fR2+lTj9gn2m5wjJFbmXapd6B5I486Jxmvo8/LwSeoLtvUZxfscC8TzMsVhTM3aoTSU/RC19dh/pOXNk6DVHdspPS/fobWbGCPuTeVTnQ+Z2VT0i34PXprbVubV9hX3oF+LML9Yzf7r8bx2fu67qlMF7zeAQy8gd8rGx/F5yiPJYNWKSS9SHW/42evDmVf6X3s78CeJemRnHjJbKnHEO3aL6Gx6WezWi3539K9IfvrXWAT3jDD7qQFmzzPaSO+SUmJDcQHnr0BezNVnDSsVdFDMjT5V91ede/mfoGxzZ6eLdnKO1Z6xwHqr5r/Qp9WZ4vfIfNVciR//SS1oLZGPUKjG323xMj71n82vlXsmFw6kRL+WOjliMuKg2jWuGe61upXfKHKuzXkvYamqfzTako2I+Ab0Rr+t5c88or8PvqB1p1PVuzDdlL7Dr9DsyH699h2r7sdEVapsuCv71WdXqV+fU+nPPHLVqWymPTM6YHCc2I6Wf6XrNQKAeH2xeMbnseVYxJ3FXnjqJI2ULPSbYSjO1eFZyA4Wa5jMxizelf3JxcUeF3eLs0rNj/hcY+r9RO7+Raq3zv9b+Zg/RzIJqVdfIXKIeqwr9JkdqTakf6GFm9NmyA+XxkomE89cuUO8YcZj3+cDvf6tZNJ4bMHlKDpS/Q36pvYQDdZm/U/OO6NcmFuf+2PZ0KcU8pT0U56NbPhfzBuEe/CJrwRkp2cvVS0bttucwqSFcQ2f5ZDgbCvtmfrV6jdYR7Nhj61GEr+Ic5xf0jOhI59ToTT1CPodZU+7vn9bcg9IXkjVid2QjN15zHckrkocjV+PnH9wqOUqIG5/SjAz6zZnrybNi2+DS/DyzOyVbzb/ItjBvCX1kBpD3zJ2lMybhidGdwlcxp31+zYLkHYnVk0c045Q9oO4Ae5gcHmfajFD87T5wveipfSTON1g+zlB9WXPmOZebeUf07HvO4Pmob/lOMzXyC6v3OvuC+A8/w9DeY/jsyjnxXD7X/ew4272kuZd+Jt9I2SOPVW4L27aRvp+xdet5IepQd9ScmMLb6m2hHyiNs+x5tw6zgOkvWCm4jm7JI7xWoR6x/1c684fzH7wubm7NjAIneO1vIv49v0n4r544M81ixt4VNAe1OUHcOfLfxxxueiRmFqbsuUc8P/ck3veZAVdpbzP22dFrxs8/Vp6hMI/m/jAbNL+OOMgS9TH2XqVZo1b0XMWWnDHodXRfaFYc9SE+Y+ExzbZx2wzuyijeyxJLwlV36Z0yV+q5OKuDmrUe80cZ+jPmVk028dfhZr8SavJN19JuzQ507tD2sNSluZJ+Pk5Ze8p71ZaJmZgm25kNxB+Tnyq9IMwLRinurvsUxw3okzY/nD1f9SI+6+oK6RGzFDlTFR6TP+Qu+yrCgMeNUf+N92jS63utztTg3c3sea1C97fK4xOLw32CX1gDaoPdJs4i3WFv4AOI6amRofetbx/JOD6CPcjupNmzzHPzczz7VA+WXVBzH1oWt/VQI2C61JMIj4Mf6UvnPoVHozdzu2n5AT9/l3zypdHz8n7M5qH33GSls4nmF2Vnklygk2Af5qAzJwT84XNSjlCOp7WB8mY9+6qHp+dd9b3nhuq90pglij3GP5Pjy7L3o5Sbz3AW+XKaSU+s5ny2+dK+WcW5MXPSeYObY+7hn/X73u9DlvvjzNML1ONGzxV+nNlYuZg7n/1YPoXzQpgjU31ec9+95oc41T434jDZQs8vn6ReOscYZvvLdq3uhq7h5/fZu/WN1dmrzBxLmI17ouwAc3bgX+CI+0y+e5kDupr9O+Tfebfhkgk/uyovmYE37V9RGAoZYMYZ59PCZzEnL/8HzeKkvstrqq5TDQs6iT5W7P89xGHdWmtsbD/xwaC4Bz0r28U51COmnRPFZ/tO1hxccDL5I2b6MOsKTpw5o9RJkudmFil9t8gT74Qe4FM408p9u/27n/rpecVXgy35PnjG+f1dI8d3iOaiZBPN1mCGH31+2H3OTOKZiutGzdWsUXt5q+5BraPPVja57D9GcQV2m35kr6c7QPac2eWsEX31zHwi9mK9jmeexw1hi+jTGh96coR8QfphfG8ZyRqzH5kNw4xoz9ktpTx38arAYh/qXJmc+YjanJJJzkvL9qq+n7mDfbbW3Z9q3lPmbskz+8HZC8Qb5G04Jxh7iE9mhhc9YcgtvDb1s34mEPHTdtJ1cGJ2Afkx5LLzq5CDjzQjpnC77oVsMSPb62gWUQ4O+4MvY8YV8yHTc3T+V9/10h/sXh9zOjcOn3qRZBlbRX9rGrM7+6ivHK46WWY3UZPPuvKscP74Bz8b8grpLz7W5zaeovih+o5sGfJDrtxz/ZeFLh83bQ4UsxSbMSMmuUC5WewueQVsRPH+yMWWxFf2ThJ/CA+Rp876ctm7FjVsW+m88bLJVM+iiq2w3847mC/oHh9nHs2h3livrT5dc5383LlTtOZg5My3MceNOuvZVKfluvG5fJPPp3s/ZssU9a78jP0uLaEYlrPqXTbO1P6x3sgudpFZOdV95avw7WAfZggm/5VPZE/B6Owfet2zt2ZecR4EeIc8BPaId+P5mNOY/jtmaa+mGhZmPjMjCiwCxiDHBn6kxsHnPg/RHmRWkK/EN4LzwRNen0Nd9iPCSvgY5IR9cf4F32D7WDKd7CY2NZnpXCe/wly78iuBdz5W3MU+sEbMtwMfUKtVuUOzud2m/Vr3YD4ls2KrQ3R+J2cqJXPG3EXT9f4Zw4ZcqlmsyDvPytkeWVuHngNjXojJ9XHUcnyus83YG/YNX9i3fsjeD5ozk54ljsbnhO2hPA+zqtr23eGPa9+IZZkJQtyB7iILfgY9nPaC4uaowa5+Lv/fO0E2n3MUfKYe5wQmmu1BDRk14z578Hn1KFPLzIxeepVrc+gZyQlxxsKU+Qv0YniN8/uymZyFgs4ib8nWklufCTtIffKcKUNvQOa4sB3XxZnRPO+NyttiC0b+S7O8fYYI87fPCqzDvE36KqlVO08zDsk3YB/4OfYem+Jz4+wd2/+STScHBt7C3xCjYFuwG9XxmpdM7p96MtaJ+JQ5jO0dlNcgfkUem4FrC9R2mC73vamYivoJ73FYS/Z9+N56J2ra/EypQYqnwLrsKTbaa90WkJyW/6tZ203m0nN2y6CoK0aHDxbu9nnZ9Igup74dbHLzFdVV0odNn196hp7P/ck44UzkCdwNVmBtqHHnWZE1uH3WjlniR5qvKJ8Us1XfU9wLZkEXcm/EnARmcjAn+mSdtcd1+D72k7yUY6HTFePzXWaqgcV8hsM5URd8kOL7XEvxFvXuOXK/hg1LR0oG4T7QM3LP6AczTLgHeI18AnX2yXFhZ7pUq8McND9TZTntezJSsyiYqU8vDflyfJCfNbicbFG7oNgtxQcwr5+5Qva50fayyXsxs3mU7kOfgJ8NG/kbP5tpBfk+P+N+g5hhfZV6I1Nbz4LpzOFbxblVzM2yvRlJ3cp+0VP9TJzFe6cwTz1m0fvZST3BYWd0BhF5NfCCrzO8/ZKqX8PWp3XNWQMb+lyBqmbUUctLvE9egVxc8nT0TJX1rsTVxMvcO13Wrveu+oG9l4p61ltVVws2oMaM2N9913Hq0SsUw97sqTgBO5D/UlwhucLC85EHW1vzq4kh6vfHfFnTuRGnCHdyVjjnWmTOirj9z/IJ5JnJ2eY/Ej8Fv4h/cNt+nuoNHddcKSxDzgzsysxXMAMxmdsCzk04WLViXpv/kHAQtWw+K+No5exS+P7XJGujn4388XyRV10lzjk1XSvZz9MVA3cer34NYhPy1PmI1ZjlDJ/qPPWjei/sBDG3z2c+Ns6nNhsxvFt65HmpgzR7E133M8HGaD4vvYnZxeWre/dWXp+chM/W/a18FbwE8Sw1COTVKrMKh7ZmFD5KTRb7l9bcC37XHBbxie3V8BGR77b9y+2kcyfBlD7Pd6+YPfax6tjAAsTUfkb06dKF5FTJlfNqT0l//Tyb0+PMxlbM+PhSOQ/mK2C/DzF7X2Qm04naT+r28F+8OzLhNuuyONt1RuXeOAMQrhSshOz63I5NpKfYe48735LNZWYEZ8KS2/a5mJ/p7FL8A+eTUffHGUzgYZ9F/Vj01E+U3DnOX0bcAnaEWejE1cRiHezedrKN4CEwgufTZ9Z3p5yH5LM0VpIMktcu/kNzsKjX4hxwclT5lYWvycuTd8zjY24QniB+ZJ5PfifJVxNcarJculyxe+ljYUL44dJ98gHwpJk9NeeHtUKHK4dEPhs+EB7a1rLvBXG5zOHMPKS5T3AKYBXOw8gcKN4hs59qf8iB+vlZDc0oBtdhR5w7ZKbB4fLZ5M+rSdR67yX5Lu8YNfyzKV9Y20oxL3nGlDyJ+cHSqNijLuU8cwfK11LvCcefmzLzYgbba3pGX1XMUvomZjXQU3G2/ZwcznjNck3PjZkjc0XPy7nBAddlE3gnOBT8Dz12nCFGboXZBdRD4adT6kU+Uk7b8UTk2Kmry78re9V+XHWffr7E39TH5Hlrk8XRH6gHH/moHK4eLWS3GPP7kdUxzERg3sVO0hXO2Ky/GvVox4qzdC5wR+E9eHV6YbAbHqtdozgHG11+PM7qIxe6oOSLmN05wxk1Z5Rz0V1fiZ/gWwbrej4/lDlWm4i3IWea3B1zl7ZWPp57+ZyTJ8Un4u+Ze8WMaeddttN6VDg76dmYAbqmbGpPS7aKOQZuL7EvzJQ6S3mC/LKKR+hJyvYo14z/oz8Ybpj5v8QpeezY0cGndQIzNTRTwc+FPTRyCTPLlmAf6OdCluDQnHe29exjnxPVc5LnxO7Rq4L/I+ZGFukPxU95T+hHmhldmai5Gs2idM/PYxiimS2dO8Tl8H1sMLlbcvucU8qsWmLYniU1H9L7tEaGbG8U87VMlksnBAb4QjLHDBhmbrLu+dOi/247+aVO5DfggOjXI4dPrVsuOCDyipVePXPmVq0fMu/1wFuIU2MeC3225IDhw/M3aIYLXKvr/aqqiYTvRp6YXYD/9NlHJwo/UjdYfkN6macGZWb51AI9/X3BCzNLeTPV7/Iz5w12VX9+8pZmlnssvob41vRYzZ+ClwMTJHH+dtHsefLv8EFfRz/V+MgzLSvettgRz8K5UPCd1HrCPRfwh+Tg9tJ55nCHnvvpjzNuTPaLkyNHv4Z6DVqrxD6eHf3U1GEwQ3Q3nWmGbMHzwmF6r10pzm02mUj/pbl8fgbrasIcYCPOHIRD711K866d41pOtfOprU9xOWHSZNs4v2hmnQ9HbIn/z54mDoqZ+tVYv6bZjxGbys/WXpUMsr8u+1GT2XhXfpO8HWvU/JPOZeVsGT/v/HLVC1KTRbyNbJAzZy4lMsczo7f93ynGL6wvn07NF7US1LHAw+NLkHWfqW/xX3GkcsY+a+YN5Zud69k7+vCWFRbwM9joJX42avfWVi7dcVDUhtJf7vPi4lxiepHAsT5z5Alh9uJQ2Quf3bOU5tGTb3K+Yw71eoDVePd6n9aKXjiuwb3B+95f+IBql7DnzPfCLoHf4NjBZdRFcTYpvbrUwTAvkvmu+eWEzfkd+L53hzgP5mCdBQhX4Gex7K9r974YerKFZMHnrZncpH2qT+QMOJ9pPHPMnUavZlH9YpE654lxnoT5geLsqi1Dfn0OpelJETt+onStas/Uqap2Ec4S2+JnlD+uWU3w2cSmzKji7N9CM3zfm5JDxyrjoibhnqjR2Vx60TYZb49VvQlzteCQsEU+A7opGUDHick5a5mzMsFGYFNq1NhPelk59wwZ7l1Q9qWxrOJR8CF4m1xGy+Sttrry/OROO/bMnaXkr4nH2StsDGfJ+7zJvXR9noUzkfJwMddKbzmXh3WCs+veIWZ1NmTH6KdEbqhjAGMX3ouzhA8M/Zog24lM+TlaZ0ueG+fo+dBT8L+/ez7OF7Pna9reFCuqg6G2BVvh8zV20HO7XSUeMWxSJE/ylfL9zLbzs6kmCgsU8XfmP5M9VY+Fn+M8Zd6zcF3kNE8QlqVXDX6fGqr0PNWXMk8QW9ZixgQ9mhntMee48jfPxjr5XEnzhf3Mu186zlJaQPwU85k4+9BnLZELmBxnq46SXfe551vIn1Pziz5y5gwzLohXsTPN1cKOf6fzFLAt8ErYQ+xXemL0M/9NuswsG/L58DD0H2CPiibfhdVV/8secKa51652i++kvoiZjPgh+OSxUbNIvNnISj46X2guLVwY1+eePhfxJuE7fGXjqJhhZM/XWk4yVzffUrwu+lJnFsZr2TsUmDH6b/Fe1OJxFpvbkxVlz8i1oNfwpcz0Yt4btTWcFeL+uVd1BGBPl6Hlg6/t1XXRNe9leFt+IF0y5lD2iovAFpLD8D78mZUL4H2wgz2vK2ZMX5b8Me+heowwC7gDLODnEOyos1iKi9n69KrPZcrZ3fgsZgi01lQtGHaMOAkcPWoNzU9nhkD9YPXzcJYhdhV/wuf4PDNe6WGGc+ldSzyXzymOc3vgY1jP5pIxL3ZT1dwwIx/bCp+CXy1a/FP8QblGMKCfGfGGfBJ1n+g18/Qdk14qLMK509RBgSuZSZZ+JJvBvKVOLWb3rST+n9pWn+fxnuo44V6py8TWoOfcizw6tWGOg27VvBnsHDJHDs3PV3xW+THydB4rPKDcDvXIw9fV+UJu8zeT3/aeyNOjR2lBnfvjNTsbh0zOKntKDqfFWeD7CsNw9gW6y/c4Oz1lZjL1YxZjFGuqV0sfld6AZbCJrfNVy80zgee933NR3Z/1c7nrxGxmagLMjxe7hVN4L/p5XDduUL9aYdGoGXxCPbxp1ORhc9KZJU/E5dRs+/zBodI1akPancjDLK84z2tQqKNKYxbNM/JJ7hs+lUwUH57mS30+7dbKzYA/sQ18t7Cy4s36YtIf8AO8ITx6srB8UGEr5brdh3Hu+z+if/92+Zx0A9VDOk5aI+bIHh9zSjlPYl7ZXGw4coVsEAeRp/UzXC7S3pIv8jUGO60rveGMIewV8sLMZ2QE++Bx36PKeRbfEn5G55PfBa6+OziRiVGLOLN4L7Bv+n3USl2mfCg+w7le+ps2jhoW7OevVPuHv+SZ2XO4b/KZ6ZzaU+yF1xRtoLiQM0GI/8if+rzeH3StdHbJE+csUKfcXjXOpC1E3ogzjC+V3cSOcG4Fa9qCF9tDNVhgcMd+c0oX+T1Yo3d7YUuf50S+dl7FaPB36BU6QQ2B1yitL3/reHS70OFXlMdw7D1lBuyBUVs6b9inBVTjynxhfk7+tMjsmLbOyALXN/p0jmjytmaY4/sK+8oW1mNuLHEH8xWd+11KsVo9Yg7+hlPkvQpzxtmt7yh/S54OvI8Pw74dsZT2kbyy5xzW1HNRP8u1qDnlfFd/p3/L7xe2kD+EB0OuCtTIzqcZWI5j/ind93XcQ7bC88EXau5Fcr7ib3SE2l6Pw04L/3Vk2PK7lZ+hR69+su7Zm9N+cq4DfRXYAHgVcpjMrXL9NxzZe4Ceo32XZnqih8RRbi/sPi1mP+8SdcabBDalb31T4QnPo+0atuJbxT/or9urQaqx5XPIN2eXYq+Z7+R15D+Ir8CG0KuefCE/MCXfX91DeQnsaPJi5Lx6NDeamnZsLDFdkdrrSfK5zG1p7yZ/zdlqyEQjevXAVLyr4/J7g/+dpPiLPUOviTO4PzJGbXZn36hhXT/s6G7/D8h2jZk="},"answers":{"format":"base64(zlib(one byte per vector, 0 or 1))","sha256":"1a2b54f160c1d7a0d32a313d071a2e4700480a293c20272b2ab934a51b6607f7","answers_zb64":"eNrtmtFuLDkOQ3X+/6d3sDdt81DuwT7sw2AQBGgElSqXLVEkpc4wA/PX5/z3469f4c+vf67w82vc8HORc7VuO/f2Uz8/nz9qlXszM+sPnD/N3FXwHu7mmdjReffstzLr9nNvPOVPiFczjl6fgj8PzLdw9P7zyc99n0yg4DL1cG4+LlDp6K1DX3yt9vNsbHBnejpLdStkci8I2HjxIbjbJRNzgtvoW5t8wvInxN/wTuDuvuWTUSLPNE6h0puH9+IVpxXZdRBWwJ8APIBhhXP8NnjhXFly0l4bXtUSMaqU0AclgPDkDSfjVakHD5WMyu4s4ujy2EXkLDQf9nFoDPICIA+oFgD4HLbCuB7N0qUisqLRkQhGvFgfUU+HdRNyoY8VjVVXUby8wDB73zvMTZ/Thfyrav8MVZv/l6rxq2q/qvY/qtr8qtqvqv2rVK0Cz4K4aglWS3FJ+0P3hwF40drfVW8hn+dxrVWrBsX18KUOJHCS6V3FrKLWm8kIPCp1Mf20CFGHZmZRROZgVMStUb3tbwF0icptaDnT3vIa02XHcii8ChqzHy3V2bx+kVHegnXYdLEwTpmiWVWNEWs7JYdzXCA8tweNpk7xXnnlYh/vRflfbAlPVwjIe7CIbXFVmkK+sv/DDrEJvqXqhVI6RFM0CO+31Qke+0uLorNWwijYtAyl8DSfU+aQl9i9bY7pgEeB8nL7X4Sv9Zu0zU9XUlapNwcvv4hr7kOsPCmVNHXK8jeDxTrLvJ3rgi1dR3VmkubayP+xCiwWOd3NdfogMeT2NFyre72H4i/fH3HmmAo0WKEM9y2Puzz0DbizOMyVFoqb47tcNGnn5gSQ16RqKXS2NPdcDl5SYf287/MsF7aIyrOfODsPT5Kr30OeI+ct7kviB/OY2LQYQc3rjYYMJLsWGekdp2pr98HgcSUB93nZrPNPZbkbafdaRLYItMQW4K5yENMvzBjeRJ5yEdADkYbjKE2C/4XJZLHkmvWKS06cXXCnB5yFJRok3nSsuWFHSdbWE61Ufx7VnbUYwRzLTdTyCfq4l3VmbkHSXeqpKN6uRO+OssnwJco9Y0qqJ7kg2QwoARdkZwzGJmeaOrogSbNvAQpAu/SNW4HJgKIJrycxh06dJiJziTfx++KnVDmCkvvJc6ZbEZP6QWQrsXVLvQ5w6iJNksBfZZJ5hMS4sWitzBIgNntlNHUtPXjK3qUVJTUrKAdQK40a+WG4lcjPjFXjnoGovUMpyUGykYRWBGwvgCYbjqN1so3MJgzKisMqiakxZ4teHTbZSt7h8gAyL4GeCwhC56PO8q68IxOvMOV8ImLfg8MSrhwXJ3YllMMsZ1RDTDRiJaUF2VyNGkPFv0zin/aF6ycpy90zWLWc9nmJKZ5fOWyzZAmXm7WhLnGq2cWyoWSyPZmRJ16MPN3Gs/pNreDWVeKYkJZVprey2usPCMQ0qfz56d7SzlWqgdQBMZ18WVoNpKshwdBf/JTpD6IooMtapIZl9mI0BmIRazLlE8rntEXtGUE+spccA3XOXk1PWeU3yh6niJXmOl2D4mTIJiHPR9cQTRXk2bNvpPU96dkrAm28ybFdRuQakVAawAcVgut45aptt2OlbLOIWE3JQJxd2nH5vuJtq595oBx1lQ7C6NSUIt0CztFUW62vUiRmL6dC4YJpUzJ5uazCPZwerHxMRsEDg8QGapqwQIerWuZNtjt9Fo8W9JFZstsrEZBy+4CDnS7qcAUJz4tTlHdLmsONDk9LjyRcgKQ1eZqtEVeRKc1ZLKwRDaLQNf20u7voqq/ZaYW3C7t12IPGwF0Me5IqE0Vwu+fEYnRnTTHdOTGPyYv7O7VOEVWP1dA0rAcSo9nPLdUcCthDk2LUc4VgYm+kIOV+N/0+1e0E4HYRxhm7cdlDl7rDdekyzvLB7Taka43RAjYOA9az9xmtmWJpVVpNvTTOpDvvqLUy7dbXVEsPcGV2zAgmKzfFVOV1xXuukOjOTfTILLSsuhFPGagpR2fuMT+o92WtPGZkDz6fxof/vQTaw4kpt6/rsWY7wvHXVbBKSc3NJaT8bh8Ndqq4DPzeI039xXWUBfC3BdOWQGgcm0f/y1NakYAp3RDVLMHNQ/vfsdOWC8T6tQZflGeV04kWD5Z+McX/VgvyfwhqBs9/AI9qEj8="},"tests":{"forge_tests_passed":6,"forge_tests_failed":0,"vector_comparison":"last field expected, not arb truth; preserved all input integers via Python int and ABI words","synthetic":{"isArb":31378,"rn":1032,"retailChance":3000},"coverage":["both sides","zero/one-wei/cap/above-cap fees","all reserve binades in supported bounds","tiny and zero payments","n0 exact half-grid ties","forward n values near significand carries","one-wei forward-output neighbours","rn ties-to-even and carry","supported-bound extremes","likelihood binade edges and zero handling"]},"reproduction":{"commands":["python3 run.py /path/to/original/vectors.json.gz"],"steps":["Verify and decode code_zb64 to src/TellMath.sol; verify and decode bundle_zb64 and write its relative-path-to-text entries.","Run the command from the decoded bundle directory; it verifies the supplied corpus hash and bundled reference hash, generates integer ABI fixtures, executes forge test -vv, checks all answers, and writes data/report.json, data/gas.bin, and data/answers.bin."],"requires":"Python stdlib, forge, installed solc 0.8.24, and the original corpus as explicit input. No forge-std, external Solidity imports, engine, or Python packages.","corpus_url":"https://raw.githubusercontent.com/gtmcknight/amm-sim/66604b3426d8e97a73e2c39940b9b4dece51cc73/research/tell/vectors.json.gz","corpus_sha256":"7483623d551bd6334547b6b1fcd621b4d721dd2082011b6c113f083421396947","corpus_embedded":false,"offline":"Execution needs no network after the explicit corpus and compiler inputs are provided. The 751446-byte original corpus is not duplicated in this <60000-byte result.","fetched_hash_check":{"files":34,"mismatches":0,"method":"Pinned fetch.sh checks SHA256SUMS.solved and SHA256SUMS.tell, including README/fetch renames."},"clean_decoded_bundle_replay":"Passed all six tests; exact equality of report, runtime SHA256, answer SHA256 and per-vector gas SHA256.","source_quotes_live_checked":6},"scope":"Detector only. No whole-strategy integration, engine validation, seeds, score, validate result, afterSwap gas or whole-strategy OutOfGas rate claimed.","code_zb64":"eNqtWV2P27YSfd9fMX1orrXr791sAnuT3KRN0QVS3KApkOZeoIBs0TZRfYGk19mm+9/vGUqUKMlyFkj3SaaGwzMzh4dD7WRCH97/+PvonVyLVIvRbSRSIzdSqAX9cvvbWa7CbRKSzmIZSXNP0/Hz8fxqeXY2mUzo32lmMI9uUyO2QpFRYarj0MgspWxDRsSxEptxfr+kNCNtMjgTFKYR/wy1Fskqvh8XriJxRx/2eZ4pI6IFrTKzozDJ9qnRdEPzP2bz6ZDCOKZNtlekhBbqTmiSKf1vNrSvg6H1tBEYDtVKAo26p71MzfzpNQ3WcZjkIiKT0UzMnpH4HK5NfA8cZHaCRLqVqaAoEzooIKl0sgNWEU22YZKE/9nAq8CCRqg0jPFDml0ikADKlUykkcAzRGSGtiIVCiZu7dfvb/X4LJYri+g3pOWXEOF9OSP8OaPK8TpLtQlTQx9f/0gvGOzz5Vcs392iVmxLNzeEVBT2QqlM0RvkMNKDADXjwc0+XdsCIUF64FymQe013yNMJcxepZoGpcEqKOHyH5LzRqYcixahWqNQd5mMkHWC6UjCT+iWoDjL8mWx2DQAxOm4ciM3NEjpZQX7OdYgDPDI/Dkm0UX59NAz5/qqnnJ9Vc7gh74Jl/N6wuW8nMAPfRNm1x6oa4fpun+CF4QL4UQAHn4H/wR6D7zDfgq6h9wB71p/h5IE7q1991AQpdqVr2m9E+s/sXVisTGkd3JjFvShVIR/acpUVLKBX5GWMTQEOyuSeh0q8IKrP26yT+/imnzDitq6l4elhU9DDkBzuDzz7785VjL3uahsx0n4GfGzVyXuhDLeZnBOigUwFxnTjQTUWNdhLKIa7j6pAUMuh1Q+i6DyCkW4C404HgOF9fxVMedLG4+A6E3pFQJEovwVByMRBENeN6AFFa/YxgJxNjAJusUs1fp9pq1YUbFLkWnFWSmkcWUreX0FIcPWFtoMyUgIKl4hg+m49lYCTejp5Yg3epqpJIzlX/Cj5TbFGbKGenYnCHr7Oc9SUIT0HtphdqGxCozV9rEhqeHznObn56LFGZX21uBrtKHEq1KLQvBFL7ALmEJwZZ9PEEZAxKycYV5Ao+LZQhghFbXd8WpjckknG4KtmvC8AwpkdEKreuiww4aiQVJt7KeXfgj8d3EhljTAQr0LHHP80F3iplxh3l5hNPq2FUCAH7Ik5xNU0QEnJ61GCiXRRoQRNwtRtl/FMt2WVEhCCUqq+rBwKVR2le/9VbiICnufPaKGeEYJ+ceTJxzTE1ZCK3PdtCXLxgB7smSo84ywSgW1SX5oxdbWirJVqIqPbuRbuInpCIz7lYBdFe3As2XHxnHW7rBBWcMhjVBIj5EJFwo+sJEwaYi8LDv5RU27g6hxc03BZJzaA4Z3j1WgpKE/y2IvcRPjZ03EWlSzEmfE02HYFDl/mg/dsc4DX3uZtXy0dRXzYTxqeGjXMDTvRKhNVZ+DX5/jyr7Ksjg4puKcJsh4J0Bgo5sXdICGc5t3U6A/HEP/0Gnc0jASNbqvtW4dUh0quTswPts8PkbwDpXcAXLQEajvXN4OXKvASkbbxje5mMGIN9XRKIvW+/geeXyL4LGa+YZzhfl4jN9U9T9tjtcMb5zDDXZZWj+ChVU8eR1QfoLYJY/yBpFyD0XOmV7AHfc51Zq56OGO1K/ValC5Z9pi7M3+vj6jikvX7+2BT8OuFBeXMM+0HPlUj+Sg1a8dO2/0iN+VjH5ieaoA6D/x25r11r69AbmAZSQVx5nxZTCNMRdHtS2qAc+qcU64ONszmn792CvLxmCffz8/x2Z+esy+rZIdyggEs2UGg1xWFi4XR9i5rdm5tex0x5pzUpSIfdjaeKu6GopNpsRbKx1WrtzMRvyLRlBdL+EGxT7iRNUOVO/krbJxDxyUG+fuVYVuUQ7Z3m2+7JENm8BzJKVPOBqa4m4y9i6EzIkRA2lKS/HypLxYkxMS0+j3Rx1r9Fvv780uS3E/G8zP4fqClWUywQ9+WBRt/T4/4IZWfLVQbMujo7rTbyRjiqUZ7aTZD9SbPykNvu82DPwS8fLZi0fW/XRaW6AaNfnkkiSKdckdl2y3bOxLFlsC3R1DsklcZ6mR6V4027kKOdO/mPQKc0YzvjnJos/jAfxMpxd+N1Tfj0/5d6XmMqPGo23rfRXSXb2f7ux+0k7PIfu29F7h+Xq3TVjV+Uwobndb/wKog+AI1PLA5KXsGgVvq6bQKB/9Q/uE2YSgV++V8S1/K6NEpvZki/OBdT3hoAP+gMaXtfJSNyy6e/eTO5vpuPlBodjMIB8IXaC2qr4VSo/pJ1DhL6GyYtexibuSgp16vyqumZVDgKH5H6PZ9NnV0l4d+O4Jh9X61aepl/xtii+q4GCGUEKTqfYFU5hQxj8A01q4S+rAl1HvJmcV5KN3SLGQfAx8GejvydqXfq6fjfcRsu7Wq1WxxHJEhGubEl7HBImQyb64ut1gAs4HEG/VsYucDpa7CBmfz0du9sItY3nhhjttTORYXzJ5yiSPeln3q/s+gd0HRZICZWGpSKxe5O4zhoVVfipuMe2/IBJo41WcPy+8LJoMo5eWX8eqbldgGp5gyD/MDO/M4e+nmWp84HD4e5nzla8WXhmPstzG4KB3yOIulk6CZsGw7HMrUYq8T04PzX8PfDC4MMVCa3r95pYOKsxz3OwxjDDFlo+hdYjWNOFv//a/AzKN+Vs8b+fyo/n4jBVYsQq5z+c/hypln1+Odbi2sdUy8rvIz96z1+8qb1zdd7vR3Hufe/NWftHRBgXQnP7WtCibS6SLYVygtUCBD7CABiCwJpbiFdixuwj/oyzsAVuaV/P6gDcgHCXPKdDfKq494B8P+TTvLYX/D5xSrVc=","sha256":"d75d609752ff787bfe9be395be1355370cfde7dcf61b9380848f4d3aab166956","bundle_zb64":"eNrNXAt328aV/itT5bQEJRB8SZRMid5jN0nXe9xNTuLG3ZVUGSSGJGISYABQj/j4v+/33ZnBg6Ic1+1p1zmRgMHMnTv3fe/M6MPBD9+8+PrP3wTr6GB88JV6o1erP4fFcqxWcaGzcKWysIjTBA+bNCuukqvkx3QVR3HxoHrBWTA4PlfppojX8a86U4Ne71zdxuGrH87V92EW54H671SFea7X09WDr/IizcKF9pW+B3AAvUpW8TRDT52jMVnEiVa5LrYbX6VZ1aAjQHqXZ7Ouwy/I09U7FeeqWGr0K+JMq3UYA7083WYzTBEns9U2ipOFdMmLsNArnefqxctXahlmCZ4D9WrNVZWrxqAC+KI3Vq0XD+dXSVzkKgEWnTBbbNeYCZO+yKacGp1lEWqzxexhEqkMqGdJrqZpugrUG8xbmw2L3qS5zq8SfR/OitWDQSxcY6yFnYNWCniuMj0P4vwmzKZcSNUxzSKdBeTCV1+pH/QmS6PtTPP9L8kmnL1X76bbJFrpm1+no+N3ypuGuR4dq85z9SsIzd9/efNt50z914/f/TewXYG3t7qzwdI7RdopwBZQcdP2r5K7DPxXOpwtSd7sQYVYORB0gxQH+cQsUVs79yyN3MxFepU8ZligftJZPDcr//E/XwxORmoe61WEhS/AvbyQL5EmpEhNHwpyLgMTQbWpnqegMxFDQ6DexmAYmhaG9oA/syKpQhAwjB4UIYarlY7GJJHCv81DsUyTocq2SbB5UF2uoluk3Vs9g2zmwc95mgSLX9kdkvu99FZcHcQ2p0zKhJ28iMA0rRKIpo4Mq9MshrhCHE5P+sfHo45gP0uzzRaiAvzDhBKwimdxwekT6EucbLaFr5K0UNAQHXHRwm5IVw6N6qygWIXm4ijUyjAXYlsYiLdhvAqnKxCgwAqXRbHJx91uFt4FCxBnO93mOpulENOkCGbpurso1rP3SbxYFt1wve7k8bo7Go16x9Ph8WAUnelnp+HpUA9mw2fPjnvTZ9NjcEKf9Gez02E307kOsxmoBY7uo9crSIfl6XoLTk4hl6fHZ8PRYBidnPSn0Wg4PD45Pp2Opv35LBoN+oB/OuhH0aB3Nuj1+9PRrN8fzntnwKY/fDZ6dnwKUf8uwcKFIpaWZDYWs4lXoCCZkG83IKuORBodackZaG6Kh+Iuzd4D0jtolc404HWdjm0exIgYukbqVmdTSPda5liG+bIzW+rZe3CYC3xTQV9o/ISJMOaEnM7VHeXRSgxMg8++wHa1Ut+KkKJPASt3Sw2IaQb4KUzyO52hmTOKzuUqCosQ5KZlMvQ1LYswD6aQDuAbqi1mGA7UNF50dBLFIdALsyykyFeCaAkmRgMGFab0LszWpfHtzIjBWoc57JeYtg2WlqV3WK3MaJFzsxJAr9s3aum6iuhTQUA+YMj5ISnblUFdQQLFRsMu034JpcwYdl5rYELbnBUcmceRpvXVm5DELRFV84yD53QJIN/DVWLED1S7TWOx8VwKQK31OoWtWgAzMCMkpebbZEYPptK5MsMwU6TvqUUw7+IlgKMz0j++efHm1R//+OL1a1+AkhCwgDBInKYy8sZIydQp+ErzVNxpbWw1JI7rW+l5IUCw5O+2heCHn4buHGZleRV1wtks3YIDpjXTdBKCWWS1HXIM+aLEq7tluqIJMj6qwcAEq4OdCeeY5se7cKNmqzBeO4fxDf2OrFIMJtQGIga+RalxnVfJy5RkWwsqdG8LsN9pM1l72fMHf+sPeu1AvcAa5jBLZLfObvW+/lfJZb8c8K3WuYXR1/3Ta3iaAt7FqqKK4MLpFY10mLAAXidCqCHxB/wlFrPegNQr+EtQgjogHoSA4bcJ1TdQndu3EYQMBMfyWRZPnY2FMjt7AD9fLOHgKHCQwlTEnTYGnIiMYrO/Ve5ymKFz5Z1lGpqsbdFJ5x1DVkvOvGvpRBcKIS7USzRH0HywcSlQwLgcRi2R0ADGYxaKo3OmRyKV91pvckdq+uw53DsIAF0ENHT3QcjbWNZQNeXbKaRF1OAqqZoF8bXRnE2muxsK3yaMo45oomMs1D+MEFFRaotlhskSSDVgRLSAPj0bfHVqvDEsTFTOTNVeUOGzxIgw6JkX3QLmrwMiJLtR2gw27IFKCW7yPWFAYqYPVNITfw7HbqyK4UYrV/NVmmbe/VG/O2jXIUqYpThZIN48htnIcg1VT+ho4Rj5brkNkFC1/9VZCgo82GCMYd1spjeFBCM28sNoGlsI12242ob89jMlHtYGfaw4n0NPhQo6ghzcIYZI81jippJyfBJcrpJfOS3NW76dzxEgWBmIkwfHBNDwBQS4MAZsiRAiXNEek6qpGO51nMtaGHltKHZlFAsSbbJ4pkWSfmgw1ayxM+oFwagHOYHZyuJIItWkJEGn3x8ECKzUnxA0hJzyshc88/vXhvPwk7Q7kCNELNVY1TkZMmDqnAwCEarDxVpdKFiD06FvdAoat6bIjXqKphI+YhnPxROA2cA6QVCMJQCIdzH422A4bNMYwkHqJF0Df34xfr6E1FcGxlXCIf1BH0Pq0ioLmupVeieYHAOgsQWl6Np0x2gHZITkkoj3KoFKppkEwFhnhdyUfJYwwsIdDE/ObSBbIVr73u8fi0QamsmEVrFzuAbATsFPoNyAGDCMEBQpdnYliG+MMRQDlgidu7CDZ2qzgucXPwSGInYg57bMZny1FNvlQI8GJvgAKGcLCOoqGfyNjBexLIU3oXXeikePs31cz2G5xVN0+qPjIHiGdRp1AzsRlyqTsRRNakAe4h22Oobi8wgppmQe1qhcJSV54PVoYUsq9c/EzdRVO1xBqGGGHkyAZiw/jIAwjYaBfgwJaLGEb45nSEcwlfUsgfqG4YYIp5GrHX/E4DAX5MR7G30g45eIsaFiBVcpWYuMBvLnpDPkyISVarpKCYELtkmysFWMkbH6ZZIJE7ot4hUTb6v04tsBRMIcE5FyKZiWrrPj3OOL71+5AOB1/F6v4mWaQmv1akOxgT/QBdKIP4JNM/2NU16XyVpPoyJ1MVG9KhAS5yr2dZMiRmRwBWGj0ERqosBFr+9vVxuPAtnuUgbbIsCVKPELSGdsuXNoTZeTI6lx4Hq+aTMQO2yyDYbCbfddfHK73Q6aKytXVGFeVjY8BimdqN2UdU5kwpyY9sS1O7dek9acUqM8A9kSMIrnLkqIK/skkdBVYt1MbIwnEc8e4MdBMEWt650ej1UDmuGWC9kocsoWEXxZJlZGrmDoYEDaxOvt2lr6l9Z7z7N0zQ5nA8ZKnWejgYm0Sio4icj0z/AyuRKnNNWzEBxSEh7VFRQmlTLIhZfa8oYZDlQBSiPxgHFsjmDw5YxSYYBEX7shktBpWjJb6WjBj3mI1RibiCmxfN94XHhv2JrIQTNYxqlYJCo09caJkYUIjQoTKDVTF+f1JeVm0ELsQ6NDZnV0p3TJCENlBSELG+lU7D9z7DKtitKtyblNNiKIB7ZiILF56XkR3GnkWTYKnepleBszbcnhR7AuWRAjAZMx+bW4HdkDcASdEUt+N/9TSOtZMH/LXbwvVQeKVlbE89CYVONzbJBAW0QLJHknVofQ+io58A/mtHzZQ1Ck69XB+OASJnmOsDOI9DwEFvDqeTaD1l0d4PfVATwLAMg7H9iQbs07fvN1FsKc3bCSIq3yynZWZG6cHeYXU50RCGXJcMJQV9dabiRtnrCWiDwvDm/iqpO+XTcAblhjJDyQ60ZqJWju92r/rpJ5flNFRwR8+UGCujwXECwUdSTxvjrwVbmIoMvE7+pAfbwWormEP9g8sE76u+42z7oQs65Obl1RCSJwwP8gBghJJXjvbNJYsjrnj8aunsVaXFUskNfhwNSMWFK4Q9IO7yTwIPumTLn4Nd74inm1wRRJEmTpIWdMf8flSLUAU0ceuwbwk4mH7wFChNvL/rWvWlnRarevEoJHf+Qr0yhUwAo4eEkbMnEjKbo3RFTQmsaLFjrDSU3RmWPQ3lZH5hGZisd5267L0URNW63gZyzZkx63xqKik5QFiCPfbyULPMT75fjZtc/fnf71NcDYRQXf47fXIgda7WD9Hqmhp+/jvLhJ30/eQBL2di1rUuE0xjDhqV0N0eOYjMts2X7jlq/qa6hx+UZs0efw+msm9DS4OYMHZ3+obGIWYB/vYc50Ln7f2gFWEa18KJGPXT6z8iS8Ne9cJl3/ftbnG01tbXYN2HpDk39D3b5BmCEm1WvZ/KQlo51gYPXZYxhrhGoYK1AIz+OP9rniL5EynQX6HvOYjl4GMG9FAQ8P+2dXyWs8e311cSFur9P/PLETqfPzeJHoaGK+X/QAGeZJgbM3ZJeXIN32RaLaY1vYfSwPrSN2O2rtEQgny0c7knz0+QKMN0oNGyeX1xa/KPKYOvv07b4JTHwx6j5ydIfqV+o7yfglyTZxgomAEhdZjk3BU2LXGesZCJFyvaLDs7HXXZbiCUBdWSEwsMFQoFPioOK5mUav4CL7g6GP/5uNgqoZbP6Zokajz1tfvW22mEXVh9lAd2fczjBLkvo4Fi+aWJ4OkFziR7MZ/a7NOERFoASkI7N7JB5Xfdm79g/loT8+vfYZIMobnkUgT9tV21nZ1jYgycUg3MBeRtLj6NJNQt1ggWnCspU/8L3+xcXJENLsy4N7P+pbiB33YH/hA7sgPsIYLOAr9SL6OZzpqsBWpvgSNkTRSmoXEllkesOPSSEBiI1qbPHKxEFgu5RFRSLDZKG9zskzf9R3ssZ6TY6YJJp4by8udJs01c8nPUNT7+0Rketo4Nbudu2zGYmODJH6FyWIi9djejLIIH2x8C61UkyD/i3EVfs0z9fjisHsIixOpE43rrPefDVyauqCIDBE1NJu4Gg5ML9O3PuJ//p6B5AIbkP7SrQxqnwWNSQTpBRaJv31+gCiJkSCnTsds+S6WCJRZH2+KiuVxS1Wq0xxictw8o+FcBlvMS3EX+Sid/jWl6gEv0vMOcaqGoasw3tkIQYGeOFsByX2tX056rfrq2ZONeH3LNhJhMoGmwp1Tgafy4/F2l9o6JXUC27SuccJ0K9UF1j/CWfuLPRjTibl6o1eiNX35cHoycDpTU2P9nHydu3fEo0s8ZKLi9xfrEVw81JwzSe0Q2Dz9mMAlACMNzG/J+D29CLOkV4VoeAN1CCB+9ARiBPCPJLu+3sAwd7FZHMxef0ECCej3B32kj+Ay5vHPqISzmW4mnekHJf0pIo55oMU10UEFXfJt8kKOb3KWActy6p1o3A5PPGHIx8UH/Xc2qzBmdAimBYpT0x052RYCWfSVEpysU6ccOINDhMI5eHbqlHoHoJlUiwhy/hQsi20NkZa202h/A078ljB7SrK3z2h3csMgUm1t+HSRbv5FjXCNbtbKbWb+m5s8+CBIWZcWdhB7/jM2VeJ0yeXDOIkTjLhhQ3ggnwZYgJv3voQfxx/+PljK5ACivba7SCKEWIWXtsEPCbQ+Lma5KR97aKFn3g+ImI5ifHqoljubBqEK6kthKs7VrlsdZC1dvEToIS2NcrAhUpgkiAOn6l+b2M0r38U/56BmuWLkcxJ/8j07EvPsqsXH/aHbdMf9soGH5TicsTg0Yjh6aMRTh1iUYdHUZOBNDRYWn9KBMtAsCWResuX8I38/z5jGsj6TZqFs5Uey96D2+WrtgR8s9lgS5+1OqYpUgSSLRhIJr4Tldiu/UgbxYC5Bsr4OcTPweHhyfDItJjnYfl83JH2xzbBfh1aOHjrj07MoP4pR/GBXrC0+2vfWUWDCMxxhaWLXy7tRx+9JXppSm+/Nzh20oueYNdvCW8C6f2E5P6+RNgyFXN/BtToc6COTkqoj9f+20uvxMQ57ZZfjUKHmdQGKwb/G+OoMgzqPxG6mFigfIciNMOgKgjxq7jCq8aXTxCxvTPU2+s4iHS+xs/X+Llrk+lmH1VmfzMkacKwXCi5+NgOQINIyKikOCkcNVlsobR8+0D2ys7r5ENLdu5a4zLR81vwmPJaEwc01grG5rOD9XFvxYHGp2MmkeMOZZbJk1SeVGOi7XqTe6ZPu6xB2HcpOuw7lXIwNhWBA1ZobUnfHiEhW02VEcI+ZerIaoNvdgEoVpkJHmRLPEpVXEht8kX5DZFCVWeMc1cYlb38cg8/VMxFINlm9/qvvt3G/h/fRQ9/LZ/QJufE5JiHcZ3clR0dw9DClHJf/sx3O9o6atvKpHqfMKHmHtWakTM3ZxZS2mYVlvthLF/q1XxsN+ttlmSq8Zm+jdNtLscrpjx9xtKoXYrbhZGDAbHbzNDSmARKvTNp47vq9I0Ux4tlyhhlJTXnu6Wmh+W+mra04AxFnR/brJUDnKv3uW3ksc3e8kJv3DnBhZxVKneZQlWeopSKz4wbbrN086BWDDyoyvIgO+uapfmI7GQIIGrO7YZ3O2ew3vmq3FZ6UO/kmQec2sL/t8sHkoJHoXKDlCpPfmINrxKEasBkvLtC7oZzi91bqK6StKAtxAHDFuYoUm2nI52DXuCn5VUnF59q6uX20EmKQE/K0TKRhLfcO2IB3o6C7KxCniCJC9lFF51E5LOg4NqjKQTGTXi712Wn4BknboUR6JJFbm4NE7qI4RwElbOTttgGmrz4ulauevnqzY94ZQjM/1jPsd6GHs05gkoty42icgcFfbsMD+zGv5KzpAa1sfIAB35DNr4lRlNrdajg5LTZ3yBwBgQD7rTJTjnjCJ9A7LkJXwIXNpgg365D4qg855ESIKCeq55Qmojg2ZZMsDB8hBUubkwM6bVVh312m0gF58bn5mjFTVh4ZfHK5A9yAoq0YXAHV6e6XZmQXhGoWyPN7/jg8Qv6OY/4C5CpAbaB9DKGSftFPXc1QyJSn1Szvtw///ToCxfMCjM7CsFiA0TnaRBm6/1G+G2fifektkwjCDuLLCWkvsTiLp6R5gOw2KsgA6Nf0FKBr2IEM+J5fWqee7CAJvV2ctf7Rf1hZ3W/CIGqdwD9hSP3k9OMeP5cCKJrQy1zf4G0VopQ1gNgUm/umrrQx6pYUQjz+pErOqAY5oRfgIOMYxe4BUiL9QnmWAKmDnoGiPUkVoFsvvKD3bk1GlSNcvrT0ASs2syFlfcey+yOdPiqU724OFO0JUsMzj4+qN/+95WsvbT0ean4ZaBtZASkEGHCSmF9rCw9n5TCtJZ2q1W7CJW26LMQ4jkwc4paqN0wFCK/DX4DvBEUanOHk5Zv+8GTZ4j1eLi5qATFhnnWlO+KijmptUoXAw9BoDH82u2nMnpFCBCJzXeewFLUboeL9SxNpQb/5awLDGY5oTGcHiSajDMd4N+kX5zbiKLkjhx5EtBMI2UPWVLEhkhJZZ9GEl5pvyG0LAOtGqjsMFd6QQBquNbYLDx2X3atMoY2mupWTzaya+hZM1fvUn0Wsoz3KXxN223ZTNStwb+3dNO1KLMePWZ1XjrVNDs8iB5uLSt4LqNG2qZeHDrZ16J1j3TDdKgk05YzAGKzqyGNpW1E5Tayz7Cpg8SH589VZ1Nbu91RwK/p9sFFvTf3NAT2+YHPjlP39Rf5wsj0pvG50SJ9pnF0Y61LmL+/2WNUWf5imGXCJBv2lKGoyxbNmexHMWk90rRXRPLA3YAwKxMTVWYBzlgXjVk3abpi4WixLNRfoUNvXEgdZmZSTC6BJJg/004ErAMkmmPACgt3kM6ITBmLS8jNUPBRKO+bg7QmgOr3fr/jWcwp4F2jb5Y1rmxxA/t9YS0I6LhL8bu/uY2zYoswrqOy+7aLdm/Aq2Z9k1yzzDM5qrCRtKTXaUhMjc+PxaL2Yi0ARHK841FkFTnS8CfXUKRFuLp5kEBF390gGAb+DxX+ELAvwf+hIZz7hLj2YiZYQPcWVMSdaMF+ZVRuznI1igPo4Kt6dQANNHmVX94hiQCC6MO+8NFVSZMeTQADBylEwFaYOKHrOrZ9Q7CJpYKNQh4ZIvv1UNYDe1OrkHNtsK6qmteVuMWojJUJFSemrc5VEx9OVKf2RTD2GCJy2JHx7IyX2VQZsbIW7yWMkvo+BvJ/Y8ob8V4ip/R2q0uGPrcS9HpeYkyzUKRM6aqOPEYiFMYqa+Nv17y5Yo0srSmSZrcrUzOosiujFiZerm/MxKVXMZDajM8MpXeCUmuz32QOfdsg2wK2YCJXYz7jdIa9bWYqwVW2b+6X2Ts0nZffyGkre7fDpOPuehET2CeO4ZSHNHYPZcCIzgp7OGMj8lSvGwWt9mcf13GndXj6xtt0W/VrQK12wKNLtrrKQphZXb1r7f7O4+4mEGSNayrMKGtjh8dCCr5bAM3vctqKpzhiBBRmtYG5Aei1nreO0FI/UNF61YJ6y5kjObIwUZexiHTse6GftSnY2p6l1h7I4CY1JX2RMNkhCNu/m2RyUAjI14mXe1xwui0adw3Ll/+0dz1tfU6oIOU54kT+VgdS7seyynt0Wqe33Hufx/deq3cPLnS7Ax6NFAGYqA9GNN1RokZlcW0ObNTaOnyS5fNznJc9pM3uDLRA1db4A74nrTGtJN7ZXYd4z7dree8SknxoKE1r8+wEnWTHSz5fes9ODl3fo2fPgH6/1+tQptbhPeCH9xY+IFfgH0O9kaNrcjClNW7ZQgQr5O/VTMcrrxdgoqTd2hlZu5OEYXLr7PEFKxMC/CnM/8xducCOYTFO58udG13cwzLEPq92cx7dz+ru3s1yl7Ial7GQ795bCOYCWip3s/it9dFxw9y4NPpiWEkp273RuqNWjoCtDC40XpfDKWZeeNmK9GaVPujoJZppglrXl610yoOsrety7AwQSe/dwdNPDeIBSLO10hrvbLVM28FS35fbK3aA1bKnBjnN3zfULe6p+eSOH3mLsb+16n2qtnfS/IGVWES0rfGO5j9ViW9q+serpOxcu1v5ZMXe9PF5VTApJgMYsqurpFUW8D/RszKuzMxExY3bkivHv+mzftjyquJcyr/1K6V5EfEK95G98ny098JzeSMY4f5fckSJ4ydvPLvjzI+v8r5Z1u4t8xj0J68p887Izv3kqsa6e6Cx8pLbKTITnsItT7CmxaThKm/M0cUbchJrvdVeO+CFPN6zsDg3B9QPNFZjSm7siKlbdkN/65I3mbT+0evLLb9lCcnJlTP9radw8kiFbmvfjtCupdnFdDA6fRbNT070YBoej8JnvWHv9OTkeDg6OZ6Ozk706XQwnZ+NojmibiyoPxhE8/loODqLjsPj+aDlV7M+QlZK4dvEk+N17XGNeQGb2erP7qIJsfdl38Gd0uVnsoXHRLdyis1v1Y5St3xGC5YT7d/oXx7KNaM+RSoLqSWqgqVx3wy/Ore3rScmKWPKRyhBczm8+43MXtDqQ4cRpv/4/dd/7byOZzrJdecVlZ/3urOx+vOrNzQT4QLZR77zxzJKleAR85+sCArQq4NzbgHZNFlm430KF2r8tJbLaEWYFAjGEYL8tPbCKIKY5x4D2f6o59mLGN57PZuF7/l0dbDU6A2ehIxqI3110Oa/c5vUSPSmfpDjRB/KC7UIx87LFyyselnT+8qTPlcfG0DsNZsKCqP7aqRJ9t5WDZLr1d5rs0Ql7PLyNlkgNPHaarOdruKZI4wQxxCS9ArM8+W1ixxsrB1O48DE/chARJW+hXV5KVdvQKbSicjxcVDJ9/YBLSnnEjNHcxWDMurCHCQ1VbpzdXQUt+to7ke1RFTy17v8Mr4+302JftnGmfbKyEO2s70skMNQWRDe88cDfmR8yvi04dPmQXbeI37O38NO8MC2OdfqXx3IAXWn5lhybVZL/n1c+MGepNjLCPn4RbR3BzRK8ltQ/zjFywFr38kuEpryb77wSIkle8AqgHuWIyb7+bAGIW2vtfrDH5Su3jXoigD076dq7eTBXsqaT19E2vJ4haWsA/VPJG3il7rbnlSUrS/KUcic3bMv1iqU78YoPEX3pKJzQrpH1Tvl2azz76c9b+M1rz9WHJA/7fOhXvHfUcV9tyc9HprsQ914yw6IyU06eyuvidXnguOJInOJovbICXifr5whvP/yGWRDTir0AnVQQuWl4S8BWQJ0UHuA+KXABgDBA3EEN3BIAp65+Wuqh18KtwGVSIbFPwjxqP8YZu2mYwV2vyVgZmT+OMReS7BT2FC8sJbou912r447/4CTcxss8vtGiHwRVPkPz1Bv+7cpYDnsloP78wfEWX00l1FMhucM0d3ywQw01JFvxx5bJ5UlMMsJzB2WNGuXDn4Xubkc/u35FWq7iLkrwv86zBpmzKh2HSHRkn8TNn3HyP7/Jxo5nHawMlsu/zZC7ciRsO1fRaiPUoBwqUQj7v8nJRNBd7c2JQmF/PmAeQi3iATiw4652QkXzM3UsqrWrv7+krs73yCJsy8lOCmkPA3Pt38n6zH8c6FOmfu4iqDDd9fgxeu1SdtUwb99UVg8JD1iKpJm3iMbSd6Z3rCWy5IvoPw3PHASJ7f2hqTshYa2Bml5z6JDGPDv7ZHYYfOvaMl6/BJcdU9oHt/zr8xIGdP8QZ2/4+9JBTu0tcXRPUlJBTWrcew2hkeo2MZdxAWS8zLF4jnFRjjnPsgf45I9PKmYNrwIIPAqtpDxS3OQGjjiAHgyY2d3vo9Nmait+1+REVvSfpCtB7maUktc72vPD9VzVmvPHs4fk3ZT67CpDZzW82TQ6NzM6jK1Ulh56q9QP27Xa2qXGyBFz4qx1fbCI/2k7bF0/EQW/UUpRu3qNVMM5e1NmL8kcimNgSnVmwGu0VvWu0L73lIzjYCOqzuU5q+cyV9dMwXNUk1Ek2s7EpX28hI+/wwE5MSdQ+O/RhAlQUojzDU/GLLU8Gr4Ecj511RWsxBTzavlWepQHT85ttri2zu2vUfmKnH45xQufrtY8aSxmRgWun0eL3sqzRO7cAFD87DRntmkbQdIbnz4OW49cquRfwfoYBeApe1lfHh8jemEQH2BcGaAPn+uBsftTww76j85sD/65MDBkwPPPjluuHfcoyGW9SA3bTPs8H80B/XbbTVuNvUeAYnnyuPY34F3ZSGoDW7vlZKP9d3/YNe5W8W3u9FXB75dVH3Op4fVdqYx1G021YZq/i0PZ+pqsuk/tm+Nykz5Vc5/IvGqWhppF6Oxj/8HaEUT1w==","bundle_sha256":"4fefa562a650454ed92bc6b4c9f5d0dbf6e78c29a12e091b4aa79726b4411d10","bundle_format":"base64(zlib(UTF-8 JSON relative-path-to-text map)); hashes apply to decoded bytes","source_basis":["sources.json: pinned tell README, tellref.py, check.py, tellpol.py, fetch.sh, SHA256SUMS. All measurement claims are local reproducible checks, not real-engine validation."]}
