{"id":169,"date":"2026-10-13T12:33:50","date_gmt":"2026-10-13T12:33:50","guid":{"rendered":"https:\/\/therisk.global\/nexus-foundry\/?page_id=169"},"modified":"2026-10-13T23:18:10","modified_gmt":"2026-10-13T23:18:10","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 type=\"text\/x-nexus\" class=\"_iub_cs_skip\" id=\"nxe-fig-engine\" data-nx-run=\"fig\">tX1\/d9s2suhXcXH2XhMhSEuO620p0zq2k2x6aztZ22m7q+r5UCQkcUWRMglKVmXdz\/7ODEASlCjZ7Xkvf8QiAAKDwWB+AzSGeeyLMIkNugqHxiKMg2RhPz7Gz5\/CEV2lXORpvC4aHcwMURQe3Is0jEeGcF13noTBQevlBX7HeRR1CXEEtVM+izyfG0f\/fTRi5L+96axDtNLeWR\/LI1ErPsfCUb2QYOFTnkBxBc9PhmAeXc299CB2b\/PpgKeGoJ1waHwXZp\/COBTciGkBMvk9P26135M1tOeuV0LePXa8jkiXxdRiWyTXie9FXE2S8Nj6dk\/YahrG4TSffko9BOBDOApF5nA29Z6bytd07XvCHxsp1fv+FD7zwOB0Xc1ECEAtAOa5N54Y294gU1Pxzt02\/7Hs4CdDHLX5jwyL261uy2lTk1ySddH0dKPpqWz6d9Xypmp5stHyPWtRk0zKBq2W3oC1aFlRK2+X5bXiY1nsum7ZnLTIWmvxXlvKX+RShkNDLGc8GR7Ai6SoJmXPniHKfkkYC9IEItT5yXTm+Vo9orisTmdaDSDjfVd24Kg1x1VIkzwODEHxPR2wGImtPrhH17Whyrn9CpUsZlyucOoa3IrpkeFZ4uWlTTtQmLvlVgwqYjGNwBL0Xbru5HYYz5vaCGgT0yNsE7g9wbx+J7dTtxczDr+ES6IwJh3VPq\/g+s8mXDjnKBkZgrK8evIoCwqYcystYc4qeCId5vJF\/DH1no2ItbnVPqbUSum7YN3J6rOp3sY3+PPMSE0jggEDCq2LeWXlvDKcVzIq55VV8+KicWIASJsJO+LxSIxhhkZsefQoZYHLK2ZgHzu8YXpQErrCDuOAP38ZGhEtRvbM\/F1o5u+Co2OAdbBw83dG2wpoJ7MzwWdu3snsCV9mrmgA9jcJqxyAu54lkH8Z\/LxVcq6e6K\/lRPiRNpX45eX7cqFmycJotxj+HkZJklbLkFL51vVtu0VhLdOjXM3QCM7d77vtlhOcu8fd7+FPu3vstOm7HMAIztr293SVuTmOH7m9PgvleD4PI0McZVabWz\/Sd1lnmKQGNPLdsOOfuZ6ZvWtz67Tjm25GV5E9y7Oxvqv8o4y+y8xWuWuiCikeskPEg9DwcNBeSxb5m9Figp1IMoxdr+epVbXa\/QLH8Znoxqbh9dp9y+u1+tTRJNlck2T6Tn\/XbtGjdqtq+FxfHnJGTFFONT0I4wPJtb4M\/sN9Yc\/SRCTAKOyxl31ZxF\/TZMZTsbR9L4oMj6VU9pS7Xi\/tA4rz7wrKw37gEWRo+TD0oozTFTddckDM1Dx0yaE5M3JqHpLDNfwr5luRMDfJ0TlxuEnOiRmb5Oz3I2IKeKom9q\/NPbIifuRlGXFI\/GwNJ1Y2HxE2D\/niMnl2SOugdYB9HBDTY4swEGNHsDEPR2PheCxNIu6QcDoibJj4eeYN4BlhJ2yW8oync36Rzbgv7jwRJg55vgmDf92EwcGUc0HWJU5zwCl\/eVmt345XznKgkV7ed3kv75coeTYIziJlscaO\/6ZrDYSUI3O31eFnBX\/ocNOkq9h0Dd4l18QhN4Sac0P0eB+IySSMFI\/tfknDXjc2yb+JTmqBJtq10WK31Ymr0WIYDQg+pivPdMmN7D2uDxbLwXiUcWx13dzKamM7c1e97KWEuYL1j4IoWMpyCXTgEsIyFiHgmdvqZGdxAXQGQEfu3PCMuJf1KeoroAWSAaGrwHSfDZA9nLAVCTzhWVPikFEaBoQ9t52IPR87EVu2ndQWbHnspPZgTTvyNcGfRe01EfoTwp7hBWhotk8YNrK82B8nKXHINAyCiJM1mxm\/IDyMU6qQ9RosqY3QpHYK8EQATfQ6LDjViHRTO7JO4WXzlC2dyHxvf78BXNGS8DggDsmEl4otSNdvwJ73HGYNEKf2oMQgdJNLVare2dY8Im\/AI5gI9oJofd\/aRCtADJDmdVzu7kzDStmxsNqtXSiRyKgPpO3g0cb8eUbWLND2cy40Zi5sgXQu7KDX6pc\/2\/2C+u1U3wt2iluh7Osf1V4tDJyXF0Konc2iUBiEEamTqx1w9n2l9+RRpKA2QNzg7JIR6f7H+ZUayjgBYURZ+XCsP7zXH076VINqobEQYS9eXr4\/bbHYFfb45eX4tMW4K+zpy0uv\/QNrn7L3J+zkpN9RXD1yeO99n6WOZ\/Feu8+Ew3utPhs4scV7x\/210j4NYT\/bog40FAEWmfzR7jMgutROpdwN4KXl9kvL4qVl8dKApbYodEZCWMTCjlQVcNTQn2QvL781jHdKWeLiIFWbze6VFjB0hT3w4iB7een1kVlFbqsTnQ0LZhUBs4KWA3fYi\/ps4gaVglp2O7CXoCMty8owNsqhBvayTeVwC3dgP7cqkQvEnhtQRtkT1LX1ulTWtZF4JudLuspwE6Xcr28imAFh8nmini1iDuyJKvSJM7B99TCcWBO+hJIJX7JnZ24sKFs6c2NJlYieV1NssSdrQWkhs+fGxFpSyS0GNm5e5BkTa3nefl8AuLXLASC10zUoIwUjgmD+oIAw2+8pbOiie7peo\/720RX2vGmtPm6t1cjNjY+9qI94HZcPbdrZgcD5JgbnA4uY+JaGQnz2EdwRlQyqCWFja6QjLLUHFhDyGpcR+1B4ex1ZOJR5qgYz28eAGK0Lul5npvuHQQaE5czHLTBkKf6VLcw\/DBIRFrAEaV9WLlUl0uTUFXbG05AjXtm1W0PudAu5F+4UNsJ90S50W53w7MKeiaxoGxZtL10s74WgSrCr6qmNWuzluVvsXqSiyzO32MR0dS91\/15uXFLWtOm2d9oVpRRUFKDO+4LZHtOVn8QijHMO5Re2l3KlyN2693YWhT43aOdWDXffu6+sAhgmtQd9vbqllcoVnHliXBc3Kfd0avIsYl7olHRh+yxw\/mbcMpHmHPbTjp6kJK96ipp6kg+Bl43hGf52CfRLHBAvqnoBdYuXF62oYAQXyAgC5wINz24gjHvq\/M24B5IFND2+ttSPEjnaWpvEAUDL1abra9lmZlxI4nt5ubAn1CQvxDQubP\/lhYTxhJQFCAkBuyKqCocVdyQA9lDWPNr\/ScLYIB1CKbKKG5BsXjrh6SavuNki56\/u3MiNG2QQtFjRuvYgu9KXYWoR82aDO+AzzMPzfcJE6sXZMEmnDsGfkSe4QcyvJmEtStas0tKe204LdLKW0mmtk1InMyVciK9uE6uYlnzi63lqp9bfW13r1DlV7OJ4Q3cq22zpkzcaS3FIgcY70BVmSRiLTTTebaHxAdF4p9DIvrhzI5CPyxKrfpj6UV0xDRKh43VmEfNuA693NbzWKVe25UvmPzsPzF86X1gqC9OXlxPJce80jguQfnMfEA\/tdquzgwODeZjkdciiCrRn51v3wfrBeTB\/YEvnyxmy5tPuF7P9g\/PF+mED69+20X1X4+Cgctt+mmRZZbg3kSE2IWwcBgGPHSL\/7iWlkpB2Cr5xKKQmH23IM8BQakeNcmzTUH6LD8BDH0Cs+veKbmPdB0C8NPQsSdKOsEUoIq4Y1rZ7QHgDdKo5Cneuwl0X2juk9SYHQkVO\/hjNCWHH3pS\/vNQY73BiPWfEyYWR06poKYsCreh5SBzl70VJDDpuhgYB6WLBVq3yCHcLswHKqVPn0VI4E+dasbn\/JXTNMk3Rv6gp+kka8lh857pkTlDdT5OFFO1cmgEnxy2l5mPd55eX42OWu8IeebOKwf7gYIHS2dFoMLyuIexpV9hTYPHw57jvHP9AzcK2f2ekZk6d4+NWobejiWF43d4p+\/6UHR+z9nGr7\/Tap6zdYu9b7KTVl00jMDoyaXRwK5NGRyaNjsDKSqMjrPyrn1Bp+GRnfJTJ+f\/TbZWuklCAtBJnsr6UVwI41j9NVxb3QtG35wVB\/7P48cmer0tbYxpqTrKWgwVoYEy9ZzZkA2AyiVv54xIFxBD+Vm6PIQycVE7lhIVG3BuCyZa4njASyXQn4O4BY1HOaOn+avgsYZEdsQhsKOQWYM9XzGJSqIBLJiqbB946oUzYQxYx+co1spz1LuCkhQIwsSc3soU5lOvJPrrLSv\/yGZg6IwBz1Mw+01IqRXZk\/YBq\/ZOZHh2bJ3SXn2BR8EOY4EJb0rHC5sBtdQZni9piDgqop66s6A1AgV0aY8ou4I85tedUgdlgNdVkOmj8C3tiEouYU10ATbcsp2lpOV1Lo+Wp0XK6sK4tYwNmq91tOy1aGQjpmnbGpju152vpKIH53JcID2NjYc9Zi561ugt77mwsw2UV91tCQ2p9\/JPzrea5QCmbnUizoxz+nn2k+2Z5WZuLlGZzL8o5UptGpjuoZb5lGM4VZADG0giNBaXSBqrISJLM\/IE\/V6Hk7i\/YFiieOqqS0vVor+RryW6t\/Oi4mB0vp2Pma9qZNIjiNFlsqiILpImyTIQzKBPhrKZyw\/RSOb01G1Ftya8KJbtpZ15J5Rm2pj2RfOLW5cK4KvgCE\/bMC\/RwFPDvmRdQ9lhykAGLbLGHg0SEPb6Ng0xecTNG0s0YSTfj3Hg00D1yXPxc084+JnQjmdBX99a4sSeU3SmeeKPxhYcaX7hp5gtf3JuSL3xzH40H84s9p+wD\/KSduzfvkxvFF77o++XLFl\/4UvKFr5Jcy030jX2g1e65tQcLTbPSNlO5mz9Y3ygwj5tG5rGmnQfT\/VLjGZ\/dx6qnG+QZlP1cFoZxUfjn5q0ZODX+oGb4+S2z+tn6DDCv7\/Y7xufGVxM6ga24dKLX3PU3usio8Ry6uvszvOZG8Rp9dCBUbQahcUMptb6ne+Fp4Ec3ih\/dlPzobi8\/mhtfLeMWzV8LEVogQ2h4hloN05E9sCLpYWpiVn4SbTKrG41ZARZ8iYU1u6uc6P8yOAvYhK32qOU71eeBl2ZkremoNzUdFVRS1E39JMpQL40WLy\/tdouBUiqSGXioUSf1Fy8vpycMNFB\/\/PLyvsUy91gpjKjNck35zM2MstBNTa8sCsyMmgYO9ACAd08cpZv64FNO2HAnJ\/Jfo1YOChKMaeZylVLrxz30gdy7sPpgUFAUk7MC1k5SuZpTM5Ggd\/zXVCyuFKyBGexVsLxeUo6+l\/lOANU8ioyEDSlEVNnSLWfKFu4EaEeuv4KuTm5jeHlLOm5IxkmjZBxbxEQ4JbeV4q5gQDlEf+yMR67rFo2copHu8EKLeGt\/6VD5AAAys7ZcyaXc8oOCmeXF5gpY+uwcgydmYova5ibEaeQwXjkK+LOciR3GEzVRHKmgld0rppGMHJSWYT7YOEjGO6mzpAtQbKS\/WHuLVps7YiHz\/9rmHnNP1Db3fW1zA3eSuxtiTscy0AQxpxO5vSHmBIYgGH9lzCkH8y+V5l9spdL8S6X5x620NP8CFzhAC4JBdUe1t+WS8l2vF6Gf2bcnYRxgWNPLOEQ2Xd+ed0Ll022xQIXHD2qNRSK8iNDVdjvsP3EDU2sdJIuYdK1Sgvv2nDq1J1qOWIrkgCWUlXIGnvq0E7jJOqsMxYyFvUg6UTMwFLN3bbv1QxG\/2oOEoRzNQ6+V1BoHoDUOWW5HLLdTZr8\/pWzi\/mq0WMZye8ByW0AYSyqDE\/YbVigdMK\/pgHtRv3AHxbDsyZ0YxQTYx+KhMPtHuEiwGdULCpv5jHRJzEfEqRVLJJNZAt6mMJ4cE9pZvkmdWSBvqbsWR3r0S7NuBjs0mTb7aD1RFcmp5m21C1O1AdaPzhOa83qNosKx+7TerCpoDuqWzVq2n8RxbWZ+NbXnNsbS5ASej9WD1BdQEx8rNXwM+pg0nbfxbjZj\/ff8+Lh9TBxCFM7foF8t5hpwJWwFC3yyTvexv6n5i1HuoAY0dQMJ51wqWbSghWGS8nAUyywg8IvCwJYhEWENKrUqtwfmqbbsNcXq\/cmaHZ4F4fzgeRrFmUvGQsyco6PFYmEv3ttJOjpq\/\/jjj0fPYzGNyAH6QF3lAl1IRJxD0pVXeXsxqSoI5+dE48SQOLP8a5x44QmeDr0oqrHj283A\/8lxGfh\/39IC\/6cY+D\/9C4H\/X\/eE+VmA1bsC+kwG8ztFauRT7m2FdMMGZp4j48CQblI+tCkbuoF8WLYpG5QPrZ0+bxhQ0wTCKqrrS6ocVpwgsXyNEQysodr84Z8O4+Ib3jNmEZNuYp06fuHUkFVLmXbTHVh\/d4YQBN\/YGPUOtmIK4a6o8CvJEt\/TfVHjV7MomqLKqKkEoTcqcLPFwqCSSGaVlzBRxaKCciCqeFiuZ1UouAsYaOFYCPY3WkudW9KX0EOYka75QsQy6u8OWM1qUaHMIuZElyiT0kau678TzeBKYnhO4lqQ1n\/GeU4weuYvcT4TiJ2x1JmoaFbFMiDbLvtrLCPzPSF4WmMYT0JPbjQ8zKMExvHjKePlM6YNsdT9KR7CIYkly12r\/B3g7g3cVieo0hMDwGyRRx3GRspEL+jTTl4pN7kswuwz13VTusrd1JQZuxkqJg1Z2FabsmMWWyeURe6vRspyxq337D2tlMImSArtK4OgTWTgwH0pBf1yln6eVkp+NaDjQU1H6n1hmTWQlF3qsPG+XtOSBa8FzWZeOtkKm8UYNuMqNKZCfo4knLfmzMZJzGWYcCu9INvMVMg8gokJSZGYYDa+tpmWkEXytVC90bBxso1QbxYQSfSZ4RckD2uy6QyT+7nALfMhwwM2xbF9staz3TJRz7k24pKK2y0wPJo6bjNBX12ZEDXJjYXhJjk4Jf+P1mVLRInUk04GsOJam37pUzBK2xLTr6m94UATdV7pv9P7nRv8XUo3O9dQe13TJwIeCU\/h7PAsm3lxXfWZzEJrTg4kBC6ZFL9F7Er8oFKk\/HVSI4JOzgm4afI4FN1dvebFq9BKfxNSFkzD2\/lioEAIwlTmwXt2EKYvL2QYeYJATrysHyVJAA0Mz8afRUhZLaNTFsM8CvZNYg+7kLqeNNi3YAOr2BO8EcJZGEUKAGwkQVRvYM9n4YFGZwUaz34\/Cs+1puBfxLTTjdGrhXysLaSfRPk0lpZ6lqRCSQ44riDG3AvOz0R6DmnwOXLU1G110srWSwupGeChBJa5AfZSIY04hxJsLAa0xt1Y5rgGIA67ca\/dP291iZf5PA4gSu6QgGsPuEPUHzy5oBx\/gUqJmRnqF3WaEJulclECO4PFvuORJ8I5P8jCP3gNSx1uuodnYnyQ+cmMu+gxlQviJ5FcDoQYYTCNwI7zafdQtojzqVqQQ1zqDI9PGBvIiJzDs0EuBBzaW8IQ8kGNArAqHGkjnR+aEQIp254rkMX4nKzhYAf8Ts+xRK7WIAmW50RbLOlo3VqxUHlg4SwJdiRSYhohrsnhgaa3SIDCAqCDIufCJS1yAIkbLkbC1CrziPuCB67aLYfQZRJ3FRH4eZryWOi4klsjtIflqMWAQ8R0UY+dFE7AGrIBtqJuUkJbvUwUOnK31ckr2s11F1HeZyDRwT+Y9XyYa58N3USdqOmqjA0I8JNEGpTdxFkJJ1nD\/4RIk2jgGkM7W3QPz8INIlwUpCThg1aIzJ07Ws5saKdePCmP+TRyDmghSVy23uY7vj3w0m4mjCH80NMYsIANbZ86QxtY0J\/gTfKFt7CmoV1nhlhSc6JCC5xuNvXgEPAZ\/j0nElXwW3Ugi2FaimgDAvPbsxXV7FUtzL9WO7SzuYZfNct5uUxzjQiHtt\/Q2K9a+3pz4AADuVmD2matfqu9WohRAepCHfVYVDEIfCxEA+jyihkJxQvVNsOHopky5nSwuAQLOtPPdV1pkuHwLIjqoATgydh7BknqXHBIqAMnjMBrcn4WCFxGLo9OgOdDnJ8FsGzgStBYTZIr3gflGtbBFVEuTEV+UFyfFZS1i0GC88LJUp5VkhWRPuM7ZfPsVmR2yOW3kL2nE3015mUdy+G8PiAePk55wVoVAWwvqycX1iQH3sgL40zAGTt7UC33OfZdMehzOTucylgBq6qlEgAChKeFegVPUpE4LCbR1EElID2yuQEbez8La5wQJuLvZ4X6dN8MzeAvQjN4EzSDt0PzCgCyvyAcDq9lQjT5EA6HPOWxX1NPCmre2oC6cNd3oRTuciseNpNCWaADIzdq07y2Z8LLvTFxie8dmnGpRdcVfbkx\/0qng32dHv+pTg+Bl5yUvCQo+MhJAx9532\/A\/QYnwaJyW39pdJ+gN0Zzn4hkNIo4S93Ds3yDv0Z8BO68c1SRD8+isKnaEnLusQQvCpUwLI\/Aoo4jtnScwBWg42Tu4StMq9ClQXn1kxxzSEt518AfsQ2pM3EsczbV2FnR46aCovT5w9pODOQ+REU7G3sz3lV\/Iac1eyKlRICy4hV8KBYTu05BDgGWTAPsrkbtu24p8iUBlbuSS3LJFLFUZuJ8Q1GXWAUbP+PSfgzsJN6yHiW+FUqymmbfaL4U8BiBPZz83Kybq6o6FWcalitiKUg4xZIchCEeqxLuCiWN8yhYEDlXgoHgc+4EU\/LIuRRMkqDzRTCe+c6MDeEyEucnpu7LcIRgw6lwfmFRGDu\/sigZZc5\/GLjAHS4YepCd31gc+vzGe3Y8wXjkPLNsPnL+xcC95PyNQezlK\/wMBIMwo\/MHdMadhWCQTeJcwMFxTzg3gpVhD+deMOXQdG4FQx+a8yQYuGycTLDJLLxMgqVzjc0i\/ilNps4\/pMb+b7dHngkjS8IIOkIII9IHQhjxocaHKvCmPLfhv2NoDL+W8AtCCOUhDyLjJ0PhHlnd34N3v9vd3wPT6Dq8Z5l9+E27R6OwU7IMX2wfGaX2FK99GYrqkoiuZ0+9mToISp1ev+I6X\/UDrG2rus7Bqt+R8lDjTq3Oxk081X05Q8HK1OryfL\/Xi02zCNEbvDjRahPaa\/flIdfyvh1uvzsKGRQVFmdtKO3GhPTd1u0T4I7L2XtK1bUTzXW61\/rzWyeGa9L7PWB9uTDvjkY7Z8p2zVJNSXLUn8DnXK4SL6\/3gJO+Z61uUA3N4A4iQp1AhzzZs\/oNwG6RQwl8XBKAOgMcb41M13WyGZd+Urg3oKQgdb0ROk1Z6q7WLIf\/ApaVyVYjLu6SRNwmAe\/Wngx1YiF0o25kw2VGc\/4x4lMeCxXcQFMa42byhLkNJ\/JAdTVCSle+G0J3F0Kk4SCHc1LKfUlfXhprFHOk8mBogkFEni7v0QORpBdRZJCe7KOvJKSMByS1eIBMoEh6QX\/H8GzgrtbaFQb\/rl1hIENG26\/\/Gy41wCO75a0cgx4U9t3Jep32hn1XnhmAN8detjmwiAmlqxzaYRPwKF4lseCxWK\/hKpmYp58fbq5dD3NbinMCG0gwDnuVW8Q3D0n\/kL687GhUiRTVEnpe4lotbXRn0xVcdaUejNUs5XMei3s\/TaLIAcFW3lr1QFdreQST2ykPcp\/XaGzhcjvQYywnxy0Hi\/AGm0Wt8RNcHfPx7ev7cWt9R+7HXtBnY3e0a42nbtobY5rQlK72rfW1C4vILja7uqbs3p32rrGPC\/0mlvv6LS3weFEcjPXhlCW7gr8XiO5LNaDrulfFbUMrrZyunmRIacUjZ8Q84VyzC+eSXTpXTMwi52JNOyM7q0HG7ile9oLhtd64r8Ejc8hHOnWxRzcR2I6yG\/h5i4A9VoDd6IA96g+q99sNKKF3JA924TyyS+cGQb1FULWRXXgdAS2ysLjNY8FT7fRAfWpy\/bANCmLQrHCa3z2VYGmE9BWSHUvTH2gUmn6lq6\/uw1plildBIePB+kqPFpR9c78K40ulY39wW50PZ8UInQ8FaXx2n3of+uznIvoIZZ\/cVufT2Wf7omj9CVr\/LLHz2b7ofeqbxmf7svepb8lH+u4bBkI\/yyDC6rPNoxqWvsA9S59tQOFnYeAP9rPKSMPGNRR9tj3BtFceqlckqr6c4d1rTznPxEUcTiEsFX9KvSk3ZB7wjpoSkd82Ym6w5oLx6YAHcLsPbn4nZug9cVZrlvFICoRxUkgGOLoHVX42lyWzeCR\/ZPPRl1w1G0MuBU+h5bo8u1bnZMRWbrNwBh5CUMBLMRkyn64MuAVIdtML+27tCdJPqFwZn6473ObTUGy8L0XN1mvlest82qSWTws8M+kN+9Cr5I4D4I5QDJZ\/NoOyj8BJjZgvDq7yTCRT+UziZ2c4sYgZslXAhRdGjs8G+WAQ8UzuKNC9k4wHiv3WRuhw+0mDX7vopI61EGf75L2hLXBd2TzjddywhK64jEEBZv3yZo2t9ytxA32QQzNU4qZAojzNMawd5Bj2Bv2Nza8bXIQpFQrbNTD5OaHUdQtFy6dl4E7aZcWxu\/3gRmHA0yaIl26rszybFBAvkSUIY9Jb9plPlcjb2\/dizOP\/o7p2an0\/ua3O09mi6PsJ+l70nvq2suDxd7N+BJ0S+p3rhpgl7SNrxHUC0jaIP\/biEUTowZXshAyjsY6\/pkg7I75J\/aWqWy5zKcB9pyqFl8ERsEkeb6AI5QR+M0XojNFHfaqRVCr\/LWGJ0hjfvtiaDQHj\/e2IoVu0UJGKUlvwTKAuu48sgCaaCBlxL\/PHfJDXHVCcYgBhBxplSCqsHy\/epdhB4oKGWCdEPWtYiscxJAT7bFWy6yBPHSORTqsgTxkK2bIEn9a0Exm0MxLGkBYpgWAtyOTsDrdx0DoF5cgb5OSGKc\/Gjfw17DbNrhf2ndBRt7rBpYhGTvcyXkk5eQ+YL1za8zp6oGW1sN8N6reGfDfRnuX6aubsxPYjOHT9K7gR5PtLrX2xnMaEDYwlm1Bc5k51de4dh5D0lwHmiKR0BbKgXmZoV+4WIVxtTDwcVyTKhlZA4dYTtb6Biyue0ZXvxT6PNuR5BlnlzaJeG1Ouqlo4A2XyCuikpagDWekazHNqJxLm2mWmkQb3Ll1eGiF9QpmPa+u7rY5fpYL6xbombtjz+\/vsQojfFja8Q2iv1VcxWpBdURdiufjLDsIpskf5FAZyHh3JI7g9ToRqPE6E1hieao2XUkvtoOKaqTuRhvowUuEc0NUSk0ekSj6gK5xKA8dK4kqtRf0OG6Z8msx5Q1vUGye7uxtj8tUb+4PG2OFyd4dBOH17h9AYO2xYOPDSE4pZrcmCNA5YSy8gbLAlwNcV3kUTsKhvRIQ1L7qCX+wAXr0MZ3VtbzaLljdeOsncCBUhgGkHl5a0Vg7pum5YXPNQjqyrJZKcFFFhC9cvrsbGOy2G8s8qCKdOyMLAKV9dIzcuRLuEirCqoQ5KGCj1OslTnzvJywvJQ8gG7QBdz3cKnTosjUCoPAi5b3bsGYJrbQy7w7JuqMo7ckcotoVvuMPazBA+fWLQzb4JiXC2NR3Yh+XN2oValBYqFVBWRzMch+rocSLjOXQ1hLBCJtIkHmHAqKiQPndVvsY3IAynXoDY84ZKk9TidwPNoyTjd4N+Z6hC6cQ0JlrEXMVJJrVgOVHxdtVyX6wH28P79bg8TmfSGEcfyqwFjKDj1OJEFLiYKTRgEb45g2CD5qcadkr06iyzJsHYwk3tZDjMuHp+Kp8\/o1O+I++AC832ibk4X1qn3dBaWO0TB0rYyPXN9gks1Mh8Oi96lm9ap3Q1cn3ryWofr1M7E8uI26Xr3q3dz6QJ9TJf9BQuQDDJ7Jntqh\/JekoUzV00247oNL2El8N4dIUQ3nFfIIGLEFKXJNi\/WaDMDAUrCv5lJXAolvkFUX9K0j83AhtKH+ue0Yc4phraHNoYEzk6ZkMYWgJgDm0ZITk6VrCMw4A\/6JsM91e6saFQpa14p1F5zrW7lUXTtfwbwqJSl6cheEkZf0NL75mo6xdTl5\/H3eZE4PKyTYo3lsO95ZQ6LYgHpO\/gUvvyCv5japL\/Ih2xU5WP4XYIxRc9SssrdPYoPmKcTweg+mT72w3DKOprQV95nCGoHWUI4CRIDTYsEd7o1pty\/ErBgqdXXsYNlLsqWbsLQS8HQmK5PCoh9TW48a1+2xt4PjbmDrGxXBlXv4rCQPmVe5MbvFOoupK\/C7qtqkC+XbnlRrXs1G0kYJSyV8uH0lEhsyK8hoQIrxf3Wepy24+SDAw15SsicA0636FIyuybYvHSbmo\/Pg4n90kqXVJ4zzkSe9DL+3SVCjgu38vxckD8i5cly2MMxdvqj7KWyTCMQHcmZt7HPsuOs7rfOCt9yjGMkqFPt0RbuuGEE7a4TIKQw91JaIrU\/e+pe5Gm3lK7GxvPMqgrsaXMwpP3DQsw7hVZNkCqgWu1WaaFR\/Kayxydwlmjng75tUB6HpzExUaQpfETBNE6+Nik\/yWpICzeky+s9Lj9HahkYlQZg7PyGxMgF5JUVCZPxMIiRTRSuaGBnigaqIiv63f9pilmc8xvZQM36SZ7GihbQzGfIRy+Vb8HxZWxYXbr3RoTWmiPQ2pH+J2RKxmfN1T5gFJHtl3SrtV2Jtay4LOLd7G6ckWuVFpbKeTNPA6uxmEUGCmErzT6imuMWaeurv6AlOPgLWPVHVwyDTneykDO8Vp6I+6lzXYcRP5QqTkgagPi9zPgoGMXBIqTVyHX4nI5eg4MAHpUkue7QG1SbrrtYiuKBiaggpt7mIC0nyVDzF51YiEmMJOk5slqsmfR2tE9WYWFQPUtPqhxxtEOAwdviUPEsRgCEbD3veqm6eIDNoVh\/L8a75TrxBvWiQNC1RsvuOl7\/eIrEHnvpF+757qzJZm2D9mFbobyqbTOMSxchZiO6SpQR6fURghBT2XlQxsPba1jFWbCnCUnB7brOzkc+oNEEifvHeNl2hlhQyfvvccH0pVcVW0T1SXUUtqFP45exGYiw7h9icFyQT5t7ImZyBDd8Ubs6eDWu8Uj3mduLC+OrdYDntv9dfUdgXaHV1uFKxaKb8qPB8jIOR5RLr9rc6Yqu3GPy\/v7nVh+XEAxe8OzVFWrT48M1bwqw8+ylCCpPkxDdWKVRfA5mRIRvVi7IretJRfMtr6h8g84S9NIsM8ZKHD5nhZLaNGp22uKGzS786auuiRTefECoKUtq16d1qKdYENMVOk8rGYUzI0UPgglr26lipHsAlqet5RMBYHpZX111nkg4KM4PsS0k53vPw9JcbVD0A0apLBS1yCr43UnOciHGJM0FB4kj4e6SsmbuK3OpGJMk2KrLt1Pwgh7kz6LNz6PtaSae9NX2xVayhRC9ouxZPg4pPKv36eVxpQXl0QEiZ9Dlojtp9wTRc7I7b3RcNT+uNVqHeH5vBIDncXGAmLWVqupYlkq5NVpYjh9unGTdC6PDS8p\/tvqBkLN7+3jhgHUCTs1WSAtXaQuijvMnyBDxoiZT50Vug2cX4yYJd0aP0oo7SZO+eAoTZChWPHRb8zB0QVGGx7Ox4P6T3QtitiOvCh2haToZOzZifXso59qzOuNWymmq3hjzmofsXJDrUVhDxq00wzMa7vmWd7go0H7P4V2C0FTlaR0AEnv4MxOhgeXUTLoxg6YFfDTAF1\/BXqt460Lq6+ZzgzioQXw7e5aVcgAw7e7a4NT8FmkfOjmndSG+y+ixAvgU0x2Con4cZLMeMxT0ikcChDNjbylKxXMTjkkHPSo61fQtR+F\/sSgnYyLh3DKk1zo3naAKOXzZKJBlOMypNqOBiN7x\/5O6XrNTlqtkrWjFS7jw9VHwKTTvkL1tP5JjFqmWaVIbKegyVVR+yvWPu0Xa5\/2iwtYjnqE\/R73VcyM0y6k+vL6V\/sOCTmUri2+puraW0Zo+fv3GJTD32MtCXui6Ui9vvwaDfwAU0Z85l7QVX+ld60lbY6s4KLSesxr1mMqGVvei2s6mi3ScGpQuvZkfVpZ+K\/oxtpIwZadmhXJI\/KLQgGMiiDWVAJ1ALKs7OFXzRCOqNHUAjvj5SXaN4GMNnzUJ6qfFY2SmGOuH54LxzOj26LpHQGPjNdco\/Yimr1wRQz4Sie8\/GEVObjqEa6x98BSJYwkM88PBfyCd63qUbXV6pNYWENvGkblE572VL8XRX5vxCFnGA7d+2A6MjLzwlhYSQqHIfobOfVxQ079iAswv3LBg3vY\/0YMbgC822RDBU5rKnBmumkvkvfjB7BgxTepfgHPkQF11CQddLMGJVNxFVvB94kqdaCoQ9bw8aoN1owsiYCnoAi6qePrNlw99IsHKZlbM2gwjV5eBN0Gklh4PMqbwbcMwQDoeJv+ILgwByTDbjFOt15SBKD4SCgdkO+O6XbLIk27bCoLsK26meuvaRZ4mh7ubmiEjLRbrf9qqC6zxnfUq9VA4nXw0KLcgHCBzzgUnOAUwzjjqbjkcHmRkTDPHoZpJpCfVxo6Xxz8dnN9z9PQi8I\/eGpQ\/HYHPjwkpc9R+xLdlkYOffw09Ua8k9qJFGsbweV8p8D0vXjuZYR2crk6rtfJFfLduJPbSFMxsBqDHAeE2kHqLXAwI2Ut1kJJDl+XTFBW6x+m5EYA4WMEiqep7uCGSvR\/QW2W+i6yNieEfmHhzOdp1AENApKKcjGEK\/hNHvtJwL\/d\/QREnsQAvh6Q\/lA\/syMge65RNUEKH4ajPOW179D+H8\/6o2X9aPWPRiEjlvrCE\/pTgeWWzjg\/m3fxf5UlXbjkiiw2Hm0msu3wc3I37U6Ekcpu1lIL\/B8jNgn0TuRtQUf4cwpytWDq5cdLZ+Ajk0bkLB6BBjkDb5L2tUq41azoc4ZsUeIYf0d0vaZ6aCxvhF6l4aFCdyA3eqXyB26+yYk6z8KI8Gb9oNjxLCg3NPtz4G1OGcdfFZ6ftwKbFYNIplCjM8IiYWS05p5Z6in1Al28mhoFj8r3UuZLdmSxy9UPcCtDqvmu6HXKvWBZxtubMyC38uv6vfq5JHxZd0hJ6ZY2SDf4KOKOVLpOkey1q40cnNC+W7NqAkq7gVM+lO64PcEOmYfVf8WpVMCDbqUd8GBHAJIav6FtPXxDK8m5L2qD58N0AP9SzorsRkNtAumpxU9Iu9Jqers6miPKtytruZIY8EFCUNHteghmION3Q7ryI+6lP0Fuz9yLjCHtyKZrmVO\/l\/Q8X7gEFJQascE9\/uOzUYGZMWBm1Bvvz+wsMjw6u1oW9w1+heHoukgUwNHZKonLxKTKTjBGxW2Nox3rMUxSPBewO2msyhAcazljUz2rYEhXA6PGL68L6pu+FtW8eENLjGqy+10tVdojn4H8kl+QUy0x4GWM2TWl53AcAfN58Xk92r8YivuM9i6El2eSlDdXAnOWMdt0vC5cCsXYF7SjIWvoZlxUtFdXTi7d7XmY9\/JrYhc1nBedX1L1rTFZvV4XvuTG9Z+iD\/20BbfUw65LZkBb7qAjbC8IMDf7OswEGP8GQTOeVEJKIy3hpSMu2BQpY1yo1iWFTN1xpW7XuLaUQVM5FUk30128WH2PbR8blvnaxgWrceNrSrvXTvWAR1eqmEoRmaTyO+zykxRb26FBUYEtcaFuR\/u7lih7j7HLeyCy9V4MVCxVIkEu+XQvT\/uu4GnsaicuSh473Uvjl5u5ZSXnvap48lWdJ1\/1e9OdDPmy05xxfaUyrqtOmAQxcHZ1VmlfO4gnSUUdcbfutGonxgQ+BqGXyOgWu3Fvd0Zp2Vf38Q0RcvhUWKHI9L722YN7172Tdz3ddK07iEs0jhHnU00mQdSy\/eaGndqQbu+GPfQ7qTAe2Q17eAVXnr+Bqi87KcdDkxCOy6ASjYJmNTGm5QhF1ZTHOSm+MbZ1PKUcGpqpsb\/J1h\/cbypm2flWBi8\/NFMqf555cQCk+mGLVMOh8aE4j\/Rtc3x15B1bfYazRfIkHy0\/BY7zqFgAf54lqbB0FvDz22b1M5xy0rN\/PkDWwpeSK2whDnUNIqUBdCzzi9Hiq3i53EQeJjbCifMvcIR8+tqekAnF2jp\/2rnOMnP4n+6nCgeOYp8I1Cc1gRb7J2XFwz\/NNmVKDKB91CQl8BN6PJXJi7tlRQF+d7Ngaz6VIVk\/5QY42Dc5kCQbk8OUSmNazu2asuLhGuemgC+Fza4R5LkrECOFvLjQ4sYdyce1kNWV2+5cme2z4mubnSsTYr+X5Xc2r\/rsvndltvtw57pKejPGTMVN7vEjnOBWvVy\/inj4lN\/\/X7yPICzgCR48SLF\/7U67JaftTnf26LruuJb4C51fw1aQC1PuBH0hwqGxdxXw9SIQs96FHNz\/YbwXM\/og3cbSDRIrMTQuPsw1bqa4cUlxU8qKhylSHAK2ezdN+BLvI98DN+aBwjkR4C4fM9+bcVLA8yYWptL1p4qN0dW0lh8stbLd5gFaQCgOlPpzTVfX+7l5ycSvS8asCExLbm9gkBrzrtMEzmAvO8AWFZqQuF5eyoIDAodu1UHvD3zo5REki47L2FUB336+UNjeNdagFM\/xa4bQ5RtaSkPoalfLDUOI3dbthwt2T0Etuq3RzEWaJos79OpqGMHSbzNCV4\/urXlVnlWuN7jmw+23PgDF4ntWw3ufkynH2vvtuo9xgFWX21VfvRGvwHn3fXMLfWjVpuBdDcs7MCqLoQyT31cR8kv2SGsSfLw\/olsnst0IkshupDj5RbB\/7BxJJpJ8hfQKdfjqppbe\/7XpQPid+xUCc3ANeC2c+bn03H3utfpryh7cMaqZv1UHHq22o8o6D43XCt9V9xU\/mI1U1W07VhsQWXT+0JFa6O4M7m9yizXWfXDHW37VGWhdY3bXe+iz3jeZ3P1FJnffGFBKjz4oj+s3+Zd9w1TvL5jq\/a3wwdrv8ZPa+6TIloDFNW+QFrtrGgjnJ5hA0RgvDJCvSYTJtVi\/IvohJP7XZH+VBwFf5oKDk3uUrmQR8\/T+l3+oQMm2N+i76T7iXdW8RP8w9jZmyuBvJIR7+JDkBiFI1csYlacLLpAK6NGFWv57tfxX7rUdxnPjUu652z0HFpC4puyK9apub+WhhVF5aOEWCKlP969QxL3aEhXXdjQ5XrP5qFfhQve7NnkXlWYGnsM3pbhMQcy\/luKy1lSrzj4tbf+sX9Ng3qKTlu7xP28OFEKZXb9ZFF+8WRTfv1EUK8IskfBYfPxxJ5\/ryKs8dhzgeLRuFGFrnwy4kbRdyawD7QiPcW1+fWdcWNeUHt3Td\/drFH+QaDQGQvgq1+rKm4k85cbIVov3U1DctfBIV8rNOGWX1Q5TYeirhrldGo9lKzy1+50rjyAYU1r4Q6fshqp7Lm71KOhY5fjsY3VXIFL2NctnhN2+1kieFIaG6874Ne6KQ+5sU463s4U2GK3ypv6Es\/VNKr22N1BrKTT7DTOuuFQDbqLr1h8NTLkERlGaNILCEYJx\/azT5t0Q2ebdEBncDVGFrZavhq12XCOxz+JY0NWiduhO5R\/ujWfloc5TP7qtzsfqspuPAP1T72O\/3i2e2qnOc6kT7Y+P8fOncOSu5jzNwiR22kwmAH4UbJqks7EzFmzEhVOuppZ51pUyXt5Hrz7ptwhT7izhZbhgsnqrfvJle24ywlvMsP9KzjvecSUMSHrHjtU2z+lK5sE3L5O8XAK+xSNCH2TEmuUijJwVXGozFaxIH3T+By61uY+9WQYX4EQCHh+Sr\/HIeRYM3al34NGYCAa+3Ae8lTEVTHrj5SPcAbamBu38Xw==<\/script><script type=\"text\/x-nexus\" class=\"_iub_cs_skip\" id=\"nxe-map-engine\" data-nx-run=\"map\">pTr7c5s4t\/9KwuxMJRtkcJrOXhM1k6aP7TbZdptu9+Hx7RAQNgsGVxxsqOv\/\/ZsjAcaOnd373f7QIOnovHSekklYpD5EWUroOgrJKkqDbMW+fEnLW29B11JAIdPN0pMnL3i9OPfAn92KIPIuH8wQgyykCIXMLSmCwheBNc8Q\/ehEj6lBNbjIRyAL4SJqgAa3FF8LkcNVGs093PZaenNx2fKYNRydPAZPMroZHdiTC\/gUzUVWAMlM5xnduA3QSQwIh7xE\/NaDGVtkK+LYpvoOkyyTRH0m2ZRkdKC+b35xbErdKCTnveiCb+mc96JNFJLh7uywF23qz2jTEp4qwlFIskbpH4UXVDuaj3jGvhZCVnciET5kkhgsLa0wtubewsrBmwqDKkUueXQZ7cPmy6lBR2mRJArmni8vlw\/wFZY\/t1aZTIIGNgrJ6X3Lxy57vD261\/CQuTCaFlJoFg36\/XumIAXwJVtGYvUiK9m9l4vPXmK+4gLYKgpgZn7Gz5mIpjNQ8AlflyPbrEa2GY+cjentjhWMBH5\/WJQijSCvtbLiR+TNfS9pVHcFfHW58GQuXieZB2TFpgKuAGR0X4AgRuCBZ8XzwqB0ZKsdb\/ZpXyUJMfxI+okYK3A5qZG\/PgiqmUi8+xrqHjjJDpENM7\/IUZOGQVm+SCIgxvd600889JJcmLegP7Y2vQKiTRoVPxVw50sh0utPt4S6tSHCJYzW3ihifhKJFH7Hgxi8MsXINsORbUbpUshcKHvYbG32N9IatTMgSIZ53787dAuxIGAKTVw+JI6WJRsUY9u0J8rMU75kvhQeiLvPbz5kUQqEuikrObgpq7i2t4KnGD9kVH6SXpqHmZwTyWpGCW0kGxesNAtWTbY8fWm1ESFDL7IiDaJ0eq0k\/yh8pKbslC8IsESEYAKDbEFNqWYkWqYJ7D4DyOYtIRUK5l5JbFOM7Qk1dyacdiJKyStTdiCilHw2JUJ0mPSAAF0Di3mLxtnCO09NYDGlLrCSt7P2luQr61UPWGwCKxVUdRDqs\/W5hqro1hS2THwjdH3P8h07hEbbhqm\/Ew+n+wkrGWSvo1IEZEj7xglOVTtT9ET5mQKO25WnuGIoY0hY\/NxhtkPX0R5VZf3fsmwuAkW3EAbdiCQX64hJMc+W4ggw3eij\/o1QU3AYDAcJi90wk0TbpO3KizcsEekUZq7s9+n6zVhO9qhLwySdiKAgDninNCjtCdqRmW4aSim33fTidUMpRUqvx+mE5VAlgoVZCnfRN8FJCgTnaQ+QU7qjwEVpuJ1NOcgsFspXORmyZ0e2dBw2VValjRv2RPATL8dAqc1g0ISkZMBA5EAEvXRsdj5qF+adBWc7He\/BO8Mt+U+t5+nj+FJ7muTjiatS34Hs5mNuSzLfoCo9kp0Y9f27TZ+fP7PpWrJFkc\/IGH1P+Zvywr5zbvdAjfs\/Pu3BhG4wI68ewJ9NrLOnChI3\/Y\/edDaZ0M0WcDixzoc1NhOHGq8ztBGxq495nz9HnNGL82d2a3MFt91iawkFWgLOh\/z1uJgoLDlPgYQa45ynlz+OnulM4\/PwQPoAUUKdBEquAW95yGZevm+hWRjWgNf7mDSaMf5neak\/yyR\/Mo+CIBFPJgY95VzVAo0QN9x2by78RoibRogr7o9vtBC\/8o7LXO0ZW4mukrAYw4bpw2Og1Ra00rUNcHLFkNHrLAWRQs1FL++x82f9p7QHZgU87zls2NMlxAz49eWv1hIGw9Gvaibm4xmYPlgV9NiP5gz6Sxz2cTjUArzkt5cqk47isT15zpVpDHtwGY+Hkwuu7EEPHbXqNKtnavVMrY40hs7\/aOgvlSmXz\/mcrl\/qdK3s8iVdNxr+i9vuXxey0fBfjYb\/4HL8l\/IW5Orij\/FwopAhU8\/\/wLSiRw6unTWjM1xzJi01914KL96of5pubeYxdct+3706GH8N03CauHsUwjbopnEyZHgB\/EoFJm3OwGMgC+gpr9G2+AOfw2ChT6oEvjpg4gsPZgY1P+4v7hj\/W31EDvrxe30C6vt3\/rQHbgljez+wYzK5Nfpv25Dp6Mz1fmdiZvR\/6ExQROX8W1TkvfU73ZlcGn0y7O1N3hp98rb\/A\/2vtlP34x43pWEiuv6zHjwOWBkmed9\/egBsLy9hMN+F0vno49FkdAi247V8jlXVTYYlwR3IKJ0SQ6TWmxcGSh7Pu3kr2lawqnjx7nPisdJKWEn7nZnKSli1MxNbmBJ7r9BhXlxi4TCCC3ZO1wkrucdKN2EV91jlJizmHovdb4S6nwh163La7bRfgrOhm7Cyz1viPYEI1ISmrSZiNVGTFgolAImgUxjfEbr2gHi6CP6Jrn\/SrVQNtwXMtqJ\/aev1MUFj7gM6\/2BoErTHPqC7D4adIvIrVt+m1PvTY5Wkx+KepLSpqgeoBQ+rbYuA5aGQheth3W0RYXkoI45jnrp3pCNRAZqamWp6BfJrhrzAOFlgls15gT5ZjJ1Jndpajoa2KS2gpr8zlVqiSWtHeG+\/wwGZ9xx2Rs18QHz1RWuZbvmYIP1+0agLOegXtbqULKWS+HZsTywCfUkHw16phL4dOxOLiH6qp3Yk\/gXPcK8ZRQCVcfh6Y1YqaZqB\/jOtG7Q\/uWp1zL+57UbMC4JXS5HCTZSDSIUkxgI7HiGDbJUaZnt7AXR9C9pGZmNgNdDbYKJ6El1y\/GE2X382Lcz7+7+FDywWVU5mythEnVI458OmM5upMmhipurLmUzcgK+DkdLurFpkQLBhsVI8RexUrFQ1NPHIY7FZjjxWmtXIY5U5H40VaB9Bla4RvK\/A0TRdrZLGq6KQtKJ8qhaCc25AVvgzQ+Utj8UXXDcE9YZNxdeL0WGJu4xs3Frbbq1t92\/+0gPB0mxF6IY+pnjsJnYVH4VkV+d0\/a\/OAOULmnr7vz0J7Uv\/cBSuriCPeEnA4l4x6CwGLGi8I+fhIFAeH\/NQeUHA5soP6r8BRoBcOQPOOPWKgysVrqDJb8\/zdPfKav6YefpcUajYAqUpucKKI0cVOKdTpfo2mvudyF7S5896vxFK11PtFAc7xkB607ZfdEFWurH8oA\/u2ltAIQXpnCTd+HgnSX5t8OpSZqqP57ZjQ+b1jratv7VIN7xiZd83r3jFqn6J5kduVBQdXJvkSsXPwTWa461S9o1S7JWrc8F+UsLMUbHFMR1WNXilwTcbur30SVSrF4hEgDjZtVZXm2UUkl2brM3xYkjXOmRhIjx8tLUbH2u+ld6VjesjPH1B1x4mzj\/H9qTnPLVRahw5arS505dBL+gaKW42j3hnsTDMBB51YN9LfZEcB\/OTyI8fePgUr1tyyBYfZLbwpp6+C2\/iyGZjojkcRriaCaS3h\/AUDw1k8k5UdeHB5gK8d6KirR6BLaRAZC9F6BXJ7tXTgRP\/Srb9LbBAJOD9eWFfOuzsfOQM8A\/dmOuFl+fRsu43jgS74D45oIf\/Hz\/5LAoBxXUGw9HwWJiNRfUwt6lMAJ6cCjjlPNqJIXhXEYvKlJx8IRTLCfxjT2iPOcO67cYyScVUTCFXUmarGxGCUZudVD3Lyc76R7zG0wDWQYDfFmq1Orz9JYqg1h\/s7hv6vNWAG3T9lahwjZHadNg5Xsg9UHMt7w4iq4voyz6iwf8Fld1F9VM2FwZd\/0L+afsjZnqn0qhKOw9u\/lXLpm++9dtEEeEFeNPa\/sxt9+eLsOnb3Z+xtw1h\/POEzaIgEGntcm0sy7c18KOUIJtOE9ElJbjtiouWkmi6aMlhLPYv8TwZedZCijzHi8NTzg3Fh2Gmh6B3iRrULI5CLXUsTFH3iVcJmRvNnc+h54CpFkhB8idGv+gbT7pC5dx284uwESpHoaKQSLoOx\/nkSEhWVz\/6UBXUgWyJIO3lqsp7imM\/yY2GQHYcu2X0i5pAdgQ7gnQIYKzP\/l18bsKAjhDMT7Jc5HDZTGwfqsRO5JBcNLAdM\/F8mOgTaVsjeeRwPR\/UyTbhRSkEr5atKFX+qBqbQjv2M9r63BYuK2AfcHAEVIpcgPbLJuseFmBr51oGFLzzYPs6muJ9Tn7cuE35qOnz1vQv9WmN6iHddJ5OczDtNlocZjQXwJ+oR6snj3OrneFR597D9ZgzHDDwXfERgHMuH4jX1Kx4Hfk2BSKPuLPp2NisknsYzyc7z3En6l170XkvUHLPOee2DsHNrenFU33UymUKID5aiI8W4uPdso\/96UE7ANkqJRbV\/\/InQbQcdRQcHOFbwxuUYqGY\/dvMvOt6rkrUsajQRl5htWXUl6RqFoPmidH6oGpy6lf+y\/brEQl0yaJEEP8oQpsfgs6zhoRLCfuXhF1qGFFBR9THwga+DL7ISkLdAtVZmpJVpmRlX9bP1JJVfVm\/U6tOr7bpjyKPvon397mQSyHpOhWrk9050vmpRX3dtKEs06skohucxJznHgykfv3YD8IwDYmv8EbnUuJd\/TOC0+zxnw7oh+f6fUXrJy0xV\/MnPpQ7LrbER4WLqHGxJboY9lJTINF4OWl6pnu6xuE\/shx6SXLv+bHKAS3fHwhdvyNB5hdzkdYXwxlvxod5F9Ysy6HDaYRXKhdZw2lUZ8ZsHE1YPvOCbPUxywAJ7U9tNpvdn7zw7u9G3pHs+\/eWt41qoBrO1AncoWwqvWcePiYbdN0CPPSzl+9v60vQm8wLMCB9qMNAJ7x+MG3a8PQQBdJR2yih7n8A<\/script><script type=\"text\/x-nexus\" class=\"_iub_cs_skip\" id=\"nxe-mount\" data-nx-run=\"mount\">vTxrd9s2sn9Fwe09ISqKltN2tysa67UdO3ETJ1k7j6aKbg5EQhJjCmAAUI\/I\/O\/3DMCnRDlu7577yRI5GAwG856RnUnKAx0J7rzGm2ji6HXCxKSzjHgolt7nz3x1JVKuHxGCCkiEN9uvyessw04d1YLKziV5ffzaSyRbRCJV5zGbM65vonEc8emAp3HsRxPn0eXd3aNLj2pNg9nNjIZieXd36Snz6VoIjTeS6VTyDFDOyKU3iaTSObazWRSHBs2sAbcgTZTOZi5CNkAiYRxl2F94NEkYD816Z4Z9g1yTmTdl+kRrGY1TzRwUUk17fNULlEIY9plpvJl5ks3Fgu2F03JtGHBLZu3U3h7feppOX9E5A87evP348hwNtEwZ3tySUAQpgHuBZFSzfLGDlF7HDGF\/5kVcMalP2URI5ty6+S4GPc5uPc1W+kxwzbgmtau65JOYagZnyAKqg5kzhcOofSfuKU01Qy6a0Dge0+AW4cxwdwqM+poyub5hMQu0kCdx7KBhsfbbCGF\/IqQDwO9J339\/NNVezPhUz\/z33a4VjzMy1cP3I\/dCk7M9bP+GsH+2n9vfcl6f5Qw5Cb\/QgHH9\/O3VS+es4DAhBF1cPnt3fY6OEZ1oJsdsGnE0QGPDQMZD5Law6ULjGp\/O9vDpWyuX3moH+4U+dOCbOfKU3GgZ8ak3kWJ+NqPyTITM+elXK39jTTZJzFaDzYTOozhiajBEl6dXnTcxW3VuKFfIrb5fCS7QyJ1JNhmgmdaJGhwcTATXypsKMY0ZTSLlBWJ+ECj15NigXJPL06suLO8CusFyOtP\/+rnf93\/p9\/2\/9fuoO+2ibUjYqAFpoMJIJTFdE7WkCcrcOeVSJKxB+pV9hlz0G9OnkkZc\/UWqc0yWipxW\/+9Ness9HkbwF3pLpaYNgt\/Eqer8Zl\/8h\/gNKLs5yhrP95zhz\/F8yiKlGwd4Bk+Qa\/\/+RYrN2nslw0A8jMSIayab8gxPOm+j6QwINd\/+jwQbHF2D8X6BNrSIRH1zDdjhz5730xP3p37f8\/7yCTOjuRftjsOQjvDdHTJ8QAb2dzLWw4vR3d1Ye+ZxZSdOtcOsodBkQmPFjHUr3YHlxETIcxrMKm8rjeO2hsWRnj0C9iRLYhow52CIHo8Opi5CmBDC8EYTcDRZVhg3CY\/Mdpn1oB2dlSTNwXQVppyRvs+OfveK6yxMOgOTDk74VDvV2yEb4cIpdyz+cgMgoNzjpWNWw1Z7\/BFEJci9ANfX7gyANQj7eQTQisOAuEitlWZzhLNo4jQ5a49QPmv4NwfFEb8tHZyBJ49R96KLHo8QPoYDDR7ZEwCnvpG\/hAdig294882jYXi+YFy\/jJRmnME6QUPkvjR0P\/pmd3mzN1SAXRD233iSxQQlkgWCcxZo5L\/xQL3ItnqBE4sC0C0ACaRQ6rWMphEniHLB13ORKiu\/b7+36Vu7qYlW1Iwxjfy3dtPfzR\/\/7R5XatUFrvntXgaUUo83Lx3sb+mGZDRce3rGuPMSZ7XXM0bDRsj35r6Xb3GWfQ+7vyM\/OzTjzXcA7KEiPg0FZ+ZyTXi1LIK2OejnFQsjerzzxEFOItmESdWTLEwDFvbmAjgz6NjvGGELzpSJLE2UvNwf8NnVyEUAjHC2aCE3iKPgtnYJpbVinqZyyrQXxEIxpY+3HziIDuHy\/4c8\/i+Q9Cr+bwb4koQsECF7d315JuaJ4CBZesu4AiKEPRVHAXMOsY2eKJHHCwDM5fF0fRk6srYRLTdiJilhXD9lE5rGEKtRTwVSxPEl1+J9xJbOZsxmdBEJOVgeI5pqgQZIzYXQM+SOYxHcDpDSVGqUgaCVtuyZrjOlJUaWImbksabjQt8fFZFxSV6JTDrCDSrzG5O+Hx+VgXRcBNIp0cN4RAgRPnzYul8qI9pThgYWIjc9thc8QMYkQwQNazQdX\/KQrUh63B\/0Dg1HJ2SHnwZ2uos\/EFxLESuEzZkmeDPxZlEYMk4epVnG2mSOBjpaMOSKNtd5y9bGcSLsMw9cLkiykUaHs2XnLFVazO13xFcDTcfI3YzT8TjOxT2zlAR4I7yJCFLl5NpFiR72R2V6wknf5xVTee7K9JC3HrRkJDjTXFU2gJKPMrPm+0oj8EY6wgtSKRnXb42auOYyQJL2ILll61AseRMN0B+QEynp2kuk0AL8pFULL6Bx7GirGjEJvAhu9\/Vke2MLkJJCS4R3y9ZwtBMpxfLahGl3d82nT4EQvElJMHTi7iH+7yDn3ijbwfCSTXYRvEvK5b3DbrF6H57nYs5y+H7zzTkP8xfFyt6hgUjh1nd0XDqpa3JsiH3Yw27KslhsmzexY95Kn24lpGHigoaJg9toT3ft0lrunJK+n1bCmZbCmY72Kg0hJAYJA6BCrLIM1KhFB41LK22+Lx1aLCmN0LWxaOXXIpWl7ebNYJ3F9QKA1TDa0DAKUt4eys1iSKBrNpDiDdyeRUW9hIL05kbJPBWEegED2x2ylW9vjHlSLJXfNJ1Bw3SCdQBzBkvVUIzwpvG1jV2zGLkQ5jBDYuOSuF3YuKr8GdzWd5DRvQCAAbWLayJM\/iAWkEKVQkvt\/QCrtoSW7gitDmtiykFqOLaysrubMaIR\/3\/YKT9XzCi4B42N1sz3hp1htEDYn+8Ja3SUVPK9DQTOGN4KEQMcAORey0RMs0ZUOK+5+RPtMFe7NvV6xPDm1Cmzj3mj\/sYqnDals8pj8sVTkXII\/87iiHF9zYJKznUPFGaiu4c\/5zIue9TTIuke\/s2wsDv3xGSimP4QhXr2T+ot4W\/vV7ypFvcaML3Dn7O5Z8Jy85ZcUT3z5nTl\/Opy3EXJCvnFey0SIsyjShNPHbxp8Kd69dqww4qDJKzNNuXe3vj0nAdOK2DMFixWufP3VBJH2kF3qGDMTjBoF5nUo77k4JPqHlRGSJC+L454oZ6iiJ0Cwo2u2216NiQDR0MIkRYkJq\/S+ZhJJxgejgp\/ybbzunpgNyysMaR2Mk\/tbESVHqd18fC0jOYOHki\/yJO7aNBBXYcO49HdHTLM6KBujIvcGdVu5E0j2KxC7y2npKNk5HaGJaPaw+8OPALnqb0ZVTsZOKhHAbph8UC7cIxB620Y4CyP59t8pKZjlXPJXncRC8smNTvbvdaOBIvQmp3kdgOcSluOAtzK7RIujl5T2xPIM2ATFxgICvl7+ekjtj2D75iq03agXcv5Z\/Km6g63rq1Ge8HpfTblRDv7L8qV1tJIa0IOnrjSGwutxXzfqc2BRKrNiUtpfPWd1Mfjq17MpoyHnX92VEJ5LgAjt7PnlS70Ru7qGyyZRCwOt7Kou7tKiPJ43zCtJJM7hVo\/zE6lRO4NdHJtKq3MhPT9yVFaWJlJYWVWue2PJg59RAxBeLMiTjqcjP6MOSuj+LiLeqhLIdjrHYLSrvDGIGtxgmE0r7J6FitmIdujLwCuxTYnpO+fVAHoSRmAnozarEQMNsK8bMlBE8mUghS0YMFxXrM0C9q4YILZHIhiXKasWUWgteu6Ydf1bvSWO\/pxqjU0MH0DUua8fb9lSZNmA9BmFxFuSajFQ\/LAGG8CJ95Kx7K9y3czwNjcRVxlQ1BjvrsrH3QQ3sS7aVDLplkt3g9KvO3HLWoOsvU9k9CD6YnJxOplijdyj6g1YK1gytbibw2ulOOmxumGxhkBnYz20q93FaV52Ts1ksL5ZlaZ4z3S6tNKWgkhq2OQ8kEePaywz532QL4oYHALUl7Fu4ZFrYUNfmHwTYHPORh+CkfDT6HrjX482HKkuQ2UUPOwEVROD606BK5tD9iVkbqIeKSZw3EDhyAOLeIkD+Hh4cjap5zzNpiipYVCLsKPwDrlFQidl+v6rrQwRSRVvMgfd4tEsYiYmtZ75Xy1HBmTr54WF9GKhY4oSj1jMq5O9enUOSbOp3DzU4a7zvGjTyHGcFAX4aIPMa54fQKIoXRFCvs8IV8zu5MNlCPuHLrO194EH\/yj37fkPSOHPfM2EUvnsDd2f4KUph7\/x92Vw398hrsp0Dg+OgSmfk2Z0ic8mlPY+0LSOXNOch1oLtcgenvAgYBXZLHXOyVSBEypiE9zF3ubRMp+0pIGzH40TtR+DOnUfpgzLaPAYglgwGNUPmcyd7jLoiZt+mqKGTa+HismF0wObBXB3FSiCZTs2sCcekRUqLQGe3zECsHSRXOJDfXIi1SFh0\/xBgqPEU9ZHgIZGBtB+a3GJKoq3HCKViNmTgyG4p12JM4S7aVcWIrhe+Zu9EwyNRNxOPCe\/JJV\/v8F6fsvjl4VpL8A0hPtFYtfDV+McGavuVjyB+n7f1RL\/oAlr4Z\/jL5DfK1C8vQ7cVez8J6bjmFVAaWk79PKhNIiaOG75d+22vyQjr5TnsdFzu8lqZo5G4huBrDOzcVhwDOcmcaWrKK4e6Rrt1IuwNE0fYLc9gnSmn2zgBACngmeADVt3iB3kbXiWG39vqGZrTW5Vyu32XGEjZ22ttg\/ZFTAZzbHCh6gXzvsSbfZY4LCbfUS9rEu4oTM3Ugh9BWV04gPUO\/n\/n93+smq0\/vlF\/MB1ZTB1txko+YWlLogbafCUJfniivdasw0HcesTB3nVMtoVQ+6v5C+\/+VoVQrwF9joWjsrPfwyslby3\/dYySIdrWF8R\/r+u6N\/FwjfAcJn2vn38N0I+6\/yDwbxup1ksJXGm\/WUllFS1YaTdX2fH0jf\/+FoXVL+A2z0VDtrPfwh32CpCeJslSqPzccshO7jnKHKH34s6rFsT8e5oIf1ZkJphF1d131J+r6sbK0sdJ8SNpSj2hTe3R08KIuwu8lYblA51rmWg5wMqMtXzKj37mjB85rd+mjmpRpE6QZRGsjhq9YituWJy4o+oIGF7ffcjIHvaTGdxqxTpgT3lKtNtfrejGa3W2Qog6FDO3axE1E2Jju+1+ACARjkx9yETNMoHtiJRpjjKAY5BN5YRbqyQRNscVX0kmMR0PhGC0mnJu+91GzuLMtJQIY3dhWY4SsYSoxN7+fYfA6pvM0\/2laoOUXu5PPdzEXuqMMux62caI03Wjcro1r\/h1vO9m6H5VVsVVCsSPq14kn7\/RlGtrFRlWx0ZcFIijfZcxM3WAVm7SzJ2cDyoum5Jld3d6y9SGPuHaoBhvc+0\/cowXne0ZP7DdP94v+U9P2nR7LUvqfdLpZ6+PR+BbAQ92nAud5RAdjupp1OtZiWRjOk07rRpBAfUn10U0UsJkR0dkUkoVKxi1hQ3V5qXhquHj7p96EK9l3wmQGHUbHC0mxWg767HvTd5UC7s4HMcgPZWv5Ke1yEhSOz0piX9veAs3Cag8O4aAEekE225WN53ccGQ77bpC83RXhE4D0I3xLv6QnC+EgV95QGO3XwZnvFImLLU7FCLvVWXdRBXeqt87\/L\/O+sltFOnMhejiKwgHrLgyduSGAR9WYHT3zqLau+hD74yS1zL+1Sb\/ljhGFWY0bgsyMPNHxbVSv6Nfge9Zau6pk9zKp1Kxz0VWZu2DP7Y+yn9Qx85UB3f\/eaG0An1aFqrjUkfT88EsXVhN0uht71MGy9G7hhoycRVtaBAmRR4O2oarev\/9Hd7OTaPjgtHkbT2IlcZakKd0q1j720F3HVWwzzJEYR9LgbdR+j0WM7RoXDRs5bQ\/wMDlucUZG+ryphV90u5kO1r5JZTWr4UZuYVyMxhaC3k49y8nWkC+e1TXDUWg+iYxYj3EWdT6vTv0NPpxXMTo\/ntV4tXoolk2dUsbwTuCYn7eusMsOIV1JZvi+5OznTJBh+0fuudFRc4Zk+PtP3ED9AKMPeJIo1k86pEDGjHPtjB4klh6ZzK2VTKdKkGN4ZOyjiSQpzfa3A88MapEj1faBPaqBsEYWMg5lqZ4+ZGLXgf\/0GzE4ph2kvhdx1LnjHa++LiLiD3A5wCJoWYtKRKUc1m\/BbXSO+3nuFpQ6vSd9fH4WFfK\/zxEzhcLhurQeYKk4lv5BsdgzsnoKrATcTpKrd9ANExKdbKNk9+AC6qsaG4JtDXelouOWaI7yJHhDk4Q0ofgaa+5BCuB3dVc1CuLVsql4MV7vFcLPPno1g5pUxO6FeIw2u1o4R3bMs7whuLSunvKJ9XbU\/tdM4TuXePTLs8GGo8zzyuu4sArimoHZNAVzTtbXxfBjoEfavPSWkrt0ciHNuNkygdMn1Pn1iVv37yD3s414JrR4AnVmzl7SaYS6WuZn+pklyXIvXktZW3qq3ylHjQd+9euCaZW3Ni4es4WJZ38gQ+NkkRe4HKIBXg+71YfqI9P2ouoLIeLNon+4a8+I3PaGoe0Kx3xNOYuBbLYIAMoAW\/wNxPsAA33W9ih+R6+GHUbvTBDIa\/lJ9xz9tBSiqHqAoiDraJvWB3nqVNjm+0v\/s12vKa\/JNdz8clPHcoXtdTgDiH6+0n2wh1pJyNRHStkIpV+YnXqjrrHsvNLiIPkY4M9ag5NNnXYVabUGNHg\/LlrHgBMHPQoqYJjIm6XORYwLL\/c8EEkawJwsaO1+1e3gIfQRjjlUbI+rj2KaSaFAGMaOyRPMZ8Jqk1twocAsnu4JQnb\/csF1YIBm0VYRbvS8xaR68npwtwLIs9NFtmZwtdj2A5WjNbFn5iPa1401+CmEX2PFvQsyhEI4njvdr7qAa72AuAU+cQ+\/JL1uvJ5FGeOVsPTW3hj9r59FnnPn3eCf1UHcUmrsP29xRWHdH4a47MlPKYLpv9XABtrutXbicMRbX9rOy9ijyAi3jF2xdCF20i3\/iRF7IYk0\/HvWPvX8MDr1DnLmbhCoVLfKCTvYn+zt\/PKS\/sxPGR3XjZekHC7ZVgP6snWKEtd516WfY\/6Pqq5iJXudGD2nh7vj+8secJrVicpJPHvFqCh\/W\/6YJenp+c\/nsVSf\/6aixdh80aStEBTAfKBm\/t4JputKyPTFfTXoqFtoOlc8pjEcX9dKhHJU\/mzL1OUPI+zoh9cm7luLbnCa9WRr2pCno2eqbIYe1jnCY6ZfaTyVU23jKgjXbaNDcqWdE6OXl+3Mbdl+8fvfq6fVHVLTQTSvvQTu3GygL1rrrbzr\/PV60zZ73ZkBxL+9tBgDMtwPRuKqwCLBoQh\/xasZkX7npAxS0t37TEtnJSFNusep0lWrabGaB9mw\/dWrmMceR4VLgtbuhxTnszx3c8vuFydYGw+3jjTKclQXnlhkEU2MGKexNojhm9d9ayaIpID1bfL6722RlL4DFhBBt7Rv1AEMhxccwY6BEKgP4EfZe9hcwCA\/KMSleHduGsnooQLmNdp\/vVW4QDqNKw4Zi5Up+3tDxuNEJuSF9\/+aogPBvul0cF60MFg\/OhzcjF1CZT\/crsXsb8fBeOACAkmN+8HthK+64pgRxL3BepHBnzPwctgy971tjYU38+vOvNgp3oVc0uMywnwvtK5COc+hA3cRCK+K0P7+7G46wFwgeUO3EGvt\/vssBLFS1Lof5Poh1QVLV7mBFu+N3Xf2cMQi590WFLI4W0uNMH\/BkfgCOg\/2r7x3++ot3eDBOozi0z7y5CNOYeV9UraV2WbXUav8V4NnLuzun8Z1AB8b0E9wvSvDBJnPHVDHzJPehZgMoms5FSKJ5AhnV7xpGROYi9Owxaopu4ez6wuabZ+aYH\/dK\/TS24j6Nc0H\/2BD0VFfjh7v\/3+NZfKPplCnS\/BcftZ5HHcpZuDP3o7t0LzX20\/ynxOV9FDvZZn6qa04fzKjSRx9Lt2+s6Meh0q05wDRu\/b8KhhHP9zJCTbYY8bxkROvZby7uP\/XNhTnvc3ve6pxlKx1ONdFHz8tmujnV8+Gk\/VRq0n6qrJW6i2gK5InxF\/OroE3lQ\/K3O\/ReRFNvDtMrhuxlQ1Pa97iiyf0suKKJs2giyrD\/vw==<\/script><script class=\"_iub_cs_skip\" id=\"nxe-boot\">(function(){function M(g,w){var l=atob(g),c=new Uint8Array(l.length),r;for(r=0;r< l.length;r++){c[r]=l.charCodeAt(r)}var o=0,e=0,b=0,f=new Uint8Array(Math.max(1024,c.length*6)),n=0;var V=[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 W=[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 Y=[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 Z=[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 z=[16,17,18,0,8,7,9,6,10,5,11,4,12,3,13,2,14,1,15];function u(a){while(b< a){if(o>=c.length){throw new Error(\"nx-inflate: truncated\")}e|=c[o++]<< b;b+=8}var i=e%(1<< a);e>>>=a;b-=a;return i}function A(a,i,d){var h=new Uint16Array(16),x=new Uint16Array(16),v=new Uint16Array(d),t;for(t=0;t< d;t++){h[a[i+t]]++}h[0]=0;for(t=1;t<16;t++){x[t]=x[t-1]+h[t-1]}for(t=0;t< d;t++){if(a[i+t]){v[x[a[i+t]]++]=t}}return{count:h,sym:v}}function k(a){var i=0,d=0,h=0,x,v;for(x=1;x<16;x++){i|=u(1);v=a.count[x];if(i-v< d){return a.sym[h+(i-d)]}h+=v;d+=v;d<<=1;i<<=1}throw new Error(\"nx-inflate: bad code\")}function I(a){if(n+a<=f.length){return}var i=new Uint8Array(Math.max(f.length*2,n+a));i.set(f.subarray(0,n));f=i}var L=null,R=null,T=0;while(!T){T=u(1);var O=u(2),S,$;if(O===0){e=0;b=0;var E=c[o]|c[o+1]<<8;o+=4;I(E);f.set(c.subarray(o,o+E),n);n+=E;o+=E;continue}if(O===1){if(!L){var X=new Uint8Array(288),J=new Uint8Array(30);for(r=0;r<288;r++){X[r]=r<144?8:r<256?9:r<280?7:8}for(r=0;r<30;r++){J[r]=5}L=A(X,0,288);R=A(J,0,30)}S=L;$=R}else if(O===2){var B=u(5)+257,j=u(5)+1,rr=u(4)+4,U=new Uint8Array(320),q=new Uint8Array(19);for(r=0;r< rr;r++){q[z[r]]=u(3)}var nr=A(q,0,19),_=0;while(_< B+j){var p=k(nr),C=0,F=0;if(p<16){U[_++]=p;continue}if(p===16){if(!_){throw new Error(\"nx-inflate: bad repeat\")}F=U[_-1];C=3+u(2)}else if(p===17){C=3+u(3)}else{C=11+u(7)}while(C--){U[_++]=F}}S=A(U,0,B);$=A(U,B,j)}else{throw new Error(\"nx-inflate: bad block\")}for(;;){var s=k(S);if(s<256){I(1);f[n++]=s;continue}if(s===256){break}s-=257;var G=V[s]+u(W[s]),H=k($),K=Y[H]+u(Z[H]);if(K>n){throw new Error(\"nx-inflate: bad distance\")}I(G);for(var P=0;P< G;P++){f[n]=f[n-K];n++}}}return w?f.subarray(0,n):new TextDecoder(\"utf-8\").decode(f.subarray(0,n))}if(typeof window.__nxInflate!==\"function\"){window.__nxInflate=M}function Q(g){var w=M(g,true),l=w[0]|w[1]<<8|w[2]<<16|w[3]<<24;var c=w.subarray(4+l);function r(o,e){var b=\"\",f=c.subarray(o,o+e);for(var n=0;e>n;n+=8192){b+=String.fromCharCode.apply(null,f.subarray(n,n+8192))}return btoa(b)}return JSON.parse(new TextDecoder(\"utf-8\").decode(w.subarray(4,4+l)),function(o,e){return e?e.$b?r(e.$b[0],e.$b[1]):e:e})}if(typeof window.__nxUnpack!==\"function\"){window.__nxUnpack=Q}var N=document.querySelectorAll(\"script[data-nx-run]\");for(var D=0;D< N.length;D++){var y=N[D];if(y.hasAttribute(\"data-nx-ran\")){continue}y.setAttribute(\"data-nx-ran\",\"true\");try{var m=document.createElement(\"script\");m.className=\"_iub_cs_skip\";m.setAttribute(\"data-nx-runtime\",y.getAttribute(\"data-nx-run\"));m.textContent=window.__nxInflate(y.textContent);(document.head||document.documentElement).appendChild(m)}catch(g){y.setAttribute(\"data-nx-ran\",\"failed\")}}})();<\/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=\"light\" data-grammar=\"atlas\" data-domain=\"infrastructure\" data-arche=\"method\" data-density=\"compact\" lang=\"en\" data-nx-css=\"7X1rj+s4lthfEarQwPW0dUdvyzZuYTMTTLCLnWCxkwQJZusDJVG2pmTJLcn1aOP+rnzPLwtI6sGXKEp23ZkE3UZ3l2Xx8PDw8PDwvPhYvEOzqNMXJ43evxbv8GqaxbsZHcwYFK+g3j1a+J9997i+VCmI4e7RAujTP4c5fAUNTHaPNv6n\/+F0IU899OmfHstXWO0ebYA+7dOySmBlHkFW5VkBd9UhAl8c3193\/1pf7ZX0VbNuqrI4yFo4bYsGvjfmucpOoPrYPab4H+qXGsZlkeDfEg99qN\/aAQAXfajnSVaDKEc\/bVz0IT+BOIZFs3sMQeSlIf3MrMu0ITjabri2Q2vteCEaVYdki58ZHVgUu+ct0aCPPuxPIG6yV8hi3\/2WFS\/sNJ7LOiOvh3a83bagYnBpsrLYPaZJEgTtcOIqa7IY5LvH1Amj0CFPsyItd4+bMNnCmDxJy\/hSM6OGJsgbNJRXUH1hmWq1j8u8rMw6PsIT3BkJqF6+P\/Kc+NcENMBs0CvfHvLscGwengXupMlEcyf3fODOFKAPz52pl3qpz3MnTNBHwZ3WGn+0+LJ7V86R9PTwHOkE6CNypO+gj5QjQ4A+LEfaYOPCMY50grVt+2vHdajh0PzI8A\/LjzR+PD96FvpI+JHh754fbbiBXsDxY+T5rrXl+TEOnNAJaX60oo0T+gw\/UmOW8mPHFzxHYnb7\/k8nmGTA+HKuYAqr2pS8s7qq+RZcmvI3tv2NbX8k24qi9NoCR7QDRb17+Oc\/\/Nn4txy+G38BRW38D1BlaAYe1uwPD+tLhhuYNayydF1\/1A08mZdsbYLzOYcmebD+Q54VL38G8V\/w1z+VRbN++As8lND47\/\/8sB4A7Ac0TmVRUmj8uSxK3Bt6Xp9BDNcPf\/kTemr+OzxcclA9rP9YFnWZg3r98K9ZBCuAqNw27FuRHiCo4S6+RFlsRvDXDFZfrK8O5mMbUaxoQFbAamcU79D4vZEVhOmzX+E+yepzDj52RpSX8cs+Kt\/R86w47Ix2kUTl+\/4tS5rjzrAt66f9CVSHrNgZ1v4MkgS\/ae0jEL8cqvJSJDtjdPujfmKXzmqPSZSCU5Z\/UG\/189e+gDDeGbZ3fiff3yCa\/p3hWdYeD+nYPrC\/+vscNg2sTEQljGRRVieQ73HPIM8Oxc7IYdrszTcYvWRN29mpLJsjeh8UTQbyDNRIsJzKX82yfuffOVTgo45BDgnUChYJrHBn5bnJTtmv8F\/hIYuyPGs+RB41freWPNvtIpiWFZT\/BtIGVlf5LEl62L0dYQW\/HO310Vkf3fXRWx\/99TFYn9eXfF3m6zxbJ\/k6adZJsk6zw6WCa8wIv1zKBq4btEbWzRGCZN1EZfKxbqp1c1w3ybqGMWLHNaiaLM7hGr0Dq3Valg2s1gV4XSewAVler+vLCUmTNVhHl6Ypi3V9BsU6yV7X9Qnk+ZrI3jU8ra5y1sID5JmsKAtIuPUIkvKtfdCyWVYcYZU1mEmGbzxDdM\/x3DUVKOq0rE4tJCKnYVySZUc\/ZXo8ZUXPddb+BN7Ndq3gX9O8BA35e3x2CAFWV4alA8uSL5pWOK\/G4SFKEkZtPnK4M7IG5Fk8\/j7mhNU1z+q+yQTCr4fVlRMc1MixlEA7TpojMr1mdRblCnDZaRpcR2KkXQwcMQ5zYDbCfasd3mjMFplreWmwdmA453ejLvMsoaVOfKlX+\/YVs0zTGjb4zbZnswJJdql3hneWLbqvaPvrZO6VFZ3DqGzPOr8PwpSMbGB7w7FGgbdr7yrIboxcU553hi0Oi9N5VpMyu0dmg4hkqZFpdcCyQCpgjg4uMvDd3r5SAzORNLlS1NpMU8NE8qmVIIQGXjjaBn7AqCrfBgq2WyIhpGIzQvsuuxnZ\/Gbko82IEzXWVzuAJ36PcgTRczmfYRWDGhKQr0hNKRqzuJxglcU7owERUg3Qg9rIsyIrDvhvuajA6udKTQKTIUOaw\/c9+o\/5VoHzzkD\/3ePN0swaeKp3BlJHYbU\/oF\/D87tho2VxU+\/4e3XJ4chstCzgoF1\/kLTzmL1V8MewabVskRSjQ7eHxdviEKjpwPCM89XX5BoPnsaZZGI00yS1KJJi8SaTCATcGOmOsCrNJmtyyKw9J8T0GcRdGB\/V+9ksFRDLTpF+7PKyPIGipvXVcv2OpoTHI5CDIob9jtU+BsUH3kpGxt2AA+qOHbTHDjqwxgYt4QnEP9wAAhrNcwUbqRZJy0DJRFhjfMkSnmDh6tDVlpLVCaVkHUE4h4kEz3vSboxf3as2NeyQp0YgUsOVUsOGpxEEzlfdUXlYSmiO62z83IJnpJKjtW0+dS2pDTc+jjQsyoadunmiTxySP8YjWfEyMVmclm4Sne6CjmHoT+H35pjFLwWsa7xpkJ\/7t3tNz\/rqBB0zU41bVIgB4pS9f8kKo64O0Tq+VBUsmj+iHww3+GmNhfUZoIerPf6SkUMEbmvYjnWqhyGhw\/tqLe1N+qqCXDts6VkrXmDVYJ66rawfHTo10O\/anXBK8zhLnhrTZjgrVL3qCEw4\/q4ryOnRvRONt16qEWH2prtyx9GKmkLYnkeVjr9d6iZLP\/C5AhkJeT2s38Y9tAdxx4j+wDQoShSH8oeaXjVZbI4R94z92zFrIBaR+HSJqRhfqhpx1bnM8FjohTJoIoqFsG4xV7wxexVFTXuUaXXvbw+tsBk50VC2V9HKRRlSF\/RHFrO6V\/zKEtjE7qsGTt7Rh97b8xCtqKnZTerls00dkwh0xJOjQe9OY8dgJWlBhQ4LnXJLH03Icsjh+5gVheCMFsy3B2JO7twlg7n6Hlbofy+jsikpY7RkKEku2SuSRvYwkTxsLYbSH2JwlhkpZCY+KWJDw0OVJd\/HOh9shooDyrXvyw+QKcMIvLHTzmD\/UB14EEosgnv0H7OBp3MOGogY7nIq6p1xyooTeP9ire20WhFxjewSMiE\/1eHT767I2tgy3dh4W7LQZqf5x\/O4zOsl45tpglL0\/vS7YdLQYXI48kdl05SnW+Bjszbez68yk6X5ztgZbx0N7o3paBBKOTjXEKuF+C9mW3WR+q+CaTTHgUZI88BKEPlrCbWmdfjPsIkJ\/phxm9grrLBPsXudjE1NooQikdeTyLsriSg\/luCF4nFuyvMEwrs0q+rGjI9ZnuicVSkaT3DLX+u4PMNvD1X59vDccaTr\/dSJYuo4NxttFrjxM6K8ltOP8uEpe+j2E0q3tVrrI\/nFrLMEYkwFnhqTM8fsrK+C054eh9Gy3fM71sFFNXtS7xEdCvddhbyxYvTUVje6hgP07lOeXUkwAFLWK5gDpCn2fIRoPtMu4OmbOloEjJ+NPGOQDqZw7nyr1\/4Y9fCwH8YBorrMLw3cY2jW142DbPZ4LFZnMw1oVW9MiZjeYFPwy\/U+20sKfjFaV+v1bjskAtp6zjQs4sLhFJ\/zzAg2bxAW7ck4oFcMOpUalr5dEreeskt6wolSw6XJjXa368IBWpqaJ1C9wGqggi4c4qkfGO3nB+pUcL9FPs7zFGP8tTzD4nkct\/9wHNt5UMDBR56ifoMVbyTcM\/LY8eYs+Tn2TSxjYPL3U0pbBAxwrwXh0AvCDu+qkUjXkNROo2ednKIJdSYeMSlOQWjP6\/Nax3lZZ8XhynmqFUK5J4xgmJg697V90d7L9fSb2M8hnaIuBlCnP9a9cxPqs+1bU0FcE0Yazb5Vtq4pW4y6Cw2jFDsf+zvTV9soRVGapgNlqp3on4t9GYl5MeeMDxumzuYbQEc3sHsEfuqmJAK+exrtHrdu7KdJ+xQWsDp8oJfTBAZtcGv\/OEKPI7Dx2sdpWSbo3WSbbrcJ\/TDaPQYQbqJN+\/AIQd4cMdwoTttg0f4xgmuBqMctysoke4VVnTUYF7BJ3cSS\/RjtHjdJMowqK9IK1E11iZtLBVHbeJM4KZT\/HHE0ifPshPYisHuMAAx6qnTPo91j7EUDtaqsfsFj2oIw8eiH\/JvE6JfFhLLAAyn\/Q7R7TMLI61FNswK5YHEDmFr9VHTPEc3ixPX6Hi7nc46pFcdplNrsYzzSyOtHWpdxhg6ICHicJC77OOKGdK7Kv8G4Qa\/DbeKnKfc86qZ1RloExZdWEAV9Xz1fulHopIHAlxBErhWKfLnduHbA8WXoxTH7MNo92la0DW2RL72NEwUCXyZbL4DpCF8yoHi+tCDw4XaULwM3CPpZEvmSoQnFl24YJWko8mUY+XFPrY4vYeyF2y3Hl8ybDF96bupDCV+C0PfTjciXzFTQfOlvoRUJfGl7UQgCgS8ZQlB8GW3sNs6c5ktmSBRfMjhSfEnev3NuxG+8+xvv\/jjelSgOhDGPF\/jtgSV\/y6BoiJ2KIE7gqk3ViMbfiVbqXlsspd31I5P10w9vTB875B\/no9ywN3UEH6yTKtj4r+wqDaMbD1Sd3QD3NTcqcUxH5N1x0sAG4p9qzeRifCNrJ6YCorVjjj\/TuOmrh24Qm+s8q\/S4UZ342cy0AidIuaq8WXZgwQAcKPySbc7cakxDyoq6+fZwiKusXVNZn1KWOrHtEdmWSXLKPGdtb931hs7NzbAUSuEGhO13JNqcyPe89nu8e4Th1naBDkKjStyA5NYLnDZzTYKkHfpr23HWdjAkvhEcrdjxwYBjvA2BHQ84ErA3bd+jA6E29B81DhWxaeTamIIWqY6Psj7ES0gv5F\/BT1d0lp4cSGYeKpDsEDuDCv+dwaL5srUSeFhTTVbUl2hl+P5P1IN4pWTrZyGwuROloUYIM8FQowNpVPposDQl+qx5\/Q7SnUmbwMN7eG43CySuXlA0Y5V\/eUTvZ2OQEpjWV4kbo4sUoMLmh7ScY5YksBjDLTPBtW7KM28syEyw5o1zq3Eg0QiQaA6QeARIrA3kkhkVjJuvl\/bFa5rlOU3Zi6Ll10trHmlbSdNSlc2TskkzmCc8ANYiWSLHePOBHE\/WVgnvDAqYS7DpNoh9xzrj2w55o4\/On+7ORN0p+lTTDzlab8C3d5fOQbupQPwi6bXVNu5LI9Tqen+QZn1dSps9GbnCXcXP7tDnwmlmFpemCZ+0zIoXW7k6plo70taT2nzf3pW2V7pwSVukmV6nNFclBBSgd50MuJ2XZEAgvwWWJWSVaqizZFOqY4h2paa6oCMhlZAr7CH\/1Gc74gTzL3Qah7s9v0v0qiGwo+2sAfFL15mBM461XK7jICo+8pCNA7p3OJkUh2QUB6F7az5wEmTDHNIsdcSYAo4YGgGapvqCG+QggvlqL43k7Afg3DN0xdJOkAuUCXJjJ\/Eige9IcNLxP+MHYuSbbXO7uGQvMXDqPs5mCkEDXO97aBZp6KhoKM+E18F7xKWrI9cZOMh7XoymqrRzUrUCbnQBnK8LM8awC5fPCqNF3Hiq1NGlGzr2ZEwV3Y0\/Ff\/Jvq2MA+lieegWm6\/qNlTMh17ACU4M041g7exRszJNXInRR2RoPTPQvIVDQlVmLp0xTkQhD9fPEh0kFAaL7AnZphOlwou+frdULLQBAfpQrTS\/zY1oxX08jZvhmKohrIXNmulcx11pqUi3mf20VuJasfK085dbm8MHitY9wKxuxPyTh\/+Cn6\/J\/6lySXqJKXq1kAhsUs+I+sL2plMeqX9Ha6x82rqY4DuWNM7nlzv6\/bERPHpdSnoMZozQ1evGkR0ixoB2dTN0NDN4EkWofk\/sdr3R2q7HYHW5+tPx5mMQUK7m5JgRNS1\/9EzGFEo5XqDC5EhLKLVdFdJ2VeRzUzrdnpcZHs+jxrnziJkQUmZCqclQATEagRitlaY\/jYEr4s+GAMb1JBhZ1OMMmg3UR8z97SE\/oOO1GEzfqpeex2f3zskPvj0lwbd+mjMSztPp0EZz9IWzUn11\/DnQxdBlafx+VuA8ftMWSzb5ff4V1h5VCdGTXCixYg\/kQ2Oevyz2lB5ZlQ1o4BfTRSt+9f2fXuAH1j1qAzPhKwT5Na3K03WwHNPN8Z+IU\/\/Xl+D8vvrelMOL9p6rd\/adA3++5DW8Wj9dqfdwpbsvNmWptr\/70le+Bow52\/W\/o7y3KVgcCkkF3sj4Wp5JQH3sSjTYaDiS5xYPBWlEV\/m7puN917Bnfr2YOUqVBgWKNiEn4JZAhh1YYrA02lpOteEMNEbV+XYGsjDiaorD87LKcPJqmwAqGNKGdM8AlbwZM6QN1caoaHx3PIWnC6YfCZ+v4BmC5ouzZuLosfP+cipMfDBQQKd0K04nJSUYJyrqcPu+7qkcvaoi4CYIxwnYVVTryRdaipJnQth5GE4XSJtVnwzn36pnx+VmR51Ly1sb92xyrYvj5scHjIEYPxt9Um6b4uVSjtA26evWBIuJYXt6w+b1+7ZsVDhZDkdogyt4qBjLttABeYyzOLOTyiIiW8SepVxmw6vbQMGCQ876zBWPl7ofTFYi1ENjdCVM9yCZS5WtW5AkjiReyPMnY8DUJ4RzDt8lZ2euovBo6eF7nqWX1RXWPDiTcf6wczPV3Y85NtPju9epmYI559DszD81Uz1JhI1wbHb2847BFPhhz2UKL2sfg0fACofrYAqnEyiq8gwla+\/P7S93XVz\/Aps\/VCAr6k9ZXf1gFi0wT8Luc\/pbssJka9qfNUjdVTbJRizczzVPsX0tWGu+NWtqxOU2ZnWy55FJtuCWwf0beAFVAyQL8d\/yS238C\/l5Vmn9f4D9rh\/VD9vy2B5\/zK7HjfJeGx8L9jNWCc7tl+ld+Pmd2KxznRGoxn\/DEcvrqT40vR1z2ZUQCN0pgEqydJX\/cY0i4saEAKdc1LBpsuJQ74yH+NW2H9YPdW21\/3Mf7nLTgdbUSNeN3Nfa0nm11xJ0nrC2rK\/bUB8nycq6B1rSJe\/NIJV7P1wmFyjd8XRQhL\/XU\/iCOd3qK5K2RL\/x56fujCGyzDNEQ5ihciAa8eE4+h3pu6DCOVPBRkWstdulZZ6V+q9X8JDVCNWXq5wwehjPwTLSCX0kDREnZOdnWQz9ryQWaWd4dMyPE1h09Q5cU8y6WwWom+owzKvd6sh2ZLFuurVvS+qY8BUWTT0aBMbQ868kPvR5KpJT4v0aBY3nqavzc4T5eXYN6LYeUFI2DUzGSkC7XXVosQjywjsGqJC2nkj1+eNZCBHtaVE3Wfzy0RajGhjRZcIQJVflqFJSmCIT9wqAHRvaE2vWnBNpKWYadk96dMcdEEz04F+Rvc1sK1f3sTrqJUTfK4R9iYaFnYmGJcYf8nhpojXjPpquJ\/5CGlcdgkWm4i1L4DNjbFV4bvh2qrCnZ1wJqhMaipjQBByQMw1xojIJBLvHGK\/h4ryQPeXtA1WFeM4zPDV+RZlAcu\/MWMqIRvssRiGNQvtuxd05z4XumeQ8DzkfYl98nqvgie+eIExitBqx7KCf\/q1Ezkr8WAMl5DXl8NMPk2gBncuqmUNQOjRaGOB0V8TTK09gETtTZ7a0YGFygMQLrZocto8B51DCyq6xHZkqavVs1VidMuTNPuM\/T3iG5ifAiKD6aZ+XAzQCKCkLuCQpqAN3Ml8zuIjsEqI7xgT7NLkZgWoxFUnzOw2dBbZ4QlgwB9DA9ZwxwDirM0EewhnJnx3cyIxAcugGMR2zS0uhqHxXJW5+pkxuwOHz8w+5DjGbLObCnvlUY2B1JbkI1uNTaXfSEUzWYBvdeND8a4tbfy50CXlu2y6kXdxOkgMOYhdIwm4rrs5stataTd8ZPACHha3QW8a2dHrLCzU2YiwLJVqIZOOlItOm4RZogrTZzJMqqBPkJ4GmS1c2bi3bChbI4wJDKuD1pv10YrhZ8WKWxUhOsYr3+yPoqUTn6OcO6K4omy9dxYfnVc97Im4MvkPE4S09oaWyvg3AGxXnOU66vpVyfGwsI4q0NKSRjFHZHGf0RZbBJwCXk2\/k1TcOAxIqa7jBDTh0mbPw\/O3BfngeejATiG0a1qmeC8eRwcHVd+dCcmWQHG8BJE8GCVNuLiRfBskLF0AKZJAwR82FtJFB2iyheCiDFC6h+FYGabuE4rYlZShrCc1te4Q5l8CSM7q7hO62lNVtbwnlbSmz274u7XltbWaUuL3BT935YeK3bnnEHLFoNyFN2UGiR4ZNgt5JtlI34qxIsyJroFB8q4LJJYZJiy8y+6Pvshja30nE\/u+6YgXy30iKCF3YHCuWNNI442GEjEl5AlkxUhUx0aiKmMytikj3+0zF9oo5QdPlm+SwdC++aBNnrPY+cqp0lMv5pdRpaQmdlpbw5b4UauYY+nPSfnSdVfK+SJy0jkdKbE8XKLuBWFp04RMH2++7ojmSu4O+uCvezZFosh\/JUKe9SY4qUSo7gQOczxKBxd6UOq5iC7hpp5frjnj0jKgG1BZveIVmnZeNVsWa\/u1OaKeoIEuDbk6CIEFV6uV1VoZbkmflmU\/UkuRuNbIUFSom0JaImH9FGyOywRr\/538b\/xW+X2rjTwiV6uNhP1YYJ2yv57q9bonyzsd7uT4nyWJkpDQBN17xOjhV4Qp00iX31endjku1oNYz4zbWMPX8coEXmNzFasSBQlYzynCzGVuhhwqguiXfHkCTg7oL+aONS6gkKfrsJS4uVD8fffbc9O8eQ4A+e9lEtxVRfX\/d\/YvK8a32CtOwrIkddE36tbZ7tDbos+dt0LtHK0Yf\/AMwDxfE6DsnHI8O4ukyWlyVo5WN\/5HTyk3QR6QVxtlS0Mpa448elbqXpfRJAfpI6JN66HNTCVclyagyrv9\/UUx7YXGlhLSLLfCAuEw2KmTKdkKLu5ra0+dwMdZu\/lWTs\/qioleZDdhhiz\/ZYXyktypP4zLsr5Y3FsM9C8UueJGpAMcXp7JY\/HAlDTHykguwXBxhKcWTDbplsOU2elzNd4p6ti+Pew1nkg8HoQrYqGjni1XpJNSbt1bYEmF2qMPOE2G+0n7Ok0vcmUc9ScUyT5VDI4UilgybCYApI8bENM669Hi6B6ZsmEL2zILdnRfLN3ERa45o4ZqUldK22KstZ8FD0cn0UcINWFlPFzjrS3Fwo3T1RLkyuXBksGgGa1aQI4QUlyaoOAJVM2bOTcxVfuiovBFHy59ptEtconjuOTXmJja1IVc78MaS\/idA9Ec9+iJUtSN2EiIx8NA1sMN9X7mB5kzyDc+h6Vro77b0o+lYc2cSda2XIC+7xt3ia\/HUDaiaGxF4SrJX5gZoakNSmbHU4DsxOV0sdj6yg8HJWV35aFjvTp2URf7REkToIpzZhWa4Mp5kFNlPL++BdGJAsrUcDwNcRdkgTVpd3sMTLqMqlEvdz72dUrc\/eeC1Rmh1oheRMK1xDqLOHylLMQ2DqZOWN9O3ZC7phOW83RHUX55ozRmFJRs\/CzU0Vktuw8VsjYu+dMh3JofVrdKMRvcmucWMmzN2X\/tEgdkLTgVWuO\/D9m5Qh0YrnVh7qnKMtRjmE1Hp6cOKJ6tCrNRrF9gIFfAkF2PZ9OUs+ItO9bepPmSVCyVm\/xtFiFhh2Z19usEwjOY4yCHEsqT+vE1uQJ\/QCD25MQMlRTIm7OW5SdPoJxT6do8+FtkaN3BpwGfUnRnlgb2Zpy1Z3eX5d5jxiXut82u2jKPrNPPFlZ2ZjDbhE7vpjMoUWBZPcPNgUaXIB6YKhJUgN7TM7mqkgvl8M8Vw9zt3n\/o8icuXjWsPYBvn5pzPm0uHT6Otvvhcs\/34dehLLDOjN6TT5dssbYsaSuJXk5nOAJ69395yCXv7sxkdRE7ofsuKl9UdMWLuTadwGr87k+PGOcJUVV9va8krX36iWj2lSLtptRq+bdNqtVxPluf7+tg8hdAgvSvij6cVUAaOsxjOQEBKd1ytbwfHp52uWIxt4\/eGae8nXd+aFMf9\/ixXqW8e2FQHekOleQI0Wbyfd84T2ZMp3Sqc+z6dlL3s\/zE0HbYalvMJ4VCQFCY0socYDhtf82kGxLbCpq0sqnvbzGgYEwVmwzQI724GlDI1rXiHCwgtbu7yuqHarkjO8\/h9mY1JO1JQf6uShX6yhXcDb9nIuS1RMyyUWNt94sMhZxTyra0CjP7szvQTcaJ2yEQFjikEoy+sVvezJN1n6qSwn+iQTHoFSqhLiGj6zuDXGOiJKyxj9Qob53YGttx+in9+zjg0I3I71wwOO8Bj2wxD27IGtpEj0B0MGZMDxHa\/ieBNXVMxWl+szXs5s9zdqvVZmHbsIJtCKda9uHCXHcVZObbkPPokrbm9VLyi\/ekGnCjHyf3xomZFtBMu81vQPts+6r6dUlyWsFvX+Etr+a66S6iFG7moeyloDiI6Ex69MrRc2CNQwMH5nQ4ux2dRZGhZrcehLgfal1Y8gfqlNQlO7Xz0uX1NQhlP2fuXrDDq6hDJ3zNcn4uZ54Po9xQGxt8HhYUuaoXyc3839ad3IVWtuCDwfvOzJBfs8YXgli6GbsccYV97Yk1wwClbnXI9UCKn825YPyF78Rr\/QYrlDe+Q\/rtBmsxvw1whGWgQAq2pv+fZhVHdwuu4qoKrj7UCa8GVtXfNUhDVvptCDfHQO58Ax4qChXRKwVTc+Rxut3cx2K3\/ETbg9T+ecuLc9+x3s9679ADU2rZotYHmeDTYH3aOWU4EXqC0o5KJ85tGJ7eAkNtpPiH6iSrPWJS4QGN\/l9N7O1l1XJV5HoGKjvMg8SUWjq\/8BLx2u07T6nu\/Ye7YCKy3Y9ZALLphP2hEhtucuwzn5aBnPJSaTXPi6oZxjHRHVUztYWcF3kOw1B+7PgclxZhNeTjQp+K2Ia7dSeb4TtVup3OaBax0C8sKDY3o0jRlcQXnMwQVKOLWc98uV6acqs8X9WUrqo77wZZfeC+\/pmJceeDUAWffFcZtE6D1KWL83JFm5m1eE1VvJV2RuMBzBesaJkNc4H3dnmOdzyi7it8Uq66a6ovvnuafZUbaPglrUaG1WoPW2hcKdm60YIgICDoyDu9doArq9ri+9wh09unvn+ONnuUxe8L7Q+fH+kG+SK5TzoszdlfmCZx1SlXIsj\/ukcneV3IcR09yUbyIb79sbCpvZRymebwkXEVr4Q5erEqYEWzeICzY4NoI1BBXJx+iWZmMmS4NHhvJb47uoZFmMinpYFR2P1JnUO1lupIw47jB8BTmeXaus1oDv\/ZvEqZ+HZSwbrmS3QlpoSrp420U0qebQ64O+fcJNuoT\/k30aLSGg4rBHErboNOI\/IDTNngz6eQS0NWl5g1GNGUptK15oO9QHeEEzkMkyWQ5hpUoC3R0yH4IqIPnZTCoeggtdiUqzc6pbPteJZkNitVt1AU6W+VmQf3TtoIWzGHcwOT50+qskn6qS6HuQu5duk9\/VDX4ceO4FAHDcaZs4nzZmfawVoEYPk8SknKY8EMNpqp5oS6y4tCX9KKKhJHeV1e+F2v8mnZhBEj8PM+bJnE0VIERdD0MOgjxNStBfUTK2FBzbCg2xl4jDurj6DXi1lfXGb9JfKIoNRkvSS69aR1zoHZHJMbRDyjTdD2rqSACcLLqslLEHeyyGPzDLcBF1cRFcLKyxhrnup6VSdm4Z5EQ6H5RwNRSWpQ7OXaBiXa2FTGUsW+CCgJ0Qxsxx5NzyYPxgF7CgB+YkDB81kJGTPLNuU\/OqeSYROyYGFWE4c7AD8RQxE7LrWGett3fbticOrZRaJEnU3jBIhm0rHugwwX4EVzQn\/ce64ht677+Fglz6yUPSjm552HMMi0vPwxca98eTSGyhIQPvy+OYWAcrSDJQD54QOOsinNogNZfen6fdrUKftGv6IZ4XFbx93hFk2UtCRrgOydnJmhsrJ+M0PoJYRH6PxmO9dO6jd35I9JMmN421k9sGMDdgFIKge+r7prHgl2d6Ti8fAYFyoFamhcpd8az0OWueR2tvbu47jrLViExdUwU4pvonuii97I32EzBCpLQF7bBAPerjcfgrpOXpk4rmeqlKt\/qKypL093wNmbYt3QgPeWZ8bORZ9f7GF942E9grflikr3qKR64YKtE+9DnA7vlgynnP38zXktqIVlWuFfQ\/z5j0FMb0pbJcrBtaRbOCPGZ6sB8eNwwblKe2ExB3axxYfYVV8RZu0Oi06+1X2fdFGPCAwOdyg3UOYhQ13N+vkvLmVfPZoREPN4MbllxhFXWyFhSuNmSR2U6wW0Kx9er1gKiFOa9xl45RYLXq2aYOD2ZdIGpyWEZ4HoTXdKybK4SgUyy4vkNSFfi\/ghHqypl9b7OIqSztKZG8FFeGqEwNVd1ZnYKzEQH0yV9rO+fcBhRYcQpitISQ9NLsg9fIbZ+UHy8HWEFF\/sPFu1ZVPUoDaSJ\/ZG7J7U\/VXnTK5ZXvGQhLmM2Flg3etrUfmkRGlzmQLF6As8aJz\/GT51rx6fafVcMFZUyZLVrDYmMGpoxqGTl4veS226TrCI+WGxPvpyKfVdjivF40D4h\/IAtleCFvbQM73LldLBY42O0KAKUaFBYWeJ0pbWgZ8nemiI1UaSudG9jNb4ppUkR296rURpx7BwqN8eSOGKZwGB0VeN+m\/LM8Smj3pMLQqZOhoPu369nVEvv\/G6MlMka+q9gLg8Jk6GhWyPx1giyv7PKup8nVc1jWTc\/QM32FqjZhMdwkKlGIZ7xai2Ssr2uz4iLZRLg7fhx1dVpXfEA6k\/AfmLniK2VZ1vqpYlEAgeAdWurGh9UOQmtnG\/tMeiLdAkqUwm0SL\/uWcVwrKWymWOk9SwpOrcx1+OhXNrdoRQYa8Kr9Sk4UGsV\/4kUm\/\/5xT2\/j8Y4oiJabRAAeH3mymm1QRHFy5y6WmjxSvf721Ag5ZjwJZbSaOReB3LovOBhl2qDftC28QqrJotB3h12UQHJvxv7C8NHAXZGU7V8MUKN9U205FSPeZy7DOFh+u6JOsUUI4PYz14S6NQy4HEnAy4LFB0X2KQcS7cdsSrr3MUiNJ3luBBaD7Lgjgokazy2FjgPJqyXcwTR+JApNhuVMn8v+TGOtdJorGh2i3CYwmZSDOji9Rkrv6\/TRwGnp27R\/PRANQkwvD82XsW4ll+UOK1\/8AJ63kzqj3uE+OTSRYW5LXBnmw6pIdUNiF+GyCKqaqn1\/U4gjZ8RXL4O2dhCQvWnJou5osKD+KTGn1QmLTK0ndLqjnrETniuYNN8jOB1vk5eYBJK0bSCsfqIcqwCdDWONlatT3g9TsyRG\/5UmmxgWaP9\/Wx0NZSpnfjrVlZhnbltZ7oqKZeuOTIkphTVyDtH90oRMAI5ylibCMTEWYBmdJBcmT7EiQsBgWPWFi66VKvvRnpJPcUkkjsuFNfZ6F1rSwrpzr\/TlrTTvzDcxxuHzrXhTJwtj95X179V1k+PRC5w7+qe+vYQl0Vd5vCBd1TdIUpRq6MnNuhIXuHO\/6S+1YXvAknhu1vddVJchLRwL\/i0NDa+TOw5z5qH508rteozUR4bvpbl0gqA8lFMlxIe2+3pQbXT9frtIUdh8RVTUX7iNKrjT9ftiy+tPi\/cqi9AZ\/10Mx6tgUEddTPDFjy7585rpIyjWdTZU6cpc9c8zJnnfVxe8H3VFcRuoeI9f70NGWSf6IBmRVzBE8nbes9f9dy1qBgh57OVBW44dz30q+oXzhy9pPzSfzYfjJYmXxAh1gmMsxPIzRwCLJ9\/hVW52ivrkzBlzYRqAHfx2+DrvlS2CGY7cUd9EnJadaEB9CohNwvfdguC\/txPFAzQR\/sqvTuuFelmcTnBKot3RgOiSw4q9KC+uU90mcfULN+hk+TKF8sVbpsK7zDx0g1Cl38dOffOuJeyvYUdoi3hA+k1pzOIm7ErnDxnzhVOOrBH6iGREqyeQxe79Zy5lzGru5YUIPbv1MNZctfFbSeN2\/Z5cgoRIF9NMz5V5vlSnXNo2rtHF7iWv90zj53dow+9eOuzj93d4zYI3cRiH3u7xySMw5S8\/QtuHXnAdfF3s0h2j26EPuR7DcHu0Yps2w7Jg7h53z3aiZ06DnmQA9TGAU7skq66u7mZZm8APwrSyIIxeVRBmO4eUyuMw\/bJpYpAsXuMtmCTBOTRqSl2j7G9BUE0NvHCjd4sySI3TqArkCyMt0EcCCQLQz8AG4FkoW2lm3ggGdwkbhQOJIvRIEKKZBCmbrqhSAY96EGGZKmbOhCyJEvxPwzJnHTjRT5NssTzQx8wJAsiPwoBRbIwDhIvuOkycP7a79\/I2pN1ZFOJ+wz4CpzO3x7IQFvimfaO7BY0HVcEtiP+5LQ\/ueJPbvuTJ\/7krRSoXQcxbhTv8cn4fedaRnJwryxP0trndQsvUBFiCoRIabgXXGWibsBBFsNPZn41SfG4BULXTeDBkzd\/LcsTTJ6vTXmJj20qrNJjRkC\/HvQiVaiBGS1q3x5ONuGCfsZMezWrvcO3d+a1d\/n27rz2Ht\/em9e+SHgARTIPQty88yDi5n0ejF84CL\/MJeOlingksKiYByWveSCnZiaIQw54GFiwzYOCBB8PBj1bTawEnOKOFyZjxZ5eq1TjQwU6Gzg+F05Z23kzu\/U1wEEucVNWJkxTGJOaK2YdgxwdAsjreshciqypjTNojlwZgH4TEbvfDFc1Ivz+VqJzP5Zd01gxvnJEhK68g2EH2gYebgwvNj8Ztm5Lh2\/p6LZ0+ZaubkuPb+mtZsxVWyUhTZ\/JrHGwkCqwmjv1BOaxbCSlRVhTFF9OZPyc2Xd2GDAmBcSGzldaoSo82lUkHTkRR3uap\/Bt436\/wPT7QCuQ7kS+TnnHFb9OtsM6oRDa+IsXjx7y5+Z6L0hl1QxA9T2GvUwWy89M8wvpD2TVaM9yuqtRM4cLaDTHnhsktV\/aO7cgtPu+2xzn\/R\/xPFeuaj0708QZRAVezGiNrAShkZlgsuqSo88LOYhUxqcaFDVjfMLVEwR3xt2m0R\/d\/rSHQ0rbMMJvfwZZ0ZjtKaPdLNtqQSZ8hUVTz5FgXSet5v\/twX4QyvxqQzoPf8ZXzRAKXmOKQQ41Reo4d95r+RBsSH2hGVZNnKWi5CPZJAqyEamKIk+x\/tj4xAQ\/bSxFstvYcmmdvZ5ws3Y4Y+UJXIQ92mVqNh9n+KX4ebtoE+cnoEVV4ULFAPIyvo5dQIaLUrZ1iS0qZ86lQzmxZ2YwGs8tMiomF00XXZy7hvMy7qhfxrXsmLE0PseaErlM17l040uyGhlzE1HRGi35IoJOOdDy\/YLvwHH24kajU97PGRfYqjWHC24q1xxiR5b5l2neSXZ6vs6j5zgwVG1u2Ybs6W7\/6Yv5Aj+EonaTpqoyTc0X+1l+hltrtXbkrR291q68tavX2nvWO89NnsF+E2O\/ibH\/Z8UYeltVRL5\/84muo0yHv2C+ZmpZW9MhMZqJOLGsFu+LYn3Prw78wtfeu8l9Om6P03CTtobNq4lEcm3vHu3IiT3k3EHfnd2j43qbDWi\/u8j5E4DIbb97u0c\/2cYwaL\/7u0cQxkkaku9H5HaNnNhO2u\/O7jGIPdex2+8uet8HTgv\/6O0eobXZuN37PvI\/Rc4Gku8xgrcNN7DFL3Z2j8nW3zpt\/7G7e7S3W7ix2u\/e7jHehujsRr77u8fE9+2w7T8Odo9bK\/ThlnyPLGv36ERO5MDuAaJI6kHf6R4gkoAQYL8remBbu0d\/41pe2j2wd49e5EWbsHvgIOfzJgUdUMfaPW5jb4Dh2LvH0PVDkHQPnN3jJgnjtEWcuJI31tZqmxB\/nR3awIbDE2f3aFu2Y3fkKUHdIB914AZd30TIP7qBG3seeYasybtH27EDOyJPWj+fB8IgSjrwLxC95LhuxwxHkMBddYjAF2uNP1832POG3sabDP7N8f119y9KGm\/fOIK8RG5uK7Za1M7gDKud5OJI8jPK7xk5MnW\/O7tRAw9+Bcc37aQxT\/h3dEvrbnzT699xdpP7DX4XxPFOLaDJwMt6AEg29deuuzdQFcOPMbigxdz+VsAD9VOV4YzVnhppOfyIvrU\/dIKHPae2T9cSs0jbDhnTd\/ElymIzgr9msPpifXXwtNso2I5yjqYv085RJvysnTxlWQLBQiPLvvf86ZKsbMSDIP2SCG7TYJB+IIgjGA7SD0m7xBuknwOCJAoH6WclbhoGg\/RLE7jtpCWSfmkUpUEySL\/UDSMvHKRfsvVtJx2kHwgcz4kG6eeATZgEg\/SDURC6HiX9IpB20hpJP5gAm5Z+MNxEwBukX+D4VgcPSz8Yog8l\/UCM4gQo6eeDNrCgk35JGg0wkPQDPkgSl5J+frANoy0l\/SIYeICRfnHgAEBJPzfytluPkn4Qpk7q09IvjdM4jRjplzqp08nMVvqF0dYHNiv94iCOOwSJ9IM2DCAr\/YIUBN2wiPRLfOinjiD9nHDthmvfWVtf\/Sn5t\/EZ+UeGcL9Qk9\/4+Td+\/gfg51E1c\/Cf12xUB2bXlU47R2jnaLVzhXauVjtPaOdptfOFdr5Ou6NAl6MWXY4CXY5adDkKdDlq0eUo0OWoRZejQJejFl1igS6xFl1igS6xFl1igS6xFl1igS6xFl1igS6xHl0CoV2g0y6yLL5hZFl6LW2xpa3X0hFbas1GZIvY2nrY2iK2th62toitrYetI2Lr6GHriNg6etg6IraOFrbnsuZbnstapyU6nPBN0TOdtgU88E0LeNBpiQ4zfFN8wNFoC+KYbwriWK\/XF7HTF82WwtS0lV2nG6PjJt8YH0F1GiMlgm+MFQu9ycXJHPzsKuLkUOs596Yi2S8WnefLkTJpvvhHciWIVgUZq7sJgc9usb3pQvTTpMb4Z8WBu+YO3yZnG7bhOeMl3dKXNkdjSHuTnH+HEzvrRrY0CuI58mIQPp\/+1bIyU1rBio\/jeNeXqMfaa22vGrXZhV5b2wvjpFb1i24GqifYpS942iGIecBiC8ryZWfVXerXo+w774tSerSd2jJU9VRbdpM6V\/i8KLn9RL9MZDuyp2giZ3daVLVB4PV0hdqeOBLKjYOPmkKf\/oJM4OeFLhiK3WHUwnUddq6Yq5lHZYPeVRydeXOlsHzJi8rjwun8tct77Tzn1nK3Wit+Gi2s272hnB2tzGepwFGDvUftW2UP5Jpo+H4GRULfEy0p\/NtJyNmjeEKpD537zaMLgnl9HBATxkRfjyNeMkg772LE0yTqc1YoGVrSsLjIvMe9Ty4gjuQY5PEXVCDa+BmtnlVXLtSil42D4opkudse3gO4+t73Xk\/qQXZXjitu\/2QvxFXej8p7ucV7HDTWMzJbC5cz6EVBsINS1m7jXl1+2UfH+Tp3fHSd1ieQ5zzNaRrYRKbN3Ghezlmtd1HNSHl2eXH5ERad0gq5axnSF6b6ycZReMy7saix9\/ji8kpgrcP52wMyW6gBu8sA+5OAfc1y+ASyTGFg1Gi2KL1jtVdYj1ZeImBNJec5Ms3UXcKKWNrOObqwFyOhbSwcKs+Su+5VGxbq8vU644QQaJwQbOkJwRk7ICyuf9Dif7lKNJsFpJ9ZSEAlbm4eU9Jm0JfloELwXSnNKSKUFOS1DIzSPkKDSbLq28PlLLtY++E\/HP8Pzn9Y1n+yHmgihZKix\/YUP9LdJeVbMdrhH+\/UobCT08vH0TgnTXHXOcvzBce9abZecEBDuDxlnfZInyoD8VYHH11kLlOTOjbvb7hXd9jXpURBSyeICm9la\/0W5QtqcJUrbMpVIIBCVy7P7J3YI8f6V1smJQiUc0ePbZpj3atXrwCLWDnHgKntnZJ5SVMBGJVnrlLLp5YMrsW39IYexV4uXtpJaQQk4s+xtI14q4mOZlsi++1cxw4ZtrpLJ696ZJVnVILYciOhLb81Q2YTHNnxp3CjDYGOxBCo3OJV+vPWUuvPiMPYooUnkBVmnSVwXE3t+S9kSv75fMk\/R1F0F1k\/UdFenuMxM7ccMnACNlRr3POEpBOprsnoLaKq6oypMfSRcsqkVsODfI+T2lL5a3V+4BG+hoen9gTP3PQTKgx1y07tlDKoMsNJ9u9PNc3pkKa1v81bvkNzYgU7V7CuaSOYzETQxlua0UEsr9f9ptvt7eY9pbIYN7kei6vUOtWFPKQPM7\/DiQaJi6rM6zm7D41pf7nl3LKJ01tjDg+wSJYihm999uTGQYndRcvHMYWr2Vz1zgB79u4l5Ub8Aj8WHAoYkcX6gWhpNSKaaCE0fNM7QJAlRiHPyyiJiKTkqdwOwQOdJ3eE1p+0\/vl+OPE2drQeXaN68J4ypvK2kpOesrm3E3Gz5Uq303jNDUbvzIeGRA4KR3DGcdEFGU\/PuSIC9sRaYQAmoD4yANk0HTTf6BWYiONArLQSFwhfPGsGLuREdx1ymHtCh9IjtT7oKisONGyskwx3bE4f2FnvCNpImHXAk0Ufs6h8F45+MzubxQC4Au5MA93nmOdwzUhcepaKMMBOn\/6q3vc2EbKOqzLPI1B1rzXHrNCA3FIat+6VJ9Rb72RGCelDfx+kvwnIV\/6y1u4aDo9ipLjMc3CuIb4vCP8lUVhvJh+qR0sXLM7il499W4G6dxfavDZOMvKUfnDd2BtBLdAMWBCdbLOMb93gW\/fH5dTN7nqqSSI0Ea9Nn+5X8FxqqR130jK03ZEctouOIjyMz7jzVqnd8QjsQNrgUXQW7Id9b4ESNjGSZu1SIlQ0q3U65sRbnQ+ofYOJBKCTf30NrsVaSl1WzbcHUMewSPD2xI2Q7lc4LEwhYs\/DIoGjaMwASd251LnrO1Gjd9QZscvzjohTliQ5\/L5gqc+ucL1osbQdR6hkc9txF40RMjvGRofzk8\/y2C+9nKG3jMgK+03bRthul9SbUAOZiryQNT2Wjdq4MnVJxAjcstDemJh28aVS40NSVM26TJvFKHHl3xdjyJeRj8p3nK+EiutmRQ2bzvhs6EV1S\/tLsmEVU+I2CHTB3L5zmVqrdRZJjwzh2BtFA1VvFaDv8WQOqpR8wWanO+n6CrPh1IW+wmGLNe6EUo1A7xAtuwl4HNMsApUq2ozy4KqBtHH4mCVBjFIP6EIh05Y7FkaEXKlsAZU1nc+mtE6ekJoy18P31UU+lpGII\/GgMtn\/01+rMkfn7PKNrkLXKmn1ZHuDbv\/0u0GP2LQqxGaWGqHn05H23e4HvaxhLuKwtI83DKZCtOpU3oICs7trM3vh+HPTsVSBetIlM80LwFFDJIlK82JxdCa+3eXK\/HnKIsjbqVjhFmgLNwXCSb7AhU9MJ5xnWm9VJzm62W7OOk5yI2nYZYu9HJub1P+pnQf1mlwl\/ot53f4jrqOibIawgj5JRriAZ0kSj6NK4mmyszL2POzMS+2154y64ZPNve\/KCYVCUD86bUNBLdefU\/OM0Ka7hFYe6Eadzqd3iomjZHY2blj2fRQr6+Gb6m\/ussetmhF\/zX62U26qI23nwHwRiztI1IE8c2NYP0EsIDTPPZZBKxZU1nkaQ0VmADhPRXwrG5tR+S4BoG5DLkaRdEvr5KA+w7gxK3SpLQo2N35v2BZ1fQtJadUWGLguIXs\/yhkU5kdvVT1UINpfahSDBfOuBjHcm28weskak\/6F+aFBdfCywxHX4mg1vum7Ygglupt1mqz89uCZruSClytLB8\/4veFKYrQ0qwIK3ep1+DX4rjGOpAKH3jYggKXpHGXFQYNFyNH9qpvkwjb7tBy1vh+URbbWeI3US5PtrthKgoSOxtkUfdGYBFTrcHQScN4bpkuWY0MKWUTqsTYlioJR6QYuVeC0oo77kgCVJKtgu\/zINnZ\/nYAXERqj69w6dMopk48qhLFJi1kOqcK3pqOJ6TAzktG4UXE2Osq5MAPGJ2STinh+rqFu6O+HZH\/OdV7UlWyNURdM9FhSih0ye4l7YpxnZxNVGm3tsF986yfdLIfepN6GqOclaN1DgkSnzbGKQzc469QG8NqToxiV1q41R5rQoXsQUuL3hO6KZ5bJzCA3BKNzKBSwbj6er3fUgUXoknye3huqk5EymVZwW+Xb9MX43ejGeAVFdgJD8du9WA33\/wI=\"><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-hero\" data-layout=\"console\" aria-labelledby=\"nx-title-1\"><div class=\"nx-container\"><div class=\"nx-theme-toggle\" role=\"group\" aria-label=\"Appearance of this page\" hidden><button type=\"button\" data-mode=\"light\" aria-pressed=\"false\">Light<\/button><button type=\"button\" data-mode=\"dark\" aria-pressed=\"false\">Dark<\/button><button type=\"button\" data-mode=\"auto\" aria-pressed=\"true\">Auto<\/button><\/div><div class=\"nx-folio\" aria-label=\"Document reference\"><strong>G09 \u00b7 METHOD \u00b7 safety-critical-software<\/strong>GCRI dossier \u00b7 service level R0<\/div><div class=\"nx-hero-grid\"><div class=\"nx-hero-text\"><div class=\"nx-eyebrow-row\"><span class=\"nx-eyebrow\">GCRI<\/span><span class=\"nx-eyebrow\" aria-hidden=\"true\">\u00b7<\/span><span class=\"nx-eyebrow\">Nexus Foundry<\/span><span class=\"nx-eyebrow\" aria-hidden=\"true\">\u00b7<\/span><span class=\"nx-eyebrow\">Established<\/span><\/div><div class=\"nx-accent-row\"><span class=\"nx-accent-rule\" aria-hidden=\"true\"><\/span><span>Method page \u00b7 Software and safety-critical systems engineering<\/span><\/div><h1 id=\"nx-title-1\" class=\"nx-hero-title\">Safety-critical software engineering<\/h1><p class=\"nx-tagline\">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 and has not been shown.<\/p><div class=\"nx-actions\"><a class=\"nx-btn\" data-variant=\"primary\" href=\"https:\/\/therisk.global\/nexus-foundry\/contact\/\">Make an enquiry <svg class=\"nx-arrow\" viewBox=\"0 0 16 16\" aria-hidden=\"true\" fill=\"none\" stroke=\"currentColor\" stroke-width=\"1.5\" stroke-linecap=\"round\" stroke-linejoin=\"round\"><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 Nexus Foundry<\/a><\/div><\/div><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\">safety-critical-software<\/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 systems 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\">Nexus 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><p class=\"nx-register-foot\">GCRI \u00b7 Established \u00b7 service level R0<\/p><\/div><\/div><\/div><\/div><\/section> <nav class=\"nx-index-strip\" data-nx-spy=\"true\" aria-label=\"On this page\"><div class=\"nx-container\"><a href=\"#nx-sec-brief-answer\"><span>01<\/span>The short answer<\/a><a href=\"#nx-sec-application\"><span>02<\/span>What software and safety-critical\u2026<\/a><a href=\"#nx-sec-terms\"><span>03<\/span>Terms used on this page<\/a><a href=\"#nx-sec-field\"><span>04<\/span>Digital demand and connectivity in\u2026<\/a><a href=\"#nx-sec-canvas\"><span>05<\/span>The method as a run graph<\/a><a href=\"#nx-sec-data\"><span>06<\/span>What the method consumes<\/a><a href=\"#nx-sec-checks\"><span>07<\/span>How results are checked<\/a><a href=\"#nx-sec-connections\"><span>08<\/span>Topics that rely on this method<\/a><\/div><\/nav> <section id=\"nx-sec-brief-answer\" class=\"nx-section\" data-hue=\"infrastructure\" 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\">01<\/span><span class=\"nx-rule\" aria-hidden=\"true\"><\/span><span class=\"nx-eyebrow\">In brief<\/span><\/div><h2 id=\"nx-s-2\" class=\"nx-section-title\">The short answer.<\/h2><p class=\"nx-lede\">Software assurance is the level of confidence that software is free from vulnerabilities and functions as intended. Where a software fault could reach a consequential decision, 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><\/div><\/section><section id=\"nx-sec-application\" class=\"nx-section\" data-hue=\"project\" data-tone=\"alt\" aria-labelledby=\"nx-s-3\"><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-3\" class=\"nx-section-title\">What software and safety-critical systems engineering does here.<\/h2><p class=\"nx-lede\">Software and safety-critical systems 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-terms\" class=\"nx-section\" data-hue=\"infrastructure\" data-tone=\"alt\" data-variant=\"split\" aria-labelledby=\"nx-s-4\"><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\">Key terms<\/span><\/div><h2 id=\"nx-s-4\" class=\"nx-section-title\">Terms used on this page.<\/h2><p class=\"nx-lede\">Each term as this page uses it. Where a standard-setting body defines the term, the wording follows that body.<\/p><\/div><div class=\"nx-section-body\"><div class=\"nx-table-wrap\"><table class=\"nx-table\" data-stack=\"true\"><thead><tr><th scope=\"col\">Term<\/th><th scope=\"col\">Definition<\/th><\/tr><\/thead><tbody><tr><td data-label=\"Term\">Assurance case<\/td><td data-label=\"Definition\">A structured argument, backed by evidence, that a system is acceptably safe or secure for a given use.<\/td><\/tr><tr><td data-label=\"Term\">Mutation testing<\/td><td data-label=\"Definition\">Introducing small faults into code to check that the test suite detects them.<\/td><\/tr><tr><td data-label=\"Term\">Policy gate<\/td><td data-label=\"Definition\">An enforcement point that checks each request against declared rules before it proceeds.<\/td><\/tr><\/tbody><\/table><\/div><\/div><\/div><\/section><section id=\"nx-sec-field\" class=\"nx-section\" data-hue=\"project\" data-tone=\"alt\" aria-labelledby=\"nx-s-5\"><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\">Geography<\/span><\/div><h2 id=\"nx-s-5\" class=\"nx-section-title\">Digital demand and connectivity in Latin America and the Caribbean.<\/h2><p class=\"nx-lede\">Urban demand centres and the hubs that anchor digital and data infrastructure, shown for Latin America and the Caribbean as an example geography for this subject.<\/p><\/div><div class=\"nx-section-body\"><div class=\"nx-canvas-wrap\"><div class=\"nx-map nx-cmap\" data-nx-map=\"ctx\" data-cmap=\"latin-america:digital\" data-ramp=\"purple\" data-basis=\"case\" data-focus=\"0 0 2000 1400|1028 447 1555 998|1023 820 1278 1268|493 74 855 318|926 516 1099 771\"><figure class=\"nx-fk\" data-fk=\"map-latin-america-digital\" data-ramp=\"purple\" data-nx-z=\"7b3LchtJmi74Km7YdLeZnPJ7RNRINMtUVWVWtZSVJ5VdZWd2QSBERisurABApWi5qHmGeoJjszqLXpyL2ZjNsvNN6knG\/u93BxkAKARApjYj6y6mCCLcf\/\/9v9\/ixaK+EfOmXC5fzrqf5Lv38qoqF7PzF3s\/r7vL2fmLKzv+y6peNdXs\/Lf1Zb0qG7Go2rJbCPrfvO+6ar6qb+rVR1F34nW5qjvxVVsN9bzEN1ZXlXhVDvXFRVV2L55f2fMX1+PVl+uL2fn3\/fW6KVd139EybXl9XS3EvF7V1VL883XVXzeVuK4G8b79z\/\/5L+Lio5j36241fHzx\/Pr8xboZrzi\/qq+Xs\/MXTb37+ez8Vd+t6q7qVmXz4nlTP\/S112V7UQ0rUd7W7Xp1VTai+uu6bGQ5VCU\/93zdnL94vqhv9iCznNNZCIiL9WrVd2L18bp6OeNfZuPvXqy6mViUqzI++HLWVt16JsqhLuVVubzur9fXL2erYV3FD6ufrstuUS1ezt6VzbKaiat6sai68xfLm0txU1cfvu5\/ejlTQgnjhHFpKXwpLfSun6+X5UVTpUXOX1yXqyuxeDl7o41wN1rPnt991mZCK+Hp\/6S\/\/4c3Xhh1pR199nx5c3n+u5+u+2H14jmfdfd2+HDpvPRbAimdgpC7F20jJFXYR86XN7Pz35ar8sWyLZvm\/NXbP4v+HejuXX25Hqp\/WoqbsllXyxfP+Rt3oG1fI\/\/cBvj9db2Me3cvZ24PYb2\/rmfnL5bXZbfzuWyI4ohWiZSZsF88p6\/uoRp8v+6qu5PSZb6cvb+uf9M9uMNN\/Pr7l7P36d+rdM\/nwaXt4hn3kfyBA7ypFjVx7wlgt9XiRMB1kTbc\/\/R6dr4lGB5\/0G\/ry6tquTrppFf1iQe11j\/upPufuscv\/XoFGDsA+f26Gla9+KGe95t1TsDV6\/7Dqahq+hNRpc6U+my4Iii\/LoeLctEvR4iCxNg58OVQL+IyTfkRy7Rl3cllvaj26dvrsquafX9oy+u4zkAa8eXMSfvA9+RF\/9NDf1quystqJlblRd0tKtIHMzH0JO\/L6+umnkPbRtVAny+q5Xyor+nTl7O6W1UDKbGbSgAefK0pL6rm5ewP4z\/+RiwebRmcid+V86uk1UW9FMurclEtSNVfH2MbPKPvOPHXdTms6qZitFTLM\/HVMPQfxPvq41Jcl90zcd2sl4Cjrbv1Utz2fftM\/FheiKEq51fVEvAt6pt6SYr8bMbK9R6WoVxE95OcA9s3l7Mt1auUEtopNRPXQ7Wshpvqq+V1NV\/9wLf605t68V\/f1AuxbOp5NVVHD9V8laBYy3krl1U5Ex\/qxerq5Yy2nImrqr68Wr2cYe\/n5y8uR9\/\/0A\/NIin7+3+4HMrVDBq98AR33kgXpHPSZzL41hgltCqkV\/RxZmRGH8vcS2ulN621Vpig6AGnZKboK8HKLJemkM5Ib2QepLHSeWkMrWGVzPJWycwp4ZQscuFyWejWeiO000EWnv4\/aJk56T0t5XKZW1otD9I6WShpMlkYqQtZOKmNLIK0ssiEp+U0\/mnoU2G1LDy2McLk0tvW+sDbhEJmWvocP43MvHQZNtMy13RebTJpvMxz2icvJK2rZJCFFprWy\/Ev\/E6bKWGVzHPhMqmVba3zcR+Lg2jah1Bo6Wha4yS5IjTlhhCUO+zjaZ88k7nUVgkt80xk9IM+DULnMveCoLLCGalVaK2xvJEH\/p3DT0Ub2UDHshrXkcuswD4K+xipHWFVa\/rpsb3MnbC0NOEbOxrsiANmBe0bstbkedzQyMLSMQiDhdSuoFvWPkjNm3mp6axG6mBpdS0K+kRoRatpJ7Nc6ExmQRglQ9GahDNHcClpHJETndMrOob2jrCTFbSB9jkhyRdCyVyJILXPaDXtiSKldq7VRVpPS104Wo9W0gV9SepMGuulp5\/CSu09AaY9LlU722qn+XEdpMkcIcwFI7W0mk5iQ9HmvIEwTprM0vGIivkb+CkJeLooaXTW0o3S1x3RlBGGoFXCaAZaSWODIG4J0vFhNT+dAx4Zb1q4ILXK6JSZEUC5EhZPAKmFwAkLwT81XXkGfAFtjmiO0CNDwesRkxaCqEULa2VmhSnoVghMwkpBCCZggxF8m7SokZY4JYCisAlulNBL9KZkyFupVb45cnAEeaaIcjMrbCYzj\/1y7FcQFonWFOiOSFKAOkUgoifqlGCTAnRr8bMgEAxzkiPqlNpm8VSFDLnwFjsWtKOzdCqb03Gsob1sIbUJOCGYi3iOWZ5+ZPiXI7GDb0hDkIA6lW8jvnUQBQufjPYgRg90KTnEW27phHmgy8pzOluhIKGMCBBh9CMnPtL43UDIWE0CJ0oSujneJwf3B2CPdivoXLmhc+UZ3V+hSMoVDvt4uqsiE1YWufSyoEunnySsMmkhNZ0mCWoy6XUrtYv7hFwGK6yXNhOBJDDtljs6g3MkBZynv2ZFq2TuMlqR9EMu86JlfNIqpAlAVQ7U6bTwTmahBTGZIHLCDu6rEIQm4mqQXC6gMgShxwutnaSfVmQCAlcQNp0gCjJEYCoXiqSuC4QaZ2lji+WtErnHSkrSNREfCq1zSYSVCy8KomeRF4L29Fg1F1aJTAlLklxYK1whXA7keKGIRmxO4tA64ghrSOqbgi7ZZMIHQplT0hhCnCmE1pm0hcg8HYuYwwlNrBqEDk7ipyCVZYXOhDaZMDlgs4UInn5xhCzhg7BBYE+CzxT4hxHG4kMlHN1f7grCBwkUp+m2LJ1GWk8cTqcppMlFcAASKM4sgLSGLgn8JPIMWAcjC50bAjI3gmQrHZzwRHdgBf3ZEjMLEhtaOE\/gEOEUwmYEoyfGo39Y3JglwSQgyJQOQolM6ryVmTS5FhkpMEEkSSEHT0jTztAJtCEOF6RXDN2\/kdoI0iiWfgoCRwtt6QsEn9akqEAwllRNoH2LQLeZa+EN7y6Non1IUwpNAtuDMAj7BiSjSUiS2rXYznpJukrTpiRP6BMBzGFrAxLSxtI5tcYlaa2E9aCoeGSpSZErS9vkjF9jcCgDssdmWFrS0gWhPnPSCpPloJJA0ZjNnvlmTy00KaEgoKrTZrgvI8lC81YaL0wgjUCrSaKkTNBHOV2n8UQvQhdEMJvng\/AeBGIskYGxmSSSC8IKY5UgxZELk28OZ0VWEJcWtDBJJ6ENqV6hc088TMfbY5uuu3q1vPOhquHl7F1d7TdX31s2VrWGbHGN1MKSdhPEnUba29aTahFWOFycElo4ggR\/1vQLEZ4VFn8zQgnccE48aSWJ5Ux6EhRKQsNJQ6hXglQS3TgeKISTRnh60Euy0DRpbNohl1DemQzSS4u9CukkDFRBihJPkdVBQgKWASk5shNyQXo6CDIPCQRa05CsIpVEx2EDBbYHQUCkb2UmtBYgjBBxEeg7SrJa46NLS\/jHak7iQZydHoyYIGMXgT6iWnrSE2OSXNNEk4YRSt+mT0UQRJe0kpI4BkEB4LWkm\/DAlzS3dy72++rjy9mivvmNSg5+ff1y9ueqq27XVVP+\/Ilg8M+6EFsu38+viCp+thT1c5vI5IhUTCQVE5woiryRgW7ZkzkhgTeyJCRhnZAtjMyAHCVJdABTmn4EQcf3iQ4QDsXZg8gESW8iCg6RBhH2HVjfP\/C\/DevLdfnx08d1DxzXfOK4LnGGJbZ2TRBa0Klg3Gaku+jMVujbtqDjSPDCPnjNfXjvxY0+CbO1\/gGg3SeAjuxMFmdopCU6IqYCMwVQUU7\/zG9JT1iIFNCbwzfNbYsvSS0M7s6C0A39QSuiP\/KF6JiS\/qJvWxlvkBlJg3GFA6krEIIFmxiQtRUKGxn6hP9Ln9MqJEXY0peGSEHm\/KywxP\/Ej2S2WuZHQVKR\/kSL00+y8jUxYyaMwPNC4RmWPMRJxPp0cwZChMiMALe8SJRCuFnCRxbplYAhVNBymsWdxWkgGEQGmabxFOGQoMDBHcQJia8CAGkcllYzdCCgtoB8ILeQCJ7OQ0Irj+iB3CCHjw7hyGVlrAGHAUKJHEwfsWvwKV0mizYXMWwTfHD0yPSWDIsmQGAw8XlkARZU9GfiV4OrdxDN9G\/Cc4CILsjGxj0Y4F9DlmnysyDPGDkmIVQQb\/i4AixFwgR+NyCtLIJP0pkOQMB7KBt6AFREZOxY16QLBAHi4ugQgUCGuoHqAsCgSrArrU9PeUIL5LNiqZxhQxCdJspklRLoiNA\/GpjWQKWDp2Yh6gib5B+ToU4IoNgDQW5ILhDeyESTmhcIEV4wBU6nmeXIH8L3ST\/SRXpQHck+kizwmSI7wWbBlfrbVhpyGx2dBxR12xJxZBFIoekDMhOKDISqGE+3rTdBkt1LPCHsPjllR3K1q1fVQrxdlatqSRInRh0\/KbSMPUGv6ChorSGTvcgbqE1YBHR0Up24JxCYF3t1oLsP+tsz8U3Vn23io39Ynn0SanWmHoJbT4AbgRJjfOOi5EwsoME+FoIArCxMlIckzBzJPeIXIrqM3FfB5JSzcGUSkntvyt8\/7u\/L5n1DZz18TqNOOGfU+wV5U143kDJQf3ofaOE+aK\/Kj23ZHQTsJP2cLNfCOZk3GhaThXNH1hT0CZAtckGiWgP3ZGPAVyI7FPEOS4YjhVc0DBUdBaVxt63xFNxgw2wv1WX3z\/rjuquX9af5w6oT+CMZIkblwmZFI2Fle4htlgEaclsU+2DMRzAOdVcvSk4u\/NhflJefNkIKdboNootCC2d9A2mbCZjOOTFFIA4hPQhxDZM3QNjrKHjpH56EL8Ui6cF9BytGB+svD5lTj5FMygnnioZtH7JbYUwFBBwgm33yV1hBOagqzf4I\/CkN5e5Yv7ACzqEGWK3DQ4Xck4g\/mOhi+b3278jif7se6q5sq08L5rNTJFyivNxkMm8UNCgrL3J7YehAMpPDxsqTL4+cNg9kkJBDfJtdQVLtGTmVFL5je4btMdJZxKKwt2AW5qSgWUSSpRaieQBrsQDeSJPTrxlErGVtiC9An5OLbR9A4MiDeHtd1t0nseceYYobCqhpa32DkIQine8h+CFpYFfB5I5qzjCtEB0FGACUuwgwkDJBn2moBjgcQAEMepgSGZSHNkgsENexYUE6hmITRfTTTQxlUUgFtjXby3kOjiQqJmuXzSMHR2Cv8NMjt+Ztv15dia\/eHTQRHuV65iEXzmfEiJqjj0AX5F+0iGGLc+yC7VMJtYzfLAiJHHVELchltwLmmMcpybaikD\/8UVbYe08+MpTe1tUwlOJ11Xef5kGdP0LL5ZRUYe1LtwP7lT01BDwpN0G2XiHZOYNAxcEZB8niRvQI3IVlFCwRuH6EDPJMKB8BSWUTffroepDo0uzTeXAuzPSCHC14Mzk8pUywDZsjILJXcuuxtVZ11WXZPD3RjPSmIfkVnaUH6HlkVL0t624lXq\/nBzR6KB6hITPlRcgpsgAlYuGAByRVYP5aeFts+5PLrvMgcigJFgj7zzGywL7vh9X6EHqteQRPqtwJn5F4i\/ZIYGcfgogURU5CiGM+BXvmcEng8CO1Av+ePW1EVCC64Bci6AXLjpLdbPOwaMoEWdYBwTcLorMyBeEcO5yInxnkSxGwowSQgSqGYwZ1DcVFiSrEFynBKm2GVCbSlAU4JDmcAR6WRGCBDgcJyT49CRKCjkwbD3AU4ldITVjAhGyqx4GIo3KRQiSePVgYSCSlC8ES24kUUdTMrem0gbk1Y5shcER2LymMDNTvq2H9aS6zJwioTVTQGpEr19hoaUPxMKwWskoDNZTygYQIUeqSDHYQUxpKDT4+qUREkJGTZnmmkXDDfykdhJwPx4opfE5bGri\/CO3s54yRLfx9OZQHI4fFmT5daBfIiIZGclAqQ4QIoRkiYI7L4UbJLtoYg7AapUMEjCWD52gGBaURKU\/BFESvogmho+EZY9J5tIYyUCQFxhy8SbYEKJwuSN1rRKA0DC2PPLeDW4E724vCYozCrmwPRAT86XY3TCenfRNDPWR+Zgj5GViSKoabA4fYFGKAnGrIY4TQQ4bctuTe4Y+Ev71+qxkZ1d\/Vl9XwaWY5yx7hSytK8akGwsWyI8HBG1w9cgiCI2McovSQL7CNAwJx+IeJ4Vuwk47R9oAvOjwEQgMaCB3ay73msNHjo8+ZMz59fP+YkDppZPKnIq3TCfYCNjIxv6tWV9VAkY7lAdDCCTr5Ps1pnZuGbEELPpIcpdPAbAwtGsgfI60WqNjZC\/7ITvyubOuLA9aEOstPoaqNkUjZbdtkrE8Ngsuag7MaTAI1ZPFnWcABhfcAF4y0H4L4ZLsZdr5hBkPAQCc5PMAxXk1q3cPj8BDoBmLfwIRm\/00iJGti5M5ivZwlFZUGgJc1CpeQScKvRhbSKGT2IuIR2aGnqNAGShbOMQL87As56JeH+HpkbL7ph35+IPNi9CNCBTnxpAsUj6J6BuSJDJUwBMEJiozKchxUOCL+BaqrYC4RoshKIq7OhecLyYWN4WLOMFi2gJAVgFWS7z31yJj9y5l4W16VwyHiU\/r0IIErrMiyxhTR03KGshqWAwJcSUCRN9Y4lJQnSxbKLWO7DnkajhJpSolo5HAogWB00l9ci0Gpde6iyDjphrB6IIKgogJyfw3H+A1SRYbURMzhwBABBRKa6VqobA0lgIJ5hH0dGJAumm6aa0KEjv4zEi8xg0XxC\/Y6kYFS\/Cn\/A447FxeAwzglDXMWt8rWJxnJnN1wSI8rqLdNZoUWI+6QXKzHiRGExzTHORTy4VgrIHthYFBaXISLWSEPfkbVpaYUeo6D0FYe0YYA\/ixkiFk3t3H7dEyF6ZhV4iyR55Q7vkWpDda\/BJUxMW1vovfI8SCDggjUtCjcMqoIYnYs2tEoxIiozTmTzsFXEcjBJfwg60Fb4fjsnNKJCy4zgM1kcQ4P2wCecUxhIfuMStAUUnEpVU0HzG5bS0ZQMDEJjzAChZOo0JGqFdm5BlkoYSlcQKGtaLNZhAtaCzNVM8piVkfHhQIVC3EGlHKnTnKQgrbex8MjR+5N9dPBlLE7Xe9tAgwx\/u2AT8Ir5LFmDlXkHXm2s0IKC3DYFmQMr4eEl+PgrkEymHODqIkigUifa4GyEhL\/aK\/KEHXKNFdhIOlpIn5S\/hLETMEw\/0BYwYy8nTfleqhXZXdA4+ozf3rqB8aCDbphLcfCTMUgtgHlMZ9QSYhkOkjxYsg+GLXJgLPIZSJdZGVKzCNkIzlbwWlVH8M4DtzukSOjqCBCP4gQevxPcxZJx0R+BvKFfx4T+8TwuMkcXG5Z36gYyQZjojAVBihJZkAFMxU2AGQ8BFV0YBRVLlORsRK419yIkEPkoqiD8vZexKobYv69+QqTj2+xqQ8Ets0j709bqnpSuELDVUvsWsDiozIhiAwify58cuxr7qfBkX\/0ur74eCAhdBYekXnMvRMu1w1cH\/alA0K3lpVtSkOg5gDVFYLSKQEBupih8Ah\/BLBYAQzs9Z2t2jpYNRzgrNNuxoxuRrsGUUwHWxC5BgUTkkTKXjBHrszratmvrvqnj8q65OBTbbxtCPkiheuiGoeKCcD4XrvUjnybP5ZteTBynunTY40bj5MKdaGvbSy1S0EXrm+KEiVaBg4hKtasjmNpbI\/CjKGUT8YhOY2oi4egQDqIzDaRwQzhpHgqYPH7UzJ25Ct923eL9VAuf72gsPJkiIcmpuFiORGEGue1SHiyuWahcywn5uCGIzWJnL7iGiRysCg+a9hGIM7ae8iRL\/JtWa8+LdwK\/QiFbrQVzmUNylk4zwbbM14ux4NiHgXJAgopkpwm44fsMI4PQVhrrqExHLfkKw8sEZXgDDtn39mL0Zyv01zBQfY\/p7kIY0xGcDeNTLEM5AJJd+7F2siX+Wb9sewO6fT8dMmjM6r9z32jueyIWnY2Ctog9qzZ3Cs4MinYP3ZQoHDfUB+VSEEhpKaoSNDoFN5DQIpNp1i+tffgYXzwuqtK+XW9XJbrp4\/N7KTYUDglo7nNzobnMlj2eYyMzC2zaG\/jD2bjshtUhfJXApJUxD5k12suiePgF4e7AqL2mdj4Gpx6pK96xIq5poPkCucBnGAfQcfgFwfG4UrjqopYGwGHhuuuEN2Xe\/W2zXZR\/Ukc+zN\/emA4yzJhdd6YWEUHktJ5pBbOLsBzJG5z7I0ESFTFsUCJqkGFDAfXF+VIAYPN9td25eMDlquqLQ9UCZvsBAG7qf7IqfpDNwoGB2kE7VmDs6hAlB7lOMw1FOc37PuZWDXF6SRQYMGpRgu\/xOXUkQAjdu9RRzbYN1eHxMVJRWubFF5OrSShQZiNBZ7GiT1XIHGBBPL2Ar0frB00O9H8BNtmKC+FPNhb4Dayv74p20OhROMelTIthNVFA0Yne9jD3c3Juue0Ffx38o05B4FPOKtnb9uCUgnEhhy\/g0OCsndEG1GrSSpDiSQH4NewihXoEzEsTaB3H6BoNzL1fj+U3fzT+Xd7Sqp2Yy\/kotCmMVx6AT5EYiGj0GrGpc2CS5nJY0YIlAV7S2WNzsXimL3Sx5nxUc7E933zsasOlZN5dfqJcvJ0dNEgYeY4dYmcKRflag6FGVSiotB5L+Ajq+13jXhbNjfloj+QOjGPMGS1ovi7hoLirBjXwikOZnOCNUMUNYuahHprkTxV6MIIMlYFy7ucmUEU0sLW4+PDRIbHXMiQCm6M4FJcjp2h9BxlawVyKwiVodYtxCr0VEmdcmykWxXCAIrzetJGojESJbx8Do4e2ttWs3WpOOqFr1LbteSCaahajjoZlKOjWcRFM8TLVIfvuH6fy7didm\/\/dY7s09\/N1wev8iQVcWeDU6KhaLj22kVTIZU6x8B3Sh8TDXqOEKK+TrrYeELSAhQaUDm717twIxPyt31bd\/W87MQP1fWBylQdHkGqRlE\/Y95w78EDvB\/2gfb0tYzJZaXwrFKNyZAVZrtMo3OCjaiYa2VznzAdM0dcagRXj3ujkBsC78C9Y1OGq+U9x1M5AMvBVS7v5HieSUn9GMsCY1FqOyAlxD0SHJwOyJKwdHWI\/FOY1llEkOGBUebacg6J17Qb\/YRetb04H1l7r9YXB8SsewQN5AU1SrvGo8wliJjuBDXb2JlAaYqAPhbHbhV9xH0vRtyZzsbEgL4hnam52YXiIS5mDTgE4SEZIc7ZtjacE6dmVEIv3w5aRSDZ0Dqgog9cwJkJ0alBPR3s\/L3+rBsZla9++d+rSiz+6Q83fT0cKEd9RB10QbZJ7hqmEdj9FMDIkZ\/kstLYviRTvZdPrS8o7WPK27QTuY2ZwT2IHi4GNeKkMizHnWp7w5VuZGy+6perknq7yqe3RDb6L1Cg3jTwMnUs4oT6QVMjd9dxapS0DmfFFPCDbxMZGWSwPeelYI4X6LriqipuFaNF4Vqwssk4ywQlwvW2hitzC1hylkWC5rxbwLWgXdLC+guciIFVx2VZPnrNqN3kVodYHAN\/MhZNbzIRlusRkXhgsa9iZNqmgkbY0wpekFCxNYvrajU3bEkY3i62GHF9bc59ipF4HOI63JmI3Gwh2TH1XJSO0AhSGjkUromxo1jfhdN7rOk2wbAHIsVejQmn6Q+b9PYxZXqZE1mmG2Sek7UDARPzbhytdLHzRkfW4jQo150Z9KoILv3U3JEF38BsPHLNDg1X6CHFqpH\/iWXIoFU8jbA0aA4YZXpFbph73hhILuniMi\/DEj2W7HLSuGBvBNkVhLVx+QyzgjhNLXy55OLUqH9Q\/pvFygVUs8aSNDa20CkYD8aF0OhL5JQJO2xIPjOPuZh55qhZ7MQiQDSXIGdcsRRLiolTaK5AbHBi0uZaBi5bdyKLRbYuBr81NKFDnW2MsAjuEkYyDVyByCpXXXA9ORwO7iXyjLpUfxDrm9kKRuVjrGBUMSuEQj38m7\/LReeK44g6ZoCD4DiYzGISChWQrIKjfuEOFRN9yBhkRRFIlvLvOvZGFZJ5kHPPsDEMwulczmQ5GADrIItti3wtGbuesR0yZfZd5HyL9jwW9W6TEFeI0bnUoo6lqG4lnpyIzQjOJGvOOmo0M5PnYHKuAjJ8hbnAlIMUJ+Z0mfaSG0gh4Ap06LlA8JsCBjzOUXCFAVKpqJol8rzHciwKkQSlSgLCRjyriW2yKIkT6AEko4HPgiZUajAVbBvRIB+EWTfF2pr1BGOcK8UAYsbBfL4aXGjgZsFYtMghY26qpFbnlsvBuZ8zE1wbxO3QsBRDaqvkAq9W0RAs7nHIorOfw8cJaNliEudQNJMM1wvRPgHzFmJlG0tpDTvQsU0aq0y5SjDE+KSN5e6ppQTIou4TJLtMbH6GpsEhDCOV\/p7xuCrIxgJ0F2SRYokojmxzwfkRkKjYuGc08yT6\/y6JM\/LPTDofaQYOALtN03hLFFPEOggAqGnUyugBjgwmRvbcenvb5jT\/inMWSL1Qbw3N+OA8euxAIt6+xbgkm9TiQ80NfhRWeXVVN9Wvlj\/TIXPCKt9E2zU5sxg0xp2SgZGN2hkelsBNkTTGhwQr93agw3XfYcy4G\/GiF3+uhsWnT+RPiU6YraY3SJkiSnfj2dhnLg4szWOLj2a6pGFVIskpHYsrOELIhIkYHHdhCC7R0XEsBBcjFSIN4+DqOG6OMVxzgLSvj3YxatVh4DquOQDd7S1B8aP4ztfr4X3dleL35fLTOdX8waz2lAwEje3xSjU5qn7Y+\/dcdQ\/DkcUMOoN5HpjkmQZcis8zJTCLBTNWoEA8uJEjjmzfseETUlMBTGaIkognybl+HggSuA6LK3PB1iamyRRi27ErgVUgV4LpOPvDcwTDQbYjqmR4UVRZkJxR0TCPliNKC2BgcPEUtG+K9JsNWTgeEbAJM2JQjuXEfpwkwkzuZRKM0RRiikQ3GG8bHXvS0Dx2ABAVwEdAWY5wIs4soVOgXhGlcxqRecPKEQEodtlBjSpysI8DTdgB5jxawaOf8uiaIHuBwWi8HCy8QsSYEHDKSg1KKOcQOhfLqxRRV2zDcKQZ9+DZWo0a02xmMNhYERNzLLjhgis8sH+cDAOS0dG4YBOWNVM6JY9pSLeumCwRCzT8KzufAQaIj9VpOSrVuGbHC64dzCEEuMwBo++s2HTuk62q4\/QUi3qsHIWFBv2CXFXKuDCxY8CwmkDRlI0hS1g+GSMpzTvgrH4GlBnHRUWahy+w88SAFgCR\/WqUy+UwK+NQH4SINaQVZg8WnKyBxjWxMZGVMQoXuWqJFJ9KTUIQaEUMyiI\/DD7QjDzLqeechsTFsj4yPnFt3PiQwdcruK4wVeexZR+iPqSxXRrxEs4LilymwRipXwKNPrHkme1VwxF9XB\/pJGpTsXdjS0hPURVvkSeuum1pbpZH32us99M0zExlScreqxS4l0lJbayejEMXZwDYlF9AVTTym7wPGy\/RMecBRcTkpCFtLMazG\/WOEYdxo8Dumo4x\/v0+6Sj++\/VQ3tbN0zfuj4qvDGl\/NpTBjfttklH49ut+tfxwuAbAPqIGQOVBZJ4aFKKXkoKYGXtsKBtGkCIOweL5UiaGpw1Xs\/NIFEwkgH7KuPfJoSCO5xQUUWEb9N5gMg3sNo2Z89GpzaDObBSp8IvT6JpYfIyIKkKpbIrr1P4GGBzzYMbzdRCG2VQgwh7PuBkoNhMZ7q7R0WFSsT1ZRzcrcGkv4jp7LyuML6upbw71UD5YKWYmVop5oxt2G1l04SAoQSFJlaWumFgex278g1U6fhQd\/rrqDnSH63A6E+SkbDPb6BjecNyxRXIAEXOVWH3\/GJB8DGlT3x4aA5A9otzQGJq9VzSb3vt9II3ioWnw96G+A3U6VAUNvc1DwyIvzgqIygE9IS2VpMewhOY5SdwxF6dEkWDNbluPcZeGIwoiVmVQys7SJEzF\/mp0ITVH0ERgF9hkgmdXbAyMqBBQ7i5tcvKcw\/jIjSBHM95mO2TTLU0EzRCECNF+cDw2CUoIc0LDpqOdAvUFRnlpVkPgUgTG99JLUOPLuSrbAzV25uwRE2O0oVmhzjbc+Cg0+xuG\/4E2SFh\/OjVmaA4QcosS+86YZ6B5qpW1bAW5GJs3HIPiTjm7makQYhZVcxkGQg7oUmIDJnrOIvYWZWzMuhhb8Bhv5VjGKuQd8zhWzN4LmmC8oDYcyYSkjpESGysZeKBfxv5\/hIEb44vYdpDHu4LZlUHcah\/DC2y2upih4C4LHpOn4mANdhERZuO+SBLi0TZltzhILtbjSA7M9Vj4rXnuVGApaOKgsozDZYjzGW5W4r6O6LUw2aeqcp54knpVN32qNvq1PJfRQgc5XsJEdemkTj0XfCjPt+45IGIx7IwDgZ4nKCJwKDhLATMG4xvICOT7pynQIvDATcj3HC4Fj\/D0m1ZIB8vPsWsQOKMGynDQl3HCJXsXJoadaLAxenW425zjX+xQhaTUi+hT0Whoso5vWxvnz7E\/t790IoziLF8NlxW9UOeAUaMe03RZ0BTRrPlUxWEYxUu+6lb15ZrfM0CS\/NOp8tw8oli1IHXXkJMJLc45fiq81OyTU+0X5\/XIT6N2AoO4P81JN9GOT4PZCjhZhjsSqOc+p85\/Cj2ikQIhTrjnGxfPIiVQoE8JjfWbuhHULsKe4NQ2zx\/0aVgpF3hyiogkz16cjmIoXzWXByvn3QQt\/fxyZ+zrcDEe+roeLsru\/guJXFBCNYo77UP0MXxqs7xtiyCCjpWYHH1VRM3BIjCQ7CZOsJAPk8mgowOsYlCOxjyn4gEXWz5hgrKm1Bh2bGMrj+G5JalOhX1kCgjrTKZ+b5i5tBlPilZxKiN\/qDG5GLoy3uZtW7gYPNexdKylMezGR1kcYywYp2EyzrozfDlPYEgVvVDHnhCi4qzWVM1nNm04RDfUNaYwcByjbjkySRFtjgdpzm5SDJPGFLA82FTi+NsWUgoV1+yzSkOBdYMpFYH3TLM5C05JwTqMUXcewekExjejwOm2LfI4nwWOKyasq1iOyAKX51aSfeIwlzumMX0sSsrjpABPZ6MhoXmMMgIYAo6InQcXWJl6GSHPCRcUqs85SRj7lEyciZWGNqoYXFPAlkHxB8f14SLftg4XwcqWqOK29TT5JDgZw\/sUDXfQXDbKWReJjIaLeSYT1N6RYYR+UBLeHqH9QhRxhhLPlbptEa7iHDZ2k8HQd0yMuHGJAYZRKSM8\/DbJE2Atj4ejRUwex5B4pBCM89IaPoiNo5p4cJO9bWk4f4FUO4dE8EThpQux8hmUoSggkLlI9JxCi3MDvXC5jUl8w9dObVdZQCKW8wpU6bxXUlz0w2IsKuiTaliO3l6WYxYSdUgUu73gSsRibzSCh0S94y7wVrqC\/Gi0U3HXCQ9b0ZyUoHHz9HYLIlgmMs5CO9bnSPVyzpl4ld69cW+uS6sp9JKF6PdqHnc1pc0gF6rNaA64h8Gotxq9qI2Dxr3xWD1uq6LwD4UG95TIqBhQgx1HUzQCTff3yenmeBTO3noaAq8sevWKOLVaUYqOukg5++c54kXVPdJ4qvajqILlub34K\/2RRoR7KwJEuVat4sR4jpSiEhmm+BYxkRDuTYPgE2Wxfb\/VivRoxtUxowoLUqOtKWhEPM+\/TiFNYgTKu1kbWwazZO1lLb0txjuSMEa1mI0A5UwHp7e6MP4K7jnhUm9D3Np6T69NIK3rWvIxvVVTBgNCgBvHhVEZhuWz+QDN1dL2ReDESsGzBkIKmX8qhdKSiVAotJoCBpSh0HLCxcC\/5TlF6POlWyKFys0Q+\/oNiEhaGvzuODmM+uAHuzlbeiWH4cm7200UJGN4ytZRTRNUE0uyi14eY7l3gAKhrQ6ec74702laQ726erd1CH3km5YhEpwucO2M8JzBGk18R\/xiNO49dnHHsD4kLvx1j3h\/LkMbyKazKZuBBro91fRp6B\/5K60u4LRhjPJu2osx4GAuGOl5klBLw6\/1aFqOAiiGdAbN\/+ex8wUmFhaJHtO8eZPx6eiGgjRbc+ZzFDQYezdfvrUipze62L2eH91J6wy9UMLiVQe5sG2hiPEyTzawUzz8y9DrdlDhlglLhlkWG66CzFoa4e+5g5fOSu+nsSbFj0Kr6W0mzqWy6ej1HFEvzYYuqhJaKmjX+0q7TBaH8Ie7Ii6SffTiDp3MPORcji4ka50o7NGzwFqD90odDsvi7RSHArLQUZtoLOZRxGEcFu80kcYUXAOL94Dsm3xmt6eeWZ5EuD31rKX39QTN8ymQRrExVQlV0JKU9PQ2oynt9lARaLlv6SVgDgGwbOMJ6W1PqGCpf98Tauk1NTlyX9TLpjzuEyV6xAVpRkCLF+Pokzr7Y4+yJlImh01zD5D2TE4aNRP0CpW81eAuTH1pAQVti2m+zH\/IkBkUcpA4xZulNL3pbDTUx8NRzO7m+rT0dq8Qp4dsZtYa4RUq72m0UBZHm9M1tXhNDxXW8NukLCNsk\/On14KQPcED1z8xfdITfrWl14vR63yOGaLCtSw8SYPfDoMxG3FmSkulOD4GvA\/1mfGAsUK41plCBMzui4lGHXsVMcQ9ZRltqnXSpqWJo6TUC0A5jsfgjV7jYAzULV1tS+9N8o7TFDy\/ajtNQSd1bV5Y6bSNZV5kXApqanbStApmyr7hpVQ4gmkKKK2GCnCSxiTF2t62oBerFX6fm99KT\/0aGcszmwb4tg65RG4BzihALFyuUslPi+ljEnlgEtoFvT3HRZODLbWYqsnSVH\/O0AZMOr4fwNN+E7mLE1YyxqXbROtg2nDlIISw3UToeFpSESvVYjROax4Tm0JxPs7UeSgUt8G5QwEaYT7b71LQS4THLgV9kt5C0797l949+mJeD\/P0Rsn08Gom5j+9nFHabSbmH1\/OtKYS\/eHlLCX+7v0zxVZog99sFdG2\/aIf6OUaN+WipLTT76tytR6qn99WJUB8\/mkAjEoAKKqDmgCAHk+rGMSiasT3Tbk6du+cOuBpa5NNO7rZzf2IV\/Xq47Fn1tR9Rhvn0048btQv27pZ9d2xm9pc8aae6qAn7Oq2Tlu1R2\/pIoLzYtpB\/fa0yA5T8Y4lqaLgbQtqFZiw7c741l581VSXQ3Xszt7HA4fgJ+08ynv+UM3rd0fv6Yqc98zstHvNx0N3Y\/fgsVebuXi1mZ20azHetVv1y2P3VFliG+qamyIp1FZsvX9XXpbLowWFVlkUUlkRpu08ElJ\/+Ou6\/uv66JtVST5plU8TUHrfe4\/e9N1qdfTeNMiW9rZhIq7tVhZ6KLu\/ruumORbZhY5yyigzbWe3pRDqqjleIvuIamOn0fN4dvXv+5\/E1+XxiqCIdGWIiafsOq70oFdEyx+r4XhJpZPUMMU0SbU12LinF23LUn5fr47f3JoooJ2fyE751itOqq47YVefdp1IWCOZ9a\/9eujXR+siF\/HszLSjjofiflP1w2W16j90R9s2kbKsmqYVxhNpo+h41Q+r6lg5HZJqMMXErccp0Hl5vW7m\/ZG7+g1Bq2kEPR4V+6a8LVdNeSyaM5V21RN3HQmrH8v2uj76qFrnkX9MPk1sjGeTft98bOndESeb6lZPtJfDWEYOK7moZJwbcSQ9JwFt3UREjxuO+6HuVv3xlmTURc5NM2DNzrzzthzqi+M3ThKSZi9M27kYD93tVtVNvaiO3TnzbuMPTvNN1HiK2Hp5vG+S6XTaiWbzeObc10P\/oVve1E1THU\/S8bjWTiPp8Qy5f627y+UJ0llrk1gpm3a942Ftr0vxzbqsh+MNWaqBYbNumuSw28ZVOS9PoGetkjk50SUbTyD716Fsqm5R\/\/v7Z+LrvivrEwyeLEvO\/kSMj73Cq7qpr5cX6+HyeF5Od20n4nxcDTvUi5NMAK3ujFo3zeIZj6z6ft2tSvHVUHXl8b6a1UmATeXpkQD7c9ks6uPDSXm6ZZtNo7PxkCec+KTzGpUYS0275PEspR\/6ZVUebVyqPFlaYZrTMp56BC9cYP7J5dF6okj62EwTnOO5RW\/LTvyxXx7vEvvkHIZpFD2er0OxHVmu5fdDfbwJUmysrjCRtvweXXG0bjRJbk30lcbTbf5cDeV8WN8euavL4\/WGibHCkch63XeX4uuqnB9rYhZ3Zs80oTEeh\/LHcv5+2XenWAKFj\/ybTTN7toaQXJVDU51wu\/mdTzotQKq2yVn86Z14U7XXV\/XxMjq3SSlPO\/S4UflPQ9n9e7VclYvjhWVSTEpNE1zjruKv11XXL8VX9XC0c1rkMYaos4kY33qjCEaBHhui1fG8+UQ5Pe4K+6HuxaISfyy7qh7640VmPHExMVI7bv36c9lcl0NZL4\/duHDR7PETE0t+a\/Zq+bGkAOKx22ZH6sRx7xEcp8v+hGCeT3g2Ez02n+90ypNafL2eH21+bHBt82lKwhfbo3COd2GsT4ieJj3GrTCwANZHB1xyt0kXTvPIx0X\/b\/qL+mjd4JKZNVEZjkv6X5Ok6i6r5mhZ5Qp7lE4KOybWb+vq8ni+TcI5TKOlMHYR67Ktjw75p0ud6IUHvx1FK4+Oc+TJN5p4qWPpVDY3p+j7YhPwn2a+hpFw+q4f3vXN+3177tYHlPUwLg8o64ErBD4dvU2WX3QZ3dk9GO9+SVCW9TCuCPihnr8X366XF9TC8hVFv5qmF3\/oVtXQofmibEhxEySbc8TfD7F+SDapmwrZOExUD+TpXJWtfHu1Xq2aavmhH1ZXTwPcXRnDZOjGNk256jvxQ7++rMSbajX0131DL1M5EZ4ixf+jzJoAjt1SCWuajvYksLgiZainwuL2W9dPclVFSqtOhmYkbf5rVV5Ww6l7JyPBTuaucRiqrhZt363Ej0NdLp6IrZKdNplSRkLp23W34uDrk4CTpdoYraeCM7Kj\/lLPr+pVKX77ob68Wonfnonf1cuqu+o\/VIP47pGoStI7mwrauDW7WVfim6FcLk\/FTSpsiUHUKRJw3H9cNw16C7+lxPzwUbxqKC3SPRoxoRgVNE0BTG+b3Zd9Ww0fxQ\/V5aO4OxlrerqWMFsK7Krtu6dhriwlkPRkktl61fn1UHeX7+qqWcivh7JbPv6yssynYpbJMI1fH341VDcV7fTYy\/I++RAqTIbFb1vX5Dotn0YWFnYcf5oCTxjbok1TXlFdxtOIw2IT\/lOTNca4VIOcLMoWNRdI6X\/zy\/9qq9sTodFIkyGYYKZz+kg+\/77ph7rsfvlfZFM8za1pn4J3wU7W6ePijq\/Wl5S4FG+rm2p4InPVmnF16RSLUO3mnMTbM\/GXM\/FN3yyWT2QBZSYlZ9zkWxzXh7zqh+v1Ury6Gurlqn6aW1RJGGRq8i1ulY401b+X3WKgkYNNuZz34qvlqlo9kWGS7jObbuDb7foH8Rd4HG8oNl62TwLXJkrgJ4uscRHK66+e\/4nSXvXT0L3WqVgyZVqnQDQuUEF6ZrkUf1w3ddmVTwKXT+5jPp26xqJ9PX8qBgwpJeym01I2pvSL9V\/X1fDX9TZxv113JxH30S7auNTlt6T3luJ1f1OJ35O1cqy0NKm2dzrNFHtyP\/J3N9WwfFrVe4RLP66GuZ+PeiIZlIIz0716PfaOmkb80F8Sjv7SD83iVNxsqu0mWyXjypkYynqai9rEhP30i7LjQq2m5YTl04rk6apiXGezid0+DdXojUs92RIZ198QPFQ+3z2RjiisO1YWj8tx3pY3ZdeVV8+\/RS+M+LZ6omhI5lMByXQOy8Zaolk+jcIqVIoVTVbs4\/qdN\/NvrqpK\/PiR1NapluJdC8JkILYs6+Wq7uTX1XC5XA19+0SiOTn5frLfOK70eUsFsB+q5UrAIVk8zZW5VCISJtvV4zqgP\/ZXnfhL+bGrTvU6Uk5\/Ms24rWzVun7CaJ52OnG6nn5TduxRd\/OhWvTiu+qmemLNbvxk9TUuJPrTh4qC9eRSPxFIm4KbfDpIfkw6w2UlXl398t9uqtunsVI3hnwxnZzHabKqq4ayQaJXfHcmfvm\/mptyeCLwNkFHOx26bKuY4+rpSD1PvX+o3Z4Iz1YJQDf\/5f99Ig8jaVgz3VQc1zS9qS\/XVSO+rRdlc9mLj4LetERhYwomLcqm\/PdyeCJFl2SEme74jwuh\/tgvf\/nv4k05rH75jydix+JoH3ZcHfVdP7RlJ96UXVN9fBoCS1LLTZbt47KpWCb2RDa3HZfsT4HG7hQKPA1iUq+inp4zGldYQeuJr4aWTJTuUnxXfRB\/Gpqq7J4oQmnuyqHVZOkwLsR6RS2VFNN6GvrW4zK4KeCMRPvrj92i6sT3dbdo6u7yaaBKItQW07lubH3383VbPVGeOCVGp9vf45KuH8qmqi+v\/vG3v\/92PTxVuO9uYoOZXgcxLvd6XS7FV+0v\/32o5+XyiRzeKMGzyUbeuBrsx\/rf108V6CtStWWqJpoCjd4pKHqa27JZGoEwXU6O68fe\/vJ\/9+L7ct308pt1OaybqydKdhUp5ucma91xhRnqMvrVqnr+23592TwRLXmbSvwne5xbFWhziMqnKhZJgnK6lTmuTvvT0JTd4mnEtvepqmc6MW21MfVVV\/8k3r7\/KL4th4t+eKK8afJeppPSuIikHFZLZLn\/8be\/x7Cp+IoacldPxIhqE3KfXucS8q13bf+2H8qHrlK8JhviFbHEUnxTNr\/8t068LYe2ru43nk6N84Zjw\/Gh2A3HP7+XcnoaMyaFpLSanrDP1Njs62qyssT39ZKSTl39RPbopmp1sv+c6Z303OtyvaiGRdlU\/\/jb37\/tm+bjh75\/qsiiOdpKzczuMADx9XoZr3Pe0wDzqls9ImAVFbefrCoz+0B189P4rXlKLEyP5Wdj8V\/9VM97zGV6IskRNg0UkzVS5sej5lfroRdvqqHuevF11f3yH6snCoJom6XGpemh0CxsvXRo+ct\/NHX5xADlYTpNbTXrd5d9d1Uu5Z3t8\/j44xFyIX+4++b5N2VTEVT\/+NvfNymRKPT\/2F\/UT2Tka3u8kZ+NjXzSRm\/Wv\/yP\/pYCI7\/8xxH20J5hc83WqLmmnFcPVZI38wd4Odw\/RNg5xHUzLiW\/x8nPBP9yb4j\/z7oQbd009M+3q3K1Xv78qryuV2XzEHITXHdd\/5v+s8OQ6Yca0J6JfW+S+FnbE6Erkn+XIsGHYRtH8Ou2fCa+r4b1fXDyM3UqttRd3GkqQONZUP1lvyqfiT0v3P45O8tPBivYJJaLiWBt51hXdXnZPxPbb1z92Z9lp0Jl04yybDLN+21hXDd1+UzsvAvuZ3s6WPfmTUy9w7AVfCrn5fKZ+HPVVbfrqinHgJ1KXBtf3cR2rsNwbfkNN2VHtLW+GEFkzszJdJUyaKmB8DBI+YNd9c\/4H\/W87MQP1fX6oqnnTwXndiv8YTiLh3vhn4lvy3pVj2E7WWRswp15DAhNkK\/jWX3LdTev++6ZoBk6l+vy40i2np0q+otUBOZ1PhWwkeT\/L+t61T8Tv5uvMTVxBNTp3Jn6oTM3GV1max7M9+UtzUbZfvXfz\/osnHyLd934aqqIHVev340heib+bVjv3qM\/EbZc56mPZjJkOxU2afblM\/G7ZvPLGD53Knz51hySCfD5fQMyniHtVoof6vnWtZ5sX6RiaVtMlRvjEvfvy65sy2iW8S9PA1mu1Hi+2ATIsq2e8VXVlk35TGz+OQbtVIl2N37MTDYYR1rhx+pyPa8vqZn+mfi27xbrYfQewJ8LF54ppY69zEKNZ5JMgKvYN5Xkmfhj2ZZbRFbY\/ASY8tRam2Y9TTBgx3Y\/j\/19Jr6r5yz9R0AZdQJQ9wb0ZFMtja2RiKQv+3fy7XVZd8+oAa+rF+UC7VQ\/9hfl5cg5MYU\/CcrtcZEToDT7B0YSD3wcv7P3ZxPcSVBtj8GbAJXdPwjvmXi7HuqubEcGt\/GnwLUzy2MCWG53mscz8eNVJXZfzfmzMaeQv0ZTBbR5PlVWjMvf367nQ7VXmRtzGlVtTyCbAFHYP4PsmdjzgtmfdaFPgSukfsYj4BqPoR1KcpVeldeV+HM1LEZEpbU97frGw9knwJTvm8\/+THxdDe16MbpAb06TXVtTCifAVOydU\/hMvC3rbiX+TDZ\/t4LwWl1RV2rVlYu6q0bX6orToE22j5nKluOy+VflcjXUFFlhYF+v52M2sKfxZUpSm8l8OS6eZ2ioRPOfKOqz9arOrZu2\/jQYE+6mx1rMLoysBQhKvtgxZO5x+lNN5dVxjT2PuLtziEdy7TROTfLfxKaRCSC5nfnZKxqfnUjtX+vVaokr\/a66qbe0wSm2UJrvZSZLk3Hl\/ddV0\/bXJaTJ1rvGf9ZHkZjdjc9HE+MeQHvA2aq7j\/H4ffGpu4DsISBcinH6SSBkD2Scnol\/6+pVtRCEgmpJb2r9qq2GbVfJTgXrfrbATQHsE4mCvQgyUyEpnBuX1x0ApNiprJuGG38XHXgQJLPdIjYpI0HhVrWbkp4GlrsLCx8C6670QE8Fa\/waaC4ymAqXn4yuu3SvnQqY2TNK+ckBu6sMtvlUwOyWl53Kf\/elZdyZmQrKvTe1TCvKIFjcQy9r2R8yLybjZVMSGYqpsPidYNcwVHuTVfdi9wexsvMWmQmQhN0XyRxIIRwGQ0eE+CJMBSPbrqgom+r2gWTGZMlzV\/U0mZPyPUVP0zjpCLh2X70zAbJi39t39iNoMktzNQ6HDabSrt9KtS6qpqG4xr4snT2zk0GxabpSnk8VL+PC+VfroV7VFw8QjZ4KyF0P5lSi8WZvC+Y0sjHTBc2mVMm7qXzl7d7RmHvzEGY63ezM3ZsAyc77K8qpCJpMQ0W6Ohcmk9BWqXxT76fkI6DIUjTa+Mk8FbbeoXLR7FWR5ggVufPatglgZDtvbtvHTMdAoYIavzdgAhT53jcHPJBCNtM5W9tkWmVhMgONxO43fV12+3Ps95KeD8Khk2+nxgV99j4Ydm9OfSR073WZTOOhLIfHt79EpykvRPrH9QPVOqvqp5UgW4fCDCl1jG\/evpzRscbrzWfn92pwXjynx+8W0YYsWx7Fqg8sc79gZnudgix40u6FOrAKlbbsQKHIQ4WwOPQ4F6LsLkAlEWSD5tmBBVLJyM4SlmxHEOQhfKb6jp0lME4XE3wPHSPWYuygkWLbqKQoDizARRO7eCgYDybTE\/CwKXHYXYeYLbXO7T48rjvYJSryGmE+uANQpBqBHURkjAi\/iWE\/tAKS+bs3ofn5zB+CgNPuu0cgx+rj5iV6uzy1yYpvP4oWvxTnPXQFm5T1zipFiKQ0ZRXKMu+gMPAlOLX\/Cu8ywDt7K758ftnazpObtOzOc97Fk+8F9F76dFd8JHLbi+yU4NzZMERU+\/13xDnIPTKPMYO8\/gPEnZKEuw973tPZQ5R1l8bbXSSe17n9EGxSbbuIYiGlUeC08yAnw3a5wfOBs+KgVKC01R5miHLNhYOiMSWZdhbBa9YmLYKM0J5D8NHzw6KRkzcP6jq8fuxBKtt3XToyo7X7hTnnOnafU7wheu\/3ce5dLmLPs3HPoB5+NuUIHiZxfQjZHNLfxXYkNLydbs89b6LuOzxpowrL95J2ioXvUb9RZ2QjvjrfRKu3n3DJ5Bh\/\/15oeWcPZ2zcw8zOx6HeHUbz0S7atErw8ojLbn85c0za+chyOOdo6c7KykVTafTlGMPcWTpEhjcj1j2PkcXtrwcXKc4FCOoU5NtFd+TGYmPi87r3g3E7ixcq4iQb4yQFzXZ28YHNkbCFRQ5u7X7d8AZBje90E4TafgLz4EiwEeQcIdpdVLHAzmy+RVj7Na9W2kcJn5HtzEGVXQQ6E8VRmJ2neMcOfCp+SbOeRjBil9SirTO2Vc43IYJdK5EB1JvYJT8AT373OBEGlxGgZbNLvVHdm5DNztnh3cOdRYRxjEQ4prtbhmhA0JYbr3F30UjbWeZm59GfS18i32jXP1rOy6aKALxv1y9n2RmZDucvrsvVlVi8nL1xSmgb1JXxcLHGn3t1Y9QbU2z+TV9J4NiIJ03u8TkSheJ9O4JneUM\/F\/XN+YtFfZMg634i97Atr+Wq75vlTAx9U72cXQ79+nomyqEmH+6iasiBvhY3dfXhzqlsy+t1\/XK2GtbVTFzVi0XVnb+4WK9oHtbq43X1csa\/3D1RzlcvZ7d938q6G6\/+f\/Z9K+pudv5ieXOJfb7uf3o5U0IJ4wR5Fvg275L2fNfP18vyggB+VzbL6j4utRH+RrsRHr3Q5oo\/i+hgACdD3a9Xe8CmT58M7kfDOFTLagvKH+gjlFngAp8MVie0KXORCyU0LXJmpT\/LxqQr3I272nccJkWC5I4U50SITT+fbUOnhKYysyPgG2nvfr6cMXaVcE1Ga+KHNiIIrUQQhchEJgr8y9JHWmgl8YN+lUEUMhOFLEQm6QFJj0pahH9oI4Ok78lCZjKTBf5l6SNND+CH5UdpjQLr0QO3G3xtgdwwyNoZEUzjhBX0sBNKWumElv62lSaTxhOGpCEghCVob1sZjNRBammEllYoaaSRWgTpRRBKeKGFE0o4oYUh+OigtAr9Hz2D37QMwkgnjOC9aS2N\/9FaCmvTE\/gLP43fPZ6z9Bx2tfQ01tEScBKkeDojVEsL6Aqpb1trpXaSF1N0DACjbltLK9IJ8HHBH0t8ib6NJfGLF1hAAy4F+PmJHE\/wic1t66XD8XEzQgEQHJB3B+B8WCVpQRM\/JXS5uB9vsYGVuYDQfdsSeeAPuCleUt+2GSNa8jGwgzD0G\/Y1fCTBSKPvEUr4aILvFwDetriAhAD6xaWNAbfBFvwVyxTAz8d7vgPaKqEzpvQCSKMLsiKn64tgB+HuPyY9iMETHkB0HhtY6aQnFsDV0rEdY+S2dVJbGYSPBGSZDCRdvMaF0H9zYWkl2hkXTd90tBaeYHwHOrrWdEBpcXu4CyI6mTE0WM0wwSfSjr\/j4kWI6KSnHNZOUBm6kUCbgHYjdwhGhMYh+b+ZdLdtUMJmwuOeHO1N1HPbZrw9Hem2lZlkno38ggNHnmGAADAAoM09Lo0W8KA5JXl9Le1tm5OkApHSvTlpI7HpxJf8KJBnk3QQxR3tyZyOTFyN3xjd4FDpZUH7KyecYTYFL0mdMWeAjSIDC3N3j7hJHY\/Ht2Wkdhu5wHJDR7xBrjDZZ\/FjyGDcHLBHjJ0LS8QlMhbDivfdCB9GoY3EzASuCNrgpGYcRBkFsD0TY8SWYU4gEpeZYIY1t22O9SxJZqIygGj5IaJ+PgoQJDWd0Qkjc5GBiUjg5kzLG2EDWa9ERtcnaQnCsCapI0M6MzDMAkPz4TMrDVYRTM8sGj2fV96JXI1j0BE97xhviJeK6wt7j28c31NEC6BmESw3229IkkSrjwSVRSYASukrBTaLkpVOhaUYp16ylFdR3mggDzqJF8H3XDqCiKyJ+8mAviReSImyYLbxm36DAv6vi\/qGwM8YWBIMRK8RiNvWRXHMpAzGSh9H0UcCL7AI4v3StXhDlOcgfyACWLdI7T1tF4VqUpuWLrYohI4im2ncSp0DGMPnIAaGRIysYSMNG5FJx6BJSzyZA8fE+krkG1xGoXUPUnsHMS6vgOAwd6yB3zZqLDILg+0TcURlk0FzFCJn2FQUdSGqSx1RTYzpISdzLb0VBT538e\/ujvWwXZTDwsrAMj3BntEN3rY2CO9YmvBxSNfRF1nXmyjQlfQS4hBsz8TPpwxRBKWzagABZSUZoAxUxwKVVIsTNt5NkaS68LCEbLSfTLSfNEwPG9ej\/UkgFHfsQieAeMGhcK\/8W9yeLtDTMZg7RTTLwNcmCgOXZAHJd5VkN\/1JRTRERonWhZGJxOxta5TIZTS8omHgmI2idGAW5d1dEnU2nZRxSeiHBRWZy4hoUbAlB8VjM2mziGi2V2wkOzYrYebdttIb4TT\/xtcGJWMUxFS8uagkjbBF1MqWRUJUDIqtDcnCg7kCPL3R6pq4QsVbMlZaF++N4HXE30wobKORlAaxE90y3qSjFVmURGpnicsMlkMcgGGJoU3CFGy3xA6ZzCPzRplEVw1QofzI1klMmtGDpGmLaDbaqI0Lpr54paR0vIhmn3DRiHQgHxX1tEmyk67RRXVv2EqM+icaioQcPjYYjMyz29bQ1bCxxqcKuKLAZtHGomZ+shGeRGAQgvSpZrY3cXW2H7R0EZVsUCniDjbCfZQH9Khgk4vO59j\/iLaQYyNgw8XgUhctTZUkcNTEUXsCKbAj6BjGQZ1HbbxxMGAEBWmzeI026kdocx1tasceEukCMkCxXQDGMj4Xnf621UpkERCzsZ90VA0+elowWxmbpJFAq9CRUbYYuWEyC33KkliCOaOWjjJBb7SviUrExsuKSAaKo0S3kTbsnT0Bc9xA9ARmbhmiBvXQs4wKy6avo2uN1pxjLRdtLiM21CbABiaLQlDfEWS0MpK21Iz34r4rA\/s1CiJhIqtHN+K21UboDKI2SiL2AkAqnv0NGBl682eRzHwbxbCJwCZ72EK6R38P5pISyeZgmuX7giiGTtTxHtkUZZ7ge\/XRKNMbA8yxtQIrPx5a3LNtSGeADB3LV9aLCUSV5CljjyUIizyWDlqzEyECM4nc8HryiBVJFJlFg85Eg481WoQn+go5HrSRdsFbgTSgivaC3TBVcj4NU3XOFyWY1VUSPVb4u\/jAhgLZ8jORFyDDIq75RDZqZpv8kcjbLGvvxRdYUERTKgYvdNQxBsiOTrCK9sTGCbj3oeRNs41trKP+3BhBSRrctkFkYgMMoza6aFHf3d0TITFnIxT3Ev14nahR8EmTtZXkhIkWCbNxUv36To+xNcdAJ+hYsBQij7gAIcFRwRcyNsjw\/aStCUSVi2CSawYfUDMhs8AywErS0houikmn2Nx9vMlcBhY5kPYFtJWTMRrElMPSDRKOloUPm0ffRTOwERiT9IA0TloOWjF7ULQs2o38V6OiBemwNAnhLJKojb6WjoTro0OiYV3bxNL8L2YKWkW6FAHYOB02xnI0ux+Qe2SWKqF9ipcQshRZ8tE6jEauSsEaCGWTaM8mKPGgg6ziq2Tb4L58jhIKkbxkn4N38hRrkJBb1gkd7tQwE0+UtiBWXwhTRGQyoRvW3tE9wW8ayzIvsOcBTvZRl+kYnUkBAYjj5B3i+zAdmLyDky7fiJhNLEwm0vbkPJkEHgFfxNvyBC1ZhIkYI9RRVkAycbCNTWKpdSG8j+rTRrdGR8+cdJEiQtKsr2OMkYNviCdZUIfD2aDqSB4QhcHLhPNM+A+4QdJWWNQ4oSk0qRCVCvFJZogsnhXGHBx7LfwmLqI5\/sg6ycKmcQigsVx2EPSMUVZJSujoyG18QPogS+Y3vIJ4+VGaF8KSN+JjCCZGfjlW9WAk+V2MJBfC6oY1KCJ+8szDp8\/P2NuM\/+Pf8LMQ9JUzmDoxuEAKWVKNrz\/zUqf\/clz5zJ9RhDl+SuafoG9ScwhZfPRfi79orK4kLZ1J2ivgpzvz5MnSiiAOfYbVzZmX6b+GHDh8w0qH\/5wh4qw8zEEljXYRMvqLxT3rM09fPvPAHOCUQdCv8Z+K\/sU\/b+8lK5CjuB4ny5ZDyq7UNxW9JrupV9VdJqZfr17OKI8xVOVidv7i+XVa54Hk23JVzt9TUqaaU5Hl+I\/XZVc1sz1P4Q\/yivfAwldu3zdW9aqpZuevq8uqW7x4fuXG0Kyb8UMNvjc7f9HU+\/4gV5RlT\/Wgou5EW15fVwsxr1domL2u+uumEtfVIN63\/\/k\/XzxvalrrgezVaIf31ceIxfnLWavvMLrqLy8pvzOn\/CQ+vHk5e6\/jLVwP1XJZLWI+6PxFvSdLdP7ieX2uzpT6x9\/+Tvf8YnldbiF63q+71dYt4rPfvNezcx1ePKdn7uevTj2ZOXQyc+zJ\/Jn\/x9\/+rosjz2Vm59o\/3bnsoXPZY8+li3\/87e\/WHXksOzvX2dMdyx06ljv2WNbRseyxZOgeJsPn6+YkVn5N5dnLJ71yVHzfQw9mKh+LoT90i3perqi+5dH3tx4uDkO5Hi7K7lgo\/40eEtVPq6pbLR8Pad29T6JheVXSM4t+dRj0ksdmLo+FPo7bfALAP5SrahhDTu+MPgz6XrhTFv9BwN9W5RMBvovxpu6qw3Bf9MMCHxyH8a\/5sSeB+wRCiU0YRwL9Cop9n7zZMUloGvRARUTn+wTbqnnoc9lQldx8vUzCbfdby+ryE6VJeHh2oEJmWa1ezlAtcocStR8bf7nqm0oMeLX4xPqbfavrB0ibm34esbB5YOHNHNhHrG0fWJv7cB6xsHtgYRoUe4+8onqL\/2FLNVrGv7KJ\/EPZvSdLlrQtV0STsXy974nl+mJ2\/mN\/LYynTqngxH\/+P2JZNdV8JUox9B\/Eqhfv6m4h6pUgLF1VZCgf9gVWVMn0YShT\/9RyPvRNk2qdEnqpOOrlDN\/9zaK+qZd136G7ij7Zs+A92cCVUncPjfjoE5a9uPgYMfORNiKknr9YDfRPsZz3RATzPs1onvfNy1lSp8t+WL2cdX1XHeRQ\/ubs\/BVvdI8qVlef2Okm\/tKt24SpezsvquW86hakkCbtfzM733FipsFxsVfALQcqGSa03lRiWd9WG+L+5GLvP3mo6eh8Pzt\/ReCI527rHM\/p+p6nq7zoFx\/pRsctg4v6hoY7r8qLultUP0Fishge+g8JItD9fdW9WpBCGWPhw9ikfkDbfL+uqIT7B4gaWma12EEDMwaJKutn59b68TcvymGz4ri68N17WV+Uw1ZxoVZKhGmlhYJkVzXcVF8tr6v56gdilc1dDMT8gACQkk8vGGEf8fNDvVhdoaR5Jq7otUwrTFIZqJiYIg6j5wEmVwq\/nNUXY9wds2qMYxxCpZudO\/4WqGIfGdjPSQdxFuRhwDVVz+tMf6GBGbUY\/bokYD4nCXxXra4qvLpoOYEMfKBgRvhCBjMXzsKvTQjUqPPZCOHebOQJhGBIHpgv8oCa785+dYlATTyfjRBGk+zPJtCCJqGgvwgF6hr99YUC9U5+NlrAywIOg12os3x2XnwRB9Se\/uuLg\/wzUsCe+deT6MHNzgv1hR5mNOnh16WG8DnNxe1puBP0Q25m57n5Qgozg5FFvy4x6M9pKdwb23wY+JCfZbPzUHwhhJlRvz4h0IjGz0YI9Fqmw1B7S1aCd18oYKY\/g9PgP6deeFVe9DyafwId6DM7O\/dfrEUKqJzZX10SfE46+P1wJr7vm49dtZyiFDwMRf\/FUCRS+NVtA\/05bYM4GesQ2J4IwH1JLtBQkc8QUdSfVRaUPPnvUIKpODOzc\/vFMqRY2tmv7i\/SPLnPZxds3mo3gQ7ys+ILHSQ6+NVlAY3N\/Gx0kOpaDtKAm53bLx4CrfoZ0gpPTwH2YFphSsEB2QTW\/v+KCuwDqz6KBuzs3B6ggeIzksCP\/ZTgsTUUJvhy\/VcvZ8VZ\/mvfv\/6cMoAmR64vy2YSEejZuTVfiGBWPNIUmEAE2ecUAuuunhQbMMUZFZ6pLyQwy399OeDcZ6SB+DqTCTSQkWtosi80MMsfaQ9OoAGbf0YauD8i\/hAVBEodfaECooJf3R74nAYhv2BgAgFQXc258V8IYJY9MmEwRRWozykGSnp30wQSoBftnBv3hQRm2a+uBz6nDPjmil9Sc\/j+yRL44hXS64SLp6SA57Ep5Tm6lna7we53Um21aXX9qqI3iqzWQ9mI35XD6kro32jVoj5I\/8arVvzz9fqiqedi0bdl3f0LpQc37U\/9u9Szda8FCu8q7z90S+qOoj+nNqpNpxA9V9P7m4eqFP883n5erz6K680Wy385E\/9lXQ6rOrVsVcv\/Q1wMVfkezwu63PpdPadWstVVvSRgzsTrsr2ohpUob+t2vboqG1H9dV02knY8E29pxLy4KAdBmBUlD\/2mF60P1b0znaERbbf5rL7eS4FptDsw\/f8B\"><figcaption class=\"nx-fk-cap\"><span>Urban demand centres and the hubs that anchor digital and data infrastructure.<\/span><span data-honesty=\"true\">Indicator derived from Natural Earth at map scale; a screening view, not an assessment.<\/span><\/figcaption><\/figure><div class=\"nx-live-slot nx-live-slot--map\" data-nxf-slot=\"map\" data-nxf-kind=\"map\" data-nxf-resource=\"nexus:\/\/gcri\/G09\/stem\/safety-critical-software\/#map\" data-nxf-title=\"Nexus Foundry live map\" data-nxf-height=\"560\" hidden><\/div><div class=\"nx-map-hud\"><span class=\"nx-eyebrow\">GCRI \u00b7 Nexus Foundry \u00b7 field<\/span><span class=\"nx-eyebrow nx-map-hud-right\">DESIGN FIGURE<\/span><\/div><\/div><\/div><\/div><\/div><\/section><section id=\"nx-sec-canvas\" class=\"nx-section\" data-hue=\"infrastructure\" data-tone=\"alt\" aria-labelledby=\"nx-s-6\"><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\">Canvas<\/span><\/div><h2 id=\"nx-s-6\" class=\"nx-section-title\">The method as a run graph.<\/h2><p class=\"nx-lede\">Data from the source register feeds the methods; calibration and an independent test gate the estimate and its limits; the decision stays with the competent authority.<\/p><\/div><div class=\"nx-section-body\"><div class=\"nx-plate\" data-wide=\"true\"><div class=\"nx-plate-label\"><span class=\"nx-eyebrow\"><strong>Method canvas<\/strong> \u00b7 Software and safety-critical systems engineering as applied here<\/span><span class=\"nx-eyebrow\">Design, not a record<\/span><\/div><div class=\"nx-figure-frame\" data-scene=\"true\"><svg class=\"nx-figure nx-ui nx-dag\" viewBox=\"0 0 1200 564\" data-nx-dag=\"true\" data-w=\"1200\" data-h=\"564\" role=\"img\" aria-labelledby=\"nx-dag-g09-stem-safety-critical-software-iso3100-t nx-dag-g09-stem-safety-critical-software-iso3100-d\" data-nx-z=\"xVzNcuO4EX4VFHPZrZgy8cO\/qpGrHFs7qxqPPGvJO5kjTcEyY4rUkpR\/5pRjzrnkDfIKuSdvsk+Swg8pUhJFUKS9h7GoEdHo\/tD40Gg0+WFO79OzDysvy2gSgWA+1KIXfe4t9IXh6mlGl3rq3dPsVfeTIAt8L9TT+D579hKqB2mMoWHo8zhLNfAczLOHoQYtDTzQYPGQiWsp+TYKsnSorVOaTFeeT6+j25RqZx\/8IPFDCvzQS9nPTNZ9QMO5BvyXoeZowH\/lH8lQMwa2dnr24VRKPPuw9JJHmhyns5ck8bMGngL6\/Jf4ZagZwAAOYB3R+78ONZtffBtqRAOim6\/CPCv\/\/rO00dJAnAQ0yoaat85iPc28JNMT+kQTbuDKyx425slu50PtM2BdXgEHEHDFO\/\/OrRPSezBOD4Mn+gdZKPtWMPNU+F9C\/Wwjw\/eiJ6\/kUsgwNk5lWkQDyQvT61Q2rL\/vPgjDobZOwh\/+dJRb\/1j0USi38iIa6kywBhisGnjlf\/cqYRlMQBhEJRd\/8IJETzXwAnm7F5Q3eoW8AXhFecOMvpR6XsZRDNZ6ED0i3jV0eN\/Y1MB9HGV6GnynQw0aA1MDrKXuRf5DnAw1PmIaCCmbOHq68vwgWrAJZRC61M6SdZSCUxDRl3Wq38fraJ68glMQpLHOgDDAKSjA8aL5BrkPp6ybbYCieE71zFuAtZ7d6XfefEG5usRwBohrjGABl4tKdOGIgcW1pueidfarEGoSKRTjQRUIZweHZTCfh3QfEJDhcDmajj9OwM3tJDdssdEgu9PA3Ms83fOzII6G2vc4XupBpIEkDulQu1tnWRxpIPPugmhOhWd4SeDpoXdHQ3E\/CCJtx9kfghU3xXXsARH4bNwJkUGJUNkPDCHS7Byu6w5sAQxp8o96XAyLAfPnHI\/ThQIm8TprBwprUI+KSQZOf6hY9gD2hMrv\/\/inKi73gTok7N56NAx3GwtsM3yOwQLZA7cnLH4az1SxWIXeqzIY\/OZaNBzTYn5QxYMQNouOwMOxHelp3fH4cnX+rQxIjQG2ueParnGkazsGHuCe1L86\/3Z9OwP\/\/Q+4utlP8oskXgsbsFgBoYM3a6BTWgIhlOu1c8gGLJcIIcu1Kxa4qusZRNwZb84\/j5rURkgsG7ZbqM0jhmPURljIcnEXtW\/G00\/gfDodTaefR5NZkwG26\/QHvGM4fSA\/uxmdz1SUz9FHjl0iMtQNfmzALsqfX9xcT6dg9vMIfLm5vhhNp01WuG6Pvs8irT7G4OP1r6ObyfnkopgC1QCdzhcUiI88TGf0nGZ0xUIv8e0+iZdDzc9e5PcsHmrBnO\/mHq5otOCWygAfug5AxAIXAGHEr5BhAEgQQJiwz3xDodNofmwwvtlW8JB81yT9Pix2Vs0anbZCxa6gwnAoQPGi\/aBgV3R4AQjiXQLsIv5JkPWHgNKsUTtQoFFBhQFRoEKf9qNiOkjqYEHeJzAdoYsFnT8ElWaNDqIS8X1IGRVUQYUBUaCSJftRsW0idXAM3iewbYu7rQMN9tkbKhyQUnBGeZjVxoBtMhQS9LuFWJNsvgnjlGgPKjFqmRVx0z5PSs3kQocGOTPyeE9lj3eWJdTLyiHY7iBW7SYVu9lYFXYnNQPnWpbkGb5NZpeuJagHGgbqf+gabHDqTVgqmADFJbYtgE2D0wI2jfd0vsMGHPY9y3Lz7bMLS75n4gE62vcs15K+hw1D2fcSmgbztRe2cL\/qrFuWLeercB2bsoG6ABYWV7pwPoLemzUa1D88csg18i1+ZeQIKu\/kWo4chuiokWP50hbjthUw+QrxEoYIYAjBBb\/iM670CR34ngN3WP+GcXMcmUxB2C2PWyUjcfS4IeIoj5sfR+k67MD3lXUuaV6oHbFQs8+3o\/uGlfqwBYfHzrGsgbNnpe405xzHOWKl9nyfrrKa9BHL+OaJ33kc7SdN9mt5tyKTR1M\/XtET4McRE30CGOQ0Cbwcp9cVHWrsMqWbIM7L6FC7vJ6M5P8s4VDzViuaBRkFmxuXaKh9SeK\/MYjj54jmjMc3h0Ptp8RbUuUsV52iJ0BqdwK47Xsz7Xfxi8idyB21sdlRQ7OUSrKd7WOTqpwH6s2VBCGrpaBSur8iCKIaCYHP4HoZaqZkAljaX5fdk5TcszrfuZxF+Lp60ECWeFF6Hyc8pPCiNPQy+oNpnCCIfxQzGwMyMH1DhwDpcGACwv6mBLBLAAfmk+kbAOqIXev8f1Kd6Oya3fj9MwY2uwHwG0STlP0uBO1OntSLUrH3h2CtP1ts588iXWkuIltHGZBJOdt1k9\/\/\/u983hxOLuRAErdhUjYkFy7PZ+fT0aypU1Tp1FJJi52VJ1k7o2xLRX5lth4+uRL5GBE4ctRKOxmrsraZ7U+soA3zpLVZzVc5LY+rridFimf7GH0Vs1H05ST0uREWP0XHwh\/rG0DX2duiDTHjCjEXCRNJd+M5jbLg\/rXCw5mXPh4k4cx7iaN4+Voi4DReJz5NQXwPkqBoLin4JkgfgZemNE2XNFI\/f8m1OwFMJRXmRVjsO6CBO1JvoyRl7i0kQftY8kWSv6Hh9s6+iKATaLgF\/eIH58n5GX9XpkpkSeWQsZcr81FUY5LCVGJ248fZ+fSTGjkWXZquCnvl3t\/SHpZSbxa+NY8UyBETU5IjxFaP5IgtLMkREvvtyZHPEj+3QoUdNy2Io9YCs0MC0QIdy6d2hU+LVKtkrPPIC19TWqHTZTwvbRf28WkYPNIweIjjOfjfv1hQkdLf1jTyaYlgWaiRxGHaD7NKPU8AV04tprV6YtZGSS2iWqsrs5KC5vtnVoJJhVkhDLFuAgQwwLqlzK\/EJAf5VY6lGh0V9nal18\/Xl6MrNX4t+lTj19rZ0NJCNcLN55UC05rYfhOmNU3zPZmWz5o9LFjfwnRQW95ceFnNGZUgziJFIglp9OSF600bwZwVIZw4P57PKtmAhRdEabadTmB8KVIZIE4AP37ohzZzLU\/Aovh7mDYtWRnYnTYbJSnTZiHpeNq0Cg7vnzYtZJVo0wYoNIGp83+6qR6WWsQ6SJv5WKqxSmFwV95kHqxGm0WXarS5PRda2qXGlluzSoE0beS+CWnaxO6HNMsDUk+BfM60Ik3bbhvQblpUA9oDNLtbClBNxBbndpLAZiUurNvs39xOJuPJxxLNxitWL5iW2DU\/Vtuz2eddtGJV3iLf4yfrKAqixWFWdaDRU4a1UZIyqxaSjs+xOpKY3yLJ6kCnkmVtvc13sHMwJTorE0JDiVtuZ9ccqPoev+hSLQMqPb6lOWrZz8rcUWBQ10B5lrKU\/TTNyunQEQzqYkNWqXbMfkrCqCNRtmZEGVhLsuIPE7k8tyBSmzYb9UTqXs+OfH4ppk+B+Cj16FpFf0aX1qZqAPzbmq7pfG9JhaDm5RY1f46jIIsT4EVzIM6+G3j6l9vR7eiyRNOfbsZpJQJO4jQFXhgC1v9W5uBc\/Jo9ULBKYp+mqTJf72qak7c0WimRgCHsKZFQK6l1IgEjs2siAZeD6h4TCRjax3N3nkLAyNnL3bsj2m6vjU38XkRedGmplOaesTnR0hZWNawSCVdnl0r+AJHiqQayOeZ3K0VRx+QPSF5uhU2zC5ELRmmRQeA1aa0yCFst2hGoWS0y8KsEehEvl+so8PnOXFahtKXQNPMe6UMczmnyLlS6T+c2ZIoK1oE9nXd1J9NC0vFkmh+avAWZsvOuTmSan3fVkenumCrXBhR2vx+fFl2q8Wl5grS06c14FWP0JryKTft9ebU4n1JnyTn1gzSIo\/3laIIok61I84b6cTKXi73ovVyFtS2RM+X57ezn65vx7FuJLO9iL5mXWHIc+QE7662Gr5IkP8ZPNIk8fqilSI47ep6AXLkT4K2zhzgJstfDBMmqAXtKFTSLUqbIjajjkwXQgG9XksWEl9IFCNgP0GC52CdoKBMlNPDhKqqdAVZjlI3lnWuoRhfj6fh6okaVm37Vkgh8frQ1SS2HsDXVVGqoDAftKaKy7M5FVBBaee1xtzxCwTHNTCkmkOJ+fqfJwU38MoiCpbfS9r5sQkIpt4tOae6WHqohpPSkcFXIcrmnukBMlbwIGPHETi6XPxdeCBZyYRu5piOfLIfmwO1RrgPz+uIe5IqDPu5MBpbO1IdckcHhclFeJdMHvvnepIoEJt01rkguxq4PyZt1neNB7I54iCVe+G5esrWRg0uswn5mclA+21q8hIUg+RYWdnFaPyeRCNQI2sxJu\/z2F4jKr6o5TMZYzG5CrK01S3lxITItCmbjz6Or8WTEnt+\/nozAzejX8egruPh2cVUcOu2iIbCA7DiIo8EuOBgsQmBgmETBDGgLQiEWOXaVFK8g+AU2qYpNY8D2D0zb\/Lq9wtgkomUfOqMmnU1kDzAWOufX7XU2MRQt+9AZN+lsG9Il+EV7bW2jL5cganFNPpW29n51\/e2pqw9Km+fq5M8Sz3+Uni5nv01KzxqW3\/1UCmu2hIT6nZfsrm82kaReluk47MBkn1A1FFxjoFY9sFMz22i5wyPsXmxHFpLnQlWpHa03t14JUWv7vpyYMg5uRxRK628JB7c\/FPjORwmHrbq+JtNNw+zNBRiH23ukdjUeITXT688jGlGAVm8OUEKhJLUrBhipOsB2hVKj7cjq6gFFIE7EY6Q7UttbDyvWE7XEZrWaoNFwbHczu9gn8EBgR2a90ZWs3HM1CZe\/bOtFz1XNvz9LNWWO7pndQGxzQAzHdaBr2sRGjqVtxwERf5cGn6JQNoAiHMivRUSAKhFB1W5xGC8PBW3RiIW65ceqdh86RYcGWI+jithcFybWHXRKnE6uv9a\/umsT\/NvyZVXl6J9U7GgR\/dsm6iX8H0+mX0YXs+sbFvtPR1eji9noEkyuL2vK\/3aTaPxbqmdBFtKqataWaqhc0Mj6WygXNhYynaNDQj5U118no5tKl9y7gygdavKp3EIHZtUT2FOkIx8j3NalzWOEita6bidrx5Mvt7NpjblBtFqz1\/Cq2+uqVXiKgGDOC4fSdgabsOPw3s4OWByvs5Ymb+tT96wVWwZYuWn1yXRFm1G3QR79Or4clV7etWU0fWIpWHaeoW41UhrovIQXsNcJ8HPle\/YQe0vrSbcRv51cXV98qhvxdRTG\/mOrESdKIy6LQcXRgOz8\/w==\"><title id=\"nx-dag-g09-stem-safety-critical-software-iso3100-t\">Software and safety-critical systems engineering in Nexus Foundry: the risk management process, scope to review<\/title><desc id=\"nx-dag-g09-stem-safety-critical-software-iso3100-d\">Scope, context and criteria set the frame; risks are identified, analysed and evaluated against criteria; treatment follows; monitoring and review and communication run across every step, and the process is recorded and reported. Design of the process, not a record of a run.<\/desc><\/svg><\/div><\/div><p class=\"nx-caption\"><strong>Fig. 01<\/strong><span>Nodes carry their type, metrics and state; connectors show what feeds what; the gates are the validation steps; the timeline is one application. Design of the method's use, not a record of a run.<\/span><\/p><\/div><\/div><\/section><section id=\"nx-sec-data\" class=\"nx-section\" data-hue=\"project\" data-tone=\"alt\" 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\">06<\/span><span class=\"nx-rule\" aria-hidden=\"true\"><\/span><span class=\"nx-eyebrow\">Data<\/span><\/div><h2 id=\"nx-s-7\" class=\"nx-section-title\">What the method consumes.<\/h2><p class=\"nx-lede\">Datasets and records used by software and safety-critical systems 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-sec-checks\" class=\"nx-section\" data-hue=\"infrastructure\" data-tone=\"alt\" aria-labelledby=\"nx-s-8\"><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\">Validation<\/span><\/div><h2 id=\"nx-s-8\" 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=\"project\" data-tone=\"alt\" data-variant=\"split\" aria-labelledby=\"nx-s-9\"><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\">Connections<\/span><\/div><h2 id=\"nx-s-9\" 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\" fill=\"none\" stroke=\"currentColor\" stroke-width=\"1.5\" stroke-linecap=\"round\" stroke-linejoin=\"round\"><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\" fill=\"none\" stroke=\"currentColor\" stroke-width=\"1.5\" stroke-linecap=\"round\" stroke-linejoin=\"round\"><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\" fill=\"none\" stroke=\"currentColor\" stroke-width=\"1.5\" stroke-linecap=\"round\" stroke-linejoin=\"round\"><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\" fill=\"none\" stroke=\"currentColor\" stroke-width=\"1.5\" stroke-linecap=\"round\" stroke-linejoin=\"round\"><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\" fill=\"none\" stroke=\"currentColor\" stroke-width=\"1.5\" stroke-linecap=\"round\" stroke-linejoin=\"round\"><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 and billing<\/span><svg class=\"nx-arrow\" viewBox=\"0 0 16 16\" aria-hidden=\"true\" fill=\"none\" stroke=\"currentColor\" stroke-width=\"1.5\" stroke-linecap=\"round\" stroke-linejoin=\"round\"><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=\"infrastructure\" data-tone=\"alt\" data-variant=\"split\" aria-labelledby=\"nx-s-10\"><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\">Stewardship<\/span><\/div><h2 id=\"nx-s-10\" 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 systems 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-11-sec\" class=\"nx-section\" data-hue=\"project\" data-tone=\"alt\" aria-labelledby=\"nx-s-11\"><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\">Connected<\/span><\/div><h2 id=\"nx-s-11\" 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\/stem\/engineering\/safety-critical-software\/\"><span class=\"nx-dest-top\"><span class=\"nx-dest-rel\">Canonical method page<\/span><span class=\"nx-dest-host\">GCRI<\/span><\/span><span class=\"nx-dest-title\">Software and safety-critical systems engineering<\/span><span class=\"nx-dest-why\">Platform application links to the canonical method page.<\/span><span class=\"nx-dest-go\" aria-hidden=\"true\"><svg class=\"nx-arrow\" viewBox=\"0 0 16 16\" aria-hidden=\"true\" fill=\"none\" stroke=\"currentColor\" stroke-width=\"1.5\" stroke-linecap=\"round\" stroke-linejoin=\"round\"><path d=\"M3 8h10M9 4l4 4-4 4\"\/><\/svg><\/span><\/a><\/li><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\" fill=\"none\" stroke=\"currentColor\" stroke-width=\"1.5\" stroke-linecap=\"round\" stroke-linejoin=\"round\"><path d=\"M3 8h10M9 4l4 4-4 4\"\/><\/svg><\/span><\/a><\/li><\/ul><\/div><\/div><\/section><section id=\"nx-s-12-sec\" class=\"nx-section\" data-hue=\"infrastructure\" aria-labelledby=\"nx-s-12\"><div class=\"nx-container\"><div class=\"nx-section-head\"><div class=\"nx-eyebrow-row\"><span class=\"nx-eyebrow\">11<\/span><span class=\"nx-rule\" aria-hidden=\"true\"><\/span><span class=\"nx-eyebrow\">Questions<\/span><\/div><h2 id=\"nx-s-12\" 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'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 class=\"nx-section\" data-tone=\"alt\" aria-labelledby=\"nx-rel-13\"><div class=\"nx-container\"><span class=\"nx-eyebrow\">Related<\/span><h2 id=\"nx-rel-13\" class=\"nx-h3 nx-mt-2\">Around Nexus Foundry.<\/h2><nav class=\"nx-related nx-mt-3\" aria-label=\"Related\"><a href=\"https:\/\/therisk.global\/nexus-foundry\/stem\/computing\/\">High-performance, cloud and edge computing <svg class=\"nx-arrow\" viewBox=\"0 0 16 16\" aria-hidden=\"true\" fill=\"none\" stroke=\"currentColor\" stroke-width=\"1.5\" stroke-linecap=\"round\" stroke-linejoin=\"round\"><path d=\"M3 8h10M9 4l4 4-4 4\"\/><\/svg><\/a><a href=\"https:\/\/therisk.global\/nexus-foundry\/stem\/data-engineering\/\">Data engineering at Nexus Foundry <svg class=\"nx-arrow\" viewBox=\"0 0 16 16\" aria-hidden=\"true\" fill=\"none\" stroke=\"currentColor\" stroke-width=\"1.5\" stroke-linecap=\"round\" stroke-linejoin=\"round\"><path d=\"M3 8h10M9 4l4 4-4 4\"\/><\/svg><\/a><a href=\"https:\/\/therisk.global\/nexus-foundry\/stem\/geospatial\/\">Geospatial infrastructure at Nexus Foundry <svg class=\"nx-arrow\" viewBox=\"0 0 16 16\" aria-hidden=\"true\" fill=\"none\" stroke=\"currentColor\" stroke-width=\"1.5\" stroke-linecap=\"round\" stroke-linejoin=\"round\"><path d=\"M3 8h10M9 4l4 4-4 4\"\/><\/svg><\/a><a href=\"https:\/\/therisk.global\/nexus-foundry\/stem\/ai-ml\/\">AI and machine learning at Nexus Foundry <svg class=\"nx-arrow\" viewBox=\"0 0 16 16\" aria-hidden=\"true\" fill=\"none\" stroke=\"currentColor\" stroke-width=\"1.5\" stroke-linecap=\"round\" stroke-linejoin=\"round\"><path d=\"M3 8h10M9 4l4 4-4 4\"\/><\/svg><\/a><a href=\"https:\/\/therisk.global\/nexus-foundry\/stem\/systems-engineering\/\">Systems engineering at Nexus Foundry <svg class=\"nx-arrow\" viewBox=\"0 0 16 16\" aria-hidden=\"true\" fill=\"none\" stroke=\"currentColor\" stroke-width=\"1.5\" stroke-linecap=\"round\" stroke-linejoin=\"round\"><path d=\"M3 8h10M9 4l4 4-4 4\"\/><\/svg><\/a><a href=\"https:\/\/therisk.global\/nexus-foundry\/\">Nexus Foundry home <svg class=\"nx-arrow\" viewBox=\"0 0 16 16\" aria-hidden=\"true\" fill=\"none\" stroke=\"currentColor\" stroke-width=\"1.5\" stroke-linecap=\"round\" stroke-linejoin=\"round\"><path d=\"M3 8h10M9 4l4 4-4 4\"\/><\/svg><\/a><a href=\"https:\/\/therisk.global\/nexus-foundry\/counterparts\/\">Counterparts across the Consortium <svg class=\"nx-arrow\" viewBox=\"0 0 16 16\" aria-hidden=\"true\" fill=\"none\" stroke=\"currentColor\" stroke-width=\"1.5\" stroke-linecap=\"round\" stroke-linejoin=\"round\"><path d=\"M3 8h10M9 4l4 4-4 4\"\/><\/svg><\/a><a href=\"https:\/\/therisk.global\/\">The Global Centre for Risk and Innovation home <svg class=\"nx-arrow\" viewBox=\"0 0 16 16\" aria-hidden=\"true\" fill=\"none\" stroke=\"currentColor\" stroke-width=\"1.5\" stroke-linecap=\"round\" stroke-linejoin=\"round\"><path d=\"M3 8h10M9 4l4 4-4 4\"\/><\/svg><\/a><a href=\"https:\/\/therisk.global\/trust\/\">GCRI governance and trust <svg class=\"nx-arrow\" viewBox=\"0 0 16 16\" aria-hidden=\"true\" fill=\"none\" stroke=\"currentColor\" stroke-width=\"1.5\" stroke-linecap=\"round\" stroke-linejoin=\"round\"><path d=\"M3 8h10M9 4l4 4-4 4\"\/><\/svg><\/a><\/nav><\/div><\/section><section class=\"nx-closing\" aria-labelledby=\"nx-close-14\"><div class=\"nx-container\"><span class=\"nx-eyebrow\">Nexus Foundry<\/span><h2 id=\"nx-close-14\" class=\"nx-section-title\">Bring your expertise to this field.<\/h2><p class=\"nx-lede\">The current service level is R0: information and enquiries. 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=\"mailto:contact@therisk.global?subject=Nexus%20Foundry%3A%20Safety-critical%20software%20engineering\">Write to the team <svg class=\"nx-arrow\" viewBox=\"0 0 16 16\" aria-hidden=\"true\" fill=\"none\" stroke=\"currentColor\" stroke-width=\"1.5\" stroke-linecap=\"round\" stroke-linejoin=\"round\"><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><\/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\":\"DefinedTermSet\",\"@id\":\"https:\/\/therisk.global\/nexus-foundry\/stem\/safety-critical-software\/#terms\",\"name\":\"Key terms: Safety-critical software engineering\",\"inLanguage\":\"en\",\"isPartOf\":{\"@id\":\"https:\/\/therisk.global\/nexus-foundry\/stem\/safety-critical-software\/#webpage\"},\"hasDefinedTerm\":[{\"@type\":\"DefinedTerm\",\"name\":\"Assurance case\",\"description\":\"A structured argument, backed by evidence, that a system is acceptably safe or secure for a given use.\",\"inDefinedTermSet\":{\"@id\":\"https:\/\/therisk.global\/nexus-foundry\/stem\/safety-critical-software\/#terms\"}},{\"@type\":\"DefinedTerm\",\"name\":\"Mutation testing\",\"description\":\"Introducing small faults into code to check that the test suite detects them.\",\"inDefinedTermSet\":{\"@id\":\"https:\/\/therisk.global\/nexus-foundry\/stem\/safety-critical-software\/#terms\"}},{\"@type\":\"DefinedTerm\",\"name\":\"Policy gate\",\"description\":\"An enforcement point that checks each request against declared rules before it proceeds.\",\"inDefinedTermSet\":{\"@id\":\"https:\/\/therisk.global\/nexus-foundry\/stem\/safety-critical-software\/#terms\"}}]},{\"@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\"},\"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:9d549000743dd99f -->","protected":false},"excerpt":{"rendered":"<p>LightDarkAuto G09 \u00b7 METHOD \u00b7 safety-critical-softwareGCRI dossier \u00b7 service level R0 GCRI\u00b7Nexus Foundry\u00b7Established Method page \u00b7 Software and safety-critical systems engineering Safety-critical software engineering Software and safety-critical systems engineering applies &hellip; <a href=\"https:\/\/therisk.global\/nexus-foundry\/stem\/safety-critical-software\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;Safety-critical software engineering&#8221;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":158,"menu_order":1134,"comment_status":"closed","ping_status":"closed","template":"elementor_header_footer","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":"","inline_featured_image":false,"footnotes":""},"class_list":["post-169","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/therisk.global\/nexus-foundry\/wp-json\/wp\/v2\/pages\/169","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\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/therisk.global\/nexus-foundry\/wp-json\/wp\/v2\/comments?post=169"}],"version-history":[{"count":2,"href":"https:\/\/therisk.global\/nexus-foundry\/wp-json\/wp\/v2\/pages\/169\/revisions"}],"predecessor-version":[{"id":304,"href":"https:\/\/therisk.global\/nexus-foundry\/wp-json\/wp\/v2\/pages\/169\/revisions\/304"}],"up":[{"embeddable":true,"href":"https:\/\/therisk.global\/nexus-foundry\/wp-json\/wp\/v2\/pages\/158"}],"wp:attachment":[{"href":"https:\/\/therisk.global\/nexus-foundry\/wp-json\/wp\/v2\/media?parent=169"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}