{ "private_input" : { "ecdsa" : [], "memory_path" : "/home/dev/zksecurity/stark/stone-prover/e2e_test/fibonacci_memory.json", "pedersen" : [], "range_check" : [], "trace_path" : "/home/dev/zksecurity/stark/stone-prover/e2e_test/fibonacci_trace.json" }, "proof_hex" : "0x92c804e76b6abb4be75fd9ead1681609d73f2769000000000000000000000000057e66749694d0ea9bc5bfeabc833112a9d1521f0000000000000000000000005d173e14fc0cc94377e61f60eb9a11b73281df5700000000000000000000000002b3ae9de822553f33ff591dce03b7f5634f25f945cc45a8382bc27f3334315e0356415cfb5dd954fc588d6b63ab0c1da2c62cf68731dbb2af1c6d51759a2b7b045507a9fab3de62f425ebd19e3afff7f52c85f46015fa92d1b31f3f5e73fb2e06a3c4fbeddbb17a7d97b1a6f7c613ad6b80930d16c99e7189b6f5988aa349fc0246ecb23a32ff1b100ce57a57230007e562bee48b8b527440a5d4ee82ec7c1c0297be2cf2d1972e707942a544a7662cc746711e72425270733cbe6db2e301a6036f230df1cfa111fd03e1a395c1c9899d04aedb702aa27c2203cf833a357fd803f0cf30074913a5582cad6975a9b80e65036eb53863f1fb9bf315fa512b35ee004a3a02cfe28ace327cb166c19e29d461e6cc311a59e83222dfb5b71fd306f1014a3da2935be5d64b5f1aa4ca2943899086671064f59de1c1e055da36ae853903a2da9a5a0c3f2ea07d83cdc8c336c49c54ccafd6bd0204004303257d61472d054177c767ed86ff33807485c5d09548af7603cac79c09aae5b01ac8837c1be8057176829e8de186410caa34366dde7489b65ac625068511e078eef34741219b0055a1ef973530a55fc3fa2ff5e78642088078618d2ebbfcba1c588c2fdc98f700a3f241c76d7ee4840a43dc1e6adbf7a4c160b89cecf7e1141806a3bbc7d1a004549a7c3c7a6f31dd05ac3281e810a5c2ff9b792affb5cfb023e18f065bc89e03f999531d4f25aa7a3ce818a0462a97c38180be7667cebcd269123cb7e7b0ec01e6f0e9a1557263f9f024de9dce716ad2c217adcdde20ea5df813892480bc60074fe287ae87b5e62b976f5d3535cb49aba69264065855c6142cc1f6840d999904c6c05644df1ae7d045e1edd15649f729c04d2a26ad5b5199e5a85b6be1ae9205e0fe72576047a3d6989e20dafba1cfd708e82d23bdf6ad444117e36ae8c7bc02a86c19f9febfbdbc639f58a9fac515b96d7208601da7647925cfe3cafcb1f704b44b931124db832f822b9bab72167051e5ce742202a59d6d0c21fc9fae0e0003ad5ff22c49425e5b000ecf67a9d062cb13dbb6405658e6db73cd5fa9922c5d07de1abfce11db0097321aa947ee2abd36debd6cf1590b40c1b1cda4ce9adda00230b3a1d155dc48bf39f666b551a1ec8dbb1e989d39d49a2d5ddbfcb29872eb06c35556772e5340ad97bbe1e75ca658260a0fe4f64a9f027807e0c90a372ab007c143acb410b18696462ffa1b27124c1ff4366dd0fae4288c4284a9bcd1892804fd77dfe31021033fde194bf9486e22e285c89223740674d84e9f97281f2e4f075eae1ddacf3a178fdb8618a4b0cd5e7ecb313fad850aa55531be600f08d7310463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a0463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a0463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a0463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a0463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a0463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a0463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a0463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a0463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a0463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a0463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a0463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a0463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a0463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a0463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a0463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a0463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e7361a44f37c988eb58960dd6eda0ab512fe084e54a654cf97c2745537266e07cbb90d03972462c6511c4c25410f662cd93dcb220c59e46ff04edc3de5a2d4013f8f952094109b40cd8d8698243c925423e48a2162fb989589973749689de401f6e9e12641aa71f8b07bd3cf1a3dd6c968a8cdde6fd757b15a6fa36dc195f90523b5d4cdc0e8d9e9a85e4365ec25ce36b3b5f246173fa9054bdb1457f97df907d54356ea2fd01b27df577bc4bb216f11f58efa3d29415c19f645f559cab5ef0422173c95902cf05986074cd4828e89167f02debeccf69bab380d87f2f6b813002f7bd0c5f164a7b0fc7ada0c295d584033a9dd0f729ca8a4489d3efcc0482b000495dbdb01e33294bdf758b198331795d0ff8491393fb9d1f391960de8dac603131dfd366b26e774775e236e7aee9e59f11939c9df252749158eab186d8e2e05d4edec10df2ce88233ee19d4693f882e8e9c3e5e249f87ba56f6d0cba15c7b0637f268fc15b0e020ae43f87d1f549ce08b3a4d90b4edb656f2621e99eb158c007b94ce1750e9e449736975164e4aa35b4825c59ca34a423324dd1df00481aa010fd436c216a58b4e9d901a488b18559883ee82125a6cd06d9041e6627145600129f30a7fd62450f6413c57ee90f74a70dea58b2a19b2c38b58ad2b170a3b0b03a152c43858fb7d5c8fc06f0a9a513b4f8151e68a5cce0bb8298fed3a67985401831f53ed61ec4353d271f9524d5d8b4820daca5f1bd817eb0b412920d771960098be150a565f96a0bc5de327cac137b9bea269cc487df11441a4597ddc8dad002fb2dd110ac681c8f30b19ec1b5ca70fc15c7a271b6b74bf1b7197a442e6040655cfe6183ef32b8053f96ba03fc10ea54a52e11b630d5da7a65e68c8a0b62e07eb8970654acafbe988fd705838f2fceb883dd4b33eb88a27fbedd6c503009603d4a2ffdfd31363c1b9000c5558ff8d862d6401a2f5f169546e1268826da371019de1f20476cb71796e77a674429aba93b0cdb54e31327ad978f3306370748c074898c1564b78433e05a19104d228717bfd304c0b1cc04ca56bcc8eac9d2613024480a4ef39e59c34a9c7ec67281d330118eeab2b193c2696f5fcbce68401d606363bcbe0e3b37be21f56847814998810e8fa87394a864d7b3b7ee65cb970fe01736a4c37576e59becd297a9ce62bdb9bcdeae1e1db917f187f35da335b8c800504b222650ac158612396923aacb7ce75e88995fae279b24ab280998edf6fdb044dbd433c03f65cda86f6216a2dd6e4df44986ea606a220d38c9d26f17507b806c58a99f45bc4cce230d9545ab49c45472e418f04377601a5419d5777945aa902c9661614ab2257b3fc91c0bc6a4d3873dfd88d1923a1fc13916c374af4399102d7d0299fefd719233ff98425eace5936c59b1f4fa0cd28ab4d694400e190bb0137c464bf8f01ecfc8e835226ef4d36f868a1140944b49559c017104423f7de003fe26f5fc39921f3df953a968dcd46c57544ea1c54f50caef0d3531620175d010fd436c216a58b4e9d901a488b18559883ee82125a6cd06d9041e662714560054d8d9beca3f9ab4b466be267f31a3d31694e26c9ef0bfe64b77b3fb6d93b6a00531df95b7f8eb6df5242b95c9e4b7fb53b9aebe614cfbac9df18cb99de57ea03fcad2eac1f824d27d068765954de617a2b0db7f6abfbc12e6c16350920d8e1065167f72b96dc990064e3336db1c596365a8e5e9392b53fc2ab9103562ada0406e1c482033619c35846a3c21850c323cc3e1b678a863ef27fd812f8cc650e6f064ba2f969d51b8775783b12e892bb81a3ceb0e73c2c4bb09a386684c3a375160489458bd6956ba65689aad67b33abdd161ba8f18611c1b01b983f4600cef4720626480b283a925b56f5d5f63b51982ad0945d7f9c4a610a2f271ead39f8645f02ed47102b3c3016f7a472074f10970f81698af6b40ac11cf8a98ef6027b4fcd023577397d662146ee69e243a39173bab1a9b5eeb05e4a5901522004c9a590d5022589281f670a228193332e83aea417f8cba79ed6a8993a5e16c6bd5247451c03d98c865aa10197a431f55892758d7306e765fcc1a65992d02eb4f89dce1b460605e69bab34f50de2424d9179d80a2c25404ceaff46145f20f84982e0b8b1e50053059d1e7cece1ff22e099190a5805d2746ea554ae0e784789eb625aed808700970be542a7a4d9130f87fe01f7cd8d38530c728e744793ee45fb47bb0d2eea032a7495b7b87dbc615bf2908980806aabb423768c50db4d39894615efaa57c1056274a1a823e0d1d38d64d91e4ff6a29c7e41db948cbafd90becd3433b9f8ab009b0151205fa344844f5fc9ae02f39ca79872ef79c848843c4efc14d53585e900f74c4056d702b018086ffb1a66b0fdce2ded52d829b89b5c0b525b003c038507b30f182fed0d03169c3a1ed3eda25aaafb9e1b86a8716f6ff687ecc7e998e005770de1dea7496c99e26b32efdad92713b0d15170a11530edd6fb1b9b8c005905c5f1870b848e6c7e74a3123780fa7c6df7da2d16937597cff239ae2b41f7e20287d764b47d3238c4185f286a3314cc7fc2d269b424acd6d5c6a32d2abd74eb03d40ce14853226f361da0e74b682dabdb3019bcd5b3482a6898e727c4453e27054d403ac1c571e8f2f2d31372ed48fe865626b2f8c255d0c92e767ee832f204008a455c0f6436d5fa393b838dd3342ae9fe4c4cbb95b25095a6d07e5b03e5250483a3c04904f6f9ac628e045051ec071354507f9d7dde406eced5d5c75fcc5c0029fd058fae542764e988bbce3808c9478bf33e029d22b7a4052a5dfdadec7600124fbf672eb65ec2eb42bb2fd515b9583ca86a000cd1f329d1fedc6a39b7700078768dcb7c15608e8b778c85f216218c6ae47b08dd3e4bbc8bcf182f9c1c84078c7101ea5a0fc1f19df12cc47b468f20a9dca4e050a02ab7c0055743bb404103a1b8cc2f5b60bc1ea1561730bf44f9b515594bb7468cb960f9e9db6c6294d403015588022b783492d92a63fb2440f91f56f4baffb33c1b401b8a2fe6a664b406fcf35f00f25bca8233ddba1511bfa1a8f1f352e08c52e1af014057a6837f4305555d11ff0fd4cdf2cf0ff7d077cc65899e018117d578156839dc82cb63d031054498e4f45d9e2c5ac5662d3d4403b93b219fbd30a170a0488d79321542a77003a64211f9359dfbd75020d9e5b279d8ebf9d3c8789f0f97164b7216cb95460006ba7711227c6bb3193d6af96bd14cc0ce8a964c48f650f35d27cdd25bd85aef04d4777b84b932f6cedcd2432bd936fd708ed3cd6536f9ab60eb5d9a2bee57940523dcb498d43eab3d11e6d5b2988d46b250fbda2632d9e438eb62557aa6a80404b35692ac9d8ef26d483ddc4f6578aec8b6f344ee74d5e2762d649372db12cd02b2c8294b5cb11c719edc8024f6f31fd6adf23e6e58c5c86e25f6dbe03cc49d05faa846e75f24ce9b9fe420afa9a0cad9165121d78e2c94f58378f879be61c10745753a6710403be2f7ced3afa1480fd8de1b5bbac419a5aa1ec5ad0b1f0f6100c2a3437b4333c275015bd3c59d90c301b75f9ea547cf9c862525a89b2a97cb061ec764e2d351885f0de660d140e6ed9b9192e945da4e671d42f34d638bc2f900293ab5591d031702cccf383b6dd380b8dc3e527a0b1d63d1a99f83348ea4d303a72f40d7de9592988109f324198d3cc369e5d302f077d39431737b97551b9a03b1bd26a1ccab10d243c8b975188cb8611c5a12f5fcd4232c77cc718d67c201066425ab7453ec94257fe3b0964f6c1afce3eb37fd9d360996d64eed0fa2a19f02ac2e4463fcbff5dc756345163c8f27f0f18025d8001402d300d9ddd9346af207efc0cc5bae01535961c8af6be34f0a5752471ab972467b22e3c7a363683525009ca5c4235dbda96e0a6ac37f53a1922af6c61e8a5c317327f5974fd974e05205dd2723b9a25d507a2c564a9d7eb32c4a4c77126a1691752718dcf35b38819205171f8d4080cd53c3af07b3c6827a044c3768d80ada35a73bdbc8cc9c2136e001381a9ab5c05e9c44c7dc3e8b11f072d38e6a12754bcace0d886d721a67cc7d02238edf90ba0c6aad372a2b44a9ad6ec06cc01d704c9986c5bf7b679e75f5b00582522351ec8f014448febcdf99c8661b0081906cb217677bc8852ae54df874943195643bdda37f22d1c80f0734b883ce9e170d000000000000000000000000918f00f92074ff3ddbd39f68e71b8da98f733d5f00000000000000000000000004f57d1c1e7b5e55a4cd22b649f6cd65a2f9e6e09ee62b9bd6865c2d4f2a00fc062261eea414270d3860751c290233f647b5dbe04e7d4c2175b10e1425cc6397022c07622f71270864e435df9730ed436c19b3998998ae2d530a9751de864aca0269b702ea0676c1a939d1e155d366216034902856110efba1d0f8d673746b560017e74e87e71ffad4f68d448437e2e747160a53b072768bab8c0b4d1beab4b701354c00d2693715a7e2958ce79e171c7ddabbacc59701efce468243884053a3003373ca1e5724b45ca78bd91cafe9481b911e95f179ff6546be7452147840ae0484cfc488545b77b81c18fdbb009ab2b15a62026d53f8ce7866f4b6325f3ac7049de8288b71a51875962a463ecb1254c025897782e0a6bcca16d0a2cd56ab7b021a22f5a23ceaa5c7993e89fe0d10aa052848408b1519e83dade80e079e3e6902730aea51cc76a66324a753d72f12c78bf62f3c650d596a1b5ecb8e1b897a91008454b8d5d60ca3d121b17f6c5979f195619726fa291e84047f4c41e71d8ecd07f9dac6059fa53aeb22998ee419357dcc08d9153e7eadfa4da2a9631633b8030745fd22f2c590d571450dcb00f5f1ec929529e2bb7a128cffc275dd3f690b7606275decdc1fa49935cbb26a118602be18118effc4dd501a59f3de5a70d50cda027c465c6d15eed0fd6af597b88fc321e2b7a9b5db3241e7b82a3ded88ad251c0379e95e3344eab646bb5adf72db26087d9b40784c0295ad60552d3ee5936578026493f49832373d915460889849335284c1eedf2bba6a9dde936ef008d15a100030606ed16b2e4269ce670d857625bce68243df67f69128ba29a3540d5f493d03927a0e6df3657c236c8eefb3cea96509ee82d010fce93417b23e60ef040d6b02e8150237614004996f9c9e55f2b9600d838c0760b09f6e0695616a22106e3f07909b13151521d12257d1a2c85af0edc53b25b0790324a5f3c132738105253007e821734dd7da826d5c9841433151fa0cd18d2c80261fd361575e64e1750921066b35d932a86b7b1bc24a8452a230eb1c3c156c0ccc8ab623ebd77d3bc6752804dc5d84cd55ba06236f8ad23fdd5ea29ff69a18cdcbb773534fb6ea8b5a060606f61d574f06011876af7e4ba24c75f065d2bc520af97f9e5e03ef81ff43968f02f30fd1d26b183255f60a53bba3dd3d330f925a3f8cb563d1de658a76000a89043e19f830d7ea5d02f39bec77fa17b2d6822c6616c98d03bd7ea45fcaf9535900e364658b03e1eda53427112be8992a5e116ceef4278ba27a80d22dd626d5c10176df2b2a7afd51dcd490e2c7c840ad8cd06903f7e1a5b9a5aef611a05101bd073bc5bc2e84a779275130c0a009d9ab3e8f1815604f1eea8699fbea6a6c6d1807ab9daf51b368c169d32859bfdbd2ca5372313812d4d99d79e8b35b0df695cb071c10a623e681cce1ef70c15053ea09a82a332a3024d690169fbe18c463e26f02e0bc3011438e2d798a0baadcf6bb1ac3abe8d6895cc9bc7745fbab62fca75a00fb94c28937eb1341eef4a9d560f658e329df8405ac84bb832a5becb78748f2011bf8abd863ee626393e6429a3b0ae00733217ac02ef1ba73d193119fd3535902a06da6be3d1be398c47ebe44814ca652e8ba94436aa96db8e7a9099313fbf60778319ce22e7ea764826babb1e4018b71c0c3eb4363f07385ff59f0c1a12c530254fccab20f7cf1e06191e07203c1f5fe5888a1244cf8d0383da89bd67d58d00748b86bf584c4e348a8e31d13b8160d3acc4af74faca510b5c63911796b590800519748159a6c00eca43324766076ada50f0d8b79095dad8357fb71c8d35f3c00a80939b0a9e30e04a6290d2fec70aac08cd8535b73860e2f0cdf4a7cfebdad06b1b59a937cb05d233f30a0667d79cf1dd98f0cb7fb7743270e281390f8aa22065b58a924a70a30807c1303047d219b23c2cbafd7e960ffb7492392948ed88001d0901686c251a0af6dcb7404ad77a7ace56d374b36caf1f0501ba9a962e7cb04861ff8bf1039ac99b2dbe5324bea4ad9832c24bebc8523d0829c6a9b25d136015d17a937f7200ea1d2b4252c758bf866920b2efa5a3b6486e41e4f402d9bc1068ea050f3c4aabb82698d8b55d93ae3ecdcd28fb7ab9c398ab9bae3cb33cdfe02b34a04aaf82618495df18fe0a1e9cc1ac01073a3b4f6b6198f71fa13149c85078e902a44323c51e78cab72b102f9eac5765732643befae88f6a10779116dca07c8b082eb128b8037ea131227e298a1938c47d421b2221ce8f2255e8d34a21003169ae33de611db753fd28c67eacc38d7b880d29083f7900e86efe81311e149046d8e4b443ce9eeb8f9f45a18957e9ca5b56cd2f9aefa1e79ffe9bc12ffafe80138f9e68dc2848600612dbe1b5100c6c5e2f885c4e76fbe1a5db51dc192b06506d6b8353ab8973123306038137851e521696b952b4cb44034821e2672a7296100b25b570e070e3607a70fdf6891a19c7ff318fb6b94dc5c2982c3b53442831f0103927e3acf8e88e991dbbce2fec58358e264789141db7e869e609157045bdb006912d29864122ea0585509d6a3bcf7baa587af1a2aa56fae923fd6430da657011484275456c190bdf22341a6d3ae598850a054949026c2c261a28b9270e784050eca4f4b86202cd0ac018d86c465079b993477890e1e57bda2ee0cc62d442700834115fcb9b88d51c240909621f49581bf4e6b464bdf82566757a5319d723203eabe9cba9dbfcdb266a47be746ec64709941ffd3df0428188600b87087485e05f19ea5575bf6e3cda6e93ea175f5a6d6bcdc1edbdd61eeab8f08108f59bfb005a76b2176288fd494fecff86501a875d674532e028f9dd10e49060f13ba2f230000000003182f0c07b5200a59222235f145c7faff561a7c66240a1bc2c906e7de7e25bbdbfd848304429c5e7e75eaa8079386b682480450bb2b9a427f09cc948ae32ec552cd92dd06d319023251cef92352a5876a8de8509d850bd3c5d22d3f15ebbb7d788f8aaf0463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000a45174cd3dcc9e6391b66549c0f49c370a97b4199ea3ca94491b63f8cd948c06c357a80eea87683620af76047af0fdca4f7adea78bec6bebbf5105d4dcb9850672aa5cd3ec79be857e949820e9d4745ee3704e7519419db178959416906b5d0711a1bbdbc55734359a87d8b00395ae78ef36fcd54a88819eda1e13c1275b2b0135a649855d5a22efa3db1101265d8ca17b0be2fa5736731316a48d12f9c8b102dd5c4b7801bf022b2e18ea983aea673802a37e20a967068327a7d311153f4d06f58ad35374a0b885d866db16b5ac4b4fce3aae9fb546e29fc3d08c35e69bc90463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002315e14a258da5078178e1dd18389e09dd19b0a36c35d82c5599b06ea733b7100e3c01228b3d1ad2ffdfa3233e882dcb1c63757b23667baf31f997e16f28c3b05792ce2f1eb26d0ae40e5e11d3600e8afa53c0a6ffaf4f62fdcf68b4094ddd8028a9263b33c05459b3041edb2265a426bf9d1d6fc4816fbecb412f555657ce6016b625976664114cd1b0389809d448f75ae3e52446a98720868446f21d0fffd03aa0b9a0837294fef18b1a0c8a5c918a86a6f7543565678297d36ecfa4e8f7007a00587f58b4db33ec652a106f34ab1355d830967475e9fb8f8ec0fc8caff210463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000020dbfc00bc9260a82312db6b5d586eb693437383fb921c2c85237a818efb5701f7782756abbd448af4a5b36ccee04b811758c541be1cf7ef6d38d1bbbe44f70400410fe73762b9d7e2e721ba37aa04cc7b670fa603a9c8d1ee90839dd1db00017f23228ce13c9cdfe6830a93084ccc888540850f5419e5fd4385b7dc9ded4201490819c53e4e24dcb38d5bc2be44e3c22fca8ddd0a4b0591535e4ef83f39340159dc79f2c00bd413943bde0e8e42b4258151c3984096a5c76317e56f69d2520654b626f2890bc0163821a1410ad4ac33da8f36ec481ffbda4cd94f61084c180463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000030bc785687f9bd5f1c7aa3e48bef74cb2290bf62e33622d9fbd0121a12b76d01e5c41d0ac159177b4976a3d4d2af0f564008a6708007b52866d2c78310090804a16fea65d819deabb805476a88150191a645425b8fbe0861f90ddd7cfa743a0324184f25009b96dd6e9858442fb54e0a90e2bff4fd77886ba91c95a3677b2c055a415ed5a24042f80fa3cf49d7f5a27a9b503c5fde4820a18a0ec03ac9973b0234353f0bb21081d258ccd7ed7325efa2fdc5ae848b49a9a5b916be913d1834013217ee2553cdf6ffc55fe6a48efa0787532ba554542f4d0ee8231ade43cdcf0463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000073054f36464b78ef7ee388ad163c4e27ae7da8836d5b4128f703d624f8911ea0727abd767e3ffcce3873f48b19c0c94545b1bd0f1be280c7415fa3eb8a9c86b0550ee6909bf57db902479943cfa619f0dce1088a46362296867cdffb01736b606c1ca453795b9382d0740edc83994ddadc4758062abea4edc89891df2cc524101267b2fdf41d20f3405dedbf065eac682e6f4e7c900e10fdc50b8d651cdbce506f6cf7cc422b1f45ed1371f23eb2237093dd9dd9d696dcde0ae73c20296ad5003d29d8cc3ca3621ebd133f6916a449341ca4d0a8935e34f8ad751d00ec947df0463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000f178414c26b8b799d8a2ee6612a7fd1d95e6af300de9ea1cc2de9cc5bd1be1056d466a24c3ad38b0c5b80bd2345bf1194bfdf9c41db2ce41508358b473c815044f82665121b39a7738a9fa619cb4bcba462fdd3606b838c504b74e851bb9490170bd4c9552bf9c6d2b79e0db486432a35a9a23cc1434e711ab8ffeae9f288f07c9fb99590d1e9320bf8f027d8db72bad1c96eab42cc29077c8364f72a207df07fb53a1a967eaeb213289865575a2af3fea1bdad3089b75fb640f9899f9293e0383e75787cbb1f31f7dee9b9afe05517cc3624726d568ce511e10ca50688c3f0463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000544210c9e771117e26be277e6f79331c8d13107fbeb8c60b9f732ca6e38f19807230b7b25052795ce98da191d8bb5989241ef008156664d12869dbeaabd1a9d04f18456ef2a91ab3bad08e77564497134035355cab76857e9dfa5ae8845aa200307de9a2aedb61a5304bd091e00fa9a49218702398d5da382fe39b638bfac0a04bd776d0ce97aa62da75b762cd202e1cd465b9e0e80feadb5518473eaceff450688592c1e95dbba77e9ce92f0cc73ca7fd58c5464da32ccb2788fe850fa38b2073218ecefdfcc05fa8ca99ae3c9af3738cd3aa7998a234bbd0b87ac98a837400463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000083eb144c6c3ad982768a85552432d4108503e7a19eb6354845b0ac2fed9014046fd22ba6363e7aea462b0ff6b9cfc75d157ce2a70ba58fad9a7507d6715ce20286467e730496000950832e30edccbc541838f90b2693d3e952343baa9291bd03d8a3e99571eb6406230e6afd7a24556dc059449edc42a095c226b41bde84e103388ebe2a581b01e1dc0d6ea78d893f712dfd2e40794fee2105196126f83ab502a218f84ab8a1ecddc6a65fe0cc24b3c8eb555b99ed6873766a9a9da99c650404d6996b8b2d1bcfb46fe8ec0e731b82980ac3d45eddf83a0aa8f92416b339190463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000007a483d4d9ac6a496656fb68396383d05247bab8a73c7626fd8e5b5003767c7b044b8b634203ef9111e499bc92b3f7fa4e01058a11a47033d8f5d708e8f196f606102036980e6baf13c5bb357ffe71fec2e8ad8f99b259ec297f3edc2b587b5f020968e06d1a8eb21d0ff95def812dbecb01b4c43d85ea580c7bc2e6a3e4a27a025839ed14e3fe9da3616473b9b05f81b20af1df4c78522712e4e85c9ef55f6706751387498652deda202287009233e7d85f6823c99fa9ca9e90c25ae33534cf002d7ffeb7ec5ee5ddb9ec1c4aef5fe150f2aae85cdfbe26c2c5414523f58fde0463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000116ed2e7d173c6ea0d32213559e44e81639962b0f1baa96c0dc9c49af174f2d0742bb481e09eeaffd5a29aeb788d462cd27e3b5c52837396c7ce48a6ada2a09005d67b5eafbe86da83c228936cd0923ebe0a4a6918b15eda3e5a12b9a558e73035d591712adf87851fa0276968247c127ae3a40f031e6851646370949f2278606744a1281c7b38fad79b784eff68c39f04fdcf8e40a20eb63acf25971a07eb60776f9106511ad4efd7fdba061c69c0b8512a4dd79ad292bfb2a70219ecc662206be9bc610298c760449abeb9908b34b2c3a6a0c55acd8110fc43fdff5aebaea0463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002fddeff6b0218b12a30d3210b57494decceeed974fab1bebb65e75a8ce21dda01e7a103f0ff6367c42a93cd98080b496e5512561f4cbb164627102dca0eb9060116611e30ca22572685d2f60e6f870526fdf2154e4f119b79eca895256de90507f8df759d7d3bc6240d49e6dd15497ab9dd9e1b6c29bd89320604d61f909faa0565efec0fe55d5bd8c0918b942fa59d7a81c1f25a60d7c1c2b6a907db788a8a0521f74ac4565c5b705157eaaeca2e32422e9fbfb61d3d09361834085417557002557eedaa9ce25765d4d9be04afdc57361840a1358f240802abba8d4d3ad4db0463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000004d1621ad6f13254522f5be3e7aed63ace163345606d318c786881a1942dd7a907fd570d67102fd1c9d58d738278e3e5e2de48a98f329c16e356020e29342a3c00ddb7626026a0832bce53ed58eb773cb4eec223aebbfd90a84176951d71067101319f3be4a171664c92605953e9bee20b3355946f5809070298742454b07b1d06a077793d8916893a8c86bea3437446f3ab2b65469ca961894669acf3cfc76702770be7f3f9aa16027c7b9ecfe6da512666543b13c812ee02f7ec279a74951b04f3bd637b80f6feb90a95c6ba5263b84abdf19c955db14844ca5e6bcda1a4220463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000003ca4bb4ac84aeb01aa7914619540471a16e9b1ae44f4ca8a42fe02287d4c69306e3db3677090a1aaf1b622bed254a97fab4655ed7598b55832243158aa249d4056ed0a1636b9add333da23b0e49f984404d71083cd9618d5a73031d259f512b050a3b853c935b2c903a109614cfb8d76108a05ff6b8e1e8315d7d792442b50e04c5b51b862fc2c6c75722dbecf676f4b42f2f84cc9aaa3e8967edcfb7b589e7023a1c986856867c586286264e039c5990500985ec48126b6e02ec8cbace4a5f035945047db78e85538372a4e9bf23c7accb2bfe7398f825edd7d58b914e945b0463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000026c14ed0ec1b21db5711dbc12f3949b4cfc134251d0823a333c34c9ff2d469b056c45c01a6300e3f10b9cc4304a7899164d1ebe6ea56254926885364c21f6360470bc65e37a615ad7f2e605a291056e48e5c115bac52d73e1f53fd96e94f626024fc0fd3080ecc9959a5daf075dd0ac059d02b977f6d2cbdf8da3492d0498d000fd2168e12fbe6c1449f589145fe7f17d7c93a422e05ef08126a5191259326b06d5644c39d49e587f1bc28ec57bd840a962c531185616f75355118df628d1af02ae1edbb18b20a9f179ccf29dc82f9b06d8e74a80e229b23a0c13e15a724c600463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000065df66b236863d9a9995150157ed3e478133e53de054f07b98a67c2ffe8d5320206fa367d72872925ff0117b7087a3beaef9f5e7207febdf7eed6f05729157102e48561c3344dccb1101bbe006a29b6a5d9740e99d004df5cf2d86bf88a40880505ee4e68bdb6e143ea1aeb5d920aa7c7ba5f2f86d5fd8008355812f3d921ae04ae00d749e988b2dba60289e6099ae9f2ecbc7818bebbad6f3333703a4988cd00995180f9c885b05b4607e4d4a9600432c1c105a26def37f8248e37ac3b44cb0430a41aae95b9efc773b9d926003e82eac32725ec2e4f825215758e5bf039910463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002ffacb10400c32b2005fc0d324a25d0fcc63df829e8f7f5a7a214cda2550c7703dc15c30540112682a35ac74c6e0a707268d9a8199e24458c026321c4146ee103c0de0bfd8d074ee3a5e45e8c5b84abd2bbb206adf35507d637eb4c9777a088031a81a9baef2683034892338965fb1ed965f010e304b08e668b779bcfe6fb310510759bbbcdd1ad74983b4c745ad41705aa0d873297f581cf4f0b8c5b00ab1e06606bd480d4ce9b9f61f2ff196f5e94ea2ace529890c2a4b58cbe4b3631666d029a036df908c58607c934cb04a30a5b59911f166841ec4585844c884bf65b590463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000006f154d5322552466a9a6482bb68d1a873bc4b30df0817d2931d7881ee387849043a0b43a4aa0eff573e6b7ca6d44071a46fe5aded4fde43134055bd442c3f170281d5ce24167dbfa41a0c4534c3a6a36d744ffea7baaf9a2ddd9e44b7f6de7d0722b5b8dbc482baa03e5986f18f818ae25db44d9771e406156c5d606635d0fa00fb7d4212cb8257b8c0afedd88c72077785c950a34604e922f5de861a0f57bc027c3605dec60418e0aa2e35acc8f7450ebcf950ef687d378b6fc809fa85440104c9395d6c5ee9dfbefd4c86b5b3b81b1c231016aef70e4ecd701d8d7c4501ae0463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb00000000000000000000000000000000000000000000000000000000000000000463d1e72d2ebf3416c727d5f24b5dc16b69f758cd49de911ad69b41a9ba0b3a01211aac6ce572de4298f85b038ef6a8aeae324054290152c5c9927f66d85eeb000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000106abb9f5332ff13db545e3307518237f824021c62c98f85539af303a807b180029d8c8220068a0c95fa3e0cb6297cda2d323a3f8476d228f375df81fac6a4801fe37d3d69fd4a0c1284bdc206cdc2306f644237d425759b098ebc0f68faae2044d22c025fb9b3daf1133b4f08adfae302781bccc40627fc48cde50136ddc3afaa8a3f726785e83029e7e080432652719ea95c300000000000000000000000021797c22dc7e3308d5bb92738ae3f8c48e4e3e3600000000000000000000000030a5a65dcf12e959e1678991bbcb0bd3c51588ed000000000000000000000000afe470f2496f88fee1e50f43a3af0b1292724e5d000000000000000000000000b89acb6ce5bbec9b1d23e74a104193ac50abeb6f000000000000000000000000b5beefd5cba272f31114095365c6744e5a9ea82c0000000000000000000000007ba8e10cd7dd9e7192bb132fa90aa657cd40da4a000000000000000000000000ea7d94e890991835175ef0cd752aae215aa966b8000000000000000000000000cda44357602c6f67a808e3c651f761575d32ac18000000000000000000000000e30c3852df80afb54ac0ea4607a06522537658a7000000000000000000000000db0be141182245123952b19168305984909fdca10000000000000000000000009178c6cb7767856e9a882c506b19aa9dd7fc7ffa000000000000000000000000b4278970dcee922b9c7a09b73a13513bef40e0f2000000000000000000000000e5a48bfaa6cfd9f4db46aba44ceae4774f83f3460000000000000000000000001e5199694cc7df0361b5f0fac8a02d9afdb8b955000000000000000000000000f94ee475fd783f67631da6e7b06710351924611c0000000000000000000000008be5b5378da7c389303214ef208d5721cdbf89ac0000000000000000000000009203de46d1d7b789e30bec3120ed7702dbcccca60000000000000000000000003083b3c287e398f19ebff689c09e5eb74b88922a0000000000000000000000005b39e90a37f986754475e848947f9231c069f69f0000000000000000000000002d0166f2f4ccaafa9b0c79fe929d9596794f410b000000000000000000000000b1a78755a27fc3c695d422649b6a49c4942f27c200000000000000000000000010f5fbcb5ac6022458092e619476a1bdc7cd25af00000000000000000000000012bf773c040ea2921fec0db107a4ee162986c77d00000000000000000000000031d275b41faec6f4bf5991261463b55cc7a716f8000000000000000000000000077256fc1ffb61c8200fe14dd24688453c7570410000000000000000000000008eed55b60f6530b6c7916d0cc338c14d4c051a8100000000000000000000000092edc72907d5e30f1ceb134f5f6798209432cac40000000000000000000000005b3139a60c7a32d4c9364399e7797695b707044d000000000000000000000000494b85cf3a34a3236bcc8428dae8ede6864edb3a000000000000000000000000982fc8f7a77543e5e7a7dfedae2127357d50afab00000000000000000000000059fcabace99f54c7faa9b542522eaac688dfbc550000000000000000000000001408b798e6a76ab867810d4585bab7dbd35b34a6000000000000000000000000651c2d4a44fda1d759781fd1d656042f64afaa010000000000000000000000007ad583c819ec9abd6e400addf89e1b3e9ab00d8f000000000000000000000000a1fe0b2d28243b39790d1ecc385c132ea4282464000000000000000000000000fbd968bc6200517c53d3626f8ee67b1a6c85d3730000000000000000000000005fe87e36a9536054e4f9f3460a88f113007cc2a40000000000000000000000009a1a75de9570ef186fc0c748ec386a5715b102ae000000000000000000000000e2fd603d5af16ea809240b126e2aae75498790690000000000000000000000008da40f47b29cc10c1870c795ae3110825a1735eb0000000000000000000000000adc27009b8f0e00a0377ea6f4bce9b80c82ff01000000000000000000000000938e213ccfbccfff8fc50d9215f78c746f04db1d000000000000000000000000b15765afa0aba428faa05ba25f2e39b4b6fbe3b90000000000000000000000006b09df6e7073d2fb4ebbcc59be0d73c972391e80000000000000000000000000358d3c27d785498fc5330d6f4299a4aca14c2ff7000000000000000000000000a0141900044f3f0facfb2e548878f91daa41b428000000000000000000000000e38ff9fed72017bc6b509387fcc6678c0c23da48000000000000000000000000fca6416aa92fb1650232866f4dbc965394be45f7000000000000000000000000b403cbf3af121dc5fa64d86ce9ea3ae17afa018d000000000000000000000000c04a107963faa9eb2599d376a8b24a4fa0e54f72000000000000000000000000c52fb6fc1acb6b6bfaf71a74da199b242da48994000000000000000000000000ea7e602a49bc8ba7e20b5ba31dae05843eabcfa0000000000000000000000000a3570c11bc237a431c0312e18584e6329a404431000000000000000000000000f1281e590d58e01fdb23b421f8892ceb6cfb9f98000000000000000000000000bfb0b8c874530bc9afc189d5689e96444dcae2f50000000000000000000000005d5738ec8314a856c4875eafeebdc3b4fb3aa3af0000000000000000000000002a1fa33a9b7ca452ba9c8a1fe42234fd1adf7fd300000000000000000000000078096a5c4ccd0244b2e93e417d895ae4bb025e4e000000000000000000000000851139581643f214e4d88e3e5c2b15fb0eb86022000000000000000000000000be9a175eb801f372cacb87f63a3a02df353a5f0700000000000000000000000019df69c12f60cbb28be6dc1aa1aee4de7eceb50c00000000000000000000000095060dc13f3f87250b88815880d375ff42c67a1c0000000000000000000000004d4e1389d912f93bae547ffda288cef99d6554e4000000000000000000000000910ed5bf8b2ec2909d6ca693834a8dcbf7373da2000000000000000000000000708a5255969a29e9a44d06b156f4c49295399973000000000000000000000000beae7c1df684ea6181a88bfaf3a6b7c57a7ea4ed000000000000000000000000d3543b5dc905d013e99bf46ce0bfb2d6208a8127000000000000000000000000ab7dfbf67ead617a2628612fbf82790bdf6af82f0000000000000000000000007a0c8e7b1f0281c5ec8873d7587092649815194b00000000000000000000000009efe95ace4e67ba81386cc527b29bec69020beb000000000000000000000000a95e3ef72f0b1a00b2c72baeedc5ce5e81e990e2000000000000000000000000b111c040e47b72c37fa0ec0c63596be72c8e57ee000000000000000000000000672895959dc6e9150229f2420485bdbb934aa9e40000000000000000000000000e31cfe23667b3b63273728cded21cc7427c6f76000000000000000000000000a022ebaeaabfaa8cc473bdd7229b6f07d0325c3a000000000000000000000000338e22e562a4e7c9b0a15b8ac7fa55a34b80b7e8000000000000000000000000a757a1069a1e4a6962d2b7c227548901ed69cb04000000000000000000000000acb2d560b0b00ce5d51e8f8c8723a571739bf17600000000000000000000000080d3aa50245fe82a617183b4ad3a94b2842322250000000000000000000000007db910e324dbb2730b5f8eb5c2e344538846fa47000000000000000000000000d8e71678d0bf65f8b1a65d6d4b22bb5a8d3fdf780000000000000000000000002380509315ed5abe48d22187732d7b593567e60e0000000000000000000000007013fcc5ee0d1ebce5ab96f24f86a362367df90300000000000000000000000086b2c6a033ca4a2659b71757ce402abf07bc471000000000000000000000000098584b0cb2ce324b313c5a896ee2e6f884df21f2000000000000000000000000f3d6b3d8ec1e648410e75d393a8be15c6d0df0ac000000000000000000000000fdd989b50844555c0d0ec2099a1ced09b7c7b66f000000000000000000000000e2deb88d92d148df06e6c9dba1bc4334f618bf67000000000000000000000000c366b9d3aab72c41a39692dc7dc3fbfeadeb5f25000000000000000000000000ebe881561b09ef01045954cc741d22b112bb40e10000000000000000000000008de2f470c608930b749ab46872d36738ec27623c0000000000000000000000009fa86f870ca9eba9f84445f3197c0faffd55875e000000000000000000000000b7e5597cdf1b75b39ef4b9acc14be7d725b14866000000000000000000000000366487c6b0776196a2a82304552c79a122c986e6000000000000000000000000603afea7b7e4e3c20106e6678586159fc38388df0000000000000000000000006297b320f708801e39bbdbe60d5df5cc0e011f79000000000000000000000000398cda8dc12f20ef16300eac8fe396283a315260000000000000000000000000175031f2875d30f42a387d8476269396bf90630000000000000000000000000046fb320020d51c4b4a52f7244c3cdd7178b75ec0000000000000000000000000e548cd31f535de90b6a99f3350c249892f8a368f000000000000000000000000a4f2102e1f7940c6572e7e240df623e7a7a919c6000000000000000000000000e7fdbf3fcf7809ddada76e2d9d31b1a9e7277b060000000000000000000000002669d361cdae0b8dac7fe6150b3c53bdd1fe381000000000000000000000000003eb650c018d43fa2096189bd06796abc12c1e0f000000000000000000000000aa6dbf7b98c8674c3970215d4e8f884c43e07b3b0000000000000000000000009e04874e813965b042772b54d2610f7a287a247e0000000000000000000000002a17bfeb58cfb1da569eb6d7a19b6ca347c6bb85000000000000000000000000be212609ef6bec98f25db2ff69c87e0e5115a311000000000000000000000000ca5c3dec80e79329723d3ef182450c697b9beb8a000000000000000000000000ae023beb7f82d283434aaee7d01c92a83bade969000000000000000000000000e1614c96b60209533223d68f9829898460338699000000000000000000000000d32e86e3ef915480b47f63d20901f24aa74affec0000000000000000000000000a6c33db2a69ee2bb8f1d966fdb609e98d9b1127000000000000000000000000130096dcd2cdc5453b81bc430679027020d773e50000000000000000000000006b78fdef1398915aef07429b7253926e7e8d5203000000000000000000000000e10189bf147a487e0bf4290a290e007965715b07000000000000000000000000b6ccfa13ebec6a9d54ff45869948aa8471f0d07900000000000000000000000087fd028a7eb67e3fb7fa07cc3f0e4a019a606dcf000000000000000000000000fb8b6613fe8ab9622a82bc8edda36ee41a129c36000000000000000000000000087f5a2e8798a444d788552301ac5999fcb9fb1f000000000000000000000000dd38d1935b472ee691f0648967d4a158466c2cb30000000000000000000000008985c025c1a5a95e3c632a401af129ca68c9b979000000000000000000000000a84a6367a7dd3088f04e7107295e9b1d8c1b6773000000000000000000000000b897a9a5211b91470beaca2c83d90a7702661a04000000000000000000000000770bc7555f603d1b564171107880486af575767f000000000000000000000000ad5c0ce965dbde1e7b3929f953bce2b2e51c19a60000000000000000000000005892ebdb9d98a3ec14384c870f46d0a82d38d7350000000000000000000000001ed75ef983c127c4d230c7d2bf12d20b8a0c212b000000000000000000000000e86b01a6b4879ed7bda2622d6cd7d26f7f2cd18f00000000000000000000000070b17221cc982abcb1456bad3786e8b6782e60730000000000000000000000000423326e0a627fb7155644d4a76a8ccd9ef26af60000000000000000000000002d6effd7bc7135f9c82ac2e39286814b8c07b92c000000000000000000000000ea2013cad61c5bd68652550ec65ae2879116755d0000000000000000000000004bc2e540c5e77d2b9dd46a9f47d2315abfee4711000000000000000000000000cd452bb4a336472048fafe062589ba7edbbdd622000000000000000000000000c515712cd18905c3ea84939d5ea7ed8a90900eee000000000000000000000000ef962c8a070575de548ce4fb9dc21ac69a167f01000000000000000000000000925923118af46534061fb3ec121c940f055528b200000000000000000000000076dde713a1b7d8ce9c276b13f38e35c492f2253100000000000000000000000058459cb75557709c8ca5c293baa1a068193f00b2000000000000000000000000e9c5fdbb09ec39b1a39d6580aa9a0d0977a80010000000000000000000000000353fa22d3e745e735d78f38b5f19ade5381cd377000000000000000000000000116a46f57dce4541764474aaa70d0c841d02e2dc0000000000000000000000000148e434f7fd299e5e88a8ca6f8867ea93971be40000000000000000000000008bc770305b8eb122308a8550f1b072f5f0ffcba40000000000000000000000009dd5a2ce050b9e426f7dfe06fc4261784b537c1c0000000000000000000000004523e83641bc4accfad55571bc980f621bbaa7ed000000000000000000000000ea5b268f18d504eb40a61d31b91be64cdabf8dca0000000000000000000000007dfd8bd8eacfe2c8a1e11dc326968d36142e3fbe00000000000000000000000053e3987072ad3a3231917bd2702daa9a2afaca51000000000000000000000000ffc905fb6fe6af6a7b6b9b93bfcd8afc8274b5d1000000000000000000000000683fc2058b0144dc4b1114287ecdb2d49736bf28000000000000000000000000dcc2fd4cf59d64cb479b5759e6f9d4e641c8a4be000000000000000000000000fb481f0e2cb048018d24da8684919aebb86618e7000000000000000000000000f06ddc00daeee3df342948d5920c6e1954f3d5c60000000000000000000000001718e9cbb7d6b9f3cec977f2da736481b4cfd91e00000000000000000000000021c94d371fb39f10d12cee6d54bdabee1208b13f000000000000000000000000bd324eaa855e58d56d18e73d2945b57f2bb9a78e0000000000000000000000004a589ecdf045a9c54d59de8cdbd6ac2df2c3c8a2000000000000000000000000f347174174769b4f1f1ff23bac9381161d0d122f00000000000000000000000014c201cf61f50ef626c35223ba6e31a5d7373ed3000000000000000000000000fbdf76b85cf17b72b9ddb1655760b3ef3752119a0000000000000000000000005aa959c116e8cb6809a446c69fb6a0d42f1cfdfe0000000000000000000000008afe475bec90467cb048aac57e758ccad1f38f1a000000000000000000000000c46a5268301060867cb0a0077cd76be0934a8f37000000000000000000000000d8276c4cfa4abcbe6f9a9a19ee431f5d7da097970000000000000000000000009a76fd17e53c3990d2e5ea279220a188effeb035000000000000000000000000b0d3a5ada158da6ae8568c831432a57d7d856b5300000000000000000000000088632db449c85073d4ba8b2374d5fe3ab68ff37500000000000000000000000021f78a2e9701f02c51f6e03df287d1ebfebd50b7000000000000000000000000a16d2da8f31dfb178133f70c67bbd39f4ee16aa6000000000000000000000000a6807fcf33618e0bd95f7061576a2e6c2abc46b8000000000000000000000000ad01a22367b4dd3f6525119a937eeb238e0fd60f0000000000000000000000001866c7990ce267f0d4a9c181755ca2d17b066f7c000000000000000000000000e39d2b57c49a0c9e59ad03218cb6a5ef515b26950000000000000000000000004ce4c2f833a56a21bffda5cafdb557de4d5eb1ea000000000000000000000000449c2424f0c0f22a29fc8c623e99afc3310a10620000000000000000000000007784eb28db3f71670d54fea65f0ede246c537f530000000000000000000000004769b5a63c2ad445e2edd5484fbe44e8e58307f9000000000000000000000000aa5b666c38741806d48cdf2577541b5e4a6951df000000000000000000000000c8f64a4637781adfc52d4bbd7f5d835dece1a2980000000000000000000000000b450a76dd13d22743ac90d1769de6b73fd67bde000000000000000000000000bf2c9e09774b06aa24b455e430e26486bbd6aecc000000000000000000000000219225e909c56cc5f9b55959dd572b6e0a8b7005000000000000000000000000d8152289f5311d5a93a36c1abd8b7262f2c30bd2000000000000000000000000ff07a112b8d393a65adcc295d8d64b7339445c47000000000000000000000000c21c5ef6036778b874565f336f5c9785583955000000000000000000000000000fac84ae0fb2f5f49e0225df6b183d0070dd39250000000000000000000000006b277cc63de00defea7a5367538aca6dc06d57df0000000000000000000000000648f18d7bf6d93c51606de02be07f4b853bc36c000000000000000000000000f0dce982f70a29d76200c7dd7911eea3f031aba40000000000000000000000008899d7bee42684d42a65341bd4120c4b01ce66c0000000000000000000000000624e92d04a5b81f81f2b8adb5e3f9a343172d88c000000000000000000000000d5a6c4dee3283e7b6804b6c7ccce458e7ea05de0000000000000000000000000f41dcb879535e8a817f7861a4540790c2ebc378500000000000000000000000069f7fa674ade27ed10f3d1240b6607bc29e1606c000000000000000000000000072c54d359fd1e396cb4e8c159ab35bb9396a49a0000000000000000000000004aba454946617b9b738994f17377a695db6e81bf0000000000000000000000002d4ed3526887e4d52dc56498b618150b8c817cb10000000000000000000000002f4c8b3723d46343867a9b781b76ec572c0a3b0f00000000000000000000000074eebf826e86b388313a10a6dc6980ef65d9d3ac00000000000000000000000019e24296bb20ddb72acbf51d0fa2b24e774f8fc50000000000000000000000006f6445ca1b35056c5cdcc05f9d3a8c4c7890139b000000000000000000000000b5a61facba2e6ee4058b933a54656c2c175af2500000000000000000000000000206d4ea0e6b6dca58b18227c7bf3e85df42d162964b0cb8dd88877f7a09c05f04277a579c2c9cdb1fe788e8069fe49bc6ef6cb772ae039c6f7363773914a00c0747d1251574c5385cbb8028c908cb55487c1e07ed703f989b711d81575b967b03d39b6baf0ce24897bf3368cd54fb43b7e8d151d6a624c08cbbacb25f75db9e0347827b94f5db6001c03136717feb724ed264b44baf94283edd1f64c92e1a5502e86bbcf15542315d254e427659361941c7803aebaca778594c5c09b6a446260765f8674138106e264733c4732cd3a3e6fea944f22bb45f8cabd267de127edd006ca0057c07a3eeb56ecc49b95bfd6405d6774765739a06d7927d0277a1026600a280f0b7edef9aeab9a7e28ef05fe28302eb7037b853198bc9beaaa225496106dcfd046b319a7f6d85c23f4b31294553079093fd11918381dee577242709f607f9e242284fa426eb7944e6e80f17b1049d5705b88a2417c3f07bb2095c5bac064347bdfc40e2bfed3863e381f3f1049a5e1a82b56cf70a19b7ed63030de2490149ef987e9403f7c4de27915dba4dbdfb92f2b6f12aa41377e160d16a966725037045265dc697f53e720674689d877a7756f50ef6ef2776da81a65944d989420002e42a76f8de584b4fb759eb78f30859521626087f69909510798c7d764670019af27b419799747c2cf6218a70dab5fa4500a15c93701b84c1838bd1c9ece007fd4e04a9938f65d7a63095b37f65e7f1ef97223d1fd038449ca14e1f2fd9d505f990dc5d6388ec6f93df805757e0dc41340cb867d9dde5dead703c0d3ce7a600d3e86109399367bf75dfa297445b364174dd0b389fe79fc3c7c34b6fbc6e5304f6c94618cc2056122ae42897efa419a982a438d3d32d9ae14f398e945ccc97060b1ebd7ffcaec9b878a9a43521f5f243f46610d8b06daf9bac32f72641ffce04bc575af872b69974575c74e6a4ec47b103ca5f32a8727b4ec79c5a7d0bc7c801591927f3ef8396572a8a3f7b78ac0e5c124471f2e56e26e66d9d31b82d7156064212a284fd52a7266659f9352069a38b1372320685ac2d0c1ba2e97e97f07b07b638f8daf1f460b6681f069888f5203eccef3f10fee6d539cd23144b022315045dff18bedba45eb0d5bcf169caf941ac9bff3608aabcb0a779414dc262c0fc07dfa22ef5be9c1b2fd862220285de7cd8cb37e904b79c7528e0679c450f623607a77387af8d50244d2b0cee91580fe4fcf9b5f7c844de47f8d4147aa208f206065573c8aa1e964ba0a2991e685b59b27f292b8833d2f4d2ec38d71232e7b1a4004a6b1d2f52c5036e6d66dbebc7cd5bd70e1fdfd874f7b742d403f50274edd70007b0c1c56a878867dd882df3f096dff19aa8042379a63ba839bb1af2a8960e01ba779ec8254d3cd254818079963fe6fb40a3c6a49d50378a9d2dcae78000c207b2781c500ef513b6d93d6e2290bc85cc27b7a1c9d316660fa18f761407207e03affd23201384c2d05ee450c9de2e6e859c0104ba6729d66c69c4fefc039a7e07286587b299c7a1f692ddef5bad9efd01e5b9ad66b9411919f18765af92595202c222a12a691282e74bb769a15eb60340e3a5e54d991d84482deaf0135ffdb42adc87a3e1d654a8db0ca5ee2b274439cd21a864000000000000000000000000c5acfee3c97c25df7338007066f6d64a417cb80300000000000000000000000044e068d384bd4f3908339122a5ef6b7802a52f8500000000000000000000000024a247d93fd35c0cabd89692a85011981a075fa6000000000000000000000000d11e61b2d23ede3d8b2833466c37755867ee9c88000000000000000000000000819832a6cbe05e8aa791b618956b159cc629cfee0000000000000000000000005b72933f11912b80f7fde7f8cd6cafca0e2cbae0000000000000000000000000e252832142da063a98f8d0125373138a5e31a3ea000000000000000000000000faf3bd4aa3c2a312e471cd19edc62f800b5bb001000000000000000000000000ee731dee3f910b31d0ed94f7741fd5af2bb1b91a000000000000000000000000889b0f76499af1b0124a22f7b0d3c13143bb9a3d00000000000000000000000056b0c993c680e643699727326f9240f38cd5a5af0000000000000000000000004f8a24212681a332b40d4e44ac2c01356cce8a45000000000000000000000000006d976fc0890003b30669f99570ae50a5d4109700000000000000000000000060ae2994551b182204f2474d78399e32d062c73d000000000000000000000000c2239e54393c6d49c5e6c5ffb3906d84a4703b18000000000000000000000000e2da5c521d71b4de89d208e7a91fd020c1d8a048000000000000000000000000ef22334e310d9640f41ce0b946d86fe320ad5363000000000000000000000000435c1e5af252b4594876332a2a4e4ffd170da55e000000000000000000000000dd6228bd1d107fb06a6009899aed822dbf65568a000000000000000000000000dae4ea6b219b0227db382f2ceaa50cc61fa7a69c000000000000000000000000710a10e070926eac3e5be74041a7cc35d80d7931000000000000000000000000c310e4a4aa37bf33cd965cb825cececdbe6963ba000000000000000000000000f162b100f02350266a5b913578e9a4e2d73da399000000000000000000000000d5466f512e71baceb981d587ec59d453c4324099000000000000000000000000a2f512c5f5d852ea84120e3432f92f40dbbdc87d000000000000000000000000f013be4e358dac9c5c46433c5c46864957864b99000000000000000000000000f9e282af860331d24da12f6f4c91e4190b02da06000000000000000000000000002fa4f204735ba32ad95b58efd90be62d07b38800000000000000000000000076e40294ba76ca1e843932b8ba0187255e7c91ac00000000000000000000000000e401bde130ad4d3c7791b61195e98752a5215200000000000000000000000026f788659ac106a5e35c59cd55e52e6f28f5acc90000000000000000000000005614dad7baa8f96c9bd110dfc1d86e3b3e25e072000000000000000000000000abbce368487fcfbee0a781fa4ddf2c8d97bce305000000000000000000000000767acd1dded86039aeeac66d7b971d2ccb6d8f3a0000000000000000000000001c26a93a22431c435892a5b2d55af8c9f0b11d8e0000000000000000000000006f7df88d671aa913aa2a35c8241f33ed666847a7000000000000000000000000fee847c2c4dcd2d6af7a46d60e819de6a48585a6000000000000000000000000f737179400f52924e7db1ce3508bb06c2d40e8c00000000000000000000000001448cbd2457d6c0c11b5f8c246d784c3792a75140000000000000000000000003a7573b196205ff9e3ed9e848801561bbb7244c60000000000000000000000002bc201c470450d1efd5616f2bc17d533480a07a8000000000000000000000000ba1038a0a16d71e6626d5e510e2d36fb31878461000000000000000000000000d3911eba8194dda1d9b5950029bf7f9d79eab1f50000000000000000000000004e734cc6505420cc71661a3c7b81e9c1acb60efe000000000000000000000000bb1993c2675faaef923f84c18cc45a62233c8153000000000000000000000000f320e37642be6f46859c0809b6e8ecef91e6eb3f0000000000000000000000005fdb181aef2e376fa0daf0e2d1920aea92efb3370000000000000000000000003576a22658017a6115f4ad5762c89acb5838787200000000000000000000000077bbe6caafc34d99c46e478faca2124efbd5c3ee0000000000000000000000002e507e3693c192d8560fc2983c0c8ee516709823000000000000000000000000e577ecee3f0ecf846885e746ebcd454684e374540000000000000000000000006ca655c1b4c7877ca291e2f9476c04838bb5f78b000000000000000000000000de1f95cb9ccc5fd6f8eeff8b7e682550e566ab470000000000000000000000007e430f7400cc74f03922bc6f48b978b356402a7b00000000000000000000000039bd000fc5c3c8c170437b38c5a156e11a3def250000000000000000000000005e0c0937977f281228807cc66225b8dc222f656a00000000000000000000000085b43fd8057ac61368785b96fd2942d622c0201e00000000000000000000000079d8294a15a1c758baecc1388035fed37e9447b9000000000000000000000000a4279b88559c232a3b83bc02125e3133607142260000000000000000000000003c4a6d75d5e4e177cb7e137a3d3618db923b0cc10000000000000000000000008bab4f613ea97907f9fc096b4dd85ccc92a4430d000000000000000000000000c179e6892b7f3db62b5f7b5338254cf2eab7d5830000000000000000000000003c3905425de9e1023d506c9ad9d005c26c0550be000000000000000000000000513659594120a4410210a4232fc2c2c5371a97190000000000000000000000008e1d356d9752c50c38ca7f2343e5952e6424811b00000000000000000000000063d2f89f2f580b05043a7a0519b60825e0c81b320000000000000000000000004936e36d0c55ba46f36df43c52953d50d6bd43f100000000000000000000000025ea5391f2699ffd4850612538f3d669b65bb01e000000000000000000000000135f1802de7e7a64a66c1d523ef1b15d0463bd22000000000000000000000000f9bb01acd5378ff90b27af545e88ea9b875c8c2400000000000000000000000032696da8d39d46efaa714409cfca612c5cdf38e2000000000000000000000000386d54d3076750e733db0a8c3a6ad37c9f20658100000000000000000000000020583c1a10764768076ae6c4175ab3504af312780000000000000000000000000419b94ee120e0494d2f4d3c4e687c620c0708d900000000000000000000000075d33458b24bff7f2f99fc149b8bc5a24c46c5e6000000000000000000000000bb75c7b4b459f0b69318697195215e007d45dffe000000000000000000000000b42f553af0cbb0ae59824aa70235b810b0270e4f000000000000000000000000df4afeb1e70251f5916b5db42ef76ee016ada18c0000000000000000000000007750adc9a165024df4ae401b0f6b997ada29f66d0000000000000000000000001524ff2f5abc62a3a2d575caf7849d42b43dd9110000000000000000000000006bdc35839c66cc7cd0f3c88b8082792abd6b1d9c000000000000000000000000e2f3694731ddaa7c3d7b7024746464429b8a5191000000000000000000000000decae174658b8498ce7d89e47cfe72944bb5c12400000000000000000000000085fc0148f16aa97f321779f049aa8dccbb59726f000000000000000000000000fe57c3265afe1a1c96521f1a9dc8c15f1e0bb81e000000000000000000000000ad4b2325b4e8236654b99d13f2745adaca1f63e10000000000000000000000008fff78a4b429b5c634811325a48e77659493c65b0000000000000000000000006630cc57e019850cedd1219c6d517d6dea1871550000000000000000000000002d6bd6e74c89732dca83163a1b7c36e59f03a942000000000000000000000000e3f27504339db021115dae799138699755f0ca1c0000000000000000000000005779a3569cb7f30d443d55aadb151f56ed10d09a000000000000000000000000840f3ef3ffda6c3ce08253bc6d659404a5d2570300000000000000000000000040e6c911768eb0bf0925225f2c0b3f42fa594bf10000000000000000000000001687a46a44705702beac0fe4a551c48b6738c9820000000000000000000000006fdaa6b9931910daa1fe3bf1350b59d7077a68ff0000000000000000000000007aa00089e08062554384fb1f32cacbc46a894aaa000000000000000000000000b4d90a498506ce054bea86816cefca9bde33fe250000000000000000000000009af7c31c0b42939fbde831b23603e0d533ec258a0000000000000000000000000e00271bd111a9c790973e7786d9abaf7a3332d70000000000000000000000009f67227a7e6caf4377b31ad45144dee52bf2d8950000000000000000000000006e5ccc25ae2b76a494a6ba6056e9f521485fcc0b0000000000000000000000002707d3bfd744696c2f527fb1632fee61ae517a1c000000000000000000000000116f464c34a3b9870c6f67e213de0c5fe5351cdb0000000000000000000000006405f87584cad18e5b0d3fe5d413c95565f9428b000000000000000000000000659d27c3bb226fc332b81ccd200d2e4d62958579000000000000000000000000fb8a8929f3da176544360802d350b94459af1f4e0000000000000000000000002ec6216fa0a95685571041a4f456dd750943ccf100000000000000000000000006efcf049a7642854bc9d4263afa0c8b9e7eef4f000000000000000000000000f797e3b08336a615ed0dcf85377c1b86c76312d7000000000000000000000000d92148ee081f8aa3d6bad565c3fe6d0f4c6a274e0000000000000000000000007270336a564d131f05078a39dd8f7f561f3d1f79000000000000000000000000694be848647dab7ec9c1fd39dd96fd87ea1b9645000000000000000000000000d9004215395e22828ccf4b8147b17655e95463290000000000000000000000009bad5720e3aa0d10c33c97b07c57b54db55aecb200000000000000000000000011a50926ba7c9a6f30275b11c374c86866efc3ed0000000000000000000000009f6b546f1155628dff21bf27479c6e10a402823b000000000000000000000000bd59aa9cfd79f405f4436b540770903fb8a4794a000000000000000000000000177964faa82a9e3977f58b2f18d00555d699e05000000000000000000000000027b7867339f52ab15d4aaf44aab56557fb58c98400000000000000000000000055e941208a706de6296001ad8f35926b20507c30000000000000000000000000ad5e718882920abf25e9d46b99639632126c815600000000000000000000000094c6d59f93e3e6107e737412e0d80514589639ab0000000000000000000000006ead47e0f7f7ceca21304391e165a90725ac3f9d000000000000000000000000869af85139d886e7579e1ac6f1ff519ce8fb9dbb0000000000000000000000002f60c9b3261c017bc2261e23161f1a01f5d155bb000000000000000000000000980a475d0d02ea1aa0bcebce9a15943cec03f0ef000000000000000000000000a2d0df12012dfb1ec3c49d8ea9df4d7d8e1611400000000000000000000000008d397818a3fc46862ed1b712769f85367bf85db8000000000000000000000000ad1d7c6ccd8dc0c30470fabea8ab564df785b9bd000000000000000000000000388c4f260848df7550144ea7980e8bf8f757aef6000000000000000000000000971892f29184eb8481c8bfcf00b2e4b33018610b00000000000000000000000045fe700345af82b2905a4c32083de1169d09a38b0000000000000000000000002d2b912b11af5129169d35089c2ec2773620b5b1000000000000000000000000676bd9da7b6f2c5dcea9b6e79a8f84ca12acddf9000000000000000000000000f1349224d2f6a33c2c68b4593f0fef8425c644ce00000000000000000000000018419efad2ef969133b9b76155a39c87b9c37ae3000000000000000000000000fdea4f6b92fb68897ca216f9822285005d3fd668000000000000000000000000bb4699c26cf2fbdf38b3c29b2358249a8875c9ec000000000000000000000000efb5d3657af47b4c2ddba55d8ba32db669a8feda000000000000000000000000bd27b2156dda217613365651ebea6c2aadcaa8d40000000000000000000000008a7497b54e8bfc61af6d2f3c61d76a3affa71749000000000000000000000000dbe0b1f4ab10d339731185cce3abe33678745c27000000000000000000000000ddf7417190da52ceebb599172349fecafb897d5c000000000000000000000000f518773d0919912dbd01417f1072f00c75e21e9f000000000000000000000000451e0f663357d03461167afd9dbd6bb907c0fe9900000000000000000000000024e13484b2fcb1ace74afbca752d1e79fdf4d80f000000000000000000000000e06013c937a606f8b67b41268ddc4946221253c8000000000000000000000000a45ebb1e1d83489030db7b8eb88df717614d545a0000000000000000000000004f82db9bcd16f7a85bbcc61c8f42f3374025008b00000000000000000000000044fc1afbcb1564e2d609b20845bcf52b4da535870000000000000000000000001231ff884b8300b3962628febe539490e8def3d70000000000000000000000006eebf4e5a3f6a5df2921dae052e6b04ff29304b5000000000000000000000000f0b85e656a1fda2f695851ce491300494eff193000000000000000000000000034072a1c68e03db929e9b8b0f30ac001e53457840000000000000000000000009056e75ffa089399ad16ac30e4c00bd20de806fc000000000000000000000000641a551f842a3f8028069e90022bf12bc22745830000000000000000000000008fe533b49633901ce86474cbde787456dc33f3b9000000000000000000000000c01f32197ee4d720e7b1bea928a8dd1e24ec948b0000000000000000000000003bea2d80ccc72011138ccd68898b1079d1ba7aa6000000000000000000000000b5c264c834929a81fac2d60c047b0fc52250a4fc0000000000000000000000003cb4b47358814f9dbbe990de8de60c9732c047c90000000000000000000000006054ad88b108838109d3f900314b7d12e0c4fab0000000000000000000000000de1f49ae8ca9bb16ccb91589bcebbe6fae15c31a00000000000000000000000062e884e85a27beb741986b69b84623cf69bd791600000000000000000000000009f422525a369e81e453a0661d3d0d4d75cf36b3000000000000000000000000f655440c85b7ad8a5191789e3fbe6b11b0f01ad1000000000000000000000000412fac404d4c48fd2d7f4095453e2bcf52fba0810000000000000000000000006c0804b39b8160b8433f55cb153ebb697925561e0000000000000000000000007e94eb7129a5471d6f0ae4bbe9c34bf6cfc6eedd000000000000000000000000c15d7db873d15b999c602cc11a558afb47193344000000000000000000000000a0dd9549d0d57904e0795962cb205c25af39981b000000000000000000000000df1bb0002c079bf8153852c7b000975bf08b17f40000000000000000000000004d4a3ea86435d4a21ded10dcdef25f06fb0613a10000000000000000000000009aa852d1afb2c3dc9114b7a6e11bbb2a9cb72cb0000000000000000000000000a7ffcc645802a7cefd1e520c263f2a06cbc9fc6e000000000000000000000000e90dcd4320cf6114b2baaf40679494a2af5139b50000000000000000000000007bc9cc52c1cb888a2586e3e070bf2da82fc5499d00000000000000000000000016479e7076fe5066908b7391cb56dd34056c7c9c000000000000000000000000f34c259726dc0df2a5d531642a5f2c790ad2d027000000000000000000000000215e298d541550cb65a63dfd79f75949caede97f000000000000000000000000fec8b0d3a41702015078334c416521039b1781ea000000000000000000000000a67846e904bd666174f32ef69c595bd429a8f23e0000000000000000000000002b3837cf79a9ea99b6312dc4dd03a0f9c3000e66000000000000000000000000dfce3851b8a0dfe26b80caa78c991936720394ba0000000000000000000000002ae223a5b2f1da21f5256047b1c921e912b991af000000000000000000000000dc1dc639a253f34199e6eccf2d8d76f642f6102400000000000000000000000062c673eefa3e0a104480b54a60bc87a543ad54bf00000000000000000000000086cd9a9e728f3a936c9774cddd420300f46348d3000000000000000000000000bbb686bcd5465eb8b7def23fbd725c7a95c93358000000000000000000000000ef30161fa2c532a205020123c9fb50bc6ba95adf000000000000000000000000879fee7375a256e7248edb5873367bfd7800818c00000000000000000000000073949ccbca9fa19433a331d1da4970131e9e97cb000000000000000000000000e0b5629c2d5a2838df3929c5ce9c8ef2320e79c300000000000000000000000083b291334238976faed346dce4483e25481a07d80000000000000000000000001e21b71ade923cfa56a12c080df8f5efd9fbfd4e0000000000000000000000000adff60e88c074fdb257676458d5cc33906f160c000000000000000000000000b9b6a7252126bbd1466cec5ef3c95c964d2b9ffe000000000000000000000000f3ac4709a8ce842b2dd9eac362b281555ad9cd48000000000000000000000000eb68b4d3f1e6384eeda4741cbd0ff2075e1edb2900000000000000000000000087086efdbb23fe472c3089412eeaf03abc2d84c80000000000000000000000004ad1fb0109b6f1106dab3d08b7837eb436f5271300000000000000000000000077a5a98d6085d4887cadfdcbd9808e976e4dffd50000000000000000000000006e64049bd5c25e2a2f2d37584aa1e5b57c43370c000000000000000000000000e1f253245c0faed003ae09882c68805667e1f29800000000000000000000000007be9c201a0b9a5f0a6096f3dd624b631ae36943e9dbaa7f828d58a25f601fba076e8af5db5d89a1a18b7ba5affe617eb2b23541b96284d7ab266a1f65cb47e0076aa483cbca73ece37203379333cf87d677e0116f66111f700985996ffd0f6304144b3006edf11af47b5699cb9206c9de07c8fe84b66096a80ed6959dc9b542073077e5851e1adac705d7fe6ca81c7786a1cfef87e9f5a79b3b6bf95ecbdc7002d93a4343904da31b8e3244f56aafdf75bf0a8b991a862e81d0ebbad26368d6048a6de1e008ba1cd7a06f32d4aed8a38de54553a38cb69be2ef9244e89f9e60042bbd55f137e0cae94f9948d67dd99adbcb44e0e215bffb7020ef919ffa55e9003c9e748d99c8b56ef1e5bf1254c53c81c3e77d9b7224aaf6dd29410dfe61df049d7ff4bbad3b5b8ab5a5e8ca920b98bed4dd25e9efa847e3d616c671ed4c7002ce3cf6d9b6f427b1c34143b340e8cda90b35b6197bb4b93b5c81a45aac1b3d0136bf7667e27152eed77f62bfdaed683e27282f9765b03c2b7a36c370522a58057d05095f9c6e3acab37fa035aaff1a094b31d22c709705655182b7c4da1d270496afd95c1b8f693e7919e9ea0f6a1e3c0a3e1cbe6ef93d605411fa7cc078ec02e03d8271a18d0310941fbee82d769e7ed21450297b46b5d76a1584e7380d7200de72e1b8eb3bfa906b892d55ae1f31c2054d693b613b7a7e012e4dd3b8879c043ce45a4ec7fa5380ad763da567306aef165245808b998b134f15c8b3af234b045d5160b9b28898b1fedfa2c19acb33f1480a1ff17fbcae6bffc26ac8b4b1ef02fac35b88d7bfd468319395b707fed0d1b95372ab3048b5559a17c476a300be01a58847d799022a3893a3ef9e0e1be615a4af147cf378a01ebc1734d9194e34074a672e39fd37af6fe0ea2e79b4aacd3cf70bee3a3895b86dd8fd6d89de88a6053019ec9b0a7faaba33fd8fa9904c0757c3506aa5603851369db975f778138f022d2f098f7a8372939435b5939fd234afcab31e6619a0f60fb2dc82615d295401f8cb0fc675bfb13f987f0d82539dc9fc8463269f1360d0b775c8f4357e60e3011ba8c90fb0a43d4180e6c728886d7f5647938c9cbad263b1faf5a5b6339acb0089e1996a48be086aa4ca1937700ad4fdfe04b99cd9cd57e8645a40b142dd6003aeb4fd5bade6c76997a901c606ece715d0dbe2c4707dbb9772d8ae2eb193510289f184486a04694a8a65d8662aca8307e0db5284f36adadd47cd6b02f4bdda03915d9264a0bf1b61f1854e6adc8fc20ae4e18d5fbb47d1d8ca39858e8e78c0044b06610c61ec48d6b40ad4f922d74abaa303b62520f6065f1cd662f213d9be067ea973818f219fc1aaa517fc7600d3d8e14924739967314bdfd32e26e48d0704d1fe425c625fb20b20420f38780471a6bc54b3a23ec243716eed5ebffa5b290473782b752b9b66ed15a249364d9fc49f1393e4056e14fa7dcf01886747303302590c3060b1a90a8f912262d62d5ffe7e7723b50949cb5953e18efc1da0911805238fb699d895034c72bfad17a630dcd4011e332d94eb838835b918b503a9560341f8003007bb589d5248662ec78d02c1163130d79349bb28b99fec5627b043eacb2da1da9ed89f5331d52963db8b401c69034d000000000000000000000000b4a95243760a124a471c5eec529f44ede5c6b87e000000000000000000000000501797a70bc7633c2281a5abbf2d59bd2d4c7387000000000000000000000000a03f405dd8ca5da60ab9e4ccd76677a0878334e700000000000000000000000070f9c706710f0168ad84548cdb2a7d30976cc409000000000000000000000000f8ead029a4472d5bc4a67a701ec759ba1707340b000000000000000000000000ddc77e60ab50463393e72de0c24264893ca9e26b0000000000000000000000002c57b2b94a60af861462c4d5f02d2edccca809cc0000000000000000000000004c57d14b3de4380f7a040a27f57bfefab6ca2eed000000000000000000000000b703896e840f302c5dbba38349ef562da9eadf0e000000000000000000000000e805841a47881fd31844d48673c41ceed883b622000000000000000000000000141f5bf3f2b82fa60d7a45dbfb2b01b34a266c4800000000000000000000000054025af02b3e4dca422ba9fa290db58dbf15a0da000000000000000000000000b4075c39d9d9ca18f293e69e31c80528233579fd000000000000000000000000933ce806475693674ce9483a1b7131332295d16c0000000000000000000000008e9d3fc15fb02d0e64d705223c3ba764042624f5000000000000000000000000f3b8031aec10e4e0cc4a9071d27876f1d576d69e000000000000000000000000863aede110f0c379273f7e48c424d786f8880d08000000000000000000000000fbcd478819742e4f3d94d7f43e1e69d228aa8160000000000000000000000000eec56be30deb3ee0b5debed850d0ec52bbbcfba90000000000000000000000002c5a2352cf1c432c03de8539e94492f39fd6514400000000000000000000000062894cfea564d799e474b20b80fe4c30e55fd69d000000000000000000000000b5109fc60ae5389ead1c746ca62fb7a9696e444c00000000000000000000000016cc01b576b910ea3e649f24f01d73866788bb9a000000000000000000000000ec5054f92b3d717a9a42f6f54e65c349c24ef1e700000000000000000000000032e03cf87524551801a150c28b31ccc5d3a434270000000000000000000000009897f805a1f1511b9db789c64d7c891cd4c2e0aa0000000000000000000000007a0ed96bb5c79e2092ac5fdb793e1093fb62cb480000000000000000000000000aa328fd8c8f9bf61d7d36e64cb4f9575b7dce3c0000000000000000000000002a65a70d08e3adbdbd12e271dd37ee14de677a9e000000000000000000000000adacdae5df24470fb6d8bb46bc408c032b87fce4000000000000000000000000dcc1a96664c8e1bdbbd9f3759b81d8fed41eb70f0000000000000000000000008b7447be29c46d5c55a5fddd5435e09e85a0dc1200000000000000000000000009bb34dd55a635555741fe7ac606172cb7e2440a00000000000000000000000029a0e32489f3548466ef6601c1b01bbca26c974a000000000000000000000000149f398559e8e1be4d223f246021106909c882930000000000000000000000006558bd1c48b759950bdf3b1535a47f4df67bc81c0000000000000000000000001176112eb37d883bb3043a94f3b6d5c3a4418cef00000000000000000000000092beb377a004b4af357c90ee413eaacac64c8644000000000000000000000000c1c3380a73925fe6b5d5c370a0f06440bba7e6c1000000000000000000000000a32874d31777a7be925fef4defb7f6c8f7756dbc0000000000000000000000002a39e32dbd27f16a053ef272e4ddceca273322e2000000000000000000000000f4f3bc596c457a802714417cabb98b0f0993a8fb000000000000000000000000b3ae54033c4979374f46c4e2c666e09060bb44bc0000000000000000000000004988fbc270a5eea43a567a691035a5b603d937a2000000000000000000000000bd7b07fd759289795559170dc64c356199af36c90000000000000000000000002ab988c95fb8d879a2ab363d4d1341512db83e440000000000000000000000004aebfa28ff136bcddf4c885d63e6af28f524ad460000000000000000000000002a5a4baa625d265a22b1a4f812ffbeb3f4934411000000000000000000000000a4705b790b748db63fc276d0d933f99a9277d63100000000000000000000000080b3257c380a53c2391f9150ae596d88c4bbcc75000000000000000000000000c7db17e2758f63cfc414912d3a59b26bc850d7c10000000000000000000000001b00093eaba0d774e6515a930560a1df466cf3df000000000000000000000000d57e80d698629bc48afc3f74303de0ea85c5220300000000000000000000000034daecf549c5629c60776acf6895bdc3b47265850000000000000000000000008a2d5b5e4bf00cebad7f1300e96515aa47a3155e0000000000000000000000000b3cc98343ec70d9d948aa6b35c748f29fd5c4e500000000000000000000000089ab7399e6c967f10028babdd52208c42d4f247e000000000000000000000000fca8f61ee43f4dc9aa3ec162d203b894b0205e0b0000000000000000000000003853a5469e101f587d4f1d78a808016cfd80f25700000000000000000000000080cff804148b832d2a4dabb8edd81c23296b95cf000000000000000000000000133170e21790c2429a74f8e430d9193380070de900000000000000000000000032886bfce7f41f66828e2a3f9c3e98fca16585c90000000000000000000000005e7406e1d1b4fd2445433f4d511bf43693c9b5a90000000000000000000000009fbb80e4b1a2ccfe4ea9b0f015bcbef4979effae000000000000000000000000bc2a232b5afdf71b12529846e32c573ccf1acbfe000000000000000000000000a489ac414def5b94a8f8803f2449a1f97462c6a4000000000000000000000000a4b45db9fa450b71ddd29af31c720a449886b7f000000000000000000000000087c03e78b58964e9e5a2d3498f0c41546c3fcc0d000000000000000000000000cf807604419c679335f2b628b0156cb35f2892d6000000000000000000000000adb029b9a03ac75d3683b6a2b270b0351d4ee6bb00000000000000000000000011bff462ec719e2b54cf3e160c7b4fe972683c02000000000000000000000000ebe45773003a056d2ace3b7db6be9e03d09703ac000000000000000000000000e2f869e237f18c37072466846e9560092c7bd0b9000000000000000000000000f9e6b6627791aafbda3f0dde49f9041f12cf6c7f000000000000000000000000d17f0a48b1db684cd809bde6848fc3acd295032a0000000000000000000000007a8e58f756375329c0e7270f6f38b8c1707b9d51000000000000000000000000d91cd2c46836f7dc93fca7acbaf37ed48fa25aed0000000000000000000000009dcf3866050c53476d2b50d084fdd9d8db2e4afa000000000000000000000000167f2b81e895038116a67939f38d268512d51bff0000000000000000000000003fc15169b1d59a98da6def8c0b0e7d27c5421ac40000000000000000000000009d4fc1d759cdd9201782fc7f0c7e37ea8ab86d60000000000000000000000000ec9a46e03c67eb28597c546e30ba255b5fadda87000000000000000000000000acaa5ace2d9cf08ab23edad85fd0e689c5549de600000000000000000000000042b304b0f09a9a9a3a0b588899b2cd43d400f58b0000000000000000000000007247fd1fa923656683f700c581cf3cf37ec53bdc000000000000000000000000b4d323ce1045dd92aa4ef075425a0884e0ff6308000000000000000000000000bae6eff3f5e5dc73671f210df15177bca8ff62aa000000000000000000000000718c12c79bbef2147ddea064e34cc21324437a8c0000000000000000000000004ecb449476ac7c27a411aa8235fec8eaba4986c9000000000000000000000000795dfc2bc42e60d98c6ff265eb63f16a6d8f3b5f000000000000000000000000870d055230fe3b0d99c1a9f0a25b2002a7eece98000000000000000000000000a71937579239c1015c00e4195a2dc432b948e752000000000000000000000000bf5d7a87da7d2eb476dd3b65c10a0e9c50f4256f000000000000000000000000adf831baa1dd7fdc45e34129d4034ee0e9594cd00000000000000000000000006fa26dde24e99f0e841b5fc9d741eeea4ab430ea000000000000000000000000886b72eceecd80648426f14d2525af20f5c168eb00000000000000000000000093bc67f401873c426486c686b60f25f2a23306b8000000000000000000000000e8d6451a87100026617c130eb978d91e35108b2d00000000000000000000000003a6bd4562daee67933b314bd018f11377a88dbb0000000000000000000000004cdd317fa06a6888fff6e624cba3de87d1ceb75c0000000000000000000000004fcaa3099c07794aa9ad294f78259a1f86908b3d000000000000000000000000cf8ce1ed0e7e8b4fc505cc90e57fe0360b8d7f120000000000000000000000008245974cfc1aa0f084fded9b1cf1304d984ad6ef000000000000000000000000a192671bb86f7de773f14045e49fe9658a9a2d9200000000000000000000000029caed2a6c7c15c7820f9201dc2c26e239b0944e0000000000000000000000004996d491669f0589969114408bff336ade42f3cf000000000000000000000000ef9dd560b3fa9383747b200dc1db6af25c887cad00000000000000000000000023fd50d00537906aee81a82fe2ece4028d2bd4320000000000000000000000006f8d8dc367d10c4ec1dd96eed45fef3faf782630000000000000000000000000f9cd5a67c05d6deafadcffa141ed23d8827bbadb0000000000000000000000002c1c7cce827220a5a7c10a14c1ec19a4b79aeda70000000000000000000000001ab6cae0da15508df65696d4eedd572a9762ddcf00000000000000000000000006d24d48bf4f00a352683b836418e26b1e75ea8200000000000000000000000076fdb9cd8fbb17302ab0f8eb226be8b4cc59031f00000000000000000000000008c304b95da79fb585928cac576d961f2cb823cf00000000000000000000000011273c7e67caab68cb715c1b4d9d1661c8ffb08c000000000000000000000000499dd3aedc3f8ed40a47762ac57a2e816914b6280000000000000000000000003764d39c549a5cd06c7036de56cbd57731b36d92000000000000000000000000b2d98cac0076edcc6117a4b0c71a0c4164238b4c00000000000000000000000065cac08362c85e7f003ed2be436db0b2a6ccf885000000000000000000000000b43836c2099c284ca02b297e4b9d434b50559a38000000000000000000000000abcf743c1e6e8ad7cf02b7edc6b335c0ac57b6bc000000000000000000000000037b0a9c5b37add7861455f8f573852ba52a897f000000000000000000000000a053de4adb3bcc1945d7d18ac86b77c295f6ad18000000000000000000000000a64983362d9818e274c3ac3979ceb0fa1276e766000000000000000000000000ee2b3da8b62507e86308b6da021e4551a240e2ff000000000000000000000000ec9553e8ebc1c27aef8eabdeb44398fcbb030ba6000000000000000000000000f4cb0eed178f42758b1da1f138832274a6c579ba000000000000000000000000cd56137b18187ea612a8ac44b542bb6a2815a8ab000000000000000000000000e117b4bec7633200c15f1b7732d966b3e99aaf38000000000000000000000000bd9917fe15336d7f6c90dafa108a4b487461f6f8000000000000000000000000bf2bed4df9eaa18290bba94db159a1581158595200000000000000000000000050e967c0bd4d2c919c9eade1032ee356ccf42ab70000000000000000000000006c88a266e3d74c1588afc00f80d5bf907cfff663000000000000000000000000a80a9166ea4bd95ce2fc1000dd3ae55f8ada172f000000000000000000000000b30178c029f478005cd8b188671461030c40a2cb000000000000000000000000ac7871f84fcc10473a1f9f033aaa9d2dfebe1580000000000000000000000000d517810f8e697f871ccf27bd1ddf908503dc0b700000000000000000000000004bdaf37a98f913af2aab3b42e67774fd0a68d6cc00000000000000000000000012798a7b22371302784fa58957ad74fcee57b411000000000000000000000000eef6d22ae532fb6812b605d32b99ce9c3ed8ccc6000000000000000000000000239c14f641498b6d7f7372bb8132d07b8e37cec000000000000000000000000042d263c37d1fd6b4d1665c0fb3c36ea6feafd071000000000000000000000000c223aff2fcaecacec8bead23f6d5d46067e9902e00000000000000000000000070618115039bbea38d0fcb2962ac46d723361679000000000000000000000000a3298e80c21d942124369235b24eb14dde0a38ed00000000000000000000000085ae15c03da8797c90bb48976028c510617f9357000000000000000000000000e69dfce3ddfdd412c3ed3ca0d11baef039d00161000000000000000000000000ddaf9ee16944bf731ce4df830c63405a8051ab72000000000000000000000000917756e56fac1381c272b4e056d5149738e1086b000000000000000000000000a7d8840630e0d7ec02b24ed72e5deadf32cd1c6d000000000000000000000000bd5af5c6b77cc1d9a66fda1ff838eba00ec44fe6000000000000000000000000452c07fd1e513f9579a8747f49bcbf4fbb5f283d000000000000000000000000dd20e6517a8bdb310e5d20e47e6616aeeae6ac11000000000000000000000000d2d9cd27c741e8a26af320788ba401cf9d29975f00000000000000000000000037c95f90d1d7c82139a66bcd8ac4425ccf8a9d85000000000000000000000000ecbcdc06d621442fcabd2cd63a7ccc1deb80bf01000000000000000000000000492dbfc1460759cee4ecba2ef59876efcdac61370000000000000000000000008439faa4b9f8645f9df0296fce947864b6f0a13d00000000000000000000000085e6891ca9dc4ab0b1cf3dea099be490aa423cd5000000000000000000000000193c6e94bed0c664f7df20de19ac33daa721f1320000000000000000000000000f22137a03ce65407bbbfe0b53797514f2923b8d0000000000000000000000004e01d35eb7d98c9257a7d4262b67cde4dc851af2000000000000000000000000e5adfa1d943f7585777dda7856a689e48811b74500000000000000000000000083e613487b9b42c61a63e74c8c77b08b0dfa334a000000000000000000000000213e1ddeb98a1c18dc7eb3ce2666038b761cc9d80000000000000000000000008b57d2c4ea6765c9d3658bef705f385bed477eff000000000000000000000000a2c18f3ebf16a537d338d49d8763cdf70f5baffe000000000000000000000000b2d3f0227160e0c3cda02ba7f967f8831cd91805000000000000000000000000251885cb80d87a942b332c752d490305931ddcdd0000000000000000000000004de47f97c2bf337459b132758530a076108c66b3000000000000000000000000a9fb2ec8bac7a1dbae0bfeebdfe110d649157d58000000000000000000000000b94dcc47314d2df67d37f218ff855eb38a683564000000000000000000000000a0587e45ec85f3a07d7a9fc4adcb8f496cb076af000000000000000000000000590c28209d33582246537ddad9928c26a0d9eb6c0000000000000000000000004d0cfa008d77e530ab76c3c18d258c741aa0f7950000000000000000000000008d96d0d8fd5799174fe53cba8ea7b3bbe4d87cc9000000000000000000000000135a4d9d4abee925f7e9b8b07efefd3869d91ff30000000000000000000000006af2feb9277110ac3ea86af803eb72882fdb5e26000000000000000000000000becc9614bfbf8635070834bbcbf3305909490127000000000000000000000000a21bdb44787d7aaa894a67b13755f2d4f015ddcc000000000000000000000000aad696f892a402cc563f659ab06f73efedd94c92000000000000000000000000959e9d99a8333e2c22d88f8d55a9f6bdef2105db0000000000000000000000002ccc677fa9c61975535bf4a10bd6ee7c834426c800000000000000000000000058c134e6bf866c944722cfc5dcb504adab4a5216000000000000000000000000a7dd90d6b9100a8db984b6d4c0141cb076839d6e000000000000000000000000389481d9aab22ac608f1b739d5866e95e67e09a9000000000000000000000000a0eeaea57589310c9a78c75c6bc99f59670f9377000000000000000000000000b308b5e018f10f89ecca7a04f9a22a043cf07d230000000000000000000000000463deb023353ca0bbbb4330f13bb9085cf4b0560000000000000000000000007aca214d77f5241a6226c38ab0561334190f0c5d000000000000000000000000bbf7a8b7b07d3b98dbd2f6648ea1a224e380ff56000000000000000000000000a8452b42481b5ab7a6ba62f4835167d9c0bc3e52000000000000000000000000d99be0966a322911aff16b1208e4029817cdadb900000000000000000000000014e42b30569a02a4d71a39e8c3cc0ff171b0c199000000000000000000000000aeb5911872823df0b78d137f3d4488f7d1d169ec000000000000000000000000347ab23e72dc5b4233e7bf4e2ff36ccadb4f5aa4000000000000000000000000951dd77b5bb1a9018bb19ea60efe232b543c1db9000000000000000000000000dc21d99676a41145577415576c54a38e16b12d220000000000000000000000000e6641c7cd5cdd4817e9f59740de191510883b660000000000000000000000002a51a92dabfee312afdd570a874eaec63c8b171e0000000000000000000000003595f8fce39a278667eaabeae542ceed8ca3a78d000000000000000000000000a1487fd5e922599641116dbdd8c89d5f72223319000000000000000000000000d81362c18dc6766686262dbf7a23eb19a17f27f100000000000000000000000007175ef68d63efee2c64fcca1ce427cbcb054ca6cf80223551aea85fc24b70450055a9eeaced24ede1fd9b698af91b7aff646efbc7f0122237f14f0e7f2d13bb00bb3d4a1370c47b70b7a7596d326a0aefe969e293251d5df9a731c7a7addc39077d3503b91bd964dd52ae7846b3c1035e8f8f1be4e2a80403e5aa091caa747001e3c34a44ef3fdfd1b9080f336a175e0e589c8ae50dabf3be4f6494605708b3022b39787b92b43c6438a70f2a202375cb08b17d4747ae4cc3193ab05ac603b503ab383a971e82a338521d6e1a0ab7e0342b44ada18be3440e66718cac25fe7a03740748efecf1eaddecba9686406924ccbe98101a5ce9d65f1efa5d1f12c2cc0424edef919b9c62067cb1df5d828c8bc857ba2443af916b478b0d92a8e2a0ee01ff16b9116f135793590918e3a970533faf54b6a7873d7acfd6428b7b1c2d2c0472a01a109dbc71e7787cf43aefe819d903b1e996e14d70f3e18cab5b7aacc207cc64b01669dd630a52d2d915a22e4b43de7d2cd90f6735d28b9d9902d20a0b029f5818161369060f42f9cb47d8246fe360137337a66904d56355cefbfa7cd00030c52dd62178fc6868df395d754b88e974604d6e67de057943ec8ed8628be401a2222c21acb201c9831a15a77bf68f117057de7516571ff0eb927c7d187fb6061e7d3f74d337c5dc889c273fef62e609ca9e710335e41ece46c3e83bbf796500dd8f86423cc06413afd8d9609c58efc71df6445faee94fa71de13ad67bc40204de3150c70b1081fb523c70631de6d18e6fb4252a9e351383215de25b7375d303250a196c586b296ddfe98eca1f7d93158d2da20c8ec785082ef325f99f933a0470e913b1aa48249c3a87e018456525093bdaaa695a18fc3a4bf687addc4edf05adcca33ceeaa90f4b4719a5fe0811c8288ea8753793538e61364371ae4bcff0067ebfe2a221165cb7b9225611bba74f9c2f8ba798b35153d18000d18e598a101864f1e8db85bef3b096779144e67be22007572d71e112084b1e6e6bff289c70528dc651005fcbc932b9d2043e5e4ce22d6894fdf8efbb4e7fadf8affc6825b02d2ea65ad4bec2be0deae7ce8d5a909410e38cf45cf96f90724c6fa3061cad5022f363b4de9c8df502b009e8a1cc5e67401b5dfcac9bef67ad3fcba9f50a3d301c891474319686b2acba72b6ec568ff6ac8d7013f143ddc0f8f51a2b2fc6f87036217838ed236b7bfaa8cb5379bd1ed1944d46e6767a1acca0c3dc211563f8f06fc636016dd0953a862f74a92240b92633f7c2b8d477c5436258730958c8463030996574da85694ea7d4bafaa147abaf66168e0b9d4c2483ec1ab20bb6899b4077362b6fcc1b3ed754847d85a17f650b0fcf33b7fdbc19db281027973916ace0517f79d2c46fae11b9af35158f1ac8ea3310d664ad5d815c82b4198aec5db62011607fe111557f27de8c17c5af4584bb00bc204bddcf5a6b0bb59f0f2195cbd00bdbb38f041d6bbd7072e059337675c084b71744146282c9ab640bc4d33d1e205a7c201ac6328d9e66acb5e1a89eedf17735f7907fcb7933738cb96bbc6687b05ed391144f7969e03a05a8729b1d4ef130c89cd940fabaf6a28a774fdf7117802ba22acb45285d8e7c2af15ec8ed37f59b1b58790f666fa37202467ec24ba15074ca96a1a276e63b926b18ab563a4ddf1b0647d49e84f3390e28914ee92638b040d35f8d8aa673f7389770d7c5013a73cf5da8bb60a3a42e852cf9074269f000281e0d8471d0a08a8350d5ede0a5c8606ad58759e847b6d71eeca979238fbbb07a3b47b21dfebc5db9dae2b4a8378599aca2d8abd2b6c7974c1c497151b902300d7878f2a200333376a13326910a560022b74d1f6d870342958fde1030490ba07186ed6ec813d2374c9abf760ccba07d14db854c09260086abb07e24483e82f05a5aa653678ecaf794a040501d0a3e41983c5343c9ef1ea576450d0a783837604934f48daab91b7d9d47f00442e7c75c7cfd489f22b99ee3bc89b347d34b21d015a3c65711be613728a35508e4cd8a9e7227b8bb4e5fdb5b751dc9c9ad8c95c014f7f01de9b6da99c8d268dbb966922be67465b02a9425e96779389f7d50aa405569207fa7998b4a3435f65868af62bc2237235ebcda39590d3022aebf0049e0268ca1c66cd9f47aa22121f3a0fe27afec72f1c43b34c2ccefe46bb9a776653044f9ea8cd01b0a6004630500e02183c4bc442f249cd660da7872cc5a7ec886a074f98a2b26d6731eebe13a638096c2bd68089423de311075cb560b4d83e6bcd00fe3c267712cb1fda169350d61b993dec33e317492c066b519a8c6509d15c9e0591e100a63636d3ef6cdcbb95d77b7916bb5b6e7d98ef11a06e7e118c25f9df04aea54405f9824994b36077aed185ea5ac070e608dffb451bcde70c39a39b5400aec40c487d0bd541e8a72e44942a3115c2eabf340482884b8fdd653e9cd2ad07d02c62dddf7d83c5a5af0fefb7a7f13fbf313d2202648b338ff010fee9474301a1048fc7f92dcac51d0552fc60adb9c6806a9f40155b6bc72d0965117f2c80017650ff7258728fbb8dd42b0dd5e3048386eae53ea40de583cb7e4b58865b4a023e4c0923ac52303337d10ef6ddd98b21e16339a8a579575cf0dd5ebad4ec5703a92d2632dcb1ba5bee392f061b60497bb238819e5c6eefe5475df3bc9bdedf00e2d571fc37280fad83f63ca62bd1b6a812e46a2aa1957c017264670a09a9cd024122fb55727b4d60e278b871da0b3a39db1ca3b73ac9d18fbb9a65302a5d1003584b9f3720b37fb44ab4133b63ae3c0fb0a4c73d169db02e82e96ef9778b8c06be7053abb17d90d063e058535166c9d1068fcc45d7b9604a10034af5415c1c026feb3e4f828961bfbf6b0317a119204566de915fab1f54d414a9dbe65b990b05119ef6a95dc7b7390d7266958dd1103a36ec4b1427f0f631533a7aeb0c49c4046e3fed41b0349c64603afac74f619f3a799d942daf829784a243724f5c38a90111bcc97de3a6a6ae9b2462b94d3a1b1b92c491e875d5654c1cd948debfa34e0375646942e837582d3b3454bb762e8c1db602b12ff7b324c270b103a70d332300b5c24cff28800968ce16239f88a16614646a3669588aa2d715a957461582a807964443754e41dcb407b56aa902820ea72a89101dfd8dc7c4a34d09e43b987d055892670cf2571f20a0ac87056fbd05d532210ab6130228937a42307e933f5503cbc835fee04f7d5bf7a5b1abf865ebc71a4d50fe0eb3cf1729631962f91e4705eca61e765ce52bac98674cbd16752cdf24a8be8473296683b8d6a99554deaa01ae530657c9ab460b951b86dec19a6c829c8fda81e21a015a92d49c6f3518e10068db98dc055b6ef33d55844b0e993c2948a3dddda424e3f86a8ee42d4043e800c2c4fcd567af8dd5770d5ace2ece435671f1c6b071e184d4a4cd46a50ad77a064805457183fad697bc94502d529d84805c7a1aa199c6df16a10d00bb002886043cde7c32567c50f1635987df4a03cfc6383dbc1691c91a95bed1ddeb64e43b010f4351e9646e1996f78d18e1547a3a0f10d17da7a63db6c02c61b13a5af8e506651d278121f8a6785baa6b640d6d89d76cae895a1128c1f1c656520b02c02f071c0fd9d37c9c2d383d5ba237f062fd9ac972051c6b996ab6d2b3332081ca94031b83f0379f9230cdcc163651648f2b798edf947d7299a760c3e135c3ad891203c5f1bee72885055ba8b812055fb961993b2e8c46cfc992455b4001cb398397066747a73f35ef1bf85d0379a6e8fc0f94fbc8c5e3c3fbd8ebcefd9cdcd72c2003f99ed5fcea38ebfa34c9d8b81d09c5781b1aeeb7abc5c18a424c570451285f051cb8d2c81a9f492a721d9d617171bfb2903a5ff2ca3cb1e5d8f1775f1ec12501ed2554eda37c139930b312a17d987d5bb58dd1545551f7d8e96fa98c82d75b05592831d75c2cc99a5782f60d26a6d5938d89bd1fbc8ca5063ce124a332aa91039bec502b817f5919f832dda8cfc9774de4daaebce9e5a82aec204ec9b6d37a0663f099b29134290f82491d3802c5d2ea7e0b1ab9b42db5a02c7d74c70cc6f307424b02d06ee85ae0aa38cecde044023ed6e4a02836d0ab9b0381f8df7463c2063e20abf0fb959a38bb0092402f00d737b2775e978d226fc4c4e1a983b25d06033710d0347fb156f736a9b593f1b6075f71f93ec1d82d3e6bf42b87c07caeb30056f0ad33524135d245a7920e12e0a47a240a8852cb7f1c55fda6401145168005c3afeddfd906ea3fedc0cafa748630d8d770ff14356009909cf666c84fa2d200ba1dc917bc9819206025794a3bfb1908a187473de6d0e88d2e74e47fcf8cdf07b8e5cb5b5396cc19a2fa96b5e640eb828b2fe72de2024084a329cc439d68f70544bec0d10aea05167aa723ceef6270929182203823d77ce9e8b07945e7c2190141fda96dc713f5a00f0b964a9d83a2c9b188e0755584309b754e3b72db328406b6cab1a8796c325427bda988ddf4c91300a1526e9b09f3f746b98f82adfb4c0290f2830c44ea10e10b5fa912b1c84b3066e7abb02917a586fa221bbc5e84e30163b7a484aefa88660e655bda99a1ab5c63ca04033e0934eff334a9e5016a65040025b95c6b3d193104daf7ea8e651360602334438e1cb054d4bfa6f97936d30629e3e5b73a32e7b61cb17d82eb72ae56ef0223baa006c2ecc7d06bd485476d047d1ecfbcbbfa3242c46082ae01703a43d5f48d4761e0412e02531c26608dda02d26c7722011b0d468cdd7d8bbb0583d28acd6c2feec4c1288f0e2867bf5b8000016c085dca623b6454b149703437340da9feee02b55bf2dca26dda92e1ef52068cb1b8054792b155819e6ca5e99f26abd017004c6752703556faaa12dbc48f025ee1f2bf426ae312267913951baa9ed7af850ff11176999f3eef67651ec0b500fed3725dfc99df9bb52fef4a037fb4bf7cf953598e9df28d1fa59b0bc0039504d4a3fefde344dbab717c16244aa08bb9e55068d9e6ba3a27af52d40c6476c9039c9b030190d131f9330e238e79865884c5a1d8b0af6a23109070bd12f580690365c5fe007cb7e52db43c3deabbcf2727d0434c7b1acd8c83d5f236e1f9e90404e0db559d71f07012da7c104311194338dd18796ccd5c6ab6dcd382d1fde1d1000519438deb66fb937c9df549dbf91af596cb1ae58ff09e2b130c89f91910240588cd764cacfa6026b368c79607655853714c60aa6c9ba30c98c78c4c8e1ecc0193264df5423b8d5cc72c33f3f2b05facf33e697a57b2f27981d07fe29bddbb0125c545a7f7e091dddc69e9981ce508f6772288569a369729cb8249d09b096f05ac4ca44132a1f644db5dbcdd84f832392c6d96643845903a82c3748945d7f2019d814677dab5635a1f42834bd37f200fda03742e9485468251b5765f6837c101340833438c9241c3607a8bbe7f3e82ac8a6de5917011f2a10ca4be633a9f8e011dcf22100c9adcebcf7b13e2f72a943220f90937e6b871dd1c1e3364936a780372476a8ac4cc5c4449c0eb10279497bc4728d7ce46d93e2c1afddd1e97df9d03351a916006178f2bcc11d7c2a846002ab34c06841ee479eb2d984ca5ad94520069ff53d89c9a58012d42eaaaa2dc83eff55d913a141b835bc2acc1fa271c9905a836e12e86df508df0d605ee8d8214ca8d7c7300dd8ca091bd938410401d1001c66221266457f56cbfc0d7dc21269b27d9c9b6b8d635b96d274f1df06d2b2b0198f6ca53c2206c7d970426137c1a02aa7be87298c3109966979fa65aaafc4a018fcb1d962e3e217c71f0f9e74ef7a517d8fdc142e708ca8a5f9ffb5268b7e505a3bfcd5434cc6b7e63734ff76e035fefc1e679db88f172d38d9b079e2b0b2d03243b0395936c3a722c42b1b167283381685f9f2df827938f23de88b1798af105be56117ae364789e26526c11d1c0dd520de69a804f129ac34ab8681259be1804d69990f014a015587a7b3fff8e835628761644768bab203fc8cffdcb58374c05b6e81191410bf422d366ffeb0ed444cecc59af8bac96d1a330b5ac7df09ee804b55189011774ea808a9dfacd66de12b4edcaadcbf85375a02a47b860338df606d1bce7f6634a0b76c11ef3ec79095e5c724df894144292826fb7ddd6e5e44b02b5188238ac3c3009a9d933321a7ca2a122ca536c4047f519310663f1d21ffa0141a3aec8aadb96a9e6f7db78a77681d28c997ebce6c5bdc535a9c28b6a428a04d5b7630c884f3cee8c403537e0b9ae3288247f73904341387eadce8e19dac5070b4ec22b9d5aa138ddd7313963a431d5918dbfea533c12f0ea350f070841df002aa279bf1bbbbbf528c4fbd9cf727ad83b352dfc1ea410cbe286becc08810204d4da17d4cad6fd1753a34c6f48752fe0cdc0d360088b8fdb878511d1ee040501fcfe68bbfba46e741c65e57c1cec8d3142a4abb7301ac929b44ed70643c73c05360fe6357ad5c4a9d28a3f6970e63cb3b4fb12a6562eb2c32d8165ded7e77803eae695363febab132ee22861b42217aad7313eb82ca2c18edca753cabf3314062c203d61bb24b68d742acf7053f1144133ab8b5c303334157cd86e5afb0f0502ac4398901b618320d5256e548f687d50acea0c07083d1f36a7f5453cd2ee7d00696e0ab82c227a42d4b0281f14cdce3948c5daac557e894c5197e48e37c88007deba9fdd98eadf4ec76f5d8297448cb57775095a2bbbceaa3c104b1f77e44c01839a4f9c57adf16557e0f61c1fd30f7e83071e791b0c6dae7c195b42043f790733d77b0959a2b8bed60af4a07a948f45383e8c6a5e728258ff21fff620c71402ff5ab8d5293b1e72b0b0191b46760bc949765988bb50c1054c49ef2fd35df3015257747b3a7785c38fba9c1d951078b0b080f3e85d14448e4e9ab03e1e48ba00242cf1ad3a552e85279bca055f2cdee96c4011dc11a356e8a85255d8a6dd3506c578cb727b3eef3e87b98d2a1c598970dd368715b64edf0b788a56b11e41d201fbd7d552aa13447297b83b0a004ef4bfeb6bacc5e95878f1376dbab1fe393607f85e3843b79a7875123d3c2ecff040658f80cefc7c736f6176dad66650a180070182c108060a11533002c01940735c27ab3bdd73c8b7472dfcb709829a1b0106b47ac40970fb4c0143f381ea9241c8c6dc91a7609f422c3f39f4f2f29d087c033f19bc09358b846b80dfa877dddd9dfed3942f1a9cab7130fd86809a914f54032902099c51ece10ffcdef7b59b594f264003e7dd6484a24d01de176ad47d9e042b7c3e3064f9038c0e2bfc8f6cc6bee9cf6a180c0d8be79c668ffc15c21e53054c3984703fe00c8cf934219787186716f9fbd4e811f1a509d9e8a251dad7fd01f5ddf5ecb94c386105ee26f9d4763a4cb180e9424bbe3932052e20b62b135f023a525026a1ba6a588ede3eeb80ca7ca100b4f717c38606b57312f4bd7f67e8052100bb2a92b3056cfaba4f14dcd9a8633312d5959144a8fad3fea74f56292800389474fdd981afa0cb093b81facacfbc644abdf4035dcea4ce936b6523188903700ddb06bfde5e9e4741c89982bf911e3d5007afff6ae2d69cae40217af5c40470c625ca3e0cdc4cf2940acb569db2fee1473fb241ee47e45634b515b3cf2100426a3b2d05c7c929994ef6dcbfb8c0ad0f22bef06839d4184d59a38469b525003d2d541029975b6ed6f79e1fbcce101749d8f8e7c27d55b2df7d013814e47f00b7c12cfda7f2fce3912f59adee976532c860253613bf10a29fbd825cf440d202ad840fd6b4aff05d62c70adc4250069857581b0144f7562659d43e4802f149062adffd3fa55b159f3f09bf4bd0ced2d5d53573d8447e28a401ca049f55c03d017e7d1afef7e528194de7f08a5ea859c0e346a4410ce12a2dae8a5937b96e5a012dff8e3d281c78b1328d7c01c41b02968c4a1e274ad45f15c50ed49a07d95106718e1df889ea600860ebbdbb0271e7723ee49025fded6b1a10fda4a0d88d4f06b4c28afb2b42d8e62b2383e9be9affcd9ff54802d6691bd6074f859e6083720447690926e43f6e608f073fe1691d69b1b131fde6486c99e6c0fc760b62d25605dd3914d608aa86f40e3eeb427c8856bd608b883642b30b1363ac5e680cab9a07e7f1e48750a9e70e15aa2f6054fa991aecb67d42fa7c68c15516bd0e83671f0242682ca2158fab3b9af61fc6e255dad8550c8ab6572ed7121b2fbff6196098043282eb0469a3c88e95f3b075261b93ff2e5ef0aacc6885610ec14d663fdf1a064ff1ae18a809dc3e22f6b9cacf6cd3bd898b7c3e33d1342bfa79d082425e7701dd35571fce60ba02f0b8472cf3f770df8d04c0b1138a8b5caca285e4ab831b03ddb47479de74121ca9e0e85bd4967413ea1b121dccd407344289e2953e69b401322a146f259409a5a1105091231600494d2ab19dad8b29e7ac81b4b7a9228f020f786cc60f992aa2193abf05a29072d3befa1221b208769ccf0c50a6b8c6d300c33e93a7b1b8a7ef0617925b3638e00a573b1d43c8ad9668e9984e9e5350170555e38ca751ca89658eee323fa3b55155fe8f27c41f67c084bd9748e8bbfc5c00ec4fe39f3ea76af2c432026d674fe54c1f0d208f02d4248a163b52083d9483047efa4da90a0afea8fe0c225721083506b30239f4b9742cd567b42a0d7eb2e704022ed001ef3670d21211b2227e3690e41666ca4b4caacd36015cdf1baf36c0067110a00e808c1e891ceb313ce1859481000d4d72360970a1ffbf298baf9e89010bc5cecbd87acbf7ee818c1431a3f3c8149d9c39df754ff876f3901384d0770029e2bd79549ffc22f0931485263d4a28357732eb592ed941313b17dd5a2a50059146fe94ba05042ce38d33467eb25c756bcbe0eed215960c7cf64380aa435f04e970cbc645618767f018a74691fe5b7ed8396dc760bfda302e87892365a8f502e7af00d75f59fed834ffc206647bf90609c4970d8cf6be37a2f7eb3cb1cbee06082dd4b939ced5b1637dccf9096d19f0f201b235f937880924ce86681bd09402ba65619cf4e3189dccce82aa721181a5478708c1b22250ad061cb81648eb150028d2debe5f6b846f0bc3aca3dc3cc985beb2f17b1760392f51b29c34d50553060d7da265647ec01a3dda7bf548730781dbce7ef736c719c5e0d67855b61eeb03392a44f81db51cc287137791e9883c518709ebf722031ab81c23820f78f4d2022cd03ae9467f13b3ba3b139310907a5308ab1318d235d93052e960928f4c8401696b1706971d8488de213e965212d7952fd632fe39195f6ca33e9931783d4700a3cf1e9807e1fcb8098ee65784b76a7f2a223bbad83fdfb21eff4d0470931d05bfecba3947420aee466dc9ba065e41aa7d9a2788d7c1c89ecd9a0cc43eddd5062d313653cb5ab33578a23c97441c1381bb643acbf11c473f7214fa946c58150463fc391d9a431b93dfc51f9bd6cd8c98b553b06c0e9467d937dc2c0686f60400a4522d9bafa0842aafa1a90172e2e5e7f05dcd61662ca81643d1a8c2034bf7008433dfccb79a5dabe1844d11f8417ff67557b7e4a785f617201ea16feeac18019b6fca985c077dffddb6623bb6e33cf0604272c6dd0432e5b692059172fbea0189da7527517decba0338f9024ba8887da98546798e86d75ae3f0cdc8d18ce907b2fc1a0a0ffa1c2d9757bc68a0aa79a7ab98955c2f06c27066c09ea00354ca002ff4d161745f1cba56dc78b07fb88775ae94e36f1644e1a0cb9c1ef5933c5406053c34a2aed8c2b4b8a651833703057ef3783de95e5f116679f15695049fed00014aead2652c125aa8b9e4df29b6e55c9f460aadc447d24df792c7215312fd068ff0c0e2924b6e8d3ab6a20da0e7b86207e5289d2475284fac7f51e805396b02ff738e9f76f63dec0783dee781f0fca6b5982a2af049b907f109b8c2031a52057d5efb3f31ce5b5d5848ea9582e3413f5d8b60b450606c786ed8caf205c0a1053caea6250c70322ba0e4924970592c04d6d6c01e2bd4ddec49fedca9b94cab011d7db5aca2f56e7e49a8008226dd6f4a933256f61494d4d8b2f7c0720ac4ca0469383e0506d786a6f22524c2ee3255a66494457c2f3560c8756648d05eeaf9047799fc22d1bc40a3919d0bcbf228b633c3929acbda0521fc66c93188c3fb1505f42b7121000e856f2220656b19b30262c49cdbbe148d51046508a08ed8da7d014e444f9dcca0b7d09564bc290640ebe2df48cdcda057d1f4f3eee13cad95e707c2eef2d628efcae11693e271eb957a7255c004df8a6ae321befb167217876107bb9b83a137b1b5afe43d7c6ab63eb71f1c2d65a162402e2c8940cd351c4ed50582cc8b904ed5a5d1c573bd4a300dc85b1afe763a1374851a32c51a7e6aa5ff0210477da1a8c3c00d08a9a016ef135a89a04be2de95daa1377f367580ccc59100e52be69f9523a6b84e1646ac7bf53378df7a93952de5b2ccba00894975f2350124f2ea84645be55b9a06f473fb2c575a7cf0a9220b68e4a07cbd3433716555000590330b2e75a4c5f709986708c88c7590f5d6337070e1793d0705b3d3490705db59653fcbd58097d198a2a4a057aff223a50207b68ae3e17bd6b852a3fb1007135f0b2754086695fcd54e885eda6c97fd5bd9b782dc38d337bce9f0cb5a1002fc9a9f215d317bb89a4672c340d0c891683cb66b4b8318b2cad9b14193160c04452a5b0ae1dbcc0e246d2f8df2e10fde8f07cee9c20dedb18c24401db3c92a030e36adae934ddcd2f77d2acd916560b5deae7962f6d0111de2b3f76fe263ce049d91a5aa725e9a704cf8a05a715dfae879b85bd5cbe0b7c6d552f001284dbc049bd6c40b8d9a955724dbeb44662e4830a22ff496767a93e8124bcfe1a5d8aa00511e772cac4c20b903ae59389b79339b421f734fd3207d14a203be01ba38e20680d34080dffb613d264357701be775c572961d00dfb6df4480e10fdf4e7de1009319bf06364c4713a9de25a87016d878b029108930c31cb41b04086220423105cf3cfe22a75fe1b7fc5f2845f45235476c10fca2158bd821ee122f476c00a10268e21c4eab807230e25c7ae49feae7432fc3f7e971a1173a94fe10bf585dd2035df31e34d5b36309b2e7a8e2497a2aa8e673efcb1dcaa3fb6573221a95a91e00eee7385940598a78c9fcd8eff617c3bd6d76a118e39bf74eb0a39591c5e9230044b78b2c3144f0b0afd6fcf981aa3b6370c67c16c3a21e8127bf574fa7eddc046d76e7db93ae0d5e59d8c3eb578df05775757dde4a23ba215073a6e9e5d4ae021688b3b1f723ddeb1a7b55bc7e26f7a9635454bab6028ef30fd170b1daa8fa03a029f3c9d4d45b4a285cb07bd8fee059b2df9de75cb02d9dd04637f52e4de305a4885460a7fd42a95e5c620b5812e5eddcb99f35c2fdfc89229df7c6707c570dad379bd6e36a61999e82922619df63f48e754400000000000000000000000033ad9bb14cfef42cbbe721c7d0e4ef06bceaa858000000000000000000000000045d50ba949b7923f1addd55ade7394b1de8e0530000000000000000000000004f973150479e986d3d7c08c0acf58701687b8482000000000000000000000000cabb4395269ddb06979f6edad7d868cc30fbabb5000000000000000000000000c2db0a2049f74c7558622d97cd783d094864e259000000000000000000000000dc79eaaa73c784471b5a875072ca0cc092612e4c000000000000000000000000e2cca933a7749a6540157c2c07e10c40eb67f6fa00000000000000000000000049c1aec870dfba8a35abac1f041e91dfd503edfd000000000000000000000000b5378dfa8d1426c051bd631f001f521b839e908a0000000000000000000000009a2d4fbadab07080264e448ea004f2053ec7dfda000000000000000000000000a35fecaa8835bc1b33d9ad05e08763b4b67b0f7700000000000000000000000067a5228c970141c1e36a13b0d078172d8889ecc7000000000000000000000000c7806ab24b61cf2325662bb99191b067a6d84dbd000000000000000000000000a23ac40289ff47845e42ad1d198d04eecb3fef4d0000000000000000000000006c90e976148eefb856f93ddafadf5077157f6927000000000000000000000000dfbbaac0365b2a35b2b9d3f58fc0bbebc3416e9e00000000000000000000000030238916e2aed01ddd60f5f118deec86d69e89d1000000000000000000000000143418c124038b40c56fa110fcb98ada711ff7a800000000000000000000000002b61e82c149751714e152ecc5ccc11c64fe836b000000000000000000000000e85700fc4412a6e6f78d5eba6f40bc6b0f46a5470000000000000000000000004b3213db09752f727b56f4a2c0f346a855904996000000000000000000000000434450d26ecf2a03b97003a4bc2a177782d070a60000000000000000000000002fc254a789129773ba0f7687b84e0ca786164fce000000000000000000000000a8239d386d9d299011391027b361a3202aa4f8aa000000000000000000000000265ee876141f08740a3b03d4323dd4db4b46bca70000000000000000000000005c0f832a47478e3197a7271db0e3b1c85f076051000000000000000000000000f71eab6bcc83614f97307fd5de05c3df338a687f000000000000000000000000072ec6d7c8209cd466e792e6ad07f185a34be1b4000000000000000000000000cc4fb84f36b0da7d71b07dc145e77111addb19ca000000000000000000000000ade94c0bafcec2306ea8a998a8672c154e3e80a40000000000000000000000001002e03e7b4d580c2a0b30f6bb52ca239f588db2000000000000000000000000644ce2779f98d26a8a5b8c88af80709bf6b64117000000000000000000000000bcc64606c4fe6469d9d2706a427fa1319468481e000000000000000000000000a499e75deeefdb805b4f85e9c8c557d9b355851f00000000000000000000000030d014db575d1c8518dcbac80470bb9e870803d0000000000000000000000000ae869201bc3a2db44e772b61421c2bc5f29944ca000000000000000000000000fa75e14f1abccce7999d5f77ff6545dde7b0ca6a000000000000000000000000fbfb286b755ae36ebfaadb255063a78912a033010000000000000000000000004513838b601b877f96c9c6225f8956fbc62b2f5e000000000000000000000000621cdbf834d9b9e8b1a1ad092ec7dfa53761b4e7000000000000000000000000e6c63e7e523b00e5beba109b668019011edb802a0000000000000000000000002971c8eb6cb8abbc670c8a43d4c6c2755f8f1f3500000000000000000000000062acd2b893a2de1aae6cd53bbcd3c7015b2ebef6000000000000000000000000731ab98dfc878934e9a1084248aedc4b1581994b000000000000000000000000e173c4ac26520d0b76f2fbdac890af5982069f2d000000000000000000000000767b04538172673dc92e5a57c81a80d2dea0a629000000000000000000000000de132888fe1e0de9a390389dc3e15dd6824458eb0000000000000000000000000d72a2f3b740de0b495c7ea8d4559794944670900000000000000000000000001e2ccc5328507c3d3bcaca612fca1660ccc53d8b0000000000000000000000000c991d2e012e0ea3a3d7c0d542837c6d4692ce76000000000000000000000000a74742909a516b15b8ca6f0e860b534dc6eab3c50000000000000000000000004266cd3f7505eabdd0ef994224cc776f344b9949000000000000000000000000fc5dc8d5252c2146eee360c2bfcc292188ca1b4d000000000000000000000000e45e014eee614bf86d2a83627b838716fdfdb68a000000000000000000000000782f7537ac25c3dcb13e954375b93b37562afe4f000000000000000000000000fa95acec0d8a1e0fecf25d69616e9beeafe0993d0000000000000000000000006434c52c568b8bf22606aeda991f208d926b04430000000000000000000000007abe5d9288843c5b637dfc5c23b8d29f45c30f9a0000000000000000000000003ec1baafcfc1727e2ced0ff74b831425eeea9704000000000000000000000000ae56593ad529b1113fedb1f11dfb1ce1a695563a000000000000000000000000be9c1d1e081ef843e813d35d32411e585642c55f00000000000000000000000088ffa26caf70371152f21e0bfeb77273a801f2f4000000000000000000000000b82a8a90fe9b09477cae5eeed8827acbc14d5f8600000000000000000000000047a3b6cd9a7a002ad885f457a7ca1b0a519f9a5a0000000000000000000000002c64d42ae735da8eadb36a601782ab73d90832f00000000000000000000000008255019b109da7f5d85a6de4b239abb27c7a1308000000000000000000000000a8350935520409dd0ca74a60f20768d19795aac60000000000000000000000008015cc64c872b683876a2013592a1b5a9a627a58000000000000000000000000a1349cb414a50ab1068dcc76a06e43f21dde8724000000000000000000000000b97ade2a14c3d4d27310a542f8a04ba334bf7c4c000000000000000000000000af4dc0030a48d89bdc77a2f31e82f7aac0bf40b6000000000000000000000000ec217c20f7ab9fc5800408b3134dd72b6340dfae00000000000000000000000082cb6d5e95a68ef18f076952a476047cc7cff008000000000000000000000000b14a34b2c4d42cf858799c24c623f1cf7c348122000000000000000000000000ead3f9a98871f83cb0803e257462cc392cc81e38000000000000000000000000adcdd7308fdacab5b1bd03b2c892c0b8b8e60ce10000000000000000000000003c78c9d479cda388f3b074d082a14b50e754eb96000000000000000000000000ab8bf5487c7d5a5dd74bf580a8ba1c8506ed5e3e000000000000000000000000d2f8a8b2941f54256d757c1e173ef5608985b64800000000000000000000000055af35192e697abdf1646f3f53cfac6fbd108c8b00000000000000000000000037f1b303fdb3abbf9c68938c197d8c04ca46a04c000000000000000000000000adda57dba370e38869ccc10c962b41bf11871a05000000000000000000000000445f9f102f759e7122b8d561c591cf8cabd5bc2300000000000000000000000044b6b368f86b1350c27c87ab0b26cdd8555dda76000000000000000000000000446abd21e1c6311432d38240f1297a7c9c5d6405000000000000000000000000f46013f2bc4cd2c9276e1644f32a018e62d993c20000000000000000000000000bb0eb6a933a414bd975399be0012765ea15d2a200000000000000000000000033dc92aa629c5d090527c73a734f7a3728333c3b000000000000000000000000dc280155a1ba88c75cf79e89ed84df7bc78ecb6a0000000000000000000000001f2b835ca1a992cc72d29193eec2f1d138d31a580000000000000000000000007df2107a24269257a67f07dab44e5d33adb13981000000000000000000000000226535bbd66b8266f155a2674b65c830182f139b000000000000000000000000d5d24095eb7f8d9793b4369c6e6a907587ab90a1000000000000000000000000ff7d043d4274338acf27bce0cf4518d42c74e01e0000000000000000000000006c0c4778451c1830994214fc4427bb4b8177eb4200000000000000000000000053a902e171a385c7bb84381235e1e6cfebdff5d2000000000000000000000000c28b12267cb8e09ccb57040ffac2c9773de013e50000000000000000000000002a9b87067bb581b8a4920e9cda18d6162fc78ad40000000000000000000000008a1b6a3b2a30cadacbe136027c2511ce699703870000000000000000000000008d75ba840de389a11e5e2d479547afbaed7e93fa000000000000000000000000c1582ab77512cda03a3fbd4339b81c88ec31c80a0000000000000000000000008ea0ac19f4eb32a5d1ffab420f1ce07d9ca4a1e50000000000000000000000004cfb50033bc4fe5abac0904bf96e252f6457244a0000000000000000000000006a6e7f2ca927e4c2b5f60d638c07b1202f754f27000000000000000000000000fedceaf23d2126e9a72b79d3c34d8331972f03730000000000000000000000007eb1a27fe2eb567d076e7209caf1fae0ae8aba99000000000000000000000000fc21ebf277569f6ffb7ee3cb1044826b405727d3000000000000000000000000ca0d3ed2e6f4758e080da0e2c6e56f157632223300000000000000000000000067128e2df5bdc14727ecb81d8ee5ea7b4df61b870000000000000000000000001cb63d46268fc481d9c994a0771774e806d16a06000000000000000000000000abb491dd388c351f7457fde3867dba67185e2e7700000000000000000000000086fa9bcfe64e0fe4052b1d086a9faec3b0c060b60000000000000000000000000dece7070a9dc65f7fdac7f1e2fded211c47f98500000000000000000000000081eedfd77be409e0cbc4f9478d041fd561d7fcef000000000000000000000000b2d65b8752a53dfefae1003884491ecd396a66170000000000000000000000006e6491184c0c7e230c0134767cc6bb7d02194d0c000000000000000000000000be768e84e2327b76c0a9540106a0af069bc795830000000000000000000000002ad07d654c850a25847e28c2662ba5f996ad9dbe0000000000000000000000000b0aa59938c55904fe41db8d814c8afbb87abacc000000000000000000000000fc72ef1ebde2e1dc459385f8c4ca5a33aede4814000000000000000000000000c87e2b6a2fffdd6d6e9c60e9ad13ff59dd89793a00000000000000000000000077ef5189d47f64b80e7f0879b3c40f822529c03000000000000000000000000031b10e9d9900c30e5e70ed3c27130c82083ec6a4000000000000000000000000a258cfed2390165ed31a3c44c57fc2e37b2d5cfa000000000000000000000000f8294350538295864313218b5c430db259f3a2c8000000000000000000000000d8e2fd410212786558eb48b031b5dadc6992cb6c000000000000000000000000c6ff6032c09ba12b9d4d53dcc02f6a5acdf066e20000000000000000000000004dd9b28384c6e8e4928f5d3f577d5beb761f4eaf00000000000000000000000015f3a59b4d225d102f4b9f8964ca0f72c8b5a8fb0000000000000000000000005f18d33bd7971ce409148cadfa7d4aeb88f2e1a6000000000000000000000000cf718ee9b9456c2531b60eb772de5bda1afb23a1000000000000000000000000dc13dad26ba03f0139e4f51b30da967ada1e197d000000000000000000000000149abbbfefa2f4f6b136b10296d30e06e7667358000000000000000000000000dbb919b21f14baf66a095516d23167b164707612000000000000000000000000aac4d3dfe8c2db2a9e51efd5db38b2b837cd19700000000000000000000000002115298b5c31d7f3f19d6b351095701c825a59ca000000000000000000000000058a7a2d94c2f64e7f4ff6a97f8251bf486efc57d3d6cdff9685c29def45fc660069364b6e84afa6f485fd1e34fa94206a6011ddffd3f5171884156e4b6e8d3f06d5c9d5afa5ce93ebae221230111c431273c847d329b89ecdc1a5c78bda7967013c87b18c8c3a3575f7829c178e37b18365251c5e422a434300b01bf4a787cf0308f304093b6762575f22437f63b00735d68e17378eb7ca15ef22a122b66235024a9162059fd9ca1cc9550f56a4cafa81d3374648d8ab779b34bba7f64cd0be056a43f938f84d579679f0366f0ee79c107844e0673be3e3fadd7c93adc629ee07d29b57b55872742259d25e68768516f2c9b739e93e03dff5388c74a8cc0c7507ef15d0d22fe48594b52bf4ed099998f41725f9eeddd3fae32ef84e0d8c88ce0222e5b38096c23ee7784b553e762f6dff50c899d255daf2f419c3910c9c0e1503b27c294099179d848bf7c4acc74a916d0d0570fd267f7295e4b94721c8708406b501ec02bc6fbd11f4167c080e40ca472db285b0f1d655ddb7d23868b1996d02b3089d255aa7778c9d9eb9d9bdc3dd2925499cdcbe5b9f5bf121a42ea6d33f01b3289f12eed550256d3878d8426fbb5c9f6f268914f75c35e2b68005e1f28804c6b38be2d5c412dbca86120e8448a4bcef89029fb51224b51843781839a51c0673d914749c7414709cc2ebb63dd0365796149dd0850073da6222a5ad020353077ef9c2bc3938fd58d147e9beb51affab05d11837522ba1e42b659499ad6ea901052b2d44a9d5038569a95416f924b9631386071cfdeda84041a40c6abcf78d001183f651ada85e679594e77696ccc2e0dea8d5e66bb97902ffcdb7a3b6d9b50461446bd6fdaf1cc08f97518298084987e5b645a0ae7d3adee7487416563c3005e1896e4513a37dc6ae2651d3c33ef1822fbd344c36c26de613e96b955f186901252f28656a8dddff812a68fcb2cda4cc38ef0bcc845586530643f1213fcd7702756f8ef0de4d3d1657ea9f51062c20790ed4d323fdd5c49fa0c62cc0f78e2206cd6beaa9e322489af4310f9e099c6e636809253a21bf8b6fb2bba6c75e388b063469c2f400e37dffd91d1139be7271eb6ba8fb0d8966418c34de93d7f1e3920449b740fb6ba1479bce585bca2885cc993f3cbc7b4256c760a8971cee09104103a7e5b596a2c994112fe41aa39ab805b7c870c87ec51eea1d57e2f5d79ec0b7055e7989e6ad8f88659e581933fd40f9a9ea7832a7d5511cb8d9dcc2dddbf86c047761e93cd2303c979ee72e08067eaed0c821011d76dd362aa9bc32c0a514e50179e1679588143d827379bd756a9e2cb3d00ee4e34e12949c9e12b5f7ebe0ee03eb151f6254536ef0503dd594ed05f3486d299af2ac31103ff79540b502c4fa041609ff9909bb42e63658964f20b95f69980e2ae64969c0f6495e1bce0d972d02ee75eef20fa55ab55dd1c73542062a269dc30ef24744783fe3813165aa138d04ad9c1255ba9e405e2c273f61a952ffb4bced28f4a46691a3b189319bfbc463023f83bcc7709e11acdd8c83bde12690b7030804036f306995a57a0ece9a674101765e46ca0955d396a0357777a7eb3f5d37b84de456a9f67e0309ad29c2e237065686c467a5e1694179fd11362ce9f4fb455d0eb9a111c3bd3677d0e1fd444003b3fcb705045ed8e801533b7fe0c75262a064068f9bc70c3f8b2ab6cf06188a0127688d1f673af8e15852192e01a0940870addec0ef3cf6011902bfdd75248e05eb2c2889a9125913c97cb8ef4eb70ac3a8b4d0b61918f0c389382eb80a95150365b6f05ffab393d7a3dcde9bf1df92e14c65aeef5682bcd888543d76663a5b00aeea7fd3c076881ca6f7a7507b9945e4d00840ba5736056886f4f435c2c18f05b3f5307e4839772ee7d610eff835bd439601d8e2f10b7e841ce6f082abb946051ef1623e8d67342cd310819ef1acbb913d5ee23ea9c0471df3c8a21b48d1d3052a6069ecac8421c29fe20eff2fe3c97d502c753083994cc34bdd32f6e99ab2066c0841ac74823d2a40b2ed497d061f7110b16fd9c5cc2f77dc077a62d0fdf5059bb8a770a19843fe36db763c4b9cf19d4162fe87e7cabdf763a900f0dd546e07b3f37eca9d632cea54c01cee97e44874b03365f5718942c05be75fa4b55150049c31c3356f5df589ce63cd7a949a827a7fe64f9e6fb08964e1c7d42805771c00983f7cfab7379c14b26aaf403b791b77b8991eb1894f35a8366e640a6a3a060036452ed3b001fef6235ab2ce7595e42792099e1735c195b7e2bf1242339bba07022a145936cf4562a7e2d3e0658be72235d5120d7cd0de30d07b73766d32b607bd2f9ef64e4d6fb34eea6db1515d044b5fdd3d4007f4462fd0c962f7078023059b645b0efd8bba3454edcedde5064f82780c004e3a3d1e302fcd15fb313a2c02d3c9729b8421ee2bd489c050786ccc7831ec7d5487578759ae72c1d2893da600a8cce1e6d8b6f809e6792c1402b4aa2be90f28c23a752af685a9106fc5f7a800ba65ceb67c84abdf0515c34e4184c3c389fd48bc0a616a240e36cb46dc8a98051917d24c3b48d6bd8c0384dba821c15b0243b111e40f42bf1fcc55ed7b45b205ff0a8f889308c22c5351e3078d57475bc31386ca22f8539757e58c394da1ab04a9481ecdae3e6d91e4221dc0c56c14ac5af803d762e6ab2b6a2f5d410944a106e0c2dd095330cd39ab017db8625c6d5e1ba5042a0120eb9a829e2b1db03216052c99533cb27e6b081cfff7967e90d27855d2ff53d9f2b728aaa7de2d0699c403b13547a397dca6d2db720156eccde047927f97ee53b5d234387ca95eae7ae4008e5418b487f6e80ad89179baf9c849582de2bfc5b405e3746fdc31b432ef5a033fb6ad28a00412a9bb65d5fa0a554355d479b4b443db1f9a825759db27b4f40254528639741e6d57a4ae610534732f30e64354e2d4f276be8ee2fe4898ee2204930ad495477fef4e6ce0a5e3ae4fe36e2964189ce4fb7c8ce5fe231644591a025e7a24b677db4bfa8a1de747df2557945c4ea646b299258f96f08d115bcc77005955c115fc9dafb9fd209456621c003b32e66bb75902ced1b64b02ca934f3004a6ef25cdfc16ba53141905a8163fa8732865f7cafd6d67df942ac16009f94d0744b6cb18afc748d9d442d431d0481391c70eff93d31aa82b9aabaf169e22b0042e5eb9b4a7cc1873851550e93c5319c7b85520eecc79bd968b9a71a434189d03bc827afade06abc528139b011fe6ba7146de6eca448c960a012bc05102f02d023bc905578ff3274d3383cbc4f574e2a2aaaac9cba5451c61699b7d2d7b86f605fae4e62554f9b9c775e8894c555bb8d3aaddd443c0156de50c0413b7b085710246f1935552cb42dcc4fb52328e1dd869b38af135581d964068e62d8b04197f07442249fdd4ebf0a008a7dfc93d1b4bb1e8de7286c24e8941ac7a795837987d01237e0aafa85728ce05f47dd45c12d5e554f67fe9f5b01651d39d6236e9c4f6074d1f820327516bade3e6bb586b336f1cfd0a2da760d8b229ae498efd9c848300b6f5d7eaee2b69daec08504e707af181c9ce27090d5a65301f91417bb226af0223efd140396dd10748fb333d240950e6668f0d9274e65f4ab2184efa70d6ee066248fa148842e6f9e73a62f31daa87ca2a0540d06ba9dcc0115b339994146507e7c5a12bb8723340c1412363e7058f77c216aa0f7913aa77ea32ce4d909c0505c3b90d90e395a74a97e80de2fdc20d3ad689a6b6db63a833c0b4d55846c49606b47fd3941eee6630b66bd085c818c7e0c1960bbc3a72738719c258cf238f2807704fefa5e4337b4eb823656266f319eb5be1ba040018bf9261784d7e822e88048db9ecacc481511436efbd60dd9488c6de64877b82499c5a9f455a9d3e859807cdd3292bec18a68860ebfbb47e007dff5b6b7ecaf2aaacb7790f1cd708d2a5030214679ab545c0734708bb84ac9876559c779df7626679d87eb562c780801104d03565893274b49083280c96f41ea5799118c0cb8864361b8c9117e74f580506345479444b928106858e7e7b40f72928df9b99e193e48c220b596aefce80ed067ddf71a64c400c0f03c0c067cde781ea322203c41f551cecec2e4aa0aef3b702dbbdeba550d788adca19ac90ed937aab0649d157321fb3ad8b8bf49616a1d0017c51c8d80fe420f0d5ffaff00a796717f337ec4cc6377d7bca4604070fa78f040a3d1ab2333748b8fedbf15d575988f21cca86d4c75b68ce5442c7cdadddd003ceb025772fa9429734690b9ca920df17c2eeaaedb2d57e4123e8a168bf41ca03b8e22875a70dfb2501eeefc1766bc784ca2780a4750dfb35de1e7137d23364011e2e729e5cd862ae8deb2e581d5c619d2081dc16ee4cf5524341a39ae17316011f2efcdd93ba55ce60121b4d324425bf6f2b25d82ba6666f471770362cd589045e1ce0bcb9d523e26315aad86be48067a231989725dbfaefb680c8c72b043e007107fcc016e170eb5b26efd5f8f9eb28b79d0cc085ca7164f16c93614c5a0f01354ec5674fedfac8ee953234e3cbc2ac078723982db66ba73c0f386b96199903b577e037602c1be2b59b8b935432f95df3d37461ccba7925dfd0a0232e440e00e6f31dd61d851b0d2e4c5e17e028ce78c62790173fd556c8c8b4bd63f9e3c5029440e7e9122deca07a55ae0c05f6dfdc5b10f8f26eea21bdf27860202a93a9055794f214ceea21802d0ae09fad1e96aea6be5c73e3b05c8084a0fa0b599f7806d2f4a094ac95a4c54c3abc51f4cfca4a65caf697b3966c6149097f047ca2bd01c3114a21663505000fff4e6d69111b5ee3f1b698c3456691b58054df595e800422b18ef8bb9b247fba85568fee1e1e2e98e124345f77e2c0963beeff674c9d070efcab1706248c08a05648bcc0e0772e21d474089aa790da8bce4d46eb7b4704260b3b39d76566332154ba66ed74932b67873440ca33c2df01abc64422de1d00e938b0af6a11efe6ec6b8b29a9ebc0727a54550d7a7f8e59522871d51b026f04987cc46f6b81bd2f034fb03a3bd5609a5f57c1428deeec28d4991b597f6bc406660dc13df71434c25dd029d9ff8969fa4aaf41de39424c1567cd5ce33d179904da5ff768d4c53754525d5e4d2eeec8801f3cbb268349e7c118bb115083a4010098e787c88227a615fbf233c1bbd93403c1ec514cb4f189d1152fea098a60880244e7578a3dc66b06ffd95cbb9cf4f66ec37db87d157d9e8d9667efae0d1bd6015506fdcbbb0e53265acdec05cc1222bf216ac2437143221cce98b73150d6ae01fc7219e86aa521220d7525c9540c2757e4a71622606d3534b9bd6410f10079d351399e1520aaeef48e18008f2e36ecbfc5c865000000000000000000000000eacbc0795e7142707d19c823044e1dbfdeb1941b000000000000000000000000d6a94630528abf7e4c6a062e759ba7bf3ced51be0000000000000000000000007c6b470248fc9fba286322f347f41fe7e81dbff40000000000000000000000001cd453e7dd947ccd6bd81af22d99e015e8c0f38f000000000000000000000000599029fbb0747fed81123fbdf26a21688d52704d000000000000000000000000393916fa5609e0d58763702a4e787e25df10939a0000000000000000000000006826879aecfb2104b41026cda00952de2eb1ce67000000000000000000000000b530340d499a18623956eb2ce9329c4f3268974800000000000000000000000067dde2cfc7db20ad14dcd675b3d1489185c1ff020000000000000000000000006db5c9a4cfb00f0516ea5753c444f3352331ee1a000000000000000000000000a9dedf0aeec7fc8180a565482c630e35443a9225000000000000000000000000f7ad8d6e65a1761131ad237528968e910653a27100000000000000000000000052f6c3a540ba18029d684155148cf51a7b9c43600000000000000000000000009165c101d68c65a30b4849ae181bb3660809b1af0000000000000000000000008d32be754d43103588f686fa96222da67376c29b000000000000000000000000355e1d0f3b80effc33445299c12374cda5dae1a900000000000000000000000050a7e28000ea426f800cff0c4b0c05531071392a000000000000000000000000ceb4c6a8fb63c24f1448f4bbf5fd4418e5dbda8100000000000000000000000067efc3917815d2acf6f38fa076d5e82a1c597477000000000000000000000000ffbbe6c10605051254263c1c013b93b91163d5d4000000000000000000000000108b4cb7e88fb5b735fcda6a9d86985ef355491e0000000000000000000000008ec2554e562bb834419ec4a8ad879b7276fc3f20000000000000000000000000ff50c89b946455d352ba399f99af06b64df3efe500000000000000000000000035eed5bc5731b52fdbf9c46813086124645118490000000000000000000000005d8ca248302802e144ce06156fd9b45cd7315ebb000000000000000000000000de86078e911127cda9e852248968285e48a2b023000000000000000000000000ccc1273a9608db709995e56fcf05bd85e60be88d000000000000000000000000c9e43f5bd2eb04d19c6fe87fdc7ea84a06ab81950000000000000000000000000131c16b1dbf998fd41c49a46aea98d69ead1fcc000000000000000000000000588698cf4cb74a919e5273f515f4137110d473950000000000000000000000007fe893c8b80946c86820aea224853ca535d99a8b000000000000000000000000e1083655cc164692aa9f8630abc0ce31b0886e35000000000000000000000000cc5940a8889a33734c337a9900993561eb609986000000000000000000000000b8e6f72263239ef41c537fb278a5d82f8b8b77bf000000000000000000000000ae3fa54b9c20afa9db641e2b3fe5f23889173e500000000000000000000000002e0fc6fbe89eb43cab754c82ff51ced387203547000000000000000000000000198615d934f5d56b88b4612851022eb984b0aa21000000000000000000000000557b94a0ac56724bbd2dd337b06ab0481e1b5a19000000000000000000000000b1b306ca261d7c2f93548c4c70d8e37ca79cfe260000000000000000000000005274e24036274e1c200818acf6fc712df2f3541600000000000000000000000093d680a01e214ff54a08229fe7695ccb320c0ae0000000000000000000000000de0a2fffb4d6226797ed2774e1e9ed236b7642b700000000000000000000000090575270b31644eab70511d740df8001213cf112000000000000000000000000eac4572b8e731a9c68a025657606fbaf4044ba8a0000000000000000000000004271209495735fede3a37125ab60312dcf417f3f000000000000000000000000fd9851a230ef0e728371cea08ff15eae5e1e39d100000000000000000000000060ecb429b5f64ae76dd1ec37ea241a5f62053de7000000000000000000000000be8d7a7481cffdbef2eeb3d941bbffc4c6c96be00000000000000000000000001d7ca37cd282316ade73ac609316dd6f2f3330930000000000000000000000009cc69f9365439e4eae9e00e8cfcb6621712fe32d0000000000000000000000006f6e1135802c30118046dacadc1f53e8d3e870a6000000000000000000000000bd1ece78ba3ea75ff2d6d76c1d50ee8900a257fe000000000000000000000000363be8586a6d13a58552ab141c84d72f5897187e000000000000000000000000740832259989c094a964bfda9aac63490b6376f6000000000000000000000000927429a4a74d2caeca2fe52616b24648af17d192000000000000000000000000dcb132218b99e65d4d93304e0481b38d42cd624b000000000000000000000000e513f240816348a36ea5659609f3de8d140a900a0000000000000000000000006b8a40fcb0f2380d79444c63302585c69685bb41000000000000000000000000671720af6af5891d67088d0495b9509062c1c71d00000000000000000000000020229f89978e0efe9c3cb6fd5e57ee66cf6881e70000000000000000000000000b1c65f0ff058373da43727e7c76b93f45832f3f0000000000000000000000006f00d1acfa524c4ee0574d13a45d7aa96cd19fd7000000000000000000000000dc0e752b7cc764dc300d5884f4da20d6d0f81e1e0000000000000000000000000b22acee496bd3a7768c2e3ece366791cdb64d2a000000000000000000000000ae994399f3bd4bce49f86972f519b8b620095cf80000000000000000000000003f4f4dae90a93da7f0dcce33b4d057348d31289d000000000000000000000000f26f56a9e26945da9dd60cf40911af6196c501950000000000000000000000005c6fbd62cce8e35bd7af2fc1f37860bf6912539d0000000000000000000000005fa9808c551fc2307961a0493abfb7f9164ca4c20000000000000000000000004cf7fdef0e5df4572387e70c89ef103d0245781f0000000000000000000000008be1904077a636e68901ab03b0783fb114e7bf0b0000000000000000000000003410255a42e421ee9ae938afe64f2deb8c78ea0a000000000000000000000000cfc7016b55a883de447cacbb8f1f83d4cf7b041d00000000000000000000000047be957aed6ba4602f5985a0ff20d2dc0516b6a4000000000000000000000000c5cbd1faf733a4975cdfc1c47245ee221b61fe1c000000000000000000000000db07f4cfec8b22fe48426e14dd03ccc96a56ce7400000000000000000000000031bfdf28468dfaaab44559cc23593c97d66989e4000000000000000000000000316e91a0019cc9e7825ec1cf25884e68c7babc1e000000000000000000000000cbf19cec5ee8dfa860268e2ae050b22849e8e8370000000000000000000000009e81a66340c0ed862606dca289ff762f07c966e1000000000000000000000000d66b5ef0d729655c80291a34cbc3baa2f8cf40fe000000000000000000000000415f2f1529123076f7922dffbde6ac047185b85600000000000000000000000098f182e600cd0453d388147e42aeefca4d89fdaa00000000000000000000000042bd429328e4db034ea1ebfef907f7dae3dda2bd0000000000000000000000009cafbdbeb605d72f812867f70535ed2e2fc8046d000000000000000000000000", "proof_parameters" : { "field" : "PrimeField0", "stark" : { "fri" : { "fri_step_list" : [ 0, 4, 3 ], "last_layer_degree_bound" : 64, "n_queries" : 18, "proof_of_work_bits" : 24 }, "log_n_cosets" : 4 }, "use_extension_field" : false }, "prover_config" : { "cached_lde_config" : { "store_full_lde" : false, "use_fft_for_eval" : false }, "constraint_polynomial_task_size" : 256, "n_out_of_memory_merkle_layers" : 1, "table_prover_n_tasks_per_segment" : 32 }, "public_input" : { "dynamic_params" : null, "layout" : "small", "memory_segments" : { "ecdsa" : { "begin_addr" : 353, "stop_ptr" : 353 }, "execution" : { "begin_addr" : 34, "stop_ptr" : 95 }, "output" : { "begin_addr" : 95, "stop_ptr" : 97 }, "pedersen" : { "begin_addr" : 97, "stop_ptr" : 97 }, "program" : { "begin_addr" : 1, "stop_ptr" : 5 }, "range_check" : { "begin_addr" : 289, "stop_ptr" : 289 } }, "n_steps" : 512, "public_memory" : [ { "address" : 1, "page" : 0, "value" : "0x40780017fff7fff" }, { "address" : 2, "page" : 0, "value" : "0x1" }, { "address" : 3, "page" : 0, "value" : "0x1104800180018000" }, { "address" : 4, "page" : 0, "value" : "0x4" }, { "address" : 5, "page" : 0, "value" : "0x10780017fff7fff" }, { "address" : 6, "page" : 0, "value" : "0x0" }, { "address" : 7, "page" : 0, "value" : "0x40780017fff7fff" }, { "address" : 8, "page" : 0, "value" : "0x1" }, { "address" : 9, "page" : 0, "value" : "0x400380007ffd8000" }, { "address" : 10, "page" : 0, "value" : "0x480680017fff8000" }, { "address" : 11, "page" : 0, "value" : "0x1" }, { "address" : 12, "page" : 0, "value" : "0x480680017fff8000" }, { "address" : 13, "page" : 0, "value" : "0x1" }, { "address" : 14, "page" : 0, "value" : "0x480a80007fff8000" }, { "address" : 15, "page" : 0, "value" : "0x1104800180018000" }, { "address" : 16, "page" : 0, "value" : "0x6" }, { "address" : 17, "page" : 0, "value" : "0x400280017ffd7fff" }, { "address" : 18, "page" : 0, "value" : "0x482680017ffd8000" }, { "address" : 19, "page" : 0, "value" : "0x2" }, { "address" : 20, "page" : 0, "value" : "0x208b7fff7fff7ffe" }, { "address" : 21, "page" : 0, "value" : "0x20780017fff7ffd" }, { "address" : 22, "page" : 0, "value" : "0x4" }, { "address" : 23, "page" : 0, "value" : "0x480a7ffc7fff8000" }, { "address" : 24, "page" : 0, "value" : "0x208b7fff7fff7ffe" }, { "address" : 25, "page" : 0, "value" : "0x480a7ffc7fff8000" }, { "address" : 26, "page" : 0, "value" : "0x482a7ffc7ffb8000" }, { "address" : 27, "page" : 0, "value" : "0x482680017ffd8000" }, { "address" : 28, "page" : 0, "value" : "0x800000000000011000000000000000000000000000000000000000000000000" }, { "address" : 29, "page" : 0, "value" : "0x1104800180018000" }, { "address" : 30, "page" : 0, "value" : "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffff9" }, { "address" : 31, "page" : 0, "value" : "0x208b7fff7fff7ffe" }, { "address" : 32, "page" : 0, "value" : "0x22" }, { "address" : 33, "page" : 0, "value" : "0x0" }, { "address" : 34, "page" : 0, "value" : "0x5f" }, { "address" : 94, "page" : 0, "value" : "0x61" }, { "address" : 95, "page" : 0, "value" : "0xa" }, { "address" : 96, "page" : 0, "value" : "0x90" } ], "rc_max" : 32769, "rc_min" : 32763 }, "version" : { "commit_hash" : "INVALID_COMMIT", "proof_hash" : "INVALID_PROOF_HASH", "statement_name" : "INVALID_NAME" } }