From 577152f8c5dba90d96b007381193a91d4068829e Mon Sep 17 00:00:00 2001
From: lonerapier <lonerapier@proton.me>
Date: Mon, 12 Aug 2024 13:37:42 +0530
Subject: [PATCH] refactor tests

---
 README.md                    |    8 +-
 circuits/search.circom       |  130 +-
 circuits/test/search.test.ts |   79 +-
 inputs/extract/input.json    | 2267 +---------------------------------
 inputs/search/witness.json   | 2267 +---------------------------------
 inputs/search/witness2.json  |  803 ------------
 6 files changed, 155 insertions(+), 5399 deletions(-)
 delete mode 100644 inputs/search/witness2.json

diff --git a/README.md b/README.md
index 723bf33..35382e0 100644
--- a/README.md
+++ b/README.md
@@ -1,5 +1,5 @@
 # SPARK
-> Succinct Parser Attestation for Reconciliation of Knowledge 
+> Succinct Parser Attestation for Reconciliation of Knowledge
 
 ## Repo Structure
 The repository is currently new and being organized as follows:
@@ -26,7 +26,7 @@ npm install -g snarkjs
 ```
 
 ### Circomkit
-You will need `yarn` on your system (brew, or apt-get or something). 
+You will need `yarn` on your system (brew, or apt-get or something).
 Then run: `npm install` to get everything else.
 
 #### Commands
@@ -41,7 +41,7 @@ For example, to compile the extractor, you can:
 ```
 npx circomkit compile extract
 ```
-Then you can do 
+Then you can do
 ```
 npx circomkit witness extract witness
 ```
@@ -69,6 +69,8 @@ To run specific tests, use the `-g` flag for `mocha`, e.g., to run any proof des
 npx mocha -g State
 ```
 
+> [!NOTE]
+> Currently [search](./circuits/search.circom) circuit isn't working with circomkit, so you might have to compile using circom: `circom circuits/main/search.circom --r1cs --wasm -l node_modules/ -o build/search/`
 
 ## (MOSTLY DEPRECATED DUE TO CIRCOMKIT) Running an example
 ```
diff --git a/circuits/search.circom b/circuits/search.circom
index 9ca394a..3823e3e 100644
--- a/circuits/search.circom
+++ b/circuits/search.circom
@@ -4,45 +4,67 @@ include "circomlib/circuits/mux1.circom";
 include "./utils/hash.circom";
 include "./utils/operators.circom";
 
-/// @title SubstringSearch
-/// @notice Calculates the index of a substring within a larger string. Uses a probabilistic algorithm to
-///         find a substring that is equal to random linear combination of difference between each element of `data` and `key`.
-///         `position` returned as output can be a false positive.
-/// @dev Is underconstrained and not suitable for standalone usage, i.e. `position` returned can be spoofed by an adversary.
-///      Must be verified with a similar template like `SubstringMatch`
-/// @param dataLen The maximum length of the input string
-/// @param keyLen The maximum length of the substring to be matched
-/// @input data Array of ASCII characters as input string
-/// @input key Array of ASCII characters as substring to be searched in `data`
-/// @output position Index of `key` in `data`
-/// @profile 6 * `dataLen` constraints
-template SubstringSearch(dataLen, keyLen, random_num) {
+/*
+SubstringSearch
+
+Calculates the index of a substring within a larger string. Uses a probabilistic algorithm to find a substring that is equal to random linear combination of difference between each element of `data` and `key`.
+
+# NOTE
+- Is underconstrained and not suitable for standalone usage, i.e. `position` returned can be spoofed by an adversary. Must be verified with a similar template like `SubstringMatch`
+- `r` should be equal to Hash(key + data), otherwise this algorithm yields false positives
+
+# Parameters
+- `dataLen`: The maximum length of the input string
+- `keyLen`: The maximum length of the substring to be matched
+
+# Inputs
+- `data` Array of ASCII characters as input string
+- `key` Array of ASCII characters as substring to be searched in `data`
+- `random_num`: randomiser used to perform random linear summation for string comparison
+
+# Output
+- `position`: index of matched `key` in `data`
+*/
+template SubstringSearch(dataLen, keyLen) {
     signal input data[dataLen];
     signal input key[keyLen];
+    signal input random_num;
     signal output position;
 
     assert(dataLen > 0);
     assert(keyLen > 0);
     assert(dataLen >= keyLen);
 
+    // position accumulator
     signal pos[dataLen-keyLen+2];
     pos[0] <== 0;
+
+    // total matches found so far
     signal num_matches[dataLen-keyLen+2];
     num_matches[0] <== 0;
 
-    // iterate through each substring of length `keyLen` in `data` and find substring that matches.
+    // calculate powers of r
+    signal r_powers[dataLen];
+    r_powers[0] <== random_num;
+    for (var i=1 ; i<dataLen ; i++) {
+        r_powers[i] <== r_powers[i-1] * random_num;
+    }
+
     signal is_match_found[dataLen-keyLen+1];
     signal is_first_match[dataLen-keyLen+1];
     signal index_at_first_match_and_found[dataLen-keyLen+1];
+    signal found[dataLen-keyLen+1][keyLen];
+
+    // iterate through each substring of length `keyLen` in `data` and find substring that matches.
     for (var i = 0; i < dataLen - keyLen + 1; i++) {
-        // this is the underconstrained part, any malicious prover can set found to `0` manually
-        var found;
-        for (var j=0 ; j < keyLen ; j++) {
-            found += (random_num**j) * (data[i+j] - key[j]);
+        // underconstrained part, any malicious prover can set found to `0` manually
+        found[i][0] <-- r_powers[0] * (data[i] - key[0]);
+        for (var j=1 ; j < keyLen ; j++) {
+            found[i][j] <-- found[i][j-1] + r_powers[j] * (data[i+j]-key[j]);
         }
 
         // is substring a match?
-        is_match_found[i] <== IsZero()(found);
+        is_match_found[i] <== IsZero()(found[i][keyLen-1]);
 
         // update total number of matches found
         num_matches[i+1] <== num_matches[i] + is_match_found[i];
@@ -60,20 +82,30 @@ template SubstringSearch(dataLen, keyLen, random_num) {
     position <== pos[dataLen-keyLen+1];
 }
 
-/// @title SubstringMatchWithIndex
-/// @notice RLC algorithm for matching substring at index.
-///         - Creates a mask for `data` at `[start, start + keyLen]`
-///         - apply mask to data
-///         - multiply data with powers of `r` to create random linear combination
-///         - multiply key with powers of `r`
-///         - sum of both arrays should be equal
-/// @notice Modified from https://github.com/zkemail/zk-email-verify/tree/main/packages/circuits
-/// @param dataLen The maximum length of the input string
-/// @param keyLen The maximum length of the substring to be matched
-/// @input data Array of ASCII characters as input string
-/// @input key Array of ASCII characters as substring to be searched in `data`
-/// @input position Index of `key` in `data`
-/// @profile 9 * `dataLen` constraints
+/*
+SubstringMatchWithIndex
+
+RLC algorithm for matching substring at index.
+- Creates a mask for `data` at `[start, start + keyLen]`
+- apply mask to data
+- multiply data with powers of `r` to create random linear combination
+- multiply key with powers of `r`
+- sum of both arrays should be equal
+
+# Parameters
+- `dataLen`: The maximum length of the input string
+- `keyLen`: The maximum length of the substring to be matched
+
+# Inputs
+- `data`: Array of ASCII characters as input string
+- `key`: Array of ASCII characters as substring to be searched in `data`
+- `position`: Index of `key` in `data`
+
+# Profile
+9 * `dataLen` constraints
+
+NOTE: Modified from https://github.com/zkemail/zk-email-verify/tree/main/packages/circuits
+*/
 template SubstringMatchWithIndex(dataLen, keyLen) {
     signal input data[dataLen];
     signal input key[keyLen];
@@ -168,16 +200,21 @@ template SubstringMatchWithIndex(dataLen, keyLen) {
     hashMaskedData[dataLen - 1] === hashMaskedKey[keyLen - 1];
 }
 
-/// @title SubstringMatch
-/// @notice Matches a substring with an input string and returns the position
-/// @param dataLen The maximum length of the input string
-/// @param keyLen The maximum length of the substring to be matched
-/// @param r Random number initialised as poseidon hash of concatenation of key and data
-/// @input data Array of ASCII characters as input string
-/// @input key Array of ASCII characters as substring to be searched in `data`
-/// @input position Index of `key` in `data`
-/// @profile 9 * `dataLen` constraints
-template SubstringMatch(dataLen, keyLen, r) {
+/*
+SubstringMatch: Matches a substring with an input string and returns the position
+
+# Parameters
+- `dataLen`: maximum length of the input string
+- `keyLen`: maximum length of the substring to be matched
+
+# Inputs
+- `data`: Array of ASCII characters as input string
+- `key`: Array of ASCII characters as substring to be searched in `data`
+
+# Outputs
+- `position`: Index of `key` in `data`
+*/
+template SubstringMatch(dataLen, keyLen) {
     signal input data[dataLen];
     signal input key[keyLen];
     signal output position;
@@ -190,16 +227,15 @@ template SubstringMatch(dataLen, keyLen, r) {
     for (var i = 0; i < dataLen; i++) {
         rHasher.in[i + keyLen] <== data[i];
     }
-    r === rHasher.out;
+    signal r <== rHasher.out;
 
     // find the start position of `key` first match in `data`
     // NOTE: underconstrained (should be paired with SubstringMatchWithIndex)
-    signal start <== SubstringSearch(dataLen, keyLen, r)(data, key);
-    log(start);
+    signal start <== SubstringSearch(dataLen, keyLen)(data, key, r);
 
     // matches a `key` in `data` at `pos`
     // NOTE: constrained verification assures correctness
-    SubstringMatchWithIndex(dataLen, keyLen)(data, key, rHasher.out, start);
+    SubstringMatchWithIndex(dataLen, keyLen)(data, key, r, start);
 
     position <== start;
 }
\ No newline at end of file
diff --git a/circuits/test/search.test.ts b/circuits/test/search.test.ts
index 6671c16..286137b 100644
--- a/circuits/test/search.test.ts
+++ b/circuits/test/search.test.ts
@@ -1,61 +1,77 @@
 import { circomkit, WitnessTester } from "./common";
 
-import witness from "../../inputs/search/witness2.json";
+import witness from "../../inputs/search/witness.json";
 import { PoseidonModular } from "./common/poseidon";
 
 describe("search", () => {
     describe("SubstringSearch", () => {
-        let circuit: WitnessTester<["data", "key"], ["position"]>;
+        let circuit: WitnessTester<["data", "key", "random_num"], ["position"]>;
 
-        it("witness: key at first position", async () => {
-            const key = [10, 8, 9, 4];
+        it("key at first position", async () => {
             const data = [10, 8, 9, 4, 11, 9, 1, 2];
+            const key = [10, 8, 9, 4];
             const concatenatedInput = key.concat(data);
             const hashResult = PoseidonModular(concatenatedInput);
 
             circuit = await circomkit.WitnessTester(`SubstringSearch`, {
                 file: "circuits/search",
                 template: "SubstringSearch",
-                params: [data.length, key.length, hashResult],
+                params: [data.length, key.length],
             });
 
             await circuit.expectPass(
-                { data: data, key: key },
+                { data: data, key: key, random_num: hashResult },
                 { position: 0 },
             );
         });
 
-        it("witness: key at last position", async () => {
-            const key = [10, 8, 9, 4];
+        it("key at last position", async () => {
             const data = [11, 9, 1, 2, 10, 8, 9, 4];
+            const key = [10, 8, 9, 4];
             const concatenatedInput = key.concat(data);
             const hashResult = PoseidonModular(concatenatedInput);
 
             circuit = await circomkit.WitnessTester(`SubstringSearch`, {
                 file: "circuits/search",
                 template: "SubstringSearch",
-                params: [data.length, key.length, hashResult],
+                params: [data.length, key.length],
             });
 
             await circuit.expectPass(
-                { data: data, key: key },
+                { data: data, key: key, random_num: hashResult },
                 { position: 4 },
             );
         });
 
-        it("witness: data = inputs/witness2.json:data, key = inputs2/witness.json:key, r = hash(data+key)", async () => {
+        it("wrong random_num input, correct key position: 2", async () => {
+            const data = [0, 0, 1, 0, 0];
+            const key = [1, 0];
+
+            circuit = await circomkit.WitnessTester(`SubstringSearch`, {
+                file: "circuits/search",
+                template: "SubstringSearch",
+                params: [data.length, key.length],
+            });
+
+            await circuit.expectPass(
+                { data: data, key: key, random_num: 1 },
+                { position: 1 },
+            );
+        });
+
+        it("data = inputs.json:data, key = inputs.json:key, r = hash(data+key)", async () => {
             const concatenatedInput = witness["key"].concat(witness["data"]);
             const hashResult = PoseidonModular(concatenatedInput);
 
             circuit = await circomkit.WitnessTester(`SubstringSearch`, {
                 file: "circuits/search",
                 template: "SubstringSearch",
-                params: [787, 10, hashResult],
+                params: [witness["data"].length, witness["key"].length],
             });
             console.log("#constraints:", await circuit.getConstraintCount());
 
             await circuit.expectPass(
-                { data: witness["data"], key: witness["key"] },
+                { data: witness["data"], key: witness["key"], random_num: hashResult },
                 { position: 6 }
             );
         });
@@ -73,15 +89,25 @@ describe("search", () => {
             console.log("#constraints:", await circuit.getConstraintCount());
         });
 
-        it("witness: data = inputs/witness2.json:data, key = inputs2/witness.json:key, r = hash(data+key)", async () => {
+        it("data = inputs.json:data, key = inputs.json:key, r = hash(data+key)", async () => {
             await circuit.expectPass(
-                { data: witness["data"], key: witness["key"], r: PoseidonModular(witness["key"].concat(witness["data"])), start: 6 },
+                {
+                    data: witness["data"],
+                    key: witness["key"],
+                    r: PoseidonModular(witness["key"].concat(witness["data"])),
+                    start: 6
+                },
             );
         });
 
-        it("witness: data = inputs/witness2.json:data, key = inputs2/witness.json:key, r = hash(data+key),  incorrect position", async () => {
+        it("data = inputs.json:data, key = inputs.json:key, r = hash(data+key),  incorrect position", async () => {
             await circuit.expectFail(
-                { data: witness["data"], key: witness["key"], r: PoseidonModular(witness["key"].concat(witness["data"])), start: 98 },
+                {
+                    data: witness["data"],
+                    key: witness["key"],
+                    r: PoseidonModular(witness["key"].concat(witness["data"])),
+                    start: 98
+                },
             );
         });
     });
@@ -89,32 +115,25 @@ describe("search", () => {
     describe("SubstringMatch", () => {
         let circuit: WitnessTester<["data", "key"], ["position"]>;
 
-
-        it("witness: data = inputs/witness2.json:data, key = inputs2/witness.json:key, r = hash(data+key)", async () => {
-            const hashResult = PoseidonModular(witness["key"].concat(witness["data"]));
-
+        before(async () => {
             circuit = await circomkit.WitnessTester(`SubstringSearch`, {
                 file: "circuits/search",
                 template: "SubstringMatch",
-                params: [787, 10, hashResult],
+                params: [787, 10],
             });
             console.log("#constraints:", await circuit.getConstraintCount());
+        });
 
+        it("data = inputs.json:data, key = inputs.json:key", async () => {
             await circuit.expectPass(
                 { data: witness["data"], key: witness["key"] },
                 { position: 6 },
             );
         });
 
-        it("witness: data = inputs/witness2.json:data, key = inputs2/witness.json:key, r = hash(data+key),  wrong hash", async () => {
-            circuit = await circomkit.WitnessTester(`SubstringSearch`, {
-                file: "circuits/search",
-                template: "SubstringMatch",
-                params: [787, 10, 10],
-            });
-
+        it("data = inputs.json:data, key = wrong key", async () => {
             await circuit.expectFail(
-                { data: witness["data"], key: witness["key"] },
+                { data: witness["data"], key: witness["key"].concat(257) },
             );
         });
     });
diff --git a/inputs/extract/input.json b/inputs/extract/input.json
index 4603bb7..556be54 100644
--- a/inputs/extract/input.json
+++ b/inputs/extract/input.json
@@ -1,40 +1,15 @@
 {
   "key": [
-    98,
-    114,
-    101,
-    118,
-    34,
-    58,
-    32,
-    34,
-    73,
-    83,
-    79,
-    32,
-    56,
-    56,
-    55,
-    57,
-    58,
-    49,
-    57,
-    56,
-    54,
     34,
-    44,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32
+    103,
+    108,
+    111,
+    115,
+    115,
+    97,
+    114,
+    121,
+    34
   ],
   "data": [
     123,
@@ -823,2230 +798,6 @@
     32,
     125,
     10,
-    125,
-    77,
-    76,
-    34,
-    44,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    34,
-    71,
-    108,
-    111,
-    115,
-    115,
-    84,
-    101,
-    114,
-    109,
-    34,
-    58,
-    32,
-    34,
-    83,
-    116,
-    97,
-    110,
-    100,
-    97,
-    114,
-    100,
-    32,
-    71,
-    101,
-    110,
-    101,
-    114,
-    97,
-    108,
-    105,
-    122,
-    101,
-    100,
-    32,
-    77,
-    97,
-    114,
-    107,
-    117,
-    112,
-    32,
-    76,
-    97,
-    110,
-    103,
-    117,
-    97,
-    103,
-    101,
-    34,
-    44,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    34,
-    65,
-    99,
-    114,
-    111,
-    110,
-    121,
-    109,
-    34,
-    58,
-    32,
-    34,
-    83,
-    71,
-    77,
-    76,
-    34,
-    44,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    34,
-    65,
-    98,
-    98,
-    114,
-    101,
-    118,
-    34,
-    58,
-    32,
-    34,
-    73,
-    83,
-    79,
-    32,
-    56,
-    56,
-    55,
-    57,
-    58,
-    49,
-    57,
-    56,
-    54,
-    34,
-    44,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    34,
-    71,
-    108,
-    111,
-    115,
-    115,
-    68,
-    101,
-    102,
-    34,
-    58,
-    32,
-    123,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    34,
-    112,
-    97,
-    114,
-    97,
-    34,
-    58,
-    32,
-    34,
-    65,
-    32,
-    109,
-    101,
-    116,
-    97,
-    45,
-    109,
-    97,
-    114,
-    107,
-    117,
-    112,
-    32,
-    108,
-    97,
-    110,
-    103,
-    117,
-    97,
-    103,
-    101,
-    44,
-    32,
-    117,
-    115,
-    101,
-    100,
-    32,
-    116,
-    111,
-    32,
-    99,
-    114,
-    101,
-    97,
-    116,
-    101,
-    32,
-    109,
-    97,
-    114,
-    107,
-    117,
-    112,
-    32,
-    108,
-    97,
-    110,
-    103,
-    117,
-    97,
-    103,
-    101,
-    115,
-    32,
-    115,
-    117,
-    99,
-    104,
-    32,
-    97,
-    115,
-    32,
-    68,
-    111,
-    99,
-    66,
-    111,
-    111,
-    107,
-    46,
-    34,
-    44,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    34,
-    71,
-    108,
-    111,
-    115,
-    115,
-    83,
-    101,
-    101,
-    65,
-    108,
-    115,
-    111,
-    34,
-    58,
-    32,
-    91,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    34,
-    71,
-    77,
-    76,
-    34,
-    44,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    34,
-    88,
-    77,
-    76,
-    34,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    93,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    125,
-    44,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    34,
-    71,
-    108,
-    111,
-    115,
-    115,
-    83,
-    101,
-    101,
-    34,
-    58,
-    32,
-    34,
-    109,
-    97,
-    114,
-    107,
-    117,
-    112,
-    34,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    125,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    125,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    125,
-    10,
-    32,
-    32,
-    32,
-    32,
-    125,
-    10,
-    125,
-    77,
-    76,
-    34,
-    44,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    34,
-    71,
-    108,
-    111,
-    115,
-    115,
-    84,
-    101,
-    114,
-    109,
-    34,
-    58,
-    32,
-    34,
-    83,
-    116,
-    97,
-    110,
-    100,
-    97,
-    114,
-    100,
-    32,
-    71,
-    101,
-    110,
-    101,
-    114,
-    97,
-    108,
-    105,
-    122,
-    101,
-    100,
-    32,
-    77,
-    97,
-    114,
-    107,
-    117,
-    112,
-    32,
-    76,
-    97,
-    110,
-    103,
-    117,
-    97,
-    103,
-    101,
-    34,
-    44,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    34,
-    65,
-    99,
-    114,
-    111,
-    110,
-    121,
-    109,
-    34,
-    58,
-    32,
-    34,
-    83,
-    71,
-    77,
-    76,
-    34,
-    44,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    34,
-    65,
-    98,
-    98,
-    114,
-    101,
-    118,
-    34,
-    58,
-    32,
-    34,
-    73,
-    83,
-    79,
-    32,
-    56,
-    56,
-    55,
-    57,
-    58,
-    49,
-    57,
-    56,
-    54,
-    34,
-    44,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    34,
-    71,
-    108,
-    111,
-    115,
-    115,
-    68,
-    101,
-    102,
-    34,
-    58,
-    32,
-    123,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    34,
-    112,
-    97,
-    114,
-    97,
-    34,
-    58,
-    32,
-    34,
-    65,
-    32,
-    109,
-    101,
-    116,
-    97,
-    45,
-    109,
-    97,
-    114,
-    107,
-    117,
-    112,
-    32,
-    108,
-    97,
-    110,
-    103,
-    117,
-    97,
-    103,
-    101,
-    44,
-    32,
-    117,
-    115,
-    101,
-    100,
-    32,
-    116,
-    111,
-    32,
-    99,
-    114,
-    101,
-    97,
-    116,
-    101,
-    32,
-    109,
-    97,
-    114,
-    107,
-    117,
-    112,
-    32,
-    108,
-    97,
-    110,
-    103,
-    117,
-    97,
-    103,
-    101,
-    115,
-    32,
-    115,
-    117,
-    99,
-    104,
-    32,
-    97,
-    115,
-    32,
-    68,
-    111,
-    99,
-    66,
-    111,
-    111,
-    107,
-    46,
-    34,
-    44,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    34,
-    71,
-    108,
-    111,
-    115,
-    115,
-    83,
-    101,
-    101,
-    65,
-    108,
-    115,
-    111,
-    34,
-    58,
-    32,
-    91,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    34,
-    71,
-    77,
-    76,
-    34,
-    44,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    34,
-    88,
-    77,
-    76,
-    34,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    93,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    125,
-    44,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    34,
-    71,
-    108,
-    111,
-    115,
-    115,
-    83,
-    101,
-    101,
-    34,
-    58,
-    32,
-    34,
-    109,
-    97,
-    114,
-    107,
-    117,
-    112,
-    34,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    125,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    125,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    125,
-    10,
-    32,
-    32,
-    32,
-    32,
-    125,
-    10,
-    125,
-    77,
-    76,
-    34,
-    44,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    34,
-    71,
-    108,
-    111,
-    115,
-    115,
-    84,
-    101,
-    114,
-    109,
-    34,
-    58,
-    32,
-    34,
-    83,
-    116,
-    97,
-    110,
-    100,
-    97,
-    114,
-    100,
-    32,
-    71,
-    101,
-    110,
-    101,
-    114,
-    97,
-    108,
-    105,
-    122,
-    101,
-    100,
-    32,
-    77,
-    97,
-    114,
-    107,
-    117,
-    112,
-    32,
-    76,
-    97,
-    110,
-    103,
-    117,
-    97,
-    103,
-    101,
-    34,
-    44,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    34,
-    65,
-    99,
-    114,
-    111,
-    110,
-    121,
-    109,
-    34,
-    58,
-    32,
-    34,
-    83,
-    71,
-    77,
-    76,
-    34,
-    44,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    34,
-    65,
-    98,
-    98,
-    114,
-    101,
-    118,
-    34,
-    58,
-    32,
-    34,
-    73,
-    83,
-    79,
-    32,
-    56,
-    56,
-    55,
-    57,
-    58,
-    49,
-    57,
-    56,
-    54,
-    34,
-    44,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    34,
-    71,
-    108,
-    111,
-    115,
-    115,
-    68,
-    101,
-    102,
-    34,
-    58,
-    32,
-    123,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    34,
-    112,
-    97,
-    114,
-    97,
-    34,
-    58,
-    32,
-    34,
-    65,
-    32,
-    109,
-    101,
-    116,
-    97,
-    45,
-    109,
-    97,
-    114,
-    107,
-    117,
-    112,
-    32,
-    108,
-    97,
-    110,
-    103,
-    117,
-    97,
-    103,
-    101,
-    44,
-    32,
-    117,
-    115,
-    101,
-    100,
-    32,
-    116,
-    111,
-    32,
-    99,
-    114,
-    101,
-    97,
-    116,
-    101,
-    32,
-    109,
-    97,
-    114,
-    107,
-    117,
-    112,
-    32,
-    108,
-    97,
-    110,
-    103,
-    117,
-    97,
-    103,
-    101,
-    115,
-    32,
-    115,
-    117,
-    99,
-    104,
-    32,
-    97,
-    115,
-    32,
-    68,
-    111,
-    99,
-    66,
-    111,
-    111,
-    107,
-    46,
-    34,
-    44,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    34,
-    71,
-    108,
-    111,
-    115,
-    115,
-    83,
-    101,
-    101,
-    65,
-    108,
-    115,
-    111,
-    34,
-    58,
-    32,
-    91,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    34,
-    71,
-    77,
-    76,
-    34,
-    44,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    34,
-    88,
-    77,
-    76,
-    34,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    93,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    125,
-    44,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    34,
-    71,
-    108,
-    111,
-    115,
-    115,
-    83,
-    101,
-    101,
-    34,
-    58,
-    32,
-    34,
-    109,
-    97,
-    114,
-    107,
-    117,
-    112,
-    34,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    125,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    125,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    125,
-    10,
-    32,
-    32,
-    32,
-    32,
-    125,
-    10,
-    125,
-    77,
-    76,
-    34,
-    44,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    34,
-    71,
-    108,
-    111,
-    115,
-    115,
-    84,
-    101,
-    114,
-    109,
-    34,
-    58,
-    32,
-    34,
-    83,
-    116,
-    97,
-    110,
-    100,
-    97,
-    114,
-    100,
-    32,
-    71,
-    101,
-    110,
-    101,
-    114,
-    97,
-    108,
-    105,
-    122,
-    101,
-    100,
-    32,
-    77,
-    97,
-    114,
-    107,
-    117,
-    112,
-    32,
-    76,
-    97,
-    110,
-    103,
-    117,
-    97,
-    103,
-    101,
-    34,
-    44,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    34,
-    65,
-    99,
-    114,
-    111,
-    110,
-    121,
-    109,
-    34,
-    58,
-    32,
-    34,
-    83,
-    71,
-    77,
-    76,
-    34,
-    44,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    34,
-    65,
-    98,
-    98,
-    114,
-    101,
-    118,
-    34,
-    58,
-    32,
-    34,
-    73,
-    83,
-    79,
-    32,
-    56,
-    56,
-    55,
-    57,
-    58,
-    49,
-    57,
-    56,
-    54,
-    34,
-    44,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    34,
-    71,
-    108,
-    111,
-    115,
-    115,
-    68,
-    101,
-    102,
-    34,
-    58,
-    32,
-    123,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    34,
-    112,
-    97,
-    114,
-    97,
-    34,
-    58,
-    32,
-    34,
-    65,
-    32,
-    109,
-    101,
-    116,
-    97,
-    45,
-    109,
-    97,
-    114,
-    107,
-    117,
-    112,
-    32,
-    108,
-    97,
-    110,
-    103,
-    117,
-    97,
-    103,
-    101,
-    44,
-    32,
-    117,
-    115,
-    101,
-    100,
-    32,
-    116,
-    111,
-    32,
-    99,
-    114,
-    101,
-    97,
-    116,
-    101,
-    32,
-    109,
-    97,
-    114,
-    107,
-    117,
-    112,
-    32,
-    108,
-    97,
-    110,
-    103,
-    117,
-    97,
-    103,
-    101,
-    115,
-    32,
-    115,
-    117,
-    99,
-    104,
-    32,
-    97,
-    115,
-    32,
-    68,
-    111,
-    99,
-    66,
-    111,
-    111,
-    107,
-    46,
-    34,
-    44,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    34,
-    71,
-    108,
-    111,
-    115,
-    115,
-    83,
-    101,
-    101,
-    65,
-    108,
-    115,
-    111,
-    34,
-    58,
-    32,
-    91,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    34,
-    71,
-    77,
-    76,
-    34,
-    44,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    34,
-    88,
-    77,
-    76,
-    34,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    93,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    125,
-    44,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    34,
-    71,
-    108,
-    111,
-    115,
-    115,
-    83,
-    101,
-    101,
-    34,
-    58,
-    32,
-    34,
-    109,
-    97,
-    114,
-    107,
-    117,
-    112,
-    34,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    125,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    125,
-    10,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    32,
-    125,
-    10,
-    32,
-    32,
-    32,
-    32,
-    125,
-    10,
     125
   ]
 }
\ No newline at end of file
diff --git a/inputs/search/witness.json b/inputs/search/witness.json
index 914a3be..c69c0a8 100644
--- a/inputs/search/witness.json
+++ b/inputs/search/witness.json
@@ -1,40 +1,15 @@
 {
     "key": [
-        98,
-        114,
-        101,
-        118,
-        34,
-        58,
-        32,
-        34,
-        73,
-        83,
-        79,
-        32,
-        56,
-        56,
-        55,
-        57,
-        58,
-        49,
-        57,
-        56,
-        54,
         34,
-        44,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32
+        103,
+        108,
+        111,
+        115,
+        115,
+        97,
+        114,
+        121,
+        34
     ],
     "data": [
         123,
@@ -823,2230 +798,6 @@
         32,
         125,
         10,
-        125,
-        77,
-        76,
-        34,
-        44,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        71,
-        108,
-        111,
-        115,
-        115,
-        84,
-        101,
-        114,
-        109,
-        34,
-        58,
-        32,
-        34,
-        83,
-        116,
-        97,
-        110,
-        100,
-        97,
-        114,
-        100,
-        32,
-        71,
-        101,
-        110,
-        101,
-        114,
-        97,
-        108,
-        105,
-        122,
-        101,
-        100,
-        32,
-        77,
-        97,
-        114,
-        107,
-        117,
-        112,
-        32,
-        76,
-        97,
-        110,
-        103,
-        117,
-        97,
-        103,
-        101,
-        34,
-        44,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        65,
-        99,
-        114,
-        111,
-        110,
-        121,
-        109,
-        34,
-        58,
-        32,
-        34,
-        83,
-        71,
-        77,
-        76,
-        34,
-        44,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        65,
-        98,
-        98,
-        114,
-        101,
-        118,
-        34,
-        58,
-        32,
-        34,
-        73,
-        83,
-        79,
-        32,
-        56,
-        56,
-        55,
-        57,
-        58,
-        49,
-        57,
-        56,
-        54,
-        34,
-        44,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        71,
-        108,
-        111,
-        115,
-        115,
-        68,
-        101,
-        102,
-        34,
-        58,
-        32,
-        123,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        112,
-        97,
-        114,
-        97,
-        34,
-        58,
-        32,
-        34,
-        65,
-        32,
-        109,
-        101,
-        116,
-        97,
-        45,
-        109,
-        97,
-        114,
-        107,
-        117,
-        112,
-        32,
-        108,
-        97,
-        110,
-        103,
-        117,
-        97,
-        103,
-        101,
-        44,
-        32,
-        117,
-        115,
-        101,
-        100,
-        32,
-        116,
-        111,
-        32,
-        99,
-        114,
-        101,
-        97,
-        116,
-        101,
-        32,
-        109,
-        97,
-        114,
-        107,
-        117,
-        112,
-        32,
-        108,
-        97,
-        110,
-        103,
-        117,
-        97,
-        103,
-        101,
-        115,
-        32,
-        115,
-        117,
-        99,
-        104,
-        32,
-        97,
-        115,
-        32,
-        68,
-        111,
-        99,
-        66,
-        111,
-        111,
-        107,
-        46,
-        34,
-        44,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        71,
-        108,
-        111,
-        115,
-        115,
-        83,
-        101,
-        101,
-        65,
-        108,
-        115,
-        111,
-        34,
-        58,
-        32,
-        91,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        71,
-        77,
-        76,
-        34,
-        44,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        88,
-        77,
-        76,
-        34,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        93,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        125,
-        44,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        71,
-        108,
-        111,
-        115,
-        115,
-        83,
-        101,
-        101,
-        34,
-        58,
-        32,
-        34,
-        109,
-        97,
-        114,
-        107,
-        117,
-        112,
-        34,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        125,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        125,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        125,
-        10,
-        32,
-        32,
-        32,
-        32,
-        125,
-        10,
-        125,
-        77,
-        76,
-        34,
-        44,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        71,
-        108,
-        111,
-        115,
-        115,
-        84,
-        101,
-        114,
-        109,
-        34,
-        58,
-        32,
-        34,
-        83,
-        116,
-        97,
-        110,
-        100,
-        97,
-        114,
-        100,
-        32,
-        71,
-        101,
-        110,
-        101,
-        114,
-        97,
-        108,
-        105,
-        122,
-        101,
-        100,
-        32,
-        77,
-        97,
-        114,
-        107,
-        117,
-        112,
-        32,
-        76,
-        97,
-        110,
-        103,
-        117,
-        97,
-        103,
-        101,
-        34,
-        44,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        65,
-        99,
-        114,
-        111,
-        110,
-        121,
-        109,
-        34,
-        58,
-        32,
-        34,
-        83,
-        71,
-        77,
-        76,
-        34,
-        44,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        65,
-        98,
-        98,
-        114,
-        101,
-        118,
-        34,
-        58,
-        32,
-        34,
-        73,
-        83,
-        79,
-        32,
-        56,
-        56,
-        55,
-        57,
-        58,
-        49,
-        57,
-        56,
-        54,
-        34,
-        44,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        71,
-        108,
-        111,
-        115,
-        115,
-        68,
-        101,
-        102,
-        34,
-        58,
-        32,
-        123,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        112,
-        97,
-        114,
-        97,
-        34,
-        58,
-        32,
-        34,
-        65,
-        32,
-        109,
-        101,
-        116,
-        97,
-        45,
-        109,
-        97,
-        114,
-        107,
-        117,
-        112,
-        32,
-        108,
-        97,
-        110,
-        103,
-        117,
-        97,
-        103,
-        101,
-        44,
-        32,
-        117,
-        115,
-        101,
-        100,
-        32,
-        116,
-        111,
-        32,
-        99,
-        114,
-        101,
-        97,
-        116,
-        101,
-        32,
-        109,
-        97,
-        114,
-        107,
-        117,
-        112,
-        32,
-        108,
-        97,
-        110,
-        103,
-        117,
-        97,
-        103,
-        101,
-        115,
-        32,
-        115,
-        117,
-        99,
-        104,
-        32,
-        97,
-        115,
-        32,
-        68,
-        111,
-        99,
-        66,
-        111,
-        111,
-        107,
-        46,
-        34,
-        44,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        71,
-        108,
-        111,
-        115,
-        115,
-        83,
-        101,
-        101,
-        65,
-        108,
-        115,
-        111,
-        34,
-        58,
-        32,
-        91,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        71,
-        77,
-        76,
-        34,
-        44,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        88,
-        77,
-        76,
-        34,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        93,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        125,
-        44,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        71,
-        108,
-        111,
-        115,
-        115,
-        83,
-        101,
-        101,
-        34,
-        58,
-        32,
-        34,
-        109,
-        97,
-        114,
-        107,
-        117,
-        112,
-        34,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        125,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        125,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        125,
-        10,
-        32,
-        32,
-        32,
-        32,
-        125,
-        10,
-        125,
-        77,
-        76,
-        34,
-        44,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        71,
-        108,
-        111,
-        115,
-        115,
-        84,
-        101,
-        114,
-        109,
-        34,
-        58,
-        32,
-        34,
-        83,
-        116,
-        97,
-        110,
-        100,
-        97,
-        114,
-        100,
-        32,
-        71,
-        101,
-        110,
-        101,
-        114,
-        97,
-        108,
-        105,
-        122,
-        101,
-        100,
-        32,
-        77,
-        97,
-        114,
-        107,
-        117,
-        112,
-        32,
-        76,
-        97,
-        110,
-        103,
-        117,
-        97,
-        103,
-        101,
-        34,
-        44,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        65,
-        99,
-        114,
-        111,
-        110,
-        121,
-        109,
-        34,
-        58,
-        32,
-        34,
-        83,
-        71,
-        77,
-        76,
-        34,
-        44,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        65,
-        98,
-        98,
-        114,
-        101,
-        118,
-        34,
-        58,
-        32,
-        34,
-        73,
-        83,
-        79,
-        32,
-        56,
-        56,
-        55,
-        57,
-        58,
-        49,
-        57,
-        56,
-        54,
-        34,
-        44,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        71,
-        108,
-        111,
-        115,
-        115,
-        68,
-        101,
-        102,
-        34,
-        58,
-        32,
-        123,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        112,
-        97,
-        114,
-        97,
-        34,
-        58,
-        32,
-        34,
-        65,
-        32,
-        109,
-        101,
-        116,
-        97,
-        45,
-        109,
-        97,
-        114,
-        107,
-        117,
-        112,
-        32,
-        108,
-        97,
-        110,
-        103,
-        117,
-        97,
-        103,
-        101,
-        44,
-        32,
-        117,
-        115,
-        101,
-        100,
-        32,
-        116,
-        111,
-        32,
-        99,
-        114,
-        101,
-        97,
-        116,
-        101,
-        32,
-        109,
-        97,
-        114,
-        107,
-        117,
-        112,
-        32,
-        108,
-        97,
-        110,
-        103,
-        117,
-        97,
-        103,
-        101,
-        115,
-        32,
-        115,
-        117,
-        99,
-        104,
-        32,
-        97,
-        115,
-        32,
-        68,
-        111,
-        99,
-        66,
-        111,
-        111,
-        107,
-        46,
-        34,
-        44,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        71,
-        108,
-        111,
-        115,
-        115,
-        83,
-        101,
-        101,
-        65,
-        108,
-        115,
-        111,
-        34,
-        58,
-        32,
-        91,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        71,
-        77,
-        76,
-        34,
-        44,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        88,
-        77,
-        76,
-        34,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        93,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        125,
-        44,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        71,
-        108,
-        111,
-        115,
-        115,
-        83,
-        101,
-        101,
-        34,
-        58,
-        32,
-        34,
-        109,
-        97,
-        114,
-        107,
-        117,
-        112,
-        34,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        125,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        125,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        125,
-        10,
-        32,
-        32,
-        32,
-        32,
-        125,
-        10,
-        125,
-        77,
-        76,
-        34,
-        44,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        71,
-        108,
-        111,
-        115,
-        115,
-        84,
-        101,
-        114,
-        109,
-        34,
-        58,
-        32,
-        34,
-        83,
-        116,
-        97,
-        110,
-        100,
-        97,
-        114,
-        100,
-        32,
-        71,
-        101,
-        110,
-        101,
-        114,
-        97,
-        108,
-        105,
-        122,
-        101,
-        100,
-        32,
-        77,
-        97,
-        114,
-        107,
-        117,
-        112,
-        32,
-        76,
-        97,
-        110,
-        103,
-        117,
-        97,
-        103,
-        101,
-        34,
-        44,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        65,
-        99,
-        114,
-        111,
-        110,
-        121,
-        109,
-        34,
-        58,
-        32,
-        34,
-        83,
-        71,
-        77,
-        76,
-        34,
-        44,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        65,
-        98,
-        98,
-        114,
-        101,
-        118,
-        34,
-        58,
-        32,
-        34,
-        73,
-        83,
-        79,
-        32,
-        56,
-        56,
-        55,
-        57,
-        58,
-        49,
-        57,
-        56,
-        54,
-        34,
-        44,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        71,
-        108,
-        111,
-        115,
-        115,
-        68,
-        101,
-        102,
-        34,
-        58,
-        32,
-        123,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        112,
-        97,
-        114,
-        97,
-        34,
-        58,
-        32,
-        34,
-        65,
-        32,
-        109,
-        101,
-        116,
-        97,
-        45,
-        109,
-        97,
-        114,
-        107,
-        117,
-        112,
-        32,
-        108,
-        97,
-        110,
-        103,
-        117,
-        97,
-        103,
-        101,
-        44,
-        32,
-        117,
-        115,
-        101,
-        100,
-        32,
-        116,
-        111,
-        32,
-        99,
-        114,
-        101,
-        97,
-        116,
-        101,
-        32,
-        109,
-        97,
-        114,
-        107,
-        117,
-        112,
-        32,
-        108,
-        97,
-        110,
-        103,
-        117,
-        97,
-        103,
-        101,
-        115,
-        32,
-        115,
-        117,
-        99,
-        104,
-        32,
-        97,
-        115,
-        32,
-        68,
-        111,
-        99,
-        66,
-        111,
-        111,
-        107,
-        46,
-        34,
-        44,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        71,
-        108,
-        111,
-        115,
-        115,
-        83,
-        101,
-        101,
-        65,
-        108,
-        115,
-        111,
-        34,
-        58,
-        32,
-        91,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        71,
-        77,
-        76,
-        34,
-        44,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        88,
-        77,
-        76,
-        34,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        93,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        125,
-        44,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        71,
-        108,
-        111,
-        115,
-        115,
-        83,
-        101,
-        101,
-        34,
-        58,
-        32,
-        34,
-        109,
-        97,
-        114,
-        107,
-        117,
-        112,
-        34,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        125,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        125,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        125,
-        10,
-        32,
-        32,
-        32,
-        32,
-        125,
-        10,
         125
     ]
 }
\ No newline at end of file
diff --git a/inputs/search/witness2.json b/inputs/search/witness2.json
deleted file mode 100644
index c69c0a8..0000000
--- a/inputs/search/witness2.json
+++ /dev/null
@@ -1,803 +0,0 @@
-{
-    "key": [
-        34,
-        103,
-        108,
-        111,
-        115,
-        115,
-        97,
-        114,
-        121,
-        34
-    ],
-    "data": [
-        123,
-        10,
-        32,
-        32,
-        32,
-        32,
-        34,
-        103,
-        108,
-        111,
-        115,
-        115,
-        97,
-        114,
-        121,
-        34,
-        58,
-        32,
-        123,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        116,
-        105,
-        116,
-        108,
-        101,
-        34,
-        58,
-        32,
-        34,
-        101,
-        120,
-        97,
-        109,
-        112,
-        108,
-        101,
-        32,
-        103,
-        108,
-        111,
-        115,
-        115,
-        97,
-        114,
-        121,
-        34,
-        44,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        71,
-        108,
-        111,
-        115,
-        115,
-        68,
-        105,
-        118,
-        34,
-        58,
-        32,
-        123,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        116,
-        105,
-        116,
-        108,
-        101,
-        34,
-        58,
-        32,
-        34,
-        83,
-        34,
-        44,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        71,
-        108,
-        111,
-        115,
-        115,
-        76,
-        105,
-        115,
-        116,
-        34,
-        58,
-        32,
-        123,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        71,
-        108,
-        111,
-        115,
-        115,
-        69,
-        110,
-        116,
-        114,
-        121,
-        34,
-        58,
-        32,
-        123,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        73,
-        68,
-        34,
-        58,
-        32,
-        34,
-        83,
-        71,
-        77,
-        76,
-        34,
-        44,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        83,
-        111,
-        114,
-        116,
-        65,
-        115,
-        34,
-        58,
-        32,
-        34,
-        83,
-        71,
-        77,
-        76,
-        34,
-        44,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        71,
-        108,
-        111,
-        115,
-        115,
-        84,
-        101,
-        114,
-        109,
-        34,
-        58,
-        32,
-        34,
-        83,
-        116,
-        97,
-        110,
-        100,
-        97,
-        114,
-        100,
-        32,
-        71,
-        101,
-        110,
-        101,
-        114,
-        97,
-        108,
-        105,
-        122,
-        101,
-        100,
-        32,
-        77,
-        97,
-        114,
-        107,
-        117,
-        112,
-        32,
-        76,
-        97,
-        110,
-        103,
-        117,
-        97,
-        103,
-        101,
-        34,
-        44,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        65,
-        99,
-        114,
-        111,
-        110,
-        121,
-        109,
-        34,
-        58,
-        32,
-        34,
-        83,
-        71,
-        77,
-        76,
-        34,
-        44,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        65,
-        98,
-        98,
-        114,
-        101,
-        118,
-        34,
-        58,
-        32,
-        34,
-        73,
-        83,
-        79,
-        32,
-        56,
-        56,
-        55,
-        57,
-        58,
-        49,
-        57,
-        56,
-        54,
-        34,
-        44,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        71,
-        108,
-        111,
-        115,
-        115,
-        68,
-        101,
-        102,
-        34,
-        58,
-        32,
-        123,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        112,
-        97,
-        114,
-        97,
-        34,
-        58,
-        32,
-        34,
-        65,
-        32,
-        109,
-        101,
-        116,
-        97,
-        45,
-        109,
-        97,
-        114,
-        107,
-        117,
-        112,
-        32,
-        108,
-        97,
-        110,
-        103,
-        117,
-        97,
-        103,
-        101,
-        44,
-        32,
-        117,
-        115,
-        101,
-        100,
-        32,
-        116,
-        111,
-        32,
-        99,
-        114,
-        101,
-        97,
-        116,
-        101,
-        32,
-        109,
-        97,
-        114,
-        107,
-        117,
-        112,
-        32,
-        108,
-        97,
-        110,
-        103,
-        117,
-        97,
-        103,
-        101,
-        115,
-        32,
-        115,
-        117,
-        99,
-        104,
-        32,
-        97,
-        115,
-        32,
-        68,
-        111,
-        99,
-        66,
-        111,
-        111,
-        107,
-        46,
-        34,
-        44,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        71,
-        108,
-        111,
-        115,
-        115,
-        83,
-        101,
-        101,
-        65,
-        108,
-        115,
-        111,
-        34,
-        58,
-        32,
-        91,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        71,
-        77,
-        76,
-        34,
-        44,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        88,
-        77,
-        76,
-        34,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        93,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        125,
-        44,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        34,
-        71,
-        108,
-        111,
-        115,
-        115,
-        83,
-        101,
-        101,
-        34,
-        58,
-        32,
-        34,
-        109,
-        97,
-        114,
-        107,
-        117,
-        112,
-        34,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        125,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        125,
-        10,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        32,
-        125,
-        10,
-        32,
-        32,
-        32,
-        32,
-        125,
-        10,
-        125
-    ]
-}
\ No newline at end of file