modality-ts 0.0.8 → 0.0.10
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +9 -7
- package/dist/check/diagnostics/bounds.d.ts +4 -0
- package/dist/check/diagnostics/bounds.d.ts.map +1 -0
- package/dist/check/diagnostics/bounds.js +25 -0
- package/dist/check/diagnostics/bounds.js.map +1 -0
- package/dist/check/diagnostics/vacuity.d.ts +3 -0
- package/dist/check/diagnostics/vacuity.d.ts.map +1 -0
- package/dist/check/diagnostics/vacuity.js +22 -0
- package/dist/check/diagnostics/vacuity.js.map +1 -0
- package/dist/check/engine/check-model.d.ts +4 -0
- package/dist/check/engine/check-model.d.ts.map +1 -0
- package/dist/check/engine/check-model.js +162 -0
- package/dist/check/engine/check-model.js.map +1 -0
- package/dist/check/engine/initial-states.d.ts +3 -0
- package/dist/check/engine/initial-states.d.ts.map +1 -0
- package/dist/check/engine/initial-states.js +11 -0
- package/dist/check/engine/initial-states.js.map +1 -0
- package/dist/check/engine/model-api.d.ts +4 -0
- package/dist/check/engine/model-api.d.ts.map +1 -0
- package/dist/check/engine/model-api.js +15 -0
- package/dist/check/engine/model-api.js.map +1 -0
- package/dist/check/engine/mounts.d.ts +3 -0
- package/dist/check/engine/mounts.d.ts.map +1 -0
- package/dist/check/engine/mounts.js +13 -0
- package/dist/check/engine/mounts.js.map +1 -0
- package/dist/check/engine/stabilize.d.ts +3 -0
- package/dist/check/engine/stabilize.d.ts.map +1 -0
- package/dist/check/engine/stabilize.js +82 -0
- package/dist/check/engine/stabilize.js.map +1 -0
- package/dist/check/engine/state-utils.d.ts +12 -0
- package/dist/check/engine/state-utils.d.ts.map +1 -0
- package/dist/check/engine/state-utils.js +30 -0
- package/dist/check/engine/state-utils.js.map +1 -0
- package/dist/check/engine/transitions.d.ts +4 -0
- package/dist/check/engine/transitions.d.ts.map +1 -0
- package/dist/check/engine/transitions.js +15 -0
- package/dist/check/engine/transitions.js.map +1 -0
- package/dist/check/index.d.ts +14 -0
- package/dist/check/index.d.ts.map +1 -0
- package/dist/check/index.js +13 -0
- package/dist/check/index.js.map +1 -0
- package/dist/check/properties/checked-state.d.ts +3 -0
- package/dist/check/properties/checked-state.d.ts.map +1 -0
- package/dist/check/properties/checked-state.js +21 -0
- package/dist/check/properties/checked-state.js.map +1 -0
- package/dist/check/properties/finalize.d.ts +4 -0
- package/dist/check/properties/finalize.d.ts.map +1 -0
- package/dist/check/properties/finalize.js +71 -0
- package/dist/check/properties/finalize.js.map +1 -0
- package/dist/check/properties/leads-to.d.ts +8 -0
- package/dist/check/properties/leads-to.d.ts.map +1 -0
- package/dist/check/properties/leads-to.js +69 -0
- package/dist/check/properties/leads-to.js.map +1 -0
- package/dist/check/properties/observe.d.ts +5 -0
- package/dist/check/properties/observe.d.ts.map +1 -0
- package/dist/check/properties/observe.js +56 -0
- package/dist/check/properties/observe.js.map +1 -0
- package/dist/check/properties/reachable-from.d.ts +8 -0
- package/dist/check/properties/reachable-from.d.ts.map +1 -0
- package/dist/check/properties/reachable-from.js +19 -0
- package/dist/check/properties/reachable-from.js.map +1 -0
- package/dist/check/runtime/domains.d.ts +5 -0
- package/dist/check/runtime/domains.d.ts.map +1 -0
- package/dist/check/runtime/domains.js +53 -0
- package/dist/check/runtime/domains.js.map +1 -0
- package/dist/check/runtime/effects.d.ts +9 -0
- package/dist/check/runtime/effects.d.ts.map +1 -0
- package/dist/check/runtime/effects.js +86 -0
- package/dist/check/runtime/effects.js.map +1 -0
- package/dist/check/runtime/expr.d.ts +7 -0
- package/dist/check/runtime/expr.d.ts.map +1 -0
- package/dist/check/runtime/expr.js +49 -0
- package/dist/check/runtime/expr.js.map +1 -0
- package/dist/check/runtime/navigation.d.ts +7 -0
- package/dist/check/runtime/navigation.d.ts.map +1 -0
- package/dist/check/runtime/navigation.js +60 -0
- package/dist/check/runtime/navigation.js.map +1 -0
- package/dist/check/runtime/opaque.d.ts +3 -0
- package/dist/check/runtime/opaque.d.ts.map +1 -0
- package/dist/check/runtime/opaque.js +72 -0
- package/dist/check/runtime/opaque.js.map +1 -0
- package/dist/check/runtime/paths.d.ts +4 -0
- package/dist/check/runtime/paths.d.ts.map +1 -0
- package/dist/check/runtime/paths.js +28 -0
- package/dist/check/runtime/paths.js.map +1 -0
- package/dist/check/runtime/pending.d.ts +9 -0
- package/dist/check/runtime/pending.d.ts.map +1 -0
- package/dist/check/runtime/pending.js +5 -0
- package/dist/check/runtime/pending.js.map +1 -0
- package/dist/check/runtime/tokens.d.ts +7 -0
- package/dist/check/runtime/tokens.d.ts.map +1 -0
- package/dist/check/runtime/tokens.js +36 -0
- package/dist/check/runtime/tokens.js.map +1 -0
- package/dist/check/slicing/slice-model.d.ts +5 -0
- package/dist/check/slicing/slice-model.d.ts.map +1 -0
- package/dist/check/slicing/slice-model.js +48 -0
- package/dist/check/slicing/slice-model.js.map +1 -0
- package/dist/check/traces/step-facts.d.ts +3 -0
- package/dist/check/traces/step-facts.d.ts.map +1 -0
- package/dist/check/traces/step-facts.js +35 -0
- package/dist/check/traces/step-facts.js.map +1 -0
- package/dist/check/traces/trace.d.ts +8 -0
- package/dist/check/traces/trace.d.ts.map +1 -0
- package/dist/check/traces/trace.js +42 -0
- package/dist/check/traces/trace.js.map +1 -0
- package/dist/{checker/search/index.d.ts → check/types.d.ts} +16 -6
- package/dist/check/types.d.ts.map +1 -0
- package/dist/{kernel/ir → check}/types.js.map +1 -1
- package/dist/cli/check.d.ts +3 -0
- package/dist/cli/check.d.ts.map +1 -0
- package/dist/cli/check.js +2 -0
- package/dist/cli/check.js.map +1 -0
- package/dist/cli/ci.d.ts.map +1 -0
- package/dist/cli/ci.js.map +1 -0
- package/dist/{modality → cli}/cli.d.ts.map +1 -1
- package/dist/{modality → cli}/cli.js +183 -50
- package/dist/cli/cli.js.map +1 -0
- package/dist/cli/codegen/model.d.ts +3 -0
- package/dist/cli/codegen/model.d.ts.map +1 -0
- package/dist/{modality → cli}/codegen/model.js +18 -10
- package/dist/cli/codegen/model.js.map +1 -0
- package/dist/{modality → cli}/codegen/replay-test.d.ts +1 -1
- package/dist/cli/codegen/replay-test.d.ts.map +1 -0
- package/dist/{modality → cli}/codegen/replay-test.js +12 -12
- package/dist/cli/codegen/replay-test.js.map +1 -0
- package/dist/cli/conform.d.ts +3 -0
- package/dist/cli/conform.d.ts.map +1 -0
- package/dist/cli/conform.js +2 -0
- package/dist/cli/conform.js.map +1 -0
- package/dist/cli/defaults.d.ts +13 -0
- package/dist/cli/defaults.d.ts.map +1 -0
- package/dist/cli/defaults.js +57 -0
- package/dist/cli/defaults.js.map +1 -0
- package/dist/cli/export-tla.d.ts +3 -0
- package/dist/cli/export-tla.d.ts.map +1 -0
- package/dist/cli/export-tla.js +2 -0
- package/dist/cli/export-tla.js.map +1 -0
- package/dist/{modality → cli}/extract.d.ts +1 -1
- package/dist/cli/extract.d.ts.map +1 -0
- package/dist/cli/extract.js.map +1 -0
- package/dist/{modality → cli}/features/check/command.d.ts +3 -2
- package/dist/cli/features/check/command.d.ts.map +1 -0
- package/dist/{modality → cli}/features/check/command.js +67 -27
- package/dist/cli/features/check/command.js.map +1 -0
- package/dist/cli/features/check/index.d.ts +3 -0
- package/dist/cli/features/check/index.d.ts.map +1 -0
- package/dist/cli/features/check/index.js +2 -0
- package/dist/cli/features/check/index.js.map +1 -0
- package/dist/cli/features/ci/command.d.ts.map +1 -0
- package/dist/{modality → cli}/features/ci/command.js +66 -26
- package/dist/cli/features/ci/command.js.map +1 -0
- package/dist/cli/features/ci/index.d.ts.map +1 -0
- package/dist/cli/features/ci/index.js.map +1 -0
- package/dist/{modality → cli}/features/conform/command.d.ts +1 -1
- package/dist/cli/features/conform/command.d.ts.map +1 -0
- package/dist/{modality → cli}/features/conform/command.js +67 -25
- package/dist/cli/features/conform/command.js.map +1 -0
- package/dist/cli/features/conform/index.d.ts.map +1 -0
- package/dist/cli/features/conform/index.js.map +1 -0
- package/dist/{modality → cli}/features/export/command.d.ts +1 -1
- package/dist/cli/features/export/command.d.ts.map +1 -0
- package/dist/{modality → cli}/features/export/command.js +72 -27
- package/dist/cli/features/export/command.js.map +1 -0
- package/dist/{modality → cli}/features/export/index.d.ts +2 -2
- package/dist/cli/features/export/index.d.ts.map +1 -0
- package/dist/cli/features/export/index.js +2 -0
- package/dist/cli/features/export/index.js.map +1 -0
- package/dist/{modality → cli}/features/extract/command.d.ts +5 -4
- package/dist/cli/features/extract/command.d.ts.map +1 -0
- package/dist/{modality → cli}/features/extract/command.js +295 -82
- package/dist/cli/features/extract/command.js.map +1 -0
- package/dist/{modality → cli}/features/extract/index.d.ts +1 -1
- package/dist/cli/features/extract/index.d.ts.map +1 -0
- package/dist/cli/features/extract/index.js.map +1 -0
- package/dist/cli/features/init/command.d.ts +9 -0
- package/dist/cli/features/init/command.d.ts.map +1 -0
- package/dist/cli/features/init/command.js +23 -0
- package/dist/cli/features/init/command.js.map +1 -0
- package/dist/cli/features/init/index.d.ts +3 -0
- package/dist/cli/features/init/index.d.ts.map +1 -0
- package/dist/cli/features/init/index.js +2 -0
- package/dist/cli/features/init/index.js.map +1 -0
- package/dist/{modality → cli}/features/replay/command.d.ts +1 -1
- package/dist/cli/features/replay/command.d.ts.map +1 -0
- package/dist/{modality → cli}/features/replay/command.js +42 -16
- package/dist/cli/features/replay/command.js.map +1 -0
- package/dist/cli/features/replay/index.d.ts.map +1 -0
- package/dist/cli/features/replay/index.js.map +1 -0
- package/dist/{harness → cli/harness}/index.d.ts +1 -1
- package/dist/cli/harness/index.d.ts.map +1 -0
- package/dist/{harness → cli/harness}/index.js +128 -37
- package/dist/cli/harness/index.js.map +1 -0
- package/dist/{modality → cli}/overlay.d.ts +1 -1
- package/dist/cli/overlay.d.ts.map +1 -0
- package/dist/{modality → cli}/overlay.js +1 -1
- package/dist/cli/overlay.js.map +1 -0
- package/dist/{modality → cli}/registry/index.d.ts +2 -2
- package/dist/cli/registry/index.d.ts.map +1 -0
- package/dist/{modality → cli}/registry/index.js +32 -17
- package/dist/cli/registry/index.js.map +1 -0
- package/dist/cli/replay.d.ts +3 -0
- package/dist/cli/replay.d.ts.map +1 -0
- package/dist/cli/replay.js.map +1 -0
- package/dist/{runtime → cli/runtime}/index.d.ts +1 -1
- package/dist/cli/runtime/index.d.ts.map +1 -0
- package/dist/{runtime → cli/runtime}/index.js +37 -10
- package/dist/cli/runtime/index.js.map +1 -0
- package/dist/core/artifacts/index.d.ts.map +1 -0
- package/dist/{kernel → core}/artifacts/index.js +7 -2
- package/dist/core/artifacts/index.js.map +1 -0
- package/dist/core/index.d.ts.map +1 -0
- package/dist/core/index.js.map +1 -0
- package/dist/core/ir/canonical.d.ts.map +1 -0
- package/dist/{kernel → core}/ir/canonical.js +30 -7
- package/dist/core/ir/canonical.js.map +1 -0
- package/dist/core/ir/domains.d.ts.map +1 -0
- package/dist/{kernel → core}/ir/domains.js +18 -6
- package/dist/core/ir/domains.js.map +1 -0
- package/dist/core/ir/types.d.ts.map +1 -0
- package/dist/{kernel/trace → core/ir}/types.js.map +1 -1
- package/dist/core/ir/validator.d.ts.map +1 -0
- package/dist/{kernel → core}/ir/validator.js +48 -19
- package/dist/core/ir/validator.js.map +1 -0
- package/dist/core/overlay/index.d.ts.map +1 -0
- package/dist/{kernel → core}/overlay/index.js +35 -14
- package/dist/core/overlay/index.js.map +1 -0
- package/dist/core/props/index.d.ts.map +1 -0
- package/dist/{kernel → core}/props/index.js +69 -21
- package/dist/core/props/index.js.map +1 -0
- package/dist/{kernel → core}/report/types.d.ts.map +1 -1
- package/dist/{kernel → core}/report/types.js.map +1 -1
- package/dist/core/trace/types.d.ts.map +1 -0
- package/dist/core/trace/types.js +2 -0
- package/dist/core/trace/types.js.map +1 -0
- package/dist/extract/engine/index.d.ts +4 -0
- package/dist/extract/engine/index.d.ts.map +1 -0
- package/dist/extract/engine/index.js +4 -0
- package/dist/extract/engine/index.js.map +1 -0
- package/dist/{extraction → extract/engine}/pipeline/index.d.ts +1 -2
- package/dist/extract/engine/pipeline/index.d.ts.map +1 -0
- package/dist/{extraction → extract/engine}/pipeline/index.js +55 -18
- package/dist/extract/engine/pipeline/index.js.map +1 -0
- package/dist/{extraction → extract/engine}/spi/index.d.ts +17 -1
- package/dist/extract/engine/spi/index.d.ts.map +1 -0
- package/dist/extract/engine/spi/index.js.map +1 -0
- package/dist/extract/engine/ts/ast.d.ts +23 -0
- package/dist/extract/engine/ts/ast.d.ts.map +1 -0
- package/dist/extract/engine/ts/ast.js +97 -0
- package/dist/extract/engine/ts/ast.js.map +1 -0
- package/dist/extract/engine/ts/components.d.ts +21 -0
- package/dist/extract/engine/ts/components.d.ts.map +1 -0
- package/dist/extract/engine/ts/components.js +287 -0
- package/dist/extract/engine/ts/components.js.map +1 -0
- package/dist/extract/engine/ts/context.d.ts +10 -0
- package/dist/extract/engine/ts/context.d.ts.map +1 -0
- package/dist/extract/engine/ts/context.js +273 -0
- package/dist/extract/engine/ts/context.js.map +1 -0
- package/dist/extract/engine/ts/domains.d.ts +8 -0
- package/dist/extract/engine/ts/domains.d.ts.map +1 -0
- package/dist/extract/engine/ts/domains.js +262 -0
- package/dist/extract/engine/ts/domains.js.map +1 -0
- package/dist/extract/engine/ts/expressions.d.ts +2 -0
- package/dist/extract/engine/ts/expressions.d.ts.map +1 -0
- package/dist/extract/engine/ts/expressions.js +2 -0
- package/dist/extract/engine/ts/expressions.js.map +1 -0
- package/dist/extract/engine/ts/handlers.d.ts +4 -0
- package/dist/extract/engine/ts/handlers.d.ts.map +1 -0
- package/dist/extract/engine/ts/handlers.js +3 -0
- package/dist/extract/engine/ts/handlers.js.map +1 -0
- package/dist/extract/engine/ts/ids.d.ts +7 -0
- package/dist/extract/engine/ts/ids.d.ts.map +1 -0
- package/dist/extract/engine/ts/ids.js +63 -0
- package/dist/extract/engine/ts/ids.js.map +1 -0
- package/dist/extract/engine/ts/input-transitions.d.ts +5 -0
- package/dist/extract/engine/ts/input-transitions.d.ts.map +1 -0
- package/dist/extract/engine/ts/input-transitions.js +132 -0
- package/dist/extract/engine/ts/input-transitions.js.map +1 -0
- package/dist/extract/engine/ts/jsx.d.ts +3 -0
- package/dist/extract/engine/ts/jsx.d.ts.map +1 -0
- package/dist/extract/engine/ts/jsx.js +3 -0
- package/dist/extract/engine/ts/jsx.js.map +1 -0
- package/dist/extract/engine/ts/react-source-transitions.d.ts +24 -0
- package/dist/extract/engine/ts/react-source-transitions.d.ts.map +1 -0
- package/dist/extract/engine/ts/react-source-transitions.js +243 -0
- package/dist/extract/engine/ts/react-source-transitions.js.map +1 -0
- package/dist/extract/engine/ts/routes.d.ts +9 -0
- package/dist/extract/engine/ts/routes.d.ts.map +1 -0
- package/dist/extract/engine/ts/routes.js +94 -0
- package/dist/extract/engine/ts/routes.js.map +1 -0
- package/dist/extract/engine/ts/source.d.ts +3 -0
- package/dist/extract/engine/ts/source.d.ts.map +1 -0
- package/dist/extract/engine/ts/source.js +5 -0
- package/dist/extract/engine/ts/source.js.map +1 -0
- package/dist/extract/engine/ts/static-navigation.d.ts +5 -0
- package/dist/extract/engine/ts/static-navigation.d.ts.map +1 -0
- package/dist/extract/engine/ts/static-navigation.js +425 -0
- package/dist/extract/engine/ts/static-navigation.js.map +1 -0
- package/dist/extract/engine/ts/transition/async.d.ts +45 -0
- package/dist/extract/engine/ts/transition/async.d.ts.map +1 -0
- package/dist/extract/engine/ts/transition/async.js +578 -0
- package/dist/extract/engine/ts/transition/async.js.map +1 -0
- package/dist/extract/engine/ts/transition/component-props.d.ts +26 -0
- package/dist/extract/engine/ts/transition/component-props.d.ts.map +1 -0
- package/dist/extract/engine/ts/transition/component-props.js +200 -0
- package/dist/extract/engine/ts/transition/component-props.js.map +1 -0
- package/dist/extract/engine/ts/transition/effects.d.ts +12 -0
- package/dist/extract/engine/ts/transition/effects.d.ts.map +1 -0
- package/dist/extract/engine/ts/transition/effects.js +139 -0
- package/dist/extract/engine/ts/transition/effects.js.map +1 -0
- package/dist/extract/engine/ts/transition/expressions.d.ts +34 -0
- package/dist/extract/engine/ts/transition/expressions.d.ts.map +1 -0
- package/dist/extract/engine/ts/transition/expressions.js +374 -0
- package/dist/extract/engine/ts/transition/expressions.js.map +1 -0
- package/dist/extract/engine/ts/transition/guards.d.ts +21 -0
- package/dist/extract/engine/ts/transition/guards.d.ts.map +1 -0
- package/dist/extract/engine/ts/transition/guards.js +258 -0
- package/dist/extract/engine/ts/transition/guards.js.map +1 -0
- package/dist/extract/engine/ts/transition/handlers.d.ts +32 -0
- package/dist/extract/engine/ts/transition/handlers.d.ts.map +1 -0
- package/dist/extract/engine/ts/transition/handlers.js +294 -0
- package/dist/extract/engine/ts/transition/handlers.js.map +1 -0
- package/dist/extract/engine/ts/transition/locals.d.ts +20 -0
- package/dist/extract/engine/ts/transition/locals.d.ts.map +1 -0
- package/dist/extract/engine/ts/transition/locals.js +123 -0
- package/dist/extract/engine/ts/transition/locals.js.map +1 -0
- package/dist/extract/engine/ts/transition/navigation.d.ts +21 -0
- package/dist/extract/engine/ts/transition/navigation.d.ts.map +1 -0
- package/dist/extract/engine/ts/transition/navigation.js +129 -0
- package/dist/extract/engine/ts/transition/navigation.js.map +1 -0
- package/dist/extract/engine/ts/transition/plugin-calls.d.ts +10 -0
- package/dist/extract/engine/ts/transition/plugin-calls.d.ts.map +1 -0
- package/dist/extract/engine/ts/transition/plugin-calls.js +114 -0
- package/dist/extract/engine/ts/transition/plugin-calls.js.map +1 -0
- package/dist/extract/engine/ts/transition/statement-summary.d.ts +34 -0
- package/dist/extract/engine/ts/transition/statement-summary.d.ts.map +1 -0
- package/dist/extract/engine/ts/transition/statement-summary.js +502 -0
- package/dist/extract/engine/ts/transition/statement-summary.js.map +1 -0
- package/dist/extract/engine/ts/transition/timers.d.ts +15 -0
- package/dist/extract/engine/ts/transition/timers.d.ts.map +1 -0
- package/dist/extract/engine/ts/transition/timers.js +109 -0
- package/dist/extract/engine/ts/transition/timers.js.map +1 -0
- package/dist/extract/engine/ts/transition/ui.d.ts +12 -0
- package/dist/extract/engine/ts/transition/ui.d.ts.map +1 -0
- package/dist/extract/engine/ts/transition/ui.js +113 -0
- package/dist/extract/engine/ts/transition/ui.js.map +1 -0
- package/dist/extract/engine/ts/traversal.d.ts +3 -0
- package/dist/extract/engine/ts/traversal.d.ts.map +1 -0
- package/dist/extract/engine/ts/traversal.js +6 -0
- package/dist/extract/engine/ts/traversal.js.map +1 -0
- package/dist/extract/engine/ts/types.d.ts +46 -0
- package/dist/extract/engine/ts/types.d.ts.map +1 -0
- package/dist/extract/engine/ts/types.js +2 -0
- package/dist/extract/engine/ts/types.js.map +1 -0
- package/dist/extract/index.d.ts +2 -0
- package/dist/extract/index.d.ts.map +1 -0
- package/dist/extract/index.js +2 -0
- package/dist/extract/index.js.map +1 -0
- package/dist/extract/sources/jotai/discover.d.ts +3 -0
- package/dist/extract/sources/jotai/discover.d.ts.map +1 -0
- package/dist/extract/sources/jotai/discover.js +65 -0
- package/dist/extract/sources/jotai/discover.js.map +1 -0
- package/dist/extract/sources/jotai/domains.d.ts +6 -0
- package/dist/extract/sources/jotai/domains.d.ts.map +1 -0
- package/dist/extract/sources/jotai/domains.js +283 -0
- package/dist/extract/sources/jotai/domains.js.map +1 -0
- package/dist/{sources → extract/sources}/jotai/harness.d.ts +2 -2
- package/dist/extract/sources/jotai/harness.d.ts.map +1 -0
- package/dist/{sources → extract/sources}/jotai/harness.js +1 -1
- package/dist/extract/sources/jotai/harness.js.map +1 -0
- package/dist/extract/sources/jotai/index.d.ts +4 -0
- package/dist/extract/sources/jotai/index.d.ts.map +1 -0
- package/dist/extract/sources/jotai/index.js +3 -0
- package/dist/extract/sources/jotai/index.js.map +1 -0
- package/dist/extract/sources/jotai/plugin.d.ts +4 -0
- package/dist/extract/sources/jotai/plugin.d.ts.map +1 -0
- package/dist/extract/sources/jotai/plugin.js +19 -0
- package/dist/extract/sources/jotai/plugin.js.map +1 -0
- package/dist/extract/sources/jotai/transitions.d.ts +15 -0
- package/dist/extract/sources/jotai/transitions.d.ts.map +1 -0
- package/dist/extract/sources/jotai/transitions.js +44 -0
- package/dist/extract/sources/jotai/transitions.js.map +1 -0
- package/dist/extract/sources/jotai/writes.d.ts +8 -0
- package/dist/extract/sources/jotai/writes.d.ts.map +1 -0
- package/dist/extract/sources/jotai/writes.js +173 -0
- package/dist/extract/sources/jotai/writes.js.map +1 -0
- package/dist/{sources → extract/sources}/router/harness.d.ts +1 -1
- package/dist/extract/sources/router/harness.d.ts.map +1 -0
- package/dist/{sources → extract/sources}/router/harness.js +6 -2
- package/dist/extract/sources/router/harness.js.map +1 -0
- package/dist/extract/sources/router/index.d.ts +9 -0
- package/dist/extract/sources/router/index.d.ts.map +1 -0
- package/dist/extract/sources/router/index.js +22 -0
- package/dist/extract/sources/router/index.js.map +1 -0
- package/dist/extract/sources/router/navigation.d.ts +5 -0
- package/dist/extract/sources/router/navigation.d.ts.map +1 -0
- package/dist/extract/sources/router/navigation.js +16 -0
- package/dist/extract/sources/router/navigation.js.map +1 -0
- package/dist/extract/sources/router/routes.d.ts +4 -0
- package/dist/extract/sources/router/routes.d.ts.map +1 -0
- package/dist/extract/sources/router/routes.js +28 -0
- package/dist/extract/sources/router/routes.js.map +1 -0
- package/dist/extract/sources/shared/react-transition-extract.d.ts +13 -0
- package/dist/extract/sources/shared/react-transition-extract.d.ts.map +1 -0
- package/dist/extract/sources/shared/react-transition-extract.js +22 -0
- package/dist/extract/sources/shared/react-transition-extract.js.map +1 -0
- package/dist/extract/sources/swr/discover.d.ts +11 -0
- package/dist/extract/sources/swr/discover.d.ts.map +1 -0
- package/dist/extract/sources/swr/discover.js +175 -0
- package/dist/extract/sources/swr/discover.js.map +1 -0
- package/dist/extract/sources/swr/domains.d.ts +5 -0
- package/dist/extract/sources/swr/domains.d.ts.map +1 -0
- package/dist/extract/sources/swr/domains.js +99 -0
- package/dist/extract/sources/swr/domains.js.map +1 -0
- package/dist/{sources → extract/sources}/swr/harness.d.ts +2 -2
- package/dist/extract/sources/swr/harness.d.ts.map +1 -0
- package/dist/{sources → extract/sources}/swr/harness.js +3 -1
- package/dist/extract/sources/swr/harness.js.map +1 -0
- package/dist/extract/sources/swr/index.d.ts +6 -0
- package/dist/extract/sources/swr/index.d.ts.map +1 -0
- package/dist/extract/sources/swr/index.js +4 -0
- package/dist/extract/sources/swr/index.js.map +1 -0
- package/dist/extract/sources/swr/plugin.d.ts +4 -0
- package/dist/extract/sources/swr/plugin.d.ts.map +1 -0
- package/dist/extract/sources/swr/plugin.js +21 -0
- package/dist/extract/sources/swr/plugin.js.map +1 -0
- package/dist/{sources/swr/index.d.ts → extract/sources/swr/template.d.ts} +4 -6
- package/dist/extract/sources/swr/template.d.ts.map +1 -0
- package/dist/extract/sources/swr/template.js +331 -0
- package/dist/extract/sources/swr/template.js.map +1 -0
- package/dist/extract/sources/swr/transitions.d.ts +15 -0
- package/dist/extract/sources/swr/transitions.d.ts.map +1 -0
- package/dist/extract/sources/swr/transitions.js +43 -0
- package/dist/extract/sources/swr/transitions.js.map +1 -0
- package/dist/extract/sources/swr/writes.d.ts +3 -0
- package/dist/extract/sources/swr/writes.d.ts.map +1 -0
- package/dist/extract/sources/swr/writes.js +54 -0
- package/dist/extract/sources/swr/writes.js.map +1 -0
- package/dist/{sources → extract/sources}/use-state/harness.d.ts +2 -2
- package/dist/extract/sources/use-state/harness.d.ts.map +1 -0
- package/dist/{sources → extract/sources}/use-state/harness.js +1 -1
- package/dist/extract/sources/use-state/harness.js.map +1 -0
- package/dist/extract/sources/use-state/index.d.ts +4 -0
- package/dist/extract/sources/use-state/index.d.ts.map +1 -0
- package/dist/{sources → extract/sources}/use-state/index.js +84 -31
- package/dist/extract/sources/use-state/index.js.map +1 -0
- package/dist/extract/sources/use-state/transitions.d.ts +4 -0
- package/dist/extract/sources/use-state/transitions.d.ts.map +1 -0
- package/dist/extract/sources/use-state/transitions.js +27 -0
- package/dist/extract/sources/use-state/transitions.js.map +1 -0
- package/dist/extract/sources/use-state/types.d.ts +67 -0
- package/dist/extract/sources/use-state/types.d.ts.map +1 -0
- package/dist/extract/sources/use-state/types.js +2 -0
- package/dist/extract/sources/use-state/types.js.map +1 -0
- package/package.json +85 -71
- package/dist/checker/encode/index.d.ts +0 -2
- package/dist/checker/encode/index.d.ts.map +0 -1
- package/dist/checker/encode/index.js +0 -2
- package/dist/checker/encode/index.js.map +0 -1
- package/dist/checker/index.d.ts +0 -6
- package/dist/checker/index.d.ts.map +0 -1
- package/dist/checker/index.js +0 -6
- package/dist/checker/index.js.map +0 -1
- package/dist/checker/monitors/index.d.ts +0 -2
- package/dist/checker/monitors/index.d.ts.map +0 -1
- package/dist/checker/monitors/index.js.map +0 -1
- package/dist/checker/search/eval.d.ts +0 -16
- package/dist/checker/search/eval.d.ts.map +0 -1
- package/dist/checker/search/eval.js +0 -308
- package/dist/checker/search/eval.js.map +0 -1
- package/dist/checker/search/index.d.ts.map +0 -1
- package/dist/checker/search/index.js +0 -556
- package/dist/checker/search/index.js.map +0 -1
- package/dist/checker/slicing/index.d.ts +0 -2
- package/dist/checker/slicing/index.d.ts.map +0 -1
- package/dist/checker/slicing/index.js +0 -2
- package/dist/checker/slicing/index.js.map +0 -1
- package/dist/checker/traces/index.d.ts +0 -2
- package/dist/checker/traces/index.d.ts.map +0 -1
- package/dist/checker/traces/index.js +0 -2
- package/dist/checker/traces/index.js.map +0 -1
- package/dist/extraction/index.d.ts +0 -34
- package/dist/extraction/index.d.ts.map +0 -1
- package/dist/extraction/index.js +0 -2982
- package/dist/extraction/index.js.map +0 -1
- package/dist/extraction/pipeline/index.d.ts.map +0 -1
- package/dist/extraction/pipeline/index.js.map +0 -1
- package/dist/extraction/spi/index.d.ts.map +0 -1
- package/dist/extraction/spi/index.js +0 -2
- package/dist/extraction/spi/index.js.map +0 -1
- package/dist/harness/index.d.ts.map +0 -1
- package/dist/harness/index.js.map +0 -1
- package/dist/kernel/artifacts/index.d.ts.map +0 -1
- package/dist/kernel/artifacts/index.js.map +0 -1
- package/dist/kernel/index.d.ts.map +0 -1
- package/dist/kernel/index.js.map +0 -1
- package/dist/kernel/ir/canonical.d.ts.map +0 -1
- package/dist/kernel/ir/canonical.js.map +0 -1
- package/dist/kernel/ir/domains.d.ts.map +0 -1
- package/dist/kernel/ir/domains.js.map +0 -1
- package/dist/kernel/ir/types.d.ts.map +0 -1
- package/dist/kernel/ir/validator.d.ts.map +0 -1
- package/dist/kernel/ir/validator.js.map +0 -1
- package/dist/kernel/overlay/index.d.ts.map +0 -1
- package/dist/kernel/overlay/index.js.map +0 -1
- package/dist/kernel/props/index.d.ts.map +0 -1
- package/dist/kernel/props/index.js.map +0 -1
- package/dist/kernel/trace/types.d.ts.map +0 -1
- package/dist/modality/check.d.ts +0 -3
- package/dist/modality/check.d.ts.map +0 -1
- package/dist/modality/check.js +0 -2
- package/dist/modality/check.js.map +0 -1
- package/dist/modality/ci.d.ts.map +0 -1
- package/dist/modality/ci.js.map +0 -1
- package/dist/modality/cli.js.map +0 -1
- package/dist/modality/codegen/model.d.ts +0 -3
- package/dist/modality/codegen/model.d.ts.map +0 -1
- package/dist/modality/codegen/model.js.map +0 -1
- package/dist/modality/codegen/replay-test.d.ts.map +0 -1
- package/dist/modality/codegen/replay-test.js.map +0 -1
- package/dist/modality/conform.d.ts +0 -3
- package/dist/modality/conform.d.ts.map +0 -1
- package/dist/modality/conform.js +0 -2
- package/dist/modality/conform.js.map +0 -1
- package/dist/modality/export-tla.d.ts +0 -3
- package/dist/modality/export-tla.d.ts.map +0 -1
- package/dist/modality/export-tla.js +0 -2
- package/dist/modality/export-tla.js.map +0 -1
- package/dist/modality/extract.d.ts.map +0 -1
- package/dist/modality/extract.js.map +0 -1
- package/dist/modality/features/check/command.d.ts.map +0 -1
- package/dist/modality/features/check/command.js.map +0 -1
- package/dist/modality/features/check/index.d.ts +0 -3
- package/dist/modality/features/check/index.d.ts.map +0 -1
- package/dist/modality/features/check/index.js +0 -2
- package/dist/modality/features/check/index.js.map +0 -1
- package/dist/modality/features/ci/command.d.ts.map +0 -1
- package/dist/modality/features/ci/command.js.map +0 -1
- package/dist/modality/features/ci/index.d.ts.map +0 -1
- package/dist/modality/features/ci/index.js.map +0 -1
- package/dist/modality/features/conform/command.d.ts.map +0 -1
- package/dist/modality/features/conform/command.js.map +0 -1
- package/dist/modality/features/conform/index.d.ts.map +0 -1
- package/dist/modality/features/conform/index.js.map +0 -1
- package/dist/modality/features/export/command.d.ts.map +0 -1
- package/dist/modality/features/export/command.js.map +0 -1
- package/dist/modality/features/export/index.d.ts.map +0 -1
- package/dist/modality/features/export/index.js +0 -2
- package/dist/modality/features/export/index.js.map +0 -1
- package/dist/modality/features/extract/command.d.ts.map +0 -1
- package/dist/modality/features/extract/command.js.map +0 -1
- package/dist/modality/features/extract/index.d.ts.map +0 -1
- package/dist/modality/features/extract/index.js.map +0 -1
- package/dist/modality/features/replay/command.d.ts.map +0 -1
- package/dist/modality/features/replay/command.js.map +0 -1
- package/dist/modality/features/replay/index.d.ts.map +0 -1
- package/dist/modality/features/replay/index.js.map +0 -1
- package/dist/modality/overlay.d.ts.map +0 -1
- package/dist/modality/overlay.js.map +0 -1
- package/dist/modality/registry/index.d.ts.map +0 -1
- package/dist/modality/registry/index.js.map +0 -1
- package/dist/modality/replay.d.ts +0 -3
- package/dist/modality/replay.d.ts.map +0 -1
- package/dist/modality/replay.js.map +0 -1
- package/dist/runtime/index.d.ts.map +0 -1
- package/dist/runtime/index.js.map +0 -1
- package/dist/sources/jotai/harness.d.ts.map +0 -1
- package/dist/sources/jotai/harness.js.map +0 -1
- package/dist/sources/jotai/index.d.ts +0 -11
- package/dist/sources/jotai/index.d.ts.map +0 -1
- package/dist/sources/jotai/index.js +0 -432
- package/dist/sources/jotai/index.js.map +0 -1
- package/dist/sources/router/harness.d.ts.map +0 -1
- package/dist/sources/router/harness.js.map +0 -1
- package/dist/sources/router/index.d.ts +0 -15
- package/dist/sources/router/index.d.ts.map +0 -1
- package/dist/sources/router/index.js +0 -41
- package/dist/sources/router/index.js.map +0 -1
- package/dist/sources/swr/harness.d.ts.map +0 -1
- package/dist/sources/swr/harness.js.map +0 -1
- package/dist/sources/swr/index.d.ts.map +0 -1
- package/dist/sources/swr/index.js +0 -528
- package/dist/sources/swr/index.js.map +0 -1
- package/dist/sources/use-state/harness.d.ts.map +0 -1
- package/dist/sources/use-state/harness.js.map +0 -1
- package/dist/sources/use-state/index.d.ts +0 -9
- package/dist/sources/use-state/index.d.ts.map +0 -1
- package/dist/sources/use-state/index.js.map +0 -1
- /package/dist/{kernel/ir → check}/types.js +0 -0
- /package/dist/{modality → cli}/ci.d.ts +0 -0
- /package/dist/{modality → cli}/ci.js +0 -0
- /package/dist/{modality → cli}/cli.d.ts +0 -0
- /package/dist/{modality → cli}/extract.js +0 -0
- /package/dist/{modality → cli}/features/ci/command.d.ts +0 -0
- /package/dist/{modality → cli}/features/ci/index.d.ts +0 -0
- /package/dist/{modality → cli}/features/ci/index.js +0 -0
- /package/dist/{modality → cli}/features/conform/index.d.ts +0 -0
- /package/dist/{modality → cli}/features/conform/index.js +0 -0
- /package/dist/{modality → cli}/features/extract/index.js +0 -0
- /package/dist/{modality → cli}/features/replay/index.d.ts +0 -0
- /package/dist/{modality → cli}/features/replay/index.js +0 -0
- /package/dist/{modality → cli}/replay.js +0 -0
- /package/dist/{kernel → core}/artifacts/index.d.ts +0 -0
- /package/dist/{kernel → core}/index.d.ts +0 -0
- /package/dist/{kernel → core}/index.js +0 -0
- /package/dist/{kernel → core}/ir/canonical.d.ts +0 -0
- /package/dist/{kernel → core}/ir/domains.d.ts +0 -0
- /package/dist/{kernel → core}/ir/types.d.ts +0 -0
- /package/dist/{kernel/report → core/ir}/types.js +0 -0
- /package/dist/{kernel → core}/ir/validator.d.ts +0 -0
- /package/dist/{kernel → core}/overlay/index.d.ts +0 -0
- /package/dist/{kernel → core}/props/index.d.ts +0 -0
- /package/dist/{kernel → core}/report/types.d.ts +0 -0
- /package/dist/{kernel/trace → core/report}/types.js +0 -0
- /package/dist/{kernel → core}/trace/types.d.ts +0 -0
- /package/dist/{checker/monitors → extract/engine/spi}/index.js +0 -0
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"command.js","sourceRoot":"","sources":["../../../../src/cli/features/extract/command.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACpE,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACnE,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EACL,aAAa,EACb,kBAAkB,GAOnB,MAAM,kBAAkB,CAAC;AAM1B,OAAO,EAAE,YAAY,EAAE,MAAM,oCAAoC,CAAC;AAClE,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,mBAAmB,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACxE,OAAO,EAAE,6BAA6B,EAAE,MAAM,yBAAyB,CAAC;AAsCxE,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,OAA8B;IAE9B,MAAM,WAAW,GAAG,qBAAqB,CAAC,OAAO,CAAC,CAAC;IACnD,MAAM,OAAO,GAAG,MAAM,qBAAqB,CAAC,WAAW,CAAC,CAAC;IACzD,MAAM,MAAM,GAAG,MAAM,kBAAkB,CACrC,OAAO,CAAC,UAAU,IAAI,CAAC,MAAM,iBAAiB,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,CACxE,CAAC;IACF,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,MAAM,CAAC,KAAK,IAAI,GAAG,CAAC;IACnD,MAAM,YAAY,GAChB,OAAO,CAAC,YAAY,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,eAAe,CAAC;IACvE,MAAM,eAAe,GACnB,OAAO,CAAC,eAAe;QACvB,MAAM,CAAC,eAAe;QACtB,CAAC,MAAM,sBAAsB,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC;IACzD,MAAM,YAAY,GAAG,MAAM,uBAAuB,CAAC,eAAe,CAAC,CAAC;IACpE,MAAM,QAAQ,GAAG,6BAA6B,CAAC;QAC7C,YAAY;QACZ,eAAe,EAAE;YACf,GAAG,CAAC,MAAM,CAAC,eAAe,IAAI,EAAE,CAAC;YACjC,GAAG,CAAC,OAAO,CAAC,eAAe,IAAI,EAAE,CAAC;SACnC;QACD,kBAAkB,EAAE;YAClB,GAAG,CAAC,MAAM,CAAC,OAAO,IAAI,EAAE,CAAC;YACzB,GAAG,CAAC,OAAO,CAAC,aAAa,IAAI,EAAE,CAAC;SACjC;QACD,YAAY,EAAE,OAAO,CAAC,YAAY,IAAI,MAAM,CAAC,YAAY;KAC1D,CAAC,CAAC;IACH,MAAM,UAAU,GAAG,aAAa,CAAC;QAC/B,GAAG,CAAC,MAAM,CAAC,UAAU,IAAI,EAAE,CAAC;QAC5B,GAAG,CAAC,OAAO,CAAC,UAAU,IAAI,EAAE,CAAC;QAC7B,GAAG,OAAO,CAAC,UAAU;KACtB,CAAC,CAAC;IACH,MAAM,MAAM,GAAG;QACb,QAAQ,EAAE,EAAE;QACZ,UAAU,EAAE,CAAC;QACb,gBAAgB,EAAE,EAAE;QACpB,GAAG,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC;QACxB,GAAG,CAAC,OAAO,CAAC,MAAM,IAAI,EAAE,CAAC;KAC1B,CAAC;IACF,MAAM,QAAQ,GAAG,qBAAqB,CAAC;QACrC,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,QAAQ,EAAE,OAAO,CAAC,SAAS;QAC3B,KAAK;QACL,aAAa,EAAE,OAAO,CAAC,MAAM;QAC7B,UAAU;QACV,aAAa,EAAE,QAAQ,CAAC,aAAa;QACrC,YAAY,EAAE,QAAQ,CAAC,YAAY;KACpC,CAAC,CAAC;IACH,MAAM,WAAW,GAAG,CAAC,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC;IAC9C,MAAM,gBAAgB,GAAG,aAAa,CAAC;QACrC,KAAK;QACL,GAAG,OAAO,CAAC,MAAM;QACjB,GAAG,yBAAyB,CAAC,WAAW,CAAC;KAC1C,CAAC,CAAC;IACH,MAAM,aAAa,GAAG,YAAY,EAAE,CAAC;IACrC,MAAM,SAAS,GAAG,QAAQ,CAAC,YAAY;QACrC,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,SAAS,CAAC,gBAAgB,EAAE;YAChD,KAAK;YACL,MAAM,EAAE,EAAE,UAAU,EAAE,CAAC,EAAE;SAC1B,CAAC;QACJ,CAAC,CAAC,aAAa,CAAC,SAAS,CAAC,gBAAgB,EAAE;YACxC,KAAK;YACL,MAAM,EAAE,EAAE,UAAU,EAAE,CAAC,EAAE;SAC1B,CAAC,CAAC;IACP,MAAM,YAAY,GAAG,QAAQ,CAAC,iBAAiB,CAAC,OAAO,CACrD,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAC5B,CAAC;IACF,MAAM,SAAS,GAAG,4BAA4B,CAC5C,CAAC,GAAG,QAAQ,CAAC,SAAS,EAAE,GAAG,YAAY,CAAC,EACxC,WAAW,CACZ,CAAC;IACF,MAAM,cAAc,GAAU;QAC5B,aAAa,EAAE,CAAC;QAChB,EAAE,EAAE,iBAAiB;QACrB,MAAM;QACN,QAAQ,EAAE;YACR,YAAY,EAAE,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC;YAC3C,OAAO,EAAE,gBAAgB,CAAC,QAAQ,CAAC,OAAO,CAAC;SAC5C;QACD,IAAI,EAAE;YACJ,GAAG,SAAS;YACZ,GAAG,WAAW,CACZ,UAAU,EACV,WAAW,EACX,CAAC,GAAG,SAAS,EAAE,GAAG,SAAS,CAAC,EAC5B,MAAM,CAAC,UAAU,CAClB;YACD,GAAG,SAAS;SACb;QACD,WAAW;KACZ,CAAC;IACF,MAAM,WAAW,GACf,OAAO,CAAC,YAAY,IAAI,OAAO,CAAC,WAAW;QACzC,CAAC,CAAC,MAAM,eAAe,CAAC,cAAc,EAAE,OAAO,CAAC,WAAW,CAAC;QAC5D,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,UAAU,GAAG,WAAW;QAC5B,CAAC,CAAC,mBAAmB,CAAC,cAAc,EAAE,WAAW,CAAC;QAClD,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,OAAO,GAAG,MAAM,mBAAmB,CACvC,cAAc,EACd,OAAO,CAAC,WAAW,CACpB,CAAC;IACF,IAAI,OAAO,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CACb;YACE,yBAAyB,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;YACpD,GAAG,UAAU;SACd,CAAC,IAAI,CAAC,IAAI,CAAC,CACb,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG;QACf,GAAG,QAAQ,CAAC,QAAQ;QACpB,GAAG,OAAO,CAAC,QAAQ;QACnB,GAAG,yBAAyB,CAAC,QAAQ,CAAC,aAAa,EAAE,YAAY,CAAC;KACnE,CAAC;IACF,MAAM,iBAAiB,GAAG,uBAAuB,CAAC,QAAQ,CAAC,CAAC;IAC5D,MAAM,KAAK,GAAU;QACnB,GAAG,OAAO,CAAC,KAAK;QAChB,QAAQ,EAAE;YACR,GAAG,OAAO,CAAC,KAAK,CAAC,QAAQ;YACzB,iBAAiB;SAClB;KACF,CAAC;IACF,MAAM,MAAM,GAAG,sBAAsB,CACnC,OAAO,CAAC,WAAW,EACnB,KAAK,EACL,QAAQ,EACR,OAAO,CAAC,WAAW,EACnB,OAAO,CAAC,GAAG,IAAI,IAAI,IAAI,EAAE,CAC1B,CAAC;IACF,MAAM,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC7D,MAAM,SAAS,CAAC,OAAO,CAAC,SAAS,EAAE,GAAG,aAAa,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACxE,MAAM,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACxD,MAAM,SAAS,CAAC,YAAY,EAAE,YAAY,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC;IAC3D,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;QACvB,MAAM,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC9D,MAAM,SAAS,CAAC,OAAO,CAAC,UAAU,EAAE,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC5E,CAAC;IACD,IAAI,OAAO,CAAC,eAAe,EAAE,CAAC;QAC5B,MAAM,0BAA0B,CAAC,KAAK,EAAE,OAAO,CAAC,eAAe,CAAC,CAAC;IACnE,CAAC;IACD,OAAO;QACL,KAAK;QACL,MAAM;QACN,KAAK,EAAE;YACL,kBAAkB,QAAQ,CAAC,SAAS,CAAC,MAAM,GAAG,QAAQ,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,MAAM,gBAAgB,WAAW,CAAC,MAAM,EAAE;YACxJ,WAAW,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,GAAG,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,EAAE,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,MAAM,EAAE;YAClH,SAAS,OAAO,CAAC,SAAS,EAAE;YAC5B,YAAY,YAAY,EAAE;YAC1B,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAClE,GAAG,CAAC,OAAO,CAAC,YAAY;gBACtB,CAAC,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC;oBACrB,CAAC,CAAC,UAAU;oBACZ,CAAC,CAAC,CAAC,oBAAoB,CAAC;gBAC1B,CAAC,CAAC,EAAE,CAAC;YACP,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/D,GAAG,CAAC,OAAO,CAAC,eAAe;gBACzB,CAAC,CAAC,CAAC,iBAAiB,OAAO,CAAC,eAAe,EAAE,CAAC;gBAC9C,CAAC,CAAC,EAAE,CAAC;YACP,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;SAChE;KACF,CAAC;AACJ,CAAC;AAiBD,SAAS,qBAAqB,CAAC,OAA8B;IAC3D,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,EAAE,CAAC;IAC9C,MAAM,KAAK,GAAG;QACZ,GAAG,WAAW;QACd,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KACpD,CAAC;IACF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;IACnE,OAAO,aAAa,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAC3D,CAAC;AAED,KAAK,UAAU,qBAAqB,CAClC,WAA8B;IAE9B,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,8BAA8B,CAAC,WAAW,CAAC,CAAC;IAC/E,MAAM,QAAQ,GAAG,WAAW,CAAC,CAAC,CAAE,CAAC;IACjC,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,CAAC;IAClC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;QACxB,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QAChD,MAAM,QAAQ,GAAG,MAAM,sBAAsB,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;QACjE,MAAM,QAAQ,GAAG,MAAM,sBAAsB,CAC3C,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAClC,QAAQ,CACT,CAAC;QACF,OAAO;YACL,SAAS,EAAE,QAAQ;YACnB,UAAU,EAAE,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;YAClE,WAAW,EAAE,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;YACxD,OAAO,EAAE,QAAQ,CAAC,OAAO;YACzB,MAAM,EAAE,EAAE;YACV,UAAU,EAAE,eAAe,CACzB,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CACvD;YACD,cAAc,EAAE,OAAO,CAAC,QAAQ,CAAC;SAClC,CAAC;IACJ,CAAC;IACD,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;IACtD,MAAM,YAAY,GAAG,sBAAsB,CACzC,MAAM,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC,CACnC,CAAC;IACF,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;IACnD,MAAM,KAAK,GAAG,MAAM,aAAa,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC9C,MAAM,OAAO,GAAG;QACd,GAAG,CAAC,MAAM,OAAO,CAAC,GAAG,CACnB,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAC1E,CAAC;QACF,GAAG,CAAC,MAAM,OAAO,CAAC,GAAG,CACnB,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;YACjC,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC;YAC9C,IAAI,EAAE,MAAM,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;SACvE,CAAC,CAAC,CACJ,CAAC;KACH,CAAC;IACF,MAAM,QAAQ,GAAG,MAAM,sBAAsB,CAAC,QAAQ,CAAC,CAAC;IACxD,MAAM,QAAQ,GAAG,MAAM,sBAAsB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACjE,MAAM,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1E,OAAO;QACL,SAAS,EAAE,UAAU;QACrB,UAAU;QACV,WAAW,EAAE,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;QACxD,OAAO,EAAE,QAAQ,CAAC,OAAO;QACzB,MAAM,EAAE,aAAa,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACjE,UAAU,EAAE,eAAe,CAAC,UAAU,CAAC;QACvC,cAAc,EAAE,QAAQ;KACzB,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,8BAA8B,CAC3C,WAA8B;IAE9B,MAAM,QAAQ,GAAG,MAAM,OAAO,CAAC,GAAG,CAChC,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,qBAAqB,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CACrE,CAAC;IACF,MAAM,aAAa,GAAG,IAAI,GAAG,EAA0C,CAAC;IACxE,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;YACrC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,CAAC,GAAG,aAAa,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAC/D,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CACpC,CAAC;IACF,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjE,OAAO;QACL,SAAS,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;QACjE,UAAU;QACV,WAAW,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;QAC/C,OAAO;QACP,MAAM,EAAE,aAAa,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACpE,UAAU,EAAE,aAAa,CAAC;YACxB,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC;YACpD,GAAG,eAAe,CAAC,UAAU,CAAC;SAC/B,CAAC;QACF,cAAc,EAAE,cAAc,CAC5B,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,CAClD;KACF,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,sBAAsB,CACnC,OAA8C,EAC9C,QAA4B;IAE5B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,OAAO,GAA0C,EAAE,CAAC;IAC1D,MAAM,KAAK,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC;IAC3B,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;QAC5B,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC;YAAE,SAAS;QAClC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACpB,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QACnD,KAAK,MAAM,SAAS,IAAI,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACzD,MAAM,QAAQ,GAAG,MAAM,iBAAiB,CACtC,OAAO,CAAC,SAAS,CAAC,EAClB,SAAS,EACT,QAAQ,CACT,CAAC;YACF,IAAI,QAAQ;gBACV,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;QAC3E,CAAC;IACH,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,CAAC;AACrB,CAAC;AAED,SAAS,qBAAqB,CAAC,MAAc;IAC3C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,MAAM,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC;IAC1C,MAAM,KAAK,GAAG,CAAC,IAA+B,EAAQ,EAAE;QACtD,IACE,qBAAqB,CAAC,IAAI,CAAC;YAC3B,iBAAiB,CAAC,IAAI,CAAC,eAAe,CAAC;YACvC,sBAAsB,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,EACjD,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;QACxC,CAAC;QACD,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC9B,CAAC,CAAC;IACF,KAAK,CAAC,MAAM,CAAC,CAAC;IACd,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,kBAAkB,CAAC,MAAc;IACxC,OAAO,EAAE,CAAC,gBAAgB,CACxB,aAAa,EACb,MAAM,EACN,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,EACJ,EAAE,CAAC,UAAU,CAAC,GAAG,CAClB,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAC5B,IAA+B;IAE/B,OAAO,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;AACtC,CAAC;AAED,SAAS,iBAAiB,CACxB,IAA+B;IAE/B,OAAO,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;AAClC,CAAC;AAED,SAAS,cAAc,CACrB,IAA+B,EAC/B,EAA6C;IAE7C,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;AAC5B,CAAC;AAED,SAAS,sBAAsB,CAAC,SAAiB;IAC/C,OAAO,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;AACjE,CAAC;AAED,KAAK,UAAU,iBAAiB,CAC9B,OAAe,EACf,SAAiB,EACjB,QAA4B;IAE5B,IAAI,SAAS,CAAC,UAAU,CAAC,WAAW,CAAC,IAAI,SAAS,CAAC,UAAU,CAAC,YAAY,CAAC;QACzE,OAAO,SAAS,CAAC;IACnB,MAAM,KAAK,GAAG,WAAW,CAAC,OAAO,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;IACxD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,MAAM,uBAAuB,CAAC,IAAI,CAAC,CAAC;QACrD,IAAI,QAAQ;YAAE,OAAO,QAAQ,CAAC;IAChC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,WAAW,CAClB,OAAe,EACf,SAAiB,EACjB,QAA4B;IAE5B,IAAI,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;IACpE,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;QAC/C,IACE,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC;YACnC,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC;YAEjC,OAAO,EAAE,CAAC;QACZ,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAC1B,KAAK,CAAC,MAAM,CAAC,MAAM,EACnB,SAAS,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,CACvC,CAAC;QACF,OAAO,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IACH,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,OAAO,CAAC;IACvC,OAAO,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACxE,CAAC;AAED,KAAK,UAAU,uBAAuB,CACpC,IAAY;IAEZ,MAAM,UAAU,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC;QAC7C,CAAC,CAAC,CAAC,IAAI,CAAC;QACR,CAAC,CAAC;YACE,GAAG,IAAI,KAAK;YACZ,GAAG,IAAI,MAAM;YACb,GAAG,IAAI,MAAM;YACb,GAAG,IAAI,MAAM;YACb,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC;YACtB,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC;SACxB,CAAC;IACN,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,IAAI,CAAC;YACH,MAAM,aAAa,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,CAAC;YAC5C,IAAI,aAAa,CAAC,MAAM,EAAE;gBAAE,OAAO,SAAS,CAAC;QAC/C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ;gBAAE,MAAM,KAAK,CAAC;QACtE,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,KAAK,UAAU,sBAAsB,CACnC,QAAgB;IAEhB,MAAM,YAAY,GAAG,MAAM,mBAAmB,CAAC,QAAQ,CAAC,CAAC;IACzD,IAAI,CAAC,YAAY;QAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;IACxC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,CAE7D,CAAC;IACF,MAAM,SAAS,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;IACxC,MAAM,OAAO,GAAG,MAAM,CAAC,eAAe,EAAE,OAAO;QAC7C,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM,CAAC,eAAe,CAAC,OAAO,CAAC;QACpD,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,eAAe,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CACnE,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,EAAE;QACjB,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC9B,MAAM,MAAM,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACpD,MAAM,MAAM,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACpD,OAAO;YACL,MAAM;YACN,MAAM;YACN,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;SAC3D,CAAC;IACJ,CAAC,CACF,CAAC;IACF,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AAC5B,CAAC;AAED,KAAK,UAAU,mBAAmB,CAChC,QAAgB;IAEhB,IAAI,GAAG,GAAG,QAAQ,CAAC;IACnB,OAAO,IAAI,EAAE,CAAC;QACZ,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,eAAe,CAAC,CAAC;QAC7C,IAAI,CAAC;YACH,MAAM,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;YAClC,OAAO,SAAS,CAAC;QACnB,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ;gBAAE,MAAM,KAAK,CAAC;QACtE,CAAC;QACD,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAI,MAAM,KAAK,GAAG,IAAI,GAAG,KAAK,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI;YAAE,OAAO,SAAS,CAAC;QAChE,GAAG,GAAG,MAAM,CAAC;IACf,CAAC;AACH,CAAC;AAED,KAAK,UAAU,aAAa,CAAC,KAAwB;IACnD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC;YAC9B,IAAI,IAAI,CAAC,MAAM,EAAE;gBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ;gBAAE,MAAM,KAAK,CAAC;QACtE,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,sBAAsB,CAC7B,MAAc;IAEd,MAAM,MAAM,GAA6C,EAAE,CAAC;IAC5D,MAAM,MAAM,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC;IAC1C,MAAM,KAAK,GAAG,CAAC,IAA+B,EAAQ,EAAE;QACtD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YAClE,IACE,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,OAAO;gBAChC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EACrC,CAAC;gBACD,MAAM,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YAC9D,CAAC;YACD,IACE,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,OAAO;gBAChC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;gBACrC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EACrC,CAAC;gBACD,MAAM,CAAC,IAAI,CAAC;oBACV,OAAO,EAAE,sBAAsB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;oBACvD,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI;iBAC7B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC9B,CAAC,CAAC;IACF,KAAK,CAAC,MAAM,CAAC,CAAC;IACd,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,sBAAsB,CAAC,OAAe;IAC7C,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,OAAO,EAAE,CAAC;IACrE,OAAO,UAAU,CAAC,OAAO,CAAC,oBAAoB,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;AAC7E,CAAC;AAED,SAAS,YAAY,CACnB,OAAkD;IAElD,OAAO,MAAM,CAAC,WAAW,CACvB,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAC5D,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,UAAkB;IACzC,MAAM,MAAM,GAAG,kBAAkB,CAAC,UAAU,CAAC,CAAC;IAC9C,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,MAAM,KAAK,GAAG,CAAC,IAA+B,EAAQ,EAAE;QACtD,IACE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YACzB,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;YAChC,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,OAAO,EAChC,CAAC;YACD,MAAM,EAAE,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;YAC3B,IAAI,EAAE;gBAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACtB,CAAC;QACD,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC9B,CAAC,CAAC;IACF,KAAK,CAAC,MAAM,CAAC,CAAC;IACd,OAAO,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AACzB,CAAC;AAED,SAAS,SAAS,CAChB,IAAyC;IAEzC,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAChC,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAC7B,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;IACnC,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC;IAC5D,OAAO,GAAG,MAAM,IAAI,IAAI,EAAE,CAAC;AAC7B,CAAC;AAED,SAAS,cAAc,CACrB,UAA2C;IAE3C,IACE,EAAE,CAAC,eAAe,CAAC,UAAU,CAAC;QAC9B,EAAE,CAAC,+BAA+B,CAAC,UAAU,CAAC;QAE9C,OAAO,kBAAkB,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IAC7C,IAAI,EAAE,CAAC,oBAAoB,CAAC,UAAU,CAAC,EAAE,CAAC;QACxC,IAAI,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;QACjC,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,aAAa;YACzC,KAAK,IAAI,MAAM,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;QACrC,OAAO,kBAAkB,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAY;IACtC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,OAAO,CACvD,mBAAmB,EACnB,MAAM,CACP,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,UAAuD;IAEvD,IAAI,CAAC,UAAU,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,UAAU,CAAC;QAC1D,OAAO,SAAS,CAAC;IACnB,MAAM,MAAM,GAAG,UAAU,CAAC,UAAU,CAAC,IAAI,CACvC,CAAC,QAAQ,EAAuD,EAAE,CAChE,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC;QACjC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,QAAQ,CAC3C,CAAC;IACF,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACrE,OAAO,KAAK,EAAE,WAAW,EAAE,CAAC;AAC9B,CAAC;AAED,SAAS,aAAa,CACpB,UAA2C;IAE3C,OAAO,EAAE,CAAC,eAAe,CAAC,UAAU,CAAC;QACnC,EAAE,CAAC,+BAA+B,CAAC,UAAU,CAAC;QAC9C,CAAC,CAAC,UAAU,CAAC,IAAI;QACjB,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAED,SAAS,YAAY,CACnB,IAAuC;IAEvC,IACE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QACrB,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;QACxB,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAEzB,OAAO,IAAI,CAAC,IAAI,CAAC;IACnB,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,KAAK,UAAU,eAAe,CAC5B,KAAY,EACZ,WAAmB;IAEnB,OAAO,eAAe,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;AAC7C,CAAC;AAED,KAAK,UAAU,kBAAkB,CAC/B,UAA8B;IAE9B,IAAI,CAAC,UAAU;QAAE,OAAO,EAAE,CAAC;IAC3B,MAAM,MAAM,GAAG,CAAC,MAAM,kBAAkB,CAAC,UAAU,CAAC,CAGnD,CAAC;IACF,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC;IACvD,OAAO,OAAO,QAAQ,KAAK,UAAU,CAAC,CAAC,CAAC,MAAM,QAAQ,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC;AACtE,CAAC;AAED,KAAK,UAAU,kBAAkB,CAAC,UAAkB;IAClD,IAAI,OAAO,CAAC,UAAU,CAAC,KAAK,KAAK,IAAI,OAAO,CAAC,UAAU,CAAC,KAAK,MAAM,EAAE,CAAC;QACpE,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;QAClD,MAAM,UAAU,GAAG,EAAE,CAAC,eAAe,CAAC,MAAM,EAAE;YAC5C,eAAe,EAAE;gBACf,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM;gBAC5B,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM;gBAC9B,sBAAsB,EAAE,EAAE,CAAC,sBAAsB,CAAC,MAAM;aACzD;SACF,CAAC,CAAC,UAAU,CAAC;QACd,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAC3D,MAAM,GAAG,GAAG,+BAA+B,OAAO,EAAE,CAAC;QACrD,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC;IACrB,CAAC;IACD,OAAO,MAAM,CAAC,GAAG,aAAa,CAAC,UAAU,CAAC,CAAC,IAAI,MAAM,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;AACrE,CAAC;AAED,KAAK,UAAU,iBAAiB,CAC9B,QAAgB;IAEhB,MAAM,KAAK,GAAG;QACZ,oBAAoB;QACpB,qBAAqB;QACrB,oBAAoB;QACpB,qBAAqB;KACtB,CAAC;IACF,IAAI,GAAG,GAAG,QAAQ,CAAC;IACnB,OAAO,IAAI,EAAE,CAAC;QACZ,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YAClC,IAAI,CAAC;gBACH,MAAM,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;gBAClC,OAAO,SAAS,CAAC;YACnB,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ;oBAAE,MAAM,KAAK,CAAC;YACtE,CAAC;QACH,CAAC;QACD,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAI,MAAM,KAAK,GAAG,IAAI,GAAG,KAAK,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI;YAAE,OAAO,SAAS,CAAC;QAChE,GAAG,GAAG,MAAM,CAAC;IACf,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,MAAyB;IAC9C,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AACrC,CAAC;AAED,SAAS,cAAc,CAAC,KAAwB;IAC9C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC,GAAG,EAAE,CAAC;IAC7C,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC5E,IAAI,CAAC,KAAK;QAAE,OAAO,OAAO,CAAC,GAAG,EAAE,CAAC;IACjC,IAAI,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC1B,KAAK,MAAM,KAAK,IAAI,IAAI,EAAE,CAAC;QACzB,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QACxC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;YAC/C,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;gBAClC,MAAM,GAAG,KAAK,CAAC;gBACf,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChD,OAAO,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC;AACxD,CAAC;AAED,KAAK,UAAU,sBAAsB,CACnC,QAAgB;IAEhB,IAAI,GAAG,GAAG,QAAQ,CAAC;IACnB,OAAO,IAAI,EAAE,CAAC;QACZ,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;QAC5C,IAAI,CAAC;YACH,MAAM,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;YAClC,OAAO,SAAS,CAAC;QACnB,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ;gBAAE,MAAM,KAAK,CAAC;QACtE,CAAC;QACD,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAI,MAAM,KAAK,GAAG,IAAI,GAAG,KAAK,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI;YAAE,OAAO,SAAS,CAAC;QAChE,GAAG,GAAG,MAAM,CAAC;IACf,CAAC;AACH,CAAC;AAED,KAAK,UAAU,uBAAuB,CACpC,eAAmC;IAEnC,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IACvC,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC,CAIlE,CAAC;IACF,OAAO;QACL,GAAG,CAAC,QAAQ,CAAC,gBAAgB,IAAI,EAAE,CAAC;QACpC,GAAG,CAAC,QAAQ,CAAC,eAAe,IAAI,EAAE,CAAC;QACnC,GAAG,CAAC,QAAQ,CAAC,YAAY,IAAI,EAAE,CAAC;KACjC,CAAC;AACJ,CAAC;AAED,SAAS,MAAM,CAAC,KAAa;IAC3B,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC1D,CAAC;AAED,KAAK,UAAU,0BAA0B,CACvC,KAAY,EACZ,iBAAyB;IAEzB,MAAM,QAAQ,GAAG,kBAAkB,CACjC,MAAM,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC,CAC1C,CAAC;IACF,MAAM,UAAU,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IACxC,MAAM,YAAY,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;IAC7C,IAAI,UAAU,KAAK,YAAY,EAAE,CAAC;QAChC,MAAM,IAAI,KAAK,CACb,kDAAkD,iBAAiB,EAAE,CACtE,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,sBAAsB,CAC7B,WAA8B,EAC9B,KAAY,EACZ,QAA2B,EAC3B,WAA8B,EAC9B,GAAS;IAET,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ,EAAE,iBAAiB,IAAI,sBAAsB,EAAE,CAAC;IAC9E,MAAM,kBAAkB,GAAG,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;QAChE,EAAE,EAAE,UAAU,CAAC,EAAE;QACjB,cAAc,EACZ,UAAU,CAAC,UAAU,KAAK,QAAQ;YAChC,CAAC,CAAE,SAAmB;YACtB,CAAC,CAAC,UAAU,CAAC,UAAU;QAC3B,OAAO,EACL,UAAU,CAAC,UAAU,KAAK,aAAa;YACrC,CAAC,CAAC,iBAAiB,CAAC,UAAU,CAAC;YAC/B,CAAC,CAAE,EAAe;KACvB,CAAC,CAAC,CAAC;IACJ,MAAM,aAAa,GAAG,IAAI,GAAG,CAC3B,kBAAkB,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAChD,CAAC;IACF,MAAM,qBAAqB,GAAG,QAAQ;SACnC,GAAG,CAAC,+BAA+B,CAAC;SACpC,MAAM,CAAC,CAAC,OAAO,EAA6C,EAAE,CAC7D,OAAO,CAAC,OAAO,CAAC,CACjB;SACA,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;SACnD,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QACjB,EAAE,EAAE,OAAO,CAAC,EAAE;QACd,cAAc,EAAE,eAAwB;QACxC,OAAO,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC;KAC1B,CAAC,CAAC,CAAC;IACN,MAAM,QAAQ,GAAG,CAAC,GAAG,kBAAkB,EAAE,GAAG,qBAAqB,CAAC,CAAC;IACnE,MAAM,cAAc,GAAG,QAAQ,CAAC,MAAM,CACpC,CAAC,OAAO,EAAE,EAAE,CACV,OAAO,CAAC,cAAc,KAAK,OAAO;QAClC,OAAO,CAAC,cAAc,KAAK,SAAS,CACvC,CAAC,MAAM,CAAC;IACT,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,CACnC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,cAAc,KAAK,eAAe,CACxD,CAAC,MAAM,CAAC;IACT,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,IAAI,EAAE,mBAAmB;QACzB,WAAW,EAAE,GAAG,CAAC,WAAW,EAAE;QAC9B,WAAW;QACX,OAAO,EAAE,KAAK,CAAC,QAAQ,EAAE,OAAO,IAAI,EAAE;QACtC,QAAQ;QACR,YAAY,EAAE,OAAO,CAAC,YAAY;QAClC,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,mBAAmB,EAAE,OAAO,CAAC,mBAAmB;QAChD,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACjC,KAAK,EAAE,IAAI,CAAC,EAAE;YACd,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI;YAC5B,UAAU,EACR,KAAK,CAAC,QAAQ,EAAE,gBAAgB,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC3C,CAAC,IAAI,CAAC,MAAM,KAAK,QAAQ;oBACvB,CAAC,CAAC,QAAQ;oBACV,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,kBAAkB;wBAClC,CAAC,CAAC,UAAU;wBACZ,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ;4BAC7B,CAAC,CAAC,eAAe;4BACjB,CAAC,CAAC,cAAc,CAAC;SAC1B,CAAC,CAAC;QACH,QAAQ,EAAE;YACR,aAAa,EAAE,QAAQ,CAAC,MAAM;YAC9B,cAAc;YACd,aAAa;YACb,WAAW,EAAE,WAAW,CAAC,MAAM;YAC/B,qBAAqB,EACnB,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,cAAc,GAAG,QAAQ,CAAC,MAAM;SAC/D;QACD,QAAQ;KACT,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB;IAG7B,OAAO;QACL,YAAY,EAAE,EAAE;QAChB,UAAU,EAAE,EAAE;QACd,mBAAmB,EAAE,EAAE;QACvB,qBAAqB,EAAE,EAAE;KAC1B,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAC9B,QAA2B;IAE3B,OAAO;QACL,YAAY,EAAE,QAAQ;aACnB,GAAG,CAAC,sBAAsB,CAAC;aAC3B,MAAM,CAAC,QAAQ,CAAC;aAChB,IAAI,CAAC,cAAc,CAAC;QACvB,UAAU,EAAE,QAAQ;aACjB,GAAG,CAAC,oBAAoB,CAAC;aACzB,MAAM,CAAC,QAAQ,CAAC;aAChB,IAAI,CAAC,cAAc,CAAC;QACvB,mBAAmB,EAAE,QAAQ;aAC1B,GAAG,CAAC,6BAA6B,CAAC;aAClC,MAAM,CAAC,QAAQ,CAAC;aAChB,IAAI,CAAC,cAAc,CAAC;QACvB,qBAAqB,EAAE,QAAQ;aAC5B,GAAG,CAAC,+BAA+B,CAAC;aACpC,MAAM,CAAC,QAAQ,CAAC;aAChB,IAAI,CAAC,cAAc,CAAC;KACxB,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAAC,OAAe;IAC7C,MAAM,KAAK,GAAG,qBAAqB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAClD,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AACpE,CAAC;AAED,SAAS,oBAAoB,CAAC,OAAe;IAC3C,MAAM,KAAK,GAAG,wBAAwB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACrD,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AACpE,CAAC;AAED,SAAS,6BAA6B,CACpC,OAAe;IAEf,MAAM,KAAK,GAAG,4BAA4B,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACzD,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AACpE,CAAC;AAED,SAAS,QAAQ,CACf,KAAmC;IAEnC,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC;AACxB,CAAC;AAED,SAAS,cAAc,CACrB,IAAsB,EACtB,KAAuB;IAEvB,OAAO,CACL,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,CAC3E,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAChC,aAA2C,EAC3C,YAAgD;IAEhD,IAAI,CAAC,YAAY;QAAE,OAAO,EAAE,CAAC;IAC7B,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,MAAM,IAAI,aAAa,EAAE,CAAC;QACnC,MAAM,cAAc,GAAG,MAAM,CAAC,WAAW,EAAE,cAAc,CAAC;QAC1D,IAAI,CAAC,cAAc;YAAE,SAAS;QAC9B,MAAM,WAAW,GAAG,uBAAuB,CAAC,cAAc,CAAC,CAAC;QAC5D,IAAI,CAAC,WAAW,EAAE,CAAC;YACjB,QAAQ,CAAC,IAAI,CACX,UAAU,MAAM,CAAC,EAAE,yCAAyC,cAAc,EAAE,CAC7E,CAAC;YACF,SAAS;QACX,CAAC;QACD,MAAM,WAAW,GACf,MAAM,CAAC,YAAY,CAAC,IAAI,CACtB,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,KAAK,WAAW,CAAC,WAAW,CACrD,IAAI,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,MAAM,GAAG,WAAW,CAAC,CAAC,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACnE,IAAI,CAAC,WAAW,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzC,QAAQ,CAAC,IAAI,CACX,UAAU,MAAM,CAAC,EAAE,mBAAmB,cAAc,4CAA4C,CACjG,CAAC;YACF,SAAS;QACX,CAAC;QACD,MAAM,WAAW,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;QAC7C,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC9B,QAAQ,CAAC,IAAI,CACX,UAAU,MAAM,CAAC,EAAE,mBAAmB,cAAc,wBAAwB,WAAW,IAAI,MAAM,sBAAsB,CACxH,CAAC;YACF,SAAS;QACX,CAAC;QACD,IAAI,WAAW,GAAG,WAAW,CAAC,YAAY,EAAE,CAAC;YAC3C,QAAQ,CAAC,IAAI,CACX,UAAU,MAAM,CAAC,EAAE,mBAAmB,cAAc,kBAAkB,WAAW,IAAI,MAAM,EAAE,CAC9F,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC,IAAI,EAAE,CAAC;AACzB,CAAC;AAED,SAAS,uBAAuB,CAC9B,KAAa;IAEb,MAAM,KAAK,GAAG,+BAA+B,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IACjE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IAC/C,OAAO,EAAE,WAAW,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACnE,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAa;IACrC,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnC,OAAO,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AAC9C,CAAC;AAED,SAAS,gBAAgB,CACvB,OAA4D;IAE5D,OAAO,CAAC,GAAG,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAC3E,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACd,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC,CACzE,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAChC,WAAoD;IAEpD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,MAAM,KAAK,GAAG,CAAC,MAAgB,EAAQ,EAAE;QACvC,IACE,MAAM,CAAC,IAAI,KAAK,UAAU;YAC1B,MAAM,CAAC,EAAE,EAAE,IAAI,KAAK,KAAK;YACzB,OAAO,MAAM,CAAC,EAAE,CAAC,KAAK,KAAK,QAAQ;YAEnC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC1B,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,OAAO;gBAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QACnD,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACzB,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACnB,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACrB,CAAC;IACH,CAAC,CAAC;IACF,KAAK,MAAM,UAAU,IAAI,WAAW;QAAE,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IAC/D,OAAO,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;AAC5B,CAAC;AAED,SAAS,iBAAiB,CAAC,UAAwC;IACjE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,IAAI,UAAU,CAAC,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC;QACpC,OAAO,CAAC,GAAG,CAAC,mCAAmC,CAAC,CAAC;IACnD,KAAK,MAAM,QAAQ,IAAI,WAAW,CAAC,UAAU,CAAC,MAAM,CAAC;QACnD,OAAO,CAAC,GAAG,CAAC,kBAAkB,QAAQ,EAAE,CAAC,CAAC;IAC5C,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,CAAC,GAAG,CAAC,sCAAsC,CAAC,CAAC;IAC5E,OAAO,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;AAC7B,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAY,EAAE,OAAoB;IAC7D,MAAM,aAAa,GAAG,KAAK,CAAC,WAAW;SACpC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;SAClC,IAAI,EAAE,CAAC;IACV,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACxD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,UAAU,IAAI,OAAO,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;QACnD,IAAI,aAAa,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;YAAE,SAAS;QACpD,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,YAAY,EAAE,UAAU,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC,CAAC;IACtE,CAAC;IACD,KAAK,MAAM,UAAU,IAAI,OAAO,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;QAC/C,IAAI,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,SAAS;QAC9C,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC;IAC5D,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;QAC7C,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,SAAS;QACrC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,EAAE,CAAC;AACtB,CAAC;AAED,SAAS,WAAW,CAClB,IAAY,EACZ,EAAU,EACV,UAA6B;IAE7B,MAAM,WAAW,GAAG,iBAAiB,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;IACtD,OAAO,WAAW,CAAC,MAAM,GAAG,CAAC;QAC3B,CAAC,CAAC,kBAAkB,IAAI,IAAI,EAAE,0BAA0B,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;QAC/E,CAAC,CAAC,kBAAkB,IAAI,IAAI,EAAE,6BAA6B,CAAC;AAChE,CAAC;AAED,SAAS,iBAAiB,CACxB,EAAU,EACV,UAA6B;IAE7B,OAAO,UAAU;SACd,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;QACnB,SAAS;QACT,QAAQ,EAAE,YAAY,CAAC,WAAW,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,SAAS,CAAC,CAAC;KAChE,CAAC,CAAC;SACF,IAAI,CACH,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACd,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC,QAAQ;QAC9B,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,KAAK,CAAC,SAAS,CAAC,CAChD;SACA,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;SACX,GAAG,CAAC,CAAC,EAAE,SAAS,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,GAAG,SAAS,IAAI,QAAQ,GAAG,CAAC,CAAC;AACnE,CAAC;AAED,SAAS,WAAW,CAAC,EAAU;IAC7B,OAAO,EAAE,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,YAAY,CAAC,IAAY,EAAE,KAAa;IAC/C,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CACzB,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,EAC5B,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CACpB,CAAC;IACF,KAAK,IAAI,SAAS,GAAG,CAAC,EAAE,SAAS,IAAI,IAAI,CAAC,MAAM,EAAE,SAAS,IAAI,CAAC,EAAE,CAAC;QACjE,IAAI,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAE,CAAC;QAC5B,QAAQ,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC;QACxB,KAAK,IAAI,UAAU,GAAG,CAAC,EAAE,UAAU,IAAI,KAAK,CAAC,MAAM,EAAE,UAAU,IAAI,CAAC,EAAE,CAAC;YACrE,MAAM,EAAE,GAAG,QAAQ,CAAC,UAAU,CAAE,GAAG,CAAC,CAAC;YACrC,MAAM,QAAQ,GAAG,QAAQ,CAAC,UAAU,GAAG,CAAC,CAAE,GAAG,CAAC,CAAC;YAC/C,MAAM,KAAK,GACT,QAAQ,GAAG,CAAC,IAAI,CAAC,SAAS,GAAG,CAAC,CAAC,KAAK,KAAK,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACrE,QAAQ,GAAG,QAAQ,CAAC,UAAU,CAAE,CAAC;YACjC,QAAQ,CAAC,UAAU,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAE,CAAC;AACjC,CAAC;AAED,SAAS,WAAW,CAAC,MAAgB;IACnC,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IACjD,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IACtE,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI;QACtB,OAAO,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACpE,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,+BAA+B,CACtC,OAAe;IAEf,MAAM,KAAK,GAAG,8BAA8B,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC3D,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AACpE,CAAC;AAED,SAAS,WAAW,CAClB,UAA6B,EAC7B,cAAuD,EAAE,EACzD,OAAgC,EAAE,EAClC,UAAU,GAAG,CAAC;IAEd,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,EAAE,CAClD,UAAU,CAAC,UAAU,CAAC,MAAM,CAAC,CAC9B,CAAC;IACF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC;IACrC,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC7C,MAAM,SAAS,GAA2C,EAAE,CAAC;IAC7D,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9D,KAAK,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;QAC5B,kBAAkB,CAAC,GAAG,CAAC,eAAe,EAAE,OAAO,CAAC,CAAC;QACjD,kBAAkB,CAAC,GAAG,CAAC,gBAAgB,EAAE,OAAO,CAAC,CAAC;QAClD,kBAAkB,CAAC,GAAG,CAAC,gBAAgB,EAAE,OAAO,CAAC,CAAC;IACpD,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACzB,kBAAkB,CAAC,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;QAC7C,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YACxD,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAChD,IAAI,MAAM;gBAAE,SAAS,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;QACzE,CAAC;IACH,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,CAAC;QAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC9C,IAAI,kBAAkB,CAAC,IAAI,KAAK,CAAC;QAAE,kBAAkB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAClE,MAAM,GAAG,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;IACjC,MAAM,aAAa,GAAG,CAAC,GAAG,kBAAkB,CAAC,CAAC,IAAI,EAAE,CAAC;IACrD,OAAO;QACL;YACE,EAAE,EAAE,aAAa;YACjB,MAAM,EAAE;gBACN,IAAI,EAAE,aAAa;gBACnB,KAAK,EAAE;oBACL,IAAI,EAAE,QAAQ;oBACd,MAAM,EAAE;wBACN,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE;wBACnC,YAAY,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,aAAa,EAAE;wBACrD,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE;qBAC5C;iBACF;gBACD,MAAM,EAAE,UAAU;aACnB;YACD,MAAM,EAAE,QAAQ;YAChB,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACzB,OAAO,EAAE,EAAE;SACZ;KACF,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,MAAgB;IAKlC,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS;QAC3B,OAAO;YACL,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,YAAY,EAAE,MAAM,CAAC,YAAY,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE;SACxE,CAAC;IACJ,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IACrE,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI;QACtB,OAAO,CAAC,GAAG,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAClE,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,gBAAgB,CACvB,IAA4D,EAC5D,QAA2C;IAE3C,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7D,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAC9D,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IAC9C,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IACjD,OAAO,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;AACnE,CAAC;AAED,SAAS,4BAA4B,CACnC,IAA6B,EAC7B,WAAoD;IAEpD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkC,CAAC;IAC9D,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,sBAAsB,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;YACxE,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,eAAe,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACvB,IAAI,IAAI,CAAC,MAAM,KAAK,kBAAkB;YAAE,OAAO,IAAI,CAAC;QACpD,MAAM,UAAU,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC5C,OAAO,UAAU;YACf,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,mBAAmB,CAAC,IAAI,CAAC,MAAM,EAAE,UAAU,CAAC,EAAE;YACnE,CAAC,CAAC,IAAI,CAAC;IACX,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,mBAAmB,CAC1B,IAA4B,EAC5B,KAA6B;IAE7B,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;QAC/C,OAAO,eAAe,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACtC,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY;QAC3D,OAAO,eAAe,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACtC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IACzC,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,sBAAsB,CAC7B,MAAgB;IAEhB,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;QACxD,OAAO,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,gBAAgB,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC7D,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,OAAO,MAAM,CAAC,KAAK;aAChB,MAAM,CACL,CAAC,IAAI,EAAiD,EAAE,CACtD,IAAI,CAAC,IAAI,KAAK,KAAK,CACtB;aACA,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC/D,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK;QACvB,OAAO,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC;IACxD,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI;QACtB,OAAO;YACL,GAAG,sBAAsB,CAAC,MAAM,CAAC,IAAI,CAAC;YACtC,GAAG,sBAAsB,CAAC,MAAM,CAAC,IAAI,CAAC;SACvC,CAAC;IACJ,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAc;IACtC,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACxD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAC3B,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;IACxD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;IACxE,IAAI,KAAK,KAAK,IAAI;QAChB,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;IACjE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;AACtC,CAAC;AAED,SAAS,eAAe,CACtB,IAAwC,EACxC,KAA6B;IAE7B,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;QAC/C,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;SAC/D,CAAC;IACJ,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY;QAC3D,OAAO;YACL,IAAI,EAAE,YAAY;YAClB,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC;YAClC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC;SACnC,CAAC;IACJ,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IAC1C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;AACtC,CAAC"}
|
|
@@ -1,3 +1,3 @@
|
|
|
1
1
|
export { runExtractCommand } from "./command.js";
|
|
2
|
-
export type { ExtractCommandOptions, ExtractCommandResult, ModalityConfig } from "./command.js";
|
|
2
|
+
export type { ExtractCommandOptions, ExtractCommandResult, ModalityConfig, } from "./command.js";
|
|
3
3
|
//# sourceMappingURL=index.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/cli/features/extract/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AACjD,YAAY,EACV,qBAAqB,EACrB,oBAAoB,EACpB,cAAc,GACf,MAAM,cAAc,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/cli/features/extract/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC"}
|
|
@@ -0,0 +1,9 @@
|
|
|
1
|
+
export interface InitCommandOptions {
|
|
2
|
+
cwd?: string;
|
|
3
|
+
}
|
|
4
|
+
export interface InitCommandResult {
|
|
5
|
+
configPath: string;
|
|
6
|
+
lines: string[];
|
|
7
|
+
}
|
|
8
|
+
export declare function runInitCommand(options?: InitCommandOptions): Promise<InitCommandResult>;
|
|
9
|
+
//# sourceMappingURL=command.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"command.d.ts","sourceRoot":"","sources":["../../../../src/cli/features/init/command.ts"],"names":[],"mappings":"AAGA,MAAM,WAAW,kBAAkB;IACjC,GAAG,CAAC,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,iBAAiB;IAChC,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED,wBAAsB,cAAc,CAClC,OAAO,GAAE,kBAAuB,GAC/B,OAAO,CAAC,iBAAiB,CAAC,CAuB5B"}
|
|
@@ -0,0 +1,23 @@
|
|
|
1
|
+
import { writeFile } from "node:fs/promises";
|
|
2
|
+
import { join } from "node:path";
|
|
3
|
+
export async function runInitCommand(options = {}) {
|
|
4
|
+
const configPath = join(options.cwd ?? process.cwd(), "modality.config.ts");
|
|
5
|
+
await writeFile(configPath, [
|
|
6
|
+
'import type { ModalityConfig } from "modality-ts/cli/extract";',
|
|
7
|
+
"",
|
|
8
|
+
"export default {",
|
|
9
|
+
" route: \"/\",",
|
|
10
|
+
" bounds: {",
|
|
11
|
+
" maxDepth: 12,",
|
|
12
|
+
" maxPending: 3,",
|
|
13
|
+
" maxInternalSteps: 16,",
|
|
14
|
+
" },",
|
|
15
|
+
"} satisfies ModalityConfig;",
|
|
16
|
+
"",
|
|
17
|
+
].join("\n"), { encoding: "utf8", flag: "wx" });
|
|
18
|
+
return {
|
|
19
|
+
configPath,
|
|
20
|
+
lines: [`config=${configPath}`],
|
|
21
|
+
};
|
|
22
|
+
}
|
|
23
|
+
//# sourceMappingURL=command.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"command.js","sourceRoot":"","sources":["../../../../src/cli/features/init/command.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC7C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAWjC,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,UAA8B,EAAE;IAEhC,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG,EAAE,EAAE,oBAAoB,CAAC,CAAC;IAC5E,MAAM,SAAS,CACb,UAAU,EACV;QACE,gEAAgE;QAChE,EAAE;QACF,kBAAkB;QAClB,iBAAiB;QACjB,aAAa;QACb,mBAAmB;QACnB,oBAAoB;QACpB,2BAA2B;QAC3B,MAAM;QACN,6BAA6B;QAC7B,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,EACZ,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CACjC,CAAC;IACF,OAAO;QACL,UAAU;QACV,KAAK,EAAE,CAAC,UAAU,UAAU,EAAE,CAAC;KAChC,CAAC;AACJ,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/cli/features/init/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,YAAY,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/cli/features/init/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"command.d.ts","sourceRoot":"","sources":["../../../../src/cli/features/replay/command.ts"],"names":[],"mappings":"AAaA,OAAO,EAIL,KAAK,YAAY,EAGlB,MAAM,kBAAkB,CAAC;AAE1B,MAAM,WAAW,oBAAoB;IACnC,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,IAAI,CAAC,EAAE,UAAU,GAAG,QAAQ,CAAC;IAC7B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,GAAG,CAAC,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,mBAAmB;IAClC,MAAM,EAAE,YAAY,CAAC;IACrB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED,wBAAsB,gBAAgB,CACpC,OAAO,EAAE,oBAAoB,GAC5B,OAAO,CAAC,mBAAmB,CAAC,CA6B9B;AAwJD,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,YAAY,GAAG,MAAM,EAAE,CAWjE"}
|
|
@@ -1,19 +1,21 @@
|
|
|
1
1
|
import { mkdir, readFile, writeFile } from "node:fs/promises";
|
|
2
2
|
import { dirname } from "node:path";
|
|
3
3
|
import { pathToFileURL } from "node:url";
|
|
4
|
-
import { createDomReplayActor, ObservableActionReplayDriver, observationSource, replayTrace, StateSequenceDriver, statesFromTrace } from "modality-ts/harness";
|
|
5
|
-
import { canonicalJson, parseTraceArtifact } from "modality-ts/
|
|
4
|
+
import { createDomReplayActor, ObservableActionReplayDriver, observationSource, replayTrace, StateSequenceDriver, statesFromTrace, } from "modality-ts/cli/harness";
|
|
5
|
+
import { canonicalJson, parseTraceArtifact, } from "modality-ts/core";
|
|
6
6
|
export async function runReplayCommand(options) {
|
|
7
7
|
const trace = parseTraceArtifact(await readFile(options.tracePath, "utf8"));
|
|
8
8
|
const mode = options.mode ?? (options.harnessPath ? "action" : "abstract");
|
|
9
|
-
const verdict = mode === "action"
|
|
9
|
+
const verdict = mode === "action"
|
|
10
|
+
? await replayAction(trace, options)
|
|
11
|
+
: await replayAbstract(trace, options);
|
|
10
12
|
const report = {
|
|
11
13
|
schemaVersion: 1,
|
|
12
14
|
kind: "replay-report",
|
|
13
15
|
generatedAt: (options.now ?? new Date()).toISOString(),
|
|
14
16
|
mode,
|
|
15
17
|
...(options.harnessPath ? { harnessPath: options.harnessPath } : {}),
|
|
16
|
-
verdict
|
|
18
|
+
verdict,
|
|
17
19
|
};
|
|
18
20
|
if (options.reportPath) {
|
|
19
21
|
await mkdir(dirname(options.reportPath), { recursive: true });
|
|
@@ -21,33 +23,43 @@ export async function runReplayCommand(options) {
|
|
|
21
23
|
}
|
|
22
24
|
return {
|
|
23
25
|
report,
|
|
24
|
-
exitCode: verdict.status === "reproduced"
|
|
25
|
-
|
|
26
|
+
exitCode: verdict.status === "reproduced"
|
|
27
|
+
? 0
|
|
28
|
+
: verdict.status === "not-reproduced"
|
|
29
|
+
? 2
|
|
30
|
+
: 3,
|
|
31
|
+
lines: renderReplayReport(report),
|
|
26
32
|
};
|
|
27
33
|
}
|
|
28
34
|
async function replayAbstract(trace, options) {
|
|
29
35
|
const states = await replayStates(options, trace);
|
|
30
36
|
return replayTrace(trace, new StateSequenceDriver(states), {
|
|
31
|
-
compareState: options.observedPath ? compareObservedState : undefined
|
|
37
|
+
compareState: options.observedPath ? compareObservedState : undefined,
|
|
32
38
|
});
|
|
33
39
|
}
|
|
34
40
|
async function replayAction(trace, options) {
|
|
35
41
|
if (!options.harnessPath) {
|
|
36
|
-
return {
|
|
42
|
+
return {
|
|
43
|
+
status: "inconclusive",
|
|
44
|
+
stepsRun: 0,
|
|
45
|
+
reason: "Action replay requires --harness",
|
|
46
|
+
};
|
|
37
47
|
}
|
|
38
48
|
try {
|
|
39
49
|
const harnessModule = await loadReplayHarness(options.harnessPath);
|
|
40
50
|
await ensureDocument();
|
|
41
51
|
const replayHarness = await harnessModule.renderModalityReplay(trace);
|
|
42
52
|
const sources = [
|
|
43
|
-
harnessModule.observeModalityReplay
|
|
44
|
-
|
|
53
|
+
harnessModule.observeModalityReplay
|
|
54
|
+
? harnessModule.observeModalityReplay(replayHarness)
|
|
55
|
+
: domProjectionSource(),
|
|
56
|
+
...(replayHarness.sources ?? []),
|
|
45
57
|
];
|
|
46
58
|
const replayOptions = {
|
|
47
59
|
inputValues: replayHarness.inputValues,
|
|
48
60
|
assertViolation: replayHarness.assertViolation,
|
|
49
61
|
beforeStep: replayHarness.beforeStep,
|
|
50
|
-
afterStep: replayHarness.afterStep
|
|
62
|
+
afterStep: replayHarness.afterStep,
|
|
51
63
|
};
|
|
52
64
|
const actor = createDomReplayActor({
|
|
53
65
|
document: replayHarness.document,
|
|
@@ -55,13 +67,23 @@ async function replayAction(trace, options) {
|
|
|
55
67
|
resolve: replayHarness.resolve,
|
|
56
68
|
focusRevalidate: replayHarness.focusRevalidate,
|
|
57
69
|
timer: replayHarness.timer,
|
|
58
|
-
stabilize: replayHarness.stabilize
|
|
70
|
+
stabilize: replayHarness.stabilize,
|
|
59
71
|
});
|
|
60
|
-
const observedVars = replayHarness.observedVars ??
|
|
72
|
+
const observedVars = replayHarness.observedVars ??
|
|
73
|
+
[
|
|
74
|
+
...new Set(trace.steps.flatMap((step) => [
|
|
75
|
+
...Object.keys(step.pre),
|
|
76
|
+
...Object.keys(step.post),
|
|
77
|
+
])),
|
|
78
|
+
].sort();
|
|
61
79
|
return replayTrace(trace, new ObservableActionReplayDriver(actor, observedVars, sources, replayOptions));
|
|
62
80
|
}
|
|
63
81
|
catch (error) {
|
|
64
|
-
return {
|
|
82
|
+
return {
|
|
83
|
+
status: "inconclusive",
|
|
84
|
+
stepsRun: 0,
|
|
85
|
+
reason: error instanceof Error ? error.message : String(error),
|
|
86
|
+
};
|
|
65
87
|
}
|
|
66
88
|
}
|
|
67
89
|
async function loadReplayHarness(harnessPath) {
|
|
@@ -83,7 +105,7 @@ async function ensureDocument() {
|
|
|
83
105
|
HTMLInputElement: dom.window.HTMLInputElement,
|
|
84
106
|
HTMLTextAreaElement: dom.window.HTMLTextAreaElement,
|
|
85
107
|
HTMLSelectElement: dom.window.HTMLSelectElement,
|
|
86
|
-
Event: dom.window.Event
|
|
108
|
+
Event: dom.window.Event,
|
|
87
109
|
});
|
|
88
110
|
}
|
|
89
111
|
function domProjectionSource() {
|
|
@@ -121,7 +143,11 @@ function compareObservedState(expected, observed) {
|
|
|
121
143
|
return undefined;
|
|
122
144
|
}
|
|
123
145
|
export function renderReplayReport(report) {
|
|
124
|
-
const lines = [
|
|
146
|
+
const lines = [
|
|
147
|
+
`replay: ${report.verdict.status}`,
|
|
148
|
+
`mode=${report.mode ?? "abstract"}`,
|
|
149
|
+
`stepsRun=${report.verdict.stepsRun}`,
|
|
150
|
+
];
|
|
125
151
|
if (report.harnessPath)
|
|
126
152
|
lines.push(`harness=${report.harnessPath}`);
|
|
127
153
|
if (report.verdict.divergenceStep !== undefined)
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"command.js","sourceRoot":"","sources":["../../../../src/cli/features/replay/command.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC9D,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EACL,oBAAoB,EACpB,4BAA4B,EAC5B,iBAAiB,EACjB,WAAW,EACX,mBAAmB,EACnB,eAAe,GAGhB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,aAAa,EACb,kBAAkB,GAKnB,MAAM,kBAAkB,CAAC;AAkB1B,MAAM,CAAC,KAAK,UAAU,gBAAgB,CACpC,OAA6B;IAE7B,MAAM,KAAK,GAAG,kBAAkB,CAAC,MAAM,QAAQ,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;IAC5E,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;IAC3E,MAAM,OAAO,GACX,IAAI,KAAK,QAAQ;QACf,CAAC,CAAC,MAAM,YAAY,CAAC,KAAK,EAAE,OAAO,CAAC;QACpC,CAAC,CAAC,MAAM,cAAc,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC3C,MAAM,MAAM,GAAiB;QAC3B,aAAa,EAAE,CAAC;QAChB,IAAI,EAAE,eAAe;QACrB,WAAW,EAAE,CAAC,OAAO,CAAC,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE;QACtD,IAAI;QACJ,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpE,OAAO;KACR,CAAC;IACF,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;QACvB,MAAM,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC9D,MAAM,SAAS,CAAC,OAAO,CAAC,UAAU,EAAE,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO;QACL,MAAM;QACN,QAAQ,EACN,OAAO,CAAC,MAAM,KAAK,YAAY;YAC7B,CAAC,CAAC,CAAC;YACH,CAAC,CAAC,OAAO,CAAC,MAAM,KAAK,gBAAgB;gBACnC,CAAC,CAAC,CAAC;gBACH,CAAC,CAAC,CAAC;QACT,KAAK,EAAE,kBAAkB,CAAC,MAAM,CAAC;KAClC,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,cAAc,CAAC,KAAY,EAAE,OAA6B;IACvE,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAClD,OAAO,WAAW,CAAC,KAAK,EAAE,IAAI,mBAAmB,CAAC,MAAM,CAAC,EAAE;QACzD,YAAY,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,SAAS;KACtE,CAAC,CAAC;AACL,CAAC;AAED,KAAK,UAAU,YAAY,CAAC,KAAY,EAAE,OAA6B;IACrE,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC;QACzB,OAAO;YACL,MAAM,EAAE,cAAuB;YAC/B,QAAQ,EAAE,CAAC;YACX,MAAM,EAAE,kCAAkC;SAC3C,CAAC;IACJ,CAAC;IACD,IAAI,CAAC;QACH,MAAM,aAAa,GAAG,MAAM,iBAAiB,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QACnE,MAAM,cAAc,EAAE,CAAC;QACvB,MAAM,aAAa,GAAG,MAAM,aAAa,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC;QACtE,MAAM,OAAO,GAAG;YACd,aAAa,CAAC,qBAAqB;gBACjC,CAAC,CAAC,aAAa,CAAC,qBAAqB,CAAC,aAAa,CAAC;gBACpD,CAAC,CAAC,mBAAmB,EAAE;YACzB,GAAG,CAAC,aAAa,CAAC,OAAO,IAAI,EAAE,CAAC;SACjC,CAAC;QACF,MAAM,aAAa,GAAG;YACpB,WAAW,EAAE,aAAa,CAAC,WAAW;YACtC,eAAe,EAAE,aAAa,CAAC,eAAe;YAC9C,UAAU,EAAE,aAAa,CAAC,UAAU;YACpC,SAAS,EAAE,aAAa,CAAC,SAAS;SACnC,CAAC;QACF,MAAM,KAAK,GAAG,oBAAoB,CAAC;YACjC,QAAQ,EAAE,aAAa,CAAC,QAAQ;YAChC,QAAQ,EAAE,aAAa,CAAC,QAAQ;YAChC,OAAO,EAAE,aAAa,CAAC,OAAO;YAC9B,eAAe,EAAE,aAAa,CAAC,eAAe;YAC9C,KAAK,EAAE,aAAa,CAAC,KAAK;YAC1B,SAAS,EAAE,aAAa,CAAC,SAAS;SACnC,CAAC,CAAC;QACH,MAAM,YAAY,GAChB,aAAa,CAAC,YAAY;YAC1B;gBACE,GAAG,IAAI,GAAG,CACR,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;oBAC5B,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;oBACxB,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;iBAC1B,CAAC,CACH;aACF,CAAC,IAAI,EAAE,CAAC;QACX,OAAO,WAAW,CAChB,KAAK,EACL,IAAI,4BAA4B,CAC9B,KAAK,EACL,YAAY,EACZ,OAAO,EACP,aAAa,CACd,CACF,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO;YACL,MAAM,EAAE,cAAuB;YAC/B,QAAQ,EAAE,CAAC;YACX,MAAM,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;SAC/D,CAAC;IACJ,CAAC;AACH,CAAC;AASD,KAAK,UAAU,iBAAiB,CAC9B,WAAmB;IAEnB,MAAM,MAAM,GAAG,CAAC,MAAM,MAAM,CAC1B,GAAG,aAAa,CAAC,WAAW,CAAC,CAAC,IAAI,MAAM,IAAI,CAAC,GAAG,EAAE,EAAE,CACrD,CAAiC,CAAC;IACnC,IAAI,OAAO,MAAM,CAAC,oBAAoB,KAAK,UAAU,EAAE,CAAC;QACtD,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,MAA6B,CAAC;AACvC,CAAC;AAED,KAAK,UAAU,cAAc;IAC3B,IAAI,UAAU,CAAC,QAAQ;QAAE,OAAO;IAChC,MAAM,EAAE,KAAK,EAAE,GAAG,MAAM,MAAM,CAAC,OAAO,CAAC,CAAC;IACxC,MAAM,GAAG,GAAG,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;IACnE,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE;QACxB,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,QAAQ;QAC7B,WAAW,EAAE,GAAG,CAAC,MAAM,CAAC,WAAW;QACnC,gBAAgB,EAAE,GAAG,CAAC,MAAM,CAAC,gBAAgB;QAC7C,mBAAmB,EAAE,GAAG,CAAC,MAAM,CAAC,mBAAmB;QACnD,iBAAiB,EAAE,GAAG,CAAC,MAAM,CAAC,iBAAiB;QAC/C,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,KAAK;KACxB,CAAC,CAAC;AACL,CAAC;AAED,SAAS,mBAAmB;IAC1B,OAAO,iBAAiB,CAAC,gBAAgB,EAAE,CAAC,KAAK,EAAE,EAAE;QACnD,MAAM,OAAO,GAAG,UAAU,CAAC,QAAQ,EAAE,aAAa,CAChD,uBAAuB,SAAS,CAAC,KAAK,CAAC,IAAI,CAC5C,CAAC;QACF,IAAI,CAAC,OAAO;YAAE,OAAO,cAAc,CAAC;QACpC,OAAO,EAAE,KAAK,EAAE,kBAAkB,CAAC,OAAO,CAAC,WAAW,IAAI,EAAE,CAAC,EAAE,CAAC;IAClE,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAY;IACtC,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAU,CAAC;IACnC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,SAAS,SAAS,CAAC,KAAa;IAC9B,OAAO,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;AACzC,CAAC;AAED,KAAK,UAAU,YAAY,CACzB,OAA6B,EAC7B,KAAY;IAEZ,IAAI,OAAO,CAAC,YAAY;QACtB,OAAO,IAAI,CAAC,KAAK,CACf,MAAM,QAAQ,CAAC,OAAO,CAAC,YAAY,EAAE,MAAM,CAAC,CAC7B,CAAC;IACpB,IAAI,OAAO,CAAC,UAAU;QACpB,OAAO,IAAI,CAAC,KAAK,CACf,MAAM,QAAQ,CAAC,OAAO,CAAC,UAAU,EAAE,MAAM,CAAC,CAC3B,CAAC;IACpB,OAAO,eAAe,CAAC,KAAK,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,oBAAoB,CAC3B,QAAoB,EACpB,QAAoB;IAEpB,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC/C,IAAI,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YACpE,OAAO,GAAG,GAAG,cAAc,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QACnG,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,MAAoB;IACrD,MAAM,KAAK,GAAG;QACZ,WAAW,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE;QAClC,QAAQ,MAAM,CAAC,IAAI,IAAI,UAAU,EAAE;QACnC,YAAY,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE;KACtC,CAAC;IACF,IAAI,MAAM,CAAC,WAAW;QAAE,KAAK,CAAC,IAAI,CAAC,WAAW,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;IACpE,IAAI,MAAM,CAAC,OAAO,CAAC,cAAc,KAAK,SAAS;QAC7C,KAAK,CAAC,IAAI,CAAC,kBAAkB,MAAM,CAAC,OAAO,CAAC,cAAc,EAAE,CAAC,CAAC;IAChE,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,UAAU,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IACzE,OAAO,KAAK,CAAC;AACf,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/cli/features/replay/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAChD,YAAY,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/cli/features/replay/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC"}
|
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
import type { AbstractDomain, Locator, ModelState, Trace, TraceStep, Value } from "modality-ts/
|
|
1
|
+
import type { AbstractDomain, Locator, ModelState, Trace, TraceStep, Value } from "modality-ts/core";
|
|
2
2
|
export type ReplayVerdict = {
|
|
3
3
|
status: "reproduced";
|
|
4
4
|
stepsRun: number;
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/cli/harness/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,cAAc,EACd,OAAO,EACP,UAAU,EACV,KAAK,EACL,SAAS,EACT,KAAK,EACN,MAAM,kBAAkB,CAAC;AAE1B,MAAM,MAAM,aAAa,GACrB;IAAE,MAAM,EAAE,YAAY,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,GAC1C;IACE,MAAM,EAAE,gBAAgB,CAAC;IACzB,QAAQ,EAAE,MAAM,CAAC;IACjB,cAAc,EAAE,MAAM,CAAC;IACvB,MAAM,EAAE,MAAM,CAAC;CAChB,GACD;IAAE,MAAM,EAAE,cAAc,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAEjE,MAAM,WAAW,YAAY;IAC3B,YAAY,IAAI,UAAU,CAAC;IAC3B,KAAK,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IAC7C,eAAe,CAAC,IAAI,OAAO,CAAC,OAAO,CAAC,GAAG,OAAO,CAAC;CAChD;AAED,MAAM,WAAW,aAAa;IAC5B,YAAY,CAAC,EAAE,CACb,QAAQ,EAAE,UAAU,EACpB,MAAM,EAAE,UAAU,KACf,MAAM,GAAG,SAAS,CAAC;CACzB;AAED,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,SAAS,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,WAAW;IAC1B,KAAK,CAAC,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IAC/C,MAAM,CAAC,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IAChD,KAAK,CAAC,CACJ,OAAO,EAAE,OAAO,EAChB,KAAK,EAAE,MAAM,EACb,UAAU,EAAE,MAAM,GACjB,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IACxB,QAAQ,CAAC,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,EAAE,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IACpE,OAAO,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IAC5D,eAAe,CAAC,CAAC,GAAG,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IACrD,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IAC3C,SAAS,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;CACpC;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB,SAAS,CAAC,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IACvC,QAAQ,CAAC,EAAE,WAAW,CAAC,UAAU,CAAC,CAAC;IACnC,OAAO,CAAC,EAAE,WAAW,CAAC,SAAS,CAAC,CAAC;IACjC,eAAe,CAAC,EAAE,WAAW,CAAC,iBAAiB,CAAC,CAAC;IACjD,KAAK,CAAC,EAAE,WAAW,CAAC,OAAO,CAAC,CAAC;CAC9B;AAED,MAAM,WAAW,qBAAsB,SAAQ,qBAAqB;IAClE,OAAO,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACvC,YAAY,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,WAAW,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACrC,WAAW,CAAC,EAAE,kCAAkC,CAAC;IACjD,UAAU,CAAC,CAAC,OAAO,EAAE,qBAAqB,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IAClE,SAAS,CAAC,CAAC,OAAO,EAAE,qBAAqB,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IACjE,eAAe,CAAC,EAAE,MAAM,OAAO,CAAC,OAAO,CAAC,GAAG,OAAO,CAAC;CACpD;AAED,MAAM,WAAW,yBAAyB;IACxC,WAAW,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACrC,eAAe,CAAC,EAAE,MAAM,OAAO,CAAC,OAAO,CAAC,GAAG,OAAO,CAAC;IACnD,UAAU,CAAC,CAAC,OAAO,EAAE,qBAAqB,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IAClE,SAAS,CAAC,CAAC,OAAO,EAAE,qBAAqB,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;CAClE;AAED,MAAM,WAAW,iBAAiB;IAChC,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,OAAO,CAAC,KAAK,EAAE,MAAM,GAAG;QAAE,KAAK,EAAE,KAAK,CAAA;KAAE,GAAG,cAAc,CAAC;CAC3D;AAED,MAAM,WAAW,kBAAkB;IACjC,KAAK,EAAE,UAAU,CAAC;IAClB,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;CACjC;AAED,MAAM,WAAW,cAAc;IAC7B,cAAc,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACvC,cAAc,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,KAAK,EAAE,MAAM,KAAK,KAAK,CAAC,CAAC;CACrD;AAED,MAAM,WAAW,kCAAkC;IACjD,eAAe,CACb,EAAE,EAAE,MAAM,EACV,OAAO,EAAE,MAAM,EACf,OAAO,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,GAClC,IAAI,CAAC;IACR,gBAAgB,CACd,EAAE,EAAE,MAAM,EACV,OAAO,EAAE,MAAM,EACf,OAAO,EAAE,KAAK,EACd,OAAO,CAAC,EAAE,CAAC,OAAO,EAAE,KAAK,KAAK,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,GACjD,IAAI,CAAC;IACR,OAAO,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACpD,eAAe,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IAC7D,OAAO,IAAI,SAAS,MAAM,EAAE,CAAC;CAC9B;AAED,qBAAa,qBAAsB,SAAQ,KAAK;gBAClC,OAAO,EAAE,MAAM;CAI5B;AAED,wBAAsB,WAAW,CAC/B,KAAK,EAAE,KAAK,EACZ,MAAM,EAAE,YAAY,EACpB,OAAO,GAAE,aAAkB,GAC1B,OAAO,CAAC,aAAa,CAAC,CAqExB;AAED,qBAAa,mBAAoB,YAAW,YAAY;IAIpD,OAAO,CAAC,QAAQ,CAAC,MAAM;IACvB,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC;IAJ9B,OAAO,CAAC,KAAK,CAAK;gBAGC,MAAM,EAAE,SAAS,UAAU,EAAE,EAC7B,UAAU,CAAC,EAAE,MAAM,YAAA;IAMtC,YAAY,IAAI,UAAU;IAI1B,KAAK,CAAC,KAAK,EAAE,SAAS,GAAG,IAAI;CAM9B;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,KAAK,GAAG,UAAU,EAAE,CAI1D;AAED,qBAAa,kBAAmB,YAAW,YAAY;IAInD,OAAO,CAAC,QAAQ,CAAC,KAAK;IACtB,OAAO,CAAC,QAAQ,CAAC,OAAO;IACxB,OAAO,CAAC,QAAQ,CAAC,OAAO;IAL1B,OAAO,CAAC,SAAS,CAAK;gBAGH,KAAK,EAAE,WAAW,EAClB,OAAO,EAAE,MAAM,UAAU,EACzB,OAAO,GAAE,yBAA8B;IAG1D,YAAY,IAAI,UAAU;IAIpB,KAAK,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC;IAQrC,eAAe,IAAI,OAAO,CAAC,OAAO,CAAC;CAG1C;AAED,qBAAa,4BAA6B,YAAW,YAAY;IAI7D,OAAO,CAAC,QAAQ,CAAC,KAAK;IACtB,OAAO,CAAC,QAAQ,CAAC,MAAM;IACvB,OAAO,CAAC,QAAQ,CAAC,OAAO;IACxB,OAAO,CAAC,QAAQ,CAAC,OAAO;IAN1B,OAAO,CAAC,SAAS,CAAK;gBAGH,KAAK,EAAE,WAAW,EAClB,MAAM,EAAE,SAAS,MAAM,EAAE,EACzB,OAAO,EAAE,SAAS,iBAAiB,EAAE,EACrC,OAAO,GAAE,yBAA8B;IAG1D,YAAY,IAAI,UAAU;IAUpB,KAAK,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC;IAQrC,eAAe,IAAI,OAAO,CAAC,OAAO,CAAC;CAG1C;AAED,qBAAa,6BAA8B,YAAW,YAAY;IAM9D,OAAO,CAAC,QAAQ,CAAC,KAAK;IACtB,OAAO,CAAC,QAAQ,CAAC,OAAO;IAN1B,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAwB;IAC/C,OAAO,CAAC,KAAK,CAAK;gBAGhB,KAAK,EAAE,KAAK,EACK,KAAK,EAAE,WAAW,EAClB,OAAO,GAAE,yBAA8B;IAK1D,YAAY,IAAI,UAAU;IAIpB,KAAK,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC;IAQrC,eAAe,IAAI,OAAO,CAAC,OAAO,CAAC;CAG1C;AAED,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,SAAS,MAAM,EAAE,EACzB,OAAO,EAAE,SAAS,iBAAiB,EAAE,GACpC,kBAAkB,CAYpB;AAED,wBAAgB,iBAAiB,CAC/B,EAAE,EAAE,MAAM,EACV,OAAO,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK;IAAE,KAAK,EAAE,KAAK,CAAA;CAAE,GAAG,cAAc,GAC5D,iBAAiB,CAEnB;AAED,wBAAgB,oBAAoB,CAClC,OAAO,GAAE,qBAA0B,GAClC,WAAW,CA0Cb;AAED,wBAAgB,wCAAwC,IAAI,kCAAkC,CA6C7F;AA8HD,wBAAsB,kBAAkB,CACtC,IAAI,EAAE,SAAS,EACf,KAAK,EAAE,WAAW,EAClB,OAAO,GAAE,yBAAyB,GAAG;IAAE,SAAS,CAAC,EAAE,MAAM,CAAA;CAAO,GAC/D,OAAO,CAAC,IAAI,CAAC,CA4Cf;AAWD,wBAAgB,YAAY,CAC1B,MAAM,EAAE,cAAc,EACtB,KAAK,CAAC,EAAE,KAAK,EACb,OAAO,GAAE,cAAmB,GAC3B,KAAK,CAwDP;AAED,wBAAgB,YAAY,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CAoBvD"}
|