{"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-08-28T09:06:24.449Z","note":"conformance attestations are re-verifiable: recompute the report from the target and check the signature(s). Never trust a stale attestation.","pqSignature":"+ZyCDUkrGRt7htok3ewZa1Zc4GPcXxvDyhrhHFWasdukPEu+8dnJEGUP9BHizJHMQopCuGB5bPVMT1FE4mWFKaE6/t3dQAy+avyl+2QUBbFB/iyUepmF1KxJ39iQZNzWxhtnFrT1pL/3InZWwaJhmYIp7Pbs+qcHgq+7xWZ2A9g5H87CIxrqshmH7SNrNCJzAnvFQej9Iv1jwnmO8JcidBxJBZpvfLtLP9rCr91cmTB1PAIYG8F3Ie8RFsI3xrGiTbzgVmGI3wxSaCmK6OuyVZj1lhS1cIurONPkYPSJrFQUvBUV6EPsWgH6HzgvSiZkdxSFkYQP8fH1n4LOB/IPttZDbG7DU5V9LfrDmhG5xKLdSOUN2Lzk9W2FGBsmfkKTaiqPNPY8wX7aU3kc/loP8DmknOO23kW5sBMaz/5hAsrkB5roJUJa/ZQnfF0TIJrwabiL2lC3w/B+WWMY7wXAFZ2e3GZ71be4K6Hc5aiZtVq1OUT3OB7/+USh4jzHdvpRk2AkH9VLuNCKcGCr72AatmmlZysldHeZwFtB2Y88zyrvkhJBNnKj+pcuzAhgXbnRgf7S8x2rAefjQ1pGzyuQXz+uXpsraZD6VJ9pQ8D68GQmvOzPJEUABkf5o6O6z1pOT6rkKwz6kkhY/SnZeReF8TWRmrvxrnVRT1E5pP2fJy1JfPeq7wjj7sNJ/hFuBfToLpCI7i8iOzQzkce0ozifVfZeLWHn+3aORiilgmt3pt4y9k5siApB/6MuVa+7wRCbK898/TcVYLfUoA6mpiuTtItOvfMBvNl7JaAxdECmECeqQN+ifCkTHGOr7dSZ63FSW1kxfwB3adm9RMDV7omCP444Sse87TjRuR/3zU2U91ZKf2FXF56il+umlVwX6bedE9yAndboAnQCgM0DZ5LrNU1EUuoN0movIHyQKu2FDSVxH0PpnVUn/U19AstZm9bWO7uzyFZtGelaAsJ0a9cRjFtnwdv1Qr/upHE9kIcXqhY+4qazaPLSMO3fSRAkRSdcvu5pFGgLl9Jm0lXtnicom9dLBZKBG70f6Bh3TEnvLtF4+ajNs7UEQA/Eu0S1KSBjK/zrXSot5isZn71NYeI3wITl9gPei9FgvOpmiErMidKnIo+6/yv7ol7etRjZDqnCSQ/bm5k1AhHH1YckWCnmIRvPDGOn4h9YxO6eU0zgJ27Aj8ASqW9VewvWg5btdV5eEEIahy56LGkOPfLKFeZhUXNlpwSgYiheYg8Kr1DyT2ZW68URUvMYgQHvwQtLPjwcNXO4YjYc+veCfc4xIzwXEyHLYzQ0WANlVGrTrtVfAUv/S6e/43ftr41FuaoP4rNIx0Mqyry/3P6cTgNpuVFns6HufLw84pZzYytynN9s5hL2N03vNbAvCj7eZMKIkE6c/kFOx7SksXZFtjGwaDvn1JYIViUVje6WX/FmrD628aJ/sPa8gzcoSPtSzhNl0bVbKZpEC/+0P46ETlNv2L7/7FxEPF0Vd0H6Dc+0ASMFNSIyclpju/Ypes7TXMC3GfrFCRwhGlU+yOTkJv8dNgOSv/elmhjufRUKXR7nSzecw0I+hoyAUKsj4NUADnEfI42sdh15f2PVf/kZVm3EQXTVWG0Lkog+6gIlsdall9LVyImIiDsxLvrO3iK0eQWbcWlcWshIQ1FXE4x3e0LunOqRDRuVix9gCdTnOZBLiiiKlRCb/bcYO8ge6qNSRjMduvlPLCo0MaOdanPO52jYmiLXvPviWx4CgslwTkUpYZQsBRX44td3SLB6/MUQxgC9tH6U+bTspllwUYi7romEpNesnCzoBTOk5RfxlhdHKDvKvZoi8Ppu4iIE75Qf8zybDNQYOkNPmf1cgkuM9G2MVNv+ooupg1pdKgww56CsPdHoSNp6vJLr4TP+e0M4eC0TP55hRBRUuqkmrU2RruRVwKyrbrLBPTHi2c/N3bqTMt8+yEyf4fDPEerTCpPCDxrYLsCIf79vChids2lvNgzC729rg3RT1PwAYtZgf3vSmRKtn0RT9uvrGSPYOLMbDTzQmVbAsq2XqsL8NWgXfoY70soi4cwh5HqZF5wDQz2SiznFxgKxQo4+wZUYVOus8/2hqbuX3O8Mfe3ooG6OEtwQZchsVxylACGX4W3tF3ieWgILDVTwiAYWpvhHhaZBxdxW/Pj9VZXF9o7ytIlmX2WnwDmfxTE9TjMwDSoUU7pJz25edhPKOuqbRRy0NZncxEUMukBQazC90fggAbWwTfFIdZDwhIPbYdVGQ7hpXO6HqK/YpqmRTE5YX8iJQTngW4lss1pAdL5bq+VJm/RH00l8CXQ2GPmaeJ/8r2m01C36P3T1eBcyB1V2cNiHn9V43PTHudecRcQlPkmfaq7b7U2JbXtoLhjqx/2mKqjn8zbNv6mmtb24xEnS/Ct2Kx41g5wet6wqaKhVLys47kvxWOl4eL4/zUgYO8hn6+U0r5n/ZA/kxigq+0VW5Nxg1wxnIberB3ClBXmPf3Vg7fVbj67QcQ3PWmz2xMoqM6FGLmHjiEIkOWdJIG0w8eRykEyiyzGUazX4zYFKVyDZtsqlA1B3e0Mh0mNB9Em11wg0L4SwTuRGelsl6is15kSojegghova4Lrl5r7xGWCiZQlKcYniWP4a/8JeTJwrX+k8WefhbfV0tXnDdKt7q8wMH3T0s8Dey/r2SicMEJDO+hIxre3M4g4iJKmGvIl84gXsfthEYjcecfK0fExPzJcsqBcID5xLNc3Vo+9MMi7mjNEZ9zaOzKuIhMBX4ebUsglE8Z0vpSoaFzDz9HA6rqLrj2yVxN6CBBtYQat6TUJTl8IlBq6ED5yNIiu88BX2WE1WNDKThoD1JAgWVQfGGSWEtvPNxYos32gvYmyy/YAmrQvLBAiWg2w8abr0v/npSJu1vbtRtLqcEZrmpiZLh8LMeh+SuDUkrBkdOM5ENEH218PiQcwfANAG0M++5jr7RhOhMa7199za3fl7bycp7Q4Wm9iG/GiCCvOqgzFqNMbHWZE2tEmWOkyreWeOL3ajceVd8kSN9uQ6Qm2RmgMhOFa2pxZY3je0PNovMGLlwtpohI+PyL5WyZccFietLa0wXQw9oZta9N6DTCvxao3ohBvQo83T+NQGOzkJDqM7KRLtiIgXUjgyPZeiSBsdPPLZZuPH6RUdxtb9Wgl1It5sWGWZXfpsjckfsR9K7hpUkp3BO6pV/ZGqth7bp6oQH7VhdKMytXExPi7xLeqUYsSZ0fM+LECR6GYWqUXcOKo3eziiLUinPocC7h491Y4VtshcVfnaisUdCiHoOTNQnimTYDV313xBaNhqSkFCw+bTZySKyQab8+msY930uUCjcx9CBwVBEkVqRn9fCVR8EeaT3qZqlAzmulsmpwUSdLjOGF/BoU1kOiEFfQlIzRcvyu+2I0Ajs1KOgLy2YHZrzP5aNlT4wmlhAGswByYTEEqa/5YZviCLyYST3lHv7jq0THppQVPNyw0yd6aKacnmvuX+0ywfM+7L+it1hWxrAdmaeTVIu8fmtJGC87FDzSvadfM1bIZccqYkULtkIhWsbXLeVzOjv+aPKsvzYI27e4/y5qG7NJugFaoDHhRAXLnPmHX4eTh41pdlkPL3PO6Vv+NaFLj+FRrXGGJHRV7umUtjiRm714o3O/a6aY8qwcO+goEmmvCLFrfGQjC8U0BoDgTZxz/zfRuRQjF8KPLbGn+N69I0rtsQfOI3+WfqEnDZE5fsanxdZLovU+iWHi8ay4AABdByAU2CgPOOIzAB33bEWVXlj8wIyPXdSfzTX0A6LEqZQaiWROa/ziMd4glUVFhSDW/DXlxWGyBXPpr3DUpP4ocK+O52OSEI3e9e+41vd+Fo0db+LfnXaEDm1sHGr7ng5v5R4XtEE5F722P6gpCAOfoD3X6XlExeE4CPaNbmAGh+rNLfmuzzZ4HrY88e50z8jrgUm9kATCoDHDmH2yAUzJtMRYeywIlpk3/fhvsnS7WTH8yMLxVrfMt3okybQBk6xuYo/Pn2HfOn3ikx8WbQwUCb1o3TZJiFxpmZ/NT5OWdv+VAQWT7b4pZ+X2ChjdAdlkybcakIJJFlddgFeJL553tFLMcrfoibqEBIjbsVb5CZXC6qP0oBal+wS2+QKUkDYGru+kGGCUnWbLJTKORbwmWXmPZwujBtKE4q0V0eLy5KkLWGgsJmgMoUYSBvgZvTg8pXmuFzfokejg1EgWde+N4tYrn5IiyFvkEIOPFf69oxlWVePyIdkeuxXzb+xD69laNP+gd5LaeWAn7ILh3/l4oeDc4psbhC1Gbs5hYqiQQ1Gu77I1Grjgs0D/WxCKVaQKIr/Pqnie/X7Pe8A1IysCn8fiImabH4hrL5OSq8BCR1FI8xC6M9BZ4kKwS/3M1ZCH2kw7nJ9mTe0iidSgX8kQECuv63xreMFpFwBmsu93F3iddSmIy831Ps99vjTIhhFd8f64+bK/MPlNPTob4MnjuFk1fuA4HWBoNQ67I24OAx7SEFZUYi76CN/wxxfVNVVe8LVVP9AKOu3Hj4JfGNGDWMzQtQvoQl0dAb2D0A8Q923QrLQtyzEa+Z6SInSHk+Eai/eayGet1BjIf5YfDx4S7F19biJBedmLMjodNNryjL9Eh2bNjIaFiaZzimeAMNLLgg3iC6GjY6K9B72CeCCORAAc5iknx5MqS5ZV/2orbJhyn7GqHGfDML80DZMYVxvqj2HVC6as6HkYYTYVxxAgX9j681bqs6kH+awq4L3C+HBr+ct/M3uA4lj+9dtybUCBZHghYgyAbdbNpWq6THWcocrpE+hPeae1L0CyS5JmlZ4qPMJatsRDEabJxtj+X6DBCliSUpt0icWn8rIQ6awzRFQCGtCxUo/FiM+nU0iC3ed5lKDgd9FxliQy73xSzLyjc3dKSkKULFK6zB5iMpweFxcH48V9DOaEWGWtjrGp9n5g51JSzA/hQ3A0Kkh/SWyRJIpFBb20iAYMTMOYQwH4eJVdiGXqHFpXe/xzXvhy2+dJjNv/bDpnCL4hGxH2BCcjdcIZ6Fn3IWcIzvW37NtGu/Ux0aTYfyVLCbL4zALz1SdC/uNRNlLbPnpgFwDg6n76UUx/0BSmiel798NawnqEvwH3vpSRPvDZUchz8yj0wt0BToX6gNuOtja+ycdeytfA+0uFOtN5swj1M0unauUGqQpZDjYeWFM2ROUdlxIeY8br2uvQZhf++FetrOtnCPKNR1i/zEfGQTIykjgRPGTr2eFJjhCa1VujX6kBwnUaaGrxNdu7a6vyAIzlwiI35MTzJD/XYu+o5fCW6wxohz401nQKn6pRwA7V7c3YwbkioRS605fc4x63XDz5neXCdoJWxa9W0Nf0dU5wM9cKfoSc7M78AI5jvTaaROTcISXsSOElcWHZyNFS6mRFfnpJOA5VJ80W04DUDe9vFKhXxeaEMK2Te1Du9avT5BrijltoVWikVqDu5ZMF7faNlQoTRc+m65igA7eDrwRnT4/PbuHICfcZMiKN7FdBwrz4TDNkPAOSL26KRieayWGD8I0YDYNvMZl7dztBbx/49H81IDMb8NNMK+W7wS7msMg0a13x3TlWwSpy92CE7RaeDQ8Xh3RsD7L0N1ntmnmW2anKYR0MU0sFisqfkZOgMcTbz8BlNSj/TbdLIDDoUMcvHSauM2sfA2lYOgq+gElhhw7Tt+L412Pkic056F+flOVykDEcatWDhzVdMU0iQ9T9EhGsi6PNvii4sQc7zu/W4QAVFLKUEhTVwHOPOk4+b3ZVkXQMb9ux5DZq6FGK4tdo1G/3v15gGoIJfd0jAxEaBbtqBz20lV/15C21h13LCVCnk7Jn+KIEouB4Gm48aEwTw8H+X641Do5JJ8ZYTJNjB09vSD4P54eHtFSCjnhz1odassLJWNiAq2z21mGCisPPSODVi4G3EQ091m4Y6hMR8WurTzB29fl9B6NDLTmh91VECcxvlI716RfUDEmjIE+ZQaWkeLnQBIXB2zsclEFqgZyhZVXjaHyCXfKFEvlvLRWb3MkY3DbU5wC5qH8LxgZ6AoFAgdnxYyMAcwL7Hz9iwLFeQXiqjR+lc5kYtWvlPW/EWJwWbGqgLcXxfaQT9aY+3wPWU+lsoQYaewtaTzlB9pnWpjQkoEVINmFhA2U16c8Tx86hGgucgZl3HO0Ki/DSP92keKaYJNzl/DYp29SVJ3e/8nNfW9bPiNnuBoI0WvNlChhiHiWP6HlzAE5Idc7/N84ceJEWIu/8ufEVFLCio9cb4AqPPIAC0li+kJWsjrbMS6/jfhIVruC+EByXQiiYAUJucvQLCaSsp2mrXTNM/akEWBsKQDngeMcevzdzsBupaKVtArQlkRECshT2G2NVlJ6hOhzN5QvIBXnVDlwZ7pA3tfUHQCKos65fsghF7tLnAc8+tPIjIpOt8Y1/86ho8coLRMuwY6rl0Y3XxqZa7ei7msNHf2QIdY1xrdskydhPCq9F7NyoHNYgnI3X1QPCOtu/L8522K2dU+b70InA9emnaWCx3cL6Y7RfGG75dqzD6SlAFXeDQ2go3w6bz+3aGAu4mJn8FcjDUEFR4FwyRGqMC3qnSOVqAPtyhJLAjZyryMycOKp/aeAwEyCtt8XN4FyZmFOdD+7/1Eyy9kG+Tozvx+zbK56N69vC7b6lYep8AXm558RaXmjbB3ScLV0DCXK8muOpQ16bmbo3mJnfHuTW0KjcpXykOOF39Okj6dhdZUawpLV0ePwqCKboHG45jbxLDBDQG65O1I3lyILzife94Z008rnPMdm0rI+54WAwwkZyh6T87jpamTWOdgW0DwNP7SbpI7+4DFLkxthc7Bdb1jAoGqDHwpwah7jxYM5cPv1gs7BdntypLrNOUDre5Bdg7tYAew2FHb+MeJ+hFCxRn9yR4ZRuBqfdmAHB+LpSIjRj5sqK3Q8ziilBIIzCGykKZxHgRnllNF1zBvE+liRQ0p5kwSsxfuuaYJ11CfyZ3BZWx9z8Xsp130ntYOubql25BZYqvnrP1+/qjvR2TWsyXiITYCdQXDL+DOcVTm9Wm4wb7ZNtJhB2OzVKswzMmolrvHPAVF/hmw0LhjW6PH6SGYwBbOeKa7DDXx1vJ71hy2ZkAGg0UnqF6NZLKyiAyVqjeIM4Fn7/hjdplK4eCW3+eZ6eha1Arv06TT3ClDGUVwI6s3Wo8nlbWsh8CPB1Whutz3wR/XFII9l5HwIl2MCV6+vi6lGfQTO8nhc8St1OoAfHyG1impTvYQ4ltEJqwA6BI0GF5P5gNfOD7OP4UTzNB+yQMvDHXrNR9VNu3o045VDWP7dTYPgzKLe3h7toJiQHh8EoAgClmTg2FxFyDZwBf3P6wtBYWV6/xgvMvYyhoZokhhtf2vSKajMOJKW9vmDLthxyMT2cfLiT5eZvb2lKMaRH+brlFuw8VClSEFF5hjsWvmI7UXjeKtDRD/6aVg5N8i2ezfVdg0vt1tPf28/gmBL8Pw05lu6ZeN0GcHclKViT5STA9rkmWYSVbeaAk5IhA9atc1k9hOjd0xC/Lu0plBpdT+5mJbRm1KyUBpWl+SKT1KNi1xf0FocYg1ngAWzGr59WJU6Rh3oS8YxyW6QNuF7XyUMcSYIPCEEw2vblwvTSPPem8UFA14w+/SXd6YGXyFMjlHna48zEsuCBL31SRtTTCbzYpQPyGMn1x71MBAmeikbATCn5nCH4G/eSolWYffwKPGa2uww2OSERvqfe5Vz8NiC9nLe4AVRPQ/ijdjBPgaVVBMcqdCh17YU/FwtWQcVyrpN4Cm9eh/CMwqLvdEnKInCilEE4HHRzwRcm4C8r/yyzvORUTU7HxFuXvK/2KThkfv5sEIjhxBuRm3wenqAuRXTvVVRnZNbX/oafRjYfzXZSnU1Hryon6CpouWbXEYHp42wNNhTzwDHJV3hUxwXigg/ujqYfCY5ypkKxH1c16ac2P5JqZCmgUlU+u5gs1BtdqadLOonI08lcIU9awLDcQKjok87/PXr72U2sRM44NAu7IzNcmVJ/waGrIuR5sVdYEBONomJLjIlkfOPa+Vwg9LjiQtcz0yeC8cIdtqFedVaJerEEroMGCtDrSm5WsankFGcqqDwVlqZ1utHNBj9RrCJQCLRs5doSO5iwnxkHfH64lzQplB6YaqDd6DyqCaMbFs0yNxng+hngkO9WmanT+omtgPHuALSk3sjozeOipIDtz2j1Y9XzUs0GmZPLmmvVb2JaSjv3AZYYymGYv0U7eOFGTVgLEhYuiq+7o4ocuSsq6HLgxWH/OjhInwOLQq9bmWLtM1hJg1Hp60gReVCKCutiegmpTTwmvoJ7MmdCssCM7sc1+ctUcgAE8McBa6K55mHu9/p6IhdihzwQukI6eCyyz0LWbxW1fRrxSTfivK0q4auiyT9l043Fz86BIIRMSk02xZtszUEgeM2jD0S0ZKukCDMttsKdIan2aB23JcP+WG+QrQhC/anZ2kyFAOC1F4dlBVx5JKhJnojMd9QDR09dh1Xl8uN/4vd9OCalghdaozUr20/pWFmNQ3C9JEqXTItrnvbSYwQCP7NHASN+OrOx/54ldDVwMQjKnMXuZdZkPXBQA5Yrqs6JxXx9M0GnXuqgrYgV8LzYhgtYToPmYTZykbldIEsFUNpQNH4CQTZgNe8s/YA6si/ZmGb/fz0+m5dQjikUdx3o86B7EgvFJNuZcZxD09omAfQ7UNcTbsb40ANtqa/giRFLtPHqDnoWfss09KQkHrg3XaM1OXqJTRsb/iZtGTXviChObM/ovo27Tz5zBCdfZHpB3SRR7XsM0ymvflRvsSDeXC7fRH7F5uL+aqY0xQTyjyNF3TTt2xPQNFPsRNBy9zguKIa9jodPBFDqEaa7WSPR4cr2D3RHVAXTzb5NcHAkQ6sM9sdbwcNtVeF4ubWYr7m6HXPOlgzx0ywa420UXUTAVmGTMPjQYWvIe6WSUBPOzBtwLUB1kQkAP26HLkotrAeTLwy7vN31Fx5CPybuc0vMSE0gJRrVYLGqnVRJZp4InThik3csNOqLo19p+Uc91N6SLVfEpSYu1Y8HEYGGhbMKYMbQ8WsNC+Afrz5ZAUtZYs7tJqnCyXTPI0aWcGbIH2ZkWWp6iADL2vLxhjhFSC/xdbUE/XJjyQnPSWNsQCMuk0ioBCt/VFwtNaOmPrm+LHWAhzScYpoI3FtuFCz+aJvSldKXzPJuVydBsbOeW2zIf5iptnxD0nTgLPOr09ouiBhX3lQHVL6RJjZZbcU3wnV3rJf57wT5By3utuHftJ5gd+FwUmL5HDQtfNIPqAvjwE4rbCZBzxYUPG3sRQyASjWzGJ5oYSHvZvbb2MvAASnkNn8M4voVBDMdDEloGRo6mML8s8E7XRiI2nvjDc9fOOETCf0XR3Hy8U6uH5gGzh5bH1WitEQeAlZ2lJCZFtV4JnUHnhtiytzel3KAl8UJNVviaWcsOMTavQkyVxU4oYggYge0uXAy0nhME48ra+kJKxKVnBa+Rt1NYILkEm+rybIRAR+p1yBOKCcO2llVIlKL/oh+5olRjJ2ODD0KpyaPvAl2lROPezLqH8B3GFOHfpNh5L+M5ByxBVsf2hklSyuMjpyHHzUD3WF8Cnufp920oMubPy6COn//fCfjG1xZ9Meo3QauYhJMFW8tBB349JkHtZbkp5tf7yX5xGSBJaHCOUpyHyGfbkLKcRNtwYeX9Iv21Ibbxfk7a1LLHnGPMKNOOE6MEV8bLX7NQ/mHbVUQgNSClnotQKW/JzMh+JPQxozgMzOCUBGKg7DmP3DDN6pCr5u8t1RqCP/ozRXOy86pZLyUe5C1aRThADLvFQ1oatlF1mzhCybuogF/Fsj9ilzRwxywkejKk9ZD/Txs/Pk4jU/eqQiVSJn7+Ap+JtI3KOJDm1eGJZFqmnGcoijeQH6hbvC8CwtD1ZYYl24CoBhDtqvi9JV5yuxAJXNekeBlJNzYM8Fe87e36A+rvL4A8E8OBzed8jK/oZL5WMKqOvKh9ADi9PyVkmvCP87xNGJimRf7RqSAGkOX127Uv/0PMYWEDXpCmUjTxwSKre6kqVB42AH40/MDwNDBav235crx2p6ZAvQSBRi6XgwO+1IgO1oE2G0LSZadCMi/A+sM+oAYgOfgDNR8kgAxKf5wbY3ony5SR4iiuMT/qcvofdpWz1twgTIejlcvL3jW2ZjbwPCGH+BmYXi1mxFLjs+e1dhf4SL3zzfiU8VxVUiqM9qBeimLXfnMA6Qac5rYEOmftcZ8LA+/9qH5cZj7lpy2mNirCyt0GtVS9olJJUvBDUq+rM6cRkpnvYj0+x/BgVQaT6SxgNKY1qeWEOnS0zBy9d8ZTEKFRwLVQQGO6gWkpFXNntmqtVz0BOxnHrGevdayd01uP0QiHJMAnBrf5A9ue2ZQvnLac4Qb7degkDZZcGITnYYrPnk0Tb9lbAAEDdwLoTjvo1VHRuhrC6Z4HMOLYHhFNE2kQ/FtDYzrHI2aBp5B8McP1wgWyagVgIqlD5250Y8eIVSclFi3s/1AaR9yZsQ+rp5JwAqA+GdbraNvWoIzHuguddfeC567PJ9GXmhXhsmiPwv8MEVbPz9yc923pSoOG3werN9QrneiHhKYiqAN17giiuYTIRYfLmwExfAfqfSAk+ZAVO3jgNb9Fe1SIAYoSSgEu863pxxIitZ+Gn20JnnyMF0lg5HOT812sMWRAGPJ1vSpbXPo8091wj2aXK2gsWZ9F9uW8udujjQ3NiBkkWblxAO58TIX+TYgnz+yJfezU6cXTLzWqDmkHiN6WkEBw0VB2Z8SNFgOqjQ4gQxBYeJmscixzQtxAS1BWKSk+fxgG//gVmXNkh8DU+Weq8Rv7xacQ9kqC7Fdfiw0BBn6bv12w8zAzwj+f3MutRaYOzSUxCvH8X4SHP7ZCIxaGJy+oFCwy2WRpnsvZNZO1s4OaI9AT2oLT3/8VQrQxzUib9jrRyfA0ZuRFptTsLgb4hibZzx9OdQsjLm6j6BXbLkaSrjtOO2BfsuSsZ7lEljO20xL4GEuzOEQ4VhcAz/wd+WgW1B+COZkb3LcScanDUweZHwVbes/gxDPBO9jZ704WYARaT4/DXZ2unlF+8DyssvGFq80LViCE4rbpl+vePSA1JpBYJEdibymQWWdlpESgYGGxEKIHr6L7K+eDYIEC26/WnaDkSLmjOkLG3CvTo/dNft0MKyjWwnptEh+DAXeGenxol+COKZ26jjeDJbZYTVL5AICd9w52M1+Z2mlNLSHVo17RXYg9rJ0JZCJyWursTzo46Fmp3cy5TP2Bz7JXHlzfe8ZD96vqbhH+Ce5z8Ay7ujj9QDrJajJyAd2L1LLiMnxqb873ffYtpGo6/UyzMNLc7yVxLTVe8XFaAW8AlQW3vM04kFM7hYoFtfzje4UtaSz5fLGkEkW9eml/z9Z/zRQOc4LLn27tWp325sDp6UouZ2EqUf3BVX4al1WZ/gcxMVcYeMaKRvUJPcU3N5e42POcPUbTsm3OXmb37+emq8Awo+BJZMImqChtbZy8TFrp7QpbzkJaMyNv7z7uuAmx8EvoknuK6ZLF8EPETC+dw8tAvLTRXMUeFXV+EV2wph3M2u4owE9AlpxJduv2tfKO5vps60qZ5DNp3VSQnlWvLkXR726VGsgvNR69I4ZOfi8c4fIg/VDUx6nH2znwyk88cUHWy0PhfCVSCUI/92SytMW5uErS2kRCwt+/bPN9iXSCMkx8mzHmsIHk93ieOhdEQwB+1FYSV395P1OxS5oektA+pkiah/XC9mGXjt7K0L+d3mvDP04Uk3ryQ64XgQH7LCAPLKxaSMgkmdZ50bnB4pTVs8vvKgiyT4RHTDWlbr9+Rb3rIyirKFMVA2C0/Rq7MA9EYYNEg1ysyTY8lihgNtAA+VrIxzgg1DhcVKnxHz8s4mHXWnIiifaH0DLxgpdU8Lta/CnyC/i9gXh2oUarecW8bCSS8vQPgSRNkug3CiAKH1EPlJbBcLki/WD90ctmXSSIFWRfm/ZvA5k2LA+K3GAWrKXekZGlxaaREzSV1Q7m87ne2UnFCCnhHPzvW+nvm0tx8Uf0Huscou5laSec4wU2fIQGdCaxwESOK2M72TOqIMH3dNXrNyFo4r0ynF/8uGvj/aj/9svm/iGwJIkcaaaAs/sFvElZ9HOdhpZc5tm9KIm76Wn3Jl/I/VfuGoAAilHPETr3Sj69Hlg2gMV1XR/Bg8X1WSL1/fKJNvpucEdvHUUc7IdGMHiqvnLna8yjcp7XIoQ+n+DdhxK8VTZjEglKnpzK66giXD6NrCmnMDHEeXzf8V/UNyJhsfYkfCd3M0LSFrxWTVygpByeX9gsO+OF2w2DnpRWc9GFUvCo0hpshcrivkg0umZm+EyQO8v0wJI0txlwOGcXMeRAhVAVUsIZq8JIZoTM/vAPGzcxRDEGkto8HOcG5uBonBtd0Oext1OhZgfJF/VKrnFHwMpwvpfxJokfWFhnFwus7mAC2rfSdD37qzSnr7Sj8MleobzuwM3gnbn4rhbrq2SC7MhCS7W7qU+bM6HxYKTizKQn1M624yWU2CnzYz6k1VEbtoUrRXaoqMqd/9RFYVnJKOMmuxaW5ruzD/kBGxd+KsGUg6m2AlGNNnt+NactuDC/+TvMekbFjED38UwUELb4yiOqFERat1m1GEvrA2IiFT/ceAzjuxRl5FvTp+795iP0GpUHS4TuTz431VnfvRLyVJSIoNQoa10hWyBB85hDMaBGPdU0U2tZ/pNwlxuZGxNKAwS04eisccviR0ry/F5T6xgniVm3l64ZGccq8eww2O6QpB6/MuADkGGfJFcq5CUigwpZuMh752EuudhD75CfuezF99xRdYN/HNqkSDucoJK7WI0au64rsMPNXYwKNiRzkQauA5Dj4HHi/+qrlGWY2NJw38hm6On+yW0iSi/1PTO+JLMCV2/jmOFS4sfBm8AKn570b8WlITmS/qxxVRFI86V+TcMzT+G2F92CHiz2lwwp4BMUzP7x2jJjy88G7HSQuU+KukNAP00d3hNTJjZxJQXwf+4tMBDziz/9tRoiaLnsxOzaon9rd5qDDOKuPt6XKOjbcR8mliUtag5jmGGyCexws8L7VhLWAYeZF25+mEW3o1w41bkp5BZZ+W1KSpZ7QtAT3BgRfapYbCKquJJ/VwBVE6Puls0lmZNF013Rdwa/um93LlbeYr3Kf74qUwyIf8ysiiD+a9u2353M1/iPo2bkd4jQzgRtFqC99rioXLzcx5Ju2m90RKhNC9zQIl+oHYY+UnGph+nKw2t26RRMfqMjkGj51YLk/Lm4RbkPStXZEhM4luQW+qO0nryq62v8LYfoMG2ftLQG4Phu/ERe98NvvXzcenJYLOdmrvYydty3umLLwAVdiFTT6bTt6pDKxmw88viXhFY56EasBEsVmnamKxOcXHg113miITnDZaeq1/01jOAWGtgWpnw547EGeTt1KZO28pmCCpwtUYkf/cSAkjheBNE1q1APh1e1uthfUTAhXbO4KIp7vBmrUSoeLaFTLNrHbKj3+6XwTBIhZLb1o9o5lQw5FVMyIzb6zSjax48BHZAL67QdAFSs+/DbaE3FO0uPaUT6WyoFiv2k2WZe6myNH4DUIE48aS/2w7/XjbUOgmJ2tGzwPIFOdUsHm5nqSNvdmX3gVSeBA73+6GQcaVA0BLu6FjrB/3Bfv3URguriR3myHI7EuKrEHnm5jhKHR4aNDRycjLIAODQYd/uYsUjQgPMkqc98CLfyRaW3iwJwsrqy49s6PN0SJeVvwoFiN81Kgd0ywNiUWX7W1OFAhbNMn4RhFohSlXIC0OKC0rbM1WnkEO7pkRcB16p/kzBk+xsj6xY33iyhjeoqgf1ni9EgiCo6DXvr8zdm044Pd61cO4J7USrsMox9cgMNUUx0FvxQ6a9gpFPMijA5skOagYJ0Qsx5qcUOCCpWXpj0moWjFxHlS2ZUUtVQFQFl+80u1CJ2NI5NTXVfPFLkW8aQ6cDjRJ76O80rJC1LPE4yNYaLUUHRQreHEwRCEuot1N5dKWHDCD+Y9y0mpn+o4STPqAN7BFOhBu2rq90LQWMmv0RwkeaUTSEn+J7n2H8m7JBpOOIleKN4TEa9GV0djKvX3RT41vs5RDF2ttNlC4UiV/62rNK//Srg5z8JaQkglPFJr6dgPQZddEFFdQ1TpzCegMQOrJGSxDcIuPHwMzi13fQDZe6wXUvXWyNzt5CaG1LdwOS5ZtogcSUlRwV4jYCV2xMHehZezeQkqUuvey4UzUA6zB/II5e9BCu38YG5TLodLcVRbOvUzU29JmFE6mpJcrADmxZCyCGS+58QsDyr7dVMHNgeaL5Am/iuxJi0QGXZX/QwdRtRisVfaBBCv5rCcL/I8STluVM9CVFcOmFpHc4fhvn5Ukp9+Crh52RUNYKOpatjbCCqnoWX15HT76RC05r/IBPYHR6LHaK1wVZhZBFAhpCShn0BpRtydz0X5FcdXyo52RyIWQgl/7sH6TXfkkETgT7EqBoy7AwUhss0sC6f2ndhKaz/1QazcYYCwdOWQ/Z/OjQ7g4urth+BkeER+Rx2Q+ZWuk4GjvxMrh5lb2Q+ZMCU0ex6Ozvey6ZTFqpzCHER1SGhd/XXE4GxTEv9Zx9/j2STxkk37YbtPt0DAWYaGDqTT+UUR/CmPHOydgtFOxBvEM9fQQAjq9kBswSb4AJMqvRB1yCaByECGkZuMkZr4iT1jqt6Kbd+ci2pRM/mr00Pz+7S4Rab5udaDPa+xSgoZPt1fjUd6hDMgVoJADBR3odc1pxCSHzYnjh/2UjqEOCaQKixy3j3TG5YBV/SQNHmLOJ3mIf4wjYKi7LaqiMQ2bzJYJ9T2eAF7dgm9UDtgsv54ULmioX+PxuF5oTWqI5ebKElAFK/OtEq0hed7oaVm98ayAlC3oRq8ECPyAZ6RboQ9W0ARaJgNDrKld8FSS+qa7I0RjlkWqX8J8APBHwHwKw8F+JG/x8/0pJ0L31xbPxBK/3yXR0PkDFKkExjv3keTnmWYZWix49QVilSFymmEvZpx/M9sueMQnsseEM5CspU5VWCT+GT4bkV6minuFYLmeqfa5Fo4ObkZNZ4W3cvSqLxmDyMcPOpygkbmju0ZU3nQVkibEkEJ1A5j4pk+MLgvJPWxfQo0jvRMD5k03k0oCBa/pHzNmBxa83p2LiR3ryO0uQdK4W1DFAA8bS48QomtplzWpJBVC7eSaJcVrdgeojCFFw9hk0a7xYrjgo4kDH2UI+1j7q6+M9da0WF0DExCOobayvHrdOF8XjpFgHgyqUUvYJEW1gPQdBqVSyDHvQYPaR0PObOwyMEi6LWxUFC5BYqvTSWQpqmTHBRzcBppoIyD8p/U33UgVfBpobFxpr2Q6zT0Z8u9XsgfMU9AAcv+6m+HrNrDiie2FL0OBe1Uf5+32nFA8M7euzMK+b+we8JCySwrN2h1sYKZ/JHQzUCulSmf1dRYkjwmi+FImz456uCCQKwDeAsiWmuo+sPpSxc97R5S0ebQlNr8C3teyMxjJ/0D0KVbW36ZidgDzAw13FehW/1oiXDzuqDahYwqY656lfkMHrTMPeaBtiTCUifGAp9Nv7UZpJFCm0BVGYZceb1ZlIdFmqQoGKXamMfeYdrDjkJ2sWdM7zPIRbKwliSTpL5Y95zsT/8ykTdxvcsBiGlJnmf+rqb0tIkFXBw13+ZFVhzrH9QSKwfSK1uRCcsQtuFnG+YWlmwt7d1RadJt8B+VTr+AJxaxkoNRQTRqeCk8ftX+VoZ0FAnKVwUcBhRbUQ4DqIV6GQUdb+zx0L1rfyXxpa/HXPT3uQv+fhksE4DkpavfxSpmE8OufDfP6XRZTXEeCZKjuGCHIWS7J0i3XIMM6zQUb57lpAiU1j2Sb7KXFVZxU4uttjT2RW3faxeyvPByMBTx7REAODzbL8qaUxOfT2sDnB/4utmVCrzMYt85YWSYG6+dInxdAvTfLtmaPtyqB1FtGRNuMZz9qas/RWoeymxrL+oybVRf7qEsqiWxW3x+ta7o9gDiDrC3VFeCiGZhwp1IxDbVqembfflo37jrQKSG8QkCFYtaiyjXsP0Mvxv1gV/14WfkzukKcrme4flpyIuVihflkfJimbBEo2V/Yyjx8oTsKB/x/rpOZgdoa/w89gpUA1taCU2Ak7RcQwNPHt8GiNtWCOXmCEwexoqkLEQhvqvdOEddsFCUml/wBYrtP25PGSdvr/0mbmk6Zw77xcEyb/kzaRbTJD2DGHCyB8tlmOpj8H5X1oODPBr3hJYZItQBsrqHDyXihKXYHlULXgfrvlDifK1aqkcyuzHbAo6H9txxVFNt8B1WKw8X8UVjlc8YkhRUjCRQPNrGdV92nRS3689LxTtoBZQmOE9dzNt+tO6MAqtcAHJ5mJ1TFBjjIoGov8hSfrvDz8JBvbbgyFcibhlYXZBVsLDM8aeiJN0TY8BeCPGKdbNyN4Vqp7dCQAlDL4t/4ZUHKq5gKaXOruOizomszpCfumT0iOBLY/DNRlXCUAcSlqMh1FttmAD6qOMNZ+rACXOlFDpOFFtF8pxpuo16k/XlRGq3wuslkVEMMwC8Bi4OtkI3CqX+R/z0nCmYP93VhUYwmbdGB5e5daWZIdtOWEC6IZ2AluP2X9AOqUd3wb0XOgmbYRUuxf1Usv8F9+s/7+cTZzi5oHrGebg3dV9R5G/nNErzz2Zk/S7T3G+iFF2snihltZ7yxUPa6QBoSUXUW6HF1mCqrdh2kbWqNTK9hW/xAaZC6azyk992lcq8m2vIGDNYnW8fD5UASZhtPiCK7qqHkfcfXoPJhu4Po+hn7ZpPb5YckwiKBPnu9/2kFsH+SO1wIqpfRZf57112E2qYkC6mGIpTL7iQxzO277GB2xGyvgYVgaAZm4PSF8XnQcNcCvRkw/c9BdiMSSunXudV4VksTgIj9m7bARoU8Ulb/vYOl46YGppxZK1VWKuH9t1SUSFtkLjGN6N0ozOVkzKcBNGUL+kwcoSrcHPDMORJCg1ticgISuQLmZ9reMxTdg7fIWuCdeOeM7fKy/ymivHMaXcVGlbKP5qaI9JP3ARa6JYCckAWM8dRxNAFsYeebarue67sNIdV2s6SdfpNUWI+tXvbfqnPP0pBwplYJYprqcwA9xO6SS09p8aslk8a92bVZsk88UuYrYRdKhtDlP0XN318t1RYVWlAPk3yF63sWkN0AnlBIRSWd8Mwebdll7CaP1+s4qLVa+OjjOETobG8xCJP/jyHnpBayjyz64oPDOcUeMnauS+hoSEKwmt+iB4cCSmKUknBYzwfOdqUZ0fEPdAySntztn5rkzXAWeWtfuE2bTpG8NqThXYPjIi+Uxd4DJkVloyohJYc5I4pgkdp/ifC3ZsuuZOegtPokEd5qsCCuQa/Aco2eIFES5/Hq5M3UWoirqrpEo5LxXYWnr+YM27XkFL7fn4eg+sS4w4/WlLA9K98MwvkvrwH1yDAeZZ6tMREeq5vNAyuIEAzeUumbVx1CnaUzhYdELww3Ys7JRkjTBJVZ13uUNE6oKmB/u8FZLly+ujisltc6BcYK3Ch6r42TTMhrPECnmyJs7NGuJYaJqbOnl95lak24n/7yXMsSnP+VjIAG34l4bJdbeACEqsTxNLVioN3VnKKWgyzdROvZ4iSVwIgJeyhcc+91/7QiffaZHX2nSwe+Kbxh+6v4z0oWdfYRPr1ALv4lK5MmiHmCs1aAE8gtRELKXGnALyeWE6CJW3q8LEumudNygS8GYF+CBsdIFueOE+FL1NV9GOGHgrXjBID3wv65DX5HqORgMbWnYudoveL3V7dF0pzBQwiYHHgAV2WzzcMBMvx5BqhcvHnSYhSYw1mUSeLQOt+THnr5Bj8TUL7sQQszzoMJb5nkDydIk8s1gm1udu/jnc88bdaQczxNajD9ZxIk2PiplFkXkBIsMU/GC2IituOvgBZmVYvxuz/27LAp/pRvWMX7C2zY3CZf5n0yg3J9NOLJPUXsjOqwwvmLOlSdEBaJNjwZYNqpmhwMAs340CSRfJsZY/vVsaUBKK93YVyBE5QefwNU/Aok7NGTzvHCEpa1bgQ/s6cmWjSPBw5iIqu7Sc3NyduFqxbIgQpB9dw+ZXU5lKYLP9/Gv4SwEn5b3ZbgyXjXYrNPUaPwVkU4CNeE0ebH6529KUM7i8IGcNoM/C1/GcgxpuzJ6f5HYk2mj/nHmTrhameOmY4suEKNfVf3RoKq+CHAguGWSSqcbM8I3HBtgGKvepSTtGDuYKKevtGb2m7raCvWhdgA5uj3x/K3KJCXRSZ4n2At8wqOq0ZLLokK2M0H8lA8McVCx7WqHzgs+yM/B7oLuH0g/9IiVElL0tJnGYdYj4/Q1+n2m6shfsrnL8F0G52UQQY6nVC9YH2hl6lTH0pVy4HSlvUWxBiVlGqYu2Q6dSuqXWtjzfjnZTUoNYAT5UrKx69N2bVf22xcCpBd7olwI41MU7tsWieNTwPp7TFtRvxShDh1VDiAOzhokRKJqI4exC5WRAJnkfSoE7XTy59/FtHR0bS1t9dg+mrj18RgNVTxrTah8PGMLCgjDJSVA8PSSDk4s+vXIO65zaH8YfbczO8wAleQ83R7J1khI0yClFXxtnquVflFBKCQ3Pc89nyontuUUn2pjG8np+WRVpaeEE+tDX7V2WhdtwOf6G++yKxLxGbsuNuBh4007h9diS8uA+B10yIENpW5dKoDYkaXtsYUpwmKIDxPQENqiBJdM1Nsya3a5NnhUS+MZ6MIXZF8F8z8zMEOYbovbf8GjEPSYvUDPvVEdkPJoC2BwqOaiBaSrV9C0fnYTcr6hzyx67TQCO3ylhR05LTuitOYdr4O2FYTBzqPcWTizb41hzufLJ/JC6zVeSsYG2GRICx209nx8ZGQbl47gVYcwMehD8ORkBhJRK87pMUs7i8aNIW5NqKDiOtMQjWECb0k4DB2WGoUEbEPZscHt3oSNsGOZo4KT7w0PBxUENkpFlKguL8NZ45xC+mnSid8Bk81LgWpzV8YyD/ef07O46vkaW7VogCFN12lxcD2ejrJnqaPRCtxfochYynT9JxF9U3LljBxf0wG4CVknCN09iPp9mNMqC5eTYzVU8dBFRIIc3cXTarNLsRXFcL9AoG/QOGiDCkiAmaaiJMUAtY+r1D8JLnUxT8COwchlI8+DT+90IoLUQeGVzyQlzumbu//5LIV47h/4vOdtVMAtMirfASi5yJv1l5gSXlZfkHE20mKV2cB3fZMJSAEWUHtZGER+VO3FwxbdTZpZo8mkqzVSTihknvWZPLnfGmUrVWXcq7ruVZSFA3rZJiSt5JufHrrEiQ601+HV15OhPmI2s/yR3D64VTSNy1PM7+gusIyl1SDCIAtq+FkeVxXbAXdymg53pVn/ICGyXkVOmF3ZV2GvYzkBfZbdlyvlw5434Khi1BgupFR02KD5nUADbB7GuVAbip4Q5q7B5/lpqtLq3Ybt6oq+yocECSxTbyy3w2/m6bXP9yM9mtqyFVCnepZ3xO3b5Fl1P9EB3IojdyK9egwGi8BCzHviNPxyLxVCWEri9vJ/AYj+A/i0M6Z04b30loi0wVSL9m4TDcxsIlE3MJli6VPgp+IYx3vO3C53W7n2DUFUcr7LsiUb28m1ARAyPRugc954vBRciwDYqhQDns7p6bE1Z1bKlsfICgbSYY2yeZwUvTNa0KmXib8VD5xq8G4w+seKzzGCFFLk0PzsclzSqzy3NnM3qpzusOv7rnnZRINU+bJCLG0QXC7WbgbGMWMT1Pzh0/w/4WYsOe0krouhaGjJs60wfpy5R2DrLKzF7EiUCytN+Gym2NMrBKiYw5A2r0bfmPM7XfVBxQ+ncKBe/iN1FANDLR1+Rs7JItPakL7OUBdX0zBhr8j+cetESWe/hCHlp1SZoi5wPhZGRkCH2HzFXDqdzxBNm7nUzjHoBxyVC/tTUKtHcudC7g+htWDtOPplcQw/12FjFnFut5u/t5PCt1QXqkePob851zZ8RWCT7xZUVosZNeu4skfsWgq91pbGGCfyda0MhZVQFe9LdV+odFfjXl2U5unQfM8kUYj1iQ5IzL5q4XcMZ6PYXXRV4Jvhy5oCVw6QcF1qRzMIVVSUPGX2Pluv6XSX7HH2VJrNmuaua57r2QFRxhNR/IrpGKia7WtwizUswOVIXqGQU0y78HUxlCGKJPpHwI6YwNo1xdUpq4i5GqNEDFgbksKMIKVvlC8HxzxY5rTAESIHr4tYXiPwOrtUEQWJKOCZSTtgd1qv7NDPj0EqanM31AKNnzwQ2l1COggzEjMRSGYDYdWfLznSZGNO71t7hcLq4In7ORC4uBPpq1SvcL25RS7pFG7Ul9OgJ4L9ur7mUA5BuVMwtrOpQQER6OPgTwf72kHbWh0jhp5fYYnl0ZDtMr21HsWjXslTllX67plFv1PMywPYryfTMiR/V43Pr7yFSzRpx53plwEEgFjgLTL+IiI4heO+nV+FfsweWbMw9nscxWBEpSsUMOCPaBoDzqKUtyfZm4CKlIe/hiesrtLyibRiYIbWdCiaWGKw/ZENqj4gp67WH+4/qSbclggKrm0inLOA2K9UTGIGPIxlTnYWjjxxM732VLn5My+oqHef20sA2cICkfyzON8DMALqIhJHMY4Rx4h67Xr/qrVQvcJm0Yi+qwY7ZQZvXCsUURGAU/AEXqZzvBxQxB59Lifx8HyR/2MlptDeCp6GeQu5JT6NcqS9jq1LAW1Bva15Wogt53lIVe7vm1W+j4zhrIRZeykvJCu1FI4ws+3gidBNW9Y9ieaO7E1NSQDEG5a85jIVMUTZHrp8Pvn88HLTv+j6kgwHwyaOgjQaXlemzgkb1arwNABqzGs0fi2pJNYIA0z/lJX3jsRS3IuMqaMcbRbINUbX/zR6JVWcJdI4TAYg81mXLp7BE0XaVbF5Cmk3VMqAdlBPONq2eMe1Z4YRnnctBbL+DgkfgGth9MKBn3XaSTjhpimIHe/njXxQGrR2EAXWDtOD8y8asl/qkkYnPXeL0J58wWllHpqea4DhaDg883j6ARE5KPKmyzKxuth4ht599ZvXgHzWlgnviW9b0cyBMAX2KD8JwywXPOFymn+TaLFlS9cqpAf9JpWnEsh+p9P0JNLZ1Cs3GtQjXocMYKyUwpg/Al+Cgk8Twf81itAhKJig3Uq1OTcOsT0kscDQA/w+T9KIqqeeNRx1mEfeZA6FV9R/cnfRq1fQ3MfGOjJZ/LiF/YWOqNWC8X48QR5wsq/y2vni2fDgvPI3052ZIOIBhIDbWl+y9x0a3lfD77lZkaU4+pZHEHZiViBPShV0td8RxNvwzUROthIbVHSBtnJ2EL1ly6YJSV4M0VrOAg2wXxbeLliEpxqS+WDfu7usY+RqM26xnrEgn95mk4as8yFVWjzkk+TvIq1wkcblkO8j/wPBAhXp7UWWw7//XCPANME3138H95zIHr4qQ+0SkrhqdB4TQwOw1mJwN93Q0UzqF+1oj9IzP3ZWaOxaVdRBiLWbIGcQZBq9cI5bJH2x9nyEL6H96gQdBTFveC7Kv2Yvn5615JjgaQC5So61Jz5BB7uflOiKP6RPgh3y3fNVhJJwYG/iHYvQ4tQj0FIKNkY2RQvYOrU1FjdbL3nB3k/O/GR+AHBeoBzCp0HEzZJ6QOjODFo5G36TS3XNoogp13klmtZ9JO6pueNrgcWCxtzwbdgYR5QbnwGoHtH0FIo8C+N+Yfz7Q2oBYQPJdqajMW5PtP3+gNVjbY4tBdhtwlIlK1NhF0Mc3m/aJWHnpcRXXNisbxsLDm9JNvdHwxoe2eEPFAcODrt3v+Syho/79kWwNJC5hwK2Jqm3A4uFv/hfeoz+gW9/9sJEw70Roiw4EptHH8eQ6Up9Fwer/IiAPzKf1fJIks8IS00xgTURZf9tEbqRhw1G4nCmt+ORAl6WegeY54v0Fopo4vmx/+wPcvxAHpHiAqsi72+zbaswNx7MUOQ7q02QB+xBHajd1bl7oREsNjuUmKwkxHALp7oZaCtzuogfmBJkjQoB7Qcm/jbfslQHLgy63aFucqj429S7WfdgQXzEf35n1qy2C6zPnFpQvzJgXb0EneMW088QB23/C5hadK6vaiIIRvW10syAWQpM9/mu4qqNx7b5KcFApkKUzCczAdJ6hvKH74NwMUf95JquT5Y5nEPUsnMlffqOhYZvfWWCy8fQa70urfoHTkblf3H6PNXhUmygDGtyLKJfsks95KYJ8y+KEDBnGo1Bih/kAhaoGwd2lqxOqh/6OWvfU78BMw/BlAg62WYt3TtD3F6Nx+J7fvQRdsATJwCRpWwINkJ47ZE6q3dvzu+cykW5kGF+ESYOCSYa9Qow+kyjhVxOISuMbIbxw0pm51QrZ+n5wBfEid3bHftFAemnFR+Uz2iI7USOH0mk5W+yvoA8HxeFlk8UbFITlJ1Ej3fmTY+93TWs4MGkBye92ZnlNMfNEAWLXlfILSg1rX/mR1nPLo6OuI+71xOAFUQg+j28pCNy8+u7kR7HhV5tas4DvKjpedg2uXw13Nz/z6l/S/Yi9ZITQwDGs28svfxcgDQ/qEvfAsyuZJT+6V4GdFO126WpuWlfaz15O0XGTOw972gkNc1woKghKkZw1t+B3aAcoegVPwqk4YwcisnQhpsbeZhlWZU9n4NamWH8nSBHtYPc7HBBUMsrgRCb1uEAazlilpKXAhstaT5jQefwnJwiVvVRjK","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"}