{
  "credit": "Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved: solved policy, Gaussian filter, exact-arithmetic tell, U1 tables and replica; QLX5 and AGE are network extensions.",
  "gates": {
    "P": "pass",
    "T": "pass",
    "F": "pass",
    "G": "pass",
    "all": "pass"
  },
  "T": {
    "callbacks": 549905,
    "split_tests": 356959,
    "mismatch_count": {
      "inferred_arb": 0,
      "split_tested": 0,
      "split_verdict": 0,
      "tracked_offset": 0,
      "age_rule_kind": 0,
      "age": 0,
      "weight": 0,
      "rt": 0,
      "synced": 0,
      "twin_fee": 0,
      "twin_state": 0
    },
    "seeds": [
      74200,
      74249
    ],
    "stream": "autonomous contract-driven replica_e",
    "kind_counts": {
      "arb": 191729,
      "binding": 320342,
      "pull": 37834,
      "neither": 0
    },
    "max_relative_rival_error": 8.731332265820772e-15,
    "fixed_input": {
      "callbacks": 549733,
      "split_tests": 548149,
      "mismatch_count": {
        "inferred_arb": 0,
        "split_tested": 0,
        "split_verdict": 0,
        "tracked_offset": 0,
        "age_rule_kind": 0,
        "age": 0,
        "weight": 0,
        "rt": 0,
        "synced": 0,
        "twin_fee": 0,
        "twin_state": 0
      },
      "kind_counts": {
        "arb": 146,
        "binding": 440688,
        "pull": 108899,
        "neither": 0
      },
      "fee_callbacks": 100000,
      "worst_fee_bps": 8.254e-11,
      "fee_sides_over_tolerance": 0,
      "max_relative_rival_error": 6.795853303475876e-15
    },
    "method": "Python reference shadows contract-driven callbacks with only prior observable fees synchronized. Candidate storage supplies arb and offset; QLX5 TellMath probe supplies split verdict. An instrumented AGE twin records branch kind, and its fee outputs and storage words 0,1,2,6 matched the unchanged candidate on every callback. AGE age, weight, rt and synced are compared on every callback."
  },
  "F": {
    "callbacks": 100000,
    "worst_bps": 6.0834e-10,
    "fee_sides_over_tolerance": 0,
    "tolerance_bps": 0.01,
    "seeds": [
      74200,
      74249
    ],
    "stream": "autonomous",
    "both_sides": true,
    "fixed_input": {
      "callbacks": 100000,
      "worst_bps": 8.254e-11,
      "fee_sides_over_tolerance": 0
    },
    "method": "First 2000 callbacks per seed per stream, both fee WADs versus independent production-QPL Python reference before contract quote feedback; error = absolute WAD difference / 1e14 bps."
  },
  "source_sha256": "c0fb05961b60655744bfc5597a098e2f91bc5b90db9e8688e488d077864fb5da",
  "source_chars": 47757,
  "runtime_bytes": 22558,
  "runtime_sha256": "d5d5ddaddcfac4a7212f7be41e26453776536571bd006c4c24b177523f63a0d9",
  "code_zb64": "eNrFfWlz3EbS5nf/CngiVtNQo0lU4WYT1HpmvHodI89pv553HB4HTrHNvohuXrL03/fJrAPogxKpmY2l1CQadWdlZT6ZlQWcnjp//8sf/jF5M6ua5aaZfFM3y+2snTXdmfPtN999se6Kt4vC2azms3q2fXD+5Z+kJzKcfjFbrFfd1vn1q2+//fu2K7bN24ffFZvmg9N2q4Xzm5PTvYQTVPGbvth3XVE33yzbVV/gm0EJnfsUvVvNb5vaQZqzRieqB6d8cL4rHuarzhm93S6qq+Xs7eXW9ZxisZhsZgsnTIUs4iB1umbTFF11ebrhOs6c18XNZjMrlk47m2+bzhk71wtnW5TzZuOMrhc/X4lmEp38slktXY/abpvG6W7mjbNqUVkxP1k//HZDZW6LDtVsndGmdubNbTP3nPUlBuk5m4dlhe628+Kte+J8NZ87VdeAck6L/m4vGz0Iz3ShWNa6B2d6VCfU8p+72dvZspib3lWrxRrD2aBqDP8aA13PZ8vGGVU35axyfqe/bzznr9/+XTjlfFU6m8tCRrETFFVSlWl6cnLiTnWznhNMNvPV1tlsQW7PWRTbS+4KjbhaLW+bbjNbLZkGNDvbbraYSGdEczcJQANVDeobjBeVrTBWZ7Z0SgxYRhHRjZuRPKj5anV1s55cNkXdrVaLM+f3PiioelnFaZomVUu9dO5m6E61atp2Vs3Aj87dqqs3KA+eqZ0VWnTWoF1VzOdlUV2hxe3KWTSLVfegCHrZUHubBkOpnavlagv6YNoVO1CvmgJ/i/vZxrkr5lez5Vuan7uiq/V4MVHtrNtsMcBi0TiY7u3lotnOKk/dAJ02PKa3s9tmciPOzOBuhDMaMrGZhTirglg0anzr+c0Gw1DM5XFr6CnmAkPtZreY9vUNOAf9fI3q/6LYfkRNgQNNjWmdJqKIS6pRkbcplhM0eWY6dbwnWVb7gWjDntLUfnNfVNtJP05ntvmqK8H163lRKa6bl5MQU//m66/+5Hz39Zs3zqhc3SwxI4rW8/nPGNLP9ex2RrzjnDrlzcPPb7tZ7eGqfttsndA9cwpFWGd1twRbYULREi2u2ik2oDM4BxIHN9uW+0WDcuZF2cwp33q1mW0xuKmzbN4WdOU5KzAr9UC3QfN/s9zcrIlX0fGia5zFDCtnM3WqywK849lFoBaXx9T2mPff3hAPUB3EzNQR4t8NaqSyb1HfiMb/u6/+/rUVAl8p8l/PZ9tmUpwpAhm+LuK6rYKy6OedeatbvWuWKIJBaBFTFWsZjl9/9d3XEEV8fzDXfiqDVtYStXiqoZ/B8ycos25quqTijgR9qScgftEvDnD/EfrSEIuts1hhKmIMtlkjtSWJxEKqa25nK2JSzJKpSTMqt+l0qxtknlzfrLa8Qkn+bJ1tgyVDXSicS3zdNFs1XsXUmzW6gpVKdxZFxwJusu6geVDrsp7VLIuURPHUJFzN1qoG/ySIeJ6mqJvmkzjjttHsaKeHZ+L3LHHPjmuJt+Dwm/IEAvW0v3+qdcf/NrpDBkLEMmxE5MdFVYhAVEUQVUGStlng19m+buF2dXub1U1XNWfO5Xa73pydnn60xdNt1zSnT232dK/ZLyA2MJ/V1jErnVbJnuZ1fv3CwQ+4hAWtETTf56IR6fRo2ps/yTzOAhEmIvWjKMvCKPAzlfdmP/O3cZj79+3ej8oMqnz1+mteo/Pi4eT/z9TojvBK/tH/ycmdhTPCKIRMXee9c2u/nJ/jtzPVOQXl3KyHWbtHskrK2pbI0Rbn53GIi63K8d6plnSZSSqOKykpFUyOyyjivrVg3y2JTMivP0G7jFyIY6yuJSsCyC8iH+Qo1lGzvemWm9EGChk6S6k81/mVF0BTXWFh/qryOL/5DhL529nyDeul30w/OB92G1vczEd6KgtPX5QuscKgZdOgSnePNVS8LE+/P6ye9MB/qP7vT8vD+ovS1H7/GZXen/uvJvdn94f1VvPZ2tbs/ScGcH9evCrORvcX5avy7N49bHK+fOJQnHe7DXA19NM11zezrkEbPjCZznw1tel3l7M5Us+d791f71/mcno1mUw/7Cdf5PIlZTilDOPxIIOu8SHnWb2ffO/dj7/vW3qQOXHTg/fQ37vOH6bOO/yylQBhmXEs82C6PM9lNl2Oc+n+es3lr70H6U7fjfPr0+WgcU1G+fLd+OolJJOq8YCKzf36sziiH2RLFJqERATdpj/tSXse+0iY7tPkKifC+a/ux+jaqTy7n/Bf95R6ajJ1+f1k0PdB8U6RrvO6w6phWCzzOI5kipbHnE16SRT7g69pSF866R4WX9W1rjsIZBwOCgnfH1bJIz5SwUZNN3VjjMo8upjgYpBT0+mKKLB5qcqNtIYYCUhJc33lumeb049kmFyZHhzMLIyF7X9ganN/MK03lhNNB+7dl6wQTcq7fGmvu1xMh5W9u7iAcMdi+xVXOS6n3fl5HodY2yo1Dk0iblJaIIfLifME0uRBIuURsS0vYlt5zGnpQXHbvGq8b9s2rVqWNoHb44YGldGqNMOc5f50dp5MZ+Ox2+Wjbrw87dxTeTDdmmLdOdJfdWeU65GpW9ftZ80cOgwBf+9eCH+4GvWFYkus9wlx8L13j066ngQgiGUqkzAOwOG+9P1e2EL//1fRAQkX1C90YbnqFmxfz+YOIG23up8tOG3qNB3YxYUw/MslhN3LzXW3HWGBTcTJnqoYDM4oiLpZwkR5+DwuNVKWhz4FDR4u0n74EO6vvj/TtPcPlyuEaiSBjLIYgC3NiAR9niWLgiUk9Djx/SAN/DgMwwBWN2UbpMZBEmSxlH4QBSKO/MdqCYIMfB/HfpJSbfwzrEcI6SeZzESYJTBUdYZjNUkppAiiLBZxlgXisCp0RvpxGidoMUji/aoM5fMUPUmDMInDNBAQjIM8ShLW3LEkiuI4EWCSlMQi1TVMjkEZkSQROu8n+20NMqI/qZ8E1LksjFW3hxVJzEMcyjBNkixOwo/URCQPghifBP03BBhkSDLA3jgSMhKA4ulHqgpDPxSoLkplmETyEVIR03MZLqc49ujy8XilLb0asnnIhROq4Yx+PbLutx2uzOJYmMVxay7mK3N1OfsE5PmnybnY2mq2j4v524GYH81X5/nixYvFeX45Gy4db+EdWT+bOmdNc4ulp2GfUoDz1WThbWp7u1S3L2f69n5F6yInuVfYAuuSb5SDrP/MSXqU3rp0J3RVeOvC3dEx/zwXTayHMvqntzifr17NV2eXM+/2NDxstFOdWheTden9c5C+2OYL1vSbmkDG7ZZn/tb7fswF6As3zrKUO4TiEwNKWAzdbs99FwX93dmGTJ3gZ+COVE4wZ/QxJ6TnCN8TceL8zj1zIkc5MLdgQtiD1o/JJo8z6lZ3HgzN+c1i6TnG1+p6pvVic+VsyC5aLedAm+Wshhm2XpE/ZDHrulUHg7P3Im6IVCJ2RuI0dcr1xiWPyF++//t/BdKZLRYwTGEyb9A98GfBfWidUTUOZBLD+COHI7khrTl56J9EfvYoOdsSjQxq0ZWw19HjzI6PnpJfgwuwQ5WcYiIeVruBTax9qgc+T+5F+bBl37A2xP/6lzf5ZXP/mwimcVjBehe+KEgARD7JjBC/K9wKRSFhRMd+2yZoK6vatsR1FeKD73Xato3EJ8EHaQ1Z8/jeIr2N8InxQVqLfG2GT4FPiQ/ytnWrC7Qtix4tSPyA26ee+D4JcBKs1KcMH+piiU+FT4MiKCOQVyBN4DvQrx+gjqDSxZGWSlUMdUVt40uRcg0srqNIXSTIAwntJ0hJUDYl1EtlUW9aq6Yh4v0M9zKUydCvDAUz5M2QXqDPBb4XaKgoufuCRxSgG1B76H+GTpQ+xo0OltRXpKk+oN6Y2k10277qc4p2UtwjrZsiPaW0VvdF6P4Euk/UH+TLCt0n1J8hb4F8BY0feQrUV8S6n8hbZH1/C5QpaBwoUyJ/ibwl0kvcqwo7ngx0b8EVgpQweCMSsUhEKjJRiFJUogYobqHjpAwlwYsEKiKTIA5GHYrKr3mG9bhD1BsTfQNN6+F4Cz1mlEibwbjNHAxoT2PlcZoxDsdn54J7vN/fhrFIIENmfTMfyJ0gIal1fzLdF9OPIe0j3Rfkyco9ugdPoHmj2Jlpjnwl8pS4X7aW5uVRemtqP0LrAOtiOKJScfcBZYdUjdQImIqp7mE9oB61bSgHuoGDK8xliDYkcph/NJsR7gFa+FL/E/Q7oXkHkMS/gP/RdwFBUen7iblPsiEp6lRzSqpr830IEiz0lu+n+BdRGyReKC2t7P0EUqVIQDHwWyFr7mWGaxAlqkHuGj3P2hD9ivAtE3GIu0CgyI0JSnA/8SsZBw2mUXLugsmD+yIKQ5oJ3NX3wdUCy1UEjSCJ1PoVp5Vtw4SNgoTWDKe0yJ80Ed8P0K+G1hJ+l/iX1rQ2Yqwe9I/vNlw/TRPxQCwLkseog9otIShYpEmB+SAhWPM/1E9c6TdNJDPiHK6F66HskMiYVcwklai43YBWIYRw0BagV8G9LPG3Yoo3EPJVK/R4Gy4DLsU9LAYZQ5KndRKEoFLjP/eH2ggwL6nmBs1FWHUkMTETPL+hTiOJTFzSoB8J/hEfcTpmVN1vmVcS/pfWWUN8koDCgmUvyfyshgyGVMN9WlNaIjd1LCSvUHWfeAgz1lD9mKuQ+CcDxQK0kTWN7hdpEbpPfxPwUsU9Ak9h5WLtgcayLdBXapvuy6TAffAa9yQlzlEjCDPiH/SGZgN8iX+0EiQQNvW85RmnGUn1iCumU4X+lPo+pYQt8xV4R/KoCh4zaTzMbxszD6oZ1/eJXVvitUTToWDqRbyaYlFyqyX3h0uQlhKhpB5lun66X0lWV6BBzaNSbZAmJuYLsQoClvkxp2GeSmj9IMb6g5TASo9aoq2ok2fzj/Bj1B4z3/hK9vhG65orkoX2G18HCgPUQskfXVraGsRhHfq7ZOQC3gJwqZRM2ystdnrCJblNCXkEioMnGgjSOk64H2JHbvblVa/Vb9SM+SvDjMtKIKsStBPEZ4PSsi/LWEpweeK/OMgConLTUpsFqzZV2pTsa1FlqdUIyKwUIk6B1pQ0T1iahW2tkZnUraqPr1vkHjeJXwdhGLThjm6ADK+Zs/balv2I0csyIlkDBOknlsKqhrDKmM/6+szcmdJtWAp1N+S5lYM2AtKnfqZnSg7mTtGsjEK0qHpspFE/voBFbTVoWw5mWYYN8aKVVYHum6khJNXh0+y1nDIo3RYh6yte2YHt907bpLd9VbLvuSSKB8BUWhI+1nbAvpTazripHdPEa/tY6cDSLYwLHnc0mLG+dLpXOhz2jmqLJbe9V1o0rAdTK8ODHZpbqhEyFwGvbzNnoBBwGklgJeUjJYn3SnPOkDEBcga2dchLlplK/qnSw7YD23YUUNsp08fn9BAlsoG0NW3vj5v+RST5RMFUV3XGWgOldtTD+d5tH+iC5Kwg84UkVcqaMrO6TZVVfZe6Dm6V13VBthVkN40c2gPrtWornqtY91vpEFValTE9kU1VwmILaxEyKKzZxoL04JKxpbjRypQr0lcR6Y0KuA2WTYoxZJAfkFUoTXkStimHNA9Zi6uy0H1RFMUVrMQga0LgJaAQjCODvImZepEeecTcFrMOhPYkHSvTIA4YRhHOjlPWyoK0DiGdNuX8fXlzBckIREUOrEJUylIFd9QoR3YrEAVkpySblccWK83ILRNiTEgrA3WnAWFM2F3AoJof2lq3DenbNowwI547ogDRrcQVusulCVMAKsBILpWlSxYxU5yuyrZkrBHr8gl/oA2A/FOZqNLU+SBhLvRJr0GGNtRum7FsSuyIE54vQrvQ+LKRmdBuWGgG9KnNuP3iCEoztCMcC2rp0vKJWjrTfUgVVubS6ZNLmxEQ1mgFzdnzSqsRFIzrTGnxTJxBSKhA6ej5pVviFchKrOeKLLTn9RwcEBKeA5+HZNt9Bsb2YQfAZKK22fZ+9g9QGvccVBCfVR7aAwix0B6e55evWccF/mf+QBC2qf/v/RAiYlkaDlDix7DiADP6QdWwpJVaE/lHEN/+R+MMtCjrQmEnfc8gTWkx0LCOUJVCuYwsVVHEicVDPUrUGlKhS5IYKgVyA3MFTssErVkg90Dh1GAH6fYYQ7CkFCyrIBsCCEOqleslS0oO8IZUbQ0sPdIMAbdZykpWrdTYI9T6QVNvgACFTvO57z7bSIUoeQSh9jcEA6SZ2vbV2EM7Bxl6G7GkLVk/9KmsURlplux/NDQO2I8n2RKXoA9J+Ui3GnDpUI8vLBvWnb7WzMr64bzkAQ1KtkpjO06lw4XBX+xmqNToDI7SWjMMZZNqXaxwT9RTU9VDXkMZa15QPVfaHrzAVl6qdVioKW0sCUYh5GqVFc08j1WhiphdodkOWgx0aTnAjLypJSXbZIZDFO4h+Zlp3BTpeYoGiIdrIw8VuWC1jaZKZ4wSKi5t9Hdgx214g0onTLXE8qhknZGwNdrjvWHP+08YltzzhBG6oiUjBG3/JhY1hTulGa35YUC2bsbcJjQPUD+zgQ2+Xzq0PY9kzTPWMP8wb/P8pNq6Pmw7sKsIpYF2ICL8Us+lmjGlbVNdOrIIPdzBmwHPji8LbjtkpOPb0tkOWgx5TKHm15C5piQPv1TeGKF7LzTaSDWvJL6xqiK7Qmnm47ZkzFSyRwDIB3KE1mOiUaaZb4OyM8PFTMsMSBMzFcYQ7sRthJLZY8JlUt1+xC2rmSD0VPAniZJI1BkwciF4LGiVELJqXZVPNdpLubzC3ZXfSEibSLYR7XTUFFYoec4zar2tbOlEeyYT3XPl70GHA6DFtm4atJTy3kcpyC4kvRIz+oqN70qPW30je6ANIlkEcStq2j2oBM10SuuU9k8Y7QpLMYPVQ+YgcBbBRElbNGkjyDZoS5ZtUlncxLV1A2TWcrl+nSmLg/BaJWsJLNuSHmzYO0BbQDHJebI2tG42c2dKK8Qm0O9IKr8BocuItCj1+4hGL611U/Labwn1QKskGst+Gmkqy0rJGipdylbKJyOP1HILedzJm15K2TbPQposY7k04VxCP8/5qZn3Wy5di/Y5bbeF4jMed0bO9vZZeA8mSUuWGDByBBsu+RykhdIh7UKI8LNQVtMWFFAgpC8/E6cBqcLqrD8b5zUsNz4bJRbVv4s0a0hQyIVSy7Ndn4jY8zHuev8gy0rka2veTwgGcj7YqUNaZCoH5YGCKu2p9FuNSQLrDes9FGLXN8W6gP2qsc+yMGFPVWj/BQPtwSWYp6Xat2mTVmFjyAjyTrIlGu7oi1DLE+VjrBm7SWiegvdolOcCSJe+tZm2sCP7Ubaz8oQ0Im6rmtpIdY1KG6Xcs4R8pbrVWNcSsUQhDQWx2SYN5a5YRxoUgdK8m1O3lcZ4xkcQ8a4G7243FftNK6a7aVeXJqQJNClInmrcENueE40S1ktMrcGsRKxpM9oOEoSiU91nNYJYabqmZO+X1HZBoPeiI/2X94No47lNNbo1fiXwT10IFQMQaUyurIhIY3C0TTuFgjWA9iFFutdFG1rfWKTRQjTgRkrNaI9BEG4huSVt+VDzY8S4wcxSxNwWMYXobxG35HQlDK790WbGpca9sS1temD2FtE/8mlK3h1lWyUYeBF93W5sUbLhYKHrLWOFzyvf6BXNK4wcQ41xE8u7oaVAyKVpM5X2ZrWfXtceadynkM4uHwbat4zSUcZtZ6xDW71uVduR5uXE9jzWXBL5aj+zDFoGmMpGbHnlGaTsW7RhWk90HxTVU79mMyZjnyb3vS01htc+vAFeizQVDD8VUC4t+4yz1njBaQUbv2psPVSqTKr1uMJitCtJpRU3C31eRElIg1PItyGYdrTja3BMwSiA95+0/0Kw7dhAGkQa/6o1jtS29tW+o9r1YsRHO+1N0bZBofagW8KbqbKTmWIxt0kespL5h2iK+eGdwratIv4TKDxPcS+C8U9Knk3W9LHGyUT/mlEP9TKABizDCAwOWgWVSIGyYNO3Bck/QaQ0HslMewRpd0GovUbyMIksqIKsAMqMUKaNRdKweiI5IQhvRhrlEkUxtpb84hWjwgA6tAnaoNS+F9qjk63idka5hF61baVwLrhTJOxxIBxbyyQMg8h6FpUHTDLGxRhIO/M+YaJldUK7YmzJsKdYpmEsNeqhPSDGyhQRkAwwheTWqXTLFATIpJkREcgLvKmxhLKoHsNpxp8reU+dZq2SIUzY6ulIE9Op5p7AUyKCsBVPxQ68siAFgOYxn6loRIO2iydvfBKtKqZ8gLmrpQxakT0LaGSCaA+dKRoZhPKZXs1aQOYI2tEMZBTUz/Ms1kCXGCsoAJyZBYX/bLTYUPxC4ReyDD4TK7ZkvmWy+VyvZAPbQFR++Lk4r4E912afjxNTjg/6t37Y37+za259l5DzgcWY/q5vsk31veHOt9lrr3WKnhW7n0xSO9I1BRoxqo8fQ1Y2pS4XDHa/CZokTVOnuidBv8fcplhrKYUQ7pbzRZNQiLmv49Z0X7hcG4bkLYk4LbRpLCvAhYGS5hCSsq+TIhmjghEYl8symyZaCpNKrdXvZ0Y2kX5MQ2m9ZamKIVMIqs2CWO/mKQ8DR2UpZCwKlidmhxDjixtdJ9ljla2R08hfRvpf+NrLlFqd6QeqTg5js16TWI0hULNVQ6IKa7NHLEf9oGYNUGp/RrRTp1D786z9Yo2s2VvRKtkTsjcgZd9hpH1HtYrN5F21kqIQ2LMWsvSvtY/VZy+ybONW7Qmy54xpTmnZkb2Yx+NB2sfWc1N9bOelafiIU/yIX5/QQ/CIx95vrc/Rei5Nb5QlKqw31HI9jzkyPGF8MXy3iMimqHQ5qaJOOCWIiHOCOlPzrv3pXCqAViecVvt+H91B/JsGFfNAor3SJg1tykDvb1NaZNtjv2AQaHQD1FOEWmOxjSA5ok77t4JM8SBjbKGias3ueJD1/n7aiQhsvADS2PQQjB2AbnSNap8vSJRviqLxWr+x3lsul5gVxnG0g3WUKN+1iovSntN+pz0gwtCers6fWu2PsQe8zhkNZtb7prhQ8D6+zzFGsS0Z6zRpZWE08BwyLmN8n7GXL9MIN9ZezVjt5/PedMm4PbYe15htkobLiqZi21NRTGFt/4g/qGSL+VHG9pNHd/WSxz0dgGaVQnM2UkUM97VkxShaDuKO7KqgvuvdC7EbW8S+Wr/fzWAPgP5BWqzTYm1vgQckYdsMUK7WaYnxYYuI9xSyNq1Lm6bqbTg+JCW/aq32QYzvP9ERlQlZUAz0jA1AlK+1rx+zViY2LeFZqPTOCemHWKcVnN7vL6RQm8q3kWj+Ix41PCE4Bij0lYQvuFShZatMa1tnOojE47Sk0bZhxSUyux8PWiRSjz3gHhaDtaKOGAXaq5rqj05jdK/2Cobeet6tYVWaMfJPBvsInCZp7CUj63iQxj5TRpBKFsY61XzKttDeddFWVufoiPi6hpJNG4oNF00qKpuK8RSgt6xhwNVsOzWM9xO2ko5i5SbDqiz97FH9oGycY+sBGu9xnycNsyZLRXlp5EAHmN+BUN6noaeONUJNblHJK3iwj6rtV72TwiV1FA3s3bJpGiPNSrt/Qna+Dy2ZiVJrxcL6uwKOFqlg6UWNkiEmLWTsVbCfpqRg91btxamoH0qreFayOuS9+lSXC9jbpnZaw6rWPU61J0cofxdxAuFQ8uvrcmZ/mq8olr0t2DvA+16sIRUdON6dPU+6HKfFSj9R5DnLEU0XHUfDkYMZy0fe8Qm1to3NaGgdgQrEAQH73IzMwLck4zoDHTEqdVwRey6ilPewI+WZ0NZxrHoWBewbl9yHQGMXxd9BSHE61GLFs5nqkbJ9TBisiUhitP2+TMqyPBAs/RuyIAP2oyidQzhPSI7pkVENm19GrdoFjVl2xSyxM96z9tkjkGo/RPWI/Ub6qRSPxk6IR82+phD1x6yPlPHC3i6OeHTd2Z+4sVbDbn7xaB2Y8yo5sEb2cuooXzHAV1U2LLVTxqJEwdFSKl6WIrrxP06sbSOO9Eewr5akNLCwoEh58gfJqNL7n+KglFDRXLIQCaMB3nNT8QtRcLwU9Z5CoknWsQ72hxHKodRnl8ROpDHtfphTB2InJpo/DA6T/bbQj0KmbWXjCHYRsGBPTrKPeYF+Er3G5Y40NKWE5r2dUQkVrSr3Ip9tKY4jb4ZjamtRac0d7LVly9E5KuHbyByqudT6Pt6LHhnE7vCfWJcKBv7nj5YizSKGXurIRk/ulxrs0pD2EyqGVkVqxNarHB8Zlx5FQ7vrLNlY1kkb/TIsJfdi2AV5K3n3SCo93VZ2Dyex8Q6x3sVR60AI2Jm0FSMDvT9D/j6xUyoYRMomfKBMyqLmg37UP92SbAttRaR2h0TJaOAL2BtA862KwE4U9mMLSXDMo6FLqNti6go6aVOz55T2vUteN7LV+6LsSYwG8Qnal87npCoaf0W+21JFpZtThtpHEVuNK5meoaB/JZWiE4t+rbVfzZ+BALMe+4B9zaUoRahX3cd+IjvvqhTZ+tkTvE+hLhVz3Gf2xFK+3k3imGVBvr4nxN/xLCivesbnPsOnRe3xDo5CZRXFKj6xh77eu6FxReyNfM4+bcRtPasU2+o0y4EfP9tbFovg+TvDTSuSz/ERts8c194sqqgWcVSniuPaOa7szq7/kXjG3VpkFRsP2678H5x92YuPpDWYJVZDDaWerxGnr9dqTTHUWg7BLogTqyutjFVanzU4x5nS2hJq36/gcz5l1OhSw7Myvjp1TPtmIhEkX2MdR6P6G0TRQSmhdkPAc9KOue8LjycMta7sIzUVygR/t4Xdzx/SCblYLxf2RI3ZV4+F2Wfu40bloJSwurI/7RGKWGNfudOW/Qe7nY9yDsqpHcfITwcRcXsRqlSK99f6UxgJS6RhqV7n6dMa/CdgjChsrECk8epuDwct8knuRON6aXVPqDHAblt9iy37GYcnPYal+rZ2/8VKm+udVB3Np2O+dk+EDMbVBqzNAx0721pdHupzqlL7L4bno2gPjbykUmkUvQNkdnyl1UR9RCTsA1FRxJUwO/fmVHyg2+pjGQN7yrwMyC9F5+5ioayqRp++CbXtEunoxv6MVCVqSfFvNJaKY1QbjQJK3ctkoGHVHJC3L5IF1g1piFiv3laNDcZryL7l0M6DQR0tRcH7IYWtCY0AtDw3MiKxkRWRjVegiCbyDqBvgqM1OI6sNPKYvWyN3t039CfsEMlPS+wewYUsZ6RoRPaESPc+hjbkUpXInrQTZc6/xFjhIZ2m/nQpaxlz1AbtfInsKdqcZZyKwEzVGYKnRvCzzUE+HTov7z8rCo1iyMjb+6ydNdpVoBPufv38/ThCKZ8R5xX4n7H7puNNPm/HL2ZMW2t5KJ5wdgDyJaq0ReMfkV/+kZMDXKoKNAaUO1plGP3l72lsrLUsG/huTFS51i76CR1Wg1pt3sR8KpM9AcNYMyOpGeWxbi2Hkpft5UafFDBnIlVsdMz2eNZmbGeLwRiUvdzotmz8NZ9xjsmG1RZFsBMVF5BeFsq/1J9dCLWVExoUMaAP56Oobtrl1r7snhKVPcEq7T6o+R6S10coZDKItG4jLa+5DnsiOtB9CnnzorXPC5HqGQgDmvgaRe7oFHrKCck9OzI1djk4bRIM5kzTkOLN/XaAzKRFED3eMOcrTGooVQ+lxUja6zmQ78GA7op3QvIhkf5iK6/ZOcFqngERDVpRpSLGAEGrRkb+scDiB6O/Qn2iJbD0inhfsNJUUKcWTXRSorVPshfRqJ4x4HPsDvEw9F2bWstXRRMZC8y3EW0pox4+Fcv9q9mD2upeKa9HajVRpP1kAtqcoq+Rm6nBcYTsU5TWdxpZ/ceamyxeGTe0v8qnOo3PD99iEztjn5Ch7OeAIm4oBpfzm30XsgfIfs7YUk91NGBlz7zEfGaUSmUmqoxWa2s96ewzVjNt4uQ194tYBsaWa4tdmUoxPzryjSMned+AziXWACnBJ/Ukn2ZlL27CXACtJz4tfaWmPe+L0KkkaObySacMtaWhcX77yR7yaUuOLdW7nH4iYvEEXdkqf1WoUWAmpQieplv5lIQ+gyzF088Scqhh4PNjFvxnadiqpEfysUfpedquotNnz7d920z4n3POsC0/Vy+bfQX7nAhm66Q+9FBC1w01i97Nb9uq1HLbH0S7NGVm7pr9fhkJPuZr8vKzsCp6Kk7W9HnJp0+PAWqLtLJ5m7aI1HNoZGp8lkEbRurUB1ZFEmnfdBIkPFu0z+CTzcyRcbFU2pTiHFveRidvXMhlabXUbUPe10Z59BXur4SvNRXtb4Q1PRmGtBtkBCFxWu1tIVq170ax1Ue4oH70xGrGnu1g18ue+vosnz/0KseRPsdmTimybqqUZZ/xSWtNd1+WeieVT/QoFFsIWSp5kCpPVRtBDMVNVuhoYX4yFUML0gaZOTtHj3dSEhkDTlWES9BkkdSUbNSzwhS7sNWl7sqYKEGhAyqWVEWnMp5gKVHwaTqVN2Jfo+JAHVcpfI7e5/PfTWGeEkPxE/z0tIBjZBR1E/0cs31vXNIe+LfSqmxSPl0gSj/d8dL4EWwQwePRdjfL9ogkW82SKTZRVG1TqxATFS0R6NPmTPSWnhqgommjQJTgoYplKT3Xk587EjQRekwpPkd30CmfoCHeA40K1h9Ms6xlDUj2XaFOpFMQrXnWCwWnqZ28ysaz8PnN1DztJeHZV3vQMuJ6Wc9mOvKo5Gfb+G2onuTCFKYYVOV1olhjqSOVKEKmYH6TrTrvyY6QIDu0OJqWo4eP7JMl7W/UYxA32+6m2jp//c751TxAd37VPzLY7y9FfyntZdXnXc77y66/rOzlqm3NsyQ3VTFvpnuP27ze2mf4bh99RDk6qt+RsnWdX7+YtaNtmee+62zzv3438u+ZCz3/nh88F+mHskkVCMePFsv0Q92Eeqhdoh9Bxg/a89WD97gCjuzlh40V+jFpgX6sGz3eLUEOylXZ45TmYSmo15OeDD0hPCxp79Dad6dfNPMNvR2E+y52+h6Y/kv9QDdfPQ6NH7JX6kelJfqhdFI9lI/HkaiH9anHpaICfqJbqrse6ye+hfqpe0I9DY6fClfpp/Ol+ml9RLDAEICe5kULiZ+5F6n9cXoWHz+TrzIEQm6sukJmdFBK0lGtUJLsaUUjaoI65BzAWiAoorZPJG/ythw+4nuBFwZe4Ht0zss79I7sEUweEMyMeWeyW/1kvFoTrtgjXqie8EeWYlgcTPqQeoZyQlNsnwnooXMHo6Rwed8LPZl6IvAiIaJPjyw4zgqlfo5folk60KMUg1GWmrUT9XxAek5gJHQF/AA/qeIa6cF+/cTtDdSwSTBkEUMWCqngRwCmj023mexjU13yNAexJ2MvjtPAOwKn9qgRHqUGc16pOx3qpxtGe/O+N+e0wDkyVc/xcN7MrPFjW7iTIkHnvCzKsuMzxk+P3Xu4+9VQMHn2UeSPSbEb8wht+wBg856F0Wh2LuJX25POP8NlIOlSnOGXdN2Li5GIX45m/0vEruu+iKMoiKYf9vpCL4n629Hu3H+iO04x7JB99u6Nfcpxvj1ZdhMxVa9auJxNigvhWr2xyEfF+HJGz1rHDIIkW2/hnuf3bpEvpjyxqGGhpf6xXv/+/12vqyf2ejTanlRXoHP6cgEKyyh68gi6plp19Ug9zlaPovSOjWhurzp7VX3iCdL2qdO3y48Od4XRQtGOR/OXNFnjzn05ovGPxeBpyre5foo0P0uYCan/pKPyx9VPrvv+4OZY4Pb5ebrzjoXhc/eXuT9dnlfT5Xjs3o4HLaSDSuR4+dNODbfL/Hb8WN6K896+xJgUYrhd9tdHJ2HedOvDF7aYi/ZTT7Q/WI4FP3S6nBRe6x6utJuu3WHZvbk3D86+s1fSzveVubft+eKXxdP7dzDxM/sOiPXd6ff8xOvZRSAyd5bjtwFebb6+mxhyuy+/nx7U80tfj9T1/HKBnv2S/7IwtbzN19LU8svRWgq92opzMN98Il+8oJU1v9ISrAA7GgGGBXblFuPxYSVdrmTZ1pu5PeLMlajYer8cPD/8x/QnQ/3b40w6B5POz+V0DiYd3u9Wd0jBb6ThN1JHtz/OX4ZjfHkpf/IGX2gh5Gaxe1uvGM+9jpK86rBD0nZo3k3n3Y/+T2ZhDMhRWFJQFnEsyy7FDp+bPl+ZQix3+ZHnOqneTaF6Jsh/UEfV19ELwUoLQVNbVR/mGVWqb5RvUh3WPCQCPfp88+mp6dl70MGbfGTewzKeuxOmJpjvdMRE0991R38MbZvX053Khk2+Q5PvzsPpOzR5/eO7n3IWH7e4woS/G4c/eTfu9EhXBrUvV3WzebyFQ77aHdpwDls7vhmxE88Sja+rp4+VufdVl68xdO8ahPa61s7VvTCJghIDlXhQ1bC71YpmAb/RXfw+2t0hy/Rd/mWM/Dz91OXqSJd3XvLBHQMIuxdehU4xFX9Uywv1/JQvL/xXy2OvCTE/H754/Jvish/nej75l2oBVFIXoFTreoMUYVICTnk7aPLgJU66Vm4ENeor1LDdusfV0p2cWxq/+azXqpjSf8zfED4EJm7bBJ8YnwifEB9JD5jGp8IHaQ2+12nSVg0+SKcDVBnSkoZcMWejN4Qu/XuNj2PCyPiE+qQWed74tH2inpTPz5fBh56HWOJTJBQz07YpVRSmXFGKQnGoHioYVPhIOkaQUgi9L2BgCqQJqhTffXLEUCg2AXkyPtMzoPJ/44eiX133sdf8jP6oBembFyIiaaVe9udO+KUGB6+E0C/KPW1ui/l6NXd+Xq82Ur3PAV9/Xszq326cH+QbZ0TvBsWMzbb8koSI38ngOT989Qd6hSy9/nF1s917nRCqsrDuc98EdXueT0S8814hvk3vWhrcDdNj2hmSvnfsANKG6f5b1oCS56sdmFzno/mKgPLFhSBQQCy9qLHYz/NbFxUu6h4h14dvXStyKgDpMN2dF5YX49HtpECnT7lWtDEpHnsX06buV9LVc4i3zw/+vZT0tCV+4jjtPvmszK40a7jTITtcL+xrlM+cOw/rmbxZ/GbQEU21mvTDtyd7TtnMZ02rX7NaNfSeRhTwnPlSvTT0X9LdHSC9lNdwhwWOdz1wXF965YpehPuw9J7GRE7bA+Di429t6t8e85Ltc8skB6/huzqPX7zY1Bc5TcgVAACm72oI4iy8zfllhKNNPeGsLs+zKaXvuZ7vHXkt3fpOFb47jcbM1sgWSH6DnSHMdQ68q1fCy+iQ1belfX+NnFqf5O6L0NaX5EH8dVtiVaylblKeRt4kRpP4uGP8mqJYLoZvQCN+p1JcgXglzgJ3PMK8vPLPYG2hJl7pVJPLhcPh+88GdkN+vR1tS3e6az7kf/3LmwOK3Bc5Wx2wNTzYFTAorrzeghihFXci3PHd9eTusGzZl2UqTlADStDFY/VM7gbwqS3z+5LfnMSvLbsvT5lJ3IGebov8vhhkKQ6zDKtjUoM9MfvIyMXVrcLeOi4G+C2/30Dqzor57F1jRcK9XScPg/ePHrx6VGfybp7yKrPN2mDeB3653un9YBDmfazWarpR71bVr1gdzZejzdrdMXnNi1kfK8L5X47EeOcVg/S+1oNKgp/y+6m6DH/KH/Rl9FPu7+eUP+UylQEFeFE8SByl2UETcXioP0f7pbz9G+6B8tRvhb9Z07uQldIsnLfFmhRkvVXvaZ6auXCWzZ2z8Jxbb/iC5c68Ap3e9syidHf+Vd2Pv5trKPI8O4+edbuYW0qWljcPlm/qrbp3ObOv6lJv3P64kPV2/3AV6PrHOQtqE/zBr7Vae99P2rI326BGkcQvt1JpxXBuep9LvZ2wOl5eCOkuST595KWIS34p4q+34zzNAt/sTExH3sK7dXP1ujNcevOVByU8EFb7JQ4GsqbegoyveDBqLGeq9wedf/RNZXP9qjJ6zZh6Z9lavZzM3X1D2cffqnY4jsOX7BXlyFLX4/VGNKzPRZO5dY7fh6polvfdQlGoBGDZKAPUDUQUJGGchbTnk+xvch4Z+Vy/5sy8vO6fnjzYGnW99cz11CvxPlErqqN8887TjNonodfg4xcv5sV43kEsq+4XHn8fCmWwar6eXXw/fE8macbZRdSI6MWL9ew8y+hyzyBccNPrmTdfu+wqgy6ZeYvtnsV2a7JxR2lW6Zc7KHK75evFFmn0azjAD2ZXgBfUIp+vp7fgZ76Nr4stvt5uDzHnuslJCy2AOZVa6bj9deNlWUJjUW8G7L8fSj/ios6jdg+k3Fevvz5ztrNFs9kWC5Zt82KzdcrZsqbXWperGwL/nX6pPIkTpAEwShmenMgopBIkmx1p38b2d5N1g/bbrtlcOh1qbKriBgSANHzA/fW8AI7snLvZ9hJyVWXbexP9qtw03S2/CXTvdZ/09vkfetf5W4i19U05n1VPfhO0ZhoQLHmJ8qcj/CIH0PS4kv77XbEefdcVdfPNsl3xq98gugvavv139bMZxcbPjRq2gHUjcqNn+3syN8rwYE0uhi5xmVqdvPHdXijfPpqJX6V79PXD68fKiEHF3aOZHq0Y6EmX2cgX30J1Wxdv0SfQO3xVovXwLLc53ReZfNG/735qTApOk1EEPNtv96sS4NsX7HZQJQ7fs6xb3Z7Qu+u72+Z/FFqy3//hTo1a3BEy2xO7ii64zxgxd3pP1hi1nPNL4Yvt5cl8S5cjg4U8g4Qsjt2ezDa/g1ZqyzPoIG97UiywLLf/sFf/4/Xd9XRuNx++KHno7mLxShL1la7f9uRmvv4zmPg1uPiHorbt2gbPhg2qNNPrM9vrvpSh2FnfO9d9zB02EFK5xkV0BxAI2AfgofM2pmpvQOvJDq09ElBGfxCT+FNih7aAjD3mCuvN0Z25/JJF9FHi5WZ4VvdpnGCk79kgwQhoxg67w+W3VoKSJGSVWb11ruf3kTOqVuuHSek5jR/yKzi3k2YJqdi4kNNdQcJjoqx2LZNhbW2d0QaGvSoJ8bO5mW/dE+f3XVMjw3fFwxwSfPR2u6iulrO3l0g7ZMnr++kuF5/vUHacuL8aIePbpclzHlt/tbNYTEfX995i4fbsff1fs+0/PspLz+B8Nf8L34sY6ywWX+YL3zX9sLYIOjD9gPTr+/fvbSXVeXdWXXRYkFCkzBfAWM0UgmEw6qFw+LA/Y6ws6QWn0FjL1XJXSZImW91skWR1JeupDTTmg+Of7OiZ3QkwyKD6Mu8smYt5rtTckNu7LY+7mNP7w3sgBizXET4goDDvGIMUcw93K9phIK1mh7s7KKyR8XgKy58WC1v/8tg6sXZav6h7g61f3Qfi9C5n09EFEtKuGCONO07pBik9MOY17+bsQ7rzus5bX3rkKLrdNbvf3hRd/X+aBvnZ5u6/F88wbYHR3PePpN26rrJZn2H2fqS67rHqZF8dxmKLYxxkzr4fLkoq/h6ThYtMvu/wFxrtPftrhkYwlN+ZfwgEB614g1YGsNCAuN+vFut5A8OXzMW35DDumtkCzEuA77+L5Ww+J2t4sSgAamqkf/P1118TbCy6hzikF+FCkWwscqMa56sNiSpTIdYKvzB4e1mom4B68ymwaLNxNs28qbZsOc9Xd8gMXtiDgHa2j+yK7+G/XZ9ze5HLbPgTpi9etOf5bpx4BHln/BBYIRo1tpO9oslBuXTSGr26n9fqvv0iWJ+mgaOBOTzWv1/O2u1mNACct7Pm7iAYxyJc0/upxfrzplgC3pfNnCaxIHVSN2eOjxnc3KzXq27b1J4jyLU/285uG8+RzrJ5W6jrQPlAypv6bbOdOrPNV13p5M5IVZjnDqSac++MLE5CFkjJrQPUX5/sBzgUyzdUbqQ8F9ZvUfSur8J6M3pvWO8/7vOt+7ttXxG4+qhJcECmfRiGmlFjqVSOh/6gH/ju9mS8hnRvJoVTN9VswxbCpjcSnG1xBQaebc+ctbMuZtALBYi6vj9dP9Aaup2tbsguYhpBNbTskkcefmU1+J3L0MLwrJcJX8npzqmmhtXdcvcF1LsE5tl5EnGHzsbnkdfy4Q6Bqc2euoOJ1rS8BzUVjbWYB0z98MWHL+azsoPssPOhF611/Zi1bV+xTTsWYDqA8+kncn73w5+jgPI65+dOFDwlu7TZ5aeyv/nmW5OZRbtmk1Onna9W3Wi+eitH967rjB3hYa21gGL3KOAzLFACE8ukW5AL+JitC3P7TbMcfSqQzOlDmIYC75jFqQShM7p3LvqOoxD6dUF3MApn6Yz11YePlAMwtMXiUJeii48VCmRfKJC6EF18rJCIBx2MTf/ijxcaDMoM6RMDGozHDOcToxkMxozlU0MZjMQM5HiJL8EmrsmxB8s+9Iy2vFmc1s3SwdrDurmgMh1BUkz6dgUJXkDcwIq4RZZ6BZnYOIuX8l8k3v8FRj/PnYVzTtfBia3yz8vGIUOG5NsZSx6w4WQOSwQtoDZAAcIGtFvcEh9DhS9WUO6rZcM8TeKrnd2jB5TobEh37fF1D0doAJ5dYRjJJ1n82jMIsxkye4N1pVWsXjWoGUtvsneXmqC7RhbsuGGW0/66HpqFzqgBnXyavc0SLaFumk6DoyYwOVECCaie9l0Z1fd5+8RhKSrUT/01MiD/6U7LmA5L8bdQxRtkmy2dH2n2eA5DmIbDCSClgZm+Iy8XaQylpnZGck3cyHLR3RMMzR63Dcaef2LwnzXkR4d9aKV3KtsE+V/uZLXbpHfkNsQCRHq3O3Uq6YI69P69+QrQgu8vXhA9XtC6ZBSzT5HrRyhyTdkNDXkMrDmmhoSDERws2UY5PrEK0VXSYUTdO16GI7IPzd3RHa/nA5VAK8yuhrtH18vTFskdL4bYnxKr6XvUOuiBuztk/PLnAsnFZgvDDNUCBDiTHeJoU9YZ7WQk5ceZe0pqYtgx2fx2VMM1vqZdNfD/7vA01tgPlmmIuX3nlYpq2OE8V9H5jNEDLkHfXS52H+ndYrbsI3JNx8rHOmZBpulSgakt0aMCTZfTIScQPjDYj6JwzhxqSs9w2QAuNK5nZpxhphJdct8eQtmvYf4b8qmiP/Rylcv+8AlWOULNnw/688Neh37QPZruczmVBOi5ma9HBGvdU+qkq85NsWYgLvMU5M2BlzjXD6eK90ZEEa2vyuZytqw54w9ur6X+pjuvUBUMysmqnbA3Bgh8uYaBeaKW0QIwdNPDa+V4UvYJ1NQSZg2s0KWdgz3S7rlFLTKm3vT0fS7Bb45Zp44iAUkWnwSV+gZ2JpSJ77oRm26+9zlUqzaD/qrSXceGWfXeFq/faKIFD7WsB4YlcmTXEVkMq9kRm5FOUMeu2K211tDtosr99AsGkYf96ksAKdkVWrt7TOZM8OO8+fqrPznfff3mDa0k5f905uUkdEabqiu21eUpZMuSTIuTzWru2andOJjXEqh7ARVa3jxMaGi/3SiPHlh0gxI/Q6X+bLAQdBSy/czhcuR43XimH8oudkIiJ0yjouo9HdYrMmJYNtmuJkNQ5jpFB2WwaLaz6sT5yvA8uJNhmtEUFqrljNWmirMxr9/9/HvkS6yjRRmyltE+x7w/cb6ddd2q27AB9/OWCLcma2XLKw1/P+1d7qNxjaGEjuZJKnbOEk73HAPbbzfl6MmHZrqjhwlm7eiePddfUkAULnMyZDr+/UElxqFNg7nSjem3TgqkTYJRgiT81kki7muMKQm/P+w12zeaUg7bYt8gt2eb61vjxvq26H5nYtE+WO8DsaD812aA7D3lM8MN4iZgLrY09j0u278R7/WQ25rym08R+fooka/z5cXFpt9eaxb58sVoJxJnQ9FXfYRmMW/zYfJoMxke56HTVs3igrK9f0+XeU7XL16Mrl8Il6jhXh+SAwL57KztVouf2zg0enRo5dCuCUVS/O1PI7WcFLJy3QMCDWW7jcVpnnH47Uhgy+IlcX2/d0tEE36E0byKgrOoP4K8zs0MLb2N3U/Z5s04MQeLNrvE2l4QgygpuSVuf7V9WFtQ6J4sivuz9fm53Uo5DCrenk/i8JV/tr64sAhoL/ZbUZjoCvrVTL9T5y30/1tIntf4PokC8mqcQzEoG1LJvgPi/mF2O6Rvbelr+fD1v0fpUX1+LoTvnr7mQKKXr7/M9Z3l++FOaD8VStYs3QmmwbirmAmGM+E1PfknUXJAndeOEsdgK1BIQAXiD/63TeMqIANikYvvnH1VyQFhXpMP3dKl/RwikFM775lBnJ8fNWxbPeJ2l4827UUk3V837SQHIVrLh623odNiDOhR1j8WtzVqNdGZy5nudPVl3j6d9P05qTicbCab9oBPTY92hMsoCsaAwpOdyeoO5udrKLUHIxDuLlcb5WyFcr1zRvJfsd8bXkL6QAELqKrZZkM+XaBcZ+Rjgoty0yy3mMjmfg00AF3WHMzjX7pPG2R9xIrl+rIXNJ/g7zsObWSe6mWqpeS0PwkKETO6BGXdaWM2ai8hiaGrhtOuWH3hNW6e3/HR0COpY6HTyxzX+7T971m3veHtFuXNdu5vaUNgMb5yWVJcON29prlG3Jr0xf3hMgCiOiJ9+5OGfi8oBg7tTxGaopAeWzOLwZrxjx4vuNo5X3DljzlI8cqHNldqfr6aTKaXM6ilHRiAokjFb3E8jvEqn6+mV+f55Wx6dXA6yTozQPIr3pO/uIgCNAdNuNWaEJhqO1veNPtOiZEVtFde473G1IFERINhTPuHvWlc38MEezjr9xbMvsJv7UYFTdxmSnJMOQPNnoWiXsMxrkuGhtvL2Ya3L0ztMB1rMEGjrKu1DlTdOP9wp7QhQTsRTvVwpgryjhSaNQEujgkRMB35nwPG4U2bT+xbNM0n9kCqBxtC+7kCuGkuSL5/hKFe50bak3LYWW7U7r5/frQmnOqDk96/XzOe9b+k6+I+V38u+O6RBtms+6ioyZW8Wt+7Bxw0Kt6X7vGVMRzMlQ/Wevn6tJfJpOt6uNGMo8B1j5clhsz1ki/Ap1jbrz0w6ljfKwf3jvSPwJM4893xqLSXVOVFaPoc7JbSdymPKnA0xoEo/tBT/KGneNXfrga3iwc1EfbWEZLZaXjo5deDsBPxYGfiwZ32Bzr7vO/6vO9M3uphl3lGD/77B+FyZ0bv/PfvxCPzZx3sefNu0jxwsDC49v37ujmfHGMkzkDPdvn1nX9+Dmn2TvAfG8pKqSj564NKflDJzQMaGEjEwxDuUIVwH+WOh3x2Ll89+GcPffDeu3w0e8HDevXOP3t34Iwdqal4d54/PCIb301yHvA7LUwfYe+hCH3nNQ9Khj5YaPWR85RyXz2yZ8JsFvexWme4B6O7IYO6KtYyHL/+6ruvoTg5688Y8Qlur5uaLke4zGXoPt+pYHrR+xY83hyoimU94yMNIxvSsS5msOB9zwfEeUc+IM+5Ig/+R2PISDgvJpvZwglh0xdxkLKQLrrq8nSzmt+aTf8DP8BfX+cpHaNMkjiKsyROYnuwf5Dn63xCTg6MwD/JsuSRqv6Yp0kq0zTNEimyNAnFYVV/RFWhqmpz3W0hqeKXXKfb29QXsGFgQJOK0lQcGpGbx7bK+qc+/W24/fpxTGLRzebjj/zosd1wQV4C3Gt2HC0JBsvJpev1OI9wXx9elA8TpouBkXljzRoVSWfWxa8L8m5MNxbT9AwNs6Y4LWni+VxLyUdFA44HP1N02qfKH46pof8QfQCJC219lMr0gDoojtkdQLkbN8cUgZSbSY4M08OR4f+dttg8h3ddzmgHv9ia2/tj++HpcH/xcZBvhjtVcBwdvXOnutN/wF8yqQDmx/lmkuz3fH13xkiMfLZT4G0gpadDuY/BuEEkypRw0dkAv61uIACcf1iP4591KNf6juQUBAlbU0RI1SG9XRnaBHUmarmh0C6yB5wFTK59AnPc6E3/+BFrKPYQrtsFefYYlI1U9fonuD02SVTI+zi4W98pTHBnvIrv33fk0lOYoLsf3H7obz9YH6RerhyG7C189xPYkIHkK/p1xkiRSKxC7azP5RBgrC2TrYmHfkCn3SM4pLDZCpWNjjuBZbr7AQC57Y+iDTLdn3UPqjO3Z8wck4067cB85fG2AHpIuz23LrtFbptDHu+7VJhlWSxevnanBTM4ZP5Owu1Cp4xvG26biDC6ecn0cF/eDkQdoGFDLhplI5kgvCi1YXfWfTOk/Ld5sehh64Zay6mijXsqJ0ecF9c5+Vdi/WQYCqntj5c/5KPr8ben1+Z0+cNFfu2WXVNcTa8BPz44JiqIFdERSlxDfL0fXb+8/jL/loGtHnyvvAr3oNgf6OKvfzQUhL7j7N1xSv/VkHoMHasyvuw1rKJkATwYBa+K5mwy9CT13jvLH7WSV6PXPQlRBMQDOh/SlQmK0dR2NLyRxEw9PujBDmCkE3/VdDye9QHo+cIfj2Z5P8l0NJfCl61/iL5K83Wivgc2LtNyxES6veekrqx72uw2LdzxYrAulnbcS0XP9eJlXbnT5Wacr5tx3UzApKSKNucUns0XkyjsIelyoIEXVgVPlloJL9kl0efe0PmwISRFoSWthAmaigIPbec51rmWL8SM3sIGkw7kDRFcucFH0JO8C3tauy/1Jn9uAxWNcvnwxf8FWxp0Iw==",
  "diff_vs_qlx5": {
    "base_source_sha256": "e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40",
    "added_source_chars": 527,
    "source_diff_hunks": 5,
    "qpl_blob_identical": true,
    "qpl_sha256": "830868f9b3e5ad162c4f2070e6faed0782c7b4cc308ab69044b2cf7306f68099",
    "changes": [
      "Slot 2 now stores a 31-bit rt timestamp in bits 224..254, initially zero, alongside the existing synced bit.",
      "A pure pullW(age) returns floor(7e17*age/(age+1)) and is called for nonbinding retail pull without a split hit, replacing constant 35e16.",
      "A binding directional bound or split hit sets rt to the callback timestamp; arb callbacks leave rt unchanged.",
      "Comments and the slot-2 write reflect this state. The other source lines, including the QPL1 bytes, are identical to pinned QLX5."
    ]
  },
  "first_failure": null,
  "evidence": {
    "kit_commit": "45e7563d1a29ffca9d608fdf60c90bf2624d2d01",
    "compiler": "solc 0.8.24; optimizer 200; viaIR; paris",
    "certified_reference_mapping_sha256": "35a93a38433a6860d2843504651f703b4b195b5aa7d58d7ff432d3900d7777cb",
    "fixed_vector_sha256": "8dd6e8d476766fd42f2f310b385c57e58def1948ef2a850f738110c4501e6b5b",
    "sources": [
      "https://api.imd.fun/artifacts/5ea62c673b4209edeb110939538195fafd35943b6796a659f5ffb57683cc8eec",
      "https://api.imd.fun/artifacts/d73c1749574cce67042552e9278be2ba20c8fedf9720bdee71c27d4019f21f02",
      "https://api.imd.fun/artifacts/0343e8049294da6680c2ee1ad413fa5dc95843b1893e96c3b173df49b850b3e1",
      "https://raw.githubusercontent.com/identity-md-launches/goal-3178-build-shared-evaluation-kit/45e7563d1a29ffca9d608fdf60c90bf2624d2d01/README.md"
    ]
  },
  "not_done": [
    "Gate Q replica scoring and Gate E fresh paired engine efficacy were outside this certification and were not run.",
    "Engine gas and out-of-gas behavior were not independently replayed here; G checks source and deployed size.",
    "No leaderboard submission was made."
  ]
}
