{"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-27T13:51:52.106Z","note":"conformance attestations are re-verifiable: recompute the report from the target and check the signature(s). Never trust a stale attestation.","pqSignature":"eeh7GrZImWRDweQCmSdmNAKdE7EHmcq1mqtYZzXxzhBO00CPUnLA/oOVj09qSmcFwxYIxtVHdHfi35reIYlqdBE215sT+N4rX8m7hppP+ULHxGSP7ddoj/z/AnZUsqbS8bFWyvM6cc4MXtbx4TyhIkQmP6jgM4eau47RKTp1lCAFe2LeGsCXEJS2vvfOToYgKNtnZleXsPG3+AtKiHjGv/+/OTWPKKMqTg4SWdhCM2HwW+kvM66XIv2v0prHvQfEADD1QtJCWMnkA6dzAs0ktVJVoaboB9bEr3WvvMQ8Ez/YnbIUUTCWHdWADbPoQ5Qj+Etd82y9dAs1cHnww53OLhqlsLBZAR096/vkG/W1n1+OnsA9TP+szQaqjkZsxO3kydTbbFkbuVslY/rMnFpsFyfBvylDkj1RILs4pX1V3d+Jyw3LGe/M3DBozzlSFWfTTXp/601Pf5uuyDfaoKSD2exkI15rzCpJUOn/DbTigamc+YYYvy41C/vyUpWgMlTyCd4rsn5hC8gxRVXloi9oIHnA9XqObE3mlatUJw2N3rRXreeC60OVCDBW3d47ijU/W78lTPUy/yXL6UFv5esh3LaN5lJBCap1fSiuXkigF+ijP91Cl2RiScEE0S3xWHz+UMKbIViKQP3G26LrCyKG3ob1y5IJDvNa6rAZLuFczMHmaJ1APo9cK7awlAdgnY0vHCRmQQ4hfXG8A7macGJZhWda/+iGD0FkWignqRxTd8azHGbMOE+R2tdy5npvsOQbOEbe802K1LTk8X4SFIpgNtmcrg2oRxkUwdz7YcGdX2lQeH4vibkpGnX7rPRpohCm1gObXpsA1ClFrUi0un8xlALbZxKm/TgasDprWyxPrWVZkIhjHm/RsrFJkpCp7TlG6atd/B8jh8/rPY7Q0neQ7YoiLlXKmvqK/+xWV9L1jaLDQXLnQ2fo5jFNIggK/pgSXr2+qzGk3lLirJHDmtvVvBZzEEcCOjmlqKRH8URhgAraTZ+WdbLkIeSomXtDkxjPXsUCYdn2dowWRo5GyCLLzBQ2eompWRwBT59Ciw/kJSTpZGUCY5wRdt6HdWkHkHy6BU3SHcqZDOsOrO/6JXL2CubuhzHVWJlSFW8SrIVI+7HeCAVgpbozbMptC1k4rsZpRKRXBT/ijTE9/fWUaIjQe0iVRyzF6+Wa0Ew/fwjEH4euHanIIVObv1GrkqHw8durZeSe1kRMOTxqS6Ii9eT9g/abFavF//62NFA6qgwnodurMZRRjrU7+HX5tYA9PROkWafRlu5Gi/+nhNx3YikCXnu0edKBI2FiDlWzvpL61rJnhNfmhgPOhGuDK2cjiHJsqWRQgvAugIPV6siI4I5npDBhxfYaU6IfXGSzcReTPSWLTXTxEe2n7r52cMuWxnl4hVwVkx2vAcBd9uZe6G+Ry0zKfSU8h56McGrVuE9bc85Yp91FpPqvfwWAYGjNVZKPKsZ+/mlgNibnJV2MrcZq+NLew9lLLB/9zOaNE3GM55A1dirkzNirWdv9O50mfPyYTdhltx2V4kQkNRXDttDBVZ3+gC9CBw4yeyj/zOjYoCothiv46z7U1XF0GXjSZe0Wmfql55D4DVSZZP7PmuwEaGn3uIDxsKRdzh+b/c1aeTrmomLYsNo7pmk1WI8bR8NAKwFELKn5H9nJSh2tkajfi8H9rx8dhAsOO8q3NxGhGvCoXI6E/yjeIvOJn3xTpfqAzm1JJeIOLhYwHdaThEs92Y5U2RRAioXw8bgi8A6QH8l/i14DgQ7u+qNC80WKivu2Ktw2an8M7gmDS55jUoENj95CpQQTn32RmAGTi1QxekpsFta7UbF9R3khJNvnFNSMmCgxeEZ5GevkK4OZsMpxSmXPAUyAFHjQ1mNdwgfGzIyEO43PXBgTzuhM45srQJwCtYmxrkG+py0uISnqAneL7hIZgfu4WKT7rnSsImhDxBLJKr+afYUTjJASgG55moc+4YuAdLPGp3MObmw0CvBRmEevPoXgrQmh9Ld7MqeL9uf2uCB18s7cRVEFSa7vRF3dGlSuaiiHI9d56diFeyOtjzOG5Yp2qm0K7gNlqITyYEppdJIvvt3yU8qm4zqymjWRGtrCcFqYfcCEGzf939e0I5g6vARtDWCrJtmn7YJZ7JNl8lNCDoZCfnkMeFD19HX5nlD6NgLJxZyWQWOTH8JTSMC5k4ldjppSCwA/bcozAytti4m4tysQJLqIFeJN9eW7zPH7Uh521fCwyD/eLf2ge6am9rkgigIjLsABT6q/YqDrQqJ70/j8hEAQF7CQcytpaD9n/ZBgfFRLYBwqdNmr4rWc81a2ztetiqkoA0bu6x8gjPAWMH6ha8sjuTl+18P6tqQSZJ5I/UtnXi2kZmSvgqU5D1DCPEBXCK3NZQ7oveRiUgXwDyqTpxKoX+kQAEXX+T+IBG9dzuzMgMpxXZkyS0Ne+IxIZ5iYUNENMrqyBs7k4GXNjf9b/35juc7plVJEfRUParSlsuPUdCwmD9iDsIylOFOYUUQRFiG4hIgGwJHgep9N8iR/uKRHUT8aGsxxXyLzUVl3MMWvoeOJ6MFVkgWs40cZ5YVBdcWbdOgrdEsqk5BuyQyAgZrALYEX0gbDpzeMY1BjuR+PrNAFmSV7HohGxnOxe91i3dEymql8vY3R5GOOqFIAJlCPKlowKFRA6FN19+fhjUaux+IG92ru+qZy0s4CaCbuooPB5QmTOYYuA5ISVwCJhD40VqcwjkmdqaljPKHo2dD4iMOi6JMBRQ/0PNqmsF3dLbm+bEWGJwRL5X9AyiQemWa9SGsOoEYfY/4uAvQs3I2LKziU/Ov6bDOiShXXaD78mwiiNkcRkbve9/XgGC+J5gfJUGuPdD7kExvhPmw38ksojVdNS9DoE5il4V0b38kXfzOmuUuby11TTHNT4fX18DsSwYgZbXXmhgynVan68CW3qBn5rPR/6St5MrJHtKw1vSItLNW0TIkQp53Srzv8ysU6lPcyO2B4u5GC5NCFpB74dCTuyrcnS6cCUXwRCvMWPomTym3mEAo2fhe2Q8kOKyVvS9NkA7U1iO0Q/4NaSwcN25fc9y4beoQJ/NEdzL8X0uR9iMxVLUpc65cGbRzPnMAxH9rRL2087emOTtIwUgDepv8qzZhYcSaYsA24s5MVRH5aURUQtKwt+pTVoVWGD/sbdMW0bw2Gy05htjHVrN86YLB3MBVTRWxDk8iQEaWBJKkkCOC43kme8G0GrxGDrM3XXGBXnoOBt7tBl2QXqmPW+Ab0Zhir8/yxR6FWWNVBGLuPeQNPZKH0g0QAHOuu7JMEGL4x7FizHdCFRHzX5zUudRiR9DIyRY7uaCeuUc+JFAHBFLE9K8DK4+bb7CqBMHiFRaNwSne/HAh0WpmfOLdXhe4XNf8FfUT72qpHtm3nHn4mYVEubrwu5bRdSjFxmGNVf7MjmMgDbiu9SC2GeKFUKj5jF+WjcfnG9JB+qBG6B5qm8pmgcVmFZIm0SJbrnBzouMwTdY0+NYFSDnLU4So+8BP0kKrQaQic85j+EE9CApE7IBrU/3mu8kU8oO92laEcLbn4sEEmCRBj/czbfJd6LpZsBCEJduuVuTcBg13QAl33Ngqcl0idbxnz4hGTXXRJxeeSEXUoHAsp7BJw8j8Cfk2H3y7tzoblMdHxu0k+HESSarpWgqS+VS7E+bW8KPDophYtQHhNY4cTzI7ipqi8+zUJUMg2snva7PC4agbh/pG8PkApK/0gZ3La3OLB7yiEl7cjzEE/gxzk15o/27mjfPfsnnOqo064z0y0AOAIgMG7oJJsRU2Bj5jA9Tev5WgZoCZDSjJZpllnb7XmmkO4H98/18KVNc1LMzIcz8KEBcMEkAWWzj2SY0eVHMCBCYoNOS2EIqEGWan8gV0fdJ/KRCwOjregNjHMAQjv1dAHj/MLy/WWY2G9E3hKK7EYU71EoTayd1NlgaSUPxXgvbIpfX71xfUn1jPSS5bOj2ThnuEguHDLHi87vR2aRO9yFSWYCKmJgix1uzg825kuyCiNJRSMvjS3Sp0EV2GEoOsrOn3aBDA7ot3+f2OO80uVunkxzuZUkAbodJGwieW+QIv00qE0PuZuZmXSROduK9kitJ4NB77DSbuim1IuR55lIGzPeJW6oIQdhVwOz/TFH30bFfjSnY4VtqzCem88FLDU3+e+UWDCmimcJWRvoAqu41IL0kzdh+G/HA8oe3F5ohqlIRqlMHbjCdhxQ+UaZ00R0vVJ60jlkJ1UoRhT6bUWZ8jc9+kHBoy2m4GXLRPJSri8rzPTgmsu8c3b5pf05nELk1JRMyxsD7hxen+elQF1u0lqKheVSxxRxs4tEzvuc7V4giGpuU0HQ7rq2Zb0RGbsXjfF2YLDOKUhssw+HlpkY35byOPg/M1nFh9AjSqfizSFMOJgA9j1ord/Sek4o39UTCYs8/zEhw/6QnM0/I/u8vfqJwc7/tFCLGiuGHW6KamrpA8BlIlY4BoBPPl+ZfTfkjpIb8IHbyiKVN+D+284q2ZyDtKPEpaBa+E7J4LBdtdoDYoARpO5qol+RwULcvGBQdnwygkcaMAOnFPkGCwB4Hmsixbp5kOwwXBFIEHHuQyevmJxz38SSFsqiQenklKy2dgBqigQudUM0YQQpZglV5dNMj+XoQ1pVHNTuJjjvqWyBaGHnt7ihAJ0WpsA2RWt88RthZ/uGPmWjnMRBKlEFIEsxXLogl/lB0n1h1bxbucaZ9E8eWlDjYaUQezc8kbTYtZ24CPC6vVEF8WQK3C3dLC3BML68oJmL2RjtPZ+PvZw54oJ0o5tJXL6sgGPi8GihPDlcTAKheush5xrtDb+SHKX4kWdgC5nigylhoyDLbbhciqMMm3yClh3QPAVL58nM3IR4fmv5K8sF07x81jlJbwFQCDUubccoblqwPDyItjsu/3X47W+FtcVQ6bj1qDfe0UdIdkIGgO4ZywvdM/UhCsxXz9bQF82Hw4hPJGXI+ncikk5gEn4LkdKlMkjw5ETwRYHQ41gNsrvfXzQGa71puWReDpuLr3t17S1/0TpLidVVv+ZfFgIHf/6C1EVnxWLaG06ddPcVM0dx+AVy4giZmqMNCjDdtKz/NsXlxa5ATQZ2cRsfjSihLP8DGlvd+ksIIvmKubO6HKO3whd1M7fAyiIP4n1vXFhOs17t0+44a98oCsvNe0LL/3YYPWBVwfs0fI+BqcPF30HsS+L014fMkNInz08ilVn/3RajEjo7J9sQeIzdK5wsnEZyy1lg5Q2B2FjbbzLY3m1+lLtC1aToB96IKD6CmPX8xgRbIiLJptA2izTuo92qgLebGZRoGnlfIeEvPOKk8+bV2RBqMYzaSEwtCsDzkesZkn6022ZpY8pqOP/e6fv//oZRdy5F6NNrxNzGYJAg+fU4Wm7jIX/EG2Ckabyzq3AYoILydT9cWefDDwxcWgsVp2SM2ssOLC4OY5C4H0kjdul5trLGDaob3VYGBIQcZK4CXfJKAMN72tUaZxaiOpSg474Ufh3F0a5XjnNuCr3q3sTbQGceYTACn0iw1tPnsenWMljGBU82jBIMtxA5L4R5e6zJnfPMipIEeDboZ3oLyK1tXioyDigGj0RFE1E6po/ZPWs02Mw/dLz57/TPlueRdYVkvhp6qwBFSuNH+06t6UIDfs83JA+YC4ph9MVbmfmv7JafPNcPJKGtbN6jMjlyiJMwU7wEoOn4pI64CGYQPrbMhtcQ6zQ0H5i3HdTu951MD15XoYxdFON+KPJHwyCrWQ+b9lqFX2fQfAioSHl0seuzHMeA6NbRqJc5UQwwkDUPUZUgggNCAlYahoRRXj66sFjAj1ytfkhXonrRF9utVPTbo8OJ8PLDOoD8VvUVRjXKUdW3SpgZyB2iWQlTBtapnB3Sn7zl42wGeWl7LV5ZLzTlfhM6nKvi3PeZCT+eZXReCeffx7k9W2bGsoKkW+6qjSzFYQYIcgX3c9r/KMqfLyCxv549riX7LBvVEQUBDRMmgLIo7BmHqKeWJg9xCMobmG430/6d/XvSi9ita9KlEA8H79V0Uwa8boQBnoiTCoXsgJP2I5ZE3pctKhcb6tflPzBInKR7S8fFVcAcMfRMTrEZphAnTxbpidkPFupHFyeBC4nhWXYHiKnf4fF+sWHou2OaPbjAqMwRW1L563MK+b2ej+FXrbx0scBfn6uoT4hc3efc6XBT0dPC5hAp0slsH5jatY1F79ZresvvNbzpe3uKDaK5t5XNGoc9ynTNH6lHuEjw3bHrvi3v1xESVQ0CIvE3/5eb9zCNwaeNyPqkYWw1i1gm5VSnjcrE12ac7PyIUGFeaCQp3LtWVRsz9wTL+jkDlEFExTM1wBNHgYvLrQSRQ3GIYHyTICG7j5dAOSxTc+QcHIiICqvAegKIWMwG+YkADXyQXpKsXUoCQh7Al2EjRi58QzguULVDKwMo4PLI7tz5uMjwpMFk1xztrFBcbXPlV12Js7HdRas3SPVbOowcao9XCgpk+Hr/Mmqn188jUwqpTiy0vTZdFoBC+kYvyPhvV1lEG5FCRiWbiZe4RTJILsvycUlsGR8E8EYqKSvZuoTYiK0wcRQJ15slLQKjsKV1RMAGGeXjWpwWp4XDQzsAvYZzh+jKPc/fNqukM8caFWO7jRn1V8Lr2XQR+9WWyuI6G2iPBFPMWTw9fX8wtkKhGNQAsNi8qcxLMvjukfHBdund0bCazVlsCYUxcZf5lAU5ku/t7a7lp7Zsu/PvL7k63VGbUp+6u04Xg+D6tMvmlsDOewY/JIRFQVybdYecUmi+m2wlVBwVmg9VysVNBEAYeMnNB9FWsts3zjUtgIZQ+8yk5WCIjI+XdVjCIcDchen3mTemlhlzqhzoSgI4JjuoKzJcBmMnvMulu0ZP2s8XIYDpKKekpnP4kO8RORFIeEKOhSdTJppKCbQ24hD7cxa7Ez05Of/TsW5UukRuroOSs6NxsQGWVB7tZpIvHbYJgc4gXacRJrGBPbTd4V7as7S+S0MgQNGerEjfxb/F9O4W/yg2rYRlT/oHgfshkUaYQq7W+CZK5H4UWmQWqgmlxuf8+GGmjNhF+OrkkVIih8PjCeS848SCPZSQOEpr9l8zOdBDwqRoImwNZaGnlnX6wDJx5Lx4E+5ndg+PbN/22rVe33c+l9uJLi2L24naSrlsbscxEdE5cLmjb02KMktGm0Zw+kzjFMMjypZuPXqTOBCrHXuHOVcgSalbYFf0x3Fa5qaQlzbJhwNzZ+UqmVfDdljSP3ncjiLKDTbdCL7b7fKCDptEuRZjGQRIWZAEIWSI4zUAK5tKTXH4fpmz5pDz0DsdUduKVroue6+Y5ZH+aOV9rxXmvcTtRnZKfD0HP9KZrINcwKVpT39YKfttl3YhtNOXno4mwtjxGgqmU9hzhufAzhYVn6+3MiFM6CcZUep6jRUNVKAkMXJhNl8+TTWmGiALE+Hm7U270QGEYbU4sfxpGycrc+2XEl/iYuzeVrZvlNboCSwz7Oc7tEzUUR6mam98q2NxY8ZlMo26JQg5Fex3UXAmgSR90Aw1eSgb0/RgE+vOtU5LWAsK30DtvqgJOuS7p6/KDNJydWIOakPAmAo2w/MBIqNPIifVw8xxVninWVReN4rJARAi3jdz3atyvJ1/um+pN/MdWm6TB0DbMXyphKOy4rNUg2pkEDiLcNjh1FMruQeCa8DqwS0HYmWvWB00paGRepUPLgLuCCd3bgjttUVuo5IGQHYg+bASj2/dv00kkX2Zd50wRfse0nFdtGUelLOaWzp/hDF9rmOgrLrbtZcTOPwLXLaOwLH8/B27r36GV0+x9iZpg/haBCbgKkldqO83eGUZtIUxQFtsmuG9IgnpsDuZROXnaesubBHCrGypfm79xno+H48PzKgZLwLg//n/9pTY+pr8H/tlDDhVtjpfUOPV7fDfCDwzyTapGWih2k7AEh5GJClQqzSZ2GUlpoAIg3jLqUgcK5j6NFTLg9sDmy5Q0SB3Tlox9kSBl8CtKLqKe9uFNUoutKIQfWBAmtUCC9RXv8v5kb0xzUPsQcQK0s7/oA8WczAcMyd3J21rufJHimCTkPsrBBTfSEeTSGKccTY5iRWzIw1DGQJDUVhTA6MVRrD0Ur5p+iY9F4idNDtt9LBHLWL9weV7uqiD16iMGy6RnyNUvKbjH72ZAaa6U/AjJqhMA7KaI/s4LDCUoquZcLCmlaAVAc99l+hxrGa2g5O86pQ1dMWP20jQ/DDKMas9cdh48w+noPMzaAW91gfzr9TAxkaITYdIQFvd5ctmaLSnlBEk96d+Kunkd+RD8GtU3+8/nrF/9I4QUN+M/ZQ3vS95QOcIBFSpFygxNPqMiJPYH1aVUxddC8W9SIBQBtXd1x65gqjikVeYXk+0O154G8lxCEbXdgTLHUEgpLgfP6l3f0fLSJH9lutmDF9X9TJm55NEXcBn8yolLARYVRZ6TVqEjlmYg/RmTyEit2zj0C2hQ3a7xvgHzXKXy9887GwSVlIJBnE0NQFNhKdG1T7C/t5i+dW3xT/V70ynz40Y1qEIKn/J+sk7iMDKTSyMEUWlhIA4amPjmOAH5/AlH0lb+KwhHrOG1KPDfdlntZ7TEp2w91ghTy0s0tQ/2EB31qYu1S0vz2Vye9XF3cPN+jsrma+ER/cSMcPWMY/wajTq9t6u84MQEuZmhS/gcmoiRbp9czOQi++HwqV7tiNYlC1kDX8SXLNFdWI4u+Q6f2S86gg6ywC/LGwTIIGrUNZ3quWlFBgOh8JRbdbPU2Yccn+knXuKRBMw0VLag6GXjzvPKSLBWqxcXpionor6Pm1DJhzmfwza6h22CHHtKOt9SU9tRIXUUyJpnfQrSE/wmfLgiZKSLSz8kKW3QKaZlkH/RT8rfsrb75TWVF3FLtK6An4WTspyZdR3cllmdw3yJYDtqD+QKkMojcp3wUy/RNMN1DxLTuw/AIKZDspNCHYuPn56b6t+Zh8NLVqI33cFjy1JuxCLwiGTw716y6tpw7SCHz8gbrOnnSQbitIvNfRlv1fIdNfYesu26KiyBzXQGQ/dxCyWfM9DMXQj1OVFotMsUiKKYyWQCInb9mNOVha8vL8KsLNBvoJOMXVq9SvH966+xnzwRzWImLm1fVTjD7eHBRGhVT4Z/xh6SH/rp+qvXi02+klX86PKNq+fVCntqHQL3GSBwP02HS2N/O6WWIEIGffjGDtsG07Ujz7SIAnCoUIfKq1vGhj7qIq2OuH0C7KHXFp2QLar30shGtiBpyNpDpe6pGj/BCork3WT23/vO3aVgDaVnAfdkOEwOpfJlrf7jNXcUiD9ivfFhsMD+3eBcwvBzGofDaIRoai79VY8+esUMQFQnKj+CZs1+ozxPTiu7i/KFwRTXF8eqLI40ZuTRNWqO8ubWMusxkBU1+H0s7jVL/CCokOxALn8nP+9FllXoyfyXqSrgkabT4bqDCyOi5M5hAGBTKxAPXITadDL1bPl6eX6oed/Tl0xVq+kI/I8EC1yTNzO6WFnzgQZcJNfx6QiAiBo0UwZ0OB6KB5hQLKIp4OZQCizX7G8cK4MI9KB8uNZzopOeEUgFnQDHKXLJTLuTsuX6+Nqnezs6ProTE9Hh+wC3EDxmtLor2vCtAa3zw2DGTYojKYaRiJb0cbNnxdl4qIKcDbeMV8RYD423M+wVUv6oNnfSkmAZxafZPDq4NKHlNU7GwdKaU82yaYdyGiK9zjYOqrjUmSTasP295yWs0xrfmdr5g8vA623NO7DrDPWvD0gN2k6EhgRTxBv75O4V/N7So/r31X5aGEvAbsWMKE5RIPwpVOUYRYoaAYp5p+zA+vnn5uaZuQRrPcxn5ATulo1ltaGH9u7MHyqevu7zc5O0je+0F808ivR0W/dQV3zAIV9BbtpumHwQlVkYSBplZRmkFROyP0PRkkZSTqVtJW98BJ5ZnZnsy3eHcHfEqMnzcoiC4X9vcS+uFqEjIX3bV2zeZTDZyODmYQV8HMxnIek7E9DGOoC3YsfIZ8tHrB86o9u2X/b3+oEZeAuS5CyjSp8rV2qab/OYRykdzjSZbb7W96lVI9u2Q8pw17ksaPWT1mQWj2Go0d2L4U7ISXZfTsx+RsGQaRrKI+tX8ajm228RXe/XMokFJ9v3lxqP8ePPt63Ym94Bygnjs2ApqtAbOOUOrEQA084uwkELc7lLn7n6IpiTasM/QVZGf1sRTQ/wtNV3o4BmQSorYXRwJwe7mAvMNO67nXZ7y4l5TRIMeOp5NNGc0j+NhZpSudFkDMNrOHieUuYut5HUdg62fnB6ikwpxLySmKVFKHbaWFar9f8Tu07AOxx9U6asTipkU5OYeMuNKWGm43wJp4g+hkSEvwR39UyLW2mhUu8VN0b5a3yu0MWTCm3NCSUCd32BtEZZ9tCCPmOkBY4RB8EcW33h4RTkOgEkWEAKVL73sbxTBwoxd1t/pEmEwm6J6DnC5es4l6z7Qs/rP25SUN6MNi3MNYkkWXSj5i2/Vt2W24ar5/Acdm4N/tdISzenKFGXbjaMpbf5gVqA/QADAhZsIr4mps2G3RSOi64L9fOsjs7iJ9qhAOfcNqRcJJsDohgzlFuP31L9Z+S5uL2YOkJh3lrVxtFA97OS585Zs36fZYQ+01YSfx2al3nQ9GG0PiwzvLk9zRHaR6DEffdSxEu8wvB4L49edP8vCPTWQAwCto5mOTTZ0vbAvepqCmt8QT+Wz5+By1Z4hQrpo4I76tGh365TPZe0vLeYQrAS4GNYIPyqxOV7rB0IChv9CmpKzKVVs+puNjLlY9TSNugH7XqxYzqxZwcUY6oAIgU5URw3kIaMsxMmRheTCF8y+g2/paRZL4l5jqsNsfbTxCEVMgDRIpWkWcfW5AHVvgkkyf4GWO7m5utJDzoSkioL+cowoQwxM0e7F1H2qQNCxs8q8zj+veMrc1SxqHCPcgOdOtBaiCFLwCrTPa/spX5dQZzaaqFmkcC9hSZbIlCcy601n6ZgXAUTCb+HnknhRbYiDmSN0gqA2KPsasGgHAiTWANWhg+6OwAtfMz4OLbi0J+IE+8Yt/n1mr3lKnqsvsb+PI51BViZL4vT1D6YVwS8HR0XS93iqC9wrqhJFF3YSX3h0NTKsUmfEHkATfQKj5uBHDUxHBiSJF17tTSxVsjKYMUGvAxmNeqCwGKmM5SPcFmcYu7XZHepx/z3etqfsWKlR4YKcOYyxev8GrxOk6fibP1KyxYNzBiMmqYQYyxS6L6XKRIRe7ClvmDaXIreMUpvgX5QsVqtkRlF/uS3L9ztmOnkU/UQvHDVkHvUvSzgGcLBdJLqZafcA3MICShDFDzeVRdRcAriBV18xs4lr7/FqzQDHqb3nZLndzWOaqQWo3s1YXzNUqsBLDcZec9WiENa04AEXM7QYsIxWV+ecCVFK+HHAh7YnxulsQICif4szj5MjCfvn/KZh0ltJdiGJ8dvPQIIYRhT0FcM/29V8QjdfLLIAdePq0V6n6C6m74gvTBOun3EXFu+dfry5m8+FcPTcsopQYFouGRAp2l3Gi/GEt+VlL5RVsuZgaCd5upb2weVvCR4xstR17/bl1k00rR1BrA18yMgbOzfzIOQ990uQWqW9EHC3w7hd6XHkmAGBGlcpeZJTBfm8oslZcz1GAZdKr0dea/W8GPEonxV2XPgsGiY1uK0plaDowD7xEn0lEQz4d/KV6DnVz+lt6sizj+oWVDuOeS5Y27M0RCJFjaiUo7E3b31n5Cd+2+8RSVqvfqFln7gUtkb339HGKLnZ1qsFW7ulK0zV5dGOYtPXQChwgCKN8T3xtPdvnDUUaHyqlw8opKZAttCpRXxEjhX3toF/N4ADCEIaPGOrBeq10nMzCWPH4i1ekCv6pcwxUWyfAJtXp4NXQEtKcvptOlb9rQfa2fZRmhRdZiravKFmy18K5FckfY+O/MCKlNR9wpRbkDF7+zZAe5Q7fun/43sq5ASuVnL94jN4QC1vGljRBCFY0x1ZaFRP6hA+BNkVzILaAHaL/r7m9Yx0fHkrXQVoGoNpMKJ9acYZxjyUkW5Rh17UPKl/c613dfxXtgpDZEgC4HsGhtV7vC5TuprunZX/043+q+vnnjYpJUGHDsd0NFJRTZNA7syWoS365bLjMVkfImJ5sZgC8my2ATrt+kgfrWnMNTC7+fjpBXCYJIlVKMHGT1ZOrpSH0f9nJebGFeCXWWmZwp3r4Y2PnaoG2RhOrIMmmPrIxNiSE82zmTxdXQfN7w/qJkCV3P8yBKVhd7pCGiXUe4bLBaMXr5zFwjBSZslGzooUcn3PNJ0pBfy6GKlX7aCzdUHnnKtYDm7/lxiLys7ZeewW0jXKaBiwgA/KveoTZV6NAyHjbqg8EbhqNQ7ATRxwYvzrtueffh+m4ET4pQzpVV+HxZb+w0ACdb/LVPMpHoLE1lYpldJV0t25NWbiZrgPYaPMl9/PCXsIAM6eNUF0FspAAwOZrin9uKeeW8oSGkqpI2Z+LdLPYLYd3hykpXsUn14pRwv4shSoDak1JZkNf8uAJoQSRIXwm52mrensK8hdlb1fZZuFppqO+OhfGAv7MMopX4KB9B4CqDN5gSNAZF6ikic3B9577207CSGHhnYFu5vxWDp3/0pTMTFk9Q5x5XFqylRz25VqsHq/9ilVBjY6jxAWaojNDgfFFDo2FSwppVdZBDs5nxyetkR1Oq8nRiKFtQqwbpYzEeV30FXbdD6t2SeqzzowulF4paiULy9r9o6K/1un4Gw2XpJGZudT5euYN4w1YCcNO6n4oq/cjV2Il+m+oS5/nvXBjdMHXoTFAJnHnXdXnQOfvfnoxuZ/ohqAtqjlXm+7VNQ0DbzgPZ61x+Yp3cTaW9aHW+lG3aiXcJSEyUz1ItsUcxrPQODK3JWTgzTyIiPwQVn0Bcdyn6lx1/2TkLFkI7WXNn9MBtxYzOdzfpxW6KeJ4Twv7nrTU4lsB10P1/8A5BpoTfc7msJ6gLkKGbewoTmaazuBSdNjGkg+oRl05uMbjcrUF0cj8T/1Z8gpoL17Ki+DaAO4lPgYJWIlotHVx60iySxnXDS5frI1d/8sBxFum9I/RHvh2CGHqbbaB8DheMA4VwqMbur/v9aYlvfghbQdiJqyH6K38Q142DC1gvYFdSo9yKGpCwRC6MhOgNcrG1FQeyWqZnuwlCSjQybWd2Kwz6F7jgNCY6jfKrOEkyhSxNcsJlZ/zXulUsENlbbT+/hUW1ptnczy1K5Ys4jhBi0/POJUyNFqyWnwUVuIU6O4oBoU6wcPVwMtXpfa2dBObCDLbgc3Wxess3rxAdvChBuFupTQbyPrqZvK0zmJJen4RgKuE2HHR4UbXqFgaZrJlEF7GIaauEqQnOLzxyq0TjiByItD1Otl6HcxrL4MxZHvVNh3E2Agt2dNwSefXB4XwDSOqhjdj57ljmkQXVPAz7hdNQKsjxW5ga019p5T2ihkxh86Vh5eiMVFL6OGfKNDkrjDj7zzauZhmw1f6tIqSojU29LRPf7J989GmeP6kW01tD6m5UzN+alxM1beOjuRFRnPeP74deI2Pd52POBIeyGpjZJfCzgjBRsIowZLe5tf0HOqQjk6PO5U6kYzcEvrFUHGtg2AC7Ul+vgCO/1pUlgmvLDb4iPUYcyotXGp9/5amLN2XB3rUcTj7uYBtAekuQ8jSgyhflIMSC2Uy6Pj/IP7aeZHJ2aiXMEg6libTEkwBuUBvBRZ+NynSTzQ17gYvXXcRums3FpBBwJfI8zcFLtKcjcem5BpejHAIq2oFByXtIRMp+90X9xhkrfgXh1bCxw04fILBOOUstFGhM9FMTkQBWyHkIqWcCzs1WsKcXqZjAFf8CUMWAC0owJBBwSnTXzIPIVBII2+TgVrUa3zGc5MkV1zKLiGsIiaEPUhHlFEsHMb2cNWXtOluabioPkbw/mA0Sve4uVLvVFMvS6UDTnjwukXPwLZXfmrvDeXqWOsP4NEM6FAn2MMb0WrBGhbRAdRAEA7ylgASBb8vqYhpaIdrpmcEg1zUaJ+AjsiyubtlSH4fh83Do3wv+onsXnWZaVwjuLOuZL+bXf9KRc5hfLiWhQeUtR2uw8J+mCpsFD+PW8zVByIZBXx3DxF4L+5AZ9kVbdkFn4jMzknA2azKwi7cuTvCcpCFnIo6PW3ZTLBqaZpLSZ8SDX3hgIlsdUywlOWWWAVzYvGOdY4h4gyuM9rm84CVLAEXOJylJk6uH3y0M1VWHa1pQNVqnkPhRwQvmo435Afli6SkeB4d35XWbBQQRdzx0rTvwxqnRzNqquGLAa4GpXvtMfMfR1BQRyPj6yK+84GWeyPPhlBFYvxKbokQH1mFInFgMklh06x5/QZg0fapHXl6tKvJ890ClJoa8I3Fy67D0Yi3xIPzANioBYeYr7QIEHtIuEP2G/liSfUYIZNoc26Ad+j3RhfAjWK7HKprTjkAuS7jnNStuxqypRQYmVNZuUZPWexws5Mr0VKduSr1uTX0FptuV410P5Ev0p7J2acaW9liogMkrYTB5yyhfwmaI8MkJ1QPGiGBPKSV+xYWnV48KeaHJ0X/hoYB3cHwWCkVc355QmxCCEenZ4me+FH3mfdKZOVEjZCVcxwfgaXmiZJ9DSMJCvLkiuRVpMIFOEHSova4nJcC3r0+WvoIFjY+/U4oO8OQDht1TEz0vB9AXgo5/7rrqn6v1PoYjm84JStWkuatznFDBNn1EpFIZVfywGGozOZwRrdT0WjDXQzOb5IFLbRNv57c4j37ilmKxrXfMniyOhleAMfR2v6jxTlaXVdffLIt6G2B//VAH0XsLRE+mAnmzlb8JABVP8PKrBCLlp0NJ24tCm8QqTxrV+BA2J1SO9cHA5D2DuNyxGvnP9OXWvdpiappT7yTTgW9IWQs5J/VoBXLdmobBNC9IUQGOAyTN1Jm0pp1eK4GAfbI42vd/FJ0V5eb9QY9L/j4McN7PPaHjdjObJFxn49IQsvBlfJk+rL9u43PP4W2xRAc6k9ZqYQNnmPhBI193hxDNa20XAmy/GJvRYbz47Moa4LwsMEDokLn549fdq8RV01e/6q3eFuXA7wSKPVwwGwDULxnQaTjQCU4lX31y28lUQ7T7feGuc13k4jvIrDA26ZpcX1kCcDDJmPPvbILi4fR7fvqJlzc10FR0Ixjc92bmOfeHRCAqC8gneTN3TtlrjUb4EnPD+gdLKg+z5RCUcOTKqOK2L7rlxw4Y0DkDyu+QdZjVcRoNxVykvwZjXa3SUeoQMZypWlVibXXnO1+DFj94mBnsOghU8FgIeMykdFa0O/UEdhi2AOQ+O2YucApc3hWB2qZVJNnMblMPiaxnLVPUbobrCNFM/UFraFW87wbF6S/HG7i6NegILnsP7zh+/71e7Ptz1Eu0gJyVYQMav8ImQyPC5I9Z2lVkBuiz8fvQqgHBQZ1DvgD61aOnxx3Wc/+8GQ7qKiY5JCVWRUQFBG1a3t9qjFnFcKzPswEHqiaYE61tSGdXj0rU+My1UPfFbx/mNHXLnXhDVT1t848cJvw10nzhVFHpdveaYie9y5PjnbyhLD5BiSfupSvzUcVx9qXQOyQsO0Rm38wiIMrN04KXlwFT1pK7pH6PzBrFJ4nqrfdaxlhiVd9A++RohtHE/r/pkKdXXg0lpi/dx410ByhqC3IJ+E6FvqJk4WCLOEvNJihJ500LlbY9pZxoLrqAO6JPDd+FEqctFFykDwLfLU8Gz5VGG87TZ88dsM4SdNrLc2qstRYwB/0h895o+d0oFQkAefkyWhDanyLDeo7r+cDZpiM/d/iW1DuMIJmqY4eXvmNSQom1OfXW7WXR6GQfQKZuZYQ28WrZ60K/MxtFuDYoNkvDuN+GOsxpLpBmGFWzHYbA8quGeU/G9QCoEREHcl3uTKy6rbqMzBTnQ6ej6hpXfySeUBwuC+mZdcgC+x5B1YD4ebbY5xMy+aoHhcqMKYljvnib4Ge8YsAp90xfk7JFX6+xp+9SKu7bI8U39PYuIh9Mt0GmZd2meM2jU+hCJb8Hx6mHk/YOrCoYQSx6+oGFKInT3iHIQJQMyfMH7pPLNskEzJdx0BDqFycZPSLUUzklWFjUqJHR/UgXnH5c4iYbIJznq7vEUA6BxAVSm7yxQ1lZsI2PO+a1JSYRcO2MN+2wy1xeT2srcnE4RCEVmKHtuZiK0gn0Ak7daPv7fnANKt9r4/LUVdCN+w4FPKE01OhByB66rhYhqJR5G2IfXbfKHJx8/L0ORi6M/1gbq9wmEMw5JJlub7494CJOmLkYgLk6EJzDD0L9S5TPv9Sn/+ApweNOs5FZ5ruaTV8T+KUn7niDTTc/8UmU8befGgAqZ9rCaTvd/ZzKCVc+lXaKAIX0sOz2ivCJIaawbrQgJ0cKNONcEVY094rYC+rOjDL4yG/ZVN9N4rWRSQMyqY5TEe8z1HoH2BunvkCq/erDLK4Mnh1y6oHtAHHwu0ZM7IGpcSY4xPitNRilWsM0bmAnluX9VE3ASUsgTwkdhrvFHaCGRNGekHXvrpFWds2j0EcnwPlW/4NdhL6eXneqmVtaqGY+92lf/QaGfsiJNQAG1jBSMjrvwoNkHMDg1de9RbPi7kbCDyHVOvZG+bx6bH0pSrbBnLzGUquwpbsWHiR0zmUV45hrFmlHmw/D4xnDWparAs9r/tP618Cypi40aBYABm4OqH1GsTMSB+y01D/OtQGnUn9+Lw15x0OP6Cd7LZMC2rcMSLFGd3Cte07hOrymNFGwmqTDgOY+yBSGk9tdTCGBbvkXKvcI999mQey0jiYYwqqjCsraQci3IIjCtfnD1oR9CJPYzkc+nR6FY8JAw9wX9A/l4a4S1TNY0RASj0Pon0WbYsH38Xv375aZfPF8PIwpq4sa+GVgdjuvcXnvIXbUJWR/zOG5xaduzjSJZ2i39trtMuyExlLvEm6C5ZmsCh5DcS6j5nnKxIh4mhiSMZxySmmIzFXhBKYXIiz1frHX/mxodAa8u1QrLunFVd8zHJebWfFUliFuchbaS4BXh5+BaqR7PXPHzqsXgFtMWG90fAExtWWYT+KVmDwn0z0slM0h9EeY7G8Tb9y7wt5p136Y3cLoSCT6XmXRiBvnos8YHDRqlEzP+q63KIs2aZQpncVweB6/fJzwQXatXv6NCSO0w44ZYAZD4zxmxPhPET54z2Qhm3X3zLMwcBzHfocWx/fb4Jqx3yyFpYGH1sapUEteFa+97ybDyfZYd5SoOwe8dqKyeIfYd7zRLZDJtyGfoiTJGHybSD8XskED1CACm3rp87zA8tKNxkP7kxz2fCclGgVTwaU4dJvZ4lODAjQkboOgarYcUpZdr3iLAedWXw3ZZw9aapt9q1Fj77ovhgZ0nD2tH6oqyOKSTLU48o2Bwu7J8PjBrbGGVR1ee0zvyG3eW9TI0yqG5bq3dMM+KMovY0Zrl0mxEVC88PWRuyH2Ny5FJONmyql8mR3rRSZ7xzi2BXPUAGNC0voY/0pkkplCMbO1DFrsCNTpXl05l16T3Oct+lht0BdDzRWH8pCcKtnCGa+1Pq3G0gIUE7twylCSKIA3N2Il2F7qSkpG1n2D1YaVLlvgOEJ4k0eTqTCOLyMMHDeC36N5wYbMOBxjuRqcISX6vM3zFzLF9buXuLOXZgUXnJ/nmAKCPM8s/xUz2M5fE1YquwTPBfZCkVhWI/hVugJjAFMY3AM0Me5uesiHkm3ZORWI6u8y6P+N65YUpTegNvU19bHQc6DksYZKaW3YtgyFrphXACwkIYPA9c5YhbSWGYONscds7/sPsnuG/gcYGYhosmJCR+961NPFkHBv7WaMreFULBFLLKHKKM6SnKeac+VzpOGtpw58o7KaiYY8AhUvnGOzKqLQRzXUEyXHzohX0vlzCl+tKYmB0frfAj61A2oIy/72nntNdi/C2kcbSXhtNRg6S5VnsW5fzJU8GbEtC5jyB0ZlPye8Ak8uqxU4uKukDBrMJm8xz04OpMQDgpw4Rw94/FXsolGlLetMvxnU+KYnbTdQABZsww5SayrTZIJWXsDPbog8z8FIAsvmFhngCgMuq9QU/6g0W7mx+9BbjgVqWwYvzWj9JIOn/e6/0WIH1CplYz8nIypwbZ2lLRE+dLxDYrHPvkzqAhGnoiu1OkSrVSUeVZDFYiD975vL2dB0EQHS6sf++c45Ls33y34XrZ9Y0r2a0KXx6+jo/w7ZCV3FArBeKK/Zubb4sH8zLFs1xTiaotBy7KvjbHGaYNsp3wITKK7uWLay3u1IFsBH2/YYIC+fdzJKJlrC4PmZa0zFw8d9yGxbYAix7DvEsJZ2+yY6M4Fyhg2Litq9O/6ES30mFt6mNd0J2sh2lrDocuYJl/j5VHIjl0OvKRUCKVF+fDYceTRa1+ZbU4QrT0tn2vErNBsojshELu7Nv8oiDxyD1OFKTPZz8Lt+28cktmY5M2euIQkAL4655KT7vlveKM10tj6bY/Bf+1FWALcMKe+UtCFzqgLxbN+JGs4zCNtw39qKM3MW653BNvLSKaRIOH1tekz1fNwCaeUKH6aImXWsDbv7rIJSzg0RYnIUbNJkXkLxsgYlqsEqllYl1UyAcpCYass0uJ4t/K74WMd952zbo2QoS8LnAvhzwjNhC/Xf9c1ikst4Hrzqb8Fu5qUC1nL1LGrhD9tkbjZcvWrlrcuqNs2r5sdbbUrzLpJQlcIZMvU8YMp891ThA2/tiJz34GiChcbLoKdcovVIzJGWRqN34SkjYFe4gIu5CpFkFGyhpKJycOchklx+0AW56ZYSxA3+8yLFqtlPVzwQiE6zjhldsJaZRmuDZ2U6cw/ZVmDUtM12x51noJ+rckpxNjhgSZfMtASBLnnRaBOZJDSdPjj43yFCxxXGlvQji5rW04Hg8oAPC9YqAovhsphTBkbiUZXxj6IDhw7UM9C0XlTtg0zZIzjRsY5L14xho1+oAGA4w2l9995PuigkIvg1Uzc8q0vcv1IWkvPtNxrRcHin+M/G1tGuQtf6w22Y4lJOxI6wBHg7UPaUxTamw1uqF4UVRPA4XPh0lTjq3Tgdndd/+IcpNkEoMlBrCro+5ifaoDGSivq7fUOL5z4fCSwm6z8KOwyLvFQ8K51v5inHS71Ujb24OiXE6BgdTR5qgiD20FcAG03LVrpyxBfFk305TCFMFJ6UULDOQ7n1kA3UPkJ/bf6JnxgvqwTxTK9C6AidVy7eNJin2/cFKO9w1Y2EO9IQqZMxqq37R0pN5nJVuNZ9IKCeLht5C5ELd8xsqpRtmmaaPO4q7v6YPsSqdDHY2Rw+CPbPlqwGYKsd++vBfmQJLxtBiOVT7gU+LyjDYmRJyirxfnUnii5cOYh8MweNJqpCsSbLn+0HN4KcsdaLscPvtVlSaQ+G89H7diw3lsU9eFcgaPRTgMv48gi+4pHM30FH+E/kG78kXub+ohwnd+/UwFjoX8ROrd8AWlqTFX5jBRFNAU6pklE5uB/Q9kMFcTd9zGe+Zx05Uu6FHnh3BbPcAOecXvw9eaP4vOHq0eBet2iPIIAu/3Q+Pu+goYziuCIzmQ68ZR/t+SdWbUggDa4eZGIqIXL81e88OtXJynOJSzOIdU00iFzYLNlUsdnNz6l5tkCzcp9bDEM/fWpUNxYLOl6np6/zhUTl1We/TrqjcAUzWET/VXGlkwIQMdpTdjzflOeLtW74iu4Pt1Zep3ZHRdDvZ74GtA8tRRVuJYzohiQfWwKs+DeHQ1MwtsDjsj2Eq8cJx1+pQRXy3A3HWWjRnCL3BQfe82ok1Fdi2lnKA6HxLzu0e/VEaihAvoG/ZIQTcFj3bjn+e09RVLG1Fv+K9G+w0J7gxrh6x+wQeGk3Z8CX7ebIav2CHWu795HMvnIka4kLUgVYtGMU7MhMeRy8kqYuyyzEwc8zwF9BQsDViwGpZ5nzT4VgH72TTgm1J2LK84DGNFN8jN/bae4Puzpnt66RNFY/IGVPeeevqh5wZuf+N8f2S3s0GIrFRrx+JGRVyEE8NQPIosl/tPqRaYOorHTRBR8bt0zK5/7w2XQAjXqdOnect/jJ+e2LZ8dq5lZv5mLz7vnft+VEGOumLgCt72P7RvgcIAAGxcO8itK8MCDA53n2rwSYxATKOlbO/dG5lDdbwScKXgl0sjflVlt2Wq85doEUrhvETW1+gaUVmY3xUlSf2+yjqux6dbGxuHUK+2HDefZ9muQ/csFbQu/gg5kWq1F7HvHnv6scKREgh57MSXe3vf7Z4MFrjyxc14X24sm0bJYaGLZkKm/GsBkpGZQ2aNLUeg6M0zdV3S0ZOS3avp+mptboqqzVxa5euffToRan7PBuZRB5SeLH2hmBu8IEWdCxWa708YWTYYakBmeW+OVYJV+gctEKNMKPegMcRWxthH8YLk2CDS62sgvexTJfJUt9QWoG9pufqUXVIgSRAZ1Px8sfFyQ2yPamGUOHNLupKxgGTLhfi3+dxVkZo8LYFHgCLEEp0BFpmvH763dkZRKlX1fNRTa8gkp+ddsOrEJqhNBtkRXUlpXcO1T588S/fuZ3kc/CXlkun38u19/iI9W83GcyrM+Ro2WOBTTvflfgEIQS0IiynlqBWJiBHjCmS8d2D63gr48uZGNXseV2d4S1uIY3vejbCkCkvkdjekjy8boeh4HqDShDCk19NKK4d9KUIsyutEg0+oka562Q5WXwHPhrVsNo0x4z1LeebkE3dhT72QVw6f9AhM+DbKMLQTKIJSbMkdofh8t/X7B4+jcAEnZEXvkqZOTRuGvmO1+9T2dNvnTwuQ33PhTE62ZjnYmL8jmnn4dnQ2GwE1Yhwz22LZygDh61i8mmGg0WjzcKR1BolDkDoN/Q93SeFv/ox6LFppyhVnd5XoSFTaIu7u7NFx9/WO9d4zBrnR/sJTgk74ZylyyAT3V3G5CCeSBFShMYwgZsHWkgKYqdNrqmcd9A+dBI2tGcDh1R5lL2tRI3JFlC2R3gsqwVzx66BdbaVzJEbpXecjubgcfpzGZytYiI3prfA3G2RZdR0/WOfL1sCsKjbnv+5QkbWe5/8VJbQ6+hU0pOuplet7mM3k2EOIiUWiiMHMhxTYa/wu0KBRn9LYqARX1CsSnVgdT1S01WtyevZMrGPBct1wpdYWISD/Gxz9s88EMuwg8+2i8UamJCs+VBeReRxpNaJ3I0Upd0oUnfb0vUGNzK4ZedlnqJLemtpre6HADjQYX+ZsXDBd/BeVTVywWEPkOSGzvlY6tq3rOFe2SKrT3K7+lI6DIkorYu4psH/2TXXDKnLs8823VmBRV30zHmHn4JU4ge5k4SqW/Khcee/1TcYJ/Vg4T2rKH2Ye1vzcYRacHdopNiWqGgSRUGmJs71DQsIGNIWBF1Bt+BJpwE+69rgdNgR9DnIwMkIPrHE9i+YQ1nuSj2lXRYjBezUeG9rKj6TU5gISkbQP+oyVGcxrmK0RyAlmc7fxWNgVGkFJJrI3vm/Lk95euQwViFVFI+xO5UsENBgR3at6ZDc4mBNjCATCWrQeTBuPatMQrfP6XPl5l8bkgb1qPeLgm1n7bWVOPwVAd3tJZNl9FJqTwdP5ZACr0f+VfQwFslWXuDBuXoef2VgY1orE+Zw365YKvJ1ouGdZ1gGwlFnZzfOTm2mkkfAi953iXlkutpzvatFu9iK5Lz0iAOugKgB9DL9EpoyFowDUMOWfUSz1vFPmuFUJGkwJQwJTuD9rWhaKI1SkJFRs2k6PKr6vJ/6ghA53w/w24f5eOfUbZHobH33rLXKIvMnWl3XiTL8ZpSSq3GKV4Sfh5NJxqykFosZGU0spQCKZvDlH0KQtrxyySjGBRH2MLtKVTMyDpuTwQkPV9lRtWNIkmpKOFKCtQPwmS9GD0x5NNTLvA+lv98/r5+Fz0x/J97auJKTpCdYb5h0MBwHSxvvQJ41Wnl7vUFnDM59dKakb17ssL/AxnaEFuwji8z/IrAaxDrPvNyGF5kMVl7NUfRtktgCY/sVI5cSdbwRRcBdqcpb+Y96rOL3yat85g7EcUkOu1EHjiWvUCi/iMe2clksXXJvqYeKsIki8KOvEeYGpsXzECchbsMQBIHxHOKrm3QJ9LNnR4UTcFO7sY3N2KvCUPIRfpHy0DX6W47qH4gDEUFA1MohX71sxg5zzSB/I01RHTX+2/TSBS2B9vFzk5CFVSOur1U9GtjQEuMLwIis+HuzRYTPHHAonWERdJRjw1mb3fiP6YynxethKIyhkA33U3ys97Ubh9EuVGH3/8IIMa8KHegDJPU3CHFeAEb66oajLH+ox8XycB/kN1fA25R/9kxTg3jji/yEC+L3vMT+bRZHEZn/8VLCrelNNH7klDG6bhywrvnyDp26aC4YF4CTUSg0V92RD8ogykE1Cjwee7aanfZ2pm5FeGPc9G75cKeWrl/a4oGPBobLEcBPEWaQfr74u3WuxPaIBK78fJpzpeMm0YWhzCRQ9Hj3FYv+UjtSP3b5k3TcapAUBNBlsLUJzw7pq/74Y9rrLVJkr7IZvOkhRYARkTzqSc2MX2yAsFqUPowdgFyxJC0Izbrer/r/gXo5OCXnbpqcl/K7FlyJCAOuaZGJfh6X+datUEKx5XwO+9VdQiZOkr71pPkrRQU7f2oTpWijtqe1cWeQigKbq+I1WcK4Nvjd1q57OcMmdW6VwXgclcTtOZzveAAAH0ujuy3S7RvHgCF77qc1e/TDgpffXmRtXCSsSqP9TKtTpNe0/Cyftmb1fb+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"}