{"id":45,"date":"2026-11-02T02:50:02","date_gmt":"2026-11-02T02:50:02","guid":{"rendered":"https:\/\/therisk.global\/nexus-foundry\/?page_id=45"},"modified":"2026-11-02T02:50:02","modified_gmt":"2026-11-02T02:50:02","slug":"safety-critical-software","status":"publish","type":"page","link":"https:\/\/therisk.global\/nexus-foundry\/stem\/safety-critical-software\/","title":{"rendered":"Safety-critical software engineering"},"content":{"rendered":"\n<!-- Nexus network page \u00b7 https:\/\/therisk.global\/nexus-foundry\/stem\/safety-critical-software\/ \u00b7 source template \u00b7 generated by integrations\/wordpress\/network\/build.mjs, never edit this file --><script>window.nexusLiveStrings={\"label\":\"Load the live map\",\"note\":\"Imagery and feeds come from other services (NASA, USGS, OpenStreetMap) and load only when you ask.\"};<\/script><script>(function(){\"use strict\";var n=window,l=document,y=\"nexus.live-map\",$=\"nexus.live-map.reload\";if(n.NXLive){return}var E=[\/(^|\\.)gibs\\.earthdata\\.nasa\\.gov$\/i,\/(^|\\.)eonet\\.gsfc\\.nasa\\.gov$\/i,\/(^|\\.)power\\.larc\\.nasa\\.gov$\/i,\/(^|\\.)earthquake\\.usgs\\.gov$\/i,\/(^|\\.)open-meteo\\.com$\/i,\/(^|\\.)openfreemap\\.org$\/i,\/(^|\\.)openstreetmap\\.org$\/i,\/(^|\\.)cartocdn\\.com$\/i,\/(^|\\.)arcgisonline\\.com$\/i,\/(^|\\.)maplibre\\.org$\/i,\/(^|\\.)protomaps\\.com$\/i,\/(^|\\.)versatiles\\.org$\/i,\/(^|\\.)amazonaws\\.com$\/i,\/(^|\\.)raw\\.githubusercontent\\.com$\/i,\/(^|\\.)media\\.githubusercontent\\.com$\/i,\/(^|\\.)geoboundaries\\.org$\/i,\/(^|\\.)jsdelivr\\.net$\/i,\/(^|\\.)unpkg\\.com$\/i,\/(^|\\.)cdn[j]s\\.cloudflare\\.com$\/i,\/(^|\\.)googleapis\\.com$\/i,\/(^|\\.)gstatic\\.com$\/i];var C=[\/(^|\\.)amazonaws\\.com$\/i];var b=n.nexusLiveStrings?n.nexusLiveStrings:{};var A={label:b.label?b.label:\"Load the live map\",note:b.note?b.note:\"Imagery and feeds come from other services (NASA, USGS, OpenStreetMap) and load only when you ask.\"};var I=[\"experience\",\"external\",\"optional-content\",\"embeds\",\"media\"];var p=[],u=[],k=0;function j(){try{if(n.localStorage.getItem(y)===\"1\"){return true}}catch(e){}try{return n.sessionStorage.getItem(y)===\"1\"}catch(e){return false}}function S(){var e=n.nexusConsent;if(!e){return null}return typeof e.allows===\"function\"?e:null}function z(){var e=n.nexusConsent;if(!e){return false}if(typeof e.granted!==\"function\"){return false}for(var t=0;t<I.length;t++){try{if(e.granted(I[t])){return true}}catch(r){}}return false}function d(e){var t=S();if(t){try{return t.allows(e?e:\"maps\")===true}catch(r){return false}}return j()?true:z()}function D(e){try{var t=e?typeof e===\"string\"?e:e.url?e.url:e.href?e.href:String(e):\"\";var r=new URL(t,l.baseURI);if(r.protocol!==\"http:\"){if(r.protocol!==\"https:\"){return\"\"}}return r.origin===n.location.origin?\"\":r.hostname}catch(o){return\"\"}}function X(e){for(var t=0;t<C.length;t++){if(C[t].test(e)){return\"globe\"}}return\"maps\"}function f(e){var t=D(e);if(!t){return false}var r=false;for(var o=0;o<E.length;o++){if(E[o].test(t)){r=true;break}}if(!r){return false}if(d(X(t))){return false}k++;return true}var w=0;function c(){if(w){return}w=setTimeout(function(){w=0;L()},250)}function v(e){setTimeout(function(){try{e.dispatchEvent(new Event(\"error\"))}catch(t){}},0)}var N=n.fetch;if(N){n.fetch=function(e){if(f(e)){c();return Promise.reject(new TypeError(\"Blocked until the live map is loaded\"))}return N.apply(this,arguments)}}var g=n.XMLHttpRequest?n.XMLHttpRequest.prototype:null;if(g){var K=g.open,_=g.send;g.open=function(e,t){this.__nxLiveUrl=t;return K.apply(this,arguments)};g.send=function(){if(f(this.__nxLiveUrl)){c();v(this);return}return _.apply(this,arguments)}}var h=n.HTMLImageElement?Object.getOwnPropertyDescriptor(n.HTMLImageElement.prototype,\"src\"):null;if(h){if(h.set){Object.defineProperty(n.HTMLImageElement.prototype,\"src\",{configurable:true,enumerable:h.enumerable,get:h.get,set:function(e){if(f(e)){c();v(this);return}h.set.call(this,e)}})}}var O=n.Element?n.Element.prototype.setAttribute:null;if(O){n.Element.prototype.setAttribute=function(e,t){if(e===\"src\"){if(this.tagName===\"IMG\"){if(f(t)){c();v(this);return}}}return O.apply(this,arguments)}}function M(e){if(!e){return false}if(e.tagName===\"SCRIPT\"){return f(e.src)}if(e.tagName===\"LINK\"){return f(e.href)}return false}if(n.Node){var G=n.Node.prototype.appendChild,Y=n.Node.prototype.insertBefore;n.Node.prototype.appendChild=function(e){if(M(e)){c();v(e);return e}return G.apply(this,arguments)};n.Node.prototype.insertBefore=function(e){if(M(e)){c();v(e);return e}return Y.apply(this,arguments)}}var R='[data-nx-map=\"ctx-field\"],[data-nx-le],[data-nx-eo],[data-grx-globe],[data-grx-obs],.nx-sb[data-nx-sb]';function T(){var e=[l];var t=l.querySelectorAll(\"*\");for(var r=0;r<t.length;r++){if(t[r].shadowRoot){e.push(t[r].shadowRoot)}}return e}function B(){var e=S();if(e){if(typeof e.enable===\"function\"){try{e.enable(\"maps\",\"site\")}catch(t){}try{e.enable(\"globe\",\"site\")}catch(t){}m();return}}try{n.localStorage.setItem(y,\"1\")}catch(t){try{n.sessionStorage.setItem(y,\"1\")}catch(r){}}m()}function F(e,t){var r=e.createElement(\"button\");r.type=\"button\";r.textContent=A.label;r.setAttribute(\"style\",\"pointer-events:auto;min-height:44px;min-width:44px;padding:0 18px;cursor:pointer;font:inherit;font-weight:600;font-size:14px;line-height:1.2;border-radius:2px;border:1px solid var(--nx-border-strong,#8a8a8a);background:var(--nx-text-primary,#111);color:var(--nx-bg-canvas,#fff)\");var o=\"nx-live-note-\"+Math.floor(Math.random()*1e9);r.setAttribute(\"aria-describedby\",o);r.addEventListener(\"click\",B);r.addEventListener(\"focus\",function(){r.style.outline=\"2px solid var(--nx-focus,#4c9aff)\";r.style.outlineOffset=\"2px\"});r.addEventListener(\"blur\",function(){r.style.outline=\"\"});var a=e.createElement(\"span\");a.id=o;a.textContent=A.note;a.setAttribute(\"style\",\"pointer-events:none;font-size:12px;line-height:1.4;padding:3px 7px;border-radius:2px;background:var(--nx-bg-canvas,#fff);color:var(--nx-text-secondary,#333);border:1px solid var(--nx-border-hairline,#bbb);max-width:34em\");t.appendChild(r);t.appendChild(a)}function W(e){var t=e.ownerDocument;var r=t.createElement(\"div\");r.className=\"nx-live-gate\";r.setAttribute(\"style\",\"position:absolute;inset-block-start:10px;inset-inline-start:10px;z-index:6;display:flex;flex-direction:column;align-items:flex-start;gap:6px;max-width:calc(100% - 20px);pointer-events:none;font:inherit\");var o=S();var a=false;if(o){if(typeof o.placeholder===\"function\"){try{var s=t.createElement(\"div\");s.setAttribute(\"style\",\"pointer-events:auto\");r.appendChild(s);o.placeholder(s,\"maps\");a=s.childNodes.length>0;if(!a){r.removeChild(s)}}catch(i){a=false}}}if(!a){F(t,r)}return r}function L(){if(d(\"maps\")){return}var e=T();for(var t=0;t<e.length;t++){var r=e[t].querySelectorAll(R);for(var o=0;o<r.length;o++){var a=r[o];if(a.getAttribute(\"data-nx-live-gate\")){continue}if(a.closest(\".nx-live-gate\")){continue}var s=a.getBoundingClientRect();if(s.width<120){continue}var i=a.querySelector(\".le-stage,.eo-stage\");if(!i){if(a.hasAttribute(\"data-nx-le\")||a.hasAttribute(\"data-nx-eo\")){continue}i=a}a.setAttribute(\"data-nx-live-gate\",\"1\");var H=n.getComputedStyle(i);if(H.position===\"static\"){i.style.position=\"relative\"}var U=W(i);i.appendChild(U);u.push({host:a,wrap:U,stage:i})}}J()}function J(){for(var e=0;e<u.length;e++){var t=u[e].stage,r=t?t.querySelector(\".nx-wm-presets\"):null;var o=r?r.getBoundingClientRect():null;if(o?o.height>0:false){var a=Math.round(o.bottom-t.getBoundingClientRect().top+8)+\"px\";if(u[e].wrap.style.insetBlockStart!==a){u[e].wrap.style.insetBlockStart=a}}}}function Q(){for(var e=0;e<u.length;e++){try{u[e].wrap.remove()}catch(t){}try{u[e].host.removeAttribute(\"data-nx-live-gate\")}catch(t){}}u=[]}function V(e,t,r){p.push({name:e,selector:t,fn:r});if(x){try{r(\"on\")}catch(o){}}}function Z(e){for(var t=0;t<p.length;t++){try{p[t].fn(e)}catch(r){}}}function ee(){var e=[],t=T();for(var r=0;r<t.length;r++){var o=t[r].querySelectorAll(R);for(var a=0;a<o.length;a++){var s=false;for(var i=0;i<p.length;i++){try{if(o[a].matches(p[i].selector)){s=true;break}}catch(H){}}if(!s){e.push(o[a])}}}return e}function te(e){if(k===0){return}if(ee().length===0){return}var t=e?\"on\":\"off\";try{if(n.sessionStorage.getItem($)===t){return}n.sessionStorage.setItem($,t)}catch(r){return}n.location.reload()}var x=d(\"maps\");function m(){var e=d(\"maps\");if(e===x){if(!e){c()}return}x=e;if(e){Q()}Z(e?\"on\":\"off\");if(!e){c()}try{l.dispatchEvent(new CustomEvent(\"nexus:live-map\",{detail:{granted:e}}))}catch(t){}te(e)}function q(){L();if(n.MutationObserver){var e=new n.MutationObserver(function(){if(x){return}c()});e.observe(l.documentElement,{childList:true,subtree:true});setTimeout(function(){e.disconnect()},2e4)}}if(l.readyState===\"loading\"){l.addEventListener(\"DOMContentLoaded\",q)}else{q()}n.addEventListener(\"load\",function(){setTimeout(L,400)});l.addEventListener(\"nexus-consent:ready\",m);l.addEventListener(\"nexus-consent:change\",m);var P=0;var re=setInterval(function(){P++;m();if(P>40){clearInterval(re)}},400);n.NXLive={allowed:d,blocked:f,grant:B,register:V,hosts:E.length}})();<\/script><style>.pix-dark-mode-switch, .bx-color-mode-toggle, .color-switcher, .page-headline { display: none !important; }<\/style><script type=\"text\/x-nexus\" class=\"_iub_cs_skip\" id=\"nxe-pe-nx-pe-iso31000\" data-nx-z=\"1\">xVldcuS2Eb5KF15Nj3b1s3Fmn2TtTxRrJUWrqlSytQ8YsoeEhwRoABxqopob5AC+id9zlJwk1Q2A5Egj2U4lpSfiv4Hur79ugPfC5RU2UsyFxrvOzVprcnTu29LKtjp4LTKBzkuPYi7K3CqRidrksqY6apEJ563SpRPze9HWciPm4rqWG\/CmsyITrewcDb3mbyYsuq6hhptQoPmmFXPxmT5Uw1DDVPte5qvYAgsq8yLowxroRSaWimofFJX\/YUxzrsVc\/N2YBpSOTVedT22mo3GuRSxoXf5mIjfaK93R1s5SMRNeLq7WaNcKezEXQ5E7PpKCxFyELzfRJl3crAtNt6rBWmladyhyx6n1ailzT+PHMnfdmBqpOXzjylIX0hZh9VQOXaazOY9PpUxo42860sKl8WA70sJPHXZ84r+EQiaUvramtOho7rmGNtUy0UvllS7FXPw1lGBpLMi2tWYta5GJUnpe7DSOhAJz5ZQhSYXh474zfNRFbfIVj\/0+lkhy2\/kglQuZ8BXSdm8rxpTpNVoSXhmIarG4RIs6D9hJ5UzgWhWx+X0qZqK1pkXrFavleqzQ5nLHm8u7BrWXPuzZtCz\/qmX5uWk3F0qvGAztBmqlV+AN+Eo5cAGbuWkVH4sGQqxlwnb6wpQJsPd6C2YJ9954WW\/hX7\/AfS01hpJXvsYt45cmfDj\/SONnIhOV0gTXM2\/rg3\/\/82f4BlxuTV3THgjNbOGCD0cSXITbj6azGskF\/xxLmdiY7tTin9CShv5mOpAWoaJqRg5PYi7xzs8n23Fd00hLy9zzylHAsHtukCWGFkKC2wJ\/uCEhwW0HUIQOi7mxhdtCLBCVYImalRgKmcCixHfSEx\/RB6QuAEfDUvdHsybkjWCkxhtckg4RCyIJnmYnMFkpXcycl9YHB7I+NQb5V53PTTOMLKSXgWPexVJagl1s8LXU3JgCazEXn\/gbGyOTjnTGrV661YOmMtDrR\/qkDSR3mot3o2dxl7QeiSzYEUiRqSOo9VGzzL0hZzrl77i30sqGqfh6KI96YoKZcE3qyutI6Gd1ZPSgxDu0ueKO96mYZpimNRoDoIdyJhqlVSPbCa1CI1vyFl8hlJFU+XshF6zdCNE5RM2GUTM4tdb0sMKNg8asERboe0QNudEac49FAPBbeK89WnBYY+7dW7gGiljuLXxOAz7AUnlHLugqY30eWOoH3CyMtAWMjYExLpTzkTVAOqipSq6ZCPzSgKUiO52WDRbMo0wj6Qwb9DOeNKX4SwPJCCOMwzLBys+uNA0tt9MRtAUH2iQPpOFoLcPjzHR1Adp4qI0sdlaeAZ+Q7EJHhDVaAuSMA8UaOUqskciLeFEmPj6TEzouujyRcShyyKUcwIWQG4oU82WJAXklzzVO+eAJT1Bqz8L70Ny7LQvE9eeQSlxbXCvTDbxNpBe7iPhSc4PMOb+X8QjlzLg\/MNvKheFE45S+QYdLVXbMto1hDv5kuFYHZrgI8Zb6ImdT6zdBlbSJq+X+g4ttJtgdqFsu0W++za3yKpc1OLP0PWEFdak0IiVoc7hRbgWN1LJEinzJuGPccGL+5V4ocnvlzNHrV69eif+dENzgwhpKo84\/XwGvPj989fo7hkwbLbzbBQ69o3wNpAbl0Uqv1gh2v4wMltY04HLTYka+78m8FAhoz2iVBF9Z05UVSOfQOZ5M\/d6i9FzzBhqjlTd0mgwIOtjHYNIaS5lOcDGvGOJXnaeMjuwiNeCdR6tJN8l3jYUGfWWKuDnlHbTdolY5hEjiZnDuoUCXW7VAB30lPTva0soGe2NX4OTGZeyYMvptELehxC5MN+zVnvipB09LXFIuT+JpXCut12ihRbs0tnEZ5JQPLRWGIRxJiV4Y9jM4ZWyDSi2JlNNRNK7RgoxCUlY4C5kMgX3+esID96KO\/E28ZdNiiZOwZisOR6TrSNHVnCWrfEWgFB9IGSITp2w3kYlbspjIxA0bSHzdZoL9dETwBd1cWCDvJm0hrLTN0qjDcdThOIpRPIJkMv5oHH80jr9NAJqMPB5HHo8jT3NrnJsqYDLlZJxyMtlMsPkIQrH9OuR\/6bi5vxNBB+nsFHzFXBRD\/jI48tMOMvJgCO\/wZna0kxDeJmTG6DOcYs6V6HtUHHyB1lc6VqLQLLhdFX05iZ\/BheQAzeQbgp0sQJZSaZfolKQT1Bam2PD5\/aalYxWUdymPTdCKR9tw8rRUmu4nw\/boDsC54njE2SEbIU55\/9zO980+ms4eBO6cbN+0Y7H9SpaUS08WT5ZsKEeLZ5pmsAkOgZMYA+madG3Nj5h7CPWdu9LofI9Yt7K8o8r71s0PDvq+nylnZsaWB4m\/Dt6cvPnj8azyTS22A05VMYHa4Qi1kesT1NiPKHcnssnTXeshxI5nh49BpqzzTFzEF3bXH2chzCgHnetkXW8A71q6uWIBi00YHek1g9Z4ki9rwHXgGV+hsmRQhz91MbHSBdRqhbWqjCkIXskqwbOSl+XP24YzmpoSzhhpKBt4QUtJvd9STbym7NhJallvnHJ7LfSYBhzmRhdPm+jcs4pVgdY9p+wUDxJMsOC1XAa98hWUnSr41WQIEBTCulruGEkV4uW0jOvf5Q+4lnX3tC8cP9J0LZ91BSTIuaTGZEWmT7p7SYtFUOUjvqV0xyFCT+8BQDkovbYoo8m1NGKBu64g9Qtq2duJlo9+VctDTrdHySe7Kh6yP8NpaFBduCRiwXSh6aIYO1qLQaccHpo2pC9YsCVU0ck6KFk5KOIjUxxcUpq2k2HGoE6E\/ttD2mfeGVkpwcE\/PMHjcHOyG+Ou+RBpB8Mphrg1rsgH37fe0f7wxc6Q9k\/vOCM78qIvSYdM3wlCx89B6Mw0TadjyAopUqD2p\/z2kG6Gsja6JMbbwdfzawXXdF6usDI1k6VyfE8wvX6YJM+AmTfdLgorexo7CmYfN75CG+lSaUjEOxMvpvjG\/lbFf9rnG3v0\/eZpfe9dAkjBBOYcQXpKBewm3OlncIk9JRBoFWkgg5U2fU1vijx\/INRcal7M4eTOEvjSJbN6a2o35cwpeT2b1E2o4yVdxOLUR05GU9n0pjiwLDeMWo7X4z22+gPZ6lznHOFHk+4GuYR05qNw66cH2cC5D4g0CCPK3XWHdA2mZy7oK37mQkU3Ww59PIs8gmrhIdPxDWMnyJGpfp3L4vaeNdX46vVFPDz+1\/+bJb9mgn5X8A85Nz4pfnlKxsMnmww+DinXfyGfruL8TDoVRM3\/AQ==<\/script><script type=\"text\/x-nexus\" class=\"_iub_cs_skip\" id=\"nxe-pe-engine\" data-nx-run=\"process-explorer\" data-nx-src=\"nexus-embed-process-explorer.e8407477068a.js\" data-nx-sri=\"sha256-6EB0dwaKF89NuDiF5lJyRnuBhgYAawgz7AjANKCOS\/A=\"><\/script><script type=\"text\/x-nexus\" class=\"_iub_cs_skip\" id=\"nxe-sm-tab\" data-nx-z=\"1\" data-label=\"3D matrix\" data-play=\"Play tour\" data-nx-asset=\"sm-tab.4da905625552.txt\" data-nx-sri=\"sha256-TakFYlVSHgjnE4HEGjWAuVX45aqTVOpkLoe0hGXiTFs=\"><\/script><script type=\"text\/x-nexus\" class=\"_iub_cs_skip\" id=\"nxe-sm-engine\" data-nx-run=\"system-matrix\" data-nx-src=\"nexus-embed-system-matrix.7a43431dfd16.js\" data-nx-sri=\"sha256-ekNDHf0WhuEJyQCSN001VVl6SIhMa4ZibSYMDX1nl2A=\"><\/script><script type=\"application\/json\" class=\"_iub_cs_skip\" id=\"nxe-assets\">{\"nxe-es-code\":{\"f\":\"es-code.d470dc7571c5.txt\",\"s\":\"sha256-1HDcdXHFCxvm20tlR9FHTN8XvrJhNFlbW03tKxwWJ8I=\",\"a\":\"\"},\"nxe-gl-base-od\":{\"f\":\"gl-base-od.e0622a96e899.txt\",\"s\":\"sha256-4GIqluiZJntyAGfMYGNoAXwwxMKhdab+7YEFBoLlZ5o=\",\"a\":\" data-nx-pack=\\\"deflate\\\"\"},\"nxe-map-context\":{\"f\":\"map-context.a965226720a1.txt\",\"s\":\"sha256-qWUiZyChbKiTtLWpFCZROVpB5QISXNBKfepOJ+zOkWA=\",\"a\":\" data-nx-pack=\\\"deflate\\\"\"},\"nxe-map-pool\":{\"f\":\"map-pool.c31dae84875a.txt\",\"s\":\"sha256-wx2uhIda8fEz4BK1sUQO7edPcs22Bvn4FE0NpYLDyEo=\",\"a\":\" data-nx-pack=\\\"deflate\\\"\"},\"nxe-ml-src-code\":{\"f\":\"ml-src-code.5a99eb24c979.txt\",\"s\":\"sha256-WpnrJMl5+Rt6GCPchYzz9V8Fw\/mt0BVdtedF3t\/o0+o=\",\"a\":\"\"},\"nxe-xt-code\":{\"f\":\"xt-code.371023489e89.txt\",\"s\":\"sha256-NxAjSJ6JoGGZsXu22d+kvA4nR9AJ6Njy+\/Xy2FIyELw=\",\"a\":\"\"}}<\/script><script type=\"text\/x-nexus\" class=\"_iub_cs_skip\" id=\"nxe-mount\" data-nx-run=\"mount\">1b39V9u4EjD8rwTdfQ7WxjEJ2\/buxog8QKGwC6VLaLfdNJfj2Eri4tiurXyR5H9\/zkiyLTt2oHvvec95f2iJbX2ORjOj+ZI2nPo2cwNfe49XMyuqnRN\/6nn6lKw2ZvKt5mriY0CcwJ5OqM+MEWXnHoWfp8srR0P+gjasOKYsRth0h9pegFcRZdPIX202LFrKh9rv3dv3RmhFMdUCg9EFOwt8Rn2G1+vVZmNbzB5rc6XqJh3EBy3AK3eoTXtBPylQg4cNDG1OXA33gj7ve95h0ZS22TKkwbA2d30nmBsPD\/7iBEa4RwhKWkVpSx+iYOLG1IjoN2ozzafz2nkUBRFMrRE47Zof1PgEa8MgqqF6gDHveEmK7WtzY6jPjRgbbEx9LYXwXdLX\/lFsR27Iaq5D0H49qO+j\/bo2N6z1GiFcR8eofldHR18PRLFjtMEmTJQszaVok69R2jBeOdSjjApoYFPOaJnB7l7CLsimq3VZ5PojLZnHnNwOYObGI13GmqthsYxzw6P+iI3\/AZxc36ELhPGmUNPyPG1uTKwwA81SGdcSl89RFEBogze4CNqs\/tL4Fri+hhDe4I071LZx4D4IvPiDNaIFPCgrQu4zGN4o0LOjZcgCI54OmEcNxx3RmGmoe3nSOHz9BukAlHu6YOe+HTg00rBB+S8AdmHkKa7XBiyw5KIYwyiYnI2t6CxwqGGFobcU4ICGP7o++\/UkiqylNscYppkO0YYhisUM1mtt52YdBAFDsOtGlJ0wFrmDKaPtMnhvsKGW0ZBjMasROFAbIcCS83QS5xuOND+ELQJ8KN1P92KAC9YAmKGSbQTlvpM7g2PY7VDbh42k1tnH+hlpHn\/vNFrtrBg6Rvp3XG\/pMTk7bnayDyVQ1940sX6G240WTPDsmMR4xcZRMK+VziG0ll5gOShF9jsj9lybamd6jDfYPCfLKmpQu9HuinP8znfr9z1C5tXdJnDjYDvLSLMdUYtRueAaEkQEYfPMsD0rjt9bE0rQgzsdPNjxQ\/zohsg8U0mxStCu\/KFnMardYTNtf0wtB5CS+s7Z2PUc7SwlOUB2N3y+5XtYcJeMRJ2Xb9Fb\/y2dWL5TvUOTEsQub+EmmPqsujr\/TN5vNljbZoDvO++NMKIzN5jGEopdd+C5\/qgNo+dk8Xy93js3LMYse9wdW04wX6\/PjZj\/ugsCliwuX5spOTeGbhQnm5BDjTczzZVzSb5JbTUJHNpGQUh94AFuDupTbEKlD2Ratj39RcOOJS\/+gFdTI6KTYEYriwGLhubuybR8rPede4NZI8AegGv3\/sv1OWrDguPVfTXysaVHETanhuvHNGKndBhEVLvXZS+8eby5fw7\/PmApGzgwl7hqvo2YWYwiHQ0tzxtY9iPCGw7aGzI1vk9ptOxSj9osiE48T0O9pOpTH2FzGEQalLVJ07SPbiTjM+16PZF+bnp2X5+ToALgTwibQTWgnySYAwmLE+ebZVOfXd7fXIMwJIBLCEEXV+8+3p2jDrKGjEYDOnJ91EYDDjvqO0gvgdAcKyAKKkD0VAmg5TMAGvYFLi1TeQBq3ZF0+zjizYQ4VdAZIqyfVn+OJT9xdkBwiPDO7xLhXyb4OT8AJEmwNluy3kQ\/LRLvK2i6ZImd\/3aJr7BAIMdw3DiEtT6fwS4D1nA2jVkwEc\/IX7SH7mga0UZELWeJ9NVgOhh4NG4LAo1N2fp2O7KFiMbuE0UpTv2OVyAHlAufP4JseAMLJLu\/8hmNYsobuh3ENJrRKOHuMJiy75qKccmWnZCmOTlyki07gS3rDjWnN+kbbpw144\/w6rsx9QPRmCjArGhEGTbvco+bzUZfRUHAbqxo5Ppt9KbZDBc1+Jf+AqKcDOGMNM2zo2R7mGcwhO9G0tGyd9bHmw31YpoOOiZNM85qxFDjTlv2Yii5GWg4O4AN5AHMIavQo4v2amhNXM+lcbuHrk5vah88uqh1LT9GevZ8E\/gB6m82poAQgpqIP8AuhKesgyuNiR58MrS8mAo8S4j6MPBZbAyD6Nyyx9kCUA5keY6gBh\/TEhsRDT3LptpBD+33D0Y6QpgQwvDKJxz9NglSUXjFu0ukJj+TZX\/XsuVlpGmyo1MjmXUCMibXee9Kyz72WB+nspVofaOKJ2kPf2m88u8aruApQEaQPgHuVU5yAC4ZbShtgxfRUbyMGZ0gfiTJg1WA\/Q9WzsahiODQ67XcNO8\/P1zcvr9\/OOt2E\/n74D9jxsK4\/fXg68GBweAw8gfDnb20pxxl15Dn+o8paeejIPuoPqmj\/T7C4uy897uG2xx6YoAhI\/+oNRheyPAqZIblOJy6XLsxoz6FmiAy639xqOyFEgMZq5QmoCdgosyIqEeEcBGPKWUI3o0jOiR\/MPhZTpD42PiCsurRKITtL02ResUe4PRUkMG\/QM6tFooZkBBoQV1xXr0LVBF4gB1MQji3Ay\/a1Q2nGnL1XzDsnW3pq8C3qeQD29i41f5Wc+UDcP2RE\/iULyaXJ94mUtwEtvoNdVyrs\/VGQ1oY0SGN4kZEnalNncYkgFm0a+IZIyyK03i9Ttg6sMQucz2PqPy8k75OEZfPksvZb6ulRtEh0hEURsph+jPTmO4LnKSEddziMRp0Vm7J2bqB6gxnRwVaIEYJUYsIBUUY9ZP6ZmRGJMq\/4xQqUgWHt+f3J1fXXVBcGXAwkDQ1adUi1LRMi1gl7WiWMXYdh\/odq0BrogCkdGieWYPQ8qmHJAw7p0HgUcvXLMN1chTBI26REvSgHbLPrMF+v2dFrtWwA59FgccpArSQEQUPrzzD9lz7UQN290g1qvv5gyQXuhlp6n\/yY2PGrbpU8kO2PQbDXzT4ub4Rs8gNU8IUh8s+ytrvcK3ImedSn91Rm8Uallylw\/ja8f8UdsTSLqF3vrLpKa\/R2gjeKTEcWg4m4ZRRpws0SmNYp4RrPS+8wGKab7AgTAaj+UYYxC50AysQM9d+XKKOG1+4vsuoRnHnxmJjY2IttKZOcbvZbuI6H\/9pMPVh72Xz0LAxpu5ozLKhP9CMucM0YOz+MWmmeClOn7kBVk\/EiO0o8DwhFd1ns6ip46XtZtb\/GaxWwOqkZYqF3PTQfEypB5sumNrjmFkRMMlHunSCuY\/626IGw5UEkGW0z+do\/mfHN4BUgLifNCmY2sF\/tJMoCuZr0O2tL4MJXZ\/7zrqGJdP0QfmZIjmM25wzQE99FVpx7M5SwqnIZo9U0AkxQwHJgOkReWsxavjBXMO6RRot3SNNPSRNfcG3rPknYbz1rKVxqnWrpUQ3+SH3sYT+JV\/ihgSJ6\/s0uiys+lBINwCFgjpiRKpxhwVhg+OL3k2QWfT4BbBmgVcLKR9apAtvOGJag1gb4ePDdI1ElftAW7EgbHfrI92jQ9Zu6gM6tmZuELX9ztsOsqYsQG0UT4KAjVFbPG\/wJqbs3p3QYMq0od46bKYSlkfS\/roNCx+1Ol691W7ywcDMLsjo+LDTPSZjDTda7dFR47DTPSJNsaKc6hyTw05u0J29C\/E5WfYXzyEZr+mRphmSJufTNdkJXoV10gIGGx6T1iuBfxlGNKLj3+gveMURQM4uN+3fmngz1IRub8RIr5+hCdQpiMYjlhOJR6zH+oC3bgm75jRXERhS2sDk0cewvSCmMZDI\/AsNWT0Qsv5D9v8FZDzjcX6KYO5Q+8w0h4Ia9uPdFVCPwOeHywLLgYYQllrSFsY6VyXhFeO6N+qzt3RoTT2+\/ZQ98qdCh8XBQ66XF9gWlDDGVjzmhhQhGf+rd9L422o89Xtf543+zz\/Jrc4wXgGHTwegi+XfbCoFLWjYHlv+iCL9T4ZNZb3+ZHpTGeR1JX\/iWhVgUfJU2wC5EWHd5+dInzRN\/yhdSz\/RPFHCen5fB4nBB7NCTimpWyRF76gTCSUvjNoA5mu5fsyFkqTDQeAsUYGR0yp6oIckqvpmWsQz5q7DxsfNTmjA7jgmnhFxytTqhEBLjjxjEDAWTDqhZEvHnvxRf\/Wruu\/E\/4A+Fl7RClmNs0YEB0ohE9NqVZAoCpIFTPFv2CbZaRpwyPaoFSXr9zfD5t+MKCt6TTnl2UBZsxIlpJpEH7AdhYSADkXSEXyn6rYrV4h51tMSgdzADNcxWfVURUFTyJQ7bT5QsoHqVBS2SNTJ7DNx4M0oiJqKTbatlRnFOmUvCx20dxp+oBg3mwBoaITwllnMk6dO4m0beXgn+3UKZlOsL0jzOAQ7j5ez84Rg5xmTxXGz4z1r51kkdp7FMRmXG1zSIW9ZejxJQhb6GOQCa3sm\/6XR0NuCTshZ+z8wGIYY4z1C\/F1zTM1KTAoW9zfXZSp5T2DRgrBdimNmDWJVuT4mTXN8tEhI3BhI3E9MW\/TGfWz6VPzgDgM\/qqIcchVllZJSEDpWdlrwAziCp2cS1RKB7sduXJu5dM5RNa4BnGsMXsYuozXLd2p2MPWcmh8wXqT2bRqzmh\/MDTCcZuLYT0zd8SUAU45OfNcDx09Pik0zOvITmEVS6+X3on7GmosQFyo3aoTTeMyLgjgAx9GCQT8boqXN9JNMsrgmTfP6KCluXifM6IHQ3nWfEDIz4UeBVPNTX8xnRh2kP3TEubqNOH1HWNRh1uAK9iR56DRh60G7H8nWYZqXHW23n5wqkXBS+IhXH+XJluw9wJuHzkeQAyqJZcL+vlPtI\/CIUo2RZTN3RpE+KyPQj3Qp7BXYZC9QxzNrUKKF\/ydofk7xChbyBK9mxjCwp7G2khJTl4usyRFlI3l7r5lhUgiSaramocQk2gtL4Zyuo1ANcAXJCpoM+xte53npcoZXljYz7GkE2oh7Lk8mohYgQ2kjyakt1wyM\/4RwOmaEUcACOOMJ2mvY4FMi2do1OUkJfqFjUeCBJHLrDM57MDV+KrwDsQSt1\/m3b2EgePVATnradb2F\/8+JhF5\/s9XCNR1uN\/AxTKs3WvWkdlU7cCiV5Zv5L+e+Iz8kNRstXuIBMKEoNJuW9iBEaiBD7GUrJUA8K54DZlvngEyrwjEkdxY4yR02YTXK5RtRVWEND6RpPmTI+ZAi50O\/cgcSQq4Bw6BQKsFvYE+WbGhpDJOInEljC5g7DH0mjmkzwx5b0QnTmsAs0b9QQYMnwLRFrUoOPbPsfIPzwCkoA6uJ7T8lig+dB0LIiZjRQ3YWOEmJn8WbklDLKd42uTG6\/2PkqThEnuDVQjspPSXyIyCIZ6WHPcxpkjF0PaaaB2cpqGcvpG0b3Gv212tvY2leAhYhsyjMeAgniT1C0rUaJms1Klur4UvWaoRXY8GoRwJNRgXuxaxB4k23GhVQO\/2mo2Z64Omq550LDa\/ghTvUDo\/HqZqTm3mYEQyHMWUfuLY43brM4MYVY+L6QrFEkDAdzsg477r3V6bf\/otKLrzB+gkMQEXuPULGOfR2h9oYUHkXn8YrgJTrT7OdwqmE2hinE2MgElIEgK\/XmxOSKk1P9GSWYi44bewjaZof1cY+isY+po3Neh+Fg+k5FQ1GcBTWtG3V23r9W7OJfzZ+40t4ctwEXUYRimJMrq+d6OnwzmlxfLiOwLjM+72Vp\/tnz6CKsOsOtdvOXjfZ6F31YHuht9408zqVz7JKuvq3QkN5oXEL0bPG+qcXGOtnmWAJqHGyR8gsAfqJRIdZ72TbXP8EopEd+L5QOnzO9GVFA33rMLXQZz9BP\/eUmuEZTpV0clYR\/T6lMTvx3QmnKBeRNcmUgKVftc9S\/fAZdFOZjy0\/06ePyaEj2nE+Gnvq0cgiTdM6ihKoWACVqGf1K07+Yw+p3VMtwitfS4\/2BduSEAYjw6aex0VvU8iDzIiCeZyOYUGa5uIoTMawkCsT9hZ9XjXueX28yj2Wcdox6PY916d8iLmjnyUq5g6A8l1v\/GxjUWUBaAGVSzph4AJKBTMaKdtEIi+AqsCyoi2WxRyFUYGCSrOwEDO2e+Myuev\/f9CTnJdHLTim+EJZ\/FhpPXfcGcLmY4VujblhJhoVC3H7IFhrAg\/KQQFJHzmhmOYs348KaWF8UzzmD9WofBC2FTnQCY0mUp3lk14PibEJv169VFnGbIT7elqSQTGlQ+WTU9WCg3A\/4\/GUNE2aHbhp4mbi92i\/1+orXKmgdCt6P4aWDzZHxfGWN9HsmzlFG5ENm485QEZiRa3n2rdUx1450yGSW\/6Zunl9h1YOnUd51K1XfI+EEOVE1pChDqp9XZz+u8af9Jrr1+gipBGrgUstnaM2kqsbVo5tgLAZ5gZW3m8M3ipVX+qo9nV62Prt36iN3tPFNK51meU7VuTEyQfTysHbw4UXIS6siKVgvmDLgmhOK5XkgvCxnd+HXP4YssaC\/4GdP6w\/SpHgL65hXwhNe+NXvBqS5CFXpPGrNO6Npcq9sQANfP1XaC55l7YqBI16683xtiCDV9AIWAJ5C418ncavm0cp1sBgMynrV30o5BYz+c6CkIyEKJOxKW4t1YXrGFjQ\/84Y+mMFp+OEASCfw4iylYieWQmL+I2Ij7veeiU3CG1EHFCtN5zkFgAfZYDPKhcg33pVCRKrBCReASR\/a0AhFXqafbqiOR+UMlSXWirhOytgUL5LPTqjnnSyxUYcei7T0BolgNky0IlK3ONKrXLwNa4fZEIL2D69IyshlV5yGAqJxWUD0U1DOoL1mqA4lHanBXk\/nQxopIVAU9OdssunJDn4gzsJlb4kcgd1xip6GCxyJxpu0+RcO6yjdg3Vtai36K\/XiAOjhuoLnBx2kbIiNznzTGYOLeg\/mBv29VovBVS5SbTGXR5AX1t21OHsNI13o17b12Ea7dLV4IU30lvDr9L99pTlls42ihMSH81Wd1fC\/Ua0\/ZNUkFWLHLBL\/6kJGVTu0ISEoa1CTThw+HuE\/IRXPxHfZFTzE0vLRo5LTB\/WKHXdlVNUaAmlGuUIoUPfQAY+p7++YBFM8YxApRyoZM9\/a1U1tzWWwuWKpdq72LZC0OwpTVW0tS1A\/i\/hm0LVVLR09CUtZ0iP8u5tCtgTx7YqIsyXpQqzdUmaJc09ONQjybfwLlAFU4b0vxWh06e7bS0AIY+OqO\/UjmsgB8kd09drFZ9YQmhouQlp6FLPkVstERvX62zXSbjkvdgsLaGDLyPsY0IrT5KS\/OS1VEfjEh1V5isAhsCp5wG718bbiqqd9D\/VsC\/qqIHqEch\/De7uArosaKxEwHfcSeZnyU\/QvGQ504fCyuER9FfdTCTvpjawbqkGyQOiyj+WmKfCiMYxWKcSEHSkKwmvUAYFLt\/KQhHGqTVrkw1QMEI\/xwj97eOxPEkNpoxBEIrJi6TmsKZZUiU\/Zl6gjJEgvGVr42WfV94u8CrUFgVTyaay+jatW\/C1WGSWCkYjtF6nL2oIrxbbJoqSTlWTaZi2Wz5dgdGwK8q+0yiyXL8RDIdiX45xpbtIrmziWVIWD6CUy\/yFczvOz+04jqDDfuX4\/e2Nkl\/scXFJE2lFyvqLCmw1owxbCSGjDvdoleLWCIxD5ZqSxFJpiSLpUtzlKKoiZ5mJLMK9tLWD3len3\/vq6Eb\/54OC5JHwBjj9CpFTjifKIkZ0ES4iaqYOpRbOteERLUoESwPhXqsv6JOEvJA+o8wbREdgxpFW5gXxpU2mqVNRJhE9kw\/ydT3RxCUiZp56j7QLAZFbcmGw4MJdUH6CBDEXr27JbTarr6dah2hfndUvG1zXOntfHYxhonrmRHKbwboLDcMRkCT0eUgupCo4VR+3dO2iMcQHoHLmw\/tMWg3+NQzmWqtxq\/8COiP1wLSojzTr58+4PoYx3h61AKhl6s2u3AP56j6gXkVxHrxa7usm2FMYBTaNY9cfSR77GLqx+MUiy6biJ+ei4ueEssi1RWUbgnX76XvwFxJO\/Z0dmmnVwS2iL1BQs0xBXeaGx0+rPX9bP51TBQlHPSk5maVExM1iDWAWpcSLzxgIxB14U28iqoSsUe6OzMYRjceB57SNw9dKFNoSHN2W7MhNR7\/kHqERTXXgLust2VYw2glUPFErnojoKtY7Yf1nJqKooU+fkb3yxj9JPp7xdRHU4iX2Vu4Ss9vPFCeKVWFwW4GE04Z6ukSNtrWpcpUR1Cc9hITE7zX7UtH+PnCoalJ+EuOekSe1ADfoC9dioV+YyTMJfwJDvvh4ndMjNHX1ff2p0n2bKydmuz8fvlLXawwDdYfaEyEkdVXbeOSJb7EnvArVETVTdjcjTXOWGaxnqbF+Bshiy2CGJ7zibwDIZYxOcv9sR6j1q8K8i3UWWtpHwr3TPrcYfq7bQn\/VIfJJeTUfjXSw\/zOjG0+kaT5lMHlKYfKkwuRPvBprfypWLAHOdLEhRENv4vrhK\/1EJONJ3e8UJV09751\/TF4WMXC409tCmES5w0UCkx2BAtz16ojM8OokVyc1sV13Ph5tj\/xn401CnAv1NmPtRHq8y2OKwhQFCR7BaYXbHHZa6JSje9oUnN03mxET+767w2FXQAzp3WLYx\/NG2C5+UXjzRTVD6qrEvdfUW32FvN+SpnmbLdotLNpFStlp7zZbuJJTat7nfL1WywuSJwd+x2eTH\/JnPuT8F4Di54yxlPTJz69MoYB405VRDRYtFRiYNfBoqtCaWCxyF+rJ9hwY1Tk7slIonHNGdU81i\/bOgbPx8+IucaTEL9WDZj121E35n8ekb2qX9TwmvFPlTxGZ9pLxg2NanDC6CyGHQBQI30FX3VsppeNUJm01FYcoGNMDOwqyXcqSbXrGSEB7D6xfNoRICk5cc6POMoYWY3Z0ls4yTlt0KTljvZiVnoBFU0JkcWnHpUcXacCMrKUqsKXzIa0Mf9gRoZeM9RHG+siOvHT2j3ysp1TzaO8xWYYpI8gH845BJwPqgPfvhKKMctxmsRjlAczJmGhjHIDfs+6r8ogwBbKcKVCa9Xu0r2R8Wa\/hRWp9L90KQvTwpeQBvgvtSPcXlIsc2yHwMZelcpH4W8S95JTKAaCzxGHUB79oPhUwveofYEbw+OkHI3TtwAuiRmxD8+2aY0WPONEDcicfRkRAVAb6KR9\/4lgGigBeoPOp8ymJ6u0gaAi1kcedL9O\/SiDbd+45fQ0WHy6UMSxalBbiqYyurAKRWRVMIuHk48oSE2FyFnI6zx4ymDrOcoGSEVAl2EYIDxoP4eRz6oi5iFba\/J34jXP1LMfJVcrKtdUG5GGhZGsO5ECFY3\/pXJIiMFk15BtigYSWIh0Azn0sjFPOv8HHKOCHTc7tq2pJqJRVVF1n+BJzdJerCrt2pzkeLOawqXbuAGkP42Vht1UQI16+wYLRyKO1VDO3wy2He+XsVCxCgZK1EgsFrvlbih2O5vm0G8+5lQPVa8vJrhzKLNdri5RRbLNJHca9ZP\/\/IU4u0MUfRHGk9LosiKwRR64rRifaNKUdDK9ELRAO\/oAdIPZnh\/8WGMt\/ilBONY7yj+ycdFkepa2CXXLIq1zyp3v+qTsO5r7wVkx113tXDK+KruAyaFg4g++i9ZKSzV0gQZFeM2xv0Nh6KVFWvOErp9eM0JVIDM\/yG8I5S03i9AdOlVEAng9L8L2JQ88C52Ofp0lA7iQMImbxQ4VgZA6tzLDBV5qLbTRK2OU4TdWRQuWy46RM+TLnoHP5o2MyL9Nl37vs7F2xzp5D83GyPK1WRQD+mEZB7ZhrbKTjMWhtIF1CmVhqU5\/u\/tpwwV+2skxkTXiXoJOoKEOLg+HRywyvblhZriY1LZO+f+S4sxonasK\/RkXcGrdPo1EUTENU42TAswaQnuQkDKkVWb5Na8FQBA2F1oii4yNBY2qAtSQxBdRSApFssppKU4gkFMfX8O3o64Go9nxbfJOWN\/XWih5\/oCW+x8tb6vL0NkpbXw8cd3a8D3h0w57f\/Pzwcdm5YhXomyLjZSFPZ0ogSJox4pIWD493bGe6CMlc9wqCRdVmLJCPth8wrfCuMQkGrgfZSxL9eKfyJJ1JUBGhHZpG1ApfkqPWYbOzlYXBx7mMEUPQPaPtaFpu5eMEqcRnMohZAxAfFCnQEw9kKqESDZCE1NJcUWFT19OoCPatt94IL5dUb1zhsJo1gjebuxcF1t7l46zvmN56DSpvnmVUQQTAptPIdUY0jyDZe4FJ6aKW2D4ydtrgEy0zvwsu20l+GJzbptZ1kjFITpkVuS575ttIiPVlTDhOmTD4Y6SJsjb3DDwhRM6ey85lQobzGyXRvFwqO0igwuX\/OBOA2Oi9lDwUfF+UnQTWoUpRyHwBGGgChkiAgSYc83Tnfj5NpsOqdWPlkUmOsFAmgmqSZWvPZ529vZykq\/LCL6RCCNYvfmwEqUAPnX5RovgFbgZjl3NC9cs8bKgfsc+I+plLLOLkBlbi3JErxZkLlmLrei0eRAlo7YKl5Ur7lcJSGJX0XiL7V42htG1gNT5zLR4uU2g7kceKAFFOW4W+hKzFyB\/rtfhgnu46RjucAGmOPEzcVmd02H2KsEGbYbOj21SVYIM245b1bLb7LCGL7DpNOFvHiSKBvAxidh+E1SnhqkTMQlYUpS1BcbhpFPKT6DPI1PSBKd6Y7ylRI7CZkhHH5HXMZ\/Uy\/5qHljNx\/YEV6TXYVrXj2s\/Zr+0n8UbMQ6\/1+Cb8mYhncNZznfRJWZ3diTfE0TslfYquSJB1qubn6p7dXX24R2VfeMpcnBgMJc+vyrREMx7P+XjG6EXTkZIrCg+lVhuMg7xdOwf6dFXcoabkoJmxY2Cm76n0jt1BphQjle4roV3iaD4s048NuYKsyhGMpzUTsg772Xjd4T64R+RVs5P4fB376c+jwzfNbfEG+yQpUPST36nge7Hvaqrb6xSey5lOyv9CHO6WpFgQSjlKRJP5ifwkFm+YqOjGjOSjuvY+ML6az1tAbOCaaoqTIcXmkKqRYPm92Xy+Pf3V6ybePG83GbMfN5wUBzNmWi6\/4nZNFlm+2B88X+6W42VBhNnblmEUnJAYxXsVYdOq2DmG9D4byshplcggljUvL1CGV98ZZx3uUPsk7cG0sKTXmWIUfwf\/Tf6LZ8n9tJ2N8VOZGCdzEs0oThkpL5evlVaYUSE+Xaq0epwbV+7Tywm0AUkxJBNpzCOInIgSYqx+40r25gt07JVp6Hq0\/yP0UboQPEeRLEGEWh0rpUEpqUlebTYfcpGgPpYJdosLu3fJOCCf36tjTrbHVHuBTXJCf3xvTahUYRNFhc2HuCNbkEDpwSLxs3vPnk3y\/h4yFRG1LrzKhX6N2cQT\/NpxZ8ZgIdVuXJsmRCe99nyZ0pcSt1ZSrdUGpdYG7cjQ+p6p4a03U2blDbWgcC2+1QopZf4LyV5jxeNiJoDjDpgbplS7ZqkE9oKTUs7mw5XqkLQ7TXZdMVJ9ZSXjFKlJ9PT5gsfUt3v54ffBkC50yk\/V8vDEChUzbigjEZ5YLoH8E4WMpt2rd+9rMiM630xvlc2kRmLAukXUfy5Qz5f7fJtQDxuxB\/eeAKQnVphldoAqad4Drm0SSWnUgaiROCUqrYkVNsZTpxGJU1MWz8BKPZS5c7cacF\/mfT2jeW8x8FvKbajrq0\/nIt7u4vbj+7d3X9Amy8S397Key9U1olhpr09USipvWQE8H3nAUiXseT54DnyRiwNv0qX8CFz\/IztKEcT8yM292jYivOWGonzewbciW6\/532xo2YayZfwX741serA7nlUzARY2hq7nUVV0SfwVCZX6JbgUKzUpU0h4LC0hkQEtJFjciXgCt2lkw0GjEvxJmUTckZ5wybQheZb2xHofuXcg9PqtcnMDcvCt1MttLLnJv+X2+BemGtTfkab57igpYb6r1\/EXeXqBeKRvvXd9HZriv3ZvYv3R9Z2d5aAAxJXIie8sm0FHZy7zdhfmJRDWRS7DNs+ce+UzbVcdUZbLh69+bSJw9dCBUbbPMybOA1XPwZGh6wUsJlr5+\/W618eg7rAtpn35R3ZDAGGs2A35c\/sLS4aUGRBZYkBcUFJhV9P2J5RZPT+JQPbcQWNgxRT19+GKKVvQjTZc3mXIh\/UaHczDhnw6CL3pyPXjA6GHGIJoFS0PxI1yB547OBCM4QslC1pH4CFF\/2\/TaP362mgd8CdQxU49anyLRclv1SXtIMrKhZSsRNU2isfW4es3jenBZ3Z+8PqtffDXb7fXF7ffb79M\/cWnp99\/C\/+6vf3lXfPVl\/rZ9YW\/tG2CdGgtrfp+8W14PmmF8+7Hwz9GN82zu5vR3eXbL4s\/r159ubj48\/Xn+ol7\/vbfTuuRIOWGvZEM9EyiFSkHvC4vALKDKEa6HVFHKsLaKJi4DOncNSOi0YfAc+1lG\/lBI3mFdIhlG0UuW7b9TTGDoIy\/pUbwWJILUIDpW1xDdWoAVZvGqX+K4ARa7t6xuero8fHuWgqI4kK5j3fXHAdPvWCg9VhfX4GFqY2gmYNv1sySF1QBwmUpOqm2dYcYmHV7I6p9o3ooFhHrI6p94Y9iCXG\/ONFsXEsAMdo38kiwj3IzWeYCbmFevVYSxepjcbccv8Iw5o5b7nCp8ULNPgbX4iQVNjekgjYmbfikMoIiu6\/mLYUbAUDv5wZ+l0XUmpD8lTViWBYLBpqP9YgU0jumDssF5wW6lVOEUJ7jCtJFnjBIMZFIPsLHLwz8mCqrFvUxzJhaEw0boRvS+3EUTEdjXqRk2BpyKM8S2YisuUjvKZBm61o4kXa0JL2kj8W1EDlrTkTp7dwvmHjES7J1dV3tG8slaPnGtoX2siypHD8agB\/8nPqCsgL5EjPieq0E\/yojvbZYLncqPG\/1qH+TdweU3ZrY41iknwB0+iVbOsN0qu+jHKZPXB9I3n4O26MMIsq43l2v11rumVNIPir9Wxz47dVGB+relpe5CUlzEjgJggOkTf6GWz5lfs6t9YFNvsFt+CNKb5eUjfB+0ltc4J3Q+FWfPkaekExGnpRJrPzB452iEt2+Luqd12XWiMaF7accwdRSmqtPdYvpb\/WIYfOdOPJnzDPpSgQVvFMCTf4CmfcvdpSOzfyLy7wW6\/1VHnQx8kpv8OLQmOzINj0sQGOSQaMUAN2L3VPvXvBJT+Sks8kmU\/sEU\/vEjtKOzE98ahPW+1Q+tXhYPrXyC\/4u3BGMMOAsRmgz8l+3hnzhjowJBNbwkb\/NSTdCvGGkoERM16Wz9zY5hitqQWmMllZvoDXl2HRjhQVoLnLa18JAb6xQc3PDq7jJtCtgsGOV3JHmFqZa3pJNfStygx8ZZlIHesjjQOWAP4zpYveIocTLhnzuj1yf\/siARY2t1quAu4xPp67n0OiHgJLWKgcLR5V3VI2tfPeCZPGDzEl60H+eK8UDfj2rJMxpOLqfC2SqsMsn6Z9Bi61HRVcaC9Is73S8U67jGG0nKxQ7fZDu9KlvzSzXA5956SzTJaNSN7BBI35sTOKRmFYXr7rFTM1gdeWgV1Iy86tFspzMtTvKkzSzMeW+WDUW1Fi0rFkjy\/UNYRu+qB4AqA5sMYCLzt5FRbGh5Xr5DPu3lapTyKV1W0jfBPmoa0pT5m1upkPzIqfGvM1HTXsSm4bPooi4XTdNkJJL604XrPisDdWs7kJuG+bTxe9M+h4P8vnTc5He4p6jFD8joTX\/HyKavKQKpH0Zzqvu2sF1YDnrtacVharRf529fbSVvb37T7O3d0X2dlqevR3gm+Zuf4ak7W0fKy6ev0D4ovoC4YvnLnAd7bor7QJvihcIb60OGZrDAiB\/kBKVqzlTHIFeX0rNR5A9dyfJcX3h8TmA9Io0MjnJiRkN45o1CGa05lCA64DW5mOL1VxWcwIaGyDxqLbQbTBwI3NClwuDKM1RPx9Tv7YMprWIWvYYetqRtf4Hxqns30Um02\/l5w4mdGs5hpmio+oWruMmMOYXOK0N08QmRYvvcDuDTS7JfmqvH3X2ohLxLm\/OW8A1kSG\/DKqZ5CNGZRF8yE1OfUmCiueDz4ci4p9Dq4z4jAph5xsMGYNziVHF0HIJUX9Vk6C+dKsMoeVE\/z3EiczCm4dpF8Ciym5wb1x8xrIw4rKPmdvQewIcMwaX0FDmApgrD5HVYAPleT5p8JvpZCIAYWwRD9a44frDIH0IA1ln5PGk38GUyW8x49nkZA\/BlNFItKqELZ1rdnLhs13Iojofux7VAvF5Trbs0kHeKD0Xlg7P4pl8hOaev7MGceBNWe5daquWax5sAhLk+8\/Zp7IwK3W8BZGkHdtBSKUrfmiDkptxxQYML8j1VZmMMXFlC4yca7gZFOQWpXkoqwpn4KJd43CO4Zvqshq8YI8n8LZ3RXSGtohSdFTHriWkQziap8kQ4Ag67y371bHeaTMIb3Ij3WDTznGtIJWdgmwxXFgMd6jZFY4ioY3y2UyCbSyy81gU7OUwhj+qLt9pc3ZFHFtoIx21pHw9fyY\/7Hx7VQdWhMy5chvMfnmsQBYhEdqNieujGvcMIGji+g3u69U+\/DVcmPAoDSfwnI+aOAs8zwpjmgRMwN4UBegitHwHog64QfT46\/Sw2frluQCG3KAW\/2xIgA\/qeI6\/Lt7+O+t437Tz19vPdVu93t4UmDgvOy9ISGH9rvL7AmFz+YJd8h0unI5ZEILLmTWyxNYxxeXUdkWe9aR\/QLQzvLJ3bgxeUvCDalzjpfgdXcsyv9ZkFZF+tuW0usxRjbMOEkuM2qgOLOzunwNhx3DlbteTtLRnBBiAhMdUO8M5R3rJ+QuMoVN4zvmYNeaTlGclbEkmvHnM3rF5yqISPib+yvCotsgF9AK4m8\/AvQLcAOOMjn2oZCpAdd9nFHYOnoNHQUJh59wFQwt6834uwhOa+yDhuldpoc\/RRS6ePWezV9nYJqhwb5RtQf8b\/RCcGDMTv62vuFsJoJSw8MMRL6LpVZ9ZVlDJh+wf9TMNSNMMjuwERAFPV6DZvSAfPw4vRCRUxX3R6Rl2tcO\/4O3tjVxROC7Aet\/ILXvDU05qeREuE8Qase0n2Uz9RWPgUerIrEtSbi1G9MnnFIV3F0t2we5SydbYXcrxxbZ4SVl1k+0uaf9AOTVZ1e7SIZx\/RUHb8mdWzD0jK5raLsGrb5UWtutz8LufFnV0roZXU8V\/8wZK2XrA8dGGMISj8zQIIfG1nJPznt3fER03L6S6An62w5Vybym8uwu17kq6UQiK2Cl3uZ0C1b6Tu17Q18\/I94JADj2dKX24Q+37LlJcguOQzq+fu2qEZ8ogZ5WXYg4q\/VLPBAtxSCwymWrKlcoDYxBEDo0gkZLI9rReN3GhSGg50B2U4Z\/NG+Ea0\/uu+osvRSYnB+dfCoD3ZdZMsdI3Wys9ITc9u6+fkgkkryqXUgfglyRDssmk1+rXkY7qk94hj4U4JYRcKfDiDVU5vAsYg+cqbwbc3M0XVJhDhcN8heqh6lc4x7uEd8MU9sHz7rdunlHJyOYfJfJV4A44uHOEHl4AHM\/THIUBPmri1blY6wA\/k4pnToLqjToXfm6FRD0fMoY3h4P8Bw1vnvUb\/vDspaYKI7kXuZH\/18zrXjKv+2zACo+\/lxa4IlcrWAOnngd3lObki\/dk\/yiejfjljqfBgqBmrVlrvam13qAa30gEtV6h2ljefgS\/uRwlhUEhutbAhY+I+PlazKLgkRIks4WdgYNy8raRNGm8Tl\/BlSa2FRLE92\/uNfiZJO+Pj0KLjWsOQTeHxuvam0+HxuvLNzetZu3QeD3+xXj96c1N6xfjda3VnP1ivL5sNW\/e1ODF5aHx+lOriQ4gHDuejY73JdP4\/9\/E38BcP72BGYm5vrlsNT\/xpyaf66dWE0DBIdRqXr4BSBQnPi1k8HS1WB\/gVbwz+m6wdUiJlYOwNuict9\/jOjqCXNHHqK4NOuh84bLacOp5Ity\/jS7S31Dy64Eoa8YG9yIkW1Vq2nls41zFLeK2y3MfGoJaDTuOC9qG+Fkn\/jjx4c+1AoMt+vGnbDQp2dfLX3Nn\/hVcvzP0gnlbINJemm1iU1Gr7cbav0TcA0RM6dlv8QgeAukDC+6DUDeU4ka+uHychrqhVjRGQfoTgmcbpS2EDXHU10GBOgLc4CKa\/i93OqC+YzXsuDGwAC10I3nFwsaA+TgXj6BMeldkQoxVhhQLqj8AMQ4ki5x4s15rMeAAcBbIr6ZhAxjTes2Pi1Jh6QiUgUhRNUS5I4LpnD1SGcWQiAxVAo+D9VMhaupXxClIEwlKgb+JwcO1hkE0AfUVpxt45ZQJAWnB8sQkp0IZx9sUV\/4916Ao9XxrUnB\/rjlZ7MXt0eh+GdJO4Vn0Ek0sL9Xi7eqNRg1Qa\/FOeaXqbhPV4R7XKQuLdXnbT43k4sDD1qt\/v\/r1lzev3lQ2fIpXAymLOvoVCJkOcbZw0anGxUR5PVBP1Clux5W5Yvu62Hs80UbPcWNwFnD6WHf9cMq23op7HbdeA\/WyImptfegl9yf2xafkkew3Wvt9jLDuwMabcEFvQprm5GiQCHkTGW8y6E36VYYsgD0HGxRK83fXnAwKtgoFkfU\/b28YdPb2BooEmSAMyLjq+3xlvBpE1HrcDEh1mZI1CWA0UnrOIknirXssxICnxiBYlF\/ZMqH+VMJUUHwAJj+wDeTdk4NqmMXb2eK\/p+6j6YAAxe+tAcqxOIfcaHxYojNnV5tKtQmxU6YKRM3pNftA03pOdtsuFyN+J5OOmHaabmCiBFTERjx2h+wPuuyA9+6pnOvvqYFxexRXO+9xTkI69wotX72g5dPdN0RnDtxCqJh2psYwVpIEADOO7YhSXyJMPgXU95x\/7TLvDvXiG61jcI3KkvUIqQxGIzr4oCWH6sHObLRTshoEi3asD5jfHugWazv6sp1Pk6vH1ow6beCp+jAW09iYccXREmYvNKpTQT5JXMHhej2UkF3Qr3LjDFw7lyTYafKnUnoLH7iMDDaaZnM2529krAh\/5czG\/N3EWjSSkpz1iJcRz1Elu0iELKSLQOLknZRkBnRszdwAmGHCxqAECEQjIXTraGZFmjiIj6Q6CqN+P7EXZ6esCRedt7gKHNX5Wb+Q48z8kRyWihwoFsDVBjIs+8cjXbKW0mCXwBd7IAtymYhb1eNER3CRYn6nbDf4nH1kO2+rlrbyrZkr7A8fr9po7DpwwfCWB4vcdYMAHCPjpEHYhoLz8sPvmYY3S4hMVyoueQjGYNcGN5daLox9qbcOm4po+V0rUnpxRJia8qgUczJXaRHi+wNLosf3R3JjQUVFuV3EpESZuGQ\/6bI5JY6uiDM7xySOWrCtYbdvY64Uh3utfjpgoPbPjNfZ1kHJ4UJL3CXkDHSfWmwMmJ\/cH\/2\/QtfE+JTgq4NXG97RTgTI4mnEUnN1oTWItTxZbMTGEh+3Uncj8fo+0FYsCNuxsdRB39hu6gn9aANl4zsb2Mggj2YKksIXjrit181cmQHPJcG\/pWM8k6q3uBBInxNEqllTtk\/pwlV2Yipel39OXP64w53SMUzMjPMzi4XxaIcCK70bJ9iZuyIbfJK8YZ5zeUs0VgTCTy173E4HFusD3dEnYuPGiSAl\/saibpi\/641nynruGtDTH7HuD\/nJVuYG5M8EVSQGVI3kQpt8qljG+ckQr64Ul4NJHdWyLjaudpXspKsXOYqU01OQI\/gmBuniKnHfcjqOkpmcEDJIyg\/y9vwr3ZH1B7lz+hXeJDAnV4kzyNVGBwxrf9dHlNWCkGYRL3t7082mTFmZ99X0F9cQ4F90bs87VaWF0pbei+1zDhfsAtkROq8fVGO7cE\/80TQ54biJGvsDmfbcXE6cwnMbnvka35MPZerpnmf5Ixl+co9X5+S+IEzBd5k9RZxceLzMORR9YZKFrIWNJJM3UBuhpCW5RO\/h+eA\/1Nca65\/wgWswMBCdY6UAAPDKZ54hLim6gFM3M+JpCCINdQTs49uh1jvv46yztL78cS6W+\/8B<\/script><script class=\"_iub_cs_skip\" id=\"nxe-boot\">if(typeof window.__nxStill!==\"function\")window.__nxStill=function(){try{if(document.documentElement.hasAttribute(\"data-nx-still\"))return true;if(document.body?\/(?:^|\\s)mdp-readabler-stop-animations(?:\\s|$)\/.test(document.body.className):false)return true;var g=JSON.parse(window.localStorage.getItem(\"readabler\")||\"{}\");return g?g.stopAnimations===true||g.stopAnimations===\"true\"||g.stopAnimations===1:false}catch(G){return false}};(function(){function g(e,a){var f=atob(e),s=new Uint8Array(f.length),r;for(r=0;r< f.length;r++){s[r]=f.charCodeAt(r)}var o=0,i=0,u=0,n=new Uint8Array(Math.max(1024,s.length*6)),t=0;var c=[3,4,5,6,7,8,9,10,11,13,15,17,19,23,27,31,35,43,51,59,67,83,99,115,131,163,195,227,258];var d=[0,0,0,0,0,0,0,0,1,1,1,1,2,2,2,2,3,3,3,3,4,4,4,4,5,5,5,5,0];var m=[1,2,3,4,5,7,9,13,17,25,33,49,65,97,129,193,257,385,513,769,1025,1537,2049,3073,4097,6145,8193,12289,16385,24577];var y=[0,0,0,0,1,1,2,2,3,3,4,4,5,5,6,6,7,7,8,8,9,9,10,10,11,11,12,12,13,13];var ct=[16,17,18,0,8,7,9,6,10,5,11,4,12,3,13,2,14,1,15];function b(w){while(u< w){if(o>=s.length){throw new Error(\"nx-inflate: truncated\")}i|=s[o++]<< u;u+=8}var h=i%(1<< w);i>>>=w;u-=w;return h}function S(w,h,A){var v=new Uint16Array(16),_=new Uint16Array(16),p=new Uint16Array(A),x;for(x=0;x< A;x++){v[w[h+x]]++}v[0]=0;for(x=1;x<16;x++){_[x]=_[x-1]+v[x-1]}for(x=0;x< A;x++){if(w[h+x]){p[_[w[h+x]]++]=x}}return{count:v,sym:p}}function X(w){var h=0,A=0,v=0,_,p;for(_=1;_<16;_++){h|=b(1);p=w.count[_];if(h-p< A){return w.sym[v+(h-A)]}v+=p;A+=p;A<<=1;h<<=1}throw new Error(\"nx-inflate: bad code\")}function B(w){if(t+w<=n.length){return}var h=new Uint8Array(Math.max(n.length*2,t+w));h.set(n.subarray(0,t));n=h}var j=null,W=null,Y=0;while(!Y){Y=b(1);var q=b(2),J,H;if(q===0){i=0;u=0;var D=s[o]|s[o+1]<<8;o+=4;B(D);n.set(s.subarray(o,o+D),t);t+=D;o+=D;continue}if(q===1){if(!j){var Z=new Uint8Array(288),k=new Uint8Array(30);for(r=0;r<288;r++){Z[r]=r<144?8:r<256?9:r<280?7:8}for(r=0;r<30;r++){k[r]=5}j=S(Z,0,288);W=S(k,0,30)}J=j;H=W}else if(q===2){var F=b(5)+257,tt=b(5)+1,dt=b(4)+4,N=new Uint8Array(320),nt=new Uint8Array(19);for(r=0;r< dt;r++){nt[ct[r]]=b(3)}var lt=S(nt,0,19),U=0;while(U< F+tt){var O=X(lt),R=0,et=0;if(O<16){N[U++]=O;continue}if(O===16){if(!U){throw new Error(\"nx-inflate: bad repeat\")}et=N[U-1];R=3+b(2)}else if(O===17){R=3+b(3)}else{R=11+b(7)}while(R--){N[U++]=et}}J=S(N,0,F);H=S(N,F,tt)}else{throw new Error(\"nx-inflate: bad block\")}for(;;){var E=X(J);if(E<256){B(1);n[t++]=E;continue}if(E===256){break}E-=257;var rt=c[E]+b(d[E]),at=X(H),it=m[at]+b(y[at]);if(it>t){throw new Error(\"nx-inflate: bad distance\")}B(rt);for(var ot=0;ot< rt;ot++){n[t]=n[t-it];t++}}}return a?n.subarray(0,t):new TextDecoder(\"utf-8\").decode(n.subarray(0,t))}if(typeof window.__nxInflate!==\"function\"){window.__nxInflate=g}function G(e){var a=g(e,true),f=a[0]|a[1]<<8|a[2]<<16|a[3]<<24;var s=a.subarray(4+f);function r(o,i){var u=\"\",n=s.subarray(o,o+i);for(var t=0;i>t;t+=8192){u+=String.fromCharCode.apply(null,n.subarray(t,t+8192))}return btoa(u)}return JSON.parse(new TextDecoder(\"utf-8\").decode(a.subarray(4,4+f)),function(o,i){return i?i.$b?r(i.$b[0],i.$b[1]):i:i})}if(typeof window.__nxUnpack!==\"function\"){window.__nxUnpack=G}if(typeof window.__nxLate!==\"function\"){window.__nxLate=function(e,a){if(document.readyState!==\"loading\"){return null}if(!document.querySelector('template[data-nx-libs-last~=\"'+e+'\"]')){return null}return new Promise(function(f,s){document.addEventListener(\"DOMContentLoaded\",function(){var r=a();if(r){f(r)}else{s(new Error(\"nx-late: \"+e))}},{once:true})})}}if(typeof window.__nxAsset!==\"function\"){var I={};window.__nxAsset=function(e,a){if(I[e]){return I[e]}var f=document.getElementById(\"nxe-boot\"),s=[],r=window.NX_ASSET_BASE,o=f?f.getAttribute(\"data-nx-asset-base\"):\"\";if(r){s.push(String(r))}if(o){s.push(o)}s.push(\"\/wp-content\/uploads\/nexus-assets\/\");function i(t){if(!a){return t}return crypto.subtle.digest(\"SHA-256\",new TextEncoder().encode(t)).then(function(c){if(\"sha256-\"+btoa(String.fromCharCode.apply(null,new Uint8Array(c)))!==a){throw new Error(\"nx-asset: integrity\")}return t})}function u(t){if(t>=s.length){return Promise.reject(new Error(\"nx-asset: \"+e))}var c=s[t].charAt(s[t].length-1)===\"\/\"?s[t]:s[t]+\"\/\";return fetch(c+e,{credentials:\"omit\"}).then(function(d){if(!d.ok){throw new Error(\"nx-asset: \"+d.status)}return d.text()}).then(i).then(null,function(){return u(t+1)})}var n=u(0);I[e]=n;n.then(null,function(){delete I[e]});return n}}if(typeof window.__nxText!==\"function\"){window.__nxText=function(e){if(!e){return Promise.reject(new Error(\"nx-text: none\"))}var a=e.getAttribute(\"data-nx-asset\");if(a?!e.textContent:false){return window.__nxAsset(a,e.getAttribute(\"data-nx-sri\")||\"\")}return Promise.resolve(e.textContent)}}function ut(e){var a=e.getAttribute(\"data-nx-asset\");if(a?!e.textContent:false){return window.__nxAsset(a,e.getAttribute(\"data-nx-sri\")||\"\").then(function(n){return window.__nxInflate(n)})}var f=e.getAttribute(\"data-nx-src\");if(f?!e.textContent:false){var s=window.NX_RUNTIME||{},r=s.base||window.NX_RUNTIME_BASE||\"\",o=(s.files||{})[f.replace(\/\\.[0-9a-f]{12}(\\.js)$\/,\"$1\")]||null,i=[];if(r){i.push([r+f,e.getAttribute(\"data-nx-sri\")||\"\"])}if(o?!!o.url:false){i.push([o.url,o.sri||\"\"])}var u=function(n){if(n>=i.length){return Promise.reject(new Error(\"nx-lazy: \"+f))}var t={credentials:\"same-origin\"};if(i[n][1]){t.integrity=i[n][1]}return fetch(i[n][0],t).then(function(c){if(!c.ok){throw new Error(\"nx-lazy: \"+c.status)}return c.text()}).then(null,function(){return u(n+1)})};return u(0)}return Promise.resolve(window.__nxInflate(e.textContent))}function st(e){var a=e[0].getAttribute(\"data-nx-on-sight\")||\"[data-nx-map]\",f=null,s=false;function r(){if(s){return}s=true;if(f){f.disconnect()}var i=document.querySelectorAll(\"script[data-nx-on-sight][data-nx-asset]:not([data-nx-run])\"),u=[];for(var n=0;n!==i.length;n++){(function(t){if(t.textContent){return}u.push(window.__nxAsset(t.getAttribute(\"data-nx-asset\"),t.getAttribute(\"data-nx-sri\")||\"\").then(function(c){t.textContent=c;t.removeAttribute(\"data-nx-asset\")},function(){t.setAttribute(\"data-nx-ran\",\"failed\")}))})(i[n])}Promise.all(u.concat(e.map(function(t){return ut(t).then(null,function(){return null})}))).then(function(t){var c=t.slice(u.length);for(var d=0;d!==e.length;d++){if(c[d]===null){e[d].setAttribute(\"data-nx-ran\",\"failed\");continue}var m=document.createElement(\"script\");m.className=\"_iub_cs_skip\";m.setAttribute(\"data-nx-runtime\",e[d].getAttribute(\"data-nx-run\"));m.textContent=c[d];(document.head||document.documentElement).appendChild(m);e[d].setAttribute(\"data-nx-ran\",\"true\")}try{document.dispatchEvent(new CustomEvent(\"nexus:lazy-ready\"))}catch(y){}})}function o(){if(s){return}var i=[document],u=document.querySelectorAll(\".nxe-host\"),n=[],t,c;for(t=0;t!==u.length;t++){if(u[t].shadowRoot){i.push(u[t].shadowRoot)}}for(t=0;t!==i.length;t++){c=i[t].querySelectorAll(a);for(var d=0;d!==c.length;d++){n.push(c[d])}}if(!n.length){return}if(!window.IntersectionObserver){r();return}f=f||new IntersectionObserver(function(m){for(var y=0;y!==m.length;y++){if(m[y].isIntersecting){r();return}}},{rootMargin:\"800px 0px 800px 0px\"});for(t=0;t!==n.length;t++){if(!n[t].__nxLazySeen){n[t].__nxLazySeen=true;f.observe(n[t])}}}document.addEventListener(\"DOMContentLoaded\",o);document.addEventListener(\"nexus:runtime-ready\",o);window.addEventListener(\"load\",o);setTimeout(o,0)}var K=document.querySelectorAll(\"script[data-nx-run]\"),C=[],$=[];for(var z=0;z< K.length;z++){var l=K[z];if(l.hasAttribute(\"data-nx-ran\")){continue}if(l.hasAttribute(\"data-nx-on-sight\")){l.setAttribute(\"data-nx-ran\",\"waiting\");$.push(l);continue}if(l.hasAttribute(\"data-nx-src\")?!l.textContent:false){l.setAttribute(\"data-nx-ran\",\"loading\");C.push(l);continue}if(l.hasAttribute(\"data-nx-asset\")?!l.textContent:false){l.setAttribute(\"data-nx-ran\",\"loading\");C.push(l);continue}l.setAttribute(\"data-nx-ran\",\"true\");try{var L=document.createElement(\"script\");L.className=\"_iub_cs_skip\";L.setAttribute(\"data-nx-runtime\",l.getAttribute(\"data-nx-run\"));L.textContent=window.__nxInflate(l.textContent);(document.head||document.documentElement).appendChild(L)}catch(e){l.setAttribute(\"data-nx-ran\",\"failed\")}}if($.length){st($)}if(!C.length){return}var Q=window.NX_RUNTIME||{},V=Q.base||window.NX_RUNTIME_BASE||\"\",T=window.__nxMount,P=[];if(typeof T===\"function\"){window.__nxMount=function(e){P.push(e)}}function ft(){if(typeof T===\"function\"){window.__nxMount=T;for(var e=0;e< P.length;e++){try{T(P[e])}catch(a){}}}try{document.dispatchEvent(new CustomEvent(\"nexus:runtime-ready\"))}catch(a){}}function M(e){if(e>=C.length){ft();return}var a=C[e],f=a.getAttribute(\"data-nx-src\")||\"\",s=Q.files||{},r=[];if(a.hasAttribute(\"data-nx-asset\")){window.__nxAsset(a.getAttribute(\"data-nx-asset\"),a.getAttribute(\"data-nx-sri\")||\"\").then(function(u){var n=document.createElement(\"script\");n.className=\"_iub_cs_skip\";n.setAttribute(\"data-nx-runtime\",a.getAttribute(\"data-nx-run\"));n.textContent=window.__nxInflate(u);(document.head||document.documentElement).appendChild(n);a.setAttribute(\"data-nx-ran\",\"true\")}).then(null,function(){a.setAttribute(\"data-nx-ran\",\"failed\")}).then(function(){M(e+1)});return}var o=s[f.replace(\/\\.[0-9a-f]{12}(\\.js)$\/,\"$1\")]||null;if(V){r.push([V+f,a.getAttribute(\"data-nx-sri\")||\"\"])}if(o?!!o.url:false){r.push([o.url,o.sri||\"\"])}function i(u){if(u>=r.length){a.setAttribute(\"data-nx-ran\",\"failed\");M(e+1);return}var n=document.createElement(\"script\");n.className=\"_iub_cs_skip\";n.setAttribute(\"data-nx-runtime\",a.getAttribute(\"data-nx-run\"));if(r[u][1]){n.integrity=r[u][1]}n.onload=function(){a.setAttribute(\"data-nx-ran\",\"true\");M(e+1)};n.onerror=function(){if(n.parentNode){n.parentNode.removeChild(n)}i(u+1)};n.src=r[u][0];(document.head||document.documentElement).appendChild(n)}i(0)}M(0)})();<\/script><div class=\"nxe-host\" data-nxe-embed=\"n-g09-stem-safety-critical-software\"><div class=\"nxe\" id=\"nxe-nsfk2fbx\" data-inst=\"gcri\" data-theme=\"dark\" data-grammar=\"atlas\" data-domain=\"infrastructure\" data-arche=\"method\" data-density=\"compact\" lang=\"en\" data-nx-css=\"7L1pj+PItiD2V4RMNJDqJvNyE7WhCuN5xhsMMM8YzLONMXrKQJAMSuyiSDVJ5dJCzd\/yd\/8yIyK4xM4gpayua9St9+5NBckT24kTZz+PxRu0izr96qXR23PxBq+2XbzZ0cGOQfEC6t2jg\/+z75rrS5WCGO4eHYD+9e0why+ggcnu0cX\/6R+cLqQ1QP\/61mP5AqvdowvQv7a1rBJY2UeQVXlWwF11iMCTt1pZ3f87z+5S+qpdN1VZHGRfeO0XDXxr7HOVnUD1vntM8X+oJzWMyyLBz5IA\/aOetRMAPvpHtSdZDaIcPdrE6B95BOIYFs3ucQOiIN3QbXZdpg0Zo+tvLHfjWF6wQbPqBtmOz44O7BC79nbR4Ar9Yx+BuMleIDv67llWfGW38VzWGXl948bbbQsqBpcmK4vdY5okYdjONK6yJotBvntMvU208UhrWsaXWj5HshOPYBOv0wE7zhWsa7RUHv4Ps4v1JWpyKMWFBKbgkje7Ry9E\/9jP2p7wtrSf1UeQlK\/2Kdk5i+D8tnDD89vC9s5vC7zsjoX\/PW+WlrNA\/9zuCYs0zopsCLRB3qDdeAHVE3sulvu4zMvKruMjPMHdIgHV12+P\/GH6PQENsBv0yqeHPDscm4cvwgGjd5o+YFz7cMBSgP7xBywN0iBd8QcMJuif5oB1a2JytLp35YeKxjD+UNH7Rx+qlYf+SQ8VRnLIHioXrH2oOlReaLnuyvJ8j5oOfaSYI8AeKXp8\/JEKHPRPcqSYI9ofKReuYRByRyoKVr6z5Y9UHHobb8McKdkMW0R3V6t15IhHCjron\/RIwQ36Jz9SNKXgjhRN6ugjFaqPlCOeqf5RoDlNHVbz5wkflm\/\/4QSTDCyezhVMYVXbkneWV\/2pA5em\/Hnofh66n4fO9NCJ19i1XSy0LqCodw\/\/+T\/+2+K\/5vBt8e+gqBf\/J6gyhD8PFvvgwbpk+AO7hlWWWvV73cCTfcksG5zPObRJg\/Uf86z4+m8g\/nf881\/LorEe\/h0eSrj4P\/7zgzUA2A\/DOJVFSQ3j38qixL2h9voMYmg9\/Pu\/olb7v8HDJQfVg\/UvZVGXOaith\/+SRbACCEfaD\/uvSA8Q1HAXX6IstiP4VwarJ+fZw+vaIXi1W53f2j\/t+Jidd0H3u3apv73dpv\/b37le\/yPYoS1tf6x2Xv9JcqnsFNTNzvWcU9237dwN\/dPOEcqEjtBmn8Ab+rR\/gOZC3uYmFBCi0k+pRTl0MnPwvnMWm\/PbAo2Lxqtnd7OkdgFUIOKR4X+pQJTFIio8\/G9lU3KvDJv8v4NjeQLWw3+C8C+w+K9Vqdj3FHyP\/uKyaEBWwGq3KN7g4h+LrCBkOfsL7pOsPqMVWkR5GX\/dR+Ubas+Kw27RnuiofNu\/Zklz3C1cx\/llfwLVISt2C2d\/BkmC33T2EYi\/HqryUiS7hZK9pB6xxH25b5fjlOXv1Fv9GW1fQCPeLVyEXvj3K0RHfLcIHGePp3RsG9zn1T6HTYMI0hnEeJBFWZ1Avsc9gzw7FLtF3YCq2duvMPqaNW1vp7JsjugDUDQZyDNQo7vvVP5ll\/Ub\/86hAu91DHJIwFawSGCFeyvPTXbK\/oL\/BR6yKMuz5l0kRItfLUnbbhfBtKyg\/BlIG1hd5dsk6WH3eoQVfDq61tGzjr51DKzjyjqG1tm65FaZW3lmJbmVNFaSWGl2uFTQwpjw56VsoNUgQmg1RwgSq4nK5N1qKqs5Wk1i1TBGNMcCVZPFObTQO7Cy0rJsYGUV4MVKYAOyvLbqywldeBawokvTlIVVn0FhJdmLVZ9AnlvkyrDgaXmV4xaeII9lRVlAgq74qLcNLZ5lxRFWWYOxZPjFY0TXjveuqUBRp2V1aiERVgLGJaGtdCvT4ykrerRz9ifwZreHBT9N8xI05G\/17pAFWF4ZnA4dR35qWv5hqYaHVpIgavOew90ia0Cexer3MSYsr3lW95+MDPjlsLxylIOaOSYTiPSmOVqml6zOolwDLjuNg+uWGDHAA0aoYQ7IRrBvucPckd0O5lpeGszALhAbUpd5ltBkJ77Uy337il2maQ0b\/Gbbs12BJLvU1M5Usu14RpxaR3yvLA0dZucGzvltoKpkhgP6Lzzn\/KYA3p7Bq0DE8SCb8rzDrBQ3PY49X44S734wa7RYjn4wrbhSFkhayZGGQAa+Y+SWemA2oipXarXW46thIzrVUhKyBsFG+Q18h1FVvg4r2N6NZCE1txJisthbyeVvpRW6lTiS4zy7ITzxl5UnkKDL+QyrGNSQgHxBPGnR2MXlBKss3i0aECE+EDXUizwrsuKA\/5aTDCwpLfVLYDPLkObwbY\/+y36twHm3QP+9x7emnTXwVO8WSK6A1f6AniLmCrODN\/WOf1eXHCp2o0UBzF0OFHcasrfyyRjaNVmTQwaHEN7p6TGNDL4jRQZ2110BO2zn2fE28ETQgax8BHJQxFAx4BwmknFSByZ04qNuWxgURkw8N8hQ0fHRvxqvhrvhVyMUV8OXroYLT6oBBBMGsDLYDn81cQTnq+m6Bs8r85U9L35rwdP7io6XAd373H1JUcz4qPiwKBsWeTACmE7KE6e0UmFpVnwd2S2O3bLJ5XxB\/DT6U3jeHLP4awHrGp968rh\/u7+ynWcv7I4T9XE7FKIuOGVvT1mxqKtDZMWXqoJF8y\/owcIPf7EwST4D1Ljc4x8Z4Qbxtwss1g5TQuLp0pL2Jn1Vs1w7rFWyNC+w\/Ay\/ukTxs1ROnZroN+NOJnM\/p8Z2GQxT38SnxvYEZFS\/67NUL1C+C\/DhqOdebRjN6a589bCiphCuLtybDPofl7rJ0nfMICLFJH+h9ldcgO47jh\/sOeDhxqMwVcOl3ihoi2Rz\/3rMGohJJhYb8GrGl6pGWHYuMzwn+uAM3KDmYFjtDDRvTD5VUdPypi0z9emhJT4KFpXS+4r6C0qJO6M\/crj1veJX5sAmOmc9cPKOOfReU4PWitqa3SijNVmGHR1At3jyYdC3lUqumbi0h2NZIzlGdSA3qkuT12+1p8pH3MDU3ttZz1lNUCHWvhM3ae6ZHPAcvqkEfjIWNPhPD0S93RmfBvX5PbTi\/62MyqaklJaSqSS55DZMGlljImlslVvSBzE4y+RomTZKOrDhw0OVJd9UnQ\/qLaWyIK9ZWHv0X3YDT+ccNBC9cDkV9W5xyooTeHtyLDetllMFfk3vn3+99nP1kFjXC1hR2TTl6Rb4WJmIL92rTFFkvzHanVtng3tjOhooRg7ONcQ8HP7L+HRimIvmOKwRYg+IPQv\/NWe1xhnuj9BAiGpwtQriBVbY2ti9TyanX6OEWqPedwX\/db81ouiroP3nx9yU55EB79Ksqhtk\/8oTE9GSWuQRdPm9jssz\/PRQla8PXzqU9INfOrJCCV+Th80CX\/yGVt7oMqJsJ9oeOtpIXXhOq+whT+w6SyAeqYhUKkpzzM5jHHnPBxvKBAimOfdNa+095j73z2+4W5HDHmV1NGz3Xc84r7hQCnB1Y6pDQO9+zrMr8UFAfHoFc4CYxB5JO6sh2teJqoLAXPvRDmTx2yLPmMGHY2Pv7GbXXqJ6eNgP8wFRXeaXBu4xNOd57SE9LEyxErFTltG8EcIBGQM5rtNMwZ\/X+1xiKfhz0ZrRrne7hxHQ1irCnUEjORWLenYEm1cIi1ZIDukThATUhWOuLMVfj2nnAkGoNDBXcbPd7TpTb7um9glUX2E1rIIpHGKFHRDttweKjb7fYVfjPIUYv5dnWHxRj+1\/eJ7rPWjgYBmhqF9hxesN9wzRx3TyQ1SemNbA5O9jfdsBLMC9DoRHHwh3c1e2R3qGpKoaM4Xl2JpQQqRCyzgGQSG86r+O87LOisOVsz5qiHK\/MIJuordl6vuiLVLW+JvY+CLdos4F0aQ\/1uZ009Anq7jGPHRGNAuGfevUXWPqGH0XBnopdj\/2d15fY70UtdL0OlBa25H+Ob8GhT+DPXt+u6x+Apjth9XJAp0FYGkplEJZUTdfvhMEln4wbjtTTRtYe3W2XwESisHuEaxSPyXBLl1rtHvc+vEqTdpWWMDq8I5eThMYbgDbHKHmCKyDtjktywS9m2zT7TahG6PdYwjhOlq3jUcI8uaI4UZx2vrY9s0IrgOifmxRVibZC6zqrMFjAevUTxzZw2j3uE6SYVZZkVagbqpL3FwqiL6N14mXQvnjiFuTOM9O6P4Fu8cIwLBfla492j3GQTSsVpXVX\/GctmCTBHQj\/ybRDGYxWVkQgJR\/EO0ek00U9ENNswLZwvEHMHX6reja0ZrFiR\/0PVzO5xyvVhynUeqyzXimUdDPtC7jDEneCHicJD7bHHFTOlflHzBu0Otwm6zSlGuPum2dEEdD4aUTRmHfV4+XfrTx0lDASwgi39mIeLld+27I4eUmiGO2Mdo9uk603bgiXgZrLwoFvEy2QQhTBV4yoHi8dCBYwa0SL0M\/DPtdEvGSWRMKL\/1NlKQbES830SruV6vDSxgHm+2Ww0vmTQYvAz9dQQlegs1qla5FvGS2gsbL1RY6kYCXbhBtQCjgJbMQFF5Ga3ezEvCSmRKFl8wYKbwk7985HOUn7v7E3e+HuxJmhiDm8QI\/PbDL3yIommLHFokb2MWXROp3oqW+13aU0u76mcn66aen4tEO+fv5KFdujqkdBrWvDjb+K+tU09jDoNeOqh0uJ3+A+5I4Gqq9L9SwBJudWovc2R8EVTKngKccfI19Zz9SsbvST31B9M7T1P1Sa8XAj396OMRV1qJw1gfNpWns+YQhyiRRc6uV5W4Da+WiqLk2VCvDhz5NXbBpf0ccnBj93qZu3P7uQseYl1DkGwm6Mxm2krMapgLcsIvgU01lvSXhjB4zExiGCT2TyO\/B4Jls4v53HwRH94Vj0fF\/brp5ldOl7uIfa7a6jaOn0HoWtEPv0DnrXdmEkE3+Fdy6pGMh5UAy+1CBZIdOG6jw3xksmqetk8CDRX2ypH5Ey8Vq9QvVEC+X30YFW6l3s5RocqRHruYiA9dScsb9Hs\/54UtLrNE+fUVOlVX+9Ijez1SQEpjWV4nppB25Q7lfD2EexyxJYKEaW2aDa92UZ15BkdnA4hWCSzWQSAEkmgIkVgCJJUD+Qx\/AgYPnnmjXan97fpOc08F4SjajbkD89dNDU13gw5cFDqYysjioQVS8pwpra7+3z4Z0DIlyDEL3znTgxJDN3NeO3i1DA0e0DIKmqZ7wBzmIYL7cSz1\/+gl4JoYP04veeV5N9dOQeWV8U3qlz\/Tox9ps3mufRne1I\/kxYDvVuNAcffpVzx21SDNu\/GO+OVfO6d\/AAkp\/sX7Wf0NZyszMdNjD3tS7qONoJ7no+hK2UcQlM0ZyGr9KDHwi1nparDVZXEuzmL23GGHyQfGO9eImMWnHC9TcyvR9q+cMIM0ZILFQKxd+mXc3n41v+TOoG5jPgXRW3MmQupOl97MGYqSAGFnae9ZgCTUGpsFCaY2CkZk1Z60+OgefHvLDwxeZ10xLNIOA9+SfEgtwuw\/Syvllykw4sd6jOVT0gyxUH7r67K2mQBd9E6QOOlmBY3dsV4y3XfVunJjQ6YIfRrFQwjL2y9dqWGAXpDDlbOwpuleVDWjgk+0jArL89h++wve0AidYLxDRy8vXa1O22GcnoD52cUu2F3wTWc+s6O9iFDOsYj2HkGPKfcNX+3513hcKf4sKniFonjyLcbzAmo\/LqbCxhkUDXWAr1uc37dzW4UY9ty7iuZ\/ZxtGEJAsuBJvNeADzpPhh7LGtXzifWzi99zXPOu9Zd2wf+0BoHcg\/\/7r4bdG7cXNuez4laHIOfbc6z4wsQ2C2DKw3BB1SG47gjesgByUV4pyNOVTp8QnGg\/D7t7fhHCRbhaMBnsKa4FEp7YvvyC34nMM3MWZDSC+jSoFkFtzxkfmN+ndM5qlaLibuWBLk64sx+U5o3GEn04z14slCiVUwAzOY7gSYXbIDE9kTcfECu2\/ck+S0CWKoZ+CHrgA\/3ClMBiDJ8jirCeuD4jf5RVfypUjkzM5fZGqyv+ysSJBZJqDlZy90aKdAHA\/h3N3R\/CY3r2nRoZ5sWwMRmfatx64NX2DR1EqdF7OuvxN14pcxTVnL3ZcocqO6nKL6C\/YiwvcSIE0oGdHviKIRZc+nh\/9YQZDgRw9flqOquN4hacz\/aCxkvfVVTsqmgcnMgHa\/e2QSzc5rv0VmdbF22Bh33fyVIenDG6xPmmIBMJKrZjE+5lHMwT9iUCWfHtCgHr7wfsWAhBN0MtopK558pI23YpDHT67jvLwubMwqLZdCRicu9Ctgj7EqLLZNmag+n10SQ0tyaJdMnqv+hT6tooUGNmNdTM+YRL5VdoZpYueqf4T5+R7HZNI5uC31y+9Z8kWhfzrDax1XZZ7bNN+GcabvExOipjxbSD5b\/Ia5uqVg76tgcolhYp\/KblXRbxnrOjtDHO36jfEWFMi3pP+tZBuT8gSyQuFDkUz1j6BhypVv7e9d0RxJ7N2Tv+RN2okuzj7PXqBd52VjZFTp3+7ORooEoAYF0EGQvNPEgjEFDMl1zO9r9WlvE\/QuuTg0R6MNHxm2aOMYrnjy9UsGX1G20Be4QH8u\/t\/\/Z\/GvaGTV+4Ng\/xgE5pbGia4KExW\/WvvJ3cxVo8u0yLD+hd9kMUxYpzRHRJnEMY+mNiHjOFQAGRs+PYAmB3V7loB9uKA13CHB\/iaXAB68MmM0m2yZrmzAJ1v2E\/RPTLa8dtA\/g1zQznZCMmg3XEpyV7Mpqqnc1ShLdfDNeLH5RFDj9jA5IE47QOfw8zYOl6QlMMcGUTabHs89qS91ljP+qHsbkzxmK2Uis0nDEnKZ4dHwucwEe+BoKthpG8waKN2NyR6MCPfyfoLryFQ0rlpSiOdRTPem7YfEAhvo1ABSKKIJdCIAxizKiJ6Tsg2O98CYQTVHcBJspFOgL3k\/ZAkFttCP5WuibL0G9ECr9JAOssuRxfA6aGAaJ0zdeqJQfIazYcIhkdy0Np+1sb+Es5lmeR6nkINOd6XQ6Y7DMMuHqo3TGu\/kM3M17Y6gfvrMp1Ft0wrSCujlnIhbjBPYGNENvuNklqxxU5EBwuBi4rO+6lQ\/o4CEJKdDytKpiK0DK\/j3sZmWZvYkmAmcPWXycGbDFPNEhoHMvUcDTuI47tJ56\/APE4PxWB8ytwlRQjTyANR0JfoP+ZPvOkl+IIdWEi2cMcoWyDm8AJ5YIWm+smN8+HTqHrcfvouHP+6hbgB\/bqadYOLdS7t5DVMKhX2Qs5GTu1J4h01nmYZsBFyE\/7RbmDd+h9g3FIfR32gmuDnpwviw9aH4ht+rA\/TncInKmP3xxM8yeWEFTyPLTBuPplLnm9ICzM98OXtETCQ\/X+bBBBsnZf\/WuBFsHblrzQcyYWNsl59Wy+HXNq2W87kq3BfpYrdwZ8PpLQt1k8VfaSsobnjfG+jGESXuWMYa5uktHCPmk5i5ebPhDDtHqfqW3Mot\/rGw3f1M\/Z+wnLjL3+Rc2ugg6LUHTRbvpzH1InYxrl0Ck\/\/hkxxIN7uhZCbIVoBnjqrILDxWPz9zCwQyjlWy8yRGA1PZVFJinpUtDOatAEe6pmRSs1dEg0FU9+QXSavmUzZWPpsa72HtbhgXaxXhVr6wXN5PPrzPFkphf6YtXjQXLFldsoj2CrFrZKX9YT2xHx+dbhEWyfQA4DvPwtC\/tyKMkY08QcnM1sPEtiYp+O4h7IxOkK1EclcVhHIBi7J5wmTyf9KfLJdXgca3y4UT5hqk3fxeA+1Q4OZ16xmMNp1PH9M1+4jJbMo36gw+aqx9mTcJ8ks1HT2Z9eeJmiz9nyNvfZa6zsquJ01E5Wa7vQvvbf24S+Dd94b+vvTphyNDUmqjChBE9nC7KQ8HSYUpnDwC87vOnR0yDQOk6dGZ+mUJHy5IbrgrOJ8hqFD6lq5IoZjJfsX7n0rKK9455lWi2NS6jAhV0rgUsOYrsvitW5qZsQ8jzmOSLonHaVthubsRPqTQiKTz24sdovLMH6MmmSQLfsacRicQ8vKv6qgfYVXaZ1DA\/Kq3lrQXwCGrmz51o6Fn13QX7M7pa2QYNpsgAFOmkZyzjNktAjXEjpWyTLRYld+X67ub3xUzdpp6MzZ1WiU6J91o30tVvtZCuVLTch0CpD7d+L1yCbOwPwPL8MUkezEzyKLrlrXKkhvYHA\/cFg9GCyvIy+AKZjIhDGD1bcKkx1RUW0ZF5bppZb74V23xqX7exBUXFyu3cJLkpWmWZL5DbeU2yetciTVtktwRTXhP5zX8wugI5l4WI919vX48NzEn9YC4Hvy4mbHRlaW5EyDEvUjrSt9E+F6uRueVqesy4QZUrcHL1UjVJCsSqQm0HMAvwPXGZVGlhdAIm8Fak75nFpka3GMCqfpYcs3z+eqQwNNDmHjXXiWl+JQJnurG7ALdz\/UQckcYSG0IOx7ftHj0b5qpIi9GlqEyOBToQxwuI1O\/S7IOJllFOFkcinU5FUKgESn9TfnF4QbWMyHY9Bzad6pCM3rZMxfoaF1Go\/qOY0s+r8afOgJuuEEX4XjEGzuUv6duPO6\/Kc\/3LEgx1Ji3kZ\/CQhenjvuvYD6zpJLG4fOHK6k0j53YT6O22Pr9HVigYAYLRHBNWn5CU1L72bCo9k1FSPDQXo\/vxqW2ffM0qh3sz+wetQblIQWMNvdcTyc4KGyAke7jQ3lVG8naS6CVz9EP6XnUrY5p1eoOXxaeM5dgc9hkTSKtUz\/mejyUc7s7lBMr03zMGKgDi\/9EXM9\/f\/JR\/Oho2sMCvHzhHCs\/GxZeF4sGyZiA24ZApdri0ZeNv6MTTtGVt1l17VpSKBFni\/q7joGwDEiXuWiqFj8Uq2LdtKZm9d\/vOmBtmrXZQx8vL7WffDSQaDOM406KPRYorpYoNfE5pt+LRQ6NPzU1AMq\/HmjDh5Q7cz+m3NkUwqSesqQktkB1\/i46oh61Vqmo+ewWIjE2mlFyYDquj6AAsjSP9NbN2h+uoN3oAgzvq+armdf8pBHj\/AhPqKftpPm8FYtPzPQzUmuPBZcoMlXr7EHzQIr5qTdqlZ95uiosvgnpfMfUNrRS0+nkP6JUPFewad71qaJ1odMbeVatUBW7IB9VuImP5qNqbYaWejG1lS\/knG2oLHN9bn3y2WwOzvMWnkzy8VnKPNfUhCOQI2+MEY0uFxKRw+QAq95LaaJVcRIwjXYbxQEP+t2AscStGW3vwAFsO\/XlaNz3DfPXmmk+SOczKZbobnNjzS\/EqmOuqPENTDBGo3shS9y+ZReXE6yyeLdoQIRyNqKG+ibzFjeKluOs+9qeVGmBTiEocVqaxuyPOPaMDk1i02EzhDlMerCxkggT+xus3KrTu6FPL7bO9CYmlmnX5dGdO6p\/6iM6cXayQ8oXaBacJD7muNzimDAZqNp9wcAJYd4URmzi8ljwGW7H\/2yXs4FfzJSO+WXmwus+xjuQDwtFfPfDlw8LreQoYjjPOVs+aDH48sZIvTXDfK1GI\/XulI7DcHafOadt64O7YoP3bo9rnTnNKxWV+O37Txl37H10x\/poTDYI0\/mgwYix9h6bHswLJ8bIm\/cthheT2Nt7dHfOs+YDKdxKlNhoorG6E8kjsxhPjnCHviJQJA9Tlfq8R4G5Wnr4crJf98ypfa\/bzrvjdtz9sjPA24+53xTz+YDrTdfTB99uhpO88+U2ccJ3u9t0\/U652tzgo07MB14wuJySyQH9oL7aFGb9Nb327nMNqPoyLUCx\/qAxiMkkQrVpgB44gZ2\/cGIZSUw2ctuZ6A1M++IzdE2L3ekzFCgrj5mPo\/VK0IdwTPAmm9xz54eqDcqY1dnnzqzGZfebss\/7uLzgwhoVxI6mxVv+cttgkFNDBzQr4gqesMkfAd7rvKDpVOmM\/3inAkX\/s5oXcjazrr35jCXpTv5X+2HRrsMTmryVwDg7gdzOIcAeH3\/BqlzulVk7nP1QUZ4Oke6oD\/4haK7voh7FWVB1DgxMzXt\/tOgUu36dOog+LSQV+vdmx28e9lWaWldr3bi5T5QbcmyX79BJb4PoTdP9rncLvbnDxksvClP89eTYOyGNdltbAqKr4R0pj09nEDeqDL6BNyWDrwlsRUoGkqsn8OisSMEEUcukawmTsbpTD2dJ8srbXFFuu+8VKR1IQYPXk13GEBS7Rwe4obfZd605KJLdo5t4oe8NjVmze\/SAvwqCvg0V0YG7R9dxQzftW6vsBVa7Rz9eB2AAivjz3aO78gIf9I1HkJdC98jF6RFuIUyHnmL7FTQYarJJk5Bqr2B8qXaPqzAK4JZqT\/OyRPUO0iDdAqq9KNEq7h7DaB1uhun9aTu7xzjYbKnR\/Wm7u0cYxvEmpdq83SPwQRJtqDZ\/97hOEzdeU23B7tFLAdzS36L9ELquQFag3t0kSDch2+zuHr14ncZbttnbPQZp5KcO2+zvHsF2G6Up2xzsHlMfbqjmuihfU5DnqFs\/8oO1Iz5yd4\/harWKJI+83eM22PhJJD7yd4+xH4WpJz4Kdo8whVt6GGWGh7ABK+A5bLOLtmMLAsA2e2ilAaTWCTf7u0c\/BH7ksc3B7hGhCxy6PELQoC6DyPUCh212d4\/b2FsHLtvs7R6TaAU8yDb7aFVBEIRsM1rsBIaAXQC80MFqtY7ZZrTI0daPA7YZ41gcwJBt9nePSQg36ZptRl3i\/wzNTVlB1GeyAf4KcO0uWvEQUIebtHv4gDt+yLX7CJPXyTrg2oPdYxgkYTychLrGixumkQ8B04oQOVnR+I1aUY+hF\/s+0+qj8QU08UGtaJbeJlgNK3jIQV2TYiiuY5H\/c543myVDoMpXtl5KsKKef31vyQ+1i+AvuHv03MAPKbpRgrrZPa6itbPZ0pQKTSHyojRO+tbW3+JxHWxCMKBYWh52j07qpvRscQDUo+M7oROzrQiwk7gRhXa4kE2NUQl4gFqI9oG7e1z7frhO+QceOksrL1zxDxAOr7Yg2PAPCEq5FP1+gQd8bkAAvJhpRTicbtJgxbTigxql1BqiVn\/3iEjK2mVag93jNoUOfVucz3ieCdMbanV3jyvUG9vq7R5DL9pQKIpafUwmU2oTUCvqLYJ+MrQCWLVzc3y2tTsqgGlFFMFjZoxa0WI6YBOyEPBKJltqDMmFnJIA+KnPNaP+nDCg7ljcjDbQ2Toh97a\/e4RO5Gy4ZtTlJokjajFAizb+auUwrXg5V2ADmFYP0c1NELMQ\/N1jtAWQokqoFZH1EJXoo0gv4vnJgnrUxU7a8ZKuA\/p043YPU6vAj7l2tKxBlK54+HhhoU8tbJyXlwT166U+DYe0u7vHIF75K8i1I0T119Fmw7Wjy9QDW2oVSXuAiHACINXvMSdXigdoknHEl1gAQkAhNmr1MGewpa4I1Ip4CC8JKRRGreQ6ARSqIbU\/WVyE8Wwz2k24BRRq42Z0nYRJkAC2Ga1smPgbyDajDXXWDrXgaUZukzRNwjBkm13UDBwKY3Gzh5pD4CdsM8ZYf+NzsPFebqNtRDNwZQURzQ3SyAlT6kF9rC7R7jHeMmxAbNfgBRQF2D0mSbylOJoY8fB1vXuMgmSzZXhK2BBeN\/QiGtljO67KM6KN0Yai1rF9qSLEL6fpOvVopvJU1iCLd4\/Q34KY2lY7Q+Q9TpMNpFsjgFId7h43cLOhOYIGJbzCe5uGEXPd4geIJdpGwWrDP\/Aw5XF8ARQmSaHkAV5wPwogveAXmNtpWddZTnivNeCfFpc4h6CSTBQ\/Pr4nVSnjxdFDfGola4ofvmZoG\/wUdcs\/i7IS77ZP3XjtowMsJbtBumvKChwg5oghfVjJ47I54jsarNlpAiymrJJVGAzIeIYlKthNaDagaHb7wCUsbCA8QDTN2dBHqX1A7gpnLTwg14UTBcrCy6QyHb6nu9J0gyQXr5KQos8Eu9MwDSBkJTmeYSSSXLJJ3NjnJbkV2EBqs4kkhw5MEnKSHAcVS3Ju5K18V5TkvCiMI8dckks2bhQ6EkluA7Yh8FlJbhOvXIeT5JJN5FMsEJHkQORHMSvJrUAUgJiV5Bw3DKmbo5PkuK47SW4LYwBdQZILwHaT+IIk57lhSPXXSXJB5IMtFCS5NXBT4EkluWQbb1K5JBcF2wjKJblNEqYxlEpyIQgi6oqhJblg5TsbUZKLNusVxbF2klyyjoJQlOS2cbzaAlGSS7eQbw6QfLxKNrEgyaUJ9MFakOTSNdhS566T5CCSK1JBkos2HvBjQZJbpW5IXb2dJBdvkximgiS39aMYeoIkt4q2qzgVJDkvDdeccI1nGfmMlNRJchxG95Ich9W9JAdjGCaxKMlx2N1LchyGt5Ich5utJLf14lUCeUkOwtSlVDatJJcGYLURJLnIczdeJJPkvJVjdf8\/Lsy5HifMwTVM0w0nzMVBsoYxL8ytwWZLcRytMBeEK2+VCsIcPukrVphLUrihFR1EmEuDdJ1GojCXbOEqdSXCnBe5MaXmGIS5FWIooUSYA5vAX6USYQ7GGxqNKWEugv4G8MJc6kEYR7wwF4dJTPGEnTAXR1G45YU5P9jAIOWFOSdZ0Xq0VpiDIPXikBfmQJh4G8ALc6sNiEPAC3Oev3HCiBfmXC+AFGvQCnNplPrJihfmUi9OKE6\/E+bS7SbY8sJcFIaOB3hhbr3xfTcUhLk0hNvEFYQ5GMar7VoU5pLtZpUIwhxwwtDfCsJcGPgxpV9thTmYwiRd8cJcHEQJdexbYW7rbjaxwwtzq3TlbGNemPMDz12lojCXpmkYx6IwlyZJutmIwly6iXxqUXthDvpr6G1FYS5ygtCNRGEuDdIVpfHqhblkk8TUJdsLc1EQRfFKFOY20TagRa5OmAudcLteC8Jc4LirgBfm\/GjlbSJBmHO3LnUxtcLcCsbb0JMIc2tPFOa82IcUiE6Y8xEpWQnC3CaNXUol3AtzThxSM+mEuThY+X4kCnNhHFB3WyfMwXRDq1w6YS7ZrujD0AlzwHFjNxaEuVXsAAdIhDk3CiMfiMIcCDcgDGTCHCfx9MLcNo5dhnPvhTk\/3aTbVBDmYLhNHUcU5pLVCjLtnTAXx+stxVi0whw2TPgSYS7exF4USIS5bRrFsUyYS73EW4Mpwhy3C4MwB3zPc5XCXAgD4AdKYU6YKC3MOc7aizyFMCesKSXMOc4Wrn2pMLeJw4QRCQZhTtgNVphbR2EaqYS5Lf6PIMzBIIkp9ewgzKVJ6lAUZBDm0jCmOYNBmIObLX3xDsJcvFoBP5IIc0g09fybKpRLapH\/FPh+Cnw\/Bb6fAt9Pge+nwPdT4Psp8P0U+H4KfD8Fvp8C30+B70cR+CT+wUSaQ7v4+umhAq9cRSOhqqe\/Yqp6ttLdkmnBUuByVhnnkQE2sEISyNggudKjRNpkx4hFzQ8ZIyEyqspQFB0ahYSpkhYQfmMcDqFiekjknVFYmO5pIeE3RuG0dFILqX1nFBairFpA6IVRKJgQa8HgN0bhEMKtBUReGYWUxVALJpOXnmJgkHtBC4a8Mo7X+MbWQCIvCBneV9KwMRG0OwbanQ3aGwPtzQbtj4H2Z4MOxkAHc0B3HIEGePfK0hCWOw7LNYXljcPyTGH547B8U1jBOKxgFBbiBLRHEb1w7zupePv0EL3eYcc7QDdvdwfo5r3uAN280R2gm3cZAQKH6j6LjQDdZbERoLssNgJ0l8VGgO6y2ET\/qoFEXjCD447Bcc3geGNwPDM4\/hgc3wxOMAZnnHRRkpyetR3em3XxUSLheD\/ti7M7wsLleDf4tdmdYCF1vBP82uxOkLA73gd6a3YXUWawVFE2f6EO0KCDA7xhJ4j8brAX5MXZHWFNwHg3+LVZnSBbpB4+emP0UGNbpxYOfmNcmAONMF9N6a7B\/rpcrFajxbuYroi5dWJf5KMlymDBdMZwWgmojzBZSL8cG9Wf2ivoTwNW+k\/t5fOnAQP9p\/ba+dOAbf5Te+H8acAs\/6m9av40uGeITZsDQmUBxvnTRb64t4ZLOhhKSb7tFnGenVVe7El5AllBvBkS7DbAIFb5NQcDZiV2tFysvF8seSaPIds\/nTXdcQwKVI5VgaxOIP82OG+QyunoEICqVoZsy4rK0\/Xd\/FBViUpSQkSV+4bUBUizPG\/3DIknX+FuEV+QiqH5F7ScbWO3JigdftuC+oxRKjC87XTrHyXKQoKbVYHjAJW+hGD36EA3cFv9K2ok6njP8fwunhK1xg0O5POCLd1mn8AfJfL+iEK3M\/yhJ1UJkt1j7MW97Qm3AqTWTp3U6yxgqDXKE+R7AbwuwKpttLHpYQVWSehTfcI8R3bdTbqlRtc6p6zTyE\/oAaIEJkj\/HnldPCVqPpf5O\/LrWK1oyPAFZT55hM5m21krMYy8tgEJV1wBtpnEL21WMdsc7x63AP1jmxPskpNG6ZSgkH6XYADj1Od3KfVSFybsLsXbeN1ZDdldAluw3qb8Lvlp4AeA3yU3dqHncbsUwrXbmaqYXYq2UcT0iXdpDdZwsxJ2yUvDlB5Gu0vAD1duwu9SvInjRNylaBMAT9wlP133YZ7ULoHNJuz8W6hdouOGqF0i47u3t9fPnfzbdlKV5iWGBZSVtqXp\/Ckrnjahc36zYpDHT67jvBwX9gKX7l3uu5tytzhmSQILZYbMGBQvoF7OSf6UIUmHjJD8CXXzsbOiqaT1FP+ysyKBbyijH0nRhPJKBv3M0NR+WdgL10ezXS7+sfCWS5LEaU0lcULrETDrgT7akOVo71aytbU2\/zk12IUqVzj9TnsF8z2gE2bQA80dGNWlJB9Xlxxy73fr4AVUySyqTh\/J\/oSYAykq6OtNkV5JZpsulRjKuLhwFo5BvQucm24R5+B0fkKZZi3\/OXh5tYKQ7Kf77Ky4pEQ1KOqltMCNz1bRacu3kKbWpQuNCq+DDNO1M8QZJ\/sJhu0EKcZv5cXH0fI6TC1WMbthKA4WV5WWDNbCM5kxkQG7AM7wUzO57NDayNha10FPlMmCMFkyKq9NEypnElVoE9K2IoLHpGgbqhajvSXbs5988GgstodccFwyZHaPRukFRhzxk2GRhwT8roMSQukXmSf0axWhN1hbij6uMFUNnF+UJdlhLRmBo36ZdGFQsr0D3NbsQn8iL4A3xFDeNdW+mH0YFsmAOujKwBcMwiHNBYOrvU+fyzhm0whNp15FfQ\/DnITXZuPRlcQyg6BA8skgd0XZPOHc2QNstDr10ixP9l17FHaMrj6C2AcZodzq5H8dqium56YVlfx7Q2MCkucJrfM0dey6PnkeQXbXZ+1lL6vEIpKrreNOrReiW4Au2eHA6UkOorfpDuLit0UYEBau\/bCtvm3yJb7MliP5fbm0wQfMTgwD3WFCsHAU2fgNIMkyLlNXsZbMpNmBIa40xdjIkzUToe582PHOVFvGlwraoP\/7bMd5dkIICZZL6o2IeqPK6q92tJTeOLuMPlcI7yzyc\/ibSlxOdGTdg\/SI\/17KdY1nVTLR2r4UmZ2U8VeeDWZ0YR5V3+vGEsMUifjM6+FEKj9PHBAAMzk8W7TpRbRgDCHZLJjiqHmAG3WeymNZNzZOqY3SQ6aym46T3fr1HT610NnU3LmTWFLjcckrQaNxIqqqHOeyFUbxzn0z18UOnAai2xxnieovTxT69a\/TuWS9laOHrsPbXhonx2SLpMiW1GKJshfSwzFVwqQRLP7n4ldynsszLKyJn\/YfXnt1gAyHMG+lZbgNTnSfQRuJa+HYNtL74gaT94URQYmgo\/b5RXQy\/sL26cuJA\/0B9bd9yoovnzGT9EwaIlAtRwuY66CJNglmfM4EcHFe1jD5YlRPvaV86EZqCcTpi9UDSy5l\/6u2c\/BeXlDNh0uWJ8jsidDPPpYnaMO3c15WpCIfaUnBn8vhbK9CTUnGO49hOZuBQAuXFQcWM1ahJOU0Zm40ZfhwYYiRJMIfveaBozoGykEYwiYLE8hycWMpUFNNz3Wc8ZX5PUv+708P5DdSjL2A+N0mUzf8qIHVqZ72SQ4PILdpRtb3xpFWMVSWk5gx8NkAummwACaqDNjSyBteZYB33qRgkcFKCYd1xmLdAqNbLz3RcG6fm06dYDy5qUCksxMTrnui0lUWM6MQYR\/bzorKPoAGvoJ3oUDPgpNp6OJMDM+uVf8IVWn\/jiHudiBt6BNleLt224LPZNwg4jS0oZ88eQ1k5HVUhjHs6yZ0N+2jq6xg3RPakV2mrWSVtuob\/pidJ1U7Qx9cOT+1noev8OOljjWLcgiTL\/TP5EunYR5kAfSS\/bqktRXYi6TdEyJYca\/ny+5xK3bICoqTBiLJqbeVCCLEQDTo\/Aqsb4hP4GynGcwTdhIWN8XldTChthWUp3LA9FGv6OIy7ba2P97GtKntdubovQoqeIBagQvkWdSoZKsE1o19KK+mHkP7Py51k6Xvdl+Rp23HN+kGq1veEB3GLEdvVX5j9TKsrpuIydODJfZKRGYrQlKeggbGSkWZFGKRZMqk4DI\/Qgku9uLZcz5fCCn38aWq0ShaLRG5CBIYlxUYKmvsJ5fWstr10LwxqS4Xh3i6IuUE\/fRvRE2hrXPeoqJRYa89PdVpRdrJUH9Halr7jIITYPLpoakuSnfiFpwdHZTd0q+onmXFV5NFZoq2axfb6E206Gwd+PLSEPLpiQcNv7nct6\/YZZri6mWe8gI6QzO3hTO06yPMc55xp4tj27W\/HKjC0LoyCaRCKeIveWNME8yqxDJj\/5240pgpIs7QhtF1KLs2uEEgYvcP99mXlmHC+IsPflpWp93icj7DKgY1FHwhnp1QrCamMe0oh8l6dTg0icOaP46R9liKF44VHVR3HAPFfYUepmXZyAeF9N6jLhiI8+gUvvirrSOrQN3vbwPPtaV\/vCjzq6SMHiL4yIOuec9hS7i1OO5pViQHyE7b90IfjIVD\/XSXPzA+ocUyk8+xRgeZPonZk3ZzoUiBjekKu4S9uxp61Kn01cShvkRNrjvfBVXVtj6DYuHTC+zjBV5JF3heBUS8TNd7HaSvVzLYYBhscOfBnq4TT+A3\/cnWHhGX2\/tug2\/AgO56kA3rjGymZ9ii9m4c9\/f49bpMxZdxK\/8Fbuw+Kwvqo7KwJBaU9s2seNm55M8YVIn9usPWbarluHNZd38jbRguNY6X3DFyZWsRK5SeAsIWm3mX3np\/DxIZCv4wUZ+gzV38ainau7qA6udENSKXaBS97V6PsIJPR886+tYxsM5WmVuX3EpyK0msNDtcKriUXiR6gBjK8spfNoqP6pfDc3ZlbkDi+0mOy9AgDewQAj\/mxnhg\/0DtQNvZEeOpBaysOF8a6\/cGRNje+GVpyr32B9iYfT1Dvti2WD134oFibmyGgxXVy3JWV\/Uj4CgeREfN5DjN4HnRwqBvztiIxyCRsx+h3Ap4oo72DqylVLYWPN\/xJ0MrzPPsXGe1YqD1BSnN3ukbNZh6\/bfVfMeL1n7gBBbR1UDVQektFOA692HdIcG6IlGUM9IekXyWEWxeISR+wyy+6Yf1mUjPIG4+PaCxPHy5DhSn0yeyjh8qT5wztP\/A1ZIJAHfhtj6amiOAJy5MCftEkyPO76Wq4\/JSFfC9lmvhmBlxYg1yo\/lg6bi7wwfv6\/Nbz7GPTKhzijHWLoqcIFp\/+taivSN7TbCEM5QokHlF9zQlocAVUbKBJ+WKeDWf5LSbrZ+55kH8tlWn6YmBXtlmOEhzjRp1\/4xQeFo9jn2zsP+Ng1FdkPLU1cfRaE9lJeeLAp4vCtR4fYLFReY1hcfGCiNDGNJvDEYv25fbQeCL3KH9qyQ3LI7j4QmRh105BJKAA6GQSdtCnRNVCD290Hk5UoSJjaxgjt44XZmoiJciAL3FQ\/e4Ad96OXhf6rajOxyW5p1Z54j6kHcyFWmwZAVlpIi9iwYelqY+H0u1KJYmkFItQazi6ZjBeqn1\/PyLLHc\/ovSfrB\/h9x+TqPgI468UiZrAJyGWVLKTrD1gkEQUQ4qa4k72NgbZ+JvSl1IN3Kq+P4PvpWw3DhskV6zRBTvDjtaDTS6VnYK6WY7bxdo9NDJUaT5HPOyLGufbm1QHIclq5ESQyFG4e6rei1ZQ6ZaxKNHBz8tXmKg77bZIMm5KBJfZyajHfHtZLMd71Kx31t5EouaNXFA66PXpKj05Oh5TAS77kU+2JzvZRvfO\/Rhls1N803m1bjvXmenBnnUZZbef+2zuwWf2zfjEJ1kd31N8M0dS50dBSM3KfJxwhaATdgW+nUGRmPIrCnCThB\/mBPbGw9lHCvUtn0o7Iso+WZUNaGCb+FsKsK7k8hc9KX5O5zdRq4ZMCPYZIK02lseeVkhYkonoUxI0kTvF0t02lvpcW2pcsIxkcAOOW7jssGOmcJlgz0yVMhdE9VWr\/aMseBoW886q7D2dHgyLtX3De7\/tdVyVeR6BqjNpNMes0Mxz8XtV5ih8FUR0pDpNCMX7WkYapcuuXiRfQgip5ZJLjl1A3\/Ce7XIJP0aJJaW8bgllYHxzmyu4hKU1oaSmsAixqWEO48ZYzuPXeKJMhzMMTdIv4C8EjMI6n3OOlOIi\/rDqH0eLQO59BLlW50ChgzvVwYBglGIVzqCAuUCTHN3bk1b5jAx8Up8yrSGrt9gNhgq1hRm5Wp+P1+lGwy4lDtpKywtfXi1\/g6JdmduLvLPCGUDW3svRIuGMKvNPAw7S3FGajFCCOyNtuR\/eyk6oZsoC4QjIh7jyOKviHFoq1ELYR+fqRHY+PMUB8GARJGbBjqwcKhDtm\/ISH1t7z25xBoX9vu+NwJqNxwvxnNUIZwoUBUdDjbLioPjutayYuA02MNZpo4Kdfc+02GWVdZGh+9csz+34CAq0Uv0ruq7QEA95hhD0asB35UicZfku0qboA7mUGSqsBf96WTJV1qNKeSfDHL4AfJHo\/DmQ71nzvls8rxWjR6kBKuPh03p1PB36unXoIGbPOB\/aJA5FOGOmecc63z\/OH0E\/XS0H1moNOMulXvDil0vGxsjXRYEl\/cII3oreR3grCtKeiXl9bDuwP+D1RqP8AI0zy1M6MUODPEwOsFbiCNpkIXBlChoi8LLEryoNg+gf9ALjpqxsmKYwbjAUu45BjtCOvMyIly0NYIicoNIh32nf0UynzXz5foafHg5ocYo2xUs7doS8oKrQSQoXgSEgnHsTquAgdxEdJET0y+LKLi6FC+yqeiOQkrKAV\/lGaXmv\/vvsdB1osWrcdE7gaaZX\/GU7Zfr7UaYa5iCCufQyHogE\/hMxWU\/2yvnFQv+1XCCMg099N1nxslzSEUdGfLKozzayyd1m7fA03kYyejbhbBdlIuUFjFL6KSV8pdcb88NbsjqafoWJayt7+7APj9\/LEj12nYiWUbJvWXGEVdZoFdlGdI6J3xrXdN\/NmIUQo1N6a+Kq9N7dLRyRoISatxVOI136R82BlFmfsJ\/1gJfYA4PBRxth0NL4gdc90Mxg8XxMOGWYgWZcYtTB8vyIfpqQAZEZCsaZIe0Uat4jX6aBYHWsG17JihooV7XbhoM0w9fxDrVQivJq4II5R+NE4H9NrmqG1VwVRoAduuAiibsiu\/KYNWcWwjNY+Z5jGxkFXvhRbxeme9Qw0Y1cO4imYYJNQkkyh6mOwv2E7FcYfc0aHJHc\/Y2BYy3LzttTLyDBHgeEwKrJYpCL4l2vXya5iEHxjr3ZeY9N5pQ\/h\/Cknf6Jnb4vmf7qLpKPSoYZddpvB5o2V0bhTGPsHIJ475ifTkchBEd59wqO6pcCMcbEbVgmdRsv\/FSikZUaiwQbT+fKrRIGBJJiBfOmMkWOrJSQcE9GuSZHoEiDqLPq00PV5CjNBTUGiT1sh\/L8PVEfLNkFpag5FiL++xOqV3opsrhMoB1lSaZNdz9wBbAyVbzZLiLpjFeogP3+DyS+cEqLll9xNILLRMWOdmHPZdUYLuzK+YW9vHgeYjPkx2d3JDBKSKEQOlC3M5IkMjN8zoqrDCPs1QjXgz8uL81V9DIe+ZaoN75mRfLpAWUV6hnxLt6MaPkMIeDxDiAYd8n2LA+LrPGmnMCS0d1DUkaPN+q1PftDz8OzbpblRZ7sRdZNAuOszsqC74uZp9AbeTqrP9CAGjYPKm9nYRfKSxVD\/Tb4xlhxKhNISCw6g9PTCMlggqqBKYjNp1Qh\/060uZQHByrkciiLJ2fhMOU\/0AWzXDjYEx7\/aP9ynF8sB\/+PMT69wSrOanEpJy9i3QDEUSTGE45zcKE7lmHzaN84nu9LF9HaWzUfHvZqVTIyyCGaQf7LjCSauAb3ZhjbnRufOEwM5VWDnx4SXGwOS7K3kY8WXlb816o8IL3EsPDTPAK0IMWBTof3CrImKw4EmGX4ESLsyUj\/fIGpCiaXGCb2qey8qu1zr\/9WuUGNTh\/zh6BAiceJaRdxvlkhmjvtE3hbLkg680VWpFmRNai0xlf4nlbgBOvu02tTynzJmktVLFW+TH+V5WmMm4AMciL\/JT2vFiz30zwmHTa47js54PfH0NeszeDXLA3EE71SNmZeKVOvDTyW8tKcLyaqKtGdbdMr14Jeyz5HDDSQmFRukFmR3YhpssdMhD+vGtqGfwc6CYpwQ5srWiGJ1ChVOI1nneoAPp\/sQmG20mcFGT6fY7tiPsYWOm4M4\/a5DsQL3zPRcxtaD91xi6wqCUBWmEpanKFHRx29pTzccCxU4UOQlicJ0\/3axskoMmJpncOq8lVIJyF4xMkjCD8uAwQ2vWW054MqUpT2pZtgQQxGev7863VU19S+io5Y\/QrOg9HJGZnVmGluivWMGCmv8xJjoI8XR59R+W5u13gr\/VCQPf375A4zIHCIM7zUspJyRKGO1dbCSo77WvP6cyFH55y1O5e1xkQjEBL\/A\/KFqFN+COm5OPxZzVRvt+el7+ZjDCkGnaMgEpLY2ci3eqALqDyIOHxi2JIMHKucTVL\/qrqRDBQRBE1sDHlbtIdwWzoKwbS\/KzkyNcxTJlmJTBGKlSm2u\/iVGdpSnlpF8bJqKLABNyWu05IWdKeaeWQjHpm7fO+WXbAdyCJRyefkae+iPp7rcMQVlbZ5aSyIgX6w4g0R3nxDBPobgpMZeVHH0y9vMhLcoTHKcbZbRTdfXya59yOcspDpt1W0LVGaSyVoNXqgZxrkcIWN1vVx\/YDlRyL75AtcA8s81FR0xjLIHRTQecdZA6l313iZ+enHTZgIk7QHmkWe5Oo1M3y1jOuZHHGeFV9rSwkWJUC8ylPk6AAuwHXMX94kas8TUp9Scrc8\/YTZCW0HOc3bXOrmYZxDre2SYAPpWJjBpUggzrlPhtD\/7HMrPntKc20\/JdOw42m3\/CWnMGKRZ1ezhUY8WwFeprvsucu90t3lg1xXVPx+n6ROdfpaq+RVmpVIne2FCeMwcR9YjuW6NmRiq0sx7RJRHNcxl+Rgbt7guVqU6lIsuByF3swQ\/qYC8VdZZN+QsJAogNktkSyTZqw4\/ervbYgDimJ7+CLRxrbJVVR0UJ6upMt4qxIHQPVVHddCRXUJ+vJA4tQxwSsed7wwU807rMLdU7uTcF4bfBj2FEnmUnSGj7sYMOS2EZqdMvYNU9InCBOjwapujvJgTrqmugNO0QnfkPldPAWhivwRAvHWgIh4r7EZ0jWoO55K3UDZ\/t1pIho1KjA6VWyYQMq6Lm7N95jDAywS9UBblkvQbPO1Cxx2S4REFdKsFGyxIYOiF+buo2ReI5kTQVRepqU0IGAJK2mSKkPllDqm9u\/6ucfmLp7r17FE6d4t3oCTnS1Hh3ubo54cjsZdDzsY8XM2sjZIe5J75pFOiC\/cxPBCeTdaz7z799b55c1ztFOs1GyfMzk8pN8a9Wbq0LeLPR3tIy9Gjo8jv19Q9TQpVmm5oaFXZVivxtXS5FywkOk4X50PZ9MoAWM6Oq3iiXBjCFl+1568nhGpq4T4WCGKZK4FCENbRFdNcTzCEd3FzFaUDVMoQH3zjZgW4bn+nGfXOYkcdDA7Y+1HG1CpE6nU\/wZLEx0tGXYCG5Dl9fWuiggMuSuZYF7zyWsLPxHmx6xygJA\/a0Nliuk0oUIpLo1dxWROu11nImyXD0uLJtVyBUg3JItlAPVxjTQC3sloxnXU3KNElQj2q9nw1adn7sSesZmUCqNx2LOE7ZcYQX8jKPrbwmOMmf5yROHlSyj1xlFS6iY7QfSm7Oigo2G31Y5a\/5m+mTc3eQ5O9y4tQyMKG6yy0tTS8wpe4KisKcuZNaYc9eXypzfGZ2vG+XnwddFO1tUBEVK\/s+n4x\/QT\/g+SSFuVtCAc8sD7N2RBpVbqHhkEKHBEjLzdr0Z59uKvvOVypDqNXLt9Cx3e38vuP8K54FrjV1XlGLRXOTjXEJMa\/Jeh3r6rYW5pHydXg8Mi4ukcv4fOxaiD1JTnkaGjpEzN8W\/wiZs2v063MJZvTT\/b5Dm+qjS9Gs5eC7QlkwB5KF+QwlzgyqYVWDDorKU0amulCYyPrCsHT+fm\/Tpey1iVXW88mY0WsWYiCVrUlwy+mnHyFTxD0DwRPiXLc6tlRrARCjMjS2OXX+QIaiwha0KkR6qsGLruo9G08i65J31CEiaQdxa75xhRcpigqswSsX+mIA+rqqzm5EL1hogwNJ4urMDx\/GecrfSqS4qqQB5U9Vc0Zeoc6NVhiggDSVkoRu20Gu43Fh+cqYaj\/jSOFyoaogECzWQUSnXZMq\/DtcEq0\/NeOy9HXQiSuejKyEv8ImoqalqjqXilWcG1pSM520Z1Avl9srpoawFqavtpK4RxNuu2kqCseN+30WhL8lux\/6ritrrcsii+ob0wnXpPRWAySHiuUPSPBukspblazQ2q\/Lraco6WqcFw1DZkGali0W5qM00TRTCIkH0Enms6A7wu7ozRuH1+lnhnfzNNTEJ7j6B7nRRNsOZ8jkal\/JzLoGLcrea7oT95UpVRfwdrNBRUUbmZDKL69IA9EfCuMTlsTLO5KHLFtC5kbTeH0nBt5N9NWhtMCy1t4Vf1U0vpbGFpVf+WWlGv92q3tCFPBrUqzIpeYEWBpc8oZukzblkjyZ1YhDnnAAk2b4o7YJfVT7scFIcnUC0t8telWi6vrIZlxzKToAIRKvxOM5eyVxR94l5SMNJJCka6SMHSfFIpoKe3QK\/0ijeLSXts0VnzLDp1osVmTLLokInBO562vlgylbIlivRWr+VZCnn6sG2Al9hVBdijJLsa538q3uzOoSfKIUzwyb9yidWF0kaOGahuhfslxVdqd+t2h7m7MpcKbgtd4Bc0dYuWAZbGs9EwcreA\/kya7PoIcy4ZogjemTTcAub22+fn+nRVFpdyJsMju1Gf2t2oT3ZTlnmN\/\/rg5Wf7P4Gmyt4Qv4r7Rjaw5VUnLMtGECzVFTqSz2eVPz5mca5TrNPtJ2MybC8KZQUlcWoEIbwqu6JE93XPtWFG9eHL8irNLkwW8mgh7nzJl8RFP4lblh3BI3jJ0HA1xcPbXeG0GIaRjhSKktHDUwSTBCZfrpJAcD4XgiyaHAvFTFSbEsGoRUPXwCXPWz6nm5JYjSTYIB1Pl2kpeTku7GErEdNkN+XZQmVK+gct2bKPpPk3vjlLoPABIm\/20QpQCt6ltXU0dU\/UK7hAhwKz4PQ8+trubNmZWZoOPerxnQjoh2elUtogBSqXJQe3LTzPOdWL+BJlsR3BvzJYPT17lmM5lrtcRGVz5BLkEEhpVVKpmR1pHvX\/6wnN9VtTDi+6e+7y\/DY9Jb2YoIJKET0x430B3xrj7Pl7MT9\/sAinJZa6ygqR28iJzJmSv6kfu8xfbz87zdTiGQFtwGF+wknOMmqYbnJywMjd0+XfM+vkXfJeMSjKHlx0EaDyR\/VYMiv0IkpmRSFuZ3OwPeebzu3+oM8I+wGJprSjoeIBzPJH+UPGoqkpovgeFbnlb0M9GR1A\/1w6mNTMUUFX\/QnT2Js0g+LVoaTbei6Aq0lUI5HqXUZV2OT5I1xAd91TGvMNUzBB6GCBDg7KwzJ9Crhg5a1T+E3OyJjMbG06sxt2HK+AVgU\/vIHXQ0A3FZ4eobwGizLhrpj9CbWPlGwZViscYsXMvWwmuc7w1cmMKCBfmkHlNqMlH7K4tD3Pj3F5iXR43+0Pwfqy+ELxbDfSD7LvhliyINU2r52hBZzPEFTIIXuH9HlIJt1TbYT9FmsL4uWgmomNGd+85E9pngKSmXSgy6PJyctXqT2Ji7JG+WXvVDmAS7\/hTcw+gY1RrVIbZPmX66xKt31qG06sRUCQgQsoC+Hy\/Q9usX0nRrYZHg6jzRW1CCR8no+2mgO7c1KhCjOYB0vJIeNMOoo7hUZOx6DU4IC69gaLFBuGmxjLGv5HDUEVH41uOGegs66ksIcsaFFSVlheB8r5W1L4GafUUNcxxjuQ\/YUn0fkGlG\/61Tb1H8I9xZdadB9yle5Df+BszdOyXJBvRkL6\/kCoPymk749DV+WDu4MdWpyQF5QUigb\/XXnm8LSvI1wF7\/Ko7UeinlyHG7WKCDPRRiWBMTnX5DYQXUV9vecENS3k1P5Naz00TKLR2usV\/hGwSPTffeZSIjx8kWfWU4q6FEk+Z\/HXLy1hdxYuex2OJXDj4bAX0kDY6Frs8sw+kzrAd4eC1HJ3oD9S5vtHcTM35L\/U63F75pvJXRIFAXw7gyIRqs+JRbFNhHqhFr2wzYHiDBLjFy7XPOYIKSFkI\/lOZddBfcJPFY9wmqUh4qRNUTtkNPsm\/exq2\/Wp1QL2luWsbRisTa2aUFFWZ4+BoBzHAgjcysMh6ZAFJ0YDYmuU7LvlHkKporHlH4yKSd96QuVng3aZl2+K3EcMte92EUzLCqqfk3IR5vxRfVrssCTzdPSso28dA+tsXXKrzK00O1wquLyaYu8ACn+\/vPLBffqPWg8SYOGUNhaRT63fGxBh9vfL0pSB6xHa2AG8tQlPzWjEZpAYiUUxzH7ERIiuZpY1n5OwAK0B4WKH9ETkLpPkYpyRKA6Z22Xszc2lAm+pnKcYKM1bzU0s07r2f9zo+MrkqtIHIxXK65ONQgjq726GmFNxqxus\/sYeKWlBSbrOffNCCheRsi6sccSedMZtOM0Igzc5clnaF+G5CDX+4awynQ\/PR+Wi8\/5GapyC0z3ytCKuUZmndV5OTd8zPV9\/c2LWuxw\/OgHrnCOFvucsmynIcZIYfeHfvWmOoLaTxXNxQ8I5tT4GXTkwvwWBbkwfcBetEplFa\/awVC9gtawO3394pakS3b9p50zlpNx6Mr2Gt9nIeUFliQUNLknByIJtxjbSCJLnBUq+Xwz1MBJEW7c6zCBbXvjyavnY4Wwvut6tcHjlOnw5WhsklKo2AnuXSbwHTTwSu8\/NNcVoFRtwgLL8pIK\/4pi43BHSQwWifVNe4mOrONwtzqCw3\/e9rDY2nDvIeLZayMNdLMiop9dMVwDF3vO1JtzRURiRzfZVaslvSlyELocphi8TMl6zPLfjI0oJ216ciKyqOpmEOPkzLHqtgO0H2ALmdMZwdGpQ6VrnF0ZjYFYC+UYG4TbXNF+tMdKsBPIIwlgr1UNSiDotql4yr1bJph5M\/nKltsDBm7D\/HokSqFmO0QoFRijndKiuIlp9z+QP+jhtxHs1+UcWpJzAZ\/WWYk89VFvncPi31LVUjBXXsDSuLiFo31T1AOYUwfxn0xigpTMSWaZnB6tP0iyuQgZW1ND5e8eXCq3Av6C+9qQyIr4BubKHz6uuBUGOET7igdOtf5ToziHN+qyz9QlJUvF1WmFXbTUSc7nXMT0PfxOCoJX5OCUSgq4w1c3ANwzuptTBKOTqBymj1Q5FvjrtJCUVkTdOAg9UnWeyucgLDFS13CGwJQOWek0ttSrBmq17DQIZfUWt31QS2EeQeVLBQPBV1x\/g4IeS5ld6F6jZNYXIkt+i0YqaYpK8EDVFN7mrlKvlolAMGejMLgtLwmKqhv29\/KJ\/OkObOkN3m3JvZ+h+s42coZHl06Bw8uRS38ZFk+dYx+5RCNm05kp9sovykE+uLO2PiTn+8j5ZOQ3Sr91Gkr+p3XG0Gru7V2D+rkWl2xmO1nVu35tXUrn9+DuVVCbm85uL7+6\/X1nddn2GkrXtFDj1pZEDZX3CMBSMsE6\/OasW3w+lpclfrgYpUvGLi4hf3Tl4dgZtltLxLlOl+7isMND3KFrXD+pz5wszmrldVnnRCPT8nO0SUMT\/rRcPHn572OtrgGsLJEy3MZLx\/I6O2Rf1qP6H57neg+quvY7noJwxMlThcwH0RSYoZnuKPEFAz0ry2i\/Z4pLPvD7a7\/NsesVfP\/xlKXPn79yeNDQuAjVOBW9SLpQe5PO5rK2xdwp4MEhcx3+i8ghjU4trqoUOj4Y6KRf1XVIZegW4arcSznQrONz5cyq5KYZ7KO+X83jKUur90qfWacUTkR81leCsBvORHrVVTtzRycHbLbzFPxbBTWLL6A7XVXydRM9MDm8uqqckFmMvMCqi5ClKKNFqXi2v3RU7SsHp00PHSM6socTAOpZV9hcKKlVA67T0Q7aH+X3FVVnXM+szMfmzroKrwrjsFSy1YK9Civ0ankGFwhy6g9vnnzOk\/QTwoivzJCbOn1HgQwArYdVxer0uKeS+\/V+7zhKozLM\/gO2y8u3SrKobpBXOk6tMnHfGzY6nOi7P8C5Omr1yjbEf+4bBgHS1T9MUaP34B6ukud5tbI0t\/fPkOqemAqsjMPvIDBmmRywbKDEZCw7aOr4mRFQ2TXmS69PMxi2vcEnI+GuVNejwnUp0Lvq+q3yvNMSIkq03q+KsYUwcNR\/krqbZByFv+pjWS0mLdFpLmbsRwyAFylCDAbFF+7vcKi8Y78VyGGN93WLr4Ba+YyTlqCR6HqLgwf0tMZLCYThlSaLkyKVoL3pW4nW8JQolocsYq5mijbLcNs1ISKnTqIYlKRuae8lghfxY31WhCRPh0ZzVfIuVwbglXFenvl7JXQ5ZABwrNc4+VXI1Po0evFldhiwo1wpWcbXxG0\/I9PVNE5o6g1Mbq3Oxktcv04wCaZmnCUnkq2BiXT3Gp4C1eBh5vaFOpfUfb7rMMdhOnycLc57ldGbmcUJPyUDVs1cU\/fO5oEtD\/eo\/X9n1dtQfWXYd7coPVS7dnB36LnXLh36kJZO1n+jSuiCaM61Se\/fFVbvs0i9fsS7RuFx6B1lWbdvMIjqrlPEkaUxTF0kZI3ipjMz7bDpBRG1+W6w8FNfBFohhJM9e2vHNMhqImZ6lZXV54mMYsugvp3o03cN6blJqSbM5k44C+sAurt\/Xr103loZB99DYnjxyljDsSG95dZeTa1B150Fd6EvnJGOyQcghnr+l9LmLv6kh9T6C5rcD8k8zTyXLByari6H2Lwka\/SFofXI68i4GTVN3jU+Dro3nMqks1rmu3KXaWs\/moCnTvYfq3qkKCBqRgQeIpzMH31UJVvsSELOy7VgaZnNq2TQxkN08FFF2eXi6qHLGLOMu\/rGw3f2UCpKexQxgOS0QXWL2G01KRzEq2gDo5qZ8VBKLpLa3CVxhF589I1i2i3Q1DY7FePS5\/bjV3pep3byf4dV4ghog3XiGiGHt+HF0sQzj1NlDDaJWxTBbH\/FpVui9HK1VgENxJVaVlQaBmvwq1qdU+ZuLMpI8ReH3lRjp63LYHmc\/8chpvR05msyFsuqdzwZPDWPCNgapd0SQoJihYVr78sybakXfVLM8mBe\/Ct7Le5Pc8PXp+5czq08fXM5MPilZObPOCmq1tMvqImOtLpzUGmQIS\/Qgu6X0WH2aVnqsS4llafM8qZ9aWhnc0jrbWlp5xrx8HlMysVtqs8KMkpBlG91rOMhXFXv4T5C1HFmJTyf7jxEdEHoHvmWNwWu0iKx5Lc7LGk4RpYkdITudYFVnL\/ALpSNJszeYDBkMhirJVPI3eeKEl1c+c0LychwNZzBzheYHLEnhQQaly8ZgJk5JuyI5OjTAp8K6ZbcU7BA2rtAZOQyhaavTCR1I+YCeB3IRo4V9ohauEzD2owkr3o0ISVRWp4FYzl4qdIpIxZF20ZeynaSqWqgCwAS1IU6NIwsL++9PJCSMOSOnrHgKA7oe28vrwsbBiarYtdbgV3+5mp02QQoaO37KinQKZeXIMKeUcJuAGx1kRaock08V50WMH0VZf2coc8Z6W6P9+TaxWqJQIo8qnDMg+ZJqTev2hhU2QV0PEDsrLK116CiTFM0ehlGklIqflfbC3npmCY+QsK\/S2tSjQU5K+iSpJxo3hPPEKiRmpHqis7pLBLK1wqmoDOJH1Vr7U7KUx3P6KxLQafUEb2ibQI3ZhLsTtV2dWN5aQ4jnksxAInFPwwp6GWlvH3CUOlBRauq2c9A9h645rAhDtUDUmirlYnzu0Akzj9aQkHdpLq4qgTNpbSWldKaA47MEe6oqBap7mE8D7K4nfY\/Xp8\/\/JnW5msQVILWrEZ4Q5wtp1n+EKRtPwJQAcQY0qoQdkqA\/JhVj0A2fVa7yHnOzoS2eFULkyLc1zD+zpvnJnBoChc5Dm65xUCUu7zdFJvMhqkThhs5QPIcvbDF7S\/T5gqxg5LKVID+SGq\/tNbHdTvi413HSzKvnKOihkAMBv47prybRG4PhRrWg1IOlclZNqOKhgodYENk5x1lB5Dy94vgLRx8nf9RfEp4jiEGzg7nlokbX\/S+L37reqdwM5sH+\/OqR30fQprmjVpPXklHlh\/nuJgraA2Mn27FAXg0Xx+DQVQk1ecHxiZ92U+C0hzQeYjOwfcrenrJiUVeHyJKyWYvQ+cWicHY5qc\/8RYX7xLTV8W84e7ZnXoZMtc9Zko+ytsvrHRGLdDhIS53qgqmoam7sVTObksPsqVhBniTQ7XLDVY9XmP27lSNa3YeHwVRGIG1rnrPRTkw0dQnufXJGRuOMa3Yzz2UfpNecsNdtE3WV4ekqLH5zL65dDvroqdnz6W8uxjbJbBXRrXBKudUKq161YqLw21FWmXed1S\/LexFxOWriOwwPG3HPDu95N2zlPZSagwCHrktCPfHdcqPp7l6KAtPsRRPzcSnIsPL3QEFFifeOPRAiRvORdwSOc7TeDFqaNnvcwDCiLHeU4fX1JW9qOjU7jpto9UOjVXjulFuJDSq8Y4LXdn6TfD\/bb8jfBVWa6vZ0WCM9XnJpISwxD8pEb30Tzwt61ofyqudrhbQVP0gxjmA095xRIAm7Fl1on4HXphm8m4vETlP8dWfcAPflanBZ\/n5jv\/MpHfXqSWRRsDqz3ATdpEaNz14uXNVadcU1XUE2f6njSk0VE7ox02pQR+sFp4Eicv7Ky0kDRVYLdgQPR2w49BS\/d7ygbrkwjzAaoOSN333BUo05k4Yl5+2W1zmlolQBL3SI1ow8O+r8V2POljj4iXCYCrvZuTzb0VVc\/4m5s7kEDv6kaLBulDg3w4RMwDencaA7nhBxEB1weZQXaIlh6OOF02bWum0dIKJJ7Na5PMsumFG8OZdD4jizKqD0JzclhDuXXPY1s\/LA8zKdC52RFN600K\/O5q0+UGetjXgj00zRyt9AEJv70I6xIFhJDgaHZi6\/Y+krYzO1biHFSnrDxNW+4MOn2IKjYyQkZYMYdBu1VXCd6RlaM7LEQpwTdoAgFPAFVrPyfo7dvYitm5eqUggZnpUnTMdJsZXFxItEyKWx9eYwbMhh3TS9YVYkMiJsnDN\/YFFxITTxjLtqAz7uva1LoAygZdFqo9qW6VmnceeUQlg8bHKVtSCoc0P0nRl7pncz7bZlMljiy2ZWa0wDBuuIdbdGQN8auizdQnCmxNwZ0p4OvyzsBe\/n8B2LKpi7M3HWVz5xvWBQxdX65EnvsYIgy\/HnXaCZJvk97SvVNQ0gFk6NmqfsOZI6eLusRRpwKm7MlFCYQVlmeaOtzFLLzK9Vhkyd4D2c+WjSpnebU7FEXDD\/Rm5RUL46v7T0h0V5mazgFCZ\/hKjYx6ssGGI959rjDHNc2gLKIqQpGKDIlM9cfHVTwSY+mgbF6kdsH66KPkcp0pzuZkmyo7aELorEPIpepxdCiQBYUypyApJb9JjNE\/2G7nBchgvgplIkOnYNlyYdSC7Mz18s6n1YHMABJl+WhHunVomqZzK1UxJHriF6\/shijx4lqRfjSrjbsVs6nZGJLnM2xS1rZLK7I6if+iA+nEbH6lPfLNnIjeX1Lsatu\/AdsyaLEzu14\/NmQxjK3EkvqntWEJqhq71UV6MMO0EgZtgJR4zLaa3QXF+VoSwGpo8R2IMccEO4GtLm3uxjSrRE7JIR15Ab6yZpcl5ggib6JMwIkjHaObn\/\/z1tS4w1gNNIYGR1bragUJ0bAJ5i+aCTDkxIM2IuQtYNaLJY4mWkkSVkYoNUvuDorcO6wu7kuyFE3+5ns7dT5SdGDXaDZCMsb6dbJMV4YJH0ygsNqrbRUtOdI0cR7LZ5YlWV3F1lNRmYkk7q0o0gvnZhGntgIqkwHne8HFCVr9P8BSdLGlX5Oo9xFC7ecI7Oi7rDpTY70cvScZSVPseQr0s3MxqINwZImzlnlpmeQmysR3UUMSfFm32GBESUQ5h8WTyfIVHx2W8TLipG1Hbu3RPjaacREGauPnlWfXrI4QtEeY1FpXm4mRNd+7FzPkP7cEFZPiya2C4nIXPLP2Ifoj8vGWxo5kCvmLuLEvLDxjop0FbuRjllVe4W4HI35nT6HNiFUme14buyuNBp4m\/alJf4iN0GRmpxiTWaiWcCoYW3uSbQ\/Bcm\/eRexNKjtmw5nTlbWS6v6ArB4j8\/PZxzUDx84TI2mJTNVPWQgwIXjWEzl+1NC3iKSktvtEzrrHyQ\/UDlaaUmSIkdIGViDtVSIVGMs5mzmiLw1nE8mtXmzWWKABN1FT7iGMqWkSI\/K7Q7qnoz5wig+zpD1b4mOCSf47IqYCUW11Co3HqvCrmvBesZSQ3bHcUaxfgIi6AcnScfnXL5Rsexv1\/u+TNSxBiM3XgRPdPB36MMzlmTQVQ+M\/XBUoHJX2TaXkxys7\/w4e12o3wzrRx7PlSswcXh3NNl\/gKqnIdqZYNrUBFHU1+cuizE4i5TEnh+Uy8tK8SYLMNYPQCulIOYtFSbnFqyHHSVvS7Cjuh6QPH+eoQV1JcdllUYlpYkltaR1ZRPOOctLcXkGjnMfYWaPSQv9LfdwKM9BytlD89JdhqY4Wdno37zWDZXdhDUynGdP4f7MROMfS6uZqEH52IRZ1WMHLaVV4tieXr\/TX58gbov9CGd5dxFiCRFI244bI9nlLzPbtUwpHtxkBTZZEeIPHHbFoRDf5QZ1kpcimSKI8+5IJaxdv1UJLBAVa6PWdMts+EuK9kADA\/z7LKNE+AZZ30\/Fxy6+qpiEOXr+b5l78yDuqbVjJtYsEEz3+m5\/M\/S\/MCM6XsoUNGpjD2lfYudmOFNSQayyHiWVcgUxuXR1VaHoo0l1HcLd+OcWlP0bdaaftQGoaJEQgCu+\/4\/Pz3UTXm2+3Sy9cOXEXAjOVmPWZeJNSq6v059ntYCdn\/90Wds\/evY\/fW17P5qjj9GFtfB77ALz\/ood2zBmwMZutBnFva7VpjoA5xoaOu8vI77Rk9NNGduLqHTvFFqkaXCjCKokil7sM6ncPEby3P9uvCWN+QtkSSBHHGBIImcAjwYrfCNoRfw00OOdB0PdNIQo6CNH2ariPTP2l5u2CydjoEMoABVVb5+6Zl1+jJC0WQSLtbXiyNyFlft5kw8fBTBn2PZ6NnvdjuQNrC69uLTw4M2HS1FSDpvDE397SlMl0Kj9llSEqk39vYmrzE7pL\/cT6kgI2H5fr3Ky4INrfoDM+Jw9OsQRtRDvLb9IOeYrjwP7ygzHSq6Z+Kv11uBHC+n6KplacYKNZEobdMOW23XBBeuM7QbENXivqmwsP1AthOj3GHxZicQnhEji7R53YluyjPnhkvKA6sTwfWARjhxhu+OQA3R6R9SOjJ94lGQQmpkM0iDks0+gqxC4Jb6mR65jAYKtSjJZcBTSUbRvnIckd15dj140lTEmpgdoR83U9BRLeX0q2iUSEHfI7hOLfiNfycwLqu2hMKlSCDeFP6Riu50m9gfRPxdD6ZPASCRVgzOKD25Ngpscj4DGsTETAaDwae9aoxTGwzo+\/U6F4PsN7mvh9\/hNYXns\/uQ177tWC3qSlBGsCN5LG6eiNXLMS7gncOrbeewXdm+5EXWNkiWfnpi3FH8p7JwhFgluZLqkgxK\/d3Dq9ZELM\/h4ldL0b7bRTAtK6h+Trgwuf5c0dsOa1mfjp519K2zVebWJbfyzEpyK2msJLHSDOZJDRuLuCcvpSlh9MAx0KVRVHQOF12H18Hl2qyGUw4X5oqYYXTRpWnKwgJWVpwvjdWmX+0qkfzegAgzq1+WpuSlx3pjcpJDaW5okwwPq6Xqh9wdMoc2jOQYZB9yxYOjoh3mQAUr+WpYrVI+yEHPAnvtStprV2Dd\/ZX0epas6f46938VeaddIdNuJ0mmREYpqk1GqmUqF5W9CAYkUHwgpEHBgapcFU1vP60It6IvReEctBrIJ17gKwQVzNaRl6bN8a3VXOrbNL4952nE4FAVx82HiVBVCLJrI1p7T4HpaaQM5ZOxDBcjZl3jOxdPs\/XVxtrETw91Ac71sWyQ+0s3ZkyCE1AfYaLa1eoDc+BMmM+xfB2linThedGnz1uqQS\/K\/DqlCiRSEthp1nTFIHEaeHlBSG23eWbWLXZaYVmekZNEMjT87YFCHeLy55kjb8FqFjk7ihXQ8SqecxBDoRoCkyifw1nSwM4P5QAX50Vd6tyQM7ssLMnkO\/Yz7JPAmV9\/NqMuMCGpPssHsFiBfOzH6mavllw99A+K5s0hKjwylsfRlOOzD\/l1TAowpzaIVk+8ygyyGbaAr8bZKwxSS4VsWm9mT52PusRG5aTxnIjM5T7ugdAuXZchZnK+ovb7BWbtuVwaG\/7+YtU05LTbCqZu0uBB\/YQHgG0Su\/gI468wWS5HEXfCfa3tiNzor9cxrxQEhxSZH3NezaGdF2JpXS8+illJffOspAqvKEV5EDQpSU0s9dm4z2G4yzloVygY8xuz6\/gIT3C3wAa2RQKqr4qlSEADJ7PhKljNbGLlLqcx8ar7rynMh6Dy3pNihphNIBxL0\/fjIM2qRxqTdLITbr6oKdD\/ZJFQxt1h9nOjVGBETYGSJonlwVkiG+oA3ELn0edJVoMoh4mcsnZPxzIKGrM3\/Xq3XyiJ1EGKy+rX+yPAx4yOf9IWLieJ+HrsBFXT\/rcUNclrsEjULxn0TGUAZDpGcEe6Vb0iVZDb7tlg7SYkpzRKN8m+JKDOKNPL5tIyL\/7WlnpHQYaW77y8Wv5GVawwh\/YJZIW2F67OpTmj\/TJZJOFzFxuRbkys7Ag2rxAWBilt7+Wvj5DnWL4WVyOvwDF9G5cvv09gB+ozjNH5arJyt\/AW\/1i4klic0cLBtJeGoVmBjImohk5lAj89HPIyQkeCrpu7Z2OuzqCw33Xw7qASt9U6cdzFgsz6OlKC+Ze9ST45fELO02HtLzVCH2waaJe9M+\/TT9TGBtRtS6GAxJVaEwRDfXuoQKN1SzdC8w5aLgkY4rlwSmLwVOC+MkCQDLGc4GztGguCp6+fsVyDNUBZQ7T4IC+X1xcYN2VlwzTttseuY5AjLoZ0poTYerEdwRl+eqiy4vDw5TNxm1Z0pVx9Mm9xJOq+Fy30FiZdW6ADrf2eMEuqNdH75CuBIu9xHI\/ObqnelNF\/9jGDuesm6WeCvjf5nPfGP7\/tZyMhMkxooxl0h0kd6SDELozGHAqmJlPHO0xMIpjX2hIx0nhuw8tLWoAe+x8hl5+06WPJqURrthvIsqXiMtczSodQm\/8d9WQ+7+SE9kUi1omWF0UMmWKB\/yrLk9blWxpoySycLqOqtxyr3KMZFyUNqR2\/0UxzoOPIGoXjhF2UDZyfdc4byzrnSQyVTK65xa8se4tq6OIECKPReD+MZoJCV90GtJQc\/fnpIS9Bgom5mLhFSKuoKs9KtQvHf6ViAXdJVj1VTb4cHRgFUw9SAgVWVVk9fBEdjkUn45USa7MEmkpzrJmQFSh4EYNO2j61EqtKZYjLFozaaokMOEh7KnOlf4OUN6q\/0XPbx+uMQDDMgxTNVA\/Nb0rnmfFgXXFxZ3bW5Hw1Ht5O6090Q1EF86pGkCtqFQhXoWA\/VkGszFQt2\/g4Zl9X9rBImpmYgr5NrvdcwbqKzdXlQt5MAVEpXodHaAER1A7BKheVl3oeTZNbiVlKJw2CGUvwRAbVHv6p+QURd5rVzZXPtP4CK+L5b0fwCF4ytLqI7oGsEMetGtXp3LxfDcjjPUwuCEmuAMkhF3TFqtIwGJ0rRERGHVckpQ24dUFZUifrAI0La5ipHdCydAZUmaeRGtGzyFPRNWOtK+r9FqsI+t5cE955Z9t1mTaG6ZD88xt2DTeTsFneSzM6oR97Wkdk5T5UPZk1gq18zOHJX9314lR5ddbXW2qDjt5fWGPBR97MITm9s2Lrq9iUixdYZek74r2VsSuLpGwatefiK5VMcT9ujdyPaS9J20DeW2xSdi9RV1EqJcVnFXL\/nkbGRhhyBHHR1QMb5yb1pNdhHcV4O7OBgKg6JCvl8UITsCNzn3hH7Qi\/v8XBOa9oH9TxMDqVX4QBrz5yXEh6\/FE\/vlvuxl524qX6yUndOpPn3AzXnfgrVpYW7WUySdbZ3\/U4YR6PT06HsxJIkxKvtlvt0qiSa7WunzOYUDGewFEHmxDX5xu2hjEGGxuzVXh96py5VMEkjfJB7wYmcJNmflJaLjat5JHdgpPUaIW9zoCu8zOaarhljckohYyr0+5q9beuXn\/rLsdmxyhqpZUZJHUWOQk\/1CJsnl2VWSldk1vQ0t0z1jjJlZ\/GW9LZoKg9IfHMvs9Ro86j2uaQeLPTS57TOsY0e4OJJNGC5wbrYOOHQSiIXS+vvLn75ci3JC9H07pzkmSiWll4upKOnfwO\/XcdVxAWV5OpjWSW7sB+Jo12fYR5zgbqjqen7oCgbABXjfJ1GiRk\/z8fmQsRkVYf5TftE5MkL0dcv4bkbpEDT8\/T\/Cvx0Q\/N6xP3XWCHQCU3zgdj4HR8UxP8U32hFPh\/f9DSxM3zHHHz1p4y8Y6QD5zKc9N114Y8nglRttpM+8urzHKCxsDnAsfpt611qPAyU02QVHXkiBdfLkMGEJZX24blz1DxaaHisJSHiqN2Xag4eT41VByWqlBx84jwAcaEiHBYTojqHnrgo7rnh3P3mGkczg3LDwnnnmUEU4xPHgMOS0UMOJqRol0VAw5LpGi9IQgclvcOAifzbmdJ5tQO8y5R4Bg8a9YZcEfxwXeLAsfzPKk2\/bYo8BYLxsKrnX\/q4Op2kjcHV0vhIMEuz2Hy8MUy\/QTWDbpp0Td830r1KEL5DwqoJqC\/e0B12+3PgOr5AdVoCf+GgGrqWv3wgGpY\/gwo+54BZWS9Z9st289\/wGgudItOiOYir\/f4ZxLNxX7yPaO5uJ7\/7mgudjg\/VDQXGtLHR3PBcnI0F1G3SX3szDwOYDkrzsu0mMQHxW61o24VgyBuPj1UsIYNrsM2oZoiQjlV5Ba7C7KLkVXHD5dcZW0W\/1j4y+8S6NVNgbYX1A2Iv4r2ghAZDBxZxNeeDgnT9dLGZqHffsKlmNaFAtwllguWdpqDZrTgEgbYzSiuyrpGSS0VED8yjgGBnxbH4Cxs13N+uSlD1TjXef+oBU+WmtWcd1A668Ny3Fnf+67O+v9\/8tLvVv6+buywROWiIjia8meqF7ixnx9Pd1ehev5mDvd\/p6895oviH8yDlgzqM5YlJzsvaJSL49mdVIT2Q1xyW53mOKayizxvCtgfV+E\/+lE+sZqhEKpQFqPFNIdadHpX0THdKOUqqhzCmJfoqP61fp0VaSEoAjyzMGbcY5uNSmkXnZGYilamGI0ia2bPm6sGNDEyZMxBVjHeCpwUCdSoZTRnhjS9LCLWjUDYDbXRR6Ver688c2SothulESdFeWfCsqDk87+x7IrmgGPqXVsjL6Qoyus+nWJQ\/MrMUV8iQAPTcqk\/PaAWpBnX20ElH\/5\/7R1rb9s48q\/o1C\/rgjZs1872YnSBpL1ud4v2is3dAYs2d6AlRlKsVygpjxp3v\/0wJPWmREl+JAWSorBNUZzha2Y4nIcR+BHx4\/zNQk6Tb\/OTs6mm6S1YnHKPjQ73lOMg7KY\/qLNxbWnYvXKotRh99ZzJ1c7RUdgu8y2ybT\/0zRf7p3lBqAVJzEhv5VJSahvfIQIdCBpFdWDFyWPPg9+EgTXQe+7VsMsC1ypdt3TnHs3tOf2MhHYn9ABTXKfBhi0IFJ0v8VxLW3eKlQgrfr\/W\/aLFH9e6X3Tg0a374QJ+7d5lB4XxfatyMF67hbxmLg4jwvKvs297IY3x2tUMHMJBe1ukP6VbyEbVxjAZAmCCeURso9gcbTvrM\/ol26z3Jk3Ym5bGQdiCYWwWbyQqtFmZOKhZMXFb1x\/WqXZNn7WorPN5h2Q8tVW5eN24Kn8oT4\/0OmSoB0Cqd3kKnh511UHq7tXbyyO1AhugDunsy5FbXeww+IMcE3pcNDQ5JlTYGGpjFEi9T\/Zvng+WkoPM8yf+vT2+ciyZZWQhg1qn7Gm76ISbUCtbJzKpQRGIsTVBs8aNZovMmkvW2cYU6eoGJ4uzx2BJrrw2qpPYxbQiP5byPE5zxaDSt1MgUUxRvmhKUS6S1UmCerXl7Mrbn8Rha0gw5ft1\/1w1SG9bkdzqVzhDcWLWl\/DDRfxjzj+xYfAvIGnzb+Awm3\/La0BCRP4tuhkp\/Gk5pIYH0Oy2KXJiLd1dJVhhI7S5ssnObcFYNETM46un2lD6G17ElMIGeaW9amoeRrRlaOB5DTp7qwZ3smyCwbJX9uhCI7J24EqiZWZXXu1xBbvjawaxIhJmy5tsxMpv8\/Fq3BE3256Iz5ubaoS+6jiJjW1v\/MDYdBn9tm24Du5R8yO+1vtM8I77NINZ3zKL5lUIb9WHuRXR\/juGbvvzC0hH23f1GTiUnbqL+jYWvWVaElrmoqRn6leVCmqQ3pstfGrUmHDNZaclxoWCDx87+5XUjbLBF67REY6LnKU5axROo8ANtjVxiWWBb5Nns+V1WnXKqr8lrLFms4f\/gT0WNsFck02MzMq9rbbGTIuiWwuBMPESGYFJUEgJ2qxNFGEvROLOcVvSA\/yLUBP7GOln8cbxo8DXPjyEhLrEAhlPR\/\/AduBhdEYd7CKwdx1HEHxE+4vjhQGNsSwhdAlN8yFyyb2Du3WqUntgp\/S\/h8R\/x5sydJT2cXgn0h3KApUwSS1k+T9NyP8Zmyi2EVvnN0kQE3TlWEI\/hewZ4q5g9gLZS2SfgHg2dolJ2BfyQNY0uEPMoir1vxrxzDR7AVJuWHs52oK7Y7rRoXdspNFMtTYLNKkyAm2YpXiAF1uBpnHt\/eSEeJmlEEMFKqHZaNR9Ysp+R7vODa4M3Ghb9WviyKZbj47Lz9F0Ml0Srwf+\/MgIVm0V3FvmNO\/NqKTjg1b6Quan1N1h83b6QqeS5TQAOGumO2zbsWyWKYirkCKBQA3wqNndMV8AjHEWvG9hGXuYbkqLuOYTuZBxkAYkXcffAI74cOiAFqIllNSAkWVuozCwPIf4sNfqbqev9t\/xIb1jXhli2WAkvGgz71kauOSNzkv1y\/R3jNf65Ui4e5Rmkt+g7a9H9W5syy2cvri6MrFM3VHmxZhumKqL4gjMxMu2S6cvpuxvVRHzK+VlWfeUWmv803y5ROn\/6WS5HK1qxztAEf5WEnm3\/Ew4xIsuVRKCyVOBVRgbzGhLN4vAit0slcu6OUXs3+RE2r\/iKFX7V3yW9g9KDEOW8EzRwSgOwnGmj4Xd9RL1fqPZRkT9Jveir2iEi2u4qj0uPqvZIjJTjx571iRjx8NWRuYdz0KhY8QJJejWMQmkxgAy47gshwc\/lAwF8JVdir98o+dKZ\/6wZArIi2p9lZwphE5wbBMqLjwYN4wM4pPCb4q9sT1jX+9sXi44JHdIWWMX+wZRAGBRK2JsMSksB5MJqwAl+3FnC8Gudj46WRj2qgA8pCSOHxSwc3h5hwgNRlkl7nsRZU\/Fbwn8BleIvUBjAW8gDRz\/2EpM\/ZQXdAvp7TtTzVdCN82m9XAy1MNuPfJ07eJ46ACIjrFPTCGoX250cqxBrd2yMNeqnbrVEwWRoiUdAzh8jmRzLZubzsFJ88ANeWiGPFxDHsJBFq6BJum3OK9nihAOqSQtPfWMtvZDaJPUaC7L0JSWskL+A+5IXcdzwJ4A0+hUO5GrzA\/WkYJEXkDbw35SH+c1JXgzvguouepC+A6GsxAGYzuTB8VJshHfbsiVgI5SW5SiDgG+bxxjQyg\/MckPsNPJdCGLzJHBY03flM5a7CNixp3T2d90\/vlWfJ6Jz9d6U6NgjdnW6HR6dv5tPp2\/5y3N33+bTs\/PK2De6W3jlE9dacLUcHX22Q1aOg99G81HrK0LkrXUMgs5ouno88+\/6k3Sv2szA5TT2WS5XKUlcMcNywLCp7AyfpGZlZ+kUqgo5zcJp1IjPo48piPJXcZXeHbZUkOsFKx6WVqDP0qUkBM62pad90\/1384\/aV9ccq9dYD\/Sziheg8awXKwj\/XMQB5UqF8QKiPbP3zIdqf4rId+x9oUGekHJuMohpjcKRwUK+v2jQcwX2WvJGlsspYtsKV9ky8x87MGPbRI5UXbNzkxMKs8KEbL4o1vwhvfjsZ94hDoGHJZ8EK78xIs4jxCCBtw7AI1sIMbpomUywYv\/yBZZhzrZ8lU201onW8jKZgp16kxgVY3k1CTfZR1zop+Y8j1TvIMW\/hZTBIchxnDYY\/iS+A779BMPZSHw4Oll+jPxLtFXw8VR9PKNzh7pxYLEd0q\/\/cTTL6U9fXystDayl0\/o8\/C1Dp+c8OcL+Xn4WoevzNgqFP9T4AdVUp+R98Rh1dkRBukX76Hy+A9iJS6mOnob+FHg4ghldeoWvonvALLjtWM6p5oD9WMlKakr+bmWVLCES+VmGt5A0hGDsnFYpoYt8y60nE5H5eN4VjNnfQhY30g1JmvEGR+cHcw8GKNLLOKbygEZ+HbSBXb7UIg3YSRUXWw\/maq6OPDtpAvsbeMcgjyDZpPXys5NbByNc0VMKl2gTCdYVNKIh7ClJY8LT1nBGz0r6SY\/PCF0kkcZnW0HjRjH77utOjZ8t+vHhs\/kPom0LxDe5eJtjbrWi3Skf3F86z32Lf70g0Ox5fhC2v71XEf6JwcCrwRXsfYn\/kCckjj+9veP\/L2LIKEG0T5gPwfVfth4+qhyhvWk8cwPNj\/LDjY9D8+HO9fwkKKgW2KZjh0jFrrhJA5KesqW7aDc0oU6ux4toKln4a5VuCuTny7CHSzgYwt2YiL3JFaddBWrRqtu11xFHPcg7Jy0CTsCzI4Cx89KAE+WpV4r1XjXWKWJ+\/2LhN6XKHzx90e8SbRfg9h2DFBMfdaR\/mdaoKNPxKEPQZX2A4Q+arpHxEimw3scdIbwwcfQ73XmgyvQ+qU1WaTl0KYQ0bzPfU26ppWcs1BnV855\/axVUnHOMpXpwjlhyR+bc17jR1FIyDhn02ZQ4X5o9cE1PjBHvcZPm6NuAhVH3QQqjvrxDwnDOAtDl2gX71Le8JnApviEXSvxM\/ZQ4QvQUB\/GeXjAMv54UKg\/MBssbvENIeEYu25\/ZrcJ1MyuUGdXZgdNPTO7VmZXJgBdmB0s7GMzOzGRT4HZqXA8NFMTYA7H1ASAJ8vUbEfF1GxHxdTekVvsYwtTp9WaoVTtY2A7fhDQculnB44DmFk69OFuR8RAxuaOA77A75ZP2rCjZa0p+VWhzq78Cpp65let\/Kq8t7vwq+JqPTbfEhP6hG6NBUaH5lICzK5cStYRDmDtq7jA2pfcv2WU7Zz4FnZl1C8jc+fYt1zci8YfqH1x07X3xofR54WcPi8egT6vfTV9LtTZlT5DU8\/0uZU+l3ednD5LFvKxCbOYyT0R5sUeCLPAaA+EedFGmAWYQxBm7l0AXqjV9cUWVLrU4JfoSG3Lx3gNM872fPv+514TJl\/Kbkzz9mEBXI62nddD6uNDU28Iwya37IvpFJr1HMjWcYkmbmKA8x6rz13RK2XgUJ8VQWM08CsV09JSVS+4JdIGk5AXj7Kw\/dvIwEA9xzNpPJ7UYZE5KopYF5n3onNFscenyA2soDAxQd5JD4eus6bEcsceDlnlK8eC1\/kIYRqzbx4O61i1eX1BVEHIMzMGv0ZKrlgr6Xf81abk6t9v9BdXPiVXcDzM2pYnQG0fBzaviTQkD\/jIDY3ryFodG4UIhBIILEZfY7owEXImTwnCo\/7k8Qu7hgFKozQ143ln47iA6qCgQNDO5nan9KOz15X0o7NSFPIdojaeyMIDycM3dgqIyDv7i+ncKvNw5AGBpuF9Y\/qCtEnNjLeqaLqlqE6zptC3bSGWUlhmNulpgKlSwKjJckgcZd48uYlkm2q2W\/TNQ8wjuWkKyNV9amH4Zou2qSU3GvCafpO7w\/hvjrSM\/HIKieYl04V+XN2lGQMZaZu3jajwlU\/Gt4FjQPRbwyG+QfRL4Wy+Lofwbcq61aEtIOS\/2K\/6DSiLtlb3kJwT77\/\/Bw==\"><style>#nxe-nsfk2fbx.nxe{display:block;box-sizing:border-box;max-width:1180px;margin:0 auto;padding:0 16px;font-family:ui-sans-serif,system-ui,-apple-system,\"Segoe UI\",sans-serif;line-height:1.55;overflow-wrap:break-word}#nxe-nsfk2fbx.nxe :where(*,*::before,*::after){box-sizing:inherit}#nxe-nsfk2fbx.nxe :where(section,header,footer,nav,aside){display:block;margin:0 0 32px}#nxe-nsfk2fbx.nxe :where(h1,h2,h3,h4){line-height:1.2;margin:24px 0 12px;font-weight:600}#nxe-nsfk2fbx.nxe :where(p,ul,ol,dl,table,figure,details){margin:0 0 16px}#nxe-nsfk2fbx.nxe :where(ul,ol){padding-left:20px}#nxe-nsfk2fbx.nxe a{color:inherit;text-decoration:underline;text-underline-offset:2px}#nxe-nsfk2fbx.nxe table{border-collapse:collapse;width:100%;display:block;overflow-x:auto}#nxe-nsfk2fbx.nxe :where(th,td){padding:6px 8px;text-align:left;vertical-align:top;border-bottom:1px solid;border-color:inherit}#nxe-nsfk2fbx.nxe svg{display:none}#nxe-nsfk2fbx.nxe svg.nx-i{display:inline-block;width:18px;height:18px;vertical-align:-3px}#nxe-nsfk2fbx.nxe :where([role=\"tablist\"],[role=\"toolbar\"],[hidden],button,.nx-theme-toggle,.nx-live-slot){display:none}#nxe-nsfk2fbx.nxe img{max-width:100%;height:auto}<\/style><svg class=\"nx-defs\" aria-hidden=\"true\" focusable=\"false\" width=\"0\" height=\"0\"><defs><linearGradient id=\"nx-gi\" x1=\"0\" y1=\"0\" x2=\"1\" y2=\"1\"><stop offset=\"0\" class=\"nx-gi-a\"\/><stop offset=\"0.55\" class=\"nx-gi-b\"\/><stop offset=\"1\" class=\"nx-gi-c\"\/><\/linearGradient><linearGradient id=\"nx-giu\" gradientUnits=\"userSpaceOnUse\" x1=\"0\" y1=\"0\" x2=\"800\" y2=\"0\"><stop offset=\"0\" class=\"nx-gi-a\"\/><stop offset=\"0.55\" class=\"nx-gi-b\"\/><stop offset=\"1\" class=\"nx-gi-c\"\/><\/linearGradient><linearGradient id=\"nx-gp\" x1=\"0\" y1=\"0\" x2=\"1\" y2=\"1\"><stop offset=\"0\" class=\"nx-gp-a\"\/><stop offset=\"1\" class=\"nx-gp-b\"\/><\/linearGradient><\/defs><\/svg><section class=\"nx-scene nx-es-scene\" data-scene=\"text\" data-ground=\"none\" data-es-org=\"gcri\" aria-labelledby=\"nx-scene-title\"><div class=\"nx-scene-intro nx-es-intro\"><p class=\"nx-eyebrow\"><abbr title=\"The Global Centre for Risk and Innovation\">GCRI<\/abbr> \u00b7 Foundry<\/p><span class=\"nx-scene-rule\" aria-hidden=\"true\"><\/span><h1 id=\"nx-scene-title\" class=\"nx-scene-title\">Safety-critical software engineering<\/h1><p class=\"nx-scene-lede\">Software and safety-critical <a class=\"nx-link nx-term\" href=\"https:\/\/docs.therisk.global\/organization\/systems\" data-tc=\"Systems\" data-tk=\"Nexus Standards\" data-td=\"The twenty Nexus systems, NXS-CMD to NXS-LAB\">systems<\/a> engineering applies rigorous practice where a software fault could reach a decision with real consequences. In this field it means fail-closed defaults, verified builds, known components, tested recovery, and an assurance case that states what has and has not been shown.<\/p><div class=\"nx-actions\"><a class=\"nx-btn\" data-variant=\"primary\" href=\"https:\/\/therisk.global\/nexus-foundry\/write-to-us\/contact\/\">Make an enquiry <svg class=\"nx-arrow\" viewBox=\"0 0 16 16\" aria-hidden=\"true\"><path d=\"M3 8h10M9 4l4 4-4 4\"\/><\/svg><\/a><a class=\"nx-btn\" data-variant=\"secondary\" href=\"https:\/\/therisk.global\/nexus-foundry\/stem\/\">Back to STEM foundation of Foundry<\/a><\/div><\/div><\/section><section id=\"nx-s-1-sec\" class=\"nx-section\" data-hue=\"infrastructure\" data-tone=\"alt\" aria-labelledby=\"nx-s-1\"><div class=\"nx-container\"><div class=\"nx-section-head\"><div class=\"nx-eyebrow-row\"><span class=\"nx-eyebrow\">01<\/span><span class=\"nx-rule\" aria-hidden=\"true\"><\/span><span class=\"nx-eyebrow\">Register<\/span><\/div><h2 id=\"nx-s-1\" class=\"nx-section-title\">Safety-critical software engineering on the record.<\/h2><\/div><div class=\"nx-section-body\"><div class=\"nx-es-fig\" data-es-layout=\"console\"><div class=\"nx-hero-panel\"><div class=\"nx-register\"><div class=\"nx-register-head\"><span class=\"nx-eyebrow\"><strong>Method record<\/strong><\/span><span class=\"nx-eyebrow\">STEM method<\/span><\/div><ol class=\"nx-register-rows\"><li><div><span class=\"nx-register-k\">Method<\/span><span class=\"nx-register-v\">Software and safety-critical <a class=\"nx-link nx-term\" href=\"https:\/\/docs.therisk.global\/organization\/systems\" data-tc=\"Systems\" data-tk=\"Nexus Standards\" data-td=\"The twenty Nexus systems, NXS-CMD to NXS-LAB\">systems<\/a> engineering<\/span><\/div><\/li><li><div><span class=\"nx-register-k\">Steward<\/span><span class=\"nx-register-v\"><a class=\"nx-link\" href=\"https:\/\/therisk.global\/cyber-digital-resilience\/\">Cybersecurity and Digital Resilience<\/a><\/span><\/div><\/li><li><div><span class=\"nx-register-k\">Applied in<\/span><span class=\"nx-register-v\">Foundry<\/span><\/div><\/li><li><div><span class=\"nx-register-k\">Data<\/span><span class=\"nx-register-v\"><a class=\"nx-link\" href=\"#nx-sec-data\">5 inputs<\/a><\/span><\/div><\/li><li><div><span class=\"nx-register-k\">Checks<\/span><span class=\"nx-register-v\"><a class=\"nx-link\" href=\"#nx-sec-checks\">4 validation steps<\/a><\/span><\/div><\/li><li><div><span class=\"nx-register-k\">Canonical page<\/span><span class=\"nx-register-v\"><a class=\"nx-link\" href=\"https:\/\/therisk.global\/stem\/engineering\/safety-critical-software\/\">STEM Commons<\/a><\/span><\/div><\/li><\/ol><\/div><\/div><\/div><\/div><\/div><\/section><section id=\"nx-sec-application\" class=\"nx-section\" data-hue=\"project\" data-tone=\"alt\" data-variant=\"split\" aria-labelledby=\"nx-s-2\"><div class=\"nx-container\"><div class=\"nx-section-head\"><div class=\"nx-eyebrow-row\"><span class=\"nx-eyebrow\">02<\/span><span class=\"nx-rule\" aria-hidden=\"true\"><\/span><span class=\"nx-eyebrow\">Application<\/span><\/div><h2 id=\"nx-s-2\" class=\"nx-section-title\">What software and safety-critical systems engineering does here.<\/h2><p class=\"nx-lede\">Software and safety-critical <a class=\"nx-link nx-term\" href=\"https:\/\/docs.therisk.global\/organization\/systems\" data-tc=\"Systems\" data-tk=\"Nexus Standards\" data-td=\"The twenty Nexus systems, NXS-CMD to NXS-LAB\">systems<\/a> engineering develops software whose failure could cause harm, loss of life or major disruption. It applies rigorous processes to control-system, medical, aviation and infrastructure software. In data and compute and methods and modelling, safety-critical software practice limits the chance that a software fault cascades through physical infrastructure. It informs assurance requirements for automated control in interconnected systems. The canonical description is on <a class=\"nx-link\" href=\"https:\/\/therisk.global\/stem\/engineering\/safety-critical-software\/\">the STEM Commons<\/a>.<\/p><\/div><div class=\"nx-section-body\"><div class=\"nx-cols\"><article><div class=\"nx-glyph-row\"><span class=\"nx-glyph\" data-tone=\"accent\" data-size=\"lg\"><svg class=\"nx-i\" viewBox=\"0 0 24 24\" aria-hidden=\"true\" focusable=\"false\" fill=\"none\" stroke=\"currentColor\" stroke-width=\"1.5\" stroke-linecap=\"round\" stroke-linejoin=\"round\"><rect width=\"18\" height=\"11\" x=\"3\" y=\"11\" rx=\"2\" ry=\"2\"\/><path d=\"M7 11V7a5 5 0 0 1 10 0v4\"\/><\/svg><\/span><\/div><h3 class=\"nx-h3 nx-mt-2\">Fail-closed policy gates<\/h3><p class=\"nx-p nx-mt-1\">Every consequential request is evaluated against identity, mandate, purpose and data class; when no explicit decision exists the gate denies, and the denial is recorded.<\/p><\/article><article><div class=\"nx-glyph-row\"><span class=\"nx-glyph\" data-tone=\"accent\" data-size=\"lg\"><svg class=\"nx-i\" viewBox=\"0 0 24 24\" aria-hidden=\"true\" focusable=\"false\" fill=\"none\" stroke=\"currentColor\" stroke-width=\"1.5\" stroke-linecap=\"round\" stroke-linejoin=\"round\"><path d=\"M20 13c0 5-3.5 7.5-7.66 8.95a1 1 0 0 1-.67-.01C7.5 20.5 4 18 4 13V6a1 1 0 0 1 1-1c2 0 4.5-1.2 6.24-2.72a1.17 1.17 0 0 1 1.52 0C14.51 3.81 17 5 19 5a1 1 0 0 1 1 1z\"\/><path d=\"m9 12 2 2 4-4\"\/><\/svg><\/span><\/div><h3 class=\"nx-h3 nx-mt-2\">Build provenance and bills of materials<\/h3><p class=\"nx-p nx-mt-1\">Releases are built by a controlled pipeline that signs provenance attestations and produces a software bill of materials, so a deployed artefact can be traced to its source and components.<\/p><\/article><article><div class=\"nx-glyph-row\"><span class=\"nx-glyph\" data-tone=\"accent\" data-size=\"lg\"><svg class=\"nx-i\" viewBox=\"0 0 24 24\" aria-hidden=\"true\" focusable=\"false\" fill=\"none\" stroke=\"currentColor\" stroke-width=\"1.5\" stroke-linecap=\"round\" stroke-linejoin=\"round\"><path d=\"M15 2H6a2 2 0 0 0-2 2v16a2 2 0 0 0 2 2h12a2 2 0 0 0 2-2V7Z\"\/><path d=\"M14 2v4a2 2 0 0 0 2 2h4\"\/><path d=\"M10 9H8\"\/><path d=\"M16 13H8\"\/><path d=\"M16 17H8\"\/><\/svg><\/span><\/div><h3 class=\"nx-h3 nx-mt-2\">Assurance cases<\/h3><p class=\"nx-p nx-mt-1\">Claims about a system, such as tenant isolation or kill-switch effectiveness, are argued from evidence in a structured case, with gaps and residual risks stated rather than assumed away.<\/p><\/article><\/div><\/div><\/div><\/section><section id=\"nx-sec-audience\" class=\"nx-section\" data-hue=\"infrastructure\" aria-labelledby=\"nx-s-3\"><div class=\"nx-container\"><div class=\"nx-section-head\"><div class=\"nx-eyebrow-row\"><span class=\"nx-eyebrow\">03<\/span><span class=\"nx-rule\" aria-hidden=\"true\"><\/span><span class=\"nx-eyebrow\">Methods and evidence<\/span><\/div><h2 id=\"nx-s-3\" class=\"nx-section-title\">How safety-critical software engineering is modelled, measured and tested.<\/h2><p class=\"nx-lede\">The model, its assumptions, its data and its uncertainty, in the form a scientist or engineer would check. Structures follow published methods. The values drawn are illustrative, not findings.<\/p><\/div><div class=\"nx-section-body\"><div class=\"nx-au\" data-au-voice=\"science\" data-au-n=\"1\"><figure class=\"nx-au-c\" data-au-fig=\"method-panel\"><h3 class=\"nx-h4\">Model, equations and assumptions<\/h3><p class=\"nx-p nx-au-what\">The model structure used for safety-critical software engineering, the assumptions it makes and how each is tested.<\/p><div class=\"nx-au-eqs\"><div class=\"nx-au-eq\"><span class=\"nx-au-k\">Risk of element i<\/span><code>R<sub>i<\/sub> = f(H<sub>i<\/sub>, E<sub>i<\/sub>, V<sub>i<\/sub>, C<sub>i<\/sub>)<\/code><span class=\"nx-au-n\">hazard, exposure, vulnerability and coping capacity<\/span><\/div><div class=\"nx-au-eq\"><span class=\"nx-au-k\">Expected annual loss<\/span><code>EAL = &#8721;<sub>k<\/sub> p<sub>k<\/sub> &#183; L<sub>k<\/sub><\/code><span class=\"nx-au-n\">over events k with annual probability p<sub>k<\/sub><\/span><\/div><div class=\"nx-au-eq\"><span class=\"nx-au-k\">Coupled systems<\/span><code>x<sub>t+1<\/sub> = A x<sub>t<\/sub> + B u<sub>t<\/sub> + &#949;<sub>t<\/sub><\/code><span class=\"nx-au-n\">A carries the couplings, u the shock, &#949; the error<\/span><\/div><\/div><div class=\"nx-table-wrap\"><table class=\"nx-table\" data-stack=\"true\"><thead><tr><th scope=\"col\">Assumption<\/th><th scope=\"col\">Why it is made<\/th><th scope=\"col\">How it is tested<\/th><\/tr><\/thead><tbody><tr><td data-label=\"Assumption\">Hazard and exposure are independent within an event<\/td><td data-label=\"Why it is made\">Keeps the loss integral tractable<\/td><td data-label=\"How it is tested\">Compare with a copula fit on joint records<\/td><\/tr><tr><td data-label=\"Assumption\">Couplings are linear near the operating point<\/td><td data-label=\"Why it is made\">Lets shocks propagate through A<\/td><td data-label=\"How it is tested\">Perturb beyond the linear range and compare<\/td><\/tr><tr><td data-label=\"Assumption\">Vulnerability curves transfer between places<\/td><td data-label=\"Why it is made\">Local curves are rarely available<\/td><td data-label=\"How it is tested\">Validate against observed losses where they exist<\/td><\/tr><\/tbody><\/table><\/div><dl class=\"nx-au-kv\"><div><dt>Inputs<\/dt><dd>versioned datasets with provenance<\/dd><\/div><div><dt>Outputs<\/dt><dd>distributions, never single numbers<\/dd><\/div><div><dt>Code<\/dt><dd>released with the model card and tests<\/dd><\/div><div><dt>Reproduction<\/dt><dd>same data, code, environment and seed<\/dd><\/div><\/dl><figcaption class=\"nx-caption\"><span>Standard risk and state-space formulations; the assumptions listed are typical of the method, stated for review, not results.<\/span><\/figcaption><\/figure><\/div><div class=\"nx-chips nx-au-fw\" aria-label=\"Frameworks cited\"><span class=\"nx-chip\">FAIR guiding principles \u00b7 GO FAIR and FORCE11<\/span><span class=\"nx-chip\">W3C PROV \u00b7 World Wide Web Consortium<\/span><span class=\"nx-chip\">Guidance on consistent treatment of uncertainties \u00b7 IPCC<\/span><span class=\"nx-chip\">CEOS Analysis Ready Data \u00b7 Committee on Earth Observation Satellites<\/span><\/div><\/div><\/div><\/section><section id=\"nx-sec-data\" class=\"nx-section\" data-hue=\"project\" data-tone=\"alt\" aria-labelledby=\"nx-s-4\"><div class=\"nx-container\"><div class=\"nx-section-head\"><div class=\"nx-eyebrow-row\"><span class=\"nx-eyebrow\">04<\/span><span class=\"nx-rule\" aria-hidden=\"true\"><\/span><span class=\"nx-eyebrow\">Data<\/span><\/div><h2 id=\"nx-s-4\" class=\"nx-section-title\">What the method consumes.<\/h2><p class=\"nx-lede\">Datasets and records used by software and safety-critical <a class=\"nx-link nx-term\" href=\"https:\/\/docs.therisk.global\/organization\/systems\" data-tc=\"Systems\" data-tk=\"Nexus Standards\" data-td=\"The twenty Nexus systems, NXS-CMD to NXS-LAB\">systems<\/a> engineering on this platform, with the role each plays and the label its values carry. Sources are listed in <a class=\"nx-link\" href=\"https:\/\/therisk.global\/nexus-foundry\/research\/\">the source register<\/a>.<\/p><\/div><div class=\"nx-section-body\" data-lv=\"register\"><div class=\"nx-table-wrap\"><table class=\"nx-table\" data-stack=\"true\"><thead><tr><th scope=\"col\">Data<\/th><th scope=\"col\">Role<\/th><th scope=\"col\">Label<\/th><\/tr><\/thead><tbody><tr><td data-label=\"Data\">Source repositories and review records<\/td><td data-label=\"Role\">Change history and approval<\/td><td data-label=\"Label\"><span class=\"nx-chip\">OBSERVED<\/span><\/td><\/tr><tr><td data-label=\"Data\">Test coverage and mutation results<\/td><td data-label=\"Role\">Verification depth<\/td><td data-label=\"Label\"><span class=\"nx-chip\">OBSERVED<\/span><\/td><\/tr><tr><td data-label=\"Data\">Software bills of materials<\/td><td data-label=\"Role\">Component inventory<\/td><td data-label=\"Label\"><span class=\"nx-chip\">OBSERVED<\/span><\/td><\/tr><tr><td data-label=\"Data\">Vulnerability advisories<\/td><td data-label=\"Role\">Exposure of components<\/td><td data-label=\"Label\"><span class=\"nx-chip\">REPORTED<\/span><\/td><\/tr><tr><td data-label=\"Data\">Incident and fault logs<\/td><td data-label=\"Role\">Failure analysis<\/td><td data-label=\"Label\"><span class=\"nx-chip\">OBSERVED<\/span><\/td><\/tr><\/tbody><\/table><\/div><div class=\"nx-live-slot\" data-nxf-slot=\"data\" data-nxf-kind=\"data\" data-nxf-resource=\"nexus:\/\/gcri\/G09\/stem\/safety-critical-software\/#data\" data-nxf-title=\"Method record\" data-nxf-height=\"520\" hidden><\/div><div class=\"nx-live-slot\" data-nxf-slot=\"evidence\" data-nxf-kind=\"evidence\" data-nxf-resource=\"nexus:\/\/gcri\/G09\/stem\/safety-critical-software\/#evidence\" data-nxf-title=\"Evidence\" data-nxf-height=\"520\" hidden><\/div><\/div><\/div><\/section><section id=\"nx-s-5-sec\" class=\"nx-section\" data-hue=\"infrastructure\" aria-labelledby=\"nx-s-5\"><div class=\"nx-container\"><div class=\"nx-section-head\"><div class=\"nx-eyebrow-row\"><span class=\"nx-eyebrow\">05<\/span><span class=\"nx-rule\" aria-hidden=\"true\"><\/span><span class=\"nx-eyebrow\">Process<\/span><\/div><h2 id=\"nx-s-5\" class=\"nx-section-title\">How the process runs.<\/h2><\/div><div class=\"nx-section-body\"><div class=\"nx-canvas-wrap\"><div class=\"nx-pe\" id=\"nx-pe-iso31000\" data-nx-pe=\"nx-pe-iso31000\" data-active=\"iso31000\"><div class=\"nx-pe-shell\"><p class=\"nx-pe-eb\">Process<\/p><h2 class=\"nx-pe-title\">Safety-critical software engineering: Risk management process<\/h2><p class=\"nx-pe-cap\">ISO 31000:2018 sets out an iterative risk management process, from scope, context and criteria through assessment and treatment to monitoring, review and reporting.<\/p><ol class=\"nx-pe-steps\"><li class=\"nx-pe-lane\"><h3 class=\"nx-pe-lane-t\">01 Frame<\/h3><ol><li class=\"nx-pe-step\"><span class=\"nx-pe-n\" translate=\"no\">01<\/span><span class=\"nx-pe-st\">Scope, context and criteria<\/span><span class=\"nx-pe-k\">Dataset \u00b7 Project owner<\/span><span class=\"nx-pe-sm\">The frame for the process: the scope, the external and internal context, and the risk criteria. Later steps are read against this frame.<\/span><\/li><\/ol><\/li><li class=\"nx-pe-lane\"><h3 class=\"nx-pe-lane-t\">02 Risk assessment<\/h3><ol><li class=\"nx-pe-step\"><span class=\"nx-pe-n\" translate=\"no\">04<\/span><span class=\"nx-pe-st\"><a class=\"nx-link nx-term\" href=\"https:\/\/nexustandards.com\/standards\/nrs\/#nrs-c1\" data-tc=\"NRS-C1 risk-identification\" data-tk=\"Nexus risk vocabulary\" data-td=\"Finding, recognising and describing risks, including their sources, events, causes and possible consequences.\" data-ts=\"NRS-C1\" data-tr=\"draft\">Risk identification<\/a><\/span><span class=\"nx-pe-k\">Step \u00b7 Project owner<\/span><span class=\"nx-pe-sm\">The first part of <a class=\"nx-link nx-term\" href=\"https:\/\/nexustandards.com\/standards\/nrs\/#nrs-c1\" data-tc=\"NRS-C1 risk-assessment\" data-tk=\"Nexus risk vocabulary\" data-td=\"The overall process of identifying, analysing and evaluating risk to inform decisions.\" data-ts=\"NRS-C1\" data-tr=\"draft\">risk assessment<\/a>. Risk is usually expressed by risk sources, potential events, their consequences and likelihood.<\/span><\/li><li class=\"nx-pe-step\"><span class=\"nx-pe-n\" translate=\"no\">05<\/span><span class=\"nx-pe-st\"><a class=\"nx-link nx-term\" href=\"https:\/\/nexustandards.com\/standards\/nrs\/#nrs-c1\" data-tc=\"NRS-C1 risk-analysis\" data-tk=\"Nexus risk vocabulary\" data-td=\"Understanding the nature and level of risk, including likelihood, consequence, controls and uncertainty.\" data-ts=\"NRS-C1\" data-tr=\"draft\">Risk analysis<\/a><\/span><span class=\"nx-pe-k\">Model \u00b7 Project owner<\/span><span class=\"nx-pe-sm\">The second part of risk assessment. It considers consequences and likelihood of the identified risks, with guidelines, not a formula.<\/span><\/li><li class=\"nx-pe-step\"><span class=\"nx-pe-n\" translate=\"no\">06<\/span><span class=\"nx-pe-st\"><a class=\"nx-link nx-term\" href=\"https:\/\/nexustandards.com\/standards\/nrs\/#nrs-c1\" data-tc=\"NRS-C1 risk-evaluation\" data-tk=\"Nexus risk vocabulary\" data-td=\"Comparing analysed risk against criteria to decide whether and how it should be treated.\" data-ts=\"NRS-C1\" data-tr=\"draft\">Risk evaluation<\/a><\/span><span class=\"nx-pe-k\">Step \u00b7 Project owner<\/span><span class=\"nx-pe-sm\">The last part of risk assessment. Results of the analysis are compared with the risk criteria to see where more action is needed.<\/span><\/li><\/ol><\/li><li class=\"nx-pe-lane\"><h3 class=\"nx-pe-lane-t\">03 Treatment<\/h3><ol><li class=\"nx-pe-step\"><span class=\"nx-pe-n\" translate=\"no\">07<\/span><span class=\"nx-pe-st\">Risk treatment<\/span><span class=\"nx-pe-k\">Step \u00b7 Project owner<\/span><span class=\"nx-pe-sm\">Treatment options are selected, then plans are prepared and implemented. Residual risk is documented and goes to monitoring and review.<\/span><\/li><\/ol><\/li><li class=\"nx-pe-lane\"><h3 class=\"nx-pe-lane-t\">04 Across the process<\/h3><ol><li class=\"nx-pe-step\"><span class=\"nx-pe-n\" translate=\"no\">02<\/span><span class=\"nx-pe-st\">Communication and consultation<\/span><span class=\"nx-pe-k\">Step \u00b7 Project owner<\/span><span class=\"nx-pe-sm\">Communication and consultation with stakeholders is its own process element. The standard draws it alongside the others, not in sequence.<\/span><\/li><li class=\"nx-pe-step\"><span class=\"nx-pe-n\" translate=\"no\">03<\/span><span class=\"nx-pe-st\">Monitoring and review<\/span><span class=\"nx-pe-k\">Step \u00b7 Project owner<\/span><span class=\"nx-pe-sm\">Monitoring and review take place at every stage. New experience, knowledge and analysis can revise elements, actions and controls.<\/span><\/li><\/ol><\/li><li class=\"nx-pe-lane\"><h3 class=\"nx-pe-lane-t\">05 Record and report<\/h3><ol><li class=\"nx-pe-step\"><span class=\"nx-pe-n\" translate=\"no\">08<\/span><span class=\"nx-pe-st\">Recording and reporting<\/span><span class=\"nx-pe-k\">Record \u00b7 Project owner<\/span><span class=\"nx-pe-sm\">The process and its outcomes are documented and reported. The standard does not name who receives the report in the clauses read.<\/span><\/li><\/ol><\/li><\/ol><p class=\"nx-pe-foot\"><span>Outline of an external standard or method, from its public sources. It describes what the framework says, not a record of any run. It does not show that Nexus or any partner performs, certifies or approves a step. A gate is a step of the method, never a Nexus approval.<\/span><\/p><\/div><\/div><\/div><\/div><\/div><\/section><section id=\"nx-sec-checks\" class=\"nx-section\" data-hue=\"project\" data-tone=\"alt\" data-variant=\"split\" aria-labelledby=\"nx-s-6\"><div class=\"nx-container\"><div class=\"nx-section-head\"><div class=\"nx-eyebrow-row\"><span class=\"nx-eyebrow\">06<\/span><span class=\"nx-rule\" aria-hidden=\"true\"><\/span><span class=\"nx-eyebrow\">Validation<\/span><\/div><h2 id=\"nx-s-6\" class=\"nx-section-title\">How results are checked.<\/h2><p class=\"nx-lede\">Software is verified through reviews, testing to defined coverage criteria and formal proofs where justified. Independent assessment examines the safety case.<\/p><\/div><div class=\"nx-section-body\" data-lv=\"ledger\"><div class=\"nx-table-wrap\"><table class=\"nx-table\" data-stack=\"true\"><thead><tr><th scope=\"col\">Check<\/th><th scope=\"col\">How it is done<\/th><\/tr><\/thead><tbody><tr><td data-label=\"Check\">Deny-by-default tests<\/td><td data-label=\"How it is done\">Requests without an explicit policy decision are tested to confirm they fail closed<\/td><\/tr><tr><td data-label=\"Check\">Provenance verification<\/td><td data-label=\"How it is done\">Deployed artefacts are checked against signed attestations before they run<\/td><\/tr><tr><td data-label=\"Check\">Fault injection<\/td><td data-label=\"How it is done\">Dependencies are failed deliberately to test recovery and isolation<\/td><\/tr><tr><td data-label=\"Check\">Independent assessment<\/td><td data-label=\"How it is done\">The assurance case is reviewed by an assessor outside the development team<\/td><\/tr><\/tbody><\/table><\/div><p class=\"nx-note nx-mt-3\">Complex software interacting with uncertain environments cannot be exhaustively tested. Updates and third-party components introduce new failure paths.<\/p><\/div><\/div><\/section><section id=\"nx-sec-connections\" class=\"nx-section\" data-hue=\"infrastructure\" data-variant=\"split\" aria-labelledby=\"nx-s-7\"><div class=\"nx-container\"><div class=\"nx-section-head\"><div class=\"nx-eyebrow-row\"><span class=\"nx-eyebrow\">07<\/span><span class=\"nx-rule\" aria-hidden=\"true\"><\/span><span class=\"nx-eyebrow\">Connections<\/span><\/div><h2 id=\"nx-s-7\" class=\"nx-section-title\">Topics that rely on this method.<\/h2><\/div><div class=\"nx-section-body\"><ul class=\"nx-list\" data-nav=\"true\"><li><a class=\"nx-link\" href=\"https:\/\/therisk.global\/nexus-foundry\/topics\/project-workstations\/\"><span>Project workstations<\/span><svg class=\"nx-arrow\" viewBox=\"0 0 16 16\" aria-hidden=\"true\"><path d=\"M3 8h10M9 4l4 4-4 4\"\/><\/svg><\/a><\/li><li><a class=\"nx-link\" href=\"https:\/\/therisk.global\/nexus-foundry\/topics\/twenty-technical-systems\/\"><span>Twenty technical systems<\/span><svg class=\"nx-arrow\" viewBox=\"0 0 16 16\" aria-hidden=\"true\"><path d=\"M3 8h10M9 4l4 4-4 4\"\/><\/svg><\/a><\/li><li><a class=\"nx-link\" href=\"https:\/\/therisk.global\/nexus-foundry\/topics\/modelling-and-simulation\/\"><span>Modelling and simulation<\/span><svg class=\"nx-arrow\" viewBox=\"0 0 16 16\" aria-hidden=\"true\"><path d=\"M3 8h10M9 4l4 4-4 4\"\/><\/svg><\/a><\/li><li><a class=\"nx-link\" href=\"https:\/\/therisk.global\/nexus-foundry\/topics\/agents-and-automation\/\"><span>Agents and automation<\/span><svg class=\"nx-arrow\" viewBox=\"0 0 16 16\" aria-hidden=\"true\"><path d=\"M3 8h10M9 4l4 4-4 4\"\/><\/svg><\/a><\/li><li><a class=\"nx-link\" href=\"https:\/\/therisk.global\/nexus-foundry\/topics\/compute-and-edge\/\"><span>Compute and edge<\/span><svg class=\"nx-arrow\" viewBox=\"0 0 16 16\" aria-hidden=\"true\"><path d=\"M3 8h10M9 4l4 4-4 4\"\/><\/svg><\/a><\/li><li><a class=\"nx-link\" href=\"https:\/\/therisk.global\/nexus-foundry\/topics\/usage-and-billing\/\"><span>Usage metering, quotas and cost transparency<\/span><svg class=\"nx-arrow\" viewBox=\"0 0 16 16\" aria-hidden=\"true\"><path d=\"M3 8h10M9 4l4 4-4 4\"\/><\/svg><\/a><\/li><\/ul><\/div><\/div><\/section><section id=\"nx-sec-stewardship\" class=\"nx-section\" data-hue=\"project\" data-tone=\"alt\" data-variant=\"split\" aria-labelledby=\"nx-s-8\"><div class=\"nx-container\"><div class=\"nx-section-head\"><div class=\"nx-eyebrow-row\"><span class=\"nx-eyebrow\">08<\/span><span class=\"nx-rule\" aria-hidden=\"true\"><\/span><span class=\"nx-eyebrow\">Stewardship<\/span><\/div><h2 id=\"nx-s-8\" class=\"nx-section-title\">Who maintains the method.<\/h2><p class=\"nx-lede\"><a class=\"nx-link\" href=\"https:\/\/therisk.global\/cyber-digital-resilience\/\">Cybersecurity and Digital Resilience<\/a> stewards software and safety-critical <a class=\"nx-link nx-term\" href=\"https:\/\/docs.therisk.global\/organization\/systems\" data-tc=\"Systems\" data-tk=\"Nexus Standards\" data-td=\"The twenty Nexus systems, NXS-CMD to NXS-LAB\">systems<\/a> engineering for the Consortium and reviews how it is applied across platforms.<\/p><\/div><div class=\"nx-section-body\"><p class=\"nx-p\"><a class=\"nx-link\" href=\"https:\/\/therisk.global\/stem\/engineering\/safety-critical-software\/\">Canonical page: Software and safety-critical systems engineering<\/a><\/p><\/div><\/div><\/section><section id=\"nx-s-9-sec\" class=\"nx-section\" data-hue=\"infrastructure\" aria-labelledby=\"nx-s-9\"><div class=\"nx-container\"><div class=\"nx-section-head\"><div class=\"nx-eyebrow-row\"><span class=\"nx-eyebrow\">09<\/span><span class=\"nx-rule\" aria-hidden=\"true\"><\/span><span class=\"nx-eyebrow\">Connected<\/span><\/div><h2 id=\"nx-s-9\" class=\"nx-section-title\">Where this page leads across the Consortium.<\/h2><\/div><div class=\"nx-section-body\"><ul class=\"nx-dest\"><li><a class=\"nx-dest-card\" href=\"https:\/\/therisk.global\/cyber-digital-resilience\/stem\/safety-critical-software\/\"><span class=\"nx-dest-top\"><span class=\"nx-dest-rel\">Steward platform<\/span><span class=\"nx-dest-host\">GCRI<\/span><\/span><span class=\"nx-dest-title\">Safety-critical and secure software<\/span><span class=\"nx-dest-why\">Cybersecurity and Digital Resilience stewards this method.<\/span><span class=\"nx-dest-go\" aria-hidden=\"true\"><svg class=\"nx-arrow\" viewBox=\"0 0 16 16\" aria-hidden=\"true\"><path d=\"M3 8h10M9 4l4 4-4 4\"\/><\/svg><\/span><\/a><\/li><\/ul><\/div><\/div><\/section><section id=\"nx-s-10-sec\" class=\"nx-section\" data-hue=\"project\" data-tone=\"alt\" aria-labelledby=\"nx-s-10\"><div class=\"nx-container\"><div class=\"nx-section-head\"><div class=\"nx-eyebrow-row\"><span class=\"nx-eyebrow\">10<\/span><span class=\"nx-rule\" aria-hidden=\"true\"><\/span><span class=\"nx-eyebrow\">Questions<\/span><\/div><h2 id=\"nx-s-10\" class=\"nx-section-title\">Questions and answers.<\/h2><\/div><div class=\"nx-section-body\"><div class=\"nx-faq\"><details><summary>What are the limits of software and safety-critical systems engineering in this field?<\/summary><div class=\"nx-answer\">Complex software interacting with uncertain environments cannot be exhaustively tested. Updates and third-party components introduce new failure paths.<\/div><\/details><details><summary>How are results checked?<\/summary><div class=\"nx-answer\">Software is verified through reviews, testing to defined coverage criteria and formal proofs where justified. Independent assessment examines the safety case.<\/div><\/details><details><summary>Are the values on this page real?<\/summary><div class=\"nx-answer\">The data names, roles and checks are real descriptions of practice. The canvas shows a design of the method&#8217;s use, not a run; no result is reported here.<\/div><\/details><details><summary>Where else is this method applied?<\/summary><div class=\"nx-answer\">The <a class=\"nx-link\" href=\"https:\/\/therisk.global\/stem\/engineering\/safety-critical-software\/\">canonical method page<\/a> lists every platform that applies it.<\/div><\/details><\/div><\/div><\/div><\/section><section id=\"nx-sec-nr-gateway\" class=\"nx-section\" data-hue=\"infrastructure\" data-tone=\"alt\" aria-labelledby=\"nx-nr-gateway-h\"><div class=\"nx-container\"><div class=\"nx-section-head\"><div class=\"nx-eyebrow-row\"><span class=\"nx-eyebrow\">Reports<\/span><span class=\"nx-rule\" aria-hidden=\"true\"><\/span><span class=\"nx-eyebrow\">Contribute<\/span><\/div><h2 id=\"nx-nr-gateway-h\" class=\"nx-section-title\">Contribute evidence from this page.<\/h2><p class=\"nx-lede\"><a class=\"nx-link\" href=\"https:\/\/docs.therisk.global\/organization\/programme\/reports\">Reports<\/a> is the Consortium&#8217;s quarterly publication. What you know about this subject can become evidence, a case or a correction in the next edition, credited to you and published under CC BY 4.0 where it is your own work.<\/p><div class=\"nx-chips\"><span class=\"nx-chip\">GCRI<\/span><span class=\"nx-chip\">Foundry<\/span><span class=\"nx-chip\">Foundry Build and Readiness<\/span><\/div><\/div><div class=\"nx-section-body\"><ul class=\"nx-dest\"><li><a class=\"nx-dest-card\" href=\"https:\/\/therisk.global\/nexus-foundry\/write-to-us\/contact\/\"><span class=\"nx-dest-top\"><span class=\"nx-dest-rel\">Email<\/span><span class=\"nx-dest-host\">Gateway GW-GCRI<\/span><\/span><span class=\"nx-dest-title\">Send it from this page<\/span><span class=\"nx-dest-why\">Evidence, a correction, a case, a method, a review, a translation or profile input. It arrives tagged with this page, so the editor who owns it receives it.<\/span><span class=\"nx-dest-go\" aria-hidden=\"true\"><svg class=\"nx-arrow\" viewBox=\"0 0 16 16\" aria-hidden=\"true\"><path d=\"M3 8h10M9 4l4 4-4 4\"\/><\/svg><\/span><\/a><\/li><li><a class=\"nx-dest-card\" href=\"https:\/\/therisk.global\/nexus-reports\/open-science\/#nx-sec-zenodo\"><span class=\"nx-dest-top\"><span class=\"nx-dest-rel\">Zenodo<\/span><span class=\"nx-dest-host\">Open deposit<\/span><\/span><span class=\"nx-dest-title\">Deposit it and submit to the community<\/span><span class=\"nx-dest-why\">Publish your own record on Zenodo with your ORCID iD, then submit it to the Reports community there. Curators review it; the DOI stays yours.<\/span><span class=\"nx-dest-go\" aria-hidden=\"true\"><svg class=\"nx-arrow\" viewBox=\"0 0 16 16\" aria-hidden=\"true\"><path d=\"M3 8h10M9 4l4 4-4 4\"\/><\/svg><\/span><\/a><\/li><li><a class=\"nx-dest-card\" href=\"https:\/\/therisk.global\/nexus-reports\/contribute\/\"><span class=\"nx-dest-top\"><span class=\"nx-dest-rel\">Reports<\/span><span class=\"nx-dest-host\">GCRI<\/span><\/span><span class=\"nx-dest-title\">See every way to contribute<\/span><span class=\"nx-dest-why\">The contribution types, how each is reviewed, what credit you receive, the licence and what is never accepted.<\/span><span class=\"nx-dest-go\" aria-hidden=\"true\"><svg class=\"nx-arrow\" viewBox=\"0 0 16 16\" aria-hidden=\"true\"><path d=\"M3 8h10M9 4l4 4-4 4\"\/><\/svg><\/span><\/a><\/li><\/ul><div class=\"nx-live-slot\" data-nxf-slot=\"contribute\" data-nxf-kind=\"workflow\" data-nxf-resource=\"nexus:\/\/gcri\/nexus-foundry\/stem\/safety-critical-software#contribute\" data-nxf-title=\"Contribute evidence\" data-nxf-height=\"480\" hidden><\/div><p class=\"nx-note nx-mt-3\">Never send personal data, sensitive infrastructure detail or anything you have no right to share. A contribution is reviewed before use; sending it confers no authorship or editorial rights, and sponsorship never buys a finding.<\/p><\/div><\/div><\/section><section class=\"nx-section nx-deeper-band\" aria-labelledby=\"nx-deeper-obal-nexus-foundry-stem-safety-critical-software-h\"><div class=\"nx-container\"><nav class=\"nx-deeper\" aria-labelledby=\"nx-deeper-obal-nexus-foundry-stem-safety-critical-software-h\" data-nx-deeper=\"2\" data-nx-resources=\"0 1 1\"><h2 class=\"nx-deeper-h\" id=\"nx-deeper-obal-nexus-foundry-stem-safety-critical-software-h\">Go deeper<\/h2><ul><li><a href=\"https:\/\/risksacademy.com\/technology-digital\/data-compute\/\" data-ext><span class=\"nx-deeper-k\">Academy:<\/span> Data infrastructure, compute and semiconductors<span class=\"nx-deeper-x\" aria-hidden=\"true\">\u2197<\/span><span class=\"nx-deeper-sr\"> (opens another site)<\/span><\/a><\/li><li><a href=\"https:\/\/nexustandards.com\/open-infrastructure\/registries-and-resolver\/\" data-ext><span class=\"nx-deeper-k\">Standards:<\/span> Registries and the resolver<span class=\"nx-deeper-x\" aria-hidden=\"true\">\u2197<\/span><span class=\"nx-deeper-sr\"> (opens another site)<\/span><\/a><\/li><\/ul><\/nav><\/div><\/section><section class=\"nx-closing\" aria-labelledby=\"nx-close-11\"><div class=\"nx-container\"><span class=\"nx-eyebrow\">Foundry<\/span><h2 id=\"nx-close-11\" class=\"nx-section-title\">Bring a method, a dataset or a question.<\/h2><p class=\"nx-lede\">Information and enquiries are open today. An enquiry receives a reference and names the next step; applications, payments, compute allocations and registrations open only when their team, terms and review capacity exist.<\/p><div class=\"nx-actions\"><a class=\"nx-btn\" data-variant=\"primary\" href=\"https:\/\/therisk.global\/write-to-us\/research-collaboration\/\">Propose a method <svg class=\"nx-arrow\" viewBox=\"0 0 16 16\" aria-hidden=\"true\"><path d=\"M3 8h10M9 4l4 4-4 4\"\/><\/svg><\/a><a class=\"nx-btn\" data-variant=\"secondary\" href=\"https:\/\/therisk.global\/nexus-foundry\/contact\/\">See all contact routes<\/a><\/div><\/div><\/section><section class=\"nx-section\" data-tone=\"alt\" aria-labelledby=\"nx-legal-12\"><div class=\"nx-container\"><span class=\"nx-eyebrow\">Legal<\/span><h2 id=\"nx-legal-12\" class=\"nx-h3 nx-mt-2\">Legal documents.<\/h2><nav class=\"nx-related nx-mt-3\" aria-label=\"Legal documents\"><a href=\"https:\/\/therisk.global\/legal\/terms\/\">Platform Terms of Use <svg class=\"nx-arrow\" viewBox=\"0 0 16 16\" aria-hidden=\"true\"><path d=\"M3 8h10M9 4l4 4-4 4\"\/><\/svg><\/a><a href=\"https:\/\/therisk.global\/legal\/privacy\/\">Platform Privacy Notice <svg class=\"nx-arrow\" viewBox=\"0 0 16 16\" aria-hidden=\"true\"><path d=\"M3 8h10M9 4l4 4-4 4\"\/><\/svg><\/a><a href=\"https:\/\/therisk.global\/legal\/cookies\/\">Platform Cookie and Storage Notice <svg class=\"nx-arrow\" viewBox=\"0 0 16 16\" aria-hidden=\"true\"><path d=\"M3 8h10M9 4l4 4-4 4\"\/><\/svg><\/a><a href=\"https:\/\/therisk.global\/legal\/legal-notice\/\">Legal Notice <svg class=\"nx-arrow\" viewBox=\"0 0 16 16\" aria-hidden=\"true\"><path d=\"M3 8h10M9 4l4 4-4 4\"\/><\/svg><\/a><a href=\"https:\/\/therisk.global\/legal\/acceptable-use\/\">Acceptable Use Policy <svg class=\"nx-arrow\" viewBox=\"0 0 16 16\" aria-hidden=\"true\"><path d=\"M3 8h10M9 4l4 4-4 4\"\/><\/svg><\/a><a href=\"https:\/\/therisk.global\/legal\/participation-terms\/\">Participation and Events Terms <svg class=\"nx-arrow\" viewBox=\"0 0 16 16\" aria-hidden=\"true\"><path d=\"M3 8h10M9 4l4 4-4 4\"\/><\/svg><\/a><a href=\"https:\/\/therisk.global\/legal\/contribution-terms\/\">Contribution Terms <svg class=\"nx-arrow\" viewBox=\"0 0 16 16\" aria-hidden=\"true\"><path d=\"M3 8h10M9 4l4 4-4 4\"\/><\/svg><\/a><a href=\"https:\/\/therisk.global\/legal\/research-and-data-terms\/\">Research and Data Terms <svg class=\"nx-arrow\" viewBox=\"0 0 16 16\" aria-hidden=\"true\"><path d=\"M3 8h10M9 4l4 4-4 4\"\/><\/svg><\/a><a href=\"https:\/\/therisk.global\/legal\/ai-use\/\">AI-use Statement <svg class=\"nx-arrow\" viewBox=\"0 0 16 16\" aria-hidden=\"true\"><path d=\"M3 8h10M9 4l4 4-4 4\"\/><\/svg><\/a><a href=\"https:\/\/therisk.global\/legal\/intellectual-property\/\">Intellectual Property and Licensing <svg class=\"nx-arrow\" viewBox=\"0 0 16 16\" aria-hidden=\"true\"><path d=\"M3 8h10M9 4l4 4-4 4\"\/><\/svg><\/a><a href=\"https:\/\/therisk.global\/legal\/trademark-policy\/\">Trademark and Name Use Policy <svg class=\"nx-arrow\" viewBox=\"0 0 16 16\" aria-hidden=\"true\"><path d=\"M3 8h10M9 4l4 4-4 4\"\/><\/svg><\/a><a href=\"https:\/\/therisk.global\/legal\/disclaimer\/\">Disclaimers and Data Notices <svg class=\"nx-arrow\" viewBox=\"0 0 16 16\" aria-hidden=\"true\"><path d=\"M3 8h10M9 4l4 4-4 4\"\/><\/svg><\/a><a href=\"https:\/\/therisk.global\/legal\/corrections\/\">Corrections and Right of Reply Policy <svg class=\"nx-arrow\" viewBox=\"0 0 16 16\" aria-hidden=\"true\"><path d=\"M3 8h10M9 4l4 4-4 4\"\/><\/svg><\/a><a href=\"https:\/\/therisk.global\/legal\/complaints-and-integrity\/\">Complaints and integrity reporting <svg class=\"nx-arrow\" viewBox=\"0 0 16 16\" aria-hidden=\"true\"><path d=\"M3 8h10M9 4l4 4-4 4\"\/><\/svg><\/a><a href=\"https:\/\/therisk.global\/legal\/security\/\">Security and responsible disclosure <svg class=\"nx-arrow\" viewBox=\"0 0 16 16\" aria-hidden=\"true\"><path d=\"M3 8h10M9 4l4 4-4 4\"\/><\/svg><\/a><a href=\"https:\/\/therisk.global\/legal\/code-of-conduct\/\">Code of Conduct <svg class=\"nx-arrow\" viewBox=\"0 0 16 16\" aria-hidden=\"true\"><path d=\"M3 8h10M9 4l4 4-4 4\"\/><\/svg><\/a><a href=\"https:\/\/therisk.global\/trust\/accessibility\/\">Accessibility Statement <svg class=\"nx-arrow\" viewBox=\"0 0 16 16\" aria-hidden=\"true\"><path d=\"M3 8h10M9 4l4 4-4 4\"\/><\/svg><\/a><a href=\"https:\/\/therisk.global\/legal\/third-party-notices\/\">Third-party notices and attributions <svg class=\"nx-arrow\" viewBox=\"0 0 16 16\" aria-hidden=\"true\"><path d=\"M3 8h10M9 4l4 4-4 4\"\/><\/svg><\/a><\/nav><p class=\"nx-note nx-mt-3\">Maps, data and figures on this site are shown for context and general information. They are not advice, forecasts or warnings; the limits of the information are set out in the Disclaimers and Data Notices.<\/p><\/div><\/section><\/div><\/div><script class=\"_iub_cs_skip\">window.__nxMount ? window.__nxMount(document.currentScript) : null;<\/script>\n\n\n<script type=\"application\/ld+json\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"FAQPage\",\"@id\":\"https:\/\/therisk.global\/nexus-foundry\/stem\/safety-critical-software\/#faq\",\"isPartOf\":{\"@id\":\"https:\/\/therisk.global\/nexus-foundry\/stem\/safety-critical-software\/#webpage\"},\"inLanguage\":\"en\",\"mainEntity\":[{\"@type\":\"Question\",\"name\":\"What are the limits of software and safety-critical systems engineering in this field?\",\"acceptedAnswer\":{\"@type\":\"Answer\",\"text\":\"Complex software interacting with uncertain environments cannot be exhaustively tested. Updates and third-party components introduce new failure paths.\"}},{\"@type\":\"Question\",\"name\":\"How are results checked?\",\"acceptedAnswer\":{\"@type\":\"Answer\",\"text\":\"Software is verified through reviews, testing to defined coverage criteria and formal proofs where justified. Independent assessment examines the safety case.\"}},{\"@type\":\"Question\",\"name\":\"Are the values on this page real?\",\"acceptedAnswer\":{\"@type\":\"Answer\",\"text\":\"The data names, roles and checks are real descriptions of practice. The canvas shows a design of the method's use, not a run; no result is reported here.\"}},{\"@type\":\"Question\",\"name\":\"Where else is this method applied?\",\"acceptedAnswer\":{\"@type\":\"Answer\",\"text\":\"The canonical method page lists every platform that applies it.\"}}]},{\"@type\":\"TechArticle\",\"@id\":\"https:\/\/therisk.global\/nexus-foundry\/stem\/safety-critical-software\/#article\",\"headline\":\"Safety-critical software engineering\",\"description\":\"Software assurance for consequential decisions: fail-closed policy gates, build provenance and bills of materials, tested recovery and assurance cases.\",\"inLanguage\":\"en\",\"about\":{\"@type\":\"Thing\",\"name\":\"software assurance\"},\"author\":{\"@id\":\"https:\/\/therisk.global\/#organization\",\"@type\":\"Organization\",\"name\":\"The Global Centre for Risk and Innovation\",\"url\":\"https:\/\/therisk.global\/\",\"alternateName\":\"GCRI\"},\"publisher\":{\"@id\":\"https:\/\/therisk.global\/#organization\"},\"mainEntityOfPage\":{\"@id\":\"https:\/\/therisk.global\/nexus-foundry\/stem\/safety-critical-software\/#webpage\"},\"isAccessibleForFree\":true,\"mentions\":[{\"@type\":\"Thing\",\"name\":\"Source repositories and review records\"},{\"@type\":\"Thing\",\"name\":\"Test coverage and mutation results\"},{\"@type\":\"Thing\",\"name\":\"Software bills of materials\"},{\"@type\":\"Thing\",\"name\":\"Vulnerability advisories\"},{\"@type\":\"Thing\",\"name\":\"Incident and fault logs\"}]}]}<\/script>\n\n<!-- nx-rev:15ad0377b76cd4e1 -->\n<!-- nx-shared:4b60027d3316 -->\n<!-- nx-path:\/stem\/safety-critical-software\/ -->","protected":false},"excerpt":{"rendered":"<p>Software and safety-critical systems engineering applies rigorous practice where a software fault could reach a decision with real consequences. In this field it means fail-closed defaults, verified builds, known components, tested recovery, and an assurance case that states what has\u2026<\/p>\n","protected":false},"author":2,"featured_media":0,"parent":34,"menu_order":1155,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_buddyx_sub_header_visibility":"","_buddyx_sub_header_title_visibility":"","_hide_show_side_panel":"","_buddyxpro_page_sidebar":"","_buddyxpro_page_disable_header":"","_buddyxpro_page_disable_footer":"","_buddyxpro_page_content_width":"","_buddyxpro_page_header_style":"","_buddyxpro_page_color_mode":"","_buddyxpro_page_loader":"","_nx_seo_description":"","_nx_seo_title":"","_nx_seo_image":"","_nx_seo_jsonld":"","_nx_i18n_locale":"","_nx_i18n_group":"","nexus_page_kind":"","footnotes":"","_nx_seo_image_alt":"","_nx_seo_canonical":"","_nx_seo_robots":"","_nx_seo_schema_type":""},"class_list":["post-45","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/therisk.global\/nexus-foundry\/wp-json\/wp\/v2\/pages\/45","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/therisk.global\/nexus-foundry\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/therisk.global\/nexus-foundry\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/therisk.global\/nexus-foundry\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/therisk.global\/nexus-foundry\/wp-json\/wp\/v2\/comments?post=45"}],"version-history":[{"count":1,"href":"https:\/\/therisk.global\/nexus-foundry\/wp-json\/wp\/v2\/pages\/45\/revisions"}],"predecessor-version":[{"id":102,"href":"https:\/\/therisk.global\/nexus-foundry\/wp-json\/wp\/v2\/pages\/45\/revisions\/102"}],"up":[{"embeddable":true,"href":"https:\/\/therisk.global\/nexus-foundry\/wp-json\/wp\/v2\/pages\/34"}],"wp:attachment":[{"href":"https:\/\/therisk.global\/nexus-foundry\/wp-json\/wp\/v2\/media?parent=45"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}