@aws-sdk/client-s3 3.1043.0 → 3.1045.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist-cjs/endpoint/bdd.js +622 -618
- package/dist-es/endpoint/bdd.js +622 -618
- package/package.json +2 -2
package/dist-es/endpoint/bdd.js
CHANGED
|
@@ -1,82 +1,83 @@
|
|
|
1
1
|
import { BinaryDecisionDiagram } from "@smithy/util-endpoints";
|
|
2
|
-
const
|
|
3
|
-
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 = "
|
|
2
|
+
const aw = "ref", ax = "argv", ay = "backend", az = "authSchemes", aA = "disableDoubleEncoding", aB = "signingName", aC = "signingRegion", aD = "signingRegionSet";
|
|
3
|
+
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 = (n) => "Invalid ARN: The access point name may only contain a-z, A-Z, 0-9 and `-`. Found: `{accessPointName_ssa_" + n + "}`", P = "sigv4a", Q = "{url#scheme}://{url#authority}{url#normalizedPath}{uri_encoded_bucket}", R = "https://s3.{partitionResult#dnsSuffix}/{uri_encoded_bucket}", S = "https://s3.{partitionResult#dnsSuffix}", T = { [aw]: "UseFIPS" }, U = { [aw]: "UseDualStack" }, V = { [aw]: "Bucket" }, W = { "fn": v, [ax]: [{ [aw]: k }, G] }, X = { [aw]: u }, Y = { [aw]: "Region" }, Z = { [aw]: w }, aa = { [aw]: y }, ab = { [aw]: "accessPointName_ssa_1" }, ac = { "fn": v, [ax]: [Z, "region"] }, ad = { [aw]: o }, ae = { "fn": v, [ax]: [Z, "service"] }, af = { "fn": v, [ax]: [Z, "accountId"] }, ag = { [ay]: "S3Express", [az]: [{ [aA]: true, [G]: "{_s3e_auth}", [aB]: "s3express", [aC]: "{Region}" }] }, ah = { [ay]: "S3Express", [az]: [{ [aA]: true, [G]: s, [aB]: "s3express", [aC]: "{Region}" }] }, ai = { [az]: [{ [aA]: true, [G]: P, [aB]: C, [aD]: ["*"] }, { [aA]: true, [G]: s, [aB]: C, [aC]: "{Region}" }] }, aj = { [az]: [{ [aA]: true, [G]: s, [aB]: H, [aC]: E }] }, ak = { [az]: [{ [aA]: true, [G]: s, [aB]: H, [aC]: "{Region}" }] }, al = { [az]: [{ [aA]: true, [G]: s, [aB]: B, [aC]: "{bucketArn#region}" }] }, am = { [az]: [{ [aA]: true, [G]: s, [aB]: H, [aC]: "{bucketArn#region}" }] }, an = { [az]: [{ [aA]: true, [G]: P, [aB]: C, [aD]: ["*"] }, { [aA]: true, [G]: s, [aB]: C, [aC]: "{bucketArn#region}" }] }, ao = { [az]: [{ [aA]: true, [G]: s, [aB]: B, [aC]: "{Region}" }] }, ap = [Y], aq = [{ [aw]: "Endpoint" }], as = [V], at = [V, 0, 7, true], au = [Z, "resourceId[1]"], av = ["*"];
|
|
4
4
|
const _data = {
|
|
5
5
|
conditions: [
|
|
6
|
-
[d, ao],
|
|
7
|
-
[e, [{ [av]: "Accelerate" }, b]],
|
|
8
|
-
[e, [S, b]],
|
|
9
|
-
[e, [T, b]],
|
|
10
6
|
[d, ap],
|
|
7
|
+
[e, [{ [aw]: "Accelerate" }, b]],
|
|
8
|
+
[e, [T, b]],
|
|
9
|
+
[e, [U, b]],
|
|
11
10
|
[d, aq],
|
|
12
|
-
[
|
|
13
|
-
[f, [{ fn: g, [
|
|
14
|
-
[
|
|
15
|
-
[
|
|
16
|
-
[
|
|
17
|
-
[
|
|
18
|
-
[h, [
|
|
19
|
-
[h, [
|
|
20
|
-
[
|
|
21
|
-
[
|
|
22
|
-
[
|
|
23
|
-
[
|
|
24
|
-
[
|
|
25
|
-
[p, [
|
|
26
|
-
[
|
|
27
|
-
[
|
|
28
|
-
[
|
|
29
|
-
[
|
|
30
|
-
[
|
|
31
|
-
[
|
|
32
|
-
[
|
|
33
|
-
[
|
|
34
|
-
[
|
|
35
|
-
[f, [{ fn: g, [
|
|
36
|
-
[
|
|
37
|
-
[
|
|
38
|
-
[f, [{ fn: g, [
|
|
39
|
-
[f, [{ [
|
|
40
|
-
[
|
|
41
|
-
[
|
|
42
|
-
[
|
|
43
|
-
[
|
|
44
|
-
[
|
|
45
|
-
[f, [Z, z]],
|
|
46
|
-
[v, at, A(1)],
|
|
11
|
+
[d, as],
|
|
12
|
+
[f, [{ fn: g, [ax]: [{ fn: h, [ax]: [V, 0, 6, b] }, i] }, "--x-s3"]],
|
|
13
|
+
[f, [{ fn: g, [ax]: [{ fn: h, [ax]: at }, i] }, "--xa-s3"]],
|
|
14
|
+
[j, ap, k],
|
|
15
|
+
[h, at, l],
|
|
16
|
+
[f, [{ [aw]: l }, "--op-s3"]],
|
|
17
|
+
[h, [V, 8, 12, b], m],
|
|
18
|
+
[h, [V, 32, 49, b], n(2)],
|
|
19
|
+
[h, [V, 49, 50, b], o],
|
|
20
|
+
[e, [{ [aw]: "ForcePathStyle" }, b]],
|
|
21
|
+
[f, [W, "aws-cn"]],
|
|
22
|
+
[p, [U, ".dualstack", i], "_s3e_ds"],
|
|
23
|
+
[q, [{ [aw]: n(2) }, c]],
|
|
24
|
+
[p, [T, "-fips", i], "_s3e_fips"],
|
|
25
|
+
[p, [{ fn: g, [ax]: [{ [aw]: "DisableS3ExpressSessionAuth" }, c] }, s, "sigv4-s3express"], "_s3e_auth"],
|
|
26
|
+
[t, [V, c]],
|
|
27
|
+
["parseURL", aq, u],
|
|
28
|
+
[e, [{ fn: g, [ax]: [{ [aw]: "UseS3ExpressControlEndpoint" }, c] }, b]],
|
|
29
|
+
[t, [V, b]],
|
|
30
|
+
[f, [{ fn: v, [ax]: [X, "scheme"] }, "http"]],
|
|
31
|
+
[q, [Y, c]],
|
|
32
|
+
["aws.parseArn", as, w],
|
|
33
|
+
[v, [{ fn: "split", [ax]: [V, x, 0] }, "[-2]"], "s3expressAvailabilityZoneId"],
|
|
34
|
+
[f, [{ fn: g, [ax]: [{ fn: h, [ax]: [V, 0, 4, c] }, i] }, "arn:"]],
|
|
35
|
+
[f, [{ fn: g, [ax]: [{ fn: h, [ax]: [V, 16, 18, b] }, i] }, x]],
|
|
36
|
+
[e, [{ fn: v, [ax]: [X, "isIp"] }, b]],
|
|
37
|
+
[f, [{ fn: g, [ax]: [{ fn: h, [ax]: [V, 21, 23, b] }, i] }, x]],
|
|
38
|
+
[f, [{ fn: g, [ax]: [{ fn: h, [ax]: [V, 27, 29, b] }, i] }, x]],
|
|
39
|
+
[f, [{ [aw]: m }, "beta"]],
|
|
40
|
+
["uriEncode", as, "uri_encoded_bucket"],
|
|
41
|
+
[q, [Y, b]],
|
|
42
|
+
[e, [{ fn: g, [ax]: [{ [aw]: "UseObjectLambdaEndpoint" }, c] }, b]],
|
|
43
|
+
[v, [Z, "resourceId[0]"], y],
|
|
47
44
|
[f, [aa, i]],
|
|
45
|
+
[f, [aa, z]],
|
|
46
|
+
[v, au, A(1)],
|
|
48
47
|
[f, [ab, i]],
|
|
49
|
-
[f, [
|
|
50
|
-
[f, [
|
|
51
|
-
[f, [
|
|
52
|
-
[f, [
|
|
53
|
-
[f, [
|
|
54
|
-
[f, [
|
|
55
|
-
[
|
|
56
|
-
[
|
|
57
|
-
[
|
|
58
|
-
[
|
|
59
|
-
[f, [{ fn: g, [aw]: [{ fn: h, [aw]: [U, 26, 28, b] }, i] }, x]],
|
|
60
|
-
[f, [{ fn: g, [aw]: [{ fn: h, [aw]: [U, 15, 17, b] }, i] }, x]],
|
|
61
|
-
[v, [Y, "resourceId[4]"]],
|
|
62
|
-
[f, [{ fn: g, [aw]: [{ fn: h, [aw]: [U, 20, 22, b] }, i] }, x]],
|
|
63
|
-
[e, [{ [av]: "UseGlobalEndpoint" }, b]],
|
|
64
|
-
[f, [X, E]],
|
|
65
|
-
[v, at, n(1)],
|
|
66
|
-
[e, [{ fn: g, [aw]: [{ [av]: "UseArnRegion" }, b] }, b]],
|
|
67
|
-
[q, [{ [av]: n(1) }, c]],
|
|
68
|
-
[v, [Y, "resourceId[2]"], F],
|
|
69
|
-
[f, [X, ab]],
|
|
70
|
-
[f, [{ fn: v, [aw]: [{ [av]: D }, G] }, V]],
|
|
71
|
-
[e, [{ [av]: "DisableMultiRegionAccessPoints" }, b]],
|
|
48
|
+
[f, [ac, i]],
|
|
49
|
+
[f, [{ fn: g, [ax]: [{ fn: h, [ax]: [V, 14, 16, b] }, i] }, x]],
|
|
50
|
+
[f, [ad, "e"]],
|
|
51
|
+
[f, [ad, "o"]],
|
|
52
|
+
[f, [Y, "aws-global"]],
|
|
53
|
+
[f, [{ fn: g, [ax]: [{ fn: h, [ax]: [V, 19, 21, b] }, i] }, x]],
|
|
54
|
+
[f, [ae, B]],
|
|
55
|
+
[e, [{ fn: g, [ax]: [{ [aw]: "DisableAccessPoints" }, c] }, b]],
|
|
56
|
+
[f, [ae, C]],
|
|
57
|
+
[j, [ac], D],
|
|
72
58
|
[q, [ab, b]],
|
|
73
|
-
[f, [{ fn:
|
|
74
|
-
[f, [
|
|
75
|
-
[
|
|
76
|
-
[
|
|
77
|
-
[
|
|
78
|
-
[
|
|
79
|
-
[
|
|
59
|
+
[f, [{ fn: g, [ax]: [{ fn: h, [ax]: [V, 26, 28, b] }, i] }, x]],
|
|
60
|
+
[f, [{ fn: g, [ax]: [{ fn: h, [ax]: [V, 15, 17, b] }, i] }, x]],
|
|
61
|
+
[v, [Z, "resourceId[4]"]],
|
|
62
|
+
[f, [{ fn: g, [ax]: [{ fn: h, [ax]: [V, 20, 22, b] }, i] }, x]],
|
|
63
|
+
[e, [{ [aw]: "UseGlobalEndpoint" }, b]],
|
|
64
|
+
[f, [Y, E]],
|
|
65
|
+
[v, au, n(1)],
|
|
66
|
+
[e, [{ fn: g, [ax]: [{ [aw]: "UseArnRegion" }, b] }, b]],
|
|
67
|
+
[q, [{ [aw]: n(1) }, c]],
|
|
68
|
+
[v, [Z, "resourceId[2]"], F],
|
|
69
|
+
[f, [Y, ac]],
|
|
70
|
+
[f, [{ fn: v, [ax]: [{ [aw]: D }, G] }, W]],
|
|
71
|
+
[e, [{ [aw]: "DisableMultiRegionAccessPoints" }, b]],
|
|
72
|
+
[q, [ac, b]],
|
|
73
|
+
[f, [{ fn: v, [ax]: [Z, "partition"] }, W]],
|
|
74
|
+
[f, [af, i]],
|
|
75
|
+
[f, [ae, H]],
|
|
76
|
+
[q, [af, c]],
|
|
77
|
+
[v, [Z, "resourceId[3]"], A(2)],
|
|
78
|
+
[q, [ab, c]],
|
|
79
|
+
[f, [{ [aw]: F }, z]],
|
|
80
|
+
[q, [{ [aw]: A(2) }, c]]
|
|
80
81
|
],
|
|
81
82
|
results: [
|
|
82
83
|
[a],
|
|
@@ -86,51 +87,51 @@ const _data = {
|
|
|
86
87
|
[a, "A custom endpoint cannot be combined with S3 Accelerate"],
|
|
87
88
|
[a, "Partition does not support FIPS"],
|
|
88
89
|
[a, "S3Express does not support S3 Accelerate."],
|
|
89
|
-
["{url#scheme}://{url#authority}/{uri_encoded_bucket}{url#path}",
|
|
90
|
-
[I,
|
|
90
|
+
["{url#scheme}://{url#authority}/{uri_encoded_bucket}{url#path}", ag],
|
|
91
|
+
[I, ag],
|
|
91
92
|
[a, "S3Express bucket name is not a valid virtual hostable name."],
|
|
92
|
-
["https://s3express-control{_s3e_fips}{_s3e_ds}.{Region}.{partitionResult#dnsSuffix}/{uri_encoded_bucket}",
|
|
93
|
-
["https://{Bucket}.s3express{_s3e_fips}-{s3expressAvailabilityZoneId}{_s3e_ds}.{Region}.{partitionResult#dnsSuffix}",
|
|
93
|
+
["https://s3express-control{_s3e_fips}{_s3e_ds}.{Region}.{partitionResult#dnsSuffix}/{uri_encoded_bucket}", ah],
|
|
94
|
+
["https://{Bucket}.s3express{_s3e_fips}-{s3expressAvailabilityZoneId}{_s3e_ds}.{Region}.{partitionResult#dnsSuffix}", ag],
|
|
94
95
|
[a, "Unrecognized S3Express bucket name format."],
|
|
95
|
-
[J,
|
|
96
|
-
["https://s3express-control{_s3e_fips}{_s3e_ds}.{Region}.{partitionResult#dnsSuffix}",
|
|
96
|
+
[J, ag],
|
|
97
|
+
["https://s3express-control{_s3e_fips}{_s3e_ds}.{Region}.{partitionResult#dnsSuffix}", ah],
|
|
97
98
|
[a, "Expected a endpoint to be specified but no endpoint was found"],
|
|
98
|
-
["https://{Bucket}.ec2.{url#authority}",
|
|
99
|
-
["https://{Bucket}.ec2.s3-outposts.{Region}.{partitionResult#dnsSuffix}",
|
|
100
|
-
["https://{Bucket}.op-{outpostId_ssa_2}.{url#authority}",
|
|
101
|
-
["https://{Bucket}.op-{outpostId_ssa_2}.s3-outposts.{Region}.{partitionResult#dnsSuffix}",
|
|
99
|
+
["https://{Bucket}.ec2.{url#authority}", ai],
|
|
100
|
+
["https://{Bucket}.ec2.s3-outposts.{Region}.{partitionResult#dnsSuffix}", ai],
|
|
101
|
+
["https://{Bucket}.op-{outpostId_ssa_2}.{url#authority}", ai],
|
|
102
|
+
["https://{Bucket}.op-{outpostId_ssa_2}.s3-outposts.{Region}.{partitionResult#dnsSuffix}", ai],
|
|
102
103
|
[a, "Unrecognized hardware type: \"Expected hardware type o or e but got {hardwareType}\""],
|
|
103
104
|
[a, "Invalid Outposts Bucket alias - it must be a valid bucket name."],
|
|
104
105
|
[a, "Invalid ARN: The outpost Id must only contain a-z, A-Z, 0-9 and `-`."],
|
|
105
106
|
[a, "Custom endpoint `{Endpoint}` was not a valid URI"],
|
|
106
107
|
[a, "S3 Accelerate cannot be used in this region"],
|
|
107
|
-
["https://{Bucket}.s3-fips.dualstack.us-east-1.{partitionResult#dnsSuffix}",
|
|
108
|
-
["https://{Bucket}.s3-fips.dualstack.{Region}.{partitionResult#dnsSuffix}",
|
|
109
|
-
["https://{Bucket}.s3-fips.us-east-1.{partitionResult#dnsSuffix}",
|
|
110
|
-
["https://{Bucket}.s3-fips.{Region}.{partitionResult#dnsSuffix}",
|
|
111
|
-
["https://{Bucket}.s3-accelerate.dualstack.us-east-1.{partitionResult#dnsSuffix}",
|
|
112
|
-
["https://{Bucket}.s3-accelerate.dualstack.{partitionResult#dnsSuffix}",
|
|
113
|
-
["https://{Bucket}.s3.dualstack.us-east-1.{partitionResult#dnsSuffix}",
|
|
114
|
-
["https://{Bucket}.s3.dualstack.{Region}.{partitionResult#dnsSuffix}",
|
|
115
|
-
[K, ai],
|
|
116
|
-
[I, ai],
|
|
108
|
+
["https://{Bucket}.s3-fips.dualstack.us-east-1.{partitionResult#dnsSuffix}", aj],
|
|
109
|
+
["https://{Bucket}.s3-fips.dualstack.{Region}.{partitionResult#dnsSuffix}", ak],
|
|
110
|
+
["https://{Bucket}.s3-fips.us-east-1.{partitionResult#dnsSuffix}", aj],
|
|
111
|
+
["https://{Bucket}.s3-fips.{Region}.{partitionResult#dnsSuffix}", ak],
|
|
112
|
+
["https://{Bucket}.s3-accelerate.dualstack.us-east-1.{partitionResult#dnsSuffix}", aj],
|
|
113
|
+
["https://{Bucket}.s3-accelerate.dualstack.{partitionResult#dnsSuffix}", ak],
|
|
114
|
+
["https://{Bucket}.s3.dualstack.us-east-1.{partitionResult#dnsSuffix}", aj],
|
|
115
|
+
["https://{Bucket}.s3.dualstack.{Region}.{partitionResult#dnsSuffix}", ak],
|
|
117
116
|
[K, aj],
|
|
118
117
|
[I, aj],
|
|
119
|
-
[
|
|
118
|
+
[K, ak],
|
|
119
|
+
[I, ak],
|
|
120
120
|
[L, aj],
|
|
121
|
-
[
|
|
121
|
+
[L, ak],
|
|
122
122
|
[M, aj],
|
|
123
|
-
[
|
|
123
|
+
[M, ak],
|
|
124
|
+
["https://{Bucket}.s3.{Region}.{partitionResult#dnsSuffix}", ak],
|
|
124
125
|
[a, "Invalid region: region was not a valid DNS name."],
|
|
125
126
|
[a, "S3 Object Lambda does not support Dual-stack"],
|
|
126
127
|
[a, "S3 Object Lambda does not support S3 Accelerate"],
|
|
127
128
|
[a, "Access points are not supported for this operation"],
|
|
128
129
|
[a, "Invalid configuration: region from ARN `{bucketArn#region}` does not match client region `{Region}` and UseArnRegion is `false`"],
|
|
129
130
|
[a, "Invalid ARN: Missing account id"],
|
|
130
|
-
[N(1),
|
|
131
|
-
["https://{accessPointName_ssa_1}-{bucketArn#accountId}.s3-object-lambda-fips.{bucketArn#region}.{bucketPartition#dnsSuffix}",
|
|
132
|
-
["https://{accessPointName_ssa_1}-{bucketArn#accountId}.s3-object-lambda.{bucketArn#region}.{bucketPartition#dnsSuffix}",
|
|
133
|
-
[a,
|
|
131
|
+
[N(1), al],
|
|
132
|
+
["https://{accessPointName_ssa_1}-{bucketArn#accountId}.s3-object-lambda-fips.{bucketArn#region}.{bucketPartition#dnsSuffix}", al],
|
|
133
|
+
["https://{accessPointName_ssa_1}-{bucketArn#accountId}.s3-object-lambda.{bucketArn#region}.{bucketPartition#dnsSuffix}", al],
|
|
134
|
+
[a, O(1)],
|
|
134
135
|
[a, "Invalid ARN: The account id may only contain a-z, A-Z, 0-9 and `-`. Found: `{bucketArn#accountId}`"],
|
|
135
136
|
[a, "Invalid region in ARN: `{bucketArn#region}` (invalid DNS name)"],
|
|
136
137
|
[a, "Client was configured for partition `{partitionResult#name}` but ARN (`{Bucket}`) has `{bucketPartition#name}`"],
|
|
@@ -139,25 +140,26 @@ const _data = {
|
|
|
139
140
|
[a, "Invalid ARN: Expected a resource of the format `accesspoint:<accesspoint name>` but no name was provided"],
|
|
140
141
|
[a, "Invalid ARN: Object Lambda ARNs only support `accesspoint` arn types, but found: `{arnType}`"],
|
|
141
142
|
[a, "Access Points do not support S3 Accelerate"],
|
|
142
|
-
["https://{accessPointName_ssa_1}-{bucketArn#accountId}.s3-accesspoint-fips.dualstack.{bucketArn#region}.{bucketPartition#dnsSuffix}",
|
|
143
|
-
["https://{accessPointName_ssa_1}-{bucketArn#accountId}.s3-accesspoint-fips.{bucketArn#region}.{bucketPartition#dnsSuffix}",
|
|
144
|
-
["https://{accessPointName_ssa_1}-{bucketArn#accountId}.s3-accesspoint.dualstack.{bucketArn#region}.{bucketPartition#dnsSuffix}",
|
|
145
|
-
[N(1),
|
|
146
|
-
["https://{accessPointName_ssa_1}-{bucketArn#accountId}.s3-accesspoint.{bucketArn#region}.{bucketPartition#dnsSuffix}",
|
|
143
|
+
["https://{accessPointName_ssa_1}-{bucketArn#accountId}.s3-accesspoint-fips.dualstack.{bucketArn#region}.{bucketPartition#dnsSuffix}", am],
|
|
144
|
+
["https://{accessPointName_ssa_1}-{bucketArn#accountId}.s3-accesspoint-fips.{bucketArn#region}.{bucketPartition#dnsSuffix}", am],
|
|
145
|
+
["https://{accessPointName_ssa_1}-{bucketArn#accountId}.s3-accesspoint.dualstack.{bucketArn#region}.{bucketPartition#dnsSuffix}", am],
|
|
146
|
+
[N(1), am],
|
|
147
|
+
["https://{accessPointName_ssa_1}-{bucketArn#accountId}.s3-accesspoint.{bucketArn#region}.{bucketPartition#dnsSuffix}", am],
|
|
147
148
|
[a, "Invalid ARN: The ARN was not for the S3 service, found: {bucketArn#service}"],
|
|
148
149
|
[a, "S3 MRAP does not support dual-stack"],
|
|
149
150
|
[a, "S3 MRAP does not support FIPS"],
|
|
150
151
|
[a, "S3 MRAP does not support S3 Accelerate"],
|
|
151
152
|
[a, "Invalid configuration: Multi-Region Access Point ARNs are disabled."],
|
|
152
|
-
["https://{accessPointName_ssa_1}.accesspoint.s3-global.{partitionResult#dnsSuffix}", { [
|
|
153
|
+
["https://{accessPointName_ssa_1}.accesspoint.s3-global.{partitionResult#dnsSuffix}", { [az]: [{ [aA]: b, name: P, [aB]: H, [aD]: av }] }],
|
|
153
154
|
[a, "Client was configured for partition `{partitionResult#name}` but bucket referred to partition `{bucketArn#partition}`"],
|
|
154
155
|
[a, "Invalid Access Point Name"],
|
|
155
156
|
[a, "S3 Outposts does not support Dual-stack"],
|
|
156
157
|
[a, "S3 Outposts does not support FIPS"],
|
|
157
158
|
[a, "S3 Outposts does not support S3 Accelerate"],
|
|
158
159
|
[a, "Invalid Arn: Outpost Access Point ARN contains sub resources"],
|
|
159
|
-
["https://{accessPointName_ssa_2}-{bucketArn#accountId}.{outpostId_ssa_1}.{url#authority}",
|
|
160
|
-
["https://{accessPointName_ssa_2}-{bucketArn#accountId}.{outpostId_ssa_1}.s3-outposts.{bucketArn#region}.{bucketPartition#dnsSuffix}",
|
|
160
|
+
["https://{accessPointName_ssa_2}-{bucketArn#accountId}.{outpostId_ssa_1}.{url#authority}", an],
|
|
161
|
+
["https://{accessPointName_ssa_2}-{bucketArn#accountId}.{outpostId_ssa_1}.s3-outposts.{bucketArn#region}.{bucketPartition#dnsSuffix}", an],
|
|
162
|
+
[a, O(2)],
|
|
161
163
|
[a, "Expected an outpost type `accesspoint`, found {outpostType}"],
|
|
162
164
|
[a, "Invalid ARN: expected an access point name"],
|
|
163
165
|
[a, "Invalid ARN: Expected a 4-component resource"],
|
|
@@ -167,32 +169,32 @@ const _data = {
|
|
|
167
169
|
[a, "Invalid ARN: No ARN type specified"],
|
|
168
170
|
[a, "Invalid ARN: `{Bucket}` was not a valid ARN"],
|
|
169
171
|
[a, "Path-style addressing cannot be used with ARN buckets"],
|
|
170
|
-
["https://s3-fips.dualstack.us-east-1.{partitionResult#dnsSuffix}/{uri_encoded_bucket}",
|
|
171
|
-
["https://s3-fips.dualstack.{Region}.{partitionResult#dnsSuffix}/{uri_encoded_bucket}",
|
|
172
|
-
["https://s3-fips.us-east-1.{partitionResult#dnsSuffix}/{uri_encoded_bucket}",
|
|
173
|
-
["https://s3-fips.{Region}.{partitionResult#dnsSuffix}/{uri_encoded_bucket}",
|
|
174
|
-
["https://s3.dualstack.us-east-1.{partitionResult#dnsSuffix}/{uri_encoded_bucket}",
|
|
175
|
-
["https://s3.dualstack.{Region}.{partitionResult#dnsSuffix}/{uri_encoded_bucket}",
|
|
176
|
-
[P, ai],
|
|
177
|
-
[P, aj],
|
|
178
|
-
[Q, ai],
|
|
172
|
+
["https://s3-fips.dualstack.us-east-1.{partitionResult#dnsSuffix}/{uri_encoded_bucket}", aj],
|
|
173
|
+
["https://s3-fips.dualstack.{Region}.{partitionResult#dnsSuffix}/{uri_encoded_bucket}", ak],
|
|
174
|
+
["https://s3-fips.us-east-1.{partitionResult#dnsSuffix}/{uri_encoded_bucket}", aj],
|
|
175
|
+
["https://s3-fips.{Region}.{partitionResult#dnsSuffix}/{uri_encoded_bucket}", ak],
|
|
176
|
+
["https://s3.dualstack.us-east-1.{partitionResult#dnsSuffix}/{uri_encoded_bucket}", aj],
|
|
177
|
+
["https://s3.dualstack.{Region}.{partitionResult#dnsSuffix}/{uri_encoded_bucket}", ak],
|
|
179
178
|
[Q, aj],
|
|
180
|
-
[
|
|
179
|
+
[Q, ak],
|
|
180
|
+
[R, aj],
|
|
181
|
+
[R, ak],
|
|
182
|
+
["https://s3.{Region}.{partitionResult#dnsSuffix}/{uri_encoded_bucket}", ak],
|
|
181
183
|
[a, "Path-style addressing cannot be used with S3 Accelerate"],
|
|
182
|
-
[J,
|
|
183
|
-
["https://s3-object-lambda-fips.{Region}.{partitionResult#dnsSuffix}",
|
|
184
|
-
["https://s3-object-lambda.{Region}.{partitionResult#dnsSuffix}",
|
|
185
|
-
["https://s3-fips.dualstack.us-east-1.{partitionResult#dnsSuffix}",
|
|
186
|
-
["https://s3-fips.dualstack.{Region}.{partitionResult#dnsSuffix}",
|
|
187
|
-
["https://s3-fips.us-east-1.{partitionResult#dnsSuffix}",
|
|
188
|
-
["https://s3-fips.{Region}.{partitionResult#dnsSuffix}",
|
|
189
|
-
["https://s3.dualstack.us-east-1.{partitionResult#dnsSuffix}",
|
|
190
|
-
["https://s3.dualstack.{Region}.{partitionResult#dnsSuffix}",
|
|
191
|
-
[J, ai],
|
|
184
|
+
[J, ao],
|
|
185
|
+
["https://s3-object-lambda-fips.{Region}.{partitionResult#dnsSuffix}", ao],
|
|
186
|
+
["https://s3-object-lambda.{Region}.{partitionResult#dnsSuffix}", ao],
|
|
187
|
+
["https://s3-fips.dualstack.us-east-1.{partitionResult#dnsSuffix}", aj],
|
|
188
|
+
["https://s3-fips.dualstack.{Region}.{partitionResult#dnsSuffix}", ak],
|
|
189
|
+
["https://s3-fips.us-east-1.{partitionResult#dnsSuffix}", aj],
|
|
190
|
+
["https://s3-fips.{Region}.{partitionResult#dnsSuffix}", ak],
|
|
191
|
+
["https://s3.dualstack.us-east-1.{partitionResult#dnsSuffix}", aj],
|
|
192
|
+
["https://s3.dualstack.{Region}.{partitionResult#dnsSuffix}", ak],
|
|
192
193
|
[J, aj],
|
|
193
|
-
[
|
|
194
|
-
[
|
|
195
|
-
[
|
|
194
|
+
[J, ak],
|
|
195
|
+
[S, aj],
|
|
196
|
+
[S, ak],
|
|
197
|
+
["https://s3.{Region}.{partitionResult#dnsSuffix}", ak],
|
|
196
198
|
[a, "A region must be set when sending requests to S3."]
|
|
197
199
|
]
|
|
198
200
|
};
|
|
@@ -200,555 +202,557 @@ const root = 2;
|
|
|
200
202
|
const r = 100_000_000;
|
|
201
203
|
const nodes = new Int32Array([
|
|
202
204
|
-1, 1, -1,
|
|
203
|
-
0, 3, r +
|
|
204
|
-
1,
|
|
205
|
-
2,
|
|
206
|
-
3,
|
|
207
|
-
4,
|
|
205
|
+
0, 3, r + 115,
|
|
206
|
+
1, 424, 4,
|
|
207
|
+
2, 272, 5,
|
|
208
|
+
3, 233, 6,
|
|
209
|
+
4, 85, 7,
|
|
208
210
|
5, 15, 8,
|
|
209
|
-
8, 9, r +
|
|
211
|
+
8, 9, r + 115,
|
|
210
212
|
16, 10, 13,
|
|
211
213
|
18, 11, 13,
|
|
212
214
|
19, 12, 13,
|
|
213
215
|
22, r + 14, 13,
|
|
214
216
|
35, 14, r + 42,
|
|
215
|
-
36, r +
|
|
216
|
-
6,
|
|
217
|
-
7,
|
|
217
|
+
36, r + 103, 435,
|
|
218
|
+
6, 271, 16,
|
|
219
|
+
7, 270, 17,
|
|
218
220
|
8, 19, 18,
|
|
219
|
-
14,
|
|
221
|
+
14, 501, 106,
|
|
220
222
|
9, 20, 24,
|
|
221
223
|
10, 21, 24,
|
|
222
224
|
11, 22, 24,
|
|
223
225
|
12, 23, 24,
|
|
224
|
-
13,
|
|
225
|
-
14,
|
|
226
|
-
20,
|
|
227
|
-
26, 27,
|
|
228
|
-
37, 28, r +
|
|
229
|
-
38, r +
|
|
230
|
-
39,
|
|
226
|
+
13, 547, 24,
|
|
227
|
+
14, 77, 25,
|
|
228
|
+
20, 73, 26,
|
|
229
|
+
26, 27, 78,
|
|
230
|
+
37, 28, r + 86,
|
|
231
|
+
38, r + 86, 29,
|
|
232
|
+
39, 47, 30,
|
|
231
233
|
48, r + 58, 31,
|
|
232
|
-
50, 32, r +
|
|
233
|
-
51, 33,
|
|
234
|
+
50, 32, r + 85,
|
|
235
|
+
51, 33, 136,
|
|
234
236
|
55, r + 76, 34,
|
|
235
|
-
59, 35, r +
|
|
237
|
+
59, 35, r + 84,
|
|
236
238
|
60, 39, 36,
|
|
237
|
-
61, 37, r +
|
|
238
|
-
62, 38,
|
|
239
|
+
61, 37, r + 83,
|
|
240
|
+
62, 38, 146,
|
|
239
241
|
63, 41, r + 46,
|
|
240
|
-
61, 40, r +
|
|
241
|
-
62, 41,
|
|
242
|
+
61, 40, r + 83,
|
|
243
|
+
62, 41, 150,
|
|
242
244
|
64, 42, r + 54,
|
|
243
245
|
66, 43, r + 53,
|
|
244
246
|
70, 44, r + 52,
|
|
245
|
-
71, 45, r +
|
|
246
|
-
73,
|
|
247
|
-
|
|
248
|
-
|
|
249
|
-
|
|
250
|
-
|
|
251
|
-
|
|
252
|
-
|
|
253
|
-
|
|
254
|
-
|
|
255
|
-
|
|
256
|
-
|
|
257
|
-
|
|
258
|
-
|
|
259
|
-
|
|
260
|
-
|
|
247
|
+
71, 45, r + 81,
|
|
248
|
+
73, 46, r + 80,
|
|
249
|
+
74, r + 78, r + 79,
|
|
250
|
+
40, 48, r + 57,
|
|
251
|
+
41, r + 57, 49,
|
|
252
|
+
42, 185, 50,
|
|
253
|
+
48, 62, 51,
|
|
254
|
+
49, r + 45, 52,
|
|
255
|
+
51, 53, 526,
|
|
256
|
+
60, 56, 54,
|
|
257
|
+
62, r + 55, 55,
|
|
258
|
+
63, 57, r + 46,
|
|
259
|
+
62, r + 55, 57,
|
|
260
|
+
64, 58, r + 54,
|
|
261
|
+
66, 59, r + 53,
|
|
262
|
+
69, 60, r + 65,
|
|
263
|
+
70, 61, r + 52,
|
|
261
264
|
72, r + 64, r + 51,
|
|
262
|
-
49, r + 45,
|
|
263
|
-
51,
|
|
264
|
-
60,
|
|
265
|
-
62, r + 55,
|
|
266
|
-
63,
|
|
267
|
-
62, r + 55,
|
|
268
|
-
64,
|
|
269
|
-
66,
|
|
270
|
-
68, r + 47,
|
|
271
|
-
70,
|
|
265
|
+
49, r + 45, 63,
|
|
266
|
+
51, 64, 526,
|
|
267
|
+
60, 67, 65,
|
|
268
|
+
62, r + 55, 66,
|
|
269
|
+
63, 68, r + 46,
|
|
270
|
+
62, r + 55, 68,
|
|
271
|
+
64, 69, r + 54,
|
|
272
|
+
66, 70, r + 53,
|
|
273
|
+
68, r + 47, 71,
|
|
274
|
+
70, 72, r + 52,
|
|
272
275
|
72, r + 50, r + 51,
|
|
273
|
-
25,
|
|
274
|
-
46, r + 39,
|
|
275
|
-
57,
|
|
276
|
+
25, 74, r + 42,
|
|
277
|
+
46, r + 39, 75,
|
|
278
|
+
57, 76, r + 41,
|
|
276
279
|
58, r + 40, r + 41,
|
|
277
|
-
26, r +
|
|
278
|
-
28, r +
|
|
279
|
-
34,
|
|
280
|
-
35,
|
|
281
|
-
36, r +
|
|
282
|
-
46, r +
|
|
283
|
-
57,
|
|
284
|
-
58, r +
|
|
285
|
-
5,
|
|
286
|
-
8,
|
|
287
|
-
16,
|
|
288
|
-
18,
|
|
289
|
-
19,
|
|
290
|
-
21,
|
|
291
|
-
19,
|
|
280
|
+
26, r + 88, 78,
|
|
281
|
+
28, r + 87, 79,
|
|
282
|
+
34, 82, 80,
|
|
283
|
+
35, 81, 545,
|
|
284
|
+
36, r + 103, r + 115,
|
|
285
|
+
46, r + 97, 83,
|
|
286
|
+
57, 84, r + 99,
|
|
287
|
+
58, r + 98, r + 99,
|
|
288
|
+
5, 101, 86,
|
|
289
|
+
8, 87, r + 115,
|
|
290
|
+
16, 88, 89,
|
|
291
|
+
18, 91, 89,
|
|
292
|
+
19, 90, 92,
|
|
293
|
+
21, 97, 95,
|
|
294
|
+
19, 93, 92,
|
|
295
|
+
21, 98, 95,
|
|
292
296
|
21, 97, 94,
|
|
293
|
-
|
|
294
|
-
|
|
295
|
-
|
|
296
|
-
|
|
297
|
-
|
|
298
|
-
|
|
299
|
-
|
|
300
|
-
|
|
301
|
-
|
|
302
|
-
|
|
303
|
-
|
|
304
|
-
|
|
305
|
-
|
|
306
|
-
|
|
307
|
-
|
|
308
|
-
|
|
309
|
-
|
|
310
|
-
|
|
311
|
-
|
|
312
|
-
|
|
313
|
-
|
|
314
|
-
|
|
315
|
-
|
|
316
|
-
52, 116, r + 72,
|
|
297
|
+
22, r + 14, 95,
|
|
298
|
+
35, 96, r + 42,
|
|
299
|
+
36, r + 103, r + 42,
|
|
300
|
+
22, r + 13, 98,
|
|
301
|
+
35, 99, r + 42,
|
|
302
|
+
36, r + 101, 100,
|
|
303
|
+
46, r + 110, r + 111,
|
|
304
|
+
6, 214, 102,
|
|
305
|
+
7, 208, 103,
|
|
306
|
+
8, 119, 104,
|
|
307
|
+
14, 118, 105,
|
|
308
|
+
21, 106, r + 23,
|
|
309
|
+
26, 107, 502,
|
|
310
|
+
37, 108, r + 86,
|
|
311
|
+
38, r + 86, 109,
|
|
312
|
+
39, 112, 110,
|
|
313
|
+
48, r + 58, 111,
|
|
314
|
+
50, 136, r + 85,
|
|
315
|
+
40, 113, r + 57,
|
|
316
|
+
41, r + 57, 114,
|
|
317
|
+
42, 115, 500,
|
|
318
|
+
48, r + 56, 116,
|
|
319
|
+
52, 117, r + 72,
|
|
317
320
|
65, r + 69, r + 72,
|
|
318
|
-
21,
|
|
319
|
-
9,
|
|
320
|
-
10,
|
|
321
|
-
11,
|
|
322
|
-
12,
|
|
323
|
-
13,
|
|
324
|
-
14,
|
|
325
|
-
20,
|
|
326
|
-
21,
|
|
327
|
-
23,
|
|
328
|
-
24,
|
|
329
|
-
26,
|
|
330
|
-
37,
|
|
331
|
-
38, r +
|
|
332
|
-
39,
|
|
333
|
-
48, r + 58,
|
|
334
|
-
50,
|
|
335
|
-
51,
|
|
336
|
-
55, r + 76,
|
|
337
|
-
59,
|
|
338
|
-
60, r +
|
|
339
|
-
61,
|
|
340
|
-
63, r +
|
|
341
|
-
55, r + 76,
|
|
342
|
-
59,
|
|
343
|
-
60,
|
|
344
|
-
61,
|
|
345
|
-
62,
|
|
346
|
-
63,
|
|
347
|
-
63,
|
|
348
|
-
61,
|
|
349
|
-
62,
|
|
350
|
-
64,
|
|
351
|
-
66,
|
|
352
|
-
70, r +
|
|
353
|
-
64,
|
|
354
|
-
66,
|
|
355
|
-
70,
|
|
356
|
-
71,
|
|
357
|
-
73,
|
|
358
|
-
|
|
359
|
-
|
|
360
|
-
|
|
361
|
-
|
|
362
|
-
|
|
363
|
-
|
|
364
|
-
|
|
365
|
-
|
|
366
|
-
63, 167, r + 46,
|
|
321
|
+
21, 501, r + 23,
|
|
322
|
+
9, 120, 124,
|
|
323
|
+
10, 121, 124,
|
|
324
|
+
11, 122, 124,
|
|
325
|
+
12, 123, 124,
|
|
326
|
+
13, 202, 124,
|
|
327
|
+
14, 195, 125,
|
|
328
|
+
20, 190, 126,
|
|
329
|
+
21, 127, r + 23,
|
|
330
|
+
23, 128, 129,
|
|
331
|
+
24, 189, 129,
|
|
332
|
+
26, 130, 197,
|
|
333
|
+
37, 131, r + 86,
|
|
334
|
+
38, r + 86, 132,
|
|
335
|
+
39, 159, 133,
|
|
336
|
+
48, r + 58, 134,
|
|
337
|
+
50, 135, r + 85,
|
|
338
|
+
51, 141, 136,
|
|
339
|
+
55, r + 76, 137,
|
|
340
|
+
59, 138, r + 84,
|
|
341
|
+
60, r + 83, 139,
|
|
342
|
+
61, 140, r + 83,
|
|
343
|
+
63, r + 83, r + 46,
|
|
344
|
+
55, r + 76, 142,
|
|
345
|
+
59, 143, r + 84,
|
|
346
|
+
60, 148, 144,
|
|
347
|
+
61, 145, r + 83,
|
|
348
|
+
62, 147, 146,
|
|
349
|
+
63, 150, r + 46,
|
|
350
|
+
63, 153, r + 46,
|
|
351
|
+
61, 149, r + 83,
|
|
352
|
+
62, 153, 150,
|
|
353
|
+
64, 151, r + 54,
|
|
354
|
+
66, 152, r + 53,
|
|
355
|
+
70, r + 82, r + 52,
|
|
356
|
+
64, 154, r + 54,
|
|
357
|
+
66, 155, r + 53,
|
|
358
|
+
70, 156, r + 52,
|
|
359
|
+
71, 157, r + 81,
|
|
360
|
+
73, 158, r + 80,
|
|
361
|
+
74, r + 77, r + 79,
|
|
362
|
+
40, 160, r + 57,
|
|
363
|
+
41, r + 57, 161,
|
|
364
|
+
42, 185, 162,
|
|
365
|
+
48, 174, 163,
|
|
366
|
+
49, r + 45, 164,
|
|
367
|
+
51, 165, 526,
|
|
368
|
+
60, 168, 166,
|
|
367
369
|
62, r + 55, 167,
|
|
368
|
-
|
|
369
|
-
|
|
370
|
-
|
|
371
|
-
|
|
370
|
+
63, 169, r + 46,
|
|
371
|
+
62, r + 55, 169,
|
|
372
|
+
64, 170, r + 54,
|
|
373
|
+
66, 171, r + 53,
|
|
374
|
+
69, 172, r + 65,
|
|
375
|
+
70, 173, r + 52,
|
|
372
376
|
72, r + 63, r + 51,
|
|
373
|
-
49, r + 45,
|
|
374
|
-
51,
|
|
375
|
-
60,
|
|
376
|
-
62, r + 55, 176,
|
|
377
|
-
63, 178, r + 46,
|
|
377
|
+
49, r + 45, 175,
|
|
378
|
+
51, 176, 526,
|
|
379
|
+
60, 179, 177,
|
|
378
380
|
62, r + 55, 178,
|
|
379
|
-
|
|
380
|
-
|
|
381
|
-
|
|
382
|
-
|
|
381
|
+
63, 180, r + 46,
|
|
382
|
+
62, r + 55, 180,
|
|
383
|
+
64, 181, r + 54,
|
|
384
|
+
66, 182, r + 53,
|
|
385
|
+
68, r + 47, 183,
|
|
386
|
+
70, 184, r + 52,
|
|
383
387
|
72, r + 48, r + 51,
|
|
384
|
-
48, r + 56,
|
|
385
|
-
52,
|
|
386
|
-
65, r + 69,
|
|
388
|
+
48, r + 56, 186,
|
|
389
|
+
52, 187, r + 72,
|
|
390
|
+
65, r + 69, 188,
|
|
387
391
|
67, r + 70, r + 71,
|
|
388
392
|
25, r + 36, r + 42,
|
|
389
|
-
21,
|
|
390
|
-
25,
|
|
391
|
-
30,
|
|
393
|
+
21, 191, r + 23,
|
|
394
|
+
25, 192, r + 42,
|
|
395
|
+
30, 194, 193,
|
|
392
396
|
46, r + 34, r + 36,
|
|
393
397
|
46, r + 33, r + 35,
|
|
394
|
-
21,
|
|
395
|
-
26, r +
|
|
396
|
-
28, r +
|
|
397
|
-
34,
|
|
398
|
-
35,
|
|
399
|
-
36, r +
|
|
400
|
-
46, r +
|
|
401
|
-
17,
|
|
402
|
-
20,
|
|
403
|
-
21,
|
|
404
|
-
33,
|
|
405
|
-
44, r + 16,
|
|
398
|
+
21, 196, r + 23,
|
|
399
|
+
26, r + 88, 197,
|
|
400
|
+
28, r + 87, 198,
|
|
401
|
+
34, 201, 199,
|
|
402
|
+
35, 200, 545,
|
|
403
|
+
36, r + 101, r + 115,
|
|
404
|
+
46, r + 95, r + 96,
|
|
405
|
+
17, 203, r + 22,
|
|
406
|
+
20, 204, r + 21,
|
|
407
|
+
21, 205, 550,
|
|
408
|
+
33, 206, 550,
|
|
409
|
+
44, r + 16, 207,
|
|
406
410
|
45, r + 18, r + 20,
|
|
407
|
-
8,
|
|
408
|
-
16,
|
|
409
|
-
18,
|
|
410
|
-
19,
|
|
411
|
-
20,
|
|
412
|
-
21,
|
|
413
|
-
8,
|
|
414
|
-
19,
|
|
415
|
-
20,
|
|
416
|
-
21,
|
|
417
|
-
16,
|
|
418
|
-
18,
|
|
419
|
-
19,
|
|
420
|
-
20,
|
|
421
|
-
21,
|
|
422
|
-
19,
|
|
423
|
-
20,
|
|
411
|
+
8, 209, 215,
|
|
412
|
+
16, 210, 220,
|
|
413
|
+
18, 211, 220,
|
|
414
|
+
19, 212, 224,
|
|
415
|
+
20, 213, 227,
|
|
416
|
+
21, 231, 401,
|
|
417
|
+
8, 218, 215,
|
|
418
|
+
19, 216, r + 9,
|
|
419
|
+
20, 217, 227,
|
|
420
|
+
21, 231, r + 9,
|
|
421
|
+
16, 219, 220,
|
|
422
|
+
18, 223, 220,
|
|
423
|
+
19, 221, 224,
|
|
424
|
+
20, 222, 227,
|
|
425
|
+
21, 231, r + 12,
|
|
426
|
+
19, 226, 224,
|
|
427
|
+
20, 225, r + 9,
|
|
424
428
|
21, r + 9, r + 12,
|
|
425
|
-
20,
|
|
426
|
-
21,
|
|
427
|
-
30,
|
|
429
|
+
20, 230, 227,
|
|
430
|
+
21, 228, r + 9,
|
|
431
|
+
30, 229, r + 9,
|
|
428
432
|
34, r + 7, r + 9,
|
|
429
|
-
21,
|
|
430
|
-
30,
|
|
433
|
+
21, 231, 415,
|
|
434
|
+
30, 232, r + 8,
|
|
431
435
|
34, r + 7, r + 8,
|
|
432
|
-
4, r + 2,
|
|
433
|
-
5,
|
|
434
|
-
6,
|
|
435
|
-
7,
|
|
436
|
-
8,
|
|
437
|
-
9,
|
|
438
|
-
10,
|
|
439
|
-
11,
|
|
440
|
-
12,
|
|
441
|
-
13,
|
|
442
|
-
14,
|
|
443
|
-
20,
|
|
444
|
-
26,
|
|
445
|
-
37,
|
|
446
|
-
38, r +
|
|
447
|
-
39,
|
|
448
|
-
40,
|
|
449
|
-
41, r + 57,
|
|
450
|
-
42,
|
|
451
|
-
48, r + 43,
|
|
452
|
-
49, r + 45,
|
|
453
|
-
51,
|
|
454
|
-
60,
|
|
455
|
-
62, r + 55, 255,
|
|
456
|
-
63, 257, r + 46,
|
|
436
|
+
4, r + 2, 234,
|
|
437
|
+
5, 235, 480,
|
|
438
|
+
6, 271, 236,
|
|
439
|
+
7, 270, 237,
|
|
440
|
+
8, 238, 491,
|
|
441
|
+
9, 239, 243,
|
|
442
|
+
10, 240, 243,
|
|
443
|
+
11, 241, 243,
|
|
444
|
+
12, 242, 243,
|
|
445
|
+
13, 547, 243,
|
|
446
|
+
14, 266, 244,
|
|
447
|
+
20, 264, 245,
|
|
448
|
+
26, 246, 267,
|
|
449
|
+
37, 247, r + 86,
|
|
450
|
+
38, r + 86, 248,
|
|
451
|
+
39, 249, 518,
|
|
452
|
+
40, 250, r + 57,
|
|
453
|
+
41, r + 57, 251,
|
|
454
|
+
42, 538, 252,
|
|
455
|
+
48, r + 43, 253,
|
|
456
|
+
49, r + 45, 254,
|
|
457
|
+
51, 255, 526,
|
|
458
|
+
60, 258, 256,
|
|
457
459
|
62, r + 55, 257,
|
|
458
|
-
|
|
459
|
-
|
|
460
|
-
|
|
461
|
-
|
|
460
|
+
63, 259, r + 46,
|
|
461
|
+
62, r + 55, 259,
|
|
462
|
+
64, 260, r + 54,
|
|
463
|
+
66, 261, r + 53,
|
|
464
|
+
69, 262, r + 65,
|
|
465
|
+
70, 263, r + 52,
|
|
462
466
|
72, r + 62, r + 51,
|
|
463
|
-
25,
|
|
467
|
+
25, 265, r + 42,
|
|
464
468
|
46, r + 31, r + 32,
|
|
465
|
-
26, r +
|
|
466
|
-
28, r +
|
|
467
|
-
34,
|
|
468
|
-
46, r +
|
|
469
|
-
8,
|
|
470
|
-
8,
|
|
471
|
-
3,
|
|
472
|
-
4, r + 3,
|
|
473
|
-
5,
|
|
474
|
-
8,
|
|
475
|
-
15, r + 5,
|
|
476
|
-
16,
|
|
477
|
-
18,
|
|
478
|
-
19,
|
|
479
|
-
22, r + 14,
|
|
480
|
-
35,
|
|
481
|
-
36, r +
|
|
482
|
-
46, r +
|
|
483
|
-
6,
|
|
484
|
-
7,
|
|
485
|
-
8,
|
|
486
|
-
14,
|
|
487
|
-
26,
|
|
488
|
-
37,
|
|
489
|
-
38, r +
|
|
490
|
-
39,
|
|
491
|
-
40,
|
|
492
|
-
41, r + 57,
|
|
493
|
-
42,
|
|
494
|
-
9,
|
|
495
|
-
10,
|
|
496
|
-
11,
|
|
497
|
-
12,
|
|
498
|
-
13,
|
|
499
|
-
14,
|
|
500
|
-
15, r + 5,
|
|
501
|
-
20,
|
|
502
|
-
26,
|
|
503
|
-
37,
|
|
504
|
-
38, r +
|
|
505
|
-
39,
|
|
506
|
-
48, r + 58,
|
|
507
|
-
50, r + 74, r +
|
|
508
|
-
40,
|
|
509
|
-
41, r + 57,
|
|
510
|
-
42,
|
|
511
|
-
48,
|
|
512
|
-
49, r + 45,
|
|
513
|
-
51,
|
|
514
|
-
60,
|
|
515
|
-
62, r + 55, 315,
|
|
516
|
-
63, 317, r + 46,
|
|
469
|
+
26, r + 88, 267,
|
|
470
|
+
28, r + 87, 268,
|
|
471
|
+
34, 269, 544,
|
|
472
|
+
46, r + 93, r + 94,
|
|
473
|
+
8, 397, r + 9,
|
|
474
|
+
8, 407, r + 9,
|
|
475
|
+
3, 346, 273,
|
|
476
|
+
4, r + 3, 274,
|
|
477
|
+
5, 284, 275,
|
|
478
|
+
8, 276, r + 115,
|
|
479
|
+
15, r + 5, 277,
|
|
480
|
+
16, 278, 281,
|
|
481
|
+
18, 279, 281,
|
|
482
|
+
19, 280, 281,
|
|
483
|
+
22, r + 14, 281,
|
|
484
|
+
35, 282, r + 42,
|
|
485
|
+
36, r + 102, 283,
|
|
486
|
+
46, r + 106, r + 107,
|
|
487
|
+
6, 405, 285,
|
|
488
|
+
7, 395, 286,
|
|
489
|
+
8, 295, 287,
|
|
490
|
+
14, 501, 288,
|
|
491
|
+
26, 289, 502,
|
|
492
|
+
37, 290, r + 86,
|
|
493
|
+
38, r + 86, 291,
|
|
494
|
+
39, 292, 307,
|
|
495
|
+
40, 293, r + 57,
|
|
496
|
+
41, r + 57, 294,
|
|
497
|
+
42, 335, 500,
|
|
498
|
+
9, 296, 300,
|
|
499
|
+
10, 297, 300,
|
|
500
|
+
11, 298, 300,
|
|
501
|
+
12, 299, 300,
|
|
502
|
+
13, 394, 300,
|
|
503
|
+
14, 339, 301,
|
|
504
|
+
15, r + 5, 302,
|
|
505
|
+
20, 337, 303,
|
|
506
|
+
26, 304, 341,
|
|
507
|
+
37, 305, r + 86,
|
|
508
|
+
38, r + 86, 306,
|
|
509
|
+
39, 309, 307,
|
|
510
|
+
48, r + 58, 308,
|
|
511
|
+
50, r + 74, r + 85,
|
|
512
|
+
40, 310, r + 57,
|
|
513
|
+
41, r + 57, 311,
|
|
514
|
+
42, 335, 312,
|
|
515
|
+
48, 324, 313,
|
|
516
|
+
49, r + 45, 314,
|
|
517
|
+
51, 315, 526,
|
|
518
|
+
60, 318, 316,
|
|
517
519
|
62, r + 55, 317,
|
|
518
|
-
|
|
519
|
-
|
|
520
|
-
|
|
521
|
-
|
|
520
|
+
63, 319, r + 46,
|
|
521
|
+
62, r + 55, 319,
|
|
522
|
+
64, 320, r + 54,
|
|
523
|
+
66, 321, r + 53,
|
|
524
|
+
69, 322, r + 65,
|
|
525
|
+
70, 323, r + 52,
|
|
522
526
|
72, r + 61, r + 51,
|
|
523
|
-
49, r + 45,
|
|
524
|
-
51,
|
|
525
|
-
60,
|
|
526
|
-
62, r + 55, 326,
|
|
527
|
-
63, 328, r + 46,
|
|
527
|
+
49, r + 45, 325,
|
|
528
|
+
51, 326, 526,
|
|
529
|
+
60, 329, 327,
|
|
528
530
|
62, r + 55, 328,
|
|
529
|
-
|
|
530
|
-
|
|
531
|
-
|
|
532
|
-
|
|
531
|
+
63, 330, r + 46,
|
|
532
|
+
62, r + 55, 330,
|
|
533
|
+
64, 331, r + 54,
|
|
534
|
+
66, 332, r + 53,
|
|
535
|
+
68, r + 47, 333,
|
|
536
|
+
70, 334, r + 52,
|
|
533
537
|
72, r + 49, r + 51,
|
|
534
|
-
48, r + 56,
|
|
538
|
+
48, r + 56, 336,
|
|
535
539
|
52, r + 67, r + 72,
|
|
536
|
-
25,
|
|
540
|
+
25, 338, r + 42,
|
|
537
541
|
46, r + 27, r + 28,
|
|
538
|
-
15, r + 5,
|
|
539
|
-
26, r +
|
|
540
|
-
28, r +
|
|
541
|
-
34,
|
|
542
|
-
35,
|
|
543
|
-
36, r +
|
|
544
|
-
46, r +
|
|
545
|
-
4, r + 2,
|
|
546
|
-
5,
|
|
547
|
-
8,
|
|
548
|
-
15, r + 5,
|
|
549
|
-
16,
|
|
550
|
-
18,
|
|
551
|
-
19,
|
|
552
|
-
22, r + 14,
|
|
553
|
-
35,
|
|
554
|
-
36, r + 43,
|
|
555
|
-
46, r +
|
|
556
|
-
6,
|
|
557
|
-
7,
|
|
558
|
-
8,
|
|
559
|
-
9,
|
|
560
|
-
10,
|
|
561
|
-
11,
|
|
562
|
-
12,
|
|
563
|
-
13,
|
|
564
|
-
14,
|
|
565
|
-
15, r + 5,
|
|
566
|
-
20,
|
|
567
|
-
26,
|
|
568
|
-
37,
|
|
569
|
-
38, r +
|
|
570
|
-
39,
|
|
571
|
-
40,
|
|
572
|
-
41, r + 57,
|
|
573
|
-
42,
|
|
574
|
-
48, r + 43,
|
|
575
|
-
49, r + 45,
|
|
576
|
-
51,
|
|
577
|
-
60,
|
|
578
|
-
62, r + 55, 378,
|
|
579
|
-
63, 380, r + 46,
|
|
542
|
+
15, r + 5, 340,
|
|
543
|
+
26, r + 88, 341,
|
|
544
|
+
28, r + 87, 342,
|
|
545
|
+
34, 345, 343,
|
|
546
|
+
35, 344, 545,
|
|
547
|
+
36, r + 102, r + 115,
|
|
548
|
+
46, r + 91, r + 92,
|
|
549
|
+
4, r + 2, 347,
|
|
550
|
+
5, 357, 348,
|
|
551
|
+
8, 349, r + 115,
|
|
552
|
+
15, r + 5, 350,
|
|
553
|
+
16, 351, 354,
|
|
554
|
+
18, 352, 354,
|
|
555
|
+
19, 353, 354,
|
|
556
|
+
22, r + 14, 354,
|
|
557
|
+
35, 355, r + 42,
|
|
558
|
+
36, r + 43, 356,
|
|
559
|
+
46, r + 104, r + 105,
|
|
560
|
+
6, 405, 358,
|
|
561
|
+
7, 395, 359,
|
|
562
|
+
8, 360, 491,
|
|
563
|
+
9, 361, 365,
|
|
564
|
+
10, 362, 365,
|
|
565
|
+
11, 363, 365,
|
|
566
|
+
12, 364, 365,
|
|
567
|
+
13, 394, 365,
|
|
568
|
+
14, 389, 366,
|
|
569
|
+
15, r + 5, 367,
|
|
570
|
+
20, 387, 368,
|
|
571
|
+
26, 369, 391,
|
|
572
|
+
37, 370, r + 86,
|
|
573
|
+
38, r + 86, 371,
|
|
574
|
+
39, 372, 518,
|
|
575
|
+
40, 373, r + 57,
|
|
576
|
+
41, r + 57, 374,
|
|
577
|
+
42, 538, 375,
|
|
578
|
+
48, r + 43, 376,
|
|
579
|
+
49, r + 45, 377,
|
|
580
|
+
51, 378, 526,
|
|
581
|
+
60, 381, 379,
|
|
580
582
|
62, r + 55, 380,
|
|
581
|
-
|
|
582
|
-
|
|
583
|
-
|
|
584
|
-
|
|
583
|
+
63, 382, r + 46,
|
|
584
|
+
62, r + 55, 382,
|
|
585
|
+
64, 383, r + 54,
|
|
586
|
+
66, 384, r + 53,
|
|
587
|
+
69, 385, r + 65,
|
|
588
|
+
70, 386, r + 52,
|
|
585
589
|
72, r + 60, r + 51,
|
|
586
|
-
25,
|
|
590
|
+
25, 388, r + 42,
|
|
587
591
|
46, r + 25, r + 26,
|
|
588
|
-
15, r + 5,
|
|
589
|
-
26, r +
|
|
590
|
-
28, r +
|
|
591
|
-
34,
|
|
592
|
-
46, r +
|
|
593
|
-
15, r + 5,
|
|
594
|
-
8,
|
|
595
|
-
15, r + 5,
|
|
596
|
-
16,
|
|
597
|
-
18,
|
|
598
|
-
19,
|
|
599
|
-
20,
|
|
600
|
-
27,
|
|
601
|
-
29, r + 11,
|
|
602
|
-
31, r + 11,
|
|
603
|
-
32, r + 11,
|
|
604
|
-
8,
|
|
605
|
-
15, r + 5,
|
|
606
|
-
16,
|
|
607
|
-
18,
|
|
608
|
-
19,
|
|
592
|
+
15, r + 5, 390,
|
|
593
|
+
26, r + 88, 391,
|
|
594
|
+
28, r + 87, 392,
|
|
595
|
+
34, 393, 544,
|
|
596
|
+
46, r + 89, r + 90,
|
|
597
|
+
15, r + 5, 547,
|
|
598
|
+
8, 396, r + 9,
|
|
599
|
+
15, r + 5, 397,
|
|
600
|
+
16, 398, 410,
|
|
601
|
+
18, 399, 410,
|
|
602
|
+
19, 400, 410,
|
|
603
|
+
20, 401, r + 9,
|
|
604
|
+
27, 402, r + 12,
|
|
605
|
+
29, r + 11, 403,
|
|
606
|
+
31, r + 11, 404,
|
|
607
|
+
32, r + 11, 422,
|
|
608
|
+
8, 406, r + 9,
|
|
609
|
+
15, r + 5, 407,
|
|
610
|
+
16, 408, 410,
|
|
611
|
+
18, 409, 410,
|
|
612
|
+
19, 411, 410,
|
|
609
613
|
20, r + 12, r + 9,
|
|
610
|
-
20,
|
|
611
|
-
22,
|
|
614
|
+
20, 414, 412,
|
|
615
|
+
22, 413, r + 9,
|
|
612
616
|
34, r + 10, r + 9,
|
|
613
|
-
22,
|
|
614
|
-
27,
|
|
615
|
-
27,
|
|
617
|
+
22, 416, 415,
|
|
618
|
+
27, 419, r + 12,
|
|
619
|
+
27, 418, 417,
|
|
616
620
|
34, r + 10, r + 12,
|
|
617
|
-
34, r + 10,
|
|
618
|
-
43, r + 11,
|
|
619
|
-
47, r + 11,
|
|
620
|
-
53, r + 11,
|
|
621
|
-
54, r + 11,
|
|
621
|
+
34, r + 10, 419,
|
|
622
|
+
43, r + 11, 420,
|
|
623
|
+
47, r + 11, 421,
|
|
624
|
+
53, r + 11, 422,
|
|
625
|
+
54, r + 11, 423,
|
|
622
626
|
56, r + 11, r + 12,
|
|
623
|
-
2, r + 1,
|
|
624
|
-
3,
|
|
625
|
-
4, r + 4,
|
|
626
|
-
5,
|
|
627
|
-
8,
|
|
628
|
-
16,
|
|
629
|
-
18,
|
|
630
|
-
19,
|
|
631
|
-
22, r + 14,
|
|
632
|
-
35,
|
|
633
|
-
36, r + 44,
|
|
634
|
-
46, r +
|
|
635
|
-
57,
|
|
636
|
-
58, r +
|
|
637
|
-
6, r + 6,
|
|
638
|
-
7, r + 6,
|
|
639
|
-
8,
|
|
640
|
-
14,
|
|
641
|
-
26,
|
|
642
|
-
37,
|
|
643
|
-
38, r +
|
|
644
|
-
39,
|
|
645
|
-
40,
|
|
646
|
-
41, r + 57,
|
|
647
|
-
42,
|
|
648
|
-
48, r + 44,
|
|
649
|
-
9,
|
|
650
|
-
10,
|
|
651
|
-
11,
|
|
652
|
-
12,
|
|
653
|
-
13,
|
|
654
|
-
14,
|
|
655
|
-
15,
|
|
656
|
-
20,
|
|
657
|
-
25,
|
|
627
|
+
2, r + 1, 425,
|
|
628
|
+
3, 478, 426,
|
|
629
|
+
4, r + 4, 427,
|
|
630
|
+
5, 438, 428,
|
|
631
|
+
8, 429, r + 115,
|
|
632
|
+
16, 430, 433,
|
|
633
|
+
18, 431, 433,
|
|
634
|
+
19, 432, 433,
|
|
635
|
+
22, r + 14, 433,
|
|
636
|
+
35, 434, r + 42,
|
|
637
|
+
36, r + 44, 435,
|
|
638
|
+
46, r + 112, 436,
|
|
639
|
+
57, 437, r + 114,
|
|
640
|
+
58, r + 113, r + 114,
|
|
641
|
+
6, r + 6, 439,
|
|
642
|
+
7, r + 6, 440,
|
|
643
|
+
8, 450, 441,
|
|
644
|
+
14, 501, 442,
|
|
645
|
+
26, 443, 502,
|
|
646
|
+
37, 444, r + 86,
|
|
647
|
+
38, r + 86, 445,
|
|
648
|
+
39, 446, 465,
|
|
649
|
+
40, 447, r + 57,
|
|
650
|
+
41, r + 57, 448,
|
|
651
|
+
42, 471, 449,
|
|
652
|
+
48, r + 44, 500,
|
|
653
|
+
9, 451, 455,
|
|
654
|
+
10, 452, 455,
|
|
655
|
+
11, 453, 455,
|
|
656
|
+
12, 454, 455,
|
|
657
|
+
13, 547, 455,
|
|
658
|
+
14, 473, 456,
|
|
659
|
+
15, 460, 457,
|
|
660
|
+
20, 458, 461,
|
|
661
|
+
25, 459, r + 42,
|
|
658
662
|
46, r + 37, r + 38,
|
|
659
|
-
20,
|
|
660
|
-
26,
|
|
661
|
-
37,
|
|
662
|
-
38, r +
|
|
663
|
-
39,
|
|
664
|
-
48, r + 58,
|
|
665
|
-
50, r + 75, r +
|
|
666
|
-
40,
|
|
667
|
-
41, r + 57,
|
|
668
|
-
42,
|
|
669
|
-
48, r + 44,
|
|
670
|
-
48, r + 44,
|
|
663
|
+
20, 540, 461,
|
|
664
|
+
26, 462, 474,
|
|
665
|
+
37, 463, r + 86,
|
|
666
|
+
38, r + 86, 464,
|
|
667
|
+
39, 467, 465,
|
|
668
|
+
48, r + 58, 466,
|
|
669
|
+
50, r + 75, r + 85,
|
|
670
|
+
40, 468, r + 57,
|
|
671
|
+
41, r + 57, 469,
|
|
672
|
+
42, 471, 470,
|
|
673
|
+
48, r + 44, 524,
|
|
674
|
+
48, r + 44, 472,
|
|
671
675
|
52, r + 68, r + 72,
|
|
672
|
-
26, r +
|
|
673
|
-
28, r +
|
|
674
|
-
34, r +
|
|
675
|
-
35,
|
|
676
|
-
36, r + 44, r +
|
|
677
|
-
4, r + 2,
|
|
678
|
-
5,
|
|
679
|
-
8,
|
|
680
|
-
16,
|
|
681
|
-
18,
|
|
682
|
-
19,
|
|
683
|
-
22, r + 14,
|
|
684
|
-
35,
|
|
685
|
-
36, r + 43,
|
|
686
|
-
46, r +
|
|
687
|
-
6, r + 6,
|
|
688
|
-
7, r + 6,
|
|
689
|
-
8,
|
|
690
|
-
14,
|
|
691
|
-
26,
|
|
692
|
-
37,
|
|
693
|
-
38, r +
|
|
694
|
-
39,
|
|
695
|
-
40,
|
|
696
|
-
41, r + 57,
|
|
697
|
-
42,
|
|
698
|
-
48, r + 43,
|
|
699
|
-
49, r + 45,
|
|
700
|
-
26, r +
|
|
701
|
-
28, r +
|
|
702
|
-
9,
|
|
703
|
-
10,
|
|
704
|
-
11,
|
|
705
|
-
12,
|
|
706
|
-
13,
|
|
707
|
-
14,
|
|
708
|
-
15,
|
|
709
|
-
20,
|
|
710
|
-
25,
|
|
676
|
+
26, r + 88, 474,
|
|
677
|
+
28, r + 87, 475,
|
|
678
|
+
34, r + 100, 476,
|
|
679
|
+
35, 477, 545,
|
|
680
|
+
36, r + 44, r + 115,
|
|
681
|
+
4, r + 2, 479,
|
|
682
|
+
5, 488, 480,
|
|
683
|
+
8, 481, r + 115,
|
|
684
|
+
16, 482, 485,
|
|
685
|
+
18, 483, 485,
|
|
686
|
+
19, 484, 485,
|
|
687
|
+
22, r + 14, 485,
|
|
688
|
+
35, 486, r + 42,
|
|
689
|
+
36, r + 43, 487,
|
|
690
|
+
46, r + 108, r + 109,
|
|
691
|
+
6, r + 6, 489,
|
|
692
|
+
7, r + 6, 490,
|
|
693
|
+
8, 503, 491,
|
|
694
|
+
14, 501, 492,
|
|
695
|
+
26, 493, 502,
|
|
696
|
+
37, 494, r + 86,
|
|
697
|
+
38, r + 86, 495,
|
|
698
|
+
39, 496, 518,
|
|
699
|
+
40, 497, r + 57,
|
|
700
|
+
41, r + 57, 498,
|
|
701
|
+
42, 538, 499,
|
|
702
|
+
48, r + 43, 500,
|
|
703
|
+
49, r + 45, 526,
|
|
704
|
+
26, r + 88, 502,
|
|
705
|
+
28, r + 87, r + 115,
|
|
706
|
+
9, 504, 508,
|
|
707
|
+
10, 505, 508,
|
|
708
|
+
11, 506, 508,
|
|
709
|
+
12, 507, 508,
|
|
710
|
+
13, 547, 508,
|
|
711
|
+
14, 541, 509,
|
|
712
|
+
15, 513, 510,
|
|
713
|
+
20, 511, 514,
|
|
714
|
+
25, 512, r + 42,
|
|
711
715
|
46, r + 29, r + 30,
|
|
712
|
-
20,
|
|
713
|
-
26,
|
|
714
|
-
37,
|
|
715
|
-
38, r +
|
|
716
|
-
39,
|
|
717
|
-
48, r + 58,
|
|
718
|
-
50, r + 73, r +
|
|
719
|
-
40,
|
|
720
|
-
41, r + 57,
|
|
721
|
-
42,
|
|
722
|
-
48, r + 43,
|
|
723
|
-
49, r + 45,
|
|
724
|
-
51,
|
|
725
|
-
60, r + 55,
|
|
726
|
-
62, r + 55,
|
|
716
|
+
20, 540, 514,
|
|
717
|
+
26, 515, 542,
|
|
718
|
+
37, 516, r + 86,
|
|
719
|
+
38, r + 86, 517,
|
|
720
|
+
39, 520, 518,
|
|
721
|
+
48, r + 58, 519,
|
|
722
|
+
50, r + 73, r + 85,
|
|
723
|
+
40, 521, r + 57,
|
|
724
|
+
41, r + 57, 522,
|
|
725
|
+
42, 538, 523,
|
|
726
|
+
48, r + 43, 524,
|
|
727
|
+
49, r + 45, 525,
|
|
728
|
+
51, 529, 526,
|
|
729
|
+
60, r + 55, 527,
|
|
730
|
+
62, r + 55, 528,
|
|
727
731
|
63, r + 55, r + 46,
|
|
728
|
-
60,
|
|
729
|
-
62, r + 55, 529,
|
|
730
|
-
63, 531, r + 46,
|
|
732
|
+
60, 532, 530,
|
|
731
733
|
62, r + 55, 531,
|
|
732
|
-
|
|
733
|
-
|
|
734
|
-
|
|
735
|
-
|
|
734
|
+
63, 533, r + 46,
|
|
735
|
+
62, r + 55, 533,
|
|
736
|
+
64, 534, r + 54,
|
|
737
|
+
66, 535, r + 53,
|
|
738
|
+
69, 536, r + 65,
|
|
739
|
+
70, 537, r + 52,
|
|
736
740
|
72, r + 59, r + 51,
|
|
737
|
-
48, r + 43,
|
|
741
|
+
48, r + 43, 539,
|
|
738
742
|
52, r + 66, r + 72,
|
|
739
743
|
25, r + 24, r + 42,
|
|
740
|
-
26, r +
|
|
741
|
-
28, r +
|
|
742
|
-
34, r +
|
|
743
|
-
35,
|
|
744
|
-
36, r + 42, r +
|
|
745
|
-
36, r + 43, r +
|
|
746
|
-
17,
|
|
747
|
-
20,
|
|
748
|
-
33,
|
|
749
|
-
44, r + 17,
|
|
744
|
+
26, r + 88, 542,
|
|
745
|
+
28, r + 87, 543,
|
|
746
|
+
34, r + 100, 544,
|
|
747
|
+
35, 546, 545,
|
|
748
|
+
36, r + 42, r + 115,
|
|
749
|
+
36, r + 43, r + 115,
|
|
750
|
+
17, 548, r + 22,
|
|
751
|
+
20, 549, r + 21,
|
|
752
|
+
33, 552, 550,
|
|
753
|
+
44, r + 17, 551,
|
|
750
754
|
45, r + 19, r + 20,
|
|
751
|
-
44, r + 15,
|
|
755
|
+
44, r + 15, 553,
|
|
752
756
|
45, r + 15, r + 20,
|
|
753
757
|
]);
|
|
754
758
|
export const bdd = BinaryDecisionDiagram.from(nodes, root, _data.conditions, _data.results);
|