{"service":"substrate-conformance","spec":"1","conformant":true,"passed":"10/10","failedInvariants":[],"results":[{"id":"NULL_STATE","pass":true,"reason":"no retention sink reached; canary not retained"},{"id":"MAX_ENTROPY_FOOTPRINT","pass":true,"reason":"all outputs seal to one length"},{"id":"FORWARD_SECRET","pass":true,"reason":"ephemeral keys + PQ key exchange"},{"id":"NO_OPERATOR_TRUST","pass":true,"reason":"structural guarantee: on-chain"},{"id":"PQ_KERNEL","pass":true,"reason":"PQ or on a declared migration path"},{"id":"SHARED_SET","pass":true,"reason":"pools into the shared set under domain anygas"},{"id":"INDISTINGUISHABLE_COVER","pass":true,"reason":"no axis separates cover from real above chance (0.56 <= 0.7)"},{"id":"CLASSWISE_K_ANONYMITY","pass":true,"reason":"every real-occupied class holds >= 20 parties (40 classes, worst 20)"},{"id":"UNIFORM_OPERATION","pass":true,"reason":"all 6 operation types share ONE observable shape (51033ab0d3fd1005) — indistinguishable on-chain"},{"id":"COVER_INDEPENDENCE","pass":true,"reason":"rails hold and rate changes are independent of individual events (acc 0.541 <= 0.7)"}],"attestation":{"report":{"standard":"SPHYNX","spec":"1","target":"anygas","pqPosture":{"quantumProofChannel":true,"residuals":["proofs:migrating","signatures:chain-bound"],"honest":"quantum-proof where the substrate controls the crypto (channel, attestations, commitments, operation identity); declared residuals — proofs:migrating, signatures:chain-bound","layers":[{"layer":"transport","role":"private channel · key exchange","primitive":"ML-KEM-768 + X25519 (hybrid)","status":"pq-safe","note":"recorded traffic is not quantum-decryptable — the ML-KEM half protects it even if X25519 falls"},{"layer":"attestation","role":"conformance signatures","primitive":"ed25519 + SLH-DSA (hybrid)","status":"pq-safe","note":"hybrid AND-verify: a quantum forger who breaks the ed25519 half still cannot satisfy the SLH-DSA half"},{"layer":"commitments","role":"nullifiers · Merkle tree · cover + operation identity","primitive":"poseidon + sha-256","status":"pq-safe","note":"hash-based; Grover only square-roots, so 256-bit output stays adequate"},{"layer":"proofs","role":"withdrawal zero-knowledge proofs","primitive":"plonk → stark","status":"migrating","note":"the current proof system is quantum-breakable; migration to stark (hash-based) is the fix, in progress"},{"layer":"signatures","role":"on-chain transaction authorization","primitive":"secp256k1","status":"chain-bound","note":"the chain (EVM) mandates secp256k1 — quantum-breakable at the chain level, not fixable in the substrate; it affects every user of the chain, not SPHYNX specifically"}]},"conformant":true,"passed":10,"total":10,"failedInvariants":[],"results":[{"id":"NULL_STATE","severity":"critical","what":"retains nothing seizable — no secret, address or linkage survives the operation","pass":true,"reason":"no retention sink reached; canary not retained","evidence":{"staticSinks":[]}},{"id":"MAX_ENTROPY_FOOTPRINT","severity":"high","what":"observable output is one indistinguishable shape — length reveals nothing","pass":true,"reason":"all outputs seal to one length","evidence":{"distinctSizes":1,"sizes":[8220]}},{"id":"FORWARD_SECRET","severity":"high","what":"key material is ephemeral and erased — recorded traffic is not future-decryptable","pass":true,"reason":"ephemeral keys + PQ key exchange","evidence":{"ephemeralKeys":true,"erasureVerified":null,"keyExchange":"pq-safe"}},{"id":"NO_OPERATOR_TRUST","severity":"critical","what":"privacy does not rest on the operator behaving — it is structural","pass":true,"reason":"structural guarantee: on-chain","evidence":{"model":"on-chain","evidence":"PrivacyPool v3 0xb1572EB7…D036 — ZK withdrawal proof, on-chain nullifier burn"}},{"id":"PQ_KERNEL","severity":"high","what":"computational core is post-quantum, or on a declared migration path off a broken primitive","pass":true,"reason":"PQ or on a declared migration path","evidence":{"broken":[],"migrating":[{"role":"signatures","primitive":"secp256k1","class":"quantum-broken","migratingTo":"sphincs+"},{"role":"proofs","primitive":"plonk","class":"quantum-broken","migratingTo":"stark"}]}},{"id":"SHARED_SET","severity":"high","what":"anonymity draws from the ONE shared set, not a private fork","pass":true,"reason":"pools into the shared set under domain anygas","evidence":{"shared":true,"root":"0x0000000000000000000000000000000000000000000000000000000000000000","domain":"anygas"}},{"id":"INDISTINGUISHABLE_COVER","severity":"high","what":"system-generated cover cannot be separated from real client activity on any measured axis","pass":true,"reason":"no axis separates cover from real above chance (0.56 <= 0.7)","evidence":{"bestAxis":"holdMs","accuracy":0.557,"threshold":0.7,"coverN":256,"realN":256}},{"id":"CLASSWISE_K_ANONYMITY","severity":"high","what":"every observable transaction class a real record falls in is shared by at least k parties (real+cover)","pass":true,"reason":"every real-occupied class holds >= 20 parties (40 classes, worst 20)","evidence":{"k":20,"worstClass":"1|h1|10|0","worstSize":20,"classes":40,"realClasses":40}},{"id":"UNIFORM_OPERATION","severity":"high","what":"every operation the system performs is observably identical on-chain — one shape for deposit, withdrawal, cover, and settlement","pass":true,"reason":"all 6 operation types share ONE observable shape (51033ab0d3fd1005) — indistinguishable on-chain","evidence":{"operations":6,"distinctShapes":1,"shapeId":"51033ab0d3fd1005"}},{"id":"COVER_INDEPENDENCE","severity":"high","what":"cover volume follows aggregate demand only — no rate change is attributable to an individual real action (lagged, smoothed, rail-bounded controller)","pass":true,"reason":"rails hold and rate changes are independent of individual events (acc 0.541 <= 0.7)","evidence":{"changes":73,"events":539,"accuracy":0.541,"threshold":0.7,"railViolations":[],"pairsTested":73}}],"honest":"CONFORMANT at spec 1. Re-run before trusting — conformance is a moment, not a certificate.","starkMigration":{"layer":"withdrawal proofs","from":"PLONK / BN254 — pairing + trusted ptau (Shor-breakable)","to":"STARK / FRI — transparent, hash-based, no trusted setup, no curves (quantum-unbreakable)","prover":"winterfell 0.13.1 (production STARK prover)","proverStatus":"production-toolchain · lab-proven","proverVerified":true,"refusals":"8/8","statement":"knowledge of one secret whose leaf Rescue(sk,0) is in the Merkle tree (root public, path+leaf private) AND whose nullifier Rescue(sk,DOM) equals the public nullifier — both bound to the SAME secret in-trace","transparent":true,"trustedSetup":false,"ellipticCurves":false,"quantumBreakable":false,"onChainVerifier":"PENDING — the remaining post-quantum deploy-blocker (the prover is NOT the blocker)","routes":{"interim":"SP1 / risc0 wrap — cheap on-chain gas and kills the trusted setup, BUT the on-chain wrap is Groth16 = NOT post-quantum: it MOVES the Shor-breakable piece, it does not retire it","endgame":"direct FRI verifier in Yul — the ONLY truly post-quantum on-chain path (millions of gas, needs an audit; ~months)"},"honest":"the STARK prover is production-ready and machine-checked (8/8 adversarial refusals hold); the migration is blocked ONLY on an on-chain FRI verifier — not on the prover, the trusted setup, or the curves"}},"digest":"002026163589d31335bad8851eece87ef4963e04f37e0319e1fba8e56442d2ce","signature":"eYhA0SoPomAqlFLHK2/wFqx9mrK+wCC0HRS4uSOuvQJKAGa4eVK2h/3QgrJqeBc5llUvjIavU8lL5HN+JfV1Aw==","signerPub":"MCowBQYDK2VwAyEApUdahgeJUXHq6uG1kOT9qFTH30deqP64404kI42J7pY=","at":"2026-09-02T12:38:46.021Z","note":"conformance attestations are re-verifiable: recompute the report from the target and check the signature(s). Never trust a stale attestation.","pqSignature":"Pjv6c7t63F366n+Qnt1oWdXZOGtgYIZz+08zjwfalx3Atgor/pdZZd2PcYUb0a9ACtoSoSssmcjBpxjQa6+qfB6n6/yRSdDHt6Q6CJXBSg+usWI/gAnUFq/5m1Xv7+K1s6M4ICwUYPyQ1SyT67L7Gas+U3nAwo3VRbB1e+2pWtQDZWr3g9JnsuPJDkTxIg4MSu0t2svQt83V0m3EoVPIFJ41qBALp/k4Af9GrhhlZ2SA+3u/AeCV5aE94dOTxsgUCEUiw8oKAdNJS8tSlG3CYyre8F2ZBiDWOj8EutHj1zhquhhKjNkA5ut5JpO8WH+boPvshzdTeJ5oLXB9qHPt/KVCihxNt5aBDmT8elhP7E8l/oVf7QhlOGr61l9LaThxbf2N/qVPtJxtuZRRBmaq2ZZRjvmUfs9/Pzvz+uNIYb06hSopwDyvFVLc8N9f4K5YWl9e++kxQDu0WM820IBHL/MLRtf14QgDdwT1WZTp94YKayWcOsJwjrJYdNfV11LRUO0eNXNwi43L46l9wa3tMWdivIF1gR4vl6HrGwzYqJayu9f93Pl2aXqF0t3TegUkWQgZStVWxTU8EXXub1AdD/vJb9l8sTRtj+73Gh0GWXGBLW7mPANfRWw725RctNApTH0SCWGGs9cWvSIiC8Fexg/89uS7AVMowA2hkm+oXwygjFnPuS7KZYUAwQUSiwYtANcZ/WnuPXQclb5GFwCkY0vyj14VFBL/BLxLQtod27P7prEt9WswVOVZQOTIhxKQqM61urYMo0ZIVPYWwrTfuISLIHdk2ds20IVO9Gh97EX3ecWfKAtbIUfR/Che/BMqk7RFtN0EUKVoFhH6E881nyUV/5yBTmAx2px6j7zn3FZQJ09Q5trZ8JZSb1MexI9OmcErJVq9axztoRncP5FoAYrAXUwsFVlqOiR5R6jor72ZpiU9rMzy2Fbkj4LnL6PePbAUu+yhdj1dO4K6vVXdxpZh+CPtp0j9wbkULJ2OOsSTtFHZrgF37KmjftUjzzQcdmDFOs64zvEOay+51AhkEcrbJKDjZrQ9fe9WhbSxSKPwK8txOGLpg1JLXo1/s8LK4oaVsLodeWQPVEuqdUfzWZfG/LD4fqPQmkYEB8bUpZ+CizG2dZ3QdBgrXxZdPW8KgRXHTTdkMzJM+aiZ953Nyo5JAP9pVlV3pVUVD8SMhqOghDS7wSwY2jKI3CCy1g+SY0Mr8dp++GDzKSBtIMz9rRPNUBxIrzt4ZnUzDeEBYro2rDNgjKODL4+0pDIYSoBXFLVmWTVK6vsPex4BD6CGm5A2iUW2rHyIwZmnwdIg/LtOKi0MPbzY+6+Xpjxdifz9y1Vmf7Us8MKb14xO1GT1bk5/2izNGVeDrO6VIAiE49Pqw3ZVE2sHbEcbOqtH/MIqahO88ZCe6uin9ZNKB3nAiqNEhtUpUn7sYVNuf7Hg/F6IFO2a00jAEt3f6JMZX7Ge9nVmAminGPOca5NxLzdK2t5ktUDOei79ef+AhD6FYlcqrS2+98pM/0kua4PPVCsJZwl+hINs9Zh/ONvH6Rcd3bJ8VCW6uNt5DoJ3ZGPaPgAjQfE47B6cy3UcYCwPPKUpOTqMpkQY0deDqBOgE0bYYc4sGFMUODmLDZ0G0yw+c/9X86ln2S0AEVJ6hWEvxunr5MQqlaAuxXi76UyPvG+XbwRpht3opn+EF/hsj5zr7hBJzeETWhLz/9cwMlL3PmEpc1z56ixTrY3SqyoMoI7Yl0dymBR+xtdZZVD6gSJF7g5aHRrjb1xIzg+eEQHan9l+803dlKGxtkOL+yetnxOLqGvpQSVhOy8ahf6CuCIq13cOpP3PFzjl8R3KRk0x9wxnm+AaSz60k/nfTXVJhcgvjHZXyXlpijGpFMMF/iRl32ChKezIqvlT2+xtigfShuNsGkfAPE+UhXDjFMpcjYnJUMtdl950e/JO64sxqO3nSPrpnivq2sT5vHPBtamS0ggPrANn/LUc5e+PFTGBNdBapb5Cl2oHVznlWSdTX5tqSVoVRZd78aisTOrZcRkSLT4y2piONem+a1xv60GwlhWHPPqU2KIxGkvuKCE5VE1JIraFCiIxRMW3w4cWWWVPN678Ho7F8s0iD0GhrAJQwF8+jORjNi8nANR4gJRashbryQo/lYOXX/mxU3tcENwUuZZPMNllPPHxAxRkHF5iKzNsQV+ZXdbKkrXzve0PbFl17szPS//WccJTkWbOuSrxMnk+sAnFJwUdJbyJpF2PtCQTXhozCcAueGNF0Jp5oBLzZ6DbQSKiQoW1gJPFAM9o3DoL7lH4Hqr96FsJtAEhq+v7vTXH5DzwQv/dXbnrn/OJFLs1+nABgM3CBL0jqir2ShyDRx0gEqqIHLK3Wrdgi31bcYXbTeu36eNH1zQ+LV4/jWqO2+sy7SNHQ3b3AI+fhT46UJRF1er0n8prUxnHKVrkWMIqhf58VvTRO4SkYafZDTd9Zpg+pk1c+6tHvdiXjMY/hG3ZdT0045wbGphr1Ma+SwOZjCCLYDuIsNuo91z3dVCT44cFyjdDhWVdKJ7SbEj0D08/3q+ak5bgKaiWoPzSeoJwCqQm8cbdgV5FTMbpc3C9uOHOJ5rsM8wGc4LH4nH5M7fpn1Y+IQSC8jVT2TiodHw80N1o5SOP6Pk7gmENAYmCSut5ZjMUrqN/QujL1cxkjU4W6svM/p5a/wF7ZgDiOjfbbP9D0tZZLgUXcBM/qnSljsXDFflNuLf7gI6xNgy9ynB2bPCSlZDysIWD5ZqxS/zQtTd8NJ4gWEXxG7mP8363HqHYDjiZO5NbPBTbttGxXfCLhtx/SeaEtzGb+Sr+kndAVx0mS8gkBRhyDs1zsuufu0EEIfXJMc4HHWrwLnWxY1Q3wYWm0L5EF9piqeifQIdO2+k0LyqEmPxVEHh/aIcUt2c40lERGWjZibk4PTX243crUEjGR4CtDYj/nCytYQYaap0LITLknecF1ustfT+YTxdkJI6WuvA8HlfAuPYeGbN3uXdU30a2FTquAIiemaJGV0sbWDyzCf7f9nyRaynPH9E4yCnyu2lZghaa8U05H3ZJzosq7pqS4ybZKdBwOhVpQo8hcrbWFCPUZf7HSsTWTz89cnd3m8M+P5A8y/NjeLVdgh7rrrQtYq0pW5W4vvwqF//Fm7kB5Cz4iP9WlX5bXsKKKVlopYioe+b4JdEWehjXJ81FdPSPtW+R5bNiMH1nDmXs46Ch5/LFpveYUBeEUzcRKdjmMjwFJUfRlXHwiTFayxMCRS0ZVa/JrssDT3lOt2Igbc8BKvtnj7YKGbZ9CseWSiT5KuAm2L4ZC8oBnPUVa4K6Q6BK3DMODSXdvZnCj6Omu1awCl9G/oijNNV6ByhL3/wa/BykSq/68f7SB2nrYlET32nqG8asQ7JD/iSRsf2NgE5UjTS75gOSFAbGyDkWYJ11L0vOTPidAdShcNyLBsIuKg5pHTRHaODAIcDbOn21sCR1PIG1c1rl18QggrhIC1S2iUj2YeFC1JjugZ+5iccXh2/z4+KkyGSUJM0OIh3PHTf6JkV6lmCKGoxt90JSbUB/uGo2Ticy0Zd/6AkpGobqxZt1CBOwG51r5ZCjA3+OixQnnb7DNDpCsrmRl2F6ghuJLBOkk4ywb/zY23GCi2MdvqfmA3Nmpd2f6PCgEIHhYTJ12ZpikBAyCkNIqslERP3UYm+5YbXYudYRGMJXHGaIeFm0xUDjIB/r+fAZXfhLNLLiyA8P7++FZPmk2KRWKwjyTxGFCrzSZPncGmcZGu8gLiDjT6lR1ecenY/WTF9jTOPfCMYVUziTfcQ/WRCbA5QUaO1cB+Aog7JFII8hWGzf0tY4xL6C47tISHlNYwHGz6wBd1w01NcoemxvFfoAT9RDK3RYapFYquGVTdhX8tTLKDRmk3zLy1aw1Vhwn4E4AzOVLnSjb9wZ48AkyG+8cC7NL00r1SNCGUrhlQLCBnfHgLpbedKwbHDhU4I28FhXWgUYp6KX/I6euN1MPgTr5p2A84+akstAtd8dNgH/7IzC9Qz+L6PSU7RWpDKn2/DqR62okQ0M26tuAImPIJ6jSbVzTHdTs+nrKcEBuXUql5CUpOD/VqDC0SEJkz3RF7J1FSwn8TredzaCTUlBuki2bBT4WWwCHlMh44zeEpD/YTz+kVEpQO4rUuERt+O+36eSkdYSjIU/Z0yu6ARgNW+FUFhNt3WHq//LQzuusKraHjvvKjuHwjSWtL+q6PrFiektDpPrCXNXqCDUQB+2ycqZokzzHcAY32FsvhcRdMUUy2rMK00vR/tyBtyKrxSdHQSBr1BagJ3cRRJW4Nrck+9VCzLz8IUB4+nj+l6PGp+oO3Tz4p0SM4zdXefSgLkmtJ/NJs2NMYgyoe8rdPbOPyt3uP8q/1+EdRaZOTEzFDH+BKVO2AyTtyB0fQJjIyQyuEfZfTPhYraeD7e6sc6zPhWBs+4259rybTOxgHYTaKKWPtu+0BlTDHe0h1u1KUVPeQPwKntaYPKkoH1nGcZaA9AycWZQps+0SHVjyJxvVQV6m5hS5Yk8vjC8f5aWpTIaYNrOkMnsG2JHj7vYK1OFas0AXOQofSLKLF42nXAeMPIdpiji0NfbBpuhwx3w2+X6DbO5tiTzVHkz2wLs9krxGJhym3P7viAkpMybJhcFZwAlTz+ucrUH9I1jokvEutD0VvZGvFk0Kbh++hjArXgpHG/8KXBoGDxTkOkCltgLG39y7HfN8xqqLukSFJfeMb12vCppEYIDIq/5fZKLVAv6djLwyNvYCXcZ+qwjt3Y/v1f9JXRTEAKjXXUljiWhrxi1gR3gwTsk29qQruR1F6scEmqeXfhMUJJ7Q6cR9nFm2kQITVcIJBuY1QQm4Nu9E4BcEVf5BeXyGGd75xATkMPYDueaVs5/voqSbHw18SaKiyUiJKV3Qa8lMOm8FzUt2TYEYmOfNsbzMpV9bIwZa1dbEUMlF3UTFO0o6kYhI8xKQmPOb5fmo3bIZOS+m1pZdtuDFe6cNd5D7LqIUfNQxYV8lop8OkHy8Nqrgpqt9Rrq4jKakpvZNN/rr0zVdvSw9kECU9tLOdAj6h+/joFOFA+x0szGYm9sbrLy2+zP69ryu1UNlbNeT1t8u0pho2YPBxJr8/5NfZey3wkCOshRL146PzkMU/pmCJkTYHeBRCfCy4kJi0jxVAQq9qhLrAxtQEcb2YiuP9mO+yrKmVv2rsx+GqerSendPE0uwsb6qM9TmSEuANWpPTB1FC6eSuD7Z4iv6erBajGlpgKP5SLO46rCxQQnRMmaoNlKZMkGEl3jhSkAg8dtC34+/q38tdaRelF2cwXJLS9WeMQRJ1HpFS4iyrSCe1F2mEeMfQTR7lAbz4+8K7IpEYIZYMgXwrP7kCWIuMsCP5USJg0TjpUKWbOVmMY+YuN+kAtGURwF5jkf35YjMkD0xI4bKPjI42I7syNRtVBgkB1/cO91XPdlXLcT/YhccBCpb37me103dh2nNgdbQBReQJrhxvZXpNoUZW3lJh/hhbtAZ+llbfrcjuiA3X+q06jdFsu4OkRVOZ/MQ0HLlhX/166E6WeqG6+MznynoY+OhEO0xKOMS6Oozc3F/qppVIPS0OfZFQalSxRHuMsRrwJkDG0+cs4vJ8cV9+vMUf0EWHaQIwHX0jinYVaPOHx6TcLeywKUfXlRiBwWrBlc2ZPMkMPHmp8gPxiq6qw38aPMhRPQYGYAI8XXt6hF2FD92qRav4OqZIGY9/JK257L37WM1nlrXvuYhVApfLxMMXgzNt7uM2tFM0fzEWO3ptj1lKQnNx6KzCSrV/AqZKpeNetys5wRP0DqvFthIvtYrfOIbAP+i61ZSqDLERnYoI/lVkMU8lEgr2k9gyytXuQq663aZ3srVzNFZabPjm5FYMgycoep+aF14NNbm3oKInmOzzLUcvoTc5wFKZQcr4inaDfZjseBa360sLo5KdFEccpwZXunv/xH3E77+80a+nIsyFOo3TTUhyN3/moQ3Oe+rEkTFhttdukWSHlbs+X1CMoFTIgbk3IumF6zpjjk0r1B9Dyg2le6Vmfj3ZVAOMCZNIb8yyaDDpoSjVWgY/yqN60HuO9yOXXiQzR3sl7MS8eKOkn+Qge7qtAMizp0Oe1gh8lVjR2d7a3Ew5RfFdGjJn5yLKHKS1NplX0CdIV4NYMmeNCwW+EgsTyaEIG5m7n41jWOybTEuXCUFizIrxCDs4eVK8QccQiasdxGG1hkV33HpicjVaVOMc3g5iFNe4R6WnclWlAQxqtpFtc0zuEedllSY/lObSw+Gj/3UMxaUmk1Ej19jh6RSxjbtfzKtpIHfiDWTz0Pg/4uUX8nr/hiKJ71ipn9Z1RjF1OxZwA/7Ryw+VV1mHmVFntJdl9jxFi0LxoSAgHCINJuuHpFlZ/DKlVkdH/SfSMqHwXeGJnk6EaH+aBYrdlV4HeL/fhEvDymlBATuxzPQptwhcoql2PSWoJlvTw23ATNN9jFwGoiPuR/Bmp29YDmXO7tIsjgeeWYmfslEEKetHE+ANI5SJVznRg5Bh9o2AMKtUDU5J9zp0/qtFtIWjkkuox5+xlbUP4bNKzECoDKUBXnqBJfw8JaVvozOP1mBE3PJDX4xDNnjySJ3OdIIoFCHGDNKMqoBEYLrATbOZiiUFo3ZKtRHvZgAE3HbvXKjtEQOWa8HwSx4GNJs6Mt77sdfzySlr5BU45xq0x7xf1Er7p4Yl5A4qXyteMmpLY8eTR3xwGReWMW5GF6LTguTAp5pIsMYtEvZeUAg5v6LblEKA9PMUPBFM3QewtGBs+bnEMijG9E/pBV3Sg9eUGw69E7BHr8WesU1R7A9jhrggsugue9EGim0WFBw9Pu759HtjqJt4i1CwL1PgnnH6d399WZffXxjnJlnd75qt/a5flBeIQw5FDFShZf7W3vYCV2gHVFcswSv4477bxDst4MHGjAQG/iyJKiL0FS4Z0lmnbRGrXCzgXJJDn/VTAfUAGe0QyA5DUpM4kNatvxvsy4ZC3aCIyoH7Z13gJrr1QPREaSvBDu0d3T27Sv228WBf7J+NkUZvJV6qZrJc093fmAcqVc6COH06PnTXcCwoj3sIL75D6xy3NlpUvattGekLR9oiKuQHgLWaT+lQzQOsEVPL2WlglR8y0aVibDJZCyXJBugACM6h9eqZBgPInbYD3js5R2kZlQ486Q4FLyDie1RL4Jvn7pjDzH5AbbgQVc7Umam1z7ild6OIdryS+vcXswaENHXKcO+1lpPYY0ZW50+oO4G70sg68Hozlgf8+L0+yr1WtSeh5VfdsNG5ThRethUI7vjswdivHSRfSU1mslM5HLzlKdF6kjFuvn3Jy5bBA0buVU43dPVlTYCWdBpoG65zP3+Uo26VpwgORF2iobopRINyKkmejau852QhMbOVF/yHUV9DshLO8vqCLGA75tdcsfGNgjRc2wexnAnDxExqwKHKXvjOh9/XuWUPI0O2Ba9eUyQavKKVBgHYVKS69CICzfyZfRJWUlAGHor/CFUmNR2kXicCB/KCwvmnn/VvDN1yQYu93wQqtF9Pc2gq1M8t86Rkks+6mPxduUs0WjoRbeMrx49qk9hxdTwDEdHMM3dg9l8KDL+d3iHSk6ThBXYFbev5nRdmF43aXKxllipZm3amaBOnedi6Xtny4OoYuDR5YDBYNo+LRi/gh6fzQAGrev4DKuMSA7mh6SqBhcWgVSR6+aIMDR/uEjqWNDoiWEC9HPgXACaJ6ecES+BiIlhsDv40PUlEN+eY7nqS2SLDkrZxrBXPJz0jvBScO/Em8viyq9qdvx3JI+TxSQKIZYcw6Wmowl/B+Uhtzjyx71KdBUGkVq42qCHY0a7SeLleULnVZ3ZlQCORlzcVUFHrG3bo1Erbo6gSLTfSOa+ZmVbZgrML3aFLiaYxYRgbYytS7fIirUn6xQP/KMJXHx0TBloM93QMs3DTk+huEdTOcJKSg5c/Y9zQpZTS3n1OGqyi1AwGEM9axAMVJdMbkSDhQ+OS4Y1P18jyNuAzKn3Om4vFBJ08rN0nqukRdzZwRZDF3iGWsVgNm92waIzYijkeihePTIFxuFPCeYfAy0Du2dxO2TzkejBr9H4L8m5JjuqYb4hFXWxJCgobtU1rQ0mUEMQeVN17j9LS6dcjfdVEHBQRJcn6jMoxQV8H2dr8zjiB3rGAg+kzbqZ9B5ex+5R9+5er9jr3X3E2kVc1LpqtG7BpqhFG+dgsvBf4mSl5UsHpfIpOJtY+InfUQyCvytVTmzvDPDJH7MRCzU7q3dtH1EwEwOCMJ2+Nv/3iIP671lDVQzafpqKK4DliocUQNfR/NCk9o7wc9+wglr/QYb9n+NBYZRXAx6ap+8pyRGABlvoi93rKylL6h90nLS5Fz4njIauLna5vHJKkEK9AO+h/Jm8VC/4vPyvkrwdaGIzyURZiT0yIDSltZjBeMJowLLwWtGVoXhywxawOZ0JhPv48PVJF7QYe3Xr0AUC6GBNxf2bEV9lgJhgcqnMtA6tmbHPt1IyALd9pC2zGMIcew45g/3mdnkpC31a+NpLBLQKfn7/P7cWsRkJfk/QKlWwu2hPM9JqcVWVDvEIBwPUbS4QqDmczBdTOfZoS1i9gFZxYI8Irx5RCXc03fIt0e9WvHVBYahliGAEx0MqycwETLe89Ym1I40LcQw2sFn+DCXwdC/xXRJm5qI4MsqPghxGCDKi9Efh2FsIWIHAgCqtjUyMrts2xxMGW+fhhXQPH/WT5Z1dYdNgwCaf6H6ZN4BXhds+he9ssFiASlrggS7YYG9nhRYauKKNxUkRLpWQoC1KrPF1Fdf0pVIrw5p2J6i7YBQm6o9siSdvAZ2LG574G5CzZaeikOcrbkC59QiOaD8soFVb9RyIYF7NBFpLR9e+fD2nPeey27wCRxlL8qOrfo+sxgMolzYV1avAdNjAg5DGmbYJB09IpAfvmMTRvhHC41lW1zc3vUQDq6Fjsh46VZhJ0m3KGupWOw1SFMOv+1BC1jIiuLF63l7DvFTzsImTMfRwaPLW4GxxFj9umpoW3hrHUswWwTqo74MGe5tD7dNQqBY0f6nmkF8Qjw7F+Hog4+7fhN/N/lB5N3OH5Kba0tcHWP6ZUx+XBr4EflGscvOUt6/Pnmpi00mIjCQglhczNcahszCHyNuynYBJklMH5gKHz62zW9ANDmUrKxgHPsiMmClY3NMtzShGhNwXCmtpVW7Ibp8Xt+PrKxTSgtYkPA0lCC7pheSa8ZwOzSMZR/iEOo5HT4RM+uiiniXXNHnvF6JaQEQjk8i+FjDwEZS5H6zl1k4UyBh1RcM+Jaq1AG4PLRcHr4kzbjFO8ZOxfPwBUt2mI4KQV3iCITP5dOn0APMtUOpo70fE5oaqpsLm/IJhtSTb2EU9SrnzaHt8BRNN6dE/xXYPUpUrMJGzhbomfAJfrTrbEjwAtQV60uFh4VSvCAd2Sddv8pciKR4LPTQ7LRSRSCKzLktCp9dxU9csogX3Y4IlpQRcmDF+ERsY4HksURTuajP+SWp5C9At9sSIzQu3DusJkQq+k6IQzBejbsnw8ffO9FdOwWdfEDKN15Y8s65q2HL3Va+r9fKOarkTYl3mI+dFFOA5t7WSPAgiBMgqI89kEIUFuOGb3xLQZs/fD6oJ4QoqBy6QneoqMLagbnHs52//r9dFZbklKR++jteTutasPLZARFC0m0ZwQTTVaSoDgLRjnEsYrU4+whnY/6bSXbgKl8/NyouiyN9DphcIgAZRmA2zLhesC/kmCOioUvJhyM3VQxJO5d6/NYUhvM8l9NDOeHLG+CCZWlTPetcnod5KtX0GWz4gH22UIO8WW82jSypxv2keZycOMPj5unTqe1HHofTlVNGoDvUwo+GWrDNTz6R2sjrfKQnGdYy04wnIgZsXtzs8IUSPoLow56MIOn+mfA5WwOcYZ3OPVypzAzE/dwEftu6TMYfTjPpTIiE7PYMHitApsQ8OMEV+N6gvV7S/3xy4FEfPIMS4V3pQRDHJqgFHWlqLx27N7juthiF1fPmpxr3btXrhyVKYO5Ku28YK3MplKlx5ca3l3n5W9d6KhOcn5vkIz8akfIJDsKtldkxJm/nkm9eaS7roPa3yWZm3bzee10JCsP5rnzTQ3tMhFJn0ztG8+YodNae68r8Tm4Z9KrEFPjrFQkp5ay3SSrweTrM11HHa7Rk6rSxRfDB//UzF2VNtBsIOUBn+3nNMbGRmk6AH6q1yzAqDkGbfoCPXYXRcrFfP2e/WwMqKZygXqQyF8107aflC/KGaTtDUCQ0ELUN4FIDrOqCjZFUw9GzyEbsKhgAy+tWV2P5zBxo1zD31xsX/SXs9LjSw1x9s5prP/6JY41G0ib/o1dRyFlHPBhPc8hZBGgkLB142UW1WZPQ+PTjRkhuiakIm1Oq7brbaJ/szpPCP+IXwol0GhRSkKI6QNHJm+gfcQS5+/B1ZLANCOSiMM62QAy1L2yWpNAGx0OFg8KVwXvLwloxWPyZp+T2SUSw/LOrQ2KA6JIY9Q8kxi3Y3WUBC2zaJREz2KgYQHafPArsKl6PQLlffmgO4028thX09SCWU94rJWyiPXYTKp7du66XCo5nQRgNA+j36kddReIDFHuubVGhsw60CkznMv5+BiM6U/VcxIP1tO125pNBwBNTgNaiBnDgeuIdOjpb2RJTMPBzSeUDfQ3RrctVnpsOymcMhfey488AjpcTGZnl55R67SfduD3tHrRuDIiGN0vaRbrZ8/yH1Olo+gEESs1yWNWQBuAfgq2VaN46dpvef+hxEV9eacqOo2fU2xeAEKQX+TboGj39MsOEtHWi88mcco/A8210Dp0RgKwBzbg4TYkq94IRTGwESWPfMWIYsiDrQu8vp3BEjVufcrkK0y6d92tL7fQSR0wcOI3JxhEyCbK94YxO/Q8cNxwi3F6dxjnm0xA2gSqFrmIUlSL0xyeWs9BroUOnG3z9v5sNiZYbwtrDqJQI0UT5djv+xAy2VDFjmrTmAnsx0DE8Py3m7GbHJdiePHzzqlwlRntetwu7PdknYOZ5XQysGdS06zA/XDyMVF1vkVDrRGXQqy/Hbex2ef/gnhUJ2ym1+YZ3DBtBYiluBD6Ja8DOlZmQ3YyU7HmO00EukbNBO2CYA8CR0yKnMo9ruow6PgJQbEmiutidGLNGU1HeZf7663010gCqJGwMDzswQSvuJpjytEWB0vSnh89jzliRkCMnxxMjZL956ujCLTbGkRikT2ZA4Jb3Sw/ehewAf4tpspGbpYyGUCWqHBlsxbFuS0jfzcAsEy5ZxlHKw8npIoIiwJ28XbaT5wRNLZJCueIgWiXVL7PFoKgiK0mUkb97NsL8hLkEz882F8br7qsYhYDIAq5VXUbuVCdGG2TF4vCbs97ueDu9Jve0+uc2qc+b2yqaXHcc4Nnk+2Lcy5JVGHsSN8gqYJ7pt1kvkRTVLHAuwSN3TsqHGIxRAmbkGdwQfuXCV+mbHFdlWY5oqRDWCcAyG6rIUHiQtcL6x6hiMY2yb9RCI1vAp9cxZZr8M/QShxGOIFDM6Z4ATv/fHnSInK3pXfm+rP2zDNv79eCrKaTu/9XoUROGUN/7/WHWeLDqRzcVp03+7/PZYQ7x19Er6qKo2ZatlBZ/9zYbkkZPz/Dhmo/nxVOVc0rUXmoAWrmTk1jvbdi0cqXjRP/73b9hthtqMfpV+0WtOLVhr8cGCuIt7JvBcoyd1f7hCAG2UNUUv+XS1I7/b0oFwOY3MlYMvjanryYr7YeCmecnmuFCB1XZAsKFdW2/ZtAjAlMPvIyWRN7KZRbMkTDNrqwPl2fZD+ddVK4h0K7TGdOk5bY7UbDzpjNqUpFjcfGhuhRd+n4U/wSHYGDfQy8gpG3kw8aGuaLcrCmoaHGNygVEDozV1XLx5JgChrQqqgxO6U7wR1ZcLxCEV94vZGIbX/fdUZw+BeOwwasIshosn5L3AcLfN9+Fg/7UdqxvxjAFODxQ9Wl8F0N77RB7xcD6BGognaiylaKhycz86jfcKdZSBNyXHEbZGsZ7ZO4NenUbn9YgJ8WB2og4KaVL6yK+dJhdJK/J+LUYb0fCjMcjmSY5w51rttyX9Fsjtk5Xu9YTAcplOg0NNg9ksps88WTS4szv3QfDaEnDQVzAbD9ZrXpXXQVqv8cyltHsMr3CdD8qEFU8IWXW6FFn9Z6UOw0HHcxF+Yx9vkgd7A/fg17lXousB0Riecf2sOTWVzGA86EwrslFgmEVZkgJY+Oe7hnVl+B/PEdlWQTyXHv14w0ltJNw+9WRpi+hMf61RISOB+qZuEuQc//mog9vSDaD41ycX0RdYfkODQJFw+b4qyWWsmVktt7az6DxPBdFF9/20eFiABm0xyzcZ7964HaspI7TaKYXPfW1a8v7TU7AuSVpVmU0t4fv6xRPxkrmb0X+NPVHyf7ECRngkB0hB8glZ5qBYN75laAr7WAHeAsEPlWpIWzNWhsvQC1qqQVui4cCoaLJG6OFwCuq/SzrjSPqGto1NpksJhsfaCKRAkJDVD2zytEb03UzHaMmfweEtA4iFZhoO3ANK1WFG2fowsjw0xKSvthbqeIVvPpB193i2LBhBuODfYLvtbG9IcrexNbpOHvM1VwY3XODf+hi/0lU6bZ7aN3r7Ozv01eCyUFLW+Y9OXZkVgLM8CahaQJsQFjYrJC/ilVR2ZIo845C7VcPJeR20tFVVAaSXIo9SRDhg/lQx5RHO5SlY4uADDp7oeEXqZap5LjXRMlpX1yjZNmgO+G0KR94nRodrEHUKSA/JveuvBCOu76pa7Kdg0hF6eEz/m6p7/rUd7Z+hYKRmJyrn/k8zJtCR3VgGX4KUBTsTHJdskZ+HgjeSyDtCsYlALvZoBplCCHu0jCX5pehgjQgUM9vB3nfHy5Ck34gBQInlE1IA+sg2ACvGY+D7rtVqJUje7VImf/4yRZr6GzjCvAcwKQuWsM83tbjsBqQpVpmwn4mRDLSRfigAkDaZ8cBI080V1ZpjS820+jgtk7F+OIcNNHMfsrEDL25t96vRpmu7tABxVOBT8zl6bG5ZWkmE9S0zmezKx5PAunIo2DAR7OQIVpWepaJQzQHsK+KwpNR6+cqkw8oXabuq2pyGVwO1qDdh2e171Cyxt6dIeVIHF0PxN/yXkAsZchbmOgP3N7Ot+ech8zf4i6CgLErbKGxjD8aKsRLVxBqhR9RCc0kjnNiOcDA2981cxY7vLoS+EJ/wi3feUnfTUqjogABjVbVn2PiRCqZREMV3t2Vwvx+W9tPasNYoUnMybc5mDHkFgICqujeDUrD4bAShViM56vEf2gI7Euey6NQdGMGlOVbRSrSryY7KMivZjRVMHF09eADFnnLZgVx7VwgBdcIpmwlyAOXrwFcYZ5nKpbC7jSAHC6ZgmVGVSfjlO52uA1mAy2ydMpr3NF3QmvRQsYN+0LM1kh099dxVUTzNObaimDSnQ3aWTTQAOzSy9rCZ3lguGLPQOQrMlRC4Igioqk1fFPa5pAXOL26hJObef4096xjJn2qV1CCtSuCI77pm0X7Wy6c+onb1RJ59/vZ+ZmiY+iV6rysN/EqiegI96QmowJrll3xob95yFG69B0IYnn+n8qPLQMkL+eyWRy29J1+uRMJ82QtidrfY1mAJSwly5vMUndlejDJJZ13GgZkulO/7pPSz//dybLx0a3cWxM+tFuAoRfR2zcEeGoVHW+8EZJBol9SfKSb28xl2lEbWJHVrTdYKOGhDseh0gBeToFi8qLIWQYOQkUfsVax34w+bAvYt3UTClijdKkUP4uBAl2tCaD3dBXoeFE9j0sP4cYB8HFhpuVa/tEeDKs28BWmIMPoS6u+yMi5YM/YDocO20G+tENK1ip8RRJ97ksXYzvXNjbghxVJhURJbkrrA0Kwpm58K3KJDbCtDNuyTua1HOBsmb4jW207mNfy832j5rlX5r3yqICEEXkR5cNvf/pAHquxhDYjBp5CZV0Vh+bOFmDA2I0DBvV07T8CpJIlA6nZNohJGOuf0W4BuoVA6p2b9f6MB0njrIIphrM4a5S+Ia1dqIaHxkRmxfQ/CZxuqMNesqVAnt28rDw7cJanZrANNgx8UsAHxiTvMEEqbOqgxSITKquDvjgDOfrqkKOTLnf4xKpC8otCL+HpzsxSdUCl82o92A60EbUlZbTI1rAak7slZlm9hABk8pAWBXOAWZF4Md736dznlOOYpN8PhOMvD/j/YfRAk3oWT2Ua4f1XjQAbwALuO/csMYCqwNUDFAlLeHypaoNLe774vdXO3340rp8bk1qoRLkC8uLrb2ptZpWZ6xJbjpEpYHPhEtgjGIXgUCRiQx1z8FnQIfjt+XJZp9Oj5SLFPcDeytPjmA/KqDjC7dg+JAH07LevZFcN/8e0+mCgeBOfMuedCToc25NWy583mbHUhifzGLjs8E+owAAAKKZNVbcqyno0oydM8D4SlO3Tr0mrF7Ln4rnvGoCar4F9S+cYeeCH2iF8C0K9+HFcHJOO9Lig8Hr7ZNX/ObveUMoq4u/9yO0aHr/Cu3fFQm9bsmxYhCG/SJ1OhNnulnLCBmtV6jctCESblUflxckdQb5Lny3+5zKGf+20rpoBptUkFZhWlzPvWeuaIai2ZRlCNECKs60rHOafw3n0JKrG1ceJZBVs2FeM1d3SqKnrH0Y/uxk8O3oJGjyX/GT3kkemUzcOXPVpuTplxBmBgyMtHEOqcgHWOoySMtZf2Rx5vmI8divu2HS5gMpLQrpGrPliyN6Fypo3V9TWfPimsvHOqGtY0DFNn/KH+/uN3paqyELTBeZwL75FihfbUplV49E5/Ka7s6Wx3oRYmLcYHgWc3BLo56QxV3eUU5I7z4jyHLRA9atCOV9VSdUhLZ/Zr2z1Btwnci0alfkRKH2ztkRNiOqUpHcZ1RLTRHmbGjMg1K59S5ZE42XwPCpitO+6Jpan7mllgT3KVBgZ4nNpS3BB/Fe/pTpEUqZwH39QUZ/vYbhDqilAiWxvkieJyYa/uX9GJzhhM/nIaKutMhwrTvVAuhFy9mm28evz7d4zk7bvS///ZZGg8C3WNF3pYutwHKoxoZ8jT2TM4Q2a/iNx1aV5tzkNBmkltubNgQhlsK6Squr0m0ND8qXFXYyZXyyyrSGjUJ1J22aWK3Rza6EWswh1jtKrdLArG+zUHCHsteak8eIs5l0LmBNkaGBXPG1Ce3w1qqPDnv7X3AFSpzutWpJ3RGHLBuL0USwgZ4shg5T60yARI/WYfW+ui6w3G5Ze4n6vvqdrdSg6XErxQx8W+hLaXJmOddjoXiGTmq5qghV4pmuqE/PGw1cHe77p7kNZm0nc5sfGOuGitqSeui6odFf3ROm/1BNAT+GXGQqn2EyoIhjLBCGCkBI+wqyrfgRb4KqaiqCKT+qD2Cri488EixfXvRin8GZJm++djUF5qKVDzkQcVHHPzy4RPTjkhh+nruAvozuemuFTqvWDmQULx5oWw9GyR2NEHk7ej8bhw5p9SyVS9rV3Iy+MWtF3bC17n7CuyIC7EbRa7iIbwOiMmkW5xEBfT/LJmKxuCJEBVTTlo558pX6F4mlhJpIXylO4/GFCZyQP1LfdU3BLVtX499abcCZWfumQ1apHXT6CPdTeC0QMWsbbb3uyvdavUJ63dKQDar6W2GoyK2GGGWN4oV2JXzr6MbrwJGqI2qs7UJHtaHT0mTsTtxoBfo4GsgFWUXQBzYuQl3dfmnhphTSEhme8ZE99Cpk9QITu+eusJr6wfveSxFPky6m0VzOMfHcy4OAa7DyTzya6P4nwxCyuwjmLeBwGgxbiJDzDEhLbkxAtB37veWXMtg1WF0FX+aKBMlyKEYURZE2jw/EA8fWRYWBBk4NTt6eyncAAlQ9jroNpKoMQxlp7htFlqZCydEgM4rURORJ8UfoBkaes+gKYDXsF7+FX9A/VGZgOjk+SA52oXehXVj3SygC1FqrRTd1ihx1kAbitNwNCX0hvtS6OUIn5mUsbYHXPHJ0mKsOZwscdDKiMYupgYgo69LIrKfMz9iJh63v5zlfCRRNUX8kG/M1IeRRMUdoiKCSrTXLUweNZm7MMqOGSReKO+dG5G/YUsLUKyEdysqcUi6Rm48BML9YHUwXEdxrodt+LHbVZldRUlEXBV4yeuYhyzegAQtFnvg7Ekx6dO1VDwEl4ZuGEH2zMSLQsovHwpTtF2cEDQ7e6zifBmjL5EwqbrkfrSOVRnyEWJqdtcrjiV72Ma92VD57T0M9nXxeRkeSYZY6r5AjUpAmyW0CYWdWeVBrZgnKY0krYQNr2ayL4F8nCjgDnl1r2FwCejn+RDkeLwGVjWRM9YsaFOYV9lfecydnAu/uZ3q2HIlVlPTBZySu7P/ZvB1gTd2Gh10Sw/JQl2RStnuCGeGYm6hW4SiRGWKwQgWCAJNbuiVBTVz5rpoXthq/gFQhmfvdoUk5IrbeJwVIVK64LNl2UtX4hAnKOGNhac9Fqsj/Ex0Z7UnatrHnyliS8wnP3qrgVjOIUORBb41X/8c+4Fg0ihA+85rgLHMRe1xyy+WjfX9cxGSyjFMVaK/Onp0CuUgrwWz2g3Zf4OlBJsah69kM30GM1Ly5UccO605LGsTe9CcQJRUgEqeME1KKo/N4KUFwOEOaF2qZOTFWjgWb7M6eWU3GNsCkkqrB0f+8/JYC5y2N8PNJqAWzaa36alOExQwQDkhHQ01T1fvyg8m7UBHi+qZUuGOOpdo4s6yjvibP5+tZ7i5rwVC4f/c9lyi4068PJWrCyGauepGA4bYK2HOXN6wlF+b2/HkLLaKPQ07gpZnHw0JxqSG7kIAAHFRMedeqYQn0SGaRYRHGLAfSmw9CICnX/zfTD1bp3OGlCGiuSPDkjnYegoQXISQb8nzbk7JADkPcMhcgextEgrZIsnoaghmmUsePnXn3S91cp1gIwZODKM6fQi7DwwAITRS6swL2sau4HDp7XU3lYrA+aAE2q1L7RAyZZHQ8hDLi1HfyJq8G61RLm928Bb/vypvOxPX8hPuwmJO/GFSuHYGBOW7mI9xVD3xi8AO/3tC77OgLP2KnrpGjfKvRqk3bBJ3CQn6q/Zph5lKxVuyYv3AWyN92hV82/qCI3tPxJsuDxTmnb5Aid1UBNvFrDvpoPewQtdj3z/pZ/kJQ0HolPqztSjAZaO+DT5ZNyRPSC+OsGw+ZlSrEA/BYYlQnPdLJS/aTWO7/0AuPUvFe5umP/cAwDZ7fmh7BpX+oHPp2M+AtLyb8QxYm0j+tybrgbPppG8ozdqogLNid7EW9y4lf+Og/s/cIaPLnWOh041m0Ivk9+ybtMooLhhdP9weDFNszmXWOhFuY8qWvISIgSODzvHWlslagXbJMdgikILYk5pap2xQx/H18iE1e9HrE/Od7aNbZ8j/Od1GNuJ7ZB+u6+aXn4Tg/ZO5eRPbGY37K3RzZxRUW/AAClmQtbPl0NkGVZO5T41MHsJXHyYTJC1R7DXMMhZsFXb+FOqFCMXr6SLirWp7zEF7v6lDVb0AQiOSkd6LxkUORHtVu0B3EdqhpQ1tNQmG4R7XAoZLWjhG4jSgYpRsMfJqFx8VfeN7EVABA/DwrqI4J6TXLrG1sCb1JvGmhoum4DcjzVIzxNngPfInEJM6ZOL8ms2EVLxXrrDuopmCAB/pPB2sXtB11MWqyimLgytDsd2wKNnS/BU7wXwzyTKsQRpQxz1W+v0G/p/CabytNA6UGEJNXAWj7ZSMjVbNyeOwujCnqU0+p0ra9LgOu8T7xIiSZd1sdA9eFTsNnOYkS7TBB/3iJtqbcvA9qBkHIEVtAzjnEedAxYH0+CCrOFi+Xv7FjAonpoYvtzLfFP9o5ZAQ8f24TjIAg4LPE4zSm2sSAmF/Y2qc30w0yAOB3ttEH2opVioIognDyp5Hs9NsgpuWW4PvL1L5sP1Z4FFZ5oQX8AzPfFWR7SEE+ZW0SvIiazTiUZ1ayL6dUUtP9fnFjgf07IX4K/U8RZkiW8mdlAw4L/jJThtuSOeBJdJx39kyhxJ3kivdMIHUzcnBdLADGrhXa8d47rg5y54OjCr4KWnBhRztP40g+/gN/XeMKObKFa/28NPXSgJNxlg4myjnMdda8dVAuQlSrTVRsa5D7FI/nRoXZpoZcrnRPwVzGmykTJgCwNEcedrb3cvGj8MuhgNDf5z3cLbXJ7EzIz3cpwgKmA00lFeFNbuNJUcZGAjaAkZ15dZnPoP+S3/K+rKlAASXtiZ7qZ0391C65WuHiCP7ygp9mkTgaq/GEgk3hi0TAUd3/H1QzdjskTXE7vlqT26GN/9W1+EuQ/SYvlM/f20G5/pMQJvgvG8yVFfUtrAHIIMCXzq2hpRLoumYYRYCbpiWk9mYsNs1p6cpfmHUnBxFQj7ZV8ieap2qspJG432G8FiktZcPiFaykmR54MUK1XVBok2awnDYjsrRF9zXgr3L/kQXA6BGOjzehvzzqIIm89itbO59yvxDsqMNeSW5WX94hlHL5dxOcZNzvBLm8egLTuewYYA9iTAxBlPjufQLt6t6iDHOBAHvcJ2xsBjwIcToEVwMnYPtAwNLH4eiOuoH5WvETQFDlk2DLx1vnBW9CxpuJFzRT3xw/BOuIE5CLwsIAqx6JfLKWnChQU82jmeW3VNLVXFkUjyhtEYqzL0xOhNd5RFZG2zo+TMyojs5ehT+tW7q4wc5ChuwEHaoic/Skm5SdEUdMYgPnUQYd7QPMjOzzRrmHAIZFzd+m46uXtFrTJ1JPq5fYevQIg6nCJO0VVGQOktlwdwDbWUQvVpdiQeObQXBcpmWvXmItYHmfGdkPfpB0mErQER/o7Y0drNofssIOvAl0dM+L3rY0yHg/eLubfVwKtEvIAy7P1vi0xUNCx9UstnZhE/iX9BE3L2VYJVcGOdN8eKMtqfEiBimUxVUHNnoVWRz53jfOLSyFLv4fNS2ZSXhhS/xxIi2xhQbsrXIHnmCSgZEr9p5k9eryQwjiJrZ4r1+/16y8KYDWgFm3vlbqEbT1GSaRLYrYlPSX34McBpD26gEIsZINoT9T2bHuEBWLap/v7mgcZTWtvFHF8r1pbR/oCrz0HYaRmUXyzwcBl8FkBL+zIlEAMLFNCws4aLkYlwMgB/iVrb3E3DgbpT8KioIdKyJL/9Wsoom+vJ0DPH7YQuF/9QlM7L1zxbmST0g9ipWCPX+xphFvd4cJu6byB7WzLsb6cu9MTJLVJIbkTLG7tYz3HqA2jHnVFpTfp0OCNE33k7rpgAqgB0Fo7HBn6mXrCs1i9V6eFHzJm44f9envHH2yPhlaiDW7eo/YqVZUm3PHTJCikpONU+KAkKqRIto6S5SF0bFe8dbPoMhKjiqcZVjMIo0tiHZF1Wnl7oFuMCwXD0e8GtsiISTPXvmxcU4GbzHntzV5wVzxvE3ZurhFW3MBTKSncL1VhJFa9yXM0I6wbm2ctfgVkwV8wiD8hqFBdPmgtsZhVO3XdB/KxrvF8Wz4izxd6s6i4rd9zttPv2+XNwN3cvgjGCvHb8rLrgwQr3Xz+3y9seDeJ30v0dJ6wEyioMgkpZg1vqqIo3uBWlYQt92pSkSl11lx8zGEIqOEsEign7r+He9GQPQtriAyUgdoJcphHLbSI+eq0/Wo2yYhpZG4acERa7JwEUakOnEgAw3q1rAAGqDqmAGIVe11enKP6AkuwmUyYXLKW5nkXXeEF8SgxgQEDEHFbqyBEG0R5eW8dDBkU+GbG9TCgQ9XLOZ74iyVtFWPY/LrfBy8oOskUBEcw97MMYMEkMMKv/L2die0BddafRIz5tDkWuzzkp/chqtUSjQrF9MxdMHpLrFIQExpWzvrBE72raEj6XBickCPPjanCfodwNk5j77to2LVO7uTfKq3VNFJEss23eGyOD9Zwh6Yiafw9UDgUQ9/B2vJFjNFb0bbc5C1BXh+l/I4243OhHm4pFBdJ40wFpSw/foesppxi/foZsxJzhYxrQZTWzLr+G5AlOEmAFjaIP1UMOkxOX+RRW3L69iw+z12jp+fGr4T4kVoJPVSHTGj7Mdx07tWTjGFsz19xnjMp5d7f/LXpzl8S98eJCNTpHpd0IH7wgMecWRwS2MZri3btgqY0MPqE9gOCB7Br79Jh9vkG5VzAS5q09Kh478S27zkeGBLqlEoRDH2sBRdI+fqSN0AqUev6BPuQv6TMz7psGPYhOVBrqdRWtYU8FmbjP/TY0oYUX40iAJWFYbav51tL1Pb9wQonC/6VJj1F3dhQb0HObWZa4aLpXZfPsfB585JdH7bLMyGUXwy3Z+2agaYvDldm3EAoQIx0MNRwu4+rhmR9bVPBzBu4kr/XprApyR/MQlq14DzzrQgKQb/6arb5LG2fRq7IaIbYMDbpbwPs9JhHuhnn3P/89iwwEdDcltck33dIsSPpCSfIj4u9dnxLaxTpi6J+fd0r2lJYPhsZz6NJLcHlY24WhbZJVO65qKNny+x+xPMtWATgepkBNWRHfjv3kfziZAz3b+aD02gMTHSfvpKfRWesB+9xQwsX71u4+ngg4OBkPaqmUhdn3OsmhUVI6ibQIpelA6gR3Ys+upYVuN75ks9cCwvIel2jv4eoz2h5gpVIaWmjt9Ck4uSgjbsIT+TF1Y+UtmFbs7FFcsDv/4ghpCivg9wBrr/HVnRD8kuLzkDU63ilHE9GQLBK2yb6UCIwdEWeNynI4xM29AS8lDehzHIPRsHkuDRVTJnQ9neLdCMYTmaZebnesgIAZUMY+LuVguaxkxa9uAV5ZbyuEXPiW+vYzKquYrMG3q/t+KENVDejWD6N6rC8UNmEgt3PmrRnf1LzrX5vYzh8HkPZh7GTf2xv57UwRG90TjhLKcqOEivfPGTad1d3rBulyev9n1cIz55+J9GreWjM4fGPsPGxNU3yEK0M3OR6iV3cbMI/590QYpUWjJHvh8hpIiLnT7HDxDcmax4mOFJ+QzVRZCehm6zNx4SITdfyxpKdAomKd941fQGg/WBmYAZ/9t9ewerh4ZBtQOO8WT7nLhywWSSVbBDRpHYTeRJZdQgxe/qoXTqNHIrSDrJ4bSbxds2878tXY5o18oYt5YYqx/AGAz7QUlZs5B3Nbv7gEWRO8HiDdJnyzJjrXz5n+HGy7XFR4/HnwvsJUf6Vw6Pyxy0qKmdTRZwnyIhoBhVudx8jjI6hgMYmwFKM8NThaOU4BU7gu0NPJMNYLnd1sBGXmM0/mAg+ZATFnt68ttpW1pEGpNuPtAluFWQRbess+8tynHil3XhUvHG0Qyz5s90I1W7yXvlcLD5UXBezhz33IHQX6kFuXuJWr97Shy2qv2OHijfYSyV9TTNgCzLH6txe02PlPdnNNEoEfQz6JAQoust+redJ9d5xZX9j2ncNofsaVB+ybTY2gv83TQoPHmfNlEXnwqy5DMnZIzRPvvQqD0zL2740iQJ5/1zg7fZrmxO7IG6PCCLRe/UBMgu6PAGY98PFKQZn1kiMsLrMDw4+/9bOK4WKBnKdVapu7JJdIIeSKvBCj3sefcy740dHq9VRoZgSuPBQczqGdERsMbNgpYcVfMbrmyLpkZsj02ZAGMpEliZEPglfHjyCszi5FUXCKgC+H7Rum4gEI7Iz00SZQAGapapgrmG12TrKAsLYMtgaLtPdNC/SQX+FTeNCniog8rrB+dpY774QbtwKNZZ1uKj87SE2l87Ysqqe4P++PYUKSCqlGHLTiz6BJhtkGRjltZjoRtmfE19DKGvLJDbnt2qbarZqBBN/RPi5HJ5Fdq/kldBshtwc1mWTprFrlKpjTK5eiOKdEdPVfAVxUNfrlFlxM/cYnRKqEjlAdH/srBVdlpV2tqhFOh/1lBWpIvYO0NiLbOBmRSmJbgW38I5iNG2K5ABiGsvTie7y1jzc+ueF3RuZdhXO3C+VEKf2blPKfpcLKsQAjCZLddrm1t7i8XWJPUyilwEY6NOWLirizT5hKmZr7OZ+VSe8fDoVz1l/2f7UwyuRSy22twKsiAdSdXBhjzZH+FiDjYPiJj/ZJB5tdfX1H7ZitdY6YaU9TcQJ4wC4rKN9kKQnq1Jw6FLuREvB7Iz4IYhfPQKpBLJnbqWuxOF2UsVcGq/wooDthG5yHQ7EjW7mYhUQLA9NLw6KuBJRYjr8243CHhBBpqqm324MZeMsEg2B9pQI9e/J7Fcbzse/FF9ZmNAASjb/0mj29p70TjJ8RelJ/Mich9Q0SkGy8bPcqlCTb2PmaW5tQRb+LUPxEjVkvtIrGDDC5aaK8H7VESeDZ0wuRD/0iwcbTf/asdoVmFcX0L488fr9Pbj1SwWep7qoQqkfRyvhI0osLTO1luwcy+ZoNpsv0XGB+sTYQhUclWuCrcV1Sh1ygA3ghfenR2iA3bDrGekI5fmaZ5ZUvZ3KLHEDQMh5vzp3s7e7eBJrkOUzsAoSrcHpSM67+VCCTgCYVr43WMSGZfbsrXdrtenmreTYTpsk8zHgfaCrgROIbR0s9XzC8CnlrWWj7pcONul6VGEnna0kerBJS9KSzNv1rrMjDX+k4FNmXyBiFodRvCPzzJAvB5iAVpOmKh0kH70Y2pP4CCEqasZBkz+2QpHj8nwRpG49Duq548lTRifd4kOZ9olCb6+4deQtqMA1+KUJiYttePgjPSOAw33NhLlZ83oXLQ7FJITWD6cFRn+dcx+R+f4WoXD6ostmAKfVltAIQYXqnh0DTqjzWb8GqhUMsrgRCb1uEAazlilpKXAhstaT5jQefwnJwiVvVRjK","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"}