@alliander-opensource/aws-jwt-sts 0.3.5 → 0.3.7

package/node_modules/@aws-sdk/client-s3/dist-es/endpoint/bdd.js

@@ -0,0 +1,754 @@
+import { BinaryDecisionDiagram } from "@smithy/util-endpoints";
+const av = "ref", aw = "argv", ax = "backend", ay = "authSchemes", az = "disableDoubleEncoding", aA = "signingName", aB = "signingRegion", aC = "signingRegionSet";
+const a = -1, b = true, c = false, d = "isSet", e = "booleanEquals", f = "stringEquals", g = "coalesce", h = "substring", i = "", j = "aws.partition", k = "partitionResult", l = "accessPointSuffix", m = "regionPrefix", n = (n) => "outpostId_ssa_" + n + i, o = "hardwareType", p = "ite", q = "isValidHostLabel", s = "sigv4", t = "aws.isVirtualHostableS3Bucket", u = "url", v = "getAttr", w = "bucketArn", x = "--", y = "arnType", z = "accesspoint", A = (n) => "accessPointName_ssa_" + n + i, B = "s3-object-lambda", C = "s3-outposts", D = "bucketPartition", E = "us-east-1", F = "outpostType", G = "name", H = "s3", I = "{url#scheme}://{Bucket}.{url#authority}{url#path}", J = "{url#scheme}://{url#authority}{url#path}", K = "{url#scheme}://{url#authority}{url#normalizedPath}{Bucket}", L = "https://{Bucket}.s3-accelerate.{partitionResult#dnsSuffix}", M = "https://{Bucket}.s3.{partitionResult#dnsSuffix}", N = (n) => "{url#scheme}://{accessPointName_ssa_" + n + "}-{bucketArn#accountId}.{url#authority}{url#path}", O = "sigv4a", P = "{url#scheme}://{url#authority}{url#normalizedPath}{uri_encoded_bucket}", Q = "https://s3.{partitionResult#dnsSuffix}/{uri_encoded_bucket}", R = "https://s3.{partitionResult#dnsSuffix}", S = { [av]: "UseFIPS" }, T = { [av]: "UseDualStack" }, U = { [av]: "Bucket" }, V = { "fn": v, [aw]: [{ [av]: k }, G] }, W = { [av]: u }, X = { [av]: "Region" }, Y = { [av]: w }, Z = { [av]: y }, aa = { [av]: "accessPointName_ssa_1" }, ab = { "fn": v, [aw]: [Y, "region"] }, ac = { [av]: o }, ad = { "fn": v, [aw]: [Y, "service"] }, ae = { "fn": v, [aw]: [Y, "accountId"] }, af = { [ax]: "S3Express", [ay]: [{ [az]: true, [G]: "{_s3e_auth}", [aA]: "s3express", [aB]: "{Region}" }] }, ag = { [ax]: "S3Express", [ay]: [{ [az]: true, [G]: s, [aA]: "s3express", [aB]: "{Region}" }] }, ah = { [ay]: [{ [az]: true, [G]: O, [aA]: C, [aC]: ["*"] }, { [az]: true, [G]: s, [aA]: C, [aB]: "{Region}" }] }, ai = { [ay]: [{ [az]: true, [G]: s, [aA]: H, [aB]: E }] }, aj = { [ay]: [{ [az]: true, [G]: s, [aA]: H, [aB]: "{Region}" }] }, ak = { [ay]: [{ [az]: true, [G]: s, [aA]: B, [aB]: "{bucketArn#region}" }] }, al = { [ay]: [{ [az]: true, [G]: s, [aA]: H, [aB]: "{bucketArn#region}" }] }, am = { [ay]: [{ [az]: true, [G]: O, [aA]: C, [aC]: ["*"] }, { [az]: true, [G]: s, [aA]: C, [aB]: "{bucketArn#region}" }] }, an = { [ay]: [{ [az]: true, [G]: s, [aA]: B, [aB]: "{Region}" }] }, ao = [X], ap = [{ [av]: "Endpoint" }], aq = [U], as = [U, 0, 7, true], at = [Y, "resourceId[1]"], au = ["*"];
+const _data = {
+    conditions: [
+        [d, ao],
+        [e, [{ [av]: "Accelerate" }, b]],
+        [e, [S, b]],
+        [e, [T, b]],
+        [d, ap],
+        [d, aq],
+        [f, [{ fn: g, [aw]: [{ fn: h, [aw]: [U, 0, 6, b] }, i] }, "--x-s3"]],
+        [f, [{ fn: g, [aw]: [{ fn: h, [aw]: as }, i] }, "--xa-s3"]],
+        [j, ao, k],
+        [h, as, l],
+        [f, [{ [av]: l }, "--op-s3"]],
+        [h, [U, 8, 12, b], m],
+        [h, [U, 32, 49, b], n(2)],
+        [h, [U, 49, 50, b], o],
+        [e, [{ [av]: "ForcePathStyle" }, b]],
+        [f, [V, "aws-cn"]],
+        [p, [T, ".dualstack", i], "_s3e_ds"],
+        [q, [{ [av]: n(2) }, c]],
+        [p, [S, "-fips", i], "_s3e_fips"],
+        [p, [{ fn: g, [aw]: [{ [av]: "DisableS3ExpressSessionAuth" }, c] }, s, "sigv4-s3express"], "_s3e_auth"],
+        [t, [U, c]],
+        ["parseURL", ap, u],
+        [e, [{ fn: g, [aw]: [{ [av]: "UseS3ExpressControlEndpoint" }, c] }, b]],
+        [t, [U, b]],
+        [f, [{ fn: v, [aw]: [W, "scheme"] }, "http"]],
+        [q, [X, c]],
+        ["aws.parseArn", aq, w],
+        [v, [{ fn: "split", [aw]: [U, x, 0] }, "[-2]"], "s3expressAvailabilityZoneId"],
+        [f, [{ fn: g, [aw]: [{ fn: h, [aw]: [U, 0, 4, c] }, i] }, "arn:"]],
+        [f, [{ fn: g, [aw]: [{ fn: h, [aw]: [U, 16, 18, b] }, i] }, x]],
+        [e, [{ fn: v, [aw]: [W, "isIp"] }, b]],
+        [f, [{ fn: g, [aw]: [{ fn: h, [aw]: [U, 21, 23, b] }, i] }, x]],
+        [f, [{ fn: g, [aw]: [{ fn: h, [aw]: [U, 27, 29, b] }, i] }, x]],
+        [f, [{ [av]: m }, "beta"]],
+        ["uriEncode", aq, "uri_encoded_bucket"],
+        [q, [X, b]],
+        [e, [{ fn: g, [aw]: [{ [av]: "UseObjectLambdaEndpoint" }, c] }, b]],
+        [v, [Y, "resourceId[0]"], y],
+        [f, [Z, i]],
+        [f, [Z, z]],
+        [v, at, A(1)],
+        [f, [aa, i]],
+        [f, [ab, i]],
+        [f, [{ fn: g, [aw]: [{ fn: h, [aw]: [U, 14, 16, b] }, i] }, x]],
+        [f, [ac, "e"]],
+        [f, [ac, "o"]],
+        [f, [X, "aws-global"]],
+        [f, [{ fn: g, [aw]: [{ fn: h, [aw]: [U, 19, 21, b] }, i] }, x]],
+        [f, [ad, B]],
+        [e, [{ fn: g, [aw]: [{ [av]: "DisableAccessPoints" }, c] }, b]],
+        [f, [ad, C]],
+        [j, [ab], D],
+        [q, [aa, b]],
+        [f, [{ fn: g, [aw]: [{ fn: h, [aw]: [U, 26, 28, b] }, i] }, x]],
+        [f, [{ fn: g, [aw]: [{ fn: h, [aw]: [U, 15, 17, b] }, i] }, x]],
+        [v, [Y, "resourceId[4]"]],
+        [f, [{ fn: g, [aw]: [{ fn: h, [aw]: [U, 20, 22, b] }, i] }, x]],
+        [e, [{ [av]: "UseGlobalEndpoint" }, b]],
+        [f, [X, E]],
+        [v, at, n(1)],
+        [e, [{ fn: g, [aw]: [{ [av]: "UseArnRegion" }, b] }, b]],
+        [q, [{ [av]: n(1) }, c]],
+        [v, [Y, "resourceId[2]"], F],
+        [f, [X, ab]],
+        [f, [{ fn: v, [aw]: [{ [av]: D }, G] }, V]],
+        [e, [{ [av]: "DisableMultiRegionAccessPoints" }, b]],
+        [q, [ab, b]],
+        [f, [{ fn: v, [aw]: [Y, "partition"] }, V]],
+        [f, [ae, i]],
+        [f, [ad, H]],
+        [q, [ae, c]],
+        [v, [Y, "resourceId[3]"], A(2)],
+        [q, [aa, c]],
+        [f, [{ [av]: F }, z]]
+    ],
+    results: [
+        [a],
+        [a, "Accelerate cannot be used with FIPS"],
+        [a, "Cannot set dual-stack in combination with a custom endpoint."],
+        [a, "A custom endpoint cannot be combined with FIPS"],
+        [a, "A custom endpoint cannot be combined with S3 Accelerate"],
+        [a, "Partition does not support FIPS"],
+        [a, "S3Express does not support S3 Accelerate."],
+        ["{url#scheme}://{url#authority}/{uri_encoded_bucket}{url#path}", af],
+        [I, af],
+        [a, "S3Express bucket name is not a valid virtual hostable name."],
+        ["https://s3express-control{_s3e_fips}{_s3e_ds}.{Region}.{partitionResult#dnsSuffix}/{uri_encoded_bucket}", ag],
+        ["https://{Bucket}.s3express{_s3e_fips}-{s3expressAvailabilityZoneId}{_s3e_ds}.{Region}.{partitionResult#dnsSuffix}", af],
+        [a, "Unrecognized S3Express bucket name format."],
+        [J, af],
+        ["https://s3express-control{_s3e_fips}{_s3e_ds}.{Region}.{partitionResult#dnsSuffix}", ag],
+        [a, "Expected a endpoint to be specified but no endpoint was found"],
+        ["https://{Bucket}.ec2.{url#authority}", ah],
+        ["https://{Bucket}.ec2.s3-outposts.{Region}.{partitionResult#dnsSuffix}", ah],
+        ["https://{Bucket}.op-{outpostId_ssa_2}.{url#authority}", ah],
+        ["https://{Bucket}.op-{outpostId_ssa_2}.s3-outposts.{Region}.{partitionResult#dnsSuffix}", ah],
+        [a, "Unrecognized hardware type: \"Expected hardware type o or e but got {hardwareType}\""],
+        [a, "Invalid Outposts Bucket alias - it must be a valid bucket name."],
+        [a, "Invalid ARN: The outpost Id must only contain a-z, A-Z, 0-9 and `-`."],
+        [a, "Custom endpoint `{Endpoint}` was not a valid URI"],
+        [a, "S3 Accelerate cannot be used in this region"],
+        ["https://{Bucket}.s3-fips.dualstack.us-east-1.{partitionResult#dnsSuffix}", ai],
+        ["https://{Bucket}.s3-fips.dualstack.{Region}.{partitionResult#dnsSuffix}", aj],
+        ["https://{Bucket}.s3-fips.us-east-1.{partitionResult#dnsSuffix}", ai],
+        ["https://{Bucket}.s3-fips.{Region}.{partitionResult#dnsSuffix}", aj],
+        ["https://{Bucket}.s3-accelerate.dualstack.us-east-1.{partitionResult#dnsSuffix}", ai],
+        ["https://{Bucket}.s3-accelerate.dualstack.{partitionResult#dnsSuffix}", aj],
+        ["https://{Bucket}.s3.dualstack.us-east-1.{partitionResult#dnsSuffix}", ai],
+        ["https://{Bucket}.s3.dualstack.{Region}.{partitionResult#dnsSuffix}", aj],
+        [K, ai],
+        [I, ai],
+        [K, aj],
+        [I, aj],
+        [L, ai],
+        [L, aj],
+        [M, ai],
+        [M, aj],
+        ["https://{Bucket}.s3.{Region}.{partitionResult#dnsSuffix}", aj],
+        [a, "Invalid region: region was not a valid DNS name."],
+        [a, "S3 Object Lambda does not support Dual-stack"],
+        [a, "S3 Object Lambda does not support S3 Accelerate"],
+        [a, "Access points are not supported for this operation"],
+        [a, "Invalid configuration: region from ARN `{bucketArn#region}` does not match client region `{Region}` and UseArnRegion is `false`"],
+        [a, "Invalid ARN: Missing account id"],
+        [N(1), ak],
+        ["https://{accessPointName_ssa_1}-{bucketArn#accountId}.s3-object-lambda-fips.{bucketArn#region}.{bucketPartition#dnsSuffix}", ak],
+        ["https://{accessPointName_ssa_1}-{bucketArn#accountId}.s3-object-lambda.{bucketArn#region}.{bucketPartition#dnsSuffix}", ak],
+        [a, "Invalid ARN: The access point name may only contain a-z, A-Z, 0-9 and `-`. Found: `{accessPointName_ssa_1}`"],
+        [a, "Invalid ARN: The account id may only contain a-z, A-Z, 0-9 and `-`. Found: `{bucketArn#accountId}`"],
+        [a, "Invalid region in ARN: `{bucketArn#region}` (invalid DNS name)"],
+        [a, "Client was configured for partition `{partitionResult#name}` but ARN (`{Bucket}`) has `{bucketPartition#name}`"],
+        [a, "Invalid ARN: The ARN may only contain a single resource component after `accesspoint`."],
+        [a, "Invalid ARN: bucket ARN is missing a region"],
+        [a, "Invalid ARN: Expected a resource of the format `accesspoint:<accesspoint name>` but no name was provided"],
+        [a, "Invalid ARN: Object Lambda ARNs only support `accesspoint` arn types, but found: `{arnType}`"],
+        [a, "Access Points do not support S3 Accelerate"],
+        ["https://{accessPointName_ssa_1}-{bucketArn#accountId}.s3-accesspoint-fips.dualstack.{bucketArn#region}.{bucketPartition#dnsSuffix}", al],
+        ["https://{accessPointName_ssa_1}-{bucketArn#accountId}.s3-accesspoint-fips.{bucketArn#region}.{bucketPartition#dnsSuffix}", al],
+        ["https://{accessPointName_ssa_1}-{bucketArn#accountId}.s3-accesspoint.dualstack.{bucketArn#region}.{bucketPartition#dnsSuffix}", al],
+        [N(1), al],
+        ["https://{accessPointName_ssa_1}-{bucketArn#accountId}.s3-accesspoint.{bucketArn#region}.{bucketPartition#dnsSuffix}", al],
+        [a, "Invalid ARN: The ARN was not for the S3 service, found: {bucketArn#service}"],
+        [a, "S3 MRAP does not support dual-stack"],
+        [a, "S3 MRAP does not support FIPS"],
+        [a, "S3 MRAP does not support S3 Accelerate"],
+        [a, "Invalid configuration: Multi-Region Access Point ARNs are disabled."],
+        ["https://{accessPointName_ssa_1}.accesspoint.s3-global.{partitionResult#dnsSuffix}", { [ay]: [{ [az]: b, name: O, [aA]: H, [aC]: au }] }],
+        [a, "Client was configured for partition `{partitionResult#name}` but bucket referred to partition `{bucketArn#partition}`"],
+        [a, "Invalid Access Point Name"],
+        [a, "S3 Outposts does not support Dual-stack"],
+        [a, "S3 Outposts does not support FIPS"],
+        [a, "S3 Outposts does not support S3 Accelerate"],
+        [a, "Invalid Arn: Outpost Access Point ARN contains sub resources"],
+        ["https://{accessPointName_ssa_2}-{bucketArn#accountId}.{outpostId_ssa_1}.{url#authority}", am],
+        ["https://{accessPointName_ssa_2}-{bucketArn#accountId}.{outpostId_ssa_1}.s3-outposts.{bucketArn#region}.{bucketPartition#dnsSuffix}", am],
+        [a, "Expected an outpost type `accesspoint`, found {outpostType}"],
+        [a, "Invalid ARN: expected an access point name"],
+        [a, "Invalid ARN: Expected a 4-component resource"],
+        [a, "Invalid ARN: The outpost Id may only contain a-z, A-Z, 0-9 and `-`. Found: `{outpostId_ssa_1}`"],
+        [a, "Invalid ARN: The Outpost Id was not set"],
+        [a, "Invalid ARN: Unrecognized format: {Bucket} (type: {arnType})"],
+        [a, "Invalid ARN: No ARN type specified"],
+        [a, "Invalid ARN: `{Bucket}` was not a valid ARN"],
+        [a, "Path-style addressing cannot be used with ARN buckets"],
+        ["https://s3-fips.dualstack.us-east-1.{partitionResult#dnsSuffix}/{uri_encoded_bucket}", ai],
+        ["https://s3-fips.dualstack.{Region}.{partitionResult#dnsSuffix}/{uri_encoded_bucket}", aj],
+        ["https://s3-fips.us-east-1.{partitionResult#dnsSuffix}/{uri_encoded_bucket}", ai],
+        ["https://s3-fips.{Region}.{partitionResult#dnsSuffix}/{uri_encoded_bucket}", aj],
+        ["https://s3.dualstack.us-east-1.{partitionResult#dnsSuffix}/{uri_encoded_bucket}", ai],
+        ["https://s3.dualstack.{Region}.{partitionResult#dnsSuffix}/{uri_encoded_bucket}", aj],
+        [P, ai],
+        [P, aj],
+        [Q, ai],
+        [Q, aj],
+        ["https://s3.{Region}.{partitionResult#dnsSuffix}/{uri_encoded_bucket}", aj],
+        [a, "Path-style addressing cannot be used with S3 Accelerate"],
+        [J, an],
+        ["https://s3-object-lambda-fips.{Region}.{partitionResult#dnsSuffix}", an],
+        ["https://s3-object-lambda.{Region}.{partitionResult#dnsSuffix}", an],
+        ["https://s3-fips.dualstack.us-east-1.{partitionResult#dnsSuffix}", ai],
+        ["https://s3-fips.dualstack.{Region}.{partitionResult#dnsSuffix}", aj],
+        ["https://s3-fips.us-east-1.{partitionResult#dnsSuffix}", ai],
+        ["https://s3-fips.{Region}.{partitionResult#dnsSuffix}", aj],
+        ["https://s3.dualstack.us-east-1.{partitionResult#dnsSuffix}", ai],
+        ["https://s3.dualstack.{Region}.{partitionResult#dnsSuffix}", aj],
+        [J, ai],
+        [J, aj],
+        [R, ai],
+        [R, aj],
+        ["https://s3.{Region}.{partitionResult#dnsSuffix}", aj],
+        [a, "A region must be set when sending requests to S3."]
+    ]
+};
+const root = 2;
+const r = 100_000_000;
+const nodes = new Int32Array([
+    -1, 1, -1,
+    0, 3, r + 114,
+    1, 422, 4,
+    2, 270, 5,
+    3, 231, 6,
+    4, 84, 7,
+    5, 15, 8,
+    8, 9, r + 114,
+    16, 10, 13,
+    18, 11, 13,
+    19, 12, 13,
+    22, r + 14, 13,
+    35, 14, r + 42,
+    36, r + 102, 433,
+    6, 269, 16,
+    7, 268, 17,
+    8, 19, 18,
+    14, 499, 105,
+    9, 20, 24,
+    10, 21, 24,
+    11, 22, 24,
+    12, 23, 24,
+    13, 545, 24,
+    14, 76, 25,
+    20, 72, 26,
+    26, 27, 77,
+    37, 28, r + 85,
+    38, r + 85, 29,
+    39, 46, 30,
+    48, r + 58, 31,
+    50, 32, r + 84,
+    51, 33, 135,
+    55, r + 76, 34,
+    59, 35, r + 83,
+    60, 39, 36,
+    61, 37, r + 82,
+    62, 38, 145,
+    63, 41, r + 46,
+    61, 40, r + 82,
+    62, 41, 149,
+    64, 42, r + 54,
+    66, 43, r + 53,
+    70, 44, r + 52,
+    71, 45, r + 80,
+    73, r + 78, r + 79,
+    40, 47, r + 57,
+    41, r + 57, 48,
+    42, 183, 49,
+    48, 61, 50,
+    49, r + 45, 51,
+    51, 52, 524,
+    60, 55, 53,
+    62, r + 55, 54,
+    63, 56, r + 46,
+    62, r + 55, 56,
+    64, 57, r + 54,
+    66, 58, r + 53,
+    69, 59, r + 65,
+    70, 60, r + 52,
+    72, r + 64, r + 51,
+    49, r + 45, 62,
+    51, 63, 524,
+    60, 66, 64,
+    62, r + 55, 65,
+    63, 67, r + 46,
+    62, r + 55, 67,
+    64, 68, r + 54,
+    66, 69, r + 53,
+    68, r + 47, 70,
+    70, 71, r + 52,
+    72, r + 50, r + 51,
+    25, 73, r + 42,
+    46, r + 39, 74,
+    57, 75, r + 41,
+    58, r + 40, r + 41,
+    26, r + 87, 77,
+    28, r + 86, 78,
+    34, 81, 79,
+    35, 80, 543,
+    36, r + 102, r + 114,
+    46, r + 96, 82,
+    57, 83, r + 98,
+    58, r + 97, r + 98,
+    5, 100, 85,
+    8, 86, r + 114,
+    16, 87, 88,
+    18, 90, 88,
+    19, 89, 91,
+    21, 96, 94,
+    19, 92, 91,
+    21, 97, 94,
+    21, 96, 93,
+    22, r + 14, 94,
+    35, 95, r + 42,
+    36, r + 102, r + 42,
+    22, r + 13, 97,
+    35, 98, r + 42,
+    36, r + 100, 99,
+    46, r + 109, r + 110,
+    6, 212, 101,
+    7, 206, 102,
+    8, 118, 103,
+    14, 117, 104,
+    21, 105, r + 23,
+    26, 106, 500,
+    37, 107, r + 85,
+    38, r + 85, 108,
+    39, 111, 109,
+    48, r + 58, 110,
+    50, 135, r + 84,
+    40, 112, r + 57,
+    41, r + 57, 113,
+    42, 114, 498,
+    48, r + 56, 115,
+    52, 116, r + 72,
+    65, r + 69, r + 72,
+    21, 499, r + 23,
+    9, 119, 123,
+    10, 120, 123,
+    11, 121, 123,
+    12, 122, 123,
+    13, 200, 123,
+    14, 193, 124,
+    20, 188, 125,
+    21, 126, r + 23,
+    23, 127, 128,
+    24, 187, 128,
+    26, 129, 195,
+    37, 130, r + 85,
+    38, r + 85, 131,
+    39, 157, 132,
+    48, r + 58, 133,
+    50, 134, r + 84,
+    51, 140, 135,
+    55, r + 76, 136,
+    59, 137, r + 83,
+    60, r + 82, 138,
+    61, 139, r + 82,
+    63, r + 82, r + 46,
+    55, r + 76, 141,
+    59, 142, r + 83,
+    60, 147, 143,
+    61, 144, r + 82,
+    62, 146, 145,
+    63, 149, r + 46,
+    63, 152, r + 46,
+    61, 148, r + 82,
+    62, 152, 149,
+    64, 150, r + 54,
+    66, 151, r + 53,
+    70, r + 81, r + 52,
+    64, 153, r + 54,
+    66, 154, r + 53,
+    70, 155, r + 52,
+    71, 156, r + 80,
+    73, r + 77, r + 79,
+    40, 158, r + 57,
+    41, r + 57, 159,
+    42, 183, 160,
+    48, 172, 161,
+    49, r + 45, 162,
+    51, 163, 524,
+    60, 166, 164,
+    62, r + 55, 165,
+    63, 167, r + 46,
+    62, r + 55, 167,
+    64, 168, r + 54,
+    66, 169, r + 53,
+    69, 170, r + 65,
+    70, 171, r + 52,
+    72, r + 63, r + 51,
+    49, r + 45, 173,
+    51, 174, 524,
+    60, 177, 175,
+    62, r + 55, 176,
+    63, 178, r + 46,
+    62, r + 55, 178,
+    64, 179, r + 54,
+    66, 180, r + 53,
+    68, r + 47, 181,
+    70, 182, r + 52,
+    72, r + 48, r + 51,
+    48, r + 56, 184,
+    52, 185, r + 72,
+    65, r + 69, 186,
+    67, r + 70, r + 71,
+    25, r + 36, r + 42,
+    21, 189, r + 23,
+    25, 190, r + 42,
+    30, 192, 191,
+    46, r + 34, r + 36,
+    46, r + 33, r + 35,
+    21, 194, r + 23,
+    26, r + 87, 195,
+    28, r + 86, 196,
+    34, 199, 197,
+    35, 198, 543,
+    36, r + 100, r + 114,
+    46, r + 94, r + 95,
+    17, 201, r + 22,
+    20, 202, r + 21,
+    21, 203, 548,
+    33, 204, 548,
+    44, r + 16, 205,
+    45, r + 18, r + 20,
+    8, 207, 213,
+    16, 208, 218,
+    18, 209, 218,
+    19, 210, 222,
+    20, 211, 225,
+    21, 229, 399,
+    8, 216, 213,
+    19, 214, r + 9,
+    20, 215, 225,
+    21, 229, r + 9,
+    16, 217, 218,
+    18, 221, 218,
+    19, 219, 222,
+    20, 220, 225,
+    21, 229, r + 12,
+    19, 224, 222,
+    20, 223, r + 9,
+    21, r + 9, r + 12,
+    20, 228, 225,
+    21, 226, r + 9,
+    30, 227, r + 9,
+    34, r + 7, r + 9,
+    21, 229, 413,
+    30, 230, r + 8,
+    34, r + 7, r + 8,
+    4, r + 2, 232,
+    5, 233, 478,
+    6, 269, 234,
+    7, 268, 235,
+    8, 236, 489,
+    9, 237, 241,
+    10, 238, 241,
+    11, 239, 241,
+    12, 240, 241,
+    13, 545, 241,
+    14, 264, 242,
+    20, 262, 243,
+    26, 244, 265,
+    37, 245, r + 85,
+    38, r + 85, 246,
+    39, 247, 516,
+    40, 248, r + 57,
+    41, r + 57, 249,
+    42, 536, 250,
+    48, r + 43, 251,
+    49, r + 45, 252,
+    51, 253, 524,
+    60, 256, 254,
+    62, r + 55, 255,
+    63, 257, r + 46,
+    62, r + 55, 257,
+    64, 258, r + 54,
+    66, 259, r + 53,
+    69, 260, r + 65,
+    70, 261, r + 52,
+    72, r + 62, r + 51,
+    25, 263, r + 42,
+    46, r + 31, r + 32,
+    26, r + 87, 265,
+    28, r + 86, 266,
+    34, 267, 542,
+    46, r + 92, r + 93,
+    8, 395, r + 9,
+    8, 405, r + 9,
+    3, 344, 271,
+    4, r + 3, 272,
+    5, 282, 273,
+    8, 274, r + 114,
+    15, r + 5, 275,
+    16, 276, 279,
+    18, 277, 279,
+    19, 278, 279,
+    22, r + 14, 279,
+    35, 280, r + 42,
+    36, r + 101, 281,
+    46, r + 105, r + 106,
+    6, 403, 283,
+    7, 393, 284,
+    8, 293, 285,
+    14, 499, 286,
+    26, 287, 500,
+    37, 288, r + 85,
+    38, r + 85, 289,
+    39, 290, 305,
+    40, 291, r + 57,
+    41, r + 57, 292,
+    42, 333, 498,
+    9, 294, 298,
+    10, 295, 298,
+    11, 296, 298,
+    12, 297, 298,
+    13, 392, 298,
+    14, 337, 299,
+    15, r + 5, 300,
+    20, 335, 301,
+    26, 302, 339,
+    37, 303, r + 85,
+    38, r + 85, 304,
+    39, 307, 305,
+    48, r + 58, 306,
+    50, r + 74, r + 84,
+    40, 308, r + 57,
+    41, r + 57, 309,
+    42, 333, 310,
+    48, 322, 311,
+    49, r + 45, 312,
+    51, 313, 524,
+    60, 316, 314,
+    62, r + 55, 315,
+    63, 317, r + 46,
+    62, r + 55, 317,
+    64, 318, r + 54,
+    66, 319, r + 53,
+    69, 320, r + 65,
+    70, 321, r + 52,
+    72, r + 61, r + 51,
+    49, r + 45, 323,
+    51, 324, 524,
+    60, 327, 325,
+    62, r + 55, 326,
+    63, 328, r + 46,
+    62, r + 55, 328,
+    64, 329, r + 54,
+    66, 330, r + 53,
+    68, r + 47, 331,
+    70, 332, r + 52,
+    72, r + 49, r + 51,
+    48, r + 56, 334,
+    52, r + 67, r + 72,
+    25, 336, r + 42,
+    46, r + 27, r + 28,
+    15, r + 5, 338,
+    26, r + 87, 339,
+    28, r + 86, 340,
+    34, 343, 341,
+    35, 342, 543,
+    36, r + 101, r + 114,
+    46, r + 90, r + 91,
+    4, r + 2, 345,
+    5, 355, 346,
+    8, 347, r + 114,
+    15, r + 5, 348,
+    16, 349, 352,
+    18, 350, 352,
+    19, 351, 352,
+    22, r + 14, 352,
+    35, 353, r + 42,
+    36, r + 43, 354,
+    46, r + 103, r + 104,
+    6, 403, 356,
+    7, 393, 357,
+    8, 358, 489,
+    9, 359, 363,
+    10, 360, 363,
+    11, 361, 363,
+    12, 362, 363,
+    13, 392, 363,
+    14, 387, 364,
+    15, r + 5, 365,
+    20, 385, 366,
+    26, 367, 389,
+    37, 368, r + 85,
+    38, r + 85, 369,
+    39, 370, 516,
+    40, 371, r + 57,
+    41, r + 57, 372,
+    42, 536, 373,
+    48, r + 43, 374,
+    49, r + 45, 375,
+    51, 376, 524,
+    60, 379, 377,
+    62, r + 55, 378,
+    63, 380, r + 46,
+    62, r + 55, 380,
+    64, 381, r + 54,
+    66, 382, r + 53,
+    69, 383, r + 65,
+    70, 384, r + 52,
+    72, r + 60, r + 51,
+    25, 386, r + 42,
+    46, r + 25, r + 26,
+    15, r + 5, 388,
+    26, r + 87, 389,
+    28, r + 86, 390,
+    34, 391, 542,
+    46, r + 88, r + 89,
+    15, r + 5, 545,
+    8, 394, r + 9,
+    15, r + 5, 395,
+    16, 396, 408,
+    18, 397, 408,
+    19, 398, 408,
+    20, 399, r + 9,
+    27, 400, r + 12,
+    29, r + 11, 401,
+    31, r + 11, 402,
+    32, r + 11, 420,
+    8, 404, r + 9,
+    15, r + 5, 405,
+    16, 406, 408,
+    18, 407, 408,
+    19, 409, 408,
+    20, r + 12, r + 9,
+    20, 412, 410,
+    22, 411, r + 9,
+    34, r + 10, r + 9,
+    22, 414, 413,
+    27, 417, r + 12,
+    27, 416, 415,
+    34, r + 10, r + 12,
+    34, r + 10, 417,
+    43, r + 11, 418,
+    47, r + 11, 419,
+    53, r + 11, 420,
+    54, r + 11, 421,
+    56, r + 11, r + 12,
+    2, r + 1, 423,
+    3, 476, 424,
+    4, r + 4, 425,
+    5, 436, 426,
+    8, 427, r + 114,
+    16, 428, 431,
+    18, 429, 431,
+    19, 430, 431,
+    22, r + 14, 431,
+    35, 432, r + 42,
+    36, r + 44, 433,
+    46, r + 111, 434,
+    57, 435, r + 113,
+    58, r + 112, r + 113,
+    6, r + 6, 437,
+    7, r + 6, 438,
+    8, 448, 439,
+    14, 499, 440,
+    26, 441, 500,
+    37, 442, r + 85,
+    38, r + 85, 443,
+    39, 444, 463,
+    40, 445, r + 57,
+    41, r + 57, 446,
+    42, 469, 447,
+    48, r + 44, 498,
+    9, 449, 453,
+    10, 450, 453,
+    11, 451, 453,
+    12, 452, 453,
+    13, 545, 453,
+    14, 471, 454,
+    15, 458, 455,
+    20, 456, 459,
+    25, 457, r + 42,
+    46, r + 37, r + 38,
+    20, 538, 459,
+    26, 460, 472,
+    37, 461, r + 85,
+    38, r + 85, 462,
+    39, 465, 463,
+    48, r + 58, 464,
+    50, r + 75, r + 84,
+    40, 466, r + 57,
+    41, r + 57, 467,
+    42, 469, 468,
+    48, r + 44, 522,
+    48, r + 44, 470,
+    52, r + 68, r + 72,
+    26, r + 87, 472,
+    28, r + 86, 473,
+    34, r + 99, 474,
+    35, 475, 543,
+    36, r + 44, r + 114,
+    4, r + 2, 477,
+    5, 486, 478,
+    8, 479, r + 114,
+    16, 480, 483,
+    18, 481, 483,
+    19, 482, 483,
+    22, r + 14, 483,
+    35, 484, r + 42,
+    36, r + 43, 485,
+    46, r + 107, r + 108,
+    6, r + 6, 487,
+    7, r + 6, 488,
+    8, 501, 489,
+    14, 499, 490,
+    26, 491, 500,
+    37, 492, r + 85,
+    38, r + 85, 493,
+    39, 494, 516,
+    40, 495, r + 57,
+    41, r + 57, 496,
+    42, 536, 497,
+    48, r + 43, 498,
+    49, r + 45, 524,
+    26, r + 87, 500,
+    28, r + 86, r + 114,
+    9, 502, 506,
+    10, 503, 506,
+    11, 504, 506,
+    12, 505, 506,
+    13, 545, 506,
+    14, 539, 507,
+    15, 511, 508,
+    20, 509, 512,
+    25, 510, r + 42,
+    46, r + 29, r + 30,
+    20, 538, 512,
+    26, 513, 540,
+    37, 514, r + 85,
+    38, r + 85, 515,
+    39, 518, 516,
+    48, r + 58, 517,
+    50, r + 73, r + 84,
+    40, 519, r + 57,
+    41, r + 57, 520,
+    42, 536, 521,
+    48, r + 43, 522,
+    49, r + 45, 523,
+    51, 527, 524,
+    60, r + 55, 525,
+    62, r + 55, 526,
+    63, r + 55, r + 46,
+    60, 530, 528,
+    62, r + 55, 529,
+    63, 531, r + 46,
+    62, r + 55, 531,
+    64, 532, r + 54,
+    66, 533, r + 53,
+    69, 534, r + 65,
+    70, 535, r + 52,
+    72, r + 59, r + 51,
+    48, r + 43, 537,
+    52, r + 66, r + 72,
+    25, r + 24, r + 42,
+    26, r + 87, 540,
+    28, r + 86, 541,
+    34, r + 99, 542,
+    35, 544, 543,
+    36, r + 42, r + 114,
+    36, r + 43, r + 114,
+    17, 546, r + 22,
+    20, 547, r + 21,
+    33, 550, 548,
+    44, r + 17, 549,
+    45, r + 19, r + 20,
+    44, r + 15, 551,
+    45, r + 15, r + 20,
+]);
+export const bdd = BinaryDecisionDiagram.from(nodes, root, _data.conditions, _data.results);