{"approved_metadata":[],"approved_notes":[],"approved_relationships":[],"created_at":"2026-06-01T09:28:41.952808","id":11690,"name":"btor2tools_project","notes":null,"product_count":1,"title":"Btor2Tools Project","updated_at":"2026-06-01T09:28:41.952809","uuid":"e556c41b-99f0-5cf3-aa0d-aaab061b51ec"}