proofery 0.1.0

package/dist/verifier.js

@@ -0,0 +1,547 @@
+/**
+ * Proof verification logic.
+ */
+import { Expression } from './expression.js';
+import { Context } from './context.js';
+import { VerificationError } from './errors.js';
+import { simplify } from './simplifier.js';
+import { verifyCalculate } from './calculateVerifier.js';
+/**
+ * Verify all axioms and theorems in a file.
+ */
+export function verifyFile(blocks, verbose = false) {
+    // First pass: collect all axioms and theorems
+    const axiomsAndTheorems = new Map();
+    for (const block of blocks) {
+        if (block.blockType === 'axiom' || block.blockType === 'theorem') {
+            if (block.args.length !== 1) {
+                throw new VerificationError(`Line ${block.lineNum}: ${block.blockType} must have exactly one argument (the name)`);
+            }
+            const name = block.args[0].name;
+            if (block.args[0].children.length > 0) {
+                throw new VerificationError(`Line ${block.lineNum}: ${block.blockType} name must be a simple identifier`);
+            }
+            axiomsAndTheorems.set(name, block);
+            if (verbose) {
+                console.log(`Found ${block.blockType}: ${name}`);
+            }
+        }
+        else {
+            throw new VerificationError(`Line ${block.lineNum}: Top-level blocks must be 'axiom' or 'theorem', got '${block.blockType}'`);
+        }
+    }
+    // Second pass: verify theorems
+    for (const block of blocks) {
+        if (block.blockType === 'theorem') {
+            const name = block.args[0].name;
+            if (verbose) {
+                console.log(`\nVerifying theorem: ${name}`);
+            }
+            verifyTheorem(block, axiomsAndTheorems, verbose);
+            if (verbose) {
+                console.log(`✓ Theorem ${name} verified`);
+            }
+        }
+    }
+}
+/**
+ * Verify a single theorem.
+ */
+function verifyTheorem(theoremBlock, axiomsAndTheorems, verbose) {
+    // Create initial context from suppose blocks
+    const context = new Context();
+    const supposeBlocks = [];
+    let concludeBlock = null;
+    let proofBlock = null;
+    // Parse structure: suppose* conclude proof
+    for (const child of theoremBlock.children) {
+        if (child.blockType === 'suppose') {
+            supposeBlocks.push(child);
+        }
+        else if (child.blockType === 'conclude') {
+            if (concludeBlock !== null) {
+                throw new VerificationError(`Line ${child.lineNum}: Multiple 'conclude' blocks in theorem`);
+            }
+            concludeBlock = child;
+        }
+        else if (child.blockType === 'proof') {
+            if (proofBlock !== null) {
+                throw new VerificationError(`Line ${child.lineNum}: Multiple 'proof' blocks in theorem`);
+            }
+            proofBlock = child;
+        }
+        else {
+            throw new VerificationError(`Line ${child.lineNum}: Invalid block type '${child.blockType}' in theorem`);
+        }
+    }
+    if (concludeBlock === null) {
+        throw new VerificationError(`Line ${theoremBlock.lineNum}: Theorem missing 'conclude' block`);
+    }
+    if (proofBlock === null) {
+        throw new VerificationError(`Line ${theoremBlock.lineNum}: Theorem missing 'proof' block`);
+    }
+    // Process suppose blocks
+    for (const suppose of supposeBlocks) {
+        processSuppose(suppose, context);
+    }
+    // Process conclude block
+    processConclude(concludeBlock, context);
+    // Verify the proof
+    const goalResolved = verifyProof(proofBlock, context, axiomsAndTheorems, verbose);
+    if (!goalResolved) {
+        throw new VerificationError(`Line ${proofBlock.lineNum}: Proof does not resolve the goal`);
+    }
+}
+/**
+ * Process a suppose block: suppose name : type
+ */
+function processSuppose(supposeBlock, context) {
+    if (supposeBlock.args.length !== 1) {
+        throw new VerificationError(`Line ${supposeBlock.lineNum}: 'suppose' must have exactly one argument`);
+    }
+    const arg = supposeBlock.args[0];
+    if (arg.name !== 'var' || arg.children.length !== 2) {
+        throw new VerificationError(`Line ${supposeBlock.lineNum}: 'suppose' argument must be of form 'name : type'`);
+    }
+    const varName = arg.children[0].name;
+    const varType = arg.children[1];
+    if (arg.children[0].children.length > 0) {
+        throw new VerificationError(`Line ${supposeBlock.lineNum}: Variable name must be a simple identifier`);
+    }
+    context.addVariable(varName, varType);
+}
+/**
+ * Process a conclude block: conclude type
+ */
+function processConclude(concludeBlock, context) {
+    if (concludeBlock.args.length !== 1) {
+        throw new VerificationError(`Line ${concludeBlock.lineNum}: 'conclude' must have exactly one argument`);
+    }
+    context.goal = concludeBlock.args[0];
+}
+/**
+ * Verify a proof block and return whether the goal was resolved.
+ */
+function verifyProof(proofBlock, context, axiomsAndTheorems, verbose) {
+    let goalResolved = false;
+    for (const child of proofBlock.children) {
+        const result = verifyProofStep(child, context, axiomsAndTheorems, verbose);
+        if (result) {
+            goalResolved = true;
+        }
+    }
+    return goalResolved;
+}
+/**
+ * Verify a single proof step. Returns true if the goal was resolved.
+ */
+function verifyProofStep(step, context, axiomsAndTheorems, verbose) {
+    switch (step.blockType) {
+        case 'unpack-and':
+            return verifyUnpackAnd(step, context, axiomsAndTheorems, verbose);
+        case 'cases':
+            return verifyCases(step, context, axiomsAndTheorems, verbose);
+        case 'witness':
+            return verifyWitness(step, context);
+        case 'assert-goal':
+            return verifyAssertGoal(step, context);
+        case 'exact':
+            return verifyExact(step, context);
+        case 'calculate':
+            return verifyCalculate(step, context, axiomsAndTheorems);
+        case 'assert':
+            return verifyAssert(step, context);
+        case 'define':
+            return verifyDefine(step, context);
+        case 'consider':
+            return verifyConsider(step, context);
+        case 'forall-apply':
+            return verifyForallApply(step, context);
+        case 'deconstruct-exists':
+            return verifyDeconstructExists(step, context);
+        case 'we-have':
+            return verifyWeHave(step, context, axiomsAndTheorems, verbose);
+        case 'focus-or':
+            return verifyFocusOr(step, context);
+        default:
+            throw new VerificationError(`Line ${step.lineNum}: Unknown proof step type '${step.blockType}'`);
+    }
+}
+/**
+ * Verify unpack-and: goal must be and(a, b), requires two goal children.
+ */
+function verifyUnpackAnd(step, context, axiomsAndTheorems, verbose) {
+    if (step.args.length !== 0) {
+        throw new VerificationError(`Line ${step.lineNum}: 'unpack-and' takes no arguments`);
+    }
+    if (context.goal === null) {
+        throw new VerificationError(`Line ${step.lineNum}: No goal to unpack`);
+    }
+    if (context.goal.name !== 'and' || context.goal.children.length !== 2) {
+        throw new VerificationError(`Line ${step.lineNum}: Goal must be and(a, b), got ${context.goal}`);
+    }
+    if (step.children.length !== 2) {
+        throw new VerificationError(`Line ${step.lineNum}: 'unpack-and' requires exactly 2 children`);
+    }
+    // Verify both children are goal blocks
+    for (let i = 0; i < step.children.length; i++) {
+        const child = step.children[i];
+        if (child.blockType !== 'goal') {
+            throw new VerificationError(`Line ${child.lineNum}: 'unpack-and' children must be 'goal' blocks`);
+        }
+        if (child.args.length !== 1) {
+            throw new VerificationError(`Line ${child.lineNum}: 'goal' must have exactly one argument`);
+        }
+        const expectedGoal = context.goal.children[i];
+        if (!child.args[0].equals(expectedGoal)) {
+            throw new VerificationError(`Line ${child.lineNum}: Expected goal ${expectedGoal}, got ${child.args[0]}`);
+        }
+        // Each goal must have one proof child
+        if (child.children.length !== 1 || child.children[0].blockType !== 'proof') {
+            throw new VerificationError(`Line ${child.lineNum}: 'goal' must have exactly one 'proof' child`);
+        }
+        // Verify the proof with the subgoal
+        const subContext = context.copy();
+        subContext.goal = expectedGoal;
+        const resolved = verifyProof(child.children[0], subContext, axiomsAndTheorems, verbose);
+        if (!resolved) {
+            throw new VerificationError(`Line ${child.lineNum}: Proof does not resolve goal ${expectedGoal}`);
+        }
+    }
+    return true; // Goal resolved
+}
+/**
+ * Verify cases: variable must have type or(a, b), requires two case children.
+ */
+function verifyCases(step, context, axiomsAndTheorems, verbose) {
+    if (step.args.length !== 1) {
+        throw new VerificationError(`Line ${step.lineNum}: 'cases' takes exactly one argument (variable name)`);
+    }
+    const varName = step.args[0].name;
+    if (step.args[0].children.length > 0) {
+        throw new VerificationError(`Line ${step.lineNum}: 'cases' argument must be a simple variable name`);
+    }
+    if (!context.hasVariable(varName)) {
+        throw new VerificationError(`Line ${step.lineNum}: Variable '${varName}' not in context`);
+    }
+    const varType = context.getVariableType(varName);
+    if (varType.name !== 'or' || varType.children.length !== 2) {
+        throw new VerificationError(`Line ${step.lineNum}: Variable '${varName}' must have type or(a, b), got ${varType}`);
+    }
+    if (step.children.length !== 2) {
+        throw new VerificationError(`Line ${step.lineNum}: 'cases' requires exactly 2 'case' children`);
+    }
+    // Verify both case children
+    for (let i = 0; i < step.children.length; i++) {
+        const child = step.children[i];
+        if (child.blockType !== 'case') {
+            throw new VerificationError(`Line ${child.lineNum}: 'cases' children must be 'case' blocks`);
+        }
+        if (child.args.length !== 1) {
+            throw new VerificationError(`Line ${child.lineNum}: 'case' must have exactly one argument`);
+        }
+        const arg = child.args[0];
+        if (arg.name !== 'var' || arg.children.length !== 2) {
+            throw new VerificationError(`Line ${child.lineNum}: 'case' argument must be of form 'name : type'`);
+        }
+        const caseVarName = arg.children[0].name;
+        const caseType = arg.children[1];
+        const expectedType = varType.children[i];
+        if (!caseType.equals(expectedType)) {
+            throw new VerificationError(`Line ${child.lineNum}: Expected case type ${expectedType}, got ${caseType}`);
+        }
+        // Verify proof with added case variable
+        const caseContext = context.copy();
+        caseContext.addVariable(caseVarName, caseType);
+        // Each case needs a proof
+        if (child.children.length !== 1 || child.children[0].blockType !== 'proof') {
+            throw new VerificationError(`Line ${child.lineNum}: 'case' must have exactly one 'proof' child`);
+        }
+        const resolved = verifyProof(child.children[0], caseContext, axiomsAndTheorems, verbose);
+        if (!resolved) {
+            throw new VerificationError(`Line ${child.lineNum}: Proof in case does not resolve goal`);
+        }
+    }
+    return true; // Goal resolved
+}
+/**
+ * Verify witness: goal must be exists(var(name, type), body), modifies goal.
+ */
+function verifyWitness(step, context) {
+    if (step.args.length !== 1) {
+        throw new VerificationError(`Line ${step.lineNum}: 'witness' takes exactly one argument`);
+    }
+    const witnessName = step.args[0].name;
+    if (step.args[0].children.length > 0) {
+        throw new VerificationError(`Line ${step.lineNum}: 'witness' argument must be a simple identifier`);
+    }
+    if (context.goal === null) {
+        throw new VerificationError(`Line ${step.lineNum}: No goal for witness`);
+    }
+    if (context.goal.name !== 'exists' || context.goal.children.length !== 2) {
+        throw new VerificationError(`Line ${step.lineNum}: Goal must be exists(var(name, type), body), got ${context.goal}`);
+    }
+    const varExpr = context.goal.children[0];
+    if (varExpr.name !== 'var' || varExpr.children.length !== 2) {
+        throw new VerificationError(`Line ${step.lineNum}: exists must have var(name, type) as first argument`);
+    }
+    const boundVarName = varExpr.children[0].name;
+    const body = context.goal.children[1];
+    // Substitute witness into body
+    context.goal = body.substitute(boundVarName, new Expression(witnessName));
+    return false; // Does not resolve goal
+}
+/**
+ * Verify assert-goal: expression must match current goal.
+ */
+function verifyAssertGoal(step, context) {
+    if (step.args.length !== 1) {
+        throw new VerificationError(`Line ${step.lineNum}: 'assert-goal' takes exactly one argument`);
+    }
+    const expectedGoal = step.args[0];
+    if (context.goal === null) {
+        throw new VerificationError(`Line ${step.lineNum}: No current goal`);
+    }
+    if (!context.goal.equals(expectedGoal)) {
+        throw new VerificationError(`Line ${step.lineNum}: Expected goal ${expectedGoal}, but current goal is ${context.goal}`);
+    }
+    return false; // Does not resolve goal
+}
+/**
+ * Verify exact: two variants - variable name or expression after simplification.
+ */
+function verifyExact(step, context) {
+    if (step.args.length !== 1) {
+        throw new VerificationError(`Line ${step.lineNum}: 'exact' takes exactly one argument`);
+    }
+    const arg = step.args[0];
+    if (context.goal === null) {
+        throw new VerificationError(`Line ${step.lineNum}: No goal to resolve`);
+    }
+    // Variant 1: Simple variable name
+    if (arg.children.length === 0 && context.hasVariable(arg.name)) {
+        const varType = context.getVariableType(arg.name);
+        if (!varType.equals(context.goal)) {
+            throw new VerificationError(`Line ${step.lineNum}: Variable '${arg.name}' has type ${varType}, but goal is ${context.goal}`);
+        }
+        return true; // Goal resolved
+    }
+    // Variant 2: Expression after simplification
+    const simplified = simplify(arg, context);
+    if (!simplified.equals(context.goal)) {
+        throw new VerificationError(`Line ${step.lineNum}: Expression ${arg} simplifies to ${simplified}, but goal is ${context.goal}`);
+    }
+    return true; // Goal resolved
+}
+/**
+ * Verify assert: assert name : type.
+ */
+function verifyAssert(step, context) {
+    if (step.args.length !== 1) {
+        throw new VerificationError(`Line ${step.lineNum}: 'assert' must have exactly one argument`);
+    }
+    const arg = step.args[0];
+    if (arg.name !== 'var' || arg.children.length !== 2) {
+        throw new VerificationError(`Line ${step.lineNum}: 'assert' argument must be of form 'name : type'`);
+    }
+    const varName = arg.children[0].name;
+    const expectedType = arg.children[1];
+    if (!context.hasVariable(varName)) {
+        throw new VerificationError(`Line ${step.lineNum}: Variable '${varName}' not in context`);
+    }
+    const actualType = context.getVariableType(varName);
+    if (!actualType.equals(expectedType)) {
+        throw new VerificationError(`Line ${step.lineNum}: Variable '${varName}' has type ${actualType}, expected ${expectedType}`);
+    }
+    return false; // Does not resolve goal
+}
+/**
+ * Verify define: define name : eq(lhs, rhs).
+ */
+function verifyDefine(step, context) {
+    if (step.args.length !== 1) {
+        throw new VerificationError(`Line ${step.lineNum}: 'define' must have exactly one argument`);
+    }
+    const arg = step.args[0];
+    if (arg.name !== 'var' || arg.children.length !== 2) {
+        throw new VerificationError(`Line ${step.lineNum}: 'define' argument must be of form 'name : type'`);
+    }
+    const varName = arg.children[0].name;
+    const varType = arg.children[1];
+    if (context.hasVariable(varName)) {
+        throw new VerificationError(`Line ${step.lineNum}: Variable '${varName}' already in context`);
+    }
+    // Check that type is an eq expression
+    if (varType.name !== 'eq' || varType.children.length !== 2) {
+        throw new VerificationError(`Line ${step.lineNum}: 'define' type must be eq(lhs, rhs)`);
+    }
+    context.addVariable(varName, varType);
+    return false; // Does not resolve goal
+}
+/**
+ * Verify consider: goal must be forall(var(name, type), body).
+ */
+function verifyConsider(step, context) {
+    if (step.args.length !== 1) {
+        throw new VerificationError(`Line ${step.lineNum}: 'consider' takes exactly one argument`);
+    }
+    const varName = step.args[0].name;
+    if (step.args[0].children.length > 0) {
+        throw new VerificationError(`Line ${step.lineNum}: 'consider' argument must be a simple identifier`);
+    }
+    if (context.goal === null) {
+        throw new VerificationError(`Line ${step.lineNum}: No goal for consider`);
+    }
+    if (context.goal.name !== 'forall' || context.goal.children.length !== 2) {
+        throw new VerificationError(`Line ${step.lineNum}: Goal must be forall(var(name, type), body), got ${context.goal}`);
+    }
+    const varExpr = context.goal.children[0];
+    if (varExpr.name !== 'var' || varExpr.children.length !== 2) {
+        throw new VerificationError(`Line ${step.lineNum}: forall must have var(name, type) as first argument`);
+    }
+    const boundVarName = varExpr.children[0].name;
+    const varType = varExpr.children[1];
+    const body = context.goal.children[1];
+    if (boundVarName !== varName) {
+        throw new VerificationError(`Line ${step.lineNum}: Expected variable '${boundVarName}', got '${varName}'`);
+    }
+    context.addVariable(varName, varType);
+    context.goal = body;
+    return false; // Does not resolve goal
+}
+/**
+ * Verify forall-apply: apply forall to an argument.
+ */
+function verifyForallApply(step, context) {
+    if (step.args.length !== 3) {
+        throw new VerificationError(`Line ${step.lineNum}: 'forall-apply' takes exactly 3 arguments`);
+    }
+    const forallVar = step.args[0].name;
+    const argVar = step.args[1].name;
+    const resultVar = step.args[2].name;
+    if (step.args[0].children.length > 0 || step.args[1].children.length > 0 || step.args[2].children.length > 0) {
+        throw new VerificationError(`Line ${step.lineNum}: 'forall-apply' arguments must be simple identifiers`);
+    }
+    if (!context.hasVariable(forallVar)) {
+        throw new VerificationError(`Line ${step.lineNum}: Variable '${forallVar}' not in context`);
+    }
+    if (!context.hasVariable(argVar)) {
+        throw new VerificationError(`Line ${step.lineNum}: Variable '${argVar}' not in context`);
+    }
+    if (context.hasVariable(resultVar)) {
+        throw new VerificationError(`Line ${step.lineNum}: Variable '${resultVar}' already in context`);
+    }
+    const forallType = context.getVariableType(forallVar);
+    if (forallType.name !== 'forall' || forallType.children.length !== 2) {
+        throw new VerificationError(`Line ${step.lineNum}: Variable '${forallVar}' must have type forall(var(name, type), body)`);
+    }
+    const varExpr = forallType.children[0];
+    if (varExpr.name !== 'var' || varExpr.children.length !== 2) {
+        throw new VerificationError(`Line ${step.lineNum}: forall must have var(name, type) as first argument`);
+    }
+    const boundVarName = varExpr.children[0].name;
+    const expectedArgType = varExpr.children[1];
+    const body = forallType.children[1];
+    const argType = context.getVariableType(argVar);
+    if (!argType.equals(expectedArgType)) {
+        throw new VerificationError(`Line ${step.lineNum}: Argument '${argVar}' has type ${argType}, expected ${expectedArgType}`);
+    }
+    // Substitute argVar for boundVarName in body
+    const resultType = body.substitute(boundVarName, new Expression(argVar));
+    context.addVariable(resultVar, resultType);
+    return false; // Does not resolve goal
+}
+/**
+ * Verify deconstruct-exists: extract witness and hypothesis from exists.
+ */
+function verifyDeconstructExists(step, context) {
+    if (step.args.length !== 3) {
+        throw new VerificationError(`Line ${step.lineNum}: 'deconstruct-exists' takes exactly 3 arguments`);
+    }
+    const existsVar = step.args[0].name;
+    const witnessVar = step.args[1].name;
+    const hypVar = step.args[2].name;
+    if (step.args[0].children.length > 0 || step.args[1].children.length > 0 || step.args[2].children.length > 0) {
+        throw new VerificationError(`Line ${step.lineNum}: 'deconstruct-exists' arguments must be simple identifiers`);
+    }
+    if (!context.hasVariable(existsVar)) {
+        throw new VerificationError(`Line ${step.lineNum}: Variable '${existsVar}' not in context`);
+    }
+    if (context.hasVariable(witnessVar)) {
+        throw new VerificationError(`Line ${step.lineNum}: Variable '${witnessVar}' already in context`);
+    }
+    if (context.hasVariable(hypVar)) {
+        throw new VerificationError(`Line ${step.lineNum}: Variable '${hypVar}' already in context`);
+    }
+    const existsType = context.getVariableType(existsVar);
+    if (existsType.name !== 'exists' || existsType.children.length !== 2) {
+        throw new VerificationError(`Line ${step.lineNum}: Variable '${existsVar}' must have type exists(var(name, type), body)`);
+    }
+    const varExpr = existsType.children[0];
+    if (varExpr.name !== 'var' || varExpr.children.length !== 2) {
+        throw new VerificationError(`Line ${step.lineNum}: exists must have var(name, type) as first argument`);
+    }
+    const boundVarName = varExpr.children[0].name;
+    const witnessType = varExpr.children[1];
+    const body = existsType.children[1];
+    // Add witness variable and hypothesis variable
+    context.addVariable(witnessVar, witnessType);
+    const hypType = body.substitute(boundVarName, new Expression(witnessVar));
+    context.addVariable(hypVar, hypType);
+    return false; // Does not resolve goal
+}
+/**
+ * Verify we-have: prove intermediate result.
+ */
+function verifyWeHave(step, context, axiomsAndTheorems, verbose) {
+    if (step.args.length !== 1) {
+        throw new VerificationError(`Line ${step.lineNum}: 'we-have' must have exactly one argument`);
+    }
+    const arg = step.args[0];
+    if (arg.name !== 'var' || arg.children.length !== 2) {
+        throw new VerificationError(`Line ${step.lineNum}: 'we-have' argument must be of form 'name : type'`);
+    }
+    const varName = arg.children[0].name;
+    const varType = arg.children[1];
+    if (context.hasVariable(varName)) {
+        throw new VerificationError(`Line ${step.lineNum}: Variable '${varName}' already in context`);
+    }
+    if (step.children.length !== 1 || step.children[0].blockType !== 'proof') {
+        throw new VerificationError(`Line ${step.lineNum}: 'we-have' must have exactly one 'proof' child`);
+    }
+    // Verify the proof with the new goal
+    const subContext = context.copy();
+    subContext.goal = varType;
+    const resolved = verifyProof(step.children[0], subContext, axiomsAndTheorems, verbose);
+    if (!resolved) {
+        throw new VerificationError(`Line ${step.lineNum}: Proof does not establish ${varType}`);
+    }
+    context.addVariable(varName, varType);
+    return false; // Does not resolve goal
+}
+/**
+ * Verify focus-or: goal must be or(a, b), focus on left or right.
+ */
+function verifyFocusOr(step, context) {
+    if (step.args.length !== 1) {
+        throw new VerificationError(`Line ${step.lineNum}: 'focus-or' takes exactly one argument`);
+    }
+    const direction = step.args[0].name;
+    if (step.args[0].children.length > 0 || (direction !== 'left' && direction !== 'right')) {
+        throw new VerificationError(`Line ${step.lineNum}: 'focus-or' argument must be 'left' or 'right'`);
+    }
+    if (context.goal === null) {
+        throw new VerificationError(`Line ${step.lineNum}: No goal for focus-or`);
+    }
+    if (context.goal.name !== 'or' || context.goal.children.length !== 2) {
+        throw new VerificationError(`Line ${step.lineNum}: Goal must be or(a, b), got ${context.goal}`);
+    }
+    if (direction === 'left') {
+        context.goal = context.goal.children[0];
+    }
+    else {
+        context.goal = context.goal.children[1];
+    }
+    return false; // Does not resolve goal
+}
+//# sourceMappingURL=verifier.js.map

package/dist/verifier.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verifier.js","sourceRoot":"","sources":["../src/verifier.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAChD,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAC3C,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAEzD;;GAEG;AACH,MAAM,UAAU,UAAU,CAAC,MAAe,EAAE,UAAmB,KAAK;IAChE,8CAA8C;IAC9C,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAiB,CAAC;IAEnD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QACzB,IAAI,KAAK,CAAC,SAAS,KAAK,OAAO,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YAC/D,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC1B,MAAM,IAAI,iBAAiB,CACvB,QAAQ,KAAK,CAAC,OAAO,KAAK,KAAK,CAAC,SAAS,4CAA4C,CACxF,CAAC;YACN,CAAC;YAED,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YAChC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACpC,MAAM,IAAI,iBAAiB,CACvB,QAAQ,KAAK,CAAC,OAAO,KAAK,KAAK,CAAC,SAAS,mCAAmC,CAC/E,CAAC;YACN,CAAC;YAED,iBAAiB,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAEnC,IAAI,OAAO,EAAE,CAAC;gBACV,OAAO,CAAC,GAAG,CAAC,SAAS,KAAK,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC,CAAC;YACrD,CAAC;QACL,CAAC;aAAM,CAAC;YACJ,MAAM,IAAI,iBAAiB,CACvB,QAAQ,KAAK,CAAC,OAAO,yDAAyD,KAAK,CAAC,SAAS,GAAG,CACnG,CAAC;QACN,CAAC;IACL,CAAC;IAED,+BAA+B;IAC/B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QACzB,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YAChC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YAChC,IAAI,OAAO,EAAE,CAAC;gBACV,OAAO,CAAC,GAAG,CAAC,wBAAwB,IAAI,EAAE,CAAC,CAAC;YAChD,CAAC;YACD,aAAa,CAAC,KAAK,EAAE,iBAAiB,EAAE,OAAO,CAAC,CAAC;YACjD,IAAI,OAAO,EAAE,CAAC;gBACV,OAAO,CAAC,GAAG,CAAC,aAAa,IAAI,WAAW,CAAC,CAAC;YAC9C,CAAC;QACL,CAAC;IACL,CAAC;AACL,CAAC;AAED;;GAEG;AACH,SAAS,aAAa,CAAC,YAAmB,EAAE,iBAAqC,EAAE,OAAgB;IAC/F,6CAA6C;IAC7C,MAAM,OAAO,GAAG,IAAI,OAAO,EAAE,CAAC;IAE9B,MAAM,aAAa,GAAY,EAAE,CAAC;IAClC,IAAI,aAAa,GAAiB,IAAI,CAAC;IACvC,IAAI,UAAU,GAAiB,IAAI,CAAC;IAEpC,2CAA2C;IAC3C,KAAK,MAAM,KAAK,IAAI,YAAY,CAAC,QAAQ,EAAE,CAAC;QACxC,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YAChC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9B,CAAC;aAAM,IAAI,KAAK,CAAC,SAAS,KAAK,UAAU,EAAE,CAAC;YACxC,IAAI,aAAa,KAAK,IAAI,EAAE,CAAC;gBACzB,MAAM,IAAI,iBAAiB,CAAC,QAAQ,KAAK,CAAC,OAAO,yCAAyC,CAAC,CAAC;YAChG,CAAC;YACD,aAAa,GAAG,KAAK,CAAC;QAC1B,CAAC;aAAM,IAAI,KAAK,CAAC,SAAS,KAAK,OAAO,EAAE,CAAC;YACrC,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;gBACtB,MAAM,IAAI,iBAAiB,CAAC,QAAQ,KAAK,CAAC,OAAO,sCAAsC,CAAC,CAAC;YAC7F,CAAC;YACD,UAAU,GAAG,KAAK,CAAC;QACvB,CAAC;aAAM,CAAC;YACJ,MAAM,IAAI,iBAAiB,CACvB,QAAQ,KAAK,CAAC,OAAO,yBAAyB,KAAK,CAAC,SAAS,cAAc,CAC9E,CAAC;QACN,CAAC;IACL,CAAC;IAED,IAAI,aAAa,KAAK,IAAI,EAAE,CAAC;QACzB,MAAM,IAAI,iBAAiB,CAAC,QAAQ,YAAY,CAAC,OAAO,oCAAoC,CAAC,CAAC;IAClG,CAAC;IAED,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;QACtB,MAAM,IAAI,iBAAiB,CAAC,QAAQ,YAAY,CAAC,OAAO,iCAAiC,CAAC,CAAC;IAC/F,CAAC;IAED,yBAAyB;IACzB,KAAK,MAAM,OAAO,IAAI,aAAa,EAAE,CAAC;QAClC,cAAc,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACrC,CAAC;IAED,yBAAyB;IACzB,eAAe,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC;IAExC,mBAAmB;IACnB,MAAM,YAAY,GAAG,WAAW,CAAC,UAAU,EAAE,OAAO,EAAE,iBAAiB,EAAE,OAAO,CAAC,CAAC;IAElF,IAAI,CAAC,YAAY,EAAE,CAAC;QAChB,MAAM,IAAI,iBAAiB,CAAC,QAAQ,UAAU,CAAC,OAAO,mCAAmC,CAAC,CAAC;IAC/F,CAAC;AACL,CAAC;AAED;;GAEG;AACH,SAAS,cAAc,CAAC,YAAmB,EAAE,OAAgB;IACzD,IAAI,YAAY,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,iBAAiB,CAAC,QAAQ,YAAY,CAAC,OAAO,4CAA4C,CAAC,CAAC;IAC1G,CAAC;IAED,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjC,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,iBAAiB,CACvB,QAAQ,YAAY,CAAC,OAAO,oDAAoD,CACnF,CAAC;IACN,CAAC;IAED,MAAM,OAAO,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACrC,MAAM,OAAO,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IAEhC,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,iBAAiB,CAAC,QAAQ,YAAY,CAAC,OAAO,6CAA6C,CAAC,CAAC;IAC3G,CAAC;IAED,OAAO,CAAC,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;AAC1C,CAAC;AAED;;GAEG;AACH,SAAS,eAAe,CAAC,aAAoB,EAAE,OAAgB;IAC3D,IAAI,aAAa,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,iBAAiB,CAAC,QAAQ,aAAa,CAAC,OAAO,6CAA6C,CAAC,CAAC;IAC5G,CAAC;IAED,OAAO,CAAC,IAAI,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACzC,CAAC;AAED;;GAEG;AACH,SAAS,WAAW,CAAC,UAAiB,EAAE,OAAgB,EAAE,iBAAqC,EAAE,OAAgB;IAC7G,IAAI,YAAY,GAAG,KAAK,CAAC;IAEzB,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;QACtC,MAAM,MAAM,GAAG,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,iBAAiB,EAAE,OAAO,CAAC,CAAC;QAC3E,IAAI,MAAM,EAAE,CAAC;YACT,YAAY,GAAG,IAAI,CAAC;QACxB,CAAC;IACL,CAAC;IAED,OAAO,YAAY,CAAC;AACxB,CAAC;AAED;;GAEG;AACH,SAAS,eAAe,CAAC,IAAW,EAAE,OAAgB,EAAE,iBAAqC,EAAE,OAAgB;IAC3G,QAAQ,IAAI,CAAC,SAAS,EAAE,CAAC;QACrB,KAAK,YAAY;YACb,OAAO,eAAe,CAAC,IAAI,EAAE,OAAO,EAAE,iBAAiB,EAAE,OAAO,CAAC,CAAC;QACtE,KAAK,OAAO;YACR,OAAO,WAAW,CAAC,IAAI,EAAE,OAAO,EAAE,iBAAiB,EAAE,OAAO,CAAC,CAAC;QAClE,KAAK,SAAS;YACV,OAAO,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACxC,KAAK,aAAa;YACd,OAAO,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC3C,KAAK,OAAO;YACR,OAAO,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACtC,KAAK,WAAW;YACZ,OAAO,eAAe,CAAC,IAAI,EAAE,OAAO,EAAE,iBAAiB,CAAC,CAAC;QAC7D,KAAK,QAAQ;YACT,OAAO,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACvC,KAAK,QAAQ;YACT,OAAO,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACvC,KAAK,UAAU;YACX,OAAO,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACzC,KAAK,cAAc;YACf,OAAO,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC5C,KAAK,oBAAoB;YACrB,OAAO,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAClD,KAAK,SAAS;YACV,OAAO,YAAY,CAAC,IAAI,EAAE,OAAO,EAAE,iBAAiB,EAAE,OAAO,CAAC,CAAC;QACnE,KAAK,UAAU;YACX,OAAO,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACxC;YACI,MAAM,IAAI,iBAAiB,CAAC,QAAQ,IAAI,CAAC,OAAO,8BAA8B,IAAI,CAAC,SAAS,GAAG,CAAC,CAAC;IACzG,CAAC;AACL,CAAC;AAED;;GAEG;AACH,SAAS,eAAe,CAAC,IAAW,EAAE,OAAgB,EAAE,iBAAqC,EAAE,OAAgB;IAC3G,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,iBAAiB,CAAC,QAAQ,IAAI,CAAC,OAAO,mCAAmC,CAAC,CAAC;IACzF,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACxB,MAAM,IAAI,iBAAiB,CAAC,QAAQ,IAAI,CAAC,OAAO,qBAAqB,CAAC,CAAC;IAC3E,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpE,MAAM,IAAI,iBAAiB,CAAC,QAAQ,IAAI,CAAC,OAAO,iCAAiC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IACrG,CAAC;IAED,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,iBAAiB,CAAC,QAAQ,IAAI,CAAC,OAAO,4CAA4C,CAAC,CAAC;IAClG,CAAC;IAED,uCAAuC;IACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAI,KAAK,CAAC,SAAS,KAAK,MAAM,EAAE,CAAC;YAC7B,MAAM,IAAI,iBAAiB,CAAC,QAAQ,KAAK,CAAC,OAAO,+CAA+C,CAAC,CAAC;QACtG,CAAC;QAED,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1B,MAAM,IAAI,iBAAiB,CAAC,QAAQ,KAAK,CAAC,OAAO,yCAAyC,CAAC,CAAC;QAChG,CAAC;QAED,MAAM,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC9C,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,CAAC;YACtC,MAAM,IAAI,iBAAiB,CACvB,QAAQ,KAAK,CAAC,OAAO,mBAAmB,YAAY,SAAS,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAC/E,CAAC;QACN,CAAC;QAED,sCAAsC;QACtC,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,OAAO,EAAE,CAAC;YACzE,MAAM,IAAI,iBAAiB,CAAC,QAAQ,KAAK,CAAC,OAAO,8CAA8C,CAAC,CAAC;QACrG,CAAC;QAED,oCAAoC;QACpC,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;QAClC,UAAU,CAAC,IAAI,GAAG,YAAY,CAAC;QAC/B,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,iBAAiB,EAAE,OAAO,CAAC,CAAC;QAExF,IAAI,CAAC,QAAQ,EAAE,CAAC;YACZ,MAAM,IAAI,iBAAiB,CAAC,QAAQ,KAAK,CAAC,OAAO,iCAAiC,YAAY,EAAE,CAAC,CAAC;QACtG,CAAC;IACL,CAAC;IAED,OAAO,IAAI,CAAC,CAAC,gBAAgB;AACjC,CAAC;AAED;;GAEG;AACH,SAAS,WAAW,CAAC,IAAW,EAAE,OAAgB,EAAE,iBAAqC,EAAE,OAAgB;IACvG,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,iBAAiB,CAAC,QAAQ,IAAI,CAAC,OAAO,sDAAsD,CAAC,CAAC;IAC5G,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAClC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,iBAAiB,CAAC,QAAQ,IAAI,CAAC,OAAO,mDAAmD,CAAC,CAAC;IACzG,CAAC;IAED,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC;QAChC,MAAM,IAAI,iBAAiB,CAAC,QAAQ,IAAI,CAAC,OAAO,eAAe,OAAO,kBAAkB,CAAC,CAAC;IAC9F,CAAC;IAED,MAAM,OAAO,GAAG,OAAO,CAAC,eAAe,CAAC,OAAO,CAAE,CAAC;IAClD,IAAI,OAAO,CAAC,IAAI,KAAK,IAAI,IAAI,OAAO,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzD,MAAM,IAAI,iBAAiB,CACvB,QAAQ,IAAI,CAAC,OAAO,eAAe,OAAO,kCAAkC,OAAO,EAAE,CACxF,CAAC;IACN,CAAC;IAED,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,iBAAiB,CAAC,QAAQ,IAAI,CAAC,OAAO,8CAA8C,CAAC,CAAC;IACpG,CAAC;IAED,4BAA4B;IAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAI,KAAK,CAAC,SAAS,KAAK,MAAM,EAAE,CAAC;YAC7B,MAAM,IAAI,iBAAiB,CAAC,QAAQ,KAAK,CAAC,OAAO,0CAA0C,CAAC,CAAC;QACjG,CAAC;QAED,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1B,MAAM,IAAI,iBAAiB,CAAC,QAAQ,KAAK,CAAC,OAAO,yCAAyC,CAAC,CAAC;QAChG,CAAC;QAED,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAClD,MAAM,IAAI,iBAAiB,CAAC,QAAQ,KAAK,CAAC,OAAO,iDAAiD,CAAC,CAAC;QACxG,CAAC;QAED,MAAM,WAAW,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACzC,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QAEjC,MAAM,YAAY,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACzC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,CAAC;YACjC,MAAM,IAAI,iBAAiB,CACvB,QAAQ,KAAK,CAAC,OAAO,wBAAwB,YAAY,SAAS,QAAQ,EAAE,CAC/E,CAAC;QACN,CAAC;QAED,wCAAwC;QACxC,MAAM,WAAW,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;QACnC,WAAW,CAAC,WAAW,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;QAE/C,0BAA0B;QAC1B,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,OAAO,EAAE,CAAC;YACzE,MAAM,IAAI,iBAAiB,CAAC,QAAQ,KAAK,CAAC,OAAO,8CAA8C,CAAC,CAAC;QACrG,CAAC;QAED,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,iBAAiB,EAAE,OAAO,CAAC,CAAC;QACzF,IAAI,CAAC,QAAQ,EAAE,CAAC;YACZ,MAAM,IAAI,iBAAiB,CAAC,QAAQ,KAAK,CAAC,OAAO,uCAAuC,CAAC,CAAC;QAC9F,CAAC;IACL,CAAC;IAED,OAAO,IAAI,CAAC,CAAC,gBAAgB;AACjC,CAAC;AAED;;GAEG;AACH,SAAS,aAAa,CAAC,IAAW,EAAE,OAAgB;IAChD,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,iBAAiB,CAAC,QAAQ,IAAI,CAAC,OAAO,wCAAwC,CAAC,CAAC;IAC9F,CAAC;IAED,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACtC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,iBAAiB,CAAC,QAAQ,IAAI,CAAC,OAAO,kDAAkD,CAAC,CAAC;IACxG,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACxB,MAAM,IAAI,iBAAiB,CAAC,QAAQ,IAAI,CAAC,OAAO,uBAAuB,CAAC,CAAC;IAC7E,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvE,MAAM,IAAI,iBAAiB,CACvB,QAAQ,IAAI,CAAC,OAAO,qDAAqD,OAAO,CAAC,IAAI,EAAE,CAC1F,CAAC;IACN,CAAC;IAED,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IACzC,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK,IAAI,OAAO,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1D,MAAM,IAAI,iBAAiB,CACvB,QAAQ,IAAI,CAAC,OAAO,sDAAsD,CAC7E,CAAC;IACN,CAAC;IAED,MAAM,YAAY,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC9C,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IAEtC,+BAA+B;IAC/B,OAAO,CAAC,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,YAAY,EAAE,IAAI,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC;IAE1E,OAAO,KAAK,CAAC,CAAC,wBAAwB;AAC1C,CAAC;AAED;;GAEG;AACH,SAAS,gBAAgB,CAAC,IAAW,EAAE,OAAgB;IACnD,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,iBAAiB,CAAC,QAAQ,IAAI,CAAC,OAAO,4CAA4C,CAAC,CAAC;IAClG,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAElC,IAAI,OAAO,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACxB,MAAM,IAAI,iBAAiB,CAAC,QAAQ,IAAI,CAAC,OAAO,mBAAmB,CAAC,CAAC;IACzE,CAAC;IAED,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,CAAC;QACrC,MAAM,IAAI,iBAAiB,CACvB,QAAQ,IAAI,CAAC,OAAO,mBAAmB,YAAY,yBAAyB,OAAO,CAAC,IAAI,EAAE,CAC7F,CAAC;IACN,CAAC;IAED,OAAO,KAAK,CAAC,CAAC,wBAAwB;AAC1C,CAAC;AAED;;GAEG;AACH,SAAS,WAAW,CAAC,IAAW,EAAE,OAAgB;IAC9C,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,iBAAiB,CAAC,QAAQ,IAAI,CAAC,OAAO,sCAAsC,CAAC,CAAC;IAC5F,CAAC;IAED,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAEzB,IAAI,OAAO,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACxB,MAAM,IAAI,iBAAiB,CAAC,QAAQ,IAAI,CAAC,OAAO,sBAAsB,CAAC,CAAC;IAC5E,CAAC;IAED,kCAAkC;IAClC,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7D,MAAM,OAAO,GAAG,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;QACnD,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,MAAM,IAAI,iBAAiB,CACvB,QAAQ,IAAI,CAAC,OAAO,eAAe,GAAG,CAAC,IAAI,cAAc,OAAO,iBAAiB,OAAO,CAAC,IAAI,EAAE,CAClG,CAAC;QACN,CAAC;QACD,OAAO,IAAI,CAAC,CAAC,gBAAgB;IACjC,CAAC;IAED,6CAA6C;IAC7C,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IAC1C,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,iBAAiB,CACvB,QAAQ,IAAI,CAAC,OAAO,gBAAgB,GAAG,kBAAkB,UAAU,iBAAiB,OAAO,CAAC,IAAI,EAAE,CACrG,CAAC;IACN,CAAC;IAED,OAAO,IAAI,CAAC,CAAC,gBAAgB;AACjC,CAAC;AAED;;GAEG;AACH,SAAS,YAAY,CAAC,IAAW,EAAE,OAAgB;IAC/C,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,iBAAiB,CAAC,QAAQ,IAAI,CAAC,OAAO,2CAA2C,CAAC,CAAC;IACjG,CAAC;IAED,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzB,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,iBAAiB,CAAC,QAAQ,IAAI,CAAC,OAAO,mDAAmD,CAAC,CAAC;IACzG,CAAC;IAED,MAAM,OAAO,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACrC,MAAM,YAAY,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IAErC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC;QAChC,MAAM,IAAI,iBAAiB,CAAC,QAAQ,IAAI,CAAC,OAAO,eAAe,OAAO,kBAAkB,CAAC,CAAC;IAC9F,CAAC;IAED,MAAM,UAAU,GAAG,OAAO,CAAC,eAAe,CAAC,OAAO,CAAE,CAAC;IACrD,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,iBAAiB,CACvB,QAAQ,IAAI,CAAC,OAAO,eAAe,OAAO,cAAc,UAAU,cAAc,YAAY,EAAE,CACjG,CAAC;IACN,CAAC;IAED,OAAO,KAAK,CAAC,CAAC,wBAAwB;AAC1C,CAAC;AAED;;GAEG;AACH,SAAS,YAAY,CAAC,IAAW,EAAE,OAAgB;IAC/C,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,iBAAiB,CAAC,QAAQ,IAAI,CAAC,OAAO,2CAA2C,CAAC,CAAC;IACjG,CAAC;IAED,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzB,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,iBAAiB,CAAC,QAAQ,IAAI,CAAC,OAAO,mDAAmD,CAAC,CAAC;IACzG,CAAC;IAED,MAAM,OAAO,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACrC,MAAM,OAAO,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IAEhC,IAAI,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,iBAAiB,CAAC,QAAQ,IAAI,CAAC,OAAO,eAAe,OAAO,sBAAsB,CAAC,CAAC;IAClG,CAAC;IAED,sCAAsC;IACtC,IAAI,OAAO,CAAC,IAAI,KAAK,IAAI,IAAI,OAAO,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzD,MAAM,IAAI,iBAAiB,CAAC,QAAQ,IAAI,CAAC,OAAO,sCAAsC,CAAC,CAAC;IAC5F,CAAC;IAED,OAAO,CAAC,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAEtC,OAAO,KAAK,CAAC,CAAC,wBAAwB;AAC1C,CAAC;AAED;;GAEG;AACH,SAAS,cAAc,CAAC,IAAW,EAAE,OAAgB;IACjD,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,iBAAiB,CAAC,QAAQ,IAAI,CAAC,OAAO,yCAAyC,CAAC,CAAC;IAC/F,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAClC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,iBAAiB,CAAC,QAAQ,IAAI,CAAC,OAAO,mDAAmD,CAAC,CAAC;IACzG,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACxB,MAAM,IAAI,iBAAiB,CAAC,QAAQ,IAAI,CAAC,OAAO,wBAAwB,CAAC,CAAC;IAC9E,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvE,MAAM,IAAI,iBAAiB,CACvB,QAAQ,IAAI,CAAC,OAAO,qDAAqD,OAAO,CAAC,IAAI,EAAE,CAC1F,CAAC;IACN,CAAC;IAED,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IACzC,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK,IAAI,OAAO,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1D,MAAM,IAAI,iBAAiB,CACvB,QAAQ,IAAI,CAAC,OAAO,sDAAsD,CAC7E,CAAC;IACN,CAAC;IAED,MAAM,YAAY,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC9C,MAAM,OAAO,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IACpC,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IAEtC,IAAI,YAAY,KAAK,OAAO,EAAE,CAAC;QAC3B,MAAM,IAAI,iBAAiB,CACvB,QAAQ,IAAI,CAAC,OAAO,wBAAwB,YAAY,WAAW,OAAO,GAAG,CAChF,CAAC;IACN,CAAC;IAED,OAAO,CAAC,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACtC,OAAO,CAAC,IAAI,GAAG,IAAI,CAAC;IAEpB,OAAO,KAAK,CAAC,CAAC,wBAAwB;AAC1C,CAAC;AAED;;GAEG;AACH,SAAS,iBAAiB,CAAC,IAAW,EAAE,OAAgB;IACpD,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,iBAAiB,CAAC,QAAQ,IAAI,CAAC,OAAO,4CAA4C,CAAC,CAAC;IAClG,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACpC,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACjC,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAEpC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3G,MAAM,IAAI,iBAAiB,CACvB,QAAQ,IAAI,CAAC,OAAO,uDAAuD,CAC9E,CAAC;IACN,CAAC;IAED,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,iBAAiB,CAAC,QAAQ,IAAI,CAAC,OAAO,eAAe,SAAS,kBAAkB,CAAC,CAAC;IAChG,CAAC;IAED,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,iBAAiB,CAAC,QAAQ,IAAI,CAAC,OAAO,eAAe,MAAM,kBAAkB,CAAC,CAAC;IAC7F,CAAC;IAED,IAAI,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,iBAAiB,CAAC,QAAQ,IAAI,CAAC,OAAO,eAAe,SAAS,sBAAsB,CAAC,CAAC;IACpG,CAAC;IAED,MAAM,UAAU,GAAG,OAAO,CAAC,eAAe,CAAC,SAAS,CAAE,CAAC;IACvD,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ,IAAI,UAAU,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnE,MAAM,IAAI,iBAAiB,CACvB,QAAQ,IAAI,CAAC,OAAO,eAAe,SAAS,gDAAgD,CAC/F,CAAC;IACN,CAAC;IAED,MAAM,OAAO,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IACvC,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK,IAAI,OAAO,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1D,MAAM,IAAI,iBAAiB,CACvB,QAAQ,IAAI,CAAC,OAAO,sDAAsD,CAC7E,CAAC;IACN,CAAC;IAED,MAAM,YAAY,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC9C,MAAM,eAAe,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC5C,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IAEpC,MAAM,OAAO,GAAG,OAAO,CAAC,eAAe,CAAC,MAAM,CAAE,CAAC;IACjD,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,eAAe,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,iBAAiB,CACvB,QAAQ,IAAI,CAAC,OAAO,eAAe,MAAM,cAAc,OAAO,cAAc,eAAe,EAAE,CAChG,CAAC;IACN,CAAC;IAED,6CAA6C;IAC7C,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,YAAY,EAAE,IAAI,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;IACzE,OAAO,CAAC,WAAW,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;IAE3C,OAAO,KAAK,CAAC,CAAC,wBAAwB;AAC1C,CAAC;AAED;;GAEG;AACH,SAAS,uBAAuB,CAAC,IAAW,EAAE,OAAgB;IAC1D,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,iBAAiB,CAAC,QAAQ,IAAI,CAAC,OAAO,kDAAkD,CAAC,CAAC;IACxG,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACpC,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACrC,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAEjC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3G,MAAM,IAAI,iBAAiB,CACvB,QAAQ,IAAI,CAAC,OAAO,6DAA6D,CACpF,CAAC;IACN,CAAC;IAED,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,iBAAiB,CAAC,QAAQ,IAAI,CAAC,OAAO,eAAe,SAAS,kBAAkB,CAAC,CAAC;IAChG,CAAC;IAED,IAAI,OAAO,CAAC,WAAW,CAAC,UAAU,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,iBAAiB,CAAC,QAAQ,IAAI,CAAC,OAAO,eAAe,UAAU,sBAAsB,CAAC,CAAC;IACrG,CAAC;IAED,IAAI,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9B,MAAM,IAAI,iBAAiB,CAAC,QAAQ,IAAI,CAAC,OAAO,eAAe,MAAM,sBAAsB,CAAC,CAAC;IACjG,CAAC;IAED,MAAM,UAAU,GAAG,OAAO,CAAC,eAAe,CAAC,SAAS,CAAE,CAAC;IACvD,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ,IAAI,UAAU,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnE,MAAM,IAAI,iBAAiB,CACvB,QAAQ,IAAI,CAAC,OAAO,eAAe,SAAS,gDAAgD,CAC/F,CAAC;IACN,CAAC;IAED,MAAM,OAAO,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IACvC,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK,IAAI,OAAO,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1D,MAAM,IAAI,iBAAiB,CACvB,QAAQ,IAAI,CAAC,OAAO,sDAAsD,CAC7E,CAAC;IACN,CAAC;IAED,MAAM,YAAY,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC9C,MAAM,WAAW,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IACxC,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IAEpC,+CAA+C;IAC/C,OAAO,CAAC,WAAW,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;IAC7C,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,YAAY,EAAE,IAAI,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC;IAC1E,OAAO,CAAC,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAErC,OAAO,KAAK,CAAC,CAAC,wBAAwB;AAC1C,CAAC;AAED;;GAEG;AACH,SAAS,YAAY,CAAC,IAAW,EAAE,OAAgB,EAAE,iBAAqC,EAAE,OAAgB;IACxG,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,iBAAiB,CAAC,QAAQ,IAAI,CAAC,OAAO,4CAA4C,CAAC,CAAC;IAClG,CAAC;IAED,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzB,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,iBAAiB,CAAC,QAAQ,IAAI,CAAC,OAAO,oDAAoD,CAAC,CAAC;IAC1G,CAAC;IAED,MAAM,OAAO,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACrC,MAAM,OAAO,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IAEhC,IAAI,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,iBAAiB,CAAC,QAAQ,IAAI,CAAC,OAAO,eAAe,OAAO,sBAAsB,CAAC,CAAC;IAClG,CAAC;IAED,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,OAAO,EAAE,CAAC;QACvE,MAAM,IAAI,iBAAiB,CAAC,QAAQ,IAAI,CAAC,OAAO,iDAAiD,CAAC,CAAC;IACvG,CAAC;IAED,qCAAqC;IACrC,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;IAClC,UAAU,CAAC,IAAI,GAAG,OAAO,CAAC;IAC1B,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,iBAAiB,EAAE,OAAO,CAAC,CAAC;IAEvF,IAAI,CAAC,QAAQ,EAAE,CAAC;QACZ,MAAM,IAAI,iBAAiB,CAAC,QAAQ,IAAI,CAAC,OAAO,8BAA8B,OAAO,EAAE,CAAC,CAAC;IAC7F,CAAC;IAED,OAAO,CAAC,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAEtC,OAAO,KAAK,CAAC,CAAC,wBAAwB;AAC1C,CAAC;AAED;;GAEG;AACH,SAAS,aAAa,CAAC,IAAW,EAAE,OAAgB;IAChD,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,iBAAiB,CAAC,QAAQ,IAAI,CAAC,OAAO,yCAAyC,CAAC,CAAC;IAC/F,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACpC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,SAAS,KAAK,MAAM,IAAI,SAAS,KAAK,OAAO,CAAC,EAAE,CAAC;QACtF,MAAM,IAAI,iBAAiB,CAAC,QAAQ,IAAI,CAAC,OAAO,iDAAiD,CAAC,CAAC;IACvG,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACxB,MAAM,IAAI,iBAAiB,CAAC,QAAQ,IAAI,CAAC,OAAO,wBAAwB,CAAC,CAAC;IAC9E,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnE,MAAM,IAAI,iBAAiB,CAAC,QAAQ,IAAI,CAAC,OAAO,gCAAgC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IACpG,CAAC;IAED,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;QACvB,OAAO,CAAC,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC5C,CAAC;SAAM,CAAC;QACJ,OAAO,CAAC,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC5C,CAAC;IAED,OAAO,KAAK,CAAC,CAAC,wBAAwB;AAC1C,CAAC"}

package/package.json

@@ -0,0 +1,48 @@
+{
+  "name": "proofery",
+  "version": "0.1.0",
+  "description": "A mathematical proof verifier written in TypeScript",
+  "type": "module",
+  "main": "dist/index.js",
+  "types": "dist/index.d.ts",
+  "bin": {
+    "proofery": "./dist/cli.js"
+  },
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "require": "./dist/index.js",
+      "import": "./dist/index.js"
+    },
+    "./nodeParser": {
+      "types": "./dist/nodeParser.d.ts",
+      "require": "./dist/nodeParser.js",
+      "import": "./dist/nodeParser.js"
+    }
+  },
+  "files": [
+    "dist",
+    "README.md",
+    "LICENSE"
+  ],
+  "scripts": {
+    "build": "tsc",
+    "start": "node dist/index.js",
+    "dev": "tsc && node dist/index.js"
+  },
+  "keywords": [
+    "proof",
+    "verification",
+    "mathematics",
+    "theorem"
+  ],
+  "author": "Jeremy Magland",
+  "license": "MIT",
+  "devDependencies": {
+    "@types/node": "^20.0.0",
+    "typescript": "^5.3.0"
+  },
+  "engines": {
+    "node": ">=18.0.0"
+  }
+}