{"type":"video","version":"1.0","html":"<iframe width=\"560\" height=\"315\" sandbox=\"allow-same-origin allow-scripts allow-popups allow-forms\" title=\"SMT и рост сложности: сколько логики выдержит решатель. Никита Борсов, Райффайзен банк\" src=\"https://peertube.lightnode.ru/videos/embed/cvfvDkbXW4Qh41NSj3pXr2\" frameborder=\"0\" allowfullscreen></iframe>","width":560,"height":315,"title":"SMT и рост сложности: сколько логики выдержит решатель. Никита Борсов, Райффайзен банк","author_name":"Еgoreast channel","author_url":"https://peertube.lightnode.ru/video-channels/egoreast_channel","provider_name":"PeerTube","provider_url":"https://peertube.lightnode.ru","thumbnail_url":"https://peertube.lightnode.ru/lazy-static/previews/3579bfb9-dbc0-4931-8f66-7de03597a2ca.jpg","thumbnail_width":850,"thumbnail_height":480}