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