{"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-12T09:35:04.639Z","note":"conformance attestations are re-verifiable: recompute the report from the target and check the signature(s). Never trust a stale attestation.","pqSignature":"M7QBT8xuwthETx3BBNQHXU7zPVJN5BFuJ4r3uoIOU/oTJS4/CQvyI/2c8xjXSYpQjO215rxISnV1vHkuCq+NGliGAzqbofJkcXXuVUFFMXR7+VICvVVh0jauL7tBw0ZfOgY1ufcT4YKVtfPp86dtGMq4BI7vRBGWL859dJ7OPdhWzoG6jc1iat6rX0hOBnq6iCdLuCr6cF2kRkLUWgtk87WuPoRPJdrmqrfub6OukBmt1Y7y+coAR8Iqg06vJKdk9XQ980eZFJMLRYTzvLvgh0KswwU3s5b9Uqmsp/nJ1qJs2aDfYVJ2zNeiljc/Vir/6P8lSLV1NO3UEv8bofVggpUAkqSHcbfNonl5hy1x1/JqM//EoGyP+JUEdD29anVqo+mahF9YWSLQf8YFYnfrnEC9Q7I7AjNPWMVuXnLLmhV+jWHbaAY1mHk8RrV8BDpz2KrE2GfZuQatAI/4q0RlkGSuk0NScNKo3oyeKGb7ETYXOhXLzebNFfpFYC5ogrWeRarG/9SSsjQAw1IAcMmPrs0VMnNryeF+9E+3OT1t0gkJfJgO5B54NBSS0im/W+N1QIE1NDw3M97PVXLzpfyv7FK0Fu3cq6HZe945bzV1RqRnHZGBi/cF5q3TT0aei7NmheTo1k7qt+SVYp5XbTAvzOpqIohprbNZMBPckQlgpwaK7KfiX42Uk4baVnsuxAL4RHcPa6CNLUjq6sPdeynwFAMO7oip9LP+m9Y6U/4GhHEy4T4jhaMCWnllvQI+nsN8L+uvrwWAxyGgCHyW8Henfajr343KfDEA0tLy558DelW+WIXvSjyrnPj3cwO97ZPsXR6+jRIGxmxbzFjv5Lm+y09+NyHQfRzc/Uvyg9pZooO6IES1+PdTW4wo4dqkFGnqYBUat6z6Eq24NSvVLHxgunWRSDCAvZdTMaZwNhQL4g1VbLjL+XHWCIFEEI64xwrx7eC7LaISMKuF1fQCjvNu5WOBkcrL5selZGcp+VW9oaBTmDr+fnhYA5EUHAv454BELM/vx3/GVzrqzDrgZ2QupDYDtQ3yjkVLSGLfVmTH0zSODM5jAjSawd0enwFCGGuMi0KOcSvcT70NJlPQ/p9ZCgQg1Bm32wEiY6oiefQQnij38BSRlqHEW9hVdsTWsWyBVhtj5rOQJTomD65aIISDg8sAFF6FI5zykFka4rXmSdcEwVDrQ7U6xWyZaltLqkRSbk/T9E3ouPzwf58Za5TqVLwwfyzFQLEQBf+8vM8Nguu85NC1M/ZUINEWj2qJMGfukK4vixcKnddbHQueLia7NRAb5AGkybA5/DJKNpWEJDyxrcEm6effAuF3IUE4ZkRb4hSRkBxVmvqluIzINIGFsFZQOKeAwX5VAQ8MDBQV4BQUM/bbgP4mUO/0+uQxokxtCjXMI8etqk9eDsgHpsQf6VUTQzvT9nVNkXJjFkg1eLDBC9yZAFaWytN/5/mLOrWGPBppCloj+cnZ3codw4zAG1m773f5XLXkDnUacCRoZAqoUf9/0+A9uj9faR5AERH+o3rvkvKp84UdSgEFWO/OQxj9niNnwxkP6jlnWHLPfL2HRGMQU/0PHF7DBT14ibL66Ah0Z4MrSuWY2BcDvER8IdXtkrooErwPz5g2jU5r/9V+wf071Nc2EAg/2LXLY3LXgeP5MpuLeTeXjblR+oauMfx+wX7N4atykoyXGTmPbHpaSVrB5/4GsRtlbCF21YYauVtBu9IZOUQgGVAIOuAkkH5D45CYFpjPv7TzHWoeFinahO3Pb0PfXyHlMYsTUJo2VWxhjlDI0X22snitA5494ROTnVrqJlTtUFg5tzEtKx6nznLyus2IWoNUd52T/MnMbn9Ah+aVk98CwRWbPgAuzqq/mT4yBFfTkQ91BsqVziWUn1KwlyJAANONzW7KeB2ikXbSbrswAA6dtcnj9QLJBj57cQghm/OeGRJbbRplxm6OaTfu+TpJrMZH6iw4SyxQdk4xk6CYbcPxbBJG69LNQbrEdXH4pllhCZsGx2PY+tB3Es0S1neJUeCOqfcxA7jMkk+6Fa4Z87hSEa+TaLYgefv3T/UVTNj+GzT+f0R/T+ap1XCV51mti0ZYCgTbEUsnlcmbv9GRLUeVTkjrf4wcUH+m/6QdWnMhhDgHlT1UtuAbGCYBNWU76IDSwt5BbKZQWnG4Jfnz8vCapln2k9temjlJfqpQE1DBIivPLW0LXHDY3w2tdPaQPfyIqj2XbSfAMnVnWuKS+iObNksTKaYlHq/CWQokbH/Z6nI2bGKcxAx9Xb+7nomoMa2jaHmvWlJQ16cVCVmveP92E1kR4Ua97aPbi9mpSlyzNIICIs1jySWhmfWd6iItInkHUftKEKMblyequlLQ58QKU4Ues0pYxxnBW7vfdXRxYv71pm8r7pLCaTj7PM/RAKWnzTtoxloMt6lD/aVqbaY5nTbkxGDRJLyHVAfw3735fbzAIrQ3rDAR5zkQS58BaU8hXeVXeLHNS27gOXw2US7jsv9di+lO2LszmMWzvJ23BZ2vg9G6fiCnbaPL4Iq6U3bTtm2Nyh2Z8rxIoxXFSeN9ejIYqjhBYUjkUUPmF9p4Tw/4KFnuG5qFh3ySTqpsMaOgX0ZeFsnq8lBSzHhzX/BAyBP3jrCU8gj+DlTyouXkbhL8IGj9gmM/mGcvnrQOYkImGrJVhLnZfy8BXoIPZWs2lrAkSkxdqHsF3Eit5pnAjU5i58DVWTe/iXmjYdDVKJ0F5xqvqNgcxFSuPzpFMT3F3RYH6pJij6pAheGMo3ErWWfgOownEjXeMjq4YxF+0L52FREdCvbgQV2MMmayy9VH8u3ZNHZALkoUrKeyoXh3KAR7nGLulMWHqcH7MpZxbjUas6A8zgpcsS2DzESJvdxp6h7Y8AYRlRR1IYSY4NB8J8NfvT46nNxzo+uh8mKU+PbbunqEGnWr9oEAFNnqxPf1JPly/XC1gyiMFU1RZrZlKZ6po33lB7Go3tVfLK03Sh6dw7lF/Yp9gKTR9+tlUGLiUgEawhjgItF+A0iCvzQo86k8hDpKw2vsTg5ZS9h+4WRyTrU0SewrpHip/V+jMGZTZU/ncXwCF8RZkpNiuiwEoTWYurt8IGosPMVpmO1lfbjws0PgEIkKql+jUAOgjAtofOjrSIwR6fpW95tPm53fCDH++jAMxRyV08K4GxYlkdgOhx6EbQ0MMbchSDJ9YZQL1jooY2nb6gDW/HO9nBWevljTqLP8KpH4FgO5Rx/Mmy9d0S0uKabxpk/axfBD4VjRfPg6JX/qUoozxLYAkIp33ufms6yHClArPO9dpI8o+3EpG362w9VKttax92/1GcVYpnZSMEhXfjsGn2kRe331dVAbfOaCG6TDbsvQZu4mCsnxo68+NQdcCEp3+y/Kf+cAn27GTg2nM59/5ZPsTRPn/sLvU69BlGTxhFFBsh7ZoHsR15ngcCJSFNnbZ0pYwmbu1lpMYvkIX04yPUdlfbOPCbXRCF+JY6c2EWJWY459bxoYdrOWjs7x0rDjQQHLitMSRiCQaN3Rt3Dl7kv0cbR9wZybCWCrauVpqF49qOwuJ7B5FTCsQK2hnwVP6X/wsNcUqZSt4/DgSww78S8opHy/beOx36c8EXzOe0uE2nLYLxk4JtCaqJFM+85SwJ6qciQjdgzgmL0NZjonfWQAUD3fkgRUWr+yAiOsT3+4LRtGUEEtZodudGHxN/6ktXfuZ2xH1PPE1qJMAowcf0NRtZYkfFGtYBkaqXPsr/qsT8vX5Y1g1Yyb3SbLQ76EbIAz7A0lMolLIyMG1daILjv2Ib+FdA5vcktIFKhhi50EXf5F4gehFCYwN1twjs6qCzV8q7W0spkWG7TwqG7XzF0xCBhdcrvN7MIvE2tgkRrybYq18avPAvQzWY/Jp8aZEEWC5/x4osHXaQ6PEV+j5I6WBWPb4ouMMJxB9/Vu/nIFsjdrXfd2unnFlflYyEq3OwUoQnVXtRaiLTXAjX7mQjhiDzs/PsWWHCUNYMzNH6IpjmNEI5b9lEut/ZRpNskYRU4oIJnSqChC4BRfT3i2zNWrrK4WeKJH0VbKZBoiDuqq4e6eU95u2GlTlnyBqXjOVlul1NPZyFY4UTADgK03wIwz1i5iYqXT5zwcGJyRa/34snwHSR4WzN0KthsOLIZh8y1uCRrTlk/2M5CWec9Ti5gTqckhsdo7l3Cl0JpRA+37fXd+M4gXSjw+GLS0OrQn8vnlFIPXIYgpuuiKEcDksALG50czBH8EI18AusJL7ohzQZB6k9kscHVZO7JcSOMD4B8DubOW7ZY0WxAX85raIfC8WybYQyo2q+O/Dbd/RdKPqUTN/pcoJ+hDlQM6o21bSKCVZFDte+ubaKCNrFyYBU56S1SEkgf4LvVnh28BiCq4Ajx8bTSf4bqFbWLG9NhE9ZCDyGN0slgTR2Xfss2cnQj+XIBmQzGNYzL6LoshmpdjF1dZJCU7vppkD2Ito2E5eTfWruHp7ke4nnN+Z2dMxmTNiefdBPoEXmjBXTg1mdub9ygOiWsrCTPjPPq7ETq/dOQBcdmNTDrlladTaLKrk0eEq7TjrLc6zTIzkq0yu/fTWOoeoBK+y+YXpBCzzdYdciUesniLnMb9DtEtMET/ZVOgVRYYbTfAkblSqCJRlk/w+5mRZfYzHKPeN2Qn0k+iOk6fkBH/dtFZ2ua6oTA/INYgmADpvuCyNh75OvCKLpZLl2OMP/VfPaTXRLou/6j4J/UX2i2mrGom7kvd449EzhAZghlH2wzS0ORvye/3g4+NjSHpTNdh1bQKOyodawooVpOmhjd2fR8nnReTKdj+DdDYYeuwKSyda330iz4pwMkFJqI16JhYJ5E754lwRa9PB03C+G6pidmZUlOogZEnAzDu6dDa1nBkFU+9F23OE/7ACTxZj1PokejpiCqPjhhxJXPLfrwg7XgHG+elyQ6j4e4+tEg838WLIR8Rq4qpnXBkgThWP90os46LG5/P5buXRrf/8pcaPKyfG5YnLZ5WXisrvRe69rdb5oLynlF39rM6glOdVQ5mTmvw70Nb23xDvl+c0K4kdq9/ZaijrHQzvnB1wat4ZXRG/aM+u5h5l4Y+iKAI6WQbYwNUwC0IGIJLcCTFoXfGPcI8kLLhn/spElwhVkhngDY6lZdHstOh1c7DRDBRTAr6QEtIWnQuvCui7hag50QkgodTVFGmR52FpL1sdn6EeAzJMM5oUJQZI1cYOuhs7ytExaJ0VUqD0wY65ysYi/0eBmDHjXuWiLKY03cWB1pbJlj6U8bcdck1TSfcawfgETPrkXolT33hod5H2As1yX0HBMkysTnNBAdnf7Rbbpvptb7kbbqff4tpV561oU/q/FpDwjyhv4d7lzzGqUBG3uMbXomfEO6utr3XLWanej69zbsdMYWTKo/S2jKhgPeElAWmOTytaSbHf/+qGkZVix84IyiaTITHZj7EvypIf3oL/89vfjBpTE1mcI3jvLD0wCUoJVImTO5vSdLxdw/g6NGbTf5PIMY0q27ldQUnPEctkp8XGqBBW2A3K6Gwx5a4dm4olV/Eaa0fLitY0DooTdd0GElMu9IPrBVcFw3ntBGUMq0hwz+ghnuuR8mgbPxTj0lXXJk159Cz6Hy5OBObVOv9Siq4NP7rHvS7dUn2eQOsXXW3rCSfcx7O85KwQVtSuHsrMl6rhaGVXFb2W55RS3c+u735Q2PqZqXxMdMTAttCvfV1UXbAN/P6OZApzu0Lu1dmAbZhNRyNb51BOTjNx2OETZ1nbCQj/fUJWjONwq56IIGfRyWR6KMT4A5XQJ8/S0JdxAQjzKDTYSE0PbxjQGnHwZ3mUpySVWeV5YFBjYn5qMukwX+72pLhWOBmytSz/heDQEYOiDB6nIvKCjEE75WokVHhqqgwXY5MYwqErbsNfguXz5v7pYrQEX2vD4YokaW21tcAvKxMpcbdXVM1sJFY+B2EIEafwytKLOP5DBL77CjrX2iCvNOuntAmliySxWLa/oTkZFaFuOKMh5RomgAYlu6YpILkJxnWZDnsDv9bGFpqQ16V1JtBQneiJrGTG5g0afZbDMsLiL3df0bK824zYlhg8KNxLce4BTTVG/XGHWQTGe5YqB3fAvlj+ud0Jap1+q9bDrJCIxUTX3yyLnbwZtcwzg/bwfIm2Ul0694dZhmcdRHdJ0vOgNZMe5DTrNy/193o1aqYzj2Sr6xba74hPe15UfntgKK6X542pl81v8ewNDZKv/IKoOgPvjWMPpOlfF0THKfDLog48kbvxQi1qIX/8ZHhrjtP7uEH4yQw8J0QYKSRF+HiSTEoLCPaEu3GpWjM9KYxgLhDPATB2nB1WYycA2YPbFDUc2RCpyQ4U1ehcyaGuF0xVI1ffPXYxHpu7GpTcYR32jHn3gmvo7daAoml/UvTvsWmehSxZQDksZb3bYMymQnnY2Z9ylQUQkh+NcgIvtVZhReNBX1gnUlgymgvjXFC6sEBagl7eRaETuCct7KnTtyRKdCOUlznkFnJQr6lB9oSax+orAKjt0ypUWwtjw50UIL62USY3QK2fLWE/1jXCLvnYyT61G8YlIbSum4eYKWBwFyOvX1DPZLEFHlMZvDtGoIYx/0a2BqbkusU7bwOPOHgiJPOi/zyhLWJ2kd1FWQA3Ck9MnZB+x0DvOBmqlvCeI/Vi9Evc+ATIyxFzX0HEwMcpiRoYK/on3JMEwgSfZLhK63uZL1bVlKimGVgpX1e7wGe+wrrH0Pxs7PWfr4jvV0uQ4UBMJP61gppYKjBJoWDPAwFwYRCHINwJ0bk/Yjkj8bGhBjwBGk/0pnRj6APfVY0jjYzHGPDuLAH0v/NPQJtDCTzmxGDwqjYFa3rOy3et0/sUVmX0JbsxLcv5W8M6ncYlqAcbW5cO+UPRL1jAGW6z1t9ufJsRQYzU4kJXbFzycyChtvdtlx1u08e0e6SB9WnfWytyOsv6zF2ljckPKsnGhg73htkmY7J2BgO+LpEsPxOayWMmym6AiNXjfDjzYr//0B/MyjUmfSXwVyNzV0BA8iJj8tmymyXaNjxJUmsiVM69HlWs6sNVh1ad72mjb8feHxkkilEj7bRfjDDFBtEAk7Rmzjx2SEcPcED4vt0+4nqshml8ZtU3c1ZQri6DljBPoEdPDpGoOtxH2xo7IsPvaaZEcrgkFqrchUimppV7u3BwC/Lpq0p12XTjcQALBmXdqg+zCxvNZVH3P2akcpcsiThP64Ezgwqu9IKrEerfsOWb+VLXAnLeA2GrK58qdAFdBhYugppQP/hazuk/3bTv8610CEpQlq3MFdHf1Itz5LdGE2MwyUgoa+T/DTTM4OYpqufsyaNUV49umHqNitOoDXRsCEHpsBTxAVPiIaGUHrVmT4FohpV/rLLpN0WCE2g8siwGZ5vUd2a1cKwcUaN2YHoC2A57em90w5COuPEi+K2cyEE4thCyRdKrh/VEWGIHpFCetwnpR6i/amElEHRhrWJmvUZDXFLR8EDaNHmzkTV70mqdgAkGnS/abLkSHP0927abNvUfT04MHPjSlLDcrSZQvjX/FgtJpw5jULlNciH1rdWUhyzg0N8jjNC9XTbM6qP6A2yW7qU8HPL1Rb8EfcB+yR2oz8ZEp267yQ1jRpD0Amwu1P6kFif70f8eQpQiN74tyJDCdQYLKyVehvvIDbsxPjaLbzqtmJ+vk3FiQDq+oaNbSguMjVlr/I0YhRA5l1+hwcfd0rLwxxNx+unRs/IdLf6U0M2Uc8Z3b3UAuN3OBL/LnK+waSwwVnXsrqP33pp1nKKuAkifd5ndox8ZiaLcErtGZFjvBJz/w/3yUDp78btfVPRgPp17Xtu+UNkzhO6L+/VfTwFFzJd2TjNIj/UDKiTBAsq2W9Syo/oiMLFvN0VpB+TIS+12MdPrjgGhubENfTEq7dp3nUI1cRm7u5yL4UcSCEyvkRVtosB7Dduhyc+QIax9Vk9FP5sbc4aZAi5yPjz4LXVz10lwgBWioCTpVMF222jsi0iFMlxZjSODvsAD4iaFz0xjsES1pDCc0Y2Ap0pCW5Ai31AFgzl52iqBK324zPuB2JGZQixGBRtxnX5Yi1i7jXjbJcOZJF9ThQTlFe8CaBIbIey7VEGpo5H+AE/HScXaoArau57/k8UjWDAUFwrpQRW8Jdn6zk4LB1vKmEvnXb57gfdPbIxol6UEeeJEZRlQDGGDbouwKpj93WsmAAMzfZEnMZR7c7jkgNA+UB1wLfzgnGOW0tbnNmXcb4hrqPB6m1taubDvyxY7mtqcNsnqD9ai97kZ9NP2vZb6Vy8I+lD9I16Pp2F+EdG3gpPJVTqNwEDQGzB4oh4CVNczAnGCkgp3Ia3rKmGB5woB/CWP7XUSLelw8FwgsUe91OK0fN3jcNbvMC4FMKp8MVuPV4mhgmzYuMHoNoA5/yhaaJuZTPVBeN0a/i9zsJACvgPsE8iTKImF2+pxDBZNgMzQnBOXborP1FpJT2GP039g8Lf9GFeTJWzADtRnQ+uqz/vRqpgoqpvA/NGJnApyTDMmSHbTijQG7zirLGeDbziHRuVnMSw/WqG2lbt9NhVZyKqPfVoOb6+PFPlrnqfh3Ojel3QkeZtt9uJXo2RHSeA65CBeV66NS3192qJ3KyD+0qLqjcq6c0te1Vz9yHjd8uTBuKxdqWbWuTmQK7vBf/48c+By8OU2gr5N6dnk1xg01GlS5TH0kmIOU9mOKs67yaFsUzxI2CUcBuosfTw1OF0ZHeDQZjBCnCezXIWJSWIi7maEJmCnbTHgvQI3r8hlF9TLFDzz5bSVAGcbXUtVPrpwwvb6RU1GvJB3NMVHk+IXG9DgLJ5Ryw/umERlkWjSp8nmKIqDAmn/6ZQcGGVJ5YPw7HOsdaxa0rnPQ1cKmD1A+kWKS5VnOOcfyuTTEcL00E5nIMfmGG5sk7HwADo71MGoQz/zA1PYWoDRvxxi0PyStmHz1i8lVPJfWKHih8nyRyGzUorQLVWPU2g8c/nq0N9EVsW/SGkde43EgLGleTXObfz1dSAWyqPRnhbFeEscGexx5B3PVHvyalVpu0lYU8JOcq9uhhf/2BrOikMsDPZzvwE8CrC5M0Wt9IeHQKkDCJHnN0C14KwmYRdMrgT8zl5KyswQEjk6vPOLuV4skmX9FMdPRJPhdhGqy5NqwgBU5CzrcwOYDKpmGi4JaFn0OpJ7uQvJEi7U/QJahbFG07yCasdOydhiLp+Gjx0gaWcrQp1K+1qQ4yaiqYfltGdWICRmKdJGtysIo66q611tfMmBN/c+tbTAIg6lLZKyaviuJBUcnHs1I/lqWd15Bz94XsJ9Tq3cRwlaPv1O/CNG5/KJIZUNVHLQ8NUFU5ZxOfz1klQXvLBt5fil9Bb2wtIFQQsdWsB+OMp7TNEaPh35lutYhq7H36tldjAfxPgwTZGwZoLw8rTCz9OKzAj2MH2eK7CsOMS0rwkadU7jcjTghS7L0C81JrGzjT3EbTuFMeGJrGo4bke+zHqgFazZUCeX+6ghwv7dmCk4y6owbe9xc6c+Z/a8c4uAW3dqi13JbKQ6jqxBjltzZoAXcpCOnf9Cb8f+J+rL8iPGm4NRSbDr3B7OGMxu056pHZFiQO6/SN3dLinDP6ErJWhf6A5+P80EzT+xZaHuUtRUTQB1bRWeT3DLRTClZ7ElFDmTfV3FoLOOW4+h8IDVYsk4HUeWVkz1lsl1Ja9yL0qpdoe37UI7T8bD0MoHumIC1pwgQZaikkLPPa540hjWrCmJpGhDLaDLynulK8p7lvLwkANTaMj0zHxiEQC2xe1Wx1hu2+pA1peX7++OvzRTufuT53OtmPdjQy5+pFQOq5n/9fSv3iSWvljqaNd2THCWSmCITKvpKAyL8s276lBMx+W75KP/5pwTAZ6xqFvM4gGJmecdTlF+uLNzFZd/GVRZEhBEMrvbT6TCG+yhhDvrx4oz8hKQBkyMXp+HCzJW++NNY1fro2TrVgLIAqE+Zb+Z9309HVgrq2BuBlq4X5Z8BkkbXOv469xI5zM6byo5NgrqmXYrLTpbITrUhrJdQ2ZMDDBGr0yYaSbrIZUwQ71VBW2DBlwe4LPH1EWF1TjwzDJqiu56jvarrjK+4+wWkWcyns8B4aKpcr2/QS72z/KZXJbSafpFs2qIzcTIwqFKfseAQN0CtkxuNpFhsMQ25UW4nh49/aiu6NdqygZzXKViMGP6mZwqhADAwRy5DiDUbQ/XWvEH+ZkuPmPaFZQ/2wWpzjg1w6FJr3q4/nygrVP2SlRmPPBtVSoeIOJo3k2sVLYGRjY+Sv/P9fXU69aA/Nz0bgu4DrN49WjaEIDt7HY+AyDheMNumAJly4Ghpkc4UMeQwcz7CiKhMcDqUnLYG432jVjyANWEHvgZ7xKfPDRsPlNNyMRQKfbkpZC2Q07pf8lttvj4zF8c8r2om1bvE4wwdBdH4lkfj4jl79sQhbrL/DrY8BkAl1yYfoEzt2C5K+4OXDSBguRdqvHR+nZ35APD53G7aeZvWkKdv/QKjQgM6Ecw0D4FpiimEtgK8MPhfr5FWFWUrb5Qb+Vair1xEASlR2GPMpy1fovfnJj0BKuv88qBHltjVNiQKjUV+oCZQxRanrMNx1DEewuCaycQxUXehAIJ8vcikYmxZcrExtJfsWpzN86bgTUHjQQoRSxbPkN0XhB/vBx8cguOwFInz2ZWL/222o1Fpkl1/0s1+QxNONCqIJ0NyxjUy85KSr5dXl1Gsm5PP5P5qw3ws5EfAV/3so7WxiqeXo1J02rHC1cLxkJghQ5k6i7oXpUJJeok+XoRZxea2yga/TnBaTaWh/5tcLR4U5UQjRTAxBMllO5GQ3AE+PUaRRzzsFOwmHl8P4/vQErKTOe5Chldu3fEe78czaEc90xw8BvLVe1N8ig7SPw/eOTSaXcVMKDLLVBr8r5K28Cwj6JlofE4Cxe1WMMocJusxRyZAXjKTNDatNWeEfmBpXZXFRynFYZ36/Ai6i3G5l1dDTIwfHmKT1kLJRyyldlVBg9+V1kxi3Wxkuq1fBxJb/Cl9GyLGPDh9+e5+MZ+0/xzVij8Kp1pFqYeB3aFmlWKDRgb1vVaoTrAIrnzYeIOOOAgzm0A0fK936eYR80gXZhnymXLZa/LxfBRNsPipC1TKfNMiPqLS2F6FtR3ckS3ygWhdSK96hhb4m2EXJRq3nX2uqV6FT4aBm5cIO7EWbAm9mL+DTb6M6ZwNIw0rkV93efcaanvZr9uwGoi8VtgP7OcHEuXUmbQw+Vz3ruJaabCQ5dkePgqZI+WANwY0s+XGXsDfMRvXfqen7RQEiGsz+YmmT9oYJHwIbl3uK2wvbjlx1JObtI7QnoTFVtousEvPziH+u6KZJslgqb9NCyRtiMJm6bjDlfWmt3yQKlT7U21d2TMJNKVlinublZzjP3iR5spKkyaz1o46HCe1b15IDPFbIhJVRshjozy/qZBtz6YqNGZ1Jtsx67Dh5DMwsTaEJtJblnV3/ypZxQRUAOmRIqDcIPfSUxPartbxj2ly0RgV3XDff544lnTU2tzHQejkj/1pt8eGzxlcvYzoLTX+FaHQx58AWOB12f0nDdrl7kXj52u2A8JOKD3OY7Azgy6Gq/5PzFzQ+C+HtajaOUPHsUmFXUAlVVSfVS69PH5/udlw0fmUDyN+ZfFvNwBVhA+bPiHLeCT4G0AHMtrs+mwl42/IkXaJ78fxlMx97XLpno6kv9sYAxBuJ8kc7d6GR7lnDND7xCJEa4MWU1tIYIT5zkfoKM932AvSITKroI1YSo0noyJhNoG3lqZU5dGjia6Dqf/PQrQUoXHEoCu+ctLF9TunKVjheo9ORCV/pqasbaAhKhnHgoGepZY1nFcvGmErUOB0pHSTtwVkeXRI1u+yF4aeZj0uPJo+ipxTFvXS2u7fnWf+oZ9xoV9zOR1SlBzB6v7gV9BcMXwAWiAELyMAyPkhn58SKLLrXCtgjuS/WhiO0rBz41JduVrc3vK7Rtj7ak7Q6gz0dI7NdomEr+XzqKpyMu2iFKcuZqxSPx3rnFAs7+Yr0iYCTGKhZYnzBcZqsEiT9f1vXy8VAGinYYinreHclX3mIR4mb5tygQQW4z3FeYbM//5tyaGHIgF0FMVQDrfd4iXQcLHjFgnSJQxFXyQGunVCrY1tz8qsSPmYkPcH5zJv7rS7jfdxDPoS2bLcmXu88T5teZTNl/f/WgSKiYz0kvfHj+1WrPoOqWRQ86IJpmBejYVdwEy/gMIvBSMzUqZnsAm9+1uaF1FMP3Uzz9PGuYPyjpBC7YTL8m4/WFHHbc4mn3x/Ezlo4/uuREOUg38qzGuOSdFPpIsa7umd/vaaem9cbB74bwmKnHTEakKltQFNsaeZ+bfynTWmWbQ0SWtK56xrZpWOCRkeR9gvfr74fE1wpT+6hGCewnroyJuh89+TzXUPdpj4hHy5GR0uYJ6iuAaKLyRDr7WO53z8kFKXxInsVA0L5Adu6A8yMF18k+1s2L4odPr4CsElCOMLPkt1cer2ejYqOBipDIT9Mu/Bv9QtvCY0Z+JVjsUGbkARblSkMOYf0t5Jh9yzMt7mO5dcWzhT+yA1U1vK1oLBYJf9vTUiKqT5AwqD+tbEzVwLszxsBFKCoSoqjJ0CPe7tybo2BFMFUqKfQUBRQlWr3ujhPqVbt5l2p50UTxiasfo5EDvf5qLZjuUWm+E8d2Ow128QI+hxe355mUVlAW7f1QlvGaFklVe50E4nCCo3INpSXWocwwRDxq7LotOgO5lPNisZdUquQgDFOofgbuaxtjPqojIXTw5z3llu5lZkwHN7ELn6YRKY6WyBg5q/2ii+xTm1ZGctZNTbtlSBAM3puVCQNpesrIjDXtsvb4rgUxPvhxMAKG8YEswygMXBEUfE/7mGnDCxPeFuwkGVfzCkCx/ORa8jme32RSu7OyVbdbBt3MW3B5O2jJZS8YLdSBTh1JZDKKdbkocmexd+s+JITqJQEyMerLG9suobz7AgvTefL2hQVA0cDzFXeEYNjVp82LJOlzjxHDv4dNy1dGy2LqUjbtSfZbPUxcyerv9REOAoGMHhZdGN+deas5mszfJg3iEA0RcpObuHWr8udwYuHFdyCfG0H+IAsgTMTM2PuYbEEDJfuTTGCABRT1tUPzvwSu9H23WGV47dH8l9u+TgPvaxi6nvopJJomytJf7DULNSZbsPipNnqhQ37hBYwpIHu/7qPofQrLROsAsWuxqHkYyHR9AgrP+AxCsodsIugYYSsxLDgW3DACjva8mMDpS6nL0UB33XqauSUbBdkkPa8T5DGynopSkBsYYCBLnXn6Fwy6VGK+coQSFo9CqbA8NMTqRuqSoAlotIz7aQmf1Ead7zTurRJjF0ktNh0idGy7+BazIy6lKLtXlzlDfZ8VJpkIK4uliRI1UKkSl0MiFqzCENBqYXrtKJyOMTu0Wvw9Dhz4wftKLjTiAasNgu6a/54HAEO5Py0W1w1LFce3VY/WTTYHxkXO/2RS/lN2341qJIwbMYbX55MD8d6fzt6vFfuBNsa66C/eYRxRNT80FTreM8mMQmHLW0mOKBKt0P043mawuIkzefLalhExDKEvlo9YbXUX/ThbvsG2N2Qq38UkoQApmCSPAQDiaCpACVFViX8QmZjUceZpKeejB3XCGWK0bi4pxW5ydCn9zwWWmq28OYtBrTGEXf5Eiu9SZADTJIyLHZfJUms/fJFridSDVuTRqQeIRJ6UMvN/E1tbViwcg2k4iXJWKA7DC6AlUYFmIZEDeZp+aAVRVczSXKqeUwCP8v2489uVuQNUszCvXN+sZ1yY3fPx0qOPfnG75PkQu3+YjXrzFBDSMCe+ZaEqSr0JhkDmHubUphmEq5WrHkSzhrBX2OF9eHFFm/vcZDoEsxjxb9BvwOH7Gq8fUN8/3ynHIGCCzfK1zBNd5U3HIJm21798vA6MbQw8wnMEUst/elTlON1wfsABAZ8PFFBuqS8fgVtDMlRVEUVyPK2MFZmsLvVa5aJJ3ttflFFfkLTLl+qJMQ78dL39TmgAc+yFsnGWYQ/B/85ijozX2UNv9tp5kKgU11hqEbl+kl5134h0NF5sQkOHSsIzxHqYYfE1OHjt14esQRJTrPULN6N6lqbouLFz+A2xfFGBinwBHALhi084OYECA8dI/OMAbDD8ZO45QuQvVdv1hf9QTv70YFXXpuKXZdyt9yHmP2tymmQE+re8O7SmIGzjlcuSFujWUm9GMfZjKHkvszvWAJsLCGfvELq1XHVjVdToXilUPLIEwJrwbMYAVniZGXVt4sNqJ2sU8Zm2R3kkNLTeWana26KMbgxpigwPbZQwNf4ktTuISzaSunSbFQoqiGSQoGUx4+bwYOK/gcXPzvYOzHmzorZjto1YBTv2IPe7VrY7eYqeSp9GmwbZrXBtklwegCeOp0J51CWfMJ1S9bgIxsxKxQNmgbzUPd8G9qpP9Qa3qHWqMx5HJqE4NNc8Jvpb6tzxywUgcO/+OOWBZagJwNlMSXhgNIu5eUlc+OPMkcBpuWTe0UUDshKYN6r9o6em7uCpB/1PwXlk9wXoOpNV8SgmUTjkzYm3yFs2hmsJxoWzYcUAbihkO9wWguJB6seMxqJiK3ypusC15eEnk1XmJy8qM4F0ly7qCNHXxEXmy504FBaNRxKgXzm8jzUOgWZsgnht3KLLzdFQFXrkid9icGxWaAJOiC+wkPgvCt5daRVQNgkOLRCeh3FtqF80Rl7OwpXe22pueCrhwkyBAbOiH8yqZmfG9onjSs8nKRqGACn5Kwb9EDZ9ot8G4biOVaqwRlE9Xm2/o1G6TdU6+23b6y1k1IiTcyZpJEVxAijA02HqNXG/q16YIbLGu2xO098j3vgaCDSapY99vhSONcgdq8wiDfXZjYjSzdLW/pnj98oLU7mgf7JOFFehY24atio2Q0kZEUYGORyLb9mt0VgPiafJpf07W4pDW999wZ126KDJcKwMaxHtD9SLwsI8/nzFu8YKanfmAlFvarUyt8yR6hkkvX9AkWfGXFoUKY32L2z4+XkuYsMF3Py0wuphjyWS/mNfWKLgi3mUFr/fmfToclLIkQPBYQ+m9jCifkXZ9O5yPyvfpzk/LRx7aqXAFxnmiGzE4zUIJb3nEoV2JdOcNV8jFRz1p7o7Q0Dp80M8CQTG9Trdpu9Uc44gnhogbDTqPEeVotO64s0PQzmyzwpGX+a9lEC2oYELaXIyTNWD+ph5khVYPIZ207yltW3X0p6a6gOjDqLr3EmsQyGPVINPVmJTzEbEA82YewZXJCURXlWmxRWU1rD5w0yleb04+4vJxBmVoORZrUbP3lSf0E11sdHzGnjcjBJcIbfBALvutbVsDG5Jt1Xjv0SV02u5y0ZZWOMD/9GkMoKY3Dyj9A7qBqsxkbZinlh24tIOibk9p0ivwapyaW6kHMJau4PZCxgJnTGO1d38cz8SR7gtQ9fHMpco2deTIpinwoABnKxXtYR1QYD+Ud3W8K2BQAzIeJyUa3E7QPIMt10JgBgMRdULzHN6Iyr6C4w8w204webROfBmsPh/8mIful5CVJKUB5yN1KrtKtCYLRicq8R9AkRXbQs4touKCDON1P2KIGGXzMoO0PZnWgMBzv4wD+9UclICKVNmC6XE/UhCkAJAOv2jP7xqgJyFkUMlEpEkvY8luon+dgnCfKn2RfemqE8xM2urxYYVixfKe1Xv+XiNPXI6uSExi2munMOIoEIMtPco+G+MKQmrPq4IumXRKFYWx4q7Tu4OqZ+KA3w+peV08jfwE2GQ4UZmlr67YFoVfGhb1P8X5PMk81KpuRJ8a+MdzuKjZBmeUE2dOPG7N41KwXPhlY4fP76KKgCOf5Osto9bscR1mBSYhzTQJSxTRhbv3pYhC22SjW0JK1ViBE1iM0ePtbAVB5p/9z058PO8xfoeZk7dvNf38yEo2XRjccXgCx5RgJuMhbakqas5wAxxC+1BpBpRPU1rsoJub5m1h+RbgA3ru3nWiR3kMwK02MWxESn31GZTeZS7lDvmZLrVhwZwu7D+k1PNuvxgkIWckI27gXmIzLUicjeiqcVJAVXI+9GYf/ur21lqx3/as7+/f5VSF6sN9nJUdCjfjN2aiI5rK88cl33bHQivBuJWiSpSNl409FOhp0YnOSthnXId9DrZ5gRa7JpB1tS1YlKARHa4bn7iC5PRWH/K4o37axBs5szMqCSSNm0TBn8aU//PBKmHS3F+wuxX+WgtgSl44l/ucvQXPpty+QCqsBMXB+wJhAtF5GdYOdZeg7Qm/h95n3RjyOr6ITsN5kXmrl6/od0B2vP1bhk9nNObRY3FTs/Jq+uC3j7qOHfkPF3vnyoSwOknhwrdQOIiu2ICKZ6nssgPtkD+9CS9n7WdBSdYa7S5GSOWZvS9KRIarIPk9xn3EyNTHJOlB4QOACr9FerFG3Fs9k9lJ7bNH33QB6IT/wu/mnCHxukzVlaSVefBtWMmgmZ+FtzyRNoYJnuFkiPdRE0Tq1Co8DvYWDAJ9mWp2KX3QvELPHZjw18yIF8WVxoLK24rPSaWFy2GdmC6fY7ZnbHN4g92XQYwdkaftcmjniP6mi0+kYdPLN3V5HENV/sgoLlakupT6IUkXkrcfYnvQdOjgmN9aInnwVWZ/qusBGo4Sy50CUlwAw8of7FuHIWy5yeYICcAiCazaJxN9b0ebaUDcC+vDfMZOKNeBr6eM/Jxpv5w9C5lUyEAucP3BMn8acV1hPOhpxqOwXbsU6nmxmR6zoRhCfoXTRLwz1yDvgIpCHGaJcbLfHHYlfWAPimrepuWYvA+Z6EKsHYngs6KkIlv6iEACWifLuIKHofCRhhVmc4lKVtteOVxMcLfZT6xFPI3+Tn2qX7K7Hj7N/aHvrYn+KmC+xLCT4LwBJNmD5sb9cWvx7j8+iQX87exX34b+o0lDS4zvcLj5InFEdIiH92y54W2PkgOVYgWOvp37fe1OJAMnRCzqWXGcF64dRtcwSzTRpU4gfRj18AQsKjG82VSlxqG6xAA9LoTP51Pse5ec8hWJ0DC3yLFajWqN0nKhg+9yxMxqzdUZGNcBHJ1Lglti0km8uoPD9xMUWUeevH545AlIucsUt8kaMlM3NPSDos/dPCDH4iNhQreGK8t6xiU4i2OEAKxgqxYLtLsVOOBwaQ80Lq6O2ubtxZI/2CCk7srOunfWTugEys2SLGCexk+Z4WTurd8vZP/q4cZqbAJJEtG1AW3KpW1ERECY6hYYGbYhtqKamqk/TU5s9zvaUj2DQnOTUXBJWRJWvUOKg3xICu9PpLANoFawhJYV2UDfTjrSmTWmtnl4ZhrDni2RWj1VIzvgErjfaCKh9KGJEVPrb6H+YI5vq2Im248zCpyiIwcUgYFCnRY1vKhbmHeAa8qT2hSQIep8tq0TeTTunWaeUW3Tk/WbA1fmMtyelBUHiHoeu8VnzV1PZFsqekWOo0WjEhnjPWlnHvloxAFemgx4rosjvIBc/rSnM1+8JQqaesm3Np6UNElVzRGnZJMYrDuBWAAq7W8AsYDDNWFk2SOrr8KLjgmiF8lmOL1BRnFagPZP0fJsukivlQAWcpZKhA8sIt3gGptZ6kF7snNjfnqBiTMychHlRsJ6OQjnLmjjw6C4mg/YriyUvyVUM7Mxu4DRC+HLi7fkrDlyOEM+7eUddDSe9kSSCobYfxARxiw3Jrk3SfXQR3FWTBpYxyR+YlRZORUQqxxhliLqbQU+ykPx8ChwxwBuVG+AhaN7kp9bZ9jNOl0+pCdnyhcOEnNJMf3zP/4n0nZmriMGHR1/WxgDK2HGh9EvAs2S9CRGLy9eBLssjk93beTfbq186kHLmNooNYW9TVg1n14dAz7dnVpBceFEWr6j+1oCitHbzmbjFuRaEvbi4trsrkCJ2IAeUW6uDeryi0MinK8JH5Sqd+q6hxJQpeHQgSzIMn3u+yW1JCsj3afGi1+76NoiPuAwdGO52VDW0UO7js5pYGFtwrsiTQ4R7esJY8Z9mrHzPLoe9pYBluEtqXcuGamKfzn25IggopWHbDR7Nes9tSA/84hDSC0j0IFbup9kELbd6/LzayC8P8Rv9X5d9TOgppMbCuIW4B24O3ZUzhpHTGyon+PvW/53YjPH54IvFTGnjHbE6hqARS3Q9rs0lewycU01M4eXARKjZZVtDFGbYnUzMm/BQyKw8Nc+8I7Vd/NN7v5++8bXqREl7fbcATTTS44FjDLM/JR0CNUOqtbedWBWdLm1KHdIc9+82yTLRLA2fIwr2QrBs6rjXU7bl63hQMMId1ivXppKwQLy6+AOFH61JRFGS7FdK7SaNXzjn3EBd0QGx/EEIFmrnd3+d5+tYyv5b0uKDhN/nha/5S5UV055xrm+hGc3KCecjX8cVY7e0wpN2a0lQV2Nv8Z6QT16uWNCQR8Uqt8xz5978vV9eLa0MUEGsEsZ/P+35eKSnJ5bJeQ5+hIuyLJIi5+ZOXuzEBLl8yvevlSsj0EkjJDeqFzFpc0iFUeD2E4cYPDR27AekBkE9pxGOWmSTV3F9D5JHlBxs9i21xRLEn+WZXuKkOY131Gc47vejVVTsxFAFFRBs2gVNjctGN+eySSsDFtVqelytgXKW5YQ+fq062D99i22538e6Cas/IMNslsQwI0gtigAQtmlXajjzf3C5lt0gb5Cf++E32DOJbvg8Je4FhYvx3Fz3vUVA0omlWK/gMQHXqfNCUboKF4pJWDJaOw/Q8SoELkmUNL6Dm8gtKKi1IJ93qFss0N1JimL8nPUaCqtJ64qKIBvQJIRuHKrRHHq/Nfac9gLPLDz3B1trc4uhowGntqzxqRA+y+iXmB6SzuJe5m1961gkZHn2HuCtdxZbXweGBcgsiP//o5ZgVv4if4/3pNVt6BZWHW8FckV3T1LKHyVItq9Erj8VFt8lWIBXkdhxev/dP8SzoJx/uCdZDX+G3dJEVuL6utqcS9QEvAfAy8CPCUxNYxYMjjne0MezG2kCvoCbCgYNwro+d3zhLcfFohXJ8SCRJCOHyhBrpEqwIt4sramgJY3umiu7SOmF4tnWXpteis4qp6vw6hxTue7NPKqGvE1NNPMLncuVzfonTyYKvsfZriM5NVSkNsUSEzKmFfBSfoGOuzp0XKfJK+jU4Vlbra7YzVSSHBhl8ECklSXHYOJX2A2fqBL1vbHr1jExPK/hBkGGrd/IMdxJLdt735SgaC/AOt7CKJ2RuwTVwtzppNQJc+2U/+PdNtQ1jTytVkKh964fyT4Y3UblXiO7OikkmMdwZ1BVGGtxz/KZVAPR/1mTJ8xaT6Cv9JH/QKoeggwZkAWnhpTiA6DQmEqIMmp539h4j3Yle9QrAzq0Ag3vj6o+v8WbdMqiWaBvp94mwlzf+ZT5pyskvk2hNA7nOIIyr/ppDPzfIjV3st2HwkfOZR5iNq9wQ0zWtnANLfJShhKvs3xcfoivIRmilY3e2y0zDjjBRXURPhsJe1y2IS71W3/4EAuYQr9D6n7k6gqgHkG5Ex6x4MpoF8MlmzlRaf1/dgRstdvUQyNdQm9OPbP6qdKfjmPTZppvts9j0Xo53PIBFsgRIFR1/J4ZT8xF0MlBRxbstIsYJY3z9BEM8/WUYAdVA7YhtQ0TwsotCQ/aMATTbldEOnjjlAi2udP4m+Pv3Sb6s0ca0xAHYBqUet9z1XwppeKYhNDoDX3F2M1H0lWKLGDVa2PlJEdpDNGeFvMjUCLRJIOC3pOwDTzuAm0UOnXtG6ukuK9GTSHjKpRIq4Hh1q/XV+DGWKEXYGSY3yprcnrWef0AASntmb8cjZNoPihKkJGFyKCXIoJ8gGH5v2qwL4D3qiHSM/Js118HfOovj5tXfejqaMvz0+HF4LA2YdF9jnx7ZywsENiclzniOI+A3DJKXZG4piVM2ZeXsERbbrUSVfZp57ofPYKZC8DDahRGBWL7KubAejEMyWVcdqRvGGj+9B+t1WgHAqJaHtYyBMVVd++mL/HYQe8xmZdwE82Y6p5uaEU4rjz3fD+kcjE05zjrq7uXaO3hsllPsm1L6X3uMXMv9BRUWKnLCBcnSF1to8RilmrB7s/C9KFDpjRAi5cS4eQv1e6Q28C6m8dVg88L5MXHtZzntQdHOL0ZzMEV3OG/886F44f5trEeO5nMuYbnkJqL+PaExqwprTwVocOzuuiR8zweTvioqjUnjuXA484J8DlBZtWX95zgoXjTj3XCPRHQQN+X3JKS7pyojL9+U4GZoxRfhaey/KILU7EzVNVWl7ZqoAPyohAMN65wX6cYTC0dFNy8TLZ/slyi7nx36TE8ifMxH1G3KIuRLAONC4JL5+VCNLSMsu+FSr4E70zIl2/Yj2yjGqcLZj8UHY22SK3u2T9x3Bw/ea8M+r+tUUjYH+pWd2NCrbPlzWUkKsHexhHCgLj5oJUTuSdIPcYRUpE8XYwiyi5kgiiRDlqzYG55WqFzuPDvcnNQGMCrveFDo23nGrHX1xq7BoumX9M8/ACO+g7sdvxhmWkhnO/Az+MG2BR2qcFSIcvMkmE+tYcT4zHtQrc02aJ4NYD+RDuNErj/9iL/jd3/NfTqYzJF4mDqQvZAVga3GHGzSQR2g+yzlyORY81flsU+IQtGCb/TPuuqrtGe8qrxtactuDxPXYnQAafSTAC5EbuKcpWwW60nQW9DGGfY9z7dKwFfHwZ0eOEEWaETmH7yW6mQ/TfPk1QP127ajX1/Nz58dVDgr8jkmw4AXQrQub7W4kZLsqPAGEiwDS9V4YN5eNJiF4YVOesSBslgVeVWykgX3BIlIkEBSONdxhcZZZY/LY1tmQeozX6JUJAeZjvXEdmEcEra3XDmvCx/sHQi6xl23Vhw6iO08mvhK8J09HJbCaSb8wkll5h9ELLOz+2fcvSO7+hFdjoVDm1EM2zfYJCH/o6CIryHq79NmK0NSCyaIo3NKF6oSesFp+nUrrreaIh+Nym+0D6K1LjcvPO23zVQV41bz6vHDxOBARdvLlSr2L2F+Isg0SemroLHJW9hrygFeOVEcvI8UD5Ip1/NYiibNYwY6dyW6+xriPBmkC0pcafTk7ZtoX0xJxVYPevu4iE68aRHMIS0wxGzySl6zHciYs4lgjc5HgPvmnU7sTkQ2DYfzTRr1opZBrdGlzuQh/eabW4nQ4tgUWAyIc6nWTAmtYChDib+R2Q2/cIlpmdqNCJJ7GT8Idxoter4WqoEWZ8F3Hymk4O95Wo9oufs5J459EUu4AdO+f+hGvgX+oCzkjNTM472bmbtO85v1vq9cQWyVLvgTqrQQqU1XHItyXMxYjW6ilvQ35tIcU+VA/NVdhVyp+kPwQBH9JZJfVjpDGupl0hw8IoRP7tuNFm6IR4VRvPwiePn6+3ZmD8ndoqdUEEZSEFKw/jYBni91hqlSn9Ui3wq6UNndJuZMrAFzuJdppGNLLzy2vJCprTrtqKZVAPSOJUrWdd1jK0r60m++o2sFPa6j0U+uslmWOqyTVlNaokwMCoJ2exGWbMuqiyShPeAsFO/nk/PKBBTNfL83OeenB1LcCVC4eK37o7sa8zvkLiGbvxwgsNaImJ8szOPieL8H+1HDz9yFXlzqqWZGXMv8Q8CjgyA5e1XPT58XuKMUcSPXbo9pQewMwOtNzGaLdpC9+zbv0BqpPY0Iu35qL7Mlaz2qHAZKeRnK/Ys0f+DsfGlMLl4pWQD9RRH/mfxNQyv8L2p4RRMUsJr2s+65pm/2PfBJVGN0OBoF0eDnhsryfDnuF1c/Zh1zaUilkSPoV6e7PnugTXFzoYOy01r9JOwKv/OUod+Rhzw13fcn1U8zPbltnlvuDgKPepToN05uzwR24VPkSHEZ5olD6v7Fd7lqhoy8yolzB30NwdYwz/4OZ4FAGW7UaHtCPPQxQMeH84fUeci2la/63khAM1sOK36imAPjw7SgoXIIOiOtC3TauhKzhCPIw5nJ6XfuBnk08A5MF5j6jZhnOg+mLdYxc+nFP+uRn+yKph9kT3g/IbpgEvBiIm+3zJi1xfzaLFEDtu0PiTP6NWkHo4U/eKa6P7anoME4wFeoLgcIVfOJIFYZEUaZlE+CwrFjE2u0qjCK3DDOzYdHzGqORSp+oHcLBuktfvsykqm8ilumhoM1KX09KM4sQGwUKJm1AnXeO4wT8nVAQ+9humXoOZW0BURE4SqKL8QMvD6jm9lJE3aawZ8q63I4m7vaKf+4RhlS6etKg2LFp49KVE59eMtkE5WPs+vjTzb7O8GqEEPA9MgyWLzfFuSsvYj2I8mbESocnIxvIEy+DAWRuGcnruE9Yt2i9xeTIE2pfoZ63KvOam4+2Xc+yCXJY9fYsduwj1rvNu4PSAdMGEBQoljcztDPI2W1iVS/703txNiqFB/btX7k7uprlg7fb1nwAAd2c8l/7RiV6LlNMMHBx9wO8yEXP3Cs0Q/AdM91AsB+uek/kcmTv38HP1hwiAlpDpGBNP/b3FZRqRtRCkrBu4fILohVVEBC4z+5WafiC1oiuTp7R4y5shtw+8aUqBj7wbTzwUseusAG5kfxvYLjaSdmNMMJ/pHHSpqORbDuCAUSAw+uTxKqBdKhntCIixgRknXxvLdsFlW610aD853ALHPN+/JWkAEA6Pk04HGTXI5jIuG1DxbZZeFpWxufvjZugJPLHUVC4ldFvIgw3c9n2aDtJkc6A/pWJqAhNboYKni4yl0aPEts9lDwqaPzDNTgeSP7W7cH+ocVARYoDGXatLVpPkWnNaanYs6nHmWpVZ35q9szi","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"}