@mikeargento/bitgraph-player 0.3.0 → 0.5.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/README.md CHANGED
@@ -25,6 +25,33 @@ folders the BitGraph Folder writes). Exit codes: `0` TRUE, `1` FALSE,
25
25
  `2` UNDETERMINED, `3` error. `--out file` writes the verdict to a file;
26
26
  `--summary` prints a bundle reconnaissance to stderr.
27
27
 
28
+ ## Check a bundle
29
+
30
+ bitgraph-play check "BitGraph (photo.jpg)/"
31
+ bitgraph-play check proof.json photo.jpg --json
32
+
33
+ No rule needed. `check` reads an export (a folder or archive, or a
34
+ proof.json beside the file it records) and says, offline, what the bundle
35
+ establishes about each recording in it: that the file in hand hashes to
36
+ the recorded digest, that the Ed25519 signature and slot binding verify,
37
+ that the AWS Nitro attestation validates to the AWS root and binds this
38
+ exact proof, that the attested PCR0 is a published BitGraph enclave
39
+ measurement, and, from block headers in the bundle, which Ethereum blocks
40
+ the recording sits between. Every line is TRUE, FALSE, or UNDETERMINED:
41
+ FALSE only when evidence in hand contradicts the recording (an edited
42
+ signature, a block header that does not hash to its anchor), UNDETERMINED
43
+ when the evidence does not decide (the file is not in the bundle, a
44
+ witness is missing). Absence is never a verdict. The report ends with what
45
+ no offline check can establish, stated rather than implied. `--json`
46
+ prints the `bitgraph-check/1` report; exit codes match evaluation.
47
+
48
+ The same check runs in a browser: `verify.html`, built from this package,
49
+ ships inside the BitGraph Folder, beside Recordings. Open it and choose or
50
+ drop a recording folder, offline, and it renders the same report from the
51
+ same code. It is not hosted anywhere: the site's own drop box checks a file
52
+ against the public ledger, and a second box that could only say
53
+ "self-consistent" would be two boxes with different meanings.
54
+
28
55
  ## Start a rule
29
56
 
30
57
  bitgraph-play init po.pdf delivery.jpg approval.pdf --out rule.json
@@ -123,6 +150,19 @@ const verdict = buildVerdict(rule, ruleSha256Hex, resolutions, evaluation, audit
123
150
  process.stdout.write(serializeVerdict(verdict));
124
151
  ```
125
152
 
153
+ `check` is exported the same way, in two halves that the CLI and the
154
+ browser page share:
155
+
156
+ ```ts
157
+ import { ingestBundle, ingestEntries } from "@mikeargento/bitgraph-audit";
158
+ import { checkIngest, renderCheckText } from "@mikeargento/bitgraph-player";
159
+
160
+ const report = await checkIngest(await ingestBundle("BitGraph (photo.jpg)/"));
161
+ // or, from bytes already in hand (a browser drop):
162
+ // await checkIngest(await ingestEntries([{ path: "proof.json", open: () => bytes }]));
163
+ process.stdout.write(renderCheckText(report));
164
+ ```
165
+
126
166
  ## License
127
167
 
128
168
  MIT. Verification and evaluation are permissionless by design.
package/SPEC.md CHANGED
@@ -238,9 +238,12 @@ bundle contents MUST be byte-identical.
238
238
  Diagnostics go to stderr. Stdout carries verdict bytes only.
239
239
 
240
240
  These requirements govern evaluation invocations. A command-line Player
241
- MAY offer authoring conveniences (such as rule scaffolding) as distinct
241
+ MAY offer authoring conveniences (such as rule scaffolding) and reading
242
+ conveniences (such as a bundle check that reports, in the three values,
243
+ what a bundle establishes about the recordings it holds) as distinct
242
244
  subcommands; those are outside this specification and MUST NOT change
243
- the behavior of evaluation invocations.
245
+ the behavior of evaluation invocations. The reference implementation's
246
+ `check` subcommand uses the same exit-code mapping as evaluation.
244
247
 
245
248
  ## 9. Format 2: trustedKeys and signedBy
246
249
 
@@ -0,0 +1,2 @@
1
+ export {};
2
+ //# sourceMappingURL=check.test.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"check.test.d.ts","sourceRoot":"","sources":["../../src/__tests__/check.test.ts"],"names":[],"mappings":""}
@@ -0,0 +1,389 @@
1
+ // Copyright (c) 2024-2026 Mike Argento. Licensed under the MIT License. See LICENSE.
2
+ /**
3
+ * `check` tests.
4
+ *
5
+ * The real fixture is a genuine export from the production ledger: a
6
+ * 685-byte random text file, its proof (real Ed25519 signature, real AWS
7
+ * Nitro attestation, enclave v5 measurement), both bounding anchors, and
8
+ * both block-header witnesses. Copied verbatim from a BitGraph Folder
9
+ * export; read-only here, no ledger writes, no network.
10
+ *
11
+ * The parity test is the one that matters most: the same bundle ingested
12
+ * from disk (the CLI's path) and from memory (the browser page's path)
13
+ * must produce byte-identical reports, or the two fronts have drifted.
14
+ */
15
+ import { describe, it, before, after } from "node:test";
16
+ import * as assert from "node:assert/strict";
17
+ import { spawnSync } from "node:child_process";
18
+ import { cp, mkdtemp, readFile, rm, writeFile, readdir } from "node:fs/promises";
19
+ import { tmpdir } from "node:os";
20
+ import { join, relative } from "node:path";
21
+ import { fileURLToPath } from "node:url";
22
+ import { ingestBundle, ingestEntries } from "@mikeargento/bitgraph-audit";
23
+ import { buildCheckReport, checkIngest, renderCheckText, serializeCheckReport, KNOWN_ENCLAVE_MEASUREMENTS } from "../check.js";
24
+ import { PLAYER_VERSION } from "../verdict.js";
25
+ import { digestFor, makeAudit } from "./fixtures.js";
26
+ const FIXTURE = fileURLToPath(new URL("../../src/__tests__/fixtures/export-random-043", import.meta.url));
27
+ const CLI_PATH = fileURLToPath(new URL("../cli.js", import.meta.url));
28
+ async function walk(root, rel = "") {
29
+ const out = [];
30
+ const dir = rel === "" ? root : join(root, rel);
31
+ for (const entry of await readdir(dir, { withFileTypes: true })) {
32
+ const r = rel === "" ? entry.name : `${rel}/${entry.name}`;
33
+ if (entry.isDirectory())
34
+ out.push(...(await walk(root, r)));
35
+ else if (entry.isFile())
36
+ out.push(r);
37
+ }
38
+ return out;
39
+ }
40
+ async function memoryEntriesOf(root) {
41
+ const paths = await walk(root);
42
+ return paths.map((p) => ({
43
+ path: p,
44
+ open: () => readFile(join(root, ...p.split("/"))).then((b) => new Uint8Array(b)),
45
+ }));
46
+ }
47
+ /** Fill the audit sections makeAudit leaves empty so buildCheckReport can run over synthetic input. */
48
+ function complete(audit, overrides = {}) {
49
+ const a = audit;
50
+ return {
51
+ ...audit,
52
+ anomalies: { anomalies: [], divergences: [], boundaryEntryPoints: [] },
53
+ authorities: { groups: [], anomalies: [], sharedSignersAcrossEpochs: [] },
54
+ anchors: { anchors: [], metadataOnlyProofHashes: [], findings: [] },
55
+ witnesses: { outcomes: [], findings: [] },
56
+ attestations: {
57
+ records: [],
58
+ findings: [],
59
+ counts: {
60
+ proofsWithDeclaredMeasurement: 0,
61
+ proofsWithDocument: 0,
62
+ documentsValidated: 0,
63
+ documentsFailed: 0,
64
+ pcr0Matches: 0,
65
+ pcr0Mismatches: 0,
66
+ userDataBound: 0,
67
+ userDataUnbound: 0,
68
+ },
69
+ },
70
+ ...(a["temporal"] !== undefined ? {} : {}),
71
+ ...overrides,
72
+ };
73
+ }
74
+ describe("check: real export fixture (disk)", () => {
75
+ let report;
76
+ before(async () => {
77
+ report = await checkIngest(await ingestBundle(FIXTURE));
78
+ });
79
+ it("is TRUE end to end: file, signature, attestation, enclave, both anchors, both witnesses", () => {
80
+ assert.equal(report.check, "bitgraph-check/1");
81
+ assert.equal(report.result, "TRUE");
82
+ assert.equal(report.recordings.length, 1);
83
+ assert.equal(report.anchors.length, 2);
84
+ const rec = report.recordings[0];
85
+ assert.equal(rec.result, "TRUE");
86
+ assert.equal(rec.filePath, "random-043.txt");
87
+ assert.deepEqual(rec.lines.map((l) => [l.name, l.result]), [
88
+ ["file", "TRUE"],
89
+ ["signature", "TRUE"],
90
+ ["attestation", "TRUE"],
91
+ ["enclave", "TRUE"],
92
+ ]);
93
+ for (const anchor of report.anchors) {
94
+ assert.equal(anchor.result, "TRUE");
95
+ assert.deepEqual(anchor.lines.map((l) => [l.name, l.result]), [
96
+ ["signature", "TRUE"],
97
+ ["witness", "TRUE"],
98
+ ]);
99
+ }
100
+ assert.equal(report.contradictions.length, 0);
101
+ });
102
+ it("brackets the recording between the two verified block headers", () => {
103
+ const b = report.recordings[0].bounds;
104
+ assert.equal(b.status, "bracketed");
105
+ assert.equal(b.notBefore?.blockNumber, "25735831");
106
+ assert.equal(b.notAfter?.blockNumber, "25735832");
107
+ assert.match(b.detail, /after Ethereum block 25735831 and before block 25735832/);
108
+ });
109
+ it("orders anchors by causal position, not file name", () => {
110
+ assert.deepEqual(report.anchors.map((a) => a.blockNumber), ["25735831", "25735832"]);
111
+ assert.equal(report.anchors[0].witnessPath, "ethereum-anchors/anchor-before-witness.json");
112
+ });
113
+ it("names the excerpt gaps as notes, never as verdicts", () => {
114
+ assert.ok(report.notes.some((n) => /causal positions? between the earliest and latest recording/.test(n)));
115
+ assert.ok(report.notes.some((n) => /link(s)? to a predecessor that is not in this bundle/.test(n)));
116
+ assert.equal(report.contradictions.length, 0);
117
+ });
118
+ it("states what it cannot check", () => {
119
+ assert.ok(report.notChecked.some((n) => /canonical/.test(n)));
120
+ assert.ok(report.notChecked.some((n) => /ledger/.test(n)));
121
+ assert.equal(report.network, "none");
122
+ assert.equal(report.evaluator.version, PLAYER_VERSION);
123
+ });
124
+ it("recognizes the enclave v5 measurement from PINS.md", () => {
125
+ const enclave = report.recordings[0].lines.find((l) => l.name === "enclave");
126
+ assert.match(enclave.detail, /enclave v5/);
127
+ assert.equal(KNOWN_ENCLAVE_MEASUREMENTS.length, 4);
128
+ });
129
+ it("serializes deterministically: no timestamps, no machine paths", async () => {
130
+ const again = await checkIngest(await ingestBundle(FIXTURE));
131
+ assert.equal(serializeCheckReport(again), serializeCheckReport(report));
132
+ const bytes = serializeCheckReport(report);
133
+ assert.ok(!bytes.includes(FIXTURE), "report must not contain the machine path");
134
+ assert.ok(!bytes.includes("startedAt"));
135
+ assert.ok(renderCheckText(report).startsWith("TRUE: this file was recorded at position 1576"));
136
+ });
137
+ });
138
+ describe("check: a DECLARED recording (agency proof)", () => {
139
+ /* Ledger position #12,010, the first declaration ever made on the public
140
+ chain (2026-08-18). It is here because these packages had no real agency
141
+ proof to test against, and two bugs lived in that gap at once:
142
+
143
+ 1. the attestation stage compared user_data against computeProofHash,
144
+ the FROZEN SUBSET that excludes `actor`, instead of the hash of the
145
+ full signed body the enclave actually attested. Identical for every
146
+ proof without `actor`/`policy`, so every existing fixture passed;
147
+ 2. the browser verifier's createVerify shim THREW on P-256 rather than
148
+ checking it, so verify.html reported a valid declared proof as
149
+ contradicting itself.
150
+
151
+ Both turned a good proof FALSE — the failure mode the three-valued rule
152
+ exists to prevent. Keep this fixture. */
153
+ const DECLARED = fileURLToPath(new URL("../../src/__tests__/fixtures/declared-12010", import.meta.url));
154
+ it("verifies: signature, attestation binding, and enclave identity all TRUE", async () => {
155
+ const report = await checkIngest(await ingestBundle(DECLARED));
156
+ const rec = report.recordings[0];
157
+ assert.equal(rec.lines.find((l) => l.name === "signature").result, "TRUE");
158
+ assert.equal(rec.lines.find((l) => l.name === "attestation").result, "TRUE");
159
+ assert.equal(rec.lines.find((l) => l.name === "enclave").result, "TRUE");
160
+ });
161
+ it("is UNDETERMINED for want of the file, never FALSE", async () => {
162
+ const report = await checkIngest(await ingestBundle(DECLARED));
163
+ // The bundle holds no artifact, so the file line cannot decide. That is
164
+ // the only thing left open, and nothing here contradicts anything.
165
+ assert.equal(report.result, "UNDETERMINED");
166
+ assert.deepEqual(report.contradictions, []);
167
+ });
168
+ });
169
+ describe("check: disk and memory ingest produce byte-identical reports (the no-drift guarantee)", () => {
170
+ it("ingestEntries over the same files equals ingestBundle over the directory", async () => {
171
+ const fromDisk = await checkIngest(await ingestBundle(FIXTURE));
172
+ const fromMemory = await checkIngest(await ingestEntries(await memoryEntriesOf(FIXTURE)));
173
+ assert.equal(serializeCheckReport(fromMemory), serializeCheckReport(fromDisk));
174
+ assert.equal(fromMemory.result, "TRUE");
175
+ });
176
+ it("memory ingest tolerates any supply order (entries are sorted by path)", async () => {
177
+ const entries = await memoryEntriesOf(FIXTURE);
178
+ const reversed = [...entries].reverse();
179
+ const a = await checkIngest(await ingestEntries(entries));
180
+ const b = await checkIngest(await ingestEntries(reversed));
181
+ assert.equal(serializeCheckReport(a), serializeCheckReport(b));
182
+ });
183
+ it("memory ingest accepts whole bytes, promises, and chunk streams alike", async () => {
184
+ const paths = await walk(FIXTURE);
185
+ const entries = [];
186
+ for (const [i, p] of paths.entries()) {
187
+ const bytes = new Uint8Array(await readFile(join(FIXTURE, ...p.split("/"))));
188
+ const open = i % 3 === 0
189
+ ? () => bytes
190
+ : i % 3 === 1
191
+ ? () => Promise.resolve(bytes)
192
+ : () => (async function* () {
193
+ const half = Math.floor(bytes.length / 2);
194
+ yield bytes.subarray(0, half);
195
+ yield bytes.subarray(half);
196
+ })();
197
+ entries.push({ path: p, open });
198
+ }
199
+ const report = await checkIngest(await ingestEntries(entries));
200
+ assert.equal(report.result, "TRUE");
201
+ });
202
+ });
203
+ describe("check: what evidence in hand contradicts, and what it merely leaves open", () => {
204
+ let dir;
205
+ before(async () => {
206
+ dir = await mkdtemp(join(tmpdir(), "bitgraph-check-"));
207
+ });
208
+ after(async () => {
209
+ await rm(dir, { recursive: true, force: true });
210
+ });
211
+ async function copyFixture(name) {
212
+ const dest = join(dir, name);
213
+ await cp(FIXTURE, dest, { recursive: true });
214
+ return dest;
215
+ }
216
+ it("an edited file is UNDETERMINED (not FALSE) with a note naming it: absence is not a verdict", async () => {
217
+ const d = await copyFixture("edited");
218
+ const p = join(d, "random-043.txt");
219
+ await writeFile(p, Buffer.concat([await readFile(p), Buffer.from("x")]));
220
+ const report = await checkIngest(await ingestBundle(d));
221
+ assert.equal(report.result, "UNDETERMINED");
222
+ const file = report.recordings[0].lines.find((l) => l.name === "file");
223
+ assert.equal(file.result, "UNDETERMINED");
224
+ assert.ok(report.notes.some((n) => /random-043\.txt/.test(n) && /bytes differ/.test(n)));
225
+ // Everything else about the recording still holds.
226
+ assert.equal(report.recordings[0].lines.find((l) => l.name === "signature").result, "TRUE");
227
+ assert.equal(report.recordings[0].lines.find((l) => l.name === "attestation").result, "TRUE");
228
+ });
229
+ it("a tampered signature is FALSE", async () => {
230
+ const d = await copyFixture("badsig");
231
+ const p = join(d, "proof.json");
232
+ const proof = JSON.parse(await readFile(p, "utf8"));
233
+ const sig = Buffer.from(proof.signer.signatureB64, "base64");
234
+ sig[0] = sig[0] ^ 1;
235
+ proof.signer.signatureB64 = sig.toString("base64");
236
+ await writeFile(p, JSON.stringify(proof));
237
+ const report = await checkIngest(await ingestBundle(d));
238
+ assert.equal(report.result, "FALSE");
239
+ assert.equal(report.recordings[0].lines.find((l) => l.name === "signature").result, "FALSE");
240
+ assert.match(report.summary, /^FALSE/);
241
+ });
242
+ it("a tampered block header is FALSE on that anchor, and the bound it gave is withdrawn", async () => {
243
+ const d = await copyFixture("badwitness");
244
+ const p = join(d, "ethereum-anchors", "anchor-after-witness.json");
245
+ const w = JSON.parse(await readFile(p, "utf8"));
246
+ const h = w.headerRlpHex;
247
+ w.headerRlpHex = h.slice(0, -2) + (h.slice(-2) === "00" ? "11" : "00");
248
+ await writeFile(p, JSON.stringify(w));
249
+ const report = await checkIngest(await ingestBundle(d));
250
+ assert.equal(report.result, "FALSE");
251
+ const after = report.anchors.find((a) => a.blockNumber === "25735832");
252
+ assert.equal(after.lines.find((l) => l.name === "witness").result, "FALSE");
253
+ assert.equal(report.recordings[0].result, "TRUE", "the recording itself is still sound");
254
+ assert.equal(report.recordings[0].bounds.status, "lower-bounded");
255
+ });
256
+ it("proof plus file with no anchors is TRUE and unanchored", async () => {
257
+ const entries = ["proof.json", "random-043.txt"].map((name) => ({
258
+ path: name,
259
+ open: () => readFile(join(FIXTURE, name)).then((b) => new Uint8Array(b)),
260
+ }));
261
+ const report = await checkIngest(await ingestEntries(entries));
262
+ assert.equal(report.result, "TRUE");
263
+ assert.equal(report.recordings[0].bounds.status, "unanchored");
264
+ assert.equal(report.anchors.length, 0);
265
+ assert.match(report.summary, /with no Ethereum bound in this bundle/);
266
+ });
267
+ it("proof alone (no file) is UNDETERMINED: signature and attestation hold, binding to bytes does not", async () => {
268
+ const entries = [
269
+ { path: "proof.json", open: () => readFile(join(FIXTURE, "proof.json")).then((b) => new Uint8Array(b)) },
270
+ ];
271
+ const report = await checkIngest(await ingestEntries(entries));
272
+ assert.equal(report.result, "UNDETERMINED");
273
+ const rec = report.recordings[0];
274
+ assert.equal(rec.lines.find((l) => l.name === "file").result, "UNDETERMINED");
275
+ assert.equal(rec.lines.find((l) => l.name === "signature").result, "TRUE");
276
+ assert.equal(rec.filePath, undefined);
277
+ });
278
+ it("without WebCrypto the attestation is UNDETERMINED with the reason, never FALSE", async () => {
279
+ const report = await checkIngest(await ingestBundle(FIXTURE), { webCryptoAvailable: false });
280
+ const rec = report.recordings[0];
281
+ assert.equal(rec.lines.find((l) => l.name === "attestation").result, "UNDETERMINED");
282
+ assert.match(rec.lines.find((l) => l.name === "attestation").detail, /WebCrypto/);
283
+ assert.equal(rec.lines.find((l) => l.name === "enclave").result, "UNDETERMINED");
284
+ assert.equal(report.result, "UNDETERMINED");
285
+ });
286
+ it("an empty bundle is UNDETERMINED and says so", async () => {
287
+ const report = await checkIngest(await ingestEntries([]));
288
+ assert.equal(report.result, "UNDETERMINED");
289
+ assert.match(report.summary, /no BitGraph proofs were found/);
290
+ });
291
+ });
292
+ describe("check: synthetic audit shapes", () => {
293
+ it("an unknown PCR0 is UNDETERMINED (outside this verifier's knowledge), never FALSE", () => {
294
+ const audit = complete(makeAudit({
295
+ proofs: [{ name: "a", digestB64: digestFor("a"), epochId: "E", counter: "5", slotCounter: "4" }],
296
+ partitions: [{ epochId: "E", members: ["a"] }],
297
+ }));
298
+ audit.attestations.records.push({
299
+ proofHash: "proofhash-a",
300
+ declaredMeasurementPresent: true,
301
+ declaredMeasurement: "ff".repeat(48),
302
+ documentPresent: true,
303
+ attestationFormat: "aws-nitro",
304
+ documentValidated: true,
305
+ checks: [],
306
+ attestedPcr0: "ff".repeat(48),
307
+ pcr0MatchesDeclared: true,
308
+ userDataBoundToProof: true,
309
+ });
310
+ const report = buildCheckReport(audit);
311
+ const rec = report.recordings[0];
312
+ assert.equal(rec.lines.find((l) => l.name === "attestation").result, "TRUE");
313
+ const enclave = rec.lines.find((l) => l.name === "enclave");
314
+ assert.equal(enclave.result, "UNDETERMINED");
315
+ assert.match(enclave.detail, /not among the BitGraph enclave measurements this verifier knows/);
316
+ assert.equal(report.result, "UNDETERMINED");
317
+ });
318
+ it("an attestation bound to some other proof is FALSE", () => {
319
+ const audit = complete(makeAudit({
320
+ proofs: [{ name: "a", digestB64: digestFor("a"), epochId: "E", counter: "5" }],
321
+ partitions: [{ epochId: "E", members: ["a"] }],
322
+ }));
323
+ audit.attestations.records.push({
324
+ proofHash: "proofhash-a",
325
+ declaredMeasurementPresent: true,
326
+ documentPresent: true,
327
+ documentValidated: true,
328
+ checks: [],
329
+ attestedPcr0: KNOWN_ENCLAVE_MEASUREMENTS[3].pcr0,
330
+ pcr0MatchesDeclared: true,
331
+ userDataBoundToProof: false,
332
+ });
333
+ const report = buildCheckReport(audit);
334
+ assert.equal(report.recordings[0].lines.find((l) => l.name === "attestation").result, "FALSE");
335
+ assert.equal(report.result, "FALSE");
336
+ });
337
+ it("structural contradictions surface as FALSE while excerpt gaps stay notes", () => {
338
+ const audit = complete(makeAudit({
339
+ proofs: [
340
+ { name: "a", digestB64: digestFor("a"), epochId: "E", counter: "5" },
341
+ { name: "b", digestB64: digestFor("b"), epochId: "E", counter: "5" },
342
+ ],
343
+ partitions: [{ epochId: "E", members: ["a", "b"] }],
344
+ }));
345
+ audit.anomalies.anomalies.push({ code: "unexplained-counter-positions", proofHashes: [], message: "gap", details: { count: "3", ranges: [], positions: [], truncated: false } }, { code: "chain-break-missing", proofHashes: ["proofhash-a"], message: "missing pred", details: {} }, { code: "counter-collision", proofHashes: ["proofhash-a", "proofhash-b"], message: "two commits at position 5" });
346
+ const report = buildCheckReport(audit);
347
+ assert.equal(report.contradictions.length, 1);
348
+ assert.match(report.contradictions[0].detail, /^counter-collision/);
349
+ assert.ok(report.notes.some((n) => /3 causal positions/.test(n)));
350
+ assert.equal(report.result, "FALSE");
351
+ });
352
+ });
353
+ describe("check: CLI", () => {
354
+ it("prints the human report and exits 0 on the real fixture", () => {
355
+ const r = spawnSync(process.execPath, [CLI_PATH, "check", FIXTURE], { encoding: "utf8" });
356
+ assert.equal(r.status, 0, r.stderr);
357
+ assert.match(r.stdout, /^TRUE: this file was recorded at position 1576/);
358
+ assert.match(r.stdout, /Result: TRUE/);
359
+ });
360
+ it("--json prints the bitgraph-check/1 report", () => {
361
+ const r = spawnSync(process.execPath, [CLI_PATH, "check", FIXTURE, "--json"], { encoding: "utf8" });
362
+ assert.equal(r.status, 0, r.stderr);
363
+ const parsed = JSON.parse(r.stdout);
364
+ assert.equal(parsed.check, "bitgraph-check/1");
365
+ assert.equal(parsed.result, "TRUE");
366
+ });
367
+ it("accepts a list of files and ingests them in memory", () => {
368
+ const r = spawnSync(process.execPath, [CLI_PATH, "check", join(FIXTURE, "proof.json"), join(FIXTURE, "random-043.txt")], { encoding: "utf8" });
369
+ assert.equal(r.status, 0, r.stderr);
370
+ assert.match(r.stdout, /no Ethereum bound in this bundle/);
371
+ });
372
+ it("exits 2 for UNDETERMINED (proof alone) and 3 for a missing path", () => {
373
+ const u = spawnSync(process.execPath, [CLI_PATH, "check", join(FIXTURE, "proof.json")], { encoding: "utf8" });
374
+ assert.equal(u.status, 2, u.stderr);
375
+ const e = spawnSync(process.execPath, [CLI_PATH, "check", join(FIXTURE, "does-not-exist")], { encoding: "utf8" });
376
+ assert.equal(e.status, 3);
377
+ assert.match(e.stderr, /cannot read bundle/);
378
+ });
379
+ it("evaluate and init reject --json (it belongs to check only)", () => {
380
+ const r = spawnSync(process.execPath, [CLI_PATH, "init", join(FIXTURE, "random-043.txt"), "--json"], { encoding: "utf8" });
381
+ assert.equal(r.status, 3);
382
+ assert.match(r.stderr, /usage:/);
383
+ });
384
+ it("the relative path helper is unused by the report (paths are bundle-relative only)", () => {
385
+ // Guard against a future report field leaking absolute paths.
386
+ assert.equal(relative(FIXTURE, join(FIXTURE, "proof.json")), "proof.json");
387
+ });
388
+ });
389
+ //# sourceMappingURL=check.test.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"check.test.js","sourceRoot":"","sources":["../../src/__tests__/check.test.ts"],"names":[],"mappings":"AAAA,qFAAqF;AAErF;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AACxD,OAAO,KAAK,MAAM,MAAM,oBAAoB,CAAC;AAC7C,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AACjF,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAC3C,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAE1E,OAAO,EAAE,gBAAgB,EAAE,WAAW,EAAE,eAAe,EAAE,oBAAoB,EAAE,0BAA0B,EAAE,MAAM,aAAa,CAAC;AAE/H,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAErD,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,GAAG,CAAC,gDAAgD,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAC1G,MAAM,QAAQ,GAAG,aAAa,CAAC,IAAI,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAEtE,KAAK,UAAU,IAAI,CAAC,IAAY,EAAE,GAAG,GAAG,EAAE;IACxC,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,MAAM,GAAG,GAAG,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAChD,KAAK,MAAM,KAAK,IAAI,MAAM,OAAO,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;QAChE,MAAM,CAAC,GAAG,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;QAC3D,IAAI,KAAK,CAAC,WAAW,EAAE;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;aACvD,IAAI,KAAK,CAAC,MAAM,EAAE;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,KAAK,UAAU,eAAe,CAAC,IAAY;IACzC,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/B,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACvB,IAAI,EAAE,CAAC;QACP,IAAI,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC;KACjF,CAAC,CAAC,CAAC;AACN,CAAC;AAED,uGAAuG;AACvG,SAAS,QAAQ,CAAC,KAAkB,EAAE,YAAkC,EAAE;IACxE,MAAM,CAAC,GAAG,KAA2C,CAAC;IACtD,OAAO;QACL,GAAG,KAAK;QACR,SAAS,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,mBAAmB,EAAE,EAAE,EAAE;QACtE,WAAW,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,yBAAyB,EAAE,EAAE,EAAE;QACzE,OAAO,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,uBAAuB,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE;QACnE,SAAS,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE;QACzC,YAAY,EAAE;YACZ,OAAO,EAAE,EAAE;YACX,QAAQ,EAAE,EAAE;YACZ,MAAM,EAAE;gBACN,6BAA6B,EAAE,CAAC;gBAChC,kBAAkB,EAAE,CAAC;gBACrB,kBAAkB,EAAE,CAAC;gBACrB,eAAe,EAAE,CAAC;gBAClB,WAAW,EAAE,CAAC;gBACd,cAAc,EAAE,CAAC;gBACjB,aAAa,EAAE,CAAC;gBAChB,eAAe,EAAE,CAAC;aACnB;SACF;QACD,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1C,GAAG,SAAS;KACE,CAAC;AACnB,CAAC;AAED,QAAQ,CAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,IAAI,MAAmB,CAAC;IACxB,MAAM,CAAC,KAAK,IAAI,EAAE;QAChB,MAAM,GAAG,MAAM,WAAW,CAAC,MAAM,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yFAAyF,EAAE,GAAG,EAAE;QACjG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,kBAAkB,CAAC,CAAC;QAC/C,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACpC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAC1C,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACvC,MAAM,GAAG,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC;QAClC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACjC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,gBAAgB,CAAC,CAAC;QAC7C,MAAM,CAAC,SAAS,CACd,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EACxC;YACE,CAAC,MAAM,EAAE,MAAM,CAAC;YAChB,CAAC,WAAW,EAAE,MAAM,CAAC;YACrB,CAAC,aAAa,EAAE,MAAM,CAAC;YACvB,CAAC,SAAS,EAAE,MAAM,CAAC;SACpB,CACF,CAAC;QACF,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACpC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;YACpC,MAAM,CAAC,SAAS,CACd,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAC3C;gBACE,CAAC,WAAW,EAAE,MAAM,CAAC;gBACrB,CAAC,SAAS,EAAE,MAAM,CAAC;aACpB,CACF,CAAC;QACJ,CAAC;QACD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC;QACvC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;QACpC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,EAAE,WAAW,EAAE,UAAU,CAAC,CAAC;QACnD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,WAAW,EAAE,UAAU,CAAC,CAAC;QAClD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,yDAAyD,CAAC,CAAC;IACpF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,SAAS,CACd,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,EACxC,CAAC,UAAU,EAAE,UAAU,CAAC,CACzB,CAAC;QACF,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,WAAW,EAAE,6CAA6C,CAAC,CAAC;IAC9F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,6DAA6D,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3G,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,sDAAsD,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACpG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9D,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3D,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QACrC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,OAAO,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAE,CAAC;QAC/E,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;QAC3C,MAAM,CAAC,KAAK,CAAC,0BAA0B,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+DAA+D,EAAE,KAAK,IAAI,EAAE;QAC7E,MAAM,KAAK,GAAG,MAAM,WAAW,CAAC,MAAM,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC;QAC7D,MAAM,CAAC,KAAK,CAAC,oBAAoB,CAAC,KAAK,CAAC,EAAE,oBAAoB,CAAC,MAAM,CAAC,CAAC,CAAC;QACxE,MAAM,KAAK,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;QAC3C,MAAM,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,0CAA0C,CAAC,CAAC;QAChF,MAAM,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC;QACxC,MAAM,CAAC,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,UAAU,CAAC,+CAA+C,CAAC,CAAC,CAAC;IACjG,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,4CAA4C,EAAE,GAAG,EAAE;IAC1D;;;;;;;;;;;;;+CAa2C;IAC3C,MAAM,QAAQ,GAAG,aAAa,CAAC,IAAI,GAAG,CAAC,6CAA6C,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAExG,EAAE,CAAC,yEAAyE,EAAE,KAAK,IAAI,EAAE;QACvF,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,MAAM,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC/D,MAAM,GAAG,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC;QAClC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC5E,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC9E,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,KAAK,IAAI,EAAE;QACjE,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,MAAM,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC/D,wEAAwE;QACxE,mEAAmE;QACnE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QAC5C,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,uFAAuF,EAAE,GAAG,EAAE;IACrG,EAAE,CAAC,0EAA0E,EAAE,KAAK,IAAI,EAAE;QACxF,MAAM,QAAQ,GAAG,MAAM,WAAW,CAAC,MAAM,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC;QAChE,MAAM,UAAU,GAAG,MAAM,WAAW,CAAC,MAAM,aAAa,CAAC,MAAM,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QAC1F,MAAM,CAAC,KAAK,CAAC,oBAAoB,CAAC,UAAU,CAAC,EAAE,oBAAoB,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC/E,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uEAAuE,EAAE,KAAK,IAAI,EAAE;QACrF,MAAM,OAAO,GAAG,MAAM,eAAe,CAAC,OAAO,CAAC,CAAC;QAC/C,MAAM,QAAQ,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,OAAO,EAAE,CAAC;QACxC,MAAM,CAAC,GAAG,MAAM,WAAW,CAAC,MAAM,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC;QAC1D,MAAM,CAAC,GAAG,MAAM,WAAW,CAAC,MAAM,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC3D,MAAM,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC,CAAC,EAAE,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sEAAsE,EAAE,KAAK,IAAI,EAAE;QACpF,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,CAAC;QAClC,MAAM,OAAO,GAAwB,EAAE,CAAC;QACxC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;YACrC,MAAM,KAAK,GAAG,IAAI,UAAU,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7E,MAAM,IAAI,GACR,CAAC,GAAG,CAAC,KAAK,CAAC;gBACT,CAAC,CAAC,GAAG,EAAE,CAAC,KAAK;gBACb,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC;oBACX,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC;oBAC9B,CAAC,CAAC,GAAG,EAAE,CACH,CAAC,KAAK,SAAS,CAAC;wBACd,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;wBAC1C,MAAM,KAAK,CAAC,QAAQ,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;wBAC9B,MAAM,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;oBAC7B,CAAC,CAAC,EAAE,CAAC;YACf,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;QAClC,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,MAAM,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC;QAC/D,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,0EAA0E,EAAE,GAAG,EAAE;IACxF,IAAI,GAAW,CAAC;IAChB,MAAM,CAAC,KAAK,IAAI,EAAE;QAChB,GAAG,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,iBAAiB,CAAC,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IACH,KAAK,CAAC,KAAK,IAAI,EAAE;QACf,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,KAAK,UAAU,WAAW,CAAC,IAAY;QACrC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC7B,MAAM,EAAE,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC7C,OAAO,IAAI,CAAC;IACd,CAAC;IAED,EAAE,CAAC,4FAA4F,EAAE,KAAK,IAAI,EAAE;QAC1G,MAAM,CAAC,GAAG,MAAM,WAAW,CAAC,QAAQ,CAAC,CAAC;QACtC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC;QACpC,MAAM,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACzE,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,MAAM,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;QACxD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QAC5C,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAE,CAAC;QACzE,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QAC1C,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACzF,mDAAmD;QACnD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC9F,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAClG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+BAA+B,EAAE,KAAK,IAAI,EAAE;QAC7C,MAAM,CAAC,GAAG,MAAM,WAAW,CAAC,QAAQ,CAAC,CAAC;QACtC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC;QAChC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC,CAAyC,CAAC;QAC5F,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;QAC7D,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAE,GAAG,CAAC,CAAC;QACrB,KAAK,CAAC,MAAM,CAAC,YAAY,GAAG,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QACnD,MAAM,SAAS,CAAC,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;QAC1C,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,MAAM,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;QACxD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACrC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAE,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAC/F,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qFAAqF,EAAE,KAAK,IAAI,EAAE;QACnG,MAAM,CAAC,GAAG,MAAM,WAAW,CAAC,YAAY,CAAC,CAAC;QAC1C,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,kBAAkB,EAAE,2BAA2B,CAAC,CAAC;QACnE,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC,CAA6B,CAAC;QAC5E,MAAM,CAAC,GAAG,CAAC,CAAC,YAAY,CAAC;QACzB,CAAC,CAAC,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACvE,MAAM,SAAS,CAAC,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,MAAM,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;QACxD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACrC,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,UAAU,CAAE,CAAC;QACxE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAE,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAC7E,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,MAAM,EAAE,MAAM,EAAE,qCAAqC,CAAC,CAAC;QAC1F,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,KAAK,IAAI,EAAE;QACtE,MAAM,OAAO,GAAwB,CAAC,YAAY,EAAE,gBAAgB,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACnF,IAAI,EAAE,IAAI;YACV,IAAI,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC;SACzE,CAAC,CAAC,CAAC;QACJ,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,MAAM,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC;QAC/D,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACpC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;QAChE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,uCAAuC,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kGAAkG,EAAE,KAAK,IAAI,EAAE;QAChH,MAAM,OAAO,GAAwB;YACnC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE;SACzG,CAAC;QACF,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,MAAM,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC;QAC/D,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QAC5C,MAAM,GAAG,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC;QAClC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAE,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QAC/E,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC5E,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gFAAgF,EAAE,KAAK,IAAI,EAAE;QAC9F,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,MAAM,YAAY,CAAC,OAAO,CAAC,EAAE,EAAE,kBAAkB,EAAE,KAAK,EAAE,CAAC,CAAC;QAC7F,MAAM,GAAG,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC;QAClC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAE,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QACtF,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAE,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;QACnF,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAE,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QAClF,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6CAA6C,EAAE,KAAK,IAAI,EAAE;QAC3D,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,MAAM,aAAa,CAAC,EAAE,CAAC,CAAC,CAAC;QAC1D,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QAC5C,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,+BAA+B,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,EAAE,CAAC,kFAAkF,EAAE,GAAG,EAAE;QAC1F,MAAM,KAAK,GAAG,QAAQ,CACpB,SAAS,CAAC;YACR,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,SAAS,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC;YAChG,UAAU,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;SAC/C,CAAC,CACH,CAAC;QACF,KAAK,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC;YAC9B,SAAS,EAAE,aAAa;YACxB,0BAA0B,EAAE,IAAI;YAChC,mBAAmB,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YACpC,eAAe,EAAE,IAAI;YACrB,iBAAiB,EAAE,WAAW;YAC9B,iBAAiB,EAAE,IAAI;YACvB,MAAM,EAAE,EAAE;YACV,YAAY,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAC7B,mBAAmB,EAAE,IAAI;YACzB,oBAAoB,EAAE,IAAI;SAC3B,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;QACvC,MAAM,GAAG,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC;QAClC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC9E,MAAM,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAE,CAAC;QAC7D,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QAC7C,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,iEAAiE,CAAC,CAAC;QAChG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,KAAK,GAAG,QAAQ,CACpB,SAAS,CAAC;YACR,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,SAAS,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;YAC9E,UAAU,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;SAC/C,CAAC,CACH,CAAC;QACF,KAAK,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC;YAC9B,SAAS,EAAE,aAAa;YACxB,0BAA0B,EAAE,IAAI;YAChC,eAAe,EAAE,IAAI;YACrB,iBAAiB,EAAE,IAAI;YACvB,MAAM,EAAE,EAAE;YACV,YAAY,EAAE,0BAA0B,CAAC,CAAC,CAAE,CAAC,IAAI;YACjD,mBAAmB,EAAE,IAAI;YACzB,oBAAoB,EAAE,KAAK;SAC5B,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;QACvC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAE,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACjG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0EAA0E,EAAE,GAAG,EAAE;QAClF,MAAM,KAAK,GAAG,QAAQ,CACpB,SAAS,CAAC;YACR,MAAM,EAAE;gBACN,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,SAAS,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE;gBACpE,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,SAAS,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE;aACrE;YACD,UAAU,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;SACpD,CAAC,CACH,CAAC;QACF,KAAK,CAAC,SAAS,CAAC,SAAS,CAAC,IAAI,CAC5B,EAAE,IAAI,EAAE,+BAA+B,EAAE,WAAW,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,EAChJ,EAAE,IAAI,EAAE,qBAAqB,EAAE,WAAW,EAAE,CAAC,aAAa,CAAC,EAAE,OAAO,EAAE,cAAc,EAAE,OAAO,EAAE,EAAE,EAAE,EACnG,EAAE,IAAI,EAAE,mBAAmB,EAAE,WAAW,EAAE,CAAC,aAAa,EAAE,aAAa,CAAC,EAAE,OAAO,EAAE,2BAA2B,EAAE,CACjH,CAAC;QACF,MAAM,MAAM,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;QACvC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAC9C,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,CAAE,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC;QACrE,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;IAC1B,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,GAAG,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;QAC1F,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;QACpC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,gDAAgD,CAAC,CAAC;QACzE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;QACpG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;QACpC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAgB,CAAC;QACnD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,kBAAkB,CAAC,CAAC;QAC/C,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,CAAC,GAAG,SAAS,CACjB,OAAO,CAAC,QAAQ,EAChB,CAAC,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,YAAY,CAAC,EAAE,IAAI,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC,EACjF,EAAE,QAAQ,EAAE,MAAM,EAAE,CACrB,CAAC;QACF,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;QACpC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,kCAAkC,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,CAAC,GAAG,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;QAC9G,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;QACpC,MAAM,CAAC,GAAG,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;QAClH,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAC1B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,CAAC,GAAG,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC,OAAO,EAAE,gBAAgB,CAAC,EAAE,QAAQ,CAAC,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;QAC3H,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAC1B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mFAAmF,EAAE,GAAG,EAAE;QAC3F,8DAA8D;QAC9D,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}