Security Research
CVE-2025-21756 Linux Kernel vsock UAF: Shortest Path from Socket Subsystem to Root
Thinking
2025-02-28
6 min read
Research Dossier
#Vulnerability Analysis#Code Audit#Malware
Linux kernel’s vsock_diag_dump iterates AF_VSOCK sockets but the release order between the transport pointer (sk) and the vsock pointer (vsk) is misaligned — the attacker closes one side to leave the other dangling, and the next iteration lands on freed memory, escaping to the kernel control flow.
Unlock to view this content.
ad8d9422966c73fee42096dad808c6448a272095349f41facc28f3d18d1ee66a0726fb5aaffd9271b6702e0ae53f6961031443030e63d37842b7356b4a67d1f44b648f709f84d99b1640e6f7a87a3d44129b61502fc0c5c728a88c67798e6cfb7bcb30fe880464fad1a2cf9635735fbd6e964b402ea4ed27e494f7c87c72f1c586b333a4d4b6d4ade7253d06d61bf923572a6b8c253d117e8b63642be9ad8c68eaee7d4a02592bcdbd3155abcc6a953135deec61ed6729ad92ae056a76758bfc9dbe3a6985cd8f376a1d11f3321ad5bb4a1f33e03004d1a1364483aaac51f7d7ab88456332913ae6cba55b9f03002256b250d401469f70df177fce8359f0256d6dfb7ca68bbf900a6e80cabcadf659ed9e7f245926520018f85ea55234a10bc2baacb210fc2977fa75ff1e0e09691f357a840e7a09dd6c43476884325ec8e7de307ae8bfa6020e9f2686b1cb61ee6d84d6d4acec65aad3cadd560cc0b322ac4e7f5386223ab6954ed2561bf863007f4311790f7da2a2c6c9f759fe918d1f189a93b1036c5e9553fead5efd4b68bffc79e4bcaf03aa57c9752b169bed7096057ba98bb723289ad622f69c06e56deb3bd06bf2e1022b9865b427e1bce2daf9faf7e68cb49ff5434a4b13c2c5f3425ebce4810bcbee276232fc9429ed63bad7ec6c146a71b7fe3a1fc8c7df56ce214dbdee9b0e484f62819c2aceb3e33a69b8b540db675e51a998da2b5b13ece6b69d7c4b79277339df99b3101bbafa3a5bbf4b7d57797d25b6c8b5e1569964e91d79c09c544790207495447f27d7a8555bee89eb3559480dd3aae098a19ba6189d21d50a0756d012ecac232c77a8e190a9f1e16f4d49825406868da767d411cee6118f1e96bdda10aba226277408c59cf693d951506fc75eee20c5b04dda8e579d4eab0dc7daec40957a307ee9e7ade12ce3fac96a4465ee6b08a56f5310b62529465cdfa972ec407111475e32381d322ef0f0c05e83c81c14f14d63c733c0bcbbae17c1e036c47bb45ff587e7fe41b981f9dd45f9f35f361b509e2f3b151ed07c36199bba1397db3aec6d17bf73e7e6c22a2f7e0e70cf2d7a465969e8c1faa8546bb9efcaea7927381f558ca36c5b15f85322cfd56b6419ee6eb18fee9f07d36998d4eab9e003a067ef3773af7e038338c75494c0d0c55301751b7fb713f58cc271818c8906e0dc0776087b95524e2f23ee8ac20e175a57019c094924570b2914e5d0f8995c3a1414c95b2c83dd955e8995774a92c89603c6f5ef340ece256297554351d47403c075a4c0a7bcfcf64008dff8ea7d26fdff6872d89c9b5a602ac547526d93e2a2b87a7433ed53c16fd0b6a9b72a9ced055866b60726259de9480ef38dca507a28e89c26283c66fca506ce8660bf5f18693409965bc2e1404dd6abd28c070cc1ef01232f7945b69e8c6223cff6955875626a86e3147f2b5e3a2e6b38050b4b35041ac633959f6162c0fe8e09f651e91538e17f18dc4fdcf787e4b4475f7cc3e0a408858544421e882b556cfc5d9939303d494b6d75d5fa1a51c17da4773c2b0a4a9fe3ed105318c44e815a50d271f47fc7c897dee53b2b08c639d1b3cf11691a38b2ba99413014f13561fa00db54d7224da3163d5866a7804b22f48a23eccccfb89af59c4ba96212f05fc4e1ad6f1faafb556509627874deca966462964b53eda7784ea4eeec1ae572f0392aabf90827902a7b62ab23007f9c6b1e8eca6474ce7d13493758a4d1314e9270de443fb9837113edaf44a832e383b2ae28d0dee1371b1c3676c4d275a7b3cc660436700843ce57cd9d4d7bc37e27749691e27df8bc8961df8e1295d16e965faef7468c5995472e87dfba19ccb6ab5e17828f7f94c5889ec753bd4e7f8eff2de039e4de9399135aaf1b11aaba7913961eac788cde5bb3568818bf67183d8d9e5f6a0a2f123474a0203ebd45eb70c278daa4115d0ad7ade6d77727133c34bb535321b7c37ad4f35640e4c0ebb6e7df86dcd6d91fd2d2b1215bebed2681bf390d72c232c1c80609ea098c5369a148f6a26cda2b564659d2e69c51b36358431f7c1675d1a4116665bf42200b6860f8ffe75329782c69c1508a7900a61bf1be0b150407ff6887cf894783c63a75ca9b94b60726995eb7b0f1c7a69e7829997fcf97340cfedcc439e35d277bc6526c5edd4fe23ddf0f7d26dd7f2baf98dde745cf8122190fdffed0eef0db729922c54b14cdde4b3a895335ae6997bdcd7b7a5a2be9552f5f5f6670d4f1ca7a43547f4a6c476398de51407a169f899e77f27c340577ca4f33fd93577aed2e6b22168b0a0c575281e7f6f367161dd81e1b94e73f311c424259b15e036dc204cc4cf8b91aec5d1745c5cc489b667bfdc887c0ff44e6b780f449ba0e66fd032d388e1f243bba484d8ed1eec1087ad2b1d8b4cfa58546bd7496d798b8db64d860c8c3bdaf05e63a7a66d24c25c6964d48717b6f9512e96a4eeff86e2ae7c69ae740562143c150bbda6a6732707f6989bd6120b0ec33e6b1299b623b527459a841fba073a30dd03ee1bbab6bf8278afb6a4c292d07ca87682bdbe7ec63c48fe7176abfb1c8e33f0132aa0aa5c28dd019eaadb718d077c3c7b0bd210631a8dc1f1c583d119efad9afca60958975da369e8dd604d122a7731018d229ac8d7a234792d2c67aea13406f37749665f23d7d0b86224a0901f81b8c6d2105f7cce506bd0b0025e651380337e0b80a7cc16c3d9a6c5960d3a1c3b4d17c428004cf4fda5fabdbc231b25ad0240f245db04ebd9bef6d98fc1f7685dfa6650ef0e83fc3decd895d4453e8198e4e3a8c3c4a0a30780dac91a69638a7e4207bd8ff7ccb8f5d4db18a6f835e4ffdf4a955578fda8ee3f4af1a9b373849670974fcd663a56bc62bf20000f77687fe2edc97c3c2e51633fb8c096595fb4e60652bdd6e3e2c61ecfc06272ceaeac892d4300dc80bc0ca0ba20b9f5ab00a15705b57e4153aaaa91683fa1b40f2c9c24ff2bed35eece51b447171a7410fe45cd814aece0f6440e6b4bcb4a08c4738907b7e46c62b24fb11705776b5ef26255bc45e14ad23f3cd45b11f897dd94e84d45384226992281922b812e6aca259d5ca1a0b822057e4c1f83b8852cc14c077a2167ffb7265e7b61ce3d2c724095acc677b927b478ada3398ba6298ad702521c2f48c687f0ef91efdb1361ec7d71f0d38135f11aea88bb950440b46dc0d7daa3e804187426aa8c2a7d03371e1aa60d14e354c4e6e4a5e4b1208eefa917bafcb1ed28476b431f159bb08eb8637a4f59cda6c6b201349a5496b12d8bfc00e368cb40bf748b9e9b42eb531cf62598fa1271282c8de2b2bd51982622044c66b55487c30e9cb97766dbacbfb341ea108b009782330e2c828cc04a0d8fed95d079ccd436d696c4f9cab852d3886b72102d45f6417069fc8c7bf076c220fa35e741f835a7a86b4f42309d2f04bfa51a2724a3015ea24a86b061768a1f720279f2a756f2e8409099fc28b1ed954ba31e3a3f06e6786081f06ae9c1647ed8f8e8b323b12488109eeab2f37ca852e94182e47ec5c3b254d53794f604445a0115bdef14946e5a0bf8aacdbaea7064a376f7b74aaf3f95d2a4db367ecf4fd31dc6d6b768837710f3363f9c1b89b9716824ab4c8a909ae869c32873c5eeb854349c7c0cc6c62a042b4c5ffc46ce61051b85dc97ff43bac2f28c4347dd79baec7216464d43dcfda910884089f86c46f381f5d847c1da802ef1235cbd364df2d282f76fcfa097b44432b5c980062545ca592d716ebe591fda58e2ea54affc5d76c2c941cff9652e89690cbe945b4b103dcb73d59c3b9c7efc5dcdf2a5382362cb57cb0e0ed0d2b0effe23945febcd98c62392f8dd7cba465473464fa4f550379f01b86d327ddc4c9c41a79637ee6fc393d3922ca8abe94744eb631e3fcf7d8a891f83a9205e6a79612250e95b390dfc564eba4a4bced6bdb7795e7866cd6fc721cab3bdf6444e4b529d86d970b7e2b417754f2bfbb6965cc4528394dc7813d4ea7d671608ec8987aaf2888d7a6f02b9a74831edcb10699d07556092e7b711ff1079102a962190fe6259a828b8b93b52a2ea729cd763393e6865ee11801b9c5ef2f71c4fd5565458d1d3d20ad38537c426a8872cad2961380ce8643934dc5ab244cb130ff4dc1aab546fe242d640acb8404216d8c80be0b87d3cfafd1ebab185052a9b1a31ccc4a9bbbd0d51bf4175f17d98a29a38c4a84f8c85655aeed938a44f2ffd1fac68e57dc97da4a22c510a6a911d5a133c70e8f0eb1fb3712577d9db580e05207089ce79d6d71cf6b75ab0f1141f61e808498cf4f4e067e6e04c795d036ca83aa0656d501205af33c59129821e1ef24665b20445d655114eb32444c3e9404f2565fd27a37cdb98dc10107e0b0c7a22ccfc655fa3812d145f8344054d9747bbd61e5012214916c9cbc5ac3fb1581682e4b3c3065721a3f0fc9afcd29ebe8dcec8dae08c0898c40c8808b454d2ade8ea6641bc19436f276b779cc8240109c55dbba39b7958a9789e0fe59c21e7a93b75fc013e7c9df8100ae2139baf887f61c22c3b612ee0fe94d2c32a47df729d9ca90d05272bac4d9542dd9bea9a66a20f6b3881087e6b9d7d624d2e43a16ba510ac2c4085b46cb5f4d2b9b28c4bbb9b8afe2f61544860344f450f5dfd9865c182554526ca63d23e9d76dfad374870eb122a5acb08fec65e8d1ce8aab89e5f543f38fb6197487e72a3d8ea0b9abbccbd167ec04de9d57a2b831762a2beaf6b34f19812e62ad9ec7efdf17bc3396e8c24a89584f1ccb0477eb073a717e292454fc331fe601dea3d8272fd8f5fb98023761590a2f9cca7f5dde244e87832c3407ecd49022c4f0461a7d0eae145f60688fcce008b3e02888d79c732ed094702e9d75a0d8c60de3b432f8da63316b31089fc08d906b0d9e344135171915abdc8259a1abb9c78ba8c69c7e76f3c017ac315744ea8b880e3f04d1b417a60a02d24d77591e7c1b39703c0de6f39063f609c26be91a002b1770a3eed17b8de940b80e0e5b9de916b38551b639d32576345ab288b98fb947c223a885f31eed0232cbfad3d03031cfc5da1695c047315a510004a886ebe0576f5f6723b5ce294552cffff6c7f57e853b47c6b5d3475f537624fbcd34d3562f53459b60c46a18bf44860ffe5c7ae02faa2c4837b047288df222de342083c861aa154a8796a87fa4022202dc21ce81da06092acc46ccfde813d84ac13e36b2e060651d379201c361770864d9bb2d7ed3e6e9bc5741971792b717935bf39237ba5ee132cfb78e7153a849038fa656aa35b33e6318d00a5c88a018b2e60146973782fed92d0d8492602e32d2d30ea08b790e0bd587b4223c7b6c0fafd0d19bf721eabe4d4a8f51436273c6d4db099aef63add63f60a5b538afcbb50b53dfdd045572b08c8dbdf7be90f0008eeeca341014ac79b2d5a9e30c749062cdd82edd0415e77b8055fa037529d074a977d0eabef4ea76cec4b69fbd7c72adbc61cefbc5bcecf787bf96deea5191e25287536b9df31145244949c93aa98f45906604325c296e264e9b7106cdca4420372e09c89a8f995dd1685663f9de0e4cd212c3f4826ee7631047f5a34228e7f3b1696c5090e94805bcd84b3c1caeb1176807ee9ed57a2f744547454f503a01b5b78ca3963a6bcf41411dea25899eabc89d0a28688308015e44a19ffdf34ed21b43d32356b38501747420e799d071b7cebdb6d4d0da7bfd0a29f07061d525d7df991092fa7ad65069a70bc9a1f493f3711625eb8aa5c10b4b2df1dc46668628374257f6a57c87a09b11d92b85b1795f46b92a3ac836631b69f423d5ca3623293440f701c1ca0d360f1399872095c86ef19b56c878324e0cdeb3324791c9890364afb6bd302a74639cde27ca2e8562b14dfe7ad6a843131367016f4a5bda68c176c8f31d6889c6f0e28a65d607bd29372e5930c9e43bfe6fe33509c44d3d236b1206e07dfcdcf184f0a8fbfa38b3ca225975cf0e5eba44317301ae78b6c89e9cd35873260581d7197622996c0a6861f970fb42889f4df34fbeb2739d15c50f3498323b225f6214be0880ca4abb9fc0bcdd8c64224cea3061f34ac776f66ccba3c81381505b44e8d1f2cd08549c202aea9ed8567207cb9677e78b68cbe6cbdf3ec7a6738b1727b79971708df18f9c00b711312a8cb1c523b508ec1d4fc1a1fbc83005f88e84d64870324741f1c739b18bb3721bfe6ac996c038e15bf7c9b8de2bcd53427364768ee71f9c0508a72e9ac26487b37cf093f6b4d1adc1fa75ba58d9eba2ffd90b930c170414395161ced1cf971acd27caff5b7d43eba1e12d2933f99b0bf21aa4ebd1ee90fe01d4c017932e42abe40938691453da7b9b8f5df75ce30627178cf618077a85b2c07bc7868d9c17a1330da0e05c01d4f83c8282523c195ddcdd73fbd08007f19b171d3aeedffda2df1d3114c26f0f0e21dd04300212e527a6cdc4f175143fd2df222948219d42c9c85c00c98a01b4f1bc9c12ac472ce90f6a978e49b687335303c6ff3c2f4bb599647b0559c40af32d37d0628b4110f7711475dc04b06aa2162dbcaa68be06a501cd513f761117e8fbbcd7776f67228bdeac0f9b60f885b2007f484acf69f82ac2c62998acba86208684009319b636fd86cdf02696dadf13c39d534ec58f2e9cfc2f3585bca1b088ef03b9c0504bd47c3a4609c3ebe7f19f7acfc6515f7da8124ed4cff5128ec0198d7d24d4b4d481cba7751d26ddcce7826c537f94e3a7b0f3a7a97d2061f8189ceca8c237e362162a638a4f73fdc83b4fd9f078f2798667efc0c64f3f30480ceb7c43e72876236aaeb4468bc0531ec314eacbb131849607524af52a375d2c90c387867653d3a32de2245f35cd1e175a5cf54744bca9b64ab720aef709eea94e01bc70947a7f9ee11b63499ca23f85934e11162d4547f6e02e89480e5fc1247b866209825072bb3ef381f80094dd8325f3bee33a82cb216fbba7c3e16e8a1b83b24ffa454f4dce3338a9a454c5a028cae6964d327fbba898b97cc773c2df4152f94cb36bd8db347848c55a8c2d9a213b7e16c9ed6666593423938eb6eab268115e1178d87e0fae463f92e8db7e242471893aef670d25d1e78951b7848a7b4fc42449954db8770f1bcafd30f4bfc3bf8f6c245b3df5f1f6274d78a065b77f9b736400d7093f7972087a9ae4cfeccfd1296aa37216f076ad73dee7d799652c25eb537ce099807b4b7b3e6928656a76287b6d1a908b2f993df29e5cb1c20b342bc93b3218160a6c768ae0db32e9b0742737134ffe75cc72424f9e4cbb785196af4b8af671ca7256c28d6dc15e9c4f131799c10f51f82b54057ce3096694578a3bb743e6a3f6434d65760fd18e99fdc6f3d106d39b8288ccd170c7656ed9169a313e05b560b6c15eda3fcc7f33f2ed74a67f06921cb8f3b310a5e905164fd451e83c7f3f977efeeb21dc90307c59a2f19022b412cfedc4e5163e8851b47f978504b67a86021ad27db29516172631e7db99ea12c60b50bb40d6660ac9cc2f85698fd0ec4a00b5bbb5b690fa7d4f5ce6cfd8303d5cb9bf263cca45fcf662ae8a4692c317da05bc84b3b2027e8e2913fbc5bde941d6c34b78eda69310f053de829ab3dc767060ad6364f5e802345aa7a1dbdecfe21693188c1c183e73f3fcdd8d7a3b0f9dbd356b8b935ec2277998310ce81a3b41c8548973128458af883dfc61e03e114b2189591c6ae4882e825ca6938d820b3d1ff8b1a12b65b39727aff6b9987c9d391e36b399ce1c1c0a4b1ecd6d4a4a8ecbd26bc5c4ec5ff98b4d8c342cfb3fe298d6e2beb9cc180fb44e0a5e3de35b1cd8e1773fca8f67023c3d1cc0a8094a985ba13fede4c621868e6086d375285b076b22f78e663793aba78f3fc59c2f117e2569b6916df9ea61da7b9a16faf73d9ee1f28885256630f7151c980ece82b9b21804e74e3c54891e7eb1fb2de0eec508bae53c74ed2263323821a5e8f062665936720028510ce22d14afea0687c0dc6dd12c5a8537829483f0bb5af83c744fc1cf8bc5a0ff2eb77aa5be88884d6a003c66f4f58331c1ded15cabd321828c83e3581858c4477f625df7d2ec85b9ac2f29afdd0d66af6def5cbea4d22a3d15ba7c24aa10a82cc162cb2d2cc7eda679d019454013874fc1aa2c317192838313e7f92389392ebc51bb6ed2ca023e517ead59a666974bb678f79edc9aadc8946c3121c3b5eb6dafc7e6e77f030e27bffdb144e95086816fce88c682c9969dcdfb2e90660d61be8294eb0d667b178e20f7b1befb85da2ab5597c3ffc5348ca11fd8c7b79fa0c3a8ca3994ab36c9df2de863fb001423b532ff85186bc59960331ede5eb039e3aabf626ba3cf1bc40c3a6ef8381deedd73c186784c185afe54c9f6825893f6fddf8cbe9972fa730a879b88882fb568d6a89d0f0ff7482b99631e2f059a394204d270a5dcf1b3ba38fd334edec381af9913ae742b25f04f172bd052d1cf7bfea07d145400a3f4bdd53c8bc1a00e34fe2c5a1b92cdd83accabb81078d0e0b90239d02279e1af31bcc956f7db89f9e50871703ab54416783ff242798c3f8d820a566107fec964b75f0a96cef0df4a8a7e7f153de9c0df1094d9b20f927ef023b4245d43b1ceb7653e29a2dd79bf14dfbba11ded1cad52417b1eea6f799278a058c62f3a0977f7a4bb56e036e971b37ab3706f02b7dff0b16b937ae8cc94fd6a2b2f43d098ea750860c7d925b7a9577df3e10675d0dd3959a0a9e1048412e5b630ea9d5eba4a92954dcfd72347efbe10928d467a82b6e119882846ae938fc5320a9d0c7108e26ae6241f6b6d5f2705b92084bad6a4cf399a1b3566053615af9424ee42713592adea3346d072faeb0fe5ff73f4f464642e6bddd6f7022ef6874872db357907870b68f9fd49911ff516e4ce4d6288f68625a0bba930ba9a4e04628a1af83aafd7b6d272246cafc88233324a3abfe84bcbc3ad846a095e5a4b8ed7ff749f2483d4238e5bedf8343fa54fd99adc83f9b04380695c35b72629f7ee383612c84c9f8cf139aac87adce8768fd8a386d3b9e2de2c704215e0f49139bf01909dffd598203cb8356751f6d09fe82ada64fe5296efe298d149595d0a314d97f7e22c2568572d05ef0a4c772954752ca4a412880090a71d1f1c495d48f3b83ade254b52ae8fde611f6bdd0d0858daf7e0583fede83e3fffe7931abf39f09711a31172ef08e5015afc2e08f1d08677e2b5651c0dc9bbcd40a95e05fd5f30844fc52a78456051e265b4601ebc573486cc965d8f8035d78634dedd2e543f9e85fb21da745fefb3675aecb62b2217119574b9f40160c4fffc9543f1e7eaa4ef2aea148465b74ca7675b2fc44bf1b11cad62f05f75ce3b62181ba7c45e81d74ce1e4d47537af74cd2edff9c9d5594228fe5b0c77fdab3733e75ccc976fa060ff5ed0628e341a69bc13941c019f61dd4c8d76d216b9a10ca1cfaa1f7f3a9214ee768dbf31d6ea4547da83912d861f78f17d1df61fd23973cc406353963757661d493bfc9350794f4437bb72874ed919f5c8a02208d4ff9264bfe85a73f6ff3ef4d905ae0b3332019452d03d72ad8aaf955b4851c6eb27027dfc1d43ab15caed2cc604946ff45e125d03262451d9c92bf390a92064c14a0855ab260dbfab3285f1f2b77297d2551cd8b6e3965a0cbc170067cff7538f17941ca84eb44e1a5915b7b4b93d4558ce3da820106708f5ea1a4034a6f8ab38ff2e2e74e3496ba972056e05d06fc0486e269b06b48547c57ab9cb27bba1fd6570858a1b2d58c86f7b204de4d66aeda8dc95c84733ac1b53b8c92d3a7e54a113430fe436d57dc977f2c768f4ab44edcd07a1433cc2334cbe0db6677ffa1acadfc4bb69091be55191c6a34923e567840d227b45787180f6dfbca530cec856e660f4cfb7e725f1f53fea849ec7172914c393baf29bf7b2f0cdafe9357d3e1a9615684d782d2ebdc3f9dc2807d47fcbf824aaff15436b1471d327194f622a04fed7e762464b52e3c3536c37046291d49fcaf9012018f1bd66c31cbd966174f213541c676ad31c5c2318a7ac0746d34b587394950f071003cd88ce0f7842518fc81609d89ec94e53f4d684371212052b77ea3f625688f315aa979a4916402b5a6a3d58bc7e358f471d8186631a57bfdcd6d7c349b2311de2757636a260672c2d345072953ebc29d3c84e857afd41fe6c057925a722b68ae7267dce4130ad9071d25058b592e011885c5b5d9d85a8641b6e4a40fc113ec2a7fca575e8f675317ed182034fb039d198cb5e3dda57f2f8179c719e1c12f1b40a33fe3c54deb405ded0523108b80a6b9b36209119bea63f8f4196b4997784996a4ed488b8241bb2857631062fb79f4a683c3234c8c3d4ccb4baf5280b0ab454d84b33344bde61f95bafc4815f2f2b8065e92709eaf168a297c5f3ef06344d10968d5d4501d91c0d9e7bc5ce1b8051fd3580227fc51031c38dd32d3a3dd40d94479a34b36ad6ceaa200c396e0e8bf965d3f436adb5baae5766d0421881d4b78da6ac1f5daa704c446c99a32c3131addf04aacdd5074fc160f29463969536fae0ac1eddc9497b0732f8a631c3e74bd126a548f1abac9478266968a3d19afc6c050f499e3706f0bf7ab44777843dce74abd3c2e1ce52a855ade48c1916cca5d60e1e2b7d35c632e4fd533f6631311596f846d319d236e5b4a0d24c94ad12a5653cfd10d1ad0e3e14cd33186d5cfe8cc312df0257a2c758fda08567ecafca247643a6754bcfa37f0a3bed15c88a41d9751ce10c2f25dc71ea0068e26cc88fef7f57548ef3c003fa81b1d3a288580a03240d431c4c6513e373ec383b62852008cf49b42c0775ebd67e8ad363c27b84e12989a01b4039a724c7f18bb8a566c06405f535c6265e447c86e8453403403a458d714974b8e9f1466b1c6eca445dd751e94bae685fa18b8342dfcd33572e482181fac6fa047a65e24bf87a25243da912774b19f7a065e138b6d6fbb5f607b2b1f7118464f613cb50e587b7b37f1c51dbfe8737c1dcd444093f678026644a1562eaf5ebafcbe44aa255a801a60c5a3af47f9cf42d50f33d065e3036adf987abf11d832f15c7674eb6a8aec352dc8d90c40070a1007ce2aa7cd8d073dafd0a2426e3884bc5452761ded494b4f91c7b40bb0a9e17fb94b2ceff653d3f8aada91e4e3ad784f7d20cedd478ce86e8324625ae401215fbddf05602c5bcc10a9dbde404ee0d1a2c317010ca86f094fbec179284d945e517325f281cdc4b16e01004184e1cf194bcc2aa640af40026a927c13eb4593047e668a68ad43630c61bd2e1dbca9dfb519777461e646fb60807e1a6cc8ac3096969c3d9d1b9a2fec144abe63eb848cd7e4e9991bf61027a09c80f376770acb21966aec155deba419e4a33caf0b7bde79021b981b09d45258d3f5c824d928399bf4a3828d2dd3be62c492141b991f6fa7a81d0564e1d1f6b0e7f2a2bf2b560fa7f4639b9a6b171cdaa9fef468dbb70ca5bfb8ea849e05eb16aa6773de7bfb6d3cbae644cc0b16c9400b2554b1027fa37af471592e3405c7e83183b90d23945b5fd9c5d263bea73094e1a474c145b245507ad543b9ffe1966b37bce6b65871845a9cba71e0e3cd8f7fcf450ce2f40099b0c4136df42da052c5baadf2325a91ecdfcd05114f283bf9964596fc14e86a450ffc8310bbacfd74a36fdfa744a5c1e0760a9a40babc9906d65f1ccd633b714c8687735024b58d6e86d64084c3c93e5959d69ab953eb3575f0c778bd70e1a85773612eee8214155f67fa8573765002946a4947c5512b89977f41b4224f3e1709d28f2e0b2667595667a6170e1859887f3b50127d5e43eb100a7a3c157d680d54df20113a8a6346d9ac158549d320037d72b66463dfb783112e2cf0d655d1004df6fb0967bdcbc66d5efcf4e53af97c3b0e11f3b49354739948deb16607e5fc955a520d0caffe598fee925752ae70bd0838f66798da2d8ba14bd5851f5a0ef0eef8106df0100a7f99fbff3221813037a991db36e9520f0b75d39ac75fe952471bf4482a9a5644d7de21cbc08c5f351ccbc47e7f6a64974060aeafbe4c452ed5ec03b35e8fc42c40ef0b8715f92a53ea409f592d784ff8ea15215facd9b0a8da0458797c11393f5bb0dd3f23727649245e63b68979a16f70b30822d63f2a7f52fe1b42de47e2afa6335b3df1e4e935d6ea5e76eaed75295b7cfedd9cf9f85e8b89bfde5d80bba92c8633802bfda4acfb4c34c573f2ce8133d1269fa420fe43021d1342f156898163e2292c669c4be67e93db0822edfffb82332496b2529be1ed7624ccfada682191c4b9a5b1f4a246a138545743e409d262decae3bb82167a253366e1eedf526c5fad6386ab1d9ac9291bb45aa950c2f9a3185de6439ba3d1345bdb9f269386b28b4ef9aab1289a95c3bcf8bad62724a41323f16f7b6c601a72323df17976a10910413606fdc11c26340cfb3f4820f7443279267cc4f0bfdc9447bf045878227d284f613a7e38047b1fd2134af72002cc9b2cb586b86315a5b9005a0060c3448d049d3f0d69bf96367d0a10d4fa1663e34136407969486139b5579b4366b5463fa95d88451f1996a74badf5d9c5c686e0f15f8328ddc753c02538c934b04d038d8294c561c0779d036c690ab5dc71a569c2437aa29795ec1e042fc18a4e582200fbd735859baddc008e20b47a6a743ca0ab90aa9032ae457c94dc1e8d78dff73555a401732bd579994360768b4dd8e8ee2bcd7355d2c31efcba955780d82249fb2bec2d6d23765b123af67b5ac820267970b74b5a2b9b1e2ddc90c7f7dff856d393dc4661a2288d8c79f866a7d62d987545cf648722de898ee19e834ebd6baa63c22f3e8e82b642ce43aa9154d01e5f02809db504fbd6a4eaaae634b722edbea62d3bdfa48191fb9c6c24a40f9c5f1726850eebe111069f5e911eb531148787bed3f849fd663799e762ff3238d762a869150e934388e7392d3ab4014708b5d2c759649ee6a48a58e7afb2b1490b1db6e34a5fad2d3915fe57c5d3c442090783da69bf681cfa558da63961bfb524d75ae7349d4aa46788d16d401b52a66d2ef11b129c8f732b257eb01a29fb6c5dd4be649a0a5683a102ae6e8c4d3f7cadcff974701ee3d47df7f42b565274278f92c2d2424257f57c36f9f06dc07b7866bb85903f7f1d385f5872e52f8388ad3bba1230c5a8af4f093b772e980cfa16817bcfe7962364d3b999ecc281883be220c94c38ebf6c8f7e57087e97c4fdfcdbb263b3b357fb7f5bd1633a5668858e3d16a34e33fa44df7f73681bae3c76b8cebe1a5