@effect-app/infra 4.0.0-beta.31 → 4.0.0-beta.310

package/dist/WorkflowEngineSqlite.js

@@ -0,0 +1,550 @@
+/**
+ * SQLite backed {@link WorkflowEngine} implementation.
+ *
+ * Persists workflow state across four tables:
+ *   - `workflow_exec`     — one row per execution; tracks status, lease, etag
+ *   - `workflow_activity` — recorded activity results keyed by (exec, name, attempt)
+ *   - `workflow_deferred` — durable deferred completions keyed by (exec, name)
+ *   - `workflow_clock`    — scheduled clocks with `fire_at`
+ *
+ * Atomicity: multi-statement operations are wrapped in `sql.withTransaction`
+ * (BEGIN/COMMIT) so concurrent writers do not observe partial state.
+ *
+ * Optimistic concurrency:
+ *   - exec state transitions use `UPDATE ... WHERE etag = ? RETURNING etag`;
+ *     a zero-row result is an `OptimisticConcurrencyException`.
+ *   - activity / deferred / clock inserts use `INSERT ... ON CONFLICT DO
+ *     NOTHING RETURNING ...` for first-writer-wins semantics across drivers.
+ *
+ * Durability — everything that crosses the storage boundary is round-tripped
+ * through schema codecs (`S.fromJsonString(S.toCodecJson(...))`), exactly like
+ * the cluster engine:
+ *
+ * - The workflow payload and the top-level `Workflow.Result` are encoded with
+ *   the workflow's own `payloadSchema` / `successSchema` / `errorSchema`, so
+ *   typed values (dates, branded ids, schema classes) survive a restart.
+ * - Activity results flow through the engine already encoded, so they are
+ *   persisted with an opaque `Workflow.Result({ success: AnyOrVoid, error:
+ *   AnyOrVoid })` codec — same trick the cluster `ActivityRpc` uses.
+ * - Durable-deferred exits use an opaque `Exit` codec.
+ *
+ * Crash recovery: each driver holds a time-bound lease on the exec row,
+ * renewed by a heartbeat fiber. A scope-bound recovery poller re-drives any
+ * exec whose lease has lapsed. A clock poller fires due clocks even when
+ * the in-process timer is missing (e.g. after a restart).
+ */
+import * as Effect from "effect-app/Effect";
+import * as Layer from "effect-app/Layer";
+import * as Option from "effect-app/Option";
+import * as S from "effect-app/Schema";
+import * as Duration from "effect/Duration";
+import * as Exit from "effect/Exit";
+import * as Fiber from "effect/Fiber";
+import * as FiberMap from "effect/FiberMap";
+import * as Schedule from "effect/Schedule";
+import { SqlClient } from "effect/unstable/sql";
+import * as Workflow from "effect/unstable/workflow/Workflow";
+import { makeUnsafe, WorkflowEngine, WorkflowInstance } from "effect/unstable/workflow/WorkflowEngine";
+import { randomUUID } from "node:crypto";
+import { OptimisticConcurrencyException } from "./errors.js";
+import { annotateDb } from "./otel.js";
+const parseExec = (row) => ({
+    executionId: row.execution_id,
+    workflowName: row.workflow_name,
+    payload: row.payload,
+    parent: row.parent ?? undefined,
+    status: row.status,
+    suspended: row.suspended !== 0,
+    interrupted: row.interrupted !== 0,
+    completedResult: row.completed_result ?? undefined,
+    worker: row.worker ?? undefined,
+    leaseExpiresAt: row.lease_expires_at ?? undefined,
+    etag: row.etag
+});
+// --- Storage codecs ---------------------------------------------------------
+// Values flowing through the engine's activity / deferred boundary are already
+// schema-encoded, so the structure is round-tripped while the payload stays
+// opaque (mirrors the cluster engine's `AnyOrVoid` usage).
+const AnyOrVoid = S.Union([S.Any, S.Void]);
+const ActivityResultCodec = S.fromJsonString(S.toCodecJson(Workflow.Result({ success: AnyOrVoid, error: AnyOrVoid })));
+const DeferredExitCodec = S.fromJsonString(S.toCodecJson(S.Exit(AnyOrVoid, AnyOrVoid, S.Defect())));
+const encodeActivityResult = (r) => Effect.orDie(S.encodeEffect(ActivityResultCodec)(r));
+const decodeActivityResult = (s) => Effect.orDie(S.decodeEffect(ActivityResultCodec)(s));
+const encodeDeferredExit = (e) => Effect.orDie(S.encodeEffect(DeferredExitCodec)(e));
+const decodeDeferredExit = (s) => Effect.orDie(S.decodeEffect(DeferredExitCodec)(s));
+const makeSqliteWorkflowEngine = Effect.fnUntraced(function* (cfg) {
+    const sql = yield* SqlClient.SqlClient;
+    const scope = yield* Effect.scope;
+    const prefix = cfg.prefix ?? "";
+    const execTable = `${prefix}workflow_exec`;
+    const activityTable = `${prefix}workflow_activity`;
+    const deferredTable = `${prefix}workflow_deferred`;
+    const clockTable = `${prefix}workflow_clock`;
+    const workerId = cfg.workerId ?? randomUUID();
+    const leaseTtl = cfg.leaseTtl ?? Duration.seconds(30);
+    const heartbeatInterval = cfg.heartbeatInterval ?? Duration.seconds(10);
+    const recoveryInterval = cfg.recoveryInterval ?? Duration.seconds(15);
+    const clockPollInterval = cfg.clockPollInterval ?? Duration.seconds(5);
+    const annotate = (operation, executionId) => annotateDb({
+        operation,
+        system: "sqlite",
+        collection: execTable,
+        entity: "workflow",
+        extra: executionId !== undefined ? { "app.entity.id": executionId } : undefined
+    });
+    const exec = (query, params = []) => sql.unsafe(query, params).pipe(Effect.orDie);
+    // --- Schema -----------------------------------------------------------
+    yield* exec(`CREATE TABLE IF NOT EXISTS "${execTable}" (
+       execution_id TEXT PRIMARY KEY,
+       workflow_name TEXT NOT NULL,
+       payload TEXT NOT NULL,
+       parent TEXT,
+       status TEXT NOT NULL,
+       suspended INTEGER NOT NULL DEFAULT 0,
+       interrupted INTEGER NOT NULL DEFAULT 0,
+       completed_result TEXT,
+       worker TEXT,
+       lease_expires_at INTEGER,
+       etag TEXT NOT NULL
+     )`);
+    yield* exec(`CREATE INDEX IF NOT EXISTS "${execTable}_recovery" ON "${execTable}" (status, lease_expires_at)`);
+    yield* exec(`CREATE TABLE IF NOT EXISTS "${activityTable}" (
+       execution_id TEXT NOT NULL,
+       name TEXT NOT NULL,
+       attempt INTEGER NOT NULL,
+       result TEXT NOT NULL,
+       PRIMARY KEY (execution_id, name, attempt)
+     )`);
+    yield* exec(`CREATE TABLE IF NOT EXISTS "${deferredTable}" (
+       execution_id TEXT NOT NULL,
+       name TEXT NOT NULL,
+       exit TEXT NOT NULL,
+       PRIMARY KEY (execution_id, name)
+     )`);
+    yield* exec(`CREATE TABLE IF NOT EXISTS "${clockTable}" (
+       execution_id TEXT NOT NULL,
+       name TEXT NOT NULL,
+       workflow_name TEXT NOT NULL,
+       deferred_name TEXT NOT NULL,
+       fire_at INTEGER NOT NULL,
+       PRIMARY KEY (execution_id, name)
+     )`);
+    yield* exec(`CREATE INDEX IF NOT EXISTS "${clockTable}_due" ON "${clockTable}" (fire_at)`);
+    const workflows = new Map();
+    const locals = new Map();
+    const clocks = yield* FiberMap.make();
+    // Per-workflow codecs for the typed payload + top-level result. Cached by
+    // workflow name; derived from the workflow's own schemas so typed values
+    // (dates, branded ids, schema classes) survive the storage round-trip.
+    const makePayloadCodec = (workflow) => S.fromJsonString(S.toCodecJson(workflow.payloadSchema));
+    const payloadCodecCache = new Map();
+    const payloadCodecFor = (workflow) => {
+        let c = payloadCodecCache.get(workflow._tag);
+        if (!c) {
+            c = makePayloadCodec(workflow);
+            payloadCodecCache.set(workflow._tag, c);
+        }
+        return c;
+    };
+    const makeResultCodec = (workflow) => S.fromJsonString(S.toCodecJson(Workflow.Result({ success: workflow.successSchema, error: workflow.errorSchema })));
+    const resultCodecCache = new Map();
+    const resultCodecFor = (workflow) => {
+        let c = resultCodecCache.get(workflow._tag);
+        if (!c) {
+            c = makeResultCodec(workflow);
+            resultCodecCache.set(workflow._tag, c);
+        }
+        return c;
+    };
+    const encodePayload = (workflow, payload) => Effect.orDie(S.encodeEffect(payloadCodecFor(workflow))(payload));
+    const decodePayload = (workflow, s) => Effect.orDie(S.decodeEffect(payloadCodecFor(workflow))(s));
+    const encodeResult = (workflow, r) => Effect.orDie(S.encodeEffect(resultCodecFor(workflow))(r));
+    const decodeResult = (workflow, s) => Effect.orDie(S.decodeEffect(resultCodecFor(workflow))(s));
+    // --- Core SQL operations ----------------------------------------------
+    const readExec = (executionId) => exec(`SELECT * FROM "${execTable}" WHERE execution_id = ?`, [executionId])
+        .pipe(Effect.map((rows) => {
+        const r = rows[0];
+        return r ? Option.some(parseExec(r)) : Option.none();
+    }), annotate("readExec", executionId));
+    /**
+     * OCC-guarded write. Generates a fresh etag on success; returns
+     * `OptimisticConcurrencyException` when no row matches the prior etag.
+     */
+    const replaceExec = (state, next) => Effect
+        .gen(function* () {
+        const newEtag = randomUUID();
+        const merged = { ...state, ...next, etag: newEtag };
+        const rows = yield* exec(`UPDATE "${execTable}"
+           SET status = ?,
+               suspended = ?,
+               interrupted = ?,
+               completed_result = ?,
+               worker = ?,
+               lease_expires_at = ?,
+               etag = ?
+         WHERE execution_id = ? AND etag = ?
+         RETURNING etag`, [
+            merged.status,
+            merged.suspended ? 1 : 0,
+            merged.interrupted ? 1 : 0,
+            merged.completedResult ?? null,
+            merged.worker ?? null,
+            merged.leaseExpiresAt ?? null,
+            newEtag,
+            state.executionId,
+            state.etag
+        ]);
+        if (rows.length === 0) {
+            return yield* new OptimisticConcurrencyException({
+                type: "workflow.exec",
+                id: state.executionId,
+                code: 412
+            });
+        }
+        return merged;
+    })
+        .pipe(annotate("replaceExec", state.executionId));
+    const createExec = (initial) => exec(`INSERT INTO "${execTable}"
+         (execution_id, workflow_name, payload, parent, status, suspended, interrupted, etag)
+       VALUES (?, ?, ?, ?, ?, ?, ?, ?)
+       ON CONFLICT DO NOTHING
+       RETURNING execution_id`, [
+        initial.executionId,
+        initial.workflowName,
+        initial.payload,
+        initial.parent ?? null,
+        initial.status,
+        initial.suspended ? 1 : 0,
+        initial.interrupted ? 1 : 0,
+        initial.etag
+    ])
+        .pipe(Effect.map((rows) => rows.length > 0), annotate("createExec", initial.executionId));
+    // First-writer-wins persistence of an activity result; returns true if this
+    // call won, false if another writer beat us to the (exec, name, attempt) row.
+    const createActivity = (executionId, name, attempt, encoded) => exec(`INSERT INTO "${activityTable}" (execution_id, name, attempt, result)
+       VALUES (?, ?, ?, ?)
+       ON CONFLICT DO NOTHING
+       RETURNING execution_id`, [executionId, name, attempt, encoded])
+        .pipe(Effect.map((rows) => rows.length > 0));
+    // Overwrites a previously persisted *suspended* activity result so the next
+    // attempt can record its real outcome.
+    const upsertActivity = (executionId, name, attempt, encoded) => exec(`INSERT INTO "${activityTable}" (execution_id, name, attempt, result)
+       VALUES (?, ?, ?, ?)
+       ON CONFLICT(execution_id, name, attempt) DO UPDATE SET result = excluded.result`, [executionId, name, attempt, encoded])
+        .pipe(Effect.asVoid);
+    const readActivity = (executionId, name, attempt) => exec(`SELECT result FROM "${activityTable}" WHERE execution_id = ? AND name = ? AND attempt = ?`, [executionId, name, attempt])
+        .pipe(Effect.map((rows) => {
+        const r = rows[0];
+        return r ? Option.some(r.result) : Option.none();
+    }));
+    const createDeferred = (executionId, name, encoded) => exec(`INSERT INTO "${deferredTable}" (execution_id, name, exit)
+       VALUES (?, ?, ?)
+       ON CONFLICT DO NOTHING
+       RETURNING execution_id`, [executionId, name, encoded])
+        .pipe(Effect.map((rows) => rows.length > 0));
+    const readDeferred = (executionId, name) => exec(`SELECT exit FROM "${deferredTable}" WHERE execution_id = ? AND name = ?`, [executionId, name])
+        .pipe(Effect.map((rows) => {
+        const r = rows[0];
+        return r ? Option.some(r.exit) : Option.none();
+    }));
+    const insertClock = (executionId, name, workflowName, deferredName, fireAt) => exec(`INSERT INTO "${clockTable}" (execution_id, name, workflow_name, deferred_name, fire_at)
+       VALUES (?, ?, ?, ?, ?)
+       ON CONFLICT DO NOTHING
+       RETURNING execution_id`, [executionId, name, workflowName, deferredName, fireAt])
+        .pipe(Effect.map((rows) => rows.length > 0));
+    const deleteClock = (executionId, name) => exec(`DELETE FROM "${clockTable}" WHERE execution_id = ? AND name = ?`, [executionId, name]);
+    // --- Workflow result helpers ------------------------------------------
+    const completeResult = (workflow, state) => state.status === "complete" && state.completedResult
+        ? Effect.map(decodeResult(workflow, state.completedResult), Option.some)
+        : Effect.succeedNone;
+    // --- Lease / claim ----------------------------------------------------
+    const leaseActive = (state, now) => state.worker !== undefined
+        && state.worker !== workerId
+        && state.leaseExpiresAt !== undefined
+        && state.leaseExpiresAt > now;
+    const tryClaim = (state) => Effect.gen(function* () {
+        const now = Date.now();
+        if (leaseActive(state, now))
+            return Option.none();
+        return yield* replaceExec(state, {
+            worker: workerId,
+            leaseExpiresAt: now + Duration.toMillis(leaseTtl)
+        })
+            .pipe(Effect.map(Option.some), Effect.catchTag("OptimisticConcurrencyException", () => Effect.succeed(Option.none())));
+    });
+    const heartbeat = (executionId) => Effect.gen(function* () {
+        while (true) {
+            yield* Effect.sleep(heartbeatInterval);
+            const local = locals.get(executionId);
+            const polled = local?.fiber?.pollUnsafe();
+            if (!local?.fiber || polled)
+                return;
+            const cur = yield* readExec(executionId).pipe(Effect.catchCause(() => Effect.succeed(Option.none())));
+            if (Option.isNone(cur))
+                continue;
+            const state = cur.value;
+            if (state.status === "complete" || state.worker !== workerId)
+                return;
+            yield* replaceExec(state, {
+                leaseExpiresAt: Date.now() + Duration.toMillis(leaseTtl)
+            })
+                .pipe(Effect.catchTag("OptimisticConcurrencyException", () => Effect.void), Effect.catchCause(() => Effect.void));
+        }
+    });
+    // --- Drive logic ------------------------------------------------------
+    const drive = (executionId, payload, parent, entry) => Effect.gen(function* () {
+        let local = locals.get(executionId);
+        if (local?.fiber) {
+            const polled = local.fiber.pollUnsafe();
+            const stillRunning = !polled;
+            const completedNotResume = polled && polled._tag === "Success" && polled.value._tag === "Complete";
+            if (stillRunning || completedNotResume)
+                return;
+        }
+        const stateOpt = yield* readExec(executionId);
+        if (Option.isNone(stateOpt) || stateOpt.value.status === "complete")
+            return;
+        const claimed = yield* tryClaim(stateOpt.value);
+        const state = Option.isSome(claimed) ? claimed.value : stateOpt.value;
+        const instance = WorkflowInstance.initial(entry.workflow, executionId);
+        instance.interrupted = state.interrupted;
+        if (!local) {
+            local = { instance, fiber: undefined, parent };
+            locals.set(executionId, local);
+        }
+        else {
+            local.instance = instance;
+        }
+        const onComplete = Effect.fnUntraced(function* (result) {
+            const current = yield* readExec(executionId);
+            if (Option.isNone(current) || current.value.status === "complete")
+                return;
+            const isComplete = result._tag === "Complete";
+            const completedResult = isComplete ? yield* encodeResult(entry.workflow, result) : undefined;
+            yield* replaceExec(current.value, {
+                status: isComplete ? "complete" : current.value.status,
+                suspended: result._tag === "Suspended",
+                interrupted: instance.interrupted,
+                completedResult,
+                worker: isComplete ? undefined : current.value.worker,
+                leaseExpiresAt: isComplete ? undefined : current.value.leaseExpiresAt
+            })
+                .pipe(Effect.catchTag("OptimisticConcurrencyException", () => Effect.void));
+            if (parent && isComplete) {
+                yield* Effect.forkIn(driveById(parent), scope);
+            }
+        });
+        local.fiber = yield* entry.execute(payload, executionId).pipe(Effect.onExit(() => {
+            if (!instance.interrupted)
+                return Effect.void;
+            instance.suspended = false;
+            return Effect.withFiber((fiber) => Effect.interruptible(Fiber.interrupt(fiber)));
+        }), Workflow.intoResult, Effect.provideService(WorkflowInstance, instance), Effect.provideService(WorkflowEngine, engine), Effect.tap(onComplete), Effect.forkIn(entry.scope));
+        if (Option.isSome(claimed)) {
+            yield* Effect.forkIn(heartbeat(executionId), scope);
+        }
+    });
+    const driveById = (executionId) => Effect.gen(function* () {
+        const stateOpt = yield* readExec(executionId);
+        if (Option.isNone(stateOpt))
+            return;
+        const state = stateOpt.value;
+        const entry = workflows.get(state.workflowName);
+        if (!entry)
+            return;
+        const payload = yield* decodePayload(entry.workflow, state.payload);
+        yield* drive(executionId, payload, state.parent, entry);
+    });
+    // --- Clock firing -----------------------------------------------------
+    const fireClock = (executionId, name, deferredName) => Effect
+        .gen(function* () {
+        const encoded = yield* encodeDeferredExit(Exit.void);
+        const inserted = yield* sql
+            .withTransaction(Effect.gen(function* () {
+            const got = yield* createDeferred(executionId, deferredName, encoded);
+            yield* deleteClock(executionId, name);
+            return got;
+        }))
+            .pipe(Effect.orDie);
+        if (inserted)
+            yield* driveById(executionId);
+    })
+        .pipe(annotate("clockFire", executionId));
+    // --- Encoded engine ---------------------------------------------------
+    const encoded = {
+        register: Effect.fnUntraced(function* (workflow, execute) {
+            workflows.set(workflow._tag, {
+                workflow,
+                execute,
+                scope: yield* Effect.scope
+            });
+        }),
+        execute: Effect.fnUntraced(function* (workflow, options) {
+            const entry = workflows.get(workflow._tag);
+            if (!entry) {
+                return yield* Effect.orDie(Effect.fail(`Workflow ${workflow._tag} is not registered`));
+            }
+            const initial = {
+                executionId: options.executionId,
+                workflowName: workflow._tag,
+                payload: yield* encodePayload(workflow, options.payload),
+                parent: options.parent?.executionId,
+                status: "running",
+                suspended: false,
+                interrupted: false,
+                completedResult: undefined,
+                worker: undefined,
+                leaseExpiresAt: undefined,
+                etag: randomUUID()
+            };
+            yield* createExec(initial);
+            yield* drive(options.executionId, options.payload, options.parent?.executionId, entry);
+            if (options.discard)
+                return undefined;
+            const local = locals.get(options.executionId);
+            if (local?.fiber) {
+                return (yield* Fiber.join(local.fiber));
+            }
+            // Foreign-driver fallback: poll the persisted result until completion.
+            while (true) {
+                const cur = yield* readExec(options.executionId);
+                if (Option.isSome(cur)) {
+                    const r = yield* completeResult(workflow, cur.value);
+                    if (Option.isSome(r))
+                        return r.value;
+                }
+                yield* Effect.sleep(Duration.millis(500));
+            }
+        }),
+        poll: (workflow, executionId) => Effect.gen(function* () {
+            const local = locals.get(executionId);
+            if (local?.fiber) {
+                const exitVal = local.fiber.pollUnsafe();
+                if (!exitVal)
+                    return Option.none();
+                if (exitVal._tag !== "Success")
+                    return yield* Effect.die(exitVal.cause);
+                return Option.some(exitVal.value);
+            }
+            const state = yield* readExec(executionId);
+            if (Option.isNone(state))
+                return Option.none();
+            return yield* completeResult(workflow, state.value);
+        }),
+        interrupt: Effect.fnUntraced(function* (_workflow, executionId) {
+            const local = locals.get(executionId);
+            if (local)
+                local.instance.interrupted = true;
+            const current = yield* readExec(executionId);
+            if (Option.isNone(current) || current.value.status === "complete")
+                return;
+            yield* replaceExec(current.value, { interrupted: true }).pipe(Effect.catchTag("OptimisticConcurrencyException", () => Effect.void));
+            yield* driveById(executionId);
+        }),
+        interruptUnsafe: Effect.fnUntraced(function* (_workflow, executionId) {
+            const local = locals.get(executionId);
+            if (local)
+                local.instance.interrupted = true;
+            const current = yield* readExec(executionId);
+            if (Option.isSome(current) && current.value.status !== "complete") {
+                yield* replaceExec(current.value, { interrupted: true }).pipe(Effect.catchTag("OptimisticConcurrencyException", () => Effect.void));
+            }
+            if (local?.fiber)
+                yield* Fiber.interrupt(local.fiber);
+        }),
+        resume: (_workflow, executionId) => driveById(executionId),
+        activityExecute: Effect.fnUntraced(function* (activity, attempt) {
+            const instance = yield* WorkflowInstance;
+            const existing = yield* readActivity(instance.executionId, activity.name, attempt);
+            if (Option.isSome(existing)) {
+                const prev = yield* decodeActivityResult(existing.value);
+                // A completed activity is replayed from its persisted result; a
+                // suspended one must re-run (it parked on a clock/deferred).
+                if (prev._tag === "Complete")
+                    return prev;
+            }
+            const activityInstance = WorkflowInstance.initial(instance.workflow, instance.executionId);
+            activityInstance.interrupted = instance.interrupted;
+            const result = yield* activity.executeEncoded.pipe(Workflow.intoResult, Effect.provideService(WorkflowInstance, activityInstance));
+            const encodedResult = yield* encodeActivityResult(result);
+            if (Option.isSome(existing)) {
+                // Overwrite the previously persisted *suspended* result.
+                yield* upsertActivity(instance.executionId, activity.name, attempt, encodedResult);
+                return result;
+            }
+            // First-writer-wins: if persistence loses the race, use the persisted result.
+            const persisted = yield* createActivity(instance.executionId, activity.name, attempt, encodedResult);
+            if (persisted)
+                return result;
+            const winner = yield* readActivity(instance.executionId, activity.name, attempt);
+            if (Option.isSome(winner)) {
+                const w = yield* decodeActivityResult(winner.value);
+                if (w._tag === "Complete")
+                    return w;
+            }
+            return result;
+        }),
+        deferredResult: Effect.fnUntraced(function* (deferred) {
+            const instance = yield* WorkflowInstance;
+            const got = yield* readDeferred(instance.executionId, deferred.name);
+            if (Option.isNone(got))
+                return Option.none();
+            return Option.some(yield* decodeDeferredExit(got.value));
+        }),
+        deferredDone: Effect.fnUntraced(function* (options) {
+            const encoded = yield* encodeDeferredExit(options.exit);
+            const inserted = yield* createDeferred(options.executionId, options.deferredName, encoded);
+            if (!inserted)
+                return;
+            yield* driveById(options.executionId);
+        }),
+        scheduleClock: (workflow, options) => {
+            const fireAt = Date.now() + Duration.toMillis(options.clock.duration);
+            return Effect.gen(function* () {
+                yield* insertClock(options.executionId, options.clock.name, workflow._tag, options.clock.deferred.name, fireAt);
+                yield* fireClock(options.executionId, options.clock.name, options.clock.deferred.name).pipe(Effect.delay(options.clock.duration), FiberMap.run(clocks, `${options.executionId}/${options.clock.name}`, { onlyIfMissing: true }), Effect.asVoid);
+            });
+        }
+    };
+    const engine = makeUnsafe(encoded);
+    // --- Recovery poller --------------------------------------------------
+    if (Duration.toMillis(recoveryInterval) > 0) {
+        const recoverStep = Effect
+            .gen(function* () {
+            const rows = yield* exec(`SELECT execution_id, workflow_name FROM "${execTable}"
+         WHERE status = 'running' AND (lease_expires_at IS NULL OR lease_expires_at <= ?)
+         LIMIT 100`, [Date.now()]);
+            for (const row of rows) {
+                if (!workflows.has(row.workflow_name))
+                    continue;
+                const local = locals.get(row.execution_id);
+                if (local?.fiber && !local.fiber.pollUnsafe())
+                    continue;
+                yield* Effect.forkIn(driveById(row.execution_id), scope);
+            }
+        })
+            .pipe(annotate("recoveryScan"), Effect.catchCause(() => Effect.void));
+        yield* recoverStep.pipe(Effect.repeat(Schedule.spaced(recoveryInterval)), Effect.forkIn(scope));
+    }
+    // --- Clock poller -----------------------------------------------------
+    if (Duration.toMillis(clockPollInterval) > 0) {
+        const clockStep = Effect
+            .gen(function* () {
+            const rows = yield* exec(`SELECT execution_id, name, deferred_name FROM "${clockTable}"
+         WHERE fire_at <= ?
+         LIMIT 100`, [Date.now()]);
+            for (const row of rows) {
+                yield* Effect.forkIn(fireClock(row.execution_id, row.name, row.deferred_name), scope);
+            }
+        })
+            .pipe(annotate("clockScan"), Effect.catchCause(() => Effect.void));
+        yield* clockStep.pipe(Effect.repeat(Schedule.spaced(clockPollInterval)), Effect.forkIn(scope));
+    }
+    return engine;
+});
+/**
+ * SQLite backed `WorkflowEngine` layer. Requires an ambient `SqlClient`
+ * (`@effect/sql-sqlite-node` or a compatible client).
+ */
+export const layerSqlite = (cfg = {}) => Layer.effect(WorkflowEngine)(makeSqliteWorkflowEngine(cfg));
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiV29ya2Zsb3dFbmdpbmVTcWxpdGUuanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvV29ya2Zsb3dFbmdpbmVTcWxpdGUudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7R0FrQ0c7QUFDSCxPQUFPLEtBQUssTUFBTSxNQUFNLG1CQUFtQixDQUFBO0FBQzNDLE9BQU8sS0FBSyxLQUFLLE1BQU0sa0JBQWtCLENBQUE7QUFDekMsT0FBTyxLQUFLLE1BQU0sTUFBTSxtQkFBbUIsQ0FBQTtBQUMzQyxPQUFPLEtBQUssQ0FBQyxNQUFNLG1CQUFtQixDQUFBO0FBQ3RDLE9BQU8sS0FBSyxRQUFRLE1BQU0saUJBQWlCLENBQUE7QUFDM0MsT0FBTyxLQUFLLElBQUksTUFBTSxhQUFhLENBQUE7QUFDbkMsT0FBTyxLQUFLLEtBQUssTUFBTSxjQUFjLENBQUE7QUFDckMsT0FBTyxLQUFLLFFBQVEsTUFBTSxpQkFBaUIsQ0FBQTtBQUMzQyxPQUFPLEtBQUssUUFBUSxNQUFNLGlCQUFpQixDQUFBO0FBRTNDLE9BQU8sRUFBRSxTQUFTLEVBQUUsTUFBTSxxQkFBcUIsQ0FBQTtBQUMvQyxPQUFPLEtBQUssUUFBUSxNQUFNLG1DQUFtQyxDQUFBO0FBQzdELE9BQU8sRUFBZ0IsVUFBVSxFQUFFLGNBQWMsRUFBRSxnQkFBZ0IsRUFBRSxNQUFNLHlDQUF5QyxDQUFBO0FBQ3BILE9BQU8sRUFBRSxVQUFVLEVBQUUsTUFBTSxhQUFhLENBQUE7QUFDeEMsT0FBTyxFQUFFLDhCQUE4QixFQUFFLE1BQU0sYUFBYSxDQUFBO0FBQzVELE9BQU8sRUFBRSxVQUFVLEVBQUUsTUFBTSxXQUFXLENBQUE7QUFpRHRDLE1BQU0sU0FBUyxHQUFHLENBQUMsR0FBWSxFQUFhLEVBQUUsQ0FBQyxDQUFDO0lBQzlDLFdBQVcsRUFBRSxHQUFHLENBQUMsWUFBWTtJQUM3QixZQUFZLEVBQUUsR0FBRyxDQUFDLGFBQWE7SUFDL0IsT0FBTyxFQUFFLEdBQUcsQ0FBQyxPQUFPO0lBQ3BCLE1BQU0sRUFBRSxHQUFHLENBQUMsTUFBTSxJQUFJLFNBQVM7SUFDL0IsTUFBTSxFQUFFLEdBQUcsQ0FBQyxNQUFNO0lBQ2xCLFNBQVMsRUFBRSxHQUFHLENBQUMsU0FBUyxLQUFLLENBQUM7SUFDOUIsV0FBVyxFQUFFLEdBQUcsQ0FBQyxXQUFXLEtBQUssQ0FBQztJQUNsQyxlQUFlLEVBQUUsR0FBRyxDQUFDLGdCQUFnQixJQUFJLFNBQVM7SUFDbEQsTUFBTSxFQUFFLEdBQUcsQ0FBQyxNQUFNLElBQUksU0FBUztJQUMvQixjQUFjLEVBQUUsR0FBRyxDQUFDLGdCQUFnQixJQUFJLFNBQVM7SUFDakQsSUFBSSxFQUFFLEdBQUcsQ0FBQyxJQUFJO0NBQ2YsQ0FBQyxDQUFBO0FBRUYsK0VBQStFO0FBQy9FLCtFQUErRTtBQUMvRSw0RUFBNEU7QUFDNUUsMkRBQTJEO0FBQzNELE1BQU0sU0FBUyxHQUFHLENBQUMsQ0FBQyxLQUFLLENBQUMsQ0FBQyxDQUFDLENBQUMsR0FBRyxFQUFFLENBQUMsQ0FBQyxJQUFJLENBQUMsQ0FBQyxDQUFBO0FBQzFDLE1BQU0sbUJBQW1CLEdBQUcsQ0FBQyxDQUFDLGNBQWMsQ0FBQyxDQUFDLENBQUMsV0FBVyxDQUFDLFFBQVEsQ0FBQyxNQUFNLENBQUMsRUFBRSxPQUFPLEVBQUUsU0FBUyxFQUFFLEtBQUssRUFBRSxTQUFTLEVBQUUsQ0FBQyxDQUFDLENBQUMsQ0FBQTtBQUN0SCxNQUFNLGlCQUFpQixHQUFHLENBQUMsQ0FBQyxjQUFjLENBQUMsQ0FBQyxDQUFDLFdBQVcsQ0FBQyxDQUFDLENBQUMsSUFBSSxDQUFDLFNBQVMsRUFBRSxTQUFTLEVBQUUsQ0FBQyxDQUFDLE1BQU0sRUFBRSxDQUFDLENBQUMsQ0FBQyxDQUFBO0FBRW5HLE1BQU0sb0JBQW9CLEdBQUcsQ0FBQyxDQUFvQyxFQUFFLEVBQUUsQ0FDcEUsTUFBTSxDQUFDLEtBQUssQ0FBQyxDQUFDLENBQUMsWUFBWSxDQUFDLG1CQUFtQixDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQTtBQUN0RCxNQUFNLG9CQUFvQixHQUFHLENBQUMsQ0FBUyxFQUFFLEVBQUUsQ0FBQyxNQUFNLENBQUMsS0FBSyxDQUFDLENBQUMsQ0FBQyxZQUFZLENBQUMsbUJBQW1CLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFBO0FBQ2hHLE1BQU0sa0JBQWtCLEdBQUcsQ0FBQyxDQUE4QixFQUFFLEVBQUUsQ0FBQyxNQUFNLENBQUMsS0FBSyxDQUFDLENBQUMsQ0FBQyxZQUFZLENBQUMsaUJBQWlCLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFBO0FBQ2pILE1BQU0sa0JBQWtCLEdBQUcsQ0FBQyxDQUFTLEVBQUUsRUFBRSxDQUFDLE1BQU0sQ0FBQyxLQUFLLENBQUMsQ0FBQyxDQUFDLFlBQVksQ0FBQyxpQkFBaUIsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUE7QUFFNUYsTUFBTSx3QkFBd0IsR0FBRyxNQUFNLENBQUMsVUFBVSxDQUFDLFFBQVEsQ0FBQyxFQUFDLEdBQStCO0lBQzFGLE1BQU0sR0FBRyxHQUFHLEtBQUssQ0FBQyxDQUFDLFNBQVMsQ0FBQyxTQUFTLENBQUE7SUFDdEMsTUFBTSxLQUFLLEdBQUcsS0FBSyxDQUFDLENBQUMsTUFBTSxDQUFDLEtBQUssQ0FBQTtJQUNqQyxNQUFNLE1BQU0sR0FBRyxHQUFHLENBQUMsTUFBTSxJQUFJLEVBQUUsQ0FBQTtJQUMvQixNQUFNLFNBQVMsR0FBRyxHQUFHLE1BQU0sZUFBZSxDQUFBO0lBQzFDLE1BQU0sYUFBYSxHQUFHLEdBQUcsTUFBTSxtQkFBbUIsQ0FBQTtJQUNsRCxNQUFNLGFBQWEsR0FBRyxHQUFHLE1BQU0sbUJBQW1CLENBQUE7SUFDbEQsTUFBTSxVQUFVLEdBQUcsR0FBRyxNQUFNLGdCQUFnQixDQUFBO0lBRTVDLE1BQU0sUUFBUSxHQUFHLEdBQUcsQ0FBQyxRQUFRLElBQUksVUFBVSxFQUFFLENBQUE7SUFDN0MsTUFBTSxRQUFRLEdBQUcsR0FBRyxDQUFDLFFBQVEsSUFBSSxRQUFRLENBQUMsT0FBTyxDQUFDLEVBQUUsQ0FBQyxDQUFBO0lBQ3JELE1BQU0saUJBQWlCLEdBQUcsR0FBRyxDQUFDLGlCQUFpQixJQUFJLFFBQVEsQ0FBQyxPQUFPLENBQUMsRUFBRSxDQUFDLENBQUE7SUFDdkUsTUFBTSxnQkFBZ0IsR0FBRyxHQUFHLENBQUMsZ0JBQWdCLElBQUksUUFBUSxDQUFDLE9BQU8sQ0FBQyxFQUFFLENBQUMsQ0FBQTtJQUNyRSxNQUFNLGlCQUFpQixHQUFHLEdBQUcsQ0FBQyxpQkFBaUIsSUFBSSxRQUFRLENBQUMsT0FBTyxDQUFDLENBQUMsQ0FBQyxDQUFBO0lBRXRFLE1BQU0sUUFBUSxHQUFHLENBQUMsU0FBaUIsRUFBRSxXQUFvQixFQUFFLEVBQUUsQ0FDM0QsVUFBVSxDQUFDO1FBQ1QsU0FBUztRQUNULE1BQU0sRUFBRSxRQUFRO1FBQ2hCLFVBQVUsRUFBRSxTQUFTO1FBQ3JCLE1BQU0sRUFBRSxVQUFVO1FBQ2xCLEtBQUssRUFBRSxXQUFXLEtBQUssU0FBUyxDQUFDLENBQUMsQ0FBQyxFQUFFLGVBQWUsRUFBRSxXQUFXLEVBQUUsQ0FBQyxDQUFDLENBQUMsU0FBUztLQUNoRixDQUFDLENBQUE7SUFFSixNQUFNLElBQUksR0FBRyxDQUFDLEtBQWEsRUFBRSxNQUFNLEdBQTJCLEVBQUUsRUFBRSxFQUFFLENBQ2xFLEdBQUcsQ0FBQyxNQUFNLENBQUMsS0FBSyxFQUFFLE1BQW9CLENBQUMsQ0FBQyxJQUFJLENBQUMsTUFBTSxDQUFDLEtBQUssQ0FBQyxDQUFBO0lBRTVELHlFQUF5RTtJQUV6RSxLQUFLLENBQUMsQ0FBQyxJQUFJLENBQ1QsK0JBQStCLFNBQVM7Ozs7Ozs7Ozs7OztPQVlyQyxDQUNKLENBQUE7SUFDRCxLQUFLLENBQUMsQ0FBQyxJQUFJLENBQ1QsK0JBQStCLFNBQVMsa0JBQWtCLFNBQVMsOEJBQThCLENBQ2xHLENBQUE7SUFDRCxLQUFLLENBQUMsQ0FBQyxJQUFJLENBQ1QsK0JBQStCLGFBQWE7Ozs7OztPQU16QyxDQUNKLENBQUE7SUFDRCxLQUFLLENBQUMsQ0FBQyxJQUFJLENBQ1QsK0JBQStCLGFBQWE7Ozs7O09BS3pDLENBQ0osQ0FBQTtJQUNELEtBQUssQ0FBQyxDQUFDLElBQUksQ0FDVCwrQkFBK0IsVUFBVTs7Ozs7OztPQU90QyxDQUNKLENBQUE7SUFDRCxLQUFLLENBQUMsQ0FBQyxJQUFJLENBQ1QsK0JBQStCLFVBQVUsYUFBYSxVQUFVLGFBQWEsQ0FDOUUsQ0FBQTtJQVlELE1BQU0sU0FBUyxHQUFHLElBQUksR0FBRyxFQUFzQixDQUFBO0lBTy9DLE1BQU0sTUFBTSxHQUFHLElBQUksR0FBRyxFQUFxQixDQUFBO0lBQzNDLE1BQU0sTUFBTSxHQUFHLEtBQUssQ0FBQyxDQUFDLFFBQVEsQ0FBQyxJQUFJLEVBQVUsQ0FBQTtJQUU3QywwRUFBMEU7SUFDMUUseUVBQXlFO0lBQ3pFLHVFQUF1RTtJQUN2RSxNQUFNLGdCQUFnQixHQUFHLENBQUMsUUFBc0IsRUFBRSxFQUFFLENBQUMsQ0FBQyxDQUFDLGNBQWMsQ0FBQyxDQUFDLENBQUMsV0FBVyxDQUFDLFFBQVEsQ0FBQyxhQUFhLENBQUMsQ0FBQyxDQUFBO0lBQzVHLE1BQU0saUJBQWlCLEdBQUcsSUFBSSxHQUFHLEVBQStDLENBQUE7SUFDaEYsTUFBTSxlQUFlLEdBQUcsQ0FBQyxRQUFzQixFQUFFLEVBQUU7UUFDakQsSUFBSSxDQUFDLEdBQUcsaUJBQWlCLENBQUMsR0FBRyxDQUFDLFFBQVEsQ0FBQyxJQUFJLENBQUMsQ0FBQTtRQUM1QyxJQUFJLENBQUMsQ0FBQyxFQUFFLENBQUM7WUFDUCxDQUFDLEdBQUcsZ0JBQWdCLENBQUMsUUFBUSxDQUFDLENBQUE7WUFDOUIsaUJBQWlCLENBQUMsR0FBRyxDQUFDLFFBQVEsQ0FBQyxJQUFJLEVBQUUsQ0FBQyxDQUFDLENBQUE7UUFDekMsQ0FBQztRQUNELE9BQU8sQ0FBQyxDQUFBO0lBQ1YsQ0FBQyxDQUFBO0lBRUQsTUFBTSxlQUFlLEdBQUcsQ0FBQyxRQUFzQixFQUFFLEVBQUUsQ0FDakQsQ0FBQyxDQUFDLGNBQWMsQ0FBQyxDQUFDLENBQUMsV0FBVyxDQUFDLFFBQVEsQ0FBQyxNQUFNLENBQUMsRUFBRSxPQUFPLEVBQUUsUUFBUSxDQUFDLGFBQWEsRUFBRSxLQUFLLEVBQUUsUUFBUSxDQUFDLFdBQVcsRUFBRSxDQUFDLENBQUMsQ0FBQyxDQUFBO0lBQ3BILE1BQU0sZ0JBQWdCLEdBQUcsSUFBSSxHQUFHLEVBQThDLENBQUE7SUFDOUUsTUFBTSxjQUFjLEdBQUcsQ0FBQyxRQUFzQixFQUFFLEVBQUU7UUFDaEQsSUFBSSxDQUFDLEdBQUcsZ0JBQWdCLENBQUMsR0FBRyxDQUFDLFFBQVEsQ0FBQyxJQUFJLENBQUMsQ0FBQTtRQUMzQyxJQUFJLENBQUMsQ0FBQyxFQUFFLENBQUM7WUFDUCxDQUFDLEdBQUcsZUFBZSxDQUFDLFFBQVEsQ0FBQyxDQUFBO1lBQzdCLGdCQUFnQixDQUFDLEdBQUcsQ0FBQyxRQUFRLENBQUMsSUFBSSxFQUFFLENBQUMsQ0FBQyxDQUFBO1FBQ3hDLENBQUM7UUFDRCxPQUFPLENBQUMsQ0FBQTtJQUNWLENBQUMsQ0FBQTtJQUVELE1BQU0sYUFBYSxHQUFHLENBQUMsUUFBc0IsRUFBRSxPQUFlLEVBQUUsRUFBRSxDQUNoRSxNQUFNLENBQUMsS0FBSyxDQUFDLENBQUMsQ0FBQyxZQUFZLENBQUMsZUFBZSxDQUFDLFFBQVEsQ0FBQyxDQUFDLENBQUMsT0FBTyxDQUFDLENBQTBCLENBQUE7SUFDM0YsTUFBTSxhQUFhLEdBQUcsQ0FBQyxRQUFzQixFQUFFLENBQVMsRUFBRSxFQUFFLENBQzFELE1BQU0sQ0FBQyxLQUFLLENBQUMsQ0FBQyxDQUFDLFlBQVksQ0FBQyxlQUFlLENBQUMsUUFBUSxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBMEIsQ0FBQTtJQUNyRixNQUFNLFlBQVksR0FBRyxDQUFDLFFBQXNCLEVBQUUsQ0FBb0MsRUFBRSxFQUFFLENBQ3BGLE1BQU0sQ0FBQyxLQUFLLENBQUMsQ0FBQyxDQUFDLFlBQVksQ0FBQyxjQUFjLENBQUMsUUFBUSxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBMEIsQ0FBQTtJQUNwRixNQUFNLFlBQVksR0FBRyxDQUFDLFFBQXNCLEVBQUUsQ0FBUyxFQUFFLEVBQUUsQ0FDekQsTUFBTSxDQUFDLEtBQUssQ0FBQyxDQUFDLENBQUMsWUFBWSxDQUFDLGNBQWMsQ0FBQyxRQUFRLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFxRCxDQUFBO0lBRS9HLHlFQUF5RTtJQUV6RSxNQUFNLFFBQVEsR0FBRyxDQUFDLFdBQW1CLEVBQTJDLEVBQUUsQ0FDaEYsSUFBSSxDQUNGLGtCQUFrQixTQUFTLDBCQUEwQixFQUNyRCxDQUFDLFdBQVcsQ0FBQyxDQUNkO1NBQ0UsSUFBSSxDQUNILE1BQU0sQ0FBQyxHQUFHLENBQUMsQ0FBQyxJQUFJLEVBQUUsRUFBRTtRQUNsQixNQUFNLENBQUMsR0FBSSxJQUErQixDQUFDLENBQUMsQ0FBQyxDQUFBO1FBQzdDLE9BQU8sQ0FBQyxDQUFDLENBQUMsQ0FBQyxNQUFNLENBQUMsSUFBSSxDQUFDLFNBQVMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxNQUFNLENBQUMsSUFBSSxFQUFhLENBQUE7SUFDakUsQ0FBQyxDQUFDLEVBQ0YsUUFBUSxDQUFDLFVBQVUsRUFBRSxXQUFXLENBQUMsQ0FDbEMsQ0FBQTtJQUVMOzs7T0FHRztJQUNILE1BQU0sV0FBVyxHQUFHLENBQ2xCLEtBQWdCLEVBQ2hCLElBQThGLEVBQzlGLEVBQUUsQ0FDRixNQUFNO1NBQ0gsR0FBRyxDQUFDLFFBQVEsQ0FBQztRQUNaLE1BQU0sT0FBTyxHQUFHLFVBQVUsRUFBRSxDQUFBO1FBQzVCLE1BQU0sTUFBTSxHQUFHLEVBQUUsR0FBRyxLQUFLLEVBQUUsR0FBRyxJQUFJLEVBQUUsSUFBSSxFQUFFLE9BQU8sRUFBRSxDQUFBO1FBQ25ELE1BQU0sSUFBSSxHQUFHLEtBQUssQ0FBQyxDQUFDLElBQUksQ0FDdEIsV0FBVyxTQUFTOzs7Ozs7Ozs7d0JBU04sRUFDZDtZQUNFLE1BQU0sQ0FBQyxNQUFNO1lBQ2IsTUFBTSxDQUFDLFNBQVMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDO1lBQ3hCLE1BQU0sQ0FBQyxXQUFXLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQztZQUMxQixNQUFNLENBQUMsZUFBZSxJQUFJLElBQUk7WUFDOUIsTUFBTSxDQUFDLE1BQU0sSUFBSSxJQUFJO1lBQ3JCLE1BQU0sQ0FBQyxjQUFjLElBQUksSUFBSTtZQUM3QixPQUFPO1lBQ1AsS0FBSyxDQUFDLFdBQVc7WUFDakIsS0FBSyxDQUFDLElBQUk7U0FDWCxDQUNGLENBQUE7UUFDRCxJQUFLLElBQStCLENBQUMsTUFBTSxLQUFLLENBQUMsRUFBRSxDQUFDO1lBQ2xELE9BQU8sS0FBSyxDQUFDLENBQUMsSUFBSSw4QkFBOEIsQ0FBQztnQkFDL0MsSUFBSSxFQUFFLGVBQWU7Z0JBQ3JCLEVBQUUsRUFBRSxLQUFLLENBQUMsV0FBVztnQkFDckIsSUFBSSxFQUFFLEdBQUc7YUFDVixDQUFDLENBQUE7UUFDSixDQUFDO1FBQ0QsT0FBTyxNQUFNLENBQUE7SUFDZixDQUFDLENBQUM7U0FDRCxJQUFJLENBQUMsUUFBUSxDQUFDLGFBQWEsRUFBRSxLQUFLLENBQUMsV0FBVyxDQUFDLENBQUMsQ0FBQTtJQUVyRCxNQUFNLFVBQVUsR0FBRyxDQUFDLE9BQWtCLEVBQTBCLEVBQUUsQ0FDaEUsSUFBSSxDQUNGLGdCQUFnQixTQUFTOzs7OzhCQUlELEVBQ3hCO1FBQ0UsT0FBTyxDQUFDLFdBQVc7UUFDbkIsT0FBTyxDQUFDLFlBQVk7UUFDcEIsT0FBTyxDQUFDLE9BQU87UUFDZixPQUFPLENBQUMsTUFBTSxJQUFJLElBQUk7UUFDdEIsT0FBTyxDQUFDLE1BQU07UUFDZCxPQUFPLENBQUMsU0FBUyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUM7UUFDekIsT0FBTyxDQUFDLFdBQVcsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDO1FBQzNCLE9BQU8sQ0FBQyxJQUFJO0tBQ2IsQ0FDRjtTQUNFLElBQUksQ0FDSCxNQUFNLENBQUMsR0FBRyxDQUFDLENBQUMsSUFBSSxFQUFFLEVBQUUsQ0FBRSxJQUErQixDQUFDLE1BQU0sR0FBRyxDQUFDLENBQUMsRUFDakUsUUFBUSxDQUFDLFlBQVksRUFBRSxPQUFPLENBQUMsV0FBVyxDQUFDLENBQzVDLENBQUE7SUFFTCw0RUFBNEU7SUFDNUUsOEVBQThFO0lBQzlFLE1BQU0sY0FBYyxHQUFHLENBQ3JCLFdBQW1CLEVBQ25CLElBQVksRUFDWixPQUFlLEVBQ2YsT0FBZSxFQUNTLEVBQUUsQ0FDMUIsSUFBSSxDQUNGLGdCQUFnQixhQUFhOzs7OEJBR0wsRUFDeEIsQ0FBQyxXQUFXLEVBQUUsSUFBSSxFQUFFLE9BQU8sRUFBRSxPQUFPLENBQUMsQ0FDdEM7U0FDRSxJQUFJLENBQUMsTUFBTSxDQUFDLEdBQUcsQ0FBQyxDQUFDLElBQUksRUFBRSxFQUFFLENBQUUsSUFBK0IsQ0FBQyxNQUFNLEdBQUcsQ0FBQyxDQUFDLENBQUMsQ0FBQTtJQUU1RSw0RUFBNEU7SUFDNUUsdUNBQXVDO0lBQ3ZDLE1BQU0sY0FBYyxHQUFHLENBQ3JCLFdBQW1CLEVBQ25CLElBQVksRUFDWixPQUFlLEVBQ2YsT0FBZSxFQUNNLEVBQUUsQ0FDdkIsSUFBSSxDQUNGLGdCQUFnQixhQUFhOzt1RkFFb0QsRUFDakYsQ0FBQyxXQUFXLEVBQUUsSUFBSSxFQUFFLE9BQU8sRUFBRSxPQUFPLENBQUMsQ0FDdEM7U0FDRSxJQUFJLENBQUMsTUFBTSxDQUFDLE1BQU0sQ0FBQyxDQUFBO0lBRXhCLE1BQU0sWUFBWSxHQUFHLENBQ25CLFdBQW1CLEVBQ25CLElBQVksRUFDWixPQUFlLEVBQ3VCLEVBQUUsQ0FDeEMsSUFBSSxDQUNGLHVCQUF1QixhQUFhLHVEQUF1RCxFQUMzRixDQUFDLFdBQVcsRUFBRSxJQUFJLEVBQUUsT0FBTyxDQUFDLENBQzdCO1NBQ0UsSUFBSSxDQUNILE1BQU0sQ0FBQyxHQUFHLENBQUMsQ0FBQyxJQUFJLEVBQUUsRUFBRTtRQUNsQixNQUFNLENBQUMsR0FBSSxJQUEwQyxDQUFDLENBQUMsQ0FBQyxDQUFBO1FBQ3hELE9BQU8sQ0FBQyxDQUFDLENBQUMsQ0FBQyxNQUFNLENBQUMsSUFBSSxDQUFDLENBQUMsQ0FBQyxNQUFNLENBQUMsQ0FBQyxDQUFDLENBQUMsTUFBTSxDQUFDLElBQUksRUFBVSxDQUFBO0lBQzFELENBQUMsQ0FBQyxDQUNILENBQUE7SUFFTCxNQUFNLGNBQWMsR0FBRyxDQUNyQixXQUFtQixFQUNuQixJQUFZLEVBQ1osT0FBZSxFQUNTLEVBQUUsQ0FDMUIsSUFBSSxDQUNGLGdCQUFnQixhQUFhOzs7OEJBR0wsRUFDeEIsQ0FBQyxXQUFXLEVBQUUsSUFBSSxFQUFFLE9BQU8sQ0FBQyxDQUM3QjtTQUNFLElBQUksQ0FBQyxNQUFNLENBQUMsR0FBRyxDQUFDLENBQUMsSUFBSSxFQUFFLEVBQUUsQ0FBRSxJQUErQixDQUFDLE1BQU0sR0FBRyxDQUFDLENBQUMsQ0FBQyxDQUFBO0lBRTVFLE1BQU0sWUFBWSxHQUFHLENBQ25CLFdBQW1CLEVBQ25CLElBQVksRUFDMEIsRUFBRSxDQUN4QyxJQUFJLENBQ0YscUJBQXFCLGFBQWEsdUNBQXVDLEVBQ3pFLENBQUMsV0FBVyxFQUFFLElBQUksQ0FBQyxDQUNwQjtTQUNFLElBQUksQ0FDSCxNQUFNLENBQUMsR0FBRyxDQUFDLENBQUMsSUFBSSxFQUFFLEVBQUU7UUFDbEIsTUFBTSxDQUFDLEdBQUksSUFBd0MsQ0FBQyxDQUFDLENBQUMsQ0FBQTtRQUN0RCxPQUFPLENBQUMsQ0FBQyxDQUFDLENBQUMsTUFBTSxDQUFDLElBQUksQ0FBQyxDQUFDLENBQUMsSUFBSSxDQUFDLENBQUMsQ0FBQyxDQUFDLE1BQU0sQ0FBQyxJQUFJLEVBQVUsQ0FBQTtJQUN4RCxDQUFDLENBQUMsQ0FDSCxDQUFBO0lBRUwsTUFBTSxXQUFXLEdBQUcsQ0FDbEIsV0FBbUIsRUFDbkIsSUFBWSxFQUNaLFlBQW9CLEVBQ3BCLFlBQW9CLEVBQ3BCLE1BQWMsRUFDVSxFQUFFLENBQzFCLElBQUksQ0FDRixnQkFBZ0IsVUFBVTs7OzhCQUdGLEVBQ3hCLENBQUMsV0FBVyxFQUFFLElBQUksRUFBRSxZQUFZLEVBQUUsWUFBWSxFQUFFLE1BQU0sQ0FBQyxDQUN4RDtTQUNFLElBQUksQ0FBQyxNQUFNLENBQUMsR0FBRyxDQUFDLENBQUMsSUFBSSxFQUFFLEVBQUUsQ0FBRSxJQUErQixDQUFDLE1BQU0sR0FBRyxDQUFDLENBQUMsQ0FBQyxDQUFBO0lBRTVFLE1BQU0sV0FBVyxHQUFHLENBQUMsV0FBbUIsRUFBRSxJQUFZLEVBQUUsRUFBRSxDQUN4RCxJQUFJLENBQ0YsZ0JBQWdCLFVBQVUsdUNBQXVDLEVBQ2pFLENBQUMsV0FBVyxFQUFFLElBQUksQ0FBQyxDQUNwQixDQUFBO0lBRUgseUVBQXlFO0lBRXpFLE1BQU0sY0FBYyxHQUFHLENBQ3JCLFFBQXNCLEVBQ3RCLEtBQWdCLEVBQ2lELEVBQUUsQ0FDbkUsS0FBSyxDQUFDLE1BQU0sS0FBSyxVQUFVLElBQUksS0FBSyxDQUFDLGVBQWU7UUFDbEQsQ0FBQyxDQUFDLE1BQU0sQ0FBQyxHQUFHLENBQUMsWUFBWSxDQUFDLFFBQVEsRUFBRSxLQUFLLENBQUMsZUFBZSxDQUFDLEVBQUUsTUFBTSxDQUFDLElBQUksQ0FBQztRQUN4RSxDQUFDLENBQUMsTUFBTSxDQUFDLFdBQVcsQ0FBQTtJQUV4Qix5RUFBeUU7SUFFekUsTUFBTSxXQUFXLEdBQUcsQ0FBQyxLQUFnQixFQUFFLEdBQVcsRUFBVyxFQUFFLENBQzdELEtBQUssQ0FBQyxNQUFNLEtBQUssU0FBUztXQUN2QixLQUFLLENBQUMsTUFBTSxLQUFLLFFBQVE7V0FDekIsS0FBSyxDQUFDLGNBQWMsS0FBSyxTQUFTO1dBQ2xDLEtBQUssQ0FBQyxjQUFjLEdBQUcsR0FBRyxDQUFBO0lBRS9CLE1BQU0sUUFBUSxHQUFHLENBQUMsS0FBZ0IsRUFBMkMsRUFBRSxDQUM3RSxNQUFNLENBQUMsR0FBRyxDQUFDLFFBQVEsQ0FBQztRQUNsQixNQUFNLEdBQUcsR0FBRyxJQUFJLENBQUMsR0FBRyxFQUFFLENBQUE7UUFDdEIsSUFBSSxXQUFXLENBQUMsS0FBSyxFQUFFLEdBQUcsQ0FBQztZQUFFLE9BQU8sTUFBTSxDQUFDLElBQUksRUFBYSxDQUFBO1FBQzVELE9BQU8sS0FBSyxDQUFDLENBQUMsV0FBVyxDQUFDLEtBQUssRUFBRTtZQUMvQixNQUFNLEVBQUUsUUFBUTtZQUNoQixjQUFjLEVBQUUsR0FBRyxHQUFHLFFBQVEsQ0FBQyxRQUFRLENBQUMsUUFBUSxDQUFDO1NBQ2xELENBQUM7YUFDQyxJQUFJLENBQ0gsTUFBTSxDQUFDLEdBQUcsQ0FBQyxNQUFNLENBQUMsSUFBSSxDQUFDLEVBQ3ZCLE1BQU0sQ0FBQyxRQUFRLENBQUMsZ0NBQWdDLEVBQUUsR0FBRyxFQUFFLENBQUMsTUFBTSxDQUFDLE9BQU8sQ0FBQyxNQUFNLENBQUMsSUFBSSxFQUFhLENBQUMsQ0FBQyxDQUNsRyxDQUFBO0lBQ0wsQ0FBQyxDQUFDLENBQUE7SUFFSixNQUFNLFNBQVMsR0FBRyxDQUFDLFdBQW1CLEVBQXVCLEVBQUUsQ0FDN0QsTUFBTSxDQUFDLEdBQUcsQ0FBQyxRQUFRLENBQUM7UUFDbEIsT0FBTyxJQUFJLEVBQUUsQ0FBQztZQUNaLEtBQUssQ0FBQyxDQUFDLE1BQU0sQ0FBQyxLQUFLLENBQUMsaUJBQWlCLENBQUMsQ0FBQTtZQUN0QyxNQUFNLEtBQUssR0FBRyxNQUFNLENBQUMsR0FBRyxDQUFDLFdBQVcsQ0FBQyxDQUFBO1lBQ3JDLE1BQU0sTUFBTSxHQUFHLEtBQUssRUFBRSxLQUFLLEVBQUUsVUFBVSxFQUFFLENBQUE7WUFDekMsSUFBSSxDQUFDLEtBQUssRUFBRSxLQUFLLElBQUksTUFBTTtnQkFBRSxPQUFNO1lBQ25DLE1BQU0sR0FBRyxHQUFHLEtBQUssQ0FBQyxDQUFDLFFBQVEsQ0FBQyxXQUFXLENBQUMsQ0FBQyxJQUFJLENBQzNDLE1BQU0sQ0FBQyxVQUFVLENBQUMsR0FBRyxFQUFFLENBQUMsTUFBTSxDQUFDLE9BQU8sQ0FBQyxNQUFNLENBQUMsSUFBSSxFQUFhLENBQUMsQ0FBQyxDQUNsRSxDQUFBO1lBQ0QsSUFBSSxNQUFNLENBQUMsTUFBTSxDQUFDLEdBQUcsQ0FBQztnQkFBRSxTQUFRO1lBQ2hDLE1BQU0sS0FBSyxHQUFHLEdBQUcsQ0FBQyxLQUFLLENBQUE7WUFDdkIsSUFBSSxLQUFLLENBQUMsTUFBTSxLQUFLLFVBQVUsSUFBSSxLQUFLLENBQUMsTUFBTSxLQUFLLFFBQVE7Z0JBQUUsT0FBTTtZQUNwRSxLQUFLLENBQUMsQ0FBQyxXQUFXLENBQUMsS0FBSyxFQUFFO2dCQUN4QixjQUFjLEVBQUUsSUFBSSxDQUFDLEdBQUcsRUFBRSxHQUFHLFFBQVEsQ0FBQyxRQUFRLENBQUMsUUFBUSxDQUFDO2FBQ3pELENBQUM7aUJBQ0MsSUFBSSxDQUNILE1BQU0sQ0FBQyxRQUFRLENBQUMsZ0NBQWdDLEVBQUUsR0FBRyxFQUFFLENBQUMsTUFBTSxDQUFDLElBQUksQ0FBQyxFQUNwRSxNQUFNLENBQUMsVUFBVSxDQUFDLEdBQUcsRUFBRSxDQUFDLE1BQU0sQ0FBQyxJQUFJLENBQUMsQ0FDckMsQ0FBQTtRQUNMLENBQUM7SUFDSCxDQUFDLENBQUMsQ0FBQTtJQUVKLHlFQUF5RTtJQUV6RSxNQUFNLEtBQUssR0FBRyxDQUNaLFdBQW1CLEVBQ25CLE9BQWUsRUFDZixNQUEwQixFQUMxQixLQUFpQixFQUNJLEVBQUUsQ0FDdkIsTUFBTSxDQUFDLEdBQUcsQ0FBQyxRQUFRLENBQUM7UUFDbEIsSUFBSSxLQUFLLEdBQUcsTUFBTSxDQUFDLEdBQUcsQ0FBQyxXQUFXLENBQUMsQ0FBQTtRQUNuQyxJQUFJLEtBQUssRUFBRSxLQUFLLEVBQUUsQ0FBQztZQUNqQixNQUFNLE1BQU0sR0FBRyxLQUFLLENBQUMsS0FBSyxDQUFDLFVBQVUsRUFBRSxDQUFBO1lBQ3ZDLE1BQU0sWUFBWSxHQUFHLENBQUMsTUFBTSxDQUFBO1lBQzVCLE1BQU0sa0JBQWtCLEdBQUcsTUFBTSxJQUFJLE1BQU0sQ0FBQyxJQUFJLEtBQUssU0FBUyxJQUFJLE1BQU0sQ0FBQyxLQUFLLENBQUMsSUFBSSxLQUFLLFVBQVUsQ0FBQTtZQUNsRyxJQUFJLFlBQVksSUFBSSxrQkFBa0I7Z0JBQUUsT0FBTTtRQUNoRCxDQUFDO1FBRUQsTUFBTSxRQUFRLEdBQUcsS0FBSyxDQUFDLENBQUMsUUFBUSxDQUFDLFdBQVcsQ0FBQyxDQUFBO1FBQzdDLElBQUksTUFBTSxDQUFDLE1BQU0sQ0FBQyxRQUFRLENBQUMsSUFBSSxRQUFRLENBQUMsS0FBSyxDQUFDLE1BQU0sS0FBSyxVQUFVO1lBQUUsT0FBTTtRQUUzRSxNQUFNLE9BQU8sR0FBRyxLQUFLLENBQUMsQ0FBQyxRQUFRLENBQUMsUUFBUSxDQUFDLEtBQUssQ0FBQyxDQUFBO1FBQy9DLE1BQU0sS0FBSyxHQUFHLE1BQU0sQ0FBQyxNQUFNLENBQUMsT0FBTyxDQUFDLENBQUMsQ0FBQyxDQUFDLE9BQU8sQ0FBQyxLQUFLLENBQUMsQ0FBQyxDQUFDLFFBQVEsQ0FBQyxLQUFLLENBQUE7UUFFckUsTUFBTSxRQUFRLEdBQUcsZ0JBQWdCLENBQUMsT0FBTyxDQUFDLEtBQUssQ0FBQyxRQUFRLEVBQUUsV0FBVyxDQUFDLENBQUE7UUFDdEUsUUFBUSxDQUFDLFdBQVcsR0FBRyxLQUFLLENBQUMsV0FBVyxDQUFBO1FBQ3hDLElBQUksQ0FBQyxLQUFLLEVBQUUsQ0FBQztZQUNYLEtBQUssR0FBRyxFQUFFLFFBQVEsRUFBRSxLQUFLLEVBQUUsU0FBUyxFQUFFLE1BQU0sRUFBRSxDQUFBO1lBQzlDLE1BQU0sQ0FBQyxHQUFHLENBQUMsV0FBVyxFQUFFLEtBQUssQ0FBQyxDQUFBO1FBQ2hDLENBQUM7YUFBTSxDQUFDO1lBQ04sS0FBSyxDQUFDLFFBQVEsR0FBRyxRQUFRLENBQUE7UUFDM0IsQ0FBQztRQUVELE1BQU0sVUFBVSxHQUFHLE1BQU0sQ0FBQyxVQUFVLENBQUMsUUFBUSxDQUFDLEVBQUMsTUFBeUM7WUFDdEYsTUFBTSxPQUFPLEdBQUcsS0FBSyxDQUFDLENBQUMsUUFBUSxDQUFDLFdBQVcsQ0FBQyxDQUFBO1lBQzVDLElBQUksTUFBTSxDQUFDLE1BQU0sQ0FBQyxPQUFPLENBQUMsSUFBSSxPQUFPLENBQUMsS0FBSyxDQUFDLE1BQU0sS0FBSyxVQUFVO2dCQUFFLE9BQU07WUFDekUsTUFBTSxVQUFVLEdBQUcsTUFBTSxDQUFDLElBQUksS0FBSyxVQUFVLENBQUE7WUFDN0MsTUFBTSxlQUFlLEdBQUcsVUFBVSxDQUFDLENBQUMsQ0FBQyxLQUFLLENBQUMsQ0FBQyxZQUFZLENBQUMsS0FBSyxDQUFDLFFBQVEsRUFBRSxNQUFNLENBQUMsQ0FBQyxDQUFDLENBQUMsU0FBUyxDQUFBO1lBQzVGLEtBQUssQ0FBQyxDQUFDLFdBQVcsQ0FBQyxPQUFPLENBQUMsS0FBSyxFQUFFO2dCQUNoQyxNQUFNLEVBQUUsVUFBVSxDQUFDLENBQUMsQ0FBQyxVQUFVLENBQUMsQ0FBQyxDQUFDLE9BQU8sQ0FBQyxLQUFLLENBQUMsTUFBTTtnQkFDdEQsU0FBUyxFQUFFLE1BQU0sQ0FBQyxJQUFJLEtBQUssV0FBVztnQkFDdEMsV0FBVyxFQUFFLFFBQVEsQ0FBQyxXQUFXO2dCQUNqQyxlQUFlO2dCQUNmLE1BQU0sRUFBRSxVQUFVLENBQUMsQ0FBQyxDQUFDLFNBQVMsQ0FBQyxDQUFDLENBQUMsT0FBTyxDQUFDLEtBQUssQ0FBQyxNQUFNO2dCQUNyRCxjQUFjLEVBQUUsVUFBVSxDQUFDLENBQUMsQ0FBQyxTQUFTLENBQUMsQ0FBQyxDQUFDLE9BQU8sQ0FBQyxLQUFLLENBQUMsY0FBYzthQUN0RSxDQUFDO2lCQUNDLElBQUksQ0FBQyxNQUFNLENBQUMsUUFBUSxDQUFDLGdDQUFnQyxFQUFFLEdBQUcsRUFBRSxDQUFDLE1BQU0sQ0FBQyxJQUFJLENBQUMsQ0FBQyxDQUFBO1lBQzdFLElBQUksTUFBTSxJQUFJLFVBQVUsRUFBRSxDQUFDO2dCQUN6QixLQUFLLENBQUMsQ0FBQyxNQUFNLENBQUMsTUFBTSxDQUFDLFNBQVMsQ0FBQyxNQUFNLENBQUMsRUFBRSxLQUFLLENBQUMsQ0FBQTtZQUNoRCxDQUFDO1FBQ0gsQ0FBQyxDQUFDLENBQUE7UUFFRixLQUFLLENBQUMsS0FBSyxHQUFHLEtBQUssQ0FBQyxDQUFDLEtBQUssQ0FBQyxPQUFPLENBQUMsT0FBTyxFQUFFLFdBQVcsQ0FBQyxDQUFDLElBQUksQ0FDM0QsTUFBTSxDQUFDLE1BQU0sQ0FBQyxHQUFHLEVBQUU7WUFDakIsSUFBSSxDQUFDLFFBQVEsQ0FBQyxXQUFXO2dCQUFFLE9BQU8sTUFBTSxDQUFDLElBQUksQ0FBQTtZQUM3QyxRQUFRLENBQUMsU0FBUyxHQUFHLEtBQUssQ0FBQTtZQUMxQixPQUFPLE1BQU0sQ0FBQyxTQUFTLENBQUMsQ0FBQyxLQUFLLEVBQUUsRUFBRSxDQUFDLE1BQU0sQ0FBQyxhQUFhLENBQUMsS0FBSyxDQUFDLFNBQVMsQ0FBQyxLQUFLLENBQUMsQ0FBQyxDQUFDLENBQUE7UUFDbEYsQ0FBQyxDQUFDLEVBQ0YsUUFBUSxDQUFDLFVBQVUsRUFDbkIsTUFBTSxDQUFDLGNBQWMsQ0FBQyxnQkFBZ0IsRUFBRSxRQUFRLENBQUMsRUFDakQsTUFBTSxDQUFDLGNBQWMsQ0FBQyxjQUFjLEVBQUUsTUFBTSxDQUFDLEVBQzdDLE1BQU0sQ0FBQyxHQUFHLENBQUMsVUFBVSxDQUFDLEVBQ3RCLE1BQU0sQ0FBQyxNQUFNLENBQUMsS0FBSyxDQUFDLEtBQUssQ0FBQyxDQUMzQixDQUFBO1FBRUQsSUFBSSxNQUFNLENBQUMsTUFBTSxDQUFDLE9BQU8sQ0FBQyxFQUFFLENBQUM7WUFDM0IsS0FBSyxDQUFDLENBQUMsTUFBTSxDQUFDLE1BQU0sQ0FBQyxTQUFTLENBQUMsV0FBVyxDQUFDLEVBQUUsS0FBSyxDQUFDLENBQUE7UUFDckQsQ0FBQztJQUNILENBQUMsQ0FBQyxDQUFBO0lBRUosTUFBTSxTQUFTLEdBQUcsQ0FBQyxXQUFtQixFQUF1QixFQUFFLENBQzdELE1BQU0sQ0FBQyxHQUFHLENBQUMsUUFBUSxDQUFDO1FBQ2xCLE1BQU0sUUFBUSxHQUFHLEtBQUssQ0FBQyxDQUFDLFFBQVEsQ0FBQyxXQUFXLENBQUMsQ0FBQTtRQUM3QyxJQUFJLE1BQU0sQ0FBQyxNQUFNLENBQUMsUUFBUSxDQUFDO1lBQUUsT0FBTTtRQUNuQyxNQUFNLEtBQUssR0FBRyxRQUFRLENBQUMsS0FBSyxDQUFBO1FBQzVCLE1BQU0sS0FBSyxHQUFHLFNBQVMsQ0FBQyxHQUFHLENBQUMsS0FBSyxDQUFDLFlBQVksQ0FBQyxDQUFBO1FBQy9DLElBQUksQ0FBQyxLQUFLO1lBQUUsT0FBTTtRQUNsQixNQUFNLE9BQU8sR0FBRyxLQUFLLENBQUMsQ0FBQyxhQUFhLENBQUMsS0FBSyxDQUFDLFFBQVEsRUFBRSxLQUFLLENBQUMsT0FBTyxDQUFDLENBQUE7UUFDbkUsS0FBSyxDQUFDLENBQUMsS0FBSyxDQUFDLFdBQVcsRUFBRSxPQUFPLEVBQUUsS0FBSyxDQUFDLE1BQU0sRUFBRSxLQUFLLENBQUMsQ0FBQTtJQUN6RCxDQUFDLENBQUMsQ0FBQTtJQUVKLHlFQUF5RTtJQUV6RSxNQUFNLFNBQVMsR0FBRyxDQUNoQixXQUFtQixFQUNuQixJQUFZLEVBQ1osWUFBb0IsRUFDQyxFQUFFLENBQ3ZCLE1BQU07U0FDSCxHQUFHLENBQUMsUUFBUSxDQUFDO1FBQ1osTUFBTSxPQUFPLEdBQUcsS0FBSyxDQUFDLENBQUMsa0JBQWtCLENBQUMsSUFBSSxDQUFDLElBQUksQ0FBQyxDQUFBO1FBQ3BELE1BQU0sUUFBUSxHQUFHLEtBQUssQ0FBQyxDQUFDLEdBQUc7YUFDeEIsZUFBZSxDQUFDLE1BQU0sQ0FBQyxHQUFHLENBQUMsUUFBUSxDQUFDO1lBQ25DLE1BQU0sR0FBRyxHQUFHLEtBQUssQ0FBQyxDQUFDLGNBQWMsQ0FBQyxXQUFXLEVBQUUsWUFBWSxFQUFFLE9BQU8sQ0FBQyxDQUFBO1lBQ3JFLEtBQUssQ0FBQyxDQUFDLFdBQVcsQ0FBQyxXQUFXLEVBQUUsSUFBSSxDQUFDLENBQUE7WUFDckMsT0FBTyxHQUFHLENBQUE7UUFDWixDQUFDLENBQUMsQ0FBQzthQUNGLElBQUksQ0FBQyxNQUFNLENBQUMsS0FBSyxDQUFDLENBQUE7UUFDckIsSUFBSSxRQUFRO1lBQUUsS0FBSyxDQUFDLENBQUMsU0FBUyxDQUFDLFdBQVcsQ0FBQyxDQUFBO0lBQzdDLENBQUMsQ0FBQztTQUNELElBQUksQ0FBQyxRQUFRLENBQUMsV0FBVyxFQUFFLFdBQVcsQ0FBQyxDQUFDLENBQUE7SUFFN0MseUVBQXlFO0lBRXpFLE1BQU0sT0FBTyxHQUFZO1FBQ3ZCLFFBQVEsRUFBRSxNQUFNLENBQUMsVUFBVSxDQUFDLFFBQVEsQ0FBQyxFQUFDLFFBQVEsRUFBRSxPQUFPO1lBQ3JELFNBQVMsQ0FBQyxHQUFHLENBQUMsUUFBUSxDQUFDLElBQUksRUFBRTtnQkFDM0IsUUFBUTtnQkFDUixPQUFPO2dCQUNQLEtBQUssRUFBRSxLQUFLLENBQUMsQ0FBQyxNQUFNLENBQUMsS0FBSzthQUMzQixDQUFDLENBQUE7UUFDSixDQUFDLENBQUM7UUFDRixPQUFPLEVBQUUsTUFBTSxDQUFDLFVBQVUsQ0FBQyxRQUFRLENBQUMsRUFBQyxRQUFRLEVBQUUsT0FBTztZQUNwRCxNQUFNLEtBQUssR0FBRyxTQUFTLENBQUMsR0FBRyxDQUFDLFFBQVEsQ0FBQyxJQUFJLENBQUMsQ0FBQTtZQUMxQyxJQUFJLENBQUMsS0FBSyxFQUFFLENBQUM7Z0JBQ1gsT0FBTyxLQUFLLENBQUMsQ0FBQyxNQUFNLENBQUMsS0FBSyxDQUFDLE1BQU0sQ0FBQyxJQUFJLENBQUMsWUFBWSxRQUFRLENBQUMsSUFBSSxvQkFBb0IsQ0FBQyxDQUFDLENBQUE7WUFDeEYsQ0FBQztZQUNELE1BQU0sT0FBTyxHQUFjO2dCQUN6QixXQUFXLEVBQUUsT0FBTyxDQUFDLFdBQVc7Z0JBQ2hDLFlBQVksRUFBRSxRQUFRLENBQUMsSUFBSTtnQkFDM0IsT0FBTyxFQUFFLEtBQUssQ0FBQyxDQUFDLGFBQWEsQ0FBQyxRQUFRLEVBQUUsT0FBTyxDQUFDLE9BQU8sQ0FBQztnQkFDeEQsTUFBTSxFQUFFLE9BQU8sQ0FBQyxNQUFNLEVBQUUsV0FBVztnQkFDbkMsTUFBTSxFQUFFLFNBQVM7Z0JBQ2pCLFNBQVMsRUFBRSxLQUFLO2dCQUNoQixXQUFXLEVBQUUsS0FBSztnQkFDbEIsZUFBZSxFQUFFLFNBQVM7Z0JBQzFCLE1BQU0sRUFBRSxTQUFTO2dCQUNqQixjQUFjLEVBQUUsU0FBUztnQkFDekIsSUFBSSxFQUFFLFVBQVUsRUFBRTthQUNuQixDQUFBO1lBQ0QsS0FBSyxDQUFDLENBQUMsVUFBVSxDQUFDLE9BQU8sQ0FBQyxDQUFBO1lBQzFCLEtBQUssQ0FBQyxDQUFDLEtBQUssQ0FBQyxPQUFPLENBQUMsV0FBVyxFQUFFLE9BQU8sQ0FBQyxPQUFPLEVBQUUsT0FBTyxDQUFDLE1BQU0sRUFBRSxXQUFXLEVBQUUsS0FBSyxDQUFDLENBQUE7WUFDdEYsSUFBSSxPQUFPLENBQUMsT0FBTztnQkFBRSxPQUFPLFNBQWdCLENBQUE7WUFDNUMsTUFBTSxLQUFLLEdBQUcsTUFBTSxDQUFDLEdBQUcsQ0FBQyxPQUFPLENBQUMsV0FBVyxDQUFDLENBQUE7WUFDN0MsSUFBSSxLQUFLLEVBQUUsS0FBSyxFQUFFLENBQUM7Z0JBQ2pCLE9BQU8sQ0FBQyxLQUFLLENBQUMsQ0FBQyxLQUFLLENBQUMsSUFBSSxDQUFDLEtBQUssQ0FBQyxLQUFLLENBQUMsQ0FBUSxDQUFBO1lBQ2hELENBQUM7WUFDRCx1RUFBdUU7WUFDdkUsT0FBTyxJQUFJLEVBQUUsQ0FBQztnQkFDWixNQUFNLEdBQUcsR0FBRyxLQUFLLENBQUMsQ0FBQyxRQUFRLENBQUMsT0FBTyxDQUFDLFdBQVcsQ0FBQyxDQUFBO2dCQUNoRCxJQUFJLE1BQU0sQ0FBQyxNQUFNLENBQUMsR0FBRyxDQUFDLEVBQUUsQ0FBQztvQkFDdkIsTUFBTSxDQUFDLEdBQUcsS0FBSyxDQUFDLENBQUMsY0FBYyxDQUFDLFFBQVEsRUFBRSxHQUFHLENBQUMsS0FBSyxDQUFDLENBQUE7b0JBQ3BELElBQUksTUFBTSxDQUFDLE1BQU0sQ0FBQyxDQUFDLENBQUM7d0JBQUUsT0FBTyxDQUFDLENBQUMsS0FBWSxDQUFBO2dCQUM3QyxDQUFDO2dCQUNELEtBQUssQ0FBQyxDQUFDLE1BQU0sQ0FBQyxLQUFLLENBQUMsUUFBUSxDQUFDLE1BQU0sQ0FBQyxHQUFHLENBQUMsQ0FBQyxDQUFBO1lBQzNDLENBQUM7UUFDSCxDQUFDLENBQUM7UUFDRixJQUFJLEVBQUUsQ0FBQyxRQUFRLEVBQUUsV0FBVyxFQUFFLEVBQUUsQ0FDOUIsTUFBTSxDQUFDLEdBQUcsQ0FBQyxRQUFRLENBQUM7WUFDbEIsTUFBTSxLQUFLLEdBQUcsTUFBTSxDQUFDLEdBQUcsQ0FBQyxXQUFXLENBQUMsQ0FBQTtZQUNyQyxJQUFJLEtBQUssRUFBRSxLQUFLLEVBQUUsQ0FBQztnQkFDakIsTUFBTSxPQUFPLEdBQUcsS0FBSyxDQUFDLEtBQUssQ0FBQyxVQUFVLEVBQUUsQ0FBQTtnQkFDeEMsSUFBSSxDQUFDLE9BQU87b0JBQUUsT0FBTyxNQUFNLENBQUMsSUFBSSxFQUFxQyxDQUFBO2dCQUNyRSxJQUFJLE9BQU8sQ0FBQyxJQUFJLEtBQUssU0FBUztvQkFBRSxPQUFPLEtBQUssQ0FBQyxDQUFDLE1BQU0sQ0FBQyxHQUFHLENBQUMsT0FBTyxDQUFDLEtBQUssQ0FBQyxDQUFBO2dCQUN2RSxPQUFPLE1BQU0sQ0FBQyxJQUFJLENBQUMsT0FBTyxDQUFDLEtBQUssQ0FBQyxDQUFBO1lBQ25DLENBQUM7WUFDRCxNQUFNLEtBQUssR0FBRyxLQUFLLENBQUMsQ0FBQyxRQUFRLENBQUMsV0FBVyxDQUFDLENBQUE7WUFDMUMsSUFBSSxNQUFNLENBQUMsTUFBTSxDQUFDLEtBQUssQ0FBQztnQkFBRSxPQUFPLE1BQU0sQ0FBQyxJQUFJLEVBQXFDLENBQUE7WUFDakYsT0FBTyxLQUFLLENBQUMsQ0FBQyxjQUFjLENBQUMsUUFBUSxFQUFFLEtBQUssQ0FBQyxLQUFLLENBQUMsQ0FBQTtRQUNyRCxDQUFDLENBQUM7UUFDSixTQUFTLEVBQUUsTUFBTSxDQUFDLFVBQVUsQ0FBQyxRQUFRLENBQUMsRUFBQyxTQUFTLEVBQUUsV0FBVztZQUMzRCxNQUFNLEtBQUssR0FBRyxNQUFNLENBQUMsR0FBRyxDQUFDLFdBQVcsQ0FBQyxDQUFBO1lBQ3JDLElBQUksS0FBSztnQkFBRSxLQUFLLENBQUMsUUFBUSxDQUFDLFdBQVcsR0FBRyxJQUFJLENBQUE7WUFDNUMsTUFBTSxPQUFPLEdBQUcsS0FBSyxDQUFDLENBQUMsUUFBUSxDQUFDLFdBQVcsQ0FBQyxDQUFBO1lBQzVDLElBQUksTUFBTSxDQUFDLE1BQU0sQ0FBQyxPQUFPLENBQUMsSUFBSSxPQUFPLENBQUMsS0FBSyxDQUFDLE1BQU0sS0FBSyxVQUFVO2dCQUFFLE9BQU07WUFDekUsS0FBSyxDQUFDLENBQUMsV0FBVyxDQUFDLE9BQU8sQ0FBQyxLQUFLLEVBQUUsRUFBRSxXQUFXLEVBQUUsSUFBSSxFQUFFLENBQUMsQ0FBQyxJQUFJLENBQzNELE1BQU0sQ0FBQyxRQUFRLENBQUMsZ0NBQWdDLEVBQUUsR0FBRyxFQUFFLENBQUMsTUFBTSxDQUFDLElBQUksQ0FBQyxDQUNyRSxDQUFBO1lBQ0QsS0FBSyxDQUFDLENBQUMsU0FBUyxDQUFDLFdBQVcsQ0FBQyxDQUFBO1FBQy9CLENBQUMsQ0FBQztRQUNGLGVBQWUsRUFBRSxNQUFNLENBQUMsVUFBVSxDQUFDLFFBQVEsQ0FBQyxFQUFDLFNBQVMsRUFBRSxXQUFXO1lBQ2pFLE1BQU0sS0FBSyxHQUFHLE1BQU0sQ0FBQyxHQUFHLENBQUMsV0FBVyxDQUFDLENBQUE7WUFDckMsSUFBSSxLQUFLO2dCQUFFLEtBQUssQ0FBQyxRQUFRLENBQUMsV0FBVyxHQUFHLElBQUksQ0FBQTtZQUM1QyxNQUFNLE9BQU8sR0FBRyxLQUFLLENBQUMsQ0FBQyxRQUFRLENBQUMsV0FBVyxDQUFDLENBQUE7WUFDNUMsSUFBSSxNQUFNLENBQUMsTUFBTSxDQUFDLE9BQU8sQ0FBQyxJQUFJLE9BQU8sQ0FBQyxLQUFLLENBQUMsTUFBTSxLQUFLLFVBQVUsRUFBRSxDQUFDO2dCQUNsRSxLQUFLLENBQUMsQ0FBQyxXQUFXLENBQUMsT0FBTyxDQUFDLEtBQUssRUFBRSxFQUFFLFdBQVcsRUFBRSxJQUFJLEVBQUUsQ0FBQyxDQUFDLElBQUksQ0FDM0QsTUFBTSxDQUFDLFFBQVEsQ0FBQyxnQ0FBZ0MsRUFBRSxHQUFHLEVBQUUsQ0FBQyxNQUFNLENBQUMsSUFBSSxDQUFDLENBQ3JFLENBQUE7WUFDSCxDQUFDO1lBQ0QsSUFBSSxLQUFLLEVBQUUsS0FBSztnQkFBRSxLQUFLLENBQUMsQ0FBQyxLQUFLLENBQUMsU0FBUyxDQUFDLEtBQUssQ0FBQyxLQUFLLENBQUMsQ0FBQTtRQUN2RCxDQUFDLENBQUM7UUFDRixNQUFNLEVBQUUsQ0FBQyxTQUFTLEVBQUUsV0FBVyxFQUFFLEVBQUUsQ0FBQyxTQUFTLENBQUMsV0FBVyxDQUFDO1FBQzFELGVBQWUsRUFBRSxNQUFNLENBQUMsVUFBVSxDQUFDLFFBQVEsQ0FBQyxFQUFDLFFBQVEsRUFBRSxPQUFPO1lBQzVELE1BQU0sUUFBUSxHQUFHLEtBQUssQ0FBQyxDQUFDLGdCQUFnQixDQUFBO1lBQ3hDLE1BQU0sUUFBUSxHQUFHLEtBQUssQ0FBQyxDQUFDLFlBQVksQ0FBQyxRQUFRLENBQUMsV0FBVyxFQUFFLFFBQVEsQ0FBQyxJQUFJLEVBQUUsT0FBTyxDQUFDLENBQUE7WUFDbEYsSUFBSSxNQUFNLENBQUMsTUFBTSxDQUFDLFFBQVEsQ0FBQyxFQUFFLENBQUM7Z0JBQzVCLE1BQU0sSUFBSSxHQUFHLEtBQUssQ0FBQyxDQUFDLG9CQUFvQixDQUFDLFFBQVEsQ0FBQyxLQUFLLENBQUMsQ0FBQTtnQkFDeEQsZ0VBQWdFO2dCQUNoRSw2REFBNkQ7Z0JBQzdELElBQUksSUFBSSxDQUFDLElBQUksS0FBSyxVQUFVO29CQUFFLE9BQU8sSUFBSSxDQUFBO1lBQzNDLENBQUM7WUFFRCxNQUFNLGdCQUFnQixHQUFHLGdCQUFnQixDQUFDLE9BQU8sQ0FBQyxRQUFRLENBQUMsUUFBUSxFQUFFLFFBQVEsQ0FBQyxXQUFXLENBQUMsQ0FBQTtZQUMxRixnQkFBZ0IsQ0FBQyxXQUFXLEdBQUcsUUFBUSxDQUFDLFdBQVcsQ0FBQTtZQUVuRCxNQUFNLE1BQU0sR0FBRyxLQUFLLENBQUMsQ0FBQyxRQUFRLENBQUMsY0FBYyxDQUFDLElBQUksQ0FDaEQsUUFBUSxDQUFDLFVBQVUsRUFDbkIsTUFBTSxDQUFDLGNBQWMsQ0FBQyxnQkFBZ0IsRUFBRSxnQkFBZ0IsQ0FBQyxDQUMxRCxDQUFBO1lBQ0QsTUFBTSxhQUFhLEdBQUcsS0FBSyxDQUFDLENBQUMsb0JBQW9CLENBQUMsTUFBTSxDQUFDLENBQUE7WUFFekQsSUFBSSxNQUFNLENBQUMsTUFBTSxDQUFDLFFBQVEsQ0FBQyxFQUFFLENBQUM7Z0JBQzVCLHlEQUF5RDtnQkFDekQsS0FBSyxDQUFDLENBQUMsY0FBYyxDQUFDLFFBQVEsQ0FBQyxXQUFXLEVBQUUsUUFBUSxDQUFDLElBQUksRUFBRSxPQUFPLEVBQUUsYUFBYSxDQUFDLENBQUE7Z0JBQ2xGLE9BQU8sTUFBTSxDQUFBO1lBQ2YsQ0FBQztZQUNELDhFQUE4RTtZQUM5RSxNQUFNLFNBQVMsR0FBRyxLQUFLLENBQUMsQ0FBQyxjQUFjLENBQUMsUUFBUSxDQUFDLFdBQVcsRUFBRSxRQUFRLENBQUMsSUFBSSxFQUFFLE9BQU8sRUFBRSxhQUFhLENBQUMsQ0FBQTtZQUNwRyxJQUFJLFNBQVM7Z0JBQUUsT0FBTyxNQUFNLENBQUE7WUFDNUIsTUFBTSxNQUFNLEdBQUcsS0FBSyxDQUFDLENBQUMsWUFBWSxDQUFDLFFBQVEsQ0FBQyxXQUFXLEVBQUUsUUFBUSxDQUFDLElBQUksRUFBRSxPQUFPLENBQUMsQ0FBQTtZQUNoRixJQUFJLE1BQU0sQ0FBQyxNQUFNLENBQUMsTUFBTSxDQUFDLEVBQUUsQ0FBQztnQkFDMUIsTUFBTSxDQUFDLEdBQUcsS0FBSyxDQUFDLENBQUMsb0JBQW9CLENBQUMsTUFBTSxDQUFDLEtBQUssQ0FBQyxDQUFBO2dCQUNuRCxJQUFJLENBQUMsQ0FBQyxJQUFJLEtBQUssVUFBVTtvQkFBRSxPQUFPLENBQUMsQ0FBQTtZQUNyQyxDQUFDO1lBQ0QsT0FBTyxNQUFNLENBQUE7UUFDZixDQUFDLENBQUM7UUFDRixjQUFjLEVBQUUsTUFBTSxDQUFDLFVBQVUsQ0FBQyxRQUFRLENBQUMsRUFBQyxRQUFRO1lBQ2xELE1BQU0sUUFBUSxHQUFHLEtBQUssQ0FBQyxDQUFDLGdCQUFnQixDQUFBO1lBQ3hDLE1BQU0sR0FBRyxHQUFHLEtBQUssQ0FBQyxDQUFDLFlBQVksQ0FBQyxRQUFRLENBQUMsV0FBVyxFQUFFLFFBQVEsQ0FBQyxJQUFJLENBQUMsQ0FBQTtZQUNwRSxJQUFJLE1BQU0sQ0FBQyxNQUFNLENBQUMsR0FBRyxDQUFDO2dCQUFFLE9BQU8sTUFBTSxDQUFDLElBQUksRUFBK0IsQ0FBQTtZQUN6RSxPQUFPLE1BQU0sQ0FBQyxJQUFJLENBQUMsS0FBSyxDQUFDLENBQUMsa0JBQWtCLENBQUMsR0FBRyxDQUFDLEtBQUssQ0FBQyxDQUFDLENBQUE7UUFDMUQsQ0FBQyxDQUFDO1FBQ0YsWUFBWSxFQUFFLE1BQU0sQ0FBQyxVQUFVLENBQUMsUUFBUSxDQUFDLEVBQUMsT0FBTztZQUMvQyxNQUFNLE9BQU8sR0FBRyxLQUFLLENBQUMsQ0FBQyxrQkFBa0IsQ0FBQyxPQUFPLENBQUMsSUFBSSxDQUFDLENBQUE7WUFDdkQsTUFBTSxRQUFRLEdBQUcsS0FBSyxDQUFDLENBQUMsY0FBYyxDQUFDLE9BQU8sQ0FBQyxXQUFXLEVBQUUsT0FBTyxDQUFDLFlBQVksRUFBRSxPQUFPLENBQUMsQ0FBQTtZQUMxRixJQUFJLENBQUMsUUFBUTtnQkFBRSxPQUFNO1lBQ3JCLEtBQUssQ0FBQyxDQUFDLFNBQVMsQ0FBQyxPQUFPLENBQUMsV0FBVyxDQUFDLENBQUE7UUFDdkMsQ0FBQyxDQUFDO1FBQ0YsYUFBYSxFQUFFLENBQUMsUUFBUSxFQUFFLE9BQU8sRUFBRSxFQUFFO1lBQ25DLE1BQU0sTUFBTSxHQUFHLElBQUksQ0FBQyxHQUFHLEVBQUUsR0FBRyxRQUFRLENBQUMsUUFBUSxDQUFDLE9BQU8sQ0FBQyxLQUFLLENBQUMsUUFBUSxDQUFDLENBQUE7WUFDckUsT0FBTyxNQUFNLENBQUMsR0FBRyxDQUFDLFFBQVEsQ0FBQztnQkFDekIsS0FBSyxDQUFDLENBQUMsV0FBVyxDQUNoQixPQUFPLENBQUMsV0FBVyxFQUNuQixPQUFPLENBQUMsS0FBSyxDQUFDLElBQUksRUFDbEIsUUFBUSxDQUFDLElBQUksRUFDYixPQUFPLENBQUMsS0FBSyxDQUFDLFFBQVEsQ0FBQyxJQUFJLEVBQzNCLE1BQU0sQ0FDUCxDQUFBO2dCQUNELEtBQUssQ0FBQyxDQUFDLFNBQVMsQ0FBQyxPQUFPLENBQUMsV0FBVyxFQUFFLE9BQU8sQ0FBQyxLQUFLLENBQUMsSUFBSSxFQUFFLE9BQU8sQ0FBQyxLQUFLLENBQUMsUUFBUSxDQUFDLElBQUksQ0FBQyxDQUFDLElBQUksQ0FDekYsTUFBTSxDQUFDLEtBQUssQ0FBQyxPQUFPLENBQUMsS0FBSyxDQUFDLFFBQVEsQ0FBQyxFQUNwQyxRQUFRLENBQUMsR0FBRyxDQUFDLE1BQU0sRUFBRSxHQUFHLE9BQU8sQ0FBQyxXQUFXLElBQUksT0FBTyxDQUFDLEtBQUssQ0FBQyxJQUFJLEVBQUUsRUFBRSxFQUFFLGFBQWEsRUFBRSxJQUFJLEVBQUUsQ0FBQyxFQUM3RixNQUFNLENBQUMsTUFBTSxDQUNkLENBQUE7WUFDSCxDQUFDLENBQUMsQ0FBQTtRQUNKLENBQUM7S0FDRixDQUFBO0lBRUQsTUFBTSxNQUFNLEdBQUcsVUFBVSxDQUFDLE9BQU8sQ0FBQyxDQUFBO0lBRWxDLHlFQUF5RTtJQUV6RSxJQUFJLFFBQVEsQ0FBQyxRQUFRLENBQUMsZ0JBQWdCLENBQUMsR0FBRyxDQUFDLEVBQUUsQ0FBQztRQUM1QyxNQUFNLFdBQVcsR0FBRyxNQUFNO2FBQ3ZCLEdBQUcsQ0FBQyxRQUFRLENBQUM7WUFDWixNQUFNLElBQUksR0FBRyxLQUFLLENBQUMsQ0FBQyxJQUFJLENBQ3RCLDRDQUE0QyxTQUFTOzttQkFFNUMsRUFDVCxDQUFDLElBQUksQ0FBQyxHQUFHLEVBQUUsQ0FBQyxDQUNiLENBQUE7WUFDRCxLQUFLLE1BQU0sR0FBRyxJQUFJLElBQXNFLEVBQUUsQ0FBQztnQkFDekYsSUFBSSxDQUFDLFNBQVMsQ0FBQyxHQUFHLENBQUMsR0FBRyxDQUFDLGFBQWEsQ0FBQztvQkFBRSxTQUFRO2dCQUMvQyxNQUFNLEtBQUssR0FBRyxNQUFNLENBQUMsR0FBRyxDQUFDLEdBQUcsQ0FBQyxZQUFZLENBQUMsQ0FBQTtnQkFDMUMsSUFBSSxLQUFLLEVBQUUsS0FBSyxJQUFJLENBQUMsS0FBSyxDQUFDLEtBQUssQ0FBQyxVQUFVLEVBQUU7b0JBQUUsU0FBUTtnQkFDdkQsS0FBSyxDQUFDLENBQUMsTUFBTSxDQUFDLE1BQU0sQ0FBQyxTQUFTLENBQUMsR0FBRyxDQUFDLFlBQVksQ0FBQyxFQUFFLEtBQUssQ0FBQyxDQUFBO1lBQzFELENBQUM7UUFDSCxDQUFDLENBQUM7YUFDRCxJQUFJLENBQUMsUUFBUSxDQUFDLGNBQWMsQ0FBQyxFQUFFLE1BQU0sQ0FBQyxVQUFVLENBQUMsR0FBRyxFQUFFLENBQUMsTUFBTSxDQUFDLElBQUksQ0FBQyxDQUFDLENBQUE7UUFFdkUsS0FBSyxDQUFDLENBQUMsV0FBVyxDQUFDLElBQUksQ0FDckIsTUFBTSxDQUFDLE1BQU0sQ0FBQyxRQUFRLENBQUMsTUFBTSxDQUFDLGdCQUFnQixDQUFDLENBQUMsRUFDaEQsTUFBTSxDQUFDLE1BQU0sQ0FBQyxLQUFLLENBQUMsQ0FDckIsQ0FBQTtJQUNILENBQUM7SUFFRCx5RUFBeUU7SUFFekUsSUFBSSxRQUFRLENBQUMsUUFBUSxDQUFDLGlCQUFpQixDQUFDLEdBQUcsQ0FBQyxFQUFFLENBQUM7UUFDN0MsTUFBTSxTQUFTLEdBQUcsTUFBTTthQUNyQixHQUFHLENBQUMsUUFBUSxDQUFDO1lBQ1osTUFBTSxJQUFJLEdBQUcsS0FBSyxDQUFDLENBQUMsSUFBSSxDQUN0QixrREFBa0QsVUFBVTs7bUJBRW5ELEVBQ1QsQ0FBQyxJQUFJLENBQUMsR0FBRyxFQUFFLENBQUMsQ0FDYixDQUFBO1lBQ0QsS0FDRSxNQUFNLEdBQUcsSUFBSSxJQUlYLEVBQ0YsQ0FBQztnQkFDRCxLQUFLLENBQUMsQ0FBQyxNQUFNLENBQUMsTUFBTSxDQUFDLFNBQVMsQ0FBQyxHQUFHLENBQUMsWUFBWSxFQUFFLEdBQUcsQ0FBQyxJQUFJLEVBQUUsR0FBRyxDQUFDLGFBQWEsQ0FBQyxFQUFFLEtBQUssQ0FBQyxDQUFBO1lBQ3ZGLENBQUM7UUFDSCxDQUFDLENBQUM7YUFDRCxJQUFJLENBQUMsUUFBUSxDQUFDLFdBQVcsQ0FBQyxFQUFFLE1BQU0sQ0FBQyxVQUFVLENBQUMsR0FBRyxFQUFFLENBQUMsTUFBTSxDQUFDLElBQUksQ0FBQyxDQUFDLENBQUE7UUFFcEUsS0FBSyxDQUFDLENBQUMsU0FBUyxDQUFDLElBQUksQ0FDbkIsTUFBTSxDQUFDLE1BQU0sQ0FBQyxRQUFRLENBQUMsTUFBTSxDQUFDLGlCQUFpQixDQUFDLENBQUMsRUFDakQsTUFBTSxDQUFDLE1BQU0sQ0FBQyxLQUFLLENBQUMsQ0FDckIsQ0FBQTtJQUNILENBQUM7SUFFRCxPQUFPLE1BQU0sQ0FBQTtBQUNmLENBQUMsQ0FBQyxDQUFBO0FBRUY7OztHQUdHO0FBQ0gsTUFBTSxDQUFDLE1BQU0sV0FBVyxHQUFHLENBQ3pCLEdBQUcsR0FBK0IsRUFBRSxFQUNxQixFQUFFLENBQzNELEtBQUssQ0FBQyxNQUFNLENBQUMsY0FBYyxDQUFDLENBQUMsd0JBQXdCLENBQUMsR0FBRyxDQUFDLENBQUMsQ0FBQSJ9

package/dist/arbs.d.ts

@@ -1,4 +1,4 @@
-import { type S } from "effect-app";
+import type * as S from "effect-app/Schema";
 import * as FastCheck from "effect/testing/FastCheck";
 export declare function generate<T>(arb: FastCheck.Arbitrary<T>): FastCheck.Value<T>;
 export declare function generateFromArbitrary<T>(arb: S.LazyArbitrary<T>): FastCheck.Value<T>;

package/dist/arbs.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"arbs.d.ts","sourceRoot":"","sources":["../src/arbs.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,KAAK,CAAC,EAAE,MAAM,YAAY,CAAA;AAEnC,OAAO,KAAK,SAAS,MAAM,0BAA0B,CAAA;AAQrD,wBAAgB,QAAQ,CAAC,CAAC,EAAE,GAAG,EAAE,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,sBAEtD;AAED,wBAAgB,qBAAqB,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,sBAE/D"}
+{"version":3,"file":"arbs.d.ts","sourceRoot":"","sources":["../src/arbs.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,KAAK,CAAC,MAAM,mBAAmB,CAAA;AAC3C,OAAO,KAAK,SAAS,MAAM,0BAA0B,CAAA;AAUrD,wBAAgB,QAAQ,CAAC,CAAC,EAAE,GAAG,EAAE,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,sBAEtD;AAED,wBAAgB,qBAAqB,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,sBAE/D"}

package/dist/arbs.js

@@ -3,8 +3,10 @@ import { faker } from "@faker-js/faker";
 import { setFaker } from "effect-app/faker";
 import * as FastCheck from "effect/testing/FastCheck";
 import { Random } from "fast-check";
-import * as rand from "pure-rand";
-const rnd = new Random(rand.congruential32(5));
+import { congruential32 } from "pure-rand/generator/congruential32";
+const seed = 5;
+const rng = congruential32(seed);
+const rnd = new Random(rng);
 setFaker(faker);
 export function generate(arb) {
     return arb.generate(rnd, undefined);
@@ -12,4 +14,4 @@ export function generate(arb) {
 export function generateFromArbitrary(arb) {
     return generate(arb(FastCheck));
 }
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYXJicy5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uL3NyYy9hcmJzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLDRCQUE0QjtBQUU1QixPQUFPLEVBQUUsS0FBSyxFQUFFLE1BQU0saUJBQWlCLENBQUE7QUFFdkMsT0FBTyxFQUFFLFFBQVEsRUFBRSxNQUFNLGtCQUFrQixDQUFBO0FBQzNDLE9BQU8sS0FBSyxTQUFTLE1BQU0sMEJBQTBCLENBQUE7QUFDckQsT0FBTyxFQUFFLE1BQU0sRUFBRSxNQUFNLFlBQVksQ0FBQTtBQUNuQyxPQUFPLEtBQUssSUFBSSxNQUFNLFdBQVcsQ0FBQTtBQUVqQyxNQUFNLEdBQUcsR0FBRyxJQUFJLE1BQU0sQ0FBQyxJQUFJLENBQUMsY0FBYyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUE7QUFFOUMsUUFBUSxDQUFDLEtBQUssQ0FBQyxDQUFBO0FBRWYsTUFBTSxVQUFVLFFBQVEsQ0FBSSxHQUEyQjtJQUNyRCxPQUFPLEdBQUcsQ0FBQyxRQUFRLENBQUMsR0FBRyxFQUFFLFNBQVMsQ0FBQyxDQUFBO0FBQ3JDLENBQUM7QUFFRCxNQUFNLFVBQVUscUJBQXFCLENBQUksR0FBdUI7SUFDOUQsT0FBTyxRQUFRLENBQUMsR0FBRyxDQUFDLFNBQVMsQ0FBQyxDQUFDLENBQUE7QUFDakMsQ0FBQyJ9
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYXJicy5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uL3NyYy9hcmJzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLDRCQUE0QjtBQUU1QixPQUFPLEVBQUUsS0FBSyxFQUFFLE1BQU0saUJBQWlCLENBQUE7QUFDdkMsT0FBTyxFQUFFLFFBQVEsRUFBRSxNQUFNLGtCQUFrQixDQUFBO0FBRTNDLE9BQU8sS0FBSyxTQUFTLE1BQU0sMEJBQTBCLENBQUE7QUFDckQsT0FBTyxFQUFFLE1BQU0sRUFBRSxNQUFNLFlBQVksQ0FBQTtBQUNuQyxPQUFPLEVBQUUsY0FBYyxFQUFFLE1BQU0sb0NBQW9DLENBQUE7QUFFbkUsTUFBTSxJQUFJLEdBQUcsQ0FBQyxDQUFBO0FBQ2QsTUFBTSxHQUFHLEdBQUcsY0FBYyxDQUFDLElBQUksQ0FBQyxDQUFBO0FBQ2hDLE1BQU0sR0FBRyxHQUFHLElBQUksTUFBTSxDQUFDLEdBQUcsQ0FBQyxDQUFBO0FBRTNCLFFBQVEsQ0FBQyxLQUFLLENBQUMsQ0FBQTtBQUVmLE1BQU0sVUFBVSxRQUFRLENBQUksR0FBMkI7SUFDckQsT0FBTyxHQUFHLENBQUMsUUFBUSxDQUFDLEdBQUcsRUFBRSxTQUFTLENBQUMsQ0FBQTtBQUNyQyxDQUFDO0FBRUQsTUFBTSxVQUFVLHFCQUFxQixDQUFJLEdBQXVCO0lBQzlELE9BQU8sUUFBUSxDQUFDLEdBQUcsQ0FBQyxTQUFTLENBQUMsQ0FBQyxDQUFBO0FBQ2pDLENBQUMifQ==

package/dist/codec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"codec.d.ts","sourceRoot":"","sources":["../src/codec.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,mBAAmB,CAAA;AAEtC,wBAAgB,SAAS,CACvB,IAAI,EACJ,EAAE,SAAS;IAAE,EAAE,EAAE,EAAE,CAAA;CAAE,EACrB,EAAE,EACF,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,mHAExB"}