{"pages":{"search":{"query":"Loop Invariant","originalQuery":"Loop Invariant","serpid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","parentReqid":"","serpItems":[{"id":"11726078504614498925-0-0","type":"videoSnippet","props":{"videoId":"11726078504614498925"},"curPage":0},{"id":"15490515935910669157-0-1","type":"videoSnippet","props":{"videoId":"15490515935910669157"},"curPage":0},{"id":"10769297764581872144-0-2","type":"videoSnippet","props":{"videoId":"10769297764581872144"},"curPage":0},{"id":"12882701797651135084-0-3","type":"videoSnippet","props":{"videoId":"12882701797651135084"},"curPage":0},{"id":"R-I-113683-5-0-4","type":"direct","props":{"advRsyaActivateParams":{"pcodeParams":{"blockId":"","renderTo":"","pageNumber":4,"grab":"dExvb3AgSW52YXJpYW50Cg==","statId":4,"darkTheme":false,"lazyLoad":false,"extParams":{"reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","ui":"desktop","yuid":"9646365661769803710"}}},"isAdult":false,"position":4,"placement":"empty"},"curPage":0},{"id":"11584113825731770199-0-5","type":"videoSnippet","props":{"videoId":"11584113825731770199"},"curPage":0},{"id":"16051819841698902054-0-6","type":"videoSnippet","props":{"videoId":"16051819841698902054"},"curPage":0},{"id":"17738701849563325722-0-7","type":"videoSnippet","props":{"videoId":"17738701849563325722"},"curPage":0},{"id":"9896881014861567542-0-8","type":"videoSnippet","props":{"videoId":"9896881014861567542"},"curPage":0},{"id":"17302067415970719024-0-9","type":"videoSnippet","props":{"videoId":"17302067415970719024"},"curPage":0},{"id":"3179988269103481286-0-10","type":"videoSnippet","props":{"videoId":"3179988269103481286"},"curPage":0},{"id":"R-I-113683-5-0-11","type":"direct","props":{"advRsyaActivateParams":{"pcodeParams":{"blockId":"","renderTo":"","pageNumber":11,"grab":"dExvb3AgSW52YXJpYW50Cg==","statId":11,"darkTheme":false,"lazyLoad":false,"extParams":{"reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","ui":"desktop","yuid":"9646365661769803710"}}},"isAdult":false,"position":11,"placement":"empty"},"curPage":0},{"id":"6330347057587345888-0-12","type":"videoSnippet","props":{"videoId":"6330347057587345888"},"curPage":0},{"id":"2285471548804895899-0-13","type":"videoSnippet","props":{"videoId":"2285471548804895899"},"curPage":0},{"id":"14153109033747769557-0-14","type":"videoSnippet","props":{"videoId":"14153109033747769557"},"curPage":0},{"id":"1180785768931961812-0-15","type":"videoSnippet","props":{"videoId":"1180785768931961812"},"curPage":0},{"id":"3610646768520628706-0-16","type":"videoSnippet","props":{"videoId":"3610646768520628706"},"curPage":0},{"id":"1806426508890332135-0-17","type":"videoSnippet","props":{"videoId":"1806426508890332135"},"curPage":0},{"id":"10663078451487375345-0-18","type":"videoSnippet","props":{"videoId":"10663078451487375345"},"curPage":0},{"id":"10058603856963039-0-19","type":"videoSnippet","props":{"videoId":"10058603856963039"},"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":"dExvb3AgSW52YXJpYW50Cg==","darkTheme":false,"lazyLoad":false,"extParams":{"reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","ui":"desktop","yuid":"9646365661769803710"}}},"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%3DLoop%2BInvariant"},"main":{"_isInitial":true,"snippets":[],"serpFooter":{"linksGroups":[]},"isLoggedIn":false,"tags":[]}},"internal":{"nonce":"8946143215899386847239","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_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,"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":["1472350,0,66;1470500,0,76;3055,0,52;151171,0,7;1281084,0,38;287509,0,37;1447467,0,17;786162,0,67;1473596,0,57;1466396,0,37;1478788,0,87"],"isYandexNet":false,"platform":"desktop","isEnLogo":true,"retpath":"https%3A%2F%2Ftwitter.yandex.com.tr%2Fvideo%2Fsearch%3Ftext%3DLoop%2BInvariant","mordaUrl":"//yandex.com.tr/","videoSearchUrl":"https://twitter.yandex.com.tr/video/search?text=Loop+Invariant","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":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","backUrl":"//ya.ru","url":"https://twitter.yandex.com.tr/video/search?text=Loop+Invariant","isIntegrationTest":false,"isEndToEndTest":false,"shouldDropLogs":false,"seo":{"title":"Loop Invariant: Yandex'te 2 bin video bulundu","description":"Результаты поиска по запросу \"Loop Invariant\" в Яндексе","keywords":"яндекс видео, поиск видео, смотреть онлайн, сериалы, фильмы, клипы","shareTitle":"Loop Invariant — Яндекс — поиск по видео"},"isEmbedded":false,"isPumpkin":false,"sessionCsrfToken":"y7b13fadb91e506a3082678100982a0e7","reportFeedbackBaseProps":{"initEmail":"","metaFields":{"userAgent":"Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)","userTestids":"1472350,1470500,3055,151171,1281084,287509,1447467,786162,1473596,1466396,1478788","queryText":"Loop Invariant","reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","userRegionName":"","userRegionId":"id() {\n return this._region.id;\n }","yandexuid":"9646365661769803710","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,1478181,1299604","regionId":20815,"isYaRu":false,"shouldUnmountSearchPageInViewer":false,"videoGlobalContext":{"platform":"desktop","isPumpkin":false,"language":"tr","user_time":{"epoch":"1769803714","tz":"America/Louisville","to_iso":"2026-01-30T15:08:34-0500","__is_plain":1},"isHermione":false,"shouldStubImages":true,"enableVideoPreviewInHermione":false,"reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-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":"1472350,1470500,3055,151171,1281084,287509,1447467,786162,1473596,1466396,1478788","queryText":"Loop Invariant","reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","userRegionName":"","userRegionId":"id() {\n return this._region.id;\n }","yandexuid":"9646365661769803710","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":"8946143215899386847239","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,"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,"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":"9646365661769803710","ugcCsrfToken":"","family":1,"isChild":false},"config":{"skinMode":"system","skin":"light","version":"releases-frontend-video-v1.1759.0__78afb7e0ef66aeda09c521d3b89f7cdbe661a72a","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":{"11726078504614498925":{"videoId":"11726078504614498925","docid":"34-10-17-ZDF249F052C2D0E46","description":"The correctness of iterative algorithms can be formally proven using loop invariants. For Full Course Experience Please Go To http://mentorsnet.org/course_preview?course_id=2 Full Course...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/2205731/8216953d793b4d438019694a903f1083/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/7xHWNAEAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"0","reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DZkLxdz7cOn0","linkTemplate":"/video/preview/11726078504614498925?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Loop invariants","related_orig_text":"Loop Invariant","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Loop Invariant\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=ZkLxdz7cOn0\",\"src\":\"serp\",\"rvb\":\"EqwDChQxMTcyNjA3ODUwNDYxNDQ5ODkyNQoUMTU0OTA1MTU5MzU5MTA2NjkxNTcKFDEwNzY5Mjk3NzY0NTgxODcyMTQ0ChQxMjg4MjcwMTc5NzY1MTEzNTA4NAoUMTE1ODQxMTM4MjU3MzE3NzAxOTkKFDE2MDUxODE5ODQxNjk4OTAyMDU0ChQxNzczODcwMTg0OTU2MzMyNTcyMgoTOTg5Njg4MTAxNDg2MTU2NzU0MgoUMTczMDIwNjc0MTU5NzA3MTkwMjQKEzMxNzk5ODgyNjkxMDM0ODEyODYKEzYzMzAzNDcwNTc1ODczNDU4ODgKEzIyODU0NzE1NDg4MDQ4OTU4OTkKFDE0MTUzMTA5MDMzNzQ3NzY5NTU3ChMxMTgwNzg1NzY4OTMxOTYxODEyChMzNjEwNjQ2NzY4NTIwNjI4NzA2ChMxODA2NDI2NTA4ODkwMzMyMTM1ChQxMDY2MzA3ODQ1MTQ4NzM3NTM0NQoRMTAwNTg2MDM4NTY5NjMwMzkKEzcxMjQ3NzkzMDE3OTU0NTk4MjkKEzY2MzkyNTg0MTY5NzExNDc3ODgaFgoUMTE3MjYwNzg1MDQ2MTQ0OTg5MjVaFDExNzI2MDc4NTA0NjE0NDk4OTI1aogXEgEwGAAiRRoxAAoqaGhtenNyd2Rwc3d0cHR1YmhoVUMxV290OHRPMC0wVFpaWnhWaHEtemNnEgIAEioQwg8PGg8_E_IHggQkAYAEKyqLARABGniB__n8-_wFAPIK8wj7BP8B8Qr5_Pr-_QD5_f4DBQL_AAH5APj6AQAA-w_x_wMAAAD5_AP_A_4AAA0A_QP7AAAAAgAD_gIAAAAJ-gID_wEAAPYDAgn3AgABBAMGBvX-AQDvBAz2AAAAAP4J_wMAAAAA-_P7-QAAAAAgAC1bBuE7OBNACUhOUAIqhAIQABrwAX37EwHGCeAA7wbYANYk5AGBIgr-CC7yAMEF_QDNFdkA7gbrAOLq9AD4HRYAuhHu_0Xf7_4P2gUAHuP-_xQCDADUGAgAI9sKAELhB_8L_f_-zx8a_g_r__8TxO0A9QPQAfv8EgDRBcD_7gPFAhfnKgIJMxUBHO8RAur2Fv7YBxID7d_b_g4EBQDm6Q0B5i4hAh3x6QP6OQYC1gXmAvcV_wTx3f3_LxHmARcHBATuIfMD4AYK9Qvl6gIcIRQI4vLrAe0BBvoM8AX7--wFBBbcDgkB_QH_E-H6CQ7-_vz-zgn34e7699MAAfz5_Pb9APf0_SAALf8hHTs4E0AJSGFQAirPBxAAGsAH-u8Bv4Ebbzv-0mK9XFcMPa9Jkjw1NRy8Pom5PZClKj1VxXG70WDuPFcSLz0-FHu9FM_hvsGt-7zV5wq9Ci9hPhdxsLxB08Y5ehcvvgg8MD0pn9S89aGDvjx38TsuxZc7jKgEvWTUrbuLkJU8vrh5O1csFL1D2Pq80mg3PUBsSb3_ddO8-Ua5vVOXnL1lmt-825lTPZILmb286-y7IAe6PYKRN72Ispy8bus9PYDAnLtEqoO8eraova7iw7spi-s79z8QPhegbbyfSfI7Nf8ZPZppgT3P_tu8Y5z_PL7Mg7szCjQ79ybhPF2GlD3wtfG82MIHPUTHmb3yO7K8xipvvLedMT3H49g8qPwLPqWDlT0kjoa80lebvd1IVD0a9C27sTfMPDJ2gjyK9T-6MGOqPaGRmTwmaaM8QgNWPcTdzzx5aKs6Eg8LvCQUtjzuKK07OeCpPfX7mT3gaAW8OECbuyVGmj22g8-6sGhkvUmvNz1AaKI8ImWlPTE2Pr1o5zQ89OlnvPqcNj0-vxw8RVylPHO49r3kBDc80Y-ru-Q0H72ykTW80KD8PFCJ0DyKcQC8KZWwPAo1pzjpP9K7m1d1vdCGMjyB5TK5A8EtPey8cr2XuEG4Tx67vNYBgD0AthO72L_GvMTeVTx_8TG8YkBAvTHsoD1YFvE6_kHJPFsMjr0d32Y7GpyNPeTHDj2eke-7QYfUvJ_HCD3WJbo7yDKTPQq0ID0wNZ05ggtoPB3IurzzxBo8g6mDO29DsTzqojE6FbN0PUBgr72NYn44NmrPu3s-lDyiz3E5U2-XvPJ3Dz34CCQ5m_NCPCSBAjzhJKc48EGZvCRz47n0-A26Rf7PPJDjvTsgFo05Wt2FPX6KA73MUne5LhS6vKMyjzzUT0i6KbokvQ3lPz1Zsdm4qWIPPRsBC7zxGMs440w4PD8XMjzi_gG6oeWvvFRNFb21GDG4vC-dvIuBnz3Srmw3vIYqvakTkL0Ayqg47YMsPN5kqj1e6b24MGZLvPk04TtWwxu4sYXFPEYfmDyAlD-5mgcQPd44yb0INPs2C7UmPJV_LTxgmSo4tMBIvekAMr1SM5c3I9GwvHJTw7zjEDu4mz3QPf6Ki73aoZI4OOyEuhHuxLwrB143kl0ZPtlPUL2swj-5cPSsvYmYEjwFIBs4poaRPCNjWr30foo3mLBsvRHfybxfwoA4DRJHPHR89L1WWFm4ipZXPRBY-T2NF0A4ZlwCvXQWTD2AeJi46FWzvRYk7DzNuCE4ziuovPqpBzo9VeM3IAA4E0AJSG1QASpzEAAaYBsEACQLPer4GBLm4eUQAhLs0NEX6fMA-c3_-inzJvkCHMH7DgBIvS37sQAAABv6_CHRABdn3OP21-n8Erzk5jIYf_1IFq8ENxzJ-_cY9OYN9xHzUwDjIL5HLPW-G_nYMCAALSC9LDs4E0AJSG9QAiqvBhAMGqAGAAB4QgAAgMAAAMhCAAB4wgAAgD8AAAxCAACIQgAAwEEAAMDBAAAgwgAAGMIAAOBBAACAwQAAqMEAABBCAACowQAABEIAADjCAACAQQAAJMIAAIBAAAAcwgAAlMIAAEBBAACOwgAAoEAAAIA_AABUwgAA2EEAAGhCAAAgwQAAGEIAABDCAADgQAAAAMMAACBBAACgQQAAcEIAAMBBAAAMQgAAiEEAAMDAAAAIwgAAoMAAABBCAACowQAAQMIAAAxCAACAQQAAAMEAAIDCAACEwgAAcMIAACBCAAAIQgAAMEEAAITCAABAwgAAAEIAAKhBAAAwQgAAmMEAAJbCAAAcwgAAgEEAALjCAABAwAAALMIAADTCAADYwQAAjkIAAIA_AACCwgAAkkIAAIBAAAAAwQAAPMIAAFTCAACgQQAAUEEAAJDBAACiQgAAZMIAAAhCAACAPwAA0EEAAKjBAABswgAAcEIAAJhBAABoQgAAVEIAAKDAAABAQAAACEIAAATCAADgwAAAPMIAALhBAABAQQAAJMIAAFDBAACgQAAAEMIAALhBAACAwAAAcMEAABBCAAAgwgAAoEEAALBBAACQwQAAIEEAAJDBAADgQAAAkEIAAOBAAADwwQAAoMAAADDBAAD4wQAAMEEAAIhBAAAIwgAADMIAAGDBAAAYQgAAcEEAAADBAACAwAAAIEEAAHDCAACIwQAAQEIAAABAAADQQQAAgEAAAODAAACMwgAALMIAAAxCAAA4QgAAYMEAAAjCAAAAQQAA2EEAAGBBAAAgwgAA6EEAAAAAAADAwAAAYEEAAKJCAAC4QQAAgL8AAKDAAACCwgAACMIAAJjBAAAIwgAAUMIAADBCAADIQQAAHEIAAFDBAADAwQAAqEEAANxCAACUQgAAbMIAAAAAAAAAwQAAIEEAABjCAADYwQAAAEAAAFDBAACYwQAAUMEAAGRCAAC4wgAARMIAAIBAAABAwQAAPEIAALjBAAD4wQAALMIAAKBBAACQQQAAfEIAACzCAAAQQgAAMEEAADRCAAC6QgAA4MAAAOBAAACwwQAAMEEgADgTQAlIdVABKo8CEAAagAIAAJ6-AACyvgAAgLsAADw-AADgvAAA6D0AAJa-AABHvwAA9r4AAHw-AACIPQAAVL4AABA9AADgPAAAJL4AAES-AACCPgAA4DwAANo-AADmPgAAfz8AAFA9AAAkPgAAEL0AAMg9AABEvgAAiL0AAHC9AAD4vQAAcD0AAJ4-AACIvQAA4LwAAIC7AACgPAAAFD4AAPg9AAAEvgAAhr4AAJa-AABsvgAAUD0AAEQ-AAC-vgAA6L0AAFA9AAAwPQAADL4AABy-AACavgAAqL0AAP6-AABEPgAA-L0AAEy-AABQvQAAeT8AABS-AACoPQAAnj4AAIg9AAAEPgAAgLsAAGw-IAA4E0AJSHxQASqPAhABGoACAAB8vgAAdD4AAEy-AAArvwAAML0AAGQ-AADYPQAAND4AAIC7AAAkPgAAgDsAABy-AACYPQAAHL4AANg9AAAQvQAAgLsAACs_AAAcvgAAmj4AAEC8AADIPQAAij4AABS-AADgvAAAiD0AAKi9AAAkPgAA2L0AADy-AACYPQAAML0AAHA9AAC4vQAAyD0AAKK-AABQPQAA-D0AACy-AACoPQAA2D0AABy-AADgPAAAcL0AANi9AADgvAAAf78AAKA8AAAcvgAArj4AAKg9AAC4PQAAUD0AAI4-AACKPgAAoDwAAHC9AAC4PQAAqD0AALi9AACYPQAA-D0AAFQ-AADgvCAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=ZkLxdz7cOn0","parent-reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":806,"cheight":480,"cratio":1.67916,"dups":["11726078504614498925"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"2866777364"},"15490515935910669157":{"videoId":"15490515935910669157","docid":"34-10-1-Z9480B115DA8B90D0","description":"A loop invariant is a property of a loop that holds at initialization, maintenance, and termination. The video includes an example of a loop invariant for a...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/901611/f84d3406038130928bc5510ac48b8dc7/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/EGsk3gEAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"1","reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DIZ7fyyAsOZc","linkTemplate":"/video/preview/15490515935910669157?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"What is a Loop Invariant?","related_orig_text":"Loop Invariant","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Loop Invariant\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=IZ7fyyAsOZc\",\"src\":\"serp\",\"rvb\":\"EqwDChQxMTcyNjA3ODUwNDYxNDQ5ODkyNQoUMTU0OTA1MTU5MzU5MTA2NjkxNTcKFDEwNzY5Mjk3NzY0NTgxODcyMTQ0ChQxMjg4MjcwMTc5NzY1MTEzNTA4NAoUMTE1ODQxMTM4MjU3MzE3NzAxOTkKFDE2MDUxODE5ODQxNjk4OTAyMDU0ChQxNzczODcwMTg0OTU2MzMyNTcyMgoTOTg5Njg4MTAxNDg2MTU2NzU0MgoUMTczMDIwNjc0MTU5NzA3MTkwMjQKEzMxNzk5ODgyNjkxMDM0ODEyODYKEzYzMzAzNDcwNTc1ODczNDU4ODgKEzIyODU0NzE1NDg4MDQ4OTU4OTkKFDE0MTUzMTA5MDMzNzQ3NzY5NTU3ChMxMTgwNzg1NzY4OTMxOTYxODEyChMzNjEwNjQ2NzY4NTIwNjI4NzA2ChMxODA2NDI2NTA4ODkwMzMyMTM1ChQxMDY2MzA3ODQ1MTQ4NzM3NTM0NQoRMTAwNTg2MDM4NTY5NjMwMzkKEzcxMjQ3NzkzMDE3OTU0NTk4MjkKEzY2MzkyNTg0MTY5NzExNDc3ODgaFgoUMTU0OTA1MTU5MzU5MTA2NjkxNTdaFDE1NDkwNTE1OTM1OTEwNjY5MTU3aogXEgEwGAAiRRoxAAoqaGhxbXBqZXZxdmZqc2NlZGhoVUM1LW9CalJYdWF2LVFucWM0amtkQ1hnEgIAEioQwg8PGg8_E7oBggQkAYAEKyqLARABGniB9vv7-_sFAPkKAA75B_0C8Qr5_Pr-_QD3-_v9_gL_AP0DAPr3AQAA-w_x_wMAAAD2AQIHBP8AAAEK_wUEAAAABPkFAP4AAAAD-_0B_gEAAP4BDg0D_wAAB_sGC_8AAADvBAz2AAAAAP8J-QoAAAAA-_P7-QAAAAAgAC1ZkeI7OBNACUhOUAIqhAIQABrwAWcPAwK4FxL-MQv2AOoI9wCBBQv_KxP1AOTp_gDgBegB8hLnAN3vCwDqFg7_4x3nABvx4v9U6_H_ERcK_xwZIAAkDwoAJ-TjADICEf_tD_f_FRMV_yX5HgET7wkAExEFAA0R9f3SAOMA7wX4_xLsIQINFhMAGgQLBu4EAgDyDgEE5foJ_xkEFgDoBwL_-hoUAwIH-QX-GPwF4AH-BPsm8wP6-f4DEfvy_SD0BAUI-xX46vgB-goc_f4UDfkGAwgM-gvzCfgFCf3_3vQFBBHkCwf0AQ359fYKBvX4-wv44gD97fwC-ecT9ff2DxUFDgcD9iAALW4nSDs4E0AJSGFQAirPBxAAGsAHeNDkvqk8kTsMDd-8yrufvVpGij18hku8LqmfvQMLu7xT8G-8K6uEPWmIbz0PCV-7_Iy7vlpTD7zG6sW7UTAzPvqAmzuR50Q9SyMGvkz2tDy59Pk8T3iRvmcVTD2p5ou683TOPW_MXL0M0Rw9Cp0XPpObFbwRiq28fh34vJxNRz2LQCu877K6PADVCb0ae4A8hEo8PsiJwLp-QUE97DRSPtm7-bu-f5g7WldWvZ4MLj0KSg88MF2xO6IoDjx2Cw49lMIcPuST37t6oxs9dk1tvL0Hw7yNkba7wyZXPI_7dj3nomw5Mh_QvBZLsT3TdoI8vaCqvLwffL3t6wY6PhltvW8zUD2wY5I83WA4PimmXD3jGz46dEtGPTJyljxGXhY9CwL1vHv8Obxw75o8CRAPPdADhLw1Pc27xBA0PQRe3jtn_008CM1JPX5tojzq_8U7_R92PSL4RD3L8nW88UibOtGuQjyJkjW834jOvZIZOby2oU-6fJOrPUYIj72L2-w6LpmpPbpXPD2dbjQ8caLpuqd_5Dy2rfs7B2W3O2kNND3jgli8MX71O6ttNL1Mfaw60lGOPPXOMjyfBHQ7iCQfvUNVzDzl4XO8AsiKPTiMjb0Ux2S76Xw9PW87Hj2A6qM7uoyGPbTuer1x3O-7H_0lvQO067s9V8I7bcaKOkeakboFQh083mdGPSWjlLyoi9Y7sFgjvQUiujzMf-U6B-7gPXrcHrv2pQ66KlkpvJtUVL1vHdI7KOB_OjR2gz1_46W65CkwPaVWDr3x2A07tyn9On-6Rj01-k45jmy4PW74XTwNiBm5BnYmPerbiL0CzWY4cErUPMhRSr3NhYq5nhJrvfJjJzyNH0A5cKgGvOOIWrxbkqi6KAaOO7narzxEjOu41UWlvFA_gzytgpy5Jz2CvNMHfbr08Am5sq-GvChPNL3tkgI6NxxxvI84pLyjmKS4At8jvegeSLwyq2C3neKnOyNJVb1LnoC4brzgvFfLgjyjrjo4fEPhPCAvGj2sh6S4uJgavVXiFT3fOMG4BpwlvIxq0b36U_c3sOJUPbJXTLvl0YU4Q368vZtGSbx4S8g3mhL_vL2yJr0Vuse3ziULPLtlYryBvJm2Tc0vPUoQqb2K1Yg3lcBBPXu80DzELwq5k_T6vPPKNT2cyh-5PzCBPULb_zv1A8i3QmYfvLdBnb1px1E4FPRNPbS9p72Xl423cIJKPCrqtz3nCgk5cXxjvfolAj6pgSy5VdfGvbuZUbz5mlu3uEuRvH7vJbxpk5I3IAA4E0AJSG1QASpzEAAaYCgQADsJK_D8DRTa3Oj05xcH4w0D5wcAEOoABiH2DuT2_cIWJ_9_8QgGtQAAACfQ-zffAPtm4fPp-tEJ6Mjh5hECaQsiGLUCIvO089cG07Px6iv2NQD_A7IeK_XXJ_bpISAALQlKNTs4E0AJSG9QAiqvBhAMGqAGAACgwQAAIEEAALDBAABAwAAAOEIAABjCAACOQgAAEEEAACjCAADgwAAAikIAALjCAAAYwgAAdMIAAGRCAACAQAAAuMEAAAjCAAAgwgAAgMEAAMBBAADowQAAGEIAALhBAABAQAAAGMIAAGDCAACawgAAlkIAAMhBAAAwwQAAPEIAANrCAACgwAAAjsIAAPDBAAAIQgAAlkIAABDCAAAAQgAABEIAALBBAACwQQAAjkIAAPBBAAAQwgAAGMIAAJjBAAC6QgAAqEEAAATCAACgQAAAUMEAAADBAAA4QgAAgEAAAADDAABAQgAA2MEAAIBAAAAMQgAAFMIAAKjBAADgwgAAwEEAAGDCAACAwgAADMIAAEBAAAAIwgAAHEIAAJhCAACIQQAAcEEAAIC_AABUwgAAMMEAAIA_AAAcQgAAgL8AAETCAAAAQQAAAMAAAAhCAADAwAAAAEAAACBCAAAAQgAAtkIAAGzCAABAQAAAAEIAAKhBAABUwgAAoMEAADzCAACgQAAAJEIAAOBAAACAQQAAIMIAACBCAAAAQgAAFMIAAIhBAAC4wQAAcMEAABBCAABgwQAA-EEAAMBBAAAgQQAAgEAAAFDCAAAgwQAAAMEAACDBAACQwQAAcEEAABBBAABQwQAAZMIAANDBAAD4wQAAsEEAAChCAABAwAAAcEEAAFjCAAAAwgAAoMEAAPjBAAAwwQAAUMEAAMDBAABwQQAAIEEAAAhCAAD4wQAAqMIAACTCAACIQQAA4EEAAMBAAADYQQAAQEEAAHzCAAAQQQAAgEEAANjBAAAgQQAAgL8AAPhBAAAQwQAAGMIAAATCAACIQQAAbMIAAFTCAADIQQAAPMIAABDCAABMwgAAEMEAAMDBAAA4QgAAgL8AAJJCAAAEQgAAkEEAAODBAABYQgAAkMIAAIjBAAAgQQAAAEIAABBCAAAYwgAAXEIAANhBAACgQQAA-MEAAMjBAAAAwQAAokIAAABCAACOwgAAtEIAAEBAAAAgQQAAqsIAABDCAACAPwAAQEEAACBBAADAQQAALMIAAFjCAAA8wgAARMIgADgTQAlIdVABKo8CEAAagAIAAPi9AABcvgAA4DwAAAw-AAAUvgAAfD4AADS-AAAPvwAArr4AACw-AAC4PQAABL4AACw-AAC4PQAAHL4AAJK-AACiPgAA6D0AAL4-AAC2PgAAfz8AAKA8AABMPgAARD4AAGS-AAA0vgAAyD0AAEC8AABAPAAA4DwAAHQ-AAB8vgAAPL4AAEA8AAAkvgAAMD0AANg9AAAwvQAAgr4AAIa-AABwvQAAFL4AAFQ-AAAkvgAAQDwAAAQ-AADgPAAA2L0AAMg9AADovQAAcL0AAAS-AABUPgAAUL0AAKA8AABAvAAAXz8AAIC7AACIvQAAkj4AAEA8AAC4PQAAiD0AAOA8IAA4E0AJSHxQASqPAhABGoACAACavgAAdD4AABS-AAA5vwAAFL4AADQ-AABkPgAAXD4AAJg9AAAsPgAA4LwAAKa-AABcPgAAqL0AABA9AABwvQAA4DwAAEU_AAC4vQAAij4AANg9AACoPQAAyj4AAEy-AADgvAAAiD0AACy-AABkPgAAgDsAAHy-AACgPAAAQLwAADA9AABkvgAAJD4AAN6-AACGPgAAMD0AAAS-AACAuwAAPD4AAAy-AABQvQAA6L0AAHC9AAD4PQAAf78AAIC7AACKvgAArj4AACQ-AABsPgAAMD0AANY-AACCPgAAcD0AAJi9AACoPQAAdD4AACy-AABMPgAAUD0AABw-AAAMviAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=IZ7fyyAsOZc","parent-reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1920,"cheight":1080,"cratio":1.77777,"dups":["15490515935910669157"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"3857889347"},"10769297764581872144":{"videoId":"10769297764581872144","docid":"34-0-8-Z4E9E969C847F2A80","description":"Loop-invariant code motion with unsafe operations Helpful? Please support me on Patreon: / roelvandepaar With thanks & praise to God, and with thanks to the many people who have made this project...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/893651/d6054f4016183cc26c845396a5ea9adb/564x318_1"},"target":"_self","position":"2","reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3D34QbJfNomvg","linkTemplate":"/video/preview/10769297764581872144?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Loop-invariant code motion with unsafe operations (2 Solutions!!)","related_orig_text":"Loop Invariant","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Loop Invariant\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=34QbJfNomvg\",\"src\":\"serp\",\"rvb\":\"EqwDChQxMTcyNjA3ODUwNDYxNDQ5ODkyNQoUMTU0OTA1MTU5MzU5MTA2NjkxNTcKFDEwNzY5Mjk3NzY0NTgxODcyMTQ0ChQxMjg4MjcwMTc5NzY1MTEzNTA4NAoUMTE1ODQxMTM4MjU3MzE3NzAxOTkKFDE2MDUxODE5ODQxNjk4OTAyMDU0ChQxNzczODcwMTg0OTU2MzMyNTcyMgoTOTg5Njg4MTAxNDg2MTU2NzU0MgoUMTczMDIwNjc0MTU5NzA3MTkwMjQKEzMxNzk5ODgyNjkxMDM0ODEyODYKEzYzMzAzNDcwNTc1ODczNDU4ODgKEzIyODU0NzE1NDg4MDQ4OTU4OTkKFDE0MTUzMTA5MDMzNzQ3NzY5NTU3ChMxMTgwNzg1NzY4OTMxOTYxODEyChMzNjEwNjQ2NzY4NTIwNjI4NzA2ChMxODA2NDI2NTA4ODkwMzMyMTM1ChQxMDY2MzA3ODQ1MTQ4NzM3NTM0NQoRMTAwNTg2MDM4NTY5NjMwMzkKEzcxMjQ3NzkzMDE3OTU0NTk4MjkKEzY2MzkyNTg0MTY5NzExNDc3ODgaFgoUMTA3NjkyOTc3NjQ1ODE4NzIxNDRaFDEwNzY5Mjk3NzY0NTgxODcyMTQ0aq4NEgEwGAAiRBowAAopaGhiamtkaHRvZ2hoaWRnaGhVQ1BGLW9ZYjIteE41RmJDWHkwMTY3R2cSAgARKhDCDw8aDz8TsQGCBCQBgAQrKosBEAEaeIENCgn5A_0A6voJBf0CAAAPDfEE9AAAAO_4_Qb_AQAA6_gR_P3_AAD-CPMH-wAAAAcGAwX5_QEABfn7C_EA_wAAAv7_-gAAAAoG9gn-AQAA7fL9DAT_AAAO9Ab3_wAAAPoBCgD6_wAA-BH9BwAAAAAC9wYHAAAAACAALSAuyzs4E0AJSE5QAipzEAAaYPsRAAgAFe7q8w3s4PvmBPX97ewD7AAA-OEA8yML6QYU9tf86QA68v8D1AAAABoG-Qn4AAExDQT5-PEWA_oH-Aj-fwQL6unpFfrcAQ7qGgIN_-QbFwD3-R4JC-_SKwDmGyAALWA0jzs4E0AJSG9QAiqvBhAMGqAGAAD4QQAA8EEAALhBAAAYQgAAmMEAALjBAAAgQQAADMIAAFDCAABgwQAAwMAAANhBAAC4QQAAMMIAAHhCAAD4wQAAAEIAACTCAACAQQAAAMAAABDBAACwwQAAkMEAAGBBAACCQgAAQEEAAJ7CAAAgQQAAgkIAAIBAAADYQQAAuEEAAOjBAABwQgAAkMEAAMBBAADYwQAA5kIAADDBAABwQQAAqEEAAEDAAADYQQAAwMEAAATCAABQwQAAuMEAAIrCAACYQQAAcMEAAMDBAACAQQAA2MEAAADBAACgQAAAbEIAAMLCAACAPwAAwEEAADBCAAAgQQAAUMEAAHDCAABowgAAEEEAAIhBAABQQgAAVEIAABjCAAAwwQAAVEIAAIRCAACIwQAAEEIAAKDAAABIwgAAcMEAAIDAAAAgQgAAcEEAALjBAACgQQAAQMIAAFBCAAAkwgAAMMEAAMhBAADoQQAAwEEAAETCAAAgwQAAYMEAAADBAACSwgAAgEAAAGjCAACAQAAAYMEAAABAAACAwQAAcMEAAFDBAACaQgAAQMIAAKBBAAAAAAAAVMIAALRCAACgwAAACMIAACBBAABQwgAAMEEAAJDBAADwQQAA8MEAAAAAAACawgAAqEEAAEDAAABAwgAAGMIAADDBAABMwgAAyEEAAAhCAAAQwQAAHMIAAGTCAADGwgAAcEIAAHBBAAD4wQAAtkIAACDBAAAMQgAAgkIAACDBAABQwgAA-sIAAODAAADQQQAAgD8AAJhBAAAAAAAAwMAAAJ7CAACoQQAAGEIAAIjBAACIwQAAuMEAAKBAAAAgwQAAFMIAALhBAABwwQAAgMIAACDCAAAQQQAA-MEAAODAAABwwgAAUMEAAGDBAABwQQAAQEEAAADAAACAPwAA8EEAAI7CAADAQQAA-MEAAKjBAAAowgAAIEIAALLCAADYwQAAtkIAAHRCAAAgwQAAgMAAALhBAAAowgAA9kIAAJhBAABgwgAAWEIAAEDAAAAsQgAAgMEAAOjBAABkQgAAwEAAANhBAAC2QgAAKMIAADDCAAB8wgAA-MEgADgTQAlIdVABKo8CEAAagAIAAHS-AABAvAAAUL0AAHC9AADovQAAjj4AAAy-AAA1vwAA7r4AABy-AAAQPQAAFL4AAIg9AACaPgAAmr4AAN6-AADSPgAAJD4AAN4-AAANPwAAfz8AAOA8AACYPQAAUD0AAIa-AABkvgAATD4AAHS-AAC4PQAAUD0AADQ-AADIvQAADD4AAMi9AAC4PQAAhj4AAK4-AACAuwAAlr4AAPa-AACOvgAAfD4AAOA8AAAEPgAAUL0AAGQ-AACePgAAhr4AAOA8AAC4vQAArj4AACy-AACGPgAAij4AAKK-AACIvQAAMz8AAMI-AADgvAAAMD0AAFC9AADgvAAAiD0AAGy-IAA4E0AJSHxQASqPAhABGoACAACavgAALD4AAEC8AAAvvwAAJL4AACw-AABMPgAAij4AAFC9AADOPgAAcD0AAOA8AABMPgAA4DwAAIg9AACIvQAAHL4AAF8_AADgPAAAzj4AAIA7AACGvgAAuj4AAHS-AADIvQAAUD0AABA9AAB0PgAAMD0AALi9AABQvQAAyL0AADC9AAB8vgAAZD4AAGS-AABQPQAAVD4AAIi9AADoPQAAXD4AAGy-AACoPQAA-L0AABA9AABwPQAAf78AAJi9AABcvgAAbD4AABA9AABEPgAATD4AAKY-AAA0PgAAED0AAIi9AACAuwAA-D0AAFS-AABsPgAA-D0AAOg9AAAUviAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=34QbJfNomvg","parent-reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["10769297764581872144"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"12882701797651135084":{"videoId":"12882701797651135084","docid":"34-4-4-Z6EA45D49F298A61F","description":"What Are Loop Invariants For Precise Loop Control? Are you interested in understanding how to control your programming loops more effectively? In this video, we’ll introduce the concept of loop...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3617560/12c81ef4c8e72005f1c41d82095e6f78/564x318_1"},"target":"_self","position":"3","reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DGSXZ7g2Scus","linkTemplate":"/video/preview/12882701797651135084?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"What Are Loop Invariants For Precise Loop Control? - Learn To Troubleshoot","related_orig_text":"Loop Invariant","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Loop Invariant\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=GSXZ7g2Scus\",\"src\":\"serp\",\"rvb\":\"EqwDChQxMTcyNjA3ODUwNDYxNDQ5ODkyNQoUMTU0OTA1MTU5MzU5MTA2NjkxNTcKFDEwNzY5Mjk3NzY0NTgxODcyMTQ0ChQxMjg4MjcwMTc5NzY1MTEzNTA4NAoUMTE1ODQxMTM4MjU3MzE3NzAxOTkKFDE2MDUxODE5ODQxNjk4OTAyMDU0ChQxNzczODcwMTg0OTU2MzMyNTcyMgoTOTg5Njg4MTAxNDg2MTU2NzU0MgoUMTczMDIwNjc0MTU5NzA3MTkwMjQKEzMxNzk5ODgyNjkxMDM0ODEyODYKEzYzMzAzNDcwNTc1ODczNDU4ODgKEzIyODU0NzE1NDg4MDQ4OTU4OTkKFDE0MTUzMTA5MDMzNzQ3NzY5NTU3ChMxMTgwNzg1NzY4OTMxOTYxODEyChMzNjEwNjQ2NzY4NTIwNjI4NzA2ChMxODA2NDI2NTA4ODkwMzMyMTM1ChQxMDY2MzA3ODQ1MTQ4NzM3NTM0NQoRMTAwNTg2MDM4NTY5NjMwMzkKEzcxMjQ3NzkzMDE3OTU0NTk4MjkKEzY2MzkyNTg0MTY5NzExNDc3ODgaFgoUMTI4ODI3MDE3OTc2NTExMzUwODRaFDEyODgyNzAxNzk3NjUxMTM1MDg0aq8NEgEwGAAiRRoxAAoqaGhncW1rYXd0emlmZndoY2hoVUNTUFJXVXR5eUhPSTBJbmRCVHpraEZREgIAEioQwg8PGg8_E5MBggQkAYAEKyqLARABGniB_vsC9P0DAPEH_QkABP4B_Qj4_fj-_QDp-_z-BP4BAAj7C_X-AQAA9Q4BCgIAAAD2AAj3Av8AAPwHAQDwAP8AAgAD_gIAAAAD-_0B_gEAAPLzAQH2AgABFOwFB_8AAAD7AQkA-_8AAAQBA_wAAAAAA_L7_AAAAAAgAC0ccts7OBNACUhOUAIqcxAAGmANCQBcKxbt-R4r0O3wwRlC_A7n7OdD_wr3_w1C5_gHHAqm_w7_f8o2C58AAAAdIeka9QAmeQjqsd_d-v6aquoiQmoZFhHvJTj_yfgBKSvXxgjfDDgA0fP7LRTE1kEH4BQgAC0P4hg7OBNACUhvUAIqrwYQDBqgBgAALEIAAIpCAAC4QQAAlkIAAATCAACIQQAAIMEAAEBAAABgwQAAJMIAADRCAAD4QQAADMIAAEBBAADUQgAAkMIAAIJCAABAwQAAmEEAAKhBAADQwQAAUMIAAODBAABkQgAAgD8AAEBBAADYwQAAgMIAAFxCAAAwQgAACMIAAKZCAAAMwgAAuEEAAEDAAACgQAAASMIAAP5CAACAPwAAIEEAAIjBAACYQQAASEIAAADBAABQwQAAIMEAAHDCAAC4wQAAgL8AALDBAADYwQAAQMAAAODAAACwQQAA0EEAAIhCAABAwQAAPMIAACBBAABAQgAACEIAANBBAABowgAAuEEAAHBCAADYQQAAlkIAAJhBAABAwgAAQMEAADBCAAAwQgAAFMIAAFxCAABQwQAAsMIAAMDAAACgwAAAhEIAADzCAAAMwgAAgMAAAIhBAADgQQAAtsIAAODAAAAowgAADMIAAJhBAAAAwAAAkMIAAGDBAACqwgAA4MAAAMBBAABkwgAAgD8AAKZCAAAAQQAAWMIAAADBAAC4wQAAAEIAAOjBAABQwgAAVEIAAHDBAAAgQgAAMEEAAMDAAACAvwAAyMEAABDCAAAswgAAAEEAAJDBAAAAAAAAisIAACDBAABEwgAAMMEAAOBAAACAwAAATMIAAFRCAAAMQgAAMEIAAKDBAADwwQAAqsIAAKhBAACgwQAAQEEAAGhCAACwQQAAAEIAAFBBAABwwQAA4MEAAKDCAABsQgAAqEEAAPDBAADAwAAA8EEAACBCAACQwQAAsMEAAEDBAACAPwAAQMEAAPDBAADQwQAAtsIAAEDCAABQwQAANMIAAILCAACgwAAAaEIAAATCAAAsQgAAYMEAAOjBAAAgQQAA4MAAAAhCAAAMwgAAwMAAAKhBAABwwgAAEMEAAIBBAACwQQAAEMIAABBCAABgwgAA4EAAAFBCAACsQgAA4MAAAEBAAABQwQAAnsIAABRCAACgQQAAAMIAAOBBAAAIwgAAKEIAABDCAAAQQQAA-MEAAMDAAADwwQAAgEEAAFTCAACoQQAAAEEAALDCIAA4E0AJSHVQASqPAhAAGoACAAD4vQAAiD0AAJI-AABQPQAAZL4AAMg9AADYvQAAN78AABO_AABwvQAAHL4AAKa-AAA8PgAADD4AAJa-AACKvgAAfD4AAKA8AACCPgAAMz8AAH8_AADovQAADD4AADy-AACIvQAA-L0AAII-AABQPQAADL4AAOg9AACuPgAAoDwAABS-AADYvQAAUD0AAHA9AACaPgAAQLwAAEy-AACqvgAATL4AAMg9AADgPAAApr4AAEA8AACKPgAAXD4AAAW_AADYvQAANL4AADC9AADOvgAATD4AAEC8AADgPAAA4LwAAEE_AAAcvgAAoLwAAM4-AAAsvgAAoDwAAJg9AABsPiAAOBNACUh8UAEqjwIQARqAAgAA0r4AACQ-AAB0vgAAN78AAFA9AACgPAAAiD0AAAQ-AACAuwAATD4AAKC8AABAPAAAuD0AAIK-AADYPQAAEL0AACy-AAA1PwAAMD0AAKY-AAC4PQAAgDsAAK4-AADIvQAA6L0AAGQ-AABQvQAARD4AALi9AABkvgAAQDwAADC9AACYPQAARL4AABC9AAB8vgAAUD0AANg9AAAcvgAA-D0AAFA9AABUvgAA2D0AAFC9AAA0PgAAUD0AAH-_AAA8vgAAFL4AAEQ-AACIPQAAEL0AAPg9AABMPgAAVD4AAKA8AACYvQAA-L0AABQ-AAAEvgAAQDwAAPg9AADgPAAAmL0gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=GSXZ7g2Scus","parent-reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":640,"cheight":360,"cratio":1.77777,"dups":["12882701797651135084"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"11584113825731770199":{"videoId":"11584113825731770199","docid":"34-2-11-ZEC7A074617B4F54F","description":"In this lesson we demonstrate a key programming concept that will help you ace your #coding #interview. This is of-course \"loop invariant\" 🌹 Course Page: https://www.booleanart.com/course/cod...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/4659511/7f67de6a4be23b74916e1df90eb6b727/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/H4sp0wEAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"5","reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3D95bFFw7m-c4","linkTemplate":"/video/preview/11584113825731770199?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Loop Invariants // Key Coding Interview Concept","related_orig_text":"Loop Invariant","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Loop Invariant\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=95bFFw7m-c4\",\"src\":\"serp\",\"rvb\":\"EqwDChQxMTcyNjA3ODUwNDYxNDQ5ODkyNQoUMTU0OTA1MTU5MzU5MTA2NjkxNTcKFDEwNzY5Mjk3NzY0NTgxODcyMTQ0ChQxMjg4MjcwMTc5NzY1MTEzNTA4NAoUMTE1ODQxMTM4MjU3MzE3NzAxOTkKFDE2MDUxODE5ODQxNjk4OTAyMDU0ChQxNzczODcwMTg0OTU2MzMyNTcyMgoTOTg5Njg4MTAxNDg2MTU2NzU0MgoUMTczMDIwNjc0MTU5NzA3MTkwMjQKEzMxNzk5ODgyNjkxMDM0ODEyODYKEzYzMzAzNDcwNTc1ODczNDU4ODgKEzIyODU0NzE1NDg4MDQ4OTU4OTkKFDE0MTUzMTA5MDMzNzQ3NzY5NTU3ChMxMTgwNzg1NzY4OTMxOTYxODEyChMzNjEwNjQ2NzY4NTIwNjI4NzA2ChMxODA2NDI2NTA4ODkwMzMyMTM1ChQxMDY2MzA3ODQ1MTQ4NzM3NTM0NQoRMTAwNTg2MDM4NTY5NjMwMzkKEzcxMjQ3NzkzMDE3OTU0NTk4MjkKEzY2MzkyNTg0MTY5NzExNDc3ODgaFgoUMTE1ODQxMTM4MjU3MzE3NzAxOTlaFDExNTg0MTEzODI1NzMxNzcwMTk5aogXEgEwGAAiRRoxAAoqaGh2ZHp2anF6cXVrc2NlZGhoVUNHRF8waTZMNDhodWNUaWl5aGI1UXpREgIAEioQwg8PGg8_E7ABggQkAYAEKyqLARABGniBAP4AAAH_AOoPBQcBAv8A_gj2_Qn9_gDiBf0BAPwCAPMACPz7AAAA-wX0_P8AAAD4Dv4H8v8BAPYA9gb2AAAAFQwAAf4AAAABBu4M_wEAAPb5Bg4E_wAABAQGBvX-AQD1AQP79wD_AfQHAvcBAAAAAOr19gEAAAAgAC30mNA7OBNACUhOUAIqhAIQABrwAWAa-P_m5wwBxvjo_7r-5f-B7Rz_WgvPAPTk_QD698cB0eDoAN4CHgHSBun_wCcZAc393f8b9xYACugB_xP08gAVLAoAId0KADcA_QDwIPj_AR8n_yDvF_4h6vUAMPjn_QzkDv_v7uwB5PfnBSH8KQEG-_cCJ_whAOv2Ff_uKgf-5gPpAN4CGQTb6wj5CPUmBAwQ3v8VK9n_Ayv-Ay_z8_0N-hYBAA32BBssAQPt5gb9yAjuAOr4BQLe4BcBCCEg-vT4IgLv_vT58RMI8SED9Pn9HvIIBwjfCvXm-AXk3wj4__US-Nsj_QTi_BnpCCD6ASAALUFaJTs4E0AJSGFQAirPBxAAGsAHNbXMvqF0WDy9TQQ95AVCvdv7lD33Qpw8dxVCvngJjryMHzm90v_SPWkqdT1UlAW8nE2Xvuo9XLlkjxa8PSlzPpTA5rv1cg49ubyevakw-DvY_gS98YTevYAfnzy3QQ48o4osvH1ft7s5QcA7CoEsPjlH-Dwl7La8hWB1vRsWXr2Bfjq8EfmTPNMjl7zcNgK8Z4EGPpkzNj1KzNi8lITkPdYutzz8EVA8-fK3vSwJljvCGy08TyRzvLiCHD1aDYm8Wkc1PYPGp7vIg-M86_uFvT5oTL2HOxE8k1GlPMFHjjxb7ze8UjehvFbeJ7vK3cY6jz-MPRBl3jz4x5Y8l-QwvkRvLD3sgma85x69PaunAL2K1t06xmGqvatbnT3u1Jo7mfYsO3ABLT253ls89DTgPTiTwD13AlA8X5b2PF-lkb3LHj86jZwFPtQEW73U13O8wIPFvVLiKb1qNQO8Z4I8PXoNuz3dbGK8EAfpvR9VQz08qMA7C_vJO5cubbt6msC7_cWnPXMtmrwUXn67aNJhPcpCBT0GxJo8zvIGvZA4ir2cy0O8_aTaO7qNsT0NDbS6hlqePSdQRLpdN4C8k64UvSieLr0QYt-7NfqHPQ79rrzjmaO7naF4vTzJbL2w_aY7nSFmvJQWDr2TLR68-OxvvXb1L72X-ly78uQfvbg2t7tRyGe7PWtNPWC4Cb1VwrW5YzEAPVddhzx0Ygs71ZUPPtTsRr3lRxm50ClIO5MtHL31B1I7uMj9PLbkRz2G77O60UjKPQvqgLyO7eC4i3YrPSCXWD32qF-4734rvUocaTqOtXM4zliPPM7uWj2VfCA4RG_MvOxnlr2bzOo42G-cPFUngb337se4slazveixtz1e79M5p6MtvE37gzoKpwG6P_qbPdVBnjxb9ZG46nYGPlLeXT03OPg1QgbRu7ZQzbyLRSa5na8DvY4IhLu_FiU5dZq7PKTf_jwaNti3neKnOyNJVb1LnoC4RZzvOz3R1T3iCUe5B5bEO1qv8bq2S7G3Lk5BvcVvq7t6M1W44s-bvTNQ-b1Gyg24QkXwvJXlNbyC4aM4uOQovtF_hbyd-Bq5WJMivZUrzL0eFYu4lN2MvHiHyrwuJ2g4Gt6sveYh071oQso4kl0ZPtlPUL2swj-5BUaIPRBsprwy-Y42q2IivMetk7xM5n63bXMDPj35nz0u7Yc3aYCsPfH0Sr1w60u1Iv_sPTUpBT7zflu4UqSxvIQiZz2d6RO4pLAmvVQG6bwgfh64Fdy0PMtMub2z3U64IAA4E0AJSG1QASpzEAAaYEr5AB7dQ7rrGDD19fkJAf7-3hMM1RD_5bX_IDElDuICCa4r5_838hsSnwAAAEgXwyrCABV_9QH7Bao0Asu_AjotcCbvJZjsPfgA5CsR4frb5UcyEwDx3M0rESnlZC7zKiAALUxVGDs4E0AJSG9QAiqvBhAMGqAGAABMQgAAMEEAACRCAAAAQgAA-MEAAHBCAADYQQAAgMEAALTCAAAswgAAFEIAAIDAAACSwgAAwMEAACRCAACGwgAApEIAACDBAACAQQAAEMEAAJjBAADQwQAAAMAAAJBBAAAQQQAAsMEAAKjBAADAwAAAgkIAAKBAAAAwwQAAbEIAAHTCAAAgQQAAAMIAALDBAABAwQAA2kIAAChCAAAYQgAA4EEAAFBCAABEQgAAwEEAACzCAABUwgAAoMAAAADBAABMQgAAwMAAAATCAAA0wgAATMIAAPDBAAAgQgAA8EEAAJ7CAACYwQAA2MEAAKDAAAAsQgAAqMEAAIhBAADQwQAALEIAAKhBAAAoQgAAHMIAAMDBAAAAwQAAjEIAANRCAAAwwQAAZEIAACBBAABEwgAAfMIAALJCAACAQAAAEMIAAEzCAADgQAAAAEEAAJ5CAAAAwgAAAEIAAIDBAACgQQAAAEAAAEjCAAAwwQAA4EEAAIDBAAA0wgAAYEEAALzCAAAUwgAAZEIAAKDBAACAwQAAIMIAAKBBAADAQQAAyMEAAM7CAADAQQAAfEIAAFBBAADoQQAAIEIAAMhBAADgwAAAAEEAADBBAADgQAAA4MAAADDBAAAAwgAAmEEAAILCAACAvwAALMIAAGDCAAAIwgAAwEEAAJRCAADAwQAAmMEAAIDCAAAcwgAAMEEAABBBAABQwQAAwEAAAJBBAABIQgAAiEEAAABCAACIwgAAaMIAAOhBAADYwQAAgsIAAKhBAACuQgAAFMIAAIDCAAA8QgAAIMIAAKjBAAAQQQAAAAAAAABCAAC4wgAAAEAAABDBAADYwQAAcMIAADDBAACCQgAAIMEAANBBAADwwQAA0EEAAGjCAABYwgAAsEEAAAAAAAB8QgAAMMEAAIbCAAAQQQAAgEAAABDCAADIwQAA4EAAAGjCAAC4wQAAQEIAAFxCAADgQAAAgMAAAADBAADgwAAANEIAAOjBAABAwgAAgkIAACDCAADoQQAAuMEAAGzCAACoQQAAsEEAAIA_AACIwQAAAMEAAFBBAAAkwgAAKMIgADgTQAlIdVABKo8CEAAagAIAAGy-AACGvgAAgDsAAI4-AAAsvgAAbD4AAJa-AAADvwAA9r4AABQ-AACoPQAAdD4AABQ-AAAwPQAAML0AAJa-AADePgAAmD0AAIo-AADiPgAAfz8AAHA9AADoPQAAgDsAADC9AABQPQAAgLsAAPi9AADCvgAA2D0AAGw-AABwvQAAcL0AAAQ-AADgPAAAPD4AAEC8AABQvQAAD78AAI6-AACevgAARD4AAEw-AABQvQAAQLwAABw-AABUPgAAqL0AAJg9AADIvQAAEL0AAGS-AACOPgAARD4AADy-AABQvQAAOT8AAOg9AAAMPgAA6j4AAJY-AABUvgAAmD0AAIA7IAA4E0AJSHxQASqPAhABGoACAACAuwAAUD0AAEC8AAAlvwAAcL0AAJg9AAAQPQAATD4AABS-AACGPgAAiD0AAOC8AADePgAATL4AACQ-AABAvAAAQDwAAGc_AAAwPQAA1j4AAIg9AAC4vQAA2j4AAJq-AADYvQAAED0AANi9AABcPgAAiL0AAIi9AADgPAAA6L0AAAQ-AACKvgAAhj4AANi9AAD4PQAAyD0AANi9AADYPQAARD4AAJa-AACYvQAAcL0AAMi9AACCPgAAf78AAMa-AAAPvwAAFD4AAIg9AAB8PgAAPD4AAGQ-AACAOwAAQDwAACS-AABwvQAAij4AADS-AADoPQAApj4AAHA9AABMviAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=95bFFw7m-c4","parent-reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1920,"cheight":1080,"cratio":1.77777,"dups":["11584113825731770199"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"1044871938"},"16051819841698902054":{"videoId":"16051819841698902054","docid":"34-0-6-Z783A067DCCEB5841","description":"In this video, I give an introduction to loop invariants and how to use them to reason about the correctness of an algorithm. I also demonstrate the use of loop invariants to prove the...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/4079344/b7a0c2d079606eefff70eacf115e651b/564x318_1"},"target":"_self","position":"6","reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3D8WGFcgI_PXY","linkTemplate":"/video/preview/16051819841698902054?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Introduction to Loop Invariants","related_orig_text":"Loop Invariant","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Loop Invariant\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=8WGFcgI_PXY\",\"src\":\"serp\",\"rvb\":\"EqwDChQxMTcyNjA3ODUwNDYxNDQ5ODkyNQoUMTU0OTA1MTU5MzU5MTA2NjkxNTcKFDEwNzY5Mjk3NzY0NTgxODcyMTQ0ChQxMjg4MjcwMTc5NzY1MTEzNTA4NAoUMTE1ODQxMTM4MjU3MzE3NzAxOTkKFDE2MDUxODE5ODQxNjk4OTAyMDU0ChQxNzczODcwMTg0OTU2MzMyNTcyMgoTOTg5Njg4MTAxNDg2MTU2NzU0MgoUMTczMDIwNjc0MTU5NzA3MTkwMjQKEzMxNzk5ODgyNjkxMDM0ODEyODYKEzYzMzAzNDcwNTc1ODczNDU4ODgKEzIyODU0NzE1NDg4MDQ4OTU4OTkKFDE0MTUzMTA5MDMzNzQ3NzY5NTU3ChMxMTgwNzg1NzY4OTMxOTYxODEyChMzNjEwNjQ2NzY4NTIwNjI4NzA2ChMxODA2NDI2NTA4ODkwMzMyMTM1ChQxMDY2MzA3ODQ1MTQ4NzM3NTM0NQoRMTAwNTg2MDM4NTY5NjMwMzkKEzcxMjQ3NzkzMDE3OTU0NTk4MjkKEzY2MzkyNTg0MTY5NzExNDc3ODgaFgoUMTYwNTE4MTk4NDE2OTg5MDIwNTRaFDE2MDUxODE5ODQxNjk4OTAyMDU0aq8NEgEwGAAiRRoxAAoqaGhocXZpdWNzd3B0c2FlYmhoVUN3LWlpYmdDWTJrWjJ5TUdnckVsWWRnEgIAEioQwg8PGg8_E8UDggQkAYAEKyqLARABGniB-vUE9AH_APUE9g4GB_wBAQzu__b-_QDo9fQJCP8BAAH4APf5AQAA-hDw_wMAAAD4BQ4BAv8AABUD-wYEAAAACwAH_PwAAAAL-vcB_wEAAPYEAgr2AgABAPYOBv8AAADtBA31AAAAAAMRAQgAAAAA_u4D-AAAAAAgAC1DUs87OBNACUhOUAIqcxAAGmAHBgA3ABrr-koN7-n31PMG6fjhE98SAPvbAAc56goJ_CnJ6voATfUZDboAAAASC-ky6AAeTv0H3PcE_Qvo8QYSMX8jJQDeARQbyxnz8hXXIOob8CwA2-0qJwXr3AgI8jAgAC2H8lE7OBNACUhvUAIqrwYQDBqgBgAAQEEAAABBAADiQgAAQMIAAGBBAACCQgAATEIAANjBAACGwgAAAMIAAIA_AADgwAAAsEEAABDCAACAPwAADEIAACxCAAA8wgAAqMEAAIDBAAAwwQAAAMIAAKjCAAAYQgAASMIAAEDCAAAowgAACMIAAIBCAACgQQAAoEAAAKDBAADIwQAAEMEAANjCAAAQQQAA0EEAAI5CAABAwQAAGEIAAABAAAC4wQAAAMIAAMhBAAAkQgAAsEEAADDBAAAgQgAAQEIAAEDBAABAwQAAQMEAAFDBAAAkQgAAoEEAAExCAACcwgAA6MEAABxCAAAAAAAAwEEAAATCAAAkwgAApMIAAMDAAADewgAAoEAAAGDBAACawgAAQMEAAMhBAACwQQAAjMIAAOBBAADgQQAAcMEAAJrCAABIwgAAKEIAABxCAABQwgAAjkIAAFDBAABAQAAAQMAAAHxCAADAwAAAWMIAAGhCAABwQgAAGEIAAERCAABAwAAA6MEAADBBAACAPwAAYMEAAEzCAABwwQAA0MEAAILCAACAPwAAiEEAAJhBAADoQQAAAEAAAFzCAABUQgAACMIAABDBAABAQgAAqEEAALhBAACYwQAAGMIAAMhBAAAgwQAARMIAAODAAAA4wgAAKMIAAKBAAACIwQAAqMEAAJjBAAAgwgAAgEAAADBCAAAwQQAAoEAAAODAAADywgAAQEEAAIBAAABgQQAAGEIAAODAAACQwQAAYMEAAADBAAAgQQAALEIAADRCAAA0wgAAoEAAAMBBAAAwQQAAIMEAAPhBAADgQAAAwMAAAJDBAABQQgAAAEIAAMBAAAAAAAAAwMIAAIjBAACIwQAApMIAACzCAACgQAAAAMAAAJhBAADQQQAARMIAALhBAACwQgAA2EEAAIC_AAAAAAAAQEEAACBBAADAwQAAoMAAAKBAAACwwQAAAEEAADRCAACYQQAAvsIAALLCAACQwQAA4MAAADxCAABUwgAA-MEAALBBAACgwAAAgMAAALBCAACgwQAAbEIAAKBAAADowQAAikIAAIDBAAAgQQAA8EEAAKhBIAA4E0AJSHVQASqPAhAAGoACAAA0vgAAkr4AAAQ-AACYPQAANL4AAKA8AACWvgAAHb8AAAW_AAAkPgAAQDwAAPi9AADgvAAAuD0AAGS-AABMvgAAoj4AAEC8AABUPgAA-j4AAH8_AAAwPQAAML0AAEC8AAAkvgAA6L0AADA9AABAvAAAmL0AADC9AACCPgAABL4AAJi9AAAwvQAAED0AAOC8AAC4PQAAHL4AABy-AABcvgAAbL4AABA9AADYPQAApr4AAPg9AAC4PQAABD4AAIq-AACoPQAA-L0AAIi9AACevgAAHD4AALi9AAA0vgAAcL0AAE8_AACAuwAAgDsAAK4-AACAOwAA2D0AALg9AACGPiAAOBNACUh8UAEqjwIQARqAAgAAZL4AACw-AADovQAAJ78AALg9AACOPgAAyD0AABA9AABQvQAAdD4AAEC8AACovQAAHD4AALi9AAA0PgAAiL0AAIC7AAA3PwAAML0AANY-AAC4vQAABD4AAJI-AAAEvgAAEL0AAOi9AABwPQAAJD4AAEA8AAAEvgAAmD0AAIA7AADgvAAAyL0AACQ-AACavgAATD4AAFQ-AAB8vgAAQLwAAEC8AACYvQAAML0AAEC8AABwvQAAmD0AAH-_AABAvAAAiL0AAMI-AAC4PQAAoDwAAEC8AACOPgAAbD4AAHA9AABAvAAAUL0AADw-AABAvAAAFD4AAGw-AAB8PgAABL4gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=8WGFcgI_PXY","parent-reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["16051819841698902054"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"17738701849563325722":{"videoId":"17738701849563325722","docid":"34-9-0-ZF8064420C9A4361B","description":"🔍 Welcome back to the Design and Analysis of Algorithms (DAA) series, aligned with the SPPU 2019 Pattern! 🔍 📺 Topic: Loop Invariant & Issues in Designing Iterative Algorithms 📺 In this video...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3305426/1bdba3b329bf6c65dc76f295a836dd41/564x318_1"},"target":"_self","position":"7","reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DkSh53P6Oc2g","linkTemplate":"/video/preview/17738701849563325722?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Loop Invariant & Iterative Algorithm Design Issues | DAA 2019 | Anuj Barve | SPPU","related_orig_text":"Loop Invariant","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Loop Invariant\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=kSh53P6Oc2g\",\"src\":\"serp\",\"rvb\":\"EqwDChQxMTcyNjA3ODUwNDYxNDQ5ODkyNQoUMTU0OTA1MTU5MzU5MTA2NjkxNTcKFDEwNzY5Mjk3NzY0NTgxODcyMTQ0ChQxMjg4MjcwMTc5NzY1MTEzNTA4NAoUMTE1ODQxMTM4MjU3MzE3NzAxOTkKFDE2MDUxODE5ODQxNjk4OTAyMDU0ChQxNzczODcwMTg0OTU2MzMyNTcyMgoTOTg5Njg4MTAxNDg2MTU2NzU0MgoUMTczMDIwNjc0MTU5NzA3MTkwMjQKEzMxNzk5ODgyNjkxMDM0ODEyODYKEzYzMzAzNDcwNTc1ODczNDU4ODgKEzIyODU0NzE1NDg4MDQ4OTU4OTkKFDE0MTUzMTA5MDMzNzQ3NzY5NTU3ChMxMTgwNzg1NzY4OTMxOTYxODEyChMzNjEwNjQ2NzY4NTIwNjI4NzA2ChMxODA2NDI2NTA4ODkwMzMyMTM1ChQxMDY2MzA3ODQ1MTQ4NzM3NTM0NQoRMTAwNTg2MDM4NTY5NjMwMzkKEzcxMjQ3NzkzMDE3OTU0NTk4MjkKEzY2MzkyNTg0MTY5NzExNDc3ODgaFgoUMTc3Mzg3MDE4NDk1NjMzMjU3MjJaFDE3NzM4NzAxODQ5NTYzMzI1NzIyaq4NEgEwGAAiRBowAAopaGhscml5YmNmeHNrZWR1aGhVQ0NHRGlIT3dYek9TTXU4QU9qNjBEMncSAgARKhDCDw8aDz8TnwOCBCQBgAQrKosBEAEaeIEA_gAAAf8A7gMGBgAD_wECDAD_9___APD68gT4Af8A8-z_9AL_AAABAwf9_wAAAA32D_7-_QEAEAUJANkA_wANCAcD_AAAAPkFBP__AQAA-hEGDwP_AAARBfb9_wAAAPb8FPz_AAAABw_9-AEAAAD78vv5AAAAACAALfSY0Ds4E0AJSE5QAipzEAAaYBYIADYZMvDqAS3lyx3HA_nTzAbdyQz_AbkA7Sjo8gUA4rj8DwBA3xYBrAAAAD_4Iz7GAPVmvOr5-ub5GeK_-TEBfwMW1ucaXOf3IuLuIfHu1B4eIwDx_AoRKgPOWvIOASAALW9sLDs4E0AJSG9QAiqvBhAMGqAGAAAwwQAAwMEAAHBBAAAAQQAA-EEAABxCAABYQgAAUEIAAJbCAACYQQAAVEIAAEzCAACCwgAAIMIAAAAAAADwwQAAwEEAAKDBAAAgwQAAQEAAALJCAABgwgAAIMIAAABBAADowQAAuMEAAKTCAABAQgAA4EAAACBCAADAQAAAwMEAACzCAAAYQgAAOMIAAIDCAAAgwQAAHEIAAHBBAAAgQgAAgEAAAKBAAABcQgAApEIAAEBBAACOwgAAhEIAABTCAACAQgAAJEIAANhBAAC4QQAA-MEAAOhBAAD4QQAAVEIAAGzCAABwwQAAmMEAAKZCAADAQQAA6MEAABDBAACAQQAAMEEAAKDBAACeQgAAoMAAAEBAAACwwQAAqEEAACBBAADIwQAAlkIAAAhCAADqwgAAwMAAAADAAABgQQAAoMAAAKDBAABcQgAA4EEAAKjBAABwwQAAAMEAAFBBAABkQgAACEIAAIhCAACAPwAAokIAAAjCAAAUwgAAgMEAAHDCAACIwQAAEMEAAIDAAADAQQAAQEAAAJhBAADwwQAAwMAAAIDBAABQwQAAVEIAAKDBAAAMQgAAyEEAABBCAAAQwQAAOMIAAAxCAACsQgAAOMIAAKBBAACIwgAAQEEAACzCAABwQgAANMIAAFDCAACowgAA-EEAAKxCAAAUwgAAkMEAAHDCAAAAwgAAoEEAAIhBAAAQwQAAJEIAAKDAAAAAQAAA8MEAAEBBAACgwQAAbMIAAEDAAACoQQAA-MEAAKjBAAAMQgAAuMEAAHTCAACowQAAAMAAANhBAAAQQQAARMIAAMDBAACmwgAAKEIAAOjBAAD4wQAANMIAACzCAAAoQgAA-MEAANBBAACQQQAA0EEAACBBAACMwgAA6EEAAJBCAADgwAAASEIAAMjBAADIQQAACMIAAJBBAACCwgAAgMAAALjBAACWwgAAcEEAAMpCAAA0wgAAAAAAAHDBAADgwAAAIEIAAKjCAAA8wgAAuEEAABBBAACAPwAAMEEAAHDBAABgQQAA6EEAAIhBAADAQAAADMIAAMDBAACkwgAAgD8gADgTQAlIdVABKo8CEAAagAIAAIK-AAC4vQAATD4AAJg9AACIPQAAmL0AALg9AABTvwAAzr4AAFQ-AABsPgAAoLwAALg9AACgvAAAmL0AAIa-AABsPgAAHD4AACQ-AAABPwAAfz8AALg9AAAsvgAAgLsAABA9AAAwvQAABD4AAFA9AACOvgAA6D0AAGQ-AACIPQAAyL0AAPi9AADovQAAZD4AAPg9AAC4PQAABL4AAGS-AACovQAAHD4AANg9AAAEvgAAQLwAAJo-AACKPgAA6L0AABC9AAAcvgAALD4AABA9AACCPgAA-D0AAPa-AABwvQAAPT8AAOC8AACgvAAAqj4AAFQ-AACIPQAA-D0AADC9IAA4E0AJSHxQASqPAhABGoACAACavgAAmD0AABy-AAA1vwAAyL0AAAw-AADYPQAAcD0AABS-AAAEPgAAuL0AAEy-AADYvQAA-L0AABQ-AADgvAAAmD0AABs_AAAEvgAAtj4AABA9AABEPgAAqL0AAIi9AAAQPQAAVD4AAEC8AACYPQAAcL0AAFC9AAAwPQAAQDwAAHA9AACSvgAA4DwAAFC9AADIPQAABD4AACy-AADYvQAAQLwAABA9AADgPAAAUD0AAIi9AAA8vgAAf78AAJi9AAA8vgAAhj4AAHA9AABwPQAAcD0AAFw-AAAUPgAAQDwAABC9AABcPgAAQLwAAFC9AAAkPgAAdD4AALY-AAAwvSAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=kSh53P6Oc2g","parent-reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["17738701849563325722"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"9896881014861567542":{"videoId":"9896881014861567542","docid":"34-11-8-ZDF77BAB740C898F0","description":"Loop Optimization in Compiler Design, Loop Invariant Computations in compiler design, Loop invariant in algorithm as well as Scope Strength Reduction are very important topics explained here...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/1805510/d9e2281d78e66b2a5e4906f364646cc3/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/IXFRRgEAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"8","reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3Dbix8eZ3v9L0","linkTemplate":"/video/preview/9896881014861567542?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Loop Optimization in Compiler Design | Loop Invariant Computations | Scope Strength Reduction","related_orig_text":"Loop Invariant","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Loop Invariant\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=bix8eZ3v9L0\",\"src\":\"serp\",\"rvb\":\"EqwDChQxMTcyNjA3ODUwNDYxNDQ5ODkyNQoUMTU0OTA1MTU5MzU5MTA2NjkxNTcKFDEwNzY5Mjk3NzY0NTgxODcyMTQ0ChQxMjg4MjcwMTc5NzY1MTEzNTA4NAoUMTE1ODQxMTM4MjU3MzE3NzAxOTkKFDE2MDUxODE5ODQxNjk4OTAyMDU0ChQxNzczODcwMTg0OTU2MzMyNTcyMgoTOTg5Njg4MTAxNDg2MTU2NzU0MgoUMTczMDIwNjc0MTU5NzA3MTkwMjQKEzMxNzk5ODgyNjkxMDM0ODEyODYKEzYzMzAzNDcwNTc1ODczNDU4ODgKEzIyODU0NzE1NDg4MDQ4OTU4OTkKFDE0MTUzMTA5MDMzNzQ3NzY5NTU3ChMxMTgwNzg1NzY4OTMxOTYxODEyChMzNjEwNjQ2NzY4NTIwNjI4NzA2ChMxODA2NDI2NTA4ODkwMzMyMTM1ChQxMDY2MzA3ODQ1MTQ4NzM3NTM0NQoRMTAwNTg2MDM4NTY5NjMwMzkKEzcxMjQ3NzkzMDE3OTU0NTk4MjkKEzY2MzkyNTg0MTY5NzExNDc3ODgaFQoTOTg5Njg4MTAxNDg2MTU2NzU0MloTOTg5Njg4MTAxNDg2MTU2NzU0Mmq1DxIBMBgAIkQaMAAKKWhodXpnYmxnZ2t4ZnloZ2hoVUNEd2wyRVAyRGtoa1c2aklpYV9oQmlBEgIAESoQwg8PGg8_E6AEggQkAYAEKyqLARABGniB9AMC_v8BAP4A7gj_B_0CHQD8_vQDAwDsAvsEAAAAAPv9Bu79AAAABAIJBQIAAAADAfkF8v4BAAv2AAH6AAAAEe4I9_sAAAACC_cG_gEAAOoBAQD2AgABEAQHEAAAAAABCgv5_v8AAPr99AMAAAAABf_69gAAAAAgAC3YMtQ7OBNACUhOUAIqhAIQABrwAX8G-_7jEegB6wfQAM4s3gGaNCn__DrMANAH9gK259sBEhLIAc_i3gEgCigC5B_g_mUB_AD05isBKdDu_gDpFwABHxYBC-zRAiPqKAHe9-L_2ikV_xTICQAa773--vLY_RgB8_nw-975B-vgASLlGgMPCTIE_s4E_fXZHQbrBfkDxtfE--j47f_48fr60h4lAuTODAAR8_754_7bBMrT4v_pAAj1IR_d_RfjFBH1_e8F8Q_-9fU34_wgSRcHtcUMBfrmHP2r1fkFBcIJ-FLv_vvYBvXzHvPzDjPzC_o07Pz_FxH38AUl9f7hwvv81g7w_yAALSyqAjs4E0AJSGFQAipzEAAaYPDjACTmHgn0GE3r4eECF8zT-cruySX_Adb_-Sb4JC406JLu__9Szv_4lgAAACwhvioCAO5_0PDt-usGHqrhAR85Y_YNJcz2GvvwDxcv28kpDzgHRgDwwr8DP76OeQ4P7CAALaC_FDs4E0AJSG9QAiqvBhAMGqAGAAAsQgAAIEIAAMBBAADQwQAAiMEAAAhCAABAwQAAsMEAACxCAADowQAAcEEAAIA_AACawgAAIMEAAOBCAACQwQAAgL8AAEDBAAA0QgAAKMIAAJDBAADAQAAAisIAADxCAADUQgAAQMEAANDBAACOwgAASEIAAPBBAABAQAAAuEEAAEjCAAAUwgAAaMIAAMDBAAAUwgAArkIAAATCAAA8QgAA4EEAAHBBAAAgwQAAHEIAAHxCAABMwgAAxMIAACBBAACgQgAAmEEAACjCAACAwQAAyMEAAARCAADgQQAAAEAAALrCAACoQQAAqMIAAABCAACAQQAAJMIAAIbCAAC4wQAAcEEAADDBAADIQQAADMIAAGTCAACQwQAANEIAAHRCAABAwgAA0kIAAFBBAADAwgAAkMEAADzCAAAAQgAAyEEAAAzCAAAAQQAAuEEAAJBCAADgwAAAJEIAAIC_AACYQQAAYEEAAIzCAACgwQAATEIAAFBBAABUwgAAoMAAAJjCAAAcwgAAgL8AACRCAADQwQAAkMEAAI5CAACoQQAAvsIAADjCAAAAQgAAsEEAAMhBAAAswgAAIEIAAJDBAADgQAAAUEEAAADCAACEQgAAoEEAAOjBAACowQAAHMIAAKDAAACowQAAkMEAAADBAAAQQQAACEIAAPhBAACQQQAALMIAAIBBAACewgAAAMEAAKDBAAAAwAAAhkIAAFDBAACAQAAAEEIAABBBAACUwgAAlMIAAJBBAABIQgAAMEIAAADBAAAwwQAA8EEAAIDBAABYwgAA0MEAACzCAAAYwgAAwEEAALBBAABAwAAAIMEAAEBAAACAwAAAcMIAAGDBAABkQgAAyMEAAEDAAABcwgAAEMEAADDBAACIQQAAkEIAAOhBAADQQQAAwEAAAIDBAABkQgAAiEEAAEDAAAAAQAAAgMEAAARCAABQQQAAHEIAAGBBAACgQQAAgEAAAMhBAAAAAAAAiEIAABjCAACMwgAAAEEAAIDAAABgQQAADMIAAMDAAADAwQAA0MEAANhBAABgQQAAlMIAAIhBAABMwgAAHMIgADgTQAlIdVABKo8CEAAagAIAAL6-AACOvgAAoLwAAEA8AACAuwAAgLsAACS-AAAjvwAA2r4AABC9AAAEvgAARL4AADC9AABUPgAABL4AAI6-AACuPgAAoLwAAIY-AAADPwAAfz8AAFC9AABMPgAAML0AACy-AABcvgAAmD0AABQ-AACAuwAAiL0AAHQ-AADgvAAAcD0AAAw-AACgPAAAND4AAFQ-AAC4vQAAfL4AAJq-AACavgAArj4AACw-AACevgAAgLsAAOA8AAB8PgAAhr4AAKC8AACevgAAEL0AADy-AACuPgAAqD0AANK-AAAEvgAAYz8AABC9AACIPQAABD4AAEy-AADYPQAAgLsAADA9IAA4E0AJSHxQASqPAhABGoACAACuvgAAij4AAOi9AABHvwAAcL0AAFQ-AADIPQAAdD4AAAy-AADCPgAAoDwAAKC8AACYvQAAZL4AAOA8AACAOwAAVL4AAFE_AACovQAAgj4AAOA8AADYvQAALD4AABS-AAAUvgAAVD4AAFC9AAA0PgAARL4AAAS-AABQPQAATL4AABw-AACCvgAA2D0AAFS-AACYvQAA-D0AAFS-AABwPQAAuD0AAMi9AABsPgAA-L0AAKC8AAAwvQAAf78AANi9AAAEvgAAFD4AAOg9AACoPQAAvj4AAJg9AACePgAAqL0AAJi9AAC4PQAAiD0AAGy-AACIPQAAnj4AALg9AACgvCAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=bix8eZ3v9L0","parent-reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["9896881014861567542"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"17302067415970719024":{"videoId":"17302067415970719024","docid":"34-10-12-ZD3725D1E5057980F","description":"Loop invariant for a division algorithm Helpful? Please support me on Patreon: / roelvandepaar With thanks & praise to God, and with thanks to the many people who have made this project possible! |","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3682751/4602c8f78dad00771ac98d94ceeaf713/564x318_1"},"target":"_self","position":"9","reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DGG35MINMhK0","linkTemplate":"/video/preview/17302067415970719024?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Loop invariant for a division algorithm","related_orig_text":"Loop Invariant","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Loop Invariant\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=GG35MINMhK0\",\"src\":\"serp\",\"rvb\":\"EqwDChQxMTcyNjA3ODUwNDYxNDQ5ODkyNQoUMTU0OTA1MTU5MzU5MTA2NjkxNTcKFDEwNzY5Mjk3NzY0NTgxODcyMTQ0ChQxMjg4MjcwMTc5NzY1MTEzNTA4NAoUMTE1ODQxMTM4MjU3MzE3NzAxOTkKFDE2MDUxODE5ODQxNjk4OTAyMDU0ChQxNzczODcwMTg0OTU2MzMyNTcyMgoTOTg5Njg4MTAxNDg2MTU2NzU0MgoUMTczMDIwNjc0MTU5NzA3MTkwMjQKEzMxNzk5ODgyNjkxMDM0ODEyODYKEzYzMzAzNDcwNTc1ODczNDU4ODgKEzIyODU0NzE1NDg4MDQ4OTU4OTkKFDE0MTUzMTA5MDMzNzQ3NzY5NTU3ChMxMTgwNzg1NzY4OTMxOTYxODEyChMzNjEwNjQ2NzY4NTIwNjI4NzA2ChMxODA2NDI2NTA4ODkwMzMyMTM1ChQxMDY2MzA3ODQ1MTQ4NzM3NTM0NQoRMTAwNTg2MDM4NTY5NjMwMzkKEzcxMjQ3NzkzMDE3OTU0NTk4MjkKEzY2MzkyNTg0MTY5NzExNDc3ODgaFgoUMTczMDIwNjc0MTU5NzA3MTkwMjRaFDE3MzAyMDY3NDE1OTcwNzE5MDI0aq0NEgEwGAAiQxowAAopaGhiamtkaHRvZ2hoaWRnaGhVQ1BGLW9ZYjIteE41RmJDWHkwMTY3R2cSAgARKg_CDw8aDz8TXIIEJAGABCsqiwEQARp4gfL6-wf_AgD1DPoDAwT-Af0I9_z4_v0A8gEGCQMC_wD9AwD59gEAAAQSAf7_AAAA9_3-9fr_AAAF-fsK8gD_AB4ACf_6AAAADAELAAn_AQD5C_kG9wEAAPX7-vn_AAAA9_gM8gAAAAAEAQP8AAAAAP_9APAAAAAAIAAtI3_YOzgTQAlITlACKnMQABpg9hAAEBQZ-O4MA_jjAvj6-fX-9AT16gDn2wD_JAHzBgMP6-8EAC7nCfnYAAAAGvIBKdoABiwIAfcB9fn18vTrC_1_CQru_AgV_Mr89wgA8ffnGCIgAPf5DggTCeoN-fUUIAAtgVyXOzgTQAlIb1ACKq8GEAwaoAYAAARCAADgQQAAQMAAAABCAAAYwgAA6MEAAABAAAAEwgAAIMIAAAAAAAAAAAAACEIAACxCAADAwQAAMEIAAFDBAABwQQAAyMEAALhBAADgQAAAREIAAABAAACAvwAAUMEAAIBCAACYQQAAssIAAADBAACIQgAAUMEAABhCAACoQQAA0MEAAI5CAACAwQAABEIAAEDAAADAQgAAkMEAAADCAAAAwAAAmMEAAEBBAACwwQAA-MEAADDBAACwwQAAjMIAAABBAACAwAAADMIAAIBBAAA8wgAAYEEAAABCAACiQgAAHMIAAMDBAAA0QgAAmEEAABBBAAAwwQAATMIAAEjCAAAMwgAAcEIAAKJCAACYQgAABMIAAAhCAAB8QgAAbEIAAADAAACowQAAQEEAAILCAADowQAAcEEAAEBBAABAQQAAFMIAACBCAADYwQAAWEIAAHTCAABQwQAAOEIAAJhBAABwwQAAcMIAAIBAAAAAQQAAwEAAAIbCAAAAAAAAGMIAAEDBAADgQAAA4EAAAABBAAAAwQAAoMAAAEBCAAC4wQAAwEEAAIDAAABQwgAAoEIAAGBBAABQwQAAiEEAAIrCAACowQAAAEAAANBBAABAwgAAQEAAAJDCAAAMQgAAwMAAAMjBAAAUwgAAoEEAAIDCAACwQQAAoEEAAGDBAABowgAAJMIAALjCAAAwQgAAAEAAAEDBAACYQgAAWMIAABxCAACUQgAADMIAAHTCAADMwgAAQMEAAJBBAAAAAAAAoEEAAEDAAACAvwAAdMIAACDBAABAQQAAqMEAABDBAAAcwgAA8MEAAKDAAACwwQAALEIAAKDAAABkwgAAYMEAAJBBAAAswgAAoMAAABzCAAC4wQAAAMAAALBBAAAQQQAAUMEAAADAAAA4QgAA5sIAAKBBAAAQQQAAkMEAABDCAABIQgAAtsIAAEDBAADCQgAAhkIAAKDBAACAQQAAAAAAAKDBAADIQgAA4MAAAPDBAACwQgAAUMIAACxCAACQQQAA4EAAAAxCAADgQQAAgEAAAKZCAACgwQAAnsIAAHDCAAAEwiAAOBNACUh1UAEqjwIQABqAAgAABL4AAAS-AAAkPgAAPL4AAHA9AACgvAAAor4AAA-_AADWvgAAiD0AAFA9AAAcvgAARD4AABC9AABMvgAAir4AAJI-AAAEPgAAhj4AALY-AAB_PwAAcD0AAMg9AADoPQAABL4AAKK-AABMPgAARD4AAFy-AADgPAAAPD4AAFS-AABwPQAAoDwAADA9AACgPAAAZD4AADy-AAB0vgAAxr4AACS-AAAcPgAA6D0AAJK-AACovQAAVD4AAAw-AABwvQAAEL0AAAS-AADIPQAAcL0AAEC8AACYPQAApr4AAMi9AAA5PwAAiD0AAPg9AADqPgAAED0AAEA8AADgPAAAgDsgADgTQAlIfFABKo8CEAEagAIAAJa-AABkPgAAqL0AADm_AABMvgAAnj4AAK4-AAA8PgAAED0AAJY-AACAuwAA2L0AAIC7AABAvAAAQLwAAEA8AACYPQAAHz8AAKi9AADSPgAAmD0AAHA9AABMPgAALL4AAHC9AAC4PQAAuL0AAEw-AAAMvgAABL4AAEC8AACAOwAAiD0AANa-AABwPQAAZL4AAOg9AAD4PQAAiL0AAHA9AAAsPgAADL4AALg9AAD4vQAAyD0AAIA7AAB_vwAAoLwAAMi9AAD6PgAATD4AAJI-AACIPQAAsj4AAGw-AAAwPQAA6L0AAKA8AAD4PQAA6L0AAII-AAAMPgAAjj4AAHA9IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=GG35MINMhK0","parent-reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["17302067415970719024"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"3179988269103481286":{"videoId":"3179988269103481286","docid":"34-0-14-ZF006903B916BA358","description":"In this lesson we demonstrate a key programming concept that will help you ace your #coding #interview. This is of-course \"loop invariant\" 🌹 Free Solution Code on Github...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3693663/c0eea5279ae0e78dc445f1e776984d87/564x318_1"},"target":"_self","position":"10","reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DMRPmj85ExJM","linkTemplate":"/video/preview/3179988269103481286?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Members - Loop Invariants // Key Coding Interview Concept","related_orig_text":"Loop Invariant","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Loop Invariant\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=MRPmj85ExJM\",\"src\":\"serp\",\"rvb\":\"EqwDChQxMTcyNjA3ODUwNDYxNDQ5ODkyNQoUMTU0OTA1MTU5MzU5MTA2NjkxNTcKFDEwNzY5Mjk3NzY0NTgxODcyMTQ0ChQxMjg4MjcwMTc5NzY1MTEzNTA4NAoUMTE1ODQxMTM4MjU3MzE3NzAxOTkKFDE2MDUxODE5ODQxNjk4OTAyMDU0ChQxNzczODcwMTg0OTU2MzMyNTcyMgoTOTg5Njg4MTAxNDg2MTU2NzU0MgoUMTczMDIwNjc0MTU5NzA3MTkwMjQKEzMxNzk5ODgyNjkxMDM0ODEyODYKEzYzMzAzNDcwNTc1ODczNDU4ODgKEzIyODU0NzE1NDg4MDQ4OTU4OTkKFDE0MTUzMTA5MDMzNzQ3NzY5NTU3ChMxMTgwNzg1NzY4OTMxOTYxODEyChMzNjEwNjQ2NzY4NTIwNjI4NzA2ChMxODA2NDI2NTA4ODkwMzMyMTM1ChQxMDY2MzA3ODQ1MTQ4NzM3NTM0NQoRMTAwNTg2MDM4NTY5NjMwMzkKEzcxMjQ3NzkzMDE3OTU0NTk4MjkKEzY2MzkyNTg0MTY5NzExNDc3ODgaFQoTMzE3OTk4ODI2OTEwMzQ4MTI4NloTMzE3OTk4ODI2OTEwMzQ4MTI4NmqvDRIBMBgAIkUaMQAKKmhodmR6dmpxenF1a3NjZWRoaFVDR0RfMGk2TDQ4aHVjVGlpeWhiNVF6URICABIqEMIPDxoPPxOmAYIEJAGABCsqiwEQARp4gfsHBgIK9ADtCQcM9QX-AekD9AD5__8A2xH0BQP7AgDwAAr7-gAAAP0X-fEFAAAACRT8BPP9AQAFCPkJ-AAAABMRDfH-AAAAAQfsDv8BAAD1-AcRBP8AAAUEBwfz_gL_8wED-vYA_wH9C_4EAAAAAAXhAfABAAAAIAAtKIyzOzgTQAlITlACKnMQABpgKwsAMvks7c_9MNfrBu0KLwzlCuK_7v8Gw_8EIirw_AHxujfg_1XzAAmsAAAAC0bjQ-MA8m7o8LUh4BoR2MT3RjN_Iwv98eow8u0V6_Me-QfYTxItAOvwCPMdLtxgGw8TIAAtya0oOzgTQAlIb1ACKq8GEAwaoAYAAFxCAACAQQAAEEIAAARCAAAswgAAaEIAAEBAAAAgwQAAoMIAAFjCAAAQQgAAgL8AAIbCAAAYwgAA2EEAAEDCAACyQgAAAMEAAIBBAACAvwAAyMEAAODBAABAQAAAwEAAABBBAACgwQAAkMEAAODAAAB4QgAAgMEAAMDAAABkQgAAZMIAAIC_AADgwQAAiMEAAFDBAADeQgAA4EEAAPhBAADIQQAA8EEAAERCAACAQQAAeMIAAHTCAADAwAAAMMEAACRCAACAwAAAAMIAACjCAABwwgAAIMIAAAxCAAD4QQAArsIAAOjBAADYwQAAAMEAAFBCAADQwQAAuEEAAJDBAAAwQgAA2EEAACBCAADwwQAAgMEAAADAAABcQgAA5EIAAMDAAABEQgAAEEEAAEjCAACOwgAAsEIAAKBAAADQwQAAUMIAAOBAAABAQAAAokIAAAzCAADgQQAAgD8AABBBAACAvwAALMIAAJDBAAAAQgAAwMEAACzCAAAAQgAAwMIAADjCAAB4QgAAEMIAAIDBAAAAwgAAIEEAAMBAAADgwQAA4MIAAIBBAAB4QgAAYEEAAIBBAAAIQgAAwEEAAMjBAABAQAAAgEEAAAAAAABQwQAAoMAAAODBAAAAQgAAaMIAAIC_AAA4wgAAQMIAANDBAABwQQAAWEIAAATCAACowQAAYMIAAEzCAACAQQAAmEEAALDBAACQQQAA2EEAAHBCAAD4QQAA2EEAAILCAABwwgAA2EEAALjBAAC6wgAA2EEAAKhCAAAgwgAAHMIAAGhCAAAcwgAA6MEAAKDAAAAAwAAABEIAALjCAACAQAAA4EAAAOjBAAA8wgAAYMEAAFhCAAAgwQAAkEEAANjBAAAAQgAAUMIAAETCAADQQQAAwEAAAFBCAAAAwQAAhsIAACBBAADAwAAANMIAAODBAABAQQAAhsIAALjBAAAMQgAAYEIAABBBAABAwQAAQMEAAADBAAA0QgAAkMEAAFzCAACQQgAAPMIAAPhBAAC4wQAAWMIAAMBBAAAwQQAAwEAAAIDAAAAAQAAAgEAAADzCAAAYwiAAOBNACUh1UAEqjwIQABqAAgAALL4AAFS-AABQPQAAtj4AAIi9AACaPgAALL4AAP6-AAATvwAAXD4AAFQ-AACCPgAAVD4AANg9AADYvQAAmr4AAOI-AAAcPgAAPD4AAL4-AAB_PwAAUL0AAEA8AACIPQAAUL0AAHC9AAD4PQAALL4AAI6-AAAsPgAAbD4AAMi9AAAcvgAALD4AABC9AAAcPgAAiD0AAAy-AAATvwAAdL4AALK-AADoPQAA6D0AAEA8AAAQvQAAND4AAEw-AADovQAAyD0AALi9AACAOwAAyL0AAIo-AAD4PQAALL4AAHC9AAA5PwAAqD0AAIY-AADyPgAAij4AAHS-AABwPQAAQLwgADgTQAlIfFABKo8CEAEagAIAADC9AADYvQAA2L0AADe_AAC4vQAAoDwAAHA9AAAUPgAARL4AALI-AACoPQAA4DwAAJo-AACovQAAyD0AAIi9AABAvAAAVz8AAJg9AAD-PgAAgDsAAPi9AACyPgAAfL4AAJi9AAAQPQAAqL0AABQ-AABwPQAAmD0AAEA8AAC4vQAAmD0AAIK-AACOPgAAFL4AABw-AABwPQAAqL0AAEw-AABsPgAAhr4AAAS-AACAuwAAFL4AAGw-AAB_vwAAlr4AAPa-AADIPQAAoDwAAPg9AAAUPgAAZD4AAIA7AAAQPQAAyL0AALi9AAB0PgAAPL4AABw-AACiPgAAgDsAAEy-IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=MRPmj85ExJM","parent-reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["3179988269103481286"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"6330347057587345888":{"videoId":"6330347057587345888","docid":"34-10-4-ZD89FAAFCDB2EADE6","description":"In this video I present the concept of a proof of correctness, a loop invariant, and a proof by induction. I apply these concepts in proving the minimum algorithm is correct.","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3285323/e09afdd2f9d2bbfd6eb5c3744c833118/564x318_1"},"target":"_self","position":"12","reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DndFArXAsPsc","linkTemplate":"/video/preview/6330347057587345888?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Minimum Algorithm - Loop Invariant - Proof of Correctness - Discrete Math for Computer Science","related_orig_text":"Loop Invariant","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Loop Invariant\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=ndFArXAsPsc\",\"src\":\"serp\",\"rvb\":\"EqwDChQxMTcyNjA3ODUwNDYxNDQ5ODkyNQoUMTU0OTA1MTU5MzU5MTA2NjkxNTcKFDEwNzY5Mjk3NzY0NTgxODcyMTQ0ChQxMjg4MjcwMTc5NzY1MTEzNTA4NAoUMTE1ODQxMTM4MjU3MzE3NzAxOTkKFDE2MDUxODE5ODQxNjk4OTAyMDU0ChQxNzczODcwMTg0OTU2MzMyNTcyMgoTOTg5Njg4MTAxNDg2MTU2NzU0MgoUMTczMDIwNjc0MTU5NzA3MTkwMjQKEzMxNzk5ODgyNjkxMDM0ODEyODYKEzYzMzAzNDcwNTc1ODczNDU4ODgKEzIyODU0NzE1NDg4MDQ4OTU4OTkKFDE0MTUzMTA5MDMzNzQ3NzY5NTU3ChMxMTgwNzg1NzY4OTMxOTYxODEyChMzNjEwNjQ2NzY4NTIwNjI4NzA2ChMxODA2NDI2NTA4ODkwMzMyMTM1ChQxMDY2MzA3ODQ1MTQ4NzM3NTM0NQoRMTAwNTg2MDM4NTY5NjMwMzkKEzcxMjQ3NzkzMDE3OTU0NTk4MjkKEzY2MzkyNTg0MTY5NzExNDc3ODgaFQoTNjMzMDM0NzA1NzU4NzM0NTg4OFoTNjMzMDM0NzA1NzU4NzM0NTg4OGqvDRIBMBgAIkUaMQAKKmhoZnd2dXBqbHBpdXV5emNoaFVDejlqSk9CcGx6QkczWm9TM29JdFBNURICABIqEMIPDxoPPxP1HIIEJAGABCsqiwEQARp4gfr__PcB_wAM_fcG-gj-AgH89vz3_f0A7Pjv_AUAAAD9-A7_9wAAAAME7AAGAAAAAwDzAP39AQABAQQBBQAAACEN_Pj7AAAAGAb1-f4BAAD-BAERBP8AAAsKBPr_AAAA7QQN9QAAAAAHD_34AQAAAAv8DPYAAAAAIAAtyzPOOzgTQAlITlACKnMQABpgFBIAOR4h7MUnPeff-fP8D98J2-nm5f_9-AAGMwne7OgCxhAX_yrtJ_a3AAAAGgTFOvcA1lns3dz35fcl2hX9DiJ_AwjcDDIa9Mgh7sP86AT6MhMzAAvxIBgV_8Q08NoSIAAtLYNCOzgTQAlIb1ACKq8GEAwaoAYAAHBBAADwQQAA4EEAALjBAAA0QgAASEIAAIpCAAAEwgAARMIAAFDBAABAwAAAQMIAAJDCAAAAwQAAvEIAACTCAAAIQgAAZMIAAGBBAAC6wgAAMMEAAHDBAABwwQAAwEEAAIDBAACAwQAA8MEAAJDCAAC-QgAAkEEAAIDBAAAcQgAAzsIAAAAAAACkwgAAcMEAAIhBAADYQgAA4MAAAHBCAAC4wQAAgEAAAMhBAADgQAAAyEEAAFTCAAA0wgAAgEEAAJBBAAAwQQAA5MIAADBBAADgQAAAgEAAAJBBAAAkQgAA9sIAAFDBAACQwQAAQMEAABBBAACAwQAAaMIAAEDCAABQQQAAKMIAACDCAAAEwgAAJMIAAKjBAAA4QgAA_kIAAOjBAAAMQgAAfMIAAFjCAAAYwgAAwMAAANhBAADwwQAAzsIAAIpCAACAwAAAokIAAPBBAAAgwQAAuEEAADRCAACAQgAABMIAABhCAADQQQAAQEAAABDCAADQwQAA-MEAADDBAACIwQAAOEIAAEjCAADowQAAiEIAAARCAABQwgAA4MEAAIBBAACAQQAAOEIAAKjBAAC4QQAAAAAAAKDBAACQQQAAyMEAAABAAADYQQAAIMIAAOjBAAAkwgAAmEEAAFDBAAAswgAADMIAAHDCAAAgwQAAUEIAAMBAAACIQQAAEEEAANDBAAAAQQAAcMEAAATCAABAQQAAyMEAAAhCAAAgQgAAgEEAAMDBAACAwgAA4EAAAKBAAACQQQAAIMEAAJhBAACgQAAAhsIAAIBAAAAoQgAAoMEAABBBAACoQQAAHEIAAAAAAAAQwQAAAMIAAEDAAACAwQAACMIAAODAAAAkwgAAMEEAAMDAAACIwQAAOMIAAMDAAADAQAAACEIAAHBBAACgQAAABMIAAABCAACgQAAAKEIAALDBAAAswgAAGEIAANjBAAAwQQAAREIAAIC_AABQwgAAEMEAABBBAAC6QgAAgEAAAFDCAAAAQgAAKEIAACBBAAAUwgAAYMIAAAhCAACAvwAAuEEAAFBCAAB4wgAAQEAAAJjBAADAwCAAOBNACUh1UAEqjwIQABqAAgAATL4AACS-AACyPgAAJL4AAKg9AAA0PgAAuL0AAAe_AAD6vgAAHD4AAGS-AACYvQAAQDwAAEw-AAC4PQAAFL4AAHQ-AABQvQAAPD4AAKY-AAB_PwAAoLwAAM4-AABAPAAATL4AAJi9AAC4PQAALD4AAFC9AACCPgAADD4AAIC7AAAMPgAAND4AAHC9AACIPQAAMD0AANi9AABMvgAADL4AAAy-AAAwvQAARD4AAHy-AACOvgAAEL0AAGQ-AABkvgAA4LwAAJa-AAAsPgAAEL0AAGw-AACAOwAAfL4AAKi9AAA5PwAA2D0AAKg9AAB0PgAAHL4AAIi9AAA0PgAADD4gADgTQAlIfFABKo8CEAEagAIAAHy-AAAcPgAAyL0AACO_AADIvQAAiD0AABA9AAAUPgAA-L0AAIY-AAAkvgAAFL4AAMi9AAAsvgAADD4AADC9AAAMPgAADT8AAKA8AADiPgAAgDsAAFQ-AABwvQAAuL0AADA9AAC4PQAAgDsAALg9AACWvgAA4DwAADC9AACIPQAALD4AANi9AADgvAAANL4AAMg9AACGPgAAPL4AAIg9AACAuwAAyL0AAKC8AABAvAAAUD0AAAS-AAB_vwAAoDwAAHS-AAAcPgAA2D0AABC9AADgPAAAJD4AAKg9AAAQPQAAQDwAAOA8AABwPQAA4DwAAHA9AADoPQAA-D0AAKg9IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=ndFArXAsPsc","parent-reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["6330347057587345888"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"2285471548804895899":{"videoId":"2285471548804895899","docid":"34-2-7-Z5CA7593A0C5A3766","description":"In this episode, Rustan Leino talks about loop invariants. He gives a brief summary of the theoretical foundations and shows (using a problem to compute cube...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/1539130/477c5d548317e9b213876d494673be35/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/aeww3gAAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"13","reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DspcfzbisBv4","linkTemplate":"/video/preview/2285471548804895899?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Loop invariants","related_orig_text":"Loop Invariant","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Loop Invariant\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=spcfzbisBv4\",\"src\":\"serp\",\"rvb\":\"EqwDChQxMTcyNjA3ODUwNDYxNDQ5ODkyNQoUMTU0OTA1MTU5MzU5MTA2NjkxNTcKFDEwNzY5Mjk3NzY0NTgxODcyMTQ0ChQxMjg4MjcwMTc5NzY1MTEzNTA4NAoUMTE1ODQxMTM4MjU3MzE3NzAxOTkKFDE2MDUxODE5ODQxNjk4OTAyMDU0ChQxNzczODcwMTg0OTU2MzMyNTcyMgoTOTg5Njg4MTAxNDg2MTU2NzU0MgoUMTczMDIwNjc0MTU5NzA3MTkwMjQKEzMxNzk5ODgyNjkxMDM0ODEyODYKEzYzMzAzNDcwNTc1ODczNDU4ODgKEzIyODU0NzE1NDg4MDQ4OTU4OTkKFDE0MTUzMTA5MDMzNzQ3NzY5NTU3ChMxMTgwNzg1NzY4OTMxOTYxODEyChMzNjEwNjQ2NzY4NTIwNjI4NzA2ChMxODA2NDI2NTA4ODkwMzMyMTM1ChQxMDY2MzA3ODQ1MTQ4NzM3NTM0NQoRMTAwNTg2MDM4NTY5NjMwMzkKEzcxMjQ3NzkzMDE3OTU0NTk4MjkKEzY2MzkyNTg0MTY5NzExNDc3ODgaFQoTMjI4NTQ3MTU0ODgwNDg5NTg5OVoTMjI4NTQ3MTU0ODgwNDg5NTg5OWqIFxIBMBgAIkUaMQAKKmhoeml2cGhraHd6dWNqZWRoaFVDUDJlTEVxbDR0Uk9ZbUlZbTVtQTI3QRICABIqEMIPDxoPPxOZCoIEJAGABCsqiwEQARp4gf_5_Pv8BQDyCvMI-wT_AfEK-fz6_v0A-f3-AwUC_wAB-QD4-gEAAPsP8f8DAAAA-fwD_wP-AAANAP0D-wAAAAIAA_4CAAAACfoCA_8BAAD2AwIJ9wIAAQQDBgb1_gEA7wQM9gAAAAD-Cf8DAAAAAPvz-_kAAAAAIAAtWwbhOzgTQAlITlACKoQCEAAa8AF_9P8A1Onj_9YFxwDnDQcBhQos_xlM-QDK9v4A1AbfAfn52v_1D_z_9x0CAI8R7gEGwtT_ENcFACTyBP9A-wEA6h8aADYG4gE9Ey7_BfbwAMsiHf7z9AsA9tnR_z8j1AAhBQT7DgzYAR0XygIl-y8B_xwXBS37JgHJ2xQCDQYJAhAd3fzuAg0C59gU_NcbIQIo9wQFFhMJ-dIG5AL2-vb9CO8Y9ikC5QIlDfcFHyX099DLDv4X_wD66A0lBPkS7wTX8S8G_PcI_P3xE_j-8QL31QfiCQ_sAhLeCxH59-ER_ATf-PnmAu4C_RsG--j96wQgAC2kNxE7OBNACUhhUAIqzwcQABrABwlS2b5FBJC6jKDxPOlDXL17erY8KLlDPPioD76n89c85V4gvdqQHz6mBTM7562ZOvaWYr4FeIE8eT8NvP29dD6SVEu9A7HsPHE9Wr7nFr89hUyovLSsG74rsIY9YvgDvVzFhz3G_4g9ViMgvfrV3D03fnI8q6AWPJFWRjy0jqq8lIAdvRFClj3r2oO9mjvfvDf0e71cYVE73Sx7uyDrCT7Fbdm8qpk1vM3CQ7zpVMO8kR6OO2luBb4j1BE9B8hhvOqv9z0xslE6yE0DPXgANb1Xp_M6xYLvu7Iokbs-5NI8_s3wvJ2ifjyXQXk66aduvF1OLj0xA_q8rXesO2UXXL54p4w8KAS8u-yG7T2M94M9cluRO8Zhqr2rW5097tSaO6HccT1bFCw8gWi5uwDyhD2JKwI9-CsuPCx6jLx2ZWE8yS8su41KJT3WIyg9LPOWPHLLIr2GYwy9SCKqvLLLgTxqBIE9yQyKvCIPbr09WRu9HYPjOphbED25edk86fEAOlF4Wj39jVE8nH6avI_gFj5beA6-A-cOvGMqfbyjRcy9hypGvOnJZj2BsDM9nHU-O2786T1M5K29K3OpuznFdLyozjm9IbPxu4zoCD27PEK8lkHWu7EkLz3oZ2o8aNTXOzSRiL30pmI9fmbau8SSdjvfb6Q9XEDDOk4CZbzwrIi9-PXHOhqcjT3kxw49npHvu-PRjD0uMWC82wmjO5cjnz37xny9A6wSOpUMAL1XX1i9M1NzOByKzLwmQOg8AEfxOsx6cT0GVVk8gePuuUqhZz3pB5o88xonORsfe7trFo49wnRgOZvzQjwkgQI84SSnOAXT-rv4ToG9CfmRuWblLb1JdEC9pV-zOZ37xjx14Q08ZBKYuT5Cnb3oqlS9lodOuUtEE73clWe98kcBuUFtirxSDFA9CuXnuGBZ6bxImZ6800UgudnkdT0nYMW8YvY5uAArdjwIsEM9l5NPOEHjeLx8R-29YROrOfJgUjpXKw-8VXGEt2Tk0TzFD4Q93qL-tyqOQz3iAtA9uwH3OIdFVj3TZaa9vyj0Ns3nXD1HM5s91S0lub2P4704Zc49OHOROLqsGD3xxU093NLLOKRIiDx27_I8ABaSt43CBL3MVb07Rj9mt8Kk2D02Kia9e7QtubZReDxzEuq9Luv2uEcn5jy-p629yTRvt9psob2N5rI9IXQJOA0SRzx0fPS9VlhZuCL_7D01KQU-835buLgfsLyviCs9ItOVuAahfL1gHIE8YXy1N_Y6vr0FU428c18XuCAAOBNACUhtUAEqcxAAGmAo8gA7903tDyH1-9bM-Ob4_97rEdP0_9vU__NC7DsR-frQ_BcAJtYx76sAAAAa-QMz5QAsbuzfA_rS9gXI0fsuHn8MNBKT_xsI4O7k_-7kBfgQ7D8A1RW3USL3kBz0yiogAC3yPyU7OBNACUhvUAIqrwYQDBqgBgAADMIAAAxCAACWQgAAiMEAAFBCAADIQQAAgkIAAKhBAACOwgAA6MEAAEjCAAAgQQAAMMIAAIDAAADwQQAAsMEAAAjCAAC6wgAAUMEAAFjCAAAQQgAAZMIAAOhBAACAQgAAZEIAAOBBAABkwgAAKMIAAN5CAADQQQAABMIAAFTCAAA0wgAALEIAAGjCAADYwQAAmEEAAEBBAAAMQgAAgMEAAKDAAADwQQAAVMIAAMBAAAB8wgAAwMAAAFTCAADAQAAAQEAAAFBBAAC6wgAA0EEAAEDAAADIQQAA0EEAAOBBAAAEwgAA0EEAACBCAAAoQgAARMIAADDCAABMwgAAyMIAAOhBAADgwQAAQMAAAOBBAADawgAAAEEAADBCAABAQgAAgEEAAOhBAAAQQQAA4MEAALDBAACAvwAAAAAAACzCAACiwgAAAEIAAFDBAACYwQAAYMEAALhBAACYQQAAAEEAADhCAACwwQAAYMEAACxCAADAQQAANMIAAKDBAACGwgAANEIAAIA_AAAYQgAAUEEAAKjBAABAQQAArEIAAOjBAADwwQAA4EAAAEDBAAAsQgAAAMIAADxCAAAYQgAAmEEAAPjBAABkQgAAMEIAAJ5CAAAgQQAAHMIAAODAAABQwgAAEMEAAHDBAAAQQgAAFMIAAAzCAAAsQgAAyEEAAODBAABwwQAAiMIAABDBAACAPwAAEMEAAGBBAACYQQAAoEEAAEhCAACIQQAAUMEAAFjCAAAEQgAADEIAAFBCAAAIwgAAOEIAAADAAABQwgAA4EEAABhCAAA0QgAAwEAAALBBAADYQQAAkMEAAAjCAABAwgAALMIAACjCAABQwQAAiEIAAOhBAACmQgAAIMIAAPjBAACAQAAAOMIAAFDBAAAUQgAAEEEAABDCAADgwQAAjEIAAIA_AAAkQgAAcMEAALhBAAAYQgAANMIAAAhCAABYQgAAisIAAGzCAADYwQAAIMIAADhCAAAQQgAAeMIAADxCAADQQQAA0EEAAEDAAABEQgAAMMIAAIBBAABAQAAAMEIAAOjBAAAAwAAAoMAAAADBIAA4E0AJSHVQASqPAhAAGoACAAAcvgAAVL4AAKi9AAA0PgAAVL4AAJg9AABUvgAANb8AAMa-AAB8PgAA4DwAACy-AACIPQAA6D0AAAy-AACOvgAAnj4AAKg9AACWPgAA2j4AAG8_AACIPQAABD4AAIA7AABAvAAAuL0AAIA7AACovQAAyL0AAKA8AACCPgAATL4AANi9AABQvQAAqL0AAMg9AADYPQAAyL0AAIK-AACyvgAAgr4AAJg9AAAsPgAAZL4AAJi9AACYPQAAMD0AAAy-AAAMvgAAJL4AAOC8AADGvgAAdD4AAHC9AAA0vgAA4LwAAH8_AAAUvgAA4DwAACw-AACoPQAAMD0AAJg9AABAvCAAOBNACUh8UAEqjwIQARqAAgAARL4AADw-AADYvQAAPb8AANi9AAA0PgAALD4AAOg9AACovQAAnj4AANg9AAA0vgAAij4AANi9AABAPAAAML0AAKA8AABJPwAA4LwAAJ4-AADIPQAAcD0AALY-AAA8vgAAUL0AABA9AAAQvQAAVD4AAIA7AAAMvgAAED0AAJi9AADIPQAAmr4AAEA8AACivgAAEL0AAMg9AADIvQAAoDwAADQ-AAAcvgAAcD0AADS-AABwvQAALD4AAH-_AACIvQAALL4AAJ4-AAA0PgAAPD4AABQ-AACCPgAADD4AAIA7AACovQAAHD4AACw-AABcvgAAHD4AAKg9AAD4PQAAyL0gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=spcfzbisBv4","parent-reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":512,"cheight":288,"cratio":1.77777,"dups":["2285471548804895899"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"3591730708"},"14153109033747769557":{"videoId":"14153109033747769557","docid":"34-7-15-ZC1993CF0507A83DB","description":"Finding loop invariant of Lowest common multiple function Helpful? Please support me on Patreon: / roelvandepaar With thanks & praise to God, and with thanks to the many people who have made this...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/4585533/dc5b8c5ae5f2492273bd369831efff21/564x318_1"},"target":"_self","position":"14","reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DB_MHNb21QsU","linkTemplate":"/video/preview/14153109033747769557?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Finding loop invariant of Lowest common multiple function","related_orig_text":"Loop Invariant","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Loop Invariant\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=B_MHNb21QsU\",\"src\":\"serp\",\"rvb\":\"EqwDChQxMTcyNjA3ODUwNDYxNDQ5ODkyNQoUMTU0OTA1MTU5MzU5MTA2NjkxNTcKFDEwNzY5Mjk3NzY0NTgxODcyMTQ0ChQxMjg4MjcwMTc5NzY1MTEzNTA4NAoUMTE1ODQxMTM4MjU3MzE3NzAxOTkKFDE2MDUxODE5ODQxNjk4OTAyMDU0ChQxNzczODcwMTg0OTU2MzMyNTcyMgoTOTg5Njg4MTAxNDg2MTU2NzU0MgoUMTczMDIwNjc0MTU5NzA3MTkwMjQKEzMxNzk5ODgyNjkxMDM0ODEyODYKEzYzMzAzNDcwNTc1ODczNDU4ODgKEzIyODU0NzE1NDg4MDQ4OTU4OTkKFDE0MTUzMTA5MDMzNzQ3NzY5NTU3ChMxMTgwNzg1NzY4OTMxOTYxODEyChMzNjEwNjQ2NzY4NTIwNjI4NzA2ChMxODA2NDI2NTA4ODkwMzMyMTM1ChQxMDY2MzA3ODQ1MTQ4NzM3NTM0NQoRMTAwNTg2MDM4NTY5NjMwMzkKEzcxMjQ3NzkzMDE3OTU0NTk4MjkKEzY2MzkyNTg0MTY5NzExNDc3ODgaFgoUMTQxNTMxMDkwMzM3NDc3Njk1NTdaFDE0MTUzMTA5MDMzNzQ3NzY5NTU3aq0NEgEwGAAiQxowAAopaGhiamtkaHRvZ2hoaWRnaGhVQ1BGLW9ZYjIteE41RmJDWHkwMTY3R2cSAgARKg_CDw8aDz8TYoIEJAGABCsqiwEQARp4gQADA_EB_gD4AQAK9wf9Av0C8wf3_fwA8v0B9PUBAADhAQoA-v8AAPoI-hECAAAA_ff3Avr-AAAK_PcFAwAAAAj__vn9AAAACPj7Cv8BAAD7-AEJ-QEAAAb6_xUAAAAA9vwU_P8AAAADEQEIAAAAAPT7B_z_AAAAIAAt7zLOOzgTQAlITlACKnMQABpgFAwAHCIo2fgKEOTw6vsKBAD46f4I_QD5wwD4GN7fBOMDsvP9AD3lGPbBAAAAHQjvCgIA400H-_b8-ucAyuj6DRt_DjLaFA816p4A7v4I-ePwFBsMAPr3EBYG88wyEf8lIAAtyo9ZOzgTQAlIb1ACKq8GEAwaoAYAAOBBAADgQQAA4EAAACxCAAAQwQAABMIAAMBBAAAQwgAABMIAAKDAAACAQAAAQEAAALhBAAA4wgAAhEIAABjCAADQQQAAMMIAAHBBAACAvwAAsMEAABzCAADwwQAAQEEAAKBCAAAQwQAAksIAAEDAAACCQgAAQEEAAFBBAADIQQAAFMIAAGRCAADYwQAAwEEAABDBAAD0QgAABMIAAABBAAAwQgAAAMAAAOBBAADYwQAAwMEAABjCAAA8wgAAjsIAALBBAACgwAAAiMEAADBBAACwwQAAoMAAAABAAABEQgAA2sIAAOBAAABgQQAAOEIAAARCAAAIwgAASMIAAHTCAACgQAAAQEAAAABCAADoQQAA4MEAAADBAABoQgAAkEIAAPjBAADgQQAAQMAAAHzCAAAAwQAAiMEAAARCAAAUQgAA6MEAAAhCAABAwgAAikIAABzCAACAwQAAkEEAAOhBAADIQQAAeMIAAIBAAABgwQAAAAAAAJTCAAAgwQAAWMIAAEDAAABAwQAAMEEAAODBAACAwQAAEEEAAJJCAABgwgAAkEEAAJDBAABgwgAAgEIAAIBAAACQwQAAMEEAADzCAADgQAAAoMAAAAhCAABgwQAAgL8AAKrCAAAAQQAAgMAAACjCAAA8wgAAsMEAAFTCAADwQQAAKEIAABDBAAAQwgAAVMIAAKTCAABoQgAAUEEAADTCAACaQgAAuMEAAOhBAABoQgAA4MAAAHDCAAD6wgAAgD8AAIhBAACgQAAAiEEAAEBBAAAgwQAAkMIAAMBAAAAsQgAAwMEAALDBAABgwQAAsEEAAMBAAAAwwgAAyEEAACDBAACgwgAASMIAALhBAAD4wQAAEEEAAHTCAADIwQAAQMAAAJhBAAD4QQAAgEAAAGBBAAAEQgAAUMIAAAxCAACowQAAAEAAACTCAADgQQAAqsIAANDBAAC-QgAAMEIAAEBBAAAAwQAAMEIAAEDBAAD-QgAAgEAAAHDCAAAkQgAAIMEAABRCAACAwQAADMIAADBCAADAwAAAEEIAAHRCAAAIwgAAHMIAAI7CAACowSAAOBNACUh1UAEqjwIQABqAAgAAcD0AANi9AAAEPgAA6D0AAEA8AAAkPgAAdL4AAD-_AADWvgAAuD0AAFA9AABcvgAAND4AAJI-AACovQAAhr4AAFQ-AAA0PgAAPD4AAOI-AAB_PwAAqD0AADA9AACYPQAAFL4AABS-AACSPgAAJL4AACS-AABQPQAAVD4AAOi9AACIvQAAMD0AACQ-AACoPQAAgDsAAAQ-AADSvgAAzr4AAFy-AAB0PgAAHD4AAIK-AAC4vQAAPD4AAJI-AABcvgAAJD4AAKa-AAAkPgAAQDwAALo-AAAcPgAAmr4AACS-AABBPwAAyD0AAHA9AAC-PgAAXD4AABC9AAC4PQAAUL0gADgTQAlIfFABKo8CEAEagAIAAMq-AAA8PgAAoDwAAD2_AAAwvQAAQLwAAAQ-AACCPgAAFL4AAFQ-AACoPQAADL4AAMi9AABEvgAAJD4AAJi9AAC4PQAAJT8AABA9AACiPgAA2D0AAEw-AAAMPgAABL4AAJi9AADgPAAAdL4AABw-AABAvAAAML0AAKC8AAAQPQAAMD0AAJa-AACGPgAAPL4AAII-AAAwPQAAVL4AAFw-AAAwvQAAdL4AAFS-AADYPQAAED0AAOg9AAB_vwAA4LwAAJa-AAB0PgAAuD0AANg9AAA0PgAAjj4AAAw-AADgPAAAQLwAAMi9AABsPgAARL4AALg9AABsPgAAkj4AAIC7IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=B_MHNb21QsU","parent-reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["14153109033747769557"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"1180785768931961812":{"videoId":"1180785768931961812","docid":"34-9-10-Z63D9BE4D1C90E1DC","description":"Removal of Loop Invariant Computation watch more videos at https://www.tutorialspoint.com/videotutorials/index.htm Lecture By: Mr. Arnab Chakraborty, Tutorials Point India Private Limited...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3820482/7135b5bcbd32d5c4eec7ccd232057182/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/oQ7wQQEAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"15","reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DwdwQoo4f_sE","linkTemplate":"/video/preview/1180785768931961812?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Removal of Loop Invariant Computation","related_orig_text":"Loop Invariant","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Loop Invariant\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=wdwQoo4f_sE\",\"src\":\"serp\",\"rvb\":\"EqwDChQxMTcyNjA3ODUwNDYxNDQ5ODkyNQoUMTU0OTA1MTU5MzU5MTA2NjkxNTcKFDEwNzY5Mjk3NzY0NTgxODcyMTQ0ChQxMjg4MjcwMTc5NzY1MTEzNTA4NAoUMTE1ODQxMTM4MjU3MzE3NzAxOTkKFDE2MDUxODE5ODQxNjk4OTAyMDU0ChQxNzczODcwMTg0OTU2MzMyNTcyMgoTOTg5Njg4MTAxNDg2MTU2NzU0MgoUMTczMDIwNjc0MTU5NzA3MTkwMjQKEzMxNzk5ODgyNjkxMDM0ODEyODYKEzYzMzAzNDcwNTc1ODczNDU4ODgKEzIyODU0NzE1NDg4MDQ4OTU4OTkKFDE0MTUzMTA5MDMzNzQ3NzY5NTU3ChMxMTgwNzg1NzY4OTMxOTYxODEyChMzNjEwNjQ2NzY4NTIwNjI4NzA2ChMxODA2NDI2NTA4ODkwMzMyMTM1ChQxMDY2MzA3ODQ1MTQ4NzM3NTM0NQoRMTAwNTg2MDM4NTY5NjMwMzkKEzcxMjQ3NzkzMDE3OTU0NTk4MjkKEzY2MzkyNTg0MTY5NzExNDc3ODgaFQoTMTE4MDc4NTc2ODkzMTk2MTgxMloTMTE4MDc4NTc2ODkzMTk2MTgxMmq2DxIBMBgAIkUaMQAKKmhoeWN6c3VlZXpmYXJpYWJoaFVDVkxiemh4VlRpVExpVktlR1Y3V0VCZxICABIqEMIPDxoPPxOaAoIEJAGABCsqiwEQARp4gQADA_EB_gD4CwAP-Qj8Ag79-QEK_v4A7fgRBQcBAADu-wDz-AAAAAMJ-Pv3AAAA-QQBAP_-AAAEB_oI-QAAAAT4BQD-AAAADQsEAAj_AQH7BwgIA_8AABAEBxAAAAAA9vwU_P8AAAD4Cvn-AAAAAAD5_PgAAAAAIAAt7zLOOzgTQAlITlACKoQCEAAa8AF39AT-gdrn-jANAwBIAa0AoQ4f_zD_0QCPFPcBxfEYAOoe9QAYBrn_BQQIAMsPCwAT2cgA7gTiABDQ8_8NExkA-vQKAGvmAP87IPL_Gv4g_7P2Gv0H7goCHPb__vHi4gD-5Bn_LgbT_g0Q4QIR_kYBQhMdBPnh_gcHHP77tj3pCB3r2P0b2PD7DuEl_KD-Hwgf8MYC1QUL-No6BgQ2AQUJ_PrgAg8VywAa7Af-AhoB7-4o3QRF69b8Ch4TBSQJ8APgDP7y4Aj79yob8QcqGQYFCerw8PL99v4B7e8O6cQA7sEGEfEX9QgHIBX4_R_oCRggAC0B0wM7OBNACUhhUAIqcxAAGmASDgBT_V8D9xxDBfPQ5OoR3-fM6b7-__bH_wBd-wITGe--uRYAQ-UM7JoAAAAVEtclEwAff9Xd1RffECjMx-QvL2ruMDHFHEvgrjPqJeW0HCcwCk8AGRujUSjghDz7CwMgAC3ssA07OBNACUhvUAIqrwYQDBqgBgAAYEEAABTCAACmQgAAJMIAAIjBAACAQAAAaEIAAOBAAAAUwgAAoMEAAADAAAAMQgAA0MEAABBBAACIQQAA-MEAABxCAACwwQAAIEEAADDCAADwwQAA4MEAADjCAACCQgAAMEEAAMBAAABUwgAAcMEAAPhBAABEQgAAAMAAADxCAADgwQAAcMEAADzCAABgwQAAAMEAAJhBAAAsQgAALEIAAFDCAADgQAAAfMIAAKjBAACIQQAACMIAADDBAAAAwQAAqEIAADxCAABAwQAAgL8AALjBAADwQQAAKEIAAEDCAADOwgAAAEAAAIDBAAAsQgAAgEAAAKBBAADAwgAA-MEAAIDAAAA0wgAAwEEAAILCAAAowgAAIEEAACBCAAAgwQAAmMEAAEhCAAAQQQAAisIAABDCAABIwgAAIEIAAMDAAAA4wgAAVEIAAFTCAADwwQAAUEIAAKRCAAAowgAA6MEAAFRCAABgwQAAcMEAADBBAAAUQgAACMIAAKDAAADMwgAA0EEAAKjBAACIQgAALEIAAETCAADmQgAABEIAAFTCAACMwgAAgD8AABjCAAAUQgAACMIAANBCAABwQgAAyEEAAABBAABAQAAADEIAAIxCAAAAwQAAAMAAAAAAAACGwgAAwEAAALjBAACQQQAAIMIAADBCAAAcwgAAGMIAAITCAACYwQAAQMEAAGDBAACQwgAAQMEAADRCAABAQAAA6MEAAPBBAAAAwAAAAEAAAIzCAADYQQAAQMAAANhBAACgwAAAPEIAADRCAAD4wQAAEMEAANjBAAAwwQAAAEAAAMhBAACQQQAAaMIAADzCAAAwwQAAlsIAAEDBAADwwQAAmkIAADDCAACQQQAAUEEAAOjBAADIQQAATEIAAOBBAADYQQAAdEIAAATCAACgwgAAMEIAAPhBAABAQAAAKEIAAMBAAABcQgAAUMEAAExCAAAkQgAAaMIAAKrCAADAwQAA0EEAAOBAAABowgAAQMIAABxCAAD4wQAAAEEAAMDBAAAAQAAAgMEAAJhBAABAQAAAgEAAANDBAACAwQAAoMEAADDCIAA4E0AJSHVQASqPAhAAGoACAAC4vQAAUL0AAPg9AAA8PgAAoLwAAFC9AABkvgAAG78AANK-AAAUPgAAUD0AAAS-AACgvAAApj4AAAS-AACGvgAARD4AAJg9AABQPQAAoj4AAH8_AACAOwAA4DwAAMg9AABMvgAAEL0AAEC8AADIvQAAMD0AAMg9AAAMPgAAUD0AAFS-AACIvQAA6L0AAMg9AAAsPgAAJL4AAHS-AACivgAAPL4AAOC8AACAOwAAcL0AADS-AABwPQAAVD4AAHS-AAAMvgAAir4AAHA9AADYvQAAoj4AAKg9AAC-vgAAiL0AAEU_AADoPQAAcD0AACQ-AAAEvgAA4LwAAJg9AACYvSAAOBNACUh8UAEqjwIQARqAAgAAqL0AAAQ-AABQPQAAP78AABy-AAAUPgAAoLwAABw-AAAwvQAAvj4AAFA9AAAEvgAAoj4AAGy-AADIPQAAUL0AAEw-AAA7PwAABD4AAM4-AAAUvgAADD4AAJI-AAAEvgAA4LwAAJg9AAD4PQAAFD4AAES-AADgvAAA4LwAAEA8AADIPQAAfL4AAKC8AAA8vgAA-L0AAJ4-AAA0vgAAFD4AAHC9AAAUvgAA6L0AAHC9AACgvAAAoDwAAH-_AADgvAAApr4AAHw-AAAMPgAAQLwAAMg9AABEPgAAqD0AAIA7AACAuwAABD4AAKA8AABkvgAAHD4AAAQ-AAAUPgAAqL0gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=wdwQoo4f_sE","parent-reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["1180785768931961812"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"2305858007"},"3610646768520628706":{"videoId":"3610646768520628706","docid":"34-4-2-Z3DB3664726AE3B18","description":"Computer Science: Loop invariants? Helpful? Please contact me if anything is amiss at Roel D.OT VandePaar A.T gmail.com...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/2057498/31d83e834f76f0f6c0959301172cd5e2/564x318_1"},"target":"_self","position":"16","reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DbDtIXO3pHSY","linkTemplate":"/video/preview/3610646768520628706?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Computer Science: Loop invariants?","related_orig_text":"Loop Invariant","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Loop Invariant\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=bDtIXO3pHSY\",\"src\":\"serp\",\"rvb\":\"EqwDChQxMTcyNjA3ODUwNDYxNDQ5ODkyNQoUMTU0OTA1MTU5MzU5MTA2NjkxNTcKFDEwNzY5Mjk3NzY0NTgxODcyMTQ0ChQxMjg4MjcwMTc5NzY1MTEzNTA4NAoUMTE1ODQxMTM4MjU3MzE3NzAxOTkKFDE2MDUxODE5ODQxNjk4OTAyMDU0ChQxNzczODcwMTg0OTU2MzMyNTcyMgoTOTg5Njg4MTAxNDg2MTU2NzU0MgoUMTczMDIwNjc0MTU5NzA3MTkwMjQKEzMxNzk5ODgyNjkxMDM0ODEyODYKEzYzMzAzNDcwNTc1ODczNDU4ODgKEzIyODU0NzE1NDg4MDQ4OTU4OTkKFDE0MTUzMTA5MDMzNzQ3NzY5NTU3ChMxMTgwNzg1NzY4OTMxOTYxODEyChMzNjEwNjQ2NzY4NTIwNjI4NzA2ChMxODA2NDI2NTA4ODkwMzMyMTM1ChQxMDY2MzA3ODQ1MTQ4NzM3NTM0NQoRMTAwNTg2MDM4NTY5NjMwMzkKEzcxMjQ3NzkzMDE3OTU0NTk4MjkKEzY2MzkyNTg0MTY5NzExNDc3ODgaFQoTMzYxMDY0Njc2ODUyMDYyODcwNloTMzYxMDY0Njc2ODUyMDYyODcwNmqtDRIBMBgAIkMaMAAKKWhoYmprZGh0b2doaGlkZ2hoVUNQRi1vWWIyLXhONUZiQ1h5MDE2N0dnEgIAESoPwg8PGg8_E3GCBCQBgAQrKosBEAEaeIEEAP33_wEA7_7xCAID_wEGB_gA9___AO348PwFAAAAAfkA9_oBAAABDPr9BQAAAPYBAgcE_wAAA_v8AgQAAAAI__75_QAAAAoG9wj-AQAA9gQCCfcCAAEQBAcQAAAAAOUDBvv_AP8A_g7_7wEAAAAG9QD1AAAAACAALcxm1js4E0AJSE5QAipzEAAaYBgGABkVIe8FEh76_fb67goLA_UK_fkA_P4A-x_2BAYIIb0CBwAu5Az7zgAAABT54xkAAPo8E_j41vIOFPoIBvksfxUQ6_EaJ_y_FgP0BvYX8R0SHwAP_gseBOq_CvT8DyAALXYUgjs4E0AJSG9QAiqvBhAMGqAGAADoQQAAPEIAAAhCAADQQQAAsMEAAFBBAAAUQgAAcMEAALLCAAAwwgAAqEEAALBBAAAoQgAAHMIAAJJCAAAQwQAAkEEAADDCAADYQQAAwEAAALhBAADgwQAAmMEAACBBAABYQgAAYEEAAKTCAACAQQAAgkIAAABAAAAAwQAAgEAAADTCAACAQgAANMIAAKBBAAAAwQAA9EIAAKDAAACgwAAAkMEAAIhBAADYQQAAiMEAAIbCAACYQQAAIMEAAIDCAADAwAAAQMAAAATCAADAwAAAqMEAAKBBAABgQQAAoEIAAILCAABwwQAAGEIAAJBBAAAAAAAAFMIAAATCAABwwgAAEEEAADxCAAAAQgAAhEIAAGDCAABAQQAA6EEAAKRCAAAAQQAA6EEAAGjCAABMwgAAoMAAAGDBAAAoQgAAYMEAADDCAAAsQgAAJMIAAIRCAAB8wgAAiEEAABBCAABAQAAAuMEAADjCAABgwQAAgEAAABBBAACUwgAAMEEAAILCAABAQQAAiMEAAOBAAABwQQAAEMEAAADBAABIQgAAUMIAAIDBAABAwQAAEMIAAMxCAACgwAAAqMEAAGBBAAAwwgAAgMEAAGDBAABQQQAAEMEAAADBAACwwgAA6EEAAIDBAAA8wgAANMIAAJBBAABwwgAAIMEAAEBBAAAAQAAAFMIAAODBAABswgAAOEIAAKBBAAAAwgAAhkIAALDBAADwQQAAVEIAAODAAABowgAA4MIAAJhBAABwQgAAAMAAAPBBAACIQQAAEEEAABzCAABQQQAAuEEAAMDAAABQQQAA6MEAAIjBAAAkwgAAiMIAACBBAAAAQQAAgMIAACDCAADAQAAAoMEAAAAAAAAowgAAsEEAALjBAABwQQAAAAAAACBBAACAQAAA2EEAANTCAABwQQAAgMAAAOjBAACAwQAA0EEAAJLCAADYwQAAlEIAAJ5CAAAkwgAAMMEAAEDBAAAgwgAAqEIAAARCAACWwgAAeEIAALjBAACoQQAAoMAAAKjBAACgQQAAqEEAAFBBAADMQgAADMIAADTCAABswgAAAAAgADgTQAlIdVABKo8CEAAagAIAAPi9AABMvgAALD4AAKg9AAD4vQAAyD0AAJq-AADmvgAA7r4AADw-AABQvQAAFL4AAIC7AACaPgAA4LwAALa-AACWPgAAUL0AALo-AACePgAAfz8AAKA8AAB0PgAAVD4AAJi9AAAcvgAAEL0AAKA8AACAuwAABD4AAMg9AACovQAAQLwAAMi9AABwPQAAML0AAEQ-AADovQAAlr4AAFS-AACCvgAA2D0AAGw-AACKvgAAUL0AABQ-AAAMPgAAyL0AAIi9AABEvgAAmL0AAK6-AAA8PgAAiL0AABy-AABAvAAART8AAOA8AACIPQAAtj4AAKC8AAAsPgAA2D0AAFw-IAA4E0AJSHxQASqPAhABGoACAAAMvgAA-D0AABy-AAAXvwAABL4AANg9AADgPAAA-D0AABy-AADSPgAAQLwAAAy-AAC4PQAAyL0AACQ-AACovQAAHD4AACc_AAAcPgAA_j4AAPg9AABMPgAAHD4AAMi9AABAPAAA4DwAAJg9AAAcPgAAPL4AABA9AACgPAAAML0AAGQ-AAAwvQAAqD0AAIK-AACIPQAAZD4AADy-AAAcPgAADD4AAIA7AACoPQAAqL0AAEA8AACIPQAAf78AAFA9AABsvgAAFD4AAEC8AABAPAAAUD0AAI4-AAD4PQAAmD0AAIC7AAAQPQAAUD0AADC9AACYPQAAND4AANg9AADgPCAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=bDtIXO3pHSY","parent-reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["3610646768520628706"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"1806426508890332135":{"videoId":"1806426508890332135","docid":"34-2-11-Z9A048519F19D0E3F","description":"This is the first part of a lecture on proving the correctness of algorithms (and mathematical proofs as such). In this video we get to know loop invariant proofs by the example of linear search.","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/4578630/619ff2ac9f320ea8c2d5029a68e0e26c/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/hTXZ4AEAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"17","reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3D_maJ4Qy7Q0E","linkTemplate":"/video/preview/1806426508890332135?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Loop Invariant Proofs (proofs, part 1)","related_orig_text":"Loop Invariant","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Loop Invariant\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=_maJ4Qy7Q0E\",\"src\":\"serp\",\"rvb\":\"EqwDChQxMTcyNjA3ODUwNDYxNDQ5ODkyNQoUMTU0OTA1MTU5MzU5MTA2NjkxNTcKFDEwNzY5Mjk3NzY0NTgxODcyMTQ0ChQxMjg4MjcwMTc5NzY1MTEzNTA4NAoUMTE1ODQxMTM4MjU3MzE3NzAxOTkKFDE2MDUxODE5ODQxNjk4OTAyMDU0ChQxNzczODcwMTg0OTU2MzMyNTcyMgoTOTg5Njg4MTAxNDg2MTU2NzU0MgoUMTczMDIwNjc0MTU5NzA3MTkwMjQKEzMxNzk5ODgyNjkxMDM0ODEyODYKEzYzMzAzNDcwNTc1ODczNDU4ODgKEzIyODU0NzE1NDg4MDQ4OTU4OTkKFDE0MTUzMTA5MDMzNzQ3NzY5NTU3ChMxMTgwNzg1NzY4OTMxOTYxODEyChMzNjEwNjQ2NzY4NTIwNjI4NzA2ChMxODA2NDI2NTA4ODkwMzMyMTM1ChQxMDY2MzA3ODQ1MTQ4NzM3NTM0NQoRMTAwNTg2MDM4NTY5NjMwMzkKEzcxMjQ3NzkzMDE3OTU0NTk4MjkKEzY2MzkyNTg0MTY5NzExNDc3ODgaFQoTMTgwNjQyNjUwODg5MDMzMjEzNVoTMTgwNjQyNjUwODg5MDMzMjEzNWqHFxIBMBgAIkQaMAAKKWhoYWRwZ2hhbXN3cnJkb2hoVUN0ZDBRX2c5OE1tS3o0TVFOeW4xZ3l3EgIAESoQwg8PGg8_E6EPggQkAYAEKyqLARABGniB9vv7-_sFAPIH_QkABP4B_gf3_gj9_gD5_f4DBQL_APsA-P_8AAAA-gr7AwIAAADzA_4B-gAAABEFBAQEAAAABvr-__oAAAAFAf0G_wEAAPf6BQ0E_wAA-_0DBgAAAADxBAT9_v8AAP4PBQAAAAAAAOz29wEAAAAgAC1ZkeI7OBNACUhOUAIqhAIQABrwAWUL5QDl-RIB8gXhAOYk_gCBBQv_IP_hANn5_wDL-dYA-R70AeLfDgD7AA__3QoHAPDs8gAr5AUBDQf6_0cSEP8SFw4APtf4AS4A_QDl__j_9AkR_yIMJv8N5fkAIxvwARXnA_7bBM7_-QH5BRECFgAX_hcEBO4G_xIAGQH1EhgB9QnuAwsDBADq-BX9-jkTAgP__fz5FPj66wIECQj_4AH-_OsBMATnASYRDgTx6gX99hT6AAYI9vv9-xII6xcO_fzvEv4A9P4D_AQHACX5-ATu9xIE_N8CBA4D8Pvh8f33BewH998HCA_rFAsG8_j6_yAALW4nSDs4E0AJSGFQAirPBxAAGsAHrDgJv7oV3Ty_RQa8WsitPDPcQD2eYpW8Xh4hvZxT5jsq4rQ8K6uEPWmIbz0PCV-7l8eqvhPH7Du-EZ28Z2KaPk46m7wa71g8dXT8vS8Tmj0LAhC9T3iRvmcVTD2p5ou6JmeyPbMxBjvR05s8-tXcPTd-cjyroBY8kVZGPLSOqryUgB29K4jBvMMXHL1JW-a8wcGzPehRTDzD-to8dzHtPY8AKb12lhE85m0WvXIP0zwJh4O75Pf2vGMV5ztLavI8lMIcPuST37t6oxs9SMsXPewHhjx383m8D0LEump-4zpcilC8HHL9PIWtfj3XhPw3vFpuPbeLvDp25a87-aAHvvQamz0vgYA73WA4PimmXD3jGz46Jgx0vV1Guz1MLLo8s03gvIL_jDvqBYK7y8dkPUOXi7zesp476XYAPTBiBD0bB8U7pbwWPRfDj7vz-Me8VxgMvVcbCD1b5EO8seuLO3B6VbuyCsC8C7jnvXZQiTtbhJi8NhDBPbq7zr3A1Mc6ZJXSPa0LCT1GXWs8q2APPUBixbzi8Dg8QthfvIDfdTyd8ge8MzyRPBMGSr3deg28USKIPfDvPT3dyYy8MwPwvCncAb2WUIu8wz6bPROPNb0lJBI800SEPE_q7LuxAQk8s_4iPHN1Ub1XB4C8MelUvUA1-TwBgr078uQfvbg2t7tRyGe7ngntPV0bxTy7e226q8l4vNdzCjy5ka47RPO1PZYibzley_k6eSEdvVS3abyXzsE6WIX2u9JXmz2JCve3IdS7PLNnBb3dwa84NyUPPeu4gD0d1bs5oILNPHkYJLwZfvu4cdzzOyL8C70QL9s4zrj6vMaOAb0SaMa3nfY0vXStg7rqiH-5ylOWPJOHqjwSrwA6EZMLvVuIhDwQ_8o4ZUSYvHJTQz2tGTG38UWQPVKtTzyesr84SMV_vDOMi71U34c5na8DvY4IhLu_FiU5HqYgvFcy9Lta3xY4mLRSOz9wxb33LmA5zfIrvOMmmT3azh-4IgnxvFjfgjv26A648Z37O6CPDb2C44I4BpwlvIxq0b36U_c3rS8XPVtElDy_Bh25ZVPOvcLoqDz-Mug3PGrMvPKlZr369-W3nOWqOxYVsTzTVdu3P9advFhrbb2O_Mw364RhPSsY1bw8k_G4R8cXvPG50zxQT3S3VHaVPNa1rDxGHiQ3lfpovTh4rrtXZQ249nR6PeAP370_mZu3ipZXPRBY-T2NF0A4ru-TvTrjwD0eAum4XIllvWQz0TynvaA3KDWqvDPcIL0Vkkw2IAA4E0AJSG1QASpzEAAaYDz7ACoHONX3GCHn1NsAHQvy0eoN5BD_7vn_DEL6JPYa-ag0A_9quAwOoQAAAC3c3yjjAAh_9P7BBsAIBMa1DRTwcvQKCZIWReW_5ezu-rru7_ISSQAI959ZL-21_yb4ByAALTlVGDs4E0AJSG9QAiqvBhAMGqAGAABAwAAAUMEAAERCAAAAwgAAqEEAAJDBAAAAQgAAGMIAALbCAAAMQgAAsEEAANDBAAB8wgAAbMIAADxCAAAMwgAAcMEAACTCAADowQAAlMIAAOBAAAAgQQAA4EEAADRCAABUQgAAgMAAAIzCAACMwgAA8EIAAIZCAAAAQAAA4EEAAJjBAAAEQgAAksIAAKDAAADAwAAAwkIAAIC_AABwQQAAAAAAADRCAAAoQgAAkEEAAOBBAADIQQAAJMIAAAzCAAC2QgAAIMEAAGzCAAAMQgAAgEEAAABBAABgwQAAMMEAALzCAABAQgAAHMIAAJBBAADIQQAAiMEAADDCAABowgAAgMEAAFzCAACAQAAATMIAABDCAADgwAAAWEIAAJZCAAAcwgAANEIAAOBBAACcwgAAoMAAANDBAACcQgAAiMEAAFTCAABAwQAAQMAAAAhCAADAQQAAAEEAAOjBAABcQgAApEIAAHDCAACAQAAA-EEAAAxCAABQwgAAgD8AAFDCAACoQQAA0EEAADBCAABgwQAAosIAAHBCAABQQgAARMIAAIC_AABAQQAAUMEAAABCAADgwQAA2EEAAKhBAADQQQAAuEEAABjCAAA4QgAAmkIAAEDBAACowQAAEMEAAAzCAAA8wgAAHMIAAODBAADYwQAAfEIAAERCAACAwAAAoEAAAKDAAADgwQAAsMEAAIDBAACAwQAAQEEAAEBBAAAcwgAAAEEAAMDBAAAwwgAAgsIAALDBAACAwAAACEIAAODAAACQQQAAQMAAAK7CAADYQQAAAEIAAFTCAABEQgAAkEEAAMhBAADgQQAAIEEAACTCAACAQQAAhsIAACDBAADAQQAATMIAABBCAAAIwgAAgMAAAKjBAABAwAAAYMEAAIA_AAAwQQAAIMIAAPDBAACAQQAA4MAAAABAAADIQQAAFEIAAJJCAACwwQAAwkIAALBBAAAwQQAA6MEAAGDBAADYwQAApkIAAKjBAABQwgAAeEIAAHDBAAAEQgAAlsIAAJDBAAAwQQAAQEAAAPDBAACIQQAAJMIAAAAAAABgwgAAIMEgADgTQAlIdVABKo8CEAAagAIAAFC9AABsvgAANL4AAFC9AACYvQAAJD4AAAS-AADevgAAjr4AAPg9AABwvQAAqL0AAOC8AADgPAAAPL4AADy-AABEPgAAUD0AADw-AAAXPwAASz8AAOg9AABQvQAANL4AAEy-AACYvQAA2D0AAHA9AAAsvgAA6D0AAKY-AAA8vgAA4LwAAIA7AACAOwAAUL0AAOA8AAAQPQAAhr4AAKq-AACuvgAAmL0AABQ-AAABvwAAiD0AAHC9AADIPQAAPL4AALg9AAAkvgAAoLwAAKq-AABcPgAAqL0AAOi9AACYvQAAfz8AAFy-AABcPgAA6D0AAEC8AACAOwAAiD0AAIA7IAA4E0AJSHxQASqPAhABGoACAAA8vgAAmD0AANi9AAAZvwAA4LwAAIY-AAA8PgAA2D0AAHC9AACgPAAAyL0AAHy-AACYPQAARL4AAPg9AABAvAAAUD0AAB0_AAA0vgAAij4AANg9AADoPQAABD4AAMi9AACIPQAAUD0AABC9AAD4PQAAHL4AAFC9AAD4PQAA2D0AABy-AAAsvgAAUD0AADy-AABUPgAAdD4AAI6-AACgvAAAND4AAKi9AADoPQAAUD0AALg9AAAkvgAAf78AABC9AACovQAAtj4AACw-AADgPAAAgDsAABQ-AACWPgAAMD0AAHC9AAAsPgAAuL0AADA9AABUPgAAbD4AAGQ-AADovSAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=_maJ4Qy7Q0E","parent-reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1920,"cheight":1080,"cratio":1.77777,"dups":["1806426508890332135"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"587797132"},"10663078451487375345":{"videoId":"10663078451487375345","docid":"34-1-15-Z214DC0754F3B79C9","description":"Enjoy the videos and music you love, upload original content, and share it all with friends, family, and the world on YouTube.","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/775207/dc1d7e7f9d94699beb6e84cb346a40b3/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/SMKHDAEAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"18","reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DAUs9mvIHoLg","linkTemplate":"/video/preview/10663078451487375345?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Loop Invariant Tips","related_orig_text":"Loop Invariant","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Loop Invariant\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=AUs9mvIHoLg\",\"src\":\"serp\",\"rvb\":\"EqwDChQxMTcyNjA3ODUwNDYxNDQ5ODkyNQoUMTU0OTA1MTU5MzU5MTA2NjkxNTcKFDEwNzY5Mjk3NzY0NTgxODcyMTQ0ChQxMjg4MjcwMTc5NzY1MTEzNTA4NAoUMTE1ODQxMTM4MjU3MzE3NzAxOTkKFDE2MDUxODE5ODQxNjk4OTAyMDU0ChQxNzczODcwMTg0OTU2MzMyNTcyMgoTOTg5Njg4MTAxNDg2MTU2NzU0MgoUMTczMDIwNjc0MTU5NzA3MTkwMjQKEzMxNzk5ODgyNjkxMDM0ODEyODYKEzYzMzAzNDcwNTc1ODczNDU4ODgKEzIyODU0NzE1NDg4MDQ4OTU4OTkKFDE0MTUzMTA5MDMzNzQ3NzY5NTU3ChMxMTgwNzg1NzY4OTMxOTYxODEyChMzNjEwNjQ2NzY4NTIwNjI4NzA2ChMxODA2NDI2NTA4ODkwMzMyMTM1ChQxMDY2MzA3ODQ1MTQ4NzM3NTM0NQoRMTAwNTg2MDM4NTY5NjMwMzkKEzcxMjQ3NzkzMDE3OTU0NTk4MjkKEzY2MzkyNTg0MTY5NzExNDc3ODgaFgoUMTA2NjMwNzg0NTE0ODczNzUzNDVaFDEwNjYzMDc4NDUxNDg3Mzc1MzQ1arYPEgEwGAAiRRoxAAoqaGh5dHlyaGNwaW54b2ptY2hoVUNkSnlOQlpIejJFdHJHVVpHS1hNQkJnEgIAEioQwg8PGg8_E7MCggQkAYAEKyqLARABGniB_PAB_P0DAPYD9A33Bv4B_Qj4_fj-_QD2-vv9_gL_AAH5APf6AQAA-g_x_wMAAAD5_AP_A_4AABQD-wYEAAAAEvkC__cAAAAFAf0G_wEAAPYEAgn3AgABAwIIBwAAAADtDgn9_wD_AP4J_wMAAAAA--z-_wAAAAAgAC3Fw9w7OBNACUhOUAIqhAIQABrwAX_38f68CtoA2_bq_9U9HAKdMyj__DnNANMYFgCC5c__BP0HAMr6wf8V-Qj_1SL7AFLZ7P4A1vUAKNHu_hns3AL-2ywBO9bUACsdHv_eC_v-2igU_wPA-QHy1qsAHR3aAA_eEv772NsB6wO7AhPSGv_3ASoG9vAA_eb0Gv7l9fMCx9jG--0CDgLIzO35BA04_vi6GgEg-A37zwL9BukI-AXqAAf19C7oA_7e_gHCCPT7ANn3-SQj1QYgKgv6ydv4-wzlGwLWxgv24fYIAAnvEgTF_fj-DgITAC0aDwES6QkP-sr-_PT27_wCAv0A9OTv5SAALfVPBTs4E0AJSGFQAipzEAAaYP7vADQHSuz9DvLlxPfr-Oy10-A40vf_3bn_DyrpOvoP-LoFQABEzAbvmgAAADjfBkm-AAB_5uMi7MHeIaLw9z8hUxciBrjpGTHYA_UN1LI6Bz0CLwD9AcZCOdy7AwrRLCAALRfQGDs4E0AJSG9QAiqvBhAMGqAGAAAAwQAAmEEAABRCAACAwQAA8EEAAPBBAACSQgAAQEAAAADCAACowQAAAMAAAODBAACwwQAAUEEAAIBAAACAPwAABEIAAI7CAACwQQAAQMEAAIDBAAAswgAAlMIAAOBBAAAQwgAAAMEAAPjBAAAMwgAAgEIAABBCAADwwQAAoMAAAJbCAACwQQAAtMIAABDCAAAsQgAAeEIAAEDAAACkQgAAgEAAALDBAABAwQAAAMIAAMhBAAAEwgAA4MAAAKhBAAAEQgAAoEEAAHDCAADwwQAAlMIAAJhCAAAwQgAAUEIAALjCAACwwQAAPEIAAEDAAADAQAAA2MEAABjCAAA4wgAAYMEAAIrCAADQwQAAdMIAAKTCAACAwAAAqEEAADBCAADIwQAAoEEAAABBAAC4wQAAosIAAKDBAAAQwQAAqEEAABTCAABwQgAAgMEAAKhBAAAUQgAAeEIAAFDCAACgwgAAjEIAABRCAABcQgAAoEIAAEDAAACgwAAAmEEAAKjBAACAQQAAoMAAAPBBAADQQQAARMIAABhCAACCQgAASMIAAAzCAACAvwAAQMAAAARCAABAwgAAKEIAACRCAAA0QgAAiMEAAGDBAACwwQAAjEIAAADAAABkwgAAMMEAAADCAACwwQAAsMEAAABBAACWwgAAQMEAAJBBAACIwQAAHEIAAKjBAACAQQAAAEEAAIrCAABwQQAA4EAAAHDBAABQQgAALEIAANhBAAAwwQAA2MEAAAAAAACAQAAASEIAAKTCAADQQQAAcMEAABBBAAAAwQAAMEEAABBBAADwwQAAoEAAAMBCAAAwQQAAgEAAABDCAACYwQAAYMEAADDBAAD4wQAAgMIAAGBCAABAQQAAEMEAAERCAACAvwAAoEEAAOBCAAB4QgAAiMIAAKBBAADIQQAA6MEAAAzCAADgwAAAIEEAACDBAAAAQgAAPEIAADhCAACkwgAAmMIAAABAAADQwQAAREIAALBBAABIwgAAoMEAABRCAACgQAAAVEIAADDCAABAQQAAsMEAAEBAAAAoQgAAgMEAAKjBAAAAwAAAAMIgADgTQAlIdVABKo8CEAAagAIAAOA8AAB8vgAALD4AAJI-AAAEvgAAbD4AAK6-AAAHvwAAgr4AAEw-AAB0PgAAVL4AAAw-AADIPQAAhr4AAFS-AADKPgAA2D0AAHw-AACmPgAAfz8AAPg9AADIvQAAqj4AABC9AABMvgAAoLwAAOA8AAAEPgAAcL0AAOg9AABcvgAARL4AADA9AAAQvQAAML0AANg9AABMvgAAfL4AAJK-AAA8vgAAyL0AABA9AABkvgAAmL0AAIA7AADgvAAAiL0AAKA8AADIvQAA-D0AANi9AAAMPgAAED0AAJ6-AACYvQAAZz8AAKi9AABwPQAAbD4AAOC8AABAPAAAcD0AAOC8IAA4E0AJSHxQASqPAhABGoACAABsvgAAHD4AAIg9AAApvwAAUD0AADQ-AAAcPgAAdD4AAIg9AADIPQAAED0AACS-AAA0PgAA4LwAADA9AADgvAAA4LwAAE0_AABMvgAAND4AAOC8AAD4vQAAkj4AADy-AABAPAAAMD0AAKi9AADoPQAAFD4AAEC8AACgvAAAQDwAAOC8AAAUvgAABD4AAHS-AACAOwAAQDwAAKC8AADYPQAAfD4AAJa-AAAwPQAAEL0AADy-AACgvAAAf78AAKg9AAAMvgAAqj4AAOg9AAAkPgAALD4AADQ-AABUPgAAgDsAAFC9AADgvAAAiD0AAAy-AAAMPgAAmL0AADA9AACIvSAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=AUs9mvIHoLg","parent-reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1152,"cheight":720,"cratio":1.6,"dups":["10663078451487375345"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"1942947747"},"10058603856963039":{"videoId":"10058603856963039","docid":"34-11-9-Z671E092F73291E85","description":"A video from a course taught at CMU. One of the best examples to learn how to find a loop invariant.","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/4504605/a81e905ddf6551b9f755c266ba3301d1/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/TBDt0gAAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"19","reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3D7_kiWYYLngQ","linkTemplate":"/video/preview/10058603856963039?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Loop Invariants - Principles of Imperative Computation (Carnegie Mellon University)","related_orig_text":"Loop Invariant","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Loop Invariant\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=7_kiWYYLngQ\",\"src\":\"serp\",\"rvb\":\"EqwDChQxMTcyNjA3ODUwNDYxNDQ5ODkyNQoUMTU0OTA1MTU5MzU5MTA2NjkxNTcKFDEwNzY5Mjk3NzY0NTgxODcyMTQ0ChQxMjg4MjcwMTc5NzY1MTEzNTA4NAoUMTE1ODQxMTM4MjU3MzE3NzAxOTkKFDE2MDUxODE5ODQxNjk4OTAyMDU0ChQxNzczODcwMTg0OTU2MzMyNTcyMgoTOTg5Njg4MTAxNDg2MTU2NzU0MgoUMTczMDIwNjc0MTU5NzA3MTkwMjQKEzMxNzk5ODgyNjkxMDM0ODEyODYKEzYzMzAzNDcwNTc1ODczNDU4ODgKEzIyODU0NzE1NDg4MDQ4OTU4OTkKFDE0MTUzMTA5MDMzNzQ3NzY5NTU3ChMxMTgwNzg1NzY4OTMxOTYxODEyChMzNjEwNjQ2NzY4NTIwNjI4NzA2ChMxODA2NDI2NTA4ODkwMzMyMTM1ChQxMDY2MzA3ODQ1MTQ4NzM3NTM0NQoRMTAwNTg2MDM4NTY5NjMwMzkKEzcxMjQ3NzkzMDE3OTU0NTk4MjkKEzY2MzkyNTg0MTY5NzExNDc3ODgaEwoRMTAwNTg2MDM4NTY5NjMwMzlaETEwMDU4NjAzODU2OTYzMDM5arYPEgEwGAAiRRoxAAoqaGhuZ25zbmV3aWlvbGhyYmhoVUMwS2k3VFdYY3FMVGNRd3RqcWpJSm9BEgIAEioQwg8PGg8_E4oFggQkAYAEKyqLARABGniBBfAH-AEAAPwF_AYBB_0C_Qn3_Pf9_QDyAQYJAwL_AAX_-uv8AAAACAoKBPsAAAD1AAj2Av8AABT58_QDAAAAFPkK_QEAAAAGGwUG_gEAAPYEAgn2AgABFwX-BgAAAADx_wgF-_8AAAwQ_wIBAAAAA_j-AwAAAAAgAC3WhdI7OBNACUhOUAIqhAIQABrwAXcHCAHv_vYA3RDgALYXAQCBIgr-EBXUAK_7GgG898oA4g0CAN8H-wD4CiUAuSf5_zDY0__8-OsAN978ABTz8gDyAxYAILobAEoVDwHx8-z-4gE5_gjc_P8Y6gsA7xf7_f8KGf3x7df-_fnW_SL8LAEGICoJKvwjAfDaAAHo-wH79_vgAA4EBQD75Qr-1e0cAgPe1gDw-uf70S_iAyTi-fnd1wX6-zjm-inwBQffD_j25AP_BAvl6gIAKQUB6xf29QjuBP_3Bf3t_A78ARrU8gTp6fkBBAHzDBny5_gT6Qj56O4KANkl_QQC8AkUB_0E7CAALf8hHTs4E0AJSGFQAipzEAAaYCT3AEUAONweFjPx4enzAyrRDdlM2g7_EM7_DyP5-xQL2qLq_wA00yzhogAAACfu2BO6AB1__M7zCNj7Db7WEjIdVAcyTpL0K__B6g0yD-Mc8yj5aADqCq0aLvXGKOHkFiAALaD5HDs4E0AJSG9QAiqvBhAMGqAGAACAvwAA2EEAAEDAAABMwgAAKEIAAHBBAAAIQgAAgMEAAGDCAACIwQAAIEEAAKjCAAAUwgAADMIAAJZCAACQQQAA4MAAADDCAAAQwgAAcMEAAEDAAACwwQAACEIAAIjBAAD4QQAAwMEAAMLCAABMwgAAdEIAAMhBAADwwQAAaEIAACDCAAAAQQAAxsIAAIBAAAAcQgAA_kIAAFTCAACowQAAAEAAAGBCAACQQQAA6EEAAIBBAAAgQQAAEMIAANDBAADAQQAAQMAAANTCAACgQQAA4MEAAFBBAAAsQgAAcEEAAADDAADQQQAAuMEAAIBAAABAwQAAQMIAAADBAACYwgAAAEAAAFDCAABQwQAAMMEAADjCAAAAQQAAAEIAAChCAADgQAAAgMAAAFTCAAB4wgAAAMEAAAjCAADoQQAAQEEAACjCAACgQQAAAEEAAARCAABcwgAAgMAAAJZCAADwQQAA2EEAAFjCAACAQAAAcEIAABRCAACcwgAAgEAAADjCAACowQAAwEAAAOhBAAAMQgAAoMEAABxCAACMQgAARMIAAKBBAADgQAAAUMIAAPhBAABQwQAAcMEAANBBAACYwQAAEMEAAFTCAADQQQAAeEIAAAAAAACMwgAAQEEAAAjCAAAAQAAAJMIAAODAAAAYwgAAgEAAAIA_AADowQAA-MEAAKDAAAAIwgAAAMEAAADBAAAgwgAA8EEAACBBAADYwQAAgL8AAIDBAAA0wgAAtsIAAIhBAAA0QgAACEIAAGBBAAAcQgAAOEIAADTCAAAAAAAAGEIAAOhBAAAAwAAAoEAAADBBAAAgwQAANMIAANhBAABgwQAAGMIAAGzCAAAIQgAAmMEAAABAAABYwgAAQMAAAFDCAABgQgAAoEEAAI5CAABQQQAAgEEAAMDBAABAQAAAwMAAADjCAADQwQAAqMEAAFBBAABQwQAASEIAAMBBAACIwQAAcMIAAMDAAABkQgAA0kIAAMBAAABMwgAAIEIAACDBAABwwQAAgD8AAFDCAABgQQAAQMEAAOjBAACMQgAACMIAACTCAAD4wQAAUMEgADgTQAlIdVABKo8CEAAagAIAAIC7AAAEvgAADD4AALg9AACAOwAAyD0AAKK-AAAHvwAAkr4AAFw-AACIPQAAQDwAAHA9AABEPgAA-L0AACS-AABUPgAAUD0AALg9AACOPgAAfz8AANg9AADIvQAALD4AAJi9AACovQAAUL0AAGS-AAAUPgAABD4AAOA8AACIvQAABL4AAIi9AACgPAAAqD0AADA9AAAwvQAAHL4AAJK-AAAkvgAAmL0AAOi9AACYvQAAVL4AABC9AAAkPgAAcL0AAJi9AACSvgAA6D0AABy-AACWPgAA4DwAAKq-AAAwvQAAIz8AAKC8AACAuwAAXD4AAEA8AAAQvQAAuD0AADC9IAA4E0AJSHxQASqPAhABGoACAAD4vQAAcD0AAIg9AAAzvwAA-L0AAEA8AABQvQAAZD4AAIK-AACWPgAAoLwAAGy-AADgvAAAFL4AAEA8AAAwvQAADD4AAD8_AADoPQAATD4AAIA7AAAQPQAAuD0AABy-AAAQvQAADD4AAKC8AADgPAAA-D0AABw-AABQvQAAQDwAABA9AAB0vgAAML0AAEC8AAAQvQAALD4AADC9AABAPAAAPD4AABC9AADgvAAA4LwAAAy-AAA0PgAAf78AAJi9AAAEvgAAJD4AAAQ-AACIvQAAfD4AAKg9AACoPQAAEL0AAOA8AACoPQAAqL0AAEy-AAC4PQAAED0AADC9AAC4vSAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=7_kiWYYLngQ","parent-reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":574,"cheight":360,"cratio":1.59444,"dups":["10058603856963039"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"340340781"}},"dups":{"11726078504614498925":{"videoId":"11726078504614498925","title":"\u0007[Loop\u0007] \u0007[invariants\u0007]","cleanTitle":"Loop invariants","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=ZkLxdz7cOn0","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/ZkLxdz7cOn0?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":"d3d3LnlvdXR1YmUuY29tO1VDMVdvdDh0TzAtMFRaWlp4VmhxLXpjZw==","name":"Oresoft LWC","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Oresoft+LWC","origUrl":"http://www.youtube.com/@MentorsnetOrg","a11yText":"Oresoft LWC. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":1010,"text":"16:50","a11yText":"Süre 16 dakika 50 saniye","shortText":"16 dk."},"views":{"text":"25,4bin","a11yText":"25,4 bin izleme"},"date":"16 şub 2011","modifyTime":1297814400000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/ZkLxdz7cOn0?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=ZkLxdz7cOn0","reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","duration":1010},"parentClipId":"11726078504614498925","href":"/preview/11726078504614498925?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant","rawHref":"/video/preview/11726078504614498925?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"15490515935910669157":{"videoId":"15490515935910669157","title":"What is a \u0007[Loop\u0007] \u0007[Invariant\u0007]?","cleanTitle":"What is a Loop Invariant?","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=IZ7fyyAsOZc","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/IZ7fyyAsOZc?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":"d3d3LnlvdXR1YmUuY29tO1VDNS1vQmpSWHVhdi1RbnFjNGprZENYZw==","name":"Juan Puebla","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Juan+Puebla","origUrl":"http://www.youtube.com/@juanpuebla3153","a11yText":"Juan Puebla. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":186,"text":"3:06","a11yText":"Süre 3 dakika 6 saniye","shortText":"3 dk."},"views":{"text":"62,7bin","a11yText":"62,7 bin izleme"},"date":"4 ara 2021","modifyTime":1638576000000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/IZ7fyyAsOZc?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=IZ7fyyAsOZc","reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","duration":186},"parentClipId":"15490515935910669157","href":"/preview/15490515935910669157?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant","rawHref":"/video/preview/15490515935910669157?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"10769297764581872144":{"videoId":"10769297764581872144","title":"\u0007[Loop\u0007]-\u0007[invariant\u0007] code motion with unsafe operations (2 Solutions!!)","cleanTitle":"Loop-invariant code motion with unsafe operations (2 Solutions!!)","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=34QbJfNomvg","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/34QbJfNomvg?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":"d3d3LnlvdXR1YmUuY29tO1VDUEYtb1liMi14TjVGYkNYeTAxNjdHZw==","name":"Roel Van de Paar","isVerified":true,"subscribersCount":0,"url":"/video/search?text=Roel+Van+de+Paar","origUrl":"http://www.youtube.com/@RoelVandePaar","a11yText":"Roel Van de Paar. Kanal onaylı"},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":177,"text":"2:57","a11yText":"Süre 2 dakika 57 saniye","shortText":"2 dk."},"date":"5 şub 2021","modifyTime":1612483200000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/34QbJfNomvg?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=34QbJfNomvg","reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","duration":177},"parentClipId":"10769297764581872144","href":"/preview/10769297764581872144?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant","rawHref":"/video/preview/10769297764581872144?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"12882701797651135084":{"videoId":"12882701797651135084","title":"What Are \u0007[Loop\u0007] \u0007[Invariants\u0007] For Precise \u0007[Loop\u0007] Control? - Learn To Troubleshoot","cleanTitle":"What Are Loop Invariants For Precise Loop Control? - Learn To Troubleshoot","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=GSXZ7g2Scus","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/GSXZ7g2Scus?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":"d3d3LnlvdXR1YmUuY29tO1VDU1BSV1V0eXlIT0kwSW5kQlR6a2hGUQ==","name":"Learn To Troubleshoot","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Learn+To+Troubleshoot","origUrl":"http://www.youtube.com/@LearnToTroubleshoot","a11yText":"Learn To Troubleshoot. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":147,"text":"2:27","a11yText":"Süre 2 dakika 27 saniye","shortText":"2 dk."},"date":"13 eyl 2025","modifyTime":1757721600000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/GSXZ7g2Scus?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=GSXZ7g2Scus","reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","duration":147},"parentClipId":"12882701797651135084","href":"/preview/12882701797651135084?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant","rawHref":"/video/preview/12882701797651135084?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"11584113825731770199":{"videoId":"11584113825731770199","title":"\u0007[Loop\u0007] \u0007[Invariants\u0007] // Key Coding Interview Concept","cleanTitle":"Loop Invariants // Key Coding Interview Concept","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=95bFFw7m-c4","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/95bFFw7m-c4?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":"d3d3LnlvdXR1YmUuY29tO1VDR0RfMGk2TDQ4aHVjVGlpeWhiNVF6UQ==","name":"basarat","isVerified":true,"subscribersCount":0,"url":"/video/search?text=basarat","origUrl":"http://www.youtube.com/@basarat","a11yText":"basarat. Kanal onaylı"},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":176,"text":"2:56","a11yText":"Süre 2 dakika 56 saniye","shortText":"2 dk."},"views":{"text":"5,7bin","a11yText":"5,7 bin izleme"},"date":"4 kas 2021","modifyTime":1635977889000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/95bFFw7m-c4?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=95bFFw7m-c4","reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","duration":176},"parentClipId":"11584113825731770199","href":"/preview/11584113825731770199?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant","rawHref":"/video/preview/11584113825731770199?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"16051819841698902054":{"videoId":"16051819841698902054","title":"Introduction to \u0007[Loop\u0007] \u0007[Invariants\u0007]","cleanTitle":"Introduction to Loop Invariants","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=8WGFcgI_PXY","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/8WGFcgI_PXY?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":"d3d3LnlvdXR1YmUuY29tO1VDdy1paWJnQ1kya1oyeU1HZ3JFbFlkZw==","name":"Nick Weinhold","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Nick+Weinhold","origUrl":"http://www.youtube.com/@NickWeinhold","a11yText":"Nick Weinhold. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":453,"text":"7:33","a11yText":"Süre 7 dakika 33 saniye","shortText":"7 dk."},"views":{"text":"1,1bin","a11yText":"1,1 bin izleme"},"date":"4 eki 2022","modifyTime":1664841600000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/8WGFcgI_PXY?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=8WGFcgI_PXY","reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","duration":453},"parentClipId":"16051819841698902054","href":"/preview/16051819841698902054?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant","rawHref":"/video/preview/16051819841698902054?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"17738701849563325722":{"videoId":"17738701849563325722","title":"\u0007[Loop\u0007] \u0007[Invariant\u0007] & Iterative Algorithm Design Issues | DAA 2019 | Anuj Barve | SPPU","cleanTitle":"Loop Invariant & Iterative Algorithm Design Issues | DAA 2019 | Anuj Barve | SPPU","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=kSh53P6Oc2g","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/kSh53P6Oc2g?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":"d3d3LnlvdXR1YmUuY29tO1VDQ0dEaUhPd1h6T1NNdThBT2o2MEQydw==","name":"Anuj Barve","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Anuj+Barve","origUrl":"http://www.youtube.com/@anujbarve","a11yText":"Anuj Barve. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":415,"text":"6:55","a11yText":"Süre 6 dakika 55 saniye","shortText":"6 dk."},"views":{"text":"1,5bin","a11yText":"1,5 bin izleme"},"date":"31 tem 2025","modifyTime":1753920000000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/kSh53P6Oc2g?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=kSh53P6Oc2g","reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","duration":415},"parentClipId":"17738701849563325722","href":"/preview/17738701849563325722?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant","rawHref":"/video/preview/17738701849563325722?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"9896881014861567542":{"videoId":"9896881014861567542","title":"\u0007[Loop\u0007] Optimization in Compiler Design | \u0007[Loop\u0007] \u0007[Invariant\u0007] Computations | Scope Strength Redu...","cleanTitle":"Loop Optimization in Compiler Design | Loop Invariant Computations | Scope Strength Reduction","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=bix8eZ3v9L0","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/bix8eZ3v9L0?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":"d3d3LnlvdXR1YmUuY29tO1VDRHdsMkVQMkRraGtXNmpJaWFfaEJpQQ==","name":"CSE concepts with Parinita","isVerified":false,"subscribersCount":0,"url":"/video/search?text=CSE+concepts+with+Parinita","origUrl":"http://www.youtube.com/@CSEconceptswithParinita","a11yText":"CSE concepts with Parinita. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":544,"text":"9:04","a11yText":"Süre 9 dakika 4 saniye","shortText":"9 dk."},"views":{"text":"6,5bin","a11yText":"6,5 bin izleme"},"date":"12 kas 2020","modifyTime":1605158131000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/bix8eZ3v9L0?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=bix8eZ3v9L0","reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","duration":544},"parentClipId":"9896881014861567542","href":"/preview/9896881014861567542?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant","rawHref":"/video/preview/9896881014861567542?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"17302067415970719024":{"videoId":"17302067415970719024","title":"\u0007[Loop\u0007] \u0007[invariant\u0007] for a division algorithm","cleanTitle":"Loop invariant for a division algorithm","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=GG35MINMhK0","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/GG35MINMhK0?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":"d3d3LnlvdXR1YmUuY29tO1VDUEYtb1liMi14TjVGYkNYeTAxNjdHZw==","isVerified":false,"subscribersCount":0,"url":"/video/search?text=%D0%A0%D0%BE%D1%8D%D0%BB%D1%8C+%D0%92%D0%B0%D0%BD+%D0%B4%D0%B5+%D0%9F%D0%B0%D0%B0%D1%80+%28%D0%A2%D0%B5%D1%85%D0%BD%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B0%D1%8F+%D0%BF%D0%BE%D0%BC%D0%BE%D1%89%D1%8C+%D0%A0%D0%BE%D1%8D%D0%BB%D1%8F%29","origUrl":"http://www.youtube.com/@RoelVandePaar","a11yText":""},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":92,"text":"1:32","a11yText":"Süre 1 dakika 32 saniye","shortText":"1 dk."},"date":"1 mar 2021","modifyTime":1614556800000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/GG35MINMhK0?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=GG35MINMhK0","reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","duration":92},"parentClipId":"17302067415970719024","href":"/preview/17302067415970719024?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant","rawHref":"/video/preview/17302067415970719024?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"3179988269103481286":{"videoId":"3179988269103481286","title":"Members - \u0007[Loop\u0007] \u0007[Invariants\u0007] // Key Coding Interview Concept","cleanTitle":"Members - Loop Invariants // Key Coding Interview Concept","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=MRPmj85ExJM","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/MRPmj85ExJM?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":"d3d3LnlvdXR1YmUuY29tO1VDR0RfMGk2TDQ4aHVjVGlpeWhiNVF6UQ==","name":"basarat","isVerified":true,"subscribersCount":0,"url":"/video/search?text=basarat","origUrl":"http://www.youtube.com/@basarat","a11yText":"basarat. Kanal onaylı"},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":166,"text":"2:46","a11yText":"Süre 2 dakika 46 saniye","shortText":"2 dk."},"date":"10 kas 2022","modifyTime":1668038400000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/MRPmj85ExJM?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=MRPmj85ExJM","reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","duration":166},"parentClipId":"3179988269103481286","href":"/preview/3179988269103481286?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant","rawHref":"/video/preview/3179988269103481286?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"6330347057587345888":{"videoId":"6330347057587345888","title":"Minimum Algorithm - \u0007[Loop\u0007] \u0007[Invariant\u0007] - Proof of Correctness - Discrete Math for Computer Scien...","cleanTitle":"Minimum Algorithm - Loop Invariant - Proof of Correctness - Discrete Math for Computer Science","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=ndFArXAsPsc","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/ndFArXAsPsc?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":"d3d3LnlvdXR1YmUuY29tO1VDejlqSk9CcGx6QkczWm9TM29JdFBNUQ==","name":"Chris Marriott - Computer Science","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Chris+Marriott+-+Computer+Science","origUrl":"http://www.youtube.com/@chrismarriott-CS","a11yText":"Chris Marriott - Computer Science. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":3701,"text":"1:01:41","a11yText":"Süre 1 saat 1 dakika 41 saniye","shortText":"1 sa. 1 dk."},"views":{"text":"4,2bin","a11yText":"4,2 bin izleme"},"date":"25 ağu 2020","modifyTime":1598313600000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/ndFArXAsPsc?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=ndFArXAsPsc","reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","duration":3701},"parentClipId":"6330347057587345888","href":"/preview/6330347057587345888?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant","rawHref":"/video/preview/6330347057587345888?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"2285471548804895899":{"videoId":"2285471548804895899","title":"\u0007[Loop\u0007] \u0007[invariants\u0007]","cleanTitle":"Loop invariants","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=spcfzbisBv4","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/spcfzbisBv4?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":"d3d3LnlvdXR1YmUuY29tO1VDUDJlTEVxbDR0Uk9ZbUlZbTVtQTI3QQ==","name":"Verification Corner","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Verification+Corner","origUrl":"http://www.youtube.com/@verificationcorner5698","a11yText":"Verification Corner. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":1305,"text":"21:45","a11yText":"Süre 21 dakika 45 saniye","shortText":"21 dk."},"views":{"text":"37,2bin","a11yText":"37,2 bin izleme"},"date":"11 mayıs 2013","modifyTime":1368230400000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/spcfzbisBv4?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=spcfzbisBv4","reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","duration":1305},"parentClipId":"2285471548804895899","href":"/preview/2285471548804895899?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant","rawHref":"/video/preview/2285471548804895899?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"14153109033747769557":{"videoId":"14153109033747769557","title":"Finding \u0007[loop\u0007] \u0007[invariant\u0007] of Lowest common multiple function","cleanTitle":"Finding loop invariant of Lowest common multiple function","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=B_MHNb21QsU","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/B_MHNb21QsU?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":"d3d3LnlvdXR1YmUuY29tO1VDUEYtb1liMi14TjVGYkNYeTAxNjdHZw==","name":"Roel Van de Paar","isVerified":true,"subscribersCount":0,"url":"/video/search?text=Roel+Van+de+Paar","origUrl":"http://www.youtube.com/@RoelVandePaar","a11yText":"Roel Van de Paar. Kanal onaylı"},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":98,"text":"1:38","a11yText":"Süre 1 dakika 38 saniye","shortText":"1 dk."},"date":"25 oca 2021","modifyTime":1611532800000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/B_MHNb21QsU?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=B_MHNb21QsU","reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","duration":98},"parentClipId":"14153109033747769557","href":"/preview/14153109033747769557?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant","rawHref":"/video/preview/14153109033747769557?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"1180785768931961812":{"videoId":"1180785768931961812","title":"Removal of \u0007[Loop\u0007] \u0007[Invariant\u0007] Computation","cleanTitle":"Removal of Loop Invariant Computation","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=wdwQoo4f_sE","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/wdwQoo4f_sE?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":"d3d3LnlvdXR1YmUuY29tO1VDVkxiemh4VlRpVExpVktlR1Y3V0VCZw==","name":"TutorialsPoint","isVerified":true,"subscribersCount":0,"url":"/video/search?text=TutorialsPoint","origUrl":"http://www.youtube.com/channel/UCVLbzhxVTiTLiVKeGV7WEBg","a11yText":"TutorialsPoint. Kanal onaylı"},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":282,"text":"4:42","a11yText":"Süre 4 dakika 42 saniye","shortText":"4 dk."},"views":{"text":"17,5bin","a11yText":"17,5 bin izleme"},"date":"18 oca 2018","modifyTime":1516233600000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/wdwQoo4f_sE?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=wdwQoo4f_sE","reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","duration":282},"parentClipId":"1180785768931961812","href":"/preview/1180785768931961812?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant","rawHref":"/video/preview/1180785768931961812?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"3610646768520628706":{"videoId":"3610646768520628706","title":"Computer Science: \u0007[Loop\u0007] \u0007[invariants\u0007]?","cleanTitle":"Computer Science: Loop invariants?","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=bDtIXO3pHSY","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/bDtIXO3pHSY?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":"d3d3LnlvdXR1YmUuY29tO1VDUEYtb1liMi14TjVGYkNYeTAxNjdHZw==","name":"Roel Van de Paar","isVerified":true,"subscribersCount":0,"url":"/video/search?text=Roel+Van+de+Paar","origUrl":"http://www.youtube.com/@RoelVandePaar","a11yText":"Roel Van de Paar. Kanal onaylı"},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":113,"text":"1:53","a11yText":"Süre 1 dakika 53 saniye","shortText":"1 dk."},"date":"27 şub 2021","modifyTime":1614384000000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/bDtIXO3pHSY?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=bDtIXO3pHSY","reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","duration":113},"parentClipId":"3610646768520628706","href":"/preview/3610646768520628706?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant","rawHref":"/video/preview/3610646768520628706?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"1806426508890332135":{"videoId":"1806426508890332135","title":"\u0007[Loop\u0007] \u0007[Invariant\u0007] Proofs (proofs, part 1)","cleanTitle":"Loop Invariant Proofs (proofs, part 1)","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=_maJ4Qy7Q0E","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/_maJ4Qy7Q0E?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":"d3d3LnlvdXR1YmUuY29tO1VDdGQwUV9nOThNbUt6NE1RTnluMWd5dw==","name":"Algorithms Lab","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Algorithms+Lab","origUrl":"http://www.youtube.com/@algorithmslab","a11yText":"Algorithms Lab. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":1953,"text":"32:33","a11yText":"Süre 32 dakika 33 saniye","shortText":"32 dk."},"views":{"text":"70,2bin","a11yText":"70,2 bin izleme"},"date":"8 şub 2021","modifyTime":1612742400000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/_maJ4Qy7Q0E?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=_maJ4Qy7Q0E","reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","duration":1953},"parentClipId":"1806426508890332135","href":"/preview/1806426508890332135?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant","rawHref":"/video/preview/1806426508890332135?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"10663078451487375345":{"videoId":"10663078451487375345","title":"\u0007[Loop\u0007] \u0007[Invariant\u0007] Tips","cleanTitle":"Loop Invariant Tips","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=AUs9mvIHoLg","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/AUs9mvIHoLg?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":"d3d3LnlvdXR1YmUuY29tO1VDZEp5TkJaSHoyRXRyR1VaR0tYTUJCZw==","name":"CSC236","isVerified":false,"subscribersCount":0,"url":"/video/search?text=CSC236","origUrl":"http://www.youtube.com/@csc2367","a11yText":"CSC236. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":307,"text":"5:07","a11yText":"Süre 5 dakika 7 saniye","shortText":"5 dk."},"views":{"text":"100,6bin","a11yText":"100,6 bin izleme"},"date":"17 mar 2014","modifyTime":1395014400000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/AUs9mvIHoLg?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=AUs9mvIHoLg","reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","duration":307},"parentClipId":"10663078451487375345","href":"/preview/10663078451487375345?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant","rawHref":"/video/preview/10663078451487375345?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"10058603856963039":{"videoId":"10058603856963039","title":"\u0007[Loop\u0007] \u0007[Invariants\u0007] - Principles of Imperative Computation (Carnegie Mellon University)","cleanTitle":"Loop Invariants - Principles of Imperative Computation (Carnegie Mellon University)","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=7_kiWYYLngQ","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/7_kiWYYLngQ?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":"d3d3LnlvdXR1YmUuY29tO1VDMEtpN1RXWGNxTFRjUXd0anFqSUpvQQ==","name":"Andy Guna","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Andy+Guna","origUrl":"http://www.youtube.com/@andyguna","a11yText":"Andy Guna. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":650,"text":"10:50","a11yText":"Süre 10 dakika 50 saniye","shortText":"10 dk."},"views":{"text":"59,5bin","a11yText":"59,5 bin izleme"},"date":"5 eyl 2011","modifyTime":1315180800000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/7_kiWYYLngQ?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=7_kiWYYLngQ","reqid":"1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL","duration":650},"parentClipId":"10058603856963039","href":"/preview/10058603856963039?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant","rawHref":"/video/preview/10058603856963039?parent-reqid=1769803714258136-894614321589938684-balancer-l7leveler-kubr-yp-sas-239-BAL&text=Loop+Invariant","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":"8946143215899386847239","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":"Loop Invariant","queryUriEscaped":"Loop%20Invariant","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"}}}