From e30b4f96fa9b7c154544aadfde4de93f60187039 Mon Sep 17 00:00:00 2001 From: lucasxia01 Date: Mon, 6 Jan 2025 23:07:22 +0000 Subject: [PATCH 1/3] Merge remote-tracking branch 'origin/master' into lx/proof-formalas-in-flavor --- barretenberg/acir_tests/bootstrap.sh | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/barretenberg/acir_tests/bootstrap.sh b/barretenberg/acir_tests/bootstrap.sh index 1b1a7771d9b..a7c110d45d7 100755 --- a/barretenberg/acir_tests/bootstrap.sh +++ b/barretenberg/acir_tests/bootstrap.sh @@ -30,11 +30,11 @@ function build_tests { prepare_tests - # TODO: This actually breaks things, but shouldn't. We want to do it here and not maintain manually. # Regenerate verify_honk_proof recursive input. - # local bb=$(realpath ../cpp/build/bin/bb) - # (cd ./acir_tests/assert_statement && \ - # $bb write_recursion_inputs_honk -b ./target/program.json -o ../verify_honk_proof --recursive) + local bb=$(realpath ../cpp/build/bin/bb) + (cd ./acir_tests/assert_statement && \ + $bb write_recursion_inputs_ultra_honk -b ./target/program.json -o ../verify_honk_proof --recursive && \ + $bb write_recursion_inputs_rollup_honk -b ./target/program.json -o ../verify_rollup_honk_proof --recursive) # Update yarn.lock so it can be committed. # Be lenient about bb.js hash changing, even if we try to minimize the occurrences. From a8afb5c2523a2e1cad2bcf8e81b0dd2ddac67580 Mon Sep 17 00:00:00 2001 From: lucasxia01 Date: Tue, 7 Jan 2025 19:19:37 +0000 Subject: [PATCH 2/3] update build-tests to regenerate correctly --- barretenberg/acir_tests/bootstrap.sh | 16 +++++++++------- .../verify_honk_proof/Prover.toml | 4 ++-- .../verify_rollup_honk_proof/Prover.toml | 2 +- 3 files changed, 12 insertions(+), 10 deletions(-) diff --git a/barretenberg/acir_tests/bootstrap.sh b/barretenberg/acir_tests/bootstrap.sh index a7c110d45d7..ad6ced2c2d1 100755 --- a/barretenberg/acir_tests/bootstrap.sh +++ b/barretenberg/acir_tests/bootstrap.sh @@ -16,6 +16,15 @@ function prepare_tests { # TODO(https://github.com/AztecProtocol/barretenberg/issues/1108): problem regardless the proof system used rm -rf acir_tests/regression_5045 + # Regenerate verify_honk_proof and verify_rollup_honk_proof recursive input. + echo "Regenerating verify_honk_proof and verify_rollup_honk_proof recursive inputs." + COMPILE=2 ./run_test.sh assert_statement + local bb=$(realpath ../cpp/build/bin/bb) + (cd ./acir_tests/assert_statement && \ + $bb write_recursion_inputs_ultra_honk -b ./target/program.json -o ../../../../noir/noir-repo/test_programs/execution_success/verify_honk_proof --recursive && \ + $bb write_recursion_inputs_rollup_honk -b ./target/program.json -o ../../../../noir/noir-repo/test_programs/execution_success/verify_rollup_honk_proof --recursive && \ + cp -R ../../../../noir/noir-repo/test_programs/execution_success/verify_honk_proof .. && cp -R ../../../../noir/noir-repo/test_programs/execution_success/verify_rollup_honk_proof ..) + # COMPILE=2 only compiles the test. denoise "parallel --joblog joblog.txt --line-buffered 'COMPILE=2 ./run_test.sh \$(basename {})' ::: ./acir_tests/*" @@ -29,13 +38,6 @@ function build_tests { prepare_tests - - # Regenerate verify_honk_proof recursive input. - local bb=$(realpath ../cpp/build/bin/bb) - (cd ./acir_tests/assert_statement && \ - $bb write_recursion_inputs_ultra_honk -b ./target/program.json -o ../verify_honk_proof --recursive && \ - $bb write_recursion_inputs_rollup_honk -b ./target/program.json -o ../verify_rollup_honk_proof --recursive) - # Update yarn.lock so it can be committed. # Be lenient about bb.js hash changing, even if we try to minimize the occurrences. denoise "cd browser-test-app && yarn add --dev @aztec/bb.js@../../ts && yarn" diff --git a/noir/noir-repo/test_programs/execution_success/verify_honk_proof/Prover.toml b/noir/noir-repo/test_programs/execution_success/verify_honk_proof/Prover.toml index 33b300afae7..9c268316ab8 100644 --- a/noir/noir-repo/test_programs/execution_success/verify_honk_proof/Prover.toml +++ b/noir/noir-repo/test_programs/execution_success/verify_honk_proof/Prover.toml @@ -1,4 +1,4 @@ key_hash = "0x0000000000000000000000000000000000000000000000000000000000000000" -proof = ["0x0000000000000000000000000000000000000000000000000000000000000040", "0x0000000000000000000000000000000000000000000000000000000000000011", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000042ab5d6d1986846cf", "0x00000000000000000000000000000000000000000000000b75c020998797da78", "0x0000000000000000000000000000000000000000000000005a107acb64952eca", "0x000000000000000000000000000000000000000000000000000031e97a575e9d", "0x00000000000000000000000000000000000000000000000b5666547acf8bd5a4", "0x00000000000000000000000000000000000000000000000c410db10a01750aeb", "0x00000000000000000000000000000000000000000000000d722669117f9758a4", "0x000000000000000000000000000000000000000000000000000178cbf4206471", "0x000000000000000000000000000000000000000000000000e91b8a11e7842c38", "0x000000000000000000000000000000000000000000000007fd51009034b3357f", "0x000000000000000000000000000000000000000000000009889939f81e9c7402", "0x0000000000000000000000000000000000000000000000000000f94656a2ca48", "0x000000000000000000000000000000000000000000000006fb128b46c1ddb67f", "0x0000000000000000000000000000000000000000000000093fe27776f50224bd", "0x000000000000000000000000000000000000000000000004a0c80c0da527a081", "0x0000000000000000000000000000000000000000000000000001b52c2020d746", "0x0000000000000000000000000000005a9bae947e1e91af9e4033d8d6aa6ed632", "0x000000000000000000000000000000000025e485e013446d4ac7981c88ba6ecc", "0x000000000000000000000000000000ff1e0496e30ab24a63b32b2d1120b76e62", "0x00000000000000000000000000000000001afe0a8a685d7cd85d1010e55d9d7c", "0x000000000000000000000000000000b0804efd6573805f991458295f510a2004", "0x00000000000000000000000000000000000c81a178016e2fe18605022d5a8b0e", "0x000000000000000000000000000000eba51e76eb1cfff60a53a0092a3c3dea47", "0x000000000000000000000000000000000022e7466247b533282f5936ac4e6c15", "0x00000000000000000000000000000071b1d76edf770edff98f00ff4deec264cd", "0x00000000000000000000000000000000001e48128e68794d8861fcbb2986a383", "0x000000000000000000000000000000d3a2af4915ae6d86b097adc377fafda2d4", "0x000000000000000000000000000000000006359de9ca452dab3a4f1f8d9c9d98", "0x0000000000000000000000000000004ae614a40d61d28f36aaf03d00a064355d", "0x000000000000000000000000000000000010edd34b6c69cb31a6a833a1d040d2", "0x000000000000000000000000000000f4976ee83b95241474007fdc30b06ebdd7", "0x000000000000000000000000000000000019cd0d7e4577008a8335c6260be826", "0x0000000000000000000000000000004ae614a40d61d28f36aaf03d00a064355d", "0x000000000000000000000000000000000010edd34b6c69cb31a6a833a1d040d2", "0x000000000000000000000000000000f4976ee83b95241474007fdc30b06ebdd7", "0x000000000000000000000000000000000019cd0d7e4577008a8335c6260be826", "0x000000000000000000000000000000f968b227a358a305607f3efc933823d288", "0x00000000000000000000000000000000000eaf8adb390375a76d95e918b65e08", "0x000000000000000000000000000000bb34b4b447aae56f5e24f81c3acd6d547f", "0x00000000000000000000000000000000002175d012746260ebcfe339a91a81e1", "0x0000000000000000000000000000007376c0278bcc77156c008b389f6bd12e8f", "0x0000000000000000000000000000000000176ebed74bf3b57ca42a2fac842809", "0x000000000000000000000000000000fc4a601439d45b9ce23c9d9cc37cb21dd2", "0x000000000000000000000000000000000017dc6f8c53261c44cd0348a9970d88", "0x000000000000000000000000000000292042e9c3c101d8dd41b3acfc0db429a2", "0x0000000000000000000000000000000000114f6b3755c65915e12f13533cdd41", "0x0000000000000000000000000000007bb311a6bd5f4f3d543ca30a1a0201614f", "0x00000000000000000000000000000000000871a5a04dda33543cf59b3babf733", "0x03ecb02e48ba68818287222348fc537135b6426d4580ea31cdd540250a7a95fb", "0x2c779e44987737a835c92393388504ebf27da5db3438865f760cb56ee5856a06", "0x0ac17380181974c0082ef0fada047fc7906a94dc18e5be249dd29e52961522e0", "0x206c623397f11ed76a292c7c605fe56c1ae4f6babb6889786aaff461535cf79e", "0x11dfbe6d0977046fd72b55bdb9b41f983fc06ea6404cb36efdf1786d6f0dcbf7", "0x1081a4f21029bfcf4f8388257bf88d932963b2368c4fde96836fb6f023f16622", "0x2e981de982d368f04b0a49e537a05ed5583080c3eafed9617bd06e1214641be9", "0x2571d21e04b1d59935490270a4789e53042f18e15fc7b94dfd267c8deadfc74e", "0x0f70f3f5319d3564bcc6fad428552eefce8f341ced5187fa186d0f099315f225", "0x18f7ee010c96f63d18d2a277e5f5a8ef19b525907817d69616d24495ad804021", "0x1cf7e347bae24a2c1a93b5fd11ff79e68bd2c1bd32056df6d2e1582d17db1d8d", "0x01c451a702451ea9871b7e19d3e2052d8fa49a571ae46616453f27d324cfc907", "0x0614dbf2404cb5fef2e5408f1115502954097981a5ea67d1f80812fa247b1f93", "0x09884374bb354fdb4b118f4da44cd37e75ba7a655201f94cc4064acbdc35887d", "0x158211f68576bcafd791ff02039bb8246b1ba94d99f30a0f282565dd8d82ce0b", "0x0a5231e4039c7b7e0ad77d319958403997a33a0be31e71032733cd70067b14db", "0x2803fc0a9f60d9e202eb6caddcacfbb94a5a7df2695c2a0c909815093ca1864c", "0x0faa80f3cef0e86746df7518f865936959d65eb64ccb05bfb574ac5561683eae", "0x298544d77ee6f4cae7aaa4e9203a233fa18dab360d6f54daf9f8801802586d58", "0x0ba76e9cadf0380b82a3b5ec1c71b80295ce3caeec73aefecffed90f28c1b012", "0x0d965885fc07c4a140f50a83cb750c876191651ee47462d0931e0e67bc9ab5cb", "0x0aad443f96fbde49595f31a47d233ca83ed2bcda86801a8fd7a596ea666c7716", "0x298ef11d346c061b8899cb10c0cd7150aa2d6c554340cf2ee6aa76125e7d1e7f", "0x27518b0512f1efb3a79650941d3adb015b357c92a8c06e086be7b3e7666cea47", "0x0cd6b10a38d5af7f0a5fa97c0ffcba406e8a65a92fe050b3b79f3f1f45d723e2", "0x2f5e1210a841f9c6a7ee7d7f290479696387a58192cb775a64adf0dc225e3d4f", "0x2ffd390be1aecefc25137d01e5b7a85410254ae9e21e7067a9869217cb828ee1", "0x244a77246b5beb3e0e38c8dda39a516050303e83c051300d08bbe5450320b47f", "0x16ed38ff1019df1d168974833ccc96d8648d05c2823021d45e1d5599998a8aec", "0x24cbbf8ca1a5bb082c1081d9252a5e964ff7aae4d83e04468db55960b80a585f", "0x01b3a78bcc6e7529c6ded587b8958d903ef990421d5706afbef64a7976a51084", "0x2c3a013cdecd027b32c8c99c163dd822df374ef018aac8f3d1fb8d57335f9503", "0x0ad83466928e5d70e1e0bb26633a1e0c61399733c15fffafb22df18029e583d6", "0x095023de752480ca3edd408d3c34d732bd9836919e84931d3f42a978867bc53e", "0x283d221f0a2e6b6616bc3eda23e15bb8c8b459010014db7608e646c70ea1da2e", "0x1390c81536ca3d71228eeccf9844702aa3df012bbc3902fe30323f55ee8c7872", "0x0ef66f0302753884f05043080104589e1bf036566a9a00d4688d3c7910631508", "0x15eceeed97d9267597c028fafac72dba40f3ea441880bdd2202b30846a243044", "0x2b38e3f3b5193811df1bafd58432d5abd1c5f575a5d9c2a449682a0f2f035034", "0x2bbcc40d11d6a96c85a63162143ec53314573bb0af7c32d89b791394c80d14a5", "0x22d909e8fb5152b5b98f7cb3fc38f4ef7d7e8f2a857347da59ba2e979bd2ec96", "0x29e3f7a95437fe6ea1e72cd4c7c2fcf1892ab22ba69387f1a6a795e91bcc26f2", "0x02d8c8d031ada707d85693ed106135cecb7fe52de73eedbc54a91a2c856d0de1", "0x28020fb768c50bf52497832c04fb0e14cdb651b98b80864d0b68228ddfd922a0", "0x24d61051f82ff93eb42b5afdcad9e236c669f9f849bf811a853f1e9cc302f8ce", "0x250e89de38769cf70e6cb3685f99e39f44d8ebc1a468930f49e1d80342092b6a", "0x0ad45df677495b9199c57f620db716c543fb6437d574453b7721c2faee6316ba", "0x043d8715e16e3f2dc5a537355c0576254a36db25002f13958696ed13c24add46", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0bb8cb6a256f110f134a15b66b644eb49dc8e0239f92489408e6265a323bb513", "0x18f02f61683cf6a7492291a7041ee1b3cfa8dfb5aa40e2f6571d13750f0f459a", "0x0a982c10c93ae173751f4165e6456c9b85e2551bd503919acae78c801ccc0e1e", "0x0b6e6266bdc6d44d05ae76d2db249877a46ad978fc758654a3a6a7208d2725a6", "0x20de00721f30db8280aa6804c90f3fbe23477e1f746a8eff61c4c5b2af7e821c", "0x1321548f766ded3432627a50704d233455c61d8e59afec2883dbe2f381c033f9", "0x00c56c902b14aa59f6f59badf20f59c51b08aeb6afbdd97a5ac7b98b998b0a56", "0x1745c01290e99476fa655e5fcf2e5b3d24f42624cbd25a40f60af3f3e8489512", "0x08e915bebf8f6c86b332a681d35c57dcd0e0804f22e4e78884ab5edc0a41d6d0", "0x0c77b29e3a0c4368ce5231f94d13fa9b84a6e350cc8f2a57b3f6920a2bf0e879", "0x07ab821c4f07e1dd1cce43b9d9dbf4c9da2e22fea675a57ecf5a47a6992059a2", "0x0bcf85d1f4e34e7598a68bc09cfacf119b0afa1193ad4163096e44ca8eef7a22", "0x0c8a367da01b9097d24eb7b5471c6bd049f7938080bb8cc6fb92945fa934faf9", "0x2cda5caa3a93dcc134cf176f4ad6c79577d273bd2706da3fcaad92a9bc336ac8", "0x2c19cbfce048ef9bb9efb5b9875645b0bc7825aa1a05ad71dbbd3a34d1d76501", "0x28d7f11c2b6b7ff8717b79b098e5bd37eb39a8ea5d03b15339c86fb93e497d97", "0x21ba86c3baacb0fe4270c64c1a5f2861af2f5aa1d6391afe8214e1ce9eac8dfa", "0x0c5289ff2fe581ccf0caa97b4041d381e384c4aef0417edd4dafa7f64a3bfa6f", "0x0c744b0b301542ec4f334696945d7b89b137c5b9434bec277dc938c3dc9ca7aa", "0x006d246e7b0ad18157fa925981f097121fe34cc769128fd8993c4d15cfdf0aee", "0x00000000000000000000000000000022a7ebdc5723cfdb5d73c4c0392e43c407", "0x160d495d0b4462662665faccb1d65d81f0c3f006254a6082a0ceffc49483d76a", "0x24a5a2b9bef1abc3a818d2f27ca5cca7e1b3da34ea6056f338ac54638e26c3b0", "0x0a3dcf45eb6c14391ed8aeab11cb9460f85cb11a1ecb868ad75095796c0f5dac", "0x160c8087a99bf109389ca20d0ce624f71dd2e40fe64d62712e45669ed550fd61", "0x1a65519621040c52fdec5594d095add265c99210929eeb29a3a8180b480bb313", "0x09bf095c40c00dce181347b0d8eaa83ecd0f1f8fcb5dab34ffe19e219672e681", "0x10f3444d7a623e54ad2e882c436191975143217e9f8121c8770a3bbd3ec183ce", "0x0cd68d59322f30bdaf0a6a628f095f880ff716b157ef9a2d589f2cfc40b53e3d", "0x20732eab49adfd109626e0e84496a929a690377e98ee03f13f66ad4541949300", "0x28c850b8bc7f6ae88835bed342eda477e8d1f013a4db34b7ff33198e0a9f8e09", "0x14d234765f29b713df4d1291d452c73a5dc00458242df1be96e04ffb0a3c396e", "0x162572b68ab59291f430cf3113d4fcd3ddca59c4808c134345f6765693f8e1ce", "0x0bc37cb2ffd0f1691bf4d8c621d49f8c23ff58989d09d96c019cc6fc9a46e155", "0x0bc37cb2ffd0f1691bf4d8c621d49f8c23ff58989d09d96c019cc6fc9a46e155", "0x2aa58bd9f811c2970dcefde8c31c2c6db2349eed5161f80c0280a3acbd9f4f0d", "0x141198df3b9c1917d2e7a136ca3438fd9630719591c24388a0559873756d288b", "0x1975864b97d6ff0ace3d600020772ea32181c2f3e413ae67bac22e4a3bbcba9c", "0x2023d432e6630619c99c25a2f293f5ed78f373ee5212bff02b92f00a43bab0e0", "0x23cbaa3113b7265b926bc8811fccce701b3d4e4006ae6b66cefffd0e2f059fd4", "0x00000000000000000000000000000061e09b904168dcad01e82d26f8a21bb884", "0x000000000000000000000000000000000027a29682b86d1b09daa382868b245a", "0x000000000000000000000000000000efc6d7071b6c8cf492bc3ba72f4eda84c5", "0x000000000000000000000000000000000010860d04901949ad63a94863c77149", "0x00000000000000000000000000000036cacf503222db1b5d0edd58aafc1e74f9", "0x00000000000000000000000000000000000fef16ca13117c1f45f6df0782c273", "0x000000000000000000000000000000013704a507a82f6224d7c369d3d6c3929e", "0x00000000000000000000000000000000002887168ff50b7339d4d181d2a84cc0", "0x000000000000000000000000000000e57f500eab5f7d08ac3c93ce080dc1f15e", "0x00000000000000000000000000000000000c720872540cd88fec315c3e6a7625", "0x0000000000000000000000000000004b6897120d1858d29ac10cba52cf73dc44", "0x000000000000000000000000000000000019a9523d9a2481b5dbb1c23cb9686e", "0x00000000000000000000000000000052442fa24d3d5c3b9a608d8259757905a4", "0x00000000000000000000000000000000001c58b3787ffa3edd9f049c1c775a85", "0x000000000000000000000000000000f5737a5b8d278973356217e75bdc986ea2", "0x00000000000000000000000000000000001e0959f30c996ac7e3b265bac2de9d", "0x00000000000000000000000000000030122ef6c7a097b6b2ea6efa763797b8b4", "0x0000000000000000000000000000000000191344dd8af6c1c1c3beef933de271", "0x0000000000000000000000000000002f38961e4eb47676a42a5b59457e19a7b1", "0x000000000000000000000000000000000002936d1fa64f399018fbf60a1f2001", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0f349727b02c8c3916e6904450b4db7d748c746d693f12acfd44757e349ae543", "0x109b539e615d399af085519623a8f0ea43fd3e672e8b3397deb033110b896ba7", "0x1d2d7546c079198782bc8c1ecf377c86567d90d05988acd013af254a84ccfca2", "0x11922ebe299248b1a194ff41750bbad0297b8e4db3944036983764ba171195a1", "0x14cb035cb0d920e42127d67ed6763fd0cdadeac07c0aa57ab5c038a501aca88c", "0x2e82b6bc3d9337d1f2c080ed47e935308317c159408ff3a054718e737f827a49", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x000000000000000000000000000000c883c136e90256f3059fb812416fe61171", "0x00000000000000000000000000000000002cbe86e3f824a75195f942b5de0abe", "0x000000000000000000000000000000ff2335151394b16f671dcfdc5ee78485f3", "0x00000000000000000000000000000000000fceb210dd93cd99b7bb225af47ae8", "0x0000000000000000000000000000001a95675079e3f1508e636cf69b7978db7f", "0x0000000000000000000000000000000000079f7a59ed7b4a3dda951fa8fbad98", "0x000000000000000000000000000000b15ed33e983574376efe5ae0c29c6bdd1f", "0x000000000000000000000000000000000004031f5fd23cf82aad9e5d0bfd0363"] +proof = ["0x0000000000000000000000000000000000000000000000000000000000000040", "0x0000000000000000000000000000000000000000000000000000000000000011", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000042ab5d6d1986846cf", "0x00000000000000000000000000000000000000000000000b75c020998797da78", "0x0000000000000000000000000000000000000000000000005a107acb64952eca", "0x000000000000000000000000000000000000000000000000000031e97a575e9d", "0x00000000000000000000000000000000000000000000000b5666547acf8bd5a4", "0x00000000000000000000000000000000000000000000000c410db10a01750aeb", "0x00000000000000000000000000000000000000000000000d722669117f9758a4", "0x000000000000000000000000000000000000000000000000000178cbf4206471", "0x000000000000000000000000000000000000000000000000e91b8a11e7842c38", "0x000000000000000000000000000000000000000000000007fd51009034b3357f", "0x000000000000000000000000000000000000000000000009889939f81e9c7402", "0x0000000000000000000000000000000000000000000000000000f94656a2ca48", "0x000000000000000000000000000000000000000000000006fb128b46c1ddb67f", "0x0000000000000000000000000000000000000000000000093fe27776f50224bd", "0x000000000000000000000000000000000000000000000004a0c80c0da527a081", "0x0000000000000000000000000000000000000000000000000001b52c2020d746", "0x0000000000000000000000000000005265060992033960e8e32bc3fc09c3dffe", "0x00000000000000000000000000000000001d477657d4c186192157174e1ae85d", "0x000000000000000000000000000000cd51c49ebd008943587ea23486b8b5589a", "0x000000000000000000000000000000000029cff3c57394ddf5cc5323399502b0", "0x000000000000000000000000000000c2ec36ea535b8aa21337d02d48df12dffd", "0x000000000000000000000000000000000005af47d2e8508f0b0f9a09c4344c5b", "0x0000000000000000000000000000008b0495a384458dc7891e7694abeba9c27f", "0x00000000000000000000000000000000000693f38a17576df05f40917378ee5b", "0x0000000000000000000000000000006234b1604de9892ab1a1dd7e5a12e5b64d", "0x0000000000000000000000000000000000027beb67a31282343d16798d7f6881", "0x0000000000000000000000000000007cf97aa50f47c9263dad2e4c2c94cb1243", "0x00000000000000000000000000000000002892ea06de7e07a8cb8b46e6292fa0", "0x00000000000000000000000000000079cf93b804469cfd1aed183baaeae73de8", "0x00000000000000000000000000000000000e59187557f6855bde567cb35ede86", "0x0000000000000000000000000000008bd253f9ec6d2aa0aa50326c8365f4771f", "0x0000000000000000000000000000000000094ed7be0bdab40ba71f0b5a713f46", "0x00000000000000000000000000000079cf93b804469cfd1aed183baaeae73de8", "0x00000000000000000000000000000000000e59187557f6855bde567cb35ede86", "0x0000000000000000000000000000008bd253f9ec6d2aa0aa50326c8365f4771f", "0x0000000000000000000000000000000000094ed7be0bdab40ba71f0b5a713f46", "0x000000000000000000000000000000c6fbd597bf32620b74384b4182361f42c4", "0x0000000000000000000000000000000000018edc9ac63e10a04a67e9a498a93a", "0x000000000000000000000000000000f84f1abee938aa614d378583f16052e4fd", "0x0000000000000000000000000000000000071410de8b0d772ec833ab10f01f9d", "0x000000000000000000000000000000183c61e378b1ca713479769b7b2e74d603", "0x000000000000000000000000000000000003f21807c5069ab301a6d44b1d2960", "0x0000000000000000000000000000000ba9d96216597d251984d0a302327cd6fb", "0x00000000000000000000000000000000001379e1299d694a37dbff2a7e451267", "0x0000000000000000000000000000000265b8a70e3adaf365ce6afab43132ce80", "0x000000000000000000000000000000000025e91bb4ccd7abf754509beb7d23b4", "0x0000000000000000000000000000004929d635d6bd6dd0a5af7c245c462d732c", "0x0000000000000000000000000000000000227dd7610f4731e1b44f25d9e78fe6", "0x2d12d5c5058c324f9bc322ea29a04784b54f8035f139416d5bcfd943b9926801", "0x035178addba56dda1c8d22cc57e110d872e4681288802f23e8121c50366d9800", "0x06de7f41c17a9eb137d2b70b0d0feb97d6f83112060a530cf5ab9a7517e9d78a", "0x0f273c12ada01ad0e8069add3d3b8a8faa0bdcb4dfc3623fd4ac16c1e552e12b", "0x074ebece0d875a3bb670ad14fd85b2f02457b8ed862c93b54066d9b669a183c3", "0x11b89f60144876fcb3dda5d7cc8635d59b4361768b9b25f1378b26b49828f725", "0x288ff447a67c1c9b141e2ac417f07ea586bc56bca2c1dcba4936b41441393038", "0x2d3ffc59491e07d005e69e1487027011a76eb3c6d524a9b4aa6bf1bc46b6349f", "0x1466ef0e63cae250079dc66e41e42dae283f52d8787ced3e2d17b4c7c9c7d898", "0x225b3258dc7d920544b3b6531b7af2ccadb1c70a0995acc4501b88cc5f0fb907", "0x1f0e4e558fdfd2cef659615cd3d60478d5c63cc747f825a946e7c603a39752a8", "0x27c3896812da6e9b849b3040c6ac87fac3d663b3115a76d88c303f57b644d990", "0x1a537570f364e5b1dd9af6c4b2c7d1112556c00a75ddd8315a1bb1b9096700d7", "0x2d3f559a00ab352c8786dc2020127e107ee08768268c6b0097b2d6176842f414", "0x09bc339c3880c79a593f7db4ddc73fccfeae63b9fa4c5d5cc2f4bb280517c6cf", "0x2f8bc578f20113073ff2be60b6da3495f89a42120bc52bbd253796874f9759fd", "0x26be7abb2371fc72625ec11ffab449c1778b80451fea16526e6248efd49de5b0", "0x21cf35a90e5a308b8aad543bfa4750f19bd8e13e266a096cd630a39a475c066d", "0x15a2722c132db7dd062ccc988626ee32930ed9f4cc2dc8f0f5b83acd01c7395f", "0x18fefba3a72aca38f11dd1b258e3dbc5a3af8baf0aeb2b7f95ba75db421254b5", "0x2135cfbb055b1dcc2629ef569fce3203458a4a93351da029888787fb69950e89", "0x2a9324753d1299472226591c7681740d5ac53600958ffe33e20e936e3e134504", "0x2b37b9147927b1c9bbc4ce18150ad33400889a5ccebf417b4b9776a4238a0bc5", "0x12155671f2b7ccc0c25ff0a5748ee1c222f193d6902c4a9d37981800d05300f7", "0x08f07b01a5989df1b57fb57ec34266d468586ffd77546656ffd945917f2f310e", "0x0ec1ee0e959b0f8d58af8c82c2d8259cea457d0cb98a9c3da29c7f534a6e217a", "0x22aef80d85ba0200f99435006647d80993dc3336dda00ef68b7cebdd8c3f37e5", "0x2b07beb48ee0be89ba61106738486f4bd7a27f066d98672afc0eddbe0f62fd7c", "0x031c53dd417a71e0a092e57e9cf05b34b1d6afd989ebee1c2a7440e6fd18e142", "0x19705da6d82f9c572e529f9ff53f611dc7cdc5353febbdd7d99baf68f5d7fb08", "0x02dff73237605fb60aaeec62c4d70e211dafd696323ebb4fdb23da1356edc7b7", "0x28123310ea392855c4c5ae09a808e76d9aaebd1a2be528cd9ff2b58f2ae2e2b5", "0x2fb6955e954aa2ab2ba684330098e5c96f95d36543e766c7059c36e2e92c86ec", "0x1c108db3f6cd00c92f834baf1a88d03ddfb799bc91f729102ab68665f14a0429", "0x27b7c4e8392389c0cb16829cf7edac4ec71b7a95fc9ac63cbc811526fff42949", "0x00bda672de3a14c5d3d109a7fd2b355ab9cd5948b25c89e7063219788cad2b5f", "0x2540ed01eca6e3fbe9b413fed252a8b51b905ef52d3c44b6e3f9d96d89cceb25", "0x0980154978657d2050da8f97f83d1e92756b6d8f6d9a2c2858cdc89b26fbf262", "0x0f16055808088e8b53714c3cd0446a4a913d0924d5b7911a2f044ebd42f6174e", "0x0fe63161bd27a029a308803a11e6483e0d93dd7a045830759e6d6dd2750fdebf", "0x1c7e932d81a1c04a013e3bba9b56058302669cff5eb72999e12b6cf1528c3297", "0x2ee5a9a008f39be5f918f1edda8581a645e8ec7a599f659c1d1d543b4b57a54c", "0x153937bfad1211834575747a5b7ba58c4773b9f6fbc94d40598a244be55d51fd", "0x2dbd25164c929288b7cdd48b7628b89d1d61317959c311a7737657c624a47184", "0x27c9b7aa6d6333bc40fa43c4c9a851900fee79281caba089586eb2d8269c3c54", "0x2becaa90c4e2bb8acbe6dda8a2a3b43d9d04467898ebb1dc3e14a83f81d32512", "0x2b912d1ba0a02db4c8233000999aff38a430681acb23d1bdde1fa0fa062a17f5", "0x2075cdc89c791cb2d6b84a5a963f3600c51b7b1b2fabeed10c738f55ab1fb4a1", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x1471a95eb0ded8389636686aa80dd03de1d6463b220aad6bf79ad09808a1d668", "0x182e36542540118bf3f916f5fa1a8e9815f8e9790aa4d409eb0d4dd853501264", "0x0c39aee6873d5cda3ab71fc6445f6e2442780dfb3d676f9e3d52c72c7e9d2212", "0x072f89165101953f3721c7026fb31f3ab483e28968f3b0fef9ed94c2ea762fcd", "0x01d45e6d3df87d2c189099593bfade85b1b3cc46f9197cd2fe86441975738b43", "0x0357669d3816688746b9956a15ee6932ece3f90452670d3170470b1b492d43ce", "0x0888ced17aa0b48253ae7281b047364a55b21de8cc6d3d95576e1c12d844e896", "0x22e1db5f3280b301e204a4f0fa197e885acdf1b4a7796a1fbc8cddc9745387fb", "0x2df0db1e5eee18402c47d12e0e6cdb01233bff44c531a10beaefa54fda09ed72", "0x1b2a1e808d4e97c016343cd684638f3dd868c6bba4310305194295bf3e3cc28e", "0x17424701ca23f7af5d1da3578075813a381ab149d8e0955f983101fb0dafd274", "0x1a94eb7d138fcc01534c8b595a1b26f92ed69e554afd1a9cca08fade4c079e8d", "0x2a4054c6234b357a39fcb5e5422014cb9e2c2e78471fc7c0de4ed34699ebf537", "0x1c32828ae686569702e809917a6c4c9b312ecc2a1f4ff46f2a9a8f2cb1b9d8f6", "0x30336f19d17ab0663f491e03cf93cdd00297ae6d355ebe964c739e09556a9917", "0x1a601b9ea1a9c906d50145eaf9a04a92c54e0e735ecb5d70646eeba2550af3a7", "0x23c58b060ae1d78bfb9ac877019853f5aa163bff15f7f5948fe2ee56b6337412", "0x25fb1879de2f781f9ca372272993747db0a8c297d0c4c8e42828a5a15002dcd0", "0x24dd8e2f31a2b4840f45153fa22b010892d26826ffd2a701494dac528054f7be", "0x0883817539bb697cc376c85a88ef1953caa44a920bf1da6e3995fac80612b5e8", "0x0000000000000000000000000000002c8a80ab07bba8ea2c44e6cc7a5b6cba32", "0x27825b9d5cb4ccf2fa78745def0028b976dca4f32df2ce69c75415e0f238f536", "0x2769a1f59949dd4653929cff29ec6a66e2da94318b59a4dbe8f227d9b8123093", "0x25999ee45d5bc32b4907e46aae89833a08201bc10709f15cd35da391a2edd67e", "0x2a344e28ea8cdeecce8522a2bc601ca6ef195c06dc977a6df77d280f8f5bb176", "0x0f20867f6a27630060f7b33c42e110d3ecc2a63c2595398f64071ea5032ec397", "0x0aab5753f49b34843dbaaaf495a2f47ff12322c79c94eee76bcbf3f865c30267", "0x2027172e4ced4b6f710cfbd7ba3b685be782735c53eae17afa2eda35825b3b9d", "0x0dc044704fe514ae924b05d6aba5b431afeae6e4b9cb456a789f3e8e8deb6051", "0x06b97bac55f6413c26abe689d9946f317ada969531245c0c899c69684bcc68c7", "0x0bb72a73b8c5d6d0cfed762f30040d42be18b9c945f86c42346867a38f2679c6", "0x0018b84c9bfbd6ee153769d648f55580a995baa3859d4783e8c4b514b45e8051", "0x1cb9cc9da1e96a946e3a9e1168eda85fa379def26a78fdbe515ab45d777df665", "0x0aceacf3dd99bb0fd30c2cdfc54633a7285a7aae048f2ce7a4baeb910835940c", "0x0aceacf3dd99bb0fd30c2cdfc54633a7285a7aae048f2ce7a4baeb910835940c", "0x1c0643f95e44ace2ac1ded3edf88730c40bc669faa78d8991aaab241609e29bd", "0x17c09c851d565f7dfea75315518f04a28487b8964b61b920f0419ffd2a0b0fbb", "0x06e6f5462be57045ead38ce7146d81216ddb07b4320b9fd2c308aa2369a10c66", "0x03302944c99c6a0559eb4cdbfae6429f2125b47e16eeee590c54da69574cd527", "0x0f46b7fa3b7c399f1f8992b32a0a900706c3b6f3db366be175081fff39f79899", "0x000000000000000000000000000000deab220098e0743b21ed93f6388e80a65d", "0x000000000000000000000000000000000003885559ebf4ab35d49b0bce4d79f7", "0x000000000000000000000000000000017e2de970aaa284197111fd9905c4a742", "0x00000000000000000000000000000000000b1345364238b08e3fe9707410c18f", "0x0000000000000000000000000000006d73dd0a654f2bd614c5776e04c0e60cd2", "0x00000000000000000000000000000000002e68275e03a839ecd487489154f294", "0x00000000000000000000000000000001e1f93d2b018f0a6b39ef1fd29a5e9710", "0x00000000000000000000000000000000001545df2edfad784f403a3ef4ae2865", "0x000000000000000000000000000000ff7ae4905cbb3d622172e48dec6f1b2620", "0x00000000000000000000000000000000001b9caac1ec4b6386a2cc38677bd826", "0x000000000000000000000000000000401072f183011dbf2761f1e506c156e297", "0x00000000000000000000000000000000002bf1ac2ef46cabb190b21d8463e1b3", "0x0000000000000000000000000000001aa0a85b68445babca19d465f16f3d0f44", "0x000000000000000000000000000000000026af9be6313c8e278673d7af6f4bf3", "0x000000000000000000000000000000721825342b3c04f9e6378b644348c801a6", "0x000000000000000000000000000000000015ba091e88e2ff46007a89d2d1afd5", "0x0000000000000000000000000000007344bce8d1d609356ad8f8ac0d34ec3da7", "0x00000000000000000000000000000000001a7ff303dbb62a1af6b632acbb3ef4", "0x0000000000000000000000000000000b4fe0012ff9655be51e69b0996b06179c", "0x00000000000000000000000000000000002d7ef4d382f16509894e2b6032af10", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x19f0c008fa095f42bad43fb28b2b4b47359270ded337b6d25391fdae9b391d75", "0x1c94592a94c4beb4a7e85554aa2bf80765155ad05e8936c25288cd8c4f67a3f9", "0x025138b970f04c9e9d196714071b05a4f20904fff74e69b30c548c975f248f31", "0x188fa91b4dac482ae0f2e44baf3866c1f9fd612d74bc04c96f5f565508f84b2b", "0x0fc936e564c2c8c68f65745643116c3fdb10b5181ae44d2de5bb1f6cec6ef3fe", "0x2583a70cd8b72a1a3e5968e2c88b95979d11cc06d4f80d2da250af7712721003", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x000000000000000000000000000000e714f5ed5ef689b2794f15772d4a946efa", "0x00000000000000000000000000000000002e59cd0cabcf055eeec66cce924421", "0x0000000000000000000000000000005d0309091e80086f656f824ad5ec932475", "0x00000000000000000000000000000000002066f6e6deee86ef9dea59eab0b755", "0x000000000000000000000000000000c8e88bb1d6ec1fc5434e7a032b1d6a5667", "0x000000000000000000000000000000000008013ea9ff1748d590acbf58e37dac", "0x000000000000000000000000000000ebc576489a7a4e90b23a50cfec950b755a", "0x00000000000000000000000000000000001874d0e5f8c341fd0b5e3ddd81eaa1"] public_inputs = ["0x0000000000000000000000000000000000000000000000000000000000000003"] -verification_key = ["0x0000000000000000000000000000000000000000000000000000000000000040", "0x0000000000000000000000000000000000000000000000000000000000000011", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000003", "0x0000000000000000000000000000000000000000000000000000000000000004", "0x0000000000000000000000000000000000000000000000000000000000000005", "0x0000000000000000000000000000000000000000000000000000000000000006", "0x0000000000000000000000000000000000000000000000000000000000000007", "0x0000000000000000000000000000000000000000000000000000000000000008", "0x0000000000000000000000000000000000000000000000000000000000000009", "0x000000000000000000000000000000000000000000000000000000000000000a", "0x000000000000000000000000000000000000000000000000000000000000000b", "0x000000000000000000000000000000000000000000000000000000000000000c", "0x000000000000000000000000000000000000000000000000000000000000000d", "0x000000000000000000000000000000000000000000000000000000000000000e", "0x000000000000000000000000000000000000000000000000000000000000000f", "0x0000000000000000000000000000000000000000000000000000000000000010", "0x00000000000000000000000000000060e430ad1c23bfcf3514323aae3f206e84", "0x00000000000000000000000000000000001b5c3ff4c2458d8f481b1c068f27ae", "0x000000000000000000000000000000bb510ab2112def34980e4fc6998ad9dd16", "0x00000000000000000000000000000000000576e7c105b43e061e13cb877fefe1", "0x000000000000000000000000000000ced074785d11857b065d8199e6669a601c", "0x00000000000000000000000000000000000053b48a4098c1c0ae268f273952f7", "0x000000000000000000000000000000d1d4b26e941db8168cee8f6de548ae0fd8", "0x00000000000000000000000000000000001a9adf5a6dadc3d948bb61dfd63f4c", "0x0000000000000000000000000000009ce1faac6f8de6ebb18f1db17372c82ad5", "0x00000000000000000000000000000000002002681bb417184b2df070a16a3858", "0x000000000000000000000000000000161baa651a8092e0e84725594de5aba511", "0x00000000000000000000000000000000000be0064399c2a1efff9eb0cdcb2223", "0x0000000000000000000000000000008673be6fd1bdbe980a29d8c1ded54381e7", "0x000000000000000000000000000000000008a5158a7d9648cf1d234524c9fa0c", "0x0000000000000000000000000000002b4fce6e4b1c72062b296d49bca2aa4130", "0x00000000000000000000000000000000002e45a9eff4b6769e55fb710cded44f", "0x00000000000000000000000000000072b85bf733758b76bcf97333efb85a23e3", "0x000000000000000000000000000000000017da0ea508994fc82862715e4b5592", "0x00000000000000000000000000000094fa74695cf058dba8ff35aec95456c6c3", "0x0000000000000000000000000000000000211acddb851061c24b8f159e832bd1", "0x000000000000000000000000000000303b5e5c531384b9a792e11702ad3bcab0", "0x00000000000000000000000000000000000d336dff51a60b8833d5d7f6d4314c", "0x0000000000000000000000000000009f825dde88092070747180d581c342444a", "0x0000000000000000000000000000000000237fbd6511a03cca8cac01b555fe01", "0x0000000000000000000000000000007c313205159495df6d8de292079a4844ff", "0x000000000000000000000000000000000018facdfc468530dd45e8f7a1d38ce9", "0x0000000000000000000000000000000d1ce33446fc3dc4ab40ca38d92dac74e1", "0x00000000000000000000000000000000000852d8e3e0e8f4435af3e94222688b", "0x0000000000000000000000000000006c04ee19ec1dfec87ed47d6d04aa158de2", "0x000000000000000000000000000000000013240f97a584b45184c8ec31319b5f", "0x000000000000000000000000000000cefb5d240b07ceb4be26ea429b6dc9d9e0", "0x00000000000000000000000000000000002dad22022121d689f57fb38ca21349", "0x000000000000000000000000000000c9f189f2a91aeb664ce376d8b157ba98f8", "0x00000000000000000000000000000000002531a51ad54f124d58094b219818d2", "0x000000000000000000000000000000ef1e6db71809307f677677e62b4163f556", "0x0000000000000000000000000000000000272da4396fb2a7ee0638b9140e523d", "0x0000000000000000000000000000002e54c0244a7732c87bc4712a76dd8c83fb", "0x000000000000000000000000000000000007db77b3e04b7eba9643da57cbbe4d", "0x000000000000000000000000000000e0dfe1ddd7f74ae0d636c910c3e85830d8", "0x00000000000000000000000000000000000466fa9b57ec4664abd1505b490862", "0x0000000000000000000000000000009ee55ae8a32fe5384c79907067cc27192e", "0x00000000000000000000000000000000000799d0e465cec07ecb5238c854e830", "0x0000000000000000000000000000001d5910ad361e76e1c241247a823733c39f", "0x00000000000000000000000000000000002b03f2ccf7507564da2e6678bef8fe", "0x000000000000000000000000000000ee40d90bea71fba7a412dd61fcf34e8ceb", "0x0000000000000000000000000000000000140b0936c323fd2471155617b6af56", "0x0000000000000000000000000000002b90071823185c5ff8e440fd3d73b6fefc", "0x00000000000000000000000000000000002b6c10790a5f6631c87d652e059df4", "0x00000000000000000000000000000029a17181c7934fc3fdbd352eac5cb521b9", "0x00000000000000000000000000000000001f497cbf5284ff29a2d336e5991999", "0x000000000000000000000000000000072bd9c0c6beda1fdee6d4ff0432ba9e1b", "0x000000000000000000000000000000000013ea38a0bd2aa751a490a724fac818", "0x000000000000000000000000000000c599f63dcd3edd49f08ae5c3141c1e3493", "0x00000000000000000000000000000000002bdb36be0bea09950dd32a8ccf6fbc", "0x00000000000000000000000000000047f27f29724e7f19eba0340256a0bd4b7d", "0x00000000000000000000000000000000001c1c5ccf87a962129ca785f8f35120", "0x000000000000000000000000000000c5c71efdae00679bbe4a95096e012b1817", "0x000000000000000000000000000000000017a365de041e317817d0135f2b48e0", "0x0000000000000000000000000000008ae711ac402f7848d719c93a89ba8d39f1", "0x00000000000000000000000000000000002b6fb40ed8a1935226f4f9786a0499", "0x0000000000000000000000000000002f03a71501d83de1da5715a4e9462d6198", "0x00000000000000000000000000000000001644064443b8546f48eae693af47b8", "0x00000000000000000000000000000083763ab1b6e8fe269b2fe4c7b9c448c08d", "0x000000000000000000000000000000000021d7cc18c59676a8eeb47c0111c251", "0x000000000000000000000000000000b5f937153073e03ea7d51a996e0ebc2e6b", "0x000000000000000000000000000000000011ddd0e26457373eb06e0493177672", "0x000000000000000000000000000000c5f6eb9f6fc8fa99811a4a88c74a6d018b", "0x000000000000000000000000000000000025bcd07a0732c123567834f5109558", "0x000000000000000000000000000000aeb08a0b1a4442189448b4e97490568146", "0x000000000000000000000000000000000002a1744e4771705536a88f07e0f90f", "0x000000000000000000000000000000b938568293bd0724b0ea76c2ec34c4a829", "0x0000000000000000000000000000000000053296e8f3b9ad3af877dfa9c7c2a7", "0x000000000000000000000000000000f0ca1db6323996eba26bdc86dafef9d10b", "0x00000000000000000000000000000000001441a46c58af03d5645d52721d956a", "0x0000000000000000000000000000008bbf8f884013c66c28ba09c2fbd573b656", "0x0000000000000000000000000000000000206c391ca06fac27d1908e94570243", "0x0000000000000000000000000000002d4f5aaed88ba4f79612d53b804ca8f194", "0x00000000000000000000000000000000001674011c96392df08970fa6b7b4cb8", "0x0000000000000000000000000000009f88297c1729d76c4d9306853598c91325", "0x0000000000000000000000000000000000256f51adfcacc3c1e340be4d32d3e9", "0x0000000000000000000000000000000ab9955eec0d74eb799afed2a802b24d75", "0x00000000000000000000000000000000001fcbe43ea105b30d36ed0b21b03411", "0x000000000000000000000000000000d66b1d5433f1aa5305cd1edce7c22de466", "0x00000000000000000000000000000000002331546a256b8a3b751956806680d4", "0x000000000000000000000000000000292b512a940306c9b122a0feb4e9780af9", "0x00000000000000000000000000000000000904e02f0334f3a3f72e65ce82f34b", "0x000000000000000000000000000000778103226eff8f576eba0a0a2ffa134d57", "0x000000000000000000000000000000000001fe54f93991aa61a056f75e5137b0", "0x00000000000000000000000000000089058e539eb10c10fa13dd50e39517555d", "0x000000000000000000000000000000000009e91383ce6118cef78093d2c550fc", "0x000000000000000000000000000000d95e2e1bf12461b508cc8d63fee4a8613d", "0x00000000000000000000000000000000000ab28965260d651673541f10f2e02f", "0x0000000000000000000000000000008f6f361c7fe163277c1022dacf2a0f307b", "0x00000000000000000000000000000000001e47e6531c4ec673e9c18a9062c1df", "0x000000000000000000000000000000e55ba7b44de2c0927d4df995625325c68c", "0x000000000000000000000000000000000005d3e2113696d710431294256dab1a", "0x000000000000000000000000000000150b1462a7b440ef041dc9e7af7e1d1f15", "0x000000000000000000000000000000000017b03e1a64b4988e05ca4291f3ce6a", "0x0000000000000000000000000000008d494ccfb05451bea33fe43623c45a9d7b", "0x000000000000000000000000000000000001ed433638a57a66f8205daea09e50", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x000000000000000000000000000000f68b70e0e4b0cb9e2c7bd64fa4b75b32dd", "0x00000000000000000000000000000000001bcedd9106bdd4e13e0b751c672a83", "0x00000000000000000000000000000042fd857eb4bf620db08b0e181807df9f59", "0x00000000000000000000000000000000001ccfa89524772b4bd5b6bf6741d71f"] +verification_key = ["0x0000000000000000000000000000000000000000000000000000000000000040", "0x0000000000000000000000000000000000000000000000000000000000000011", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000003", "0x0000000000000000000000000000000000000000000000000000000000000004", "0x0000000000000000000000000000000000000000000000000000000000000005", "0x0000000000000000000000000000000000000000000000000000000000000006", "0x0000000000000000000000000000000000000000000000000000000000000007", "0x0000000000000000000000000000000000000000000000000000000000000008", "0x0000000000000000000000000000000000000000000000000000000000000009", "0x000000000000000000000000000000000000000000000000000000000000000a", "0x000000000000000000000000000000000000000000000000000000000000000b", "0x000000000000000000000000000000000000000000000000000000000000000c", "0x000000000000000000000000000000000000000000000000000000000000000d", "0x000000000000000000000000000000000000000000000000000000000000000e", "0x000000000000000000000000000000000000000000000000000000000000000f", "0x0000000000000000000000000000000000000000000000000000000000000010", "0x000000000000000000000000000000ea6f0ffc3623f62df87b74c4dcf518fd39", "0x0000000000000000000000000000000000173d770a8f5cb72b5b7df483f41e34", "0x00000000000000000000000000000078cbd4d4ee5fbdc3e18d02a1f70cbb5d91", "0x0000000000000000000000000000000000021f87cdc6ab8ffcec1ad655c4957e", "0x000000000000000000000000000000becb2c582944a105e60c8137244c7fbe50", "0x00000000000000000000000000000000001131c406ad5519e89c0595a6eb090a", "0x000000000000000000000000000000835914e338d4388cd6b377c6f29c3ae8d7", "0x0000000000000000000000000000000000090349ad561dca142627a600ee4277", "0x000000000000000000000000000000974f2b1de449db7000391c8aec96756b19", "0x00000000000000000000000000000000002073a05050310929610ff7d081bfef", "0x000000000000000000000000000000e1ea79efc9dc97e61ef4b380bf93f5d160", "0x00000000000000000000000000000000002e70a9d847019e5f99be0ce5849ef9", "0x0000000000000000000000000000003181bcdd733575d173aeb749a241457fee", "0x00000000000000000000000000000000002a99429ae3e7fc810959e114a4935e", "0x000000000000000000000000000000638591cb7a86b050e9c915fdf75fc0188d", "0x00000000000000000000000000000000000eec7be2a69ddc8b3c3a39729f2ff1", "0x000000000000000000000000000000a6e81418467d38b93104d402dea2d642c1", "0x00000000000000000000000000000000002497efe6b96c26dc4b5e015c627530", "0x000000000000000000000000000000f9ac5e0111dc36f9cc1e9a9905235a374d", "0x0000000000000000000000000000000000127f146a5df1de7c90d1a4a9a373fa", "0x000000000000000000000000000000bb0e4ad8256760164511649027827b2468", "0x00000000000000000000000000000000002c2b05a49b25c71848061f721b0e52", "0x000000000000000000000000000000d2e0cfa24df62aeb0b250c6b8ce4bce249", "0x0000000000000000000000000000000000177cfc8a9f03ba7a0fdf0b99899778", "0x000000000000000000000000000000bc3661650d53f9b24d923d8f404cb0bbc9", "0x00000000000000000000000000000000000c4032c3079594eb75a8449d3d5ce8", "0x00000000000000000000000000000054eb5fe796a0ca89441369b7c24301f851", "0x00000000000000000000000000000000001084d709650356d40f0158fd6da81f", "0x000000000000000000000000000000b59bdbe49ff8208baeb13b8cd40c72281f", "0x0000000000000000000000000000000000212700d6e138f55e8fe4d41aca557f", "0x000000000000000000000000000000d0d87076eba438e31effd2ea0f1b0e45d2", "0x00000000000000000000000000000000000628be7db7fa2e49440a4867f3c5c8", "0x000000000000000000000000000000c9f189f2a91aeb664ce376d8b157ba98f8", "0x00000000000000000000000000000000002531a51ad54f124d58094b219818d2", "0x000000000000000000000000000000ef1e6db71809307f677677e62b4163f556", "0x0000000000000000000000000000000000272da4396fb2a7ee0638b9140e523d", "0x0000000000000000000000000000002e54c0244a7732c87bc4712a76dd8c83fb", "0x000000000000000000000000000000000007db77b3e04b7eba9643da57cbbe4d", "0x000000000000000000000000000000e0dfe1ddd7f74ae0d636c910c3e85830d8", "0x00000000000000000000000000000000000466fa9b57ec4664abd1505b490862", "0x000000000000000000000000000000677bd789aa094b735f2abf3d9cfd032188", "0x0000000000000000000000000000000000236e982930a9984fd08a3edddf25a1", "0x000000000000000000000000000000c07a966aebd836d8a800f54b1c3bb5c36f", "0x00000000000000000000000000000000002ddf6475059b2e9451db5b8d857bff", "0x000000000000000000000000000000ee40d90bea71fba7a412dd61fcf34e8ceb", "0x0000000000000000000000000000000000140b0936c323fd2471155617b6af56", "0x0000000000000000000000000000002b90071823185c5ff8e440fd3d73b6fefc", "0x00000000000000000000000000000000002b6c10790a5f6631c87d652e059df4", "0x00000000000000000000000000000029a17181c7934fc3fdbd352eac5cb521b9", "0x00000000000000000000000000000000001f497cbf5284ff29a2d336e5991999", "0x000000000000000000000000000000072bd9c0c6beda1fdee6d4ff0432ba9e1b", "0x000000000000000000000000000000000013ea38a0bd2aa751a490a724fac818", "0x00000000000000000000000000000024894ab0070e4f72cf1fffafa8b39307c4", "0x000000000000000000000000000000000019f564c37de48cf28b308da5f2e2f8", "0x000000000000000000000000000000a08a6899213caaa89baca51a3598a07b99", "0x00000000000000000000000000000000000b5e594c4ae54f867a3bd8973689d8", "0x000000000000000000000000000000a3ba29ef6ca86e9f0d01acd1abac8ccd34", "0x0000000000000000000000000000000000155cad00fb78a200a9a95a2a220ce3", "0x00000000000000000000000000000038a5f38d32ca28822645e2c790fc26f029", "0x00000000000000000000000000000000000906f90f083e6f1121af20a5067a04", "0x000000000000000000000000000000d53e76dd5279fe31335ed32d80dcc5ca31", "0x00000000000000000000000000000000002cf52886dd6e8f1fd0adb60005c606", "0x0000000000000000000000000000002ddcbd934e2f9c7ff98d2e55c070cc2fe2", "0x000000000000000000000000000000000028db51dbb15364210353420c11faf9", "0x000000000000000000000000000000397594051f075d214bbf3f48b71c63f4b8", "0x0000000000000000000000000000000000047b66ca1874c32782c036fb9aefeb", "0x0000000000000000000000000000009e9fba95bbfa0e8726ec97a6d808caa2d4", "0x000000000000000000000000000000000004ade9dfa460ee9d37d6ccb02c1e20", "0x0000000000000000000000000000002b8e95ee572dc79770aa90657517801faf", "0x00000000000000000000000000000000001bb5b68de1c268c3d95913e3147c15", "0x0000000000000000000000000000007d6628253cf6c468d2fb28f77f36b15831", "0x000000000000000000000000000000000014d3535ebb73ddbddcfd2bbeb5c12d", "0x0000000000000000000000000000005f0f2c1ce2daf455b3f3d0098e1a74774c", "0x00000000000000000000000000000000000f65e16cb15a76fc408beabbd219e3", "0x000000000000000000000000000000a2f6f792ce9d9d148a330fabf682a0d0b7", "0x00000000000000000000000000000000000a243a33df583888f21721cfccf6c0", "0x000000000000000000000000000000cb6d5d306b6754ba07e397736489c614e2", "0x000000000000000000000000000000000005caedb54aad66bad31ff224151ec3", "0x000000000000000000000000000000f1e5fcf49bc8ac16b03b30c861fad85fe6", "0x00000000000000000000000000000000001fef824be2fa25332c2bca21d3126b", "0x0000000000000000000000000000000ab9955eec0d74eb799afed2a802b24d75", "0x00000000000000000000000000000000001fcbe43ea105b30d36ed0b21b03411", "0x000000000000000000000000000000d66b1d5433f1aa5305cd1edce7c22de466", "0x00000000000000000000000000000000002331546a256b8a3b751956806680d4", "0x0000000000000000000000000000002b1c1c2637db3f8fecd9d8bb38442cc468", "0x00000000000000000000000000000000000450f8716810dff987300c3bc10a89", "0x0000000000000000000000000000005db2bf83f8a194086a4cca39916b578faf", "0x000000000000000000000000000000000010005567f9eb3d3a97098baa0d71c6", "0x00000000000000000000000000000031e12e1ce3a444583203ea04c16ec69eb2", "0x0000000000000000000000000000000000103bcf2cf468d53c71d57b5c0ab312", "0x0000000000000000000000000000004207277f4116e0af5a9268b38a5d34910b", "0x00000000000000000000000000000000000c5d6e7a8b0b14d4ed8f51217ae8af", "0x00000000000000000000000000000083bc4ff48edd6aa66759994187f28dd173", "0x000000000000000000000000000000000017cb85a0f539b780ee6319982f5ba4", "0x00000000000000000000000000000012fb642de7b51efcce75a189bdf598f3b8", "0x000000000000000000000000000000000026fa70b6c942ddd3700064b48ba1ee", "0x000000000000000000000000000000eb0ab515191143e5a3c8bd587526486628", "0x0000000000000000000000000000000000132b76a71278e567595f3aaf837a72", "0x0000000000000000000000000000002c37ccc495848c2887f98bfbaca776ca39", "0x00000000000000000000000000000000002c6b2a0de0a3fefdfc4fb4f3b8381d", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x000000000000000000000000000000f68b70e0e4b0cb9e2c7bd64fa4b75b32dd", "0x00000000000000000000000000000000001bcedd9106bdd4e13e0b751c672a83", "0x00000000000000000000000000000042fd857eb4bf620db08b0e181807df9f59", "0x00000000000000000000000000000000001ccfa89524772b4bd5b6bf6741d71f"] diff --git a/noir/noir-repo/test_programs/execution_success/verify_rollup_honk_proof/Prover.toml b/noir/noir-repo/test_programs/execution_success/verify_rollup_honk_proof/Prover.toml index 4c4591c2f4d..559149c7ec6 100644 --- a/noir/noir-repo/test_programs/execution_success/verify_rollup_honk_proof/Prover.toml +++ b/noir/noir-repo/test_programs/execution_success/verify_rollup_honk_proof/Prover.toml @@ -1,4 +1,4 @@ key_hash = "0x0000000000000000000000000000000000000000000000000000000000000000" -proof = ["0x0000000000000000000000000000000000000000000000000000000000001000", "0x000000000000000000000000000000000000000000000000000000000000001b", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000042ab5d6d1986846cf", "0x00000000000000000000000000000000000000000000000b75c020998797da78", "0x0000000000000000000000000000000000000000000000005a107acb64952eca", "0x000000000000000000000000000000000000000000000000000031e97a575e9d", "0x00000000000000000000000000000000000000000000000b5666547acf8bd5a4", "0x00000000000000000000000000000000000000000000000c410db10a01750aeb", "0x00000000000000000000000000000000000000000000000d722669117f9758a4", "0x000000000000000000000000000000000000000000000000000178cbf4206471", "0x000000000000000000000000000000000000000000000000e91b8a11e7842c38", "0x000000000000000000000000000000000000000000000007fd51009034b3357f", "0x000000000000000000000000000000000000000000000009889939f81e9c7402", "0x0000000000000000000000000000000000000000000000000000f94656a2ca48", "0x000000000000000000000000000000000000000000000006fb128b46c1ddb67f", "0x0000000000000000000000000000000000000000000000093fe27776f50224bd", "0x000000000000000000000000000000000000000000000004a0c80c0da527a081", "0x0000000000000000000000000000000000000000000000000001b52c2020d746", "0x00000000000000000000000000000000000000000000000198351784bcb51220", "0x0000000000000000000000000000000000000000000000010d0f8f1f7113655e", "0x000000000000000000000000000000000000000000000004112bf58ccdc9d1a6", "0x0000000000000000000000000000000000000000000000000002a60f71be5fae", "0x00000000000000000000000000000000000000000000000c277ca8f3f566b58e", "0x00000000000000000000000000000000000000000000000eb132e7fdc58ac690", "0x000000000000000000000000000000000000000000000009f620b17904c216fc", "0x0000000000000000000000000000000000000000000000000000418193e46832", "0x16cf7cc6f21f642a8118cfa0dc61f2537a91ecacc5f3668eabd665cc680e03fb", "0x18158b8584791bfbe5ee10a85fdd34c00d56a8a5d88129ffe078746088491b46", "0x000000000000000000000000000000f31a9f28cd3a9e1f6075aaf9ec8727208c", "0x00000000000000000000000000000000001233f898e5172cd4bc911b998709fe", "0x000000000000000000000000000000ca718983bbd788cb6bb027395398bb2eb4", "0x000000000000000000000000000000000005b1206cd018c3ccdef2d56d001872", "0x00000000000000000000000000000078e6f7d3378f422821fb4d4c068b216657", "0x000000000000000000000000000000000003b440ded66529bee75ef104f807dc", "0x000000000000000000000000000000803d9477bd05cdc528ae79ac9ac3063b59", "0x00000000000000000000000000000000001fbc07b498117324c534a1959454de", "0x000000000000000000000000000000186d9a95a47ff0ad2b0140d0d4617c19a2", "0x00000000000000000000000000000000001ae8fbb60548a48b872fc55c81ae2a", "0x0000000000000000000000000000003b01e2f9a4875516f4efaa4e8927193d77", "0x00000000000000000000000000000000001e49d5f5e233972d0ce5bd6affcbd2", "0x0000000000000000000000000000002a171861b26b214d20a7cb4d428a270b19", "0x000000000000000000000000000000000006d220e2a01128ecd1358cfd02bb10", "0x000000000000000000000000000000e45bf2a5a87cf3f64798f8279a77be8f0b", "0x00000000000000000000000000000000001fc24780eee3fa3aedc08349ec0a49", "0x0000000000000000000000000000002a171861b26b214d20a7cb4d428a270b19", "0x000000000000000000000000000000000006d220e2a01128ecd1358cfd02bb10", "0x000000000000000000000000000000e45bf2a5a87cf3f64798f8279a77be8f0b", "0x00000000000000000000000000000000001fc24780eee3fa3aedc08349ec0a49", "0x0000000000000000000000000000001d37b931273e72178e88ce50335e2dc83e", "0x00000000000000000000000000000000000511d63534ad2ccafc77415b1a29b0", "0x000000000000000000000000000000e7d019c73ebbc6451c01ac52f156ecf865", "0x0000000000000000000000000000000000268c3d97d581e919b815696da25cc3", "0x0000000000000000000000000000000d9599859b3bdcdb478812ee25d2f0eeee", "0x000000000000000000000000000000000026c9e7abbb73875fddb1ac55cdf1e2", "0x00000000000000000000000000000033c989fdb71acf8d4184c7a0d321e08d73", "0x00000000000000000000000000000000001c175d26699767e4c519b04251b5ee", "0x0000000000000000000000000000000f92946b5ba26bb09b66d65834d2f4cf5b", "0x000000000000000000000000000000000012b63a80baf4d982c5122a471bc42a", "0x0000000000000000000000000000006fa3c86e91550801f284938bfa104ca096", "0x00000000000000000000000000000000002c51726c2563a7b5d9dc69ea0263fc", "0x306287f56c48effd2f9699a46db9267c91263b6de06d7b7be9cfa4662dab37dd", "0x0001c67d74e8b02c88b9ac1213c831e0970dacda994bf5155a12512dc254c824", "0x1925a443b3d49b3a0d80d8ca41c6f32687b5dfaaa8f21a65517bc5db6bd1e47b", "0x251a4faf274456bbe0c7f69fa8f67e5a1c079622d6233f636500dfbcf9b621cb", "0x0e6a61c9e1bafd7067d9830443de3c05afc3dd79f45a195de5a90732a0868f45", "0x0a7245508b1615f792270dba05f387ada642988a9584ffb4030c4a90c7efcf12", "0x15863f2959c9d468cf756679c24ad8d8aeca54121684681e546e5e40a0b6ceb0", "0x0404eef3cb7467c0065e2ed7525a88d3d9b8d62fe0c441ed5fc2439722641f02", "0x08f4ec100b001fba3c773208d57cc0b6416ca1341e02129e717d93fc2e3e40c2", "0x0a49765410098eb75f5e725f163dbfa492e91b739f0cbcd6ac8a84898d0c4b55", "0x191eec3f8f395fb4c4fea8cd5e726d5a01b8f7de6d73b92af658a9826982effa", "0x27dadf71f0d9b4b09eb744718d20bed1185bf6fe9074c0e38a3574a9fef10468", "0x000daf66f8c35c1d3b887a3f974bde18e804ac7768fea8257518ae1303d441d8", "0x1622a82d0d30d00a9a5df5e5448ce64e575385413872f601a5d3f507eb07004a", "0x2d6191ae1a2657e766345dd4e60c43db5043bbda7b159b768dffa0371055901a", "0x2544bbdd4ce4b098eb4feddcaa7aa95a69f418f205d3e6716cf20d6d607b31fc", "0x27539990c10c0e5d05e07efa3c268354576cb00e2e50d27ae72204baa46a04f2", "0x1bf39a47211a4b4224dc726a437ea853097dfc7ada0f3e2d4e3f4d3a7edd1bc4", "0x15759bd32285dc0c51e46a0eeea80f755bfa77e18a65c62e241a2c7fbb8370b8", "0x2616a41128e14a226c459a93a19b13de581caa4f75c6368dbf7257a323fc84b9", "0x1bc5b5a9238571c7efeb9e992e4b410e2affdf015518126bc6b23ca2986d02c6", "0x08a03b8831139f22a329f22ab8a87eed1c9313db7d993718c6b1c0735e66a719", "0x2e3e957d6c4b250f0cdbdd00ada94bb53dc70104196176e9abe473647aa86a09", "0x1b6c77870100cd99fa8a85db4bdcab5da5c3505704cfbb2bda11463d25b6eea6", "0x00e1e81ba9dfbd1b7cd9192d5f0218c2eff9bf6f4dd859e07bdb163633ebf310", "0x2e7d519ecb078293b55adc1f9078e01f375a97dc2374725c9b178bb1df019aea", "0x0af9c92343c56476189c42b4c578a170c85111555b3fddaa74666a0f7f860ec1", "0x213b21f0891215c865fa84e0c1744765e3c0a36b5062c39e46b95704f478f746", "0x22f71989fdc01723d4e1cc854cbd9b482af30ad642f3a5dad765e016264bfd95", "0x0de2e531eab5853f2d7759b3e258fc0d5860d10678331b00d2612c4f794538e9", "0x26d4d98c23dccd50cb40b89ea899fcc23cd06e141582932d0acf1915c85a1c6c", "0x27094a91f28e55036e178acd6adeec53adb0a4b93e8365a57f237ca9d2e94405", "0x019662c5cbf555a9b96b65742647426a33c97b595e8516c433e742b49e22cabb", "0x2d32a500f4e75b3377432fb7febb00bf1fa6306a621f8801306ab293b12b370a", "0x2984ccbc3fa69b375e758005d2e668619e71c84e007fc9361305d17c046c18b6", "0x15a8c7880db4f1e48ba2f406d514eaa76df3c8e3db2964808f38e59ab63268e0", "0x014f53ec2db52091b3a6a2d445e4bd93ac9f5ed122ba701c5682c26c1f5bc4cb", "0x1cd8668cba6d841aaad54684e3613db68dfd0a57258f5e6d7207ca5aa91f8f7c", "0x2c198f396bd3785539b5d9b8ec33da835fae84caac528b587dbfa5d380378d28", "0x1912c183ff1b57a17d1cf630346d4547566384ab3ca09602bf98d83ead40ef52", "0x23b691d4c3445720248facd6dc688d2afa13277ed408405e833a053b7543bea3", "0x275b0dfd8d39f50c6d672e02e10a775102c54674ae0eeda61acca7bd339fe3d7", "0x1ec7eaa32c32988df48890320c31e49a6d8e1db47fe19aa936433045a6b20d3e", "0x07be4532de3a24a63bee613d6b42cbd294bcf8b0fa401d9bf838f7c5a6fd7a11", "0x030d7505ece9e71c5e2fc1717cdf463c41f2be0e368bb39e8d9337652e4848c9", "0x13759dca280cbe036507810ef0baf9d02389ce0772200ceba30957c4280504fb", "0x155b5775cf065eca5d4791b76503cf6864b1f089e09658f8d73bce95aad8b63d", "0x03408af42e89123440902eee1b218ac54893a05c499e544ab152f2dc4d2a7406", "0x0f095b86ec10064e8538959a22d69f1842d0cb92a8bfc9f63e9af82d9f518aa8", "0x2ecff3efe9ca5247b99ee0ff636cb7c667ca0752ca3bd7e019750c6a0824c05e", "0x15a1eb4c9f778792e854b14a65f461491346eb3b5afbc0f47a04f37df950c0c7", "0x1c45fe9bd5a8a577e734667d5d2f75aaf042288faadd45840c15fda952d683e6", "0x0b1916e811028364d7ab4726ce9ee4158df2f3d7ec6b6de78b5dc5eb0ca33271", "0x26198efbc197e8b8995c6663dc22091aa79a66b43551576aed3bfac59a9a633c", "0x1c600b24660c474a5e7d065773c8bf46861b86bfd35263b7dedb6844cee0c2e0", "0x0f70705ffbc0c80c20feffa4040d88bda32bce28c68cae7f09f1298fa4e918b3", "0x26a5e8599e18ca537978b64c6e36d14aaaf77b1e73969ecc89d74f72c5141a91", "0x0d6d63868e3e7095a8c26da8ecd37e232f9fc59096db96f17ed3934ecba34478", "0x2193d7b12212843e643dbbdcf3cedb55fa67bac5e65a2ce8583ea507c04cce6c", "0x2141f72eb19fa0b2490400bf9b436c73f14c60e77a16138ae4b0d39629f8ed7b", "0x2e25c471d729c4742747fe52fbaf000d3b958480ea93141abbc6bb389ad854c7", "0x0b2299402112e0205f74bb313786994ca83c7bd204cca59e6dfa3b147c21203b", "0x159c2236da8acc75769bb8138dce9c6ea319651e9abed3c12ddd8f554e292486", "0x03b25006c2280965d306ba2a24c81a09d72d2b0c5f7f214221c76f6501efc911", "0x241850ae454b281ca5be4b064855da6481ce150485770e9b273de8a29a64fbd4", "0x2d1b2592def2035dacc6a50dd657994d98b669c13c8c4fa7a5de32bb1ff2afee", "0x18d3529fbe8fb1864ea8f336dc7c3088c229cfa3221d97b86b7399e3580f25be", "0x0cbc1780a299eed3dec9a3fc932606e76a56a9e6007e4818eefb3acc0c97eff1", "0x2b7951293695c48e3a040fd16efd03e6d2805a2e7d14863b12d44e2f0be6e548", "0x2e7279731396111d824de2d6fd4daf6bde38241f466774c888cab684af0310c9", "0x02787750cc8668538916ed23c77ef9f29a69904a5160910786c5e150c842fc7d", "0x0eecf3012294c565cea1737dcdaa677702e519c37394587bfb67f648712da35d", "0x04390e489dd2324235647de594b8fa12b9265f02a085e7ef528b0cde68b0c785", "0x12c1b72615ed431b56834d7427e04977c1ef53a7a8e5c8bb709f6930faa43ac9", "0x0ff305bdb025415d21cf771039088b787ea6b4f673fb88baf0bac451fd1e4b92", "0x045142ff5fe9c320cad25dc9a3cafa4668636c80228abecb46eb54c820eb2e5e", "0x2a0d0e0bcbaf05661431062ae2d2bd21fae75caa81fe7731051b64e6fbbce173", "0x23c761d849f4fabddd42918bdb9acd36381667f3ea3610c7a1599ba6096ca70d", "0x24091599cb2e211ed9d108b9197a3827507232941dc23113dbcee7e3459ccbd9", "0x0302343a788ded8936bb590a8eefd4aec4d704c2c6c24d70a60e4870c75196a1", "0x291b653f0b3b851572d7c0db159f88659326d61d1bd265bb08556e0e2156b753", "0x2e6683095e6a8ecff419b9c1bda2fca70f2686d7458230fcdb0b061469f91dea", "0x0856b8f721b54e425fe9aa589ba710f2845e72fc351793738df49c40967d716f", "0x12ae3e5184a7fed794ac452f94d51221ba134cf35f35179b66349bc4f426f33f", "0x23c35f99e0892be80095db2623042be2742c2b138b1df1efe03bd899dd35937d", "0x036bd6bd2b5b631e928f002e91ca13c55c24ad1b915839582709d0aabb1a3082", "0x1fb1cfc6f64e0b2e0a1d9bafc1702a468197f4a2fe41b233e04203dd699131fb", "0x1cfa0be2485c7cc8baee2f61c8059b887b581e4eab15c23941d226e3c2c849e1", "0x1fb8e18786782eb1842c6f1f4eb4cf22e1b8c5f310a6346db75735387f80013d", "0x20921175a4d50b6f672caffce2f12040e6e3bc792c4f38cb51b477fa19f12364", "0x15b7206684270facba2d70bf47ffa4f7d449f65cff70f8021b6a06598d60f4ea", "0x06932a178b45439cdc4e2c0313aaa31c29f561dea1e200d2347e82e1dcb2985d", "0x1486c1622fec7d6e0f7f08b4185daa992d0515e1e7ff782944cda22ff0df6065", "0x15ef8cf4627592aabc6efc812e210d4dfc4da02e41e53320b61364bd21deceed", "0x0a7974b21e7412c8ebe6c76217e74810a2b81eeda730a263ac64fb3bba2ec025", "0x046f771fc1399865a01e60419d2c969279fe1675aa0eeeb6a439e23a46813c89", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x166c19d70d8289a27c0eb973c525449ff7c70f23b32c38664848d4e4f14c955e", "0x22a2a920418bc6b0e16bd4b1696403b50d767a2339f788c62d3501dfd6d49554", "0x1c98c74062a05e52635b8cd160f7a76ec9045086de6fd29a2fdb2d51263bcc79", "0x1a3fc6e17e3a842c75bec9c41eeeb86751d10593ac2f69e6613c6608ce1e81f5", "0x21b27032c51038cf5487c60cf185d961fdec079677d267de3584d0b10c725240", "0x2de258ec1715ebc899390c9b05df9d65bd4757b569e5089afe6fc5c82c644b6b", "0x17061178ce0a7677558f33c2d6e4df02abb874f0ce7c22ad6a4a970161e0067f", "0x0169fa33066295974bb138801aacb5394816f5e05f242777d01b61b26e9eb2a7", "0x083eb97ea0e9791b11e64d920061cdff4622e9667a1760a80daa0dccfcafa042", "0x14b2070214354b2a8d7bd85efd042b2694677e41f5eb086f661df62be9d2409b", "0x2ea8ff97b1f59d4140c261964679111a963887587083e2443fa501f5e04245a1", "0x0ea3f4b3a74a29e3b5915426dff09eecf626ccd235f440a0adb67dbee38b8a18", "0x0898eaf4c2a5b4fd444e4f6260ad50e8df5ee1122cfb24c92dc606e4c617e076", "0x2e999b837edd61563dd94622763ba78468dab492c60829b55ad0b7095657826b", "0x180b65b148ae698c1018f24bfb49d4a700f67c47743e00efd34664e55ef632bc", "0x1eb2e1145982710a3ec233db72a0e4503883915b5e40ca5176b690af47c9ad87", "0x0c02c12a4089148c7a6e04277d9fea54915a88bc9f8d82cf4d58678a134e0124", "0x1715e74ad1c0bb740556e1e0227ce90e02310f5b033d5432559413a654f66fc2", "0x2de1d99911bcca2220e64331bc24481772f6ce35eebb082d63b3eab29a9b757b", "0x29327816bcf7c5c7ab28e339320f894dde297645c27d0aa0cee46a5c40471d0b", "0x07de8fabb98b1082d45824659e4b0ea62df3b7b76f26edfd9d67105a04ad75f8", "0x2e5bea4efb41fc22121db6fe400d91132968c5d898c14a0568610578fb7d9d57", "0x2f12a17b5d6bc006672bf388fd786fe2a0b3a15c380147fa4b7bd2b695c8101f", "0x26f724ff2a50863698db3dcfff0886edd8983d0c79fb5c1e5f591c5da66b302e", "0x1d1c4729b0d36cbcd59d69128fe6107a5d2280cd4ac31cfabad0262b51f00fe3", "0x14b18cd70319121bbc9cad9171e55d538864f9101cdd171e44b4058519cef3f9", "0x079a0b9d12cdf0cfb34a3708a4850a998cbd9b5ec62ce3f1103adac2fdd8a820", "0x12304d32e34962cf30b9955972c350e359d6bf62d0de9c98c72d9f0ab51131bd", "0x1b6ff02390ab39e40e65e045040f6e777ebfdea61902709dff743594eaf89509", "0x0e6e12ee6f19e11a543e63c4402419d0f07b424aec46eb4b909e090e57a6e6ea", "0x0e586c602754d885e91f077f9f219c1935a25c1ff5656fe5b445bff7efbef1a0", "0x116eb62fe75014d073f3526bbd97269f41064cdec2fefaab38a0acb333dd01bd", "0x1282bd7d7cbf0b806f729e331c1a7ac0c2598e2d75d1d2e0d62f3177df456b65", "0x0a85412e6b0eec538dd5038b532fb9e8e78476f1c4c677ba4e1ab310bbe40881", "0x0a85412e6b0eec538dd5038b532fb9e8e78476f1c4c677ba4e1ab310bbe40881", "0x2ffadaf1e9bf16dacff62d3ffb2d0f531da05737784be3a2d8eb61cafeed5560", "0x2002a5977ca93eb87d175fe3becb116997eac4993bbb73ec86d9326e1870bf2d", "0x1b418c821f6658d3c049194500604a449a1f7dc0d4aba87ad2bf554beefcfca5", "0x26407c0e8e64c2d127867b79cd0eef3edd6331ff3ed73d690eb748d94e08a9da", "0x2d4d4d75b30f50f2c562a046416637321909ec5bbc8c42eeb821b9326f89082a", "0x0000000000000000000000000000004f3b54655d2514081bf5b44620a2321680", "0x0000000000000000000000000000000000115472529ac9d0d7f94b6e15c6577b", "0x0000000000000000000000000000008ab9aa27023aa3fc58f408ab70b61a95b4", "0x00000000000000000000000000000000001118c892f3db5267f7d6d914edc04b", "0x0000000000000000000000000000001e8e1a870c828d9f8dddb0bdd8717a1150", "0x00000000000000000000000000000000001543c08c73ce441069251bee8a7ccf", "0x0000000000000000000000000000008215f11fa2188558ff721f8375825fb83c", "0x00000000000000000000000000000000000e31ae1d3a8332ed8cd38a8b209732", "0x000000000000000000000000000000d3ec44f7b83edc73d68c8892508d1592bd", "0x000000000000000000000000000000000006c1040c255d7b7688c31b4510f23b", "0x000000000000000000000000000000ec0d8427da7f35dedc93a42151b733feda", "0x0000000000000000000000000000000000296be1164397e24a3a95191d8f6acc", "0x0000000000000000000000000000006ef8210a3d90676f69caa1fe5d8353c226", "0x000000000000000000000000000000000024da7d17ed96fd2936e4bf381c460b", "0x000000000000000000000000000000d77f23fcadf7a6c19b7abef79268be9d30", "0x000000000000000000000000000000000007633ab01f5031fce5f16dba2b8e85", "0x0000000000000000000000000000005373fa1bb2baf156400ff4e60e6d9e84a3", "0x0000000000000000000000000000000000027e546ad562d24dae1063cbdbc5b4", "0x000000000000000000000000000000215aace588221c522bbc3d37eeb6f5273a", "0x0000000000000000000000000000000000063836cba05de3aa7813f54ed551b0", "0x000000000000000000000000000000050ae581123a9f65c92e35fd8fa9701dbc", "0x00000000000000000000000000000000002410871be237d666ed18fbaa0d4b53", "0x000000000000000000000000000000cd56ffd0cd263e30b90a521fd5b596fafe", "0x000000000000000000000000000000000002c79b34816830ec1e23bb1c131378", "0x000000000000000000000000000000150243fc42bde77914c155525f502b52cc", "0x000000000000000000000000000000000018bb64e2202e775ba805ed061abbdd", "0x000000000000000000000000000000d6b80a8a854fca134bb93030711f047275", "0x00000000000000000000000000000000000a87725eff75afc2d27f36b70ce951", "0x0000000000000000000000000000008af1e797628750941961d1ef9244b50f60", "0x000000000000000000000000000000000028b2290830a86f3bcd9db3a086251a", "0x00000000000000000000000000000007c3e0411ed5f2f276d2a658a9771a18a2", "0x00000000000000000000000000000000000974acd5f5847e300968d89b5a9ca9", "0x000000000000000000000000000000cb629eb69673c03619a88d48ca9ae68970", "0x00000000000000000000000000000000001d114437273293fd65b36e8321e274", "0x000000000000000000000000000000ecb2df851d702c95bd599346fb56d68e3e", "0x00000000000000000000000000000000002653d2cd543961e9e83a93387e9b96", "0x000000000000000000000000000000ead451fa7ba7e312c96a74107c27ad9736", "0x000000000000000000000000000000000011b952a737bcee1489197a273fb677", "0x0000000000000000000000000000006829212925ff54efee074c43911a3bca56", "0x00000000000000000000000000000000001fcd76b6a7065773fff04246a0dde7", "0x0000000000000000000000000000009585201bb8a8aaca49f72e3ef81fd0182b", "0x00000000000000000000000000000000002e3e3c6039ddf04d350f64019bb10e", "0x000000000000000000000000000000e4b332d5cc93d838948795e32bce4f9048", "0x00000000000000000000000000000000000bbbc875dc13137229856beeaa8f3e", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x22206fcc5c3b0898156852484d5f37f85d35d8b8aeb565697dd199d09e7a5cec", "0x19d3624ed1ab8eb7cb2c0c611f105cac54fd99cb83d3e1a3118aaded389a1962", "0x195139b81a6b92e865e582abbd4bfffb20a58dabe86663c2970374b4c332a08b", "0x217c7b444d49a26539a8f4fa6986dfd99e6c54123b3176a328f982d53c93f780", "0x2aea9a445c7855ada0acd0217ae4ae246ce32e7d3184876be8facd5d6ad7cf21", "0x229635ed1530b6d4c1bcaab18683ee77de072256ff66e89ce73f0871e8629b6f", "0x0d2e7c3d34ec80dbf267d86a682f348de3efef15097b4800c0a3920b5ac828bf", "0x25bf71d3459cb3b36e082388eb0bcbed1c47aac10167983a8d746a9ae4eced96", "0x1ccaaea883ccd7ac517f8d79afcddb652e0ef1895649b1f3468390a80731e1b7", "0x0be5724df9d80b16038ec9bbea91bab1dd7b4c87653a86a9e9ad386406659a1f", "0x2b78eea73d09a89dc9d114e9b3f26af9ddebb6dd36abd2efbc39abfe905d1aa1", "0x17edf16afacd239c408db23dce3db2ca0bfc154217a345cbadc130994fe53ed1", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x000000000000000000000000000000807a729ac756815393e47d04c6246b8348", "0x000000000000000000000000000000000019f305937c8c47b7dacf5fab1aa8b4", "0x000000000000000000000000000000c0ed4e98aa74ce610873cabc4b95a00134", "0x00000000000000000000000000000000000d516bc6b3a02be3f087b76c12be88", "0x000000000000000000000000000000e45af0c8ba661e75785fd2471326778e10", "0x00000000000000000000000000000000001589091efbdf11f8afa9c2d54dad86", "0x000000000000000000000000000000ffe3819b65cb309abdc6119ee873a7046a", "0x00000000000000000000000000000000000f2d67fc9070b0b7363747463c12a6", "0x0000000000000000000000000000000000000000000000000000000000000004", "0x1259539942eec51d5c53a19e6a6509d0bb10652a0ae852c7a4d48691a07c2d04", "0x21327da46c2c2f5183a7bb7a555d692582cb43319d028003ae3314427b2e2cee", "0x11ae288d0ebed5c93eb043e8e9e0a5a8da2e73c9564c013f6f77e2c75d9b6afb", "0x149ea3efa38041e1c2a490c28743de7ef70ed1ceac3290a147dbdb7427a1e5f7", "0x0ff8f2dcfa13ab248c35e38b827eb564140acca19094bd3f6b43480c24b1179b", "0x1d362e1726dce5a89a0b1028b5ae19c553cc33de9ad99ffb4a6f4df311a4c861", "0x03d28762bf78921834d18558fc20481a6921d4a863426a993d36ba0d9147bb58", "0x2fc693fe8b1c2bf894dc0ea77917c0e114b69ae0fe5e4aec86d813f485c9cfe1", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x025f07864b94d3ac018dc7e250aa8cd4cf266e8a258bc88bfd0f06eb19638b9f", "0x2f16d6396da879ee6c9d00000ceb26718cb7f696535e7700c57a49ead54acb67", "0x000000000000000000000000000000e7d4d22c7924866dbd40a7d07c78f3d221", "0x000000000000000000000000000000000011d8a95d17e954a17361390291aa74"] +proof = ["0x0000000000000000000000000000000000000000000000000000000000001000", "0x000000000000000000000000000000000000000000000000000000000000001b", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000042ab5d6d1986846cf", "0x00000000000000000000000000000000000000000000000b75c020998797da78", "0x0000000000000000000000000000000000000000000000005a107acb64952eca", "0x000000000000000000000000000000000000000000000000000031e97a575e9d", "0x00000000000000000000000000000000000000000000000b5666547acf8bd5a4", "0x00000000000000000000000000000000000000000000000c410db10a01750aeb", "0x00000000000000000000000000000000000000000000000d722669117f9758a4", "0x000000000000000000000000000000000000000000000000000178cbf4206471", "0x000000000000000000000000000000000000000000000000e91b8a11e7842c38", "0x000000000000000000000000000000000000000000000007fd51009034b3357f", "0x000000000000000000000000000000000000000000000009889939f81e9c7402", "0x0000000000000000000000000000000000000000000000000000f94656a2ca48", "0x000000000000000000000000000000000000000000000006fb128b46c1ddb67f", "0x0000000000000000000000000000000000000000000000093fe27776f50224bd", "0x000000000000000000000000000000000000000000000004a0c80c0da527a081", "0x0000000000000000000000000000000000000000000000000001b52c2020d746", "0x00000000000000000000000000000000000000000000000b8746002cbbcd311d", "0x00000000000000000000000000000000000000000000000d84045a5cddfe424e", "0x0000000000000000000000000000000000000000000000088936c2d073d67c62", "0x000000000000000000000000000000000000000000000000000068c36330fc9a", "0x00000000000000000000000000000000000000000000000acb5cc273fdec4ef9", "0x00000000000000000000000000000000000000000000000c26692b23b10f94ff", "0x000000000000000000000000000000000000000000000006f3c82642dbffc654", "0x00000000000000000000000000000000000000000000000000004161bbdf59c2", "0x27077141b3b69eef68bdb60ba306990b34262f742a633f61f108a83fb1124027", "0x2fbebd1bc360ebf2bc23794e8105aff514e7e3aa74470a6a868adae73fd8e1cc", "0x00000000000000000000000000000065c6196a352c9951ee52aa570e726f366f", "0x00000000000000000000000000000000000eac9d2c7814fc13cfe594cb71344b", "0x0000000000000000000000000000004e4bd661854ff161aa8e5c6a060996831a", "0x00000000000000000000000000000000000aa6094cdaac9a33be9ca0a0ee0602", "0x0000000000000000000000000000002ad76268ce80801b402a58e96ac84066ea", "0x00000000000000000000000000000000000cf642819500a84b75396476d57473", "0x00000000000000000000000000000027988a8f8dda439138efc182ecf7822b65", "0x00000000000000000000000000000000002291dc80f736fb01b9ba68d49d078d", "0x0000000000000000000000000000009ff0931d03876326c74094d6c63a9db7e2", "0x00000000000000000000000000000000000eb3bbc61161d2047ae2a2a30bb7e7", "0x0000000000000000000000000000006af2209dce0dbcb1c02d14531610a63a87", "0x0000000000000000000000000000000000228f7864cfb58c999d53bba03fabd2", "0x0000000000000000000000000000002a171861b26b214d20a7cb4d428a270b19", "0x000000000000000000000000000000000006d220e2a01128ecd1358cfd02bb10", "0x000000000000000000000000000000e45bf2a5a87cf3f64798f8279a77be8f0b", "0x00000000000000000000000000000000001fc24780eee3fa3aedc08349ec0a49", "0x0000000000000000000000000000002a171861b26b214d20a7cb4d428a270b19", "0x000000000000000000000000000000000006d220e2a01128ecd1358cfd02bb10", "0x000000000000000000000000000000e45bf2a5a87cf3f64798f8279a77be8f0b", "0x00000000000000000000000000000000001fc24780eee3fa3aedc08349ec0a49", "0x0000000000000000000000000000008bf0c4055432b864ffb9f8d410675576d2", "0x00000000000000000000000000000000000a16292e62c9ed0c299e3b7b7f3530", "0x000000000000000000000000000000584b711e8d292f830cb608a4a05a227076", "0x00000000000000000000000000000000000d4fda7fbe28b5146d303e26aa9a8f", "0x000000000000000000000000000000d02d8266cf951520fa3852cbc5e1f9312e", "0x00000000000000000000000000000000001d2b2157f41fc5b03f9a5ac57b6783", "0x0000000000000000000000000000002059fbb0f8ee0c7aaa185260fd7c321fc3", "0x00000000000000000000000000000000001ee440dcbb2e4f24ed68334e45e527", "0x00000000000000000000000000000022dd9b5c2e8bd4aa74677b7a9af6d902d5", "0x00000000000000000000000000000000001897a238b24d0a1cd4a06f509e5a26", "0x00000000000000000000000000000065623e6a05bfabbbc2f1d64fe431788745", "0x00000000000000000000000000000000001c8ad93dccd171298381bd3a26936a", "0x025f5c37ea0e38a104ef32fdbfd3145a07fd306b50a75e59e2ebe31af3a52c05", "0x2e04f23af7236788b36112b8c1ae44032036b7dd2912123760f61278fc5ad3fc", "0x0b0af65835f3bd70dacb82baad996e5072a98ed8000575b667ff973b7734f65c", "0x24717a5fc222a95e324b80209496f4696ced88b6eb0bfc2c37e5dd3ce8e1a2a1", "0x2a149ea427afe59e5a2e037e1f097ad9ece9be5f692f9492242c1a93024b5653", "0x0f6e10b5a83dde62698e0a00cd2f6f5f5c7a27f6a2f4d554db895e6bc6136ef0", "0x18e6029412bbcf4b7beaeba809321e35950b2c12c1a3d73e9eeaec81cc001442", "0x0817e8ca0ea53812f70744488c49af40b35f0cb0d798300dabccdabb925d9b22", "0x0e8db3dfffe1501b381587e08a1ba003d98167a4f91d88f156b09f13a5dbdd47", "0x22d22d247c91efe1f297fc7b8c3b40eb2dcf815a2dc0142c2ccec80157e2420a", "0x19947dd6e7df9c6eee2a464131ac868fa85e12c569afe687ea8d0c62ffd59233", "0x1d2c914f77a56279a0c9d32db065f2dbd10f2f8d842dc0014d551031041f7aa7", "0x1d29745d02ec5f169e2a9db489e3944ed15ee4e8b629bb647dbbd38427d5029e", "0x09bf58b5921e8cb2372521f7e8a8502235f156606c3098ffbe987b48b2af4073", "0x05a7cc2a5940b521239644d7250513bff7645f16eb0eb0683e3929260f81cdb6", "0x2dab86b959d04873c610a1676e233cce79fce6fdd3b5a82e81f1f773012efa7e", "0x0a255443bc8d00f60335d90fc9cd705d7b06a303c690f1312ade848358881e75", "0x076648a5db79df2a48cea47faa78c8adc59847be294457d8e8db7f8326c7b339", "0x1a553cf1f9ef08ba1c162910806cc5bd4b01db74f2c4985786a854cde1f52441", "0x225165901686b64f9de109f03fe3c843b56a2eae98d375ea620300dfdcce443c", "0x171e7fddc3036c8856c695e490e190646aaafc76cf2ed30d983bfadae66d3bdf", "0x2817863863d702dea17af857ddde79f0f76aee8bc35b7ffb691c9e80d33cde61", "0x1612ff7f39c0146c68b35c620c105e0bd92b2af5a589410af5b183aa68021f1d", "0x0cac976fc3d15c7bdc57465aef613e8989b74e6e334153bd89904629e6faa866", "0x1255fe9e9f69c6251d8079a44998e888e46bc3876e03c7cb9c7e62ddbd99e677", "0x20b44b67b2b9e6a634870c3af4fc84398954c7f3fd8a953511b65d10e23c4d81", "0x08cbad1a18b57f06777bec129d814b85600d66b47b60000b647db7a0e90fec39", "0x1908598df043a822b0e01f30c1fd77784896ab94ea66c6aa2da6b05f5de07433", "0x0b0be106eace90ba40992ff3a5f57681558e405aa66785006f83a378139d6822", "0x1a44dd9394351a1727d7ad5f6975edf97807ac8cc7b5cb02ac00117153014965", "0x0b622689d0db488b7cc81e840c432e207223a4f1331bc134b1e614fc02e3cc4a", "0x070a24a894645bc8deaa11efee6a0f0e7f7f3248b3de515bda529bc0fa758064", "0x09c434c45dbbbf2773438282e34930de805859da6f4daffd7640897331b6962d", "0x2f31aadb6eca7198272529d7cdbdd71234eda2815cac236e2cd76a52142d6b2d", "0x0fcd848eb33c87bb74a18c180edbf59191c2175479fa724de7d0afc4efc6b951", "0x138e8285ce88659c4b79a30c05a738f4c00aeb0100a9ea1f26fdec90aba2ad75", "0x071ca2dce8bab66696b99edf1f5fa5023bea9e657525444cfe56d29ff7d81106", "0x0f7e018b0132e26b51b786c44ae718d258630faa273b3f3d089abbb71f4ad8bf", "0x1d5b6c5b9124f124c25b00dbcff98926d1de8f28b2755020c6039e5f7d170017", "0x10b670af86d16e5653babf56bc8c89c7c83961a4d5a808aac1dcce0788ffef76", "0x284629a1f1cb8f26390401f570a46e043b06eb245b313e5233de51fda18af292", "0x179caea1d3b52e9884a6d4862e860d0d0867002b15f5ae5efc00d21e4ffecd0a", "0x14286e9f7472a7b61c36f20d72384213508c0b1b7a538f86b58ad9dc44bb110b", "0x24dd004f49596ad62b68cfea222acf35265f76e99ba921e3e91a34850ec5d89c", "0x09aadee62531248ad35126722e4d98eb4f2796d25e8f2b9fc8d908508f1c6850", "0x2f36e98d9402e18e3ab004bb128ddbe09539d0f69656a05272bd0a97966da1fd", "0x2479f4a4677186790630040e24f0bf9a4b131b3c33cd2cd8b0821319224bb0db", "0x304971c815b4065d9dda595382f892e960d6f82f88de4445e57c627f63818b9a", "0x2f53fb025635bdecaa81dbfc096bda42a60a1b8a1e133422d8b1ab66713d093e", "0x22450012367334753f7cb2c27cc360540246865b476a61655676a6b831f2935e", "0x1a7395119ef24d3e90d317574317fa0132effd35c5b538d39548ff69c6e035b6", "0x28932e09d058c5883671a632a9213ef780aca7cd8336431e5302fc1b74ed37f6", "0x209a8ff5a11f1c328921ec2e0be429710b7abcb581cd0b13f187ce4d10c86c86", "0x24681e237c8b186c1fa2d889a76617e781364880b4cc069f1c6b64e729a92fc9", "0x0df482c84a01dd32e6744639a1982739850e72a4d153767142028026e4466c20", "0x0775a3c226714a03368384158395ef8ecf9fee9f3e5d2a23563a2e958be61e0e", "0x144f4b74b34652087138c8f5252a7a56632a0e3f6c96e37c638571d75673e9b8", "0x24ad0a0a8649ba88dec87c938a1911ffd4f9e45f22bf3ccb6b40d00a52307ce4", "0x074835ca1b4ac1e703ee952bae884b833a4597de0906b6d8cc85559c7d7d466b", "0x21c618e70de949dd894270be6bdac5e0fe0e364bd27fe2b45c54442601047bb5", "0x2776f41a215cc480e20cff7d80f37758e373b9a655b14cffbe0dd1ad20b0d3fa", "0x1909a023dff04cd83875e8621d1f639b34a2055e824cabdc91b8eacae28f1222", "0x02219cc97f57dddef9f31ef420a2d4ebff434e5b0c9a2d609becce8186e3c761", "0x115fbf5eeefe29e11f72b79794d5a588240a58d0a336ba1ef8c45be25852b2e0", "0x05c563283984ed7f9fca5bb7dfdc595fe05f80b096ed192e1754f70c8add451d", "0x22fda8d37d884c75e1d4f3bb62e8511c9475d4509753981d0e0a9b9ba004559e", "0x1ae7cc16832942b0cc37936bfc8ba48b0b7178ffd4907956592125f77e5f0acf", "0x069a2009413f8b7b13ad0e29ebb7d77e79962324860c373e5a4dc88184acf2cb", "0x1527b22cf81c5a5e061f872a8754483caea31c78ab8e823835bee1b95c2fbc2b", "0x22fa65608e96af14215b06c04df266b326b4e385c5d7f5b516494e12455677db", "0x26f5d12fb4e6c0a6d9506bac8b4ce6b6e53393e4aff865df56a56960ed08251d", "0x026c0a3e4964eaf24c0a92907b907b3fce8e5d450d2dad25260afe137e3ee3c8", "0x23dccaf45c2c563d4cbf408454a935cec82365ab40d755aa6f5cec347f26219c", "0x08f2866c2013554b4d4276c4a81343a215dcf83eb26cf6dddfe99ddf8d72aba9", "0x284b9052a96cb05f0fdb308f543e21a926c4f3c64014b3a6d242ccf7cf8f3f6a", "0x2ce884fb94718be5fffe21db4b6fc8fe2c6fe08d6f4e725dd29995154dd5f57e", "0x07d329b62f9800b4d89cb3112424c33e0cfebe8500a86d9ae17207062702b4fa", "0x1b533ad65f00e02c664ce16a1b64a3a8fb2ca8b8e1b107e4cc40fe564c5801dd", "0x266a555b60e3dafc89b2880adf1ff397be00c1decbc3c838f761dcd8f5d872a7", "0x11264a632f2e0b3e86fb30267586ab258e0ae2ab0bc49e814f7a38b1f3886a54", "0x0e57559b8cc8d54d3cfb830acbc43d84afdd74ed6857a1afa8f81387286a0a7c", "0x21862b599dbfbc49a35e88bc262b898a147791d061ca3dc7fa4af7fb4c732b88", "0x2b6c18561289ded21def5b9238757cf8b12970a9704094123093dcad1cc15c22", "0x2a1792b5e883ede1eab7443b35482240e0d17062eac4d8bde58c35859bcbc387", "0x17d85c38220545b7e7a9be06b153a19c8e1010a71b47f07fd62044188b353064", "0x256944755fcf0e24bb0f782d535f880a1cea528d6e0630d4ebefed1db9470829", "0x16222c2b9e472307c9dc2316fbb48b0d4c76012eb087541243ba9d320fd861f4", "0x1ceb17923fba82df59ceccee8d985ea828330e5c26e4be2f3321819f838cb19d", "0x026b8f46fda3b85e263af5c77048b09a5d6b50d95e405514fda136d8726194fd", "0x18479d53ed62b7c11c4f4dcc09c4d0411d5e14a1cd6f482159caa0d36c040606", "0x1c2cb816c03d52bd3892f7010c666eb9023df6e54a9aac31a72dfb850428e61d", "0x23e62fc8f3740ee827e86987e3520213848436f2afd149822af8a3c25b97c714", "0x1279a2b9c9c69b375a3fd59fbe6bc9df9f432f63ba75e53a2d75e907cf45657d", "0x117d5edc333b97386af6f374c71ee282d7f81f42df021e39f209d0c4800d34d8", "0x27d94cf61138e0a277ba01ec8565b62c5e41aa504bbd4baa0f2e68229fa2bcb0", "0x17ba4b7c3c093d1d26d8a077a4ce7643fa792fd9ece57c8747fdf4fa2ea30695", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0b8b3217f5fe9c72fede996a5ad69d3b6acf8c160105184c40ac6983527d39a5", "0x0d43cad1f9a07883084cefb87e84e8d3122252840da8d3d02ed7ce9cc7892ced", "0x243e81bb2ffb4d40e57cafe2d24d0782f6d736a8dd7fcf8a950c5d6bf49e7c80", "0x04d2cbb4f2166cd6309c4b717a32a1a0d644b6e8f88beb141389f8f9477844e6", "0x1640750281dfdc30cdc0dd5287a47bf9901b030954f9a141ca16edf1e0cd1ce2", "0x2a631c514cb15205ff3109482f046efadf1ba925b45f7204c167937e8193430f", "0x013403ff8ca923d1264c47607ef84d484e08f72a8c7427d51c60a2b5a273f2a7", "0x2018b376b5018120de35eae0b9b1374b5269132e36820c14d9c95821a91e75fc", "0x019733574899b830b08505234c08648f3e3af256b2fb190d3c0134f8828d7991", "0x1ff51f1afc62c39c9098607f3c290ee441277070f617f782dbf60bb42b2c5e1a", "0x052fd04ab2653dcbcc6d57ee2e34ef4d1503fe36856bac1fc095a0af39241322", "0x05f8daeeec7ca421d4dd9a824f5c7014640658a5acaebacdd67293ccb908fb7e", "0x07e14f3a38cbb8dc7b92aa2025c551dd311e0569b04b69cbcb12e08686f2fc8c", "0x12cdc04526438b8eba0532989f80c0a53d851c733bdaf70cafd1435604a17659", "0x2605dca63f3e1d0ede88c10b4ec1dbebd3d561bee9e99ba298b405641785c2fe", "0x0c07dbf94350f1cdc78ffe85c52724dc594e1e28741b0c22624eef4a09fb503a", "0x0e7e0b7389c14ba80bba5579ef1d2659f5651ea3ceda091fee86ff772501ac93", "0x24f96b8bb891c3bcdbba35142159064defad5a0c4095c907b6b5a4aab15c0fc5", "0x304c70bc0c0ff81063d98fe51881dc2505b25e8763697fb8b03d06215cc73dba", "0x0dd4f88ad194bf3ce2cc5303447f6f3a8cad99e1847e11b7e7508e5515381570", "0x1261f37c17ee6ec94384546d4381102d48d79047819c1e0e2bc457be5d9a6997", "0x2ce1bbeaff11c010147a78088c5586f8b09bf22365bc626c5e9661641d4bfefa", "0x21127a60a786987c12c10a4c1b094456833225c948a6d07d05ed5dca45ee88cc", "0x304b9d8048cc3a7e452da848e827714072f0d0050b6aae36dbbe2d1798e4e0f8", "0x1d70eb5e3cb06fe66fa9f7af0460a207e7efb41b4994e96c348aba91e1630754", "0x1a51c1c33d4fa7bf495998f66b7799a7626d54ee60c0cce19fdd302135603019", "0x2301dbd6fe2b6ceab41ba8cc0fb0c2c9d33752aeae58c4844e581198b68be3b8", "0x0ca95c1ef44e332e24b8b7dd0e25fd63c3dab0335af5efa463133f75a6756d5a", "0x09e4b7708f3ff28829cdd8adc0f476690837c2592a6ec3b13cb42420a3ac2e27", "0x2222f053f3f9fc30356852963c7c1aef009c52aa824754cf5c5f2ae783d01048", "0x268448a3962224f1aa3aa009e43ecadb522f99979b25aea949aa39aa556f0a49", "0x1d4fc7e52539f5d1b5101afbefa84ce847d27b55b760e7fe727dd4050c8422d8", "0x2e8100d836ac0ddd851b14dfd0bf0b7fa045d9d299682868236b2a3bfd0a6c93", "0x0b05d0e6eb22049804f13cf5acf3071aba55a43840d2373e8fb46979708b9f0a", "0x0b05d0e6eb22049804f13cf5acf3071aba55a43840d2373e8fb46979708b9f0a", "0x26fe9707cae606580f38fdb1aab8cbd5a1e6f43d855eef09cc99673e572edcd5", "0x154c5c0f01a58b2007b9d775f7f6e00e27ce4b6eb4d51a0b87b04d1acaf742b5", "0x20873c3e17f2a3332d8cf4f9e4897ac3a9373cdd1a13f3ffdfdbdcf26cd1692e", "0x1dbcbbc44c8c8d6059c139edfdf0ab7ea610c8da34c3157751c480b76a4a3968", "0x13999c5eac82ceb72ce430287a6852eb7bd918231aefa8ba4a31ab3ca168282f", "0x00000000000000000000000000000062b891458dd24b563ea32ce551e2dc1401", "0x000000000000000000000000000000000008e017337250089638d381fb588111", "0x000000000000000000000000000000f29511b503a94faa26818f1d66f10b0668", "0x00000000000000000000000000000000002197f37ce37f7fb449a1378d57d96e", "0x000000000000000000000000000000c1d451cc9694e9a647924b3cc14134b7f1", "0x00000000000000000000000000000000002e001fac22bba00cb0815c300ecb1f", "0x0000000000000000000000000000003ed149c42b948f547faf28e048d124f85c", "0x000000000000000000000000000000000017a23afc38dd04e83dff7e927858c1", "0x0000000000000000000000000000007841b62aa36e2e5b54bb997a1723ba590d", "0x00000000000000000000000000000000002dcc68212d68b60317dddfad80e137", "0x00000000000000000000000000000035ac5728bc439a89fd6f0d597b1fea2b98", "0x000000000000000000000000000000000011c5a2e823f6b5acf905499976e08b", "0x0000000000000000000000000000000e2e50ca6377fe4b229f6c20ca81759d4e", "0x00000000000000000000000000000000002494259436db67310e79bc15b7946c", "0x0000000000000000000000000000006f1eac56102cc4eb5346cdbbdafcbacfac", "0x0000000000000000000000000000000000072131e35c11d628e48b098d6df495", "0x000000000000000000000000000000e05bbbc5bdcd5cbccb8690c62efe5b0fc2", "0x000000000000000000000000000000000019fbffba4ac991536afae2f420f94c", "0x0000000000000000000000000000007bb016811148df04855f797de065112992", "0x00000000000000000000000000000000000bb79ee897f8ee1318ad700a37c8bb", "0x000000000000000000000000000000942b96f32d7bf93ee813378b6014a18741", "0x000000000000000000000000000000000010ce7a1322a0157c915d19597f5e97", "0x000000000000000000000000000000f177bf8da36647518042aba3f5728c86ba", "0x000000000000000000000000000000000015eb978cf35cc176d523fa02a452ec", "0x00000000000000000000000000000093cdce5ba76ddf9dad3b5927b591406ee7", "0x00000000000000000000000000000000000cadcba14b18e01600f046c63397cb", "0x000000000000000000000000000000135d610c5e71ed12990c6067ecdda28f5e", "0x0000000000000000000000000000000000277411552ac27755eed15b464e1518", "0x00000000000000000000000000000051e80ab382f0f58f93a03558ae1906dc87", "0x000000000000000000000000000000000013b9732b57127f5e070b27bb834ecb", "0x0000000000000000000000000000006a3fdefc289de1ecb4607c81dced47539a", "0x000000000000000000000000000000000017c2af98d008875356625e40fbc876", "0x000000000000000000000000000000e704dd534cd2c196fd7265ae7e10e2d4ee", "0x00000000000000000000000000000000000eae170af2248dfbd1c6c0938a7ed9", "0x000000000000000000000000000000eccf380f69533eae3f5088a1cd1f687403", "0x00000000000000000000000000000000002758e79ccd2f0d7a5f4cfc6431a29d", "0x000000000000000000000000000000026b9284913baa6a73a2ac170bdc1d2905", "0x000000000000000000000000000000000017213cce8b7bcc9e0a5c0c131bdf95", "0x000000000000000000000000000000e51c33e735abe76bfcfc7f74d70066435d", "0x00000000000000000000000000000000002423d304ea2398bb024c79173e4ab8", "0x0000000000000000000000000000003b1f3084ca16a46a5636f4df91db0c4072", "0x00000000000000000000000000000000002d109f44066ae8e8b3d171fe5dc857", "0x00000000000000000000000000000077bc221de09ded0fb646554102d2a5729a", "0x00000000000000000000000000000000001bace5a3765f10657fbda74713faf7", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x27fd867f34a134e8a1117139770610a49326fe0993e9cedb97f1c49bf4d0c37e", "0x1e13f5fe62ad39d934c53a89ca23fb82df706bef914b026d91760567d32fee3d", "0x1377749e187da3005944ee59d2b3e47b6e19aace08096f368fb410ef8ca4807e", "0x0b8a3021c1b8675d83dfc0498c8ca03f64c1356a5147d489bb2909c698831017", "0x1bd2cad03de053ca3c1654b9d5190583a91fc1ce8852832e885d1d057d69f3e4", "0x045ef1e8bc5e55555974cccb36454b0b4b96662d5002a3699ad7039c8e6b8f76", "0x084df6d4d71ebfe664fd82adb1745fab26af6f4fbeda691609ec7b03ac14fceb", "0x080aff2ead8b977685173fe16885d44b660f7a9d236479e69aa52aabf5dedf9b", "0x108f76cce50b85875eab4a1affe83f3d502ffe89f9ebb45717931941dd36374c", "0x2f6238f167a82b1fa51f0b586718668c219cf0c5b86a4f9ecd8f9ee8466cbdaa", "0x174a1f05bfb1af1cb02f356eb61993058f1a4acc4015eeeff6ab6bc861c0082e", "0x11264388c26c33ddd5da54a50961054e53d0b80692d8d1fa3cc3385096cfbd21", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x000000000000000000000000000000ef2c2c3734b9d7f1ca6d8a4f25e5b30045", "0x000000000000000000000000000000000024e1c390cdef8e388ac5b71c03914f", "0x000000000000000000000000000000f1f778afa1e6d8795e138992c04ac53d3e", "0x000000000000000000000000000000000027e4472a6bce2207caec3c24623515", "0x000000000000000000000000000000fc0b167a383cb223183bca4890ed77ba73", "0x000000000000000000000000000000000006d40d5de6da4d7d9b077bf64ae6d2", "0x000000000000000000000000000000c71af3057609219e48234375e3d1c46385", "0x000000000000000000000000000000000022371900aa96962e1043e3105ec801", "0x0000000000000000000000000000000000000000000000000000000000000004", "0x25a1742d9f07d048818f06aae510eeb61a2e7e41174ab8ee3c2bed8f14d6ac7b", "0x06bfca75d1c374ce279c3b91525022bae1f318f0c02e572edceb3a1c1b8295df", "0x18fa8d4d23b0bbb642d22a9579930c4aae36727cec64d950166db96041077926", "0x0f1f02058bd777782fd203c59484286b8c93eb06a2a4c3e7b60594fc26aeabab", "0x238575f4f83e25bdbff8b9f3aa32736e2c3eb408cf315d18e2a4e8136e010f7f", "0x0f43df640ed3a1abaef94d0874aa8ec8e8c927df1865864ec154fcb555064eb8", "0x1892dbf1a8806091a23b1e95546c151584dd48c122ba966404092a745ebb4812", "0x2b51eee8db7e2770c813c3c492c26dcc89aa517bf9f00b5fb4c0b474f00bd422", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c", "0x2ee66ccd9a0415f633e3bb1ff8ef493df665ff85d804c1ef65d34c3ae5827c47", "0x24ac27c84b886c7ae9e28be05e6f72bd7c7936eebd0596310e24000b966f72f8", "0x00000000000000000000000000000006612875c72874d6231dd30894c6266900", "0x000000000000000000000000000000000002a85ff4cf723963d93731dcfbeb37"] public_inputs = ["0x0000000000000000000000000000000000000000000000000000000000000003"] verification_key = ["0x0000000000000000000000000000000000000000000000000000000000001000", "0x000000000000000000000000000000000000000000000000000000000000001b", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000003", "0x0000000000000000000000000000000000000000000000000000000000000004", "0x0000000000000000000000000000000000000000000000000000000000000005", "0x0000000000000000000000000000000000000000000000000000000000000006", "0x0000000000000000000000000000000000000000000000000000000000000007", "0x0000000000000000000000000000000000000000000000000000000000000008", "0x0000000000000000000000000000000000000000000000000000000000000009", "0x000000000000000000000000000000000000000000000000000000000000000a", "0x000000000000000000000000000000000000000000000000000000000000000b", "0x000000000000000000000000000000000000000000000000000000000000000c", "0x000000000000000000000000000000000000000000000000000000000000000d", "0x000000000000000000000000000000000000000000000000000000000000000e", "0x000000000000000000000000000000000000000000000000000000000000000f", "0x0000000000000000000000000000000000000000000000000000000000000010", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000011", "0x0000000000000000000000000000000000000000000000000000000000000012", "0x0000000000000000000000000000000000000000000000000000000000000013", "0x0000000000000000000000000000000000000000000000000000000000000014", "0x0000000000000000000000000000000000000000000000000000000000000015", "0x0000000000000000000000000000000000000000000000000000000000000016", "0x0000000000000000000000000000000000000000000000000000000000000017", "0x0000000000000000000000000000000000000000000000000000000000000018", "0x0000000000000000000000000000000000000000000000000000000000000019", "0x000000000000000000000000000000000000000000000000000000000000001a", "0x0000000000000000000000000000001f218b9483ed0942db15a28f417b248c6a", "0x0000000000000000000000000000000000120f46fb150fa5544f70413659ac49", "0x000000000000000000000000000000054bf69002abed9f9354db858292ee051b", "0x000000000000000000000000000000000003bd06a2c7606596f9eebda30dc708", "0x0000000000000000000000000000006c892b6234def66f6577959d064de4f749", "0x0000000000000000000000000000000000275343f0c8be74b6adaaf08488d71d", "0x000000000000000000000000000000826318e94744b1f7ff6776deffacebe17b", "0x00000000000000000000000000000000000f57fa00c8a7dafecb9ebaa52c523e", "0x000000000000000000000000000000032d7ef2b49315f1f09e67af355aebe815", "0x00000000000000000000000000000000000058cf4aba931d69238a327636e771", "0x00000000000000000000000000000091a26171db51087d9773ee271fe440fe4e", "0x0000000000000000000000000000000000014772ce2168f21ce8e217ac82596e", "0x000000000000000000000000000000d8197c7f95b3d7b116cb23b2be067742eb", "0x00000000000000000000000000000000001fb1a5cc1a1c33fa4699ade4a992f4", "0x000000000000000000000000000000ea89f3283423819ba34d92f1af1b60cf2a", "0x0000000000000000000000000000000000054f8cf376bda1948450747ce44405", "0x000000000000000000000000000000ac09001ff01875c762a7d467f333c9f0fa", "0x0000000000000000000000000000000000159abc799405ce9b72e9b8f0a58907", "0x000000000000000000000000000000870a9353bab217f6617fcea8b66efe55f5", "0x000000000000000000000000000000000016a23b3c4e2a9a54a68d8e187b4acd", "0x0000000000000000000000000000004e42c7133c8b802e7073cbdc76a95f54bc", "0x0000000000000000000000000000000000116d2ee2d6d93084d2f5576a9eff91", "0x0000000000000000000000000000000a9c29dd5c7e6b6bed485755ab7867129f", "0x0000000000000000000000000000000000182bf61f320d66dc49746f3f767b8a", "0x000000000000000000000000000000d9ad8b5943ead2741efdeb311b8305c9db", "0x000000000000000000000000000000000025043141e7a515687c6d80d0853b76", "0x0000000000000000000000000000003447e05ab4400999c9704862944ef03bb3", "0x00000000000000000000000000000000000d8d5f85133d06d56249c6463ac023", "0x000000000000000000000000000000a81a33be27f85f6030c2d794fc5ea7a0ec", "0x000000000000000000000000000000000025580b84ad2a823052effa19d61d88", "0x000000000000000000000000000000d398efe5afb73ff0ff0d5b4d919ebfeae4", "0x00000000000000000000000000000000000ce6de4173c77b111df4ae25bcf751", "0x000000000000000000000000000000d693725e4d29c3c1856f58d3657e4f8afd", "0x000000000000000000000000000000000000e860bbb23a26836fab3733b1a5d2", "0x00000000000000000000000000000004d908124a014f6dd4217600bbe017179a", "0x0000000000000000000000000000000000009639107ef0d7660211c3cb26fd83", "0x0000000000000000000000000000002c120d25144b16975f344bb8e0911f50aa", "0x0000000000000000000000000000000000025c989a5fbbc39a745dfa0c526d1b", "0x00000000000000000000000000000029c1683a4f2321682c17677f325c27de6a", "0x000000000000000000000000000000000017dcb48f840e14a56297e5e157ab5d", "0x0000000000000000000000000000006f8e97f2719363e73a919b60136cdf6fa7", "0x00000000000000000000000000000000001cc7ed8398842814b8d8b0a47fbff9", "0x00000000000000000000000000000074ba3ad568a253626720f6cf84a8048147", "0x000000000000000000000000000000000015a62e81e4d73a4bc690880130b274", "0x000000000000000000000000000000db0e9ab080d6e0b016d94b483c68a22b06", "0x00000000000000000000000000000000000530f0adac9e85a13bbe967daae7d1", "0x0000000000000000000000000000000a14cc5e4f5bd6610a377407c783d936d0", "0x00000000000000000000000000000000000550cdda8250517265285faa5a7517", "0x00000000000000000000000000000039d6a99d59ce1d827d7a6ae4ba48e2070a", "0x000000000000000000000000000000000027e18e542338c47beb02405dec6795", "0x000000000000000000000000000000e119c0de9378fef5e737a3e6c30e399742", "0x00000000000000000000000000000000002128ad7838a6a53762477930fd162b", "0x000000000000000000000000000000053d0020faf1ab4ecf00d41c2a01f4c504", "0x0000000000000000000000000000000000067729164ec966f4d8dec2642bfcca", "0x0000000000000000000000000000004e45ee83f5be6f212f96d9f88f62bc459a", "0x000000000000000000000000000000000020065b860db7e7f600ab625cda79c2", "0x00000000000000000000000000000093200fd4a93240ee6fff2d25065692e138", "0x0000000000000000000000000000000000244c194c60da2b4d787d5f98c136d1", "0x0000000000000000000000000000009354951db4088a11f00a3f56f9f54f0d7c", "0x000000000000000000000000000000000022dba94f08aaa5e6113bd537d354c3", "0x00000000000000000000000000000051931edd7fc2b2ff98d701d3072a909b41", "0x00000000000000000000000000000000001a026a2f8c1a2eb52a4d73daf3ab70", "0x000000000000000000000000000000a14701bcefa7c0c8d498abd548d689bc10", "0x00000000000000000000000000000000002da7bcb43520678e91f1c1422ee3fc", "0x000000000000000000000000000000deb2deb6c321a235675612f31bfd349dac", "0x000000000000000000000000000000000021315fa1cc6bb01b68f70de8e42f65", "0x00000000000000000000000000000013c727a1f60952056815260454d067900a", "0x000000000000000000000000000000000016d6e8d1ef7ebe3a30f3c8b0920807", "0x00000000000000000000000000000039d2e1e0191154f0059ed5412fc9c1cb1e", "0x000000000000000000000000000000000010435db71d51c501515cf705eb8277", "0x00000000000000000000000000000038222e1253633affb05f15fc206a5cbe07", "0x000000000000000000000000000000000003816781c9f9a9cca72015ee3348f4", "0x000000000000000000000000000000137f14764aed7a2559351dca3212a626ac", "0x00000000000000000000000000000000002d207af6743643d96947c9b1a259a6", "0x00000000000000000000000000000056089fbf1dc6b4af91ff8121303d83319d", "0x0000000000000000000000000000000000211ee2c4cf62fe3e7a9ce95faeb23e", "0x000000000000000000000000000000bbd960e0fdbaa3f47270679afd6bfcd349", "0x0000000000000000000000000000000000075069f76e6438da345431e1b2c58e", "0x000000000000000000000000000000ce72715195cd6f174603a8a614eb077e47", "0x00000000000000000000000000000000002724dd7694b7e169e5a264a6e02f9e", "0x000000000000000000000000000000a53ef0e9fc8df74a32e08c53a230c36836", "0x0000000000000000000000000000000000153ce938348613707a18a83d7511fe", "0x0000000000000000000000000000007234f68ff4ed021c91a2786b9b6cd75d1c", "0x000000000000000000000000000000000024a8faba9f2405c6660f1750c5cdcb", "0x0000000000000000000000000000002b80d6b55199d55c762fbaec636a525f3e", "0x0000000000000000000000000000000000217f0ffe90bea51c49a1b331adae9c", "0x0000000000000000000000000000000ed2d8303f6f9c83d86d5c13f3fb4e99dd", "0x000000000000000000000000000000000009c45c61155d314160b50b20e35c94", "0x0000000000000000000000000000009cf5a0abb80a3b2fe13b28fe8f315409b7", "0x0000000000000000000000000000000000188a2ffed7f8cbe84c7a0f1b018cd0", "0x00000000000000000000000000000085656153a6120eebdf3a488dccad95d00d", "0x000000000000000000000000000000000023cd626f5dde3ce81de0e7d4f74dc2", "0x000000000000000000000000000000d078687b7ffc17ed454fba23b4ecae0ec4", "0x00000000000000000000000000000000002501de6f063c457fccf291f449fe04", "0x0000000000000000000000000000009a4a3363201808e24813118bbaf3bd079b", "0x00000000000000000000000000000000002da4af07c13c8064fb9c44ff43a9cd", "0x000000000000000000000000000000cf91f0cb73295831bc93869fc19cdbad99", "0x00000000000000000000000000000000001ee5d0cdde02f62e468b034f988c56", "0x000000000000000000000000000000183a142ac675e313630847be47fe912b91", "0x00000000000000000000000000000000001558e16ed49142b74e4a2085b22287", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x000000000000000000000000000000c47f6850760801197f1d78c8b522e3e8ce", "0x00000000000000000000000000000000001c16df0851ab44fc5fc86fc32d901a", "0x0000000000000000000000000000003a206d1590ecddff13695a16efa7c66055", "0x000000000000000000000000000000000011d6dc438ccc1de6046419780f726b"] From 3796db2a636916fe76fa48b25c950137af2ce5dd Mon Sep 17 00:00:00 2001 From: lucasxia01 Date: Tue, 7 Jan 2025 21:56:08 +0000 Subject: [PATCH 3/3] delete regenerate_verify_honk_proof_inputs script --- .../regenerate_verify_honk_proof_inputs.sh | 51 ------------------- 1 file changed, 51 deletions(-) delete mode 100755 barretenberg/acir_tests/regenerate_verify_honk_proof_inputs.sh diff --git a/barretenberg/acir_tests/regenerate_verify_honk_proof_inputs.sh b/barretenberg/acir_tests/regenerate_verify_honk_proof_inputs.sh deleted file mode 100755 index 03a46ad70cc..00000000000 --- a/barretenberg/acir_tests/regenerate_verify_honk_proof_inputs.sh +++ /dev/null @@ -1,51 +0,0 @@ -#!/usr/bin/env bash -# Env var overrides: -# BIN: to specify a different binary to test with (e.g. bb.js or bb.js-dev). -set -eu - -BIN=${BIN:-../cpp/build/bin/bb} -CRS_PATH=~/.bb-crs -BRANCH=master -VERBOSE=${VERBOSE:+-v} - -if [ -f "$BIN" ]; then - BIN=$(realpath "$BIN") -else - BIN=$(realpath "$(which "$BIN")") -fi - -export BRANCH - -# The program for which a proof will be recursively verified -PROGRAM=assert_statement -# The programs containing the recursive verifier -RECURSIVE_PROGRAMS=(verify_honk_proof verify_rollup_honk_proof) - -./reset_acir_tests.sh --no-rebuild-nargo --programs "$PROGRAM" -cd "acir_tests/$PROGRAM" - -# Base directory for TOML outputs -BASE_TOML_DIR=../../../../noir/noir-repo/test_programs/execution_success - -for RECURSIVE_PROGRAM in "${RECURSIVE_PROGRAMS[@]}"; do - TOML_DIR="$BASE_TOML_DIR/$RECURSIVE_PROGRAM" - - if [ ! -d "$TOML_DIR" ]; then - echo "Error: Directory $TOML_DIR does not exist." - exit 1 - fi - - echo "Generating recursion inputs for $RECURSIVE_PROGRAM and writing to directory $TOML_DIR" - - # Decide the command based on the recursive program - if [[ "$RECURSIVE_PROGRAM" == "verify_rollup_honk_proof" ]]; then - COMMAND="write_recursion_inputs_rollup_honk" - else - COMMAND="write_recursion_inputs_honk" - fi - - $BIN "$COMMAND" --recursive $VERBOSE -c "$CRS_PATH" -b ./target/program.json -o "$TOML_DIR" -done - -cd ../.. -./reset_acir_tests.sh --no-rebuild-nargo --programs "${RECURSIVE_PROGRAMS[@]}"