🐬の推し本紹介2025: 『コーディングを支える技術 ―⁠―成り立ちから学ぶプログラミング作法』

abstract-syntax-tree.drawio.svg

<?xml version="1.0" encoding="UTF-8"?>
<!-- Do not edit this file with editors other than draw.io -->
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<svg xmlns="http://www.w3.org/2000/svg" style="background: transparent; background-color: transparent; color-scheme: light dark;" xmlns:xlink="http://www.w3.org/1999/xlink" version="1.1" width="445px" height="325px" viewBox="0 0 445 325" content="&lt;mxfile host=&quot;app.diagrams.net&quot; agent=&quot;Mozilla/5.0 (Macintosh; Intel Mac OS X 10_15_7) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/143.0.0.0 Safari/537.36&quot; version=&quot;29.2.6&quot; scale=&quot;1&quot; border=&quot;0&quot;&gt;&#10;  &lt;diagram name=&quot;ページ1&quot; id=&quot;ONUWPW1IM9Pvvi5eJNiN&quot;&gt;&#10;    &lt;mxGraphModel dx=&quot;1296&quot; dy=&quot;722&quot; grid=&quot;1&quot; gridSize=&quot;10&quot; guides=&quot;1&quot; tooltips=&quot;1&quot; connect=&quot;1&quot; arrows=&quot;1&quot; fold=&quot;1&quot; page=&quot;1&quot; pageScale=&quot;1&quot; pageWidth=&quot;827&quot; pageHeight=&quot;1169&quot; math=&quot;0&quot; shadow=&quot;0&quot;&gt;&#10;      &lt;root&gt;&#10;        &lt;mxCell id=&quot;0&quot; /&gt;&#10;        &lt;mxCell id=&quot;1&quot; parent=&quot;0&quot; /&gt;&#10;        &lt;mxCell id=&quot;xn-0Qd96mslkAmQ5uGs0-1&quot; parent=&quot;1&quot; style=&quot;ellipse;whiteSpace=wrap;html=1;aspect=fixed;fillColor=light-dark(#103C3F,#103C3F);strokeColor=light-dark(#46A8AF,#46A8AF);strokeWidth=4;verticalAlign=middle;fontSize=40;fontColor=light-dark(#EDEDED,#EDEDED);&quot; value=&quot;&amp;lt;font&amp;gt;＋&amp;lt;/font&amp;gt;&quot; vertex=&quot;1&quot;&gt;&#10;          &lt;mxGeometry height=&quot;80&quot; width=&quot;80&quot; x=&quot;160&quot; y=&quot;40&quot; as=&quot;geometry&quot; /&gt;&#10;        &lt;/mxCell&gt;&#10;        &lt;mxCell id=&quot;xn-0Qd96mslkAmQ5uGs0-2&quot; parent=&quot;1&quot; style=&quot;ellipse;whiteSpace=wrap;html=1;aspect=fixed;fillColor=light-dark(#103C3F,#103C3F);strokeColor=light-dark(#46A8AF,#46A8AF);strokeWidth=4;verticalAlign=middle;fontSize=40;fontColor=light-dark(#EDEDED,#EDEDED);&quot; value=&quot;&amp;lt;font&amp;gt;1&amp;lt;/font&amp;gt;&quot; vertex=&quot;1&quot;&gt;&#10;          &lt;mxGeometry height=&quot;80&quot; width=&quot;80&quot; x=&quot;40&quot; y=&quot;160&quot; as=&quot;geometry&quot; /&gt;&#10;        &lt;/mxCell&gt;&#10;        &lt;mxCell id=&quot;xn-0Qd96mslkAmQ5uGs0-3&quot; parent=&quot;1&quot; style=&quot;ellipse;whiteSpace=wrap;html=1;aspect=fixed;verticalAlign=middle;fontSize=40;fillColor=light-dark(#103C3F,#103C3F);strokeColor=light-dark(#46A8AF,#46A8AF);strokeWidth=4;fontColor=light-dark(#EDEDED,#EDEDED);&quot; value=&quot;&amp;lt;font&amp;gt;＊&amp;lt;/font&amp;gt;&quot; vertex=&quot;1&quot;&gt;&#10;          &lt;mxGeometry height=&quot;80&quot; width=&quot;80&quot; x=&quot;280&quot; y=&quot;160&quot; as=&quot;geometry&quot; /&gt;&#10;        &lt;/mxCell&gt;&#10;        &lt;mxCell id=&quot;xn-0Qd96mslkAmQ5uGs0-4&quot; parent=&quot;1&quot; style=&quot;ellipse;whiteSpace=wrap;html=1;aspect=fixed;fillColor=light-dark(#103C3F,#103C3F);strokeColor=light-dark(#46A8AF,#46A8AF);strokeWidth=4;verticalAlign=middle;fontSize=40;fontColor=light-dark(#EDEDED,#EDEDED);&quot; value=&quot;&amp;lt;font&amp;gt;2&amp;lt;/font&amp;gt;&quot; vertex=&quot;1&quot;&gt;&#10;          &lt;mxGeometry height=&quot;80&quot; width=&quot;80&quot; x=&quot;160&quot; y=&quot;280&quot; as=&quot;geometry&quot; /&gt;&#10;        &lt;/mxCell&gt;&#10;        &lt;mxCell id=&quot;xn-0Qd96mslkAmQ5uGs0-5&quot; parent=&quot;1&quot; style=&quot;ellipse;whiteSpace=wrap;html=1;aspect=fixed;fillColor=light-dark(#103C3F,#103C3F);strokeColor=light-dark(#46A8AF,#46A8AF);strokeWidth=4;verticalAlign=middle;fontSize=40;fontColor=light-dark(#EDEDED,#EDEDED);&quot; value=&quot;&amp;lt;font&amp;gt;3&amp;lt;/font&amp;gt;&quot; vertex=&quot;1&quot;&gt;&#10;          &lt;mxGeometry height=&quot;80&quot; width=&quot;80&quot; x=&quot;400&quot; y=&quot;280&quot; as=&quot;geometry&quot; /&gt;&#10;        &lt;/mxCell&gt;&#10;        &lt;mxCell id=&quot;xn-0Qd96mslkAmQ5uGs0-7&quot; edge=&quot;1&quot; parent=&quot;1&quot; source=&quot;xn-0Qd96mslkAmQ5uGs0-1&quot; style=&quot;endArrow=classic;html=1;rounded=0;exitX=0;exitY=1;exitDx=0;exitDy=0;entryX=1;entryY=0;entryDx=0;entryDy=0;strokeWidth=4;fillColor=#f8cecc;strokeColor=light-dark(#D7817E,#D7817E);&quot; target=&quot;xn-0Qd96mslkAmQ5uGs0-2&quot; value=&quot;&quot;&gt;&#10;          &lt;mxGeometry height=&quot;50&quot; relative=&quot;1&quot; width=&quot;50&quot; as=&quot;geometry&quot;&gt;&#10;            &lt;mxPoint x=&quot;75&quot; y=&quot;130&quot; as=&quot;sourcePoint&quot; /&gt;&#10;            &lt;mxPoint x=&quot;125&quot; y=&quot;80&quot; as=&quot;targetPoint&quot; /&gt;&#10;          &lt;/mxGeometry&gt;&#10;        &lt;/mxCell&gt;&#10;        &lt;mxCell id=&quot;xn-0Qd96mslkAmQ5uGs0-8&quot; edge=&quot;1&quot; parent=&quot;1&quot; source=&quot;xn-0Qd96mslkAmQ5uGs0-3&quot; style=&quot;endArrow=classic;html=1;rounded=0;exitX=0;exitY=1;exitDx=0;exitDy=0;entryX=1;entryY=0;entryDx=0;entryDy=0;strokeWidth=4;fillColor=#f8cecc;strokeColor=light-dark(#D7817E,#D7817E);&quot; target=&quot;xn-0Qd96mslkAmQ5uGs0-4&quot; value=&quot;&quot;&gt;&#10;          &lt;mxGeometry height=&quot;50&quot; relative=&quot;1&quot; width=&quot;50&quot; as=&quot;geometry&quot;&gt;&#10;            &lt;mxPoint x=&quot;324&quot; y=&quot;288&quot; as=&quot;sourcePoint&quot; /&gt;&#10;            &lt;mxPoint x=&quot;260&quot; y=&quot;352&quot; as=&quot;targetPoint&quot; /&gt;&#10;          &lt;/mxGeometry&gt;&#10;        &lt;/mxCell&gt;&#10;        &lt;mxCell id=&quot;xn-0Qd96mslkAmQ5uGs0-9&quot; edge=&quot;1&quot; parent=&quot;1&quot; source=&quot;xn-0Qd96mslkAmQ5uGs0-1&quot; style=&quot;endArrow=classic;html=1;rounded=0;exitX=1;exitY=1;exitDx=0;exitDy=0;entryX=0;entryY=0;entryDx=0;entryDy=0;strokeWidth=4;fillColor=#f8cecc;strokeColor=light-dark(#D7817E,#D7817E);&quot; target=&quot;xn-0Qd96mslkAmQ5uGs0-3&quot; value=&quot;&quot;&gt;&#10;          &lt;mxGeometry height=&quot;50&quot; relative=&quot;1&quot; width=&quot;50&quot; as=&quot;geometry&quot;&gt;&#10;            &lt;mxPoint x=&quot;254&quot; y=&quot;130&quot; as=&quot;sourcePoint&quot; /&gt;&#10;            &lt;mxPoint x=&quot;190&quot; y=&quot;194&quot; as=&quot;targetPoint&quot; /&gt;&#10;          &lt;/mxGeometry&gt;&#10;        &lt;/mxCell&gt;&#10;        &lt;mxCell id=&quot;xn-0Qd96mslkAmQ5uGs0-10&quot; edge=&quot;1&quot; parent=&quot;1&quot; source=&quot;xn-0Qd96mslkAmQ5uGs0-3&quot; style=&quot;endArrow=classic;html=1;rounded=0;exitX=1;exitY=1;exitDx=0;exitDy=0;entryX=0;entryY=0;entryDx=0;entryDy=0;strokeWidth=4;fillColor=#f8cecc;strokeColor=light-dark(#D7817E,#D7817E);&quot; target=&quot;xn-0Qd96mslkAmQ5uGs0-5&quot; value=&quot;&quot;&gt;&#10;          &lt;mxGeometry height=&quot;50&quot; relative=&quot;1&quot; width=&quot;50&quot; as=&quot;geometry&quot;&gt;&#10;            &lt;mxPoint x=&quot;320&quot; y=&quot;270&quot; as=&quot;sourcePoint&quot; /&gt;&#10;            &lt;mxPoint x=&quot;384&quot; y=&quot;334&quot; as=&quot;targetPoint&quot; /&gt;&#10;          &lt;/mxGeometry&gt;&#10;        &lt;/mxCell&gt;&#10;      &lt;/root&gt;&#10;    &lt;/mxGraphModel&gt;&#10;  &lt;/diagram&gt;&#10;&lt;/mxfile&gt;&#10;"><defs/><g><g data-cell-id="0"><g data-cell-id="1"><g data-cell-id="xn-0Qd96mslkAmQ5uGs0-1"><g><ellipse cx="162" cy="42" rx="40" ry="40" fill="#103c3f" stroke="#46a8af" stroke-width="4" pointer-events="all" style="fill: rgb(16, 60, 63); stroke: rgb(70, 168, 175);"/></g><g><g><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 78px; height: 1px; padding-top: 42px; margin-left: 123px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; color: #EDEDED; "><div style="display: inline-block; font-size: 40px; font-family: Helvetica; color: #EDEDED; line-height: 1.2; pointer-events: all; white-space: normal; word-wrap: normal; "><font>＋</font></div></div></div></foreignObject><image x="123" y="18.5" width="78" height="58" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAATgAAADoCAYAAAB7NvjxAAAKJUlEQVR4AezWsY4cRRAG4NuzkRMSc5YsWSLnFZAsBBHPwZsREfAIBIiEnJQECQIk7HPiAJ2FdMtuOmOzc033dFf1h7xCO56urvpq+cX1lX8IECCQVEDAJV2ssQgQuLoScH4FBAikFRBwDVerNAECfQUEXF9/txMg0FBAwDXEVZoAgb4CAq6vv9tLBZwjsEFAwG1A8goBAjEFBFzMvemaAIENAgJuA5JXCMwlkGdaAZdnlyYhQGAhIOAWIL4SIJBHQMDl2aVJCBBYCAwYcIsOfSVAgEChgIArhHOMAIHxBQTc+DvSIQEChQICrhAu6DFtE5hKQMBNtW7DEphLQMDNtW/TEphKQMBNtW7DthRQezwBATfeTnREgEAlAQFXCVIZAgTGExBw4+1ERwQILAUKvwu4QjjHCBAYX0DAjb8jHRIgUCgg4ArhHCNAYHwBAbdlR94hQCCkgIALuTZNEyCwRUDAbVHyDgECIQUEXMi1ZWraLATaCQi4drYqEyDQWUDAdV6A6wkQaCcg4NrZqkygt8D09wu46X8CAAjkFRBweXdrMgLTCwi46X8CAAjkFWgZcHnVTEaAQAgBARdiTbGaPB6PT968efPH7e3t3dbP27dvn8WaUrcRBARchC0F6/EUap+cWv70cDg82fp59+7dR6cz/hCoKiDgqnLuV8xNBAhcFhBwl428QYBAUAEBF3Rx2iZA4LKAgLts5I3ZBMybRkDApVmlQQgQWAoIuKWI7wQIpBEQcGlWaRACEQT27VHA7evtNgIEdhQQcDtiu4oAgX0FBNy+3m4jQGBHgckCbkdZVxEg0F1AwHVfgQYIEGglIOBayapLgEB3AQHXfQVpGjAIgeEEBNxwK9EQAQK1BARcLUl1CBAYTkDADbcSDRFYC3hSJiDgytycIkAggICAC7AkLRIgUCYg4MrcnCJAIIDApoALMIcWCRAgsBIQcCsSDwgQyCIg4LJs0hwECKwEBNyKZOcHriNAoJmAgGtGqzABAr0FBFzvDbifAIFmAgKuGa3C/QV0MLuAgJv9F2B+AokFBFzi5RqNwOwCAm72X4D5CZQJhDgl4EKsSZMECJQICLgSNWcIEAghIOBCrEmTBAiUCEQNuJJZnSFAYDIBATfZwo1LYCYBATfTts1KYDIBATfZwreM6x0CWQQEXJZNmoMAgZWAgFuReECAQBYBAZdlk+aIIaDLXQUE3K7cLiNAYE8BAbentrsIENhVQMDtyu0yAgTaCawrC7i1iScECCQREHBJFmkMAgTWAgJubdL1yatXrz5+/fr1V5E/jx49+vKhiNfX1y8jz3zu/by7h87t/bYCAq6ab51Cjx8//uL0H/uPkT/H4/G7Ao3vI8987v28u4K5HWkoIOAa4ipNgEBfAQHX19/tBAg0FBBwDXGVriagEIEiAQFXxOYQAQIRBARchC3pkQCBIgEBV8TmEIE8ApknEXCZt2s2ApMLCLjJfwDGJ5BZQMBl3q7ZCEwu0D3gJvc3PgECDQUEXEPcktKHw+HP07lfg39+O/X/0D+/nw5Envvnu7u7n04z+DOQgIAbaBnnVp4+ffrLzc3NZ5E/9/f3L8+zPORzOvN55JlPvb988eLF3w+Z2bvtBQRce+N+N7iZwOQCAm7yH4DxCWQWEHCZt2s2ApMLCLjJfwDGLxVwLoKAgIuwJT0SIFAkIOCK2BwiQCCCgICLsCU9EphLoNq0Aq4apUIECIwmIOBG24h+CBCoJiDgqlEqRIDAaAICbr0RTwgQSCIg4JIs0hgECKwFBNzaxBMCBJIICLgki4wyhj4J7Ckg4PbUdhcBArsKCLhduV1GgMCeAgJuT213EWgpoPZKQMCtSDwgQCCLgIDLsklzECCwEhBwKxIPCBDIIlAv4LKImIMAgTQCAi7NKg1CgMBSQMAtRXwnQCCNgIALsUpNEiBQIiDgStScIUAghICAC7EmTRIgUCIg4ErUnMkkYJbEAgIu8XKNRmB2AQE3+y/A/AQSCwi4xMs1GoHeAr3vF3C9N+B+AgSaCQi4ZrQKEyDQW0DA9d6A+wkQaCaQOuCaqSlMgEAIAQEXYk2aJECgREDAlag5Q4BACAEBF2JNAzapJQIBBARcgCVpkQCBMgEBV+bmFAECAQQEXIAlaXE2AfPWEhBwtSTVIUBgOAEBN9xKNESAQC0BAVdLUh0CBIYTeE/ADdejhggQIFAkIOCK2BwiQCCCgICLsCU9EiBQJCDgitiKDzlIgMCOAgJuR2xXfVjg/vTPh//W3xAoExBwZW5O/YfAs2fPbo/H4zdbP6dSXz9//vyv07/9IVBVQMBV5VTsLHA4HP45hdy3Wz83Nzc/nM/934/zBJYCAm4p4jsBAmkEBFyaVRqEAIGlgIBbivhOgMBaIOgTARd0cdomQOCygIC7bOQNAgSCCgi4oIvTNgEClwViBNzlObxBgACBlYCAW5F4QIBAFgEBl2WT5iBAYCUg4FYksz0wL4G8AgIu725NRmB6AQE3/U8AAIG8AgIu725N1l9AB50FBFznBbieAIF2AgKuna3KBAh0FhBwnRfgegIEygS2nBJwW5S8Q4BASAEBF3JtmiZAYIuAgNui5B0CBEIKCLjCtTlGgMD4AgJu/B3pkACBQgEBVwjnGAEC4wsIuPF3NF+HJiZQSUDAVYJUhgCB8QQE3Hg70REBApUEBFwlSGUIxBCYq0sBN9e+TUtgKgEBN9W6DUtgLgEBN9e+TUtgKoGdA24qW8MSINBZQMB1XoDrCRBoJyDg2tmqTIBAZwEB13kBFa9XigCBhYCAW4D4SoBAHgEBl2eXJiFAYCEg4BYgvhJ4n4BnMQUEXMy96ZoAgQ0CAm4DklcIEIgpIOBi7k3XBPIINJxEwDXEVZoAgb4CAq6vv9sJEGgoIOAa4ipNgEBfAQHX19/tBAg0FBBwDXGVJkCgr4CA6+vvdgIEGgoIuIa4ShMg0FdAwPX1dzsBAg0FBFxDXKUJEOgrIOD6+rudQKmAcxsEBNwGJK8QIBBTQMDF3JuuCRDYICDgNiB5hQCBmAKlARdzWl0TIDCVgICbat2GJTCXgICba9+mJTCVgIAbcN1aIkCgjoCAq+OoCgECAwoIuAGXoiUCBOoICLg6jqpEEdDnVAICbqp1G5bAXAICbq59m5bAVAICbqp1G5ZAS4Hxagu48XaiIwIEKgkIuEqQyhAgMJ6AgBtvJzoiQKCSQKKAqySiDAECaQQEXJpVGoQAgaWAgFuK+E6AQBoBAZdmlU0HUZxASAEBF3JtmiZAYIuAgNui5B0CBEIKCLiQa9N0JgGztBMQcO1sVSZAoLOAgOu8ANcTINBOQMC1s1WZAIHOAted73c9AQIEmgn4P7hmtAoTINBbQMD13oD7CRBoJiDgmtFeXV2pTYBAVwEB15Xf5QQItBQQcC111SZAoKuAgOvK7/JyAScJXBYQcJeNvEGAQFABARd0cdomQOCywL8AAAD//y18tucAAAAGSURBVAMAI+5r7xEl25EAAAAASUVORK5CYII="/></switch></g></g></g><g data-cell-id="xn-0Qd96mslkAmQ5uGs0-2"><g><ellipse cx="42" cy="162" rx="40" ry="40" fill="#103c3f" stroke="#46a8af" stroke-width="4" pointer-events="all" style="fill: rgb(16, 60, 63); stroke: rgb(70, 168, 175);"/></g><g><g><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 78px; height: 1px; padding-top: 162px; margin-left: 3px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; color: #EDEDED; "><div style="display: inline-block; font-size: 40px; font-family: Helvetica; color: #EDEDED; line-height: 1.2; pointer-events: all; white-space: normal; word-wrap: normal; "><font>1</font></div></div></div></foreignObject><image x="3" y="138.5" width="78" height="58" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAATgAAADoCAYAAAB7NvjxAAALDklEQVR4AezcvYplWRUH8KpqQRHsCaobjIxkEMFJBRMjkckEvzAwFXwDEY0mMDUT38CvBzARfAGFDifqUOyPQqYDtcUu18VghnMb+tTus7/W/g1nT829c87ea/3W5U91FfTVhX8IECCQVEDAJR2stggQuLgQcD4FBAikFRBwFUdrawIE+goIuL7+TidAoKKAgKuIa2sCBPoKCLi+/k4vFfAcgR0CAm4HklsIEJhTQMDNOTdVEyCwQ0DA7UByC4G1BPJ0K+DyzFInBAhsBATcBsRLAgTyCAi4PLPUCQECG4EBA25ToZcECBAoFBBwhXAeI0BgfAEBN/6MVEiAQKGAgCuEm/QxZRNYSkDALTVuzRJYS0DArTVv3RJYSkDALTVuzdYUsPd4AgJuvJmoiACBgwQE3EGQtiFAYDwBATfeTFREgMBWoPC1gCuE8xgBAuMLCLjxZ6RCAgQKBQRcIZzHCBAYX0DA7ZmRewgQmFJAwE05NkUTILBHQMDtUXIPAQJTCgi4KceWqWi9EKgnIODq2dqZAIHOAgKu8wAcT4BAPQEBV8/WzgR6Cyx/voBb/iMAgEBeAQGXd7Y6I7C8gIBb/iMAgEBegZoBl1dNZwQITCEg4KYYkyIJECgREHAlap4hQGAKAQE3xZjOi5z5ndvb26u9a+Y+1d5fQMD1n8FSFTx79uxXNzc3/927TvcvBaTZQwUE3KGcNnuTwOXl5ftvumfz/z+3ee0lgd0CAm43lRvfVuDx48efiT2+EGvsS3VpBARcmlGO38j9+/d/GFVexnIRaCIg4JowO+QkEH88/cHpq0WglYCAayXtnIv4zelXMawu0LZ/AdfWe9nT4reh34rmPxvLRaCZgIBrRr32QfHH01+sLaD7HgICrof6YmfGd29fipZPK764CLQTWCzg2sE66WOB+O7tlx+/8l8E2gkIuHbWS5704sWLh9H4N2K5CDQXEHDNydc68OXLl3+Kjn3OAsHVXsAHr7151hPP+oqfvf003vxKLBeBLgICrgt7/kOfPHnyxfjZ2wf5O9XhyAICbuTpTFrb8+fPv3zv3r2/Rvk+X4Hg6ifgA9jPPuXJEW7fjcYexfK3gATCUZd9ygQEXJmbpzYCp9+WRrj9Nt7+XaxPxXIR6C4g4LqPYO4Cbm5u3otfJvw5flv69+jke7FcBIYREHDDjGKeQuI7tW/G+n2sZ7e3t4/ilwlfj+r9NUiB4BpLYFfAjVWyaloKxHdo70SQfT/Wr2M9ivWfOP+Psb4T6zqWi8CwAgJu2NG0Lezp06fvRnidguyD+PqHWB/G+md8h/aPqOQ3sX4U671Yfr4WCK45BATcHHM6vMr4zuwnEWB/i5+f/Su+3l5dXX0Yh5yC7Gfx9dux3o11+ivG44uLwJwCAq733Dqd/+rVq6/F0Z+Pn599Or66CKQUEHApx6opAgROAgLupGARIJBSQMClHKum/i/g36sLCLjVPwH6J5BYQMAlHq7WCKwuIOBW/wTon0CZwBRPCbgpxqRIAgRKBARciZpnCBCYQkDATTEmRRIgUCIwa8CV9OqZTwhcXl6e/lLKj+Ktquv29vbfcYaLQBcBAdeFvf+h19fXP4/1Tu0VAfd+/25VsKqAgFt18vomsICAgFtgyHdt0f0EsggIuCyT1AcBAmcCAu6MxBsECGQREHBZJqmPOQRU2VRAwDXldhgBAi0FBFxLbWcRINBUQMA15XYYAQL1BM53FnDnJt4hQCCJgIBLMkhtECBwLiDgzk28Q4BAEgEBd9ggbUSAwGgCAm60iaiHAIHDBATcYZQ2IkBgNAEBN9pE1PM6Ae8RKBIQcEVsHiJAYAYBATfDlNRIgECRgIArYvMQgTwCmTsRcJmnqzcCiwsIuMU/ANonkFlAwGWert4ILC7QPeAW99c+AQIVBQRcRVxbEyDQV0DA9fV3OgECFQUEXEXc7lsrgMDiAgJu8Q+A9glkFhBwmaerNwKLCwi4xT8A2i8V8NwMAgJuhimpkQCBIgEBV8TmIQIEZhAQcDNMSY0E1hI4rFsBdxiljQgQGE1AwI02EfUQIHCYgIA7jNJGBAiMJiDgzifiHQIEkggIuCSD1AYBAucCAu7cxDsECCQREHBJBjlLG+ok0FJAwLXUdhYBAk0FBFxTbocRINBSQMC11HYWgZoC9j4TEHBnJN4gQCCLgIDLMkl9ECBwJiDgzki8QYBAFoHjAi6LiD4IEEgjIODSjFIjBAhsBQTcVsRrAgTSCAi4KUapSAIESgQEXImaZwgQmEJAwE0xJkUSIFAiIOBK1DyTSUAviQUEXOLhao3A6gICbvVPgP4JJBYQcImHqzUCvQV6ny/gek/A+QQIVBMQcNVobUyAQG8BAdd7As4nQKCaQOqAq6ZmYwIEphAQcFOMSZEECJQICLgSNc8QIDCFgICbYkwDFqkkAhMICLgJhqREAgTKBARcmZunCBCYQEDATTAkJa4moN+jBATcUZL2IUBgOAEBN9xIFESAwFECAu4oSfsQIDCcwGsCbrgaFUSAAIEiAQFXxOYhAgRmEBBwM0xJjQQIFAkIuCK24oc8SIBAQwEB1xDbUQQItBUQcG29nUaAQEMBAdcQ21F1BexOYCsg4LYiXhMgkEZAwKUZpUYIENgKCLitiNcECJwLTPqOgJt0cBOV/dFb1vriLZ/3+MICAm7h4bdo/eHDh3+5vr6+LF0PHjz4cYs6nZFTQMDlnKuuCBAIgTkCLgp1ESBA4K4CAu6uYu4nQGAaAQE3zagUSoDAXQUE3F3F0t2vIQJ5BQRc3tnqjMDyAgJu+Y8AAAJ5BQRc3tnqrL+ACjoLCLjOA3A8AQL1BARcPVs7EyDQWUDAdR6A4wkQKBPY85SA26PkHgIEphQQcFOOTdEECOwREHB7lNxDgMCUAgKucGweI0BgfAEBN/6MVEiAQKGAgCuE8xgBAuMLCLjxZ7RehTomcJCAgDsI0jYECIwnIODGm4mKCBA4SEDAHQRpGwJzCKxVpYBba966JbCUgIBbatyaJbCWgIBba966JbCUQOOAW8pWswQIdBYQcJ0H4HgCBOoJCLh6tnYmQKCzgIDrPIADj7cVAQIbAQG3AfGSAIE8AgIuzyx1QoDARkDAbUC8JPA6Ae/NKSDg5pybqgkQ2CEg4HYguYUAgTkFBNycc1M1gTwCFTsRcBVxbU2AQF8BAdfX3+kECFQUEHAVcW1NgEBfAQHX19/pBAhUFBBwFXFtTYBAXwEB19ff6QQIVBQQcBVxbU2AQF8BAdfX3+kECFQUEHAVcW1NgEBfAQHX19/pBEoFPLdDQMDtQHILAQJzCgi4OeemagIEdggIuB1IbiFAYE6B0oCbs1tVEyCwlICAW2rcmiWwloCAW2veuiWwlICAG3DcSiJA4BgBAXeMo10IEBhQQMANOBQlESBwjICAO8bRLrMIqHMpAQG31Lg1S2AtAQG31rx1S2ApAQG31Lg1S6CmwHh7C7jxZqIiAgQOEhBwB0HahgCB8QQE3HgzUREBAgcJJAq4g0RsQ4BAGgEBl2aUGiFAYCsg4LYiXhMgkEZAwKUZZdVGbE5gSgEBN+XYFE2AwB4BAbdHyT0ECEwpIOCmHJuiMwnopZ6AgKtna2cCBDoLCLjOA3A8AQL1BARcPVs7EyDQWeCq8/mOJ0CAQDUB38FVo7UxAQK9BQRc7wk4nwCBagICrhrtxcWFvQkQ6Cog4LryO5wAgZoCAq6mrr0JEOgqIOC68ju8XMCTBN4sIODebOQOAgQmFRBwkw5O2QQIvFngfwAAAP//c+4DPwAAAAZJREFUAwDcXwTgeWYjvgAAAABJRU5ErkJggg=="/></switch></g></g></g><g data-cell-id="xn-0Qd96mslkAmQ5uGs0-3"><g><ellipse cx="282" cy="162" rx="40" ry="40" fill="#103c3f" stroke="#46a8af" stroke-width="4" pointer-events="all" style="fill: rgb(16, 60, 63); stroke: rgb(70, 168, 175);"/></g><g><g><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 78px; height: 1px; padding-top: 162px; margin-left: 243px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; color: #EDEDED; "><div style="display: inline-block; font-size: 40px; font-family: Helvetica; color: #EDEDED; line-height: 1.2; pointer-events: all; white-space: normal; word-wrap: normal; "><font>＊</font></div></div></div></foreignObject><image x="243" y="138.5" width="78" height="58" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAATgAAADoCAYAAAB7NvjxAAAQAElEQVR4AeydCZBlVXnHu3s2a2B6ZnqZRjZpBFncABOEUgoFLUDCVipYEgwyiYYkiiYgmIBVKgIlRChJBaMsBiK4YAKIFTBsiUgBKhLZDNtMBGZgZrpfMwOpmel+Pfl9MN3Ty3vv3nvuOe9uf+oc7nbO933nd/r+59z77rm3q0P/iYAIiEBJCUjgStqxapYIiEBHhwROfwUiIAKlJSCBC9i1Mi0CIpAtAQlctvzlXQREICABCVxAuDItAiKQLQEJXLb85d2VgOqJQAwCErgYkFREBESgmAQkcMXsN0UtAiIQg4AELgYkFRGBahEoT2slcOXpS7VEBERgBgEJ3Awg2hQBESgPAQlcefpSLREBEZhBIIcCNyNCbYqACIiAIwEJnCM4VRMBEcg/AQlc/vtIEYqACDgSkMA5gitoNYUtApUiIIGrVHersSJQLQISuGr1t1orApUiIIGrVHersSEJyHb+CEjg8tcnikgERMATAQmcJ5AyIwIikD8CErj89YkiEgERmEnAcVsC5whO1URABPJPQAKX/z5ShCIgAo4EJHCO4FRNBEQg/wQkcHH6SGVEQAQKSUACV8huU9AiIAJxCEjg4lBSGREQgUISkMAVstvKFLTaIgLhCEjgwrGVZREQgYwJSOAy7gC5FwERCEdAAheOrSyLQNYEKu9fAlf5PwG/AIaGhq4aGhq6wyUPDw+f7zcaWas6AQlc1f8CPLYfUdsXc6eRD3fJW7ZsOYF6SiLgjYAEzhtKGVq/fv2zaSggcGvT1FddEZhJIKTAzfSl7ZITGBwc3EgTt5CdUmdn5xqniqokAk0ISOCagNFuNwKMwja71Xyt1urX/q//iYAnAhI4TyBl5nUCjMJeeX0t+f+p+3zyWqohAs0JSOCas8n1kRwHt941NkZ/v3etq3oi0IiABK4RFe1LQ2Cda2UEbqVrXdUTgUYEJHCNqGifMwFE6iXXyvV6XQLnCk/1GhKQwDXEop2uBLiPtsq17sDAgLM4uvpsWE87S0NAAlearsxHQxjBPecYyZhjPVUTgaYEJHBN0eiAC4Guri7Xy8xNLv5URwRaEehqdVDHRMCBwAqHOlblVfufctkJtLd9Erj28i69t9HR0acdG/myYz1VE4GmBCRwTdHogAuBFD8UDLv4Ux0RaEVAAteKjo65EhhNWpEfJzTRPik0lY8kUDGBi+ShAn4I2KT7RJY6OztfTFRBhUUgBgEJXAxIKpKYgMt81BcSe1EFEYggIIGLAKTDTgSGHGq5Pj/n4EpVqkJAAleVng7fzkkPXG4mvp/GPbj/nTSgFRHwREAC5wmkzGwjgFglnnI1d+7cVG8D3uZdayKwjYAEbhsLrfkjkPhyc/HixYnr+AtXlspKQAJXwJ4dHh4+hHxOXkNnBJf0vW5buKxN/GhJO9o/NDR0Enk12T6o0w6XDX1opxsBCZwbt0xrISD/Rr6Qk+7ZWq22W6bBNHDe1dWVaLoWbUnzmvMGEaTfRUwL4Hsblr5P3oF8I1mpYAQkcAXrsHXr1p1LyL1kS4Pj4+PPcCKeaRt5yRZTklgYvf1fkvKhyzI6thGy/VByxBRf+8D5pCnbWi0AAQlcATppIsRVq1YtRAzOm9jeurQ+vJiT7+H169f3bd2X6aK3tzfRCI5gnV9zTl2vCY5XMnr7L4wuIs9M3+aY8Z65X9s5JRCrs3Iae+XCWrBgwdU0ej65UXrn6OjoKkZ4pzY62M59iLC9+ijJ5wNr7YyvkS+47Y242cs6lzc6vnVfN6O7r29d16IABCRwBegkC3FkZGSQ5YnkVmke4nINJ+s9NtprVbANx0zk4rpxeTA4ru3IcvA6F26PUfCN5Kh0BiPliVsEUWV1PGMCEriMOyCu+3q9/iPKdpIjEyfroYz21jLaOCaycLgCsd/vxmVfJvNQN2zY0M+o7RF4fRUMcc+FuYyUf0B5pQIQiNupBWhKQUOMETYjjA9Q7F3kJGkhwnELIncTyzlJKnoqG/v9bgiMXRp6chvPDExP2bx5s81/fVu8GtNKHU79A6ft0UYuCUjgctkt04NCAK6bvif+FuJ2HCK3jvze+LW8lEzy+UATGi9Oo4ysWLHiDYza7oTptZSdR3ZK1P+hU0VVaisBCVxbcSd3xsn4OWrZc1gsnNMShO7n2LrS2ULCiviLPV2Lsm2Zh8qo67Du7m57/OOwhM1pVPxN8PxUowPalx8CErj89MWsSDjxF7DzQrKvtJyTcjWjOZfLskQxMMKJfdk5Z86clYmMxy78ekE4dtHu7xLTnezZnuwrXYpt51GgryBkpzkBCVxzNpkfQYj+kSDeQPaZduCk/C2jGZ/COSs+fMSeW0rZpM/NzfLXbAfCti8cTWz/pFmZFPsXYvuKFPVVNTABCVxgwK7m165da48shHqmjcFM5zmc/M9wgu7qGmOrekmma/X09MT+QaKVz5nHaN9X2PcoeYAcKn0SPzuHMi676QhI4NLxC1YbBboB46H7Z3cbPXGCfh5fXpPZjWnQ+yR7+8eBNj2Bf5v1EevRGsq6Juuj77hWLnC9QoRunVOIQKsWJAJnN+mTzAZwRWR/A9/gkvUhnw+wzp8/P+7nAxN/v6FVQxG25Ywe7UeLvVuV83jsCfrqAo/2ZMojAfvj9mhOpnwR6O3ttYnduzISuhWb4+SgiZN0/9HXp3qd4sPRokWL7NfKOKZcvt8wy67N3ECk7+GA/VLcjhv/9yOk+9NP+3KJ/XP8KuWQgAQuh50yERInz/N9fX3H8CujTaL/Z/Z7v5zD5tQ0H6G7lvtyd5lgTD3guB4n3hFH25PVGLUdYTM3iP3QyZ1hVmxEfRvCNkjfHLx06dKHw7iRVV8EiipwvtpfCDtLliypcUKdykjB3nBxKUF7vazD3rTEqPH9JhgI3YemHUi+ESdO53moxGmPf9i9Sntv28Lk4cWuMYav6+fNm9dPPxyFsAV9rCV2VCoYSUACF4koPwUYoWziBPtrhG471r9IZKlHP9holmyq108ZHd3IyT2nWaGI/XFegxT3Unaaq1qtth8CbPcpPzbtgMcN2r0Jzpdzb3IRI+mTu7u7ncXYY1gylYCABC4BrLwU5aQbR+QuQuyWEpO93mc1y1DpwwjJWoTuYAcHw1F1EJHEsXOv7aLx8fGHsG2X7iy8pw3EdR58F8L5s4ODg3FGot6DkMH0BCRw6RlmaoGT8GryjojeHxHIU+TUqYEBE9L7ELl/anCs6S5iipyP2tXVFfuBYPzvPDw8/BR2z8ZpiMc/bET4aXh2M2I7Hz/Bf9yhHUoBCUjgAsJtp2lGGj/lxHwLI4+DyL8J5PtTiMwqcqwPsDDKshkEUaE8H1XAjiNsp7NcQdv2YOk7md0T4LcD+du+jctedgQkcNmxD+KZkccD5AMQl70YgdyNE/vlj4W3ZDMsHkVwzo9hMY54tbxhj5h2k+9D2Gza2twYPpMU+W8YHYKo7Q6zm5JUVNliEJDAFaOfEkfZ39//JKO6w8bGxkyQfowBn5dbnQjO3yE8T5JbTVOKvPxEiJvOQ0VE7YWddtnocv+PJjdMhL7lPznyVoRtPxjdy3r7kjy1lYAErq242+9sYGDgJU7kj+DZ7qPZ5ZfPT/Ttid0ViNwZLGcl7q81Fa+JwoycZr0LDgWag0379fYWyvl62cA4o7Wbsb0LPt8Hk8exrVRyAhK4knfwRPM4odeTP82IZXtOdHuTSOxXik/YaLK0y8bLGG39emRkxER0sli9Xo+arjVrVLl27do/wNYajHyY7CPZw8bX0Gaa3nM84jZLUH04kY18EpDA5bNfgkXFiT7Kmf63iJ29F80m2Xt5touR0QEI2ouI08cngkdMokZwGyfK2pJR22WM+h5kvYecNtm3Vi+mrYto62ksg7yxJG2Qqu+TwGxbErjZTCqzhxP/MnIfomeiFHm/LAaY+Qjd9xCqO+3V4Ni10dOsUdoUOyZCHbVabTfqmBjapW7axz/sE4RnIWgmbF8ghiRf95oSmlbLQEACV4ZeTNkGxOAGhM4m9n8QU/aaIRapkr0afB2idSRWWt3zW0+ZM/ih4RnK7UZOk15AXD9BO3rIlyBsrYQ1jR/VLRABCVyBOit0qFxS3oE47Mtl4gH4eoCcJm1H5X8nt/qRYHeOX0ZO83f4JPWPIu6did/54zzYUCohgTR/WCXEkaZJ5am7dOnS3yAYByF0g7TqdrLvZ+kwmTr9kpHfHxLnXmSbbJ/aoAyUj4AErnx96q1FCN1KxONIe4sGl3/XY3iMnGUyob1jzpw5byauA/v7+3+VZTDynX8CErj891HmEdpbNLj8O9neqsG9rcsRu3bfuDdh/eH8+fMHELYPLlmy5NnMoSiAQhCQwBWim/IRpL1Vgx8kPovIbIfI2fcONgSObDN+rti0adNifJ6U4C3BgcOS+aIQkMAVpadyFCejuDojuvMRnW7WbRK8TafyGaG9xvyriOlC/PzFjjvu+NrjJD4dyFY1CEjgqtHPwVqJCH0LobNvrZ6AE3uWjYV7YsT2GezZM2xfQjzr7pZUUwQ6OiRw+ivwQgAxssc14rw9pKU/7FwwNDT0JYTO9S3CLe3r4GwCZd4jgStz77ahbcPDw+9BkOzjK4/h7hBy2mTfnfgyNl/F9uWePn6TNibVLygBCVxBOy7rsNetW3ccIvQMIy173dA7fcfDSG4Btv9qwYIFL+Pre/yCG+r15L5Dl70cEZDA5agzihAKoracvBoBshdE2kyE0GHPxdfHR0dH1+D3tpGREXv4OLRP2S8JgcwFriQcS90MRlJdXC6eg8DYGzmupLE7kNudOnF4RL1ef5Y47q/VavuzrSQCLQlI4FriqfZBhG0BYnIJ4vYq6/YOue6cEHn3+Pj4Q8T2OJevH8hJTAojhwQkcDnslKxDGh4eXox4XMPSHuT9G+JpNWGew02T1Y96q4fNUmhqIOLAPly+/gex/p5Y7ZVPEcV1uGoEJHBl7vGEbWM0tBNCYa/1HqbqqeR5ZNf0s56enl5GfvZOuIY2OLaJbK9JskdMGpaJuXMX7Nh76OwVTZ+LWUfFKkBAAleBTo5qIiOgfRG3exgNPYdQHEv5NH8Xm7FzSm9v7xEsR8nzsdcw2bG+vr4XKLsXBewrXTaZnlXn1EvNS2nPKwj1BbQljUBjSqnoBNL8IRe97ZWPHyE4mGzfUH0MsTkUIHYjn4VzemTevHk79fT0/ItZsLf6smxl077OtYAyHYiczW19G+uryWmTzZX9IiL3Cu37Djkv9w7Ttkv1ExKQwCUEVobinPjHkJ+iLfeR9yOnTeOMls5DpN7R3d09+TX77bffftcow4jP5GMf1H+cvCN17JdaFqmTjR7/FCs1/Pzr2rVr7ROKbPpIslEEAhK4IvSSpxg5yU8jr0aMbiHv4cnsi9h5O5eadonJ6ra09YWZ23Y0WGPkaPfgph1B5P6M/e9l5wjZR7K/8xOI5wWE/S6E7i0+jMpG/glYgAlJVgAADHRJREFUx+c/SkXoTAAhs2fYzkbY7GMsV2HI5zNs30WM3khu9o3RyBEcQjY5giO2ycRl7i/Iyzh+8+TO9Ct2Sfx+hO5/uOf4EPnd6U3KQp4JSODy3DspYkPY7Bm2ixmxbGD9IkwtIftK9lzc4QjbJyMM7hJx3A43LYO42ScOjyf+4yk47RODbKdK2N6ffD98niIfncqYKvsm4M2eBM4bynwY4mS1Z9iuZmnPoJ1JVAvJ3hKicLfNC+WS9K4YRneKUWbnqDL4urler/dT7hdkrwnx3IN8KyPc1eTlXo3LWOYEJHCZd4GfALjcsmfYbuJktWfYbGTl+xEJe55tOZeNhw0ODsYdTQ1EtY54Y10yL1u27BVGjHZfzn40sFiiTCc9bnFcicjV+MfhHOLSuZGUYA7LqxNz2ClJQkLY9uaEvJuRlT3Ddhx1Q/Tp78bGxnZBYK7GfpJko66o8nHKTNoghqssFnY0u+/HoVRpCeJ2IUxfRey+sfVRl1QGVTk7AiFOhuxa48dzIaxw8h2MuD2EsD3BCfk+gm71vBmHnZI9eGuvJt9nYGAg8WvJia0nhtelMcpMK2KxIHRvpd3nciBqKhhFnJJNT/t8d3f3esTu2pGRkcRxOnlVJa8EJHBecYY3xsl2NPm1Z9gQkJBv1FiD/XcgJPYArlPDEKA4D9jGKdPQP/fmvlav120WxHMNC/jZOY92nIIfmwZ2K+wjfxn241ZWfBCQwPmg2AYbjNZOZdS2ipPtVrKvZ9gaRo796xG2Ae63PdqwQPyd20cVxVeqH0G4N/c0se6KGP8DvmzEySJIsnPlaOJdST/ci9DZrIsgjmTUHwHrNH/WZMkrAU4me4btLE6oGifwNRgP/SS+fb3qKEZGJ+PLR7KZBNPszNygXZFlZtZptI0Yf2Z8fPxAjtmPLCyCJbsV8B765hH65be1Ws2muAVzJsPpCEjg0vELVpsRwulke4bt6zjx+Qwb5hqmezdt2tTPaOi2hkfdds6NUa3T1438/v7+XyF0y/D5I3I70tsR1XsQuu+3w5l8JCcggUvOrF01DsZRqss36sdJY4yiTkfYDvH5/dGXXnop8hGRieC4ke/t1ee0pU5bTsT2UeRXycETozn7LkVwP3KQnIAELjmzttTYuHHjn+NoMzlYQgyexvggo55vsfSa5s6dG1u0iKPhdK00ASFytzEitaled6exE6Puai7p7f5fjKKBi8j8LAISuFlI8rFj62jqa4GisZvxFyNseyIEz4fwgWjNmkTfzA+Xed4FznwZQ9p4GCOsT7Ad5B8LYvd1v5IQlXwTkMD5JurRHuLzFcz5vmk+1NXV9S5sfwHbIVPkFKwpzpOUnVIt3iojrOvsPXWUtu+3svCWHuS+X+gRordgq2hIApfzXmf04XN+5I09PT3Lli5dai+5DN3yppPoGzgOKnDmj/t86xB1e27wLLZ9PBy8hX8oTsKWUo4J+BO4HDeyyKEx+riJ+NNOS9rIJeOxnOAfZenj5Cak1glhjv1ICzHZPNDWBj0dhcElCNObMbeC7Jxo3w38Q7HS2YAqtoWABK4tmFM7+WgKCw9Q1x7a/QnLtiUEIMkc0yRlU7fBhAmhsx9B/h5jdj+SRaK0ecOGDT5H1omcq3B8AhK4+KwyK8nJ+DiCcWvCAMaocwZ1DyKvT1g3dXFGZUlEK5N5nnA5k9HcATR2DTl2guuXE7xRJbZdFfRPQALnn2kAix0dnIh/jOExcpy0kvJ7cnn7zTiFA5VJ8nDyokAxRJplNPcw9yXfiGi99qGcyAodHevgekGMciqSAwISuBx0QpwQOAlfptxl5FbJLre+ychkkBM36/tDkfNQpzSkHQ80T3E3fZXR5jiidQoidzhH7EWhLBonyp7W+Ij25pGABC6PvdIkJkTubA41OwFrnKB2OXoGZfKQ7HVDcePw/XLOuH6nlUPk7oKxXVrfPu3Ato1HON7We5nbXGvNhYAEzoVaRnUYPdjn+f5ypnv238KJ188J+uDMYxluJxGtzjVr1iQZ8fls1jRbsNzECPhIdn6MfzA2sZxIbG6xKWAT21oWgIAErgCdNDVEROw6tp8ld3DG2Qn4EcTtOE7Muu3LQ94qVp1JYkkytSuJXdeyiNwPiMkedfml2YDvLbD/na0rF4eABK44fTUZ6fj4+ImI20/sBORE/PHkgZysEFfsaVoTIdOmINO1Juy7LJcsWVKDr72C6YixsTH7kcfFjOpkSEAClyF8V9f9/f2/ZjRxrJ2ArjYC13tTUvuMkBKLYlIfruURuZ8tW7bsFdf6Va6XddslcFn3QAn9MxpzEavg07VKiFpNiiAggYsApMNOBFzEyqWOU3CqVB0CErjq9HXbWsrlpt2cT+SPOrFfkJnIsApXmkCpBa7SPZtt4xMLHD+a9GUbsryXkYAEroy9mnGbGI25iFWcb6hm3DK5LxoBCVzReqwA8TIac5k8n9l81AIgVYiOBCRwjuAqX601gO7WhxseTTK1q6EB7RSBmQQkcDOJaNsHge0cjCSZ2uVgXlWqSEACV8VeD99ml485dw4NDbmM/MK3Rh4KS0ACV9iuy2fg3H+bQ2ROf1ddXV32KnGqVz2p/b4IOP0h+nIuO+UjUKvVdnJtVb1ez918VNe2qF4+CEjg8tEPpYmis7PTWaQ6OzsTz2EtDTg1JAgBCVwQrNU1yihs1xStT/KpwRRuVLUqBBoIXFWarnYGIpBG4JwvbwO1RWYLTkACV/AOzGH4zpPmuURdlsP2KKQCE5DAFbjz8hg6v4Tu4BoXv8BK4FzhqV5DAhK4hliC7Sy94ZQileRTg6VnqQamJyCBS89QFqYT6J2+mWhL81ET4VLhKAISuChCOp6UwOKkFaaU13zUKTC0mp6ABC49Q1mYTsBlHuqEBZsFMbGeeKkKIjCTgARuJhFtpyLAL6Fncx/uPJeM4w+RlUTAGwEJnDeUMmQEenp6rujr6zu/zyH39vbebjaURcAXAQmcL5KyIwJlJlDQtkngCtpxClsERCCagAQumpFKiIAIFJSABK6gHaewRUAEogkUQ+Ci26ESIiACIjCLgARuFhLtEAERKAsBCVxZelLtEAERmEVAAjcLSdV2qL0iUF4CErjy9q1aJgKVJyCBq/yfgACIQHkJSODK27dqWfYEFEHGBCRwGXeA3IuACIQjIIELx1aWRUAEMiYggcu4A+ReBETAjUCcWhK4OJRURgREoJAEJHCF7DYFLQIiEIeABC4OJZURAREoJAEJnGO3qZoIiED+CUjg8t9HilAERMCRgATOEZyqiYAI5J+ABC7/fVS9CNViEfBEQALnCaTMiIAI5I+ABC5/faKIREAEPBGQwHkCKTMiUAwC1YpSAlet/lZrRaBSBCRwlepuNVYEqkVAAlet/lZrRaBSBNoscJViq8aKgAhkTEACl3EHyL0IiEA4AhK4cGxlWQREIGMCEriMO8Cje5kSARGYQUACNwOINkVABMpDQAJXnr5US0RABGYQkMDNAKJNEWhEQPuKSUACV8x+U9QiIAIxCEjgYkBSEREQgWISkMAVs98UtQiUh0DAlkjgAsKVaREQgWwJSOCy5S/vIiACAQlI4ALClWkREIFsCUjgsuUv7yIgAgEJSOACwpVpERCBbAlI4LLlL+8iIAIBCUjgAsKVaREQgWwJSOCy5S/vIiACAQlI4ALClWkREIFsCUjgsuUv7yLgSkD1YhCQwMWApCIiIALFJCCBK2a/KWoREIEYBCRwMSCpiAiIQDEJuApcMVurqEVABCpFQAJXqe5WY0WgWgQkcNXqb7VWBCpFQAKXw+5WSCIgAn4ISOD8cJQVERCBHBKQwOWwUxSSCIiAHwISOD8cZaUoBBRnpQhI4CrV3WqsCFSLgASuWv2t1opApQhI4CrV3WqsCIQkkD/bErj89YkiEgER8ERAAucJpMyIgAjkj4AELn99oohEQAQ8ESiRwHkiIjMiIAKlISCBK01XqiEiIAIzCUjgZhLRtgiIQGkISOBK05VBGyLjIlBIAhK4QnabghYBEYhDQAIXh5LKiIAIFJKABK6Q3aagy0RAbQlHQAIXjq0si4AIZExAApdxB8i9CIhAOAISuHBsZVkERCBjAl0Z+5d7ERABEQhGQCO4YGhlWAREIGsCErise0D+RUAEghGQwAVD29HRIdsiIAKZEpDAZYpfzkVABEISkMCFpCvbIiACmRKQwGWKX87dCaimCEQTkMBFM1IJERCBghKQwBW04xS2CIhANIH/BwAA//8HscWGAAAABklEQVQDAH3/+ivTQNe1AAAAAElFTkSuQmCC"/></switch></g></g></g><g data-cell-id="xn-0Qd96mslkAmQ5uGs0-4"><g><ellipse cx="162" cy="282" rx="40" ry="40" fill="#103c3f" stroke="#46a8af" stroke-width="4" pointer-events="all" style="fill: rgb(16, 60, 63); stroke: rgb(70, 168, 175);"/></g><g><g><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 78px; height: 1px; padding-top: 282px; margin-left: 123px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; color: #EDEDED; "><div style="display: inline-block; font-size: 40px; font-family: Helvetica; color: #EDEDED; line-height: 1.2; pointer-events: all; white-space: normal; word-wrap: normal; "><font>2</font></div></div></div></foreignObject><image x="123" y="258.5" width="78" height="58" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAATgAAADoCAYAAAB7NvjxAAAQAElEQVR4AeydC5BkVXnHZ7pndyzcx7x2plg3whrCw1gmEZUkQFJuHsZYWFk1YTWmSIQkmBijMUnFFBICiUlKKuILVHygliVK+a5SCxFfWJZiFSK6lEC5q+LCbHcP4yC4uzM97f8sK4/emdnb95xz73n8ts6Z2933nO/x+3r/de693bcbQ/yDAAQgkCgBBC7RwpIWBCAwNITA8S6AAASSJYDAeSwtpiEAgXoJIHD18sc7BCDgkQAC5xEupiEAgXoJIHD18sd7WQLMg0ABAghcAUgMgQAE4iSAwMVZN6KGAAQKEEDgCkBiCATyIpBOtghcOrUkEwhAoI8AAtcHhKcQgEA6BBC4dGpJJhCAQB+BAAWuL0KeQgACEChJAIErCY5pEIBA+AQQuPBrRIQQgEBJAghcSXCRTiNsCGRFAIHLqtwkC4G8CCBwedWbbCGQFQEELqtyk6xPAtgOjwACF15NiAgCEHBEAIFzBBIzEIBAeAQQuPBqQkQQgEA/gZLPEbiS4JgGAQiETwCBC79GRAgBCJQkgMCVBMc0CEAgfAIIXJEaMQYCEIiSAAIXZdkIGgIQKEIAgStCiTEQgECUBBC4KMuWUtDkAgF/BBA4f2yxDAEI1EwAgau5ALiHAAT8EUDg/LHFMgTqJpC9fwQu+7cAACCQLgEELt3akhkEsieAwGX/FgAABNIl4FPg0qVGZhCAQBQEELgoykSQEIBAGQIIXBlqzIEABKIggMBFUaajgwzxlf3795/UbrfPm5ube7P6jZ1OZ7f6XvV71e9T/6n6QY05oK15fre2ZsxNGv8JPb5a/TI9flmr1Xp6iDkSU1wEELi46hVMtL1erymher4E6aPqLfXlZrN55/Dw8DXa93L1ZynY09RPUJ9RH1N/vPp6jRnV1jx/grZmzJka/zw9vkD9Ij2+stFo3Cybh9RvU79covdU7aNBYCACCNxAuPIeLOFpSGxeKbG5U/2QhOojIrJTfUp9WN11WyeDT1F/tXzfKt8H1b8l36/TanGDXqdBYE0CCNyaeNhpCEhUtql/UMLyMz1/g8TmJG3reO+sl99fk//XaLVoDnHfuW/fvuP0mtuGtWQI1PEmTQZe6oksLCxMStg+rzx/pL5L3QiMNkG0EUVx/ujo6LwOla+S6JnDXr1Eg8AjBBC4R1jw6FEEJGyXLC4u3quXdqiH3NbpUPlCrS4XFPMbJXTmsDbkeImtQgIIXIWwY3Cl1dCpEgojbP+heM0qSZsomlldvkJC96P7779/SxQRZxlktUkjcNXyDtqbxO1PtBq6TUGaq57aRNlmDh069P1Wq3VylNETtFMCCJxTnPEa06rtUonbx5RBTKs2hbti29BoNG7Tau6sFffyYjYEELhsSr16ohK392jva9VTaut1Pu5Lyu3clJIil8EIZCZwg8HJYbQE4BLl+ZfqKTbz/r5WOZ6fYnLkdGwC5g1w7FGMSJKA/uO/VImZiwnaJN3eMT8//6SkMyS5FQkgcCtiSf9FnZ86W1m+Uz2H1uh2uzflkCg5PpYAAvdYHlk807mppvonlazLr1fJ3JptSXvvV//xkb6g7SH1nnoV7XhdJX5/FY7wEQ4BBC6cWlQWiQ5Nr5Ez82V3bdw3XY29S1b/UyL6Am1/dWJiYmRycnKd+ib1bUf6Zm1H1RvNZtMcPl6m8bdovBE9bdw3xfUSrVzPcW8Zi6ESQOBCrYynuLSKOcP8R/dg/j4J1NuWl5e3StB+RcJ1ydTU1Ee13S1/3bX8jY2N7dG4izX+adqar1w9W+PvUHfeFN91Oh837twwBoMkgMAFWRZ/QUlszGfdnDmQvbskbL8pYZqQQL1sy5Yt99gal63r1U+R7d+RrdvVnTXZHNX5uKudGazIEG7KEUDgynGLctaRw7PjHQZ/jVmtSdi+7tDmw6Zk+ysSuifrhX9Sd3mubierOBHNoCFwGRT5FylqpXX5Lx5bbs0Fg10Sn7+ytFNouvy8QQPPVH9Q3UUzV1WvcmEIG2ETQODCro+z6Fqt1uky5uL7mW1dFDhZovMh2ausyd/X5HebHLbVXbQ/1Yp2swtD2AiXQCGBCzd8IitKoNFovKXo2DXGLeok/VPNRYE1xnjbJb/36RyaEWoXV1obysUFE2/5YtieAAJnzzB4C51OZ5OCPEPdtv29i4sINkHovNwPdaj9XNmwPicnsdwlW03ZoiVKAIFLtLB9af21ntt+qPcmHSYGcfVRFzVuUD7/pW7bRnSY+nxbI8wPlwACV3dtqvH/Iks3D3a73edY2nA6XWJ7sQyab0ZoU75pBfcX5WczM3QCCFzoFXITn9VP7plDuenp6Z+6CcWpFSNyVgaVG/eMsyIY9mQELuz6WEen82/mWwE2v1Mwq/Nen7IOxIMBreKukFnznVZtSrfxdrttfp+1tAEmhksAgQu3Nq4iM+ffStvSIVzoVxrftXpyxfZoFWfFqJgXRtVBAIGrg3q1Pp9p4W5Jq6T/s5hfxVQXt3z64yoCxUf1BBC46plX7dHmB2S+q9XNYtUBD+JPArxb4w+o2zQbRjZ+meuZAALnGXCd5nX+zXz+zfycXqkwJG6fLjWx+km3Wro0nCxNZDc9ioQRuCjKVC5ICdTvlpv50KylpaV3P/Qo7L86T/hFywiPs5zP9EAJIHCBFsZFWMvLy+YL6mVNHZienjY3riw7v8p5d1s6s7nKbOma6T4JIHA+6dZsWys4873NslFY39etrONB5zUajR8MOqdv/DC3T+ojksjTWAUuEfx+05DAnWjhIZbVm0nRVuCGFhcXzW3TjS16QgQQuISK2Z+Kzk1t6H9tgOffHmBsrUO73W7LNoCRkZFlWxvMD48AAhdeTVxGZHPy/GaXgXi2tdXWvlZwd9raYH54BBC48GriMqJSHxExAei81vfMNobebDZPsYyzpwsqIX7X1jItpiNwab8HSgucRMP2ymRlZHUofpKNM813cQNNmxCY64kAAucJbCBmS9d306ZNrm4NXgUK27ulPFBFkPionkDp/wDVh4rHQQjs2bPncYOM7xsb2wn3HX3xD/r0J4NOKD2eiZUSQOAqxV2dsxNPPNHc0ntOHs3qZNAezWfgWq3WycpxXN2mzdpMZm64BBC4cGtjFdnw8PDByYf+bdBm0G5+vcrKf1WTleerHPj6jAMbmAiQAAIXYFEIqRgBXRxoSOD+vNjo1UetX7+e30hdHU9Ee44OFYE7mgmvREKg0+n8t0LdqG7T9m/cuNH6g8I2ATDXHwEEzh9bLHsksH///g1avb3a1oVWgdfb2mB+uAQQuHBrQ2RrEGg2m+/Tbuu7gEgkr5QdWqIEEDhnhcVQVQR0aHq+fO1Ut20HdAHma7ZGmB8uAQQu3NoQ2QoE2u32GXr5anUX7c0ujGAjXAIIXLi1IbI+ArOzszM6pDR37x3u21Xm6QMTExP/VmYic+IhgMDFU6ucIx3SYem2kZGR2wXB5hsamv5wu0hiGds3Nh4OngfFCCBwxTgxqkYCc3NzT5F7czsj228syMzh1ta5tysOP+JP0gQQuKTLG39yWrmd2+v1blEmrlZuMjX0cvOHnj4BBC79GkebocTtGgV/rfqIuqt2s1ZvH3JlLAU7KeeAwKVc3Uhz05XSJ0jcvq/wz1N32dq6sHC2S4PYCpsAAhd2fbKLTsL2zzr5v1eJb1d32Q7J7unqB10axVbYBBC4sOuTTXRHVm27lfDr1V0eksrckE7j9Z6r1dsPzRN6PgRqF7h8UJPpagS0artUKyuzajtttTGWr//r1NTUDZY2mB4hAQQuwqKlEvLc3NzZErd7lc9r1V2v2mTycHu7LipcfvgRf7IjgMBlV/L6E5awbZawfU7HjV9WNDPqXppWhf8jcbvQi3GMRkEAgYuiTCWDDHCahO1SCZu5/9rvewzPfENhl865/btHH5iOgAACF0GRUghRq7ZzJG7ml7rM4aj1bY7WYPKAVm6/oZUbn3VbA1IuuxC4XCpdU57z8/NPkrDdolXbJxXCpLrPdrOMb9XK7dva0iAwhMDxJvBCYM+ePY9rt9sf6Ha7d8nBr6v7bOaQ9F+0anum+oJPR4/Y5lEMBBC4GKoUWYxasb1q48aN8zpUfLFCd3FrI5lZtd2zvLx8moSNK6WrIsp3BwKXb+2dZ67zbOZjH/tk+P8lbqPa+mzmd1/fJGHbumXLljt8OsJ2vAQQuHhrF0zkrVbreK3abtJ5NvOxj+MrCOyOZrN5ksTtHyvwhYvqCTjziMA5Q5mfIQlaU+fZrmo0Gncr+zPVfbdFOXilhO2UsbEx82V8PaVBYHUCCNzqbNizBgEJ23k6JP2JDkXNB2mreB/doFXbjMTtjWuExS4IPIZAFW/MxzjkSdwEjhyO3iJhM/dqe3wF2ezVRYRnSNj+QKu2+yrwh4uECCBwRxeTV1YhoFXbRTocNXfk8P2xDxPBg/rztxK27bqI8E09pkFgYAII3MDI8pugCwhPVt+rVdtlyt7Xl+Jl+nAzn2l718TExJjE7R2HX+EPBEoSQOBKgstlmlZtb1Wu31E/Qd1rk4B+QYej2yRsF+ixuaDg1R/G0yeAwKVf41IZ6gKCuePH7RKav5MBZx/Wla2V2h069H2aVm07dDh6z0oDeA0CZQggcGWoJT5HFxJO7/V65qMfp3pOtSP7L9SK7ZTx8XHzy1l6SoOAOwIInDuWSVjSyu1Craa+oWQ2qHtpEs+DWhm+RsI2pf4RL04wCgERQOAEgfYQAV1I+KDE5yo98/W+MBcQ3i1R26zD0f+VH5pLAtg6ioCvN/JRjnghbAJaud2oCHepe2lasX1haWlpq8TtfD3ml628UMZoPwEErp9Ihs+1cvusVm7P8pT6Xtk+Qyu2HTMzM7OefGAWAisSQOBWxJLPi+1229yI8tkeMjYf1P0brdi2T01NmXN6HlxgEgJrE3AncGv7YW+ABLRyu06Hi+e4Dk02P76wsCBtm7zatW3sQWAQAgjcILQSGitxu0LpvFDdZetI3M7S4ejO7du3H3BpGFsQKEMAgStDLfI5uqBwtlJwfS+1D0vYptW/Kts0CARBAIELogzHCsLd/n379h2nk/6fdmVRtsxn2p6n49FztXozHwNxZRo7ELAmgMBZI4zLwOjo6PWK2NWHeH/c7XZP0KrtU7JJg0BwBBC44EriLyBdMX2FrLu68+6NErYn8tEPEaUFSwCBC7Y0bgMzP+OnQ8jXu7AqOx/XIenvaZvCIakLJNgIlAACF2hhXIe1adOmK2Vzvbptu04rt522RpgPgSoIIHBVUK7Zh1m9KYTz1G3btVq5/ZmtEeZDoCoCCFxVpGv0s3nz5ovl3rbWn5e4vUh2aBAoTKDugbZv+rrjx38BAr1ez/zyVYGRqw5p67D0OavuZQcEAiWAwAVaGFdhdTqdP5KtcfWybanb7f6WLihwC/GyBJlXGwEErjb01TjW6u11Np40/4Lp6em7bGwwFwJ1EUha4OqCVSpi+QAABUJJREFUGorf2dnZGa28bH7i79apqan3hpIPcUBgUAII3KDEIhq/bt26f1C4Nj8Y82LNp0EgWgIIXLSlO3bgOrx8wbFHrTriBl013b3qXnZAIAICCFwERSoTosStqXknq5dpvaWlpZesOZGdEIiAAAIXQZHKhDg3N2fu9Va2vrfyHdMy1JkTGoGy/wFCy4N4jibw0qNfKvaKLky8vdhIRkEgbAIIXNj1sYnut0tOXh4fH+dW4yXhuZmGFVcEEDhXJAOyMz8/bz7YW/aebw0d3v6s0+kcyqUr308EVD5CcUgAgXMIMxRT3W73Dy1jWaf52fTl5eVfUr60BAkgcAkWVSntUKdBIHsCKwhc9kyiB9Dr9Z4RfRIkAAEHBBA4BxBDM6GroNtDi4l4IFAHAQSuDuoefWr1Zj7gO+bRBaYhEA0BBK7aUnn3piufT/fuBAcQiIQAAhdJoQYI89QBxjIUAkkTQOASK6/Ov/1yYimRDgRKE0DgSqMLduITg43Mc2CYh0A/AQSun0j8z/nQavw1JANHBBA4RyADMjMdUCyEAoFaCSBwteL34nzSi1WM5k0g0uwRuEgLt0bYy2vsY9cKBHRh5sEVXualBAggcAkU8dEpTE5OblMfpk8OwuCsRzPkcToEELh0akkmEIBAH4E4BK4vaJ5CAAIQKEIAgStCiTEQgECUBBC4KMtG0BCAQBECCFwRSkmPITkIpEsAgUu3tmQGgewJIHDZvwUAAIF0CSBw6daWzOonQAQ1E0Dgai4A7iEAAX8EEDh/bLEMAQjUTACBq7kAuIcABMoRKDILgStCiTEQgECUBBC4KMtG0BCAQBECCFwRSoyBAASiJIDAlSwb0yAAgfAJIHDh14gIIQCBkgQQuJLgmAYBCIRPAIELv0b5RUjGEHBEAIFzBBIzEIBAeAQQuPBqQkQQgIAjAgicI5CYgUAcBPKKEoHLq95kC4GsCCBwWZWbZCGQFwEELq96ky0EsiJQscBlxZZkIQCBmgkgcDUXAPcQgIA/AgicP7ZYhgAEaiaAwNVcAIfuMQUBCPQRQOD6gPAUAhBIhwACl04tyQQCEOgjgMD1AeEpBFYiwGtxEkDg4qwbUUMAAgUIIHAFIDEEAhCIkwACF2fdiBoC6RDwmAkC5xEupiEAgXoJIHD18sc7BCDgkQAC5xEupiEAgXoJIHD18sc7BCDgkQAC5xEupiEAgXoJIHD18sc7BCDgkQAC5xEupiEAgXoJIHD18sc7BCDgkQAC5xEupiEAgXoJIHD18sc7BMoSYF4BAghcAUgMgQAE4iSAwMVZN6KGAAQKEEDgCkBiCAQgECeBsgIXZ7ZEDQEIZEUAgcuq3CQLgbwIIHB51ZtsIZAVAQQuwHITEgQg4IYAAueGI1YgAIEACSBwARaFkCAAATcEEDg3HLESCwHizIoAApdVuUkWAnkRQODyqjfZQiArAghcVuUmWQj4JBCebQQuvJoQEQQg4IgAAucIJGYgAIHwCCBw4dWEiCAAAUcEEhI4R0QwAwEIJEMAgUumlCQCAQj0E0Dg+onwHAIQSIYAApdMKb0mgnEIREkAgYuybAQNAQgUIYDAFaHEGAhAIEoCCFyUZSPolAiQiz8CCJw/tliGAARqJoDA1VwA3EMAAv4IIHD+2GIZAhComUCjZv+4hwAEIOCNACs4b2gxDAEI1E0Agau7AviHAAS8EUDgvKEdGhrCNgQgUCsBBK5W/DiHAAR8EkDgfNLFNgQgUCsBBK5W/DgvT4CZEDg2AQTu2IwYAQEIREoAgYu0cIQNAQgcm8DPAQAA//+2Fh4rAAAABklEQVQDACcSww0KQ3PHAAAAAElFTkSuQmCC"/></switch></g></g></g><g data-cell-id="xn-0Qd96mslkAmQ5uGs0-5"><g><ellipse cx="402" cy="282" rx="40" ry="40" fill="#103c3f" stroke="#46a8af" stroke-width="4" pointer-events="all" style="fill: rgb(16, 60, 63); stroke: rgb(70, 168, 175);"/></g><g><g><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 78px; height: 1px; padding-top: 282px; margin-left: 363px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; color: #EDEDED; "><div style="display: inline-block; font-size: 40px; font-family: Helvetica; color: #EDEDED; line-height: 1.2; pointer-events: all; white-space: normal; word-wrap: normal; "><font>3</font></div></div></div></foreignObject><image x="363" y="258.5" width="78" height="58" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAATgAAADoCAYAAAB7NvjxAAAQAElEQVR4AeydC5RdVXnHZ+7NZFIJY3LvzCTGZSAilEcoC+riIUERUUIpCGiLbaCtKSxLtVKW1aVgVmwaSh9osUtXWUW6fKAoFqPSBo1WVkVAFtIESkJLKSOoicncmcEZgpkZ5o7/ndckM8nMuWfvc8/e+/xY+8u5j/N9+/t+350/+9xz77mlFv6DAAQgECkBBC7SxlIWBCDQ0oLA8SqAAASiJYDAZdhaQkMAAvkSQODy5c/sEIBAhgQQuAzhEhoCEMiXAAKXL39mT0sAPwgkIIDAJYDELhCAQJgEELgw+0bWEIBAAgIIXAJI7AKBYhGIp1oELp5eUgkEIDCJAAI3CQh3IQCBeAggcPH0kkogAIFJBDwUuEkZchcCEIBASgIIXEpwuEEAAv4TQOD87xEZQgACKQkgcCnBBepG2hAoFAEErlDtplgIFIsAAlesflMtBApFAIErVLspNksCxPaPAALnX0/ICAIQcEQAgXMEkjAQgIB/BBA4/3pCRhCAwGQCKe8jcCnB4QYBCPhPAIHzv0dkCAEIpCSAwKUEhxsEIOA/AQQuSY/YBwIQCJIAAhdk20gaAhBIQgCBS0KJfSAAgSAJIHBBti2mpKkFAtkRQOCyY0tkCEAgZwIIXM4NYHoIQCA7AghcdmyJDIG8CRR+fgSu8C8BAEAgXgIIXLy9pTIIFJ4AAlf4lwAAIBAvgSwFLl5qVAYBCARBAIELok0kCQEIpCGAwKWhhg8EIBAEAQQuiDZNTdKnR/r6+jpky2Ufk90h+6rs27IHZZtkW2Q/kv2H7F9lt9dqtZu1vb6/v/9K3T5/69atr/CpJnKJgwACF0cfm1bF+Ph4WcJ0hWy9bJtsRJP/QnafbLVspeydsrfJ3iA7RXaC7Ddl58neIbu6tbX1w9p+QvG+oNvfaW9v36lYQzIjiLdJ9C5H9ESIYUUAgbPCVwxnIzQSHLPi+n+tuEZV9ZdlF8oWytpkrsZcBTKC+B6J3j17RW9Qc66T8J2o5xgQaIgAAtcQrmLtLFE7XsKyXkIzJMExK67XikCrrJnjSK3yLtWEm5XLT5XTDbrfrvvZDSJHQwCBi6aV7grRimmxhOS/JGpPKapZqfnyOnm1crpJ+b0ku3/Hjh2vU34MCByWgC8v3MMmyBPNI6CVUUmrpE9q2yMhObV5Mzc8U0k5nlsul59Wvrc27I1DYQggcIVp9fSFakW0VNarvd4vC+V1YQ6Xr5PI/by3t/f1ypvhPYHmJhjKC7m5VAo2mw5HL9WKaKPKrshCHAtKpdKjquNO1VEOsQByzoYAApcN12CiShRu1OHoOiU8Sxb0UB0rtArdgsgF3UanySNwTnGGFUzidrNEYW1YWc+Y7XESuU0SOV7bM6KKf4eCvQjib2jSCvW+1UqJm/noR1KXkPZbqvp+FFLC5JoNAQQuG65eRx0YGHiTEvyMLNoh8T5VIvdQtAVSWCICCFwiTPHsNDg4WK3X6xtUkTkDqU3U4yyJXNRCHnX3HBSHwDmAGFKI0dHRbyrf2TLXY7p4ektsfFg7mO+tjmvbzLFS78ktbuaEzOUPAQTOn15knolWM1doEvMFeG0yGX1SsjsV+S+0fYcOE08ZHh4+olqtljo7O+do2y4rVSoVc8b2JO33l7JHZDtlWY1W5XJ3VsGJ6zcBBM7v/jjLrqenZ46C/YvM9dguAbmtXC4fI/GSjnVepe3HdeNrErInFi1a9NLkCSV8Y9pni+xjsjNlc/XYG7WfEbssVnhn6Izx+YrPKBgBBK4gDe/o6DBfaXJ5zbWnJWqvlTgtlJhdO2/evGdtUEoMH1CsM9va2roVx3wuTxt3QwJqVpbuAjY5EtOlI4DApeMWlJdWWOaSRu92lHRdcVZLjH5dotaj206HhLim2JcrqDmUrmnraizQKu4qV8GIEwYBBC6MPlllqffe1iiAixMLz2nVdqwEyMRTyOyG5nhY1iVx/pLDWf7YYSxCBUAAgQugSTYpSiBKOjwzX6C3CdOiOBslOEdr1WZ1KNpoEjr8XaG5/6lRv0PtLw5nHOpxHouXQCKBi7f8+Cvr7+834mb73tvgyMjIsrxoSeT+VHP/vcx2zNFhKiJnSzEgfwQuoGalTPWalH773Opa+Zx9qLOh+3Zoxlarxw9pJWeueGI1nWq51ioAzkERQOCCaldjyUoQzMmF4xvzmrL3NTrD+eSUR/N54GJNa05yaJN6LE/tiWNwBBC4vFuW4fw6ubBC4W16/KBWTll8dk5pNT50qPozibbtoeqCxmfGI1QCNi/+UGsuTN46HDM/4Ze6Xvn/SWrnjBwluKsU2moVt337dkROEIswELiIu6zVzukW5T3p0aHp/jIkuuZnCzfvfyDFjba2Nn6sJgW3EF0QuBC7liDnoaGhLolB6p/XkzjekmCavHb5XLKJD7vXksM+wxNREUDgomrnRDEjIyPnTdxr+Na4DgVdfsC24QRmcLh9huenfbperx817Q48GQ0BBC6aVh5ciFZvNp9be0b+5lDw4KCe3JP4DiqV1F/KV22vkT+jAAQQuEibrEPM0yxKu8/Ct1mu5vpyqeYSm0WpHHE6kEAQtxG4INqUKsljUnnJSQLwPW18H6mvIVcqleb6Xhz5uSGAwLnh6GOU+WmT0iHc/Wl9m+hn8/unv2hinkyVIwEELkf4GU9trprb8BRavQ3vfY+rYd8mOxyRdj7VuCOtL35hEQhV4MKinE+2qXqr1ZvLa7BlUrkEytRmvoaWNv72tI74hUXAvFDCyphsZyQgAUj9+TcF75d5PWq1mtUHdSXi27wukOScEUDgnKH0J1B/f39X2mz0x+/9Ck4nCU5OW5/x0/8AnF+J2MTF/COAwPnXE+uMJACpBU5//L3WCWQf4GqLKcYrlUoIJ1EsSsR1HwEEbh+JiLZjY2PmTfSXJFbDjZowWH3PU/6ZDtVjzp6+xWKSXq1SU3+GzmJeXHMggMDlAD3rKc1lhXQm9Aht5zRq8sv89xZs6u/r6zMXrLQ5wfCYzfz4hkUAgQurX4XPVoff19lA0OrtXht/a18CNJUAAtdU3ExmQ0AnT35Ph6g2Z1Dru3btsr0SiU0J+DaZAALXZOBMl46ADk1PlLh9Pp33Hi+t3v4t79+W2JMJ/zaLAALXLNLMk5rA1q1bza+CPagAqb6dIb/dQ4e3f777Bv9ESmBqWQjcVCY84hEBI27t7e2PKqV5Mpvx+Lx58/j8mw3BAH0RuACbVpSU9Z7bxRK3XtV7osxm1PXf79oEwDdMAghcmH2LOuuenp45es9tvd5z+6YKNYen2qQfirOqq6vr6fQR8AyVAALnrHMEsiWgFds5snUdHR0DinWhzMV4vLOz869dBCJGeAQQuPB6FlXGWqktl90n26mV1vdll6rAOTIX44W2tjabbz24yIEYORJA4HKEH8vUtVrtcgnUFtn3ZXfLbpWt0eM3aEX2Qd2+RfZl3b5f282yrbIh2ZgYmMujL9fW+lBUMQ4cP2ttbT1aq8G+Ax/kdrEIIHDF6ncm1UpILlbgE2TnyH5HZr5tsEqP36QV2d/p/gdkV+j2udqaEwav0tZcNjzp60+7NzT+u1KpLJFx5d6GsMW3c1YvsPhIUVEoBL5brVZ/Q+Lq7a+ChQIyhjwRuBi6SA2GwIBEbYXE7a3mDgYBQwCBMxSwkAns0qHvjRI2HZFWfP6xam8Zx5wYAhdzdwtQm1ZtG8rl8voClEqJKQggcCmg4eIPAa3eLqnX6xt1RrbW39+/Vvd5TfvTntwz4cWQewtIwBGBqsTtRoncC7Va7Q8dxSRM4ARyF7jA+ZG+fwSO1GHrZ7Wi+3Fvb+9x/qVHRs0kgMA1kzZzNZPAUaVSabNWc+abEc2cl7k8IoDAedQMUnFOYJZWc+t02Mp3UZ2jDSMgAhdGn9JlidduAnpv7iM6ZL1j9x3+KRQBBK5Q7S50sSslctcXmkABi0fgCth01yXrMHC1Yq7V9iNaLb1P9ke6vUL2+7JrZebxv9U+/yz7iu6bH17+iW6PyJo5Pq7D1d9q5oTMlS8BBC5f/lHMXqlUnq9Wq6sqlcrfdHZ2flr2Od3+kuwu2W0y8/iHtc97ZO/S/fO0XSxrHxsbM2c9LxKIWyR8z2g7LstqtEp8vzE0NNRlPwERQiCAwIXQpYhz7O7uflGCt15i90Ftjx0eHjZXGTGHkptUdhZiN2tkZORris0oAAEErgBNDqlE87N+ErtbZafW6/VXK/cNMtdCt6xWq52nuIzICSBwkTc45PK6urq2SeguKJfLx6iOH8icDR0O3+UsGIFcE3AWD4FzhpJAWREwP/cnoTtH75/9meZwtZrr1gmHKxWPETEBBC7i5sZWmk5efEorr7errrrMekgwP2QdhABeE0DgvG4PyU0moBMR9+q9udP1+Msy27F0cHCwahsEf38JIHBTe8MjnhPQe3OPKcW/ktmO1pdfftl8hs82Dv6eEkDgPG0MaU1PQO/JrdEe22RWQ4ep5pDXKgbO/hJA4PztDZnNQEDidNkMuyR5elGSndgnTAIIXJh9CzZrl4nrpMMjErmNljFn6WzqUssYuHtKAIHztDGklYyAzqpa/9CMTlpwzbhkuIPbC4ELrmUkfCABCdztB95Pc1sxlqXxw8d/Agic/z0iw2kIVCoV8+v1W6fZZcanJHBxfPl+xkqLtwMCV7yex1ix+b6qTV0dNs74+ksAgfO3N2SWnMDm5LtO3VMnKswVTKY+wSPBE0Dggm/hRAF9fX3DsvGUdstEpOBumYtn2iT9ChtnfP0l4E7g/K2xSJnNsij2eAvfXF21AuuxTGC2pT/unhJA4DxtTMq0bC4BvjjlnLm7zZ49+1nLJJx8ed8yB9wzIIDAZQA1x5AvWcy9wMI3V9eOjo6aZQIuvrhvmQLuWRBA4LKg6jxm4oAvJt5z0o46zHvlpIeCuav3HG3PgvYFUyyJNkQAgWsIl/c7m8+EpUqytbW1fceOHUGeTazX68emKnrCyfpL+xOhuOUTAQTOp25Y5iKRslqJlMvlCy1TyMW9VCq9zmZirV5tT1LYTI9vhgQQuAzhNju0/lBt34u6oNk5u5hPddsIXIv+x/B/LvIghn8EEDj/emKT0ZM2zvI1V8rVJqwhgbIV5v8Jq2KyTUoAgUtKKoD9xsbGvmiTplZCx9n45+h7hs3cqvtxG398/SWAwPnbm4Yz6+7ufkZ/rMMNO+510EqofWBg4E177wax0RnUtylRmw/qjler1acVg5EBgbxDInB5d8Dx/BKpp2xCSiCvt/Fvtq/qfa/lnD9WDD7oawnRV3cEztfOpM/rO+ldW1okcG+x8W+m79DQUJfy/W2bOeV/t40/vn4TQOD87k/D2ZVKJdsr3M7VYd8VDU+cg8Po6OhXNK3Va1gC90nFYERKwOrF4TuTIuY3f/78Tap7VGYzbrVxboZvf3//2RKnN1vOtb2rq4sP+VpC9NkdgfO5O+lz+2F6192eC2u1Rwp45AAAB+pJREFU2lW7b3n4j4StTXaPg9T+3UEMQnhMAIHzuDlpU9Nh6nVpfff56Y33O3p7e7382IhWb+aHn60vDqAaOTzd1/BItwhchI3VYar5KT3bSwi1SSgflZgc+kv4OXFTPvdr6pNltqOnUqk8YRsEf78JIHB+9yd1dlqdfDS184Rjhw4FN8q8eJ1I3L6hXM6dSM/q1gorb5yDIODFCzcIUoElqdXJXUp5UGY7lkhY/lPCUrYNlNZ/YGDgaJ3ZfV45XJI2xiS/h6vV6sOTHuNuhAQQuAibekBJ/3jAbZubyyRyAzrx8HabIGl8Ned76/W6+TL8a9L4H8JnXKvbdx3icY8eIhVXBBA4VyQ9jKNV3FqltUvmYhwpYfi6VlIPDA4OVl0EnC6GhO18zfWE5vyU9rP5rQm5HzTuFpfnD3qEO9ESQOCibW2LuQyQ+V7qH7S4/W/Z6OjoNgnQnRKgs9yGbmlR3Pcr7jYJm/lGhouTCQemODI8PLzywAe4HTcBBC7u/rbovaavqkQjFto4G20SIPMm/UMSo1/q8PV7Eqar9B5Zw+/Tye8MxfiEbJNsWHHNRzcWOst0IpA5NL1s0aJFNr9bMRGNW0EQOITABZE3STZAQIeU5s35nQ24NLLrHAnbmyVMn5fQjUqkfikz41ndf0w3viX7tuwu2X2yH8r+V7ZNNio/86Fk8wX/UzSpzVVB5D7t+IAOTddPuwdPRkcAgYuupVMLWrJkiXkf7p1Tn3H+SKsizpFVZEskfKdpay5GaS5pZN7YX6775tpt5gPEZpXm8r01hT7s+IxWsv9w2Gd5IloCCFy0rT24MP2Bf0uPrJMVbfxAtV9TtKKpdw8BBG4Ph2b9m+s8OkQzVwmxul5crgU0PvlzqtnVB4Mbnx2P3AkgcLm3oHkJ6P2uUf3BL9WMRfiQ68N67/F41TymehkFJYDAFazx+oOv65DtDXp/7N5ISx9XXatNjXvfe9RdRlEJIHAF7XxnZ6c5s3pHTOWrlhcl3GdJ3NboNgMCLQhcgV8EEoKrtaK7OQYEEraNY2Njr5JwPxJDPdTghgAC54ZjsFH0ntwNEoczVUCovw26U/l/VMJ2Wnd394uqgwGB/QQQuP0ointD4vCIVnMnSCjeKgrPyUIY25Xv+5T3XOV/UwgJB51joMkjcIE2Lou0JRTflWAcrdjmQ8HbtfVxPKXD6ouU50Ll+2kfEyQnfwggcP70wptMJB73yBZqhWS+qP+AEsv70O8F5bBBwnay8jpRh9V85UpAGDMTQOBmZlTYPbRC+oIE5Y0yc6mkowRitexRCZ+5SoluZjLMxzzM1US+rnnerRleqfnnyy6QsD2p+wwIJCYQhsAlLocdsyIgcXleIrNGdrqEz3zf9CTNtVYi9EVtN8ge0wrrGW13yMwX+81PFxqx0t39o65b5nuxA9r+RLZF9pBi3Cu7Tf4XaZ42zbFI28s0z2d128VViTUNo4gEELgidt1BzRKeLbJVEqErtb1A9nqJ0rHaLpDNlc2WlYaHh48YHBz8Nd1ulZVl5nZF28Wyk2RnK8Ylsmvlv14ixzcPHPSHEHsIIHB7OPBvRgTM9df4RkFGcAk7IwEEbkZEse9AfRCIlwACF29vqQwChSeAwBX+JQAACMRLAIGLt7dUlj8BMsiZAAKXcwOYHgIQyI4AApcdWyJDAAI5E0Dgcm4A00MAAukIJPFC4JJQYh8IQCBIAghckG0jaQhAIAkBBC4JJfaBAASCJIDApWwbbhCAgP8EEDj/e0SGEIBASgIIXEpwuEEAAv4TQOD871HxMqRiCDgigMA5AkkYCEDAPwIInH89ISMIQMARAQTOEUjCQCAMAsXKEoErVr+pFgKFIoDAFardFAuBYhFA4IrVb6qFQKEINFngCsWWYiEAgZwJIHA5N4DpIQCB7AggcNmxJTIEIJAzAQQu5wY4nJ5QEIDAJAII3CQg3IUABOIhgMDF00sqgQAEJhFA4CYB4S4EDkWAx8IkgMCF2TeyhgAEEhBA4BJAYhcIQCBMAghcmH0jawjEQyDDShC4DOESGgIQyJcAApcvf2aHAAQyJIDAZQiX0BCAQL4EELh8+TM7BCCQIQEELkO4hIYABPIlgMDly5/ZIQCBDAkgcBnCJTQEIJAvAQQuX/7MDgEIZEgAgcsQLqEhAIF8CSBw+fJndgikJYBfAgIIXAJI7AIBCIRJAIELs29kDQEIJCCAwCWAxC4QgECYBNIKXJjVkjUEIFAoAghcodpNsRAoFgEErlj9ploIFIoAAudhu0kJAhBwQwCBc8ORKBCAgIcEEDgPm0JKEICAGwIInBuORAmFAHkWigACV6h2UywEikUAgStWv6kWAoUigMAVqt0UC4EsCfgXG4HzrydkBAEIOCKAwDkCSRgIQMA/Agicfz0hIwhAwBGBiATOERHCQAAC0RBA4KJpJYVAAAKTCSBwk4lwHwIQiIYAAhdNKzMthOAQCJIAAhdk20gaAhBIQgCBS0KJfSAAgSAJIHBBto2kYyJALdkRQOCyY0tkCEAgZwIIXM4NYHoIQCA7AghcdmyJDAEI5EyglPP8TA8BCEAgMwKs4DJDS2AIQCBvAghc3h1gfghAIDMCCFxmaFtaWogNAQjkSgCByxU/k0MAAlkSQOCypEtsCEAgVwIIXK74mTw9ATwhMDMBBG5mRuwBAQgESgCBC7RxpA0BCMxM4FcAAAD//8ioCcoAAAAGSURBVAMAEISNHJprNeQAAAAASUVORK5CYII="/></switch></g></g></g><g data-cell-id="xn-0Qd96mslkAmQ5uGs0-7"><g><path d="M 133.72 70.28 L 78.75 125.25" fill="none" stroke="#d7817e" stroke-width="4" stroke-miterlimit="10" pointer-events="stroke" style="stroke: rgb(215, 129, 126);"/><path d="M 73.45 130.55 L 76.98 119.95 L 78.75 125.25 L 84.05 127.02 Z" fill="#d7817e" stroke="#d7817e" stroke-width="4" stroke-miterlimit="10" pointer-events="all" style="fill: rgb(215, 129, 126); stroke: rgb(215, 129, 126);"/></g></g><g data-cell-id="xn-0Qd96mslkAmQ5uGs0-8"><g><path d="M 253.72 190.28 L 198.75 245.25" fill="none" stroke="#d7817e" stroke-width="4" stroke-miterlimit="10" pointer-events="stroke" style="stroke: rgb(215, 129, 126);"/><path d="M 193.45 250.55 L 196.98 239.95 L 198.75 245.25 L 204.05 247.02 Z" fill="#d7817e" stroke="#d7817e" stroke-width="4" stroke-miterlimit="10" pointer-events="all" style="fill: rgb(215, 129, 126); stroke: rgb(215, 129, 126);"/></g></g><g data-cell-id="xn-0Qd96mslkAmQ5uGs0-9"><g><path d="M 190.28 70.28 L 245.25 125.25" fill="none" stroke="#d7817e" stroke-width="4" stroke-miterlimit="10" pointer-events="stroke" style="stroke: rgb(215, 129, 126);"/><path d="M 250.55 130.55 L 239.95 127.02 L 245.25 125.25 L 247.02 119.95 Z" fill="#d7817e" stroke="#d7817e" stroke-width="4" stroke-miterlimit="10" pointer-events="all" style="fill: rgb(215, 129, 126); stroke: rgb(215, 129, 126);"/></g></g><g data-cell-id="xn-0Qd96mslkAmQ5uGs0-10"><g><path d="M 310.28 190.28 L 365.25 245.25" fill="none" stroke="#d7817e" stroke-width="4" stroke-miterlimit="10" pointer-events="stroke" style="stroke: rgb(215, 129, 126);"/><path d="M 370.55 250.55 L 359.95 247.02 L 365.25 245.25 L 367.02 239.95 Z" fill="#d7817e" stroke="#d7817e" stroke-width="4" stroke-miterlimit="10" pointer-events="all" style="fill: rgb(215, 129, 126); stroke: rgb(215, 129, 126);"/></g></g></g></g></g></svg>

calculation-using-stack.drawio.svg

mkslides.yml

slides:
  charset: utf-8
  theme: night
  highlight_theme: monokai-sublime
  separator_vertical: ^\s*----\s*$
revealjs:
  transition: convex
plugins:
  - extra_css:
    - https://cdnjs.cloudflare.com/ajax/libs/meyer-reset/2.0/reset.min.css

my-favourite-book-in-2025_technologies-underpinning-coding.md

🐬の推し本紹介2025

『コーディングを支える技術
―⁠―成り立ちから学ぶプログラミング作法』

---

lagénorhynque🐬カマイルカ

• 法学部出身のITエンジニア

• イルカ🐬が好き

• プログラミング、語学、法学、数学が好き

---

🐬が新人プログラマによく推薦する技術書

---

『コーディングを支える技術
―⁠―成り立ちから学ぶプログラミング作法』

---

🐬<「成り立ちから学ぶ」とは

---

2種類の比較の視点

• 共時的(synchronique)/同時代的な「横」の比較

  • 英語 vs フランス語
  • 日本法 vs アメリカ法

• 通時的(diachronique)/歴史的な「縦」の比較

  • 古代の日本語 vs 現代の日本語
  • 近世の法令 vs 現代の法令

※ synchronique vs diachronique: 言語学者フェルディナン・ド・ソシュールによる区別

---

例: 自然言語(英語)を通時的に探る

---

人間が目的のために生み出したツールについて、

共時/通時的な比較から類似点や相違点を探り、

「なぜ」そのように設計されているのか学ぶことで、

効果的な活用/応用や発展の可能性が見えてくる。

---

この本の構成

1. 言語を深く効率的に学ぶには

2. プログラミング言語を俯瞰する

3. 文法の誕生

4. 処理の流れのコントロール

5. 関数

6. エラー処理

---

7. 名前とスコープ

8. 型

9. コンテナと文字列

10. 並行処理

11. オブジェクトとクラス

12. 継承によるコードの再利用

---

内容紹介: プログラムでの数式表現

書籍「第3章 文法の誕生」より

---

数学での数式

例えば、

1 + 2 × 3

※ 中置記法(infix notation)と呼ばれる

---

これは通常、

1 + (2 × 3)

を意味する。

---

1. 現代の多くのプログラミング言語の場合

1 + 2 * 3

と書くと

1 + (2 * 3)

の意味で扱われる。

演算子 + よりも * のほうが優先順位が高い、というルール(文法)が言語処理系に組み込まれているため。

---

ツリー🎄形式で図示すると

※ 抽象構文木(abstract syntax tree, AST)と呼ばれ、
パーサー(parser, 構文解析器)によりコードから変換して得られる表現

---

2. FORTHという古い言語(1950年代〜)の場合

1 2 3 * +

※ 後置記法(postfix notation), 逆ポーランド記法(reverse Polish notation)と呼ばれる

• 演算子の優先順位のルールは不要

• 括弧は不要
  (演算子ごとに受け付ける被演算子(operand)の個数が決まっていて曖昧さがないため)

---

FORTH on browserで数式を評価してみると

> 1 2 3 * + .  (数式。ここで . は結果を取り出す操作)
7              (評価結果)

---

スタック(stack)というデータ構造を用いて

と計算することができる。

※ スタックマシン(stack machine)と呼ばれ、
現代のプログラミング言語の処理系でも使われることがある仕組み

---

3. LISPという(同じく)古い言語の場合

(+ 1 (* 2 3))

※ 前置記法(prefix notation), ポーランド記法(Polish notation)と呼ばれる

• 演算子の優先順位のルールは不要

• 括弧は省略できない
  (演算子ごとに受け付ける被演算子の個数が不定なため)

---

LISP on browserで数式を評価してみると

> (+ 1 (* 2 3))  ; 数式
7                ; 評価結果

---

多くのプログラミング言語での関数呼び出しの記法

add(1, multiply(2, 3))

と同等であり、抽象構文木(AST)に素直に対応する。

※ プログラムのコード表現と抽象構文木が近いため、
コードのプログラム的な変換(構文マクロ(syntactic macro))が容易に実現できる

---

これらの例では、文法を考える際に

• ルールを設けず機械的に扱いやすくする

• ルールを加えて人間に分かりやすくする

という設計判断の違いがあることが見えてくる。

---

Further Reading

• 『コーディングを支える技術 ―⁠―成り立ちから学ぶプログラミング作法』

• 『7つの言語 7つの世界』

• 『リーダブルコード ―より良いコードを書くためのシンプルで実践的なテクニック』

• 『プロダクティブ・プログラマ ―プログラマのための生産性向上術』

• 『英語の「なぜ?」に答える はじめての英語史』

start-presentation.sh

#!/usr/bin/env bash

# pip install mkslides

open http://localhost:8000 \
    && mkslides serve *.md