@tsonic/frontend 0.0.5 → 0.0.12

package/dist/ir/validation/numeric-invariants.test.js

@@ -0,0 +1,598 @@
+/**
+ * Numeric Invariants Tests
+ *
+ * These tests validate critical compiler invariants for the numeric proof system:
+ *
+ * INVARIANT 1: numericIntent can ONLY come from numericNarrowing expressions
+ * INVARIANT 2: Array indices must have Int32 proof (TSN5107)
+ * INVARIANT 3: Literals must be in range for their target type (TSN5102)
+ * INVARIANT 4: Binary operations follow C# promotion rules (TSN5103)
+ *
+ * These tests act as regression guards - any refactor that breaks these
+ * invariants will cause compilation failures or runtime unsoundness.
+ */
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { runNumericProofPass } from "./numeric-proof-pass.js";
+/**
+ * Helper to create a minimal module with statements
+ */
+const createModule = (body, filePath = "/src/test.ts") => ({
+    kind: "module",
+    filePath,
+    namespace: "Test",
+    className: "test",
+    isStaticContainer: true,
+    imports: [],
+    body,
+    exports: [],
+});
+/**
+ * Helper to create a variable declaration with an expression
+ */
+const createVarDecl = (name, init, declarationKind = "const") => ({
+    kind: "variableDeclaration",
+    declarationKind,
+    isExported: false,
+    declarations: [
+        {
+            kind: "variableDeclarator",
+            name: { kind: "identifierPattern", name },
+            initializer: init,
+        },
+    ],
+});
+/**
+ * Helper to create a numeric literal
+ */
+const numLiteral = (value, raw) => ({
+    kind: "literal",
+    value,
+    raw: raw ?? String(value),
+    inferredType: { kind: "primitiveType", name: "number" },
+});
+/**
+ * Helper to create a numeric narrowing expression
+ */
+const narrowTo = (expr, targetKind) => ({
+    kind: "numericNarrowing",
+    expression: expr,
+    targetKind,
+    inferredType: {
+        kind: "primitiveType",
+        name: "number",
+        numericIntent: targetKind,
+    },
+});
+/**
+ * Helper to create an identifier expression
+ */
+const ident = (name) => ({
+    kind: "identifier",
+    name,
+    inferredType: { kind: "primitiveType", name: "number" },
+});
+/**
+ * Helper to create an array access expression
+ * Includes accessKind: "clrIndexer" to match IR build behavior
+ */
+const arrayAccess = (object, index) => ({
+    kind: "memberAccess",
+    object,
+    property: index,
+    isComputed: true,
+    isOptional: false,
+    accessKind: "clrIndexer", // Set by IR converter for array types
+    inferredType: { kind: "primitiveType", name: "number" },
+});
+/**
+ * Helper to create an array identifier
+ */
+const arrayIdent = (name) => ({
+    kind: "identifier",
+    name,
+    inferredType: {
+        kind: "arrayType",
+        elementType: { kind: "primitiveType", name: "number" },
+    },
+});
+describe("Numeric Proof Invariants", () => {
+    describe("INVARIANT 1: numericIntent ONLY from numericNarrowing", () => {
+        it("should attach numericIntent to variable initialized via narrowing", () => {
+            // const x = 42 as int;
+            const module = createModule([
+                createVarDecl("x", narrowTo(numLiteral(42), "Int32")),
+            ]);
+            const result = runNumericProofPass([module]);
+            expect(result.ok).to.be.true;
+            expect(result.diagnostics).to.have.length(0);
+            // Verify the narrowing has proof attached
+            const decl = result.modules[0]?.body[0];
+            expect(decl?.kind).to.equal("variableDeclaration");
+            if (decl?.kind === "variableDeclaration") {
+                const init = decl.declarations[0]?.initializer;
+                expect(init?.kind).to.equal("numericNarrowing");
+                if (init?.kind === "numericNarrowing") {
+                    expect(init.proof).to.not.be.undefined;
+                    expect(init.proof?.kind).to.equal("Int32");
+                }
+            }
+        });
+        it("should propagate numericIntent to identifiers referencing narrowed variables", () => {
+            // const x = 42 as int;
+            // const y = x + 1;  // x should have Int32 intent
+            const module = createModule([
+                createVarDecl("x", narrowTo(numLiteral(42), "Int32")),
+                createVarDecl("y", {
+                    kind: "binary",
+                    operator: "+",
+                    left: ident("x"),
+                    right: numLiteral(1),
+                    inferredType: { kind: "primitiveType", name: "number" },
+                }),
+            ]);
+            const result = runNumericProofPass([module]);
+            expect(result.ok).to.be.true;
+            // y's binary expression should have Int32 result (Int32 + Int32)
+            const yDecl = result.modules[0]?.body[1];
+            expect(yDecl?.kind).to.equal("variableDeclaration");
+            if (yDecl?.kind === "variableDeclaration") {
+                const yInit = yDecl.declarations[0]?.initializer;
+                expect(yInit?.kind).to.equal("binary");
+                if (yInit?.kind === "binary") {
+                    expect(yInit.inferredType?.kind).to.equal("primitiveType");
+                    if (yInit.inferredType?.kind === "primitiveType") {
+                        expect(yInit.inferredType.numericIntent).to.equal("Int32");
+                    }
+                }
+            }
+        });
+        it("should NOT attach numericIntent to bare literals without narrowing", () => {
+            // const x = 42;  // No narrowing, should be Double (default)
+            const module = createModule([createVarDecl("x", numLiteral(42))]);
+            const result = runNumericProofPass([module]);
+            expect(result.ok).to.be.true;
+            // The literal itself doesn't get numericIntent added - it follows C# default
+            // Integer-looking literals default to Int32 if in range
+            // This is fine - the invariant is about explicit narrowing being the ONLY
+            // way to FORCE a specific type. Inference follows C# semantics.
+        });
+    });
+    describe("INVARIANT 2: Array indices must be Int32 (TSN5107)", () => {
+        it("should ACCEPT array access with Int32-narrowed index", () => {
+            // const arr = [1, 2, 3];
+            // const idx = 1 as int;
+            // const x = arr[idx];
+            const module = createModule([
+                createVarDecl("arr", {
+                    kind: "array",
+                    elements: [numLiteral(1), numLiteral(2), numLiteral(3)],
+                    inferredType: {
+                        kind: "arrayType",
+                        elementType: { kind: "primitiveType", name: "number" },
+                    },
+                }),
+                createVarDecl("idx", narrowTo(numLiteral(1), "Int32")),
+                createVarDecl("x", arrayAccess(arrayIdent("arr"), ident("idx"))),
+            ]);
+            const result = runNumericProofPass([module]);
+            expect(result.ok).to.be.true;
+            expect(result.diagnostics).to.have.length(0);
+        });
+        it("should ACCEPT array access with integer literal in Int32 range", () => {
+            // const arr = [1, 2, 3];
+            // const x = arr[1];  // 1 is valid Int32 literal
+            const module = createModule([
+                createVarDecl("arr", {
+                    kind: "array",
+                    elements: [numLiteral(1), numLiteral(2), numLiteral(3)],
+                    inferredType: {
+                        kind: "arrayType",
+                        elementType: { kind: "primitiveType", name: "number" },
+                    },
+                }),
+                createVarDecl("x", arrayAccess(arrayIdent("arr"), numLiteral(1))),
+            ]);
+            const result = runNumericProofPass([module]);
+            expect(result.ok).to.be.true;
+            expect(result.diagnostics).to.have.length(0);
+        });
+        it("should REJECT array access with Double index", () => {
+            // const arr = [1, 2, 3];
+            // const idx = 1.5;
+            // const x = arr[idx];  // ERROR: Double is not Int32
+            const module = createModule([
+                createVarDecl("arr", {
+                    kind: "array",
+                    elements: [numLiteral(1), numLiteral(2), numLiteral(3)],
+                    inferredType: {
+                        kind: "arrayType",
+                        elementType: { kind: "primitiveType", name: "number" },
+                    },
+                }),
+                createVarDecl("idx", numLiteral(1.5, "1.5")),
+                createVarDecl("x", arrayAccess(arrayIdent("arr"), ident("idx"))),
+            ]);
+            const result = runNumericProofPass([module]);
+            expect(result.ok).to.be.false;
+            expect(result.diagnostics.length).to.be.greaterThan(0);
+            expect(result.diagnostics[0]?.code).to.equal("TSN5107");
+        });
+        it("should REJECT array access with unnarowed identifier", () => {
+            // const arr = [1, 2, 3];
+            // const idx = someFunction();  // Unknown numeric type
+            // const x = arr[idx];  // ERROR: Unknown is not Int32
+            const unknownIdent = {
+                kind: "identifier",
+                name: "idx",
+                // No inferredType - simulates unknown type
+            };
+            const module = createModule([
+                createVarDecl("arr", {
+                    kind: "array",
+                    elements: [numLiteral(1), numLiteral(2), numLiteral(3)],
+                    inferredType: {
+                        kind: "arrayType",
+                        elementType: { kind: "primitiveType", name: "number" },
+                    },
+                }),
+                createVarDecl("x", arrayAccess(arrayIdent("arr"), unknownIdent)),
+            ]);
+            const result = runNumericProofPass([module]);
+            expect(result.ok).to.be.false;
+            expect(result.diagnostics.length).to.be.greaterThan(0);
+            expect(result.diagnostics[0]?.code).to.equal("TSN5107");
+        });
+    });
+    describe("INVARIANT 3: Literal range validation (TSN5102)", () => {
+        it("should ACCEPT Int32 literal in valid range", () => {
+            // const x = 2147483647 as int;  // Max Int32
+            const module = createModule([
+                createVarDecl("x", narrowTo(numLiteral(2147483647, "2147483647"), "Int32")),
+            ]);
+            const result = runNumericProofPass([module]);
+            expect(result.ok).to.be.true;
+            expect(result.diagnostics).to.have.length(0);
+        });
+        it("should REJECT Int32 literal out of range (overflow)", () => {
+            // const x = 2147483648 as int;  // Max Int32 + 1 = OVERFLOW
+            const module = createModule([
+                createVarDecl("x", narrowTo(numLiteral(2147483648, "2147483648"), "Int32")),
+            ]);
+            const result = runNumericProofPass([module]);
+            expect(result.ok).to.be.false;
+            expect(result.diagnostics).to.have.length(1);
+            expect(result.diagnostics[0]?.code).to.equal("TSN5102");
+        });
+        it("should REJECT Int32 literal with negative overflow", () => {
+            // const x = -2147483649 as int;  // Min Int32 - 1 = OVERFLOW
+            const module = createModule([
+                createVarDecl("x", narrowTo(numLiteral(-2147483649, "-2147483649"), "Int32")),
+            ]);
+            const result = runNumericProofPass([module]);
+            expect(result.ok).to.be.false;
+            expect(result.diagnostics).to.have.length(1);
+            expect(result.diagnostics[0]?.code).to.equal("TSN5102");
+        });
+        it("should ACCEPT Byte literal in valid range", () => {
+            // const x = 255 as byte;  // Max Byte
+            const module = createModule([
+                createVarDecl("x", narrowTo(numLiteral(255, "255"), "Byte")),
+            ]);
+            const result = runNumericProofPass([module]);
+            expect(result.ok).to.be.true;
+            expect(result.diagnostics).to.have.length(0);
+        });
+        it("should REJECT Byte literal out of range", () => {
+            // const x = 256 as byte;  // Max Byte + 1 = OVERFLOW
+            const module = createModule([
+                createVarDecl("x", narrowTo(numLiteral(256, "256"), "Byte")),
+            ]);
+            const result = runNumericProofPass([module]);
+            expect(result.ok).to.be.false;
+            expect(result.diagnostics).to.have.length(1);
+            expect(result.diagnostics[0]?.code).to.equal("TSN5102");
+        });
+        it("should REJECT float literal narrowed to integer type", () => {
+            // const x = 3.14 as int;  // Float cannot narrow to Int32
+            const module = createModule([
+                createVarDecl("x", narrowTo(numLiteral(3.14, "3.14"), "Int32")),
+            ]);
+            const result = runNumericProofPass([module]);
+            expect(result.ok).to.be.false;
+            expect(result.diagnostics).to.have.length(1);
+            expect(result.diagnostics[0]?.code).to.equal("TSN5102");
+        });
+    });
+    describe("INVARIANT 3b: JS Safe Integer range (TSN5108)", () => {
+        it("should ACCEPT value at MAX_SAFE_INTEGER boundary", () => {
+            // const x = 9007199254740991 as long;  // 2^53 - 1, exactly MAX_SAFE_INTEGER
+            const module = createModule([
+                createVarDecl("x", narrowTo(numLiteral(9007199254740991, "9007199254740991"), "Int64")),
+            ]);
+            const result = runNumericProofPass([module]);
+            expect(result.ok).to.be.true;
+            expect(result.diagnostics).to.have.length(0);
+        });
+        it("should REJECT value exceeding MAX_SAFE_INTEGER", () => {
+            // const x = 9007199254740992 as long;  // 2^53, one more than MAX_SAFE_INTEGER
+            const module = createModule([
+                createVarDecl("x", narrowTo(numLiteral(9007199254740992, "9007199254740992"), "Int64")),
+            ]);
+            const result = runNumericProofPass([module]);
+            expect(result.ok).to.be.false;
+            expect(result.diagnostics).to.have.length(1);
+            expect(result.diagnostics[0]?.code).to.equal("TSN5108");
+        });
+        it("should ACCEPT value at MIN_SAFE_INTEGER boundary", () => {
+            // const x = -9007199254740991 as long;  // -(2^53 - 1), exactly MIN_SAFE_INTEGER
+            const module = createModule([
+                createVarDecl("x", narrowTo(numLiteral(-9007199254740991, "-9007199254740991"), "Int64")),
+            ]);
+            const result = runNumericProofPass([module]);
+            expect(result.ok).to.be.true;
+            expect(result.diagnostics).to.have.length(0);
+        });
+        it("should REJECT value below MIN_SAFE_INTEGER", () => {
+            // const x = -9007199254740992 as long;  // -(2^53), one less than MIN_SAFE_INTEGER
+            const module = createModule([
+                createVarDecl("x", narrowTo(numLiteral(-9007199254740992, "-9007199254740992"), "Int64")),
+            ]);
+            const result = runNumericProofPass([module]);
+            expect(result.ok).to.be.false;
+            expect(result.diagnostics).to.have.length(1);
+            expect(result.diagnostics[0]?.code).to.equal("TSN5108");
+        });
+    });
+    describe("INVARIANT 4: Binary operation type promotion (TSN5103)", () => {
+        it("should ACCEPT Int32 + Int32 narrowed to Int32", () => {
+            // const x = (1 as int) + (2 as int) as int;
+            const module = createModule([
+                createVarDecl("x", narrowTo({
+                    kind: "binary",
+                    operator: "+",
+                    left: narrowTo(numLiteral(1), "Int32"),
+                    right: narrowTo(numLiteral(2), "Int32"),
+                    inferredType: { kind: "primitiveType", name: "number" },
+                }, "Int32")),
+            ]);
+            const result = runNumericProofPass([module]);
+            expect(result.ok).to.be.true;
+            expect(result.diagnostics).to.have.length(0);
+        });
+        it("should REJECT Int32 + Double narrowed to Int32 (promotes to Double)", () => {
+            // const x = (1 as int) + (2.0 as double) as int;  // ERROR: Double + Int32 = Double
+            const module = createModule([
+                createVarDecl("x", narrowTo({
+                    kind: "binary",
+                    operator: "+",
+                    left: narrowTo(numLiteral(1), "Int32"),
+                    right: narrowTo(numLiteral(2.0, "2.0"), "Double"),
+                    inferredType: { kind: "primitiveType", name: "number" },
+                }, "Int32")),
+            ]);
+            const result = runNumericProofPass([module]);
+            expect(result.ok).to.be.false;
+            expect(result.diagnostics).to.have.length(1);
+            expect(result.diagnostics[0]?.code).to.equal("TSN5103");
+        });
+        it("should ACCEPT Int32 + Int64 narrowed to Int64 (promotion)", () => {
+            // const x = (1 as int) + (2 as long) as long;  // Int32 + Int64 = Int64
+            const module = createModule([
+                createVarDecl("x", narrowTo({
+                    kind: "binary",
+                    operator: "+",
+                    left: narrowTo(numLiteral(1), "Int32"),
+                    right: narrowTo(numLiteral(2), "Int64"),
+                    inferredType: { kind: "primitiveType", name: "number" },
+                }, "Int64")),
+            ]);
+            const result = runNumericProofPass([module]);
+            expect(result.ok).to.be.true;
+            expect(result.diagnostics).to.have.length(0);
+        });
+    });
+    describe("Source Span Accuracy", () => {
+        it("should include sourceSpan in diagnostic when available", () => {
+            // Create a narrowing with explicit source span
+            const narrowingWithSpan = {
+                kind: "numericNarrowing",
+                expression: numLiteral(2147483648, "2147483648"),
+                targetKind: "Int32",
+                inferredType: {
+                    kind: "primitiveType",
+                    name: "number",
+                    numericIntent: "Int32",
+                },
+                sourceSpan: {
+                    file: "/src/test.ts",
+                    line: 10,
+                    column: 15,
+                    length: 12,
+                },
+            };
+            const module = createModule([createVarDecl("x", narrowingWithSpan)]);
+            const result = runNumericProofPass([module]);
+            expect(result.ok).to.be.false;
+            expect(result.diagnostics).to.have.length(1);
+            const diag = result.diagnostics[0];
+            expect(diag?.location).to.not.be.undefined;
+            // Source span should be from the expression, not default (line 1, col 1)
+            // It may be from the literal or the narrowing depending on implementation
+            expect(diag?.location?.file).to.equal("/src/test.ts");
+        });
+    });
+    describe("Proven Variable Propagation", () => {
+        it("should track proven variable through multiple uses", () => {
+            // const idx = 0 as int;
+            // const a = arr[idx];
+            // const b = arr[idx];  // idx should still be proven Int32
+            const module = createModule([
+                createVarDecl("arr", {
+                    kind: "array",
+                    elements: [numLiteral(1), numLiteral(2), numLiteral(3)],
+                    inferredType: {
+                        kind: "arrayType",
+                        elementType: { kind: "primitiveType", name: "number" },
+                    },
+                }),
+                createVarDecl("idx", narrowTo(numLiteral(0), "Int32")),
+                createVarDecl("a", arrayAccess(arrayIdent("arr"), ident("idx"))),
+                createVarDecl("b", arrayAccess(arrayIdent("arr"), ident("idx"))),
+            ]);
+            const result = runNumericProofPass([module]);
+            expect(result.ok).to.be.true;
+            expect(result.diagnostics).to.have.length(0);
+        });
+    });
+    /**
+     * ALICE'S REQUIRED TESTS: Proof propagation for array index expressions
+     *
+     * These tests verify that the proof pass correctly annotates array indices
+     * with numericIntent:Int32, which the emitter relies on (without re-deriving proofs).
+     */
+    describe("Array Index Proof Propagation (Alice's Requirements)", () => {
+        it("arr[0] - bare literal gets numericIntent:Int32", () => {
+            // const arr = [1, 2, 3];
+            // const x = arr[0];  // 0 should get numericIntent:Int32 after proof pass
+            const module = createModule([
+                createVarDecl("arr", {
+                    kind: "array",
+                    elements: [numLiteral(1), numLiteral(2), numLiteral(3)],
+                    inferredType: {
+                        kind: "arrayType",
+                        elementType: { kind: "primitiveType", name: "number" },
+                    },
+                }),
+                createVarDecl("x", arrayAccess(arrayIdent("arr"), numLiteral(0))),
+            ]);
+            const result = runNumericProofPass([module]);
+            expect(result.ok).to.be.true;
+            // Find the array access in the processed module
+            const varDecl = result.modules[0]?.body[1];
+            expect(varDecl?.kind).to.equal("variableDeclaration");
+            if (varDecl?.kind === "variableDeclaration") {
+                const access = varDecl.declarations[0]
+                    ?.initializer;
+                expect(access?.kind).to.equal("memberAccess");
+                const indexExpr = access.property;
+                expect(typeof indexExpr).to.not.equal("string");
+                if (typeof indexExpr !== "string") {
+                    // Index should have numericIntent:Int32 after proof pass
+                    expect(indexExpr.inferredType?.kind).to.equal("primitiveType");
+                    if (indexExpr.inferredType?.kind === "primitiveType") {
+                        expect(indexExpr.inferredType.numericIntent).to.equal("Int32");
+                    }
+                }
+            }
+        });
+        it("arr[i] where i=0 - inferred Int32 propagates to index", () => {
+            // const i = 0;  // i inferred as Int32 (integer literal in range)
+            // const arr = [1, 2, 3];
+            // const x = arr[i];  // i should propagate Int32 to index
+            const module = createModule([
+                createVarDecl("i", numLiteral(0)),
+                createVarDecl("arr", {
+                    kind: "array",
+                    elements: [numLiteral(1), numLiteral(2), numLiteral(3)],
+                    inferredType: {
+                        kind: "arrayType",
+                        elementType: { kind: "primitiveType", name: "number" },
+                    },
+                }),
+                createVarDecl("x", arrayAccess(arrayIdent("arr"), ident("i"))),
+            ]);
+            const result = runNumericProofPass([module]);
+            // Should pass - i is proven Int32 from its integer literal initialization
+            expect(result.ok).to.be.true;
+            expect(result.diagnostics).to.have.length(0);
+            // Verify the index expression has numericIntent:Int32
+            const varDecl = result.modules[0]?.body[2];
+            expect(varDecl?.kind).to.equal("variableDeclaration");
+            if (varDecl?.kind === "variableDeclaration") {
+                const access = varDecl.declarations[0]
+                    ?.initializer;
+                const indexExpr = access.property;
+                if (typeof indexExpr !== "string") {
+                    expect(indexExpr.inferredType?.kind).to.equal("primitiveType");
+                    if (indexExpr.inferredType?.kind === "primitiveType") {
+                        expect(indexExpr.inferredType.numericIntent).to.equal("Int32");
+                    }
+                }
+            }
+        });
+        it("arr[i] where i=0.0 - Double rejected with TSN5107", () => {
+            // const i = 0.0;  // i is Double (has decimal point)
+            // const arr = [1, 2, 3];
+            // const x = arr[i];  // SHOULD FAIL: Double is not Int32
+            const module = createModule([
+                createVarDecl("i", numLiteral(0.0, "0.0")), // raw has decimal point
+                createVarDecl("arr", {
+                    kind: "array",
+                    elements: [numLiteral(1), numLiteral(2), numLiteral(3)],
+                    inferredType: {
+                        kind: "arrayType",
+                        elementType: { kind: "primitiveType", name: "number" },
+                    },
+                }),
+                createVarDecl("x", arrayAccess(arrayIdent("arr"), ident("i"))),
+            ]);
+            const result = runNumericProofPass([module]);
+            expect(result.ok).to.be.false;
+            expect(result.diagnostics.length).to.be.greaterThan(0);
+            expect(result.diagnostics[0]?.code).to.equal("TSN5107");
+        });
+        it("for loop counter is proven Int32 for array access", () => {
+            // Simulates: for (let i = 0; i < arr.length; i++) { arr[i] }
+            // The loop counter i, initialized from integer literal, should be Int32
+            const module = createModule([
+                createVarDecl("arr", {
+                    kind: "array",
+                    elements: [numLiteral(1), numLiteral(2), numLiteral(3)],
+                    inferredType: {
+                        kind: "arrayType",
+                        elementType: { kind: "primitiveType", name: "number" },
+                    },
+                }),
+                // Simulate loop counter initialization
+                createVarDecl("i", numLiteral(0), "let"),
+                // Simulate arr[i] inside loop body
+                createVarDecl("x", arrayAccess(arrayIdent("arr"), ident("i"))),
+            ]);
+            const result = runNumericProofPass([module]);
+            // Should pass - let i = 0 is proven Int32
+            expect(result.ok).to.be.true;
+            expect(result.diagnostics).to.have.length(0);
+        });
+        it("arr[1] - integer literal 1 gets numericIntent:Int32", () => {
+            // Specifically test literal 1 (not just 0)
+            const module = createModule([
+                createVarDecl("arr", {
+                    kind: "array",
+                    elements: [numLiteral(1), numLiteral(2), numLiteral(3)],
+                    inferredType: {
+                        kind: "arrayType",
+                        elementType: { kind: "primitiveType", name: "number" },
+                    },
+                }),
+                createVarDecl("x", arrayAccess(arrayIdent("arr"), numLiteral(1))),
+            ]);
+            const result = runNumericProofPass([module]);
+            expect(result.ok).to.be.true;
+            // Verify the literal 1 gets numericIntent:Int32
+            const varDecl = result.modules[0]?.body[1];
+            if (varDecl?.kind === "variableDeclaration") {
+                const access = varDecl.declarations[0]
+                    ?.initializer;
+                const indexExpr = access.property;
+                if (typeof indexExpr !== "string") {
+                    expect(indexExpr.inferredType?.kind).to.equal("primitiveType");
+                    if (indexExpr.inferredType?.kind === "primitiveType") {
+                        expect(indexExpr.inferredType.numericIntent).to.equal("Int32");
+                    }
+                }
+            }
+        });
+    });
+});
+//# sourceMappingURL=numeric-invariants.test.js.map

package/dist/ir/validation/numeric-invariants.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"numeric-invariants.test.js","sourceRoot":"","sources":["../../../src/ir/validation/numeric-invariants.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAS9D;;GAEG;AACH,MAAM,YAAY,GAAG,CACnB,IAAmB,EACnB,QAAQ,GAAG,cAAc,EACf,EAAE,CAAC,CAAC;IACd,IAAI,EAAE,QAAQ;IACd,QAAQ;IACR,SAAS,EAAE,MAAM;IACjB,SAAS,EAAE,MAAM;IACjB,iBAAiB,EAAE,IAAI;IACvB,OAAO,EAAE,EAAE;IACX,IAAI;IACJ,OAAO,EAAE,EAAE;CACZ,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,aAAa,GAAG,CACpB,IAAY,EACZ,IAAkB,EAClB,kBAAmC,OAAO,EAC7B,EAAE,CAAC,CAAC;IACjB,IAAI,EAAE,qBAAqB;IAC3B,eAAe;IACf,UAAU,EAAE,KAAK;IACjB,YAAY,EAAE;QACZ;YACE,IAAI,EAAE,oBAAoB;YAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE;YACzC,WAAW,EAAE,IAAI;SAClB;KACF;CACF,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,UAAU,GAAG,CAAC,KAAa,EAAE,GAAY,EAAgB,EAAE,CAAC,CAAC;IACjE,IAAI,EAAE,SAAS;IACf,KAAK;IACL,GAAG,EAAE,GAAG,IAAI,MAAM,CAAC,KAAK,CAAC;IACzB,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;CACxD,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,QAAQ,GAAG,CACf,IAAkB,EAClB,UAAiD,EACnB,EAAE,CAAC,CAAC;IAClC,IAAI,EAAE,kBAAkB;IACxB,UAAU,EAAE,IAAI;IAChB,UAAU;IACV,YAAY,EAAE;QACZ,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,QAAQ;QACd,aAAa,EAAE,UAAU;KAC1B;CACF,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,KAAK,GAAG,CAAC,IAAY,EAAgB,EAAE,CAAC,CAAC;IAC7C,IAAI,EAAE,YAAY;IAClB,IAAI;IACJ,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;CACxD,CAAC,CAAC;AAEH;;;GAGG;AACH,MAAM,WAAW,GAAG,CAClB,MAAoB,EACpB,KAAmB,EACL,EAAE,CAAC,CAAC;IAClB,IAAI,EAAE,cAAc;IACpB,MAAM;IACN,QAAQ,EAAE,KAAK;IACf,UAAU,EAAE,IAAI;IAChB,UAAU,EAAE,KAAK;IACjB,UAAU,EAAE,YAAY,EAAE,sCAAsC;IAChE,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;CACxD,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,UAAU,GAAG,CAAC,IAAY,EAAgB,EAAE,CAAC,CAAC;IAClD,IAAI,EAAE,YAAY;IAClB,IAAI;IACJ,YAAY,EAAE;QACZ,IAAI,EAAE,WAAW;QACjB,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;KACvD;CACF,CAAC,CAAC;AAEH,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,QAAQ,CAAC,uDAAuD,EAAE,GAAG,EAAE;QACrE,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;YAC3E,uBAAuB;YACvB,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B,aAAa,CAAC,GAAG,EAAE,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC;aACtD,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAE7C,0CAA0C;YAC1C,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;YACxC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;YACnD,IAAI,IAAI,EAAE,IAAI,KAAK,qBAAqB,EAAE,CAAC;gBACzC,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC;gBAC/C,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;gBAChD,IAAI,IAAI,EAAE,IAAI,KAAK,kBAAkB,EAAE,CAAC;oBACtC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC;oBACvC,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;gBAC7C,CAAC;YACH,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8EAA8E,EAAE,GAAG,EAAE;YACtF,uBAAuB;YACvB,kDAAkD;YAClD,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B,aAAa,CAAC,GAAG,EAAE,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC;gBACrD,aAAa,CAAC,GAAG,EAAE;oBACjB,IAAI,EAAE,QAAQ;oBACd,QAAQ,EAAE,GAAG;oBACb,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC;oBAChB,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC;oBACpB,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;iBACxD,CAAC;aACH,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAE7B,iEAAiE;YACjE,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;YACzC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;YACpD,IAAI,KAAK,EAAE,IAAI,KAAK,qBAAqB,EAAE,CAAC;gBAC1C,MAAM,KAAK,GAAG,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC;gBACjD,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;gBACvC,IAAI,KAAK,EAAE,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC7B,MAAM,CAAC,KAAK,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;oBAC3D,IAAI,KAAK,CAAC,YAAY,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;wBACjD,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;oBAC7D,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;YAC5E,6DAA6D;YAC7D,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,aAAa,CAAC,GAAG,EAAE,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAElE,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAE7B,6EAA6E;YAC7E,wDAAwD;YACxD,0EAA0E;YAC1E,gEAAgE;QAClE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAClE,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;YAC9D,yBAAyB;YACzB,wBAAwB;YACxB,sBAAsB;YACtB,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B,aAAa,CAAC,KAAK,EAAE;oBACnB,IAAI,EAAE,OAAO;oBACb,QAAQ,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;oBACvD,YAAY,EAAE;wBACZ,IAAI,EAAE,WAAW;wBACjB,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;qBACvD;iBACF,CAAC;gBACF,aAAa,CAAC,KAAK,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;gBACtD,aAAa,CAAC,GAAG,EAAE,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;aACjE,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;YACxE,yBAAyB;YACzB,iDAAiD;YACjD,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B,aAAa,CAAC,KAAK,EAAE;oBACnB,IAAI,EAAE,OAAO;oBACb,QAAQ,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;oBACvD,YAAY,EAAE;wBACZ,IAAI,EAAE,WAAW;wBACjB,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;qBACvD;iBACF,CAAC;gBACF,aAAa,CAAC,GAAG,EAAE,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;aAClE,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;YACtD,yBAAyB;YACzB,mBAAmB;YACnB,qDAAqD;YACrD,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B,aAAa,CAAC,KAAK,EAAE;oBACnB,IAAI,EAAE,OAAO;oBACb,QAAQ,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;oBACvD,YAAY,EAAE;wBACZ,IAAI,EAAE,WAAW;wBACjB,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;qBACvD;iBACF,CAAC;gBACF,aAAa,CAAC,KAAK,EAAE,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;gBAC5C,aAAa,CAAC,GAAG,EAAE,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;aACjE,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;YACvD,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;YAC9D,yBAAyB;YACzB,uDAAuD;YACvD,sDAAsD;YACtD,MAAM,YAAY,GAAiB;gBACjC,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,KAAK;gBACX,2CAA2C;aAC5C,CAAC;YAEF,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B,aAAa,CAAC,KAAK,EAAE;oBACnB,IAAI,EAAE,OAAO;oBACb,QAAQ,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;oBACvD,YAAY,EAAE;wBACZ,IAAI,EAAE,WAAW;wBACjB,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;qBACvD;iBACF,CAAC;gBACF,aAAa,CAAC,GAAG,EAAE,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,YAAY,CAAC,CAAC;aACjE,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;YACvD,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,iDAAiD,EAAE,GAAG,EAAE;QAC/D,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;YACpD,6CAA6C;YAC7C,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B,aAAa,CACX,GAAG,EACH,QAAQ,CAAC,UAAU,CAAC,UAAU,EAAE,YAAY,CAAC,EAAE,OAAO,CAAC,CACxD;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;YAC7D,4DAA4D;YAC5D,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B,aAAa,CACX,GAAG,EACH,QAAQ,CAAC,UAAU,CAAC,UAAU,EAAE,YAAY,CAAC,EAAE,OAAO,CAAC,CACxD;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC7C,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;YAC5D,6DAA6D;YAC7D,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B,aAAa,CACX,GAAG,EACH,QAAQ,CAAC,UAAU,CAAC,CAAC,UAAU,EAAE,aAAa,CAAC,EAAE,OAAO,CAAC,CAC1D;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC7C,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;YACnD,sCAAsC;YACtC,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B,aAAa,CAAC,GAAG,EAAE,QAAQ,CAAC,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC;aAC7D,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;YACjD,qDAAqD;YACrD,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B,aAAa,CAAC,GAAG,EAAE,QAAQ,CAAC,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC;aAC7D,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC7C,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;YAC9D,0DAA0D;YAC1D,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B,aAAa,CAAC,GAAG,EAAE,QAAQ,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;aAChE,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC7C,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,+CAA+C,EAAE,GAAG,EAAE;QAC7D,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;YAC1D,6EAA6E;YAC7E,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B,aAAa,CACX,GAAG,EACH,QAAQ,CAAC,UAAU,CAAC,gBAAgB,EAAE,kBAAkB,CAAC,EAAE,OAAO,CAAC,CACpE;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;YACxD,+EAA+E;YAC/E,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B,aAAa,CACX,GAAG,EACH,QAAQ,CAAC,UAAU,CAAC,gBAAgB,EAAE,kBAAkB,CAAC,EAAE,OAAO,CAAC,CACpE;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC7C,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;YAC1D,iFAAiF;YACjF,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B,aAAa,CACX,GAAG,EACH,QAAQ,CAAC,UAAU,CAAC,CAAC,gBAAgB,EAAE,mBAAmB,CAAC,EAAE,OAAO,CAAC,CACtE;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;YACpD,mFAAmF;YACnF,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B,aAAa,CACX,GAAG,EACH,QAAQ,CAAC,UAAU,CAAC,CAAC,gBAAgB,EAAE,mBAAmB,CAAC,EAAE,OAAO,CAAC,CACtE;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC7C,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,wDAAwD,EAAE,GAAG,EAAE;QACtE,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;YACvD,4CAA4C;YAC5C,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B,aAAa,CACX,GAAG,EACH,QAAQ,CACN;oBACE,IAAI,EAAE,QAAQ;oBACd,QAAQ,EAAE,GAAG;oBACb,IAAI,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC;oBACtC,KAAK,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC;oBACvC,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;iBACxD,EACD,OAAO,CACR,CACF;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;YAC7E,oFAAoF;YACpF,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B,aAAa,CACX,GAAG,EACH,QAAQ,CACN;oBACE,IAAI,EAAE,QAAQ;oBACd,QAAQ,EAAE,GAAG;oBACb,IAAI,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC;oBACtC,KAAK,EAAE,QAAQ,CAAC,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,QAAQ,CAAC;oBACjD,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;iBACxD,EACD,OAAO,CACR,CACF;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC7C,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;YACnE,wEAAwE;YACxE,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B,aAAa,CACX,GAAG,EACH,QAAQ,CACN;oBACE,IAAI,EAAE,QAAQ;oBACd,QAAQ,EAAE,GAAG;oBACb,IAAI,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC;oBACtC,KAAK,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC;oBACvC,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;iBACxD,EACD,OAAO,CACR,CACF;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;QACpC,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;YAChE,+CAA+C;YAC/C,MAAM,iBAAiB,GAAiC;gBACtD,IAAI,EAAE,kBAAkB;gBACxB,UAAU,EAAE,UAAU,CAAC,UAAU,EAAE,YAAY,CAAC;gBAChD,UAAU,EAAE,OAAO;gBACnB,YAAY,EAAE;oBACZ,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,QAAQ;oBACd,aAAa,EAAE,OAAO;iBACvB;gBACD,UAAU,EAAE;oBACV,IAAI,EAAE,cAAc;oBACpB,IAAI,EAAE,EAAE;oBACR,MAAM,EAAE,EAAE;oBACV,MAAM,EAAE,EAAE;iBACX;aACF,CAAC;YAEF,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,aAAa,CAAC,GAAG,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC;YAErE,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAE7C,MAAM,IAAI,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;YACnC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC;YAC3C,yEAAyE;YACzE,0EAA0E;YAC1E,MAAM,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;QACxD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,6BAA6B,EAAE,GAAG,EAAE;QAC3C,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;YAC5D,wBAAwB;YACxB,sBAAsB;YACtB,2DAA2D;YAC3D,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B,aAAa,CAAC,KAAK,EAAE;oBACnB,IAAI,EAAE,OAAO;oBACb,QAAQ,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;oBACvD,YAAY,EAAE;wBACZ,IAAI,EAAE,WAAW;wBACjB,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;qBACvD;iBACF,CAAC;gBACF,aAAa,CAAC,KAAK,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;gBACtD,aAAa,CAAC,GAAG,EAAE,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;gBAChE,aAAa,CAAC,GAAG,EAAE,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;aACjE,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH;;;;;OAKG;IACH,QAAQ,CAAC,sDAAsD,EAAE,GAAG,EAAE;QACpE,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;YACxD,yBAAyB;YACzB,0EAA0E;YAC1E,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B,aAAa,CAAC,KAAK,EAAE;oBACnB,IAAI,EAAE,OAAO;oBACb,QAAQ,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;oBACvD,YAAY,EAAE;wBACZ,IAAI,EAAE,WAAW;wBACjB,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;qBACvD;iBACF,CAAC;gBACF,aAAa,CAAC,GAAG,EAAE,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;aAClE,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAC7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAE7B,gDAAgD;YAChD,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;YAC3C,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;YACtD,IAAI,OAAO,EAAE,IAAI,KAAK,qBAAqB,EAAE,CAAC;gBAC5C,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC;oBACpC,EAAE,WAAiC,CAAC;gBACtC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;gBAE9C,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC;gBAClC,MAAM,CAAC,OAAO,SAAS,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;gBAChD,IAAI,OAAO,SAAS,KAAK,QAAQ,EAAE,CAAC;oBAClC,yDAAyD;oBACzD,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;oBAC/D,IAAI,SAAS,CAAC,YAAY,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;wBACrD,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;oBACjE,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;YAC/D,kEAAkE;YAClE,yBAAyB;YACzB,0DAA0D;YAC1D,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B,aAAa,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;gBACjC,aAAa,CAAC,KAAK,EAAE;oBACnB,IAAI,EAAE,OAAO;oBACb,QAAQ,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;oBACvD,YAAY,EAAE;wBACZ,IAAI,EAAE,WAAW;wBACjB,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;qBACvD;iBACF,CAAC;gBACF,aAAa,CAAC,GAAG,EAAE,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;aAC/D,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,0EAA0E;YAC1E,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAE7C,sDAAsD;YACtD,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;YAC3C,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;YACtD,IAAI,OAAO,EAAE,IAAI,KAAK,qBAAqB,EAAE,CAAC;gBAC5C,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC;oBACpC,EAAE,WAAiC,CAAC;gBACtC,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC;gBAClC,IAAI,OAAO,SAAS,KAAK,QAAQ,EAAE,CAAC;oBAClC,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;oBAC/D,IAAI,SAAS,CAAC,YAAY,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;wBACrD,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;oBACjE,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;YAC3D,qDAAqD;YACrD,yBAAyB;YACzB,yDAAyD;YACzD,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B,aAAa,CAAC,GAAG,EAAE,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,EAAE,wBAAwB;gBACpE,aAAa,CAAC,KAAK,EAAE;oBACnB,IAAI,EAAE,OAAO;oBACb,QAAQ,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;oBACvD,YAAY,EAAE;wBACZ,IAAI,EAAE,WAAW;wBACjB,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;qBACvD;iBACF,CAAC;gBACF,aAAa,CAAC,GAAG,EAAE,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;aAC/D,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;YACvD,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;YAC3D,6DAA6D;YAC7D,wEAAwE;YACxE,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B,aAAa,CAAC,KAAK,EAAE;oBACnB,IAAI,EAAE,OAAO;oBACb,QAAQ,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;oBACvD,YAAY,EAAE;wBACZ,IAAI,EAAE,WAAW;wBACjB,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;qBACvD;iBACF,CAAC;gBACF,uCAAuC;gBACvC,aAAa,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC;gBACxC,mCAAmC;gBACnC,aAAa,CAAC,GAAG,EAAE,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;aAC/D,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,0CAA0C;YAC1C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;YAC7D,2CAA2C;YAC3C,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B,aAAa,CAAC,KAAK,EAAE;oBACnB,IAAI,EAAE,OAAO;oBACb,QAAQ,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;oBACvD,YAAY,EAAE;wBACZ,IAAI,EAAE,WAAW;wBACjB,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;qBACvD;iBACF,CAAC;gBACF,aAAa,CAAC,GAAG,EAAE,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;aAClE,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAC7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAE7B,gDAAgD;YAChD,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;YAC3C,IAAI,OAAO,EAAE,IAAI,KAAK,qBAAqB,EAAE,CAAC;gBAC5C,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC;oBACpC,EAAE,WAAiC,CAAC;gBACtC,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC;gBAClC,IAAI,OAAO,SAAS,KAAK,QAAQ,EAAE,CAAC;oBAClC,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;oBAC/D,IAAI,SAAS,CAAC,YAAY,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;wBACrD,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;oBACjE,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}