CINXE.COM

<!DOCTYPE html> <html class="no-js" lang="en-US"> <head> <meta charset="UTF-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1.0"> <meta name="mobile-web-app-capable" content="yes"> <meta name="format-detection" content="telephone=no"> <meta name="msapplication-tap-highlight" content="no"> <link rel="icon" type="image/png" href="/wp-content/themes/mpi-sws/assets/images/favicon/favicon-32x32.png?ver=1.9.0"> <link rel="icon" type="image/png" href="/wp-content/themes/mpi-sws/assets/images/favicon/favicon-16x16.png?ver=1.9.0"> <link rel="apple-touch-icon" sizes="180x180" href="/wp-content/themes/mpi-sws/assets/images/favicon/apple-touch-icon.png?ver=1.9.0"> <link rel="manifest" href="/wp-content/themes/mpi-sws/assets/images/favicon/site.webmanifest?ver=1.9.0"> <link rel="manifest" href="/manifest.json"> <meta name="msapplication-TileColor" content="#ffffff"> <meta name="theme-color" content="#ffffff"> <script id="klflx-head-js">((e,p,f,d)=>{var o=[],t={_version:"3.11.8",_config:{classPrefix:"",enableClasses:!0,enableJSClass:!0,usePrefixes:!0},_q:[],on:function(e,t){var n=this;setTimeout(function(){t(n[e])},0)},addTest:function(e,t,n){o.push({name:e,fn:t,options:n})},addAsyncTest:function(e){o.push({name:null,fn:e})}},s=function(){},n=(s.prototype=t,s=new s,[]);function h(e,t){return typeof e===t}var c=f.documentElement,m="svg"===c.nodeName.toLowerCase();function i(e){var t,n=c.className,o=s._config.classPrefix||"";m&&(n=n.baseVal),s._config.enableJSClass&&(t=new RegExp("(^|\\s)"+o+"no-js(\\s|$)"),n=n.replace(t,"$1"+o+"js$2")),s._config.enableClasses&&(0<e.length&&(n+=" "+o+e.join(" "+o)),m?c.className.baseVal=n:c.className=n)}function v(e){return"function"!=typeof f.createElement?f.createElement(e):m?f.createElementNS.call(f,"http://www.w3.org/2000/svg",e):f.createElement.apply(f,arguments)}function g(e,t,n,o){var r,s,i,l,a="modernizr",u=v("div");(l=f.body)||((l=v(m?"svg":"body")).fake=!0);if(parseInt(n,10))for(;n--;)(s=v("div")).id=o?o[n]:a+(n+1),u.appendChild(s);return(r=v("style")).type="text/css",r.id="s"+a,(l.fake?l:u).appendChild(r),l.appendChild(u),r.styleSheet?r.styleSheet.cssText=e:r.appendChild(f.createTextNode(e)),u.id=a,l.fake&&(l.style.background="",l.style.overflow="hidden",i=c.style.overflow,c.style.overflow="hidden",c.appendChild(l)),r=t(u,e),l.fake&&l.parentNode?(l.parentNode.removeChild(l),c.style.overflow=i,c.offsetHeight):u.parentNode.removeChild(u),!!r}function y(e,t,n){var o,r;return"getComputedStyle"in p?(o=getComputedStyle.call(p,e,t),r=p.console,null!==o?n&&(o=o.getPropertyValue(n)):r&&r[r.error?"error":"log"].call(r,"getComputedStyle returning null, its possible modernizr test results are inaccurate")):o=!t&&e.currentStyle&&e.currentStyle[n],o}var r,l,a,u=(r=p.matchMedia||p.msMatchMedia)?function(e){e=r(e);return e&&e.matches||!1}:function(e){var t=!1;return g("@media "+e+" { #modernizr { position: absolute; } }",function(e){t="absolute"===y(e,null,"position")}),t};function w(e,t){if("object"==typeof e)for(var n in e)l(e,n)&&w(n,e[n]);else{var o=(e=e.toLowerCase()).split("."),r=s[o[0]];if(void 0!==(r=2===o.length?r[o[1]]:r))return s;t="function"==typeof t?t():t,1===o.length?s[o[0]]=t:(!s[o[0]]||s[o[0]]instanceof Boolean||(s[o[0]]=new Boolean(s[o[0]])),s[o[0]][o[1]]=t),i([(t&&!1!==t?"":"no-")+o.join("-")]),s._trigger(e,t)}return s}t.mq=u,l=void 0!==(a={}.hasOwnProperty)&&void 0!==a.call?function(e,t){return a.call(e,t)}:function(e,t){return t in e&&void 0===e.constructor.prototype[t]},t._l={},t.on=function(e,t){this._l[e]||(this._l[e]=[]),this._l[e].push(t),s.hasOwnProperty(e)&&setTimeout(function(){s._trigger(e,s[e])},0)},t._trigger=function(e,t){var n;this._l[e]&&(n=this._l[e],setTimeout(function(){for(var e=0;e<n.length;e++)(0,n[e])(t)},0),delete this._l[e])},s._q.push(function(){t.addTest=w}),s.addTest("svg",!!f.createElementNS&&!!f.createElementNS("http://www.w3.org/2000/svg","svg").createSVGRect);var u="Moz O ms Webkit",C=t._config.usePrefixes?u.split(" "):[],_=(t._cssomPrefixes=C,{elem:v("modernizr")}),S=(s._q.push(function(){delete _.elem}),{style:_.elem.style});function x(e){return e.replace(/([A-Z])/g,function(e,t){return"-"+t.toLowerCase()}).replace(/^ms-/,"-ms-")}function b(e,t,n,o){if(o=void 0!==o&&o,void 0!==n){var r=((e,t)=>{var n=e.length;if("CSS"in p&&"supports"in p.CSS){for(;n--;)if(p.CSS.supports(x(e[n]),t))return!0;return!1}if("CSSSupportsRule"in p){for(var o=[];n--;)o.push("("+x(e[n])+":"+t+")");return g("@supports ("+(o=o.join(" or "))+") { #modernizr { position: absolute; } }",function(e){return"absolute"===y(e,null,"position")})}return d})(e,n);if(void 0!==r)return r}for(var s,i,l,a,u,f=["modernizr","tspan","samp"];!S.style&&f.length;)s=!0,S.modElem=v(f.shift()),S.style=S.modElem.style;function c(){s&&(delete S.style,delete S.modElem)}for(l=e.length,i=0;i<l;i++)if(a=e[i],u=S.style[a],~(""+a).indexOf("-")&&(a=a.replace(/([a-z])-([a-z])/g,function(e,t,n){return t+n.toUpperCase()}).replace(/^-/,"")),S.style[a]!==d){if(o||void 0===n)return c(),"pfx"!==t||a;try{S.style[a]=n}catch(e){}if(S.style[a]!==u)return c(),"pfx"!==t||a}return c(),!1}s._q.unshift(function(){delete S.style});var P,T,E,N,z,j,q,k=t._config.usePrefixes?u.toLowerCase().split(" "):[];function A(e,t,n,o,r){var s=e.charAt(0).toUpperCase()+e.slice(1),i=(e+" "+C.join(s+" ")+s).split(" ");if(h(t,"string")||void 0===t)return b(i,t,o,r);var l,a,u,f,c=(e+" "+k.join(s+" ")+s).split(" "),p=t,d=n;for(l in c)if(c[l]in p)return!1===d?c[l]:h(f=p[c[l]],"function")?(a=f,u=d||p,function(){return a.apply(u,arguments)}):f;return!1}function L(e,t,n){return A(e,d,d,t,n)}for(q in t._domPrefixes=k,t.testAllProps=A,t.testAllProps=L,s.addTest("flexbox",L("flexBasis","1px",!0)),o)if(o.hasOwnProperty(q)){if(P=[],(T=o[q]).name&&(P.push(T.name.toLowerCase()),T.options)&&T.options.aliases&&T.options.aliases.length)for(E=0;E<T.options.aliases.length;E++)P.push(T.options.aliases[E].toLowerCase());for(N=h(T.fn,"function")?T.fn():T.fn,z=0;z<P.length;z++)1===(j=P[z].split(".")).length?s[j[0]]=N:(s[j[0]]&&(s[j[0]],s[j[0]]instanceof Boolean)||(s[j[0]]=new Boolean(s[j[0]])),s[j[0]][j[1]]=N),n.push((N?"":"no-")+j.join("-"))}i(n),delete t.addTest,delete t.addAsyncTest;for(var B=0;B<s._q.length;B++)s._q[B]();e.Modernizr=s})(window,window,document);</script> <script type="text/javascript">/* <![CDATA[ */ WebFontConfig = { custom:{ families: ['ProximaNova:n3,i3,n5,n7'], urls: ['/wp-content/themes/mpi-sws/assets/fonts/fonts.css?ver=1.9.0'] } }; /* ]]> */</script> <title>Programming Languages & Verification – MPI SWS</title> <meta name="robots" content="max-image-preview:large"> <link rel="stylesheet" id="wp-block-library-css" href="/wp-includes/css/dist/block-library/style.min.css?ver=6.3.5" type="text/css" media="all"> <style id="classic-theme-styles-inline-css" type="text/css">/*! This file is auto-generated */ .wp-block-button__link{color:#fff;background-color:#32373c;border-radius:9999px;box-shadow:none;text-decoration:none;padding:calc(.667em + 2px) calc(1.333em + 2px);font-size:1.125em}.wp-block-file__button{background:#32373c;color:#fff;text-decoration:none}</style> <style id="global-styles-inline-css" type="text/css">body{--wp--preset--color--black: #000000;--wp--preset--color--cyan-bluish-gray: #abb8c3;--wp--preset--color--white: #ffffff;--wp--preset--color--pale-pink: #f78da7;--wp--preset--color--vivid-red: #cf2e2e;--wp--preset--color--luminous-vivid-orange: #ff6900;--wp--preset--color--luminous-vivid-amber: #fcb900;--wp--preset--color--light-green-cyan: #7bdcb5;--wp--preset--color--vivid-green-cyan: #00d084;--wp--preset--color--pale-cyan-blue: #8ed1fc;--wp--preset--color--vivid-cyan-blue: #0693e3;--wp--preset--color--vivid-purple: #9b51e0;--wp--preset--gradient--vivid-cyan-blue-to-vivid-purple: linear-gradient(135deg,rgba(6,147,227,1) 0%,rgb(155,81,224) 100%);--wp--preset--gradient--light-green-cyan-to-vivid-green-cyan: linear-gradient(135deg,rgb(122,220,180) 0%,rgb(0,208,130) 100%);--wp--preset--gradient--luminous-vivid-amber-to-luminous-vivid-orange: linear-gradient(135deg,rgba(252,185,0,1) 0%,rgba(255,105,0,1) 100%);--wp--preset--gradient--luminous-vivid-orange-to-vivid-red: linear-gradient(135deg,rgba(255,105,0,1) 0%,rgb(207,46,46) 100%);--wp--preset--gradient--very-light-gray-to-cyan-bluish-gray: linear-gradient(135deg,rgb(238,238,238) 0%,rgb(169,184,195) 100%);--wp--preset--gradient--cool-to-warm-spectrum: linear-gradient(135deg,rgb(74,234,220) 0%,rgb(151,120,209) 20%,rgb(207,42,186) 40%,rgb(238,44,130) 60%,rgb(251,105,98) 80%,rgb(254,248,76) 100%);--wp--preset--gradient--blush-light-purple: linear-gradient(135deg,rgb(255,206,236) 0%,rgb(152,150,240) 100%);--wp--preset--gradient--blush-bordeaux: linear-gradient(135deg,rgb(254,205,165) 0%,rgb(254,45,45) 50%,rgb(107,0,62) 100%);--wp--preset--gradient--luminous-dusk: linear-gradient(135deg,rgb(255,203,112) 0%,rgb(199,81,192) 50%,rgb(65,88,208) 100%);--wp--preset--gradient--pale-ocean: linear-gradient(135deg,rgb(255,245,203) 0%,rgb(182,227,212) 50%,rgb(51,167,181) 100%);--wp--preset--gradient--electric-grass: linear-gradient(135deg,rgb(202,248,128) 0%,rgb(113,206,126) 100%);--wp--preset--gradient--midnight: linear-gradient(135deg,rgb(2,3,129) 0%,rgb(40,116,252) 100%);--wp--preset--font-size--small: 13px;--wp--preset--font-size--medium: 20px;--wp--preset--font-size--large: 36px;--wp--preset--font-size--x-large: 42px;--wp--preset--spacing--20: 0.44rem;--wp--preset--spacing--30: 0.67rem;--wp--preset--spacing--40: 1rem;--wp--preset--spacing--50: 1.5rem;--wp--preset--spacing--60: 2.25rem;--wp--preset--spacing--70: 3.38rem;--wp--preset--spacing--80: 5.06rem;--wp--preset--shadow--natural: 6px 6px 9px rgba(0, 0, 0, 0.2);--wp--preset--shadow--deep: 12px 12px 50px rgba(0, 0, 0, 0.4);--wp--preset--shadow--sharp: 6px 6px 0px rgba(0, 0, 0, 0.2);--wp--preset--shadow--outlined: 6px 6px 0px -3px rgba(255, 255, 255, 1), 6px 6px rgba(0, 0, 0, 1);--wp--preset--shadow--crisp: 6px 6px 0px rgba(0, 0, 0, 1);}:where(.is-layout-flex){gap: 0.5em;}:where(.is-layout-grid){gap: 0.5em;}body .is-layout-flow > .alignleft{float: left;margin-inline-start: 0;margin-inline-end: 2em;}body .is-layout-flow > .alignright{float: right;margin-inline-start: 2em;margin-inline-end: 0;}body .is-layout-flow > .aligncenter{margin-left: auto !important;margin-right: auto !important;}body .is-layout-constrained > .alignleft{float: left;margin-inline-start: 0;margin-inline-end: 2em;}body .is-layout-constrained > .alignright{float: right;margin-inline-start: 2em;margin-inline-end: 0;}body .is-layout-constrained > .aligncenter{margin-left: auto !important;margin-right: auto !important;}body .is-layout-constrained > :where(:not(.alignleft):not(.alignright):not(.alignfull)){max-width: var(--wp--style--global--content-size);margin-left: auto !important;margin-right: auto !important;}body .is-layout-constrained > .alignwide{max-width: var(--wp--style--global--wide-size);}body .is-layout-flex{display: flex;}body .is-layout-flex{flex-wrap: wrap;align-items: center;}body .is-layout-flex > *{margin: 0;}body .is-layout-grid{display: grid;}body .is-layout-grid > *{margin: 0;}:where(.wp-block-columns.is-layout-flex){gap: 2em;}:where(.wp-block-columns.is-layout-grid){gap: 2em;}:where(.wp-block-post-template.is-layout-flex){gap: 1.25em;}:where(.wp-block-post-template.is-layout-grid){gap: 1.25em;}.has-black-color{color: var(--wp--preset--color--black) !important;}.has-cyan-bluish-gray-color{color: var(--wp--preset--color--cyan-bluish-gray) !important;}.has-white-color{color: var(--wp--preset--color--white) !important;}.has-pale-pink-color{color: var(--wp--preset--color--pale-pink) !important;}.has-vivid-red-color{color: var(--wp--preset--color--vivid-red) !important;}.has-luminous-vivid-orange-color{color: var(--wp--preset--color--luminous-vivid-orange) !important;}.has-luminous-vivid-amber-color{color: var(--wp--preset--color--luminous-vivid-amber) !important;}.has-light-green-cyan-color{color: var(--wp--preset--color--light-green-cyan) !important;}.has-vivid-green-cyan-color{color: var(--wp--preset--color--vivid-green-cyan) !important;}.has-pale-cyan-blue-color{color: var(--wp--preset--color--pale-cyan-blue) !important;}.has-vivid-cyan-blue-color{color: var(--wp--preset--color--vivid-cyan-blue) !important;}.has-vivid-purple-color{color: var(--wp--preset--color--vivid-purple) !important;}.has-black-background-color{background-color: var(--wp--preset--color--black) !important;}.has-cyan-bluish-gray-background-color{background-color: var(--wp--preset--color--cyan-bluish-gray) !important;}.has-white-background-color{background-color: var(--wp--preset--color--white) !important;}.has-pale-pink-background-color{background-color: var(--wp--preset--color--pale-pink) !important;}.has-vivid-red-background-color{background-color: var(--wp--preset--color--vivid-red) !important;}.has-luminous-vivid-orange-background-color{background-color: var(--wp--preset--color--luminous-vivid-orange) !important;}.has-luminous-vivid-amber-background-color{background-color: var(--wp--preset--color--luminous-vivid-amber) !important;}.has-light-green-cyan-background-color{background-color: var(--wp--preset--color--light-green-cyan) !important;}.has-vivid-green-cyan-background-color{background-color: var(--wp--preset--color--vivid-green-cyan) !important;}.has-pale-cyan-blue-background-color{background-color: var(--wp--preset--color--pale-cyan-blue) !important;}.has-vivid-cyan-blue-background-color{background-color: var(--wp--preset--color--vivid-cyan-blue) !important;}.has-vivid-purple-background-color{background-color: var(--wp--preset--color--vivid-purple) !important;}.has-black-border-color{border-color: var(--wp--preset--color--black) !important;}.has-cyan-bluish-gray-border-color{border-color: var(--wp--preset--color--cyan-bluish-gray) !important;}.has-white-border-color{border-color: var(--wp--preset--color--white) !important;}.has-pale-pink-border-color{border-color: var(--wp--preset--color--pale-pink) !important;}.has-vivid-red-border-color{border-color: var(--wp--preset--color--vivid-red) !important;}.has-luminous-vivid-orange-border-color{border-color: var(--wp--preset--color--luminous-vivid-orange) !important;}.has-luminous-vivid-amber-border-color{border-color: var(--wp--preset--color--luminous-vivid-amber) !important;}.has-light-green-cyan-border-color{border-color: var(--wp--preset--color--light-green-cyan) !important;}.has-vivid-green-cyan-border-color{border-color: var(--wp--preset--color--vivid-green-cyan) !important;}.has-pale-cyan-blue-border-color{border-color: var(--wp--preset--color--pale-cyan-blue) !important;}.has-vivid-cyan-blue-border-color{border-color: var(--wp--preset--color--vivid-cyan-blue) !important;}.has-vivid-purple-border-color{border-color: var(--wp--preset--color--vivid-purple) !important;}.has-vivid-cyan-blue-to-vivid-purple-gradient-background{background: var(--wp--preset--gradient--vivid-cyan-blue-to-vivid-purple) !important;}.has-light-green-cyan-to-vivid-green-cyan-gradient-background{background: var(--wp--preset--gradient--light-green-cyan-to-vivid-green-cyan) !important;}.has-luminous-vivid-amber-to-luminous-vivid-orange-gradient-background{background: var(--wp--preset--gradient--luminous-vivid-amber-to-luminous-vivid-orange) !important;}.has-luminous-vivid-orange-to-vivid-red-gradient-background{background: var(--wp--preset--gradient--luminous-vivid-orange-to-vivid-red) !important;}.has-very-light-gray-to-cyan-bluish-gray-gradient-background{background: var(--wp--preset--gradient--very-light-gray-to-cyan-bluish-gray) !important;}.has-cool-to-warm-spectrum-gradient-background{background: var(--wp--preset--gradient--cool-to-warm-spectrum) !important;}.has-blush-light-purple-gradient-background{background: var(--wp--preset--gradient--blush-light-purple) !important;}.has-blush-bordeaux-gradient-background{background: var(--wp--preset--gradient--blush-bordeaux) !important;}.has-luminous-dusk-gradient-background{background: var(--wp--preset--gradient--luminous-dusk) !important;}.has-pale-ocean-gradient-background{background: var(--wp--preset--gradient--pale-ocean) !important;}.has-electric-grass-gradient-background{background: var(--wp--preset--gradient--electric-grass) !important;}.has-midnight-gradient-background{background: var(--wp--preset--gradient--midnight) !important;}.has-small-font-size{font-size: var(--wp--preset--font-size--small) !important;}.has-medium-font-size{font-size: var(--wp--preset--font-size--medium) !important;}.has-large-font-size{font-size: var(--wp--preset--font-size--large) !important;}.has-x-large-font-size{font-size: var(--wp--preset--font-size--x-large) !important;} .wp-block-navigation a:where(:not(.wp-element-button)){color: inherit;} :where(.wp-block-post-template.is-layout-flex){gap: 1.25em;}:where(.wp-block-post-template.is-layout-grid){gap: 1.25em;} :where(.wp-block-columns.is-layout-flex){gap: 2em;}:where(.wp-block-columns.is-layout-grid){gap: 2em;} .wp-block-pullquote{font-size: 1.5em;line-height: 1.6;}</style> <link rel="stylesheet" id="cookie-law-info-css" href="/wp-content/plugins/cookie-law-info/legacy/public/css/cookie-law-info-public.css?ver=3.1.6" type="text/css" media="all"> <link rel="stylesheet" id="cookie-law-info-gdpr-css" href="/wp-content/plugins/cookie-law-info/legacy/public/css/cookie-law-info-gdpr.css?ver=3.1.6" type="text/css" media="all"> <link rel="stylesheet" id="theme-styles-css" href="/wp-content/themes/mpi-sws/assets/style.css?ver=1.9.0" type="text/css" media="screen"> <link rel="stylesheet" id="theme-print-styles-css" href="/wp-content/themes/mpi-sws/assets/print.css?ver=1.9.0" type="text/css" media="print"> <script type="text/javascript" src="/wp-includes/js/jquery/jquery.min.js?ver=3.7.0" id="jquery-core-js"></script> <script type="text/javascript" src="/wp-includes/js/jquery/jquery-migrate.min.js?ver=3.4.1" id="jquery-migrate-js"></script> <script type="text/javascript" id="cookie-law-info-js-extra"> /* <![CDATA[ */ var Cli_Data = {"nn_cookie_ids":[],"cookielist":[],"non_necessary_cookies":[],"ccpaEnabled":"","ccpaRegionBased":"","ccpaBarEnabled":"","strictlyEnabled":["necessary","obligatoire"],"ccpaType":"gdpr","js_blocking":"1","custom_integration":"","triggerDomRefresh":"","secure_cookies":""}; var cli_cookiebar_settings = {"animate_speed_hide":"500","animate_speed_show":"500","background":"#bcbcbc","border":"#b1a6a6c2","border_on":"","button_1_button_colour":"#61a229","button_1_button_hover":"#4e8221","button_1_link_colour":"#fff","button_1_as_button":"1","button_1_new_win":"","button_2_button_colour":"#333","button_2_button_hover":"#292929","button_2_link_colour":"#444","button_2_as_button":"","button_2_hidebar":"","button_3_button_colour":"#dedfe0","button_3_button_hover":"#b2b2b3","button_3_link_colour":"#333333","button_3_as_button":"1","button_3_new_win":"","button_4_button_colour":"#dedfe0","button_4_button_hover":"#b2b2b3","button_4_link_colour":"#333333","button_4_as_button":"1","button_7_button_colour":"#1e73be","button_7_button_hover":"#185c98","button_7_link_colour":"#fff","button_7_as_button":"1","button_7_new_win":"","font_family":"inherit","header_fix":"","notify_animate_hide":"1","notify_animate_show":"","notify_div_id":"#cookie-law-info-bar","notify_position_horizontal":"right","notify_position_vertical":"bottom","scroll_close":"","scroll_close_reload":"","accept_close_reload":"","reject_close_reload":"","showagain_tab":"","showagain_background":"#fff","showagain_border":"#000","showagain_div_id":"#cookie-law-info-again","showagain_x_position":"100px","text":"#333333","show_once_yn":"","show_once":"10000","logging_on":"","as_popup":"","popup_overlay":"1","bar_heading_text":"","cookie_bar_as":"banner","popup_showagain_position":"bottom-right","widget_position":"left"}; var log_object = {"ajax_url":"\/wp-admin\/admin-ajax.php"}; /* ]]> */ </script> <script type="text/javascript" src="/wp-content/plugins/cookie-law-info/legacy/public/js/cookie-law-info-public.js?ver=3.1.6" id="cookie-law-info-js"></script>   <link rel="EditURI" type="application/rsd+xml" title="RSD" href="/xmlrpc.php?rsd"> <link rel="canonical" href="/research-areas/programming-languages-and-verification/"> <link rel="shortlink" href="/?p=10"> <style type="text/css">.cryptex, .cryptex .divider{display: inline-block;padding: 0px 1px 0px 1px;margin: 0px;background-color: transparent;cursor: auto;font-size: 12px;font-family: inherit;font-weight: normal;font-style: normal;text-align: left;text-transform: none;color: #000000;}.cryptex[rel], .cryptex[rel] span.divider {cursor: auto;}.cryptex img, .CryptexImg{margin: 0px;padding: 0px;border: solid 0px #ffffff;background-color: transparent;box-shadow: none;display: inline;vertical-align: middle;float: none;clear: none;}.CryptexImg{display: inline-block;background-size: contain;background-repeat: no-repeat;background-position: 0px 0px;}</style> </head> <body class="mpisws_researcharea-template-default single single-mpisws_researcharea postid-10 has-sec-nav page--research-area lang--en_US"> <div class="top-nav js-top-nav"> <nav class="top-nav__ct" role="navigation" aria-label="Primary Menu">  <div class="nav--first nav js-nv js-nv-mn"> <div class="ct nav__ct"> <a href="/" class="nav__logo-lnk nav__logo-lnk"> <img src="/wp-content/themes/mpi-sws/assets/images/mpi-sws-logo.svg?ver=1.9.0" alt=" " class="nav__logo nav__logo--mob js-nv-lnk js-nv-lnk-home svg js-svg"> </a> <ul id="menu-header-menu" class="nav__menu menu"> <li id="menu-item-997" class="menu-item menu-item-type-custom menu-item-object-custom current-menu-ancestor current-menu-parent menu-item-has-children menu-item-997 nav__itm menu__itm"> <a href="/#ResearchAreas" class="nav__lnk js-nv-lnk menu__lnk">Research</a> <div class="nav-scroll-clip"><div class="nav-scroll-ct js-nv-scroll-ct"> <span class="arrow-prev js-scroll-left"></span><ul class="nav__menu menu menu--sub nav__menu--sub js-nv-sub-mn"> <li id="menu-item-454" class="menu-item menu-item-type-post_type menu-item-object-mpisws_researcharea menu-item-454 nav__itm menu__itm"><a href="/research-areas/algorithms-theory-logic/" class="nav__lnk js-nv-lnk menu__lnk">Algorithms, Theory & Logic</a></li> <li id="menu-item-252" class="menu-item menu-item-type-post_type menu-item-object-mpisws_researcharea current-menu-item menu-item-252 nav__itm menu__itm"><a href="/research-areas/programming-languages-and-verification/" aria-current="page" class="nav__lnk js-nv-lnk menu__lnk">Programming Languages & Verification</a></li> <li id="menu-item-253" class="menu-item menu-item-type-post_type menu-item-object-mpisws_researcharea menu-item-253 nav__itm menu__itm"><a href="/research-areas/cyber-physical-systems/" class="nav__lnk js-nv-lnk menu__lnk">Cyber-Physical Systems</a></li> <li id="menu-item-251" class="menu-item menu-item-type-post_type menu-item-object-mpisws_researcharea menu-item-251 nav__itm menu__itm"><a href="/research-areas/distributed-networked-and-mobile-systems/" class="nav__lnk js-nv-lnk menu__lnk">Distributed, Networked & Mobile Systems</a></li> <li id="menu-item-254" class="menu-item menu-item-type-post_type menu-item-object-mpisws_researcharea menu-item-254 nav__itm menu__itm"><a href="/research-areas/security-and-privacy/" class="nav__lnk js-nv-lnk menu__lnk">Security & Privacy</a></li> <li id="menu-item-255" class="menu-item menu-item-type-post_type menu-item-object-mpisws_researcharea menu-item-255 nav__itm menu__itm"><a href="/research-areas/social-and-information-systems/" class="nav__lnk js-nv-lnk menu__lnk">Social & Information Systems</a></li> <li id="menu-item-537" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-537 nav__itm menu__itm"><a href="https://cis.mpg.de/" class="nav__lnk js-nv-lnk menu__lnk">More CS @ MPG</a></li> </ul> <span class="arrow-next js-scroll-right"></span> </div></div> </li> <li id="menu-item-243" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-243 nav__itm menu__itm"> <a href="/research-careers/" class="nav__lnk js-nv-lnk menu__lnk">Careers</a> <div class="nav-scroll-clip"><div class="nav-scroll-ct js-nv-scroll-ct"> <span class="arrow-prev js-scroll-left"></span><ul class="nav__menu menu menu--sub nav__menu--sub js-nv-sub-mn"> <li id="menu-item-378" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-378 nav__itm menu__itm"><a href="/research-careers/#general" class="nav__lnk js-nv-lnk menu__lnk">Overview</a></li> <li id="menu-item-6840" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-6840 nav__itm menu__itm"><a href="/research-careers/#tenure-track-openings" class="nav__lnk js-nv-lnk menu__lnk">Tenure-track openings</a></li> <li id="menu-item-380" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-380 nav__itm menu__itm"><a href="/research-careers/#postdoctoral-positions" class="nav__lnk js-nv-lnk menu__lnk">Postdoctoral Positions</a></li> <li id="menu-item-381" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-381 nav__itm menu__itm"><a href="/research-careers/#internships" class="nav__lnk js-nv-lnk menu__lnk">Internships</a></li> <li id="menu-item-4860" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-4860 nav__itm menu__itm"><a href="/equal-opportunities/" class="nav__lnk js-nv-lnk menu__lnk">Equal Opportunity Resources</a></li> </ul> <span class="arrow-next js-scroll-right"></span> </div></div> </li> <li id="menu-item-244" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-244 nav__itm menu__itm"> <a href="/graduate-studies/" class="nav__lnk js-nv-lnk menu__lnk">Grad Studies</a> <div class="nav-scroll-clip"><div class="nav-scroll-ct js-nv-scroll-ct"> <span class="arrow-prev js-scroll-left"></span><ul class="nav__menu menu menu--sub nav__menu--sub js-nv-sub-mn"> <li id="menu-item-383" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-383 nav__itm menu__itm"><a href="/graduate-studies/#general" class="nav__lnk js-nv-lnk menu__lnk">Overview</a></li> <li id="menu-item-384" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-384 nav__itm menu__itm"><a href="/graduate-studies/#why-choose-mpi-swsY" class="nav__lnk js-nv-lnk menu__lnk">Why Choose MPI-SWS?</a></li> <li id="menu-item-385" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-385 nav__itm menu__itm"><a href="/graduate-studies/#our-graduate-program" class="nav__lnk js-nv-lnk menu__lnk">Graduate Studies @ MPI-SWS</a></li> <li id="menu-item-386" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-386 nav__itm menu__itm"><a href="/graduate-studies/#program-structure" class="nav__lnk js-nv-lnk menu__lnk">Program Structure</a></li> <li id="menu-item-387" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-387 nav__itm menu__itm"><a href="/graduate-studies/#admission" class="nav__lnk js-nv-lnk menu__lnk">Admission</a></li> <li id="menu-item-388" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-388 nav__itm menu__itm"><a href="/graduate-studies/#faqs" class="nav__lnk js-nv-lnk menu__lnk">FAQs</a></li> <li id="menu-item-8098" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-8098 nav__itm menu__itm"><a href="/graduate-studies/#different-programs" class="nav__lnk js-nv-lnk menu__lnk">Different programs</a></li> <li id="menu-item-8097" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-8097 nav__itm menu__itm"><a href="/graduate-studies/#support-services" class="nav__lnk js-nv-lnk menu__lnk">Support Services</a></li> <li id="menu-item-389" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-389 nav__itm menu__itm"><a href="/graduate-studies/#life-in-germany" class="nav__lnk js-nv-lnk menu__lnk">Life in Germany</a></li> </ul> <span class="arrow-next js-scroll-right"></span> </div></div> </li> <li id="menu-item-309" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-has-children menu-item-309 nav__itm menu__itm"> <a href="/people/" class="nav__lnk js-nv-lnk menu__lnk">People</a> <div class="nav-scroll-clip"><div class="nav-scroll-ct js-nv-scroll-ct"> <span class="arrow-prev js-scroll-left"></span><ul class="nav__menu menu menu--sub nav__menu--sub js-nv-sub-mn"> <li id="menu-item-967" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-967 nav__itm menu__itm"><a href="/people/#faculty-and-researchers" class="nav__lnk js-nv-lnk menu__lnk">Faculty</a></li> <li id="menu-item-4086" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-4086 nav__itm menu__itm"><a href="/people/#postdocs" class="nav__lnk js-nv-lnk menu__lnk">Postdoctoral Researchers</a></li> <li id="menu-item-968" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-968 nav__itm menu__itm"><a href="/people/#students-and-interns" class="nav__lnk js-nv-lnk menu__lnk">Doctoral Students and Interns</a></li> <li id="menu-item-969" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-969 nav__itm menu__itm"><a href="/people/#former" class="nav__lnk js-nv-lnk menu__lnk">Former members</a></li> <li id="menu-item-970" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-970 nav__itm menu__itm"><a href="/people/#joint-administration" class="nav__lnk js-nv-lnk menu__lnk">Joint Central Services</a></li> <li id="menu-item-971" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-971 nav__itm menu__itm"><a href="/people/#services" class="nav__lnk js-nv-lnk menu__lnk">Service Staff</a></li> </ul> <span class="arrow-next js-scroll-right"></span> </div></div> </li> <li id="menu-item-256" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-has-children menu-item-256 nav__itm menu__itm"> <a href="/events/" class="nav__lnk js-nv-lnk menu__lnk">Events</a> <div class="nav-scroll-clip"><div class="nav-scroll-ct js-nv-scroll-ct"> <span class="arrow-prev js-scroll-left"></span><ul class="nav__menu menu menu--sub nav__menu--sub js-nv-sub-mn"> <li id="menu-item-390" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-390 nav__itm menu__itm"><a href="/events/" class="nav__lnk js-nv-lnk menu__lnk">Overview</a></li> <li id="menu-item-391" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-391 nav__itm menu__itm"><a href="/events/upcoming/" class="nav__lnk js-nv-lnk menu__lnk">Upcoming</a></li> <li id="menu-item-392" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-392 nav__itm menu__itm"><a href="/events/recent/" class="nav__lnk js-nv-lnk menu__lnk">Recent</a></li> <li id="menu-item-393" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-393 nav__itm menu__itm"><a href="/events/2016/" class="nav__lnk js-nv-lnk menu__lnk">Archive</a></li> </ul> <span class="arrow-next js-scroll-right"></span> </div></div> </li> <li id="menu-item-2651" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-has-children menu-item-2651 nav__itm menu__itm"> <a href="/news/general" class="nav__lnk js-nv-lnk menu__lnk">News</a> <div class="nav-scroll-clip"><div class="nav-scroll-ct js-nv-scroll-ct"> <span class="arrow-prev js-scroll-left"></span><ul class="nav__menu menu menu--sub nav__menu--sub js-nv-sub-mn"> <li id="menu-item-4323" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-4323 nav__itm menu__itm"><a href="/news/general/" class="nav__lnk js-nv-lnk menu__lnk">All</a></li> <li id="menu-item-8095" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-8095 nav__itm menu__itm"><a href="/news/general/2023" class="nav__lnk js-nv-lnk menu__lnk">2023</a></li> <li id="menu-item-8094" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-8094 nav__itm menu__itm"><a href="/news/general/2022" class="nav__lnk js-nv-lnk menu__lnk">2022</a></li> <li id="menu-item-8096" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-8096 nav__itm menu__itm"><a href="/news/general/2021" class="nav__lnk js-nv-lnk menu__lnk">2021</a></li> <li id="menu-item-7192" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-7192 nav__itm menu__itm"><a href="/news/general/2020" class="nav__lnk js-nv-lnk menu__lnk">2020</a></li> <li id="menu-item-7191" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-7191 nav__itm menu__itm"><a href="/news/general/2019" class="nav__lnk js-nv-lnk menu__lnk">2019</a></li> <li id="menu-item-7190" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-7190 nav__itm menu__itm"><a href="/news/general/2018" class="nav__lnk js-nv-lnk menu__lnk">2018</a></li> <li id="menu-item-6049" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-6049 nav__itm menu__itm"><a href="/news/general/2017" class="nav__lnk js-nv-lnk menu__lnk">2017</a></li> <li id="menu-item-2115" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-2115 nav__itm menu__itm"><a href="/news/general/2016" class="nav__lnk js-nv-lnk menu__lnk">2016</a></li> <li id="menu-item-2114" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-2114 nav__itm menu__itm"><a href="/news/general/2015" class="nav__lnk js-nv-lnk menu__lnk">2015</a></li> <li id="menu-item-2113" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-2113 nav__itm menu__itm"><a href="/news/general/2014" class="nav__lnk js-nv-lnk menu__lnk">2014</a></li> <li id="menu-item-2112" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-2112 nav__itm menu__itm"><a href="/news/general/2013" class="nav__lnk js-nv-lnk menu__lnk">2013</a></li> <li id="menu-item-2111" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-2111 nav__itm menu__itm"><a href="/news/general/2012" class="nav__lnk js-nv-lnk menu__lnk">2012</a></li> <li id="menu-item-2110" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-2110 nav__itm menu__itm"><a href="/news/general/2011" class="nav__lnk js-nv-lnk menu__lnk">2011</a></li> <li id="menu-item-2109" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-2109 nav__itm menu__itm"><a href="/news/general/2010" class="nav__lnk js-nv-lnk menu__lnk">2010</a></li> <li id="menu-item-2108" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-2108 nav__itm menu__itm"><a href="/news/general/2009" class="nav__lnk js-nv-lnk menu__lnk">2009</a></li> <li id="menu-item-2107" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-2107 nav__itm menu__itm"><a href="/news/general/2008" class="nav__lnk js-nv-lnk menu__lnk">2008</a></li> <li id="menu-item-2105" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-2105 nav__itm menu__itm"><a href="/news/general/2007" class="nav__lnk js-nv-lnk menu__lnk">2007</a></li> <li id="menu-item-2106" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-2106 nav__itm menu__itm"><a href="/news/general/2006" class="nav__lnk js-nv-lnk menu__lnk">2006</a></li> <li id="menu-item-2116" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-2116 nav__itm menu__itm"><a href="/news/general/2005" class="nav__lnk js-nv-lnk menu__lnk">2005</a></li> <li id="menu-item-2117" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-2117 nav__itm menu__itm"><a href="/news/general/2004/" class="nav__lnk js-nv-lnk menu__lnk">2004</a></li> </ul> <span class="arrow-next js-scroll-right"></span> </div></div> </li> <li id="menu-item-245" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-245 nav__itm menu__itm"> <a href="/about-us/" class="nav__lnk js-nv-lnk menu__lnk">About Us</a> <div class="nav-scroll-clip"><div class="nav-scroll-ct js-nv-scroll-ct"> <span class="arrow-prev js-scroll-left"></span><ul class="nav__menu menu menu--sub nav__menu--sub js-nv-sub-mn"> <li id="menu-item-2653" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-2653 nav__itm menu__itm"><a href="/about-us/#welcome-from-the-founding-director" class="nav__lnk js-nv-lnk menu__lnk">Welcome from the Founding Director</a></li> <li id="menu-item-402" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-402 nav__itm menu__itm"><a href="/about-us/#structure-and-organization" class="nav__lnk js-nv-lnk menu__lnk">Structure and Organization</a></li> <li id="menu-item-403" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-403 nav__itm menu__itm"><a href="/about-us/#scientific-advisory-board" class="nav__lnk js-nv-lnk menu__lnk">Scientific Advisory Board</a></li> <li id="menu-item-404" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-404 nav__itm menu__itm"><a href="/about-us/#biennial-progress-reports" class="nav__lnk js-nv-lnk menu__lnk">Biennial Progress Reports</a></li> <li id="menu-item-405" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-405 nav__itm menu__itm"><a href="/about-us/#contact" class="nav__lnk js-nv-lnk menu__lnk">Contact</a></li> </ul> <span class="arrow-next js-scroll-right"></span> </div></div> </li> </ul> </div> </div>  <div class="nav js-nv nav--sec js-nv-sec"> <div class="ct nav__ct js-nv-scroll-ct nav-scroll-ct"> <span class="arrow-prev js-scroll-left"></span> <ul class="nav__lst--sec nav__lst"> <li class="nav__itm--sec nav__itm"> <a href="/research-areas/algorithms-theory-logic/" class="nav__lnk--sec nav__lnk ">Algorithms, Theory & Logic</a> </li> <li class="nav__itm--sec nav__itm"> <a href="/research-areas/programming-languages-and-verification/" class="nav__lnk--sec nav__lnk is-active">Programming Languages & Verification</a> </li> <li class="nav__itm--sec nav__itm"> <a href="/research-areas/cyber-physical-systems/" class="nav__lnk--sec nav__lnk ">Cyber-Physical Systems</a> </li> <li class="nav__itm--sec nav__itm"> <a href="/research-areas/distributed-networked-and-mobile-systems/" class="nav__lnk--sec nav__lnk ">Distributed, Networked & Mobile Systems</a> </li> <li class="nav__itm--sec nav__itm"> <a href="/research-areas/security-and-privacy/" class="nav__lnk--sec nav__lnk ">Security & Privacy</a> </li> <li class="nav__itm--sec nav__itm"> <a href="/research-areas/social-and-information-systems/" class="nav__lnk--sec nav__lnk ">Social & Information Systems</a> </li> <li class="nav__itm--sec nav__itm"> <a href="https://cis.mpg.de/" class="nav__lnk--sec nav__lnk ">More CS @ Max Planck</a> </li> </ul> <span class="arrow-next js-scroll-right"></span> </div> </div>   <div class="nav--mob nav js-nv-mob"> <a href="/" class="nav__logo-lnk nav__logo-lnk--mob"><img src="/wp-content/themes/mpi-sws/assets/images/mpi-sws-logo.svg?ver=1.9.0" alt=" " class="nav__logo nav__logo--mob js-nv-lnk js-nv-lnk-home svg js-svg"></a> <a class="nav__toggle-lnk lnk--burger js-nv-toggle-lnk" href="javascript:;" title="Show Navigation"><span class="ln ln--1 js-nv-mn-lnk-ln-1"></span><span class="ln ln--2 js-nv-mn-lnk-ln-2"></span><span class="ln ln--3 js-nv-mn-lnk-ln-3"></span></a> </div> </nav> </div> <div class="page__ct js-pg-ct"> <main class="page__main" role="main"> <style scoped>.page__hd { background-image: url("/wp-content/uploads/2016/07/MPI-SWS-Research-Areas-4-150x39.jpg"); background-position:50% 50%;background-repeat:no-repeat;background-size:cover;}@media (min-width: 151px) {.page__hd { background-image: url("/wp-content/uploads/2016/07/MPI-SWS-Research-Areas-4-300x77.jpg"); }}@media (min-width: 301px) {.page__hd { background-image: url("/wp-content/uploads/2016/07/MPI-SWS-Research-Areas-4-600x155.jpg"); }}@media (min-width: 601px) {.page__hd { background-image: url("/wp-content/uploads/2016/07/MPI-SWS-Research-Areas-4-768x198.jpg"); }}@media (min-width: 769px) {.page__hd { background-image: url("/wp-content/uploads/2016/07/MPI-SWS-Research-Areas-4-900x232.jpg"); }}@media (min-width: 901px) {.page__hd { background-image: url("/wp-content/uploads/2016/07/MPI-SWS-Research-Areas-4-1024x264.jpg"); }}@media (min-width: 1025px) {.page__hd { background-image: url("/wp-content/uploads/2016/07/MPI-SWS-Research-Areas-4-1200x309.jpg"); }}@media (min-width: 1201px) {.page__hd { background-image: url("/wp-content/uploads/2016/07/MPI-SWS-Research-Areas-4-1900x490.jpg"); }}@media (min-width: 1901px) {.page__hd { background-image: url("/wp-content/uploads/2016/07/MPI-SWS-Research-Areas-4.jpg"); }}</style> <header class="page__hd"> <div class="ct"> <div class="page__title-ct"> <h1 class="page__title">Programming Languages & Verification</h1> <div class="page__desc cnt"> <p>The group’s research focuses on the principles, design and implementation of programming languages and on foundational techniques and practical tools for analyzing, testing, and verifying programs against their correctness specifications.</p> <p>Recent research has developed techniques for verifying compilers and other critical software, and tools for testing and/or verifying concurrent systems.</p> </div> </div> </div> </header> <div class="page__body"> <div class="ra-overview">  <section class="page__section ra--news"> <div class="ct"> <header class="page__section-hd"> <h2 class="page__section-ttl">News</h2> </header> <div class="page__section-bd"> <div class="news-excerpts__lst js-news-slider news-excerpts__lst--5"> <div class="news-excerpts__itm"> <article class="news-excerpt"> <div class="ct"> <header class="news-excerpt__hd"> <h3 class="news-excerpt__ttl">Michael Sammler wins Runner-Up Prize for Informatics Europe Best Dissertation Award</h3> <div class="news-excerpt__meta"> <div class="news-excerpt__date">November 2024</div>  </div> </header> <div class="news-excerpt__bd cnt"> Dr. Michael Sammler has received the Runner-Up Prize for the 2024 Informatics Europe Best Dissertation Award, as well as the Dr. Eduard Martin Prize from Saarland University. </div> <div class="news-excerpt__more"> <a href="/news/programming-languages-and-verification/#michael-sammler-wins-runner-up-for-informatics-europe-best-dissertation-award" class="news-excerpt__more-lnk">More</a> </div> </div> </article> </div> <div class="news-excerpts__itm"> <article class="news-excerpt"> <div class="ct"> <header class="news-excerpt__hd"> <h3 class="news-excerpt__ttl">Andrea Lattuada joins MPI-SWS faculty</h3> <div class="news-excerpt__meta"> <div class="news-excerpt__date">September 2024</div>  </div> </header> <div class="news-excerpt__bd cnt"> Andrea Lattuada will join MPI-SWS as a Research Group Leader. His research focuses on pragmatic systems software verification, i.e., verification that is practical and usable by engineers and applicable to complex systems software. </div> <div class="news-excerpt__more"> <a href="/news/programming-languages-and-verification/#andrea-lattuada-joins-mpi-sws-faculty" class="news-excerpt__more-lnk">More</a> </div> </div> </article> </div> <div class="news-excerpts__itm"> <article class="news-excerpt"> <div class="ct"> <header class="news-excerpt__hd"> <h3 class="news-excerpt__ttl">MPI-SWS researcher receives OSDI 2024 Best Paper Award</h3> <div class="news-excerpt__meta"> <div class="news-excerpt__date">July 2024</div>  </div> </header> <div class="news-excerpt__bd cnt"> Andrea Lattuada and his collaborators have received a Best Paper Award at OSDI 2024 for his paper “Anvil: Verifying Liveness of Cluster Management Controllers.” </div> <div class="news-excerpt__more"> <a href="/news/programming-languages-and-verification/#mpi-sws-researcher-receives-osdi-2024-best-paper-award" class="news-excerpt__more-lnk">More</a> </div> </div> </article> </div> <div class="news-excerpts__itm"> <article class="news-excerpt"> <div class="ct"> <header class="news-excerpt__hd"> <h3 class="news-excerpt__ttl">MPI-SWS researchers receive PLDI 2024 Distinguished Artifact Award</h3> <div class="news-excerpt__meta"> <div class="news-excerpt__date">July 2024</div>  </div> </header> <div class="news-excerpt__bd cnt"> MPI-SWS researcherers have received the PLDI 2024 Distinguished Artifact Award for their paper Quiver: Guided Abductive Inference of Separation Logic Specifications in Coq. </div> <div class="news-excerpt__more"> <a href="/news/programming-languages-and-verification/#mpi-sws-researchers-win-pldi-2024-distinguished-artifact-award" class="news-excerpt__more-lnk">More</a> </div> </div> </article> </div> <div class="news-excerpts__itm"> <article class="news-excerpt"> <div class="ct"> <header class="news-excerpt__hd"> <h3 class="news-excerpt__ttl">Max Planck researchers publish 7 papers at POPL 2024!</h3> <div class="news-excerpt__meta"> <div class="news-excerpt__date">January 2024</div>  </div> </header> <div class="news-excerpt__bd cnt"> Max Planck researchers have authored seven papers to appear in POPL 2024. </div> <div class="news-excerpt__more"> <a href="/news/programming-languages-and-verification/#mpi-researchers-publish-7-papers-at-popl-2024" class="news-excerpt__more-lnk">More</a> </div> </div> </article> </div> </div> <div class="page__section-actn page__section-actn--archive"> <a href="/news/programming-languages-and-verification/" class="page__section-actn-lnk">All News</a> </div> </div> </div> </section>  <section class="page__section"> <div class="ct"> <header class="page__section-hd"> <h2 class="page__section-ttl">Recent projects</h2> </header> <div class="page__section-bd"> <div class="projects-lst"> <div class="projects-itm"> <article class="project"> <a class="project__lnk" href="https://people.mpi-sws.org/~viktor/papers/persist.html"> <header class="project__hd"> <h3 class="project__name">PERSIST</h3> </header> <div class="project__desc"> A semantic foundation for persistent programming </div> </a> </article> </div> <div class="projects-itm"> <article class="project"> <a class="project__lnk" href="https://github.com/malyzajko/daisy"> <header class="project__hd"> <h3 class="project__name">Daisy</h3> </header> <div class="project__desc"> a framework for accuracy analysis and synthesis of numerical programs </div> </a> </article> </div> <div class="projects-itm"> <article class="project"> <a class="project__lnk" href="http://plv.mpi-sws.org/fsl/"> <header class="project__hd"> <h3 class="project__name">FSL</h3> </header> <div class="project__desc"> A program logic for C11 concurrency with support for memory fences </div> </a> </article> </div> <div class="projects-itm"> <article class="project"> <a class="project__lnk" href="https://iris-project.org/"> <header class="project__hd"> <h3 class="project__name">Iris</h3> </header> <div class="project__desc"> A concurrent program logic based on monoids and invariants </div> </a> </article> </div> <div class="projects-itm"> <article class="project"> <a class="project__lnk" href="http://plv.mpi-sws.org/rustbelt/"> <header class="project__hd"> <h3 class="project__name">RustBelt</h3> </header> <div class="project__desc"> Logical foundations for the future of safe systems programming </div> </a> </article> </div> <div class="projects-itm"> <article class="project"> <a class="project__lnk" href="http://plv.mpi-sws.org/ogra/"> <header class="project__hd"> <h3 class="project__name">OGRA</h3> </header> <div class="project__desc"> The Owicki-Gries method for the RA memory model </div> </a> </article> </div> </div> <div class="page__section-actn page__section-actn--archive"> <a href="/research-areas/programming-languages-and-verification/projects/" class="page__section-actn-lnk">All projects</a> </div> </div> </div> </section>  <section class="page__section"> <div class="ct"> <header class="page__section-hd"> <h2 class="page__section-ttl">Recent software</h2> </header> <div class="page__section-bd"> <div class="projects-lst"> <div class="projects-itm"> <article class="project"> <a class="project__lnk" href="https://github.com/MPI-SWS/adiff"> <header class="project__hd"> <h3 class="project__name">adiff</h3> </header> <div class="project__desc"> Tool for differentially testing soundness and precision of program analyzers </div> </a> </article> </div> <div class="projects-itm"> <article class="project"> <a class="project__lnk" href="https://github.com/MPI-SWS/bran"> <header class="project__hd"> <h3 class="project__name">bran</h3> </header> <div class="project__desc"> Static analysis framework for EVM bytecode </div> </a> </article> </div> <div class="projects-itm"> <article class="project"> <a class="project__lnk" href="https://github.com/MPI-SWS/daisy"> <header class="project__hd"> <h3 class="project__name">daisy</h3> </header> <div class="project__desc"> A framework for analysis and optimization of numerical programs </div> </a> </article> </div> <div class="projects-itm"> <article class="project"> <a class="project__lnk" href="https://github.com/MPI-SWS/genmc"> <header class="project__hd"> <h3 class="project__name">genmc</h3> </header> <div class="project__desc"> Generic model checker for concurrent C programs </div> </a> </article> </div> </div> </div> </div> </section>  <section class="page__section page__section--highlighted"> <div class="ct"> <header class="page__section-hd"> <h2 class="page__section-ttl">Papers</h2> </header> <div class="page__section-bd"> <article class="paper"> <header class="paper__hd"> <a class="paper__lnk" href="https://doi.org/10.4230/LIPIcs.CONCUR.2024.33"> <h3 class="paper__name">Automating Memory Model Metatheory with Intersections.</h3> </a> </header> <div class="paper__meta"> Aristotelis Koutsouridis, Michalis Kokologiannakis, Viktor Vafeiadis. <br>CONCUR 2024. </div> </article> <article class="paper"> <header class="paper__hd"> <a class="paper__lnk" href="https://doi.org/10.4230/LIPIcs.CONCUR.2024.27"> <h3 class="paper__name">Inaproximability in Weighted Timed Games.</h3> </a> </header> <div class="paper__meta"> Quentin Guilmant, Joël Ouaknine. <br>CONCUR 2024. </div> </article> <article class="paper"> <header class="paper__hd"> <a class="paper__lnk" href="https://doi.org/10.1007/978-3-031-57267-8_8"> <h3 class="paper__name">Specifying and Verifying Persistent Libraries.</h3> </a> </header> <div class="paper__meta"> Léo Stefanesco, Azalea Raad, Viktor Vafeiadis. <br>ESOP 2024. </div> </article> <article class="paper"> <header class="paper__hd"> <a class="paper__lnk" href="https://doi.org/10.1007/s10703-024-00444-3"> <h3 class="paper__name">Porous invariants for linear systems.</h3> </a> </header> <div class="paper__meta"> Engel Lefaucheux, Joël Ouaknine, David Purser, James Worrell. <br>Formal Methods Syst. Des. 2024. </div> </article> <article class="paper"> <header class="paper__hd"> <a class="paper__lnk" href="https://doi.org/10.1145/3641513.3650173"> <h3 class="paper__name">Linear dynamical systems with continuous weight functions.</h3> </a> </header> <div class="paper__meta"> Rajab Aghamov, Christel Baier, Toghrul Karimov, Joël Ouaknine, Jakob Piribauer. <br>HSCC 2024. </div> </article> <div class="page__section-actn page__section-actn--archive"> <a href="/research-areas/programming-languages-and-verification/papers/" class="page__section-actn-lnk">All papers</a> </div> </div> </div> </section>  <section class="page__section"> <div class="ct"> <header class="page__section-hd"> <h2 class="page__section-ttl">People</h2> </header> <div class="page__section-bd"> <section class="section section--people "> <header class="section__hd"> <h3 class="section__ttl">Faculty</h3> </header> <div class="section__bd"> <div class="people__lst"> <div class="people__itm"> <a href="/people/bbb/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/bbb/Bjoern-Brandenburg.jpg');"> <img class="person__img" src="/people/bbb/Bjoern-Brandenburg.jpg" alt="Björn Brandenburg"> </div>  <h4 class="person__name">Björn Brandenburg</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/dreyer/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/dreyer/Derek-Dreyer.jpg');"> <img class="person__img" src="/people/dreyer/Derek-Dreyer.jpg" alt="Derek Dreyer"> </div>  <h4 class="person__name">Derek Dreyer</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/dg/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/dg/Deepak-Garg.jpg');"> <img class="person__img" src="/people/dg/Deepak-Garg.jpg" alt="Deepak Garg"> </div>  <h4 class="person__name">Deepak Garg</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/rupak/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/rupak/Rupak-Majumdar.jpg');"> <img class="person__img" src="/people/rupak/Rupak-Majumdar.jpg" alt="Rupak Majumdar"> </div>  <h4 class="person__name">Rupak Majumdar</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/joel/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/joel/Joel-Ouaknine.jpg');"> <img class="person__img" src="/people/joel/Joel-Ouaknine.jpg" alt="Joel Ouaknine"> </div>  <h4 class="person__name">Joel Ouaknine</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/akschmuck/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/akschmuck/Anne-Kathrin-Schmuck.jpg');"> <img class="person__img" src="/people/akschmuck/Anne-Kathrin-Schmuck.jpg" alt="Anne-Kathrin Schmuck"> </div>  <h4 class="person__name">Anne-Kathrin Schmuck</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/viktor/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/viktor/Viktor-Vafeiadis.jpg');"> <img class="person__img" src="/people/viktor/Viktor-Vafeiadis.jpg" alt="Viktor Vafeiadis"> </div>  <h4 class="person__name">Viktor Vafeiadis</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/georg/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/georg/Georg-Zetzsche.jpg');"> <img class="person__img" src="/people/georg/Georg-Zetzsche.jpg" alt="Georg Zetzsche"> </div>  <h4 class="person__name">Georg Zetzsche</h4>  </header> </article> </a> </div> </div> </div> </section> <section class="section section--people "> <header class="section__hd"> <h3 class="section__ttl">Research Group Leaders</h3> </header> <div class="section__bd"> <div class="people__lst"> <div class="people__itm"> <a href="/people/mganardi/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/mganardi/Moses-Ganardi.jpg');"> <img class="person__img" src="/people/mganardi/Moses-Ganardi.jpg" alt="Moses Ganardi"> </div>  <h4 class="person__name">Moses Ganardi</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/andrea/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/andrea/Andrea-Lattuada.jpg');"> <img class="person__img" src="/people/andrea/Andrea-Lattuada.jpg" alt="Andrea Lattuada"> </div>  <h4 class="person__name">Andrea Lattuada</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/sadegh/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/sadegh/Sadegh-Soudjani.jpg');"> <img class="person__img" src="/people/sadegh/Sadegh-Soudjani.jpg" alt="Sadegh Soudjani"> </div>  <h4 class="person__name">Sadegh Soudjani</h4>  </header> </article> </a> </div> </div> </div> </section> <section class="section section--people "> <header class="section__hd"> <h3 class="section__ttl">Affiliated Faculty</h3> </header> <div class="section__bd"> <div class="people__lst"> <div class="people__itm"> <a href="/people/maria/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/maria/Maria-Christakis.jpg');"> <img class="person__img" src="/people/maria/Maria-Christakis.jpg" alt="Maria Christakis"> </div>  <h4 class="person__name">Maria Christakis <br>(Adjunct Faculty)</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/eva/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/eva/Eva-Darulova.jpg');"> <img class="person__img" src="/people/eva/Eva-Darulova.jpg" alt="Eva Darulova"> </div>  <h4 class="person__name">Eva Darulova <br>(Adjunct Faculty)</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/rwh/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/rwh/Robert-Harper.jpg');"> <img class="person__img" src="/people/rwh/Robert-Harper.jpg" alt="Robert Harper"> </div>  <h4 class="person__name">Robert Harper <br>(External Scientific Member)</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/awlin/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/awlin/Anthony-Lin.jpg');"> <img class="person__img" src="/people/awlin/Anthony-Lin.jpg" alt="Anthony Lin"> </div>  <h4 class="person__name">Anthony Lin <br>(Max Planck Fellow)</h4>  </header> </article> </a> </div> </div> </div> </section> <section class="section section--people "> <header class="section__hd"> <h3 class="section__ttl">Postdoctoral Researchers</h3> </header> <div class="section__bd"> <div class="people__lst"> <div class="people__itm"> <a href="/people/bayikudi/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/bayikudi/Bala-Ayikudi+Ramachandrakumar.jpg');"> <img class="person__img" src="/people/bayikudi/Bala-Ayikudi+Ramachandrakumar.jpg" alt="Bala Ayikudi Ramachandrakumar"> </div>  <h4 class="person__name">Bala Ayikudi Ramachandrakumar</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/arashbk/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/arashbk/Arash-Bahari+Kordabad.jpg');"> <img class="person__img" src="/people/arashbk/Arash-Bahari+Kordabad.jpg" alt="Arash Bahari Kordabad"> </div>  <h4 class="person__name">Arash Bahari Kordabad</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/bugariua/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/bugariua/Alexandra-Bugariu.jpg');"> <img class="person__img" src="/people/bugariua/Alexandra-Bugariu.jpg" alt="Alexandra Bugariu"> </div>  <h4 class="person__name">Alexandra Bugariu</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/algeorges/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/algeorges/Aina+Linn-Georges.jpg');"> <img class="person__img" src="/people/algeorges/Aina+Linn-Georges.jpg" alt="Aïna Linn Georges"> </div>  <h4 class="person__name">Aïna Linn Georges</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/arabinda/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/arabinda/Arabinda-Ghosh.jpg');"> <img class="person__img" src="/people/arabinda/Arabinda-Ghosh.jpg" alt="Arabinda Ghosh"> </div>  <h4 class="person__name">Arabinda Ghosh</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/guilmant/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/guilmant/Quentin-Guilmant.jpg');"> <img class="person__img" src="/people/guilmant/Quentin-Guilmant.jpg" alt="Quentin Guilmant"> </div>  <h4 class="person__name">Quentin Guilmant</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/toghs/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/toghs/Toghrul-Karimov.jpg');"> <img class="person__img" src="/people/toghs/Toghrul-Karimov.jpg" alt="Toghrul Karimov"> </div>  <h4 class="person__name">Toghrul Karimov</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/ckoecher/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/ckoecher/Chris-Koecher.jpg');"> <img class="person__img" src="/people/ckoecher/Chris-Koecher.jpg" alt="Chris Köcher"> </div>  <h4 class="person__name">Chris Köcher</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/kmadnani/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/kmadnani/Khushraj-Madnani.jpg');"> <img class="person__img" src="/people/kmadnani/Khushraj-Madnani.jpg" alt="Khushraj Madnani"> </div>  <h4 class="person__name">Khushraj Madnani</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/rmandel/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/rmandel/Richard-Mandel.jpg');"> <img class="person__img" src="/people/rmandel/Richard-Mandel.jpg" alt="Richard Mandel"> </div>  <h4 class="person__name">Richard Mandel</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/lstefane/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/lstefane/Leo-Stefanesco.jpg');"> <img class="person__img" src="/people/lstefane/Leo-Stefanesco.jpg" alt="Léo Stefanesco"> </div>  <h4 class="person__name">Léo Stefanesco</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/vialard/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/wp-content/themes/mpi-sws/assets/images/dummy-avatar.jpg');"> <img class="person__img" src="/wp-content/themes/mpi-sws/assets/images/dummy-avatar.jpg" alt="Isa Vialard"> </div>  <h4 class="person__name">Isa Vialard</h4>  </header> </article> </a> </div> </div> </div> </section> <section class="section section--people "> <header class="section__hd"> <h3 class="section__ttl">Doctoral Students</h3> </header> <div class="section__bd"> <div class="people__lst"> <div class="people__itm"> <a href="/people/rosaabbasi/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/rosaabbasi/Rosa-Abbasi.jpg');"> <img class="person__img" src="/people/rosaabbasi/Rosa-Abbasi.jpg" alt="Rosa Abbasi"> </div>  <h4 class="person__name">Rosa Abbasi</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/ashwani/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/ashwani/Ashwani-Anand.jpg');"> <img class="person__img" src="/people/ashwani/Ashwani-Anand.jpg" alt="Ashwani Anand"> </div>  <h4 class="person__name">Ashwani Anand</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/earlt/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/earlt/Ellen-Arlt.jpg');"> <img class="person__img" src="/people/earlt/Ellen-Arlt.jpg" alt="Ellen Arlt"> </div>  <h4 class="person__name">Ellen Arlt</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/pbaumann/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/pbaumann/Pascal-Baumann.jpg');"> <img class="person__img" src="/people/pbaumann/Pascal-Baumann.jpg" alt="Pascal Baumann"> </div>  <h4 class="person__name">Pascal Baumann</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/kbedarka/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/kbedarka/Kimaya-Bedarkar.jpg');"> <img class="person__img" src="/people/kbedarka/Kimaya-Bedarkar.jpg" alt="Kimaya Bedarkar"> </div>  <h4 class="person__name">Kimaya Bedarkar</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/aborgare/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/aborgare/Andrea-Borgarelli.jpg');"> <img class="person__img" src="/people/aborgare/Andrea-Borgarelli.jpg" alt="Andrea Borgarelli"> </div>  <h4 class="person__name">Andrea Borgarelli</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/pgolovin/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/pgolovin/Pavel-Golovin.jpg');"> <img class="person__img" src="/people/pgolovin/Pavel-Golovin.jpg" alt="Pavel Golovin"> </div>  <h4 class="person__name">Pavel Golovin</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/gaeher/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/gaeher/Lennard-Gaeher.jpg');"> <img class="person__img" src="/people/gaeher/Lennard-Gaeher.jpg" alt="Lennard Gäher"> </div>  <h4 class="person__name">Lennard Gäher</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/mkhoshechin/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/mkhoshechin/Mohammad+Hossein-Khoshechin+Jorshari.jpg');"> <img class="person__img" src="/people/mkhoshechin/Mohammad+Hossein-Khoshechin+Jorshari.jpg" alt="Mohammad Hossein Khoshechin Jorshari"> </div>  <h4 class="person__name">Mohammad Hossein Khoshechin Jorshari</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/koutsouridis/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/koutsouridis/Aristotelis-Koutsouridis.jpg');"> <img class="person__img" src="/people/koutsouridis/Aristotelis-Koutsouridis.jpg" alt="Aristotelis Koutsouridis"> </div>  <h4 class="person__name">Aristotelis Koutsouridis</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/jlohse/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/jlohse/Janine-Lohse.jpg');"> <img class="person__img" src="/people/jlohse/Janine-Lohse.jpg" alt="Janine Lohse"> </div>  <h4 class="person__name">Janine Lohse</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/imarmanis/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/imarmanis/Iason-Marmanis.jpg');"> <img class="person__img" src="/people/imarmanis/Iason-Marmanis.jpg" alt="Iason Marmanis"> </div>  <h4 class="person__name">Iason Marmanis</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/jmenz/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/jmenz/Jan-Menz.jpg');"> <img class="person__img" src="/people/jmenz/Jan-Menz.jpg" alt="Jan Menz"> </div>  <h4 class="person__name">Jan Menz</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/mueck/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/mueck/Niklas-Mueck.jpg');"> <img class="person__img" src="/people/mueck/Niklas-Mueck.jpg" alt="Niklas Mück"> </div>  <h4 class="person__name">Niklas Mück</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/mnazeri/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/mnazeri/Mahdi-Nazeri.jpg');"> <img class="person__img" src="/people/mnazeri/Mahdi-Nazeri.jpg" alt="Mahdi Nazeri"> </div>  <h4 class="person__name">Mahdi Nazeri</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/jnieuwve/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/jnieuwve/Joris-Nieuwveld.jpg');"> <img class="person__img" src="/people/jnieuwve/Joris-Nieuwveld.jpg" alt="Joris Nieuwveld"> </div>  <h4 class="person__name">Joris Nieuwveld</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/mricros/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/mricros/Marin-Ricros.jpg');"> <img class="person__img" src="/people/mricros/Marin-Ricros.jpg" alt="Marin Ricros"> </div>  <h4 class="person__name">Marin Ricros</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/isaglam/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/isaglam/Irmak-Saglam.jpg');"> <img class="person__img" src="/people/isaglam/Irmak-Saglam.jpg" alt="Irmak Saglam"> </div>  <h4 class="person__name">Irmak Saglam</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/msalamati/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/msalamati/Mahmoud-Salamati.jpg');"> <img class="person__img" src="/people/msalamati/Mahmoud-Salamati.jpg" alt="Mahmoud Salamati"> </div>  <h4 class="person__name">Mahmoud Salamati</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/lschuetze/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/lschuetze/Lia-Schuetze.jpg');"> <img class="person__img" src="/people/lschuetze/Lia-Schuetze.jpg" alt="Lia Schütze"> </div>  <h4 class="person__name">Lia Schütze</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/spies/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/spies/Simon-Spies.jpg');"> <img class="person__img" src="/people/spies/Simon-Spies.jpg" alt="Simon Spies"> </div>  <h4 class="person__name">Simon Spies</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/mvahanwa/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/mvahanwa/Mihir-Vahanwala.jpg');"> <img class="person__img" src="/people/mvahanwa/Mihir-Vahanwala.jpg" alt="Mihir Vahanwala"> </div>  <h4 class="person__name">Mihir Vahanwala</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/sramesh/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/sramesh/Sathiyanarayana-Venkatesan+Ramesh.jpg');"> <img class="person__img" src="/people/sramesh/Sathiyanarayana-Venkatesan+Ramesh.jpg" alt="Sathiyanarayana Venkatesan Ramesh"> </div>  <h4 class="person__name">Sathiyanarayana Venkatesan Ramesh</h4>  </header> </article> </a> </div> </div> </div> </section> <section class="section section--people "> <header class="section__hd"> <h3 class="section__ttl">External Students</h3> </header> <div class="section__bd"> <div class="people__lst"> <div class="people__itm"> <a href="/people/pbergstr/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/wp-content/themes/mpi-sws/assets/images/dummy-avatar.jpg');"> <img class="person__img" src="/wp-content/themes/mpi-sws/assets/images/dummy-avatar.jpg" alt="Pascal Bergsträßer"> </div>  <h4 class="person__name">Pascal Bergsträßer</h4>  </header> </article> </a> </div> </div> </div> </section> <section class="section section--people section--former"> <header class="section__hd"> <h3 class="section__ttl">Former members</h3> </header> <div class="section__bd"> <div class="people__lst"> <div class="people__itm"> <a href="/people/dch/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/dch/Dmitry-Chistikov.jpg');"> <img class="person__img" src="/people/dch/Dmitry-Chistikov.jpg" alt="Dmitry Chistikov"> </div>  <h4 class="person__name">Dmitry Chistikov</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/dosualdo/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/dosualdo/Emanuele-DOsualdo.jpg');"> <img class="person__img" src="/people/dosualdo/Emanuele-DOsualdo.jpg" alt="Emanuele D'Osualdo"> </div>  <h4 class="person__name">Emanuele D'Osualdo</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/haidang/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/haidang/Hoang-Hai-Dang.jpg');"> <img class="person__img" src="/people/haidang/Hoang-Hai-Dang.jpg" alt="Hoang-Hai Dang"> </div>  <h4 class="person__name">Hoang-Hai Dang</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/elkorashy/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/elkorashy/Akram-El-Korashy.jpg');"> <img class="person__img" src="/people/elkorashy/Akram-El-Korashy.jpg" alt="Akram El-Korashy"> </div>  <h4 class="person__name">Akram El-Korashy</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/hfeniser/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/hfeniser/Hasan+Ferit-Eniser.jpg');"> <img class="person__img" src="/people/hfeniser/Hasan+Ferit-Eniser.jpg" alt="Hasan Ferit Eniser"> </div>  <h4 class="person__name">Hasan Ferit Eniser</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/gavran/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/gavran/Ivan-Gavran.jpg');"> <img class="person__img" src="/people/gavran/Ivan-Gavran.jpg" alt="Ivan Gavran"> </div>  <h4 class="person__name">Ivan Gavran</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/jjourdan/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/jjourdan/Jacques-Henri-Jourdan.jpg');"> <img class="person__img" src="/people/jjourdan/Jacques-Henri-Jourdan.jpg" alt="Jacques-Henri Jourdan"> </div>  <h4 class="person__name">Jacques-Henri Jourdan</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/jung/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/jung/Ralf-Jung.jpg');"> <img class="person__img" src="/people/jung/Ralf-Jung.jpg" alt="Ralf Jung"> </div>  <h4 class="person__name">Ralf Jung</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/janno/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/janno/Jan-Oliver-Kaiser.jpg');"> <img class="person__img" src="/people/janno/Jan-Oliver-Kaiser.jpg" alt="Jan-Oliver Kaiser"> </div>  <h4 class="person__name">Jan-Oliver Kaiser</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/skilpat/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/skilpat/Scott-Kilpatrick.jpg');"> <img class="person__img" src="/people/skilpat/Scott-Kilpatrick.jpg" alt="Scott Kilpatrick"> </div>  <h4 class="person__name">Scott Kilpatrick</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/lepigre/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/lepigre/Rodolphe-Lepigre.jpg');"> <img class="person__img" src="/people/lepigre/Rodolphe-Lepigre.jpg" alt="Rodolphe Lepigre"> </div>  <h4 class="person__name">Rodolphe Lepigre</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/dlohar/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/dlohar/Debasmita-Lohar.jpg');"> <img class="person__img" src="/people/dlohar/Debasmita-Lohar.jpg" alt="Debasmita Lohar"> </div>  <h4 class="person__name">Debasmita Lohar</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/kmallik/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/kmallik/Kaushik-Mallik.jpg');"> <img class="person__img" src="/people/kmallik/Kaushik-Mallik.jpg" alt="Kaushik Mallik"> </div>  <h4 class="person__name">Kaushik Mallik</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/noubissie/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/noubissie/Armand-Noubissie.jpg');"> <img class="person__img" src="/people/noubissie/Armand-Noubissie.jpg" alt="Armand Noubissie"> </div>  <h4 class="person__name">Armand Noubissie</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/dpurser/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/dpurser/David-Purser.jpg');"> <img class="person__img" src="/people/dpurser/David-Purser.jpg" alt="David Purser"> </div>  <h4 class="person__name">David Purser</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/rraya/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/rraya/Rodrigo-Raya.jpg');"> <img class="person__img" src="/people/rraya/Rodrigo-Raya.jpg" alt="Rodrigo Raya"> </div>  <h4 class="person__name">Rodrigo Raya</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/rossberg/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/rossberg/Andreas-Rossberg.jpg');"> <img class="person__img" src="/people/rossberg/Andreas-Rossberg.jpg" alt="Andreas Rossberg"> </div>  <h4 class="person__name">Andreas Rossberg</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/rajarshi/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/rajarshi/Rajarshi-Roy.jpg');"> <img class="person__img" src="/people/rajarshi/Rajarshi-Roy.jpg" alt="Rajarshi Roy"> </div>  <h4 class="person__name">Rajarshi Roy</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/msammler/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/msammler/Michael-Sammler.jpg');"> <img class="person__img" src="/people/msammler/Michael-Sammler.jpg" alt="Michael Sammler"> </div>  <h4 class="person__name">Michael Sammler</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/youngju/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/youngju/Youngju-Song.jpg');"> <img class="person__img" src="/people/youngju/Youngju-Song.jpg" alt="Youngju Song"> </div>  <h4 class="person__name">Youngju Song</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/thinniyam/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/thinniyam/Ramanathan-Thinniyam+Srinivasan.jpg');"> <img class="person__img" src="/people/thinniyam/Ramanathan-Thinniyam+Srinivasan.jpg" alt="Ramanathan Thinniyam Srinivasan"> </div>  <h4 class="person__name">Ramanathan Thinniyam Srinivasan</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/sbarkatsa/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/people/sbarkatsa/Sofia-Barkatsa.jpg');"> <img class="person__img" src="/people/sbarkatsa/Sofia-Barkatsa.jpg" alt="Sofia Barkatsa"> </div>  <h4 class="person__name">Sofia Barkatsa</h4>  </header> </article> </a> </div> <div class="people__itm"> <a href="/people/msurbato/" class="people__ct people__lnk"> <article class="person"> <header class="person__hd"> <div class="person__img-ct" style="background-image: url('/wp-content/themes/mpi-sws/assets/images/dummy-avatar.jpg');"> <img class="person__img" src="/wp-content/themes/mpi-sws/assets/images/dummy-avatar.jpg" alt="Milijana Surbatovich"> </div>  <h4 class="person__name">Milijana Surbatovich</h4>  </header> </article> </a> </div> </div> </div> </section> </div> </div> </section> </div> </div> </main> </div> <footer class="page__ft"> <div class="ct"> <div class="page__ft-qr"> <img class="page__ft-qr-img" src="/wp-content/themes/mpi-sws/assets/images/mpi-sws-qrcode.png"> </div> <div class="page__ft-menu"> <ul id="menu-footer-menu" class="footer__menu menu"> <li id="menu-item-6131" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-6131 footer__menu-itm menu__itm"><a href="https://imprint.mpi-klsb.mpg.de/sws/www.mpi-sws.org" class="footer__menu-lnk menu__lnk">Imprint</a></li> <li id="menu-item-6132" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-6132 footer__menu-itm menu__itm"><a href="https://data-protection.mpi-klsb.mpg.de/sws/www.mpi-sws.org" class="footer__menu-lnk menu__lnk">Data Protection</a></li> <li id="menu-item-4087" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-4087 footer__menu-itm menu__itm"><a href="/about-us/#contact" class="footer__menu-lnk menu__lnk">Contact</a></li> </ul> </div>  <div class="page__ft-contact-copy-ct"> <div class="page__ft-webmaster"> <a href="mailto:webmaster-sws@mpi-sws.org">webmaster-sws@mpi-sws.org</a> </div> <div class="page__ft-copy"> <a href="https://www.linkedin.com/company/max-planck-institute-for-software-systems/"><div title="Follow MPI-SWS on Linkedin"><img style="width:10%" src="/wp-content/themes/mpi-sws/assets/images/LI-In-Bug.png"></div></a> © Copyright by Max Planck Institute for Software Systems 2024. All rights reserved. </div> </div> </div> </footer> <div id="cookie-law-info-bar" data-nosnippet="true"><span><div class="cli-bar-container cli-style-v2"> <div class="cli-bar-message">We use cookies on our website to give you the most relevant experience by remembering your preferences and repeat visits. By clicking “Accept All”, you consent to the use of ALL the cookies. However, you may visit "Cookie Settings" to provide a controlled consent.</div> <div class="cli-bar-btn_container"> <a role="button" class="medium cli-plugin-button cli-plugin-main-button cli_settings_button" style="margin:0px 5px 0px 0px">Cookie Settings</a><a id="wt-cli-accept-all-btn" role="button" data-cli_action="accept_all" class="wt-cli-element medium cli-plugin-button wt-cli-accept-all-btn cookie_action_close_header cli_action_button">Accept All</a> </div> </div></span></div> <div id="cookie-law-info-again" data-nosnippet="true"><span id="cookie_hdr_showagain">Manage consent</span></div> <div class="cli-modal" data-nosnippet="true" id="cliSettingsPopup" tabindex="-1" role="dialog" aria-labelledby="cliSettingsPopup" aria-hidden="true"> <div class="cli-modal-dialog" role="document"> <div class="cli-modal-content cli-bar-popup"> <button type="button" class="cli-modal-close" id="cliModalClose"> <svg class="" viewbox="0 0 24 24"><path d="M19 6.41l-1.41-1.41-5.59 5.59-5.59-5.59-1.41 1.41 5.59 5.59-5.59 5.59 1.41 1.41 5.59-5.59 5.59 5.59 1.41-1.41-5.59-5.59z"></path><path d="M0 0h24v24h-24z" fill="none"></path></svg> <span class="wt-cli-sr-only">Close</span> </button> <div class="cli-modal-body"> <div class="cli-container-fluid cli-tab-container"> <div class="cli-row"> <div class="cli-col-12 cli-align-items-stretch cli-px-0"> <div class="cli-privacy-overview"> <h4>Privacy Overview</h4> <div class="cli-privacy-content"> <div class="cli-privacy-content-text">This website uses cookies to improve your experience while you navigate through the website. Out of these, the cookies that are categorized as necessary are stored on your browser as they are essential for the working of basic functionalities of the website. We also use third-party cookies that help us analyze and understand how you use this website. These cookies will be stored in your browser only with your consent. You also have the option to opt-out of these cookies. But opting out of some of these cookies may affect your browsing experience.</div> </div> <a class="cli-privacy-readmore" aria-label="Show more" role="button" data-readmore-text="Show more" data-readless-text="Show less"></a> </div> </div> <div class="cli-col-12 cli-align-items-stretch cli-px-0 cli-tab-section-container"> <div class="cli-tab-section"> <div class="cli-tab-header"> <a role="button" tabindex="0" class="cli-nav-link cli-settings-mobile" data-target="necessary" data-toggle="cli-toggle-tab"> Necessary </a> <div class="wt-cli-necessary-checkbox"> <input type="checkbox" class="cli-user-preference-checkbox" id="wt-cli-checkbox-necessary" data-id="checkbox-necessary" checked> <label class="form-check-label" for="wt-cli-checkbox-necessary">Necessary</label> </div> <span class="cli-necessary-caption">Always Enabled</span> </div> <div class="cli-tab-content"> <div class="cli-tab-pane cli-fade" data-id="necessary"> <div class="wt-cli-cookie-description"> Necessary cookies are absolutely essential for the website to function properly. These cookies ensure basic functionalities and security features of the website, anonymously. <table class="cookielawinfo-row-cat-table cookielawinfo-winter"> <thead><tr> <th class="cookielawinfo-column-1">Cookie</th> <th class="cookielawinfo-column-3">Duration</th> <th class="cookielawinfo-column-4">Description</th> </tr></thead> <tbody> <tr class="cookielawinfo-row"> <td class="cookielawinfo-column-1">cookielawinfo-checkbox-analytics</td> <td class="cookielawinfo-column-3">11 months</td> <td class="cookielawinfo-column-4">This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Analytics".</td> </tr> <tr class="cookielawinfo-row"> <td class="cookielawinfo-column-1">cookielawinfo-checkbox-functional</td> <td class="cookielawinfo-column-3">11 months</td> <td class="cookielawinfo-column-4">The cookie is set by GDPR cookie consent to record the user consent for the cookies in the category "Functional".</td> </tr> <tr class="cookielawinfo-row"> <td class="cookielawinfo-column-1">cookielawinfo-checkbox-necessary</td> <td class="cookielawinfo-column-3">11 months</td> <td class="cookielawinfo-column-4">This cookie is set by GDPR Cookie Consent plugin. The cookies is used to store the user consent for the cookies in the category "Necessary".</td> </tr> <tr class="cookielawinfo-row"> <td class="cookielawinfo-column-1">cookielawinfo-checkbox-others</td> <td class="cookielawinfo-column-3">11 months</td> <td class="cookielawinfo-column-4">This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Other.</td> </tr> <tr class="cookielawinfo-row"> <td class="cookielawinfo-column-1">cookielawinfo-checkbox-performance</td> <td class="cookielawinfo-column-3">11 months</td> <td class="cookielawinfo-column-4">This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Performance".</td> </tr> <tr class="cookielawinfo-row"> <td class="cookielawinfo-column-1">viewed_cookie_policy</td> <td class="cookielawinfo-column-3">11 months</td> <td class="cookielawinfo-column-4">The cookie is set by the GDPR Cookie Consent plugin and is used to store whether or not user has consented to the use of cookies. It does not store any personal data.</td> </tr> </tbody> </table> </div> </div> </div> </div> <div class="cli-tab-section"> <div class="cli-tab-header"> <a role="button" tabindex="0" class="cli-nav-link cli-settings-mobile" data-target="functional" data-toggle="cli-toggle-tab"> Functional </a> <div class="cli-switch"> <input type="checkbox" id="wt-cli-checkbox-functional" class="cli-user-preference-checkbox" data-id="checkbox-functional"> <label for="wt-cli-checkbox-functional" class="cli-slider" data-cli-enable="Enabled" data-cli-disable="Disabled"><span class="wt-cli-sr-only">Functional</span></label> </div> </div> <div class="cli-tab-content"> <div class="cli-tab-pane cli-fade" data-id="functional"> <div class="wt-cli-cookie-description"> Functional cookies help to perform certain functionalities like sharing the content of the website on social media platforms, collect feedbacks, and other third-party features. </div> </div> </div> </div> <div class="cli-tab-section"> <div class="cli-tab-header"> <a role="button" tabindex="0" class="cli-nav-link cli-settings-mobile" data-target="performance" data-toggle="cli-toggle-tab"> Performance </a> <div class="cli-switch"> <input type="checkbox" id="wt-cli-checkbox-performance" class="cli-user-preference-checkbox" data-id="checkbox-performance"> <label for="wt-cli-checkbox-performance" class="cli-slider" data-cli-enable="Enabled" data-cli-disable="Disabled"><span class="wt-cli-sr-only">Performance</span></label> </div> </div> <div class="cli-tab-content"> <div class="cli-tab-pane cli-fade" data-id="performance"> <div class="wt-cli-cookie-description"> Performance cookies are used to understand and analyze the key performance indexes of the website which helps in delivering a better user experience for the visitors. </div> </div> </div> </div> <div class="cli-tab-section"> <div class="cli-tab-header"> <a role="button" tabindex="0" class="cli-nav-link cli-settings-mobile" data-target="analytics" data-toggle="cli-toggle-tab"> Analytics </a> <div class="cli-switch"> <input type="checkbox" id="wt-cli-checkbox-analytics" class="cli-user-preference-checkbox" data-id="checkbox-analytics"> <label for="wt-cli-checkbox-analytics" class="cli-slider" data-cli-enable="Enabled" data-cli-disable="Disabled"><span class="wt-cli-sr-only">Analytics</span></label> </div> </div> <div class="cli-tab-content"> <div class="cli-tab-pane cli-fade" data-id="analytics"> <div class="wt-cli-cookie-description"> Analytical cookies are used to understand how visitors interact with the website. These cookies help provide information on metrics the number of visitors, bounce rate, traffic source, etc. </div> </div> </div> </div> <div class="cli-tab-section"> <div class="cli-tab-header"> <a role="button" tabindex="0" class="cli-nav-link cli-settings-mobile" data-target="advertisement" data-toggle="cli-toggle-tab"> Advertisement </a> <div class="cli-switch"> <input type="checkbox" id="wt-cli-checkbox-advertisement" class="cli-user-preference-checkbox" data-id="checkbox-advertisement"> <label for="wt-cli-checkbox-advertisement" class="cli-slider" data-cli-enable="Enabled" data-cli-disable="Disabled"><span class="wt-cli-sr-only">Advertisement</span></label> </div> </div> <div class="cli-tab-content"> <div class="cli-tab-pane cli-fade" data-id="advertisement"> <div class="wt-cli-cookie-description"> Advertisement cookies are used to provide visitors with relevant ads and marketing campaigns. These cookies track visitors across websites and collect information to provide customized ads. </div> </div> </div> </div> <div class="cli-tab-section"> <div class="cli-tab-header"> <a role="button" tabindex="0" class="cli-nav-link cli-settings-mobile" data-target="others" data-toggle="cli-toggle-tab"> Others </a> <div class="cli-switch"> <input type="checkbox" id="wt-cli-checkbox-others" class="cli-user-preference-checkbox" data-id="checkbox-others"> <label for="wt-cli-checkbox-others" class="cli-slider" data-cli-enable="Enabled" data-cli-disable="Disabled"><span class="wt-cli-sr-only">Others</span></label> </div> </div> <div class="cli-tab-content"> <div class="cli-tab-pane cli-fade" data-id="others"> <div class="wt-cli-cookie-description"> Other uncategorized cookies are those that are being analyzed and have not been classified into a category as yet. </div> </div> </div> </div> </div> </div> </div> </div> <div class="cli-modal-footer"> <div class="wt-cli-element cli-container-fluid cli-tab-container"> <div class="cli-row"> <div class="cli-col-12 cli-align-items-stretch cli-px-0"> <div class="cli-tab-footer wt-cli-privacy-overview-actions"> <a id="wt-cli-privacy-save-btn" role="button" tabindex="0" data-cli-action="accept" class="wt-cli-privacy-btn cli_setting_save_button wt-cli-privacy-accept-btn cli-btn">SAVE & ACCEPT</a> </div> </div> </div> </div> </div> </div> </div> </div> <div class="cli-modal-backdrop cli-fade cli-settings-overlay"></div> <div class="cli-modal-backdrop cli-fade cli-popupbar-overlay"></div> <link rel="stylesheet" id="cookie-law-info-table-css" href="/wp-content/plugins/cookie-law-info/legacy/public/css/cookie-law-info-table.css?ver=3.1.6" type="text/css" media="all"> <script type="text/javascript" id="main-scripts-js-extra"> /* <![CDATA[ */ var klflx_theme_settings = {"version":"1.9.0"}; /* ]]> */ </script> <script type="text/javascript" src="/wp-content/themes/mpi-sws/assets/scripts/main.js?ver=1.9.0" id="main-scripts-js"></script> <style type="text/css">.ctx0exj25jE3T0gS8KXaT43v1h5RDGBVQDp_8R6_BoJOhg{width: 77px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/0exj25jE3T0gS8KXaT43v1h5RDGBVQDp_8R6_BoJOhg.png);} .ctxq6WuWtqzO5WV4kN043oRLMJ2567LXx9pj346MGmBglc{width: 85px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/q6WuWtqzO5WV4kN043oRLMJ2567LXx9pj346MGmBglc.png);} .ctxAhuqogi5zknowGrtOTXC67KJSj7Sz5mXdlM06azaMn8{width: 48px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/Ahuqogi5zknowGrtOTXC67KJSj7Sz5mXdlM06azaMn8.png);} .ctxi5hRK0V1igZ-xgcWOYmR594bSDeJeI0KWfYjY66hOsI{width: 26px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/i5hRK0V1igZ-xgcWOYmR594bSDeJeI0KWfYjY66hOsI.png);} .ctxzp5cNjHzO8pKRkzvLDV4G3JjuSvJvuNWHMSFBsDD23U{width: 47px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/zp5cNjHzO8pKRkzvLDV4G3JjuSvJvuNWHMSFBsDD23U.png);} .ctxIGI79u2EDx-ZlqobdX8qApgJ_RDd12BJEloeLYBESDc{width: 55px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/IGI79u2EDx-ZlqobdX8qApgJ_RDd12BJEloeLYBESDc.png);} .ctxjkxkNIVvWdi-_27C-vEsrb5I5rKJE5yd2ERzG_9t8D8{width: 56px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/jkxkNIVvWdi-_27C-vEsrb5I5rKJE5yd2ERzG_9t8D8.png);} .ctxoYwE41xCAhp2COWKPhjwHFWH3X4bKtqrP6S__kfbwEA{width: 46px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/oYwE41xCAhp2COWKPhjwHFWH3X4bKtqrP6S__kfbwEA.png);} .ctxMtpzHS2eSov5uVUNG1nLdOlOp-B4km097MmbEFsZU2Y{width: 56px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/MtpzHS2eSov5uVUNG1nLdOlOp-B4km097MmbEFsZU2Y.png);} .ctxnieiwWuVdhuwHFI4etaBwSVym9IU9O8EkxQ77ckG3eU{width: 56px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/nieiwWuVdhuwHFI4etaBwSVym9IU9O8EkxQ77ckG3eU.png);} .ctxPwo5pXTsVPRWDSxRkjElWCrF5LrFElj1Iue0SEfkSMI{width: 69px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/Pwo5pXTsVPRWDSxRkjElWCrF5LrFElj1Iue0SEfkSMI.png);} .ctxSYeNTADhbxXHQjSgdWx2LQqgK7zy2qJ14wtt-BaksXs{width: 63px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/SYeNTADhbxXHQjSgdWx2LQqgK7zy2qJ14wtt-BaksXs.png);} .ctxtOhEHP5Q40_fc0Bl5KmAv00CL3L8d_Ja3_xtlCXzMKw{width: 38px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/tOhEHP5Q40_fc0Bl5KmAv00CL3L8d_Ja3_xtlCXzMKw.png);} .ctxAa4b3liTq9T5PBiyf7HS5yHRtxBw9n0d2zuaHgBgcvE{width: 59px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/Aa4b3liTq9T5PBiyf7HS5yHRtxBw9n0d2zuaHgBgcvE.png);} .ctxURTMw4fCcwj_nhU2eJbX851aGvrkT6s6OB9ASi31Tc0{width: 56px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/URTMw4fCcwj_nhU2eJbX851aGvrkT6s6OB9ASi31Tc0.png);} .ctxeUYluM3TsKPQF-B8rYhblR7NlrX6Vo1q8ke-s-JLcg0{width: 60px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/eUYluM3TsKPQF-B8rYhblR7NlrX6Vo1q8ke-s-JLcg0.png);} .ctxOTv31a2KmF__71K5CFRItZhCP67BMMftcZO9HFh4a7k{width: 47px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/OTv31a2KmF__71K5CFRItZhCP67BMMftcZO9HFh4a7k.png);} .ctxHwBFfhspgNsVubrlmFxwAPg59wqk6LPqZBI0Xxd9uZM{width: 53px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/HwBFfhspgNsVubrlmFxwAPg59wqk6LPqZBI0Xxd9uZM.png);} .ctxrfYd0fMv1Gyf57xlhmM3ZrIN5CtxOjKUfRQlP-4kjBI{width: 69px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/rfYd0fMv1Gyf57xlhmM3ZrIN5CtxOjKUfRQlP-4kjBI.png);} .ctxi9yj5SlK-Lb-VRhZrr-Pg3w4DbuxxVAWbgAwK5juCiM{width: 62px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/i9yj5SlK-Lb-VRhZrr-Pg3w4DbuxxVAWbgAwK5juCiM.png);} .ctxXLGsBULWCfQqhzhGxN_puNXHNMxTfZ8pqOAgUif0KA8{width: 62px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/XLGsBULWCfQqhzhGxN_puNXHNMxTfZ8pqOAgUif0KA8.png);} .ctxwIsMOZso4IwMFcNU0dX6p2QlQSt4pgmlqUaweD8VdMk{width: 62px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/wIsMOZso4IwMFcNU0dX6p2QlQSt4pgmlqUaweD8VdMk.png);} .ctx6HXMEjL1KK-Xa10EkNKEPT-3wCAlmXMazdixfhzDyAQ{width: 40px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/6HXMEjL1KK-Xa10EkNKEPT-3wCAlmXMazdixfhzDyAQ.png);} .ctxqDFXDAk_5r-CKwZRTjd5K1tYumfMAHg6gDdAZYNcZpk{width: 114px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/qDFXDAk_5r-CKwZRTjd5K1tYumfMAHg6gDdAZYNcZpk.png);} .ctxUDosem-2NVgb21qvoXgRAD7WHzEd4ZukNvrFNlTTjcc{width: 62px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/UDosem-2NVgb21qvoXgRAD7WHzEd4ZukNvrFNlTTjcc.png);} .ctxIYD1N_vkMm762TMc0F0PfzdIoJBXRpgBveZlT5exGyc{width: 62px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/IYD1N_vkMm762TMc0F0PfzdIoJBXRpgBveZlT5exGyc.png);} .ctx8Nb73iu1vNtEthb43swByBTwHtx04iFilvCGcnIjZ-A{width: 62px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/8Nb73iu1vNtEthb43swByBTwHtx04iFilvCGcnIjZ-A.png);} .ctxuIL0i9SBESmAdJp3gcXi8Eicqsmm-tgNooM_RtRJMRQ{width: 55px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/uIL0i9SBESmAdJp3gcXi8Eicqsmm-tgNooM_RtRJMRQ.png);} .ctxt21Somazg2XJsCdOd31QQ0MesiBeCiNfFtMAUwdnD2M{width: 63px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/t21Somazg2XJsCdOd31QQ0MesiBeCiNfFtMAUwdnD2M.png);} .ctx5m12c9OpBF8tIdWYgj0U1U5-1e2yd9_53uwUSQbI6FM{width: 55px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/5m12c9OpBF8tIdWYgj0U1U5-1e2yd9_53uwUSQbI6FM.png);} .ctxrDIS5c7ATsQw1NXeW6vI4ZSNjfDltx8GgQDqtlvmFC0{width: 25px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/rDIS5c7ATsQw1NXeW6vI4ZSNjfDltx8GgQDqtlvmFC0.png);} .ctx3Gpz0zXid9qyQhxpCSWCwsLzvzxaE0apViT5L1G-YYo{width: 59px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/3Gpz0zXid9qyQhxpCSWCwsLzvzxaE0apViT5L1G-YYo.png);} .ctxnINVSBdDi76riNJHyJ-RVjqvPYcy1e9erpDZ42JPEPc{width: 107px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/nINVSBdDi76riNJHyJ-RVjqvPYcy1e9erpDZ42JPEPc.png);} .ctxVkar2b98HLAhWoZ2QuGXNZOiyaXs_8idNu3lwjjlaT8{width: 55px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/Vkar2b98HLAhWoZ2QuGXNZOiyaXs_8idNu3lwjjlaT8.png);} .ctxRQTxObT_GbgkzBQ4q4AQIY2DxR-hsy9uokNTiW28IVQ{width: 60px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/RQTxObT_GbgkzBQ4q4AQIY2DxR-hsy9uokNTiW28IVQ.png);} .ctxRBj-G6SsHXrhv2u79C5ltKS-mRBXfOLIHCe_Y_bmcqQ{width: 53px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/RBj-G6SsHXrhv2u79C5ltKS-mRBXfOLIHCe_Y_bmcqQ.png);} .ctxJ04rwFhlIPDNpvQeRYdgtveQXVFqhG18bfuZGkBIQVI{width: 33px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/J04rwFhlIPDNpvQeRYdgtveQXVFqhG18bfuZGkBIQVI.png);} .ctxk59QnYeA5tOU_A11Dk08uJF6SV8_2XGxBYVATcdlTZY{width: 63px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/k59QnYeA5tOU_A11Dk08uJF6SV8_2XGxBYVATcdlTZY.png);} .ctxJQqpBnk2urxgAa1gKdOM5IwERyYn2r6PYik00dPr_xU{width: 53px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/JQqpBnk2urxgAa1gKdOM5IwERyYn2r6PYik00dPr_xU.png);} .ctxblShl18wOJSITRLH1MY6Fnr0SGj3WFOkzXtX2VUxfGA{width: 26px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/blShl18wOJSITRLH1MY6Fnr0SGj3WFOkzXtX2VUxfGA.png);} .ctxwHzoXyDToHMK_gggYDQIVOIWWaJZL0xzHgmh9EgkUN8{width: 41px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/wHzoXyDToHMK_gggYDQIVOIWWaJZL0xzHgmh9EgkUN8.png);} .ctx-_vKpY4SIiBE0yedsnIWhK9klkVk6WJTqm4_qkbj394{width: 48px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/-_vKpY4SIiBE0yedsnIWhK9klkVk6WJTqm4_qkbj394.png);} .ctxQPUvFxlz11-94v3mNwkkpiPCknoABq5BQlnwv7nIXnI{width: 62px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/QPUvFxlz11-94v3mNwkkpiPCknoABq5BQlnwv7nIXnI.png);} .ctxfq7OWgKcu-ZLb9tHnqJkrpzkbyfGbsMm5tT7s1WMMBg{width: 40px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/fq7OWgKcu-ZLb9tHnqJkrpzkbyfGbsMm5tT7s1WMMBg.png);} .ctxk3kONhGpriq3WQ06WuB4wdSxQOqio1rOCpIlhGmF71k{width: 69px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/k3kONhGpriq3WQ06WuB4wdSxQOqio1rOCpIlhGmF71k.png);} .ctx5SocJLtvHAq8l6ctDr3LKqKfZAbhseuPXLa2yGrZihU{width: 53px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/5SocJLtvHAq8l6ctDr3LKqKfZAbhseuPXLa2yGrZihU.png);} .ctxv3qPXovGAwnsqBPDWpsxh-I3HvIb3MMmZbHOvFHjnSU{width: 63px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/v3qPXovGAwnsqBPDWpsxh-I3HvIb3MMmZbHOvFHjnSU.png);} .ctxztbXOhtWZ3V9rWMq9l-GUump4kv6ajtOaBlZM5duL_s{width: 55px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/ztbXOhtWZ3V9rWMq9l-GUump4kv6ajtOaBlZM5duL_s.png);} .ctxs_w26QXnZ_VKoQDWx_ffKmdnsSrKPjOSP6tuQd7-V_0{width: 26px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/s_w26QXnZ_VKoQDWx_ffKmdnsSrKPjOSP6tuQd7-V_0.png);} .ctx28Y0sogdfElw3D0jVYnOooO8ASTtJKTBfSOc7ZgkTDg{width: 60px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/28Y0sogdfElw3D0jVYnOooO8ASTtJKTBfSOc7ZgkTDg.png);} .ctxZjyCkxemUG-00KQrraeuk8kuT9v7nTzV--G2sReAwZY{width: 41px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/ZjyCkxemUG-00KQrraeuk8kuT9v7nTzV--G2sReAwZY.png);} .ctx9VS5YG3fy_Fb5ldWYowAcRO7nbJ_osZh1lGeftM2CMU{width: 55px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/9VS5YG3fy_Fb5ldWYowAcRO7nbJ_osZh1lGeftM2CMU.png);} .ctxSwOD8-4kQub7b_cYQNKNHwrIdSEPFD9OET_bvyB5Wqw{width: 62px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/SwOD8-4kQub7b_cYQNKNHwrIdSEPFD9OET_bvyB5Wqw.png);} .ctxrrTyBMpSmwFz3sIkWcGOjmQ4rivYcLaiox3-zzJFm5I{width: 55px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/rrTyBMpSmwFz3sIkWcGOjmQ4rivYcLaiox3-zzJFm5I.png);} .ctxRO1Yh-5AfLI6sP_5WaekYFATWBHMN6Wkzm8x9C7_lhs{width: 63px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/RO1Yh-5AfLI6sP_5WaekYFATWBHMN6Wkzm8x9C7_lhs.png);} .ctxL3YDmabCGhz5iHFdQmdVAcgvNSNtOrsfYKt1EvDj7rM{width: 48px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/L3YDmabCGhz5iHFdQmdVAcgvNSNtOrsfYKt1EvDj7rM.png);} .ctxf8fWRSLRZujl4z_6v84hljTJscwVnfzFTwtaxiYi708{width: 63px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/f8fWRSLRZujl4z_6v84hljTJscwVnfzFTwtaxiYi708.png);} .ctxtGI3jeQyL0aO-i4tNsRaKz0JMECHfL9enkRpJywZVFs{width: 70px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/tGI3jeQyL0aO-i4tNsRaKz0JMECHfL9enkRpJywZVFs.png);} .ctxmnSJF6sJQeSafhA9NQLcU3kdSRQ43lIANVyZZwZ9r68{width: 62px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/mnSJF6sJQeSafhA9NQLcU3kdSRQ43lIANVyZZwZ9r68.png);} .ctxHGavazkAyiLpgj0FXfds3iT7xonn098LRCGhbma5elE{width: 55px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/HGavazkAyiLpgj0FXfds3iT7xonn098LRCGhbma5elE.png);} .ctxSxT--BjoJuv3V_lGz6hpLq9sZ-IBOT0u6K6D6WLyjoM{width: 55px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/SxT--BjoJuv3V_lGz6hpLq9sZ-IBOT0u6K6D6WLyjoM.png);} .ctx12ZX5HEMnJ6QvghCY-8U4K3oj7ksYac_sX9CiASdjAc{width: 47px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/12ZX5HEMnJ6QvghCY-8U4K3oj7ksYac_sX9CiASdjAc.png);} .ctxZ_Gmg4NvnO9C6U8L37OtHrZBuqbirEapY4O_TX9hQiU{width: 63px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/Z_Gmg4NvnO9C6U8L37OtHrZBuqbirEapY4O_TX9hQiU.png);} .ctxPkepSBe0_jU3TW1bq7d9A7iPROdU83G2P5kk_tpUodk{width: 40px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/PkepSBe0_jU3TW1bq7d9A7iPROdU83G2P5kk_tpUodk.png);} .ctxJILMRhyaBPfhWVMGNBFxvKqxs8hNbxz46k2jR5BUJR8{width: 19px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/JILMRhyaBPfhWVMGNBFxvKqxs8hNbxz46k2jR5BUJR8.png);} .ctxdsPx-wzwiLoI1T0fW5Ao7VYmQMarx9mPVSbJBV8Et44{width: 47px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/dsPx-wzwiLoI1T0fW5Ao7VYmQMarx9mPVSbJBV8Et44.png);} .ctxaiX_HOgofx4BGE7xYVkD56eEpRmeKxSNMrIEeJK972A{width: 68px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/aiX_HOgofx4BGE7xYVkD56eEpRmeKxSNMrIEeJK972A.png);} .ctxpDQkirJ5IxSYW01OXhyD0iy1VOq2705Z6R2ac9XSNTw{width: 47px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/pDQkirJ5IxSYW01OXhyD0iy1VOq2705Z6R2ac9XSNTw.png);} .ctx3DrBiRHmoR25pxJDfEyAfWd_V-7jM65g_NxGj7wrqhA{width: 47px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/3DrBiRHmoR25pxJDfEyAfWd_V-7jM65g_NxGj7wrqhA.png);} .ctxef6jNn0hq1Yeh1CyUjMcE0D4rQn9NTDLP-KJn5cYjQ8{width: 63px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/ef6jNn0hq1Yeh1CyUjMcE0D4rQn9NTDLP-KJn5cYjQ8.png);} .ctxwmikZfKDKu9RM7rgIy_A1x_yBmov3UiAN1tG8THTlLQ{width: 47px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/wmikZfKDKu9RM7rgIy_A1x_yBmov3UiAN1tG8THTlLQ.png);} .ctx52zZGt157715sPuNBFp4ArdBabrMmLF8crq8RnrVgkc{width: 47px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/52zZGt157715sPuNBFp4ArdBabrMmLF8crq8RnrVgkc.png);} .ctxaWEsQ2CoBI5eEuYkmyyxhQc24Xtvl7oPiKB6Rifrn0M{width: 55px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/aWEsQ2CoBI5eEuYkmyyxhQc24Xtvl7oPiKB6Rifrn0M.png);} .ctx9QjKpyXnKIbte1ah49LpZrBG3g1B3eUGS0hK7NN1nJA{width: 63px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/9QjKpyXnKIbte1ah49LpZrBG3g1B3eUGS0hK7NN1nJA.png);} .ctxeHLDba3fAuzdszI6jNelNJPYX77mNkUrVYrVoymGV8A{width: 63px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/eHLDba3fAuzdszI6jNelNJPYX77mNkUrVYrVoymGV8A.png);} .ctx1HHlrI4opppLuCtuffaQb6WJAkEd7MZioUMQjIyOdV0{width: 41px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/1HHlrI4opppLuCtuffaQb6WJAkEd7MZioUMQjIyOdV0.png);} .ctx3VTYizBv2lioO4b5cEoQtXORQjTNhTQj0BZ9J7F8FPs{width: 62px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/3VTYizBv2lioO4b5cEoQtXORQjTNhTQj0BZ9J7F8FPs.png);} .ctxmQQx8jRBI8AG_ZYh9uMWD_oAFNPLiPsaPnuB59mzkso{width: 63px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/mQQx8jRBI8AG_ZYh9uMWD_oAFNPLiPsaPnuB59mzkso.png);} .ctxLABF5_4dGRavHNEWSb7mi4qFGSvASvAcqC-r-lQlRt4{width: 62px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/LABF5_4dGRavHNEWSb7mi4qFGSvASvAcqC-r-lQlRt4.png);} .ctxMmQ7XuY_q6ZccqWlruIrOUDlWjE9DfY367JDI8BjAA4{width: 25px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/MmQ7XuY_q6ZccqWlruIrOUDlWjE9DfY367JDI8BjAA4.png);} .ctxeOSkm25Uala0AvZwdPIMzqEAdwpvtyg5XMdAwb5Ra_Y{width: 62px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/eOSkm25Uala0AvZwdPIMzqEAdwpvtyg5XMdAwb5Ra_Y.png);} .ctxYolwS2vPw9wy0NZvW4pnUjfIV5NPgep_457T28ce3_4{width: 55px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/YolwS2vPw9wy0NZvW4pnUjfIV5NPgep_457T28ce3_4.png);} .ctx6A1OxksHietaa2-g67jfwB7e4jE86wommFjxxeSBsWY{width: 60px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/6A1OxksHietaa2-g67jfwB7e4jE86wommFjxxeSBsWY.png);} .ctx37qd0vUDL22hoPm2YiN3ZzCZ4Ln-8v6gjgsVcLvcwxg{width: 55px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/37qd0vUDL22hoPm2YiN3ZzCZ4Ln-8v6gjgsVcLvcwxg.png);} .ctxYosYRuLlah37zT5_0zCKDlCOTz9YCzygEs_VPtSdhSE{width: 55px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/YosYRuLlah37zT5_0zCKDlCOTz9YCzygEs_VPtSdhSE.png);} .ctxNs_EJQu2cRsc9ajlIPqZnkyeVi4buegeHGrkmWOUSGY{width: 25px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/Ns_EJQu2cRsc9ajlIPqZnkyeVi4buegeHGrkmWOUSGY.png);} .ctx1nKKzCa0jkQX8t24FJSZZ90W6GeGJdlQDGa7oJKn0IU{width: 40px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/1nKKzCa0jkQX8t24FJSZZ90W6GeGJdlQDGa7oJKn0IU.png);} .ctx6ah5UI13aahZdTQ12XrHftMqIn8vHM7YtvrMuasQ_ug{width: 62px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/6ah5UI13aahZdTQ12XrHftMqIn8vHM7YtvrMuasQ_ug.png);} .ctxTt1Mri9UXyhNEFkuI72JsqFpBr01dHK2oHAvnJqZaWY{width: 62px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/Tt1Mri9UXyhNEFkuI72JsqFpBr01dHK2oHAvnJqZaWY.png);} .ctxYkXReCWySH1sqLy5CX93gSggrZMLzzHad7C5PcunNfQ{width: 62px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/YkXReCWySH1sqLy5CX93gSggrZMLzzHad7C5PcunNfQ.png);} .ctxrbvyez9UbeA2bEeRwBsCM_mEQcK-Q7D2rpnK05HWhmA{width: 32px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/rbvyez9UbeA2bEeRwBsCM_mEQcK-Q7D2rpnK05HWhmA.png);} .ctx1cbUJn7bJ0CAR9qsxLZsOeaMuQ6RfJrYno0cSWnvWjg{width: 40px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/1cbUJn7bJ0CAR9qsxLZsOeaMuQ6RfJrYno0cSWnvWjg.png);} .ctx0unx9Ln-PDHU_p-qAB3mTcFUipouwmxVSmIQ1vZZQ7g{width: 40px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/0unx9Ln-PDHU_p-qAB3mTcFUipouwmxVSmIQ1vZZQ7g.png);} .ctxmTdSG-dtZZ5yJsb8SgDIBy8rqripkQE08IRKUT_MfJc{width: 63px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/mTdSG-dtZZ5yJsb8SgDIBy8rqripkQE08IRKUT_MfJc.png);} .ctx-wuF9OSmVDc-Yu9XWsXALv6t_3vRstsQCY0Db8AXRYw{width: 69px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/-wuF9OSmVDc-Yu9XWsXALv6t_3vRstsQCY0Db8AXRYw.png);} .ctxE_Qu9Gh-adzB0lqELpzyeOsKol896n5utkRyQsED4no{width: 82px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/E_Qu9Gh-adzB0lqELpzyeOsKol896n5utkRyQsED4no.png);} .ctxyhteKCxyMcGQ1p_Taq5L2go3nDHvAO8Dn5_hg-DvSUQ{width: 55px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/yhteKCxyMcGQ1p_Taq5L2go3nDHvAO8Dn5_hg-DvSUQ.png);} .ctxLeJ-Anf0KVEKLraKThnBLX5nLaTNSTVvGfZod4DELSY{width: 32px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/LeJ-Anf0KVEKLraKThnBLX5nLaTNSTVvGfZod4DELSY.png);} .ctxKOuwEzlalKUx9G6OND755DSZvw-nMJ-wUnc2kWjfD1I{width: 62px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/KOuwEzlalKUx9G6OND755DSZvw-nMJ-wUnc2kWjfD1I.png);} .ctx4PO5mAKHaLf80eal8MhF9Sxog0WA-05InRHA9ipsuCQ{width: 62px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/4PO5mAKHaLf80eal8MhF9Sxog0WA-05InRHA9ipsuCQ.png);} .ctx0ihUDMxBHYhFxwLIs3vKFmmT4bfNYRwjNpOpzOClXCo{width: 55px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/0ihUDMxBHYhFxwLIs3vKFmmT4bfNYRwjNpOpzOClXCo.png);} .ctx457yyVoLfe-2jVczx5P5k45fU-L2Hud01j3mN1sQyqI{width: 47px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/457yyVoLfe-2jVczx5P5k45fU-L2Hud01j3mN1sQyqI.png);} .ctxQK6yIaA2gXBaPrU-n51X9092o4zY6p1_H--VUY3Sq_c{width: 91px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/QK6yIaA2gXBaPrU-n51X9092o4zY6p1_H--VUY3Sq_c.png);} .ctxvFFp4TgIg3jgViHx_0BJrfTqWJDpA6_Gws8UulZA8M0{width: 32px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/vFFp4TgIg3jgViHx_0BJrfTqWJDpA6_Gws8UulZA8M0.png);} .ctxSSj5FcxV2OSpDguQXyR9urSbq9ADtNz2Cblq3oXtSsU{width: 45px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/SSj5FcxV2OSpDguQXyR9urSbq9ADtNz2Cblq3oXtSsU.png);} .ctxEWSExYTVgyeBbUdJkeiwAYKUI_JJnsJYmfd5aufz8u8{width: 59px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/EWSExYTVgyeBbUdJkeiwAYKUI_JJnsJYmfd5aufz8u8.png);} .ctx2hL6bD2K5tCVzCngJPTN_m51wipfZGiiM4GGlhhp0Lc{width: 55px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/2hL6bD2K5tCVzCngJPTN_m51wipfZGiiM4GGlhhp0Lc.png);} .ctxklJT1pLGXtnjkcvs4KwBfYom_tpoTq3WQfvG-8o90Gg{width: 62px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/klJT1pLGXtnjkcvs4KwBfYom_tpoTq3WQfvG-8o90Gg.png);} .ctx_n2SwZesLQ1VOj0TeIiE0ltZncAultp8-NzlD553OUc{width: 41px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/_n2SwZesLQ1VOj0TeIiE0ltZncAultp8-NzlD553OUc.png);} .ctx8gIzWNpK1TdyLOQtaVtIHHB15vQN8wUDZi3q0J5RZPs{width: 48px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/8gIzWNpK1TdyLOQtaVtIHHB15vQN8wUDZi3q0J5RZPs.png);} .ctxoqx4WFe0DxvqjpiiiYUiGPVuAi54r7gbs_X7DtG7C80{width: 46px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/oqx4WFe0DxvqjpiiiYUiGPVuAi54r7gbs_X7DtG7C80.png);} .ctx8TgVBvX_iOwUNX-7K8y4WjYF1ONZAnLt5Bij1D54ZBk{width: 55px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/8TgVBvX_iOwUNX-7K8y4WjYF1ONZAnLt5Bij1D54ZBk.png);} .ctxduGpNanMukkPka5z0CYgWWRg8hNErYZOOwVYFQBdX3g{width: 40px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/duGpNanMukkPka5z0CYgWWRg8hNErYZOOwVYFQBdX3g.png);} .ctxBLRu4vcy2eag80ZDQS-WOR7xGJoHcOC-aphgi-vaMuI{width: 47px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/BLRu4vcy2eag80ZDQS-WOR7xGJoHcOC-aphgi-vaMuI.png);} .ctxU-1McCunN-2aLz-L8pGB9WzJGabB_5VfASaJKWFpfik{width: 62px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/U-1McCunN-2aLz-L8pGB9WzJGabB_5VfASaJKWFpfik.png);} .ctx0TdvoHzSKsuIOmT7EWSC3sIHBKlsJ4lz5kvaWpiXK8Y{width: 63px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/0TdvoHzSKsuIOmT7EWSC3sIHBKlsJ4lz5kvaWpiXK8Y.png);} .ctx174ZTIovfnzDjmJXCfJVMB0VlmHSIA2JagYswGAMAno{width: 78px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/174ZTIovfnzDjmJXCfJVMB0VlmHSIA2JagYswGAMAno.png);} .ctxRbsNKoDppoCtLtsJQp8dxGgbTyQNoqfTS9J8sA_yz4U{width: 41px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/RbsNKoDppoCtLtsJQp8dxGgbTyQNoqfTS9J8sA_yz4U.png);} .ctxIwwNO9N1wxwBtUwdl1bZCHi6rvrS-SXcaX7177jtSeQ{width: 40px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/IwwNO9N1wxwBtUwdl1bZCHi6rvrS-SXcaX7177jtSeQ.png);} .ctxFI5adpVVqwagHyclcr8U7LHty-Mp5iv2JU1aXsi4_x4{width: 55px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/FI5adpVVqwagHyclcr8U7LHty-Mp5iv2JU1aXsi4_x4.png);} .ctxxvfB49l6XcrC5HbHkiB350XeLnjT-ImrMYCEvu-SoSg{width: 56px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/xvfB49l6XcrC5HbHkiB350XeLnjT-ImrMYCEvu-SoSg.png);} .ctxKeE9hIJJL7dWhcfEYxntfpVHV2RfaSHvNHPUl8OwZJk{width: 53px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/KeE9hIJJL7dWhcfEYxntfpVHV2RfaSHvNHPUl8OwZJk.png);} .ctxy9m0dP5VPhzbdIqY8PONXAexUhvypRwopVHkgQjFdC0{width: 69px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/y9m0dP5VPhzbdIqY8PONXAexUhvypRwopVHkgQjFdC0.png);} .ctxeGOHt2GZGS0gsKYwQxFg2kZAHS8upC4KlvRzZ8d-CPk{width: 69px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/eGOHt2GZGS0gsKYwQxFg2kZAHS8upC4KlvRzZ8d-CPk.png);} .ctxdPPBzKRXct2EZUQNm7zNR0SjDyrmpsonIwUGh9CWlgk{width: 63px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/dPPBzKRXct2EZUQNm7zNR0SjDyrmpsonIwUGh9CWlgk.png);} .ctxalf7Dg9DI--zOlimww3_Yq1eDsivPTbnAKYOUkekO7I{width: 56px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/alf7Dg9DI--zOlimww3_Yq1eDsivPTbnAKYOUkekO7I.png);} .ctxlRX1ooJMJZxl9pd4Upr-JtPVBU4yr3IEWujOg9noYP8{width: 40px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/lRX1ooJMJZxl9pd4Upr-JtPVBU4yr3IEWujOg9noYP8.png);} .ctx1pyuuEzDDESoV73g-Z0ATLmen2b_nO4tCJuqVAZVy3M{width: 62px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/1pyuuEzDDESoV73g-Z0ATLmen2b_nO4tCJuqVAZVy3M.png);} .ctxT8m3Z1-TXUnsJ5dQNPmrTnD7NAkHBg3qtsd-oiEsH0I{width: 63px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/T8m3Z1-TXUnsJ5dQNPmrTnD7NAkHBg3qtsd-oiEsH0I.png);} .ctxcC42EtpZtOeDfuQRcWqq5Dv8cJUN_sfjFG_jqGr0JtU{width: 56px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/cC42EtpZtOeDfuQRcWqq5Dv8cJUN_sfjFG_jqGr0JtU.png);} .ctxWi27g5wWJCN6YF6A7AR1YXr6uJcTQwJrZ0EUywwlbns{width: 62px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/Wi27g5wWJCN6YF6A7AR1YXr6uJcTQwJrZ0EUywwlbns.png);} .ctx3tbq_QlIEuSB2Sy6m3g6qxxslhOLfC89Eivzq0_HJnE{width: 60px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/3tbq_QlIEuSB2Sy6m3g6qxxslhOLfC89Eivzq0_HJnE.png);} .ctxh1zF_hF4RQplXgXzP_W0kCLmy44x98fJoHqk8DkeXdM{width: 38px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/h1zF_hF4RQplXgXzP_W0kCLmy44x98fJoHqk8DkeXdM.png);} .ctxIZ4C_ylPPDsZVQ8XW-lqF72xpaL1m69R6rIkLyEoTa0{width: 62px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/IZ4C_ylPPDsZVQ8XW-lqF72xpaL1m69R6rIkLyEoTa0.png);} .ctxJOyCT-_lY5HWtSYtS6ZqATHl7k-um-jT-cazR31zwmg{width: 69px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/JOyCT-_lY5HWtSYtS6ZqATHl7k-um-jT-cazR31zwmg.png);} .ctxUoVHY0Nf_u2JJZ4SQ0vYa3IEZMuWKsAN5-j01VV4kDo{width: 48px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/UoVHY0Nf_u2JJZ4SQ0vYa3IEZMuWKsAN5-j01VV4kDo.png);} .ctxuCyBstLXRRuK634MRsYUHeKrsStseJ0jvk7f_-964vk{width: 59px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/uCyBstLXRRuK634MRsYUHeKrsStseJ0jvk7f_-964vk.png);} .ctxazlXIVK2TEgfW2OV5QFh9wm8grGBnSJR4CBZwj41uvY{width: 55px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/azlXIVK2TEgfW2OV5QFh9wm8grGBnSJR4CBZwj41uvY.png);} .ctxXourLLPbe58RmrT-O5h66OsA_IOo_NItTgmdIQcYv9k{width: 56px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/XourLLPbe58RmrT-O5h66OsA_IOo_NItTgmdIQcYv9k.png);} .ctxkLu-zClvRzjLBxkePYqAEq7WuXKRewQXyty_ifz6g1c{width: 47px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/kLu-zClvRzjLBxkePYqAEq7WuXKRewQXyty_ifz6g1c.png);} .ctxZhs5QGHzs-u8BDXutwo5-hGdSbsHV8a1_Lnh-7OXS1k{width: 53px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/Zhs5QGHzs-u8BDXutwo5-hGdSbsHV8a1_Lnh-7OXS1k.png);} .ctxzWitY-Rd0Kc3wDoZR88FSXsQvnvAM9bJnZhs8Tvdmxc{width: 63px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/zWitY-Rd0Kc3wDoZR88FSXsQvnvAM9bJnZhs8Tvdmxc.png);} .ctxqQRJcw2WF11m4ShovxuP-HqWIS6VS8n-01xB_zoy3vI{width: 62px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/qQRJcw2WF11m4ShovxuP-HqWIS6VS8n-01xB_zoy3vI.png);} .ctxfkJi5JOeqF4lPNvX-OYb3s7zcFP_U9rX4HdXvoE7SI0{width: 63px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/fkJi5JOeqF4lPNvX-OYb3s7zcFP_U9rX4HdXvoE7SI0.png);} .ctxAksG9E02a-hdpvJvvj2G9aQQDFLfF7pExNxNXmaTrQk{width: 59px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/AksG9E02a-hdpvJvvj2G9aQQDFLfF7pExNxNXmaTrQk.png);} .ctx1lZl0t2lyVmDFMyPO4AsUJwllPZ6yMDbi4koUHuCG2k{width: 68px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/1lZl0t2lyVmDFMyPO4AsUJwllPZ6yMDbi4koUHuCG2k.png);} .ctxjXgg1O9tP8_iK64ZtQ-8pO-JVgozeriGJy5InUO9clk{width: 62px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/jXgg1O9tP8_iK64ZtQ-8pO-JVgozeriGJy5InUO9clk.png);} .ctxF9VWdwh4gwlp6pbWjFe1jhBmpHwY9KNN4pMO66lODQk{width: 32px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/F9VWdwh4gwlp6pbWjFe1jhBmpHwY9KNN4pMO66lODQk.png);} .ctxdgeUtChOooNHzFqq3cJDZEijKkAL0bIGPBK1rSoI8KU{width: 60px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/dgeUtChOooNHzFqq3cJDZEijKkAL0bIGPBK1rSoI8KU.png);} .ctxFjMNFkMychznWjteSw88OuzX3p1FisUd6DMcKi1uANY{width: 60px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/FjMNFkMychznWjteSw88OuzX3p1FisUd6DMcKi1uANY.png);} .ctx2x_4ve3Yq5Vmhn_WDlqbBuAY8URk-GFHbMNORPPrdEI{width: 47px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/2x_4ve3Yq5Vmhn_WDlqbBuAY8URk-GFHbMNORPPrdEI.png);} .ctxj2QZ01uQ8eoLoJ38Bqn3sMUgy-sAmJ2e8nCSiIurDuE{width: 46px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/j2QZ01uQ8eoLoJ38Bqn3sMUgy-sAmJ2e8nCSiIurDuE.png);} .ctxfIGNLs3gjq-i7NiD_Yc0KQQdS-JNyoCygX12esU1xGw{width: 38px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/fIGNLs3gjq-i7NiD_Yc0KQQdS-JNyoCygX12esU1xGw.png);} .ctxDmzgzRjsTK3KbtaR1iwWhBJ8GObtQiIVSScnZf292EU{width: 56px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/DmzgzRjsTK3KbtaR1iwWhBJ8GObtQiIVSScnZf292EU.png);} .ctxbftKmbhkYnrg6Z5D2DnsCaz-bODNiAvaylqjrwmgfi8{width: 77px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/bftKmbhkYnrg6Z5D2DnsCaz-bODNiAvaylqjrwmgfi8.png);} .ctxpnwjaDEJKPFQOlfp68hlZt0aXpRDbTs94f4uips2Fpc{width: 38px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/pnwjaDEJKPFQOlfp68hlZt0aXpRDbTs94f4uips2Fpc.png);} .ctx_hXBpkXZ6w-qxd05jZwITHqVuNsyL-gbZPacNTwL_oI{width: 55px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/_hXBpkXZ6w-qxd05jZwITHqVuNsyL-gbZPacNTwL_oI.png);} .ctx-eNIcFyhKqwBKIe5rv-a7hNB-2Y5IxNX2y-zB7AsDdM{width: 47px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/-eNIcFyhKqwBKIe5rv-a7hNB-2Y5IxNX2y-zB7AsDdM.png);} .ctxwWpvmLC2hv1xa7FjCrb6ZMGAQ28r-qzWy23qzMvPQ-Y{width: 47px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/wWpvmLC2hv1xa7FjCrb6ZMGAQ28r-qzWy23qzMvPQ-Y.png);} .ctxJyClDI-o2YHDj9sho3cKWkEeZFsMVN-qOIXMASS9g0w{width: 38px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/JyClDI-o2YHDj9sho3cKWkEeZFsMVN-qOIXMASS9g0w.png);} .ctxxYNi6RGuwRWX3Vvg6CdiIdWUVaKsMzJxYu02SdbIfcA{width: 70px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/xYNi6RGuwRWX3Vvg6CdiIdWUVaKsMzJxYu02SdbIfcA.png);} .ctxRwqf4qeHRQXPdPa8ZR5B5gPWggDJdf3C9YvVPFdZoy8{width: 47px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/Rwqf4qeHRQXPdPa8ZR5B5gPWggDJdf3C9YvVPFdZoy8.png);} .ctxw55tRfexVRXu4ycUdnRNpyo9SpYgP_1UEciTeI9rsQ0{width: 62px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/w55tRfexVRXu4ycUdnRNpyo9SpYgP_1UEciTeI9rsQ0.png);} .ctxGeqb2ni80ZlJkQ0kTZqZeg46RcBOSrbM0Gnw3vGD87c{width: 56px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/Geqb2ni80ZlJkQ0kTZqZeg46RcBOSrbM0Gnw3vGD87c.png);} .ctxctEnqgeqUDFcH2xYeArq39kryl0iVJouET8FJJdeezs{width: 55px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/ctEnqgeqUDFcH2xYeArq39kryl0iVJouET8FJJdeezs.png);} .ctx0iH5DVcvE5pLJaovvVGFOWNKhNljnlKcrICVyk3yuDM{width: 60px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/0iH5DVcvE5pLJaovvVGFOWNKhNljnlKcrICVyk3yuDM.png);} .ctxPyQCq-0U_H8_hAMn3mr-P2UUaBG5UYI-VotCcPwWQxE{width: 62px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/PyQCq-0U_H8_hAMn3mr-P2UUaBG5UYI-VotCcPwWQxE.png);} .ctx8U1kbcR6CX0QazXToQfias5EsCCCXJ2G4J2nTa7FAfg{width: 62px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/8U1kbcR6CX0QazXToQfias5EsCCCXJ2G4J2nTa7FAfg.png);} .ctxF4A4lKZA_shfr_-dxxzrEvPpJhV7pYyA18dNRf5_KNY{width: 55px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/F4A4lKZA_shfr_-dxxzrEvPpJhV7pYyA18dNRf5_KNY.png);} .ctxRaYQ2yBDt3_zWaXZ6a7bIdmdYuMRegWwdadqfqpykJo{width: 55px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/RaYQ2yBDt3_zWaXZ6a7bIdmdYuMRegWwdadqfqpykJo.png);} .ctxpPF7wONQmSXPwwL3wdj9ZmdswbWldpOoTMeiYq0LlBs{width: 70px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/pPF7wONQmSXPwwL3wdj9ZmdswbWldpOoTMeiYq0LlBs.png);} .ctxbuWGgHFHuwBu0bF98Yb9viaRWnBZeWalzaHtp12NP2c{width: 63px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/buWGgHFHuwBu0bF98Yb9viaRWnBZeWalzaHtp12NP2c.png);} .ctxZXRgEQxqzYhpUYDqfOj_xMmKfkfALlynXujbVAV49UY{width: 91px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/ZXRgEQxqzYhpUYDqfOj_xMmKfkfALlynXujbVAV49UY.png);} .ctxD7-Cra-OQz3MX0oyEd9jeLAKZNwMNhhj7siTkuAM40A{width: 62px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/D7-Cra-OQz3MX0oyEd9jeLAKZNwMNhhj7siTkuAM40A.png);} .ctxGo6l1cDpeujN091uFAiTpI2EvdhhslZqGIMh6L_oRmg{width: 70px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/Go6l1cDpeujN091uFAiTpI2EvdhhslZqGIMh6L_oRmg.png);} .ctxJ-zG05lGeSVnR8wvTpYN-xHEb_mYe9VOqOgE6Wgym6E{width: 60px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/J-zG05lGeSVnR8wvTpYN-xHEb_mYe9VOqOgE6Wgym6E.png);} .ctxopUQNSRyitDhh1EYTzkXoAMGtmO6eyaoTUy7h96F6AQ{width: 78px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/opUQNSRyitDhh1EYTzkXoAMGtmO6eyaoTUy7h96F6AQ.png);} .ctx7TQ3HLsX9PpIm7AePTNnT8iYk3mJAYhsKjWX4oPoRAE{width: 69px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/7TQ3HLsX9PpIm7AePTNnT8iYk3mJAYhsKjWX4oPoRAE.png);} .ctxlUBm-FVi-z9hPnOrfrjuFRDd7_YOG-GXioIHpzGsnTI{width: 69px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/lUBm-FVi-z9hPnOrfrjuFRDd7_YOG-GXioIHpzGsnTI.png);} .ctxaK-5rmHq8rsgyeWhJUq4aW0r869gqM-sLvVuCHtrtk8{width: 62px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/aK-5rmHq8rsgyeWhJUq4aW0r869gqM-sLvVuCHtrtk8.png);} .ctx7WEXL_8yl5L81zsiJZVNBwrWZzQLr3EmaEyvzVHCa3M{width: 47px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/7WEXL_8yl5L81zsiJZVNBwrWZzQLr3EmaEyvzVHCa3M.png);} .ctx11chisHftW9jOTh_Y65hKN2iPjDlpG13KMUAzg8JRcE{width: 62px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/11chisHftW9jOTh_Y65hKN2iPjDlpG13KMUAzg8JRcE.png);} .ctxcS3pzL-ATmGSewExbNMuyLdmKhcC4Y23GDJHKd6SH04{width: 48px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/cS3pzL-ATmGSewExbNMuyLdmKhcC4Y23GDJHKd6SH04.png);} .ctxq9YaFgV3Sk3W9pLRWCxI_IodjMlLVmpu6s5AN5oOBmE{width: 56px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/q9YaFgV3Sk3W9pLRWCxI_IodjMlLVmpu6s5AN5oOBmE.png);} .ctxtF2UfXS1S1JVKK-nRBRmPQg_VIXa549JMbJyLwhyMhg{width: 47px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/tF2UfXS1S1JVKK-nRBRmPQg_VIXa549JMbJyLwhyMhg.png);} .ctxx7E0FEnZg8GYLoRrYl2wfxPsDfGcw-uJ916H-UJKD-8{width: 69px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/x7E0FEnZg8GYLoRrYl2wfxPsDfGcw-uJ916H-UJKD-8.png);} .ctxLnU11fnA8-SVYHdEjZNHiwLHx6ZANYDehfs2FcjRfVU{width: 40px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/LnU11fnA8-SVYHdEjZNHiwLHx6ZANYDehfs2FcjRfVU.png);} .ctxO5XdfxToD6BOBXE9GHId2LgwlJI_duKzz1S-mlFCXn0{width: 62px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/O5XdfxToD6BOBXE9GHId2LgwlJI_duKzz1S-mlFCXn0.png);} .ctxzDdF43NLstWs13lVggAa9pfNf9gBddSbLjZHIaESsFU{width: 56px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/zDdF43NLstWs13lVggAa9pfNf9gBddSbLjZHIaESsFU.png);} .ctxO4C06nrCokACicmT5FpYgawbhSTr_lcN1kWk0S4og6A{width: 56px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/O4C06nrCokACicmT5FpYgawbhSTr_lcN1kWk0S4og6A.png);} .ctx1idJYh3K6fj-QLggEXjE8yySCyhf5FsURE0fmilJ8gw{width: 85px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/1idJYh3K6fj-QLggEXjE8yySCyhf5FsURE0fmilJ8gw.png);} .ctx4fPRMWGipkZlvEuiE-aWnw2oN7_j4v_f09wwIEyHYM4{width: 47px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/4fPRMWGipkZlvEuiE-aWnw2oN7_j4v_f09wwIEyHYM4.png);} .ctxkzJLuKaQrvkRED4zzp57E1eIPqx5cwgulUdNMabPmDc{width: 47px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/kzJLuKaQrvkRED4zzp57E1eIPqx5cwgulUdNMabPmDc.png);} .ctxG4rforb2Qk00a-02R79-oirzJseG7TK0OcoKQdNczzE{width: 63px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/G4rforb2Qk00a-02R79-oirzJseG7TK0OcoKQdNczzE.png);} .ctxdhAjMhlxKqp1oxCQy6ErRGaD9ykNpnM5TrG2Qs1iTh4{width: 63px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/dhAjMhlxKqp1oxCQy6ErRGaD9ykNpnM5TrG2Qs1iTh4.png);} .ctx7fXd_w5pbsKQOfDtkizmzwr9qnBli-BUSqJ4Op8DHJY{width: 56px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/7fXd_w5pbsKQOfDtkizmzwr9qnBli-BUSqJ4Op8DHJY.png);} .ctx38lzGWUfBE_JvNsfTPfAfvbIVhJagpNjuy3nRmqFDWU{width: 69px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/38lzGWUfBE_JvNsfTPfAfvbIVhJagpNjuy3nRmqFDWU.png);} .ctxHW-iIqjELFpKjeMZGb2_NsIIHs_p65I0coIlndklXOA{width: 56px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/HW-iIqjELFpKjeMZGb2_NsIIHs_p65I0coIlndklXOA.png);} .ctxYrql4XiTf5VRKev16bf8YQj60wbC6vjSjJWjGlICfeI{width: 62px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/Yrql4XiTf5VRKev16bf8YQj60wbC6vjSjJWjGlICfeI.png);} .ctxr42H33X_2auUq5R-Of9jAIVGqt4FNjMQ5gQrMo7S6ok{width: 69px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/r42H33X_2auUq5R-Of9jAIVGqt4FNjMQ5gQrMo7S6ok.png);} .ctxXmcZLXPEWmNyWTYZV7WzznRfWNxUHfh_YJixTq4IOFI{width: 62px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/XmcZLXPEWmNyWTYZV7WzznRfWNxUHfh_YJixTq4IOFI.png);} .ctxuwoqEroi1v1Jqsp7iXLoRiHPdhgrHEZoojSK-Rx1Sfw{width: 48px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/uwoqEroi1v1Jqsp7iXLoRiHPdhgrHEZoojSK-Rx1Sfw.png);} .ctxLQrPtPNHzH3JVVMpchT6tCLVVewYGbIbkRo5-Vbt-J4{width: 63px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/LQrPtPNHzH3JVVMpchT6tCLVVewYGbIbkRo5-Vbt-J4.png);} .ctxmQpypii5E2prl_BWXLOdByZhedboq0yPIIIeNu4pgb0{width: 55px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/mQpypii5E2prl_BWXLOdByZhedboq0yPIIIeNu4pgb0.png);} .ctxUoXNR_bj5jy35H42oWYftmjngVpmue06r3vYM5SWfHM{width: 90px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/UoXNR_bj5jy35H42oWYftmjngVpmue06r3vYM5SWfHM.png);} .ctxyhYvBEPis9-cI5ap6I8ZMHlw696dwmwjqZUqVvLgmYk{width: 55px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/yhYvBEPis9-cI5ap6I8ZMHlw696dwmwjqZUqVvLgmYk.png);} .ctxhg-zo40UEDhLD5erTltYvMUyavAnNS-2sc4iz51Lsb4{width: 53px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/hg-zo40UEDhLD5erTltYvMUyavAnNS-2sc4iz51Lsb4.png);} .ctx_4SqB8Xar-1FhTc_J0LeJunimIIdXNxwMWhqpyPHwK4{width: 52px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/_4SqB8Xar-1FhTc_J0LeJunimIIdXNxwMWhqpyPHwK4.png);} .ctxAT2VxXLRDXqoAfx2TK8d0uzd1JQVcqDYzKC-_pxO-ls{width: 62px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/AT2VxXLRDXqoAfx2TK8d0uzd1JQVcqDYzKC-_pxO-ls.png);} .ctx82ZzhyqM7imk9j4_ZXSGvJJuXZqu6P2klVBnPt_dEIY{width: 62px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/82ZzhyqM7imk9j4_ZXSGvJJuXZqu6P2klVBnPt_dEIY.png);} .ctxZAkYViOK4hZg7mOlXWasXpyjmm61H8FDXWxSpPiGJd8{width: 55px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/ZAkYViOK4hZg7mOlXWasXpyjmm61H8FDXWxSpPiGJd8.png);} .ctxBpUa3ekmLV4gHutRDTzW_AhpRIpn-JEpamWCBKWBGqw{width: 24px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/BpUa3ekmLV4gHutRDTzW_AhpRIpn-JEpamWCBKWBGqw.png);} .ctxvxkTZ5vfkAcdL_3vp1B9Iea_eX9F_Ml1Kv9M-32Kaec{width: 45px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/vxkTZ5vfkAcdL_3vp1B9Iea_eX9F_Ml1Kv9M-32Kaec.png);} .ctxJNma4PfKeOTuoXZWqIRoZtSn1_y45N0swkiIZaaKbEI{width: 56px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/JNma4PfKeOTuoXZWqIRoZtSn1_y45N0swkiIZaaKbEI.png);} .ctx919n_m9cz61bX8saAY8Xv7rLzjdnNWCVbYISVZjvynQ{width: 48px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/919n_m9cz61bX8saAY8Xv7rLzjdnNWCVbYISVZjvynQ.png);} .ctxC6ITFuoeo49vcXIksEQy9XN_WK7mN-lTw_O40c8ogAA{width: 62px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/C6ITFuoeo49vcXIksEQy9XN_WK7mN-lTw_O40c8ogAA.png);} .ctx2oCI5bdlqDbkwx2O1Hy6rfjQtnjpc1foMsHbxoMU6-4{width: 40px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/2oCI5bdlqDbkwx2O1Hy6rfjQtnjpc1foMsHbxoMU6-4.png);} .ctxgks_Pi0tOcXLQDk0xIgDgp2yxEOXymH_c_7_8Ed_Nrg{width: 53px;height: 12px;background-image: url(/wp-content/plugins/cryptex/cache/gks_Pi0tOcXLQDk0xIgDgp2yxEOXymH_c_7_8Ed_Nrg.png);} @media (-webkit-min-device-pixel-ratio: 1.5), (min--moz-device-pixel-ratio: 1.5), (min-resolution: 1.5dppx), (min-resolution: 144dpi){.ctx0exj25jE3T0gS8KXaT43v1h5RDGBVQDp_8R6_BoJOhg{background-image: url(/wp-content/plugins/cryptex/cache/YiwygMboVhj-L1PC-nef6WK8jW46_6gUZevqCmzlvOo.png);} .ctxq6WuWtqzO5WV4kN043oRLMJ2567LXx9pj346MGmBglc{background-image: url(/wp-content/plugins/cryptex/cache/qIEnJQa4q9RzEE6XFhlF6XOgAlhrG1lnCfq7kM1DONg.png);} .ctxAhuqogi5zknowGrtOTXC67KJSj7Sz5mXdlM06azaMn8{background-image: url(/wp-content/plugins/cryptex/cache/hpUpa3O6DYRYb34IMSueAFj8J1MgJCEGOjFsHiXdgzE.png);} .ctxi5hRK0V1igZ-xgcWOYmR594bSDeJeI0KWfYjY66hOsI{background-image: url(/wp-content/plugins/cryptex/cache/HJTiP3cl0FKms6falSchFTLKGyiwnj9P9vVCPDqA4R4.png);} .ctxzp5cNjHzO8pKRkzvLDV4G3JjuSvJvuNWHMSFBsDD23U{background-image: url(/wp-content/plugins/cryptex/cache/4j2StBiKqAyGaxhIGHlBlsibwiabFyvnW7cDH_C-l7Q.png);} .ctxIGI79u2EDx-ZlqobdX8qApgJ_RDd12BJEloeLYBESDc{background-image: url(/wp-content/plugins/cryptex/cache/0jD_DPfsFTRFmmGBYH-BuXv6MB9qUhId0AQCCt04-vQ.png);} .ctxjkxkNIVvWdi-_27C-vEsrb5I5rKJE5yd2ERzG_9t8D8{background-image: url(/wp-content/plugins/cryptex/cache/x0NEHOJDGghBl_g_K2fYbmtwI71lk6Zeit7UefrTnHo.png);} .ctxoYwE41xCAhp2COWKPhjwHFWH3X4bKtqrP6S__kfbwEA{background-image: url(/wp-content/plugins/cryptex/cache/-PWoOi8yTSoKBTvHovBhebugSgFoFnwMqjzWaUYJeIY.png);} .ctxMtpzHS2eSov5uVUNG1nLdOlOp-B4km097MmbEFsZU2Y{background-image: url(/wp-content/plugins/cryptex/cache/TCciyaLDZZ3Umn6ayn0d3n3fbD8Wybn-hdG64mygN5g.png);} .ctxnieiwWuVdhuwHFI4etaBwSVym9IU9O8EkxQ77ckG3eU{background-image: url(/wp-content/plugins/cryptex/cache/iLskdablXNsKk6vCpMc2EXL53mCrouNvWYF2gjvIzAE.png);} .ctxPwo5pXTsVPRWDSxRkjElWCrF5LrFElj1Iue0SEfkSMI{background-image: url(/wp-content/plugins/cryptex/cache/DISsqmnjZ6LnnHqsOS_7dWEpVek5wSKSVJ9zP_rwnek.png);} .ctxSYeNTADhbxXHQjSgdWx2LQqgK7zy2qJ14wtt-BaksXs{background-image: url(/wp-content/plugins/cryptex/cache/0XrXD2PV-1LZtkjzr_2Xzpu7zk3pGd1vu4KMelSezZM.png);} .ctxtOhEHP5Q40_fc0Bl5KmAv00CL3L8d_Ja3_xtlCXzMKw{background-image: url(/wp-content/plugins/cryptex/cache/pIsntT1TADvxfcPjRBwSkj9tNx7zipN4K8KZTCDIlW4.png);} .ctxAa4b3liTq9T5PBiyf7HS5yHRtxBw9n0d2zuaHgBgcvE{background-image: url(/wp-content/plugins/cryptex/cache/46xdjKYfvg6sx7tJfn93zN4pdi74_XL-mYD43uhHdCI.png);} .ctxURTMw4fCcwj_nhU2eJbX851aGvrkT6s6OB9ASi31Tc0{background-image: url(/wp-content/plugins/cryptex/cache/v9cE1gwzpwBQiQ6ckhxvVH5kppt2-QhF0X788g0PnCk.png);} .ctxeUYluM3TsKPQF-B8rYhblR7NlrX6Vo1q8ke-s-JLcg0{background-image: url(/wp-content/plugins/cryptex/cache/GRmTGJjmAQVDdOn61RzpAlykO8diVAtYFDosJKoZuAY.png);} .ctxOTv31a2KmF__71K5CFRItZhCP67BMMftcZO9HFh4a7k{background-image: url(/wp-content/plugins/cryptex/cache/-v0utJVpfcLY887JKpiCoiIqpwclJDAJLWwWR_ABuEc.png);} .ctxHwBFfhspgNsVubrlmFxwAPg59wqk6LPqZBI0Xxd9uZM{background-image: url(/wp-content/plugins/cryptex/cache/_wDk_k2irZOSJ2TbKQK-5WFrOc3Tu55VHXuTXSGc0_Q.png);} .ctxrfYd0fMv1Gyf57xlhmM3ZrIN5CtxOjKUfRQlP-4kjBI{background-image: url(/wp-content/plugins/cryptex/cache/6dcf0v8zbnLoSCAcnB9ywwdCj5GTCGZVo1FHXgCZC2M.png);} .ctxi9yj5SlK-Lb-VRhZrr-Pg3w4DbuxxVAWbgAwK5juCiM{background-image: url(/wp-content/plugins/cryptex/cache/oluItqW6oYPCDRnJyfo52_8CfUC7TN45ViA16tflZ9g.png);} .ctxXLGsBULWCfQqhzhGxN_puNXHNMxTfZ8pqOAgUif0KA8{background-image: url(/wp-content/plugins/cryptex/cache/XueTFwMw01gXjR215ZTTRljyL_M803tmMhdaa8O7OXA.png);} .ctxwIsMOZso4IwMFcNU0dX6p2QlQSt4pgmlqUaweD8VdMk{background-image: url(/wp-content/plugins/cryptex/cache/1Ou-scNmAfTfewj0cJW9ZoSj9rdgrc4IGE_QiLUElCU.png);} .ctx6HXMEjL1KK-Xa10EkNKEPT-3wCAlmXMazdixfhzDyAQ{background-image: url(/wp-content/plugins/cryptex/cache/MdHst1AKfQXMiTpM0dMyl8jHlRDak6Aptg9gNMdEbb8.png);} .ctxqDFXDAk_5r-CKwZRTjd5K1tYumfMAHg6gDdAZYNcZpk{background-image: url(/wp-content/plugins/cryptex/cache/inMuwR_TUQlEIZdIh2pRzUTCMytvilpcspJ9HxOqt74.png);} .ctxUDosem-2NVgb21qvoXgRAD7WHzEd4ZukNvrFNlTTjcc{background-image: url(/wp-content/plugins/cryptex/cache/GIrNLsvJtoYSBsd4Hw4NLm8ZknKhT_Ujs_w9z7HPXFo.png);} .ctxIYD1N_vkMm762TMc0F0PfzdIoJBXRpgBveZlT5exGyc{background-image: url(/wp-content/plugins/cryptex/cache/vQuKl8BdXhd-NqVTifIrPZFcGj8atSmCbY22a9n1LFs.png);} .ctx8Nb73iu1vNtEthb43swByBTwHtx04iFilvCGcnIjZ-A{background-image: url(/wp-content/plugins/cryptex/cache/dMMjMVFBHHsJy60GZK_Wo-9jw2UXuUjKEUxk5MDJlI4.png);} .ctxuIL0i9SBESmAdJp3gcXi8Eicqsmm-tgNooM_RtRJMRQ{background-image: url(/wp-content/plugins/cryptex/cache/fGaLRBzx9HEfkHIdOXqrQ6H67mplC_CLWurGIMLbN3Y.png);} .ctxt21Somazg2XJsCdOd31QQ0MesiBeCiNfFtMAUwdnD2M{background-image: url(/wp-content/plugins/cryptex/cache/B1PIikqdPgO2EaWGTR7lyloWB0oeS9pLcGAS7vdyunk.png);} .ctx5m12c9OpBF8tIdWYgj0U1U5-1e2yd9_53uwUSQbI6FM{background-image: url(/wp-content/plugins/cryptex/cache/3r-rITkBCen2XQU14Pee3daPM9LhAnu9tNWuclJQPJ8.png);} .ctxrDIS5c7ATsQw1NXeW6vI4ZSNjfDltx8GgQDqtlvmFC0{background-image: url(/wp-content/plugins/cryptex/cache/QCNUK9YJWgpzBqUSFBh39nZxYC_bf3oKUrWqt1m1bt4.png);} .ctx3Gpz0zXid9qyQhxpCSWCwsLzvzxaE0apViT5L1G-YYo{background-image: url(/wp-content/plugins/cryptex/cache/2mtAr_McLUvr9N0cRNX_wmL-E8qISYOo-SSfqq9TpYQ.png);} .ctxnINVSBdDi76riNJHyJ-RVjqvPYcy1e9erpDZ42JPEPc{background-image: url(/wp-content/plugins/cryptex/cache/hrA9qWaM_xY3IUCxJ1NQF_uYOwneR4xG5qb77w_-lrw.png);} .ctxVkar2b98HLAhWoZ2QuGXNZOiyaXs_8idNu3lwjjlaT8{background-image: url(/wp-content/plugins/cryptex/cache/02i9trPq_i4b7jcnUTZtcizVJKkI5VOqeifTLeE3BQs.png);} .ctxRQTxObT_GbgkzBQ4q4AQIY2DxR-hsy9uokNTiW28IVQ{background-image: url(/wp-content/plugins/cryptex/cache/bZH29UP4d9Ap2JNCWrMdAJOQp5fcyHJ7WDsCFljcBWc.png);} .ctxRBj-G6SsHXrhv2u79C5ltKS-mRBXfOLIHCe_Y_bmcqQ{background-image: url(/wp-content/plugins/cryptex/cache/d3gjkj2DEEP6EhKbwXchklKlfDI1i5Iwzt3XIVEUgMA.png);} .ctxJ04rwFhlIPDNpvQeRYdgtveQXVFqhG18bfuZGkBIQVI{background-image: url(/wp-content/plugins/cryptex/cache/ad8axw4ExGWOD0tSTYqYvm6JQbphidk4v8igP47Gb9w.png);} .ctxk59QnYeA5tOU_A11Dk08uJF6SV8_2XGxBYVATcdlTZY{background-image: url(/wp-content/plugins/cryptex/cache/afyWS5bYAHLSaRsGxReKgmUIsKNHsE5gBahrZ7OMhlw.png);} .ctxJQqpBnk2urxgAa1gKdOM5IwERyYn2r6PYik00dPr_xU{background-image: url(/wp-content/plugins/cryptex/cache/vl_AblQ6nLQktJECjbmV-aU-gDznPwpN4wI_LGjvirA.png);} .ctxblShl18wOJSITRLH1MY6Fnr0SGj3WFOkzXtX2VUxfGA{background-image: url(/wp-content/plugins/cryptex/cache/nZ579_S9cCtP0BAsE0fYQzNJAaDssNRLfVRS1OkJcdw.png);} .ctxwHzoXyDToHMK_gggYDQIVOIWWaJZL0xzHgmh9EgkUN8{background-image: url(/wp-content/plugins/cryptex/cache/CwwYOq4gOwDvgAYKtMxYURLTwfPK76X3RDgLTO6kKV0.png);} .ctx-_vKpY4SIiBE0yedsnIWhK9klkVk6WJTqm4_qkbj394{background-image: url(/wp-content/plugins/cryptex/cache/Dqh2XTgsS2EkrAFd33fL3n5FHgHD2KpJnD-k7Xxm8C4.png);} .ctxQPUvFxlz11-94v3mNwkkpiPCknoABq5BQlnwv7nIXnI{background-image: url(/wp-content/plugins/cryptex/cache/LcC-YV4UzYkPQbsb4-InnR_dKp0qjj-Ir-3vvur5OS4.png);} .ctxfq7OWgKcu-ZLb9tHnqJkrpzkbyfGbsMm5tT7s1WMMBg{background-image: url(/wp-content/plugins/cryptex/cache/O21NF6fzY-4iX5XVwKNIuxWxHL7E8Zsy9vPtG2haXKg.png);} .ctxk3kONhGpriq3WQ06WuB4wdSxQOqio1rOCpIlhGmF71k{background-image: url(/wp-content/plugins/cryptex/cache/IfARzf0nvD2F9WGQSY_O8bu4zKFEsklhZW042StM-P0.png);} .ctx5SocJLtvHAq8l6ctDr3LKqKfZAbhseuPXLa2yGrZihU{background-image: url(/wp-content/plugins/cryptex/cache/90XIkzGNVIZTCAM8_oMjbBhW7EvMbcnCflTGMddmLvg.png);} .ctxv3qPXovGAwnsqBPDWpsxh-I3HvIb3MMmZbHOvFHjnSU{background-image: url(/wp-content/plugins/cryptex/cache/aiW6iGMNF5Wl0jaFS7jXBoJ-aaKpwIqIFCaaJ4vV3hM.png);} .ctxztbXOhtWZ3V9rWMq9l-GUump4kv6ajtOaBlZM5duL_s{background-image: url(/wp-content/plugins/cryptex/cache/1iE3NmadEp3IsrOXvFyOSfXXYVLxTA-oAilikKGIlIA.png);} .ctxs_w26QXnZ_VKoQDWx_ffKmdnsSrKPjOSP6tuQd7-V_0{background-image: url(/wp-content/plugins/cryptex/cache/54qOC3EB7YG5gAD0Z2WLQeu3hPS0Ic0882jRvwfkU2M.png);} .ctx28Y0sogdfElw3D0jVYnOooO8ASTtJKTBfSOc7ZgkTDg{background-image: url(/wp-content/plugins/cryptex/cache/4BBl4Nt_ZzKgk_thwhb1_QBLv9rmWazT9g8tDriruxg.png);} .ctxZjyCkxemUG-00KQrraeuk8kuT9v7nTzV--G2sReAwZY{background-image: url(/wp-content/plugins/cryptex/cache/3O8eHVEmoeb2bs7D5WbEz_DYi2woj6VujKVMN4zjKtw.png);} .ctx9VS5YG3fy_Fb5ldWYowAcRO7nbJ_osZh1lGeftM2CMU{background-image: url(/wp-content/plugins/cryptex/cache/mkznFGLmtPv1PV47WWZTAkZdV5MBA0wJ9jOmGaMH8sM.png);} .ctxSwOD8-4kQub7b_cYQNKNHwrIdSEPFD9OET_bvyB5Wqw{background-image: url(/wp-content/plugins/cryptex/cache/JnIhIa-Q4Ml02YnOuXMsewF47hqyYBAv8i3HSe9DjsQ.png);} .ctxrrTyBMpSmwFz3sIkWcGOjmQ4rivYcLaiox3-zzJFm5I{background-image: url(/wp-content/plugins/cryptex/cache/o6FUTAMPB6fGxEqiCXqH2BWQe0PY4Ve7sKYv6CZ8kxg.png);} .ctxRO1Yh-5AfLI6sP_5WaekYFATWBHMN6Wkzm8x9C7_lhs{background-image: url(/wp-content/plugins/cryptex/cache/QeSL7iC4e9p4-oyf0wLYUL1QCh6OVw3F2eOmBElx5tg.png);} .ctxL3YDmabCGhz5iHFdQmdVAcgvNSNtOrsfYKt1EvDj7rM{background-image: url(/wp-content/plugins/cryptex/cache/pgYZSrvMKgamCEckUDni32_-37ejMcAWVGKTijEdd5k.png);} .ctxf8fWRSLRZujl4z_6v84hljTJscwVnfzFTwtaxiYi708{background-image: url(/wp-content/plugins/cryptex/cache/e4t-kNp13BP8gFkJGUZwPXDWrPYjeEFKHZaf6bUvgeM.png);} .ctxtGI3jeQyL0aO-i4tNsRaKz0JMECHfL9enkRpJywZVFs{background-image: url(/wp-content/plugins/cryptex/cache/qmWP1I4FNnHSXigzEnGy3J8JyX7pRyzOKm1RzJ3zswc.png);} .ctxmnSJF6sJQeSafhA9NQLcU3kdSRQ43lIANVyZZwZ9r68{background-image: url(/wp-content/plugins/cryptex/cache/PKRt7iTF6xqMGwTbp6PRONhkc1LeUNk8SMx1i0lQaB8.png);} .ctxHGavazkAyiLpgj0FXfds3iT7xonn098LRCGhbma5elE{background-image: url(/wp-content/plugins/cryptex/cache/pPjX07L1MjKMTTIQTi_8Wri-Xn7enL8bByjuV_cGYDE.png);} .ctxSxT--BjoJuv3V_lGz6hpLq9sZ-IBOT0u6K6D6WLyjoM{background-image: url(/wp-content/plugins/cryptex/cache/Ef4-tuYHW7AH2CNB8ykoXAzAj8HYvydKNhwx1tRBeSQ.png);} .ctx12ZX5HEMnJ6QvghCY-8U4K3oj7ksYac_sX9CiASdjAc{background-image: url(/wp-content/plugins/cryptex/cache/ePGa_JidTR8g7b8NT4pvK3foOZf6A7bj7PNU6fJW52Y.png);} .ctxZ_Gmg4NvnO9C6U8L37OtHrZBuqbirEapY4O_TX9hQiU{background-image: url(/wp-content/plugins/cryptex/cache/K6n-zeN7epncPKFtPDRBBu-nf-lJtHP8mPwaVlERk2A.png);} .ctxPkepSBe0_jU3TW1bq7d9A7iPROdU83G2P5kk_tpUodk{background-image: url(/wp-content/plugins/cryptex/cache/-NUnXeJe9Y_tX3XiY6XMrFYKEBO7_Du9IOwg_0gorRs.png);} .ctxJILMRhyaBPfhWVMGNBFxvKqxs8hNbxz46k2jR5BUJR8{background-image: url(/wp-content/plugins/cryptex/cache/45so8oTTLNqsprIZUGlgn_ObX41ne5gNQwT1_O0mli4.png);} .ctxdsPx-wzwiLoI1T0fW5Ao7VYmQMarx9mPVSbJBV8Et44{background-image: url(/wp-content/plugins/cryptex/cache/nT1Qjcq5PLmNkrqP5icUZLaRAfEhKYTGkNAZjrftdC8.png);} .ctxaiX_HOgofx4BGE7xYVkD56eEpRmeKxSNMrIEeJK972A{background-image: url(/wp-content/plugins/cryptex/cache/C5DKR_cZwIIguXmAUjDuLbjlzaZPAiFPEgwjVDvYnj8.png);} .ctxpDQkirJ5IxSYW01OXhyD0iy1VOq2705Z6R2ac9XSNTw{background-image: url(/wp-content/plugins/cryptex/cache/GWxq5omsPsTib2NqUYluU4To_rzFOifit4f3yAh-4gM.png);} .ctx3DrBiRHmoR25pxJDfEyAfWd_V-7jM65g_NxGj7wrqhA{background-image: url(/wp-content/plugins/cryptex/cache/6nsUoIpCYyOccf0Rpminf6CQd9NsqOwf5v0SCgi-ZSc.png);} .ctxef6jNn0hq1Yeh1CyUjMcE0D4rQn9NTDLP-KJn5cYjQ8{background-image: url(/wp-content/plugins/cryptex/cache/YkPsqdGGpaSX48jzj6SiPHJCKiSWYIvbgA8nO4Y3P38.png);} .ctxwmikZfKDKu9RM7rgIy_A1x_yBmov3UiAN1tG8THTlLQ{background-image: url(/wp-content/plugins/cryptex/cache/7aFfu522B6yzQWm6rGM0L92qRWPam4HF99Ze0KcE34Y.png);} .ctx52zZGt157715sPuNBFp4ArdBabrMmLF8crq8RnrVgkc{background-image: url(/wp-content/plugins/cryptex/cache/ayASszB3basj11D4grCly4FWbWDGkjpPjFHziiL9G14.png);} .ctxaWEsQ2CoBI5eEuYkmyyxhQc24Xtvl7oPiKB6Rifrn0M{background-image: url(/wp-content/plugins/cryptex/cache/gJM78dxwNLUpS6ZG_rO5V9qKT9ydUknozNtarreLLAE.png);} .ctx9QjKpyXnKIbte1ah49LpZrBG3g1B3eUGS0hK7NN1nJA{background-image: url(/wp-content/plugins/cryptex/cache/JsTVZmcv9AKm609lPpnW8e8HJQKe8qNMwzSLv8kZst4.png);} .ctxeHLDba3fAuzdszI6jNelNJPYX77mNkUrVYrVoymGV8A{background-image: url(/wp-content/plugins/cryptex/cache/pfPBYBKMS9y6NevE0vgvvkJp7ZbZMdsxhfzhtFV1vWc.png);} .ctx1HHlrI4opppLuCtuffaQb6WJAkEd7MZioUMQjIyOdV0{background-image: url(/wp-content/plugins/cryptex/cache/ijNjm6Be6IDbFdwkHz8sDAne16iFhqn5hKqrRxTuvik.png);} .ctx3VTYizBv2lioO4b5cEoQtXORQjTNhTQj0BZ9J7F8FPs{background-image: url(/wp-content/plugins/cryptex/cache/yo1mSiGYBNUDoxDYhxM6TBTtOn-nMaPdxgYHcYW1zn4.png);} .ctxmQQx8jRBI8AG_ZYh9uMWD_oAFNPLiPsaPnuB59mzkso{background-image: url(/wp-content/plugins/cryptex/cache/MFdiAO66pZExHz7aguVoeL_AgZ3nftW6TBXGUbVV_a0.png);} .ctxLABF5_4dGRavHNEWSb7mi4qFGSvASvAcqC-r-lQlRt4{background-image: url(/wp-content/plugins/cryptex/cache/Brxt0tEtMfytxWX8obQTNfU9h7P_hQ7sTU3SxOnTWnU.png);} .ctxMmQ7XuY_q6ZccqWlruIrOUDlWjE9DfY367JDI8BjAA4{background-image: url(/wp-content/plugins/cryptex/cache/FmSQwG1hdDpLy5uvr-ja112PxHkyW2afhbelprVhH7Y.png);} .ctxeOSkm25Uala0AvZwdPIMzqEAdwpvtyg5XMdAwb5Ra_Y{background-image: url(/wp-content/plugins/cryptex/cache/qrGqRq6gziN2gMVXm8R370phG8xOY5JM1onE-E082jo.png);} .ctxYolwS2vPw9wy0NZvW4pnUjfIV5NPgep_457T28ce3_4{background-image: url(/wp-content/plugins/cryptex/cache/LaizV2oEaBmWBVIQN6G1vZfMXS62Brnu87JyGhAu6eo.png);} .ctx6A1OxksHietaa2-g67jfwB7e4jE86wommFjxxeSBsWY{background-image: url(/wp-content/plugins/cryptex/cache/CmzJMAv4fikkLZChOs3WdqPhims2u5-8v9qBuz0IE80.png);} .ctx37qd0vUDL22hoPm2YiN3ZzCZ4Ln-8v6gjgsVcLvcwxg{background-image: url(/wp-content/plugins/cryptex/cache/cKofKZe-oQY5kJp1TFovu5aNkeJhEbBeO6OYSetDJUw.png);} .ctxYosYRuLlah37zT5_0zCKDlCOTz9YCzygEs_VPtSdhSE{background-image: url(/wp-content/plugins/cryptex/cache/LglysyieldI6Fv4cgkqm5S7iS3QXwFi5FtjzqeGc-98.png);} .ctxNs_EJQu2cRsc9ajlIPqZnkyeVi4buegeHGrkmWOUSGY{background-image: url(/wp-content/plugins/cryptex/cache/_hAqZB5wu3FeMKQyRgAeBiCXvJOaEXf6xJ1bIofDbQ8.png);} .ctx1nKKzCa0jkQX8t24FJSZZ90W6GeGJdlQDGa7oJKn0IU{background-image: url(/wp-content/plugins/cryptex/cache/XilnI4yovApWcObK2Ghw7XMPGfaCBRC3-8cv7rNOUGw.png);} .ctx6ah5UI13aahZdTQ12XrHftMqIn8vHM7YtvrMuasQ_ug{background-image: url(/wp-content/plugins/cryptex/cache/6orcSt4CWMXxWNEaMDDc1PfsElZ3ehWRpNEIQOmht5w.png);} .ctxTt1Mri9UXyhNEFkuI72JsqFpBr01dHK2oHAvnJqZaWY{background-image: url(/wp-content/plugins/cryptex/cache/hlv3f7Vd6r-lgXsVS80zMB35V2owYZ8bcdIYRl8mBtE.png);} .ctxYkXReCWySH1sqLy5CX93gSggrZMLzzHad7C5PcunNfQ{background-image: url(/wp-content/plugins/cryptex/cache/N7wY0tszUuMZK_kForuKrxqBqqaBp138BJLQGzwWMiQ.png);} .ctxrbvyez9UbeA2bEeRwBsCM_mEQcK-Q7D2rpnK05HWhmA{background-image: url(/wp-content/plugins/cryptex/cache/dCIf1INcAZnLiGZMOM4K1KnHiQ67a0pvwvINx6hH-Uo.png);} .ctx1cbUJn7bJ0CAR9qsxLZsOeaMuQ6RfJrYno0cSWnvWjg{background-image: url(/wp-content/plugins/cryptex/cache/R0Cj1urmkzEdIDQpZsNt9saWpt1ZskhLoU2Vs15pyHM.png);} .ctx0unx9Ln-PDHU_p-qAB3mTcFUipouwmxVSmIQ1vZZQ7g{background-image: url(/wp-content/plugins/cryptex/cache/JSibuK3OyOAUiklWUNJ25FWJV-bW7eGxCh0g6RZ-5WE.png);} .ctxmTdSG-dtZZ5yJsb8SgDIBy8rqripkQE08IRKUT_MfJc{background-image: url(/wp-content/plugins/cryptex/cache/nMSf7HaH3Q6XNYlkGiGNiJDDIht6xpOltlCn3nqN0YI.png);} .ctx-wuF9OSmVDc-Yu9XWsXALv6t_3vRstsQCY0Db8AXRYw{background-image: url(/wp-content/plugins/cryptex/cache/B2AajtkN2BzUcJIqtVJ84OV4kauzDm0UP7i0R2Sy5j0.png);} .ctxE_Qu9Gh-adzB0lqELpzyeOsKol896n5utkRyQsED4no{background-image: url(/wp-content/plugins/cryptex/cache/IQOHfkJBhXZihQszPPfelkfW4lDntE0HLBapFAxhw9s.png);} .ctxyhteKCxyMcGQ1p_Taq5L2go3nDHvAO8Dn5_hg-DvSUQ{background-image: url(/wp-content/plugins/cryptex/cache/zDZVFU-8hRg_k04pZKXaom8rSaAvKMt3zYSW6u4oshw.png);} .ctxLeJ-Anf0KVEKLraKThnBLX5nLaTNSTVvGfZod4DELSY{background-image: url(/wp-content/plugins/cryptex/cache/4PrwguGzanBTTG7e-Mj5uowLFeXeH2LG1NzPcZNoQ3E.png);} .ctxKOuwEzlalKUx9G6OND755DSZvw-nMJ-wUnc2kWjfD1I{background-image: url(/wp-content/plugins/cryptex/cache/7ifMSXF1Y8_zdl761trqtS9vwLbcEBB-bKq758FAClg.png);} .ctx4PO5mAKHaLf80eal8MhF9Sxog0WA-05InRHA9ipsuCQ{background-image: url(/wp-content/plugins/cryptex/cache/fVkqFpneW_IIZMHz5ld0Mgp-siAmuEX1k596aWLpgQY.png);} .ctx0ihUDMxBHYhFxwLIs3vKFmmT4bfNYRwjNpOpzOClXCo{background-image: url(/wp-content/plugins/cryptex/cache/watbvQdNN_gwn6Q8ROt3rtMywenW9huy9z-7IinXZCM.png);} .ctx457yyVoLfe-2jVczx5P5k45fU-L2Hud01j3mN1sQyqI{background-image: url(/wp-content/plugins/cryptex/cache/3WpayBZ8mYOw02Rs-P0nJ8NlQeAkF1C0-Z6uzTsNZ-0.png);} .ctxQK6yIaA2gXBaPrU-n51X9092o4zY6p1_H--VUY3Sq_c{background-image: url(/wp-content/plugins/cryptex/cache/Fs7R2BSt-eVZL0XtGfULqcrRhwWAENM3u5D0qiK6J7s.png);} .ctxvFFp4TgIg3jgViHx_0BJrfTqWJDpA6_Gws8UulZA8M0{background-image: url(/wp-content/plugins/cryptex/cache/yo2hknWhTIe76aM6k0SQGDqUkh4gB5SS37ehHGIMyfE.png);} .ctxSSj5FcxV2OSpDguQXyR9urSbq9ADtNz2Cblq3oXtSsU{background-image: url(/wp-content/plugins/cryptex/cache/0P7ZHAdiXTQIWySgZhOUkueaRuIrjBvurlGJ5gZ5oGo.png);} .ctxEWSExYTVgyeBbUdJkeiwAYKUI_JJnsJYmfd5aufz8u8{background-image: url(/wp-content/plugins/cryptex/cache/jADldUAnyHreIXXrQKrME6UyeDksTMqqRoE-Sw9_qQM.png);} .ctx2hL6bD2K5tCVzCngJPTN_m51wipfZGiiM4GGlhhp0Lc{background-image: url(/wp-content/plugins/cryptex/cache/FX0zh-uaTJD20ZfUKrsqMzLrC8XvjsqrBaWi5QdaUOA.png);} .ctxklJT1pLGXtnjkcvs4KwBfYom_tpoTq3WQfvG-8o90Gg{background-image: url(/wp-content/plugins/cryptex/cache/esdJ0n0u_u6D1rfGoVytvvbg9l04OmnkfesgHQTe9S8.png);} .ctx_n2SwZesLQ1VOj0TeIiE0ltZncAultp8-NzlD553OUc{background-image: url(/wp-content/plugins/cryptex/cache/IW5HQ-t9wkKpjU5rxJossP9Ub2PuKXa1dAKUH6P2Zx4.png);} .ctx8gIzWNpK1TdyLOQtaVtIHHB15vQN8wUDZi3q0J5RZPs{background-image: url(/wp-content/plugins/cryptex/cache/qQKeRB3-oc9d7Do1Jl-Z73Ci8STvKLajtAMGCNfoYQ0.png);} .ctxoqx4WFe0DxvqjpiiiYUiGPVuAi54r7gbs_X7DtG7C80{background-image: url(/wp-content/plugins/cryptex/cache/S40CUWVIMUy55DOv_pj6QYyrODKk55ScbKuEGAL1RwU.png);} .ctx8TgVBvX_iOwUNX-7K8y4WjYF1ONZAnLt5Bij1D54ZBk{background-image: url(/wp-content/plugins/cryptex/cache/-EboES2U_hMdHkjKzF8ACct8wDn-kS7iSOAM1GsNplQ.png);} .ctxduGpNanMukkPka5z0CYgWWRg8hNErYZOOwVYFQBdX3g{background-image: url(/wp-content/plugins/cryptex/cache/r2L8HDKrCjlC61yev1jlyx9U53I1rymsT-ZtdxAoQ1Y.png);} .ctxBLRu4vcy2eag80ZDQS-WOR7xGJoHcOC-aphgi-vaMuI{background-image: url(/wp-content/plugins/cryptex/cache/4rnhs-Dj9fyMj4tByGV-uml1eFxNbk-GN1dsUjE5-bU.png);} .ctxU-1McCunN-2aLz-L8pGB9WzJGabB_5VfASaJKWFpfik{background-image: url(/wp-content/plugins/cryptex/cache/RXsTC3WaaEfbU10hWilJoogsYPlPKPdIxivz6QdaMXw.png);} .ctx0TdvoHzSKsuIOmT7EWSC3sIHBKlsJ4lz5kvaWpiXK8Y{background-image: url(/wp-content/plugins/cryptex/cache/pqCTwidupKzyPQa0PO4AEinTaSi_AExsJnpWFzzlU44.png);} .ctx174ZTIovfnzDjmJXCfJVMB0VlmHSIA2JagYswGAMAno{background-image: url(/wp-content/plugins/cryptex/cache/U0TUOG_pAwpkEfGDEta6W4TbkGNeqKLjNpZctUzx7LU.png);} .ctxRbsNKoDppoCtLtsJQp8dxGgbTyQNoqfTS9J8sA_yz4U{background-image: url(/wp-content/plugins/cryptex/cache/RBFoJcDgCdLGUnvg1T-C_4Z-zqULeSZTGhVBUh_u9SU.png);} .ctxIwwNO9N1wxwBtUwdl1bZCHi6rvrS-SXcaX7177jtSeQ{background-image: url(/wp-content/plugins/cryptex/cache/1-nYDsUmRDxyM_7mrIGdk_9ehbEyMTzj317DFuqT6-c.png);} .ctxFI5adpVVqwagHyclcr8U7LHty-Mp5iv2JU1aXsi4_x4{background-image: url(/wp-content/plugins/cryptex/cache/M2SoKXPOoyfEjFLjl3kFN9dErPODkWdfhg1tv-xlS3U.png);} .ctxxvfB49l6XcrC5HbHkiB350XeLnjT-ImrMYCEvu-SoSg{background-image: url(/wp-content/plugins/cryptex/cache/bbEE6fQ1AnRUrAOgujM2hkBDKv4oxdWgumINjsJlnFI.png);} .ctxKeE9hIJJL7dWhcfEYxntfpVHV2RfaSHvNHPUl8OwZJk{background-image: url(/wp-content/plugins/cryptex/cache/pwHvZ4IpO08ItlJTXtCYPnK28boYPGE5P5Ulm8EADa8.png);} .ctxy9m0dP5VPhzbdIqY8PONXAexUhvypRwopVHkgQjFdC0{background-image: url(/wp-content/plugins/cryptex/cache/0RnPsPpTFLIZ9sclNJFedxrpsYH1O0zfa0pkG5RV2VU.png);} .ctxeGOHt2GZGS0gsKYwQxFg2kZAHS8upC4KlvRzZ8d-CPk{background-image: url(/wp-content/plugins/cryptex/cache/QVby4PezgacYMFFrrC6XKLZKCfoD_fhSH0XKl9cryWI.png);} .ctxdPPBzKRXct2EZUQNm7zNR0SjDyrmpsonIwUGh9CWlgk{background-image: url(/wp-content/plugins/cryptex/cache/tTjtYVB8Gf2oGmvqI_mpnWszAKe6N6aqRgBQT0tU8v0.png);} .ctxalf7Dg9DI--zOlimww3_Yq1eDsivPTbnAKYOUkekO7I{background-image: url(/wp-content/plugins/cryptex/cache/7z0eXgiyyy9gRPFqXst6URgNVZ46rkauH6SFyInqeho.png);} .ctxlRX1ooJMJZxl9pd4Upr-JtPVBU4yr3IEWujOg9noYP8{background-image: url(/wp-content/plugins/cryptex/cache/1_hPzFDPsrDeM-e0ndUmS5ZG0bPnx8nlEpHLWqneK64.png);} .ctx1pyuuEzDDESoV73g-Z0ATLmen2b_nO4tCJuqVAZVy3M{background-image: url(/wp-content/plugins/cryptex/cache/2Vbzkf6JhGlEW0qivFPfVfARrFb18enOfXYRcAB8jCs.png);} .ctxT8m3Z1-TXUnsJ5dQNPmrTnD7NAkHBg3qtsd-oiEsH0I{background-image: url(/wp-content/plugins/cryptex/cache/GLSrM5U-iyegd3FqJz0dl7FOQa5ctStIygf2OLehcHg.png);} .ctxcC42EtpZtOeDfuQRcWqq5Dv8cJUN_sfjFG_jqGr0JtU{background-image: url(/wp-content/plugins/cryptex/cache/jSN4o5oeU0E2pFpwrOK36snK0yjfboVLg4PmGULM43w.png);} .ctxWi27g5wWJCN6YF6A7AR1YXr6uJcTQwJrZ0EUywwlbns{background-image: url(/wp-content/plugins/cryptex/cache/S-Be-P9bJ_kDzp8dumqRol2MGRFANm3EOh2AtOSxlJo.png);} .ctx3tbq_QlIEuSB2Sy6m3g6qxxslhOLfC89Eivzq0_HJnE{background-image: url(/wp-content/plugins/cryptex/cache/IA7okyyiHsvXqnxkXUoYYHkpjpLAAjARfpR3KbVBi0Q.png);} .ctxh1zF_hF4RQplXgXzP_W0kCLmy44x98fJoHqk8DkeXdM{background-image: url(/wp-content/plugins/cryptex/cache/SyN-kogznwSfhRy4P5dfYcmVXMLNIEaqevgVdOQ_Y60.png);} .ctxIZ4C_ylPPDsZVQ8XW-lqF72xpaL1m69R6rIkLyEoTa0{background-image: url(/wp-content/plugins/cryptex/cache/3s482qbBDftT7jVlJITH4RnS9zXRDfKlxXmVkyHtshg.png);} .ctxJOyCT-_lY5HWtSYtS6ZqATHl7k-um-jT-cazR31zwmg{background-image: url(/wp-content/plugins/cryptex/cache/GbY7PRAhMplCoGn1aGGNW9Y2_bQVoY6nQnl2tXDkMaM.png);} .ctxUoVHY0Nf_u2JJZ4SQ0vYa3IEZMuWKsAN5-j01VV4kDo{background-image: url(/wp-content/plugins/cryptex/cache/UTxkNyNUtybS4RVEdSFUfDccvQaMGP5F5K4Uns_Xkxo.png);} .ctxuCyBstLXRRuK634MRsYUHeKrsStseJ0jvk7f_-964vk{background-image: url(/wp-content/plugins/cryptex/cache/FElslcB5oGr6Bw3-CR52WlD9Upj3zdfhll2wLarpQEI.png);} .ctxazlXIVK2TEgfW2OV5QFh9wm8grGBnSJR4CBZwj41uvY{background-image: url(/wp-content/plugins/cryptex/cache/MvVl5N28A0e9Wp_PyOmMHV4TwIO4DvsetRMBkhj4-sk.png);} .ctxXourLLPbe58RmrT-O5h66OsA_IOo_NItTgmdIQcYv9k{background-image: url(/wp-content/plugins/cryptex/cache/4uZ7CmCF8eHmKsT6DFxa6tmQ_-K7GAr3MwCxb0tdyf4.png);} .ctxkLu-zClvRzjLBxkePYqAEq7WuXKRewQXyty_ifz6g1c{background-image: url(/wp-content/plugins/cryptex/cache/gPJwGOqvg62GUgwckxKLi-DKq8zcBOB5_BW5uaQWPu0.png);} .ctxZhs5QGHzs-u8BDXutwo5-hGdSbsHV8a1_Lnh-7OXS1k{background-image: url(/wp-content/plugins/cryptex/cache/vPTu4w2jsYaTCgZziHl_IWYguFIzKj9UJHE9tVsd25k.png);} .ctxzWitY-Rd0Kc3wDoZR88FSXsQvnvAM9bJnZhs8Tvdmxc{background-image: url(/wp-content/plugins/cryptex/cache/uh2ZwTLWWrHaLnjqSoe7dB-MNsfubCZ_LiWX0a0n1pU.png);} .ctxqQRJcw2WF11m4ShovxuP-HqWIS6VS8n-01xB_zoy3vI{background-image: url(/wp-content/plugins/cryptex/cache/XmsXEpmShplYie1AUoHc9oPYyetnzYUvwYdoj2AQbXI.png);} .ctxfkJi5JOeqF4lPNvX-OYb3s7zcFP_U9rX4HdXvoE7SI0{background-image: url(/wp-content/plugins/cryptex/cache/sQNwj_EUmfKjwy5GYutWxHO4GtkGEM4NlTTdKtP4Kc8.png);} .ctxAksG9E02a-hdpvJvvj2G9aQQDFLfF7pExNxNXmaTrQk{background-image: url(/wp-content/plugins/cryptex/cache/kOCkzyzmC7DAl_NYdVxAukMiFx_fiYwlJxmOa7CSxRk.png);} .ctx1lZl0t2lyVmDFMyPO4AsUJwllPZ6yMDbi4koUHuCG2k{background-image: url(/wp-content/plugins/cryptex/cache/Peh7rX9pWdEoLZHT4K3Q_XePz-fY9838EK8NWC8HtLU.png);} .ctxjXgg1O9tP8_iK64ZtQ-8pO-JVgozeriGJy5InUO9clk{background-image: url(/wp-content/plugins/cryptex/cache/xMj9aquUWTMNCGeq-BGL1k_KCdhCYmGsiUaqCxmPaUI.png);} .ctxF9VWdwh4gwlp6pbWjFe1jhBmpHwY9KNN4pMO66lODQk{background-image: url(/wp-content/plugins/cryptex/cache/2f1z77cp_O-sk0hhKtFTieCitvYaX4hhtXxUWoQ0blI.png);} .ctxdgeUtChOooNHzFqq3cJDZEijKkAL0bIGPBK1rSoI8KU{background-image: url(/wp-content/plugins/cryptex/cache/rTVulQntEgKhcTTqYjK72-woDjNB-xhM_Vbfycelyfw.png);} .ctxFjMNFkMychznWjteSw88OuzX3p1FisUd6DMcKi1uANY{background-image: url(/wp-content/plugins/cryptex/cache/FN6GwFDXcedPbbZWBPmeIcHQ8dfTq2MaHVR0wFpKVlw.png);} .ctx2x_4ve3Yq5Vmhn_WDlqbBuAY8URk-GFHbMNORPPrdEI{background-image: url(/wp-content/plugins/cryptex/cache/ltWDxb2KZz-44AhqtNSCNSjPN83hG6XUF9PlhFe0tWQ.png);} .ctxj2QZ01uQ8eoLoJ38Bqn3sMUgy-sAmJ2e8nCSiIurDuE{background-image: url(/wp-content/plugins/cryptex/cache/DkpLLhQsgUlP0LXZZkjW_m9LYMjHi8XMicWauF_ebDw.png);} .ctxfIGNLs3gjq-i7NiD_Yc0KQQdS-JNyoCygX12esU1xGw{background-image: url(/wp-content/plugins/cryptex/cache/UURiz1b_Ll7PpCCmGi_aUrictcBsxVUxMx-14Khb9FI.png);} .ctxDmzgzRjsTK3KbtaR1iwWhBJ8GObtQiIVSScnZf292EU{background-image: url(/wp-content/plugins/cryptex/cache/v4XqUs1XNDmK4IKKd6IVW4t_VPBRztRiPmLz5-ZbYEM.png);} .ctxbftKmbhkYnrg6Z5D2DnsCaz-bODNiAvaylqjrwmgfi8{background-image: url(/wp-content/plugins/cryptex/cache/46Xk1CCwjQtVt6AD4qxk4vxTyrZdOzNIxuaWeBqMGFM.png);} .ctxpnwjaDEJKPFQOlfp68hlZt0aXpRDbTs94f4uips2Fpc{background-image: url(/wp-content/plugins/cryptex/cache/IZWxnQeGRWCtjfiP3_h8xCQ8WKp4EJ4wKnUg6sC0BEA.png);} .ctx_hXBpkXZ6w-qxd05jZwITHqVuNsyL-gbZPacNTwL_oI{background-image: url(/wp-content/plugins/cryptex/cache/cK2ktFv0SzHwdUjmUORsVAEJMgUM9KrAcgB8exKGguE.png);} .ctx-eNIcFyhKqwBKIe5rv-a7hNB-2Y5IxNX2y-zB7AsDdM{background-image: url(/wp-content/plugins/cryptex/cache/-XzsBIqcECg-Mk50Sj84LceWMY5cgo5pQ9ZojFIZB9c.png);} .ctxwWpvmLC2hv1xa7FjCrb6ZMGAQ28r-qzWy23qzMvPQ-Y{background-image: url(/wp-content/plugins/cryptex/cache/zCBRjaB5K7tKKG8oz_HGbFimDyGX0oH6YEqXiw0iqk8.png);} .ctxJyClDI-o2YHDj9sho3cKWkEeZFsMVN-qOIXMASS9g0w{background-image: url(/wp-content/plugins/cryptex/cache/u6s2rb8x-pDC1_1R9eBAoFXxJk3YGGakpaoa7AoRAbA.png);} .ctxxYNi6RGuwRWX3Vvg6CdiIdWUVaKsMzJxYu02SdbIfcA{background-image: url(/wp-content/plugins/cryptex/cache/VLJwqVwfHRCayaGQCHVQsD1nJ3KE9btZy6g2TZarIVI.png);} .ctxRwqf4qeHRQXPdPa8ZR5B5gPWggDJdf3C9YvVPFdZoy8{background-image: url(/wp-content/plugins/cryptex/cache/fWMF4BpXODI60vym9wX-iCaHk8xEXgnikeOt4TQ2Y5U.png);} .ctxw55tRfexVRXu4ycUdnRNpyo9SpYgP_1UEciTeI9rsQ0{background-image: url(/wp-content/plugins/cryptex/cache/dz6LXRj51Xuk_LTIG1TclXcScKGoMxKn7nMfyFU9VPY.png);} .ctxGeqb2ni80ZlJkQ0kTZqZeg46RcBOSrbM0Gnw3vGD87c{background-image: url(/wp-content/plugins/cryptex/cache/nb0kDZjyR1chviEgjdO1lx-AtR6X6ChBqQR4y79c_hI.png);} .ctxctEnqgeqUDFcH2xYeArq39kryl0iVJouET8FJJdeezs{background-image: url(/wp-content/plugins/cryptex/cache/HqfilMpOBvjgsijzvpDQQndKi_OfpvAWgiTBV9PpCdc.png);} .ctx0iH5DVcvE5pLJaovvVGFOWNKhNljnlKcrICVyk3yuDM{background-image: url(/wp-content/plugins/cryptex/cache/erQQye561YcPGl_KBbXSEA0Qh80ntIabhUP1A7nCC2w.png);} .ctxPyQCq-0U_H8_hAMn3mr-P2UUaBG5UYI-VotCcPwWQxE{background-image: url(/wp-content/plugins/cryptex/cache/rpdHke60FAfQjkoHRyouCwtolLH0ClQbNWRo_ef7NZE.png);} .ctx8U1kbcR6CX0QazXToQfias5EsCCCXJ2G4J2nTa7FAfg{background-image: url(/wp-content/plugins/cryptex/cache/Nsgz18KeHEdV2h0h--LxTdF30Ofjni_a0dYawCpDcSc.png);} .ctxF4A4lKZA_shfr_-dxxzrEvPpJhV7pYyA18dNRf5_KNY{background-image: url(/wp-content/plugins/cryptex/cache/khJGK34cIqTJudRWbbgPwOMSymFaKau8N7JQI0Hb0MM.png);} .ctxRaYQ2yBDt3_zWaXZ6a7bIdmdYuMRegWwdadqfqpykJo{background-image: url(/wp-content/plugins/cryptex/cache/38fUOMPmX5xMfAnTA7Z1kEkIuzFZwfIc4_eFYzL6pZ4.png);} .ctxpPF7wONQmSXPwwL3wdj9ZmdswbWldpOoTMeiYq0LlBs{background-image: url(/wp-content/plugins/cryptex/cache/hU1E8K4ZzaZwvIxLN2Ah1PrvMHQcUnX7VjrVHRR2de0.png);} .ctxbuWGgHFHuwBu0bF98Yb9viaRWnBZeWalzaHtp12NP2c{background-image: url(/wp-content/plugins/cryptex/cache/Q45hKsZDMmHzk-dobj995poXkQeQsdbnYgsZBGUBtBw.png);} .ctxZXRgEQxqzYhpUYDqfOj_xMmKfkfALlynXujbVAV49UY{background-image: url(/wp-content/plugins/cryptex/cache/SOOFZzidmkDElTcuM0yOo9eFAVclJMWVOQy4gENM6zA.png);} .ctxD7-Cra-OQz3MX0oyEd9jeLAKZNwMNhhj7siTkuAM40A{background-image: url(/wp-content/plugins/cryptex/cache/tVhMbK7phSn0wmoDXg40NtMQRZ_l0zy2JK11U3kSwgU.png);} .ctxGo6l1cDpeujN091uFAiTpI2EvdhhslZqGIMh6L_oRmg{background-image: url(/wp-content/plugins/cryptex/cache/5gzDxLlUqr1kErtroABuGjwke3qKR7ZwidS5E82WwxI.png);} .ctxJ-zG05lGeSVnR8wvTpYN-xHEb_mYe9VOqOgE6Wgym6E{background-image: url(/wp-content/plugins/cryptex/cache/q4MZkfR23_bV2s_jHnOroM4r2s1kYR6eqact6PwAOSI.png);} .ctxopUQNSRyitDhh1EYTzkXoAMGtmO6eyaoTUy7h96F6AQ{background-image: url(/wp-content/plugins/cryptex/cache/iQeWZTlEa4SPo5QbBZ6HIeheC9GYnf_MZLtSy5El8ao.png);} .ctx7TQ3HLsX9PpIm7AePTNnT8iYk3mJAYhsKjWX4oPoRAE{background-image: url(/wp-content/plugins/cryptex/cache/Gg3gkbX7H-n0nT4H4p6arx2zj7_icoi0aDxJ8PrJHe4.png);} .ctxlUBm-FVi-z9hPnOrfrjuFRDd7_YOG-GXioIHpzGsnTI{background-image: url(/wp-content/plugins/cryptex/cache/vQomQMg6GIky10gwlZ_VUP-9f9gXXQ1Nps_Lr-s33oc.png);} .ctxaK-5rmHq8rsgyeWhJUq4aW0r869gqM-sLvVuCHtrtk8{background-image: url(/wp-content/plugins/cryptex/cache/WN57vPGOoKdvp631_vUInYVOlzv5FpOD2PgV_MXnUQ0.png);} .ctx7WEXL_8yl5L81zsiJZVNBwrWZzQLr3EmaEyvzVHCa3M{background-image: url(/wp-content/plugins/cryptex/cache/WKK_du3gLr7sc0a-EJqSYFn6Q3alTnDKv_06oA1y0hQ.png);} .ctx11chisHftW9jOTh_Y65hKN2iPjDlpG13KMUAzg8JRcE{background-image: url(/wp-content/plugins/cryptex/cache/avQazlQXUQegOUSn6kldt_2ufKGpPnQG2__zxEUUYsA.png);} .ctxcS3pzL-ATmGSewExbNMuyLdmKhcC4Y23GDJHKd6SH04{background-image: url(/wp-content/plugins/cryptex/cache/vHscseZoVewLMSag062v16XWWYQYl_pQDlRrjrPKOIk.png);} .ctxq9YaFgV3Sk3W9pLRWCxI_IodjMlLVmpu6s5AN5oOBmE{background-image: url(/wp-content/plugins/cryptex/cache/p-V5OPHxLy5jCXT9bmadEFIfT6MWhdAGoMfD4ooxCK8.png);} .ctxtF2UfXS1S1JVKK-nRBRmPQg_VIXa549JMbJyLwhyMhg{background-image: url(/wp-content/plugins/cryptex/cache/aSeOMfMtnivIfR7b1gcA22t_1lJeHq7OG4TK6QT1TjU.png);} .ctxx7E0FEnZg8GYLoRrYl2wfxPsDfGcw-uJ916H-UJKD-8{background-image: url(/wp-content/plugins/cryptex/cache/XAbLeMhAH3wCjsRRJ2M3vsO1OiPqe0zyeTmvvvIJpz4.png);} .ctxLnU11fnA8-SVYHdEjZNHiwLHx6ZANYDehfs2FcjRfVU{background-image: url(/wp-content/plugins/cryptex/cache/62uHy9pcWadDKMGI76Re3U_tGVTCkDXs0QGBmMUs1nw.png);} .ctxO5XdfxToD6BOBXE9GHId2LgwlJI_duKzz1S-mlFCXn0{background-image: url(/wp-content/plugins/cryptex/cache/RP6k2yKyIR67dvbIg6C_rk_whnoF1u47etNWeRweBUA.png);} .ctxzDdF43NLstWs13lVggAa9pfNf9gBddSbLjZHIaESsFU{background-image: url(/wp-content/plugins/cryptex/cache/SXoMespBqwVkvBeE_how98lDyi1kDQ_QpIgmOKZNB-4.png);} .ctxO4C06nrCokACicmT5FpYgawbhSTr_lcN1kWk0S4og6A{background-image: url(/wp-content/plugins/cryptex/cache/r9kMWt67myGzPN21O512L8RgeOdFVwl9UHzNCWsQT8s.png);} .ctx1idJYh3K6fj-QLggEXjE8yySCyhf5FsURE0fmilJ8gw{background-image: url(/wp-content/plugins/cryptex/cache/vhD1zeuydsVt6bMD1rAj6_yloUHQXb4LPYwpkZAwKj0.png);} .ctx4fPRMWGipkZlvEuiE-aWnw2oN7_j4v_f09wwIEyHYM4{background-image: url(/wp-content/plugins/cryptex/cache/axLW0Ii-BX6Cmrif9KS3Vw2GRZ9eUYCaC9jNovam8gU.png);} .ctxkzJLuKaQrvkRED4zzp57E1eIPqx5cwgulUdNMabPmDc{background-image: url(/wp-content/plugins/cryptex/cache/fDsIXh8453O91FD1PZORh7D7FE3vEUTozxHTlXShETU.png);} .ctxG4rforb2Qk00a-02R79-oirzJseG7TK0OcoKQdNczzE{background-image: url(/wp-content/plugins/cryptex/cache/Fo8kT0vb8EQwN0xJ4CGezv0OfRNeOd9Pb_Dd-D34fxQ.png);} .ctxdhAjMhlxKqp1oxCQy6ErRGaD9ykNpnM5TrG2Qs1iTh4{background-image: url(/wp-content/plugins/cryptex/cache/_S8_BtgUla-rFehoAbQ8qppPd87Jlwj3SxsnuJzo1Qg.png);} .ctx7fXd_w5pbsKQOfDtkizmzwr9qnBli-BUSqJ4Op8DHJY{background-image: url(/wp-content/plugins/cryptex/cache/_tByQ9GbVDayxIx3IERcWio7Kxy3ZxWL8AXKUy0WsYs.png);} .ctx38lzGWUfBE_JvNsfTPfAfvbIVhJagpNjuy3nRmqFDWU{background-image: url(/wp-content/plugins/cryptex/cache/vLzDTsHaAcPriW2G9QzIYF8tebwnghWdas8mj1e4I2I.png);} .ctxHW-iIqjELFpKjeMZGb2_NsIIHs_p65I0coIlndklXOA{background-image: url(/wp-content/plugins/cryptex/cache/mze717RKC5-R9K8uNmaDTZLIQzayVzJYBb-y3B7vjG4.png);} .ctxYrql4XiTf5VRKev16bf8YQj60wbC6vjSjJWjGlICfeI{background-image: url(/wp-content/plugins/cryptex/cache/4gNx6WyQx34oNFfbx_2v-6bAQgSGVIMqNVwLPDHd69o.png);} .ctxr42H33X_2auUq5R-Of9jAIVGqt4FNjMQ5gQrMo7S6ok{background-image: url(/wp-content/plugins/cryptex/cache/4GgALCtAWblvqQ6vPOS_ICYj4DvrUP-AVWEhCJPVhac.png);} .ctxXmcZLXPEWmNyWTYZV7WzznRfWNxUHfh_YJixTq4IOFI{background-image: url(/wp-content/plugins/cryptex/cache/0ijy0j7ESoPE9znZ2gPUS3de3T5GMJds6Zt23ypuhv0.png);} .ctxuwoqEroi1v1Jqsp7iXLoRiHPdhgrHEZoojSK-Rx1Sfw{background-image: url(/wp-content/plugins/cryptex/cache/T8NLp7Sr5jJLo0MxmCi2FqJUDU27f0p3W2uNyQndzTs.png);} .ctxLQrPtPNHzH3JVVMpchT6tCLVVewYGbIbkRo5-Vbt-J4{background-image: url(/wp-content/plugins/cryptex/cache/A-COioj6Ni7hyeFKOicJI8zXTJ1pWDW8NxwhDHUAbUY.png);} .ctxmQpypii5E2prl_BWXLOdByZhedboq0yPIIIeNu4pgb0{background-image: url(/wp-content/plugins/cryptex/cache/9j_q0F90ePFkLsNgurcc30bX8N1lo2nlzfhIZRDp9rA.png);} .ctxUoXNR_bj5jy35H42oWYftmjngVpmue06r3vYM5SWfHM{background-image: url(/wp-content/plugins/cryptex/cache/vMLhF8kBesQlPEu2wcg5L8Fz0EW2h_nAjnYws0qtybA.png);} .ctxyhYvBEPis9-cI5ap6I8ZMHlw696dwmwjqZUqVvLgmYk{background-image: url(/wp-content/plugins/cryptex/cache/45HXuDSyNdpQnM30hA1p0PDMvjbmIz20wkecjiHYc9E.png);} .ctxhg-zo40UEDhLD5erTltYvMUyavAnNS-2sc4iz51Lsb4{background-image: url(/wp-content/plugins/cryptex/cache/38ywBGT2IQOUvdBniP7MvH22C9m8Ny9n90oJerF58Io.png);} .ctx_4SqB8Xar-1FhTc_J0LeJunimIIdXNxwMWhqpyPHwK4{background-image: url(/wp-content/plugins/cryptex/cache/Bwx2xqfE0zk9tbTRdNaIXMNYaSBggVTHBMw8Uo7o6g8.png);} .ctxAT2VxXLRDXqoAfx2TK8d0uzd1JQVcqDYzKC-_pxO-ls{background-image: url(/wp-content/plugins/cryptex/cache/1l3YZnlKkqpooUV5wg93SkUH3Q9xXCvsrb_BkpuBZaI.png);} .ctx82ZzhyqM7imk9j4_ZXSGvJJuXZqu6P2klVBnPt_dEIY{background-image: url(/wp-content/plugins/cryptex/cache/DVZI32CdncEpDjBO5fU04SwGb1kEnbrrhFe8g_SSOZQ.png);} .ctxZAkYViOK4hZg7mOlXWasXpyjmm61H8FDXWxSpPiGJd8{background-image: url(/wp-content/plugins/cryptex/cache/GKYjw-uW31I3ZIEhSxqchox2DoOfrX1UgPnLsSlAfVM.png);} .ctxBpUa3ekmLV4gHutRDTzW_AhpRIpn-JEpamWCBKWBGqw{background-image: url(/wp-content/plugins/cryptex/cache/5BgvVJLZQBYQmRa42I93LuGoJxoy1dSWFTYy_WwvTVk.png);} .ctxvxkTZ5vfkAcdL_3vp1B9Iea_eX9F_Ml1Kv9M-32Kaec{background-image: url(/wp-content/plugins/cryptex/cache/oinMjkF8qV6svHQDkcBYuWKbeyhg6oofBQCor4cYrtw.png);} .ctxJNma4PfKeOTuoXZWqIRoZtSn1_y45N0swkiIZaaKbEI{background-image: url(/wp-content/plugins/cryptex/cache/YCU5KrmhG_qp-STntgoazw3WnDX0_dseACxmSZCKsMw.png);} .ctx919n_m9cz61bX8saAY8Xv7rLzjdnNWCVbYISVZjvynQ{background-image: url(/wp-content/plugins/cryptex/cache/4e2zu0rdXQNvNxtwNkeWqUmPs2qM9H8EIxpn5dArcrk.png);} .ctxC6ITFuoeo49vcXIksEQy9XN_WK7mN-lTw_O40c8ogAA{background-image: url(/wp-content/plugins/cryptex/cache/2mvJAQ_W-JF2kazR-brtB7NCZx90cmH-LSpyZ6MbMMg.png);} .ctx2oCI5bdlqDbkwx2O1Hy6rfjQtnjpc1foMsHbxoMU6-4{background-image: url(/wp-content/plugins/cryptex/cache/_vLmMqwuR4qTsytShZ9aZAq74kLx2GivS-d4uQ3O998.png);} .ctxgks_Pi0tOcXLQDk0xIgDgp2yxEOXymH_c_7_8Ed_Nrg{background-image: url(/wp-content/plugins/cryptex/cache/8HlWhPi66QDV6ATnKAS7g_EO2Y1jSp9q2-2vT4078mw.png);} }</style> <script type="text/javascript">var ip2long = function(ip){ var components; if(components = ip.match(/^(\d{1,3})\.(\d{1,3})\.(\d{1,3})\.(\d{1,3})$/)) { var iplong = 0; var power = 1; for(var i=4; i>=1; i-=1) { iplong += power * parseInt(components[i]); power *= 256; } return iplong; } else return -1; }; var inSubNet = function(ip, subnet) { var mask, base_ip, long_ip = ip2long(ip); if( (mask = subnet.match(/^(.*?)\/(\d{1,2})$/)) && ((base_ip=ip2long(mask[1])) >= 0) ) { var freedom = Math.pow(2, 32 - parseInt(mask[2])); return (long_ip > base_ip) && (long_ip < base_ip + freedom - 1); } else return false; }; jQuery(function($){ $.getJSON('/getip.php', function(data){ if (inSubNet(data.ip,'139.19.0.0/16')) { if(document.cookie.indexOf('hidecookiedingsbums=1') != -1){ jQuery('#cookiedingsbums').hide(); } else{ jQuery('#cookiedingsbums').attr('style','display: block;'); jQuery('#cookiedingsbums').prependTo('body'); jQuery('#cookiedingsbumsCloser').show(); } } else { jQuery('#cookiedingsbums').hide(); } }); });</script> <div style="display: none;" id="cookiedingsbums"> <h1>Need help?</h1> <a href="https://wiki.mpi-sws.org/wiki">General questions</a> | <a href="https://wiki.mpi-sws.org/wiki/ItResources">IT related questions</a> | <a href="https://plex.mpi-klsb.mpg.de/display/Documentation/WirelessLan">How to set up wireless lan</a> | <a href="https://apply.cis.mpg.de/">MPG-CIS Application system</a> | <a href="https://wiki.mpi-sws.org/wiki/mentalhealth">Mental health</a> <span id="cookiedingsbumsCloser" onclick="document.cookie = 'hidecookiedingsbums=1; max-age=86400; path=/';jQuery('#cookiedingsbums').slideUp()">✖</span> </div> </body> </html>