{"type":"video","version":"1.0","html":"<iframe width=\"560\" height=\"315\" sandbox=\"allow-same-origin allow-scripts allow-popups allow-forms\" title=\"Checking a Custom Safety Property\" src=\"https://westergaard.video/videos/embed/kiqKNxRyJaJ2WTyoXYuDjW\" style=\"border: none\" allow=\"fullscreen\"></iframe>","width":560,"height":315,"title":"Checking a Custom Safety Property","author_name":"Work","author_url":"https://westergaard.video/video-channels/work","provider_name":"PeerTube","provider_url":"https://westergaard.video","thumbnail_url":"https://westergaard.video/lazy-static/thumbnails/a6256095-58c5-4c69-82f8-606facba9e2d.jpg","thumbnail_width":1280,"thumbnail_height":720}