1
2
3
|
<?xml version="1.0" encoding="UTF-8"?>
<!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" xmlns:xlink="http://www.w3.org/1999/xlink" version="1.1" width="262px" height="321px" viewBox="-0.5 -0.5 262 321"><defs/><g><rect x="20" y="0" width="40" height="20" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" pointer-events="all"/><path d="M 40 20 L 40 320" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" stroke-dasharray="3 3" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 38px; height: 1px; padding-top: 10px; margin-left: 21px;"><div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 12px; font-family: Arial; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">Main</div></div></div></foreignObject><image x="21" y="3.5" width="38" height="17" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAJgAAABECAYAAAB9Pvx1AAAAAXNSR0IArs4c6QAAB6dJREFUeF7tnHnodkMUxz8vShKyJUsoe7JnyRIiW2Tf9wihhOwhS7bsZCkke/Yt2x+yZ82WkIR/kCwha7b7ZW7NO91l7tz7PO8d77n1/PH7PTNzzz3nc8+ZOXPmmYFdpoEJamDGBMe2oU0DGGAGwUQ1YIBNVL02uAFmDExUAwbYRNVrgxtgxsBENWCATVS9NrgBZgxMVAPTBmxf4LaaJzoCuH6gp10AuAHYrWK8jYEXB7pP6jAbAS94nfXcxwK/pA441n5jAuxW4CjgxwGUtQ7wSAHs4gbYANrsMcSYAPvIeZx3ejxP2VXe4NKaccyDDaDg2CHGBJhkHiJMNoVH3cMAi6VjgHZjA+xm4Gjgpx7P1hQeDbAeik3pOqsB+wL4AVjJCf8+sHvxeS/lYeDfvVWFx0tc/6+AeYq/5/PGG4MHS3y8/LrNasCeBN4GTvRUdyhwY6IqF3R9d3b9rwVWKFZsWxpgiRrt2W0MgF0O3OSt+PqEyfWAB91YWo0eCBwObG2A9SQlsfsYADuyCGMXejmr1DAZhscHirzSScBVBlgiHQN0GwNgSr4eEKQVUsJkGB6PB25xid1UDzYXsCKwBbChmyuu5en9MzdffBl4AngT+CPCLl0SrWFy2p9DSr71gT0Aee8N3L0/dLI8VPz/MTfPjRBr+CZjAWzZIDGaktn2w6MWDzsBHxdzsNsTPNjcwPbOA67bQe2vAacCTwN/NfQbArA1gXOcnE0iflvIcobb2fitw7MM0nQsgOmt97d2NPHfE9CbGHNVhcdDgDkSAFvUrUL3j7lxRRvN/WT4yxq8WV/AFnMef5kOMl4BnNYzBdThdv81HQtg37j0gp9938/BEfNQVeFRBl6oI2DzAhcBmhf6l6B5C1AolKy6FgY28cKS314edC/guRrh+wB2buGZBX8Jl2TT3upLhff8vVgwLe1Cepn68UXootMYvbe2GRNgYYK0S5isCo+vOgi6hMiqzfiLnbcQNFWXDCrPcFjw5ZUu/VIVlvoAVt5GYF0DyDOFsinE7wNIdr1k5aWFjzz7d61kDNRgTICFWzyxYTIMj/cCWiR83xGw0AtKxecBZ0ZM3GVQtTvFs8szgID9vMJWfQETXPKydzTM9aSXvYHrvESz+m07zWqSMQEmO4Sb1DEuPQTjODf/KcNYrAcLPegrzkCfRL7MqwOCW4ldXe+61d0HEwBMOxXymm2T9qqXRrlBra6nco0NsNDITWGmVJC8wePuLVWo2KH4vOG+1DwpFrDlXV+Bslwxj3nerb7+jLREl3v18WBdvNCcbsHhe1atKLUImco1NsDCMNnmRSS/3uRSYX547OrB+ip8WoA1hd6qZ9BOhsJkec3WgFWFyV2B+2usv0jhbVSouI373g+P/1fAlM45plhA/Bz5RoQLl9kesC5h0g+PVQWLXbxKpL1maqZM+lIuXbGLSw/EVG70CZFaOWqX4tdIgQ0wL7ckncWGyTA8VpVcDwGY7jM/sIT7KL+0KrB2TQ7Mt3tdaVAfwLp6IAMsAKwqTO5YGPTh4I0Nw2NVNWwqYOUe38Gu1KdLxtwA8zQwtkl+KVoYJpWVP9llqqtWj3X1/F0Bkz60mX1WxB6fD5JWdkrsaiXqw2geLDKOD9UsdNcqONT/yu2X8j5hmNQ2iDLTql7QFRMeu07yNaYKFbVd1eSxtHmsJPDrbvtIFRTaVNfcKzYlYiFyKKKCcWIBawuTYXisK+/p4sFWKcpx7gTW8GSWZ3q0mHPd42D6suHsYpd7GWAjAKwpTPqrx6YCxVijKyGprZ7TvedWJYfmdc8W3/0doY/Ye2koAyxCoSlNuniwMEyWCUZl6/3kalOJdazRtUJUeNvMeyhtXivnFAOXuq0M3A2s5o1hc7AUSnr06QJYVZjcylVq+snVpurXWMDCfcRwyynmkZUHuy9oaIDFaG7ANl0BC8Pk+YAWBvpZAE2q2+r3YwEL76O5l2BW/VfMtaTbUdjcAJtZA2NNU9StJgXXp+6kkNq0nUCKBUzphbsKcAVaeWk+dkFEqY7gUhpF5znDa9OaokObg8W8tgltunqwqjDp37atnCcWMFWyXl3Ae5A3uLzY2YDOVladNFd2X/ukOrlUVT2qoerkM8AS4InpkgJY3U8BxBQkxgIm2RUSVY3h7yXq/8q9qapD91Ppjr7X6R1V0fpttepU7Vi58a6+dbVXBlgMLQltUgCr+zGTmJLqLoBpe0gFjwqNIWRtj6pc2Qkuh6ZQW17aEdAnXIkaYG0aTfw+BbC6MNkWHtWvC2BqL8g0l1JOrC7s+Y+uY2o6NCzAVF0aeludldQBja8DfRlgiQC1dUsFLDRcTHhMAayUX/MrHdbdznml8rCttokElU7xVB20DUuUNY/Tryw+ZYC1oWHfmwYSNDDtNEWCiNYlZw0YYDlbLwPZDbAMjJSziAZYztbLQHYDLAMj5SyiAZaz9TKQ3QDLwEg5i2iA5Wy9DGQ3wDIwUs4iGmA5Wy8D2Q2wDIyUs4gGWM7Wy0B2AywDI+UsogGWs/UykN0Ay8BIOYtogOVsvQxkN8AyMFLOIhpgOVsvA9kNsAyMlLOIBljO1stAdgMsAyPlLKIBlrP1MpDdAMvASDmL+A9ZbJFjd7NKnQAAAABJRU5ErkJggg=="/></switch></g><rect x="35" y="30" width="10" height="290" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" pointer-events="all"/><path d="M 45 180.03 L 70.03 180.03 L 70.03 200.03 L 51.37 200.03" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 46.12 200.03 L 53.12 196.53 L 51.37 200.03 L 53.12 203.53 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe flex-start; width: 1px; height: 1px; padding-top: 190px; margin-left: 52px;"><div data-drawio-colors="color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); " style="box-sizing: border-box; font-size: 0px; text-align: left;"><div style="display: inline-block; font-size: 11px; font-family: Arial; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; background-color: rgb(255, 255, 255); white-space: nowrap;">state := solved</div></div></div></foreignObject><image x="52" y="184" width="71" height="18.5" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAARwAAABKCAYAAABpVOu+AAAAAXNSR0IArs4c6QAAEd1JREFUeF7tnWWsbTUThntwQoDgHtzd3d3d3d0lOMEJ7sFdg7u7u7uT4A5BA1zy9Pu60zOnXavd0rvv2dNfcE9X5e307cx0prtvyJAhQ4wWRUARUAQKINCnhFMAZe1CEVAELAJKOCoIioAiUAwBJZxiUGtHioAioISjMqAIKALFEFDCKQa1dqQIKAJKOCoDioAiUAwBJZxiUGtHioAioISjMqAINIHA77//bvbcc09z7rnn2q+XX355c+WVV5pxxhmnidYG1yffffed2Xjjjc0999xjJ7b99tubU045xYw66qhlr8X//fdf8+CDD5rffvvNrLbaal2B8p9//mluuOEGM/3005u55567K8akg+h+BJRw4mvUFYTz8ccfm8MOO8xcdtll5oorrrAMODQLAdYvvfSSHdPtt99uHn/8cbPwwgsPzSFp38MQAko4XUw4zz77rFlxxRXN999/b0fZDYRz/fXXm6222sr88ssvdkxKOMPQbu+CoSrhdDHhPPHEE2aRRRZpjLAbCAd7e5NNNmmMSQmnC3bxMDQEJRwlnCxxVcLJgksrCwSUcJRwsjaFEk4WXFpZCSdZBoa601hNquS10orDCAKq4aiGkyWqquFkwaWVVcNJloFsDefvv/82zzzzjLnjjjvs7c3LL79sb3NGH310M8ccc5hZZ53VrL766mbRRRe1wTyh8s4775j111/fvPLKK7UDrXPYcpownnvvvdc8/fTTtk134zX22GOb2Wef3SywwAJm5ZVXNvPPP78ZYYQRgn1KTSs2MNq79tprbWxOrDCmxx57zNxyyy3mxRdftOOiTD755HY8Sy65pFljjTXs//f19dVi0EwFSZp+gFUz7Q3tb2KY5qxx1Ry+/vprc9ttt5n777/fhkQgoxTWec455zSrrrqqWWaZZcz4449fC0WdhvPqq6+addZZx7z33nu2rd12280cf/zxZuSRR65tmwqEbRx99NHmkEMOsfUnmmgic/PNN5v55ptvqMnkzz//bO68805z00032f34ySefGNZmoYUWstgh72CXTDhM8qGHHjL777+/ee6552qBYaEOPfRQs/baaw8Ash2E8+uvv5rzzjvPnHbaaXZyKWXeeec1xx13nN3wcqO3g3Ag4+uuu84cfvjhDYGtGtdmm21mjjrqKDPZZJOlDD+rTg7hHHnkkXat2lVSSDm1r1xMWeNjjjnGLLXUUma44Yar7eabb74xJ510kjn77LMbYRCxj9hAO+ywg9ljjz3MeOONV7m5qyKNkd1ddtnFXHLJJbaNXLy++OILg+xAjhTI64ILLjBjjjnmgDHl4pcrky449ogjjqiUebA7+eSTzQorrGA233zz6khjyIZTfeedd25oD7Ur+f8Ku+++u2Xj0UYbrfFJq4Tz1VdfmV133dVu7tyCVnHppZeaxRdfvN+nrRIOWt5BBx1kzjjjjKwhQcwQ52KLLZb1XV3lwUA4bBbC3iFEFxNVN2/+jrbN6c+mj2m01HvqqafMjjvumKRp+/0SBErawswzzxwcTp2Gw0dyfSCMrbfeOmV65oEHHjBrrrlmA5PYt52WSYgTmefQTy1oc2iQWACUYGoDKuAGG2xg3nrrLVsJttp0002tmjTjjDPaRUU4MGdg7auvvrrRP4vPhuJ7V6gLGKQzoC0R+OcKdddaa61+34800kiN/2eS++23nz2RXGHTbrnllpZEpp56anuy0Qfjve+++8w555zTjyhRjYlqRhV15a+//mos4I033mi22267xt/uuusuw8lJoW3m5AtyaEzUIWIaweAEoz5qO4GOF154YQNw2oyRYOoihuoNBsLBTOb0dmQDTmzKZZddtrHObG5kCAJw+TkOUzCIRYgjG8gM6r8rToNZaaWVzHTTTWf/+d1337UH2+WXX95PhjDPL774Yiv/sqQQzkcffWQ23HDDRv9bbLGFOfPMM/sdzKF1/eeffyyZHnvssfbPMe2o0zLJ/kIzxOLxC3Ni7zgyfuONNyxOmFqhQ2MA4Uh7kUW/6KKLgmYJHUMiV111ldlpp50aHVSpfLm3VPhFIDs3ePxFZ511lplkkkmi+/PDDz+0djJ+J1cQZgQ3ZbNW+ZHAhxPGJ6jlllvOsv4MM8wQbB81lABHTmA3D4iJTVOlqrdCQFXfgsvrr7/etubxRXDATDjhhE23KTctGxycZ5llliimqOwHHnhg4+/giwntH1j8ETMKQWcTuAL+J554oplqqqmC7YdkaN1117VrNtZYY/X7JoVwJHFMO+20hgj32WabrRIzSVQh/08JmXz00UftGmPeOYJnH6I8SFOW8XAYYIo635ib5ADC+emnn8w222xjwaCkOB/ZUGghp59+uv2mCswcwpG2L+THuOaZZ55awUZrwZ/kCsKJQLZKOFIAcE6jUU066aSVY2IROIEhT1dy1OraCQ/jFfDLbbTRRubJJ5+0M8GsQn2vcrL/8MMPVgNyRLLEEktYjCeeeOJ+aKBhItOucGhBHBNMMEElapjyyD+HniuhyPgUwuF7aRpVyaTrT8oxY5HJzp2WSbkP0eaRebSbqvV55JFHrP/G97kOIJwqr3LV6tx6661W7ZtiiinszRWnAcQjSw7hSN9Pjnf/7bffNuutt5557bXX7BBwcjkvvxxTzrW4L7wAj+qNAKcUuUGqNMGU9gZTHbnWKYTD/NEsyfDHtMbckJqWPEAxq6+55ppkHxovGpD24k720JqlEo5cf7Qs5ElqTG5dZbsh1wB1Oy2T8pYNRzO+yzHGGKNSBDHDSIjGqe/KAMJB5cdZzEaioFXEVKdmBD6HcLhGxJ6GNMgwx9OfmlkuBbgdhCOxiZ2oMVykuZqqVjeD87D2zeeff27X9uGHH7ZDx6RCqNFmWwklkJsl1Xfi8JNrHlqzVMJh/XGK77333rb5uutt/CEc3M6XGiLhEjIpD+Sc/Ef2O2aXcyUEfTg+KA74VVZZxapQbDJs9ZQryJDQ5xBOzqZhMX/88UdrM2Jvoor6DsJ2EI5U+3FCIgSjjDJK8lClgzqkIic3NogqSrOcqaFBIncQEbFVOHlzyYfbVv8CA1MAoc8p7Ie99tqr8QkaEnFlMU2k6gGuFBJx7fqaS4ycOi2Tzfqe3BzkQRK8pUKbQI2EHEKFW6Kll17a4N0n0CemEnaCcFDTvvzyS/P++++bN99802o+zz//fL8AwFC/7SCcF154wQY1OfU6R2hjdZvZAO3otxvbYB0xWWJxVgTkEdeBk55bRD/0IjYfSRZVlwexNnAX+Gaz9L2kaji0L/0hMTNJai74/rA0IGG/dFomeSCPUBf8jRT2O5dEWD4pRX4fffEvJ2YB8sFBy2mE87TqFGpGw0F7wTGGU1peV6ZMmjrtIJzU2J3UMdWNK6edwVCXdcYBjDZRF9zJxkPuMDmqIoJlkGNdJHvKISllKYdwaN93BDMP5sxc/EI4BWEo7nCLXTB0WialTzf3+dQ//vjDmpAurKXyiVGuE88//3wbV1MnAIAFeKivLEjsijSXcFC16Z8bi5RgMGJzWLyZZprJRgC302nc6cUtRRrdHGkMBmitp556avLhgqmF33HfffcdoAF0I+HIW6UDDjjAmubDDz+8FQHp66mKTO60TLZKOMzHX4OkN40JkiOHitwTnLjybl1ulKprxxzCiQUb0R/qNQtBHAOxGtNMM40lOZfP1QmnsRx7ldZUijya6afbCcfNCfODID80AsyaukOPWDBylHxTqxsJB78IhyFjC5kp3377rQ2fuPvuu+3fq25nOy2TrRKO9AElEY4v1LAvyZLYjgSQEeATIiDUKFIcZIJaDuHIYCM0KGJpCE8nhqLKdOvEtThJmfgPnKYVCzRrhgRKfjOsEI6PCQGm+O7w80BA3GaFCAjNiA3qZKMdPpw6x3OuScW8ZEyOf3kg/1bld+q0TLbqw5HYZBOO3BgIAs7bE044waYPuBJzLqUSDloVYdQIjCtEkUJkVfkyrm4O86fG4eCoxmSEbCk4MPEpjTvuuCX5ouW+ujHSOHdSaL/4GdFoePjeFRknIx2+zTjpJWnJm8VmCEfG5DgtBtn2tZ+YU9nNt9MyKTUUbsuwdFJ/1YR5oq25qP8BhEN+FFmpnCSffvqpddSmNE66OgmWjnTQRmBmrjP9kko4UpXLzbAlkpRMX1fa4TQOBZHVPROQu5F6sT5CDXmg0WJCsYFZv5SbkM8++8wKNC8bUJBVrq0xsSmtxuHINW8lDkeurU9k7oAeccQR+8Uj1QVAlpBJeSDnkLbEfwDhyBMhJ/zeV9XbTTgwPddxKblHsCoT87PL20E40pmHAMVMxxBxuMhLkkOZByRKNHRKqsZgJyJ/88VubkIYSO1CEk6rkcYyobSVSGM5fhmTg+aEDxKznVIXGEidEjIp/aGkVnCZVPdWUGhsAwgnlJcB6dQl5kkNp1WTSmo4KeCzADFHMw5Fsl1DQXqpJhXtSyFJzSvhW5lbQjQtmfZTTjnlYOeT2vnJa+Btt93WmtN1sTZSwwkRQjtzqUIHcDMmFYDI7/bZZx+LE0mllFjsTR1xtVsmQykKKe4N+eoE4x5AOKHGWXwcwDHtInR1neo0JtsXm1X6ZUI+HMbBRLkGDRWu8bHp3YL5daqSUCXhcA1Psl/IKY36T+AXyaquMB76JPkw9IobTE9SIle3/quH0sFZuysHcQV5YDFV8nC46o6RDs578nSQCVdCmLYrWzyW4d8s4TBmPybHPZ9SF3sjxaCETJJeQaaBk19IDU7g1YSQzOPnRN79aP8g4fCP5DDBrn5l9wYNpg0JmhSEhIZ54Mp33GEqcHKH3g6Rt0e0Q/CW8xNxpe6eeZDeeuoSYcpEeMCK5DH3Dg5+J3I83M2FXLwqwsF34D/QBZiEruMH4KkD/tvPQEaA8Vdxe+EXgqIIw+d3txgbgsiTo/gUwMePI0rNWE7lmJz3cFLbLF0P/x74+bdPrDcpJKTUOBU+9s4QmfsxbTznPRyezpRvKrX6Hk4MS5ma4Orl+iw7LZMcmuxp/KK+HCPz7C3WCXPwgw8+sK6PWIBu9JYqlFqeIoB17+dIm1q26SeGVcXhVI2FiGfYl8fB3C1XlQ8otuiuj1B0KguMFueSXFOwcXUgWMZV9aZPTnvUHQyEExPqFCzq3s+hjZzoeb9PHvXi8mSuueYKDqUVDUfG5LgOcl5GcN90WibZjygX/rtOdWtDihQWkPOnVl6LE+zHkw6+9lLVASonKm7sISr3bRWZSecug+XU4g1e91h6bAxoYeR9kBEM2/qOyKrrvDpBj2XHpr7v6saL6XXwwQdbNbTON1G3kPLvg4FwmFPuW9op0e0+VkPjTeO6tZQZ1dRvJueL7zotk6wPxM3jWnVvneOTYj/yjje3jpTaOBwXZ0O+B0FGOE2dyuv/KgGea0yt1Cxywtd5foDrTN48dSVm+uAc5AYNdRd/iCMfrt05eUK/HCEdkZAnfgEXQu4LAkDi5OLZR95f9YMZ6yKKY78wQPtufCS68ssWdW+I1Aln7O+DhXDc/PxfC5G/zuF+WQGtFTOqLgg0hFnVrzYsuOCCNjEZcyFlvVrRcBibjMmpi71JkZFOyyTEBvHAC+wXt4eRd8aPPxPFg1wq/4H5WsJJmZzWUQQUAUUgF4G+IRzzWhQBRUARKICAEk4BkLULRUAR+B8CSjgqCYqAIlAMASWcYlBrR4qAIqCEozKgCCgCxRBQwikGtXakCCgCSjgqA4qAIlAMASWcYlBrR4qAIqCEozKgCCgCxRBQwikGtXakCCgCSjgqA4qAIlAMgb5iPWlHioAi0PMIKOH0vAgoAIpAOQSUcMphrT0pAj2PgBJOz4uAAqAIlENACacc1tqTItDzCCjh9LwIKACKQDkElHDKYa09KQI9j4ASTs+LgAKgCJRDQAmnHNbakyLQ8wgo4fS8CCgAikA5BJRwymGtPSkCPY+AEk7Pi4ACoAiUQ0AJpxzW2pMi0PMIKOH0vAgoAIpAOQSUcMphrT0pAj2PgBJOz4uAAqAIlENACacc1tqTItDzCCjh9LwIKACKQDkElHDKYa09KQI9j4ASTs+LgAKgCJRDQAmnHNbakyLQ8wgo4fS8CCgAikA5BP4DrNRqXAGZw00AAAAASUVORK5CYII="/></switch></g><rect x="130" y="0" width="20" height="20" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" pointer-events="all"/><path d="M 140 20 L 140 320" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" stroke-dasharray="3 3" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 18px; height: 1px; padding-top: 10px; margin-left: 131px;"><div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 12px; font-family: Arial; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">A</div></div></div></foreignObject><image x="131" y="3.5" width="18" height="17" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAEgAAABECAYAAAAiL3M8AAAAAXNSR0IArs4c6QAAA35JREFUeF7tmk3ITUEYx39vQpJENmxkYSHFjmKjUDa+SSgpiiKSUpQk5atQsqAo+Vz4tlGirBQlWUhWsmFhIcnCQsxT59U0Pfeec8+cmXkXz6l3896ZufP8zn/+859z7hB29SUwZHz6EzBANQoxQAYozkRMQaYgU1AcAVNQHL+R4EFTgWvAEq+UD8B69/c+rrz43iMB0BrgnlLKfuAc8De+zPYjlAY0FjgN7FFKeAZsAb62Ly++Z2lAs4E7wKyqFIEhS274Wgvcjy+z/QilAe0ALnpwjgOHPEhXgd3Ar/YlxvUsCWgScAVYXZXwAtgLnAKWVf8rbtYlAc0DHnpquQSIMe8Djnn3vahZlwI0yu1OR4DDHoidDpZAWgg8ASZUnxU161KApgE3gUWe/ywH3gBTgOveMpMmxcy6FKAw+9wFtrvl9QOQOckyO+Opq5hZlwA0rgqAsoMNX6HPhP4k2/+wwuK2pQF7lwCkZZ+w+InAZWBdabMuAUiWz1mvcPGbXW4H+xncXD8jyUdFzDo3oDD7SOHiPZKHwitUWhGzzg0o3MLfARuAjwqg8W5HuwBsLWnWOQFp2ec8cAD43cM7NwM3vM/ErFcBrwf02tbNcwKaDtwCFnizrcs3M4DbLjjOL2XWOQGF2eclsAn43Of2jgFOVrlouFlWs84FSPOTE9VR40+N/pc61T0N2tQpr/WSCjvmAhTuSLKlyyn+eYNKtEey2ZJ1LkBh9hlkmWjmns2scwDSsk8D4dQ2kUciR90yrVuitQP1a5AD0GLggff4ImrCXudBVNj6O1MD0pZH68kqHZObdWpAWo55685e31pQGu2UOBeYnDNZpwYUZp8Yc9VeEcWM1+gepQSkZZ9eJ/dGkwVWAI+CxknNOiWgOYA8KZzpFdTr5N4UkJaJ5G2InNm+NB1kkHapAGmPTfud3JvOWRtX+iYz61SAtOxTd3JvCklTZrJknQqQln1WAo+bUujTTvO2ZGadApBkHzHOgwlDnfaLkCRmnQKQln26nnz4Xk3uxSv3ZHIj8KkDlf4fIgWgHE8BeyX0zs26a0CaP8g5bJv7YcL3Lu8sEL47k+E7N+uuAXXMoPxwBqjmHhggAxS3TE1BpiBTUBwBU1AcP/MgU5ApKI6AKSiOn3mQKcgUFEfAFBTHzzzIFGQKiiNgCorjZx5kCjIFxREwBcXx+wf5lq5FzOjpHAAAAABJRU5ErkJggg=="/></switch></g><rect x="135" y="30" width="10" height="290" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" pointer-events="all"/><path d="M 145 50.03 L 170.03 50.03 L 170.03 70.03 L 151.37 70.03" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 146.12 70.03 L 153.12 66.53 L 151.37 70.03 L 153.12 73.53 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe flex-start; width: 1px; height: 1px; padding-top: 60px; margin-left: 152px;"><div data-drawio-colors="color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); " style="box-sizing: border-box; font-size: 0px; text-align: left;"><div style="display: inline-block; font-size: 11px; font-family: Arial; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; background-color: rgb(255, 255, 255); white-space: nowrap;">state := solved</div></div></div></foreignObject><image x="152" y="52.625" width="71" height="18.5" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAARwAAABKCAYAAABpVOu+AAAAAXNSR0IArs4c6QAAEd1JREFUeF7tnWWsbTUThntwQoDgHtzd3d3d3d0lOMEJ7sFdg7u7u7uT4A5BA1zy9Pu60zOnXavd0rvv2dNfcE9X5e307cx0prtvyJAhQ4wWRUARUAQKINCnhFMAZe1CEVAELAJKOCoIioAiUAwBJZxiUGtHioAioISjMqAIKALFEFDCKQa1dqQIKAJKOCoDioAiUAwBJZxiUGtHioAioISjMqAINIHA77//bvbcc09z7rnn2q+XX355c+WVV5pxxhmnidYG1yffffed2Xjjjc0999xjJ7b99tubU045xYw66qhlr8X//fdf8+CDD5rffvvNrLbaal2B8p9//mluuOEGM/3005u55567K8akg+h+BJRw4mvUFYTz8ccfm8MOO8xcdtll5oorrrAMODQLAdYvvfSSHdPtt99uHn/8cbPwwgsPzSFp38MQAko4XUw4zz77rFlxxRXN999/b0fZDYRz/fXXm6222sr88ssvdkxKOMPQbu+CoSrhdDHhPPHEE2aRRRZpjLAbCAd7e5NNNmmMSQmnC3bxMDQEJRwlnCxxVcLJgksrCwSUcJRwsjaFEk4WXFpZCSdZBoa601hNquS10orDCAKq4aiGkyWqquFkwaWVVcNJloFsDefvv/82zzzzjLnjjjvs7c3LL79sb3NGH310M8ccc5hZZ53VrL766mbRRRe1wTyh8s4775j111/fvPLKK7UDrXPYcpownnvvvdc8/fTTtk134zX22GOb2Wef3SywwAJm5ZVXNvPPP78ZYYQRgn1KTSs2MNq79tprbWxOrDCmxx57zNxyyy3mxRdftOOiTD755HY8Sy65pFljjTXs//f19dVi0EwFSZp+gFUz7Q3tb2KY5qxx1Ry+/vprc9ttt5n777/fhkQgoxTWec455zSrrrqqWWaZZcz4449fC0WdhvPqq6+addZZx7z33nu2rd12280cf/zxZuSRR65tmwqEbRx99NHmkEMOsfUnmmgic/PNN5v55ptvqMnkzz//bO68805z00032f34ySefGNZmoYUWstgh72CXTDhM8qGHHjL777+/ee6552qBYaEOPfRQs/baaw8Ash2E8+uvv5rzzjvPnHbaaXZyKWXeeec1xx13nN3wcqO3g3Ag4+uuu84cfvjhDYGtGtdmm21mjjrqKDPZZJOlDD+rTg7hHHnkkXat2lVSSDm1r1xMWeNjjjnGLLXUUma44Yar7eabb74xJ510kjn77LMbYRCxj9hAO+ywg9ljjz3MeOONV7m5qyKNkd1ddtnFXHLJJbaNXLy++OILg+xAjhTI64ILLjBjjjnmgDHl4pcrky449ogjjqiUebA7+eSTzQorrGA233zz6khjyIZTfeedd25oD7Ur+f8Ku+++u2Xj0UYbrfFJq4Tz1VdfmV133dVu7tyCVnHppZeaxRdfvN+nrRIOWt5BBx1kzjjjjKwhQcwQ52KLLZb1XV3lwUA4bBbC3iFEFxNVN2/+jrbN6c+mj2m01HvqqafMjjvumKRp+/0SBErawswzzxwcTp2Gw0dyfSCMrbfeOmV65oEHHjBrrrlmA5PYt52WSYgTmefQTy1oc2iQWACUYGoDKuAGG2xg3nrrLVsJttp0002tmjTjjDPaRUU4MGdg7auvvrrRP4vPhuJ7V6gLGKQzoC0R+OcKdddaa61+34800kiN/2eS++23nz2RXGHTbrnllpZEpp56anuy0Qfjve+++8w555zTjyhRjYlqRhV15a+//mos4I033mi22267xt/uuusuw8lJoW3m5AtyaEzUIWIaweAEoz5qO4GOF154YQNw2oyRYOoihuoNBsLBTOb0dmQDTmzKZZddtrHObG5kCAJw+TkOUzCIRYgjG8gM6r8rToNZaaWVzHTTTWf/+d1337UH2+WXX95PhjDPL774Yiv/sqQQzkcffWQ23HDDRv9bbLGFOfPMM/sdzKF1/eeffyyZHnvssfbPMe2o0zLJ/kIzxOLxC3Ni7zgyfuONNyxOmFqhQ2MA4Uh7kUW/6KKLgmYJHUMiV111ldlpp50aHVSpfLm3VPhFIDs3ePxFZ511lplkkkmi+/PDDz+0djJ+J1cQZgQ3ZbNW+ZHAhxPGJ6jlllvOsv4MM8wQbB81lABHTmA3D4iJTVOlqrdCQFXfgsvrr7/etubxRXDATDjhhE23KTctGxycZ5llliimqOwHHnhg4+/giwntH1j8ETMKQWcTuAL+J554oplqqqmC7YdkaN1117VrNtZYY/X7JoVwJHFMO+20hgj32WabrRIzSVQh/08JmXz00UftGmPeOYJnH6I8SFOW8XAYYIo635ib5ADC+emnn8w222xjwaCkOB/ZUGghp59+uv2mCswcwpG2L+THuOaZZ55awUZrwZ/kCsKJQLZKOFIAcE6jUU066aSVY2IROIEhT1dy1OraCQ/jFfDLbbTRRubJJ5+0M8GsQn2vcrL/8MMPVgNyRLLEEktYjCeeeOJ+aKBhItOucGhBHBNMMEElapjyyD+HniuhyPgUwuF7aRpVyaTrT8oxY5HJzp2WSbkP0eaRebSbqvV55JFHrP/G97kOIJwqr3LV6tx6661W7ZtiiinszRWnAcQjSw7hSN9Pjnf/7bffNuutt5557bXX7BBwcjkvvxxTzrW4L7wAj+qNAKcUuUGqNMGU9gZTHbnWKYTD/NEsyfDHtMbckJqWPEAxq6+55ppkHxovGpD24k720JqlEo5cf7Qs5ElqTG5dZbsh1wB1Oy2T8pYNRzO+yzHGGKNSBDHDSIjGqe/KAMJB5cdZzEaioFXEVKdmBD6HcLhGxJ6GNMgwx9OfmlkuBbgdhCOxiZ2oMVykuZqqVjeD87D2zeeff27X9uGHH7ZDx6RCqNFmWwklkJsl1Xfi8JNrHlqzVMJh/XGK77333rb5uutt/CEc3M6XGiLhEjIpD+Sc/Ef2O2aXcyUEfTg+KA74VVZZxapQbDJs9ZQryJDQ5xBOzqZhMX/88UdrM2Jvoor6DsJ2EI5U+3FCIgSjjDJK8lClgzqkIic3NogqSrOcqaFBIncQEbFVOHlzyYfbVv8CA1MAoc8p7Ie99tqr8QkaEnFlMU2k6gGuFBJx7fqaS4ycOi2Tzfqe3BzkQRK8pUKbQI2EHEKFW6Kll17a4N0n0CemEnaCcFDTvvzyS/P++++bN99802o+zz//fL8AwFC/7SCcF154wQY1OfU6R2hjdZvZAO3otxvbYB0xWWJxVgTkEdeBk55bRD/0IjYfSRZVlwexNnAX+Gaz9L2kaji0L/0hMTNJai74/rA0IGG/dFomeSCPUBf8jRT2O5dEWD4pRX4fffEvJ2YB8sFBy2mE87TqFGpGw0F7wTGGU1peV6ZMmjrtIJzU2J3UMdWNK6edwVCXdcYBjDZRF9zJxkPuMDmqIoJlkGNdJHvKISllKYdwaN93BDMP5sxc/EI4BWEo7nCLXTB0WialTzf3+dQ//vjDmpAurKXyiVGuE88//3wbV1MnAIAFeKivLEjsijSXcFC16Z8bi5RgMGJzWLyZZprJRgC302nc6cUtRRrdHGkMBmitp556avLhgqmF33HfffcdoAF0I+HIW6UDDjjAmubDDz+8FQHp66mKTO60TLZKOMzHX4OkN40JkiOHitwTnLjybl1ulKprxxzCiQUb0R/qNQtBHAOxGtNMM40lOZfP1QmnsRx7ldZUijya6afbCcfNCfODID80AsyaukOPWDBylHxTqxsJB78IhyFjC5kp3377rQ2fuPvuu+3fq25nOy2TrRKO9AElEY4v1LAvyZLYjgSQEeATIiDUKFIcZIJaDuHIYCM0KGJpCE8nhqLKdOvEtThJmfgPnKYVCzRrhgRKfjOsEI6PCQGm+O7w80BA3GaFCAjNiA3qZKMdPpw6x3OuScW8ZEyOf3kg/1bld+q0TLbqw5HYZBOO3BgIAs7bE044waYPuBJzLqUSDloVYdQIjCtEkUJkVfkyrm4O86fG4eCoxmSEbCk4MPEpjTvuuCX5ouW+ujHSOHdSaL/4GdFoePjeFRknIx2+zTjpJWnJm8VmCEfG5DgtBtn2tZ+YU9nNt9MyKTUUbsuwdFJ/1YR5oq25qP8BhEN+FFmpnCSffvqpddSmNE66OgmWjnTQRmBmrjP9kko4UpXLzbAlkpRMX1fa4TQOBZHVPROQu5F6sT5CDXmg0WJCsYFZv5SbkM8++8wKNC8bUJBVrq0xsSmtxuHINW8lDkeurU9k7oAeccQR+8Uj1QVAlpBJeSDnkLbEfwDhyBMhJ/zeV9XbTTgwPddxKblHsCoT87PL20E40pmHAMVMxxBxuMhLkkOZByRKNHRKqsZgJyJ/88VubkIYSO1CEk6rkcYyobSVSGM5fhmTg+aEDxKznVIXGEidEjIp/aGkVnCZVPdWUGhsAwgnlJcB6dQl5kkNp1WTSmo4KeCzADFHMw5Fsl1DQXqpJhXtSyFJzSvhW5lbQjQtmfZTTjnlYOeT2vnJa+Btt93WmtN1sTZSwwkRQjtzqUIHcDMmFYDI7/bZZx+LE0mllFjsTR1xtVsmQykKKe4N+eoE4x5AOKHGWXwcwDHtInR1neo0JtsXm1X6ZUI+HMbBRLkGDRWu8bHp3YL5daqSUCXhcA1Psl/IKY36T+AXyaquMB76JPkw9IobTE9SIle3/quH0sFZuysHcQV5YDFV8nC46o6RDs578nSQCVdCmLYrWzyW4d8s4TBmPybHPZ9SF3sjxaCETJJeQaaBk19IDU7g1YSQzOPnRN79aP8g4fCP5DDBrn5l9wYNpg0JmhSEhIZ54Mp33GEqcHKH3g6Rt0e0Q/CW8xNxpe6eeZDeeuoSYcpEeMCK5DH3Dg5+J3I83M2FXLwqwsF34D/QBZiEruMH4KkD/tvPQEaA8Vdxe+EXgqIIw+d3txgbgsiTo/gUwMePI0rNWE7lmJz3cFLbLF0P/x74+bdPrDcpJKTUOBU+9s4QmfsxbTznPRyezpRvKrX6Hk4MS5ma4Orl+iw7LZMcmuxp/KK+HCPz7C3WCXPwgw8+sK6PWIBu9JYqlFqeIoB17+dIm1q26SeGVcXhVI2FiGfYl8fB3C1XlQ8otuiuj1B0KguMFueSXFOwcXUgWMZV9aZPTnvUHQyEExPqFCzq3s+hjZzoeb9PHvXi8mSuueYKDqUVDUfG5LgOcl5GcN90WibZjygX/rtOdWtDihQWkPOnVl6LE+zHkw6+9lLVASonKm7sISr3bRWZSecug+XU4g1e91h6bAxoYeR9kBEM2/qOyKrrvDpBj2XHpr7v6saL6XXwwQdbNbTON1G3kPLvg4FwmFPuW9op0e0+VkPjTeO6tZQZ1dRvJueL7zotk6wPxM3jWnVvneOTYj/yjje3jpTaOBwXZ0O+B0FGOE2dyuv/KgGea0yt1Cxywtd5foDrTN48dSVm+uAc5AYNdRd/iCMfrt05eUK/HCEdkZAnfgEXQu4LAkDi5OLZR95f9YMZ6yKKY78wQPtufCS68ssWdW+I1Aln7O+DhXDc/PxfC5G/zuF+WQGtFTOqLgg0hFnVrzYsuOCCNjEZcyFlvVrRcBibjMmpi71JkZFOyyTEBvHAC+wXt4eRd8aPPxPFg1wq/4H5WsJJmZzWUQQUAUUgF4G+IRzzWhQBRUARKICAEk4BkLULRUAR+B8CSjgqCYqAIlAMASWcYlBrR4qAIqCEozKgCCgCxRBQwikGtXakCCgCSjgqA4qAIlAMASWcYlBrR4qAIqCEozKgCCgCxRBQwikGtXakCCgCSjgqA4qAIlAMgb5iPWlHioAi0PMIKOH0vAgoAIpAOQSUcMphrT0pAj2PgBJOz4uAAqAIlENACacc1tqTItDzCCjh9LwIKACKQDkElHDKYa09KQI9j4ASTs+LgAKgCJRDQAmnHNbakyLQ8wgo4fS8CCgAikA5BJRwymGtPSkCPY+AEk7Pi4ACoAiUQ0AJpxzW2pMi0PMIKOH0vAgoAIpAOQSUcMphrT0pAj2PgBJOz4uAAqAIlENACacc1tqTItDzCCjh9LwIKACKQDkElHDKYa09KQI9j4ASTs+LgAKgCJRDQAmnHNbakyLQ8wgo4fS8CCgAikA5BP4DrNRqXAGZw00AAAAASUVORK5CYII="/></switch></g><rect x="230" y="0" width="20" height="20" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" pointer-events="all"/><path d="M 240 20 L 240 320" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" stroke-dasharray="3 3" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 18px; height: 1px; padding-top: 10px; margin-left: 231px;"><div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 12px; font-family: Arial; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">B</div></div></div></foreignObject><image x="231" y="3.5" width="18" height="17" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAEgAAABECAYAAAAiL3M8AAAAAXNSR0IArs4c6QAAAx5JREFUeF7tmkuoTlEUx38XKQNE5krJ4CoDSqGMSBlIKboXZe6RSCiEgUeZEJFHuGTCgJnHEKUQJlJSBjJiQPJIOKv2qe3U/b79+PbnLK0z/L619jn/3/mftfde5wxgR0cCA8anMwED1MUhBsgA5RURc5A5yByUR8AclMevdA0aBq4kXuIr4DXwCLgNPAN+JI6VnNZmQE1RAuwAcAP4nqw4MlEToFraWWAn8DFSa1K4RkAi9BSwA/iSpDoiqd+ApJZIXfrQ5RrHAROBGcByYAswtZGzFrgaoTUptK2AmmJmA+eA+d4f94D1wPsk5YFJWgCJnBXAiHNWLW8pcDdQa1KYJkDTHKBlntLdwKEk5YFJmgCNBw4DWz1tUqy3VbPat0C90WGaAIm4PW4tVAs944B9jVYemKAJ0FjgYLVI3OVp2+t+C5QbH6YJ0BTgPLDSkymF+1a87PAMTYBkxrruzWI2zXv3eS5wsrEOWucWir/D/RAf2VYHjQEmVwBmAkOAwPBX0v/tViP+Fv6d8Rk4Wj1mx4BiM5d/yn47KAfQG2A7cBP4lTNQTK4mQLWua8AR4AVQtP7ICTUCkuuWR022GaeBnzGOiI3tN6DQdofomABMAua4Fomsf6QFUh8CSbYdF0o6qc2AmrVygZvqBVh9vAVWAY9jnREarwVQrWcxcAmY7gk87rqLRfrU2gBJp3G/qz81oyfAGvcGJNQYwXHaAImwJcCdhsJF1e8PglVHBGoEtBC439BYrD9tgLq4SSMge8Q63FRpmu1zncU67DmwGpA3rz0/tDlonusJ+dP8RWBjqZeImgANAtKDliLtr6alFSIb2CJHmwHJtclWY9YoPSEBcrl6S7sJ+FSEjuLNqvCQz2I2VPXnZSk4Mm6/HdQrLbIo3Aw87dWAo42jDZDMVCcAKczFv+xou4OknSFflb0DHrqthDTJivZ/mk4q7aDST0Dx8Q3QP95qFL/DpU9gDjIH5XnMHGQOMgflETAH5fGzGmQOMgflETAH5fGzGmQOMgflETAH5fGzGmQOMgflETAH5fGzGmQOMgflEeiS/QcqjbNFDRAFnQAAAABJRU5ErkJggg=="/></switch></g><rect x="235" y="30" width="10" height="290" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" pointer-events="all"/><path d="M 135 80.03 L 90.03 80.03 L 51.37 80.03" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 46.12 80.03 L 53.12 76.53 L 51.37 80.03 L 53.12 83.53 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 80px; margin-left: 90px;"><div data-drawio-colors="color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 11px; font-family: Arial; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; background-color: rgb(255, 255, 255); white-space: nowrap;">update</div></div></div></foreignObject><image x="73" y="74" width="34" height="21.25" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAIgAAABVCAYAAACSGqyjAAAAAXNSR0IArs4c6QAADCZJREFUeF7tXAWolEsUPlfFwO7GAFGxuxNbTOwWW7Gxu8XuFrG7u7sLFVtREbuwEYzHNzg/c+f+MXvf3ll/nYEHXnZ25sR3Ys45+8J+/fr1i8wyEnCQQJgBiMGGmwQMQAw+XCVgAGIAYgBiMBB5CRgPEnnZ/RPfNAD5J9QceSYNQCIvu3/imwYgv9W8cuVKatasmaX0EydOUIkSJf4JEJhnroKa/0SA/Pz5kw4dOkRfvnyhmjVrKnAR/C3Gg/yhHuThw4c0bNgwWrZsGa1YsYKaNm0afO0rnGgA8gcC5Ny5c1S1alV6+/Yto84ARAHJUb3lTwoxJ0+epJIlS1osG4BEtfYVzjcAsReSCTF/YIgxHkTBonVvMR7EeBBXzBmAeADk9u3b1LBhQ7py5QrbOXLkSBoyZIiSIasKd9SoUTR06FB2ZuXKlQnfS5o0KX379o0OHz5MS5YsobNnz9KjR48oSZIkVLx4capWrRqrAaRNm1aJFnET6gg3btygtWvX0oEDB+jMmTPs43z58lGpUqWoQYMGVKRIEYoRIwajJTKFsu/fv9Ply5dpz5497Pzr168z+rHix49PefPmpVy5clGtWrXYnXHixLHlQ5a/G7NeRbyvX7/S8ePHaevWrXTp0iWL7wwZMlCePHmoXLlyVLt2bcLfYWFhrnK1cpBQAeTVq1fUp08f2rFjhyOhEHTXrl2pf//+TOgqS6wjuO2vU6cOTZ06lSD0QAACUG/atInGjRtH165dUyGJsmbNymob9evXZ6AUVzAAArCuX7+eRowYQTjPa7Vo0YJGjx5N6dOnd9waUoAMGjSIgQNeQ2VBsDNnzqSUKVO6bj927Bi1b99eSUg4CF4EZfUpU6ZY57pZ6efPnwm0T58+XYXscHsA8Hnz5lHjxo3DWe//BcjHjx8ZTZBPIAugXbBgAZUuXdr2ayEDCNxbokSJrJAG99utWzcqWrQoxYoVi+7cuUNr1qyhpUuXEpjnq3PnzjRhwgSKGzeuLUM3b96k1q1bhwMdhNChQwfmVhMkSEAfPnygbdu20eLFix2t3wkgsNLJkyczb8YXwmHHjh2pYsWKlD17duYdEN7u379PR48eZaFTtGjsgaXnyJHDOgPngk987/z586xQxhcUWLduXetvgCxmzJjW3wBs3759ac6cOeH2oPoKD4mwAppevnxJKMKBb4QgvqALyLlMmTIRZBoygIiUDB8+nDEox2fMU586dYq6dOliAQnfg8Datm0bIX4i9vbs2ZPmz59vHd+uXTsaM2YMJU+ePALzqFQizxIFyzc5AeTChQtUr149K8+A91m0aBHlzJnT0XARRmHdCxcutPbAiwC0diuQZy5khPvhMfmqVKkS827ZsmWzPR/hEcU3yIobH4AEuclyCjlAxo8fT717944Qk0XOYIUtW7a0lFKhQgXWo0idOnU4ARw8eJBZDGcaiSGYdgtJdtaHQ+0A8uPHDxbfkWxjwZKXL1/OElCvBcuFB3v27BnbCuWAd9ET8DMCAciDBw9YuOJhunr16iyEpUuXzpUkAAuJefPmza19AFqbNm3CfS+kAAEzICpVqlSuzMD9IrkbO3astQ8ZutjhhPLgDZA0cuVt2LCBYE1e6+rVq9SoUSNCeHLzIK9fv2YCxYsFC2CEu06cOLHXFQQv0qRJE/aawoL3QHJs96oJBCC4H940UMBi/7t37xggNm/ezL4Pzwh9JEyY0OInpABxc7OyxGULHDBgALPk6NGjs62y8qpUqcKsO1myZJ7KswtNdh7k+fPnLC9CKQD5BZ7qAwcO9HwqgoA3b96wjuzevXuDBhB4SoRf8IlVtmxZ5hXSpEnjyTM2wIsg/PJyRpYsWQhGlTt37tADBOFh+/btVKBAASVmZAuE94FguPXCC8AC7t69y86TAeR1CUIREk03D+J1hvz5p0+f6N69e3T69GnauHEjIQTyFQwPgnoLvBLyNCwk5zCa2LFjK5OKp7qYv8ieOWQeJFC0y1aOItqqVatYsQcLT1sxC8eTFXFedcnf9ypG8XPx6oB3wKvr1q1bhJwAhTOxYGZHQzAAcvHiRapRo4aV16jy6rZP9uohA4hYSVVhTAYInm6okOIJiyVXQgNtkaMKinyFJ7heAEGyiecrXlS8cqrCRzA9iJyrBHK/0165gh4ygLhZkB3xUQ0QuVDlBBB4DIQLFPhUgIGyPvIh1HdmzJhhhZlgeJC/GiB2GbObBUQ1QOQcxg4gSOpWr17NchWxeAe64ckABvyHAljmzJlZCTtevHiMrahIUmWABNI/U/U2QfEgeK716tXLM8FzatapEIvB3e7du7NnGJacw/zfHEQWth1A7MrhSPD69etHGTNmpGjRojmyEhXPXDksutVWVGRstycoABEVj0uc3LO4T84hvBh4+vQpeyYeOXKEbUU9Yvbs2VbzTvYAgQoL+QxqIXzZ8SAbglfZX+RJBlcwQgxeSKAZySpWIE97L3nzzx0BopojyG9xVYBg3759+1j/QmXBwtGf4K4dYEP5mrer5TpIIK8kuchmx4Mc4lBF3b17t/JvZ/bv3x+uaBcMgLx//54VyVC7wELpYMuWLVS4cGEVkSrtsQAiv6llC3U6Dc85dFm9qpD4vuxp0JxD4w3NObclV1LtlCMXfXCe6ktGLlerAAQzHuvWrXPsd4j8oPcBMKPJx1cwAAKe4dXQquAL/0bxy0um2M/lCqCjBwOvjhmZggULWudZAJHRiPoCkClulpVoVwIPxIM4tb7le/DjIcxq8D4G5hjQ1kZnVlxyyRyNNDxF0T11Wqo82FVb8ZoRu6x2dzgltnKhT/xuIKV22UBVZYr75B4X5IUkPFOmTBEBIjeisMOt2YUm18SJE1nzSl4qOQj/DoCIXALhQ07yIFz0PTp16hRuSsupxwJlowEmTsK5dTahdHgwdJNVeJBzECgZtPNinXwGZDR37lw2nSe/etzqQDJAUM6HnOUhI9wHvaEoiG44Xxg/mDRpEquy2nkSpy75tGnT2MiFOGUWbqpdbmXjwkKFCrF6PwZKYLGYKUDuIM5SwIowVcXL3IEAhDOFjiReBHxGApYB60cjSRSuV/f3xYsXrBGGkrEoMLyAoFC8NgAMjDii/S7ORYgKtuPBLpzyWRMkiClSpLDmQPCqQojj02ZQGmZYHj9+zK5xAwgqsnD14qQawjhvS8BwxVY+XkiYuEOiLS7cgcQev7GB7sA3RhDRT8IEnyhXJ2cQDiBAI+YIYFEy4p1cNASPfAVdQT7PqgqQwYMHs36KSsEJ9zvNjci04TyAeufOnY6hRfwAHgA8YPyOr0DrIG4XwchgnWjJ83KAWw4jh3v5bLvcCiBB/sEbd0qM/94E8ME72s39RvhdjOpcIywCrhNZNOY/xYFnVYBgH9xZjx492BSV04KA0eovX768a61B/D4ADm+DXMUN7EjMkDyiwSX+ms2tkooGF8DtNfcJGeG5jecw/o0pNnF2RG6MifTL+YH4mVNBDMkw8iJ87kUbzgNN4AOe22lCz/GHUxjL27VrF3Px8qQ5GkQYfoFLxVItUzvVSxCrISwkSOhMYtILrrtYsWJsGMZtGtzLUp48ecIUA1742fAYSMgwzwFeIByVQpl4FyqjaN2Dbi4ffI5KKkCHaXy4eDGRll9LrVq1olmzZjkqB4YHgCMcogHIl1cJwmmqHd9HyT9//vyMPshVTvRleWr9ZZ1qQc1L6eZzfRIwANEna1/eZADiS7XpI9oARJ+sfXmTAYgv1aaPaAMQfbL25U0GIL5Umz6iDUD0ydqXNxmA+FJt+ojWChB9bJmbgiUBA5BgSfIvPccA5C9VbLDYcv//DwXrFnOObyVgAOJb1ekh3ABEj5x9e4sBiG9Vp4dwAxA9cvbtLQYgvlWdHsINQPTI2be3GID4VnV6CDcA0SNn395iAOJb1ekh3ABEj5x9e4sBiG9Vp4dwAxA9cvbtLQYgvlWdHsINQPTI2be3GID4VnV6CDcA0SNn395iAOJb1ekh3ABEj5x9e4sBiG9Vp4dwAxA9cvbtLQYgvlWdHsINQPTI2be3GID4VnV6CDcA0SNn395iAOJb1ekh3ABEj5x9e4sBiG9Vp4dwAxA9cvbtLQYgvlWdHsINQPTI2be3GID4VnV6CDcA0SNn397yH5fVag1Bi6ciAAAAAElFTkSuQmCC"/></switch></g><path d="M 45 240.03 L 130.03 240.03 L 228.63 240.03" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 233.88 240.03 L 226.88 243.53 L 228.63 240.03 L 226.88 236.53 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 240px; margin-left: 90px;"><div data-drawio-colors="color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 11px; font-family: Arial; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; background-color: rgb(255, 255, 255); white-space: nowrap;">update</div></div></div></foreignObject><image x="73" y="232.625" width="34" height="21.25" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAIgAAABVCAYAAACSGqyjAAAAAXNSR0IArs4c6QAADCZJREFUeF7tXAWolEsUPlfFwO7GAFGxuxNbTOwWW7Gxu8XuFrG7u7sLFVtREbuwEYzHNzg/c+f+MXvf3ll/nYEHXnZ25sR3Ys45+8J+/fr1i8wyEnCQQJgBiMGGmwQMQAw+XCVgAGIAYgBiMBB5CRgPEnnZ/RPfNAD5J9QceSYNQCIvu3/imwYgv9W8cuVKatasmaX0EydOUIkSJf4JEJhnroKa/0SA/Pz5kw4dOkRfvnyhmjVrKnAR/C3Gg/yhHuThw4c0bNgwWrZsGa1YsYKaNm0afO0rnGgA8gcC5Ny5c1S1alV6+/Yto84ARAHJUb3lTwoxJ0+epJIlS1osG4BEtfYVzjcAsReSCTF/YIgxHkTBonVvMR7EeBBXzBmAeADk9u3b1LBhQ7py5QrbOXLkSBoyZIiSIasKd9SoUTR06FB2ZuXKlQnfS5o0KX379o0OHz5MS5YsobNnz9KjR48oSZIkVLx4capWrRqrAaRNm1aJFnET6gg3btygtWvX0oEDB+jMmTPs43z58lGpUqWoQYMGVKRIEYoRIwajJTKFsu/fv9Ply5dpz5497Pzr168z+rHix49PefPmpVy5clGtWrXYnXHixLHlQ5a/G7NeRbyvX7/S8ePHaevWrXTp0iWL7wwZMlCePHmoXLlyVLt2bcLfYWFhrnK1cpBQAeTVq1fUp08f2rFjhyOhEHTXrl2pf//+TOgqS6wjuO2vU6cOTZ06lSD0QAACUG/atInGjRtH165dUyGJsmbNymob9evXZ6AUVzAAArCuX7+eRowYQTjPa7Vo0YJGjx5N6dOnd9waUoAMGjSIgQNeQ2VBsDNnzqSUKVO6bj927Bi1b99eSUg4CF4EZfUpU6ZY57pZ6efPnwm0T58+XYXscHsA8Hnz5lHjxo3DWe//BcjHjx8ZTZBPIAugXbBgAZUuXdr2ayEDCNxbokSJrJAG99utWzcqWrQoxYoVi+7cuUNr1qyhpUuXEpjnq3PnzjRhwgSKGzeuLUM3b96k1q1bhwMdhNChQwfmVhMkSEAfPnygbdu20eLFix2t3wkgsNLJkyczb8YXwmHHjh2pYsWKlD17duYdEN7u379PR48eZaFTtGjsgaXnyJHDOgPngk987/z586xQxhcUWLduXetvgCxmzJjW3wBs3759ac6cOeH2oPoKD4mwAppevnxJKMKBb4QgvqALyLlMmTIRZBoygIiUDB8+nDEox2fMU586dYq6dOliAQnfg8Datm0bIX4i9vbs2ZPmz59vHd+uXTsaM2YMJU+ePALzqFQizxIFyzc5AeTChQtUr149K8+A91m0aBHlzJnT0XARRmHdCxcutPbAiwC0diuQZy5khPvhMfmqVKkS827ZsmWzPR/hEcU3yIobH4AEuclyCjlAxo8fT717944Qk0XOYIUtW7a0lFKhQgXWo0idOnU4ARw8eJBZDGcaiSGYdgtJdtaHQ+0A8uPHDxbfkWxjwZKXL1/OElCvBcuFB3v27BnbCuWAd9ET8DMCAciDBw9YuOJhunr16iyEpUuXzpUkAAuJefPmza19AFqbNm3CfS+kAAEzICpVqlSuzMD9IrkbO3astQ8ZutjhhPLgDZA0cuVt2LCBYE1e6+rVq9SoUSNCeHLzIK9fv2YCxYsFC2CEu06cOLHXFQQv0qRJE/aawoL3QHJs96oJBCC4H940UMBi/7t37xggNm/ezL4Pzwh9JEyY0OInpABxc7OyxGULHDBgALPk6NGjs62y8qpUqcKsO1myZJ7KswtNdh7k+fPnLC9CKQD5BZ7qAwcO9HwqgoA3b96wjuzevXuDBhB4SoRf8IlVtmxZ5hXSpEnjyTM2wIsg/PJyRpYsWQhGlTt37tADBOFh+/btVKBAASVmZAuE94FguPXCC8AC7t69y86TAeR1CUIREk03D+J1hvz5p0+f6N69e3T69GnauHEjIQTyFQwPgnoLvBLyNCwk5zCa2LFjK5OKp7qYv8ieOWQeJFC0y1aOItqqVatYsQcLT1sxC8eTFXFedcnf9ypG8XPx6oB3wKvr1q1bhJwAhTOxYGZHQzAAcvHiRapRo4aV16jy6rZP9uohA4hYSVVhTAYInm6okOIJiyVXQgNtkaMKinyFJ7heAEGyiecrXlS8cqrCRzA9iJyrBHK/0165gh4ygLhZkB3xUQ0QuVDlBBB4DIQLFPhUgIGyPvIh1HdmzJhhhZlgeJC/GiB2GbObBUQ1QOQcxg4gSOpWr17NchWxeAe64ckABvyHAljmzJlZCTtevHiMrahIUmWABNI/U/U2QfEgeK716tXLM8FzatapEIvB3e7du7NnGJacw/zfHEQWth1A7MrhSPD69etHGTNmpGjRojmyEhXPXDksutVWVGRstycoABEVj0uc3LO4T84hvBh4+vQpeyYeOXKEbUU9Yvbs2VbzTvYAgQoL+QxqIXzZ8SAbglfZX+RJBlcwQgxeSKAZySpWIE97L3nzzx0BopojyG9xVYBg3759+1j/QmXBwtGf4K4dYEP5mrer5TpIIK8kuchmx4Mc4lBF3b17t/JvZ/bv3x+uaBcMgLx//54VyVC7wELpYMuWLVS4cGEVkSrtsQAiv6llC3U6Dc85dFm9qpD4vuxp0JxD4w3NObclV1LtlCMXfXCe6ktGLlerAAQzHuvWrXPsd4j8oPcBMKPJx1cwAAKe4dXQquAL/0bxy0um2M/lCqCjBwOvjhmZggULWudZAJHRiPoCkClulpVoVwIPxIM4tb7le/DjIcxq8D4G5hjQ1kZnVlxyyRyNNDxF0T11Wqo82FVb8ZoRu6x2dzgltnKhT/xuIKV22UBVZYr75B4X5IUkPFOmTBEBIjeisMOt2YUm18SJE1nzSl4qOQj/DoCIXALhQ07yIFz0PTp16hRuSsupxwJlowEmTsK5dTahdHgwdJNVeJBzECgZtPNinXwGZDR37lw2nSe/etzqQDJAUM6HnOUhI9wHvaEoiG44Xxg/mDRpEquy2nkSpy75tGnT2MiFOGUWbqpdbmXjwkKFCrF6PwZKYLGYKUDuIM5SwIowVcXL3IEAhDOFjiReBHxGApYB60cjSRSuV/f3xYsXrBGGkrEoMLyAoFC8NgAMjDii/S7ORYgKtuPBLpzyWRMkiClSpLDmQPCqQojj02ZQGmZYHj9+zK5xAwgqsnD14qQawjhvS8BwxVY+XkiYuEOiLS7cgcQev7GB7sA3RhDRT8IEnyhXJ2cQDiBAI+YIYFEy4p1cNASPfAVdQT7PqgqQwYMHs36KSsEJ9zvNjci04TyAeufOnY6hRfwAHgA8YPyOr0DrIG4XwchgnWjJ83KAWw4jh3v5bLvcCiBB/sEbd0qM/94E8ME72s39RvhdjOpcIywCrhNZNOY/xYFnVYBgH9xZjx492BSV04KA0eovX768a61B/D4ADm+DXMUN7EjMkDyiwSX+ms2tkooGF8DtNfcJGeG5jecw/o0pNnF2RG6MifTL+YH4mVNBDMkw8iJ87kUbzgNN4AOe22lCz/GHUxjL27VrF3Px8qQ5GkQYfoFLxVItUzvVSxCrISwkSOhMYtILrrtYsWJsGMZtGtzLUp48ecIUA1742fAYSMgwzwFeIByVQpl4FyqjaN2Dbi4ffI5KKkCHaXy4eDGRll9LrVq1olmzZjkqB4YHgCMcogHIl1cJwmmqHd9HyT9//vyMPshVTvRleWr9ZZ1qQc1L6eZzfRIwANEna1/eZADiS7XpI9oARJ+sfXmTAYgv1aaPaAMQfbL25U0GIL5Umz6iDUD0ydqXNxmA+FJt+ojWChB9bJmbgiUBA5BgSfIvPccA5C9VbLDYcv//DwXrFnOObyVgAOJb1ekh3ABEj5x9e4sBiG9Vp4dwAxA9cvbtLQYgvlWdHsINQPTI2be3GID4VnV6CDcA0SNn395iAOJb1ekh3ABEj5x9e4sBiG9Vp4dwAxA9cvbtLQYgvlWdHsINQPTI2be3GID4VnV6CDcA0SNn395iAOJb1ekh3ABEj5x9e4sBiG9Vp4dwAxA9cvbtLQYgvlWdHsINQPTI2be3GID4VnV6CDcA0SNn395iAOJb1ekh3ABEj5x9e4sBiG9Vp4dwAxA9cvbtLQYgvlWdHsINQPTI2be3GID4VnV6CDcA0SNn397yH5fVag1Bi6ciAAAAAElFTkSuQmCC"/></switch></g><path d="M 235 280.03 L 130.03 280.03 L 51.37 280.03" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 46.12 280.03 L 53.12 276.53 L 51.37 280.03 L 53.12 283.53 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 280px; margin-left: 190px;"><div data-drawio-colors="color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 11px; font-family: Arial; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; background-color: rgb(255, 255, 255); white-space: nowrap;">main state?</div></div></div></foreignObject><image x="161.5" y="274" width="57" height="15.75" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAOQAAAA/CAYAAADwrmRhAAAAAXNSR0IArs4c6QAADspJREFUeF7tnXeMVUUUxmeVCAaUCCgREiUQQCkqKCUakF6sFBFFpdhogooBKdJ7EQEpIhpFQIqKgtKxF1AgKP6hYA8IAlG6CqGY3yTzcne4Ze7uu/h290xCRHbu3JlvznfmtLmbdebMmTNKmiAgCGQEAllCyIzYB5mEIKAREEKKIAgCGYSAEDKDNkOmIggIIUUGBIEMQkAImUGbIVMRBISQIgOCQAYhIITMoM2QqQgCBZqQf/75p7rvvvvUmjVrtCR07dpVPffcc+rCCy8UyRAEYiFw+PBhLUcrV65U33zzjdq6dat+/sorr1TXXnutatiwoWrevLmqXLmyOu+88wLHFkIKIQOFY//+/er1119XHTt2VJdcckksAU2q86+//qree+899dBDD2WE4vznn3/UCy+8oEaNGqX++uuvyGXfe++9avjw4apixYq+fYWQQsizBOP48ePqrbfeUiNGjFDlypVTCxYsUCVLlowUtiQ7HDt2TL344ota8Nu1a5cRlgwK66mnnlLz5s2LtXROzVmzZqkWLVqorKysbM8KIYWQ2QTi33//Vf3791dTp07V/46Z9X8T8sCBA6pLly5q2bJlGeNaoCD69eunZs6cmQ0/TsDOnTtrM7VQoUKKEx0z9uWXX1a//fZbqi+knDt3rrr55puFkLHUWQHrjAn25JNPqtmzZ2cMITPR10dJ3X///dkINnHiRNW2bVtfHxEyguvbb7+dega/ktO1bNmyqX8r0CdkAeOa03KFkNEw7dmzR/vV69evT3WGWAQIbRPUO9revXt14NCc9PxsypQpqnfv3qnnhJDR+BeoHkLI6O1et26datasWaojPi0WhUvg65NPPlH33HOPgtS0u+66S7300kuqePHi+v+FkNH4F6geQsjw7T516pQaPHiwGjt2bKrj/Pnz9eno0g4dOqQefvhh9eabb+ru+JqLFy/W6RAhpAuCBayPEDJ8w48cOaJ69uyZiqySvoBc11xzjZOk2IS+/PLL1bvvvquuv/767ITcvn27at++vU5q0j777DN100036b/v27dPvfPOO9oh/fzzzxWTIkpUp04dHf3COS1cuHC2CZ0+fVp9+eWXatGiRTphyvi0unXrqltvvVXb4FdccYXTIkwn7lLv2rVLR60++ugjPaZJwNKnRo0aWtM0adJE3X777eqyyy4LHd81WBCGDWOwPvwC1ovzftFFF6natWtrs+buu+/WWIX5FrFA8OnM/rCp+DTgYbAGi6uvvlpH8lq1ahU6j5EjR6ohQ4ZETiWqeCJde2QrhrCJkZ7h1ApqzIl9QYY//PBDLeMm4ok81qxZU915552qXr16kbnNo0ePKk7Eb7/9Vu3YsUMVLVpUR1Bd00I2IW1Cp0xWP6G74YYbtH3LRoUlPW+77TY1efLkVLJz586d6plnnlGvvfZaIEglSpTQOaVHHnlEh4fDGoAiaPT3RqnCnoEUPXr00KFp3uXXckNIlBGRtj59+oRi4zKPSBYEdGBPJkyYoEPvKMmohhIkKU1u0W65JWS69yhdhHSRRYMFCmzo0KE6zxklk1FYB/3cNllvvPFGXXyB0qYFEnL16tUKB3TMmDFO70bD4NgePHhQV1FwkkY1hJUqB3I3QScIG42NjZngUglhvxNSIrRoMrvllJCczhs3btT5OteGj/H88887Of4uYxKx69Wrl3rjjTdcuqf6IHQk2OvXr5/tudwQMok9yi0hmdPHH3+sunXrlrIYXIF6/PHH1ejRo31lxnWMoH4ffPCBTpeYoI5tcQQSEuZ+8cUXetxatWppQrCJF198sR5s6dKlOnnsJQna5euvv9bmG6fSAw88oDp06KAqVKigABghhhybNm1KzRezGBPAT2vTCVA7deqULamKBoPE1113nZ4PDbNt8+bN+tQytanmJZzyKIl0ERJAWSOnEgKO2Y6ZzBpYJ+tDObnOI+4mnzx5Umtyr7LE3GKNmMrGVAcTFCtzMWYs72rdurX+t0svvTT1akwxKnQoDMD8e+WVV/TPGjdurJWmiSBycoC5V4EmsUcQivpQ1kphAMR6//339ZzAGwVSpEgR/f+4S8WKFcsGo9+ckGOebdCggcaIsb/77jttypK28MpymCKPu1+mP+/i/bg2NA4k3sthZlogIU0HToGBAwfqh70NwBYuXKiBss0lzLkZM2akHFXvc365GIT7jjvuOGudbAQaxJwCzAHzDJIHFegiVBCcJKyZF4qB+dhryOkJaSbKpg0bNiybYJufMQ/MeLAzDSLgb7iEx8M23XYvunfvrsaPH3/W+swYv//+u1ao3vxXEOZxgzpJ7xFrcN0n73rZc/xFI/iceI8++uhZsQ7zzM8//6zzgStWrEg9gyVBiiIdzW8P/EgfSsio/AqbgVb2+nVEjSBEo0aNAtdh53GCnHI0IkJsiEXdIMDaAST7Rfa8bDvd9HfdaJsAPI8/hglqTmi/xXJC4SMvX75c/zhuRC4IQMYzWhUls2rVqlQALuiZr776Sgd2jKk0YMAAfcqcf/752R6JS8ik9yguITkouLGDrJj26quvamst7JYFff/44w+dkjCkxOohDoJM56b98MMP6rHHHlNr165NDWNcvNKlS2cbOpSQDNC0adPAubB4ggT8MY06vunTp4fa37aAoymeffbZlAnCWIwN+Uz0DFAwLTDJopo9LzvXk1tCQgKUEOZcWLPXQF9v9DpqHUE/95ZtuRKSYAKnJBYK0Wj+UOZ1wQUX5JiQ52KP4hLSrqKJOlRsjHHFwMW0IEvCde+QdTumggWJS0AE3G6hPqQ3+hM0AXwRzFbT8DcwM8MaVfKYnab0yC+UfuLECX3jgOgqf/AR5syZo0qVKuWEhTdIkW5C4oNAijJlykTOxa55jFJykQMqpWwLg1MY5eX1CV3G8esT54Q8F3sUl5A2Ni7y6MXBPiyCLAkXfG2fkWcgIzGNatWq+Q4RSEi7pMdFW9PHReBcTUWXRZs+CAd2OkElTi/MDuOkp5uQQT6p33xtQsap6gha/y+//KKDWiY4QD/C5gSb8MWrV68emU8LGjsOIePsD31zskdxCYm5SirKNMx5gjmuzQ4gufLAHt8vVkJeGusx6C4kYwQSMioBbCZgC5yLSZYbQhIN/PHHHxVCiQYiQWsXCNjgpJuQrtgwjyQIiak4bdo09cQTT/jKGWYs0WuuTiEElSpVcs6rpYOQ6dyjOISE8AQhIWW6WhxryLyT5D8BPXLgplEMQ2DR5BuD5pcnCImQcEucIMqnn34aG+v8RkgA4D4eaQ+XPDFCwMnZpk0bbTKFfaIkp4RMao/iEDJO7tJViIJkJ+x524IJ8xntcTKekN9//70iUeuNUAWBgeCh0dBGmHMEimj5kZCsi/JE8m1oYxSWS8OcJVVDxNUv6pgTQia5R3mRkBSyeNMlpE+I3rqUT2Y0If2cYjaIogP8Akr7qlSpom3y8uXL6/yeEbIkgzr/t8lqEw8TFp+FKhBytqQiwkrpwiqk4hIy6T3KDSFzcrq5KLWwPnaEHwW4ZMkSddVVVzkNnbGE9DM/8IsgGv+1w/Xe1Sad9sg0Qto7jS/1008/6QJ8cpbmQoC3H9YEtxRQat4Wh5DnYo/iEJIqI/KP5rMa9k0KJ0bkslMc/PxelbGE3LJli76xYRLZcexwG5T8arK6yg4laKSQqObxltBh6lLRlFNCnos9ikNI+nJP0VsdlY6otivO9LNlL26UNmMJaUcnORkHDRrkZIfv3r1bXxjlhMhvPiSmKKF86nb5wz06cpBhFoMRKPxwBMSYs34FGXE0/LnYo7iE9FYx8SzlcNRPR1V3xSFdWF8bvzjWFOPmGULyhS7K1Vwa1RXkCo3g5acT0r6+E6e8y6VCKjeETGKP4hLSjnAGmeZBcrRt2zYtZ8QpKGvjLimy5HdbyEUW4/bJM4R01XR+QQaCGJwOXEb1Ntd8qC3IcbReuvOQfrWaLh9YYt32CZlbk9VeWxJ7FJeQ5AAp5cSiMi2obtQmi9+nHYnUY9a7REjjki9P+5BhH5dlYaQAiC727ds39dUD74L9ChbyIiFZE1qcsDrKhwY2JJ1btmwZWEBtpyZcgzrUW/LVB79PVNg+ZBJ75EdIv88neveaYm5ONW8lE5cUJk2apKPxfg1ripzuuHHjUj+OuhqYDgLaY2TsCYm2okKeSn3TOOm4G4kwUn1CisPcgyS07M3FkQphY0zLT4T0qwRhnRRSUz7HJylI/qOkiLZS32l/qJcThKoW+2a834UB7nxScM3NFr4hynvwyc7FHrGuv//+W+eiqQE1jbQXQT98Z5QGf/eeYqR/qLH23nHEDOXfbrnllpT88CFjFLn5LIdX1qIuz/sR0u9mkEv1mhkrYwnJBINyXGGaCdC5zsVtBgIYJkrr59/k1ROS9Qd9OdtFa0fdn7QDI94x7S+ZJ71H5t12jap3Tn4uBIqFmmbqWr1fDHfBBxmiKgzFH3Vlyx4vXxOSxWJqYYa6VKJQcE11PslYNoEbJearB/gBmCPeaGReJiTYxP1FL5iUTz/9tHrwwQdDo45hZPcLkCW5R0bg/Yq1zc/Cft0BJyBfVwj7vpOXVHwfCh8UhZ4TvzHfExKwuH2/YcMGrfGoZfX7VV/2V9V4huJeirBpmDWYMVWrVk3hn9cJaRbi/VVokINPpZjm/aoaPpFrtBD8UIK4DCg1r+nnZ4IltUdesqAoIBY5VS5cR0XRzbNhX52L++viok7YtBEy6kXyc0FAEEgeAflyefIYyxsEAWcEhJDOUElHQSB5BISQyWMsbxAEnBEQQjpDJR0FgeQREEImj7G8QRBwRkAI6QyVdBQEkkdACJk8xvIGQcAZASGkM1TSURBIHgEhZPIYyxsEAWcEhJDOUElHQSB5BISQyWMsbxAEnBHIcu4pHQUBQSBxBISQiUMsLxAE3BEQQrpjJT0FgcQREEImDrG8QBBwR0AI6Y6V9BQEEkdACJk4xPICQcAdASGkO1bSUxBIHAEhZOIQywsEAXcEhJDuWElPQSBxBISQiUMsLxAE3BEQQrpjJT0FgcQR+A8CALlCGhV4QAAAAABJRU5ErkJggg=="/></switch></g><path d="M 45 300.03 L 130.03 300.03 L 228.63 300.03" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 233.88 300.03 L 226.88 303.53 L 228.63 300.03 L 226.88 296.53 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 300px; margin-left: 190px;"><div data-drawio-colors="color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 11px; font-family: Arial; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; background-color: rgb(255, 255, 255); white-space: nowrap;">= solved</div></div></div></foreignObject><image x="169.5" y="294" width="41" height="18.5" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAKQAAABKCAYAAAA1+/+zAAAAAXNSR0IArs4c6QAAC8VJREFUeF7tXGWoVksU3ddERMUOBAPEwkLsxu7GLlRsRUUxsFsxUbG7A7sVFRUbW1HB+mEHKmJgPNbAfMydd2ruOef5nceef+86s7+ZNWt2n5fw58+fP8SDEYgTBBKYkHFyE7wNgQATkokQVwgwIePqOngzTEjmQFwhwISMq+vgzTAhmQNxhQATMq6ugzfDhAyRA5MmTaKxY8eKXyhRogRt3bqVChYsGOIvRke0HTZMyBDvkAlpDy4TMkTi2YlmQjIh/wLtzEGPq03+pc2whvwLwLOGNH+s7EOGSFQmJBMyRHqZi2ZCMiHNWRPiCiYkEzJEepmLZkL+zwn58+dPunjxIh04cIDOnj1L169fp8+fP1O6dOmoZMmSVKxYMWratClVqVKF0qRJY8ygT58+0ZEjR+jgwYN048YNunbtmpCRJ08ekdiuV68eNWrUiHLnzk0JCQmu8p0IiX3369eP1q9fL+SUK1eONm/eTPny5XOVKyecO3eO6tevLzDAmD17Ng0ePNh2b79//6a7d+/Srl27CGsvX75M79+/j+FXuXJlatiwodhLihQpPO9DTpT3s23bNjpz5kwMv/Lly1OtWrWoTZs2VKRIEUqWLBm5RtkbN26kjh07Gm/CaQFIU6lSJd8y0dR+8uRJGjFihADRbaAaggpJy5YtKXXq1G7T6cuXL7Rs2TKaPHmyuCCnAfK3atVKyM+bN6/jXDcNuXLlSurRo0dMxoYNG6hDhw6u+8WEX79+0YQJE8TFYuTMmZP27dtHpUuXtlyPxztmzBjav3+/q/wyZcrQ9OnTqUaNGp4eHu4Hj3fcuHGu8vv27Sv2vGjRIssqVizKjldC4rAouUGbuJFFR3rQoEE0ZcoUSps2re0lPHz4kPr3709Hjx51vSh1Aki/ZMkSqlatmu2luRHy/v37QmtAG2N07dqVFi5c6LhfuYcXL15Q586d6fjx445roRW3bNlCAwYMMMIPDw8EhsZ10pZJuR9YsYwZM9KaNWvE3tWyatwT8ubNm9S2bVu6d++e2HymTJmoU6dO1KxZMypcuLAAC6YCl4oDwuzJAVCh+bDearx69Yp69epFe/bsSbQGWqp58+YCKMh/8uSJMOPQaE+fPo3NhSlfu3atIKXVcCPk9+/fafjw4bRgwQKxHOfZvn07FS1a1PVxHDt2jOrUqeOoXUEW4NG7d++YWceCunXrCk0ME50+fXr6+vUr3b59W8yFOZcuAOZCUw4dOtSWlKdPn6YuXbokwgUaFg8AGhauEx4P5Or4yc1bEvLChQsE4UGOFi1aUIECBZIsEoBCw+GlYoAAq1atsjUl0AabNm0imAUJKszrihUrKEOGDIn2gUsAGaCR5IB7MW/ePGH2rHzEN2/e0OjRo2n58uWJ1sDUWplvN0JCiE4saF08EqehE9nO/9QfM/CbNWuWcGXgx+kDeF+5ckWQCb66xBzW08r1ev36NfXs2ZP27t0bEwWzPWzYMEstj8cMjQtyqsOSkElmTYgLP378KHysHTt2iF/BRc2dO9cxYNEvCw8C64sXL55opydOnBBaUBIXl7p69WqhpZwG/E0QefHixbFpU6dOFX9Lnjx5oqVeCKmbXrsHpAp+/PgxtWvXLkYaXDI0WapUqWLTdBzgY65bt45q1qzp6hfCGkG+myuh+8BQBDNnznR0OaysUmQI+e7dO2FaEPl6JSTm4cVOmzZNaC1E3q1bt06kqX/8+CECJJBbDpOAQr+wihUrCs0MDaQOL4SEVsI+YBYxQJzdu3dT2bJlbd+F6u/DLYHGAdHUcefOHXFu6epAPqyNlyDPak96wKRnCfCQ4avqD9/qEPDX8fCkMogMIfVD48IRnSHVYWVyvCrr58+fC6KfOnVKLEFKAtoDZPAyEOHCjQDp5QDItWvXNiYkFly6dEn4xNCWGE7pG2hoBGEyIEAqCqmjLFmyJPrtpUuXCt/RaX9OZ9VTSroroQdkXqyX/L23b9+KOODw4cPiT5EhpP5S5YGQC4RJqV69OuXIkcOYnPCXERDIFzpy5EiRitBNrtOFQQsjWpQDZhtyTDUk5nslGebqms+KvLoFgJWAec2fP7+X9ybmPHr0iLp37063bt0S/627BUnxfeWP6w86MoTEARDhIj+KF2s1kH6BuWrQoAHBdCKd4DZ0MnkJJHSZV69epcaNG8e0mpUf58VkS7mqP2ZnhjFX1Xx2/rHue7vh4eXfodFgnbA3DFgURNdyIFPRpEkTL6L+tT5ShMTuz58/T3369Ik52U6nBjkRRTpVVPScq4n/KH/bi8kyIaQeqMAlQMSqau0PHz4IrSWjVLu8pe57e2aJw0SkioBb5syZxSz1bPhv0yIIcssyHRepPKTECCkXpFuQV1RzgXYY4iXjwBMnThRmXR3xSEg9KoY7gn3mypUrtnXd17R7SFEgJCwe8qAYkSSkvBX4RyiDIepDEhmaymnAz4OZy549e2xaPBISm9NTUaoZ1HOyTrVvnZC6dgtCY/rVkKoPGmlCqmDiklBOhD+Hhgukh6wIqqc8gvAhvQRGJiYb59Jzkqpfqv+bUyAG0w6fD5hg2KWl/BDTrw+pKoXIVGpMAZPdLKhGADA59AvRA5Igouw5c+aISFQdpoTUswqqFlS1p1PQg9//9u2byGvK5D3mHzp0KJBGF3k+Pcq2Or/T/SFlNmrUKHuTbXr5/8V8VArQPIBy1rNnz0TN166bRd0P2shQ/pKkxIUgT4g2KAy/eUirxLqfPKS6d/2xwGyjJUzNe9rlHlU5SLYPGTIk9ie31jTT+9SDOj0Kd5Kn55cjE2XrphU1aUSZXoaqnXRC+q3U6DViP5Ua/Sx6ThJad+DAgdStW7dYIt8LufQACLVou5q7FZ54YMhsIHeJ/k88AvQmpEyZUkxHLwD2Bv8cA0UFVGqqVq3qej363iJDSD0VAk0BUupRs46AriGtCBNkLdsqRYM9mZpseQ7Vv0K0jTys7Ju0yz26ERv/7qXWjHlW9eadO3cKQqpDLwFaBZBud4N/jwwh0VaGXByqIHKguwQ12axZs1q+RKRPkBpCV46sxFjVcYPq9oGfh9KdVVdTUgmpPkRod5wVlRMMk55JpFZQIlXTZCDl+PHjbfF7+fKlaBSRnez4TdTEoQn1ogO0ObSk2v0E040GCyulgQAUPQTq/EgREptFAy0OKduh8DdUZ2DCUIOWbV/QivC/0J+odkXj9aHPz6qLx6QfEr4suoHUKN5vP6SdbbNyKeRckyQ+SnTz588XBFR7HHX8EAw+ePBABD6Qb9LzieYN3IV+P6htw8xny5aNcDdwv1CNkqVI9eyR0ZBy01ZNoK6Oiof+SUn4pHaMo3cSOT6772uSqiGxL92lwN+S8t0NrAxKo4hoVVJ6wc9LVzzkQBGgo18lpZN8nAM+LSLzyGlIeTCTb0KwBr2OMPWFChVyxf5vfVPjtDG9IwZzk5KewjqTb17knvB5BL7ZcftuSM6HqYebhAZqp4GmlhkzZogmEfkNV+Q0pDyg+tUcEtM4lDQv8stAtM2jyA8gTVvUnL46xKsGmGiogBnyMvxoSD0n6ZZ79LIfu68OpRtUqlQp0UGFRhWvX1aqv4s9w/QjVYWAB9E0tDI0bYUKFah9+/YiCkdPpmti3MuBeA4jEDYC/P/2CRthlm+EABPSCC6eHDYCTMiwEWb5RggwIY3g4slhI8CEDBthlm+EABPSCC6eHDYCTMiwEWb5RggwIY3g4slhI8CEDBthlm+EABPSCC6eHDYCTMiwEWb5Rgi4/3+JjcTxZEbAHwJMSH/48eqAEWBCBgwoi/OHABPSH368OmAEmJABA8ri/CHAhPSHH68OGAEmZMCAsjh/CDAh/eHHqwNGgAkZMKAszh8CTEh/+PHqgBFgQgYMKIvzhwAT0h9+vDpgBJiQAQPK4vwhwIT0hx+vDhgBJmTAgLI4fwgwIf3hx6sDRoAJGTCgLM4fAkxIf/jx6oARYEIGDCiL84cAE9Iffrw6YASYkAEDyuL8IcCE9Icfrw4YgX8A7zTN86E5sAsAAAAASUVORK5CYII="/></switch></g><path d="M 45 220.03 L 90.03 220.03 L 128.63 220.03" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 133.88 220.03 L 126.88 223.53 L 128.63 220.03 L 126.88 216.53 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 220px; margin-left: 90px;"><div data-drawio-colors="color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 11px; font-family: Arial; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; background-color: rgb(255, 255, 255); white-space: nowrap;">update</div></div></div></foreignObject><image x="73" y="211.25" width="34" height="21.25" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAIgAAABVCAYAAACSGqyjAAAAAXNSR0IArs4c6QAADCZJREFUeF7tXAWolEsUPlfFwO7GAFGxuxNbTOwWW7Gxu8XuFrG7u7sLFVtREbuwEYzHNzg/c+f+MXvf3ll/nYEHXnZ25sR3Ys45+8J+/fr1i8wyEnCQQJgBiMGGmwQMQAw+XCVgAGIAYgBiMBB5CRgPEnnZ/RPfNAD5J9QceSYNQCIvu3/imwYgv9W8cuVKatasmaX0EydOUIkSJf4JEJhnroKa/0SA/Pz5kw4dOkRfvnyhmjVrKnAR/C3Gg/yhHuThw4c0bNgwWrZsGa1YsYKaNm0afO0rnGgA8gcC5Ny5c1S1alV6+/Yto84ARAHJUb3lTwoxJ0+epJIlS1osG4BEtfYVzjcAsReSCTF/YIgxHkTBonVvMR7EeBBXzBmAeADk9u3b1LBhQ7py5QrbOXLkSBoyZIiSIasKd9SoUTR06FB2ZuXKlQnfS5o0KX379o0OHz5MS5YsobNnz9KjR48oSZIkVLx4capWrRqrAaRNm1aJFnET6gg3btygtWvX0oEDB+jMmTPs43z58lGpUqWoQYMGVKRIEYoRIwajJTKFsu/fv9Ply5dpz5497Pzr168z+rHix49PefPmpVy5clGtWrXYnXHixLHlQ5a/G7NeRbyvX7/S8ePHaevWrXTp0iWL7wwZMlCePHmoXLlyVLt2bcLfYWFhrnK1cpBQAeTVq1fUp08f2rFjhyOhEHTXrl2pf//+TOgqS6wjuO2vU6cOTZ06lSD0QAACUG/atInGjRtH165dUyGJsmbNymob9evXZ6AUVzAAArCuX7+eRowYQTjPa7Vo0YJGjx5N6dOnd9waUoAMGjSIgQNeQ2VBsDNnzqSUKVO6bj927Bi1b99eSUg4CF4EZfUpU6ZY57pZ6efPnwm0T58+XYXscHsA8Hnz5lHjxo3DWe//BcjHjx8ZTZBPIAugXbBgAZUuXdr2ayEDCNxbokSJrJAG99utWzcqWrQoxYoVi+7cuUNr1qyhpUuXEpjnq3PnzjRhwgSKGzeuLUM3b96k1q1bhwMdhNChQwfmVhMkSEAfPnygbdu20eLFix2t3wkgsNLJkyczb8YXwmHHjh2pYsWKlD17duYdEN7u379PR48eZaFTtGjsgaXnyJHDOgPngk987/z586xQxhcUWLduXetvgCxmzJjW3wBs3759ac6cOeH2oPoKD4mwAppevnxJKMKBb4QgvqALyLlMmTIRZBoygIiUDB8+nDEox2fMU586dYq6dOliAQnfg8Datm0bIX4i9vbs2ZPmz59vHd+uXTsaM2YMJU+ePALzqFQizxIFyzc5AeTChQtUr149K8+A91m0aBHlzJnT0XARRmHdCxcutPbAiwC0diuQZy5khPvhMfmqVKkS827ZsmWzPR/hEcU3yIobH4AEuclyCjlAxo8fT717944Qk0XOYIUtW7a0lFKhQgXWo0idOnU4ARw8eJBZDGcaiSGYdgtJdtaHQ+0A8uPHDxbfkWxjwZKXL1/OElCvBcuFB3v27BnbCuWAd9ET8DMCAciDBw9YuOJhunr16iyEpUuXzpUkAAuJefPmza19AFqbNm3CfS+kAAEzICpVqlSuzMD9IrkbO3astQ8ZutjhhPLgDZA0cuVt2LCBYE1e6+rVq9SoUSNCeHLzIK9fv2YCxYsFC2CEu06cOLHXFQQv0qRJE/aawoL3QHJs96oJBCC4H940UMBi/7t37xggNm/ezL4Pzwh9JEyY0OInpABxc7OyxGULHDBgALPk6NGjs62y8qpUqcKsO1myZJ7KswtNdh7k+fPnLC9CKQD5BZ7qAwcO9HwqgoA3b96wjuzevXuDBhB4SoRf8IlVtmxZ5hXSpEnjyTM2wIsg/PJyRpYsWQhGlTt37tADBOFh+/btVKBAASVmZAuE94FguPXCC8AC7t69y86TAeR1CUIREk03D+J1hvz5p0+f6N69e3T69GnauHEjIQTyFQwPgnoLvBLyNCwk5zCa2LFjK5OKp7qYv8ieOWQeJFC0y1aOItqqVatYsQcLT1sxC8eTFXFedcnf9ypG8XPx6oB3wKvr1q1bhJwAhTOxYGZHQzAAcvHiRapRo4aV16jy6rZP9uohA4hYSVVhTAYInm6okOIJiyVXQgNtkaMKinyFJ7heAEGyiecrXlS8cqrCRzA9iJyrBHK/0165gh4ygLhZkB3xUQ0QuVDlBBB4DIQLFPhUgIGyPvIh1HdmzJhhhZlgeJC/GiB2GbObBUQ1QOQcxg4gSOpWr17NchWxeAe64ckABvyHAljmzJlZCTtevHiMrahIUmWABNI/U/U2QfEgeK716tXLM8FzatapEIvB3e7du7NnGJacw/zfHEQWth1A7MrhSPD69etHGTNmpGjRojmyEhXPXDksutVWVGRstycoABEVj0uc3LO4T84hvBh4+vQpeyYeOXKEbUU9Yvbs2VbzTvYAgQoL+QxqIXzZ8SAbglfZX+RJBlcwQgxeSKAZySpWIE97L3nzzx0BopojyG9xVYBg3759+1j/QmXBwtGf4K4dYEP5mrer5TpIIK8kuchmx4Mc4lBF3b17t/JvZ/bv3x+uaBcMgLx//54VyVC7wELpYMuWLVS4cGEVkSrtsQAiv6llC3U6Dc85dFm9qpD4vuxp0JxD4w3NObclV1LtlCMXfXCe6ktGLlerAAQzHuvWrXPsd4j8oPcBMKPJx1cwAAKe4dXQquAL/0bxy0um2M/lCqCjBwOvjhmZggULWudZAJHRiPoCkClulpVoVwIPxIM4tb7le/DjIcxq8D4G5hjQ1kZnVlxyyRyNNDxF0T11Wqo82FVb8ZoRu6x2dzgltnKhT/xuIKV22UBVZYr75B4X5IUkPFOmTBEBIjeisMOt2YUm18SJE1nzSl4qOQj/DoCIXALhQ07yIFz0PTp16hRuSsupxwJlowEmTsK5dTahdHgwdJNVeJBzECgZtPNinXwGZDR37lw2nSe/etzqQDJAUM6HnOUhI9wHvaEoiG44Xxg/mDRpEquy2nkSpy75tGnT2MiFOGUWbqpdbmXjwkKFCrF6PwZKYLGYKUDuIM5SwIowVcXL3IEAhDOFjiReBHxGApYB60cjSRSuV/f3xYsXrBGGkrEoMLyAoFC8NgAMjDii/S7ORYgKtuPBLpzyWRMkiClSpLDmQPCqQojj02ZQGmZYHj9+zK5xAwgqsnD14qQawjhvS8BwxVY+XkiYuEOiLS7cgcQev7GB7sA3RhDRT8IEnyhXJ2cQDiBAI+YIYFEy4p1cNASPfAVdQT7PqgqQwYMHs36KSsEJ9zvNjci04TyAeufOnY6hRfwAHgA8YPyOr0DrIG4XwchgnWjJ83KAWw4jh3v5bLvcCiBB/sEbd0qM/94E8ME72s39RvhdjOpcIywCrhNZNOY/xYFnVYBgH9xZjx492BSV04KA0eovX768a61B/D4ADm+DXMUN7EjMkDyiwSX+ms2tkooGF8DtNfcJGeG5jecw/o0pNnF2RG6MifTL+YH4mVNBDMkw8iJ87kUbzgNN4AOe22lCz/GHUxjL27VrF3Px8qQ5GkQYfoFLxVItUzvVSxCrISwkSOhMYtILrrtYsWJsGMZtGtzLUp48ecIUA1742fAYSMgwzwFeIByVQpl4FyqjaN2Dbi4ffI5KKkCHaXy4eDGRll9LrVq1olmzZjkqB4YHgCMcogHIl1cJwmmqHd9HyT9//vyMPshVTvRleWr9ZZ1qQc1L6eZzfRIwANEna1/eZADiS7XpI9oARJ+sfXmTAYgv1aaPaAMQfbL25U0GIL5Umz6iDUD0ydqXNxmA+FJt+ojWChB9bJmbgiUBA5BgSfIvPccA5C9VbLDYcv//DwXrFnOObyVgAOJb1ekh3ABEj5x9e4sBiG9Vp4dwAxA9cvbtLQYgvlWdHsINQPTI2be3GID4VnV6CDcA0SNn395iAOJb1ekh3ABEj5x9e4sBiG9Vp4dwAxA9cvbtLQYgvlWdHsINQPTI2be3GID4VnV6CDcA0SNn395iAOJb1ekh3ABEj5x9e4sBiG9Vp4dwAxA9cvbtLQYgvlWdHsINQPTI2be3GID4VnV6CDcA0SNn395iAOJb1ekh3ABEj5x9e4sBiG9Vp4dwAxA9cvbtLQYgvlWdHsINQPTI2be3GID4VnV6CDcA0SNn397yH5fVag1Bi6ciAAAAAElFTkSuQmCC"/></switch></g><path d="M 45 120.03 L 90.03 120.03 L 128.63 120.03" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 133.88 120.03 L 126.88 123.53 L 128.63 120.03 L 126.88 116.53 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 120px; margin-left: 90px;"><div data-drawio-colors="color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 11px; font-family: Arial; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; background-color: rgb(255, 255, 255); white-space: nowrap;">state?</div></div></div></foreignObject><image x="75" y="114" width="30" height="15.75" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAHgAAAA/CAYAAAArOQwGAAAAAXNSR0IArs4c6QAACxxJREFUeF7tnAXIFlkXx4+BgagodqCii4Hd2GL32t3dqCi22GI31ood2I2N3Y2FYoFY2KgoxvK7+92HeeedeWbG99F9d745sKA+d+6ce/6nz52N8+PHjx8SkG8lECcA2LfYqoMFAPsb3wBgn+MbABwA7HcJ+Px8QQwOAPa5BHx+vMCCYynA379/lxs3bsiWLVvkxIkTcu7cOXn16pXitmTJklK4cGGpWbOmlC1bVpIlS2Z7it8KMEwfOnRIPn78KHXr1o0Vov38+bNs2rRJcubMKUWKFIkVPF2+fFlGjBghO3fudOQHvgcOHCitWrWShAkTRlv/2wB+8OCBjBo1SlasWCGrVq2Sli1bOjL/KxfQwLt06ZLiCUEeP35cSpcu/Stf6bg3PGGx/fv3l4cPHzquNy7o3LmzTJo0SVKmTBnlud8C8NmzZ6VGjRohFxMbAN64caN06NBB3r9/rwQSGwA+cuSItG3bNgq4WGjXrl2levXqkiZNGvn06ZNy10uXLo1m4T169JDJkydLkiRJQiD/FoCJIWXKlAm9NDYAvHr1auXWNP3bAD9//lywwu3bt4d4at26tQIsXbp00az569evwhmwdh2bWbRo0SLp1KmTxIkTRz0TAPw/0f3bAP/1118KGE21atWSJUuWWIKr1+DS165dK926dQt5IsIMBpQ1a9YA4NhiwYSJnj17ysqVKxUoSZMmVX+uV6+eYxzGZffr108WLlwYWrtt27ZQEhtYcCyw4KtXr0qjRo3kzp07ihviLQCnSpXKEWAW4NaNyjBmzBiVhQcuOpbE4P3790vVqlVDYA4ZMkTGjh0r8eLFcwWwWUGwaDLqBAkSWMdgAviZM2dk165dKrukLsON4DoKFiwo+fLlUxpDkZ04cWJLJm7fvi1NmzaVK1euODLpFP9wQ/Czb98+OX36tNpTJxaUBQUKFFDFP3GrRIkSEj9+fMt3mpM9O8bYb/369ao2tiN4OnbsmOAOL168qPiCsmTJovipWLGi/Pnnn+rvOuGx24tnAZl9nj59Kr169fJURpoBNipIFBdN0D58+LAMHjxYpeJOhABGjhwpDRs2jFZkRwLgDx8+qKxw1qxZruvCYsWKKe1FwGbBRgJglH/Dhg0yevRo4YxO1KZNGxk3bpxkzpzZaelP/2520dOnT1dxOYqLBly0lmBvTLvdvLVv374yfvz4KPVXTAF+9uyZ9O7dWwnTK2E1y5cvl/Lly0d5NKYA48WGDRsmc+bM8cQShoCilitXztNzbhZjBIC5ePFitRwvu2fPnlDTJmTBmHmzZs3k5s2baiGujzoMN5M7d27l9tBe3OOyZctUeq6JTTkAz2tiLQKhPYk3oNGhibUNGjSI8jzxQhNMDxo0SObPnx/6N4TUvn17BVr27Nklbty4ih/4xb0tWLAgimJWrlxZdc3Sp08f2uPLly+hcmLz5s3SpUuX0G8IBeuH2JszGV29FU+soSNXv3595ZZZTz1LY4eyBxeuyU7p3IBot4bzT5s2TXlcTY0bN1YZdYoUKdQ/KYCxXixQZ14wQ6fEys3xEKCtWbNG6JzoThBZIHVb8uTJo/HjtdFBXEO59N7E+3nz5knGjBlt5XHv3j3p06ePyhs0EbOrVKli+YyXRgfy4WxGhSApInTkypXLcn963NSjWJc+B4qA8FOnTh0TXNWzVhhYKZEC+O3bt6rIpn0H0RqbMWOGbQLFGg6Alc2ePVs988cff6jn8+fPHyOAsRSSDLwEBNPsW7RoUUehYJXkA5qMscj8sBeA79+/L82bN1eJHkQyh8fIlClTWJ5QDN6DsmpCUTp27Oh4lnALsFzeP3To0JDy4E34N/g05h4K4JcvXypXs3fvXtcAs5DgPnHiRNU1IbPGPQC0mbxYsDl2Y5W066wmJeb33Lp1S5o0aSLXrl1TPxnrwZgAbOwyeWlC8M7Xr18rQBkiQOE8nRvUARfjo4zSnoHnSCwHDBgQrYJQAJs7KVgNLpG4STyKKXkBmGKfxAqQmEB5KRnMyhEJgM2yqVChgrLKDBkyuBKLOfyF83ROG1rFXJ6ZMGGC6knbjgthAq1AA4xUu3ZtZfIciob3z4LtBWCnQxp/h+83b96ocuXo0aOCi9ZuNFIWzNiuRYsWcvLkSfVqEj2sJ1GiRK5ZNSd0xlai202s+s54E8ClF21X+4eyaKyF3ixgWBFZbKVKldQtglKlSoWyNDcMxhRgNJcGwN27d9UtB3g9f/58lIaHFR+RsOALFy5InTp15MmTJ26O6moNsZI8xwvh2YjlWoEBF6NkvGgHLvtHaXScOnVKunfv7qr7BNgkNFg5yUa4bs3PAIzGktyQxNGX9VqbR8qC3dbOXsAKp3hW+1h5WLuYa34+2rDhxYsXqmimVnVzqwBNov6Faau5JS/0CjAZOu+nqWBMJOyESG2MwuXJk0d1mCKZZMUGgEnUsF5dAlK+ovThykYtK9tpEk0BetA7duxQSY9TW45alRovbdq00XDwArBdIsGmhQoVUg0FSrG8efNKjhw5lFLpfvivSLLMvHu1Pi+WbbfWXB1wzYj/nHrc0Vy03QtwEbhI4hFaRDllBThJGg0TczbnBWCSJTyCjnl4CJoFhA6UJ9yhfkWZxCCApob2JMZJTSTAc7OHF/k5umg3L9RXOqdMmaLagZpIvuhwUWYZyS2DeA3abiQPmtzGGqtQEIkki8QOhUO5Ia+zWjfydFpjlp+XLFy5aPrLBw4cUJnpo0ePVGLj5grpu3fv1EBAg4y10R5kdPczAJsbLm7Gdsb3ECIoGTRFAmBzl4/e9tatW6V48eJOuETsdzPATuNV44sVwOZxk5d2GjUhI0Mo0gAzMMAjuOndkohQehinT5EA2CqDtQtFVoiSUxAvGWZwDpSWbpub1mskNEQBbNVrdbrwxcvNFhxTF222YLfWYpeYMQxh2mLVlPDSi75+/bpqw+pJm13f1woQ81VYLiQwicuWLVsk8HPcQwGstYyuiCaucJIw2VmPVSnjNsmiSU45Yy7QrWKw3YVuzSdlHb3qqVOnRjtsuKGJGWDzdVPjZt++fRMGFwxXNDFO5Z10uaxahFg+3S/m68ZbLTNnzlRTLzcZsCN6LhaEyiRzp4Rn9QwWV6mvYWK1JBwM1I2fVuB60Exmx2YyZ7f8jkXoOE+JpcduBw8eVPNVY/3LnBZBMTDnOxw9ByZvYCSn63U9+9UZeDiAydaNFwKwSq4YUXoxm+bPxn4zikS+waUII1WrVk0Narj3DW9c5eHqzbp165R8jOcIV0qGw8oYBlnnZtqn94tSB1vdrHehJCprDjc/Nicq5j2NF+HD1cHheKGjhsdhzKiz8HAx3NxjNu9tlcgAMl5KX291Ixu9BoWGLzfNCfO+EQOYjb18+MR6rA3Xbjf41syGUx5zMoT7JwcgeXNqUeJluDLUrl071fBAiExWICyaRo1VRWDVvDcK1u7rC/2xGjw7NX/YD1c+fPhwdVnA+EmJF+WIKMC82PjpIoU+SYZ2g8Zbg3whiOt2O2ViSMB9Ji728eGXJjuX8/jxYzVz3r17t4pn5s8nrW52cl2Ga0baTXNLhSzW6goqIHNVae7cuep6jREwp46V3a1KzuTl8043QEccYDcvDdb8NyTwW75s+G+Iwp9cBgD7E9fQqQKAA4B9LgGfHy+w4ABgn0vA58cLLDgA2OcS8PnxAgsOAPa5BHx+vMCC/Q6wz8/3f3+8f/5vWQH5VgIBwL6F9p+DBQAHAPtcAj4/XmDBAcA+l4DPjxdYcACwzyXg8+MFFhwA7HMJ+Px4fwPWeAHoK+zHEAAAAABJRU5ErkJggg=="/></switch></g><path d="M 135 140.03 L 90.03 140.03 L 51.37 140.03" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 46.12 140.03 L 53.12 136.53 L 51.37 140.03 L 53.12 143.53 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 140px; margin-left: 90px;"><div data-drawio-colors="color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 11px; font-family: Arial; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; background-color: rgb(255, 255, 255); white-space: nowrap;">= solved</div></div></div></foreignObject><image x="69.5" y="132.625" width="41" height="18.5" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAKQAAABKCAYAAAA1+/+zAAAAAXNSR0IArs4c6QAAC8VJREFUeF7tXGWoVksU3ddERMUOBAPEwkLsxu7GLlRsRUUxsFsxUbG7A7sVFRUbW1HB+mEHKmJgPNbAfMydd2ruOef5nceef+86s7+ZNWt2n5fw58+fP8SDEYgTBBKYkHFyE7wNgQATkokQVwgwIePqOngzTEjmQFwhwISMq+vgzTAhmQNxhQATMq6ugzfDhAyRA5MmTaKxY8eKXyhRogRt3bqVChYsGOIvRke0HTZMyBDvkAlpDy4TMkTi2YlmQjIh/wLtzEGPq03+pc2whvwLwLOGNH+s7EOGSFQmJBMyRHqZi2ZCMiHNWRPiCiYkEzJEepmLZkL+zwn58+dPunjxIh04cIDOnj1L169fp8+fP1O6dOmoZMmSVKxYMWratClVqVKF0qRJY8ygT58+0ZEjR+jgwYN048YNunbtmpCRJ08ekdiuV68eNWrUiHLnzk0JCQmu8p0IiX3369eP1q9fL+SUK1eONm/eTPny5XOVKyecO3eO6tevLzDAmD17Ng0ePNh2b79//6a7d+/Srl27CGsvX75M79+/j+FXuXJlatiwodhLihQpPO9DTpT3s23bNjpz5kwMv/Lly1OtWrWoTZs2VKRIEUqWLBm5RtkbN26kjh07Gm/CaQFIU6lSJd8y0dR+8uRJGjFihADRbaAaggpJy5YtKXXq1G7T6cuXL7Rs2TKaPHmyuCCnAfK3atVKyM+bN6/jXDcNuXLlSurRo0dMxoYNG6hDhw6u+8WEX79+0YQJE8TFYuTMmZP27dtHpUuXtlyPxztmzBjav3+/q/wyZcrQ9OnTqUaNGp4eHu4Hj3fcuHGu8vv27Sv2vGjRIssqVizKjldC4rAouUGbuJFFR3rQoEE0ZcoUSps2re0lPHz4kPr3709Hjx51vSh1Aki/ZMkSqlatmu2luRHy/v37QmtAG2N07dqVFi5c6LhfuYcXL15Q586d6fjx445roRW3bNlCAwYMMMIPDw8EhsZ10pZJuR9YsYwZM9KaNWvE3tWyatwT8ubNm9S2bVu6d++e2HymTJmoU6dO1KxZMypcuLAAC6YCl4oDwuzJAVCh+bDearx69Yp69epFe/bsSbQGWqp58+YCKMh/8uSJMOPQaE+fPo3NhSlfu3atIKXVcCPk9+/fafjw4bRgwQKxHOfZvn07FS1a1PVxHDt2jOrUqeOoXUEW4NG7d++YWceCunXrCk0ME50+fXr6+vUr3b59W8yFOZcuAOZCUw4dOtSWlKdPn6YuXbokwgUaFg8AGhauEx4P5Or4yc1bEvLChQsE4UGOFi1aUIECBZIsEoBCw+GlYoAAq1atsjUl0AabNm0imAUJKszrihUrKEOGDIn2gUsAGaCR5IB7MW/ePGH2rHzEN2/e0OjRo2n58uWJ1sDUWplvN0JCiE4saF08EqehE9nO/9QfM/CbNWuWcGXgx+kDeF+5ckWQCb66xBzW08r1ev36NfXs2ZP27t0bEwWzPWzYMEstj8cMjQtyqsOSkElmTYgLP378KHysHTt2iF/BRc2dO9cxYNEvCw8C64sXL55opydOnBBaUBIXl7p69WqhpZwG/E0QefHixbFpU6dOFX9Lnjx5oqVeCKmbXrsHpAp+/PgxtWvXLkYaXDI0WapUqWLTdBzgY65bt45q1qzp6hfCGkG+myuh+8BQBDNnznR0OaysUmQI+e7dO2FaEPl6JSTm4cVOmzZNaC1E3q1bt06kqX/8+CECJJBbDpOAQr+wihUrCs0MDaQOL4SEVsI+YBYxQJzdu3dT2bJlbd+F6u/DLYHGAdHUcefOHXFu6epAPqyNlyDPak96wKRnCfCQ4avqD9/qEPDX8fCkMogMIfVD48IRnSHVYWVyvCrr58+fC6KfOnVKLEFKAtoDZPAyEOHCjQDp5QDItWvXNiYkFly6dEn4xNCWGE7pG2hoBGEyIEAqCqmjLFmyJPrtpUuXCt/RaX9OZ9VTSroroQdkXqyX/L23b9+KOODw4cPiT5EhpP5S5YGQC4RJqV69OuXIkcOYnPCXERDIFzpy5EiRitBNrtOFQQsjWpQDZhtyTDUk5nslGebqms+KvLoFgJWAec2fP7+X9ybmPHr0iLp37063bt0S/627BUnxfeWP6w86MoTEARDhIj+KF2s1kH6BuWrQoAHBdCKd4DZ0MnkJJHSZV69epcaNG8e0mpUf58VkS7mqP2ZnhjFX1Xx2/rHue7vh4eXfodFgnbA3DFgURNdyIFPRpEkTL6L+tT5ShMTuz58/T3369Ik52U6nBjkRRTpVVPScq4n/KH/bi8kyIaQeqMAlQMSqau0PHz4IrSWjVLu8pe57e2aJw0SkioBb5syZxSz1bPhv0yIIcssyHRepPKTECCkXpFuQV1RzgXYY4iXjwBMnThRmXR3xSEg9KoY7gn3mypUrtnXd17R7SFEgJCwe8qAYkSSkvBX4RyiDIepDEhmaymnAz4OZy549e2xaPBISm9NTUaoZ1HOyTrVvnZC6dgtCY/rVkKoPGmlCqmDiklBOhD+Hhgukh6wIqqc8gvAhvQRGJiYb59Jzkqpfqv+bUyAG0w6fD5hg2KWl/BDTrw+pKoXIVGpMAZPdLKhGADA59AvRA5Igouw5c+aISFQdpoTUswqqFlS1p1PQg9//9u2byGvK5D3mHzp0KJBGF3k+Pcq2Or/T/SFlNmrUKHuTbXr5/8V8VArQPIBy1rNnz0TN166bRd0P2shQ/pKkxIUgT4g2KAy/eUirxLqfPKS6d/2xwGyjJUzNe9rlHlU5SLYPGTIk9ie31jTT+9SDOj0Kd5Kn55cjE2XrphU1aUSZXoaqnXRC+q3U6DViP5Ua/Sx6ThJad+DAgdStW7dYIt8LufQACLVou5q7FZ54YMhsIHeJ/k88AvQmpEyZUkxHLwD2Bv8cA0UFVGqqVq3qej363iJDSD0VAk0BUupRs46AriGtCBNkLdsqRYM9mZpseQ7Vv0K0jTys7Ju0yz26ERv/7qXWjHlW9eadO3cKQqpDLwFaBZBud4N/jwwh0VaGXByqIHKguwQ12axZs1q+RKRPkBpCV46sxFjVcYPq9oGfh9KdVVdTUgmpPkRod5wVlRMMk55JpFZQIlXTZCDl+PHjbfF7+fKlaBSRnez4TdTEoQn1ogO0ObSk2v0E040GCyulgQAUPQTq/EgREptFAy0OKduh8DdUZ2DCUIOWbV/QivC/0J+odkXj9aHPz6qLx6QfEr4suoHUKN5vP6SdbbNyKeRckyQ+SnTz588XBFR7HHX8EAw+ePBABD6Qb9LzieYN3IV+P6htw8xny5aNcDdwv1CNkqVI9eyR0ZBy01ZNoK6Oiof+SUn4pHaMo3cSOT6772uSqiGxL92lwN+S8t0NrAxKo4hoVVJ6wc9LVzzkQBGgo18lpZN8nAM+LSLzyGlIeTCTb0KwBr2OMPWFChVyxf5vfVPjtDG9IwZzk5KewjqTb17knvB5BL7ZcftuSM6HqYebhAZqp4GmlhkzZogmEfkNV+Q0pDyg+tUcEtM4lDQv8stAtM2jyA8gTVvUnL46xKsGmGiogBnyMvxoSD0n6ZZ79LIfu68OpRtUqlQp0UGFRhWvX1aqv4s9w/QjVYWAB9E0tDI0bYUKFah9+/YiCkdPpmti3MuBeA4jEDYC/P/2CRthlm+EABPSCC6eHDYCTMiwEWb5RggwIY3g4slhI8CEDBthlm+EABPSCC6eHDYCTMiwEWb5RggwIY3g4slhI8CEDBthlm+EABPSCC6eHDYCTMiwEWb5Rgi4/3+JjcTxZEbAHwJMSH/48eqAEWBCBgwoi/OHABPSH368OmAEmJABA8ri/CHAhPSHH68OGAEmZMCAsjh/CDAh/eHHqwNGgAkZMKAszh8CTEh/+PHqgBFgQgYMKIvzhwAT0h9+vDpgBJiQAQPK4vwhwIT0hx+vDhgBJmTAgLI4fwgwIf3hx6sDRoAJGTCgLM4fAkxIf/jx6oARYEIGDCiL84cAE9Iffrw6YASYkAEDyuL8IcCE9Icfrw4YgX8A7zTN86E5sAsAAAAASUVORK5CYII="/></switch></g><path d="M 10 30 L 260 30" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" stroke-dasharray="3 3" pointer-events="stroke"/><path d="M 10 100 L 260 100" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" stroke-dasharray="3 3" pointer-events="stroke"/><path d="M 10 159.83 L 260 159.83" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" stroke-dasharray="3 3" pointer-events="stroke"/><path d="M 10 260 L 260 260" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" stroke-dasharray="3 3" pointer-events="stroke"/><rect x="0" y="30" width="20" height="70" fill="none" stroke="none" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 18px; height: 1px; padding-top: 65px; margin-left: 1px;"><div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 12px; font-family: Arial; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">1</div></div></div></foreignObject><image x="1" y="58.5" width="18" height="17" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAEgAAABECAYAAAAiL3M8AAAAAXNSR0IArs4c6QAAAZBJREFUeF7t2q9KBFEcR/GzYBOTyaTVYjP4BGbBogaTXbCIQQUNFv8ksdgUTCaL0Scw+wQGbXZ1LnuFcdCZxV8ZuWfLwrIT9jNnvrMLO8BHq8BAn3YBgToKEUig2IhYkAVZUEzAgmJ+fd2gOeAGmAV2gYPYx/z70X0EGgdOgY38sQSqnd8xYAs4qr0mUMZINa8AF8CEQN9nIeEsASfAdGMxii8oXVbreXfq5Xw5FQ2UQHaA7Zb7TJFA6ZJaAM6A+QbOMzBV8gbN5O82y40xfgMOgVfgslSgSeAaWGxU8wRsVlXdA6vAlUBDgVTNeVXSMfCSUdYEGhZ0B+wBj9XzR62Y4oH2gVvgodqi9x/uXkUDjfKrUaAOJYEEGuVC+v09FmRBFhQTsKCYnxtkQRYUE7CgmJ8bZEEWFBOwoJifG2RBFhQTsKCYnxtkQRYUE/hPR/fxL3i98hOo43QIJFDsirUgC7KgmIAFxfzcIAuyoJiABcX83CALsqCYgAXF/NwgC7KgmIAFxfzcIAuyoJhAx9GfTnpYRWslJ4kAAAAASUVORK5CYII="/></switch></g><rect x="0" y="100" width="20" height="60" fill="none" stroke="none" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 18px; height: 1px; padding-top: 130px; margin-left: 1px;"><div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 12px; font-family: Arial; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">2</div></div></div></foreignObject><image x="1" y="123.5" width="18" height="17" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAEgAAABECAYAAAAiL3M8AAAAAXNSR0IArs4c6QAAA55JREFUeF7tmlvITUEUx3+f5JI8eJAkPEleSJHiQa4vHiSEhJQk11ASKXelXEOE5FaKKOWBUIoHSS4lyZMnSZRElNv+15yadt85Z+8z+8w+37Gmzss5a2bW/PZ/1qy95nRgrSaBDuNTm4ABqqMQA2SAwoKIKcgUZAoKI2AKCuNXZgzS3AOAGcBUYDgw2i3nM/ACeATcBJ4Bv8KW2ljvsgANBnYAc4C+GVx/AmwB7gN/MtgXZhIbkOabCJx0ism7kL2APt/ydmzUPjYgwTkPDE05rC11D3gO/AaGAFOqQNycqO5ArC0XE9Ag4CIwyYMjMFvd92lVdAMmO8WM9fp8BZYDVxpVRZ5+sQBpnrXAYc+5d8CSBNiDOg4L7PEkUM/07O4Ci4H3eRbbiG0sQAOBC+60qvgpFZwB/mZwfKRTzAjPdjZwPUPfIJNYgKYBdwIU0BPY71RYGWZfEq+2uZgVBKFW51iA1gMHPUcaWdxC4JI3htS3DvjeNDpJLhIDUC936qz0FqLYoy2Xp01ItuhDr8NtQNA+5Rkkr20MQD0AxQtlyaOSgNvfAbuc09l5qZPrGrAM+JJznFzmMQDlcqiKsfxUOrDL+/0EsBH4UcQE1cboKoA6OwVXAKeaCUdjdxVA6QD9GpibfF4ZIFDucw4Y58E4mpxem4Cf/zugPi7/8U9AqWc+8LLZcFp9iwmOShz6+C1PBh7MsFVjkDLnDe5F1V+kTi5trbYtd2R5or0dhO0p46tJUrgG+JBlkKJsWk1Bqi7ucSD8NZYCp9ViUCXDXpR6+qohKSH8WJQq8ozTKgoaBhwDpqecP51kyqogqrBWSisbkOYf7wpiek/zW/T6c2dPoExAmnuWK4P4NWqVVHcDR2IkgvVkWRag7q7ceih17aOtpJNK9eao1zvVQJUBSHBUQFM10L8TewPoBVQ16ixl2HoPv5DfYwMSHEFQfPHhPE5OqVXA00JWVeAgMQFprgXu0tCHo1r16qQ6+LbAdRU2VExAYwBVAf2AfMspR1dALdliAerniluq4VSattVSQG/nLdtiAUoXvKLejobQjwFI6jnrcp4QX9N92+ZWQ39CuJHxby55ALYNoPSlYR4ItWzbBpASwp1FUfHGaRtATWATb8gYQTreapowkwGqA9UAGaCwfWcKMgWZgsIImILC+FkMMgWZgsIImILC+FkMMgWZgsIImILC+FkMMgWZgsIImILC+FkMMgWZgsII1On9Dzk6hkVR/fC3AAAAAElFTkSuQmCC"/></switch></g><rect x="0" y="160" width="20" height="100" fill="none" stroke="none" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 18px; height: 1px; padding-top: 210px; margin-left: 1px;"><div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 12px; font-family: Arial; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">3</div></div></div></foreignObject><image x="1" y="203.5" width="18" height="17" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAEgAAABECAYAAAAiL3M8AAAAAXNSR0IArs4c6QAABE1JREFUeF7tml2oVUUUx3+mFCIFBUUgKglRPWRGhfjx0icEmmQSZaJkoGIK+qKWFmhaEUUaZIYWkaLlR1IQYWBZZBARWT1UCKU+GBTkQ4gUpc4fZsuwOZ49e889c/aNNXAe7r1r9p31O/9ZM2utPQQbXQkMMT7dCRigCoUYIAOUFkRMQaYgU1AaAVNQGr9+xiD97zHAg8AdwG3AFcBfwGHgC/e7D4GvgH/T3Gw+u1+ARgHrgDkRS/8aeBL4BDgTYT+gJv0ANBF4DbippifPAvqcqjkvyTw3oHHA2x3g/AwcAI47CBcDk4DJwKUl7zYBy3NCygnoSuB14P7A6WMuvqwGdgN/l2CMBlYB84PfKz7p53eSZFFjck5AjwFbS3DmAp91We8I4AVgUWCzD9CzTtbws7FpLkCXA2+U1LPUnVqvAGcrVn8NsBOY4O2konuBQ429rjExFyDFk4+CmKKj+2Hg14i1KiY9DywLbBf67RoxPc0kF6AFwOZgqS8DK93x/U/k8p8C1ga2TwPPRM5NMssFaKw/uW4BbvVBWVsuZgz1MJ4IjHUvei5mcqpNLkAp6+wUv6YDH6Q8NHZu2wFpfY8A2wKHFJxnA0djnUyxazOgS4BZwIs+Ryv81D1I14Wq0y+Fy/m5bQM0zAXzq93d6HZgiU9gQ0c3+stjtnSjLYDudunFx12+8j99cquT8PSASCPyIW0BpDiz/QJr/sVBWeGDcuy1INL9arO2ACrfczqt/Ad/tL/XIW+r9rShRRsA6aa8xmX5uit9B/wHKFG906UY13XwK2scagOgC323CtgK1us7BGvdwl/KUWlsM6AC3EjgVUCXw2L8BjzkSrWfN9w50dMGAyA5c4PP6MMqZN18LhpKaDhYAGmdyua1rYpx0N+yTzTyPHLSYAEkd8olkyPATOD7SF8bmQ0mQDrR3i3Vs6f0unBmgCp0lQOQOhMzgGuB8cBlvvD+U03NXw/sAm7083SSTXOfb2o+p5Z5DkDqZuxwndK7gpU9AOhGXGfcB7wfTPjSZ/vqjPRs5ADUqab8FrC4Rn9rOKBjXaXbYqiFpJOtp8lrDkBySFtsb+CcOhM6gbpl8IW51qgCvzL5sJHYRIW1lZYL0FXAFkDbpBjqbDwK/Nhl1Vqf0o03/YsOhakajVJTz3tjuQDJsXuAPSUVKDlVK1kvJpTf4FAwV4NQnVe99VEMAVWa0dP7Tyjf2rJrOEHJp2KGShvlnnvYm1cXQ6edsvkQjP6tAvI84NP/a8lVkNT001saZUhV3KW2x50SdXplqUdrQTm3WKjam30NaGoVFUDlVgXoDQ7QHxH2A2rSD0CFAxf5gpgue+EbZvr7t754tt/Hp98H1OsaD+snoBrL7J+pAapgb4AMUNr2NAWZgkxBaQRMQWn8LAaZgkxBaQRMQWn8LAaZgkxBaQRMQWn8LAaZgkxBaQRMQWn8LAaZgkxBaQRMQWn8zgGa25lFhoaPdwAAAABJRU5ErkJggg=="/></switch></g><rect x="0" y="260" width="20" height="60" fill="none" stroke="none" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 18px; height: 1px; padding-top: 290px; margin-left: 1px;"><div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 12px; font-family: Arial; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">4</div></div></div></foreignObject><image x="1" y="283.5" width="18" height="17" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAEgAAABECAYAAAAiL3M8AAAAAXNSR0IArs4c6QAAAkFJREFUeF7tmTFLHFEURo9EkBAiWBlIYRWClY1gIURs0likUSQYooUgiIUoSFLYKEIQtIiNiiAhCRYJhPyEFOkEsbQRLMVCf4AheuEODJPNzu5edll433SLM+qcOd9337ztQEdVAh3iU52AAJUYIkACFCsRGSSDZFCMgAyK8WvnDuoHjoABv8U3wNfY7dZ/dbsC6gZ2gLe5WxIgh2EPbRbYLzxvAXIgg8B3oE+A/q2EHmAPmKjQFskb9ABYAjb/U6XJAxr2KVWMVsYraUC9Hq1XTuMncA3MaIpBJ7AMfHAYF8A08AJYEyAYAT7lptY7YAt4L0DwBDgAxnLRmgMugdXUAVm0zJb1QrR++efkAb30BeFjB5JF61aA4CnwGRitEK2sl5M1qAvY8MllMGxqTQG/CwvEZAHZWsfsyaK1Amzfl/IfAYJnDmfIYfwAbGpdVXi9SM6gh/6etZCbWpWilWQH2R7Pa2C3hmglCci2Tw+BWqKVHKBHHq35XLTGgeOSHeIkOsiiZT1jUys7FoGPwF8BguI3E998atlWRtmRhEFmz5cyEg3+/BSYvC//swavr+myZn/tI0Alj0GASgDZa0U2vWpSOneS7U0/z30+Kay4b3xT7bzeX1zP+c2OWD3/S/HcJEpagCIEtA6K0VPEZJAMihGQQTF+6qAYv9Zc3c4LxdYQKPkrAiRAMRFlkAySQTECMijGTx0kg2RQjIAMivFTB8kgGRQjIINi/NRBMkgGxQjIoBg/dZAMkkExAjIoxu8OBIZ5RfCPsJQAAAAASUVORK5CYII="/></switch></g></g></svg>
|
