@kassealhq/sdk 0.0.0-stage → 0.1.0

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

@@ -0,0 +1,351 @@
+{
+  "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, 4, 64, 233, 133, 0, 0, 162, 105, 4, 64, 233, 133, 0, 6, 0, 16, 165, 212, 232, 0,
+          161, 105, 2, 73, 4, 0, 162, 105, 2, 73, 4, 5, 0, 228, 11, 84, 2, 161, 105, 3, 128, 56, 1, 2, 64, 31, 160, 99, 2, 73, 4, 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, 4, 64, 233, 133, 0, 149, 2, 73, 4,
+          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, 72, 31, 148, 118, 81, 147, 188, 124, 126, 185, 118, 201, 118, 2, 18, 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, 4, 64, 233, 133, 0, 0, 162, 105, 4, 64, 233, 133, 0, 6, 0, 16, 165, 212, 232, 0, 161, 105, 2, 73, 4, 0, 162, 105, 2, 73, 4, 5, 0, 228, 11, 84, 2, 161, 105, 3, 128, 56, 1, 2, 64, 31, 160, 99, 2, 73, 4, 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, 4, 64, 233, 133, 0, 149, 2, 73, 4, 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, 72, 31, 148, 118, 81, 147, 188, 124, 126, 185, 118, 201, 118, 2, 18, 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, 4, 64, 233, 133, 0, 0, 162, 105, 4, 64, 233, 133, 0, 6, 0, 16, 165, 212, 232, 0, 161, 105, 2, 73, 4, 0, 162, 105, 2, 73, 4, 5, 0, 228, 11, 84, 2, 161, 105, 3, 128, 56, 1, 2, 64, 31, 160, 99, 2, 73, 4, 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, 4, 64, 233,
+          133, 0, 149, 2, 73, 4, 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, 72, 31, 148, 118, 81, 147, 188, 124, 126, 185, 118, 201, 118, 2, 18, 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, 4, 64, 233, 133, 0, 0, 162, 105, 4, 64, 233, 133, 0, 6, 0, 16, 165, 212, 232, 0, 161, 105, 2, 73, 4, 0, 162, 105, 2, 73, 4, 5, 0, 228, 11, 84, 2, 161,
+          105, 3, 128, 56, 1, 2, 64, 31, 160, 99, 2, 73, 4, 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, 214, 240, 158, 13, 162, 15, 104, 158, 59, 17, 144, 5, 147, 254, 205, 236, 220, 136, 237, 129, 240, 19, 3, 28, 116, 155, 222, 146, 217, 40, 229, 116, 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, 72, 31,
+          148, 118, 81, 147, 188, 124, 126, 185, 118, 201, 118, 2, 18, 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, 4, 64, 233, 133, 0, 0, 162,
+          105, 4, 64, 233, 133, 0, 6, 0, 16, 165, 212, 232, 0, 161, 105, 2, 73, 4, 0, 162, 105, 2, 73, 4, 5, 0, 228, 11, 84, 2, 161, 105, 3, 128, 56, 1, 2, 64, 31, 160, 99, 2, 73, 4, 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, 214, 240, 158, 13, 162, 15, 104, 158, 59, 17, 144, 5, 147, 254, 205, 236, 220, 136, 237, 129, 240, 19, 3, 28, 116, 155, 222, 146, 217, 40, 229, 116, 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,
+          146, 172, 215, 97, 80, 78, 79, 160, 90, 207, 112, 103, 94, 241, 174, 160, 198, 110, 250, 33, 38, 236, 92, 114, 110, 71, 121, 184, 174, 240, 84, 224, 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, 72, 31, 148, 118, 81, 147, 188, 124, 126, 185, 118, 201, 118, 2, 18, 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": [245, 125, 136, 8, 87, 139, 76, 50, 170, 156, 191, 12, 88, 178, 156, 10, 6, 1, 74, 26, 123, 215, 239, 118, 48, 152, 161, 67, 7, 56, 43, 70],
+        "state_span": {
+          "offset": 1,
+          "len": 53
+        }
+      }
+    }
+  }
+}