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