# ML-KEM-768 keyGen (FIPS 203 final), NIST ACVP ML-KEM-keyGen-FIPS203 tgId 2 (AFT), all 25 cases.
# Source: https://github.com/usnistgov/ACVP-Server/tree/master/gen-val/json-files/ML-KEM-keyGen-FIPS203 (prompt.json d,z; expectedResults.json ek,dk)
# libsodium: crypto_kem_mlkem768_seed_keypair(pk=ek, sk=dk, seed = d || z)
# Vendored: the first 5 of the 25 cases.

tcid = 26
d = e582b7d75e6c80b05ae392a1fc9f7153b12390fd99930368cc67a768baebc8a0
z = 1cdacb8740c0b87c4a379575f187b367cbfa3b300bf591b109f79816e9cbe8f0
ek = 28c793778741b80b02b4339f2aa4347255b099f17264e1b8cc0a2c7c2a1a79f7997b907fd0496c6e6c8ad7714f5f339d75f11f625591a869be1175ae47f05fd4313468232ba6957d7807b824f445ac99a0d568ab1ad54dca8249d1482e61275f52248c77f61a4248753188cd1794cd0a465ec0dc4b025985c461b74e76286e4c37e77405695cc9fd0654374b427a20343aec0ff1a187768273bfc4905472a1da387f14559d6ce87313f6a5b6138434539f9a13684055b177e543f8b40f432abd7cc49989a50a9084c660913f45a8593b17499bc4cf936c2bc1851421cb986808a0ef30afe97aab5b8b8eb3f0b3506a95b91563a0e57db7231044987ef141bdab3537c316ad16f17805a81f29329879a94e96157e4b7447f7d59603b21bd896cc47b7cd4e232322eb9c5d2215696bcffca3a04efcc4c5d9cc39ac9a6e8700d38c244b0169e7fa1fe81b4b10365e74e6a1f7f756d11acdc84043f81006d62995376c22535958feb53f78117ee0f61c4c862640d06dc57a2b8be62a41a642af3bc63f6bac98bbbbff70570f37b8f8d9572f2735657a6c98f96caf57a849868720b2640b8bb2732237a1f984c18872d10289ce43c952c9257e06529aeb76afd127b17596fd25c5216c9cabd9b18efc50e87bbb04568bb7d5c4e9288c006483af5912e19108573700bd10cd77224b80659ea75aa74270b33ac4008b738bfee271e78658c8742ff13c96ad0781a03c7576ca26dd58b52980ba58c0505e446afa140cdcea0490db1f9b18815d4314b2459cacc562441c91f4084e5426c88e632cf7482e79907911d06473260835d7b85e7856a829aea0381707b939ce86882cc09c4448c6ae94a9c303107c5667eefb8df7763cc21189a3c590c40aa51f491503a7935ec08f4fc300cbe607ed8c9100c29fbf45584b13c8d780069337aec76c36ceb70373e2ab6e7b934b466f53fb32eaf040055496b8540e23a2a277e534468608d5ec0f8d38cea5bbb806c1bf4f164f6ac826fe733f95461e29dcc11200c0aada1b8332023eab329718ce25cc0a09555903f3578bbc863b1752ca94365da556df54c3b7e05cbb7115fbc1b6c57a172c31b9906560c8fb54f3c563a2256cc073243b8179b4a28d60e086cf51082ee429272996f0aabe03ba0eafd3c8e7d954bd0933e2f60ed0c32cede7b820a28e48f3ca3c40913cccae2337abfc59843f08c9863325d65a4e9e15c1f46172b118b2b5eb0f1d5158a00134f27b085488c3a0621fe4e5678698250fb74ee5152e3e35a66544a05d279ea99131fbc15165060b90f88eeb7b20892a4de4cb1683495bd7da037966b47cc040f1764c5deb06b5499d4267391cebbb47f734d8539e39528436a1858182854bf20b1f93279afb706464c65ccc5ae099b37cc03556c26abf4c3f8b9ba3a936707211a49a59b268f5284f7970c77612719450377417428c4ba47c9ca115cf95304c4759c5d8859b44985c06a6c924689237ba320d610960d61c53e85431789e67a40113f167ff93429c264f6cabc95448c903437d39a6577be0cf0012852aa476351a9046a110a1a625a3d74c910b78bce9cfca735e4f91b8a4c57dbe489e849446098aacf73070aee638fcc8896473d3c159d3afb4b687b40dfbf371a9c2644b605187b71a14bc4c8678fe8247
dk = 3808b98d9a093c7853b0b814d1ca5f392677d3d0a38f81c852f95b9a69b374a24588c0add5b510be567c5a24688ec91ed0f28bb4c86978c09793795c36b94e5dd8498eb4353ff40ea87b17e921b5b4cba08e5b7be5a9c8bc69ac5ac3075dd947d04b8695097ac39790a0c8abe11200c9f136ed7b0c10077e36111c1f139d9bd27142993f5883925c4918413cb8043962a28567397a1c7e003bac30644055155ce9464e623fc5e2160cd1143fd2c90c03a08d0b333fbb40a308cacd81618674b406809790b2538d30431f064f65ebba7c41b2a53146a3abca66754cae591534045c1d640d6308472ebca660a8a7d372470d3869115b8860b577311980b2c66b8352229abc17b0c31f58e5a5ebdbca6e3b157d9ca79ee890778a4cf28429c2a82c80dc9c524b0864e385e355bd4e65732d395e464070f61828e57c3e1be2a50052c4ff1951f5d0c89720987d8941f085871113a91f518fc79b7189056990b2447bf54fc170c932e0a4e0f7a262542f56d1b49eebc392106d93c77de9186dfbb824e73b2f7fc796b312875b43414877afb356214492c19c748dd381bc7a9237bf097cc606a03119a240a5536ac7844f6a79d0e2b821b68d96542450179bcca231f2da68c5eb6d118b99a1b66eaa566c78a9009008b0d66155ba4839f8e518c650177dec170eb09e8bf6a89905320590c642b801cf5b5151c2af3e7271cb9961c65a5bd17479429a31be9081f2767d94816c16d1b04772012382b689ab2d3fb9bdc66547bfeb23052600bb369771494d9c914ec93a066abc9611940b947310da04197312425d736a1933b785c95dc430791e42cd691c79ba63be06ec80765c9c07053eac706697f21720c672b9803df9935532197b0485bbe42b0dd16561ac0605e9da73c189c9e29aba3aeca19c21621b209326418543c44b88843eb3720a2cec3db52c59d6507ee5cb03c268b31fc4bf115695eb0b8ad3f11fedea1a5d0724a5d5284d0c10e9844d0d32bb5735448421bc5317650beac4829b234b787339812f2316ace8c22c42d6346214934fc0b49eccbdf8da19aee64de9628c4f7ab3e512a399b0c227b677ac4a69891a6874f6641d2cc95460b751e17e434c924b2947d806856665696e3cc4db9553b81606c31c3800b48756a073bf685eea20899c176769e902db971827d153b9c33516e959c6b469841946c0d921a371a5de9740c6ab9ca272b5850ba8753ca023a460ebf7bd573c0745f40b90f105ee17c19b6832e019b80f8858bb515f7c709e68f29c1375b22567afe7b528f4431a94b553df825cdeb84b4ea9296eab9ad66271eec5aef6f79509a20a182279fdf92f87fb6e7509968d22ca750b5056974841b9654e5716bdc33a2c6a116a4117fa757a1d22710668412b8878e134b70fe32158a2317fbc62f01371296aa42e33c903e0c439f19684b11e2f911f7fb79860c8800f9ca146eabe29db07237aabb503a9be2aa7263a0626c162a27537775792b2e7b0fd347929934ad8f521d4159059f611312ab903879490059be8b38920e2cb4a256b8b35783e909346d13e9888beb9350369f7c1a8501331110c651621a616b365a026d1cc47df440c9e650dd0c0bfc8295439114528c793778741b80b02b4339f2aa4347255b099f17264e1b8cc0a2c7c2a1a79f7997b907fd0496c6e6c8ad7714f5f339d75f11f625591a869be1175ae47f05fd4313468232ba6957d7807b824f445ac99a0d568ab1ad54dca8249d1482e61275f52248c77f61a4248753188cd1794cd0a465ec0dc4b025985c461b74e76286e4c37e77405695cc9fd0654374b427a20343aec0ff1a187768273bfc4905472a1da387f14559d6ce87313f6a5b6138434539f9a13684055b177e543f8b40f432abd7cc49989a50a9084c660913f45a8593b17499bc4cf936c2bc1851421cb986808a0ef30afe97aab5b8b8eb3f0b3506a95b91563a0e57db7231044987ef141bdab3537c316ad16f17805a81f29329879a94e96157e4b7447f7d59603b21bd896cc47b7cd4e232322eb9c5d2215696bcffca3a04efcc4c5d9cc39ac9a6e8700d38c244b0169e7fa1fe81b4b10365e74e6a1f7f756d11acdc84043f81006d62995376c22535958feb53f78117ee0f61c4c862640d06dc57a2b8be62a41a642af3bc63f6bac98bbbbff70570f37b8f8d9572f2735657a6c98f96caf57a849868720b2640b8bb2732237a1f984c18872d10289ce43c952c9257e06529aeb76afd127b17596fd25c5216c9cabd9b18efc50e87bbb04568bb7d5c4e9288c006483af5912e19108573700bd10cd77224b80659ea75aa74270b33ac4008b738bfee271e78658c8742ff13c96ad0781a03c7576ca26dd58b52980ba58c0505e446afa140cdcea0490db1f9b18815d4314b2459cacc562441c91f4084e5426c88e632cf7482e79907911d06473260835d7b85e7856a829aea0381707b939ce86882cc09c4448c6ae94a9c303107c5667eefb8df7763cc21189a3c590c40aa51f491503a7935ec08f4fc300cbe607ed8c9100c29fbf45584b13c8d780069337aec76c36ceb70373e2ab6e7b934b466f53fb32eaf040055496b8540e23a2a277e534468608d5ec0f8d38cea5bbb806c1bf4f164f6ac826fe733f95461e29dcc11200c0aada1b8332023eab329718ce25cc0a09555903f3578bbc863b1752ca94365da556df54c3b7e05cbb7115fbc1b6c57a172c31b9906560c8fb54f3c563a2256cc073243b8179b4a28d60e086cf51082ee429272996f0aabe03ba0eafd3c8e7d954bd0933e2f60ed0c32cede7b820a28e48f3ca3c40913cccae2337abfc59843f08c9863325d65a4e9e15c1f46172b118b2b5eb0f1d5158a00134f27b085488c3a0621fe4e5678698250fb74ee5152e3e35a66544a05d279ea99131fbc15165060b90f88eeb7b20892a4de4cb1683495bd7da037966b47cc040f1764c5deb06b5499d4267391cebbb47f734d8539e39528436a1858182854bf20b1f93279afb706464c65ccc5ae099b37cc03556c26abf4c3f8b9ba3a936707211a49a59b268f5284f7970c77612719450377417428c4ba47c9ca115cf95304c4759c5d8859b44985c06a6c924689237ba320d610960d61c53e85431789e67a40113f167ff93429c264f6cabc95448c903437d39a6577be0cf0012852aa476351a9046a110a1a625a3d74c910b78bce9cfca735e4f91b8a4c57dbe489e849446098aacf73070aee638fcc8896473d3c159d3afb4b687b40dfbf371a9c2644b605187b71a14bc4c8678fe824781e66ef5a7a221619f6a64039cc369843e10df5c859f6959cc3fd8e5272330fd1cdacb8740c0b87c4a379575f187b367cbfa3b300bf591b109f79816e9cbe8f0

tcid = 27
d = 3e5848db624613f7ac144457cc1375f006fa8cb953e767dc9e7428d00f5dad8b
z = 012dd6c2f0918b9eb6182474eb86d848f65974759d59ce151a396deee4ca10d1
ek = 43166bbd4c97f4b57d4dba6fe40a48498b001a502c28385b74306bba43c670acb191fb031c220ca3238ae1cbc961e66898a4c19c0a4bfd076863651fb91a31c75a33dc18b53ec6c56679159783a563c4504ca10d1405c261f8c7ffa87280242ec8bcc3077abdf371cf55c140d0a131e6529b40788f1943964136000cd7319e05553ea58e5898384822a62b8ab9bd03609f1566f53435c472520d957703090794179ebc73744525a8f002a14270cbd1d4b6e2538353765d49f5651c1c34cc228c4e753c5210bfd00cb378d6a4ece80168d54a4c62740a0c4a292a42e1621f2c499e4fb94e37912c9cea7472c65b27f65036e85d5512c38d3582df290fa819bdf0e37eba7c2607e6a94a2323a0fb88a6808b2f444e33999f1a10830f715960d563d0a43aad7ac7f0b4ac4a9a3236286d5249c83dc5c4666354d0ea5fe06530e4081370264566e47accbc22380414ff530c394007fe6ca79db0ac53fb2b06719908d15dde432f03c84463ec5009d81e9882030360a0fbc34f156391b6e3ac92c795faa2199bb4a9a33a994a16aedb6558ce901c4b60295dfa39cdd5b97c9b1e9c3199c825bd64b819d8346b1eaa6a5f5a4bb90a7f32253d7f7ba2778bb796bc707ba53cba7a36e3682d54c3003f572d2779ad543247c6d78edb63739e17029594bac09620651227c8f072c7f51672385f62e06b2c80a4160bc73c8691c5314914f4537266c0d2ec74365b8ceb99c71f076ba772493cb534192a70bd576b1be0a42d2b87db45a423309704ba17cbd7cc610095fab3ca61281ab2949a0d2b548a1110852073a98c4c612bb095d28049201c4f08a6083bbb60a65cbeb81b6d2a40e0d7ab0628b5ee251143812ae9b6524174c420a82d486350954aa1e6442007239fc7ecc969e18507fb55c78ccca6c18842d745bcd9c425daba9033b8161374eb63244f2570d228392174545faa4664a886118a6948451dcdf489a1baad5e2b605b4756f3124f80b546fcc61ad30660ec342228aba6cfcc06e61884f96c7f675711c84451d3902c206b6f1b928a2701c021e42fcb49c28c19414ecb9288c4a51e957b4d742d0e5307d731ae0eea9d7bc9b48bcb332efbcc3894af4986628ff77420b6b8ed75c4f54a063b49265c38cf17b95de45a64cf30b5eba5643603b28b2c4948e2a2f1e8c440c54341491b20d378de5481cdf8310074a69d79767ee1135fd8aae3934449b406ae447bb33148a08c1c0ee4a615a44c42943ce3d56ed50b77bb7c3d4448c106363472ca0f11f526349c673fc2c8158acb21bc3bba9cc39891672ffcb4b3e165e6c4a1d156ad7f7085bbc49aac5b5aa2682f165560c4132c49e0b12fa4bbf4b40e630b375086b3eff66b07b0cfbd207d7f1ab67ec580ada48f36308e1566cf2ff5bd1f84b9161a73014290c384bf9e0b0aa653ce4f8c6d05cb087ef846a1478468e06f81d0b5406b9ac937afc2795ab4472e0ba964df4259e849030108d083ba6adffc63e4b77126c3bffe389401e15ec6a88bd0b5b32bd06aedf80792636f167589c346a6e651009557ca079c593270250d9acb3a1bb06af03c65f88d71ea932eb79553d60fd4d34499f23fa3498bbc3a89be3369661cc2d292221a9b8cf379df6702808576a37975c9b593eab54ad4b8936da5217c6b843ad33d
dk = 0e62a20cc7b3062b2ee82caac1005f0e9655b03baaa905aa59283126149b60969b2720563f1baf1a93908cf41db362589e9694c3e6734620af30fcaf3186b5b42b5376390bef3b4cd1833badf19dccb0334a68b1c6541874659ff14cc49357c2b5eac09daaa77caca604242f85039a89fb456de488fd06137e7c527e76a18b5ca066ac95a93094b300185b001f44cc2505813534a949f335027b6c12de7c580451a53c499de6263117a17b5ba64471a97c0579a4fe3b20f5d24569c85d214155b4e9818d9466184c8e2fb843df396b2ac18fca8b61b8387a2b3458e9d0ab9e2b751be34dd5c70132595835da55d454c301f13b8ba542ebb6c1e86b2f621312e4b80a54e106a7e5743257cb52603a68b4a9f5d195b1283150e48f9766a1bd248438c92084b451eaba445afc6bb03805b963537ac8255cba18d4a9832b2752ebd9b5f7b8aa52f5207b82945c473278dc5d7850c0921423587401d9210053c9c9844460917553a60a099449a7b0d360e00044fd9932140cc1d1d444f14010f8f35869a03728951e28b7c203c5ce3f7aa61205d08a15b181c0445ab27e3f889c0e72b050476cfe29420085a09d203b1c73adb6b59074893bc3a7533758467d6046e3633044c8a1e9bb3824b72edc7a8391721e01e4a2a214bb71008b1efa343b064901831b20698d3958991dd9c22058a0ad4a49657b929ad926ee1b608cb29db3174b27cb09f7a75ce617a21ab971a28bb6445267ebb838dd3b3bb82759c26a021d0382992a6cad218abc44a8d9667a07f5040adcc1423cae1363729be457fd94c025e1b48f071140da992e1a557a7497907cc729e33e773221f79096ed8bb830373cfbe84f5466a02d1302b1c09215983ec0229b61302f77ab4e698016a600cab1f9729c320f65ec1537733f3976c4ae75723903bd83437b0a519a53e56b5c49c5c15980dc5341bb45305229536d324f513615a459c5d69019daca536c42427332279bcb8a74503f76a5ab90ec7476105ba69c518921c62ae043b5e91dc958949d57b0bef7903cf5cfc5a06c0654a60f48388da4723b5b3a320184fe6755a881b27c2abe23a0b63338b1ef778db47b2cdee043f0f5390c84bae4d2b3adb2b67558b567925da6e1b33ccb3b87126293baa2a8b18479d65c4bda14fff45e64223ea6e455506164f3f453651439d275862937257f666cdc564ffa255abbb3b6fc8493feab7e76e2a17e849044e62a1f980a57ba5b9397271e2b5d5b5063edab2098fc561d10c731aa9d7ac13fcbc793ee659d6994bb00d53323232c6a192dcbe39f6193676c69c256e9050da78ea442078374a27be054aa30462374b992c8a32f0440e2dcaa70927d06c97ebf4c04c9557a622203187ab514c0284ed45bdff560f3b3a15a6a6f0a6b098df3c9bc083348138710d8b5d97a2ebe2a90de907658f7b8b67865a4baa111898bdcb5521f209c5801861d394bedf51b0302888d39a73bcb07e3e99c2174bd080b1eb4086199b4859fd233d9ba3b34a04ccc67bf59896d98675afc4cb1656005c57ba8ca5a1b085b686a1c27be292fd3fc0d7594522c9232de4b09541c3c1c11a2abe1830ab3bd80b313369407f66c970ff61586a040f7da4743166bbd4c97f4b57d4dba6fe40a48498b001a502c28385b74306bba43c670acb191fb031c220ca3238ae1cbc961e66898a4c19c0a4bfd076863651fb91a31c75a33dc18b53ec6c56679159783a563c4504ca10d1405c261f8c7ffa87280242ec8bcc3077abdf371cf55c140d0a131e6529b40788f1943964136000cd7319e05553ea58e5898384822a62b8ab9bd03609f1566f53435c472520d957703090794179ebc73744525a8f002a14270cbd1d4b6e2538353765d49f5651c1c34cc228c4e753c5210bfd00cb378d6a4ece80168d54a4c62740a0c4a292a42e1621f2c499e4fb94e37912c9cea7472c65b27f65036e85d5512c38d3582df290fa819bdf0e37eba7c2607e6a94a2323a0fb88a6808b2f444e33999f1a10830f715960d563d0a43aad7ac7f0b4ac4a9a3236286d5249c83dc5c4666354d0ea5fe06530e4081370264566e47accbc22380414ff530c394007fe6ca79db0ac53fb2b06719908d15dde432f03c84463ec5009d81e9882030360a0fbc34f156391b6e3ac92c795faa2199bb4a9a33a994a16aedb6558ce901c4b60295dfa39cdd5b97c9b1e9c3199c825bd64b819d8346b1eaa6a5f5a4bb90a7f32253d7f7ba2778bb796bc707ba53cba7a36e3682d54c3003f572d2779ad543247c6d78edb63739e17029594bac09620651227c8f072c7f51672385f62e06b2c80a4160bc73c8691c5314914f4537266c0d2ec74365b8ceb99c71f076ba772493cb534192a70bd576b1be0a42d2b87db45a423309704ba17cbd7cc610095fab3ca61281ab2949a0d2b548a1110852073a98c4c612bb095d28049201c4f08a6083bbb60a65cbeb81b6d2a40e0d7ab0628b5ee251143812ae9b6524174c420a82d486350954aa1e6442007239fc7ecc969e18507fb55c78ccca6c18842d745bcd9c425daba9033b8161374eb63244f2570d228392174545faa4664a886118a6948451dcdf489a1baad5e2b605b4756f3124f80b546fcc61ad30660ec342228aba6cfcc06e61884f96c7f675711c84451d3902c206b6f1b928a2701c021e42fcb49c28c19414ecb9288c4a51e957b4d742d0e5307d731ae0eea9d7bc9b48bcb332efbcc3894af4986628ff77420b6b8ed75c4f54a063b49265c38cf17b95de45a64cf30b5eba5643603b28b2c4948e2a2f1e8c440c54341491b20d378de5481cdf8310074a69d79767ee1135fd8aae3934449b406ae447bb33148a08c1c0ee4a615a44c42943ce3d56ed50b77bb7c3d4448c106363472ca0f11f526349c673fc2c8158acb21bc3bba9cc39891672ffcb4b3e165e6c4a1d156ad7f7085bbc49aac5b5aa2682f165560c4132c49e0b12fa4bbf4b40e630b375086b3eff66b07b0cfbd207d7f1ab67ec580ada48f36308e1566cf2ff5bd1f84b9161a73014290c384bf9e0b0aa653ce4f8c6d05cb087ef846a1478468e06f81d0b5406b9ac937afc2795ab4472e0ba964df4259e849030108d083ba6adffc63e4b77126c3bffe389401e15ec6a88bd0b5b32bd06aedf80792636f167589c346a6e651009557ca079c593270250d9acb3a1bb06af03c65f88d71ea932eb79553d60fd4d34499f23fa3498bbc3a89be3369661cc2d292221a9b8cf379df6702808576a37975c9b593eab54ad4b8936da5217c6b843ad33d423290e0ccb74da11b95294fef12ec690815ff103075053b89c5021aeff4ca0c012dd6c2f0918b9eb6182474eb86d848f65974759d59ce151a396deee4ca10d1

tcid = 28
d = 882fdea55c6b497a6f2a1321fc82160c630d9a1f2e35bbe0d3332e3a0cfbc8c9
z = 3a21f601923c559179a3aa5839a148487379eaad934bf27f3071e1b1fdc21d1a
ek = 3a7714cde9b06a8990eac99a89a12eb606017f841d4be2100aeb750c3892ef544418216ea437affe88059a5a42694089fe7020828160683c0e7efa4519591a4daac30456a5ec2ac39ca0cb3f3920237097e6e5157e1881a09a03aeba5b9925cc81f20a66d86ec52245e828655032067e8bb813f43be6da09fcfa2fc2452eed5ca4dba87dc306a573911205b53b91187d44214d12ca1147b4174956c2bbf1863d85567b8ba14f24b2b6949f6639288de34c117391a19b678b3406ff784ab87b66031371bd0073db89a4abf597d40213bcd4a93ae834f14a52d527c7486c9ddbf62148036aa55a06ed156a0c0b9366d15b582338bedb8466317fec3109139c8ce2c1079a070597c6b712c1b16aca049f3c8999a95e1dd20163226b96c5724ef6908a9c5db43637708471e02c31e1b40a226b01dabb057c328717a4bb41f9a32230079a49beb2e892f9da40ff947cca4410497701795c62a113b30ac0a7d143a8ca8c3c0189407f95ab1b05719c1accf500676b3596141a409b6c0e952a5f1d456a70492b83c4515dd99b763a24b4c1545abc8715e61857a89cf6d760d00c7b47d407c1c230c6212215cc805c76979671af6d3168c73cca4066233bf66fc1d485e225757783cc0457059ce05b9a2409b7b25415121bb2823b032bb40ad8318a86682a1c9fa6f571a08054939144f1ac2f5d299c97c730f742b75c4521851b8d9fe6ad43121c74aa248b751998a2ad9fb747bcf18aedb4b4b0e718e979b7f7580c14ba62b42b8997f17e6812bc46ab6799f7519a93bff43170f2c01b31d96459b7a8956b9da9b1c2cc7c7e3c849ff326003ba17440539e01498cba96b0922468de2345857c3405597ad822004a2b2fbd8723e9f59cfba30732e3bf68131283b87d05620440a2a7fc3582c20b68d0a8763b5276c12957afa766c4d0a524800a1d954934fa0cddd684d85c997bf2c54d8cbcd924b19e731f80b35138752a8e91c0876700f4ac3247ba6ddebc1657941dffe96d1803c81b75a6d07cb6cd4c14b8c904020cbb6bda1d019cc49ec90a12581f944263dfe06db5e16c94eba98276b9ac3b13b8a9083ad3190195583ea7a76051a27f2121f46318580c37e50b0429480f7eac312294cd3c71bdbbb0557c41afc363a6411805964221d26b0eb7b798ce791ef121bbbac1bdbb88bd57dca9114564f4b388b1a2c32912a8bb5c1f21763294498e2b0620f3c085e7c4099d6a3e4fab7fa12a73e39167bce99a6f69a293a37ef238ce2ed7a1804a596ca33897f4cb772c4083a55438490d3e1cc1c5e91d9b78a5e67bbe3c7c3b1293ceb0ba7b7e48cb2bcbb30dd70296a17bef964f265c5a41152964574c0505975ddc10ba9850c6199c83e157f2a74d8fe7496ad2ba6d83586c7624b87c3e00b84b65620db69643ad9046105b5a6cd8065716c398d0bce0e1577e3bbe192651692b79dfb747f7621e2c9a87bf2b602105cd893b2bea50a10d952cc8dbbb1499b9771a3999fb91e0c7438ab641d79a568a375df1d07e28e2c9c450a72f8c4aa5d71b82a09e1196aa3fca8e7c684a4ddb635e775fc03604711139f332ae97ea1ba2813b1690bf9cf70f506cba90641963d5cfad3698da30c866c95c66b4846f785ccbf373f4621855fd4815f0920ac4f940ca25dd130dcfa223e9b4
dk = 7a804dfb96b63ba97af4e35fe6117a82d68509a81c70cb54c68a33280c2640599e918a2074627cc1ac8966a74e08822dc5731e79d82b8dca0cbbe6c8d1ea6973a970dbb44d5fba31e14593e9acbc77f02acab7a58d656854f4031dd209a5b33a167943072bbd660b815fd13aad82a045269a161a86fc5bb72c4caa704c105c37cf04cc4c8a1643b01c37af0c8d4d39ca85025665a1b66e907720288bb955a7bbf639123376a3e27d919499be7a42e1fb09b9ab27029ac076db2f25147a2bf38f6c5b287bb424bae821d79875c8c41fb120a1bb957bbb57236684636c758e909120ad01332c60ba5304133cf7837eac6d31fb7cf160251da3c4bd1b18b0fa674f1b5eca1603fce92928b821a8a68e6a085e98eb2843e722481a0b81e16e2c4bb0f4b0896dbb2c900c8dd7e500a6c84eabb44d4a670d54203e921344c6c1401516af0168cd1f0821c0fb260044b6f908a68e58170ccb34c4e39919dc747ffa13813240a43631d865adfe335936034bda443773b967c8b9636109ccf919a9b6f233f0c3598a7acc96721cd5489ebdc29549acc16f0a64c3b0b9c742cd81c504bf6a9898a38d052a36036436655285bc26a249d190e72337d4a0bf191954a5ac76982945205113977a1d6937824c773234cb2ee7716570628bf1048a04b38e5d9c42c3aaab1581446c3b96ce96674c119a709c0425e6bce65477252c628c6988df6316813b6f4d37c9ff339d22a76e3a8a1376498b63aa221fb329ef270614745e94655c6591747de740586386a6150d66e8557225b38d3173f5816ba12c395c09712a5b289031981c2bc97c51c39499a144c2976305be1bb08cd6a305212c2136fb8921f337e6d61e8e8acaa525b8c9c60f3aa66ef9a56dbb247ddd424d67c95dc6b1428ae63cd2a236ccec911378baa1e101961864d858682a762113e88f98f25d1acc9e2e1907536257c3ca97b81091557ca0c691b90df6b707d55a94413c5382ca4de2605740156ce738796530781a2e9c629bb1ca0d82b5024a262437243b29e2586f4c8585777ec82898e4942ecd1325d719b21017451b5908691b35722650a81964720acb595009b99749852035cbd4b1ad51c178e9c97c604ffef08e7ff4057d274f1e078f46d04298f0ce82a44c8224c31697c25a687dc845b8a55a050d69c6e6a4226759bd0794c5bf0c33cae843e2fabf738c7957d61206fbacf8b54472c896174195ea8923e3995de50c9c430c4fd4f81abd21731df968e3617575e90a7b430990055068d3390e376fc62490aa97a27f5441a5a149c07344aab833e19b093fd9bcbc8a05ce1b6fbffbc7bc424efc7255178569e2447c59b851e39a2017390b4f230d6dc927bf83bf2f868e104129c5db003eec8f9218357a6553ebb41d6ce558cb3b8ff86a3f125a8bed75c675e13a9f343a4b791e7fd87ed4228556a494b5c0ca685ac4ab663527ecca5e5279f1277ab51186d0ebc50fe5b4b64590f26a87e9049e29735190579ddd194180b60b78579ead248895c55422a18e59d01e6166bcd19c08d1917280d0265a370d5a34334fc9b29f931c5c68297937198b06791d838492d73c389a9556fa0640e03537f5c744a379892b362b0b1300678f3a7714cde9b06a8990eac99a89a12eb606017f841d4be2100aeb750c3892ef544418216ea437affe88059a5a42694089fe7020828160683c0e7efa4519591a4daac30456a5ec2ac39ca0cb3f3920237097e6e5157e1881a09a03aeba5b9925cc81f20a66d86ec52245e828655032067e8bb813f43be6da09fcfa2fc2452eed5ca4dba87dc306a573911205b53b91187d44214d12ca1147b4174956c2bbf1863d85567b8ba14f24b2b6949f6639288de34c117391a19b678b3406ff784ab87b66031371bd0073db89a4abf597d40213bcd4a93ae834f14a52d527c7486c9ddbf62148036aa55a06ed156a0c0b9366d15b582338bedb8466317fec3109139c8ce2c1079a070597c6b712c1b16aca049f3c8999a95e1dd20163226b96c5724ef6908a9c5db43637708471e02c31e1b40a226b01dabb057c328717a4bb41f9a32230079a49beb2e892f9da40ff947cca4410497701795c62a113b30ac0a7d143a8ca8c3c0189407f95ab1b05719c1accf500676b3596141a409b6c0e952a5f1d456a70492b83c4515dd99b763a24b4c1545abc8715e61857a89cf6d760d00c7b47d407c1c230c6212215cc805c76979671af6d3168c73cca4066233bf66fc1d485e225757783cc0457059ce05b9a2409b7b25415121bb2823b032bb40ad8318a86682a1c9fa6f571a08054939144f1ac2f5d299c97c730f742b75c4521851b8d9fe6ad43121c74aa248b751998a2ad9fb747bcf18aedb4b4b0e718e979b7f7580c14ba62b42b8997f17e6812bc46ab6799f7519a93bff43170f2c01b31d96459b7a8956b9da9b1c2cc7c7e3c849ff326003ba17440539e01498cba96b0922468de2345857c3405597ad822004a2b2fbd8723e9f59cfba30732e3bf68131283b87d05620440a2a7fc3582c20b68d0a8763b5276c12957afa766c4d0a524800a1d954934fa0cddd684d85c997bf2c54d8cbcd924b19e731f80b35138752a8e91c0876700f4ac3247ba6ddebc1657941dffe96d1803c81b75a6d07cb6cd4c14b8c904020cbb6bda1d019cc49ec90a12581f944263dfe06db5e16c94eba98276b9ac3b13b8a9083ad3190195583ea7a76051a27f2121f46318580c37e50b0429480f7eac312294cd3c71bdbbb0557c41afc363a6411805964221d26b0eb7b798ce791ef121bbbac1bdbb88bd57dca9114564f4b388b1a2c32912a8bb5c1f21763294498e2b0620f3c085e7c4099d6a3e4fab7fa12a73e39167bce99a6f69a293a37ef238ce2ed7a1804a596ca33897f4cb772c4083a55438490d3e1cc1c5e91d9b78a5e67bbe3c7c3b1293ceb0ba7b7e48cb2bcbb30dd70296a17bef964f265c5a41152964574c0505975ddc10ba9850c6199c83e157f2a74d8fe7496ad2ba6d83586c7624b87c3e00b84b65620db69643ad9046105b5a6cd8065716c398d0bce0e1577e3bbe192651692b79dfb747f7621e2c9a87bf2b602105cd893b2bea50a10d952cc8dbbb1499b9771a3999fb91e0c7438ab641d79a568a375df1d07e28e2c9c450a72f8c4aa5d71b82a09e1196aa3fca8e7c684a4ddb635e775fc03604711139f332ae97ea1ba2813b1690bf9cf70f506cba90641963d5cfad3698da30c866c95c66b4846f785ccbf373f4621855fd4815f0920ac4f940ca25dd130dcfa223e9b45f13ee3fd74b1366afa7f3fff4b8f645331db5526fdd7998a4eeb5c27c884db83a21f601923c559179a3aa5839a148487379eaad934bf27f3071e1b1fdc21d1a

tcid = 29
d = aee013310d04215b77f073a7e22b77bf0221394a08e96bd07e3c99a9af45f16b
z = 7dcb9d6a2c3832e5fe9261e29172375a78cbecda0ef5484c4b3f6940ea20edd9
ek = 7105c33ba18d19f691968662854a13ecd19e3d93cc15eabb1f4595bc189cb951a957d310d4469cfeb8892021a58d3c023f815d42411c27b0777af8c25a898c96c2bb519c5830b295ef882adceca22d927eba65a00c815ac8b03b76b4cf56211a32ccc5d9957c52718e6f7240d4e389f0854d160b3fc7d51a9318c743a5748ed06dbc1051aa885e7141655fd378f99c579280027f1242de118b69e46e2510a5e420b7d8a39e8ab6bbda342034b1aa3e394dcf02813877a4ac02a76a03bb74804305a21c9261786463440540740a814ab3681e0fa260ffb055d8e7560ba3286e839f44d04ac9c44a6d29bf09127dd0431bf3e379e031c236d44d79c3a48ca7a42064546bc86acff82141e6bc17529374dc11cb5aadcd612e7415053ee266494128e87b1091dba6591cb86c4486587b095f872a70c53dfc3a0d456a0c8865b45e5404a7fc489a8a09641b9a3b149d7261cc896107f000a7a75c6aaf772d3f9b242509318dcb1cecec4527c92ceca5648441b99d1c84cf472572ab5575aca40204c434283c1229570012b47829679fc8a63ce1302e132fabb9687f93095e932fa419b22849a4d6aa090fc69ecd029b6f7489b59a43c720c49cc557d8288680f6b0bc6b87d7462ad128022bfa946685a53e2a8c1f6883567b9c854a012475756ffa2a6b2c6040b443f3a425b35a9a53b6bfb029bc08986fee5b05d8e11cc006544ea96f5400a8879c9e61e310cbf83675070a4ed62bae9b29d530ae845b3485569ecba95672ea1a2a713252198df411ce387888010c2eaa735605d3b9d889a253338276697283443a4739ca62a64883217cafe5c1916acfdd689e272cc51ab5c1988c3029b7795b336f8697114dd856a0573d65395a1289b6e285a99016776b97a76e315505190a7bd331e568987bfb53346419097b83962c9d5db85f956b0b9e0506846416f3d83d4734063b06aceed16e839957c5a7befc2a4346c0051a49cd199a42f8aa2f55687f9f82aa25ba1ab71ca172078f1d2bc75a3b5ff2557167ec3d10e10813d0625d925f1b2253816486f248a2f5d02a06a8343200003f22094d9603aeb35ff9c6512a9c7d21b8c78b0961dd914a95185572730afb39179e679f45db4e5de5b1c97cb85fcb89bce8ca958654a3293ec875801f8b40a85c9d1d53025a0b28cecb0ae0d0100b73543351949c259956a859d522bd37e96cacc314e52c7b41a76bcc5c88a677af9ebbbaa6a573b642962ea821e5a516c44b0a7c0b05f68b02ee078f7fc5c7fb02211f7ca52793437f7a9a32db0f1040a8a01c1779db589ff550622acdfea78ceef0513a004cb77141f5cc7d163b5038aa5cad29854bb43109d53ea3873a5f668125c58aa7bab3c5a4551ff2990a117056536ba4a499548193ce083d8b22303a6ac6f5442f8231cddf3b62cca59bd6f402b612316370a3c857311262ac897b290533229aeca42cdaaf33f2943e496ffa371992d8c80ac3c7feb46c7748910b4875672a8ba4f3cce4762894a76846a0ccc13149e02ca12ff1776f99b140731e3e78b23799be84163b8ee399de987c3cb4253d15ab07f4678bf03766c0abbfab39ccbb8d7064c660a66335f926523a161bc4004d746fb4a764f8ff76676af904f129457550ccc566089b81bbadc284ba712c521ba3eb8ab0c4
dk = 8c50933fd05144630dbd942fcd3c1bf037c176257a332a440c88615d8a613ec3c219d2194f362a7bc3291d3a50c5911c26da86af2209a6f7a7de997892b0149b3acb5d4c1e2f318dde95b1d09537571bce152435abd7072a60bedf7a525ab98b28ea6e67e91fb2bc49bbbc90ba476a57dc16b5ec8663c72f2ce06b2ac91b645400ebd6b38662a3ab157190f7c3149c7638f08161185a01a594d2795d8cc6bf40996d776528d018c4603950ae4ab892d45ce3d909f2a962c29c5a99a05fbc4c3dd4c711bb8679d5614cbc039d5d13a9e23c2c5c087b7d6287906a1caf5105f6eaacb90264824174349c21d1d940882b70d981bb2116906120b143f07e0c41709d0b03d0c21d2047a350cbc0cab65455389fee273a28f916a2d69d7a7b2d7a210f597235bf4994dda3b419704c787779f07b55a2f11d94ca492b147e667ba7e77b6f208ccaa8d6105bd441f9a47e147b76ea46b9d56309e1c224d2593b5b084efe6acdc8f5a0d4ccb83bbb0743fc8266d42e065086e5692e4479548c399a62b4abb246a85e4c1b6ae218d76ba984b020b48981e29156a87341d251b979e7af8b1687f4f1aad95c7ccf4bc7a0fcc4c33968878a6912052f16227c92bb7ead54574e552f7ea05ed474371a3ac690601397536e8280268d1bcb3a8602f21b24ffa64b60a04a7a127e966361cd742b2be404c14b6597dc4fbe60957724b7e16888a1260ded6268fc743dae33a50a4532cd9396c17abe684197907c6743c7883126c77be58b25b75af821c1ecc59bb504c2c9d4c45803725afa3eedd63a6d391ad047988a987f2ef3624b20bd795c38fc27cb9489487e223f93d228ebe9a40db61e9f420841e74a20159770302a7a4692649247cfe2a4cf53b00c32376b33625928c4fff278ac08bc413c1dbcecbf86c7abe7ca4d7ef074dff9750708a2a5199dd8598df295aa2997ae3bc02b4ef5c957b50122e5751b0c2c844979c6e617e50a6e7e0cac8ce0891f2133ebe59135799fc9fc6feee2614633a53ec194e3c9737ef68c5f208e881358080314a31caca6c78067aacffb572f4790c7ded53a6c6c451faac150203a51d208048486911a3a991627812b1bd74c834b9c08197b37028c716dfacb6bd6ab9973731e0962ebaacb4ae53f8c40cde680c430b45df0cb00d60bbfcdb7cab190a63b027e9f5373cd3097145581bae7b902d08265c488b363114af81a866023f4b665b19868fb3a291b1139ca336dfdb6c28a74b231549790548e0c74ce067b594c47880d344a9a833033919fd505868f14108c9671535488e5f52ab38b66c615c2f2d3966da77118fa72356321e5c55e3b9165e2d374da05c059b47fa36310018357ac367eb8622bcd1bb2c6410dfef40ae94a7bd1dbc7e2f01292a4ce4e3bc274aa159be5644780c1041c0213c6311b79b923934e806586bfc15eb73c7cf0f34f99eb1ab99a5ecbe67547002dfea019452a7f46fb3f1127a8d3b133992b9a2bac81b94b86862166ba59b76072385e649ea6577b4ff3624b0426f3f75e493cace7f515fda953ba208f5b8a1c22fb2fa84b4a9ee72d9eb059e92569680029b3c90201c82d60272ad2d3c6e1914980836fa1704abadc7c560a186bdc607105c33ba18d19f691968662854a13ecd19e3d93cc15eabb1f4595bc189cb951a957d310d4469cfeb8892021a58d3c023f815d42411c27b0777af8c25a898c96c2bb519c5830b295ef882adceca22d927eba65a00c815ac8b03b76b4cf56211a32ccc5d9957c52718e6f7240d4e389f0854d160b3fc7d51a9318c743a5748ed06dbc1051aa885e7141655fd378f99c579280027f1242de118b69e46e2510a5e420b7d8a39e8ab6bbda342034b1aa3e394dcf02813877a4ac02a76a03bb74804305a21c9261786463440540740a814ab3681e0fa260ffb055d8e7560ba3286e839f44d04ac9c44a6d29bf09127dd0431bf3e379e031c236d44d79c3a48ca7a42064546bc86acff82141e6bc17529374dc11cb5aadcd612e7415053ee266494128e87b1091dba6591cb86c4486587b095f872a70c53dfc3a0d456a0c8865b45e5404a7fc489a8a09641b9a3b149d7261cc896107f000a7a75c6aaf772d3f9b242509318dcb1cecec4527c92ceca5648441b99d1c84cf472572ab5575aca40204c434283c1229570012b47829679fc8a63ce1302e132fabb9687f93095e932fa419b22849a4d6aa090fc69ecd029b6f7489b59a43c720c49cc557d8288680f6b0bc6b87d7462ad128022bfa946685a53e2a8c1f6883567b9c854a012475756ffa2a6b2c6040b443f3a425b35a9a53b6bfb029bc08986fee5b05d8e11cc006544ea96f5400a8879c9e61e310cbf83675070a4ed62bae9b29d530ae845b3485569ecba95672ea1a2a713252198df411ce387888010c2eaa735605d3b9d889a253338276697283443a4739ca62a64883217cafe5c1916acfdd689e272cc51ab5c1988c3029b7795b336f8697114dd856a0573d65395a1289b6e285a99016776b97a76e315505190a7bd331e568987bfb53346419097b83962c9d5db85f956b0b9e0506846416f3d83d4734063b06aceed16e839957c5a7befc2a4346c0051a49cd199a42f8aa2f55687f9f82aa25ba1ab71ca172078f1d2bc75a3b5ff2557167ec3d10e10813d0625d925f1b2253816486f248a2f5d02a06a8343200003f22094d9603aeb35ff9c6512a9c7d21b8c78b0961dd914a95185572730afb39179e679f45db4e5de5b1c97cb85fcb89bce8ca958654a3293ec875801f8b40a85c9d1d53025a0b28cecb0ae0d0100b73543351949c259956a859d522bd37e96cacc314e52c7b41a76bcc5c88a677af9ebbbaa6a573b642962ea821e5a516c44b0a7c0b05f68b02ee078f7fc5c7fb02211f7ca52793437f7a9a32db0f1040a8a01c1779db589ff550622acdfea78ceef0513a004cb77141f5cc7d163b5038aa5cad29854bb43109d53ea3873a5f668125c58aa7bab3c5a4551ff2990a117056536ba4a499548193ce083d8b22303a6ac6f5442f8231cddf3b62cca59bd6f402b612316370a3c857311262ac897b290533229aeca42cdaaf33f2943e496ffa371992d8c80ac3c7feb46c7748910b4875672a8ba4f3cce4762894a76846a0ccc13149e02ca12ff1776f99b140731e3e78b23799be84163b8ee399de987c3cb4253d15ab07f4678bf03766c0abbfab39ccbb8d7064c660a66335f926523a161bc4004d746fb4a764f8ff76676af904f129457550ccc566089b81bbadc284ba712c521ba3eb8ab0c46e2b36020e42c91f7be2fcdfdbc37b117984406f46374188d1a2264445d3f44d7dcb9d6a2c3832e5fe9261e29172375a78cbecda0ef5484c4b3f6940ea20edd9

tcid = 30
d = b5dcc09f5402f5da7695e1d61b4c1ce11380347d4c6bef40ba11e94e755b1afc
z = ab6eae982dda0008cf1bdc59b5c8ac88ba11f169798aa56374ed7a550bc4f552
ek = 52339c216a28924bc691c5c263345bd2600c3080c51b274c119606f08c628ac2c4a49565704bc16d4143efd78844472c68e56869a599ca3a1b3831b6b170436becad6eb880f6c5c787674de25202da3c86acc00b9fa61e0a3b6fd34aa616d95f08f09a12c896ef0c603d639676a658f2f45aca340bdf05ccb4c72b88438369f974d8eb46732128004b27430a3b73b983fcf4276a25539dd191ae78c897266a8f31a728871cace5b027d714a85519f57c713a1171205cbd0924ced5d7a7c6faa0cc502ee59583c5e4848370ca25e55a554822c3c2248de70983f16e51240d35783061ac2d7883cd90514cf2847a6ed46437427ab5e06af5561b41ab5189853817ab6062f8bc9509ab9239bef180319ba98c0f9b4d85d7a258b00ad2f9adf9bca3f1d13aae149092769eec263733d38cd10b56152a40703b75c0d65acfe10932827c9b29719c6808f67112206284cf942870aa86dcb549e8023cd47608a98182acb627df216fc4423844d746f9993302c88fd796273a7bb18eb31b2f02a9b63cc9731a267b5c544be82465ba1f41a1171df44bef444554cbc2d2aab729eaab510c0fdc3a8018760caa37359a2882e3b286c7582e1eb08558f55207673bd8818e3fd98f59b913349ac15dcacdfca901f8d63d779774521a0a02e1ab32f77af11823ba6bcc0e5093b2f7a50099787a719350b64d2860751321aad6c17089e3408034b708c4390a32c9ec01d094b01a4e40a0f49a5bd649bdf9f0004adb73611c50c2c927b76c31b211b7381b9b76a521ef876d2cdb280498bc3c4261f544399f1803e2a8950b9b7f056abfbfcc7bd380a3d4fb14c4894d8d9c2b98dc5e3bbc4057252563c58c1587c7c2f78360785a65c7793e34bac4f616f148cad29a6851431c948c6da3e42b3ab7bdc07a3b0c6a6496963b49aa5f1be56d28e64d6639cb85a2540771671c0c021098a1a0489cb7c579b33106e2d815ffe6aab3466742e63c20062857c8b1e770cfe537c1a2e20085d3bea8fb986c856f3bb3a50cf874034556aa564752579457bb3dda316a5cf044f2a9b3397ba543b4bf51ba2c640698160ab9d7298753db22f2b16ee5b433c7d08845ba32f05006ac1c9899371d63a2779de5803b3307082382ee805e00ada6b2d0788cbcc3dbb9c003b38af549b83ed6b119850e4d2b360a0230677a85894a882338781b6ba9aae3023f5b401460be97e2abb95b862c54269161334d5a64557656141c421d497476d81e04abc47ae1b42025b6b91607dd14277df333f252af596606c0777893142cc7bc685c4c931b37a0afb37a633b2ff7a4b49fe55bd9e55f9fdcb22c45a6da169a49d44daec44567c651fbc368336cafb82467733a28e94a23e3e1ac6d901aafc86809683365da7396678b1fd27af5b9c52aa7bd02171db9e80fc0b04e502b723a5c0552947d3fc488181297dcd41d0c42a232034621a1655c36a6973c4d9ad47b60a78f3a680709e83c4d93cdbc96bccfb06128e9358eb98b41119fe7d29c7f315c92a17b34d666ac5ab49dd65b6021653c558dbe0c79a65bba23d683687325d7a004ac53b20fb6601d2606ac6872ddac03ca86bc3db47f19a828b8a35ce7293e3e1a3b269b4488e1a30b9d15152b039df36221fb7184ea150eac2e80f0c5255dfc4c9a542b9953e627
dk = 952119b40b1710433f4321c2ca494bd4f40218233943bc1147552d2dc91b026717215450f96983cf2a58e405ab2a241a58702929fc7b0905a01dc772abc0c2dcacc02a12ce431099a2725b30a1a731db62b46a5187040913fb1ae54096d49728f1511747386ba2f4c059f9146fb50e7df06468676e5025b34a9765737c23719209a7860c982aa634b358e998386b2307dc994f1a4a2f1d182a8ef23429952d663b1737b2b025179fff67a18357b36433590b8012eec9b7fa1128b56b2a926b2d9b86a60cf35fd1c44db8c3062e4067bd815090224da631a00fc46186230fe52cab341270390c00e4952557046137957c428cbac6c25e9ebb3a5dfcce9c7bab51a61541e59998760f853cac6d1478422b38b89557247388a414ce19386f01dc1c19489a29aa1123c04afb8143e1542b45350e7a853302441d1bb836c6c97f4aa08138338a8a2238c7682c3d1c6ebe63a1e74390e2a47442c3718e61cb869b35e8faa1d80a027ab585aac62219a602941cc7ee60b22e97a1851225af77082c3039e0b84035eca9c7d2432253b80c0bcad6e20bec482a18500bdf75c6820a6c2f2c945a13bd2a0cb5188300d5cbccb7b3846af78647413de8047cf0f9954a8804f889165374a9f5341d93ac6df3995ef2396850ac793de83b11a72ebfa673dff04b868199bdc60fd44029bed01428957d505c685cfc6dfe04af468735620b96bca9b1b6298007ec026c54c0cf6476f2b995cc35992c791e80146e957893b744c409564d1025ce8b957fed9b95edf00cc2b36d0f891ec7ebc545b4889be31f5052bde7360b0c69bd280255f5e5c66a655fc857ab5b6230000a2b2a587313d582350a35a0da4f28f3b738989c22e25490c08456556a5a47bde0651c9468ab297480cc3056b5aa2326f927bc19b406e41d4663cfdd00cf39a2154fc9439908020cc724c6d67e7cf77248a39c05004ff9f7a8d1569ad8b3866675ac6df8757ce8c492460227d3a6a7d089d850bceb770ee8b25276336c488b648cd7284aa54668e074e41a27c6e2972f922705108df582cc713c3b981110e522a9f3873b3f345d1ab01705535a151bc92a1a0c6d126810d88b52eaa83597cc5ea7286ca243ed1542929ccfc835cc7f279a70119d3c8933015c4dd78a4c5d1184cd86af06b6806f578ac5c4949f468aaffc0e74fb989f760ea3525d933a0b939400d62b5681968f0012885b042481724d0dcc1a994336a37b1cb866926d331f705775b0439819393c790c78808385a0e86d92f100d95a5e5c0325f8a42e7243266d477c8fa60af2d1c0da05b697b945c2c1bae9d73acada3c73344a7e08793d1186031449b291323a8568ebc450f82b71b7882a76991bccb55fb70c83766713704094f4f54c0765c8e85966aa95ae0cb02360903bf5d86d2b33347d93c080a575894a2a67f32fd5a279e4b269e1896e788807bf2bacb2b3402f88b3d3193b7bb005d36752d1f47dfdc5804fd2751aa5324bcb360ce87a57b05e25467d8c76a42e574757783df6ac54a366cff62b52ea836c833790da23483fe05a7b2b46df986bf920c755064358445c7a003b0a4016a8d9597fb60020d348dfe806684b6cd9e8582cb1380db26b99609452339c216a28924bc691c5c263345bd2600c3080c51b274c119606f08c628ac2c4a49565704bc16d4143efd78844472c68e56869a599ca3a1b3831b6b170436becad6eb880f6c5c787674de25202da3c86acc00b9fa61e0a3b6fd34aa616d95f08f09a12c896ef0c603d639676a658f2f45aca340bdf05ccb4c72b88438369f974d8eb46732128004b27430a3b73b983fcf4276a25539dd191ae78c897266a8f31a728871cace5b027d714a85519f57c713a1171205cbd0924ced5d7a7c6faa0cc502ee59583c5e4848370ca25e55a554822c3c2248de70983f16e51240d35783061ac2d7883cd90514cf2847a6ed46437427ab5e06af5561b41ab5189853817ab6062f8bc9509ab9239bef180319ba98c0f9b4d85d7a258b00ad2f9adf9bca3f1d13aae149092769eec263733d38cd10b56152a40703b75c0d65acfe10932827c9b29719c6808f67112206284cf942870aa86dcb549e8023cd47608a98182acb627df216fc4423844d746f9993302c88fd796273a7bb18eb31b2f02a9b63cc9731a267b5c544be82465ba1f41a1171df44bef444554cbc2d2aab729eaab510c0fdc3a8018760caa37359a2882e3b286c7582e1eb08558f55207673bd8818e3fd98f59b913349ac15dcacdfca901f8d63d779774521a0a02e1ab32f77af11823ba6bcc0e5093b2f7a50099787a719350b64d2860751321aad6c17089e3408034b708c4390a32c9ec01d094b01a4e40a0f49a5bd649bdf9f0004adb73611c50c2c927b76c31b211b7381b9b76a521ef876d2cdb280498bc3c4261f544399f1803e2a8950b9b7f056abfbfcc7bd380a3d4fb14c4894d8d9c2b98dc5e3bbc4057252563c58c1587c7c2f78360785a65c7793e34bac4f616f148cad29a6851431c948c6da3e42b3ab7bdc07a3b0c6a6496963b49aa5f1be56d28e64d6639cb85a2540771671c0c021098a1a0489cb7c579b33106e2d815ffe6aab3466742e63c20062857c8b1e770cfe537c1a2e20085d3bea8fb986c856f3bb3a50cf874034556aa564752579457bb3dda316a5cf044f2a9b3397ba543b4bf51ba2c640698160ab9d7298753db22f2b16ee5b433c7d08845ba32f05006ac1c9899371d63a2779de5803b3307082382ee805e00ada6b2d0788cbcc3dbb9c003b38af549b83ed6b119850e4d2b360a0230677a85894a882338781b6ba9aae3023f5b401460be97e2abb95b862c54269161334d5a64557656141c421d497476d81e04abc47ae1b42025b6b91607dd14277df333f252af596606c0777893142cc7bc685c4c931b37a0afb37a633b2ff7a4b49fe55bd9e55f9fdcb22c45a6da169a49d44daec44567c651fbc368336cafb82467733a28e94a23e3e1ac6d901aafc86809683365da7396678b1fd27af5b9c52aa7bd02171db9e80fc0b04e502b723a5c0552947d3fc488181297dcd41d0c42a232034621a1655c36a6973c4d9ad47b60a78f3a680709e83c4d93cdbc96bccfb06128e9358eb98b41119fe7d29c7f315c92a17b34d666ac5ab49dd65b6021653c558dbe0c79a65bba23d683687325d7a004ac53b20fb6601d2606ac6872ddac03ca86bc3db47f19a828b8a35ce7293e3e1a3b269b4488e1a30b9d15152b039df36221fb7184ea150eac2e80f0c5255dfc4c9a542b9953e6272210baee60864394042f2e190edac61e3c72ac42214318c84151d6e12d56cab2ab6eae982dda0008cf1bdc59b5c8ac88ba11f169798aa56374ed7a550bc4f552
