musubix3 0.1.0 → 0.1.2
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/.github/plugin/marketplace.json +2 -2
- package/.github/skills/sdd-implementation/SKILL.md +9 -2
- package/.github/skills/sdd-quality/SKILL.md +15 -6
- package/CHANGELOG.md +32 -0
- package/README-ja.md +45 -15
- package/README.md +47 -15
- package/dist/packages/analysis/src/adapters.d.ts +1 -0
- package/dist/packages/analysis/src/adapters.js +92 -5
- package/dist/packages/analysis/src/adapters.js.map +1 -1
- package/dist/packages/analysis/src/config.d.ts +10 -0
- package/dist/packages/analysis/src/config.js +121 -10
- package/dist/packages/analysis/src/config.js.map +1 -1
- package/dist/packages/analysis/src/files.js +19 -1
- package/dist/packages/analysis/src/files.js.map +1 -1
- package/dist/packages/analysis/src/formal.d.ts +2 -0
- package/dist/packages/analysis/src/formal.js +14 -2
- package/dist/packages/analysis/src/formal.js.map +1 -1
- package/dist/packages/analysis/src/gate.d.ts +6 -0
- package/dist/packages/analysis/src/gate.js +36 -5
- package/dist/packages/analysis/src/gate.js.map +1 -1
- package/dist/packages/analysis/src/mutation.d.ts +15 -1
- package/dist/packages/analysis/src/mutation.js +86 -0
- package/dist/packages/analysis/src/mutation.js.map +1 -1
- package/dist/packages/analysis/src/tdd.js +17 -5
- package/dist/packages/analysis/src/tdd.js.map +1 -1
- package/dist/packages/analysis/src/workflow.js +5 -3
- package/dist/packages/analysis/src/workflow.js.map +1 -1
- package/dist/packages/cli/src/main.js +23 -7
- package/dist/packages/cli/src/main.js.map +1 -1
- package/package.json +1 -1
- package/plugin.json +1 -1
|
@@ -4,6 +4,7 @@ export const checkNames = ['requirements', 'design', 'constitution', 'trace', 'g
|
|
|
4
4
|
export const defaultConfig = {
|
|
5
5
|
schemaVersion: 1,
|
|
6
6
|
language: 'auto',
|
|
7
|
+
qualityProfile: 'custom',
|
|
7
8
|
commands: [],
|
|
8
9
|
requiredChecks: ['requirements', 'design', 'constitution', 'trace', 'graph', 'commands'],
|
|
9
10
|
thresholds: { design: 1, implementation: 1, tests: 1 },
|
|
@@ -11,7 +12,8 @@ export const defaultConfig = {
|
|
|
11
12
|
codeGraph: { mode: 'compatible' },
|
|
12
13
|
formal: { solver: 'none', minModeledFraction: 0, timeoutMs: 12_000 },
|
|
13
14
|
mutation: { mode: 'compatible' },
|
|
14
|
-
|
|
15
|
+
tdd: { redPreflightCommands: [] },
|
|
16
|
+
workflow: { mode: 'compatible', maxAgeSeconds: 3600, maxFutureSkewSeconds: 60, maxEventSkewMs: 1000 },
|
|
15
17
|
attestation: {
|
|
16
18
|
mode: 'local',
|
|
17
19
|
maxAgeSeconds: 3600,
|
|
@@ -22,12 +24,15 @@ export const defaultConfig = {
|
|
|
22
24
|
};
|
|
23
25
|
export const defaultPolicyBaseline = {
|
|
24
26
|
schemaVersion: 1,
|
|
27
|
+
qualityProfile: defaultConfig.qualityProfile,
|
|
28
|
+
commands: [],
|
|
25
29
|
requiredChecks: [...defaultConfig.requiredChecks],
|
|
26
30
|
thresholds: { ...defaultConfig.thresholds },
|
|
27
31
|
architecture: { forbidCycles: defaultConfig.architecture.forbidCycles, rules: [...defaultConfig.architecture.rules] },
|
|
28
32
|
codeGraph: { ...defaultConfig.codeGraph },
|
|
29
33
|
formal: { solver: defaultConfig.formal.solver, minModeledFraction: defaultConfig.formal.minModeledFraction },
|
|
30
34
|
mutation: { ...defaultConfig.mutation },
|
|
35
|
+
tdd: { redPreflightCommands: [...defaultConfig.tdd.redPreflightCommands] },
|
|
31
36
|
workflow: { ...defaultConfig.workflow },
|
|
32
37
|
attestation: {
|
|
33
38
|
...defaultConfig.attestation,
|
|
@@ -55,14 +60,67 @@ function strings(value, location, allowEmpty = false) {
|
|
|
55
60
|
function optional(value, fallback) {
|
|
56
61
|
return value === undefined ? fallback : value;
|
|
57
62
|
}
|
|
63
|
+
function validateAdapterArgs(adapter, args, name) {
|
|
64
|
+
if (!adapter)
|
|
65
|
+
return;
|
|
66
|
+
const owned = {
|
|
67
|
+
vitest: ['--reporter', '--outputFile'],
|
|
68
|
+
jest: ['--json', '--outputFile'],
|
|
69
|
+
pytest: ['--json-report', '--json-report-file'],
|
|
70
|
+
'go-test': ['-json', '-run'],
|
|
71
|
+
cargo: ['--format'],
|
|
72
|
+
junit: ['--scan-class-path', '--include-tag', '--reports-dir', '--fail-if-no-tests'],
|
|
73
|
+
}[adapter];
|
|
74
|
+
const conflict = args.find((arg) => owned.some((value) => arg === value || arg.startsWith(`${value}=`)));
|
|
75
|
+
if (conflict) {
|
|
76
|
+
throw new Error(`command ${name} args contain adapter-owned argument ${conflict}; remove it because the ${adapter} adapter adds targeted test/report arguments.`);
|
|
77
|
+
}
|
|
78
|
+
}
|
|
79
|
+
const profileRequiredChecks = {
|
|
80
|
+
minimal: ['requirements', 'design', 'constitution', 'trace', 'graph', 'commands'],
|
|
81
|
+
recommended: ['requirements', 'design', 'constitution', 'trace', 'graph', 'commands', 'test-identities', 'tdd'],
|
|
82
|
+
release: [
|
|
83
|
+
'requirements', 'design', 'constitution', 'trace', 'graph', 'formal', 'model-correspondence',
|
|
84
|
+
'mutation', 'workflow', 'tdd', 'change-history', 'change-completeness', 'performance',
|
|
85
|
+
'attestation', 'test-identities', 'commands',
|
|
86
|
+
],
|
|
87
|
+
};
|
|
88
|
+
function validateQualityProfile(config) {
|
|
89
|
+
if (config.qualityProfile === 'custom')
|
|
90
|
+
return;
|
|
91
|
+
const missing = profileRequiredChecks[config.qualityProfile]
|
|
92
|
+
.filter((check) => !config.requiredChecks.includes(check));
|
|
93
|
+
if (missing.length) {
|
|
94
|
+
throw new Error(`qualityProfile ${config.qualityProfile} requires checks: ${missing.join(', ')}.`);
|
|
95
|
+
}
|
|
96
|
+
if (config.qualityProfile !== 'minimal' && config.codeGraph.mode !== 'strict') {
|
|
97
|
+
throw new Error(`qualityProfile ${config.qualityProfile} requires codeGraph.mode strict.`);
|
|
98
|
+
}
|
|
99
|
+
if (config.qualityProfile === 'release') {
|
|
100
|
+
if (config.formal.solver === 'none' || config.formal.minModeledFraction <= 0) {
|
|
101
|
+
throw new Error('qualityProfile release requires a formal solver and positive modeled coverage.');
|
|
102
|
+
}
|
|
103
|
+
if (config.mutation.mode !== 'strict')
|
|
104
|
+
throw new Error('qualityProfile release requires mutation.mode strict.');
|
|
105
|
+
if (config.workflow.mode !== 'strict')
|
|
106
|
+
throw new Error('qualityProfile release requires workflow.mode strict.');
|
|
107
|
+
if (config.attestation.mode !== 'ci-required') {
|
|
108
|
+
throw new Error('qualityProfile release requires attestation.mode ci-required.');
|
|
109
|
+
}
|
|
110
|
+
}
|
|
111
|
+
}
|
|
58
112
|
export function parseConfig(input) {
|
|
59
113
|
const value = object(input, 'config');
|
|
60
|
-
keys(value, ['schemaVersion', 'language', 'commands', 'requiredChecks', 'thresholds', 'architecture', 'codeGraph', 'formal', 'mutation', 'workflow', 'attestation'], 'config');
|
|
114
|
+
keys(value, ['schemaVersion', 'language', 'qualityProfile', 'commands', 'requiredChecks', 'thresholds', 'architecture', 'codeGraph', 'formal', 'mutation', 'tdd', 'workflow', 'attestation'], 'config');
|
|
61
115
|
if (value.schemaVersion !== 1)
|
|
62
116
|
throw new Error('Unsupported config schemaVersion; expected 1.');
|
|
63
117
|
const language = optional(value.language, 'auto');
|
|
64
118
|
if (!['auto', 'en', 'ja'].includes(String(language)))
|
|
65
119
|
throw new Error('language must be auto, en, or ja.');
|
|
120
|
+
const qualityProfile = optional(value.qualityProfile, defaultConfig.qualityProfile);
|
|
121
|
+
if (!['custom', 'minimal', 'recommended', 'release'].includes(String(qualityProfile))) {
|
|
122
|
+
throw new Error('qualityProfile must be custom, minimal, recommended, or release.');
|
|
123
|
+
}
|
|
66
124
|
const requiredChecks = strings(optional(value.requiredChecks, defaultConfig.requiredChecks), 'requiredChecks');
|
|
67
125
|
if (requiredChecks.some((s) => !checkNames.includes(s)))
|
|
68
126
|
throw new Error('Unknown required check.');
|
|
@@ -144,21 +202,38 @@ export function parseConfig(input) {
|
|
|
144
202
|
if (mutationReport && (testReport || c.adapter)) {
|
|
145
203
|
throw new Error('command.mutationReport cannot be combined with testReport or adapter.');
|
|
146
204
|
}
|
|
205
|
+
const args = strings(optional(c.args, []), 'command.args', true);
|
|
206
|
+
const adapter = c.adapter;
|
|
207
|
+
validateAdapterArgs(adapter, args, c.name);
|
|
147
208
|
return {
|
|
148
209
|
name: c.name,
|
|
149
210
|
command: c.command,
|
|
150
|
-
args
|
|
211
|
+
args,
|
|
151
212
|
...(tddArgs ? { tddArgs } : {}),
|
|
152
213
|
...(tddReport ? { tddReport } : {}),
|
|
153
214
|
...(testReport ? { testReport } : {}),
|
|
154
215
|
...(mutationReport ? { mutationReport } : {}),
|
|
155
|
-
...(
|
|
216
|
+
...(adapter ? { adapter } : {}),
|
|
156
217
|
required: c.required !== false,
|
|
157
218
|
timeoutMs,
|
|
158
219
|
};
|
|
159
220
|
});
|
|
160
221
|
if (new Set(commands.map((c) => c.name)).size !== commands.length)
|
|
161
222
|
throw new Error('Command names must be unique.');
|
|
223
|
+
const rawTdd = object(optional(value.tdd, {}), 'tdd');
|
|
224
|
+
keys(rawTdd, ['redPreflightCommands'], 'tdd');
|
|
225
|
+
const redPreflightCommands = strings(optional(rawTdd.redPreflightCommands, defaultConfig.tdd.redPreflightCommands), 'tdd.redPreflightCommands');
|
|
226
|
+
if (new Set(redPreflightCommands).size !== redPreflightCommands.length) {
|
|
227
|
+
throw new Error('tdd.redPreflightCommands must not contain duplicates.');
|
|
228
|
+
}
|
|
229
|
+
for (const name of redPreflightCommands) {
|
|
230
|
+
const command = commands.find((candidate) => candidate.name === name);
|
|
231
|
+
if (!command)
|
|
232
|
+
throw new Error(`tdd.redPreflightCommands references unknown command ${name}.`);
|
|
233
|
+
if (command.adapter || command.testReport || command.tddReport || command.mutationReport) {
|
|
234
|
+
throw new Error(`TDD Red preflight command ${name} must be a plain command without test or mutation reports.`);
|
|
235
|
+
}
|
|
236
|
+
}
|
|
162
237
|
const architecture = object(optional(value.architecture, {}), 'architecture');
|
|
163
238
|
keys(architecture, ['forbidCycles', 'rules'], 'architecture');
|
|
164
239
|
if (architecture.forbidCycles !== undefined && typeof architecture.forbidCycles !== 'boolean')
|
|
@@ -199,7 +274,7 @@ export function parseConfig(input) {
|
|
|
199
274
|
throw new Error('mutation.mode must be compatible or strict.');
|
|
200
275
|
}
|
|
201
276
|
const rawWorkflow = object(optional(value.workflow, {}), 'workflow');
|
|
202
|
-
keys(rawWorkflow, ['mode', 'expectedSessionId', 'maxAgeSeconds', 'maxFutureSkewSeconds'], 'workflow');
|
|
277
|
+
keys(rawWorkflow, ['mode', 'expectedSessionId', 'maxAgeSeconds', 'maxFutureSkewSeconds', 'maxEventSkewMs'], 'workflow');
|
|
203
278
|
const workflowMode = optional(rawWorkflow.mode, defaultConfig.workflow.mode);
|
|
204
279
|
if (!['compatible', 'strict'].includes(String(workflowMode))) {
|
|
205
280
|
throw new Error('workflow.mode must be compatible or strict.');
|
|
@@ -222,6 +297,11 @@ export function parseConfig(input) {
|
|
|
222
297
|
|| workflowMaxFutureSkewSeconds < 0 || workflowMaxFutureSkewSeconds > 600) {
|
|
223
298
|
throw new Error('workflow.maxFutureSkewSeconds must be 0..600.');
|
|
224
299
|
}
|
|
300
|
+
const workflowMaxEventSkewMs = optional(rawWorkflow.maxEventSkewMs, defaultConfig.workflow.maxEventSkewMs);
|
|
301
|
+
if (typeof workflowMaxEventSkewMs !== 'number' || !Number.isInteger(workflowMaxEventSkewMs)
|
|
302
|
+
|| workflowMaxEventSkewMs < 0 || workflowMaxEventSkewMs > 60_000) {
|
|
303
|
+
throw new Error('workflow.maxEventSkewMs must be 0..60000.');
|
|
304
|
+
}
|
|
225
305
|
const rawAttestation = object(optional(value.attestation, {}), 'attestation');
|
|
226
306
|
keys(rawAttestation, [
|
|
227
307
|
'mode', 'repository', 'maxAgeSeconds', 'maxFutureSkewSeconds', 'trustedPublicKeys', 'githubOidc',
|
|
@@ -288,17 +368,24 @@ export function parseConfig(input) {
|
|
|
288
368
|
&& rawAttestation.repository !== rawGithubOidc.repository) {
|
|
289
369
|
throw new Error('attestation.githubOidc.repository must match attestation.repository.');
|
|
290
370
|
}
|
|
291
|
-
|
|
292
|
-
schemaVersion: 1,
|
|
371
|
+
const config = {
|
|
372
|
+
schemaVersion: 1,
|
|
373
|
+
language: language,
|
|
374
|
+
qualityProfile: qualityProfile,
|
|
375
|
+
commands,
|
|
376
|
+
requiredChecks,
|
|
377
|
+
thresholds,
|
|
293
378
|
architecture: { forbidCycles: architecture.forbidCycles !== false, rules },
|
|
294
379
|
codeGraph: { mode: codeGraphMode },
|
|
295
380
|
formal: { solver: solver, minModeledFraction, timeoutMs: formalTimeoutMs },
|
|
296
381
|
mutation: { mode: mutationMode },
|
|
382
|
+
tdd: { redPreflightCommands },
|
|
297
383
|
workflow: {
|
|
298
384
|
mode: workflowMode,
|
|
299
385
|
...(typeof rawWorkflow.expectedSessionId === 'string' ? { expectedSessionId: rawWorkflow.expectedSessionId } : {}),
|
|
300
386
|
maxAgeSeconds: workflowMaxAgeSeconds,
|
|
301
387
|
maxFutureSkewSeconds: workflowMaxFutureSkewSeconds,
|
|
388
|
+
maxEventSkewMs: workflowMaxEventSkewMs,
|
|
302
389
|
},
|
|
303
390
|
attestation: {
|
|
304
391
|
mode: mode,
|
|
@@ -319,6 +406,8 @@ export function parseConfig(input) {
|
|
|
319
406
|
: { mode: 'off' },
|
|
320
407
|
},
|
|
321
408
|
};
|
|
409
|
+
validateQualityProfile(config);
|
|
410
|
+
return config;
|
|
322
411
|
}
|
|
323
412
|
export async function loadConfig(root) {
|
|
324
413
|
const path = '.musubix/config.json';
|
|
@@ -329,31 +418,36 @@ export async function loadConfig(root) {
|
|
|
329
418
|
export function parsePolicyBaseline(input) {
|
|
330
419
|
const value = object(input, 'policy baseline');
|
|
331
420
|
keys(value, [
|
|
332
|
-
'schemaVersion', 'requiredChecks', 'thresholds', 'architecture', 'codeGraph', 'formal',
|
|
333
|
-
'mutation', 'workflow', 'attestation', 'requiredCommands',
|
|
421
|
+
'schemaVersion', 'qualityProfile', 'commands', 'requiredChecks', 'thresholds', 'architecture', 'codeGraph', 'formal',
|
|
422
|
+
'mutation', 'tdd', 'workflow', 'attestation', 'requiredCommands',
|
|
334
423
|
], 'policy baseline');
|
|
335
424
|
if (value.schemaVersion !== 1)
|
|
336
425
|
throw new Error('Unsupported policy baseline schemaVersion; expected 1.');
|
|
337
426
|
const parsed = parseConfig({
|
|
338
427
|
schemaVersion: 1,
|
|
428
|
+
qualityProfile: value.qualityProfile,
|
|
339
429
|
requiredChecks: value.requiredChecks,
|
|
340
430
|
thresholds: value.thresholds,
|
|
341
431
|
architecture: value.architecture,
|
|
342
432
|
codeGraph: value.codeGraph,
|
|
343
433
|
formal: value.formal,
|
|
344
434
|
mutation: value.mutation,
|
|
435
|
+
tdd: value.tdd,
|
|
345
436
|
workflow: value.workflow,
|
|
346
437
|
attestation: value.attestation,
|
|
347
|
-
commands:
|
|
438
|
+
commands: value.commands,
|
|
348
439
|
});
|
|
349
440
|
return {
|
|
350
441
|
schemaVersion: 1,
|
|
442
|
+
qualityProfile: parsed.qualityProfile,
|
|
443
|
+
commands: parsed.commands,
|
|
351
444
|
requiredChecks: parsed.requiredChecks,
|
|
352
445
|
thresholds: parsed.thresholds,
|
|
353
446
|
architecture: parsed.architecture,
|
|
354
447
|
codeGraph: parsed.codeGraph,
|
|
355
448
|
formal: { solver: parsed.formal.solver, minModeledFraction: parsed.formal.minModeledFraction },
|
|
356
449
|
mutation: parsed.mutation,
|
|
450
|
+
tdd: parsed.tdd,
|
|
357
451
|
workflow: parsed.workflow,
|
|
358
452
|
attestation: parsed.attestation,
|
|
359
453
|
requiredCommands: strings(optional(value.requiredCommands, []), 'requiredCommands'),
|
|
@@ -367,6 +461,10 @@ export async function loadPolicyBaseline(root) {
|
|
|
367
461
|
}
|
|
368
462
|
export function policyDiagnostics(config, baseline, changed = null) {
|
|
369
463
|
const diagnostics = [];
|
|
464
|
+
const profileRank = { custom: 0, minimal: 1, recommended: 2, release: 3 };
|
|
465
|
+
if (profileRank[config.qualityProfile] < profileRank[baseline.qualityProfile]) {
|
|
466
|
+
diagnostics.push(error('POLICY_QUALITY_PROFILE', `qualityProfile cannot be weakened below ${baseline.qualityProfile}.`));
|
|
467
|
+
}
|
|
370
468
|
for (const check of baseline.requiredChecks) {
|
|
371
469
|
if (!config.requiredChecks.includes(check))
|
|
372
470
|
diagnostics.push(error('POLICY_REQUIRED_CHECK', `Required check ${check} was removed from the trusted baseline.`));
|
|
@@ -394,6 +492,16 @@ export function policyDiagnostics(config, baseline, changed = null) {
|
|
|
394
492
|
if (baseline.mutation.mode === 'strict' && config.mutation.mode !== 'strict') {
|
|
395
493
|
diagnostics.push(error('POLICY_MUTATION_MODE', 'mutation.mode cannot be weakened below strict as required by the trusted baseline.'));
|
|
396
494
|
}
|
|
495
|
+
for (const command of baseline.tdd.redPreflightCommands) {
|
|
496
|
+
const baselineCommand = baseline.commands.find((candidate) => candidate.name === command);
|
|
497
|
+
const configuredCommand = config.commands.find((candidate) => candidate.name === command);
|
|
498
|
+
if (!config.tdd.redPreflightCommands.includes(command) || !configuredCommand) {
|
|
499
|
+
diagnostics.push(error('POLICY_TDD_PREFLIGHT', `TDD Red preflight command ${command} was removed from the trusted baseline.`));
|
|
500
|
+
}
|
|
501
|
+
else if (baselineCommand && JSON.stringify(configuredCommand) !== JSON.stringify(baselineCommand)) {
|
|
502
|
+
diagnostics.push(error('POLICY_TDD_PREFLIGHT', `TDD Red preflight command ${command} differs from the trusted baseline definition.`));
|
|
503
|
+
}
|
|
504
|
+
}
|
|
397
505
|
if (baseline.workflow.mode === 'strict') {
|
|
398
506
|
if (config.workflow.mode !== 'strict') {
|
|
399
507
|
diagnostics.push(error('POLICY_WORKFLOW_MODE', 'workflow.mode cannot be weakened below strict as required by the trusted baseline.'));
|
|
@@ -408,6 +516,9 @@ export function policyDiagnostics(config, baseline, changed = null) {
|
|
|
408
516
|
if ((config.workflow.maxFutureSkewSeconds ?? 60) > (baseline.workflow.maxFutureSkewSeconds ?? 60)) {
|
|
409
517
|
diagnostics.push(error('POLICY_WORKFLOW_FUTURE_SKEW', 'workflow.maxFutureSkewSeconds is weaker than the trusted baseline.'));
|
|
410
518
|
}
|
|
519
|
+
if ((config.workflow.maxEventSkewMs ?? 1000) > (baseline.workflow.maxEventSkewMs ?? 1000)) {
|
|
520
|
+
diagnostics.push(error('POLICY_WORKFLOW_EVENT_SKEW', 'workflow.maxEventSkewMs is weaker than the trusted baseline.'));
|
|
521
|
+
}
|
|
411
522
|
}
|
|
412
523
|
if (baseline.attestation.mode === 'ci-required') {
|
|
413
524
|
if (config.attestation.mode !== 'ci-required') {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"config.js","sourceRoot":"","sources":["../../../../packages/analysis/src/config.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAmB,MAAM,2BAA2B,CAAC;AACnE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAiGtD,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,cAAc,EAAE,QAAQ,EAAE,cAAc,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,sBAAsB,EAAE,UAAU,EAAE,UAAU,EAAE,KAAK,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,aAAa,EAAE,aAAa,EAAE,iBAAiB,EAAE,UAAU,CAAU,CAAC;AAEvQ,MAAM,CAAC,MAAM,aAAa,GAAW;IACnC,aAAa,EAAE,CAAC;IAChB,QAAQ,EAAE,MAAM;IAChB,QAAQ,EAAE,EAAE;IACZ,cAAc,EAAE,CAAC,cAAc,EAAE,QAAQ,EAAE,cAAc,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,CAAC;IACxF,UAAU,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;IACtD,YAAY,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE;IAC/C,SAAS,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;IACjC,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,kBAAkB,EAAE,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE;IACpE,QAAQ,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;IAChC,QAAQ,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,aAAa,EAAE,IAAI,EAAE,oBAAoB,EAAE,EAAE,EAAE;IAC/E,WAAW,EAAE;QACX,IAAI,EAAE,OAAO;QACb,aAAa,EAAE,IAAI;QACnB,oBAAoB,EAAE,EAAE;QACxB,iBAAiB,EAAE,EAAE;QACrB,UAAU,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE;KAC5B;CACF,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAmB;IACnD,aAAa,EAAE,CAAC;IAChB,cAAc,EAAE,CAAC,GAAG,aAAa,CAAC,cAAc,CAAC;IACjD,UAAU,EAAE,EAAE,GAAG,aAAa,CAAC,UAAU,EAAE;IAC3C,YAAY,EAAE,EAAE,YAAY,EAAE,aAAa,CAAC,YAAY,CAAC,YAAY,EAAE,KAAK,EAAE,CAAC,GAAG,aAAa,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE;IACrH,SAAS,EAAE,EAAE,GAAG,aAAa,CAAC,SAAS,EAAE;IACzC,MAAM,EAAE,EAAE,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,MAAM,EAAE,kBAAkB,EAAE,aAAa,CAAC,MAAM,CAAC,kBAAkB,EAAE;IAC5G,QAAQ,EAAE,EAAE,GAAG,aAAa,CAAC,QAAQ,EAAE;IACvC,QAAQ,EAAE,EAAE,GAAG,aAAa,CAAC,QAAQ,EAAE;IACvC,WAAW,EAAE;QACX,GAAG,aAAa,CAAC,WAAW;QAC5B,iBAAiB,EAAE,CAAC,GAAG,aAAa,CAAC,WAAW,CAAC,iBAAiB,CAAC;QACnE,UAAU,EAAE,EAAE,GAAG,aAAa,CAAC,WAAW,CAAC,UAAW,EAAE;KACzD;IACD,gBAAgB,EAAE,EAAE;CACrB,CAAC;AAEF,SAAS,MAAM,CAAC,KAAc,EAAE,QAAgB;IAC9C,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,QAAQ,qBAAqB,CAAC,CAAC;IACnH,OAAO,KAAgC,CAAC;AAC1C,CAAC;AAED,SAAS,IAAI,CAAC,KAA8B,EAAE,OAAiB,EAAE,QAAgB;IAC/E,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACrC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,sBAAsB,QAAQ,IAAI,GAAG,GAAG,CAAC,CAAC;IACxF,CAAC;AACH,CAAC;AAED,SAAS,OAAO,CAAC,KAAc,EAAE,QAAgB,EAAE,UAAU,GAAG,KAAK;IACnE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,QAAQ,wBAAwB,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,4BAA4B,CAAC,CAAC;IAC5O,OAAO,KAAiB,CAAC;AAC3B,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc,EAAE,QAAiB;IACjD,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,KAAc;IACxC,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACtC,IAAI,CAAC,KAAK,EAAE,CAAC,eAAe,EAAE,UAAU,EAAE,UAAU,EAAE,gBAAgB,EAAE,YAAY,EAAE,cAAc,EAAE,WAAW,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,aAAa,CAAC,EAAE,QAAQ,CAAC,CAAC;IAC/K,IAAI,KAAK,CAAC,aAAa,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;IAChG,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAClD,IAAI,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;IAC3G,MAAM,cAAc,GAAG,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,cAAc,EAAE,aAAa,CAAC,cAAc,CAAC,EAAE,gBAAgB,CAAC,CAAC;IAC/G,IAAI,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,CAA8B,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;IACjI,MAAM,UAAU,GAAG,EAAE,GAAG,aAAa,CAAC,UAAU,EAAE,CAAC;IACnD,IAAI,KAAK,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QACnC,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;QACnD,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,YAAY,CAAC,CAAC;QACjD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAgC,EAAE,CAAC;YACzE,MAAM,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;YACtD,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,SAAS,GAAG,CAAC,IAAI,SAAS,GAAG,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,cAAc,GAAG,qBAAqB,CAAC,CAAC;YAC5J,UAAU,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC;QAC9B,CAAC;IACH,CAAC;IACD,MAAM,WAAW,GAAG,QAAQ,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IACjD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;IAC/E,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,GAAY,EAAiB,EAAE;QAC/D,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;QACjC,IAAI,CAAC,CAAC,EAAE,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,YAAY,EAAE,gBAAgB,EAAE,SAAS,EAAE,UAAU,EAAE,WAAW,CAAC,EAAE,SAAS,CAAC,CAAC;QAC5I,IAAI,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;QAC1I,IAAI,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC;QAC5I,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,IAAI,OAAO,CAAC,CAAC,QAAQ,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;QACtH,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;YACtH,MAAM,IAAI,KAAK,CAAC,yEAAyE,CAAC,CAAC;QAC7F,CAAC;QACD,MAAM,SAAS,GAAG,QAAQ,CAAC,CAAC,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QACjD,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC,IAAI,SAAS,GAAG,CAAC,IAAI,SAAS,GAAG,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;QACtK,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,iBAAiB,EAAE,IAAI,CAAC,CAAC;QAClG,IAAI,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC;YAC9F,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;QAC1E,CAAC;QACD,IAAI,SAAqC,CAAC;QAC1C,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YAC9B,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,SAAS,EAAE,mBAAmB,CAAC,CAAC;YACxD,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,mBAAmB,CAAC,CAAC;YACtD,IAAI,MAAM,CAAC,MAAM,KAAK,cAAc;gBAAE,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;YACxG,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;gBACvH,MAAM,IAAI,KAAK,CAAC,8EAA8E,CAAC,CAAC;YAClG,CAAC;YACD,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;YACpI,SAAS,GAAG,EAAE,MAAM,EAAE,cAAc,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;QAC5D,CAAC;QACD,IAAI,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,KAAK,CAAC,SAAS,KAAK,SAAS,CAAC,EAAE,CAAC;YACxE,MAAM,IAAI,KAAK,CAAC,oEAAoE,CAAC,CAAC;QACxF,CAAC;QACD,IAAI,UAAuC,CAAC;QAC5C,IAAI,CAAC,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;YAC/B,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,UAAU,EAAE,oBAAoB,CAAC,CAAC;YAC1D,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,oBAAoB,CAAC,CAAC;YACvD,IAAI,MAAM,CAAC,MAAM,KAAK,cAAc;gBAAE,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;YACzG,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;gBACtH,MAAM,IAAI,KAAK,CAAC,oFAAoF,CAAC,CAAC;YACxG,CAAC;YACD,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;YACrI,UAAU,GAAG,EAAE,MAAM,EAAE,cAAc,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;QAC7D,CAAC;QACD,IAAI,cAA+C,CAAC;QACpD,IAAI,CAAC,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;YACnC,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,cAAc,EAAE,wBAAwB,CAAC,CAAC;YAClE,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,wBAAwB,CAAC,CAAC;YAC3D,IAAI,MAAM,CAAC,MAAM,KAAK,uBAAuB,EAAE,CAAC;gBAC9C,MAAM,IAAI,KAAK,CAAC,8DAA8D,CAAC,CAAC;YAClF,CAAC;YACD,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;mBAC5E,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC5G,MAAM,IAAI,KAAK,CAAC,gFAAgF,CAAC,CAAC;YACpG,CAAC;YACD,cAAc,GAAG,EAAE,MAAM,EAAE,uBAAuB,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;QAC1E,CAAC;QACD,IAAI,cAAc,IAAI,CAAC,UAAU,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;YAChD,MAAM,IAAI,KAAK,CAAC,uEAAuE,CAAC,CAAC;QAC3F,CAAC;QACD,OAAO;YACL,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,OAAO,EAAE,CAAC,CAAC,OAAO;YAClB,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,cAAc,EAAE,IAAI,CAAC;YACzD,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/B,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACnC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACrC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7C,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAgD,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACrF,QAAQ,EAAE,CAAC,CAAC,QAAQ,KAAK,KAAK;YAC9B,SAAS;SACV,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,IAAI,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;IACpH,MAAM,YAAY,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,YAAY,EAAE,EAAE,CAAC,EAAE,cAAc,CAAC,CAAC;IAC9E,IAAI,CAAC,YAAY,EAAE,CAAC,cAAc,EAAE,OAAO,CAAC,EAAE,cAAc,CAAC,CAAC;IAC9D,IAAI,YAAY,CAAC,YAAY,KAAK,SAAS,IAAI,OAAO,YAAY,CAAC,YAAY,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;IAC7J,MAAM,QAAQ,GAAG,QAAQ,CAAC,YAAY,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAClD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC;IACtF,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,GAAY,EAAoB,EAAE;QAC5D,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,EAAE,mBAAmB,CAAC,CAAC;QAC3C,IAAI,CAAC,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,CAAC,EAAE,mBAAmB,CAAC,CAAC;QAC3D,IAAI,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,IAAI;YAAE,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;QACnJ,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,eAAe,CAAC,EAAE,CAAC;IACxF,CAAC,CAAC,CAAC;IACH,MAAM,YAAY,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,EAAE,EAAE,CAAC,EAAE,WAAW,CAAC,CAAC;IACxE,IAAI,CAAC,YAAY,EAAE,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC,CAAC;IAC1C,MAAM,aAAa,GAAG,QAAQ,CAAC,YAAY,CAAC,IAAI,EAAE,aAAa,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAChF,IAAI,CAAC,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC;QAC9D,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;IAClE,CAAC;IACD,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;IAC/D,IAAI,CAAC,SAAS,EAAE,CAAC,QAAQ,EAAE,oBAAoB,EAAE,WAAW,CAAC,EAAE,QAAQ,CAAC,CAAC;IACzE,MAAM,MAAM,GAAG,QAAQ,CAAC,SAAS,CAAC,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACvE,IAAI,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;IAChI,MAAM,kBAAkB,GAAG,QAAQ,CAAC,SAAS,CAAC,kBAAkB,EAAE,aAAa,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC;IAC3G,IAAI,OAAO,kBAAkB,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,kBAAkB,CAAC,IAAI,kBAAkB,GAAG,CAAC,IAAI,kBAAkB,GAAG,CAAC,EAAE,CAAC;QACvI,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;IAClE,CAAC;IACD,MAAM,eAAe,GAAG,QAAQ,CAAC,SAAS,CAAC,SAAS,EAAE,aAAa,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IACtF,IAAI,OAAO,eAAe,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,eAAe,CAAC,IAAI,eAAe,GAAG,GAAG,IAAI,eAAe,GAAG,OAAO,EAAE,CAAC;QACpI,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;IAC3D,CAAC;IACD,MAAM,WAAW,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,CAAC,EAAE,UAAU,CAAC,CAAC;IACrE,IAAI,CAAC,WAAW,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,CAAC,CAAC;IACxC,MAAM,YAAY,GAAG,QAAQ,CAAC,WAAW,CAAC,IAAI,EAAE,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC7E,IAAI,CAAC,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC;QAC7D,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;IACjE,CAAC;IACD,MAAM,WAAW,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,CAAC,EAAE,UAAU,CAAC,CAAC;IACrE,IAAI,CAAC,WAAW,EAAE,CAAC,MAAM,EAAE,mBAAmB,EAAE,eAAe,EAAE,sBAAsB,CAAC,EAAE,UAAU,CAAC,CAAC;IACtG,MAAM,YAAY,GAAG,QAAQ,CAAC,WAAW,CAAC,IAAI,EAAE,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC7E,IAAI,CAAC,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC;QAC7D,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;IACjE,CAAC;IACD,IAAI,WAAW,CAAC,iBAAiB,KAAK,SAAS;WAC1C,CAAC,OAAO,WAAW,CAAC,iBAAiB,KAAK,QAAQ;eAChD,CAAC,4EAA4E,CAAC,IAAI,CAAC,WAAW,CAAC,iBAAiB,CAAC,CAAC,EAAE,CAAC;QAC1H,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;IAChE,CAAC;IACD,IAAI,WAAW,CAAC,iBAAiB,KAAK,SAAS,IAAI,YAAY,KAAK,QAAQ,EAAE,CAAC;QAC7E,MAAM,IAAI,KAAK,CAAC,2DAA2D,CAAC,CAAC;IAC/E,CAAC;IACD,MAAM,qBAAqB,GAAG,QAAQ,CAAC,WAAW,CAAC,aAAa,EAAE,aAAa,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;IACxG,IAAI,OAAO,qBAAqB,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,qBAAqB,CAAC;WACpF,qBAAqB,GAAG,CAAC,IAAI,qBAAqB,GAAG,OAAO,EAAE,CAAC;QAClE,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;IAC/D,CAAC;IACD,MAAM,4BAA4B,GAAG,QAAQ,CAC3C,WAAW,CAAC,oBAAoB,EAChC,aAAa,CAAC,QAAQ,CAAC,oBAAoB,CAC5C,CAAC;IACF,IAAI,OAAO,4BAA4B,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,4BAA4B,CAAC;WAClG,4BAA4B,GAAG,CAAC,IAAI,4BAA4B,GAAG,GAAG,EAAE,CAAC;QAC5E,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;IACnE,CAAC;IACD,MAAM,cAAc,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC,EAAE,aAAa,CAAC,CAAC;IAC9E,IAAI,CAAC,cAAc,EAAE;QACnB,MAAM,EAAE,YAAY,EAAE,eAAe,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,YAAY;KACjG,EAAE,aAAa,CAAC,CAAC;IAClB,MAAM,IAAI,GAAG,QAAQ,CAAC,cAAc,CAAC,IAAI,EAAE,aAAa,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IAC3E,IAAI,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;IACrI,IAAI,cAAc,CAAC,UAAU,KAAK,SAAS,IAAI,CAAC,OAAO,cAAc,CAAC,UAAU,KAAK,QAAQ,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;QACpI,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;IACvE,CAAC;IACD,MAAM,aAAa,GAAG,QAAQ,CAAC,cAAc,CAAC,aAAa,EAAE,aAAa,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC;IACtG,IAAI,OAAO,aAAa,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,aAAa,CAAC,IAAI,aAAa,GAAG,CAAC,IAAI,aAAa,GAAG,OAAO,EAAE,CAAC;QAC1H,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;IAClE,CAAC;IACD,MAAM,oBAAoB,GAAG,QAAQ,CAAC,cAAc,CAAC,oBAAoB,EAAE,aAAa,CAAC,WAAW,CAAC,oBAAoB,CAAC,CAAC;IAC3H,IAAI,OAAO,oBAAoB,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,oBAAoB,CAAC;WAClF,oBAAoB,GAAG,CAAC,IAAI,oBAAoB,GAAG,GAAG,EAAE,CAAC;QAC5D,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;IACtE,CAAC;IACD,MAAM,OAAO,GAAG,QAAQ,CAAC,cAAc,CAAC,iBAAiB,EAAE,EAAE,CAAC,CAAC;IAC/D,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;IAChG,MAAM,iBAAiB,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAkD,EAAE;QAC5F,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,EAAE,wBAAwB,CAAC,CAAC;QAClD,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,WAAW,CAAC,EAAE,wBAAwB,CAAC,CAAC;QACzD,IAAI,OAAO,GAAG,CAAC,EAAE,KAAK,QAAQ,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;eAC9D,OAAO,GAAG,CAAC,SAAS,KAAK,QAAQ,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,kBAAkB,CAAC,EAAE,CAAC;YACtF,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;QAC1E,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,CAAC;IAClD,CAAC,CAAC,CAAC;IACH,IAAI,IAAI,GAAG,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,iBAAiB,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;IAC9I,MAAM,aAAa,GAAG,MAAM,CAAC,QAAQ,CAAC,cAAc,CAAC,UAAU,EAAE,EAAE,CAAC,EAAE,wBAAwB,CAAC,CAAC;IAChG,IAAI,CAAC,aAAa,EAAE,CAAC,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,YAAY,EAAE,UAAU,EAAE,KAAK,EAAE,YAAY,CAAC,EAAE,wBAAwB,CAAC,CAAC;IAC7H,MAAM,cAAc,GAAG,QAAQ,CAAC,aAAa,CAAC,IAAI,EAAE,aAAa,CAAC,WAAW,CAAC,UAAU,EAAE,IAAI,IAAI,KAAK,CAAC,CAAC;IACzG,IAAI,CAAC,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC;QACxD,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;IACxE,CAAC;IACD,MAAM,YAAY,GAAG,QAAQ,CAAC,aAAa,CAAC,MAAM,EAAE,6CAA6C,CAAC,CAAC;IACnG,IAAI,YAAY,KAAK,6CAA6C,EAAE,CAAC;QACnE,MAAM,IAAI,KAAK,CAAC,oFAAoF,CAAC,CAAC;IACxG,CAAC;IACD,MAAM,cAAc,GAAG,aAAa,CAAC,QAAQ,CAAC;IAC9C,IAAI,cAAc,KAAK,QAAQ;WAC1B,CAAC,OAAO,cAAc,KAAK,QAAQ,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE;eAC3D,cAAc,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,cAAc,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QACtE,MAAM,IAAI,KAAK,CAAC,mFAAmF,CAAC,CAAC;IACvG,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,CAAC,YAAY,EAAE,UAAU,EAAE,KAAK,CAAU,EAAE,CAAC;QAC7D,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;QACjC,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YAChG,MAAM,IAAI,KAAK,CAAC,0BAA0B,GAAG,6BAA6B,CAAC,CAAC;QAC9E,CAAC;IACH,CAAC;IACD,MAAM,UAAU,GAAG,QAAQ,CAAC,aAAa,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;IACpE,IAAI,CAAC,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;QAC3D,MAAM,IAAI,KAAK,CAAC,iEAAiE,CAAC,CAAC;IACrF,CAAC;IACD,IAAI,cAAc,KAAK,QAAQ,IAAI,IAAI,KAAK,aAAa,EAAE,CAAC;QAC1D,MAAM,IAAI,KAAK,CAAC,2EAA2E,CAAC,CAAC;IAC/F,CAAC;IACD,IAAI,OAAO,cAAc,CAAC,UAAU,KAAK,QAAQ,IAAI,OAAO,aAAa,CAAC,UAAU,KAAK,QAAQ;WAC5F,cAAc,CAAC,UAAU,KAAK,aAAa,CAAC,UAAU,EAAE,CAAC;QAC5D,MAAM,IAAI,KAAK,CAAC,sEAAsE,CAAC,CAAC;IAC1F,CAAC;IACD,OAAO;QACL,aAAa,EAAE,CAAC,EAAE,QAAQ,EAAE,QAA8B,EAAE,QAAQ,EAAE,cAAc,EAAE,UAAU;QAChG,YAAY,EAAE,EAAE,YAAY,EAAE,YAAY,CAAC,YAAY,KAAK,KAAK,EAAE,KAAK,EAAE;QAC1E,SAAS,EAAE,EAAE,IAAI,EAAE,aAAwC,EAAE;QAC7D,MAAM,EAAE,EAAE,MAAM,EAAE,MAAgC,EAAE,kBAAkB,EAAE,SAAS,EAAE,eAAe,EAAE;QACpG,QAAQ,EAAE,EAAE,IAAI,EAAE,YAAsC,EAAE;QAC1D,QAAQ,EAAE;YACR,IAAI,EAAE,YAAsC;YAC5C,GAAG,CAAC,OAAO,WAAW,CAAC,iBAAiB,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,WAAW,CAAC,iBAAiB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAClH,aAAa,EAAE,qBAAqB;YACpC,oBAAoB,EAAE,4BAA4B;SACnD;QACD,WAAW,EAAE;YACX,IAAI,EAAE,IAAiC;YACvC,GAAG,CAAC,OAAO,cAAc,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,cAAc,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACnG,aAAa;YACb,oBAAoB;YACpB,iBAAiB;YACjB,UAAU,EAAE,cAAc,KAAK,QAAQ;gBACrC,CAAC,CAAC;oBACA,IAAI,EAAE,QAAQ;oBACd,MAAM,EAAE,6CAA6C;oBACrD,QAAQ,EAAE,cAAwB;oBAClC,GAAG,CAAC,OAAO,aAAa,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,aAAa,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBACjG,GAAG,CAAC,OAAO,aAAa,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,aAAa,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC3F,GAAG,CAAC,OAAO,aAAa,CAAC,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,aAAa,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC5E,UAAU,EAAE,UAAqC;iBAClD;gBACD,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE;SACpB;KACF,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,UAAU,CAAC,IAAY;IAC3C,MAAM,IAAI,GAAG,sBAAsB,CAAC;IACpC,IAAI,CAAC,MAAM,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;IAC3G,OAAO,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAY,CAAC,CAAC;AACxE,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,KAAc;IAChD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC;IAC/C,IAAI,CAAC,KAAK,EAAE;QACV,eAAe,EAAE,gBAAgB,EAAE,YAAY,EAAE,cAAc,EAAE,WAAW,EAAE,QAAQ;QACtF,UAAU,EAAE,UAAU,EAAE,aAAa,EAAE,kBAAkB;KAC1D,EAAE,iBAAiB,CAAC,CAAC;IACtB,IAAI,KAAK,CAAC,aAAa,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;IACzG,MAAM,MAAM,GAAG,WAAW,CAAC;QACzB,aAAa,EAAE,CAAC;QAChB,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,QAAQ,EAAE,EAAE;KACb,CAAC,CAAC;IACH,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,cAAc,EAAE,MAAM,CAAC,cAAc;QACrC,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,YAAY,EAAE,MAAM,CAAC,YAAY;QACjC,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,kBAAkB,EAAE,MAAM,CAAC,MAAM,CAAC,kBAAkB,EAAE;QAC9F,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,gBAAgB,EAAE,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,gBAAgB,EAAE,EAAE,CAAC,EAAE,kBAAkB,CAAC;KACpF,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,IAAY;IACnD,MAAM,IAAI,GAAG,+BAA+B,CAAC;IAC7C,OAAO,MAAM,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACrC,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAY,CAAC;QACxE,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,MAAc,EAAE,QAAwB,EAAE,UAA2B,IAAI;IACzG,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,cAAc,EAAE,CAAC;QAC5C,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,uBAAuB,EAAE,kBAAkB,KAAK,yCAAyC,CAAC,CAAC,CAAC;IACjK,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAmC,EAAE,CAAC;QACrF,IAAI,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,kBAAkB,EAAE,cAAc,GAAG,uCAAuC,CAAC,CAAC,CAAC;IAC/J,CAAC;IACD,IAAI,QAAQ,CAAC,YAAY,CAAC,YAAY,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,YAAY;QAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,eAAe,EAAE,0DAA0D,CAAC,CAAC,CAAC;IAClL,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC;QAC/C,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YACvG,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,qBAAqB,EAAE,qBAAqB,IAAI,CAAC,IAAI,oDAAoD,CAAC,CAAC,CAAC;QACrI,CAAC;IACH,CAAC;IACD,IAAI,QAAQ,CAAC,SAAS,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC/E,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,wBAAwB,EAAE,qFAAqF,CAAC,CAAC,CAAC;IAC3I,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,CAAC,kBAAkB,GAAG,QAAQ,CAAC,MAAM,CAAC,kBAAkB,EAAE,CAAC;QAC1E,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,wBAAwB,EAAE,gEAAgE,CAAC,CAAC,CAAC;IACtH,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;QACzF,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,sBAAsB,EAAE,6BAA6B,QAAQ,CAAC,MAAM,CAAC,MAAM,uCAAuC,CAAC,CAAC,CAAC;IAC9I,CAAC;IACD,IAAI,QAAQ,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7E,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,sBAAsB,EAAE,oFAAoF,CAAC,CAAC,CAAC;IACxI,CAAC;IACD,IAAI,QAAQ,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACxC,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,sBAAsB,EAAE,oFAAoF,CAAC,CAAC,CAAC;QACxI,CAAC;QACD,IAAI,QAAQ,CAAC,QAAQ,CAAC,iBAAiB;eAClC,MAAM,CAAC,QAAQ,CAAC,iBAAiB,EAAE,WAAW,EAAE,KAAK,QAAQ,CAAC,QAAQ,CAAC,iBAAiB,CAAC,WAAW,EAAE,EAAE,CAAC;YAC5G,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,yBAAyB,EAAE,+EAA+E,CAAC,CAAC,CAAC;QACtI,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,aAAa,IAAI,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,aAAa,IAAI,IAAI,CAAC,EAAE,CAAC;YACxF,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,yBAAyB,EAAE,6DAA6D,CAAC,CAAC,CAAC;QACpH,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,oBAAoB,IAAI,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,oBAAoB,IAAI,EAAE,CAAC,EAAE,CAAC;YAClG,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,6BAA6B,EAAE,oEAAoE,CAAC,CAAC,CAAC;QAC/H,CAAC;IACH,CAAC;IACD,IAAI,QAAQ,CAAC,WAAW,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QAChD,IAAI,MAAM,CAAC,WAAW,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAC9C,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,yBAAyB,EAAE,4FAA4F,CAAC,CAAC,CAAC;QACnJ,CAAC;QACD,IAAI,QAAQ,CAAC,WAAW,CAAC,UAAU,IAAI,MAAM,CAAC,WAAW,CAAC,UAAU,KAAK,QAAQ,CAAC,WAAW,CAAC,UAAU,EAAE,CAAC;YACzG,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,+BAA+B,EAAE,8EAA8E,CAAC,CAAC,CAAC;QAC3I,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,aAAa,IAAI,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,WAAW,CAAC,aAAa,IAAI,IAAI,CAAC,EAAE,CAAC;YAC9F,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,4BAA4B,EAAE,gEAAgE,CAAC,CAAC,CAAC;QAC1H,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,oBAAoB,IAAI,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,WAAW,CAAC,oBAAoB,IAAI,EAAE,CAAC,EAAE,CAAC;YACxG,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,gCAAgC,EAAE,uEAAuE,CAAC,CAAC,CAAC;QACrI,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,WAAW,CAAC,iBAAiB,EAAE,CAAC;YACzD,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAC3D,SAAS,CAAC,EAAE,KAAK,GAAG,CAAC,EAAE,IAAI,SAAS,CAAC,SAAS,KAAK,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;gBACpE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,wBAAwB,EAAE,2BAA2B,GAAG,CAAC,EAAE,0BAA0B,CAAC,CAAC,CAAC;YACjH,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,QAAQ,CAAC,WAAW,CAAC,UAAU,EAAE,IAAI,KAAK,QAAQ,EAAE,CAAC;QACvD,MAAM,IAAI,GAAG,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC;QAC3C,IAAI,IAAI,EAAE,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC5B,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,8BAA8B,EAAE,8DAA8D,CAAC,CAAC,CAAC;QAC1H,CAAC;QACD,IAAI,IAAI,EAAE,UAAU,KAAK,QAAQ,CAAC,WAAW,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC;YACpE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,iCAAiC,EAAE,8EAA8E,CAAC,CAAC,CAAC;QAC7I,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,CAAC,QAAQ,EAAE,UAAU,EAAE,YAAY,EAAE,UAAU,EAAE,KAAK,CAAU,EAAE,CAAC;YACnF,MAAM,QAAQ,GAAG,QAAQ,CAAC,WAAW,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;YACtD,IAAI,QAAQ,KAAK,SAAS,IAAI,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,QAAQ,EAAE,CAAC;gBACvD,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,kCAAkC,EAAE,0BAA0B,GAAG,mCAAmC,CAAC,CAAC,CAAC;YAChI,CAAC;QACH,CAAC;IACH,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,gBAAgB,EAAE,CAAC;QAC7C,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,IAAI,IAAI,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;YAClF,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,gBAAgB,EAAE,oBAAoB,IAAI,gCAAgC,CAAC,CAAC,CAAC;QACtG,CAAC;IACH,CAAC;IACD,IAAI,OAAO,EAAE,QAAQ,CAAC,+BAA+B,CAAC,EAAE,CAAC;QACvD,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,0BAA0B,EAAE,kGAAkG,CAAC,CAAC,CAAC;IAC1J,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC"}
|
|
1
|
+
{"version":3,"file":"config.js","sourceRoot":"","sources":["../../../../packages/analysis/src/config.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAmB,MAAM,2BAA2B,CAAC;AACnE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AA6GtD,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,cAAc,EAAE,QAAQ,EAAE,cAAc,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,sBAAsB,EAAE,UAAU,EAAE,UAAU,EAAE,KAAK,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,aAAa,EAAE,aAAa,EAAE,iBAAiB,EAAE,UAAU,CAAU,CAAC;AAEvQ,MAAM,CAAC,MAAM,aAAa,GAAW;IACnC,aAAa,EAAE,CAAC;IAChB,QAAQ,EAAE,MAAM;IAChB,cAAc,EAAE,QAAQ;IACxB,QAAQ,EAAE,EAAE;IACZ,cAAc,EAAE,CAAC,cAAc,EAAE,QAAQ,EAAE,cAAc,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,CAAC;IACxF,UAAU,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;IACtD,YAAY,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE;IAC/C,SAAS,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;IACjC,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,kBAAkB,EAAE,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE;IACpE,QAAQ,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;IAChC,GAAG,EAAE,EAAE,oBAAoB,EAAE,EAAE,EAAE;IACjC,QAAQ,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,aAAa,EAAE,IAAI,EAAE,oBAAoB,EAAE,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE;IACrG,WAAW,EAAE;QACX,IAAI,EAAE,OAAO;QACb,aAAa,EAAE,IAAI;QACnB,oBAAoB,EAAE,EAAE;QACxB,iBAAiB,EAAE,EAAE;QACrB,UAAU,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE;KAC5B;CACF,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAmB;IACnD,aAAa,EAAE,CAAC;IAChB,cAAc,EAAE,aAAa,CAAC,cAAc;IAC5C,QAAQ,EAAE,EAAE;IACZ,cAAc,EAAE,CAAC,GAAG,aAAa,CAAC,cAAc,CAAC;IACjD,UAAU,EAAE,EAAE,GAAG,aAAa,CAAC,UAAU,EAAE;IAC3C,YAAY,EAAE,EAAE,YAAY,EAAE,aAAa,CAAC,YAAY,CAAC,YAAY,EAAE,KAAK,EAAE,CAAC,GAAG,aAAa,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE;IACrH,SAAS,EAAE,EAAE,GAAG,aAAa,CAAC,SAAS,EAAE;IACzC,MAAM,EAAE,EAAE,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,MAAM,EAAE,kBAAkB,EAAE,aAAa,CAAC,MAAM,CAAC,kBAAkB,EAAE;IAC5G,QAAQ,EAAE,EAAE,GAAG,aAAa,CAAC,QAAQ,EAAE;IACvC,GAAG,EAAE,EAAE,oBAAoB,EAAE,CAAC,GAAG,aAAa,CAAC,GAAG,CAAC,oBAAoB,CAAC,EAAE;IAC1E,QAAQ,EAAE,EAAE,GAAG,aAAa,CAAC,QAAQ,EAAE;IACvC,WAAW,EAAE;QACX,GAAG,aAAa,CAAC,WAAW;QAC5B,iBAAiB,EAAE,CAAC,GAAG,aAAa,CAAC,WAAW,CAAC,iBAAiB,CAAC;QACnE,UAAU,EAAE,EAAE,GAAG,aAAa,CAAC,WAAW,CAAC,UAAW,EAAE;KACzD;IACD,gBAAgB,EAAE,EAAE;CACrB,CAAC;AAEF,SAAS,MAAM,CAAC,KAAc,EAAE,QAAgB;IAC9C,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,QAAQ,qBAAqB,CAAC,CAAC;IACnH,OAAO,KAAgC,CAAC;AAC1C,CAAC;AAED,SAAS,IAAI,CAAC,KAA8B,EAAE,OAAiB,EAAE,QAAgB;IAC/E,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACrC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,sBAAsB,QAAQ,IAAI,GAAG,GAAG,CAAC,CAAC;IACxF,CAAC;AACH,CAAC;AAED,SAAS,OAAO,CAAC,KAAc,EAAE,QAAgB,EAAE,UAAU,GAAG,KAAK;IACnE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,QAAQ,wBAAwB,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,4BAA4B,CAAC,CAAC;IAC5O,OAAO,KAAiB,CAAC;AAC3B,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc,EAAE,QAAiB;IACjD,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC;AAChD,CAAC;AAED,SAAS,mBAAmB,CAAC,OAAiC,EAAE,IAAc,EAAE,IAAY;IAC1F,IAAI,CAAC,OAAO;QAAE,OAAO;IACrB,MAAM,KAAK,GAAG;QACZ,MAAM,EAAE,CAAC,YAAY,EAAE,cAAc,CAAC;QACtC,IAAI,EAAE,CAAC,QAAQ,EAAE,cAAc,CAAC;QAChC,MAAM,EAAE,CAAC,eAAe,EAAE,oBAAoB,CAAC;QAC/C,SAAS,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC;QAC5B,KAAK,EAAE,CAAC,UAAU,CAAC;QACnB,KAAK,EAAE,CAAC,mBAAmB,EAAE,eAAe,EAAE,eAAe,EAAE,oBAAoB,CAAC;KACrF,CAAC,OAAO,CAAC,CAAC;IACX,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,KAAK,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;IACzG,IAAI,QAAQ,EAAE,CAAC;QACb,MAAM,IAAI,KAAK,CAAC,WAAW,IAAI,wCAAwC,QAAQ,2BAA2B,OAAO,+CAA+C,CAAC,CAAC;IACpK,CAAC;AACH,CAAC;AAED,MAAM,qBAAqB,GAAwD;IACjF,OAAO,EAAE,CAAC,cAAc,EAAE,QAAQ,EAAE,cAAc,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,CAAC;IACjF,WAAW,EAAE,CAAC,cAAc,EAAE,QAAQ,EAAE,cAAc,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,iBAAiB,EAAE,KAAK,CAAC;IAC/G,OAAO,EAAE;QACP,cAAc,EAAE,QAAQ,EAAE,cAAc,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,sBAAsB;QAC5F,UAAU,EAAE,UAAU,EAAE,KAAK,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,aAAa;QACrF,aAAa,EAAE,iBAAiB,EAAE,UAAU;KAC7C;CACF,CAAC;AAEF,SAAS,sBAAsB,CAAC,MAAc;IAC5C,IAAI,MAAM,CAAC,cAAc,KAAK,QAAQ;QAAE,OAAO;IAC/C,MAAM,OAAO,GAAG,qBAAqB,CAAC,MAAM,CAAC,cAAc,CAAC;SACzD,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,cAAc,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;IAC7D,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QACnB,MAAM,IAAI,KAAK,CAAC,kBAAkB,MAAM,CAAC,cAAc,qBAAqB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACrG,CAAC;IACD,IAAI,MAAM,CAAC,cAAc,KAAK,SAAS,IAAI,MAAM,CAAC,SAAS,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC9E,MAAM,IAAI,KAAK,CAAC,kBAAkB,MAAM,CAAC,cAAc,kCAAkC,CAAC,CAAC;IAC7F,CAAC;IACD,IAAI,MAAM,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;QACxC,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,kBAAkB,IAAI,CAAC,EAAE,CAAC;YAC7E,MAAM,IAAI,KAAK,CAAC,gFAAgF,CAAC,CAAC;QACpG,CAAC;QACD,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;QAChH,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;QAChH,IAAI,MAAM,CAAC,WAAW,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAC9C,MAAM,IAAI,KAAK,CAAC,+DAA+D,CAAC,CAAC;QACnF,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,KAAc;IACxC,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACtC,IAAI,CAAC,KAAK,EAAE,CAAC,eAAe,EAAE,UAAU,EAAE,gBAAgB,EAAE,UAAU,EAAE,gBAAgB,EAAE,YAAY,EAAE,cAAc,EAAE,WAAW,EAAE,QAAQ,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,aAAa,CAAC,EAAE,QAAQ,CAAC,CAAC;IACxM,IAAI,KAAK,CAAC,aAAa,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;IAChG,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAClD,IAAI,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;IAC3G,MAAM,cAAc,GAAG,QAAQ,CAAC,KAAK,CAAC,cAAc,EAAE,aAAa,CAAC,cAAc,CAAC,CAAC;IACpF,IAAI,CAAC,CAAC,QAAQ,EAAE,SAAS,EAAE,aAAa,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC;QACtF,MAAM,IAAI,KAAK,CAAC,kEAAkE,CAAC,CAAC;IACtF,CAAC;IACD,MAAM,cAAc,GAAG,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,cAAc,EAAE,aAAa,CAAC,cAAc,CAAC,EAAE,gBAAgB,CAAC,CAAC;IAC/G,IAAI,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,CAA8B,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;IACjI,MAAM,UAAU,GAAG,EAAE,GAAG,aAAa,CAAC,UAAU,EAAE,CAAC;IACnD,IAAI,KAAK,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QACnC,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;QACnD,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,YAAY,CAAC,CAAC;QACjD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAgC,EAAE,CAAC;YACzE,MAAM,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;YACtD,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,SAAS,GAAG,CAAC,IAAI,SAAS,GAAG,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,cAAc,GAAG,qBAAqB,CAAC,CAAC;YAC5J,UAAU,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC;QAC9B,CAAC;IACH,CAAC;IACD,MAAM,WAAW,GAAG,QAAQ,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IACjD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;IAC/E,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,GAAY,EAAiB,EAAE;QAC/D,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;QACjC,IAAI,CAAC,CAAC,EAAE,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,YAAY,EAAE,gBAAgB,EAAE,SAAS,EAAE,UAAU,EAAE,WAAW,CAAC,EAAE,SAAS,CAAC,CAAC;QAC5I,IAAI,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;QAC1I,IAAI,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC;QAC5I,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,IAAI,OAAO,CAAC,CAAC,QAAQ,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;QACtH,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;YACtH,MAAM,IAAI,KAAK,CAAC,yEAAyE,CAAC,CAAC;QAC7F,CAAC;QACD,MAAM,SAAS,GAAG,QAAQ,CAAC,CAAC,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QACjD,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC,IAAI,SAAS,GAAG,CAAC,IAAI,SAAS,GAAG,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;QACtK,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,iBAAiB,EAAE,IAAI,CAAC,CAAC;QAClG,IAAI,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC;YAC9F,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;QAC1E,CAAC;QACD,IAAI,SAAqC,CAAC;QAC1C,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YAC9B,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,SAAS,EAAE,mBAAmB,CAAC,CAAC;YACxD,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,mBAAmB,CAAC,CAAC;YACtD,IAAI,MAAM,CAAC,MAAM,KAAK,cAAc;gBAAE,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;YACxG,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;gBACvH,MAAM,IAAI,KAAK,CAAC,8EAA8E,CAAC,CAAC;YAClG,CAAC;YACD,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;YACpI,SAAS,GAAG,EAAE,MAAM,EAAE,cAAc,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;QAC5D,CAAC;QACD,IAAI,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,KAAK,CAAC,SAAS,KAAK,SAAS,CAAC,EAAE,CAAC;YACxE,MAAM,IAAI,KAAK,CAAC,oEAAoE,CAAC,CAAC;QACxF,CAAC;QACD,IAAI,UAAuC,CAAC;QAC5C,IAAI,CAAC,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;YAC/B,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,UAAU,EAAE,oBAAoB,CAAC,CAAC;YAC1D,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,oBAAoB,CAAC,CAAC;YACvD,IAAI,MAAM,CAAC,MAAM,KAAK,cAAc;gBAAE,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;YACzG,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;gBACtH,MAAM,IAAI,KAAK,CAAC,oFAAoF,CAAC,CAAC;YACxG,CAAC;YACD,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;YACrI,UAAU,GAAG,EAAE,MAAM,EAAE,cAAc,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;QAC7D,CAAC;QACD,IAAI,cAA+C,CAAC;QACpD,IAAI,CAAC,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;YACnC,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,cAAc,EAAE,wBAAwB,CAAC,CAAC;YAClE,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,wBAAwB,CAAC,CAAC;YAC3D,IAAI,MAAM,CAAC,MAAM,KAAK,uBAAuB,EAAE,CAAC;gBAC9C,MAAM,IAAI,KAAK,CAAC,8DAA8D,CAAC,CAAC;YAClF,CAAC;YACD,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;mBAC5E,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC5G,MAAM,IAAI,KAAK,CAAC,gFAAgF,CAAC,CAAC;YACpG,CAAC;YACD,cAAc,GAAG,EAAE,MAAM,EAAE,uBAAuB,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;QAC1E,CAAC;QACD,IAAI,cAAc,IAAI,CAAC,UAAU,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;YAChD,MAAM,IAAI,KAAK,CAAC,uEAAuE,CAAC,CAAC;QAC3F,CAAC;QACD,MAAM,IAAI,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,cAAc,EAAE,IAAI,CAAC,CAAC;QACjE,MAAM,OAAO,GAAG,CAAC,CAAC,OAAmC,CAAC;QACtD,mBAAmB,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QAC3C,OAAO;YACL,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,OAAO,EAAE,CAAC,CAAC,OAAO;YAClB,IAAI;YACJ,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/B,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACnC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACrC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7C,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/B,QAAQ,EAAE,CAAC,CAAC,QAAQ,KAAK,KAAK;YAC9B,SAAS;SACV,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,IAAI,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;IACpH,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IACtD,IAAI,CAAC,MAAM,EAAE,CAAC,sBAAsB,CAAC,EAAE,KAAK,CAAC,CAAC;IAC9C,MAAM,oBAAoB,GAAG,OAAO,CAClC,QAAQ,CAAC,MAAM,CAAC,oBAAoB,EAAE,aAAa,CAAC,GAAG,CAAC,oBAAoB,CAAC,EAC7E,0BAA0B,CAC3B,CAAC;IACF,IAAI,IAAI,GAAG,CAAC,oBAAoB,CAAC,CAAC,IAAI,KAAK,oBAAoB,CAAC,MAAM,EAAE,CAAC;QACvE,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;IAC3E,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,oBAAoB,EAAE,CAAC;QACxC,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QACtE,IAAI,CAAC,OAAO;YAAE,MAAM,IAAI,KAAK,CAAC,uDAAuD,IAAI,GAAG,CAAC,CAAC;QAC9F,IAAI,OAAO,CAAC,OAAO,IAAI,OAAO,CAAC,UAAU,IAAI,OAAO,CAAC,SAAS,IAAI,OAAO,CAAC,cAAc,EAAE,CAAC;YACzF,MAAM,IAAI,KAAK,CAAC,6BAA6B,IAAI,4DAA4D,CAAC,CAAC;QACjH,CAAC;IACH,CAAC;IACD,MAAM,YAAY,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,YAAY,EAAE,EAAE,CAAC,EAAE,cAAc,CAAC,CAAC;IAC9E,IAAI,CAAC,YAAY,EAAE,CAAC,cAAc,EAAE,OAAO,CAAC,EAAE,cAAc,CAAC,CAAC;IAC9D,IAAI,YAAY,CAAC,YAAY,KAAK,SAAS,IAAI,OAAO,YAAY,CAAC,YAAY,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;IAC7J,MAAM,QAAQ,GAAG,QAAQ,CAAC,YAAY,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAClD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC;IACtF,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,GAAY,EAAoB,EAAE;QAC5D,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,EAAE,mBAAmB,CAAC,CAAC;QAC3C,IAAI,CAAC,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,CAAC,EAAE,mBAAmB,CAAC,CAAC;QAC3D,IAAI,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,IAAI;YAAE,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;QACnJ,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,eAAe,CAAC,EAAE,CAAC;IACxF,CAAC,CAAC,CAAC;IACH,MAAM,YAAY,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,EAAE,EAAE,CAAC,EAAE,WAAW,CAAC,CAAC;IACxE,IAAI,CAAC,YAAY,EAAE,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC,CAAC;IAC1C,MAAM,aAAa,GAAG,QAAQ,CAAC,YAAY,CAAC,IAAI,EAAE,aAAa,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAChF,IAAI,CAAC,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC;QAC9D,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;IAClE,CAAC;IACD,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;IAC/D,IAAI,CAAC,SAAS,EAAE,CAAC,QAAQ,EAAE,oBAAoB,EAAE,WAAW,CAAC,EAAE,QAAQ,CAAC,CAAC;IACzE,MAAM,MAAM,GAAG,QAAQ,CAAC,SAAS,CAAC,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACvE,IAAI,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;IAChI,MAAM,kBAAkB,GAAG,QAAQ,CAAC,SAAS,CAAC,kBAAkB,EAAE,aAAa,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC;IAC3G,IAAI,OAAO,kBAAkB,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,kBAAkB,CAAC,IAAI,kBAAkB,GAAG,CAAC,IAAI,kBAAkB,GAAG,CAAC,EAAE,CAAC;QACvI,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;IAClE,CAAC;IACD,MAAM,eAAe,GAAG,QAAQ,CAAC,SAAS,CAAC,SAAS,EAAE,aAAa,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IACtF,IAAI,OAAO,eAAe,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,eAAe,CAAC,IAAI,eAAe,GAAG,GAAG,IAAI,eAAe,GAAG,OAAO,EAAE,CAAC;QACpI,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;IAC3D,CAAC;IACD,MAAM,WAAW,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,CAAC,EAAE,UAAU,CAAC,CAAC;IACrE,IAAI,CAAC,WAAW,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,CAAC,CAAC;IACxC,MAAM,YAAY,GAAG,QAAQ,CAAC,WAAW,CAAC,IAAI,EAAE,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC7E,IAAI,CAAC,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC;QAC7D,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;IACjE,CAAC;IACD,MAAM,WAAW,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,CAAC,EAAE,UAAU,CAAC,CAAC;IACrE,IAAI,CAAC,WAAW,EAAE,CAAC,MAAM,EAAE,mBAAmB,EAAE,eAAe,EAAE,sBAAsB,EAAE,gBAAgB,CAAC,EAAE,UAAU,CAAC,CAAC;IACxH,MAAM,YAAY,GAAG,QAAQ,CAAC,WAAW,CAAC,IAAI,EAAE,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC7E,IAAI,CAAC,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC;QAC7D,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;IACjE,CAAC;IACD,IAAI,WAAW,CAAC,iBAAiB,KAAK,SAAS;WAC1C,CAAC,OAAO,WAAW,CAAC,iBAAiB,KAAK,QAAQ;eAChD,CAAC,4EAA4E,CAAC,IAAI,CAAC,WAAW,CAAC,iBAAiB,CAAC,CAAC,EAAE,CAAC;QAC1H,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;IAChE,CAAC;IACD,IAAI,WAAW,CAAC,iBAAiB,KAAK,SAAS,IAAI,YAAY,KAAK,QAAQ,EAAE,CAAC;QAC7E,MAAM,IAAI,KAAK,CAAC,2DAA2D,CAAC,CAAC;IAC/E,CAAC;IACD,MAAM,qBAAqB,GAAG,QAAQ,CAAC,WAAW,CAAC,aAAa,EAAE,aAAa,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;IACxG,IAAI,OAAO,qBAAqB,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,qBAAqB,CAAC;WACpF,qBAAqB,GAAG,CAAC,IAAI,qBAAqB,GAAG,OAAO,EAAE,CAAC;QAClE,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;IAC/D,CAAC;IACD,MAAM,4BAA4B,GAAG,QAAQ,CAC3C,WAAW,CAAC,oBAAoB,EAChC,aAAa,CAAC,QAAQ,CAAC,oBAAoB,CAC5C,CAAC;IACF,IAAI,OAAO,4BAA4B,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,4BAA4B,CAAC;WAClG,4BAA4B,GAAG,CAAC,IAAI,4BAA4B,GAAG,GAAG,EAAE,CAAC;QAC5E,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;IACnE,CAAC;IACD,MAAM,sBAAsB,GAAG,QAAQ,CAAC,WAAW,CAAC,cAAc,EAAE,aAAa,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC;IAC3G,IAAI,OAAO,sBAAsB,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,sBAAsB,CAAC;WACtF,sBAAsB,GAAG,CAAC,IAAI,sBAAsB,GAAG,MAAM,EAAE,CAAC;QACnE,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;IAC/D,CAAC;IACD,MAAM,cAAc,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC,EAAE,aAAa,CAAC,CAAC;IAC9E,IAAI,CAAC,cAAc,EAAE;QACnB,MAAM,EAAE,YAAY,EAAE,eAAe,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,YAAY;KACjG,EAAE,aAAa,CAAC,CAAC;IAClB,MAAM,IAAI,GAAG,QAAQ,CAAC,cAAc,CAAC,IAAI,EAAE,aAAa,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IAC3E,IAAI,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;IACrI,IAAI,cAAc,CAAC,UAAU,KAAK,SAAS,IAAI,CAAC,OAAO,cAAc,CAAC,UAAU,KAAK,QAAQ,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;QACpI,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;IACvE,CAAC;IACD,MAAM,aAAa,GAAG,QAAQ,CAAC,cAAc,CAAC,aAAa,EAAE,aAAa,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC;IACtG,IAAI,OAAO,aAAa,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,aAAa,CAAC,IAAI,aAAa,GAAG,CAAC,IAAI,aAAa,GAAG,OAAO,EAAE,CAAC;QAC1H,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;IAClE,CAAC;IACD,MAAM,oBAAoB,GAAG,QAAQ,CAAC,cAAc,CAAC,oBAAoB,EAAE,aAAa,CAAC,WAAW,CAAC,oBAAoB,CAAC,CAAC;IAC3H,IAAI,OAAO,oBAAoB,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,oBAAoB,CAAC;WAClF,oBAAoB,GAAG,CAAC,IAAI,oBAAoB,GAAG,GAAG,EAAE,CAAC;QAC5D,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;IACtE,CAAC;IACD,MAAM,OAAO,GAAG,QAAQ,CAAC,cAAc,CAAC,iBAAiB,EAAE,EAAE,CAAC,CAAC;IAC/D,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;IAChG,MAAM,iBAAiB,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAkD,EAAE;QAC5F,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,EAAE,wBAAwB,CAAC,CAAC;QAClD,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,WAAW,CAAC,EAAE,wBAAwB,CAAC,CAAC;QACzD,IAAI,OAAO,GAAG,CAAC,EAAE,KAAK,QAAQ,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;eAC9D,OAAO,GAAG,CAAC,SAAS,KAAK,QAAQ,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,kBAAkB,CAAC,EAAE,CAAC;YACtF,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;QAC1E,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,CAAC;IAClD,CAAC,CAAC,CAAC;IACH,IAAI,IAAI,GAAG,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,iBAAiB,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;IAC9I,MAAM,aAAa,GAAG,MAAM,CAAC,QAAQ,CAAC,cAAc,CAAC,UAAU,EAAE,EAAE,CAAC,EAAE,wBAAwB,CAAC,CAAC;IAChG,IAAI,CAAC,aAAa,EAAE,CAAC,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,YAAY,EAAE,UAAU,EAAE,KAAK,EAAE,YAAY,CAAC,EAAE,wBAAwB,CAAC,CAAC;IAC7H,MAAM,cAAc,GAAG,QAAQ,CAAC,aAAa,CAAC,IAAI,EAAE,aAAa,CAAC,WAAW,CAAC,UAAU,EAAE,IAAI,IAAI,KAAK,CAAC,CAAC;IACzG,IAAI,CAAC,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC;QACxD,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;IACxE,CAAC;IACD,MAAM,YAAY,GAAG,QAAQ,CAAC,aAAa,CAAC,MAAM,EAAE,6CAA6C,CAAC,CAAC;IACnG,IAAI,YAAY,KAAK,6CAA6C,EAAE,CAAC;QACnE,MAAM,IAAI,KAAK,CAAC,oFAAoF,CAAC,CAAC;IACxG,CAAC;IACD,MAAM,cAAc,GAAG,aAAa,CAAC,QAAQ,CAAC;IAC9C,IAAI,cAAc,KAAK,QAAQ;WAC1B,CAAC,OAAO,cAAc,KAAK,QAAQ,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE;eAC3D,cAAc,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,cAAc,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QACtE,MAAM,IAAI,KAAK,CAAC,mFAAmF,CAAC,CAAC;IACvG,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,CAAC,YAAY,EAAE,UAAU,EAAE,KAAK,CAAU,EAAE,CAAC;QAC7D,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;QACjC,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YAChG,MAAM,IAAI,KAAK,CAAC,0BAA0B,GAAG,6BAA6B,CAAC,CAAC;QAC9E,CAAC;IACH,CAAC;IACD,MAAM,UAAU,GAAG,QAAQ,CAAC,aAAa,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;IACpE,IAAI,CAAC,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;QAC3D,MAAM,IAAI,KAAK,CAAC,iEAAiE,CAAC,CAAC;IACrF,CAAC;IACD,IAAI,cAAc,KAAK,QAAQ,IAAI,IAAI,KAAK,aAAa,EAAE,CAAC;QAC1D,MAAM,IAAI,KAAK,CAAC,2EAA2E,CAAC,CAAC;IAC/F,CAAC;IACD,IAAI,OAAO,cAAc,CAAC,UAAU,KAAK,QAAQ,IAAI,OAAO,aAAa,CAAC,UAAU,KAAK,QAAQ;WAC5F,cAAc,CAAC,UAAU,KAAK,aAAa,CAAC,UAAU,EAAE,CAAC;QAC5D,MAAM,IAAI,KAAK,CAAC,sEAAsE,CAAC,CAAC;IAC1F,CAAC;IACD,MAAM,MAAM,GAAW;QACrB,aAAa,EAAE,CAAC;QAChB,QAAQ,EAAE,QAA8B;QACxC,cAAc,EAAE,cAAgC;QAChD,QAAQ;QACR,cAAc;QACd,UAAU;QACV,YAAY,EAAE,EAAE,YAAY,EAAE,YAAY,CAAC,YAAY,KAAK,KAAK,EAAE,KAAK,EAAE;QAC1E,SAAS,EAAE,EAAE,IAAI,EAAE,aAAwC,EAAE;QAC7D,MAAM,EAAE,EAAE,MAAM,EAAE,MAAgC,EAAE,kBAAkB,EAAE,SAAS,EAAE,eAAe,EAAE;QACpG,QAAQ,EAAE,EAAE,IAAI,EAAE,YAAsC,EAAE;QAC1D,GAAG,EAAE,EAAE,oBAAoB,EAAE;QAC7B,QAAQ,EAAE;YACR,IAAI,EAAE,YAAsC;YAC5C,GAAG,CAAC,OAAO,WAAW,CAAC,iBAAiB,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,WAAW,CAAC,iBAAiB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAClH,aAAa,EAAE,qBAAqB;YACpC,oBAAoB,EAAE,4BAA4B;YAClD,cAAc,EAAE,sBAAsB;SACvC;QACD,WAAW,EAAE;YACX,IAAI,EAAE,IAAiC;YACvC,GAAG,CAAC,OAAO,cAAc,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,cAAc,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACnG,aAAa;YACb,oBAAoB;YACpB,iBAAiB;YACjB,UAAU,EAAE,cAAc,KAAK,QAAQ;gBACrC,CAAC,CAAC;oBACA,IAAI,EAAE,QAAQ;oBACd,MAAM,EAAE,6CAA6C;oBACrD,QAAQ,EAAE,cAAwB;oBAClC,GAAG,CAAC,OAAO,aAAa,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,aAAa,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBACjG,GAAG,CAAC,OAAO,aAAa,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,aAAa,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC3F,GAAG,CAAC,OAAO,aAAa,CAAC,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,aAAa,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC5E,UAAU,EAAE,UAAqC;iBAClD;gBACD,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE;SACpB;KACF,CAAC;IACF,sBAAsB,CAAC,MAAM,CAAC,CAAC;IAC/B,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,UAAU,CAAC,IAAY;IAC3C,MAAM,IAAI,GAAG,sBAAsB,CAAC;IACpC,IAAI,CAAC,MAAM,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;IAC3G,OAAO,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAY,CAAC,CAAC;AACxE,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,KAAc;IAChD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC;IAC/C,IAAI,CAAC,KAAK,EAAE;QACV,eAAe,EAAE,gBAAgB,EAAE,UAAU,EAAE,gBAAgB,EAAE,YAAY,EAAE,cAAc,EAAE,WAAW,EAAE,QAAQ;QACpH,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,aAAa,EAAE,kBAAkB;KACjE,EAAE,iBAAiB,CAAC,CAAC;IACtB,IAAI,KAAK,CAAC,aAAa,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;IACzG,MAAM,MAAM,GAAG,WAAW,CAAC;QACzB,aAAa,EAAE,CAAC;QAChB,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,GAAG,EAAE,KAAK,CAAC,GAAG;QACd,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,QAAQ,EAAE,KAAK,CAAC,QAAQ;KACzB,CAAC,CAAC;IACH,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,cAAc,EAAE,MAAM,CAAC,cAAc;QACrC,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,cAAc,EAAE,MAAM,CAAC,cAAc;QACrC,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,YAAY,EAAE,MAAM,CAAC,YAAY;QACjC,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,kBAAkB,EAAE,MAAM,CAAC,MAAM,CAAC,kBAAkB,EAAE;QAC9F,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,GAAG,EAAE,MAAM,CAAC,GAAG;QACf,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,gBAAgB,EAAE,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,gBAAgB,EAAE,EAAE,CAAC,EAAE,kBAAkB,CAAC;KACpF,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,IAAY;IACnD,MAAM,IAAI,GAAG,+BAA+B,CAAC;IAC7C,OAAO,MAAM,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACrC,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAY,CAAC;QACxE,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,MAAc,EAAE,QAAwB,EAAE,UAA2B,IAAI;IACzG,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,WAAW,GAAmC,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;IAC1G,IAAI,WAAW,CAAC,MAAM,CAAC,cAAc,CAAC,GAAG,WAAW,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC;QAC9E,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,wBAAwB,EAAE,2CAA2C,QAAQ,CAAC,cAAc,GAAG,CAAC,CAAC,CAAC;IAC3H,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,cAAc,EAAE,CAAC;QAC5C,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,uBAAuB,EAAE,kBAAkB,KAAK,yCAAyC,CAAC,CAAC,CAAC;IACjK,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAmC,EAAE,CAAC;QACrF,IAAI,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,kBAAkB,EAAE,cAAc,GAAG,uCAAuC,CAAC,CAAC,CAAC;IAC/J,CAAC;IACD,IAAI,QAAQ,CAAC,YAAY,CAAC,YAAY,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,YAAY;QAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,eAAe,EAAE,0DAA0D,CAAC,CAAC,CAAC;IAClL,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC;QAC/C,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YACvG,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,qBAAqB,EAAE,qBAAqB,IAAI,CAAC,IAAI,oDAAoD,CAAC,CAAC,CAAC;QACrI,CAAC;IACH,CAAC;IACD,IAAI,QAAQ,CAAC,SAAS,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC/E,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,wBAAwB,EAAE,qFAAqF,CAAC,CAAC,CAAC;IAC3I,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,CAAC,kBAAkB,GAAG,QAAQ,CAAC,MAAM,CAAC,kBAAkB,EAAE,CAAC;QAC1E,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,wBAAwB,EAAE,gEAAgE,CAAC,CAAC,CAAC;IACtH,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;QACzF,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,sBAAsB,EAAE,6BAA6B,QAAQ,CAAC,MAAM,CAAC,MAAM,uCAAuC,CAAC,CAAC,CAAC;IAC9I,CAAC;IACD,IAAI,QAAQ,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7E,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,sBAAsB,EAAE,oFAAoF,CAAC,CAAC,CAAC;IACxI,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,QAAQ,CAAC,GAAG,CAAC,oBAAoB,EAAE,CAAC;QACxD,MAAM,eAAe,GAAG,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;QAC1F,MAAM,iBAAiB,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;QAC1F,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,oBAAoB,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,iBAAiB,EAAE,CAAC;YAC7E,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,sBAAsB,EAAE,6BAA6B,OAAO,yCAAyC,CAAC,CAAC,CAAC;QACjI,CAAC;aAAM,IAAI,eAAe,IAAI,IAAI,CAAC,SAAS,CAAC,iBAAiB,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,eAAe,CAAC,EAAE,CAAC;YACpG,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,sBAAsB,EAAE,6BAA6B,OAAO,gDAAgD,CAAC,CAAC,CAAC;QACxI,CAAC;IACH,CAAC;IACD,IAAI,QAAQ,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACxC,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,sBAAsB,EAAE,oFAAoF,CAAC,CAAC,CAAC;QACxI,CAAC;QACD,IAAI,QAAQ,CAAC,QAAQ,CAAC,iBAAiB;eAClC,MAAM,CAAC,QAAQ,CAAC,iBAAiB,EAAE,WAAW,EAAE,KAAK,QAAQ,CAAC,QAAQ,CAAC,iBAAiB,CAAC,WAAW,EAAE,EAAE,CAAC;YAC5G,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,yBAAyB,EAAE,+EAA+E,CAAC,CAAC,CAAC;QACtI,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,aAAa,IAAI,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,aAAa,IAAI,IAAI,CAAC,EAAE,CAAC;YACxF,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,yBAAyB,EAAE,6DAA6D,CAAC,CAAC,CAAC;QACpH,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,oBAAoB,IAAI,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,oBAAoB,IAAI,EAAE,CAAC,EAAE,CAAC;YAClG,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,6BAA6B,EAAE,oEAAoE,CAAC,CAAC,CAAC;QAC/H,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,cAAc,IAAI,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,cAAc,IAAI,IAAI,CAAC,EAAE,CAAC;YAC1F,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,4BAA4B,EAAE,8DAA8D,CAAC,CAAC,CAAC;QACxH,CAAC;IACH,CAAC;IACD,IAAI,QAAQ,CAAC,WAAW,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QAChD,IAAI,MAAM,CAAC,WAAW,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAC9C,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,yBAAyB,EAAE,4FAA4F,CAAC,CAAC,CAAC;QACnJ,CAAC;QACD,IAAI,QAAQ,CAAC,WAAW,CAAC,UAAU,IAAI,MAAM,CAAC,WAAW,CAAC,UAAU,KAAK,QAAQ,CAAC,WAAW,CAAC,UAAU,EAAE,CAAC;YACzG,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,+BAA+B,EAAE,8EAA8E,CAAC,CAAC,CAAC;QAC3I,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,aAAa,IAAI,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,WAAW,CAAC,aAAa,IAAI,IAAI,CAAC,EAAE,CAAC;YAC9F,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,4BAA4B,EAAE,gEAAgE,CAAC,CAAC,CAAC;QAC1H,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,oBAAoB,IAAI,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,WAAW,CAAC,oBAAoB,IAAI,EAAE,CAAC,EAAE,CAAC;YACxG,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,gCAAgC,EAAE,uEAAuE,CAAC,CAAC,CAAC;QACrI,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,WAAW,CAAC,iBAAiB,EAAE,CAAC;YACzD,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAC3D,SAAS,CAAC,EAAE,KAAK,GAAG,CAAC,EAAE,IAAI,SAAS,CAAC,SAAS,KAAK,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;gBACpE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,wBAAwB,EAAE,2BAA2B,GAAG,CAAC,EAAE,0BAA0B,CAAC,CAAC,CAAC;YACjH,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,QAAQ,CAAC,WAAW,CAAC,UAAU,EAAE,IAAI,KAAK,QAAQ,EAAE,CAAC;QACvD,MAAM,IAAI,GAAG,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC;QAC3C,IAAI,IAAI,EAAE,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC5B,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,8BAA8B,EAAE,8DAA8D,CAAC,CAAC,CAAC;QAC1H,CAAC;QACD,IAAI,IAAI,EAAE,UAAU,KAAK,QAAQ,CAAC,WAAW,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC;YACpE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,iCAAiC,EAAE,8EAA8E,CAAC,CAAC,CAAC;QAC7I,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,CAAC,QAAQ,EAAE,UAAU,EAAE,YAAY,EAAE,UAAU,EAAE,KAAK,CAAU,EAAE,CAAC;YACnF,MAAM,QAAQ,GAAG,QAAQ,CAAC,WAAW,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;YACtD,IAAI,QAAQ,KAAK,SAAS,IAAI,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,QAAQ,EAAE,CAAC;gBACvD,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,kCAAkC,EAAE,0BAA0B,GAAG,mCAAmC,CAAC,CAAC,CAAC;YAChI,CAAC;QACH,CAAC;IACH,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,gBAAgB,EAAE,CAAC;QAC7C,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,IAAI,IAAI,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;YAClF,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,gBAAgB,EAAE,oBAAoB,IAAI,gCAAgC,CAAC,CAAC,CAAC;QACtG,CAAC;IACH,CAAC;IACD,IAAI,OAAO,EAAE,QAAQ,CAAC,+BAA+B,CAAC,EAAE,CAAC;QACvD,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,0BAA0B,EAAE,kGAAkG,CAAC,CAAC,CAAC;IAC1J,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC"}
|
|
@@ -2,6 +2,7 @@ import { createHash } from 'node:crypto';
|
|
|
2
2
|
import { lstat, mkdir, readdir, readFile, rename, unlink, writeFile } from 'node:fs/promises';
|
|
3
3
|
import { dirname, isAbsolute, relative, resolve, sep } from 'node:path';
|
|
4
4
|
const excluded = new Set(['.git', 'node_modules', 'dist', 'build', 'coverage', '.test-work', '.next', 'vendor']);
|
|
5
|
+
const pythonVirtualEnvironmentRoots = new Set(['.venv', 'venv']);
|
|
5
6
|
export function portable(path) {
|
|
6
7
|
return path.split(sep).join('/');
|
|
7
8
|
}
|
|
@@ -23,6 +24,16 @@ export async function exists(path) {
|
|
|
23
24
|
throw cause;
|
|
24
25
|
}
|
|
25
26
|
}
|
|
27
|
+
async function isRegularFile(path) {
|
|
28
|
+
try {
|
|
29
|
+
return (await lstat(path)).isFile();
|
|
30
|
+
}
|
|
31
|
+
catch (cause) {
|
|
32
|
+
if (cause.code === 'ENOENT')
|
|
33
|
+
return false;
|
|
34
|
+
throw cause;
|
|
35
|
+
}
|
|
36
|
+
}
|
|
26
37
|
export async function safePath(root, path) {
|
|
27
38
|
const absolute = within(root, path);
|
|
28
39
|
let cursor = resolve(root);
|
|
@@ -45,13 +56,20 @@ export async function files(root) {
|
|
|
45
56
|
const result = [];
|
|
46
57
|
async function walk(directory) {
|
|
47
58
|
const entries = await readdir(directory, { withFileTypes: true });
|
|
59
|
+
const hasCargoOrMavenManifest = entries.some((entry) => entry.isFile() && (entry.name === 'Cargo.toml' || entry.name === 'pom.xml'));
|
|
48
60
|
for (const entry of entries.sort((a, b) => a.name.localeCompare(b.name))) {
|
|
49
61
|
if (entry.isSymbolicLink())
|
|
50
62
|
continue;
|
|
51
63
|
const absolute = resolve(directory, entry.name);
|
|
52
64
|
const path = portable(relative(root, absolute));
|
|
53
65
|
if (entry.isDirectory()) {
|
|
54
|
-
|
|
66
|
+
const isPythonVirtualEnvironment = pythonVirtualEnvironmentRoots.has(entry.name)
|
|
67
|
+
&& await isRegularFile(resolve(absolute, 'pyvenv.cfg'));
|
|
68
|
+
if (!excluded.has(entry.name)
|
|
69
|
+
&& !(entry.name === 'target' && hasCargoOrMavenManifest)
|
|
70
|
+
&& !isPythonVirtualEnvironment
|
|
71
|
+
&& path !== '.musubix/cache'
|
|
72
|
+
&& path !== '.musubix/evidence')
|
|
55
73
|
await walk(absolute);
|
|
56
74
|
}
|
|
57
75
|
else if (entry.isFile()) {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"files.js","sourceRoot":"","sources":["../../../../packages/analysis/src/files.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC9F,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAExE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,cAAc,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;
|
|
1
|
+
{"version":3,"file":"files.js","sourceRoot":"","sources":["../../../../packages/analysis/src/files.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC9F,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAExE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,cAAc,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;AACjH,MAAM,6BAA6B,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;AAEjE,MAAM,UAAU,QAAQ,CAAC,IAAY;IACnC,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACnC,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,IAAY,EAAE,IAAY;IAC/C,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACrC,MAAM,GAAG,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,CAAC;IAC9C,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,CAAC,UAAU,CAAC,KAAK,GAAG,EAAE,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,IAAI,EAAE,CAAC,CAAC;IACzH,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,MAAM,CAAC,IAAY;IACvC,IAAI,CAAC;QACH,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC;QAClB,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QACrE,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC;AAED,KAAK,UAAU,aAAa,CAAC,IAAY;IACvC,IAAI,CAAC;QACH,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IACtC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QACrE,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,QAAQ,CAAC,IAAY,EAAE,IAAY;IACvD,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACpC,IAAI,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC3B,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACvE,KAAK,MAAM,IAAI,IAAI,CAAC,EAAE,EAAE,GAAG,QAAQ,CAAC,EAAE,CAAC;QACrC,IAAI,IAAI;YAAE,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACzC,IAAI,CAAC;YACH,IAAI,CAAC,MAAM,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,cAAc,EAAE;gBAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,MAAM,EAAE,CAAC,CAAC;QACnG,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ;gBAAE,MAAM,KAAK,CAAC;QACtE,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,KAAK,CAAC,IAAY;IACtC,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,UAAU,IAAI,CAAC,SAAiB;QACnC,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,SAAS,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;QAClE,MAAM,uBAAuB,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CACrD,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,YAAY,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC;QAC/E,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YACzE,IAAI,KAAK,CAAC,cAAc,EAAE;gBAAE,SAAS;YACrC,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YAChD,MAAM,IAAI,GAAG,QAAQ,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;YAChD,IAAI,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC;gBACxB,MAAM,0BAA0B,GAAG,6BAA6B,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;uBAC3E,MAAM,aAAa,CAAC,OAAO,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;gBAC1D,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;uBACxB,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,uBAAuB,CAAC;uBACrD,CAAC,0BAA0B;uBAC3B,IAAI,KAAK,gBAAgB;uBACzB,IAAI,KAAK,mBAAmB;oBAAE,MAAM,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC1D,CAAC;iBAAM,IAAI,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;gBAC1B,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACpB,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1B,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,QAAQ,CAAC,IAAY,EAAE,IAAY;IACvD,OAAO,QAAQ,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;AACtD,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,IAAY,EAAE,IAAY,EAAE,IAAY;IACtE,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC1C,MAAM,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAClD,gFAAgF;IAChF,MAAM,OAAO,GAAG,GAAG,MAAM,IAAI,OAAO,CAAC,GAAG,IAAI,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC;IAC1E,IAAI,CAAC;QACH,MAAM,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;QAC/C,MAAM,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAChC,CAAC;YAAS,CAAC;QACT,IAAI,MAAM,MAAM,CAAC,OAAO,CAAC;YAAE,MAAM,MAAM,CAAC,OAAO,CAAC,CAAC;IACnD,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,IAAY,EAAE,IAAY,EAAE,KAAc;IACxE,MAAM,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;AACrE,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,OAA4B;IACjD,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC5D,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,IAAY;IACnC,OAAO,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACzE,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,OAAO,oFAAoF,CAAC,IAAI,CAAC,IAAI,CAAC;WACjG,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACnC,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,OAAO,2DAA2D,CAAC,IAAI,CAAC,IAAI,CAAC;QAC3E,qCAAqC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACrD,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,QAAQ,CAAC,IAAY,EAAE,KAAe;IAC1D,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,QAAQ,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAU,CAAC,CAAC,CAAC;IAClI,OAAO,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;AACrC,CAAC"}
|
|
@@ -58,9 +58,11 @@ export interface SolverDoctorEntry {
|
|
|
58
58
|
name: 'z3' | 'lean';
|
|
59
59
|
available: boolean;
|
|
60
60
|
command: string;
|
|
61
|
+
attemptedCommands: string[];
|
|
61
62
|
version: string;
|
|
62
63
|
status: 'available' | 'missing' | 'timeout' | 'error';
|
|
63
64
|
output: string;
|
|
65
|
+
recommendation: string;
|
|
64
66
|
}
|
|
65
67
|
export interface SolverDoctorResult {
|
|
66
68
|
available: boolean;
|
|
@@ -408,12 +408,14 @@ async function probe(invocation, root, timeoutMs, runner) {
|
|
|
408
408
|
}
|
|
409
409
|
async function findSolver(name, root, timeoutMs, options, runner) {
|
|
410
410
|
let last = { status: 'missing', exitCode: null, stdout: '', stderr: '', durationMs: 0 };
|
|
411
|
+
const attempts = [];
|
|
411
412
|
for (const invocation of commandFor(name, options)) {
|
|
413
|
+
attempts.push(invocation);
|
|
412
414
|
last = await probe(invocation, root, timeoutMs, runner);
|
|
413
415
|
if (last.status !== 'missing')
|
|
414
|
-
return { invocation, probe: last };
|
|
416
|
+
return { invocation, probe: last, attempts };
|
|
415
417
|
}
|
|
416
|
-
return { probe: last };
|
|
418
|
+
return { probe: last, attempts };
|
|
417
419
|
}
|
|
418
420
|
function probeStatus(result) {
|
|
419
421
|
if (result.status === 'missing')
|
|
@@ -436,9 +438,19 @@ export async function formalDoctor(root, options = {}, runner = runProcess) {
|
|
|
436
438
|
name,
|
|
437
439
|
available: status === 'available',
|
|
438
440
|
command: [invocation.command, ...invocation.prefixArgs].join(' '),
|
|
441
|
+
attemptedCommands: found.attempts.map((attempt) => [attempt.command, ...attempt.prefixArgs].join(' ')),
|
|
439
442
|
version: status === 'available' ? output.split(/\r?\n/, 1)[0] ?? '' : '',
|
|
440
443
|
status,
|
|
441
444
|
output,
|
|
445
|
+
recommendation: status === 'available'
|
|
446
|
+
? 'Ready.'
|
|
447
|
+
: status === 'missing'
|
|
448
|
+
? name === 'z3'
|
|
449
|
+
? 'Install Z3 or configure --z3-command / MUSUBIX3_Z3.'
|
|
450
|
+
: 'Install Lean with elan and ensure lean or lake is available, or configure --lean-command / MUSUBIX3_LEAN.'
|
|
451
|
+
: status === 'timeout'
|
|
452
|
+
? `Increase --timeout or verify that ${name} starts without interactive prompts.`
|
|
453
|
+
: `Run the reported command directly and inspect its nonzero output before retrying ${name}.`,
|
|
442
454
|
});
|
|
443
455
|
}
|
|
444
456
|
return { available: solvers.some((entry) => entry.available), solvers };
|