{"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-10-12T23:49:36.591Z","note":"conformance attestations are re-verifiable: recompute the report from the target and check the signature(s). Never trust a stale attestation.","pqSignature":"4cgAN8WasTx6uev/uxS3Y+h697k+HhDEFFgNNlqGR5enVhdG6uuGGI4IlZVY2oc1xeqxruFjsLwECqh6ucc4mWv1I69HewBAO+a7EJ2mY3MTX2az3n59z+29UAa6Ag9SfLlKf2pz2NLooONwaWMZeCTqyAHpcrpu0ilXg2a16e+2jBWHU3GyIUTVOdRzx5OYcECj8uL2yc5pztvOgyHI1TcD5RB5ITuZR3tzVE9fHWJbDfYQQ90vActPIHocT3nIEOgZ8UaSryIr7i1ovvSNR8zYXUPcV63scWvydjGcBK0Z+p8FZG8qAbyP0asP/fwcTt7uH8PUUOB78NMsxV2HYDjpIryWDZe+dEVKe48uRk6xxnEh4yMUSuVPq7wf/RMJkGzOaEdqiGr8IQtkr5kjWjlBuknIY2OElRyU3Dbbfl6hLDOGS6lGOqs6JoOBf9q2DZ2H22tONfRI437PT/3cdcM7wX6b05bW4HY8FxqgaGoPpwUTPDA4cDKFVoX3o4MEke/NCrwoAEEQ3eEnzWLpqSBI1V8djPjQAgJErq3JAghJFqYZ8J72FwtP3wAibXjJOdM8oL6LijlhpPRCvV6BoZhwVms81btEK+kp75HQ5VqnXOtnzMmOwv85qKZFL+587OjNsMgb/YxWmcTorWhghlwjgWGQX31VZCg/tjsuqEdKhuaMZhGH/kgffvl9c9reK4mqYB3kZBW3Oq6bOYx7F9tgZa/06JPf+nAzDup4WjtP71w6mqkfqZDTfxlwZnulFcXuBtA5UJCGRlpWsAEiATds2fBIoQivMm+fnlnK4w7oweHOjxOvNatSb6SRn8HZR14XUbq0PNqDMZ2iIGrOSgi7s6czqogRuxzURYBYZFuHihx+N74UAj0g0QrNrfsXfZyaPhK/8kl7LDb93AqMRfxQ52IY1FniVztV/Zv0JHOf336z9LJypl3ypij6yApErvlD/88WRvKDQMfYH5+MLtEzFSpxjW7W6IL48Ly0Fr8V0PC42aOm9kTonBBtIv81brcFduiEKXhpso/zJrI7O2aSoFj2kgGkGfkN9o6MR9e3XtSlslUR2BeZuDBjVRIeDv80dC4+qSb6pbJbckUK9df5Ot+1rVvOKG5CvK9Ax1fOfYNNwV8WU3Y4YcMvWISplcDLsdLdRICfRL3uQ2fI8N77a+U6BAO7v5tnW3nP35vOuTX2GslVPUQMfJkZnDixXxBLfeodFPirbTjbldx9/Wklz1z1rijQAc4ey7Xx7NpgKKMLu40HhwMtJfNfVyle9hXg/PddprO19Qz0kXOXeCdFp1sZQy0l7mqh4K8Yt+IWMZlT5sUe8ZPPV782HOwIeXG5JSfKJ1j6O4cUcXLXBCKmph90MMTBKw9LXqEVwDD5YfFY0m55/wxxu3kmM9cAOcDJyeVc60iFY9PwHnspgOMJyv4dSuDTMf4y83eIJPAEMfqjLn+DDQBWGP/BWapF9/tejoxZ+0XFnE68i0NqxBF7uUpLLq6NeBJ8J3AsN8Pc612/XVMTVakhXz8z6PgvJZPKTAZNd/gWo5EVEUb9ytifje4iGni/0Gslt36GEXzaQnDGGhmJiekYgYWEfX/oQGkwJCY1rBb4xt5yK8H/P1zRLYD1wR00GYBrcHPGSa8s9Wh5VJSw+yrDtEa8fwEp03kZjnZAiqwBikQeSFQAVyKEHy3IIqXXqKqAoyTquFuqIwECNp4mu2+5xYxOvovxjoAg9FudXXbzsyu6vmTK/qW7X5KDA8Wtau3nnrqUx9enr9lvGcqerPGz70p+FPfZ+QUWLxTM9Sy4nWu4frE+FTmX4laDqyKvD5y3xiGkn8Ogns0Eo7m2y2ZsPtZ/ET0oLh63LKV0IBDHI9RwJHhjW1sgwK47BbSKO16YBeg6ggvyPBcniLGefpWZCHEgTJTuPx+DD2iYP43efMioJY7cEtnigMIPqrugyoDr6LfZsLITEQWHKrvy1pS5rgyCCTsQC2lr4YUdTviZlYEeUzFgqJ6Th25++ap9ujpG/S8ORRgzU7VIsEMM7QsZlDlGuJ8mV2q/1X2xediABtNL5mSHnTT1kQDg2PVzfS9EnczAFdrlbIu88hNBgxB2yoqBFHl5EbRoYe7LxkJRvvQurvw/fGQ3zPcaIP1qCiy3XH+A/UZqvrtk6b9+5LjDA13OZk0NbMhZ1YJ56Z6KMis4v4Ph+oH2lq2E4pnaTwL2EI9TvtsvpLQrth5fWyCWmabj6yV4+qes/qhM+dOsb+6p3QSbtbeePsAJWM/tYvtnWMrzHdrj98km4VhmKbe6xYVs7hFOTOCXSoAI1cPyD/mh/5VDgPZgPrdR65S7gmOA41dc4MlrbWbf7BeVwljUEyZIeOibOZ4oJMsmbQK0BYzSE/BK4n4scaHqsLKYkh6Ai+XmE203VqtnzNFW/XwxDlXd0YKIOjR38Bd4phs2plJeMYP0XAfsGW+J2DR5rafEnNYSChurWz1l54jUlhvNm/towQ/3R5N8nq7W5iLy2oJukKtqFEUX8voiufXwKw4XlhUXUIbLwye/PhbXiljaX5aI2CqkLS+LQSPZp1CbVOUsraCJ5m6qFYg6+/V8ECUSsTRaYOghyclcjLUI5WXl6ufxq1u4AIwqxqwHc9IqE9xeeRkk67rO3mt+ZSArFYVAGbGi85s3lp73AOHAfVb/LSQ7qAPGGgg0a4lnOQzbmq1UtMTfDXmRpQoj19Z7a9Xw5ZnlLzCS7wxNxq7oHFn+7ILGoIlX0pH4TztKCVkImRWPWHcX/Pz+c8FAsKkOKuXTzoOO77wi2sNLeHJrwI+MMx0l16wzCdxY+uFoVBfSYVShCqV2SEUlJq2L5G9/35Y6biZgSjHGQ7x40InoQdGZJQzrfKv1O4hn//a6WHkn6dj72J289mWOY89bEP5G0sOFMd+FS9iwS4JNKCMWvzptvQUEIUUeKMsc0RpED8ZAWMrRJzslUJzAEO7SDe+h0qCvq96ZoUmS+coOKVJQlWo0w8h2PvRlVEA/zDUac4PMrMTqzBcEd5o8dngHWJz0yu0stJAgZifftFFGtZ/iSsdojowyYMp/B5CisnnmeTkgO/6WFAHT4i/gjHn76/yiWY+DlOcJlApWE/sBdvf9e0YsN/JPmEgUpgo22usonsad8slpiCDo9q0WTPudhq/BuNfv+trWEwgLczv7Vfedk0QpFm7XAnV3/hjKo3w3k++w/+LEmk21R767L1k6yxU18RClK5iDBnkk7/dG8ZERgqlecPlcnG4v3HTfXQ2uSaK0DveErx/Ob1eoL7xehvGxrofOSxHYYbwirjOqW96dXSaQYqKW1tkrgALdXHJpIE9vYHZPYbVh1L0UwpvYb+utQr/ePVXmX5lMFGOZCT5pFyRtayZE7IcBomLtZuJmva5gGuB9NE1K1BG86ed6L7uwWOQ8/+rwetmSYIGL3RUqFdNfgEB8DaixxFCMxXFKfzZqkwH6nIKHU/95d9Fceggjn4bzySNIYeX5cAG6z2+/10il2RA3herou/A/TN8xzdIhdvx5+c2oo8mSoDp4mNOB/jATot4e5Aw8cuGzY1INTrkNU9QOLpa4pzcHMyKxxzyW9oFeyfYRNExmBh9z0xEgA/9SRYIzeCTFVSPAIPdsMQMc9TNvShyeN0vVqAfekSl2T/SSYS6D/Vlt3h83VPLfiOYaTetQXkjdydkY2hJjJ2APtmyo6w2Bb+iNm5qa6mC0CrRr1S5/sQC0C8WRUQ0/87WKB/cEAautiiiA/juFI1oWjp9lSo/Ha0NCOSJxj1IYjC7A3ioAJAUVeCCgjVvQCKiDJCEBJI8E70RKCszF2KKNLz9NoBsDWs16mM2QkAGELwoqzYt6uNF0KM2uNIh1FyPV7UmDjdqmS13pwY203SDZKHr6C6Oa2oxs7DTRQFMnUFx+bM8TRqITEjV7pF9/I/IcKk8gAkV4QAVhaTnSUd8CKxu3YR/lF4R9/0E/tefNObw3QYtUAM+rmi7SYPL9okS7z8qhNcPs1ZMBGM7hp2FHpCoJUIE2csLNF3AqWepV3ukD0DlbDRE/xCUZm/EaxvFeGouHYG6au4cxBOnoY8/VcxNfZ5cKvwW91XxBVHcQnfRqvRWan7uW/88GfZJi2lx5Fu2ZyubrRWAksGAF7MKNGy1SD6TpNt71Y3x21SsP3zQT5sJcXFFKJOR0lO7CAP9BZgQaHyLz5VyTCM1TP4/NuCgm8AggEMdqULmSJm8s5ATAHAXYSMDJLC0YwrisXYR60zO9JV4Jzu87KsMMUcF6kV4Pj6dXQIMGlC+3E9vCBCcC7KuIoc7nhgRlTNdwmKnMN8q+ZrZgbnSRhzo5d5sj4dlRc3yvNX7d46TSoRlyBN6CAnckAT3m52P6QCk/yyqdGzC/T75SUwXzKdpF/wM/JTeqSyNFnfIskLsRY8NVudbfB9td+jXFYUvsAkcNnq5I+5dEqZoHPOGaaZ6K9erv2WLIDDEiRBEK0WCenAq0DL5+n59L6mH+HSPqnGz4k8MLZ1G61O1C01YQVy6+RyuAho6k0AIi4TU30KQRsIN3HKPdymWTcvs4tKpwdb2Azvp4IJjpblGjQs9twiIJWcXkwGEsRdXTQd91JP5eyKznOXLF0hF2J7AdVVv2NVw5Wi6tqytgQtSye6Lc2fSOPJr3fTWeU8Mgdjs63y/ds4C6qsR9TauM5pcVkY/wGhAp5WbZ8kohPofJP9QrunTS7zYcmQBBUhursEc+aK6nE7CmCoLC2/6i9A/1MRfLCguezdJsyIyPZJ6UyJF3FppBjqYEElDpsVESEKywCBqt/GqbhPhUZLV3ZGqGna7DC/1Rl7hmzxUJ8GDsi50xthrV8IgatBAbn+wF1fUKcMtBjFb3vVsXCAEuZJ3rVtbGPK8qJxVfzlZ2ak2AWQv+VycxlRrDWiNpK11E0gbD+0htol6QEUfiBVf1swCGxWWwG+/L7ZDadK3cnXQVdC7NkZzOC2Y2WzLaJCDBPbpPAWD2aPlSjRLH3gGuoWnWL7b37gWloF9gNsSVnS2juxEFleNxij+EEh6GMR0fT91z1Zon5/1Ni9NQhmFSGS/CqNYT1bgb5pBXVDAEvhIcfHOl4axjJ+PDrjcIx/KUyd2TBH0UfgYIxi0Fh7/NbMPEfgLRpb7uBEZOnqJRwxBzf3qRzok4QJVY3yLrqkqRhKGxkjmyhoNJTjyCS22a6UlEKa5OryStsGhIEqOM9rpjGib0DQkzxUYVjwOKotUIIcjgYb5M8eiwIpppZiC8fUdtjX+dqx0JPFHMoXuDklElM1KzwtgPhO+krzsW/f71r5GMa4GTop65dHay8/Eo7agKS5Asssz8nfaGt6pYijGUP2M3DY4cXimyc2oRhEqEx3cjKW0S7I4cArkgskX8LxXrh48T/kAurRnDG6CagTnEass/juaoVQZr2YHekFOWzdkSqUhFrf72OsITRiLBwhJBbIAlnS7VDiYXAfnWXIJs2OPIIH3SrSA3TlGKJx+Ys+U/PoHrArKpeU+k569TTPNc+7+TF1GD5oZvsrB8cCEStcXji2O8gEm4eNUcqEeArAqwVaWCU3h/hXCKjuraDk2sQ1fxgwrfx9OICAOJ5ANhE9TtQIDurCvDtbechIwTeeUvrX0r66XQ4abBSOXTZnLb6mZn9f7Lm+pQiNCUicjYz7zt0FiYMWUZXMoxpIwVBldIMLti0UCre83X0ILJxmdzGX15KSf6HL05pyOBmzaE5bpCNOEMOOAWHztBVYXI73K7dlwvi7+CYiC8uTtq85w66pR2jjPZUkoxesJxSRQ2kp0qW6q/NOBN9TGebGLsg1KTU/XzLUiaOQlbdIgnESGwjXBWZYE+MB5phYp3zZy/qPi4CVXj/bKXfttAbX28ItcZADVSJHAZurhI5kInxW99gzZQsfNfIizLHo0TRfScitsEv3sSQL1cDTdwnXaBX6R2oJOQlSiza6aLq4QEEB4FLcqGHns8CIlOm59i5l1eMtv7ReGdEo9o0dXzFU/8O7Dvtj0vxBHlcJN+JGaB6WY5w3hZ9eQNy5yYPhkxjJNqk0OcAGcZbXG86AImXTO40SmTqTZ1sDGWnzDuBCL3VnkWB6CAXtZV8x1a9SAnsXC8WEjcUZcvVzDnU5aHr3XQ8gTKXOXncQ36hE6hwEmbPk1lsNoj1xLRm9EBM36UK5Xs0Y17IuXPC6kuf60K17AHwyEJbWKanRLbO7OXggEv/jbh1uhYmyQGddHd+bPfzDU/xan5mXbjIanWH8koyjYHZDFfjKPn3KqWDvNgV/32pndGsFP2wIg8ePJ/yiVt4Y0WHmvzXCNHPdfEPPvqZALniDcf/oeYDBa16y/Cqw7B3wlYTVEmuswmPmSNDAMJ1iMNG+vNaWhG+AllOEnbFvaweak2xmEfZwUuAImGPtnO8ncUdDwvkfUgo7Mt0EZROybc4c/bMey7rCts5Ac0VLuqVmk1P3mwJ/1Qu7Ulu4hnwC0VScDd8tf7keh+o4hBmReAKLMtETv8ThjvKr1UtUhAlOl9kt5NPVEAyPMPFEDqGrcxNXwTmsSMt0xPj65KoSI5vczNzXkpMOu8IPx2638bd4G0SAC9E3hOHh3OK0sBzx8YlDy6fBwc0Dq1SD0MOAAdXnqp0OMYFb2S87y0TolmRSYALCg/ED6TMTiQiSxw3alILlxMG7dqK/jk36wyIstCSUW6kT4AXv1K9y7iAVEBroBy2JCkZRNDQQ7bSHz4WIimMlJXK6HAld//R1K9AGYjFbUQ8UWGsuszzNETxRn14ZXjriiIMOi2Tfiu0N0nVLh9/PbS4klOk2xwf0l4F+hYip6yU3Usqa9ezKWMQ7B4RyAlu+2efAHPVshveMb2daZIs46gOkgWpYf5PtQgs5RBRqIpE/9B6P3+qg+UW2IA0mahWXPVmBFFnrfq7r+bctuF4JWnqRpAAQNl0L6wcmxd3ePFfmiB8OjjIPdMbT8FQinx+ZusTj6ciJMZCEJtJRCCYDAu/qfcnACcQOq3RBc6y5s0E6GhelB6HyM4+8Nsy5rwEXZ1s8rKrmRqs8toua28s9H9HkHIqTnZOkKpELRdfxr2q4DmF7tSdWuumrXjr9N27Hv/K+AEB1YtvpSSxHrZoWlSSEIoyQ/NnqpIT+c7eI+q9I7/jb/59si2uiITgCnRBQOWGqw/WocBQszvWSrrVBJ15pOIdTFX/p8XEdvO7TLVzCaErZszQUxEOlQMZC4lMBLlqPpPmG6gU/ve7pEmT4S15jsjnklLhduTnmx5KdZHW/+pac+GF6C69tQJv98Mci7CU1AaSDRH08yel0kRaucAInEly9ixJz3PaBWqlhQAMiUc6wwFOVp6gEInbzkQChVNCFeD+X91gLud1Hu7PmVO6TZ/Utjtze4POSabEWcttPdp1r+2vMIvBu/FVI53sDwzMjWaGAFOR2TTsNY2VFovoYhrgS5idOjpK5u17otxqjDpsngc2NF8E4E5xnZEOM4a09FBmxIqHOxkJF9D97wRG/NXAXcYPjHz2/VroEis9DKrdO2aud0qcbS5LvEAZd46T7aw54klI69tIBixQDNTPVkD8CrEM1cxxuyquw7EitXzedXgVgyDupfYNgQy4nKKOJ/xkUf0bvap7Df1oNLNLyfKxE6Lf8Hf99ff8/sIlKJVe/r3cGj5jqQF+rnocpyRmdoTk/Pzo/K7Vs+Z4CjpY5JiEtxqSyoMPdZhnW57B7xSiC5wPvYwW3nXoWreGbooALTeKUI/1GstzoJ6nFXzIn9cDHwjvM9cBXh7yyAKcNFx2YHwc+yQKrpoYX2j2ivvXuFzHteKiS5KbFaSuKZbq8bud2JmgUGAW3jbO7cgfWdLRjqcZdr132zOr+StAy5amBnnFHwmGpFR6dYFsSkuGHaTi95RKHJU7Mw0Twlnwzdbh1yzCAl6SIggf7pA0zp5fkshq5j8ckN9hcTe/RXDgB2piJXUJvUbd8Fbb7MCaWU8DXNC7PayEtpbmomqXa4GPdIk0/rYKe6KZ/2u98nMuzfCctcgCkByEtagea8sPd5SZEglYcdOEHH/f2/JfakF6h9jj6F5zylUszefJtxknmQ2y/19pyfRSzoZZDOHpjDZF2UnuyOLdpLh+aymfHcUkhhixrQiP/1cjg/xwlEQA4NDpWfMsvziFPhTLTW7Hi1HBR/qZDm/mrGcmQ0Cr7RF8ix+66sTMMVMy6CulLlCEOShVVzPGiSI7F4BETC9+WqvHtIkp2RT8WJbHBhfmVPpEQlCW+OrR2uL8gXXmu6+rtThwHL0XjJgQNtWsfq+XPAkEYwCqCe30kZl5WNVxjgMRP56lkeHCIsfAOsHaXXkpzitCHKRbtjFtS41G0o0WfTkrQF2D1t0bR6mJgLMVuP2FXVbfODoGZXgvUaT9j5yz0o7xAHDMsmQMv7sysE56cVKevbSmIpT6ZrRPEEYTB7J+8aIAP2Woau85ITyCOwf4zFuh+0bUK1sj6HgWL/Dpox8jl477CQbG6/KTkmolDf103TzizEcdmU/mNsWbvADWMZiY6CTmyYkaSSy9/Dclv6z/yEGum9xtfW3AQnUQiSxQl4a0MTl10j5Z39ioHwIoASyAaSMV65NyXRJfZMI47wRR56SpYOc8f4f0EdaFmdvDTZ7l83gVimRUYg6Q4AO0t3te1sfAdicjHd7rvn2Cj67qdrxEY1hg4sswBEcndTaZTeZaZcqSrzXb9pm/sx4k3ZjevH02vjAvz4bXwFXvkiPJheyNF/sq4jPLNGVKRHCS7vE4LZUwjiOFR6z7YIN73bKAbakC9uc8hjw4mbsW08nca1DO7Lf9N8ykqShXCTDaPyO4vLEc0miODBNe7Mvscn9jS6k0SbN754VFtRHYhColQg2p7nqoGymAeTdd2YEWzUR5tQP96xWBlWcu7u0aHveWaw4jhY7PNmjLJqUSX6DJxANYeH88Bb7/QDW9TxEfo0MTtkjWSvviLlUO/i1BSZoutHk0htP3ZaT8xYX2MJJUYGZdLWvXV9yB1kAy0oymKHnwSxhOp+jJ9pxicZbSqFrqmxrp/1PSFpNGIjb9P5FTgL+QbwUCHCIrsWSsnRYQmLgu91iddjn0G4y1/1kP2rPeljrlzWJBSF62ys12aB9HaKyiPjJBGTz0pLlS1Sj1YARp6/Ip+3f0XpBZV9cU4VDYhOvyETKhd+lIu7FfsLM7w0vUM+yqTjmgd6nYMHWgUadrvqDDZZM41iIYwv/1F9ARdcaYyeeVbRrVuUPywkuLcxBbsDDetjwJ0iyMGUXWTepXr1Dn/vhKWQQMr3+N7WCXkW43FtlB2mCQay4Zb+5VPuM/bdqysHedaoJMbtCHJcPf+KrQT2TXq+0wXCEkZTK/i6uGNsNRvQpAiceM6WLg/ykCoZFMHeab1J2whTp7kDCsyEna59KZw+GZHYtxmuuatZdbiFEGSgK1Axo6yMpAtp+dKPHGKm8U4baombGl93t7Yo9ckgoTDL59jfD9oznNXYD1YQi8GZISyzB001CqZNdqPsrmzDIzkN4HdWKow1t2OVmkvIMOL/QUF0JiAUvu+VJF9QpvzNaB9jMS+WzosRYf3o1z14i2VFnSA4ALkrXZdYzsTEtBEV7+afz8btKQZQ9C+S37mAsk46a+Zptn29DSAtUagsKr1osC5QSgn9Epm0hXw07aiSdJpzlysrTgUzVlH4kND31OcvUTLpwqRhOCAopmc3gw1/zmBHOB3tzP7DUTy8XeX9mX1dpvpj326Vo1EgkWtXKC1ETUIPC5rtVxzi3M1ijtHg4Z38Myx/7YeUpo0t09lJxadzpQDjosXGVYbZxCW6243Bb3ADe83BfnesjAy3xTkhZDRkF3LsrCmy/9fYJ9CKNkKlW7M2xlHA+AEjUDWQY4njW05CcyPqxU8QLiuIsY2FNkshwRSRwBpkYnzFzu2EzklORDKR+8jlld34RgmR4ChpOA1s548nS8wQlY3zimmA+IA8BRAROUjzzuPzArf6yDpoJjUd3Cvl8bFO7vlNPNFO9WbOOXltxZZmEMoEf38x1+Vzh+kFOZbTRez9Z2Twww8spkxeuzMwb+1Vdm+qkRR01//4cFtk26acGuwmOn+7Ge9H6dEnp44qOWDebRRTVlyQ3S9GjoVHY8k/aOQ9jKePGWV9+dwJq2tYygBCYYFeS11JU/5IJ42fp9KCufYQbxcc1osBvRUvJYHjZZcnm/8SxSBcm79UyXQmSGGbHemT/6nbA1zGPOvKY/GR/C6mO/IFPApCLf9YFMn+GqytYKUrE1Y/15ebF8DHDBQPQFX6bODY6+ZuyBYusK50g0AmhLS6fBx3EMw++ydfMcZpHSLgW7RJMpJVJZJrTFckeczkZHJ2t8z9Od16l1tMo62Fx9038SSex4yDTQjxXbWPBtkDGFYsub8oS7pSCovF1qUgfiHOmyRXxivZgRMFNYMCFxmcmw3bmhFDV5A2ukXO9GdDUHPLdmVujGdrfel141at0V/BuEVe6u7ydzHHS3XjuJ9xqWuC1uJcY2Hx45d+bPfdOK5tE+s1uNgX3LDDkP0gf8z1yDJbzDPbH9w98g/z7Cj/1a5nNVkV0vFz7MBjjLGVll865kQRRPIZG43DaGnf7Gj6O8H1/9kVeoi0V7UDxFGS3nEZwotspGxp6PF8oJyoprxO8oYw9JyfxjP5WBtUBRp7oZytBmWeiTSPdumUIwTDWvO/yDRoj+tNLIJ/hQtVbqSuz8zFDzBdLPl0WCmzXIbAGZ11+LlzZnEz+WAHQW6uPdN4tw1yCIktkhbWOzr0xqTciEbunw0t+m6W6Vv55TE/7dmMvziwvOnwKKH7Pj9MEevmjk7e8Ju8oa69ezvw2DrElcsrxlKKndm+uQnCQoUUKTCgQeHHWrtEGoLENpR04Dc6SWKXG1kJwtfv0DsTMacmqBi85GDZWGfUqfU8M4nlHMrdH48lOAN64icQw9UtEH/3adhQLKiAsYrF4waGjhLIyVEezx36kr6p19GaNz68T4C85urP7MaDnraT83QJ20YFNDCLxwmyGj7EiLpihDzKz7yUQY19yt9cgzTkDYPoIDeZsaZ3syuzDfQOI4t5wNHvttS/Di+ExaLY7I/RSewcHRUpfD7SPlnS9jdh6PaZWk6RhPH9rnaiBwsXGoZgvg+NfzcrDrEIfkzlrYSVa1rU9g1LFCmwn0E9kl2BogIikc64GWh+692T5q9xQGYlXuQxrmyIfG7tWjjOOcwIqpMNbGh5BuR4ct/HZr6MM8U561m9synQTepoBrf6mLrqmvwGa3/xqVEDFNq2Vg28O1D4a9P9TX+A2pO+wg6arFCvWwwFd0GAIXMasGbjEK2ugWhjdbENjdZ7q4qWxK9jSx4keu+ZvZQWN/3e5yaOxmkaulFvfSFEZCxCpM4DIievFzps0Dhfk4foH/AvrSRc0tS0vR7Qw+2jLw2XzVTpa6mmEvAONOkLN8vA0sr6pDKFzOWqhed+JOBmNWiphrxv9GTgS9dMJVdFgp2joTAEOyjdNMrW+gO8++YMZP3HnUczS3WRxAcqadDWPc06rNcPoXeDkZVcPZNBFkM6b0zDdMIBImmXSbUvEIrDtiYqSUocJYFntdYdeGT7Jn2opbbHOEwlsD/dquV9I4RfhW0gm/9VwBKWSwyKw2ug98kRGBFW0SgAhmqF/iaXVcJQCA37MgZhiqXnzx4MuygVMH3LQVKT9uvJWQNWLg+edaRoH2ikhbGCEpkeeMOSqEPVhOO7vEo07sCzxc8XeIwqWpHsb9tMM4Hu3rVnvNJKJuYthCBAyCinCPYHzjSrGrN41yFQtz8G9C1KiNhjmYmIJkhE1a4UxzsxpTrOHeoW2M11a91aTk/vemIdMck5BiAYRus0Wj39aBCOZ6qD8cShqmShKCrx8ieqCyuRXHBCgP+nNlKAk6G+mW06ZvlSNxf71474l9oGZm3p4eHdcB0/biboZhqQkLQCTy9EJHfdQlpO9yrt12qZBltNDiRqzJxmBvCVrkbvKLcxcERK9K/i6FnQ7K3/I7X/uktCqIhekiy9zWPI8Mfr4L/iSkP3KwbGeCVUB7AEXI9IlySC3M0iqrbcnVR2FFVKZQ1v7fpKXJFrUwVymkdnH9pADMpQ/1La9zGefghJlev+sy0Wu8bu/s8fKTzRTzFJOtm+oEocobiT56ppbD15kwnTpkE+ZKQivIInZBdE+aN1QW9J4mhkl6OfX3zGq+GWnHCYsN6aFmfPoUfGVdayIdKw1USRqKfpT4W3iUxDtFLN6VpFtJdPOM3YDCAbPZzaI4QxoGlI3/a3ZXpGfdfrxXYzgWJjrq6KGAmm9KcpAV1eNdQQ4TjhlwxryenX2CWvSSK+UA4EcL8bYoTmsvGCpu3QI2k2LSFkz90OeHNb53msoJWyOoS9BQNvu6g7DTCU/XqAvTY777IfMc308fDclLS+pkblYPNwP/lb1Zk7wYQpLhhwVWEz0qZ2lG1vi5UlXI8hej3a1PujvW0J6bcxeYU3UNkxHBktJJpu34ulkRriXUjzmn4epKUZalXkS0DByiUe2ms9KAoqlWD0UvuppMMFHkKVRR/NmcniHBoqEatZs6Tja8cBVyuCKdS/dAT69/IvZ2bYCcCfyy4DH+OI99yuE2PYA0bVz4CPmG1mXSQvQmZ6lc3wPMNXeUhg7vRBJVewo62G1birlbROnlsRNlDVdslp972OZfWQbtLm4c22MhKOoMC+gHsvOzum9SNIAeKskEzMd48sbvqCwVQFT3Q47deWuJCjVl3/TGhP2+rD3mSQlYzJtYr/Rfk5YESgL6Q9S0JA+54fWP1az3Sze0pcqSJSDtX7PSSvk+/L24U/ENnN2HI9IiEQL3YXo2ODSKbaYxDsdK06IQ1KMHDyVag/DZxzJGVPfH9P97pADvYbS8LMhGrH6iVO2zwiUvJ98Vq7iDZwwoR5MVLyhwJEgNbKPlapKLbo2F5ICYYWWIJLvDsMGaO3DoxjcDSFshYNQKji8hIYycoV/JHSnE/NZODQHt9mAysvSNjdpsCUIBQTK77+hqyiNLd3CKhSJSLET3Cvkkg5EnLGapwzaZlgDkulSHk/xuHRdnVq/WYWiACBxUZYHAMegE4bj4X/TzRX6djJDRKwh063qfZf36VS11/UTZG9LDYApluL8hzzcfOR2E4I2MTP6LJ6ORR6P7hoe8jZ6Nabf8ntDpgNxVBC+G8LUBmGBfEw4uL0YJX+kYkU1GJ9B0tUi+N2YXgzgABqMelGWtqQD5m56xObAXT0az1KAB14SQI6oPcIxfRAnB8DqyTPe0a4tDPn6Dn6wwohes3qDQUz+4S9NnI3lpmL+VnZ8XlwJzsfYRd5GAdRx/NyHoMklWKc6CaABa3VQR54CEGAKAl9TVx4HLPHBXkeHPGkfaxWL7FmV9OZUc2A9xfS4k/VqeeZSJbEgc7USUP12V5a2SY8Xv6XR+WZoGSNAX700x5ARES2eOn/Vd6VFXrYNDdnk4l6MeCewtsEQk2kVZNcf0c2OHaGjkPabdOH0/NKG+/OpxCCEVk7vZoCdsFWPUxUlNrDWyhTcczDwIc5ihqJt3sdMjVkwzX0tfsLxB2ysbSe7CsBR4ieN7W3nW7FblOJJY5dIyrUXgfFfgiOK5boCYrtDucexAbAGFq+Kgq1pa7qf8Js5m6j+0xq4kp3C+j59WlFotNzue5+LavYq7vhz4WeNv+YHkw5sCnIHE99z8EhbWeskx+UPThMmwvWdYlH1rnvpW/bKblw3SHDYnN0ANWI/L2g/DoBACMRENd8Gd2Ewn14Iag7KPG74ppynS80DXLcQDV/kd+44dCjN9z7ulliiGhqXbnpdlOVJy/EY9Ci2I9L6J1Q5TcwDNd+0p+F7/X14QcSOCXads5kwhi0tFhwRjpGB2u+51Rrl3E/7/YEivXVxqOlb+bGn81QPlZFblptSAaft9AjzeSxKKN2qMUyOaryXueqV1e9k2vJ1GDlHIEelIDUj1XWXGmGPKg1ixX0FnDRy0dEaT+1m7XHRusmn2wvakTcvA9y2glotCkrBwoS51e/slfp2CW+C6z4OZuuF7nhf5hjB/VaxICHn4s7sVrFCjTRajbvTzqCg+ENvLuOMhkaWWgQa3AMV4r3QH0rYy3HzgR9t9jWWWqpQ3k1myBRvLNNyllpiA+hwQjbxfjSGkG0mPrVfSM0anhU05fL/9voFZtDnjU9dvWHLp+nzEV5EZvbCE6PbJgRKy76AzHidvXZ2s3cMJgfr+96CmjFaWTn7hFG0HRm8479MNbsscZ/FtIIVPFMs3xMUsrJgomlTOB3Yo9ovk1gWL/EKQbmK+MKExDtqVWdTYEXOLvN3slRdooHcMVEnQnhgucEAdK4Z+LBNRftoFYtVJWQzOmNmkDR1zhZK9RAuhDUpYWIhacL+U7RADYSu40X3u/A8Sz74PMiwjsObVTLkR+zTI4rjvZckitDCZknbfGKUA9905XThzLjPGbcecIJaRhSLPFsBMwkuO6OgbdicKttg5vJJ2Y79Dh9ylaHxGV1SWRTfpjOnBnsvpr/XWQRQS74jpCRXlUWiBI9X6BZW260g8ijOUwFHR4n118vKmTavSb/+Xi6+m8FWQdyyzFXO1zvD8HRk8cGvDXe5XFElIAud0TSv5E0H4XxtY7y/dFg3TTj3JzN5ZhnFrn4yMBBhTRlG+csCZKGUbwfBS4Vq9djlWQcHDpT4m8UTumfeawTlUHQoMJh7xpqON1RxICVVGWnWiIlHahylt7I+oKUu3H6mCgj4/vwJDsCrH7fGG/27SvqEdI6e5DgWGsH3cUFs82ZzCrCHxA2cd78bBhxuYzulpsC+7qUEtQP+TchAcnmQ54t66w4WTIocIb0ei6YvqYR6uGr7UCnaYtIUl+SrfwlPo8nDSQIJAlBNjdmwKo2usdHD9dtEBBF9kjAvNe1oRruKA4BrIDRD7iMxEL8sN7961OVTgQFd+DNMtdy2RM0bDy/QV9mTg8SY/L3iAXv3sPNBY4Po2L/kNTxcBAh7p1f5v/HRh5KMF4qQBpxRtePss+zTImP+iDXTAjbREq9ID/Ui1KMek15o/KLgvLh/XkrYqi2AOnH6Dk+nxcMRjzYrr7Kvs18PvdKanaRi16hljsi1GjW0BgM0BtEnHH6DT3JAi04x0hYlAYpzeF9FnpyODeuMn36tG7hOWNft/GzjrvOPxEwVkA67IGlQ9cpNt0VDK9qw9fbJxRVrpkN1q4dMqVtCOkXvvG0YYFaUNw1yt25o7/WXt4jS2qXqqIkFUZvrf9xychme7EqnkF6opQjQXjuN1APXs+rh5jj4zG9+0jM9yDrN7Fo/Zs6Vj9/yOG4/Tu+4nZ6vsnKiDjqDrdpTT8nHK0TgBgmp6Jo2obkxyNEhYjIzDh11oBGRK0xKiomhIheWmugHQesZ8GBQJN6fJekf1WzPMBOWp0TM+Z70sS6fteIeGTWlE3vhhbfavmv22uB+8LtEr6mG1mpFvg1NA0xYPK4O946f+sObsS0++iYqte5y8SsmG7Kq1kjszni1u+ZHDi7L2xjDasrmOD8UjGeYSniNGiegEG1t6GuXI9/ycgqWCeyzcqVD+Z43zu90T8r09+bmYLsDLhGmMwWBO9g7VgDX4nUxKzeQPDB4KO4ZzMBGtEbyMBpkQ91IO2FpWTTKKfgPScoCcYL/K4y0NRS3MYohJMdRLwI5P8FbrMtxF2sQHtg+pLFMt+ohJApAz5ZfWpjO3IaZkDu79FK0CQiuHfavpKFAUvZTkjKOKc4k8dTgdZ4hFPwTTvHrLmx4oDlu3ImaXnycZUfYfQPSaNzDxFMocxg32guTu3o7CaApUwZwHJcy08FmUOhMq1fl2uG3i3xrVM/9p9fgZSZQo5Hdd8f/PXWobfCS+DY14yfUOD8Mbhe57syeRx+l4jPG7lEkOVEBl/QX9bUugj1sFXSBEY5jwYS6j8KM2JRF9xqQqsIzD1u2xBqsimKBaNk7Hhul0TNVwh5vk5CcfJd/GKmV4uVgTC8E60UuW+djW8oUWLjj7Tr9G+w/g0Eua8deQ/8qlznwJrEdeHRIn3M1Y7J0I4tmqelZUu6FszckiGaqGNB+EbcWUr310MQlkzvGe1ltlUAJH3XxAIrHTYtWYKJenXbgbF3wCjuNz0TTaKz5on/iJtZLjbfDnZEoSYgunRYrFPfN8xkTvPyiqRt6ij4W9fSOnHEtsqw4I5K5u5QoDzyscub64aIA7WZuZAfHr1Xab33qINs62b7wjCF6szxqAGOhJf5jR+f3wHoWxHh0rL2DVbGrjBvcarOEJn0s+a9ioMyxNMFG83EdPNQ12esrw5+TAyyEwmbe4UXFPZkwEHjRpXdhdx9thKvIB6n8+ghKeBZjmAkwGVAvzcLap5M4zdQstRSONb67NaR/5LrHI4sLpxvpgb07HlSbu5eWBI+JyDX35zFBOALn8xbd6+I/etYeJo5bi7DuNyC0Om/yXM2g99LExg90KzXmgNOCc2yRmDuigYtElGtaVEbXM2M3wXP7JUmcdan3iq1pYiocdGRwzOPWB2KjcyYc2fRWQj0SllU7BPXWKA6d5/BijMhzHmvFnRnpOUogRCIyv+bs3ViKKgnC6epA2Hnoey+r3YJYgajsNgis9W5Ozxdoce/YDduFXcvcofn5HeUcpML7/rchLZR3Nn46n4sSZzvJyrx944NzflPnlPbVqIIOJUZ0sZwPJH2oMW+OidquettEjHpnzzyVrKD2x15DkGvZjtEqE5E2qLvCyx5NkLkb5lvmmlaIXze04ER8OccRyeJavayY8IzxfXR/Ahz78/s0NWUqp9xKffDxPWdmMgxG6y8HIqAEyoZU9YSwJXZM/Y00sP1+8M63Jl/0w056fz+ql8Ru02GE7ZqYLNqQBBHfnItqOLi/0Z4D28zxu37ZcuxgztCnDYFsZZSdWIkcjLb/FWNdf3PtpTx9j3TPQuIabYIkDUqrx4CX77gmRsDUrBlxBpLWhipAwaxP9tpYZeXIBVuYoEz1nW6DYQru/G9CO+vQ19g6icH0WBFRsmCHRposEhcrYK4U7zBe59u4F8Uy0gjpEU/sw6sypR8LF2U4SfoeRtU9bWoy0XyoIzmTHLyOGRI4h8v/26LQFQa+VFJRQ6F1zdBCnLXmaIN+jNZfu3gFbJzASFoc7YencsRMtyG6bFRgl27Ulq8l77UYlRxwdf1OVQMHTHRTQq5JFQn0cO6IDEzXTh8uZOzFxu53ve/wsTyVS/7D+mziw11jpYnaUjnjgRZVEQMeXkdDye5mg/XNqts0wX5ZrwLssrHwXe5nag8HvRipo9i/CgyqWRtkXQTpSIWZAiTpcxuUkCVSERPQUnLvm3Na29IW62Gd3cSFSFJ9xjNJ04TEBPNKQk0BLZe2HyRi6jacCcME0dTGc65qpRkkjLmCm1X76qC+PmieOH/pAKwrJUwp976EIc815KnsSWfLXwIMzvJunnz0l1xcFDgFKJpGMlYFYdlTxi/wDMo9HdVIj+3CnFcu4kb5rFHBmdjJdFJkofOSHkJy+mZpjwDi4oj+tKx90axnt3qG9ibQQY+v7gOfYmxfytbmjc5UMWZno2MGu9j6dYYjurqxRfOi6cx9DZ2LaCzd9AItwazsoV1CtdvO/0toR1WdL0z1klY7KdHY0ndLyZMGo4CLVrDz9qq+wUJn1fuXfdM/VPjnKPjztYOH3YO8dtt3yo7umyaxTP6ypjDFxCJw+FwIKfaqIlFejQsfgeyNaJXPDqtEOCznlHdPCPD8OP0ZJKsfs5vUtc0R8dzsT51KhJINSND7nOoBAEa6wJa9wRZ4VqgjQgf9UEmKqTBwHF/ELwa2VL9yQRZWM6/6g1Aox1H++WFIBiROyG0wj9YEPZva/7swtq8iTQTdDQ3sSqVc3B1p1KWc2V7gb4V9ZGZJKryPb6S1UMoSbqqhSW/2sabbi/8nNNwZ6hteuY9AQtPbNBs0Tanjdx9z7kPnWBfLbRDxrINxM0q9x8By3C7F/vVqsAVH1F5c7FFDYYcV3gYaLKoMkb8g1wXZx+TILKUMb9177xIFnI5OxjR8B/+CBT3j7GIjGCUTDrtLuSCmYmQJoYT9tF6BiRODmClx6zRuopRTyUDKqQG7nFtQzZaYOgdHetcROQ+v8pPUjxIChb8njKImBoMaB+Fm9R2eoHkW/7Rva2bOKXwNoms6zYcm+f6h1czCTtGPtSYVqMFrcBMaFCwxWgljJEFYxGRVPKZckT8dfhn2IiXApFYXhSDHJ2NZblCwLSTobDSgh5PJq5s1LQECbtlx0nnSkSBXEyN5/G1CMPu0OXNIWGK7VVmkiZJU/Ea4fqa/2x0EMif8zN3e98BXUoE0fWy0fS2q2yKYr/DULeF1tFKdXErPxyKnMjdOs6tP0IKof6M/od11Y8pW3eM9JUoKYLHLuGbTttQuXk87PyatN2z0ARApAkEjQK8hXx+A6ZC7cn9pU4IZVavQ4PyOy33JG9jVO1ds7+/Tozwystpidox1fJsUkzweWtngxFJ/wOitGIRh6xzBnXxtAHp1//jTBvi9jjBa3JyclfmSC4FmmIlAq2ysASOWkuzAOdX5kWW1JLuxiINwib8vt6BveiyGM/YqhOGtsmUDQ4rVodpy8rtb8JW12J3djGu7zKdJ1dq5A1fYRi81NQOLi2neWWhd+w6+WmpmUMR5/CUkkhOxy55n7xfJChQetNSELpVW6cKDbctUEjBBXhUbKkcoZisBNsWgKgZ7SahJSkTtg6YXAXOapf4zg4fedcM53TZKM7bLiG4+aTZ7Oz85eJ/37HlKrol8fuU5tjN/zKZ6eyfuI/lPQc3T5nKp/BoT0e7oRpumXmlXvWY+rwrnEHGRDcj+GswaJRsVkilY/Tgm/ZHSpNmj4ToyqZlZFbEeKTrCEkVkCsvYxdMSBqJup62lKMcJbEjUbOZu/P5N2Pg6Q3PJ1JyfjgdTezgCNFMEdD+ckQMko1XZr0mMBiKBEERBbCTPkvPXgLLyggRTUiyQmMgPFLr3BAsMggkjMmH4ZyyVWFcEd60WAp4qPMxDd9DAC1paPDoUMbV+DGTxdhEXsItLyuFJEeZGfbdnxWJDB/QRGcQgajZHE2SgGkKngh1Vip+UIw/kkUu/sUo6W6rTfCW4CuOT6oGpbKvkMEyGsukmvyAPf7zmgH3uuwfR2/CdWmAVXyRFncCyKd64MEZqb0VpoEFy0t9RLmGiYQY3yYOFxZkd2DXgB1c8YkdiMTVTulz4wPQHEXloS5IJ95H1cds8VBKjDoL8AVuoKyNtKNw422gOE7tCACFK9Yl05F74h4gtplbpIdJCObHpTmZ65FqKX3SeQIpMgFJ7JOfbx5IUUnHx7dZTyfgAIHFssvuao5RGBy4gUBsv4hp+HAAUOxdn4aZ1PGRivPYt+jfN9KAMzpxDCqfpNR6gV/6ARu8ctccSMBP/Tq/UP9urXOLoqhMNp9jwC4f9k9fc7s8pT6ZIBuW2KLRFuoiCuHX6WiOYKx2Wpr6pRIhunI1Fuu7HLevgHk7HhAj2Do2ih1zoq2gnL5RL/vS8UPMpLyrUypsyBSpUqnSS2p3eB2x5w+oguLtw9jub+QMDI9wmGEmPAFIbRp8qIum7am2MV5tbThUqzPyBogp7Uo9BgIxbfk3wIuT4nm+TL7CDpy9LG3lYk+lOYtqNTXZj1j2vrW77tYeH6MyrfS4Hbg06bXA0hjoTpjrxMx+ydzKNBgSU6EIwBybeQ3Xvmqu0JZqPMyO/HO9RJHuLDADDX8Ze7UnuIZp0Y8WDoE6zCTrS56bcXYlwEqiu3u4eipO6peu9Z2tH33YLuRwjXo80hLRLDc6qYEoqe94jqYcJ7dQFW2Uxm7TBOkdZ5ysxa4LCIKOH1Vkz/W2y+rnRRHcK+yyRDHZDbM0RZH+fTnJwlqN/QbrpRYLAj/Aai3eDoYH8XtvgzCR9SmjgjYBfzWA13eu0tT2SVgib+FnJQRM+cDCXwcRR8nEXZ1nDfFaMaRPxNNlzrdyu8Lp1LMb4pyHzVgIWscbVttEREi0ZgHXy7bXKDFIAD9tC6vxEOlnN7hD0E2rFsGOlfbQMsrgnrSig2tRR82cqePgefViCwssgqQ+e8ZR+HmpWkTMIEbIWgKqilXly7elOiwknCLvRMm5RIkGHpPz69OCe7qL04Wn7cukrSoCqvr6++M9l3vFX//eLOJbm0C3yz7OUlDvQ69RloeT4RZmgCmBJr19A2ig02ZkY9reVDib1XdippT3a9e2AhSg5nhn43sQ0pUVrlyuWUORuT5GBgFheSrV+KVN6XHc2PVjR00ywzcipcW8wXFJLQwPSxZ3GhU+R0/FtMph3AurYDwDUrPZs074RHOnJaFl3EOf2ZayOrvEv+QWnDytFOl9ougbYtDwXMiGhWGMRjSsBdxQlbEL/JC8ZisrUwD76V7PTKu1KTX0rhPy5223qiMpSuX5sxClJ66rGbZxrC9mAyN0YDUVkTa+Yh5nItGqEEfCkCoOHKcWEg+AbPFU3afIs/hvuygaal67X9rvxkLMJYpj8BGyRA4ZqEWFL4xnygj/1EM3FOpt/AjoDKoUeAOvhitKhjULhPnEzUMJTItqd5qHpeZdsPNZQf09bevaPXeil3+sdl7oYYBlPW3h6bpi0nbToFjXSNUqHcXJq3KW1gXyumqboMZGVMDqSNApLhMFHzKA7i1xG4YiCfPsfUHt304vgF/HdgtJ1JHyp9LQTap5LiKXipX0y9tEmubkrmWqLB3+qofVpiUIP5+uwhe2plJCVQanNWa1oRGLI2lG8Qd7FuKzYMPmOXx1otKgvdoechIsPfTMWmplr9qg0XUlvrAyqJ0Xf7dNoy2D10VGTBky9DtGZ8zNmplDWonmI+k51Azx35sbHkYiaJlHuWOe448CFEeOHUZaJ23B6ba4KnExbbDSLv2YB+ROJd1WvG8VYcKYYp/2sgwV6oT86WNre33r/VqIF4sIJOt21qPkMx3u6Eth2W2/Ci6MlBtecPzlVmkVSgqOE3Rt95bRhS5990E6hgYoBdUVindWUpA5jO00NiZH5oVmCk6eJH0BsIAnKElAOfFiF9Sc/MpW1BItQ+ztbOufeFeYclLlmzJ8zuctvS0Qq3gKVhNbx7cq864O+OmSTtAmtnQP5oTp8KzvEf32Ht7c9eXehxM2XZKLn2KOFnKLCB7lq3/9g1f6MDSewLHjohcJQGxtYd7sZI5OYoqIcRkVObgiDkEF3TocChdPneV50/bzMPmeVyOfqqA07wIPcC9OaEZh/auJfI3wqvOBgA0K+XQUsdlqZol6Lzg9bmTmRkzdWb02/FNSMMShgBMUJdK1Xt/o4h8urZay18lHVEOsIXmMR1EyAC270VBJlfHBnOyaevg0tUMlQtPKrIynhcq3lp8n8FW0eV7qPy35l5KHgyH8qKVSS04WmvWFzdukiovwrYbuBMkVNBQzYcfJPSrmpa+dKqO4KRZdNlaqUaFWDAXOVx9IEYqAa/B+3VkzsvUb3AAp2t5KhhIUjIW0n+JdO4qAy92IkrZsEcqBMIgbwkrC5i7x9ewmD9jcdsGgJfjinDofbqlr0oeHXlmBVD6iwIb/B/VUNBRGxswy2xE0p7ejbIa+MbCcPrsiJEHmhzES/OhpKy2tVhnrswlOxOrJGb+Id/4qNqWpOK78VthoBZ3u3Uo5Gp8kM1iWqHKVMaaf9dcdS+nmhqAn2z/Y/lfKQXxwGwSZ7I2JNd3Eo0i7jZWL3vxqAfaqbsjFvjs3JEbjw9IgHcvkuEY1aTsM9d+TZWs1ImcWp1LcyqJ0T7sPmBzbTazyfQ5jfZYpiaRxuSX30BbDbf69eh+CwDSKJBWf6UcoyAKb6XV0/SEbDkp2NOHU1Ej4hxgQtCDVUuL43/MlTBlbHx7Ju6H23fUqM/OufQN7skygo3Zc6y0ZUCXzffMn4k8l/kTmAjSVXLCAv2p1s+VETs3NTE6nIlUhdWR5q3Mwwx5+XJLOOB7ahcQ3BXiJOZmqhtDcArKVURNSUhii36ljr4uAj35q/5veOkiCb17iGEZIezKQSbLwkEGsJDdLuzA6gN5JpaD/QhizSvHOx53xmllWKeXImIJ2mNx/i76RM6+xvuEPXhiSOoQcyCWj7A4P+ClPnjTOzOVAgWQV3sBJtaAk9VtEcYV7te4eqJdbwqSl7WAXQYxxgd1LQ0AIjux9aq6X4syyC5tR/yvBrForu2CFRadFRTSfyL512mDPp69s2W2aszG3Aj7ZhNffiVRwhtrFEb9d6KWI2v9p1W06AFCx5+yZVKYCcuxL+wtGRoWXmseGabB6dURWfDeOtHDMQBOXjYjgSvDw2qB3EMUE7wv0XrbbF2DDKpzfSs4egEgEFb1Riarx3gv9xJOxK2bdNPW2foFWRYViZj+Wxf5GW3/9f10t5B3ghwviG9e+5fXA3ws89eSrxdoatLhrsbuNRd1ztHYn+PKtzOjt0Usa30C7IuTdPfjXTEmNttRDIu5KziwPwJQmZlRJh+8tiPIHx5NqBqorJ0LoElxUK4Cg7Cq+mlGH5AtgSngZEDor+OTle2W/U5Ij2AQsRDMygUc6TqUimH24XhidTxQzkYztwCE5ygyFvOQY3Rpcp2p94U7Yu9whBqLcDxn2h0+OiCy/wa0CC/YKcrhMWqVGkz0iO3QyY7ilUTExrjK/hqungAA6Xem///tH+HQPrHa+8IIUUQxhGjUoVzCNJeXJR9/n8n9foiLQkV6jHZTzNaanYs6nHmWpVZ35q9szi","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"}