Adjust sol fixtures to new interface

vlayer-xyz · Feb 2, 2024 · b94b284 · b94b284
1 parent ed41736
commit b94b284
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 4,383 deletions.
diff --git a/contracts/test/UltraVerifier.t.sol b/contracts/test/UltraVerifier.t.sol
@@ -17,7 +17,10 @@ contract EthereumHistoryVerifierTest is Test {
         string memory proofString = vm.readLine("./test/fixtures/example.proof");
         bytes memory proof = vm.parseBytes(proofString);
 
-        uint numberOfPublicInputs = 4498;
+
+        uint numberOfPublicArgValues = 1 + 20 + 32;
+        uint numberOfPublicReturnValues = 1 + 1 + 32 + 32;
+        uint numberOfPublicInputs = numberOfPublicArgValues + numberOfPublicReturnValues;
         bytes32[] memory publicInputs = this.loadPublicInputs("example", numberOfPublicInputs);
 
         verifier.verify(proof, publicInputs);

diff --git a/contracts/test/fixtures/example.proof b/contracts/test/fixtures/example.proof
@@ -1 +1 @@
-021d461b2a1b81b44a35994c1aa8cfb23347d3369d5bd1977c885590ac313d46240649641207f250de0b848a8071164ce9441dd6837960acca247ca7ed9c6599118c8d4c224e62f6aa1e16a96d761d968c1b0feb88a78a24c538673884d1019827ddff1f65114e00142036d3b51255df45689dbfec7473311b046f199e1df121106f14cc07487c77d9c44b10b7050f92eb6aafca8f8a5f5c856b1ad15969c0d90066c8dd2f940e86c1b14d5782fbbcd1eea68adc27c0e63b12232429a182e1f5004b0088d8490fbff069efd6b3410c6c83e48e4e1523eb4bd6d0cbfef7b9931214cbf1b2056c9f67dd23e119362bad0acd27e75997d5230556ba8d79975f9409152e9cf795ede442d5ffdc01ea2ae3c92fed2ada0911ffe6a0a1ccb65247a09a2866718c2cd40d7f1052b468d3ee765b4c6d8abd3e3c94112db6dbb3359002a22b576003cd93725f55c8bd23f05c41d01283f15d91518b415e7e1efdcc86bde1011c6493160b7c7d2c288e2559db78a12d23a6859df32992897534c4941432701ea70917a8018687a924f5d9780499c395a3d61624a6358488bfa7c3f55612711c8952fe8226c42ab00ec561d523c76e85809f41d0c8afcd6bfd974a063c57da143bd1f6f88f951135850395b00cc2724664ac89648721fd465bbd00eb7464940541e5511656f8c3ec08ffed11d9bc9a08ea88ca3000ff4ecd79fc26fe5927a01a3453e2ceaf05783d6e3019c0d546ffe82c082985ee6cbf7153d5b09308bf291e62bede8aed9824498c3e9afbb50212c3156a54bf5a88886043af46db24d978060a37737ab05fd5f776470f3ba0d18736c7939a539cadc958342f536f456e8112f088fc4111a249184a09ae17516dad0f8703067a86a24c319f65c3e1db63d6281a5b3b1b9b57540a72a79dbb1cfd1b4c10eeeff1520172f1cc92a9cf3b7aef17d5e2f272355e6457c6ebcff8162098965d7358a05c0d74afcabc604500edbf2a9f55e1464c8fc52db0b403330a966bfe027f705cd740b5db84f8d98f3245ce1eaf8c0a18b65bb56189d76148aa39f740ae65446c4f82e2d6ca8e42720f2dcd0f8c77ea68b21b9cbf5195b2a95b6585db9b0fb76bc6a1e76abd5ac6387e8b760ee3691254ef3b0a8cb848a63fe087041761ed0a5218f20375a6232d5f787f902396f7e4e4ffa600c46c49997e6cbf02f318798850c12a454af8aa616076fab4161a863860490bf6acb11e9725021a818eacab47c179302c45866dd1f6d6e066118210e108885bf163f8e781d979c906e74e61fb80f105b877a0cb2c78df38f013cef0175429ad9b884bdad871363c5e12e6f2205c3d2f4f31883509a635f60a0a780c98ec8abf20495315bf01b557d405a2185f491ff20f90509664992fa0962309f6a373249bda80409c09b0c36acb89dd77b82b9f47e856786e81690ca9291c0d520882d99d6458e1fd1ba839d7ceff46ecd20d50e572654ea1711553aa5417231cc3d92148be100803fdafbbfaf2dc0566bb1c63fd250e916da86f265b4e109161a08ee0f39d2e6037b9ea0e76785ada54822314c15f85cc131e5a1b69ee147aa1b212d4b63756ba5fb841aeeb9220d28e58ed68b94dec7ee8c10d6afa03088b3d27c604d7d1940b745264568c0e5bad7addb684301efcfc61debad080b31a212ec2c60ff0c5e7c8257c49c119b3e17ba3bc116351bf2f6229972fa9cf332c6634b6f4523938b9fd491e768a3d3f37134e2946aca8c3e64ca27cd61489d7017bb291a00bbdada5411de109dfc7f3d9f362f5baccf998fbd98f71e6787e330c1376a80f4706a0938405a572d7c25b1dddc026da2558fe23eb3b542da1ecb7165b30afdc952ed37c3b77bc45bc1a3ebd628cd4fabbcacb630704b0693664252fdda20270a98cd4688dd68eeea328897e664fa3fb944d34df88c222441624cd0b4bdbbb623fee3054ea190e1397776be41ec958770dd32da9cced66055764d007fd88270059b3c63cb828785249d278f00357c0456b61aa566da1c0cecc77f915d460fd84317fa9d8c2990b3e3b6cf0060a8951e3734f1d1f78757fee96ba93105e939ccc502f7d078aa1bbd966d990ee0d00982d67e81135ba07dd7714f33d0805d10e61ae9601a9d64af171a9783eee28763264fdf1099318c78bcef4f20d3034beda9941d2b061955ecb9823144943153efaeb9db39dac978bb28ec8b98d19d5888b351a5dff5534a4ba13585146857fb2f9a149e266d56bb276096d1949182573399e6070492f41830f5337bf61be0572f305cd233d905d1cfd1457352010bb5c2eb62c2c208378b5cdb416173d024161be0d6bde5971b04b3c96f56f3e16479e6a07bb9d46d9efb7e3248d461cb2de2e20693f3be8f462ea967e22c45610385b24f66b64c27e9e271e21164260bfc395575fc6a86ffc2f7e96fb322a5c114abcf5de7de75d42d260da29b34a8dc67ac393ebe4eda3f6bbdef36f7d72ab291480a340901a11fc23242db23dc43dedc141135f0b5f5b5eeb0cdd069f6e702d46d778cd4dc3d3491a56ac13b6a3d808c3417ad9cdcdda909d67836e646fea2bdd1323cbb7d2054212e1d14d0deaadd0bf327ba05806f163d1b8fe21fbd144149b415da03c89dc8e1a738d67f6e5a0866c70e5ebefeaba9b1bd242940e970215daaa2fd66df2c5e3673a2672bfdd3bca9e97e484932322c2b93a994e9a38fa1c410169eef9c41ebad4eaa64706833bd7ec40cc5aea141d10489341e8098237196d835132594570f510bb21af86557ae6b36a883a75da99b06b125f3a6a687a064a25f698f7e082adc6dc7f85eb2a512eaf057332b8e487de13651d408846ea2c9e9b2d0ca4768bed84abac952fe1cda6ccd182f7cf3a3875c0b26d9d6da64929253526231ed8f8db1033fded35aef500ee45fb5463e1c8c694a50c1ec95a83099a06e1ca96d23bed01c4a9ca53274562bd4e7e401d482555138fd797d8a3d921745ed8902e52e7708970661ea1873a184d0a8c5d8ae4d4ffb613755a0c065e
+06393096f3502f569d95be1c2525755a4e785ce4bc0fe720ff7e4418e70f30fa1f82d89d9fc3704727f33ee9e1f5b966188b993eda396673fe05298e99d2f502274e4c5f399f8d1427f0284e7681b098c88db5bd22ca4b9f272e85dab85ef78d0701f2b17a62299ee30dcfd34dc8a8834b6d973f065502d98e5382984bab7e7f044b16131be2ad1fad11f4b20e8cf7d27de71fe2c8028732da606a4df687393d08e8e66128e96383ce2c7521b7e3bed980bdccb20719ef01b52c05a02b40fd7f015087afb47876ed2bade0d6b93a2898a77d2a8854c144e8f0a8a10e1f0eaf65263c78ad0663676cdf2d0a63da16ff8a47c97d1ca72849fffcb07395382b6b952811e22b0ff1937ef78df2fd621b40ec1ba9dd73b1f3cb635384adfa4b1f2f1827322a49db14d0d3084197d5e3ea152c5edb955d1e8508982495e8e0f46adcfd025bf2d2ad853999da603972887f88ed8da561360e7ad025098483a664a2bc260e3d755dbad53259e2a12958221a8bd85cf3f414a738cf0785af5cf9404dd9ae1dc4991ab08bf47e817df158bef21acad8f134617fba75b5526e9a402e6207b02481cf3bfd560ea4001672f56cd00b967aa4dcd953f012588e259cf16fc2edf611f2082ef29db5c7c217ae1f31394135b42a4fb1d04f5352a1265b3ecacacf2e28a5ee35795e8ebfa59b615f83833ead983dbf5cb76db90858a787eb16b68cce18d6c9cb0de21b11a988f6016c4dd462121ce8b5900fd10b7e049f11387cfa0e06637da2d3eace38e8b50fe76079c8effa435b784679913a42739034af7a372b053b37f84aba2c120745303170c682b526d2f348a0365fa6b4cb64aa6ab7c86120d0cba27dd582a4f13e28595cf28624536930256749c3f0fbf5ea2b80bb29c82d7b6fa447b06842cbde731854b587ae1a711dc4c669b13db6fc0e6187c64a1705130b7cc07d0e2f1662ff6a22b018ae9617b98947b1cb11a15620d4842d1c2305d51fe7ab46ab4632d1ac1658739e781ab90c1b4873249a939e89491b2430af0deb7551eb8cd80e342e4c3f71262854f63e8822e4ae78f95e70d0b8eef336eb13084edf0df1347c48f2a85cd794a0f39b2f04f444c57049d00a8348fdd1e7b21a02b8d1c7debaedd212976fb5a35a76735c6e0c7518f9a7b75629914a68871b2c12fbec07ef2ed481cd15927664c556048a8e1ff9b70798e4e82065fb6871160d97b1e5ffd5af3b9a9b8152faca225d2ce86b87d9069e58c1c7bac2314603192a1492559c3e887a7f756cd46764a7572b082df9e621b89d2a723eab9b1936f92a464c8694b66b8482aa7cb7a861f8e39fd24ab9b598ce8f3551ed3e373ad1c8228ee6f34a8949eb8ce6fd0bf8b4584fe240f57591f7381249a3c9183e86c5b60c62b14b6b9a5fd0f8bda922b446221b01e741870b234ede6bb40e44e586549002884d45bc0800d2ef0a7e681b9ee08617d033abc5ce912c167b03399657972a0175afa64242ad01cfb272b12ee839e74cd4736ba120564150dcef6b301cfb091e8e18f32c2abd21bca7203abbadbaa53560b17c2562c8b25200c6182b336164230ff64601b8315230e293937ec453c3b4db9e95eb7e36990533e813f3595b280bd0ac15d4647378b9aaea4c2f8b9bbd4199df028816ea40094abaa2c8ae6c1e0b0d526f33e4a9bdd687fe78d54c24e761787d63f51f94e4f3a0ef1777b1b9bb0f0c02e929fa114761b9039808fc7cd65d6993dc5e51f7787b109be743cd59032366973a304c54574f071c486a5f07572a9c426d0d908c760a9569e2fa5973c51c3decca8937811e36517c5267803c7072b5d1c32274974504ef8fb227c1a1ec113f4ba8cfad17fee97eb73532923679cdc77f8c25dfd7407daf1a875c75ce6c05922b1d5f43faa0855d49fb15cea3a1049a45507276787a8f0e65c3193236732392b222e39aae9596712248e042eec890ce9dc4ac17406f3362fac0cf1c015f0a1f55cbfc0198f093e2dcfcfbf2f4e9f29fb65cd7acbea95737613ff2ecc6d501cf9cf7461e8d0695174c889e1786bb8358bf8b57006b5a298359c10ddedc712b12ac89d9a49b6c8e648ecfd08b347485c50f238de6386f8da9657fe8244d3a2bd7a038218409d767fbd293d43d6c883dd6bc790b72c4d6bd7e06b8cb982e0021b6034c1d350752cdf6d96ade37205df65a6fe1e0de7933b2a8d412dcf50046033930b28ade952891ab95f7d6012a8c59a3e1db77c160e893233cb0a5678a51077406d03235df00f1aec0e448274a076badf6d3286f7d5573990a8e628d809d263086b62bcac14a45cac32c2a2e0b1eb571a0b86bc5c535d31a187e44df921f23c6aae287c39d069b20760798ce828f18bb25547f02c53ff0bbefc85045d9eb041424a8332620c56cc9804669724a69152e0cd3efb8b7a1dfa6971063e81cae1de4ab7ff5a7e5ac772ab6cfa52d60fa065f8828cefeb216889ef877882bbe9200a689bfdd7494f41980f51b03d1833b1166d62b9e13ff6d38917f321c917d0c0a47f5bb39dfbd4f27474f69773ac75efbf18a3dce599515a7c73d13bfe8a955028a233ecb83b4e8fe1c44ef693bb7235cd001ffad13a83c2f14c9e9190457db01120caba6aa41f48b4fc6e38acb33823dca88a16182dd83bdbad642b21cc1a12a8103658c97e0f9d6edb3b832c6b01268775eff771cd349d8cb4883e2da66f4227ab89680d21419280df0ad21c9065dbabeada539cadfff54f0bee9039dfb362caae7b0fbf1533d25586092650187bd78303b57bbb67f8e1d4f016973637de41a8ec35810121e0d94d10bb89a8727fa84bf8516f647bf2e542467537d6f31ef26fe6a6087fb866fdaf56d0dfabb8f8fd49c2079b56f2d06aa15d561f3e83bf1272985183cfbf774f14b647f9d1a8ebba5cb2b151db4a3069a1b15ab9e3d927a1be711d7985e3279f028c2759d63393edf711969deb65a4ce7530cd8594166b411b96a05985c90eab35f3ad7e5394399b6a449847badebd6a748950f432e2734
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		021d461b2a1b81b44a35994c1aa8cfb23347d3369d5bd1977c885590ac313d46240649641207f250de0b848a8071164ce9441dd6837960acca247ca7ed9c6599118c8d4c224e62f6aa1e16a96d761d968c1b0feb88a78a24c538673884d1019827ddff1f65114e00142036d3b51255df45689dbfec7473311b046f199e1df121106f14cc07487c77d9c44b10b7050f92eb6aafca8f8a5f5c856b1ad15969c0d90066c8dd2f940e86c1b14d5782fbbcd1eea68adc27c0e63b12232429a182e1f5004b0088d8490fbff069efd6b3410c6c83e48e4e1523eb4bd6d0cbfef7b9931214cbf1b2056c9f67dd23e119362bad0acd27e75997d5230556ba8d79975f9409152e9cf795ede442d5ffdc01ea2ae3c92fed2ada0911ffe6a0a1ccb65247a09a2866718c2cd40d7f1052b468d3ee765b4c6d8abd3e3c94112db6dbb3359002a22b576003cd93725f55c8bd23f05c41d01283f15d91518b415e7e1efdcc86bde1011c6493160b7c7d2c288e2559db78a12d23a6859df32992897534c4941432701ea70917a8018687a924f5d9780499c395a3d61624a6358488bfa7c3f55612711c8952fe8226c42ab00ec561d523c76e85809f41d0c8afcd6bfd974a063c57da143bd1f6f88f951135850395b00cc2724664ac89648721fd465bbd00eb7464940541e5511656f8c3ec08ffed11d9bc9a08ea88ca3000ff4ecd79fc26fe5927a01a3453e2ceaf05783d6e3019c0d546ffe82c082985ee6cbf7153d5b09308bf291e62bede8aed9824498c3e9afbb50212c3156a54bf5a88886043af46db24d978060a37737ab05fd5f776470f3ba0d18736c7939a539cadc958342f536f456e8112f088fc4111a249184a09ae17516dad0f8703067a86a24c319f65c3e1db63d6281a5b3b1b9b57540a72a79dbb1cfd1b4c10eeeff1520172f1cc92a9cf3b7aef17d5e2f272355e6457c6ebcff8162098965d7358a05c0d74afcabc604500edbf2a9f55e1464c8fc52db0b403330a966bfe027f705cd740b5db84f8d98f3245ce1eaf8c0a18b65bb56189d76148aa39f740ae65446c4f82e2d6ca8e42720f2dcd0f8c77ea68b21b9cbf5195b2a95b6585db9b0fb76bc6a1e76abd5ac6387e8b760ee3691254ef3b0a8cb848a63fe087041761ed0a5218f20375a6232d5f787f902396f7e4e4ffa600c46c49997e6cbf02f318798850c12a454af8aa616076fab4161a863860490bf6acb11e9725021a818eacab47c179302c45866dd1f6d6e066118210e108885bf163f8e781d979c906e74e61fb80f105b877a0cb2c78df38f013cef0175429ad9b884bdad871363c5e12e6f2205c3d2f4f31883509a635f60a0a780c98ec8abf20495315bf01b557d405a2185f491ff20f90509664992fa0962309f6a373249bda80409c09b0c36acb89dd77b82b9f47e856786e81690ca9291c0d520882d99d6458e1fd1ba839d7ceff46ecd20d50e572654ea1711553aa5417231cc3d92148be100803fdafbbfaf2dc0566bb1c63fd250e916da86f265b4e109161a08ee0f39d2e6037b9ea0e76785ada54822314c15f85cc131e5a1b69ee147aa1b212d4b63756ba5fb841aeeb9220d28e58ed68b94dec7ee8c10d6afa03088b3d27c604d7d1940b745264568c0e5bad7addb684301efcfc61debad080b31a212ec2c60ff0c5e7c8257c49c119b3e17ba3bc116351bf2f6229972fa9cf332c6634b6f4523938b9fd491e768a3d3f37134e2946aca8c3e64ca27cd61489d7017bb291a00bbdada5411de109dfc7f3d9f362f5baccf998fbd98f71e6787e330c1376a80f4706a0938405a572d7c25b1dddc026da2558fe23eb3b542da1ecb7165b30afdc952ed37c3b77bc45bc1a3ebd628cd4fabbcacb630704b0693664252fdda20270a98cd4688dd68eeea328897e664fa3fb944d34df88c222441624cd0b4bdbbb623fee3054ea190e1397776be41ec958770dd32da9cced66055764d007fd88270059b3c63cb828785249d278f00357c0456b61aa566da1c0cecc77f915d460fd84317fa9d8c2990b3e3b6cf0060a8951e3734f1d1f78757fee96ba93105e939ccc502f7d078aa1bbd966d990ee0d00982d67e81135ba07dd7714f33d0805d10e61ae9601a9d64af171a9783eee28763264fdf1099318c78bcef4f20d3034beda9941d2b061955ecb9823144943153efaeb9db39dac978bb28ec8b98d19d5888b351a5dff5534a4ba13585146857fb2f9a149e266d56bb276096d1949182573399e6070492f41830f5337bf61be0572f305cd233d905d1cfd1457352010bb5c2eb62c2c208378b5cdb416173d024161be0d6bde5971b04b3c96f56f3e16479e6a07bb9d46d9efb7e3248d461cb2de2e20693f3be8f462ea967e22c45610385b24f66b64c27e9e271e21164260bfc395575fc6a86ffc2f7e96fb322a5c114abcf5de7de75d42d260da29b34a8dc67ac393ebe4eda3f6bbdef36f7d72ab291480a340901a11fc23242db23dc43dedc141135f0b5f5b5eeb0cdd069f6e702d46d778cd4dc3d3491a56ac13b6a3d808c3417ad9cdcdda909d67836e646fea2bdd1323cbb7d2054212e1d14d0deaadd0bf327ba05806f163d1b8fe21fbd144149b415da03c89dc8e1a738d67f6e5a0866c70e5ebefeaba9b1bd242940e970215daaa2fd66df2c5e3673a2672bfdd3bca9e97e484932322c2b93a994e9a38fa1c410169eef9c41ebad4eaa64706833bd7ec40cc5aea141d10489341e8098237196d835132594570f510bb21af86557ae6b36a883a75da99b06b125f3a6a687a064a25f698f7e082adc6dc7f85eb2a512eaf057332b8e487de13651d408846ea2c9e9b2d0ca4768bed84abac952fe1cda6ccd182f7cf3a3875c0b26d9d6da64929253526231ed8f8db1033fded35aef500ee45fb5463e1c8c694a50c1ec95a83099a06e1ca96d23bed01c4a9ca53274562bd4e7e401d482555138fd797d8a3d921745ed8902e52e7708970661ea1873a184d0a8c5d8ae4d4ffb613755a0c065e
		06393096f3502f569d95be1c2525755a4e785ce4bc0fe720ff7e4418e70f30fa1f82d89d9fc3704727f33ee9e1f5b966188b993eda396673fe05298e99d2f502274e4c5f399f8d1427f0284e7681b098c88db5bd22ca4b9f272e85dab85ef78d0701f2b17a62299ee30dcfd34dc8a8834b6d973f065502d98e5382984bab7e7f044b16131be2ad1fad11f4b20e8cf7d27de71fe2c8028732da606a4df687393d08e8e66128e96383ce2c7521b7e3bed980bdccb20719ef01b52c05a02b40fd7f015087afb47876ed2bade0d6b93a2898a77d2a8854c144e8f0a8a10e1f0eaf65263c78ad0663676cdf2d0a63da16ff8a47c97d1ca72849fffcb07395382b6b952811e22b0ff1937ef78df2fd621b40ec1ba9dd73b1f3cb635384adfa4b1f2f1827322a49db14d0d3084197d5e3ea152c5edb955d1e8508982495e8e0f46adcfd025bf2d2ad853999da603972887f88ed8da561360e7ad025098483a664a2bc260e3d755dbad53259e2a12958221a8bd85cf3f414a738cf0785af5cf9404dd9ae1dc4991ab08bf47e817df158bef21acad8f134617fba75b5526e9a402e6207b02481cf3bfd560ea4001672f56cd00b967aa4dcd953f012588e259cf16fc2edf611f2082ef29db5c7c217ae1f31394135b42a4fb1d04f5352a1265b3ecacacf2e28a5ee35795e8ebfa59b615f83833ead983dbf5cb76db90858a787eb16b68cce18d6c9cb0de21b11a988f6016c4dd462121ce8b5900fd10b7e049f11387cfa0e06637da2d3eace38e8b50fe76079c8effa435b784679913a42739034af7a372b053b37f84aba2c120745303170c682b526d2f348a0365fa6b4cb64aa6ab7c86120d0cba27dd582a4f13e28595cf28624536930256749c3f0fbf5ea2b80bb29c82d7b6fa447b06842cbde731854b587ae1a711dc4c669b13db6fc0e6187c64a1705130b7cc07d0e2f1662ff6a22b018ae9617b98947b1cb11a15620d4842d1c2305d51fe7ab46ab4632d1ac1658739e781ab90c1b4873249a939e89491b2430af0deb7551eb8cd80e342e4c3f71262854f63e8822e4ae78f95e70d0b8eef336eb13084edf0df1347c48f2a85cd794a0f39b2f04f444c57049d00a8348fdd1e7b21a02b8d1c7debaedd212976fb5a35a76735c6e0c7518f9a7b75629914a68871b2c12fbec07ef2ed481cd15927664c556048a8e1ff9b70798e4e82065fb6871160d97b1e5ffd5af3b9a9b8152faca225d2ce86b87d9069e58c1c7bac2314603192a1492559c3e887a7f756cd46764a7572b082df9e621b89d2a723eab9b1936f92a464c8694b66b8482aa7cb7a861f8e39fd24ab9b598ce8f3551ed3e373ad1c8228ee6f34a8949eb8ce6fd0bf8b4584fe240f57591f7381249a3c9183e86c5b60c62b14b6b9a5fd0f8bda922b446221b01e741870b234ede6bb40e44e586549002884d45bc0800d2ef0a7e681b9ee08617d033abc5ce912c167b03399657972a0175afa64242ad01cfb272b12ee839e74cd4736ba120564150dcef6b301cfb091e8e18f32c2abd21bca7203abbadbaa53560b17c2562c8b25200c6182b336164230ff64601b8315230e293937ec453c3b4db9e95eb7e36990533e813f3595b280bd0ac15d4647378b9aaea4c2f8b9bbd4199df028816ea40094abaa2c8ae6c1e0b0d526f33e4a9bdd687fe78d54c24e761787d63f51f94e4f3a0ef1777b1b9bb0f0c02e929fa114761b9039808fc7cd65d6993dc5e51f7787b109be743cd59032366973a304c54574f071c486a5f07572a9c426d0d908c760a9569e2fa5973c51c3decca8937811e36517c5267803c7072b5d1c32274974504ef8fb227c1a1ec113f4ba8cfad17fee97eb73532923679cdc77f8c25dfd7407daf1a875c75ce6c05922b1d5f43faa0855d49fb15cea3a1049a45507276787a8f0e65c3193236732392b222e39aae9596712248e042eec890ce9dc4ac17406f3362fac0cf1c015f0a1f55cbfc0198f093e2dcfcfbf2f4e9f29fb65cd7acbea95737613ff2ecc6d501cf9cf7461e8d0695174c889e1786bb8358bf8b57006b5a298359c10ddedc712b12ac89d9a49b6c8e648ecfd08b347485c50f238de6386f8da9657fe8244d3a2bd7a038218409d767fbd293d43d6c883dd6bc790b72c4d6bd7e06b8cb982e0021b6034c1d350752cdf6d96ade37205df65a6fe1e0de7933b2a8d412dcf50046033930b28ade952891ab95f7d6012a8c59a3e1db77c160e893233cb0a5678a51077406d03235df00f1aec0e448274a076badf6d3286f7d5573990a8e628d809d263086b62bcac14a45cac32c2a2e0b1eb571a0b86bc5c535d31a187e44df921f23c6aae287c39d069b20760798ce828f18bb25547f02c53ff0bbefc85045d9eb041424a8332620c56cc9804669724a69152e0cd3efb8b7a1dfa6971063e81cae1de4ab7ff5a7e5ac772ab6cfa52d60fa065f8828cefeb216889ef877882bbe9200a689bfdd7494f41980f51b03d1833b1166d62b9e13ff6d38917f321c917d0c0a47f5bb39dfbd4f27474f69773ac75efbf18a3dce599515a7c73d13bfe8a955028a233ecb83b4e8fe1c44ef693bb7235cd001ffad13a83c2f14c9e9190457db01120caba6aa41f48b4fc6e38acb33823dca88a16182dd83bdbad642b21cc1a12a8103658c97e0f9d6edb3b832c6b01268775eff771cd349d8cb4883e2da66f4227ab89680d21419280df0ad21c9065dbabeada539cadfff54f0bee9039dfb362caae7b0fbf1533d25586092650187bd78303b57bbb67f8e1d4f016973637de41a8ec35810121e0d94d10bb89a8727fa84bf8516f647bf2e542467537d6f31ef26fe6a6087fb866fdaf56d0dfabb8f8fd49c2079b56f2d06aa15d561f3e83bf1272985183cfbf774f14b647f9d1a8ebba5cb2b151db4a3069a1b15ab9e3d927a1be711d7985e3279f028c2759d63393edf711969deb65a4ce7530cd8594166b411b96a05985c90eab35f3ad7e5394399b6a449847badebd6a748950f432e2734