rusk-prover 1.6.0

Local prover for Dusk Network
Documentation 
1

0400000000000000f6cf8452d87626d2effe978200a5400d60fe904a8d5a535a8d1b7798165d2e4d624320a4b8406b24ab2e4fdd4365f1329f945ad072eb9ddb4bce43381bf13e170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000009e64b29056a9e1b7a4d257958327a38fba2c9989771f86c6859c44161140134a000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000b2063fc7a2b8da9a5e0942bb3f92e4a8c9cebc84c16de583a7bb32cc69022112000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000c8f49ef20c29db7f9f004d91df36541a90f5d271abf04cc55b067d9ab1366d540000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002082c178da62f3450c88d61620a4d1f93a307b829076818689ba07f8f3a4a44f0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000007237782c35041b0e1262acd1c19f245a8d837e2e5c3dfc70e2b93b53064dc86f00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000027c9af6cab599d4436a0ce5f96972b4f3f98cd33ec02701108fe66b6c69f3c390000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000008b3b1ac61f676be22094bfda321ed74b8b715e6aa7992e6a1363b845941abb2f000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000add7f3fb681efac4f1f593fd9d946738504269598e230def59cd7ab6752d0d51000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e0876cc6cf6e0292703d2a4a56ecc28ec9b27e37c7b53b1f55fc1383e2e9524d00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000096f3b41cdc1fe0ee7ae86e17dffe70329c9ddf7a9ac9955ff126a1fb4fd8413d00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000037c5c835fca0aaddc2925fe815ca8fd623c738fc2d1e9c2ad93b4f556e68e81200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000057304589a1a164f99f5af2b6a90ac8724a793e1d1cb92c4c35c2227fe813e84a000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000178831e44c9616b834251c704ec11e3879e9d1a63d694bc5806addd359fc59230000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000004b219e7ba712fc7647b9726b2ee6de34a50c99f961080259ce9437e9f3a4f84b000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000df430f4f3a2f701c2c388b34c7ea00e250a57c886855f331c6135ddfa98cc83228e9b1074cd80740a7a99c0ee989bd939f1a712ecd8ee43518e4a950329f74644e440270a99ed22f10d50c124186c58b3c22684132a8172d78b6c9302872d84900000000000000000000000000000000000000000000000000000000000000002fd72260707ae8f633e73c87d8c37d67a1ac079d9238dd3cea5833e43ff482514ff2fba5e71136532148282b2cbc42c7ca9f461af258223c926367435b0da946fefb0b82786dd47745c05c178f4a05a932327d5def84b43a9a5f1e6686f009647e7adf68f91f49bae9ba446767a886c46a9cbc884afcf1178df57d0cdb7ed4360000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000008aeead3f3f56c278fdbf6293ba8f27466f53e787c112139543bea7f8b11d1558391d595ec6366e6f7dfd01198b00d0c1811c6c826066cf88733e4ddfa8933b5873ba23edd844f9734935991dcf48e080046d9adc086abdcbe8762f5e27f2ec98000000000000000000e40b54020000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000003fc981a85211c64bd18a17d5d5b72395cdd2a8ebdd7200f8112b91cdd23e28e400e40b5402000000000000000000000000000000000000000000000000000000000000000000000005bfb898474fdfbba494090bb456897f7ef4ed062cf25bb2b193d65bff9f1d1e829ed4b010eaaf84ccc03216be14eb959ca4a10819fd2551e99cd4ebfb4651031c044700d1d94c2131884b2cc8dc9353f9e88c444dd1990196c8e8431a005a9b87fa178b821ca7115835528603dcdfe9e5a6ef68ba2614099f4133c552cf7141f6cf8452d87626d2effe978200a5400d60fe904a8d5a535a8d1b7798165d2e4d624320a4b8406b24ab2e4fdd4365f1329f945ad072eb9ddb4bce43381bf13e170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000009e64b29056a9e1b7a4d257958327a38fba2c9989771f86c6859c44161140134a000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000b2063fc7a2b8da9a5e0942bb3f92e4a8c9cebc84c16de583a7bb32cc69022112000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000c8f49ef20c29db7f9f004d91df36541a90f5d271abf04cc55b067d9ab1366d540000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002082c178da62f3450c88d61620a4d1f93a307b829076818689ba07f8f3a4a44f0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000007237782c35041b0e1262acd1c19f245a8d837e2e5c3dfc70e2b93b53064dc86f00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000027c9af6cab599d4436a0ce5f96972b4f3f98cd33ec02701108fe66b6c69f3c390000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000008b3b1ac61f676be22094bfda321ed74b8b715e6aa7992e6a1363b845941abb2f000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000add7f3fb681efac4f1f593fd9d946738504269598e230def59cd7ab6752d0d51000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e0876cc6cf6e0292703d2a4a56ecc28ec9b27e37c7b53b1f55fc1383e2e9524d00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000096f3b41cdc1fe0ee7ae86e17dffe70329c9ddf7a9ac9955ff126a1fb4fd8413d00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000037c5c835fca0aaddc2925fe815ca8fd623c738fc2d1e9c2ad93b4f556e68e81200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000057304589a1a164f99f5af2b6a90ac8724a793e1d1cb92c4c35c2227fe813e84a000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000178831e44c9616b834251c704ec11e3879e9d1a63d694bc5806addd359fc59230000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000004b219e7ba712fc7647b9726b2ee6de34a50c99f961080259ce9437e9f3a4f84b000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000df430f4f3a2f701c2c388b34c7ea00e250a57c886855f331c6135ddfa98cc83228e9b1074cd80740a7a99c0ee989bd939f1a712ecd8ee43518e4a950329f74644e440270a99ed22f10d50c124186c58b3c22684132a8172d78b6c9302872d84900000000000000000000000000000000000000000000000000000000000000002fd72260707ae8f633e73c87d8c37d67a1ac079d9238dd3cea5833e43ff482514ff2fba5e71136532148282b2cbc42c7ca9f461af258223c926367435b0da946fefb0b82786dd47745c05c178f4a05a932327d5def84b43a9a5f1e6686f009647e7adf68f91f49bae9ba446767a886c46a9cbc884afcf1178df57d0cdb7ed4360000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000008aeead3f3f56c278fdbf6293ba8f27466f53e787c112139543bea7f8b11d1558b96a3c7c1dbcb4d8cdd8ef13e50e84cf6480116311677676269d3e662cea608ca9fc77c7fa13173062ea1ff039d2a65d800c18277cdc3ce924433b5611bed3a1010000000000000000e40b540200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000033b7d0281acd796e9ef59bef3d1b665814a4c5ff0dbd1e3f7ae2d12e56eef01500e40b540200000000000000000000000000000000000000000000000000000000000000000000009004e2be5215e6e68bfa93c9fb264d37a24a00522f13b0e84fb2cd36cbcd4d519236a6e0e1478b16e7759a0dc2cb5aa98d31646ceb12c9778075248196e7320e1f40a7534d52b2d9ec060757a58a52c296c744c803950b22f181739364edfb589fe9f0270777cbb39c825779ef18371718ef1ff42df5a0e6ff4c0675b4bcbbc6f6cf8452d87626d2effe978200a5400d60fe904a8d5a535a8d1b7798165d2e4d624320a4b8406b24ab2e4fdd4365f1329f945ad072eb9ddb4bce43381bf13e170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000009e64b29056a9e1b7a4d257958327a38fba2c9989771f86c6859c44161140134a000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000b2063fc7a2b8da9a5e0942bb3f92e4a8c9cebc84c16de583a7bb32cc69022112000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000c8f49ef20c29db7f9f004d91df36541a90f5d271abf04cc55b067d9ab1366d540000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002082c178da62f3450c88d61620a4d1f93a307b829076818689ba07f8f3a4a44f0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000007237782c35041b0e1262acd1c19f245a8d837e2e5c3dfc70e2b93b53064dc86f00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000027c9af6cab599d4436a0ce5f96972b4f3f98cd33ec02701108fe66b6c69f3c390000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000008b3b1ac61f676be22094bfda321ed74b8b715e6aa7992e6a1363b845941abb2f000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000add7f3fb681efac4f1f593fd9d946738504269598e230def59cd7ab6752d0d51000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e0876cc6cf6e0292703d2a4a56ecc28ec9b27e37c7b53b1f55fc1383e2e9524d00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000096f3b41cdc1fe0ee7ae86e17dffe70329c9ddf7a9ac9955ff126a1fb4fd8413d00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000037c5c835fca0aaddc2925fe815ca8fd623c738fc2d1e9c2ad93b4f556e68e81200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000057304589a1a164f99f5af2b6a90ac8724a793e1d1cb92c4c35c2227fe813e84a000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000178831e44c9616b834251c704ec11e3879e9d1a63d694bc5806addd359fc59230000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000004b219e7ba712fc7647b9726b2ee6de34a50c99f961080259ce9437e9f3a4f84b000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000df430f4f3a2f701c2c388b34c7ea00e250a57c886855f331c6135ddfa98cc83228e9b1074cd80740a7a99c0ee989bd939f1a712ecd8ee43518e4a950329f74644e440270a99ed22f10d50c124186c58b3c22684132a8172d78b6c9302872d84900000000000000000000000000000000000000000000000000000000000000002fd72260707ae8f633e73c87d8c37d67a1ac079d9238dd3cea5833e43ff482514ff2fba5e71136532148282b2cbc42c7ca9f461af258223c926367435b0da946fefb0b82786dd47745c05c178f4a05a932327d5def84b43a9a5f1e6686f009647e7adf68f91f49bae9ba446767a886c46a9cbc884afcf1178df57d0cdb7ed4360000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002000000008aeead3f3f56c278fdbf6293ba8f27466f53e787c112139543bea7f8b11d15584bb2c20f5e388d50e610cbcb033301e0dec8c4da0c85b500d9cf228a6210861151405cb5918e5fc928682253973f03d7ea79fa0157b0793c86025b87de54b228020000000000000000e40b540200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000015d7358f6bc496aebf93455a395b5cd3d9e7543e742fc042e93249e48fa686d400e40b54020000000000000000000000000000000000000000000000000000000000000000000000e28617bc83449802c3d3c24e01a1e7f454d308e9c179408ebaa19b4237beee04d35e314b6845b65a6ea7fbe430aededb6198b6255bdadc7ec5de7f545cc516021cd74ca0f147888c06513bc256d1c667760bf87e3e0507e8c01292c68e30cbae7d58c9f77a747340cb2cffc989a214959197642ae37e02f4eaff94c6df01efedf6cf8452d87626d2effe978200a5400d60fe904a8d5a535a8d1b7798165d2e4d624320a4b8406b24ab2e4fdd4365f1329f945ad072eb9ddb4bce43381bf13e170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000009e64b29056a9e1b7a4d257958327a38fba2c9989771f86c6859c44161140134a000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000b2063fc7a2b8da9a5e0942bb3f92e4a8c9cebc84c16de583a7bb32cc69022112000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000c8f49ef20c29db7f9f004d91df36541a90f5d271abf04cc55b067d9ab1366d540000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002082c178da62f3450c88d61620a4d1f93a307b829076818689ba07f8f3a4a44f0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000007237782c35041b0e1262acd1c19f245a8d837e2e5c3dfc70e2b93b53064dc86f00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000027c9af6cab599d4436a0ce5f96972b4f3f98cd33ec02701108fe66b6c69f3c390000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000008b3b1ac61f676be22094bfda321ed74b8b715e6aa7992e6a1363b845941abb2f000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000add7f3fb681efac4f1f593fd9d946738504269598e230def59cd7ab6752d0d51000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e0876cc6cf6e0292703d2a4a56ecc28ec9b27e37c7b53b1f55fc1383e2e9524d00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000096f3b41cdc1fe0ee7ae86e17dffe70329c9ddf7a9ac9955ff126a1fb4fd8413d00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000037c5c835fca0aaddc2925fe815ca8fd623c738fc2d1e9c2ad93b4f556e68e81200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000057304589a1a164f99f5af2b6a90ac8724a793e1d1cb92c4c35c2227fe813e84a000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000178831e44c9616b834251c704ec11e3879e9d1a63d694bc5806addd359fc59230000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000004b219e7ba712fc7647b9726b2ee6de34a50c99f961080259ce9437e9f3a4f84b000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000df430f4f3a2f701c2c388b34c7ea00e250a57c886855f331c6135ddfa98cc83228e9b1074cd80740a7a99c0ee989bd939f1a712ecd8ee43518e4a950329f74644e440270a99ed22f10d50c124186c58b3c22684132a8172d78b6c9302872d84900000000000000000000000000000000000000000000000000000000000000002fd72260707ae8f633e73c87d8c37d67a1ac079d9238dd3cea5833e43ff482514ff2fba5e71136532148282b2cbc42c7ca9f461af258223c926367435b0da946fefb0b82786dd47745c05c178f4a05a932327d5def84b43a9a5f1e6686f009647e7adf68f91f49bae9ba446767a886c46a9cbc884afcf1178df57d0cdb7ed4360000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000003000000008aeead3f3f56c278fdbf6293ba8f27466f53e787c112139543bea7f8b11d15582dbbaec8a2acb879b48d311f1264b1aafe6bf26ccc0bb250af7a2e19e8dcdc38909f6752c16e4b44e054622b7c9e76004ff9fb323ed63332ffafcf9d2e2da5ad030000000000000000e40b5402000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000a8d95e6bd5c8ea1c86ac418c3dd61c86808dcf807dc0f5566321645c737fa6a200e40b54020000000000000000000000000000000000000000000000000000000000000000000000926c2a881448e2d9a29edfdf98336658bd2f671020302569072d6781b592a43034b224ac2ccd660171bb87a199586e7453d24ff5fdee97e2f4e2a2c41620550b3d719348f90a28943743226d09599c4bf5770751b9a48f73b6c65af9f2f0caa2a5e9f05647db6f1f141dbd06b8feb5c185acf85a70a636c7e872f2416d93dc3ae8030000000000007db07dcb2b115d73452d373eccba3c8b55502095b4f23f76f524394aa2f8ca9edd9d50faa9c0caaa2ecf590aa44b9c58e14635257c60d4dbd6517019d442da0a04ed0a4888aa513ea729c646b32bdd5556b0fa3fea55673c9bf2710534f4e56a9d3dd5e17dbb7fa03b93470341977bb2e32c13a6a0c1f1d254a2fe5b8424714aeb8bfc5d1e77774941f456f2066478336363266f8ed9be4fd118fa52da08976ad85dbd596fc0476c779f3e2e7b5e58b732cb71f9ca056a8828cf845885a22f17b924e151fc3caeea7f071f62b70e05a0c86e838f7cb710ab52c357b36e85080dd709a376d587632e3bd514911677a605141c60a5064d9da01f15dfe2c0ca8001c2d274e9cc6e3a69bdd339daaf0bdef37d3d278d6461e6f91bda1e0118e4fe0a18f8f9d8080000009a9b4b7718cb7cb7ee5b3a07086c95f70fd03e0bcbc6bd95090582e4fd1327a8c7b431dfbd52e1fa38dce2244ad525b47e6cf2dba4180d357f79fcfd3f68fe071edc22946dc1dfdd5c088344100f7860e74e5699790c38427246f4288e8a1b36593c527cd9ed46cb3f65887ad6c7391ed7f99eb3ae399205d535f4c36cb1f2503c751e7348c601417e90961d702597370621d00d368fb92a8311db8aa65cbb966185254a600262555177ef42c4ede260249eb20e15f00fb94a1ee07ceb38b2b4921309c3c09d1df9996f48e8046eb924a44ba22a6b33372b2fb4140db2fa4496b3ab17ad2857521903f9192418be17bef70e29cc1c2bc3dea0d6967f4295e70c24c2ea72ea8fd6b56bf13f318bdaeb7dd6aae38766d7fb739c12e8577fed8900c946a849cf9ac45c60134957d5c133d1b8b1346d9ba5b8b0e05ae17614d57d53f6cf8452d87626d2effe978200a5400d60fe904a8d5a535a8d1b7798165d2e4d00000000000000000094357700000000242807afc2af7b1086ea75c69b920c948c22f753ba1624a74b6de9cdb64303335951eeef6a8bb247dfef9141e8524b13d408533a11de737fdc420942175106653ad1850de2ba1102dbf6971221f0bb179b5c91dd1919f3e6a3693af8050a270c826f9f1f7541c82b2cabfd38863b5ad58b3c22eae98634c6b109a244c4ba4c01049d3fd718c3cc6125e18b979c4b85556e71578ed0cde2c8b7374f38a1e46e08911ec5fd4dcf289f24e1a01a0e6cc9e4e392fb65476def465fc1bea9b8fb0f4c