architecture/hacl.excalidraw.svg

<svg version="1.1" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 1048 120" width="1048" height="120">
  <!-- svg-source:excalidraw -->
  <!-- payload-type:application/vnd.excalidraw+json --><!-- payload-version:2 --><!-- payload-start -->eyJ2ZXJzaW9uIjoiMSIsImVuY29kaW5nIjoiYnN0cmluZyIsImNvbXByZXNzZWQiOnRydWUsImVuY29kZWQiOiJ4nNVb23Kb2Fx1MDAxMn33V7g8L+dMRWTfL6k6NeWrXHUwMDEyO3biOLZcdTAwMTPPTJ1cIlx1MDAwMktEXGI0gGxLU/n3abAtXHUwMDEwQlx1MDAxMthcdTAwMTZDeLAkLpumd69eq5vtvzc2N7ei8dDeerO5Zd91TNexXHUwMDAy83brVbz/xlx1MDAwZULH9+BcdTAwMTBJfof+KOgkZ/aiaFx1MDAxOL55/XpgXHUwMDA2fTtcdTAwMWG6Zsc2bpxwZLphNLJcdTAwMWPf6PiD105kXHUwMDBmwt/ivyfmwP7f0Fx1MDAxZlhRYKQ3admWXHUwMDEz+cH9vWzXXHUwMDFl2F5cdTAwMTTC6L/D783Nv5O/XHUwMDE561x1MDAwMrtcdTAwMTOZXte1k1x1MDAwYpJDqYFS5Hee+F5iK8ZCSMZcdTAwMTWh0zOccFx1MDAwZm5cdTAwMTfZXHUwMDE2XHUwMDFjvlx1MDAwNpPt9Ei8a8tcdTAwMTU97+5gXHUwMDFm9Vx1MDAxON5rd/BcdTAwMDV2ro94etdrx3XPorF771x0s9NcdTAwMWJcdTAwMDVcdTAwMTmbwijw+/alY0W9+O65/dPrQlx1MDAxZpyQXlx1MDAxNfijbs+zw3DmXHUwMDFhf2h2nGhcdTAwMWPvQ2i6995cdG820z13sVx1MDAwN5Ca/o6vIFx1MDAwNFx1MDAxOUhSQZHWSmLNZM6UXd9cdTAwMDXngym/oGRLjflmdvpdsMizpudEgemFQzOAKUrPu318SJGa0rOdbi/KWVx1MDAxY9qJr7FCUiHKWPqE8W2G76xk2v/MesOzXHUwMDFlvPFcdTAwMThcdTAwMDdpJNCHPT9Sg+Pz9/NcdTAwMTGUjaKZSIrsu/QpMvPeds2TXHUwMDAzprR98+FYOPv7Z+wvW2xNz/vxqnjY+4utr+R6l5jHX1qCKa970fd2+tezd3m8v1x1MDAxOVx1MDAwNP5t2XFcdTAwMDcu4l/bwy+tcHD4bdjvvyfdXHUwMDFiXW7ch2+pX0dDy7xcdTAwMGZ7XGaYXHUwMDEwlGiBXHUwMDAxXHUwMDFh0+Ou4/XhoDdy3XSf3+mnSNnIXHUwMDE4PIfQXHUwMDE5v2bBSVx1MDAxNoGTMak4VZyXxmbxXHUwMDFjNVx1MDAxZJs8h03G68JmXHUwMDExNPlcdTAwMWMypeaYIY1pXHUwMDA1YM5EyVx1MDAxY1x1MDAwMldcdTAwMDSdwFx1MDAxNYIunV3fi86cSexggmb2XHUwMDFlmFx1MDAwM8dcdTAwMWTPTFBcdTAwMTKN4J6327vvf/3D+8/Br//NujG04cZJXGbSmUu2XadcdTAwMWJcdTAwMDftVlx1MDAwN1x1MDAxZcVcdTAwMGVm4jlygLumJ1xmXHUwMDFjy8qyUVx1MDAwN+wwYczgXVx1MDAxOVx1MDAxNvFcdTAwMDOn63im+7nAzKUoW8qDmUDL8yAkXqxcdTAwMTXW5XlcdTAwMTCx0/b3MT1tfz47tYPzQ+/71VvddKzxzFx1MDAxOfdYQ2tcdTAwMDNcdTAwMTcmXHUwMDA16Fx1MDAxMnPo4pRRSaqhq0baI3iAXHUwMDBlP52fXHUwMDFmiejdO9RcdTAwMGUnJ4NDXlx1MDAwM+2tpicsKFWpO9dET4ItxFxmlVx1MDAwMmmidHl+KnZm0zFDyCxmuDT42lCT0epT0Fx1MDAxMJ5cdTAwMDdcclZcdTAwMDRzLrHQdXBS5Uh7XHUwMDFlJ8HMh0O7U8hHWM2c/mJ8tFwim+f56NHEpZC6h3RcdTAwMDGmdGbacqDikksoXHUwMDAzMppnXHUwMDE1ppbnmIZiSlx1MDAxMGxQXHUwMDA28Vx1MDAwYuWO5lx1MDAxYbNZhFx0bTAlldBcblx1MDAwNLCQkq5ccm6KXHUwMDFiglx1MDAxM0U5XHUwMDA3pyOVUVxiU/QhQ0iEpFx1MDAxNHCGxpwxnUcjgctcdTAwMDXDRFZcdTAwMDDjPIWRdVHY/s5fp7vbn8+uW3oyud1ccm5Nra3qlVD62Fx1MDAxNVx1MDAxMkBcdTAwMTiZQbTjeJbjdWef+qGnUVx1MDAwNn6xQ81hbM5s0JC0bZFklc4oTOZcdTAwMGIhmCZcdTAwMDI1Plx1MDAxN4hSwsScZ23PWm3Uco2aXHUwMDFhVWxcdTAwMDOVlFDMiVx1MDAxMOA+qticXHKuXHUwMDE5Rrv+YOBE4OuPvuNFeZ8mztuOs0jPNq38UXiG7LF8ulx1MDAxOcYjzkbN75nYQNlAQdPvf74qPHshTOKtNY+QdLyN7GdV8UHz+6ZpkiGoyqgqnyaLQdD0NCmwgSXlXG5iWcNcdTAwMDPnXG5lLu5nXHUwMDA1I8YxwVrkXGZ7wUK5jCjRREK+xlX6V0+SJIoxqiWnNJ39dUtcdTAwMTJcXKtcdTAwMThZQel5MYKfUVx1MDAxMkNcdTAwMTJdhDFFKOQumdEqqzB27N1ZR99HXvvwIDj0rj7ufdhrN16KaJFvP/3rJbGC81x1MDAxMKjuhnaC1YHonrdcdTAwMDOFo2F4PTk73d+5XHUwMDFjXHUwMDFm1dCxXTruZ29sU+VcdTAwMWZcdTAwMTP77MtcdFd71nvB6Mt1giUhVbLNk9hcdTAwMGWzhXyHhdBIc07LXHUwMDEzXvEsNVx1MDAxZIxcdTAwMWFnautcdTAwMWGqbTqPx3liI4pJXHRKklfA4zNcdTAwMWHAXHUwMDEwa0/S2k9uXHUwMDAwb+7WSm8raKKo91x1MDAwYlx1MDAxNi6F1OJSO9POz2GKgDjHSGTet62C1PLc1VBIQVx1MDAxNW2gzIZn4SWhVGFSI5BVXHUwMDFhyu1Mu++lsaaloTOb0vPQXHUwMDAzW4jmRDLOmVx1MDAwMDBcdTAwMDBcdTAwMGbSPFx1MDAxOFx1MDAwNZZQgSBdXHUwMDA1jDVcdTAwMTbbV+x2XCJcdTAwMGXl565lt7dcdTAwMGbs6GI42mHVyabKa8fZevFcdTAwMDXq2scqtiVcZsBcdTAwMGaP+1FcZsBcdTAwMDKi226lrZrNaVx1MDAwMTzny1Ll9fI0kDVcdTAwMDNcdTAwMWJcdTAwMTJgilx1MDAwNEbAXHUwMDA2QlKFwVx1MDAwZV7Cjp+pxF5cYo94a1x1MDAxNSEjXHUwMDFkcSP7WbnIXrg6hCBgvbjaKq86isO/4SlSY1SkOihcdTAwMDVFhlx1MDAwNIE6m66vXHUwMDAzmVx1MDAwNvJSXHRcdTAwMDL3XHUwMDEwXHUwMDE0pr9Kj/F51fWTUtCTNFxiqVV+rGDxvPwgz6muXHUwMDE3L+5QXHUwMDFhg5wnujy0/n91o/dcdTAwMDfiQ+ebXHUwMDFmvcNsu1x1MDAxN3x1XHUwMDA3TYdcdTAwMTbGqnHltSBIK5RtXHUwMDFmNaq8vpPksndsXVx1MDAwNN5Hy78mk/2TL9KtoVxmXjqu9aV1fXE6/HD1gW3zt3fvo6BcdTAwMWZevFh5LWX2ldi6ymu1sFx1MDAxNFx1MDAwMJxSXHUwMDEwXHUwMDE3QpZf/lE8S41Ho2a11tdcdTAwMTjJeUTOs5tcdTAwMTRcdTAwMWMpxVk9K6wg2mS9K6w2P43CqFaSW0FcdTAwMTaFNXZi5HPIbtlSXHUwMDExRCjlunwvXHUwMDE5TT5eXHUwMDFkt/C+e8FvaOtgT5tk/Lbx+GL5dcZccmA7rCHz4aaur3K01ztcdTAwMWVbzsnxZe9cXIxcdTAwMGbafv/yoFx1MDAxOaxcdTAwMTS/dUv129pYaeFaXHUwMDEwTJlcdTAwMTRQm6jyqCn2ZuNRk5Fi6+ckQeZhU7DCSmNKUfyeuVx1MDAxNk6KY41XiLXncZLrfOtcdTAwMDSju3pXWC1P6HlGejRxKahcdTAwMTa2fTElXHUwMDBiKy8opZXklWC1XFxVN1x1MDAxNVbZJ7xfVqVcZklx/Fx1MDAxZlx1MDAwNUBcdTAwMDfx8s21YUxcdTAwMDOAQWRRSKCKXCJNXG7WXHUwMDBmYINcbkZcdTAwMTiEPVx1MDAxMVxcU02Y3cJkXHUwMDBlhlx1MDAxNClQ54pVWehYY7v36Oz4/cTiLcInw7dcdTAwMThHO+PLyXbl4kc+aXFlyXZv+T5r/CqAXHUwMDEwJTHTglx1MDAxMI1Etlx0+bxm73I9ujmzcipjXHUwMDAzXGJcdTAwMTck5m0wXHUwMDE4xJWIZbzQSFI9Z9NP1vgtxkq8XHUwMDE1oyRcdTAwMWRyI/tZufO7UHpcdTAwMTCkkKCY8fIvx4qR0PRcdTAwMWNcdPnFXHUwMDAw9uVCIMwwZ2mielxcYUXSjMnY+t6OlWtcdTAwMDNjJZFcIoyqtVfK/0JcdTAwMWKY1qpHVnB6Xo/QJytcdTAwMTGNXHUwMDE3okxKKYRm5btOy1x1MDAwYp6mglxmspqRaGktXHUwMDE5cLnMqX2JXGZNXHUwMDE1XHUwMDAxKkSMMkzXKkvA3VxcI8KJxORcdTAwMTmyRFx1MDAxMykkZ/J5VfXaZMmhd9Tp7UFNcbsnXHUwMDA2XHUwMDFj2efDk0871avfNN29vCypolxiKCZcdTAwMTLyXHUwMDExpGgmklXGXHUwMDA1kmAmwEBcdTAwMWY8Tacsr1JyYiljllREXHUwMDE0XGKVn12YXHUwMDE0oyXe1ipM2MKUKVx1MDAxOOfJvz6VTpnFUGh8yuTYwOB2xJRcdTAwMDRH01xcJceVwdKUmVx1MDAwNeqL65J06GW6hDKukCS4vtfT9S2RY7Xqklx1MDAxNVx1MDAxNJ/XJVx1MDAwZmuL4oyeeGzLXHUwMDFjXHUwMDBlz1wi8Nc0ycFMONbDQ6c+2rpx7Nud+WD45TrZ4lFcdTAwMTPUxlx1MDAwMLFcdTAwMTP2+rHx41x1MDAxZuTf480ifQ==<!-- payload-end -->
  <defs>
    <style class="style-fonts">
      @font-face {
        font-family: "Virgil";
        src: url("https://unpkg.com/@excalidraw/excalidraw@0.14.1/dist/excalidraw-assets/Virgil.woff2");
      }
      @font-face {
        font-family: "Cascadia";
        src: url("https://unpkg.com/@excalidraw/excalidraw@0.14.1/dist/excalidraw-assets/Cascadia.woff2");
      }
    </style>
  </defs>
  <rect x="0" y="0" width="1048" height="120" fill="#ffffff"></rect><g stroke-linecap="round" transform="translate(218 10) rotate(0 80 50)"><path d="M25 0 M25 0 C60.81 1.13, 100.42 2.6, 135 0 M25 0 C55.58 -0.09, 87.09 -0.56, 135 0 M135 0 C153.23 -0.52, 158.51 9.71, 160 25 M135 0 C152.61 0.57, 159.49 9.03, 160 25 M160 25 C160.66 45.11, 161.98 64.01, 160 75 M160 25 C160.12 37.77, 159.86 52.32, 160 75 M160 75 C159.89 93.4, 150.02 101.39, 135 100 M160 75 C161.59 91.27, 153.17 98.75, 135 100 M135 100 C96.54 98.35, 60.47 98.48, 25 100 M135 100 C104.41 98.16, 75.68 98.79, 25 100 M25 100 C10.29 98.08, -0.59 89.79, 0 75 M25 100 C9.03 97.82, -1.43 92.19, 0 75 M0 75 C1 63.1, -1.01 55.8, 0 25 M0 75 C0.42 62.73, -0.53 48.48, 0 25 M0 25 C0.29 8.34, 8.59 -0.39, 25 0 M0 25 C0.42 6.32, 8.61 2.15, 25 0" stroke="#000000" stroke-width="1" fill="none"></path></g><g transform="translate(268 35) rotate(0 30 25)"><text x="30" y="18" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#000000" text-anchor="middle" style="white-space: pre;" direction="ltr">HACL*</text><text x="30" y="43" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#000000" text-anchor="middle" style="white-space: pre;" direction="ltr">(F*)</text></g><g stroke-linecap="round" transform="translate(10 29.926369001280534) rotate(0 60 30)"><path d="M15 0 M15 0 C45.57 -0.06, 74.34 -1.59, 105 0 M15 0 C48.92 -0.39, 81.93 1.12, 105 0 M105 0 C113.86 -1.12, 118.97 5.15, 120 15 M105 0 C113.97 -0.7, 119.74 3.16, 120 15 M120 15 C119.05 23.15, 117.79 26.79, 120 45 M120 15 C119.47 21.41, 119.12 26.53, 120 45 M120 45 C121.76 55.59, 113.24 58.58, 105 60 M120 45 C121.25 54.16, 113.95 60.08, 105 60 M105 60 C75.88 59.6, 47.52 59.57, 15 60 M105 60 C79.89 60.15, 55.14 58.93, 15 60 M15 60 C5.23 61.84, -1.74 53.94, 0 45 M15 60 C7.28 58.2, 0.1 53.58, 0 45 M0 45 C1.35 35.81, -1.09 24.14, 0 15 M0 45 C-0.36 36.1, 0.2 28.41, 0 15 M0 15 C-1.31 5.7, 5.51 0.89, 15 0 M0 15 C1.82 4.89, 5 0.82, 15 0" stroke="#000000" stroke-width="1" fill="none"></path></g><g transform="translate(32 47.426369001280534) rotate(0 38 12.5)"><text x="38" y="18" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#000000" text-anchor="middle" style="white-space: pre;" direction="ltr">hacspec</text></g><g stroke-linecap="round"><g transform="translate(131.34716441959142 59.41423888664826) rotate(0 42.82641779020429 -0.33503884024577246)"><path d="M-0.6 -0.2 C13.39 -0.16, 70.91 0.57, 85.12 0.31 M1.28 -1.35 C14.96 -1.63, 69.61 -1.36, 83.9 -1.29" stroke="#000000" stroke-width="1" fill="none"></path></g><g transform="translate(131.34716441959142 59.41423888664826) rotate(0 42.82641779020429 -0.33503884024577246)"><path d="M55.33 7.96 C68.57 3.28, 76.46 2.57, 83.45 -3.17 M56.55 9.17 C66.47 5.05, 75.24 1.29, 83.76 -1.29" stroke="#000000" stroke-width="1" fill="none"></path></g><g transform="translate(131.34716441959142 59.41423888664826) rotate(0 42.82641779020429 -0.33503884024577246)"><path d="M55.42 -12.56 C68.63 -9.05, 76.5 -1.57, 83.45 -3.17 M56.64 -11.36 C66.69 -8.02, 75.42 -4.32, 83.76 -1.29" stroke="#000000" stroke-width="1" fill="none"></path></g></g><mask></mask><g transform="translate(171.17358220979577 46.57920004640249) rotate(0 3 12.5)"><text x="3" y="18" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#000000" text-anchor="middle" style="white-space: pre;" direction="ltr">1</text></g><g stroke-linecap="round" transform="translate(478 29.926369001280534) rotate(0 60 30)"><path d="M15 0 M15 0 C35.48 -1.5, 55.86 -0.21, 105 0 M15 0 C47.68 0.25, 81.5 0.12, 105 0 M105 0 C116.83 0.53, 121.02 4.73, 120 15 M105 0 C115.9 -0.09, 118.08 5.01, 120 15 M120 15 C118.81 23.74, 119.9 36.01, 120 45 M120 15 C120.81 25.83, 118.95 36.39, 120 45 M120 45 C119.15 53.24, 113.51 59.31, 105 60 M120 45 C120.19 55.73, 115.89 59.54, 105 60 M105 60 C69.65 58.94, 36.43 58.46, 15 60 M105 60 C75.44 59.6, 45.87 58.81, 15 60 M15 60 C5.52 61.92, -1.5 56.27, 0 45 M15 60 C4.91 58.52, 0.46 54.5, 0 45 M0 45 C1.55 34, -1.27 24.95, 0 15 M0 45 C-0.2 37.01, 1.1 29.43, 0 15 M0 15 C-0.73 4.15, 6.56 -1.37, 15 0 M0 15 C1.15 3.19, 7 -0.87, 15 0" stroke="#000000" stroke-width="1" fill="none"></path></g><g transform="translate(501.5 47.426369001280534) rotate(0 36.5 12.5)"><text x="36.5" y="18" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#000000" text-anchor="middle" style="white-space: pre;" direction="ltr">HACL C</text></g><g stroke-linecap="round"><g transform="translate(379.0000000000001 59.97427579126918) rotate(0 48.99999999999994 -0.014763727732315601)"><path d="M-0.41 0.1 C16.16 0.32, 82.02 0.29, 98.38 0.44 M1.57 -0.89 C18.11 -0.96, 81.75 -1.45, 97.63 -1.44" stroke="#000000" stroke-width="1" fill="none"></path></g><g transform="translate(379.0000000000001 59.97427579126918) rotate(0 48.99999999999994 -0.014763727732315601)"><path d="M69.65 9.57 C76.3 6.44, 83.16 6.28, 96.55 -2.28 M69.81 8.03 C76.46 6.69, 84.9 4.28, 97.01 -1.18" stroke="#000000" stroke-width="1" fill="none"></path></g><g transform="translate(379.0000000000001 59.97427579126918) rotate(0 48.99999999999994 -0.014763727732315601)"><path d="M69.57 -10.95 C76.08 -9.73, 82.96 -5.54, 96.55 -2.28 M69.73 -12.49 C76.45 -8.27, 84.9 -5.11, 97.01 -1.18" stroke="#000000" stroke-width="1" fill="none"></path></g></g><mask></mask><g transform="translate(420.5 47.45951206353686) rotate(0 7.5 12.5)"><text x="7.5" y="18" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#000000" text-anchor="middle" style="white-space: pre;" direction="ltr">2</text></g><g stroke-linecap="round" transform="translate(698 29.926369001280534) rotate(0 60 30)"><path d="M15 0 M15 0 C40.07 -1.34, 62.56 1.3, 105 0 M15 0 C43.76 1.52, 71.25 1.19, 105 0 M105 0 C114.92 -1.29, 120.4 4.57, 120 15 M105 0 C116.07 -0.57, 119.95 6.7, 120 15 M120 15 C119.16 22.23, 117.83 30.53, 120 45 M120 15 C119.92 23.75, 121.07 32.66, 120 45 M120 45 C121 53.43, 116.74 59.25, 105 60 M120 45 C120.01 55.49, 112.89 58.74, 105 60 M105 60 C73.85 58.78, 45.62 58.59, 15 60 M105 60 C73.24 60.24, 43.07 60.65, 15 60 M15 60 C4.13 59.5, -0.82 54.36, 0 45 M15 60 C3.99 62.23, 0.91 54.54, 0 45 M0 45 C-1.41 34.56, -1.13 25.47, 0 15 M0 45 C-0.32 36.19, 0.75 26.9, 0 15 M0 15 C0.52 5.4, 3.64 -0.67, 15 0 M0 15 C1.25 2.95, 3.56 0.36, 15 0" stroke="#000000" stroke-width="1" fill="none"></path></g><g transform="translate(704.5 47.426369001280534) rotate(0 53.5 12.5)"><text x="53.5" y="18" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#000000" text-anchor="middle" style="white-space: pre;" direction="ltr">HACL Rust</text></g><g stroke-linecap="round" transform="translate(918 29.926369001280534) rotate(0 60 30)"><path d="M15 0 M15 0 C47.47 1.29, 82.32 -0.44, 105 0 M15 0 C44.28 -0.43, 73.07 0.06, 105 0 M105 0 C113.55 1.18, 118.37 5.99, 120 15 M105 0 C117.13 1.79, 119.3 3.93, 120 15 M120 15 C119.49 26.12, 119.35 38, 120 45 M120 15 C120.56 27.69, 119.64 38.24, 120 45 M120 45 C119.89 54.11, 116.12 59.77, 105 60 M120 45 C119.51 53.62, 114.12 59.65, 105 60 M105 60 C72.27 58.87, 38.07 61.32, 15 60 M105 60 C86.04 61.14, 67.54 60.02, 15 60 M15 60 C6.42 59.13, -1.26 56.59, 0 45 M15 60 C5.3 61.78, 1.33 56.42, 0 45 M0 45 C-0.29 36.42, 0.6 26.37, 0 15 M0 45 C-0.35 34.14, -0.47 23.41, 0 15 M0 15 C1.98 3.27, 6.92 -0.78, 15 0 M0 15 C1.97 2.84, 4.13 1.61, 15 0" stroke="#000000" stroke-width="1" fill="none"></path></g><g transform="translate(947 47.426369001280534) rotate(0 31 12.5)"><text x="31" y="18" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#000000" text-anchor="middle" style="white-space: pre;" direction="ltr">libcrux</text></g><g stroke-linecap="round"><g transform="translate(599 58.657754512594295) rotate(0 48.79856601415463 6.821210263296962e-13)"><path d="M0.11 -0.75 C16.7 -0.66, 82.12 0.52, 98.43 0.8 M-1.3 1.46 C15.31 1.21, 81.47 -0.5, 97.92 -0.9" stroke="#000000" stroke-width="1" fill="none"></path></g><g transform="translate(599 58.657754512594295) rotate(0 48.79856601415463 6.821210263296962e-13)"><path d="M68.74 11.46 C77.04 8.45, 82.97 6.61, 99.16 -0.92 M70.13 10.17 C79.96 5.89, 92.65 0.7, 98.05 -1.07" stroke="#000000" stroke-width="1" fill="none"></path></g><g transform="translate(599 58.657754512594295) rotate(0 48.79856601415463 6.821210263296962e-13)"><path d="M68.23 -9.06 C76.68 -7.86, 82.7 -5.49, 99.16 -0.92 M69.62 -10.34 C79.76 -6.59, 92.65 -3.74, 98.05 -1.07" stroke="#000000" stroke-width="1" fill="none"></path></g></g><mask></mask><g transform="translate(640.2985660141546 46.15775451259498) rotate(0 7.5 12.5)"><text x="7.5" y="18" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#000000" text-anchor="middle" style="white-space: pre;" direction="ltr">3</text></g><g stroke-linecap="round"><g transform="translate(819.3054097472877 60.864601905621896) rotate(0 48.84729512635613 6.821210263296962e-13)"><path d="M-0.58 -1.16 C15.69 -1.18, 80.44 0.09, 96.83 0.28 M1.32 0.84 C18.04 0.42, 83.13 -1.77, 99.09 -1.7" stroke="#000000" stroke-width="1" fill="none"></path></g><g transform="translate(819.3054097472877 60.864601905621896) rotate(0 48.84729512635613 6.821210263296962e-13)"><path d="M69.15 7.62 C78.05 6.88, 84.03 6.17, 100.23 -0.48 M70.72 9.71 C77.76 6.71, 83.6 4.05, 99.83 -0.94" stroke="#000000" stroke-width="1" fill="none"></path></g><g transform="translate(819.3054097472877 60.864601905621896) rotate(0 48.84729512635613 6.821210263296962e-13)"><path d="M68.79 -12.9 C77.83 -8.86, 83.9 -4.78, 100.23 -0.48 M70.36 -10.81 C77.52 -9.3, 83.44 -7.45, 99.83 -0.94" stroke="#000000" stroke-width="1" fill="none"></path></g></g><mask></mask><g transform="translate(861.1527048736439 48.36460190562258) rotate(0 7 12.5)"><text x="7" y="18" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#000000" text-anchor="middle" style="white-space: pre;" direction="ltr">4</text></g></svg>