{"schema_version":2,"kind":"typed-tlc-capture","run_id":"ref-registry-uniqueness-defective","input_manifest_sha256":"f0df4091a373122a9be4ccfaa3bc6895bce2df003eea077feea02800dfa7a4c3","root":8,"nodes":[{"kind":"set","items":[]},{"kind":"integer","value":"1"},{"kind":"integer","value":"0"},{"kind":"function","entries":[]},{"kind":"integer","value":"3"},{"kind":"record","fields":{"guideCaseT11":2,"qT11":3,"registryCaseSA":4}},{"kind":"tuple","items":[1,5]},{"kind":"set","items":[6]},{"kind":"record","fields":{"action":0,"state":7}}],"model_values":[]}