{"pages":{"search":{"query":"MetaMaths","originalQuery":"MetaMaths","serpid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","parentReqid":"","serpItems":[{"id":"5031770124144320608-0-0","type":"videoSnippet","props":{"videoId":"5031770124144320608"},"curPage":0},{"id":"11800145844717134780-0-1","type":"videoSnippet","props":{"videoId":"11800145844717134780"},"curPage":0},{"id":"11189412939079670241-0-2","type":"videoSnippet","props":{"videoId":"11189412939079670241"},"curPage":0},{"id":"13011987300253936699-0-3","type":"videoSnippet","props":{"videoId":"13011987300253936699"},"curPage":0},{"id":"R-I-113683-5-0-4","type":"direct","props":{"advRsyaActivateParams":{"pcodeParams":{"blockId":"","renderTo":"","pageNumber":4,"grab":"dE1ldGFNYXRocwo=","statId":4,"darkTheme":false,"lazyLoad":false,"extParams":{"reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","ui":"desktop","yuid":"9860225971769855544"}}},"isAdult":false,"position":4,"placement":"empty"},"curPage":0},{"id":"17830730295827755542-0-5","type":"videoSnippet","props":{"videoId":"17830730295827755542"},"curPage":0},{"id":"1368763889593742846-0-6","type":"videoSnippet","props":{"videoId":"1368763889593742846"},"curPage":0},{"id":"15603429398188425753-0-7","type":"videoSnippet","props":{"videoId":"15603429398188425753"},"curPage":0},{"id":"7706352550269406558-0-8","type":"videoSnippet","props":{"videoId":"7706352550269406558"},"curPage":0},{"id":"1502601348600045276-0-9","type":"videoSnippet","props":{"videoId":"1502601348600045276"},"curPage":0},{"id":"11694175113915992535-0-10","type":"videoSnippet","props":{"videoId":"11694175113915992535"},"curPage":0},{"id":"R-I-113683-5-0-11","type":"direct","props":{"advRsyaActivateParams":{"pcodeParams":{"blockId":"","renderTo":"","pageNumber":11,"grab":"dE1ldGFNYXRocwo=","statId":11,"darkTheme":false,"lazyLoad":false,"extParams":{"reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","ui":"desktop","yuid":"9860225971769855544"}}},"isAdult":false,"position":11,"placement":"empty"},"curPage":0},{"id":"15611734131764240521-0-12","type":"videoSnippet","props":{"videoId":"15611734131764240521"},"curPage":0},{"id":"11481694509501464498-0-13","type":"videoSnippet","props":{"videoId":"11481694509501464498"},"curPage":0},{"id":"17034135559017435902-0-14","type":"videoSnippet","props":{"videoId":"17034135559017435902"},"curPage":0},{"id":"15114951743962898568-0-15","type":"videoSnippet","props":{"videoId":"15114951743962898568"},"curPage":0},{"id":"12900393218545346961-0-16","type":"videoSnippet","props":{"videoId":"12900393218545346961"},"curPage":0},{"id":"8032855206588279241-0-17","type":"videoSnippet","props":{"videoId":"8032855206588279241"},"curPage":0},{"id":"12429702072568087203-0-18","type":"videoSnippet","props":{"videoId":"12429702072568087203"},"curPage":0},{"id":"17704711066751884047-0-19","type":"videoSnippet","props":{"videoId":"17704711066751884047"},"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":"dE1ldGFNYXRocwo=","darkTheme":false,"lazyLoad":false,"extParams":{"reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","ui":"desktop","yuid":"9860225971769855544"}}},"isAdult":false,"position":0,"placement":"search-list-right"},"curPage":0}],"isAdultQuery":false,"errorList":[],"layout":"list","retpath":"https%3A%2F%2Fgs.yandex.com.tr%2Fvideo%2Fsearch%3Ftext%3DMetaMaths"},"main":{"_isInitial":true,"snippets":[],"serpFooter":{"linksGroups":[]},"isLoggedIn":false,"tags":[]}},"internal":{"nonce":"0670988200257026877232","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":["1455699,0,22;1414492,0,1;1433081,0,63;1476204,0,7;1460716,0,79;1459297,0,91;1152685,0,40;1459323,0,63;1468671,0,15;1477774,0,41;1383554,0,88;43962,0,9;1461712,0,71;1473958,0,23;1470249,0,97;1479353,0,99;1463533,0,87;1282204,0,72;1479385,0,88;1466296,0,38;708540,0,19;1452015,0,39;1474025,0,98;1478386,0,58;1460387,0,18;724635,0,94;1475805,0,80;961010,0,64;1478802,0,6;1477442,0,26;1304309,0,11;284407,0,11;1479363,0,27;45971,0,44;151171,0,7;126344,0,63;1281084,0,32;287509,0,8;1447467,0,83;1350547,0,35;1468028,0,84;1478788,0,88;681841,0,36"],"isYandexNet":false,"platform":"desktop","isEnLogo":true,"retpath":"https%3A%2F%2Fgs.yandex.com.tr%2Fvideo%2Fsearch%3Ftext%3DMetaMaths","mordaUrl":"//yandex.com.tr/","videoSearchUrl":"https://gs.yandex.com.tr/video/search?text=MetaMaths","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":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","backUrl":"//ya.ru","url":"https://gs.yandex.com.tr/video/search?text=MetaMaths","isIntegrationTest":false,"isEndToEndTest":false,"shouldDropLogs":false,"seo":{"title":"MetaMaths: Yandex'te 350 video bulundu","description":"Результаты поиска по запросу \"MetaMaths\" в Яндексе","keywords":"яндекс видео, поиск видео, смотреть онлайн, сериалы, фильмы, клипы","shareTitle":"MetaMaths — Яндекс — поиск по видео"},"isEmbedded":false,"isPumpkin":false,"sessionCsrfToken":"yd624c844956c678ebf567eb96029e731","reportFeedbackBaseProps":{"initEmail":"","metaFields":{"userAgent":"Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)","userTestids":"1455699,1414492,1433081,1476204,1460716,1459297,1152685,1459323,1468671,1477774,1383554,43962,1461712,1473958,1470249,1479353,1463533,1282204,1479385,1466296,708540,1452015,1474025,1478386,1460387,724635,1475805,961010,1478802,1477442,1304309,284407,1479363,45971,151171,126344,1281084,287509,1447467,1350547,1468028,1478788,681841","queryText":"MetaMaths","reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","userRegionName":"","userRegionId":"id() {\n return this._region.id;\n }","yandexuid":"9860225971769855544","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":"1769855547","tz":"America/Louisville","to_iso":"2026-01-31T05:32:27-0500","__is_plain":1},"isHermione":false,"shouldStubImages":true,"enableVideoPreviewInHermione":false,"reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-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":"1455699,1414492,1433081,1476204,1460716,1459297,1152685,1459323,1468671,1477774,1383554,43962,1461712,1473958,1470249,1479353,1463533,1282204,1479385,1466296,708540,1452015,1474025,1478386,1460387,724635,1475805,961010,1478802,1477442,1304309,284407,1479363,45971,151171,126344,1281084,287509,1447467,1350547,1468028,1478788,681841","queryText":"MetaMaths","reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","userRegionName":"","userRegionId":"id() {\n return this._region.id;\n }","yandexuid":"9860225971769855544","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":"0670988200257026877232","disableDoc2DocHostLink":false,"shouldHideChannelLink":false,"disableChannelLink":false,"userConnectionRtt":156,"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":"9860225971769855544","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":"gs.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":{"5031770124144320608":{"videoId":"5031770124144320608","docid":"34-6-4-Z46B7680251BDA4A2","description":"This provides the first part of an introduction to Metamath-lamp, a proof assistant for creating proofs in the Metamath language. Metamath is a simple and flexible computer-processable language...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3215788/923b033c1fd5e1e070be6ed26158de67/564x318_1"},"target":"_self","position":"0","reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3Db-RfoUuQpAQ","linkTemplate":"/video/preview/5031770124144320608?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Introduction to Metamath-lamp, part 1","related_orig_text":"MetaMaths","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"MetaMaths\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=b-RfoUuQpAQ\",\"src\":\"serp\",\"rvb\":\"ErMDChM1MDMxNzcwMTI0MTQ0MzIwNjA4ChQxMTgwMDE0NTg0NDcxNzEzNDc4MAoUMTExODk0MTI5MzkwNzk2NzAyNDEKFDEzMDExOTg3MzAwMjUzOTM2Njk5ChQxNzgzMDczMDI5NTgyNzc1NTU0MgoTMTM2ODc2Mzg4OTU5Mzc0Mjg0NgoUMTU2MDM0MjkzOTgxODg0MjU3NTMKEzc3MDYzNTI1NTAyNjk0MDY1NTgKEzE1MDI2MDEzNDg2MDAwNDUyNzYKFDExNjk0MTc1MTEzOTE1OTkyNTM1ChQxNTYxMTczNDEzMTc2NDI0MDUyMQoUMTE0ODE2OTQ1MDk1MDE0NjQ0OTgKFDE3MDM0MTM1NTU5MDE3NDM1OTAyChQxNTExNDk1MTc0Mzk2Mjg5ODU2OAoUMTI5MDAzOTMyMTg1NDUzNDY5NjEKEzgwMzI4NTUyMDY1ODgyNzkyNDEKFDEyNDI5NzAyMDcyNTY4MDg3MjAzChQxNzcwNDcxMTA2Njc1MTg4NDA0NwoUMTA0MjM5ODE4NjUyNjYxMDAzOTkKFDEyNTY3NjU3NjQxMDcxNzIyMDY2GhUKEzUwMzE3NzAxMjQxNDQzMjA2MDhaEzUwMzE3NzAxMjQxNDQzMjA2MDhqrw0SATAYACJFGjEACipoaGZsZ3Fvb29jZHF3aW5jaGhVQ3FWZDlLaERhMmk1YzE4QVk1Y1hvaEESAgASKhDCDw8aDz8T9QGCBCQBgAQrKosBEAEaeIHv-gEA_AUA9QEDBQcE_QETCfz89QICAAoE_Pz4AQAA7fwD-gP_AADw_AAH9gAAAAQO9gIB_gEAEwP7BgQAAAAJDPwC-gAAAAYZBQX-AQAA9QYCAgMAAAAIBA_8_wAAAPUKA_oCAAAADA__AgEAAAAA__7_AAAAACAALXxl3js4E0AJSE5QAipzEAAaYOYNABb2HO-4KAvw9ujSB-m-MMgDzP7_8fMAE-Tt-wzk_-L9EP8lxRTyugAAAA4DAg4tAOte9fzFPB38CavyC_IAf_Ec4uIL6e28KwXSNvsqIt7sDAAe2tAlMPzsDyE4LiAALeE-PDs4E0AJSG9QAiqvBhAMGqAGAAAQQQAAmEEAABRCAAA0wgAA8EEAAKBBAADAQQAAgMAAAEDCAABAwQAAQEEAAMDBAABkwgAAcMEAAIZCAAAAwgAAuMEAAPjBAADowQAANMIAAEDAAADAQAAA6EEAABRCAAD4QQAAgMEAAJjCAADYwgAAwEIAAOhBAACgQAAAAMEAACzCAAAUQgAAmsIAANDBAAAAAAAAvkIAABDBAAAUQgAAiEEAANhBAAAwQgAAMEEAAIxCAAAowgAAsMEAAGDBAAB8QgAA2EEAANbCAAB8QgAAkEEAACBBAABEQgAAJEIAAADDAACAPwAAJMIAAABAAACIQQAAyMEAAKDBAABYwgAAoEEAANjBAACAwQAAuMEAAAjCAAAEwgAAcEIAAKRCAAAUwgAA-EEAAMDAAACSwgAA4MAAANjBAADYQQAAkEEAAFTCAABAQQAAuMEAADBCAAAAQQAAQEEAAAxCAAAIQgAAlkIAACTCAABAwAAAIEEAALhBAACswgAAgD8AAJ7CAADwQQAAmMEAAFBBAACAQAAANMIAALRCAAAAQgAA-MEAAIC_AAAwwQAAisIAAGxCAACKwgAA0EEAALBBAACAQQAAwMEAABDCAACYQQAAwEEAAPDBAADwwQAAcMEAAKhBAADAwAAAiMEAADTCAAC4QQAAmEEAAOBAAAAAQAAAAMAAADDCAADwwQAAwEEAAEjCAABwwQAADEIAAAAAAABQQQAAsEEAACDCAACowQAA0MIAAADAAACYQQAAYEIAAKBAAAAAAAAAcMEAAKTCAACAPwAAYEEAADDBAACgQAAAkMEAABBCAADIQQAAsMEAAFDBAAAAwAAAVMIAABDCAAC4QQAAjsIAADDBAAAgwQAA2MEAACDCAABQQQAAIMEAAEBCAAAMQgAAwEAAAJrCAABwQgAAUMEAAIBBAAAgwQAAgMAAACxCAACowQAAdEIAAFBBAACAQQAAdMIAAHDBAABgwQAAikIAADDBAAA8wgAAMEEAAIDBAACAvwAAGMIAAHzCAAAIQgAAAMIAAARCAAAwQgAAnMIAADDCAACWwgAAgMEgADgTQAlIdVABKo8CEAAagAIAAGy-AABkvgAAij4AABC9AABAPAAAFD4AABy-AAAZvwAAyr4AAIC7AADIvQAA-L0AAOg9AACAOwAAHL4AABC9AACePgAAUL0AAAw-AAALPwAAfz8AAOA8AABAvAAAiL0AAIC7AADovQAAuD0AADQ-AADGvgAAQDwAADw-AADYPQAAML0AABA9AAAEvgAAmL0AAKg9AACGvgAADL4AAFC9AADovQAAVD4AAEw-AAC4vQAAMD0AACS-AACgPAAATL4AAKK-AACavgAAJL4AAPi9AAB0PgAALD4AAPi9AACAuwAALT8AABw-AACYvQAAhj4AANg9AADiPgAAQLwAAIi9IAA4E0AJSHxQASqPAhABGoACAADIvQAARD4AAFC9AAAhvwAA4DwAACQ-AACmPgAAFL4AAAQ-AAAcPgAA2L0AACy-AAAwPQAA2L0AAEA8AAAwvQAAuD0AAO4-AAAMvgAA0j4AAKi9AABwPQAAQLwAAOC8AACYPQAAuL0AAOA8AACIPQAAqL0AAIC7AACIPQAAFD4AABy-AAAwPQAAiL0AAEy-AABUPgAAqD0AAHS-AABAvAAAMD0AANg9AAAQPQAAMD0AAIi9AADovQAAf78AAGw-AABwPQAAqj4AANg9AADgPAAA-L0AAFw-AADIPQAA6D0AAKC8AAAwvQAAuL0AAKg9AACgPAAAiL0AABw-AAAwPSAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=b-RfoUuQpAQ","parent-reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["5031770124144320608"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"11800145844717134780":{"videoId":"11800145844717134780","docid":"34-9-2-ZBD3FD5107AE37078","description":"A demonstration of how to create functions in Metamath. Metamath is a tool for verify math proofs; see us.metamath.org. Released under the license Creative Commons — Attribution version 3.0 or...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/4232203/28a708427dc45a10372f117a8c676c73/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/jS-vBwEAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"1","reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DvE3v175cMKM","linkTemplate":"/video/preview/11800145844717134780?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Creating functions in Metamath","related_orig_text":"MetaMaths","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"MetaMaths\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=vE3v175cMKM\",\"src\":\"serp\",\"rvb\":\"ErMDChM1MDMxNzcwMTI0MTQ0MzIwNjA4ChQxMTgwMDE0NTg0NDcxNzEzNDc4MAoUMTExODk0MTI5MzkwNzk2NzAyNDEKFDEzMDExOTg3MzAwMjUzOTM2Njk5ChQxNzgzMDczMDI5NTgyNzc1NTU0MgoTMTM2ODc2Mzg4OTU5Mzc0Mjg0NgoUMTU2MDM0MjkzOTgxODg0MjU3NTMKEzc3MDYzNTI1NTAyNjk0MDY1NTgKEzE1MDI2MDEzNDg2MDAwNDUyNzYKFDExNjk0MTc1MTEzOTE1OTkyNTM1ChQxNTYxMTczNDEzMTc2NDI0MDUyMQoUMTE0ODE2OTQ1MDk1MDE0NjQ0OTgKFDE3MDM0MTM1NTU5MDE3NDM1OTAyChQxNTExNDk1MTc0Mzk2Mjg5ODU2OAoUMTI5MDAzOTMyMTg1NDUzNDY5NjEKEzgwMzI4NTUyMDY1ODgyNzkyNDEKFDEyNDI5NzAyMDcyNTY4MDg3MjAzChQxNzcwNDcxMTA2Njc1MTg4NDA0NwoUMTA0MjM5ODE4NjUyNjYxMDAzOTkKFDEyNTY3NjU3NjQxMDcxNzIyMDY2GhYKFDExODAwMTQ1ODQ0NzE3MTM0NzgwWhQxMTgwMDE0NTg0NDcxNzEzNDc4MGq2DxIBMBgAIkUaMQAKKmhoZmxncW9vb2NkcXdpbmNoaFVDcVZkOUtoRGEyaTVjMThBWTVjWG9oQRICABIqEMIPDxoPPxP3BIIEJAGABCsqiwEQARp4ge4F_AUB_wD3_Qj9-wT_ARYC8fr0AgIA9Ab0_fUC_wD2ARQBAQAAAAD7-Av-AAAAAPvxDfj-AAAOAP0D-wAAABoC_QD3AAAAAhEABP4BAADlBwkEAwABAA4WCgEAAAAABhUG9gD_AAASEfQGAQAAABD9CgUAAAAAIAAtaizPOzgTQAlITlACKoQCEAAa8AF3DPkB-wj8AdsEzgDYDsYAge0c_yQT5gDY7wr_v_fNAO7yAwDJ4Sf_1iEZ_74R7___4t8AJxUW_xb-BgAg8gcAFhsRADHqEgAr9foA_Pv__wEfJ_8e0jD-JOUG_yMB7gIc8hH83PfmAMj60gEO_jgBGgwaASXu6QXoExgA9BkJ_vML6gTwIgv_9OgZABUGDAYK_dsAFSvZ_-kd6wIOFQcF3OwJASQC6AIWGwcF3QLx_Mn7AgEL-_EJ7B8a_hoUDAH2BvX_-toFAvj5AvUI2uf6-P4MBfnU9Q0B8fML_-wH9NoSDgXKMwn58_kGBxUD_QAgAC1BWiU7OBNACUhhUAIqcxAAGmD_DAAg2SfT4P098v7V6CLf5xDCIOTp_-3kAAIPDv7z79S7Jgv_K-Yp4bUAAAAgIAQYDADdZuXR8zfwMAGQ5e4O-n_0D_nt_PnezekVBOYPBff1FB4ARN25BkkVzkUu-kMgAC1VWjA7OBNACUhvUAIqrwYQDBqgBgAAwMAAAIpCAAAoQgAAwEEAALBBAAB0QgAAMEIAAKBBAACYwgAAcMIAAGBBAAAUwgAAEMIAAAzCAACgQAAAwMEAAKBAAAC4wgAAcMEAAOjBAABwQQAAcMEAAATCAADgQAAAUMEAAFDBAAAowgAA6MEAALBCAAAQQQAAKMIAAPjBAACawgAA6EEAAFjCAADYwQAAAEEAADBCAACgQAAAAEIAAOBAAABAQQAAFMIAAEDAAAAcwgAAsMEAAEBBAAAAwAAAqEEAAPBBAACcwgAAwMEAAAAAAADIwQAAgEIAAGhCAABswgAAAMAAAAxCAAA8QgAAoMEAAADCAACgwQAAfMIAAPhBAAB0wgAAIMIAAODAAACgwgAAmMEAAFBCAAA8QgAAQMEAAIDAAACCwgAA0MEAAFzCAAAgwQAAgEIAAEDAAAAAwQAA5kIAAMDAAAAQQQAAUMEAALhBAAA8QgAAAMEAAFxCAADgwQAAYEEAAI5CAAAswgAAeMIAAADCAACgwQAA0MEAAAzCAACwwQAAgL8AABTCAAAMQgAAeEIAAOhBAAAwwgAAFEIAAIDAAACoQQAAKMIAADBCAACAPwAAgD8AAIA_AAAUQgAAEEEAALpCAABAQAAAgMEAAGBBAABAwQAAkMEAACDCAAAoQgAAlsIAAIjBAABAwQAANEIAAIDAAAAYQgAAwMAAAKjBAABwwgAAwEEAAKBAAACQQQAAEEIAABBCAABwQQAAQEIAAADCAAAgQgAAcEEAAIBBAABQwQAA3EIAAOhBAAAYwgAAeEIAAJBBAAAwwgAAcMEAALBBAACgQAAAgMEAAEzCAADwwQAAhMIAAIBBAAAEQgAACMIAAABAAABsQgAAUMIAAJDBAAAgQQAAuMEAAFDBAABoQgAAwMAAAEDAAACgwQAAaEIAAKBAAACgQQAA6MEAAKhBAADYQQAAYMEAALjBAACWQgAAxMIAALTCAAAYwgAAYEEAAHBCAADYQQAAZMIAAKBBAACAQQAAoEAAAIZCAAAAwQAAsEEAAEBCAAAcwgAAokIAAKDAAAAgQQAAjkIAAJhBIAA4E0AJSHVQASqPAhAAGoACAACCvgAAkr4AAGQ-AABkPgAAXD4AAAs_AACIvQAAC78AALa-AAAwPQAA4DwAAJi9AAAkPgAAED0AAHC9AACgPAAA-D0AAOA8AADYPQAA0j4AAH8_AACAuwAAEL0AAOA8AACIvQAAMD0AABw-AABwPQAALL4AAOA8AABEPgAAMD0AAOC8AABsPgAAlj4AADA9AAAwPQAAqr4AAHy-AADoPQAAor4AAJg9AACSPgAAyL0AABQ-AAAsvgAA2L0AABA9AABwvQAAFL4AAHC9AACIvQAABD4AAFQ-AACAOwAA4LwAAAk_AACAOwAAXD4AAHw-AADIPQAAfD4AAFA9AAAMPiAAOBNACUh8UAEqjwIQARqAAgAAuL0AALg9AACevgAAEb8AAAy-AACgPAAAsj4AAHC9AAAEPgAAoDwAAJg9AADYvQAAgDsAAFS-AADoPQAAEL0AAEC8AADaPgAAdL4AAMI-AABwPQAAED0AAOC8AAAcvgAAuD0AAJg9AABwvQAAmD0AAJi9AAAwvQAA6D0AAAw-AACGvgAAiL0AALg9AAD4vQAAlj4AAJo-AACevgAAcL0AAJI-AACgvAAAED0AAAw-AADYPQAA2L0AAH-_AAAwPQAAiL0AACQ-AAAEPgAAMD0AAFC9AADgPAAAdD4AALg9AABwvQAAUL0AAMi9AACgPAAAuD0AACQ-AAAUPgAAEL0gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=vE3v175cMKM","parent-reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["11800145844717134780"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"1223450387"},"11189412939079670241":{"videoId":"11189412939079670241","docid":"34-3-3-ZEBDE55F36DDF7B6E","description":"This an introduction to the Metamath-lamp proof assistant tool, part 3. Metamath-lamp is a proof assistant for creating proofs in the Metamath language. Metamath is a simple and flexible...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/4772376/458b434b3f62fd2f45b538931d020bd3/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/1nlYMwIAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"2","reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DAqp3jAM2b60","linkTemplate":"/video/preview/11189412939079670241?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Introduction to Metamath-lamp, part 3","related_orig_text":"MetaMaths","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"MetaMaths\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=Aqp3jAM2b60\",\"src\":\"serp\",\"rvb\":\"ErMDChM1MDMxNzcwMTI0MTQ0MzIwNjA4ChQxMTgwMDE0NTg0NDcxNzEzNDc4MAoUMTExODk0MTI5MzkwNzk2NzAyNDEKFDEzMDExOTg3MzAwMjUzOTM2Njk5ChQxNzgzMDczMDI5NTgyNzc1NTU0MgoTMTM2ODc2Mzg4OTU5Mzc0Mjg0NgoUMTU2MDM0MjkzOTgxODg0MjU3NTMKEzc3MDYzNTI1NTAyNjk0MDY1NTgKEzE1MDI2MDEzNDg2MDAwNDUyNzYKFDExNjk0MTc1MTEzOTE1OTkyNTM1ChQxNTYxMTczNDEzMTc2NDI0MDUyMQoUMTE0ODE2OTQ1MDk1MDE0NjQ0OTgKFDE3MDM0MTM1NTU5MDE3NDM1OTAyChQxNTExNDk1MTc0Mzk2Mjg5ODU2OAoUMTI5MDAzOTMyMTg1NDUzNDY5NjEKEzgwMzI4NTUyMDY1ODgyNzkyNDEKFDEyNDI5NzAyMDcyNTY4MDg3MjAzChQxNzcwNDcxMTA2Njc1MTg4NDA0NwoUMTA0MjM5ODE4NjUyNjYxMDAzOTkKFDEyNTY3NjU3NjQxMDcxNzIyMDY2GhYKFDExMTg5NDEyOTM5MDc5NjcwMjQxWhQxMTE4OTQxMjkzOTA3OTY3MDI0MWqIFxIBMBgAIkUaMQAKKmhoZmxncW9vb2NkcXdpbmNoaFVDcVZkOUtoRGEyaTVjMThBWTVjWG9oQRICABIqEMIPDxoPPxPzDIIEJAGABCsqiwEQARp4ge_6AQD8BQDvAwYGAAP_ARMJ_Pz1AgIAAgj7_f8E_gDzAAj8-wAAAP3__Ab2AAAABA72AgH-AQAR__AHAgAAAAkM_AL6AAAACg4DAP4BAAD1BgICAwAAAAgED_z_AAAA-AoH-_v_AAAMD_8CAQAAAPv_-gUAAAAAIAAtfGXeOzgTQAlITlACKoQCEAAa8AF_F_AAhvEM-Xn54AEaAPwCpvcn_2MG_wDV7Qv_DunpAd8c7QD6GSL_sBDCAeX_-wDf1uAAORr0_ysCA___EfoALPLlAFn3EAE_8ewAECgJ_gwNCP8UCCsAFPLd__EBLP0RF_L87uzrAdX5_gACKBQBNOUlAd8PDgUA1QkF_AsABfv5__z1AB8B4QkD_wjP9QAhEvL_HQry-_cMCQMSAvUH-Pf9BNTh6v0q8AUHGO35Av7Y-wrc8__1_CQaCigfBAYI-fwF2OYA-DYlEAbx8fv78QIR9zfvGAcPGQf_BNsYAuDt-vf3-Av62wMOCQUpBO4gAC3vuRg7OBNACUhhUAIqzwcQABrABx8rGL-wWlS9QYsiuU2fHT4y1QI8704jPQDkRD6f7AG9gDH9OVhh6TykOEe8lOwiPbcNk74bVBM8G7QcvWdimj5OOpu8Gu9YPI9T9LydmcU8-oLxvNjVhL2N8ie8Dt2sPOUVXr3riKg8kotWvLVrAj7Ek107oFijuytXw72dbF69-pQIvZfUnjusW5i9odCXvHKmuT1rvG89m8GEvMjUGD1sy0W9iFyZu1FM3rv2Ocg8Kdw8vFdc_L1_TiG9UWCmu_ke5Dx7YVe8xOkkvAr4NbzI9tA8ZZ27vDuTkT1C6x-7ZmNKPA0XOb1EkSS8KpBZPOasVL1Prim9HD_5PL7fQ7267vc8KioRvV2KCjwkgBs9Ls2IvPxKEb1BNn-8rgyqPNe2kj1sVHE9soGVO898oz24MlI9p9BUPOjuhLzHJXM96a4tOqzizT3V5gS99nmxPO2GKD30gS69bspLPJ9HGz2HU5Y90uipPFOjkT3xewA9Ei6JPLnfQT38I6c90yk0PBTnjTzGsxq9JxQgvEO5o7wJslQ8L4wPPL_HKjxdl6u8GTJovPt5Tj0oMBe8zVxgPKH4oT0eOII9v7bhO1HjOTwNLTw9ISuNuhb46j3vX488M9rsOrZKMDyPQR-8y4jJu_4s1rxhXKC88747vAgnnb12Rbo8Z45nOpo01zzyViM8aKfRO--AvjsB0pi9ybZjuyAC2Dxo_Tc9l7mOOzXx6Ty3dJY8-esDuBEnBr3-jQw9OOeSuy1aJT1l4eu8kbKHOh-i0T1Y-B-9edGKOEFvsL19PxW9h-FFOV74XL2Ngrs8psFaNxKjZzwcuK49QY2kOHBK1DzIUUq9zYWKuSJ_mj3CUyO9n_3yuNgydL0K2Rk9kpIsOH4zNr2kUJa9LoOjt-QjszwHE4W9CVETuWrV9DsFTpa9oDYzOMDyuzxKOxy8a2TOOKOLkr0YQNe7cWu5Oay6u7pQyI49ZMz6N1Xv-rxjT_G7BewOuWGTUD3iUOS8zkuMN5V8UT14nP28CsIxNwib8Dy5_dI9R2llOA49g71sgym9grLKt9FEEz3Nii09yWc0uBaRhz1C75g98XbOtwvPS7xOjFk5hwiPt4tR17o1p1w9lKJBOEIoSrzbk3a8SZwUOOUE0rwyqrG9NDf3NwKaaD0rrG89Dm-gOLDfuDwOeiA9BXW4N1MvLj2WsPY9QSvIN873uDxUZJ271z-JuPlk5T3I2Zo9tUDWNht31DzTJ2M9pTSguG-9Ab2PiZQ9NKHbN3oMgL0pgD08xFm3tyAAOBNACUhtUAEqcxAAGmAPBwAx3y_K1ToU5fXW0P28wEKlIsQV__zR_y_e3ecj9RPMBB3_O9fr6aEAAAAf_-QkJgD7e_PN1EXw6xqj7Qve4H_7KPSl5evsxwYA5vLeMhzL7AUAVLCwSzsh5QM-PAUgAC3_sxM7OBNACUhvUAIqrwYQDBqgBgAAqMEAAHxCAACIQQAAgEEAAHBBAACSQgAAEEIAALhBAACcwgAAhsIAABRCAABwQQAAdMIAACDBAABgwQAAAMEAABDBAACWwgAAAEAAAATCAACgwQAAAAAAAHDBAABAQAAAQEIAAPhBAACSwgAAbMIAAP5CAABAwQAAgL8AAFBCAADYwgAAQMEAAMjBAACQQQAAAAAAAJBBAACoQQAAcEEAACzCAAAwwQAA4MAAAGTCAACowQAAJMIAABBCAAAgwQAAaEIAABjCAACqwgAAmMEAAJhBAACYQQAAGEIAAJhBAABwwgAARMIAAABBAADEQgAAqEEAAABCAABgwgAAUMIAAKBBAACAwgAA4EAAABDBAACAPwAA4EAAADRCAACIQQAA4MEAACTCAABQwQAA0MEAAIDBAAAAAAAA8EEAAABCAACgQAAAmkIAAFjCAAAIQgAAcMIAANjBAAAkQgAAQMAAAChCAACAPwAAqEEAAABCAADIwQAAmMEAAKhBAAAgwQAAyMEAAOBAAAAwQgAAQMEAAHDCAABAwAAA6EEAAEBBAADAQQAAyMEAADDBAAAwQgAAAEEAALZCAACAQAAAhsIAAAzCAACuQgAAwMEAAJJCAABAQAAAwEAAAMDAAABswgAAQMEAADTCAAAgQgAANMIAADhCAAAUwgAAUEIAAABAAAAQwQAABMIAADjCAACQwgAAmEEAAFDBAADwwQAAgEAAAIBCAAAwwQAAKEIAAKDBAAAEQgAAoEEAADBCAABQwQAAPEIAABBCAAAYwgAAhEIAABRCAABAwQAAcMIAAIC_AAAAAAAAAEAAAFBCAAAswgAAjsIAAOBAAABAQAAAyEEAAIBAAACaQgAAEMEAADzCAACIwQAANMIAAAxCAACSQgAAAAAAADzCAABAwAAASEIAAMBAAABAQAAAHEIAAKBBAAAUQgAA2MEAAKBAAACIQgAAksIAAEBBAADQwQAAgMAAAHBBAACowQAAoMAAABBBAACQQQAA2MEAAKhBAACAvwAAVEIAABDBAAD4QQAAcEIAABDCAAAAAAAA4EEAAKjBIAA4E0AJSHVQASqPAhAAGoACAACSvgAAVL4AAM4-AADoPQAAUD0AABQ-AAAUvgAAC78AAMa-AACgvAAAML0AAEA8AAAUPgAAyD0AADC9AAD4vQAAhj4AAIA7AACYPQAA-j4AAH8_AAAwPQAAgDsAABC9AACAOwAA6L0AADA9AAAwPQAAor4AAEA8AAAkPgAAFD4AAEC8AAAQPQAAJL4AABC9AABQPQAArr4AAHS-AACoPQAATL4AAI4-AADgvAAAyL0AADA9AADovQAABD4AADC9AAAcvgAAdL4AAFS-AADovQAAdD4AAGQ-AAA0vgAAoDwAACU_AAA8PgAAoLwAAKY-AABAPAAAlj4AAOA8AABwPSAAOBNACUh8UAEqjwIQARqAAgAAyL0AAKg9AAAwvQAALb8AAFA9AABMPgAAkj4AAAS-AABwPQAALD4AAIi9AABMvgAA2D0AAMi9AACIPQAAML0AAAQ-AAAFPwAAyL0AAMY-AADYvQAA6D0AAOA8AACAuwAAqD0AAFC9AADoPQAAUD0AAFC9AABAPAAAmD0AAAw-AAAkvgAAML0AALi9AAA8vgAAFD4AANg9AAB8vgAAEL0AAIA7AAD4PQAAMD0AAHA9AABwvQAA-L0AAH-_AABEPgAAmD0AAKI-AAC4PQAAML0AABy-AABUPgAABD4AAOg9AACgPAAAED0AALi9AABwPQAAuD0AAFC9AAAsPgAAQLwgADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=Aqp3jAM2b60","parent-reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1920,"cheight":1080,"cratio":1.77777,"dups":["11189412939079670241"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"1674378166"},"13011987300253936699":{"videoId":"13011987300253936699","docid":"34-3-13-ZF24F1514F578AAB1","description":"This video shows how the \"Metamath Proof Explorer\" (MPE) can be considered a modern Principia Mathematica. MPE records common fundamental math axioms, and from them proves a remarkably large...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/4266382/8c7c1209fefa0a65d0b778f26c14acbc/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/-7VYEQEAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"3","reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3D8WH4Rd4UKGE","linkTemplate":"/video/preview/13011987300253936699?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Metamath Proof Explorer: A Modern Principia Mathematica","related_orig_text":"MetaMaths","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"MetaMaths\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=8WH4Rd4UKGE\",\"src\":\"serp\",\"rvb\":\"ErMDChM1MDMxNzcwMTI0MTQ0MzIwNjA4ChQxMTgwMDE0NTg0NDcxNzEzNDc4MAoUMTExODk0MTI5MzkwNzk2NzAyNDEKFDEzMDExOTg3MzAwMjUzOTM2Njk5ChQxNzgzMDczMDI5NTgyNzc1NTU0MgoTMTM2ODc2Mzg4OTU5Mzc0Mjg0NgoUMTU2MDM0MjkzOTgxODg0MjU3NTMKEzc3MDYzNTI1NTAyNjk0MDY1NTgKEzE1MDI2MDEzNDg2MDAwNDUyNzYKFDExNjk0MTc1MTEzOTE1OTkyNTM1ChQxNTYxMTczNDEzMTc2NDI0MDUyMQoUMTE0ODE2OTQ1MDk1MDE0NjQ0OTgKFDE3MDM0MTM1NTU5MDE3NDM1OTAyChQxNTExNDk1MTc0Mzk2Mjg5ODU2OAoUMTI5MDAzOTMyMTg1NDUzNDY5NjEKEzgwMzI4NTUyMDY1ODgyNzkyNDEKFDEyNDI5NzAyMDcyNTY4MDg3MjAzChQxNzcwNDcxMTA2Njc1MTg4NDA0NwoUMTA0MjM5ODE4NjUyNjYxMDAzOTkKFDEyNTY3NjU3NjQxMDcxNzIyMDY2GhYKFDEzMDExOTg3MzAwMjUzOTM2Njk5WhQxMzAxMTk4NzMwMDI1MzkzNjY5OWqTFxIBMBgAIkUaMQAKKmhoZmxncW9vb2NkcXdpbmNoaFVDcVZkOUtoRGEyaTVjMThBWTVjWG9oQRICABIqEMIPDxoPPxPgBoIEJAGABCsqiwEQARp4gfD9CgD-AgD57QkJBgf8AQwA-_r3AAAA9A729QMBAADuAAX_DQAAAAD7-Ar-AAAABQn0Df39AQANBvUDBAAAABIFBvn4AAAADhn7Av4BAADyAgwIAwAAAAoKBPv_AAAA8PwJ_P7_AAAUCQMMAAAAAP8H_v__AAAAIAAt6A3XOzgTQAlITlACKoQCEAAa8AF_9usDyxcI_yr-5wDKEPAAqhHzAAj84gC5DPsBoQjX_hgV-AHvDwEAFAYZAdcV4wAm9u3_Kvb5AB_99f8y-vQAGgwqACHtAgAOEAYBA_n1APgT6P8aCQn_Cu8YAAIQGAAEA_7_1PkAASXyCwIV7xAC6AQGAwADFQMO_ur88AUQ_gbsAv0L_xH-2wj__gUQCwDrHfsBBQ34AfrdAwAHHff8AAEXAQD2-_8Q__cC9vf6-QDoBAINC_77DwUNBO8B9AUG-_0DAPT_A-YXBf8d9RQA7_gRBAMB_QAWDu__GNv__ebpAv0JC_r_5wH_BuD6AvIgAC322FE7OBNACUhhUAIqzwcQABrABwSqB78pCJ68mKt6PGtyJz25kS09kjk7PHyhmzwi3RQ9gMRlPF1ilr27LwI9vFG1vLcNk74bVBM8G7Qcvf7Viz4gxJ88hqkxO1ouW77qj5U8bmKSvGcno77OGbS6pSYeuvzvgj3xb8Y8haDZPJV6Wz0qnxc6_sG2PDM4pbyAJds7WwBkvAIOEb4OOte8Jz4tvOT7jT1n3O-8413kOiDrCT7Fbdm8qpk1vMTBdD38HLy6DrGLu9YxM72NUvg8ND_IvAU08T0VJA28NkNfOsUlsj2-V0M9lfX6uxF2lb0PCV-8pCRavAckYTwx0LU8AKYxvBq1nD0x8Le8MOEnO96w7byb1TE92fYsPD7qvz3otPg8dgqPt9CVDT2F50o8rwsaO5tATL3n9ve83OqgOzS5OD2XZgQ9TkG-vCspYb3Gex890B2OPBuerj1fnDM99VKMuxFPHTzejws-btcIOu7JKL1oW028iw99O1WPur2-OTc8F5klvMxnhD03ANu9OO8FvIQcCDzDtio9ggocPPal7bzgZP47EKzwuxamTz1QQyq9fywGO3MPKT1sMMO8ts6Ju5Ic1byV1t89W6C0OptXdb3QhjI8geUyub4KWj3XJ8q8RQdqO7QzljwuxM88X7djvJELDj0h07U8zpwBvCXaH71hBc87cM2-OzT-E7044kS9S74GO7X1mD05gq-8eRgDu7HVijyNoTW7RplLu6g76ry67jI9iH3IuffmNzz7mZU89f9DO46rdj2VjFI9EUWjuEKUL7x81B-9jMv4ucbgYbwJTuA6miMvu1w6xj3Sxaa8-YfruJto4TyPhhi9V650OtPBej2pND296_HPuHXCcLym5dG83UtBNp4_kj2hA9w8O26xuRePwbwb1AO915H1OapO4rwTimM984WvOASy8LtHHZ272871N8XUTDyPrUK84x8IuqAfAb1JLKk86xtaOYurCDzoAQI9cTVONzvWVjwpYHa9yVBQuEWc7zs90dU94glHuULqVr3PQze7TgliNVPjSjy1Wpa7eGiyt9PPCDxmMdG9PkuXNsSr0TwYXcE7Q7ZVuEvmWL1_OZ694zIyOBYggDwIVMG7JeR6toLVkj1zBPq8C987tmANhjzlGSg7lyEdOJlK3z2Ac9A8VLi-uH0jurxdVEY9Co7It_rSm7wZoak8-LTFN150QzzVCaO97K1DOOwDvTt81A--F_rcuELLXz1jGrc9bpCOOO2WRjp16KQ9Cm7juEyeHL0Wyrq6JN7ItxgMST2FZQe9R9K1NyAAOBNACUhtUAEqcxAAGmDt9QBCAhbfwAI72bTN5fTl2DPGTc74_xDs_-z_D9b_2NvcA0b_GLP05qEAAAAV3d4TIADQf9G9jDMG9SPkxfgbCnIFHxHN-uQb2eK0nuQCI_3Q6Q8AL8ynND__tQw4Ng4gAC22KBM7OBNACUhvUAIqrwYQDBqgBgAAAAAAADDBAACmQgAAmMEAAODAAAAgQgAA_kIAAOjBAABswgAAwEAAAOBAAADowQAAyMEAAGBBAABQwQAABMIAAKhBAADgwQAAKEIAAPhBAADoQQAAQEEAAEzCAAAAQgAAQEEAABBCAACgwAAAjMIAAMBAAAAAwQAAIEIAAJhBAABAwgAAQEAAAGzCAACAwQAA0EEAAGDBAADYQQAAgEIAAJBBAACYQQAAPEIAAMDAAABAwAAAQMIAAIBBAABAQAAAAEAAANhBAADIwgAAKEIAAADAAACYQQAAwMAAAKBAAACIwgAA8MEAABhCAACQQgAAuEEAAKbCAACowQAAIMEAAIpCAABYwgAA4MAAAAzCAABUwgAAQMIAAHRCAABAQAAAYMEAAFBCAABswgAAEMIAAEDCAADYwQAAUMEAAIBCAAAYwgAAzEIAAGjCAAAkQgAAgMAAAOBAAAAAwQAAiEEAAGBBAADgwAAAyMEAALRCAAAEwgAA-EEAAFDBAADCwgAABEIAAIbCAADMQgAAQMAAAFBBAACYQQAAiEIAAEDAAABMwgAAHEIAAIBAAAAgQQAAYEEAAHBBAACKQgAARMIAAKDAAAAQQgAAQMAAAEDBAAAEQgAAgMAAAIA_AADAwAAAwEAAADDBAACaQgAAZMIAACDBAAAAwAAAAEEAAMBAAADgQAAAYEEAAMDAAAA8wgAAREIAAFBBAADIQQAAhkIAAOBBAACowQAAgsIAAEDBAACAwAAA0MEAAEBBAAAAQAAAQMEAACxCAACYQQAA4MEAAIBCAADAwAAAdMIAAKBBAAAgQgAAkMEAANhBAADQwQAATMIAANDBAAB4wgAAUEEAAHDBAADIQQAAoEAAAMDBAAAUwgAAqMEAAIA_AAC0QgAAqEEAAEBAAACgQQAAJEIAABBBAAAkwgAAWMIAAKjBAAAAwAAAksIAADBCAABcQgAA4sIAACBBAABAwAAAwMAAAJRCAAAwwQAABMIAAFjCAAAcQgAAsEEAADxCAACowQAANEIAAIhBAADQQQAAfEIAAEDAAADgQQAAoMAAABBCIAA4E0AJSHVQASqPAhAAGoACAAC4vQAA2L0AAKg9AAAQPQAAZD4AAHQ-AADgvAAACb8AAKq-AABUPgAAoLwAALi9AAAcPgAA-D0AAAy-AACAuwAAqD0AAOA8AABcPgAAtj4AAH8_AAAUvgAAFD4AAKi9AAB0vgAAuL0AADA9AACAuwAAkr4AABw-AAA0PgAAQDwAACS-AADgPAAA-D0AAKA8AACIPQAAPL4AAJa-AAAMvgAAJL4AAHA9AABAvAAAHL4AAAS-AACSvgAAuD0AAMi9AAAkvgAA7r4AAFy-AAAQvQAA2D0AAEQ-AAAwvQAAQLwAAOY-AADgPAAAHD4AAI4-AAAMvgAAiD0AAEA8AABAvCAAOBNACUh8UAEqjwIQARqAAgAAuL0AAEw-AAD4vQAAOb8AAFS-AABwvQAAfD4AANi9AABAvAAABD4AAOC8AACavgAAoDwAADy-AABAvAAAcL0AAIg9AADiPgAAUL0AAMI-AADYPQAAqD0AAIi9AAAsvgAAmD0AAIA7AAD4vQAAuD0AAMi9AABAPAAAED0AAMg9AACAOwAANL4AAOi9AAA0vgAADD4AACQ-AAAMvgAAoDwAACw-AAAQvQAAML0AAOA8AACYvQAAoLwAAH-_AACIPQAA-L0AAJY-AABcPgAAoDwAAJi9AAA8PgAAgLsAAKg9AADYvQAAyD0AAIi9AABQvQAAMD0AAKA8AAAsPgAA4DwgADgTQAlIfFABMAk4AUoAUgkIDxCSAhgAMAFgAGgA\"}","related_url":"http://www.youtube.com/watch?v=8WH4Rd4UKGE","parent-reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1444,"cheight":1080,"cratio":1.33703,"dups":["13011987300253936699"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"601848388"},"17830730295827755542":{"videoId":"17830730295827755542","docid":"34-3-0-Z2388BFD87CF834C0","description":"This an introduction to the Metamath-lamp proof assistant tool, part 2. Metamath-lamp is a proof assistant for creating proofs in the Metamath language. Metamath is a simple and flexible...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/1530420/cd1667bf5a6c0b55a9ae49249608ecf3/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/avlYMwIAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"5","reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DWOp2xQ8mEE4","linkTemplate":"/video/preview/17830730295827755542?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Introduction to Metamath-lamp, part 2","related_orig_text":"MetaMaths","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"MetaMaths\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=WOp2xQ8mEE4\",\"src\":\"serp\",\"rvb\":\"ErMDChM1MDMxNzcwMTI0MTQ0MzIwNjA4ChQxMTgwMDE0NTg0NDcxNzEzNDc4MAoUMTExODk0MTI5MzkwNzk2NzAyNDEKFDEzMDExOTg3MzAwMjUzOTM2Njk5ChQxNzgzMDczMDI5NTgyNzc1NTU0MgoTMTM2ODc2Mzg4OTU5Mzc0Mjg0NgoUMTU2MDM0MjkzOTgxODg0MjU3NTMKEzc3MDYzNTI1NTAyNjk0MDY1NTgKEzE1MDI2MDEzNDg2MDAwNDUyNzYKFDExNjk0MTc1MTEzOTE1OTkyNTM1ChQxNTYxMTczNDEzMTc2NDI0MDUyMQoUMTE0ODE2OTQ1MDk1MDE0NjQ0OTgKFDE3MDM0MTM1NTU5MDE3NDM1OTAyChQxNTExNDk1MTc0Mzk2Mjg5ODU2OAoUMTI5MDAzOTMyMTg1NDUzNDY5NjEKEzgwMzI4NTUyMDY1ODgyNzkyNDEKFDEyNDI5NzAyMDcyNTY4MDg3MjAzChQxNzcwNDcxMTA2Njc1MTg4NDA0NwoUMTA0MjM5ODE4NjUyNjYxMDAzOTkKFDEyNTY3NjU3NjQxMDcxNzIyMDY2GhYKFDE3ODMwNzMwMjk1ODI3NzU1NTQyWhQxNzgzMDczMDI5NTgyNzc1NTU0MmqIFxIBMBgAIkUaMQAKKmhoZmxncW9vb2NkcXdpbmNoaFVDcVZkOUtoRGEyaTVjMThBWTVjWG9oQRICABIqEMIPDxoPPxPcF4IEJAGABCsqiwEQARp4ge_6AQD8BQDvAwYGAAP_ARoOAAb1AwMAAgj7_f8E_gDt_AP6A_8AAPj_AQ39AAAA-Q_-Cv7_AAAR__AHAgAAAAkM_AL6AAAACg4DAP4BAAD1BgICAwAAAAgED_z_AAAA8AQE_P7_AAAMD_8CAQAAAAAAAgYAAAAAIAAtfGXeOzgTQAlITlACKoQCEAAa8AF_AO8Cv_wB_hsJ6AAG5vgAyAQZ_0QNCgHE8wkA_-H2AdIY-gD4ITACvw7pAMQGAQDk3OQAMR4IADD9AwANHhMAJufzAGHhEAEo9vsAChf9_gEGDf4c7SgCCeDs_wITHQH7FPL_3ujsA9jt7AD4MRYALeggAfwQEgDy6wsB-Af1_vwJAwP0Eg4D5wMJ9vjgAf8kEQP9IhPf_vQG_QMe-fkJ8uH9__To_QMk_fUG-ef_A_LrAwbr-QUC7AofAyMeFfvrC_4DzNf5-AomEfv07-YA6QkBADHqBwD-FAP9CeQJ_NHw9_zPBgn01vUECQ4wBPogAC19nDA7OBNACUhhUAIqzwcQABrAB3_1GL80Wti8QC8hPWMIAD70s8c7ynaEPSpxLT5uK4O7ZptAvBTzxzzzwJE8WtqEPJxNl77qPVy5ZI8WvD0pcz6UwOa79XIOPZf04jtvKAE9wW_DvGLerr1hGZu8vjcfPASjV717yAy7paWNvEG2HD7BMKo8jUl7OytXw72dbF69-pQIvVGWa7yBdKa9m3PTO3KmuT1rvG89m8GEvKGjsDw2YOu8qtqLOzkevbzmLni8UqhdvCMByb1wl429pF07PB-hJj2enpK8b5MZPDFCGL3C-v88Ma-IvAEwrj2HeaS70Q8ZPQuGab3Uqmm6834QvOasVL1Prim9HD_5PL7fQ7267vc8KioRvV2KCjwkgBs9Ls2IvBIdOLxJQJa8b4-vPAXznD33eAE9lruFvDBjqj2hkZk8JmmjPOjuhLzHJXM96a4tOnWw_j254bW7dp6CPPgnpzz-Ery9cJShPJ9HGz2HU5Y90uipPK7Zqj3ponw9QKO0PJZLOT3WJHM9EzXqO1OwhjyxJTW99kWhO6yLe737UVk9wYMPPHWSrTs89jM8LPMWvKrPujxjuPq8KiSyOuw5lD2Hk7o959BYvDHOX7wEnmo9o2QxukKmxj0dMJk8g5zeOva17jyHW1M7uMdzO-O1Qb0K1hi9qFbfu86K6L1Rn-Q8jX8uOmXfFzy9yjU8As2tO4gU_7vB2Ky9PIrOO5Ol-zzo-Gg9HucRu9TzbrzMSq481SG3O4y_yLx32S87Cr6Gu2n7HD3ljf67scxwO6Gd0z1RgZi9l51ROQG7j72Hkr-89kB9OF74XL2Ngrs8psFaN1m3rDs7RZg9ryI_ufp1jDzrqoC981_EOOwaiDyzgpq9VUMZuZ1ESb1uOYI90I-OOe_14juIKpG9bYMMOck4Bj28FTO9ZQlauUDj3Ty1npu9Fq-4tigxhDuDfBi8OBZ4OXhzsr12sNW63PCLObwvnbyLgZ890q5sNzr0jLz0gEO85d2JuUF9UD2_zjA7-sGJNsLAoz0lYzC9QcnrN_ZHMz2mNHE9Cu2xuBCZrb14QF69K52zuHey5Tvf-4s9WufUtxaRhz1C75g98XbOtz9wNb16g5Q8GowoOJ34Jb20o2I92Qa2Nqs_wrxvw568HjZsNIAqTr2u5MS9lyZwOAKaaD0rrG89Dm-gONvBCD3FUkk9dTGptpelIj0QUsE9EZlPuLV1Kz2kEoM8Q3A_uPlk5T3I2Zo9tUDWNvI2ID2RGZ494xxiuCGsJr1UAXc9YStSuHwnJr1OM5M8XTXKOCAAOBNACUhtUAEqcxAAGmAUAwAz3THK5S8S8wHhyv2wzDGvH84L__ff_yLv7fMp5wTW_gr_NNAI6agAAAAaCfITMQAMdufi2kr0CxWl5ff02H_7Hwuw8fb9wg0W6PnmKQzO2w8AW6mwRCci4g0_KiEgAC2AUx07OBNACUhvUAIqrwYQDBqgBgAAwMAAABRCAACYQQAAoEEAACBCAABcQgAAAEIAAHBBAADAwgAAhsIAAKBAAACAwQAANMIAAFDBAACgQQAAgL8AAFDBAADUwgAA4MEAAITCAADAQQAAEMEAAIBAAABAQQAAEEIAAMBAAACYwgAAZMIAAO5CAAAgwgAAEMEAACBCAABwwgAAkMEAAAAAAACAPwAAgL8AAFRCAAAAwAAAqEEAAKDAAACoQQAAKMIAAEDAAAD4wQAAUMEAABDBAACAwAAAsEEAAKDAAAC6wgAAjMIAAGDBAABAwQAAvEIAAPBBAADIwQAAgL8AAFRCAACMQgAAUMEAAEBBAAA4wgAAisIAAOBAAABEwgAADMIAABDBAABAwQAAoMAAAOBBAABMQgAAIEEAABjCAAB0wgAAGMIAAMjBAACAvwAALEIAAIDBAAAgwQAA0kIAABjCAAAAwAAAgMIAAAAAAABAQgAAoEEAAFhCAACgwQAAYEEAAAhCAAAAwgAAmMIAADDBAAAkwgAA4MEAAIhBAABgQQAAFMIAALLCAACQQQAAwEEAANBBAAAEwgAAIMEAAJBBAADwQQAAcEEAAI5CAADgwAAAAEEAAIDAAACGQgAA0EEAALBCAABgwQAAiEEAACDBAACgwAAAAEEAAKLCAABcQgAAcMIAAEBBAACgwAAAyEEAABhCAAAgQgAAyMEAAETCAAAwwgAAsEEAAAjCAABQwQAAiEEAAIhCAAAEQgAAQEIAADjCAAAYQgAAJEIAAEhCAACowQAAlEIAADBBAACQwgAAhkIAABBBAAAwwgAAMMEAABBBAACYwQAAmEEAAADAAAC4wQAAEMIAACRCAAAAwAAAAEAAAIBBAAAwQgAAgMIAAAjCAAAwwgAAAEAAACRCAABgQgAAgD8AAIBAAABgQQAAgEIAAIBBAACQQQAAHEIAAIhBAABwQQAA4MEAAATCAABQQgAAQMIAACDCAABQwQAAAEAAABxCAAAAQgAAuMEAAKZCAABAQQAAiEEAAKBAAAC4QQAAsEEAAJhBAACIQQAAUEIAADTCAABQQQAAhEIAAFDBIAA4E0AJSHVQASqPAhAAGoACAADYvQAATL4AAKo-AACYvQAAgLsAAKg9AADYvQAAFb8AALa-AADIPQAA6D0AAKC8AACIPQAA2D0AADS-AABkvgAAqj4AAOC8AAAkPgAAHT8AAH8_AACAuwAAJL4AABC9AABAPAAAmL0AAHA9AADYPQAANL4AAAQ-AADIPQAAyD0AABA9AACYPQAAuL0AAKi9AACAOwAAVL4AAHC9AAAcPgAAHL4AAFQ-AADgPAAA2L0AANg9AAAEvgAA6D0AADC9AAAkvgAALL4AAPi9AACAOwAAmj4AAFw-AAA0vgAA4DwAAB0_AAAkPgAAcL0AANg9AACYvQAAnj4AAFA9AACoPSAAOBNACUh8UAEqjwIQARqAAgAAyL0AAIg9AADYvQAAL78AAFA9AAA8PgAAkj4AAFy-AABQPQAADD4AAJi9AABUvgAAMD0AAOi9AAC4PQAAcL0AAMg9AADqPgAAFL4AAM4-AABwvQAAyD0AAEA8AAAwvQAA6D0AAFC9AACAuwAAoDwAAFC9AACAOwAAmD0AACQ-AAAcvgAAcL0AADC9AAAcvgAAXD4AAJg9AAB0vgAAcL0AAOA8AAAEPgAAgLsAAMg9AACIvQAA2L0AAH-_AAAsPgAAqD0AAKI-AAC4PQAAyL0AABy-AABcPgAAcD0AAPg9AACgPAAAEL0AAJi9AACYPQAAiD0AAEC8AABMPgAA4DwgADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=WOp2xQ8mEE4","parent-reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1920,"cheight":1080,"cratio":1.77777,"dups":["17830730295827755542"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"2487186815"},"1368763889593742846":{"videoId":"1368763889593742846","docid":"34-11-8-Z8E58DDCA4F083D70","description":"Speedrun recorded in December 2020. #proof #math #logic #speedrun #propositionallogic I completed the first 100 theorems from the set.mm proof database in 38min 42.640sec, ignoring the ones whose...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3767482/6cc2dc270fc5e39b4800e91b04c443b4/564x318_1"},"target":"_self","position":"6","reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DguIPm9MZWYE","linkTemplate":"/video/preview/1368763889593742846?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Metamath Speedrun - 100 Formal Proofs under 40 Minutes!!!","related_orig_text":"MetaMaths","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"MetaMaths\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=guIPm9MZWYE\",\"src\":\"serp\",\"rvb\":\"ErMDChM1MDMxNzcwMTI0MTQ0MzIwNjA4ChQxMTgwMDE0NTg0NDcxNzEzNDc4MAoUMTExODk0MTI5MzkwNzk2NzAyNDEKFDEzMDExOTg3MzAwMjUzOTM2Njk5ChQxNzgzMDczMDI5NTgyNzc1NTU0MgoTMTM2ODc2Mzg4OTU5Mzc0Mjg0NgoUMTU2MDM0MjkzOTgxODg0MjU3NTMKEzc3MDYzNTI1NTAyNjk0MDY1NTgKEzE1MDI2MDEzNDg2MDAwNDUyNzYKFDExNjk0MTc1MTEzOTE1OTkyNTM1ChQxNTYxMTczNDEzMTc2NDI0MDUyMQoUMTE0ODE2OTQ1MDk1MDE0NjQ0OTgKFDE3MDM0MTM1NTU5MDE3NDM1OTAyChQxNTExNDk1MTc0Mzk2Mjg5ODU2OAoUMTI5MDAzOTMyMTg1NDUzNDY5NjEKEzgwMzI4NTUyMDY1ODgyNzkyNDEKFDEyNDI5NzAyMDcyNTY4MDg3MjAzChQxNzcwNDcxMTA2Njc1MTg4NDA0NwoUMTA0MjM5ODE4NjUyNjYxMDAzOTkKFDEyNTY3NjU3NjQxMDcxNzIyMDY2GhUKEzEzNjg3NjM4ODk1OTM3NDI4NDZaEzEzNjg3NjM4ODk1OTM3NDI4NDZqrg0SATAYACJEGjAACiloaG5hcmhnc215enZxc3RoaFVDOXR5a1IwcnBOYlRJRGlKYjM4aUJ5dxICABEqEMIPDxoPPxObEoIEJAGABCsqiwEQARp4gfr--_MK8wD46goLBwj7AjEH-AgMBQcA6gvuAAUAAADv9vYH-gAAAA74BvP-AAAA_QvsA_X9AQAcDAMPBQAAAATsDwD7AAAAFhQHC_0BAAD_-_r_BP8AAA4QEfUAAAAADQ4S-AAAAAD0EP0VAAAAABP9CwUAAAAAIAAtbEG1OzgTQAlITlACKnMQABpgARYAHBQU6agQBefkzfgw2_QhwPDr9v8PEf8XDiPs3vbz30IaAC6WOuqoAAAAMQDaEeMArXQH39JLHeQEjfL9_h9_7x_lGxv73rAF9ekCrxb64BrXAPrr6yNd-hEq-1kXIAAt3n8dOzgTQAlIb1ACKq8GEAwaoAYAAFBBAABQQgAAWEIAABBBAAD4QQAAXEIAALJCAAAwwQAAhMIAAMjBAAAAQQAA4EEAAJjBAACAwAAAwMAAAIA_AAAAwAAAzMIAAIBBAAAwQQAAVMIAAADBAACewgAAgkIAAHxCAACCwgAA2MEAAILCAACYQgAAuEEAAHBBAAA4wgAApMIAAMBBAAB0wgAAqMEAAODAAABMQgAA6EEAABRCAAA4QgAA4MAAAKDBAAAwwQAAwEEAAGjCAACwQQAAcEEAAPBBAADAQAAAsMIAAKDBAACQwQAADEIAABRCAADgQQAA8sIAALDBAAAoQgAAREIAAKBAAACgwAAAZMIAAPjBAADAQQAA-MEAAEBAAACwwQAAnsIAAGjCAACIQgAAmEEAAGTCAAAMQgAAEEEAABDBAACkwgAAAEIAADDBAAAQQgAANMIAAHxCAACQQQAAoMAAAMBBAABsQgAAoMEAACBBAABoQgAAyMEAAABBAAAwQgAAMEEAAHDBAAA8wgAAUMEAAIjBAAAwQQAANEIAAKDBAABAwAAAgMAAAGxCAACAQAAAQEEAABRCAACAwAAAeEIAAMjBAAAAQgAAkEEAABRCAABswgAAwEEAADzCAAB4QgAAgEEAAHDBAABswgAAkMIAAMjBAACIwQAAmEEAABTCAABAwAAA8MEAADBCAABMwgAAgMEAAMBAAADowQAAYMIAANhBAACAvwAAgMEAANhBAAAAwAAAIEEAALjBAABAwQAAAEIAAMDAAACEQgAAyMEAAEhCAACYQQAAAMEAAKBBAACQQQAABMIAAHjCAAAAwAAAEEEAAPBBAABwQQAAVMIAABDCAABgQQAA4MEAAABCAACIwQAATEIAAKDBAACIQQAASEIAAGDCAAAAQAAA4EEAAGTCAAAAwgAAqMEAAEBCAAD4QQAAIEEAAODAAABEQgAAtEIAAGDCAABwQQAA0EEAAJjCAAA0wgAAuMEAAAzCAACgQgAAcMEAAFDCAABgQgAAQMEAAIBBAABQQgAAqMEAAMjBAACYQQAAcMEAAFBCAADYwQAAdEIAAJBBAAAwwSAAOBNACUh1UAEqjwIQABqAAgAAML0AAKg9AACqPgAATD4AAPi9AACiPgAAgLsAAJ6-AADWvgAAHD4AABw-AAAMvgAAij4AAHA9AADYPQAAJL4AAJI-AAAkvgAAnj4AAAU_AAB_PwAAbD4AAFA9AADgPAAAcD0AAAS-AACYvQAA4DwAAJi9AAB8PgAA6D0AAOA8AADIvQAABD4AAAw-AAB0vgAANL4AABC9AADyvgAAUL0AAKq-AACCPgAA-j4AAJi9AACgvAAAEL0AAIC7AADYvQAAJD4AABy-AACqvgAAJL4AAEQ-AAC2PgAAuL0AAOA8AAAJPwAAMD0AAJi9AAAEPgAAoLwAAGw-AABcPgAAqL0gADgTQAlIfFABKo8CEAEagAIAAGS-AACgPAAAyD0AADu_AAAUPgAA2D0AAJo-AAB8vgAAoDwAALi9AABQvQAAJL4AAHA9AAAUvgAA2D0AAEA8AACYPQAAHT8AAPi9AACqPgAAoDwAAEC8AADgvAAAmL0AAKg9AAAUvgAAiL0AADA9AABAPAAAQDwAAJg9AAAsPgAAuL0AAGy-AAC4PQAAcL0AADA9AABAvAAAZL4AAHC9AABQPQAAML0AADA9AACAuwAA-L0AACS-AAB_vwAAQDwAALg9AAB0PgAARD4AAEA8AABkvgAAPD4AAHA9AADIPQAAUL0AAMg9AABQvQAABD4AAPg9AAAEvgAAkj4AAKA8IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=guIPm9MZWYE","parent-reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["1368763889593742846"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"15603429398188425753":{"videoId":"15603429398188425753","docid":"34-3-3-Z76C533260577D9A7","description":"Mario Carneiro presents an algorithm for performing arithmetic in Metamath, at the Conference on Intelligent Computer Mathematics (CICM) 2015. (It may help to read along with the slides below...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/4443031/39d9626f2bdf0ce8f2152127a021d5e2/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/zr_5RgAAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"7","reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DPF9cL3RABIw","linkTemplate":"/video/preview/15603429398188425753?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Arithmetic in Metamath, Case Study: Bertrand's Postulate (CICM 2015)","related_orig_text":"MetaMaths","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"MetaMaths\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=PF9cL3RABIw\",\"src\":\"serp\",\"rvb\":\"ErMDChM1MDMxNzcwMTI0MTQ0MzIwNjA4ChQxMTgwMDE0NTg0NDcxNzEzNDc4MAoUMTExODk0MTI5MzkwNzk2NzAyNDEKFDEzMDExOTg3MzAwMjUzOTM2Njk5ChQxNzgzMDczMDI5NTgyNzc1NTU0MgoTMTM2ODc2Mzg4OTU5Mzc0Mjg0NgoUMTU2MDM0MjkzOTgxODg0MjU3NTMKEzc3MDYzNTI1NTAyNjk0MDY1NTgKEzE1MDI2MDEzNDg2MDAwNDUyNzYKFDExNjk0MTc1MTEzOTE1OTkyNTM1ChQxNTYxMTczNDEzMTc2NDI0MDUyMQoUMTE0ODE2OTQ1MDk1MDE0NjQ0OTgKFDE3MDM0MTM1NTU5MDE3NDM1OTAyChQxNTExNDk1MTc0Mzk2Mjg5ODU2OAoUMTI5MDAzOTMyMTg1NDUzNDY5NjEKEzgwMzI4NTUyMDY1ODgyNzkyNDEKFDEyNDI5NzAyMDcyNTY4MDg3MjAzChQxNzcwNDcxMTA2Njc1MTg4NDA0NwoUMTA0MjM5ODE4NjUyNjYxMDAzOTkKFDEyNTY3NjU3NjQxMDcxNzIyMDY2GhYKFDE1NjAzNDI5Mzk4MTg4NDI1NzUzWhQxNTYwMzQyOTM5ODE4ODQyNTc1M2qIFxIBMBgAIkUaMQAKKmhoaXF0Z2VwdGttZXR1cGRoaFVDenY2c2MyMWFhWndsdVJ2VGhFWWd3dxICABIqEMIPDxoPPxOZDIIEJAGABCsqiwEQARp4gfT89v4B_wAEAAUHAQn8AvYL-wT4_f0ABQIF-_AC_wD2Bf_2AQAAAP3_-wb1AAAA9wD0Avr_AAAVA_sGBAAAABoC_QD3AAAADhn6Av4BAAD9BhACAwAAABUEEwIAAAAA-QYBBgQBAAAL__YPAAAAAAzw-fQAAAAAIAAthUHROzgTQAlITlACKoQCEAAa8AFk7wwBgfwF91sG-wArE_sAoAAB_yjz2QHSA_4A0Af_AAQZBwDo_wv_EAgIAOsTE__t6xH_A_sKAAjuAf8kCQcAIQEHADbrCQEmCxAB-wv4APIQ-wAHCRP_EvgRABIJ7v719xP-_PXuBfYcCwH3Awb_FPsO_gMA6wEB__D__w___QoBAgIDDhgC9ej__PEHAQME9fP_6vj2BA77BwMLBQkFFgH-_RD6Bf0ZCfoDCvwG_wcV_AANC_77ABf_9xEu9QL97PYDAOsIBgT4AfsOAhQGHPQPAQXlBg33E_D54_L9-OoPAALvAvQBCQn6-_71_gAgAC0fJVk7OBNACUhhUAIqzwcQABrAB6ThEL_C4PU7Mg7kvMdHSz42d7S8IfKOO5_HWD6Aoqq7XW2ku9IQvDvsXGI9A1SCvHI2tb7ennE97FmEujsZbD6uDOo8gowlPFcumr3xSQc90Y3VPPWha76E0wc9dDXDu9uwfD2QIVE9hZwQPH55fD0ZxbK8Fp48PIItsD2kgP47aEKTvPBVBj3NhHW95jXAvJQuAj1AJA07UCzBvHX1hD0Ugis98sH8vFaO_zy2AGM9AGdzPO52IDyrtEU9uGCEPJTCHD7kk9-7eqMbPX3nVz1Gxeq7UlT2OKgVuz3waRO9P9ErvL1soL0m5lQ9oRa9OnNSszyuUjA8FsecPGy61DtdlZo9A-g9O70zPz0EhN47ku8tvDMuQbxImNi8uON8Ogf91rxrCqa67yKnvNP627xsmco6arfCPPmmxD3OiFI9d-S-vPXZgTxBb-C8ybSRvFhwlL1oYnU9ouAUuykKz7xqrY49B4gEOlXJhr0CicG8vEYmvPE8grzQXbe8MtWCPEafqrw3zGk7QbCPPNgoUD0028U9qt1lPDehtby0euI8mDxUPG2MQrwhKBK9wVu5u6nOFbypbzS9CWSAvJtXdb3QhjI8geUyucpYmD1mOT88GnUGPN0rvj2_CjU9MubPO9R7TzzRQn29TfqYuxDycL1eah-864H_OxCyajuCxDu9lYWrO-pu6LtLVf-863KMOhfW7b3TKM27yUBvOr6BTj2lWlU8aWFku5UMAL1XX1i9M1NzOGt7nrt0m8A9OP0wuZ8h-7uvAuG89X08u9WTeTxrFp48SSdYOVbFSr3OhOy7jXSAOdcQwTxAffQ7-TkyuGPfJD36Wjw8TK-VOcrmIrq3lO65o7NWOuPHUz2oZTW9y69pucUCn7zu_Tc9miqzt_2KkLzpPfq8h4-AuWAdxzw2sRs9XhRZuDF_YD3GK5o82Ar9OB3ZRj3gXI08G1FzuXb2urwfXvy8seRYuLdifzw9z0S9hU7KNhJwIz0CnjQ8pOFlOFs9TLu7NLQ8y7WZuEtFmbyTKVU8_tUnN4gko7v1ph29SHZEOCIOIz054RA7sB5TuETKSr1WC5G85lf_txMpTTwv_hG9dJfbtpRhJj3mQVU8eZKWNhlrZL1WxF-9ueslOF9A1DyjzIa9ZJ9VtygWnj02F4k8oPg_OJIT3LzbedE8gbVgNxGDar2r5XO80x_gN9utH7tCzCU9cYm_uIqWVz0QWPk9jRdAOIAWtr3j2B89p7vBuAEtQr0kOjU9KNkdt81nb70h9CK9o1DStyAAOBNACUhtUAEqcxAAGmAF_wARzCbpt_M_89_p6hjN1Ri2K6zs__fv__MY6fAG5e24FQ3_JboG5J0AAAAm2dEVQQDlf9CzzSsX9BOG0hH-5n0RFt309SK61uLO1-8UJzHY90UAMNqrK2If3h408i4gAC3RghM7OBNACUhvUAIqrwYQDBqgBgAAwEAAAIA_AAD4QQAAIEEAAKDAAAAYQgAApkIAAMBAAABYwgAAuEEAAAhCAABIQgAAmMEAAIDAAABUQgAAEMEAADxCAAAQwgAAWMIAAPjBAAAwwgAAUMIAAJDBAAD8QgAAvkIAAEhCAAAIwgAAJMIAAJ5CAAAYQgAAkEEAAEBBAACoQQAA0EEAAITCAAAwwQAAEMEAAMhBAADQQQAAFEIAAMjBAADgQQAAEMIAAOhBAACYQQAAqEEAAKDAAAAIwgAAhEIAADzCAAAEwgAAuMEAAADBAABAwQAAgD8AACBBAABswgAACEIAAGDBAADgQQAAAEAAAKBAAABswgAA4MEAAOhBAACgQAAAwMAAAFDCAABowgAAsEEAANBBAADQQQAAMMEAAARCAAAQwQAA6MEAAGDCAABAQAAALEIAAPjBAACMwgAABEIAAKBBAADMwgAAgMAAAI5CAAD4wQAAYMEAACBBAAAQQQAAoMAAAMDAAABYQgAACMIAAMBAAABIwgAAiMEAACBBAABgQQAA2EEAAIhBAADgQQAAikIAAGjCAACwwgAAJEIAAJLCAAB8QgAAuMIAAIxCAABQQQAAoEAAAABAAAAIQgAAaEIAALZCAABwQQAAUMIAABBCAACwwQAAuEEAAOBAAABQwQAAWMIAABjCAACQwQAAAMEAAPDBAADAwQAAxsIAAFRCAADYwQAA4EEAADxCAABYQgAAgL8AAABAAACowQAAZMIAADDCAACQQQAAiEEAAJBCAACAQQAA-EEAABBCAAAcwgAAiMEAAMhBAABwwQAANEIAAFDBAABAQAAAgMAAAPBBAACAwQAAYMEAAFBBAADowQAAyEEAAIbCAAAMQgAAgL8AALhBAADAQAAAAMAAALBBAACIwQAAEEIAAJDBAACEwgAAYMEAACTCAAAEQgAAuEEAAMhBAACcQgAAuMEAACRCAAA0QgAAcEEAACjCAAD4wQAAiMIAAFBCAAD4wQAAhsIAANZCAABwQQAA2EEAABhCAABwQgAAgEEAAJBBAACIwQAAqMEAAAjCAAAkwgAAbMIAAHBBIAA4E0AJSHVQASqPAhAAGoACAABcvgAABL4AAEQ-AAAUPgAAbD4AAOI-AABMPgAARb8AAAO_AAAwPQAAqL0AAHS-AABcPgAABD4AABw-AACYPQAArj4AABC9AAAwvQAAIz8AAH8_AAAwvQAAED0AAMi9AABsPgAAfD4AAIA7AAAwPQAAML0AAJo-AACKPgAA-L0AAJi9AABMPgAAMD0AADQ-AAAMvgAALL4AADS-AADIvQAAyL0AADw-AAC-PgAAiD0AAJa-AACAOwAAFD4AAJa-AACevgAA5r4AACy-AAAwvQAAlj4AAFA9AAAUvgAA4DwAACM_AADgPAAARD4AALo-AAAQPQAAgj4AAAQ-AACoPSAAOBNACUh8UAEqjwIQARqAAgAAJL4AABQ-AADIvQAAIb8AADy-AACoPQAABD4AAJg9AADIvQAAPD4AAKg9AACOvgAA6L0AAFy-AABQPQAAoDwAAEQ-AAAtPwAATL4AAHQ-AACIPQAAgLsAADC9AADovQAADD4AADQ-AABEvgAAFD4AAKi9AACgvAAAED0AAOg9AADovQAATL4AAAQ-AABwvQAAPD4AADw-AABUvgAATL4AAEQ-AAAUvgAADL4AAHC9AABQPQAAEL0AAH-_AABAvAAAPL4AALg9AABsPgAAgLsAAAS-AADIPQAA4DwAAOA8AAAwvQAAij4AAOA8AADIPQAALD4AADC9AABEPgAAUD0gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=PF9cL3RABIw","parent-reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["15603429398188425753"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"1086871342"},"7706352550269406558":{"videoId":"7706352550269406558","docid":"34-5-4-Z7A792740012951F3","description":"[Reuploaded with better audio]Sophize is a novel library and academic discussion platform. This video gives a brief overview of the Metamath dataset in Sophi...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3508675/fe5dce216bbfca2435c54ef874bfefec/564x318_1"},"target":"_self","position":"8","reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DU0jXd7NAvW8","linkTemplate":"/video/preview/7706352550269406558?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Exploring Metamath dataset in Sophize","related_orig_text":"MetaMaths","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"MetaMaths\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=U0jXd7NAvW8\",\"src\":\"serp\",\"rvb\":\"ErMDChM1MDMxNzcwMTI0MTQ0MzIwNjA4ChQxMTgwMDE0NTg0NDcxNzEzNDc4MAoUMTExODk0MTI5MzkwNzk2NzAyNDEKFDEzMDExOTg3MzAwMjUzOTM2Njk5ChQxNzgzMDczMDI5NTgyNzc1NTU0MgoTMTM2ODc2Mzg4OTU5Mzc0Mjg0NgoUMTU2MDM0MjkzOTgxODg0MjU3NTMKEzc3MDYzNTI1NTAyNjk0MDY1NTgKEzE1MDI2MDEzNDg2MDAwNDUyNzYKFDExNjk0MTc1MTEzOTE1OTkyNTM1ChQxNTYxMTczNDEzMTc2NDI0MDUyMQoUMTE0ODE2OTQ1MDk1MDE0NjQ0OTgKFDE3MDM0MTM1NTU5MDE3NDM1OTAyChQxNTExNDk1MTc0Mzk2Mjg5ODU2OAoUMTI5MDAzOTMyMTg1NDUzNDY5NjEKEzgwMzI4NTUyMDY1ODgyNzkyNDEKFDEyNDI5NzAyMDcyNTY4MDg3MjAzChQxNzcwNDcxMTA2Njc1MTg4NDA0NwoUMTA0MjM5ODE4NjUyNjYxMDAzOTkKFDEyNTY3NjU3NjQxMDcxNzIyMDY2GhUKEzc3MDYzNTI1NTAyNjk0MDY1NThaEzc3MDYzNTI1NTAyNjk0MDY1NThqrw0SATAYACJFGjEACipoaHJrc21jcG14aHBxYWxjaGhVQ2hwa2MybXRUM3g4VHVVYnZpUERGZWcSAgASKhDCDw8aDz8T2wGCBCQBgAQrKosBEAEaeIH7-gEE_gIA_PkGBwIH_AITCfz89QICAPQO9_UDAQAA9QMBAgcAAAD-B_QH_AAAAPwC-fv9_gAADQD9A_sAAAAZAv0A-AAAAA4L_AP-AQAA-wYHBwP_AAAKCgT7_wAAAP4I_gACAQAABQ35AwAAAAD_7wP4AAAAACAALcKk2js4E0AJSE5QAipzEAAaYNcfAAL047utGCLU-Nnb-BDhHckUvAv_9qv_3xcQ8A6nAuI2EP9g-yDtogAAAAbE1_sgALl_2cLI6z8pA77jAxpEcv_-4Dv-4O7u1sfFJ_z67O4mZAD8_CBHI_0XA0hFNCAALRGYFTs4E0AJSG9QAiqvBhAMGqAGAAA8wgAAFMIAAExCAACAvwAAPEIAAMBAAABgQgAAgEAAAEDCAACYwQAAgEEAAILCAACgwQAAKMIAAMhBAABQQQAAgL8AADTCAACOQgAAGMIAADDBAACQwQAAUEIAAJhBAAAQQQAAuMEAABTCAABIwgAAIEIAAEhCAACawgAAREIAAKDAAAB4wgAAcMIAACTCAACgwQAAWEIAAMBBAABQQgAAsEEAAFxCAABUQgAA8EEAAMjBAACQwQAAQMEAANDBAACuQgAAeEIAAEDBAADQwQAABMIAALDBAAAEQgAAAEAAAPDBAADAwAAACMIAAARCAABgQQAAQMEAABBBAAAwwgAAAEAAACzCAAAswgAAhsIAAMDBAAAowgAADEIAALJCAABQwQAAhEIAAIDBAABwwQAAKMIAAKBAAAAAQgAA2MEAAGDCAADgQAAAREIAAHBCAADgQQAAgMAAACRCAADIQQAADEIAAJzCAAC4wQAArEIAAEDAAACowQAAkEEAAIjCAABAQAAANEIAAMBBAABQQQAAoMAAAAhCAACwQQAAvsIAAJ7CAADgQAAAmEEAAJhCAABAQAAAUEIAAChCAAAUwgAAgEAAAGBBAAAwQQAAPMIAADTCAABAwQAADEIAALBBAAAwwgAAjsIAAIDBAAAQQQAAgEAAAChCAAA4wgAAEEIAAEDCAADKwgAAQEAAAHBCAAAwwQAAoEAAAFBBAABwQgAAcEEAAADBAABgwQAAUMIAAKDBAACowQAA0MEAANjBAADAQAAAqEEAAKbCAABEQgAAUMIAADDBAACgQAAAEMEAACxCAAAswgAAgD8AAJDBAABEQgAAaMIAAIC_AABoQgAAHMIAADBBAACIwQAAgD8AAPDBAABQwQAA2EEAACxCAACQQQAAoMAAAPhBAABAQAAADMIAAFjCAABAQAAABEIAAMBBAAAUwgAAgEEAAJ5CAABAwAAAmMEAAKjBAACowQAALEIAAEDAAAAAwwAAIMEAADDBAAAQQgAA1sIAAJTCAABEQgAA4MAAAMBAAACWQgAAoMAAANhBAAA4wgAAEMIgADgTQAlIdVABKo8CEAAagAIAACS-AADovQAAsj4AAIA7AACAuwAApj4AAJg9AAAZvwAApr4AAOA8AADovQAARL4AANg9AAAsPgAAUL0AAFS-AACGPgAAoDwAAHA9AACaPgAAfz8AALi9AACgvAAABL4AAJg9AADYvQAA4DwAABQ-AAB8vgAAjj4AAOg9AADIvQAAgLsAAGQ-AAAEvgAAcL0AANg9AACGvgAADL4AANg9AAA0vgAA2D0AAFw-AACoPQAAML0AAAy-AAAwPQAAUD0AAFS-AABwvQAABD4AAHA9AAAMPgAAgDsAAOi9AACgPAAAFT8AADw-AAAQPQAAyD0AAIA7AACIPQAALD4AANi9IAA4E0AJSHxQASqPAhABGoACAAAEvgAAND4AAKi9AABJvwAANL4AAJg9AACGPgAAgLsAAEA8AAC4PQAAgLsAAIa-AAD4PQAAuL0AACw-AADIvQAAiD0AANo-AAAMvgAArj4AAJg9AACAuwAAqD0AAAy-AABwPQAAgDsAADS-AADgPAAAcL0AAFA9AACAOwAAUD0AAKC8AAAkvgAAoLwAAAy-AACAuwAAHD4AAFC9AACYPQAAuD0AADC9AACIPQAA2D0AALi9AACAuwAAf78AADQ-AAAMvgAAij4AAPg9AAAwPQAABD4AAI4-AAAEvgAAuD0AAIi9AAAQvQAAQDwAAEy-AACoPQAAuD0AADw-AACAOyAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=U0jXd7NAvW8","parent-reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["7706352550269406558"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"1502601348600045276":{"videoId":"1502601348600045276","docid":"34-7-6-ZF1915C43DEEF2F4E","description":"Lessons from Metamath, Mario Carneiro. Presented at \"Machine-Checked Mathematics\", Lorentz Center workshop, 2 March 2022. Slides: https://machinemath.zulipchat.com/use...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/940734/969a073064beabc7846e01a2b3e457f0/564x318_1"},"target":"_self","position":"9","reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DOOF4NWRyue4","linkTemplate":"/video/preview/1502601348600045276?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Lessons from Metamath","related_orig_text":"MetaMaths","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"MetaMaths\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=OOF4NWRyue4\",\"src\":\"serp\",\"rvb\":\"ErMDChM1MDMxNzcwMTI0MTQ0MzIwNjA4ChQxMTgwMDE0NTg0NDcxNzEzNDc4MAoUMTExODk0MTI5MzkwNzk2NzAyNDEKFDEzMDExOTg3MzAwMjUzOTM2Njk5ChQxNzgzMDczMDI5NTgyNzc1NTU0MgoTMTM2ODc2Mzg4OTU5Mzc0Mjg0NgoUMTU2MDM0MjkzOTgxODg0MjU3NTMKEzc3MDYzNTI1NTAyNjk0MDY1NTgKEzE1MDI2MDEzNDg2MDAwNDUyNzYKFDExNjk0MTc1MTEzOTE1OTkyNTM1ChQxNTYxMTczNDEzMTc2NDI0MDUyMQoUMTE0ODE2OTQ1MDk1MDE0NjQ0OTgKFDE3MDM0MTM1NTU5MDE3NDM1OTAyChQxNTExNDk1MTc0Mzk2Mjg5ODU2OAoUMTI5MDAzOTMyMTg1NDUzNDY5NjEKEzgwMzI4NTUyMDY1ODgyNzkyNDEKFDEyNDI5NzAyMDcyNTY4MDg3MjAzChQxNzcwNDcxMTA2Njc1MTg4NDA0NwoUMTA0MjM5ODE4NjUyNjYxMDAzOTkKFDEyNTY3NjU3NjQxMDcxNzIyMDY2GhUKEzE1MDI2MDEzNDg2MDAwNDUyNzZaEzE1MDI2MDEzNDg2MDAwNDUyNzZqrw0SATAYACJFGjEACipoaGlxdGdlcHRrbWV0dXBkaGhVQ3p2NnNjMjFhYVp3bHVSdlRoRVlnd3cSAgASKhDCDw8aDz8T_g6CBCQBgAQrKosBEAEaeIHuAfn9_AUAAwAFBwEI_AIBC-__9_79AAwK8fYAAQAAAP4BAwcBAAD_9wACAgAAAPYH-BD-_wAABAb7B_kAAAAOA_7__QAAAAgGCf_-AQAA9v4DBAMAAAAFDAkAAAAAAAcY-___AAAACgr8DAAAAAAF9QjvAAAAACAALXGG3js4E0AJSE5QAipzEAAaYOcdABHxCOmzFDEC7dn4BPTyHrEa2NMA7QMA_fwM3QPW-gE0GAD74wXrvAAAABHkDgNDALlZ79TdOSMVGsQBCP_yf9__3zkU-f3lE_65AykLLsv-JgAN3eoKCADhJhEcNiAALcVwQDs4E0AJSG9QAiqvBhAMGqAGAAAMQgAANMIAAGBCAAAEwgAAgEIAAIpCAADgQQAA-MEAAGjCAAAcwgAA2EEAAADBAAAQwQAAuEEAAAxCAADoQQAAsMEAACTCAADIwQAAiMEAAIhBAACYQQAAyEEAAMBBAAAswgAAyMEAANbCAAC8wgAAWEIAAABCAABQwQAAFEIAAMBBAACowQAANMIAAABBAACIQQAA_kIAAIDBAADwQQAAKMIAAHxCAABMQgAAEEEAAJjBAABAQAAAEEEAAMDAAACKQgAAGEIAAKjCAAAMQgAA4EEAAEDAAACIQgAAwEAAAGTCAACIQQAAgMIAAIjBAACgQAAA0MEAADzCAACGwgAAwMAAABjCAABAwQAAAEEAAEDBAADgwAAAFEIAAIJCAACAPwAAoEEAAJjBAAAEwgAAMMIAAETCAAAwQQAAWEIAAAzCAAAsQgAAiMEAANhBAADwwQAAoEAAAJ5CAAAAQgAAqkIAALjBAADwwQAAoEAAAABCAABUwgAAIEEAAAjCAADIQQAAsMEAAFxCAAAMQgAAVMIAAKxCAACgQQAAYEEAAKBAAABAwAAApMIAAI5CAACIwgAAIEIAAPBBAACAvwAAIMEAAFBBAAAAQAAAQEEAAABAAAAQwgAABEIAAAAAAABQwQAAnsIAABDCAAAwQgAAAEEAAAjCAAD4wQAAgMAAALDBAABkwgAAkMEAAKjBAADgQAAAAEIAAGzCAABgQQAAwMAAAJbCAABQwQAAjMIAAEDBAAAsQgAA4EAAAMhBAAAoQgAAcEEAAJzCAAAoQgAAgD8AADDBAABAwQAAFMIAAHBBAAA8QgAAwEAAAIDAAAB8wgAABMIAAEDBAAC4QQAAAMIAAAzCAADAQQAAAEAAAMjBAAAUQgAAqEEAACxCAACIQQAAsEEAACDBAACgwAAAAEEAAIjCAACowQAAAMAAAJhCAAAwQQAAhEIAAOBAAABIwgAAhsIAAAhCAACCQgAATEIAAADCAAAQwgAA4MAAAODAAAAQwQAAQMAAACDCAAC6QgAA2EEAAFDBAAA4QgAAsMEAAEzCAABwwQAAMMEgADgTQAlIdVABKo8CEAAagAIAAIa-AAB0vgAAqj4AABw-AACWPgAAHD4AALg9AAADvwAA0r4AALg9AAC4PQAA6L0AAOg9AAAcPgAAiL0AADC9AACOPgAA4DwAABw-AADSPgAAfz8AAJg9AAAQvQAA4LwAACw-AACAOwAAcD0AAEA8AACYvQAAbD4AABQ-AAAwPQAAXL4AAAw-AACIPQAAoDwAAOg9AACOvgAAdL4AALi9AAAkvgAAoDwAADw-AACoPQAAqL0AAIK-AACIvQAA2L0AAGS-AABQvQAA-L0AACS-AAB8PgAAQDwAAIi9AACgPAAAET8AADA9AACoPQAAUD0AALi9AACiPgAA4DwAAOC8IAA4E0AJSHxQASqPAhABGoACAADIvQAAcD0AADA9AAA3vwAA2L0AAOA8AABEPgAABL4AALg9AADIPQAAgDsAAHS-AAAUPgAAqL0AAOg9AABwvQAAUD0AABs_AADYvQAAsj4AAEA8AABwvQAAQDwAAMi9AACYPQAAiD0AAOC8AAC4PQAAMD0AABA9AACAuwAA6D0AAEA8AAAkvgAAQDwAAOC8AADYPQAAyD0AAAS-AABAPAAA-D0AAJi9AACgvAAAQDwAABS-AAC4vQAAf78AANg9AAD4vQAAND4AABA9AAAwvQAAuL0AAEQ-AACgvAAA2D0AAKC8AACoPQAAEL0AAOA8AAAMPgAANL4AAAQ-AADoPSAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=OOF4NWRyue4","parent-reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":3840,"cheight":2160,"cratio":1.77777,"dups":["1502601348600045276"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"3032965171"},"11694175113915992535":{"videoId":"11694175113915992535","docid":"34-4-15-ZFFC354266BB31248","description":"This is my first NFT Project on opensea which is based off of fractal geometry and mathematics. You can checkout the full collection here : https://opensea.io/collection/metamath...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3036471/be9f67753c1656c263f240b351b825ad/564x318_1"},"target":"_self","position":"10","reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DexqCTPe7M0o","linkTemplate":"/video/preview/11694175113915992535?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Metamath Fractal Sacred Geometry NFT ART - ART Meets Science - Opensea","related_orig_text":"MetaMaths","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"MetaMaths\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=exqCTPe7M0o\",\"src\":\"serp\",\"rvb\":\"ErMDChM1MDMxNzcwMTI0MTQ0MzIwNjA4ChQxMTgwMDE0NTg0NDcxNzEzNDc4MAoUMTExODk0MTI5MzkwNzk2NzAyNDEKFDEzMDExOTg3MzAwMjUzOTM2Njk5ChQxNzgzMDczMDI5NTgyNzc1NTU0MgoTMTM2ODc2Mzg4OTU5Mzc0Mjg0NgoUMTU2MDM0MjkzOTgxODg0MjU3NTMKEzc3MDYzNTI1NTAyNjk0MDY1NTgKEzE1MDI2MDEzNDg2MDAwNDUyNzYKFDExNjk0MTc1MTEzOTE1OTkyNTM1ChQxNTYxMTczNDEzMTc2NDI0MDUyMQoUMTE0ODE2OTQ1MDk1MDE0NjQ0OTgKFDE3MDM0MTM1NTU5MDE3NDM1OTAyChQxNTExNDk1MTc0Mzk2Mjg5ODU2OAoUMTI5MDAzOTMyMTg1NDUzNDY5NjEKEzgwMzI4NTUyMDY1ODgyNzkyNDEKFDEyNDI5NzAyMDcyNTY4MDg3MjAzChQxNzcwNDcxMTA2Njc1MTg4NDA0NwoUMTA0MjM5ODE4NjUyNjYxMDAzOTkKFDEyNTY3NjU3NjQxMDcxNzIyMDY2GhYKFDExNjk0MTc1MTEzOTE1OTkyNTM1WhQxMTY5NDE3NTExMzkxNTk5MjUzNWquDRIBMBgAIkQaMQAKKmhoc3N2ZmdiYm1rZGJoY2RoaFVDNm4yVVdzN2pTY2p1bU1YYTVQRk9WZxICABIqD8IPDxoPPxMJggQkAYAEKyqLARABGniB9wwH_P4DAO4E_AIJAv8AAfz2_Pj9_QDx-vMD-QH_AAf7CAH7AQAA9ATx-wkAAAD-Bv0KA_4AABUJ_f8EAAAAHQn0Bf0AAAAXCfYI_gEAAPIH-gcDAAAA_wL_8_8AAAD7BAT9AAAAAPga9_4AAAAABwsC_AAAAAAgAC3EQtg7OBNACUhOUAIqcxAAGmD3BAAKEALMrx8w7vu24gv93RbPDOT8_974AOYA-vHz9vW6_B7_INkPCbYAAAAjJt8WuADuWN3F4wIDEwrD7f8ZB3_ICNsYCwnYs_zyBSUG7t_pAjcA0ufr9BnsFjQcMPwgAC07hD47OBNACUhvUAIqrwYQDBqgBgAAgD8AALjBAABQQQAAIEEAABzCAACEQgAAFMIAACDCAABIwgAAaMIAAMhBAAAgwQAAEEIAAJjBAABQQQAAOMIAAJ5CAAD4QQAAwEEAALBBAAD4QQAA0EEAAKhBAACGQgAAuEIAABBCAAA0wgAAFMIAANhBAAAAAAAA8MEAAKBBAAAIwgAALEIAAMDBAACwwQAAYEEAAOBAAABwwQAA-EEAAODBAADQwQAAREIAAEDBAAAAQQAAqMEAAIxCAAAgQgAALEIAABTCAABwwgAAkEEAANDBAADowQAAUMIAAHDBAACowgAA4EAAAAxCAABEQgAAAMAAANjBAACGQgAAbMIAACjCAABQQgAAGMIAAKDBAACgwAAAQEEAAIA_AABAQgAAoMEAANhBAAAkwgAAwEAAACjCAABwQQAAJMIAAPBBAACkwgAAkEEAAJjBAACAwAAAuEEAAEBBAAAAAAAAhkIAAIjBAACIQgAAgEEAABhCAACcQgAAeMIAALDBAAD4QQAAWEIAAGBCAAAIQgAAhMIAALLCAAAgQgAA-MEAAHDCAABQwQAABEIAADBCAACAQgAAJMIAAKhBAAA8QgAAcMIAABTCAADgQAAApkIAAPjBAABMQgAAksIAAKhBAAAAQAAAQMEAAJBBAABgwQAAKEIAAITCAACAPwAA4EEAAIBAAAB8wgAAYMEAABRCAABAQAAAAAAAAFxCAACKQgAAFEIAALJCAADAwQAAaEIAAIDAAAA8wgAAQEIAAMDAAABwQQAAoMEAAEBBAAA8QgAAAAAAADBBAABMQgAAQMAAANhBAAA0wgAAmEEAAIhBAAAAAAAAgL8AALjCAACwwQAA4MAAAIDBAADwQQAAQMIAANBBAABAwQAAdMIAAKjBAABMQgAAZEIAAEhCAAAAQQAAHEIAAMDAAACmwgAAuEEAAJDCAACIQQAAoMAAAADBAAA4QgAAoMEAAFDBAAAwwgAAVMIAAEDBAACOQgAAUMEAAIBCAACgwAAA4EEAAMhBAAAMQgAATEIAAEDBAACwQQAAukIAAADBAACQwgAA4MAAACDCIAA4E0AJSHVQASqPAhAAGoACAACevgAAgDsAAOg9AAAUPgAAUD0AAM4-AAAUPgAA4r4AAMi9AABwPQAA2L0AALi9AACIPQAAHD4AAFw-AAAcvgAARD4AAKC8AADYPQAAuj4AAH8_AACIvQAA-D0AAJg9AABAPAAA4LwAAIA7AAAMPgAAFD4AADw-AACIPQAAyD0AAAS-AACIPQAAyD0AAEA8AADoPQAALL4AAIa-AACAOwAAZL4AAHA9AACuPgAAJD4AABQ-AACIvQAAuL0AAMg9AAAkvgAAcL0AAJi9AACgvAAAkj4AADw-AACIPQAA2D0AAB8_AADgPAAAFD4AAKC8AAAUPgAA-D0AAOg9AADYPSAAOBNACUh8UAEqjwIQARqAAgAAiL0AAEA8AACgPAAAOb8AAJi9AAAwvQAAmj4AAJ6-AABQPQAABD4AAOA8AABcvgAAHD4AAGy-AAAkPgAAqL0AAIg9AAAlPwAA4LwAAPY-AAAwvQAAqL0AAFC9AACAuwAABD4AABy-AABAPAAADD4AAEA8AACIvQAA4DwAAMg9AABAvAAADL4AABw-AACovQAAJD4AAAQ-AACCvgAA2D0AAJg9AACAuwAAqL0AAEA8AAAEvgAA2L0AAH-_AABAPAAAHL4AAMg9AACgPAAAML0AACS-AAC4PQAAcL0AANg9AABwvQAAPD4AAFC9AABwPQAA2D0AALg9AABsPgAAcD0gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=exqCTPe7M0o","parent-reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":960,"cheight":720,"cratio":1.33333,"dups":["11694175113915992535"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"15611734131764240521":{"videoId":"15611734131764240521","docid":"34-4-1-ZAC64E1464DA9D3E8","description":"This is a video about a scifi scenario in which it would make sense to rigorously prove 5+4 all the way from the ZFC axioms using metamath. It's massively over rigorous overkill for a simple and...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3793178/b4ca42babe5cb916a71457c5d3294bd4/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/r4ZFRwIAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"12","reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DRygzTCoKxNA","linkTemplate":"/video/preview/15611734131764240521?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"High Stakes Maths: Aliens, metamath, Wolfram Problem Generator, 5 + 4 = ?????","related_orig_text":"MetaMaths","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"MetaMaths\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=RygzTCoKxNA\",\"src\":\"serp\",\"rvb\":\"ErMDChM1MDMxNzcwMTI0MTQ0MzIwNjA4ChQxMTgwMDE0NTg0NDcxNzEzNDc4MAoUMTExODk0MTI5MzkwNzk2NzAyNDEKFDEzMDExOTg3MzAwMjUzOTM2Njk5ChQxNzgzMDczMDI5NTgyNzc1NTU0MgoTMTM2ODc2Mzg4OTU5Mzc0Mjg0NgoUMTU2MDM0MjkzOTgxODg0MjU3NTMKEzc3MDYzNTI1NTAyNjk0MDY1NTgKEzE1MDI2MDEzNDg2MDAwNDUyNzYKFDExNjk0MTc1MTEzOTE1OTkyNTM1ChQxNTYxMTczNDEzMTc2NDI0MDUyMQoUMTE0ODE2OTQ1MDk1MDE0NjQ0OTgKFDE3MDM0MTM1NTU5MDE3NDM1OTAyChQxNTExNDk1MTc0Mzk2Mjg5ODU2OAoUMTI5MDAzOTMyMTg1NDUzNDY5NjEKEzgwMzI4NTUyMDY1ODgyNzkyNDEKFDEyNDI5NzAyMDcyNTY4MDg3MjAzChQxNzcwNDcxMTA2Njc1MTg4NDA0NwoUMTA0MjM5ODE4NjUyNjYxMDAzOTkKFDEyNTY3NjU3NjQxMDcxNzIyMDY2GhYKFDE1NjExNzM0MTMxNzY0MjQwNTIxWhQxNTYxMTczNDEzMTc2NDI0MDUyMWqIFxIBMBgAIkUaMQAKKmhoenF0bW14eWhtam16ZWRoaFVDQWZ6UUF2c25XRHo0YTVxTzVjYkozURICABIqEMIPDxoPPxO7C4IEJAGABCsqiwEQARp4gQIA9P0C_gD4BwwH-Af9Ah4C-v8DAgMA4wDxCQD9AgDxAg_6BwAAAP0HBAsEAAAA-gv6__v-AAAEAfX-BAAAABMJ9_32AAAAGAr2CP4BAAAE_RIAA_8AAAX1E_gAAAAABf4C9wEAAAABGQH1AAAAAAkCBe4AAAAAIAAtzrPOOzgTQAlITlACKoQCEAAa8AFi6-__8P73ALHu_QDr9dAAge0c_1oLzwD7AAMAxezjAccD4gHN_Q8B5vAHAKwQCwHHDvMALx0pAfroGwD8-gkAEwP4ABcDEAAn4AQACgr0_ww9__4--hEBJusZABLy8QAV2fX_BuXx_rzm6QMKEyEAF-0MABvv8wDOAwAB_yghANwVAwLW_-f_2wnyAvjeAf8gH8n-NQncAPkc__s49v4E6yQQAOUB-_7uBhP--eb_A-v89_sL8hAF2vD__ggg_wcBG_v79gXi-w4S9PYCFgX9AxQDBuX6AQj52AQH_-wH9P4OCvbhAhr84C4AAvYD9wAgAC1BWiU7OBNACUhhUAIqzwcQABrAB23I375z99Q8_gGgPKn3FLxEJcO7dy7MvKjhG77fFuw8h9tGPBR6DT6NDqM8OgLdPJfHqr4Tx-w7vhGdvP7Viz4gxJ88hqkxO1U4Xb0ESH69PooEvRUcTr6sTcg8NZcfO-rslL09vS29xm30PBv2Cz7MTAQ8s3frPGD9ZL15uW26eHy5u9iofT3XMJO9vBk0Oif3Oz5dJAM9JyurPGoEgT2TkJO9D1gkO1cHAL4fJUA8sIzNvPr_gry691C9cXexu9b3xrwGvbe8PAsMuxMJi70KN1S9sraOvLJ9TT3EZ0E9HFODO0csGDy2LYq8RBwEvLW1zzsvrgc9gXqzu6WVDD2fyLM9Tx-iOy6r8jvQ7J88r8ReOHya072xoiY9fV6xvPmE7Dz2lQc9sZuAu80e6D1FApe8aMnIPJO5A70VXh29o8SVuK06Rj3YXrA8op-EvCJhCb1tQCE8bXoLPYaYtj0KZIs9_K3XuxGN7jynVC49baOmvLIqB73Ieb-8lS1tvMbB5T0dVY29jP_xuhAj5D2AJJE8K9soumtq9LwQ3U06jeq2unsNlj1kvm09y6vGusTWhTuYKkK9yOD2u6Y_kL184Lq7wJ4nO8pYmD1mOT88GnUGPFxPG7y7Mwk9PcIfPMZ8bTvVb7C8DVHMOQOjQT2aKYg8dAZUua4HODwsNKs88Vsdu64aGr13Qx89gAIFOQI6Aj1nDqm9K4yuOSxnKj2Kq0-9nJ1SO3xIUzwVzBM9Uxgqug8pxLsa6zE9aiXpOdU3dT0rFo-97rDLOUwzor3ye9s8muC_ORtoHr2QbMm896ULObnSYT0u3pS9c0_dOJqjjb3ANoy9ulGWuPRFjDzM0Lg8eaMlOj7jh72Qqp6792cIOT5Cnb3oqlS9lodOuYSeLT1iqWS9yLGIuSygq7wLe9o9oqJBuRr9mD3p5UG97dedOkTcDD4bozC9y68-uYtr3L0rrbU8UykCuNaLpr1_jb27ZiAAuY9ksD3diSO70cqSt60yw73uteA9UPZCOI94CTv-nsi98e2vOPPa9rwI-cq9Wod7tnJsPbyznWo9KIK2t2OohL1mmS-9xz7JN7v4wb3pfIi9JkFOONycur2EXDM9zr6cuCfcCjwWaxi-fH4MOJUuqD0huKA9fRwwuELHMzyPUxS9PUQkuKpOYjzK4bS7vpA3ONw0UT15sbA8UJ6qN4fjVD3prGC8KmmHuPylhT2uK2Y8CPrMOLz3ob2RzqU8_6iiuPwDQDwibN081yKMuE3yyDySLxe9sowVuCAAOBNACUhtUAEqcxAAGmD7_wA99yS32SAX8_XK9g_s1_PQLegH_xnhAAoNEO0F99zFL0QAB-8g-K4AAAA05-cr8gC8ZSnZ_efEB_faDQcL7H8D-AGhLC_RAhAc-ADsEvndEBEAFtLXIUBErh5BGBwgAC0Nxy07OBNACUhvUAIqrwYQDBqgBgAAIEIAAJDBAACYQQAAZMIAABhCAACowQAApkIAAIBBAADwwQAAUMIAAIxCAADwwQAAoEEAAEDBAADAwAAAEEEAADxCAACAvwAAKEIAAAjCAAAwwQAAwEEAAATCAABQQQAAVMIAAOBBAABwwQAAOMIAACBCAABgwQAAAMIAAOhBAACUwgAAEMEAAHTCAAAoQgAAwMAAAMJCAADgwQAAqEEAAFDBAAAkQgAAskIAAIC_AACAwAAApMIAAExCAABQQQAAvkIAABDBAACwQQAAbMIAAADBAACAwQAA4EAAAIBAAABgwgAAAMEAAHDBAAAoQgAAVEIAAJDCAABgQQAAnMIAAEDBAAAwwgAAksIAAATCAAAgQQAAPMIAAAxCAADWQgAATMIAAKBAAADIwQAA4MEAACjCAAAIQgAAQMEAAABBAAAcwgAAfEIAAMhBAABYQgAAmEEAAHhCAAA8QgAAmEEAAKBCAADowQAASMIAAKpCAACoQQAAcMEAAMjBAACQwQAAgMEAAHxCAAC4QQAAKEIAAIbCAABIQgAALMIAAADAAACAwgAA4EAAADhCAACYQQAA0EEAAGBCAAAUQgAAoEAAACDBAADAQAAAcMEAAGBBAABQQQAAUMIAAEBBAACgwAAAqMEAAMDCAACOwgAAEMEAAOjBAABEwgAAGMIAAIBAAADWwgAAoEEAAFDCAABgQQAAQMAAAMBBAACewgAA8EEAAChCAADgQAAAAAAAALjBAACQQQAAVEIAAJjBAAAwwQAAiEIAAKBBAACYwgAAbEIAAHDBAABgQQAAQEEAAKBAAABAwAAAAMAAAIC_AACywgAAoMEAADDCAACIwgAALEIAAKDBAACAwQAAAEAAAGjCAAAwwgAAHEIAAIBAAACMQgAAgEEAAGBBAAAAQAAA4MAAACDBAABcwgAA4MAAAIDAAADgwAAAOMIAANBBAADQQQAAbMIAAADBAAAUwgAAcEEAAMhBAAAQwgAAAEAAAMBBAAAgwgAAgMAAAETCAAAQwQAAqEEAAFDBAACgwAAAiEEAACxCAADgQQAAUMEAAJDBIAA4E0AJSHVQASqPAhAAGoACAACYPQAAgLsAALI-AADgPAAAQDwAACw-AAAMvgAAwr4AAHS-AAAQPQAAuL0AAEC8AACCPgAAUD0AAKA8AADYvQAAJD4AAEA8AADoPQAAsj4AAH8_AABQvQAAyD0AAEw-AAAwvQAAgDsAAFA9AADIPQAAoLwAAKY-AABQPQAAQLwAADy-AAAQvQAAFD4AAMg9AAAQPQAAiL0AAIa-AAAsvgAADL4AAOA8AABcPgAAmD0AAIq-AAC4PQAAjj4AABC9AADYvQAA-L0AAKi9AADYPQAAVD4AAFQ-AAAEvgAAoDwAAPo-AADoPQAABD4AAJg9AABQPQAAQLwAAPg9AACIvSAAOBNACUh8UAEqjwIQARqAAgAAdL4AAIg9AABwPQAAI78AADC9AADgPAAAVD4AAIA7AACYPQAAPD4AAEC8AAAQvQAAcL0AABC9AACAOwAAQDwAAOA8AAAzPwAA4LwAAOI-AACgPAAAqL0AALi9AABEvgAAgDsAAIi9AAAMPgAAyD0AAFA9AAD4PQAAgLsAANg9AADYvQAATL4AAAQ-AACAuwAA6D0AACQ-AABsvgAAUD0AABQ-AABMvgAAMD0AABC9AADgvAAA4DwAAH-_AACgvAAAqL0AAKg9AAAQPQAAiD0AALi9AABAPAAAdD4AAJg9AACgvAAAED0AAMg9AADYPQAAuD0AAFy-AAC4PQAA-D0gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=RygzTCoKxNA","parent-reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1152,"cheight":720,"cratio":1.6,"dups":["15611734131764240521"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"4102720588"},"11481694509501464498":{"videoId":"11481694509501464498","docid":"34-1-8-Z769A5BFE65CA4BD8","description":"Note: The app for the Apple desktop computer has been removed from the app store on April 21, 2018. The app for the iPad is still available. Metamath is a free app for an Apple iPad or an Apple...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/2743702/272151aa5ee6eeac66bff085e212a77a/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/eg11hQAAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"13","reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DqTOUBEACTz4","linkTemplate":"/video/preview/11481694509501464498?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Metamath Statement Screen Demo","related_orig_text":"MetaMaths","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"MetaMaths\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=qTOUBEACTz4\",\"src\":\"serp\",\"rvb\":\"ErMDChM1MDMxNzcwMTI0MTQ0MzIwNjA4ChQxMTgwMDE0NTg0NDcxNzEzNDc4MAoUMTExODk0MTI5MzkwNzk2NzAyNDEKFDEzMDExOTg3MzAwMjUzOTM2Njk5ChQxNzgzMDczMDI5NTgyNzc1NTU0MgoTMTM2ODc2Mzg4OTU5Mzc0Mjg0NgoUMTU2MDM0MjkzOTgxODg0MjU3NTMKEzc3MDYzNTI1NTAyNjk0MDY1NTgKEzE1MDI2MDEzNDg2MDAwNDUyNzYKFDExNjk0MTc1MTEzOTE1OTkyNTM1ChQxNTYxMTczNDEzMTc2NDI0MDUyMQoUMTE0ODE2OTQ1MDk1MDE0NjQ0OTgKFDE3MDM0MTM1NTU5MDE3NDM1OTAyChQxNTExNDk1MTc0Mzk2Mjg5ODU2OAoUMTI5MDAzOTMyMTg1NDUzNDY5NjEKEzgwMzI4NTUyMDY1ODgyNzkyNDEKFDEyNDI5NzAyMDcyNTY4MDg3MjAzChQxNzcwNDcxMTA2Njc1MTg4NDA0NwoUMTA0MjM5ODE4NjUyNjYxMDAzOTkKFDEyNTY3NjU3NjQxMDcxNzIyMDY2GhYKFDExNDgxNjk0NTA5NTAxNDY0NDk4WhQxMTQ4MTY5NDUwOTUwMTQ2NDQ5OGq1DxIBMBgAIkQaMAAKKWhodHJydW56empiemdlbWhoVUNYRnEzbDE3dFNPb3ZNQnpvRG9LMkRnEgIAESoQwg8PGg8_E44BggQkAYAEKyqLARABGniB7_oBAPwFAPT8CAf4Bf4BDf35AQn-_wD1CwMG_QL_AP32BgMCAAAA8PwAB_YAAAD6BvsG-_4AAP_8_wP6AAAAGQL9APgAAAAPCAUC_gEAAPUGAgIDAAAAAQsI-f8AAAD8CAEB_P8AAAoK_AwAAAAABv0MAQAAAAAgAC18Zd47OBNACUhOUAIqhAIQABrwAX8kMv3R9JgBwR30AQAW0wGF9Q8A-0PEALcCEwDHEqUBuvUdAOD9AACtNuf_njb2__fj-v7_3d4BLKzz_vr3DgAbBfQBGtAGAi89FAIF9yT99vc2_yu8Rv0X4vr_8QW-AUXJI_3P8i0A5wSvAhT9UQESCx4GTtULBrvdAwKkNC8E3eQB-A__8gwaqSD8v_IN_Rn-5QwySO_9__zB-xkhIALct_EEEDPp8DcJIgD2JAUH6d8FCva1FAEWDBjyHznp9-T88vwZ_gAAC_DrCQfMFvHsoe729e7lBCPs3fXc7_ryzSoO8LFKDfYFEf0LrRIX8iAALSNB4jo4E0AJSGFQAipzEAAaYPEIADPZA8nkND4E89n-A_K2FKgdysr_8c8AC__7-PjV6_gXGQAX2yrirAAAACEGzTTxANtq0MoEcBn0KKAF2grof_z-KcL5AOju-S3-J_YNLd0gIABG07MaSxvACfXuISAALfTNIDs4E0AJSG9QAiqvBhAMGqAGAACQQQAACEIAAIhCAADYwQAAoEAAAGBCAAC4QgAAJMIAAKTCAADYwQAA4MAAABhCAACowQAAAMEAAKhBAAAEwgAAsMEAAFjCAAAgwQAAmMEAAIDBAADQwQAAbMIAADxCAABAQgAAGMIAAJrCAACuwgAAbEIAAKBBAAC4QQAAJEIAAEjCAACAPwAAxMIAAKDAAACIQQAAIEIAANhBAABAQAAAoEEAANhBAACAvwAAgD8AADzCAAAswgAAVEIAAEBBAADoQQAAgL8AANDBAACQQQAAAMAAAABAAAA0QgAAQEAAAKTCAACYQQAABEIAAFRCAABMQgAAsMEAABzCAABMwgAA8EEAACTCAAB8QgAAIEEAACjCAADAQAAArkIAAOjBAADAQAAAgEAAAPjBAABwwQAAyMEAAODAAAAwQgAAiEIAACDBAADQQgAAYMIAAKhBAADgwQAAqEEAAIRCAAAwwQAAPEIAAMBBAAD4QQAAMEEAAEjCAAAQwgAAWMIAAFDCAADYQQAAQMIAAAhCAABwQQAAXMIAAGBBAABAQQAAMEEAABBCAADwwQAAtsIAAERCAACowQAAAEAAAAxCAABAQAAAAAAAAKBAAADgwAAAiMEAABBBAABwQQAA2EEAAHDBAADIwQAAQMEAACBBAABAwAAA0EEAAADBAAA8QgAAAEAAAKhBAAAEwgAAUMEAAObCAADAwQAAQEAAAFjCAAAAQgAAmEEAAABAAABAwAAAMEEAAExCAABwQgAA0EEAAJDBAAAoQgAAOEIAACBBAACgwAAAWEIAADzCAACgwgAA2EEAAEBAAACgQQAAkEEAAMjBAACOwgAAyMEAACTCAACIwQAAsEEAAPBBAACAQQAAwMAAAODBAABAwQAAVEIAAMRCAABgwQAAqEEAAJDBAABgQQAAsMEAAFDCAAAAQQAAQEIAAGBBAAA4wgAA8EEAABhCAADGwgAAiMEAABDBAADQwQAAKEIAACDBAACIwQAA4EAAAHBBAAB4QgAAREIAADDCAAAcQgAAAMEAAAAAAACCQgAAwMEAAGTCAADYQQAA4EAgADgTQAlIdVABKo8CEAAagAIAAAy-AAA8vgAAlj4AAEw-AAAwPQAAdD4AAHC9AAANvwAAkr4AAHA9AADgPAAA6L0AAJg9AABkPgAAqL0AAAy-AAD4PQAAiD0AAFA9AACePgAAfz8AACy-AACAOwAAiL0AAIA7AAC4vQAAQDwAACw-AAAkvgAAHD4AABQ-AADYvQAAUL0AAGw-AACAuwAAQDwAACQ-AACWvgAAor4AABQ-AAAEvgAAML0AADQ-AABQPQAAuD0AAGS-AACoPQAAyL0AAKi9AAD4vQAAQLwAAKg9AAAEPgAA2D0AADy-AABQPQAA5j4AACw-AABwPQAAlj4AAJg9AACoPQAADD4AAAy-IAA4E0AJSHxQASqPAhABGoACAACYvQAAND4AAMi9AAA1vwAAuL0AABA9AACmPgAAFL4AAEQ-AAAkPgAA6D0AAES-AAC4PQAADL4AACQ-AACYvQAA4DwAAAk_AAAUvgAA8j4AAKi9AAAkvgAAcD0AAOi9AADYPQAAQDwAAOA8AACYPQAAgDsAABC9AACAuwAAyD0AAAy-AAC4vQAAQDwAAAy-AABAvAAADD4AACS-AACIPQAAcD0AAFC9AACIPQAAgLsAANi9AABAvAAAf78AALg9AAD4vQAAPD4AADC9AACAOwAA6L0AABw-AACAOwAAqD0AAOC8AADgPAAAML0AAOA8AACoPQAADL4AAFQ-AAAEPiAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=qTOUBEACTz4","parent-reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1134,"cheight":720,"cratio":1.575,"dups":["11481694509501464498"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"3931627072"},"17034135559017435902":{"videoId":"17034135559017435902","docid":"34-10-2-Z31A3F6496A894F76","description":"#Math #MathOlympiad #Algebra In this video we solve a problem from the Putnam 2010. This is my first collaboration with another channel. Check out @MetaMaths for another solution to this problem.","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/4819356/e089f27444d854989568cf2061e0e05d/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/nPrhlgEAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"14","reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DHKtQduS2Yvs","linkTemplate":"/video/preview/17034135559017435902?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Combination of Polynomials | Putnam 2010 B4 with @MetaMaths","related_orig_text":"MetaMaths","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"MetaMaths\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=HKtQduS2Yvs\",\"src\":\"serp\",\"rvb\":\"ErMDChM1MDMxNzcwMTI0MTQ0MzIwNjA4ChQxMTgwMDE0NTg0NDcxNzEzNDc4MAoUMTExODk0MTI5MzkwNzk2NzAyNDEKFDEzMDExOTg3MzAwMjUzOTM2Njk5ChQxNzgzMDczMDI5NTgyNzc1NTU0MgoTMTM2ODc2Mzg4OTU5Mzc0Mjg0NgoUMTU2MDM0MjkzOTgxODg0MjU3NTMKEzc3MDYzNTI1NTAyNjk0MDY1NTgKEzE1MDI2MDEzNDg2MDAwNDUyNzYKFDExNjk0MTc1MTEzOTE1OTkyNTM1ChQxNTYxMTczNDEzMTc2NDI0MDUyMQoUMTE0ODE2OTQ1MDk1MDE0NjQ0OTgKFDE3MDM0MTM1NTU5MDE3NDM1OTAyChQxNTExNDk1MTc0Mzk2Mjg5ODU2OAoUMTI5MDAzOTMyMTg1NDUzNDY5NjEKEzgwMzI4NTUyMDY1ODgyNzkyNDEKFDEyNDI5NzAyMDcyNTY4MDg3MjAzChQxNzcwNDcxMTA2Njc1MTg4NDA0NwoUMTA0MjM5ODE4NjUyNjYxMDAzOTkKFDEyNTY3NjU3NjQxMDcxNzIyMDY2GhYKFDE3MDM0MTM1NTU5MDE3NDM1OTAyWhQxNzAzNDEzNTU1OTAxNzQzNTkwMmq2DxIBMBgAIkUaMQAKKmhod2N4Y2dqbm1jcm9mdWNoaFVDVC1RUlJpWW96YTVyUkRDS05kWWRoZxICABIqEMIPDxoPPxPzAoIEJAGABCsqiwEQARp4gfARAggI9wAGBREG-Qr8Av4J9f0K_f4A_wrs_QQF_gDm9fn5Cv8AABoACAwCAAAACPb1AgP8AQAPBPjrAwAAABH5_PP0AAAAEQ_8AxT-AgHwAg4JBP8AAAv2CwMAAAAA9AED-vYA_wESAw8MAAAAAAT0CvoAAAAAIAAtV-i5OzgTQAlITlACKoQCEAAa8AF_7P8DzgfkAAAUAADQ_fABo_sM__0q2wDV-P8Awvb3APAV-ADk9QMB6Q4dAcQP8f8VBN3_D_IKATP_7P8f5xgA8Q4LACvh4AA48xgA6PXcAAQVEv7r6AgBHP_lAAL07gEI-xoBEvboAO3g3wDz8zgCBRskCBjxDwL00Qb_9vkD_vn85ADaDu0F-vX8_O8SLwH96esB7Arz-dcp5gMW9ff89fYW-gsP2gA6Cun-9PgL-OPH5f7p8P0B7AEQBfAA_P_Z_QwCxgbw-w7z_v8Y8eQK--zpAAXy5gP41vsM6vb89_0W-PbfGgz83RQC_ggC8fogAC3Ybjc7OBNACUhhUAIqcxAAGmAM-wAR1TXp6RMo8_HHEA29xfDRKLLo___7_wD3PPkeD9fG-zEAJ80f8qYAAAAs8dcGJADge9XqA0YEswzCzsM4MX_fHAq_1BHNwhcEBv7gJikNGVIAKuGWHDcWtTs3IiggAC0tmxc7OBNACUhvUAIqrwYQDBqgBgAAQEEAAODAAABoQgAAJMIAAKhBAABUwgAAskIAAKjBAADwwQAA4EAAADxCAACgwQAA0MEAACBBAACoQQAABEIAAABBAACEwgAAEEIAADBBAACoQQAAEMEAAKjBAACAwAAASMIAADDCAABEwgAArMIAADxCAADAwAAAoEAAAHhCAADAwgAA8MEAAMDCAADwQQAAEEIAAFxCAAAAQQAAEMEAABzCAAAwQQAA6EEAABDBAACUQgAA1MIAACBBAACoQQAAkEIAAABCAAAgwQAAoEEAAGBCAACgQAAAHEIAAERCAADMwgAAsEEAAChCAADAQQAA4MAAAKbCAAAwQQAAMMEAACxCAADgwAAACMIAAIBAAADIQQAACMIAAFBCAABYQgAAisIAAPBBAABgwQAAQMIAALDBAAAwwgAAIEEAAIDBAABgQQAAqEIAAEjCAACYQQAAgEEAAEBAAABwQQAAqEEAAIZCAACgwQAASEIAACxCAABwwgAAiMEAAIhCAAAgwgAAwEAAAKBAAABAQAAAoEEAAJ7CAAAQQgAAREIAAGBBAACGwgAAgL8AAIBAAADAQAAAZMIAABRCAAC4QQAAAMAAALDBAACIQQAAVMIAADRCAAAEQgAA0MEAAIzCAABIwgAAhMIAACzCAAAgwgAAoEAAAMhBAABgQQAAYEIAAKDBAACQwQAAsEEAAETCAACIwQAAlMIAAARCAACQQQAAgkIAADRCAACgQQAA0EEAACDCAADowQAAyMEAAHRCAABswgAAZEIAAABBAAA8wgAADEIAAKBBAABgwQAAYMEAAOBAAAAQQQAA2EEAAOhBAABYwgAAwMEAAPDBAACgwQAAFMIAAJTCAABgwQAAUMEAAKBAAAAIQgAAAMAAAADCAAAwQgAAZEIAAMBAAABQwQAAoEEAAABBAACAwgAA2MEAAKjBAAAwQQAAmsIAAABBAAC4wQAAwEAAACDCAAA0wgAAwEAAALBCAADwwQAAOMIAAKDBAABAQgAAwEAAAADCAACAwAAAoEEAAMBAAAAgQgAAiEEAAIA_AAAMwgAAAEAAAGBBIAA4E0AJSHVQASqPAhAAGoACAAAQPQAAcL0AAKA8AACovQAADL4AAFw-AADgPAAAPb8AAHy-AABkPgAALD4AAAy-AAAsPgAAdD4AAIi9AACSvgAAND4AAJg9AADgvAAAXD4AAH8_AAAUPgAAJD4AAEw-AAAkPgAAEL0AAFA9AAAkPgAAiL0AAGQ-AABMPgAADL4AABy-AAAcPgAAcL0AAKC8AAAcPgAAuL0AALa-AADavgAATL4AAKi9AAAUPgAAEL0AAEy-AACYvQAADD4AADS-AAD4vQAAxr4AANI-AAC4vQAAoj4AAEA8AAAEvgAAiL0AADs_AACmPgAAgDsAAFQ-AACWPgAAQLwAAHw-AAA0viAAOBNACUh8UAEqjwIQARqAAgAAVL4AAEw-AABwvQAAO78AAJq-AABQvQAAvj4AADy-AABQPQAAbD4AAEA8AACyvgAAED0AAAS-AAAQvQAAiL0AABA9AAAVPwAAcL0AAMo-AAAUPgAABL4AAKC8AADovQAAqD0AADC9AAAcvgAAyD0AAOC8AACAOwAAQDwAALg9AADYvQAAXL4AAIg9AAAMvgAALD4AADA9AAAUvgAAmD0AABw-AABAvAAAoLwAAOC8AADgvAAAMD0AAH-_AACgPAAAXL4AAAw-AABMPgAAqD0AAIC7AABUPgAAcL0AAKg9AADovQAAVD4AAHC9AABQvQAAFD4AAEC8AAA0PgAAoDwgADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=HKtQduS2Yvs","parent-reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1920,"cheight":1080,"cratio":1.77777,"dups":["17034135559017435902"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"3378533801"},"15114951743962898568":{"videoId":"15114951743962898568","docid":"34-6-12-ZD1CCBA45679F5935","description":"If you find our videos helpful you can support us by buying something from amazon. https://www.amazon.com/?tag=wiki-audi... Metamath Metamath is a language for developing strictly formalized...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/880035/b05c117cebeed55877169fa9ecbc4c34/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/mIV_DQAAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"15","reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DV-9yY2xDt0A","linkTemplate":"/video/preview/15114951743962898568?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Metamath","related_orig_text":"MetaMaths","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"MetaMaths\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=V-9yY2xDt0A\",\"src\":\"serp\",\"rvb\":\"ErMDChM1MDMxNzcwMTI0MTQ0MzIwNjA4ChQxMTgwMDE0NTg0NDcxNzEzNDc4MAoUMTExODk0MTI5MzkwNzk2NzAyNDEKFDEzMDExOTg3MzAwMjUzOTM2Njk5ChQxNzgzMDczMDI5NTgyNzc1NTU0MgoTMTM2ODc2Mzg4OTU5Mzc0Mjg0NgoUMTU2MDM0MjkzOTgxODg0MjU3NTMKEzc3MDYzNTI1NTAyNjk0MDY1NTgKEzE1MDI2MDEzNDg2MDAwNDUyNzYKFDExNjk0MTc1MTEzOTE1OTkyNTM1ChQxNTYxMTczNDEzMTc2NDI0MDUyMQoUMTE0ODE2OTQ1MDk1MDE0NjQ0OTgKFDE3MDM0MTM1NTU5MDE3NDM1OTAyChQxNTExNDk1MTc0Mzk2Mjg5ODU2OAoUMTI5MDAzOTMyMTg1NDUzNDY5NjEKEzgwMzI4NTUyMDY1ODgyNzkyNDEKFDEyNDI5NzAyMDcyNTY4MDg3MjAzChQxNzcwNDcxMTA2Njc1MTg4NDA0NwoUMTA0MjM5ODE4NjUyNjYxMDAzOTkKFDEyNTY3NjU3NjQxMDcxNzIyMDY2GhYKFDE1MTE0OTUxNzQzOTYyODk4NTY4WhQxNTExNDk1MTc0Mzk2Mjg5ODU2OGqIFxIBMBgAIkUaMQAKKmhodWRpeHp1cXhqcXZzZGNoaFVDU3hzaTJ1TndtZXdnZXRJZXZldThwURICABIqEMIPDxoPPxPnB4IEJAGABCsqiwEQARp4ge4B-f38BQD9AAsO-Qn8AvYF8Pn4_f0ADArx9gABAADp-QMGCP8AAP0C_AUBAAAABQn1Df39AQAGA_0BBAAAAA4D_v_9AAAADwgFAv4BAAD7BgcHA_8AAAwNDfcAAAAA8gsCAQT6-AT_CvkKAAAAAAP2CPsAAAAAIAAtcYbeOzgTQAlITlACKoQCEAAa8AFnAwcBnAn_-n_2EgHj__kBkBLy_ygABAD0BwwBE-0JAPHv4__e7woA5__fAAL29__z_wYAH_z8AAoFGgAj9-kADwP6AAbs9QEbCgkA5v_4__sOBf_m6Bj_CwMRAAkCEP8tA93-JR3o_xDx6QD0-PUBDPkNA-8L9gIH8ucCEPsGA_EDEAALAwQA7Q8M__D0EgP2DQb--xMZAO4RDQIM_RUE3xkC__gJCPvn-_MD_g_s_QgRBPX4BAwDDOv8BfUOBPok_AUH-x_-BPT3DwMiBRD6GQQJA_sSGQP2AQz8EfET_P8LCPgN_gn58ukEABEC_gAgAC0-_k47OBNACUhhUAIqzwcQABrAB6ThEL_C4PU7Mg7kvPmEXD6HFEO96DLzOrTMQj7P1ga9Niw8vfuvU76nQSw9WoA2PBtkor74GiK9lVdYvSdvyz2X0JO8m1u8vMnuXb3ifvY8GNZIvUzEO76CnEW7VjLXuitLdLyzvve8xyRIOxCSZb33NRc9oCF3POHlLj1DN3u8N32svKj8a732C7Y8LoxUvUtX0D1JZD-96nhMvFZspz3_CMM81VLKvFhuzjx_Gxw72NVkPL-aA72RlDk9deuQulwf1j0z32G95wcEvWicAT2OAgS9zmelPOGCh7y5KOm8DJETvVUulL1m3oU8gtwqPXHIxjxxhBa9xymfvBvpVjxxtem8GVVIOxEUZL0-7Ws9xDjmu71AxD3iIJE9oWzlPCNsdLsQ37I6UDqRvEONUj7rZFo96caJu6MXvTsFM-g7ELXIPP6QCL36FSM8Z3t0vA_n67ymTYA94-rXumuDrrzJSCw83saLvI2bmr1zlTg97PuLvD-oaz1QCik8QujFvLgUQb3qM--7DxzAO-6Nu715tEw9doJHPIXeUT3GfOk71F1rOWX_XL1eN_w7YmuRPCKK6T39-ye9wf5rvIvMwr2Ho3A9svN0OwVR171_6zS9NSnkup7-vTwZDOS8CKABvC2CtbzbYFK9ig1tOxUAXjkuJqy8r7tUvCTzBDw4LK29KbXyu9_55T1NlIy7eSvgOixyOjtfBDK8-4TgO3gqv7r_HuG8zb7AusS5H7vs7LW8mVGDO7o_mD1--ck8ghG8uaHa_btEbxE9E2WVObRYK7tZYBk9zXlQOad1mzy_Oli9hQVFthEMhj3PSW-8FSWKOAYT_zxH6ns6age0udQblL3d2tu7wYFwOKnTKrvAXmE83VtrNvu9Qz15O4I8VwnKuC1BJr0iTsy7lH8LudWkBT0yuQe9Y9GZOJFCiT2i4zS8hpaSuDAmQj3pMiu9J0wAub-EpTxEKAC974KyOF3-A73l7xw8OBOvuAOwprwQcdo7oNa7NkzrlT0xgGu9z-2gOPpYC73x9ZU9acbzuGkopLy3jOW7qupKOKrty7zTgZE9BpNmt4VgEzz_A6y86yrpOKTonDw_xEY96LqTOGIvlD2taR68P3XctTKyHz3uIQG9NP1cuHF8ozzF8t08i3_jtyqKXD2bfGm8MPUTt5C9fr08YU49jtOgtTdKY739p7a9Yuo0NUn3jjytUMS9c5zyuP_Naz2pekM9ykWnOGGL3TyUyzU8NcSNuNyybb1Olyq9jT9YN1PCfT0j2Li8YZEXOCAAOBNACUhtUAEqcxAAGmD5EAAPAT_cvRU6__3U4Bvn0QTTKcr0AOXo___nDwAL_wHxHz4AFekU4bQAAAAZ0-TwIgDOZN_V4zgA2yC2zxAY6X_7KMv-_ebW0wjI6O_U-ynmFeoALsfBMDcN_QA5JxsgAC0z9DE7OBNACUhvUAIqrwYQDBqgBgAAkEEAAMjCAACQQQAAgMAAAIjBAADoQQAAFEIAABzCAABYQgAAQEEAAGhCAAAcwgAAPEIAACDCAADoQQAAAAAAAABAAAAQwgAAUEEAABjCAACgQgAA-EEAACBCAABQQQAAuEEAAJDBAAC4wgAAAMAAADhCAAAwQQAABMIAAODBAABgwQAAMEIAAFjCAACowQAAwMAAAPZCAACowQAAaEIAACDBAACgwAAAPEIAAJhBAAAAwgAAqEEAAIDBAADQwQAAiEIAAKjBAABQQQAA0MEAAOBBAACgwQAAMEEAAMDAAAAswgAAKMIAADzCAAB4QgAAQEEAABBBAAAkwgAAQMAAAOjBAAAswgAATMIAABDBAABQwQAAQMEAADRCAACmQgAAhsIAAIBAAACgwQAAsMIAAPDBAADAQQAAmEEAAOBBAACwwQAALEIAACxCAADgQgAAAMAAALDBAAAkQgAAJEIAALBBAAB4wgAAMMEAABhCAAB0QgAAkMIAAABBAACIwQAA8MEAAHBBAAAIQgAAgEAAAFBBAACWQgAAOEIAAEDBAACWwgAAwEEAAKDAAACQQgAAWMIAAGhCAAAMQgAAAEAAAJDBAAAgwQAAUEIAAHDBAADIQQAAUEEAAAAAAACQwQAABMIAAI7CAACowQAANMIAAEBAAABwwQAASMIAAPhBAAAUwgAAbMIAAIDBAADgwAAAoEEAABBCAADIwQAAuEEAAEBBAAB8wgAAoMAAAJTCAACKwgAAUEEAAADBAADgQAAAgEAAACjCAABwwgAAUEEAAIBCAABAwQAA0EEAACDCAAA0QgAAEEIAAARCAAC4QQAAQMAAAMLCAADQQQAAVEIAAMBBAABAQQAAIEEAAEzCAAA0QgAAgL8AAGRCAABAQQAAUEIAAODAAADgwAAAQEAAAIDAAAA0wgAAIMEAAFTCAADMQgAAEMIAABxCAACKQgAAQEAAABTCAABgQQAACEIAACRCAAAowgAALMIAADhCAAAUwgAA0MEAABzCAACWwgAANEIAAJBBAAAQwQAAkEEAAIBAAACSwgAAEMIAAEBAIAA4E0AJSHVQASqPAhAAGoACAAAUvgAARL4AAGw-AAAUPgAAiD0AACw-AAAMvgAAE78AAHy-AAAsPgAADD4AABy-AABcPgAA2D0AAEA8AADgvAAABD4AAHA9AADoPQAAkj4AAH8_AACgvAAAML0AABA9AACYPQAA4DwAAHC9AAAQPQAAML0AABw-AADIPQAAqL0AAIK-AABEPgAAgDsAAEA8AACgvAAAnr4AAFS-AADgvAAAJL4AAKC8AAAUPgAA6D0AAAS-AACSvgAAUL0AABA9AAA0vgAADL4AAAS-AACAuwAAZD4AACQ-AAAUvgAAmD0AAAs_AACYPQAA6D0AAFQ-AADIPQAAXD4AAPg9AAAkviAAOBNACUh8UAEqjwIQARqAAgAAmL0AAKg9AACgvAAAMb8AAOi9AAAwPQAA1j4AAES-AADIPQAAHD4AAIg9AACCvgAAbD4AADC9AADIPQAAuL0AABQ-AAAHPwAA-L0AAL4-AABwPQAAQDwAABA9AABQvQAAyD0AAIA7AAAwPQAA2D0AADA9AACgPAAAUD0AAKg9AAAwvQAA-L0AAFC9AACIvQAAyD0AAAw-AACovQAAoDwAAI4-AABAPAAAmD0AAOA8AAC4vQAAML0AAH-_AAA8PgAAqL0AAIo-AAAEPgAAyD0AAIC7AAAMPgAA4LwAAAQ-AAAQvQAABD4AAOC8AADIvQAA2D0AAHC9AADIPQAAuD0gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=V-9yY2xDt0A","parent-reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["15114951743962898568"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"1668052290"},"12900393218545346961":{"videoId":"12900393218545346961","docid":"34-4-9-Z9479D3BCBF4F09F0","description":"This is a video about a scifi scenario in which it would make sense to rigorously prove some simple thing from highschool maths all the way from the ZFC axioms using metamath. It's massively over...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3263765/bbff8384c540a8e48aeb3e1d7fad2c42/564x318_1"},"target":"_self","position":"16","reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3Dp6Tbp4PlaWk","linkTemplate":"/video/preview/12900393218545346961?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"High Stakes Maths 4: Aliens, metamath, Wolfram Problem Generator, 24 / 3 = ?????","related_orig_text":"MetaMaths","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"MetaMaths\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=p6Tbp4PlaWk\",\"src\":\"serp\",\"rvb\":\"ErMDChM1MDMxNzcwMTI0MTQ0MzIwNjA4ChQxMTgwMDE0NTg0NDcxNzEzNDc4MAoUMTExODk0MTI5MzkwNzk2NzAyNDEKFDEzMDExOTg3MzAwMjUzOTM2Njk5ChQxNzgzMDczMDI5NTgyNzc1NTU0MgoTMTM2ODc2Mzg4OTU5Mzc0Mjg0NgoUMTU2MDM0MjkzOTgxODg0MjU3NTMKEzc3MDYzNTI1NTAyNjk0MDY1NTgKEzE1MDI2MDEzNDg2MDAwNDUyNzYKFDExNjk0MTc1MTEzOTE1OTkyNTM1ChQxNTYxMTczNDEzMTc2NDI0MDUyMQoUMTE0ODE2OTQ1MDk1MDE0NjQ0OTgKFDE3MDM0MTM1NTU5MDE3NDM1OTAyChQxNTExNDk1MTc0Mzk2Mjg5ODU2OAoUMTI5MDAzOTMyMTg1NDUzNDY5NjEKEzgwMzI4NTUyMDY1ODgyNzkyNDEKFDEyNDI5NzAyMDcyNTY4MDg3MjAzChQxNzcwNDcxMTA2Njc1MTg4NDA0NwoUMTA0MjM5ODE4NjUyNjYxMDAzOTkKFDEyNTY3NjU3NjQxMDcxNzIyMDY2GhYKFDEyOTAwMzkzMjE4NTQ1MzQ2OTYxWhQxMjkwMDM5MzIxODU0NTM0Njk2MWqvDRIBMBgAIkUaMQAKKmhoenF0bW14eWhtam16ZWRoaFVDQWZ6UUF2c25XRHo0YTVxTzVjYkozURICABIqEMIPDxoPPxPeDYIEJAGABCsqiwEQARp4gQYH-QQD_QD4BwYJAAf8AhYC8fr0AgIA4wDwCgD9AgDo_BEFBQAAAAkIBhEBAAAACBL8A_T9AQAECO_2AwAAAAkI__b2AAAAGAr1Cf4BAAD2-hYBAwAAAAX1E_gAAAAAAAgC9gMAAAABGQH1AAAAAAUGAfYAAAAAIAAtMYLKOzgTQAlITlACKnMQABpg4A4AJgQV37oQAe3y8egBAeAD7Aj35gAJ8gDzEQbkBfjqzx45_w7pFu_CAAAAC9PuAiYAxFAm6eP2-wX99A0J9_l_9inV3DId2PYV7-gbAzjg7fgZAP_35x82BdIwLzQIIAAtJXJWOzgTQAlIb1ACKq8GEAwaoAYAAABCAAAAwQAAQEEAACDCAABQQgAAmMEAAJJCAADgQAAAAMIAAHTCAACQQgAAPMIAAAAAAABwwQAAAMAAAAAAAABUQgAAQEAAAExCAAAUwgAAoMEAAIhBAADgwAAAkEEAAFjCAACwQQAACMIAAFDCAAAUQgAAkMEAAAjCAADYQQAAfMIAAJDBAABcwgAADEIAACBBAACYQgAAcMEAACBBAABgwQAAHEIAALRCAADIwQAAAEEAAJrCAAAwQgAAAMAAALhCAAAAwQAAcEEAAFDCAAAQwQAAIMEAANBBAABAQQAADMIAAODAAAAgwQAATEIAAFhCAACAwgAAEEEAALjCAAAAwAAADMIAAEDCAAC4wQAAgD8AADTCAABMQgAApkIAAJzCAAAAAAAAgL8AANDBAABowgAALEIAAAjCAAAAwAAAqMEAAERCAABQQQAAFEIAAGBBAACOQgAAPEIAAAhCAACAQgAAXMIAAHjCAACoQgAAmEEAAABBAAAQwgAA8MEAAKjBAAB4QgAAuEEAAEBCAAB4wgAANEIAACjCAADgwAAAisIAAIC_AAAEQgAA6EEAANBBAACKQgAAoEEAAEDAAABAwQAAAAAAAGDBAACAvwAAgEAAAGTCAADQQQAAwEAAAMDBAADEwgAAksIAAMBAAAAQwgAAMMIAADjCAAAQQQAA0MIAAFBBAAAgwgAAIEEAAABAAADgQQAAnMIAABRCAABQQgAAwMAAAMBAAADgwQAA0EEAACRCAACYwQAAMMEAAHxCAAAEQgAAkMIAAHBCAAC4wQAA4EAAAKDAAADAQAAAAEEAAIC_AAAAQAAAosIAABDBAABIwgAAjsIAAIRCAABgwQAAyMEAAIC_AABkwgAASMIAACRCAAAAwAAAuEIAAABBAACoQQAAIEEAAEBAAABAwAAARMIAAADBAABQQQAAwMEAABjCAAAwQgAAMEEAADTCAABgwQAAyMEAAIBAAACgQQAAOMIAAIBAAADIQQAAFMIAAEDAAACCwgAAiMEAACBCAADAwAAAoMAAAERCAAAwQgAAyEEAAODBAADIwSAAOBNACUh1UAEqjwIQABqAAgAAQLwAAOA8AAC6PgAAVD4AAKC8AAA0PgAAJL4AALq-AABcvgAAUL0AAES-AACAOwAAij4AAIg9AACoPQAAqL0AAHw-AAAwPQAADD4AAKI-AAB_PwAAmL0AAHA9AAB0PgAAoDwAADC9AABAPAAAqD0AALi9AABEPgAA4DwAAOC8AAAcvgAAQDwAAKA8AAAMPgAAoDwAALi9AAC2vgAAVL4AACS-AAAUPgAADD4AAMg9AAAEvgAAQDwAAJY-AAAwvQAAUL0AAHC9AAAQvQAAED0AAGw-AAAkPgAAfL4AAKA8AAABPwAADD4AAIg9AAAkPgAAqD0AAEC8AADIPQAAEL0gADgTQAlIfFABKo8CEAEagAIAAGy-AAC4PQAAgDsAAB2_AABwvQAAcD0AAPg9AACgPAAAMD0AAGw-AACAuwAAML0AAOC8AABwvQAAMD0AAIA7AAAwvQAAPz8AAIA7AADaPgAAuD0AALi9AABAvAAAVL4AAIC7AADgvAAABD4AAAw-AABAPAAAiD0AAEC8AACYPQAAEL0AAEy-AAAEPgAAUL0AAIg9AABcPgAAfL4AAIC7AAAsPgAAJL4AAOg9AAD4vQAAoDwAADA9AAB_vwAAML0AAOC8AACgPAAAgDsAAEA8AADYvQAAMD0AAJY-AACIPQAAgLsAABA9AACoPQAADD4AAMg9AABMvgAAuD0AANg9IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=p6Tbp4PlaWk","parent-reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":960,"cheight":720,"cratio":1.33333,"dups":["12900393218545346961"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"8032855206588279241":{"videoId":"8032855206588279241","docid":"34-2-13-ZD09080CC0DF69A61","description":"This is a video about a scifi scenario in which it would make sense to rigorously prove some simple thing from highschool maths all the way from the ZFC axioms using metamath. It's massively over...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/2910071/b4492140b41f28abb3894c8e31a2df6d/564x318_1"},"target":"_self","position":"17","reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3Dfv3ru-qmr9o","linkTemplate":"/video/preview/8032855206588279241?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"High Stakes Maths 5: Aliens, metamath, Wolfram Problem Generator, 4 || 32 ???","related_orig_text":"MetaMaths","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"MetaMaths\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=fv3ru-qmr9o\",\"src\":\"serp\",\"rvb\":\"ErMDChM1MDMxNzcwMTI0MTQ0MzIwNjA4ChQxMTgwMDE0NTg0NDcxNzEzNDc4MAoUMTExODk0MTI5MzkwNzk2NzAyNDEKFDEzMDExOTg3MzAwMjUzOTM2Njk5ChQxNzgzMDczMDI5NTgyNzc1NTU0MgoTMTM2ODc2Mzg4OTU5Mzc0Mjg0NgoUMTU2MDM0MjkzOTgxODg0MjU3NTMKEzc3MDYzNTI1NTAyNjk0MDY1NTgKEzE1MDI2MDEzNDg2MDAwNDUyNzYKFDExNjk0MTc1MTEzOTE1OTkyNTM1ChQxNTYxMTczNDEzMTc2NDI0MDUyMQoUMTE0ODE2OTQ1MDk1MDE0NjQ0OTgKFDE3MDM0MTM1NTU5MDE3NDM1OTAyChQxNTExNDk1MTc0Mzk2Mjg5ODU2OAoUMTI5MDAzOTMyMTg1NDUzNDY5NjEKEzgwMzI4NTUyMDY1ODgyNzkyNDEKFDEyNDI5NzAyMDcyNTY4MDg3MjAzChQxNzcwNDcxMTA2Njc1MTg4NDA0NwoUMTA0MjM5ODE4NjUyNjYxMDAzOTkKFDEyNTY3NjU3NjQxMDcxNzIyMDY2GhUKEzgwMzI4NTUyMDY1ODgyNzkyNDFaEzgwMzI4NTUyMDY1ODgyNzkyNDFqrw0SATAYACJFGjEACipoaHpxdG1teHlobWptemVkaGhVQ0FmelFBdnNuV0R6NGE1cU81Y2JKM1ESAgASKhDCDw8aDz8TwAmCBCQBgAQrKosBEAEaeIECAPT9Av4A-RMQB_oH_QIWAvH69AICAOMA8QkA_QIA6PwRBQUAAAAJCAYQAQAAAPoL-v_7_gAABAH1_gQAAAAJCP_29wAAABgK9gj-AQAABP0SAAP_AAAA9g4G_wAAAAX-AvcBAAAAARkB9QAAAAAFBgH2AAAAACAALc6zzjs4E0AJSE5QAipzEAAaYOcLACIFGfTCBAPz8u7jCADm_usN8O8ABv0A7BYD5wH75dgnOv8X4hLyxgAAAAzk8f0YANBKGOzc-QP6A_kHBgL3fwEjy-UqF9f9GO7nGvwt5-YKGgD_-ewWLwvMMD0vAyAALU1JYzs4E0AJSG9QAiqvBhAMGqAGAACYQQAAgL8AAEDAAACAwQAAXEIAADDBAABgQgAAAEAAABDCAACSwgAAhEIAAEjCAAAgwQAAsMEAAIC_AACAwAAAGEIAADBBAAAgQgAALMIAADDBAACoQQAAUEEAANBBAABQwgAAUEEAAGzCAABYwgAALEIAAKjBAADowQAAIEEAAFzCAAAAwQAADMIAANBBAAAAQAAAjkIAAODAAAAAAAAAUMEAAMBBAAC2QgAAQMEAAABBAACYwgAAQEIAAMDBAAC8QgAA4MAAAJhBAABQwgAAgMEAAIDBAADAQQAAIEEAAIDBAACAwQAANMIAACxCAACAQgAAaMIAALhBAACuwgAAgMEAACDBAAA4wgAA-MEAAMDAAAAYwgAAYEIAALRCAACgwgAAgD8AAJBBAAAEwgAASMIAACxCAACowQAAAMEAANDBAAAkQgAAiEEAALBBAACYQQAAfEIAAFBCAAAAQgAAhEIAAFDCAAB8wgAAmEIAAMhBAAAAAAAAUMIAABDCAABAQAAAhEIAAIBBAAAgQgAAUMIAAExCAABUwgAAEMEAALLCAABAQAAAcEEAAABCAACQQQAAYEIAAKBAAACAwAAAqMEAAMDBAABwQQAAIMEAABDBAAAwwgAAREIAALBBAACgwQAA0MIAAKjCAABAQAAA4MEAACDCAABMwgAAAEEAAPLCAAAgwQAABMIAAGBBAAAAQAAA2EEAAJLCAADoQQAAcEIAAEDAAADgQAAAEMIAANBBAAAUQgAAyMEAAKDAAABgQgAA6EEAAGDCAACMQgAAYMEAAIA_AACAwAAAoEAAABBBAACAwAAA4MAAAJTCAABAQAAAMMIAAIzCAACWQgAAgL8AAATCAACAQAAALMIAAGTCAAAcQgAAoMAAAMJCAACgwAAA0EEAAGBBAACQQQAAAMEAAEjCAAAAQQAAEEEAABDCAAAYwgAA-EEAAOhBAAD4wQAAuMEAANDBAACAwAAAiEEAACTCAACAQAAATEIAAGDBAABgwQAAZMIAAHDBAAA0QgAAmMEAAADAAACAQgAATEIAAMBBAAD4wQAA6MEgADgTQAlIdVABKo8CEAAagAIAAPg9AACoPQAAvj4AAEA8AABQvQAAPD4AAKC8AADqvgAAjr4AADA9AAAQvQAAQLwAAIY-AACoPQAA4LwAALi9AABMPgAAED0AABw-AADSPgAAfz8AADC9AACoPQAAHD4AADC9AAAwvQAAiD0AAOg9AADIvQAAsj4AAJg9AAAQvQAALL4AAFC9AACIPQAAJD4AANg9AABQvQAAdL4AAES-AADovQAAmD0AAIo-AAAcPgAAZL4AAOg9AABkPgAA2L0AALi9AAAUvgAA4LwAABw-AAA8PgAALD4AAAy-AADgPAAAAT8AAAQ-AADIPQAAiD0AAFA9AABAPAAAHD4AAOC8IAA4E0AJSHxQASqPAhABGoACAABUvgAAgDsAADC9AAAlvwAAgLsAAHA9AAA0PgAA6L0AAIA7AABcPgAAQLwAAIi9AAC4vQAAuL0AABA9AACAOwAAMD0AADM_AABAvAAA-j4AAKC8AABQvQAAqL0AACy-AADgPAAAUL0AALg9AAAQPQAAuD0AALg9AACAOwAAyD0AAFC9AACGvgAADD4AAEA8AADYPQAAHD4AAGy-AACgPAAABD4AAMi9AACgPAAAuL0AAKi9AACYPQAAf78AAPi9AAAwvQAAMD0AAHA9AACYvQAAuL0AAOC8AABsPgAAMD0AAIC7AABAPAAA4DwAABQ-AACoPQAAFL4AAOg9AAD4PSAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=fv3ru-qmr9o","parent-reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":960,"cheight":720,"cratio":1.33333,"dups":["8032855206588279241"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"12429702072568087203":{"videoId":"12429702072568087203","docid":"34-4-3-Z4A50860933C5D947","description":"This is a video about a scifi scenario in which it would make sense to rigorously prove a simple theorem all the way from the ZFC axioms using metamath. It's massively over rigorous overkill for...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/2445305/d0501d83be37ebe79e0e4f5656b55aa5/564x318_1"},"target":"_self","position":"18","reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3D9L3sJIr-xkM","linkTemplate":"/video/preview/12429702072568087203?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"High Stakes Maths 3: Aliens, metamath, Wolfram Problem Generator, 7 x 5 = ?????","related_orig_text":"MetaMaths","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"MetaMaths\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=9L3sJIr-xkM\",\"src\":\"serp\",\"rvb\":\"ErMDChM1MDMxNzcwMTI0MTQ0MzIwNjA4ChQxMTgwMDE0NTg0NDcxNzEzNDc4MAoUMTExODk0MTI5MzkwNzk2NzAyNDEKFDEzMDExOTg3MzAwMjUzOTM2Njk5ChQxNzgzMDczMDI5NTgyNzc1NTU0MgoTMTM2ODc2Mzg4OTU5Mzc0Mjg0NgoUMTU2MDM0MjkzOTgxODg0MjU3NTMKEzc3MDYzNTI1NTAyNjk0MDY1NTgKEzE1MDI2MDEzNDg2MDAwNDUyNzYKFDExNjk0MTc1MTEzOTE1OTkyNTM1ChQxNTYxMTczNDEzMTc2NDI0MDUyMQoUMTE0ODE2OTQ1MDk1MDE0NjQ0OTgKFDE3MDM0MTM1NTU5MDE3NDM1OTAyChQxNTExNDk1MTc0Mzk2Mjg5ODU2OAoUMTI5MDAzOTMyMTg1NDUzNDY5NjEKEzgwMzI4NTUyMDY1ODgyNzkyNDEKFDEyNDI5NzAyMDcyNTY4MDg3MjAzChQxNzcwNDcxMTA2Njc1MTg4NDA0NwoUMTA0MjM5ODE4NjUyNjYxMDAzOTkKFDEyNTY3NjU3NjQxMDcxNzIyMDY2GhYKFDEyNDI5NzAyMDcyNTY4MDg3MjAzWhQxMjQyOTcwMjA3MjU2ODA4NzIwM2qvDRIBMBgAIkUaMQAKKmhoenF0bW14eWhtam16ZWRoaFVDQWZ6UUF2c25XRHo0YTVxTzVjYkozURICABIqEMIPDxoPPxP9BoIEJAGABCsqiwEQARp4gfT89v4B_wD5Eg8H-gf9AhUC8fr0AgIA6AH4-_j-AQDo_BAFBQAAAAYJBwULAAAAAQX7A_3-AQAEAfX-BAAAAAkI__b3AAAAGxH_AP4BAAD-AQ8OBP8AAP7yCP7_AAAABf4C9wEAAAABGQH1AAAAAAkCBe4AAAAAIAAthUHROzgTQAlITlACKnMQABpg6g0AGQIW7M8OCfX38O0E-esJ7w776wAL-AAADgHmA_3s4iU3AAnsFv3QAAAADuHuBAYA1Dsa6u3-A-z8_RME-_x_9hnL6xwc5AAU9PAVACj04A0OAAcB-RYrDcokKRsNIAAtF4GBOzgTQAlIb1ACKq8GEAwaoAYAANBBAADIwQAA4EEAABDCAACeQgAAQEAAAKJCAADgQAAAKMIAAFDCAABMQgAAAMIAAIDAAACQwQAA4MAAAADAAABQQgAAgEAAABBCAAD4wQAA4MAAALhBAABwwQAAQEEAAFzCAADAQAAAJMIAACjCAAB0QgAAyMEAAATCAABwQQAAlsIAAKjBAACQwgAAFEIAAJhBAACiQgAAoMEAAOBAAADIwQAAEEIAAJ5CAADgwQAAYEEAALbCAABMQgAAuEEAANZCAAAAQAAAiEEAAEDCAAAgwQAAUMEAADBBAADAQQAAsMEAAFBBAACAwAAAIEIAAPhBAACMwgAAiEEAAJLCAACAPwAA8MEAAEDCAACQwQAAAEAAABDCAADIQQAAjEIAAJDCAACYQQAAQMEAAPDBAAAcwgAANEIAACjCAAAAwQAAiMEAAGhCAACwQQAAIEIAAFBBAAB0QgAAIEIAAOhBAAB0QgAAOMIAADzCAACaQgAAJEIAAMBAAAAQwgAAqMEAAADAAABUQgAAqEEAAIRCAABQwgAAbEIAAAzCAACAwAAAwMIAAIDBAAAEQgAAMEIAAMhBAACIQgAAqEEAAKDAAABAQAAAwEAAAMDBAAC4wQAAQEEAAGjCAACoQQAAcEEAAODBAAC-wgAArMIAAGDBAAAowgAANMIAACjCAADAQAAArMIAAIhBAACIwQAAMEEAABBBAAAgQgAAosIAADxCAABoQgAAgL8AAKDAAADwwQAA4EAAAHhCAACAwQAAQMAAAFBCAAAEQgAAdMIAABxCAACwwQAAUEEAAFDBAAAgQQAAEEEAAADBAABAwAAAssIAAADAAAA0wgAAosIAAEhCAACAwQAA0MEAABBBAABowgAAGMIAABBCAACgQQAAtkIAAKhBAAAMQgAAAEEAAEDAAAAAwAAAVMIAAIC_AABgwQAAAEAAANDBAAD4QQAAwEEAAGzCAABgwQAAEMIAAIDAAAC4QQAAAMIAACBBAACYQQAA6MEAAODAAABgwgAAsMEAADRCAACAvwAAgL8AAFBCAAA8QgAAgL8AANjBAAAkwiAAOBNACUh1UAEqjwIQABqAAgAABL4AAEA8AADKPgAA2D0AAOC8AAAMPgAAmL0AAL6-AACKvgAAoLwAABy-AAAQPQAAmj4AAKg9AAD4PQAAqL0AABw-AABwPQAAND4AALY-AAB_PwAAUL0AAPg9AAAcPgAAQLwAAKC8AACAOwAAmD0AAEC8AABcPgAAMD0AAIC7AADgvAAA2L0AAAw-AAA0PgAAyD0AAJi9AACOvgAAVL4AAEA8AADYPQAATD4AALg9AAA8vgAAyD0AAJI-AABQvQAAiL0AAAS-AABwvQAAqD0AAEw-AABkPgAATL4AALg9AADyPgAAJD4AAPg9AAAUPgAAuD0AAOC8AAAMPgAAqL0gADgTQAlIfFABKo8CEAEagAIAADy-AAAQPQAAcD0AAB-_AAAwvQAAUD0AAGQ-AABAPAAAiD0AACw-AABQPQAAEL0AAIC7AACIvQAAmD0AADA9AADgPAAANT8AAJi9AADOPgAAQDwAAJi9AAC4vQAANL4AAIC7AACgvAAADD4AAJg9AABQPQAAyD0AAKC8AADIPQAALL4AAIq-AADIPQAAiD0AAIC7AAAsPgAAfL4AABC9AACIPQAAFL4AAKg9AABwvQAAQDwAAOA8AAB_vwAAEL0AAKC8AACYvQAA4LwAAHA9AADIvQAAoLwAAHQ-AACYPQAAgDsAAKA8AACoPQAA2D0AAJg9AACGvgAADD4AALg9IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=9L3sJIr-xkM","parent-reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":960,"cheight":720,"cratio":1.33333,"dups":["12429702072568087203"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"17704711066751884047":{"videoId":"17704711066751884047","docid":"34-10-3-Z5688A476E0396B0F","description":"This is an introduction to Metamath and mmj2. Metamath is a system for formalizing & verifying math proofs. mmj2 is a text editor implemented in Java that s...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/2827820/52bfb3560a9fcf0760c825f5d5847ca8/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/Qty4BwEAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"19","reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DRst2hZpWUbU","linkTemplate":"/video/preview/17704711066751884047?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Introduction to Metamath and mmj2","related_orig_text":"MetaMaths","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"MetaMaths\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=Rst2hZpWUbU\",\"src\":\"serp\",\"rvb\":\"ErMDChM1MDMxNzcwMTI0MTQ0MzIwNjA4ChQxMTgwMDE0NTg0NDcxNzEzNDc4MAoUMTExODk0MTI5MzkwNzk2NzAyNDEKFDEzMDExOTg3MzAwMjUzOTM2Njk5ChQxNzgzMDczMDI5NTgyNzc1NTU0MgoTMTM2ODc2Mzg4OTU5Mzc0Mjg0NgoUMTU2MDM0MjkzOTgxODg0MjU3NTMKEzc3MDYzNTI1NTAyNjk0MDY1NTgKEzE1MDI2MDEzNDg2MDAwNDUyNzYKFDExNjk0MTc1MTEzOTE1OTkyNTM1ChQxNTYxMTczNDEzMTc2NDI0MDUyMQoUMTE0ODE2OTQ1MDk1MDE0NjQ0OTgKFDE3MDM0MTM1NTU5MDE3NDM1OTAyChQxNTExNDk1MTc0Mzk2Mjg5ODU2OAoUMTI5MDAzOTMyMTg1NDUzNDY5NjEKEzgwMzI4NTUyMDY1ODgyNzkyNDEKFDEyNDI5NzAyMDcyNTY4MDg3MjAzChQxNzcwNDcxMTA2Njc1MTg4NDA0NwoUMTA0MjM5ODE4NjUyNjYxMDAzOTkKFDEyNTY3NjU3NjQxMDcxNzIyMDY2GhYKFDE3NzA0NzExMDY2NzUxODg0MDQ3WhQxNzcwNDcxMTA2Njc1MTg4NDA0N2qIFxIBMBgAIkUaMQAKKmhoZmxncW9vb2NkcXdpbmNoaFVDcVZkOUtoRGEyaTVjMThBWTVjWG9oQRICABIqEMIPDxoPPxPbCIIEJAGABCsqiwEQARp4ge4B-f38BQD8AA8FBwf8Af8S-Ab3_v4A9QX1_fYC_wDr-QUF_P8AAAD_AgT-AAAA-Q_-Cv7_AAANAvgQAgAAABEI-P33AAAADwgFAv4BAADyAgwHAwAAAP8IC_H_AAAABwz_APn_AAEREPUFAQAAAP_2Af4AAAAAIAAtcYbeOzgTQAlITlACKoQCEAAa8AFsBPwBvxn8_hID-wDfHeoAgQUL_xUQ9QCyAwoAvg7t__MGBADp7_cA4fsNANsZDgAh5_QAJPrrACEBAgAYFRD_CQEdADvpCgEwCvMABPn0AP8IGv4O5hUADe_9ABQK7P4X9A790gDjAPn25QTzCiQBFgoVAQ7z_QMBCP3-9RIYAQEW-AQLAwQA__MQANP5BQQGBPL-IQv0A-0Y7gIMEQYE6hUD-x8J_AIg9AQF__YC_dP8AgH9Ae0DDQcN-PsQ4_0C-OwACfQE_AcHFAQq8Az9Bf8N_gH4EAj9GfcGD-4H-wIeE_3PIfsE7Q_9A_z6-_QgAC1uJ0g7OBNACUhhUAIqzwcQABrAB8GnBb_UlRU8csPvvMl3hLrVNeQ8-_HNvILhHD1Pcd47DIAnvJu3YD3A-rk9t-C7vHR8xL4chO88mdotvcVVhT5UMG-9m38qvHoXL74IPDA9KZ_UvE94kb5nFUw9qeaLuj2h8jyu2SW81Mx_PUG2HD7BMKo8jUl7O7KCX730CKS8eXyWvPN_Xb2Bhg29HZGMuuaU4D3m3Le8ttCfPGDnJj4N0w298R7xvGWxwzyo_6w8aeTzvHq2qL2u4sO7KYvrO3MIsT1Avdm8hcOcPL4KujzlFHi8uLh8vPo2Ez1e2hA9_8YivDIf0LwWS7E903aCPIYbsDzkXBS9qACYPD4Zbb1vM1A9sGOSPPX1_D2cogg96ytZvCKudzyAZks9u95sPLO-N7y3HQW8-reJO9eK1j1wbfY7VIupuix6jLx2ZWE8yS8su7d-9juqiVQ9uOOwuqZqMT0zzlU9S0KeumuDrrzJSCw83saLvI2bmr1zlTg97PuLvA-22D1co2-9sO2IPC6ZqT26Vzw9nW40PEBRtDzGvqQ8h343unn7vTwpN_a8CYeevAsSdj3doXY7W4ltuxgvTDzCHg28X8iwO4gkH71DVcw85eFzvKR9vT1zyYe9L8gvO_LvEjxqNcE7GVDzO3DBiDwHlZ288HAavMUb2byaFX67IK9uO2p6mjzkCU69gsT6OwMnuz1NrIK83tsAu72E0LpoC0O9xl-DO9DzwjzD7bW8rbQ1u5qYrrzuDww8I9yBO8DVlTuCLFU9e3iJuNgu7Tzn6j29U3Umubcp_Tp_ukY9NfpOOVxsfzxT40o843O_OVOzJz3SkEy9MxqUOK4ZT7zsNkO9Gk61OZ4Sa73yYyc8jR9AOWKqzzxWMOi6qSNcOOu8l7wOkzq951aluJObsrznpg09sSLnuBDJkLyNQUy8EnOmuB7M4LvW8U69P-YluQipwLwEqdS869lHOVfSBb3WTAg9f0GMN6vMCjrLqym9CVXCt5btnjxsGys9Ex1uuDormDwS-Z49bJ6HuECYJbzjIpI8K_Vbubg-rLxsBvi9ef8guDWAgj1XsI085fOrtqzmeb1tV6i8eWn2t46ItTrZynC9_wlnN4aqeD21IgC92i8DOAIB4TxEMw-9OQafuPPPtz37TVI9xCwiuZbRyDzN19s8CrKWtxHvLz2C_E-7XeoEN4DXN7hS0gO9qjz9tr2vBT2lSQm-rZ6FuMr0cD0i4Ss-8cuKOPCyNb1czM89DEYKuXUeVb2U2aC8fylKN0eIvDs1iQa698M8OCAAOBNACUhtUAEqcxAAGmAVCAAc8CvQuw8X8fHWyRbR8gjCJsvzAP3lAB0E69sX9vrFCwb_H-gj-bQAAAAR9OINDgDBZevj6iXmCv7H0gcB_n_zIyLg1_D0twYU-O7hDg3LGwMAMrquGVsn6iM2JAggAC0OWzI7OBNACUhvUAIqrwYQDBqgBgAA4EAAAHxCAACIQQAADEIAABDBAACgQQAAbEIAAKDAAABAwgAAUEEAAGRCAABEwgAAkMEAAFDBAABgwgAAXMIAAKZCAABAwgAACEIAAAxCAACAPwAAsMEAAFzCAABAQAAAcMEAAFBBAAAIwgAAQMAAAKhCAAAAQgAAHMIAAJjBAACcwgAAJEIAALjBAAAEwgAAQEEAALhBAACgQQAAfEIAAIjBAAAMwgAAcMEAAADAAAB0wgAAfMIAAHhCAACYQQAAikIAAADAAABAwAAAqMEAAIBAAAAgQgAAUEIAAGBCAACGwgAAhMIAAHhCAABAQgAAsMEAALDBAAAwwgAAmMEAAGxCAAAAwQAAUEEAAARCAABQwQAAoMEAAEBAAACIQQAAiMEAAKjBAABwwQAAIEEAAJbCAAAwQgAAgEAAAMBBAAAEQgAA_kIAANjBAADgwQAAkkIAAIBBAAAAAAAAOMIAAJpCAAA8wgAAAMAAAFRCAAAgwQAA4EAAABDCAAAAwgAAYMEAAHDBAAD4wQAAAAAAADDBAAC4wQAAXEIAAMhBAAA8wgAATEIAAIzCAACEQgAAoEEAABxCAAAEQgAABEIAACDBAADoQQAAIMEAAExCAAAUQgAAsEEAAJDBAABAwAAAPMIAAMDAAABAQQAAhsIAAIBBAAAAwAAAJEIAANDBAACAQQAAMEEAAFDBAACgwgAAwEEAACBBAABcwgAAkkIAAGBBAAAEQgAAgkIAAATCAACAQAAA4MEAACjCAAAswgAAaEIAAMBBAABAwQAAzkIAANDBAAAQQQAAoMIAAEhCAACgwAAAEMEAAJjBAAAgwgAAKMIAAGBBAAAgwQAAOMIAAKBAAAAEQgAA8MEAACBBAACIQQAAHMIAAFDBAABAQAAAiEEAACzCAABMQgAAoEAAANjBAACAvwAAgL8AAKhBAAB4QgAA0EEAAEDBAAAMQgAAiMIAAJbCAAAcwgAAAMEAAARCAAAcQgAAEMIAAJDBAAAUQgAA6MEAADBCAACAwQAAQMEAAHxCAAAwwQAAFEIAALBBAACAwQAAgMEAALDBIAA4E0AJSHVQASqPAhAAGoACAAB0vgAALL4AALY-AABEPgAAoDwAAIY-AADYvQAAD78AAJ6-AACYPQAABD4AAPi9AACoPQAAyD0AAAy-AAAwvQAAVD4AAKC8AADYPQAA5j4AAH8_AACIvQAA6L0AAJi9AAAwPQAAMD0AAIA7AAAMPgAANL4AAJg9AAAkPgAAiL0AAGS-AAC4PQAAoDwAAKC8AAAwPQAAgr4AAI6-AAD4vQAA2L0AAHA9AAA8PgAAcL0AAIA7AAAsvgAAPD4AADC9AADIvQAAXL4AAHS-AACovQAAVD4AAEQ-AAAEvgAA4DwAAAc_AAC4PQAAyD0AAHQ-AABQPQAA6D0AAHA9AADoPSAAOBNACUh8UAEqjwIQARqAAgAALL4AAAQ-AAAwvQAAI78AAEC8AACoPQAAvj4AAGS-AAAwPQAAPD4AAKg9AAAkvgAAFD4AAJi9AACoPQAAUL0AAMg9AAARPwAAFL4AAMo-AABwvQAAoDwAAKA8AADYvQAAqD0AAIi9AACgPAAAuD0AABC9AACAOwAAiD0AAAQ-AABEvgAAiL0AAJg9AAAMvgAA6D0AAEw-AABMvgAAiL0AABQ-AAAwvQAAQDwAAEA8AACIvQAAEL0AAH-_AACYPQAAiL0AAEw-AABUPgAAcD0AAFC9AAAUPgAAQDwAALg9AADgvAAAUD0AAEC8AACgPAAA-D0AAFC9AAAkPgAAQDwgADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=Rst2hZpWUbU","parent-reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["17704711066751884047"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"907539949"}},"dups":{"5031770124144320608":{"videoId":"5031770124144320608","title":"Introduction to \u0007[Metamath\u0007]-lamp, part 1","cleanTitle":"Introduction to Metamath-lamp, part 1","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=b-RfoUuQpAQ","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/b-RfoUuQpAQ?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":"d3d3LnlvdXR1YmUuY29tO1VDcVZkOUtoRGEyaTVjMThBWTVjWG9oQQ==","name":"David A. Wheeler","isVerified":false,"subscribersCount":0,"url":"/video/search?text=David+A.+Wheeler","origUrl":"http://www.youtube.com/@DavidAWheeler","a11yText":"David A. Wheeler. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":245,"text":"4:05","a11yText":"Süre 4 dakika 5 saniye","shortText":"4 dk."},"date":"27 haz 2023","modifyTime":1687820416000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/b-RfoUuQpAQ?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=b-RfoUuQpAQ","reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","duration":245},"parentClipId":"5031770124144320608","href":"/preview/5031770124144320608?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths","rawHref":"/video/preview/5031770124144320608?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"11800145844717134780":{"videoId":"11800145844717134780","title":"Creating functions in \u0007[Metamath\u0007]","cleanTitle":"Creating functions in Metamath","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=vE3v175cMKM","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/vE3v175cMKM?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":"d3d3LnlvdXR1YmUuY29tO1VDcVZkOUtoRGEyaTVjMThBWTVjWG9oQQ==","name":"David A. Wheeler","isVerified":false,"subscribersCount":0,"url":"/video/search?text=David+A.+Wheeler","origUrl":"http://www.youtube.com/@DavidAWheeler","a11yText":"David A. Wheeler. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":631,"text":"10:31","a11yText":"Süre 10 dakika 31 saniye","shortText":"10 dk."},"views":{"text":"1,6bin","a11yText":"1,6 bin izleme"},"date":"12 tem 2016","modifyTime":1468281600000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/vE3v175cMKM?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=vE3v175cMKM","reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","duration":631},"parentClipId":"11800145844717134780","href":"/preview/11800145844717134780?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths","rawHref":"/video/preview/11800145844717134780?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"11189412939079670241":{"videoId":"11189412939079670241","title":"Introduction to \u0007[Metamath\u0007]-lamp, part 3","cleanTitle":"Introduction to Metamath-lamp, part 3","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=Aqp3jAM2b60","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/Aqp3jAM2b60?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":"d3d3LnlvdXR1YmUuY29tO1VDcVZkOUtoRGEyaTVjMThBWTVjWG9oQQ==","name":"David A. Wheeler","isVerified":false,"subscribersCount":0,"url":"/video/search?text=David+A.+Wheeler","origUrl":"http://www.youtube.com/@DavidAWheeler","a11yText":"David A. Wheeler. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":1651,"text":"27:31","a11yText":"Süre 27 dakika 31 saniye","shortText":"27 dk."},"date":"26 haz 2023","modifyTime":1687763102000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/Aqp3jAM2b60?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=Aqp3jAM2b60","reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","duration":1651},"parentClipId":"11189412939079670241","href":"/preview/11189412939079670241?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths","rawHref":"/video/preview/11189412939079670241?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"13011987300253936699":{"videoId":"13011987300253936699","title":"\u0007[Metamath\u0007] Proof Explorer: A Modern Principia Mathematica","cleanTitle":"Metamath Proof Explorer: A Modern Principia Mathematica","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=8WH4Rd4UKGE","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/8WH4Rd4UKGE?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":"d3d3LnlvdXR1YmUuY29tO1VDcVZkOUtoRGEyaTVjMThBWTVjWG9oQQ==","name":"David A. Wheeler","isVerified":false,"subscribersCount":0,"url":"/video/search?text=David+A.+Wheeler","origUrl":"https://www.youtube.com/channel/UCqVd9KhDa2i5c18AY5cXohA","a11yText":"David A. Wheeler. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":864,"text":"14:24","a11yText":"Süre 14 dakika 24 saniye","shortText":"14 dk."},"views":{"text":"12bin","a11yText":"12 bin izleme"},"date":"14 ağu 2016","modifyTime":1471132800000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/8WH4Rd4UKGE?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=8WH4Rd4UKGE","reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","duration":864},"parentClipId":"13011987300253936699","href":"/preview/13011987300253936699?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths","rawHref":"/video/preview/13011987300253936699?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"17830730295827755542":{"videoId":"17830730295827755542","title":"Introduction to \u0007[Metamath\u0007]-lamp, part 2","cleanTitle":"Introduction to Metamath-lamp, part 2","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=WOp2xQ8mEE4","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/WOp2xQ8mEE4?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":"d3d3LnlvdXR1YmUuY29tO1VDcVZkOUtoRGEyaTVjMThBWTVjWG9oQQ==","name":"David A. Wheeler","isVerified":false,"subscribersCount":0,"url":"/video/search?text=David+A.+Wheeler","origUrl":"http://www.youtube.com/@DavidAWheeler","a11yText":"David A. Wheeler. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":3036,"text":"50:36","a11yText":"Süre 50 dakika 36 saniye","shortText":"50 dk."},"date":"27 haz 2023","modifyTime":1687820347000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/WOp2xQ8mEE4?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=WOp2xQ8mEE4","reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","duration":3036},"parentClipId":"17830730295827755542","href":"/preview/17830730295827755542?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths","rawHref":"/video/preview/17830730295827755542?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"1368763889593742846":{"videoId":"1368763889593742846","title":"\u0007[Metamath\u0007] Speedrun - 100 Formal Proofs under 40 Minutes!!!","cleanTitle":"Metamath Speedrun - 100 Formal Proofs under 40 Minutes!!!","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=guIPm9MZWYE","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/guIPm9MZWYE?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":"d3d3LnlvdXR1YmUuY29tO1VDOXR5a1IwcnBOYlRJRGlKYjM4aUJ5dw==","name":"firesquirrel","isVerified":false,"subscribersCount":0,"url":"/video/search?text=firesquirrel","origUrl":"http://www.youtube.com/@firesquirrel69","a11yText":"firesquirrel. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":2331,"text":"38:51","a11yText":"Süre 38 dakika 51 saniye","shortText":"38 dk."},"date":"25 eki 2024","modifyTime":1729814400000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/guIPm9MZWYE?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=guIPm9MZWYE","reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","duration":2331},"parentClipId":"1368763889593742846","href":"/preview/1368763889593742846?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths","rawHref":"/video/preview/1368763889593742846?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"15603429398188425753":{"videoId":"15603429398188425753","title":"Arithmetic in \u0007[Metamath\u0007], Case Study: Bertrand's Postulate (CICM 2015)","cleanTitle":"Arithmetic in Metamath, Case Study: Bertrand's Postulate (CICM 2015)","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=PF9cL3RABIw","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/PF9cL3RABIw?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":"d3d3LnlvdXR1YmUuY29tO1VDenY2c2MyMWFhWndsdVJ2VGhFWWd3dw==","name":"Mario Carneiro","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Mario+Carneiro","origUrl":"http://www.youtube.com/@digama0","a11yText":"Mario Carneiro. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":1561,"text":"26:01","a11yText":"Süre 26 dakika 1 saniye","shortText":"26 dk."},"views":{"text":"1,3bin","a11yText":"1,3 bin izleme"},"date":"19 tem 2015","modifyTime":1437264000000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/PF9cL3RABIw?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=PF9cL3RABIw","reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","duration":1561},"parentClipId":"15603429398188425753","href":"/preview/15603429398188425753?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths","rawHref":"/video/preview/15603429398188425753?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"7706352550269406558":{"videoId":"7706352550269406558","title":"Exploring \u0007[Metamath\u0007] dataset in Sophize","cleanTitle":"Exploring Metamath dataset in Sophize","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=U0jXd7NAvW8","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/U0jXd7NAvW8?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":"d3d3LnlvdXR1YmUuY29tO1VDaHBrYzJtdFQzeDhUdVVidmlQREZlZw==","name":"Sophize Foundation","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Sophize+Foundation","origUrl":"https://www.youtube.com/channel/UChpkc2mtT3x8TuUbviPDFeg","a11yText":"Sophize Foundation. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":219,"text":"3:39","a11yText":"Süre 3 dakika 39 saniye","shortText":"3 dk."},"date":"24 eyl 2020","modifyTime":1600905600000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/U0jXd7NAvW8?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=U0jXd7NAvW8","reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","duration":219},"parentClipId":"7706352550269406558","href":"/preview/7706352550269406558?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths","rawHref":"/video/preview/7706352550269406558?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"1502601348600045276":{"videoId":"1502601348600045276","title":"Lessons from \u0007[Metamath\u0007]","cleanTitle":"Lessons from Metamath","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=OOF4NWRyue4","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/OOF4NWRyue4?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":"d3d3LnlvdXR1YmUuY29tO1VDenY2c2MyMWFhWndsdVJ2VGhFWWd3dw==","name":"Mario Carneiro","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Mario+Carneiro","origUrl":"http://www.youtube.com/@digama0","a11yText":"Mario Carneiro. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":1918,"text":"31:58","a11yText":"Süre 31 dakika 58 saniye","shortText":"31 dk."},"views":{"text":"1,3bin","a11yText":"1,3 bin izleme"},"date":"8 mayıs 2022","modifyTime":1651968000000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/OOF4NWRyue4?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=OOF4NWRyue4","reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","duration":1918},"parentClipId":"1502601348600045276","href":"/preview/1502601348600045276?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths","rawHref":"/video/preview/1502601348600045276?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"11694175113915992535":{"videoId":"11694175113915992535","title":"\u0007[Metamath\u0007] Fractal Sacred Geometry NFT ART - ART Meets Science - Opensea","cleanTitle":"Metamath Fractal Sacred Geometry NFT ART - ART Meets Science - Opensea","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=exqCTPe7M0o","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/exqCTPe7M0o?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":"d3d3LnlvdXR1YmUuY29tO1VDNm4yVVdzN2pTY2p1bU1YYTVQRk9WZw==","name":"Metamath byAK","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Metamath+byAK","origUrl":"http://www.youtube.com/@metamathbyak827","a11yText":"Metamath byAK. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":9,"text":"00:09","a11yText":"Süre 9 saniye","shortText":""},"date":"3 kas 2021","modifyTime":1635897600000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/exqCTPe7M0o?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=exqCTPe7M0o","reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","duration":9},"parentClipId":"11694175113915992535","href":"/preview/11694175113915992535?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths","rawHref":"/video/preview/11694175113915992535?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"15611734131764240521":{"videoId":"15611734131764240521","title":"High Stakes Maths: Aliens, \u0007[metamath\u0007], Wolfram Problem Generator, 5 + 4 = ?????","cleanTitle":"High Stakes Maths: Aliens, metamath, Wolfram Problem Generator, 5 + 4 = ?????","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=RygzTCoKxNA","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/RygzTCoKxNA?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":"d3d3LnlvdXR1YmUuY29tO1VDQWZ6UUF2c25XRHo0YTVxTzVjYkozUQ==","name":"Jon P","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Jon+P","origUrl":"http://www.youtube.com/@jonp3674","a11yText":"Jon P. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":1467,"text":"24:27","a11yText":"Süre 24 dakika 27 saniye","shortText":"24 dk."},"date":"22 tem 2022","modifyTime":1658448000000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/RygzTCoKxNA?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=RygzTCoKxNA","reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","duration":1467},"parentClipId":"15611734131764240521","href":"/preview/15611734131764240521?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths","rawHref":"/video/preview/15611734131764240521?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"11481694509501464498":{"videoId":"11481694509501464498","title":"\u0007[Metamath\u0007] Statement Screen Demo","cleanTitle":"Metamath Statement Screen Demo","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=qTOUBEACTz4","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/qTOUBEACTz4?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":"d3d3LnlvdXR1YmUuY29tO1VDWEZxM2wxN3RTT292TUJ6b0RvSzJEZw==","name":"William Hale","isVerified":false,"subscribersCount":0,"url":"/video/search?text=William+Hale","origUrl":"https://www.youtube.com/channel/UCXFq3l17tSOovMBzoDoK2Dg","a11yText":"William Hale. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":142,"text":"2:22","a11yText":"Süre 2 dakika 22 saniye","shortText":"2 dk."},"date":"23 şub 2018","modifyTime":1519344000000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/qTOUBEACTz4?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=qTOUBEACTz4","reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","duration":142},"parentClipId":"11481694509501464498","href":"/preview/11481694509501464498?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths","rawHref":"/video/preview/11481694509501464498?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"17034135559017435902":{"videoId":"17034135559017435902","title":"Combination of Polynomials | Putnam 2010 B4 with @\u0007[MetaMaths\u0007]","cleanTitle":"Combination of Polynomials | Putnam 2010 B4 with @MetaMaths","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=HKtQduS2Yvs","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/HKtQduS2Yvs?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":"d3d3LnlvdXR1YmUuY29tO1VDVC1RUlJpWW96YTVyUkRDS05kWWRoZw==","name":"letsthinkcritically","isVerified":false,"subscribersCount":0,"url":"/video/search?text=letsthinkcritically","origUrl":"http://www.youtube.com/@letsthinkcritically","a11yText":"letsthinkcritically. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":371,"text":"6:11","a11yText":"Süre 6 dakika 11 saniye","shortText":"6 dk."},"views":{"text":"9,6bin","a11yText":"9,6 bin izleme"},"date":"13 mayıs 2021","modifyTime":1620911612000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/HKtQduS2Yvs?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=HKtQduS2Yvs","reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","duration":371},"parentClipId":"17034135559017435902","href":"/preview/17034135559017435902?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths","rawHref":"/video/preview/17034135559017435902?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"15114951743962898568":{"videoId":"15114951743962898568","title":"\u0007[Metamath\u0007]","cleanTitle":"Metamath","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=V-9yY2xDt0A","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/V-9yY2xDt0A?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":"d3d3LnlvdXR1YmUuY29tO1VDU3hzaTJ1TndtZXdnZXRJZXZldThwUQ==","name":"WikiAudio","isVerified":false,"subscribersCount":0,"url":"/video/search?text=WikiAudio","origUrl":"http://www.youtube.com/@wikiaudio956","a11yText":"WikiAudio. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":999,"text":"16:39","a11yText":"Süre 16 dakika 39 saniye","shortText":"16 dk."},"date":"22 oca 2016","modifyTime":1453420800000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/V-9yY2xDt0A?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=V-9yY2xDt0A","reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","duration":999},"parentClipId":"15114951743962898568","href":"/preview/15114951743962898568?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths","rawHref":"/video/preview/15114951743962898568?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"12900393218545346961":{"videoId":"12900393218545346961","title":"High Stakes Maths 4: Aliens, \u0007[metamath\u0007], Wolfram Problem Generator, 24 / 3 = ?????","cleanTitle":"High Stakes Maths 4: Aliens, metamath, Wolfram Problem Generator, 24 / 3 = ?????","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=p6Tbp4PlaWk","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/p6Tbp4PlaWk?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":"d3d3LnlvdXR1YmUuY29tO1VDQWZ6UUF2c25XRHo0YTVxTzVjYkozUQ==","name":"Jon P","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Jon+P","origUrl":"http://www.youtube.com/@jonp3674","a11yText":"Jon P. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":1758,"text":"29:18","a11yText":"Süre 29 dakika 18 saniye","shortText":"29 dk."},"date":"30 tem 2022","modifyTime":1659139200000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/p6Tbp4PlaWk?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=p6Tbp4PlaWk","reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","duration":1758},"parentClipId":"12900393218545346961","href":"/preview/12900393218545346961?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths","rawHref":"/video/preview/12900393218545346961?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"8032855206588279241":{"videoId":"8032855206588279241","title":"High Stakes Maths 5: Aliens, \u0007[metamath\u0007], Wolfram Problem Generator, 4 || 32 ???","cleanTitle":"High Stakes Maths 5: Aliens, metamath, Wolfram Problem Generator, 4 || 32 ???","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=fv3ru-qmr9o","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/fv3ru-qmr9o?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":"d3d3LnlvdXR1YmUuY29tO1VDQWZ6UUF2c25XRHo0YTVxTzVjYkozUQ==","name":"Jon P","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Jon+P","origUrl":"http://www.youtube.com/@jonp3674","a11yText":"Jon P. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":1216,"text":"20:16","a11yText":"Süre 20 dakika 16 saniye","shortText":"20 dk."},"date":"31 tem 2022","modifyTime":1659225600000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/fv3ru-qmr9o?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=fv3ru-qmr9o","reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","duration":1216},"parentClipId":"8032855206588279241","href":"/preview/8032855206588279241?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths","rawHref":"/video/preview/8032855206588279241?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"12429702072568087203":{"videoId":"12429702072568087203","title":"High Stakes Maths 3: Aliens, \u0007[metamath\u0007], Wolfram Problem Generator, 7 x 5 = ?????","cleanTitle":"High Stakes Maths 3: Aliens, metamath, Wolfram Problem Generator, 7 x 5 = ?????","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=9L3sJIr-xkM","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/9L3sJIr-xkM?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":"d3d3LnlvdXR1YmUuY29tO1VDQWZ6UUF2c25XRHo0YTVxTzVjYkozUQ==","name":"Jon P","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Jon+P","origUrl":"http://www.youtube.com/@jonp3674","a11yText":"Jon P. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":893,"text":"14:53","a11yText":"Süre 14 dakika 53 saniye","shortText":"14 dk."},"date":"24 tem 2022","modifyTime":1658620800000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/9L3sJIr-xkM?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=9L3sJIr-xkM","reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","duration":893},"parentClipId":"12429702072568087203","href":"/preview/12429702072568087203?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths","rawHref":"/video/preview/12429702072568087203?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"17704711066751884047":{"videoId":"17704711066751884047","title":"Introduction to \u0007[Metamath\u0007] and mmj2","cleanTitle":"Introduction to Metamath and mmj2","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=Rst2hZpWUbU","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/Rst2hZpWUbU?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":"d3d3LnlvdXR1YmUuY29tO1VDcVZkOUtoRGEyaTVjMThBWTVjWG9oQQ==","name":"David A. Wheeler","isVerified":false,"subscribersCount":0,"url":"/video/search?text=David+A.+Wheeler","origUrl":"https://www.youtube.com/channel/UCqVd9KhDa2i5c18AY5cXohA","a11yText":"David A. Wheeler. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":1115,"text":"18:35","a11yText":"Süre 18 dakika 35 saniye","shortText":"18 dk."},"views":{"text":"5,7bin","a11yText":"5,7 bin izleme"},"date":"9 nis 2014","modifyTime":1397001600000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/Rst2hZpWUbU?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=Rst2hZpWUbU","reqid":"1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL","duration":1115},"parentClipId":"17704711066751884047","href":"/preview/17704711066751884047?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths","rawHref":"/video/preview/17704711066751884047?parent-reqid=1769855547004409-18067098820025702687-balancer-l7leveler-kubr-yp-klg-232-BAL&text=MetaMaths","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":"0670988200257026877232","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":"MetaMaths","queryUriEscaped":"MetaMaths","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"}}}