0xe6b7c5a62d08e0216e1e7ed7948c96b74c0be9cd 0x49e1050393f885117de74e7a02d1091d67faa3d0 0xff07bbee67c3ab910000000000000000 0xe91f3200a87205d18a97bdf3bb3027c9f532c8a4 0x7e7b86c8624c9b597131bb883053b1856527a5ff 0x7787b9157fbbaf178ed091b23ce30b2e1ccf9abf 0x882f44f29c56aea60000000000000000 0x37c9f0d06570b0087430b9c66372e385839bb348 0x7951eb8b6ef6ebd080c0171252c53b40fd4ac3b5 0xe70efd784e8a5a35ebd875c4df23132324946e5f 0x842f1342234670730000000000000000 0x7635013447c4b0e7c637dde0b9f8f2eed2cda796 0xae1f8afabb6c971626e8616f30dc0781dee744ae 0xd836a959f2e963291c572a261081ada95ff8a3a 0x37261d496392b4140000000000000000 0x2e7684cae69cd153426acc333bace2c6a294ed4c 0x7b2ad17514e099820de955acf788a0820ce84d0b 0x8d55725ac8252cdc7b65ce9eb12fb87961ec0026 0xe1885611d2d677ba0000000000000000 0x4df56d8d7d972857e5d24d0b18eb0d5738cec1e0 0x4381ac639a53c05bbdd79e936edb1a9aad643a2e 0xb0a40dbd60ff868d233b4446a61592043eb3ea8a 0x780b62dd774107aa0000000000000000 0xf9a118138aa3916a469b0cf37a04f6b763ec978a 0xdac404ce56ca251e570de84c34bf53884c8b7f76 0xc99e802da4c9718c713ad53b616e25a6bb1a476b 0x6c5c4d7eacb9103a0000000000000000 0x926ca7ee88e96e6aed71e213e3aef1e3425583aa 0x6d51d4f6f0bb10d5d07a82d59b1628876ba4450d 0x5abb936c5ef30cb9bcf3631242913678a473d177 0x72d85cc292b16b4f0000000000000000 0x97e289e5c89dd74bb626b52ec20daa8436900d6e 0x49b0ee21550f81218140759ab532487cc061d82a 0x780667331bc3195a87e5134b7751b58dd629f59f 0xd0c890b60ce8690f0000000000000000 0x83864c4a2a8ef1dbe12f86c1fe1251cf4ea32985 0x4bec5ac8f1525aad358a7350ee3601830a3ab681 0x8756130b26ba2270567245a285eefac5bfbd5bba 0xe23134ac39d15b820000000000000000 0x7eac779906cf18583ef063e3914c7d4ef8613d96 0x9d1cb4a8585d7b06d2a0e04690e02ed8ae64ff54 0x23932777064b826c7c8af984026a85cbe2b08ceb 0x3b90e13716413f700000000000000000 0x1b26f574b59569df40e0e481d66e297fcde3c3f6 0x86ecc400146f0617e896bdccc4382739603b6f5a 0x9e4afd9491b42c090a36893d1df061cdf878fdda 0xb43c4e3c3c65c8a00000000000000000 0x8ab5f4fd53637009cd513d1093ed10eff4dc0e50 0x4428dd295aa3ece3ad30014409cfb3507a101d8 0x977d7d7a6f5ba357e95abc318390559afc07714 0xa4be8fe0359fdc820000000000000000 0x145a2b497aa9e6992346114aca84aebd04cb09e5 0x8ed2e65f209a9a0ac0757c713df5a34423686cf9 0x8dd527f779f237b8ae8123054b4e38e1e38593d5 0x8d5b6d0b2d9130510000000000000000 0x85fe335da54392a4ad496949264bc7386df81646 0xfdf493f3bb2c0463c41285bf570433c2977e156d 0x4a0839bdbfcb47c729a6102a59c9d25047e9f0d4 0x8da6918184b9c850000000000000000 0x596aefa36104603e5fb232a70726ee1808f01164 0xba3bbb3e3bcb9496ca7963d3dfecab171c45e6d 0x99d555ce30419c959be264ae630f129ab5e1b7d 0xad596077f977b1290000000000000000 0xff931a4d4c71440bc5c646cad52ffde88b2b38e0 0x8ae77edb32ac3d75ea6be8ee91ac9a7f45645523 0x7a40b474cbcd46d9448b4146b3ee0de7b63c5e25 0x602062c9b690d6140000000000000000 0x1cb4b70fa07ab7308a7ddb48c2587e35815c72b 0x3806e9952c000dabc5e4a86ce8173c7127e3f41c 0x239d049b92ce6134ebb95c37747e98a8298a88b4 0x9b431f07c92b58f70000000000000000 0x64cea232f3064ac499711d8f6f1d103f6ceacd6b 0xd6e3dee5c6a167149913f316cc18532b8129cfd1 0xad5608b9397dfdde5fc0f6b9d231c7772447c072 0xf66ba6dcdcb464090000000000000000 0x521390dd48004a53eaf5be78a096a4b823f5d4af 0x257fc47aeeb5965ee5c61abd9bd31a554ac91180 0x85c24d04de023897f2cc01ccaf6888ea6449deb6 0xfa0c651bd5f61f2e0000000000000000 0xde81f2aace5e3327a6cfb265f129b45063e23118 0x788fa1d05416d6e04f25c77b3d09144dd556a59d 0x50be06a69bc98afa1376bece9b7da34b4f89ea98 0xd45b63777d3caa350000000000000000 0x873fec7ae37daf5d62fb379325058b55e875ffb0 0x437cf2db39f9fe83260997a4710febb5e88662da 0x61addc6a7bfd5d794df4f2b5caa045f86de743a3 0x7a9c32aa743d21640000000000000000 0x538c6e0b0f363372e4768b0d5fb363cf22b2c67f 0x64df7a272b47aae82dbbf7a93416d255777c41e6 0xd5d59703e5fc0f9b0acbd87be8cf43a78a026787 0xdf9faa705f6e1d790000000000000000 0x5590f75b5d65d44dcd82f741ce7eb5e8c47451f8 0xe89ba3e95c9fee54f5659c8ab098fb8f6d956fdc 0xf79c5519709988561774f33fcb28939b7bebe878 0x897c90fc2d0892210000000000000000 0xcafa5838bea1ef0222044fa50f1c17eb200a1758 0x5b1f7d123b12ec8280280c4e21fa058d738eda30 0x9df50a51e8d3785c1e5dd58b766b54d81f415c4f 0xed3a6323c982c8770000000000000000 0xd1c67285245b4a7ffdda4e6ba7f18300927b99e 0xc9ac314cf3c9da5fb0f23384739a9fc1ef0cc640 0x3bb2e7feeb88e016bfb6e6e1262315c1c0493465 0x3a8a9d9f96db142d0000000000000000 0x1f2a37293f964a8508bb08f033f96f9e36390eee 0x583fdba4bcc386ef8d169b73e0bf996055179cae 0x32be93a2984d55aead8e1a76f81372d4824de612 0x20a83241c9aff2350000000000000000 0xaf0d64c0313614970406c6ca025b981d1d1a23a0 0xed7d2c6be42d291953b6c199946f4a342d18baf5 0x9a353f6ad7b12fad1015f728c7482411c9378f01 0xbaf7d7a94683c6fb0000000000000000 0x4e7892b445e3516021fa6f806d307df14915526a 0xd78f0ea703167bc0113436d8d626b2a135d29dee 0x86f9f56551e019cad8cc1c418b4db34b194f3db8 0xf8c49fe987b3ef470000000000000000 0x12960c5c53da52f6dd3d07c7e430980b9b86cd15 0x34d3ddac6f5537c7cf52494b7746c9a0fd60edaf 0x8a9bc5a06753324019a9a1a25ab7d50d053213f9 0x84bdabdec83278430000000000000000 0xefcf6aa28ecc6f9b98f89fe3afb4625a74b22626 0x853f3e3abdece6b0c76d618cbd7d48f5f5265ba6 0x4a56c6b0a8f25c855d67d38e4e517bfb7b22f135 0x39bda4b462ebf9ac0000000000000000 0x51e51a8d404c978b404d6b2e413f9c51d590e0f2 0x77f1eaa8661d0b71130f7eab92ac69e773e78f61 0x188a40b525364648a1024ac473989db9425a81e9 0xec62902e499f85a70000000000000000 0xadab031c2bf87d93e185dd17baa2a0f8985e9f62 0x6990ee35c1c8f654c88eb48ab4690b1204f3af36 0xb78b8ba2838245bb378411173c67ac899f7205b5 0x9f24a0b08009a6530000000000000000 0x3ac390469826f7d4da428ccfcb436570f963d5f2 0xa5502fc425956a2291547409504502770dc201f3 0x35697262d72fc87ebc41d3e1d8bb906344943d0 0x3280618ea81054060000000000000000 0x1724f2d5113739c34276d13fd9fc3629cf13dd3 0xf1bc123ddf05fa7ebcf6860e682afec86e0c4a57 0xd26fed816fbb6628d126f7611c988a091d1e9bf 0xe1e42eb6182809400000000000000000 0x5e36883256500ff7af465001d4851c6e2690b623 0x670ff55021a66754e7c57809653120f584bc3bf8 0x7c3e02264b92b9a1bf7e30c083e123f66693e373 0x28a30fca65191d1b0000000000000000 0x99f98876f8d5f573d854469b61977b0acd8a2bd2 0x5488d7a1391774a010959ddb6ebb975e0c37d278 0x86fd741c0494d137f70fe1ebe83b55642b07f65a 0xad5a6bd145c3e2f60000000000000000 0x35fd04f7c0d5b17370955a096381af38d6290caa 0x686e908241545f4e33ef9dc93ce51f08790f0e50 0x113f451f7892d9fd277515098968332ead3eccc9 0x7c880dc9cf759d110000000000000000 0x65d822fd2ff3fa621d054c7c25b7ebcf9c0531cd 0x1255e93e812cb1f70224176425c35b899517266f 0x2f302814aa0b0520c5f2f78bb816024d891a6717 0x53b0bc6e7eb074af0000000000000000 0xd92e3db6229699541227bacdd2e3c0f3e2be4e90 0x4452646403e187b3f8f77a2dd98e35b92844f602 0x78fb3383e0bce43facfb89f883332afd17feb1ba 0x46d4e3de03f120a50000000000000000 0x51ac3a965f4df2d17ac1dde16108478015e373d0 0xf80a1b4add13ea59eea34a586a63c0a703b76243 0xc3424e7004ae49ed9203ea8994448ce5427944a5 0x3b7c93aabc26062c0000000000000000 0xcbe7ef3101a3a45c6dcb6cf5ddd008f29b471c64 0x7338aa76ec3f68f2904b6632b10623e0e322061c 0x53c2a336ce2ffaf849302f38e845f6c6a065242f 0xde7c8a452ba7adc00000000000000000 0xffdbfc9ff1030263c2e6c9dd8ddcabd990b5db10 0xa382764a124e32315cf74abdfd87c1f0fb3dfa16 0x6711a1796b18fd2e2d8bb38ef58381aac4151b77 0xbdc65a8ef35707790000000000000000 0xd24002afb6687ef92d25020eadd8fd49080e19f7 0x870eb73ea135b19f826674231e9329f4e4424ed1 0x3b0d83e7be7727472b28e2ee368fdbd36ca6e9ff 0xe4624c08a1ddc0ed0000000000000000 0x4a9f1dab7da93bb499ecc3483e658a4287c1f81 0xd2fd9af58203e96b4f7a29c62684c6eebcf4a2ca 0xe95563d5c279720768d2c70d2d113727e6aef177 0xd9b040dda650ffd80000000000000000 0xc5a220169b4df1b2e8f50f75229fb7eab14c0890 0xdab18d09e0f396509fd904c3bf7b450eda39a518 0x79afa09ca5103adf122378a93502adf6d7d05450 0x3826a0ba7ca02eb00000000000000000 0x3414a64e27e015d5fad46c2a533e0778f3b82cf4 0x7b467a055893df2de9bfaa548d8ef0133920e309 0xd3cb6d5cc9079a5616700648d43cab650a403f5c 0xd01a1eaafb56c2360000000000000000 0x2a65254571600122b31b85334c34e554f5e04295 0xd5247e6863813b33ad850f73ad3fd5e2cd593fec 0xcd63a701b42279c7ee39dab6cb680298402c8287 0x5fa192029d8470b70000000000000000 0xb08da686395c91eaa2243b3fbf13ca39eec2d452 0xc2f72a004238c1b332f0116756a74ce17cbc821f 0x26f47b05697d0436c4e6d3e44142beddc128f99c 0x3016ffd01a1c5f8e0000000000000000 0xc693ee8c1eb51babf6dbb6f83447a5626d3cdedc 0xda237fb136d2f59f94a25874157052c1525dc4b9 0xebed90278faff7a82f688a760c45ccb08c483e9 0x39083d2431bc3510000000000000000 0xb40f9600a1aba3c71e98d6991ce83a1f53d22e8e 0x54e051ed46868c35647488d1775166f8a2bc1eca 0xb8aa523c78db57eb5d3af17ab4586e4b5d433ee8 0xb44e15d3a201c01b0000000000000000 0xb6c6768be8e9c5bb1eb80c3f14e9c9ee1a9a58f4 0xb688f4b2e78bcc615b66fce199e66c9b5dc0b0a6 0x274e79591003aea61214b2b66a090d6f3ceb163e 0x86136affdcad79e70000000000000000 0x5adb65f35b5f458e83ebc33d8b112e2f7371608f 0x11b086851c41e8efd035dbe45611558319281639 0xa6662f015f062cd6acacaa82300817f2f60e786e 0xbc5343fb25aad5c40000000000000000 0x1bc98491891cbcd46f48da844c0ef937270da02a 0x629c7e28d77a627d996ef6232e561602c0a7f45 0x62564bd9e56b2cd28859f489b397d413b7f5200c 0xd0e592bae1525c7a0000000000000000 0x7fdef748ed2e22bf063774b1f28e23501fbf108b 0xafa0d19f556032c79afe2d83e4c098a065fc004a 0x21037b0796f2504a77b694f68ca364e4b2fb6533 0x2d7f209ad5fa84c60000000000000000 0x530862133947108ea86a83d44939845182c51bba 0xe40cdfc61602daddc5152bb10c862b85783aa703 0x6381388c135b497f8b39ddc2751528c128de97fb 0xb48a071d4a45de690000000000000000 0x10139d0c52f2cd4c1f70b481693826b03bb8e363 0xce20b275201922d29cd90a84217134c5f9c5e93b 0x8f867c323d6e56786a514ae1d43a83cf1b2f0aa6 0xd13db177aa94e72a0000000000000000 0x2b2a35c4cb24f1237aee91e960dac2d80e3597ca 0x63f691867126d15cdac5bbcf5f6ad7779caa3a42 0xcb188c080cb07cd92cf7fe7329f7e2583493ffe0 0x2336c28d1173ea820000000000000000 0x720b964116e5546c65a42dea2742265a03e2c54c 0xe35fb5ea0819382432d44a907eabb367b80c9b8c 0x893ca5dcc044a545feb505f1220bd5741576e1f 0x6972ff4e322270b60000000000000000 0x8b26bcf5ec720e8be3554d39f276ae2097d18be8 0xac73025a8706374c46ace2cfbd8dace3d07ca021 0x6b5c98934731276252e40c6f747729838f02341d 0x9993b2bc68d13abc0000000000000000 0x16c98b895b826cd05f7f49f87f42b4373bad4d7e 0x120961f077341ed751b4af1df17a53ac805b887c 0xe060848d198322e910937040a79f4092a372d926 0xf0f2980c89e607260000000000000000 0xd5480a73235a74efac49b4817b6b4057a3a779f8 0xffe7b85c9583f89b8a175b5dc44b5715ede3da93 0xe1a27334c73c67ee8bb283fbb7862429c8650a27 0xf449734df37c6ae70000000000000000 0xab3cbe4f907766a659cef41504fa4b3859996e03 0xbd059cf154f66bf6d96897c8342994124253d9c5 0xac3cde83dc44daad35193779defac4614efe093 0x7e9f05472c27bd940000000000000000 0xee86ed8897dc982fa67e57bb1d4099a0478c0807 0x45219290f348b5218ea4f0fc0ddccf2c1c7c4ae7 0x1c0537ebdc28618f81c08fd307e9abe08b161e4 0x9adc2b1247bfa30c0000000000000000 0xaef33971ec91a7a39f1f8a4681cc4d58f993e887 0x3ee7b29904619b72dae7ef3df040b75bf88f4b39 0x5fdeaf1d0801129252800b38bde5bae55affe30e 0x8e97ddc7eb75d24c0000000000000000 0xed6285792423062edac86d5b6fe4d7e73ad18006 0xf1622ca3a2570522dd8ca99234f4e28d30b0d4ae 0x8f8c73823510adb18bb62b3816204b8458544f1c 0x6b3098217fbe71e0000000000000000 0x30a1b20fa0b397ed0ce1a0ca7d4eecea74b1fbc5 0x13fb9073eb91ff8d46f14360b8aa77e0c1be4d9d 0xa1dcbd89559a9f6744e33bc0a0760c2ba78ad87e 0x4d3aa977e0fed920000000000000000 0x83190f142f789d9a6b7008645129e6078ea9bdb6 0x3d7ab5256052a2c3c23460986dd95d728a67c6ed 0x263be5b1c7f53cea5f43cf3706fa7dfe36699c32 0xdbb1bbf5f0a5fa050000000000000000 0xbc539b98057c1c637d33463a118ec72ee1b6d436 0x8d99ec935116d6b177b2f08499736a6e883b6417 0xd9a9a4caab6269fc43eb411dce43ef9a4ed95ab9 0x52e15c12050acc9d0000000000000000 0x9968c99dc062c595e15c8cfcfd5f675b96c90b4f 0x86289261b2d9d7a51c56a8a3d6e0cbce58b8a724 0x16d635ce95565d63f6b81c0b863cc8d95759a37c 0xc8b58b95ac93c0110000000000000000 0x5149b823c5a0b3f7220233de3ab97a14ed73444f 0x9c4f63ec50460526b8a1fa07b14ec3cd1e6e3237 0x2108afa213804ad90d1364582d2667ac44390cf2 0x71363c809180b1590000000000000000 0x2f69376425cab83532e27e0e8b28c7081ff16ef2 0x3b3f24f396abf45c73981b795d8480da52193c87 0x33076e0bf25bf487a866a00ba0cb7f6c7e19a22a 0x66dbde72c010e6550000000000000000 0x6b0e91b86908f91eeb596f660597db81c7cf8db3 0xb729ea459e7f54d8474136b50397ebbbe2dcfda2 0x8145192e5226c1511b8bc1e63433e6a4fa1bc87 0x8f99f5686c12be940000000000000000 0x933873f8119224df31a1678f3d8b30a3e24e501d 0x22fbc9a734fc61cdcb503452c4e823b33a191813 0xb9e3022ce38256af3aed4d4a6c12aa7b9b3b956c 0xa7e48509accf5eea0000000000000000 0x2298ef29bb513fc794fda3a659b64d173a68c829 0xef6ce3760374739d6b32e8072e411f46f73fc0ca 0x27c9603fcb1f28519b15ed5f64d95a160840e32f 0x39d7b0b6ba451e110000000000000000 0x176e62b08958b099f1db049e4c5ce410ebcc71b4 0x533c27b591423f3d7fedc96b85ec103289cccc 0x1b6d50ff1f21a294c1db33a554d3edf7fb2514a5 0x997314384fc664c0000000000000000 0x6048177f7e75d654722a862dd1b0796d46a8876f 0x54a78a87181cfc2f59d63f1eafd827863916f933 0x454d75207492945c8b542758d1fa92d843477e09 0x86bd8fc8c64226520000000000000000 0xecb9696dc402db8f780f75274a8141a4b54de8b7 0xfce33429e9494aa8aeb3e66c4e01ff93b155808a 0x5f9e36435d87337500f951833ba51361fd64da02 0xe5b6a81bf343c1ad0000000000000000 0xb2d0a0496fcaa68593af04cf5571f99d1cd408a5 0x6977d5dc3ac449e022175a61f095cb54365e72c1 0xdb4fdf9d86bbed27d1c2803884134aff2b0bf8c5 0xec04900fa28845b90000000000000000 0x2fd1eb2d9c928d64b5da3646f6b21a5b9812496a 0xa7226c444c51fb597abb5205300c00e1f0f11929 0xbc92c3c94536d45336b9455f55bd1d8d1e088007 0x370bb04f631a82860000000000000000 0x65948f2ebfc7c0c4e156eb4b63a134aa2843c030 0xeaf2dac105fa53486be1e5125de9e5a91f8bbabb 0xbda4419a3801880df6bf147fafe6c53d739b1fa4 0x3023fad161cf41bf0000000000000000 0x76b1cce00ab40da7ee529825db2d40ce9065dfa1 0xfab0b8d5df57f88528d525b775a505fe0e5343f7 0x441de70f5b659952f1520924190f961fe03bcee3 0xf3638f7a103530850000000000000000 0x4e873c30a1b7d817525c487872d23d4835514f3c 0xfa713b69bd51c5d2fbbb449e1a81ab49e7223b41 0x5513b96e9e4abc03ee371fe9c651bd571e1a0f80 0x5b9e909967e524bc0000000000000000 0xbfed8332e16807b46aac7f514dc9e0d855b6d99f 0x3a568f652c65a2813f6f0bf2e5fd2d309064e2c5 0x7e97233fa957513a44df6cd523a06ebe8d03fade 0xa091d9a2f9124c6d0000000000000000 0x285b20e0028d4bb6346e592181411d0653e42551 0x207b28b1447e900014ab4ef4870d754089d37e78 0x5aec49288e0eac889ea91b594fc9415696c7d8be 0xaff4138f7fa677c50000000000000000 0xec16f04c2c6920f5272096ce99a41499cd81edc 0x2687452a3308fa856640a6b06e165898572e3eda 0x7bde5d206ed6a30923411737aaf5a690c5c4e5a3 0xd5f0e5b9da2596fe0000000000000000 0x6926630cdd5580e3379d01ae82cb7f18c2e8d9 0xff3564911d6b151f4f95a418a1e6ef5643e0ca0 0x5a42a1a72e04c9e00383ff7e19fb397b66b3c9d1 0x9cb7334b764929670000000000000000 0xcfb1b883e80fd73c92b59c3d234d71652b7b192b 0x3b98f40b90e245b1010cd309d3ba83a6e9e0b12e 0x8e51a9175b9031ec7dff0b8a6bfaadcb242e798a 0x6456cfaef9bab78c0000000000000000 0xf7740cac947e576b5747caf29ef8b68ecde565b6 0xef6bb59cad74eeeb916e5938f2e17e943cc2d8ef 0xb1487bf60cc6ac16ae0e2a9487efe453b322a322 0x6b38768240b566340000000000000000 0x87a4faddf0a248c64d1a2b10b49ab4556be915ef 0xb9f6c1f51cc2f8b3a41f160f77f0ca5ed9643a4e 0x2a55fc5b6959fc38e8e9fe70223e62cd79f48ee6 0xcbf740b243f516a50000000000000000 0x306a13deec76212f9832f1651b04114cfa1f995 0x1adea3627bca45da84ae024eed02d1cd13bd1652 0xd864d4e7217dea861b7bc930e233bae0ee2fe41a 0x38932ab70c57f2270000000000000000 0x33d61e2be5e0c5021a13aee3332d3b11a436153f 0x163937e75d099e0ac3f94c1d076b14bb44b97fe 0x578b0cdbe8265b81656ff6581c22ae6ebd54a412 0x9a594647712438410000000000000000 0xa04387096eabec7af4759dcbe2723e2869294c94 0x71c2b00739da1d93a442adced91218aeeb60dc24 0x6f776172a25fa58c411dba7734e22aff5b078311 0x801d6179e974ec680000000000000000 0xdd679c3251849627621a065ee38217238973a51a 0xcc266f10b502a00f14d199e4fe6eddd130036c02 0xd92ffca814ddfd379a29b4f9bf27a78b941732ba 0x9f761367db7f2c810000000000000000 0xbdab36d4fa755e11ebe8bfe8b8eb38d852a55ffa 0xc349aae790293aeaf32524c91ec28a9aac1037b4 0xcba010ede919bd26bccbe24ac191e2e84965d854 0x762202ca77125cff0000000000000000 0xa7af0045a148bda9174c1f1a02a59a33e58b9064 0xc0b52d090295c7324b7a84d54e99329843b0bb21 0xdddd85f5477bf7a311b1fec5edf5bdde9c5b0bf9 0x6d4d198be1c7c54e0000000000000000 0xabe2b9ffdb26e12cc5894a97a2b992e271b2beda 0xd0602fba8a8af9e8717707b1af7d22499bc83b43 0xb5d7a3613e4cb2f4bbc9d129de7930e08400bd86 0xf15d4787c81d06a40000000000000000 0x2eb6451d26dc07502bfc6aa2933903b3ba7a9e1e 0x7be000d6d05c7df51bcafaa3bfb4e14bc6e4e081 0xe73f5109496e115ed57e18a6d9bf4907999b11e6 0x33764502c1bd3dc40000000000000000 0xe8745c280022281dd127be1c403a8d504375b739 0x7762f4929d5c0c3b6d2cdb0fd454df1f9f84a90b 0x5b22fa11850d966e755017746ba6c1089d1fc767 0xfee73df91963e3070000000000000000 0xea7d33183c151eb74f1a888c1ed0373e58badbee 0xbefd0c44fb52bfde7d7e4b3362d8a8f0fa7e18fd 0x302080531bbfd8c98d19f402b56415d962cc145 0x6de2a164d855afe90000000000000000 0xe545a32fa33bd935682a1fa376c272c1ac363583
LINE CTF 2021 | babycrypto 4のやりなおし。one of the most kasu challenge I've ever seen
from hashlib import sha1 # https://neuromancer.sk/std/secg/secp160r1 p = 0xffffffffffffffffffffffffffffffff7fffffff K = GF(p) a = K(0xffffffffffffffffffffffffffffffff7ffffffc) b = K(0x1c97befc54bd7a8b65acf89f81d4d4adc565fa45) E = EllipticCurve(K, (a, b)) G = E(0x4a96b5688ef573284664698968c38bb913cbfc82, 0x23a628553168947d59dcc912042351377ac5fb32) E.set_order(0x0100000000000000000001f4c8f927aed3ca752257 * 0x01) n = int(E.order()) r = [] s = [] k = [] h = [] with open("Babycrypto_revisited_b1f108dea290b83253b80443260b12c3cadc0ed7.txt") as f: for line in f: a, b, c, d = [int(x, 16) for x in line.strip().split(" ")] r.append(a) s.append(b) k.append(c) h.append(d) R = E.lift_x(Integer(r[0])) P = inverse_mod(r[0], n) * (s[0]*R - h[0]*G) nonce_max = 2**64 def sign(msg): h = int(sha1(msg).hexdigest(), 16) while True: k = randint(2, nonce_max-1) if gcd(k, n) == 1: break r = int((h * G).xy()[0]) s = (h + r*d) * inverse_mod(k, n) % n return (r, s) N = len(r) t = [r[i] * inverse_mod(s[i], n) % n for i in range(N)] u = [h[i] * inverse_mod(-s[i], n) % n for i in range(N)] B = matrix(QQ, N + 2, N + 2) B.set_block(0, 0, matrix.identity(N) * n) B.set_block(N, 0, matrix(QQ, 1, N, t)) B.set_block(N+1, 0, matrix(QQ, 1, N, u)) B[N,N] = nonce_max / n B[N+1,N+1] = nonce_max L = B.LLL() for row in list(L): k1 = abs(row[0]) x = (k1*s[0] - h[0]) * inverse_mod(r[0], n) % n if x*G == P: # print(x, k1) # find private key print(hex(x))
