{
  "statement": {
    "schema": "kya.pq_key_binding.v0",
    "secp256k1_pubkey": "0xFf9a176577Fb42b6bc9c19fd05a241e8fCd0ca14",
    "pq_pubkey": "638c79a2210c85e8cb349fc72a6583b7ff82e003ff02117f8f7f9d8cc3fb92a33e7496d987beb05f22bf12ecf34bc7aa",
    "algorithm": "SLH-DSA-SHA2-192s",
    "bound_at": 1785422037,
    "profile": "pq_key_binding.v0"
  },
  "canonical_content": "{\"algorithm\":\"SLH-DSA-SHA2-192s\",\"bound_at\":1785422037,\"pq_pubkey\":\"638c79a2210c85e8cb349fc72a6583b7ff82e003ff02117f8f7f9d8cc3fb92a33e7496d987beb05f22bf12ecf34bc7aa\",\"profile\":\"pq_key_binding.v0\",\"schema\":\"kya.pq_key_binding.v0\",\"secp256k1_pubkey\":\"0xFf9a176577Fb42b6bc9c19fd05a241e8fCd0ca14\"}",
  "canonical_content_sha256": "b26a01590215926373544dc82d22fadc8d97c98debaae5d6ce8899b83ffd05da",
  "pq_companion_signature": {
    "algorithm": "SLH-DSA-SHA2-192s",
    "signs": "canonical_content_sha256",
    "signature_hex": "69b73cfac676f85b3ba172f0f933a115798d16bbb1637befbdf3f827d068320d7652a7018dad379dd06e2b06633f87a8172b95f2ea42faec85abb39fdcbbcae2d488c9c9e95ba9910130bb21741aeacfe1fed6c32e37e52a1a311175da5cafadf979a6996772e0a1c609d5a5668bc88a5f01af50d8452b24bd4bd56764d5d1a204d0a161b07cfce65a0ff3e68332f1d398959e7375df3a787dea8a9d55b42be62b0c33b1ac52e19486b2f0d1e32fb139796f6c6e253e7f7f7f267d19840ad1efce4462feeb79889c449ed265900150acfe33d77a726fb8b8a794850c699722010ca05e16a7c285199b904efa3195ec9a141d9f3ad51eb0242c997c361edfdc813a39bed0529399e2b55ee98c9c88aface841e1b56408ba8b9ea73ea6751533643795a2858d4c1e79d189200034bc540fdd8190e9629aa6ccfceb5df3db7f6083794bf8b1119bd902fda51110d65c84c34359b0714a8503444102a5a2faa5d147ba3d9bf070dd687fe81ec58ccf39b41ab91dcbee01f34f1b5b00f8e3270938476cd8ad818adcc8d61336bf6fbf2123ce6689ba3dea1623cff6a48059a44cb11fd23f4f22e627199c498f28d50a3381ceb416b2767b51adc5b52136bbb16459e1c4aa5d3c58946bd0cb85104d02ca47e316b18990365b082189236ee1dda38714a7c9af65f41e157896c61cc1bcaf3df6ef320fac78f47cb45b1e668edc617e5d42709b30bc12d13bafadfe81485b49404a3fdda17fe96ca56c36c901dd5be862d1ad63d5e4cd08d0bea34c217ef7fe6e5e3dd659a322aa457512cc2226e07dd71f0b643e51496ef7b815914cfcc107be4ee298eee3a6fe7434db5f581ca4fe445553941fa4b43344035ce650546c31cce469e150ca7b76c2b24a500f2170982b95d39517907b7e2e10b29bcabef0d977d0fc16aabb1492cc8ea5fea73dcc1c1cbd3077ae267b8425ac4fd971ead95736d53aba0baf66ba9704055fdb95a814ee6f81763cb66053237224a8f842f3be6a6c1e47ec59974782e87a96662a7b15c8ca06d0da9f10b9b99b8d842d7f993d93755bf28e225c8d198598c7828b8b6f72e8753630efd1543ee6544cdf5d53565d01d76c843a38e2d51395ecd19a6ed54003b2b339d1c802dc684f1ee5917c3afb749921ef7d574dd5f33eed028bf8b9086a3e4e3b7fbc5100da3ed2eb0526a5437e7bb0b6500c2d2258383eac341ef9ea1c72bbf835404488ea8288910219e93a3357ad744e91f49a897fa1af152393505b652b73b5b84a67a460df41faaf6c73a0a39126cce8fa539dea7c9273a09bc9dc59f8984b669f98f768ae16dfa57295d5253cac677f550663b2cc5ebd53cb5a8de5506699b5917c3abcff79eb918a2bbf2425ee27fcd205bd850131b66083f9bb29a1e075a49037582d7b440a575ea4aa47d775d381773cd728cd488e5bc40f7018cbca0facc9b58f65f968883f43b9a76b2d367db40feedfc096d4dac5edd1107780e75ed0be3328b51242a56b325042901105c1f4dde233e5fd431558bf85eead5b5c69bdcdb35bac9cb3355091a8f79dbefc0bd1a2cee56e10d66148ca6f3dec2bf844113597f7f73804f7d58035e3167087ce5450d0de58de2a0bafd99168f72cbb26664ff1e77d4f4390af557a19a8cc9611dddb72eb0dd674232238125f3244111408e56f766f517dcc9270c02c35be4889c168213892458db6cfbb57fbfa8858fadf39e52775fba962a049b9ee168343cb5236fee56d01880242729609c0cc72746a5c51ec2f92f5b1bdbd1d653d97d1c71c1e777dc8a1ce14cbf7526edefccc46302a2cb19823be3c9f05fe179fde6de9ae74769ed7ad412a4623e8933c18fd59cb6980cb036977fe9713c3ec9742fe5aafc680e41aefadf70b4228cfee58dc9f9faf4c86c5f5cbd502bed8b7e054fd1bc9c0dac67693edc99132942a081b96cd5e49a5ab8b4747131d8238b8fbd6fb3540aab6ea35e95de4d66d2eb02365090c27f4e670e5bdc4cb452ab572583abc2a7bb7cd597391099b5943ef5f179fbe64b09b173c2d2887a3284c9c8d23c28573a7765412bcc3651ce5da24f91ba5538b58ffc85206bc7bd697785dc5d2a4d936b27829cb25b685d266bf87a5f94d07d519fc9e1e9a9203fd8349f202573c4168b70139d2684337297d557dc2df39cf70328538e78865bc3448d079fdeaddf9edbbe302a42477cfdca8282663ae182a55c16c257352deeda135c42a505b73874f9a81c173a619526428cbeb3769cb53fbfb08743e2273145e87f7b17532434ff4199bb42139127f5322583dea9b97dab670ac8ad8e2173c5f458ec203a6f9cb501d89324eff288d3790de1f2773edf0697ed158c96453ac0a9a5c89b2c54fc7b794036918c54087b4c496a8c17ddbb2631466139ef4b75479714afa44208f4ee0168abc323aeea554ea3933747be490e9b27176ba4cccfc27f6bdec2ea41afbfc5a95c4fe4d4c98fa5b9c54c09445a8abc872d594586abe01755fbdbf2984c772930ecf0b063d39ebf426e99ccec51d793ab8fbc240e2df9c3954dbaf76098836dadc2a682c7dd0861d311c7c23a246b5b4fc544d275a6bad5c51c3f9644bad033250707ec2acaba4ae2302be289aff3a15177cdaaf1d5ccaea960e2bd3869854c678356590fcdc9fcf2f918c92493767ba394269ff20ae972e08faed0c075bc672099a7cb240c303be35d301677983fe260502dda4926906e52a9d5cbb076af7071ff511d7ca654a53d495e8b20bc37d6ad60f3023fd002246c68929477a6b171ec5a2a86b9c64081420b101dee1bfac3d82646573dd1432ca02c482d9f48d0478a41bf776b1521811547562c247a9d1f9de21de5bdd24a0e20b4e5d7c996026d4bb573e3dedaf4a03f2f752e0c720c6988c6856b755c9feb47ff523b4683679dff1828df6a3d8df660f754e0009296642a51f2b9032d4cbeed34fe1c1dd1f8d51f110d1506946f777da7fcd30102a51beccccd02ddd7344da4ad81fec441ebf5f8aa3bb91072c7abd9eb5bb6ae55d6c87096bef7edd800d4f09100aa5551c8f39b76dd97debefb6c20bf5d42bd81e9802b9a701a837ac9dd56c2f31fe44690fb2e94259089c37fe80417cfc9765694896001d7b1036746426650716334c81c0993aa93cd33ba456e6ca1f50884f4879fba485028e27f1e6814c8d00fe9bcd5859df39c94e6f2b172daff87bb1338931794cde51ab846b5063fbce4a9fa1b8f923b21356fb2752d9d3a6b39c69cad1042206a88c3eeef44c7b1b85142ee010b80b9ebf4537658597ba74c23d3ecaec484885c859adb1f3f0de4315e0b7c174852878ad23408021e938bca090483fc5ba891ae3eefc3f2ace73c0898fad4c37cdbe3f99da8f0b381f94f38d592ca1e61f337eacf9ea002a71b99ec43bc84ea7e1deb42534d65a7ff8df9282af62e96d12e5d1fcff5eee937e5b045f8d03667cc97bd3a582f3daa1fa544063a3f25a9ca70590c66347f1f69614c2f1f33b51ce673d0f147fb890fe1f11fc1e8c968c2fc40f5d035a6f9760013f740304ba263117f8cd9ce0253e7856a8f8d589744b08bfeea27f49ce6e208a3a116e9affb7813f5e79b30e8631dc3fd2c829720da4f3653f9d8981da64dacd976304d7f8af629720ac8c3ac96a9d6db99551e13f4388e8b2a0671baeb3165b019a1a118875755bd8ce6372085f079a5c636ee8b16dd46acd7a7add29071ccad7fb2b21e592a7e0a93377e5b84c3ad0de1ab141636fc40a033e0f1cc99dc6a456e96c0607749ce987d09f24fbbea46103089b878fc2a4dcbb9f0bb239ef011207c967bd50ba91d256d087aec7d1040c73a63cc52b6f6df0a583edc7aea2b08cea21a669c047af2514da68dc05eb1565db1064190a0112a34fffb44996b2b526202f93378be20c56f748109cc0ddead204d3a6bc7ee93052d60c6ee06de0d0fb8f3e7f0b81787014c06a4b7533eff67782aac123532e55793581ed753dad9b2af5776c95dc6d71603464c9fbec13f37cf1aef6c1e2d7eff0a87fcb310d9f1219bf4e6bf98a796b6272c0687ff753bcf720a300872f14a5c931273619fd7842499f0999cb366da6551348e07aff489000f394195344578ab094fa84d48feda0f1ff89663322fd25ccd351cd1a277fe407d8fcc47be351cefa2b996cd8eaf09200ff7b9f9037be3fc4b04baa9932a616a606ff3856fa5efb6ec96f25f37233a699905b6c1e34aacf33c35b6ceadb769765c5a56131ae83af611c8745bf006139c186244e617dd86af6560ac01acefa7e4a92f60d6b96ed791d67fbf47f450f95b0c2d90fb10b377909559d863c1fa8d632b5296bc382d6a48fb6f962a53cff49a72a5cebb8d4d36f5d302c1a1bcec9b9e31f6fd573c1a08abc9fc32af186345fde2d4c885c113b2ef5308f9bd447e9d3bd3736e4500fbe88b666449a2e57542b84941bb9c7f332bd12ad715f93bc11e5bc6e4e0c5fac4c88dfa311282dab97e1073bed1b815391ac9281db74b7a6b0b2430fbca0d9e28a7f647255137336908ba030b0a4bb929098f5c2ad92e7ccaac4a8111a3a637c2eef2ba5b6ae70cb8c9145e3dc657b4b05d99fed0bd8b5007c4496411878c56c7a9f677583afbaabf4ac2e913f2167e3d832f6900a6e68be33c4f169ffff3c255ead370915ec6952b7edb95c4536c91e3753a4d2a0b32be4547d6e59eae29625cb36d787085e0b50489e93b81edbdc767b40517d49fda4a3a35b5acad3847df120e865781032fe380099307d527b83f91011ade89548d0fb5695dfcd9d74856f42705d778b2e803443eab009b80b826b5ae660284d447f55dbc5d623ea5433fa511875ac6f06a176ccf74545287e932887b88636996c8754e0fd979462f0c62af412d0eb0f2d233a17acd9888d1fd8fc78ac7f84a636ce3f66eef5f5dc7715b8d97b740ff42f326b9bc4e3d8beaba26e905ca3fe005d29a2d175a44c7ff928f84607e6814f9c0a88baefaf7d6e2827f55c949a912ef78e6724ae649af7daa08f25bc71e0f5ec18f95eeb80dccb580c198ebded1538c4b3f8c5e0c8d15dd94175ce1451c99f357870af6862bce2516671847e5519f5a79007b3f686829a835c5ff6735d26325ca1948653c598b6ba4f3f0394faaac7810bcb46bd1d2d873d361f9a7f5da566007e0ed481aa2d4d7df548637fb3cc05fb088801c5be9c2afa58dcf6fb6b9ac039d59a6e81ea122211d592815c9cd06eb713581225aeeb7654ad50d088440079bdd2d5ebb7475b050bc43d6e9170c3b69e37b835c0741ccec5dfc7102710b93765d774491059c03d85aeaa76b2a4c3f5dcfa7fe9dbe9deeb65d4933600d160bb7ce24dce6bf068e3f426eb371116f414224a64e3a7ddefeb227588450b0b4abbaec16acdf5b2a26588fb754ee46db61af07f5a4910c7e2e3677fe5cc4087f1262b3bdadceace0ec086120bc1db481f75e5fa8c617341c878d3d2d1aa0c38b7c7c50956eb784454fe508fc46a748e74be29038fd46362da86f2991e9f3d0f2b50079ed743f00a72a66487608c67b0b09a31e8c5353bdab66502b02b5b2f0285d277baf20410ddf98b191f26e7e12920487e89a48018e8acd1eece7bb52453d484fea5d36bd187246b5fbaaf9476d0facef7bbbcad084691d27b387165ab7c1f024de9da05db6b1eda50b7e37193db4755907b58fa6b996614a3e202b65c4455a40c501008219c2d0d553e541b5224813921785ad26e894be09c9d331ff5852c848e905e9f8f8d7d5dff31a234edc8804fe9427a1513714074365104648099eb95a5140e20810b82f24cc7dd7cce439486bf31eab51da56c8fe46cd89b6ff52667efefd012d9e7e6d4c81754df5c4b611a8e0faccc94244ba1a9857fefa98d3abe854d29d8b6ed8384709dc9c6085956ce0d755e4136a395613973d8a97ab2cb051884ce6537b73f649f1ba6e35ece99e0fed55fbe03c5aed1bdd5b3546eadcd1729ab789a093612a18db7f6378f418c1ed408c2fbe1a4e4828412a6d952a2c2bfcefe219a7953d70bdf20761a1ab0ec7c6f805407c311136ae0336293b4d6dea6e99fe6d532afe293067761cc28746abdb69bcd0c1341ec3b5773b15202b90fe117e24c351ddffd4e52d1a7fe273364e172d92f8486dd3921d0a99c7c7f81cd685baf6c653a9aea29e596fa1fef8f59b07e0d56dfb016b103148b68440c6758facaaf557dc3759fba794d4ea45845294d6f819fa5532b351d5906ec5ab31c738791b07c1827f6646a7b56e74fb2f253c3f62f93899b37bd75356f6815097f400ef6e9ebadc47207989ac107a334c8bd6c855dd3df89cbd29225f326c1d83fb530e19f5e8f9d52b2147c17481ad5569307a975145ebdf449030c74acd3a6e230c929f11a72b24e207452bef818ee2fb3ea1a2ea30e09e9af150165171fc2d4790455f658ad9af0254a85d550198ad7919771ddfe498bc4b08715e593103243b3365bc70d2af533e38cfcff2911cfbd93d2e3b2b4dd53ef33160963183f8ad4037d93883db9cd326a9b2eb0423d307721cc9cda48ec38a8d4d10d5c7976f0a3523083b39021c583d0b1677804981f9e48eb54c1a72309ba0d7c448fc972328bb0d86225e358f34aeb829a916c8d20bf5cd6f2eb042dca8c2cf74f3a2215f3cd9d3f98d1574cf055472dffe150b4f4fe5c1bf6136c8290f848dd4f04be7904f8b6ddc397f481956ee1be06d8a38907edc9363b03aaccaead1be6c3bb0a5df80f9f805b2b00717fb5621897dab1866e84180cb7031c40275257920981bc2b846f1bc358729a185d79e7e4c10afa6e2d44c18dc525c00966e3a129ed59552c786dcc46517ca8a22fb5925c85850228d780ef4be3972d6040afd253c9ca14efc17f73658a51f9df8914537dbb321b2a5a5e9debe9f526e4e21cb9bf1736155fec2a8f9c1007fe1a7bd251625aa8fa96644580ae89e2829de7787de654bfbee82ff1beed428e10f4cd12ebc93c108952279e0e06f40405a45be405f10f10ddaadacd5d0b12cc7c7d78d1bb55622b41ac82d2be1c0308d97ffd9bb24a26654b16113d500abadb48228ea70cabe051d2dfa2b3681d4342e0e2a6e5bf59c8d833c1ebeaff9a6ad97cf5d07b92d02b6fa64324b19744e1533da56b973120da1f644b983ae84fef4206eaca6177797e8c0afcf85dd6eee0a02e24b3265ceed1a693b593af2ec7ebd70920c635287a1eb3ce5834c3b9df9797526bfa8660c4d06c8d72ddb12e29b392ff2405d62dda2752d05a7b341963c32f8af305b571c8dd3cfe9f62dd1ce726cc2a6b69200039e1cced5cbd9ff70af38ddeb0b25be1663bfde55c6ec8f3eba35bf3f8e8bea13d39e3f98e99ca8e3f6f5771906283e74dfd622619fab31afad4a401aa4e57448ac58a7006e74a81314cb2d89c30e5ca9f920d7ebc0db21093ee905ec7d900ac7cf3bdf70245a39efd188754926991eb9594df9a4d6cc81dcf2f3ca455d8394cef869ac7ddfa9e229efe6044a401f6b426673017d9c1d40e4d2dee178294334b825e74d4d4fe95102c5bb0b9ad5e7a82e1d1d311b5565eb46e13c01ff13df4ac2456363761ab44b931835e9b995a82c1b639494dec16f53b56ce97ef25c7af2917a57340e7fbe7ef96c8e954edd45907ec3f7118b8e7693f6d8c0657d5c21c31150d1bae17d4c117f842daec392ba97f48d3cf2463ae1fd2dc9f70b3da3b7a992a1c47a0eb1a7fcc1f5fe64bdd460ef9a2f152e6d61ec0598e0f6a657766cb4f0ec57fddd30b7a7f2661950aedb2d31854e5908d125960b17dcef8ea3a9cbc4aa9a2fc56b04c2405ec0cf975bf7a3e25b32ed4b005369b49b9ad3beceb1f6e06f3089010fc10d367b9df631d3e09b71ef3a64eb31489dd54dc0497599119f0c6bcfcd583b40c6d4caadbe61bd733a2838858252e5fb95af66e27147d38535b6c45cee0cc3562d189cf95b4e35f4db525053e6526c822fd640139117b3717cb108434d25d7cb5b8453abba87abb566c9884e63149713cb2e43c36d2bad4f9a9b4cae9aaf4409bcacce6984f5a32ef9a2898820bdad0d72339482ebf1bff67dc1815757058cca0e2e0b469c17b0c6576d3e07f37d3d9cecb8edb0432b1bd9ce73a734b91b8062551975c9b93d47d340f7e0138c01ff1d811e30e93a1e42b84b6ba57d671af2a9543ce1dd353d9f9422d951421bb0b7b9dbf96e018c53ab682277ee3bd7d0fce3eda328fb5e4718f8892ad9226dc97c4cc4368d8e6a31d821732ecc72999b68ab7c6e278c1bee53c76fac5fff417c2def72070400503fae64a2b5f7cd08be7420e8f43f2e15c0b276e60f9933919517bbf531f7cb3d0674a4f74aad05a0489901e40200b29f14de8f270ef8dd694b943719c7afc263582553bd6dcc2fd72f927effb51f5931f717c357847128f312509314749c34b828fb5ee0935a0afd6a2545d5a26bc3be55149d8a926a5f23552dbf12f5faf6525716332fef092c2de02c7f5174a6278259ef9aff376a8b38ba4d3ac621bff0fc02cbcb9ff76a89fe06aa46ea6cef085d2f8f45815812e3cbfaad0b67bdc770fce3b5b6bef81eac31c1551102b6048619b4829091215bf8a0e4342ed13338e5c28a7d7cac63fda74ec7506df8cbbdb70cf45e0bb5958c4be77d207355f67a05dc4218852b44b1e7e616e0f0de7f3c8f0b682c2d4153a2d1825c2893305767e5b8ab44fb4c7d3a1f4314b35eceba0f693fbb153c817c73598237e1f8943d2ff5edb7ba0948995bee2e19a3a1d79dc9550b0ee9d03430de24b9b0b7da2b50b5684f91f8e67b29b79a7a3732ca44114a22a173cf4416d0fcd05d8856b7bc95ee054b1df19a70ea06c898627a23815d2e8aefd28eb71bfe75c11c814575a1af575d0aaa3db513552c0a9ea8a5a798d7d11f75cddb64e6b4dcff8cd6895a279636efb681afeba72ef37b06081d5831dbf420f031a8431879ae85d70ea2336a84ae912fc1edc20d9d16c3af35660abfe8ef677120c8d949ae6bde2ef182ca4ed7c4d272306726da71bde04639ab100fab613317184353d350400f79e11cca933519e21d39acbd72d9b99580192b7b2fdad065ff9182142c8dc571096421d1a037a0966ef141a3b1fa682ca1471fb9073b20f1316e71bf4cf49ab5642a9bd4c1be2862d11d8c2219ad1d17e05949fcb72a6f7e55d7b8bbc1d86a975cdd6de2f1b0bad4c1474adbd7ffc024eacaaf1c55f84f4be48407460b595761fb9dca00bf036c909326e3d998aaedcb001f356ffabcaca57af143094090bb35099b92be7a85ec791e701093515f89405f8dc70557a8c71f9d8d1aab48cc73b839e729086a65deb2f799e379911b20ebbb57ae551629e82d4bba4edadd4cf1d71e37be4f45478763badf0a9c2726ca685b8130ef6fc693da2236dd7180d47f04564197a48b5284a286571d044dae14131a6befdfaf463568c9c5683084a82b5e5819820ccb226b70e78a2ae09500c9a343b08bd9d810758a961ca8fdb7ced1cb11afed0ec7e57d730016bcc83b346d475ce2f542641573f546d27623d3f16c4342f9ce52e4ee7b5fc1c383e054ce1684cb0cdc227eb5265804662f7e53e11cedad9df229a0c38e4571e09a4a30b02fd8138630fc3cb911dc57d90b236b40c81747b0b5e96e5e00580559a02f0320221f0a7535e6bdc089ae8c21489594c16e85555f5080b8efdf177322769aa624be04441833f2377203203bd3bfa0740a7edba82415cefa7bb83b07bb70b1651c7069ea3d2b8860e212eb76edc239521b5828c9c07921b2e833c356f2bee952fc28c7ae66de6a24340ab67e3b96112e7522309aecfd371caa557de53b83dc3cd32af2d6729e676196af90511c12a30a85844575e5ac9f24a5d7b9ba94c1b1934399e5cd3f1ebd21d3c709ef7d458707524a60dee24f5ca03ada257a0091051e2366eedc46d2006ad49b0b2411b0ac6e391d6a7d85b4f87e1aa7e97cc93b141609bdab9f92457cd6d39bcbb52e50a61e2bd36f5fc4f5fca5b79c21094cc2cd2c19aa994d6d77aafc0778c077ed445844847df852d784ed9ab76a5217e1433e7d8d524d30a6e9eb844fd5fa4927115d4f2c9c6ac8a9d4f11926910feb2195aa5b7c17280332b628ef8f1b19914e7978f408b9cea969d5cc6cf915e938d71d9b9a4c652d1430b9ddcdecddaa54b6c76d8bf68786c2db61e4420a38d229f43086d7e20daa6834226f88f7d5facaf4bff793d292c9b923c04209e1b377b2685ed4f7e891f391cd31304bcd19eefe579ad4922f4ad9ae20f64a30b1ef4c1aec73a90d0e75368680c5cf2c6059632c3662c2a35adb1b04e794815b72d9809129d72bedc0c4ba1063f8a05bcef86a03d368ee3889506603afd0bdf16afe5e2d457f2aa496efabbdd06e20d9dc4323aa73e29580d672d1a5a3c8b43ee1c1095ee05584321740e82a9778134c5d302ea19f1c1c6e77ed940b60b6a421f014ccc1eb49945b40e1a46ff6e9faa305db8a5051495f2ba3362fd40d326296c9105b8ba03a123602539f90c1a30aa388949a0fdc8d9b7ee70b230d07dd7b81a99f8e15d4d72eb5ec93b7751c2d484d200c629ab900905e23c773df43742f596d543318ebdef240d6ff447dd8ab8f2eba4c889831cbb87cc6aecb52ec9f8c07889b8437853b5d47690678911a8ca371048e03c3ca7daadadf75543d831fce748b47d419e94d17372bd690d26a64c08ead71a8dd919960bfd36344005902b37053c1d45c4173ec1deb3673c23417adb803acbb1577aa3b502494515e9bea97af4c643f919f97739ac6ba258ff7abe9c655807c7855ed7bfb3f2081f46c5e8c29aee5c79f58f783e7f106b2172cef2c9fb38fc2621ef346169283cad435574f249005e57522923cdbde51ecc37bf8a899a0e78ea9155daa96d347820d8ac84affe9f94153ee53c2944bbc4f095e8ea460d602c204c6b9877917e175ed810b6e9d173390315c572722b075fe56c16a5e7f2328c15430d1b645b3c58e92174e99d99d4822cad060cd53b20a958c929a8b98e4b0c908b95c0495766820f6bb5634d7c8b85ba15d9f31a00be1ebec5350b4fd1e196c947685754d5ff317b939306ca99b663db64b973eb9cf194be3c219bdd4be3c87705765d32a0901e56e134791126228f03110652008b23fd8f10cf0344fddfc1165dd5be27498ca2dc0a9fdebc51175f97017c5deab29462647639cf18fbef861699ae199e80d551697532941385179b6eb0096136f6b7b81f7612e98c7924ecadcc377c4c98ab646b0161ba3f35f845261c561d8985f89281a0fff83b2937ee99a97adac2e054b86e53df2031ff9ed7dfa59389d2064634ad0f77445a9a3ab0c9b30f37e05dd21f4e58ac0c2cd9b39ab57a814d552497bd06c4fae5c217e734dede8d15ccd9a604c87e5c3775204de14105b0d76d6d0219a68463ece15b65fcf5f744fcb9a61b8bd73a59d2d45a515f0531c15bc414ebeaaacaefff3e680200fe22d65d9c776a6cc17ee2ae5180c8ae8ef0ab8cf3ede37a3eea22e72d3e25697bc0230b24dca7888811f7680f5e841e1d57bf1e4eeb14d49b1314cbef7027724972e5b1b1d990b59d8b1464c6aa31f7aa0257d7c9e38614aad34c99f36b45047fc628ba28bbb176fbb848b7ed3a13dcd1d743abd0adc15f33ea718c0c2035de4b9ab848edf0813c8c548e423c671d92132866d3aae58f257d0017cd6ec59b2995a0312775f24ff635254f3cd6f433f70d37c4ac438b634f5d1d5c9a96c14c07200d574af3a9ffb90de9ab0eb019dd2b82f869666d164c7e28c8968ad1f9e4f56739dd63aa1ccba782ec40e8eda88933a0153982373e94972f5166908ae48c9823ae1fe6b9f404365d4986b43cb6c6cee3b6166663426fecc6ac8060a0888ea7170fbebd92ad466a20685a1fef9959acecc804cc251ad0c0ce69d86a47461b13a34fe8556c0cd52ec7239b4096702352f6937f35b3b77348d969b43eb96888560e7cb0991cdc1d82ebafe0823c0a00d1f1068674a5f8014b446c0b4da59a0fffa52cdb867b219d82384cf649828975e68f4f45e69b180e8481d576f48649ae977fed80eb3c311fe31c2946d77aa2852c9429b980b9b8eecb9ae4055a2c0fd5b713d8faa5533213ebd1a9752914b70dfa2bca4c63d6f3cec5eb1b47aac8c19b6c9ecbd1e8e24eab525d757bbec940367c12847b6f01e45ba9d03e156a750dc5577075eb1fe15b905be6d84ac5616193324d61258fa40c1021583722a5b8eaede902abbc4fe47bedd50e961679cc55daee8d384f3b0285b9a6c5e655df6286ff89198514a1c045f37aaa2b4d8db23fca3e1f6a16c2f18ed54ec96ad09f710f8fd54431cdcd1bedf86196f2c77fbfaf6a9b05b6d084df243e2eb47e6d57f4806981dab045ed4e91b9bf870294f63a34b2d910d3692b22f406137ca3967a58836ebed3c312965c7f6d92e1adaecde846a8733b6e36aa65802d94b7b019e9cd1c630e22c20fa696d4ba439049f654e698be9cc8afc44984ae1b51ef80eddfc4d0991540fb8242f6f71898531073e5f37e042d32e1f3720744e4f3c5cb96b8eef444e3d5cef791bee02100fa4b45f8ecb6dc2e32c36b8b2cc4692c9fc13be4b15c39a118499790092d1ed0e7e531364d2184a6133e55b8f6f6ccc3301d1e9d126d1b3607f13485c88f69b3a5ccab5dddf3ae2204a538d1519b1342deecf2999d9faf161f6115a29bbff1317f8480803080f9701fe658acf4315ffc504e6513a0bec629373d4c1af14ccdf45df5fdbb48062eef8a191f0d66599d02e7074d9a2c46e23d9465a9f3e01c2e48ce84b436503ffa7716580adf536f3f88cfba3c400966880e2d0ac8944079b8fbb3584231b1ab0cef0032ffeedd53d10d540e246bdc3ec6cdf73019dafdf62616af027b728e6c510a0794a9999f6bc61a06cf04c57d49d81728faff46c38a08a4649b65e7621e352dca1a00ce08b33bbf966b9e3bfac5002ffdc9fe84fe499189ba651701364208e24bbe370407b51a67285cb4a7410f859e20d5be0188abcd52bce8bac846ac5166e82b9a24b079003143a26e2c5dabdcec2fe3529f9edbe9eb0611caa26b4b43412ebff96cd880e428af0c0bce142d40b838614ec5a2eea4119e78076786234db429ae0aede48a5214822e552ff87f6b1f7590b87836e31ced0ef43b1eb9fb2807e0c5c8512bdb0a2e7e900c899030fe05e659072cae8bc494e1794055c16936608790a7eee9d61a30e11ff0ebc83b186a059a1d0e6163d2825b6d311e9a7013381c6d40a6c5f3ebbca1ed06f2eb8720c8ba3514f38a80f85b9050570568e087ca958b67cfb5ae7bc56456661a3115fe0930a6d3c8f81d7a935c3e4ede11e7008fc6177a803f71ecce470a5509f5d971917909e7e4a0fb346c948ce0e66c258406d5b1255c3c807da2b74c34f49c8154b9b08d2209a4929b416f472282613b00388666ab77298b1df12109c1b075cfe018494ddae314d244d6bcf17ce1e8a90fbccaa5fb6d2e1388838d5ae27cb5c43db0e3df38905c87cfb91799356f18ef373f95cb3d3f0d0955c21e5e25b022348e822196de59fd717f2577f8f6150bb26af1ff49b776ed80b81ee9eda59cab9c05997c5936b10f3d5b1d8160ac654e1c62415ad496cb56d2f151f7b244860214c43e1cd6741dc12d808cbafbf96d1d4839326841f9f903c4f7ef6d6f05775834ba36b9904190c6e32647c003211b03d803cd477d2b9b3fc2cd1b563a9a84fc075f4063ace5b3ca26acf48bfef485106ec5a6c67e1bff8235f004fcf9022a539b86dd1f273cf463931849005e9ca6306b5d8087d5ca658f91cfb1450479d06a9a489bedff1cabc2897c0faba49f76099f04114405fd1cbce06f35741f8901cfbb1d55e1613741a063eb0add61be7abcf1cebc27fb783d39f6c05180d92d177262ec1620991165d9fa05868ee3c8062db66494ae48a4ef1e9c72b5fa82e9ea47ed00eb3dae0bb58e45e943f83d1511b76efded8d265000706e588fe79197dbc1f508e87f9421d61cc2f0a27501991172554b35d293815d14b5cc4bb83c71d5f97256939911c3078fabe15136fde255bb0cdc48345afc3854ac6534e4027e72360c95c306fbc6c259dbee819dbb7d1931802ca012d957589c149e9016330559ae44a682aa6bf11c73e2b04ec3c3860c303a7abf6b44f2c84a8ac1e4527d1c5a834fa8b68f31e4cb50b274283080d91c8df4e93b0633e1d04ca369d1e73bbe796f09a8f0c2ec57d4f27b6f055fdbacd6501848bf75fdce3c1c3a1b2839e685a18195ed2e36b8958c953936892feeafbcb027c5bac9776fa46f5404f0cb371b8ad81aa954906198bd6f3e0dded9352139735d154df4d8397f22feb0071042e82a78924b41515e04025bdd60969ff564abd52bdd5492b81b667a97a529f6cfe8133cc1db3f7365dee4e34a6e9af1a067b50ca515e16f8707c776d33cf99c10aeef3b7abb1a86053eaab204e1cfe81eab36d283016f9a143870c28c796279a51641bed819eb578f7b30e30e72b708ce07d65ea24dee9b59d50faf842865304272529c6dc2d2ea52d9db467eebe2e68077492265ef75f4e625bbdf96a47b48165242f7f2608ebc99db959c6d620456604e65eef0685e9f270f77bbfb76bb718d553d16726b714bbbfa0b49a93f5f7d470de1dbfdad61e9c7a70e88a547ccc5a4b8e14ce68e992b2e1f6d7f8f5129a99cd5659e3b6e25c21005b6a41b0111ee6e292901a67341b2feb7c50f113cb4bdbebb37bf6ec60242c82f6eea8c862de7bf61387bb18f7bea7431168fa3ec9a725fe93caf4d20b03e2fe14c1fdf86e32d5d2efa94ab73dc819ded2b80b1b5e2762040e06f908eb86049484b8a9ea6b665287e0d7e6d497bc7e21982b3a60ebef5e70b3e830cd129aac40667019c1b6782216ee68b98382fb2b77641fe6b87bdbcc51518d230d1cc6574d562d1600c88a2cd3d3660e178386ac7ed71b7a9cf013b3711ca6dd86ef21313356a75def51ac8fe24838acbf34ec4e7c13f119d712b6dd3f8947a9ff9787a1f75843fd4e2a250c7c3bb265dff1b43d3f837a3424b7ec9831d54cf6acc815dc29f1e54eca766e64e2b5a6959e59e68555cf2c25aee15a15c692b580eb47348f4e261b58c0c4855a293f2b53e783f5f7d96b107320805bf5158c22c04c9d5bf9e0803770b41c27c3c6f66fd94f8460cfdc16887e969fd83cd95af09a4bca1405161c05a2742d1cc57b1fe55b7fd2774dd0451ee8fcba3d83612bd551df41612a8f9291cc73156c2483055be05c3eabcc963ad54796630854a2a71752f8bed94239118b76438eeb905d3158d0b0a980af1f5c857f23d501552b3051e43d146639bdeb61725f1e7bbd2d7a1f2987a0e7e688d1fd56e3a8e3907514973acdcec1182cc6f79962b80a5689d82e590a1c06210e4d9194768c0137a9656c20d42ecef8a3313e1501253701393be5a5f1623f460c3a7694fda50ec5f68d1b0f0373c6819192b046709baad1c178a5f517fa5be9095744f24badc05fab54de03b6806baf53669dc35dc5468ead6c5c650ef469d7336eeb3b2ae19755013dcf36f935a2c02cdb9fbb0e756f00966dd2865947934839b441c409ec0f7edac7d14c10be2f021c98ad79b21db9343820fd160f914f58319a9f0e1eba63197c5413a1a9c231617727eedfb7cea95e4005b74fd5b03d3798abc270f67113c0f1dbd3f716c8058a65376ce4fc6552fce67b2ae82a5dbcf38518648f0777fcca6615360ee7a69737b50cb584d5c903620cdcfee31b3792d73ba4f922592f901f19b613f44cc8656b506ad8ce9f88e317c65244a33663fcccc816baa1d27cca5cd2b3eb45658705d86568c41a0c9930d6c6fc1d4a12782d2b0df2535deaafeadeee58ba9b7a08cf1b216b0d2e58576c6743c1e0f1b0242681ee614d7d2e55174fe020e011b905190abd79da6bbcaac2248ecaaf83f977077f2dc538b709aa716438466fc2b46f21cc893d4f3fd22d52799738fd385fa645ae4c1fef6e61ea4e56eda92e1b46c8552a424ce5cfd7d86adb80de84f92902a751616deaaeae3691d30b33c7eaec1aa5aaf1706fa122d6c8ec05273c67eafdf58383cd618ec36b6b74254322b51f1980a727ea73a1cd3a76a5481be7999b73c531c39e7fae4118c247c4444cc206a1fd09eb0a9169b47e857802180b0a7cd5badf312390064d7f3a38fef5c516053507f2ba07bce12205bacde3139848d46aa766af8be54d0e14d06f1bd44b74ecb7bc1fe33cc93b6bec12a7d4bbd28208ef9a68bacc25209a3f74e0d6c8d850b65e76e44e6e9072bb78f0e9bfea372b8bf65b6d718e0da97293125fdfa37359e57d85e19d7ac5ce7d1d8f4085017a05f694ac1f9bd6f89e2b9f1f062fbb96285210b26be884c96c62d641c5540e792c402382ef641b7b244805cccbff78e82a237b4a404c032f1cdc2b5c170cdceb35c37987e0b8d55b762d9c8a8533aa6c4dd7fb7cc46bb77913905ed6eb08711734e245029172a4045fb90affb150a8e91d07cd2ee38199819ee8d7e40ba068bf9537e3cd0eab422b85c175196114e28f94371dda7e1fe00f5eee90e571974ad983681ed662565310bfba9a585913382e341f13770ed5026977fa25f8f0d9cdb72c69ca4975c03b6af849e2f8d56fb390f04456d4c31b1c58a468c2d677cacd2c821e268f813dc9c1b6aa92faa0efc3cc1b0aca0129d18dbf8803bfc8d83c6c90399cb669ea5b298903a00f22ea014e04ac9bf11cfffbd7e5d0b7c00706302716fac11bc2ae973688d092de89114c410d7680d7b108de92529a9110cdcf0fdd7c2026ef270f9e4244fff323e9ddf3eab339f94bc71e238ec1495506a6835a3ba125928aa5007ed5b5fc2b4761546790e693c4fd6a7a8eecb9102d0bca4f2a8718ccdd8b46a2f0298a377425aa7ff029db4f77fa071685c3255253218bb44eed1fb2b26c21bd8c8bc69f75980de79ec75e40df1fb5d6f3d271a92880dee60cd1e1eea1b3f02fff96eeb3285edb69fc573b7de49f8ab44b0ff3958050467e6f33b69df7860e41d58ad27f62f3973c8ab3d4a414ab49f4aec35d09e307112aa17cd04afc8605b0c83e8e4e73f56e50daee84744f0aa1b4793c9e20fdab0443ae3ee6a37fad5d02f38ab39ea6b76ba78c9ccee795fd27e9d02b6c83b8f139c8a8352db032ca2f931e84d4f8cdcdb9b864c442de66dce4d5933fada3d352f10627b7c917ad392e0e30f6d0b7494b745886db1ad94e9f01fca4d85fd30251a72cbf19e307152327ebf6c4b975de352dfabcf321a87e6c812b5c954240d34575559bbf8279158898c99e52446df0a31329a67244f9c23a4cedfe675e249fdb9e33811d4b9d04611d3c945f0eca115c414caf09534504280b003c8a7ecfe122b87fb6bf6d7593bc436be6eb39630f976b89d6118bbdf85919298deff2fbf5b4ab4d9e6c56eda6f542c63eef9c8fbbf45bd64ff62af41422c2605e01781e35335b56a7f97007106e1a1d81e7f1570e91a788d8972d6ace185a276fcd588b538d85857c843e0b0fc4414d40a875930ebbd616bd98267eb8adbec96ba7f5c802a36c1aeff575dcd3bc32d7158be5ab539fd58f6a754d913e50779ee23626f94f35a8fe35f5be1d42258b4cfc035a775866b8d3d9a5080bf22b052aac6792c54f98b4e84b43978a9f88a21f13cb53d16a47a77240503acea9b127a5fbd52a88b403758b083abbb154ce7c4aaa95ca38b4b3863b34ccb87ba2273d9cd59a62f9b8402efd5590b2d2559a46d5e0811ff6dab5d1fbca91ee2ad777ee6e2e85a7c7b49bddec043a66360f160226c412a66793e94e609e58a6f7cc5148035dc8984c15a58cc0ce213d6e1fb6795d5d601b592990405a30c3a5f327c9ec74393b2ba8895470be3943c4292dfeddc7179252980542c5f9e29e94470dcf27e75c632b6281503208d90490574ebe367a0d131f18219b9b221d114ac1c82bbedee5a755913a5ef55c79f943a79a02a024ba037c1761d0a01cd0e0676d5987f5cc7b7b61c555022eddfdd5d012edab9d01672196f6e9b7a686cdb5235adef064cbdfc7d961876422ad971b4acb7c7dd4047a2449abdd3cbfd4ad85244c660f86b71446124c270677ef13bf2076b7f98057f71236701ff72f84629cb38ee21acb3b85d7655eef69f372fa02e2252c496e9af98ff179d38f920dea988f4bda49f43527f8feb92eae754d736b9969ef38965998e205c9d960cbb89e0bce7140026f8544ab18a9520b3aac79a637d978d4b5d10982be952211e35be3caa64e60e59a485b4773426afad071d01e2784418192d3ab5dbfdd4636f462e6f0ab9bc75aa4ff0ef7ac2182097db641fa3e6239dfab6af58728ac38f34503e159fd8ec54c9cd74301a2c20d11e8b1f84fdcc3b4b967d764a3c21e269f7fcd9c82861f220843d2b668be4e495318246c65907bafb9a258177870fb52c297f0ff7361ac0c5057d0940f6da29b747351f5618f6f50465251444a8a4af1e7511217d3dce94a6fbf595f7b5c3b369873abdee5eadc0c731dc6103c84f81629a3c4c7a0e3c840f3886c831eb2c541c40c80868d30fc0521a79f00195959d1939b3e4815ab9a923451c77ffcb8df2366c91dd4865c8783452766b144ce58a12a48dd8fcc3d298ecdb5c8a16c93bd144db824640b153e8b4ed2ff5a23af4f66e514363fcec29e291e47fb59f2e6d6dbf6c9e4fc589d170939e4786636ad2d17f9a5f7c1f6dd01625fc337cd3170e61cd4dbcef9d47ba2e08015c07b639a7d142e28a68cada2b5732f1d74854f7ad4c91e9e0de3ba2a9fcc5a676b7b82e37164291f19ff90384e112538cab688aef6b8dba25c00a587fd845432340bde68c07bfd7b44285320ac762cacf77b3ff0e6b6252b9220e02449e78fde18fbafbdbaad678bab0fe7df1b13845b43d4bd427feba6bcfef38321306b00852a0a86b22abd13faff89aaf1fdd1e319c6f4da48ada58a5797911b55619d1d82ed15db39c31bc5b298fc5a88016c921028c88418c02ab6373f0dbb6a6f9cd6c15e3a34a6e6fe5038da744ca7b46a1b92ab33d982b0fc1c09e88fa69ed99b10132627d249d9b99fd3a90671a63283da615ccde768da55855de7051ed43a00c75ef4f44f63bc86a99fdf14d6ed89606ccb71ecde6d983c227ce2691abe145c83c769ad046d3602a3e2a1e90e739197306913e3cc2481c5ebac7870d3fcc1c4c93041cc08b7586d0ec11af1f809bc03d4c4b6616c539fdb35f9bde277c0056b9d197f31a376d3b2ae48ce1abb3ec6089e086130ff8f3148ce814e4a0bf9a90f65dfa76e59efce5c08efe3d819b739b635e77692a70f710278a500733d5d463e9306f5f6099b5ff6dde71b9dc2378bc17ace5ef673a6bb22fddff79cda5a00671ba920bc5491f724e546d34cd8e2dd36c693483be3d9fe1932ea2355c8fa12abe3e512399245d2834a214dbaf2d640e5c6ad66289a357720a7a34601bcb78ecf535819fe78166e683247f057fc66a36e3f6ab597d61447820f44390152991378d249283f4a0cc202b65a21f79a18553820e08aafe92d23743bdcf7a6cbc444f06885b620b53fd28154355c597fa1e452934d9afac2526dcd20717a14e1dc9f8cc4a034ecb37d9b6896e370a10752dc273eda499ddde0aead17fc721b3ad5214fe33b7d8b64779390718364c1d1e9d3bdd6204472e06f4ed848232c2d7a560fcbc54f5575aea74b8776ac39c77d447d254c47e7c381e86d6101c1f2d351b897fdcb1f141bdfc80c83eab4e52bb8b8f5dfa64eebd0201f529bc5485080fb59d0e7fefd55c5731f6fcc67c60e2165d79709bee6852d6949e193a6af4f8f49b0cc7bea42a5d5c5352d6102a482251627e34c744e64aff2823b849b4b428791382cf4d4cfe0001fb196aecde09e30efbcb19629cf3b24f7deaf17027658e2d9eb7cbb7709a35f6e74bcbc73fde579d579dd2b570f6b0cfcd9319bb223cf9871953a96fd550ff82aa69c611f626e273baccd52ed014b9f8c654ef14430cd981f6c603b2cd34331f3968b84fbff34999afecf14bfa317bbf946c0942a2303debf688d7a7b659a2802f13eb33334f6684106ef976ecf381030d2d1825495e8e03e8bb0b71006778cdbfa02f49811274240a52654e7437bda0e04df2e732adea3adf740e373b7024fe14f307f9bb029c34e4d67887db9762904120a06f664b6746a7520b4f39a56ea010889474f907103d318e63ec71bbbb2900a7ce95e16e75a221a9a535f47415e8bb17d754562c8ea17776a953d199882c0475d830562b78a44201af1238d2a4e011482cd195d6df0b63baaebcba4fd4c47eda652798927a98b94b14a5262ccf18cc76c1e98a0a5b09a4c6886f929dc2c5e5f697769ff4925dd5f8afd8ddc346685dd17beb77f6867f87f3ac85118f88ca7d3daa5fddacfc5679c61fbf1ff179607164589a4259d5baca9e1728e6fa2e041be9cbdb52593b7cbf73764c375bbef46a8722fbf8319105f23efa2207a5adda7d29d06b6fe84b13675fba0027b2f31cea8f1f6ee9dc86d412fdc7bb48f6c68279f35139c3244af59999438cf113a069d08f7e9e644379acd1b3d479f282cb8a9ae323f57667042f1716e73f245b680728782c4cd6fd7847066c2f9b957cd08968a738a6155f6b3b6e074a3bdc606a8f3549484eceadb6fd6048f907d92b78fa0d0bd96a10dd2fb83816b2d668622d5f4202e22eece71058203997debf7d80ff6dc05e124433dc301cb2bde51c6bd72602bc436dcf2b7cd7f4f8353f331c64eabb5d1048c7f4c3599817cf272ae5c821c890ff7d3c718d173eea3067158e7cfeef079c98beddd5647653881216a095f96ab7fe840e1a72fb968fccf33aa95a1999b848ebbd29a92ade181e26b13ab87d03a7ccfe36eeddb7210b16548859347e22d7513986aedea5bf1b750f672ca0ecf46208e537808000f62d925b44f57fd8e98d4350bb15b61c014383209311edf49fd2748ae94176d2e5a084340da9247ed09c6211fb929d8f0eaafab98f798936ed7f7670cd0818e21cab3d2c621468aa53023875cc55b90a7ba14d1dd59c5c4702f62b6248816990b1646423e36f106e17319d6cf6a76e16e08173582e265da7aa697e68a2018f0a170587004db6af15eac38a1c90cd6057497427f3dac15fecb1a7e622870e505d2125f98e2b83193876504d742bfc3b6ef3a4468a1369d6bc98e7b2e16492e011c2ac502a30595099f042f470c350d0b3473a13e906ac4443d9bd3bd879d053605f535559a7776bbe652390309c3df43d7a95bfb397d23329b13129d4b9dcc509a875c75e28a4e0343af9884c740b890cf8490e0ce6ac60c6e744232cbd9ecbe2494b236f642903ca6ea93bd983d815f2d1aab961e5aa0b7b1f097ec1801fe8273e93fa61cc90d4f8014d89d107bb04f4643193757331a76140a9d8d6ea4c7b16bbfc2ba7e73fbe7f88ae7ef8e63718acd6d77f8d7c8d4d477dff4604ce5c072187de5aeba96f98fd3e7b3e5614f3c745dade753c4cd794b7b1e2b7789c8c690c68dadef8ae3dcc97e8df9aba39221aa97836b2d2ccc2ae30b18112c06f1ad03d63a6a11de272a898d27591a2a450366b6d04416c5686315d06f5495249ae62c9773fc35c80c2f3ebb5074555c72fa79d0c505a095b76df69aabdb1649c0201f3fe057b7a86fccc3f1cea44fa4d47af4a0e9b3f53eb99ccc7104e982ad6bb6d0739b5f7d273c8b42f4d0d644af422a82ae2a7f842f91a2f525b0597c246f11e6b607fd0cb9a65afeb44f1550f07747977773049360a7cfda065f1670cb9da770809c789afa10af625b850350f9f6552e27d7e6eb946ec530e0c1324f32cb2a6dd8110995fb2f9bc3b039558ea1596e24d58066535a0d110ed88218f759e4e000ff290c9ee04d39604eb5f70659c95260f7ed007174d7c0dc7b2a7efbb46e3073cb5a2eee48fed796dd6dbb4f760f68007b4c400b72cd3378290c78d6161e5b394e00868a98a63b7da6dbcd542492d4168a25a6b3468bc2c2a58f8520e5616e19a8cce5180ecfcf3c0138ae63fe0d55225e771830ea2b3dcfeab1fb13904d4c4671dab4208992b68285fe87822994b3cee148bc17840b42386811aa06a409ee7b7500da054ef27f7d47ce5c515daac369fb932c15220fc1616bf12c5d23ee63deb3985dd78ef6674f8120db62e76898edf3b011629c8de2abba873f6f3b34d9bffc722e1b820c7fe24499573336a4bd99ff93fe5425fb3f18445391a81d986a08123abaa256ee59a2edefc1ab657ed653b57537e3d97b0b8c250ebfda410b8b52ba00d9df8c294d657135abb2e2f68a9569a2a05cd93cb52980f2264a0a106729c28390914f22cc25f3e1262c290f3970384ffb38714b35df066123d041793f0089ee1e078f477bbacec60c7f530bc96352bd705e22e5138a66856cf87f72aa2335ea8469a9aa9f23263ba0a21457f484cab1e06db1ab734ca525d4e35e330c4bf91bc9131723f47f81bb747033b73629432adac6d4267223d1ce7633fb958df4caa17ea542268327410a71f15576a121b27b7ad0660748685311afd5c7843fe2b64715ec35b234bc4d2dd90de4045c1c879127cd2715beff6784ea2ce3940aa8a279ac6a1e786db1296b7cbc08ef06e89d917d41c3c909011d9f923213dffb34441f4aee889a0eac887b8907c089d920ac641e1ae6928543c1f5d8b053e6c415a7a9e821fa17b5a2e22078cc5acdf8d28d5f5a4c2661fc59c0706578d764bfaaaca91e8e3134087f3ee1b7573cf256f86b09bc1a67c95ddf24bd72b07964625835fd465299064957bad7835e55e6b8697b1c31ebe0558944f50d28a7de0953f8711af6b295789b3d765d51b3cf9ac6fb2d790416be3296a6b800fbe690196c148348fc4b3783f15bdd371884e53dd3ebb3f1dc2a46682fd7df5a1ff89b265"
  },
  "onchain_anchor": {
    "mechanism": "ERC-8281 OCP record(bytes32)",
    "contract": "0x1e2A118a2bf1C240aE6fDe187c07f905D360f094",
    "chainId": 1,
    "tx": "0x469655a08accf0300def211bf0c9ebd463e65b89f4ede1ac372ed2796e7ba916",
    "block": 25646404,
    "recorded_by": "0xFf9a176577Fb42b6bc9c19fd05a241e8fCd0ca14",
    "digest": "0xb26a01590215926373544dc82d22fadc8d97c98debaae5d6ce8899b83ffd05da",
    "note": "The record() tx is sent by 0xFf9a \u2014 so it doubles as the classical proof-of-possession: the secp256k1 identity named in the statement signed a mainnet tx anchoring this exact content-address."
  },
  "verify": {
    "content": "canonical_content = JCS(statement); canonical_content_sha256 = sha256(content)",
    "pq": "SLH_DSA_SHA2_192s.verify(pq_pubkey, canonical_content_sha256, signature_hex) \u2014 @noble/post-quantum",
    "anchor": "read Recorded(digest, by) at contract on chainId 1: digest == canonical_content_sha256; by == statement.secp256k1_pubkey"
  },
  "note": "KYA-L4 post-quantum key-binding (production). Binds 0xFf9a's classical identity to an SLH-DSA-SHA2-192s (SPHINCS+, hash-based) key; dual-proven \u2014 SLH-DSA over the content-address + the on-chain record() sent by 0xFf9a \u2014 and OCP-anchored on Ethereum mainnet. Byte-compatible with recompute-kit pq-key-binding-v0."
}