<mxfile host="app.diagrams.net" agent="architecture-diagram" version="24.0.0">
  <diagram name="Leader Election — Split Brain and the Fencing Token That Stops It" id="30-leader-election-and-fencing">
    <mxGraphModel dx="1400" dy="900" grid="1" gridSize="10" guides="1" tooltips="1" connect="1" arrows="1" fold="1" page="1" pageScale="1" pageWidth="1700" pageHeight="860" math="0" shadow="0">
      <root>
        <mxCell id="0" />
        <mxCell id="1" parent="0" />
        <mxCell id="n.le_a" value="&lt;b&gt;Scheduler A&lt;/b&gt;" style="shape=umlLifeline;perimeter=lifelinePerimeter;whiteSpace=wrap;html=1;container=0;collapsible=0;recursiveResize=0;outlineConnect=0;size=58;rounded=1;arcSize=8;fillColor=#dae8fc;strokeColor=#6c8ebf;fontColor=#1a2b45;fontSize=12;fontFamily=Segoe UI;verticalAlign=top;spacingTop=9;spacingLeft=38;" vertex="1" parent="1">
          <mxGeometry x="60" y="80" width="240" height="660" as="geometry" />
        </mxCell>
        <mxCell id="_ico1" value="" style="shape=image;html=1;imageAspect=1;aspect=fixed;movable=0;resizable=0;rotatable=0;connectable=0;editable=0;deletable=0;noLabel=1;image=data:image/png,iVBORw0KGgoAAAANSUhEUgAAADAAAAAwCAYAAABXAvmHAAAABmJLR0QA/wD/AP+gvaeTAAACzUlEQVRoge3YT4iVVRjH8c8UTZk2zriIqMmNMDYjRoITDIQhNNkupIUwROZGhEQJ0UUtIpJIGojAXctwYyiutM3YbGyRLlw6OStbREF/ZEinGrwtztx85+W9r/eee973jjBfeOCec+59nt/vfd97znkPa/SWvoryrsMQnlhu/4k/0EhdKJWBcUxiF8bwfMF37uBHXMN3uCSY6hkDOIE54cp2Gov4Bq/ULbwfH7j/SKSIWeyoQ/w4biQUno0lTAsXqBIO4++KxGfjBwynFN6Hz2oQno1bGE1l4FTN4pvxK0a6FX84svhZvIHXluMdcX/6eWE9iWJc/DP/TEG+05G5LihZrx5p0f84vhY/I9wt6PsrMteb2N9qsJWBY9gaWbAKTmGwaKDIwACOVyqnc57G0aKBIgOHtHDbY45gfb6zyMCB6rVEsQl78515A+N4oRY5cUzlO/IGJmsSEsurwgz5P3kDu+rTEsWT2JntyBvYVp+WaMayjayBdXiuXi1RrNgfZQ0Mqe4dOSWbso2sgQ0VFy7aXsTwVLaRNfBvogIU38mT+BT3usz9T7aRNbDQZeIsRW9US/gQr+PnLnKv0Jk18Ltw9JGC90rGZvASvo3M/VPZ4HXp3qg+waMltfrwRUTet8oMfJXQQAOX8WxJvR0ROTeXGZhKbKCBX7CnRb0zHeaaLxNPWAsWKzBxD19a+Yb3fkSezx9kgHDcl9pAM65gAgeFabvT37/YjoGJCg10EzPtiG8yuwoE52N3Jwa2i7vFVcW5TsQ3mV4FwhvCgVjp1NmKx/D9KjBQunA9iGHhoLVX4j/uRnyTUWHzVbf40ynEN9kirIIP1ZXPs1E4da5S+G3sq0J8kz68K+xvUos/L3K2iWEQH+G3BMIv63CRSsl6vI2LwvF5u6JvCutMW3ubMlKeQvTjZeHcZkS4SwPCir4gTMdzuLr8eY01VgP/ATwx9n2kRqjjAAAAAElFTkSuQmCC;" vertex="1" parent="n.le_a">
          <mxGeometry x="9" y="17" width="24" height="24" as="geometry" />
        </mxCell>
        <mxCell id="n.le_b" value="&lt;b&gt;Scheduler B&lt;/b&gt;" style="shape=umlLifeline;perimeter=lifelinePerimeter;whiteSpace=wrap;html=1;container=0;collapsible=0;recursiveResize=0;outlineConnect=0;size=58;rounded=1;arcSize=8;fillColor=#dae8fc;strokeColor=#6c8ebf;fontColor=#1a2b45;fontSize=12;fontFamily=Segoe UI;verticalAlign=top;spacingTop=9;spacingLeft=38;" vertex="1" parent="1">
          <mxGeometry x="330" y="80" width="240" height="660" as="geometry" />
        </mxCell>
        <mxCell id="_ico2" value="" style="shape=image;html=1;imageAspect=1;aspect=fixed;movable=0;resizable=0;rotatable=0;connectable=0;editable=0;deletable=0;noLabel=1;image=data:image/png,iVBORw0KGgoAAAANSUhEUgAAADAAAAAwCAYAAABXAvmHAAAABmJLR0QA/wD/AP+gvaeTAAACzUlEQVRoge3YT4iVVRjH8c8UTZk2zriIqMmNMDYjRoITDIQhNNkupIUwROZGhEQJ0UUtIpJIGojAXctwYyiutM3YbGyRLlw6OStbREF/ZEinGrwtztx85+W9r/eee973jjBfeOCec+59nt/vfd97znkPa/SWvoryrsMQnlhu/4k/0EhdKJWBcUxiF8bwfMF37uBHXMN3uCSY6hkDOIE54cp2Gov4Bq/ULbwfH7j/SKSIWeyoQ/w4biQUno0lTAsXqBIO4++KxGfjBwynFN6Hz2oQno1bGE1l4FTN4pvxK0a6FX84svhZvIHXluMdcX/6eWE9iWJc/DP/TEG+05G5LihZrx5p0f84vhY/I9wt6PsrMteb2N9qsJWBY9gaWbAKTmGwaKDIwACOVyqnc57G0aKBIgOHtHDbY45gfb6zyMCB6rVEsQl78515A+N4oRY5cUzlO/IGJmsSEsurwgz5P3kDu+rTEsWT2JntyBvYVp+WaMayjayBdXiuXi1RrNgfZQ0Mqe4dOSWbso2sgQ0VFy7aXsTwVLaRNfBvogIU38mT+BT3usz9T7aRNbDQZeIsRW9US/gQr+PnLnKv0Jk18Ltw9JGC90rGZvASvo3M/VPZ4HXp3qg+waMltfrwRUTet8oMfJXQQAOX8WxJvR0ROTeXGZhKbKCBX7CnRb0zHeaaLxNPWAsWKzBxD19a+Yb3fkSezx9kgHDcl9pAM65gAgeFabvT37/YjoGJCg10EzPtiG8yuwoE52N3Jwa2i7vFVcW5TsQ3mV4FwhvCgVjp1NmKx/D9KjBQunA9iGHhoLVX4j/uRnyTUWHzVbf40ynEN9kirIIP1ZXPs1E4da5S+G3sq0J8kz68K+xvUos/L3K2iWEQH+G3BMIv63CRSsl6vI2LwvF5u6JvCutMW3ubMlKeQvTjZeHcZkS4SwPCir4gTMdzuLr8eY01VgP/ATwx9n2kRqjjAAAAAElFTkSuQmCC;" vertex="1" parent="n.le_b">
          <mxGeometry x="9" y="17" width="24" height="24" as="geometry" />
        </mxCell>
        <mxCell id="n.le_l" value="&lt;b&gt;Lease document (Cosmos)&lt;/b&gt;" style="shape=umlLifeline;perimeter=lifelinePerimeter;whiteSpace=wrap;html=1;container=0;collapsible=0;recursiveResize=0;outlineConnect=0;size=58;rounded=1;arcSize=8;fillColor=#d5e8d4;strokeColor=#82b366;fontColor=#1e3a1e;fontSize=12;fontFamily=Segoe UI;verticalAlign=top;spacingTop=9;spacingLeft=38;" vertex="1" parent="1">
          <mxGeometry x="600" y="80" width="240" height="660" as="geometry" />
        </mxCell>
        <mxCell id="_ico3" value="" style="shape=image;html=1;imageAspect=1;aspect=fixed;movable=0;resizable=0;rotatable=0;connectable=0;editable=0;deletable=0;noLabel=1;image=data:image/png,iVBORw0KGgoAAAANSUhEUgAAADAAAAAwCAYAAABXAvmHAAAABmJLR0QA/wD/AP+gvaeTAAADIUlEQVRoge3aTWwVVRjG8V9LkW+kwYDY6kLxC5QNJEIMECEGNSa6MCaGHStXrtyqxI0xJLCCDTGBBRuCiSQuTIgxhAUsABP5SAQlCFhlYaB82AqNdfFO06E9U+5M7+29rf0nbyY9M3Pmee85M/Ocd8o0zaVtHOfOwoosuvBEFp2YjTnZMf9kx9/AAK7jGv7ErziHK1VFlEmgE5vwOtbjOXRUvfAIbuI0vscRnMK/9ei4TQg+KH7JwQmKK/hMjGxlVuCHCRSdir/xqZiKpXgFt5osPh9HxH01ihkFbSfwWNmsG8jT6MexkTvaEwcvFU+TVmN1qjGVQKqtFUjqalWxNTMlE7gt7vxWo7fMwV9p/qMzH31YWyaBDuxrAeGD+AtvlRGfZzOON0n4HezG4qri86zCTpxvsOi7+A4fYmFVsV3Yj2UF+7vxAb7At7ikmtG7IVznfnyM1xTYBbyNHakdKTvdjavixjmAPfixoOM8S8RbfEnW76Jc//1Zf/1iHfB79vdYzMF7+AhrcBjv1qBDt9G/1gV8iS1YUEsnFVmObTgkplNewzepE8YagSIGREIXcBG/ZNurYmHSl108da1FmCsWR89msTzbvihGsIjkCFRZUXUYXkqORa9IZpaYDkXze1zUa0mY4tEsGsqU9EKTilQCdakGNICkrlQC19HTWC2VOF3m4LWGbXUrROGifixewtEmC+/D9irih2jDG/ga9yZQ+DV8jieriF6A5xPti/E+9uJn8Uaul+BbYrQ/wTqjyz3tCqoSRVbikjBxu/BbQaJzxdt4ZXbO49l2vmEj1+lBI3dXPCT+EA+Ky/gp2w4mrtGON0WZsUcFMzcgTNRWE/BWzfGyKClezGlJmrmHWYkZeCeL+zgpqmMnDRu5O+MU2yXM3At4FRvwVK0nl/FCM8X8XDeivUckc1lMlV4xVfrE3J4pptVCYermibLlM8KJziuhYRT1MHNDHzY21qGv0kxJLzSpmJIJTJcWGxDTpcVmCP9/lBarfKnvFh+6VwnPMvSl/pGS/dwUpvEszogy43Fh+mpmPP9qMJJ6lxanmRT8B1M0bJ9FjBNdAAAAAElFTkSuQmCC;" vertex="1" parent="n.le_l">
          <mxGeometry x="9" y="17" width="24" height="24" as="geometry" />
        </mxCell>
        <mxCell id="n.le_s" value="&lt;b&gt;Schedule store&lt;/b&gt;" style="shape=umlLifeline;perimeter=lifelinePerimeter;whiteSpace=wrap;html=1;container=0;collapsible=0;recursiveResize=0;outlineConnect=0;size=58;rounded=1;arcSize=8;fillColor=#d5e8d4;strokeColor=#82b366;fontColor=#1e3a1e;fontSize=12;fontFamily=Segoe UI;verticalAlign=top;spacingTop=9;spacingLeft=38;" vertex="1" parent="1">
          <mxGeometry x="870" y="80" width="240" height="660" as="geometry" />
        </mxCell>
        <mxCell id="_ico4" value="" style="shape=image;html=1;imageAspect=1;aspect=fixed;movable=0;resizable=0;rotatable=0;connectable=0;editable=0;deletable=0;noLabel=1;image=data:image/png,iVBORw0KGgoAAAANSUhEUgAAADAAAAAwCAYAAABXAvmHAAAABmJLR0QA/wD/AP+gvaeTAAADIUlEQVRoge3aTWwVVRjG8V9LkW+kwYDY6kLxC5QNJEIMECEGNSa6MCaGHStXrtyqxI0xJLCCDTGBBRuCiSQuTIgxhAUsABP5SAQlCFhlYaB82AqNdfFO06E9U+5M7+29rf0nbyY9M3Pmee85M/Ocd8o0zaVtHOfOwoosuvBEFp2YjTnZMf9kx9/AAK7jGv7ErziHK1VFlEmgE5vwOtbjOXRUvfAIbuI0vscRnMK/9ei4TQg+KH7JwQmKK/hMjGxlVuCHCRSdir/xqZiKpXgFt5osPh9HxH01ihkFbSfwWNmsG8jT6MexkTvaEwcvFU+TVmN1qjGVQKqtFUjqalWxNTMlE7gt7vxWo7fMwV9p/qMzH31YWyaBDuxrAeGD+AtvlRGfZzOON0n4HezG4qri86zCTpxvsOi7+A4fYmFVsV3Yj2UF+7vxAb7At7ikmtG7IVznfnyM1xTYBbyNHakdKTvdjavixjmAPfixoOM8S8RbfEnW76Jc//1Zf/1iHfB79vdYzMF7+AhrcBjv1qBDt9G/1gV8iS1YUEsnFVmObTgkplNewzepE8YagSIGREIXcBG/ZNurYmHSl108da1FmCsWR89msTzbvihGsIjkCFRZUXUYXkqORa9IZpaYDkXze1zUa0mY4tEsGsqU9EKTilQCdakGNICkrlQC19HTWC2VOF3m4LWGbXUrROGifixewtEmC+/D9irih2jDG/ga9yZQ+DV8jieriF6A5xPti/E+9uJn8Uaul+BbYrQ/wTqjyz3tCqoSRVbikjBxu/BbQaJzxdt4ZXbO49l2vmEj1+lBI3dXPCT+EA+Ky/gp2w4mrtGON0WZsUcFMzcgTNRWE/BWzfGyKClezGlJmrmHWYkZeCeL+zgpqmMnDRu5O+MU2yXM3At4FRvwVK0nl/FCM8X8XDeivUckc1lMlV4xVfrE3J4pptVCYermibLlM8KJziuhYRT1MHNDHzY21qGv0kxJLzSpmJIJTJcWGxDTpcVmCP9/lBarfKnvFh+6VwnPMvSl/pGS/dwUpvEszogy43Fh+mpmPP9qMJJ6lxanmRT8B1M0bJ9FjBNdAAAAAElFTkSuQmCC;" vertex="1" parent="n.le_s">
          <mxGeometry x="9" y="17" width="24" height="24" as="geometry" />
        </mxCell>
        <mxCell id="n.le_sb" value="&lt;b&gt;Service Bus&lt;/b&gt;" style="shape=umlLifeline;perimeter=lifelinePerimeter;whiteSpace=wrap;html=1;container=0;collapsible=0;recursiveResize=0;outlineConnect=0;size=58;rounded=1;arcSize=8;fillColor=#ffe6cc;strokeColor=#d79b00;fontColor=#4a3200;fontSize=12;fontFamily=Segoe UI;verticalAlign=top;spacingTop=9;spacingLeft=38;" vertex="1" parent="1">
          <mxGeometry x="1130" y="80" width="240" height="660" as="geometry" />
        </mxCell>
        <mxCell id="_ico5" value="" style="shape=image;html=1;imageAspect=1;aspect=fixed;movable=0;resizable=0;rotatable=0;connectable=0;editable=0;deletable=0;noLabel=1;image=data:image/png,iVBORw0KGgoAAAANSUhEUgAAAEYAAABGCAYAAABxLuKEAAAABmJLR0QA/wD/AP+gvaeTAAAM1klEQVR4nM1cf3Qb1ZX+7syTLCuWY+eHYxJTWkJD+VFKu6Q/SBcIS7fnbJsSeiAHEktOg2ylaTeBJqQ5QIk2tIQth22SY9oosjGasaG4PScF2pSG/GoKPT200FICgRQSaE4wtmXLdmzLGs3M3T/sdF1LlmaksbPfn5r77r3+9PS9+967Y8L/A0QikX9nZgWAS5KkYENDw97znROdz+DRaPRjzPxkOp3+PDOPJkQEIcRxIcQtd95559vnK7fzQkxLS4tH07SorusrmVnKZkNELIT4JYDbQ6HQ8DSniKxJTSUikcjmkZGRRDqdrp2MFABgZkqn08sMw0hEIpHwNKYIYBpnzJiONOu6XlPIeCFEryzLa+rr659xOrdsmHJisulIoSAiyLJ8jIiWh0Khdx1KMXusqXLc0tLi0XVd0TTtVmbOG0eSpCQAmKZZms+WiEyXy/X0Bx98sDocDmtO5JuRz1Q4bWpq2jQyMpJIpVK35SNFkiQWQuydM2dORVdXV3lJSckeIjJzjWFmSdO0O+bOnTsQiUS2OJv9KBydMXZ1xOVyHfd4PMvr6upOjP+8sbHxIrfb/VNN0z5vxY8sy3GXy+UPBoPPF5J3NjhCzDkdsfqHCCF6AaxZu3ZtTiGNRqNf0nW91TCMKot+j5mmefO6detOWrHPhaKIsVKPjIckSWlZlhtDodB37MSJRCKbDcPYZppmST5bIjKFEL/o6OhYFQ6HR+zE+Sc/hQ5samrapGnag6ZpevIGGS3WjqZSqa+tX79+oJB4kUjEy8ythmEstyjmIy6X64H6+vpHColnm5hoNPolwzAet6ojQoiTQoibg8HgMfvpZWL37t0fB/AzXdc/ZcVeluW4JEmrQqHQfjtxLBNTgCAOyrK8oaGh4XE7CVlFNBq9Q9f1nxiGMdOKvcvl+ossy8uDweD7VuzzEhMOh8WCBQse0zQtaFFHDJfL1RwMBr+Zb9ktFsxMzc3N2zVN22iapshnT0SmLMtPEdE3QqFQOqdtroeRSGSjYRjft6IjAOB2u/9QVla2fOXKlZ1W7MejndkNACuIbBdsjY2Ns8dm801W7CVJGpFl+f5QKPToZDZZiSlARzqJ6NZQKPSiFfuJeDzON5mMnQDcYNwbrKKfFeKnubn5mnQ6/bSu6xdbsRdCdEqSVNvQ0HBg4rMMYqLR6JZUKrXdimNJkoaFEBsbGhp2W7GfiD3dvEgC/gfAVyY8OggZdwVnUUGCHYlE1huG8bDF7QW73e676uvrd43/PEMzSktLy30+H1wuV05nY2V8ZSGktCS4oqmLH5aAvyKTFAD4Nxj4c3M3R2IDPNuu/1AotGvOnDm+fNsLIQTKysqotLS0OuNZtgGSJMHr9ULXdSSTSZjm//kWQrzmdruXrVmz5rTdhMPM0oU9qDV0/BCEeXnMBQMN6RRuberibeVz0biCyLAaa8WKFQaAUCwW25ZMJp/WdX3J+L/P4/Hk/PJzKvkYo0ilUtB1/UMhRKC+vv4Fq8mNR1OcP4tu7GSCpeV+HGaBsGMgjrpoF2+or6Lf2RlcV1d3BsAXd+/e/R/M/IQQYm5JSQmIci/IeZdfIoLH44HP51tcCCmxOC9o6mYFjD/APinj8WkiHG3u5udaOvijdgevXbt2n8/n+4zH48lLCjCFR5vtzO6mLt6QZhwH4IdDG1YGvmoIvBHt5nD7ac4rroVias5junnZQBxvgbADgG8KQngJ2DrgwYnmOAes7J3swlFiInH+RHOcnwfwLICPOel7EtQwI9Ycx6FoJ1/lpGM7xJTnevitbr7dZPyeGV8uMqdCcAMkHKk/1nu7Uw4tE8PML6uqGt61a1fWM5EzaVy1Pw0+ZuIoA5aXVQfAvan0S7Hj7+t/6ko4NmvszJgZALZWVlYeUxTltmwGDMx6z8B1z6fxty7GX51JcXKkDX7zmVMdb/z0xOklw7ox10nfeXekWXAJEbWrqnrINM276+rqMggwgE+8rAMe4I9fEJg/g7DAgVz/AWbufLkr8c6rXX3X8hTddGTMGGaOAThiYeyNkiS9oijKjZMZjACLD+uofEXHb02g4GPGcdDODCePNr/53oxXuvqWTBUpQJYZ4/f73wawVFGUZUT0YwC5dtgCQL69jLeDcf2HOj64VMKpSyQsyWOfFYNp/Y/PnOyo7tfS1xUy3i4m1ZhAIPBcSUnJlUS0C4BebCBmzH/LwJL9Gv7SxziRf8QoDJNPHTjd/Sflrb8v7tfSFxabh1XkFN8VK1b019bWbgBwDYDfOxFQI1z9oo5Ljhp4KcXoyWHa93q8/+ieN9+78ETf2WuciG0HllYlv9//Wm1t7RcB1AHodiLugIklB3TIY8v7+Blp9qbSL7W8+b7xu46e65i5kAWiaFgOSkQMQGlra3uOmcPM/C0AcjHBGah4z8B1fzdx8moZiVmmKf/qVIe3M5kqSIechO1vY9WqVQkAG1RVjTHzT5xIwsO4mAA8259Enz6dteHkKHiv5Pf7X/V4PNcy86FCfcgAFsnADS7gAgK8vhm44OILUTlvNkie9p6mf0JRv9+xU7JcApoVBKCagMtloHRCJUJE8FXOhNdXhv54AkP9AyiyraYgTLuwVRBwhQxU5inNZCFjVvUclFX4kOjsQSrpRH1oHdNGjIeARRLwEZu/ELenBPMumo/hgSH0dfdATxddUlnClBMjEXARAZfKxQXzls9AaZkXA719GOjpQ7Fta/kwpcTMk0Z/Nl6H/JFEmDmnEjMqfOjvTmCo/6xDnjMxJcSUj+nI7Cna4gkhMPuCufBVlKO3Kw4tmXI+hpPO3GM6cpE0PX2y7tISzPvIAgwPDCLR3QPDwRrIMWLmSxi6UholZzpBBMyYWYbSslL0fhgfcspvxhrR0tJiqbNhIn5cTT84beArCUa8+LTsQRvR+gZ6B297cXH1D5zymUGMEOJ7ra2typNPPpnvCjUD2y+gffdU0dz3DXw/ScjZf+IEDMMwzvaf3bPv4pLKI5+q+LmTvjOIISJiZr9hGO+oqhouZAY9WE3f6zEx64yBvQbg+LrKpomh/sHfagNDVQcvKw857R/IvVcqA7BVCPG6qqrL7ToOV9Hg1mr6+inGv8RNnHSKnVRypPNsYmjJC5f5bvjNFTN77YwlIsunAVbq0EsA7FUU5ZCqqpYaAsfj4Sr685Z5tPAkY/VZE4N2x5+DntKSZ3sHvv3rhaXVhz5ZbvvQTFGUZaZpHrRqb7lAJ6KlAF4tWH+qKNZfhcrTwB4NsNybZxgGD/Wf3Vs67K44eOXMx+zGVVX1UlVV9xHRswAWWh1nd7mWxvTnFlVVH00kEtvXr19vuboKE+kAQvd28gMextPVMq6f7JthZiSHhl9DKrXshU/Ott2L09bWVjl2oLYOBZQl2fI6COBMnnFlGL18ez0Wi91sN+hD86jzgWq64aSJL/cyuiY+11Ja72B//y37F5Vdvd8mKYcPHxaqqn7bMIx3mHk98pOimaZ5fOKHWcuxSCTi9Xq9mwFsBpC31YKZDxPR3X6//zUryU/EfZ28uYqw7UBSl5JDw40HLp9pq6X+HBRFuZGIfgTA0lUtER3Qdf2u1atXv5HxLNfA1tbWGgAPMXNtPlsAJhG1SZJ0TyHtrOEuLjvyRjeOLK2yLdBPPPHEQiHEdmbOenU8Ecz8FoCNgUBg32Q2lgp4RVGuJ6KdAKysSoMAbOtPIVAUZQYR3QPguwDy1lvM3EtE22pqah5bunRpzoMdyzubcDgsLVy4sBbAIwCsvCbzDjPfGwgECurZzQVmJlVVbwXwKBFZuYRLA2iRZfm+lStXWtqy2N7ytbS0VAghtgC4G4DbwpBJL/8LQWtr62Jm3gHgWiv2uXQk57iCsgMQi8UWSZKUrXk5G0wiajNNc1MgEMhYhazgqaeemq/r+lYAQVirv94GsNHv9/+qkHhFHxLEYrGbJEnaCeByC+Z9AB5OJBI7rOpPe3u7O5VKfRPAg7DQz2dHR3LBkdOTSCTi8nq96wD8FwArr8n8jZnvy6c/Yx0XO2Gtn8+2juSCo8dKsVhstizLD9i4vs2qP4qiXCZJ0o+Y2VI/X6E6ktOnU47GQ1XVzwDYAeBfLZj/Q388Ho+uadpWG8QWpSO5MGUHkcxMra2ttzPzf1tcUhNj+VRYsO0BEK6pqdldjI7kwpSf0I5tL/4TwP0Y3WMVAx3A4+l0+v41a9Y40Y4yKabt6DoWiy2QZXm7xe1FBojogGmadwcCAUdeOs0bbzqCjEdbW9tnTdPcBeBzFoe8TUSbamtrfzmVeU3EtPdarFq16uV33333Wox2Z+XabCYAbCkpKblqukkBzvO/Ympvby9LpVKbAGwBcK7jfNp0JBfOKzHnoKrqpRh9N5KYeWMgEMg4OJpu/C9yIoGSbIA7gQAAAABJRU5ErkJggg==;" vertex="1" parent="n.le_sb">
          <mxGeometry x="9" y="17" width="24" height="24" as="geometry" />
        </mxCell>
        <mxCell id="n.le_m" value="&lt;b&gt;Azure Monitor&lt;/b&gt;" style="shape=umlLifeline;perimeter=lifelinePerimeter;whiteSpace=wrap;html=1;container=0;collapsible=0;recursiveResize=0;outlineConnect=0;size=58;rounded=1;arcSize=8;fillColor=#e1d5e7;strokeColor=#9673a6;fontColor=#3a2b44;fontSize=12;fontFamily=Segoe UI;verticalAlign=top;spacingTop=9;spacingLeft=38;" vertex="1" parent="1">
          <mxGeometry x="1400" y="80" width="240" height="660" as="geometry" />
        </mxCell>
        <mxCell id="_ico6" value="" style="shape=image;html=1;imageAspect=1;aspect=fixed;movable=0;resizable=0;rotatable=0;connectable=0;editable=0;deletable=0;noLabel=1;image=data:image/png,iVBORw0KGgoAAAANSUhEUgAAAIAAAACACAYAAADDPmHLAAAABmJLR0QA/wD/AP+gvaeTAAAgAElEQVR4nO19eXxU1d3395x778xkTwhhEQICgiQQdhQXFHCv+tq+Txdta10el1alb7Uu4NJiRcGt1o326fO0j9qnVVv7aF0QFVyxiGyyBBRkJ4SELJBlMnPvPee8f9x9MnNnJpmEhOb7+dzMzczcc8/c3/e3nN/ZgD70oQ996MO/KMixrkC34s4v80BFMaieDy4Uz2cCKojSDE7q8cjY5mNUw27HcUYAQTBv8wgQeQI4H08JRhNCRlCCEwnIQEIQIEj8o4V1CKgCokYI7OFC7OYCO0DpFgh9ExZX7AaI6L7f1LXo/QSYt2kkIJ1LKc6VgNkSIf0JASgICDF+ICHGz7SF78MAiwQAIISwCAEOYbwK0cwEVjMhlgN8ORZXrO/NhOh9BFiwO4RIy2WUkMtkSmZTkEGUEFACUEJA4LwaBHCIAPM9410vhPVXeCwBhCl4AYCbhODCJgOYENW6EB9wQV5DKPsNLBgR6ZbnkCH0HgLM2zSVEulHMiE/kCiKJUJACQGFKXCTABSGxltCp27tTyB8C27Nt/53a7+AABfG59wkAIdNBDCOo7oQr3NBXsDishW9wTL0bAL8/Kv+UPSbJYqrA4ScSCmBZGq7TQDT3DskMERMfbTfgnXmlZIhbOt9gwSm4OHSfgiDABYRBMCE8R7jAroQuzWG56DLS/D4yXVd+pw6gZ5JgLs3D6QcP5GpdKtMSb5kCdwmAIFkabyLBG4CAHBiABgn7h8b3wW4zi3zb5877sDSekf4MQQwrIHxKkSrxsUfONMfxSMTD3TZM+sgehYB5m07kYLfqkjkBpmQkGQK3J8AXk13+3+LCpbi25bA9deB8JJAuFyCKw6I5xKSEACMCzAhVJWLlznoQiwq295FTzBt9AwC3L4xBzK9I0il+TIlAUvwsk0AAonCFDzxmnmX3zdencjf+nESBUpyZPTLpshSKLIUguwAQW6AAgBaVI6wKtCmCbRpHA1hjsOtOhg3ro8NCDmcFoLjEhxrEI8AuvOqa0ws4aHAfVgwuqmbn3Q7HHsC3LXlUkUizyqUlsqxgncTwKXxnmjfbf4BnFAgY/KQIEb0UzCsSLaPgJTeT1WZwL5G3T521Wv44mAUB4/qJgG8FsAiQ6xFYEJA514i6FxA57xaZWIeHh7/Qhc81ZRx7Ahwx9bRRBZPhyi5QKYEMqWO8CmBbBPAiu5dwrcDP6AkV8IppSFMGxbE1KFBDCmQu7TaVUd1rDsQxdp9UazZH0Vti24GiF7hW0EiE7BcgE0EgwACuuBQmfiAAbdg0bitXVrxBDgGBBAEd229JSCRRxVKgobwzYNQQ/g0JsgDbNNPCUFukGL2SVm4uCwH04YFjxmLuQC2VKtYvj2MpdvCaGxjHgKwWGtgC15A59y2CBoX0ajOf46Hxz/b3b+he5/dgh35NKr+Z5CS78qUwit8R/s9gR6c89NPzMKl47Jx1qgsBOVj773ciOoCH+1swxuVYaza02YIH3FaCBzQBXesgHlohjV4jQl2LRZPaOyuenffU7xz8zRFpi8HKB3pCJ5CoTHBXkw7X6HAzJFZ+PcZ+SgfGOi26nYGX9dp+J91zVi6tRV6jPCtc93tCjiHZp6rnO/TBLsciyas6o66dg8B5lXeEpTIrxVKFLfQFZfZl1xClwhBQCK4uDwHV03Pw/CirvXrXYW9DTqeW9OEpdtaoTJXxtCKDUR7AmicQ+dCjTB+KxaPX9LVdexiAgiCeVt+GZKkXyoewTvm3xvtGySYOjSEu+YUYlR/JfktegH2Nup49P1GrNobMS1A+yai5iYCM4gQZeIpvrj8Z12ZUu46AnznrxIdWf7boEyvVyRD+Jbg45l9iRIUZVHMPbMQl1XkZKxiXAAHIhoOR3XURBkOR3VcWVoIGucGr1Q1ISQRDAzKGBCUMTRLhkQyUxMBYNm2MH7z8VEjx+AkiMAEoBuaD82xAtA4R0TnL/CGyHX4/TQtIxWJQdcQYMHabBLJ+muWTC52NN8kgUSNJp6Z3LEI8O0JuZg7swC5QdqpW9epDJ81hLG5KYqvmqPY0aoiwrwKtGbWyLgE+D+r9qEqotv/BynBSbkBjM0NoqIgiFOLsjAg2Dl31BLlePLjo/jfzS2OK+COa9BMK6Ax5zzKxJssGP4eFkwLd+rmcZB5Aty+MUdS5HeCEj3D0npFMl/jZPjyQxT3nluE807O7vAtv2yO4p3aVqxqCGNHi5r0+6kSIB5OygngtOIsnD8gF+V5wY5WGR9+3Yb7323AkTbuigtcrQKbCBwqF4hyvpKp+oV4bGJrh28aB5klwA1rFdIv9I8sWbrI0vZAHJ9vJXnGDQxg0cXFGFqYvlY1qAyvH2rG0kMt2NmaXOhudIYAbozMCeDiQbm4dFAeigNSWnUAgENNDPPfqsfG6qiTLDJdgxaPBIyvYC2Bi/H06GjaN0uADBJAEDqv8r9DsnRVrPCVmOyeTAi+OykPt51dACXNFO2BNg0vHmjCqwebEOUdi40yRQALCiU4f0AOrhlehBHZ6QWuGhN47IMjeGVTS7tsYTwSRJh4kQfLfogFhKdd0TjIXPtqXuXjQZleZZl9t/DdOX6ZEPz49AJcNyM/reKr2jQ8vasBKw63ooNy7zJoXOCtQy14u6YF55Xk4uZR/TAklNqjVSSC+ecWYUihjKc/PmJ0aHAYrwQgrjeM4Se4IhKpbOTAzZmoe/p2Kx7mVc7Pkui9ttZLFIE4wlcowb3n9cP3p+alXHSYcfxx7xHcvbUWO1pUZEL2N5xYhHjB/YsHjqJZ77hiCQA7W1W8crAJjRrHxIIQAvFMTRxMPCGIEwpkfLo7AgHE1K9dR/Z0/cyftGHlkk87XFkTnQu5AeDuLbODEnnAjvIp9Zh9S/g5CsWvL+uPb1bkpFz0x3VhfPOz/fj9nkaoPU3tfaBxgZcOHMW/rd6PlfWpB+6XlOfg0Uv7IydA7VjJUhwnmDYULETpIty5+bzO1rVzBLh788AAIX9RKJHsdr5ZScvXy5QgKFE8eml/zByZlVKxrTrHg1/V4dbNh1Cvsk5V8ViiTmX4f5sO4a7KGjSlaFnOGpWFRy7pj6DkSpB5EmiWohGqSPL/4M4vT+hMHTtOgAWCEkH/rBA6yGKnVUl3ckcmBPedV4TTR4RSKnZ7i4rL1xzA/x485mMlMoblta344dqqlJqoAHDGiBDuv7AYCvF2lCl2Es0gQkDGAFnif8Z3/tphV95xAkQr7w9J5Jx2HTvuShOCW88uxCXjUjP779W24tr1VTjYgUi8p6OqTcOP1lXhrUMtKX3/wrHZuGNOUbuBMYpjAaAYfSaz6Kiy+zpar44RYH7lzCCldyvEVZnY9C4luHp6Pn6QYsBXHdGx4MtatLHe4+vThcoFHtp+GNUpEvy7k3Lxo2n5rsyp4w5k2xIQBCTpPszfckZH6pQ+ARZ8IFPgaYUSKrvMUWx695TSEG4+syDlYgeHZDw9YTCy0swL9CaEJIInKgZhcIpNRACYO7MAM4aHbKsqEUAm3uSaTAmVCfkdblibdu9Z+gSIltwWlMhE29Rbmu/S/pJcioXf6Bc32eKHKYUhPHWckiAkEfymYhBOKUotELZACfDARcUYkCvbvaVOUOi43ACl41GcNTfdeqVHgHs2lwYIuU8m3tE87l49hRIsvKgY/XM6FpccjyQISQRPVgzC9DSFb6FfNsWDF/XzNK3duRVLHkFKFuCeL4akU3ZaBCCMPqlQmmtoPPWYJYuZ188owCnD/CP+BgbU+LTuphSG8HjFIATTNSE9ENkSxTMTBmOaj/DDLHkTcWppENeeWtCuC90tB5mQPMqVX6dTv9QJYCR8vuUJQojT5KMEGNFPwTWn+Ad9DMDjR4B764FDPiQ4tSgLz0zs3ZYgSyL4zYSBmFyYWCHqVYar1h3Ea9XJlyT491PzMKpYMQfMwkmvu4LDACXfxV1bz0q1jikTgAhyn92TZ/fowZ6tIxGC+ecUJe3c+Y+jwFYVqGPAfUlI0JvdQY5MsWTiYEwtTKz59SrDjRsOYlerioe312FLk38nnyIR3Dm7fdOwfTwm7k21nqkR4M6tM4KUzHYzTaLeKVqXlOdgWql///j7bcB7rsyoRYLjzR3kyhTPThyMCQWJNb82quO69QexO2wM9FG5wB1batCQJPM5fVgQF4zN8YyctntarfGUlJyHuzafnkpdUyIAkcR9brZ5R/AS5Acp5s70b/LVM+C/4yT36tjx5Q4s4VfkJ1aGmqiOGzZUY1+bd5RXbVTHwq8OJ73HbbMKkB+itvLF5gjM2OCuVOqbPFS/u3JSiJLHAhIlikSNnj6JuhISFDeeVoAzfFK9Aobf35sg/xEWwOoIcEoIyE1AycEhGePyQlh+uBUdzRUNDMqYUhjCBQNz4/YGFgUklAQlBChBk8ahifRulC9TLJk0GOOSCP/GDdXY3xZ/iN/esIYhWTLG5CYuI1uh0Bmw9oDhMqxZzMaiFbCmso/RZ978Bj55ttqvzklVis6rfClLpt8LmoK3Xq3MX2FIwlvXDfYdy/dBG/DUkWR3AvpLwMJiYKAPLVc3tOHWzYdSGgySr1DM6p+Dc0pyMCE/hHwl9ZhX4wKfN7bhvdpWfFTXmrQzJ18xfH6ZzzAxS/MPJBC+hVyZ4pVTSlESTPwgWqIcl/7hEBrbdPecAkSZc7Tp/GW+aNzlfvfytwC3VvZTAvjPgERlS/sVyZ0DoLh6er5vR48qgIcbDS1PhrAAPktiCYZmKRif728JxucHcdeY/rj35BLMKcnBsGwFwTTdh0QIhmUrmFWSgytKC1AUkLCjVUU4zk0LFAm/mzQYY32Efyii44YvqlGVRPiAEQ8c0ThmlyTuQwnIBGGVY0OV6qxdAMcCmFbgZDbz5v/CJ88m7IDwV4mguFymJOiesOGes5ejEFw+Ode3iNdaDT+fKlJpHZzaLwtPxAkMx+UH8czEwXh+6hDM6p8DOUNDuoOU4IqhBXh9xjDcdlKxJxYpNIV/so/JPhTRccOGgykJ38LSmmZUJmkVfH9KHnIDXplI3kOB4Ff6leFLAAnkSmtKtmQexBykREHwfyfkojArcRFNHHg1tc4vD1JpHbhJEKAEc0f1w3NThuC0fh3LtqWCACX4QWkBXpo+FJMLQygyhT8mN/GUtWpL+Gn2cHIB/Prret/vFGZRXDY+1zVtHjEEAGRCrvErI7GK3LF1dCiAr4ISJUHT9wcla2KHEQP89UeDfGfvvNQMvNwBAljoLwEPFAODfBzVuiNtKFQkjMrp3nmDXBjteD8/fTCi48YNBzvVvf37yf65hJ31Gr73/CFzAKk5o4hzqLoRB0QYR0Tnk/Dw+I3xrk+svpK4ihJCnHV4iLEKh8m28oEBX+FrAnink9MYUnEHUwuzul34gKFtfsI/FNHx4y+qOz224bm9R30/H1WsYMyAgG0B7FVUqOMSKBHfS3R9QgLIBN9xTL+T7rVucnG5/yCPD9qAIxkYuJyKO+hpqIrouC5Nn58IqxrC2J5kJNHFZdnm0njOGgruQ6L0W4mujU+AeZtGSpSM8SzFZs3VhzFl+7wx/r52eQYnMaWSLOopqI7o+MmGgykP+pAZQ2lDLYJ6fCELAH9PMjzuorIcKBI8ayZJtrICEiFjjRVV49w/fpHSN6QYJtmLLxLg1GFZKPbp7j2oAzsyPJXRsgRP9E/cRDzWaNI5rttwEIdSEP7oQ/tx6dqVOKdyLbKiUWhUwl9mXoDnz/5Gu+++W9OCn59UnHCIeb9siulDQ/h0T5u9cKZj/o0DglwA4Lex18YlAAHmEI/Jh1mwUfipw/1z/h+1Jf39HcKJcs8VPmBkAsfmBhMSIKRFMWfLOlyy7lOMPbjX85nCGa76aCmq+pVgecV0z2dNOsfH9WGc65MXmD4shH/ujYAQ4VlDybYCEp3NUiWAJOE0Y+UttwUw1+MDMK3Uv79/VReslptLgZsKM19upjFvTH+sP9LmyRwOP3wI529ajUvW/RN5Ef+5nXO2rGtHAMCwAr4EKA2ak4kICIRprV1xAMHMeB60PQHu2DxKAhlkaT1xr7tHgPwQxeiSxNF/AwMOdMGg3qvzgKIerP0WSoISfjqqGI9srcZpX23CJev/iam7vkz5eiriBzqrG9ugC5EwuTV2YAD5IQkNbbopdOFaRRWgIIMwb9NILJ6wy31dewJImEZNX28tz2YtukgATC8N+Y7126jGrr3beQySgFkdnz3erWB79uKCN5ZhxtJ3kR1J3xd+VD4l7vstOsfmo9GEg0soAaYMDWLFDmZYABgkIC5LDiJNAZCEAKAVVrRvBX2W8CkhmDzE3/9vydjEZQffzs3UJMYugqpC+2gl1Dfehr65EgCQLl81KuHFM8/HsokzEn5nVUPYd3TR5CEBvP912CM3KwYgAChEBQdecV/TjgCEiApPATYRDCswoth/SPPODEf/xT1Y+/mBg1CXvgN16TsQRzs2k+lwfiGWV0zHP6afhdr8It/vJhsxNKKfYi+OTSCc1puzrG5F7DXtpCmBjLEKcYI/J2c8vCix/9cFUJXhtvqZocxr/9GjR7Fv/wE0Nxvj8PLz8lA6rBQF+SlMWdd1aCtXQX1zGfT1XwBpjhkADG3/59iJeHfCdKwePQ6cpBbcfJkkITS8n+xZId1wBXACQmB0rHhiCCAIJVuHkRjBW6txBxWCgXmJxbFfN0iQSZyZwb6dffv348MPP8aBqip7GxkLQggMHToEs2edjdKhQ9tdy6sOQn3rHahvvwdxJIXBDXGwv98ALJt8GpZNnoHG7NSnyFs4qjEciugYlGBiyeB8GUGZQufMFh71uvARsdd4S7pj60BCSLYtePPEIsOJhYpvAHgww9pfIgGjMrBSnBACH370MT748ENQKoFSaqdOrc+FENi1azd27tyJ2bNm4eyzZoIIAX3DRkT//g/on63pmLZLMv558gS8OeV0rB9xMkQnu6h3tqoJCUAJMLRAxleHmbNPAjzKnIPbNw7AYxNrrWu8JUkY7BY+sVv+BoYlWbCxIcMEGBvIzBo2y1e8j+UrVoBSCZLEQQgFpW7HJsC5gBAcjHG8vWwZ1A1f4LRV68Brk4/Riwc6rBSBC8/FkyOn4B/hzI1lrIn6t7GHF8nYflh1zD+sDTNMSQboIAAJCABSTABzaRKj0u5C8kP+vioTnT9uZEL7d+7ahaVvvw1KKSjl4FwCpSSuBeBcgHMOzhne3rcXg1taMCyNe5FQCMrsmQhcfCGkcWUAgOH7jgA7Gzr/Q0zURv21rCBGRh5XbqSEi92fxxCAFYNIjvBjiJsdSB6s+I3nSxdjMkCAV199DaqqQpZlmwSW8GMJYJCAg3MOXdextH8BfrwveVueDh+GwAXnIHDJhSB5Xt8+sSCEIVmZW/E02UDV7IDTfAfa75YCTvq7v+8lAEGuW/M9HxEgJ+Bvyq7MM46egrr6emzdtg2yLINzDkmSTBIYRHYTAIAtfMYYGGP4SpHQIEvop7fXOpKdBWXOLCjnz4FcMS5hHSYVhPD6jNLM/7gEyHEpqYcEzqsnn+wlAEcAksOa2IKylcz5su5AZWUlNE2zhW8RwMmMmb/HXMHbsgAWARhj2B6QMcNFAGnMSQhcehGUc2aBZHXd8LOOIjuRkjrhjieTFxvVeYbWuMMko/BekIx34XDtYWiqCi5JYJIEydR+YrUCzO9ZW8MJywJwDm4SoA4CJCcHyuyzELjsYkgnxe1W7zHItoe+Exi/LMaiU+5LgOMKnHOoqmprP7MIYPl/lwWIjQEsCyCddgrybr8NJJTaGkc9AenY6VgC+KaawmqGw/wuRlFREVRNg8SYY/4ptVOkbgjLDbgIwDlHyWmn9irhhzUetzPOfo9TTz7ZSwBqEMDZL8/ZRNEovHet3zNx4gRoqgpGqcf/E0qdZhFcm0Rz7okDOOeYMGHCMf0N6SKsuqXnfjVB4EMAgRbXuedUeAqPj7WtwK701m32RUUWUNYJ5RswYADGnjwGm7dUQpJo3CygBa8LYGCMY8KECpSUlHTyV3QvWt1W2rUFrrX7KQDPiJQYC0DrrP0zrcmG7sJak7gASoDmDGYDa7TOEQAArr/+esz96U+hqroR/adAACEEKKW44YYbOnfzY4BWU0ntnU4Bt/ABcE9qMzasr/fsmQtXIRA42uZPgJwMNxIOZ2Bk0fjx43HtNdcAMITMGIOu69A0zXPoug7GmJ0TuP6661BeVtb5CnQzjkZ4uy4L9xa4EMIz3cgrMg2HHM132wLj774j/hLJNAGaWGYsypVXXom5t9xiJ4D8QAjB1VdfjSuuuKLzNz4G2Neow5Kds+WtJXwAVD/k/r73iTxaXsOFMZFXCMssOlZg3xHdd6n2gi4YtrMvQzHFt7/9bTz7zDOYNHFi3M8JIZg0aRKWLFmCa66+up2L6A3gAjhwRHeZe2v3c1uOrVg0xeMCYjuDhEDlXiFQZjMIzklU46hpZhicH1/SeRIQJEA0g42FnVFgXIYSbuXl5XjyySdRU1ODL774AjW1RqfYwAEDMHnyZAwYMCAzNzpGqG7SEWXc0XxLiQFr6vju2GvaJYK4wA4BUebVfgEBAgFgb4OWkAAAUKIABzLYEjisG0dJBlNWAwcOxAUXXJC5AnsI9jTojuBdbsDa7JpD7Ii9pp1TFEJstLdIh3AxyHjd1eA/6K9/F+QWK7toosnxhj2mbNzW27ECAhx8U+w17QjAQTa715vxmhNgQxL1HtwFez3uigL1x98C4hnHhqqoqe3ClJ8Ah7BlxznZHHtNnLCYrbN6xqwt0R1zIrDuQNQ3EBykAEl6jdOGALAmo5ulHX/gAlh/QPX4fFvw5ibWkNn62OvaE2DxhF1ciGpuFmrHAubRFGHYfjixG6AAhnTBdP0qDdjRBXMOjhdsq1HRFGUes8/tbm6ACxzEwontgsC4DWMmyCq7f9yMB7i5ZxUHsHa//+S/YV20XsPqlsxmGo8nrN0fbRcAWkpsEuGTeNfFJwDn7zurTTkssqzB6r3+qjg8AHTF2JGoAFY0o8PrBB7P+HxfxCUvOANcTDeuCf5hvOvip8YUttQSvOU/HAsg8Pn+NtSHE6uiQoBRHd9V1Rf1OvB+s8HuPhioa2WGBYCnze8QAgKQpLfjXRufAAsn7mZCfOVZc85lAXQGvPulf9tsbBd2oe9XjY6iPhhY9mUYOhcei23tRcwFwDi24cHyvfGuTZgcZ0L8zb2pMRPCY2KWbvMPy4tlYEAX5AQIgLPyuqa52VuxdFvYlbdxSOCy4n9NdG1CAnCdvsCFEE5B8LiBbbUqvq7zV8PJGZ7USQDMzANO6iL30hux47CG7YdVb8AuvC5AF/Qvia5P3D32aPkOXYjPODeCrlgLwAXweqW/FRgaMPICmYAl/NF9wvfg9cpW1yLRXvPPhADj4lMsKtue6Hrf/lGN8T8xe8aMyxKYN3p1Uysaw/7hWCasQJ/w46MhzPHa5la4rbTjro1DE/iTXxn+HeREvMSEiLrY5LlZWON46Qv/rU5OUDqXF7B8fp/w2+PF9c0IaxwsxgJwU1aMC5WDvuJXhj8BFk9o1Dh/1RsIeq3Ayxta0Rz1twKn5XYsL9Dn8xOjKcLxt40tMaYfYByG8IWAzvF3LCrzXXA46RAZxrGYCSHikYAJoDnK8LeN/gsC51JgSpquoM/s++PlDS1ojnJHFnD7foAJCI3gsWTlJB8j9fD4jUzgLdOkQOdeIjAh8MKaFtS1+udox2Wl3izsM/v+qG9leHFDi+3zOQS4qfm6LSf+Oh4qb9f5E4uURvGpXCxkAtBFe+Fz0wo89Yn/osYEwJx8IMkM8z6znwJ+/eERHI0wJ9EjhEc2uhBQuXgwlbJSG8a5aNxqjfMVsVbAHXUu3daKtfv9+whyKDA7L/HUpT6znxyf74vi3e1tHiVkbu0XAjrn72Dx+DWplJfyOF6N84U20zwkEHYUumh5I7QkPTUnKPGbhn1mPzk0JvDYB40e5TOeP7ctgM4FVIaFqZaZ+kDuxRUfqly8onODBI7Jgd3s2NOo4Y+rk++AOTkbONnVV9Bn9lPDf33WhF31mic1rwvL73PoXEBn4kU8PG5lqmWmNZJfB/kp56JJNy2AOyC0jj9+3oTV+5KP3DgjFxgR7DP7qWLt/iieW9NsKJzrubtloQverFL1jnTKTW8qx0Pl1REhfqW7YgHr3LIGGhf4xdv1SVsFBMDZucD5+X3CT4b6MMN9bzdAcz1nj/BNi6xz3IcHJ1WlU3bac3l4oPZJXWCjcXNuHK5KMS5Q12pUONnWfhIx+gv6kBiMA3e/1YDaFj02x+8I31DCzVpdeEm65ac/mWvBbD3K2c2a4EyPtQIu07RmXwTPrPRvGvYhOZ765AjWHYjYQrcCcWuDKEMJBWvj+o34/bS0R0l0bDLXyiX7ceZNlIDMclbcgrnujvkdAmyuVpETkDDhhD417wheWNOMP6xu9igWs3cHc44o4/fzRRV/7sg9OjydUw+U/0rl4j3bDbDYeMBonz758RG8WZnBDYT+RbDsyzCeWXnUNPOGK2in+UJA4/wD/evKlJI+8dDx+bwLCNfArtS5qHbvWae7hM/MCj/wXgM+2tk3vSdVfLo7gvvfaXA9S8fXW4f5vGuigvwAf/tuh8dKd25C90MVNW2MfV/ngumcG5ViMcGJSYJ7ljbg411dsJfMcYaPd0Zw15v1iLqeo5ndMwXPzUNwTccP8VC57+7gydD5Cd0rf7uHnXFzhBKcZ02ptncYccUETAArtrehJEfC2IF9MUE8vLU1jF8sq0dEd+VYvBpv+32V8zv0ReM65PfdyMiMfrHy2U9x5k15hOB0a3Vqz1LTruT/yt0R6AyYPqyv8e/Gn9Y24+H3j9hbwdvtfOESPDPOVZ0/oy8ad18m7puxJR34J8++h5m1wwgwmbgWp41Hgk3VKhrDDKcOD0HyW6m3cYcAAAYiSURBVH/+XwAqE3j4/aN4fk2zLXSP8Bl3aT+HzvFnNVB2Iz68PyPTYzK4psf9YGXXLkW2MhXAaDcJvOvOAoDAtloNq/ZEMK001G6F638V7GvU8bNX6/Dx7jY7aNY9Zp9b5h4a41C5eCt6OHwFHh+SsQlymVe/2zfmBIPKsgAlZyqUQpGc3cZlSo0tzamzxXlekOKec/vhvJN73rq7XYkPv27Dwvca0djGPM1mK3h2/L0hfE2ITyJy+EIsmJbRNnXX2N+5O4LBPPXPikT/zRK+IlkkIJCJa497kwzfGp+DuWcVIC94fFuDpgjHU58cxT+2tHqSO+7OHUfwps/n/I1o+Oj38MTpGW9Ld81ubJ8/zdigWX8nRSWDQDDV4pnhtGLdgfHJV7UaXq8MIyQTlA0MtNuroLdDAHjnyzB+/nod1ldFbZMfm9vXYrRf5eJ5Van9ARaflcGFdxx08WMWJHD31l8qlP7ScgUyJbY7cCwBQF1uYfygAO6cU4iy46S5+HWdhodXNOKLg2r7kTzCyZXoLsEbAzvEw+pDZfMB0mXzobtFz+j8rT8JSeQ3CiUBgwAOESSX4CVzq1OJGJ9dODYbV52SjxH9euei5rvqNTy/pgXvfNkKjbuGbrvGVboze7oj/Kgq+E+1B8f9vqvr2H2G9u6tU7IIXpYpPcmKBWxLQL3Ct7Y9l8z/Z44K4dpT8lE+qHdYhK/rNPxlXQuWbms1m3XwDKJtN5hDcDcB9rYJXI4Hyz/rjrp2r6ddsCM/pGv/IRNyuREMGsKXY4JDS/jWztcWMU4dHsSl43Jw1qgshOSeFSREdIGPvm7Dm1tbsXpv1BA4vJM2uCvgc6fLXVH/q1Elei0WTO7YxoQdwDF5iso9W29SCHlcpiRkCd4hAQWlcIgALxEoIchSCGaOyMI3yrMxY3gI0jFqOHABbKlW8fa2MJZ91YqWaMzMKcQO3gSsgTTuDh6Ni4gm+K3ag+N+192/4dip0bzKk0ISeUqm5CKLAJIZGMp2bODsYE5ti2C9Z/Q19M+RMK00iGmlQUwZGkRpYdfGC/uP6Fi3P4p1+6NYcyCC+lZzjwEgRvjO/+4ePeYy+wYZ8H5E02/BIxXburTiCXDM7ah0z5ZLA4Q+LRM63BK8TFyvhIBStCcBnEEoBM7roHwJk04IYkSxgmFFMoYVyhhWJCOYpsuI6AL7G3XsO6JjX6OO3fUaNlRFUdNsrcQl7DX5uD0v31lPiVna7zL5Ma8Ho1zMZw+Vv5D5p5o6jjkBAAALKnMDKn4hU/ozmRJFsqyAJ1kU4wpsAlgbXTt7HBs9kU4/BCVASa6EwiyKLIUgW5GQEyDINZNOLVGOVlUgrDG0aQKNbRx1LcxZKNNabBGuVbjMBTOENTPXtTqHe+CmneRxLIDKuHgiomoP4LGJx3z1w55BAAv3bB0eBLlNJrheoiTLIUBs68DeDt3eHNmyACSWCADc++e64d41zA1roSWIOMuuW+/FCJ3DO1zbCvpc3bqqJsTLKhO/wuJxX3fJ8+sAehYBLNy+cUAoIN9EKf2ZREhBIgJY525L4Nk+3T1E0e6i9ocw/wrh/G9rveucW6twCmGYe+7WftecPS5amMAfo4g+ku6Q7e5AzySAhfnbimXCblIIuVqidGSiJqL73HEHXqHH7qKZCJY1cAjgNf/cFr43wucilgBip87wnBoRS/DEuMxtHpxh9GwCuKDM2zZVlvAjQvB9iaB/ewK0DwyJxy1Yu2gb5cX+cOE68Wq7Y/btZVcRu16SRQJyhAn+hs7wgr64bEVXpnAzhV5DABtzdwSlnOgliky/SUHmUIIT3M1CjxVwBYJwk8D83wOXxgPerVaEgCfij2n2VXEh3tc4e421hN7C06N71YrGvY8AsZi3aaQiSedKIGdSQuZQgiHttT+eG2jPALf5d4K/dr7/sBBiNRN8peDScm3x2PW9QdMTofcTIBb3bhwhCWm8xEkFpRhNQE4khIwgwEAAIXc3c7xWgOn7IwKoEULsFhB7uKDbGWFbGJM2Y3HZnu75Id2D448Afrh9Yw4kuRiC5yhU9qxSoHE9DEJbwfT6ntA+70Mf+tCHPvShi/H/AaFTsIV4tJuaAAAAAElFTkSuQmCC;" vertex="1" parent="n.le_m">
          <mxGeometry x="9" y="17" width="24" height="24" as="geometry" />
        </mxCell>
        <mxCell id="_m7" value="1. conditional write if expired · token 41" style="edgeStyle=orthogonalEdgeStyle;rounded=0;html=1;strokeWidth=1.4;fontSize=10;fontColor=#42536a;labelBackgroundColor=#ffffff;fontFamily=Segoe UI;verticalAlign=bottom;endArrow=block;endFill=1;strokeColor=#5a6570;exitX=0.5;exitY=0.1394;exitDx=0;exitDy=0;entryX=0.5;entryY=0.1394;entryDx=0;entryDy=0;" edge="1" parent="1" source="n.le_a" target="n.le_l">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="_m8" value="2. acquired · fencing token 41 · TTL 30 s" style="edgeStyle=orthogonalEdgeStyle;rounded=0;html=1;strokeWidth=1.4;fontSize=10;fontColor=#42536a;labelBackgroundColor=#ffffff;fontFamily=Segoe UI;verticalAlign=bottom;endArrow=open;endFill=0;dashed=1;strokeColor=#5a6570;exitX=0.5;exitY=0.2000;exitDx=0;exitDy=0;entryX=0.5;entryY=0.2000;entryDx=0;entryDy=0;" edge="1" parent="1" source="n.le_l" target="n.le_a">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="_m9" value="3. renew every 10 s" style="edgeStyle=orthogonalEdgeStyle;rounded=0;html=1;strokeWidth=1.4;fontSize=10;fontColor=#42536a;labelBackgroundColor=#ffffff;fontFamily=Segoe UI;verticalAlign=bottom;endArrow=block;endFill=1;strokeColor=#5a6570;exitX=0.5;exitY=0.2606;exitDx=0;exitDy=0;entryX=0.5;entryY=0.2970;entryDx=0;entryDy=0;align=left;spacingLeft=6;" edge="1" parent="1" source="n.le_a" target="n.le_a">
          <mxGeometry relative="1" as="geometry">
            <Array as="points">
              <mxPoint x="260" y="250" />
              <mxPoint x="260" y="280" />
            </Array>
          </mxGeometry>
        </mxCell>
        <mxCell id="_m10" value="4. claim due schedules with token 41" style="edgeStyle=orthogonalEdgeStyle;rounded=0;html=1;strokeWidth=1.4;fontSize=10;fontColor=#42536a;labelBackgroundColor=#ffffff;fontFamily=Segoe UI;verticalAlign=bottom;endArrow=block;endFill=1;strokeColor=#5a6570;exitX=0.5;exitY=0.3394;exitDx=0;exitDy=0;entryX=0.5;entryY=0.3394;entryDx=0;entryDy=0;" edge="1" parent="1" source="n.le_a" target="n.le_s">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="_m11" value="5. enqueue execution starts" style="edgeStyle=orthogonalEdgeStyle;rounded=0;html=1;strokeWidth=1.4;fontSize=10;fontColor=#42536a;labelBackgroundColor=#ffffff;fontFamily=Segoe UI;verticalAlign=bottom;endArrow=open;endFill=0;dashed=1;strokeColor=#d79b00;exitX=0.5;exitY=0.4000;exitDx=0;exitDy=0;entryX=0.5;entryY=0.4000;entryDx=0;entryDy=0;" edge="1" parent="1" source="n.le_a" target="n.le_sb">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="_m12" value="6. 35 s stop-the-world pause · renewal missed" style="edgeStyle=orthogonalEdgeStyle;rounded=0;html=1;strokeWidth=1.4;fontSize=10;fontColor=#42536a;labelBackgroundColor=#ffffff;fontFamily=Segoe UI;verticalAlign=bottom;endArrow=block;endFill=1;dashed=1;strokeColor=#b85450;fontColor=#b85450;exitX=0.5;exitY=0.4606;exitDx=0;exitDy=0;entryX=0.5;entryY=0.4606;entryDx=0;entryDy=0;" edge="1" parent="1" source="n.le_a" target="n.le_a">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="_m13" value="7. lease expired · acquire · token 42" style="edgeStyle=orthogonalEdgeStyle;rounded=0;html=1;strokeWidth=1.4;fontSize=10;fontColor=#42536a;labelBackgroundColor=#ffffff;fontFamily=Segoe UI;verticalAlign=bottom;endArrow=block;endFill=1;strokeColor=#5a6570;exitX=0.5;exitY=0.5212;exitDx=0;exitDy=0;entryX=0.5;entryY=0.5212;entryDx=0;entryDy=0;" edge="1" parent="1" source="n.le_b" target="n.le_l">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="_m14" value="8. acquired · fencing token 42" style="edgeStyle=orthogonalEdgeStyle;rounded=0;html=1;strokeWidth=1.4;fontSize=10;fontColor=#42536a;labelBackgroundColor=#ffffff;fontFamily=Segoe UI;verticalAlign=bottom;endArrow=open;endFill=0;dashed=1;strokeColor=#5a6570;exitX=0.5;exitY=0.5818;exitDx=0;exitDy=0;entryX=0.5;entryY=0.5818;entryDx=0;entryDy=0;" edge="1" parent="1" source="n.le_l" target="n.le_b">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="_m15" value="9. claim due schedules with token 42" style="edgeStyle=orthogonalEdgeStyle;rounded=0;html=1;strokeWidth=1.4;fontSize=10;fontColor=#42536a;labelBackgroundColor=#ffffff;fontFamily=Segoe UI;verticalAlign=bottom;endArrow=block;endFill=1;strokeColor=#5a6570;exitX=0.5;exitY=0.6424;exitDx=0;exitDy=0;entryX=0.5;entryY=0.6424;entryDx=0;entryDy=0;" edge="1" parent="1" source="n.le_b" target="n.le_s">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="_m16" value="10. resumes · writes with stale token 41" style="edgeStyle=orthogonalEdgeStyle;rounded=0;html=1;strokeWidth=1.4;fontSize=10;fontColor=#42536a;labelBackgroundColor=#ffffff;fontFamily=Segoe UI;verticalAlign=bottom;endArrow=block;endFill=1;dashed=1;strokeColor=#b85450;fontColor=#b85450;exitX=0.5;exitY=0.7030;exitDx=0;exitDy=0;entryX=0.5;entryY=0.7030;entryDx=0;entryDy=0;" edge="1" parent="1" source="n.le_a" target="n.le_s">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="_m17" value="11. rejected · 41 &lt; 42" style="edgeStyle=orthogonalEdgeStyle;rounded=0;html=1;strokeWidth=1.4;fontSize=10;fontColor=#42536a;labelBackgroundColor=#ffffff;fontFamily=Segoe UI;verticalAlign=bottom;endArrow=open;endFill=0;dashed=1;strokeColor=#5a6570;exitX=0.5;exitY=0.7636;exitDx=0;exitDy=0;entryX=0.5;entryY=0.7636;entryDx=0;entryDy=0;" edge="1" parent="1" source="n.le_s" target="n.le_a">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="_m18" value="12. self-demote · stop firing" style="edgeStyle=orthogonalEdgeStyle;rounded=0;html=1;strokeWidth=1.4;fontSize=10;fontColor=#42536a;labelBackgroundColor=#ffffff;fontFamily=Segoe UI;verticalAlign=bottom;endArrow=block;endFill=1;strokeColor=#5a6570;exitX=0.5;exitY=0.8242;exitDx=0;exitDy=0;entryX=0.5;entryY=0.8606;entryDx=0;entryDy=0;align=left;spacingLeft=6;" edge="1" parent="1" source="n.le_a" target="n.le_a">
          <mxGeometry relative="1" as="geometry">
            <Array as="points">
              <mxPoint x="260" y="630" />
              <mxPoint x="260" y="650" />
            </Array>
          </mxGeometry>
        </mxCell>
        <mxCell id="_m19" value="13. LeaderChanged event · alert" style="edgeStyle=orthogonalEdgeStyle;rounded=0;html=1;strokeWidth=1.4;fontSize=10;fontColor=#42536a;labelBackgroundColor=#ffffff;fontFamily=Segoe UI;verticalAlign=bottom;endArrow=open;endFill=0;dashed=1;strokeColor=#d79b00;exitX=0.5;exitY=0.9030;exitDx=0;exitDy=0;entryX=0.5;entryY=0.9030;entryDx=0;entryDy=0;" edge="1" parent="1" source="n.le_b" target="n.le_m">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="title" value="Leader Election — Split Brain and the Fencing Token That Stops It" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;whiteSpace=wrap;fontSize=20;fontStyle=1;fontColor=#16202c;fontFamily=Segoe UI;" vertex="1" parent="1">
          <mxGeometry x="40" y="20" width="1610" height="30" as="geometry" />
        </mxCell>
        <mxCell id="rule" value="" style="line;strokeWidth=1;html=1;strokeColor=#c9d3de;" vertex="1" parent="1">
          <mxGeometry x="40" y="50" width="1610" height="10" as="geometry" />
        </mxCell>
        <mxCell id="note" value="The lease alone does not prevent split brain, because A cannot know it lost the lease until it tries to use it. The fencing token does: every write carries it, and the store rejects anything below the highest token it has seen." style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;whiteSpace=wrap;fontSize=10;fontColor=#8a97a5;fontFamily=Segoe UI;" vertex="1" parent="1">
          <mxGeometry x="40" y="790" width="1610" height="20" as="geometry" />
        </mxCell>
        <mxCell id="foot-rule" value="" style="line;strokeWidth=1;html=1;strokeColor=#e3e9ef;" vertex="1" parent="1">
          <mxGeometry x="40" y="810" width="1610" height="10" as="geometry" />
        </mxCell>
        <mxCell id="foot" value="v 1.0   ·   owner Data &amp; AI Global Practice   ·   date 2026-08" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;whiteSpace=wrap;fontSize=9;fontColor=#9aa7b4;fontFamily=Segoe UI;" vertex="1" parent="1">
          <mxGeometry x="40" y="820" width="1610" height="10" as="geometry" />
        </mxCell>
      </root>
    </mxGraphModel>
  </diagram>
</mxfile>
