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

AWS SDK for JavaScript S3 Client for Node.js, Browser and React Native

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);