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