{"schema_version":2,"kind":"typed-tlc-capture","run_id":"ref-traversal-identity-defective","input_manifest_sha256":"f0df4091a373122a9be4ccfaa3bc6895bce2df003eea077feea02800dfa7a4c3","root":6,"nodes":[{"kind":"set","items":[]},{"kind":"integer","value":"1"},{"kind":"integer","value":"6"},{"kind":"record","fields":{"block6":2}},{"kind":"tuple","items":[1,3]},{"kind":"set","items":[4]},{"kind":"record","fields":{"action":0,"state":5}}],"model_values":[]}