@behavproof/cli 0.0.0-stage → 0.1.0

package/README.md

@@ -1,3 +1,15 @@
-# Temporary Holding Version
+# @behavproof/cli
 
-This version is a temporary placeholder for this package. An operational version to replace this has been submitted for review and is awaiting a staged release.
+BehavProof 0.1.0 initial public preview distribution. Requires Node.js 24.x.
+
+After publication, install from the public npm registry:
+
+```sh
+npm install --ignore-scripts @behavproof/cli@0.1.0
+```
+
+See the [Japanese deployment guide](https://github.com/kanoi-y/BehavProof/blob/main/docs/protected-github-deployment.ja.md) and [security boundaries](https://github.com/kanoi-y/BehavProof/blob/main/docs/security.md).
+
+Passing evidence applies only to its authenticated source, approved obligations and bounded execution scope. Execute candidate tests and optional model Drivers only in credential-free isolated workers. Keep publishing credentials in a separate trusted host.
+
+No open-source license is granted (UNLICENSED). Source is public; npm packages will be public after publication. The next dist-tag identifies the preview channel; it does not restrict access.

package/dist/api.d.ts

@@ -0,0 +1,6 @@
+export { check } from './check.js';
+export { TrustRootSchema, loadTrust } from './trust.js';
+export { registry, writeScoped } from './project.js';
+export { RegistrationSchema, createRegistration, persistRegistration, loadRegistration, registrationProjectData } from './registration.js';
+export type { Registration, RegistrationAuthority, VerifiedRegistration } from './registration.js';
+//# sourceMappingURL=api.d.ts.map

package/dist/api.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"api.d.ts","sourceRoot":"","sources":["../src/api.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,OAAO,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACxD,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AACrD,OAAO,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,uBAAuB,EAAE,MAAM,mBAAmB,CAAC;AAC3I,YAAY,EAAE,YAAY,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAC"}

package/dist/api.js

@@ -0,0 +1,5 @@
+export { check } from './check.js';
+export { TrustRootSchema, loadTrust } from './trust.js';
+export { registry, writeScoped } from './project.js';
+export { RegistrationSchema, createRegistration, persistRegistration, loadRegistration, registrationProjectData } from './registration.js';
+//# sourceMappingURL=api.js.map

package/dist/api.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"api.js","sourceRoot":"","sources":["../src/api.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,OAAO,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACxD,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AACrD,OAAO,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,uBAAuB,EAAE,MAAM,mBAAmB,CAAC"}

package/dist/check.d.ts

@@ -0,0 +1,272 @@
+import { type PolicyDiff } from './report.js';
+import { type EvidenceStatus, type Approval } from '@behavproof/core';
+import { type ExecutionRow, type ReportBinding } from '@behavproof/contract-registry';
+export type CheckOptions = {
+    config?: string;
+    profile?: string;
+    mode?: string;
+    base?: string;
+    head?: string;
+    'trust-root'?: string;
+};
+export declare function check(root: string, options: CheckOptions): Promise<{
+    assurance: {
+        model_conformance_observed: "unknown" | "pass" | "fail" | "not_applicable";
+        production_target_observed: "unknown" | "pass" | "fail" | "not_applicable";
+        mutation_sensitivity_observed: "unknown" | "pass" | "fail" | "not_applicable";
+        contract_declared: "pass" | "unknown";
+        binding_verified: "pass" | "unknown";
+        cases_executed: "pass" | "fail" | "unknown";
+    };
+    drift: import("@behavproof/contract-registry").Change[];
+    approvals: {
+        schemaVersion: 1;
+        id: string;
+        target: {
+            kind: "intent" | "contract" | "policy" | "registry";
+            id: string;
+            contentHash: string;
+        };
+        status: "unknown" | "pass" | "fail" | "not_applicable";
+        source: {
+            provider: string;
+            ref: string;
+        };
+        approvedBy: string[];
+        reasons: string[];
+        subjectCommitSha?: string | undefined;
+    }[];
+    formal?: {
+        models: {
+            modelId: string;
+            contractId: string;
+            risk: "basic" | "standard" | "critical";
+            model: {
+                status: "unknown" | "pass" | "fail";
+                reasons: string[];
+                scope: {
+                    modelId: string;
+                    model: string;
+                    contractId: string;
+                    properties: string[];
+                    maxSteps: number;
+                    maxSamples: number;
+                    seed: string;
+                    unbounded: false;
+                };
+                stages: {
+                    stage: "parse" | "typecheck" | "test" | "run" | "verify";
+                    status: "unknown" | "pass" | "fail";
+                    complete: boolean;
+                    exitCode: number | null;
+                    toolVersion: string;
+                    backend: "quint" | "typescript" | "rust" | "apalache" | "tlc";
+                    method: "parse" | "typecheck" | "spec_test" | "simulation" | "bounded_model_check" | "finite_state_check";
+                    properties: string[];
+                    diagnostics: string[];
+                    maxSteps?: number | undefined;
+                    maxSamples?: number | undefined;
+                    seed?: string | undefined;
+                    traceSeed?: string | undefined;
+                    backendVersion?: string | undefined;
+                    stdoutHash?: string | undefined;
+                    stderrHash?: string | undefined;
+                    artifacts?: {
+                        ref: string;
+                        sha256: string;
+                    }[] | undefined;
+                }[];
+            };
+            conformance: {
+                status: "unknown" | "pass" | "fail";
+                reasons: string[];
+                scope: {
+                    modelId: string;
+                    model: string;
+                    contractId: string;
+                    properties: string[];
+                    maxSteps: number;
+                    maxSamples: number;
+                    seed: string;
+                    unbounded: false;
+                };
+                counts: {
+                    replayedTraces: number;
+                    replayedSteps: number;
+                    comparedSteps: number;
+                    implementationCalls: number;
+                    actions: Record<string, number>;
+                };
+            };
+            binding: {
+                status: "unknown" | "pass";
+                reasons: string[];
+            };
+        }[];
+        policyChanged: boolean;
+    };
+    authoritySnapshots: {
+        trustRootHash: string | null;
+        policyHash: string | null;
+        baselineHash: string | null;
+        approvals: {
+            target: Approval["target"];
+            observation: import("@behavproof/adapter-github").Observation;
+        }[];
+        producers: {
+            manifestRef: string;
+            observation: import("@behavproof/adapter-github").Observation;
+        }[];
+        pipeline: {
+            upstream?: import("@behavproof/adapter-github").Observation;
+            protection?: import("@behavproof/adapter-github").Observation;
+        };
+    };
+    qualityScope: {
+        patterns: string[] | null;
+        excludedPaths: string[];
+    };
+    detection: {
+        support: "single-package" | "monorepo" | "unsupported";
+        evidence: string[];
+        reasons: string[];
+    };
+    effectivePolicyHash: string;
+    pipelineObservation: {
+        status: EvidenceStatus;
+        jobs: {};
+        artifacts: string[];
+        observations: {
+            upstream?: import("@behavproof/adapter-github").Observation;
+            protection?: import("@behavproof/adapter-github").Observation;
+        };
+        workflow?: never;
+    } | {
+        status: "unknown" | "pass" | "fail" | "not_applicable";
+        jobs: Record<string, string>;
+        artifacts: string[];
+        observations: {
+            upstream?: import("@behavproof/adapter-github").Observation;
+            protection?: import("@behavproof/adapter-github").Observation;
+        };
+        workflow: {
+            ref: string;
+            sha256: string;
+            sourceStatus: string;
+            diagnosis: {
+                internal: import("@behavproof/adapter-github").Observation<unknown>;
+                protection: import("@behavproof/adapter-github").Observation<unknown>;
+            };
+        };
+    } | null;
+    provenance: {
+        manifests: {
+            ref: string;
+            validation: import("@behavproof/core").ManifestValidation;
+        }[];
+        reasons: string[];
+    };
+    protectedPolicySha?: string;
+    documentEvidence: {
+        registry: {
+            contracts: {
+                id: string;
+                kind: "external" | "examples" | "invariant" | "state_machine" | "api_contract";
+                intentIds: string[];
+                revisionHash: string;
+                sourceRef: string;
+                formal?: {
+                    modelId: string;
+                    modelHash: string;
+                    propertyIds: string[];
+                    driverHash?: string | undefined;
+                } | undefined;
+                caseIds?: string[] | undefined;
+                risk?: "basic" | "standard" | "critical" | undefined;
+                cases?: {
+                    id: string;
+                    input: import("zod").JSONType;
+                    expected: import("zod").JSONType;
+                    negative?: boolean | undefined;
+                }[] | undefined;
+            }[];
+            intents: {
+                id: string;
+                statement: string;
+                risk: "basic" | "standard" | "critical";
+                contentHash: string;
+                origin: {
+                    kind: "external" | "inline" | "manifest";
+                    ref: string;
+                };
+            }[];
+            schemaVersion: 1;
+            commitSha: string;
+            repositoryId?: string | undefined;
+            policyHash?: string | undefined;
+            extractorVersion?: string | undefined;
+            scope?: string[] | undefined;
+            discoveryDiagnostics?: {
+                code: string;
+                sourceRef: string;
+                message: string;
+            }[] | undefined;
+        };
+        rows: (ExecutionRow & ReportBinding)[];
+        bindings: Record<string, string>;
+        authenticatedRows: string[];
+        authenticatedApprovals: string[];
+    };
+    subject: {
+        testedCommitSha: string;
+        sourceTreeHash: string;
+        dirty: boolean;
+        repositoryId?: string | undefined;
+        prHeadSha?: string | undefined;
+        testedCommitParents?: string[] | undefined;
+        baseSha?: string | undefined;
+        diffBaseSha?: string | undefined;
+    };
+    diff: import("@behavproof/adapter-reports").GitDiff;
+    impact: {
+        status: "unknown" | "pass";
+        unknown: string[];
+        scope: string[];
+        message: string;
+        affectedFiles: string[];
+        contractIds: string[];
+        calls: {
+            file: string;
+            callee: string;
+        }[];
+    };
+    policyDiff: PolicyDiff | null;
+    policySource: {
+        repository: string;
+        commitSha: string;
+        ref: string;
+        fileHash: string;
+        policyHash: string;
+    } | null;
+    schemaVersion: 1;
+    mode: "audit" | "gate";
+    status: "pass" | "fail" | "incomplete";
+    exitCode: 0 | 1 | 2;
+    mandatoryCount: number;
+    evaluations: {
+        ruleId: string;
+        severity: "error" | "off" | "warn";
+        status: "unknown" | "pass" | "fail" | "not_applicable";
+        evidenceIds: string[];
+        scope: string[];
+        message: string;
+        remediation?: string | undefined;
+        notApplicable?: {
+            reason: string;
+            allowedReasons: string[];
+            evidenceIds: string[];
+        } | undefined;
+    }[];
+    reasons: string[];
+}>;
+//# sourceMappingURL=check.d.ts.map

package/dist/check.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../src/check.ts"],"names":[],"mappings":"AAGA,OAAO,EAAgB,KAAK,UAAU,EAAC,MAAM,aAAa,CAAC;AAE3D,OAAO,EAA0H,KAAK,cAAc,EAAE,KAAK,QAAQ,EAA+B,MAAM,kBAAkB,CAAC;AAE3N,OAAO,EAAyE,KAAK,YAAY,EAAE,KAAK,aAAa,EAAE,MAAM,+BAA+B,CAAC;AAI7J,MAAM,MAAM,YAAY,GAAC;IAAC,MAAM,CAAC,EAAC,MAAM,CAAC;IAAA,OAAO,CAAC,EAAC,MAAM,CAAC;IAAA,IAAI,CAAC,EAAC,MAAM,CAAC;IAAA,IAAI,CAAC,EAAC,MAAM,CAAC;IAAA,IAAI,CAAC,EAAC,MAAM,CAAC;IAAA,YAAY,CAAC,EAAC,MAAM,CAAA;CAAC,CAAC;AAEtH,wBAAsB,KAAK,CAAC,IAAI,EAAC,MAAM,EAAC,OAAO,EAAC,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4BAgGgD,CAAC;8BAAwC,CAAC;wBAAkC,CAAC;6BAAuC,CAAC;kCAA4C,CAAC;8BAAwC,CAAC;8BACpS,CAAC;6BAAuC,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;oBA7E2B,QAAQ,CAAC,QAAQ,CAAC;yBAAa,OAAO,4BAA4B,EAAE,WAAW;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8BAtB5E,CAAC;;;;;;;;4BAG/B,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+H5D"}

package/dist/check.js

@@ -0,0 +1,220 @@
+import { formalEvaluations } from './formal-evaluation.js';
+import { scopedEvaluations } from './scopes.js';
+import { currentImpact, impactSeverity, impactRemediation } from './impact.js';
+import { remediationFor } from './report.js';
+import { pipelineEvaluation } from './pipeline.js';
+import { safeRead, safeReadJson, parseConfig, hashBytes, mergeProtectedPolicy, evaluateGate, hash, resolveRisk, EvidenceSchema } from '@behavproof/core';
+import { detectProject, gitDiff, gitSubject, normalizeVitest, normalizeLcov, normalizeStryker, evaluateCoverage, evaluateMutation, lineMapping, verifyMergeSubject } from '@behavproof/adapter-reports';
+import { reconcile, evaluateAssurance, bindRegistrations, evaluateScopedClaims } from '@behavproof/contract-registry';
+import { GitHubAuthority } from '@behavproof/adapter-github';
+import { fileList, select, registry, registryAtGit, ref, exists } from './project.js';
+import { authenticate, selectedRunner, isCurrentClaim, loadTrust, approvalKey } from './trust.js';
+const worst = (states) => states.includes('fail') ? 'fail' : states.length && states.every(x => x === 'pass') ? 'pass' : 'unknown';
+export async function check(root, options) {
+    const configPath = options.config ?? 'behavproof.config.json', configBytes = await exists(root, configPath) ? await safeRead(root, configPath) : undefined;
+    const rawConfig = configBytes ? JSON.parse(new TextDecoder('utf-8', { fatal: true }).decode(configBytes)) : { schemaVersion: 1 };
+    const cfg = parseConfig({ ...rawConfig, ...(options.profile ? { profile: options.profile } : {}) }), mode = options.mode ?? cfg.mode;
+    if (mode !== 'gate' && mode !== 'audit')
+        throw Error('Invalid mode');
+    if (mode === 'gate' && !options['trust-root'])
+        throw Error('Gate mode requires --trust-root outside project authority');
+    const trust = options['trust-root'] ? await loadTrust(root, options['trust-root']) : undefined;
+    const policy = trust ? mergeProtectedPolicy({ schemaVersion: 1, profileVersion: '1', rules: cfg.rules }, trust.policy) : { schemaVersion: 1, profileVersion: '1', rules: cfg.rules };
+    const files = await fileList(root);
+    let detection = await detectProject(root);
+    const diff = await gitDiff(root, ref(options.base ?? cfg.git.base), ref(options.head ?? 'HEAD'));
+    const inputPaths = trust ? select(files, trust.inputs) : files.filter(p => !p.startsWith('.behavproof/') && !Object.values(cfg.reports).includes(p));
+    if (!inputPaths.length)
+        throw Error('No source inputs in evaluation scope');
+    const subject = await gitSubject(root, inputPaths, diff.headSha, diff.baseSha);
+    const testedRelationship = await verifyMergeSubject(root, subject);
+    for (const path of select(files, cfg.executionManifests))
+        (await import('@behavproof/core')).ExecutionManifestSchema.parse(await safeReadJson(root, path));
+    const auth = await authenticate(root, trust, subject);
+    const runner = selectedRunner(trust, auth, cfg.reports.vitest ?? trust?.config.reports.vitest, inputPaths);
+    if (runner)
+        detection = await detectProject(root, runner);
+    const readArtifact = async (path) => auth.artifactBytes.get(path) ?? await safeRead(root, path);
+    const readArtifactJson = async (path) => JSON.parse(new TextDecoder('utf-8', { fatal: true }).decode(await readArtifact(path)));
+    const head = await registry(root, cfg, files, subject.testedCommitSha, trust?.config.contracts.sources ?? []);
+    const approvals = [], approved = new Set(), approvalObservations = [];
+    let drift = reconcile(trust?.baseline ?? { contracts: [], intents: [] }, head);
+    if (trust?.github) {
+        const targetsFor = (head, drift) => [...head.intents.map(i => ({ kind: 'intent', id: i.id, contentHash: i.contentHash })), ...head.contracts.map(c => ({ kind: 'contract', id: c.id, contentHash: c.revisionHash })), ...drift.changes.filter(c => c.contractId || c.intentId).map(c => ({ kind: c.intentId ? 'intent' : 'contract', id: (c.intentId ?? c.contractId), contentHash: c.transitionHash }))];
+        const reviewedHead = await registryAtGit(root, cfg, diff.headSha, trust.config.contracts.sources);
+        const reviewedDrift = reconcile(trust.baseline, reviewedHead);
+        const permitted = new Set((reviewedHead.discoveryDiagnostics?.length === 0 ? targetsFor(reviewedHead, reviewedDrift) : []).map(t => hash(t)));
+        const targets = targetsFor(head, drift).filter(target => permitted.has(hash(target)));
+        const unique = [...new Map(targets.map(t => [hash(t), t])).values()];
+        if (unique.length > 200)
+            throw Error('Approval target limit exceeded');
+        const g = trust.github, provider = new GitHubAuthority({ repository: g.repository, ...(process.env.GITHUB_TOKEN ? { token: process.env.GITHUB_TOKEN } : {}) });
+        for (const target of unique) {
+            const result = await provider.approval(g.pr, target, { headSha: diff.headSha, baseSha: diff.baseSha, reviewers: g.reviewers, requiredChecks: g.requiredChecks });
+            approvalObservations.push({ target, observation: result });
+            if (result.approval && result.status === 'pass') {
+                approvals.push(result.approval);
+                approved.add(approvalKey(result.approval));
+            }
+        }
+        drift = reconcile(trust.baseline, head, approvals, a => approved.has(approvalKey(a)));
+    }
+    const obligations = { ...head, contracts: drift.obligations, intents: drift.intentObligations };
+    const states = new Map();
+    const set = (id, status, message, evidenceIds = []) => states.set(id, { status, message, evidenceIds });
+    const impact = await currentImpact(root, inputPaths, files, diff.files.map(f => f.path), obligations, diff.status === 'known' && testedRelationship === 'known' && subject.testedCommitSha === diff.headSha, trust?.claimScopes ?? []);
+    states.set('changeImpact', { status: impact.status, message: impact.message, evidenceIds: [], remediation: impactRemediation });
+    const trusted = (path) => !!path && auth.verified.has(path) && auth.failures.length === 0 && detection.support === 'single-package';
+    // Parse configured artifacts even when unauthenticated so malformed input is exit2, not unknown.
+    let contractData, contractPath;
+    for (const spec of trust?.manifests ?? [])
+        for (const a of spec.expected.artifacts)
+            if (a.kind === 'contract_report' && auth.verified.has(a.ref)) {
+                if (contractData)
+                    throw Error('Multiple contract reports are ambiguous');
+                contractData = await readArtifactJson(a.ref);
+                contractPath = a.ref;
+                if (!contractData || contractData.schemaVersion !== 1 || !Array.isArray(contractData.contracts) || !Array.isArray(contractData.registrations) || !contractData.inventory)
+                    throw Error('Malformed contract report');
+            }
+    const vitestPath = cfg.reports.vitest ?? trust?.config.reports.vitest;
+    if (vitestPath && await exists(root, vitestPath)) {
+        const result = normalizeVitest(await readArtifactJson(vitestPath), contractData?.inventory);
+        set('testResult', result.status === 'fail' ? 'fail' : trusted(vitestPath) ? result.status : 'unknown', `Vitest ${JSON.stringify(result.payload)}; ${trusted(vitestPath) ? 'verified current producer' : 'producer/subject unverified'}`, [vitestPath]);
+    }
+    const qualityPaths = trust?.qualitySources ? select(files, trust.qualitySources) : undefined;
+    if (qualityPaths && (!qualityPaths.length || qualityPaths.some(path => !inputPaths.includes(path))))
+        throw Error('Protected quality sources must be present within the hashed input scope');
+    const qualityFiles = diff.files.filter(f => !qualityPaths || qualityPaths.includes(f.path));
+    const qualityScope = { patterns: trust?.qualitySources ?? null, excludedPaths: diff.files.filter(f => /\.[cm]?[jt]sx?$/.test(f.path) && qualityPaths && !qualityPaths.includes(f.path)).map(f => f.path).sort() };
+    const scope = Object.fromEntries(qualityFiles.filter(f => !f.kind.startsWith('D') && /\.[cm]?[jt]sx?$/.test(f.path)).map(f => [f.path, f.lines]));
+    const mapping = diff.status === 'known' && !diff.files.some(f => f.ambiguous) && await lineMapping(root, diff.headSha, subject.testedCommitSha, Object.keys(scope)) === 'known';
+    let normalizedCoverage, normalizedMutation;
+    const mutationSources = {};
+    const coveragePath = cfg.reports.coverage ?? trust?.config.reports.coverage;
+    if (coveragePath && await exists(root, coveragePath)) {
+        const report = normalizeLcov((await readArtifact(coveragePath)).toString('utf8'));
+        normalizedCoverage = report;
+        const result = evaluateCoverage(report, scope, policy.rules.changedLineCoverage?.min ?? 80, {}, mapping);
+        set('changedLineCoverage', trusted(coveragePath) ? result.status : 'unknown', `Changed executable line counts ${JSON.stringify(result.payload)}; score ${result.score ?? 'unknown'}`, [coveragePath]);
+    }
+    const mutationPath = cfg.reports.mutation ?? trust?.config.reports.mutation;
+    if (mutationPath && await exists(root, mutationPath)) {
+        const report = normalizeStryker(await readArtifactJson(mutationPath)), sources = {};
+        for (const path of Object.keys(scope))
+            sources[path] = (await safeRead(root, path)).toString('utf8');
+        normalizedMutation = report;
+        Object.assign(mutationSources, sources);
+        const rule = policy.rules.mutationScore, result = evaluateMutation(report, scope, rule?.min ?? 70, rule?.minMutants ?? 10, sources, mapping);
+        set('mutationScore', trusted(mutationPath) ? result.status : 'unknown', `Mutant counts ${JSON.stringify(result.payload)}; score ${result.score ?? 'unknown'}`, [mutationPath]);
+    }
+    const rows = (contractData?.contracts ?? []), registrations = (contractData?.registrations ?? []);
+    const bindings = bindRegistrations(registrations, rows, () => !!contractPath && trusted(contractPath)).bindings;
+    const assurance = evaluateAssurance(obligations, rows, bindings, () => !!contractPath && trusted(contractPath));
+    set('contractExecution', assurance.cases_executed, `Declared: ${assurance.contract_declared}; binding: ${assurance.binding_verified}; cases: ${assurance.cases_executed}`, contractPath ? [contractPath] : []);
+    const intentStatus = new Map(obligations.intents.map(i => [i.id, trust?.baseline.intents.some(b => b.id === i.id && b.contentHash === i.contentHash) || approvals.some(a => a.target.kind === 'intent' && a.target.id === i.id && a.target.contentHash === i.contentHash) ? 'pass' : 'unknown']));
+    const approvalStates = [...intentStatus.values()];
+    const unresolved = drift.changes.some(c => c.type === 'UNSUPPORTED_SEMANTIC_DIFF' || !approvals.some(a => a.target.kind === (c.intentId ? 'intent' : 'contract') && a.target.id === (c.intentId ?? c.contractId) && a.target.contentHash === c.transitionHash));
+    for (const change of drift.changes) {
+        if (!approvals.some(a => a.target.kind === (change.intentId ? 'intent' : 'contract') && a.target.id === (change.intentId ?? change.contractId) && a.target.contentHash === change.transitionHash)) {
+            if (change.intentId)
+                intentStatus.set(change.intentId, 'fail');
+            if (change.contractId)
+                for (const id of obligations.contracts.find(c => c.id === change.contractId)?.intentIds ?? [])
+                    intentStatus.set(id, 'fail');
+        }
+    }
+    set('intentApproval', !trust ? 'unknown' : unresolved ? 'fail' : worst(approvalStates), 'Intent content and transitions require independently verified human approval');
+    const formal = await formalEvaluations({ root, config: cfg, ...(trust ? { protectedConfig: trust.config, baseline: trust.baseline } : {}), registry: head, obligations, approvals, intentStatus, policy, inputs: inputPaths, trusted, readJson: readArtifactJson, readBytes: readArtifact });
+    if (formal.enabled)
+        for (const [id, state] of formal.states)
+            states.set(id, state);
+    const observations = [], canaries = [];
+    for (const spec of trust?.manifests ?? [])
+        for (const a of spec.expected.artifacts)
+            if (a.kind === 'claims' && trusted(a.ref)) {
+                const raw = await readArtifactJson(a.ref);
+                if (!Array.isArray(raw) || raw.length > 10000)
+                    throw Error('Malformed scoped claim inventory');
+                for (const item of raw) {
+                    const evidence = EvidenceSchema.parse(item);
+                    if (!isCurrentClaim(evidence, a.ref, subject, hash(policy), obligations.contracts))
+                        continue;
+                    if (evidence.kind === 'target_observation')
+                        observations.push(evidence.payload);
+                    if (evidence.kind === 'canary')
+                        canaries.push(evidence.payload);
+                }
+            }
+    const scoped = obligations.contracts.map(contract => {
+        const s = trust?.claimScopes.find(s => s.contractId === contract.id);
+        if (!s || hash([...s.caseIds].sort()) !== hash([...(contract.caseIds ?? [])].sort()))
+            return { negativeCases: 'unknown', productionTargetObserved: 'unknown', mutationSensitivityObserved: 'unknown' };
+        return evaluateScopedClaims(contract, s, observations, canaries, rows, bindings, row => rows.includes(row) ? !!contractPath && trusted(contractPath) : observations.includes(row) || canaries.includes(row));
+    });
+    const scopedClaims = new Map(obligations.contracts.map((c, i) => [c.id, scoped[i]]));
+    for (const [rule, key] of [['negativeCases', 'negative_cases'], ['productionTargetObserved', 'production_target_observed'], ['mutationSensitivityObserved', 'mutation_sensitivity_observed']])
+        set(rule, worst(scoped.map((s) => s[key] ?? s[rule] ?? 'unknown')), 'Requires case-scoped authenticated evidence; aggregate scores do not establish this claim');
+    let policyDiff = null;
+    if (trust) {
+        const sourceWeakened = trust.config.contracts.enabled && !cfg.contracts.enabled || trust.config.contracts.sources.some(s => s.include.some(p => !cfg.contracts.sources.some(c => c.type === s.type && c.include.includes(p))));
+        const weakened = sourceWeakened || formal.policyChanged || Object.entries(trust.policy.rules).some(([id, r]) => { const local = cfg.rules[id], levels = { off: 0, warn: 1, error: 2 }; return !local || levels[local.severity] < levels[r.severity] || (r.min !== undefined && (local.min ?? -1) < r.min) || (r.minMutants !== undefined && (local.minMutants ?? -1) < r.minMutants); });
+        set('policyProtection', weakened ? 'fail' : 'pass', weakened ? 'Project policy weakens protected obligations; effective evaluation retains protected thresholds' : 'Policy supplied outside project authority');
+        const configuration = [{ field: 'contracts.enabled', protected: trust.config.contracts.enabled, project: cfg.contracts.enabled, effective: trust.config.contracts.enabled || cfg.contracts.enabled }, { field: 'contracts.sources', protected: trust.config.contracts.sources, project: cfg.contracts.sources, effective: [...new Map([...trust.config.contracts.sources, ...cfg.contracts.sources].map(s => [hash(s), s])).values()] }, { field: 'riskOverrides', protected: trust.config.riskOverrides, project: cfg.riskOverrides, effective: { protectedFloors: trust.config.riskOverrides, projectRequests: cfg.riskOverrides, selection: 'Maximum project/protected/declaration risk' } }].filter(row => hash(row.protected) !== hash(row.project));
+        if (formal.policyChanged)
+            configuration.push({ field: 'formal', protected: trust.config.formal ?? null, project: cfg.formal ?? null, effective: formal.models.map(m => m.modelId) });
+        policyDiff = { weakened, configuration, rules: [...new Set([...Object.keys(trust.policy.rules), ...Object.keys(cfg.rules)])].sort().filter(id => hash(trust.policy.rules[id] ?? null) !== hash(cfg.rules[id] ?? null)).map(ruleId => ({ ruleId, protected: trust.policy.rules[ruleId] ?? null, project: cfg.rules[ruleId] ?? null, effective: policy.rules[ruleId] ?? null })) };
+    }
+    const pipelineObservation = trust?.pipeline ? await pipelineEvaluation(root, trust, auth) : undefined;
+    if (pipelineObservation)
+        set('pipelineIntegrity', pipelineObservation.status, 'Workflow health, authenticated artifacts, upstream outcomes and issuer-bound external protection evaluated separately');
+    if (auth.failures.length)
+        set('evidenceIntegrity', 'fail', auth.failures.join('; '));
+    const evaluations = Object.entries(policy.rules).map(([ruleId, rule]) => {
+        const exemption = trust?.notApplicable.find(n => n.ruleId === ruleId && states.get(ruleId)?.status !== 'fail' && rule.allowNotApplicable?.includes(n.reason) && trusted(n.evidenceRef));
+        if (exemption)
+            return { ruleId, severity: rule.severity, status: 'not_applicable', scope: [], evidenceIds: [exemption.evidenceRef], message: exemption.reason, notApplicable: { reason: exemption.reason, allowedReasons: rule.allowNotApplicable, evidenceIds: [exemption.evidenceRef] } };
+        return { ruleId, severity: rule.severity, status: states.get(ruleId)?.status ?? 'unknown', scope: [], evidenceIds: states.get(ruleId)?.evidenceIds ?? [], message: states.get(ruleId)?.message ?? 'Required evidence unavailable; collect and authenticate current evidence', ...(states.get(ruleId)?.remediation ? { remediation: states.get(ruleId).remediation } : {}) };
+    });
+    const impactRisk = resolveRisk({ profile: cfg.profile, riskOverrides: [] }, { path: 'package.json' }, trust?.config.profile), impactRow = evaluations.find(e => e.ruleId === 'changeImpact');
+    if (impactRow)
+        impactRow.severity = impactSeverity(impactRisk, policy.rules.changeImpact);
+    else
+        evaluations.push({ ruleId: 'changeImpact', severity: impactSeverity(impactRisk), status: impact.status, scope: [], evidenceIds: [], message: impact.message, remediation: impactRemediation });
+    evaluations.push(...scopedEvaluations({ config: cfg, ...(trust ? { protectedConfig: trust.config } : {}), policy, registry: obligations, files: inputPaths, states, rows, bindings, verifyRow: () => !!contractPath && trusted(contractPath), claims: scopedClaims, claimScopes: trust?.claimScopes ?? [], intentStatus, ...(normalizedCoverage ? { coverage: normalizedCoverage } : {}), ...(normalizedMutation ? { mutation: normalizedMutation } : {}), coverageTrusted: trusted(coveragePath), mutationTrusted: trusted(mutationPath), mapping, changed: scope, sources: mutationSources }));
+    for (const evaluation of evaluations) {
+        const allowed = policy.rules[evaluation.ruleId]?.allowNotApplicable;
+        const exemption = trust?.notApplicable.find(n => n.ruleId === evaluation.ruleId && allowed?.includes(n.reason) && trusted(n.evidenceRef));
+        if (exemption && evaluation.status === 'unknown') {
+            evaluation.status = 'not_applicable';
+            evaluation.evidenceIds = [exemption.evidenceRef];
+            evaluation.message = exemption.reason;
+            evaluation.notApplicable = { reason: exemption.reason, allowedReasons: allowed, evidenceIds: [exemption.evidenceRef] };
+        }
+    }
+    evaluations.push(...formal.evaluations);
+    if (auth.failures.length)
+        evaluations.push({ ruleId: 'evidenceIntegrity', severity: 'error', status: 'fail', scope: [], evidenceIds: [], message: auth.failures.join('; ') });
+    if (testedRelationship !== 'known')
+        evaluations.push({ ruleId: 'testedCommitRelationship', severity: 'error', status: 'unknown', scope: [], evidenceIds: [], message: 'Tested commit is neither PR head nor a verified base/head synthetic merge' });
+    if (detection.support !== 'single-package' || subject.dirty)
+        evaluations.push({ ruleId: 'evaluationEnvironment', severity: 'error', status: 'unknown', scope: [], evidenceIds: [], message: subject.dirty ? 'Source inputs contain uncommitted or untracked changes' : detection.reasons.join('; ') });
+    const finalFiles = await fileList(root), finalPaths = trust ? select(finalFiles, trust.inputs) : finalFiles.filter(p => !p.startsWith('.behavproof/') && !Object.values(cfg.reports).includes(p));
+    const finalSubject = await gitSubject(root, finalPaths, diff.headSha, diff.baseSha);
+    let configsChanged = false;
+    for (const [path, digest] of Object.entries(auth.configHashes))
+        if (hashBytes(await safeRead(root, path)) !== digest)
+            configsChanged = true;
+    if (trust?.dependencyLockPath && hashBytes(await safeRead(root, trust.dependencyLockPath)) !== auth.dependencyLockHash)
+        configsChanged = true;
+    const finalConfig = await exists(root, configPath) ? await safeRead(root, configPath) : undefined;
+    const qualityChanged = !!qualityPaths && hash(select(finalFiles, trust.qualitySources)) !== hash(qualityPaths);
+    if (qualityChanged || configsChanged || hash(finalSubject) !== hash(subject) || (configBytes ? hashBytes(configBytes) : null) !== (finalConfig ? hashBytes(finalConfig) : null))
+        evaluations.push({ ruleId: 'evaluationSnapshot', severity: 'error', status: 'fail', scope: [], evidenceIds: [], message: 'Source, configuration or HEAD changed during evaluation' });
+    for (const e of evaluations)
+        if (e.status === 'fail' || e.status === 'unknown')
+            e.remediation = remediationFor(e);
+    const stable = !evaluations.some(e => e.ruleId === 'evaluationSnapshot' || e.ruleId === 'testedCommitRelationship') && !subject.dirty;
+    return { ...evaluateGate(evaluations, mode), documentEvidence: { registry: obligations, rows, bindings, authenticatedRows: stable && contractPath && trusted(contractPath) ? rows.map(row => hash(row)) : [], authenticatedApprovals: stable ? [...approved].sort() : [] }, subject, diff, impact, policyDiff, policySource: trust?.policySource ?? null, ...(trust?.policySource ? { protectedPolicySha: trust.policySource.commitSha } : {}), authoritySnapshots: { trustRootHash: trust ? hash(trust) : null, policyHash: trust ? hash(trust.policy) : null, baselineHash: trust ? hash(trust.baseline) : null, approvals: approvalObservations, producers: auth.observations, pipeline: pipelineObservation?.observations ?? {} }, qualityScope, detection, effectivePolicyHash: hash(policy), pipelineObservation: pipelineObservation ?? null, provenance: { manifests: auth.manifests, reasons: auth.unknowns }, ...(formal.enabled ? { formal: { models: formal.models, policyChanged: formal.policyChanged } } : {}), assurance: { ...assurance, model_conformance_observed: formal.conformanceObserved, production_target_observed: states.get('productionTargetObserved')?.status ?? 'unknown', mutation_sensitivity_observed: states.get('mutationSensitivityObserved')?.status ?? 'unknown' }, drift: drift.changes, approvals };
+}
+//# sourceMappingURL=check.js.map

package/dist/check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"check.js","sourceRoot":"","sources":["../src/check.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,iBAAiB,EAAC,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAChD,OAAO,EAAC,aAAa,EAAC,cAAc,EAAC,iBAAiB,EAAC,MAAM,aAAa,CAAC;AAC3E,OAAO,EAAC,cAAc,EAAiB,MAAM,aAAa,CAAC;AAC3D,OAAO,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,WAAW,EAAE,SAAS,EAAE,oBAAoB,EAAE,YAAY,EAAE,IAAI,EAAE,WAAW,EAAoE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAC3N,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,aAAa,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACxM,OAAO,EAAE,SAAS,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,oBAAoB,EAAyC,MAAM,+BAA+B,CAAC;AAC7J,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAC7D,OAAO,EAAU,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,aAAa,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAC9F,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,SAAS,EAAE,WAAW,EAAkB,MAAM,YAAY,CAAC;AAElH,MAAM,KAAK,GAAC,CAAC,MAAwB,EAAgB,EAAE,CAAA,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAA,CAAC,CAAA,MAAM,CAAA,CAAC,CAAA,MAAM,CAAC,MAAM,IAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAA,EAAE,CAAA,CAAC,KAAG,MAAM,CAAC,CAAA,CAAC,CAAA,MAAM,CAAA,CAAC,CAAA,SAAS,CAAC;AAClJ,MAAM,CAAC,KAAK,UAAU,KAAK,CAAC,IAAW,EAAC,OAAoB;IAC3D,MAAM,UAAU,GAAC,OAAO,CAAC,MAAM,IAAE,wBAAwB,EAAC,WAAW,GAAC,MAAM,MAAM,CAAC,IAAI,EAAC,UAAU,CAAC,CAAA,CAAC,CAAA,MAAM,QAAQ,CAAC,IAAI,EAAC,UAAU,CAAC,CAAA,CAAC,CAAA,SAAS,CAAC;IAC9I,MAAM,SAAS,GAAC,WAAW,CAAA,CAAC,CAAA,IAAI,CAAC,KAAK,CAAC,IAAI,WAAW,CAAC,OAAO,EAAC,EAAC,KAAK,EAAC,IAAI,EAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAA,CAAC,CAAA,EAAC,aAAa,EAAC,CAAC,EAAC,CAAC;IACpH,MAAM,GAAG,GAAC,WAAW,CAAC,EAAC,GAAG,SAAS,EAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAA,CAAC,CAAA,EAAC,OAAO,EAAC,OAAO,CAAC,OAAO,EAAC,CAAA,CAAC,CAAA,EAAE,CAAC,EAAC,CAAC,EAAC,IAAI,GAAC,OAAO,CAAC,IAAI,IAAE,GAAG,CAAC,IAAI,CAAC;IACpH,IAAG,IAAI,KAAG,MAAM,IAAE,IAAI,KAAG,OAAO;QAAC,MAAM,KAAK,CAAC,cAAc,CAAC,CAAC;IAC7D,IAAG,IAAI,KAAG,MAAM,IAAE,CAAC,OAAO,CAAC,YAAY,CAAC;QAAC,MAAM,KAAK,CAAC,2DAA2D,CAAC,CAAC;IAClH,MAAM,KAAK,GAAC,OAAO,CAAC,YAAY,CAAC,CAAA,CAAC,CAAA,MAAM,SAAS,CAAC,IAAI,EAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAA,CAAC,CAAA,SAAS,CAAC;IACxF,MAAM,MAAM,GAAC,KAAK,CAAA,CAAC,CAAA,oBAAoB,CAAC,EAAC,aAAa,EAAC,CAAC,EAAC,cAAc,EAAC,GAAG,EAAC,KAAK,EAAC,GAAG,CAAC,KAAK,EAAC,EAAC,KAAK,CAAC,MAAM,CAAC,CAAA,CAAC,CAAA,EAAC,aAAa,EAAC,CAAU,EAAC,cAAc,EAAC,GAAY,EAAC,KAAK,EAAC,GAAG,CAAC,KAAK,EAAC,CAAC;IAClL,MAAM,KAAK,GAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,CAAC;IAAA,IAAI,SAAS,GAAC,MAAM,aAAa,CAAC,IAAI,CAAC,CAAC;IACzE,MAAM,IAAI,GAAC,MAAM,OAAO,CAAC,IAAI,EAAC,GAAG,CAAC,OAAO,CAAC,IAAI,IAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAC,GAAG,CAAC,OAAO,CAAC,IAAI,IAAE,MAAM,CAAC,CAAC,CAAC;IACzF,MAAM,UAAU,GAAC,KAAK,CAAA,CAAC,CAAA,MAAM,CAAC,KAAK,EAAC,KAAK,CAAC,MAAM,CAAC,CAAA,CAAC,CAAA,KAAK,CAAC,MAAM,CAAC,CAAC,CAAA,EAAE,CAAA,CAAC,CAAC,CAAC,UAAU,CAAC,cAAc,CAAC,IAAE,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1I,IAAG,CAAC,UAAU,CAAC,MAAM;QAAC,MAAM,KAAK,CAAC,sCAAsC,CAAC,CAAC;IAC1E,MAAM,OAAO,GAAC,MAAM,UAAU,CAAC,IAAI,EAAC,UAAU,EAAC,IAAI,CAAC,OAAO,EAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC1E,MAAM,kBAAkB,GAAC,MAAM,kBAAkB,CAAC,IAAI,EAAC,OAAO,CAAC,CAAC;IAChE,KAAI,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAC,GAAG,CAAC,kBAAkB,CAAC;QAAE,CAAC,MAAM,MAAM,CAAC,kBAAkB,CAAC,CAAC,CAAC,uBAAuB,CAAC,KAAK,CAAC,MAAM,YAAY,CAAC,IAAI,EAAC,IAAI,CAAC,CAAC,CAAC;IACxJ,MAAM,IAAI,GAAC,MAAM,YAAY,CAAC,IAAI,EAAC,KAAK,EAAC,OAAO,CAAC,CAAC;IAClD,MAAM,MAAM,GAAC,cAAc,CAAC,KAAK,EAAC,IAAI,EAAC,GAAG,CAAC,OAAO,CAAC,MAAM,IAAE,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,MAAM,EAAC,UAAU,CAAC,CAAC;IAAA,IAAG,MAAM;QAAC,SAAS,GAAC,MAAM,aAAa,CAAC,IAAI,EAAC,MAAM,CAAC,CAAC;IACzJ,MAAM,YAAY,GAAC,KAAK,EAAC,IAAW,EAAC,EAAE,CAAA,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAE,MAAM,QAAQ,CAAC,IAAI,EAAC,IAAI,CAAC,CAAC;IAC/F,MAAM,gBAAgB,GAAC,KAAK,EAAC,IAAW,EAAC,EAAE,CAAA,IAAI,CAAC,KAAK,CAAC,IAAI,WAAW,CAAC,OAAO,EAAC,EAAC,KAAK,EAAC,IAAI,EAAC,CAAC,CAAC,MAAM,CAAC,MAAM,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9H,MAAM,IAAI,GAAC,MAAM,QAAQ,CAAC,IAAI,EAAC,GAAG,EAAC,KAAK,EAAC,OAAO,CAAC,eAAe,EAAC,KAAK,EAAE,MAAM,CAAC,SAAS,CAAC,OAAO,IAAE,EAAE,CAAC,CAAC;IACtG,MAAM,SAAS,GAAY,EAAE,EAAC,QAAQ,GAAC,IAAI,GAAG,EAAU,EAAC,oBAAoB,GAA4F,EAAE,CAAC;IAC5K,IAAI,KAAK,GAAC,SAAS,CAAC,KAAK,EAAE,QAAQ,IAAE,EAAC,SAAS,EAAC,EAAE,EAAC,OAAO,EAAC,EAAE,EAAC,EAAC,IAAI,CAAC,CAAC;IACrE,IAAG,KAAK,EAAE,MAAM,EAAC,CAAC;QACjB,MAAM,UAAU,GAAC,CAAC,IAAgD,EAAC,KAAkC,EAAC,EAAE,CAAA,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAA,EAAE,CAAA,CAAC,EAAC,IAAI,EAAC,QAAiB,EAAC,EAAE,EAAC,CAAC,CAAC,EAAE,EAAC,WAAW,EAAC,CAAC,CAAC,WAAW,EAAC,CAAC,CAAC,EAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAA,EAAE,CAAA,CAAC,EAAC,IAAI,EAAC,UAAmB,EAAC,EAAE,EAAC,CAAC,CAAC,EAAE,EAAC,WAAW,EAAC,CAAC,CAAC,YAAY,EAAC,CAAC,CAAC,EAAC,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAA,EAAE,CAAA,CAAC,CAAC,UAAU,IAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA,EAAE,CAAA,CAAC,EAAC,IAAI,EAAC,CAAC,CAAC,QAAQ,CAAA,CAAC,CAAA,QAAiB,CAAA,CAAC,CAAA,UAAmB,EAAC,EAAE,EAAC,CAAC,CAAC,CAAC,QAAQ,IAAE,CAAC,CAAC,UAAU,CAAE,EAAC,WAAW,EAAC,CAAC,CAAC,cAAc,EAAC,CAAC,CAAC,CAAC,CAAC;QAC5c,MAAM,YAAY,GAAC,MAAM,aAAa,CAAC,IAAI,EAAC,GAAG,EAAC,IAAI,CAAC,OAAO,EAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QAC7F,MAAM,aAAa,GAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,EAAC,YAAY,CAAC,CAAC;QAC3D,MAAM,SAAS,GAAC,IAAI,GAAG,CAAC,CAAC,YAAY,CAAC,oBAAoB,EAAE,MAAM,KAAG,CAAC,CAAA,CAAC,CAAA,UAAU,CAAC,YAAY,EAAC,aAAa,CAAC,CAAA,CAAC,CAAA,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA,EAAE,CAAA,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACnI,MAAM,OAAO,GAAC,UAAU,CAAC,IAAI,EAAC,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAA,EAAE,CAAA,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACjF,MAAM,MAAM,GAAC,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAA,EAAE,CAAA,CAAC,IAAI,CAAC,CAAC,CAAC,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QAAA,IAAG,MAAM,CAAC,MAAM,GAAC,GAAG;YAAC,MAAM,KAAK,CAAC,gCAAgC,CAAC,CAAC;QACnI,MAAM,CAAC,GAAC,KAAK,CAAC,MAAM,EAAC,QAAQ,GAAC,IAAI,eAAe,CAAC,EAAC,UAAU,EAAC,CAAC,CAAC,UAAU,EAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,CAAA,CAAC,CAAA,EAAC,KAAK,EAAC,OAAO,CAAC,GAAG,CAAC,YAAY,EAAC,CAAA,CAAC,CAAA,EAAE,CAAC,EAAC,CAAC,CAAC;QAC/I,KAAI,MAAM,MAAM,IAAI,MAAM,EAAC,CAAC;YAAA,MAAM,MAAM,GAAC,MAAM,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAC,MAAM,EAAC,EAAC,OAAO,EAAC,IAAI,CAAC,OAAO,EAAC,OAAO,EAAC,IAAI,CAAC,OAAO,EAAC,SAAS,EAAC,CAAC,CAAC,SAAS,EAAC,cAAc,EAAC,CAAC,CAAC,cAAc,EAAC,CAAC,CAAC;YAAA,oBAAoB,CAAC,IAAI,CAAC,EAAC,MAAM,EAAC,WAAW,EAAC,MAAM,EAAC,CAAC,CAAC;YAAA,IAAG,MAAM,CAAC,QAAQ,IAAE,MAAM,CAAC,MAAM,KAAG,MAAM,EAAC,CAAC;gBAAA,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;gBAAA,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAA,CAAC;QAAA,CAAC;QAChW,KAAK,GAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,EAAC,IAAI,EAAC,SAAS,EAAC,CAAC,CAAA,EAAE,CAAA,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChF,CAAC;IACD,MAAM,WAAW,GAAC,EAAC,GAAG,IAAI,EAAC,SAAS,EAAC,KAAK,CAAC,WAAW,EAAC,OAAO,EAAC,KAAK,CAAC,iBAAiB,EAAC,CAAC;IACxF,MAAM,MAAM,GAAC,IAAI,GAAG,EAA0F,CAAC;IAC/G,MAAM,GAAG,GAAC,CAAC,EAAS,EAAC,MAAqB,EAAC,OAAc,EAAC,cAAqB,EAAE,EAAC,EAAE,CAAA,MAAM,CAAC,GAAG,CAAC,EAAE,EAAC,EAAC,MAAM,EAAC,OAAO,EAAC,WAAW,EAAC,CAAC,CAAC;IAChI,MAAM,MAAM,GAAC,MAAM,aAAa,CAAC,IAAI,EAAC,UAAU,EAAC,KAAK,EAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAA,EAAE,CAAA,CAAC,CAAC,IAAI,CAAC,EAAC,WAAW,EAAC,IAAI,CAAC,MAAM,KAAG,OAAO,IAAE,kBAAkB,KAAG,OAAO,IAAE,OAAO,CAAC,eAAe,KAAG,IAAI,CAAC,OAAO,EAAC,KAAK,EAAE,WAAW,IAAE,EAAE,CAAC,CAAC;IACjN,MAAM,CAAC,GAAG,CAAC,cAAc,EAAC,EAAC,MAAM,EAAC,MAAM,CAAC,MAAM,EAAC,OAAO,EAAC,MAAM,CAAC,OAAO,EAAC,WAAW,EAAC,EAAE,EAAC,WAAW,EAAC,iBAAiB,EAAC,CAAC,CAAC;IACtH,MAAM,OAAO,GAAC,CAAC,IAAqB,EAAC,EAAE,CAAA,CAAC,CAAC,IAAI,IAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAG,CAAC,IAAE,SAAS,CAAC,OAAO,KAAG,gBAAgB,CAAC;IACvI,iGAAiG;IACjG,IAAI,YAAgB,EAAC,YAA6B,CAAC;IACnD,KAAI,MAAM,IAAI,IAAI,KAAK,EAAE,SAAS,IAAE,EAAE;QAAC,KAAI,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,SAAS;YAAC,IAAG,CAAC,CAAC,IAAI,KAAG,iBAAiB,IAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAC,CAAC;gBACtI,IAAG,YAAY;oBAAC,MAAM,KAAK,CAAC,yCAAyC,CAAC,CAAC;gBAAA,YAAY,GAAC,MAAM,gBAAgB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;gBAAA,YAAY,GAAC,CAAC,CAAC,GAAG,CAAC;gBACrI,IAAG,CAAC,YAAY,IAAE,YAAY,CAAC,aAAa,KAAG,CAAC,IAAE,CAAC,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,SAAS,CAAC,IAAE,CAAC,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,aAAa,CAAC,IAAE,CAAC,YAAY,CAAC,SAAS;oBAAC,MAAM,KAAK,CAAC,2BAA2B,CAAC,CAAC;YACxM,CAAC;IACD,MAAM,UAAU,GAAC,GAAG,CAAC,OAAO,CAAC,MAAM,IAAE,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC;IAClE,IAAG,UAAU,IAAE,MAAM,MAAM,CAAC,IAAI,EAAC,UAAU,CAAC,EAAC,CAAC;QAC7C,MAAM,MAAM,GAAC,eAAe,CAAC,MAAM,gBAAgB,CAAC,UAAU,CAAC,EAAC,YAAY,EAAE,SAAS,CAAC,CAAC;QACzF,GAAG,CAAC,YAAY,EAAC,MAAM,CAAC,MAAM,KAAG,MAAM,CAAA,CAAC,CAAA,MAAM,CAAA,CAAC,CAAA,OAAO,CAAC,UAAU,CAAC,CAAA,CAAC,CAAA,MAAM,CAAC,MAAM,CAAA,CAAC,CAAA,SAAS,EAAC,UAAU,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,OAAO,CAAC,UAAU,CAAC,CAAA,CAAC,CAAA,2BAA2B,CAAA,CAAC,CAAA,6BAA6B,EAAE,EAAC,CAAC,UAAU,CAAC,CAAC,CAAC;IACvO,CAAC;IACD,MAAM,YAAY,GAAC,KAAK,EAAE,cAAc,CAAA,CAAC,CAAA,MAAM,CAAC,KAAK,EAAC,KAAK,CAAC,cAAc,CAAC,CAAA,CAAC,CAAA,SAAS,CAAC;IACtF,IAAG,YAAY,IAAE,CAAC,CAAC,YAAY,CAAC,MAAM,IAAE,YAAY,CAAC,IAAI,CAAC,IAAI,CAAA,EAAE,CAAA,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;QAAC,MAAM,KAAK,CAAC,yEAAyE,CAAC,CAAC;IACpL,MAAM,YAAY,GAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAA,EAAE,CAAA,CAAC,YAAY,IAAE,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACtF,MAAM,YAAY,GAAC,EAAC,QAAQ,EAAC,KAAK,EAAE,cAAc,IAAE,IAAI,EAAC,aAAa,EAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAA,EAAE,CAAA,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAE,YAAY,IAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA,EAAE,CAAA,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAC,CAAC;IACjM,MAAM,KAAK,GAAC,MAAM,CAAC,WAAW,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAA,EAAE,CAAA,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAE,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA,EAAE,CAAA,CAAC,CAAC,CAAC,IAAI,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACzI,MAAM,OAAO,GAAC,IAAI,CAAC,MAAM,KAAG,OAAO,IAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAA,EAAE,CAAA,CAAC,CAAC,SAAS,CAAC,IAAE,MAAM,WAAW,CAAC,IAAI,EAAC,IAAI,CAAC,OAAO,EAAC,OAAO,CAAC,eAAe,EAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAG,OAAO,CAAC;IACjK,IAAI,kBAA6D,EAAC,kBAAgE,CAAC;IAAA,MAAM,eAAe,GAAuB,EAAE,CAAC;IAClL,MAAM,YAAY,GAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,IAAE,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC;IACxE,IAAG,YAAY,IAAE,MAAM,MAAM,CAAC,IAAI,EAAC,YAAY,CAAC,EAAC,CAAC;QACjD,MAAM,MAAM,GAAC,aAAa,CAAC,CAAC,MAAM,YAAY,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;QAChF,kBAAkB,GAAC,MAAM,CAAC;QAC1B,MAAM,MAAM,GAAC,gBAAgB,CAAC,MAAM,EAAC,KAAK,EAAC,MAAM,CAAC,KAAK,CAAC,mBAAmB,EAAE,GAAG,IAAE,EAAE,EAAC,EAAE,EAAC,OAAO,CAAC,CAAC;QACjG,GAAG,CAAC,qBAAqB,EAAC,OAAO,CAAC,YAAY,CAAC,CAAA,CAAC,CAAA,MAAM,CAAC,MAAM,CAAA,CAAC,CAAA,SAAS,EAAC,kCAAkC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,WAAW,MAAM,CAAC,KAAK,IAAE,SAAS,EAAE,EAAC,CAAC,YAAY,CAAC,CAAC,CAAC;IAC9L,CAAC;IACD,MAAM,YAAY,GAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,IAAE,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC;IACxE,IAAG,YAAY,IAAE,MAAM,MAAM,CAAC,IAAI,EAAC,YAAY,CAAC,EAAC,CAAC;QACjD,MAAM,MAAM,GAAC,gBAAgB,CAAC,MAAM,gBAAgB,CAAC,YAAY,CAAC,CAAC,EAAC,OAAO,GAAuB,EAAE,CAAC;QAAA,KAAI,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;YAAC,OAAO,CAAC,IAAI,CAAC,GAAC,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QACrM,kBAAkB,GAAC,MAAM,CAAC;QAAA,MAAM,CAAC,MAAM,CAAC,eAAe,EAAC,OAAO,CAAC,CAAC;QACjE,MAAM,IAAI,GAAC,MAAM,CAAC,KAAK,CAAC,aAAa,EAAC,MAAM,GAAC,gBAAgB,CAAC,MAAM,EAAC,KAAK,EAAC,IAAI,EAAE,GAAG,IAAE,EAAE,EAAC,IAAI,EAAE,UAAU,IAAE,EAAE,EAAC,OAAO,EAAC,OAAO,CAAC,CAAC;QAC/H,GAAG,CAAC,eAAe,EAAC,OAAO,CAAC,YAAY,CAAC,CAAA,CAAC,CAAA,MAAM,CAAC,MAAM,CAAA,CAAC,CAAA,SAAS,EAAC,iBAAiB,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,WAAW,MAAM,CAAC,KAAK,IAAE,SAAS,EAAE,EAAC,CAAC,YAAY,CAAC,CAAC,CAAC;IACvK,CAAC;IACD,MAAM,IAAI,GAAC,CAAC,YAAY,EAAE,SAAS,IAAE,EAAE,CAAmC,EAAC,aAAa,GAAC,CAAC,YAAY,EAAE,aAAa,IAAE,EAAE,CAAoB,CAAC;IAC9I,MAAM,QAAQ,GAAC,iBAAiB,CAAC,aAAa,EAAC,IAAI,EAAC,GAAE,EAAE,CAAA,CAAC,CAAC,YAAY,IAAE,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC;IACxG,MAAM,SAAS,GAAC,iBAAiB,CAAC,WAAW,EAAC,IAAI,EAAC,QAAQ,EAAC,GAAE,EAAE,CAAA,CAAC,CAAC,YAAY,IAAE,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC;IACvG,GAAG,CAAC,mBAAmB,EAAC,SAAS,CAAC,cAAc,EAAC,aAAa,SAAS,CAAC,iBAAiB,cAAc,SAAS,CAAC,gBAAgB,YAAY,SAAS,CAAC,cAAc,EAAE,EAAC,YAAY,CAAA,CAAC,CAAA,CAAC,YAAY,CAAC,CAAA,CAAC,CAAA,EAAE,CAAC,CAAC;IACxM,MAAM,YAAY,GAAC,IAAI,GAAG,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAA,EAAE,CAAA,CAAC,CAAC,CAAC,EAAE,EAAC,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAA,EAAE,CAAA,CAAC,CAAC,EAAE,KAAG,CAAC,CAAC,EAAE,IAAE,CAAC,CAAC,WAAW,KAAG,CAAC,CAAC,WAAW,CAAC,IAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAA,EAAE,CAAA,CAAC,CAAC,MAAM,CAAC,IAAI,KAAG,QAAQ,IAAE,CAAC,CAAC,MAAM,CAAC,EAAE,KAAG,CAAC,CAAC,EAAE,IAAE,CAAC,CAAC,MAAM,CAAC,WAAW,KAAG,CAAC,CAAC,WAAW,CAAC,CAAA,CAAC,CAAA,MAAM,CAAA,CAAC,CAAA,SAAS,CAAC,CAAC,CAAC,CAAC;IAAA,MAAM,cAAc,GAAC,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC;IACnT,MAAM,UAAU,GAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAA,EAAE,CAAA,CAAC,CAAC,IAAI,KAAG,2BAA2B,IAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAA,EAAE,CAAA,CAAC,CAAC,MAAM,CAAC,IAAI,KAAG,CAAC,CAAC,CAAC,QAAQ,CAAA,CAAC,CAAA,QAAQ,CAAA,CAAC,CAAA,UAAU,CAAC,IAAE,CAAC,CAAC,MAAM,CAAC,EAAE,KAAG,CAAC,CAAC,CAAC,QAAQ,IAAE,CAAC,CAAC,UAAU,CAAC,IAAE,CAAC,CAAC,MAAM,CAAC,WAAW,KAAG,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC;IACtO,KAAI,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAC,CAAC;QAAA,IAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAA,EAAE,CAAA,CAAC,CAAC,MAAM,CAAC,IAAI,KAAG,CAAC,MAAM,CAAC,QAAQ,CAAA,CAAC,CAAA,QAAQ,CAAA,CAAC,CAAA,UAAU,CAAC,IAAE,CAAC,CAAC,MAAM,CAAC,EAAE,KAAG,CAAC,MAAM,CAAC,QAAQ,IAAE,MAAM,CAAC,UAAU,CAAC,IAAE,CAAC,CAAC,MAAM,CAAC,WAAW,KAAG,MAAM,CAAC,cAAc,CAAC,EAAC,CAAC;YAAA,IAAG,MAAM,CAAC,QAAQ;gBAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAC,MAAM,CAAC,CAAC;YAAA,IAAG,MAAM,CAAC,UAAU;gBAAC,KAAI,MAAM,EAAE,IAAI,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAA,EAAE,CAAA,CAAC,CAAC,EAAE,KAAG,MAAM,CAAC,UAAU,CAAC,EAAE,SAAS,IAAE,EAAE;oBAAC,YAAY,CAAC,GAAG,CAAC,EAAE,EAAC,MAAM,CAAC,CAAC;QAAA,CAAC;IAAA,CAAC;IACzZ,GAAG,CAAC,gBAAgB,EAAC,CAAC,KAAK,CAAA,CAAC,CAAA,SAAS,CAAA,CAAC,CAAA,UAAU,CAAA,CAAC,CAAA,MAAM,CAAA,CAAC,CAAA,KAAK,CAAC,cAAc,CAAC,EAAC,8EAA8E,CAAC,CAAC;IAC9J,MAAM,MAAM,GAAC,MAAM,iBAAiB,CAAC,EAAC,IAAI,EAAC,MAAM,EAAC,GAAG,EAAC,GAAG,CAAC,KAAK,CAAA,CAAC,CAAA,EAAC,eAAe,EAAC,KAAK,CAAC,MAAM,EAAC,QAAQ,EAAC,KAAK,CAAC,QAAQ,EAAC,CAAA,CAAC,CAAA,EAAE,CAAC,EAAC,QAAQ,EAAC,IAAI,EAAC,WAAW,EAAC,SAAS,EAAC,YAAY,EAAC,MAAM,EAAC,MAAM,EAAC,UAAU,EAAC,OAAO,EAAC,QAAQ,EAAC,gBAAgB,EAAC,SAAS,EAAC,YAAY,EAAC,CAAC,CAAC;IAChQ,IAAG,MAAM,CAAC,OAAO;QAAC,KAAI,MAAM,CAAC,EAAE,EAAC,KAAK,CAAC,IAAG,MAAM,CAAC,MAAM;YAAC,MAAM,CAAC,GAAG,CAAC,EAAE,EAAC,KAAK,CAAC,CAAC;IAC5E,MAAM,YAAY,GAAO,EAAE,EAAC,QAAQ,GAAO,EAAE,CAAC;IAC9C,KAAI,MAAM,IAAI,IAAI,KAAK,EAAE,SAAS,IAAE,EAAE;QAAC,KAAI,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,SAAS;YAAC,IAAG,CAAC,CAAC,IAAI,KAAG,QAAQ,IAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,EAAC,CAAC;gBACnH,MAAM,GAAG,GAAC,MAAM,gBAAgB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;gBAAA,IAAG,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAE,GAAG,CAAC,MAAM,GAAC,KAAK;oBAAC,MAAM,KAAK,CAAC,kCAAkC,CAAC,CAAC;gBACjI,KAAI,MAAM,IAAI,IAAI,GAAG,EAAC,CAAC;oBAAA,MAAM,QAAQ,GAAC,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;oBAAA,IAAG,CAAC,cAAc,CAAC,QAAQ,EAAC,CAAC,CAAC,GAAG,EAAC,OAAO,EAAC,IAAI,CAAC,MAAM,CAAC,EAAC,WAAW,CAAC,SAAS,CAAC;wBAAC,SAAS;oBAAA,IAAG,QAAQ,CAAC,IAAI,KAAG,oBAAoB;wBAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;oBAAA,IAAG,QAAQ,CAAC,IAAI,KAAG,QAAQ;wBAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;gBAAA,CAAC;YAClS,CAAC;IACD,MAAM,MAAM,GAAC,WAAW,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAA,EAAE;QAChD,MAAM,CAAC,GAAC,KAAK,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,CAAA,EAAE,CAAA,CAAC,CAAC,UAAU,KAAG,QAAQ,CAAC,EAAE,CAAC,CAAC;QAC/D,IAAG,CAAC,CAAC,IAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,KAAG,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,IAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YAAC,OAAO,EAAC,aAAa,EAAC,SAAS,EAAC,wBAAwB,EAAC,SAAS,EAAC,2BAA2B,EAAC,SAAS,EAAC,CAAC;QACxL,OAAO,oBAAoB,CAAC,QAAQ,EAAC,CAAC,EAAC,YAAY,EAAC,QAAQ,EAAC,IAAI,EAAC,QAAQ,EAAC,GAAG,CAAA,EAAE,CAAA,IAAI,CAAC,QAAQ,CAAC,GAAU,CAAC,CAAA,CAAC,CAAA,CAAC,CAAC,YAAY,IAAE,OAAO,CAAC,YAAY,CAAC,CAAA,CAAC,CAAA,YAAY,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAE,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IACrM,CAAC,CAAC,CAAC;IACH,MAAM,YAAY,GAAC,IAAI,GAAG,CAAC,WAAW,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAC,CAAC,EAAC,EAAE,CAAA,CAAC,CAAC,CAAC,EAAE,EAAC,MAAM,CAAC,CAAC,CAA0B,CAAC,CAAC,CAAC,CAAC;IACxG,KAAI,MAAM,CAAC,IAAI,EAAC,GAAG,CAAC,IAAI,CAAC,CAAC,eAAe,EAAC,gBAAgB,CAAC,EAAC,CAAC,0BAA0B,EAAC,4BAA4B,CAAC,EAAC,CAAC,6BAA6B,EAAC,+BAA+B,CAAC,CAAU;QAAC,GAAG,CAAC,IAAI,EAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAK,EAAC,EAAE,CAAA,CAAC,CAAC,GAAG,CAAC,IAAE,CAAC,CAAC,IAAI,CAAC,IAAE,SAAS,CAAC,CAAC,EAAC,2FAA2F,CAAC,CAAC;IAC7V,IAAI,UAAU,GAAiB,IAAI,CAAC;IACpC,IAAG,KAAK,EAAC,CAAC;QACT,MAAM,cAAc,GAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,IAAE,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,IAAE,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAA,EAAE,CAAA,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAA,EAAE,CAAA,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAA,EAAE,CAAA,CAAC,CAAC,IAAI,KAAG,CAAC,CAAC,IAAI,IAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/M,MAAM,QAAQ,GAAC,cAAc,IAAE,MAAM,CAAC,aAAa,IAAE,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAC,CAAC,CAAC,EAAC,EAAE,GAAC,MAAM,KAAK,GAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,EAAC,MAAM,GAAC,EAAC,GAAG,EAAC,CAAC,EAAC,IAAI,EAAC,CAAC,EAAC,KAAK,EAAC,CAAC,EAAC,CAAC,CAAA,OAAO,CAAC,KAAK,IAAE,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAE,CAAC,CAAC,CAAC,GAAG,KAAG,SAAS,IAAE,CAAC,KAAK,CAAC,GAAG,IAAE,CAAC,CAAC,CAAC,GAAC,CAAC,CAAC,GAAG,CAAC,IAAE,CAAC,CAAC,CAAC,UAAU,KAAG,SAAS,IAAE,CAAC,KAAK,CAAC,UAAU,IAAE,CAAC,CAAC,CAAC,GAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAA,CAAC,CAAC,CAAC;QACzU,GAAG,CAAC,kBAAkB,EAAC,QAAQ,CAAA,CAAC,CAAA,MAAM,CAAA,CAAC,CAAA,MAAM,EAAC,QAAQ,CAAA,CAAC,CAAA,iGAAiG,CAAA,CAAC,CAAA,2CAA2C,CAAC,CAAC;QACtM,MAAM,aAAa,GAA6B,CAAC,EAAC,KAAK,EAAC,mBAAmB,EAAC,SAAS,EAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,EAAC,OAAO,EAAC,GAAG,CAAC,SAAS,CAAC,OAAO,EAAC,SAAS,EAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,IAAE,GAAG,CAAC,SAAS,CAAC,OAAO,EAAC,EAAC,EAAC,KAAK,EAAC,mBAAmB,EAAC,SAAS,EAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,EAAC,OAAO,EAAC,GAAG,CAAC,SAAS,CAAC,OAAO,EAAC,SAAS,EAAC,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,EAAC,GAAG,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA,EAAE,CAAA,CAAC,IAAI,CAAC,CAAC,CAAC,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAC,EAAC,EAAC,KAAK,EAAC,eAAe,EAAC,SAAS,EAAC,KAAK,CAAC,MAAM,CAAC,aAAa,EAAC,OAAO,EAAC,GAAG,CAAC,aAAa,EAAC,SAAS,EAAC,EAAC,eAAe,EAAC,KAAK,CAAC,MAAM,CAAC,aAAa,EAAC,eAAe,EAAC,GAAG,CAAC,aAAa,EAAC,SAAS,EAAC,4CAA4C,EAAC,EAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAA,EAAE,CAAA,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,KAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;QACtsB,IAAG,MAAM,CAAC,aAAa;YAAC,aAAa,CAAC,IAAI,CAAC,EAAC,KAAK,EAAC,QAAQ,EAAC,SAAS,EAAC,KAAK,CAAC,MAAM,CAAC,MAAM,IAAE,IAAI,EAAC,OAAO,EAAC,GAAG,CAAC,MAAM,IAAE,IAAI,EAAC,SAAS,EAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAA,EAAE,CAAA,CAAC,CAAC,OAAO,CAAC,EAAC,CAAC,CAAC;QACpK,UAAU,GAAC,EAAC,QAAQ,EAAC,aAAa,EAAC,KAAK,EAAC,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,EAAC,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE,CAAA,EAAE,CAAA,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,IAAE,IAAI,CAAC,KAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAE,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAA,EAAE,CAAA,CAAC,EAAC,MAAM,EAAC,SAAS,EAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,IAAE,IAAI,EAAC,OAAO,EAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,IAAE,IAAI,EAAC,SAAS,EAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,IAAE,IAAI,EAAC,CAAC,CAAC,EAAC,CAAC;IAClV,CAAC;IACD,MAAM,mBAAmB,GAAC,KAAK,EAAE,QAAQ,CAAA,CAAC,CAAA,MAAM,kBAAkB,CAAC,IAAI,EAAC,KAAK,EAAC,IAAI,CAAC,CAAA,CAAC,CAAA,SAAS,CAAC;IAC9F,IAAG,mBAAmB;QAAC,GAAG,CAAC,mBAAmB,EAAC,mBAAmB,CAAC,MAAM,EAAC,uHAAuH,CAAC,CAAC;IACnM,IAAG,IAAI,CAAC,QAAQ,CAAC,MAAM;QAAC,GAAG,CAAC,mBAAmB,EAAC,MAAM,EAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACjF,MAAM,WAAW,GAAc,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAC,IAAI,CAAC,EAAC,EAAE;QAChF,MAAM,SAAS,GAAC,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,CAAC,CAAA,EAAE,CAAA,CAAC,CAAC,MAAM,KAAG,MAAM,IAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,MAAM,KAAG,MAAM,IAAE,IAAI,CAAC,kBAAkB,EAAE,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,IAAE,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;QAC1K,IAAG,SAAS;YAAC,OAAO,EAAC,MAAM,EAAC,QAAQ,EAAC,IAAI,CAAC,QAAQ,EAAC,MAAM,EAAC,gBAAgB,EAAC,KAAK,EAAC,EAAE,EAAC,WAAW,EAAC,CAAC,SAAS,CAAC,WAAW,CAAC,EAAC,OAAO,EAAC,SAAS,CAAC,MAAM,EAAC,aAAa,EAAC,EAAC,MAAM,EAAC,SAAS,CAAC,MAAM,EAAC,cAAc,EAAC,IAAI,CAAC,kBAAmB,EAAC,WAAW,EAAC,CAAC,SAAS,CAAC,WAAW,CAAC,EAAC,EAAC,CAAC;QACtQ,OAAO,EAAC,MAAM,EAAC,QAAQ,EAAC,IAAI,CAAC,QAAQ,EAAC,MAAM,EAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,MAAM,IAAE,SAAS,EAAC,KAAK,EAAC,EAAE,EAAC,WAAW,EAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,WAAW,IAAE,EAAE,EAAC,OAAO,EAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,OAAO,IAAE,0EAA0E,EAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,WAAW,CAAA,CAAC,CAAA,EAAC,WAAW,EAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC,WAAW,EAAC,CAAA,CAAC,CAAA,EAAE,CAAE,EAAC,CAAC;IACrV,CAAC,CAAC,CAAC;IACH,MAAM,UAAU,GAAC,WAAW,CAAC,EAAC,OAAO,EAAC,GAAG,CAAC,OAAO,EAAC,aAAa,EAAC,EAAE,EAAC,EAAC,EAAC,IAAI,EAAC,cAAc,EAAC,EAAC,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,EAAC,SAAS,GAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAA,EAAE,CAAA,CAAC,CAAC,MAAM,KAAG,cAAc,CAAC,CAAC;IAC1K,IAAG,SAAS;QAAC,SAAS,CAAC,QAAQ,GAAC,cAAc,CAAC,UAAU,EAAC,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;;QAAK,WAAW,CAAC,IAAI,CAAC,EAAC,MAAM,EAAC,cAAc,EAAC,QAAQ,EAAC,cAAc,CAAC,UAAU,CAAC,EAAC,MAAM,EAAC,MAAM,CAAC,MAAM,EAAC,KAAK,EAAC,EAAE,EAAC,WAAW,EAAC,EAAE,EAAC,OAAO,EAAC,MAAM,CAAC,OAAO,EAAC,WAAW,EAAC,iBAAiB,EAAC,CAAC,CAAC;IAC1Q,WAAW,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,EAAC,MAAM,EAAC,GAAG,EAAC,GAAG,CAAC,KAAK,CAAA,CAAC,CAAA,EAAC,eAAe,EAAC,KAAK,CAAC,MAAM,EAAC,CAAA,CAAC,CAAA,EAAE,CAAC,EAAC,MAAM,EAAC,QAAQ,EAAC,WAAW,EAAC,KAAK,EAAC,UAAU,EAAC,MAAM,EAAC,IAAI,EAAC,QAAQ,EAAC,SAAS,EAAC,GAAE,EAAE,CAAA,CAAC,CAAC,YAAY,IAAE,OAAO,CAAC,YAAY,CAAC,EAAC,MAAM,EAAC,YAAY,EAAC,WAAW,EAAC,KAAK,EAAE,WAAW,IAAE,EAAE,EAAC,YAAY,EAAC,GAAG,CAAC,kBAAkB,CAAA,CAAC,CAAA,EAAC,QAAQ,EAAC,kBAAkB,EAAC,CAAA,CAAC,CAAA,EAAE,CAAC,EAAC,GAAG,CAAC,kBAAkB,CAAA,CAAC,CAAA,EAAC,QAAQ,EAAC,kBAAkB,EAAC,CAAA,CAAC,CAAA,EAAE,CAAC,EAAC,eAAe,EAAC,OAAO,CAAC,YAAY,CAAC,EAAC,eAAe,EAAC,OAAO,CAAC,YAAY,CAAC,EAAC,OAAO,EAAC,OAAO,EAAC,KAAK,EAAC,OAAO,EAAC,eAAe,EAAC,CAAC,CAAC,CAAC;IACxgB,KAAI,MAAM,UAAU,IAAI,WAAW,EAAC,CAAC;QAAA,MAAM,OAAO,GAAC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,kBAAkB,CAAC;QAAA,MAAM,SAAS,GAAC,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,CAAC,CAAA,EAAE,CAAA,CAAC,CAAC,MAAM,KAAG,UAAU,CAAC,MAAM,IAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,IAAE,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;QAAA,IAAG,SAAS,IAAE,UAAU,CAAC,MAAM,KAAG,SAAS,EAAC,CAAC;YAAA,UAAU,CAAC,MAAM,GAAC,gBAAgB,CAAC;YAAA,UAAU,CAAC,WAAW,GAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;YAAA,UAAU,CAAC,OAAO,GAAC,SAAS,CAAC,MAAM,CAAC;YAAA,UAAU,CAAC,aAAa,GAAC,EAAC,MAAM,EAAC,SAAS,CAAC,MAAM,EAAC,cAAc,EAAC,OAAQ,EAAC,WAAW,EAAC,CAAC,SAAS,CAAC,WAAW,CAAC,EAAC,CAAC;QAAA,CAAC;IAAA,CAAC;IAC3f,WAAW,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;IACxC,IAAG,IAAI,CAAC,QAAQ,CAAC,MAAM;QAAC,WAAW,CAAC,IAAI,CAAC,EAAC,MAAM,EAAC,mBAAmB,EAAC,QAAQ,EAAC,OAAO,EAAC,MAAM,EAAC,MAAM,EAAC,KAAK,EAAC,EAAE,EAAC,WAAW,EAAC,EAAE,EAAC,OAAO,EAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAC,CAAC,CAAC;IAC/J,IAAG,kBAAkB,KAAG,OAAO;QAAC,WAAW,CAAC,IAAI,CAAC,EAAC,MAAM,EAAC,0BAA0B,EAAC,QAAQ,EAAC,OAAO,EAAC,MAAM,EAAC,SAAS,EAAC,KAAK,EAAC,EAAE,EAAC,WAAW,EAAC,EAAE,EAAC,OAAO,EAAC,2EAA2E,EAAC,CAAC,CAAC;IACpO,IAAG,SAAS,CAAC,OAAO,KAAG,gBAAgB,IAAE,OAAO,CAAC,KAAK;QAAC,WAAW,CAAC,IAAI,CAAC,EAAC,MAAM,EAAC,uBAAuB,EAAC,QAAQ,EAAC,OAAO,EAAC,MAAM,EAAC,SAAS,EAAC,KAAK,EAAC,EAAE,EAAC,WAAW,EAAC,EAAE,EAAC,OAAO,EAAC,OAAO,CAAC,KAAK,CAAA,CAAC,CAAA,wDAAwD,CAAA,CAAC,CAAA,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAC,CAAC,CAAC;IAChR,MAAM,UAAU,GAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,EAAC,UAAU,GAAC,KAAK,CAAA,CAAC,CAAA,MAAM,CAAC,UAAU,EAAC,KAAK,CAAC,MAAM,CAAC,CAAA,CAAC,CAAA,UAAU,CAAC,MAAM,CAAC,CAAC,CAAA,EAAE,CAAA,CAAC,CAAC,CAAC,UAAU,CAAC,cAAc,CAAC,IAAE,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IACpL,MAAM,YAAY,GAAC,MAAM,UAAU,CAAC,IAAI,EAAC,UAAU,EAAC,IAAI,CAAC,OAAO,EAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC/E,IAAI,cAAc,GAAC,KAAK,CAAC;IAAA,KAAI,MAAM,CAAC,IAAI,EAAC,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC;QAAC,IAAG,SAAS,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAC,IAAI,CAAC,CAAC,KAAG,MAAM;YAAC,cAAc,GAAC,IAAI,CAAC;IAC3J,IAAG,KAAK,EAAE,kBAAkB,IAAE,SAAS,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,KAAG,IAAI,CAAC,kBAAkB;QAAC,cAAc,GAAC,IAAI,CAAC;IACrI,MAAM,WAAW,GAAC,MAAM,MAAM,CAAC,IAAI,EAAC,UAAU,CAAC,CAAA,CAAC,CAAA,MAAM,QAAQ,CAAC,IAAI,EAAC,UAAU,CAAC,CAAA,CAAC,CAAA,SAAS,CAAC;IAC1F,MAAM,cAAc,GAAC,CAAC,CAAC,YAAY,IAAE,IAAI,CAAC,MAAM,CAAC,UAAU,EAAC,KAAM,CAAC,cAAe,CAAC,CAAC,KAAG,IAAI,CAAC,YAAY,CAAC,CAAC;IAC1G,IAAG,cAAc,IAAE,cAAc,IAAE,IAAI,CAAC,YAAY,CAAC,KAAG,IAAI,CAAC,OAAO,CAAC,IAAE,CAAC,WAAW,CAAA,CAAC,CAAA,SAAS,CAAC,WAAW,CAAC,CAAA,CAAC,CAAA,IAAI,CAAC,KAAG,CAAC,WAAW,CAAA,CAAC,CAAA,SAAS,CAAC,WAAW,CAAC,CAAA,CAAC,CAAA,IAAI,CAAC;QAAC,WAAW,CAAC,IAAI,CAAC,EAAC,MAAM,EAAC,oBAAoB,EAAC,QAAQ,EAAC,OAAO,EAAC,MAAM,EAAC,MAAM,EAAC,KAAK,EAAC,EAAE,EAAC,WAAW,EAAC,EAAE,EAAC,OAAO,EAAC,yDAAyD,EAAC,CAAC,CAAC;IACtU,KAAI,MAAM,CAAC,IAAI,WAAW;QAAC,IAAG,CAAC,CAAC,MAAM,KAAG,MAAM,IAAE,CAAC,CAAC,MAAM,KAAG,SAAS;YAAC,CAAC,CAAC,WAAW,GAAC,cAAc,CAAC,CAAC,CAAC,CAAC;IACtG,MAAM,MAAM,GAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAA,EAAE,CAAA,CAAC,CAAC,MAAM,KAAG,oBAAoB,IAAE,CAAC,CAAC,MAAM,KAAG,0BAA0B,CAAC,IAAE,CAAC,OAAO,CAAC,KAAK,CAAC;IAC1H,OAAO,EAAC,GAAG,YAAY,CAAC,WAAW,EAAC,IAAI,CAAC,EAAC,gBAAgB,EAAC,EAAC,QAAQ,EAAC,WAAW,EAAC,IAAI,EAAC,QAAQ,EAAC,iBAAiB,EAAC,MAAM,IAAE,YAAY,IAAE,OAAO,CAAC,YAAY,CAAC,CAAA,CAAC,CAAA,IAAI,CAAC,GAAG,CAAC,GAAG,CAAA,EAAE,CAAA,IAAI,CAAC,GAAG,CAAC,CAAC,CAAA,CAAC,CAAA,EAAE,EAAC,sBAAsB,EAAC,MAAM,CAAA,CAAC,CAAA,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAA,CAAC,CAAA,EAAE,EAAC,EAAC,OAAO,EAAC,IAAI,EAAC,MAAM,EAAC,UAAU,EAAC,YAAY,EAAC,KAAK,EAAE,YAAY,IAAE,IAAI,EAAC,GAAG,CAAC,KAAK,EAAE,YAAY,CAAA,CAAC,CAAA,EAAC,kBAAkB,EAAC,KAAK,CAAC,YAAY,CAAC,SAAS,EAAC,CAAA,CAAC,CAAA,EAAE,CAAC,EAAC,kBAAkB,EAAC,EAAC,aAAa,EAAC,KAAK,CAAA,CAAC,CAAA,IAAI,CAAC,KAAK,CAAC,CAAA,CAAC,CAAA,IAAI,EAAC,UAAU,EAAC,KAAK,CAAA,CAAC,CAAA,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA,CAAC,CAAA,IAAI,EAAC,YAAY,EAAC,KAAK,CAAA,CAAC,CAAA,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA,CAAC,CAAA,IAAI,EAAC,SAAS,EAAC,oBAAoB,EAAC,SAAS,EAAC,IAAI,CAAC,YAAY,EAAC,QAAQ,EAAC,mBAAmB,EAAE,YAAY,IAAE,EAAE,EAAC,EAAC,YAAY,EAAC,SAAS,EAAC,mBAAmB,EAAC,IAAI,CAAC,MAAM,CAAC,EAAC,mBAAmB,EAAC,mBAAmB,IAAE,IAAI,EAAC,UAAU,EAAC,EAAC,SAAS,EAAC,IAAI,CAAC,SAAS,EAAC,OAAO,EAAC,IAAI,CAAC,QAAQ,EAAC,EAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAA,CAAC,CAAA,EAAC,MAAM,EAAC,EAAC,MAAM,EAAC,MAAM,CAAC,MAAM,EAAC,aAAa,EAAC,MAAM,CAAC,aAAa,EAAC,EAAC,CAAA,CAAC,CAAA,EAAE,CAAC,EAAC,SAAS,EAAC,EAAC,GAAG,SAAS,EAAC,0BAA0B,EAAC,MAAM,CAAC,mBAAmB,EAAC,0BAA0B,EAAC,MAAM,CAAC,GAAG,CAAC,0BAA0B,CAAC,EAAE,MAAM,IAAE,SAAS,EAAC,6BAA6B,EAAC,MAAM,CAAC,GAAG,CAAC,6BAA6B,CAAC,EAAE,MAAM,IAAE,SAAS,EAAC,EAAC,KAAK,EAAC,KAAK,CAAC,OAAO,EAAC,SAAS,EAAC,CAAC;AACzpC,CAAC"}