{"verify_termination":"ACCEPT","file":"state/execution-cases/records/termination-proof-vlm-001_25a991ae424a5de974135e0f7e6f7034384418841bb22164bbb9aa1c47669ec1-1788632093822.json","sound":true,"record_verdict":"TERMINATED","weakest_evidence_class":"derived"}