@kassealhq/sdk 0.0.0-stage → 0.1.1

package/dist/artifacts/contracts/curve/v1/artifacts/v1-kasseal-mainnet-2-tn10/curve.standard-lot10k-k613.artifact.json

@@ -0,0 +1,350 @@
+{
+  "schema_version": 1,
+  "compiler_version": "0.1.0",
+  "structs": {
+    "KCC20Full": {
+      "fields": [
+        {
+          "name": "ctx",
+          "type": {
+            "kind": "fixed_bytes",
+            "len": 32
+          }
+        },
+        {
+          "name": "amount",
+          "type": {
+            "kind": "int"
+          }
+        },
+        {
+          "name": "owner",
+          "type": {
+            "kind": "fixed_bytes",
+            "len": 32
+          }
+        },
+        {
+          "name": "scheme",
+          "type": {
+            "kind": "byte"
+          }
+        },
+        {
+          "name": "borrow",
+          "type": {
+            "kind": "byte"
+          }
+        },
+        {
+          "name": "guard",
+          "type": {
+            "kind": "fixed_bytes",
+            "len": 32
+          }
+        },
+        {
+          "name": "ext",
+          "type": {
+            "kind": "fixed_bytes",
+            "len": 32
+          }
+        }
+      ]
+    },
+    "PoolState": {
+      "fields": [
+        {
+          "name": "tokenCovId",
+          "type": {
+            "kind": "fixed_bytes",
+            "len": 32
+          }
+        },
+        {
+          "name": "kasScaled",
+          "type": {
+            "kind": "int"
+          }
+        },
+        {
+          "name": "tokenReserve",
+          "type": {
+            "kind": "int"
+          }
+        },
+        {
+          "name": "lpShares",
+          "type": {
+            "kind": "int"
+          }
+        },
+        {
+          "name": "lpCovId",
+          "type": {
+            "kind": "fixed_bytes",
+            "len": 32
+          }
+        },
+        {
+          "name": "feeAccruedScaled",
+          "type": {
+            "kind": "int"
+          }
+        },
+        {
+          "name": "creatorSpk",
+          "type": {
+            "kind": "fixed_bytes",
+            "len": 36
+          }
+        }
+      ]
+    }
+  },
+  "contracts": {
+    "Curve": {
+      "source_path": "sil/Curve.sil",
+      "runtime_state": {
+        "source": "State",
+        "fields": [
+          {
+            "name": "tokenCovId",
+            "type": {
+              "kind": "fixed_bytes",
+              "len": 32
+            }
+          },
+          {
+            "name": "lotsSold",
+            "type": {
+              "kind": "int"
+            }
+          },
+          {
+            "name": "feeAccrued",
+            "type": {
+              "kind": "int"
+            }
+          },
+          {
+            "name": "phase",
+            "type": {
+              "kind": "byte"
+            }
+          }
+        ]
+      },
+      "entries": {
+        "__covenant_entrypoint_auth_buy": {
+          "dispatch_tag": "904b34e8",
+          "params": [
+            {
+              "name": "n",
+              "type": {
+                "kind": "int"
+              }
+            },
+            {
+              "name": "user",
+              "type": {
+                "kind": "struct",
+                "name": "KCC20Full"
+              }
+            }
+          ]
+        },
+        "__covenant_entrypoint_auth_graduate": {
+          "dispatch_tag": "8cbe9536",
+          "params": [
+            {
+              "name": "poolPrefix",
+              "type": {
+                "kind": "bytes"
+              }
+            },
+            {
+              "name": "poolSuffix",
+              "type": {
+                "kind": "bytes"
+              }
+            }
+          ]
+        },
+        "__covenant_entrypoint_auth_init": {
+          "dispatch_tag": "a651f278",
+          "params": [
+            {
+              "name": "prefix",
+              "type": {
+                "kind": "bytes"
+              }
+            },
+            {
+              "name": "suffix",
+              "type": {
+                "kind": "bytes"
+              }
+            }
+          ]
+        },
+        "__covenant_entrypoint_auth_sell": {
+          "dispatch_tag": "a42ba2dd",
+          "params": [
+            {
+              "name": "n",
+              "type": {
+                "kind": "int"
+              }
+            }
+          ]
+        },
+        "__covenant_entrypoint_auth_sweep": {
+          "dispatch_tag": "b1f6f40b",
+          "params": []
+        }
+      },
+      "cov_decl_to_abi": {
+        "buy": "__covenant_entrypoint_auth_buy",
+        "graduate": "__covenant_entrypoint_auth_graduate",
+        "init": "__covenant_entrypoint_auth_init",
+        "sell": "__covenant_entrypoint_auth_sell",
+        "sweep": "__covenant_entrypoint_auth_sweep"
+      },
+      "compiled": {
+        "bytecode": [
+          107, 32, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 8, 0, 0, 0, 0, 0, 0, 0, 0, 8, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 108, 118, 4, 166, 81, 242, 120, 135, 99, 117,
+          85, 121, 130, 81, 151, 0, 157, 117, 84, 121, 130, 81, 151, 0, 157, 117, 185, 203, 84, 121, 84, 121, 84, 121, 84, 121, 83, 121, 83, 121, 83, 121, 83, 121, 94, 121, 94, 121, 82, 121, 1, 0, 135, 105, 3, 64, 212, 74, 0, 162, 105, 3, 64, 212, 74, 6, 0, 16, 165, 212, 232, 0, 161, 105,
+          2, 101, 2, 0, 162, 105, 2, 101, 2, 5, 0, 228, 11, 84, 2, 161, 105, 3, 128, 56, 1, 2, 64, 31, 160, 99, 2, 101, 2, 3, 64, 66, 15, 161, 105, 104, 2, 16, 39, 0, 160, 105, 2, 16, 39, 6, 0, 16, 165, 212, 232, 0, 161, 105, 3, 128, 56, 1, 0, 160, 105, 3, 128, 56,
+          1, 3, 0, 53, 12, 161, 105, 4, 0, 132, 215, 23, 0, 160, 105, 4, 0, 132, 215, 23, 4, 0, 140, 134, 71, 161, 105, 1, 100, 0, 162, 105, 1, 100, 2, 200, 0, 161, 105, 4, 0, 202, 154, 59, 0, 160, 105, 0, 0, 162, 105, 2, 32, 3, 0, 160, 105, 0, 191, 36, 0, 0, 32, 34,
+          34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 172, 135, 105, 120, 130, 124, 117, 81, 150, 81, 156, 105, 118, 130, 124, 117, 81, 150, 2, 45, 15, 156, 105, 180, 82, 162, 105, 185, 207, 118, 32, 0, 0,
+          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 135, 145, 105, 118, 118, 0, 213, 118, 32, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
+          0, 0, 0, 0, 0, 0, 0, 135, 145, 105, 118, 82, 121, 135, 145, 105, 81, 213, 120, 135, 105, 118, 208, 0, 156, 105, 32, 151, 3, 17, 46, 230, 227, 85, 81, 7, 205, 22, 136, 88, 153, 43, 119, 211, 183, 79, 101, 82, 5, 178, 180, 99, 177, 249, 236, 46, 199, 60, 247, 3, 128, 56, 1, 2,
+          16, 39, 149, 83, 121, 32, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 83, 121, 83, 121, 83, 121, 1, 4, 1, 0, 32, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
+          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 86, 121, 86, 121, 86, 121, 86, 121, 86, 121, 86, 121, 86, 121, 86, 121, 32, 151, 3, 17, 46, 230, 227, 85, 81, 7, 205, 22, 136, 88, 153, 43, 119, 211, 183, 79, 101, 82, 5, 178, 180, 99, 177, 249, 236, 46, 199,
+          60, 247, 4, 0, 132, 215, 23, 1, 21, 121, 32, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 83, 121, 83, 121, 83, 121, 1, 4, 1, 0, 32, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
+          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 86, 121, 86, 121, 86, 121, 86, 121, 86, 121, 86, 121, 86, 121, 86, 121, 32, 151, 3, 17, 46, 230, 227, 85, 81, 7, 205, 22, 136, 88, 153, 43, 119, 211, 183, 79, 101, 82, 5, 178, 180, 99,
+          177, 249, 236, 46, 199, 60, 247, 1, 42, 121, 130, 124, 117, 81, 150, 88, 205, 1, 43, 121, 126, 1, 42, 121, 130, 124, 117, 81, 150, 88, 205, 1, 43, 121, 126, 126, 217, 136, 1, 32, 1, 25, 121, 126, 1, 8, 1, 25, 121, 88, 205, 126, 1, 32, 1, 25, 121, 126, 1, 1, 1, 25, 121, 126,
+          1, 1, 1, 25, 121, 126, 1, 32, 1, 25, 121, 126, 1, 32, 1, 25, 121, 126, 126, 126, 126, 126, 126, 126, 1, 42, 121, 124, 126, 1, 41, 121, 126, 170, 2, 0, 0, 1, 170, 126, 1, 32, 126, 124, 126, 1, 135, 126, 0, 195, 136, 32, 151, 3, 17, 46, 230, 227, 85, 81, 7, 205, 22, 136,
+          88, 153, 43, 119, 211, 183, 79, 101, 82, 5, 178, 180, 99, 177, 249, 236, 46, 199, 60, 247, 1, 42, 121, 130, 124, 117, 81, 150, 88, 205, 1, 43, 121, 126, 1, 42, 121, 130, 124, 117, 81, 150, 88, 205, 1, 43, 121, 126, 126, 217, 136, 1, 32, 87, 121, 126, 1, 8, 87, 121, 88, 205, 126, 1,
+          32, 87, 121, 126, 1, 1, 87, 121, 126, 1, 1, 87, 121, 126, 1, 32, 87, 121, 126, 1, 32, 87, 121, 126, 126, 126, 126, 126, 126, 126, 1, 42, 121, 124, 126, 1, 41, 121, 126, 170, 2, 0, 0, 1, 170, 126, 1, 32, 126, 124, 126, 1, 135, 126, 81, 195, 136, 0, 194, 4, 0, 202, 154, 59,
+          162, 105, 81, 194, 4, 0, 202, 154, 59, 162, 105, 0, 3, 128, 56, 1, 120, 0, 162, 105, 118, 0, 160, 105, 118, 3, 128, 56, 1, 161, 105, 120, 120, 147, 3, 128, 56, 1, 161, 105, 0, 3, 128, 56, 1, 118, 120, 81, 148, 149, 82, 150, 120, 3, 64, 212, 74, 149, 2, 101, 2, 83, 121, 85,
+          121, 149, 83, 121, 147, 149, 147, 185, 190, 120, 147, 4, 0, 225, 245, 5, 147, 7, 0, 128, 198, 164, 126, 141, 3, 161, 105, 185, 203, 81, 156, 105, 185, 0, 204, 118, 82, 156, 105, 82, 194, 185, 190, 156, 105, 180, 84, 161, 105, 180, 84, 156, 99, 83, 213, 1, 44, 121, 135, 145, 105, 104, 1, 43,
+          121, 0, 0, 1, 1, 1, 61, 121, 81, 156, 105, 185, 0, 204, 1, 32, 85, 121, 126, 1, 8, 85, 121, 88, 205, 126, 1, 8, 85, 121, 88, 205, 126, 1, 1, 85, 121, 126, 126, 126, 126, 185, 118, 201, 2, 59, 31, 148, 118, 81, 147, 188, 124, 126, 185, 118, 201, 118, 2, 5, 159, 147, 124, 188,
+          126, 170, 2, 0, 0, 1, 170, 126, 1, 32, 126, 124, 126, 1, 135, 126, 120, 195, 136, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117,
+          117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 81, 103, 118, 4, 144, 75, 52, 232, 135, 99, 117, 91, 121, 130, 89, 159, 105, 117, 90, 121, 130, 1, 32, 157, 117, 89, 121, 130, 89, 159, 105, 117, 88, 121, 130, 1, 32, 157, 117, 87,
+          121, 130, 81, 157, 117, 86, 121, 130, 81, 157, 117, 85, 121, 130, 1, 32, 157, 117, 84, 121, 130, 1, 32, 157, 117, 185, 203, 84, 121, 84, 121, 84, 121, 84, 121, 83, 121, 83, 121, 83, 121, 83, 121, 1, 20, 121, 1, 20, 121, 1, 20, 121, 1, 20, 121, 1, 20, 121, 1, 20, 121, 1, 20, 121,
+          1, 20, 121, 88, 121, 1, 1, 135, 105, 3, 64, 212, 74, 0, 162, 105, 3, 64, 212, 74, 6, 0, 16, 165, 212, 232, 0, 161, 105, 2, 101, 2, 0, 162, 105, 2, 101, 2, 5, 0, 228, 11, 84, 2, 161, 105, 3, 128, 56, 1, 2, 64, 31, 160, 99, 2, 101, 2, 3, 64, 66, 15, 161, 105,
+          104, 2, 16, 39, 0, 160, 105, 2, 16, 39, 6, 0, 16, 165, 212, 232, 0, 161, 105, 3, 128, 56, 1, 0, 160, 105, 3, 128, 56, 1, 3, 0, 53, 12, 161, 105, 4, 0, 132, 215, 23, 0, 160, 105, 4, 0, 132, 215, 23, 4, 0, 140, 134, 71, 161, 105, 1, 100, 0, 162, 105, 1, 100, 2,
+          200, 0, 161, 105, 4, 0, 202, 154, 59, 0, 160, 105, 0, 0, 162, 105, 2, 32, 3, 0, 160, 105, 90, 121, 88, 121, 120, 0, 162, 105, 118, 0, 160, 105, 118, 3, 128, 56, 1, 161, 105, 120, 120, 147, 3, 128, 56, 1, 161, 105, 91, 121, 0, 162, 105, 92, 121, 0, 159, 99, 89, 121, 2, 32,
+          3, 161, 105, 104, 89, 121, 2, 16, 39, 149, 185, 207, 118, 32, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 135, 145, 105, 118, 118, 1, 17, 121, 118, 208, 81, 156, 105, 118, 210, 82, 156, 105,
+          118, 0, 209, 118, 191, 120, 82, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 83, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 2, 145, 0, 147, 2, 45, 15, 147, 147, 188, 170, 2, 0, 0, 1, 170, 126, 1, 32, 126, 124, 126, 1, 135, 126, 136, 32, 151, 3, 17, 46,
+          230, 227, 85, 81, 7, 205, 22, 136, 88, 153, 43, 119, 211, 183, 79, 101, 82, 5, 178, 180, 99, 177, 249, 236, 46, 199, 60, 247, 81, 88, 205, 82, 121, 83, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 84, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 147, 188, 126, 2,
+          45, 15, 88, 205, 83, 121, 84, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 147, 2, 145, 0, 147, 85, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 147, 2, 145, 0, 147, 2, 45, 15, 147, 188, 126, 126, 217, 136, 118, 120, 201, 81, 2, 145, 0, 147, 2, 45, 15,
+          147, 148, 81, 81, 147, 147, 82, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 81, 147, 147, 1, 32, 147, 188, 120, 82, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 34, 147, 147, 83, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 34, 147, 147,
+          88, 147, 188, 82, 121, 83, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 43, 147, 147, 84, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 43, 147, 147, 1, 32, 147, 188, 83, 121, 84, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 76, 147,
+          147, 85, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 76, 147, 147, 81, 147, 188, 84, 121, 85, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 78, 147, 147, 86, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 78, 147, 147, 81, 147, 188, 85,
+          121, 86, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 80, 147, 147, 87, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 80, 147, 147, 1, 32, 147, 188, 86, 121, 87, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 113, 147, 147, 88, 121, 201,
+          81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 113, 147, 147, 1, 32, 147, 188, 84, 121, 90, 121, 135, 105, 83, 121, 1, 4, 135, 105, 82, 121, 1, 0, 135, 105, 120, 32, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
+          0, 0, 0, 0, 0, 0, 0, 135, 105, 85, 121, 3, 128, 56, 1, 1, 27, 121, 148, 2, 16, 39, 149, 156, 105, 88, 121, 0, 211, 87, 121, 87, 121, 95, 121, 148, 92, 121, 84, 121, 83, 121, 83, 121, 83, 121, 1, 4, 1, 0, 32, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
+          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 86, 121, 86, 121, 86, 121, 86, 121, 86, 121, 86, 121, 86, 121, 86, 121, 0, 1, 27, 121, 1, 28, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 1, 29, 121, 201, 81, 2, 145, 0, 147, 2, 45,
+          15, 147, 148, 81, 147, 188, 119, 0, 1, 28, 121, 1, 29, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 147, 2, 145, 0, 147, 1, 30, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 147, 2, 145, 0, 147, 2, 45, 15, 147, 188, 119, 32, 151, 3, 17, 46, 230, 227,
+          85, 81, 7, 205, 22, 136, 88, 153, 43, 119, 211, 183, 79, 101, 82, 5, 178, 180, 99, 177, 249, 236, 46, 199, 60, 247, 82, 121, 130, 124, 117, 81, 150, 88, 205, 83, 121, 126, 82, 121, 130, 124, 117, 81, 150, 88, 205, 83, 121, 126, 126, 217, 136, 1, 32, 89, 121, 126, 1, 8, 89, 121, 88, 205,
+          126, 1, 32, 89, 121, 126, 1, 1, 89, 121, 126, 1, 1, 89, 121, 126, 1, 32, 89, 121, 126, 1, 32, 89, 121, 126, 126, 126, 126, 126, 126, 126, 82, 121, 124, 126, 120, 126, 170, 2, 0, 0, 1, 170, 126, 1, 32, 126, 124, 126, 1, 135, 126, 1, 21, 121, 195, 136, 1, 20, 121, 194, 4, 0,
+          202, 154, 59, 162, 105, 1, 29, 121, 81, 211, 1, 43, 121, 1, 29, 121, 135, 105, 1, 42, 121, 1, 35, 121, 156, 105, 1, 40, 121, 1, 0, 126, 83, 161, 105, 1, 39, 121, 1, 0, 126, 83, 161, 105, 1, 37, 121, 1, 23, 121, 135, 105, 0, 1, 30, 121, 1, 31, 121, 201, 81, 2, 145, 0,
+          147, 2, 45, 15, 147, 148, 1, 32, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 147, 188, 119, 0, 1, 31, 121, 1, 32, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 147, 2, 145, 0, 147, 1, 33, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 147,
+          2, 145, 0, 147, 2, 45, 15, 147, 188, 119, 32, 151, 3, 17, 46, 230, 227, 85, 81, 7, 205, 22, 136, 88, 153, 43, 119, 211, 183, 79, 101, 82, 5, 178, 180, 99, 177, 249, 236, 46, 199, 60, 247, 82, 121, 130, 124, 117, 81, 150, 88, 205, 83, 121, 126, 82, 121, 130, 124, 117, 81, 150, 88, 205,
+          83, 121, 126, 126, 217, 136, 1, 32, 1, 46, 121, 126, 1, 8, 1, 46, 121, 88, 205, 126, 1, 32, 1, 46, 121, 126, 1, 1, 1, 46, 121, 126, 1, 1, 1, 46, 121, 126, 1, 32, 1, 46, 121, 126, 1, 32, 1, 46, 121, 126, 126, 126, 126, 126, 126, 126, 82, 121, 124, 126, 120, 126, 170, 2,
+          0, 0, 1, 170, 126, 1, 32, 126, 124, 126, 1, 135, 126, 83, 121, 195, 136, 1, 49, 121, 1, 47, 121, 118, 120, 81, 148, 149, 82, 150, 120, 3, 64, 212, 74, 149, 2, 101, 2, 83, 121, 85, 121, 149, 83, 121, 147, 149, 147, 118, 118, 118, 2, 16, 39, 150, 120, 2, 16, 39, 151, 120, 1, 100,
+          149, 120, 1, 100, 149, 2, 16, 39, 81, 148, 147, 2, 16, 39, 150, 147, 118, 185, 203, 81, 156, 105, 185, 0, 204, 118, 118, 194, 185, 190, 89, 121, 147, 84, 121, 147, 156, 105, 1, 44, 121, 1, 62, 121, 1, 60, 121, 147, 1, 62, 121, 85, 121, 147, 1, 1, 1, 71, 121, 81, 156, 105, 185, 0,
+          204, 1, 32, 85, 121, 126, 1, 8, 85, 121, 88, 205, 126, 1, 8, 85, 121, 88, 205, 126, 1, 1, 85, 121, 126, 126, 126, 126, 185, 118, 201, 2, 59, 31, 148, 118, 81, 147, 188, 124, 126, 185, 118, 201, 118, 2, 5, 159, 147, 124, 188, 126, 170, 2, 0, 0, 1, 170, 126, 1, 32, 126, 124, 126,
+          1, 135, 126, 120, 195, 136, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117,
+          117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 81, 103, 118, 4, 164, 43, 162, 221, 135, 99, 117, 84, 121, 130, 89, 159, 105, 117, 185, 203, 84, 121, 84, 121, 84, 121, 84, 121, 83, 121, 83, 121, 83, 121, 83, 121, 93,
+          121, 120, 1, 1, 135, 105, 3, 64, 212, 74, 0, 162, 105, 3, 64, 212, 74, 6, 0, 16, 165, 212, 232, 0, 161, 105, 2, 101, 2, 0, 162, 105, 2, 101, 2, 5, 0, 228, 11, 84, 2, 161, 105, 3, 128, 56, 1, 2, 64, 31, 160, 99, 2, 101, 2, 3, 64, 66, 15, 161, 105, 104, 2, 16,
+          39, 0, 160, 105, 2, 16, 39, 6, 0, 16, 165, 212, 232, 0, 161, 105, 3, 128, 56, 1, 0, 160, 105, 3, 128, 56, 1, 3, 0, 53, 12, 161, 105, 4, 0, 132, 215, 23, 0, 160, 105, 4, 0, 132, 215, 23, 4, 0, 140, 134, 71, 161, 105, 1, 100, 0, 162, 105, 1, 100, 2, 200, 0, 161,
+          105, 4, 0, 202, 154, 59, 0, 160, 105, 0, 0, 162, 105, 2, 32, 3, 0, 160, 105, 118, 0, 160, 105, 118, 84, 121, 161, 105, 83, 121, 3, 128, 56, 1, 161, 105, 82, 121, 0, 162, 105, 118, 2, 16, 39, 149, 185, 207, 118, 32, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
+          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 135, 145, 105, 118, 118, 88, 121, 118, 208, 82, 156, 105, 118, 210, 81, 156, 105, 118, 0, 209, 120, 81, 209, 120, 191, 82, 121, 83, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 84, 121, 201, 81, 2, 145,
+          0, 147, 2, 45, 15, 147, 148, 81, 2, 145, 0, 147, 2, 45, 15, 147, 147, 188, 170, 2, 0, 0, 1, 170, 126, 1, 32, 126, 124, 126, 1, 135, 126, 136, 32, 151, 3, 17, 46, 230, 227, 85, 81, 7, 205, 22, 136, 88, 153, 43, 119, 211, 183, 79, 101, 82, 5, 178, 180, 99, 177, 249, 236, 46,
+          199, 60, 247, 81, 88, 205, 83, 121, 84, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 85, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 147, 188, 126, 2, 45, 15, 88, 205, 84, 121, 85, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 147, 2, 145, 0, 147,
+          86, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 147, 2, 145, 0, 147, 2, 45, 15, 147, 188, 126, 126, 217, 136, 120, 82, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 81, 147, 147, 83, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 81, 147, 147, 1,
+          32, 147, 188, 82, 121, 83, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 34, 147, 147, 84, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 34, 147, 147, 88, 147, 188, 83, 121, 84, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 43, 147, 147,
+          85, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 43, 147, 147, 1, 32, 147, 188, 84, 121, 85, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 76, 147, 147, 86, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 76, 147, 147, 81, 147, 188, 85,
+          121, 86, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 78, 147, 147, 87, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 78, 147, 147, 81, 147, 188, 86, 121, 87, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 80, 147, 147, 88, 121, 201, 81,
+          2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 80, 147, 147, 1, 32, 147, 188, 87, 121, 88, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 113, 147, 147, 89, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 113, 147, 147, 1, 32, 147, 188, 87, 121, 191, 88,
+          121, 89, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 90, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 2, 145, 0, 147, 2, 45, 15, 147, 147, 188, 170, 2, 0, 0, 1, 170, 126, 1, 32, 126, 124, 126, 1, 135, 126, 136, 32, 151, 3, 17, 46, 230, 227, 85, 81, 7,
+          205, 22, 136, 88, 153, 43, 119, 211, 183, 79, 101, 82, 5, 178, 180, 99, 177, 249, 236, 46, 199, 60, 247, 81, 88, 205, 89, 121, 90, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 91, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 147, 188, 126, 2, 45, 15, 88, 205, 90,
+          121, 91, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 147, 2, 145, 0, 147, 92, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 147, 2, 145, 0, 147, 2, 45, 15, 147, 188, 126, 126, 217, 136, 87, 121, 88, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81,
+          81, 147, 147, 89, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 81, 147, 147, 1, 32, 147, 188, 88, 121, 89, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 34, 147, 147, 90, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 34, 147, 147, 88, 147,
+          188, 89, 121, 90, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 43, 147, 147, 91, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 43, 147, 147, 1, 32, 147, 188, 90, 121, 91, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 76, 147, 147, 92,
+          121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 76, 147, 147, 81, 147, 188, 91, 121, 92, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 78, 147, 147, 93, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 78, 147, 147, 81, 147, 188, 92, 121, 93,
+          121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 80, 147, 147, 94, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 80, 147, 147, 1, 32, 147, 188, 93, 121, 94, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 113, 147, 147, 95, 121, 201, 81, 2,
+          145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 113, 147, 147, 1, 32, 147, 188, 84, 121, 1, 18, 121, 135, 105, 83, 121, 1, 4, 135, 105, 82, 121, 1, 0, 135, 105, 120, 32, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
+          0, 0, 0, 0, 0, 0, 135, 105, 85, 121, 3, 128, 56, 1, 1, 26, 121, 148, 2, 16, 39, 149, 156, 105, 91, 121, 1, 18, 121, 135, 91, 121, 1, 4, 135, 154, 145, 105, 90, 121, 1, 3, 135, 99, 91, 121, 2, 0, 0, 1, 170, 126, 1, 32, 126, 124, 126, 1, 135, 126, 185, 191, 120, 135,
+          145, 105, 95, 121, 191, 120, 135, 145, 105, 117, 104, 92, 121, 1, 21, 121, 156, 105, 87, 121, 120, 135, 105, 96, 121, 0, 211, 87, 121, 87, 121, 1, 23, 121, 147, 1, 20, 121, 84, 121, 83, 121, 83, 121, 83, 121, 1, 4, 1, 0, 32, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
+          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 86, 121, 86, 121, 86, 121, 86, 121, 86, 121, 86, 121, 86, 121, 86, 121, 0, 1, 34, 121, 1, 35, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 1, 36, 121, 201, 81, 2, 145, 0, 147, 2, 45,
+          15, 147, 148, 81, 147, 188, 119, 0, 1, 35, 121, 1, 36, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 147, 2, 145, 0, 147, 1, 37, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 147, 2, 145, 0, 147, 2, 45, 15, 147, 188, 119, 32, 151, 3, 17, 46, 230, 227,
+          85, 81, 7, 205, 22, 136, 88, 153, 43, 119, 211, 183, 79, 101, 82, 5, 178, 180, 99, 177, 249, 236, 46, 199, 60, 247, 82, 121, 130, 124, 117, 81, 150, 88, 205, 83, 121, 126, 82, 121, 130, 124, 117, 81, 150, 88, 205, 83, 121, 126, 126, 217, 136, 1, 32, 89, 121, 126, 1, 8, 89, 121, 88, 205,
+          126, 1, 32, 89, 121, 126, 1, 1, 89, 121, 126, 1, 1, 89, 121, 126, 1, 32, 89, 121, 126, 1, 32, 89, 121, 126, 126, 126, 126, 126, 126, 126, 82, 121, 124, 126, 120, 126, 170, 2, 0, 0, 1, 170, 126, 1, 32, 126, 124, 126, 1, 135, 126, 1, 21, 121, 195, 136, 1, 20, 121, 194, 4, 0,
+          202, 154, 59, 162, 105, 1, 45, 121, 1, 43, 121, 148, 118, 1, 44, 121, 120, 0, 162, 105, 118, 0, 160, 105, 118, 3, 128, 56, 1, 161, 105, 120, 120, 147, 3, 128, 56, 1, 161, 105, 82, 121, 1, 46, 121, 118, 120, 81, 148, 149, 82, 150, 120, 3, 64, 212, 74, 149, 2, 101, 2, 83, 121, 85,
+          121, 149, 83, 121, 147, 149, 147, 118, 118, 118, 2, 16, 39, 150, 120, 2, 16, 39, 151, 120, 1, 100, 149, 120, 1, 100, 149, 2, 16, 39, 81, 148, 147, 2, 16, 39, 150, 147, 118, 85, 121, 120, 148, 4, 128, 150, 152, 0, 162, 105, 185, 203, 81, 156, 105, 185, 0, 204, 118, 118, 194, 185, 190, 89,
+          121, 148, 84, 121, 147, 156, 105, 1, 52, 121, 95, 121, 1, 61, 121, 85, 121, 147, 1, 1, 1, 70, 121, 81, 156, 105, 185, 0, 204, 1, 32, 85, 121, 126, 1, 8, 85, 121, 88, 205, 126, 1, 8, 85, 121, 88, 205, 126, 1, 1, 85, 121, 126, 126, 126, 126, 185, 118, 201, 2, 59, 31, 148, 118,
+          81, 147, 188, 124, 126, 185, 118, 201, 118, 2, 5, 159, 147, 124, 188, 126, 170, 2, 0, 0, 1, 170, 126, 1, 32, 126, 124, 126, 1, 135, 126, 120, 195, 136, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117,
+          117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 81, 103, 118, 4, 177, 246, 244, 11, 135, 99, 117, 185, 203, 84, 121, 84, 121,
+          84, 121, 84, 121, 83, 121, 83, 121, 83, 121, 83, 121, 118, 1, 1, 135, 105, 3, 64, 212, 74, 0, 162, 105, 3, 64, 212, 74, 6, 0, 16, 165, 212, 232, 0, 161, 105, 2, 101, 2, 0, 162, 105, 2, 101, 2, 5, 0, 228, 11, 84, 2, 161, 105, 3, 128, 56, 1, 2, 64, 31, 160, 99, 2,
+          101, 2, 3, 64, 66, 15, 161, 105, 104, 2, 16, 39, 0, 160, 105, 2, 16, 39, 6, 0, 16, 165, 212, 232, 0, 161, 105, 3, 128, 56, 1, 0, 160, 105, 3, 128, 56, 1, 3, 0, 53, 12, 161, 105, 4, 0, 132, 215, 23, 0, 160, 105, 4, 0, 132, 215, 23, 4, 0, 140, 134, 71, 161, 105,
+          1, 100, 0, 162, 105, 1, 100, 2, 200, 0, 161, 105, 4, 0, 202, 154, 59, 0, 160, 105, 0, 0, 162, 105, 2, 32, 3, 0, 160, 105, 82, 121, 0, 162, 105, 82, 121, 3, 128, 56, 1, 159, 105, 120, 4, 0, 202, 154, 59, 162, 105, 185, 207, 118, 32, 0, 0, 0, 0, 0, 0, 0, 0, 0,
+          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 135, 145, 105, 118, 118, 86, 121, 208, 0, 156, 105, 185, 203, 81, 156, 105, 185, 0, 204, 118, 180, 120, 83, 147, 162, 105, 86, 121, 120, 81, 147, 82, 121, 82, 147, 82, 121, 4, 0, 225, 245,
+          5, 162, 105, 82, 121, 118, 82, 150, 118, 85, 121, 120, 148, 85, 121, 195, 36, 0, 0, 32, 78, 16, 91, 9, 123, 143, 248, 238, 217, 44, 115, 195, 234, 104, 38, 14, 243, 154, 149, 93, 61, 94, 158, 87, 233, 117, 62, 106, 38, 58, 211, 53, 172, 135, 105, 85, 121, 194, 82, 121, 156, 105, 85, 121,
+          213, 32, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 135, 105, 84, 121, 195, 36, 0, 0, 32, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34,
+          34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 172, 135, 105, 84, 121, 194, 120, 156, 105, 84, 121, 213, 32, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 135, 105, 87, 121, 194, 185, 190, 95,
+          121, 148, 156, 105, 95, 121, 95, 121, 0, 1, 1, 1, 24, 121, 81, 156, 105, 185, 0, 204, 1, 32, 85, 121, 126, 1, 8, 85, 121, 88, 205, 126, 1, 8, 85, 121, 88, 205, 126, 1, 1, 85, 121, 126, 126, 126, 126, 185, 118, 201, 2, 59, 31, 148, 118, 81, 147, 188, 124, 126, 185, 118, 201, 118,
+          2, 5, 159, 147, 124, 188, 126, 170, 2, 0, 0, 1, 170, 126, 1, 32, 126, 124, 126, 1, 135, 126, 120, 195, 136, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 81, 103, 118, 4, 140, 190, 149, 54, 135,
+          99, 117, 85, 121, 130, 81, 151, 0, 157, 117, 84, 121, 130, 81, 151, 0, 157, 117, 185, 203, 84, 121, 84, 121, 84, 121, 84, 121, 83, 121, 83, 121, 83, 121, 83, 121, 94, 121, 94, 121, 82, 121, 1, 1, 135, 105, 3, 64, 212, 74, 0, 162, 105, 3, 64, 212, 74, 6, 0, 16, 165, 212, 232, 0,
+          161, 105, 2, 101, 2, 0, 162, 105, 2, 101, 2, 5, 0, 228, 11, 84, 2, 161, 105, 3, 128, 56, 1, 2, 64, 31, 160, 99, 2, 101, 2, 3, 64, 66, 15, 161, 105, 104, 2, 16, 39, 0, 160, 105, 2, 16, 39, 6, 0, 16, 165, 212, 232, 0, 161, 105, 3, 128, 56, 1, 0, 160, 105, 3,
+          128, 56, 1, 3, 0, 53, 12, 161, 105, 4, 0, 132, 215, 23, 0, 160, 105, 4, 0, 132, 215, 23, 4, 0, 140, 134, 71, 161, 105, 1, 100, 0, 162, 105, 1, 100, 2, 200, 0, 161, 105, 4, 0, 202, 154, 59, 0, 160, 105, 0, 0, 162, 105, 2, 32, 3, 0, 160, 105, 84, 121, 3, 128, 56,
+          1, 156, 105, 83, 121, 0, 162, 105, 180, 82, 162, 105, 185, 207, 118, 32, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 135, 145, 105, 118, 118, 88, 121, 0, 213, 118, 32, 0, 0, 0, 0, 0,
+          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 135, 145, 105, 118, 83, 121, 135, 145, 105, 118, 82, 121, 135, 145, 105, 118, 208, 0, 156, 105, 120, 208, 118, 81, 162, 105, 118, 82, 161, 105, 82, 121, 210, 81, 156, 105, 82,
+          121, 0, 209, 118, 191, 120, 82, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 83, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 2, 145, 0, 147, 2, 45, 15, 147, 147, 188, 170, 2, 0, 0, 1, 170, 126, 1, 32, 126, 124, 126, 1, 135, 126, 136, 32, 151, 3, 17, 46,
+          230, 227, 85, 81, 7, 205, 22, 136, 88, 153, 43, 119, 211, 183, 79, 101, 82, 5, 178, 180, 99, 177, 249, 236, 46, 199, 60, 247, 81, 88, 205, 82, 121, 83, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 84, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 147, 188, 126, 2,
+          45, 15, 88, 205, 83, 121, 84, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 147, 2, 145, 0, 147, 85, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 147, 2, 145, 0, 147, 2, 45, 15, 147, 188, 126, 126, 217, 136, 118, 120, 201, 81, 2, 145, 0, 147, 2, 45, 15,
+          147, 148, 81, 81, 147, 147, 82, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 81, 147, 147, 1, 32, 147, 188, 120, 82, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 34, 147, 147, 83, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 34, 147, 147,
+          88, 147, 188, 82, 121, 83, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 43, 147, 147, 84, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 43, 147, 147, 1, 32, 147, 188, 83, 121, 84, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 76, 147,
+          147, 85, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 76, 147, 147, 81, 147, 188, 84, 121, 85, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 78, 147, 147, 86, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 78, 147, 147, 81, 147, 188, 85,
+          121, 86, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 80, 147, 147, 87, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 80, 147, 147, 1, 32, 147, 188, 86, 121, 87, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 113, 147, 147, 88, 121, 201,
+          81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 113, 147, 147, 1, 32, 147, 188, 84, 121, 92, 121, 135, 105, 83, 121, 1, 4, 135, 105, 82, 121, 1, 0, 135, 105, 120, 32, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
+          0, 0, 0, 0, 0, 0, 0, 135, 105, 85, 121, 4, 0, 132, 215, 23, 156, 105, 88, 121, 82, 156, 99, 90, 121, 81, 209, 118, 191, 120, 82, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 83, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 2, 145, 0, 147, 2, 45, 15,
+          147, 147, 188, 170, 2, 0, 0, 1, 170, 126, 1, 32, 126, 124, 126, 1, 135, 126, 136, 32, 151, 3, 17, 46, 230, 227, 85, 81, 7, 205, 22, 136, 88, 153, 43, 119, 211, 183, 79, 101, 82, 5, 178, 180, 99, 177, 249, 236, 46, 199, 60, 247, 81, 88, 205, 82, 121, 83, 121, 201, 81, 2, 145, 0,
+          147, 2, 45, 15, 147, 148, 84, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 147, 188, 126, 2, 45, 15, 88, 205, 83, 121, 84, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 147, 2, 145, 0, 147, 85, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 147,
+          2, 145, 0, 147, 2, 45, 15, 147, 188, 126, 126, 217, 136, 118, 120, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 81, 147, 147, 82, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 81, 147, 147, 1, 32, 147, 188, 120, 82, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147,
+          148, 81, 1, 34, 147, 147, 83, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 34, 147, 147, 88, 147, 188, 82, 121, 83, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 43, 147, 147, 84, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 43, 147,
+          147, 1, 32, 147, 188, 83, 121, 84, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 76, 147, 147, 85, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 76, 147, 147, 81, 147, 188, 84, 121, 85, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 78,
+          147, 147, 86, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 78, 147, 147, 81, 147, 188, 85, 121, 86, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 80, 147, 147, 87, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 80, 147, 147, 1, 32, 147,
+          188, 86, 121, 87, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 113, 147, 147, 88, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 1, 113, 147, 147, 1, 32, 147, 188, 84, 121, 1, 20, 121, 135, 105, 83, 121, 1, 4, 135, 105, 82, 121, 1, 0, 135, 105, 120, 32,
+          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 135, 105, 85, 121, 0, 156, 105, 117, 117, 117, 117, 117, 117, 117, 117, 104, 90, 121, 0, 211, 118, 81, 156, 105, 87, 121, 4, 0, 132, 215, 23, 92,
+          121, 84, 121, 83, 121, 83, 121, 83, 121, 1, 4, 1, 0, 32, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 86, 121, 86, 121, 86, 121, 86, 121, 86, 121, 86, 121, 86, 121, 86, 121, 0, 1,
+          27, 121, 1, 28, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 1, 29, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 147, 188, 119, 0, 1, 28, 121, 1, 29, 121, 201, 81, 2, 145, 0, 147, 2, 45, 15, 147, 148, 81, 147, 2, 145, 0, 147, 1, 30, 121, 201, 81, 2,
+          145, 0, 147, 2, 45, 15, 147, 148, 81, 147, 2, 145, 0, 147, 2, 45, 15, 147, 188, 119, 32, 151, 3, 17, 46, 230, 227, 85, 81, 7, 205, 22, 136, 88, 153, 43, 119, 211, 183, 79, 101, 82, 5, 178, 180, 99, 177, 249, 236, 46, 199, 60, 247, 82, 121, 130, 124, 117, 81, 150, 88, 205, 83, 121,
+          126, 82, 121, 130, 124, 117, 81, 150, 88, 205, 83, 121, 126, 126, 217, 136, 1, 32, 89, 121, 126, 1, 8, 89, 121, 88, 205, 126, 1, 32, 89, 121, 126, 1, 1, 89, 121, 126, 1, 1, 89, 121, 126, 1, 32, 89, 121, 126, 1, 32, 89, 121, 126, 126, 126, 126, 126, 126, 126, 82, 121, 124, 126, 120,
+          126, 170, 2, 0, 0, 1, 170, 126, 1, 32, 126, 124, 126, 1, 135, 126, 1, 21, 121, 195, 136, 1, 20, 121, 194, 4, 0, 202, 154, 59, 162, 105, 0, 82, 1, 40, 121, 4, 0, 225, 245, 5, 162, 99, 180, 84, 162, 105, 1, 40, 121, 82, 83, 82, 121, 4, 0, 225, 245, 5, 162, 105, 82, 121,
+          118, 82, 150, 118, 85, 121, 120, 148, 85, 121, 195, 36, 0, 0, 32, 78, 16, 91, 9, 123, 143, 248, 238, 217, 44, 115, 195, 234, 104, 38, 14, 243, 154, 149, 93, 61, 94, 158, 87, 233, 117, 62, 106, 38, 58, 211, 53, 172, 135, 105, 85, 121, 194, 82, 121, 156, 105, 85, 121, 213, 32, 0, 0, 0,
+          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 135, 105, 84, 121, 195, 36, 0, 0, 32, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34,
+          34, 34, 34, 34, 34, 34, 172, 135, 105, 84, 121, 194, 120, 156, 105, 84, 121, 213, 32, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 135, 105, 1, 47, 121, 89, 122, 117, 84, 89, 122, 117, 82,
+          213, 1, 40, 121, 135, 145, 105, 83, 213, 1, 40, 121, 135, 145, 105, 123, 117, 123, 117, 123, 117, 123, 117, 123, 117, 123, 117, 123, 117, 104, 180, 120, 81, 147, 161, 105, 180, 120, 81, 147, 156, 99, 118, 213, 1, 33, 121, 135, 145, 105, 104, 185, 190, 82, 121, 148, 118, 0, 160, 105, 118, 7, 0, 128,
+          198, 164, 126, 141, 3, 161, 105, 0, 194, 120, 156, 105, 118, 3, 64, 66, 15, 150, 118, 81, 162, 105, 118, 4, 0, 202, 154, 59, 161, 105, 1, 35, 121, 120, 4, 0, 132, 215, 23, 3, 64, 66, 15, 32, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
+          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 36, 0, 0, 32, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 172, 32, 40, 23, 3, 149, 202, 147, 80, 150, 108, 13, 115, 47, 252,
+          232, 177, 60, 90, 148, 32, 30, 116, 85, 43, 122, 221, 103, 20, 58, 53, 222, 165, 106, 1, 48, 121, 130, 124, 117, 81, 150, 88, 205, 1, 49, 121, 126, 1, 48, 121, 130, 124, 117, 81, 150, 88, 205, 1, 49, 121, 126, 126, 217, 136, 1, 32, 87, 121, 126, 1, 8, 87, 121, 88, 205, 126, 1, 8,
+          87, 121, 88, 205, 126, 1, 8, 87, 121, 88, 205, 126, 1, 32, 87, 121, 126, 1, 8, 87, 121, 88, 205, 126, 1, 36, 87, 121, 126, 126, 126, 126, 126, 126, 126, 1, 48, 121, 124, 126, 1, 47, 121, 126, 170, 2, 0, 0, 1, 170, 126, 1, 32, 126, 124, 126, 1, 135, 126, 0, 195, 136, 185, 203,
+          0, 156, 105, 0, 0, 0, 0, 1, 60, 121, 81, 161, 105, 1, 60, 121, 84, 121, 130, 124, 117, 1, 32, 150, 156, 105, 0, 1, 61, 121, 120, 120, 83, 121, 148, 81, 161, 105, 118, 82, 121, 159, 99, 118, 185, 120, 204, 88, 121, 82, 121, 1, 32, 149, 118, 1, 32, 147, 127, 88, 121, 83, 121, 88,
+          149, 118, 88, 147, 127, 88, 121, 84, 121, 88, 149, 118, 88, 147, 127, 88, 121, 85, 121, 81, 149, 118, 81, 147, 127, 1, 32, 84, 121, 126, 1, 8, 84, 121, 88, 205, 126, 1, 8, 84, 121, 88, 205, 126, 1, 1, 84, 121, 126, 126, 126, 126, 185, 118, 201, 2, 59, 31, 148, 118, 81, 147, 188, 124,
+          126, 185, 118, 201, 118, 2, 5, 159, 147, 124, 188, 126, 170, 2, 0, 0, 1, 170, 126, 1, 32, 126, 124, 126, 1, 135, 126, 85, 121, 195, 136, 85, 121, 81, 147, 87, 122, 117, 119, 119, 119, 119, 119, 119, 104, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117,
+          117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 117, 81, 103, 106, 104, 104, 104, 104, 104
+        ],
+        "template_hash": [240, 16, 53, 204, 232, 244, 25, 141, 208, 191, 245, 12, 226, 97, 165, 67, 154, 195, 250, 210, 184, 190, 168, 130, 110, 34, 34, 46, 220, 168, 4, 20],
+        "state_span": {
+          "offset": 1,
+          "len": 53
+        }
+      }
+    }
+  }
+}