From f1e8e54031b5c784d13492b3f08092c7ab0e3e90 Mon Sep 17 00:00:00 2001
From: Michael Zaikin <michael.zaikin@starkware.co>
Date: Wed, 29 Jan 2025 16:07:17 +0000
Subject: [PATCH 1/4] Use prover parameters file

---
 packages/aggsig_checker/Makefile           |  4 +++-
 packages/aggsig_checker/prover_params.json | 11 +++++++++++
 packages/aggsig_checker/src/nip01.cairo    |  2 --
 3 files changed, 14 insertions(+), 3 deletions(-)
 create mode 100644 packages/aggsig_checker/prover_params.json

diff --git a/packages/aggsig_checker/Makefile b/packages/aggsig_checker/Makefile
index dae2c51..237528b 100644
--- a/packages/aggsig_checker/Makefile
+++ b/packages/aggsig_checker/Makefile
@@ -1,7 +1,8 @@
 install-stwo:
 	RUSTFLAGS="-C target-cpu=native -C opt-level=3" \
 		cargo install \
-		--git https://github.com/starkware-libs/stwo-cairo \
+		--git https://github.com/m-kus/stwo-cairo \
+		--rev 83367f182e453ac41aa4be4107e9a684c534fa79 \
 		adapted_stwo
 
 install-requirements:
@@ -29,6 +30,7 @@ prove:
 	adapted_stwo \
 		--priv_json target/execute/aggsig_checker/air_private_input.json \
 		--pub_json target/execute/aggsig_checker/air_public_input.json \
+		--params_json prover_params.json \
 		--proof_path target/proof.json \
 		--verify
 
diff --git a/packages/aggsig_checker/prover_params.json b/packages/aggsig_checker/prover_params.json
new file mode 100644
index 0000000..2b7d6a7
--- /dev/null
+++ b/packages/aggsig_checker/prover_params.json
@@ -0,0 +1,11 @@
+{
+    "channel_hash": "blake2s",
+    "pcs_config": {
+        "pow_bits": 26,
+        "fri_config": {
+            "log_last_layer_degree_bound": 0,
+            "log_blowup_factor": 1,
+            "n_queries": 70
+        }
+    }
+}
\ No newline at end of file
diff --git a/packages/aggsig_checker/src/nip01.cairo b/packages/aggsig_checker/src/nip01.cairo
index d840b23..cd21712 100644
--- a/packages/aggsig_checker/src/nip01.cairo
+++ b/packages/aggsig_checker/src/nip01.cairo
@@ -16,8 +16,6 @@ const TWO_POW_96: u128 = 0x1000000000000000000000000;
 /// * `u256` - `sha256(tag) || sha256(tag) || bytes(rx) || bytes(px) || m` as u256
 ///    where tag = "BIP0340/challenge".
 pub fn hash_challenge(rx: u256, px: u256, m: u256) -> u256 {
-    println!("m: {m}");
-
     let mut input: Array<u32> = array![
         // sha256(tag)
         0x7bb52d7a,

From 0380908ea7105f13f23ed5dd4bcb750d2866cb00 Mon Sep 17 00:00:00 2001
From: Michael Zaikin <michael.zaikin@starkware.co>
Date: Thu, 30 Jan 2025 13:17:13 +0000
Subject: [PATCH 2/4] Benchmark script

---
 bench.sh                                      |   84 ++
 packages/aggsig_checker/Makefile              |   25 +-
 packages/aggsig_checker/README.md             |   12 +-
 packages/aggsig_checker/Scarb.toml            |    5 +-
 packages/aggsig_checker/tests/data/args.json  | 1257 +++++++++++++++++
 .../aggsig_checker/tests/data/events.json     |  167 +++
 .../tests/data/sample_args.json               |  827 -----------
 .../tests/data/sample_events.json             |  112 --
 .../tests/data/sample_exec_args.json          |  826 -----------
 9 files changed, 1538 insertions(+), 1777 deletions(-)
 create mode 100755 bench.sh
 create mode 100644 packages/aggsig_checker/tests/data/args.json
 create mode 100644 packages/aggsig_checker/tests/data/events.json
 delete mode 100644 packages/aggsig_checker/tests/data/sample_args.json
 delete mode 100644 packages/aggsig_checker/tests/data/sample_events.json
 delete mode 100644 packages/aggsig_checker/tests/data/sample_exec_args.json

diff --git a/bench.sh b/bench.sh
new file mode 100755
index 0000000..03ad66c
--- /dev/null
+++ b/bench.sh
@@ -0,0 +1,84 @@
+#!/bin/bash
+
+# Change to the package directory
+cd packages/aggsig_checker || exit 1
+
+# Create temporary directory
+TMP_DIR=$(mktemp -d)
+trap 'rm -rf "$TMP_DIR"' EXIT
+
+# Build once
+make build
+
+# Arrays to store results
+declare -a events_arr
+declare -a prover_times
+declare -a verifier_times
+declare -a proof_sizes
+declare -a total_steps
+
+# Run benchmarks
+row=0
+for n in $(seq 5 5 50); do
+    export NUM_EVENTS=$n
+    export OUTPUT_DIR=$TMP_DIR
+
+    make events
+    make args
+    make execute
+    
+    # Capture prove output and print to stderr before processing
+    raw_output=$(make prove 2>&1)
+    echo "$raw_output" >&2
+    
+    # Remove ANSI color codes
+    prove_output=$(echo "$raw_output" | sed 's/\x1b\[[0-9;]*m//g')
+    
+    # Check if verification was successful
+    if ! echo "$prove_output" | grep -q "Proof verified successfully"; then
+        # If verification failed, store dashes and exit
+        events_arr[$row]=$n
+        prover_times[$row]="-"
+        verifier_times[$row]="-"
+        proof_sizes[$row]="-"
+        total_steps[$row]="-"
+        break
+    fi
+    
+    # Extract timings using grep and sed
+    prover_time=$(echo "$prove_output" | grep "run:prove_cairo: stwo_cairo_prover::cairo_air: close" | sed -E 's/.*time.busy=([0-9.]+[ms]+).*/\1/')
+    verifier_time=$(echo "$prove_output" | grep "run:verify_cairo: stwo_cairo_prover::cairo_air: close" | sed -E 's/.*time.busy=([0-9.]+[ms]+).*/\1/')
+    
+    # Extract total steps
+    steps=$(echo "$prove_output" | grep "Total steps:" | sed -E 's/.*Total steps: ([0-9]+).*/\1/')
+    
+    # Get proof size in MB (using bc for floating point arithmetic)
+    size_bytes=$(stat -f %z "target/proof.json")
+    proof_size=$(echo "scale=2; $size_bytes / 1048576" | bc)
+    
+    # Store results
+    events_arr[$row]=$n
+    prover_times[$row]=$prover_time
+    verifier_times[$row]=$verifier_time
+    proof_sizes[$row]="${proof_size}MB"
+    total_steps[$row]=$steps
+    
+    ((row++))
+done
+
+# Print the complete table at the end
+printf "\n\n"  # Add some space after the logs
+printf "+------------+-------------+---------------+-------------+-------------+\n"
+printf "| num events | prover time | verifier time | proof size  | total steps |\n"
+printf "+------------+-------------+---------------+-------------+-------------+\n"
+
+for ((i=0; i<${#events_arr[@]}; i++)); do
+    printf "| %10d | %11s | %13s | %11s | %11s |\n" \
+        "${events_arr[$i]}" \
+        "${prover_times[$i]}" \
+        "${verifier_times[$i]}" \
+        "${proof_sizes[$i]}" \
+        "${total_steps[$i]}"
+done
+
+printf "+------------+-------------+---------------+-------------+-------------+\n" 
\ No newline at end of file
diff --git a/packages/aggsig_checker/Makefile b/packages/aggsig_checker/Makefile
index 237528b..14e2225 100644
--- a/packages/aggsig_checker/Makefile
+++ b/packages/aggsig_checker/Makefile
@@ -1,8 +1,11 @@
+NUM_EVENTS ?= 10
+OUTPUT_DIR ?= tests/data
+
 install-stwo:
 	RUSTFLAGS="-C target-cpu=native -C opt-level=3" \
 		cargo install \
 		--git https://github.com/m-kus/stwo-cairo \
-		--rev 83367f182e453ac41aa4be4107e9a684c534fa79 \
+		--rev df1d4984c2d10ba06aca54a38892bb20cedfd5de \
 		adapted_stwo
 
 install-requirements:
@@ -12,19 +15,21 @@ install:
 	$(MAKE) install-stwo
 	$(MAKE) install-requirements
 
+build:
+	scarb --profile proving build --target-kinds executable
+
 events:
-	python scripts/gen_events.py 10 > tests/data/sample_events.json
+	python scripts/gen_events.py $(NUM_EVENTS) > $(OUTPUT_DIR)/events.json
 
 args:
-	python scripts/gen_args.py --file tests/data/sample_events.json --target cairo-run > tests/data/sample_args.json
-	python scripts/gen_args.py --file tests/data/sample_events.json --target execute > tests/data/sample_exec_args.json
+	python scripts/gen_args.py --file $(OUTPUT_DIR)/events.json --target execute > $(OUTPUT_DIR)/args.json
 
 execute:
 	rm -rf target/execute \
-		&& scarb --profile proving execute --arguments-file tests/data/sample_exec_args.json --print-program-output
-
-run:
-	scarb cairo-run --arguments-file tests/data/sample_args.json --print-resource-usage
+		&& scarb --profile proving execute \
+		--no-build \
+		--arguments-file $(OUTPUT_DIR)/args.json \
+		--print-program-output
 
 prove:
 	adapted_stwo \
@@ -37,5 +42,9 @@ prove:
 e2e:
 	$(MAKE) events
 	$(MAKE) args
+	$(MAKE) build
 	$(MAKE) execute
 	$(MAKE) prove
+
+burn:
+	scarb burn --arguments-file tests/data/args.json --no-build --output-file target/graph.svg --open-in-browser
diff --git a/packages/aggsig_checker/README.md b/packages/aggsig_checker/README.md
index 427af92..2977d27 100644
--- a/packages/aggsig_checker/README.md
+++ b/packages/aggsig_checker/README.md
@@ -17,6 +17,12 @@ make install
 ```
 ## Usage
 
+Build the Cairo program:
+
+```sh
+make build
+```
+
 Generate execution trace for a sample arguments file:
 
 ```sh
@@ -61,13 +67,13 @@ In order to run the Cairo program either in "dev" or in "prove" mode, you need t
 Use the `gen_args.py` script to generate arguments for the program.
 
 ```sh
-python scripts/gen_args.py --file tests/data/sample_events.json --target cairo-run
+python scripts/gen_args.py --file tests/data/sample_events.json --target execute
 ```
 
 The following command will generate arguments for the program given the events file and print them to the stdout.  
-Note that the `cairo-run` target is used for the "dev" mode, while the `execute` target is used for the "prove" mode.
+Note that the `cairo-run` target is used for the backwards compatibility with `scarb cairo-run`, while the `execute` target is used for the `scarb execute` command.
 
-The following command will generate arguments for the program given the events file and save them to `tests/data/sample_args.json` and `tests/data/sample_exec_args.json` respectively:
+The following command will generate arguments for the program given the events file and save them to `tests/data/args.json`:
 
 ```sh
 make args
diff --git a/packages/aggsig_checker/Scarb.toml b/packages/aggsig_checker/Scarb.toml
index 68f0f72..eb965d9 100644
--- a/packages/aggsig_checker/Scarb.toml
+++ b/packages/aggsig_checker/Scarb.toml
@@ -10,7 +10,10 @@ cairo_execute = "2.10.0-rc.1"
 [executable]
 
 [lib]
-casm = true
+
+[profile.profiling]
+unstable-add-statements-functions-debug-info = true
+unstable-add-statements-code-locations-debug-info = true
 
 [profile.proving]
 inherits = "release"
diff --git a/packages/aggsig_checker/tests/data/args.json b/packages/aggsig_checker/tests/data/args.json
new file mode 100644
index 0000000..6ba8478
--- /dev/null
+++ b/packages/aggsig_checker/tests/data/args.json
@@ -0,0 +1,1257 @@
+[
+  "0x4e6",
+  "0xf",
+  "0x63e48172d3382a0408e4077510da6f0",
+  "0x8981832c6a8f721d23936cb70b435e36",
+  "0x272df45a3892cac209a4437c5a7f6ccc",
+  "0x47181059051a23ea4b08c12bb808e4c1",
+  "0xb86d1d459c08fb70abe82b6d0a2a17f4",
+  "0xad13b1245a09085848348d0d0b8f1f72",
+  "0xa6c98cd442a82632a2b115aa68d3c932",
+  "0x5b4ad56da9310794b59350fd3ba8f6f3",
+  "0x8371f12ad24e1a415a1ed1a6fd776a9b",
+  "0x16a8bdb8d7e278b353ce51d1cc238d6c",
+  "0xc2ba6809e9c82b867ffbbcfb10c25084d93cc32a01a79a16",
+  "0x2930f5e724943f3",
+  "0x9da855a711bc775837f80f3e60dcf13080d1ea1816d8e649",
+  "0xdfef6d3ba4efe5c3",
+  "0x191f099a4ff273296437480cb915fbdd70ce70d81495ce49",
+  "0xf51e275141f7b462",
+  "0xd5ea92ba61965fa1567a0dbfec38e907b38140e074f4772c",
+  "0x3ef60c5dd8ed60e8",
+  "0xf256dd81a6631a8091ce41e73ac5b7a005bf4596535885db",
+  "0xd2d248ee649fc4ce",
+  "0xebd7726e8a9bf126323fe9d1aeed229fb6cd28786d8d88cf",
+  "0xca51a6a02a8538c2",
+  "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",
+  "0x5",
+  "0xa06a7db2b5a61a2b4811660b67673814fb1a4719e05de440",
+  "0x319ea6ec256e10b1",
+  "0x4240e8d6e5055ab93b27c30aca1a7074d8e2d90889818c7e",
+  "0x1831190dcb4c920",
+  "0xc8154b6eb61619bf67009862716306480bace78df9e0483b",
+  "0x1948d6ea333a9a01",
+  "0x98c0a0b393682cb4794eba1063e67a92189244acd6d7156d",
+  "0xdb26820e05c75732",
+  "0x49248f7ae1724abccef08725c48a482fd6f924a670dc3dd6",
+  "0xe915b1745a4de089",
+  "0x6",
+  "0x45c009a562f2cd6912af81a623aed273856d5d56c1d44ee5",
+  "0x1b13fb3510d41290",
+  "0x33a9c6ffe83a9f0d6d82ecaadf134bb4b7a1830379441179",
+  "0x18afc865e8de56a9",
+  "0xbeb581d51a21e009033cd9738117a7df12f74de87b283cc",
+  "0xc6c6d0ee67ee9a34",
+  "0xfbe3815ff54eae1ee8a0e5f2f45539895fb6b7297804ff1c",
+  "0x6cdf6822c028bb42",
+  "0x75ab497cd2b6d79920b70e4277efb547e4453a2feb3f0f4c",
+  "0xe7cce2549901962f",
+  "0x1",
+  "0x0",
+  "0x6",
+  "0x39f844b930be4a1033a3c2f2ef6f72d45d9d14b236ef6562",
+  "0x1cc295a6780db535",
+  "0x415149c95d8ebdf619e5e6556434c1ddede12162d555219e",
+  "0x41f42bd01ee34ab4",
+  "0x873509dd46a63e0531532e90223bc4ec33410d0cfa60b98f",
+  "0x7bc6e8a8f7be8621",
+  "0x9f731acc752e31aadd5bbf5ce5777984dc00d366e4825cdd",
+  "0x24e57a43e6c1ebd3",
+  "0xbbec54c82334198c3abb0ebe103e0133af267f5570bebc94",
+  "0x3278d6a8b2a1c55",
+  "0x1d2c7c575ceed17de8bceefb29737b282537b83c78f70ff5",
+  "0x5adba5dee99a5de",
+  "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",
+  "0x5",
+  "0x1ce2819814d48a521e09d4e6e3c200d734b40b4fdba7d1d1",
+  "0x19b96200e4008541",
+  "0xce84d498b2865ea3babeaf0846e3a06d8ff4f497072f0f83",
+  "0xccbdc1e18bc98e74",
+  "0x553abe82ffcf7b7a88d61a4b625be94ba9d57a82d3922339",
+  "0x1015b64f5fba7bc7",
+  "0x4c56d4b1f14047485e1fbcea28838ede66041f1e8f867c83",
+  "0x999c4d22ee76afc7",
+  "0x7c22feaef591294fb2bba7daeff13653dc30745bffec4254",
+  "0x317791d0ef5adea8",
+  "0x6",
+  "0xea8b16e93881dc720ae4f965a38245b0a9688c1722f7ab52",
+  "0x7b4850e12629357d",
+  "0xc96c68a972e81ca51e0d2be7a5ef7bdb85bb17972fd749cd",
+  "0xc7b7d2ffc1975442",
+  "0x3d74fafe13ceab34f66a6b8d59927f9b305a65c549a742f2",
+  "0x589b3dfa65bd8db7",
+  "0x690f71c96983667b4d32b4871189135103d0c24bddc1241",
+  "0x2f674f8df07aaa23",
+  "0x53d6896b2b087de9bd8366c02dafcc92d4a5713db3dcd8f4",
+  "0x184c2bec50c1468c",
+  "0x1",
+  "0x0",
+  "0x6",
+  "0xba2b4690edeb9b881ba577040208fb88f29cda55e8caef60",
+  "0xaaa1b9e4e2857a3c",
+  "0x9bc62bc0899c00d415f05bd2f9fa8429be573578ef3853b3",
+  "0x823c5eda0cb235e6",
+  "0x9936193e71a0996e1e955d36627ff1bef8d6a7b0ed34b3c9",
+  "0xd9ccb2d37e57308c",
+  "0xc6e202a152d6e42bbf070c279ed071ce2a63ad35d2065bb1",
+  "0xd1146dd34e1cacb4",
+  "0x926be2b2baf7183dacf97f9634b33b9e59a6417c90797fb1",
+  "0x93bd85150835fd6f",
+  "0x46c1b211dec51a6c085649a3eeff74ec55e421bd876c2a8a",
+  "0x6fbf3a6a0fdf8f9a",
+  "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",
+  "0x5",
+  "0xb0a97c622c871ada568fcc85bb5c7f57aaea8b4ca0322c10",
+  "0xc8e54102d68d9922",
+  "0xa13d4cb391cfb7ad3dedac1ae3bdd32eda114d714e6d6b67",
+  "0x61047c9ed4f7a641",
+  "0x435b539e9048efea99e1133d1a3b556d685a52d0305973a6",
+  "0x6980bef68e9b99da",
+  "0x445b6c3a92d41c331ed75f84bc800605ad52e18c919b6fdd",
+  "0xfdf2f392d9404472",
+  "0x25bf0d7cc28feba7c4732f02015ec745ec321d0cc8eab77d",
+  "0x79b487e95b4805ec",
+  "0x6",
+  "0x401c077da5c87dc5e221c3718523fe10f75cb9e33469f9ad",
+  "0x9463ad7cfeacf03f",
+  "0x37f481b48b72446132c1cc0bb4a290e94e0a7706d9258499",
+  "0xba0263b4d3ea3d37",
+  "0xbc92c975214c49eeb78496bc4977fa5fd7b7380508072a4a",
+  "0xfda4aa85a15e9b26",
+  "0xabe3d140bf266f528c2648710f461493fe13c83fcfa4311a",
+  "0xbccb169e57ab631c",
+  "0x51c415a5030b4abf31eefe1c14106ae04fbf26849401d626",
+  "0x96b59daa7bd8d1be",
+  "0x1",
+  "0x0",
+  "0x6",
+  "0x96bf0ea025fd223874eb8b915710ef7b5d5ff17a8e0946d4",
+  "0xd24278335bf494a0",
+  "0x745f4f4491c24bdff5e5f940d800758c436f4c9806dc88b6",
+  "0xa504711640f6a5cb",
+  "0x5eb2945e398c48a638d3d75f1901cbddd827f4891c9c454c",
+  "0x10848be1a0e722dc",
+  "0x5663db1a757c43a387f1ad8a5112c3324193aa67f4c7d6b6",
+  "0xe7e67380d2c9b45d",
+  "0x711aefde471fa270788513377d5c759c45f886cfce5a4944",
+  "0x292ba32929c11641",
+  "0x17c04dc8fbd1e9e6f515451548edde64d7e89a94cdd2377",
+  "0xf6e844cbcdb06ada",
+  "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",
+  "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",
+  "0x5",
+  "0x714daa100a500e5a53708649fd240ee4cc64284c0a8ed568",
+  "0x8671d49af0462d68",
+  "0x16d9e68fff5fc5392e711a24d47eff725e9619714c4e322b",
+  "0x5ce11a66657ba55d",
+  "0x1b60db5403eba9b41f2fc7922741dfaae8b49e3d44acc18f",
+  "0x35d4f4868a032be1",
+  "0x19a41746ce5f4f8afba3293caae84919ee69c94345cbb71e",
+  "0xe7c25a8353941a12",
+  "0x136633cd4d6e57557072a2db4a5c02deb0486602eee98dab",
+  "0x925d35773d191fc2",
+  "0x6",
+  "0xd596ab4ea207197545c076006cf5903afd471a8471be0b8e",
+  "0xf1bacf8e881563c",
+  "0x9107400004381aebbdbfa74064bcf0028c32213f73411f0c",
+  "0x5eebe3f8e1d280fd",
+  "0x9fed579520ced6bd12578926fc4b3203116079ecb599461e",
+  "0xfe9d7a4d11aee899",
+  "0x98af07d559a556c23db354cfceb29b8c5ea8902ab80ffeed",
+  "0x61eaa6efed0d2022",
+  "0x5967afe31925afaf3860edaeea7912a585991ed94a830346",
+  "0x592857a76a5fee0a",
+  "0x1",
+  "0x0",
+  "0x6",
+  "0x35d3ab309378c2c5cd208937bde79c55afd55c8d00abc518",
+  "0x86e5b89bbd54aa3b",
+  "0x971ed4d824f228dcba505c5a848a5f300d24028ddc718621",
+  "0xefd87419ce7200aa",
+  "0x566a29a34e5cd7b52696ba2ab1301889c2bba998e1edde40",
+  "0xb0a4b5320e5bb0a2",
+  "0x3f2fbdf9c2dad1da6e033929366b8937028266f30e0d418d",
+  "0x4256371ff0bbb2c6",
+  "0x37f4bebabeef3a655b7fb492b72563d46bc2e90b7a83f16f",
+  "0xe17095378eead7be",
+  "0xf3bfb0edd721e1e60b99f06d13ce5a8dfe513a0cbd7f5b95",
+  "0xef18777bd79e88ab",
+  "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",
+  "0x5",
+  "0x50ebe2c708884096f6d2e981c5ecfef476fcd53820ec308d",
+  "0x9bfd5e84e89983fa",
+  "0xf2040d6a9caa6997c3223d28060243370f26afeda3c9ae",
+  "0xa0313c87a7be74ef",
+  "0x3f1902ad0e1ac741916906bfc8e233d84f89a553bcde5f35",
+  "0xed3ab3e718312a34",
+  "0x94f5f43343e5b319d24562788207f80eb560bf0dd3e36c16",
+  "0x9b19f68f6107a56a",
+  "0x31b66bbbbff43513bee62cd46b4727d88a875ee93b323b62",
+  "0x60c2b68726ef8812",
+  "0x6",
+  "0x63752e7473e86113d699174db9308006d5b302db6fd7361e",
+  "0xf961242df5d06833",
+  "0x8e7b5a8a64d28358174742ec4696013b0d7d702104ba4318",
+  "0xa3340fecb38cb7e6",
+  "0x10034797f41d6aba131cddae4e7ff0c606abbb679fb90a6c",
+  "0xe4ba900517f5afd8",
+  "0x35211a93c4e2db8ba502e77257de88af69c6fc97685909cd",
+  "0x741ec79caadb09b4",
+  "0x6e2b2db44e56bf016ec5486bcda4b4910e95b1b323f6646b",
+  "0x6d509d5d0b26d1bd",
+  "0x1",
+  "0x0",
+  "0x6",
+  "0x7caa41766f81a0e654be59cd43db373a96fd8bc6a0a79b88",
+  "0x1cc788154217b02b",
+  "0x6528e758b32e6a2b1cbb372ddb4ac4bfc1c4ce3e7469e18b",
+  "0x462024b128c0a060",
+  "0x483314e5cd2a12959bc75a92038ab6ebed333ed970a58b8f",
+  "0x7b48b45e47ac8c05",
+  "0x550807d3a7bc99330bdcb0d93130a895801e0d6b444c673",
+  "0x912d5f04022bcd48",
+  "0xc5779654e3592ea6fb91757cf43b36a130ef08e86b753b8e",
+  "0xcd92d1294509e918",
+  "0xb71820f90fc1e9cfb7b91e2c7ba8e5455d906cd3227c3f0e",
+  "0xda169f5d280fc167",
+  "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"
+]
diff --git a/packages/aggsig_checker/tests/data/events.json b/packages/aggsig_checker/tests/data/events.json
new file mode 100644
index 0000000..26affe2
--- /dev/null
+++ b/packages/aggsig_checker/tests/data/events.json
@@ -0,0 +1,167 @@
+[
+  {
+    "nostr_event": {
+      "id": "8981832c6a8f721d23936cb70b435e36063e48172d3382a0408e4077510da6f0",
+      "pubkey": "npub1guvpqkg9rg375jcgcy4msz8ycynjmaz68zfv4ssf53phcknldnxqzl0rvq",
+      "created_at": 1738176748,
+      "kind": 1,
+      "tags": [],
+      "content": "Hello Nostr 0",
+      "sig": "5b4ad56da9310794b59350fd3ba8f6f3a6c98cd442a82632a2b115aa68d3c93216a8bdb8d7e278b353ce51d1cc238d6c8371f12ad24e1a415a1ed1a6fd776a9b"
+    }
+  },
+  {
+    "nostr_event": {
+      "id": "ffe0d5ff370b11a2ac5894264f26abc6f29a4537a48eecccfcdf73f920f71b1c",
+      "pubkey": "npub177yp324kmyss5e4srflre3sxzkkg654npge0gpqxmm4msz8rj4sskapank",
+      "created_at": 1738176748,
+      "kind": 1,
+      "tags": [],
+      "content": "Hello Nostr 1",
+      "sig": "01ac99bea4ae96c06a8f81b73f694bfd1b9ac3963f6694ba39a28ea69fc18437d7a247bb090e92df0aba645c57f90c2e7a52f75892a5a46001c5853ba7686c48"
+    }
+  },
+  {
+    "nostr_event": {
+      "id": "7a4d993a99c921205cc11cf24b020e9c97aa3a4af91fd5892c7cb087e913072b",
+      "pubkey": "npub193a29mgy8hc09px7ehq5htxs02qtamztwe4kwd8nmv7l0ezmg6nsqz5el5",
+      "created_at": 1738176748,
+      "kind": 1,
+      "tags": [],
+      "content": "Hello Nostr 2",
+      "sig": "49f5a2c74ab4c71dabc74c8d8331ff227c8c8e8f310cc6812d5fef1f93b1c73d553646df9159d4d3ffd9b5d212262198110089e807842da1bdb10617aab2fd8c"
+    }
+  },
+  {
+    "nostr_event": {
+      "id": "229561baf5f10d0e82ff7d757f7f2f905d0a2e40d3e7726e45d8fd456efb9d06",
+      "pubkey": "npub14lraed0dmjdqzxxxpktwefpwyft0ejeq0uashj5apc89f8vf4x3qze0dxq",
+      "created_at": 1738176748,
+      "kind": 1,
+      "tags": [],
+      "content": "Hello Nostr 3",
+      "sig": "c71943eeb1446f48244c3bc8b627a14f8c46d768121b88db30fc2d9544d346f3cb079036648c8926b7eff022cfb3579304c2efecb0debd19919c84350b2293d9"
+    }
+  },
+  {
+    "nostr_event": {
+      "id": "9a2c18fefc8a742a2990ecd705bc6aac48340d7863491b46acc3e5489e0f342b",
+      "pubkey": "npub1dhcggud3wnlhrtsyhrm20gqgw3tvnt4746w05zf42ml9kwe5p50sr4lp5u",
+      "created_at": 1738176748,
+      "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"
+    }
+  }
+]
diff --git a/packages/aggsig_checker/tests/data/sample_args.json b/packages/aggsig_checker/tests/data/sample_args.json
deleted file mode 100644
index f0fbf6a..0000000
--- a/packages/aggsig_checker/tests/data/sample_args.json
+++ /dev/null
@@ -1,827 +0,0 @@
-[
-  [
-    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
-  ]
-]
diff --git a/packages/aggsig_checker/tests/data/sample_events.json b/packages/aggsig_checker/tests/data/sample_events.json
deleted file mode 100644
index bd86c24..0000000
--- a/packages/aggsig_checker/tests/data/sample_events.json
+++ /dev/null
@@ -1,112 +0,0 @@
-[
-  {
-    "nostr_event": {
-      "id": "b52dc5e5bc025f973b5a67eac030992d37451e5f4a4af5bd65c198b3f84c4127",
-      "pubkey": "npub1295ppqj3da9ekr7srdqylxezzjj55cuazgm8dmdjrcxzwh6jzg3s8xpuny",
-      "created_at": 1738079801,
-      "kind": 1,
-      "tags": [],
-      "content": "Hello Nostr 0",
-      "sig": "f6645fc5648f1285f431ba5302064d16193cd24a085605b063fb9db9ed36e626c89688a1b38b8601a98ab634d02528badb875984b2c4e93ff774f21dce88a2fa"
-    }
-  },
-  {
-    "nostr_event": {
-      "id": "520e8da43878c25e0d86790649debd9cde6af90305e7a54f87531dd98ef2c90d",
-      "pubkey": "npub1vwwlysyp55kh702rq5asq2ftwgqm5c3w42gku3rqrvyngytam7pq92k65e",
-      "created_at": 1738079801,
-      "kind": 1,
-      "tags": [],
-      "content": "Hello Nostr 1",
-      "sig": "3300e27a401ce6016a2b528bae6e95d74ef3cc2920c7739b25f91d7bf82b6393a27849ba6594ce5a57cb4dd12def8d9e5cacdb7039c0c47e7cd2a4d06fa5e780"
-    }
-  },
-  {
-    "nostr_event": {
-      "id": "4def510712e72155cf7419fec57fe6f977187b7c08ff0b2b4f5c6e98491e8516",
-      "pubkey": "npub1ed9qvvhmahkf2a4rcgavfen66xw9456gj68llxt2se84h2tq3ncqgu42c3",
-      "created_at": 1738079801,
-      "kind": 1,
-      "tags": [],
-      "content": "Hello Nostr 2",
-      "sig": "02393032a6b5e6dfc71e520ef5716b7b67c0b06c473c1c62b572dfd390c7e91db16461995b30b29f48dd0c0a2f5ceb2d61ce415e8f31b0bb083e64b47e1855ef"
-    }
-  },
-  {
-    "nostr_event": {
-      "id": "cc981401877f08fcf07825326c602f02b525384c7d6df01673736e03d8987acd",
-      "pubkey": "npub1hrch849s4a08zrs3mfjae283c26sjtl5qlha7s2427guxac32zkslutpur",
-      "created_at": 1738079801,
-      "kind": 1,
-      "tags": [],
-      "content": "Hello Nostr 3",
-      "sig": "1b105125799f988626812ada0ffa80e41926594b1146bf5a8828de216c8ff5e479a4f2cbb8970f73af77a8a5bcaee03fe3ab843685272fdc91231983a6b5bd2d"
-    }
-  },
-  {
-    "nostr_event": {
-      "id": "e08be39e850658d36336497a88950dc7b09e2b450f6245269bfc89660eb8722e",
-      "pubkey": "npub13nezpaclkflulx247y7qngmu82sy205saqmvwwz8y7238yt6d7uq93httw",
-      "created_at": 1738079801,
-      "kind": 1,
-      "tags": [],
-      "content": "Hello Nostr 4",
-      "sig": "796f3d46c8f33861e5e7c4a45dc8cc5231d02c7c6958d751e06c0efcd3e840317385af72f9eaa47ec4503bcef06bfa00d6695a8de2f12aa5fc866a119288cf8a"
-    }
-  },
-  {
-    "nostr_event": {
-      "id": "4fba3b8102a39c424faf2bbaead3723d6838a9f236f22db4b2b408dc6f20bc9e",
-      "pubkey": "npub1kawegknj9futr7lah3xakesgh0zwz6t9p9u227g6mtc3a08gle9stl6jn3",
-      "created_at": 1738079801,
-      "kind": 1,
-      "tags": [],
-      "content": "Hello Nostr 5",
-      "sig": "e00428746bff89b08bd8708e2d849510d1f4f393b5630149b53e40bc6cc1adc767b6ca9495cb6746585e5c245db60381b4687c5029626bc7bb6f36c31bf78a32"
-    }
-  },
-  {
-    "nostr_event": {
-      "id": "376d5a5efddaa3b735b0cfc7240075dce1ac0d20c0e6bc6a88a0e655d0d31a31",
-      "pubkey": "npub1e73df4mr33j6kcpumysejkw933ayjtqzp7eusnnewdm5lnm4t4aqcaqtlj",
-      "created_at": 1738079801,
-      "kind": 1,
-      "tags": [],
-      "content": "Hello Nostr 6",
-      "sig": "e77601705b8cd5633672a6f59818923cc6bc4c4e54f3cdb4db9a86032c909bd285eb2f364aed48cb0e21b8a42706879a9716b8b60af195c17b1c2cc6509086c1"
-    }
-  },
-  {
-    "nostr_event": {
-      "id": "3d4defc3dde5bdef04d1214cd930d2c61393f5d666ca35152c7a75e371c26515",
-      "pubkey": "npub1l8fpt9p6n5d25dclw0kzhtfl0ly4xcpvzalr4zmh3cxzzhtzt8ssal7q25",
-      "created_at": 1738079801,
-      "kind": 1,
-      "tags": [],
-      "content": "Hello Nostr 7",
-      "sig": "e21099feabfbc83692a03740b2da1083cbf5970993e6cb47fcc9c646324dcb089b258cad60006d99f7565535caa17e9cd5438f0948be6649f1bfa508020cdabf"
-    }
-  },
-  {
-    "nostr_event": {
-      "id": "a71ecc9c3fa265a44c174a3b2d1123a53b5f773153f31b3b0cb817ecda024bb6",
-      "pubkey": "npub1vm325h5v0292csrjjrta6uqhjl3fqsslwcz4mwz7un7llznuhp3qwcmsz6",
-      "created_at": 1738079801,
-      "kind": 1,
-      "tags": [],
-      "content": "Hello Nostr 8",
-      "sig": "0c3a341c8365d809ff39967ff8add07a013d2137ccb05b92823bd4609ad0351762f74bcd1b3600a1ef6fc6a7fd42e9994491a79af3b655f79d44b1d31445105a"
-    }
-  },
-  {
-    "nostr_event": {
-      "id": "cd9d2ad6aa72e1fe381c9b0688a430f70251b21f4bcb07db0188b20e55b9b3ee",
-      "pubkey": "npub1fpde59rce6wscywfwu6l027jm0y4l5xqgrrevyqgjtgdf0y4c6jsxm4z39",
-      "created_at": 1738079801,
-      "kind": 1,
-      "tags": [],
-      "content": "Hello Nostr 9",
-      "sig": "625f48e8866541e1cf7203bf3d1595235eec67be4d3979a211acfb1e81220e8c5a27ce5f9dba9a2968ae555b66e3ce88ee2b6f764857139fd428cd1b70083171"
-    }
-  }
-]
diff --git a/packages/aggsig_checker/tests/data/sample_exec_args.json b/packages/aggsig_checker/tests/data/sample_exec_args.json
deleted file mode 100644
index c243ce8..0000000
--- a/packages/aggsig_checker/tests/data/sample_exec_args.json
+++ /dev/null
@@ -1,826 +0,0 @@
-[
-  "0x337",
-  "0xa",
-  "0x37451e5f4a4af5bd65c198b3f84c4127",
-  "0xb52dc5e5bc025f973b5a67eac030992d",
-  "0xa54a639d123676edb21e0c275f521223",
-  "0x51681082516f4b9b0fd01b404f9b2214",
-  "0x5a11574de1ab253884e8569aa84cac70",
-  "0x2b3e9ba6255255e9cfcbcd9c38d01cc5",
-  "0x193cd24a085605b063fb9db9ed36e626",
-  "0xf6645fc5648f1285f431ba5302064d16",
-  "0xdb875984b2c4e93ff774f21dce88a2fa",
-  "0xc89688a1b38b8601a98ab634d02528ba",
-  "0x582a9a901683305679c6d0a9b48a0d0e75447c6dad006d2b",
-  "0xd457b2bf18ba421d",
-  "0xea49d2ef65792cc98aeff066afc51d4db0c0e0ba9ca66d44",
-  "0x3e94547b4ecc287a",
-  "0x9768bb92fbccff523374706c6a8c67f19808938364feec1c",
-  "0x74648107091d463b",
-  "0xeff026a95376e83ae1f11a2a9748739d44d682c2dfa01c79",
-  "0xa7ac3671c8f12142",
-  "0x72c3489a2d30df819880d0f73f2e6ffa3ad5ecb2ac9fb864",
-  "0x906e31df92b7128",
-  "0x2a39f124600817af865495b9c9e1df8ef6ecedfa0b22d583",
-  "0x9247cd8206a380c8",
-  "0x5",
-  "0x3329e1d546044ac7222af78b2ddcaa5a708313c1aa6f4fb3",
-  "0xba0892b41c7e16da",
-  "0xb661767ca356b4eeda3035b4a1c7299a103eb9cd0fb44a4a",
-  "0x2a454777692f84e1",
-  "0x7c95396f8709a8e4c01083b914fcf06b1633b6714ca02619",
-  "0xf4ac68fc866651e2",
-  "0x432e9d882825791daeac5167cb9d4849f04d0db01a0c62b5",
-  "0xdafcc50aa2a5c8a5",
-  "0xbb975ef3e2d813fc0ba2ee5f9080c88da2df7c1591edb6ba",
-  "0x87c00083f77b8414",
-  "0x6",
-  "0x18011f5cc4f95e09fef3795309f07d22df8b712f91d6023a",
-  "0x3c8aa2f50d7c88d6",
-  "0x79ea894bbafe8cf6dc8c55ad6a6e6049e87bde2c9eb882c8",
-  "0xd5db5aaf6a26c546",
-  "0xcf6a9e72ca3908f2737f93ea4ba93e07e0240eaaec71f6bd",
-  "0x1987b41e6a67674c",
-  "0xed29ae2a3a020c9d7750f1cdc314762bd0100cda1372aafb",
-  "0x74799f4e9c901c58",
-  "0x3838e36ca25cc3ba125d8d7a61b67b3eabcc75d6cb16b927",
-  "0xe316721a99b0ff37",
-  "0x1",
-  "0x0",
-  "0x6",
-  "0xd9fdcc2e57d7a44100e64feed3be7df6139523c0c3af6dcb",
-  "0x77735c55455166bb",
-  "0x713e18bdbc47d2fdf09b1d7ec811a69fb2102cc7c8ab4692",
-  "0x4b49877e36ba0e29",
-  "0x90a7398aa58e0e34b02cdb0691f104f9cfab7fee42008c95",
-  "0xd01aacc7bebf65ad",
-  "0x4bf507c54a8387b6029eeacf0c6c598b6e7db488201a513e",
-  "0xb0ce0e7bc056b6d1",
-  "0x34ca22adfb3a33abfa2b8a8edf4fcc595f8d16d07940bd9e",
-  "0xc5c02227a3b621ac",
-  "0x3c3130f30df6b60ab45311ccf4c03d4396979770251a9fe1",
-  "0x3d798aa6e38e2ad6",
-  "0x9",
-  "0xa807db8962d19245f8a8514545936bf41cd0184dfcda1367",
-  "0xa7ca74b35e67bdda",
-  "0x5569c1121cf5dac007d657bde904a2055b63133d570ba68d",
-  "0xd8ff7acbe70f64ed",
-  "0xabea5523878f3ea1287d0b6811a0b23720fc66ac771dbf2b",
-  "0xb2b5ecd4e8d3d319",
-  "0x9424e2845b07b658422a15f35f7fb8558ffbcb2919f8ba8a",
-  "0x6bddfe1b556d4f44",
-  "0x378c1442b87e70d5d1b3406166bbf009b1317132c57ad90",
-  "0xb7879699dfdbfc9",
-  "0xcf6a9e72ca3908f2737f93ea4ba93e07e0240eaaec71f6c4",
-  "0x1987b41e6a67674c",
-  "0xed29ae2a3a020c9d7750f1cdc314762bd0100cda1372aafb",
-  "0x74799f4e9c901c58",
-  "0x3838e36ca25cc3ba125d8d7a61b67b3eabcc75d6cb16b927",
-  "0xe316721a99b0ff37",
-  "0x1",
-  "0x0",
-  "0x4f4734ef35407a5207173a6912393afbfe822dc971a0c98a",
-  "0x163f8078c2a9076a",
-  "0x2",
-  "0x5287f86ab62027e06e9264ec853d1c3d4bfb420c117f539",
-  "0x7103f8a734c3ffde",
-  "0x97956f85ea085e5cccbd05c73b44bc069e9d6b6483ddbfa9",
-  "0x9aef0c2bd3f88d2",
-  "0xde6af90305e7a54f87531dd98ef2c90d",
-  "0x520e8da43878c25e0d86790649debd9c",
-  "0x1ba622eaa916e44601b0934117ddf82",
-  "0x639df24081a52d7f3d43053b00292b72",
-  "0xad118361150325a66607a34c52695cd2",
-  "0x53f19db2581eee5c30934efc09d8760a",
-  "0x4ef3cc2920c7739b25f91d7bf82b6393",
-  "0x3300e27a401ce6016a2b528bae6e95d7",
-  "0x5cacdb7039c0c47e7cd2a4d06fa5e780",
-  "0xa27849ba6594ce5a57cb4dd12def8d9e",
-  "0xb8b91ab467fe9dd421474eff5917668fb218b61390d04a63",
-  "0x43488cf12ec6ff4c",
-  "0x6be5c2e286b2d576eb3e52763852b2edfef78d363f45d7c",
-  "0x3fd38937a15e0648",
-  "0xca4bb18267e99a3fd2484d8558869fb99e279afbebdfb460",
-  "0x61925f12235f8e92",
-  "0x4b0f501c585b28e8bf8f904027e3cabdd3936d6c096d690c",
-  "0xb680011e5325b909",
-  "0xc50ccf4922fb7d558c05afe1c6a64bfb8decf1933998bd2e",
-  "0x2ca4abd5cb256892",
-  "0x675a9c66bc28701b29a316c30354c37db6774b0c71f9e6eb",
-  "0x587e8c9668196875",
-  "0x5",
-  "0xae4c4efadcea46bbb7054d2a9c3a6f8d7d689ae943a04d1e",
-  "0x7d857ba9c46f069",
-  "0xa6e15428d21603b5da8c3235ffa121efa735972862a05e60",
-  "0x451dd806941dd349",
-  "0xdefffe37ed0321af54d366e1f586fafde1a9a0ae4d181ad4",
-  "0xb70a631060851eaa",
-  "0xab7f09b61d094a4496376d19b4d6c1e87a94302488338b1d",
-  "0x5b1dedf5ed468d5d",
-  "0x23b32ddf26009c4477a14ba924c0d1005830f4870325e176",
-  "0x9d65a7ac88340ccd",
-  "0x6",
-  "0x94283775aa325fbc46e54890eefc79ef9359ebf5ae397e9b",
-  "0x4862cd971a15199e",
-  "0x8b5607bcde736939aea53f846afb312f0fd94594f4088272",
-  "0x32de7a71cc8dea1a",
-  "0x4f3bfe4163561aab3c6fb76d82d1ee8b9bff23094e055ae3",
-  "0x691f2bc0382f06c1",
-  "0xc801d6cda28605aba21a40018b79b89bd9d29e91854d72c2",
-  "0x68b317b5a1bf5255",
-  "0x250afcaf3e6c141d7c14548faf5c169d67c532cc21414553",
-  "0x51240f6767322062",
-  "0x1",
-  "0x0",
-  "0x6",
-  "0xf41bc1dbda579b7f6017af49cb071da6ddef61b42c74e30f",
-  "0xc3a896d868e1d8e3",
-  "0xafc56abbd8d311a24b898a80a1797b61cfce3b7298a67164",
-  "0x7cc74335758727ff",
-  "0x740fd86b7466fdca8d2c3241c0c229bd561ed362bc80bbff",
-  "0xd38c3458056af740",
-  "0x52dc87518b2f719058f00d7caa3c688bcd3f62ea54a9c7bb",
-  "0xeba62a5cd475a741",
-  "0x305a0afcc19fdefb2f89eb4e7635e99f08d67fb252dee878",
-  "0xddb694929b5d7ae9",
-  "0xcff479629bf9005af2cbc701242e727dd25fa9375c98578d",
-  "0x52f2730921ffc3ce",
-  "0x9",
-  "0xd198437a7609e25f044fbf688e7558d077573b8c3927a0e",
-  "0xfab39f21b693b356",
-  "0xcf5a362a1527e093c684bc9eecde58496ef0e713ac3b94ef",
-  "0x6415591c97e166b9",
-  "0x2aa3f3c9b75abaaea70e03fe93bd85d143f9f543222583d7",
-  "0xdfda324189492f49",
-  "0xc3517151bdc876db59d089bbf508632881c41f35357ad5c",
-  "0x2548738e865059f7",
-  "0x8ea2f0879367f60813338f72367fcf7ce63da92bdcd16f59",
-  "0x6adae6459eecccc9",
-  "0x4f3bfe4163561aab3c6fb76d82d1ee8b9bff23094e055aea",
-  "0x691f2bc0382f06c1",
-  "0xc801d6cda28605aba21a40018b79b89bd9d29e91854d72c2",
-  "0x68b317b5a1bf5255",
-  "0x250afcaf3e6c141d7c14548faf5c169d67c532cc21414553",
-  "0x51240f6767322062",
-  "0x1",
-  "0x0",
-  "0x1fe854363599d2ef7407f0e90072615bbca91acb2cbf929",
-  "0x623233a5ae8a8e45",
-  "0x1",
-  "0x8e245e6b394c09977be8fd4512e7f8b059158a071c34c183",
-  "0x608a028a20f06fc7",
-  "0x77187b7c08ff0b2b4f5c6e98491e8516",
-  "0x4def510712e72155cf7419fec57fe6f9",
-  "0x9c5ad348968fff996a864f5ba9608cf0",
-  "0xcb4a0632fbedec9576a3c23ac4e67ad1",
-  "0x61dc6165cbc389d642e312f355fb433a",
-  "0xf8625752626469fe7f6c4490b35baba7",
-  "0x67c0b06c473c1c62b572dfd390c7e91d",
-  "0x2393032a6b5e6dfc71e520ef5716b7b",
-  "0x61ce415e8f31b0bb083e64b47e1855ef",
-  "0xb16461995b30b29f48dd0c0a2f5ceb2d",
-  "0xf5ad234f28cce7604f14afee42ba4a006b5aa4e91ab0c5a6",
-  "0x63136d875a6e0d72",
-  "0x559a827b45dd2e5ef93567e56386e3bc9bc19598ea6fd4ef",
-  "0x5b358feeaf542ec7",
-  "0xd8d7a80425fad294ae17173925de18ec38d5cfdbd8def32",
-  "0x31cb68d156d6231c",
-  "0xa507a5e3916a408095bc44238768ffee8583bdc9b1d5ce72",
-  "0xd536dcec4b0e8f58",
-  "0xc38b23c1fd9cfbd20dd674831b919bebe50deb365402e042",
-  "0x339a3e483f8acb12",
-  "0xaefc62cd669e31abf9005d14354f4b344eb995f6b7932938",
-  "0x10d33f27d6430f71",
-  "0x5",
-  "0xb60fe8e8121e96638fff2b7457209b6f8184d2550f12dbc5",
-  "0xb402a75ff0923f54",
-  "0xfd50311d6c8f0896aabb39362821e9cd3b3f20bf8d448cf2",
-  "0xfa916e1cbb8d66ec",
-  "0xc55b691b9e8fea7bf614c10438f9000cbd8af17e30385e7d",
-  "0xe4e689915761d5dd",
-  "0x8b074a018ea32c0605a61a91b15a39688576b107f7c12981",
-  "0xbd9c437fc2d525dd",
-  "0x44304e5e1b91d719452f5be78176e13ce5eaa59a70f8589f",
-  "0xc25375867ebfd428",
-  "0x6",
-  "0xb75c76493be9ede955290c8810fc4b2ce6d9bbdc7f7e3c8a",
-  "0xc522bcdaf621c769",
-  "0x686341ed98c2f9700dde59a293d4c6a0d17d211005237194",
-  "0x36a172a29fcef7d",
-  "0xd6cd3c4f8b3c08ac7351c6a8cfe300681c11417b74d327aa",
-  "0x64f42d78b1fea2af",
-  "0x1976d36c01ddf44a2e26686106fae50b4140383707ed4db",
-  "0x133cca3209a320f5",
-  "0x6cf6199e03c8e9cbb93c99f74af81012279142291365baeb",
-  "0xf27e7ead19665c1c",
-  "0x1",
-  "0x0",
-  "0x6",
-  "0x49f79f8d5e1c1c47c450fa0879e97e5655aa83a5bd6d0286",
-  "0x57d36a70ab7f75e6",
-  "0x7781f6efdd7338154e52183ab4006817a8615d79b122d1a8",
-  "0xc81590f6c0747753",
-  "0x3e94311bafd55d294b914d1e5dacfa15934ffbff0fcb756d",
-  "0xa6f44be721fa12b3",
-  "0x580f74e94eddae5d676440862c3d0cc73c619a412a48b4e7",
-  "0x3e6e4857d4c42289",
-  "0x9943e0939228e7e7a3e31082bd710e0c4f1b2b1461c9f50a",
-  "0xa8c73629c1d2b767",
-  "0xbea3b5de788be8e13c9755fe98f7d829a916f540583e2f7e",
-  "0xec422453b6279de",
-  "0x9",
-  "0x3873c00a3658161541f57b876e60e3a4ff4230c7c73badb",
-  "0x63f329fcbaec73e4",
-  "0xdab6cd7f2d54d210611473720ad16e65ba6be77023f81b0c",
-  "0x17e6a22725ea8c6d",
-  "0xdf9ca62ccea43cb7273c6e9daf3502d8c478ca6231c61d48",
-  "0xc2ad3e4cddf672ce",
-  "0xc28072c87cbb08c9c959da32840a0f61d365d47592f61258",
-  "0x4bcc44393997ae1c",
-  "0x631df53fb3415e021e868f65a09d371fe675f0358ceba4e7",
-  "0xa4df8de5dbc97444",
-  "0xd6cd3c4f8b3c08ac7351c6a8cfe300681c11417b74d327b1",
-  "0x64f42d78b1fea2af",
-  "0x1976d36c01ddf44a2e26686106fae50b4140383707ed4db",
-  "0x133cca3209a320f5",
-  "0x6cf6199e03c8e9cbb93c99f74af81012279142291365baeb",
-  "0xf27e7ead19665c1c",
-  "0x1",
-  "0x0",
-  "0x5bb304245bfbbc0dd91b60881d348047e1b8e7d1edac7fb2",
-  "0x35f1869dbc508d28",
-  "0x0",
-  "0xb525384c7d6df01673736e03d8987acd",
-  "0xcc981401877f08fcf07825326c602f02",
-  "0xb5092ff407efdf41555791c3771150ad",
-  "0xb8f173d4b0af5e710e11da65dca8f1c2",
-  "0xbdecfded186e4d90a4229c9a8048d5fa",
-  "0xb1c951a93285f8ecdbfeb67e9179cc1b",
-  "0x1926594b1146bf5a8828de216c8ff5e4",
-  "0x1b105125799f988626812ada0ffa80e4",
-  "0xe3ab843685272fdc91231983a6b5bd2d",
-  "0x79a4f2cbb8970f73af77a8a5bcaee03f",
-  "0x9f52c65dcaf982d55ab42ce3a5661efd7655165027d9319e",
-  "0xe552173bf605441e",
-  "0x43b67a60db6713eb2fd8d405bc62f430dadc920a8ca0cdf5",
-  "0xd6a59f85a24f8e0",
-  "0xbb7b75d2e60055eff6d79e11a95610410a5ff66792aae478",
-  "0x668d91e6725116c6",
-  "0xee0a7eb99b3057a830db4c229f7b8fc63c625c56281473fa",
-  "0xd706b6c4c35428c2",
-  "0x4fe8c1637f0696d6f524f4c81f30555dfd4f08984c776b67",
-  "0xc7698fefae9719bb",
-  "0x3a8dfe5b6e8a638a365012bd05342588c22940ae69cdc496",
-  "0xbcfa6aaf1afa4c49",
-  "0x5",
-  "0xf45e132b70f588628fcd1cf7a3f3fed74235d2d75ac592b0",
-  "0xc0023a51ad5512bf",
-  "0x7b5647fcf6f1ca97005f0ce576961674e654c59879967dc0",
-  "0x277366508c8403f9",
-  "0xc39b9b79caffabe019a310896ca53e84ee36b10de058b0df",
-  "0x416a006a0c82bad8",
-  "0x12ed53294ed3d9d5bc7385a77ce9d6a6c72a21974a2982d2",
-  "0xa09058ff5f27042d",
-  "0x903387df66da23fb9466b0a26e1eed572c00879d3283b2d5",
-  "0x8ac16b28dbfcd96e",
-  "0x6",
-  "0xfd94bf994671c05cd2a1ed0c88c51b87d99ccdf4eb68f9a1",
-  "0xcf1f7941fbb04243",
-  "0x87aa87802418ba3bf982563eb13d03c587c9b648f525f08d",
-  "0x58842eb1faaae593",
-  "0x48386af7b4e6151bddd16b9860938071254eb7e8c7033dcb",
-  "0x7c17160b203e60ef",
-  "0x8a62dbf887d0c9fccc9bc715c59b41238cb902d9756e5902",
-  "0x649547febd4cd2d4",
-  "0xf196c57024cf939a01aa13735c557348d2b1d78d6afb06fa",
-  "0xba06ec9a3e867141",
-  "0x1",
-  "0x0",
-  "0x6",
-  "0x760bdc3eaa0e1ad03e1a040d4ad870d2bb87dcdd61c603a2",
-  "0xcb417c1120ed7de6",
-  "0xe331e5a24ed3a6663082f88aa532a585bbeb7e64a5960c9a",
-  "0x949c1b22dd82b943",
-  "0xe8ea6e4a648109032613d41a9dac18dd2dd2292729026491",
-  "0x609ea080336d88fc",
-  "0x122a29068dfae41ae75243d03d7aabf1822cd6ed56d77c02",
-  "0x66ac763fa2891dfa",
-  "0x5d57cf44fb171fed68d34dc6baa69e326018404b64bc722",
-  "0x3a13aea52ca3c86f",
-  "0x16f46f54c41214e74ac111e1d94a2f19cd453ce4f059a44b",
-  "0x3fb985f76124ce53",
-  "0x9",
-  "0xef113d30ed1c4289c26d7b57bd63c0b6f349a1b76fdee67c",
-  "0xa9dc50cde1d1cfdb",
-  "0xb5a9b480fcad17a3d2905bb6d8ab1a66b683fc00b4099b7d",
-  "0x6b9d46dddaac4708",
-  "0xf98aecc5f24a93c310b9f12aa4088318052707607116bc00",
-  "0x64a19a4de1b4a68a",
-  "0xc648c364fd2746466ae45ea4f003e380b2abe1ea216d7422",
-  "0x8f34713928ca0613",
-  "0x22c9ed9125c5c3720528de6637932ac34aa69b2be2033478",
-  "0x6eb4a6e9b057fe61",
-  "0x48386af7b4e6151bddd16b9860938071254eb7e8c7033dd2",
-  "0x7c17160b203e60ef",
-  "0x8a62dbf887d0c9fccc9bc715c59b41238cb902d9756e5902",
-  "0x649547febd4cd2d4",
-  "0xf196c57024cf939a01aa13735c557348d2b1d78d6afb06fa",
-  "0xba06ec9a3e867141",
-  "0x1",
-  "0x0",
-  "0xdfe415c88922e8dff1b5aa918563474b217f02c55495a965",
-  "0x149017d7be3c58e0",
-  "0x0",
-  "0xb09e2b450f6245269bfc89660eb8722e",
-  "0xe08be39e850658d36336497a88950dc7",
-  "0xa0453e90e836c73847279513917a6fb8",
-  "0x8cf220f71fb27fcf9955f13c09a37c3a",
-  "0xa875159a102fce44820af1644a8104c0",
-  "0xaab621e5ec1a4e164556819011b1eed",
-  "0x31d02c7c6958d751e06c0efcd3e84031",
-  "0x796f3d46c8f33861e5e7c4a45dc8cc52",
-  "0xd6695a8de2f12aa5fc866a119288cf8a",
-  "0x7385af72f9eaa47ec4503bcef06bfa00",
-  "0x539f8e7d0e86db4bcb39f5cfd4c154d33267bf792df708c0",
-  "0x592368f20f92dfbd",
-  "0xb9fa13815c9a7f7988e301a4ec863677789cc1b7c7c48098",
-  "0xa4108600bc4b6283",
-  "0xaef59018e3b5a8fdd55f8a74daf9b48995e531dd4b7d0162",
-  "0x335f163c30210dbf",
-  "0x62450665785e8c6291c300a146b582a57e92c7e43f15778e",
-  "0x3109a620ff28d357",
-  "0xab2a3f4836cc92dff8a07a4ab58846ec0694e34a893e779c",
-  "0x1c47adf5c8846644",
-  "0x218be11c1d06e4769ab5f4cbebe67e933ec87b64a900a245",
-  "0xa1722d9150836beb",
-  "0x5",
-  "0x3913cdd8f93a661f677fa3676ee84965f3393546ed351105",
-  "0x85350474b263883d",
-  "0xe2fa48e1ef2d6c47fae874969f0f9931d744f419fe3ca684",
-  "0x620796cfbe48757b",
-  "0xc90512c54c9770d83b67b0aeee2a296f79a22c7cc444eb61",
-  "0x92e4e4b7cef2ed0b",
-  "0xe63166ef3ad7767eb0308925980db656945141a7581f241e",
-  "0xf2f6d7192b4a94a1",
-  "0x6104e4474b6fe13c1f35bc4da71099b16c0905323577ed3f",
-  "0xaebf4cf3ef35401c",
-  "0x6",
-  "0xfe82f22462e4f60b747729a8d070f6a470387820a8e4f6a5",
-  "0x70af9f440686eb96",
-  "0xc5d465f06dbad4c938834c25f4def2daf45957ff9cd514ac",
-  "0x59323bed2432332d",
-  "0xde20ff72869efb308e64f34902a2c9f9b0d65bdf27764a11",
-  "0x4597dd829d95ffa6",
-  "0x63b102f008e414a9a5cd6ae3247097dba01411a94a7df87c",
-  "0x1351158a6d565675",
-  "0x634a4e4ffecc6194c3e4ca0484b7bfa5900414ee54daef50",
-  "0x50854b65de3870c2",
-  "0x1",
-  "0x0",
-  "0x6",
-  "0xd896e0e7ac81700c32ffde88a3f19c58b346df5a5f2565fd",
-  "0xfe6d43331e67648",
-  "0x69b456ea3c20cedf89b078365c3739c9edc1916945f9ee08",
-  "0xaaa6eedb8c91186",
-  "0xaea63954985cff75f0580aecb4c0babf2404a32445bb47d7",
-  "0x150a86fbe62ea325",
-  "0x276659850b14b9a143dff7ebc286ba3499b845b7cf23f09a",
-  "0xa7b47ac9f3cdc5f0",
-  "0xf8db36d4a56d3388089568793bc7d0d49e3c911903ea5fe5",
-  "0x43ac18618ccefc52",
-  "0x239643ee59b7e9752a11746bc81287f004224d76c1053e3b",
-  "0xd1949cac88c74b3a",
-  "0x9",
-  "0xf5949efeb442ba502f42239db316be7f118b48e79e42c9f6",
-  "0x14cd5adc2db07120",
-  "0x68cec993001bd1808b971509b218a3fcae7167ff49d39856",
-  "0x705fa37bfd5f6640",
-  "0x12e6fc21ae58de53e4c2a6ff127385d3d5dc831b143c0a48",
-  "0xe7270e924f19fd90",
-  "0xb85a06b4a12186aefd1515decf851da5d0c4f3c1b256c209",
-  "0xf7e7360d03e348cc",
-  "0x7cdc8a2065517fda93c4d24595e53061e475ea85eed1a77e",
-  "0x8cd74bb637bd487e",
-  "0xde20ff72869efb308e64f34902a2c9f9b0d65bdf27764a18",
-  "0x4597dd829d95ffa6",
-  "0x63b102f008e414a9a5cd6ae3247097dba01411a94a7df87c",
-  "0x1351158a6d565675",
-  "0x634a4e4ffecc6194c3e4ca0484b7bfa5900414ee54daef50",
-  "0x50854b65de3870c2",
-  "0x1",
-  "0x0",
-  "0x2a6e9ce86e1a4ac8dbec51a62d2cbb196a3f376f5d26cc57",
-  "0x777877d426073a7b",
-  "0x0",
-  "0x6838a9f236f22db4b2b408dc6f20bc9e",
-  "0x4fba3b8102a39c424faf2bbaead3723d",
-  "0xc4e169650978a5791adaf11ebce8fe4b",
-  "0xb75d945a722a78b1fbfdbc4ddb6608bb",
-  "0xa4dd1b840daa8497494fa8bbdf1377c4",
-  "0x7a92b2310fbafcceee7eee79fced723b",
-  "0xd1f4f393b5630149b53e40bc6cc1adc7",
-  "0xe00428746bff89b08bd8708e2d849510",
-  "0xb4687c5029626bc7bb6f36c31bf78a32",
-  "0x67b6ca9495cb6746585e5c245db60381",
-  "0x8d9d3041b16e2594c8655e5109200b0a7912eebfabeca3a8",
-  "0xe92cf3c54ebf5a1f",
-  "0xfc34edaa80a0f854f9d2d47499287871bc0bae39afbb132d",
-  "0x97324607ec190378",
-  "0x65f41fbecd8acc8c9daf345f02c5dcd7a125fc718e546c81",
-  "0xbc902b5bc3e3fcce",
-  "0x50ccdf10ac1c4040f6ae143648d413c3041a3409069c807f",
-  "0x8b663745bd7ddac",
-  "0x2f163f3951250858b4efdb687b03d54617a59a54133e0638",
-  "0x30f2d5671ef86c9b",
-  "0xee6c63deaac88984f4381e5daf9c8ea732638d388f908555",
-  "0x452c145723d81130",
-  "0x5",
-  "0x29d8ed789c0bb1091e6fd0202dd6a7175d4bc2c580e90e2e",
-  "0xaceb8ea1bfd6a5eb",
-  "0x3ec499d028f04bafcdc2faa5a9de8f406e555a5085afd76a",
-  "0xecb5d8d810c8a4df",
-  "0x6c2100843b44b2c3697290a3bb378bf34c8f245d9c91beec",
-  "0x1e993dc4433b6f2",
-  "0xe3fa36cc62612ec6690dd16ff9d85b209625e4b6fb0d27da",
-  "0xfa9f0d58275af2e8",
-  "0x9a19b1bd8d98ac36d6d7821787a08e46afb6886a52624fe6",
-  "0xa9b75fa8285c642b",
-  "0x6",
-  "0xb114c3950f0afd5e76ece9e0fee724a9626a2a3d497f99a4",
-  "0x4aa9eb8574eea5db",
-  "0x42d446601efa5c27d3183d27bf44cc32e872ed4d030e2a98",
-  "0x8a4150a6790769fa",
-  "0xdadf16788666e11619f8e380a9471670a67a534057137bd3",
-  "0xdfedfa70123f1e7c",
-  "0xa93e8f2731fe9a7fb0cae78c5aa2588b54d77b6d03118245",
-  "0x9ec8ee983960d5cc",
-  "0x8bba51e285f4f1c31d7e2ba741cf7485595407fcde9fc478",
-  "0xf834109e625d0818",
-  "0x1",
-  "0x0",
-  "0x6",
-  "0x657504617ac3c2964cb0ab614668e08efab2943bd8db67e2",
-  "0x16bff71781811b02",
-  "0x6ddd6996be9430474c8c094709647ce34fa1cceaa2785792",
-  "0x99817d8b1006b52c",
-  "0x4c555d3860e36a1752496599e83aceca075f4ebd710bd4df",
-  "0x74b0649b027d09f7",
-  "0x62239fa43536d731360ed8d5b5f8ff415b602fcc1af63202",
-  "0x693794ba06cdd064",
-  "0x8d1dae2d3183c5ec0f9737b8c30cc058b0c841842eec1f0d",
-  "0x76058c4698f847ef",
-  "0xafed2aa30cb042a86998e447526d2dd35f6de2b4573e473f",
-  "0xef1644f322b7aa90",
-  "0x9",
-  "0xd7915913694ced95407a6526f85200a1b0e727af027d3b1e",
-  "0xaa570a632868901",
-  "0xd3cdeca0d8d88516c5a9ac163ae195645b247d1e1563359b",
-  "0xc7c9348d4f33e5d7",
-  "0xfc199d4bacd0279ab5ce3884a0f19d148d5846c8618879ab",
-  "0x1f81d9107fb9d569",
-  "0x51caada76d0136dc4c793eb779579078b44e8a3c5efa38cb",
-  "0xa22871af06947e74",
-  "0x14ec8391c8acf87da18b6eba8bf0fbd859bf253e196ca497",
-  "0x53adc4fb2992a2a6",
-  "0xdadf16788666e11619f8e380a9471670a67a534057137bda",
-  "0xdfedfa70123f1e7c",
-  "0xa93e8f2731fe9a7fb0cae78c5aa2588b54d77b6d03118245",
-  "0x9ec8ee983960d5cc",
-  "0x8bba51e285f4f1c31d7e2ba741cf7485595407fcde9fc478",
-  "0xf834109e625d0818",
-  "0x1",
-  "0x0",
-  "0x57314a1a005e540b4a07571a538591bcd5456390603a57e6",
-  "0x83c717d88dea81a",
-  "0x0",
-  "0xe1ac0d20c0e6bc6a88a0e655d0d31a31",
-  "0x376d5a5efddaa3b735b0cfc7240075dc",
-  "0x7a492c020fb3c84e7973774fcf755d7a",
-  "0xcfa2d4d7638c65ab603cd9219959c58c",
-  "0x560be5868095ec750fe1bb3a929292ce",
-  "0x559ad8a276bcbf17c5317724d3eb6ce2",
-  "0xc6bc4c4e54f3cdb4db9a86032c909bd2",
-  "0xe77601705b8cd5633672a6f59818923c",
-  "0x9716b8b60af195c17b1c2cc6509086c1",
-  "0x85eb2f364aed48cb0e21b8a42706879a",
-  "0x2cb3cabbef578efba13591771075e269f046210798a0f4c4",
-  "0x1a6d31dbbec6a571",
-  "0x178ba45dd5f4bda6f86943c92c1ddfdc81b4376aafb259ae",
-  "0xd79602505b382237",
-  "0x45db975c6aefae11b44dde9a95983f1b382172aa769bba22",
-  "0xa4f469357ee4b85c",
-  "0xd56136cbf80d9a8d4f68afa29dc27002af6c24f493e6ae",
-  "0xafefe8121afff423",
-  "0x11ac25c2d06918ac413a7baacb7ca34dc6595f10ce7f2bbd",
-  "0x8b404e3021ffe5b9",
-  "0xea8fe19b51264565a598663dabaf091e95ef33218247b1c0",
-  "0x8751314d1631ab2a",
-  "0x5",
-  "0x55952f7c96b3b9d1b61b1e119378360b3ac3622a3ce1788",
-  "0x4eb2494bf93e096b",
-  "0x5a434cd54bdafd018c72032d1674b1150c87de2a59ca7439",
-  "0x62417d09616f486f",
-  "0xeeec095316dd03f9e4eebeff603e20f965a3ee97f00e38ff",
-  "0x1f804c1028f2f371",
-  "0xcc39a26a2c28a153b08ebb3e6c62aff39c6c6c514e086016",
-  "0x2b08e72c3ecea2c8",
-  "0xbb270d3a06bd6acab5fc544bed9fc4d625451afa1c12945d",
-  "0x756b471ec7cb41de",
-  "0x6",
-  "0x9ab2b3505994243b64dd229ce0b7e090ea65d8b137387c64",
-  "0x42a7520fbadb65f1",
-  "0x3a905d7c91fc90a59d98b9b16674d32b70523c0faca0f199",
-  "0xdf63ac2d9303c82b",
-  "0x55d2ca08d34b678be777c95e562082710291216cd8a0ffbc",
-  "0xc0895e85e3fcfc07",
-  "0x3b38ad3ca1aac8cdd50097380e9076386a29b034e18f44d5",
-  "0xc203daca07a7b69a",
-  "0xc5e73c6d6d6ed9b2ec5ceb6650f34a053dd9148f3bd6a4d8",
-  "0x6bfcdb6842eb9b21",
-  "0x1",
-  "0x0",
-  "0x6",
-  "0x54cc5f822ff2c402de3218caedbec7241be46d727fd594d6",
-  "0x85a42f1215d7abab",
-  "0x6280820648171c2afe030abf73664633d240f4baa26f338d",
-  "0x2b3353badf5a70af",
-  "0xa999c29eb7982aa6c8239f15409132c4434283fdc180bd3b",
-  "0x7f484068c9df036f",
-  "0x921cd72ad408ec37b800fedf32af1a6c537627884322087d",
-  "0xbe68938640c2be8b",
-  "0x842410a0b02961c255cb42f4674fd5bbd905323f51d7164b",
-  "0xac3f879538ab3455",
-  "0xbe65eb67d33fff06e819247b20099ce6c2416ecbfe547c6d",
-  "0x91036e5b536a71ab",
-  "0x9",
-  "0x3ae2e732730cfd9fc20bf24a250723f668c8ecd9828b6a8d",
-  "0xd2933e6e1bffc99b",
-  "0x99f28e67fde7f4874f2d13d9cd31c630123fa473b866b215",
-  "0x1bb9b53f051a792e",
-  "0x58c3863dc70fd4d3544681945ae3911711f7e9feec671139",
-  "0x43c195a93beae433",
-  "0x393f6ff8c53fa1dc37e1452546ab1c1bd189aa286223714c",
-  "0x90c24d95f0716429",
-  "0xa3e3047a9004848a1423297d9d1bd9502141cbfd4f7f7ef4",
-  "0xd34dac0767750617",
-  "0x55d2ca08d34b678be777c95e562082710291216cd8a0ffc3",
-  "0xc0895e85e3fcfc07",
-  "0x3b38ad3ca1aac8cdd50097380e9076386a29b034e18f44d5",
-  "0xc203daca07a7b69a",
-  "0xc5e73c6d6d6ed9b2ec5ceb6650f34a053dd9148f3bd6a4d8",
-  "0x6bfcdb6842eb9b21",
-  "0x1",
-  "0x0",
-  "0xdb7ffe1d4c36ab8fa21585fcd65fe75f6a26a01a363f649b",
-  "0x26e83d2f04f3ab96",
-  "0x1",
-  "0x96057f31c1051076c7c328c2480d0c4e1757b914eb9193d2",
-  "0x6c18e8d58d8bb5e0",
-  "0x1393f5d666ca35152c7a75e371c26515",
-  "0x3d4defc3dde5bdef04d1214cd930d2c6",
-  "0xc953602c177e3a8b778e0c215d6259e1",
-  "0xf9d215943a9d1aaa371f73ec2bad3f7f",
-  "0xc3eb0e9c8b055ebfdcf1dc30bf179d30",
-  "0x3024a6da374da63c592bcfd1c77a9a54",
-  "0xcbf5970993e6cb47fcc9c646324dcb08",
-  "0xe21099feabfbc83692a03740b2da1083",
-  "0xd5438f0948be6649f1bfa508020cdabf",
-  "0x9b258cad60006d99f7565535caa17e9c",
-  "0x586dd41461f3a0cfa1b440cc3d79c31b03b7e82e08afd0c1",
-  "0x7492dcb71e353a54",
-  "0x9dd107b20777151e0451159093d1010433515c5b0dfdfa72",
-  "0xc861de10d2694bad",
-  "0xf4b3d2b514b2a320594e6ccd66908045f40dc44f2147e81a",
-  "0x2b788540b08b72ac",
-  "0xd30d27b962ba85e266d80a517b1cf25ada1c1f9fc31f5d50",
-  "0xf3f84fd2f937b081",
-  "0x7c51bf070e3518450cf5108f9332390ada42a55e79f7374c",
-  "0x570437bc56bc123a",
-  "0xb9d52c72ee6ebcdfdbbf0004605648a1e1694cc3955c5877",
-  "0x4c42b21b8e9b6a6f",
-  "0x5",
-  "0x17092c89b7219081deb780cba7c8f3b5aa80daf56ae1916",
-  "0x20498f843af7c202",
-  "0x69d1ddc69ae9dbc0cb57f507446b8352b51c77e431083d2",
-  "0x30e1dc2e75b42185",
-  "0xbe20e9fd691b1beda53e82e025b56a42816eb595c22cde58",
-  "0xb6a88075edeca94a",
-  "0xa9d6fe9d4e49795a81ec405d0a6a3423c7c979a020373b1c",
-  "0xdcb1c637b11ed5bf",
-  "0x971fa2aaf96a4cdbec6b988583ab748680c7eb75b2312648",
-  "0xfd93b3d9db9cf3a2",
-  "0x6",
-  "0xb6151c547ad49321abfca9bb1b44a4c21318507a59ad3921",
-  "0x60d088c558269993",
-  "0x8ff3ae6fef17cecac70175f5f8b98af53bdc5f6307bf1e0c",
-  "0x670efdc0c2c8ac52",
-  "0x583d1c33bd573d4bf3247255c18e7c77c2f828104b769c21",
-  "0x187d1220b3dfe35c",
-  "0x65ae5c71353fbf217c674e76b2151e49efc2e5763a77f584",
-  "0xc0244b40a9f54f54",
-  "0xa9ccc3ad80f059442c18e4cf8377202f5c7720a4e7b692ed",
-  "0x955fea38a6096a6d",
-  "0x1",
-  "0x0",
-  "0x6",
-  "0xbf0129c6fa65cbfc2f1f1295e4eee557a1c35dd3b9c2f21f",
-  "0x4e507d1753c83043",
-  "0xffdb30f8d3ef2628916f8391fce00039275cca67dbbb19e5",
-  "0x60ff1b03d3a0eb7d",
-  "0x559784a97870bde2b268a69dffb3418f451e110cd5c8bdec",
-  "0xd0ccb56dc40fc77b",
-  "0x3daed3f41021c432e5d3f3afab406b80d487b9a3ad32a9de",
-  "0x822a5178dac4b4f9",
-  "0xccbe949a26167ed49c69b8347860e8385370c2ddb0e32503",
-  "0x761d5a06b0598eb2",
-  "0x53371b18e7fa177d013f44f777e158401010e90db179109d",
-  "0xc6c4653951b19172",
-  "0x9",
-  "0xfa93c64f5bd005ebb3e8a41dbee0814e85aa335a73bc9789",
-  "0xa5b3bd65690e3309",
-  "0xefa9c50f89a6a78b710a39b9cd12ccb4a3069bb73639d9f6",
-  "0xd168f045537cb641",
-  "0x69abc56a2d62ad13a5ff20584ae5674654c91872103e44e7",
-  "0xab6b7ee4eb1f3786",
-  "0x7dd9a36cef92cd0c12cfcef9f9d878c7a16c96baf2f502d2",
-  "0xa1ce9789fddbc4e2",
-  "0x348d082e75aa3fa7fbafb7a290fb6c40c31e43e95dbd31cb",
-  "0x7cae654d4d0a9552",
-  "0x583d1c33bd573d4bf3247255c18e7c77c2f828104b769c28",
-  "0x187d1220b3dfe35c",
-  "0x65ae5c71353fbf217c674e76b2151e49efc2e5763a77f584",
-  "0xc0244b40a9f54f54",
-  "0xa9ccc3ad80f059442c18e4cf8377202f5c7720a4e7b692ed",
-  "0x955fea38a6096a6d",
-  "0x1",
-  "0x0",
-  "0xd283288811cd7c1a3e10eeadfdb76b22bbb54c9ecdd06825",
-  "0x23207f7cdd7f7578",
-  "0x1",
-  "0xc47cfb09c2dd625a684a613e83a853710bb27a13cffa70",
-  "0x93d41d533698e7e",
-  "0x3b5f773153f31b3b0cb817ecda024bb6",
-  "0xa71ecc9c3fa265a44c174a3b2d1123a5",
-  "0xe290421f76055db85ee4fdff8a7cb862",
-  "0x66e2aa5e8c7a8aac407290d7dd701797",
-  "0x48784e480da9f06df1ae19e3ca949018",
-  "0xd4f473666fe74d5ebf7655d4931f40c",
-  "0x13d2137ccb05b92823bd4609ad03517",
-  "0xc3a341c8365d809ff39967ff8add07a",
-  "0x4491a79af3b655f79d44b1d31445105a",
-  "0x62f74bcd1b3600a1ef6fc6a7fd42e999",
-  "0xaa9dadaab4e03265fb07138f80ed8f3c21ab6b08fa6be9d",
-  "0x4de4a5a8a88a0717",
-  "0xee501d334495a237ce189909141e5e0610308d75715a1297",
-  "0x4682a519f5fa2fd1",
-  "0xa69fbac583797954e5fc5b61b518fe800e3976526ba5bca6",
-  "0x4aa47031601e0367",
-  "0x5f80ad82af8ae1c7fd5ee994f0cc22cf4e1dbc92f47bb88d",
-  "0xd9595a874e0dbfcc",
-  "0xb5904e500bc478199de2fbb3b9dbd745157e7e65bc15018e",
-  "0xa6674dc2b3386d59",
-  "0x9351666d7e9062581864ff712952d33e8fe4c6e78a1ffc08",
-  "0x6ef99190daafdae4",
-  "0x5",
-  "0xe8a468c7068f526d4f4456ce4ed666b68a4f99f12912e757",
-  "0xeed049094c7d7600",
-  "0xbc62d26a1a4013b806ba9b1e726932dd4ae0b29119d180b7",
-  "0xb72a1fe7001f3a5a",
-  "0x9ff8526b712d85061453c7b5e6f12a74aa7303b05248e2de",
-  "0xc337fba74f4a016e",
-  "0xc058aa68681cfcbef64190c7ecc1efb397a5e538df3c24b3",
-  "0xf901a1aa8a0462cb",
-  "0x5b92fdb98cc0982c3e5b2b6bb5ff729c49ce78b176d2454f",
-  "0x1515ba85b16e0984",
-  "0x6",
-  "0xffc526e1374ac50047057b136e2f3fc53e2d4fb7e137154",
-  "0xf4785f2f67376113",
-  "0xeec6bcb36c1c9cb2d67b48d0cf19f6c327899a83f609c91d",
-  "0xd198072569ea4241",
-  "0xcdc7e1fb6a9d731987ccf87a074a6fb39161000e06a4bd0f",
-  "0x77eb5e4625213627",
-  "0xc6ddafd33401328f64583b45b2345479670bb1f6a9deb65",
-  "0x4b89d2ebf3225f98",
-  "0x31328a2197ce8cc3743f8b6f528cab56155d539a729a7c2",
-  "0xe06e8b85bdc841cf",
-  "0x1",
-  "0x0",
-  "0x6",
-  "0xd06b29df83cc27203809387ef19a6a772b46cc2e294a8d4c",
-  "0x106fb78cfee42711",
-  "0x3a942283d32c0ed9605de9f64296542e4349bce1bde9b296",
-  "0x97178dc5b37029bb",
-  "0x2cf18021fcb52ee948110d02f4268b2b3206933c0b2d92b0",
-  "0xb3bf20e2930b32d3",
-  "0x41644f7402464caf1af35420ff9cc21eae2e863667356e1",
-  "0x1f7e980963390426",
-  "0x86dcb6da579565e670e86e32018024e714f2ddb4cc417e55",
-  "0xc781f2efa2a87234",
-  "0x5cab0bbcef81e00a1e8d09731e9d29fa9a937d4f1e530d89",
-  "0xa0643b0694493f9",
-  "0x9",
-  "0x6fe641028830b6301f1265d88034abe64b33d2e672883032",
-  "0xaf4a9a4bd283a785",
-  "0x876f28e7f4c848e3dd5efdb5a9b5bf5614c339a0ba4492e0",
-  "0xbb283205e567cfcd",
-  "0xa0772ddfea4e25b2b69acb5633090de8f9a700652e8136dc",
-  "0x476f93eb03e87b16",
-  "0x66fd4f5a7a35326ec056f19fb4d9d8f170f7f2da6864ec8a",
-  "0x53d23a30d27fe3b",
-  "0x44cd9221e86fa48595715d1833781b8d0e26f1d882d7651",
-  "0xf49dd7cd9a640eeb",
-  "0xcdc7e1fb6a9d731987ccf87a074a6fb39161000e06a4bd16",
-  "0x77eb5e4625213627",
-  "0xc6ddafd33401328f64583b45b2345479670bb1f6a9deb65",
-  "0x4b89d2ebf3225f98",
-  "0x31328a2197ce8cc3743f8b6f528cab56155d539a729a7c2",
-  "0xe06e8b85bdc841cf",
-  "0x1",
-  "0x0",
-  "0x61baafa183411f4b9c7a8b5510fa7d3b7a2be7e5d56afb93",
-  "0x7bf7022f2b92d7a4",
-  "0x0",
-  "0x251b21f4bcb07db0188b20e55b9b3ee",
-  "0xcd9d2ad6aa72e1fe381c9b0688a430f7",
-  "0xc95fd0c040c796100892d0d4bc95c6a5",
-  "0x485b9a1478ce9d0c11c97735f7abd2db",
-  "0xdccff3db2e13eefb55b5f330d19c6cee",
-  "0x8491ffd4fd06a48d68d8ef4e866005e9",
-  "0x5eec67be4d3979a211acfb1e81220e8c",
-  "0x625f48e8866541e1cf7203bf3d159523",
-  "0xee2b6f764857139fd428cd1b70083171",
-  "0x5a27ce5f9dba9a2968ae555b66e3ce88",
-  "0x9ed43d1db29d2f83af24b4a39a9985b825e7e0b4f9c8b93e",
-  "0x74e80ca51c058ab9",
-  "0xa91c7c97d5d89cb827cc76e4d8342656a6f719b4cc48dc2e",
-  "0x4a14c1eeb8d5113e",
-  "0xdab7d0500ce883639c8034e7cb779a251cc37880a6700865",
-  "0x3aa195ed8ed8b95f",
-  "0x22ca19b2b86ef42e1151018aaead6ffa963a1251c494d54b",
-  "0x7e550d3646107530",
-  "0x2118a1a80b2d5aa19cce503a3f3bb47c1df5de1c8f7b0502",
-  "0xcf4a46619664c15d",
-  "0xdf076553ef197d9fb59bead5bb6810d6a16d2000c1a3689c",
-  "0xdde20222a32440fa",
-  "0x5",
-  "0x3550d89b7b3b100412b53467c0be40cdf44439725a46ac20",
-  "0x2e5e77c5ab055aa",
-  "0x85c423e3fe4709d5a87658a3335109470254019f6f2c6b82",
-  "0xf8c0f6102db371a0",
-  "0xe93340810e30994469f43687ec1450837c2bfbb921412e66",
-  "0x8b4b2fa236d08e10",
-  "0x26c435845c4db824785bcde3516342cdc19da88f30e99769",
-  "0xd9a7eb6eb125d547",
-  "0xd72299a529999482ba1484c829d82c5733b349f94a0f4fa1",
-  "0xc883c0d77fc50a0f",
-  "0x6",
-  "0xeebe3b1e3f2f86fed27b8443ed4bd1272c96b3084dcc06ce",
-  "0x4197cb81d168c0df",
-  "0x891f48f7800bcc336ebbbe212ff69eb4e8fd4b827ed0a4bb",
-  "0xb8fc403c644fc39a",
-  "0x998482e5c052911f3ad74dfb9f476e1e3748569e47d04040",
-  "0xe1c1a69b29caa79f",
-  "0xa4c5a99d736787c875150d33573c1e46350db25bb3a9e75f",
-  "0xc0e1277e4957ad01",
-  "0xfdf1771e6f1a14944b90f89eec1d6cbd3cd9767afcbe4fab",
-  "0xbf1216784c11a1d0",
-  "0x1",
-  "0x0",
-  "0x6",
-  "0x579d0312e4f62b9d85b2ec31e16ef618115793e6ecefb5af",
-  "0x2ef4e3625b22b29f",
-  "0xde775b64cb5c0feefc3d4123e4c2abc021cec405cf1e954b",
-  "0xfd50d67607e6815c",
-  "0x8bd2124ce9369348a161b31f8bdaeb448814f065ba2ee19d",
-  "0xec543ae47a23b4bb",
-  "0x3caafc627f03dc1a22c07975a6e6fa09fc74afd2a239bd73",
-  "0x10a29236db8ebe72",
-  "0x2ece6dd7223ef570ab90bdc3873dc857cf34d6689cd2e756",
-  "0xd3d56d4cc502581d",
-  "0x9cfa5e982ebc551596009bd664f6508a5b6806f5f70f88b7",
-  "0x836196c36b115dbc",
-  "0x9",
-  "0x87339dd3ba4cb0f7c1609ddb7d12b812381ee53b20943373",
-  "0xcb26908cb9dd461f",
-  "0xbfdafec480529568072232e84fbe56f25eed109677b49432",
-  "0xee5c1a6be2e5939",
-  "0x329f94484241f7da9be321e15af402d382fa5e59f6b1d8a6",
-  "0x2c4b8e3e248a955d",
-  "0x7025de6c67043d7a060ee0ab4ff0a5129ff6938f37716d7c",
-  "0x87bfdff5d2ce7beb",
-  "0x7ab98acc89c25c417fb28a79a4c497e192ef88e46804e57d",
-  "0xf27add8678cb3051",
-  "0x998482e5c052911f3ad74dfb9f476e1e3748569e47d04047",
-  "0xe1c1a69b29caa79f",
-  "0xa4c5a99d736787c875150d33573c1e46350db25bb3a9e75f",
-  "0xc0e1277e4957ad01",
-  "0xfdf1771e6f1a14944b90f89eec1d6cbd3cd9767afcbe4fab",
-  "0xbf1216784c11a1d0",
-  "0x1",
-  "0x0",
-  "0x16613552f522508d02f58bc3e8d5988673520573d1bb78ad",
-  "0x4a8ca642ed0e43b7",
-  "0x1",
-  "0xa993e79dafefcbf76cb451833fa8ed8c3b82d14bf0bd3ddf",
-  "0x4bf172c11ab285b2"
-]

From c606b4c9ac3e99bd4f693d007d6ca78845760068 Mon Sep 17 00:00:00 2001
From: Michael Zaikin <michael.zaikin@starkware.co>
Date: Thu, 30 Jan 2025 13:43:11 +0000
Subject: [PATCH 3/4] Bump stwo-cairo version

---
 packages/aggsig_checker/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/packages/aggsig_checker/Makefile b/packages/aggsig_checker/Makefile
index 14e2225..6d5423d 100644
--- a/packages/aggsig_checker/Makefile
+++ b/packages/aggsig_checker/Makefile
@@ -5,7 +5,7 @@ install-stwo:
 	RUSTFLAGS="-C target-cpu=native -C opt-level=3" \
 		cargo install \
 		--git https://github.com/m-kus/stwo-cairo \
-		--rev df1d4984c2d10ba06aca54a38892bb20cedfd5de \
+		--rev b32175604169e6fc0a7a3d35cf50d7e37865be5a \
 		adapted_stwo
 
 install-requirements:
@@ -47,4 +47,4 @@ e2e:
 	$(MAKE) prove
 
 burn:
-	scarb burn --arguments-file tests/data/args.json --no-build --output-file target/graph.svg --open-in-browser
+	scarb burn --arguments-file tests/data/args.json --output-file target/graph.svg --open-in-browser

From 07239a9ce2ab255e6674b8422240b5f98dcfa35f Mon Sep 17 00:00:00 2001
From: Michael Zaikin <michael.zaikin@starkware.co>
Date: Thu, 30 Jan 2025 13:54:05 +0000
Subject: [PATCH 4/4] Fix tests

---
 packages/aggsig_checker/Makefile              |   1 +
 packages/aggsig_checker/Scarb.toml            |   2 +-
 .../aggsig_checker/tests/data/args_test.json  | 827 ++++++++++++++++++
 3 files changed, 829 insertions(+), 1 deletion(-)
 create mode 100644 packages/aggsig_checker/tests/data/args_test.json

diff --git a/packages/aggsig_checker/Makefile b/packages/aggsig_checker/Makefile
index 6d5423d..1b5522e 100644
--- a/packages/aggsig_checker/Makefile
+++ b/packages/aggsig_checker/Makefile
@@ -23,6 +23,7 @@ events:
 
 args:
 	python scripts/gen_args.py --file $(OUTPUT_DIR)/events.json --target execute > $(OUTPUT_DIR)/args.json
+	python scripts/gen_args.py --file $(OUTPUT_DIR)/events.json --target cairo-run > $(OUTPUT_DIR)/args_test.json
 
 execute:
 	rm -rf target/execute \
diff --git a/packages/aggsig_checker/Scarb.toml b/packages/aggsig_checker/Scarb.toml
index eb965d9..fd98100 100644
--- a/packages/aggsig_checker/Scarb.toml
+++ b/packages/aggsig_checker/Scarb.toml
@@ -25,4 +25,4 @@ enable-gas = false
 cairo_test = "2.10.0-rc.1"
 
 [scripts]
-test = "scarb cairo-test && scarb cairo-run --arguments-file tests/data/sample_args.json"
+test = "scarb cairo-test && scarb cairo-run --arguments-file tests/data/args_test.json"
diff --git a/packages/aggsig_checker/tests/data/args_test.json b/packages/aggsig_checker/tests/data/args_test.json
new file mode 100644
index 0000000..63d0195
--- /dev/null
+++ b/packages/aggsig_checker/tests/data/args_test.json
@@ -0,0 +1,827 @@
+[
+    [
+      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