jfl 0.5.0 → 0.6.0

package/dist/commands/train.js

@@ -0,0 +1,510 @@
+/**
+ * @purpose CLI commands for policy head training — v1 MLP + v2 transformer, transform, generate, eval
+ */
+import chalk from "chalk";
+import { existsSync, readFileSync, mkdirSync } from "fs";
+import { join, dirname } from "path";
+import { spawnSync } from "child_process";
+import { fileURLToPath } from "url";
+import { TrainingBuffer } from "../lib/training-buffer.js";
+const __filename = fileURLToPath(import.meta.url);
+const __dirname = dirname(__filename);
+const DEFAULT_THRESHOLD = {
+    min_entries: 50,
+    min_new_since_last: 25,
+    min_hours_since_last: 12,
+};
+function findProjectRoot() {
+    let dir = process.cwd();
+    while (dir !== dirname(dir)) {
+        if (existsSync(join(dir, ".jfl", "config.json")))
+            return dir;
+        if (existsSync(join(dir, ".jfl")))
+            return dir;
+        dir = dirname(dir);
+    }
+    return process.cwd();
+}
+function getTrainingMeta(projectRoot) {
+    const metaPath = join(projectRoot, ".jfl", "training-meta.json");
+    if (!existsSync(metaPath))
+        return null;
+    try {
+        return JSON.parse(readFileSync(metaPath, "utf-8"));
+    }
+    catch {
+        return null;
+    }
+}
+function getWeights(projectRoot) {
+    const weightsPath = join(projectRoot, ".jfl", "policy-weights.json");
+    if (!existsSync(weightsPath))
+        return null;
+    try {
+        return JSON.parse(readFileSync(weightsPath, "utf-8"));
+    }
+    catch {
+        return null;
+    }
+}
+function getV2Meta(projectRoot) {
+    const paths = [
+        join(projectRoot, ".jfl", "checkpoints", "policy-head-v2.json"),
+        join(projectRoot, ".jfl", "policy-head-v2.json"),
+    ];
+    for (const p of paths) {
+        if (existsSync(p)) {
+            try {
+                return JSON.parse(readFileSync(p, "utf-8"));
+            }
+            catch { /* skip */ }
+        }
+    }
+    return null;
+}
+function checkThreshold(projectRoot, threshold) {
+    const buffer = new TrainingBuffer(projectRoot);
+    const entries = buffer.readAll();
+    const meta = getTrainingMeta(projectRoot);
+    const total = entries.length;
+    let newSinceLast = total;
+    let hoursSinceLast = null;
+    if (meta?.trained_at) {
+        const lastTrained = new Date(meta.trained_at).getTime();
+        hoursSinceLast = (Date.now() - lastTrained) / (1000 * 60 * 60);
+        newSinceLast = entries.filter(e => new Date(e.ts).getTime() > lastTrained).length;
+    }
+    if (total < threshold.min_entries) {
+        return {
+            ready: false,
+            reason: `Need ${threshold.min_entries} entries, have ${total}`,
+            total, newSinceLast, hoursSinceLast,
+        };
+    }
+    if (newSinceLast < threshold.min_new_since_last) {
+        return {
+            ready: false,
+            reason: `Need ${threshold.min_new_since_last} new entries since last training, have ${newSinceLast}`,
+            total, newSinceLast, hoursSinceLast,
+        };
+    }
+    if (hoursSinceLast !== null && hoursSinceLast < threshold.min_hours_since_last) {
+        return {
+            ready: false,
+            reason: `Last trained ${hoursSinceLast.toFixed(1)}h ago (min: ${threshold.min_hours_since_last}h)`,
+            total, newSinceLast, hoursSinceLast,
+        };
+    }
+    return {
+        ready: true,
+        reason: `${total} entries, ${newSinceLast} new, ready to train`,
+        total, newSinceLast, hoursSinceLast,
+    };
+}
+function findPython() {
+    const cliRoot = join(__dirname, "..", "..");
+    const venvPython = join(cliRoot, ".venv", "bin", "python3");
+    if (existsSync(venvPython)) {
+        const check = spawnSync(venvPython, ["-c", "import torch"], { encoding: "utf-8" });
+        if (check.status === 0)
+            return venvPython;
+    }
+    const sysCheck = spawnSync("python3", ["-c", "import torch"], { encoding: "utf-8" });
+    if (sysCheck.status === 0)
+        return "python3";
+    return "";
+}
+export async function trainPolicyHead(options) {
+    const projectRoot = findProjectRoot();
+    const useV1 = options.v1 === true;
+    if (!options.force) {
+        const threshold = checkThreshold(projectRoot, DEFAULT_THRESHOLD);
+        if (!threshold.ready) {
+            console.log(chalk.yellow(`\n  Training threshold not met: ${threshold.reason}`));
+            console.log(chalk.gray("  Use --force to train anyway\n"));
+            return;
+        }
+    }
+    const pythonBin = findPython();
+    if (!pythonBin) {
+        const cliRoot = join(__dirname, "..", "..");
+        console.log(chalk.red("\n  PyTorch not installed."));
+        console.log(chalk.gray("  Install with: python3 -m venv .venv && .venv/bin/pip install torch numpy requests scikit-learn tqdm"));
+        console.log(chalk.gray(`  Or: cd ${cliRoot} && pip install -r scripts/train/requirements.txt\n`));
+        return;
+    }
+    const buffer = new TrainingBuffer(projectRoot);
+    const stats = buffer.stats();
+    console.log(chalk.bold(`\n  Training Policy Head (${useV1 ? "v1 MLP" : "v2 Transformer"})`));
+    console.log(chalk.gray("  ─".repeat(30)));
+    console.log(chalk.gray(`  Data: ${stats.total} entries, ${Object.keys(stats.byAgent).length} agents`));
+    console.log(chalk.gray(`  Avg reward: ${stats.avgReward.toFixed(4)}, Improved rate: ${(stats.improvedRate * 100).toFixed(1)}%`));
+    if (useV1) {
+        // v1 training path (legacy)
+        const bufferPath = join(projectRoot, ".jfl", "training-buffer.jsonl");
+        const outputPath = options.output || join(projectRoot, ".jfl", "policy-weights.json");
+        if (!existsSync(bufferPath)) {
+            console.log(chalk.red("\n  No training data found at .jfl/training-buffer.jsonl\n"));
+            return;
+        }
+        const trainScript = join(__dirname, "..", "..", "scripts", "train", "train-policy-head.py");
+        if (!existsSync(trainScript)) {
+            console.log(chalk.red(`\n  Training script not found: ${trainScript}`));
+            return;
+        }
+        const args = [trainScript, "--data", bufferPath, "--output", outputPath];
+        if (options.epochs)
+            args.push("--epochs", options.epochs);
+        if (options.lr)
+            args.push("--lr", options.lr);
+        if (options.batchSize)
+            args.push("--batch-size", options.batchSize);
+        console.log(chalk.gray(`  Running: ${pythonBin.split("/").pop()} train-policy-head.py`));
+        console.log();
+        const result = spawnSync(pythonBin, args, {
+            cwd: projectRoot,
+            encoding: "utf-8",
+            stdio: "inherit",
+            timeout: 30 * 60 * 1000,
+            env: { ...process.env },
+        });
+        if (result.status === 0) {
+            console.log(chalk.green("\n  v1 training complete."));
+            const weights = getWeights(projectRoot);
+            if (weights) {
+                console.log(chalk.gray(`  Direction accuracy: ${weights.direction_accuracy?.toFixed(3)}`));
+                console.log(chalk.gray(`  Rank correlation: ${weights.rank_correlation?.toFixed(3)}`));
+                console.log(chalk.gray(`  Trained on: ${weights.trained_on} entries`));
+            }
+        }
+        else {
+            console.log(chalk.red(`\n  Training failed (exit code ${result.status})`));
+        }
+    }
+    else {
+        // v2 training path
+        const dataDir = join(projectRoot, ".jfl", "v2-data");
+        const trainDataPath = join(dataDir, "train.jsonl");
+        if (!existsSync(trainDataPath)) {
+            console.log(chalk.yellow("\n  No v2 training data found. Running transform first..."));
+            await trainTransform({});
+        }
+        const trainScript = join(__dirname, "..", "..", "scripts", "train", "v2", "train.py");
+        if (!existsSync(trainScript)) {
+            console.log(chalk.red(`\n  v2 training script not found: ${trainScript}`));
+            return;
+        }
+        const outputDir = join(projectRoot, ".jfl", "checkpoints");
+        const args = [trainScript, "--data-dir", dataDir, "--output-dir", outputDir];
+        if (options.epochs)
+            args.push("--epochs", options.epochs);
+        if (options.lr)
+            args.push("--lr", options.lr);
+        if (options.batchSize)
+            args.push("--batch-size", options.batchSize);
+        console.log(chalk.gray(`  Running: ${pythonBin.split("/").pop()} v2/train.py`));
+        console.log();
+        const result = spawnSync(pythonBin, args, {
+            cwd: projectRoot,
+            encoding: "utf-8",
+            stdio: "inherit",
+            timeout: 120 * 60 * 1000,
+            env: { ...process.env },
+        });
+        if (result.status === 0) {
+            console.log(chalk.green("\n  v2 training complete."));
+            const v2Meta = getV2Meta(projectRoot);
+            if (v2Meta) {
+                console.log(chalk.gray(`  Architecture: ${v2Meta.architecture}`));
+                console.log(chalk.gray(`  Val accuracy: ${(v2Meta.val_accuracy * 100).toFixed(1)}%`));
+                console.log(chalk.gray(`  Parameters: ${v2Meta.parameters?.toLocaleString()}`));
+                console.log(chalk.gray(`  Trained on: ${v2Meta.trained_on} entries`));
+            }
+        }
+        else {
+            console.log(chalk.red(`\n  Training failed (exit code ${result.status})`));
+        }
+    }
+    console.log();
+}
+export async function trainTransform(options) {
+    const projectRoot = findProjectRoot();
+    const bufferPath = join(projectRoot, ".jfl", "training-buffer.jsonl");
+    if (!existsSync(bufferPath)) {
+        console.log(chalk.red("\n  No training buffer found at .jfl/training-buffer.jsonl\n"));
+        return;
+    }
+    const pythonBin = findPython();
+    if (!pythonBin) {
+        console.log(chalk.red("\n  Python/PyTorch not available\n"));
+        return;
+    }
+    const transformScript = join(__dirname, "..", "..", "scripts", "train", "v2", "transform_buffer.py");
+    const outputDir = join(projectRoot, ".jfl", "v2-data");
+    console.log(chalk.bold("\n  Transforming Training Buffer → v2 Format"));
+    console.log(chalk.gray("  ─".repeat(30)));
+    const args = [transformScript, "--buffer", bufferPath, "--output", outputDir];
+    if (options.all)
+        args.push("--all");
+    const result = spawnSync(pythonBin, args, {
+        cwd: projectRoot,
+        encoding: "utf-8",
+        stdio: "inherit",
+        timeout: 5 * 60 * 1000,
+        env: { ...process.env },
+    });
+    if (result.status === 0) {
+        console.log(chalk.green("\n  Transform complete."));
+        // Auto-run precompute if STRATUS_API_KEY is available
+        if (process.env.STRATUS_API_KEY) {
+            console.log(chalk.gray("  Pre-computing embeddings..."));
+            const precomputeScript = join(__dirname, "..", "..", "scripts", "train", "v2", "precompute.py");
+            spawnSync(pythonBin, [precomputeScript, "--data-dir", outputDir], {
+                cwd: projectRoot,
+                encoding: "utf-8",
+                stdio: "inherit",
+                timeout: 30 * 60 * 1000,
+                env: { ...process.env },
+            });
+        }
+        else {
+            console.log(chalk.yellow("  Set STRATUS_API_KEY to pre-compute embeddings"));
+        }
+    }
+    else {
+        console.log(chalk.red(`\n  Transform failed (exit code ${result.status})`));
+    }
+    console.log();
+}
+export async function trainGenerate(options) {
+    const projectRoot = findProjectRoot();
+    const pythonBin = findPython();
+    if (!pythonBin) {
+        console.log(chalk.red("\n  Python not available\n"));
+        return;
+    }
+    const generateScript = join(__dirname, "..", "..", "scripts", "train", "v2", "generate_data.py");
+    const outputDir = join(projectRoot, ".jfl", "v2-data");
+    console.log(chalk.bold("\n  Generating Synthetic Training Data"));
+    console.log(chalk.gray("  ─".repeat(30)));
+    const args = [generateScript, "--output", outputDir];
+    if (options.goalsPerTool)
+        args.push("--goals-per-tool", options.goalsPerTool);
+    if (options.statesPerGoal)
+        args.push("--states-per-goal", options.statesPerGoal);
+    const result = spawnSync(pythonBin, args, {
+        cwd: projectRoot,
+        encoding: "utf-8",
+        stdio: "inherit",
+        timeout: 60 * 60 * 1000,
+        env: { ...process.env },
+    });
+    if (result.status === 0) {
+        console.log(chalk.green("\n  Synthetic data generation complete.\n"));
+    }
+    else {
+        console.log(chalk.red(`\n  Generation failed (exit code ${result.status})\n`));
+    }
+}
+export async function trainEval(options) {
+    const projectRoot = findProjectRoot();
+    const pythonBin = findPython();
+    if (!pythonBin) {
+        console.log(chalk.red("\n  Python not available\n"));
+        return;
+    }
+    const checkpointPath = join(projectRoot, ".jfl", "checkpoints", "best_policy_head.pt");
+    if (!existsSync(checkpointPath)) {
+        console.log(chalk.red("\n  No v2 checkpoint found. Train first: jfl train policy-head\n"));
+        return;
+    }
+    const evalScript = join(__dirname, "..", "..", "scripts", "train", "v2", "eval.py");
+    const dataDir = join(projectRoot, ".jfl", "v2-data");
+    console.log(chalk.bold("\n  Evaluating v2 Policy Head"));
+    console.log(chalk.gray("  ─".repeat(30)));
+    const args = [evalScript, "--checkpoint", checkpointPath, "--data-dir", dataDir];
+    if (options.split)
+        args.push("--split", options.split);
+    const result = spawnSync(pythonBin, args, {
+        cwd: projectRoot,
+        encoding: "utf-8",
+        stdio: "inherit",
+        timeout: 10 * 60 * 1000,
+        env: { ...process.env },
+    });
+    if (result.status !== 0) {
+        console.log(chalk.red(`\n  Evaluation failed (exit code ${result.status})\n`));
+    }
+}
+export async function trainStatus() {
+    const projectRoot = findProjectRoot();
+    const buffer = new TrainingBuffer(projectRoot);
+    const stats = buffer.stats();
+    const meta = getTrainingMeta(projectRoot);
+    const weights = getWeights(projectRoot);
+    const v2Meta = getV2Meta(projectRoot);
+    const threshold = checkThreshold(projectRoot, DEFAULT_THRESHOLD);
+    console.log(chalk.bold("\n  Policy Head Training Status"));
+    console.log(chalk.gray("  ─".repeat(30)));
+    console.log(chalk.bold("\n  Training Data"));
+    console.log(`    Total entries:    ${stats.total}`);
+    console.log(`    By agent:         ${Object.entries(stats.byAgent).map(([k, v]) => `${k}(${v})`).join(", ") || "none"}`);
+    console.log(`    By source:        ${Object.entries(stats.bySource).map(([k, v]) => `${k}(${v})`).join(", ") || "none"}`);
+    console.log(`    Avg reward:       ${stats.avgReward.toFixed(4)}`);
+    console.log(`    Improved rate:    ${(stats.improvedRate * 100).toFixed(1)}%`);
+    if (v2Meta) {
+        console.log(chalk.bold("\n  v2 Policy Head (Transformer)"));
+        console.log(`    Architecture:     ${v2Meta.architecture}`);
+        console.log(`    Parameters:       ${v2Meta.parameters?.toLocaleString()}`);
+        console.log(`    Val accuracy:     ${(v2Meta.val_accuracy * 100).toFixed(1)}%`);
+        console.log(`    Tools:            ${v2Meta.num_tools}`);
+        console.log(`    Trained on:       ${v2Meta.trained_on} entries`);
+        console.log(`    Trained at:       ${v2Meta.trained_at}`);
+    }
+    if (weights) {
+        console.log(chalk.bold(`\n  v1 Policy Head (MLP)${v2Meta ? " [legacy]" : ""}`));
+        console.log(`    Architecture:     ${weights.architecture}`);
+        console.log(`    Embed dim:        ${weights.embed_dim}`);
+        console.log(`    Direction acc:    ${weights.direction_accuracy?.toFixed(3)}`);
+        console.log(`    Rank correlation: ${weights.rank_correlation?.toFixed(3)}`);
+        console.log(`    Trained on:       ${weights.trained_on} entries`);
+    }
+    if (!v2Meta && !weights) {
+        console.log(chalk.yellow("\n  No policy weights loaded"));
+    }
+    if (meta) {
+        console.log(chalk.bold("\n  Last v1 Training"));
+        console.log(`    Trained at:       ${meta.trained_at}`);
+        console.log(`    Entries used:     ${meta.entries}`);
+        console.log(`    Best epoch:       ${meta.best_epoch} / ${meta.epochs_run}`);
+        console.log(`    Val loss:         ${meta.best_val_loss?.toFixed(6)}`);
+        console.log(`    Device:           ${meta.device}`);
+    }
+    console.log(chalk.bold("\n  Training Threshold"));
+    console.log(`    Ready:            ${threshold.ready ? chalk.green("YES") : chalk.yellow("NO")}`);
+    console.log(`    Reason:           ${threshold.reason}`);
+    console.log(`    Total entries:    ${threshold.total}`);
+    console.log(`    New since last:   ${threshold.newSinceLast}`);
+    if (threshold.hoursSinceLast !== null) {
+        console.log(`    Hours since last: ${threshold.hoursSinceLast.toFixed(1)}h`);
+    }
+    // v2 data status
+    const v2DataDir = join(projectRoot, ".jfl", "v2-data");
+    if (existsSync(join(v2DataDir, "train.jsonl"))) {
+        const trainLines = readFileSync(join(v2DataDir, "train.jsonl"), "utf-8").split("\n").filter(l => l.trim()).length;
+        const valLines = existsSync(join(v2DataDir, "val.jsonl")) ? readFileSync(join(v2DataDir, "val.jsonl"), "utf-8").split("\n").filter(l => l.trim()).length : 0;
+        const testLines = existsSync(join(v2DataDir, "test.jsonl")) ? readFileSync(join(v2DataDir, "test.jsonl"), "utf-8").split("\n").filter(l => l.trim()).length : 0;
+        const hasCache = existsSync(join(v2DataDir, "embeddings_cache.npz"));
+        console.log(chalk.bold("\n  v2 Training Data"));
+        console.log(`    Train:            ${trainLines} examples`);
+        console.log(`    Val:              ${valLines} examples`);
+        console.log(`    Test:             ${testLines} examples`);
+        console.log(`    Embeddings:       ${hasCache ? chalk.green("cached") : chalk.yellow("not cached")}`);
+    }
+    console.log();
+}
+export async function trainExport(options) {
+    const projectRoot = findProjectRoot();
+    const buffer = new TrainingBuffer(projectRoot);
+    const exported = buffer.exportForTraining();
+    if (exported.length === 0) {
+        console.log(chalk.yellow("\n  No training data to export\n"));
+        return;
+    }
+    const format = options.format || "jsonl";
+    const exportDir = join(projectRoot, ".jfl", "train-export");
+    mkdirSync(exportDir, { recursive: true });
+    if (format === "jsonl") {
+        const outPath = join(exportDir, "training-data.jsonl");
+        const lines = exported.map(e => JSON.stringify(e)).join("\n") + "\n";
+        const { writeFileSync } = await import("fs");
+        writeFileSync(outPath, lines);
+        console.log(chalk.green(`\n  Exported ${exported.length} entries to ${outPath}\n`));
+    }
+    else if (format === "csv") {
+        const outPath = join(exportDir, "training-data.csv");
+        const header = "state_text,action_text,reward,agent,ts\n";
+        const rows = exported.map(e => `"${e.state_text.replace(/"/g, '""')}","${e.action_text.replace(/"/g, '""')}",${e.reward},"${e.agent}","${e.ts}"`).join("\n") + "\n";
+        const { writeFileSync } = await import("fs");
+        writeFileSync(outPath, header + rows);
+        console.log(chalk.green(`\n  Exported ${exported.length} entries to ${outPath}\n`));
+    }
+}
+export async function trainThresholdCheck(options) {
+    const projectRoot = findProjectRoot();
+    const threshold = checkThreshold(projectRoot, DEFAULT_THRESHOLD);
+    if (!options.quiet) {
+        if (threshold.ready) {
+            console.log(chalk.green(`\n  Ready to train: ${threshold.reason}\n`));
+        }
+        else {
+            console.log(chalk.yellow(`\n  Not ready: ${threshold.reason}\n`));
+        }
+    }
+    return threshold.ready;
+}
+export function registerTrainCommands(parent) {
+    const train = parent.command("train").description("Policy head training pipeline");
+    train
+        .command("policy-head")
+        .description("Train policy head (v2 transformer by default, --v1 for legacy MLP)")
+        .option("-f, --force", "Train even if threshold not met")
+        .option("--v1", "Use v1 MLP trainer instead of v2 transformer")
+        .option("--epochs <n>", "Max training epochs")
+        .option("--lr <rate>", "Learning rate")
+        .option("--batch-size <n>", "Batch size")
+        .option("--min-entries <n>", "Minimum entries required")
+        .option("-o, --output <path>", "Output path for weights (v1 only)")
+        .option("-a, --agent <name>", "Filter training data to specific agent")
+        .action(async (options) => {
+        await trainPolicyHead(options);
+    });
+    train
+        .command("transform")
+        .description("Transform training buffer to v2 format (current_state, goal, correct_tool)")
+        .option("--all", "Include entries where improved=false")
+        .action(async (options) => {
+        await trainTransform(options);
+    });
+    train
+        .command("generate")
+        .description("Generate synthetic training data for v2 policy head")
+        .option("--goals-per-tool <n>", "Goals to generate per tool (default: 50)")
+        .option("--states-per-goal <n>", "States to generate per goal (default: 2)")
+        .action(async (options) => {
+        await trainGenerate(options);
+    });
+    train
+        .command("eval")
+        .description("Evaluate v2 policy head — per-tool accuracy report")
+        .option("--split <name>", "Which split to evaluate: train/val/test (default: test)")
+        .action(async (options) => {
+        await trainEval(options);
+    });
+    train
+        .command("status")
+        .description("Show training data stats, model info, and threshold")
+        .action(async () => {
+        await trainStatus();
+    });
+    train
+        .command("export")
+        .description("Export training data for external tools")
+        .option("--format <fmt>", "Export format: jsonl or csv (default: jsonl)")
+        .action(async (options) => {
+        await trainExport(options);
+    });
+    train
+        .command("check")
+        .description("Check if training threshold is met")
+        .option("-q, --quiet", "Quiet mode — exit code only")
+        .action(async (options) => {
+        const ready = await trainThresholdCheck(options);
+        if (!ready)
+            process.exitCode = 1;
+    });
+    train.action(async () => {
+        await trainStatus();
+    });
+}
+//# sourceMappingURL=train.js.map

package/dist/commands/train.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"train.js","sourceRoot":"","sources":["../../src/commands/train.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,MAAM,OAAO,CAAA;AAEzB,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,IAAI,CAAA;AACxD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,MAAM,CAAA;AACpC,OAAO,EAAE,SAAS,EAAE,MAAM,eAAe,CAAA;AACzC,OAAO,EAAE,aAAa,EAAE,MAAM,KAAK,CAAA;AACnC,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAA;AAE1D,MAAM,UAAU,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;AACjD,MAAM,SAAS,GAAG,OAAO,CAAC,UAAU,CAAC,CAAA;AAQrC,MAAM,iBAAiB,GAAsB;IAC3C,WAAW,EAAE,EAAE;IACf,kBAAkB,EAAE,EAAE;IACtB,oBAAoB,EAAE,EAAE;CACzB,CAAA;AAED,SAAS,eAAe;IACtB,IAAI,GAAG,GAAG,OAAO,CAAC,GAAG,EAAE,CAAA;IACvB,OAAO,GAAG,KAAK,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5B,IAAI,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,aAAa,CAAC,CAAC;YAAE,OAAO,GAAG,CAAA;QAC5D,IAAI,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;YAAE,OAAO,GAAG,CAAA;QAC7C,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAAA;IACpB,CAAC;IACD,OAAO,OAAO,CAAC,GAAG,EAAE,CAAA;AACtB,CAAC;AAED,SAAS,eAAe,CAAC,WAAmB;IAC1C,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,EAAE,MAAM,EAAE,oBAAoB,CAAC,CAAA;IAChE,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAA;IACtC,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAA;IACpD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAA;IACb,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,WAAmB;IACrC,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,EAAE,MAAM,EAAE,qBAAqB,CAAC,CAAA;IACpE,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC;QAAE,OAAO,IAAI,CAAA;IACzC,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,CAAA;IACvD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAA;IACb,CAAC;AACH,CAAC;AAED,SAAS,SAAS,CAAC,WAAmB;IACpC,MAAM,KAAK,GAAG;QACZ,IAAI,CAAC,WAAW,EAAE,MAAM,EAAE,aAAa,EAAE,qBAAqB,CAAC;QAC/D,IAAI,CAAC,WAAW,EAAE,MAAM,EAAE,qBAAqB,CAAC;KACjD,CAAA;IACD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;YAClB,IAAI,CAAC;gBAAC,OAAO,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAA;YAAC,CAAC;YAAC,MAAM,CAAC,CAAC,UAAU,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED,SAAS,cAAc,CAAC,WAAmB,EAAE,SAA4B;IAOvE,MAAM,MAAM,GAAG,IAAI,cAAc,CAAC,WAAW,CAAC,CAAA;IAC9C,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,EAAE,CAAA;IAChC,MAAM,IAAI,GAAG,eAAe,CAAC,WAAW,CAAC,CAAA;IAEzC,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAA;IAC5B,IAAI,YAAY,GAAG,KAAK,CAAA;IACxB,IAAI,cAAc,GAAkB,IAAI,CAAA;IAExC,IAAI,IAAI,EAAE,UAAU,EAAE,CAAC;QACrB,MAAM,WAAW,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,OAAO,EAAE,CAAA;QACvD,cAAc,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,GAAG,EAAE,GAAG,EAAE,CAAC,CAAA;QAC9D,YAAY,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,EAAE,GAAG,WAAW,CAAC,CAAC,MAAM,CAAA;IACnF,CAAC;IAED,IAAI,KAAK,GAAG,SAAS,CAAC,WAAW,EAAE,CAAC;QAClC,OAAO;YACL,KAAK,EAAE,KAAK;YACZ,MAAM,EAAE,QAAQ,SAAS,CAAC,WAAW,kBAAkB,KAAK,EAAE;YAC9D,KAAK,EAAE,YAAY,EAAE,cAAc;SACpC,CAAA;IACH,CAAC;IAED,IAAI,YAAY,GAAG,SAAS,CAAC,kBAAkB,EAAE,CAAC;QAChD,OAAO;YACL,KAAK,EAAE,KAAK;YACZ,MAAM,EAAE,QAAQ,SAAS,CAAC,kBAAkB,0CAA0C,YAAY,EAAE;YACpG,KAAK,EAAE,YAAY,EAAE,cAAc;SACpC,CAAA;IACH,CAAC;IAED,IAAI,cAAc,KAAK,IAAI,IAAI,cAAc,GAAG,SAAS,CAAC,oBAAoB,EAAE,CAAC;QAC/E,OAAO;YACL,KAAK,EAAE,KAAK;YACZ,MAAM,EAAE,gBAAgB,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,eAAe,SAAS,CAAC,oBAAoB,IAAI;YAClG,KAAK,EAAE,YAAY,EAAE,cAAc;SACpC,CAAA;IACH,CAAC;IAED,OAAO;QACL,KAAK,EAAE,IAAI;QACX,MAAM,EAAE,GAAG,KAAK,aAAa,YAAY,sBAAsB;QAC/D,KAAK,EAAE,YAAY,EAAE,cAAc;KACpC,CAAA;AACH,CAAC;AAED,SAAS,UAAU;IACjB,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;IAC3C,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC,CAAA;IAE3D,IAAI,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,SAAS,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,cAAc,CAAC,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAA;QAClF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,UAAU,CAAA;IAC3C,CAAC;IAED,MAAM,QAAQ,GAAG,SAAS,CAAC,SAAS,EAAE,CAAC,IAAI,EAAE,cAAc,CAAC,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAA;IACpF,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAA;IAE3C,OAAO,EAAE,CAAA;AACX,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,OASrC;IACC,MAAM,WAAW,GAAG,eAAe,EAAE,CAAA;IACrC,MAAM,KAAK,GAAG,OAAO,CAAC,EAAE,KAAK,IAAI,CAAA;IAEjC,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;QACnB,MAAM,SAAS,GAAG,cAAc,CAAC,WAAW,EAAE,iBAAiB,CAAC,CAAA;QAChE,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;YACrB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,mCAAmC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAA;YAChF,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC,CAAA;YAC1D,OAAM;QACR,CAAC;IACH,CAAC;IAED,MAAM,SAAS,GAAG,UAAU,EAAE,CAAA;IAC9B,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;QAC3C,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,4BAA4B,CAAC,CAAC,CAAA;QACpD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,uGAAuG,CAAC,CAAC,CAAA;QAChI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,OAAO,qDAAqD,CAAC,CAAC,CAAA;QACjG,OAAM;IACR,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,cAAc,CAAC,WAAW,CAAC,CAAA;IAC9C,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,EAAE,CAAA;IAE5B,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,6BAA6B,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,gBAAgB,GAAG,CAAC,CAAC,CAAA;IAC5F,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IACzC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,KAAK,aAAa,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,MAAM,SAAS,CAAC,CAAC,CAAA;IACtG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,oBAAoB,CAAC,KAAK,CAAC,YAAY,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;IAEhI,IAAI,KAAK,EAAE,CAAC;QACV,4BAA4B;QAC5B,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,EAAE,MAAM,EAAE,uBAAuB,CAAC,CAAA;QACrE,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,IAAI,IAAI,CAAC,WAAW,EAAE,MAAM,EAAE,qBAAqB,CAAC,CAAA;QAErF,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;YAC5B,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,4DAA4D,CAAC,CAAC,CAAA;YACpF,OAAM;QACR,CAAC;QAED,MAAM,WAAW,GAAG,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,sBAAsB,CAAC,CAAA;QAC3F,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;YAC7B,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,kCAAkC,WAAW,EAAE,CAAC,CAAC,CAAA;YACvE,OAAM;QACR,CAAC;QAED,MAAM,IAAI,GAAG,CAAC,WAAW,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,CAAC,CAAA;QACxE,IAAI,OAAO,CAAC,MAAM;YAAE,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,MAAM,CAAC,CAAA;QACzD,IAAI,OAAO,CAAC,EAAE;YAAE,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC,CAAA;QAC7C,IAAI,OAAO,CAAC,SAAS;YAAE,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,OAAO,CAAC,SAAS,CAAC,CAAA;QAEnE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,cAAc,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,uBAAuB,CAAC,CAAC,CAAA;QACxF,OAAO,CAAC,GAAG,EAAE,CAAA;QAEb,MAAM,MAAM,GAAG,SAAS,CAAC,SAAS,EAAE,IAAI,EAAE;YACxC,GAAG,EAAE,WAAW;YAChB,QAAQ,EAAE,OAAO;YACjB,KAAK,EAAE,SAAS;YAChB,OAAO,EAAE,EAAE,GAAG,EAAE,GAAG,IAAI;YACvB,GAAG,EAAE,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE;SACxB,CAAC,CAAA;QAEF,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,2BAA2B,CAAC,CAAC,CAAA;YACrD,MAAM,OAAO,GAAG,UAAU,CAAC,WAAW,CAAC,CAAA;YACvC,IAAI,OAAO,EAAE,CAAC;gBACZ,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,yBAAyB,OAAO,CAAC,kBAAkB,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;gBAC1F,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,uBAAuB,OAAO,CAAC,gBAAgB,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;gBACtF,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,iBAAiB,OAAO,CAAC,UAAU,UAAU,CAAC,CAAC,CAAA;YACxE,CAAC;QACH,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,kCAAkC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;QAC5E,CAAC;IACH,CAAC;SAAM,CAAC;QACN,mBAAmB;QACnB,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,EAAE,MAAM,EAAE,SAAS,CAAC,CAAA;QACpD,MAAM,aAAa,GAAG,IAAI,CAAC,OAAO,EAAE,aAAa,CAAC,CAAA;QAElD,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,EAAE,CAAC;YAC/B,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,2DAA2D,CAAC,CAAC,CAAA;YACtF,MAAM,cAAc,CAAC,EAAE,CAAC,CAAA;QAC1B,CAAC;QAED,MAAM,WAAW,GAAG,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,CAAC,CAAA;QACrF,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;YAC7B,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,qCAAqC,WAAW,EAAE,CAAC,CAAC,CAAA;YAC1E,OAAM;QACR,CAAC;QAED,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,EAAE,MAAM,EAAE,aAAa,CAAC,CAAA;QAC1D,MAAM,IAAI,GAAG,CAAC,WAAW,EAAE,YAAY,EAAE,OAAO,EAAE,cAAc,EAAE,SAAS,CAAC,CAAA;QAC5E,IAAI,OAAO,CAAC,MAAM;YAAE,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,MAAM,CAAC,CAAA;QACzD,IAAI,OAAO,CAAC,EAAE;YAAE,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC,CAAA;QAC7C,IAAI,OAAO,CAAC,SAAS;YAAE,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,OAAO,CAAC,SAAS,CAAC,CAAA;QAEnE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,cAAc,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC,CAAA;QAC/E,OAAO,CAAC,GAAG,EAAE,CAAA;QAEb,MAAM,MAAM,GAAG,SAAS,CAAC,SAAS,EAAE,IAAI,EAAE;YACxC,GAAG,EAAE,WAAW;YAChB,QAAQ,EAAE,OAAO;YACjB,KAAK,EAAE,SAAS;YAChB,OAAO,EAAE,GAAG,GAAG,EAAE,GAAG,IAAI;YACxB,GAAG,EAAE,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE;SACxB,CAAC,CAAA;QAEF,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,2BAA2B,CAAC,CAAC,CAAA;YACrD,MAAM,MAAM,GAAG,SAAS,CAAC,WAAW,CAAC,CAAA;YACrC,IAAI,MAAM,EAAE,CAAC;gBACX,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,mBAAmB,MAAM,CAAC,YAAY,EAAE,CAAC,CAAC,CAAA;gBACjE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,MAAM,CAAC,YAAY,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;gBACrF,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,iBAAiB,MAAM,CAAC,UAAU,EAAE,cAAc,EAAE,EAAE,CAAC,CAAC,CAAA;gBAC/E,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,iBAAiB,MAAM,CAAC,UAAU,UAAU,CAAC,CAAC,CAAA;YACvE,CAAC;QACH,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,kCAAkC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;QAC5E,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,EAAE,CAAA;AACf,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,cAAc,CAAC,OAA0B;IAC7D,MAAM,WAAW,GAAG,eAAe,EAAE,CAAA;IACrC,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,EAAE,MAAM,EAAE,uBAAuB,CAAC,CAAA;IAErE,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAC5B,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,8DAA8D,CAAC,CAAC,CAAA;QACtF,OAAM;IACR,CAAC;IAED,MAAM,SAAS,GAAG,UAAU,EAAE,CAAA;IAC9B,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,oCAAoC,CAAC,CAAC,CAAA;QAC5D,OAAM;IACR,CAAC;IAED,MAAM,eAAe,GAAG,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,qBAAqB,CAAC,CAAA;IACpG,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,EAAE,MAAM,EAAE,SAAS,CAAC,CAAA;IAEtD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,8CAA8C,CAAC,CAAC,CAAA;IACvE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IAEzC,MAAM,IAAI,GAAG,CAAC,eAAe,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,SAAS,CAAC,CAAA;IAC7E,IAAI,OAAO,CAAC,GAAG;QAAE,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IAEnC,MAAM,MAAM,GAAG,SAAS,CAAC,SAAS,EAAE,IAAI,EAAE;QACxC,GAAG,EAAE,WAAW;QAChB,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,SAAS;QAChB,OAAO,EAAE,CAAC,GAAG,EAAE,GAAG,IAAI;QACtB,GAAG,EAAE,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE;KACxB,CAAC,CAAA;IAEF,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,yBAAyB,CAAC,CAAC,CAAA;QAEnD,sDAAsD;QACtD,IAAI,OAAO,CAAC,GAAG,CAAC,eAAe,EAAE,CAAC;YAChC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC,CAAA;YACxD,MAAM,gBAAgB,GAAG,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,eAAe,CAAC,CAAA;YAC/F,SAAS,CAAC,SAAS,EAAE,CAAC,gBAAgB,EAAE,YAAY,EAAE,SAAS,CAAC,EAAE;gBAChE,GAAG,EAAE,WAAW;gBAChB,QAAQ,EAAE,OAAO;gBACjB,KAAK,EAAE,SAAS;gBAChB,OAAO,EAAE,EAAE,GAAG,EAAE,GAAG,IAAI;gBACvB,GAAG,EAAE,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE;aACxB,CAAC,CAAA;QACJ,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,iDAAiD,CAAC,CAAC,CAAA;QAC9E,CAAC;IACH,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,mCAAmC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IAC7E,CAAC;IACD,OAAO,CAAC,GAAG,EAAE,CAAA;AACf,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,OAA0D;IAC5F,MAAM,WAAW,GAAG,eAAe,EAAE,CAAA;IACrC,MAAM,SAAS,GAAG,UAAU,EAAE,CAAA;IAC9B,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,4BAA4B,CAAC,CAAC,CAAA;QACpD,OAAM;IACR,CAAC;IAED,MAAM,cAAc,GAAG,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,kBAAkB,CAAC,CAAA;IAChG,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,EAAE,MAAM,EAAE,SAAS,CAAC,CAAA;IAEtD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,wCAAwC,CAAC,CAAC,CAAA;IACjE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IAEzC,MAAM,IAAI,GAAG,CAAC,cAAc,EAAE,UAAU,EAAE,SAAS,CAAC,CAAA;IACpD,IAAI,OAAO,CAAC,YAAY;QAAE,IAAI,CAAC,IAAI,CAAC,kBAAkB,EAAE,OAAO,CAAC,YAAY,CAAC,CAAA;IAC7E,IAAI,OAAO,CAAC,aAAa;QAAE,IAAI,CAAC,IAAI,CAAC,mBAAmB,EAAE,OAAO,CAAC,aAAa,CAAC,CAAA;IAEhF,MAAM,MAAM,GAAG,SAAS,CAAC,SAAS,EAAE,IAAI,EAAE;QACxC,GAAG,EAAE,WAAW;QAChB,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,SAAS;QAChB,OAAO,EAAE,EAAE,GAAG,EAAE,GAAG,IAAI;QACvB,GAAG,EAAE,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE;KACxB,CAAC,CAAA;IAEF,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,2CAA2C,CAAC,CAAC,CAAA;IACvE,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,oCAAoC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAA;IAChF,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,OAA2B;IACzD,MAAM,WAAW,GAAG,eAAe,EAAE,CAAA;IACrC,MAAM,SAAS,GAAG,UAAU,EAAE,CAAA;IAC9B,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,4BAA4B,CAAC,CAAC,CAAA;QACpD,OAAM;IACR,CAAC;IAED,MAAM,cAAc,GAAG,IAAI,CAAC,WAAW,EAAE,MAAM,EAAE,aAAa,EAAE,qBAAqB,CAAC,CAAA;IACtF,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;QAChC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,kEAAkE,CAAC,CAAC,CAAA;QAC1F,OAAM;IACR,CAAC;IAED,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,CAAA;IACnF,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,EAAE,MAAM,EAAE,SAAS,CAAC,CAAA;IAEpD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC,CAAA;IACxD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IAEzC,MAAM,IAAI,GAAG,CAAC,UAAU,EAAE,cAAc,EAAE,cAAc,EAAE,YAAY,EAAE,OAAO,CAAC,CAAA;IAChF,IAAI,OAAO,CAAC,KAAK;QAAE,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,KAAK,CAAC,CAAA;IAEtD,MAAM,MAAM,GAAG,SAAS,CAAC,SAAS,EAAE,IAAI,EAAE;QACxC,GAAG,EAAE,WAAW;QAChB,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,SAAS;QAChB,OAAO,EAAE,EAAE,GAAG,EAAE,GAAG,IAAI;QACvB,GAAG,EAAE,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE;KACxB,CAAC,CAAA;IAEF,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,oCAAoC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAA;IAChF,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,WAAW;IAC/B,MAAM,WAAW,GAAG,eAAe,EAAE,CAAA;IACrC,MAAM,MAAM,GAAG,IAAI,cAAc,CAAC,WAAW,CAAC,CAAA;IAC9C,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,EAAE,CAAA;IAC5B,MAAM,IAAI,GAAG,eAAe,CAAC,WAAW,CAAC,CAAA;IACzC,MAAM,OAAO,GAAG,UAAU,CAAC,WAAW,CAAC,CAAA;IACvC,MAAM,MAAM,GAAG,SAAS,CAAC,WAAW,CAAC,CAAA;IACrC,MAAM,SAAS,GAAG,cAAc,CAAC,WAAW,EAAE,iBAAiB,CAAC,CAAA;IAEhE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC,CAAA;IAC1D,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IAEzC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC,CAAA;IAC5C,OAAO,CAAC,GAAG,CAAC,yBAAyB,KAAK,CAAC,KAAK,EAAE,CAAC,CAAA;IACnD,OAAO,CAAC,GAAG,CAAC,yBAAyB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,EAAE,CAAC,CAAA;IACxH,OAAO,CAAC,GAAG,CAAC,yBAAyB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,EAAE,CAAC,CAAA;IACzH,OAAO,CAAC,GAAG,CAAC,yBAAyB,KAAK,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;IAClE,OAAO,CAAC,GAAG,CAAC,yBAAyB,CAAC,KAAK,CAAC,YAAY,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IAE9E,IAAI,MAAM,EAAE,CAAC;QACX,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC,CAAA;QAC3D,OAAO,CAAC,GAAG,CAAC,yBAAyB,MAAM,CAAC,YAAY,EAAE,CAAC,CAAA;QAC3D,OAAO,CAAC,GAAG,CAAC,yBAAyB,MAAM,CAAC,UAAU,EAAE,cAAc,EAAE,EAAE,CAAC,CAAA;QAC3E,OAAO,CAAC,GAAG,CAAC,yBAAyB,CAAC,MAAM,CAAC,YAAY,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;QAC/E,OAAO,CAAC,GAAG,CAAC,yBAAyB,MAAM,CAAC,SAAS,EAAE,CAAC,CAAA;QACxD,OAAO,CAAC,GAAG,CAAC,yBAAyB,MAAM,CAAC,UAAU,UAAU,CAAC,CAAA;QACjE,OAAO,CAAC,GAAG,CAAC,yBAAyB,MAAM,CAAC,UAAU,EAAE,CAAC,CAAA;IAC3D,CAAC;IAED,IAAI,OAAO,EAAE,CAAC;QACZ,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,2BAA2B,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;QAC/E,OAAO,CAAC,GAAG,CAAC,yBAAyB,OAAO,CAAC,YAAY,EAAE,CAAC,CAAA;QAC5D,OAAO,CAAC,GAAG,CAAC,yBAAyB,OAAO,CAAC,SAAS,EAAE,CAAC,CAAA;QACzD,OAAO,CAAC,GAAG,CAAC,yBAAyB,OAAO,CAAC,kBAAkB,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;QAC9E,OAAO,CAAC,GAAG,CAAC,yBAAyB,OAAO,CAAC,gBAAgB,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;QAC5E,OAAO,CAAC,GAAG,CAAC,yBAAyB,OAAO,CAAC,UAAU,UAAU,CAAC,CAAA;IACpE,CAAC;IAED,IAAI,CAAC,MAAM,IAAI,CAAC,OAAO,EAAE,CAAC;QACxB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,8BAA8B,CAAC,CAAC,CAAA;IAC3D,CAAC;IAED,IAAI,IAAI,EAAE,CAAC;QACT,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC,CAAA;QAC/C,OAAO,CAAC,GAAG,CAAC,yBAAyB,IAAI,CAAC,UAAU,EAAE,CAAC,CAAA;QACvD,OAAO,CAAC,GAAG,CAAC,yBAAyB,IAAI,CAAC,OAAO,EAAE,CAAC,CAAA;QACpD,OAAO,CAAC,GAAG,CAAC,yBAAyB,IAAI,CAAC,UAAU,MAAM,IAAI,CAAC,UAAU,EAAE,CAAC,CAAA;QAC5E,OAAO,CAAC,GAAG,CAAC,yBAAyB,IAAI,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;QACtE,OAAO,CAAC,GAAG,CAAC,yBAAyB,IAAI,CAAC,MAAM,EAAE,CAAC,CAAA;IACrD,CAAC;IAED,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC,CAAA;IACjD,OAAO,CAAC,GAAG,CAAC,yBAAyB,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IACjG,OAAO,CAAC,GAAG,CAAC,yBAAyB,SAAS,CAAC,MAAM,EAAE,CAAC,CAAA;IACxD,OAAO,CAAC,GAAG,CAAC,yBAAyB,SAAS,CAAC,KAAK,EAAE,CAAC,CAAA;IACvD,OAAO,CAAC,GAAG,CAAC,yBAAyB,SAAS,CAAC,YAAY,EAAE,CAAC,CAAA;IAC9D,IAAI,SAAS,CAAC,cAAc,KAAK,IAAI,EAAE,CAAC;QACtC,OAAO,CAAC,GAAG,CAAC,yBAAyB,SAAS,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IAC9E,CAAC;IAED,iBAAiB;IACjB,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,EAAE,MAAM,EAAE,SAAS,CAAC,CAAA;IACtD,IAAI,UAAU,CAAC,IAAI,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC;QAC/C,MAAM,UAAU,GAAG,YAAY,CAAC,IAAI,CAAC,SAAS,EAAE,aAAa,CAAC,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAA;QACjH,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,SAAS,EAAE,WAAW,CAAC,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;QAC5J,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,SAAS,EAAE,YAAY,CAAC,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;QAC/J,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,SAAS,EAAE,sBAAsB,CAAC,CAAC,CAAA;QACpE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC,CAAA;QAC/C,OAAO,CAAC,GAAG,CAAC,yBAAyB,UAAU,WAAW,CAAC,CAAA;QAC3D,OAAO,CAAC,GAAG,CAAC,yBAAyB,QAAQ,WAAW,CAAC,CAAA;QACzD,OAAO,CAAC,GAAG,CAAC,yBAAyB,SAAS,WAAW,CAAC,CAAA;QAC1D,OAAO,CAAC,GAAG,CAAC,yBAAyB,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,CAAC,CAAA;IACvG,CAAC;IAED,OAAO,CAAC,GAAG,EAAE,CAAA;AACf,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,OAA4B;IAC5D,MAAM,WAAW,GAAG,eAAe,EAAE,CAAA;IACrC,MAAM,MAAM,GAAG,IAAI,cAAc,CAAC,WAAW,CAAC,CAAA;IAC9C,MAAM,QAAQ,GAAG,MAAM,CAAC,iBAAiB,EAAE,CAAA;IAE3C,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,kCAAkC,CAAC,CAAC,CAAA;QAC7D,OAAM;IACR,CAAC;IAED,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,OAAO,CAAA;IACxC,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,EAAE,MAAM,EAAE,cAAc,CAAC,CAAA;IAC3D,SAAS,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;IAEzC,IAAI,MAAM,KAAK,OAAO,EAAE,CAAC;QACvB,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,EAAE,qBAAqB,CAAC,CAAA;QACtD,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAA;QACpE,MAAM,EAAE,aAAa,EAAE,GAAG,MAAM,MAAM,CAAC,IAAI,CAAC,CAAA;QAC5C,aAAa,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;QAC7B,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,gBAAgB,QAAQ,CAAC,MAAM,eAAe,OAAO,IAAI,CAAC,CAAC,CAAA;IACrF,CAAC;SAAM,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;QAC5B,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,EAAE,mBAAmB,CAAC,CAAA;QACpD,MAAM,MAAM,GAAG,0CAA0C,CAAA;QACzD,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAC5B,IAAI,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,EAAE,GAAG,CAClH,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAA;QACnB,MAAM,EAAE,aAAa,EAAE,GAAG,MAAM,MAAM,CAAC,IAAI,CAAC,CAAA;QAC5C,aAAa,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC,CAAA;QACrC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,gBAAgB,QAAQ,CAAC,MAAM,eAAe,OAAO,IAAI,CAAC,CAAC,CAAA;IACrF,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,mBAAmB,CAAC,OAA4B;IACpE,MAAM,WAAW,GAAG,eAAe,EAAE,CAAA;IACrC,MAAM,SAAS,GAAG,cAAc,CAAC,WAAW,EAAE,iBAAiB,CAAC,CAAA;IAEhE,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;QACnB,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC;YACpB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,uBAAuB,SAAS,CAAC,MAAM,IAAI,CAAC,CAAC,CAAA;QACvE,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,kBAAkB,SAAS,CAAC,MAAM,IAAI,CAAC,CAAC,CAAA;QACnE,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC,KAAK,CAAA;AACxB,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,MAAe;IACnD,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,WAAW,CAAC,+BAA+B,CAAC,CAAA;IAElF,KAAK;SACF,OAAO,CAAC,aAAa,CAAC;SACtB,WAAW,CAAC,oEAAoE,CAAC;SACjF,MAAM,CAAC,aAAa,EAAE,iCAAiC,CAAC;SACxD,MAAM,CAAC,MAAM,EAAE,8CAA8C,CAAC;SAC9D,MAAM,CAAC,cAAc,EAAE,qBAAqB,CAAC;SAC7C,MAAM,CAAC,aAAa,EAAE,eAAe,CAAC;SACtC,MAAM,CAAC,kBAAkB,EAAE,YAAY,CAAC;SACxC,MAAM,CAAC,mBAAmB,EAAE,0BAA0B,CAAC;SACvD,MAAM,CAAC,qBAAqB,EAAE,mCAAmC,CAAC;SAClE,MAAM,CAAC,oBAAoB,EAAE,wCAAwC,CAAC;SACtE,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE;QACxB,MAAM,eAAe,CAAC,OAAO,CAAC,CAAA;IAChC,CAAC,CAAC,CAAA;IAEJ,KAAK;SACF,OAAO,CAAC,WAAW,CAAC;SACpB,WAAW,CAAC,4EAA4E,CAAC;SACzF,MAAM,CAAC,OAAO,EAAE,sCAAsC,CAAC;SACvD,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE;QACxB,MAAM,cAAc,CAAC,OAAO,CAAC,CAAA;IAC/B,CAAC,CAAC,CAAA;IAEJ,KAAK;SACF,OAAO,CAAC,UAAU,CAAC;SACnB,WAAW,CAAC,qDAAqD,CAAC;SAClE,MAAM,CAAC,sBAAsB,EAAE,0CAA0C,CAAC;SAC1E,MAAM,CAAC,uBAAuB,EAAE,0CAA0C,CAAC;SAC3E,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE;QACxB,MAAM,aAAa,CAAC,OAAO,CAAC,CAAA;IAC9B,CAAC,CAAC,CAAA;IAEJ,KAAK;SACF,OAAO,CAAC,MAAM,CAAC;SACf,WAAW,CAAC,oDAAoD,CAAC;SACjE,MAAM,CAAC,gBAAgB,EAAE,yDAAyD,CAAC;SACnF,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE;QACxB,MAAM,SAAS,CAAC,OAAO,CAAC,CAAA;IAC1B,CAAC,CAAC,CAAA;IAEJ,KAAK;SACF,OAAO,CAAC,QAAQ,CAAC;SACjB,WAAW,CAAC,qDAAqD,CAAC;SAClE,MAAM,CAAC,KAAK,IAAI,EAAE;QACjB,MAAM,WAAW,EAAE,CAAA;IACrB,CAAC,CAAC,CAAA;IAEJ,KAAK;SACF,OAAO,CAAC,QAAQ,CAAC;SACjB,WAAW,CAAC,yCAAyC,CAAC;SACtD,MAAM,CAAC,gBAAgB,EAAE,8CAA8C,CAAC;SACxE,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE;QACxB,MAAM,WAAW,CAAC,OAAO,CAAC,CAAA;IAC5B,CAAC,CAAC,CAAA;IAEJ,KAAK;SACF,OAAO,CAAC,OAAO,CAAC;SAChB,WAAW,CAAC,oCAAoC,CAAC;SACjD,MAAM,CAAC,aAAa,EAAE,6BAA6B,CAAC;SACpD,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE;QACxB,MAAM,KAAK,GAAG,MAAM,mBAAmB,CAAC,OAAO,CAAC,CAAA;QAChD,IAAI,CAAC,KAAK;YAAE,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAA;IAClC,CAAC,CAAC,CAAA;IAEJ,KAAK,CAAC,MAAM,CAAC,KAAK,IAAI,EAAE;QACtB,MAAM,WAAW,EAAE,CAAA;IACrB,CAAC,CAAC,CAAA;AACJ,CAAC"}

package/dist/commands/verify.d.ts

@@ -0,0 +1,14 @@
+/**
+ * @purpose Run TLA+ model checking (TLC or Apalache) against generated specs
+ * Finds invariant violations and outputs actionable counterexamples
+ */
+import type { Command } from "commander";
+export declare function verifyCommand(options: {
+    spec?: string;
+    timeout?: number;
+    apalache?: boolean;
+    verbose?: boolean;
+    json?: boolean;
+}): Promise<void>;
+export declare function registerVerifyCommand(parent: Command): void;
+//# sourceMappingURL=verify.d.ts.map

package/dist/commands/verify.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify.d.ts","sourceRoot":"","sources":["../../src/commands/verify.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAgOxC,wBAAsB,aAAa,CAAC,OAAO,EAAE;IAC3C,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,OAAO,CAAC,EAAE,OAAO,CAAA;IACjB,IAAI,CAAC,EAAE,OAAO,CAAA;CACf,GAAG,OAAO,CAAC,IAAI,CAAC,CA4FhB;AAED,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,OAAO,GAAG,IAAI,CAe3D"}