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