{"service":"substrate-conformance","spec":"1","conformant":true,"passed":"10/10","failedInvariants":[],"results":[{"id":"NULL_STATE","pass":true,"reason":"no retention sink reached; canary not retained"},{"id":"MAX_ENTROPY_FOOTPRINT","pass":true,"reason":"all outputs seal to one length"},{"id":"FORWARD_SECRET","pass":true,"reason":"ephemeral keys + PQ key exchange"},{"id":"NO_OPERATOR_TRUST","pass":true,"reason":"structural guarantee: on-chain"},{"id":"PQ_KERNEL","pass":true,"reason":"PQ or on a declared migration path"},{"id":"SHARED_SET","pass":true,"reason":"pools into the shared set under domain anygas"},{"id":"INDISTINGUISHABLE_COVER","pass":true,"reason":"no axis separates cover from real above chance (0.56 <= 0.7)"},{"id":"CLASSWISE_K_ANONYMITY","pass":true,"reason":"every real-occupied class holds >= 20 parties (40 classes, worst 20)"},{"id":"UNIFORM_OPERATION","pass":true,"reason":"all 6 operation types share ONE observable shape (51033ab0d3fd1005) — indistinguishable on-chain"},{"id":"COVER_INDEPENDENCE","pass":true,"reason":"rails hold and rate changes are independent of individual events (acc 0.541 <= 0.7)"}],"attestation":{"report":{"standard":"SPHYNX","spec":"1","target":"anygas","pqPosture":{"quantumProofChannel":true,"residuals":["proofs:migrating","signatures:chain-bound"],"honest":"quantum-proof where the substrate controls the crypto (channel, attestations, commitments, operation identity); declared residuals — proofs:migrating, signatures:chain-bound","layers":[{"layer":"transport","role":"private channel · key exchange","primitive":"ML-KEM-768 + X25519 (hybrid)","status":"pq-safe","note":"recorded traffic is not quantum-decryptable — the ML-KEM half protects it even if X25519 falls"},{"layer":"attestation","role":"conformance signatures","primitive":"ed25519 + SLH-DSA (hybrid)","status":"pq-safe","note":"hybrid AND-verify: a quantum forger who breaks the ed25519 half still cannot satisfy the SLH-DSA half"},{"layer":"commitments","role":"nullifiers · Merkle tree · cover + operation identity","primitive":"poseidon + sha-256","status":"pq-safe","note":"hash-based; Grover only square-roots, so 256-bit output stays adequate"},{"layer":"proofs","role":"withdrawal zero-knowledge proofs","primitive":"plonk → stark","status":"migrating","note":"the current proof system is quantum-breakable; migration to stark (hash-based) is the fix, in progress"},{"layer":"signatures","role":"on-chain transaction authorization","primitive":"secp256k1","status":"chain-bound","note":"the chain (EVM) mandates secp256k1 — quantum-breakable at the chain level, not fixable in the substrate; it affects every user of the chain, not SPHYNX specifically"}]},"conformant":true,"passed":10,"total":10,"failedInvariants":[],"results":[{"id":"NULL_STATE","severity":"critical","what":"retains nothing seizable — no secret, address or linkage survives the operation","pass":true,"reason":"no retention sink reached; canary not retained","evidence":{"staticSinks":[]}},{"id":"MAX_ENTROPY_FOOTPRINT","severity":"high","what":"observable output is one indistinguishable shape — length reveals nothing","pass":true,"reason":"all outputs seal to one length","evidence":{"distinctSizes":1,"sizes":[8220]}},{"id":"FORWARD_SECRET","severity":"high","what":"key material is ephemeral and erased — recorded traffic is not future-decryptable","pass":true,"reason":"ephemeral keys + PQ key exchange","evidence":{"ephemeralKeys":true,"erasureVerified":null,"keyExchange":"pq-safe"}},{"id":"NO_OPERATOR_TRUST","severity":"critical","what":"privacy does not rest on the operator behaving — it is structural","pass":true,"reason":"structural guarantee: on-chain","evidence":{"model":"on-chain","evidence":"PrivacyPool v3 0xb1572EB7…D036 — ZK withdrawal proof, on-chain nullifier burn"}},{"id":"PQ_KERNEL","severity":"high","what":"computational core is post-quantum, or on a declared migration path off a broken primitive","pass":true,"reason":"PQ or on a declared migration path","evidence":{"broken":[],"migrating":[{"role":"signatures","primitive":"secp256k1","class":"quantum-broken","migratingTo":"sphincs+"},{"role":"proofs","primitive":"plonk","class":"quantum-broken","migratingTo":"stark"}]}},{"id":"SHARED_SET","severity":"high","what":"anonymity draws from the ONE shared set, not a private fork","pass":true,"reason":"pools into the shared set under domain anygas","evidence":{"shared":true,"root":"0x0000000000000000000000000000000000000000000000000000000000000000","domain":"anygas"}},{"id":"INDISTINGUISHABLE_COVER","severity":"high","what":"system-generated cover cannot be separated from real client activity on any measured axis","pass":true,"reason":"no axis separates cover from real above chance (0.56 <= 0.7)","evidence":{"bestAxis":"holdMs","accuracy":0.557,"threshold":0.7,"coverN":256,"realN":256}},{"id":"CLASSWISE_K_ANONYMITY","severity":"high","what":"every observable transaction class a real record falls in is shared by at least k parties (real+cover)","pass":true,"reason":"every real-occupied class holds >= 20 parties (40 classes, worst 20)","evidence":{"k":20,"worstClass":"1|h1|10|0","worstSize":20,"classes":40,"realClasses":40}},{"id":"UNIFORM_OPERATION","severity":"high","what":"every operation the system performs is observably identical on-chain — one shape for deposit, withdrawal, cover, and settlement","pass":true,"reason":"all 6 operation types share ONE observable shape (51033ab0d3fd1005) — indistinguishable on-chain","evidence":{"operations":6,"distinctShapes":1,"shapeId":"51033ab0d3fd1005"}},{"id":"COVER_INDEPENDENCE","severity":"high","what":"cover volume follows aggregate demand only — no rate change is attributable to an individual real action (lagged, smoothed, rail-bounded controller)","pass":true,"reason":"rails hold and rate changes are independent of individual events (acc 0.541 <= 0.7)","evidence":{"changes":73,"events":539,"accuracy":0.541,"threshold":0.7,"railViolations":[],"pairsTested":73}}],"honest":"CONFORMANT at spec 1. Re-run before trusting — conformance is a moment, not a certificate.","starkMigration":{"layer":"withdrawal proofs","from":"PLONK / BN254 — pairing + trusted ptau (Shor-breakable)","to":"STARK / FRI — transparent, hash-based, no trusted setup, no curves (quantum-unbreakable)","prover":"winterfell 0.13.1 (production STARK prover)","proverStatus":"production-toolchain · lab-proven","proverVerified":true,"refusals":"8/8","statement":"knowledge of one secret whose leaf Rescue(sk,0) is in the Merkle tree (root public, path+leaf private) AND whose nullifier Rescue(sk,DOM) equals the public nullifier — both bound to the SAME secret in-trace","transparent":true,"trustedSetup":false,"ellipticCurves":false,"quantumBreakable":false,"onChainVerifier":"PENDING — the remaining post-quantum deploy-blocker (the prover is NOT the blocker)","routes":{"interim":"SP1 / risc0 wrap — cheap on-chain gas and kills the trusted setup, BUT the on-chain wrap is Groth16 = NOT post-quantum: it MOVES the Shor-breakable piece, it does not retire it","endgame":"direct FRI verifier in Yul — the ONLY truly post-quantum on-chain path (millions of gas, needs an audit; ~months)"},"honest":"the STARK prover is production-ready and machine-checked (8/8 adversarial refusals hold); the migration is blocked ONLY on an on-chain FRI verifier — not on the prover, the trusted setup, or the curves"}},"digest":"002026163589d31335bad8851eece87ef4963e04f37e0319e1fba8e56442d2ce","signature":"eYhA0SoPomAqlFLHK2/wFqx9mrK+wCC0HRS4uSOuvQJKAGa4eVK2h/3QgrJqeBc5llUvjIavU8lL5HN+JfV1Aw==","signerPub":"MCowBQYDK2VwAyEApUdahgeJUXHq6uG1kOT9qFTH30deqP64404kI42J7pY=","at":"2026-09-02T14:10:45.588Z","note":"conformance attestations are re-verifiable: recompute the report from the target and check the signature(s). Never trust a stale attestation.","pqSignature":"jtedVJMgIn+0vxwdJjvawZCAjf2qF9I3CwKnY17B6KPRe+F0/EtBy69Ud0ucm6DXjgv2Y4IcVUpu/ppq2gKVf+GMkFXyrQcQYWuageiFJecxH09k14zc+oG0uX731FEyg9ncFlH4Z/smrroT8/KPYwRgScreOIgxG9ikjDKFaBBe5Vm/iQYoJihSWR0AOUgQYij3bHY1ii2uWHb9s6ySwcFlv+2UMgLzjygkz7RLo1tlZVtoB4Ie6xU4w7/n8vA0SDnhLoid3G8CHlYqzbdU3xWDtk+1pLBEut8mJqTfGfDVA/0I09pRdd6msy2imFcvAMlVhclyY+VKC9nWBITIewVQ8oXlexf4qZYnMuVu+m5LSynZNz3/b++hujloCQTLPxpw+AG9JyrtSei7Peu6UHwCfBrldpk7fMxhlUnTL8Y/HEhODsWc/A1di7F4YD9E2pwXg4NCWxpIVpzuxwDrYtr+HoDQiAYy+xeOmcXSl7gTHxH8ZlxbINBIBm8ozvA1BhrVsn3cPCtTleKRD+jL1zqqV3v4BE5MNoKlQ1wl5aMwlQMQXh7qnx8qwprRwrczSTMr4RemO//x1daSdrn6O5+pCw3FZXsBvYml6C818hr6JeTlWKCJzhFcqIHbQVW8YbsLELPuabstCEa4F+1zRZ8kJySf5xL/g8hAbD5VYkP75V2p5eezAVQxlRz7i0of8sxyHV7+Q0wXuTesB/pRbWK0H5NDEFLNnX+PU4nmEpK1BPNJf5W4UaGZP7o6fmnjcWH0woitVOHmXNEkhN+/+KB1l8ufLMVXGmHhLW7iUzeJ2QINrzpAgWsc4/FT2lIKC3y4qoqoZ+HbvgXl0HQsa5u/2AldssHKrfD7hqbLZRvY2BbIO8A2gQJpnNN05HuuvKbxfI222/ld34U02FjpxVUfL7FivW2Q3QV2gNLwxt4t55mFLbANYHorXBd1H5wiefnTbl7oXp7yTG7kENd8rQeRA69YxDvd2RXCTjk40IwMwWkuWsGOzppDt/zNIan7FpSALzC72Cv62eFrq0h+pJHLlW5E80DIQtWgVHVlqB7JoXi4mLk+Ne733foogX008Pt0ZHmxEq+UxHqlbESe/rGemejY40W82GbNmZSYzM/WamIM+qyODjTxmszgn46WVJ7bsRSdAmzLXbhx31E6QD6DSnIMYKzl1og8LXa15hNOhB2RwM3isGUSjtD+St1L4rY44h0xlZdL9K3M5YJCGHusYeexH1KM8RrUMOKBTHcK0iWyZmWCeeQST44geLL0jcTy/+9/Z/tcmHwcHanCgrVFcxyVJAc+dmIvpNUGxGQIBCmSIJ5DZ/zNd8zXeOOKeVfktPoNyhfCzyhyetQIJlauywEU33gQiqarTSvFgx/fLRvHNp1AviMxquRScVcm+4BRv3erSdJLinekYBARcuVWGc9Nm+ri9em7dhu3xldrOTCwvQAAmpowM7JAmLyKLu+J8xwb8QwHR+u6JboOn+KdFFOV3EYiKEcFVB985qrnXpltUyl4vlCqlkMRN2+co+8v0aXvscA9f2UNF/cwnAWoQ7tCSkz+xXCTPhOroHMLvhuu6n8MdfJK7BTKFN4BwaXEduv5saXgRsKOhdv/CuQ2LOu7pbKuUeoKcIx4sOLYScJ9v0WFQRJQzAxLgiB8fRzXnkEkNQIOLL/4fy2fy7VDZGoyTobxn/sHPVIbl+zGFkpIacMDhEiPPg5LN/JHe0ZqRzkyxAmN5RzfeGvAYGjcngWUbiQVNhqQX+84fUeKUg3iNLoVOT9RBd/gyUHSXzP0RaOvSfSzwdWnfxL3g4zPp7KJP9NiBfZ3Nr7H/9rv8OwRHU05YgVxpltr8/I7xM2f8Kc/6NnGyPDGa6OJ6Jik9AV8lzdXoyNVEMC+fFS/fMKhlrgMon4xBBJjRcDRL6jBIQDsE+WzK+QYqaRnHmVAcYMc4reEEqZfzcQd/xkZZqiA/YrmAXxbnxjJUpiTfvVlFd4VBok/+kFGmB9LA/M6A6DM5WgqktTkrGa5v8g+GLsV17cDqE7mwCn2Xmrn+Cl5N44B0wgOqxitgcN+ZseekBZzUPx9KsOl9YzcELK951Y92JGHBYXncN4ppxeeW9q9fZD09WT6Cdwj5uARCB9LlJhm9GcFglJjsCkQHqq3bRtbejGkt7dWD+V4Du4j7SYpNfC49P6RzvYZRWEBxUBfs8NnD33MjkYzewX+9RNDIRCW2qAvL0oAqx4sm2ZeoKFv22WQyIbRGQEgNFSP8kPrHyV9FpjtR2EI5nf+8rQTDPii8p7yVJ6Dw9ceVZ9t+X4TdR/Ouv+aW7e0WslWjrCn70hZRZgmIDTA9KfSKXkSIQsuUXYpxJcI3ILl191ljyKVQchPnllN/kVt8rLuam3mxyM66cJCkbFQZdcjVr5J8S04hDEOjM+mtUjc1ootzpkydwwDZw+T4uD2rtGZXil4VeoV7qXugsg9+RBH95RYvcCqvRVtCjBRQf5Ct7HnGiHQiHqhKEkoRjb5KGAt95YdMSWv3Xtm7FUZkOdkVeIwFPdoYdL9vHygdJDVnOxbTQFbCTsQhI2FsH/M2ARfL26ZDRXP4cl4hemIngATYDOkPq+aNFiLnp3qvXTL85n8y8uw5dfsYR4oFJ+j15SjtXcIFIRsvkZU9j83MdjxZX3J4Tu/QqaWPtP7igITwnKiB0XCiDvix4JdBk1B2m24UPAFH2g900nYfkXtExxZ7OfTJHAzYyj8ahWlS0UAnKtMAdKuMt46X1bTKrg+yS2ikZjtU5xGvBIZpil4n5YekfCAgXVPIh/DrMsDepYWcogOMG1v5YH6ZFqG+veMES+41NWMG0S1EHFpOgY7RPpcrBJOwN0U/OYbtGc+b+nSPGoJXHk5lCBuKqoKKOY+be1/lArhxT8TMCQanrR7/DRwtVUbCnUOYknD9JmUqD6K7elAQpEvoMjO24ZjHAUrrYXzl4D76jMOULBlLvSPBd9P5JFeNswwySQ38g321zH+dMBown4OcwQrbOTUWmxgClm816ZycNwtDnjC7/RQsnSU2Xkju8EoWrlDS2N/ImfxAn6U4xKCYvACW0ZRH5NN6PqDRB+IuZpx+T8Y+S+yjvb5nDvp5Uf3wcTSqEOV9mrHTm2Ggjw+YZo5avsR3LphwxjH8MfiEGLyLx4pDZXj3gyBmjef6LXDzEGTQu0Pf9JZfVIW+Hq9lWIBpoy2/gKQzG9bvo3GKaaTYQPPZDfj72pyXZJmhNnzo7NL9NDw2AiTV8gjW8Gj21urGQEEyLDSSs/SmKkSfIVqQS3rr/isCSVnF16hESbcGbXVI/xVoV31ROnB/f5kL3QrS7ug5moJNXRtyHUmQ+f3XIn5KEK0KIqvu8/lkt91nkB9aVrxUMJSLS0+ldTkZrnbgcu23qC4kZuuNd3XApbj2K/Gn4jtDY6COv3lE4wqtY3snzBnDy2whV9dMtSJlrmaQA5ARz93Tq7cwJS61wvXFy4l43Gc+GOkRGe9cSKcAHZnbCj3h2PcIpprdLqLE0W29L1zAdvAG4fpi7wExTrlsSCv28pDg/z8pGFZe71HAPyDqBolGI9CL573UbEdfE7c9ScKounISkNRQdeBTEpu5ZEa6jxzlty92eEQRw6AX1A6+Gbndqev7nbgbSrqCC0QT4nrbCXBTHNILg79cwqW5w9oOIwiJ1wEUhRF9+9yrFFkQsBwMwp8wP2lUFieDx+OaTg+6PkxRexzGFN3EsNUUlFFBM9s3J0VU2a8BwCFcr7n9SQ3xqr7DVVtdAQpR+InRCTOKVjgIu5Ym2wV3pXuFiKcQNbZ8aR56QLaD85PDDtb/a1hyeGsxF+K/w3Ys/qRqraAWDAyzJCaVNkAGfJmbBsovvLk6USaMWjeLkySKnhvy+noDQfhxB+V5AfLRw5taH2vQyIPPmZPYLWGRhGmxuILoruHqOWqxBhnJWC9U0g1OU2FP3r3e8133IGgXeDTOX1K36dXYRgZS9rO+e1xicDuDauyqBCgwK1IfTYj+E8E3EggjUfOljlv93/Wc9UVhRJ5Cqlx1J0T/kGJWgM8iiDg27bmqA7FjnIzkE+Dbj1CZesmUd6bd6Lt1DtEO4YmFfvMzCUC++CNl5TkMclRSO4pFmW8ekVaFcO5Wx3gdz6rLTWmU7obkZ6CIPWvHPWCZpy9qqsJ31KGcNeyqFIJN2Uo0U/B0UCMY+r4ScgJYr5WMJzUo3gsL1y3hvbgiqNjSjnfy34ijV7N9uJlnGkQ0QoK5VdQK60RXn8bJJ+S2dM1t0nmjacvlRtLdCpcwNZ0bcnrGKHSEl8qOOOR6eraijSgtveoWJR74GKHVQuxhZ9qz+6QJVlOEZuk3vJWUWufjHWUHoqwL9SIXuxfHXyXHNqfoTFSEUUR5mxvnYCO1n5cqec3crwsmJsnDdTq7BTetzdf5yBTSzBa40yF+CLCeGAC1HcAOuPdJLsYkpFWsPOyJzJWc3qRCETYDM12dD7L85IazKdoe+C1YU24VhDAl5SRBh9bUW5XI4PG3TuyqH7T7IZ8lC6Lax7CZ3kP1FFi9UBs8qu0FxUdzy4a6jfk0lEDPD9vB7R/21cMIheODcKxYPFhg/3zvFhFMlc+Sh5VJLQii8LxNi+hL6ESOrfzBA3+Zp2g9n1mhm/9WgUQJAt78CWt0ZdrfGJ+SZ0f/vI0aHSXwclscjOxT9rFX4i2sV6JA9BCatEuoY3jvZIGtLatO3QTA+5NmQJTOYQryTL/lbX5qVcHdtT2wQLtXfa0rEEFZUJCBzah+bMXSBz2WBxzNZd/OUY0SMp8LavUFTLVfHFf28oVMkTODMbNydpKAqwKR01KMnsmUiYRktcsxbm2S+hnvQWGyKkfT/i3FsfEtup0bEzPoN0f8kjsFqLJSAckSxNuUuqsubXx68jJU/J83aprelbkvf37E4W9tK95cBj291kwHPtTOoK7iZoFfpOdRCMJd2K16v4NvsmTzh7yhsF8snLyVJfBRSF4bkbpvv+8gL86Ipjt5eR7eEzbmk9M5pjWSxabTzoUKft+9mqRtWWYS9uKfQjSXyprwTAE6Rh/eWA3EWEGq4lXJFF9tdAV5BiNIwgRFmuaSNCGQUepBBgqhOnBIk98jy51C8GWmPH9FYiqYWFTiC0nki9+wdp241g8kL7kldG9nqK1u087BiUYA6JdxEI1BNyDrwmEu62XDjpZt/UFJ38C0cPJy4/CxLCcxC5RllVkQKNsX3yxRFkDouQsRbzS9S+o5TIzcFzlDRY1HPidyvULMlKPUtL85c9WKbNivwKOYuDABXrU0XE7d94yyovQAAkpCdAwcHuL3hsI41s1dj2FtKIIvS+wV7IVjB9zvZ9UrZUq4lxm/cQH7c7XeKz41zCJVnn3mlZRdtHC5mJVLYXn0wu4PUzNh/3RmdZz02p0yPegr3xHqjuROCWhU7UlCdZezDp8GtRnHUadVGidN9z+GSKZV7cEnizs5xiDo6N/iHJOJZAmIcTBPI6B7lJA1LAj7qxwmMm7DmsKihf2s7h1c3tfV5eIfEngEzf7w03JUDcA2vgbsx7zujYL4Wf79mXotueuputiKivwDhUrdjlMFoYrqf0nj/A+uo/oJoqxqjLqRp/zsKaSvhZbn/HNI5sFBnvfTEIBuWMIdk11pTCpYHPePb9b5lcqRRwhsxMQjBbCDuwu+R6uDy9kiwNZrdqJ5oRaTsXtAoqXxL1xPs0YPD+CnBSMi05bHJQb+DsNSX4yaPTR/FzH8f8H1UsSac2HO+D8z1ha4jEXf9/e9+NgF/HT0miwvOUrcl0/MSvvla9YAZwwPjLPhLGdIzF44y1X28j4VOaSB2sEAfc9jFGF5I2D2ja6WMJSe/WDIt6gfgyLWA0zc3hvWc3vdV1RIuGJN+4eEKupJXESvy5MWvsRiGEqBJi6qh5X//FnMloJe5JEvdWP9HXbgjwmFOFv5M4zLgJVeZY++S9Xmxo2SsgRuaxTA0fRdSekRv2k/aHKYvoSQQX0l8m7jSnffkF90iab/qAc6rwbP9Y1rhXn5WOiyaQGaycCM5Kt34NiIsBex/gINbSM1IX1FsxqXfBJuoXw/RxHf9aY/I9LcWHZ/SK6l5Yq0NynN4iDZp7VX5JDQpptSVmHpSmUZ0JAvr1C7SlWpzBYP0Cui/XqKgGpX2oqgwd/Zgrm06CrIb052Oaz4UNyIXiNWzobuQw2Obk+FmRlWypmzWsMiNNR91px/XE9c0N6yYksSyX4aKNNk+kMUVIOf7qYJkhG88dwokgAVae8db+DJqqHTjqzLErUUCzsgi9WRn11zDeqqcwg6TffonddnYIPfolN44wZYNWg3fMutOtoQi6SYZ9H437NIX7TRH0vXO3OgPIfxhOsDQOBxh+/mTWPMvVDtp1Y5bDxw9lH+IK8/qs8ctauRlSPP41dRZKgy7bp1bEyLn0ddcUwmR026fR7zLJpdLSFBgyepNkbhgu7ApsxYg8/bUrWqNGE1OTHVIbPlBV+RC/kmKPk9oxMYC7lAD3ufo3QiwoYz1n9I71jDmOcBWh0kCzqMhlba9+5P3EZ9XxjYiErKlHt3wwM4zuFzL3Iul2MCj7rvuay461eki+WIl87l4GJKUdhRxfH4rySjYYAXcgODd1TiS5ouE7QvBsSEdu/FV6tmD4cYDfo/P0BkFVXURGmAoo6KBG7PLhYTjEkFVCgtPNDrZ88k2WhuP9SXkfFBDW2bh/7W02ZBvYZfXYvWm/ATpP8b46+X5TPWH3z8+92+SbgINGkeU0iWUCvt8dvzV1fxHc54mvDbnhp3wqP8b+sGeahvv6rTfGr/artMAMW9silU28g8xpGBJivQI97L071DL19QPtXyuQFuUBdk07a6wz4Zkn0KRi6mSQbi59wxBpEbxrkvvxw31z1qXHp6X5YLJPPzytQB8sVP/s69KVuikcpdcjmtQEqoyeqYu1VbBnqWk1FxsKS7HUSge0u+H0M/N6axJ1ZNjVQSXAJqxI3w1l1wQUQiefiNtulpAxsGYC1qtBwkIg80z8+7t8GewKdflU9ylBPRkanXF6IFcQSO+5qttrPV4wxLRNccL9vf+hOICRwex3F4oHX+wuY027EDiqjmq1QkERzY1akJmHuvQIBI1n7BheAu1wjfxwH3SXGrdIRVXqB4upQ26sE+pwnZWxvySeG4LcFTnp9tLXx6xDsvPc11/IdZnrZupesWO3IyRl3OApn+YJnNEHHvyeh3mDvey2zOPykLxSGNNvE1xUIp1o3U/uN5NPVfa7Asi+oGf/xLMHgxhE3F3MZRqTmBXxgmVFJygdVmdOG6JFQINRiFX4Rz86waOTqGCq/HW7lGJf+xJs8eQHzRHizovjn+yoq5zSb+ihxDkfoEKMklXwtu7yvocxpqJhGPAnbsDbkmG/uxyFQ+9W/oQTDpCYhQ/7DQUWilp5+nyn7fw8AkvxR76WunsbpyqHcgLtMxRIRCtmVMi21ldtTcRuE/MVDMkoa+/2xdyo6k3PUWMi8FAgAIR4PZgarG7JxxMkmrKcpaVcqUCQ9Wv/qQcbkIHbJcS5HBmjvZgJqJVOH7jdYr8a/HMTQX4BDz3Uk0JBOWvdip0w1mELepl1G8gtW4DujW0bB2SjadQbz5kCfAsoRhKIlPUeGx/JC0BC09XHkRDKzIl+Sk2KCiZlaGotrlbJXZOR3xM79W6j265olEuXv8pXzDWFW37JybJH3Z0tTOLJCM21Bk4Yybz2IwhAg4dfqPSkMegNdUf0AirDqsfkrCjhz3jH9VtdDsmf+MLnk42h0E8RHA52yx8ZcTUQEaOvjj/tL8xF9aZicrbbOM39SBj5HxP8fJgndB3ifZqudU88//Jp0kmgGPGDmQ+UmUx2wjIrgB5rX/WEYUQ0wMpU4rsaaNyZ+uwAINOgozka5uEFcObsE2v0DjhDhLpaDDFT9atVjCKTMtRTCpN27/VBv4wxOVFltHQLenFnG/ZimNSkRsPpXXgAjMDO7ww6VamZDIXOl2O7L01fXpwYeuCxJaDVclyYJcnI0NZtzEge4MjysjiqqD8gBJpmlhPDeQcks3rcsQzWP8mfXNbrpLngTbFYtvnY0nUq+dbvN9P5Hvak5MLx9PQ0BgF04w0+aBdwplDq3EzFdeidz9KFqMA29EJ8c+VDspGnF1t/cXpGEBVeto+7qNFfols9LCanideTHqnIVdO4BmSseH7GHx1BZn/I+TNBm8mBRGHdTKsExf8jTnVuy0SXBNnIw4WH3G4YgIyR/12UTWZLRbXOSHhdmH7zbedXcFN7B321dpE0nsKWhgE2GMDqK1EAwFJ7sAv47XMfA7Qa6J5v4HMJrlRtT/J8/rSzmm53oX4WaMgejuCx2HIS2OBm9y0Xt3IwYXPerctJ2lIg172JrbQpsdY4Ku94RBscPYxqJh1rZUpOxmU/Ij/tEvYGiPtxBFTPjT85vbd2dPuQ8lm08ykmM7A/pBj5PPGWnCMx0p6DY2mQHni7ZZbn38wf+ICnsh+N8iVwxVuj8jLlRt+CF4Ugz1sdlbYFy6J1mf5RRKJLNNnGLRc7GMPxyD5MJrw7IfsKX0yQyeoSASBlvMV2183sC2MeDRLhSW3B/4xGo13uwf6UUN7zcQ4FLtgOWL+uC+R0OKwzGev54txeDC3QV7jeF0g18FY/tahEda27N9HqMsp9iNcUFp2jr9lv1KTevAsrYvHzWPDrnC6lQEnApliJo3QVBYOh1Q5OlmbwL1MtNcpB9T3VrtJfn5XogTIn2luGKYTvPBsZ0eJnd2GIHYd+/WgEqzSyy6qdff4ftjMipqfkDAjjQr02KnQmDK7PG1Sea8xvm3oeG6cvoI8EDI8ktx/H88saOm/5c2M+rcPwBmT6NDyRGyZwuRPD/Z6CME+hVA7KbVvBDQotzJHuAaPQJOC3boLUPv58jfh6HgIUUgfZAl61G/f+TZMi62Ga4PA4dQmfS7hkiadR605Z/SdC4yXd5TVOziASGhb2+EqFNHTqFSYImXsI+iqUwD+IkrvZgmMsvqFVwD7ut8dL4UhYv5ouWZ395qpquHssKpqejLRG/FjGSuJpz6pGA84FshU0Clc65zVppIhrT90yEFseCLbzqVNxf9y+HhQyDE5Cz5kQd2vg90worHAG3mJcI+TVX0UriCgrAjaMOKEpc0U99Le76ua6FdwW4RLs4iugmo1pRpY5+PP59ueMw9OoBW8md4RefVpSz0RSXUXXChUZnAZZ1up6MydRtO/V+yNK6T6QODzuMN85uLCbt4ueIhcbWLovTrq0ZzsudPUp+sBI10jJ+Ez98appFP/Z32QiBtx+gmB8eLQZqTxJKJuHeh2FNyGZKg+DxrAdEs+WsyUhM4n1FHSjooYD5grotLyzYJgeC8a68WL/AOibiFTrWws/tkcxFoc6FdbH8XWOaEUSHFUy1NSpJ86b+kdBcT45u7RNkpmdBNH7LarsD+9D6qvKf/fv6QPc0neZm24+Bc5SkeWwLylu3lcjQjrxWnA1ZqKeqQIwdKd3hQM/mlCzNz3XfWuXRwPs9wbgx2ybowS+vKSstm8DyfsRryHN6MrcM103zJkJYETQBxbOu3KP4RhEDTkhdCJ1UqiRaQ+LJp/2d1lWCNLjhbO5nu/Vh3bx0Z600kTNpeKXksGBxXOoyGI96Ji+GFFYd0weLMOY5zfRMd580+5NNhnYKhGe1D6RFcu0aBU/SZJqL4/fnIfGfUPjKwenCHWq7p5RLgrWmPoKdqYqoAAWQi2v+Iy6BdtRbQtwQr0SMc39k1eM8bB3LXfwOS4Z9P4RbpxjS1UsAGH9+c2szoXGw891HnApP22xsX4Su2jqDl7EOpRcw/Qi+2pfjraf+0KOsTpq6yBekywBPQvM5RdAIRoqaGOQ271r6kDO0qRvg9qDUA/Xjd73Z1mWpmI2XG30/lIt7By06tjbsY2KehDwIVl3r5rssj4QqOh7nUjrh2OsoFLUdL0Q8LcUv2YGYtnO5zKTSuT+uwsP173J6JKv8f7WV84QVUT12fwxW+6f8609gUl3Y7SDGE6Mqy0DKvDM6sDk7N1kpdzdc5wafp3rbFMkJ9FmirH2i9C0PSPLLu+7j7GJe7NZCoMhssEJuw9YDlzGLVvKikrgIPaysj/5Yj1bSJhGaehRbC/Dz/NSrwASTwlMpkrXcIAykFFQ++2NNvecvdW1P0Z1T9vbagyrg+/3JcXNAjbMJXllM0soyUfeed2Rz5jllP95kBcFyYkXZVdeeRagFkx6Dk4tkTn+lHMvdSgMiRDNoWG2DolNI2cq3XfK9YTZYJlUgfA6j0Dqp19VjKZpSHD9NwzbBnJ7MgQopnFq3MCV5Z6QcMPVRCm03VCljqCXf/cP2XhRRFP0BdFHq4cYiWCYm21dprDegaEGNGetPG9nehgG5rIWX/9bVT2zRECKAdyAA09LHvlUSJKbi5NcbTb318yvxmILIsUQfKyzZPVOlgTHwslMxu0snSIrRk6oq+L6YK+m/wQWs6FJ2OxuzLmNhVp6cCLCSp9UQ+z1Xv0Er6A5uUtxqGEMxN/SpXRI95a1yuYcg6yLyNGiKg86MfHQsHMWSpC9z0lHOZ51ixm0yf26Oeopvg026pCE+aMSWZoxsBNej5cpJkLRIR3QkmR+OIZwIPwlzWD6hC3nO+aSTRnDHqZDR3TbD1Jn+XjjRt31hIVAmjsAtWmHdnNYzIYXcVfxkPHCgzcWzGZO+Qv3rj1fmAPvk5LM6yfzP4acG63aNhLUY5BLXJIlGfiFKQFcG6Hqcc1Xt0kk1B/y45GX6uzqRy/ERvdjr9wmSqpV86HTtOmf4eZ4qRLww+03+nWb/RiWVfjtO+vtMqrKLUmCAVplqMDABK6imcM77YkqIffbTleaBd+n6D7GLMLU8b+s9Xm923UtRFALhUDX0PQXoOQO7ExQMOkL8KWVsKIcbyLuosIJK/OPzFjXi2tRy/G+A+DsodDOEbo2MjZ9srh3t/8qBeZ60ZJjoY/dcX0Iue6xq9mEO5NA52i/LCCe7IOwN8PzS6BfAGzCf2HPbetCKBLOyThUUOpI9BMBq7YLyMw9lnDXBtrzwDSg0yLEFca/Zw8PnFNMbS5Y1HISVHNry0xDswra+gDJ6XerQPGHCJLAX1MPM/1YpXyMQ1hjVe/uUnWQfIwOgz8IMHN1RJ2ThaNuRbFbCvCbLjdklklE8H+Cq09ln5x1bylrac24B2s2ZkEueGFCOBHEVPKVN3zntYUIA+SowHeA93gQoWgFC8pHGCe90cEXqOtniTXqiYMvboAd8Nc9L03mPSGvUI4rP+BnAw7V88XAlgCZdYwJQs89+FE4GNaR1jGb11NtiQM6cc4RzEuaQPPAJV4CDvm8lqoSgN15wROA1W73ibpvQMNcrscFRMV8aKyO5zXEPfsb9qh4foLVhhpFGqZa/QWx/qAUayAEuDgk5s7R7dNz7S8P1GAIQ+5ARmG3gJ+9pf1FSspGSpOfDYOV1G33/JeXXWnfiCgbmIzR57KZQEWdkfsGm0y6PrkoqOs3MDPukMtyAi2WYaOkmbnKUJQaa7ooaVVrKB5VmZ+qMIylocumJitjJhTBjf4dOf/oF4KIEKdYvoT87rr7u6kh2yb0I6K0bO+pvjtFZv/TgWEfgfTCnHoFiT10FVEV79+NXFPX6XY64MFP42vSKcQhB/lYS4o7+ZohzKXy9GVbyvubhuv6xMbQLGOYGtQKXXijn/MLFPYso9W9S/J+ZXC9YwaJEwmbKTEE07wN2OTOt7kRS9hO9F9E7iILWS5/Whak69c5Fbh8rXkj8I2ACw3qT+rnlU34bQlbDk4pya27XbNkCAc0y/Sdi2y2gq1plzYuUw7h37Uol0Pd68cphZzQaAHk3aWQYHZCHtxPXX3My8leHXCtG3OmEUN8yLu1y8asZczv2wFfR2nKClMIBrTBEnLsx88cwBe3CLO/Ql0U0WXLtg+brx4cJy1/d8SqlGB40TFaAKGRDeGWa6k+ZyxmbmRgtwk5odputB/PEVy8TlqiqLMOux3upv6T1eXtT62xyJ647aZLFLYfyq6RyuESj0D1oJUTZRxQusLMYqp45Z/XBEnbTnlYx+OsQMvVIUk+uv+buIcbl/bL5nJTsKgdDSirOUiVOY4jRaDM4fc4eUV2sW+8DeqNJdH7SPMNBTALG9YIqnwtuYtixLW/UPLv+DWUDZDg9FcysLe1LoyvMPYmkqQz278VUvAs1sjnuUWbhR84KQpPH7apkrbt/1iU0W7x3wLqeawNQvKy5LrRBbREi705/wWp0RVXwsTJILwE1n+W2LIczGvkg23sBIx+khRpmHfaSRLwo7m2wQccIC/FWtbakthOcbMfDtUa3IOvU7wL0xlNm7vLmOMRf2jzMl9/HavK+ukecomIajxIyxtCJ4mH2r1VBS/TMx1nHE0PO59frncmzOfHG+iAmHapdkgjFWvCwa3s3cdthIZCqimmJprutZjXkyAezjlXTVk2H89klwwwSQ3JoY9iEh1wRtSVgs3QIlnDQNCHA9S9zbK/zYL5bDgJ7H/XxtEX5Ms9wAnruIbDqcjXHO63HYXqZmO4GURd/3Gx/pa1wBqjDrLSo0Rbzg7Jh1ERfZMPyt+KRqwmGxxjyKc23r1T6r6ET0v95Xop76cSN9Kr/PqpjTTaEfIE5X4cjiEiFXnOE4WFPFyDoe9jT0d7/IgXwQiVOnJTWnMfgqFKxezHDrQv9Rv/nHFnD7/RyCE2FRFEnNH84L3mmQmbWdSNWUG9q4rVnkZ1epa9VeOV3S780lEbFPsxwXlWXaku2WqvEkUmuXCHg681d1OOTaCysp3x9v2ocfRLjmcA+h9BD/6hsO++zwh17Y+8aVpeeUZ8YGKJiMw+H05SEkleKxq0C+z7X5aklUdXJDqrB3H+fhmEyUCgDE3oSzkT/5s9NmF0HJ2SdVjq/XrMLF+Ur1G1SRwa/xAB07vsqdQszRs+466lklkR7DjskutCWI1s5AetlhSpXqFPwBo2Schr/IusZUx1dIDH/QD2Za0cvRN96wujKpmqisXa093G3TDkGzSuI1ExUGecjDqyRen8Px5SAGxUCesVWAGJJFxwRDiHALjddUkT8ZJCuwprjqvhOLtn5Q3Fand/AbqoTETftvIXR21kEzuQb9dY6gPr1mjDC+FlAJBnGKSpS//uPx/Zkp4fod1W591/bCYocGnRIQ3Jjq9J31lLmwI8jE4rMh5kS5Xkm0154G53ldTnxH1a8TUSVjJEUG/Bm1AgB9D5VnaFFQOeEdKc6Z6T1USrAQohzz/MasS2KzfJ74Hj3jOUknlrvmYBqMqpfA6DTqsUm8y4NWCn6fmx38jg0lthivfgclIm+0aMXyIUbLODKjDama4nKeGnAFcmQCYhNwriEcUE/zpaSw9yi8AAwwLy19yuIK+IJjcNQyRlJf86TgqAEdL2rgZJyII3UZT6TSQ8q/N2Lhw/ASfezhi78CEgKgMPFJNrkuVjiUAtrJpKNaAh4gdLPkgvrkD2zL1PZ+tdKWbdedQhgBIt6SWc4UQN6Ef5huBIqQXSc7CcVb9BYOqyYG2Qfh5iiKD5nFU7pgM3RuoLhudMIhdnHyO4yOAOz1eMdevd1f8o9TS0YNc48GYY9CEullsxL5nqRkKb1NyrftdXxUVUhkX35uRxGJpPdvOuUbkcKdefwIvMoB+q9f9WKZRXG9DvnuNxMvIM12nSriLOE2iFYfAfca2T+3uyIfe+HQoO0ZVV62qhzCMgepTappnjFJ3/0sjvByCwg5opzUb+s7yRNTN23Kk+/W6BknHsOt+1N1u000qmlIridgdbX79c94zlkgv60eJjRFdpZDofcKk0085ErGlHtbxDwgWzBdQ36RnaK8kcBr+kGWJ+RuCDuI6OHaiNWGThPTqa7086W2CY063gtkdxnqrVtGENthNJdX6DSewf1fMN2QGf7ca6iedcDr892tn0aoYMcEc/Agftxwf7E0jd3AMi9+mpe0tOIgIhBRPR3WQHQORraZVZ+/WJacuVsz334hMqOjKG7HcumfrkMhBM7EOrF1X6xPHzhwj26P02mtTxll1C1ZIOiWN3rVi0OfeZLaIOxccY/sVIR7Jv4mnGXqt+gZugl7JuyJ9ZYhZjjz4SW+3kmVUl4+deaKfoHxZmIQL9IpBgh1EK5wEEpILqAPUZZBCKcrkSdnvE3JlxIcL8erYWu1PlyUMXg2oM47ZSip6RO87rqebqT5i+EsD8eETujCrczz1PPrZa8CFc2R/acFiDG9VwFMrl14Jfcox6B5Rga/BUM18eCBxZRKGy+yTgegLQBYZ3v952ATvpiB/KyezKV33SVq6i9VlvCrgdJU8SIGoZj7aiC+ywVPLQ21n5EKGkMbr5jVww5Yc6PcSG9vY2GhvrT6yDvLA3z6qdElor+NmIDim2z2wF3UIuevQQWVUjUTiKBN9eI2gZFYCKngkm9cNxNhvhu/RJ6KCQA4J+jRSbw4QwdVo7K6VKSQjznjHEmJke4/LCvqrxYD5pMWDAATtRV594qgToaAEOFT7K5CLG0CG2TnIhUJblpYwvQ8WwszIJz2SGweLOxzbZYhf86ToqXkiAMNvcrHlMVT8u7w4xKLIvWUHsJzqTA/JXgnXHkyjMUoat0xVVj4x+wERaGU0cHzTsaUudlkyLg63eyDlhzStgQ9sMlwMWcgOeDKBXF7Pjkt3YdDVg4TLsR80DqsxaDxlgwKVl0tl68Kf+NWjnjlevMnUEagFw9urmrSv3uvqc3xRVTvQkPVs9UfegzhsHqAOkFOzWPKt3VJj7IFHXXgQryOKI51ty+/9fXYrWlV82C5pbpJ5bXVegQQmCMdz9/bJyzePSYc/tJeSYJCZ3y/0kr7aljT/JlqW5W6oPVPMWiJtLRdOd/TXdKpWzjIzh4RkXp11tFyL6KW8+UgeQ16NnfUFexuHM0Z0VUJX70GABz3qXTN0/k0rVZbH91NZt1beg/e038nYwg+XCBuPDaLpl6B1OhUyDy+ub3jnT9Dn0CXefODHF1BBau2x7/R+Ow+I9RbyXGW0uSyWsjuj2IZMqWejcLT/ZfFoUe7PZEZAAiQMw+P4DzHYbeJfLcrZ+NhGFCaDf/ps6/8HsZayS9Z7I+i/+5losZSpFRPxPCty3dcwU8wiyJ8u8kc68G0yRkH/eiVlzGZ9ja4kl0d964JWVWLZw73IJtWhaPzW6VpkNAMCIYDAt7dE3u6zyM++HiM8vT4zPHNzpmIE6kreYAQM2b6ZLHKPvFQnr09NC55SWVWP4vzsSlHZgTbqlxNfKaq86hQfl5wKEPvDAU5dytpc8fF2uK30OvCkZlHVN/cbP2Vg1oQqfJ3s/4dAvUfdNpBjSut8jcw9XQJjH72FUCGMjyYlx5gV54MEUlTLkK+v8/CLmzyR64zR/1e68vIDNJmdehdkkSaXaqioA0YhFXJGHIchIG+T1iK18RV+8vHgQZx9mkF7j1ULqrC8ZjEFi4hsi9cf8T6Ovibf+ZuqjKqeWubJFayb+RpjHiyvFPUXWU4ZZ2QXOQCJ/o7HU6ETA/zPijaiX9dGQT9DnjU/xCnGbzQ37onpSulW2zaOWU2jRPiqmkWTATZEVa5GMDX22L/Ybj2VPrieHhEzbjbbX/YgC93aQyk3pOvsjBdaQAExt3NAfXVOlkU4O3Nuc6n8vGd4Vo84AQdNjxidyq05MxTiFKaZEcuw7L4jXj77i43CiYYNh43w+9AvRJEBDgECH5eTvlxPQS/PCdACDIpa8tNWZPb1xZh0ce/kBHGiKx+vile0BJxrQZdY8kN/xT1+/2+1PKd+bcOEVwtQz4MYatsBM0/xU8/0hvPPOGFiA6fD2s5wz1xteZf1GGbgxw9HR9ELqnOPjw8crum5cYpvFQGPCzhiRVJfMtPZQhkpu4izCQBP5wN7IzWxiXga9BofTJ3fkHkVcUNOcOt79QkVgg9NvxuTgctA210/3AxJM21/O4XFKR1OyrzClu6JQke38U7dUyg6DC1hrNxJSBVsk3VDNSm7xq46HXLBAWCujQdNRC3FFootCCvwQDxhIk62X6iw6A3WH18EI7BZCdQwlGH8OuQaCn4dbEOhpMmMCBuRufE0xz6txgoB7t21i8hzYF9JhOOfeIz4py66EDVjAn0yZeEVz/kHnAGe0x6DlkwcGPUdtuPX52jjLWUd/pYAePH5eVM5iqFlZA8ZHFQEoVRS/lodDYQMIrkODLlDQlTDiDDMGo1QYPpNAay5J5AWhP9F6sy+4oasu3Q7EpaMluFOt/ei1sp0B6wqnujQoFrROy0IKGB5W4M7JbCqzPm8UE9Gc3EFpdvpgDBNKOjdz0E6EU6i2/ygXyUZe43Q5dSYhecDd/dSFzDXZ5/ClgyBZiT1VHHdstIRC7Q6h1V5VEjvFQkYG31bQ+0AROfwXMVfPtf0ENO6TLuM84uNgI/iyJPZQHE2rJ3l7KkmEyaCjC29mgdoRubPQhu4Vogd7LHsORTWs33H3e6zFrsx760AtWNkuQLDRS+OPBbd4++8SmIKL5E8Dm6DqMzEUHz3l4Au8PNHZJpox+01mWPAxqPXXi9WFU1kXKtjmA3atCJUctOtxfAIaOYUq+eOyD7pppfQi2vS0V3Ep4Yq8r6EU3O+whfe2dQSj3MnwvuurbwzGOt7XtEZPgaICJJ92RkG6XuNfvvyjA4d1aBQwdzMy0Ad0YvCi8Y9rPHlptl0/79AShezjMimrVgxQyfsLDfFdApX5vKj05IkXjkU7NTW0KMuBP/ku3weyEslgWyL6EGiyzQB7iUmZtPTuRIMm52U/zEA3L617KaW0XAKNUe6jzZtDqSfHQkCE7gymr3XR/pxEduvMMG8v2an6USGsmVfr0GZ0dXl0xKvsvEhB97lpL/4ca04AOxf4W87gYMz1r7mzBJ9GDLcQE6iObs7lR6jD8rj5/kIroPplOKftBn7z2hAws7y3YIi5/cCm8nQ5PvWAn86AiAHtDF2A/Wfnrq+3kFJf+eciS7RmZIAhB3OpBaA1HTblDP28PUfDqm3cQsE00dtkoQ+Rai7MhxHa0dbnDqL/QohccPtPX8YP+o/AAP+Q61NIotxjPsqELdCBWO+TrOeFeU2VPTYBy2gjScqVgz1jaVhfRyWC8KA5BPg7IxFUDQiusKebdSDyLfuQAWyuMTP5VIO6xtRzDbqGfsZqrSnlvaiaFwKrxyeXskFF3tBGTc8K0uD+p5Ri2WipM/uzjuzWBre/Ib57jJzDIX38hlfKF2b8lp4n6WKGYtW4jIEFzVrPDMcX8QxiunwM1DLzn4ZEqKJlNps3YSx0OOW0FWzGqIgvYfVdh1D7yXwbdJW8HEsacFXX0zSFTdiWqAsL9mVKpXxOuykIT9O+dClfIeJfvliEBbNR18T8Fk4gza/7gGL4AArHmXeDM9UnaOhQ2VouuraVTmfXlM/GByjEA80nBNlyMxta5/64HPXHCId4ByaH6QPYDD8CZLVvLBhcCXOGge6KVCuwXHuM5dVp8uAjD3PL6Re5c7n/ARiAlxnX2ZeqEmV45NK50MyFVXJO/ZUjc4JzFzqE0bBDu8DCPIpBPpFyGt8ZROrRqP+eTBXqyEV0ajgWJXN7yyRwZhiFlTiufAjRU/Rvwffsvd8ZHEU29Q2SeJEvzDudoVZ+kw1oDQe5B64J0qWk7Eq+1W4r1ABr/8gYxob0ajTUNQauI0a6lMoys9dEiqIVs3bzPVT6+L9HzdOyn8vZjIHZM2iPzbZXu2CZQVB+wk2sGHS1b3bFx6HFL4QSX6tnkKsaD/HXhIJ59d6K+56QwtR1Ije2u0OlcDCfxjXFMP/umj2IM/lZaep8q6zmtxAq+gMML51hPqgaZ3AnlRIcm0bctQVpmXOTONflPOqk7UbPqROQPaU7aOIstZ+g4kXLMM+dSuhoB5xmKY6qZsMz6wnGkNfE75s/+7s39evAuwNqiRyf/J02jWVDiqgTuDzq8jXd7/dFDID0xxgjh3NcdM0nNypOFYvw+MZYywFcwKEVocWlMHjGwKkW4bOocKhBs9TaK/OjxY2ySOk/Prq5W2D8LAUR/q0LJ2XOsbO/aZSMWD2542TkxQz4im2lhRsFtfxCdqGKe7o/B7c8oz2/nlHkREsx+OH/Zfid3KkDCDtcNVrGoyXrT2ntzw6jw8FHh/hXiyT1fOEbLtYWu32I1SEenJtcRfSxjM+h446L9UZmTT7Cx1HJzJRhFzB3hE4jZ0xTuVHvVeQki7pBSMLjd3u4m/Jy94SsBRX9QTTTKFWKf66YLnSEwshC+NTsbQGsX1LWLiiCpekbrH7Vj+KmmVioIYDbj7fxcozm3BXDxAX7esqjVPzLt+q0UzrmJB//Ni+hY8uheXVGv4cQvTXuCeJrDvajglLqJ17Rnwa800K4r6idtPBPPi9gTIpoGqCiaE26fMAlp1H0S6KNLzVHxkg0o8NGC5QSFELwB6YrzwnfqyJaRvS5AzryFGTOR5JSrKhgoKaVVpj62pZw/6S0gYBGTNbBm0j6nM+ExA7ZNdTmuoGttLduSngxKMUmB4Ig55ma0++ku01ar5+2DT5pMFelJTZSOxYbX9qblL69Z4bDfGYNLbLu9uiuNTGA/DGvdeul/5jZZy3kT+QtyqwUuUePqOUg9DGIW+WhVIw1p2dK5rWLsiGuI7od9TYjO+6cFWtKUcPv2cMokp8/aQaQai9bb5ZRgll36qs/FQqvbEVRMHDB0Nm/0spa7cmUJIBQwqAhmYTecOeHOb4qtjX4OI27jHrCrqD0SehQnpDE2Wgn3jihUZSd7/P7DcBY5VKtNKfI2DZ1QXOxTCSTsBWK9yUt9qjGDG5l/ASGfsU3mNhdaNqLI4FZog009bjqGPiiPMKnyEvyZOimyopCTvTu95VUGpdj79kaz3ljW6ljvAC3YgpdGjpFzjJkzrYyYLoVVifJy8/m8W8vrBpdL8LXn85dM0cIBNZ0FiDTS/sHX+eKW2zFqnfSMuIdC2xaLPZBZocWRxWJD490RDX719m+wiHltz6FcolOOnK4pulzg2isyrvHCfaieFQu+zc8zXexlbHoFE70kNYZt6BBFPBFsTxO+A4CJLmVN+rJnjR4Weq09kTpQs7BnHFa2U41Q4JzJ6RQmzflbhpL2W7R8wa9ddoLTIuBuBKrfoRLag6h9eGKSqvKm63eUTXl22fv5WM6UUhik7BLuMC5jgEB1gTXSzfnDzjCBhz/cs0SGxCLekWW8eHnGMD2kecrJCnxdU/QYxndpKOKswtTT9aPpCDoBkC2DkMaXrQOX1ocil81qYhxrmVAVJoV/QB08wXL2yfwvA+Y2P04GgtH8gyO4tX0GG93nkLNh2taHK9ZNeTkJ2/iNJCZiBQ9Be7WwdwI//dW97ySIePNZJAN1I7c7ZVNJ8ZDJpzGvt/h7CjiFUvi/W96du8F2In5NsHlSQc8M/F145AGAMi7ktvsXld6vqm3/8hjtNn3ihV4mRhUxS78QV0547KcWFk+tzTwvytg523TODyeA2sHGmUU58vWpCfEcLTjmD1uBdVUt3uoQb09UthPQVAvWRWch2XY+DcljyEaWvPBXwfxWoL7nmuE3duYJUO1bJAKcGShrDcczm/LK2Gdm6XVqlCIO2n2ZlIv3yxFZE5Y2QNS7PZdspxWRAl/QXGu+SwZOS6xTlMx9PgzMilKHBi9Lpl1xKuNHTrpIkT53gePAcisOm1zYZgzcjA6rID7NBwvsLxzzvjyRKe0vkY06mctOgz40ArrLew/hrriATCP6b1KYJ+MDFT+1mp2O/pHpYGVrQmOXQ6cMUp84uFt4rgKZWc91jUVsDQ85+KgsUN3t5XYsjVkR4eDmiY4pDmIcFE5R1Qngyc9kwkcXW6rIqbaojjLZGFSQ9qSMt8bVfIM6zGkG03+51bF5G+Ihto5ah0YtR4YB7gE/5DHzmxzsVvNFP3YI96uD+onuQ00MQc/imzP5JWaHfnx5vNdPesz0V7iJH34qUGFNdbWCg9vsUhFAZB3yBx37lYgWpYjZNNVyC1p3JnbPzsWxunltXuKCVuT80nOXhr615XDKzXFl4eApMmfHRwq8gF1vAx40/r32AID70EgXf1zWk4sY2i5kz5rGAqX/B8PKkUZ2RsL8/DmxZFqdZ2bvPo/6xnHw+7xLdsRcOpl8Fxp3jy81lDgS5TP36I1+p1vgtMvVXIRRsL4t9yq81lFDBK1zxvrh3iiaES6rywYjFhUuJ4KA+TacXadnbA0aNfVFPfRle1ck3gCeQRZT056ybKn7/QDR4321aFvd9ebkf8OrSbDQ12yWLX3usIlnl4BhBITTDbIIbRiQvx8R+QO/dt/pcdukHfQVAmDHEN0OJlfbBVtjeTvGodQ2NguG5U8dXwEmo7Jz/Yxe3C7lsIt89G9NLnonsaaTUP4sv8GPA1mqsG7SF6pFbMcifhDxCqnHb5xotMi8Vc+D0WdpoutJtBsprB4Ti2z6ZifAElhThkjy43BN5ROrXJV9kJLqKKyWGf9LtdD95Ruq3qb86fFSuJ38bO3dTikBL+SdAoZRqiQj0sokc4pp+scg5M35uNIxc+ZiKzNk6hT/UPDg+1VSUJj+A8ieai1Kxa1V2uNunGE6VLom7FSVvanep5PhmqKwKhYdI+nWlaeP6uGZS4ysWYpQGa9XzUbTMdxs83OH1MhQf70cHweYX+xhcBVwLefYsdzGduS8Ffo2a8bdUlXjxDmyilHDyQQpICE+EERpnthitcAFuDyfSTrDXGOIEBKd/r9aSeWnRNz0hJrPi2aB2arBjjuQq43OvmutcmQVx60M5c079+oZISkH2/MJru4Y+6DhdOhdcUKlcBotqahhyZWXKt74j9mZ9UY7umhbIWfQVDTeIa6fkra2FYrk9vde1fWttvdD4DoLv0tLKhnK/k7uH55UC5IKJjqnrmvSmW7chiAg+peT6CQnY46qG/uTDSxwaUYN8chUZ+m0fcGoJqzXxRo10zFKyU/SmH1Z8O0WTws8MOOeM0t1pqylC0eU0zfIUX3/q4ZRcNXW196+tHItGb/xJovKmWyfgoQ1f7cd/djXU1k0RhmEC0qYEM7rUYlI01q6FnKz4ubnKp1uuF+tVZXwv0GMWtKBkNhQY2/txB4jYbHxQ8wekemH0T+5VnxYHGSmM9kUAyonOoIPhwWVko3biSv+2u/v/oSoqHrQlXVcXOweFRuYtvPyc0FLIMcMf+odzByUOU/nZyWEd+5ceFsbemZQf6aqUjiGR1Fr2zpRZ69lb9X74y45q7qLSjhXfsonXh5+dSWcdhlALZEWUZ5lMqe5LoWoZGQUn+RVNFXO9z8JiXEeam3oWgtLDFtSQU9WzvHR9ZC3jSN57TL/dzYhavA2IatQMS/IlHyZjIRWMdiuvJg3LBUI/WDnx9S5QQ1RtzqzAkSzeXZ9wX5TQylXL0U86sKKaYuYKqRJMITsC6jYb7DjR9mMthPgYK7EZXyPIWZMHWpHL/wbgSwTJYJNVj4Z/TzE/nJjrjyB3D+yZLxPvQGaQJWOvUlxHMNasbVnOpnY4O9mSTTM1+nd4TljKm7bAUNdow2CGgOsXFG42uqKd2hfQYQvkQ+S6pxZaz6Wq5bpLtAvKf2ENac7c9StzUoPIpgMEz2TX5CeCd7V8E/cJt8Jvbu9UdIWKDoyP82/TbCzyn6yghZQ6714+fLB0WJ0vPOnIc/CsbxH7NFRksty0e3Bqazplb8ya+Z05RlFmIHPnU0EcO2ZNyqwRsFbEpmt9r+S6uhuFWY3yKnvYYWFhByQNi5AKZp6OhIIwQ/t/jA45YwGILPfCMCjEFaTkMeHV6gaUZDXVXZz4Gt+4qXFI+GV2WR7hw5N7l4KvP8qniSv/UA+F8y2NPpzez4tkT1ESfLEqjUonTLpCMvjX7zEzhLWPkcS39pG8k9cIKBtj2CezSHwIXLT4PrSTyGHBVE975dJTuXYbSgI6iBp251HS2V3iI9v7SzY6MeBHmnbRhR0S09pbD2yQNzFqSQUiJrkAbO1QSJRpl3b5rQAB4T8dB8eGitLfx21oUVPCxm9cqtpO/oLZeVbFzcmqik1ZeYr9hQBsMA9jfgW+EyZdZymoSRumMU+uyHpBbpS7FOlZC4tEjtuuipWRXdChpxgCPCZZBhDgBe2SjWDLGGywkecoTL/Q83ttljzKnx3orZqov4urOGaEGXJ0qTwf2C+aDcR2Q34ea03KCV4DaY0fDEIhy67gDxXRezLokPp86lPVhuYHzyc0qrIgmulfCk/OfG39d5b62ZLxwRaF6CANU6Xo8VXlAC6h2qwxSmxwOaWpxiX47GvEAr1OATwzosWme3IMqoDuD0H7erQg9r1fAZl1sqsMEiGXddHt4gQGyQI4kOY+vD6FAevi6Gbn6sMlfkFZUwl56gENVaaVTlnQAWkbeDkn1ojV9TWNLqhwPYnNtjmdt4J6vextDAbx9skjt1D+XyE0ech2z6ItNYrb6H34xEW+HEkldJeaI+alYMzn0DXwTh0w7D+Q0QXEb9Fbsv7HSlEEf+O3wV4HT8vipHaCR9R54mrbRVSktpu6lhz6lRryREdO4GCY1hcqo2gLI4Kr7FS3mhsMvjBtaKS1a2laly/8+EPISZw1dUwK9yt5oNdFeq56ZGfTmb5lvXiocgWf3zU0sjEpVRklf514Gv3baG9xwg8zMNj2QOvK0On2LyPh3u1QKUlNBnXJDfDILUt+kuqNKr/DOkvKBO+3KpG5MIlUvtmb1fb+9b+i8FLnnQ7AbIhstaT5jQefwnJwiVvVRjK","pqSignerPub":"1a0a1426727df8f253f2c1dcc51543702361866a6fda6aa0ae19aa26c070b9d9","sigAlg":"hybrid ed25519 + slh-dsa-sha2-128f","sigAlgMigration":"complete — hash-based PQ signature present; both signatures must verify"},"howToVerify":"Recompute the report from the same target and check BOTH signatures over its digest — ed25519 AND slh-dsa-sha2-128f (hash-based, quantum-safe); the hybrid is an AND. A PQ-requiring verifier must insist pqSignature is present. Conformance is a moment, not a certificate — re-run it.","roadmap":"fully conformant"}