var mediaWikiLoadStart=(new Date()).getTime(),mwPerformance=(window.performance&&performance.mark)?performance:{mark:function(){}};mwPerformance.mark('mwLoadStart');function isCompatible(str){var ua=str||navigator.userAgent;return!!('querySelector'in document&&'localStorage'in window&&'addEventListener'in window&&!(ua.match(/webOS\/1\.[0-4]/)||ua.match(/PlayStation/i)||ua.match(/SymbianOS|Series60|NetFront|Opera Mini|S40OviBrowser|MeeGo/)||(ua.match(/Glass/)&&ua.match(/Android/))));}(function(){var NORLQ,script;if(!isCompatible()){document.documentElement.className=document.documentElement.className.replace(/(^|\s)client-js(\s|$)/,'$1client-nojs$2');NORLQ=window.NORLQ||[];while(NORLQ.length){NORLQ.shift()();}window.NORLQ={push:function(fn){fn();}};window.RLQ={push:function(){}};return;}function startUp(){mw.config=new mw.Map(true);mw.loader.addSource({"local":"/wodet/load.php"});mw.loader.register([["site","KtCnaRMh"],["noscript","sLjchkEm",[],"noscript"],["filepage","/pgpOVvO"],[
"user.groups","YACR0ctY",[],"user"],["user","pwiQBooI",[],"user"],["user.cssprefs","GqV9IPpY",[],"private"],["user.defaults","pPg/TJeS"],["user.options","C9rS/VRT",[6],"private"],["user.tokens","apC6c+A8",[],"private"],["mediawiki.language.data","bHbxm6Jh",[174]],["mediawiki.skinning.elements","28hVjTUO"],["mediawiki.skinning.content","h2lqfLMe"],["mediawiki.skinning.interface","RDmPIIii"],["mediawiki.skinning.content.parsoid","DXX1W9Ds"],["mediawiki.skinning.content.externallinks","opyj6g2j"],["jquery.accessKeyLabel","IVKKLUYI",[25,130]],["jquery.appear","tLIMHpuX"],["jquery.arrowSteps","TRgn8DhK"],["jquery.async","Qx1Xsx70"],["jquery.autoEllipsis","rxzUDQ3W",[37]],["jquery.badge","5thPzobY",[171]],["jquery.byteLength","1/DRVHEm"],["jquery.byteLimit","j6JzXIow",[21]],["jquery.checkboxShiftClick","+zbaS6IC"],["jquery.chosen","e2FmCN/f"],["jquery.client","Db/nAaAx"],["jquery.color","yopBfoG7",[27]],["jquery.colorUtil","3RLtJ5Gs"],["jquery.confirmable","6bPF/9G0",[175]],["jquery.cookie",
"DWaIXBg2"],["jquery.expandableField","wPNzTcDb"],["jquery.farbtastic","gaOMfgk8",[27]],["jquery.footHovzer","uDMJ98wM"],["jquery.form","GWoVft1z"],["jquery.fullscreen","bCOqqJSC"],["jquery.getAttrs","crF2xT6E"],["jquery.hidpi","g3MRv3cU"],["jquery.highlightText","mpMKYKcF",[242,130]],["jquery.hoverIntent","DFP6sKD2"],["jquery.i18n","ng8tFxiQ",[173]],["jquery.localize","11gWmrlT"],["jquery.makeCollapsible","o3yO0tFx"],["jquery.mockjax","Y7O1kLB/"],["jquery.mw-jump","nSwHh/nm"],["jquery.mwExtension","+QSoxCF0"],["jquery.placeholder","bnWn6E74"],["jquery.qunit","ja38m8rt"],["jquery.qunit.completenessTest","HYbX/KMP",[46]],["jquery.spinner","D++pKIfw"],["jquery.jStorage","WOkIBivQ",[92]],["jquery.suggestions","sRsgnm+A",[37]],["jquery.tabIndex","9N09Cfc5"],["jquery.tablesorter","r60yeHPK",[242,130,176]],["jquery.textSelection","MbvRZsE3",[25]],["jquery.throttle-debounce","6olwRAK4"],["jquery.xmldom","ImN04j94"],["jquery.tipsy","EYwMYztO"],["jquery.ui.core","8hfY0X6f",[58],"jquery.ui"],[
"jquery.ui.core.styles","kzYuPcac",[],"jquery.ui"],["jquery.ui.accordion","s1OhtOQX",[57,77],"jquery.ui"],["jquery.ui.autocomplete","3TzHsk+v",[66],"jquery.ui"],["jquery.ui.button","7O4QCR44",[57,77],"jquery.ui"],["jquery.ui.datepicker","uQyRpX69",[57],"jquery.ui"],["jquery.ui.dialog","JugSJ8Oc",[61,64,68,70],"jquery.ui"],["jquery.ui.draggable","HJ7v0Gbl",[57,67],"jquery.ui"],["jquery.ui.droppable","HjeG9bLS",[64],"jquery.ui"],["jquery.ui.menu","evlxdK+4",[57,68,77],"jquery.ui"],["jquery.ui.mouse","gnWTneAl",[77],"jquery.ui"],["jquery.ui.position","UhYnOuIn",[],"jquery.ui"],["jquery.ui.progressbar","rYM9WYIy",[57,77],"jquery.ui"],["jquery.ui.resizable","DaDmsFZ1",[57,67],"jquery.ui"],["jquery.ui.selectable","LNH+qdk0",[57,67],"jquery.ui"],["jquery.ui.slider","i6j3Pfjm",[57,67],"jquery.ui"],["jquery.ui.sortable","/Q6cG6Mk",[57,67],"jquery.ui"],["jquery.ui.spinner","4YZV4VI+",[61],"jquery.ui"],["jquery.ui.tabs","tB8bXTzY",[57,77],"jquery.ui"],["jquery.ui.tooltip","go/rfV1w",[57,68,77],
"jquery.ui"],["jquery.ui.widget","2CnBieEC",[],"jquery.ui"],["jquery.effects.core","FSGAqhaO",[],"jquery.ui"],["jquery.effects.blind","RkS23N+t",[78],"jquery.ui"],["jquery.effects.bounce","Ba0Q/731",[78],"jquery.ui"],["jquery.effects.clip","/Y6I20Bt",[78],"jquery.ui"],["jquery.effects.drop","SLH/McXP",[78],"jquery.ui"],["jquery.effects.explode","ajBosQVI",[78],"jquery.ui"],["jquery.effects.fade","Hei92d55",[78],"jquery.ui"],["jquery.effects.fold","2CYaTj52",[78],"jquery.ui"],["jquery.effects.highlight","FbXSyHdv",[78],"jquery.ui"],["jquery.effects.pulsate","BzUABwf8",[78],"jquery.ui"],["jquery.effects.scale","G7bINphp",[78],"jquery.ui"],["jquery.effects.shake","hCOdx9sn",[78],"jquery.ui"],["jquery.effects.slide","o+pF6V5+",[78],"jquery.ui"],["jquery.effects.transfer","HHWydu3F",[78],"jquery.ui"],["json","kyncMA0s",[],null,null,"return!!(window.JSON\u0026\u0026JSON.stringify\u0026\u0026JSON.parse);"],["moment","x2KnrQsj"],["mediawiki.apihelp","jWO29Y4N"],["mediawiki.template","7fvc8jD8"
],["mediawiki.template.mustache","nnPfBkMO",[95]],["mediawiki.template.regexp","1BjcVU4x",[95]],["mediawiki.apipretty","AzIbsNDM"],["mediawiki.api","eyMpwvsN",[147,8]],["mediawiki.api.category","xcDDVs1F",[135,99]],["mediawiki.api.edit","3c/MGovG",[135,99]],["mediawiki.api.login","mfT0W3of",[99]],["mediawiki.api.options","ly6P8kaH",[99]],["mediawiki.api.parse","OuGSms9e",[99]],["mediawiki.api.upload","PKEMPEYK",[242,92,101]],["mediawiki.api.user","h+G2xmUc",[99]],["mediawiki.api.watch","wUwOCB1y",[99]],["mediawiki.api.messages","9gmhL1PA",[99]],["mediawiki.content.json","uJ8qsXFb"],["mediawiki.confirmCloseWindow","K8z4RfHw"],["mediawiki.debug","aBO7h8ZL",[32,56]],["mediawiki.debug.init","OYV/hPD/",[111]],["mediawiki.feedback","VOjY+YkK",[135,126,250]],["mediawiki.feedlink","pO7r65MG"],["mediawiki.filewarning","UlbcEkZd",[245]],["mediawiki.ForeignApi","cynlxrrY",[117]],["mediawiki.ForeignApi.core","XL2c+FT5",[99,243]],["mediawiki.helplink","3U51Hh8L"],["mediawiki.hidpi","kkmQzaRk",[36],
null,null,"return'srcset'in new Image();"],["mediawiki.hlist","lyX5vjPA"],["mediawiki.htmlform","XlKHpzCL",[22,130]],["mediawiki.htmlform.styles","IgbasHUg"],["mediawiki.htmlform.ooui.styles","B0fDKyEu"],["mediawiki.icon","Q4IV+czK"],["mediawiki.inspect","ncEPC0BV",[21,92,130]],["mediawiki.messagePoster","mxwnbgeU",[116]],["mediawiki.messagePoster.wikitext","yf8ZW6ba",[101,126]],["mediawiki.notification","HDL7vY/+",[183]],["mediawiki.notify","Ru14VGrY"],["mediawiki.RegExp","s5RkWSSf"],["mediawiki.pager.tablePager","uZSWO90T"],["mediawiki.searchSuggest","uVd1BAGj",[35,45,50,99]],["mediawiki.sectionAnchor","NL4Spreh"],["mediawiki.storage","6s60wvmm"],["mediawiki.Title","AOk6Diaq",[21,147]],["mediawiki.Upload","2oFQHwbx",[105]],["mediawiki.ForeignUpload","3QknDqfg",[116,136]],["mediawiki.ForeignStructuredUpload.config","JtmRymYi"],["mediawiki.ForeignStructuredUpload","P1V1eXDq",[138,137]],["mediawiki.Upload.Dialog","G3hgPHtH",[141]],["mediawiki.Upload.BookletLayout","f/z1JNdi",[136,175,
145,240,93,250,256,257]],["mediawiki.ForeignStructuredUpload.BookletLayout","hqT/NgSt",[139,141,108,179,236,234]],["mediawiki.toc","Q050GRQ7",[151]],["mediawiki.Uri","TaV2j/NV",[147,97]],["mediawiki.user","z/ewN8i1",[106,151,7]],["mediawiki.userSuggest","yx/wcfRn",[50,99]],["mediawiki.util","B98F4Dx9",[15,129]],["mediawiki.viewport","yc3PMKHP"],["mediawiki.checkboxtoggle","Uhb28aKe"],["mediawiki.checkboxtoggle.styles","UAsLL1SZ"],["mediawiki.cookie","W3GJe67r",[29]],["mediawiki.toolbar","9CG/Go/Y"],["mediawiki.experiments","izafJFWo"],["mediawiki.raggett","Kj4c+zCX"],["mediawiki.action.edit","GSepSzN9",[22,53,156]],["mediawiki.action.edit.styles","PtWtBwMu"],["mediawiki.action.edit.collapsibleFooter","wWwRud/7",[41,151,124]],["mediawiki.action.edit.preview","C8aZwubO",[33,48,53,161,99,175]],["mediawiki.action.edit.stash","99mQ6+NF",[35,99]],["mediawiki.action.history","w3hY/Ir1"],["mediawiki.action.history.diff","jQX5zPx+"],["mediawiki.action.view.dblClickEdit","SLhf0sO/",[183,7]],[
"mediawiki.action.view.metadata","m/wkppd6"],["mediawiki.action.view.categoryPage.styles","oM4SoP8y"],["mediawiki.action.view.postEdit","UMCCdHJ3",[151,175,95]],["mediawiki.action.view.redirect","kFhi8qCf",[25]],["mediawiki.action.view.redirectPage","uORvWz9J"],["mediawiki.action.view.rightClickEdit","HJRmfwrH"],["mediawiki.action.edit.editWarning","GoVIMWqG",[53,110,175]],["mediawiki.action.view.filepage","G3VV1G/d"],["mediawiki.language","T7UL8lGx",[172,9]],["mediawiki.cldr","mC1nc8RD",[173]],["mediawiki.libs.pluralruleparser","X9NrfZ1i"],["mediawiki.language.init","E+bdPEmW"],["mediawiki.jqueryMsg","3BFJOerX",[242,171,147,7]],["mediawiki.language.months","dDFc3vJm",[171]],["mediawiki.language.names","dVn8oVHH",[174]],["mediawiki.language.specialCharacters","v31HqVfX",[171]],["mediawiki.libs.jpegmeta","sPGeifH4"],["mediawiki.page.gallery","4PGS2p39",[54,181]],["mediawiki.page.gallery.styles","JPHJ6pyH"],["mediawiki.page.ready","8+drY5YW",[15,23,41,43,45]],["mediawiki.page.startup",
"D1P3KV/e",[147]],["mediawiki.page.patrol.ajax","AVNLgRaN",[48,135,99,183]],["mediawiki.page.watch.ajax","2S2dCGBX",[107,183]],["mediawiki.page.image.pagination","KAaqVpzR",[48,147]],["mediawiki.special","tZB+RuyE"],["mediawiki.special.apisandbox.styles","tGhkxd6I"],["mediawiki.special.apisandbox","4HjBWiG0",[99,175,187,235,244]],["mediawiki.special.block","lYS+ZpaJ",[147]],["mediawiki.special.blocklist","9fI4Coyk"],["mediawiki.special.changeslist","h1LMqfA1"],["mediawiki.special.changeslist.legend","yf1wuiIu"],["mediawiki.special.changeslist.legend.js","dbjuNwVn",[41,151]],["mediawiki.special.changeslist.enhanced","rg/afUmv"],["mediawiki.special.changeslist.visitedstatus","5Xr1nP3E"],["mediawiki.special.comparepages.styles","eBhoZABm"],["mediawiki.special.edittags","VtcPNGup",[24]],["mediawiki.special.edittags.styles","8R6jE/1j"],["mediawiki.special.import","ehBisN2L"],["mediawiki.special.movePage","RVZNNHLd",[232]],["mediawiki.special.movePage.styles","JJZ/gcKz"],[
"mediawiki.special.pageLanguage","qY/cRoG8",[245]],["mediawiki.special.pagesWithProp","LdeY135T"],["mediawiki.special.preferences","MuouSZgP",[110,171,128]],["mediawiki.special.preferences.styles","mojKW6fo"],["mediawiki.special.recentchanges","Pv0veQPU",[187]],["mediawiki.special.search","ngrsLPEB",[238]],["mediawiki.special.undelete","B5yIOGoQ"],["mediawiki.special.upload","0GXvFt9K",[48,135,99,110,175,179,95]],["mediawiki.special.userlogin.common.styles","kUSHGAFR"],["mediawiki.special.userlogin.signup.styles","809DWdKB"],["mediawiki.special.userlogin.login.styles","BK/6BKdI"],["mediawiki.special.userlogin.signup.js","/Pxoq5/8",[54,99,175]],["mediawiki.special.unwatchedPages","sPZljMJp",[135,107]],["mediawiki.special.watchlist","iusPBcqS"],["mediawiki.special.version","vbdjw8Qr"],["mediawiki.legacy.config","sfnFhPzb"],["mediawiki.legacy.commonPrint","LVelWeM7"],["mediawiki.legacy.protect","uGNEPDGF",[22]],["mediawiki.legacy.shared","MtuIp/xG"],["mediawiki.legacy.oldshared",
"CpSud5ms"],["mediawiki.legacy.wikibits","8RJ846Oy",[147]],["mediawiki.ui","0T3WEtjF"],["mediawiki.ui.checkbox","f5mxVdvc"],["mediawiki.ui.radio","Aj37C+k4"],["mediawiki.ui.anchor","ut5Kwtjc"],["mediawiki.ui.button","/BTfrYgC"],["mediawiki.ui.input","Iw0bukiA"],["mediawiki.ui.icon","gXyv8BNZ"],["mediawiki.ui.text","NAZLrR8q"],["mediawiki.widgets","XQG0wsJd",[19,22,135,99,233,248]],["mediawiki.widgets.styles","ROu9LoJJ"],["mediawiki.widgets.DateInputWidget","ZpoumE2V",[93,248]],["mediawiki.widgets.datetime","doOcJHN+",[245]],["mediawiki.widgets.CategorySelector","HJK82sYH",[116,135,248]],["mediawiki.widgets.UserInputWidget","DCZA+14Z",[248]],["mediawiki.widgets.SearchInputWidget","tqo9gUBn",[132,232]],["mediawiki.widgets.SearchInputWidget.styles","wN7Rh6G1"],["mediawiki.widgets.StashedFileWidget","I9gA6GnR",[245]],["es5-shim","S/fS43yw",[],null,null,"return(function(){'use strict';return!this\u0026\u0026!!Function.prototype.bind;}());"],["dom-level2-shim","ofvtzrbS",[],null,null,
"return!!window.Node;"],["oojs","fBCRB39N",[241,92]],["oojs-ui","rBUVZMdd",[249,248,250]],["oojs-ui-core","5818x+nv",[171,243,246]],["oojs-ui-core.styles","CShg64Al",[251,252,253],null,null,"return!!jQuery('meta[name=\"X-OOUI-PHP\"]').length;"],["oojs-ui.styles","rbfKqJPm",[251,252,253],null,null,"return!!jQuery('meta[name=\"X-OOUI-PHP\"]').length;"],["oojs-ui-widgets","YWPrAH4Q",[245]],["oojs-ui-toolbars","5HY92uzb",[245]],["oojs-ui-windows","5FZY2N8B",[245]],["oojs-ui.styles.icons","5yitHPLF"],["oojs-ui.styles.indicators","phSJFB4R"],["oojs-ui.styles.textures","hqLDNiBW"],["oojs-ui.styles.icons-accessibility","EonSocEC"],["oojs-ui.styles.icons-alerts","kdL66JXU"],["oojs-ui.styles.icons-content","WQhN+bwm"],["oojs-ui.styles.icons-editing-advanced","ZSNi3la7"],["oojs-ui.styles.icons-editing-core","8UpGTUGH"],["oojs-ui.styles.icons-editing-list","m6ofydln"],["oojs-ui.styles.icons-editing-styling","r1XoaWIL"],["oojs-ui.styles.icons-interactions","hQDeusRP"],["oojs-ui.styles.icons-layout"
,"SZC1cvuJ"],["oojs-ui.styles.icons-location","5CQopMvn"],["oojs-ui.styles.icons-media","yMCZmFAW"],["oojs-ui.styles.icons-moderation","6lmEf2ZJ"],["oojs-ui.styles.icons-movement","++WXNinf"],["oojs-ui.styles.icons-user","Rb4IYOb0"],["oojs-ui.styles.icons-wikimedia","RB9Ffv1g"],["skins.cologneblue","VfOm33QZ"],["skins.modern","erf+Huum"],["skins.monobook.styles","evUF/9PU"],["skins.vector.styles","erv+KtYz"],["skins.vector.styles.responsive","5VlFfyKV"],["skins.vector.js","2HTijIXJ",[51,54]]]);;mw.config.set({"wgLoadScript":"/wodet/load.php","debug":!1,"skin":"monobook","stylepath":"/wodet/skins","wgUrlProtocols":"bitcoin\\:|ftp\\:\\/\\/|ftps\\:\\/\\/|geo\\:|git\\:\\/\\/|gopher\\:\\/\\/|http\\:\\/\\/|https\\:\\/\\/|irc\\:\\/\\/|ircs\\:\\/\\/|magnet\\:|mailto\\:|mms\\:\\/\\/|news\\:|nntp\\:\\/\\/|redis\\:\\/\\/|sftp\\:\\/\\/|sip\\:|sips\\:|sms\\:|ssh\\:\\/\\/|svn\\:\\/\\/|tel\\:|telnet\\:\\/\\/|urn\\:|worldwind\\:\\/\\/|xmpp\\:|\\/\\/","wgArticlePath":"/wiki/$1","wgScriptPath":
"/wodet","wgScriptExtension":".php","wgScript":"/wodet/index.php","wgSearchType":null,"wgVariantArticlePath":!1,"wgActionPaths":{},"wgServer":"https://wodet09.cs.washington.edu","wgServerName":"wodet09.cs.washington.edu","wgUserLanguage":"en","wgContentLanguage":"en","wgTranslateNumerals":!0,"wgVersion":"1.27.4","wgEnableAPI":!0,"wgEnableWriteAPI":!0,"wgMainPageTitle":"Main Page","wgFormattedNamespaces":{"-2":"Media","-1":"Special","0":"","1":"Talk","2":"User","3":"User talk","4":"WorkshopOnDeterministicMultiprocessingAndParallelProgramming","5":"WorkshopOnDeterministicMultiprocessingAndParallelProgramming talk","6":"File","7":"File talk","8":"MediaWiki","9":"MediaWiki talk","10":"Template","11":"Template talk","12":"Help","13":"Help talk","14":"Category","15":"Category talk"},"wgNamespaceIds":{"media":-2,"special":-1,"":0,"talk":1,"user":2,"user_talk":3,"workshopondeterministicmultiprocessingandparallelprogramming":4,
"workshopondeterministicmultiprocessingandparallelprogramming_talk":5,"file":6,"file_talk":7,"mediawiki":8,"mediawiki_talk":9,"template":10,"template_talk":11,"help":12,"help_talk":13,"category":14,"category_talk":15,"image":6,"image_talk":7,"project":4,"project_talk":5},"wgContentNamespaces":[0],"wgSiteName":"WorkshopOnDeterministicMultiprocessingAndParallelProgramming","wgDBname":"wodet","wgExtraSignatureNamespaces":[],"wgAvailableSkins":{"cologneblue":"CologneBlue","modern":"Modern","monobook":"MonoBook","vector":"Vector","fallback":"Fallback","apioutput":"ApiOutput"},"wgExtensionAssetsPath":"/wodet/extensions","wgCookiePrefix":"wodet","wgCookieDomain":"","wgCookiePath":"/","wgCookieExpiration":15552000,"wgResourceLoaderMaxQueryLength":2000,"wgCaseSensitiveNamespaces":[],"wgLegalTitleChars":" %!\"$&'()*,\\-./0-9:;=?@A-Z\\\\\\^_`a-z~+\\u0080-\\uFFFF","wgResourceLoaderStorageVersion":1,"wgResourceLoaderStorageEnabled":!1,"wgResourceLoaderLegacyModules":[],"wgForeignUploadTargets":[
],"wgEnableUploads":!0});var RLQ=window.RLQ||[];while(RLQ.length){RLQ.shift()();}window.RLQ={push:function(fn){fn();}};window.NORLQ={push:function(){}};}script=document.createElement('script');script.src="/wodet/load.php?debug=false&lang=en&modules=jquery%2Cmediawiki&only=scripts&skin=monobook&version=Smwnyg8g";script.onload=script.onreadystatechange=function(){if(!script.readyState||/loaded|complete/.test(script.readyState)){script.onload=script.onreadystatechange=null;script=null;startUp();}};document.getElementsByTagName('head')[0].appendChild(script);}());