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