{"pages":{"search":{"query":"Benjamin Pierce","originalQuery":"Benjamin Pierce","serpid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","parentReqid":"","serpItems":[{"id":"16613097998880140908-0-0","type":"videoSnippet","props":{"videoId":"16613097998880140908"},"curPage":0},{"id":"15919621602974174838-0-1","type":"videoSnippet","props":{"videoId":"15919621602974174838"},"curPage":0},{"id":"8574498500230653323-0-2","type":"videoSnippet","props":{"videoId":"8574498500230653323"},"curPage":0},{"id":"12211989992733897522-0-3","type":"videoSnippet","props":{"videoId":"12211989992733897522"},"curPage":0},{"id":"R-I-113683-5-0-4","type":"direct","props":{"advRsyaActivateParams":{"pcodeParams":{"blockId":"","renderTo":"","pageNumber":4,"grab":"dEJlbmphbWluIFBpZXJjZQo=","statId":4,"darkTheme":false,"lazyLoad":false,"extParams":{"reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","ui":"desktop","yuid":"5452326341769624458"}}},"isAdult":false,"position":4,"placement":"empty"},"curPage":0},{"id":"15500916996737642772-0-5","type":"videoSnippet","props":{"videoId":"15500916996737642772"},"curPage":0},{"id":"15715282039251464824-0-6","type":"videoSnippet","props":{"videoId":"15715282039251464824"},"curPage":0},{"id":"4158206090250655593-0-7","type":"videoSnippet","props":{"videoId":"4158206090250655593"},"curPage":0},{"id":"8495214272662067320-0-8","type":"videoSnippet","props":{"videoId":"8495214272662067320"},"curPage":0},{"id":"1512080022141136603-0-9","type":"videoSnippet","props":{"videoId":"1512080022141136603"},"curPage":0},{"id":"8687697716445247829-0-10","type":"videoSnippet","props":{"videoId":"8687697716445247829"},"curPage":0},{"id":"R-I-113683-5-0-11","type":"direct","props":{"advRsyaActivateParams":{"pcodeParams":{"blockId":"","renderTo":"","pageNumber":11,"grab":"dEJlbmphbWluIFBpZXJjZQo=","statId":11,"darkTheme":false,"lazyLoad":false,"extParams":{"reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","ui":"desktop","yuid":"5452326341769624458"}}},"isAdult":false,"position":11,"placement":"empty"},"curPage":0},{"id":"11415215644102950426-0-12","type":"videoSnippet","props":{"videoId":"11415215644102950426"},"curPage":0},{"id":"1699011008908707300-0-13","type":"videoSnippet","props":{"videoId":"1699011008908707300"},"curPage":0},{"id":"8634023156087883138-0-14","type":"videoSnippet","props":{"videoId":"8634023156087883138"},"curPage":0},{"id":"17090437004782118485-0-15","type":"videoSnippet","props":{"videoId":"17090437004782118485"},"curPage":0},{"id":"12647906549582178787-0-16","type":"videoSnippet","props":{"videoId":"12647906549582178787"},"curPage":0},{"id":"4292901834148858700-0-17","type":"videoSnippet","props":{"videoId":"4292901834148858700"},"curPage":0},{"id":"15036838810341231680-0-18","type":"videoSnippet","props":{"videoId":"15036838810341231680"},"curPage":0},{"id":"4387314520172606437-0-19","type":"videoSnippet","props":{"videoId":"4387314520172606437"},"curPage":0}],"filters":{},"serpFooter":{"linksGroups":[{"type":"geo","links":[{"label":"Columbus","title":"Columbus","url":"//yandex.com.tr/tune/geo/","logNode":{"name":"region"},"target":"_self","a11yLabel":"Bölgeniz Columbus","needRetpath":true}]},{"type":"help","links":[{"label":"Bize ulaşın","url":"https://yandex.com.tr/support/video/troubleshooting.html","logNode":{"name":"feedback"},"needRetpath":true},{"label":"Yardım","url":"https://yandex.com.tr/support/video/","logNode":{"name":"help"},"needRetpath":true}]},{"type":"settings","links":[{"label":"Ayarlar","url":"https://yandex.com.tr/tune/search/","target":"_self","logNode":{"name":"settings"},"needRetpath":true}]},{"type":"company","links":[{"label":"Şirket hakkında","url":"//yandex.com.tr/company/","logNode":{"name":"about"},"target":"_blank"},{"label":"Kullanım lisansı","url":"//yandex.com.tr/legal/termsofuse/","logNode":{"name":"license"},"target":"_blank"},{"label":"Gizlilik Politikası","url":"//yandex.com.tr/legal/confidential/","logNode":{"name":"confidential"},"target":"_blank"}],"a11yHidden":true}],"hasExtralinks":true},"currentPage":0,"prevPageToLoad":-1,"nextPageToLoad":1,"isTranslationsFilterEnabled":false,"isTranslationsDistributionEnabled":false,"isTranslationsDistributionOnboardingEnabled":false,"prevention":{},"hasNextPage":true,"rightSerpItems":[{"type":"direct","id":"search-list-right","props":{"advRsyaActivateParams":{"pcodeParams":{"blockId":"R-I-8843654-1","renderTo":"search-list-right-0-R-I-8843654-1","pageNumber":0,"grab":"dEJlbmphbWluIFBpZXJjZQo=","darkTheme":false,"lazyLoad":false,"extParams":{"reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","ui":"desktop","yuid":"5452326341769624458"}}},"isAdult":false,"position":0,"placement":"search-list-right"},"curPage":0}],"isAdultQuery":false,"errorList":[],"layout":"list","retpath":"https%3A%2F%2Ftwitter.yandex.com.tr%2Fvideo%2Fsearch%3Ftext%3DBenjamin%2BPierce"},"main":{"_isInitial":true,"snippets":[],"serpFooter":{"linksGroups":[]},"isLoggedIn":false,"tags":[]}},"internal":{"nonce":"4528125070431067957134","expFlags":{"video_settings_toolbar_redesign":1,"velocity_delay_drawer":1,"video_feedback_in_d2d":1,"video_viewer_heartbeat_disabled_in_no_js_api":1,"video_search_toggle_with_text":1,"velocity_disable_suspense":1,"video_viewer_desktop_smart_layout":1,"dark_theme_desktop":"cookie","distr_splashscreen_on":1,"video_viewer_check_sandbox_origin":1,"video_font_yandex_sans":1,"video_adv_new_show_rules":1,"video_resource_loader":1,"video_adv_config_desktop":{"search-list":{"adult":{"default":"R-I-474674-135","mail":"R-A-13426421-23"},"regular":{"default":"R-I-48058-751","mail":"R-A-13411721-23"}},"search-grid-inplace":{"adult":{"default":"R-I-474674-126","mail":"R-A-13426421-16"},"regular":{"default":"R-I-48058-742","mail":"R-A-13411721-16"}}},"new_template_version":4,"video_search_page_no_islands":1,"video_vh_player_js":0,"video_masthead_ratio":"180,4","video_searchdata_scheme":1,"video_viewer_related_fail_error_screen":1,"velocity_delay_metrika":1,"video_viewer_no_islands":1,"video_viewer_channel_link_mode":2,"video_partner_label":1,"video_resource_loader_load_timeout":6000,"int_tr":1,"mmui_extended_escape_scheme":"searchdata.clips.0.authorname","tabs_order_version":"search,images,video,newstr,maps,translate,tr_ecom","spok":"id","video_suggest_use_serp":1,"video_search_grid_direct_repeat":6,"video_viewer_critical_error_codes":"101,102,103,100,151,152,153,154,155,156,150","video_direct_config_desktop_search":"search-grid-row:R-I-48058-718:R-I-474674-109,search-grid-head:R-I-2120168-7","init_meta":{"enable-yabs-distr":1,"ask-user-purchase-history":1,"use-src-videoquickp":1,"enable-begemot":1,"enable_masthead":1,"use-src-videop":1,"use-src-videoquickp_misspell":1,"enable_blackbox_multisession":1,"begemot-enable-cancelled-misspell-rtmr":1,"enable_video_iron_fetcher":1,"use-related-only":1,"ask-yandex-io-devices":1,"use-images-device-setup":1,"use-src-imagesp":1,"images-apphost-collections-front":1,"enable_aab_apphost":1,"graph-is-video-search":1,"bg-bert-video":1,"use-src-imagesp_misspell":1,"use-src-imagesultrap":1,"use-video-apphost-pre-templates":1,"use-src-videop_misspell":1,"use-video-apphost-post-templates":1,"use-src-imagesquickp":1,"enable_video_carousels":"1","restrict-max-docs":"1000","use-images-region-setup":1,"use-post-auto2":1,"use-images-settings-setup":1,"use-src-ugc_favorites":1,"video_vitrina_disable":"0","use-images-user-setup":1,"use-video-pre-search-data":1,"begemot-no-suggest-history":1},"video_depot_viewer_masthead_ssr_only":1,"video_blender":1,"video_search_grid_enable":0,"video_viewer_desktop_fix_d2d_scroll":1,"video_depot_viewer_legacy_counters":1,"video_search_grid_direct_start":3,"video_adv_new_show_rules_docs_count":1,"beauty_header_futuris_tab":9,"video_related_suggest_enable":1,"video_redirect_plug":2,"video_adv_grid_inplace":1,"distr_popup_on":1,"dark_theme_desktop_default_pref":"system","video_search_toggle_enable":1,"video_depot_viewer_related_adv_margin":400,"video_viewer_doc2doc_instant_load":1,"velocity_split_hydration":4,"video_duration_counter_new_format":1,"video_force_grid_on_premordie":1,"int_online_summarization_video_snippet":1,"video_morda_header_nav":1,"video_nohost_full_filter":1,"distr_pcode_off":1,"video_baobab_blockstat":1,"video_thumb_poster_full":1,"video_scrollpages":2,"video_serp_desktop_block_design":1,"video_nohost_youtube_filter":0,"video_viewer_host_link_mode":1},"slots":["1472323,0,65;1466868,0,13;1414493,0,96;1433081,0,99;66181,0,64;1476204,0,43;1472056,0,4;1460923,0,4;1460716,0,74;1459297,0,71;1465969,0,38;1459323,0,96;1469886,0,44;43961,0,37;187288,0,89;1464523,0,96;1463533,0,60;1282205,0,52;1466296,0,80;1470794,0,68;1146115,0,0;1349071,0,19;1215677,0,4;1470429,0,74;1470513,0,27;1467621,0,42;88927,0,18;1404022,0,71;1467158,0,14;45962,0,85;1475803,0,10;1002327,0,76;1396445,0,80;1352005,0,50;56262,0,63;151171,0,37;1281084,0,8;287509,0,43;1447467,0,48;1037340,0,34;1473595,0,16;1466397,0,32;912284,0,16"],"isYandexNet":false,"platform":"desktop","isEnLogo":true,"retpath":"https%3A%2F%2Ftwitter.yandex.com.tr%2Fvideo%2Fsearch%3Ftext%3DBenjamin%2BPierce","mordaUrl":"//yandex.com.tr/","videoSearchUrl":"https://twitter.yandex.com.tr/video/search?text=Benjamin+Pierce","settingsUrl":"https://yandex.com.tr/tune/search/","helpUrl":"https://yandex.com.tr/support/video/","legalUrl":"//legal.yandex.com.tr/termsofuse/","feedbackUrl":"https://yandex.com.tr/support/video/troubleshooting.html","basename":"/video","currentPageName":"search","isYandexApp":false,"isYandexAppAndroid":false,"isYandexAppIos":false,"isAnyYaBro":false,"isAndroid":false,"isHamster":false,"serpid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","backUrl":"//ya.ru","url":"https://twitter.yandex.com.tr/video/search?text=Benjamin+Pierce","isIntegrationTest":false,"isEndToEndTest":false,"shouldDropLogs":false,"seo":{"title":"Benjamin Pierce: Yandex'te 2 bin video bulundu","description":"Результаты поиска по запросу \"Benjamin Pierce\" в Яндексе","keywords":"яндекс видео, поиск видео, смотреть онлайн, сериалы, фильмы, клипы","shareTitle":"Benjamin Pierce — Яндекс — поиск по видео"},"isEmbedded":false,"isPumpkin":false,"sessionCsrfToken":"y28eddb930d728e8952d49160f2a3e64c","reportFeedbackBaseProps":{"initEmail":"","metaFields":{"userAgent":"Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)","userTestids":"1472323,1466868,1414493,1433081,66181,1476204,1472056,1460923,1460716,1459297,1465969,1459323,1469886,43961,187288,1464523,1463533,1282205,1466296,1470794,1146115,1349071,1215677,1470429,1470513,1467621,88927,1404022,1467158,45962,1475803,1002327,1396445,1352005,56262,151171,1281084,287509,1447467,1037340,1473595,1466397,912284","queryText":"Benjamin Pierce","reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","userRegionName":"","userRegionId":"id() {\n return this._region.id;\n }","yandexuid":"5452326341769624458","uid":"0","isChildAccount":false}},"userTestids":"191768,238743,246500,253288,265553,270072,277807,274239,294077,278842,331010,338398,378416,359879,415420,644350,652605,645301,679708,689693,690449,696466,696473,722746,740796,776165,771230,781521,790415,801982,851450,886706,883477,900639,931367,937268,969063,935488,945314,989988,982463,991363,990185,1015567,1011895,1035320,1033956,1035241,1036046,1087297,1060131,1071879,1078818,1077703,1116602,1045814,1131637,1144233,1151726,1156933,1174275,1173000,1167408,1202006,1194718,1221235,1228280,1239596,1227266,1226860,1246754,1276447,1289213,1316370,1313283,1321224,1300570,1320679,1352408,1342688,1344637,1341968,1345362,1343279,1367583,1336673,1348424,1382036,1391511,1384451,1402882,1407422,1417605,1424780,1429092,1438908,1444206,1449283,1452713,1457995,1459277,1459585,1461130,1472666,1475824,1466451,1299604","regionId":20815,"isYaRu":false,"shouldUnmountSearchPageInViewer":false,"videoGlobalContext":{"platform":"desktop","isPumpkin":false,"language":"tr","user_time":{"epoch":"1769624491","tz":"America/Louisville","to_iso":"2026-01-28T13:21:31-0500","__is_plain":1},"isHermione":false,"shouldStubImages":true,"enableVideoPreviewInHermione":false,"reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","isEmbedded":false,"shouldShowMainPageButtonInViewer":false,"shouldDisableWebp":false,"removeLinkPrefix":"/video","shouldUseHighresPreview":true,"shouldCutSnippetTitle":true,"shouldShowPlusBadge":true,"reportFeedbackBaseProps":{"initEmail":"","metaFields":{"userAgent":"Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)","userTestids":"1472323,1466868,1414493,1433081,66181,1476204,1472056,1460923,1460716,1459297,1465969,1459323,1469886,43961,187288,1464523,1463533,1282205,1466296,1470794,1146115,1349071,1215677,1470429,1470513,1467621,88927,1404022,1467158,45962,1475803,1002327,1396445,1352005,56262,151171,1281084,287509,1447467,1037340,1473595,1466397,912284","queryText":"Benjamin Pierce","reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","userRegionName":"","userRegionId":"id() {\n return this._region.id;\n }","yandexuid":"5452326341769624458","uid":"0","isChildAccount":false}},"deviceDetect":{"OSFamily":"Unknown","isTV":0,"x64":0,"GoogleToolBarVersion":"","MultiTouch":0,"BrowserBase":"","YandexBarVersion":"","isTablet":0,"YandexBar":0,"hasWebOmni":0,"isTouch":0,"hasYandexCamera":0,"isMobile":0,"DeviceKeyboard":"","device":"desktop","TurboAppPlatformVersion":"","historySupport":0,"BrowserShellVersion":"","DeviceVendor":"","isBrowser":0,"hasFlash":0,"MailRuSputnikVersion":"","isSameSiteSupported":0,"BrowserBaseVersion":"","BrowserVersionRaw":"","hasWebVert":0,"DeviceId":"","error":"","MailRuAgent":0,"ScreenWidth":0,"inAppBrowser":0,"hasHTML5":0,"isEmulator":0,"J2ME":0,"MailRuAgentVersion":"","BrowserEngineVersionRaw":"537.36","isRobot":1,"__is_plain":1,"BrowserEngineVersion":"0537.0036","BrowserName":"Unknown","DeviceModel":"","BrowserEngine":"WebKit","DeviceName":"","OSVersionRaw":"","OSName":"","GoogleToolBar":0,"ScreenSize":"","isTurboApp":0,"MailRuSputnik":0,"YaBuildName":"","isWAP":0,"PreferMobile":0,"DesktopMode":0,"BrowserVersion":"","BitsPerPixel":0,"BrowserShell":"","YaGUI":"","isBeta":0,"OSVersion":"","ScreenHeight":0},"nonce":"4528125070431067957134","disableDoc2DocHostLink":false,"shouldHideChannelLink":false,"disableChannelLink":false,"userConnectionRtt":155,"animated":false,"isDoc2DocScrollFix":true,"smartDesktopLayout":true,"enableVIImprovements":false,"enableLazyPoster":false,"isAdvDisabled":false,"shouldShowVideoPlaylistPane":false,"isVideoTranslationSupported":false,"isSummaryDisabled":false,"isSummaryOnlineEnabled":true,"shouldRenderBroSummaryApiContainer":false,"shouldDropLogs":false,"shouldUseBeacon":false,"hasAdBlock":false,"rknWarnHosts":[""],"relatedAdvRootMargin":400,"postInstreamScreenDuration":2000,"minVideoDurationForInstream":120,"isInstreamEnabledInTesting":false,"isFinalHeartbeatDisabledInNoJsApi":true,"wildcard":false,"isAdvUnderPlayerRedesign":false,"disableEarlyEventsInD2d":false,"isDoc2DocInstantLoadEnabled":true,"disableEarlyEventsUnsubscribe":false,"showDebugRelatedURL":false,"shouldUseBetaErrorLogging":false,"shouldShowMetaUnderPlayer":false,"isVideoViewerMetaTitleHidden":false,"isStickyPlayerDisabled":false,"headerNoFavicon":false,"headerBranded":false,"shouldCensorSensitiveContent":false,"isAdvUnderPlayerTransparent":false,"isDoc2DocGridLayoutEnabled":false,"detailsRedesignEnabled":false,"detailsRedesignV2Enabled":false,"detailsRedesignV3Enabled":false,"isIslandsDisabled":true,"isD2DEmptyLoadFixDisabled":false,"isRoundedPlayerEnabled":false,"isSettingsToolbarRedesign":true,"isDoc2DocEmptyRetryEnabled":false,"isAdvUnderPlayerWithBackdrop":false,"isTouchAdvWithBackdrop":false,"isDoc2DocErrorScreenEnabled":true,"isDoc2DocFeedbackKebabEnabled":true,"isCommentsEnabled":false,"isCommentsCountOnSnippetsEnabled":false,"criticalErrorCodes":["101","102","103","100","151","152","153","154","155","156","150"],"isVideoMainButtonInitiallyCollapsed":false,"isAdvUnderPlayerWithInnerPadding":false,"isKebabAdvancedActionsEnabled":false,"isKebabOnTouchVideoSearchEnabled":false,"isAdvVideoListLikeUnderPlayer":false,"isSummaryInMetaButtons":false,"isSummaryInMetaButtonsDesktop":false,"isMetaCommentsButtonEnabled":false,"preventAdvHideOnEmpty":false},"shouldShowAdvId":false,"isAdultQuery":false,"isSensitivePage":false,"showSensitive":false,"shouldReplaceHref":false},"user":{"tld":"com.tr","isEuDomain":false,"login":"","passportId":"","isLoggedIn":false,"locationName":"Columbus","isFamily":false,"yandexuid":"5452326341769624458","ugcCsrfToken":"","family":1,"isChild":false},"config":{"skinMode":"system","skin":"light","version":"releases-frontend-video-v1.1757.0__1e42d45c824ef14ef6767326055fb713b0c3a145","isGridSupported":false,"advConfig":{"under-player":{"regular":{"default":"R-I-48058-725","mail":"R-A-13411721-6"},"adult":{"default":"R-I-474674-114","mail":"R-A-13426421-6"}},"under-player-lite":{"regular":{"default":"R-I-48058-728"},"adult":{"default":"R-I-474674-103"}},"under-player-old":{"regular":{"default":"R-I-48058-725","mail":"R-A-13411721-6"},"adult":{"default":"R-I-474674-114","mail":"R-A-13426421-6"}},"video-list":{"regular":{"default":"R-I-48058-708","mail":"R-A-13411721-2"},"adult":{"default":"R-I-474674-101","mail":"R-A-13426421-2"}},"search-list":{"adult":{"default":"R-I-474674-135","mail":"R-A-13426421-23"},"regular":{"default":"R-I-48058-751","mail":"R-A-13411721-23"}},"search-grid-row":{"regular":{"default":"R-I-48058-718","mail":"R-A-13411721-4"},"adult":{"default":"R-I-474674-109","mail":"R-A-13426421-4"}},"search-grid-head":{"regular":{"default":"R-I-2120168-7"}},"search-list-right":{"regular":{"default":"R-I-8843654-1"}},"before-player-old":{"regular":{"default":"R-I-2120168-1"}},"before-player":{"regular":{"default":"R-I-2120168-1"}},"search-grid-inplace":{"adult":{"default":"R-I-474674-126","mail":"R-A-13426421-16"},"regular":{"default":"R-I-48058-742","mail":"R-A-13411721-16"}}},"isSkinInitedOnClient":false},"counters":{"params":{"useBeacon":false,"clickHost":"twitter.yandex.com.tr/clck","pid":197},"dict":{"viewer":"2921","user":"538","info":"1275","sources":"1500","select":"775","close":"486","open":"842","source":"186","link":"513","click":"882","tech":"690","player":"1242","change":"719","summary":"3410","init":"1309","item":"22","button":"440","shown":"3780","copy":"1276","text":"232","load":"1724","fallback":"2010","channel":"1345","hide":"1656","serp":"471","pager":"405","down":"601","up":"600","footer":"295","more":"75","page":"143","loaded":"1007","grid":"3223","support":"2458","client":"2989","layout":"54","list":"436","duration":"2136","within":"3247","on":"10","off":"11","host":"3052","supported":"3761","enable":"2396","disable":"2395","full":"318","video":"231","translation":"347","distrib":"316","onboarding":"2045","filters":"618","lang":"1144","advanced":"255","apply":"2461","reset":"3236","short":"142","toggle":"237","snippet":"254","icon":"1167","abuse":"1436","submit":"297","wizard":"358","incut":"1073","out":"3218","popup":"1544","scroll":"768","show":"487","retry":"3545","feedback":"296","region":"287","help":"177","settings":"1137","recommendations":"2671","home":"1319","soo":"65","youtube":"624","google":"66","bing":"568"}},"clips":{"items":{"16613097998880140908":{"videoId":"16613097998880140908","docid":"34-10-16-Z54B3CB442891BA9E","description":"Professor Benjamin Pierce elaborates on the new Deep Specification project that he has been working on and what it can bring for software development. Splash Conference publicity chair and...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/222479/49595061da0a922125deae2da76d3bd1/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/gbSoTwAAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"0","reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3D0aqC3UgupLQ","linkTemplate":"/video/preview/16613097998880140908?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Splash 2016: Benjamin Pierce about the Deep Specification project","related_orig_text":"Benjamin Pierce","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Benjamin Pierce\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=0aqC3UgupLQ\",\"src\":\"serp\",\"rvb\":\"Eq0DChQxNjYxMzA5Nzk5ODg4MDE0MDkwOAoUMTU5MTk2MjE2MDI5NzQxNzQ4MzgKEzg1NzQ0OTg1MDAyMzA2NTMzMjMKFDEyMjExOTg5OTkyNzMzODk3NTIyChQxNTUwMDkxNjk5NjczNzY0Mjc3MgoUMTU3MTUyODIwMzkyNTE0NjQ4MjQKEzQxNTgyMDYwOTAyNTA2NTU1OTMKEzg0OTUyMTQyNzI2NjIwNjczMjAKEzE1MTIwODAwMjIxNDExMzY2MDMKEzg2ODc2OTc3MTY0NDUyNDc4MjkKFDExNDE1MjE1NjQ0MTAyOTUwNDI2ChMxNjk5MDExMDA4OTA4NzA3MzAwChM4NjM0MDIzMTU2MDg3ODgzMTM4ChQxNzA5MDQzNzAwNDc4MjExODQ4NQoUMTI2NDc5MDY1NDk1ODIxNzg3ODcKEzQyOTI5MDE4MzQxNDg4NTg3MDAKFDE1MDM2ODM4ODEwMzQxMjMxNjgwChM0Mzg3MzE0NTIwMTcyNjA2NDM3ChMyOTI4Mzc5NjkyNjAxODE2NTExChM2NTI1MDc1NTI0MzExMTgxNTg1GhYKFDE2NjEzMDk3OTk4ODgwMTQwOTA4WhQxNjYxMzA5Nzk5ODg4MDE0MDkwOGqIFxIBMBgAIkUaMQAKKmhodHh0anRxdGFzZmZueGJoaFVDZXdieGwxcEtmSFV0aUR2Y0x0RkM3dxICABIqEMIPDxoPPxO_BIIEJAGABCsqiwEQARp4gfz4BgsBAAD8-QYIAgf8AvUD_Pj5_f0A6vUB_Pn_AQD7DPwG-QEAAPkE8gkHAAAA_QIB9wL-AAAKBQAJBAAAABHuCPf7AAAA_gEEBgkBAAAKEQL-A_8AAAntBf__AAAA5QoIB_8A_wD2Bv4KAAAAAPgI-xL__wAAIAAtuC_TOzgTQAlITlACKoQCEAAa8AF_DvYCivsP-UXzIQAv-Oj_lQAB_x8O_wDuAPYBt_fsABAUAgHc7gsADQP8ANj6DgD2-fL_Hwv3AP39AwA0GxMALxoJABnzAwEb_AYB_Pz__-wRBf8QBiIABPYU_woT9f4QAOoABhDsAQEDBQL-_Qb88RYNAiIO-QH1BQoBFfABAOoM9wQ0AAoD6gII9_cWBwbt8-398w36A-oQ_QXvCAcEDQAG-g0R9gAz-vcA6gXsA-wOA_sWFgAE7QEPBREJ_fzy1v75JAn4A-sQBAoGAAUN-vUY9vvaEP7aCfUAFeoOBfYt_gQDCvQHEA4CCw7qAPAgAC2vCUM7OBNACUhhUAIqzwcQABrAB8GnBb_UlRU8csPvvA5pBD6m7_W8u1dXvS_hoD2TOkG9YPOgPKo9Nr0wuMs8aZCCvDhpir7RDD087a59PP7Viz4gxJ88hqkxO-en2L2cU8k8AOIuO2cno77OGbS6pSYeuqxXAT5hJZU8pPHVPHUM47yKs429FTAmPBSvAj5oH1A8U2QDveFeGT138aO8kb4kvD8_Zz17YZe80gsOvJATJj427xM9ejAMuWtzELy2V9U8fbAOPBM8Dbvz1u8880yauuerVD7wXZQ8bMkNPMnM5T3MHjK8dDauO_N95zzZQPw6iaDFvF1kLL24rAQ8gCoOPYQ0vrw24QG8y9b6OhIuhTuuD0s9NV3wO4RL5z1RNkC8eU1ZvHrvNLpw8AO8QViZu0n3nr1Th6q6AvjhO3As67nchUG8d--su-lrET1NGn68TPIOPHZh9Txl2468WT-qu5HE_bs00OE83eGAvKc7b707a1y87g7ju90KMb4sL7e7xJ1iu9gocD3F7qG9Ncn2O0AXjTx3qSy9iDHEPOyPh7t2YqA8MOvNu2tq9LwQ3U06jeq2ujF-9TurbTS9TH2sOgrERr2BXGK875VUvDMD8Lwp3AG9llCLvBeZI7xnLHW9i7hKPFq47D34sHI8L6A8O1JfFj3sarK84Yc5vHQ1Az1_D4O81r-xO0q5Nj3Neoy9k3GYNz1rTT1guAm9VcK1uUmKA71OLTY85lE3O76BTj2lWlU8aWFku-xAp7whSqi7z7cJO1xQxLzDqWU9F7uCOqdJH70yk6i8DBB9u10voj1EonU8rNCHOOHkmD17eS474btmORr4VbsuvFy97z65OPp1jDzrqoC981_EOAOLwTnBmCM9IcvTuMe8Lj2SdBK9_Q-qOIcbDbxFu-k7opG4OJjUtTz0QjA9yrTOtxIRn7ufALo9SyoSuSLLnTxaUqS8HLUAOSeCXT1WT4E9LuabuYlFDL0IBPo9b3E6uI2u97zAycu9oaWBOUYu07z2ARI9aAvxOELqVr3PQze7TgliNfZ_jjwALtI8v_PXuIsWgD1EKsG9fSojOGUJAT2K-WO9CMM1OMov6LyPD4S8Eqb0N7ueA72HbYs8oAOYtylMCrz0VS09yOk7N7ezzz2nDJe9CE9HuPSXp7ywSx49Fu-RNuyV6Lsz8yk9OBpRuC13az1xwR49s4iGt5x5ZrtjDsK8JCplOFk8Sz0QuS89ARWpuFmScjxGNkE9mJ6_OLgfsLyviCs9ItOVuE63bDzGJmO9RdoMN_j7B7yl0IM8UOM3OCAAOBNACUhtUAEqcxAAGmAh_wADxxHX5Cda3OIO5ffXDPIM6p7t_x7y_xdK3hkdNum3Evv_P7r57KUAAAAM_xpEFAAPcxvv_zTvIB_TvhRTEH0KP-e0GwHfCMEECdkE6PYBzRAAzibEAX_V8B33FCAgAC013Bs7OBNACUhvUAIqrwYQDBqgBgAAgEEAABzCAADgQQAAoEAAACDBAAAAAAAA4EEAAJjBAACOwgAAcMEAAAxCAAAQQQAAXMIAAODAAAAEQgAA2MEAAGTCAABAwAAAbMIAAJrCAACowQAAMMEAAIrCAACkQgAABEIAAJxCAAAEwgAAcMIAAGRCAADIQgAAbEIAAIBBAACAwQAAikIAACTCAACgQAAAcEEAAJhCAABAwgAAuEEAAHzCAACQwQAAiMEAAADAAABgQQAAsEEAAIDBAABwwgAAQEAAAIA_AAC4QQAAYEIAAIBBAAAgQQAAdMIAAMDBAACowQAAIEIAACDBAABQwQAABMIAAFDBAAA0wgAAmEEAAKBBAACAwQAAEEIAAHzCAADYwQAAiEEAAEzCAABYQgAAVMIAAKZCAABQwQAAhsIAACxCAADYwQAAcEEAADTCAABAwQAA6MEAAMjBAAA4wgAA0EEAABRCAAAUwgAADEIAAFxCAAAgQQAACMIAAAxCAAB4QgAAHEIAAADAAACuwgAAgL8AAATCAACwQQAAIEEAALjBAABQQgAAAAAAADDBAACgwQAA8MEAAPjBAABswgAAKMIAAHBCAAAgQgAAYEEAAIhBAADgwAAAqEIAAM5CAAAUwgAAMMEAAAhCAACwwQAAgL8AANjBAABgwgAAaMIAACBCAAC4QQAAgEEAAAAAAABgQQAAfMIAAABBAAAgwgAAgL8AAFhCAACsQgAABMIAAKBBAACAvwAAGMIAAFTCAABAwQAA0EEAAIBAAAAwwQAAYEEAAJhBAACQQQAAVEIAAEDAAAAAwQAAcEEAAMhBAACAQQAAaMIAAAhCAADAQAAAQMEAAJDCAAAsQgAAsEEAAGTCAAC4QQAAPMIAAKDAAACgQQAAoMEAANhBAADIwQAAmEEAACTCAACKwgAAcEEAAMBAAADYwQAA0EEAAChCAACUQgAAFMIAAIBCAAAoQgAAQEEAAEjCAAAwQQAAUMEAAIBBAABAQQAAhMIAADxCAABwwQAAiEEAAAzCAABIQgAAKMIAACRCAADAwAAAFMIAAIjBAABkwgAAVMIAAFBBIAA4E0AJSHVQASqPAhAAGoACAAB0vgAA4LwAAIY-AADIPQAABL4AAJi9AABAvAAAxr4AALq-AABwPQAAdD4AAHA9AABMPgAAmD0AAIg9AAAUvgAADD4AABA9AAB0PgAATD4AAH8_AACIPQAAcD0AAIg9AACgPAAAuL0AANi9AAAkvgAAuL0AAIY-AACIPQAAmD0AAMi9AABQPQAAND4AAHA9AABMPgAAor4AALa-AAAQvQAAjr4AAAw-AADovQAAoDwAABy-AAAUPgAAbD4AACw-AABwPQAAbL4AAFC9AAAwvQAABD4AAJ4-AADgvAAAiD0AAAk_AADgvAAAkj4AAIY-AADgvAAADL4AAJg9AADIvSAAOBNACUh8UAEqjwIQARqAAgAAyL0AAAy-AACgvAAAT78AAIg9AACoPQAA4LwAACQ-AABQvQAAgj4AAIq-AACovQAAZD4AAEC8AAAQvQAAyL0AABC9AAA5PwAAJL4AAKY-AAA0vgAA-L0AACQ-AAAEvgAAJD4AABA9AABcPgAAED0AAMg9AABMPgAA4LwAAKC8AAD4vQAABL4AACS-AACIvQAAyD0AAEC8AAAEvgAAFD4AABA9AACOvgAAED0AABQ-AAA0vgAAHL4AAH-_AAAcPgAAzr4AAJI-AAAUvgAA2L0AAFA9AAAsPgAAmL0AADA9AACgPAAAFD4AADA9AACovQAAPD4AAMi9AAAQvQAAFL4gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=0aqC3UgupLQ","parent-reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["16613097998880140908"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"3218437662"},"15919621602974174838":{"videoId":"15919621602974174838","docid":"34-9-12-Z13CE1050C9FC17E7","description":"Benjamin Pierce, the son of Franklin Pierce, suffered an untimely and unfortunate death. Join the Bobblehead George crew at the Pierce Manse, located in Concord, New Hampshire, for the story.","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/1841219/5faa8e68445bc726766fc04b833ac254/564x318_1"},"target":"_self","position":"1","reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DPlOhguEMOu0","linkTemplate":"/video/preview/15919621602974174838?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"The Unfortunate & Untimely Death of Benjamin Pierce","related_orig_text":"Benjamin Pierce","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Benjamin Pierce\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=PlOhguEMOu0\",\"src\":\"serp\",\"rvb\":\"Eq0DChQxNjYxMzA5Nzk5ODg4MDE0MDkwOAoUMTU5MTk2MjE2MDI5NzQxNzQ4MzgKEzg1NzQ0OTg1MDAyMzA2NTMzMjMKFDEyMjExOTg5OTkyNzMzODk3NTIyChQxNTUwMDkxNjk5NjczNzY0Mjc3MgoUMTU3MTUyODIwMzkyNTE0NjQ4MjQKEzQxNTgyMDYwOTAyNTA2NTU1OTMKEzg0OTUyMTQyNzI2NjIwNjczMjAKEzE1MTIwODAwMjIxNDExMzY2MDMKEzg2ODc2OTc3MTY0NDUyNDc4MjkKFDExNDE1MjE1NjQ0MTAyOTUwNDI2ChMxNjk5MDExMDA4OTA4NzA3MzAwChM4NjM0MDIzMTU2MDg3ODgzMTM4ChQxNzA5MDQzNzAwNDc4MjExODQ4NQoUMTI2NDc5MDY1NDk1ODIxNzg3ODcKEzQyOTI5MDE4MzQxNDg4NTg3MDAKFDE1MDM2ODM4ODEwMzQxMjMxNjgwChM0Mzg3MzE0NTIwMTcyNjA2NDM3ChMyOTI4Mzc5NjkyNjAxODE2NTExChM2NTI1MDc1NTI0MzExMTgxNTg1GhYKFDE1OTE5NjIxNjAyOTc0MTc0ODM4WhQxNTkxOTYyMTYwMjk3NDE3NDgzOGqtDRIBMBgAIkMaMAAKKWhodG9ra3FzbHd4cXFyaWhoVUNSQlFSTE9YdWpJYU5jMV9mQ3BER0ZnEgIAESoPwg8PGg8_EzmCBCQBgAQrKosBEAEaeIED8QMNBfoABPQSBPsJ_AL0-e3_-P7-AOEB9v8K_AIA-w38BvkBAAAD_e39-QAAAPv4CAz__gAAEQH3_AQAAAAX-BD59gAAAA8HCAMY_AIBEvv6AwP_AAAD8wD__wAAAPoBCgD6_wAA9fz8CQAAAAD88fkEAAAAACAALSh1xTs4E0AJSE5QAipzEAAaYAcKACP2_d66Ahzq7wza5v_tGvUKuOgADgMAA_7OERcg970n_P8ouhHstgAAAAb_-RYWANdiLezcAiQr5RHl9QkPfwQH1fks6PrW0-_tFjw32-oMMwD6Es8jY84eMPBEGiAALcG_Nzs4E0AJSG9QAiqvBhAMGqAGAACqwgAABEIAABRCAACAQAAAMEIAAAjCAAAAwAAA6MEAAJjBAAAAAAAAUMIAAERCAABwQQAAgMAAABxCAAAAwAAAREIAAJ5CAACowgAAAMIAAKBCAABgwQAAeMIAAEBCAAAMQgAAyMEAAIDCAACAPwAAVEIAAHDBAADYQQAAoEAAANDBAABwQQAA4EAAAGBBAADIQQAAyEIAAOBAAACAwQAA4EAAACBBAAAAQAAAAMEAAHRCAACgQgAA4EAAAFjCAAA0QgAA4MIAAGDBAABIQgAAmMEAAAxCAAAkQgAAUMIAAIBAAADgQAAA8EEAACRCAADIQQAAHEIAACjCAAA4wgAAgMEAAAjCAABIQgAA4MAAAETCAACAPwAAiEEAAExCAABgwQAAgD8AAExCAABQQQAAUMIAADBCAAAAwAAAYMEAADTCAABMQgAAIEIAAMBBAADgwAAAMMEAAFDBAABswgAAoEEAAMBBAACAQAAAJEIAABzCAACIwgAADEIAAHTCAAA0QgAADEIAACTCAAD4QQAAVEIAACDCAAAgQgAAiMIAAHzCAACgQQAAWEIAAMBBAABAQAAAIMIAAIDAAAAkwgAAMMIAACzCAADIQQAAUEIAAPBBAADAwgAAmEEAADTCAAAAAAAABMIAAADAAACAPwAAoEAAAKBAAAAsQgAAAEIAAAzCAAAUwgAABEIAADDBAAAcwgAAbEIAALBBAAAkQgAAGEIAACRCAABkwgAAQEEAAOBAAADSQgAAHEIAAFDCAABgQQAAgL8AAJhBAAD4QQAAIEEAAIBBAACAQAAAgD8AAADAAAAgwgAANEIAAGxCAACAwAAA4MAAADjCAACGQgAAAEIAACjCAADAwgAAbEIAAGTCAACAQAAAqEEAADBBAADYQQAA4MAAACTCAAAMwgAAAAAAAODBAACIwQAAoEEAAEDAAADQwQAASMIAAKJCAACAQAAAhsIAABBBAACYQQAAQMAAAIjCAAAUwgAAWEIAAFhCAABcQgAAAAAAADDCAACowQAAAEAAAJbCAADwQQAABMIAALjBAABgwQAAgMEgADgTQAlIdVABKo8CEAAagAIAAK6-AADovQAAhj4AABS-AACIPQAAXD4AAEQ-AADuvgAAfL4AADy-AAC4PQAAUD0AACQ-AABwPQAAJD4AADS-AAAsPgAAiL0AABQ-AAD4PQAAfz8AAHC9AAC4PQAAkj4AABy-AADovQAAUD0AAFS-AACuPgAAtj4AABw-AADYvQAARL4AALg9AABwPQAAhj4AAPg9AADIvQAA6r4AALq-AAAMvgAAkj4AACw-AABcPgAAmL0AAFC9AACiPgAAQLwAAKg9AAAEvgAAbL4AAIq-AACGPgAA6D0AAJ6-AAAUPgAA6j4AAAw-AAAMvgAAjj4AAKi9AACoPQAAXD4AAIK-IAA4E0AJSHxQASqPAhABGoACAAAUvgAA4LwAAKI-AABJvwAAcL0AAHC9AAAwvQAAcD0AADA9AAAsPgAA6L0AALi9AADaPgAAgLsAAHA9AAAQvQAAZD4AAEM_AAD4PQAA9j4AABw-AADgPAAAFD4AADS-AACgPAAAML0AAEQ-AAA8PgAA6D0AAFw-AABAvAAAoLwAABQ-AAAMvgAAuD0AAAQ-AACAOwAA4DwAABC9AAA0PgAAcD0AAFS-AADgvAAAUD0AAFy-AABQPQAAf78AAKg9AAAhvwAAgj4AAEy-AACOPgAAbD4AAMY-AADGvgAALD4AAMi9AABQPQAAJD4AAMK-AABAPAAAuL0AAEw-AABAvCAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=PlOhguEMOu0","parent-reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["15919621602974174838"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"8574498500230653323":{"videoId":"8574498500230653323","docid":"34-3-5-ZA3EC1043CFFEFD9E","description":"QuickCheck-style property-based testing relies on random generators that produce well-distributed test data. When the properties under test involve sparse pr...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3768991/9f53b82ee8e3a7798eb7c07dd33a7d51/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/ME0VEAEAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"2","reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DdfZ94N0hS4I","linkTemplate":"/video/preview/8574498500230653323?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Benjamin Pierce: Backtracking Generators for Random Testing","related_orig_text":"Benjamin Pierce","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Benjamin Pierce\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=dfZ94N0hS4I\",\"src\":\"serp\",\"rvb\":\"Eq0DChQxNjYxMzA5Nzk5ODg4MDE0MDkwOAoUMTU5MTk2MjE2MDI5NzQxNzQ4MzgKEzg1NzQ0OTg1MDAyMzA2NTMzMjMKFDEyMjExOTg5OTkyNzMzODk3NTIyChQxNTUwMDkxNjk5NjczNzY0Mjc3MgoUMTU3MTUyODIwMzkyNTE0NjQ4MjQKEzQxNTgyMDYwOTAyNTA2NTU1OTMKEzg0OTUyMTQyNzI2NjIwNjczMjAKEzE1MTIwODAwMjIxNDExMzY2MDMKEzg2ODc2OTc3MTY0NDUyNDc4MjkKFDExNDE1MjE1NjQ0MTAyOTUwNDI2ChMxNjk5MDExMDA4OTA4NzA3MzAwChM4NjM0MDIzMTU2MDg3ODgzMTM4ChQxNzA5MDQzNzAwNDc4MjExODQ4NQoUMTI2NDc5MDY1NDk1ODIxNzg3ODcKEzQyOTI5MDE4MzQxNDg4NTg3MDAKFDE1MDM2ODM4ODEwMzQxMjMxNjgwChM0Mzg3MzE0NTIwMTcyNjA2NDM3ChMyOTI4Mzc5NjkyNjAxODE2NTExChM2NTI1MDc1NTI0MzExMTgxNTg1GhUKEzg1NzQ0OTg1MDAyMzA2NTMzMjNaEzg1NzQ0OTg1MDAyMzA2NTMzMjNqhxcSATAYACJEGjAACiloaHpzZ2Jja3h6dm16c3FoaFVDaUdPektkZTFybHZ6RUI3SjczZ3ZyURICABEqEMIPDxoPPxOIHIIEJAGABCsqiwEQARp4gQn29wL-AwAD_gr7_QP_Af0B9Ab4_f0A8QEC_P4BAAD1AfYEAQAAAAn9-PwDAAAA8wP-AfoAAAAWAAP_BQAAAAP1DfT-AAAADg39AxH-AQEE_Qn_-gEAAQ7-AQgAAAAA8wv__vr_AAAF9Aj_AAAAAAH8AhIAAAAAIAAtPifdOzgTQAlITlACKoQCEAAa8AF_ABoDuRYS_kPv8QD5GOUBpvbv_0sE_wDPBP4AqQ78_wgh-wD4_BAABRId_9sZDgAD-ub_DvMJAfb3__83CwsAJAQWACjYDAEf_fAB9Q3s_xUS7v8FFxAAAgEJAhEICf8XChD_4vjrABAHAAEW7xACAQf1ARPuBf_1BQkB7_n4AfLoAgEeDQL96AP3-vMQ-wD9-_kE9A36A_zx_gIa-voICAAHBA0DBAEaCvoEBPvy--fx8wQfFQH8AwcJAu4B9AUMAQr_COT_COwPBAop8Az9DOgWAtgbAP4CA_LzEfAU_PkHAAbi__kECf4FBfgC-QAgAC0eHks7OBNACUhhUAIqzwcQABrAB7YTDb8a3UG8hPNpvcaHqT33M0S6LQXJPJGI47tsW_M78G0aPUdAgL2Bpk895AqUPHR8xL4chO88mdotvd0nnz4Z63Y9lA2QPCPXHb49UvM84BcSPU94kb5nFUw9qeaLun0D0z1XAow7q3ZNPaDi2D1hPJ68xU-IvOHlLj1DN3u8N32svFqlD71qgDe9vpuTPNfqwT038JS9CekfPNNO7T11QA29nWkdvcUA6Dvf5qi8398ePOT39rxjFec7S2ryPOqv9z0xslE6yE0DPUKHyj0MJwQ9ra2OPPID_DtBTQi9s4mCvGRAUbw3F388Zz6MPI8_jD0QZd48-MeWPF3SIr2UyZ88c7MpPfCLCz7zP7O74jrGO8d7ejywBgE85Hw5u7eyib1u4oG69pGAvMvHZD1Dl4u83rKeO-_KLjzYB4I78oiAvM9F6DwawUY8RIwyvAFvnrsmrI09Trj5OfvP9TqyBc48stS6PCz5k71iYEI8Dy-jvCJlpT0xNj69aOc0PJuoijy6JNi8EeZRPEBRtDzGvqQ8h343ulwhDD0j-7s8DzDOu5-wtD3pj0u5uEZ8u4byFD1lHIM9IXSSu0y6V71R54C8-TIsvDeq7jwqmVK9C0drPPa17jyHW1M7uMdzO5ELDj0h07U8zpwBvPtglL3pILm8ks2XO-wIMb3UDKm8HR9Ku2LfqTzTrng8tXdbu1t5ST0yLmY8yVo_u9rHKj0hSzW9gLa4u-xAp7whSqi7z7cJO1bT9Ty5YJo98w4rudCQez2ir4W842vPuQQ2jLw9LNQ8u2NTt9ZYnT2ceD28GfskOHHc8zsi_Au9EC_bOLvnpTy_mBK94mMCOi3oYrxAvFM8l0A0OvUUGT3YDik7gGTSuPnA6bv5pG68Di-QuOucFb1AbOk7Pg_ttxR8rj0rwo094GRlONR0ybsGLPk8HhssOXAOor1-L489qYJQOUMSxzxNELU8tbuDOEO5Q71yTUG9cxB8N1k_DL2u7yg9M5NNuHJLML0SQ7y8nNNetx6ezrv8lBk9a2zOt7ETgzy2sbO9FanpOHBwEz0RXEA86t2AOUvmWL1_OZ694zIyOOsja72Nvri8RLfTt16-ULw4veo7SlaxuIUPgLzP4Cq9-0wXuORkhzz8HUU9lZywuEfHF7zxudM8UE90t-rulTy-r987Hwb9N3H0gr2YC0a9z0OiNjLurD1cJr697GpDN1UYpj1tC8U9g8fnOPCyNb1czM89DEYKuQnv_jrYXu47q6hIt5hnSr1BFCc88kRMNyAAOBNACUhtUAEqcxAAGmAR_QA77hbt0PYo4-sFAv8LBiggUM0jAPT8__MV1OAOJPKbCzf_DuT_-7AAAAAL8vQgJADSaB2v8A7VJezZwvwg72P_Lgz47iUS9O0AGvndJQgYIBIA7gmwGX_s-CMYAw4gAC3RfzQ7OBNACUhvUAIqrwYQDBqgBgAA4EEAAIzCAACkQgAAgMAAAFDCAAAUwgAA6EEAADjCAABIwgAAoEAAAARCAACYQQAAgMAAAKhBAAA4QgAA-MEAAFDBAABwwQAAsEEAACDCAAA8wgAA4MAAAMjBAAAgQgAAoMEAAKhBAACUwgAAqMEAAFBCAAD2QgAAEMEAAETCAABAwQAASEIAAILCAABAwQAAsEEAAOBBAAAAQAAAgEAAAADCAAAQwQAAQEEAADDCAAAAQQAA0EEAABxCAABgwgAAGEIAAPBBAABgwQAAsEEAAMhBAACgQQAAFMIAANDBAACYwQAA4EEAAABBAACwQQAA2MEAABDBAACYwgAAiMEAAATCAACAvwAAQMAAANzCAADYwQAAIEEAADDBAAAQQgAA6MEAAJhCAAAAQAAAusIAAKDBAAAgQQAAqEEAAGjCAABwwgAACEIAACDCAABEwgAAIEIAAFBCAABgwgAAAAAAAKpCAACgwAAAFMIAAIZCAABAQgAAgEAAAAhCAACSwgAAMEIAAOBAAABsQgAAWEIAACDCAAAwQgAA2MEAANDBAABIwgAAwEAAAKDBAADowQAAVMIAAIBCAAD4QQAAAEIAACRCAADAwQAAoEEAANBCAACAwgAAoMAAABBCAACUwgAAiMEAAKDBAACIwQAAfMIAAGRCAAAAQQAAMMIAAEBBAAAwQQAAIMEAAOjBAABYwgAAmEEAADxCAACQwQAAIMEAABBBAACgwQAAoEAAAGDCAADIQQAAEEIAAHDBAAA4wgAAQEAAAIJCAACAPwAAjEIAAABBAAAEwgAAMEEAADhCAACAQAAAKMIAAGDBAACQwQAAHMIAACjCAADgQQAAQEIAAFjCAACgQQAAgL8AABhCAAAIQgAAGEIAAADBAAAAwQAAMEIAAHzCAABAwgAAgMEAAERCAAC4wQAA2EEAAGBCAADoQQAA4MAAAIBCAACWQgAAwMAAAIbCAACgQQAA-MEAAHBBAACAwAAA0MEAADBCAADYwQAAqEEAAGDCAACowQAAgMAAAAhCAAC4wQAAcEEAAADAAABAQQAAYMEAACTCIAA4E0AJSHVQASqPAhAAGoACAACYvQAAiD0AAKI-AACAuwAAJL4AAMg9AADYvQAA4r4AAMa-AACgPAAAgj4AAEC8AADaPgAAgDsAAJi9AAB0PgAAZD4AAIC7AACaPgAA2j4AAH8_AACgPAAAuD0AAHS-AABEPgAAmL0AADA9AACAuwAArr4AAGQ-AABkPgAA2D0AADC9AAA8vgAAqj4AAEC8AACgPAAAqL0AAJK-AAB0vgAAcL0AANg9AABcPgAAML0AAMi9AABsPgAAlj4AAMi9AAAMPgAATL4AAOC8AADIvQAAED0AABQ-AADIvQAAyD0AAN4-AAAQvQAA1j4AAGQ-AACIPQAAyD0AAJg9AABsviAAOBNACUh8UAEqjwIQARqAAgAAmL0AAPg9AACAuwAAFb8AAAy-AACgPAAAQLwAAOg9AAAUvgAAgj4AAAy-AADIvQAAoLwAAAy-AACAuwAAEL0AAKi9AAA1PwAAmD0AAOo-AAAsPgAAEL0AAIC7AABUvgAAyL0AAIi9AACovQAA4DwAALi9AAB0PgAAiD0AAKA8AADYPQAA6L0AAPg9AACIvQAABD4AADQ-AAA0vgAAbD4AADw-AACIvQAAQDwAAKC8AABQvQAA6D0AAH-_AAAcvgAAVL4AAIA7AADoPQAAgDsAAJI-AACYPQAAVD4AAFA9AACYvQAA-L0AALi9AACgPAAA4DwAAIY-AACAOwAAqL0gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=dfZ94N0hS4I","parent-reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["8574498500230653323"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"3564723558"},"12211989992733897522":{"videoId":"12211989992733897522","docid":"34-5-0-Z9713EEA6D5C02128","description":"Formal specification of software systems is an old endeavor that is now yielding striking successes, in large part due to the availability of powerful new techniques for coupling specifications...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/779490/8fdbe676db5b510d863c49399f2ea657/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/RqfUGQEAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"3","reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DY2jQe8DFzUM","linkTemplate":"/video/preview/12211989992733897522?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"A Deep Specification for Dropbox - Benjamin Pierce","related_orig_text":"Benjamin Pierce","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Benjamin Pierce\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=Y2jQe8DFzUM\",\"src\":\"serp\",\"rvb\":\"Eq0DChQxNjYxMzA5Nzk5ODg4MDE0MDkwOAoUMTU5MTk2MjE2MDI5NzQxNzQ4MzgKEzg1NzQ0OTg1MDAyMzA2NTMzMjMKFDEyMjExOTg5OTkyNzMzODk3NTIyChQxNTUwMDkxNjk5NjczNzY0Mjc3MgoUMTU3MTUyODIwMzkyNTE0NjQ4MjQKEzQxNTgyMDYwOTAyNTA2NTU1OTMKEzg0OTUyMTQyNzI2NjIwNjczMjAKEzE1MTIwODAwMjIxNDExMzY2MDMKEzg2ODc2OTc3MTY0NDUyNDc4MjkKFDExNDE1MjE1NjQ0MTAyOTUwNDI2ChMxNjk5MDExMDA4OTA4NzA3MzAwChM4NjM0MDIzMTU2MDg3ODgzMTM4ChQxNzA5MDQzNzAwNDc4MjExODQ4NQoUMTI2NDc5MDY1NDk1ODIxNzg3ODcKEzQyOTI5MDE4MzQxNDg4NTg3MDAKFDE1MDM2ODM4ODEwMzQxMjMxNjgwChM0Mzg3MzE0NTIwMTcyNjA2NDM3ChMyOTI4Mzc5NjkyNjAxODE2NTExChM2NTI1MDc1NTI0MzExMTgxNTg1GhYKFDEyMjExOTg5OTkyNzMzODk3NTIyWhQxMjIxMTk4OTk5MjczMzg5NzUyMmq2DxIBMBgAIkUaMQAKKmhob3VlZmpycmtlam5kYWRoaFVDYUxsekdxaVBFMlFSajZzU09hd0pSZxICABIqEMIPDxoPPxPxFYIEJAGABCsqiwEQARp4gQL1AAj9AwD9AgUC-gX-AfoD_wH5_f0A6_YB_Pr_AQD8Ff4HBgEAAPQD-wYBAAAA9gAH9wL_AAAP-wgEBAAAAA79CfP9AAAACwQCCQoAAQEJBwP6AwAAAAP0Bff_AAAA8AgCBv4AAAD5AAERAAAAAP4H_Qb_AAAAIAAtHePeOzgTQAlITlACKoQCEAAa8AFr9vUBsAMR_QYE8QD5GOQBgQUL_xYd6ADk6f4AufftAOoeCv_a4gAA-QgdAN3uBQDp9vb_SAjtAA0H-v8e-BQAEBbpAEbvAAAlAgYA9wEWAeULFf8HCRX_BQX__hQU5gAQACD-DvrRAfX0-ATv6A___gcNAQr3CwbvGwwDEwwB_wQYCgP9BQEDA_359-oLDQYI2fEDFhr0_QcQ_AgL9u8A-PL6-yv38PwpGf0B9AT9-wIaB_0lDPoFEfoECfv8-ALr8wTzGfr6BfsfAvwi3Q0BDOgWAvn1Dvry9_b_CwcM_AEDCgTq9gICChoHCBQA8_IgAC1uJ0g7OBNACUhhUAIqcxAAGmAx9QA0uRzeEhFQ8O3k6SDLFtj35p8E_wH3_yNM9io1IdqnDfD_IdIN950AAAAg9BoY6gAOfwbdBjrMaxKyqwRCM3ToIQ3bESTj08Iw9qD21_QCCPcAzwe2-mQb5ET5HAogAC2ZwxI7OBNACUhvUAIqrwYQDBqgBgAAAMAAAHTCAABUQgAAMMEAAEBAAABQwQAAKEIAAI7CAAAYwgAAAMAAADRCAACIwQAAjMIAAODBAACoQQAA-EEAAMBAAAAswgAAFMIAAKbCAACgQQAAcEEAAKDBAABAQgAAhkIAADBCAACawgAAnMIAAKZCAAD-QgAACEIAAKDAAAAAwQAAqEEAAI7CAABIwgAAMMIAAEBCAABgQQAAAMIAACDCAACAQgAAAEIAAEBBAACYQQAAgEEAAADCAAAAwAAAdEIAAIBAAABQwgAAgkIAAEDAAAA4QgAAAEIAAMBAAAAowgAAuEEAAFDBAADgQAAAcMEAAIjBAACAwgAAsMEAACTCAAAQwQAAoEEAABTCAABAQgAALEIAAMBBAADGQgAAbMIAAFxCAACgQAAAfMIAAMDAAACwQQAAMMIAAIhBAACKwgAAyMEAAIjBAACwwQAAcEEAAEBCAAAQwgAAiEIAAOBBAABYwgAAAAAAACxCAABYQgAAqMEAACDBAACcwgAA2EEAACBBAAAgQgAAuMEAACDCAAAgQgAAeEIAAPDBAAAYwgAA8EEAAATCAADYwQAAFMIAADRCAAAAAAAA8EEAAKjBAABwQQAAcEIAAGBCAAAkwgAAkMEAAODBAACOwgAAgMEAAMDBAAD4wQAAHMIAAOBBAAAgQgAA4EAAAIhBAAC4wQAAdMIAAHDBAAAswgAAAAAAAHBBAAAIQgAAgMEAAATCAABQwQAAUMIAAETCAAAAQAAAwEEAANhBAABAwQAAoEAAAAAAAABwwgAAHEIAABBBAAAgwQAAiMEAAIJCAAAwQQAA4MAAAJhBAABAwAAAqMEAANjBAAAAQgAAmkIAABzCAACUQgAA0MEAAJDBAACoQQAACMIAAHBBAAA4QgAA0EEAADTCAAAwwQAAYEEAAIxCAADowQAAwEAAAGDBAACMQgAAYMEAADBCAABQQQAAMMEAAAAAAAAsQgAA2MEAAFxCAAAgQQAAvMIAANBBAADIQQAA2MEAAJrCAACgwAAAcMEAAGDBAAAQwQAAEMEAACTCAAAwQQAAnMIAAMDAIAA4E0AJSHVQASqPAhAAGoACAADmvgAAfL4AAGw-AABMPgAALD4AAPg9AADgPAAA_r4AAI6-AAA0vgAAoj4AAIA7AACSPgAAgDsAABC9AABsvgAAgj4AAKg9AACWPgAA-j4AAH8_AACCPgAAMD0AADQ-AABAPAAAyL0AACQ-AAAUvgAAqL0AAO4-AACOPgAANL4AADC9AAAUPgAAgDsAAHw-AAAMPgAAxr4AAO6-AABQvQAAnr4AACQ-AACSPgAAPD4AAIq-AABAPAAAsj4AAJK-AACAOwAAqL0AAGy-AAAkPgAAUD0AANo-AACgPAAAoDwAABU_AAAUPgAAgj4AAJI-AADovQAAFD4AAPg9AAARvyAAOBNACUh8UAEqjwIQARqAAgAAUL0AAKg9AAAQvQAAPb8AAPi9AACYvQAAUL0AAIi9AAD4PQAAgj4AAGy-AACGvgAAPD4AABy-AACgPAAAyL0AAHC9AAA9PwAAED0AAM4-AABAvAAAPL4AANg9AADYvQAABD4AAHQ-AAAMPgAA6D0AAAw-AAD4PQAAuL0AAJg9AABQvQAAVL4AAHy-AACgvAAA-D0AAKA8AADIvQAAQDwAADA9AADgPAAAgDsAABA9AADIvQAAiL0AAH-_AAAQvQAApr4AAFw-AABkvgAALL4AAAS-AAAsPgAA4DwAAIg9AACgvAAA2D0AADy-AABAvAAAND4AAOi9AADoPQAADL4gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=Y2jQe8DFzUM","parent-reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["12211989992733897522"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"804655339"},"15500916996737642772":{"videoId":"15500916996737642772","docid":"34-11-6-ZE11104A9A4CED943","description":"Benjamin Pierce presents a \"Tutorial on Differential Privacy in the Programming Languages Community\" at the Dimacs Workshop on Recent Work on Differential Privacy Across Computer Science, held...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3841977/313f3f093aa7b9d8328dccc6825840cf/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/h3qRFwAAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"5","reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3Dci2aueqZ6CU","linkTemplate":"/video/preview/15500916996737642772?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Dimacs Tutorials - Oct 24, 2012: Benjamin Pierce - Differential Privacy in Programming Languages","related_orig_text":"Benjamin Pierce","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Benjamin Pierce\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=ci2aueqZ6CU\",\"src\":\"serp\",\"rvb\":\"Eq0DChQxNjYxMzA5Nzk5ODg4MDE0MDkwOAoUMTU5MTk2MjE2MDI5NzQxNzQ4MzgKEzg1NzQ0OTg1MDAyMzA2NTMzMjMKFDEyMjExOTg5OTkyNzMzODk3NTIyChQxNTUwMDkxNjk5NjczNzY0Mjc3MgoUMTU3MTUyODIwMzkyNTE0NjQ4MjQKEzQxNTgyMDYwOTAyNTA2NTU1OTMKEzg0OTUyMTQyNzI2NjIwNjczMjAKEzE1MTIwODAwMjIxNDExMzY2MDMKEzg2ODc2OTc3MTY0NDUyNDc4MjkKFDExNDE1MjE1NjQ0MTAyOTUwNDI2ChMxNjk5MDExMDA4OTA4NzA3MzAwChM4NjM0MDIzMTU2MDg3ODgzMTM4ChQxNzA5MDQzNzAwNDc4MjExODQ4NQoUMTI2NDc5MDY1NDk1ODIxNzg3ODcKEzQyOTI5MDE4MzQxNDg4NTg3MDAKFDE1MDM2ODM4ODEwMzQxMjMxNjgwChM0Mzg3MzE0NTIwMTcyNjA2NDM3ChMyOTI4Mzc5NjkyNjAxODE2NTExChM2NTI1MDc1NTI0MzExMTgxNTg1GhYKFDE1NTAwOTE2OTk2NzM3NjQyNzcyWhQxNTUwMDkxNjk5NjczNzY0Mjc3MmqHFxIBMBgAIkQaMAAKKWhoeG1raHZiZnRreGt1eWhoVUN3SWJRam9VVUdmTDVuTTMwcjBmbVF3EgIAESoQwg8PGg8_E8siggQkAYAEKyqLARABGniBCQkFDgP9ABX9BQkKC_0DBgf3APb__wDx-vz8BwH_AOsKAgb7AAAADgUEBgMAAADzBA8E9gABABUD-wYEAAAACfYE-f4AAAAHCgIK_gEAAPz3Av8D_wAAGfsD9P8AAAD0__8G-v8AAP8BAAD4_gAAAO_6DgAAAAAgAC3wYMw7OBNACUhOUAIqhAIQABrwAX_58wO9Cvj9BgELAPQh8QDo-AgA_AL2AO32FwHCAfv_HQAJAPXoEgD67RMAzv_xAQby_f8C_AkAM_8FACcU-gAKDhcAC-b1AeAB4AEgBAr--_wZAB0RBAACF_cANgAB_wTkEf_9FgABDer8AAr47APg-BcD8gn4AiH0_f_xDQoBBvbnAP4V7P8L_ggCDxIJAP7z-wAOC_EB7fkB_-cK9APq_Ar7HvwA_wkE9wT99fD_7RT__RQL9gTzCgn9-AHw-wz87v4H9gP9_fQZ_g0CEgX5GA3_9_gIBeIRAf0gIQYA8QUEAPQm-__7CPz-Bf4C8yAALSinczs4E0AJSGFQAirPBxAAGsAHuRwDv6G_q7uac_i7cD8QPkTtKL1s56C8w-OhvXAbV7xX7uA8BOMAvnklKLvse149lXKIvXoasLwAJgA7_tWLPiDEnzyGqTE7BvSCvqyfSDzxIYq59fFwvv_-gLocpkw9B7TUvRLWKz3eLkU8NdISvSgxhLs-IS26ERl2PsCx5zy31Qs8mDhNvKJ8oLuqZ9w8Pz9nPXthl7zSCw68peCEPfpHujxALae7s81yPUH7hzwK98q8joJWPd_P_DugBy0856tUPvBdlDxsyQ086RuXPcJsgjwCxf48MCskvtceD7xNgIa8fPFFPfsEPTnFh2G74NsUPcdFGj18HJc8Y7QevjYWe7t_YFg8GyqbPVidRj3fTC-7XPGiO5EW3Ty0bT28EOC-vfVz-Txizn08FkENvTa92Tsv7J87xBA0PQRe3jtn_008OH2SPR-epTzvITy8R6xFvcMmVz2-YYk6z2unvYmO7ryJFu673IsevQPSfjyJwAm8DGJbvXKqEL3lymo8871QPSJrETzWbn07DXl3Or_AYj0E0CK8PzDPO7R34TxNn6G7KCwMvV2SnrwRfwE86Fx7vbPBdDvU7IW7pj-QvXzgurvAnic7Vms8vFKvsL1ixxg7WrjsPfiwcjwvoDw7bvG6vPsvxrzGq8U79XaVPB3_CTzMosm6ldUUPtTsBr1AtIA4pIMaPRxbNL0c_A48qy-xvXf7x7ylLam4siB-PcA9bz2P5BS60ClIO5MtHL31B1I7FOppvJSVUD38QXK77iHhPCiECT3mEty6B_VjO4IWljremg07icC3Pe61-zzilRK4dbY2PKvoEby7Apc4VvcDvcvZOzwEESe5otd6vKgRZL3dBEu5yn9SPcO8h7223gO5mv_fu2Hfbj1HWEG57UCivbN7crtOd_e437iUOkdX6T0Fk9a4n07gO0b1sbwUpyy3azOEPJuL5DyUDeW4u2Ztva7jTj2zLiO3D2T7O5zF5ryjkJy4_X3rPC0zlTtxEFw4rQ4lPFHAFj0NyVW3HzVSuhUb8zxmEsi4zGLiPWkbv72o5my4cBalPMqURTxXzIm47CWXvQObzrxEeBE4Gve7vbGuID3OCJw4D9sRPSFUzjxinU63LHkhvRwPgb33Zbk3NzeWPYOKCj15hpK4EeaRvbDveT0gEYy4zLlvPd_nnj20GZq3vEEvvSWiCT3Nv2Y415xoPd8ROr1PYhm4ISD_PUmclTxmW_E46p1gvXv6SL3bzoy4Q0exPcAQCL1ZUo84lpEfvfc9Sr1iU2m1IAA4E0AJSG1QASpzEAAaYCHkADbyHd_h2kHT_wDxBMbrE_AUjOX_5NQAESzx2xYrzcQxBwA8uxPboQAAAAzw-CQ-AEN_Cdat9t4hEPal2SP5VgEIyd7rFwTz5NzxDgsuACdYQgAV8MMkRrvVLhJD-iAALa3SGjs4E0AJSG9QAiqvBhAMGqAGAAAgwQAACMIAAHRCAACAQAAAoMEAAABAAAAUQgAAcMEAAFTCAAAswgAAwMEAAKBAAADQwQAAYEEAAMhBAADgwAAARMIAANjBAAC4wQAAmMIAAMBBAACgwQAAHMIAAJZCAACAQgAASEIAAEzCAACUwgAAxkIAALJCAAA4QgAA-EEAAIC_AABsQgAAyMEAAKhBAACgwQAAPEIAACBBAACIwQAAEMIAABDBAAAIwgAAIEEAAFhCAAC4QQAAwEAAANDBAAAkQgAAgEAAAKDAAACCQgAA4MAAAMjBAACiwgAAgMEAAGBBAAAAwAAAQMIAAMDAAACwwQAAwMAAACzCAABwQQAAgMAAAEBAAABAQQAAGMIAAATCAACYQQAAMMEAAOBBAADQwQAA5EIAACDCAAB4wgAALEIAAIA_AAAAQAAAyMEAAIBAAABgwQAAuMEAAHDCAACCQgAAAMEAABDCAAAAAAAAikIAADBBAABwwQAAUEIAABhCAABgwgAAQMEAAMLCAAAUQgAA2MEAABDBAADgQAAAEMIAAMhBAABIQgAAUMEAAODBAAAQwgAAmMIAAATCAAB0wgAA6kIAABBCAAAwQgAAgMEAAIjBAABAQgAAnkIAAATCAADgwQAAwEEAAATCAAAAwQAA8MEAAKDBAADowQAAikIAAMjBAADQwQAAsEEAAMBAAAA8wgAAUEEAADzCAABgQQAAgkIAAARCAAAIwgAAyEEAAFDBAABAwgAAisIAAIDAAACQQQAAUEEAAHBBAAD4QQAA4MAAAEDBAAAEQgAA8EEAAAAAAACgQQAAGEIAAAAAAADgwQAAsEEAAOBAAACQwQAANMIAADxCAACIQQAAWMIAAFBBAAAwwgAAQMAAADhCAAAIwgAAUMEAALhBAAAQQgAAksIAAHDCAAC4QQAAFMIAAODBAAAAQgAAUEIAAHxCAAAgwgAADEIAAMhBAAAgQQAAeMIAAGDBAAAMwgAAQEAAABBBAAAQwgAANEIAAEDBAAAAwAAAJMIAABBCAACGwgAAIEEAAABAAADowQAAcEEAAIzCAACewgAAXEIgADgTQAlIdVABKo8CEAAagAIAAIK-AACgPAAAdD4AAKA8AACovQAA3j4AAII-AAD2vgAArr4AAPi9AADIPQAADL4AADQ-AADgPAAAuD0AABS-AABcPgAAcD0AAJ4-AACePgAAfz8AALg9AADYPQAAqj4AAOi9AABQPQAAuL0AANi9AABEvgAAVD4AAAQ-AABAvAAAJL4AABA9AADIPQAAbD4AANg9AADmvgAAvr4AAPi9AAB0vgAAcL0AAMi9AAAUPgAAiD0AADw-AAC4PQAA4LwAACS-AABUvgAA4DwAAJi9AABEPgAAbD4AAIK-AABQPQAAET8AAIg9AADIPQAA5j4AAKC8AABUPgAA4DwAABA9IAA4E0AJSHxQASqPAhABGoACAABkvgAAoLwAAOA8AAAvvwAAiL0AAFC9AACovQAAuD0AABC9AAAwvQAAPL4AAES-AADovQAA-L0AAOg9AABAvAAAuD0AACE_AAC4PQAA3j4AAOg9AAC4PQAA6L0AABy-AABAvAAAgLsAAHA9AAAQPQAA6L0AAI4-AABwPQAABD4AABA9AADgvAAA-D0AAHC9AACIPQAATD4AAIa-AABEPgAA6D0AAMi9AACAOwAA2D0AACS-AABAvAAAf78AAKi9AAB0vgAAoLwAABC9AABQvQAAgDsAAMg9AABsPgAA2D0AAIA7AAC4PQAAQDwAAIA7AAAwPQAA4DwAAIA7AACAuyAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=ci2aueqZ6CU","parent-reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1920,"cheight":1080,"cratio":1.77777,"dups":["15500916996737642772"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"2080120468"},"15715282039251464824":{"videoId":"15715282039251464824","docid":"34-8-16-ZC72877F76F2AEED5","description":"The term “founder” can be a tricky thing. Can someone really “found” a place that already had people living in it? Does a “founder” have to do anything other than just be the first?","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/4110280/ab1e89eb130ee00336cf0036a20251e7/564x318_1"},"target":"_self","position":"6","reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DYjEVBcxwMj0","linkTemplate":"/video/preview/15715282039251464824?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"The Founder Who Wasn't: Benjamin Pierce","related_orig_text":"Benjamin Pierce","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Benjamin Pierce\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=YjEVBcxwMj0\",\"src\":\"serp\",\"rvb\":\"Eq0DChQxNjYxMzA5Nzk5ODg4MDE0MDkwOAoUMTU5MTk2MjE2MDI5NzQxNzQ4MzgKEzg1NzQ0OTg1MDAyMzA2NTMzMjMKFDEyMjExOTg5OTkyNzMzODk3NTIyChQxNTUwMDkxNjk5NjczNzY0Mjc3MgoUMTU3MTUyODIwMzkyNTE0NjQ4MjQKEzQxNTgyMDYwOTAyNTA2NTU1OTMKEzg0OTUyMTQyNzI2NjIwNjczMjAKEzE1MTIwODAwMjIxNDExMzY2MDMKEzg2ODc2OTc3MTY0NDUyNDc4MjkKFDExNDE1MjE1NjQ0MTAyOTUwNDI2ChMxNjk5MDExMDA4OTA4NzA3MzAwChM4NjM0MDIzMTU2MDg3ODgzMTM4ChQxNzA5MDQzNzAwNDc4MjExODQ4NQoUMTI2NDc5MDY1NDk1ODIxNzg3ODcKEzQyOTI5MDE4MzQxNDg4NTg3MDAKFDE1MDM2ODM4ODEwMzQxMjMxNjgwChM0Mzg3MzE0NTIwMTcyNjA2NDM3ChMyOTI4Mzc5NjkyNjAxODE2NTExChM2NTI1MDc1NTI0MzExMTgxNTg1GhYKFDE1NzE1MjgyMDM5MjUxNDY0ODI0WhQxNTcxNTI4MjAzOTI1MTQ2NDgyNGquDRIBMBgAIkQaMAAKKWhobWx2cHN1Ymt1aGF6d2hoVUNzSUlld2gyYTgzLWNVT2Y3RzBCYnNnEgIAESoQwg8PGg8_E6AKggQkAYAEKyqLARABGniB_fz9Dv4CAPf7FP39BP8B7Q35Bvn-_gDt_QEECQAAAPsM_Ab5AQAABgX9-wAAAAAA9AADAP4BABQD-wYEAAAAD_0J8v0AAAALBAIJCgABAQr7_voD_wAADP0EAP8AAADy_wgF-_8AAPwICAUAAAAAB_v-CgAAAAAgAC3TpNo7OBNACUhOUAIqcxAAGmAVDAA-0QHlsBYE2fIO2fXk-A7_-NL2_ygh_yka0O8JOrO0GiH_MbQT7KMAAAAT3So5IQC7fyj37RYiQwbdHuMsKHED-dS8Ddb7I9Hz9QE9f-gcRSMAzjjODUrTJyMHEi0gAC2iFhk7OBNACUhvUAIqrwYQDBqgBgAAAMIAABzCAACEQgAA0EEAAFBBAADQwQAA6MEAAADAAAAAwgAAwEAAAARCAACkwgAAZMIAABBBAADwQQAAXMIAAIBAAAB0wgAAZMIAAIhCAACgwQAALMIAAEDBAABAQQAAmEEAAJBBAABwwQAAAAAAAABCAACoQQAAIMIAAJxCAABYwgAAUEEAAEjCAACAPwAAyEEAALpCAAAAwQAAQEAAAHBBAACAQAAAcMEAAJhBAAAwwgAAwMEAAGTCAABAQQAANEIAAPhBAADIwQAAwEAAAATCAACAwAAAOEIAAABBAABIwgAAQMAAAABAAACYQQAAgEEAABBBAAAowgAAisIAACBCAADYQQAAQEEAAJjBAACgQAAA4MEAAJBBAACoQgAA0MEAACBCAADAwQAA7MIAAJBBAADYQQAAMEIAAITCAABswgAAGEIAAPhBAACIQQAAKMIAAIDBAADgQQAAoEEAAIDAAADAwQAAWMIAAJZCAADowQAApsIAAABBAADAwQAAFMIAAPhCAAAMQgAAYEEAAJhBAADowQAAoEEAAKjCAABwQQAALEIAAEDBAADAQQAA0EEAAEDAAACkQgAAIMIAAATCAADYwQAAQEEAAIA_AADYQQAAbMIAAMjBAAAUwgAAAMEAAJDBAAAwwgAAsMEAAIxCAABsQgAAgEEAAFDBAADAwQAAfMIAAKDBAADIQQAAMMIAAMhBAAAwQQAAgEAAAJxCAAA4QgAAHMIAAJbCAABgwQAA2MEAAKjBAAAAwQAAgEAAABRCAADAwQAA8EEAAPBBAAAwwQAAgMEAALjBAAAwQQAAyMEAAADCAAAcQgAAmMEAAGjCAACgQAAA0EEAAEBAAAAEQgAAgsIAAETCAABIwgAAgEEAAIZCAABAQgAAUMEAABBBAAAwwQAAAEIAAMDAAACwQQAAwMEAANBBAACmwgAAosIAAKBCAAC2QgAAMEEAABDBAAAQQQAA-EEAAJpCAABwwQAAmsIAABxCAACQwQAAQEAAALDBAADawgAAgD8AAEBAAADYwQAAMEIAAODBAACAQQAAcMIAAKDAIAA4E0AJSHVQASqPAhAAGoACAAAQvQAAUL0AAAw-AABAPAAA4LwAAFC9AACYvQAAnr4AAAy-AABwPQAA6D0AANg9AAD4PQAA2D0AAKg9AABkvgAABD4AADA9AABQvQAAXD4AAH8_AABQvQAAJD4AAAw-AACAuwAAiL0AADC9AACAOwAADD4AABQ-AABwPQAA4DwAAIi9AACgPAAABD4AADA9AAAcPgAAir4AAK6-AADovQAAqr4AABS-AADgvAAA4DwAAFC9AABQvQAA6D0AAOA8AAAMvgAA4DwAADy-AABQPQAAqD0AAHQ-AACmvgAAqD0AAP4-AACIvQAAVD4AAFQ-AAAQPQAAEL0AACw-AACCviAAOBNACUh8UAEqjwIQARqAAgAA2L0AANi9AAA0PgAAIb8AAJ4-AACovQAAUL0AABA9AADgPAAA4LwAANi9AADovQAAUD0AAFy-AAC4PQAAEL0AAJg9AABFPwAAgDsAAK4-AAAQPQAAoLwAAIA7AABAPAAAFD4AAJi9AABUPgAAUD0AAGQ-AABUPgAAgLsAANg9AABwvQAA6L0AABS-AACAOwAAmL0AAHA9AAAkvgAAZD4AAPg9AABkvgAA-D0AAKA8AACIvQAAuL0AAH-_AABQvQAAXL4AAAQ-AACCvgAAoDwAAKA8AAD4vQAA4LwAAJg9AADgvAAA2D0AANi9AACoPQAAQLwAAEy-AACgvAAAQLwgADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=YjEVBcxwMj0","parent-reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["15715282039251464824"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"4158206090250655593":{"videoId":"4158206090250655593","docid":"34-11-3-ZD927CF9C6965C377","description":"http://www.cs.uoregon.edu/research/su...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/2425981/24ba352e17b897cf9939e9333a2fe01c/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/hgGpKgAAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"7","reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DucNJD6k8T6k","linkTemplate":"/video/preview/4158206090250655593?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Software foundations in Coq 1.2 - Benjamin Pierce","related_orig_text":"Benjamin Pierce","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Benjamin Pierce\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=ucNJD6k8T6k\",\"src\":\"serp\",\"rvb\":\"Eq0DChQxNjYxMzA5Nzk5ODg4MDE0MDkwOAoUMTU5MTk2MjE2MDI5NzQxNzQ4MzgKEzg1NzQ0OTg1MDAyMzA2NTMzMjMKFDEyMjExOTg5OTkyNzMzODk3NTIyChQxNTUwMDkxNjk5NjczNzY0Mjc3MgoUMTU3MTUyODIwMzkyNTE0NjQ4MjQKEzQxNTgyMDYwOTAyNTA2NTU1OTMKEzg0OTUyMTQyNzI2NjIwNjczMjAKEzE1MTIwODAwMjIxNDExMzY2MDMKEzg2ODc2OTc3MTY0NDUyNDc4MjkKFDExNDE1MjE1NjQ0MTAyOTUwNDI2ChMxNjk5MDExMDA4OTA4NzA3MzAwChM4NjM0MDIzMTU2MDg3ODgzMTM4ChQxNzA5MDQzNzAwNDc4MjExODQ4NQoUMTI2NDc5MDY1NDk1ODIxNzg3ODcKEzQyOTI5MDE4MzQxNDg4NTg3MDAKFDE1MDM2ODM4ODEwMzQxMjMxNjgwChM0Mzg3MzE0NTIwMTcyNjA2NDM3ChMyOTI4Mzc5NjkyNjAxODE2NTExChM2NTI1MDc1NTI0MzExMTgxNTg1GhUKEzQxNTgyMDYwOTAyNTA2NTU1OTNaEzQxNTgyMDYwOTAyNTA2NTU1OTNqiBcSATAYACJFGjEACipoaHJrY2h0ZHhqemlmZm1jaGhVQzFMUW15ei1DSjdSWVdWdGttY0hyOGcSAgASKhDCDw8aDz8TrxGCBCQBgAQrKosBEAEaeIEI9_oKAf8A8P8E_v8CAAH1AfcA-f79AO38B_oHAAAA8QsC-_kAAAD-CPMH_AAAAPf1_f39_wAAD_3-AwQAAAAR7gj3-wAAAAwBCwAJ_wEAAwAA_AMAAAAJBQQBAAAAAPME9wP6__8BAAEBAwEAAAAL9QUNAAAAACAALQd81Ds4E0AJSE5QAiqEAhAAGvABfgL6_4HwDfkVEQEANQnZAZvgSP9cHd0B0-0L_9jv1wD4KB0A7vL4AM4aBwC5GQgA3tXeABH35AA__-f--gwWAQf-EAFVyfUBRQIX_8_x8v7LBR3_B-0bACQHAv_-8vv86d4g__4N7AHH_OoAD_4_AR0NHQELGuMDzAAS_eYVEAL3-MX-5fkS_PLlHADt-QgDNfPf_wcM4gD2LPIE9hf_Bf7fF_wRLAMJOSP8AvMWF_LiA_8EEgHdAekjHf4-C-zy6O3vA__iDAlEC_n9Mvb1Bu0CBPYJzvgBuhjnAuvlAPzZ4_7q5S32_wMT7AQTCQTzIAAtEpASOzgTQAlIYVACKs8HEAAawAdXBwy_2oNavC--aLzB4iA-byBuPARL_TvyzWY-hLU1O3hURj0wHF49pD7iO_vS9jx0fMS-HITvPJnaLb2dRoI-fxZLvL4SyLznp9i9nFPJPADiLjsR_D--f2B4PRBEErwYFWe9oLy4OiDkBj086a496NS6uxNgZjozOKW8gCXbO1sAZLzwVQY9zYR1veY1wLziA9s9i4f3usFTyLwgB7o9gpE3vYiynLySsxA9dYqqPUvl7bvMG1S79iUbvPUZBr33PxA-F6BtvJ9J8jt3N6o8lhaPvcdBrjypxJA9EUiTPMdEsTuBpcS8YctmPZG0QDxQsQC9Z-jpvKrxEr2LPMU7575BPHfxIzwNM3k9YgY0PWVa9rwilK28dEuhPc7BszyFURq9R-B0vSDv1byE7Uw95PNqPVSQ-jw8lDI8St-aPJ5rrTtgbVG98CoVPYyR-DtVZIk99pfdPZjyRrzd83Q77w7fPDXx0Tks-ZO9YmBCPA8vo7yCMME8P_X6O9KEs7uEHAg8w7YqPYIKHDy3cwq8l4YrPaphPzvKmIw8EsewvKM_8jpUZB49WFUAOu96RLyvIsg8304nvWdqrbxICMW82hcWPGkYhLuaAGg9AFkjPWFxODwJXyk9YOcmvETSertoaby7s9UhvNUspzu8IwO-nKS5vIWrhztKuTY9zXqMvZNxmDcw9YM94TNovYi9UDyZew29jqmiu1UjKjsocQc9BlTNOp8xXbtlcqq9ZDs_PeXxE7uoNri8kHu0PRzS_rjiW5g9uiSYvB2fezm7zu07U4UVPYJvv7cCDwo8KB3POBHjSDp1-YA962f7vFE5jbj6dYw866qAvfNfxDiYH-4827hqvBEcxbhuxdk8CuTIvN_lAjped8Q8XcfyO0No_bgsqF68H86NuzfXBLqd2CO9pEQ8PcX-CDgoMYQ7g3wYvDgWeDmnwX48Mlx8u_h7zzgVlei8N-HeO-UqL7jrpGM8ooyivb9SZDkZ0IM7mGDAO_m6wLiUqPI8EALXPKNMzrZVmZQ7k0yDPZQPmbi4Pqy8bAb4vXn_ILiYKyg9KKcsvAyPiDioEcC7UiB9vMcyPbc2i_y8-9vvvJL7h7gc2bA9QBeNvNQr4TeKyia9YrzmvcnlcjgThow9Td1FOpDbnbjQMXs8aVmSPFHaRjiepqA8pKnevJ33ITeceWa7Yw7CvCQqZTiGECE9XHfTvd7zm7fK9HA9IuErPvHLijiJ8M-9k1G1Pe148biGVYy99FuKvSxR4Lbdk0w9J9T8uvx517cgADgTQAlIbVABKnMQABpgHwMAI8Ue6fkELSjkB-02yNfd-RS1_f8UxP8YNN8LHh7MqCXe_0bf6PSWAAAANN8IEwwADH8DzPVAxjk2weQPHqlIBvn4ixYSxR7DGQ7o-T37GSJDACT0yhlMIOMLLgwOIAAtblYbOzgTQAlIb1ACKq8GEAwaoAYAALhBAACAQAAA6EEAAOjBAADIQQAAdEIAAFhCAAA4QgAALMIAACBBAAAsQgAAAEEAACDBAACIQQAAmEIAAOjBAAAAQQAACMIAABjCAAAgwgAAQMIAAPDBAABswgAAukIAAKBBAAAEwgAAVMIAAILCAADEQgAAeEIAABDBAAAgQgAAhsIAAPhBAACQwgAAoMEAAIhCAABkQgAANEIAAGRCAACYwQAA0MEAACBBAAAgQQAAuEEAAPjBAAAQQQAAAEAAAABAAAAAwgAAsMIAACBBAAAAQQAAQEAAAAxCAACgQQAA8sIAAOBAAABQQQAAUEEAAKBAAAAAQAAAoMEAACDBAADgQAAAAMIAACBCAAA0wgAALMIAACzCAABgQgAA8EEAACDBAAAQQgAAOMIAAOjBAABwwgAA-EEAAMDAAADYQQAApMIAALBBAAC4wQAAjMIAAIC_AACeQgAAsMEAALjBAABsQgAAqEEAAADCAABAwAAAwEAAAADBAADgwAAANMIAAJjBAABAwgAAIEEAAKhBAAAAwQAAcEIAAOBBAAAAwgAAUMEAAEDBAADAwgAA0EEAAIrCAADoQQAAQMAAABzCAABwQQAAsEEAAFBBAACSQgAAQMAAAIDAAAAcQgAAuMEAAMjBAABAQAAAKMIAALjBAADAQAAA4MAAAADBAAAAwAAAgMEAABjCAABAwQAAQMIAAKBBAAB4QgAAQMEAAIhBAACoQQAAcEEAANDBAACSwgAAAEIAABDBAAAsQgAA4EAAABRCAACIQQAAQMIAACjCAACYQQAAIMEAABDCAADAwQAAAMAAAGDBAACAwQAAAMAAAKDCAACAvwAAOMIAACDBAAAwwQAAREIAAADBAAAAAAAAAAAAADjCAACQwQAABEIAACBBAAAwwQAApMIAACBCAACAwQAA0EEAACxCAACgQAAArkIAABzCAACgQQAA2EEAADTCAADiwgAAYMEAAATCAABQQgAA4EEAAKbCAADUQgAAYEEAAPBBAADgQAAAEMEAACDBAAAgQgAAiMEAAODAAACmwgAAcMEAAIDBAABgQSAAOBNACUh1UAEqjwIQABqAAgAA4LwAAKC8AABAPAAAxj4AACy-AADgvAAATD4AAA2_AACSvgAAZD4AADA9AABwvQAA-L0AAIi9AABMvgAAyL0AAGQ-AAC4PQAADD4AAP4-AAB_PwAAdD4AAJa-AAAQPQAAMD0AAJi9AACoPQAANL4AAEy-AACAuwAAmD0AAJi9AADoPQAAoDwAABA9AAAUPgAAij4AAI6-AAB0vgAAcL0AAIK-AABwvQAARD4AANg9AABwPQAANL4AACQ-AABAPAAAuL0AAFy-AABEPgAADD4AAEA8AAC2PgAA6L0AABC9AAAZPwAA2L0AABQ-AACIvQAAHD4AAEC8AAA0PgAA2L0gADgTQAlIfFABKo8CEAEagAIAADS-AABQvQAAmL0AAA-_AABwPQAA4DwAAIA7AAAwPQAAUL0AAJo-AABQvQAA2D0AAIg9AABAvAAAFD4AABC9AAAQvQAART8AAOC8AAD2PgAALL4AAOA8AAAwPQAAPL4AAIC7AAAQPQAAZD4AAJg9AABwPQAA-D0AAKC8AAC4PQAAmL0AAFy-AABwPQAAUD0AADA9AADaPgAA-L0AABC9AABsPgAAHL4AAMi9AACAOwAA4LwAAIi9AAB_vwAAbL4AAPi9AAC4PQAAQDwAABC9AABwPQAA4DwAAGw-AABQPQAAQLwAAFC9AADgvAAA4DwAAAw-AADoPQAAED0AACy-IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=ucNJD6k8T6k","parent-reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["4158206090250655593"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"2432937522"},"8495214272662067320":{"videoId":"8495214272662067320","docid":"34-2-4-ZFF6DBBFB16A2DE01","description":"http://crosstownarts.org/calendar/4353/ St. Louis-based draftsman and painter Benjamin Pierce is the latest artist in the Moonpie Project. His mural is on view now in the alley between Crosstown...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/2030327/70777731be21c2fadd6c3431fc55790f/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/wVplkAAAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"8","reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","isAdultDoc":false,"relatedParams":{"text":"The Moonpie Project Presents: Benjamin Pierce","related_orig_text":"Benjamin Pierce","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Benjamin Pierce\",\"url\":\"http:\\/\\/vimeo.com\\/221441628\",\"src\":\"serp\",\"rvb\":\"Eq0DChQxNjYxMzA5Nzk5ODg4MDE0MDkwOAoUMTU5MTk2MjE2MDI5NzQxNzQ4MzgKEzg1NzQ0OTg1MDAyMzA2NTMzMjMKFDEyMjExOTg5OTkyNzMzODk3NTIyChQxNTUwMDkxNjk5NjczNzY0Mjc3MgoUMTU3MTUyODIwMzkyNTE0NjQ4MjQKEzQxNTgyMDYwOTAyNTA2NTU1OTMKEzg0OTUyMTQyNzI2NjIwNjczMjAKEzE1MTIwODAwMjIxNDExMzY2MDMKEzg2ODc2OTc3MTY0NDUyNDc4MjkKFDExNDE1MjE1NjQ0MTAyOTUwNDI2ChMxNjk5MDExMDA4OTA4NzA3MzAwChM4NjM0MDIzMTU2MDg3ODgzMTM4ChQxNzA5MDQzNzAwNDc4MjExODQ4NQoUMTI2NDc5MDY1NDk1ODIxNzg3ODcKEzQyOTI5MDE4MzQxNDg4NTg3MDAKFDE1MDM2ODM4ODEwMzQxMjMxNjgwChM0Mzg3MzE0NTIwMTcyNjA2NDM3ChMyOTI4Mzc5NjkyNjAxODE2NTExChM2NTI1MDc1NTI0MzExMTgxNTg1GhUKEzg0OTUyMTQyNzI2NjIwNjczMjBaEzg0OTUyMTQyNzI2NjIwNjczMjBq_BYSATAYACIuGhcAChFoaHdzYnBtYXlqYXp5bnhoaBIBACoTwg8PGg8_E3-CBCQBkAQrzbe2BCqLARABGniB-_oBBP4CAAbzBwIECP0C8PwAA_v__wDmAwT9Cf0BAPwR_Pr8AQAA9ATx-wkAAAD_BAX_BP4BABX7AgwDAAAACQUQ9vkAAAACDAYFDgABAQ0EB_74AgABBgAIAAAAAADzC__--v8AAP4J_wMAAAAAAfwCEgAAAAAgAC3CpNo7OBNACUhOUAIqhAIQABrwAX_3D__bIhcB4uoe_5r07_7NSiT_RR8dAE4AAAEU_gsBVBz7ABgIOQAqHvIBsRTs_0cqE_5F6xUAl9sd_2oU1wC2Qwv_BO8cAPsnDgAL0iH_5BgH_iE_HAAN9gkD_-Dy_ufp-vwM9zgA9gL2CAIsFgHl1AkAGPQkAiswBwIz7Q0C69vX_eMJ7gH7tA78G-HpA-4jAwUYBfgIvOH4APz0A_kd4f_8BBviBTYYFAXtHwH1-vz59OLr_AH24eAE-gsPB-XvGvgS6Oz3-gYKAPP-7QIr1fH8CvMCBtPQ-PvRDPj_Bh_r5gzx8wAq1Pz44BMW-iAALU78Czs4E0AJSGFQAirPBxAAGsAHgO7TvhHew7rl6Ja88c8xvaoLXT28lJo9_-scvnSPVr2FdnO8lTO_vQ5Cqj1t2xw976syvotONr14Vny91SeUvMToWT0DWj89YHcKvikHk72W-NA7Yt6uvWEZm7y-Nx88wF9MPvKl5jzXtAC5cPW3vXon1Ty0JvG8NSUZPpKX1T0WsVa6dNQsPWuhPzxK4Ss9-4qaPNoqd7zlrcQ8EhYFPt8Kl7z_o0A98vhMvUITcTo4zre7F96APQMszTzVXK68B7cUu0488TzFtvs8nS7rva9Pb7xfmsO7kQzZvesi4DyJtbi8by7JPVerO73kROC8fyXBPclt4DwlIEa9YaWKvnOcWzxVBO47Y4SLPS-DVjwg8Ya8nYWYvN4QdLulDWU6YaJGPavAOj26F3M8Sv1mPRYEBbzXYCu8A5jyPRPKzDxcWeK8Yu8qPX5AuTqO2P66ijyZvRzBfDzgY7A89wY6PABCej2uJCA8DBgpvWrGvTwWpLo7laVsvUU8BLwTtdk8QdgEu-_u97xB8cY7-12oPYebnTwHzGg8P1WVvdWLqzzYlHU8VlZkvRE-jz3H7BM8_t3QO-MFY7o34V48-9IWPW5wfTxxYCi8ApgZvF0Gkj1hnAs8DdvLPX2S2z3V7SW6oQ7APfLjeTyo0gO8YtgBvhB6Mb1ZyLe65tKTPDeGBb0PH2A7uqQavkfb3zriftk60X3UPEcxijvmFLI7oI0sPsuuBb0gAg250vGyvSeoPLy36p06YEKAvYBfaL0Kzmg5y4TfPLDMVzvzYMW5ujASPlGDST1_ERc5Rm5XPaJnLr3yzJO4274HvWTq7j1srwg4pHtMPT1KALuSDh860SiIvZmpvzwcxfe1r9MDvQgUWrttWR05r8I3vX2oiT2q5MS5tctSvfDfvD1M8t-4XAy0PVVtkjxVNBo4MX9gPcYrmjzYCv04I6dqPQ3oYLyVW665JdcDvQS0uD2qJ6q4ojXQPAhkZTyLKMQ3urgSvUoJQb1sU7I4E2NZvc67Gz0_fzw4HzVSuhUb8zxmEsi4boJ0PYf47DwqPFu4CqGjvYJHar2_pY63ROsVPFj-QT1O2wc5OcuRPeLRYb26rGQ4plyGPcOb9Tw5waS3qh9FvWPQDTuECAU47eWIvGs0j73vCWo3If9xvI82jr3KEa64DZ-6O89cUb2hRa62axOCvO2KDz1X0t23kEoRPXcLi7sOHxu4YazKPHjTnT2TC4U45yBDvQt0cj0FdZW4WNwkPSm0l71pw0042OBzvcz8dL3MFo24IAA4E0AJSG1QASpzEAAaYEMOAP3KDf7k-ybc3wEA--_2H_cRx-f_GSL_0tfUEkYG4akw3P8Pn_kNoQAAABPVRNIgAOZ69R_M-dRFIvK8K0UHfy_ZrPU07xTozeypEFLqFPXrMgCwIN8WLug8QfMiVSAALUptFDs4E0AJSG9QAiqvBhAMGqAGAABcwgAALEIAALhBAAAkQgAAosIAAEDBAABQQQAAWMIAAODAAAAkQgAAqEEAAMBBAABgwgAA-EEAAABAAACwwQAAwEEAABjCAABAQAAASMIAADxCAABAwAAAoMAAAEBCAAAUwgAA8MEAAI7CAABQwQAAlEIAAMBAAADIwQAAQMEAAATCAABMwgAAmEEAALDBAABkQgAA4EAAADBBAACMwgAAgL8AAKDBAAAMQgAAVEIAACxCAAAsQgAALEIAACBBAAAEQgAAhsIAAIjBAADIwQAAAEIAAKhBAAAMwgAAAMAAAPDBAABAQgAAaEIAAAxCAAAQwgAA2EIAAMDBAABQQQAAQMAAALTCAAAQQgAA3MIAAEBBAAAsQgAAiMEAAHxCAAAAQgAAkkIAAKDBAAA8wgAAHMIAACBCAADoQQAAMEEAAEBAAADIQQAAMMIAAOBAAABMQgAAgMAAAJDCAAD4wQAAdEIAAMBAAAAYwgAA0EEAAERCAACGwgAA6MEAADDBAAAIwgAAuMEAANjBAACIQQAADEIAAKDAAADQQQAAWMIAAAzCAABAwAAA6MEAAKJCAACAPwAAPEIAAKBBAAAQQgAA4MAAAIBBAACIwQAAUEEAAJRCAACiwgAAREIAACzCAAAoQgAAoEEAACRCAACAQQAAiMEAAADCAADQwQAAAEAAAI7CAACAQAAA4EAAANjBAABEwgAAjEIAADDBAACAvwAAFEIAAMjBAAB4QgAAgsIAAHBCAABYwgAAgEEAAIA_AABAQAAAgL8AAKjBAAAkQgAA4EEAAJjBAADgwAAAEMEAAADAAAAQQQAAAAAAAKBBAACYwgAAIEEAANjBAACAPwAAMEEAAKBBAAAkwgAApkIAAARCAACAwAAAmMEAAABBAACwQgAAKEIAAIDAAAAwQQAAVMIAAKDBAACIQQAAMMEAABDCAAAAQAAATMIAAJ5CAACYwQAAoMEAAFzCAACYwQAASEIAABRCAACAwAAA8EIAAEBBAADAQgAALMIAAEBAAACAvwAAKEIAAGBBAAAwQQAAuMIAAKBBAAAkwgAA8EEgADgTQAlIdVABKo8CEAAagAIAAEC8AACovQAAlj4AACw-AAAEvgAAgDsAAGw-AADCvgAAFL4AAKC8AAC4PQAAEL0AAEQ-AADYvQAABD4AAFC9AABkPgAA4LwAALg9AACKPgAAfz8AAIC7AAAEvgAA2D0AAJY-AACAuwAA2L0AAHy-AAAcPgAA1j4AAOA8AAAsPgAANL4AABw-AADgPAAADD4AAPg9AAAsvgAAur4AAES-AAA8vgAAqD0AAMi9AACWPgAA6L0AAMi9AABsPgAAuD0AADS-AADYvQAAHL4AADA9AAAMPgAAED0AACS-AABEPgAA-j4AABA9AACGPgAA2D0AAKi9AAC4vQAAuD0AACS-IAA4E0AJSHxQASqPAhABGoACAAAQvQAAJL4AAFw-AAA1vwAA4DwAABQ-AABUvgAALD4AAAy-AABUPgAAkr4AALi9AADgPAAAUD0AAMi9AABAPAAAND4AAGU_AACIvQAAwj4AAOi9AABQvQAAQDwAAAS-AABwPQAAEL0AACw-AABQPQAATD4AALo-AACgPAAAMD0AAEC8AAAUvgAAcD0AAEQ-AADgvAAAQDwAAIi9AAAwPQAATD4AACy-AABMvgAAgLsAAKq-AACYvQAAf78AAHA9AAB0vgAAPD4AAFC9AACgPAAAUL0AAEw-AACAOwAAuD0AAIA7AAB8PgAA4LwAAKi9AAC4PQAAyL0AAMg9AAAUviAAOBNACUh8UAEwCTgBSgBSCQgPEJICGAAwAWAAaAA,\"}","related_url":"http://vimeo.com/221441628","parent-reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1920,"cheight":1080,"cratio":1.77777,"dups":["8495214272662067320"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"vimeo.com","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"275755760"},"1512080022141136603":{"videoId":"1512080022141136603","docid":"34-5-1-Z0AB34DFB3ED25E8B","description":"http://www.cs.uoregon.edu/Activities/summerschool/summer10/ Picking up where Andrew Tolmach's lectures (ALSO Uploaded HERE, Watch Those First) leave off…","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/2838249/b989ad0eafa0285be3f61b68a5997d47/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/A2AJJgAAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"9","reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","isAdultDoc":false,"relatedParams":{"text":"Oplss10: Benjamin Pierce: Software Foundations in Coq 1/6","related_orig_text":"Benjamin Pierce","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Benjamin Pierce\",\"url\":\"http:\\/\\/vimeo.com\\/18450270\",\"src\":\"serp\",\"rvb\":\"Eq0DChQxNjYxMzA5Nzk5ODg4MDE0MDkwOAoUMTU5MTk2MjE2MDI5NzQxNzQ4MzgKEzg1NzQ0OTg1MDAyMzA2NTMzMjMKFDEyMjExOTg5OTkyNzMzODk3NTIyChQxNTUwMDkxNjk5NjczNzY0Mjc3MgoUMTU3MTUyODIwMzkyNTE0NjQ4MjQKEzQxNTgyMDYwOTAyNTA2NTU1OTMKEzg0OTUyMTQyNzI2NjIwNjczMjAKEzE1MTIwODAwMjIxNDExMzY2MDMKEzg2ODc2OTc3MTY0NDUyNDc4MjkKFDExNDE1MjE1NjQ0MTAyOTUwNDI2ChMxNjk5MDExMDA4OTA4NzA3MzAwChM4NjM0MDIzMTU2MDg3ODgzMTM4ChQxNzA5MDQzNzAwNDc4MjExODQ4NQoUMTI2NDc5MDY1NDk1ODIxNzg3ODcKEzQyOTI5MDE4MzQxNDg4NTg3MDAKFDE1MDM2ODM4ODEwMzQxMjMxNjgwChM0Mzg3MzE0NTIwMTcyNjA2NDM3ChMyOTI4Mzc5NjkyNjAxODE2NTExChM2NTI1MDc1NTI0MzExMTgxNTg1GhUKEzE1MTIwODAwMjIxNDExMzY2MDNaEzE1MTIwODAwMjIxNDExMzY2MDNq7wgSATAYACIwGhgAChJoaGdoeWNuaXhocmN1amxjaGgSAQAqFMIPDxoPPxPVIoIEJAGQBCvS19MCKosBEAEaeIEI9_oKAf8A8_gIAQIE_gEB_Pb8-P39AO38B_oHAAAA6w759AD_AAD-CPMH_AAAAPHw-vsCAAAAD_3-AwQAAAAR7gj3-wAAAA0KAwAI_wEBBQH4-AP_AAANAQoFAAAAAPME9wP6__8B_wcF_QAAAAD--P4KAAAAACAALQd81Ds4E0AJSE5QAiqEAhAAGvABfw4YAo8K_vlB8doAFQD8AqL7DP8zGeYAyPztAMkD5wAGFBgAyuPv__Ag9__aCwgA_-XiAPzw-QAy-Q__Nw0oABwCAQBE1PgBMgD9AO72_P_zChL_EQckABAPCAAX_-H_CPsaAf8K8AEF8ekACfYb_w8YFf8kD_gB9AYKAeYaAAILBOb-DAQEAOgDCPbw-gYDDO7nAfsS7v_vHf4E-A8KA_HzCAAYEPkFKR7s_AoGAfrhDfoCKA76BhIbHP8pOPMA5fn8-9_2-wAVCgkGE-EMBxP-CvXxzQcB6Bv5_AP6Evr0GAAL-RP7AAEC_gAJ8Pj4IAAt9Bc3OzgTQAlIYVACKnMQABpgOwgAGOst6M0MK_Lh9wUVxQDq5harA_8m7AAKM933EzbKtUP1_zzC9vSiAAAADeX__SEA9X_79PI01kQTvtkBIv5z4hn9r-oFt8-z7wIIIw75HSZuAOcCoRVe7OBKKhL3IAAtMEcZOzgTQAlIb1ACKo8CEAAagAIAANi9AADoPQAAJD4AAJ4-AACIvQAAUL0AACw-AAAFvwAARL4AAJg9AABQvQAADL4AABC9AACIPQAAqL0AAEA8AAAsPgAAmD0AAOg9AACyPgAAfz8AAJg9AAAsvgAAQDwAAHC9AAAwvQAAqD0AADy-AAAUvgAA4DwAAFA9AAA0vgAAqL0AAIi9AACgPAAA-D0AAEw-AACCvgAAVL4AACy-AACKvgAABL4AAKA8AAAUPgAAND4AADA9AACOPgAA4LwAAKi9AACOvgAAyD0AABA9AABAPAAALD4AAEy-AACAuwAAGz8AAOC8AACIPQAAQDwAAKg9AABAvAAAUD0AACS-IAA4E0AJSHxQASqPAhABGoACAADovQAAuD0AAOC8AAAJvwAAcD0AAKA8AAA0vgAAQLwAADy-AADKPgAA4LwAAIg9AACAuwAADL4AAOC8AACAuwAAQLwAAFM_AAAEPgAA0j4AAKi9AAC4PQAAQLwAABy-AAAQvQAAEL0AAHw-AACIPQAAuL0AAEQ-AACYPQAAuD0AAJi9AAAQvQAAML0AAKC8AAAQvQAAvj4AAI6-AACovQAAiD0AAJi9AAAcvgAAoLwAAIg9AABQvQAAf78AABS-AABwPQAAyD0AACw-AADovQAAgDsAAKC8AABcPgAAQDwAAEA8AAD4PQAAmL0AAJg9AACIPQAADD4AADA9AABUviAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://vimeo.com/18450270","parent-reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":640,"cheight":424,"cratio":1.50943,"dups":["1512080022141136603"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"vimeo.com","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"3625368136"},"8687697716445247829":{"videoId":"8687697716445247829","docid":"34-9-11-ZAA1AB36D1906496C","description":"http://www.cs.uoregon.edu/research/su...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/4081000/7fc15845dc6c3b13cc8b21cb24a1409b/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/cH_pfQAAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"10","reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DL05lhXTutAs","linkTemplate":"/video/preview/8687697716445247829?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Software foundations in Coq 3.2 - Benjamin Pierce","related_orig_text":"Benjamin Pierce","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Benjamin Pierce\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=L05lhXTutAs\",\"src\":\"serp\",\"rvb\":\"Eq0DChQxNjYxMzA5Nzk5ODg4MDE0MDkwOAoUMTU5MTk2MjE2MDI5NzQxNzQ4MzgKEzg1NzQ0OTg1MDAyMzA2NTMzMjMKFDEyMjExOTg5OTkyNzMzODk3NTIyChQxNTUwMDkxNjk5NjczNzY0Mjc3MgoUMTU3MTUyODIwMzkyNTE0NjQ4MjQKEzQxNTgyMDYwOTAyNTA2NTU1OTMKEzg0OTUyMTQyNzI2NjIwNjczMjAKEzE1MTIwODAwMjIxNDExMzY2MDMKEzg2ODc2OTc3MTY0NDUyNDc4MjkKFDExNDE1MjE1NjQ0MTAyOTUwNDI2ChMxNjk5MDExMDA4OTA4NzA3MzAwChM4NjM0MDIzMTU2MDg3ODgzMTM4ChQxNzA5MDQzNzAwNDc4MjExODQ4NQoUMTI2NDc5MDY1NDk1ODIxNzg3ODcKEzQyOTI5MDE4MzQxNDg4NTg3MDAKFDE1MDM2ODM4ODEwMzQxMjMxNjgwChM0Mzg3MzE0NTIwMTcyNjA2NDM3ChMyOTI4Mzc5NjkyNjAxODE2NTExChM2NTI1MDc1NTI0MzExMTgxNTg1GhUKEzg2ODc2OTc3MTY0NDUyNDc4MjlaEzg2ODc2OTc3MTY0NDUyNDc4Mjlqtg8SATAYACJFGjEACipoaHJrY2h0ZHhqemlmZm1jaGhVQzFMUW15ei1DSjdSWVdWdGttY0hyOGcSAgASKhDCDw8aDz8TrhGCBCQBgAQrKosBEAEaeIEI9_oKAf8A8P8E_v8CAAEB_Pb8-P39AOH6A_YH-wIA8QsC-_kAAAAVB_AJAAAAAPf1_f39_wAAFAP7BgQAAAAR7gj3-wAAAAwBCwAJ_wEABgj_AAT_AAAGAAkAAAAAAPIL__76_wAA_wcF_QAAAAAH-_4KAAAAACAALQd81Ds4E0AJSE5QAiqEAhAAGvABf_T_AJv__PwWF-8AJQLOAZrfSf9BIOAAyeASAbLz9QDjEhT_6ukRAKoj-v-0E-3__97aACEE2QFA_-f-BwAWABUE9wA92P0ASfIFAPAE2f_gAT3-IugxAjYB_f8bDuT96d4h__n2CAXX9NMAD_4_ASchIgUPDPwA5RYcAOYVEAIQHd38zxgJAefYFPzr-PcGNvPf_wcM4gDyTuUHAg0ECwAAAPsrL-8BJgwHDgEXAfHaEPgDKuz3_xYhJP4_C-zywwXqAeXuDfwS7_3_OQMA_PMUBvv60wMF4gH0_vfhEfzl-gL25S71_-Ec7PcUCQTyIAAtpDcROzgTQAlIYVACKnMQABpgJP0AIc8ozO8NIQ_24_cjzMPX7CfP7f8fwP8bMNkDJxvZpDDs_yvf9veaAAAAM9LrKAAA83_93RBE2E8PxAf4FsxP7_r3luYb4wGsLQ7RBFDEGxtLACT_rQZdKd8UGwEMIAAtcaoZOzgTQAlIb1ACKq8GEAwaoAYAAJBBAACwQQAAMEEAACTCAACgQQAAVEIAAIhCAABIQgAAOMIAAHBBAADwQQAAYMEAADDBAABgQQAAjkIAACDCAACgQAAAJMIAADjCAAAEwgAASMIAACDCAADwwQAAlkIAAABAAAAAwQAAEMIAACTCAAC-QgAAXEIAABzCAAAsQgAArMIAAKhBAACqwgAABMIAAIpCAAAgQgAALEIAAHBCAADIQQAAQMAAABRCAADYQQAAIMEAAJDBAAAQQQAAAEEAAMDAAAAAwgAAtsIAAAjCAABAwAAAsMEAAGRCAACoQQAAqMIAALBBAACIQQAAUEEAADBBAAC4wQAAQMEAABTCAABAQQAA4MEAAGRCAADwwQAAcMEAACzCAABcQgAAAEEAAKBAAAAAQAAA0MEAAODAAABIwgAACEIAAEBBAACYQQAAqMIAAOhBAAAswgAAeMIAAEBAAACUQgAAQMAAABTCAAAoQgAAEEIAALDBAACAwAAAwEAAAJDBAACIQQAASMIAAAAAAABEwgAA4EEAADBBAAAAwAAAMEIAADxCAACIwQAAAEAAALDBAACmwgAAoEEAAEjCAAA4QgAAQMEAAGzCAADwQQAAHEIAAMhBAABwQgAAwMAAAJjBAAAIQgAAQMEAABBBAAAgwQAAqMEAABTCAAAgwQAAAAAAAIDBAACAvwAAmMEAADzCAAAAwgAA6MEAACRCAABQQgAAUMEAAAxCAAAEQgAA-EEAACzCAAAgwgAAWEIAACDBAABkQgAAMMEAAABCAABAwAAA4MEAADzCAACAQQAAgEAAADDCAAA0wgAAgD8AACDBAADIwQAAoMAAAMLCAABAQAAARMIAAOBAAAAAQQAAYEIAACDBAADgQAAAgL8AADzCAAAwQQAAHEIAAMBAAAAAwgAAhsIAAEhCAAAYwgAAqEEAAABCAACAQQAA1EIAAODBAABAQQAAuEEAAGjCAACqwgAA4MEAAEjCAAA0QgAAJEIAAMDCAADIQgAAfEIAAFhCAADgQAAAoMAAAEDBAAAsQgAA0MEAAJDBAACawgAAoMAAAGDBAAAAwSAAOBNACUh1UAEqjwIQABqAAgAALL4AAEA8AAAcPgAADz8AABA9AACIvQAAbD4AAAu_AACmvgAAqD0AAHC9AAAEvgAAQDwAAKA8AABwPQAARL4AAIo-AAAsPgAAmD0AAMY-AAB_PwAAFD4AAHS-AACIvQAAUD0AAHS-AACAOwAAZL4AADC9AAAcvgAADD4AAHC9AAA8PgAAUL0AABA9AAC4PQAAqD0AAI6-AACevgAA4DwAAIa-AAA8PgAAgDsAAKA8AACYPQAATL4AAHQ-AAC4vQAAgLsAAIi9AADYPQAAHD4AAFC9AAA8PgAA2L0AAOC8AAARPwAAQLwAAAQ-AADYvQAA2D0AAES-AAAUPgAAEL0gADgTQAlIfFABKo8CEAEagAIAAFy-AAAQPQAAgDsAABe_AABQvQAA4LwAAJi9AADIPQAAgDsAAKI-AAAQvQAA2D0AABA9AAAQvQAABD4AAIA7AADIvQAAUT8AAHA9AADqPgAA4LwAAKA8AAAQvQAALL4AAIi9AACIPQAAfD4AAAQ-AABQvQAAND4AAFC9AADIPQAAQLwAAIa-AAAQPQAA4DwAAHC9AAC6PgAARL4AAIC7AADYPQAALL4AAHC9AADgvAAAuD0AALi9AAB_vwAAPL4AAKi9AACIvQAAML0AAIC7AABAvAAAoDwAAKY-AACIPQAAQLwAAKA8AAAQPQAAUD0AABw-AAAwPQAAmD0AABS-IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=L05lhXTutAs","parent-reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1270,"cheight":720,"cratio":1.76388,"dups":["8687697716445247829"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"3343445309"},"11415215644102950426":{"videoId":"11415215644102950426","docid":"34-5-0-Z5046589090F6A130","description":"http://www.cs.uoregon.edu/research/su...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3142607/36ff8f5720b245fbabbede16fe57685d/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/FY_GYQAAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"12","reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DiNToE0TxB-8","linkTemplate":"/video/preview/11415215644102950426?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Software foundations in Coq 3.3 - Benjamin Pierce","related_orig_text":"Benjamin Pierce","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Benjamin Pierce\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=iNToE0TxB-8\",\"src\":\"serp\",\"rvb\":\"Eq0DChQxNjYxMzA5Nzk5ODg4MDE0MDkwOAoUMTU5MTk2MjE2MDI5NzQxNzQ4MzgKEzg1NzQ0OTg1MDAyMzA2NTMzMjMKFDEyMjExOTg5OTkyNzMzODk3NTIyChQxNTUwMDkxNjk5NjczNzY0Mjc3MgoUMTU3MTUyODIwMzkyNTE0NjQ4MjQKEzQxNTgyMDYwOTAyNTA2NTU1OTMKEzg0OTUyMTQyNzI2NjIwNjczMjAKEzE1MTIwODAwMjIxNDExMzY2MDMKEzg2ODc2OTc3MTY0NDUyNDc4MjkKFDExNDE1MjE1NjQ0MTAyOTUwNDI2ChMxNjk5MDExMDA4OTA4NzA3MzAwChM4NjM0MDIzMTU2MDg3ODgzMTM4ChQxNzA5MDQzNzAwNDc4MjExODQ4NQoUMTI2NDc5MDY1NDk1ODIxNzg3ODcKEzQyOTI5MDE4MzQxNDg4NTg3MDAKFDE1MDM2ODM4ODEwMzQxMjMxNjgwChM0Mzg3MzE0NTIwMTcyNjA2NDM3ChMyOTI4Mzc5NjkyNjAxODE2NTExChM2NTI1MDc1NTI0MzExMTgxNTg1GhYKFDExNDE1MjE1NjQ0MTAyOTUwNDI2WhQxMTQxNTIxNTY0NDEwMjk1MDQyNmqIFxIBMBgAIkUaMQAKKmhocmtjaHRkeGp6aWZmbWNoaFVDMUxRbXl6LUNKN1JZV1Z0a21jSHI4ZxICABIqEMIPDxoPPxOfAYIEJAGABCsqiwEQARp4gQj3-goB_wDw_wT-_wIAAQH89vz4_f0A4foD9gf7AgDsDwn6BAAAAA4I8_79AAAA8fD6-wIAAAAP_f4DBAAAAB35AvX9AAAADAELAAn_AQAEAv4FA_8AAAYACQAAAAAA8gv__vr_AAD9BP79AQAAAAf7_goAAAAAIAAtB3zUOzgTQAlITlACKoQCEAAa8AF_BAkBhAv--Vn9DwAMBOgAiuP-_1EZ4gDf5P0A6xDXAe8X-ADZFgIA8isHAb4Q7_8A5PD_FPX0ADj_6v8I6B8AFPUAATXd_QA-4wf_5gfq__ILFP8F6SwAC-gMAQT-9AD0zQD_3ObrA9312QAN_jcBCRf6_QcW9v_c-h_-4w___Nfk9v_s7g0H--YJ_vUPDv0lBO4D9xj2-fUS-AD-7AoF_OUD-ycqB_83_xAC4CID_Nn-7_8W9v0E8i_8_xoTDAHu4Af47REBAgD5_AML3_8KFfX7-wDGBg_uDvcC7ekA_eELAfPoKPf_CQID-Pv4-fEgAC3NHSc7OBNACUhhUAIqzwcQABrAB4yfBr8qNiu9ed4VvL-Nfj0erhA9NDDNvFX-sD02lny61Rg-PDAcXj2kPuI7-9L2PHR8xL4chO88mdotvZjdIz6BSZC9Q_T1vGLKxr1awF88A-cxvBH8P75_YHg9EEQSvLMVSr2I-OK8LtW7PJNvBj5vsCE9nJAOvOw_obyBKom8DFGqPPBVBj3NhHW95jXAvJT2Bj6qAKk8EzLUufAWSD5DMFi8MIoUvb_jSj32C1Y9lvn9vBaSYr0RXnW7PvTTvEmcFT516gW9KJmcvOSDP7t8Az29Kw6MPEssjz1binW8cxebu4GlxLxhy2Y9kbRAPJeCP712PP-7B8ihvO6TyLzvdCc9DxYGvPX1_D2cogg96ytZvPzrrrvuHmU9iAOyPAATIr2dL7a8CVq3vD0mVz13EaY8I7YAPemNybznwu085O6YuxIPC7wkFLY87iitO1VkiT32l909mPJGvCOi2LzEtTU94cCavFhrbb1Cj967iz7VvPKdUrvMyTA95L1qvMLW0TwFSIk9mR3YPFpGz7xc70093E--OwkiQTzeXDe9ywniux1twT05aRA9LgV_vHY0Dj1phwS9sjJYu8d5Sbx1Z5o6zRsru6d25j1cfIC8gpucOwlfKT1g5ya8RNJ6uwHAsbxAds275kjbOr3web3OzMK86Zzhu4oytT3eyDy9PcFLujlupzxQA6G9ENlVO2Ujhr2WBOi8E_aKOgsk6D2rAS-97MnTOcSEh72Cxxc9synIuFiF9rvSV5s9iQr3twGj6z0S2108M-6HOAwSET0qUgK7HkeVOAuJybsVtQo9903MOYPhVz2G3LG8TLIUucebIT1MFAa91Nv6Ot4Y57wiKRO9S_KJuS5AtrzMAtK8WOONOYTTpzx7MOm8eLIGuHDpXb0X5Hy7J0UOtp3YI72kRDw9xf4IOAHyqTqmZBS94-TZOA0zuLu6-Ju8sL4JumuX27wgm6Q8Su5xtyRGzzxuXIW9SVyfOOIEJj18JbW8h5kduLvPVj17JZo91swTOHuSqjwvgks9YQ3vuJHEIb2LDKy9yCZ8OOhOED3XpcY8aSKEOO6Jj71rn6m9cmQvN03aVL2G95a9N4MBt0uPuz1CPgi9PGN8OBrerL3mIdO9aELKOMKk2D02Kia9e7QtuVBxXD146rY8R2aBOFmsvDxjuDq8zoQdOLjD7LvzBS09d_7_tIYQIT1cd9O93vObt8r0cD0i4Ss-8cuKOChl0r02HYE99R_UuJ_HuL0KHH-9mzfYt84rqLz6qQc6PVXjNyAAOBNACUhtUAEqcxAAGmASFAAkzBzG2fIjDeL9BzDPzujwH8oF_yTJ_yQTygYNK-aULOD_LN4CC5kAAAA2xvwHDwDhf_7TJknYOg6yCAcj6U73Iwiv1RDhAafmIO8FT9wlB0UABgGiB04U7hc6HwMgAC3eJxw7OBNACUhvUAIqrwYQDBqgBgAAAMAAAEBBAABAQgAARMIAAABBAAAQQgAAqEIAAPBBAAAowgAAEMEAAEBAAACAQQAAAEEAAEDAAAAkQgAAwMEAABBBAAAkwgAAAMIAAIjBAABMwgAAYMIAAMDBAABgQgAAgEEAANhBAAAIwgAA6MEAAL5CAACAQgAAAMIAAJhBAACSwgAAsEEAALLCAAA4wgAAVEIAADBCAABkQgAAeEIAAIDBAADgwAAAcEEAAGBBAACgwQAAiMEAAOBAAADAQAAAMMEAALDBAACywgAAoMEAACBBAAAgwQAAZEIAAIBBAACWwgAAsEEAANhBAABMQgAAwMAAACjCAACwwQAAMMIAAEBAAADAwQAAREIAAETCAADgwQAAEMIAAFxCAAAQQQAAgEAAAOBAAADYwQAAIMEAACDCAADgQQAAQMAAACBCAACSwgAACEIAAHzCAACcwgAAoMAAALhCAACAvwAACMIAABBCAAAAQgAAwMAAAIC_AAAAwAAAAMEAAHBBAABgwgAAmEEAABzCAADAQQAAAEIAACDBAADoQQAASEIAACTCAACAwAAAAMAAAKbCAADwQQAATMIAAEhCAAAAQAAAcMIAAJBBAAA0QgAAwEEAAJRCAACgQQAAOMIAADRCAAB8wgAAkEEAAKBBAACgwAAAKMIAAHDBAADAwQAAgEEAALDBAACQwQAAIMIAAODBAAAwwgAAJEIAAIZCAABAwAAASEIAAPhBAADQQQAA0MEAAAjCAABkQgAAgD8AADhCAACgwAAA0EEAADBBAADwwQAANMIAALBBAADAwAAAJMIAAJDBAAAwwQAAEMEAAAzCAABwwQAAysIAAFBBAAAEwgAAIEEAAAAAAACEQgAAoMAAAGBBAAAAQAAAgMIAAIA_AABgQgAAwEAAAFjCAAB0wgAA2EEAAFDBAABAQQAAAEEAAJBBAACqQgAA4MEAAJBBAAAsQgAATMIAALDCAADAwQAATMIAAERCAACQQQAAssIAAK5CAAAsQgAA0EEAAMBBAACAPwAAQMAAAHhCAABwwQAAmEEAAILCAABgQQAAoEAAAEDBIAA4E0AJSHVQASqPAhAAGoACAABUvgAA4LwAADQ-AAAPPwAAUD0AAIC7AAAcPgAA_r4AALK-AABwPQAAqL0AAIA7AACgPAAAqD0AAHC9AAAEvgAAZD4AABQ-AACIvQAAij4AAH8_AAAcPgAATL4AAOC8AACYPQAAhr4AAIA7AACOvgAA2L0AAJi9AAAkPgAAQLwAALg9AADgvAAAiL0AAHA9AAA8PgAA6r4AAM6-AAAwvQAAhr4AABQ-AADgvAAAED0AAPg9AAAMvgAAFD4AADC9AACYvQAABL4AANg9AABAvAAAqL0AANg9AABEvgAA4LwAAB0_AABAPAAA6D0AALg9AADoPQAA2L0AAPg9AAAMviAAOBNACUh8UAEqjwIQARqAAgAAgr4AAOA8AAAQPQAAG78AAIA7AADgvAAAyL0AAMg9AACAOwAAkj4AAHC9AAC4PQAA2D0AABC9AAAkPgAAgDsAAIi9AABVPwAAmD0AAM4-AABAvAAAqD0AAIg9AAAMvgAA6L0AAIg9AACKPgAAHD4AAHC9AAAEPgAAEL0AALg9AADgPAAAir4AAIC7AAAQPQAA6L0AALY-AAAsvgAAoDwAANg9AAAUvgAAEL0AABC9AACYPQAAuL0AAH-_AAAsvgAAEL0AAOC8AAAQvQAAoLwAAEC8AADYPQAAtj4AAKg9AABAPAAAED0AAIA7AACAuwAADD4AAOA8AACoPQAALL4gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=iNToE0TxB-8","parent-reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1270,"cheight":720,"cratio":1.76388,"dups":["11415215644102950426"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"574698779"},"1699011008908707300":{"videoId":"1699011008908707300","docid":"34-11-6-ZB65894499976CB24","description":"http://www.cs.uoregon.edu/research/su...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3028028/1025ba0a227d99d83cc82d2596f2c8b4/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/RXpJJAAAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"13","reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DQ0Fy7I1C13s","linkTemplate":"/video/preview/1699011008908707300?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Software foundations in Coq 1.3 - Benjamin Pierce","related_orig_text":"Benjamin Pierce","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Benjamin Pierce\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=Q0Fy7I1C13s\",\"src\":\"serp\",\"rvb\":\"Eq0DChQxNjYxMzA5Nzk5ODg4MDE0MDkwOAoUMTU5MTk2MjE2MDI5NzQxNzQ4MzgKEzg1NzQ0OTg1MDAyMzA2NTMzMjMKFDEyMjExOTg5OTkyNzMzODk3NTIyChQxNTUwMDkxNjk5NjczNzY0Mjc3MgoUMTU3MTUyODIwMzkyNTE0NjQ4MjQKEzQxNTgyMDYwOTAyNTA2NTU1OTMKEzg0OTUyMTQyNzI2NjIwNjczMjAKEzE1MTIwODAwMjIxNDExMzY2MDMKEzg2ODc2OTc3MTY0NDUyNDc4MjkKFDExNDE1MjE1NjQ0MTAyOTUwNDI2ChMxNjk5MDExMDA4OTA4NzA3MzAwChM4NjM0MDIzMTU2MDg3ODgzMTM4ChQxNzA5MDQzNzAwNDc4MjExODQ4NQoUMTI2NDc5MDY1NDk1ODIxNzg3ODcKEzQyOTI5MDE4MzQxNDg4NTg3MDAKFDE1MDM2ODM4ODEwMzQxMjMxNjgwChM0Mzg3MzE0NTIwMTcyNjA2NDM3ChMyOTI4Mzc5NjkyNjAxODE2NTExChM2NTI1MDc1NTI0MzExMTgxNTg1GhUKEzE2OTkwMTEwMDg5MDg3MDczMDBaEzE2OTkwMTEwMDg5MDg3MDczMDBqiBcSATAYACJFGjEACipoaHJrY2h0ZHhqemlmZm1jaGhVQzFMUW15ei1DSjdSWVdWdGttY0hyOGcSAgASKhDCDw8aDz8TogiCBCQBgAQrKosBEAEaeIEI9_oKAf8A8P8E_v8CAAH1AfcA-f79AO38B_oHAAAA8QsC-_kAAAD-CPMH_AAAAPf1_f39_wAAD_3-AwQAAAAd-QL1_QAAAAwBCwAJ_wEAAwAA_AMAAAAJBQQBAAAAAPME9wP6__8B_AgIBQAAAAAL9QUNAAAAACAALQd81Ds4E0AJSE5QAiqEAhAAGvABefv0AZL99_oIBe4ADQTnAIHtHP8xEswAzgENAMMD5AAFIQkAxvD_AOUaEf_DBBUA_-LfACf7_AA36ur_G_Ul__0FBAEyzw4BPQIU_-z1-__OEDIBEeAaABb7CwAO897_B9cZ_gIF9_7gC9kBDv44ARoMGgEm_Pf_0gAQ_vQlFAP4--EA6Qwd_fvmCf7gEvoHJgTuAxAV-_7pHesCBhr7BBT3BwI2Gu_8Mf0BBPUTFPPZA_37IgT-COwPDfsNGvX6zuf__-nwDPwQ8f3_LPf2BfICEPf72AMFwhXqAunoEwTpBwUB3A7wCfsd9f8L-AH8IAAtQVolOzgTQAlIYVACKs8HEAAawAf9FgG_WNHVPFS3hrvvjNY9egg5PYrJG714tAE-OeoNPQ4MRTtNE5Y9oxWJPUFvAD10fMS-HITvPJnaLb3FVYU-VDBvvZt_KrwOMQ6-TQaRPEfoQrz1oWu-hNMHPXQ1w7uQ5ym9UQSnPAG7_zyrTaI9VNwdvQl2Er3kw8c8w_IguoOa67zcahk69RFYvRN8WL30Pbk9-nmVO1QtM7zhlwo-caiUvbqrbLu_40o99gtWPZb5_bxwDhU8vm8XvWUxFrwBhTo-G_90vPjt1ruShbk8_WetvTl-qLtjnP88vsyDuzMKNDtucD29QzVqPc6A5TuCJIe8ID6VvBTR77y5asM8lfW2PIxtLTz19fw9nKIIPesrWbzc74W93Qn2Pcid67q7sQW9rixxvY-3hbrPfKM9uDJSPafQVDw8lDI8St-aPJ5rrTsIm_C8_2McPRcNmTxVZIk99pfdPZjyRryWWak8ogGGPMA9sjsLuOe9dlCJO1uEmLwL-8k7ly5tu3qawLu_w4M9NCqVPAsPqbkNeXc6v8BiPQTQIry_xyo8XZervBkyaLw9FUY96munPHoGQ7zE1oU7mCpCvcjg9rssSPO8ukawPN4W0TuLajY9QvuFu9I_Wju9Lzg957ytO_SPF7xwwYg8B5WdvPBwGrwxh7O96xuYvPhO0LtKuTY9zXqMvZNxmDdzf9U9MPlavaKU97oAAIw3pU7AvLNe6zraEC096M4fO0ayCbyn2j29Jy4sPTFfHjzHHBq9r_6pPfyqB7reuaY9O2gbvdoZxzkK9wo9zwYqPfatvTkMXGY5ZUKCu2-mIrpdjx09JtUIO9w4zzfTwXo9qTQ9vevxz7gc1g89WmKlPHBd5bmW4jQ984rMvHeDjrmANgg9QW61vB0DYrksqF68H86NuzfXBLpBbYq8UgxQPQrl57g_bmQ8vlgtuzd9gzjc9bE6zPqDPKt5MTgC3yO96B5IvDKrYLcKKWS860NtvaRZ8zZuTPQ8wrUEPesQJjeUqPI8EALXPKNMzrbxWH08dBcXPcUw4beVozu9RZsDvg3aMzfaTuU8ZCyJPHyamLjViiC9A7PCvJ5g_zU8asy88qVmvfr35beKIuQ93lXPvJt2VDeKyia9YrzmvcnlcjhB7rc9PGHTu0EZ_LhHxxe88bnTPFBPdLcH4gY94ZZPvZmkzjU-Kpm8DtGNvQaN-7e9rwU9pUkJvq2ehbjK9HA9IuErPvHLijiJ8M-9k1G1Pe148bgKBkG9_CSNvUy56DblwSw9FKWOvGwZCrcgADgTQAlIbVABKnMQABpgIQAAGNIb2u4DHhvm5_Mv1djV7BrA_v8RwP_-KdEeGjHUmTnp_y7vBwCXAAAASNIBFgkA9H_x9QBRwjAnvuMVI9Zc8AIBpvkl4AS7-Afw_EXsKhZXABb2oPprDeAcJhv5IAAtih0aOzgTQAlIb1ACKq8GEAwaoAYAAKhBAACgwQAACEIAAODAAACwQQAAEEIAAEhCAADAQQAAGMIAAIhBAAA0QgAAEEEAALjBAAAgwQAAnkIAALDBAABEQgAAGMIAAOjBAABswgAAOMIAAGzCAABgwgAAqEIAAAAAAADAwAAAVMIAAGTCAAD4QgAAeEIAAIjBAABAQgAAPMIAAMhBAADGwgAAsMEAAJpCAAB8QgAAYEEAACBCAAAowgAAQEAAAHBBAACgQAAAsEEAALDBAABQwQAAgMEAADBBAAAMwgAAnMIAAGBBAACAQAAAmEEAABBCAABAQQAA0sIAAJjBAADAQQAAgD8AAADAAABwwQAAPMIAAMjBAACAvwAAQMIAABxCAABowgAALMIAAOjBAACAQgAAREIAAODAAADAQQAAOMIAAFDCAACCwgAAwEEAAJDBAAAgQQAArsIAABhCAAD4wQAAUMIAADBBAACMQgAANMIAAOjBAABkQgAAAEIAALjBAACIwQAAMMEAAIjBAAAAQQAAMMIAAIDBAAAcwgAAgL8AABBBAABwwQAAREIAABBCAAB8wgAAkMEAAEDBAACAwgAA0EEAAJDCAAAkQgAAcEEAAAzCAACIQQAAIEEAADBBAAC4QgAAmMEAAKDAAADIQQAAmMEAAODBAACgQQAANMIAADjCAACAQAAAwMAAALjBAADAwAAAcMEAACTCAABAwAAAaMIAAAAAAAB8QgAAwMAAAMDAAADwQQAAoEEAAMBAAACqwgAANEIAAFDBAAAEQgAAgMEAAOhBAADYQQAAQMIAANDBAAAAAAAAgL8AAIDBAADwwQAAgD8AAKDBAAAMwgAAAMAAAJLCAAAAQAAAmMEAACDBAAC4wQAA-EEAAFDBAADIQQAAgL8AABTCAACwwQAAqEEAAIhBAAAQwQAAoMIAAKhBAACAwAAAMEIAAPBBAABQQQAAhEIAAIDBAADAQQAA4EEAAIjBAADUwgAAgMAAADzCAABwQgAAoEEAAKrCAADiQgAA4EAAAEBBAACgQAAAgMAAAAAAAAAcQgAABMIAAEBAAACUwgAAgMAAAEDBAACYQSAAOBNACUh1UAEqjwIQABqAAgAA2L0AAOC8AADIPQAA4j4AAJi9AAAQvQAALD4AAPa-AAB8vgAA-D0AAKi9AAAQvQAAgLsAAHC9AADYvQAA2L0AALg9AAD4PQAA4DwAAMI-AAB_PwAAdD4AAIK-AABwPQAAMD0AABy-AADoPQAATL4AAFy-AABwvQAA6D0AADC9AABwPQAA4DwAAEA8AAAUPgAAND4AAMa-AAC2vgAAyL0AAI6-AACAOwAAyD0AAKC8AAD4PQAAmL0AADw-AACoPQAAiL0AACS-AADIPQAAmD0AAKA8AABkPgAAXL4AAFC9AAApPwAAqL0AAAQ-AABwPQAAPD4AABA9AAD4PQAADL4gADgTQAlIfFABKo8CEAEagAIAADy-AACIvQAAFL4AABG_AADgPAAAMD0AABC9AAAQPQAAcL0AAJo-AACIvQAA2D0AAHA9AABwvQAAJD4AAEC8AABQvQAASz8AAFC9AAD-PgAALL4AAJg9AAAwPQAAJL4AABC9AACYPQAAZD4AAJg9AABAPAAAmD0AAEC8AAC4PQAAML0AAI6-AAAwPQAAiD0AAIA7AADePgAAJL4AAHC9AABMPgAA-L0AANi9AACgvAAAgLsAAFC9AAB_vwAAmr4AANi9AABAPAAAgDsAALi9AACgPAAAUD0AAJo-AAAwPQAAgLsAAEC8AAAwvQAAcD0AABw-AAAUPgAAqD0AAES-IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=Q0Fy7I1C13s","parent-reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1270,"cheight":720,"cratio":1.76388,"dups":["1699011008908707300"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"300457965"},"8634023156087883138":{"videoId":"8634023156087883138","docid":"34-3-12-ZD9FA5946CA18D11D","description":"http://www.cs.uoregon.edu/research/su...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/2370009/54ac3b6e6e666b322d81059852540653/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/z_MSBAEAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"14","reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3D1s8efXv1O8o","linkTemplate":"/video/preview/8634023156087883138?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Software foundations in Coq 1.1 - Benjamin Pierce","related_orig_text":"Benjamin Pierce","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Benjamin Pierce\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=1s8efXv1O8o\",\"src\":\"serp\",\"rvb\":\"Eq0DChQxNjYxMzA5Nzk5ODg4MDE0MDkwOAoUMTU5MTk2MjE2MDI5NzQxNzQ4MzgKEzg1NzQ0OTg1MDAyMzA2NTMzMjMKFDEyMjExOTg5OTkyNzMzODk3NTIyChQxNTUwMDkxNjk5NjczNzY0Mjc3MgoUMTU3MTUyODIwMzkyNTE0NjQ4MjQKEzQxNTgyMDYwOTAyNTA2NTU1OTMKEzg0OTUyMTQyNzI2NjIwNjczMjAKEzE1MTIwODAwMjIxNDExMzY2MDMKEzg2ODc2OTc3MTY0NDUyNDc4MjkKFDExNDE1MjE1NjQ0MTAyOTUwNDI2ChMxNjk5MDExMDA4OTA4NzA3MzAwChM4NjM0MDIzMTU2MDg3ODgzMTM4ChQxNzA5MDQzNzAwNDc4MjExODQ4NQoUMTI2NDc5MDY1NDk1ODIxNzg3ODcKEzQyOTI5MDE4MzQxNDg4NTg3MDAKFDE1MDM2ODM4ODEwMzQxMjMxNjgwChM0Mzg3MzE0NTIwMTcyNjA2NDM3ChMyOTI4Mzc5NjkyNjAxODE2NTExChM2NTI1MDc1NTI0MzExMTgxNTg1GhUKEzg2MzQwMjMxNTYwODc4ODMxMzhaEzg2MzQwMjMxNTYwODc4ODMxMzhqtg8SATAYACJFGjEACipoaHJrY2h0ZHhqemlmZm1jaGhVQzFMUW15ei1DSjdSWVdWdGttY0hyOGcSAgASKhDCDw8aDz8TuhGCBCQBgAQrKosBEAEaeIEI9_oKAf8A8P8E_v8CAAH1-Pv8-v79AOj6_P4E_gEA8QsC-_kAAAAOCPP-_QAAAPf1_f39_wAAD_3-AwQAAAAd-QL1_QAAAAwBCwAJ_wEAA_b4-AP_AAASCggB_wAAAPME9wP6__8BAAEBAwEAAAAB8AgPAAAAACAALQd81Ds4E0AJSE5QAiqEAhAAGvABf-oPAZkbCPtEAO3_Hwz6AYXuG_8wEc0AxOz0AKz16QAKJ_oAx_D_APUK_wDm7Az_AOTw_y4NBgEf9AP_IQYOABwMEABF5QwBKwIHAOUJ_P_x9RAAH-8X_vHtAwEE_vQAC_oD-wby7wDoC-sE5_ggAiIcHQQi8AAB9hYD_QwVA_7zA_oCCyQXAucDCfXuI_wGDe3lAQYQ9gH6EhD8_AIBAxz1F_0YCvL6O_n2AAsGAfrpEAT6HBAI_PwcEPkdFvQB4wPx_Orr_wL__xP7P-gOCg7kGgL61RL-1Av0ABXtGPv0-gn_9vjz_QwUBPsVA_0AIAAt9FYqOzgTQAlIYVACKnMQABpgNPwAE-Et1O79MAvj-_Yk4tz36RyrDP8R8_8FO9n7EzLMiTXz_z36A_SbAAAAHezmCu4A-X8P8QU_y00cxe0EK-JT4iL4r-AT8uq3DvPp8zHjQBVQAPL2kuZbCcEWHQLgIAAtoL8cOzgTQAlIb1ACKq8GEAwaoAYAAIBBAAAQQQAAREIAAPDBAAAQQQAAbEIAAEBCAABQQgAA4MEAAMBBAABoQgAAgMEAAIDAAACgQQAAmkIAAJjBAAAQQQAAgD8AADzCAAAwwgAAKMIAAIDAAAAQwgAAiEIAAMBBAACAwQAAKMIAAFjCAAC4QgAAREIAACDCAACiQgAApMIAAKBBAAA0wgAAoMAAADBCAACAQgAACEIAAFxCAADIwQAAgMAAALhBAADIQQAAQMEAADDBAAAgQQAAiEEAAEDAAAAYwgAAmsIAAKhBAAAIwgAAAEAAACxCAAAAQQAA2MIAAEBBAACgQQAAgD8AAEDBAAAgwQAAMEEAACDBAABAQgAAAAAAABBCAAAUwgAAgMEAAIjBAABgQgAAHEIAADBBAABgQQAAisIAAKjBAACQwQAALEIAABDBAABAQAAAwMIAAMBBAAAUwgAAPMIAAATCAAC0QgAAMMEAAAjCAACgQQAAiEEAAADCAADAwQAA4EAAANjBAACoQQAAhsIAAFBBAAAcwgAA0EEAAMBAAAAAQQAASEIAAMBBAABgwQAAwMEAAMDAAAC4wgAAgD8AAGzCAAAAQgAAsMEAAKbCAAAYQgAAwEEAAMhBAABcQgAAgMEAALjBAABAQgAAIEEAAOBAAACAQAAAFMIAAKDBAACgQAAAUMEAAODAAAAQwQAAAAAAAHjCAACAwQAAEMIAAJBBAAAwQgAAiMEAADRCAAAgQgAABEIAAIbCAACywgAA2EEAADDBAADoQQAA0EEAAABBAAAQQQAAFMIAABTCAACAPwAAUEEAAODBAAAMwgAAgEEAAATCAADIwQAAgEAAAKLCAABwwQAAGMIAAKBBAADAQAAAOEIAAADCAAAwQQAAeMIAABDCAACAPwAAiEIAAHBBAAAwwQAAYMIAACRCAAB0wgAAoEEAADxCAAAAQAAAokIAAEDCAADQQQAAmEEAACTCAACswgAAgEAAAPjBAADoQQAAUEIAAOjCAACuQgAAGEIAAODAAADAwQAAuMEAABTCAADIQQAAAMEAAODBAACIwgAAJMIAABjCAACIQSAAOBNACUh1UAEqjwIQABqAAgAAiL0AADC9AABAvAAAtj4AABC9AABAvAAABD4AAM6-AACqvgAABD4AABA9AACgPAAAQLwAALi9AAAMvgAAUL0AAEw-AACYPQAAQLwAALo-AAB_PwAAkj4AAHS-AADgvAAAiD0AADS-AAA8PgAAqL0AALa-AACgPAAADD4AABA9AADgPAAAMD0AABA9AAAcPgAAnj4AALa-AACSvgAAmL0AAL6-AAD4vQAAfD4AAPg9AAAsPgAAuL0AAIg9AAAQPQAA2L0AAGS-AAA0PgAAMD0AAOC8AABsPgAADL4AAIi9AAAdPwAAHL4AAGw-AACYvQAARD4AAKA8AAAMPgAAVL4gADgTQAlIfFABKo8CEAEagAIAABy-AADgvAAAyL0AAP6-AADgPAAAMD0AAEA8AAAQPQAA4LwAAHw-AAD4vQAAuD0AAOg9AABwvQAAJD4AABC9AAAQvQAANT8AAOC8AAD2PgAAHL4AABA9AADgPAAALL4AAIA7AADgPAAAdD4AAHA9AACgPAAAiD0AAOC8AADIPQAAML0AADy-AACAOwAAMD0AAFA9AADuPgAAyL0AAEC8AABkPgAABL4AAOC8AABAvAAA4DwAAPi9AAB_vwAAbL4AAAS-AAAUPgAA4DwAAFC9AACoPQAAQDwAAFQ-AAAwPQAAEL0AAIi9AADovQAAiD0AAOg9AAAkPgAAED0AACS-IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=1s8efXv1O8o","parent-reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1270,"cheight":720,"cratio":1.76388,"dups":["8634023156087883138"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"595723754"},"17090437004782118485":{"videoId":"17090437004782118485","docid":"34-11-7-Z46390C6461F4429D","description":"http://www.cs.uoregon.edu/research/su...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3112021/a7f5e6a902050b8345a15a78e7e5547b/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/eh4iBQAAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"15","reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DZVP3_7x3JY4","linkTemplate":"/video/preview/17090437004782118485?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Software foundations in Coq 0.2 - Benjamin Pierce","related_orig_text":"Benjamin Pierce","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Benjamin Pierce\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=ZVP3_7x3JY4\",\"src\":\"serp\",\"rvb\":\"Eq0DChQxNjYxMzA5Nzk5ODg4MDE0MDkwOAoUMTU5MTk2MjE2MDI5NzQxNzQ4MzgKEzg1NzQ0OTg1MDAyMzA2NTMzMjMKFDEyMjExOTg5OTkyNzMzODk3NTIyChQxNTUwMDkxNjk5NjczNzY0Mjc3MgoUMTU3MTUyODIwMzkyNTE0NjQ4MjQKEzQxNTgyMDYwOTAyNTA2NTU1OTMKEzg0OTUyMTQyNzI2NjIwNjczMjAKEzE1MTIwODAwMjIxNDExMzY2MDMKEzg2ODc2OTc3MTY0NDUyNDc4MjkKFDExNDE1MjE1NjQ0MTAyOTUwNDI2ChMxNjk5MDExMDA4OTA4NzA3MzAwChM4NjM0MDIzMTU2MDg3ODgzMTM4ChQxNzA5MDQzNzAwNDc4MjExODQ4NQoUMTI2NDc5MDY1NDk1ODIxNzg3ODcKEzQyOTI5MDE4MzQxNDg4NTg3MDAKFDE1MDM2ODM4ODEwMzQxMjMxNjgwChM0Mzg3MzE0NTIwMTcyNjA2NDM3ChMyOTI4Mzc5NjkyNjAxODE2NTExChM2NTI1MDc1NTI0MzExMTgxNTg1GhYKFDE3MDkwNDM3MDA0NzgyMTE4NDg1WhQxNzA5MDQzNzAwNDc4MjExODQ4NWq2DxIBMBgAIkUaMQAKKmhocmtjaHRkeGp6aWZmbWNoaFVDMUxRbXl6LUNKN1JZV1Z0a21jSHI4ZxICABIqEMIPDxoPPxOvB4IEJAGABCsqiwEQARp4gQj3-goB_wD3_Qj9-wT_AQH89vz4_f0A7fwH-gcAAADxCwL7-QAAAAME7QAGAAAA9_X9_f3_AAAUA_sGBAAAABHuCPf7AAAADgYHAxf8AgEDAAD8AwAAAA0BCgUAAAAA-gz4A_0AAAD_BwX9AAAAAP74_goAAAAAIAAtB3zUOzgTQAlITlACKoQCEAAa8AF_DfkByf4DAPoK7wAV7MoBoOFF_z0e4gDc4v0A2vDZAN7-FQD6Cy8B1yT5ALgn-P_x8N8AGfv_ADv-0v79APsAEggHASm99QEp_OoB1R36_-EgK_0QBxD_GeoLACcLAP3j6QYD2eTqA9r11gAO_jwBFQ8GAg4L_QDZ-iH--BbwBOQD6ADcAxoE-7sM_PEDEAQa8s4CHSHw_Nwq9AL23wEHGsgT_QVI9_02IfwC7iHyA9b97f_18vQGBDMV_zsd9vnxBOf1COX_ABvm7_0Q_vD7_SHxCSG8-wn1BO3-7_gI_-Ht-vfGNgr42wUD9Qf9BOsgAC31iho7OBNACUhhUAIqcxAAGmAU_AAcsyLO9_khGN4A_irQ1OziE6f8_yPf_xcr6BAXFMOhJPT_PfEH8poAAAA07_sb7gAXf_btBEbdOg7M-R8Zvjb2A_yHEifoC7Q6Cs77R8MdBE8AJfvKICoP1yg2CxYgAC22yR47OBNACUhvUAIqrwYQDBqgBgAAAMAAANhBAAAIQgAAOMIAANhBAAA0QgAAtEIAACBCAAAQwgAAIMEAALBBAADgQQAAQMAAAEDAAAAkQgAAGMIAAIBAAABEwgAAVMIAAODBAAA4wgAA8MEAAPDBAACOQgAA4EAAAKDAAADowQAAAMIAALpCAAAoQgAADMIAAGBBAAC0wgAA2EEAAKbCAADowQAAikIAADBCAAAwQgAAZEIAAAAAAACAPwAAUEEAAEDBAABAwQAAGMIAAJBBAAAgwQAAUMEAAADCAACwwgAAAMIAADBBAABgwQAAjkIAABRCAACmwgAAwEEAAOhBAAAQQgAAYEEAAADCAACIwQAADMIAAMBAAADwwQAAPEIAAFDCAAAIwgAAKMIAAEhCAADAQAAAUMEAACDBAACwwQAAEEEAANDBAAAMQgAAAEEAABRCAACMwgAAqEEAAAjCAAC0wgAAEMEAAIhCAABQwQAA6MEAADxCAADAQQAAAEAAAHBBAAAQwQAAAAAAAKBAAABkwgAAQMAAAEjCAAAUQgAAcEEAAMDAAADwQQAAWEIAAMDBAAAAwAAAgL8AANDCAADoQQAAZMIAAERCAACAPwAARMIAAARCAAAcQgAAwEEAAJRCAABgQQAAEMIAAChCAABswgAAAEAAAADAAADAQQAAXMIAALDBAABAwQAA2EEAAIDBAADIwQAAqMEAABjCAAA0wgAAOEIAAIJCAADAwAAAGEIAAOhBAAAUQgAAiMEAAKjBAAAcQgAA4EAAABxCAACAwQAAHEIAAOBAAADwwQAANMIAACBBAAAAwQAA4MEAAIDBAACAQAAAgMEAAHDBAADAwQAAqMIAAOBAAAA4wgAAwEAAAIC_AACAQgAA4EAAAHDBAACgQQAAfMIAAKDAAABQQgAA4EAAAGTCAABgwgAALEIAAODAAADgQAAA4EAAAPhBAACiQgAAyMEAAOBAAAD4QQAAiMIAAMDCAACwwQAAGMIAAChCAADwQQAAvMIAAKxCAAAYQgAAcEIAAKBBAAAAAAAAgEEAAExCAAC4wQAAQEAAAFzCAACAQAAAIEEAALjBIAA4E0AJSHVQASqPAhAAGoACAACovQAAUL0AALg9AAD2PgAAEL0AAIA7AAB0PgAAB78AAHS-AABcPgAAVD4AAIi9AABQvQAAgDsAAAS-AAAcvgAAqj4AAPg9AAA8PgAAzj4AAH8_AABcPgAAlr4AAEA8AACAOwAA-L0AAIA7AAAUvgAA6L0AAEC8AADoPQAAyL0AAAQ-AABQPQAAyD0AABQ-AACKPgAAbL4AAKa-AAD4PQAARL4AAHA9AABwPQAAXD4AAIg9AACAOwAAPD4AAOA8AABwPQAAML0AAFw-AAAEPgAAgDsAAJ4-AACovQAAoDwAAOo-AABQvQAAcD0AAEC8AAAQPQAABL4AACQ-AABQvSAAOBNACUh8UAEqjwIQARqAAgAAVL4AALi9AAD4vQAAB78AAIg9AABQPQAAQLwAANg9AAC4vQAAkj4AAOC8AAAEPgAAqD0AAEC8AABUPgAAUL0AABC9AAA5PwAAoLwAAPI-AACIvQAA2D0AAHA9AAA0vgAAcD0AABA9AABMPgAAuD0AAIg9AAD4PQAA4LwAALg9AADYvQAATL4AABQ-AACgvAAAHD4AAMY-AAAkvgAAgLsAADw-AAA8vgAA2L0AAMg9AACYPQAAyL0AAH-_AAA0vgAALL4AAAQ-AACIvQAAML0AAFA9AABQPQAAVD4AAIg9AACAuwAADL4AAFA9AACAOwAAFD4AAFw-AADoPQAAVL4gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=ZVP3_7x3JY4","parent-reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1270,"cheight":720,"cratio":1.76388,"dups":["17090437004782118485"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"2916417428"},"12647906549582178787":{"videoId":"12647906549582178787","docid":"34-2-7-ZE83C7D4291EA9170","description":"http://www.cs.uoregon.edu/research/su...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3922367/7708d0332d3887bb8685c1a1f9a7f4ab/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/YF1vpAAAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"16","reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DV2Z-q8k5z7g","linkTemplate":"/video/preview/12647906549582178787?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Software foundations in Coq 2.2 - Benjamin Pierce","related_orig_text":"Benjamin Pierce","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Benjamin Pierce\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=V2Z-q8k5z7g\",\"src\":\"serp\",\"rvb\":\"Eq0DChQxNjYxMzA5Nzk5ODg4MDE0MDkwOAoUMTU5MTk2MjE2MDI5NzQxNzQ4MzgKEzg1NzQ0OTg1MDAyMzA2NTMzMjMKFDEyMjExOTg5OTkyNzMzODk3NTIyChQxNTUwMDkxNjk5NjczNzY0Mjc3MgoUMTU3MTUyODIwMzkyNTE0NjQ4MjQKEzQxNTgyMDYwOTAyNTA2NTU1OTMKEzg0OTUyMTQyNzI2NjIwNjczMjAKEzE1MTIwODAwMjIxNDExMzY2MDMKEzg2ODc2OTc3MTY0NDUyNDc4MjkKFDExNDE1MjE1NjQ0MTAyOTUwNDI2ChMxNjk5MDExMDA4OTA4NzA3MzAwChM4NjM0MDIzMTU2MDg3ODgzMTM4ChQxNzA5MDQzNzAwNDc4MjExODQ4NQoUMTI2NDc5MDY1NDk1ODIxNzg3ODcKEzQyOTI5MDE4MzQxNDg4NTg3MDAKFDE1MDM2ODM4ODEwMzQxMjMxNjgwChM0Mzg3MzE0NTIwMTcyNjA2NDM3ChMyOTI4Mzc5NjkyNjAxODE2NTExChM2NTI1MDc1NTI0MzExMTgxNTg1GhYKFDEyNjQ3OTA2NTQ5NTgyMTc4Nzg3WhQxMjY0NzkwNjU0OTU4MjE3ODc4N2qIFxIBMBgAIkUaMQAKKmhocmtjaHRkeGp6aWZmbWNoaFVDMUxRbXl6LUNKN1JZV1Z0a21jSHI4ZxICABIqEMIPDxoPPxOPDIIEJAGABCsqiwEQARp4gQj3-goB_wDw-gv_-gIAAQH89vz4_f0A6Pr8_gT-AQDxCwL7-QAAAAj-8QgCAAAA9_X9_f3_AAAK_PcFAwAAABHuCPf7AAAACwQCCQoAAQEH_wHzAgAAAAMCCAcAAAAA-Q78-_8AAAD_BwX9AAAAAAv1BQ0AAAAAIAAtB3zUOzgTQAlITlACKoQCEAAa8AFw9v8AmgkF-zIBBwAU7c0Bge0c_1IZ4QDQ5BAB2QbjAfUaCADh_w7_4jLw_9YMCQD8-dH-GPv_ADj_6v8R8BEAHwIBACbB9gE-8hsA8QL0_-j6IPwe6ysCEN_4AA3_5gDz1hP-2ubSAdz12QAO_jgBIxsI_wz1DgfgBxgD8gYIANAA3_3j-QgE6t0S_OYNEAcK_dsAEC3x__cn9AQBDAQKD-Mh_SgrB_8x_QEE8BoB9uYD_wQL-_EJ_CEYCR4X9AHQAvv4AOULCBPo_Akl6vgA9wP8AgG7-ALzD94D6egTBPLwB_LoKPf_-Qz6_Qru9_cgAC1BWiU7OBNACUhhUAIqzwcQABrAB6ThEL_C4PU7Mg7kvJxq7T1-b3S7SQkGvYkkGj7_2tE6MUycPPkQ1D2pw0U9qrvyPHR8xL4chO88mdotvZ1Ggj5_Fku8vhLIvCv-ur3M90I9mzkEvRQHUL6Tdn48ipoevRgVZ72gvLg6IOQGPQqdFz6TmxW8EYqtvOiZgzwkVPo8mykjvSgTMj2wXyu9sac9vS0BnT0_CNw8LVqAO-vgsD1_eIy8fBVPvKsQBzypdwc9I3z5vOr2KL3fWty80-OtvITY2T3U9Z88d503OtGnGj2oB1u9JqcXO7uQWD1cIN47h9iFPD0oCL3jux49Z8sgvEBV_bt2SeY76Vz2vILUO7tuePA8jjEgPNaCyD0CI7k8dxvKvCYMdL1dRrs9TCy6PCvIir1696y9QCwhvDBjqj2hkZk8JmmjPOl2AD0wYgQ9GwfFO4Ns2bxwUy09rNgyOFVkiT32l909mPJGvN3zdDvvDt88NfHROSz5k71iYEI8Dy-jvIIwwTw_9fo70oSzu6cHZT1blNk82MJiPNbHIjxmbAM8B6VcO8oyST28dum8CfGSvD0VRj3qa6c8egZDvHSJmTzobIy9NQ5QvEctTzpAFgE81pVHu2Pdrj3sbyY7a8trO_EpBT16efA812QVPMuFSrxYoKe8E3Jvuzobt734MrS6FDlpO4XoVT01cLG9IscZOhErjT1XQh25i9YXPAgW0byJ3hi9wXTWOmu7hD37s3q8N7lnu_57gL2Ml5g9H5fdOmt7nrt0m8A9OP0wuUdPtj0W0is8NM6HOPj7hbx7T0A8D2cNOmlBXjybqMo8ZORyOJtw8TuARDi9tsNpOGjENj2tVkG9kcKFOemLczwbDSW9ocUbutWZdztgVQK97lVLOb-iNjz6Uom8CYIkuQ6aIr0pQmo8OmCyuUpNcbxJhbE8iU13uLzrbDz7Yd-880mTuGSRJjxJDXE721SoOLNNIry1aOY8425pN7fJcjxtLR29y6PCuEE7sTyzq7U8eSFWOeKJKj1zVno9ZNmpNxZxVzs0pKU97TcCuJWjO71FmwO-DdozNxjJgz1rywo9zqEyt1SyF71zuDa9KJFYt7yUurzuvb69SYubN8x73D2Sw3E8nEKKN8WcFr20k6y9UYKDOI-hmD3z3yi8lSceuSqKXD2bfGm8MPUTt1msvDxjuDq8zoQdOOJGI7zchJa8d0PAt4YQIT1cd9O93vObt8r0cD0i4Ss-8cuKOKIoAL5WsFc9baXkuEt-j71a2T69pHd_NoERajwt-CG85Gv-NyAAOBNACUhtUAEqcxAAGmAuAgAa0gzQ-PEbG-MQ9ifM0d73DsL7_xrN_xAZ1QUeH86mL-L_TdTu6poAAAAw2v0WFgDsfwvy_FPTMP2-EhQnz0IGCQuV5yDnHsgh-9rnSdYEBU4AHfGrCVcS6DIgGRYgAC3okh87OBNACUhvUAIqrwYQDBqgBgAAYEEAAMBBAACYQQAASMIAAKBAAABUQgAAeEIAAOhBAACgwQAAAAAAAGBBAACwQQAAQEEAAMDAAAAsQgAAiMEAAFBBAADYwQAATMIAABTCAABkwgAAAMIAAPjBAABIQgAAYMEAACBBAACYwQAA-MEAALJCAAAkQgAAHMIAAARCAACewgAAKEIAALrCAAAUwgAAqkIAACxCAAA8QgAAWEIAAIjBAACAPwAA-EEAAAAAAABwwQAAFMIAAHBBAAAQwQAAkMEAAAzCAACYwgAABMIAAIA_AACAwQAAfEIAAAhCAACmwgAA4EAAADBCAACwQQAA4EAAACjCAABAwQAAEMIAABBBAAAYwgAAIEIAAFTCAACAwAAAFMIAAEhCAABwQQAAcEEAAADCAADgwQAAAAAAANDBAABkQgAAAAAAACBCAACMwgAAOEIAAFzCAACuwgAAgEAAAKRCAACYQQAAHMIAAAxCAAAkQgAAQMEAAODAAABgwQAAAMAAAABCAABswgAAYEEAADTCAACIQQAAKEIAAAAAAAAoQgAAMEIAAIDBAACgwAAAMMEAANTCAAAwQQAAZMIAAGhCAABAQAAAisIAAAhCAABMQgAAyEEAAJRCAADAwAAAyMEAAEhCAAAgwgAAoEAAAEDAAABAQQAALMIAAJjBAACYwQAAQEEAAJDBAACgwAAAOMIAABzCAAA0wgAADEIAAJ5CAABgwQAAGEIAAEBCAAAwQgAABMIAAATCAAAYQgAAYMEAAOhBAABwwQAAIEIAAHBBAACIwQAABMIAAEBBAAAAQQAA-MEAALDBAAAAwAAAIMEAALjBAADgwAAAvMIAAIhBAAAEwgAAgEAAAJBBAABsQgAAAAAAAABAAACAvwAAOMIAAADAAABQQgAAcEEAAFDCAAB4wgAAMEIAAMjBAACAwAAAkEEAABBCAACKQgAAmMEAAFBBAADoQQAAbMIAAJbCAAAowgAAPMIAADhCAABcQgAAqMIAAL5CAABIQgAAPEIAAMBBAACgQAAAUMEAAFxCAAAMwgAAAEAAAEzCAADgwQAAAAAAAIDBIAA4E0AJSHVQASqPAhAAGoACAAAQvQAAgDsAAKA8AADSPgAAcL0AABA9AACKPgAALb8AALa-AAA8PgAAPD4AAIi9AACIvQAAcD0AACS-AAAMvgAAxj4AABQ-AACCPgAA5j4AAH8_AAA0PgAAtr4AAIg9AACgPAAALL4AAIC7AACmvgAANL4AAAS-AADIPQAAQLwAACw-AABMvgAA6D0AANg9AACOPgAAXL4AAJq-AACYPQAAVL4AAKI-AABQvQAAmj4AAOC8AAD4vQAAPD4AAMi9AACgPAAAcL0AAGw-AAAcPgAAUL0AAKI-AABQvQAA4DwAAN4-AACIPQAA6D0AAIi9AACIPQAAHL4AABQ-AAAQPSAAOBNACUh8UAEqjwIQARqAAgAATL4AANi9AADIvQAAGb8AABA9AAAQPQAA4LwAAIg9AACgvAAAmj4AAIA7AABEPgAA4DwAAEC8AADoPQAAQLwAAAy-AABLPwAAML0AAP4-AADYvQAAoDwAAEC8AABcvgAA4LwAAHA9AACGPgAABD4AAKA8AAAcPgAAQLwAAOg9AAD4vQAAbL4AAMg9AACgPAAAiD0AAAE_AABcvgAAUL0AAII-AACCvgAA2L0AAOA8AABQPQAAqL0AAH-_AAB0vgAAqL0AAKA8AACIvQAAoLwAADA9AACgvAAAmj4AAIg9AABAvAAAML0AAJg9AADgPAAAND4AAAw-AAAQPQAAJL4gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=V2Z-q8k5z7g","parent-reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1270,"cheight":720,"cratio":1.76388,"dups":["12647906549582178787"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"584570774"},"4292901834148858700":{"videoId":"4292901834148858700","docid":"34-5-2-Z7AD358E2C4993BB7","description":"http://www.cs.uoregon.edu/research/su...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/898484/c8ac00acc5c6fcc3271739e8ae57dba7/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/rPppLgAAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"17","reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DQ_3R63gYuHQ","linkTemplate":"/video/preview/4292901834148858700?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Software foundations in Coq 3.1 - Benjamin Pierce","related_orig_text":"Benjamin Pierce","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Benjamin Pierce\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=Q_3R63gYuHQ\",\"src\":\"serp\",\"rvb\":\"Eq0DChQxNjYxMzA5Nzk5ODg4MDE0MDkwOAoUMTU5MTk2MjE2MDI5NzQxNzQ4MzgKEzg1NzQ0OTg1MDAyMzA2NTMzMjMKFDEyMjExOTg5OTkyNzMzODk3NTIyChQxNTUwMDkxNjk5NjczNzY0Mjc3MgoUMTU3MTUyODIwMzkyNTE0NjQ4MjQKEzQxNTgyMDYwOTAyNTA2NTU1OTMKEzg0OTUyMTQyNzI2NjIwNjczMjAKEzE1MTIwODAwMjIxNDExMzY2MDMKEzg2ODc2OTc3MTY0NDUyNDc4MjkKFDExNDE1MjE1NjQ0MTAyOTUwNDI2ChMxNjk5MDExMDA4OTA4NzA3MzAwChM4NjM0MDIzMTU2MDg3ODgzMTM4ChQxNzA5MDQzNzAwNDc4MjExODQ4NQoUMTI2NDc5MDY1NDk1ODIxNzg3ODcKEzQyOTI5MDE4MzQxNDg4NTg3MDAKFDE1MDM2ODM4ODEwMzQxMjMxNjgwChM0Mzg3MzE0NTIwMTcyNjA2NDM3ChMyOTI4Mzc5NjkyNjAxODE2NTExChM2NTI1MDc1NTI0MzExMTgxNTg1GhUKEzQyOTI5MDE4MzQxNDg4NTg3MDBaEzQyOTI5MDE4MzQxNDg4NTg3MDBqtg8SATAYACJFGjEACipoaHJrY2h0ZHhqemlmZm1jaGhVQzFMUW15ei1DSjdSWVdWdGttY0hyOGcSAgASKhDCDw8aDz8TuhGCBCQBgAQrKosBEAEaeIEI9_oKAf8A8P8E_v8CAAEB_Pb8-P39AOH6A_YH-wIA8QsC-_kAAAAOCPP-_QAAAPf1_f39_wAAD_3-AwQAAAAR7gj3-wAAAAwBCwAJ_wEAB__4AAP_AAANAQoFAAAAAPIL__76_wAA_wEAAPn-AAAD8AAFAAEAACAALQd81Ds4E0AJSE5QAiqEAhAAGvABfwgIAZER8_shIAUAEP7VAqP2KP8_H-AA1O0L_7Pz9QD2DPsA6OABALcSDQC6GQgAEd3OACMC6wA__-f-Dfoi__wR-wE82P0AWPz7AfES5f7gATz-IekwAiQGAv8M4eT_4-sT_Pn2CAXY9NQAD_4-ASUROgAb-gv-zAAS_fMcCv4FG84A0gIO-_rjCv7r-PcGI9fSBvYb9fjaRPAAIxEMBAHwDgIrLu8BPA_-CwEXAfHCDAMIKe33_xYhI_4iGfMC1fHv8tflAPgTAgMDMvb1BgAdD_sH2QgT4gH1_vnyDwXm-gL25S32_9wN9f0hHgnxIAAtjbsTOzgTQAlIYVACKnMQABpgJP0AHNcb4fb3HRrz8fgw2s7T6CLI-P8Vu_8HMtkTIyrRnDbu_z3g_faYAAAAReH8CgkA_3_27ABS3DYjufYKJuBL-AHure8t5Qu0HA3e_jnjIBNnADb7q_5lGt4rHBr5IAAtDfgbOzgTQAlIb1ACKq8GEAwaoAYAAMBBAAAUQgAAsEEAADDCAACAQQAAhEIAAIpCAABQQgAAIMIAADBBAAAkQgAAkMEAAIDBAAAAQAAAdEIAAHDBAACwQQAABMIAAPDBAADowQAAYMIAACjCAABQwgAAhkIAAABBAAAwwQAAqMEAADTCAACwQgAAgEIAAOjBAABgQgAAosIAAMBBAACYwgAACMIAAIpCAACUQgAAjEIAAGxCAAAgwQAAwMAAAJBBAACgQQAAIMEAAKDBAACAQAAAYEEAALBBAADAwAAAqsIAAFDBAADgwAAAYMEAAERCAAAgQQAA2MIAAMBAAACAQQAAqEEAAAAAAACowQAAIMEAACzCAACoQQAAoMEAABBCAABswgAAcMEAADjCAACSQgAAKEIAAIBAAAAAQAAAJMIAAMDBAABowgAAPEIAAIC_AACgQQAArMIAAPBBAAAUwgAAJMIAABBBAACgQgAAgMAAAAjCAAAYQgAAmEEAABjCAACgwAAAAEAAABDBAACwQQAALMIAACDBAAAIwgAA6EEAACRCAAAAQAAAQEIAAMBBAAAMwgAAwMEAAIC_AACKwgAAmEEAAGTCAABQQgAAmMEAAHzCAADAQQAAiEEAAHBBAACgQgAA4MAAABDBAAAIQgAA4MEAAADBAACAwAAA8MEAAETCAAAAwAAAyMEAAEDAAADwwQAA4MAAADzCAADQwQAAOMIAABBCAABUQgAAqMEAAFxCAADIQQAA4EEAANDBAABIwgAAREIAAFDBAAA0QgAAQEEAAARCAAAgQQAAIMIAAHDBAAAQQQAAAMEAAODBAAAQwgAAAMEAAHDBAAC4wQAAYMEAAJzCAABAQAAACMIAAHBBAADAQAAAREIAAIDAAADgQAAAIMEAACjCAADAwAAANEIAAMBAAADwwQAAdMIAACxCAAAYwgAA8EEAAMhBAAAAAAAAyEIAAPjBAACwQQAAkEEAADzCAADAwgAA0MEAAADCAABsQgAAmEEAALbCAADcQgAALEIAABBBAACAPwAAqMEAAJDBAACOQgAAyMEAAHDBAACGwgAAgEAAADDBAACAQCAAOBNACUh1UAEqjwIQABqAAgAANL4AABC9AAAQPQAABT8AAIA7AADYvQAATD4AAPa-AADSvgAAiD0AADS-AABAvAAAoLwAACS-AACgPAAA-L0AACw-AAAEPgAAqL0AAMI-AAB_PwAAij4AAIa-AAAcvgAAqD0AAI6-AAC4PQAARL4AAJK-AAD4vQAARD4AAKA8AAAsPgAA4DwAAOC8AAD4PQAALD4AAMq-AACuvgAAiL0AAHS-AAC4PQAAVD4AAIC7AAB0PgAA6L0AAJg9AABAPAAAiL0AAES-AACYPQAAmD0AAPi9AAAkPgAAbL4AADC9AAAxPwAADL4AAEw-AAAwvQAAND4AAIi9AAAUPgAAZL4gADgTQAlIfFABKo8CEAEagAIAAHS-AAAQvQAABL4AAA2_AACgvAAAgLsAAIi9AAAwPQAAgLsAAFQ-AAAMvgAAuD0AAJg9AABQvQAAXD4AAEC8AABwvQAAPz8AAKC8AAADPwAA6L0AAHA9AABAPAAANL4AABC9AAAwPQAAfD4AAIg9AABAPAAAiD0AADC9AADoPQAAgDsAAJK-AABQPQAAqD0AAOA8AADiPgAABL4AAEC8AAAMPgAAJL4AAJi9AABAvAAA4DwAALi9AAB_vwAAnr4AAES-AAAwPQAAQLwAALi9AACgPAAAcD0AAIY-AACIPQAAoLwAAEC8AADgvAAAqD0AACQ-AAAUPgAA2D0AACy-IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=Q_3R63gYuHQ","parent-reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1270,"cheight":720,"cratio":1.76388,"dups":["4292901834148858700"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"3179338274"},"15036838810341231680":{"videoId":"15036838810341231680","docid":"34-0-8-ZEE09F0854C62357B","description":"http://www.cs.uoregon.edu/research/su...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3359710/0f3d03b61be11d51a6a69b0050d9e597/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/Z3_-SwAAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"18","reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3Dw1prIiR2LzY","linkTemplate":"/video/preview/15036838810341231680?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Software foundations in Coq 2.1 - Benjamin Pierce","related_orig_text":"Benjamin Pierce","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Benjamin Pierce\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=w1prIiR2LzY\",\"src\":\"serp\",\"rvb\":\"Eq0DChQxNjYxMzA5Nzk5ODg4MDE0MDkwOAoUMTU5MTk2MjE2MDI5NzQxNzQ4MzgKEzg1NzQ0OTg1MDAyMzA2NTMzMjMKFDEyMjExOTg5OTkyNzMzODk3NTIyChQxNTUwMDkxNjk5NjczNzY0Mjc3MgoUMTU3MTUyODIwMzkyNTE0NjQ4MjQKEzQxNTgyMDYwOTAyNTA2NTU1OTMKEzg0OTUyMTQyNzI2NjIwNjczMjAKEzE1MTIwODAwMjIxNDExMzY2MDMKEzg2ODc2OTc3MTY0NDUyNDc4MjkKFDExNDE1MjE1NjQ0MTAyOTUwNDI2ChMxNjk5MDExMDA4OTA4NzA3MzAwChM4NjM0MDIzMTU2MDg3ODgzMTM4ChQxNzA5MDQzNzAwNDc4MjExODQ4NQoUMTI2NDc5MDY1NDk1ODIxNzg3ODcKEzQyOTI5MDE4MzQxNDg4NTg3MDAKFDE1MDM2ODM4ODEwMzQxMjMxNjgwChM0Mzg3MzE0NTIwMTcyNjA2NDM3ChMyOTI4Mzc5NjkyNjAxODE2NTExChM2NTI1MDc1NTI0MzExMTgxNTg1GhYKFDE1MDM2ODM4ODEwMzQxMjMxNjgwWhQxNTAzNjgzODgxMDM0MTIzMTY4MGq2DxIBMBgAIkUaMQAKKmhocmtjaHRkeGp6aWZmbWNoaFVDMUxRbXl6LUNKN1JZV1Z0a21jSHI4ZxICABIqEMIPDxoPPxPDD4IEJAGABCsqiwEQARp4gQj3-goB_wDz-AgBAgT-AQYC8vX2__4A6Pr8_gT-AQDxCwL7-QAAABUH8AkAAAAA9_X9_f3_AAAP_f4DBAAAABHuCPf7AAAADgYHAxf8AgEH_wHzAgAAAAMCCAcAAAAA-gz4A_0AAAD6AQUAAAAAAAHwCA8AAAAAIAAtB3zUOzgTQAlITlACKoQCEAAa8AF5-_QBmgkF-xwJ5wAd-egCge0c_zESzADgAgcAv_fNABIXAgHR6vcA5RoR_8AHAf_p7sz_IALtADkO7wAiBg4ACCAbAEzP9wFGFA8B_gL4_98OGf8e6ysCDwUJ_Q7z3v_15AgA8wj5_u8DyAIJGy8CGgwaAR8NBP_gBxgDAC8JAwQY0wDqDgX86t0S_NsC-wYO7OUBEC3x_-kd6wIFIBQJ_uIV_SYK-wI2Df4K-woC_uYD_wQgDvj47B8a_h4X9AHO5___2-gA-fH6BQss9_YF_woE_PnU9Q3mAfb_-OQP_OrvCgDqAQEIAhHuAxr3AfUgAC1BWiU7OBNACUhhUAIqcxAAGmAn_gAc2Rnf9vckIOn89CXU8NjwAcgA_wbM_wIs2BElL9mUMeP_Pdrv-5gAAAA50gMXGwAFfwbw-VC9OB3A4w8l4kv8B_uxByXUFLkOBuv-POsQCUYAJOmj_2Ee3y4hIvggAC0ffSA7OBNACUhvUAIqrwYQDBqgBgAAqEEAACBCAAC4QQAAHMIAALhBAABwQgAAvEIAAMBBAABQwQAA4EAAAOhBAADgQAAAgD8AACDBAABsQgAAUMEAAHBBAACwwQAAQMIAAGDBAABkwgAA8MEAAILCAACaQgAAYMEAACjCAACAwQAAkMIAALZCAABAQgAAUMEAABxCAADGwgAAsEEAAGTCAABQQQAAskIAADhCAAA8QgAAIEIAAOBAAAAwwgAAmEEAAADAAADgwAAAAMIAAOBBAACYQQAAyMEAAPjBAACuwgAAGMIAAHBBAACwwQAABEIAAChCAACkwgAAQMAAAPhBAADgQQAA4EEAAIDBAAAAwQAAwEAAAEDAAAAQwgAAcEIAADTCAACQwQAAQMIAAGBCAACgQAAAIMEAAIC_AACowQAAoEAAAHzCAABQQQAA0MEAABRCAABUwgAA4EEAANjBAABkwgAAEMEAAKBCAADYwQAAQMIAAGhCAAAwQgAAJMIAAMhBAADQwQAAgEEAAEDBAABQwQAAQMEAAFTCAAAAAAAAkEEAAJhBAAAMQgAA4EEAACDBAACQQQAAAAAAALzCAADYQQAAeMIAAKhBAACAPwAARMIAAMhBAACgQQAAQMAAAIpCAACAQAAAwMAAACRCAAAUwgAAqMEAALjBAABAQAAALMIAAFDBAABAwQAAEEEAAEDAAACgwAAAqMEAACDCAABEwgAAEEEAAHBCAAAQwgAAJEIAAABAAADIQQAAcMEAAJjBAABoQgAAcMEAAARCAAAAwQAAMEIAAEBAAACgwQAA8MEAACBCAACwwQAAoMIAACDCAAAAQAAAiMEAAIC_AADAQAAAvMIAACBBAABswgAA8MEAAIBBAADwQQAAEEEAAEDAAAAQQQAA-MEAABjCAAAEQgAAQMEAAIjBAABAwgAAEEIAALjBAADAQAAAoEEAAIBBAACIQgAAgMIAAKBAAADYQQAAksIAAMTCAACQwQAALMIAAFhCAAAYQgAAcMIAALhCAADQQQAAfEIAAOhBAACowQAAoMAAAEBCAAA4wgAAgEEAAHjCAAAgQQAAcEEAAEBAIAA4E0AJSHVQASqPAhAAGoACAADovQAA4LwAAOC8AAAFPwAAyL0AADC9AACaPgAAH78AAMa-AACKPgAAuD0AANi9AABEvgAAoDwAABy-AAA0vgAAdD4AALg9AABsPgAA8j4AAH8_AAB8PgAArr4AABA9AACgPAAANL4AACQ-AAAUvgAAor4AAJi9AAAUPgAAgLsAAJg9AACAOwAA2D0AAEw-AACiPgAAmr4AALK-AABAvAAAir4AAAw-AACSPgAAZD4AAEA8AABcvgAALD4AAHA9AACAuwAAFL4AABw-AABwPQAA4LwAAMI-AAAwPQAAQLwAABE_AABAvAAAUD0AAAS-AABkPgAAyD0AAGw-AADgvCAAOBNACUh8UAEqjwIQARqAAgAAbL4AAKC8AADYvQAAE78AAIg9AACgvAAAUL0AAHA9AACAOwAAnj4AAIi9AABEPgAAiD0AAKC8AAD4PQAAEL0AAOi9AABBPwAAQLwAAPI-AAAcvgAA4DwAADA9AAA8vgAAQLwAAJg9AACSPgAA-D0AAOA8AAD4PQAAoLwAALg9AACYvQAAJL4AAOA8AABAvAAAqD0AAO4-AAAkvgAAEL0AAGQ-AABUvgAAuL0AADA9AABwPQAAHL4AAH-_AABMvgAABL4AABw-AACgvAAAML0AAHA9AABAPAAAgj4AAHA9AADgvAAAiL0AAIC7AABAPAAAHD4AACQ-AADgPAAATL4gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=w1prIiR2LzY","parent-reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1270,"cheight":720,"cratio":1.76388,"dups":["15036838810341231680"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"2914389896"},"4387314520172606437":{"videoId":"4387314520172606437","docid":"34-2-1-Z21831A7D9D345C25","description":"Next: Lecture 1: • Software foundations in Coq (2012) - Lectu... From the University of Oregon's Computer Science Summer School in 2012. https://www.cs.uoregon.edu/research/s... Now in glorious...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/4389652/6f2c557df34a4fb449066c3f10f57a05/564x318_1"},"target":"_self","position":"19","reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3Dae8R4HDPj8Q","linkTemplate":"/video/preview/4387314520172606437?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Introduction to Coq (2012) - Benjamin Pierce","related_orig_text":"Benjamin Pierce","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Benjamin Pierce\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=ae8R4HDPj8Q\",\"src\":\"serp\",\"rvb\":\"Eq0DChQxNjYxMzA5Nzk5ODg4MDE0MDkwOAoUMTU5MTk2MjE2MDI5NzQxNzQ4MzgKEzg1NzQ0OTg1MDAyMzA2NTMzMjMKFDEyMjExOTg5OTkyNzMzODk3NTIyChQxNTUwMDkxNjk5NjczNzY0Mjc3MgoUMTU3MTUyODIwMzkyNTE0NjQ4MjQKEzQxNTgyMDYwOTAyNTA2NTU1OTMKEzg0OTUyMTQyNzI2NjIwNjczMjAKEzE1MTIwODAwMjIxNDExMzY2MDMKEzg2ODc2OTc3MTY0NDUyNDc4MjkKFDExNDE1MjE1NjQ0MTAyOTUwNDI2ChMxNjk5MDExMDA4OTA4NzA3MzAwChM4NjM0MDIzMTU2MDg3ODgzMTM4ChQxNzA5MDQzNzAwNDc4MjExODQ4NQoUMTI2NDc5MDY1NDk1ODIxNzg3ODcKEzQyOTI5MDE4MzQxNDg4NTg3MDAKFDE1MDM2ODM4ODEwMzQxMjMxNjgwChM0Mzg3MzE0NTIwMTcyNjA2NDM3ChMyOTI4Mzc5NjkyNjAxODE2NTExChM2NTI1MDc1NTI0MzExMTgxNTg1GhUKEzQzODczMTQ1MjAxNzI2MDY0MzdaEzQzODczMTQ1MjAxNzI2MDY0Mzdqrw0SATAYACJFGjEACipoaHJvb294bnZhbWN6Z21jaGhVQ3lfaHVRXzhVS0xmSGNhYzdLd0g5d1ESAgASKhDCDw8aDz8T6hiCBCQBgAQrKosBEAEaeIEC9QAI_QMA-P0I_vsD_wHuA_YA-v__AOv2Afz6_wEA8QoC-_oAAAAH_vIIAgAAAPj6DAAC_wAAEwP7BgQAAAAO_Qnz_QAAAAwB-QII_wEBAwAA_AIAAAAABQj-_wAAAPML__77_wAA-gIDBwAAAAAA8foMAAAAACAALR3j3js4E0AJSE5QAipzEAAaYAwXAAj7Cu7sFAT4Bw70FtnsFwgHzAUABPkANf3ICyYb79kC7AAZ5O8WzQAAAAoPCiP2AP89He0EFxEH7AjQBB0kfwQM1QcC6OsG4wnnGxE-HwT8CgAO9xYMKRQTCfwzByAALboZeDs4E0AJSG9QAiqvBhAMGqAGAADIQQAA4MAAAHxCAAC4wQAAQEEAAIhCAAAsQgAA4EAAAMDBAABAQAAA4EEAADBBAADAQAAAsEEAAIZCAACowQAAQEEAAMDBAAAQwgAATMIAABjCAAAQwgAAIMIAAKxCAAAUQgAAgD8AAHjCAAAowgAAtkIAAFxCAACgwQAAHEIAAAjCAACYQQAAjsIAAKDBAADQQQAAMEIAANBBAAA4QgAAaMIAAABAAABQQQAAcEEAABBBAACAwAAAqMEAAKBAAAA8QgAAwMEAAGjCAAAwQgAAoMAAANhBAADQQQAA-MEAANjCAACAPwAAcEEAAIBAAACIwQAAiMEAAPjBAAAswgAA2EEAANjBAADgQAAAaMIAACDCAABwwQAAiEIAACBCAADgQAAAsEEAAGDCAABQwgAAoMEAAOBBAACAvwAAiEEAAL7CAADIQQAAQMIAAEDCAAAQwQAA0EIAAKDAAADgwAAA-EEAAIDBAADowQAAAMAAAOBAAADwwQAAoEEAAJLCAABwQQAA-MEAABxCAAAYQgAA6MEAAHRCAADgQQAARMIAAPDBAADAwQAAgsIAAIA_AACCwgAAmEIAAABCAABAwgAAAEEAAARCAACoQQAAiEIAAFDBAAD4wQAAAEIAAPjBAAAAQAAAsEEAAGTCAABAwQAAAEEAANjBAACAwQAAoMAAAFDBAAA0wgAAoMAAAEDCAAD4QQAASEIAAIBAAAC4QQAAMEIAAIBAAABcwgAAuMIAAIBBAACYQQAADEIAALBBAAAAQQAAcEEAAHTCAAD4wQAAEMEAAADBAADQwQAAgD8AACBBAAAYwgAALMIAAIDAAABQwgAAgL8AAMjBAADwQQAAGMIAAAhCAAAQwgAAgEEAAJDBAABIwgAAYEEAAFxCAAA0QgAAsMEAALDCAAAIQgAA6MEAAGBBAAAIQgAAgEEAAK5CAADgwQAAMEIAAEBBAACgwQAA2sIAAOhBAACowQAABEIAAFBBAADSwgAAtkIAACDBAAAIwgAA-MEAAIDAAACAwQAAgEEAAIA_AADgQAAAdMIAACjCAABcwgAAAEEgADgTQAlIdVABKo8CEAAagAIAAFS-AABMPgAAlj4AAGQ-AADovQAAQDwAAOg9AAC2vgAAyr4AABA9AABcPgAAiL0AAEC8AAAcPgAAqD0AAFS-AABcPgAAMD0AAPg9AACKPgAAfz8AAHA9AAAkvgAAqD0AAKi9AACgvAAAFL4AAAS-AAD4vQAA2D0AAIC7AABwPQAA4LwAAJg9AADYPQAA6L0AAFQ-AAD2vgAAmr4AAJi9AADgPAAAgDsAAHC9AABEPgAAQDwAANg9AAAMPgAAmD0AAJi9AAB0vgAAoDwAABw-AAAsPgAAlj4AAAy-AAD4PQAA1j4AAHA9AACKPgAAFD4AAJi9AACYPQAAqD0AABS-IAA4E0AJSHxQASqPAhABGoACAABsvgAAoLwAAMg9AAAVvwAAZD4AAAw-AABUvgAAUL0AALi9AAB8PgAAXL4AAKC8AAAQPQAAUL0AAHA9AACgvAAAND4AAFk_AACoPQAA6j4AAAS-AADoPQAAiD0AAKC8AACIvQAAuL0AAJ4-AABQPQAAHD4AAGw-AACoPQAAyD0AAIA7AACAOwAAUD0AAFA9AABAPAAATD4AADy-AADgPAAAiD0AABA9AAAQvQAAML0AAES-AAC4PQAAf78AAIi9AADYvQAAJD4AAIC7AAAMvgAAED0AABw-AAAsPgAAmD0AAKg9AACYPQAAuL0AABA9AABAPAAAQLwAADA9AADYvSAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=ae8R4HDPj8Q","parent-reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["4387314520172606437"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false}},"dups":{"16613097998880140908":{"videoId":"16613097998880140908","title":"Splash 2016: \u0007[Benjamin\u0007] \u0007[Pierce\u0007] about the Deep Specification project","cleanTitle":"Splash 2016: Benjamin Pierce about the Deep Specification project","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=0aqC3UgupLQ","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/0aqC3UgupLQ?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDZXdieGwxcEtmSFV0aUR2Y0x0RkM3dw==","name":"RELEASE","isVerified":false,"subscribersCount":0,"url":"/video/search?text=RELEASE","origUrl":"http://www.youtube.com/@release4796","a11yText":"RELEASE. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":575,"text":"9:35","a11yText":"Süre 9 dakika 35 saniye","shortText":"9 dk."},"date":"11 ara 2016","modifyTime":1481414400000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/0aqC3UgupLQ?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=0aqC3UgupLQ","reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","duration":575},"parentClipId":"16613097998880140908","href":"/preview/16613097998880140908?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce","rawHref":"/video/preview/16613097998880140908?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"15919621602974174838":{"videoId":"15919621602974174838","title":"The Unfortunate & Untimely Death of \u0007[Benjamin\u0007] \u0007[Pierce\u0007]","cleanTitle":"The Unfortunate & Untimely Death of Benjamin Pierce","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=PlOhguEMOu0","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/PlOhguEMOu0?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDUkJRUkxPWHVqSWFOYzFfZkNwREdGZw==","name":"Bobblehead George","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Bobblehead+George","origUrl":"http://www.youtube.com/@BobbleheadGeorge","a11yText":"Bobblehead George. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":57,"text":"00:57","a11yText":"Süre 57 saniye","shortText":""},"date":"30 mar 2025","modifyTime":1743292800000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/PlOhguEMOu0?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=PlOhguEMOu0","reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","duration":57},"parentClipId":"15919621602974174838","href":"/preview/15919621602974174838?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce","rawHref":"/video/preview/15919621602974174838?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"8574498500230653323":{"videoId":"8574498500230653323","title":"\u0007[Benjamin\u0007] \u0007[Pierce\u0007]: Backtracking Generators for Random Testing","cleanTitle":"Benjamin Pierce: Backtracking Generators for Random Testing","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=dfZ94N0hS4I","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/dfZ94N0hS4I?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDaUdPektkZTFybHZ6RUI3SjczZ3ZyUQ==","name":"Chalmers Functional Programming Seminar Series","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Chalmers+Functional+Programming+Seminar+Series","origUrl":"http://www.youtube.com/@chalmersfunctionalprogramm5218","a11yText":"Chalmers Functional Programming Seminar Series. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":3592,"text":"59:52","a11yText":"Süre 59 dakika 52 saniye","shortText":"59 dk."},"views":{"text":"4,9bin","a11yText":"4,9 bin izleme"},"date":"18 mayıs 2020","modifyTime":1589810418000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/dfZ94N0hS4I?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=dfZ94N0hS4I","reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","duration":3592},"parentClipId":"8574498500230653323","href":"/preview/8574498500230653323?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce","rawHref":"/video/preview/8574498500230653323?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"12211989992733897522":{"videoId":"12211989992733897522","title":"A Deep Specification for Dropbox - \u0007[Benjamin\u0007] \u0007[Pierce\u0007]","cleanTitle":"A Deep Specification for Dropbox - Benjamin Pierce","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=Y2jQe8DFzUM","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/Y2jQe8DFzUM?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDYUxsekdxaVBFMlFSajZzU09hd0pSZw==","name":"ClojureTV","isVerified":false,"subscribersCount":0,"url":"/video/search?text=ClojureTV","origUrl":"http://www.youtube.com/@ClojureTV","a11yText":"ClojureTV. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":2801,"text":"46:41","a11yText":"Süre 46 dakika 41 saniye","shortText":"46 dk."},"views":{"text":"13bin","a11yText":"13 bin izleme"},"date":"17 kas 2015","modifyTime":1447718400000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/Y2jQe8DFzUM?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=Y2jQe8DFzUM","reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","duration":2801},"parentClipId":"12211989992733897522","href":"/preview/12211989992733897522?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce","rawHref":"/video/preview/12211989992733897522?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"15500916996737642772":{"videoId":"15500916996737642772","title":"Dimacs Tutorials - Oct 24, 2012: \u0007[Benjamin\u0007] \u0007[Pierce\u0007] - Differential Privacy in Programming Langu...","cleanTitle":"Dimacs Tutorials - Oct 24, 2012: Benjamin Pierce - Differential Privacy in Programming Languages","host":{"title":"YouTube","href":"http://www.youtube.com/watch/ci2aueqZ6CU","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/ci2aueqZ6CU?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDd0liUWpvVVVHZkw1bk0zMHIwZm1Rdw==","name":"Rutgers University","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Rutgers+University","origUrl":"http://www.youtube.com/@RutgersU","a11yText":"Rutgers University. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":4427,"text":"1:13:47","a11yText":"Süre 1 saat 13 dakika 47 saniye","shortText":"1 sa. 13 dk."},"views":{"text":"1,2bin","a11yText":"1,2 bin izleme"},"date":"12 kas 2012","modifyTime":1352678400000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/ci2aueqZ6CU?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=ci2aueqZ6CU","reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","duration":4427},"parentClipId":"15500916996737642772","href":"/preview/15500916996737642772?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce","rawHref":"/video/preview/15500916996737642772?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"15715282039251464824":{"videoId":"15715282039251464824","title":"The Founder Who Wasn't: \u0007[Benjamin\u0007] \u0007[Pierce\u0007]","cleanTitle":"The Founder Who Wasn't: Benjamin Pierce","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=YjEVBcxwMj0","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/YjEVBcxwMj0?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDc0lJZXdoMmE4My1jVU9mN0cwQmJzZw==","name":"The Birmingham Museum!","isVerified":false,"subscribersCount":0,"url":"/video/search?text=The+Birmingham+Museum%21","origUrl":"http://www.youtube.com/@thebirminghammuseum7749","a11yText":"The Birmingham Museum!. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":1312,"text":"21:52","a11yText":"Süre 21 dakika 52 saniye","shortText":"21 dk."},"date":"29 mayıs 2023","modifyTime":1685318400000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/YjEVBcxwMj0?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=YjEVBcxwMj0","reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","duration":1312},"parentClipId":"15715282039251464824","href":"/preview/15715282039251464824?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce","rawHref":"/video/preview/15715282039251464824?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"4158206090250655593":{"videoId":"4158206090250655593","title":"Software foundations in Coq 1.2 - \u0007[Benjamin\u0007] \u0007[Pierce\u0007]","cleanTitle":"Software foundations in Coq 1.2 - Benjamin Pierce","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=ucNJD6k8T6k","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/ucNJD6k8T6k?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDMUxRbXl6LUNKN1JZV1Z0a21jSHI4Zw==","name":"Mathématiques et programmation","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Math%C3%A9matiques+et+programmation","origUrl":"http://www.youtube.com/@nrolland","a11yText":"Mathématiques et programmation. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":2223,"text":"37:03","a11yText":"Süre 37 dakika 3 saniye","shortText":"37 dk."},"views":{"text":"1,7bin","a11yText":"1,7 bin izleme"},"date":"26 ağu 2013","modifyTime":1377475200000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/ucNJD6k8T6k?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=ucNJD6k8T6k","reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","duration":2223},"parentClipId":"4158206090250655593","href":"/preview/4158206090250655593?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce","rawHref":"/video/preview/4158206090250655593?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"8495214272662067320":{"videoId":"8495214272662067320","title":"The Moonpie Project Presents: \u0007[Benjamin\u0007] \u0007[Pierce\u0007]","cleanTitle":"The Moonpie Project Presents: Benjamin Pierce","host":{"title":"vimeo.com","href":"http://vimeo.com/221441628","playerUri":"\u003ciframe src=\"//player.vimeo.com/video/221441628?api=1&byline=1&fullscreen=1&portrait=0&title=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"vimeo","providerName":"vimeo.com","sourceHost":"vimeo.com","name":"vimeo.com","secondPart":{"type":"CHANNEL","id":"dmltZW8uY29tOzkyODA0NjE=","name":"Crosstown Arts","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Crosstown+Arts","a11yText":"Crosstown Arts. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fvimeo.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":127,"text":"2:07","a11yText":"Süre 2 dakika 7 saniye","shortText":"2 dk."},"date":"13 haz 2017","modifyTime":1497338445000,"isExternal":false,"player":{"embedUrl":"https://player.vimeo.com/video/221441628?api=1&autoplay=1&byline=1&fullscreen=1&portrait=0&title=1&wmode=opaque","playerId":"vimeo","videoUrl":"http://vimeo.com/221441628","reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","duration":127},"parentClipId":"8495214272662067320","href":"/preview/8495214272662067320?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce","rawHref":"/video/preview/8495214272662067320?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"1512080022141136603":{"videoId":"1512080022141136603","title":"Oplss10: \u0007[Benjamin\u0007] \u0007[Pierce\u0007]: Software Foundations in Coq 1/6","cleanTitle":"Oplss10: Benjamin Pierce: Software Foundations in Coq 1/6","host":{"title":"vimeo.com","href":"http://vimeo.com/18450270","playerUri":"\u003ciframe src=\"//player.vimeo.com/video/18450270?api=1&byline=1&fullscreen=1&portrait=0&title=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"vimeo","providerName":"vimeo.com","sourceHost":"vimeo.com","name":"vimeo.com","secondPart":{"type":"CHANNEL","id":"dmltZW8uY29tOzU1NjUzOTQ=","name":"Schonfinkeled","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Schonfinkeled","a11yText":"Schonfinkeled. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fvimeo.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":4437,"text":"1:13:57","a11yText":"Süre 1 saat 13 dakika 57 saniye","shortText":"1 sa. 13 dk."},"date":"4 oca 2011","modifyTime":1294170038000,"isExternal":false,"player":{"embedUrl":"https://player.vimeo.com/video/18450270?api=1&autoplay=1&byline=1&fullscreen=1&portrait=0&title=1&wmode=opaque","playerId":"vimeo","videoUrl":"http://vimeo.com/18450270","reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","duration":4437},"parentClipId":"1512080022141136603","href":"/preview/1512080022141136603?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce","rawHref":"/video/preview/1512080022141136603?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"8687697716445247829":{"videoId":"8687697716445247829","title":"Software foundations in Coq 3.2 - \u0007[Benjamin\u0007] \u0007[Pierce\u0007]","cleanTitle":"Software foundations in Coq 3.2 - Benjamin Pierce","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=L05lhXTutAs","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/L05lhXTutAs?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDMUxRbXl6LUNKN1JZV1Z0a21jSHI4Zw==","name":"Mathématiques et programmation","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Math%C3%A9matiques+et+programmation","origUrl":"http://www.youtube.com/@nrolland","a11yText":"Mathématiques et programmation. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":2222,"text":"37:02","a11yText":"Süre 37 dakika 2 saniye","shortText":"37 dk."},"date":"23 ağu 2013","modifyTime":1377216000000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/L05lhXTutAs?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=L05lhXTutAs","reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","duration":2222},"parentClipId":"8687697716445247829","href":"/preview/8687697716445247829?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce","rawHref":"/video/preview/8687697716445247829?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"11415215644102950426":{"videoId":"11415215644102950426","title":"Software foundations in Coq 3.3 - \u0007[Benjamin\u0007] \u0007[Pierce\u0007]","cleanTitle":"Software foundations in Coq 3.3 - Benjamin Pierce","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=iNToE0TxB-8","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/iNToE0TxB-8?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDMUxRbXl6LUNKN1JZV1Z0a21jSHI4Zw==","name":"Mathématiques et programmation","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Math%C3%A9matiques+et+programmation","origUrl":"http://www.youtube.com/@nrolland","a11yText":"Mathématiques et programmation. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":159,"text":"2:39","a11yText":"Süre 2 dakika 39 saniye","shortText":"2 dk."},"date":"23 ağu 2013","modifyTime":1377216000000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/iNToE0TxB-8?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=iNToE0TxB-8","reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","duration":159},"parentClipId":"11415215644102950426","href":"/preview/11415215644102950426?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce","rawHref":"/video/preview/11415215644102950426?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"1699011008908707300":{"videoId":"1699011008908707300","title":"Software foundations in Coq 1.3 - \u0007[Benjamin\u0007] \u0007[Pierce\u0007]","cleanTitle":"Software foundations in Coq 1.3 - Benjamin Pierce","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=Q0Fy7I1C13s","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/Q0Fy7I1C13s?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDMUxRbXl6LUNKN1JZV1Z0a21jSHI4Zw==","name":"Mathématiques et programmation","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Math%C3%A9matiques+et+programmation","origUrl":"http://www.youtube.com/@nrolland","a11yText":"Mathématiques et programmation. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":1058,"text":"17:38","a11yText":"Süre 17 dakika 38 saniye","shortText":"17 dk."},"views":{"text":"1,2bin","a11yText":"1,2 bin izleme"},"date":"21 ağu 2013","modifyTime":1377043200000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/Q0Fy7I1C13s?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=Q0Fy7I1C13s","reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","duration":1058},"parentClipId":"1699011008908707300","href":"/preview/1699011008908707300?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce","rawHref":"/video/preview/1699011008908707300?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"8634023156087883138":{"videoId":"8634023156087883138","title":"Software foundations in Coq 1.1 - \u0007[Benjamin\u0007] \u0007[Pierce\u0007]","cleanTitle":"Software foundations in Coq 1.1 - Benjamin Pierce","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=1s8efXv1O8o","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/1s8efXv1O8o?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDMUxRbXl6LUNKN1JZV1Z0a21jSHI4Zw==","name":"Mathématiques et programmation","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Math%C3%A9matiques+et+programmation","origUrl":"http://www.youtube.com/@nrolland","a11yText":"Mathématiques et programmation. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":2234,"text":"37:14","a11yText":"Süre 37 dakika 14 saniye","shortText":"37 dk."},"views":{"text":"4,3bin","a11yText":"4,3 bin izleme"},"date":"26 ağu 2013","modifyTime":1377475200000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/1s8efXv1O8o?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=1s8efXv1O8o","reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","duration":2234},"parentClipId":"8634023156087883138","href":"/preview/8634023156087883138?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce","rawHref":"/video/preview/8634023156087883138?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"17090437004782118485":{"videoId":"17090437004782118485","title":"Software foundations in Coq 0.2 - \u0007[Benjamin\u0007] \u0007[Pierce\u0007]","cleanTitle":"Software foundations in Coq 0.2 - Benjamin Pierce","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=ZVP3_7x3JY4","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/ZVP3_7x3JY4?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDMUxRbXl6LUNKN1JZV1Z0a21jSHI4Zw==","name":"Mathématiques et programmation","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Math%C3%A9matiques+et+programmation","origUrl":"http://www.youtube.com/@nrolland","a11yText":"Mathématiques et programmation. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":943,"text":"15:43","a11yText":"Süre 15 dakika 43 saniye","shortText":"15 dk."},"views":{"text":"3,3bin","a11yText":"3,3 bin izleme"},"date":"23 ağu 2013","modifyTime":1377216000000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/ZVP3_7x3JY4?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=ZVP3_7x3JY4","reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","duration":943},"parentClipId":"17090437004782118485","href":"/preview/17090437004782118485?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce","rawHref":"/video/preview/17090437004782118485?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"12647906549582178787":{"videoId":"12647906549582178787","title":"Software foundations in Coq 2.2 - \u0007[Benjamin\u0007] \u0007[Pierce\u0007]","cleanTitle":"Software foundations in Coq 2.2 - Benjamin Pierce","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=V2Z-q8k5z7g","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/V2Z-q8k5z7g?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDMUxRbXl6LUNKN1JZV1Z0a21jSHI4Zw==","name":"Mathématiques et programmation","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Math%C3%A9matiques+et+programmation","origUrl":"http://www.youtube.com/@nrolland","a11yText":"Mathématiques et programmation. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":1551,"text":"25:51","a11yText":"Süre 25 dakika 51 saniye","shortText":"25 dk."},"date":"23 ağu 2013","modifyTime":1377216000000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/V2Z-q8k5z7g?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=V2Z-q8k5z7g","reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","duration":1551},"parentClipId":"12647906549582178787","href":"/preview/12647906549582178787?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce","rawHref":"/video/preview/12647906549582178787?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"4292901834148858700":{"videoId":"4292901834148858700","title":"Software foundations in Coq 3.1 - \u0007[Benjamin\u0007] \u0007[Pierce\u0007]","cleanTitle":"Software foundations in Coq 3.1 - Benjamin Pierce","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=Q_3R63gYuHQ","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/Q_3R63gYuHQ?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDMUxRbXl6LUNKN1JZV1Z0a21jSHI4Zw==","name":"Mathématiques et programmation","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Math%C3%A9matiques+et+programmation","origUrl":"http://www.youtube.com/@nrolland","a11yText":"Mathématiques et programmation. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":2234,"text":"37:14","a11yText":"Süre 37 dakika 14 saniye","shortText":"37 dk."},"date":"23 ağu 2013","modifyTime":1377216000000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/Q_3R63gYuHQ?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=Q_3R63gYuHQ","reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","duration":2234},"parentClipId":"4292901834148858700","href":"/preview/4292901834148858700?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce","rawHref":"/video/preview/4292901834148858700?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"15036838810341231680":{"videoId":"15036838810341231680","title":"Software foundations in Coq 2.1 - \u0007[Benjamin\u0007] \u0007[Pierce\u0007]","cleanTitle":"Software foundations in Coq 2.1 - Benjamin Pierce","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=w1prIiR2LzY","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/w1prIiR2LzY?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDMUxRbXl6LUNKN1JZV1Z0a21jSHI4Zw==","name":"Mathématiques et programmation","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Math%C3%A9matiques+et+programmation","origUrl":"http://www.youtube.com/@nrolland","a11yText":"Mathématiques et programmation. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":1987,"text":"33:07","a11yText":"Süre 33 dakika 7 saniye","shortText":"33 dk."},"views":{"text":"1,1bin","a11yText":"1,1 bin izleme"},"date":"21 ağu 2013","modifyTime":1377043200000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/w1prIiR2LzY?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=w1prIiR2LzY","reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","duration":1987},"parentClipId":"15036838810341231680","href":"/preview/15036838810341231680?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce","rawHref":"/video/preview/15036838810341231680?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"4387314520172606437":{"videoId":"4387314520172606437","title":"Introduction to Coq (2012) - \u0007[Benjamin\u0007] \u0007[Pierce\u0007]","cleanTitle":"Introduction to Coq (2012) - Benjamin Pierce","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=ae8R4HDPj8Q","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/ae8R4HDPj8Q?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDeV9odVFfOFVLTGZIY2FjN0t3SDl3UQ==","name":"pxeger","isVerified":false,"subscribersCount":0,"url":"/video/search?text=pxeger","origUrl":"http://www.youtube.com/@pxeger","a11yText":"pxeger. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":3178,"text":"52:58","a11yText":"Süre 52 dakika 58 saniye","shortText":"52 dk."},"date":"4 kas 2021","modifyTime":1635984000000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/ae8R4HDPj8Q?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=ae8R4HDPj8Q","reqid":"1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL","duration":3178},"parentClipId":"4387314520172606437","href":"/preview/4387314520172606437?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce","rawHref":"/video/preview/4387314520172606437?parent-reqid=1769624491117294-8452812507043106795-balancer-l7leveler-kubr-yp-sas-134-BAL&text=Benjamin+Pierce","isEmbedOnly":false,"shouldPlayInstreamPreroll":false}}},"viewer":{"_isInitial":false,"clips":{"items":{},"dups":{},"loadingStatus":"None"},"internal":{"videoId":"","sandboxEventPrefix":"sandbox:","sandboxVersion":"0x001cd987dbd","isEmbedded":false,"from":"yavideo","service":"ya-video","hbPeriod":30,"table":"video_tech","isInstreamDisabled":false,"nonce":"4528125070431067957134","errorList":[],"isAdultAdv":false,"isImportantCommonAdv":false,"shouldShowAdvId":false,"advConfig":{"under-player":{"regular":{"default":"R-I-48058-725","mail":"R-A-13411721-6"},"adult":{"default":"R-I-474674-114","mail":"R-A-13426421-6"}},"under-player-lite":{"regular":{"default":"R-I-48058-728"},"adult":{"default":"R-I-474674-103"}},"under-player-old":{"regular":{"default":"R-I-48058-725","mail":"R-A-13411721-6"},"adult":{"default":"R-I-474674-114","mail":"R-A-13426421-6"}},"video-list":{"regular":{"default":"R-I-48058-708","mail":"R-A-13411721-2"},"adult":{"default":"R-I-474674-101","mail":"R-A-13426421-2"}},"search-list":{"adult":{"default":"R-I-474674-135","mail":"R-A-13426421-23"},"regular":{"default":"R-I-48058-751","mail":"R-A-13411721-23"}},"search-grid-row":{"regular":{"default":"R-I-48058-718","mail":"R-A-13411721-4"},"adult":{"default":"R-I-474674-109","mail":"R-A-13426421-4"}},"search-grid-head":{"regular":{"default":"R-I-2120168-7"}},"search-list-right":{"regular":{"default":"R-I-8843654-1"}},"before-player-old":{"regular":{"default":"R-I-2120168-1"}},"before-player":{"regular":{"default":"R-I-2120168-1"}},"search-grid-inplace":{"adult":{"default":"R-I-474674-126","mail":"R-A-13426421-16"},"regular":{"default":"R-I-48058-742","mail":"R-A-13411721-16"}}},"shouldValidateSandbox":false,"sandboxInitTimeout":15000,"isSSROnlyMastheadEnabled":true,"query":"Benjamin Pierce","queryUriEscaped":"Benjamin%20Pierce","filterMode":1,"isUserChild":false,"advInstreamConfig":{"regular":{"default":{"category":"2","impId":"7","partnerId":"2216089","vmapScenarioId":"119"}},"adult":{"default":{"category":"3","impId":"4","partnerId":"1988486","vmapScenarioId":"119"}}}},"playbackQueue":{"currentIndex":0,"items":[]},"related":{"items":[],"pages":[],"loadingStatus":"None","nextPageNum":0,"ncrnd":0},"playlist":{"items":{}},"delayedViews":{"ids":[],"loadingStatus":"None"}}}