From 336396b11f295870bb83da1f48f1d50079418b34 Mon Sep 17 00:00:00 2001
From: Charlie Lye <karl.lye@gmail.com>
Date: Thu, 31 Aug 2023 11:02:48 +0100
Subject: [PATCH] fix: Bring back accidentally deleted double_verify_proof
 test. (#2501)

---
 .../double_verify_proof/Nargo.toml            |   7 ++++
 .../double_verify_proof/Prover.toml           |   6 ++++
 .../double_verify_proof/src/main.nr           |  32 ++++++++++++++++++
 .../target/double_verify_proof.bytecode       |   1 +
 .../double_verify_proof/target/witness.tr     | Bin 0 -> 8258 bytes
 5 files changed, 46 insertions(+)
 create mode 100644 crates/nargo_cli/tests/execution_success/double_verify_proof/Nargo.toml
 create mode 100644 crates/nargo_cli/tests/execution_success/double_verify_proof/Prover.toml
 create mode 100644 crates/nargo_cli/tests/execution_success/double_verify_proof/src/main.nr
 create mode 100644 crates/nargo_cli/tests/execution_success/double_verify_proof/target/double_verify_proof.bytecode
 create mode 100644 crates/nargo_cli/tests/execution_success/double_verify_proof/target/witness.tr

diff --git a/crates/nargo_cli/tests/execution_success/double_verify_proof/Nargo.toml b/crates/nargo_cli/tests/execution_success/double_verify_proof/Nargo.toml
new file mode 100644
index 00000000000..61aaabfcf5b
--- /dev/null
+++ b/crates/nargo_cli/tests/execution_success/double_verify_proof/Nargo.toml
@@ -0,0 +1,7 @@
+[package]
+name = "double_verify_proof"
+type = "bin"
+authors = [""]
+compiler_version = "0.6.0"
+
+[dependencies]
diff --git a/crates/nargo_cli/tests/execution_success/double_verify_proof/Prover.toml b/crates/nargo_cli/tests/execution_success/double_verify_proof/Prover.toml
new file mode 100644
index 00000000000..3b4ca3c198f
--- /dev/null
+++ b/crates/nargo_cli/tests/execution_success/double_verify_proof/Prover.toml
@@ -0,0 +1,6 @@
+input_aggregation_object = ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]
+key_hash = "0x284158f92a5305f662f78fc36a397fb8eb44d229fd22152e2dc085cad142c3c2"
+proof = ["0x000000000000000000000000000000000000000000000000000000000000000a","0x0000000000000000000000000000005e77a294b0829c1233b25f34cbd1e36ca5","0x00000000000000000000000000000000001efb564c6d131a2005503e7bc96dfd","0x0000000000000000000000000000003a2960d64558302ab11263ac1d4e99c792","0x000000000000000000000000000000000027934be1b834b8444d8974e4c1c9bb","0x000000000000000000000000000000a5e281184b833e3567ce8e285c80bd7dfc","0x00000000000000000000000000000000002ef660bd670bea9dc8e18192cb71fa","0x00000000000000000000000000000075b29302806ec08bb2c7af1b5463fc34fa","0x00000000000000000000000000000000001138c220233f7b40034a4f49a23ae6","0x000000000000000000000000000000c24fb0b91d6ea29b55a925f221c5b285d8","0x000000000000000000000000000000000013ff3e12b86654ca896bfd6bbedd69","0x0000000000000000000000000000005709282fede94015f85bce4c39d859e34a","0x00000000000000000000000000000000000fb8a86b7540bfdc1c2784d7943400","0x00000000000000000000000000000020bf9ff7ac6ddadf43c1f9128f13f66481","0x000000000000000000000000000000000012f42d353e8a008c1c65650aea9720","0x0000000000000000000000000000009b8c079fcd0a17aecbda82b255ac26131b","0x000000000000000000000000000000000027fe6ea46f3898befbae77137e493e","0x0000000000000000000000000000002a66a58be32207d7ac2e318e6d3235edac","0x00000000000000000000000000000000000fa3dfdf2bbf7c51f39b861dc44be6","0x0000000000000000000000000000003746eb9ded01fcafcc65c5d87f49141ee5","0x00000000000000000000000000000000001e65f8c6b1af063d4103022b38cd3e","0x00000000000000000000000000000046c520b61b4608d1bc2c98ca800765ebd7","0x000000000000000000000000000000000020434f43987d0f71d0a1aa2ed8f270","0x000000000000000000000000000000827b6b7c3b2a9c71a45a253a2a298c47f4","0x000000000000000000000000000000000009e45e0d42b0e22cbde0f4667e6288","0x000000000000000000000000000000c8150ed84dd7b794ce5427fe99040bcd3d","0x00000000000000000000000000000000002696a5d48bf45b5a80619ef91013d4","0x0000000000000000000000000000003a1caa16acc8da5032b2e836770312009d","0x0000000000000000000000000000000000237a8423952c1c64e1e7c75da9d7cf","0x0000000000000000000000000000000d8eb5fa6490a4cd67943b646d05bd0859","0x0000000000000000000000000000000000159ebdb4a5c764c0346287984ed47d","0x000000000000000000000000000000e862c821c535a49e93959d08dc9f2645b5","0x00000000000000000000000000000000000c440edae454a8865dc27c8de51090","0x000000000000000000000000000000a6973dd133a0e974b564e76d185a4b06b0","0x000000000000000000000000000000000016248ed7566da68af6f2bc248763b4","0x000000000000000000000000000000a568fd8430c974e995915c9265ac74617d","0x000000000000000000000000000000000006e205349a7913be4af0af8778a0fd","0x00000000000000000000000000000009fd63b6ca1767490d4ce191e7332fbdd6","0x00000000000000000000000000000000000f95d28c7e720dc455fd46a532731e","0x00000000000000000000000000000008d1b9d51b2425ddf4a15bc5307ea911b4","0x000000000000000000000000000000000001131845742cefc926b7d2b7dc4b9c","0x0000000000000000000000000000008dbc181365f1a3db87a66d527ca9d81ca5","0x00000000000000000000000000000000000a6f78cdcd1e2177580e6c89c23235","0x0000000000000000000000000000004723acbe295108f00ff760c0671d2d4bbf","0x000000000000000000000000000000000006058d93abb1d596501ee4c3f62971","0x08bacf9fdaba383e584559b8cd64ae8c04e670d9203f90c6b49efac7f00f5003","0x18541473055ebbcaefe15759125b820ed1c6b932af2659c5280bdf70bd5c09cc","0x161e0a0cb1aa6028cabb8ccb98646a9b0976618cad99bb1145c4d25cecef50be","0x0d353ffc0833fd6e1947133f5391544ed7dde0fbfa0109ec7a54baafb117b1ca","0x1a5209fd1dcf2705b7081b4e3bf7b2c33dd00ac4b2becfdf8ee7927703ea0357","0x1d247635110c48df6f62387026c5823f0eb9d843848fe7b8e1a9a96b1c6ad763","0x1cc4a7a8be5edc32432191b0ee2a9051d3b6384313c6b9e5efe8cd8712c872f2","0x2c8b6fa617041faeb2e814b39c288ff607ac03d746f3c0e622860720dfb24b83","0x1ecc99a77fda5d79a6426b18049876b36ad1a1aba693518b1b976360630c2f55","0x2f75dc15bb6fdd3d9762fe74485c5ead7a5476c11cd44ed9f43324028cd2dd68","0x0e20add7931c78604ef7986fe7b286ab582842a23b4c09e8ec03d8d88a31969c","0x2467bb747466b69b6b4deeaac4a82e32ca7585194cd838912a65d12f912b5c6c","0x23edab06b87cf9fd4a5f0161287283d97a9bcdbdd68779e08cad3e763420bd20","0x2817c054ad1ac5454f58ff525196ed920ba54fbb4d86820a5a414aaa61d7d1b1","0x12d63d1f6ed0a080694a209534ee08e4758b0382f9bab7e13aafcbcb62ecc8d0","0x153104c35caab490767364a7db8bca01043c63f358f20edd6205c544cf4a61ea","0x178bcc674a84c8a0839ca8ba82298b1d92edc463b82965d9895bbebe3ba7fb04","0x1224834d4b8a36290e11b8b153d81062ba503c36d6e7ef41916b647517a6e632","0x13112373ea4e5bf7e041a7312167b4f82653ead2f5e5e3d4d07bafd79ca690b6","0x26b7669e3463c6d162363b2cd0e8f6720aa97f9cdb04a8340fce7ead2421af56","0x120d09593529a665d992bf009fc6268a9088c95f401784f939d5ed1649a4e779","0x1c415baf2638f0c09def30dfcf650d56b0508544769813d1d807b1b114632d38","0x1e9c2353141304d0ab1874f27602ce733f01e5b4d5cf6acdff5dab2a80c0c652","0x20f6eaf701ed18e0b841b9051ca08f8fcdb346253506c1ca26b3a4a3ed1e5f6c","0x2351b29aefc72cf0c56afd17c33e50ac5c64a695943e18c64e099e1d597bf886","0x19e6940b385edcb090c5eccd28c74c3a219f24d41760bcd5b0b1b837a805941e","0x2cd7e4b967101d6ee0f2a33521762cace8ffe35930bc210554e8307df664c899","0x041f06de46e4862d5d59c363c119a79629261d6aa18aa737c288ac7f4bfb4153","0x2dc39620da58c2822418179ba6f61de6d31ee938c79a5ca15c473aef7ca1e824","0x00000000000000000000000000000000ffbd168649f4e00f0baef4ec3a08615f","0x18fbeff26a87cb38f373584bbd02d016fed78aefc6462811a23006679509b3a9","0x1888e78ad37d146406e710ae2dbd244877263b133875d090f7615a1e9c0ac083","0x2196fbe28ce9ce0e0e202bbf1268cabdcd0a2c03588e118765ba1ee1a16f2dc7","0x0137bc731354b1531dbdcbfc83802605035f69f937f9a7311a57e6d7126368ba","0x19f38da8f0717fe78812addd655ef59411805d70eb731d5da309ad111698e8d0","0x155452e2824d5bd4fd8f8e5feaa4bd7abe783613d6b78cf88377a48e9f7e70c2","0x2396966b07a6e535a9ae30883a97e854ff2425c6dcfa34bda164394ba919191f","0x09374f47b862065ac0ac49ceb02b5cc0d925af1980ab2bd5f4d9df555e8c4c91","0x26366e50b5c7244ffc3ecdf50a65180742b1c53092659bd1db852bdd726d52f3","0x12d13ee6d1faa21b7f810c64e31d7af08409f2ff2a669b3c7e4e82d1964e5954","0x2fd05defcf5fc010bb13908b3d573636ed9609163c210b3864f9cf59aa2f5fb6","0x00000000000000000000000000000046955fdfd58ca9013b39025ae688416131","0x00000000000000000000000000000000001d335d2fb9857cbc49e72cf34e86a5","0x0000000000000000000000000000000c6a8930092b36c72dbd0a7f4b65533c19","0x00000000000000000000000000000000000d099ff72ffae0f73756528d629a5e","0x0000000000000000000000000000008c8d80c3f2886519cb37a563f88f166cb8","0x00000000000000000000000000000000000393e9f6fdc31492e4b3da33fa5fe4","0x000000000000000000000000000000417fb818a6933554bf3ff602f1f450728d","0x00000000000000000000000000000000002074eb75888a752047676f72f5343f"]
+public_inputs = ["0x000000000000000000000000000000000000000000000000000000000000000a"]
+verification_key = ["0x21082ca216cbbf4e1c6e4f4594dd508c996dfbe1174efb98b11509c6e306460b","0x0000000000000000000000000000000000000000000000000000000000000010","0x0000000000000000000000000000000000000000000000000000000000000005","0x0000000000000000000000000000000000000000000000000000000000000010","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000004cf4015c3a5297f556c3b72581f2dca64d","0x00000000000000000000000000000000000a67b44462aa65528a3e3b181e0bcd","0x00000000000000000000000000000091507f347e13f13eec9d9f327ac25ada11","0x00000000000000000000000000000000001993946f40247aa93aedba75857f3e","0x0000000000000000000000000000005d340a5ecb1a33c0b7055734ef91200c97","0x00000000000000000000000000000000001eebbe1207643a8bd1669b999e8226","0x0000000000000000000000000000006b27d5d1ffba12754d0718481e1a9a419a","0x00000000000000000000000000000000002f08a6a07ed616c588bcf4e3555c00","0x0000000000000000000000000000003cbc8e573c1299e8ba491bd2218a413bd7","0x0000000000000000000000000000000000192b586ec6fb3b1b6d063a00a86c65","0x000000000000000000000000000000c4516b3cffabe3dcdd074d74f595c81c04","0x000000000000000000000000000000000021142418da600cf97a5248cbd45524","0x000000000000000000000000000000c292117b1a17fefe9de0bfd9edf1a84bf9","0x000000000000000000000000000000000002d6fd9e84dbe74b7531e1801405a1","0x000000000000000000000000000000459a3b2a0b768da45ac7af7f2aec40fc42","0x0000000000000000000000000000000000293c6ab3c06a0669af13393a82c60a","0x0000000000000000000000000000006c845044cca9a2d9dbf94039a11d999aaa","0x00000000000000000000000000000000000efe5ad29f99fce939416b6638dff2","0x000000000000000000000000000000587f768022c11ac8e37cd9dce243d01ef2","0x00000000000000000000000000000000000a44bf49517a4b66ae6b51eee6ac68","0x00000000000000000000000000000059d49ef10107e88711fc0919e244e17a08","0x0000000000000000000000000000000000132d159fdf1907b0619b9809904594","0x00000000000000000000000000000016d9bd1186bcef7a31846ce703eb4cb5b2","0x0000000000000000000000000000000000291c00ed4a7689fec327330104b85c","0x0000000000000000000000000000004b6c55389300451eb2a2deddf244129e7a","0x000000000000000000000000000000000018c3e78f81e83b52719158e4ac4c2f","0x0000000000000000000000000000008d7beb75f905a5894e18d27c42c62fd797","0x00000000000000000000000000000000000002e9c902fe5cd49b64563cadf3bb","0x0000000000000000000000000000000d9e28aa6d00e046852781a5f20816645c","0x00000000000000000000000000000000002cbce7beee3076b78dace04943d69d","0x000000000000000000000000000000fd915d11bfedbdc0e59de09e5b28952080","0x00000000000000000000000000000000002bc27ec2e1612ea284b08bcc55b6f2","0x000000000000000000000000000000be6ed4f4d252a79059e505f9abc1bdf3ed","0x00000000000000000000000000000000000ad34b5e8db72a5acf4427546c7294","0x00000000000000000000000000000090a049f42a3852acd45e6f521f24b4900e","0x00000000000000000000000000000000001e5b26790a26eb340217dd9ad28dbf","0x000000000000000000000000000000ac27e570ae50bc180509764eb3fef94815","0x0000000000000000000000000000000000155a0f51fec78c33ffceb7364d69d7","0x000000000000000000000000000000b644999713a8d3c66e9054aa5726324c76","0x00000000000000000000000000000000001c1c4720bed44a591d97cbc72b6e44","0x000000000000000000000000000000058cc5ad51753faec2a5908155d472e429","0x00000000000000000000000000000000000f7261cf55a71f4d0d7b961dda9ddb","0x0000000000000000000000000000004a36df78f0d50144437ef26f8bbfe69ac1","0x00000000000000000000000000000000001b7b1a10c1e638ce11d8c84b831aca","0x000000000000000000000000000000826ba5b1d1ddd8d6bb960f01cd1321a169","0x0000000000000000000000000000000000163a9c8b67447afccc64e9ccba9d9e","0x0000000000000000000000000000007653a773088aba5c6b1337f435188d72c4","0x000000000000000000000000000000000019256311d43dbc795f746c63b20966","0x000000000000000000000000000000df58a7bad9afe3651be67bc6c298092e11","0x00000000000000000000000000000000001fa51a0d75363b3af4e259e0dbb2c5","0x000000000000000000000000000000c8b5836b29551d41dbc04bdb1fcf1a1868","0x000000000000000000000000000000000021915198840ad9c3666122b2837aea","0x0000000000000000000000000000005df0e69d7efdbc7898b3762f0a0ed976ad","0x00000000000000000000000000000000000cee6b75dcf02a07c50939e8ca3cf3","0x00000000000000000000000000000066a493be1ea69d2b335152719acd54d735","0x000000000000000000000000000000000027e49262bd388ce2d0f193988f3b8f","0x000000000000000000000000000000dd783bff1a1cfc999bb29859cfb16c46fc","0x000000000000000000000000000000000002c397073c8abce6d4140c9b961209","0x000000000000000000000000000000750599be670db593af86e1923fe8a1bb18","0x00000000000000000000000000000000002b7bba2d1efffce0d033f596b4d030","0x0000000000000000000000000000008ffb571a4b3cf83533f3f71b99a04f6e6b","0x00000000000000000000000000000000002c71c58b66498f903b3bbbda3d05ce","0x0000000000000000000000000000002afaefbcbd080c84dcea90b54f4e0a858f","0x0000000000000000000000000000000000039dce37f94d1bbd97ccea32a224fe","0x00000000000000000000000000000075783c73cfe56847d848fd93b63bf32083","0x000000000000000000000000000000000027dc44977efe6b3746a290706f4f72","0x000000000000000000000000000000de0cbf2edc8f085b16d73652b15eced8f5","0x00000000000000000000000000000000000a5366266dd7b71a10b356030226a2","0x00000000000000000000000000000000a7588ec4d6809c90bb451005a3de3077","0x0000000000000000000000000000000000136097d79e1b0ae373255e8760c499","0x000000000000000000000000000000f2595d77bdf72e4acdb0b0b43969860d98","0x000000000000000000000000000000000013dd7515ccac4095302d204f06f0bf","0x000000000000000000000000000000057fe211dad1b706e49a3b55920fac20ec","0x000000000000000000000000000000000016ff3501369121d410b445929239ba","0x000000000000000000000000000000eb8007673c1ed10b834a695adf0068522a","0x00000000000000000000000000000000001e190987ebd9cf480f608b82134a00","0x0000000000000000000000000000000944f94301aa6da3016a226de04de52f4c","0x00000000000000000000000000000000001e44194e60f0ab4ee0f77adc50f422","0x0000000000000000000000000000006c2c7bea37dfbd20be6bed19efd743397a","0x00000000000000000000000000000000002a017d0d9f40d0aeb5c8152ffddec5","0x0000000000000000000000000000007f43efe5631bf48c872c317bed3b8bf12b","0x000000000000000000000000000000000027579be0883627093cf8bdec0b72e7","0x000000000000000000000000000000cef6108b89e89b35679431d113f3be7dff","0x00000000000000000000000000000000000ddb2d01ec88ed69144177a4af3850","0x0000000000000000000000000000000083e7ab1f26781948b36d131759f7c8c9","0x00000000000000000000000000000000000a7fe830f1cb7a5d49d71877dd226a","0x0000000000000000000000000000001834ecd1ce1e8e80812bdd95f960a45e57","0x00000000000000000000000000000000002db7a5185064e6501ef61e989895a0","0x000000000000000000000000000000363f0c994e91cecad25835338edee2294f","0x00000000000000000000000000000000002eea648c8732596b1314fe2a4d2f05","0x000000000000000000000000000000b2671d2ae51d31c1210433c3972bb64578","0x00000000000000000000000000000000000ab49886c2b94bd0bd3f6ed1dbbe2c"]
+proof_b = ["0x000000000000000000000000000000000000000000000000000000000000000a","0x000000000000000000000000000000522e2d3071a75aa35d1e477d9e0ad3c0c2","0x000000000000000000000000000000000027bd4377f2ede7bc0133dde7d3b79d","0x000000000000000000000000000000df15ed61667d6fc6b99b97daafc3f7eddb","0x000000000000000000000000000000000003572ca7295a3ee92dc2ddafed48cd","0x000000000000000000000000000000b5dfb839be2c47c3d0e289df3c482bf286","0x00000000000000000000000000000000002471c02fbda062e36bcc7fbdf42dce","0x000000000000000000000000000000e3cbbbc33fb43fb006bd9f8e02dfd4cf9b","0x00000000000000000000000000000000000b3eb6b7a756351688c2561977d618","0x00000000000000000000000000000058d410d526cbd3adbee65868596758007f","0x0000000000000000000000000000000000289c7fe794a87811176d6b8a3973b3","0x000000000000000000000000000000deebf1d6b009435d734b2399d3558eb3f7","0x000000000000000000000000000000000023b6573225d811337c37b16691b872","0x000000000000000000000000000000c29b8cb5048472631403ee526a725ac163","0x0000000000000000000000000000000000206bff7bf596fde59255e7b85f9c7a","0x000000000000000000000000000000d8907ebb05228e706b57826cfc8207af57","0x0000000000000000000000000000000000305f614425315c05fc891c9a92a743","0x000000000000000000000000000000f183e5285136ab6c87d28dcfb65a99b02c","0x00000000000000000000000000000000000383ca0c47e2c56d39f5b58b9726a4","0x000000000000000000000000000000cc11844c28848bcdb1575af5bbae6eafa5","0x000000000000000000000000000000000018b1f820411130433f38ede2bd9158","0x000000000000000000000000000000821bd5681fdbbc82311485f9750ecda390","0x0000000000000000000000000000000000064257d786e839c16aa159b3672cc8","0x0000000000000000000000000000000e5205d207323e06ea8a18111dff8354af","0x00000000000000000000000000000000001254044ff7e569e4002f38956d2762","0x0000000000000000000000000000004591d851f6226ffe1a8a63456ee13411f7","0x00000000000000000000000000000000002b118f2b6639c3f776ed6847f98863","0x000000000000000000000000000000a0a0f63e73dd651c139b2fc3f45e9f4a94","0x00000000000000000000000000000000002669baf309d743d8c94871745bb19a","0x0000000000000000000000000000004cafdee2031bda8c4a2be55862c864524e","0x000000000000000000000000000000000002e68b1c1d2454113f78a184434cf2","0x000000000000000000000000000000899c0497e76b6b345776d9990c8eee4160","0x00000000000000000000000000000000000ec802d07823d277acf631b5c451f3","0x000000000000000000000000000000d5f1fa88434b81dd239ca62a3d168ff20e","0x000000000000000000000000000000000028511b798a4e506da8219fefcfe462","0x000000000000000000000000000000597adcfba2064c09a9e57b37d6a50fe775","0x00000000000000000000000000000000001f691d6d4cbed7b749f55e9af17403","0x00000000000000000000000000000071c78d719253bf3165591474d0a27a50ac","0x000000000000000000000000000000000024858bf4aff0e08df3c03fae341fc0","0x000000000000000000000000000000d0e80eafe0f0d2c1f760bd98087a069da0","0x0000000000000000000000000000000000266239c233e34815ca720e2e378f21","0x000000000000000000000000000000ad6462e3eca1c9a94e4dd30f3cecba48ad","0x0000000000000000000000000000000000147e1bff29ff6979f76ab6d840ded4","0x00000000000000000000000000000047cd629558a91f9db60c63944fa3835cdb","0x00000000000000000000000000000000002531925eaa902131ef11542fb5b20a","0x198e99c9dbc6f3ca902d080fdafb51410ee129edf20015c8337964f3f92b0376","0x2f04d8358d5740b6fa3aca9893cac185d641f2a00089b2bc428401ac21343d2c","0x2d5e2a67dee4e227ca84367a7d7ecd4860b1586a0d1eb799a41ee1042857e46a","0x2651bde5af62489c373d5fa812d6140b60df4569c6184d0d38f6f55dd49ec439","0x10e9e9d0cb817c09034cf3a4dbc9a44ed7a2618fd0281bf0d07a30b12facc6ea","0x11256980eccf0e654c61db759c8d71b04cd9a7c74d44165beaca2978aae075a9","0x2360ce983c2edb38f60b84a7f5ade89eed1fdb65363227e737dffbb8acba96e6","0x06c2d6ce83f1dc608f2cd267b351faa80bae0f688b3e2c6689235365ac05d614","0x1954b4ab315a061b176b67c8adb73d8ef4cc795951c506549ee17f0db90cca9a","0x1a738a34c81c0875d1fe2c68fb111bb55194edcf6c879e9ec99b4c93c5bac76b","0x012434d4aa45c5fb67f138a86116447befa784435b50fc1e67c74f07223480ef","0x1da9f41af8143f464c89dfae2b802ab73f0e64bcd71e5a18574bb4afa391a80f","0x1c41b34f51bf6cfddc0572770164eadcbf2fc4e7959f0fc7a4f19dc11780380a","0x0a6692e54ad790aa12bd9e225e116bfe1d068459dcd66eeac3ff646c672a0372","0x01859bc6385d07f9dfec4b8b2c1db0a53f8a05af246bfad33509beb42d9b5694","0x19e876787001790df811f7d7d26212e87b953a8945d632763d9bf154ab4ec167","0x01e702b7c67449f857e75e6df7251cce8f6c871aed86f988024c2e6139022c39","0x008b6178e573502eac46923d9df263b57cafa83bb14e7b91080370cf82750f75","0x2ea063d2aad0c7bcadf7fd7493e0cb8352c308a4e4101f128a7c4eb6dd80b118","0x099650fcf5f0c4f8f75189d335f9f176f8d1355ac6a31274782c21345d1f9c2a","0x1b8b6888ec0de5154a5ec2b3ebd4ace865dc035253532ebed5abf575a9e89763","0x024869a9548b8bf6cfe27150c22c88f7df4f0886b6a1f83ccf8e9e0e446901de","0x1aab445b8c2ffd0ae8081d9d6870eb3b1b5a3d60d80c2fdfd820d0aec21c6cb1","0x02a9d09ae2a2cdf547dd84338d33f5212f3189f27fbcf6f19cd10dbb4fcfd783","0x1b0cab4d1a473f0960033080337857646b3cbecca1272e94a563405bcd834256","0x1a49dd69fe18bb0c700d0aba9d697f11cb77bbf50ef1312b0ade6101b6b5970c","0x17a899e0aaba06df5f640dee973615b2a1c2b1a302c36432c0e496c0e1fc12d4","0x29416ace9513e527f7896ed30c14f92cbab613f3eebe6c87f810369c846023f3","0x13aca814f98cc1ba1c8818827876a6b782a579ab0494e03e190ebf6bd448e005","0x00000000000000000000000000000000d00591628e7f3bc935d0615c0808e684","0x0e1e573fd4e227709e85770ce6b1ec54c62a4563a360a85cafa285ef0de23f65","0x0df2626fd4c3b1352933f185d2ea12e6bfafced47ecea438cade894cc6e2db56","0x024a1e3b18a149a7643d0a7413a9f9a859534acb1075a49d79f80ab4b54d2a54","0x1ddc4265b93c17d06fa34332906e26b193c22fca27979dfe1dc7a3481ca26368","0x162ace72663cfa6de2e9f04e51dc9b391a9842df5c390ea45c830cb9ffe41170","0x0495b2a1fdf4505e043a1f14d28d3183875c756190b4f3d573ddcca45271c578","0x108711fd3a535631ffedab15afa2b45462d0109de6a5ce207b728da7fb0cc861","0x12f61ffde0a5cdd06d99615a9a13e9c35c9acf021c34d945a43911d6b5bc7357","0x1892fe8746226c4ff0c22f46b1b5af461256b39da8b35f6ce23b5274ee36d249","0x1e2fdd10ab9f0acf73eafd32c95774c8c81298393531e594203d931326b1313b","0x23ccbb9a111ba94ef713cb1ee0f93a4b7dce7cd4c1b06bbb5e3fd3b15f2b902d","0x00000000000000000000000000000012c0034de11daf4073d7347808aeaa15c3","0x00000000000000000000000000000000002467b5b5f10cf216361cdc1e6ec924","0x00000000000000000000000000000009d0e5bd1b7ed299b7150dd860562b575f","0x00000000000000000000000000000000000121e299f7c5b7b9a264a0237ba9c0","0x000000000000000000000000000000e52730fdae3a174391fede8b22ca59d266","0x000000000000000000000000000000000011e9a259a74f701d565dfbc05db520","0x000000000000000000000000000000e7574bc9af75e9f84a887d120d72b60507","0x000000000000000000000000000000000006f7685fea564d498d183eb56236b0"]
\ No newline at end of file
diff --git a/crates/nargo_cli/tests/execution_success/double_verify_proof/src/main.nr b/crates/nargo_cli/tests/execution_success/double_verify_proof/src/main.nr
new file mode 100644
index 00000000000..c679730e3c0
--- /dev/null
+++ b/crates/nargo_cli/tests/execution_success/double_verify_proof/src/main.nr
@@ -0,0 +1,32 @@
+use dep::std;
+
+fn main(
+    verification_key : [Field; 114], 
+    proof : [Field; 94], 
+    public_inputs : [Field; 1], 
+    key_hash : Field, 
+    input_aggregation_object : [Field; 16],
+    proof_b : [Field; 94],
+) -> pub [Field; 16] {
+    let output_aggregation_object_a = std::verify_proof(
+        verification_key.as_slice(), 
+        proof.as_slice(), 
+        public_inputs.as_slice(), 
+        key_hash, 
+        input_aggregation_object
+    );
+
+    let output_aggregation_object = std::verify_proof(
+        verification_key.as_slice(),
+        proof_b.as_slice(),
+        public_inputs.as_slice(),
+        key_hash,
+        output_aggregation_object_a
+    );
+
+    let mut output = [0; 16];
+    for i in 0..16 {
+        output[i] = output_aggregation_object[i];
+    }
+    output
+}
diff --git a/crates/nargo_cli/tests/execution_success/double_verify_proof/target/double_verify_proof.bytecode b/crates/nargo_cli/tests/execution_success/double_verify_proof/target/double_verify_proof.bytecode
new file mode 100644
index 00000000000..fee406537ed
--- /dev/null
+++ b/crates/nargo_cli/tests/execution_success/double_verify_proof/target/double_verify_proof.bytecode
@@ -0,0 +1 @@
+H4sIAAAAAAAA/+3YY4xkaRhA4e6xp8e2bavHtj2ztjG2bdu2bWttjm3P9uyp9OnNZP/uJrOb9E2enNxblU5V3qrvVn8dg4OCYgaFH9HtB5aHgqIgKqL5eIyg8OfHQmzEQVzEQ3wkQEKEIBESIwmSIhmSIwVSIhVSIw3SIh3SIwMyIhMyIwuyIhuyIwdyIhdyIw/yIh/yowAKohAKowiKohiKowRKohRKowzKohzKowJCURGVUBlVUBXVUB01UBO1UBt1UBf1UB8N0BCN0BhN0BTN0Bwt0BKt0Bpt0Bbt0B4d0BEv4EW8hJfxCl7Fa3gdb+BNvIW38Q7exXt431lGd5btnOuH+Agf4xN8ik7ojC7oim7ojh7oiV7ojT7oi37ojwEYiEEYjCEYimEYjhEYiVEYjTEYi3EYjwmYiEmYjCmYimmYjhmYiVmYjTmYi3mYjwVYiEVYjCVYimVYjhVYiVVYjTVYi3VYjw3YiE3YjC3Yim3Yjh3YiV3YjT3Yi33YjwM4iEM4jCM4imM4jhM4iVPOIYqzCByfeS3w/Qrx2hf4El/ha3yDb/EdvscP+BE/4Wf8gl/xG3737wW+qxGzPo0zOItzOI8LuIhLuIwruIpruI4buIlbuI07uIt7uI8HeIhHeIwn+ANheBoU/gaDEQVREQ3RESOw1iAWYiMO4iIe4iMBEiIEiZAYSZAUyZAcKZASqZAaaZAW6ZAeGZARmZAZWZAV2ZAdOZATuZAbeZAX+ZAfBVAQhVAYRVAUxVAcJVASpVAaZVAW5VAeFRAaHD7jwHr47Foa5vzDnHmYswpzboHGsDFtLBvbxrFxbTwb3yawCW2ITWQT2yQ2qU1mk9sUNqVNZVPbNDatTWfT2ww2o81kM9ssNqvNZrPbHDanzWVz2zw2r81n89sCtqAtZAvbIraoLWaL2xK2pC1lS9sytqwtZ8vbCjbUVrSVbGVbxVa11Wx1W8PWtLVsbVvH1rX1bH3bwDa0jWxj28Q2tc1sc9vCtrStbGvbxra17Wx728F2tC/YF+1L9mX7in3VvmZft2/YN+1b9m37jn3Xvmfftx888zoDx4eef2Q/tp/YT20n29l2sV1tN9vd9rA9bS/b2/axfW0/298OsAPtIDvYDrFD7TA73I6wI+0oO9qOsWPtODveTrAT7SQ72U6xU+00O93OsDPtLDvbzrFz7Tw73y6wC+0iu9gusUvtMrvcrrAr7Sq72q6xa+06u95usBvtJrvZbrFb7Ta73e6wO+0uu9vusXvtPrvfHrAH7SF72B6xR+0xe9yesCftKfvsb4/A+ef2rx8gFXlGJVRGFVRFNVRHDdRELdRGHdRFPdRHg8gbX+SNz4bayBtfeP9rN77Tnp+xZ+05e95esBftJXvZXrFX7TV73d6wN+0te9vesXftPXvfPrAP7SP72D6xEf+ARHhqAwtQoME2io1qo9noNoaNaWPZ2DaOjWvj2fg2gU1oQ2wim9gmsUltMpvcprApbSqb2qaxaW06m95msBltJpvZZrFZbTab3eawOW0um9vmsXltPpvfFrAFbSFb2BaxRW0xW9yWsCVtKVvalrFlbTlb3lawoRHzDwo//n7jC372xhe4UMlWtlVsVVvNVrc1bE1by9a2dWxdW8/Wtw0iPii+joacN0JjNEFTNENztEBLtEJrtEFbtEN7dAgOf8N+7iN374L+/7t3kbt1z2e3LrBQBBaJf7ojF7kD93x24CKOf2td/ROKWJ6DKhkAAA==
\ No newline at end of file
diff --git a/crates/nargo_cli/tests/execution_success/double_verify_proof/target/witness.tr b/crates/nargo_cli/tests/execution_success/double_verify_proof/target/witness.tr
new file mode 100644
index 0000000000000000000000000000000000000000..82e8cf3ff57ff728998a3c03148be7a7c94acc09
GIT binary patch
literal 8258
zcmXBXV^}2a*TC_bY+D;P+x+FWcGI@mwrv}e+cvv48&i{OYO`%OVY9b?&-I+^{=E9W
zy5F5c6^9J-e*<{0$@$UD_AMh4+U(FdR?GRvVeP_rt<~ZGAK6yVv&DJa_)L{;JgDtL
z%<p0(I)*CwY0&SX<Mm6B&+hx%c|Z=|P{N@-DfqJfOrGTo+b)wQi`!Po?ZLtU)9yhR
z)H0*~FG+xjZZ3bHIpZnl4U)wG)?vlVKZ}I=Ua!@R{Wo-O`m4Olq`DmRq5DI}2k?i^
z4?QN;R_z}?y46Rw`sh|4-Rh%TeRQjje)Q3gM9Ep=DdH0b+Kz2Exyp9@JR6qJ53QNT
zkA&N5GhDH#>6Ub3XVMRUUbZe<JZDY?2x?joAD&AaE;>P%NIe$M4IBrC__JH4+-wb6
zHI1ZqO$<hAG`1Gc*dVx1Y)~I8NbDTa+%D+`|7Fz4%3!7#ZI`aqc*WDxWQ|=7CbBbq
z`L^E4T$#FGjR(Qe><tw#9W=(H-09`CctBh>+6sTa(YhL1bB>@~Gv@F^*OtESmjq`+
znsON{l^OYP*Y=Kf;O%!p5#H)K={v&8^En|s?et5Yp6O9Hcd?9Sxz*gRQ=6=PG8?T~
z`Kt&l2r2dI{M&Np-N8}jnO3IInf4x|XQuO(+lz&Rb6>^^ZlBl0{13+BDG8kL7Yd`F
zRpEcke@^(FYcNDKSsA#kX-aL~{X06HnJA&+Fu6~co|;L;9a=UvZNd`VWH5E;?v(3i
zpyVFpcU|-8Y?b5mgMa9Cd(n84Pk`g3BVpQNbXCy+{7SXK63%-l4!4#f4&(J|Qubsd
zHnPD^Wwxymdt47}IJza$@~ZJ;<-@q9`)qW$c|i?%kr~a-<(|Z_Bm2C4W9(tpvCW{-
zvmvc=ztFoAMe5)fa@U;hTjEnaFUO1}(p@VoZLkLDzG42X*NHUI+Q`oM)v-+URbR|k
zz@a+(wwm56m35;kQ#YM!2PevGg_mVwDq|k9+ToL>Man|f<4Y{&`7o0DB#V*FC%uP%
zY8W=NBc?*(8?*Nva??HcTEwwXg?Ls3zpn4*cpnFBU2gdJVx&=rJ*nH37|8yYyF~<l
zzw;U;P{Z;f&UQ0h7+C7+Z2?lG0Pf$9^K~|P_tywBCj<>i0&nq6uZt(n{T?7@Gj_z!
z3ElP?D8K(k54E=EGR3!Ie-ZQojwcQkvs=3;i_Q5Vy0B=ZoyJF*&A_qk&D>9{=MPj@
zOzINFXxN&&(C6xDQL)$UWGF4x99mCA;waSKHXHm$UR5WPa=~ff&gPcMI_g|mgEdSy
zZJv=D00^GlW5&Z@I-V7Q?+f8=tSY307?m}QiL@UI^~=c(rhB^g_D@S6I8z1S9@Wpq
zAlb9mU`D#~PwAXASG$WJI#-uDB(Ctb#;`FXPQV|_$d_3lTn<9=^t9q9&a6+cf6d-z
zmu)p6J){^uxj?44B6_<<GjRAx9Bf=N3R^M_uG!;rD1#gg27pNvPh8U04crslrAY=~
zWKmTFDOm_p8kG*^ZnI64)YQLn4J$kn=m+d}ysnBSQD8@8u-VuhOY^M=>E$-{j9hiE
zie3{XOn-{hK@OW5A8ba`T>)UCzZ4zaR~d1pl6Z1eAvLbDN`x7T&b5J;uewjwoEp|f
zX(zaU9G#3G3eu+njgn5|^7V+0n}M@GF#iI@hCk^*iF4m7p`S4!f0&*#ngmLD2?f=V
zI1VWMn<I3#<-A9m1heiZ*=OVxsz|-czR-Qj`^^NN-_dr1%(^<IT^s%<`%QW*fX<nf
zG5Frv=y@IF8P}SuG1El6wM`Dpv$ni+9Q-K+EJow)8;G@y7cDuU{&mm<=LIv{8-Lx%
za3yv#u&8Dn)P$Lj8?ePC>hD+uUPt-YKA~o(qxWJs9S~q?I_F6AId9ef$?Z-sICwi)
zs1-K%NK*W^_ibjI{~rNx?--uzhI3{?I~STa2r9tS6*uR8d5k@}XQ@*)a1D5t5(3%4
zMCZN1DW|=Ch1}R#I?pctN=UFY91YVorRbFYMt!@Nu5w+tW5@sZ`>A!cj4ix&r!VoZ
zcV-AQnQ6jQ-cyZ7N}s<Zt;iHT-BKhLQk6G|*Wp$0d0c{aL~(#Mmd``CTA<FeD~K9q
z(0&IwC+I4fG0-Zms8@6=M&IWy^^rwySv;P09<W?O?|0cGX}YUj=OUP4hn~MdJt)CO
z%A;7JF-JRXCAn#~Qs;9)4j#d$z!r%(Uv#G{Ldxx|U$V;;{BmuVgxR~PE|q6ZZ!EiY
z^52M3+2hiGzaHFz;koZ74E?ff-LPrHt_S!1bN76D#*f!(gou+PLeeVw@D19mRf78|
zj2`INOA6_K;vy_G(OW!lCF@owPJlOKv~ed;OM?0xWr=;Gh-Q}MQA}=MpBbLa0KI)$
z8Rx;m`QW&Mr5sgj+kmjW$2=w+t4U+aK2ngTz^lMxmaRg4%5@~e(vaK?V1{5?z}CFD
ztT<Fq{x(xUIHV`ZMb+JsR!IR4L?iq)e&H8J2A^Hmm4awPTjDDJtsDk_9!^<;?Y^DU
zxpVbGoJ53s2Oo->f58<TzCaVq;H9p3%;nB|%f2jAzfkN7%75xPpV_5Py{kz9d>B87
zqU>MOZ{1^Dk=<n51~M6z5LBWl&<0y57XiJ8{3NN)WNpgFithc&QKOlyKiWlMCuWqk
zS78rO?Y(MMc;R4aIKG!K#B7xcU;Fz_^6h4mUm8hBC}<iB?Nfi^P@OKOsvXTaUjzLs
zV|dXTkLNQkQ(+JLoJo`Wx$vbUed|o{pRS0G1&nq{<$^gTfqFs~)*oZMhwOZ)Q9T;N
zj{UU%wxufKm}F$@PWd65@*wju2L?GZ8JjucBTLA6;TMmi5VrRWh8N~L1JPqkcV46L
z)R>FBomSgwClCGiA{Zh%xWmRj%$&RhbMP6`;;MRuT}}ZP<mDM=D`byyv1;V01_WIS
z$=Pi}wOb55eP7hELsz9R`$=&tx3L#p<xyW8rfTe9IXQg37T1|_W%!(v0!H|+&Ve@$
zz$xW<t7&i)t4NyID>3Sfhk{l|*W0L@%mQO3a;=tkC~RA3hH*$ck7L)sc~{3h5Yo|4
zGq7Ts_F2nE21_K)+ccOFZHbhvdv4SanP1UF{~ElbITYQ6syC;U_B07`3zg+kTd{Br
zQC_T(-4AY5X)KYV-{{Oa6C#*Eg^|Fx4JG9KHerH5hrRu;lX5ANW|kJWQCqy0R?JHE
z8z#8TIqx>-%8|j%qkK>$^y=hwdm?lMb+~-C@b_gPz^q?qnUPnH)CMQjLSMU=V~Edx
z`CM!=w^(+^c`^x`tSKE11%o`{J*4W_=1uq#K0h&v15=@~rmBK8!LqlTbfb070a)3T
zz8=NUl7nf8Q@60YjSm0zT7B!qdy~gYUotwc>QBz*_LihD%#%rATzNo#YL*7aV_5zE
zCys<>snp0h?&RgJ2eC<$#}g12L&c}R<f&fTE8Pf}v5J!Z{ylCl2stjPj;I#q><zW}
zHVeln?p!zjAT6tgk)z8RFet3#T_-V#a&;2_WUJvw{Ch`z!#k@HJML#0j!6@g&B2Ud
zBP#FEn?mMZik}QReUH_aJ5UJ__{ODhKj>r62{+s3o!KE-ux^#u482F*0RRL3Uj0L0
z(W7{y5^ac*>A*)?!OQ??8CMQr39V@12{9|w_F;8Nba-o&e=Rqn^3}&1vZaBfoWuS_
zH-d4~Ov^!2OZ)_VH94A0PL?;4@PM_U0WgZ`x|t?QbYh7Y#vCf&p+EIBd$Bw$QGbzY
z)iE?)`)_w$Xc3`^i>KYO7rTU|LbN1J%eB;hA0=T*PMzngPEKoNgQ@DpAOCp=JaO^U
z^}y0B_?_Mf>idyy2H02IA;f_%`I(8Hyd}H*h@J#I8M^SaW%1d+ztMOEj(2zza%I5u
z#VLycs+<l&_960r%!1BPoN9Y{_#e^85NSO6_Jconffx<w7ZXKJa@A8B%~Xt?!uyDK
zUtQT?r)Z`U#V2LIxfWZWK1QQ5%~5y(QHcrCYKtGkQ?sm*_ho6vq~PYLfxGd9kHtev
z&x3p3Gz;<Q!P7uNG#VUlU6NaMZF)^FfqeIr&Q2J|NgRT*(pi3GYCcL;5r3?Ff4~tP
zZzVv1vR@&6L#jf;VWBiWX*)gN)v;&RmEIRdrk2nX@i+JJFCm_c``3BA^;{bjDU34g
zz%Ql!g*@r@cbk1#R?p3;Z<Gp<^kkyFBzCI3yknd1n%xHZfub3{OqLDj?CsHBR9Oh$
z3r@`C*z%ko<K3Wu;1F)JVS6JzvMrvJj<g;_h*jR-zX!%N2QvE(_L(UpnRp8Usw)wc
zxZ+T{C<Q@VGb!5S9ByF>%>hOa!HKo0|Ne{OmT>L$V@3#jweA%?b~)^Cw={kZoE&}a
zkC6G{FtUp`%fQbp*p@oL`L+(#F5S~kmGjo8ETUXFVDyGtvCbr=*N68S<Vhr)7+f$Q
zOfj^J=iQv@jFn9<I^WAIWVruNHUDQqy+4!&g#Q+zxylmDC59+YEu0*VF`w`9$sRb>
z14Qr|E}SXt$$+^I`_iX%E+0o{etun$dO)Q@g1>m01*b^T-=(c(WaRu7FXeCjij0%z
zTPOioMs3*oF%+^H<Jl{EMivpRfT9r%Yk}1xz0@!F(hv3EgMnK^K%A9NWQ>n+H?&?N
z$=EqDY#f*N3cyJEp@ZgGCe)mD#T7K;QGEhPVANHdSEZj|5;Efcf%8UXG=R)K<4%_(
zO*(d9T1fob+q{d^^C-MXT*%e@3^>Gib>euBx51i&5Jfc>*Wr!%=E4RcV_3lSR;LEH
zZ2Z(8a&=W9(dEyEIoHi9CG-nx9#)dFgx4ZXL`Bl4pzCrw2HO&6yGEe|p4@>JCB}Nc
zd>&AZV<}GBZ5ir)<8c*J3FTG3E@d`rndA3vgs%u=-SG)pxdXN83y`8zWg90jlR25(
z^b72neiLlVi5wDM{7rK^gAkSyMI$BpehtkjfE7?xl>IZpDqcN7uC!{ES7u@%3<L98
z%VYU{J|nMPvCG&AryZiDU&mtHdr!WcH2>qgF$vpX1RxKq>aXtzPVul8eB2D3-3yQX
z>lK}3<A316Iz_xt!t$h+5%1gOT+OZg`#5<tAk9-uS*~B85(YnFA5M@k{kE#sj37Je
zLZ*I*mOIM@_y7c!eri^oU0(hBT{BK-%#+j1!FoQsl*YczC?Eg`l;o+wC;fw)qY3AW
z$P9+xYy_w*CqzjV#dsM|mjxmo{&4-4IqpB<QGGlEj7&7<->^?+RBju+H3LOD#wV9l
zWK?S!n9*B)hAs`+EViyL8AASm;0Dj&>P$G*b_pIgSG>!K{Jp>afn8LAE5cBYaj7>$
zR{J7%M(@9oYXwj8DA99}c9Mq3k^8wp-!iOEhoEsVx-7z&pV}3gN27uXH+Xn+0j)FJ
zxecTF{ajB2hUMGfkF00{)qv3`l7gb(qo&(?L373@P{Nf0Tw}T|=K!E$XPV4F>d!Qp
zpVKX{BS*|4-@P%OK~?C)t$k2eMl?Ea=fB07-B*)5G=XqN{_gWdo+Y4e1Uf`RjY2JB
zO4`sOK<~0Zuk)-bD@+Cw^<MXh@)QbwF{s1J@;kkog9;IGb_frxH5<SMj!)-TNAq~U
zv@V|=Kibdd?8{pe3?*Dz?Zm5K!RRtF>jvI;YQZKBqAWnMDcsHXCds{e+G?dTHTNx7
zu#q-(6_>Vob6Ug#t~Cp<WJ=W;!0r+-X>6p3_>cMpI@9u7G;m0HPw#TRSVGYv1H(Nq
zkDDGC1CqLw5+t6#92$mQqSc6D&Wvpuo}LH@3-399CV>{&*Tcs7^3ujzt3wc+zhfo<
z!4xM*8F;^98D-Uuk52`+>i3;`=8741Vd#A$S(1~+IhI7r|6t8IC+*zJB}v1>UFy=i
zCRqY$qHF;YzqedA&`z!q2atf2pAdN(eP_vQhENOCP^?LLB<sJ@Ml}rwf08)vOoja?
zQnxhpcZUIegK{XI8GW1W6(bmzi%uq3hFLWCyTn^q5iI%{J2E=SX2hj%h#TkTs3MGH
zdTGK&xNZMdLn>l2&BbMRm=b>@>hD$S>YUy({yyQyWjT7Jgdjk-&;i|73miLet@S=B
zj-P+kmKy^h5IM-#R4I83mUoJ&IRZ{%LXzDbPN^*d^(OWQ;@HY^+72B$#i?K2L!9CG
zA9>h+cii9H6l~F+YdNRV`u8)%T!V3Rzke1^&bW|0@ko9RSbB*to_ATSLF%a(J>9g}
z3M+&wD<BqIG5Bqh72%7cjR*_#5Pm@Kd-$+5s!_ryQ{&KBJ9HE(*58$bV&9gY074dQ
znpqHQH0U<5nAHAO!}0uvwSMw|P6gpfS)bm7Nd*uMO+?E)LP%-4zVKy(9AaN&|LpOk
zM~F3Zb8aJD&eP8Q<g%N08!}{4GML$ozAjpE9^}LX?Mr+t=r7^qa5+_)?;GOoV52j5
zTa1y|aDsF^=RJJTj6S6l7-ylK5QMXdt>m(ZLf^+mWupEv;N{C}+2bhRKRyaOT?Wwy
z#BxJdn4`ZDt?}>1gFGjy<F2#i2_7N$;;vqcr*CA!Z*rpjgPZYGErgz=By0F*R|zgm
zEs6W#HQ(1?6%P`(N292~VZV|{kH^fuz;L$m_$VY^2FgX&5@E_mN**qJu85PFI-1f9
z<Px8mOU#{~tvue%!~f3=UU!Vc6i$oz)+nY(JP_EavPuGnJ3{4wgST6ViM|b!Ka?*>
ziPr4jp*UG^14{d*F(Qqgt3TY^c*mgfT;%TkNP;xI@8CC&P=U@E0c;IC6(m9+<O08X
z;wsvgvcMYmi5c5x&mJF?U%Fif0?W;VhnHty*WpadS>F&PYya{<rjmUxBQ&vS9@HJT
z3^TVJ;^dIVIc}^}Y>OD_4YagT1&Jf@+kZ9(7=P&rx`_O5Yig^nTd}OMO1g`)Su9h^
z@_ImklhvntfeYLlt;ZqvTS!Tm2QDTOGmh+n$gz$6CQcy!?%Rj44=f+5KG=PLejxjh
z{Xy@;+6R#joge%@ynH|sII9ZsUjO2GTJjgY-O)bb$srl>TBZVqZD4+#D)&}4B(6Zx
zU~IkxMHK<C_NPLpV^X|(>PqB>-_Wp1$)}7Bp}L4i$p)YJSswjOMR{^H^E0$yNs3I%
z!nc5vPhLjC{&{Yo!B>Vyx^X(;Cro+xOebLY_BdqPHLXHiq|FF9dqDol>6l=Qp&6%a
zBMmCHm{0W(^?J<M9vn3pf8o1AB80(w-s^SD+44Tr@pc+GI!(t?;uVS<6{j6gf=F{=
zL^)MQQ$^H^E}GRnf%z2}ttG!cyQ#Dp<l)$pbUNgS-Sjo`PBM?0T9z30@p<Xv#Ajn9
z6R%uLGY^RL?Nw*)cVqSa!Tdg<@Q&l0#dUQxQe!AW!YKkS2T~?&Y*9Yg<(9lsDltly
z%p<xV58Wq&{!$pfZ{-fU{)P+aycl&_2Uk`N{4Gbe89Bd9ywsAs8=zGk2>y!4XGzxp
ztA)T`q;n7?*iwr&*aUlc^d0|ET%O$XQ$}Y-*gIsPp*0<07uyatcG-6MaeD(6E7aOl
zxcy3n;YH>uT6vxyff7gjbXbq=mJ;~s_2$Zr9Ar*F*R`EqY&5E6k}Vt?RZ>g%en8$P
zwICA)57irW@U@U!LZdG66}UG_bR%A7k}_)Wn`QsYI(?spE=0P_VPXF7yu@h;$1*Lm
znQmX#MtRyI-ajh#^%7#{5<P9`ibCaBIMp2LJv2~6MmV3``o6aw*g+hx9bkw<&3|l%
z!T6NJ2q=A-+FSoxN04GbEXGbft+N>6PBn8`eZ=Ycug>i*Ix|+jw(X#bUMF%2nj2da
zm;SFO@n!ARi@_hBBLafS8+yS@CLOL8sX6eTqxUmBCX!g+L(8v-u{d^xTwa?_HlP{0
z9f&cg$;!G{<EU*?VO%w%=HW+O$Q0pmx!K{BtV)Y*y5F^<q1&n$gA;01(ZL`@js{C$
zg+GLXhIU14meu#2C6qmIOX{3c#n;im4*w*HS5oEcPMw1RN8+>P@V$zsAR#G17LJnC
zlJI$svZK5dafUMJpiJ}$>~@3WhFhVrZ~6(xtm+f`S0yP{PZbwILR;@2WJBDuEd-=D
zu_R!)??R-9PCyl(%XN`B1uw=Bnt&5}TvX05`TXV)#rASxa+a}IX&4LO$pLK~jk-(y
zfw<rx@ojJUe{DwY;u{vWWH*cWutLRN!M`2m+scIkfr28D-N0`1GBV9J*yD+zH1zta
zg3fZVS0iOQs`5|wyW!RX7F9PNUL33Z3+HP7&xsr*6P_e>CJ6D`17@`|$@Xjh&u&K*
zbr>Ox(<Xv5@!M4maYq<MSvw@ahZxb4o*9y9AFo`o!e<}wa?v-8<dCQMqkA-RN##$f
zv?fLRwGIyG+o#JeYk4P|Ey{-OaM?ye`;pKoXn@GN<3CPILd35Bbh&<u1>F7)K1i}j
zo>!$!m^%4&X<*kPXvEr9Fky;k()S`KGx!aiLXRff2`7N#4N1}$UWPrarAjN%nru&}
z*34wB5X%Z=rL9b)Z;grq19S)%1MXo&O33qZ@}lZfv6_}fCV2y>Tdcsq(x35?ehyG!
zg0M&~92=hN@EStY9@EGL*o>u@lXjLE-<;=*QHg+{R_GgdRjn|_b=mld?Yxi6*0T6w
zK_~ID%Q&z7FDXk^6cW3_y$k{S&4s)-VL~&K&X7Z)+gK-bR^uYx#loy%bPBwDI41{0
zUDva?4fk|lq9dAr<&?`?d|sLkK|A6?ns}Ny84VtUU+XuT6Lx&+Es(c!v|t{MkD{{R
z;g3sD{*7=Cu05wopO0Xlyf?7j19OY$G_1&I{|A>N8nb9UXQ|qOzae^b1w}xu$WsJ>
zOc!ZM?J2W7OOT{I8_A-6*9!yu&5&f3_jm-zajVC3CBi{<>~jIt&iv0g+xclVrHiTa
z?j?>Lw7gkd%V@0VxMPTEgYk*uzbGni<*=<6(WNPCgCq@LM3?}U#N?Xq#?vrt|J9J4
zosJtpdmM#>)~t{*z0empZaeYIJCG%uxv>Tj+8R1hnCmQ`0f+ArHI!ZvwRbaKe5}1p
zSlCa>M;#_@Wy<TamSI9-)0}mxfuWIIU2G4*49L4;vQ3&}-)i5)=}(WIhtf5PQ17^U
zV<cYuO3>yWB9%X5?JHTKrijCUNf|z72cwrvmG3QX{xjSaJeSX;mcN0vzQQ5TEC#sz
znN}w2@U@so-(O9$F7{#;o!}6VoL!CO|3$`Dz>Z;b0Bv&=1zh{<TUlv+{b)BAHNF04
zA?TwQST6AhXM`S0;%-m^2E~^QOEK5zcoI}#RBL5WXdGMl?56*$8cthkPRl}Ouh&FZ
z_*IUaAjO<U2)z8(@AYhZ5|c0wfzYU;2_(GTa8H;=@9sKV4u!!A1sk#j%<f%E%50;F
zKwb=&_H04R=eosO1+ToCB}DIk1?NRLK}fAs_2GneF5j*Q1vM>^@?s^f-fEXLJm4-&
zLnMbhceHf4<Ha@!29rGdoaPn+#$lnZFcAj6m8ju`D;GiFha8=h_c*ckB7Oq2Errbj
z!ew@Y09lIJ1HdKWF&+PMBM8GFyx6<<4s=`=!$i8{evnc-W<h3h-m9mnpfz;Hg6|(z
z;{zgZLW~luuUR&OhIrX_p0ubhcW+t`#xJ5docS|fTi<Q)gV`0!*+E(nu|L)i*yJhQ
zKb0*bZRltfOPf^-S6hjWCzaP0?jS*D$(az<m<5v<zwx4-S}9gd$-=j4Q(<}k&3)ru
zUN%`JREK0H4Es@tPSaXeBD^=w_1>X~wN0B~M~B83Xq9e<o=|(`ajAosqz(w0!;%rw
zvbv$Lp2kv%c|40k>#2q^4FIhXb+eFT7*!rhUka8VpHe<Q`2@55PKFmI?8mYU@Y*IT
z$HF{?A_$IX|7DpUd<X1j`t6u3byRX>xIFTj{6->CD@4=WM32ip&BRVaz$Z(VZ<FTm
zthLh52(B3x4|==<@m|LT)=E5IJ&(fcRbVrBk5WOV|Fn1nB-v0OF8{f5-0uiB!JG~p
zM9JYn7<WhkG>P31?Zo1Q1xj7?ruNg;nXy$h%Dv%bjeu~GPE5?p9G9k#J(Tk6Y{zHl
zX&nR#22F9<D7l8d7(mp-gWmyL9!fOA@xyHX(lc{C^Dqz73HN-OXogzrjClo5i9Teh
z9eUCehTUE()wMqu0?sgIq5`Tr8*vT3o5|}b`Gc9iCeCF?iJ89h32x^K@%E|1Ajstz
z5)i`75%gC=S4A1#m$}3W5G59V|C@Tn&RZm)$&c*>4h5p4+hsm2vo)Y$+u+?^?@LS@
zJ1<DNZ6#Bp&SHf|^71=#QcPIx)#Y=|f0J|UW5pv1#dwDx+Wb&2s{IwuDzu;)N@SLg
zL^A09oC0t5i1`oXAA)(6hKT^#f0#hTpZD<)beVM^-q;WQg%K^VAG_t+!4d_K_SA>C
zMmxHbRWhEs0gHM;Cu(FKsvbRc`~h@Bm`Q-S=%#8-W}A67g35Pc!cW#bpwKj&tXoYY
zcr<-dq9B5Kvo+%agEnpL)dM|86KYrKL%VKZ%dvBF$*`x?POIb2)u5xg8lf}nKbKG7
zN~ooECajN%rW3fciyZ3L5r&4O*8ZQPJeTGMZVNAK)r%&<awW?#+BHsvhPtA}e36_y
zB$}C)T@`DoxD*l`S^i(iAReuOf*fK-S}R=`#`|%qKK>xe>uLrLG|4xW;)guC{!zaf
z5MoMLy?n<N!AFs#N*f!Jq^Jliq<k=&vY}XXk<hpdgkYi<cuLKY37lPWCW?@M%Uz7K
zW~-!TX}Nu-iAFU;RFpdq`$taHf{e^QD;-*kNn`gX2ZxSfW*iS#$AXrh^4yDV+kG67
uDe7^lmXFIbv(J#XR#!5md)lh52y=m|Em=~AA*BO)GExbCnMF2&f%zX}xCsOR

literal 0
HcmV?d00001