docs/assets/spqr_programs.svg

<svg version="1.1" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 1780.6772804218708 752.7281341741618" width="3561.3545608437416" height="1505.4562683483236">
  <!-- svg-source:excalidraw -->
  
  <defs>
    <style class="style-fonts">
      @font-face { font-family: Excalifont; src: url(data:font/woff2;base64,d09GMgABAAAAABnoAA4AAAAALrwAABmSAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAGiIbilQcghwGYACBDBEICsYQs3QLWAABNgIkA4EsBCAFgxgHIBtXJKOitDPOQPZXB7xhvNEfwDI4BsVCEkESaSX4m4bXjzts7Cms3HqxYa/h+W323v/8Dy1VClKKGFgTm2gLM8CKIS4qjEWFLi7Sm7dzu96uXbpdxapuEn1//9Zn7o14ApKIpAIS//7FQiFckFVf3tf/AP7999XJl76/teshQuEQltVe5VWyHCg7ScsHaT8QOc7F3EadNFUsiXjTFyRxnV5JafJ/Oa2kq2qGf1XJUqDBsmw3IJ/GMLSQnbfHffvu7KtzlTgOikzdeR1DA0FJteB/v19q96mQQqHCLhPhgISJUDFm9wXPvyF6uyFCiSxUJkIRgYtdVzSqxnZ8XW1dps6BrFcVSnTb/0ZYsVkYhRzyqnHGlxYABACNgXQEioCzkWlAWhGg8WEo9IwI80V2ERDvZwY6gPgcaGwH4od3ShcQIwAAUEi++zHQBUhhAdxYRLoTDgFcK5Hmt/z8oX9tFzYhMPF3EDMx6I59iCcujXX1NAKI1j9qx/0yCkusmKl+dGctxx92R8DTgrpByg6DDkmuggIXXu+gdyCFnHQMEjD0/N8BD+Mbg5/hxI+xTk4Mpt+jlbU38TE3DMHV4HoBzkuaK26sw7bm1gFAbX6bEA8JFQ0dQxAmFjYOHj4BMSkZuVBqGk8XqHALP1LKCPowkU9CgDEE6gQcUwl4MClY+JxR1sMRUbEx0XDQncEbZlLJQWohzIZI4YDsQFSRQAOANTHS6AY8pW5AVPJIQZxDGeoqUAHsUQVF9eKma0ncQ6Qv0d2N55mQdAFuSUZcDBKIA4C7AdA1w0BEUFQbHBCRE9ldhYBros0ExOZ6EBYyGOjUmXFyPQh01se12Qv470BDF2CkxgdqOS97SI000WiXbhSrhaEKE77msjgZDZvMWBxagINw4cNVFgm0UDKCtaaLA6kqFKikhHwwQIADkSTT2iwmco590Lr2w2Pha2KETIK4/MBJAq3DXIqqF1Yhq1IGgCw1GbgS5wVwCi1pXTpywTCQm9mm/QNsNmtNGwOwGwAAfsLxk3+SgM7AlQSVLsGM04sxoSjktGLEM3HxKNbKb5qZw4RzerhosXqruQp4tQt8iSfGjfnedy75yPveM2TQaSeDwAfWrgoAnWAlspRy1B+A/gWgBcmyNvog25bIjTWkTm1NydDnI4DTGVsdU8Y0mq1rf//x1gcPrP/rl583n76mQPcc/urBa35ov33TLZfv/eTtG28rf/3sG99//P6HT90uXXc7/t1wR+d+zR6RK0XiueKrpUShCwhXC/bNB9WFTYc3hg/dttnGy9YEJlWwOmJN2jbl2+/VNa95ijICsIZX5zVUGcdo8zHNO2UOCdvs0Bay6T6dHzppkWvicP+kimXt4v//U9xcnX2f3nzVcz3fEjLQPVZ0WQZmtZf/FQhYYiTKafn/6ZplL1J7T11T5jr7Y8Xs9pDSyBUCaN7QDIu2akcdOuPn1G3c4fvdtenxo4MQDIJENhnZStOwDAvsLWV17ODrSyclVaKxzL3JpQmz+iEpLhiU2ibV0pcyFWEgQTQivoB79s1AFj0bFY7F7Ef4C6VpiktJvVf72d4zpCPLItGKzpw78ataJsH5+1ab4n38fIzTYXrzZV82veRFwCDds7lCd91+Sx5U3A+I3nqdtUKkoqXrLMtbCUgd79wBfAMg9rZ1jpYt5tfW1lS5QOb69bNtuYmLDgwXmUANFZqmickA3I+AqUBd1wH8kxrH4zim128U24UM5q8NzWqx9e56TmOuVrGWYCChBCSb0vf1XGvklLs0xw2ObdvEjbQvYxAYRrMpQR7gHkMCQ0jcBC46OWHiarBkYYwDtvJI9oz6F8X6ffZJFZTeNm5QXhDXXOUVe4X097HZRmS6uJtO0hIm1zRNfH09XuMLnMoVdaznD2XBQBhwB3MTBv8UbUF3vKskyhTsOYtgnJbsRPwNsprnqrw0cq5Rqp3OUfSFW0TFZeAot6+Bzm+/f+xU8So7uJXgMCaCtTfkfYCO4WBaH95tl6bVPWLFfa6OaxmZqdF9pDBphFJUYonkymkW+3exfLH3WIpP5XDlwRYyVAnY90vOdY7xrzSm3CC6E0VkmxUgMgDnAFmuof4CZM/JWVa+QJEa+ZT37N+jno/H+vx64QxtJahQy3QFh5Ti7oS5QwplVKsoqnM3ptdfV+PX2hQfryr8rIlKpLQvkHES4wbYAYNgem2aatdiPCs8OM2JlgP4m6OM7BGjLt1ZotLuMyrl9YNKlBFP20452hgfUmPE3fh2/Jry69fG+y+S6wiL+yCSdBCAZeDSINyd4hL/nUjY7lNfu1VzIjMqVxqKJr7fRNi1+4yj1epUMY9jqsJQV7xO/GmTXAOjAVkzDwOp3joCDW57ucrJAB9AuMkZ2OuXB2o9rkpO2fcpx5j6Mq7OzQEyZym3vKulSFEexwvFELGNfFwyVuS8GB3aWRqWB1z6tyzYZiyDEx8CrNqsrC3P8hq0z+8fYnoQqSqFJlwbYirUwCVOkbB7tcVq5Dqv5jJS+tnV0UAu+NUUb3qbJ1umM8fIY1rQifnGLnw8RmoyYbLD+b6TkrqwSSfC1aToqEriR4V+mctoYDT/bcIfHx9XYNAcEb9d1fuPjx3ke/Kb7VLoygYgsEiP6BEUHzaLOReHF9JU71BbEC8UVShrEmVqrSpxk+aun67fziv+Ao25GOt0E4frm6JimBzc+KTbT3EIKEHhQO1Q6s7HKLmLFK0YI8nvHY/4qYqvz/HxPBqy01aCi/cZYVie21y6Pz+X54J9z9zDho48p4jMcHYW5ffV+OJ9cCMp3lDVJXcC4iua+CDqajyk7V69/8P8EI9pa4N9dCfCdcAUdIdkuyEgW1ZxERHGnW5SQgE7z8hWgnxwQ5CUOWEEfz5DWdRRevrci8o8bGuK5mucYLyODU50dk82NeaH9iJ1QoCQgOiz2Y1eEQENE/xxqn1p/t6pRo10y7WkxWQHyermRR5noLDKFF+zbxIGi/0owVYtSq9h0z5fzpRxtvFuy7Zt00QhbKMEka6rOEeqtD9dX7rCgDV+wegVyebV+LZGtgmnxHSE5uAbW54RnWV6pMZ7KCda7hIWc47gYHkv1/m2HSMV0Ier32sA51Qy3pwvkfQcTyuTvZ50h0ipjkxO8oWymmbfF3le3NHLuM1avkOkqRUKLaoC0VfnvWVxzKdHfEOMVEmYuEXCwDEhLFutHAFWC0V7Yi1Gqo1vdNYfDebKXi3dEswrda1vSv9WTauFQxkDkinam7eWxUjCJEngmsNgJAbYiGixVtfgAGciSyE+1vNK2ZHgWi2ZbAqviTGnUtGi7GKVCwWRCLy+RrnbpfN9HPbNXCm0REsIr8GgeuJ/6+pURzfo3vpepNITZdsBDoJndcV5oD3P6hAvAljABHbJ6LQEWuL0JzQsyyKeZNbgxBr4+VLxPX+JlyFhZ4vsaF0wwWEoT35R2yqaPTu9qxIe2L0n/eX/QwfPnZxMBXHNRIKI1IviAz3AHgxy5BoOzyHBPaXdw5Oqsc4hJlMQrQ779PiChsPwOVI6+yTLSI3M45Heoc8rVuFsVd9ctwhPjEEQADp4d1oqBdE8Vky3M9uyvj6v+iSeiogFGJBXxa71An15fO762nzPNEcpvjd+Hu95djgxefkqYfc1/lxMbKFQZwC132GssZm7cREWyZvzOJiBKCLasyrJ38FpRx3rHomWPS6yWNMbuUt5iDK60jU9YfAohSZSmyq+vU8/p0Nshng6ISD5dzrZLWIVLDJ7tNX70cmeGtMJ5zrfzZV4Y+i2MVG+b1+zuz6Np//fxBohkpFuqW8pwSBAuMlm879NshJr63rMpw9lIpT31KLGClf7SOGpjMVBNbyrcdz1r/kr/6qRqA9d1fR4Ex0BHSRsOxqGI5v835mn4A04JcInUW6ax3o+RihJcsy9GwdBZNHnlONYr/KvI03RApNUisKMxpcYqTMNGmMahngqm/0YjUgdB4NfhNlGSv/4bvc5VnQ9y/dI9dHpBbXwsnLNgj2bVldcke0w7RwEPIK3GyL6+fg+/pZE7/qL0w+oWI6je3q+h4aLpqVh3hbq9PvfgjCYvHY2jZ+P9ao5Xd39HjQhy1sJ1OWOmn/61bnpSTEli7Us872C3M0mtZpVsygdTec6S6xTajvezrCtJpvpddaDjweZF7I/Z266uGQlbSGYPEp8jHNI0LEKqna1jR+R7CWaWdtlJd0lq963vgIs5q23RQDvaoWTx+Krg60dofWiTeSy4JgTQ0XNYLV6wa5OBT8Lzqz/VTOQR62tHQFRh85+IKw+sZywu6YPEVvBmg/KgxNZzsCDgVPU/Gffr1SXRqRMta/quGCo+FofRwJCFucvaIXDIUhJGBXXNa+1RusW95Cm7nnz+cKMyMIzhfUvGgYwSqK+n3iDmE/Io6IXXTMJYC1p07+lvJOT7G8gG3r3rwAbVr8yrf31nmTvoZ2X+6uUkA/VMF5eYDImvKuO8QZSr5bIk2+f/+Pik8byud60dyL+G7tnMkzvwvo2VYZwfg2K6+olDGDMT9b127n19GwkkA+iENRG8JW08sd9qBrPLFnhW1SmuJvPdYn0l2oN5q/2uYheW8GqlL3NtECHxK26Ju1yoj6R+1RG9PjD9Lo/BsYfcF20fbQKSus7LakGm9A3TA38ZZt+Z1orSVdisYmBKJ5+/q8pLtoVKWVTMdxgXcHfyqXS7uJx7zQ0HGYeUXI839SUPpm699GuKJvlObcKLoKT/YPcdwGxNUgZgkOI+MRbGQi7b2S5GlLh0V/18TksF0Yq4my7fBB/jPvl5p4fzjXoo0Fp9PNQy3V9uX8nsIByUdKcvmZRUdQR1tu2oG7nLwySlTKFwTqXk0BK0HnnZ/MAs8Q/tCtyb1Hs1723ha6bBd81q8/cwzmoOA5lWpgotMJF8r/8JCNOQC55Ougs2H8h8RgxfJV3LMDF9Kge4/lkm0AEyI6SzPtnVaawApmBkGIGlus+llnc7S7P08XQ4U7gTaGt9/LuZPOmaeZumVKnMV+q4Lg+ZJdl8NaRVv81nr4O4TlQLIc0TTl3zdvp22v772hsV975bZ3qS0VP/jJk1Tf8dyvIGsytPAtSYfVALTMnbJmuKNjpm7EoAlbzFwyU86W4xRpthNGkjUpRlsLZVJ0TVSBzlzE0ti+94zMEsV9KrFd0pbm9M8V6v6YdHjpaMpgTyduZmaOJOdA8c8HwQ9DEqY6CZkqFW7Iu+1ekMPztmQZDoph+vnhHMb4D7+T4VOt19hre2SxQan9297KwYbJZtTZemJ0qAHI6npnVh4ChFewe1l3j45FpgqWACuz5aadZqv6Y/QTTeKLyNqCJfQhFAuZA0neJ139tKfb0ZNtfcEIvvt4cetXAk3/9mr5XfSxmbsT1yAQTm3M/pYxG7iIcRLCsRLmcw3uIHvdSppJOI453oVXBDeopNv1H0HrjzzdlYR6lB1uorIgqdiT+JA06cfb5nyviqGNmbCFetizD40i3bmVDKG9agDG1tkYgQnqQXMXhY5VKZvS4ZnMsPPZIY4Ru8p+9mwttscWdYbPTgn7YOdjt0cPZ6Fu3Vy9wgED/C/NHG33LjFSsdxlSBT2cFv2pOQnnc6QU/KPtWbKe3sTM3KU1j01pnY1gSGSJb4S5GIdwOZpRpfdYmXlwXnfIxKKEF5QW/MKn3VwoqCIascal6B4/E/NTnHDcTdDh9lAZCW5l+vf6aQdpHMx414j9SSwFX5Mo5G37UOF8xbvMiyAal17IFUo/5FTU4as6UbVfg2onxa/6b/jJtFie+dkNMpHikbmXqbv++Eyr+H2ANqlrRlPTTe36/cq5bgGSF8FhIcPoFi2he6VWxCiOrosMXz917ePmlQzLmWmC8+ACftck1Kxt+zGvmBcBI2xvRzYo+pxBeURW6zbD51WV6wS5AkWlcC0jj/ASYDrfEfuIKuEo3xRm6S4yV7N+gHManegMYoKbED9QdtZPaBUDCrXBoXVHk6tg4Vy8SML7l85ru87aTJHew4KWS4PWoJ4Fqt9DnNtk0R6Fwb9yc3ZCbHkJc3TWpdEiluPRn7siVXnkD+03iz9jVYAq+rA4/0E989oL3N61fhG/Nux342ho05VM9egwevVx8tWNf/TdD094FzGnHngY9zIHnmnHAglE4YxqcIgde3ns1HM8P51Izls8K5c27g7PQInoTCKu5zfkspk1SNpb9wokmxOAR01rV8lyVEZvTKlUYnSH/JVI5Hb+K+rqCnK4RkYTDvjPhwqelkamb+TtRRzkosZ4EFbysaqpLSM/W/igfrg7P1NDyC9H+bz4jpuXGYd92Ys5C0evWQJqBffOMg8/P49g1lqVFX9Ox3oemyjBSOHP8eu6edzP4pr3giFK37Pli7SzeGzLglmHy3nzlTJmb8pZ2M4X5a8SJpztGQh4kNmHFh97ysY6Yodu/+f9WLWnEE7TpyQG6Lkk59VPXHM4T7/ZnKEDD3kSC2+PRiCaRsJIBul8KvF6DuBO49iTKjq3G0W5XgH7XWv/UwUKxhaRc2rYhHxk3aTY1OUpTkpiWcvT3CQHwKh6Kjb9DZvn/wftdoU1NdV1rOkd1jWV3MytlZGm7UQPL1MBiWFHnqyVMV3esP165O/gPo+k+VYXEARZfn9X257gaqHTvqcKVigASqDHxOuRLDZaifAZr7QczGDuqxuEYOJLTDyf8DCT6LVX+Avi+fxQJ1dWtltaFgGT2LZusP6jO8+D5ZRDi7wclqdgo3FF3CzlTJjMKmUtF35+ANCDJUQPsYwoDv5Dc/ErXufkb6JIihiIxGjbwGHJT/W2NSb9r4doLLwZxe3PLkzxjCwGf4+m11W4gi+cvDLPxjCPIdPCvA2KiLcgQsKR6tjvI22jy1+j7eFs0kxicCLaAe2Udfo3VBiSh7eqK5VwnxMs5AhGb8K5QjqRQr0kRqhfRs7kS2XIfAx1UOhR9LeJG10QtclP76fPGgWzwIE61S7kYQqf1ldZm7jj5d0y7VuPuUk9nPTC8R9Pb3APk8ph6YfB2zW06ReKJroWq6LmIPXk2ELrDNbOvJ3x2f8MINczS6k9SCyYlB1fuxqcRSgidlMz21SlOeUUKHBSqCkpsYATndu91/qezEXdGIzloGSm5Z58pE3HSIKWM98pSyYrx4yh+9t628+EOIrZ+ehHUPynvAVcJ0S0fuB6SWhti2g9ZQrfkulekTkabz+Z2TlX+rjRr5dnhZfwXQY71bSnGSqKoiNlF99hFfVZSWE6KqR03jvTDnYE/P6xkvdZYQ7KYRJoEsOCKrJ1/r3LHBudODA1RO/8nzbv364MxVhBwk4CGVkWSmxLaejfOmnTB2kSnstpLzqlfkLNCto9lzELrFcOMKxcbEhBE8Qr6HD/HsHBNZWLarkYWbzWyaUdccxdSeGoV4EAn74mOfXg+JV0BupC+YgVmGyc79SGuL+CDwwZqdJPBxKnRe3KMReLTYl231UJ3vlblaoQQ0LR+7FnrdOcvIKlWP69c1Nf/vDt0qf/nS2+X5ZkrrlDZHWHzpsHuIYrleqrb6ipszVcZ4nlwo/k4CHftduWZE4ZbdjQ/FYL/0B0GOpvUseODZmuHDwOFnqf2plDgmp7kIGSd1r8ujFB/9Bz1rTENr11joMwlXtq+MqNfGPd7KQcT7d8Hhij4cQU08rf5zcKC5CM2TNl8gNnliXGH+kTQhu1mI5HP+EoYhc6UHk0olKnxBR85QsfIQe/526SusMNX5wkooS6/YzQGJ3GQEinOx68YpeDm0TWyNuXDdUiz+npguCFQAFDgcrzGMShFlH78uVv7Xp495VCWLpnp/j7ym9/LcS3DMkJw9lBxNsG0wxrka16TdIN0yFWQ6hFb8KJ4GaPfKM6lFaTvO5Eev/VH+3JoaL67ySVHSYvxSlYEM56usCB6+6hdYxIx9eztt7+ofRVcl4zwZq2tnCOUKrImZXRnfAvkqL2CwczTsYlpZAzlGIKsJwveKbuSej+hqdeplVMt2xfFHpDsgiJXf0hk5NoLPOxbpGJx+ldU/Ylj5RS0Xr6NMp/FP6asf2sbceCBc6HAu5TrPe3q3V79vlGysebFvTz68J6L1khF480cyRluG8NC9w6d64+GaWWZi0lfhXEXsJapgJ+1n/Scp7WYVq/N5B/HyX35DFZy8Mi3ZEkO4/iCeLxXPNPXJtE7f+5e3N6792kh7x/g/p9Qz8s72LrbaSk8HvO9cGOj8pEF2eM9xBV9I/J4deeXoTbQG/gkwYPXvif4eshTn7v7bOPxAC84XpHatvVf2uD0h6TqOjvUwEAxmdGWNWsd/b9NXtiyWf3P3vy/x8fZOAN/mz5j9gGzb2q+9/ScXXNx1a9APwVWf3Ci82cWIQ6jp/31upeR5QDADIRkhkkmQDsvMOU29zpQm7lYMZEx0gTncR6Rp5q2ohI6v7wPDq6JEn0CDM8UcZBQjZLCwMkp4w+Ikm1Q2xkwqMFoxIbOqCHLa4OkbJyPYSkNg2vU26k8wPAgXCCt6FGsB5RBRTsZABAh6snE4jrAxMEw6AJKsIyEwIVnwkmgwr44LgA2MxQz6tDqyaTdZkiSoFGzaZqUr0CSi5EQI+RD/LLxYqmR5HKYU6Zya9FKLQsHnEK4UMWN3ASbeg2yGuHltOqkEOuqN+p9qB+IyxK+M00oNWKWmJCuAW0SsTRr5Ewh8/YWu4qGgSEmC5aJ0w6sKXcnXou0KhYI6YN0GAVhAKXJl7DAAA=); }
    </style>
    
  </defs>
  <rect x="0" y="0" width="1780.6772804218708" height="752.7281341741618" fill="#ffffff"></rect><g stroke-linecap="round" transform="translate(10 296.26840357500623) rotate(0 192.20138726498385 153.58848998620851)"><path d="M0.95 -1.96 C116.15 0.25, 227.17 -1.68, 385.35 -0.05 M-1.11 -0.08 C99.54 0.73, 197.34 -0.12, 384.82 -0.66 M386.15 -2.49 C381.75 115.54, 382.88 223.89, 385.19 308.34 M383.98 0.72 C384.32 90.56, 383.42 183.94, 383.36 308.09 M385.54 308.4 C275.76 304.51, 172.7 302.5, -1.8 305.91 M384.65 306.82 C254.4 308.06, 122.39 307.16, 1.16 306.26 M2.43 306.98 C2.69 232.77, 0.76 158.16, 2.02 -2.84 M-0.57 306.65 C-3.15 216.46, -2.4 125.61, 1.25 0.24" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(44.477452972190804 397.35689356121657) rotate(0 157.72393429279327 52.5)"><text x="157.72393429279327" y="24.668" font-family="Excalifont, Xiaolai, Segoe UI Emoji" font-size="28px" fill="#1e1e1e" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="alphabetic">Proof that the output</text><text x="157.72393429279327" y="59.668" font-family="Excalifont, Xiaolai, Segoe UI Emoji" font-size="28px" fill="#1e1e1e" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="alphabetic">note is constructed</text><text x="157.72393429279327" y="94.668" font-family="Excalifont, Xiaolai, Segoe UI Emoji" font-size="28px" fill="#1e1e1e" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="alphabetic">correctly</text></g><g stroke-linecap="round"><g transform="translate(92.35404188171151 135.60250073188945) rotate(0 -1.9700618125189067 78.45930706258878)"><path d="M0.57 -1.43 C0.42 24.52, -0.6 129.91, -1.75 156.03 M-2.57 3.96 C-2.82 30.28, -3.09 133.59, -2.8 159.17" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(92.35404188171151 135.60250073188945) rotate(0 -1.9700618125189067 78.45930706258878)"><path d="M-12.45 137.27 C-9.71 140.31, -7.94 148.51, -0.85 157.29 M-11.08 135.77 C-8.53 144.09, -4.47 153.12, -2.53 160.14" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(92.35404188171151 135.60250073188945) rotate(0 -1.9700618125189067 78.45930706258878)"><path d="M4.65 137.22 C2.78 140.31, -0.06 148.52, -0.85 157.29 M6.02 135.72 C2.24 143.93, -0.04 152.98, -2.53 160.14" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g transform="translate(113.0108810331767 191.8274340315911) rotate(0 97.50996398925781 17.5)"><text x="0" y="24.668" font-family="Excalifont, Xiaolai, Segoe UI Emoji" font-size="28px" fill="#1e1e1e" text-anchor="start" style="white-space: pre;" direction="ltr" dominant-baseline="alphabetic">Output (note)</text></g><g stroke-linecap="round"><g transform="translate(55.232263041847546 605.4305115438765) rotate(0 1.4103904795872495 68.0301925884869)"><path d="M1.02 0.29 C1.33 22.5, 3.36 111.61, 3.24 134.51 M-1.88 -2.02 C-2.02 20.41, -0.05 114.78, 1.24 137.3" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(55.232263041847546 605.4305115438765) rotate(0 1.4103904795872495 68.0301925884869)"><path d="M-7.93 114.42 C-5.87 120.4, -0.32 131.02, 1.4 135.92 M-9.08 113.18 C-5.67 121.67, -1.22 130.92, 1.82 136.76" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(55.232263041847546 605.4305115438765) rotate(0 1.4103904795872495 68.0301925884869)"><path d="M9.16 113.82 C5.26 120.07, 4.85 130.89, 1.4 135.92 M8.01 112.58 C5.35 121.34, 3.72 130.8, 1.82 136.76" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g transform="translate(79.26370509353 650.3907836663748) rotate(0 115.19195556640625 35)"><text x="0" y="24.668" font-family="Excalifont, Xiaolai, Segoe UI Emoji" font-size="28px" fill="#1e1e1e" text-anchor="start" style="white-space: pre;" direction="ltr" dominant-baseline="alphabetic">Note commitment</text><text x="0" y="59.668" font-family="Excalifont, Xiaolai, Segoe UI Emoji" font-size="28px" fill="#1e1e1e" text-anchor="start" style="white-space: pre;" direction="ltr" dominant-baseline="alphabetic">(hash)</text></g><g stroke-linecap="round"><g transform="translate(327.09687454335835 605.9119423829507) rotate(0 0.32725841970454894 67.45479316922501)"><path d="M1.39 -1.98 C1.88 19.98, 3 110.67, 3.1 133.3 M-1.29 3.12 C-0.98 25.27, 1.83 113.85, 2.19 136.06" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(327.09687454335835 605.9119423829507) rotate(0 0.32725841970454894 67.45479316922501)"><path d="M-8.36 114.53 C-5.16 120.83, -1.98 127.62, 0.35 134.94 M-7.88 113.1 C-5.27 117.79, -2.11 123.38, 1.81 136.07" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(327.09687454335835 605.9119423829507) rotate(0 0.32725841970454894 67.45479316922501)"><path d="M8.74 114.11 C6.69 120.62, 4.61 127.54, 0.35 134.94 M9.21 112.68 C7.93 117.37, 7.2 123.06, 1.81 136.07" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g transform="translate(350.20490663799364 655.7851532219465) rotate(0 49.923980712890625 17.5)"><text x="0" y="24.668" font-family="Excalifont, Xiaolai, Segoe UI Emoji" font-size="28px" fill="#1e1e1e" text-anchor="start" style="white-space: pre;" direction="ltr" dominant-baseline="alphabetic">Amount</text></g><g stroke-linecap="round" transform="translate(575.1348435205405 293.787045602734) rotate(0 192.20138726498385 153.58848998620851)"><path d="M-0.21 1.24 C98.3 -1.93, 197.15 -2.25, 386.28 -1.85 M0.88 1.11 C128.21 -5.42, 258.07 -5.55, 383.69 -0.16 M385.98 -0.66 C384.01 108.35, 385.99 210.88, 384.36 306.6 M385.53 0.66 C389.48 100.34, 388.73 203.1, 383.16 307.57 M384.25 309.3 C258.1 304.71, 133.41 305.22, -2.34 307.79 M385.02 308.32 C243.49 305.75, 99.57 306.36, -0.51 306.9 M-1.91 307.67 C-2.47 186.62, 1.15 61.35, -2.21 -0.14 M-1.44 306.88 C1.11 193.16, 0.69 76.9, -0.47 -0.67" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(599.1123117515199 377.37553558894433) rotate(0 168.2239190340042 70)"><text x="168.2239190340042" y="24.668" font-family="Excalifont, Xiaolai, Segoe UI Emoji" font-size="28px" fill="#1e1e1e" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="alphabetic">Proof that the spending</text><text x="168.2239190340042" y="59.668" font-family="Excalifont, Xiaolai, Segoe UI Emoji" font-size="28px" fill="#1e1e1e" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="alphabetic">rules are respected and</text><text x="168.2239190340042" y="94.668" font-family="Excalifont, Xiaolai, Segoe UI Emoji" font-size="28px" fill="#1e1e1e" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="alphabetic">total input/output</text><text x="168.2239190340042" y="129.668" font-family="Excalifont, Xiaolai, Segoe UI Emoji" font-size="28px" fill="#1e1e1e" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="alphabetic">amounts add up</text></g><g stroke-linecap="round"><g transform="translate(606.2855295807749 130.8483150535285) rotate(0 -1.1591796107113623 79.03470648185066)"><path d="M0.43 -2.63 C-0.19 24.36, -1.44 133.33, -2.27 160.29 M-2.77 2.12 C-3.9 28.5, -5.13 131.15, -4.48 156.48" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(606.2855295807749 130.8483150535285) rotate(0 -1.1591796107113623 79.03470648185066)"><path d="M-14.98 133.05 C-8.62 139.7, -6.44 148.98, -2.51 157.96 M-13.52 132.11 C-10.52 142.19, -6.08 151.9, -4.75 157.03" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(606.2855295807749 130.8483150535285) rotate(0 -1.1591796107113623 79.03470648185066)"><path d="M2.12 133 C2.46 139.69, -1.39 148.99, -2.51 157.96 M3.59 132.06 C-0.15 142.02, -2.45 151.76, -4.75 157.03" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g transform="translate(626.9423687322396 187.07324835323016) rotate(0 51.12798309326172 35)"><text x="0" y="24.668" font-family="Excalifont, Xiaolai, Segoe UI Emoji" font-size="28px" fill="#1e1e1e" text-anchor="start" style="white-space: pre;" direction="ltr" dominant-baseline="alphabetic">Inputs </text><text x="0" y="59.668" font-family="Excalifont, Xiaolai, Segoe UI Emoji" font-size="28px" fill="#1e1e1e" text-anchor="start" style="white-space: pre;" direction="ltr" dominant-baseline="alphabetic">(notes)</text></g><g stroke-linecap="round"><g transform="translate(697.8597928136846 600.7482507929235) rotate(0 0.5073479094523918 67.45479316922683)"><path d="M-2.19 1.02 C-2.16 23.59, -0.64 114.91, 0.24 137.67 M1.82 -0.9 C1.4 20.77, -2.52 111.76, -2.42 134.15" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(697.8597928136846 600.7482507929235) rotate(0 0.5073479094523918 67.45479316922683)"><path d="M-9.71 109.92 C-5.86 119.17, -3.53 123.02, -4 133.33 M-9.99 110.81 C-9.17 116, -7.44 119.76, -1.46 134.18" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(697.8597928136846 600.7482507929235) rotate(0 0.5073479094523918 67.45479316922683)"><path d="M7.39 110.31 C6.08 119.3, 3.24 123.04, -4 133.33 M7.1 111.2 C4.34 116.28, 2.49 119.96, -1.46 134.18" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g transform="translate(710.8859515096638 646.8665142466853) rotate(0 122.96195387840271 17.5)"><text x="0" y="24.668" font-family="Excalifont, Xiaolai, Segoe UI Emoji" font-size="28px" fill="#1e1e1e" text-anchor="start" style="white-space: pre;" direction="ltr" dominant-baseline="alphabetic">Note commitments</text></g><g stroke-linecap="round"><g transform="translate(771.9894684221208 128.99964712461224) rotate(0 -1.1591796107115897 79.03470648185248)"><path d="M1.36 0.55 C1.18 26.68, -3.16 128.93, -3.51 155.63 M-1.34 -1.62 C-1.79 24.88, -6.34 131.55, -6.4 157.93" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(771.9894684221208 128.99964712461224) rotate(0 -1.1591796107115897 79.03470648185248)"><path d="M-13.97 133.38 C-14.49 140.41, -9.11 145.84, -7.44 159.63 M-14.72 133.24 C-12.01 140.57, -11.81 144.29, -5.77 157.01" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(771.9894684221208 128.99964712461224) rotate(0 -1.1591796107115897 79.03470648185248)"><path d="M3.13 133.81 C-1.06 140.83, 0.65 146.16, -7.44 159.63 M2.37 133.67 C1.2 140.8, -2.49 144.42, -5.77 157.01" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g transform="translate(791.6537435753607 185.7136699306866) rotate(0 62.285980224609375 35)"><text x="0" y="24.668" font-family="Excalifont, Xiaolai, Segoe UI Emoji" font-size="28px" fill="#1e1e1e" text-anchor="start" style="white-space: pre;" direction="ltr" dominant-baseline="alphabetic">Outputs </text><text x="0" y="59.668" font-family="Excalifont, Xiaolai, Segoe UI Emoji" font-size="28px" fill="#1e1e1e" text-anchor="start" style="white-space: pre;" direction="ltr" dominant-baseline="alphabetic">(notes)</text></g><g stroke-linecap="round"><g transform="translate(930.0373039076017 126.97136417172442) rotate(0 -1.1591796107115897 79.03470648185248)"><path d="M1.49 2.55 C0.73 29.33, -2.02 134.54, -2.92 160.25 M-1.15 1.47 C-2.48 27.52, -4.59 130.13, -5.49 156.42" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(930.0373039076017 126.97136417172442) rotate(0 -1.1591796107115897 79.03470648185248)"><path d="M-11.58 132.27 C-9.05 140.01, -8.69 149.26, -4.78 158.13 M-14.33 133.67 C-12.05 137.6, -9.81 142.37, -5.01 156.54" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(930.0373039076017 126.97136417172442) rotate(0 -1.1591796107115897 79.03470648185248)"><path d="M5.51 132.73 C1.92 140.4, -3.84 149.48, -4.78 158.13 M2.76 134.13 C1.47 137.96, 0.14 142.62, -5.01 156.54" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g transform="translate(950.6941430590664 183.19629747142608) rotate(0 73.24797350168228 35)"><text x="0" y="24.668" font-family="Excalifont, Xiaolai, Segoe UI Emoji" font-size="28px" fill="#1e1e1e" text-anchor="start" style="white-space: pre;" direction="ltr" dominant-baseline="alphabetic">Secret key</text><text x="0" y="59.668" font-family="Excalifont, Xiaolai, Segoe UI Emoji" font-size="28px" fill="#1e1e1e" text-anchor="start" style="white-space: pre;" direction="ltr" dominant-baseline="alphabetic">of spender</text></g><g stroke-linecap="round" transform="translate(1197.8105175664355 285.91126605157115) rotate(0 213.6529968643033 153.58848998620851)"><path d="M-0.72 1.02 C161.25 -4.85, 319.58 -4.01, 426.58 2.07 M0.37 0.22 C153.79 -4.14, 306.57 -3.75, 427.63 0.63 M427.77 -1.59 C431.44 123.22, 428.34 243.74, 430.01 306.89 M428.02 0.03 C426 119.05, 425.39 235.81, 426.36 308.07 M427.98 306.17 C290.18 304.75, 150.31 303.77, 0.85 307.75 M427.16 307.97 C327.83 309.24, 227.25 308.76, 0.08 306.51 M-1.24 307.47 C2.6 210.82, 0.34 109.52, 2.09 -1.51 M1.1 307.43 C0.65 187.83, 0.59 67.61, -0.53 -0.61" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1212.8035860790978 386.9997560377815) rotate(0 198.6599283516407 52.5)"><text x="198.6599283516407" y="24.668" font-family="Excalifont, Xiaolai, Segoe UI Emoji" font-size="28px" fill="#1e1e1e" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="alphabetic">Proof that the spending rule</text><text x="198.6599283516407" y="59.668" font-family="Excalifont, Xiaolai, Segoe UI Emoji" font-size="28px" fill="#1e1e1e" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="alphabetic">is respected and the receiver</text><text x="198.6599283516407" y="94.668" font-family="Excalifont, Xiaolai, Segoe UI Emoji" font-size="28px" fill="#1e1e1e" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="alphabetic">address is bounded</text></g><g stroke-linecap="round"><g transform="translate(1243.8784335710084 126.66947677112694) rotate(0 2.867091265028648 78.45930706258878)"><path d="M-2.44 -2.02 C-1.94 23.81, 2.59 129.18, 4.42 155.95 M1.42 3.05 C1.32 29.19, 0.33 133.9, 1.46 159.05" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1243.8784335710084 126.66947677112694) rotate(0 2.867091265028648 78.45930706258878)"><path d="M-8.85 134.73 C-4.92 145.89, 0.06 151.17, 3.09 159.76 M-8.28 135.56 C-4.24 143.82, -0.73 151.33, 0.91 159.21" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1243.8784335710084 126.66947677112694) rotate(0 2.867091265028648 78.45930706258878)"><path d="M8.25 134.51 C6.21 145.59, 5.23 150.95, 3.09 159.76 M8.82 135.34 C7.37 143.59, 5.4 151.16, 0.91 159.21" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g transform="translate(1264.6575450990663 182.8440626216434) rotate(0 43.52598571777344 35)"><text x="0" y="24.668" font-family="Excalifont, Xiaolai, Segoe UI Emoji" font-size="28px" fill="#1e1e1e" text-anchor="start" style="white-space: pre;" direction="ltr" dominant-baseline="alphabetic">Input </text><text x="0" y="59.668" font-family="Excalifont, Xiaolai, Segoe UI Emoji" font-size="28px" fill="#1e1e1e" text-anchor="start" style="white-space: pre;" direction="ltr" dominant-baseline="alphabetic">(note)</text></g><g stroke-linecap="round"><g transform="translate(1221.068341856409 594.0882460239882) rotate(0 0.3717619929720968 67.53378883486221)"><path d="M2.78 1.67 C2.91 24.73, -0.34 115.02, -0.51 137.35 M0.84 0.12 C0.61 22.51, -3.37 110.42, -3.43 133.58" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1221.068341856409 594.0882460239882) rotate(0 0.3717619929720968 67.53378883486221)"><path d="M-10.17 108.98 C-7.81 116.5, -7.02 121.87, -4.42 131.81 M-10.39 110.48 C-9.55 116.84, -7.26 124.03, -3.03 133.01" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1221.068341856409 594.0882460239882) rotate(0 0.3717619929720968 67.53378883486221)"><path d="M6.92 109.42 C4.96 117, 1.43 122.26, -4.42 131.81 M6.7 110.92 C2.61 117.26, -0.04 124.32, -3.03 133.01" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g transform="translate(1246.3670360593146 621.8078695378572) rotate(0 77.08396911621094 52.5)"><text x="0" y="24.668" font-family="Excalifont, Xiaolai, Segoe UI Emoji" font-size="28px" fill="#1e1e1e" text-anchor="start" style="white-space: pre;" direction="ltr" dominant-baseline="alphabetic">Note </text><text x="0" y="59.668" font-family="Excalifont, Xiaolai, Segoe UI Emoji" font-size="28px" fill="#1e1e1e" text-anchor="start" style="white-space: pre;" direction="ltr" dominant-baseline="alphabetic">commitment</text><text x="0" y="94.668" font-family="Excalifont, Xiaolai, Segoe UI Emoji" font-size="28px" fill="#1e1e1e" text-anchor="start" style="white-space: pre;" direction="ltr" dominant-baseline="alphabetic">(hash)</text></g><g stroke-linecap="round"><g transform="translate(1424.6703781842075 596.3100165972974) rotate(0 0.32725841970454894 67.45479316922501)"><path d="M1 0.59 C1.34 22.46, 1.25 111.2, 0.78 133.53 M-1.9 -1.56 C-1.81 20.46, -2.32 113.23, -1.39 136.41" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1424.6703781842075 596.3100165972974) rotate(0 0.32725841970454894 67.45479316922501)"><path d="M-9.85 113.13 C-8.8 117.21, -5.77 125.55, -0.18 138.36 M-10.82 113.55 C-6.79 120.88, -4.12 130.81, -1.49 137.26" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1424.6703781842075 596.3100165972974) rotate(0 0.32725841970454894 67.45479316922501)"><path d="M7.25 112.89 C3.94 117.09, 2.61 125.5, -0.18 138.36 M6.28 113.31 C4.14 120.76, 0.65 130.77, -1.49 137.26" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g transform="translate(1447.7784102788423 628.0797232077966) rotate(0 57.343979597091675 35)"><text x="0" y="24.668" font-family="Excalifont, Xiaolai, Segoe UI Emoji" font-size="28px" fill="#1e1e1e" text-anchor="start" style="white-space: pre;" direction="ltr" dominant-baseline="alphabetic">Receiver</text><text x="0" y="59.668" font-family="Excalifont, Xiaolai, Segoe UI Emoji" font-size="28px" fill="#1e1e1e" text-anchor="start" style="white-space: pre;" direction="ltr" dominant-baseline="alphabetic">address</text></g><g stroke-linecap="round"><g transform="translate(1387.5966971486578 123.56917981102015) rotate(0 1.7196869634915402 78.45930706258878)"><path d="M-1.68 2.13 C-1.33 28.28, 2.2 128.84, 3.03 154.54 M2.6 0.82 C2.46 27.45, 0.77 130.49, 0.57 156.88" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1387.5966971486578 123.56917981102015) rotate(0 1.7196869634915402 78.45930706258878)"><path d="M-6.16 132.99 C-6.84 141.07, -2.8 147.79, -0.6 158.79 M-6.95 132.86 C-4.4 141.05, -1.39 149.52, 0.67 156.4" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1387.5966971486578 123.56917981102015) rotate(0 1.7196869634915402 78.45930706258878)"><path d="M10.94 133.2 C4.58 141.11, 2.94 147.76, -0.6 158.79 M10.15 133.07 C7.03 141.33, 4.38 149.73, 0.67 156.4" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g transform="translate(1408.3758086767157 179.7437656615366) rotate(0 88.17196655273438 35)"><text x="0" y="24.668" font-family="Excalifont, Xiaolai, Segoe UI Emoji" font-size="28px" fill="#1e1e1e" text-anchor="start" style="white-space: pre;" direction="ltr" dominant-baseline="alphabetic">Receiver</text><text x="0" y="59.668" font-family="Excalifont, Xiaolai, Segoe UI Emoji" font-size="28px" fill="#1e1e1e" text-anchor="start" style="white-space: pre;" direction="ltr" dominant-baseline="alphabetic">address (SN)</text></g><g stroke-linecap="round"><g transform="translate(1592.903287322822 594.7835847851966) rotate(0 0.32725841970454894 67.45479316922501)"><path d="M0.03 -1.25 C0.03 21.2, 0.29 110.87, 0.37 133.67 M-3.41 4.24 C-3.82 27.16, -2.35 114.17, -2.02 136.62" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1592.903287322822 594.7835847851966) rotate(0 0.32725841970454894 67.45479316922501)"><path d="M-11.82 113.06 C-9.13 120.42, -5.05 126.65, -3.42 134.8 M-11.19 112.3 C-9.82 119.43, -6.73 124.72, -1.63 135.69" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1592.903287322822 594.7835847851966) rotate(0 0.32725841970454894 67.45479316922501)"><path d="M5.28 112.8 C2.64 120.24, 1.41 126.55, -3.42 134.8 M5.9 112.04 C3.15 119.16, 2.11 124.51, -1.63 135.69" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g transform="translate(1613.3716745815977 653.2446319566588) rotate(0 49.923980712890625 17.5)"><text x="0" y="24.668" font-family="Excalifont, Xiaolai, Segoe UI Emoji" font-size="28px" fill="#1e1e1e" text-anchor="start" style="white-space: pre;" direction="ltr" dominant-baseline="alphabetic">Amount</text></g><g stroke-linecap="round"><g transform="translate(1603.5244942670415 125.10727388416126) rotate(0 -1.1591796107115897 79.03470648185248)"><path d="M-1.62 0.9 C-2.04 27.33, -3.1 130.91, -2.79 156.97 M2.69 -1.09 C1.88 25.88, -4.81 133.16, -5.28 160" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1603.5244942670415 125.10727388416126) rotate(0 -1.1591796107115897 79.03470648185248)"><path d="M-12.18 135.83 C-11.55 144.99, -9.15 151.94, -6.63 160.42 M-13 135.52 C-10.8 142.32, -9.04 148.64, -5.26 160.83" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1603.5244942670415 125.10727388416126) rotate(0 -1.1591796107115897 79.03470648185248)"><path d="M4.91 136.56 C0.58 145.41, -1.97 152.15, -6.63 160.42 M4.09 136.25 C1.63 142.71, -1.25 148.83, -5.26 160.83" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g transform="translate(1624.1813334185063 181.33220718386292) rotate(0 73.24797350168228 35)"><text x="0" y="24.668" font-family="Excalifont, Xiaolai, Segoe UI Emoji" font-size="28px" fill="#1e1e1e" text-anchor="start" style="white-space: pre;" direction="ltr" dominant-baseline="alphabetic">Secret key</text><text x="0" y="59.668" font-family="Excalifont, Xiaolai, Segoe UI Emoji" font-size="28px" fill="#1e1e1e" text-anchor="start" style="white-space: pre;" direction="ltr" dominant-baseline="alphabetic">of spender</text></g><g transform="translate(94.89299181921479 16.802880587587424) rotate(0 94.0679702758789 22.5)"><text x="0" y="31.716" font-family="Excalifont, Xiaolai, Segoe UI Emoji" font-size="36px" fill="#1e1e1e" text-anchor="start" style="white-space: pre;" direction="ltr" dominant-baseline="alphabetic">1. Shielding</text></g><g transform="translate(632.1865845395378 10.683286810366553) rotate(0 132.67794799804688 22.5)"><text x="0" y="31.716" font-family="Excalifont, Xiaolai, Segoe UI Emoji" font-size="36px" fill="#1e1e1e" text-anchor="start" style="white-space: pre;" direction="ltr" dominant-baseline="alphabetic">2. Transferring</text></g><g transform="translate(1289.220796408048 10) rotate(0 118.511962890625 22.5)"><text x="0" y="31.716" font-family="Excalifont, Xiaolai, Segoe UI Emoji" font-size="36px" fill="#1e1e1e" text-anchor="start" style="white-space: pre;" direction="ltr" dominant-baseline="alphabetic">3. Unshielding</text></g><g stroke-linecap="round"><g transform="translate(679.6691980994797 602.5134409949133) rotate(0 0.5073479094523918 67.45479316922683)"><path d="M0.23 -2.08 C-0.01 20.45, 0.16 113.82, 0.35 136.28 M-3.08 2.96 C-3.93 24.57, -2.72 110.08, -2.26 132.02" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(679.6691980994797 602.5134409949133) rotate(0 0.5073479094523918 67.45479316922683)"><path d="M-12.67 108.19 C-6.86 117.41, -6.17 125.82, -1.56 130.76 M-11.36 107.98 C-8.22 115.37, -6.23 124.22, -1.64 132.63" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(679.6691980994797 602.5134409949133) rotate(0 0.5073479094523918 67.45479316922683)"><path d="M4.43 107.91 C4 117.25, -1.55 125.76, -1.56 130.76 M5.74 107.7 C3.2 115.29, -0.49 124.23, -1.64 132.63" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g stroke-linecap="round"><g transform="translate(656.9768835023797 601.3842196346122) rotate(0 0.5073479094523918 67.45479316922683)"><path d="M0.8 1.29 C0.44 23.68, -1.6 112.53, -1.67 134.44 M-2.2 -0.48 C-1.79 22.35, 3.2 115.29, 3.27 137.81" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(656.9768835023797 601.3842196346122) rotate(0 0.5073479094523918 67.45479316922683)"><path d="M-5.11 112.69 C-3.4 121.52, -1.66 131.17, 1.92 136.88 M-5.07 115.55 C-2.6 123.65, 1.51 131.34, 2.86 137.45" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(656.9768835023797 601.3842196346122) rotate(0 0.5073479094523918 67.45479316922683)"><path d="M11.98 112.14 C8.25 121.2, 4.55 131.02, 1.92 136.88 M12.02 115 C7.95 123.44, 5.52 131.34, 2.86 137.45" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g stroke-linecap="round"><g transform="translate(636.1546170178767 599.8234487098671) rotate(0 0.5073479094523918 67.45479316922683)"><path d="M0.27 -1.73 C0.81 20.69, 1.7 112.11, 1.57 135.17 M-3.03 3.5 C-2.66 26.38, -0.35 117.52, -0.37 138.94" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(636.1546170178767 599.8234487098671) rotate(0 0.5073479094523918 67.45479316922683)"><path d="M-10.49 115.97 C-6.88 120.1, -3.71 127.24, 1.37 138.57 M-9.15 114.88 C-6.42 123.86, -4.34 130.78, -0.53 139.07" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(636.1546170178767 599.8234487098671) rotate(0 0.5073479094523918 67.45479316922683)"><path d="M6.61 115.72 C6.1 119.93, 5.15 127.13, 1.37 138.57 M7.95 114.64 C5.26 123.82, 1.94 130.81, -0.53 139.07" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask></svg>