{"schema_version":1,"kind":"typed-tlc-capture","run_id":"ordinary-insufficient","input_manifest_sha256":"f25d31eca9f7d00b9561f2e29e15e615f25726e4a7790a562cfd7b700f5f9e97","counterexample":{"kind":"record","fields":{"action":{"kind":"set","items":[]},"state":{"kind":"set","items":[]}}},"model_values":[]}