{"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-12T13:26:48.416Z","note":"conformance attestations are re-verifiable: recompute the report from the target and check the signature(s). Never trust a stale attestation.","pqSignature":"3CTyhNQNrFG6KmM+4NzlzQSujphv2gW815xzlghrvedNCp8RmkVKAhnFaucg8oyK4MbRquJ157dFO9QCOzCL2eDh2xBmQLofkeTwt1ECXYQM5wvj28EqTV23fb7y3Idc/+/3FrosOK4BY2pwSyCYClulFSNMk6wOJAMTRFvKoBH7CtoPfv4wTuVoMaaxP2SWYcwCYWkqARTyzKq2XXYkFjcWWmdPUeHyBCwYMvOVWn05VIilPizkic15AwiadnAnETz6k5eCWbDx0wLrQLM7P9yIw43vlAz2n/LkHjDFChWD3qe5UQcb/vh4c+O0HySV9ozpnftmT4rvH7QR5ZWE81dU8QJqZDyr2WFwR7LuwqsR6VZmcEPzlBBNRxbeHdmwlI+vhAzZNinJtQNzuXZylh9iS9ZfZGIOItuq0XVKyAZ2Wh8S+NQAdCBSpYlLkivMp+yIZUKypJ/44wrH8G3oCUVzfZmeekpZeK3C9M0LB9NTc4AJgs8xkGM9F5q/cjPXrYlzmqypMKzqqOIclBiGFIt8Kdnfcgk9hzB6nK9aULabO5jPPuUsTPaQWOKXH2kcqWOidsQlf4J8nfT0sauCmpeijddoFn+iPKUgUNRMzXneB9uzdLHGOFeSjTa8KikixxHxBiVQYEvQcHPYDcTRZBBzqrFHiglcXIeBZei5ifI4ad4VwrgX6YX3s30knbCawgVloe62A0OrJIGk2hC3/q9OZqoQY667dwDjMWahHdJWPGBOzFxJ9QQKYIxpRu43WqrVtpE4SUkDA6DPDwZudAaMazXllrTlzmt0HCzw4iI4SdG9hzEi7p6jBxqacEC6XXgyl5ItKoMYQfUVzJ+p7IEdggsrYIYQ4chMlD9MVTGNMjgS5IV2CI3uUEcPVMcez+0fW74/LgY7mOhtBdhSgcEDaVP38MMHlvuesGXusTZvypn1mZqNvog7w7oq1mmRaYxFOoAKyyiSJler01XupQyTRGr/tYOR+wssi7PzI2Ad4BijeK/ycAwrGb9Pwy0DAgsx7/BhADItBiIUaqek9ZDlAEjn1dyLSKTb7k+Tz0hNfWxnyCnBW4mNHmMu+EZLc9mBIEBf87vq4aNZy2sLJ95sFFSoX5drVOW6yvZ3c73jZgfTAKtkhZY2ggKXXPr+OqA9YI5zktqfL8/H+aU+/PU3WvndN7sBdjdCvX7ECU3Y3nCm1duUkxiCwFNbDGxim/bDvUSZEUrH5B8Y+EOlNJIBPy6vaFptk6wzFdygxmmDlvb54lFd4eATUWyM463zQSzNROp8YzwVCA7b24W+TBoRSVOpx7zeOhE+LYLlfay0pBv0LeB5qnYyFq00tF1iEuki0NvCpbE2JOfykcPe1qbM10YPGAlG2JOSQ0hKgMZYvKSWqvwzX+xhnP2fEo6afQoXQHSG2yAw8ZR99vi/ry00C0Z8TFBE9VNcKGnAeEbXudEX/K+efNb23ZL0gC7ym8Ftd0+RzfKELwlt8ngI3EN9ohAeJ7sk3Cv9D7i0o763vARWAt85sDEuAnBiAVhowis82FlWYnyfRxai2YnW48soKBesQflBlBafWqtpE89poYNEpkYT6lDd+pJmpFK7lkJpVadZpBkaoN+8sss512g2YNlMNixeqoBDkSwzNoDZFdRaaWv7Ngu6Sa6zvcCVWQ4jXs1AP3l8JoG8CnTUFbudm9sL3rNIO7jwP4pnTiPuNHULkLwS3HAKhzFj0SA36jPxgrTEpe4iLCnxUjLp6UkOHOWgn8PaJrszOijl8aQCBgoI7PzBgqJ4wKSEH3xozKqpAzyHhjsgLv2I0VLTSGlgeYU9lbl8yP1ecQBx3ygT4dnlvfPcBBZt+8jFAkh1AMotrxpUs5FPfW0G8Faw+n5NC95hOjzwRvbE5RYGpXcQDuoOkGuWaJBw2Wo3zFi3Iyo4dS/fmuWPXwyCNUcf+1exctWyQ3nJSH/iIP0/NTG9LNQE0+xqKYWww2Cgk1F4w8sVI9HGkG5GzkpOUbF3JtNubt3bKi+SiL3LI+SWGP6ogsbdUKlj5E2ibKAyvRL9s3BFNGj+/pXIP4WBM5dseokNBsgPwLCwb1C8YfuySCDQYnQ3uLGbD4X4066OQlqfsSm3sM7V5zEoDIc3bs1uSQRnb9hDUTl19sHkGPlwQ+8aGQjxLMi0x5QExr+X/iI9eCd+nGCNERxPRexJpCo7mQcavu2FZ3FO/VF0i3X9/Wm9mK02fJ/KqVRlDhMRi2rPnqoYJmn1lhT03VbmjSjLifwzMAKYBpP5/Ozqsc0XS/bRjqqqc+gMzwjzI+7S0RlK0yhcsGg8ZD01nnRPSbORkwtOs2U0tIzeezVofFQooWIxI++kYbCCtrytEqjDEUyxQDfCt0KXn4hwpJK0i8aEYjHww+8lyThH73GgyL3vppgtcmdpyfkRt5XQVhbr6xB1ppnzeQTO5L2T519qg5+C/0U06bqLId/TBD2IRX82SRj4C6EM3FpNwF47Qif2HlCaygl/SYR7R8lNAkogb4kZDHtm7ZGHBOur5qAW4ub8W7P1iOuVyy9NnrmWzDQcnEjDrvYwnVj1vTrKgY/Cy6AT1uKm7jav9tbiLM3qt/XNW7GmJx5ViX1IGo+N+ibwQtqTrWBOFNaV1aVWyLWxgZlVU3DIzZA/5Q5JnOKeNWY17TscGnwKjq6JUHzdPybkRbvIhX9v5uO+JZBFs4wNmpkL5HCPJKfhRlqEnCWEtRdamB9HyIh3Zso0/Op0b95uhogD7Vd0LGHxmE/II6DPYv92W76ogF9MLxXxFRQDEwk6yRTKBduTwKyd23HDhoOsgE1bJWBg76CfTH1CSy+y5cO5rcqOksRyaM830ImGvAImCQ8BVa2qc9m8TD5pYEYdxpam8ZNXMIrXfxDrtNaWVomwlYCQZ0lr5ptduhpd5QCj2yqzfkXSaDBrnBEipctcjG4K6fVCOq+3cgXfBb+h+R1GYBXUPihJtlziHDEZ/W/bJbLe5t6rFMchgm6WlBR0JWgnjE8HH0pCIEA16HkSASFccyEMOD2mZNxkTdJDUxC2F2heshPXFDwfUHvxXbXlJDZfYob3Q7J82qvOzaZxaSdEim/8KJEWS1iBpV9UD2pX7s5obn+onfdM+VWXvBQET8Xa4BH9Bvf/LU0ev9fmpaiEfdEe8/WZe+gWRd7wDPTCAEK3/G8YaTV+lZFcyBafgGdsrdT504UxcwsjXlG8SNncuP4dNzEU4i9bEwns9b/Y7x7NgO7ocLhRR/bFSGHF3Ij6D82FR3zUyGvSc5cgTZPk2pWMjjK16w2VelXr0nr4DqFXwILqZ5OS8RGkcmupb5MMV0o63/zKD690J/Zz8Sj359GymHk/4qnN5tRnwZPzvJEzmViLJ5JLV5+o5TM7uu7g5Sq5FPgWtIAQHvXyG45Qjl/BGvTustrGRhVFzoAg8Hv1oTZsBFBVSxTH9hNPwHcl7hwNPdUCvEzau8HJRctnigqWvtL2Cpmd0rPeY0BdgbUpA79vGdQt75c+JrxTehKWEP0FdhVd27U88a6m5QZWkipgq1DfCDb5rKSAzwTGye3fN5d3xOzPfLmgY9M7bLQwEXA+av/EODPhQ56ki2aYbPtWWKZl8o9IOTMsbGhvcVbgxw93AaOOY1ozyEnl7CJgQDRk/ut14kB5VelVjmATJeEeXLOJcUBLCbOYUFm/SD5HlMJwrdzjCmgHkzdah7mbt9b0MfA5ecUCEL33kRqxk80dyX5YTc+SNssrwpRcvM9JpNmF6YmAoAzdwEBv2f+vijy7NlbdUUFsqZKO2zxnFKQ4+UDw1eaZMvAZPDkmdfkMJRclkWe/ecLLu7gPByky2X5ps3yHjChDHP6et3VKmv1L3sa6OSsdzKaLPrWC6zqYVyyVgZx496lSjoKryJz3CKqX6Es07Dq9GigqEj26ABrqsVHPA1j9+VTb+LzztCyK3eIHdSI1EPAtkO7gxdojzYS4yp11VQL4pkCgiPHPeJdsvkmntCcSkcxmbRO8ly2EfEkSVrN8Dvit5mnXtUfvV6GNwa2Pv+BfmfozPnWGn3Y2KvoSrrtjKDUovHdfH33lf6ujj02eO6oczml+zQQr2UdmdNCwLIN2kJ24dP9oug5AmMn18EBq9v3KyWAFD8uyy3OP9Sdf3bR3drl9zE3slxJ/Uj9SgrT3qv5ujfuo7i5Tj9IRa52TgLznz3lWM+sgiQKngA4NlNJPH7i0gjz9DUtFqrXNvfNCxHy3JFzgk4ijc7iBJapwO/vurs5LlO28Or8Cj5MUvkNxclhVGL1tLnoEm3s51THMJwAVgdqEv+PzKgJ+4CCd0HwZddssNJ6YL8HO3+X+JWk2U2uZ0su1nI86by2uBdMdE9ILXox+I3nc1Z9BelnLisdGBRAQ6xzX8T4n227nUqx2u5eQKGaEuMOmalxKf8t3IJfY7PIQ9k0OqPfbOgu/feG7+2AGFE447uCKwkOTCjrz/xikh5O+C337aowdHFy8dVTpfiwacqEEg2EKtdCq/VocB49LIKQTeZGPpV7uiZBsfJlpkQ0UouYO/VNCcE9nHS10aRCIZm9a/ixvuBn8i40saUCjUOy35Pfu6mWJQSgNe0BTypYkM2pInk+QXRDYHcafJ0NBrBqHUlkiY2Xbmbih4GQQo73emOnDhQAFd8jKKJ7+ibv3vuVlW7BewncqVGffIgdk3yak9WAaEBilqvcPVEcG2IyXggkB2+KwS3E8+88nmfj70NuN9kukACPZBqW1OQ5efnM08I92miEY/TnXpAcChoSJiaZH3G/Pc350B40NJW7O11Y4vBycxqytwxqi0NjuBPfJkR5xiYClBjVKkUSORuSkz8TYwDeT37nThjLLY39+z3OerxYtRuClvDZ9Bc+7kWDV1VdFYN8sYxYRuouxU6YQS0Yczl52jaYGsVDKpxvM/6jLc74je4EIlUgsQMULxPt+FEI1eYcMFjEB8JuM5bj1D9HWng305Ci1pc7DeEeMdAoYlSczF+Qv6joIg7eaHI/0mI915hyl1jDV7d4iyf3TaLuYIZE8KNFDKL8S9V6akCp8KM7rZRnjUJYabZtaM4uxBbczxatEFoo6qIJzN8QezgWJUn0oL5lIHmvwFh7vvGHam3L5LxPzz3kWMoxZxEegB6DpfVnYCnTKLJJFRk4zRUj5B35S05fNiKIMdixwvQw2BUXdMHzrLHmjHOjvuMpk343h+I+4jB2LHIELvZlwfAQleg00hQ+6BYFfQ7MtWASIEO8/lYRust/svQ0wlt6fL5f4rqtA62p7tpCXAsCkB6LTu+ZAgxp3e6RovhK6sAIMxW04GiSzHQOS/E1OCilutzENkWMMpp6gZrDgSuRC52GtNVfQbtQ/mfnv8Tz9V2Dkp+BATetJofonCZ6gHJMWWOKAGLo7OqFox+JM12i0EAH4sxeh9yZzDL5VmwtKgSXiAK/zNaSvthM4vzPWpnVCjJLgugRW5XnlQTFXS7TpRGlc50izinLwRm12Adhf3PhyZBE0ncDCBXqhTL5M/Gl5QpCwWKpQpgbLjUCmIlUhd4vvRAJj29G/fY5GXYJ1oxwXFKEUiKpRR3kbSctQ7IfkuFODm3HB3bLh5LhZl/UFrGqLT67JiDCmZvpK61GLfckYujif/MS5loVhS2qQSV2BD+jzN3bwIctPyx+Z/reMb4kIIMiCi8+5UoPG1VDI3hBAGFXuxEem+8AnuaAfz9uluxJiHbwZxYS9nyv57IxchMVKM510XxkIMmaVeS1Xij96ih+6yDM+Pd+UztQHNq/DNfZnXdHHIVE1Tmru+u2MnUNZp/M3A4Gf5qU6DtnEnRsEWnqTRihtSfTygP71llqyk56QUETrgoxelaHzXmTlqrWgmc4ozrK6gKn5BpVRF4f4mJDM+Kg5q5PotHeAmNxgfTcNhrusKBwC+/NHmNMUJcOrdJ1y6CD6RNLJaCIUgOwKjyqnQBzjoM477CzE+fYqNfoRKkvi5dwvPOy0NzodPZhpgWhFeKwzG7ABnsQbib2Jw4vhUjSHF4qmLHLeyWuEukxUl13Pe0bKC5UxfWEtN88iyOP3KCwXpw4v3Y4f60lEJYYBwaYAcaz2wY5Lru+WDOJVM9RyVIPGiHUggbVB3ZcA9ZEE8mdUnSuRXcFV99MMf3cZf9nGzxb3tkb3VIpyeZRjIzM+iGBZ6FKF6xZLAUVhkCWzcTHnYzOs7qm/E2goGh6TzHwXcFbJfPkVIQGy22Bdm/jXa5nTsEpzxtAa2+A3AvDTAmQSc90gKO9aSzwisrxRX7mT4hgEW3aAORkFRiwnHXZ7T/PwQPPd7MKx3yQxx3YE7e+/DduU5aiPqxP1bbqIZcrBDvSdJcp4z4rjxAluDquW8gszUkGs9Vs2Czrupc+5RQIqRyIwJtM1LUNF7eOcWIG0SunTt9GSyqhayZQ90OeQ4VHsvrCjfDDNXk0j4R2clDcSKknVaXxv6S9+BZEr9yjuEdOrPj5+zKs4OCCYJCvijc0KFsdfgLzIh3hDczd7KRlJyu32eU+OzFskFV64Cm79oTa1550NWWx7UHg2cEnBFHev11WK3zQpWb3leTIVcWx/Mb17c6OvU+A4PDqlnJ/m7yoO+3gRVDnPe6fkJeyb/5Pds6i3dP25qv5peW4EPGrmwTlRSTNBT+2hmj6+SpYydKrGvi7Gr0eUuLfe5N+a532+lHLU/I/Su0vwfoapqvTbgddBOybmtrHlVpdvMcrlybpK3O2a4EhPkXZVOfdIVKOf2GB0acCiPhutrhu4aaQCoizlgF9PnsHgKTtLADUdDCTXcK7+J0Ay6vBfiltwP8gkjjvIgrIMgkoiF9zHyWLV6eCB2pVuj0lY4aAx1CpwztRS8aYsfJmqgBeJufkpeSTi7tInVYAs0J8oZ9VPzi3RcgrADetg0hnKY0K38gz9mHuSpjJH1m8X/SMSpzmC+7+L8T2fe5PutgcGo++TWQMTgj+JamvQy00QzxNoxmOwSk+h1HI8+AQNRluHdpX1zZz/cmKrAOoRrG0nyHEz9hzeGjFtGxVToeE6ygs5ir8Aa0ev/7d/okjyXNE6NVzezJNCvSMOd/MkByJu1IueySOdQQwlmkyIb0IzdGRJKHusLRyXET9mjzLaFKIMS+FZPYsHNpe3vnze2Ra5H0THSRk/B6aCMoT0aiJam95FjA33oI+J0RApXPZo2yHEUEQeP5mKPGZY6ol6YpeNYUEtaaNPCmFJkzUE9sKzVj+KP0BNJ+VckdfK0Gxs948KdpYnkue8TB1woxdMvHTluJRDh8iES/+zDmAYJGeNfmmHkvKiFhSDDN06wHpHEUBMbMDgpKN6q83QEW8M9lXyb4zubGiv0MIpv3wKyMrqPhZQZJMNKqPFieFQaaczwYkoxf0UzGtSiTdoyDJI1h27k8mj4Vxn3VIobJ6KDjvKdVCWSy/mUDsuzk5p6miy+kYwn6ITUT96L+2xiBdNoNx3yVYt6LV8v2acxrAN+uISNQnn+Z33pNIrbQIaHGrkHJtvmT6n+EcW1rlHB2Yk0B2DXt2Isuewfi2vzdS5b+jx67gtveqRvEiarD/CBr6jh2dvNQEkFbfzNtqWRRW8RIy7t8o3/b9zvYaGXyrnz3dbyeUJQdY/WPkkh92HKTdlQ8sA6yansWHukNJ1R2xkKNtaJXW+XjHWxWqqnadWo4Z3K9Ww6nVrTjbGMj3MjOeXf1cyyMCxSHGDgNj3ugz9gXBEcvoYcluAQJ4cb5G7eUUXTqMOIIupUhAYfCcBtnEJnYDwXwVI68TGEez28JPIrFiqZxissrRisrkCvk+hs1UdbVospOJINDBwVb8rrDH6B+iDb61OtQt+9qhMCvyK7M3HgCVQO/ww6WPDBGN7XAok/KbDlSi4bfAwGKuOZ0qzCagN/rExi66k9RBW9MZmhkfTn9FKD/9OAr9O4PSJVvu+8loCGYQ6YbeMVmBTA8znqAEmY5+ZIavwMZLEKp2+K3T9gRoTlmFZck+lDSM53kaJKnO3Id8fS7JZV9i/4x4TEkqnrV6AMFy43/9Q+fD2OxBTq/lH7vbjLIQjyjKMYlfok6pYyRMmpjXLmc8XKlvC6d0y5jNm2OQKp9golWT0oCH4DG4fvk9IcUjbsJOM2EhvQJv4Dme65/OcY6lVM+gdoA/8KiqJ/kfOX9SA0toMBx4dSuXh+0nlY8I7GWVhuM+uIEMTNlPpDehg4Rsztqs9F0dUTvfXlZJtIbIqcZoEoYzWXi4nNcxXFkekRa1z1qKEpf8XeU0Q1Z2HQlqXRVTgtZzbxsnCLQLkw3pHYWqUs/SeaJp9oZGzFk/36/fQiLPkQOMI6eIvrbIRw6tBAO2Aj+dqxouHlBY8IIlDzV6V6ry8KUIp8ooBFrcIUBIVheWhpIzYTVmdWxLoez49xVgmqOlkBmDfZfUasCARTTsXKlGI4/2/bWlcCLI3hkBLRDn+hk3iBdS5P5Vws7tCeOfYootszBJ7KUTKQDc3/ciOssTWWmDcR5V34/TiWvVhrYgbgEvupgPtOckieR/Vr3c4DSHluTJwUyqxnd6CDPyv72fr+Bw4j3KIIUH/xmB1r+cKwlMQU6HXqa2je9QlacZ/nxZrse20tHXvWUq3vpmtxbJCCj150fvZCd0cSLsEqyj7sPK+pSYjn4ZB6r9CtJmLKeHO3MS05RnsUqzZ+xj9Ot/M4kD+FNzEGxgmlJpVMImqEbtbDbtVPASj/q5IxNICsMyTfm0jY7zwG7FgCnnzF265AuJk5VjbZHnhgDjDv6O75CiM/UqyJ2JeHscrh9DGkQymQKViDUORsmBmNIlX5LOaOj+6ccdjTovmG77vKjOpY0KmPpfTldzCEpAA6ylLlDop9A7X5DSNAxuTIUxsf9Jq8jt5x5bn2zxD3qGoEUDdqt515VH6+dS8BWLALIZsmWzXmI7A/22E0UhdmZcjEwR7Re6wPpLNWx9Zaws9jnhQxj2vk9K7cwfNkHIRrbqH+oO/5nwMdz5yZbT2/MWu1ejVV1fgsLUWRUggLcyCwe1KiJxLJR4TXEObUnJ8BbOYrivVqhfZ5uG+XNtX0RS+Pa3lBE1l74GIqbmxZ61ZXJPRfEQLIElivlFUeyqQlfSL7ar58xf3WGnhN26YS1Ic27mUEVh0/HyzZYfAzmgchqtBwbluV4OFsI86gwIqE2hSovjzZtvLAWcs6Ndqvhey366A8GlRvcFa9+xfpueK0+PzDr+ZUt6q/Efzpej7Y3pPrgZmWQqIhTo2NXdsEIRy9QkWA0ptNMLmR5ZZuMhJr2eyyP08yxevMxwPO2HVjOtb8GGhhKf+hxoX/4ScLxYnaiNuF38EqL2y+nMiixF8C1OwXY9Syb6zBqKknf/DEtjC5GlgWivvvTIXBfBvPHgx7Tm1UbrmpxKmrtQcPQzR9HONjHKUNiZWxoIahM4SAXJVX3mU/f1Awm6AoWCdoxO8iibO+7jPGy28qS6zbeUssIyQMyMu0mTtltn7rz2plRXz8pqr3s5EE/d353iDjasMUxZwfqpyZ/6G9IPKqZrzdD3DKFcroa7Da7442TfC/QprTWSSJeDu4KsyMBhIY0fF61wKeXAqzrv7xjBx9pQ/JRDGTvvtnWloRbaGszBPZx87r1EAcB7GNRrx3gaFsfWkfxfOOCseTd6u+yy0KhkTNs8ExzU4kSqhT/OCS51yNowJSxhD72OfHf7bDy2BUcoMifF4jXqzVc/O1nPxs1Mf6np6445iN45WaXiSC/uy/YZCyN5le53mFqNTGkZVvu6ENJxwP3TKjYEcpfiWo20E6kYf06cn8Z/EcG60LO9K2hKGZcdNvqOl88dgRrHO0IxFpKn3DXOYvL1S3CcMJ1hsenP/BwtIurZ9YIez4MrJnkRxg7MfVFEjqyoC/dTQ5/Q6gm/lGh1Uf+Q2FeXYDIF2ugoiQqXzZltmusEPr877wKYoW0qdWnPWAvo/iMuBaCTAeKOEy+vzVUORHit2l57TWz/RCtrfhXPzNSjhLXj7kA+abuFq+swJEWsq0Dt0wf+EiZcPGWEl/TIxyMw0UAVvEnIblvdvCaLHCrhi4b5op8j8Lr62rocK7Y27g710iZwIvuA6NQu5xD880GaXbdOjrt9P8tqdbhv6VzHKxeR7v7slXHwIKvUdHCNxDUT0WGpVGIY6OFLdB4iT0fFvl71dPwRrIgTAY6yT3/tddZkz/hfM8LjVa6BPke/D2faZul1hgf3CZ6qyJoXi/aT2qanaR6Fg4fc0O5Q4FbJg8g6yzod20NmcAIvGH8FbobC6gnowtaRuEqmToS7NaCAcp0Yh8gZsD5cO9zOyDtEWCT73l4o7AQ5RPrjm3mwNwbZR58S5LEFq4MtmGaviNFwAyhFLngJcjR8uXNoEsH1U4XUpVKlfqA7O32vfZv4oUvwQ6gfmek8YjpSUexUxOUZ5wTjyr7NTbPh/XJOa9NOqnlFPRnFpbkG1qttQ87lfzY4bgfcYH1H5gxZtDu9ptlvxgsdFfy7ufb2lEy2ZN65pzIIKW8uJtYPdTa3JzpbtzbvETP5QgGVizBHZ/NgQkLTK+3qcY+p/LWTJVvFiPReXLZxABJFRVJD7HlIWURYbNIdyYkYCWWOqJV5MgDB3naTE0xNrn7aG8VzDCCH7rRO+nN6Vu+JwWicqWB8wFdreZqzROOZpfwsJYsrloX8Nb4dvnRMF7JPoYc7XZ+aK4qBt9rfkDfHH4a/0GfIkDkCy4+2Zris/+8cF+j5f6LIE2woluF48b9r6a3QYwadNOAuFfoQzeuCXRAr+hNBPIPKqMonISMJ1h09rHSOF/vJrCO/dUKTLUubWXPliFWVIZMhO2Vca95Hezsffr6pqw3hGqjB4D2TvinMYHFY4L1HXWV+OyRef9YhdWfsKppoTyoGSxBnoRDSs+eJEgC5JD4sSb1n3DCIQDXXWUSPRfKqzGDM5+ZAUaa8nF107QbzfMur9afQBtYxxx9oUS+pZN7IQiYkNSaIPlK0xGUF2iN0P22AXBJeb+4LdSN9bHZauBDy456u9cZ5fdLDWOFiyYXUukE6oFuDzSmmzijyC5v9kgj6WiJ16540AzyDc9bmYulsIsoMLIKVGY0pV8jG5HaVRa3Dwan5CKHrHhqWLmdGqWhszzcoCZiyGMUvxxP9hSzIl1BQCPCNFN0y3O/3byXQ4XNSPPqbKk487qK9F1ZVG7Cws7CTch4VslN3Bzf4I/lt0gjwvNb7K9U9OEIeaRdnHJlTXn5iK0R+dVKlbvaKEDLwUtVENLJtz1V5/dMz1JLnafU6WvwPpfIUgBm3UkoMkWUDNr7oJIIoJTjalTEMcPP3blO4gHhqpCcPymL3nnUswWXUhSwN6dG+pxQ4l/HdsFhIc/Td1c58z9fVVBT0sqaRXzdvycvYa/eOr3yKvos1m2JyufKs6gaYvKbsOPYpA48hvUE93HR1xgQRRbp8+qQ1FtGQt145kHVzuRFmqKBj2pfndCHKOHnjWBT3WgrNA9TVAZnGHRLGKdgbiwTEvQxXUC4plmBE4D2cRcalnqk+NDeOOxPAUyMfZLDpnBr0j+Lf9Sj4B0kHbxkVbmOCOci624gnIDECrs1ak9MZ5tGAl9odNkD7nEnWZcvuS2+RrYeJzwOMeDP+Td3sXqmH4tyKKD/sIUn0YmHgy5jOwSnDZj52rX2AUF7GFQSseRHlvYdCwcKE8m8tc1jRlXbUhkvp/iiSQE+gLPkfnWxN6BoAb4CrO22hcvVA43usjhFxoUIBY7XxkSaKvYV7qqnHrNhYCujqGNY+3wMWJIMSI9Ml9hJUuwOsYjScGlWO0NEt1KGpDYVIh1qyLoImypx+XUkG3fbG6/8UEkgRm50+wYsjT+dROUrQdqwO4vzmP3F49tHd01a8cpANsB83N+uwdtgRKLcwVa5DL3XIOXMWqaw1MjV/Ye4vO55zuNkcYqc4idTUP3AZFePOxyttb0KUG9yjUiDaZBialmR8uu2O78pBwKsM9bpiZK0ru7n/NR2/VLvA5iHCMPxZM9CqPwBeFGdn2NKs2atnQUarP9oI8hbhw9yqVYYbPoUR5NEW0jYdFcPilLPdmFkSqd0jnEZ5tvy5//uO0PYj1OkwJhHfdfVrOH2eVPG34BOMLjssAqx8V0glh2CmG4obZKPosyacXWzg/Oxsh/JAECZD9WGmkq8/l7Zw+i9S8h5MjVFSfVoqx78qKs+J30MzcRAJFTdrSZGLIaVWvftom7czrGAPRP52CbisxzzsM6bIMu/VOC4Q/d/Q65v0Sfmiu5YSYylAzxP15Xk0N5tIW96+XVOIyBbAIoKAYZ00w37/66HxjZmPxiYti5hVrKASYWq6IoYBv61WbsBjdDDCJbRIbkoBo+mf3eq9/oEcjagB4Re0a5GC9PtJmAYK3k1dDgDIANKnnKbx3VlawdsTsGe4RAujCanPmGuDobvv+znIcJNjIOO+NaQbOk89IvE3hQLuJ/1LUs8/KLTIOMdcsvZ/rV7InJZ/L3HYrKlisNLOVthjpGMC03NG3h21vIDYF7VFo/WOdo1rGBZguS6gl+mPN6aM0qde8Q0PJe1id0uZH73/SnrhGf2V+9fz+qWP88YQnRwS5yw+QfdrK7UqHUwYL0oaVpUyjp9x9sDQBoyddq/P+aIjIbdXp+PH0woNHdf5zZ4Yh1rwFmBoqXO1bqgT/PuQ8Sl5D15gVZ7UwnN2vgY4gbdSc8LbQq7+yFQuB5NlFOllYzEnqrwqBk5cWeRBW8nTOgWRz139gWAQawubo8WU9CTivSRKRWtqZkieHUPRw6KZ1BL8pGCmVtSKSPGiQkfoO7oaZdY+cv1BBB/TmpX+S8B0xSK6LVl4QsaKKkkcakAWgJexHg07hOGpqckQIXEfaC3oDJQKbZhLaIj/vZ/klOZUEA0EWyCTKtgc8vRmjqF00bWKQitXPl4ej4iv9GxX9AlMHUXqXJRf6k9qsCBvquzxyMI32XOVqUSlKzsyG4k98nC7y9C2plyY2kS3Qy84BWnswBmlBLGvIqkHGyPeiWWl9vOviziI/ll9QNpDsQKqWaoXale5jUMRMO+0k/yxDh8kmeFwZ5ABQH0EF/kbtOtikZkL4Aufppj70euI1l2fdWCr2l+f/XNO09Mn1kjMJwNtKb91gZG+wgT7A7NaRJ/Kvm81xzbYzQvE9R1jPIiNXI3uT7+BzciaMT/icIXlpqjqYH7F4J0z/vdrHIv7GheLKgWIsTLoL0XyfDaNF/VYujnYXuUVFmh56FIJ6T982oSLIVZk90RvEufpmLtEGbRZsi/c3ySPWLhvQvy1A7eikTmiVwt+1wxTUuFBlooLpKkPdV1ByKyRd/t4B70Vj1OsxucYMDctI0iOzW/mYCeTwelnw5JLxt6x0KEyJ6r0RVpDeou35yyZz/B3NMbVh8c684RtEt2kJ9cqu7YxT+fm272SfWjsRimkyPeggAwq91UtQ0mXwL6c/9FANsB46wIuLnZXnvlsQCyu86S9fDRb/1te4qAlNZVy6VKjMVdSmXZ7p+HLuZNCAcp9OIxnaLaTpzwmXZPmGJ8wHAKn6OLJMqF8Z0rfiEGI7jmutLTXx987fnVNKIiRyqSQxv8x/MDnAdAPlItyfw2k3AdwySmEeHdwssaMF0wv/cRH7ojLHmpe+Z9Gd2nM3AFVmOoLDz6dkVRFpuUPds558IDQ/Tv9v1CyH8o/vZvIwfs8FZqzz3HpTU0wIlHNQsOQ2DA3GZ+0LBxYnKidgPW8vC0V46Lnb6vw30dWLcb7AUv8FM1LbQfnzckrZ9XdrAEF3mUEAbcWdlb63HRxcSZBhn7TTGoFeFDgOEUKSkHgCnUYqZc2iWaaReqHNRt/DU4lntT3h5atUzdhNQhTdmdxNm4KGOmGa3DyUUckrqUflqCB3NYSi4kPIwmKYFzpTBXudd2ibhwtNmmwPb++sJ4Kqh1tcV4YCw7t37qWos1EetshnHLPfGDOiOLYGseKJYVxd/yLPRWai66G5baySPKr4ZCEdodpGLG1mAh+09aFvc9eMvwg78uHIMjW5CpWkOPH07g55a4+yUkwhhx15XMXp3XadSr+emq7X5zAK99EKX0f1znzP8EG9BH9vbeZ2FFl8uv5YYwRRauIgs1BH3uZrooeJby1y/l8QvvW5l8GzCg4TD9tYR49JeT3abxBvbLQPy5D4RfVTOiZnydR9PEjGpx9g/6eDXA1hRj+4kciXfvpFmBY1A+Nw7FSL6K9XBsWoUzGwffeJ+BuJt/FsH60X8fDLxOjR9Lu7jhswDF5V+ym4uwUq7/sDK9xM+a6DtgLqTr7Lsm+mJjBBJWeM4nXvJmOpWRichZLmZQUEjcc0eg2Yl8fsJ5Am8UIyTTDGUqIN0JKt14JbyENajuV+PfBveHJs6oa8LHj4BIJ45uQJ10n+8JAlLvvohYE7b3p4A/gaLu7nhZh4h07WG1s2rNNDZcr5gzUN/DNrrthoX2mj4ynPo5igWoeWojCoxS5qz7WkJisGRJNh6KNyGNPCzB0fN3TRxKoYpbpv2Vu7dSvhEp7vrwv37xoj4e84wQw/NgCHRND0FXEMGoDLF2cjO0X9GSknrxKuerCi9C/KnUyd5WHS76vSNR4pW2Z2V2wWmuG8KKAwnlAim5AHtlT/UU9qkZE1AMNxGTFnzC33xdDCTt4fYuwGIqOWLGtCGedlpxQ5b6nBo/200xZo41VwaTAV2K/9ua2IInuncC7mRjD+xRx4zl/Lgj+eLvoG9uFhaky7eWOvG/1HCMK7aH2DL3dex8ShMwwfUonDZH9nv4vAwt/o950OKUvUrwGDEY28WjzqQucl8cQxBCaNF/hDzmmzkpft2rUdK8YgmetiB3cw3txKXyHyFrGu9OVOOYTddHNUzAxKbdATARPjuYHM156/z/QpjEcsuBKInHQ/Cy1wpDhCJAavNoZif6zR7JfL3pXH8UuM8l+w3MBjoQY4PtEu2Uq4mdyS+LVn0HJLGFuakDkUQKAea4A3wFMTvOaLSiq4RkAd4aLPgWw/bRGgTNWqYttcKZ4KtetEVO/RcVMLgNyK606S2GfVu5KuL4c+nHIB6G/Fcz5kFdJxa0o5l9IaDLihRrJ0kbR/iAMRspIb9/Y0Ll9HeQELJ/144N1OaNs1df+z4n80cfqvaBRcWb1wEezKTFhGLW9m6F1dTz8ysoynVfn9iCoSl3PFqDOCzhDM/XEm2VCtTHVKW9NIrrRBTaUaY9XbWF7RW0ddDNS28w8+RPrXGj/q++FKUf7GsBX6D6EpJ/4UTAI+gOApySdwpCOch1cTG+LqSm47zILE1jJg8VFCtCCb8I304bLPM2+1yxNHJz3GwmY5ZNfBVZdu5e9vNFUoB1rfveP6Rdp0f6u0xNqkquz5yPwC/CTIF/WGx8KKxqwm06uz7rHuW2rPDSCAtDGuM1zZw3BrcbMRJB3/WNRsfvDh3goC7Pi3md8hsrsIWFfd3oozTFrhSSwUFTjBZbLPzHIX52a3dV+F1ZhtTdNQRDnKuTEor1jEU4jAwIlcuJxOVHPyp6xWT0O3J8TI0x1VPUppRamOGisACFkbc905Q7Lh4F/IBTAqtfCI226kKd8/h84aOTo6mTq0LPYzo4jdnyJ8rxOkbXnUyW8r/eYteIJ5fCIeVmo/V8Hhr5QNqfJmsjt8Q+Tc5zCNKYEk9xpTjtzzlfXBGuoDh0BZFVilNCqJAB4PjrhkuCsmXcBUkGdahdYc/ZXusKpakeGAoYtouNyzo5zorTjg5BIRh4D/YOOW+Q0sO7fZRg4Pq/UDBpfHpE2fjVVdblUOyhBb0oEPzLelucgcjYTBbPqfIfDX03tvYGMhEFJHs3bNFYsoSEYnSVbSa5szU91r0TXhSHcr2BNKJ1y+TWBcweAfu0kkfwHPSIE5t31t7UxsG4Jo3iiLSxgqal8EfxPJO8vA3byhjK0lYoKS+MPzZYP69fajzpMxZECM8rg+DoPgy13sNP1eH8HhLbsqOouR4Fmd3hk06BMUAfmYx+4oos5qheg4c832wuX/rBCe5e6ajzYENXnvs5pFH1YYjumEJZ4jfGm69VuGNaSVXThdr/20y9PJE+RUvtF+rY54gzN5NjyrtCfhAou9GBfy3hOjkR9AnQ5r3rrhGHbHU4iaGv0SmViVyXh49ixlEgUq9fhR/shl/dKsW1Z9j8n3MeVVqAfQzp1EFBHiHKscxV+olO3RoOJhZNrtci6Q0Fi8vw6pw6RV2dEbpq38xNd5Hgvth5bcu3Wm8LPhdrBSiyW1OshzxA98Ud2p0S/vBxEcipEkuNz8s/r+qdNJwYfdSCqkM/JSzGO27cvQfsdk8zKCJLmO5FXK8ahNMH8A/XA7XxiC8hTT5IzgUvpY+u35EDg/QHO6Bru35F24ZpYA3s4eWcrLqKD58hKEfTtpZ+LILGeIM2dL7QmmdwAzV9cDvl9gcS4umkNqc1uA7tGlhzgln+hPSWAjQUTeTQOePfQLqhTYBeHlUX83Xmf9aCryI8wV6e6fBdy2dmCRNp3tE/1EJC5FzMViZzG3IWl3UwVRDfehwpa6oG/mMthuQvQ9VK8U51850davupUFYu4nOy71q1o+VCJ28k0Kt7aECw22Qhkp5YNGlKJLJU6KzXwL51nWkrfeJRpK5EvGdxbvahFY3EAkub8YvXlVp27jQxdYWH1gZ2tRTYtJRxpFidKA87n8jb2IYyf2ASHI/ecf+ZcZ4bCuEBqhjaa/ddOflCfApEYYr+p4dcWcZVqn9VdGISBkIZkIghXQR1DMd1Nw/XaWZeLrxwGs1jPnigPZUCVjX1YzhtcXdV33GbTKPS35oFQXgI2RZ38VWQNfKU4DwpqysBYk2uELu4BFE4a5k0I/X1splvbIjTyHadPA/70oMiKQWRAWppfjk+NspOWAZ7oCb853NQbLc67ct4XXZWe8939ApPaUfLMM1krApaGuyeG0SFu7fYh2orf6XX1anbgHDbEayqjXySNTXa2kdVii4mcoD2H7APjx0E+DOZ9tMKaPj7N4PlvkjHeHRRLQgiH8uUENpL1RzaQkUeINKYFdRnU1KfP1/pvK1snZy5H1XDQ6zcgBx4OXgqp9TfVPzOz7SnFIMup29xvVA7bXzQ8MtJRhreD5LK3C0IHXcYRUVR3OGRbcSdPyApbp0KjFWiJxLDbo8PEXM0kAWobcQQZGGXAF5b9IKECPqGc1dQRk7VeW5QORx1H3VQu27MS3hkeTwv5Sp3YGHIAzrAeYcnrKNzEfKwf/w0E+MYBK6nPbNhJaMnmzuzdEA3GOazlN7TRsXeQmKlrOFAJFziTsJWtge/yUBZk4BB9oKY2b0D26EkxsWCBw8HITe+ub412onPdhnqhZtzOIzReJV9lLPcIpij4cFkt4oB+9vOEONesI7yREUjI+ZUGv2ljICXXAkmjm+XLW9/CMVVb/nXOC+tu5pwrEQlFM8xvcj4vOuOtqDDXXZLxh9mgjcjDoS2crgx35IIPoSnJDdYMm/K5Tcfx6YleoTfOVWSuFdWkvZqcgJbAi1I1ONCoighbvNmgjSglugSZcnKrob4cL1qS2kquRbSr9iiqAQd1Zu6+h6HUMoXpfkbTM/IcrMhO6bJJ2KZ/NTBH14uUGBE0VLw0PRIQ//KltJZGF89w5cX++VzO8bGALOq3ewat+XuguSQG48jD85gugDMsTlTSdIE0dFEMzojfNBO6/cNmYaVkchvefyQwg527Ub13p6fhzAKsnVrfsV5/854mSnCFDaSwj9b964PvLGuQPQs7MWz+kptCcyYQKtBf3x0CUvkhF+dV0GtdvqzXC57oxtJjgdrzA0E4gQxqhSrxVfJz87tnOyoh4TpczrfQyjAOzyVy8/1gFMG6kl9OKbFRH367rcK27WCUoa/qoX2Y5R0htdtP7ck6wPYpa2wnGqkXb3P8MeZVlDcbtuAuIWFnWjNzqhEGevIggmPnIb8ZR+cund3dybHVy7/m5l+omLjfV4aKJQDGChrt9TkNGXetPEWyfmFgfKJb73gIZPiCCp1SJL/Prmt5g5AMG4H6oaqIMOd6fKCpTrNg8MVfEO357VzM3fAT8VnB5E85eK1yT5/cHyVToghR0AjD2zEjr2TiY8AmrUWqxpZJ2hFw7op8H1jP7fsnKsfF4iGjfKCoqPfuhQH6n9ngMHzUPX/KqiZKO0871s7i5dEaWin7SNin6o2F7ucGLY2G6H0A4zXzZdxAMNjSbkC2RE5LCaDR+1gyBdFKWV3YPPIp3/OG16UZCo0SGqrzvVDc2e88U8ujujw/d7WeePHcuctlyczr40gpZtKD5himBpMYyysjTl0yu94jfpTpeOf7AOCf9YJmEuBQQYlA1759KeAa4RYPt2WO/DxnBG4QuQsbEMWfeXI0MVyRr3Zaz3YV+zZBIMCNWQ54x/yJTAB4VfmaIGEJ0Ohwif9YBANra+oxpPnL1hTMdHidNiNwlA43Et2blcGle2gjpcdC1TspCwrYb5SQTeNb9vYcU6inmyfxo+Op8FPAgy6AsiJ5TawffYnsbUyKIOcV+wLUFqLwRiOpaVPxqPVKxZgdkerwnO9Q1TFz6XBhm1e+gtV94YXctsdSyvdh2+4y5p6nq1lmquu/+c5VOG4ve9Kf9uMSjTzbxvNClDEzGHO6L9GcQVfYSUpfHYWht4a4iZReI+2HqGZsiIFs2OPFz0V0dtj9AUEz2hcgDYAIcEKgo4v2oU8abDtk3AvKZhwnZIIuVx0dy4/sT9EYAoTn/f2Q25dsi08NlH649pA4og0p5saLRZuWKGRgySenQYWNl1/4txcfgzrOcdMyTkEOncWCRli8QxLDkCw2PaXvShLIHhZnKGXHR4b9f29Y2o9wLE+XC46aGPxVwR9rd/571fU2o/Tb6NKlfVDzVnYvaRuuRkIo/69L62leWUpVw81zjV4GqHI26Vsc3prmmAptWOPYvcwmeTZWcyRRsf10tTuKTh71xkZ3Voiiw74E+ldXD6t7DKtgsKM1KUQ31nCeIiL/74xpZ0w5OtMjqtPH5XME3nf2tkslp5klcNJEHDIuRpUL0TRzEAoB8siNpe5pYzrYyXgt4XB/Y1tdA22g1LR1AbL5EttFor3I2qrcZa/wiocbRcota0v3PQDJ/lYeNtrPaEh74dq7Kfn7/2/L4VLeoBPpQsRLNeFVmZg1HI6PKJB+XldXzmtCk807VDyiGFwdLVHQ/ocuINvtImDjzsrMQ5sEvhKnRwbL/0D2h69BMnsiAF1Nd0S5xoUOU03rEbplBXobLszbkDSZ9vVxZNv4M3qTDbvJkmMJ6xzWkhiJZoEbAcyZkhv2BbyQmKTEITmlyPZ6bgiqnNClmuze1sOks31DlTSI5rDgBofgY5BaW/XZhai7yRiZwdrfdd0z2GBP4jNqD3aoyJkxz7MnNN8Xq23j0Gl0BrpZtdmJxj7KdS3DnJw3viVlT7/DJdP+c+8JSP6+/gdSPjTQr9FqfDgKHjR+ksBsi54zHYcYIkYrMBRHrcFxvsVvgWXoxYOGWVQ4q9/bRzB/IlpIxcbtdVY90iJrLfCucPNLMmMX9UEbDei04jfmNWsv5dFbaxUXAKgfojifcezp6SuPSLtPuD5oBSf2SeLRdU3W2BLioj3wDubG8IbB5IDlghjr2TRYgLNjdfW10nDNUsAGTa/nZacS0reWcdKJf9nggQrAIzx1oZwus14zLNZrweB/Yio1YBAPDbMd2OLAPs2tOzxnR9n6Qsv1hRKS6OXlvGMV8W9uQWo3OPkPwuB/nQRBCTZFhEvl+FFnmssCWJ+63O6g0sbO54xU9mm8tOOOcHE8LO2Akh7E2wETSLwvE76qV55GHg81N1HPednm6F2rKw3SIrIu4I7fyEWzRWoekVLv6GGpMJEZPo07mDRx4rIlqGODl2zy6AJIdEUiW0DIaNbYqHAxKJ7v4DX2mvQQrkq9dPwiHNkGOt6H+q+uf+Xhd10kNX4E9rAgRjKseJE1vnFTxVwkK2n4/vRVqV93GSe5S8KIHZ7aF561r9cObEgMBvXRznH9x3HzR9VS26EBFZM+hRzcGRPOzQcoZ+iCzvxC7meujBxoE39uga6RFZvDe5sEg/0cB7gzkI5GS2Gjkogzmo4tsPFAjPN7GOPpR9V1ircJrTS2YMxScdbjZBbY4gFQD3ozSFAK0PbrwlVe+/fTNmlYsvgUC+Wd4H7olM5tl5/0CXxzDF99lqdK7nFhdn8NoGS1d0pZxwjyKypEWH4VxoDlKwHSe3UwlYuMi1reylBynZtSBzPV/AZwdhUkoTDA/sNrgi6ZHXQzNoN71cjweiemyVR2ZkESyKMBZj24zf2Ye22Xrz1WXSY7mTv0UQn3RCHDTBsnJ/T4w1pkvGEfknR8YtTHUHEIZKuXxzvrQtamMe26vl5fRSSKRrssEjhObrrkggqrtaRQmYZEsF79AzmCGM45UKGiBK8g6R42pnDyIUSj6801uESXxcmtm+0BWl3XZw1Jc3yW6zJ2B0fLnRztu2aQ7HEWWSq7+Lmr4F4B7i6bHjIq0h7BFRDLkz9dO5755amrE8mO/EPtJ7Z3cdAY6J7+JYA1TbaL4Fd7slQS0Pi7hYTdsZbxK7x5ciRb0MDJwq0wKyx8PfDwY9LDycgbNFW0FfkbIBHi4SG5AJ+eNjDumuNeShvS4kkJlnhV3GMArBH5TSP62SgKyvHCt/x6kkUPsjpY+uHtoY4ruz0Gvn89+C6LOP8RTyMmq/oNSC8J0xHSY+LVu8xuZDzyQ80nd6Gnk/PmDV+Y2U4LC11MqR45wmXesnpqUqRUIMxeCnF1vGX8X51OXGx865ovPzrH6+jMu/s1fNd0DUN28h7SVuJ/0sDUTHdVObABD+XEF7RNlNZh1xj783Ns2RjXRhuPyk+8MESYXHkmk93MJtIyrC7U+NUjfmHQflwtHhppOjzgPPRSNA54nfQ25o120a7I3rGdgtyY5yX96d4mZgDa1PLejFy6vtwHD07ZXmA49gCF6AiDaSbiPSTpz7aO2O2T0jpoTI/NHwMit7yFP6GrdumGL3j/pzCR9dSBtxwwGTyMcHfWaMnMam9L81T5BDasTT0zUYrr0tFEMnP2W1aVTAyUyiKIraliL9P7tJiRQ0uNH6iErzKruCNKDN+2IsWctHp010PmnGqNgBFvr/wzBQ75wyPyKpRBY4MvAM4Bc5VaLgbhrpKCgAevCuKeRQq5c095ZZWC+VlXG0dRSSJ2rAi8MiePtcuYhGKLItjjMOTaWUUd8BZirjDGYdnnzQ+FJhSnbBuHsjLj5S0GJQRm4rzXX4abu4rA045dxyJxRy/ZjDjVG8b+Bug8ygyhW3vvVEhhPEMqzPWw+YxrRSOHD2Vtm6zFR0GtnpWM0PW2GRUE95p4dGCTpVcIv8SNxwt7Y28XPiwtJndD++zj5TZk2BhdJfyCsBdtPq+t5eQUDuFSmzgDa6uhcL3/jgsYBNq0KTGSZkYr6AdqGgTcruA9rjrzaRYeByHhunPBu1z1Veu82+gGIh3KMBc092k1DuQTUZEnqtRFpY9aClLksTmcwcQ92SZ37MDdJPKZEFQpns2Rg8lQIPGvVlqgZq8IIURnsvs1CFs+MK5wMkNg+UaG2pV6N9BqN31cU+eui8TBOSUvD8j+2EsN+cD8qXBnKzrKrXO/cZE/dZisY29/F2alw87sB9dSgygDq1mS1EVU2F5UsrmG/K2U5kLnQdu+vimAPqXnIUAutAURZ+5/aKhaRxTioA0NQZvNr+OfC1eopu5BOK+npTiyeVgaccx+Z1LDoorTIPUj+4fLybWtfVRhs2VCWbZHwZQvxtya/DVd3/npceIprg0ORUwmf4bGfFBis+7T+rVNAeEZb0+7sSZPAMf6E8uLa5VoC9xyKeJppZVhVKjwex0lBJsLIyYSnILyAsXZDoO8okEB2/KBL7QA2Nbp7hMKJQWU15TUFaapw5T7QNikrPmkUOMU4STYgpATK/Z0yWYTgy85ijijcvX7UsUK5XMyBkxfcEHitW0mm3p18dv4sAaR9P2NwoO2f/2sWHkT5Dy7ET5rUwp8rc5rnlhI2XlGVeby/Wt7iAXYE7fClIgccOTLhY8YFYz00yw0m7RWstIvhypy1c0+0AKk2wsR7Brk3Zu8wk5Hus6yqQu8+e+VEg9I3sB6fFy+uqmN81fRS/dd6lCk4c4wqZBFNxQmKAxvPILGQer+R4YvMRS++CEQnkIfqg+n4DgTo4SQWJFFD4lqot6JRx8KMQVwXvNS3qyE+JSsLtO3sICHwQvLFtgcK/6ekSz7adVW69ACOD0TUlmr5d95YWIAjM0cWlm/0upzPHhapH3jdrIfkvaFOoF6kHFcIMLBIgkWAOn5BbZFatO5ZTss+9hds9+twGIJtziLxjPUbSf2Pwf3BGVspt9cNrnHrr2miAleygSNpn1XNtfOagCdfNNTG+tXO0uS2fF/NJfp12QfMLfl+84rzBmwg4yz0eOhI8juhvhg7q8cVkHuVCYQM7zkNO00tLRKXZTjKxaaC9GR5fxZGO+g/0k/UhHjNBYddB0LqQ1wAH61KnHX4nQCgxApvyndwPn92KP5fPh2XQM1hBerCsu7D1Mhde8yVSA6cJHNMjr8pn0jeLt/V3eDdjoxUO0QUykLJEFq5r+MSvd8JKMuPjFv9zpwN6bG/W+y0CIhVN8szaC4r1qipuy7BRZFy8IjteUx3sr1Bd1IxuVU+EbglEIHvzGTVvuD8ACQJS8ofOtVbeQ0XsnJR9/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"}