research/zksnark/false_tests.txt

10 lines
17 KiB
Plaintext

11ca9e5019d69c4c024f2f9c7e56f2a89bf8386c931b5bd7cefdeb4611178a0f036ae901f2e931f88d8a05bd1e677cee31aea23e81f4052477d18ab1f5fd70991530753e099d51bf60352b6c1d5ef410e4d4d57997db45e8d2fafd56c1521b27043eb035a279bbabbc9b8105d72d97d35c0bf2f34381ecb6642564c9b5356a6f2a795e848f8f8e6959033b5020d1ad823dd74b4b939cd34d81e0175e72afc2361391ac8591c47b5e8172d532930a90b8297f84d44ac5fdb59b7b74eb6c1f1a78
0f58ee3c05382b5a0deeb2303f01759add19e39cc263495d43d18e17fe06467714e0366c8def50524df66a1ac99adbb4a6369f5562e08523eb2e7ee0a3c43c641871272bfd5137618194a726ee2ebda630177e53c7dba4c3721b8fe249dbe9b3230b9d5d638d0a74f5747dd56b2f6a44640c43ba3c1b68bdf9fb2c8d3ac3878711c77ad6f2a78a391a85f1d8790bcc573b193d4b8c70862ee42297583fd68c2e000fc512f1d7181679b87be600377c2af8c3891995a2437df6ebad72a71293272833696d555d55156560289593021e7f627a8e07b3adaa4774b1bbe45562c647159464def97fd578e587bf95c9ae5dc07d6f88875eb3cdaa06b2a37c87541b23296a01afdb4346c9773d1384adcd2da123df86205df1a08245f8693f10bb0464047bd66065cb2ad5e5538d3858c11f1f2d370df7105b0548cdf07d870ecf39a8071cb6a4940cab0b4c096698f0a7bb395afb89130e9c9d5ef9fcd18a9711d3f22cbe127044dd16c5df04b7a5803528f0393731ebf1a73d8699072566224d95c1
14617e8f3b9cae319deb746db60b296e342dd47e85e8b08967a137ee9c71e4442169ad83bba6cff2d3c31dcf86855da8b824d57c02dedb8c80287cf9068b831930184a83262a9d2498517861f2e3a6dc9eb6c8cfe52ac12766274a39393c19c61b617a311440ea1b7917b1c5afee9ed0d7f9eca93255a7b50c0da528f161642f0c41652e55e64f94afa7f8ae575aaef0cabd69db28857c3efe5f19705defd8101b5850b97502f8b9e3fbaf22636a3502657fd5d89c4712e263b97f607c89af1b20cc44676e7688cea0f3133f0022b38e063067a7a044f1dfcc8c63a496e9192424158086c2cece91d96221a1731136c3e4bc88b1c53448b10ffc4545e77729a4199588dcff4362510615f2a82d01cbdcbdf5b9ad1417260d3aacb14b30db983214b7b5adbaa5b4ea02b2a091686952f38e635b445feebc6e7ee4fc68f7db4e091a4429cc05f9a16329b808c21a818dba5bba270046c2e30d77d07360937c8418171a99c40f148d1b6f71e7bb9be867beb85c0a1bfe3d1367f97663080af17b0b085b43b61d6b03d3412c13b11266c28c417514ee76d9ae0e6a87f6d5493429a009cf004f01efea3a7c0983960737dda38b8ad714f0932fb90a05bab6425b4333041e30ed3f74192e47bba2448c1d9d8863a9c40c675b7365df4f3a111745e5ec08a03b8d3c28509a788455a6022bf9042132f3f28b7901fcb349bd7c7ca793db2a585cc89b3d4c5b9547c46ff60a830c66bedff981556d94c788cc3ccc154b232a52c7e53db27bf797eb52f665f7b7ebf6086c4c8339dc6abe7d27b26a062210
29e54b35361fc67be059e2094257aa85851bee718ea164e7adef0adad9becc1622e52d2831cb15bb23ac0b378f19c54f216d02c4711dbbafd77cedfe4daf1d6b075ba748ccf2ca10fc7d7be28c17ce48a204c564ca84aeda871e81cc78e1de451dfba656e39f801bed27b40acd4f02638484a214ff198d3b6902d552f694896b2de7ffd2f28a80b5326802c6dfa514d70dbfa86197357aad33187121d4e4b8f0048ef117c16e7fb9161bf644e904f7bb0c61660f6830ee5efbd98877dc9842020a7647519a0c4271e502507a528829a23d6033983bdb0022437cda1d3d8054e51dc7a1319e7eefd4845bad52f8a246c387167d8a72744df46f395d259241a5271ef5ec79d66610d5325faa868454192aec3fd3241ec828f9b66b45ffbc88130e164e6d769f1eaeae7f9a2ef0df6a2c20cc477034a6095802a8f55840c8df1a5915c599117eaf966783b4cf49350b64a1024c434138c504aa626baea941b0bbdd100e53d767a98b687b1ca282671ec55fde50ed85ea94e91c68380623d4a4730a1befd83db8c2a2dce246f12d78d917b806d11c62c749b7d79dbdbdd41ced3a742b0b76af7cffaa3599221f424e44bad14906046ee760701a0a1b66a0f9a9a5cd291397f9f0f2074bf3e4067b65ba24c1120239bb39ef91804dfaecd7405c719000033f5f8cde77dac7bc0af708c5a32a54b3c59c2e170ff2cfb755c6f8cc68d527f2b94a5093ac8dd4b89e770ba94f537c41d0f0c4903b48bd7dbad7725a353604017ef54fd400735e017e733c69bf23c6d66ef3bb134ecc2d76de07e8e105191c4c957c7ff9bf0435fd14d83c566833c38b192f40b06cc54e4f3e47290daa881232e468dcf7529b43caa865aee930e8be2a26fb65e21198254505bf586eba151f3e1a44aa6f488a3f43546cc591ce69a3e83372083c4b061e4d1afefaacfd7828ecc9e3868ee9aed5696ed16922baac233994f66e2a02f14e799f9e435d0ee405d475ff44d4625b7a9107ba2fc5e27c63bfd0704aa227fd11ebac138cc9b1c20f7ce76282fe23102cd6c23885b2513ba179e021123c3b1d189880dec8bea4e0
2388d7b68b778d17fa3e5513728eae557e8ed6732bfd9c24c842c78191b150411b3ee8353128b0bc78f1ca1e9b193724456613972b1bad40d0e96427e49bfc2f24e6ac3e4099c31aac036a441b2cb9e9ed5a7f666b98e5744767352bfb8cb39e19b69c572e8808c0845c61ffad05ccccc5773ec7ab7813d3746a50b6ce05d0d21d10d256a718aa6e4ae043ba243e9c3385f8ee4ae4fab96529994850781fc17f0a3de31c18c5618329a767063ab5128d5aff9c15ed96f381c81f03c397f877f71d293406b9dd4e9b6ae87becd58466ba02bfbdf4965a0536ef0828097936963721ce3c535dc36499644ab2401869efb3cbb4a950f53283fa36dff5fe9597cc70077f88cc6b1d281b192fb30e07b64a1fdbdead2cd8371e7c126d101e84724f0924d69804413e871265123b3b5886de3431b7c6470ec728789342fd6b5dbfd18d098d65e16925bd288a0e8f51fe14b593b31fe0fb85fef650a3f10b66cc676475001a7c13a44aa87f73ed494d810684a6bec364cb074966a2a8f4e6b1469ba6d30565bb408b03c62dbb42a3cefd618c9ad22712928573117d3d5064152bf12d6b28a791c054287592f3cf48d15d83d06b737f1e729fce023a9381198fe0a58d8d082b5eb2390a11783dbc8fa40d8c8853ce99fd12b7a442743362ac701b5a5b5a05576fd5994c19876524f764382cb64a55e22ad48b027393ceb4b189e8ad14fe26f4ffe3be4c175742bcd5243384ee959bd6a7e3ae80fd239a35dd1e858d66db0635ed21e69905aced54400379ddce6666be231db596ac7bc613f96aa8c0c00b1c3bff4c36a30ebaa0fbbeb22306f8a4007dca74df54ccf98bd21a586c688e402809e82f0354ddee55eabdc18d8a9a3ff8c236f9f9310f00d2ded169a66814f20b4e5b114a1f0b90eb364fbb0bdf34aabdbc7973c434a709f7cc4c13929885b62c6bb636580cc6c26e8a80a5c794eb03a7f09d9bfd5484d42fd8fcb19820324110c7dcad5cb93222c12b0a3367436242a2f35eb1f465184b2b7c96597fdc572d115c825fb1f6dd46e16457b91a8e27bd4af2da93ebee720dd50bde2ae1d4ef8d1ce3842de6f6d2862e50f0569c0388d7da04e68cf20e8ad6abb9db076744f503178f7a4f7619e924f5d6dcfcb189470bd5f7cb792d5834ec2daa3be4fc8dd1312985e60cefbf9102511150ee76fed30b63b43c805dcfb36dc187c7af53aabbf7260b27a5e492b7d5cf0a65481125a0f023f1d081de784a87283cb2c8a9c8f00a024e53518b8783cd8603401887c5dc71b15f0e0bff260059f692e5a09a011ab014e1aa2bc2dc4e0e3343394fbc0a35d2dced5c6cf559ea8bb3f20695ff74436b
099de2d7424931e7eca44f671c20e47857159a65eb3bfcf729a792eb34b309a425c8af992d74d6e7cad826dadd8244758863d6e87d6f876e43aa0764efb7fc7c19899dc615780a966a3e30f530d6648a509d986a58a971a5c8e065d1eab0274e1d2f29f1cde2a39cf70b485896feb8eb8d88b040f40a080d95b4e904e0cc2fe80a06f92f3ffa0daa5e2019a34be814b56427a544b4dc976accfb2a40864169b328b29732cc04fc0704f7aced0d7a8924a1515ecb5ff5eb50ffe5f07f10462f422ea7b94ad101a2126028aaf470e3befffdf409a519f3f1f6642e0c609d47f6211963709db98c13722d83f925fe9c2611cf7a9c361e2307d645db4cf3697fa75325dcc912c0725dfa45e197017966c12bad32df7366aefe3772984e69ab3360831e6062f99524a7d2a74ac7ab755836edbf7c3cca105a46ab16823ca6d689aa660f6358a91ea450eef5bbcaa22e5843d6e2ddd49b2479cc69d1f5e158286a05ec125003a1899422488df86fd8f23cbc76c2162cffe16cde5e22c65851bc5673c00d1220adde1068f9f365fdf95405e6fca64e26d8a49a464c5296c5ad614a0a032d311e5e04c4133abdc11eebf9635550362a3ebbaf7c8242f9653064eb3eb4051fbb2541009ed7b1a0556001c7691d53fc00fcd20a19990f24b93b90296e3adc299bb12ad36104a35b798c6234556d2a3975fb202da02f3f12eafb4e7568162e2cc8d5340cd4336b1fe9b3bbc264ac011351b581a2404874a9c471708d2a586902988111b8170ca3bd641d13808be9d8e83640dde3bff54a7c1be2c06c0f04be2448c7f873b3297d0688f027b22c4c164fd3f245ba95483b4f8a11ee3516f7bf0cf72d189376f982473b01beb62b9470cd77330358ea26f52641e74088d7bc091bb38558c1e10778f86d8ae7d398ef9db4bae4c60a1189ed5594963efcf6c63613e9c03bf74af7f6faecdd7e2e53ff9f75be40afedc8ef9222e7d698a207b22814a4e446cae4b6c7a3bee85a5609a05054e9608923e6133ffedb74d649e39a8414ca88cd159d937d0b7aa8393c87fdffdb918b87837aec989527bc22428e82d122ac125ecedfbb360871f0dfee2931dfec32db0b3ece25b5c6626320dff3729325a76776a9f0b79b356c84a5b15e4c555d02a6ad15d3bd400116e3ad99f2505218c47f4fe4e3a4393bc28d894c03c114b255b60bbb44833c071d3b87c65d87f01f82f1897f751965f27fb6418866b8d6d161a14aee4030d5c4e036590194e1970f9dccc32f111c50155553bdc2e80b86a8e7a29200514f4e81aaa33efa6fdcf42d24d341c23e986c144a989654ffb038744323c6763064828f4c04b6a209faf21bae47acf8db433d7add000475c7e633edd671fde6a36940b76f81503e6217fa12d8f65f9735f83b81bd57c5069ee93db1d724961b303dd299e6dfb799e13dc22394b3eab7d566f36fe4753ebe194ead4d6d3f30eb47bdc995c14e973a6c339d13a7047f0191eead1e60c9416daa0b5f366c39d8b20c7d0149c689d033ad5e5e1ea4863d85151508dfb73d0f5f161920a2f186b7b8ece7f82a9c1af5924309060ca26ae13676c1b667c2f5284ba38432eefe233cbbe7ae80589f404e46619cf6
284989c36fc301dbbec95bc24ad3ccac3db8db3847b7e987e1cec344c99118802e9291c1bc9d1d14514928ea72cfc67841cfdb14c91ad5111c25062764b3312015fa9686f015abc784c3fe2975b68a79c96dbf167f5bea68ae22615ccb9b8cb5012259c15d577f5c58d928ac4ec36cfb7d3139104963345a9534c7fb39fb55112f2c8d8e6cb0f55d1aad09fd4fc71c0a8c269edac47fd2ee9820a854b257ffc91cf25e182d02b875803ccfebd3d10e48be672c35b11ec98a09ad235a1be04c78161d5a329137b0d50a7d701b18f20b9930d29eb24de31cb34daf1a94d69ab9d428ee1db1ac89ac1c230ea45804e786034abeeb6b986cd3e3047736f0be0def48068805e13080e6c6128a770baba55be72216a1913c0d26bf034697fba4a36762202ebc35c15b8e195fd6ddc5f2f96ea0d6950e996b4da30f1c7d24a645dffa2624b2b93006480b54aafce630fea046e92be59a904c71d6bb59020fd7311d7c820d857577d8f2748cf0472c7904ce2fc34637a27023a8efa20f052458cc9fc50f24d0cf54141c0ded92b582a17db6a10d53eacc757ff60275349d2574574388610ee88be64f7a4d4cebda60e3109ee7d332791ea22882e3d7451b2b72eb3331b604df4cea604152607b387e8f81375959ccfb54f1486a7e7958b366c8cd6485e3062bfcf5ddac71b74b12d9265c7a76646335b4a946e78d662dc156da9ed9d60c2d007f3e68bd8cc9d828ba7b12317e2d51fc0119c36b261fcc51f4e3a714c4071e94b69f49a0717621fa2980937c5d5763ae2fa289b45209187a2569584bfbae1da89f66445462a410e15ad1194e7f0455852d1ded02086426b4cc04ad5bb246222b65c9246042c2d101d0a1d631823d082d0b2c8652124a8f5e01053f1a5ac1205657f84c7102ded146e6a9f20d7438538bb2961d61f09a7cdf1ac607391f161dce2cb0c0f39ce0df54e711d4aa4879a58345b181a9c9318603f971e9d273eb0cf57463ad3ad7edec36f15db178dd3e2758448469b644d1f80e5f88ff8557fe1144c4b9f06e4fcb6d2a6085dfba2f9abb73ae1797c1d50a7a6ca084e1f36fcf303466b335a8deda1a17c63a5788079b9f695ba79f8e401ffb05688eba88ac5512bea5c242731e03f42e00f2399dfa712b06e6547e029076526ba6b9bc67e52b2d9a70c0958021095f966587a4e64732178e4a7b56690218a810ec8e4650b92e171ca31d35594de374009c18e8959e61bcdc1f2e8f047835780a74a9e257463327b03e15cc73b23c31ba7f6122225cf7e476d8a0909a5798ec194114c9762d2b1e3f12e879a69ea52082ec6f0b47ce065b7ec097799af54a08650f9e4357049d2e7cef8eba828d5aac5f8f547dbcc939b334d424ade4895e53b89dc7d4d55b321c29572588aa1dcbf7828e4f1238537f6a244f3cdeed28466cc4387d7d532108105fcf3ee7bbe761b65fe9e1d97191ce34323fbcb4955e3e5605b24429d4a5e42c65d5a06c2a85e71b7f732d69400412d2b92354dfb3ca4ae8af605c47184c292cddd17589f762d1ec8420f70c26fbaa617df669b93d9cb61540694364820bcb10eed90eb8ad497d4ecbf7e4d1f5efd1626a7f6ff267a65b892290a46241f8972636b3b197468e1e4aeb2f97d1a58541647b140876187c93a6795f5dd97e8a2b16784f8efe7e2992acd52c0206014f4787ad2233ce4c17d0fe277ae2505846bd293eccaec78edd661bcd792dd0a37895fb52c57e328202df88fb6a85f0f7171f0594ec1c86c2473a21f2dc7a67c929795bdf235255b9e5487ce4c4eabdb50fab0b0d9bb8b2e5fe5a1358893ca019597cd18302ba153261f753ba3314121e463a22b2a2c346fb8860b06597e5b059288b0c226d20405b2e77137af1065e493ae5
119282a49759134f0dddb1936a41fd0653083487f227d4defa55f1a0ae45b9ef11fb8c1ee2816d739528de1af3fc737b8fe0b94b3737f08bd37369d061cce2cc21350ab9b90c9b6797622937fd7c741978bca53a37abf62286a3bd4c3faf8053076ca5a716a5d657c81c986a4265c3b8c873dbd89c7f614fdc6f50bb5373689627a049a042631d16a16df0cad335ccf85dd4349acb1f2a35f8381964240476ff1c9369670140543a04aa4740cf8900aef3eec343b8c0465d80f3046f209d77ce03072606289a044d2147c4a89f5caff929b97631a59456add49eee649f35cd9f1cb9af6e849930233e5559e2ce096ba94a9b67190f154e6a3c16f7f1416aeee503922337a76311b1e7c0a3e9a23dac5d75142cec8b7688bc63f39c5e9cca866826a8afce1b3774b08a7f15bced0d007ed70d913d100d70c22421c4d451662e91028605e529e48c812fb059432d272ba447788ee298798063309a2bc5ee735fa82e11ad0d01a9104f232c683853cf85ba73e376e0553d5acb0f077073da391beb29b68cae1ee2fd24e26f2f7eb087cb22a9a2faa093ffae2e00786fb002dc5b90045807b7251acd548c0ec3109b2baf7b462eacaba420e318b8035470290624ac1628caaec359ade75f785b26efb5c8ab8c960823b66471a0088cadc15b9778a719dfe479828dc8c0a89a26848cbdfbe1c073b916d3d53261b6a94b45d0bc00861c8e34e49c5cd1f29358f256d8293c3892cbc977986848d45c75e02a1c9db7bd0778bb172f8ecba966770265f1b9a55b357ee4f25a7d4e9a7f9db1ddbdb6ff902e5616769cbd53355f98431d480b2a2478eb09d0ea152e502426ba0b5023dda00baf70eb1346620559150e92dd9d32361253fb675fefdf376e207e5054d186c317ce42783ae50b84ea2abeffc34b68d34dbca36f3641f703a14c8ba0cba589c7302973ec16050f1d5350cf2431759559a0cf65a31d6a9b56b99e4f5771c62b6325b983680fefcee10de0962e520010ca6202d0ea57c6e3fc7c30c60b8b6ecb26086688b5e2a3b095f1cdbb8c2e925dca307ca7eb56aa4e01d210339277f72a7514c040e8d96923e534da0168fab185fb98505d32c9e02f844d367a0d7d0fb1a72a7e93fdac5bf6e31d71ed13bb2028b82afa104fecff80d8425cb5bcf3ddab19002b684a42d918377bc3c0fe42a0b8f6f8a4eafe3ff75f6e7c2ec98df9a442ef068212b7c6705685f4ec97b2db59da66afff8e69964db5bb15fa4ebb9709734d18e1dcf9e197d6e94e2bac2e0bc1794d3d47f76c9846566c3ef76a38f915addc0d718895ae80d995ed7795bde566d9e72e896339759b06f8b2e304c79a408e513019463493d104e9a254b506481e3fa5518967cd418a6d9ffd43d9c117e2798419c911a2688fd64de00fab48b238b169de87b43c98f50d466c89fddfad866fa3283c7f01bfe7215e0414a7a7c46cafbaafd1e69657fbcf2f9df3abde82b3187d1ff86d03de6813aef6fd54d91f59a29406b5dba8d9349b6608035610fb430c040f4e1cfcf0146ff3f19d1b21c5113494826e8e2d25099806d181b3a887ddadbc0143457076d5564ab3d66b5062f0ab50110492b72f2e3a7aa5560269deec3ebe2536f13fd8cc72137517abe3dfe932f8f14ea1d50e6f26cd4ba2ce129aacd3ed2f12bccb1840d0f91a466db37fcf3cf0f56fbbdd297da04e10644df3d457cb1b0e993cbd3fae9f31182067274ad7942f70fbf2a9c8b6a377ec61202b51a02960012209143d9a371357640b19b25a62ab2efbe60eb4645ba4f25a62907c786ee51927beaa4e5527f8b34ace23ab6745e4073c01eeed335f20219f3a931760856416e1149aa32c0abbac2291cb71877b7c46449d56fd10e58ff8abb9d7fcdf372608508a2e74c275f030c3045191549611bf1ec82261f066dbc7018580c92c129a1bbaee86e69381e8664d8109f9e0190624631594103e812441452274fd21efcf25c73619b7c939ce43efbe2b04b884739195391ea71047d18ee4ceff6f8e64e6176f49421a693bfbb2ebd29aaddc302343a1ea89ebfe9aad16c42e643b3fb66b0074a6bfb7cdafd6503ae5de5b6cb98c46970fe0bf19d547e11a703ff022ee3d2f4a9f95d899020945b0bccbdfcd3cb87f0399805573d3f974b40f26433d6aa6
169a59f2b68aca6da3dc2c2a806f1a2311bdd6e8c63f2353d2c955e00f118a742050580765b0f5b32f7915d99cacce9799e8606d64bb6c8630a3754ba4f9f4e307fa2e544c53d7f6842c9659584442f3930e509e98a854e8eaa76e3121cf6c60121908241fe9e2000225a904629305829b546ae9770f86ede1a9a80d2c1e69ad21cd466ca005551c74c8b21b93d38673aed6f5ef0807b9773309b8f3468eddfd0bfb0ed4ff0af4e869df7624b19e3d9be76f5eaffbfbb33586483a26ae9603bc123c6d3dd87df2f7bef8ab08f60a285784b495e7e40e35b2d6d4c9e6932a55110301777c2ce48c2d749545442eda3f63a915e8ae0d512f33a1664e8fae5e0d920e186303aa609718e8ca7a7e09484ecd29e91217a0820181f9b3c84094c88ea82567b993c23f4fc18f7b77a7876466a0946957260a9f1e0bbb3a5346237fa90820e422495d4ba36e8c9d97cc1332cd13084750bebb4eefe2e6e499b50f3755851424acfd29bd13f72eac5acdd8c24e2edbb94abc38d39e008fc97e1727e4607d0181f49c7027d3e9f1aa4cf13ccb2ae87bac8c216218cfc9539c4eb743b51656270c9475dff850464e830c790bf110a3a6858fa338ba58cfa91853c05b9af5e624fb6a8f1e39073d1390f8b772c60ea3e054d6761107b6f4530396838a28842d00e4db873c707e7b1b6025f95c03cd699f382fac618c2ea44d0fa7fa842cd6e519c2771c6663b1ec4e97ff0344793c395c5e8f52d2c3d8dc89b06076e5d7c08608dd70100f3f1053b5b3edcabe5e0d51dad925987918ef69e0d8819e6ac7a3ac2c640f4bdf400299df576a381662ef83cb82c11b8ac2208479535de740b298b10965b61b6ecb2f75158057808c2c520ebe16fd41a26ddef7cbb304fe1aa2bda1073a3d7cfbe82b01ad7487936d78cf56c0c43a9326296e5412c4eca56683990e0ee0a5b7b7e4d995eca3bb24170e60a2efea34ad18c1bdc9dc1f924d2068bbdc1bddbb317ea1080df5d56c0bc63343f0f97551a64d37041dbb668706dfcc4b222ec2181332659da42255ac97215086c3876311ff1075de260387b7df63ea47a411b894ab194e2a9a054784d01e8a9162076706da7e84d9f2cda714890e5eadbd2ecbe235abbc70dbe9d1da56bbc08ce6af63b0f9ca1f799c69a4f3d288cfb8f92b14e86aef4bf8b7c20cfa4b5a36cb0afe911abcd8a60ce16cc801d844875ca6171310139b93cf295ffb0df14e3a75161ef889fd1b05ce0d7e2436eb752db67c0a3fd9f5b4e78ec143ca154d709e864097040c03a51bcf58f5aaf1a7b79f69f2059c8d4ebf19dd102443897a7442d5c2dd7b84cd287806cad2d0703be2593b342025daebbcca1840c90d4e502063e967651e7beefa09c77eeb749121d6914b6c18fa2093fd01a485f071c98964d9ec75da43b34b8bf7cb0ac623d495d7093bab2983c4120b5cca95adc9469b95b2c27025d617eca58284d9ac0c4886ffdee39009c7b2b8cfa8573d3759cedf40d3c472a98754457913d15cbb5b79d0ab3c52fb1f55c47d6d4e4dd6a8946cedf402a39986d8bda2046d64a052ef1223cc323baa16f67fac509bda0946204236bf06d7a235214fd10ea64f10ceb8b353290b60c31862511186b1d6badc0bf61681174ff7904dbfdaa210784f10cef347dda8d76b0de15d9c92eab4624e743abc3416586de236dc4758538d939c8d63813b36e4da15a8b4dd4e9519901fc59d316677de636f67577d4d1c875490e93025c1f2fb3b2727998f48762a98f8dfd0f0a8bf46b0bbc77dbc052b11320dc668016d1749aa01b859ef581aad886b160593c79535598bcee2f695f6145f6ba6a866795465a81d0c5a53ed30921223812100ce3c00eb70ef4700c3a9443e4d93006867e584111f08285a53c7dc25ed2bedd3b4b81701bb920a975105dc599d4979e778234bda10e10de6a90f58fd53e93d0b3ecf93d2565b3eb3694d04e1a7c943d239b9f0a02fc6e60b73c3155454aa077667625c464e6e1806c731b724d92c4f8fea4c5ad80e434a7894a7b7bf9df5a93352c21a357245839e2a93e90d45b6cfd076b16bf40bde45a75b586b8fca821a05f4eae94ef5e72ed1d8e6d03aec09927e05b6132e2188a4026599c0701546e4c923aead5ef5e41209844b85f88df3638623b176072bde525f94aa29bd4595f4aede72e7aa610992e858fc5a1e3274f5d025f8b7362a79a3cbd5a5a5786bc50d80e03b2690ca6ded72654a23eacbce07f8e19b7f34093e0a4d521babf915178960311bffc12c7de9aa99afbd38d91a739af420e25517679032a30f618b40e1328736641e734ccffd97872fcb36c3533ac4391f61650bdb5f549dbd5168ef794a1b32b4d811b43518aeecb4508dced8e1e0c1976ea91599187ded4ee21413fa851ef9fa0c218d9f2679e7d1104e5face18ee1b79342