From 248c45f8169b9e6e5dced4b87edaf454ce15f097 Mon Sep 17 00:00:00 2001 From: Michael Zaikin Date: Tue, 4 Feb 2025 18:29:37 +0000 Subject: [PATCH] Prove with Scarb (#6) * Use scarb prove (nightly) * Use the same stwo-cairo commit * Use scarb nightly, add resource usage script * Update test files * Update test files --- .github/workflows/aggsig-checker-cairo.yml | 10 +- .github/workflows/e2e.yml | 6 +- Scarb.lock | 14 + Scarb.toml | 12 + packages/aggsig_checker/Makefile | 29 +- packages/aggsig_checker/README.md | 28 +- packages/aggsig_checker/Scarb.toml | 17 +- packages/aggsig_checker/src/lib.cairo | 5 +- packages/aggsig_checker/src/schnorr.cairo | 8 +- packages/aggsig_checker/src/sha256.cairo | 4 +- packages/aggsig_checker/tests/data/args.json | 1608 ++++------------- .../aggsig_checker/tests/data/args_test.json | 1245 +++++-------- .../aggsig_checker/tests/data/events.json | 150 +- bench.sh => scripts/bench.sh | 0 scripts/usage.sh | 75 + .../verify_nostr_event_batch_signatures.sh | 79 - 16 files changed, 982 insertions(+), 2308 deletions(-) create mode 100644 Scarb.lock create mode 100644 Scarb.toml rename bench.sh => scripts/bench.sh (100%) create mode 100755 scripts/usage.sh delete mode 100755 scripts/verify_nostr_event_batch_signatures.sh diff --git a/.github/workflows/aggsig-checker-cairo.yml b/.github/workflows/aggsig-checker-cairo.yml index b31057a..5ea032f 100644 --- a/.github/workflows/aggsig-checker-cairo.yml +++ b/.github/workflows/aggsig-checker-cairo.yml @@ -17,7 +17,7 @@ jobs: - name: Set up Scarb uses: software-mansion/setup-scarb@v1 with: - scarb-version: "2.10.0-rc.1" + scarb-version: "nightly" - name: Check formatting run: scarb fmt --check @@ -32,10 +32,10 @@ jobs: - name: Install Scarb uses: software-mansion/setup-scarb@v1 with: - scarb-version: "2.10.0-rc.1" + scarb-version: "nightly" - name: Run tests - run: scarb test + run: make test working-directory: packages/aggsig_checker build: @@ -47,9 +47,9 @@ jobs: - name: Install Scarb uses: software-mansion/setup-scarb@v1 with: - scarb-version: "2.10.0-rc.1" + scarb-version: "nightly" - name: Build project for proving - run: scarb --profile proving build + run: make build working-directory: packages/aggsig_checker diff --git a/.github/workflows/e2e.yml b/.github/workflows/e2e.yml index 3addbb6..0bf069b 100644 --- a/.github/workflows/e2e.yml +++ b/.github/workflows/e2e.yml @@ -25,7 +25,7 @@ jobs: - name: Install Scarb uses: software-mansion/setup-scarb@v1 with: - scarb-version: "2.10.0-rc.1" + scarb-version: "nightly" - name: Install Stwo and Python dependencies run: | @@ -36,4 +36,6 @@ jobs: - name: Run end-to-end test run: | cd packages/aggsig_checker - make e2e + make build + make execute + make prove diff --git a/Scarb.lock b/Scarb.lock new file mode 100644 index 0000000..640d8af --- /dev/null +++ b/Scarb.lock @@ -0,0 +1,14 @@ +# Code generated by scarb DO NOT EDIT. +version = 1 + +[[package]] +name = "aggsig_checker" +version = "0.1.0" +dependencies = [ + "garaga", +] + +[[package]] +name = "garaga" +version = "0.15.3" +source = "git+https://github.com/m-kus/garaga?rev=65db99b8ba9ff19e7f19609cd06f8220d8406881#65db99b8ba9ff19e7f19609cd06f8220d8406881" diff --git a/Scarb.toml b/Scarb.toml new file mode 100644 index 0000000..050db97 --- /dev/null +++ b/Scarb.toml @@ -0,0 +1,12 @@ +[workspace] +members = ["packages/*"] + +[profile.profiling] +unstable-add-statements-functions-debug-info = true +unstable-add-statements-code-locations-debug-info = true + +[profile.proving] +inherits = "release" + +[profile.proving.cairo] +enable-gas = false \ No newline at end of file diff --git a/packages/aggsig_checker/Makefile b/packages/aggsig_checker/Makefile index 1b5522e..a0a9a90 100644 --- a/packages/aggsig_checker/Makefile +++ b/packages/aggsig_checker/Makefile @@ -1,5 +1,6 @@ -NUM_EVENTS ?= 10 +NUM_EVENTS ?= 5 OUTPUT_DIR ?= tests/data +TARGET_DIR ?= ../../target install-stwo: RUSTFLAGS="-C target-cpu=native -C opt-level=3" \ @@ -26,26 +27,28 @@ args: python scripts/gen_args.py --file $(OUTPUT_DIR)/events.json --target cairo-run > $(OUTPUT_DIR)/args_test.json execute: - rm -rf target/execute \ + rm -rf $(TARGET_DIR)/execute \ && scarb --profile proving execute \ --no-build \ --arguments-file $(OUTPUT_DIR)/args.json \ - --print-program-output + --print-program-output \ + --print-resource-usage + +run: + scarb cairo-run --no-build --arguments-file $(OUTPUT_DIR)/args_test.json --print-resource-usage prove: adapted_stwo \ - --priv_json target/execute/aggsig_checker/air_private_input.json \ - --pub_json target/execute/aggsig_checker/air_public_input.json \ + --priv_json $(TARGET_DIR)/execute/aggsig_checker/execution1/air_private_input.json \ + --pub_json $(TARGET_DIR)/execute/aggsig_checker/execution1/air_public_input.json \ + --proof_path $(TARGET_DIR)/proof.json \ --params_json prover_params.json \ - --proof_path target/proof.json \ --verify -e2e: - $(MAKE) events - $(MAKE) args - $(MAKE) build - $(MAKE) execute - $(MAKE) prove - burn: scarb burn --arguments-file tests/data/args.json --output-file target/graph.svg --open-in-browser + +test: + scarb test + scarb build --target-kinds lib + $(MAKE) run diff --git a/packages/aggsig_checker/README.md b/packages/aggsig_checker/README.md index 2977d27..a2818b4 100644 --- a/packages/aggsig_checker/README.md +++ b/packages/aggsig_checker/README.md @@ -2,20 +2,38 @@ This package contains the Cairo implementation of a program that verifies a batch of Nostr events. -## Prerequisites +## Quickstart + +Make sure you have **nightly** [Scarb](https://docs.swmansion.com/scarb/download.html) installed. + +Generate a proof for sample events: + +```sh +scarb --profile proving prove --execute --arguments-file tests/data/args.json +``` + +Verify the proof: + +```sh +scarb verify --execution-id 1 +``` + +## Development + +### Prerequisites - [Rust nightly toolchain](https://www.rust-lang.org/tools/install) - [Python 3.10](https://www.python.org/downloads/) ([pyenv](https://github.com/pyenv/pyenv) recommended) -- [Scarb](https://docs.swmansion.com/scarb/download.html) 2.10.0-rc.1 -## Setup +### Setup Install dependencies: ```sh make install ``` -## Usage + +### Usage Build the Cairo program: @@ -37,7 +55,7 @@ make prove The command will generate a proof and verify it locally. -## Testing +### Testing Run the test suite: diff --git a/packages/aggsig_checker/Scarb.toml b/packages/aggsig_checker/Scarb.toml index fd98100..1e6d431 100644 --- a/packages/aggsig_checker/Scarb.toml +++ b/packages/aggsig_checker/Scarb.toml @@ -5,24 +5,11 @@ edition = "2024_07" [dependencies] garaga = { git = "https://github.com/m-kus/garaga", rev = "65db99b8ba9ff19e7f19609cd06f8220d8406881" } -cairo_execute = "2.10.0-rc.1" +cairo_execute = "2.9.2" [executable] [lib] -[profile.profiling] -unstable-add-statements-functions-debug-info = true -unstable-add-statements-code-locations-debug-info = true - -[profile.proving] -inherits = "release" - -[profile.proving.cairo] -enable-gas = false - [dev-dependencies] -cairo_test = "2.10.0-rc.1" - -[scripts] -test = "scarb cairo-test && scarb cairo-run --arguments-file tests/data/args_test.json" +cairo_test = "2.9.2" diff --git a/packages/aggsig_checker/src/lib.cairo b/packages/aggsig_checker/src/lib.cairo index 736e299..9d84156 100644 --- a/packages/aggsig_checker/src/lib.cairo +++ b/packages/aggsig_checker/src/lib.cairo @@ -1,11 +1,10 @@ mod nip01; mod schnorr; mod sha256; - -use garaga::ec_ops::{DerivePointFromXHint, MSMHint}; use garaga::definitions::SECP256K1; -use schnorr::verify_schnorr; +use garaga::ec_ops::{DerivePointFromXHint, MSMHint}; use nip01::hash_challenge; +use schnorr::verify_schnorr; /// Struct representing a signed Nostr event with hints for the signature verification. #[derive(Drop, Serde)] diff --git a/packages/aggsig_checker/src/schnorr.cairo b/packages/aggsig_checker/src/schnorr.cairo index f07d234..eb79605 100644 --- a/packages/aggsig_checker/src/schnorr.cairo +++ b/packages/aggsig_checker/src/schnorr.cairo @@ -1,9 +1,7 @@ -use garaga::definitions::Zero; -use garaga::ec_ops::G1PointTrait; -use garaga::definitions::SECP256K1; -use garaga::ec_ops::{DerivePointFromXHint, G1Point, MSMHint, msm_g1, u384}; -use garaga::basic_field_ops::neg_mod_p; use core::circuit::{CircuitModulus, u96}; +use garaga::basic_field_ops::neg_mod_p; +use garaga::definitions::{SECP256K1, Zero}; +use garaga::ec_ops::{DerivePointFromXHint, G1Point, G1PointTrait, MSMHint, msm_g1, u384}; pub const SECP256K1_G1_GENERATOR: G1Point = G1Point { x: u384 { diff --git a/packages/aggsig_checker/src/sha256.cairo b/packages/aggsig_checker/src/sha256.cairo index dc29fae..278f781 100644 --- a/packages/aggsig_checker/src/sha256.cairo +++ b/packages/aggsig_checker/src/sha256.cairo @@ -177,7 +177,7 @@ fn create_message_schedule(data: Span, i: usize) -> Span { let mut result = array![]; for j in 0..16_usize { result.append(*data[i * 16 + j]); - }; + } for i in 16..64_usize { let s0 = ssig0(*result[i - 15]); let s1 = ssig1(*result[i - 2]); @@ -185,7 +185,7 @@ fn create_message_schedule(data: Span, i: usize) -> Span { let (tmp, _) = tmp.overflowing_add(*result[i - 7]); let (res, _) = tmp.overflowing_add(s1); result.append(res); - }; + } result.span() } diff --git a/packages/aggsig_checker/tests/data/args.json b/packages/aggsig_checker/tests/data/args.json index 6ba8478..06a724e 100644 --- a/packages/aggsig_checker/tests/data/args.json +++ b/packages/aggsig_checker/tests/data/args.json @@ -1,1257 +1,419 @@ [ - "0x4e6", - "0xf", - "0x63e48172d3382a0408e4077510da6f0", - "0x8981832c6a8f721d23936cb70b435e36", - "0x272df45a3892cac209a4437c5a7f6ccc", - "0x47181059051a23ea4b08c12bb808e4c1", - "0xb86d1d459c08fb70abe82b6d0a2a17f4", - "0xad13b1245a09085848348d0d0b8f1f72", - "0xa6c98cd442a82632a2b115aa68d3c932", - "0x5b4ad56da9310794b59350fd3ba8f6f3", - "0x8371f12ad24e1a415a1ed1a6fd776a9b", - "0x16a8bdb8d7e278b353ce51d1cc238d6c", - "0xc2ba6809e9c82b867ffbbcfb10c25084d93cc32a01a79a16", - "0x2930f5e724943f3", - "0x9da855a711bc775837f80f3e60dcf13080d1ea1816d8e649", - "0xdfef6d3ba4efe5c3", - "0x191f099a4ff273296437480cb915fbdd70ce70d81495ce49", - "0xf51e275141f7b462", - "0xd5ea92ba61965fa1567a0dbfec38e907b38140e074f4772c", - "0x3ef60c5dd8ed60e8", - "0xf256dd81a6631a8091ce41e73ac5b7a005bf4596535885db", - "0xd2d248ee649fc4ce", - "0xebd7726e8a9bf126323fe9d1aeed229fb6cd28786d8d88cf", - "0xca51a6a02a8538c2", + "0x1a0", "0x5", - "0x2adba8b8ca1bd5c8fc2b03869f37bf7ce2fbad63213bd0fb", - "0x2dbc3c90b3840e96", - "0xc46e68df3f669a333e235c1675d1d25e9dc24e95474dda11", - "0x9a0e8b9e0fbf41e6", - "0xe27e298b3fe765d75fc171ddaf1cdc80127594ed9c4c1f86", - "0xaef9fa540d5d7c34", - "0x67a111e7d8b8592f3144b9ba7f875d126f7ed25ac47514a5", - "0x5d88e55fa81f321a", - "0xcc2915dcfa6a3625e2ce9f61116ee6f2e46f69954cf178d1", - "0xcdf6452a098220a8", - "0x6", - "0x48622f7b8e6ee5bc2443224e4362920cdedb1a684dcf9cd1", - "0x977fc750a78dca88", - "0xefd219909c2420c4aef1db3d117fe13f1d3b6757aec30bbd", - "0x244bc01d8d0060d4", - "0xa032518ae946c35a8783ad79654002ac169510421a1bd5dc", - "0x56f52abee1a4f407", - "0x7c34aee8d3235717568122ec3035dd6cf95e8d57ef15a72", - "0x5fba3eb95fd00cb0", - "0x91268d18995257076034c7db950108624c9ec18d24f281ef", - "0x74a60989e8286344", - "0x1", - "0x0", - "0x6", - "0x525ff6ab32c1691833f6f75a795cba529401efc716fcbd1c", - "0x7168b4b413da2f5", - "0x9b67c4804b72b3b41b6c97e3119c52c62925a9000eb77461", - "0x92fbcb465ff4401c", - "0x1d4ae1efa1f2fa0bf1c9211ce9994a65382bc67082acc6c1", - "0x221ef8a20b5d2555", - "0x7a21ad3884acf94cac105efab92710acab405a3046666293", - "0x1f9222b537ab407", - "0x679340cd61d68f3c90f8a4c89a1b22078003e34210553b0c", - "0xa374fe5b9f5d345e", - "0xe63460b91bd74639c321fbadb35b0961af1d8c752cd8f1ee", - "0xdd677234fc20190a", - "0x9", - "0xfaaf4c60e5084824fdd5f023d7b1fe5a17fdb8de20ad58fb", - "0x247e733494e089b9", - "0x8ebeb2f444fce560c89cfeab7a7f28b9cc9fd365c755522b", - "0xfe1240cedb02a5d2", - "0x61603acc60ef5779b499be51c4c012b49e1371d0b6c2e0a6", - "0x60b42b382b82ac35", - "0x7eb93c016ace5bd65a1ba195987a22ec8bf47841c6692162", - "0x35977e62463e2358", - "0xe7dff53ccd6481f85063523e24871bef3592b236b164a4b9", - "0x54d602e2e61b17b4", - "0xa032518ae946c35a8783ad79654002ac169510421a1bd5e3", - "0x56f52abee1a4f407", - "0x7c34aee8d3235717568122ec3035dd6cf95e8d57ef15a72", - "0x5fba3eb95fd00cb0", - "0x91268d18995257076034c7db950108624c9ec18d24f281ef", - "0x74a60989e8286344", - "0x1", - "0x0", - "0x3fee7c1964b888af3dcb301330b01dc4919f394e1e102e0", - "0x5c260e0dbbe63f00", - "0x1", - "0x2a5ff1eb273c3a30ba9b1c3dc2f163f98f2ba30d49fa2588", - "0x5df034df25cc470f", - "0xf29a4537a48eecccfcdf73f920f71b1c", - "0xffe0d5ff370b11a2ac5894264f26abc6", - "0xac8d52b30a32f40406deebb808e39561", - "0xf78818aab6d9210a66b01a7e3cc60615", - "0x750ad76f540f7581f1dc3091fc3f40ce", - "0x9af64d970f5a7b5a8eb2d7c06d4c6a1a", - "0x1b9ac3963f6694ba39a28ea69fc18437", - "0x1ac99bea4ae96c06a8f81b73f694bfd", - "0x7a52f75892a5a46001c5853ba7686c48", - "0xd7a247bb090e92df0aba645c57f90c2e", - "0xcb9f21fa7cfa8713821032545ee1928e5a545dd26ddfc493", - "0x30d135b28438a9fd", - "0xd27664815e0467aefbd6a62e7beb89711c45464603b09442", - "0xee73439cb043d98c", - "0x6b7cb3ed5fef05f971f1311701d22759b434613976fa8dcc", - "0xf893ed45000cee92", - "0x742f92ab9267083aff9f4a183e6aa475c3e73ace3fabcd57", - "0xa7161fc56d82dd6a", - "0x9ec7b265aeea2803abb11a7b63691a121b06d6e980b98413", - "0x1e9470f9e977786d", - "0x13cab43a0850cb0185439207a554106f522a0131c2b59ad2", - "0x24eda087694c8244", - "0x5", - "0x482bfef1df04928244bec17114b9c639322dab02dd14b58e", - "0xe27af08640e23d7e", - "0xd9f523956ddd78e676953ff90a433a24ebd46db78b24ebe7", - "0x5215f31d0e17e8cf", - "0x5dc33d974de53d0c0e405e70e68c9ff92172baea1c394ca1", - "0xbdeb41fab4890147", - "0xcedd1b88e640ecd02a3e02b53eae301254ac91c2562106fb", - "0xf4754ae6af05d4c4", - "0xa13331b6edc672fd7be60f44d0a94e66b5e7cdf851877051", - "0xbf5da8c8df3149b1", - "0x6", - "0xeb336aad37c063b0a8b62e132373fad67a38669b3c893ebf", - "0x5b56e2854de4bc8c", - "0x5997287cc9499588d41ceebcf6acb9e82cfa095347f39560", - "0xc3df06204fa5823e", - "0xa45aed4b7872528042e84afedf270d35adec1c0fd12e7227", - "0xe6d7c225c3c6f40b", - "0xfee9dc0456dcdb8030f95093ed77228b89becf12c29d1b05", - "0x6b35ed92e4cb5ba5", - "0x6dcbfa9e68df39d2b124328b03e20f28759efcf47a907122", - "0x46bfece4e18d124b", - "0x1", - "0x0", - "0x6", - "0x220c1836fcc76d36c71f06085ff8a3cdd4f0b26f2fd0248c", - "0xcc2e25affc0b5e1e", - "0x8f198d020a2baeb509e8f7646f67ce8f030f769352c944d6", - "0x9f3b124f4c291f69", - "0xc4e616836511ba8f49c46ec8a2c14fe8c603cffc0624e657", - "0x1f07aff61f5c2695", - "0x25d3711ce10ed9c26b6f982882cb7a8168ef366fb5a7c0f", - "0x7ddf576a6484baeb", - "0x9d0c20121e7818d50d7b5ee5c90e70291792a279f1e3bc71", - "0xb13a052e368dbe87", - "0xb74731d6903dd274ac1d3ac8cc3bf1084eb7e4c9e05a5d75", - "0x20dba89e042fb9e5", - "0x9", - "0x6e67eabc8642b9d49cfb4285f82bdbdd578ace40a7c0bedb", - "0x7f6031a5214127da", - "0x73221b69810316bdccca872abeb915593ad6414bf7a928b5", - "0x5b192ae22d868fb4", - "0x7e7c7d104b204181d45a0cf81a115c77c174c474b84535f7", - "0x4fe64f085a70ac51", - "0xe3986ecb97ca6431ff87621ea1b5eca73e7010218ed50755", - "0x49d061898f743e16", - "0x5a2b02d1a7642a4bac1a508a11db24036452f404a1e6b4f0", - "0xb31e80627a81024e", - "0xa45aed4b7872528042e84afedf270d35adec1c0fd12e722e", - "0xe6d7c225c3c6f40b", - "0xfee9dc0456dcdb8030f95093ed77228b89becf12c29d1b05", - "0x6b35ed92e4cb5ba5", - "0x6dcbfa9e68df39d2b124328b03e20f28759efcf47a907122", - "0x46bfece4e18d124b", - "0x1", - "0x0", - "0x5cb6c4239162cc3f475b1149d8a725d323c93709f2453ce", - "0x683be200134ceebf", - "0x0", - "0x97aa3a4af91fd5892c7cb087e913072b", - "0x7a4d993a99c921205cc11cf24b020e9c", - "0x80beec4b766b6734f3db3df7e45b46a7", - "0x2c7aa2ed043df0f284decdc14bacd07a", - "0xf414cfaefc3043748259790b3e78f990", - "0xe5d25dd16c3477063937681e2604eb48", - "0x7c8c8e8f310cc6812d5fef1f93b1c73d", - "0x49f5a2c74ab4c71dabc74c8d8331ff22", - "0x110089e807842da1bdb10617aab2fd8c", - "0x553646df9159d4d3ffd9b5d212262198", - "0x2b279216b94c3f6f8c9bb292c38ade06c9c0f9ab36f0bb5a", - "0x819b13cfaab9097b", - "0x9f65a17ecb6158cdd48959ec4437796854b35dc919ceacb8", - "0xe49bee792a9af83b", - "0x70694c1debab3551410162e49b077b310816a5603221abf3", - "0x16a05a95683757f0", - "0x3814db0942a10e96b9b15636b92e757f68214a2a4fa276", - "0x91a17e950cac48cb", - "0x1444a7f76e1dd8248e50f31f85446171fc15676eb05b1fb5", - "0xd9bea5da55f35bc6", - "0xd702dff63ded45629c6c1a27b587bf7a885093189fe1cfc3", - "0xc7a92098a8f4dc77", + "0xcd434dbc99ebd146da8c368204a045ad", + "0x47e95103c1b636fc91c3fc6c3fdf36d", + "0x89df77f18ce7894ddd72f809b35dc4b4", + "0x84dbd3803322ffc198b1944015e35abf", + "0xefaa75d56096b30d7deb9ceae376e460", + "0x7fe3281efea9ceb9b6f9d07253ba0326", + "0x39a8f0e65aa9c2c43afa9fe731240c64", + "0x6cd88f4d07dfb164cf528e2f8c32ee22", + "0x473ca308c7660712a1d79053feed786f", + "0x5541761ac5cc5a8860ee6f0e68444234", + "0x4f4da653cadfc862927f737a27ecbd2f41fde540e2e89afb", + "0x4c3b6c88069a69d4", + "0x13795e96ea53c3076b168c6632bac8c54ca1a4998b204ad7", + "0x5ab4eafbe8825ebf", + "0x329c13f77693f94784fc8331cbc4cc58bb15c50c019527c4", + "0x2db9c7a8ccb7e3af", + "0xbad3f63b9bcecdb123066d85efa624c4d84098b638ffd4bb", + "0x9fc76e1191db08bc", + "0xc5f4d6a344c1ed7859e9710ac140fa0c592e2068416875af", + "0xda9963d6b65bd08e", + "0xbce37090c690d9e42f1e7e96bfeb12eac13524239127597b", + "0xd1389a90b959d656", "0x5", - "0xa06a7db2b5a61a2b4811660b67673814fb1a4719e05de440", - "0x319ea6ec256e10b1", - "0x4240e8d6e5055ab93b27c30aca1a7074d8e2d90889818c7e", - "0x1831190dcb4c920", - "0xc8154b6eb61619bf67009862716306480bace78df9e0483b", - "0x1948d6ea333a9a01", - "0x98c0a0b393682cb4794eba1063e67a92189244acd6d7156d", - "0xdb26820e05c75732", - "0x49248f7ae1724abccef08725c48a482fd6f924a670dc3dd6", - "0xe915b1745a4de089", + "0x9f49b5b55b0cc2d554231576938ab6f8f73fd00e8a068b5e", + "0x98ec7ae55505d83d", + "0xc24f133bff0bd52a8531153d249585d86bd8b3b5e4bc7d13", + "0xd3a05d8953a15289", + "0xabbc3d71151d5ba438a592df30ce5e4eb2470f4a19f7bd26", + "0x62dd0c91b6c75339", + "0xb96b72d4655f505ef631ad656080fd04f654360a45c079f3", + "0x96090f029e892195", + "0xbba6543181b77eaa94fd61a31672238491ff3ab687616620", + "0xe7fc42d15e295410", "0x6", - "0x45c009a562f2cd6912af81a623aed273856d5d56c1d44ee5", - "0x1b13fb3510d41290", - "0x33a9c6ffe83a9f0d6d82ecaadf134bb4b7a1830379441179", - "0x18afc865e8de56a9", - "0xbeb581d51a21e009033cd9738117a7df12f74de87b283cc", - "0xc6c6d0ee67ee9a34", - "0xfbe3815ff54eae1ee8a0e5f2f45539895fb6b7297804ff1c", - "0x6cdf6822c028bb42", - "0x75ab497cd2b6d79920b70e4277efb547e4453a2feb3f0f4c", - "0xe7cce2549901962f", + "0xea053fc1f86dd185bcb724c4772692aa114fd0afd4af34ae", + "0xaf8a26259b88af14", + "0x3c02533b5f59b1c8c30b569a36b5972024ee5e9f9258949f", + "0xa48e37232811580a", + "0x21c50007fd85cbd3ff46cf5d81bee9d8aa095b2426e8701b", + "0xe20d8113621aa0b2", + "0xb590702974167588b04a5e4bd0ad0cba0e06935dc11da817", + "0x21549979d5762f9", + "0xc9cf783b955feb17021f237c9057ca447258bbe30fc3dfd3", + "0xacd72df94952267f", "0x1", "0x0", "0x6", - "0x39f844b930be4a1033a3c2f2ef6f72d45d9d14b236ef6562", - "0x1cc295a6780db535", - "0x415149c95d8ebdf619e5e6556434c1ddede12162d555219e", - "0x41f42bd01ee34ab4", - "0x873509dd46a63e0531532e90223bc4ec33410d0cfa60b98f", - "0x7bc6e8a8f7be8621", - "0x9f731acc752e31aadd5bbf5ce5777984dc00d366e4825cdd", - "0x24e57a43e6c1ebd3", - "0xbbec54c82334198c3abb0ebe103e0133af267f5570bebc94", - "0x3278d6a8b2a1c55", - "0x1d2c7c575ceed17de8bceefb29737b282537b83c78f70ff5", - "0x5adba5dee99a5de", + "0xf16fcbf63ec286850308faf928e1bcee53c5e9a20ce1dc6a", + "0x6f48e9a9ae4aaecd", + "0xb950bc62f543c257accebd96fbd766b0fed3c2c3d5983387", + "0xf9a837732594815e", + "0x785fefdc759083585d04b2f83db3b1ce5fed2b70a5cc798c", + "0x1f55e5a7bdc28264", + "0x8b08e69821557f4b2c4da79bf9eb29701bd05d81325dd0e9", + "0x54e05b8d0a556476", + "0x155f4463a7f6c1fd1adf0362b2c83707703c3cffe1abb524", + "0x30670c829f437c77", + "0xb88cd17851831e729e8a616d9b590ba54b5f88e2281431f5", + "0xb2f65a8ef10a5c3b", "0x9", - "0xe8404385b4a39ddf82cc8b8af9c7c128a5fd8d5f4cce2843", - "0xbd8bde7375cc81f1", - "0x69a470ff599a595dfe9478ac198711f1056a951850dc7a4f", - "0xacce7ac95e145ea0", - "0x536f68cd3b6ed203f16a9f22887a5971984c321ab5e1ada9", - "0x6f6fb684d786376c", - "0x28f89345181990416f15cb4ad2036535236c5f7c09f7541c", - "0x152fd42851f13165", - "0x6b58c969ab3a843d5284507c26a140abf5861a58e7fd9373", - "0x6f49f8b617e971f5", - "0xbeb581d51a21e009033cd9738117a7df12f74de87b283d3", - "0xc6c6d0ee67ee9a34", - "0xfbe3815ff54eae1ee8a0e5f2f45539895fb6b7297804ff1c", - "0x6cdf6822c028bb42", - "0x75ab497cd2b6d79920b70e4277efb547e4453a2feb3f0f4c", - "0xe7cce2549901962f", - "0x1", - "0x0", - "0xbbffd06fff546b345699dc4cce9ebf0b9705de972334f43e", - "0x67a13f372b16df5d", - "0x1", - "0x2dd89651e300ad5c01e2222fc21f12f7404f0115e43e855a", - "0xa204bda68fe387f", - "0x5d0a2e40d3e7726e45d8fd456efb9d06", - "0x229561baf5f10d0e82ff7d757f7f2f90", - "0x56fccb207f3b0bca9d0e0e549d89a9a2", - "0xafc7dcb5eddc9a0118c60d96eca42e22", - "0x70da08c847b5686730ff9e4928bc4214", - "0xa9a13c84a01782a5adb16357de864392", - "0x8c46d768121b88db30fc2d9544d346f3", - "0xc71943eeb1446f48244c3bc8b627a14f", - "0x4c2efecb0debd19919c84350b2293d9", - "0xcb079036648c8926b7eff022cfb35793", - "0x4e3912a6801882faf8f563b5f6b34767e21096bf3e3c5384", - "0xa5810dda3fc5fe4", - "0x6e99e01235299d430c9809859990d990688f2878a716b5f6", - "0xe268623f86c70a9d", - "0x723d1bbd2fce84024e551914c4eade25402b45aef0a81efc", - "0x841add6f2eeb7bc", - "0x60eb3a3be7501bc1d87a165bcae81f5e788867d6620b73a3", - "0xba381cb9aa2b49e4", - "0x7d4cd80469e541efa199547969a8d93c121e22a268bcebb0", - "0xab93d22a309a4c25", - "0xfe21f01fa00006ac995b41b1c3720622d97c2e6d9135faa8", - "0x4827312abc65d5f", + "0x6624be4dcb00baa82902015f420e02a6792eb4d2d0ca8006", + "0xccc70b0740bcc992", + "0xa410469f9b73dc7d554f5e377ef721e102849661006c1f9d", + "0x7fe381f618796847", + "0xec630037eea892cbfaefab8e8c3864eca6417e03105b27a3", + "0x2e5e8787aeba64de", + "0xe0f850e4250b08428ebfb8d72be1ebc0737dd8401c7ecd4f", + "0xbe1f294ae8ec63e8", + "0xc0ae9cdc74f91f69d1e54f02291c1eff455b81da00b3c679", + "0x5e7078f429506588", + "0x21c50007fd85cbd3ff46cf5d81bee9d8aa095b2426e87022", + "0xe20d8113621aa0b2", + "0xb590702974167588b04a5e4bd0ad0cba0e06935dc11da817", + "0x21549979d5762f9", + "0xc9cf783b955feb17021f237c9057ca447258bbe30fc3dfd3", + "0xacd72df94952267f", + "0x1", + "0x0", + "0xd20bad95491a8412adfc2323d1eaa8b76931fa67eb62bfb", + "0x52b59910a604522f", + "0x1", + "0x5f16488782561135a6b7a72a116f37fbdd7c9651dcd1b29f", + "0x472f2562ce059085", + "0x98bac95e4c262728c47953336a3dbe52", + "0xec5f43005c1f8d5009d0153ace4bc7e3", + "0xb97a5dfaec50a443be522d90eda5fbb", + "0x471f9227e6ce005d1bdac303aad7db4b", + "0xd05315c0846b2500bdf68f3c8a8e254c", + "0x29d39df3a25d382e9c4c9cc3dc255208", + "0xcf9870b11946026bbbc6b571b4c319fa", + "0x29091f64b38b34b875fcb034401498fe", + "0x4e61911a389b528a25ec15e908a32b01", + "0x3de06948f2e36ed7403071bea4d9644d", + "0xeb1936aab37e70a310ebbe9eae5fec6525c4f3e364d5528d", + "0xd43c5e818408fab3", + "0xffe1311fdd4fba7bc2773d424d5e008a492e5a0c40242c87", + "0xd0a380268e1012b9", + "0xf2d709eebd40716972d75c8fa74549f50656bcd25c8e34f6", + "0x4bbcfb6eb0c7c4c2", + "0xaa8577d4da3f32a11f9e64e0facde1a2c61043c373330810", + "0x5805135fb29df5b4", + "0xe0339907d623fd234f125e43d8e6831581346ce5d2a25f83", + "0x6cfc7fe0e7c54545", + "0x82e8f4a4fa69b9a37a5af3be7a227f18e6ae346f6fff4a23", + "0xacaa7f660a01f150", "0x5", - "0x1ce2819814d48a521e09d4e6e3c200d734b40b4fdba7d1d1", - "0x19b96200e4008541", - "0xce84d498b2865ea3babeaf0846e3a06d8ff4f497072f0f83", - "0xccbdc1e18bc98e74", - "0x553abe82ffcf7b7a88d61a4b625be94ba9d57a82d3922339", - "0x1015b64f5fba7bc7", - "0x4c56d4b1f14047485e1fbcea28838ede66041f1e8f867c83", - "0x999c4d22ee76afc7", - "0x7c22feaef591294fb2bba7daeff13653dc30745bffec4254", - "0x317791d0ef5adea8", + "0x3e74d0c1d0ef54b1374b2f4e9ca703737d66451e764d1682", + "0x72280f28c80fdc5b", + "0x583fa6642b55d381c5e49c9de6f21de794097a9c378f54d3", + "0xed91fe1da3ac808a", + "0x2cdd260216ccd9708d6a00e2173269be1260f09e292ae337", + "0x477305bb551baf13", + "0x966eb2d4ce10a59aa0ddc80c7c86e0f73eadb271e5e12990", + "0x531b14dc32e83a3c", + "0x1666fa1bf56c2f47b39d9706734a931100956b036c258d6f", + "0xa92e50e670507087", "0x6", - "0xea8b16e93881dc720ae4f965a38245b0a9688c1722f7ab52", - "0x7b4850e12629357d", - "0xc96c68a972e81ca51e0d2be7a5ef7bdb85bb17972fd749cd", - "0xc7b7d2ffc1975442", - "0x3d74fafe13ceab34f66a6b8d59927f9b305a65c549a742f2", - "0x589b3dfa65bd8db7", - "0x690f71c96983667b4d32b4871189135103d0c24bddc1241", - "0x2f674f8df07aaa23", - "0x53d6896b2b087de9bd8366c02dafcc92d4a5713db3dcd8f4", - "0x184c2bec50c1468c", + "0x82b6aa9ccdce3b2f4d551796d7fa6db55300a82c6e834950", + "0x32bb9bf1de2ade4d", + "0x44b13ae348ede4f0b73659cffae3cb460575519ca7519040", + "0xbfc280f3ea194f17", + "0xbfcac0b2660b3b21957531a7ccfaec4ba7de7a5ed8c0ec61", + "0x1f1b3e1b0e710148", + "0xa7aa74c46e9d6c4297a5df707716e41b1b7150f69fa23bb6", + "0x442738be274f33d", + "0xd06100c53fbe3a7e1ef6e3d2f4e11372bcd83e2d46279634", + "0xb22c2d8802bf3f39", "0x1", "0x0", "0x6", - "0xba2b4690edeb9b881ba577040208fb88f29cda55e8caef60", - "0xaaa1b9e4e2857a3c", - "0x9bc62bc0899c00d415f05bd2f9fa8429be573578ef3853b3", - "0x823c5eda0cb235e6", - "0x9936193e71a0996e1e955d36627ff1bef8d6a7b0ed34b3c9", - "0xd9ccb2d37e57308c", - "0xc6e202a152d6e42bbf070c279ed071ce2a63ad35d2065bb1", - "0xd1146dd34e1cacb4", - "0x926be2b2baf7183dacf97f9634b33b9e59a6417c90797fb1", - "0x93bd85150835fd6f", - "0x46c1b211dec51a6c085649a3eeff74ec55e421bd876c2a8a", - "0x6fbf3a6a0fdf8f9a", + "0xde602342d946a7ab3ed1ba2bfb9eaf304ab40656a0c578fe", + "0xef148f1c5c7985fe", + "0xdec8a5fac9a695e8d148a2b69e3eaaf0b1f18288dc34255f", + "0x7ab320517a776d6a", + "0x8d7530e92c8f12562e52196d5290d0b6d58e16a611494153", + "0x8d281712065df634", + "0x6b4aa21512cdfcedef62034da6759499d9026a17b55188d2", + "0xb7871ad046ab1dd9", + "0x5c8fbf3da93e006a89c0e7762bddd3e698abe2f8dfd4b77c", + "0x415574a149d231e5", + "0xad5891dd72b2cf3292a0458d6bf52952b9c09ae0b457de0e", + "0x5fc7c097e106de7d", "0x9", - "0x69cda0608b8d071e4c42d1c7788fe7d4a1dbd4a4f4c5bab1", - "0x5efa36280b207671", - "0x81f6dca22458c883d25c3355898c6300a81da5274ee317b0", - "0x7606c4fe4b234dd3", - "0xae32dcf28aa6ae72bce8f0dd73017d3e5278c8670392dc40", - "0x6c3eb1d8c82ee002", - "0x1881d8b156ab5947fcab2860bb2e3e241b13e11953fc2eea", - "0xc71b7dc2b983dc73", - "0x144a2a97a0238e094ca4fb28e5be13df564130481ae13c4a", - "0x71cd0675f6e04219", - "0x3d74fafe13ceab34f66a6b8d59927f9b305a65c549a742f9", - "0x589b3dfa65bd8db7", - "0x690f71c96983667b4d32b4871189135103d0c24bddc1241", - "0x2f674f8df07aaa23", - "0x53d6896b2b087de9bd8366c02dafcc92d4a5713db3dcd8f4", - "0x184c2bec50c1468c", - "0x1", - "0x0", - "0xba32b94e514030c279048257cc32d6fadaab676b75fcdf83", - "0x44e347d1a6c04216", - "0x1", - "0xb10d92a1507021477fba4149dec03f66b2bbe98dda5df855", - "0x4d3e37194c5b4b40", - "0x48340d7863491b46acc3e5489e0f342b", - "0x9a2c18fefc8a742a2990ecd705bc6aac", - "0x56c9aebeae9cfa093556fe5b3b340d1f", - "0x6df08471b174ff71ae04b8f6a7a00874", - "0x1daad8e83c74467e55fa5ee0bf92ce54", - "0xd55996850211e24c5a56e9cb193fe75f", - "0xc0327f79ca0368371fdc3aaad1e6d264", - "0xb4266055b8b091c282d97da148bd3505", - "0xa609af12bdeab9a7a2455ad111a752a6", - "0x1fc3c3eb21b969d0d0e6bce00ce0174e", - "0xef6176bc7f40bcb12994993d176a6306096d4dd2cec1893f", - "0x18c77de4bbdd5ef1", - "0x2c1bae8234f9d88aef0c8c9eb4cded905820d4adce64b577", - "0x3caef1b486da96fa", - "0xf24132e596d35382ab72249b75077bc380d463b0b8ba3e31", - "0xa5033eb1fa53c389", - "0x78836d3158b8766993bd83e6de45540f5967f5910d0aa102", - "0xf2cc3b01a24509c5", - "0xc8f4252c70b991919fa498718312937396b5a83e92563240", - "0xc3d0bace22a450a7", - "0xe84cc85a601852a2fe6975efd13a6fc0aa59fbedec5adbb3", - "0x8972739eba725207", + "0x92feaa49a0a39e4b1d53a51fe7d8fff54504993805970501", + "0x6321439d132c141e", + "0xe0d89c36fe814295027c74afdc3a8eea26353b4d933b04d5", + "0x3e5186ab66b129a2", + "0x3e8b44e0ca4e9deb16345b969adc761197155897ed4676a7", + "0xd9beb2bd651708fd", + "0x185fdbfbd41c310172de33aa199aaa731319deeacbf2eb4a", + "0x508cc4c50f5d84fd", + "0xf758404807217e638ff69494ad0b53692f5f04de9266bec1", + "0x9ef7bfabfd5409ab", + "0xbfcac0b2660b3b21957531a7ccfaec4ba7de7a5ed8c0ec68", + "0x1f1b3e1b0e710148", + "0xa7aa74c46e9d6c4297a5df707716e41b1b7150f69fa23bb6", + "0x442738be274f33d", + "0xd06100c53fbe3a7e1ef6e3d2f4e11372bcd83e2d46279634", + "0xb22c2d8802bf3f39", + "0x1", + "0x0", + "0xe418eb876efae09cd4d187d12a85144a61e60dfa6d559af8", + "0x2befe7b1f14fc7d5", + "0x0", + "0x38a63904ef3d56f92276e1929bf5879c", + "0xb3eb29e4d7721941e17a62d1abfe4b39", + "0x8020300d16fa220b07e22490fe466746", + "0xabd310dc73c88ca6b02460ce08e620d4", + "0xa5d1e52bc869bf49e6a3dd0cf135674c", + "0x8017abdecded1c556b38490e745fae45", + "0x77101510e0421f929153f84e8102b6b7", + "0xe26581fd7f840e6583e30a89b9ebb41e", + "0x9e334dc658725bda53f75ffad6a17dd", + "0x214a91014d7d3fd260166586659b05f5", + "0xc65bf7f1ea50c0d7c184dc1bb82100b63640cd19be5922c", + "0x96fd59caaf7c1cc6", + "0xf79f8c206d759e25c513c7fdb6015711f1ef01d320be02f6", + "0x81cf18914db9012e", + "0x94b0bc9368ac85ab9d622cddc633e1c7ebddb0f33a58e90f", + "0xff71e1a2001becae", + "0x9d437a7753d442d5ea6f3e527e05e872cb9cc55c42d6fae4", + "0x7da69dafea51f7", + "0x53b55fad06d6ce79dd0e0cbf65ad04a6711a076b2ea08814", + "0xcd039eeb77b5c852", + "0xb60e3f0f0daa8175383723bc71fb5614433b5024703f3ded", + "0xeecaf08846d99afe", "0x5", - "0xb0a97c622c871ada568fcc85bb5c7f57aaea8b4ca0322c10", - "0xc8e54102d68d9922", - "0xa13d4cb391cfb7ad3dedac1ae3bdd32eda114d714e6d6b67", - "0x61047c9ed4f7a641", - "0x435b539e9048efea99e1133d1a3b556d685a52d0305973a6", - "0x6980bef68e9b99da", - "0x445b6c3a92d41c331ed75f84bc800605ad52e18c919b6fdd", - "0xfdf2f392d9404472", - "0x25bf0d7cc28feba7c4732f02015ec745ec321d0cc8eab77d", - "0x79b487e95b4805ec", + "0x6c374e77ca5b7351a14e348b40c9d156019fddea99916b72", + "0x70457437ab07356d", + "0x8652bc8cd65e70ac02c35ae479318c9463cec5775400427", + "0xbc6dfd08a3cdccec", + "0x41c87692c8c543141109815253b47e5785108921c9cc9fa3", + "0x4022da2ecf99b99e", + "0x9fde0b610edbc4e7208ad92d78a6dfc41f1649587f095ae5", + "0xbc8abe2a6d469cd0", + "0x8542748a00c2e6fc78afd8c69c9b899dba85ec721b51bde3", + "0x57d0aaccfe61e450", "0x6", - "0x401c077da5c87dc5e221c3718523fe10f75cb9e33469f9ad", - "0x9463ad7cfeacf03f", - "0x37f481b48b72446132c1cc0bb4a290e94e0a7706d9258499", - "0xba0263b4d3ea3d37", - "0xbc92c975214c49eeb78496bc4977fa5fd7b7380508072a4a", - "0xfda4aa85a15e9b26", - "0xabe3d140bf266f528c2648710f461493fe13c83fcfa4311a", - "0xbccb169e57ab631c", - "0x51c415a5030b4abf31eefe1c14106ae04fbf26849401d626", - "0x96b59daa7bd8d1be", + "0x8d4eef59ca9578cba29690b72837a75b0222b29fbcb75f", + "0x8cf967ef3ecf5098", + "0x34cfb9cee7c5317a525d6498fcba7aac244053ea053e6397", + "0x3008f566b8d588fc", + "0x9a7998d95b265d1cef3822763510a985d207aefaef9a08a0", + "0xbcb04775f0b75ded", + "0x2a8c5b3d0be927febabfb9da436067b194393f3f6af0a0b3", + "0xfca13e82eac85e44", + "0x56f60dc9a6a73f186bb4bb8d3d4bea1ddcf94dfe5e26e8f", + "0x76fbae4c6b0ce5e6", "0x1", "0x0", "0x6", - "0x96bf0ea025fd223874eb8b915710ef7b5d5ff17a8e0946d4", - "0xd24278335bf494a0", - "0x745f4f4491c24bdff5e5f940d800758c436f4c9806dc88b6", - "0xa504711640f6a5cb", - "0x5eb2945e398c48a638d3d75f1901cbddd827f4891c9c454c", - "0x10848be1a0e722dc", - "0x5663db1a757c43a387f1ad8a5112c3324193aa67f4c7d6b6", - "0xe7e67380d2c9b45d", - "0x711aefde471fa270788513377d5c759c45f886cfce5a4944", - "0x292ba32929c11641", - "0x17c04dc8fbd1e9e6f515451548edde64d7e89a94cdd2377", - "0xf6e844cbcdb06ada", + "0xef07823ec324fcdb047b4a1d5f68bcb3911478172ab3731e", + "0xc909db5cba59509", + "0x4cb9ebe534222c4eea5c92b4169d71133d633fd9009ea18f", + "0x17e266707008eb90", + "0xc78537b23d459f498f7e6708b66efa21b5f9ef62f44822ac", + "0x762746fd00fe537c", + "0x68747fda5569859d7abcd37931bf2e9d1a07633ae5dccbea", + "0xf515ab0eb4139cc1", + "0x3b15ac4e3e4750e84a617bdcbb665e74c43a58b93d907073", + "0xc76c7c384a76c4ed", + "0xaf900d040ef511ff49559024659b0f675cbb993841728ac0", + "0x890a3c213f548fcb", "0x9", - "0xc0c4346f887b70692eec581aa3fbf276c389153a6ee5e2ff", - "0xeb9be6af6ba91ba", - "0x87af8befd01fdea8634c9451f071f66122494134f006b344", - "0x1610b9f1cb67ac82", - "0x28038233e916058704a01f260247d89ee602882938323eec", - "0xef80a9a769963e0f", - "0xf356c042dfd58907b72dbe88f00e8e1ce9e733a6e1e76478", - "0xbdf14bd1645ca607", - "0x74511937a0c14f9b904abed041157d0b7c4484aae5326ee7", - "0xd8f9b35e36d7f96b", - "0xbc92c975214c49eeb78496bc4977fa5fd7b7380508072a51", - "0xfda4aa85a15e9b26", - "0xabe3d140bf266f528c2648710f461493fe13c83fcfa4311a", - "0xbccb169e57ab631c", - "0x51c415a5030b4abf31eefe1c14106ae04fbf26849401d626", - "0x96b59daa7bd8d1be", - "0x1", - "0x0", - "0xaa911597ee722339dd8be382caeecf606823e7e8fa5d0c11", - "0x2c37365fd80e035c", - "0x0", - "0xda53e092749c7e883dbec71c19fa66c9", - "0xd2582568b0a4db47d5c991825e117599", - "0xa3a35336c4d9a6ecc147b2dcc26f266d", - "0xc3ad915f736dc94b382a803077c6ad43", - "0xb1684bad3a672da634afb0ee965a98ba", - "0x35b9c03d80fb0ce4e6f0bb090b90d429", - "0xf94d49603d3219780904f46ec01275b8", - "0x283a0ef16fe6f495214f4d34dbba89c5", - "0x3683e2b40a6a6a2f749ec70de1ebf89f", - "0x91ec99f278c62ff03eeecd22c7b1af5e", - "0xefdd2512db65a632f96a6087b579f01b22c4e9661e3f46ee", - "0x1191db824e99d017", - "0x8d7160b952009d05e1e6129d784daa1a771953229eb27c1a", - "0xdd9916ce4e142663", - "0x20bb3d533558f6c859f7d72b81a56356a176bd5b50c534f7", - "0x83d8cfb61a4d5cfa", - "0xe6bdc9c5cf975eac2bd802d1d877bb87d5c95cfd1671a34", - "0x12e6df6287b7b6ab", - "0x87cfc71ee7f688e8b003870f57b2bd4f0d55e71f0e299b4a", - "0x8f2187725474e1df", - "0xa9866faf9f977a49a9c19deb6d29a6f9a886aff18b7aea78", - "0xbda300559aab44bb", - "0x5", - "0xd94e6022f12f4613219e7e11fef114b8e857a52ccbb365e4", - "0x4fc647d77eff4f51", - "0xeaadd9e2eef913e1b0188d2c0edb4208ac3e0e695d0d31b", - "0x62c2f608e1f76c8a", - "0xbba148e292ef1e9c17c1d7fe4946ee967e44b022c2051396", - "0xcaf1ebc4a56e3429", - "0xa1eeee9899be0c42a2d0d3067d9067da4ec238488c88911f", - "0x183180f1c3fac501", - "0xcf09aee9a912d23a2aa8bc5b31a4602c1bc297194ec42ece", - "0x11774e8f2315a767", - "0x6", - "0x9b6db8a86551c15636af9023e2875d01e6bf2d43d8905d8d", - "0x640e1a0ac7f09d76", - "0x7d7d2decff54963fd6cac779b039284e283050dc859a5d73", - "0x63b494ed3fc869f4", - "0x8f7ced9fe4dad064a143cfff760f58190374f1e15eaeb619", - "0x8cb92b7d3c81eb20", - "0x620861629438c115c8f7372aad99b7cfff1fda4dc2126f51", - "0xc370a65015828df0", - "0xd9ccf3b4c0fd21d1565af12b7e861f7913343de4a96a9f59", - "0x9e07d576d5596c16", - "0x1", - "0x0", - "0x6", - "0xe5103f374145efeae28d063d5a32775c00a183b277ae5fd9", - "0x790fa2f2cd419510", - "0xc355bddc760341355d46dc27897d2e23b28dffd3f0a58619", - "0x3e0787b64bda2c0a", - "0x82b5dc779d5c1c92f3fe43bfbb54bba61eb5029f37e30eac", - "0x8a7621480d476f1b", - "0x35d9138f7a9b699cd038622a664eb844475b770dd39a13d0", - "0x59e74ecb11786037", - "0x4c317dc0a395302270e3871e6b4118c40dc293641cda5dc", - "0x2b49c797d697530c", - "0x6f8aa7849f54605f67a41fea1b484dc5f43d16bcaaa2c1f9", - "0x83065eedd1df915", - "0x9", - "0x40000c9ac53c495b7eccf0fb31b38b0d4f3a3cdcebf2967d", - "0xbc62b64b77944e3e", - "0x6e6c417afb501bbedf8b7453d1901a2319523609a73895c7", - "0xb9f0127cbe7ae5af", - "0xec6a7f5f41fbb2c068daaffc3a6b68af18329d2c96c70622", - "0xd910306ca78d6de3", - "0x49a8625a72df08eeb572124ea1bb63b1e09e256927117bd9", - "0xbc22a63b5e827f09", - "0x7217d7de464082f933475faa25e4049dae9e02212784c826", - "0xb5eb6b2d153a5e94", - "0x8f7ced9fe4dad064a143cfff760f58190374f1e15eaeb620", - "0x8cb92b7d3c81eb20", - "0x620861629438c115c8f7372aad99b7cfff1fda4dc2126f51", - "0xc370a65015828df0", - "0xd9ccf3b4c0fd21d1565af12b7e861f7913343de4a96a9f59", - "0x9e07d576d5596c16", - "0x1", - "0x0", - "0x2f9af1242bfd7c17b0ab6f7e50eae20861de02699c4945f3", - "0x190bc8bfe2ef8718", - "0x0", - "0xea311cabdfebba96c5787ce40a803ffa", - "0xf065a90983d17084cb42db935ca4c2bd", - "0x6249c55cdf1ad32f257f4b4e796b4756", - "0xd264e594b9e2b74f9e9d90d4f03abb50", - "0x91b0b9d03af2fae6e3110609eaba2e64", - "0xec4c74e56c65a7f2a483ad90524bd8ab", - "0xe8389dc58078f4eb733939f9b56ec6e4", - "0x7024d62c9e56c8309dde1b36a734beae", - "0x404fffdd68bad5f930122fc2f1419808", - "0x4b72e7b7ec99cd1668a3c1a734bf0cd4", - "0xac92c8ac7e52814c48a4850963660ffbb517ac6836eec5f5", - "0x264666ce2ae86117", - "0x2dc4bd3819d71d92941be72ed0ce90ce2cc1a152352866fe", - "0x2e573f21dea2d03b", - "0xd1c7db60d6e9eca2efd6b7e4f9c512f2933fbc1922c15ada", - "0xf5d4df5c4dd18be8", - "0x7aa760706c815a14809d3412dcd748b5c9d43d290904fb2c", - "0xf4dbf0bcf3ccfb03", - "0x823ce2a33e3b44faba5bb51ad39136e613b993ff5c4cd314", - "0xd73f197828d99672", - "0xaf1c08dc3bd54c427326cc0942725c2c6dcf662e162cb2fe", - "0xe38750f9c87158c3", - "0x5", - "0x24a5d4246b95e225e7976b3cae2ecfd14d124f6214d0b89a", - "0xe39296fa17fa99b8", - "0x50d6dc5e1a30716a8b3083d526167a4a72d475c2cd21b55b", - "0x18a7f7936a7b49d", - "0xcf050e95345ba3baffa1fc71a00776150ce4ec7198bcec8a", - "0xf441aa6015e0530c", - "0x6218ea393d25e40cbf2d30f0e30e71bd71ba11cc59c4f835", - "0x59f514da76ad4139", - "0x363eb98a21163a05c354942033f56338c3cfc37d2fb3fa80", - "0x1c2ecdc7377df632", - "0x6", - "0xa48c20614c42967e66360a790edcd52b5a37c68d9ec642a9", - "0x5d2c39e96855fde9", - "0x33236ce6803674e22cdf92c358df85df2fd6ac11c777afb7", - "0x69add7bc2fdb5f69", - "0xa756220f8704cfee8ed7930f4a97477d534d87cc329887f", - "0x702405d695f60673", - "0x665bf6e8cc60182a4d14b9e1febc7ace5c14692c6021a4fc", - "0x4bb2090b1d6185b4", - "0xb2a85e4adc686bea8434bbec25aaa23247d36d1b99f9deb", - "0xc0825449aaad0991", - "0x1", - "0x0", - "0x6", - "0x144ba8cddc5374ed2b25396e0639fd167a541084ea3d066c", - "0xb4aba47af2397675", - "0xb1d3958b52f76639806621d7c4facde9665bd31ebad38c5a", - "0x33a43c9c3330e71a", - "0x4387bc99ed749569a7e09f190d8d0071fc30628032f6dff0", - "0xb4f9aa9568c67084", - "0xa2bbbe0b5cca5e15d786e5ea70fafb49db9a6e6fc1b7d143", - "0xbddea7be4a91eb5f", - "0x880570a8dab6f9e1043231fa066b2d2023917315fdb82357", - "0x494c0033dbcb339e", - "0xf41abbc2e41a6f205da9b60ebc7c80c52905c69eafc56b6b", - "0xd0c7fbd1d6250e56", - "0x9", - "0x7fd4e2a915d21d74cb7a494f6809d42f77866de1576bda41", - "0x8c359561da59f163", - "0x65f7fa4d817d322f3a1d03576e1ca91a4edeb47e7445d5a3", - "0xe3c0e6254eff9be0", - "0x4935aee6cb121af85e7e5056b0a22f46d471eb6c5622c6ec", - "0x10fc28de19ba2d25", - "0x710fe0bee2e33fa681c71fa7060430cfdec6a6c63fb1cd2f", - "0x6f0a79373600a5d8", - "0x814d162740a42418c6b6a4faa95a2cd52f432bd2dad51439", - "0xad3e25bfda96a260", - "0xa756220f8704cfee8ed7930f4a97477d534d87cc3298886", - "0x702405d695f60673", - "0x665bf6e8cc60182a4d14b9e1febc7ace5c14692c6021a4fc", - "0x4bb2090b1d6185b4", - "0xb2a85e4adc686bea8434bbec25aaa23247d36d1b99f9deb", - "0xc0825449aaad0991", - "0x1", - "0x0", - "0xecfbdeb680ff8921bd580ef6e4fc8e00995ddd2449bea436", - "0x62b74849d19ca2c1", - "0x1", - "0x342db1978194bed03b31718b6c47278366a4771ffb22bbc4", - "0x44f46e8bbc2a01af", - "0x7ff2c601c7fc983acea4c1038fe92d34", - "0x29631ab5a4dc0e3d9d8acf688e270218", - "0x226146babfee8fcb1677a6a6226dbeec", - "0xc5f53cc9f5313c035c14c9a481799d8e", - "0xbe8e3cd85dc5695c1e53248bb0ad9402", - "0x4c8695b716da5de06429e4fe5eb27667", - "0x5011d20824c066431e96706856f14695", - "0x292ad24d337fefac78de176a97433151", - "0x6a988714b724d933857d8d08a71a2498", - "0x2aa3d663e3a8825199f4507a91ae3b24", - "0x6a6cb1f751fb69c3ac06f332df51fdee793751a6cd2265ed", - "0x4724b00c5547a34d", - "0xd2fffb9495737a002a4c9cd0adbdbe819e0625f77bd7c397", - "0xa0c11f6587658572", - "0xf56553d95b1921299af26d4cdad1d6c38fa55e3b5db1909", - "0xa3a3666ec7d23f7b", - "0xb4a325c1ec12d994e1e9ed2a6479ecee22a90d3dc468d3d9", - "0x765e9f36830e2e57", - "0xb7ff15d6f94128e56d2433b6bcc374bf77186348e6147c56", - "0xa8c2992e04f56f31", - "0x53b9d12de870c4253768c771f52970191bd42816c8a3aa4", - "0x1b7006002501b2af", - "0x5", - "0x749985cb5c7e5756148c6463686ec1bf4a34b52e0c19e2a6", - "0xcf7fb2205ea531d2", - "0xf24f67cb25f12de582cf4e61a1638d9cadfdc59c57f1990", - "0x24a8fc08e00371f3", - "0xa70a254eff7ac6dd7b574ff8b2cc06288cc97378028f5711", - "0xce03c5cd02558ff7", - "0x8a227f679c86499af770a43eb250d39feca92a9cf82ce22", - "0x8385e4b41b94a28f", - "0xc3b2d35ca8b3c6fa0e0eca0223bdd5f4f7f2efdc600d4bfa", - "0x82c1fd5178a97968", - "0x6", - "0x83612bf6c4c1625fd4f75d7553b88c875f645b3a46c06a37", - "0xf3670517e72de12e", - "0x35c6ce74f34805c0b16f1ec15eede0e70433fc793ef6de42", - "0x3b59d577800761c3", - "0x3f2f189b8b12728baef0f9fbda5bbadef121c7ec33d4a81d", - "0x385a159a5f773c9f", - "0x715729f5659d0f889a02a0e8e491f04372880c6799e1c53e", - "0xb6036568539b9c85", - "0x1c88b6b9cf1132af28286eaba880b741664bcd285d8822bd", - "0x2cc1ad0deee2b656", - "0x1", - "0x0", - "0x6", - "0xf14a8b340205364b0de41fb32ede21e9e3c008691cb392ae", - "0x2068a4d7005048da", - "0x6abcbff25701415a76cda09c1604ef4f41b3078c30a192a8", - "0xb6c77dee247dc73c", - "0xe0feb796d33876d28515869e8667b24f92cae161e0d87ce8", - "0x53043ba0e3cc2f0a", - "0xfe7aeced44683f23b97f8d7a1b903fc0e7d25d775a81a0c7", - "0x8478218361384ca8", - "0xdc5b0dd26593c938f20e5e11eb5ddeb6abff57158002ede9", - "0x48c29a88001dd946", - "0x8d35f79dc9c444fa3db048182029aeba5a63a6b1e6bd0b0f", - "0xe152b8fa50877361", - "0x9", - "0x97a833bf6149b09ed2c38e354a0bd7b39bbe7e9def42fe67", - "0xa7d123a752412845", - "0x786fa532a6f82844da09d749988126511d6be751b8c0179f", - "0x9f74d6448033ac56", - "0xba49ac40cd8121d1c896d5e2f8821c1897ec77766ad09c9c", - "0x8a7697389c42a85a", - "0x9cc351ac8c0ccf1c0b09c3d393b61e5f811cb2147bece1fe", - "0xed7ecaf2306f28d4", - "0xfd83cd899cc0688aca8a2572fa72e3b0d0469894cdafd53e", - "0x74a590d9083a5e1d", - "0x3f2f189b8b12728baef0f9fbda5bbadef121c7ec33d4a824", - "0x385a159a5f773c9f", - "0x715729f5659d0f889a02a0e8e491f04372880c6799e1c53e", - "0xb6036568539b9c85", - "0x1c88b6b9cf1132af28286eaba880b741664bcd285d8822bd", - "0x2cc1ad0deee2b656", - "0x1", - "0x0", - "0xd72d244a92f761fdb7aa6419439ca24dd664dd5d746f44f9", - "0x7cfcdd400204f11c", - "0x3", - "0x5dac5b848b60c0d1ddd2275679565c55970a2e10d7399cf8", - "0x7f7b34ed78376b34", - "0x6b66ad3a20cc0cda440c3d533534e3e805fdaeaa763c47a3", - "0x39691cff9dc18552", - "0x1eec8286a1068d909911904e6c63e789eca1647d7489d50b", - "0x565e3d8dda3b7eea", - "0x9c259c29d20180e8a71a2c96a83591ea", - "0x9f91b43b22447f4a06e154b3015ec0a7", - "0x9ef5ef281ee509472f57fd74fc18ff3d", - "0x497ec248cd7535503723f0720946dd41", - "0xc1d1a85cd5c500ee8f236392cc28befc", - "0x743d7f8f9ad624ab2c57f1be445b0921", - "0xac8b8e637beca8ef57e94662f171622e", - "0xcb04e99d676a05e2bde4f4369748283e", - "0x89bae2e56e77907fb3555e6519c95b2d", - "0x4fcc789798d47515262d521da1a3e9fd", - "0xd2b47b2246483558199eaa8cbf15cb1a65436d7272780d3a", - "0x104ca03b95279f7e", - "0xb136d28e48de89568af323bb89c338e8bf66ed7b914bb746", - "0xfb35b23d6cd540e5", - "0x38da8a87e64334a2a0ed4c10c26235f80f71df731cba41d5", - "0x26fecea51e479734", - "0x6a6a973f3a1ee928f21d41e536198ea43feba03206f412e1", - "0x2675e7068fb46902", - "0xcd528620473c7da8c5daf8e611463348b52f1d689e4e8965", - "0xb4076c68e0df5ab2", - "0x9d37d0c0f786d275c432a115756493bf16375b1708bcee3b", - "0x2e0aa20118875fa5", - "0x5", - "0x35c599c86884b6ccd7f255a2df6b9efff486f0a68ca1f87e", - "0xc3e075440c6664ad", - "0xa2833d50831209f2831eb97cdc2240658b8566c0786cb0a1", - "0x66dcb9a525d831e5", - "0x3a74f9a91e4fad1ac9ca5264e2f5e773bb5f2925acc6c833", - "0x847d6a9d11b255b9", - "0x2184a261b80f85bd82337949cf0c219270993597ad03d815", - "0x8cdd6af08ce4c14", - "0x7db6cfc811eb234c5ffc7d77e88ddf8a5449e61ac22bbc32", - "0xea942bd137bb221d", - "0x6", - "0x8a074a867be00287cfbb29b2d4011158f1d5782b1177efc4", - "0x35ec7650f4c22115", - "0xaa720814bfb8897d7d96ea98105ae2c78b92b6659499248", - "0x91b5e9b678b6b063", - "0x60787bfb47e6dbf68aa6541cce3d1f8cf79ee28aacf4f540", - "0xaca9b74512f96fc8", - "0xbb38ec43e309eb7b7a4fea0f6fa27dc1ca8c620d2541a057", - "0x5efcb15a82ad8630", - "0x9a5a212db46a3013de072479208e99844cd116dfbf6e0915", - "0x516ffbeea45f7d9d", - "0x1", - "0x0", - "0x6", - "0x16fc67b6431ad372cff49ff952aa6b2d8c767c49f7e6cb2e", - "0x1964e1b47c93ec2b", - "0x2eec0ffda3742dcc42101be133c36ef4e08d460a807cbc0e", - "0xda077643fd847dfe", - "0x22bac9fca33943e947940cf4d09e8e84397017b9bb7801dd", - "0xe603eee33f693706", - "0x5f9c6de30a2cd23b4a56be0de156c4e6be2fcc69a0e968ea", - "0xa0685b41a2213030", - "0x13715a3bbeb7358e4ec59894173f9471527ca3a50db06d0e", - "0xde5436183ce88100", - "0xc53d7aa77994749d6205083a096d8614436294c5c37b2cff", - "0x1ae430f3e31248ee", - "0x9", - "0xc63309ad632011b6ae1e23e3cc07796e9cd6492e7a47922d", - "0x79773c36b14ee796", - "0x4a91e38913e0bc26e6f206a28727c3374d102fcf71030b6b", - "0xfbf963fd4cfed2b5", - "0xa34b63def75003bdca8c4cc9a3abdcdac55831cebab2c404", - "0xb8a402e384d20e7a", - "0xa895c061b12572e827ea901ee17281a57bac2689164359c7", - "0xced54fca8780cc6a", - "0x431e08c13ae2d922ea0b6df964ebe0ca9270cb86954bd97d", - "0xcbc5cd3cf7531fb2", - "0x60787bfb47e6dbf68aa6541cce3d1f8cf79ee28aacf4f547", - "0xaca9b74512f96fc8", - "0xbb38ec43e309eb7b7a4fea0f6fa27dc1ca8c620d2541a057", - "0x5efcb15a82ad8630", - "0x9a5a212db46a3013de072479208e99844cd116dfbf6e0915", - "0x516ffbeea45f7d9d", - "0x1", - "0x0", - "0x6d029a866a275f1b70c91aa79a5502afe0ca1974f2c13f21", - "0x1cc8231360f18365", - "0x3", - "0xa076d7950afd4f1c0ea0febdb28ca6b98c56d885f866b5e5", - "0x28772f977676cc4", - "0x7f9ad087782e4c2a32236e8d14ea40614322b79b4d5643a1", - "0x550e7b92c2631305", - "0x6d685fad260ff835a1bcc6d10878f0fe2de0eb48fb771485", - "0x19d6611919d597e", - "0x3f17f6fdd9ab128cc29aefd04a31bc74", - "0x2d988d1a755c01ea3e0b519cd3045178", - "0x18daa39296b12d58cc6b967f68ce2203", - "0xe93156a09da9ba3bf66dd6581e639898", - "0x48c16f3d19dc3d0297fe50430a39291e", - "0xfd3fdac1cd9b7cf39cd2c13149f17f27", - "0xb6821fe5578ba229632a7444065e5206", - "0x4aee9fd793969aa476a799df10c04441", - "0x465f2e1ac955db6242ead17b87a27f0f", - "0xfd279dad20ce789fff5abe532daa7b06", - "0xb4a53bd0454a886f957060a8221cf4410c84097b9837381c", - "0x4c4c60186be0a9e9", - "0xd2060fc5bb2af7e525ed1c714681ea97e9bfbd62438e87b9", - "0x612ef53da39a0657", - "0xd3c1537f19a2deda15c6e9843bc89cfa76732360200acf87", - "0xb8547094654b6da8", - "0x57eadc40cefac9c7d7bfe9ad0d1e0cacc31dffd80fc0dcd9", - "0x7127324a4ad7d485", - "0xeada70721626753c2f08ece752d6e28719c3aed5e1000b4e", - "0x29a48005574b05", - "0xe041f51fff8757308b346ede2b457fc5ed0a91914b1cd0e8", - "0x4eea3eff6a1a4679", - "0x5", - "0xebbab7831fd15388dc5e28e1c10aa473bfaffb800de7bb75", - "0x8b67995c56e69360", - "0xcee485e94ce6c4c7ddbb4b1cd23d9d8f71fe64f970b34baf", - "0x71607f9e52995920", - "0x4efc0d5cc366e0a6513b5c1e1625c9f7bb221fa5df2273f3", - "0x24e5704450cd19f5", - "0xa4dc187bfc679a8a1bd2d65f2a5af962cdca510b60ea6423", - "0x2c750ade3fc8ebfe", - "0x79746077bca0e831603418f134a90030043263034523e88", - "0x6dbf56d437d5389", - "0x6", - "0xf2b613cb0bf82e90368f67e9ba1b44b7fee2b6ba2cec6ae1", - "0x6f8bd286d7147849", - "0x81339884defa7fa48ee962846504111cb365a0c531512cd3", - "0x22874d47eb8658a5", - "0x7ad09bf90fa42604641158ba5813560c5f87cf158885d3a2", - "0x1b8d21b4bf0f8a95", - "0xefc88f3a15023f110ffc34ed92795565f039bda078d4dc87", - "0xa1567dc4ebe1c7b9", - "0x40b0c7509e017fdb0a49287e8ac4360b3ce70c70e6f7a801", - "0x9845cdb391f6277f", - "0x1", - "0x0", - "0x6", - "0xd0551a749e03dbcf9d5593158074b09551fa4f3e9dd23a57", - "0xdc0eb4c27eabec4", - "0xc8ce0c11751fdea23cfca2c1b16e02d623b93ed10895f1c5", - "0x6b82fa8fd52d1c73", - "0x83d4f28832b6861cc364f02d3614af9b2de039d99ef3490", - "0x83a4ca7d8cac3af2", - "0xc333fd6274cb2ac47b8fbd61f6eee5ccb1a05420eef41559", - "0xc11bd4f751d4355", - "0xf5dbcc4f7ca14293ed13bbd83650d9bf2e2555f7b33565ab", - "0xa3009b2db69f537c", - "0xa3ffbeb2b05fb44ed691fd12b1cd1085fddf4a48b29068c", - "0xc8881965f7b817d", - "0x9", - "0xa2fa8a8d53c945f17debd76416bee107f832ff1a3a76f79a", - "0xcd2c1afe18f4a05", - "0x88692ba218d97d7fe861b19ec31c77c8e7c76564593839c5", - "0xf1b31cf770ac6c86", - "0x5bb443cf6d7d0a1ebc796d1868875a569cb6a996bba8c96e", - "0xc0dbebf1396cca16", - "0x8131fe619f07e807a674da68bb6c9a819076e6217abe81d6", - "0xd8e942e94a40ee5f", - "0x46090bb93104fea1d6e97dfa30618b6b5db6f7df8216d41e", - "0x4c6fed30e9416d20", - "0x7ad09bf90fa42604641158ba5813560c5f87cf158885d3a9", - "0x1b8d21b4bf0f8a95", - "0xefc88f3a15023f110ffc34ed92795565f039bda078d4dc87", - "0xa1567dc4ebe1c7b9", - "0x40b0c7509e017fdb0a49287e8ac4360b3ce70c70e6f7a801", - "0x9845cdb391f6277f", - "0x1", - "0x0", - "0xdd38c0a7a156274f5f0fbf70d177d77aacdacfe84832f0f9", - "0x69f42f12318aff25", - "0x2", - "0x15174d90fe98cb2946aecea078477aa14d29a86eaae81149", - "0x95d492cecb0e5d1", - "0xf0b5ee1a49d76599406438382c04bf4a8fbff3b4fc0fa71", - "0x1a3b7a4b6c5aca12", - "0xd7fdad8e0931f90f364b860690416e12", - "0x3d43f05ba2c907f83c3975d262a683f0", - "0xdd30389f24a6d4fe57310b30cfb64876", - "0xe3c1557c3eab62b4ba8796d049a769dc", - "0x7ce0f5f2dd71e44513e39d4245539c7e", - "0xd4a690cc652069fa84563b7fc55865c5", - "0x3940989c20b257d50f350631571f2ba", - "0xced6ae6db41661604a859ad51c520466", - "0xf6c48d26b13cffb03320670ac7fd1e2", - "0x7a279c211882ee667b426d10173546d1", - "0xe33b4125b30d1e68212bea953c3a2f7b54f4585d3971d66f", - "0xcdc439e1eff02287", - "0x467194459714494b124ec3ffa51081d63095c85d6e8ea2e1", - "0x664c2d7dcccd8f1d", - "0x36b7c229621d981f9dd7852ad12e0d630bfcd0d7d8505509", - "0x8868f37de771109a", - "0xd139393e72139b2bc8ca201911cc5af8b0a7a3b45ac5d17a", - "0xb9b450840676944f", - "0xda38430bf294ac0f712727eab0cbc1d8810d41dc9f3d5a6b", - "0x564bd24563f0e2f5", - "0x95b33a882eeb1ddb4f2de1311f5af25581e3269043960632", - "0xf6635442bbf05663", - "0x5", - "0x390284cca0855bca9e39bdb660b2daeeaa86d0368cdf3f90", - "0x9eb2a3488623e8c8", - "0xbeabd973812caa450d2b0bd1408b6b1597e9a7c112db821f", - "0xc80490cd3ceb8af4", - "0xd535c935ab4eaa9eb18c1a72d11183d2aebcee9e3112a41f", - "0x605a5d3991e68b05", - "0x31290ac0623fe3c6343dcc73fa8ee4253dc272dfb89700de", - "0xaec5115b594fd16f", - "0xb37d57fbbfa542867acc4d1093b7ee7e3282fb3ba486a024", - "0xef271e1c85d16302", - "0x6", - "0x7ced9cf24e22f0c439f057a4d0d75cae7818c78deec7156", - "0x28bb54f4a30767ac", - "0xbd999dbb49e41aa80175fae8a31d6561c1066f00202b1ace", - "0xb0bf1ac91195f1b8", - "0x9509b9497f3c26aef9ba5ab8521a3186630d29c042b8c66d", - "0x4d7441a20522a45e", - "0x5d0b082a196830603929cb58e4e097b64b7ce9a2fae8b1f4", - "0xf736d07184f977d6", - "0xfbacc03ee0122884f00932daef5703716cde085e68520acb", - "0xf607445f8c25cb86", - "0x1", - "0x0", - "0x6", - "0xf81465ded00497840fdf4e2e9964c994ec5f462781a814b4", - "0x68bd1bd9954a935", - "0x8b1bce2421ea43fc5e888bd00778b79bbbd67401006af047", - "0xba8e5333ae3676c3", - "0x6cb89e2ae6d7ad43b5e5681291fbda2e70b1b7acdc83c966", - "0x5de99defe04ea1b6", - "0x395cb9465c589e21d14e4075473f4617a2ab8d542f71b52a", - "0x4ca1384477ae0358", - "0x81007a3f0b32750db82f5cf50f9884df3d16f195e9a3e3d7", - "0x60dbd66f193086b7", - "0x2081675c3e2ab8ddbc42a5b8ed2633fa54216c8b97ab1929", - "0x3c452828b5ab62f4", - "0x9", - "0x36a7f4aa022f4955d95926581b5e388c548ad74f18771d2b", - "0x1d1f52b07533d5b4", - "0x2f33501f053cba980a39dc5c75cdc5ac472d0904e12dcae6", - "0xd539bb7f7b199c0d", - "0x134411027aa50ec8d4187b0a3eb75aacb55c2443d30d749d", - "0x1e2dcb6e23f27e96", - "0x931c12f5d6bb81add3c394e88f319bc6f7ebeff3bb4965e8", - "0xeb3b080f45d9ae88", - "0x9f52df736a63364a91b65ee52e7e7d7bbb18a99bfa698112", - "0x6af1f965e69e8269", - "0x9509b9497f3c26aef9ba5ab8521a3186630d29c042b8c674", - "0x4d7441a20522a45e", - "0x5d0b082a196830603929cb58e4e097b64b7ce9a2fae8b1f4", - "0xf736d07184f977d6", - "0xfbacc03ee0122884f00932daef5703716cde085e68520acb", - "0xf607445f8c25cb86", - "0x1", - "0x0", - "0x3d7881643fe9559df3315b502bb1ba4f045712c43c5b5fb5", - "0x34dfb10f7e0bf5e0", + "0x3dd288b748a164d91721df5021985937d0ef2e55e290f0c", + "0xdad1d78ab7ab3428", + "0x71ae14a856645a58408dc02ee9195ab4fdc24b6724b4bcf2", + "0x503eb5cf0dd6bee5", + "0x39532df17e0c8bca8a88f13b7374a2a8be35c8e18d364f75", + "0x28d1f4399503917f", + "0x2a63cd9aad2aad6fe6e0ab888ecb0d826892dd758c5136fb", + "0x75621d83aa49e475", + "0x5adb5fd720ae5d15017c76a6c78bb11934ed660c4e6f74f3", + "0x70eab97da62fd246", + "0x9a7998d95b265d1cef3822763510a985d207aefaef9a08a7", + "0xbcb04775f0b75ded", + "0x2a8c5b3d0be927febabfb9da436067b194393f3f6af0a0b3", + "0xfca13e82eac85e44", + "0x56f60dc9a6a73f186bb4bb8d3d4bea1ddcf94dfe5e26e8f", + "0x76fbae4c6b0ce5e6", + "0x1", + "0x0", + "0x981cff04ed58f59e6e48967b67979ef14fbe1785246cb3ac", + "0x45599c829359c2cb", "0x3", - "0x1a7e53fce388f9737a1027ac2226a80df448ed6109292f06", - "0x5294a408826ab375", - "0x933dc0d08cfb7bdc0a4ec3be48708152cb8415a7c68e4f01", - "0x6cde9290b666e65c", - "0xbff16ad267013be0214aa07712538972b92879a95b0ba8ce", - "0x41c036513b2a9f3d", - "0x7909e2c8e1c314d9b0f5046e8082f98c", - "0xbb7e9daa43720852223affcbb13d59b9", - "0xc7e7ce401a68e8ae32d537af70874c6f", - "0x7ea5a69733a47a01b66b6a6d6febee16", - "0x1e39e308fb4da7d1015a773eec7c5772", - "0x1e1ccc9847f1b253ad10e7eeef320bbf", - "0x6a9ebffa71b088646ee18ba3f7e3acfe", - "0xd4d6cb77ece8cfc92db96a8f8f704e89", - "0xe84f56fc7db7da719522a22ab141274d", - "0x858f32017baef6a81c002a383bd78a4b", - "0x214b1507b1841a4c666258155ea2b8edb71b9df867ec3444", - "0xd885bd69daeca863", - "0x2900d20a9e540002843f9949ffc38983296c30f731e82375", - "0x8575a9e81a4002ab", - "0x5d8cfcb31230c68d55b511197e0dc5b34f871dbb9728e32f", - "0x4354fd55d425c2b2", - "0x28c096b0e98e478ee656dd1db8973c18840b4ac5c62d0b9a", - "0x2d3e7a222a5dc8b2", - "0x1bb4715ee4b276594103de06f09f5d31e6fc6c652ee875cd", - "0x9298e082b90c7132", - "0xccaa9e7db6897e10484c30105e9e10aadbe7013ebde9489a", - "0x33df93a040583c4a", + "0x7371ae68c2d86a9ae7a4e774b9f8744bea303e07dcd324cc", + "0x11b7fa1892d6fe16", + "0x873cd3f3461302248d5da80253d53f073ff5144e537b18cc", + "0x2d8c47ad8ab4ed61", + "0xcfcfae7c3b9b171ea2460f9cc1f3174653ed25fa1309efc6", + "0x582a152abbaf0ced", + "0x3d2d4ef8bbe4cd970a86b00d59c22e7b", + "0x740c3765aa4a3f9d4d4fda18301115d1", + "0xc854aacc20ca4a9f033dc60643db76e", + "0x2a26ee493423bc48a6bf659a9c7e91b1", + "0xf7698167e2177d1d2fd70e06befd39e4", + "0x85c9b73197ce583870739ba5bfcdd766", + "0x3dda9ba538ef75d1455fffc4e12845a7", + "0x5861ece0f7a0a497b505aa8eb6e55e11", + "0x37fe141be9e87e70eb4cb7868e4a5e82", + "0xb214e5dee9323a9304952c341cd78232", + "0xb646732d5674f5829f8d8a02d3e227183c423080f6721e89", + "0xaec33ba555fe4fb1", + "0xb8b0eab94dbf148abe11948d1878db0f3ca1515db8e6cc15", + "0x82aca2bb5f907bdc", + "0xf08c740a2e44be40e8b891a693f4a3a1eedaa844b70672f", + "0x32859df6890c06c9", + "0x21f6a8cd4755e25c6ec75ab2e014631e70d2658479574fee", + "0xd5dc0cb7f5c2cf97", + "0xd28acebbbac76b0550377050cc689c0c36bec213284e9b9a", + "0x6645d6ce3713f0dc", + "0x425f0d6413dbb621002aa13872ece8e7a40d5b461027bb14", + "0xa7a2081327c6ea48", "0x5", - "0x714daa100a500e5a53708649fd240ee4cc64284c0a8ed568", - "0x8671d49af0462d68", - "0x16d9e68fff5fc5392e711a24d47eff725e9619714c4e322b", - "0x5ce11a66657ba55d", - "0x1b60db5403eba9b41f2fc7922741dfaae8b49e3d44acc18f", - "0x35d4f4868a032be1", - "0x19a41746ce5f4f8afba3293caae84919ee69c94345cbb71e", - "0xe7c25a8353941a12", - "0x136633cd4d6e57557072a2db4a5c02deb0486602eee98dab", - "0x925d35773d191fc2", + "0x7b4bdbd5c39db81685c6fd1efc69c1ec13678baf013f4e1c", + "0xc39a3b6fbce22fce", + "0xf7aa90c98b9043b07c4f5da9329d8a5c8647e2acf47bbf3d", + "0x2883f553adaadf8f", + "0xc4724a4060550b64f2064220298b30a1f0dd9aab3afe7851", + "0x888bc1156042ce23", + "0xdf91dd6cec9615203ed7d1289c86b7a9776018023973979", + "0xa425b470c5afc67", + "0x4e6f96791c41c0b3128266bf5a77d8664edef6ed07df3296", + "0xd2668d3b749992bb", "0x6", - "0xd596ab4ea207197545c076006cf5903afd471a8471be0b8e", - "0xf1bacf8e881563c", - "0x9107400004381aebbdbfa74064bcf0028c32213f73411f0c", - "0x5eebe3f8e1d280fd", - "0x9fed579520ced6bd12578926fc4b3203116079ecb599461e", - "0xfe9d7a4d11aee899", - "0x98af07d559a556c23db354cfceb29b8c5ea8902ab80ffeed", - "0x61eaa6efed0d2022", - "0x5967afe31925afaf3860edaeea7912a585991ed94a830346", - "0x592857a76a5fee0a", + "0xf9c76a2cf279fb847a79c873ea7507bcbf19db0d3922ec82", + "0xe75f5af77cc5d3f9", + "0x3ef12fe010c120db43a7014c4aac85de246fe8be927580db", + "0xaa58901b885c2d01", + "0xe6035d114c35b71f34ad659efedcdc35f8bbafbc4a277151", + "0xf3b3195b1f8eae5d", + "0xcf0276c25b18b17724aa0a26f15339a0d086c7b4f35331eb", + "0x2aa7dd600319335e", + "0x6bc62ea5e0d9b6dbf28e350a069b251e23eb052a1a990806", + "0x148bfacdbbe140b3", "0x1", "0x0", "0x6", - "0x35d3ab309378c2c5cd208937bde79c55afd55c8d00abc518", - "0x86e5b89bbd54aa3b", - "0x971ed4d824f228dcba505c5a848a5f300d24028ddc718621", - "0xefd87419ce7200aa", - "0x566a29a34e5cd7b52696ba2ab1301889c2bba998e1edde40", - "0xb0a4b5320e5bb0a2", - "0x3f2fbdf9c2dad1da6e033929366b8937028266f30e0d418d", - "0x4256371ff0bbb2c6", - "0x37f4bebabeef3a655b7fb492b72563d46bc2e90b7a83f16f", - "0xe17095378eead7be", - "0xf3bfb0edd721e1e60b99f06d13ce5a8dfe513a0cbd7f5b95", - "0xef18777bd79e88ab", + "0x320c126363c29c55d60af69202d20b5fa09a684beebad473", + "0x83dbad0bfab24969", + "0xed6ecea7729f7e3e35811e0289a3a8782611396145d2115c", + "0x948b26ed845dc183", + "0x1ab152a9d490b88226763f22374196900cbab27af5afd35", + "0x45db9ece4ea44b37", + "0x27c2b5a75962b53940d1db42b72b15ca7d5065633b3b6187", + "0x471e0a7b9ba4c04d", + "0xc1d73e87e9173783cdea30730993afc61ac2b9b6ebf65630", + "0x74b07e4af8784daa", + "0xb14594b3a5d50fcdfd575296f9bf6b7f0d20b256e2d6edf6", + "0x3040520e6f9651fb", "0x9", - "0xd71eaf266e31b234e8433a02fab6f19cecf1b99f1c3250e2", - "0x69c1bace5b895ba9", - "0xf732c0001d88bc72303d92c2c12a9011d55ee8be26c7e0f6", - "0x98733bce2cc186ee", - "0x5f7d6513e5a7df2b8064c010e60e5e1579a3557ef73101b8", - "0xf64e581b7bc85c33", - "0x25fe224158c78c4f5a7c7af13d7d11193e30bb17a2e0bab", - "0xbc863d8863dd372f", - "0x2dd0f35b43fe8b648662708ce0c72893361f9327cd63d98", - "0xcf06498cca720346", - "0x9fed579520ced6bd12578926fc4b3203116079ecb5994625", - "0xfe9d7a4d11aee899", - "0x98af07d559a556c23db354cfceb29b8c5ea8902ab80ffeed", - "0x61eaa6efed0d2022", - "0x5967afe31925afaf3860edaeea7912a585991ed94a830346", - "0x592857a76a5fee0a", - "0x1", - "0x0", - "0xf5303a4d4e92f09d280fb191244a302c573185824fcb05c", - "0x5a62e0d0c1f626b6", - "0x2", - "0x4b175ff2507581121372225657c8231c9f228882ccd6d140", - "0x1621e1d48206bb98", - "0xbbfd7623cd916e4cc16ecc559d501cc8f9d51debd7083ad6", - "0x54d54d638eb9cae6", - "0xef600cfceca4a4fdaf0ede85f03ea97c", - "0x78d2f704911fee1bc8f323504ae36e3c", - "0x878178067622a8dda99033a4d253e23d", - "0x890eed430ff258f26a69588c6ad98b44", - "0xb9f738f551c1ff63905cb046ffe3e396", - "0x53683e7a9857ebe39b45ae47235b3622", - "0x9bd7dbed800ee9eb42f34e1668b969c1", - "0x85a980b3a017016380f1a4c6dfd4f5e6", - "0x6ff59689d3ab48fe53c199d36457c57a", - "0xeb061e700715cece327fd9b09f6efb8e", - "0x5baddb3f92959b1efcda5bc0d418150c27e96462f601d010", - "0x3a23f8776eec6b48", - "0x87458e448d9f36d4bd13611cb12819faada8aad1891c36f3", - "0x84f59071fc5a32b0", - "0x26040e3acec2f9a1d790776b9801d23020bd31ed853d4a95", - "0xc63d1a57fdc49639", - "0xbcc6f8a9f59fde0c2b3007a8e429cea5cc65889cb1a2c13e", - "0x40ab0d1e466ab44a", - "0x2d20cadb865fda3b7fe151a2eddbe9f9e984c4705f5dcdc3", - "0x5c3dbfbbe83fa5af", - "0x2d4abe4d293cfe675edccb340b0893a30f5a580269c33c6b", - "0x82371d40437e2e25", - "0x5", - "0x7b878422c590baddb8af31933684c7a5fcc8fe7c9f0c5100", - "0x6cec70e2507e7b0", - "0x5bde848f4f7568e8aea8829a445f60570987d0654f653bd7", - "0x50e8d9f772664541", - "0x17130d346fd9ca7340ed17f0b1c53288a0e90c49527f5f7f", - "0x574ee433e6e61a5b", - "0xf4e7fea6bfc67d0e2101fbccbd966999b10b623a100906ad", - "0xc22b9b94949fa831", - "0x5883e80beee13851415d55b8033d7e369ecc418c9134625f", - "0xb6f9d9dedac89c53", - "0x6", - "0xdef6adf68cc8276e48a719ab4bc13fc6795e6cf25e66bf19", - "0xa3f4e8da1d566964", - "0x1aa9aef09f3566b79b2e404ff3727fe913e6cd9a5167bb52", - "0x445c498cc56beae6", - "0xe5807098971b15448e43846c7859575b1a3513ec1ee5c091", - "0x25c8fa5d2f7ffb76", - "0xe0aa02d3033c821d01f779090fe68acf45efd6917e5677e0", - "0x6cee911fc5475868", - "0x91239087dee6fab82196664f02195d12ca51f03c3c171250", - "0xa093d9b2a1404430", - "0x1", - "0x0", - "0x6", - "0xfbfdaa92892d4727602a09098222fca90700012eaa74efd3", - "0x38e74b03dd713f20", - "0xd37c4de27169ff8eb3aeef5d09178b8de41993ab8077758d", - "0x370d2730f228407f", - "0xff2a86622035b9805fb7c86e62f2a653b9558ffdfa9b6f48", - "0x47580503f9bfcc4b", - "0x7896f9658754eb1a05ede7a8b531fcdf1a5e889910863196", - "0x16be59486540b266", - "0x2d35cfcd35f46728aa1a9e4a74afe7b483ac36422f4bac8c", - "0x71f9a32ef2ea6517", - "0x8f7a0beb47f0e538759dcbe5e61657d18b1ad8c8ee126ee8", - "0x493f507de9178df2", - "0x9", - "0x18bec1bdd9791403fc91b3af1248be6d5194faa494cf48f3", - "0x7bb25df6cd5ce1c2", - "0xbaa3c8945a75cf053e43c22fa8217f5f8b4f9f3939d6230f", - "0xde8602d965f36c4a", - "0x4683142c21bd94dfe3d89ef74a71637db7738b75d84847c8", - "0x87ed88c4c7fe040", - "0x39cc1bba36fb639566b68eabb0f0b7162ed4aefd2c411ac", - "0x9e7ae0b88249d443", - "0x12a2a2a7b78641c0864b0c7902240b6c9c245f43f6094ac6", - "0xa8673d6f2e2dc83a", - "0xe5807098971b15448e43846c7859575b1a3513ec1ee5c098", - "0x25c8fa5d2f7ffb76", - "0xe0aa02d3033c821d01f779090fe68acf45efd6917e5677e0", - "0x6cee911fc5475868", - "0x91239087dee6fab82196664f02195d12ca51f03c3c171250", - "0xa093d9b2a1404430", - "0x1", - "0x0", - "0x723e83c1d2f9283b7ae282c4cc5d7e1d4d23ec62f46981b8", - "0x1a95c1abbe2d421c", - "0x0", - "0xcae65b19eee016e5282f2e0b25d1742d", - "0xdbebc6119ece6e21268b9f2a989392b6", - "0xfb2a4d99a20e3c1131de323858fddda7", - "0x5a8e1221bf84ae6d1793594552e7abf3", - "0xca24bc88207dc5493ccbce155645e67e", - "0x95565193bb06af52e81ec8fd7a9e5c30", - "0x32369cb1ea5b25b4ee059ed606280a83", - "0x7944bbe6e58b3c72c74bbd406442a477", - "0xac530c225c15462534e75f5f80557766", - "0x95d3137dfbd4ab7463760da826deb56b", - "0x8fb3fc0439d004d04b08233bdd5b0a47ad1367e4da2ed59b", - "0x4ae4a057afb326eb", - "0x19da9c601c69f2e6676a3b0d212d9e2dac1ae8701d3f636b", - "0x25db3e8d5b6c468a", - "0x21fc9145de8a157ead6942dafb34b5705e485e8c03b5ae57", - "0x1d6a01099a8c7718", - "0xe480c8b6011773c82b2968c59f973c4d6c7e2b17d87160e2", - "0xf4403add99b725f2", - "0x72f0892677e06fb49b03070889ef26cc5a3dd4468e2f1ac2", - "0x561448a0f1382625", - "0xc836ae81252c33eb1e3997d20b0362c9aa271cb9a4093679", - "0x7ce8f558b8e45779", + "0xd473e73aa155e09f59547b2b6933362939b4fd628ff48e74", + "0x539b7cc46968cbd5", + "0xb8984f207547e5fed99109160ab7a912ff0f5d3a01369541", + "0xa86bf0c0ba853b08", + "0x4a178b79157801da70bdc758f80a0579cd21ce2c0714301d", + "0xa9e5b17ddce6c491", + "0xa2d8a97d7026d5c67b200f8483bb9b2272c95101e0695191", + "0x11f6689792763b91", + "0x315c766936b520dee58a749278ea89b11fdd0ce64ca4bcd6", + "0x3a2c6bbbab84f1e9", + "0xe6035d114c35b71f34ad659efedcdc35f8bbafbc4a277158", + "0xf3b3195b1f8eae5d", + "0xcf0276c25b18b17724aa0a26f15339a0d086c7b4f35331eb", + "0x2aa7dd600319335e", + "0x6bc62ea5e0d9b6dbf28e350a069b251e23eb052a1a990806", + "0x148bfacdbbe140b3", + "0x1", + "0x0", + "0x9397a71926709c66bb9799237a8fe607c62d54f79c1897b2", + "0x2c161c12ce86d284", + "0x1", + "0xbc6ada61de4e6365a079fe79b186cbd64103d75c1244dd31", + "0x7f479c8102d8ebc4", + "0x529e7da7982fc711fd12b191a92e9730", + "0x662de34366a94d3844a4b0f6f7024d56", + "0xe5b1ff9a47f82e76127dc9cf67a23121", + "0x84e9dca21845d67e2936ed9fb1ad9829", + "0xbe76e2c9fffca836cebe784e2c33731e", + "0xa5263560b45ce175cf8e5437c916d177", + "0xc5ff1fbde6d5cff889bc6c7c6c5bcff1", + "0xf831e89f2fbd63d549b897ae3674c94b", + "0x2353f5fe28a29922c4ddada8351a4b54", + "0x39e33e0ed0efafb711935f328c239518", + "0xfca7a1300eb81aea5f6834105e535bee1da9d0af3d5c8271", + "0x976b5a44993e7a24", + "0xa33d997413cf7ab3880de7280f710c795c0fa814241648a3", + "0x9e43faefdafee8c9", + "0xaa0d2e9ff40587d082818e40f699b20177bd13bdba9e0250", + "0x5cbcebcdf9aa5ac8", + "0x9959dcf4078a5319f988599e64ac3729774bb8cf648ad0ec", + "0x1f232a2a0dbc5fb", + "0xcb4db876b50ad537bd514d29acd3ea51ef6c75eea35bce50", + "0xa166baee1c3075e1", + "0x85776d869f903a8af61476aa5f6acb3772024f8f30695090", + "0xb4ef7ecb3f7253f6", "0x5", - "0x50ebe2c708884096f6d2e981c5ecfef476fcd53820ec308d", - "0x9bfd5e84e89983fa", - "0xf2040d6a9caa6997c3223d28060243370f26afeda3c9ae", - "0xa0313c87a7be74ef", - "0x3f1902ad0e1ac741916906bfc8e233d84f89a553bcde5f35", - "0xed3ab3e718312a34", - "0x94f5f43343e5b319d24562788207f80eb560bf0dd3e36c16", - "0x9b19f68f6107a56a", - "0x31b66bbbbff43513bee62cd46b4727d88a875ee93b323b62", - "0x60c2b68726ef8812", + "0xbfebe4864bf1d18c3a42362f599c4c24b5027ef88bba89a7", + "0x7bdaea7510845e57", + "0x549003a1ba285d871c7c64865363e4d0e81401af41c9592", + "0x7bef05558e70e6e4", + "0x147fcc6d73b8cd19b6098f54dda49713ebc4b7ac54529aa1", + "0xf5f41428a29ca5ee", + "0x930cfb08256af013f3417a580c7c9f62b49fa4928f58bc60", + "0xfc5bc61742ae5b5b", + "0x5802320f7e05fb4f5aae8ba20fda5516609527bbe5a43d9c", + "0xcbc0f74400fd7373", "0x6", - "0x63752e7473e86113d699174db9308006d5b302db6fd7361e", - "0xf961242df5d06833", - "0x8e7b5a8a64d28358174742ec4696013b0d7d702104ba4318", - "0xa3340fecb38cb7e6", - "0x10034797f41d6aba131cddae4e7ff0c606abbb679fb90a6c", - "0xe4ba900517f5afd8", - "0x35211a93c4e2db8ba502e77257de88af69c6fc97685909cd", - "0x741ec79caadb09b4", - "0x6e2b2db44e56bf016ec5486bcda4b4910e95b1b323f6646b", - "0x6d509d5d0b26d1bd", + "0xb0f218b1f1710aa0313de8b82320e6c824f3d98a9bbf2adb", + "0x99411f8e9b5c9485", + "0xba29644619657154a229badd6b40d86f8abfa14ae0b65c60", + "0x6db7192b25c32d", + "0xe92dc33a0ac65fb30e616a82a4b0929ed76739daee001b65", + "0x75f8a39d6289bf11", + "0xe9cd53361e5f28ef970ce47d5ed150e05a03caa45fbf0d81", + "0xe38271363e96fbe3", + "0xf262783c802e4dc7876f40f8878b06f0ebc5a76e60f58c3", + "0x6bc8bbde3ec42306", "0x1", "0x0", "0x6", - "0x7caa41766f81a0e654be59cd43db373a96fd8bc6a0a79b88", - "0x1cc788154217b02b", - "0x6528e758b32e6a2b1cbb372ddb4ac4bfc1c4ce3e7469e18b", - "0x462024b128c0a060", - "0x483314e5cd2a12959bc75a92038ab6ebed333ed970a58b8f", - "0x7b48b45e47ac8c05", - "0x550807d3a7bc99330bdcb0d93130a895801e0d6b444c673", - "0x912d5f04022bcd48", - "0xc5779654e3592ea6fb91757cf43b36a130ef08e86b753b8e", - "0xcd92d1294509e918", - "0xb71820f90fc1e9cfb7b91e2c7ba8e5455d906cd3227c3f0e", - "0xda169f5d280fc167", + "0x64dfde3ab8c3293a5d89c99355728ab33a403433ae3540e0", + "0x66f0fadf7a95b047", + "0xc69c23b67f43d80a63eb0208a4a409f0252c491ce64d9268", + "0xf41a047376b9072f", + "0x4cf3900f4725ae2f2c753b7755ef157ab789b82dd520d4ba", + "0x9a6f3cc6e0b8649e", + "0xffb20c1e4923a17486ba8f9684883192cb2f82d20c69e5d9", + "0xb2bacc4d27203a9", + "0x11033a671c5824ecb84bf49fb6ac59795cde5a65a9a830f9", + "0x3b218762ee19da53", + "0x73380cfa5bccd3b9325bdd251b1a9d3841fc77c1fbe573b7", + "0xe53ff5de15c41f37", "0x9", - "0xb834452f2b5aa78ade2fa3201053802fd7e514060ee291b8", - "0xd1a7fd41b8b2d967", - "0xe55f79c8c1c19768a2f2d475ee1a089d5e6e10eb2117e4ec", - "0x766c6f78e8d9074d", - "0x7016f527accdeb1685ca0fc4257f956a2eb21fdb5e0f5fda", - "0x4119f023a7b7cee8", - "0xd75ce87ed61c61e559ad6b6e20463cd2ba23eb034a4689fd", - "0x26389976a1cdac20", - "0x91a99a788931bc621eac3ddee616f13273954c0a00770d78", - "0xa0685d78019c7414", - "0x10034797f41d6aba131cddae4e7ff0c606abbb679fb90a73", - "0xe4ba900517f5afd8", - "0x35211a93c4e2db8ba502e77257de88af69c6fc97685909cd", - "0x741ec79caadb09b4", - "0x6e2b2db44e56bf016ec5486bcda4b4910e95b1b323f6646b", - "0x6d509d5d0b26d1bd", - "0x1", - "0x0", - "0x2d36b5c29937c123614b3b0c021984d52095f6a7157ac51", - "0x11f972cbdbd7583e", - "0x1", - "0x4edae2b1d9269fde0409442e5ce720f107089acf4a4fe536", - "0x786c574ed364f102", - "0x327d69d1933158203d2748189b847df8", - "0x8cc1cc4539d7525852c8162c5ea1082f", - "0x216c76cb82049a675499c7937ed5cb0b", - "0x7acafc825f0106a312cdf8edf9df9f8", - "0xdc093a11c8bd0b26b07d9f4c31406f40", - "0x9c0a28b3262dcdc88a8b5642e7075db4", - "0xa0d5b73ba68d5a4c7ec8a124bf0f0375", - "0xfb41cfec6ee2fdc130d14ceb4c7ca480", - "0x5f4181716fcf171217574320090ebf5b", - "0x4523fdcec868c4034def29b0a0ac2a9f", - "0x424fa028e7bc09271c9ca7bc8a071b44334f15c4c25c20e1", - "0x6cacfa90b2fc51be", - "0x11db1453279d37c60119a9f8144b8629e9892f2fbdb29cab", - "0x920e11b1cbb11b0f", - "0x5cad48a0f112b35e134951c05d61c12f54d6d76253a6821e", - "0xd5d18e5977ca5186", - "0x6e7ec5d0649b40d65fc4bbb4417ff2d7fc9848e04c4fd1c7", - "0xd32739e1769dbbbe", - "0x503a42725c4c0dbff3d1e15e93482c52a2f358532557c35d", - "0x50e347a6eb3c0b4c", - "0xfec5dff707906e50df1260120d5df515bfc03c47c46451ff", - "0x4bb9c7f8a2286f3a", - "0x5", - "0x7b6841fef2c8746953b1a8e73bd699fc46fd104bcfd1e03e", - "0x9fab65ca64799d0b", - "0xf1d91b18580d72b4fbf817de837977dd0298c62076b86f97", - "0x985ccde18df3a960", - "0xee8c97e1ec15865583d5dd5fda378f44f9010b2c99638387", - "0x878e4bdaca4815a", - "0xcd9bf464f6e79083181a5ee8161634cc0c5a9cb55f7c4418", - "0x61de930080c4fe8e", - "0x29ec674cc02563f77988dd9eb209e94852c28a511418dab3", - "0xb8255051c99461e7", - "0x6", - "0x3b1f9902c1b5ac0838132a6af9ae8a021a87070f465d935", - "0xaefcc68c4bbec6b4", - "0xf2d645febde7a88a636fcb41d549dda9852dbccbcc55f8f4", - "0x6abe6b7cba9bfdd7", - "0x1aafeccce9be8237916b255e3dc67a73b5a63f6371207c74", - "0xf7d6d292d65305ac", - "0xbca82f3466088d7a98baef0f0f315e4a2c9cfa9a223acd6d", - "0x9819fb5681e8c473", - "0x89fb929f1cc030bbb83fb17dd57c33f9265a71942ed7ab8e", - "0xeb331927ca308558", - "0x1", - "0x0", - "0x6", - "0x820a03cb490c44e8fbfff73fc6e505317e7ea880a58b55ed", - "0x7a241a65dbae28b5", - "0x4160a9d0e449bea39e361717fa3aebe177d66bd1756ed447", - "0x945193db0949387", - "0x25009afc40fdc1c0b318aa9707d581b24913afe24eb7008d", - "0xf55d4bb3d5798740", - "0x61abe5fd6203e62ff8989a90938dd3e986010e0d7e3213c3", - "0xebbac449a2935dc3", - "0x4488cd2c055bdf4eefbaf74c9b9fec913e81acdf1e3f02ca", - "0x4e9b79211f15e83b", - "0x2b919c4df00976c1bcb2d0671b895fdf981f0f2f5db30348", - "0xaa5c540d96da17e1", - "0x9", - "0x19ddd2f134bf7b439888628ecd3c5c60eb9b131aaec8ffb7", - "0xc8e96dd612376eec", - "0xa3dbe9f731559bc8b80e8eccd5050fa2a44029949659d64e", - "0xeb34f0691a43f0e7", - "0xbacf799a64358f84f9ee0593b06d5929f78bbbbe17e37e12", - "0xc6dfc203dc4527b4", - "0x2c4b43fef657391ab09dbc1019f47ca759f34aabe4018674", - "0xd7b2a5e9d91c25de", - "0xb8b748588728fdac6d2da5b2abaf497991a6d7df143bc0bc", - "0xd9241b9341efa343", - "0x1aafeccce9be8237916b255e3dc67a73b5a63f6371207c7b", - "0xf7d6d292d65305ac", - "0xbca82f3466088d7a98baef0f0f315e4a2c9cfa9a223acd6d", - "0x9819fb5681e8c473", - "0x89fb929f1cc030bbb83fb17dd57c33f9265a71942ed7ab8e", - "0xeb331927ca308558", - "0x1", - "0x0", - "0xe446527104cabc991ebf734fde73fdf2a025af9bef6c33ef", - "0x7c1da203370fc799", - "0x1", - "0x4080e6df5b1514c3b404c68bcc13a5fff49e5e0fee3b955c", - "0x429b4a0a365f7d12" + "0xd69eacdd9a174a6158b15d08f5e64f7902aaf2ce423a3b41", + "0x30c7dce63f880fa7", + "0x1721bdeab1c619506f241c0deec5eb0ccb3d690c24fc86a0", + "0x30001b02e085640", + "0x604056964b6c9de564a9e99280d40257e3d294ff8200cb36", + "0x39cc794db1c4397d", + "0x158f5f2cc60b292d52982825bada1cea9b0e640f39f8a048", + "0xd1d2380a517d77c1", + "0x243478e09179b35bed6a674a268dab78f1e61a8d2b21d157", + "0xf2eada2ce282b858", + "0xe92dc33a0ac65fb30e616a82a4b0929ed76739daee001b6c", + "0x75f8a39d6289bf11", + "0xe9cd53361e5f28ef970ce47d5ed150e05a03caa45fbf0d81", + "0xe38271363e96fbe3", + "0xf262783c802e4dc7876f40f8878b06f0ebc5a76e60f58c3", + "0x6bc8bbde3ec42306", + "0x1", + "0x0", + "0x1defc207abe65e4365617815d20b26a083c7ab7d3013a7a1", + "0x196384478da9f679", + "0x0" ] diff --git a/packages/aggsig_checker/tests/data/args_test.json b/packages/aggsig_checker/tests/data/args_test.json index 63d0195..1ee956e 100644 --- a/packages/aggsig_checker/tests/data/args_test.json +++ b/packages/aggsig_checker/tests/data/args_test.json @@ -1,827 +1,420 @@ [ - [ - 10, - 73466424273365336232289042572161859879, - 240827934431831026497082951754757216557, - 219708869675051546323513829289970766371, - 108207801375283426659043375539904258580, - 119720559407282581219819808162984012912, - 57481883160894568219442214402998148293, - 33546502877615653951378532562497889830, - 327511259116924614563903469765154721046, - 291803706800697337477556074715795727098, - 266627214904770150423496422532533528762, - 2161834351159253785383419913887178986369719056277461560619, - 15300894792837906973, - 5744734236113313094580837352928053517450830400996218662212, - 4509322015484422266, - 3712540627570765391771167846333275722307254190804205235228, - 8386970273288373819, - 5883264846342349943182722616244096713718847379192676359289, - 12082091762658648386, - 2813976319671110220864006937126515448008668863892146862180, - 650456914075545896, - 1035386740793531336444880585532758278632998203708531725699, - 10540619411224756424, - 5, - 1254527875363918231119594253863676968762546316932925050803, - 13405125593138075354, - 4471962100418130448910671518759237700261242214651738212938, - 3045919301177410785, - 3054764007031739934713747786009604682706616607323726030361, - 17630582075044549090, - 1647300084155447876373079574157682211335147458213960245941, - 15779703843868493989, - 4599725110953010508635290991695725620788400226332486514362, - 9781818957441500180, - 6, - 588585802723473200744093653776890438460440714409646883386, - 4362478362438699222, - 2989375482867120675956429231893698344401671044179607192264, - 15410010259424986438, - 5085837296889961886236513300497440373501449900155728950973, - 1839637015531317068, - 5815215273630088591860447181675050403387030625179065821947, - 8392914540564585560, - 1378564828561117656905646587297907561561392767581411522855, - 16363391754670505783, - 1, - 0, - 6, - 5345133496818382435902307377873713702884171480294952496587, - 8607324834140087995, - 2776699614871143589661493132438117207602602500102306875026, - 5425016202298265129, - 3546886677227064949321719963132759188564356353974580841621, - 14995487883182171565, - 1862463894360730741094979733614773909438717033989967335742, - 12740136320548386513, - 1294397021388140591361822589898056305812732676585591717278, - 14249426774645940652, - 1475907300981891203615307651811504791450330233757605994465, - 4429724157882542806, - 9, - 4120100619064312405208655576438233069223085000871823151975, - 12090604463361342938, - 2094323173909802440187636353632889162504630975886621648525, - 15636351447427146989, - 4215352401296329384476645987443750533998372078769930092331, - 12877459108719219481, - 3632482305814008760752487386256244765555522423891785464458, - 7772647925262143300, - 85125812021582746624376496563718443126709528351483604368, - 826544026151665609, - 5085837296889961886236513300497440373501449900155728950980, - 1839637015531317068, - 5815215273630088591860447181675050403387030625179065821947, - 8392914540564585560, - 1378564828561117656905646587297907561561392767581411522855, - 16363391754670505783, - 1, - 0, - 1943894617729777783997192805819192952487446517392523446666, - 1603141248517474154, - 2, - 126478595282311247420899912621535214896481521438849234233, - 8143625948244475870, - 3716822317202635698202006329572165823040503153066206150569, - 697759711478384850, - 295644049090759279892949306075262404877, - 109072260641032505912208046221946699164, - 2296986584897293966761190069179899778, - 132413675643346377853148920098253777778, - 230047377004678370115288420738082102482, - 111580465661247686023490897847548147210, - 104945652677905851712347653390457332627, - 67795221295278938257762555824735950295, - 123186501411011339206983655917038724992, - 215959506323957726438235634375660113310, - 4529396343419335620472360977889654979097165530571740301923, - 4848279966364139340, - 165352445217295255616248813553253599872259513188816805244, - 4599170516498908744, - 4960275575077000795163590365369762436810054236401393710176, - 7030786499786280594, - 1840461336588630902328912436388479618594979394248789289228, - 13150512141677476105, - 4831652871249030153951338905130515121263267269574598901038, - 3216884968573986962, - 2534231455441102978635677115277874357735432037443051316971, - 6376688700022679669, - 5, - 4273776489491053615635835462478946427821861136765875670302, - 565298212232425577, - 4091890362873881028328743564175227087890332443260961709664, - 4980374285708022601, - 5467943423256343835688396905144571695556864927465481968340, - 13189463380697882282, - 4205075616623533222615021511379122582746335694663938444061, - 6565665472279645533, - 875359459379017331182654641458843066325432831555362218358, - 11341655596063788237, - 6, - 3632801429532986533601655581711809907436711359341974355611, - 5215957367309801886, - 3416510141461102592029402780840879349932693814664824914546, - 3665501775907908122, - 1942820569208608986856876467414533967309170601848450931427, - 7574821202836784833, - 4904161879183528952516177727935984738728916637580134281922, - 7544399869645902421, - 908289710418429069353041714960420464817099625703927792979, - 5846815153021132898, - 1, - 0, - 6, - 5985521208953910809818366266855139256894101316351049392911, - 14098684489700071651, - 4309896299618485852102192736423977407659635265412880822628, - 8991229077952604159, - 2845829410656404249691025261020582055530945921346525248511, - 15243616391394948928, - 2031756591975778678752602312193304945552630863498878502843, - 16980306023236872001, - 1185580973650377904203590385881866626937149204608233433208, - 15976120085536144105, - 5099041203938353610430363929223368575646337103299257849741, - 5976966138536379342, - 9, - 321203065184182679868431379152003687647557737541977405966, - 18064957497459061590, - 5084265784067675852698451196263156201221790369265965831407, - 7211768357645805241, - 1045540513686901380326556425486404938959483324019677430743, - 16130260272438390601, - 299324171497604618200163138017704581924995155631592156508, - 2686524233702463991, - 3497436379003425313664905362356156187550035750136874889049, - 7699719699636735177, - 1942820569208608986856876467414533967309170601848450931434, - 7574821202836784833, - 4904161879183528952516177727935984738728916637580134281922, - 7544399869645902421, - 908289710418429069353041714960420464817099625703927792979, - 5846815153021132898, - 1, - 0, - 48898155060646296357990532256663855601944107690360568105, - 7075774751243406917, - 1, - 3485313310097431827505869392181604800504545947732529168771, - 6956375366708522951, - 158305251186467434570410144148771210518, - 103593158060253528864097608331614480121, - 207831159399165917087940942866342251760, - 270217638845703617187233506984643164881, - 130079396358852318347864217288917599034, - 330159159143591317540331470487304252327, - 137910982845462921341922633294572677405, - 2955394481169835389987594988199963515, - 130006054592382956218821468881157641711, - 235794564483646019013902201947617553197, - 6023965838976125720640925331787558132822556942024035059110, - 7139170262417542514, - 2098993024096487659137898421117323946772918783372688348399, - 6572317486523625159, - 332310022524259271363144478009436968903961118343892430642, - 3588076776445059868, - 4046520761105281103597771365187805985255618126592473419378, - 15363710086250663768, - 4794713021085207655220302763514523217352465354535278403650, - 3718352922372393746, - 4290641356886030245102966743540857293659941585001345395000, - 1212382165023788913, - 5, - 4464150870248098301052846109701680946075151491803693374405, - 12971113907280297812, - 6211222803209294462348718995102836996163527640223553195250, - 18055333450789775084, - 4839181338727742061842536569693566823098391731387806277245, - 16494021942620313053, - 3408968238647700427234410437148544221003023505275045882241, - 13662869585543898589, - 1671981955887927973649829351634966536366295187343424379039, - 14002664886937572392, - 6, - 4496003049088428709400685721543609484544717899194546666634, - 14205123823298266985, - 2559579562795194652090927372879914705446272196627115766164, - 246034599505620861, - 5266922395960814921263416609531019615584681256173446571946, - 7274489294515774127, - 39023717080344944222686374841000310645018060884883199195, - 1386205101582131445, - 2671723998106414092340162896345235354193497834051231660779, - 17473542886164683804, - 1, - 0, - 6, - 1813672387215124143431153395046084329908438946343354696326, - 6328518933531817446, - 2930319645197143919850728642410004562247862815335318213032, - 14417589171561723731, - 1534429533832885665327953883267373390344287331244825081197, - 12030323960693002931, - 2159234177841481894101280505139784715429232252476480599271, - 4498612619858682505, - 3758050433142128509904621489079000178332020577362946684170, - 12161748871710685031, - 4674466787836303207107831035896346971224753603646681132926, - 1064013092710676958, - 9, - 86512666685597146625852934766934311301248072063128943323, - 7202146394540110820, - 5362853468793001036964912763744070105919194487461741337356, - 1722242196539346029, - 5482948094792300629664969150678805228580991570902543375688, - 14027936914191315662, - 4769169068650843318959490345430611659059844325393024029272, - 5461815460663635484, - 2430342343380051006964699377673562936493690701619403662567, - 11880370360401097796, - 5266922395960814921263416609531019615584681256173446571953, - 7274489294515774127, - 39023717080344944222686374841000310645018060884883199195, - 1386205101582131445, - 2671723998106414092340162896345235354193497834051231660779, - 17473542886164683804, - 1, - 0, - 2248459851081038909141541723811225855566386658593001471922, - 3887035965424831784, - 0, - 240783524095932250119587604836919048909, - 271952146031974419769397744457608081154, - 240637970516175994185805051383971401901, - 245831644095487656773849266271268958658, - 252454623496228547418665406045461468666, - 236318663202869183694533533045131693083, - 33429818257160907457324807158689166820, - 35973878480189820291589236636442591460, - 302625319403582696897583595225026510125, - 161693048658343469027748655496818516031, - 3906596913283184655102541702470498931577599260606017909150, - 16524295529073820702, - 1660313143761444335179853687681881600739419459548180696565, - 966683993223526624, - 4597051800866606522990005578653425733855134958466020074616, - 7389722982531274438, - 5836748242790934246235108795061995582613916421868139869178, - 15494272524221688002, - 1959367904283787018776906018888410141212347912558621453159, - 14369174345691371963, - 1435756145187615466639835335903409362953954838451093095574, - 13617313723612548169, - 5, - 5991873175076434112530075027070899665439421213960023937712, - 13835685127710380735, - 3024215321918200017022279275747258728218023987275804081600, - 2842728285941793785, - 4796290308439296741850699430172089419511467941879629787359, - 4713580415473072856, - 464089920326834820971698076088355940156772280040124154578, - 11569845296551101485, - 3535805391690150986805304616782584174591493887852009468629, - 9998390470972856686, - 6, - 6217789218774103109341596477081158940139905232714429168033, - 14924781014431580739, - 3326523830166890846462434097592930966238561067502078914701, - 6378274314213057939, - 1770838618802618956932107552291291096840161432866920807883, - 8941639822208819439, - 3393218990275257450972917805738115371470090075021018814722, - 7247778334745875156, - 5923743821623395178951476176528115591900926266761006483194, - 13404661488132976961, - 1, - 0, - 6, - 2894487575195302431392560621804171726016598327140127474594, - 14646123876194287078, - 5570802988304083485419086888118342584689750828286605659290, - 10708463850539366723, - 5711077459590348125787696061764899942000191754947963020433, - 6962178546440440060, - 445396866064906954344648400635208046192000792367830891522, - 7398418303544794618, - 143047741126390628218553463081944594836652102533803394850, - 4184880503199090799, - 562850641299027039410628590322974051429007590118649341003, - 4591848592614149715, - 9, - 5861914119098637182376438800322114084365203962238271940220, - 12239746732473307099, - 4454361605008193633729670413527517515362861139131038800765, - 7754432052072302344, - 6118768596231651934688963442831371261778774585617296047104, - 7251246534333081226, - 4861915209154182210808863424417300876021113980018307724322, - 10318997136524051987, - 853018433823891752272241370836075196828556823602357548152, - 7977184362596138593, - 1770838618802618956932107552291291096840161432866920807890, - 8941639822208819439, - 3393218990275257450972917805738115371470090075021018814722, - 7247778334745875156, - 5923743821623395178951476176528115591900926266761006483194, - 13404661488132976961, - 1, - 0, - 5489790301382870367163067801763631834928364271946249382245, - 1481710492781926624, - 0, - 234765387776910943335591397053607473710, - 298473416985356382082589152544606719431, - 213036016798943016290494867810257891256, - 187349123865926936039803771795687046202, - 223918240161062699104072590713379947712, - 14182152802970339777390926442771717869, - 66213071822954162683816127837422239793, - 161414175276420422435386042165771160658, - 285001818926388561607472680775096782730, - 153555353528487056020834605815135205888, - 2050436563985413367805635902575891443964659225075555698880, - 6423092882413117373, - 4560139341595408297643627339003297390748519544061633527960, - 11822096359564731011, - 4289987836912533428257139631008728281505655952951400530274, - 3701701866483158463, - 2409564288263065578104611205781967875410364770112379385742, - 3533538043298894679, - 4196954277243217283601086259543618223192116333752864372636, - 2037788627551151684, - 822555424170532270728805762178395597246400324609108910661, - 11633410889595710443, - 5, - 1399532788437590712398433138496750565793034396921566138629, - 9598583080065665085, - 5565476387198593068272651130959399234907983985738807813764, - 7063780359548728699, - 4928991587233847075000771373364661412833466793671436594017, - 10584836502329683211, - 5644315370345944537295218178287086623972062203282597028894, - 17507417104549844129, - 2378901612433929272273967681678118894163483131998933347647, - 12591867693725204508, - 6, - 6240604000476589634318833178342829996991721322142515918501, - 8119883767688391574, - 4850769650698928965064528362496348386891310362409108313260, - 6427265507911676717, - 5446584726443990782409357704486024816562018727064713447953, - 5014720263159676838, - 2444427267752386416019888945370602011099664708950673979516, - 1391917444118238837, - 2434590028786037768543998846861941820095541236907472777040, - 5802126595828773058, - 1, - 0, - 6, - 5310755881869731898708585964126363598603367735892604446205, - 1145836471557977672, - 2591865602244136235581158076895740879545446250190248472072, - 768548653706580358, - 4282388676874988166395243347586718000582399233901922568151, - 1516172641020322597, - 966080369869618485421431964582340940883648559783006695578, - 12084418707939247600, - 6101938853452849167697028161201873483556102358966232309733, - 4876299303788674130, - 872590064606190205135761458410276333663671425915240660539, - 15101867715323185978, - 9, - 6021617591016042857217095709153811482327916588226289256950, - 1498954152690086176, - 2569878877959098936272751421436106627727395314552175564886, - 8097370407962633792, - 463482672787850893850767392156175219319998422673082026568, - 16656297768408186256, - 4520289668583252254950687526314044826382307951405130236425, - 17863305876516063436, - 3061594646041151053365152020906941879253032687377904150398, - 10148663531293984894, - 5446584726443990782409357704486024816562018727064713447960, - 5014720263159676838, - 2444427267752386416019888945370602011099664708950673979516, - 1391917444118238837, - 2434590028786037768543998846861941820095541236907472777040, - 5802126595828773058, - 1, - 0, - 1040431616531673925250185691158841563130688144925417458775, - 8608762440773483131, - 0, - 138533927103152513131946950137275792542, - 105975985766112174527600159888512348733, - 261699091624997862282864848532379598411, - 243734615798971946413129829781252475067, - 219141447001868599200252299687536850884, - 162927504983063563727654813340573463099, - 279080511880739968846871815261312363975, - 297768660763530114918244713058833569040, - 239803559484424202254951212627575409202, - 137859590412966829392181912660050576257, - 3472365607630865469713220421443105586333750529246641300392, - 16802072338567748127, - 6184091552696037073145787909004804006502600769819278775085, - 10894847448402428792, - 2499895228373224580725911197166228115439300566000778636417, - 13587407748905303246, - 1981217069026452396262518550344686940275761851607233101951, - 627798549472992684, - 1154567482967093326422169644178039199963065780368349988408, - 3527116097062464667, - 5846124730244010083991338061184138339740427726026699736405, - 4984381252088369456, - 5, - 1026094613108112501344428205688042374839490851606593343022, - 12460209619410003435, - 1539066195236758830564641342469778227344822403324407961450, - 17056777586241742047, - 2651313259925870449327000768794316493902401511297354153708, - 137803837857838834, - 5589989549757554667381198078648552102515248850802970535898, - 18059167703047533288, - 3778530037570525705680173055619372346033333566720264261606, - 12229348488984159275, - 6, - 4342016167169639069489303409163701416661927318436668479908, - 5380090188295742939, - 1638647187661202752652895752349385175499137528705986734744, - 9962332526645570042, - 5366712010465755638356583741926276531421732349301606284243, - 16135828399187762812, - 4149859922658140453720039039165430935947935229253187109445, - 11441657190899832268, - 3426115980310382724157536917463379799112579116096951403640, - 17884938292636223512, - 1, - 0, - 6, - 2487720806726056125607991855865016198026496655771450435554, - 1639300469715180290, - 2693879323405590275536344184381037050916009505993812105106, - 11061260196021450028, - 1871690838081978775988354761920786142310313027150510019807, - 8408331121225173495, - 2406365071026071798105559028759128593274285208647234892290, - 7581692024400498788, - 3460152755540450822481491566703133024240566199753934380813, - 8504357706201057263, - 4313703556986374876046656286158139710791225179988188612415, - 17228033235602614928, - 9, - 5285706228640750431081966171315244252224069451209131244318, - 767143170651097345, - 5193428578241738504734480843238029812391607256490757535131, - 14396095465390335447, - 6181475396326885649317139077445603639440349222816841234859, - 2270334352057029993, - 2005526948843218426350629567283385887785696700905985554635, - 11684714229756362356, - 513052108287158766412496481762378104877769563558573286551, - 6029692059132273318, - 5366712010465755638356583741926276531421732349301606284250, - 16135828399187762812, - 4149859922658140453720039039165430935947935229253187109445, - 11441657190899832268, - 3426115980310382724157536917463379799112579116096951403640, - 17884938292636223512, - 1, - 0, - 2137954785167382834014086990453010598013465144049845032934, - 593474034887206938, - 0, - 299969640377600174277946539492911553073, - 73675333068626300651241086783645054428, - 162545745745771283403099792469489180026, - 275995664154259888195274333903872705932, - 114375378231114989159747728143826457294, - 113788387230116340346740438810239921378, - 264164842644035925289214453329161133010, - 307664387239919874752922609585013428796, - 200831404280689620942209130058522592961, - 178008470775910392889817475010301167514, - 1096097506472900139046642234572319979594533642154593547460, - 1904233037315876209, - 577333410875786418787977513491746661558142377820630964654, - 15534606508812149303, - 1712907740707484514574663082768128363266726988381779900962, - 11886240995020683356, - 20437718981980658614428010509196213603279321103844239022, - 12677606640531272739, - 433327242244470323095767269073992932231890639452492475325, - 10034105938417280441, - 5751444393388722539753907287756332879401409851391268598208, - 9750628875388431146, - 5, - 131155191698511404247798313563718801993851465896584681352, - 5670675471465843051, - 2213239650633018437360268093646499535927724895541247243321, - 7080077568445991023, - 5858350817580011550173107369658449939760290339786949802239, - 2269897844484928369, - 5007585727317774584301426243708671947275598808620691120150, - 3100982520662893256, - 4588967064834622159086416459107591350047195736484210709597, - 8460934522472186334, - 6, - 3793185114868247043457489348325210337274523362124832996452, - 4802897755126851057, - 1435983299281958513535142569262691949766472620792279527833, - 16096898804892289067, - 2104383529622435021638328300490889778589150148496078208956, - 13873724056240192519, - 1452104340567998177461738875604512591266614787502322435285, - 13980258229534832282, - 4852573957774112863917425810959292553399955051546097919192, - 7781335497035193121, - 1, - 0, - 6, - 2079249059058563870704758369232446933622058943007763567830, - 9629873657947335595, - 2415261620359703743619678098497926050258659025155680842637, - 3112923829519413423, - 4158595247093607375254064685439552168238518253275830074683, - 9171651459947627375, - 3582671954302924166257601678921003879980061370946706081917, - 13720378469605621387, - 3240084918432379221345644926161691537497749286544234452555, - 12411788173026997333, - 4668548398013212740604777548429824720138970195830246767725, - 10449316898950246827, - 9, - 1443888862531006248859267745445806696512241757021987891853, - 15173540212178405787, - 3774781359587028830910208561631177232262952901107691991573, - 1997827191988713774, - 2176481236583683623796719257020895617919340150565953278265, - 4882348025133589555, - 1403712028070872758018082631141465643936115985734495859020, - 10430984993322918953, - 4018492326767344741778176129939407743054380759307677302516, - 15226015063009986071, - 2104383529622435021638328300490889778589150148496078208963, - 13873724056240192519, - 1452104340567998177461738875604512591266614787502322435285, - 13980258229534832282, - 4852573957774112863917425810959292553399955051546097919192, - 7781335497035193121, - 1, - 0, - 5382123634050813323628457216303355937091840416269702489243, - 2803558040193969046, - 1, - 3678515791991415138568607060653512987644464157217568953298, - 7789231559437694432, - 26023585735109618651738002647561692437, - 81487577615047941124899434537520517830, - 267607738396658338683955452380111329761, - 332068590965246152796004807738135494527, - 260419945296166991493532937029854666032, - 63993250653432397835276371200872979028, - 271108459277355878349655108971161045768, - 300491727182976504387193034315212132483, - 283476348111848798855149127806093155007, - 206225307603955453644905607937273200284, - 2168273195817419544269650012366461474825962347190463484097, - 8400018934043327060, - 3869649900858517590933828022333541304669558166758849641074, - 14439066044157479853, - 6000086220381850059240347983672279052914934787524709050394, - 3132400053722509996, - 5174964961163985035589180752385321601910443625966443912528, - 17579888912983634049, - 3048300883649237374952433289220471023554382034559521208140, - 6270197863255118394, - 4556604778177647055893733846422188659798076100951576172663, - 5495150326771837551, - 5, - 35302315712877824749801486490800932720468741664147380502, - 2326548480601342466, - 162168356739725723466866213664537561995718334938445022162, - 3522338475681784197, - 4661938981323660249496946766356549364853445502269119061592, - 13161911154981513546, - 4164460332945607407973084770498001337893772465062551173916, - 15902709701719020991, - 3705539298117506151212161486128837491617656878836806133320, - 18272145861446005666, - 6, - 4464649014909966207360621566505817333753201520657637914913, - 6976226203965757843, - 3529689838248649131928955646393170037601435025955855736332, - 7426151839924005970, - 2163606912449987365840999160059894570407063523802272406561, - 1764586560665150300, - 2493213269786438479901757778122822438392623588573703566724, - 13845273895545163604, - 4163480472385033146569283836905952742894563664812957930221, - 10763579163463477869, - 1, - 0, - 6, - 4683417784585487923451410321232012057471687679068462051871, - 5643147872238579779, - 6273576162042884230867574462273488595852720571888162249189, - 6989334849951689597, - 2098706496989229185586212133373247383941355574943038356972, - 15045599938183415675, - 1512460838062962510137123096580009979779568169011536636382, - 9379398753460729081, - 5020319428596774320264935631437510182139138183172551025923, - 8511057855575068338, - 2040432169991337524472601953713843414992943978842324275357, - 14322684011803152754, - 9, - 6144136162823040396181193272710055671862988866755917289353, - 11940095280341201673, - 5876523661580501631995321255129191014902978848307476552182, - 15089574732048938561, - 2591044916376550033215415274003929160644733777687837820135, - 12352105924656052102, - 3085836697254993275165557743742575154194500307302934184658, - 11659423104234144994, - 1288544468010477338734995388696507157351603457343568556491, - 8984229689330144594, - 2163606912449987365840999160059894570407063523802272406568, - 1764586560665150300, - 2493213269786438479901757778122822438392623588573703566724, - 13845273895545163604, - 4163480472385033146569283836905952742894563664812957930221, - 10763579163463477869, - 1, - 0, - 5161747489192850281283535440301499349403292892907558692901, - 2531163164851008888, - 1, - 18819831176220087542722078949568312042170158085374474864, - 665760703867096702, - 78920137467774796256275447767474785206, - 222140994192683374361080883656675894181, - 301154558926652599776349710116410144866, - 136758170160646232394095861637294593943, - 96329079056143657009081378768831156248, - 17691599758305882669908715068644783116, - 1646631844569544533672197654420927767, - 16252946111567608773513125472821432442, - 91143786196827954243850513082061492314, - 131548378341894827514905657041678952857, - 261468153757648423901783330262572996163003103720140881565, - 5612793179411187479, - 5843416422437921580050092749560015059624568973859529298583, - 5080804860546920401, - 4085607210505528031413899121183326105645073778579901627558, - 5378547212355502951, - 2341718104424975695666257331255168731954772774614806018189, - 15661648716334219212, - 4451928846467412650201914842052972007211088421147817345422, - 11990638031523048793, - 3612226093549189322223377232399699493616977165493592914952, - 7996582664703302372, - 5, - 5704370728883923061425253362711677459392024254466602755927, - 17208334480469489152, - 4619211847509456447104402978681247236427502468669218324663, - 13198396734962612826, - 3922453173715419656328630836621889337388353854610300527326, - 14066988657123393902, - 4716318784156581363214989902896446150052435595447586530483, - 17942800144252822219, - 2245392459030538674855745972639277246978453038496543294799, - 1519325532677605764, - 6, - 391966575295074753868879533874682132954635473373956895060, - 17615934599659479315, - 5854778253312323765664534802331858213541693923035133364509, - 15102829207659102785, - 5045730337269520443459878862123992532685164051333791399183, - 8641103965404083751, - 304761203254277382477666467741162514475173726877357304677, - 5443113535492218776, - 75394827101882765489269622942305968403193208671474132930, - 16172016718464958927, - 1, - 0, - 6, - 5110409390519699853646325526621224673599938757625056496972, - 1184367043221399313, - 1436344359249099729997578750786013923983184186766223061654, - 10887326504450009531, - 1102008015011790493835197813370296224225591143743999546032, - 12952107210842518227, - 100212699161701577652955628130044146233917859175427430113, - 2269418428328117286, - 3306810666695029028540483396803748922097184587830706404949, - 14376038596583387700, - 2272216373965856235662547567261775059015363638874978061705, - 722339215198950393, - 9, - 2743766027065523277082156737122774930682448313643468075058, - 12631077755359045509, - 3320837360866181776637007077077008998177724794483201315552, - 13486084085065961421, - 3934603683953239285040204918829615648284371137029252134620, - 5147495536699931414, - 2525294998075016431212544808062819734280851561528342932618, - 377497126976355899, - 105440307638822360253632739720333576261690939297187591761, - 17626481794656505579, - 5045730337269520443459878862123992532685164051333791399190, - 8641103965404083751, - 304761203254277382477666467741162514475173726877357304677, - 5443113535492218776, - 75394827101882765489269622942305968403193208671474132930, - 16172016718464958927, - 1, - 0, - 2396314051410871566502540451572209858253284509558780918675, - 8932610787530430372, - 0, - 3082644785550465497744028406059217902, - 273307798611479189740725432903482487031, - 267672329327381986881984132197637277349, - 96180039823670806337384871172133081819, - 293509910513159887939632664617338825966, - 176216167377223567545804276977872405993, - 126174917827836194129521110366139059852, - 130759090544501134342008469063487296803, - 316581792480504347284468280254255346033, - 119837204949993812690772155343200046728, - 3894477159438261816569351767661215849474279214280862120254, - 8423997006275775161, - 4146596425513447094981496408401092986471683012487574772782, - 5338104689388228926, - 5362950303321882631903591809943236103355102301919177082981, - 4224822772986591583, - 853034945245174403340309409938029941291336937227802694987, - 9103196748554204464, - 811516871736057779699733545373306850297982532822398338306, - 14936828499076628829, - 5468652467864608255527807813675451599445400010702241097884, - 15988343974907887866, - 5, - 1307299738789417836038004243341574730610820835242691439648, - 208827479026062762, - 3279937009605428653519555007614677802787592822496529509250, - 17924597066281218464, - 5718052339742090587916671945014529291028472803314903363174, - 10037168568276127248, - 950550382321459347133584915734969133076782055624771475305, - 15683763087992018247, - 5275098699084392395702728118727816499243393764315058098081, - 14448604061328804367, - 6, - 5853963522891592882050403042296032523408297534490078349006, - 4726470092373147871, - 3362226735808553656390731090858233375411198725224997627067, - 13329599625234989978, - 3764241146808172360581459301509444954596855465217365131328, - 16267466514390230943, - 4040200611100440909807344421984523963772943207337734825823, - 13898433348391906561, - 6226669731174618905761760827121779505056741367133530640299, - 13768091716753138128, - 1, - 0, - 6, - 2148272555427490445844171010070168173473844106697131406767, - 3383579231637385887, - 5454856291194112450119843190444655646572256969547770139979, - 18253325092159652188, - 3428390933864682790267736602200508249485418411628725985693, - 17029300843970802875, - 1487572912698869226508278598296943465285773964763687665011, - 1198681215143427698, - 1147688694325992339722311445128848952962370190073729836886, - 15264226688532371485, - 3849089504817751236464192212851609392064679659603722471607, - 9467013657768582588, - 9, - 3315134247921065591338084756826229167243950074650636333939, - 14638546572902483487, - 4704281944499833303227749366384634379571324743204354692146, - 1073477008097171769, - 1241281086110483468727057417735449017768566478691187677350, - 3191801158474306909, - 2749859123661275431522866880149368189307122763555524406652, - 9781783162568735723, - 3009202706324120649872530918257024998091900183932945360253, - 17472521273959198801, - 3764241146808172360581459301509444954596855465217365131335, - 16267466514390230943, - 4040200611100440909807344421984523963772943207337734825823, - 13898433348391906561, - 6226669731174618905761760827121779505056741367133530640299, - 13768091716753138128, - 1, - 0, - 548749135498109877325981517501357908188799338263843928237, - 5371851261921346487, - 1, - 4158034403104072119098769128537738845430396858629520965087, - 5472281195934025138 - ] - ] \ No newline at end of file + [ + 5, + 272841199713499913608600362351664842157, + 5974164752598807262704863627483935597, + 183264550366324553275353502634949330100, + 176599498201085241555678347746737347263, + 318570571405960802472876527041654482016, + 169991420603615220416671448162060862246, + 76643187660815189585154848362393242724, + 144681066153793096073602881211205873186, + 94690032240542672758593017926841628783, + 113324274383003664591392542955780981300, + 1944511728881323177496429656480528172846156149098346486523, + 5493103501990586836, + 477503532089446619559868105471216976127333284092630289111, + 6536107326879981247, + 1240945734627982737097897784610366602582006431545786968004, + 3294884130201265071, + 4581008641207268746543234169001042803264372727667444667579, + 11513291994136512700, + 4853876807330489010562621904774833190480221728343151113647, + 15751730945538642062, + 4631530983175420272363125401210877558432118729829954050427, + 15075969698998376022, + 5, + 3905728652059488336653744873380948494277083286639972092766, + 11019317513661306941, + 4764440052009361446760587795367809427972710180499769556243, + 15249291182671483529, + 4210937610494043199223830928567749935546518098971844918566, + 7123864005546300217, + 4546478327773436271646895420560195979661067639844627315187, + 10811188884403724693, + 4601157799992564334065915755467447489384812019664325535264, + 16716309383887803408, + 6, + 5738166064444910097995528633010525667323508692611253613742, + 12648964446388530964, + 1471418421933602526421061722317312922520968434095371097247, + 11857475493048702986, + 828026508601970455160845151262252388552422646703989485595, + 16288817347519226034, + 4451941510974663600206607741769770911701095369391233411095, + 150107078115418873, + 4948377304896325088309495583290833245478556806694243131347, + 12454473843216623231, + 1, + 0, + 6, + 5920010804598411628217115216847170774109219240282880597098, + 8018916051516042957, + 4543919762445536203554511818967952527828372499178855084935, + 17989689679222702430, + 2951580373454111159180243943100342065621761112763452389772, + 2257963296802112100, + 3409122606211128030898652259900099391961229537651606802665, + 6115988955291018358, + 524043281472898964467057551828142272763242802850703324452, + 3487770191579020407, + 4525154580320905861284937770080528694941733781656053232117, + 12895594152997837883, + 9, + 2504552038794286102953963891827681174650428181511748091910, + 14755774829881510290, + 4022827218148536921111642633013524041544423594220743040925, + 9215352156502714439, + 5796185560213793186125916058835766719866958526953696208803, + 3341256990377272542, + 5516247964334151480262835709360589968719399056029714926927, + 13699713993196463080, + 4724550879274474325408583689314813560359088858656375293561, + 6805072027017307528, + 828026508601970455160845151262252388552422646703989485602, + 16288817347519226034, + 4451941510974663600206607741769770911701095369391233411095, + 150107078115418873, + 4948377304896325088309495583290833245478556806694243131347, + 12454473843216623231, + 1, + 0, + 321893972072458599176908555321918395453680237202933951483, + 5959837978678546991, + 1, + 2331527539929830148219016982842293253600421388409845691039, + 5129359606891778181, + 203012506810339285798775907050661461586, + 314192434156755164226019766670918928355, + 15408909098826275358154661013346738107, + 94539113296474670528150118389155093323, + 276910824945911322781356086764214560076, + 55597126105332930701784498017197707784, + 275941709911057014987471867086507284986, + 54545715231988435278636849133799119102, + 104186379493345005064019110647396772609, + 82248117671798076057156323894911132749, + 5764598211216986921361031084218949206741859528647938232973, + 15293202345002334899, + 6274150904922807504498072786932775355954030536612800375943, + 15034000884173378233, + 5954419359280705519201948709344850349165343722261581804790, + 5457513301297054914, + 4181171574608861504076617094410793204610175961994336864272, + 6342496951960729012, + 5497406103549024729675731798312544788708704439882425196419, + 7853292454165169477, + 3209903442697752415972885954906483641204924124315919534627, + 12441896996795707728, + 5, + 1531424274512047378666732564373329056550379050505587201666, + 8225841387221802075, + 2163850177102475288428144481947902308542987665019616842963, + 17118743061865463946, + 1100058675968893166470013649837807976326790738521543598903, + 5148465101159509779, + 3688592113642966591554220578294075061105247171790558538128, + 5988403065498647100, + 549301666424261643344835343045595750805986793991115738479, + 12190770191995531399, + 6, + 3205086695498852592915761487373743642108605545254872107344, + 3655686985658064461, + 1684330412936451292374822334738368360411729559663758381120, + 13817748391819038487, + 4702726225547925249294904661770787474402989334123551714401, + 2241453525474279752, + 4111154538153797826577474828876493836151359578303954566070, + 306934769251578685, + 5109436202497908781587195019611799152216805949599008658996, + 12838686699911331641, + 1, + 0, + 6, + 5452632327155037762224945198675235538143613326639533226238, + 17227551826572314110, + 5462642455772253153276169035304367605396888760145556022623, + 8841446027777502570, + 3468534613552414294795255051155738663259270690093927055699, + 10171405124599936564, + 2630780800033699752535880547085490890134003613820592949458, + 13224568312637890009, + 2269601666752938212913805571186909765094733082555103623036, + 4707797221562790373, + 4250430957178994851874205966269279898089023263788443885070, + 6901696712516492925, + 9, + 3604301662331925858902962141993206246453172483396296180993, + 7143064825896899614, + 5513211155168478282787966919960912106779751473203748996309, + 4490518374185511330, + 1533574901902072925885385516357180240309148116544689436327, + 15690174678319958269, + 597659785642033559779138173470868414656345371062381505354, + 5804230370419115261, + 6064875153488408944306240355982630345417593984558121270977, + 11454834922650601899, + 4702726225547925249294904661770787474402989334123551714408, + 2241453525474279752, + 4111154538153797826577474828876493836151359578303954566070, + 306934769251578685, + 5109436202497908781587195019611799152216805949599008658996, + 12838686699911331641, + 1, + 0, + 5592930598264867992979477804021698549919797917010284092152, + 3166003814508513237, + 0, + 75299845530773201012758958346234857372, + 239152850716747642642715584885233175353, + 170308311552680496616332925675078313798, + 228393903900954099960589098581366284500, + 220412457488579964859943104510915077964, + 170264092232640911604054124183731285573, + 158261635515798403432051283718708573879, + 300932585545131234482359393738778457118, + 13142775495868160956332690714535794653, + 44251694881036255930336607972928194037, + 303984669317683853095473947400347618174331928618637562412, + 10879951001859398854, + 6071703979550984830713217337815817689485311019116857787126, + 9353721963425104174, + 3645877446309074156044222656196912721302525744526787143951, + 18406741237942709422, + 3856091943748900497091031697064561672425529691431394278116, + 35367568280277495, + 2052526230674593208111568483972354310635731447082993616916, + 14772825936868264018, + 4463991541698676725133483974271102022285984796335711141357, + 17206829794417285886, + 5, + 2653449606376627055250395954058555119790259389157302430578, + 8090000088082363757, + 205849689015516511928416638243220509449695543638972433447, + 13577786665141652716, + 1612995920328244809969668834239442630560084247607518207907, + 4621496062221859230, + 3919936289031431895140095210675489299766118358096798112485, + 13585880315347770576, + 3267515657512877878590808461999383432399450583241199828451, + 6327745273873425488, + 6, + 13534650030084141088141330419283671120026704940302645087, + 10158264711759483032, + 1294932470170427673977721620812947917790171878361613099927, + 3461286135170697468, + 3787715697839289252137576912732760353940411432058394118304, + 13596445846906822125, + 1043280475806195434396329534180084724335509163520946118835, + 18203899900813925956, + 133267571360186027490225733173418483161290505006637805199, + 8573637958866626022, + 1, + 0, + 6, + 5860982145571957761664595592555284320227257608804999852830, + 905396929232737545, + 1881322316304189072798561106395078528157666529887226077583, + 1721050640710953872, + 4892225509740583954485653123910721910810773261737601278636, + 8513851673024549756, + 2561231008108324028271279137904944481082492131924747537386, + 17660209593442344129, + 1448751658167556056272023316571893083714357534449975980147, + 14369997092241720557, + 4304784844101128510840636327191439086133497016542811032256, + 9874771246457327563, + 9, + 94742550210588987616989312934985697840186934595003420428, + 15767620761187726376, + 2787425555806312954008261922482969008428847704071552154866, + 5782258872485330661, + 1405602943328301709619880696298656813173458246574095617909, + 2941400559799996799, + 1039396245286771418026658646472210325366235405152955741947, + 8458355501490103413, + 2227805469691729866409301753026877299919205413420962641139, + 8136519626108424774, + 3787715697839289252137576912732760353940411432058394118311, + 13596445846906822125, + 1043280475806195434396329534180084724335509163520946118835, + 18203899900813925956, + 133267571360186027490225733173418483161290505006637805199, + 8573637958866626022, + 1, + 0, + 3729806436610263194379718980584819962776868207086747300780, + 4997197346176090827, + 3, + 2830680299188074846711414966862454279182281677969839826124, + 1276764002832547350, + 3316016526565960209513397553584838747093357944659139827916, + 3282077039128276321, + 5095517175103201717750531720163224915637663108939752533958, + 6352913497641127149, + 81318162836197626653074387965839552123, + 154253878660627486562033694658920519121, + 16642826017214121844605356982209984366, + 56029716116868744810177841607563186609, + 328867130790331995890635805642215733732, + 177834690718078434715415964144802584422, + 82217985321796491730813516343161669031, + 117480520896762342908550289774363368977, + 74426791029981755325593029651609575042, + 236711091519507766517270032840138392114, + 4469374775862114800660090443687084177258534280287233384073, + 12592974564356411313, + 4528612143874440674218052270348598126221246940732459502613, + 9416079846570752988, + 368639726783710930935119420567049697031759591282563901231, + 3640489555985696457, + 832782920795509965618487381640155670094617926379322691566, + 15410206009196728215, + 5162480139466826773352901220431628695478105147356398656410, + 7369532546437345500, + 1627419493569253173367830940968672494871504228477955455764, + 12079226028925839944, + 5, + 3023217047316292652127771513219596042575352729815413116444, + 14094643334905737166, + 6072759313978647428300100580260772722944554156401685675837, + 2919446723210960783, + 4816852827657178973656300024051380678819097566074392967249, + 9839170108474445347, + 342619698484879237707953057619174951092936140723991296377, + 739253649550277735, + 1923242421481276099412408007008046318028282266943987069590, + 15160960482088161979, + 6, + 6124562373098019425289034098192461949952327505253771701378, + 16672144364545627129, + 1543336702882972084328079787678155991682525278770197528795, + 12274719232324545793, + 5639905754011973951926918450571954964185526011216282480977, + 17560407251209858653, + 5075861226383279106547340196766109204451032892212092547563, + 3073668675142234974, + 2642614451355337592096331616739149201450428989071515256838, + 1480552664048681139, + 1, + 0, + 6, + 1227152684206097469495675678509407583911960788743298405491, + 9501378105830426985, + 5821836316282405017230285016780374045489776800619853648220, + 10703691740945957251, + 40906394060669977717562490831632020916012661848281906485, + 5033791617436502839, + 974926690654255787440395239331640160601629373658023289223, + 5124544952002723917, + 4752962534611671534675722440606354926558914789950426076720, + 8408359364762029482, + 4346691894681744580746039239417870186626290376232041639414, + 3476869134285165051, + 9, + 5209326199366051394008502148101235153052159870017964641908, + 6024546109562080213, + 4526255184794123826460769090539425525675321506944528061761, + 12136058331433614088, + 1816729865763733080473692614757686252684549411755540099101, + 12242386316211700881, + 3992980545460888588105678936309227884495425083962802393489, + 1294336943122168721, + 1210332656210292937495032835229201153528461868882995756246, + 4191843806955762153, + 5639905754011973951926918450571954964185526011216282480984, + 17560407251209858653, + 5075861226383279106547340196766109204451032892212092547563, + 3073668675142234974, + 2642614451355337592096331616739149201450428989071515256838, + 1480552664048681139, + 1, + 0, + 3618954957658485482222021997256263169413654445250636715954, + 3176757454256394884, + 1, + 4619981076401009251702688058606632429880984013503736372529, + 9171471244075789252, + 109819627137414681773494280301436639024, + 135819518375734547789844238573278219606, + 305317431816565826465374194182916288801, + 176672375584234709770018696879479298089, + 253170610057096337336114266453327442718, + 219521009214567625035851546551146434935, + 263182594668815271978134908061683011569, + 329907683631807983879771015879515752779, + 46958929818612589066275129718245837652, + 76945905829879957335343235077102605592, + 6195077750466645966818376405135182020268051283080130626161, + 10910913772910443044, + 4002648423571208018753322297649222204775310371950316374179, + 11404234589510494409, + 4169650468197329856676263766999846848241375766632044823120, + 6682475217000487624, + 3760156258907424094620158453825321320680650291406315376876, + 140230212466755067, + 4984989667586711052831544241655573416959539037738481995344, + 11630188619568805345, + 3272589425041654962494849185697803589912197238933028425872, + 13037778857668793334, + 5, + 4705900402344978267822131454569992299959949552820732725671, + 8924703400097242711, + 129591739099333822897962835687250808600803793918465185170, + 8930362451119105764, + 502639241858549008159224278486248961888910838529436850849, + 17722812598369166830, + 3605672805927058895896593695838088463393476174556234824800, + 18184345723643779931, + 2157964013344728377233153290941122048000965482380752338332, + 14682006656674263923, + 6, + 4338695677664176848366592125450261721066705543671853296347, + 11043142458641519749, + 4564671266332371383975122606515034112230493017180583910496, + 30882091187421997, + 5717526563047063292094466211708869095095431016831495707493, + 8500724193020198673, + 5732809608546648147789876542083700637430309079347005164929, + 16393790071374281699, + 371453390948294106406225121675346961519357370760784992451, + 7766664120610595590, + 1, + 0, + 6, + 2473435167869194793013475377032508057930023894038135259360, + 7417704424020488263, + 4869901066761101596375043386958448887208413555417729045096, + 17589376188608481071, + 1886843252844883311059744161690279452470386076214039205050, + 11128180029127156894, + 6269635353620589473194108413548885439708457286915561481689, + 804926919760020393, + 417147981102231281718385318020318942686655206178647716089, + 4260835581440416339, + 2825160385218791279520084526960081974059798167754163712951, + 16519192292414988087, + 9, + 5262462802102514883222987185321166383057517027864014895937, + 3515020915652431783, + 567190187393195868646911129566906705101673897943914808992, + 216174638311953984, + 2360075529009358461646526942716085169053884451049147779894, + 4164837130012735869, + 528650789783948536045201957582501270362380987878417670216, + 15119208516004181953, + 887743267583749364982909035034796426763639168050634281303, + 17504042788042487896, + 5717526563047063292094466211708869095095431016831495707500, + 8500724193020198673, + 5732809608546648147789876542083700637430309079347005164929, + 16393790071374281699, + 371453390948294106406225121675346961519357370760784992451, + 7766664120610595590, + 1, + 0, + 734042178332659313073943811665113273222738238040534394785, + 1829451316496823929, + 0 + ] +] diff --git a/packages/aggsig_checker/tests/data/events.json b/packages/aggsig_checker/tests/data/events.json index 26affe2..c9fb986 100644 --- a/packages/aggsig_checker/tests/data/events.json +++ b/packages/aggsig_checker/tests/data/events.json @@ -1,167 +1,57 @@ [ { "nostr_event": { - "id": "8981832c6a8f721d23936cb70b435e36063e48172d3382a0408e4077510da6f0", - "pubkey": "npub1guvpqkg9rg375jcgcy4msz8ycynjmaz68zfv4ssf53phcknldnxqzl0rvq", - "created_at": 1738176748, + "id": "047e95103c1b636fc91c3fc6c3fdf36dcd434dbc99ebd146da8c368204a045ad", + "pubkey": "npub1snda8qpnytlurx93j3qptc66h7ya7al33nncjnwawtuqnv6acj6qvzemma", + "created_at": 1738684073, "kind": 1, "tags": [], "content": "Hello Nostr 0", - "sig": "5b4ad56da9310794b59350fd3ba8f6f3a6c98cd442a82632a2b115aa68d3c93216a8bdb8d7e278b353ce51d1cc238d6c8371f12ad24e1a415a1ed1a6fd776a9b" + "sig": "6cd88f4d07dfb164cf528e2f8c32ee2239a8f0e65aa9c2c43afa9fe731240c645541761ac5cc5a8860ee6f0e68444234473ca308c7660712a1d79053feed786f" } }, { "nostr_event": { - "id": "ffe0d5ff370b11a2ac5894264f26abc6f29a4537a48eecccfcdf73f920f71b1c", - "pubkey": "npub177yp324kmyss5e4srflre3sxzkkg654npge0gpqxmm4msz8rj4sskapank", - "created_at": 1738176748, + "id": "ec5f43005c1f8d5009d0153ace4bc7e398bac95e4c262728c47953336a3dbe52", + "pubkey": "npub1gu0eyflxecq96x76cvp6447mfv9e0fwl4mzs53pmu53djrk6t7asc2e0k9", + "created_at": 1738684073, "kind": 1, "tags": [], "content": "Hello Nostr 1", - "sig": "01ac99bea4ae96c06a8f81b73f694bfd1b9ac3963f6694ba39a28ea69fc18437d7a247bb090e92df0aba645c57f90c2e7a52f75892a5a46001c5853ba7686c48" + "sig": "29091f64b38b34b875fcb034401498fecf9870b11946026bbbc6b571b4c319fa3de06948f2e36ed7403071bea4d9644d4e61911a389b528a25ec15e908a32b01" } }, { "nostr_event": { - "id": "7a4d993a99c921205cc11cf24b020e9c97aa3a4af91fd5892c7cb087e913072b", - "pubkey": "npub193a29mgy8hc09px7ehq5htxs02qtamztwe4kwd8nmv7l0ezmg6nsqz5el5", - "created_at": 1738176748, + "id": "b3eb29e4d7721941e17a62d1abfe4b3938a63904ef3d56f92276e1929bf5879c", + "pubkey": "npub140f3phrnezx2dvpyvr8q3e3q6jqzqvqdzmazyzc8ugjfpljxvarq8jmtlt", + "created_at": 1738684073, "kind": 1, "tags": [], "content": "Hello Nostr 2", - "sig": "49f5a2c74ab4c71dabc74c8d8331ff227c8c8e8f310cc6812d5fef1f93b1c73d553646df9159d4d3ffd9b5d212262198110089e807842da1bdb10617aab2fd8c" + "sig": "e26581fd7f840e6583e30a89b9ebb41e77101510e0421f929153f84e8102b6b7214a91014d7d3fd260166586659b05f509e334dc658725bda53f75ffad6a17dd" } }, { "nostr_event": { - "id": "229561baf5f10d0e82ff7d757f7f2f905d0a2e40d3e7726e45d8fd456efb9d06", - "pubkey": "npub14lraed0dmjdqzxxxpktwefpwyft0ejeq0uashj5apc89f8vf4x3qze0dxq", - "created_at": 1738176748, + "id": "740c3765aa4a3f9d4d4fda18301115d13d2d4ef8bbe4cd970a86b00d59c22e7b", + "pubkey": "npub19gnwujf5yw7y3f4lvkdfcl53kyxg2j4vcgx2f20sx0wxqepakahql9adfp", + "created_at": 1738684073, "kind": 1, "tags": [], "content": "Hello Nostr 3", - "sig": "c71943eeb1446f48244c3bc8b627a14f8c46d768121b88db30fc2d9544d346f3cb079036648c8926b7eff022cfb3579304c2efecb0debd19919c84350b2293d9" + "sig": "5861ece0f7a0a497b505aa8eb6e55e113dda9ba538ef75d1455fffc4e12845a7b214e5dee9323a9304952c341cd7823237fe141be9e87e70eb4cb7868e4a5e82" } }, { "nostr_event": { - "id": "9a2c18fefc8a742a2990ecd705bc6aac48340d7863491b46acc3e5489e0f342b", - "pubkey": "npub1dhcggud3wnlhrtsyhrm20gqgw3tvnt4746w05zf42ml9kwe5p50sr4lp5u", - "created_at": 1738176748, + "id": "662de34366a94d3844a4b0f6f7024d56529e7da7982fc711fd12b191a92e9730", + "pubkey": "npub1sn5aegscght8u2fkak0mrtvc98jmrlu6gluzuasj0hyu7eazxyss7akvj7", + "created_at": 1738684073, "kind": 1, "tags": [], "content": "Hello Nostr 4", - "sig": "b4266055b8b091c282d97da148bd3505c0327f79ca0368371fdc3aaad1e6d2641fc3c3eb21b969d0d0e6bce00ce0174ea609af12bdeab9a7a2455ad111a752a6" - } - }, - { - "nostr_event": { - "id": "d2582568b0a4db47d5c991825e117599da53e092749c7e883dbec71c19fa66c9", - "pubkey": "npub1cwkezhmndhy5kwp2sqc8034dgw36x5ekcnv6dmxpg7edesn0yeksgn45gk", - "created_at": 1738176748, - "kind": 1, - "tags": [], - "content": "Hello Nostr 5", - "sig": "283a0ef16fe6f495214f4d34dbba89c5f94d49603d3219780904f46ec01275b891ec99f278c62ff03eeecd22c7b1af5e3683e2b40a6a6a2f749ec70de1ebf89f" - } - }, - { - "nostr_event": { - "id": "f065a90983d17084cb42db935ca4c2bdea311cabdfebba96c5787ce40a803ffa", - "pubkey": "npub16fjwt99eu2m5l85ajr20qw4m2p3yn32umuddxte90a95u7ttgatq5sktlr", - "created_at": 1738176748, - "kind": 1, - "tags": [], - "content": "Hello Nostr 6", - "sig": "7024d62c9e56c8309dde1b36a734beaee8389dc58078f4eb733939f9b56ec6e44b72e7b7ec99cd1668a3c1a734bf0cd4404fffdd68bad5f930122fc2f1419808" - } - }, - { - "nostr_event": { - "id": "29631ab5a4dc0e3d9d8acf688e2702187ff2c601c7fc983acea4c1038fe92d34", - "pubkey": "npub1ch6nej04xy7qxhq5exjgz7va3c3xz346hlhgljckw7n2vgndhmkqpcajau", - "created_at": 1738176748, - "kind": 1, - "tags": [], - "content": "Hello Nostr 7", - "sig": "292ad24d337fefac78de176a974331515011d20824c066431e96706856f146952aa3d663e3a8825199f4507a91ae3b246a988714b724d933857d8d08a71a2498" - } - }, - { - "nostr_event": { - "id": "9f91b43b22447f4a06e154b3015ec0a79c259c29d20180e8a71a2c96a83591ea", - "pubkey": "npub1f9lvyjxdw564qder7peqj3kagx00tmegrmjsj3e02l7hflqclu7sssa0z9", - "created_at": 1738176748, - "kind": 1, - "tags": [], - "content": "Hello Nostr 8", - "sig": "cb04e99d676a05e2bde4f4369748283eac8b8e637beca8ef57e94662f171622e4fcc789798d47515262d521da1a3e9fd89bae2e56e77907fb3555e6519c95b2d" - } - }, - { - "nostr_event": { - "id": "2d988d1a755c01ea3e0b519cd30451783f17f6fdd9ab128cc29aefd04a31bc74", - "pubkey": "npub1ayc4dgya4xarhand6evpucucnqvd4gujj6cj6kxvdwt876xwygpsxfjpzr", - "created_at": 1738176748, - "kind": 1, - "tags": [], - "content": "Hello Nostr 9", - "sig": "4aee9fd793969aa476a799df10c04441b6821fe5578ba229632a7444065e5206fd279dad20ce789fff5abe532daa7b06465f2e1ac955db6242ead17b87a27f0f" - } - }, - { - "nostr_event": { - "id": "3d43f05ba2c907f83c3975d262a683f0d7fdad8e0931f90f364b860690416e12", - "pubkey": "npub1u0q42lp74d3tfw58jmgynfmfmnwnqwylyjndfljhxy9npnakfpmqcvef2p", - "created_at": 1738176748, - "kind": 1, - "tags": [], - "content": "Hello Nostr 10", - "sig": "ced6ae6db41661604a859ad51c52046603940989c20b257d50f350631571f2ba7a279c211882ee667b426d10173546d10f6c48d26b13cffb03320670ac7fd1e2" - } - }, - { - "nostr_event": { - "id": "bb7e9daa43720852223affcbb13d59b97909e2c8e1c314d9b0f5046e8082f98c", - "pubkey": "npub106j6d9en53aqrdntdfkkl6lwzmr70njqrf5w3t3j65m67uy8f3hseha2e8", - "created_at": 1738176748, - "kind": 1, - "tags": [], - "content": "Hello Nostr 11", - "sig": "d4d6cb77ece8cfc92db96a8f8f704e896a9ebffa71b088646ee18ba3f7e3acfe858f32017baef6a81c002a383bd78a4be84f56fc7db7da719522a22ab141274d" - } - }, - { - "nostr_event": { - "id": "78d2f704911fee1bc8f323504ae36e3cef600cfceca4a4fdaf0ede85f03ea97c", - "pubkey": "npub13y8w6sc07fv0y6nftzxx4kvtgjrcz7qxwc323hdfjqe6f5jnug7sqaahx0", - "created_at": 1738176748, - "kind": 1, - "tags": [], - "content": "Hello Nostr 12", - "sig": "85a980b3a017016380f1a4c6dfd4f5e69bd7dbed800ee9eb42f34e1668b969c1eb061e700715cece327fd9b09f6efb8e6ff59689d3ab48fe53c199d36457c57a" - } - }, - { - "nostr_event": { - "id": "dbebc6119ece6e21268b9f2a989392b6cae65b19eee016e5282f2e0b25d1742d", - "pubkey": "npub1t28pygdlsjhx69unt9z49eat70aj5nve5g8rcyf3mcersk8amknstf2502", - "created_at": 1738176748, - "kind": 1, - "tags": [], - "content": "Hello Nostr 13", - "sig": "7944bbe6e58b3c72c74bbd406442a47732369cb1ea5b25b4ee059ed606280a8395d3137dfbd4ab7463760da826deb56bac530c225c15462534e75f5f80557766" - } - }, - { - "nostr_event": { - "id": "8cc1cc4539d7525852c8162c5ea1082f327d69d1933158203d2748189b847df8", - "pubkey": "npub1q7k2ljp97qgx5vfvm78dl80elqskcaktsgzf5e65n8rexlk4ev9s2tevg9", - "created_at": 1738176748, - "kind": 1, - "tags": [], - "content": "Hello Nostr 14", - "sig": "fb41cfec6ee2fdc130d14ceb4c7ca480a0d5b73ba68d5a4c7ec8a124bf0f03754523fdcec868c4034def29b0a0ac2a9f5f4181716fcf171217574320090ebf5b" + "sig": "f831e89f2fbd63d549b897ae3674c94bc5ff1fbde6d5cff889bc6c7c6c5bcff139e33e0ed0efafb711935f328c2395182353f5fe28a29922c4ddada8351a4b54" } } ] diff --git a/bench.sh b/scripts/bench.sh similarity index 100% rename from bench.sh rename to scripts/bench.sh diff --git a/scripts/usage.sh b/scripts/usage.sh new file mode 100755 index 0000000..271ef65 --- /dev/null +++ b/scripts/usage.sh @@ -0,0 +1,75 @@ +#!/bin/bash + +# Change to the package directory +cd packages/aggsig_checker || exit 1 + +# Arrays to store results +declare -a events_arr +declare -a range_check_arr +declare -a bitwise_arr +declare -a range_check96_arr +declare -a mul_mod_arr +declare -a add_mod_arr +declare -a poseidon_arr +declare -a total_steps_arr + +# Build once +scarb build --target-kinds lib + +# Run analysis +row=0 +for n in $(seq 5 5 65); do + export NUM_EVENTS=$n + + make events + make args + + # Capture execute output + raw_output=$(make run 2>&1) + echo "$raw_output" >&2 + + # Extract total steps + total_steps=$(echo "$raw_output" | grep -o "steps: [0-9]*" | awk '{print $2}') + + # Extract builtin usage using grep and sed + builtins_line=$(echo "$raw_output" | grep "builtins:") + + range_check=$(echo "$builtins_line" | grep -o "range_check: [0-9]*" | awk '{print $2}') + bitwise=$(echo "$builtins_line" | grep -o "bitwise: [0-9]*" | awk '{print $2}') + range_check96=$(echo "$builtins_line" | grep -o "range_check96: [0-9]*" | awk '{print $2}') + mul_mod=$(echo "$builtins_line" | grep -o "mul_mod: [0-9]*" | awk '{print $2}') + add_mod=$(echo "$builtins_line" | grep -o "add_mod: [0-9]*" | awk '{print $2}') + poseidon=$(echo "$builtins_line" | grep -o "poseidon: [0-9]*" | awk '{print $2}') + + # Store results + events_arr[$row]=$n + range_check_arr[$row]=$range_check + bitwise_arr[$row]=$bitwise + range_check96_arr[$row]=$range_check96 + mul_mod_arr[$row]=$mul_mod + add_mod_arr[$row]=$add_mod + poseidon_arr[$row]=$poseidon + total_steps_arr[$row]=$total_steps + + ((row++)) +done + +# Print the table +printf "\n\n" # Add some space after the logs +printf "+------------+----------------+----------------+--------------------+----------------+---------------+-----------------+----------------+\n" +printf "| num events | range_check | bitwise | range_check96 | mul_mod | add_mod | poseidon | cairo steps |\n" +printf "+------------+----------------+----------------+--------------------+----------------+---------------+-----------------+----------------+\n" + +for ((i=0; i<${#events_arr[@]}; i++)); do + printf "| %10d | %14d | %14d | %18d | %14d | %13d | %15d | %14d |\n" \ + "${events_arr[$i]}" \ + "${range_check_arr[$i]}" \ + "${bitwise_arr[$i]}" \ + "${range_check96_arr[$i]}" \ + "${mul_mod_arr[$i]}" \ + "${add_mod_arr[$i]}" \ + "${poseidon_arr[$i]}" \ + "${total_steps_arr[$i]}" +done + +printf "+------------+----------------+----------------+--------------------+----------------+---------------+-----------------+----------------+\n" \ No newline at end of file diff --git a/scripts/verify_nostr_event_batch_signatures.sh b/scripts/verify_nostr_event_batch_signatures.sh deleted file mode 100755 index e373c6b..0000000 --- a/scripts/verify_nostr_event_batch_signatures.sh +++ /dev/null @@ -1,79 +0,0 @@ -#!/bin/bash - -# Function to convert decimal to hexadecimal using bc -to_hex() { - echo "\"0x$(echo "obase=16; $1" | bc)\"" -} - -# Generate Nostr event data -cd apps/aggsig_checker_cli -echo "Generating Nostr event data" -npm run start -cd ../.. - -# Read the JSON file and extract Cairo parameters -JSON_FILE="apps/aggsig_checker_cli/out/nostr_events_batch.json" - -# Function to extract values from JSON using jq -extract_values() { - local index=$1 - local param=$2 - jq -r ".[$index].cairoParams.$param.low, .[$index].cairoParams.$param.high" "$JSON_FILE" -} - -# Build the command arguments -EVENTS_ARRAY="" -NUM_EVENTS=$(jq length "$JSON_FILE") - -for ((i=0; i target/execute/args.json - -echo "Producing execution trace..." -scarb --profile proving execute --print-program-output --arguments-file target/execute/args.json - -echo "Generating proof and verifying it..." -make prove -cd ../..