@helix3/helix-cli 0.1.20-helix3.399 → 0.1.21-helix3.402

package/README.md

@@ -346,11 +346,16 @@ A published world ships only its **built bundle**, so there is nothing on the se
   channel for exactly that reason.
 - **Limit**: 128 MiB compressed, checked locally before anything is uploaded.
 
-Before upload, module-based multiplayer worlds are checked for server realizability: every bank must
-be published with the declared checksum and the shared manifest validator must accept all module
-budgets under the 100,000 tick-node ceiling. Fix the named module/bank when this gate refuses a
-publish. For exceptional recovery only, `--skip-realizability-check` bypasses this check; flat-v0
-worlds are unaffected.
+Before upload, multiplayer worlds that install modules are checked for server realizability. A
+module with a `bank` reference must name a bank that is published with the declared checksum (bank
+modules belong to the default `multiplayer` block; the manifest validator refuses one inside a room
+type). A module without `bank` is inline: its rules are in the manifest, so there is nothing to
+resolve. The modules of every program (the default block and each `multiplayer.roomTypes` entry)
+must then fit the 100,000 tick-node ceiling at the number of players that program's room holds: 24
+for a standard default block, a room type's own `maxPlayers` up to 24, and the declared `maxPlayers`
+up to 64 with `capacityClass: "large"`, never fewer than 2. Fix the named module or bank when this
+gate refuses a publish. For exceptional recovery only, `--skip-realizability-check` bypasses this
+check; worlds without modules are unaffected.
 
 The programmatic surface (`publishWorld`, `checkBundle`, `whoAmI`, …) is exported for other CLI
 modules. Agent integrations should instruct or delegate to the `helix` commands above rather than

package/dist/realizability.d.ts

@@ -9,7 +9,12 @@ export type PublishedBank = {
 };
 export type RealizabilityDeps = {
     resolveBank(ref: string): Promise<PublishedBank>;
-    validateBudgets(modules: ModuleDeclaration[], ceiling: number): string[];
+    /**
+     * `playerCap` is the number of players a room of the modules' program can hold, which is what
+     * every per-player budget term is charged at: 24 for a standard default block, a room type's own
+     * seats for a type, and up to 64 for a `capacityClass: "large"` program.
+     */
+    validateBudgets(modules: ModuleDeclaration[], ceiling: number, playerCap: number): string[];
 };
 export type RealizabilityFailure = {
     moduleId: string;

package/dist/realizability.js

@@ -93,6 +93,13 @@ function asModule(value) {
 // and `sha256` — none of which is the published field. Guessing is strictly worse than failing
 // here: if a near-miss field happens to exist, the gate passes on a digest nobody ever agreed on,
 // which is the exact failure this gate exists to prevent.
+// A module with no `bank` key is INLINE: its rules are in the manifest (helix-manifest refuses a
+// module that has both, and refuses a bank ref inside a room type). A `bank` that is present but
+// unreadable is still a malformed ref, never an inline module.
+const INLINE = '<inline>';
+function isInline(module) {
+    return module.bank === undefined || module.bank === null;
+}
 function checksumOf(value) {
     if (!value || typeof value !== 'object')
         return null;
@@ -124,13 +131,14 @@ function registryRealizabilityDeps(apiUrl) {
                 throw err;
             }
         },
-        validateBudgets(modules, ceiling) {
+        validateBudgets(modules, ceiling, playerCap) {
             const contract = manifestContract;
             const validator = contract.validateModuleBudgets ?? contract.validateMultiplayerBudgets;
             if (typeof validator !== 'function') {
                 throw new Error('installed helix-manifest does not provide multiplayer budget validation');
             }
-            const result = validator(modules, ceiling);
+            // A helix-manifest from before large rooms takes two arguments and ignores the third.
+            const result = validator(modules, ceiling, playerCap);
             if (Array.isArray(result))
                 return result.map(String);
             if (result && typeof result === 'object' && Array.isArray(result.errors)) {
@@ -140,20 +148,77 @@ function registryRealizabilityDeps(apiUrl) {
         },
     };
 }
+// The seat caps the room server clamps a room to. Read from the installed helix-manifest so the gate
+// charges what the validator charges; the literals cover a manifest package that predates the
+// exports, and are the values those constants have.
+function seatCap(name, fallback) {
+    const value = manifestContract[name];
+    return typeof value === 'number' && Number.isInteger(value) && value > 0 ? value : fallback;
+}
+function declaredMaxPlayers(value, fallback) {
+    return typeof value === 'number' && Number.isFinite(value) && value >= 1 ? Math.floor(value) : fallback;
+}
+// The room server never seats fewer than this (helix-colyseus-server tuning, MIN_MAX_CLIENTS), so a
+// program that declares maxPlayers 1 still runs in a room of two.
+const MIN_ROOM_SEATS = 2;
+// Every program of the world that carries modules, with the number of players its room can hold.
+// The default block is a standard room of 24 whatever the world's maxPlayers says, unless it
+// declares `capacityClass: "large"`, which is a room of the declared maxPlayers up to 64. A room
+// type is a room of its own: its own maxPlayers, clamped to 24, or to 64 when the type is large.
+// These are helix-manifest's own numbers (`programPlayerCap`), raised to the server's floor of 2.
+// Room-type modules are inline (helix-manifest refuses a bank ref there), so for a room type this
+// is a budget check; a bank ref that reaches here anyway is resolved like any other.
+function modulePrograms(manifest, multiplayer) {
+    const standard = seatCap('PLATFORM_MAX_PLAYERS_PER_ROOM', 24);
+    const large = seatCap('PLATFORM_MAX_PLAYERS_PER_LARGE_ROOM', 64);
+    const programs = [];
+    if (Array.isArray(multiplayer.modules)) {
+        programs.push({
+            label: '',
+            modules: multiplayer.modules,
+            playerCap: multiplayer.capacityClass === 'large'
+                ? Math.max(MIN_ROOM_SEATS, Math.min(declaredMaxPlayers(manifest.maxPlayers, standard), large))
+                : standard,
+        });
+    }
+    const roomTypes = multiplayer.roomTypes;
+    if (roomTypes && typeof roomTypes === 'object' && !Array.isArray(roomTypes)) {
+        for (const [name, raw] of Object.entries(roomTypes)) {
+            if (!raw || typeof raw !== 'object' || Array.isArray(raw))
+                continue;
+            const type = raw;
+            if (!Array.isArray(type.modules))
+                continue;
+            // Absent, a room type's maxPlayers is 10 (helix-manifest, HelixRoomType).
+            const declared = declaredMaxPlayers(type.maxPlayers, 10);
+            programs.push({
+                label: `roomTypes.${name}: `,
+                modules: type.modules,
+                playerCap: Math.max(MIN_ROOM_SEATS, Math.min(declared, type.capacityClass === 'large' ? large : standard)),
+            });
+        }
+    }
+    return programs;
+}
 async function checkRealizability(manifest, deps) {
     if (!manifest || typeof manifest !== 'object')
         return [];
     const multiplayer = manifest.multiplayer;
     if (!multiplayer || typeof multiplayer !== 'object' || Array.isArray(multiplayer))
         return [];
-    const modules = multiplayer.modules;
-    if (!Array.isArray(modules))
-        return []; // flat-v0 and pre-module multiplayer are deliberately unchanged.
+    // flat-v0 and pre-module multiplayer are deliberately unchanged: no program with modules, no work.
+    const programs = modulePrograms(manifest, multiplayer);
+    if (!programs.length)
+        return [];
     const failures = [];
     const resolved = new Map();
-    await Promise.all(modules.map(async (raw, index) => {
+    await Promise.all(programs.flatMap((program) => program.modules.map(async (raw, index) => {
         const module = asModule(raw);
-        const id = moduleName(module, index);
+        const id = program.label + moduleName(module, index);
+        // An inline module carries its program in the manifest, so there is no bank for the server to
+        // resolve. Only its budget is checked, below.
+        if (isInline(module))
+            return;
         const bank = parseBankRef(module.bank);
         const shown = typeof module.bank === 'string' ? module.bank : JSON.stringify(module.bank);
         if (!bank) {
@@ -173,29 +238,30 @@ async function checkRealizability(manifest, deps) {
         catch (err) {
             failures.push({ moduleId: id, bankRef: bank.ref, reason: err instanceof Error ? err.message : String(err) });
         }
-    }));
-    try {
-        for (const reason of deps.validateBudgets(modules, exports.TICK_NODE_CEILING)) {
-            failures.push({
-                moduleId: modules.map((module, index) => moduleName(asModule(module), index)).join(', '),
-                bankRef: modules.map((module) => parseBankRef(asModule(module).bank)?.ref ?? '<malformed>').join(', '),
-                reason,
-            });
+    })));
+    // Budgets are a property of one program in one room, so each program is checked on its own, at
+    // the number of players its room can hold.
+    for (const program of programs) {
+        const modules = program.modules;
+        const moduleId = modules.map((module, index) => program.label + moduleName(asModule(module), index)).join(', ');
+        const bankRef = modules.map((module) => (isInline(asModule(module)) ? INLINE : parseBankRef(asModule(module).bank)?.ref ?? '<malformed>')).join(', ');
+        try {
+            for (const reason of deps.validateBudgets(modules, exports.TICK_NODE_CEILING, program.playerCap)) {
+                failures.push({ moduleId, bankRef, reason });
+            }
+        }
+        catch (err) {
+            failures.push({ moduleId, bankRef, reason: err instanceof Error ? err.message : String(err) });
         }
-    }
-    catch (err) {
-        failures.push({
-            moduleId: modules.map((module, index) => moduleName(asModule(module), index)).join(', '),
-            bankRef: modules.map((module) => parseBankRef(asModule(module).bank)?.ref ?? '<malformed>').join(', '),
-            reason: err instanceof Error ? err.message : String(err),
-        });
     }
     return failures;
 }
 function renderRealizabilityRefusal(failures) {
     return [
         'Refusing to publish: the server cannot realize this multiplayer world.',
-        ...failures.map((f) => `  - module "${f.moduleId}", bank "${f.bankRef}": ${f.reason}`),
+        ...failures.map((f) => (f.bankRef.split(', ').every((ref) => ref === INLINE)
+            ? `  - module "${f.moduleId}" (inline): ${f.reason}`
+            : `  - module "${f.moduleId}", bank "${f.bankRef}": ${f.reason}`)),
         'Publish the referenced bank (or correct its version/checksum and module budgets), then retry.',
         'To bypass this safety gate intentionally, pass --skip-realizability-check.',
     ].join('\n');

package/dist/realizability.js.map

@@ -1 +1 @@
-{"version":3,"file":"realizability.js","sourceRoot":"","sources":["../src/realizability.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAmDA,oCAcC;AAeD,gCAMC;AAID,8DAiCC;AAED,gDAmDC;AAED,gEAOC;AAzLD,iFAAmE;AACnE,+BAA2C;AAE9B,QAAA,iBAAiB,GAAG,OAAO,CAAC;AAuBzC,mGAAmG;AACnG,kGAAkG;AAClG,+FAA+F;AAC/F,kGAAkG;AAClG,8FAA8F;AAC9F,uEAAuE;AACvE,8EAA8E;AAC9E,EAAE;AACF,uFAAuF;AACvF,kGAAkG;AAClG,iGAAiG;AACjG,6EAA6E;AAC7E,gGAAgG;AAChG,EAAE;AACF,kGAAkG;AAClG,iGAAiG;AACjG,6FAA6F;AAC7F,8FAA8F;AAC9F,0FAA0F;AAC1F,MAAM,QAAQ,GAAG,8FAA8F,CAAC;AAEhH,SAAS,eAAe,CAAC,KAAa;IACpC,OAAO,KAAK,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;AAC7D,CAAC;AAED,SAAgB,YAAY,CAAC,KAAc;IACzC,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,OAAO,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IAC5I,CAAC;IACD,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7E,MAAM,IAAI,GAAG,KAAmB,CAAC;IACjC,MAAM,IAAI,GAAG,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;IAChH,MAAM,OAAO,GAAG,OAAO,IAAI,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;IACvE,MAAM,QAAQ,GAAG,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;IAC1E,IAAI,CAAC,IAAI,IAAI,CAAC,OAAO,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IAChD,MAAM,GAAG,GAAG,GAAG,IAAI,IAAI,OAAO,IAAI,QAAQ,EAAE,CAAC;IAC7C,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjC,OAAO,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACrI,CAAC;AAED,SAAS,UAAU,CAAC,MAAyB,EAAE,KAAa;IAC1D,OAAO,OAAO,MAAM,CAAC,EAAE,KAAK,QAAQ,IAAI,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,GAAG,CAAC;AACtF,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAA0B,CAAC,CAAC,CAAC,EAAE,CAAC;AACvG,CAAC;AAED,oGAAoG;AACpG,iGAAiG;AACjG,+FAA+F;AAC/F,kGAAkG;AAClG,0DAA0D;AAC1D,SAAgB,UAAU,CAAC,KAAc;IACvC,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACrD,MAAM,IAAI,GAAG,KAAmB,CAAC;IACjC,MAAM,SAAS,GAAG,IAAI,CAAC,cAAc,CAAC;IACtC,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,SAAS,CAAC,IAAI,EAAE;QAAE,OAAO,eAAe,CAAC,SAAS,CAAC,CAAC;IACzF,OAAO,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;AACnC,CAAC;AAED,+FAA+F;AAC/F,mGAAmG;AACnG,SAAgB,yBAAyB,CAAC,MAAc;IACtD,MAAM,GAAG,GAAG,IAAI,cAAQ,CAAC,MAAM,CAAC,CAAC;IACjC,OAAO;QACL,KAAK,CAAC,WAAW,CAAC,GAAG;YACnB,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;YACjC,IAAI,CAAC,MAAM;gBAAE,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,CAAC;YACnD,IAAI,CAAC;gBACH,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,WAAW,CAChC,KAAK,EACL,4BAA4B,kBAAkB,CAAC,MAAM,CAAC,IAAI,CAAC,aAAa,kBAAkB,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAC7G,CAAC;gBACF,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;gBAClC,IAAI,CAAC,QAAQ;oBAAE,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;gBACnF,OAAO,EAAE,QAAQ,EAAE,CAAC;YACtB,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,IAAI,GAAG,YAAY,cAAQ,IAAI,GAAG,CAAC,MAAM,KAAK,GAAG;oBAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;gBAC5F,MAAM,GAAG,CAAC;YACZ,CAAC;QACH,CAAC;QACD,eAAe,CAAC,OAAO,EAAE,OAAO;YAC9B,MAAM,QAAQ,GAAG,gBAA8B,CAAC;YAChD,MAAM,SAAS,GAAG,QAAQ,CAAC,qBAAqB,IAAI,QAAQ,CAAC,0BAA0B,CAAC;YACxF,IAAI,OAAO,SAAS,KAAK,UAAU,EAAE,CAAC;gBACpC,MAAM,IAAI,KAAK,CAAC,yEAAyE,CAAC,CAAC;YAC7F,CAAC;YACD,MAAM,MAAM,GAAI,SAAwE,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;YAC3G,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;gBAAE,OAAO,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACrD,IAAI,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAE,MAAqB,CAAC,MAAM,CAAC,EAAE,CAAC;gBACzF,OAAS,MAAqB,CAAC,MAAoB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAClE,CAAC;YACD,OAAO,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;QACzE,CAAC;KACF,CAAC;AACJ,CAAC;AAEM,KAAK,UAAU,kBAAkB,CACtC,QAAiB,EACjB,IAAuB;IAEvB,IAAI,CAAC,QAAQ,IAAI,OAAO,QAAQ,KAAK,QAAQ;QAAE,OAAO,EAAE,CAAC;IACzD,MAAM,WAAW,GAAI,QAAuB,CAAC,WAAW,CAAC;IACzD,IAAI,CAAC,WAAW,IAAI,OAAO,WAAW,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC;QAAE,OAAO,EAAE,CAAC;IAC7F,MAAM,OAAO,GAAI,WAA0B,CAAC,OAAO,CAAC;IACpD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,CAAC,CAAC,iEAAiE;IAEzG,MAAM,QAAQ,GAA2B,EAAE,CAAC;IAC5C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkC,CAAC;IAC3D,MAAM,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;QACjD,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;QAC7B,MAAM,EAAE,GAAG,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACrC,MAAM,IAAI,GAAG,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACvC,MAAM,KAAK,GAAG,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC1F,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK,IAAI,WAAW,EAAE,MAAM,EAAE,6IAA6I,EAAE,CAAC,CAAC;YACtN,OAAO;QACT,CAAC;QACD,IAAI,CAAC;YACH,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE;gBACvD,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAC3C,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;gBAChC,OAAO,OAAO,CAAC;YACjB,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,IAAI,eAAe,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAC1D,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,+BAA+B,IAAI,CAAC,QAAQ,eAAe,SAAS,CAAC,QAAQ,GAAG,EAAE,CAAC,CAAC;YAC/I,CAAC;QACH,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC/G,CAAC;IACH,CAAC,CAAC,CAAC,CAAC;IAEJ,IAAI,CAAC;QACH,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,eAAe,CAAC,OAA8B,EAAE,yBAAiB,CAAC,EAAE,CAAC;YAC7F,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;gBACxF,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,aAAa,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;gBACtG,MAAM;aACP,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;YACxF,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,aAAa,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;YACtG,MAAM,EAAE,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;SACzD,CAAC,CAAC;IACL,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAgB,0BAA0B,CAAC,QAAgC;IACzE,OAAO;QACL,wEAAwE;QACxE,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,QAAQ,YAAY,CAAC,CAAC,OAAO,MAAM,CAAC,CAAC,MAAM,EAAE,CAAC;QACtF,+FAA+F;QAC/F,4EAA4E;KAC7E,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC"}
+{"version":3,"file":"realizability.js","sourceRoot":"","sources":["../src/realizability.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAwDA,oCAcC;AAuBD,gCAMC;AAID,8DAkCC;AA+DD,gDAsDC;AAED,gEASC;AAzQD,iFAAmE;AACnE,+BAA2C;AAE9B,QAAA,iBAAiB,GAAG,OAAO,CAAC;AA4BzC,mGAAmG;AACnG,kGAAkG;AAClG,+FAA+F;AAC/F,kGAAkG;AAClG,8FAA8F;AAC9F,uEAAuE;AACvE,8EAA8E;AAC9E,EAAE;AACF,uFAAuF;AACvF,kGAAkG;AAClG,iGAAiG;AACjG,6EAA6E;AAC7E,gGAAgG;AAChG,EAAE;AACF,kGAAkG;AAClG,iGAAiG;AACjG,6FAA6F;AAC7F,8FAA8F;AAC9F,0FAA0F;AAC1F,MAAM,QAAQ,GAAG,8FAA8F,CAAC;AAEhH,SAAS,eAAe,CAAC,KAAa;IACpC,OAAO,KAAK,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;AAC7D,CAAC;AAED,SAAgB,YAAY,CAAC,KAAc;IACzC,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,OAAO,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IAC5I,CAAC;IACD,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7E,MAAM,IAAI,GAAG,KAAmB,CAAC;IACjC,MAAM,IAAI,GAAG,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;IAChH,MAAM,OAAO,GAAG,OAAO,IAAI,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;IACvE,MAAM,QAAQ,GAAG,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;IAC1E,IAAI,CAAC,IAAI,IAAI,CAAC,OAAO,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IAChD,MAAM,GAAG,GAAG,GAAG,IAAI,IAAI,OAAO,IAAI,QAAQ,EAAE,CAAC;IAC7C,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjC,OAAO,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACrI,CAAC;AAED,SAAS,UAAU,CAAC,MAAyB,EAAE,KAAa;IAC1D,OAAO,OAAO,MAAM,CAAC,EAAE,KAAK,QAAQ,IAAI,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,GAAG,CAAC;AACtF,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAA0B,CAAC,CAAC,CAAC,EAAE,CAAC;AACvG,CAAC;AAED,oGAAoG;AACpG,iGAAiG;AACjG,+FAA+F;AAC/F,kGAAkG;AAClG,0DAA0D;AAC1D,iGAAiG;AACjG,iGAAiG;AACjG,+DAA+D;AAC/D,MAAM,MAAM,GAAG,UAAU,CAAC;AAC1B,SAAS,QAAQ,CAAC,MAAyB;IACzC,OAAO,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC;AAC3D,CAAC;AAED,SAAgB,UAAU,CAAC,KAAc;IACvC,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACrD,MAAM,IAAI,GAAG,KAAmB,CAAC;IACjC,MAAM,SAAS,GAAG,IAAI,CAAC,cAAc,CAAC;IACtC,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,SAAS,CAAC,IAAI,EAAE;QAAE,OAAO,eAAe,CAAC,SAAS,CAAC,CAAC;IACzF,OAAO,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;AACnC,CAAC;AAED,+FAA+F;AAC/F,mGAAmG;AACnG,SAAgB,yBAAyB,CAAC,MAAc;IACtD,MAAM,GAAG,GAAG,IAAI,cAAQ,CAAC,MAAM,CAAC,CAAC;IACjC,OAAO;QACL,KAAK,CAAC,WAAW,CAAC,GAAG;YACnB,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;YACjC,IAAI,CAAC,MAAM;gBAAE,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,CAAC;YACnD,IAAI,CAAC;gBACH,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,WAAW,CAChC,KAAK,EACL,4BAA4B,kBAAkB,CAAC,MAAM,CAAC,IAAI,CAAC,aAAa,kBAAkB,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAC7G,CAAC;gBACF,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;gBAClC,IAAI,CAAC,QAAQ;oBAAE,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;gBACnF,OAAO,EAAE,QAAQ,EAAE,CAAC;YACtB,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,IAAI,GAAG,YAAY,cAAQ,IAAI,GAAG,CAAC,MAAM,KAAK,GAAG;oBAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;gBAC5F,MAAM,GAAG,CAAC;YACZ,CAAC;QACH,CAAC;QACD,eAAe,CAAC,OAAO,EAAE,OAAO,EAAE,SAAS;YACzC,MAAM,QAAQ,GAAG,gBAA8B,CAAC;YAChD,MAAM,SAAS,GAAG,QAAQ,CAAC,qBAAqB,IAAI,QAAQ,CAAC,0BAA0B,CAAC;YACxF,IAAI,OAAO,SAAS,KAAK,UAAU,EAAE,CAAC;gBACpC,MAAM,IAAI,KAAK,CAAC,yEAAyE,CAAC,CAAC;YAC7F,CAAC;YACD,sFAAsF;YACtF,MAAM,MAAM,GAAI,SAA2F,CAAC,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;YACzI,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;gBAAE,OAAO,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACrD,IAAI,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAE,MAAqB,CAAC,MAAM,CAAC,EAAE,CAAC;gBACzF,OAAS,MAAqB,CAAC,MAAoB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAClE,CAAC;YACD,OAAO,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;QACzE,CAAC;KACF,CAAC;AACJ,CAAC;AAED,qGAAqG;AACrG,8FAA8F;AAC9F,oDAAoD;AACpD,SAAS,OAAO,CAAC,IAA6E,EAAE,QAAgB;IAC9G,MAAM,KAAK,GAAI,gBAA+B,CAAC,IAAI,CAAC,CAAC;IACrD,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC;AAC9F,CAAC;AASD,SAAS,kBAAkB,CAAC,KAAc,EAAE,QAAgB;IAC1D,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;AAC1G,CAAC;AAED,oGAAoG;AACpG,kEAAkE;AAClE,MAAM,cAAc,GAAG,CAAC,CAAC;AAEzB,iGAAiG;AACjG,6FAA6F;AAC7F,iGAAiG;AACjG,iGAAiG;AACjG,kGAAkG;AAClG,kGAAkG;AAClG,qFAAqF;AACrF,SAAS,cAAc,CAAC,QAAoB,EAAE,WAAuB;IACnE,MAAM,QAAQ,GAAG,OAAO,CAAC,+BAA+B,EAAE,EAAE,CAAC,CAAC;IAC9D,MAAM,KAAK,GAAG,OAAO,CAAC,qCAAqC,EAAE,EAAE,CAAC,CAAC;IACjE,MAAM,QAAQ,GAAoB,EAAE,CAAC;IACrC,IAAI,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC;QACvC,QAAQ,CAAC,IAAI,CAAC;YACZ,KAAK,EAAE,EAAE;YACT,OAAO,EAAE,WAAW,CAAC,OAAO;YAC5B,SAAS,EAAE,WAAW,CAAC,aAAa,KAAK,OAAO;gBAC9C,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,cAAc,EAAE,IAAI,CAAC,GAAG,CAAC,kBAAkB,CAAC,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,EAAE,KAAK,CAAC,CAAC;gBAC9F,CAAC,CAAC,QAAQ;SACb,CAAC,CAAC;IACL,CAAC;IACD,MAAM,SAAS,GAAG,WAAW,CAAC,SAAS,CAAC;IACxC,IAAI,SAAS,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QAC5E,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,SAAuB,CAAC,EAAE,CAAC;YAClE,IAAI,CAAC,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;gBAAE,SAAS;YACpE,MAAM,IAAI,GAAG,GAAiB,CAAC;YAC/B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC;gBAAE,SAAS;YAC3C,0EAA0E;YAC1E,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;YACzD,QAAQ,CAAC,IAAI,CAAC;gBACZ,KAAK,EAAE,aAAa,IAAI,IAAI;gBAC5B,OAAO,EAAE,IAAI,CAAC,OAAO;gBACrB,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,cAAc,EAAE,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,aAAa,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;aAC3G,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAEM,KAAK,UAAU,kBAAkB,CACtC,QAAiB,EACjB,IAAuB;IAEvB,IAAI,CAAC,QAAQ,IAAI,OAAO,QAAQ,KAAK,QAAQ;QAAE,OAAO,EAAE,CAAC;IACzD,MAAM,WAAW,GAAI,QAAuB,CAAC,WAAW,CAAC;IACzD,IAAI,CAAC,WAAW,IAAI,OAAO,WAAW,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC;QAAE,OAAO,EAAE,CAAC;IAC7F,mGAAmG;IACnG,MAAM,QAAQ,GAAG,cAAc,CAAC,QAAsB,EAAE,WAAyB,CAAC,CAAC;IACnF,IAAI,CAAC,QAAQ,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IAEhC,MAAM,QAAQ,GAA2B,EAAE,CAAC;IAC5C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkC,CAAC;IAC3D,MAAM,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;QACvF,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;QAC7B,MAAM,EAAE,GAAG,OAAO,CAAC,KAAK,GAAG,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACrD,8FAA8F;QAC9F,8CAA8C;QAC9C,IAAI,QAAQ,CAAC,MAAM,CAAC;YAAE,OAAO;QAC7B,MAAM,IAAI,GAAG,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACvC,MAAM,KAAK,GAAG,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC1F,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK,IAAI,WAAW,EAAE,MAAM,EAAE,6IAA6I,EAAE,CAAC,CAAC;YACtN,OAAO;QACT,CAAC;QACD,IAAI,CAAC;YACH,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE;gBACvD,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAC3C,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;gBAChC,OAAO,OAAO,CAAC;YACjB,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,IAAI,eAAe,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAC1D,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,+BAA+B,IAAI,CAAC,QAAQ,eAAe,SAAS,CAAC,QAAQ,GAAG,EAAE,CAAC,CAAC;YAC/I,CAAC;QACH,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC/G,CAAC;IACH,CAAC,CAAC,CAAC,CAAC,CAAC;IAEL,+FAA+F;IAC/F,2CAA2C;IAC3C,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,OAAO,CAAC,OAA8B,CAAC;QACvD,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,GAAG,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChH,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtJ,IAAI,CAAC;YACH,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,eAAe,CAAC,OAAO,EAAE,yBAAiB,EAAE,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;gBACzF,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;YAC/C,CAAC;QACH,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACjG,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAgB,0BAA0B,CAAC,QAAgC;IACzE,OAAO;QACL,wEAAwE;QACxE,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,MAAM,CAAC;YAC1E,CAAC,CAAC,eAAe,CAAC,CAAC,QAAQ,eAAe,CAAC,CAAC,MAAM,EAAE;YACpD,CAAC,CAAC,eAAe,CAAC,CAAC,QAAQ,YAAY,CAAC,CAAC,OAAO,MAAM,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QACpE,+FAA+F;QAC/F,4EAA4E;KAC7E,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC"}