lean4monaco 1.0.43 → 1.0.45

package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-octopus-t-passthrough-light.svg

@@ -0,0 +1,196 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<svg
+   width="16"
+   height="16"
+   viewBox="0 0 16 16"
+   fill="currentColor"
+   version="1.1"
+   id="svg1"
+   sodipodi:docname="goals-accomplished-octopus-t-passthrough-light.svg"
+   inkscape:version="1.4 (e7c3feb100, 2024-10-09)"
+   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
+   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
+   xmlns="http://www.w3.org/2000/svg"
+   xmlns:svg="http://www.w3.org/2000/svg">
+  <defs
+     id="defs1">
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath2">
+      <rect
+         style="fill:none"
+         id="rect4"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath4">
+      <rect
+         style="fill:none"
+         id="rect5"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath5">
+      <rect
+         style="fill:none"
+         id="rect6"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath6">
+      <rect
+         style="fill:none"
+         id="rect7"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath15">
+      <rect
+         style="display:inline;fill:none;stroke-width:1.00098"
+         id="rect15"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath14">
+      <rect
+         style="display:inline;fill:none;stroke-width:1.00098"
+         id="rect14"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath13">
+      <rect
+         style="display:inline;fill:none;stroke-width:1.00098"
+         id="rect13"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath12">
+      <rect
+         style="display:inline;fill:none;stroke-width:1.00098"
+         id="rect12"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+  </defs>
+  <sodipodi:namedview
+     id="namedview1"
+     pagecolor="#ffffff"
+     bordercolor="#000000"
+     borderopacity="0.25"
+     inkscape:showpageshadow="2"
+     inkscape:pageopacity="0.0"
+     inkscape:pagecheckerboard="0"
+     inkscape:deskcolor="#d1d1d1"
+     inkscape:zoom="32"
+     inkscape:cx="2.984375"
+     inkscape:cy="8.484375"
+     inkscape:window-width="1918"
+     inkscape:window-height="2128"
+     inkscape:window-x="0"
+     inkscape:window-y="0"
+     inkscape:window-maximized="0"
+     inkscape:current-layer="layer2" />
+  <rect
+     style="fill:#e51400;fill-opacity:1;stroke-width:1.30379"
+     id="rect1-7"
+     width="1"
+     height="2.3373294"
+     x="7.5"
+     y="-0.082031257"
+     inkscape:transform-center-x="-0.3125"
+     inkscape:transform-center-y="3.3366548"
+     clip-path="url(#clipPath6)"
+     transform="scale(1,1.0876568)" />
+  <rect
+     style="fill:#e51400;fill-opacity:1;stroke-width:1.45406"
+     id="rect3"
+     width="5.2857399"
+     height="1"
+     x="11.357333"
+     y="7.5"
+     clip-path="url(#clipPath5)"
+     transform="matrix(0.54016637,0,0,1,7.3573381,0)" />
+  <rect
+     style="fill:#e51400;fill-opacity:1;stroke-width:1.6605"
+     id="rect1"
+     width="1"
+     height="3.7912476"
+     x="7.5"
+     y="13.002536"
+     inkscape:transform-center-x="-0.3125"
+     inkscape:transform-center-y="7.4653076"
+     clip-path="url(#clipPath4)"
+     transform="matrix(1,0,0,1.5002584,0,-8.0041345)" />
+  <g
+     inkscape:groupmode="layer"
+     id="layer2"
+     inkscape:label="Layer 1"
+     transform="matrix(1.1155031,0,0,1.1155031,-0.98065856,-1.4381249)">
+    <path
+       id="use1"
+       fill="#2f2f2f"
+       d="M 6.1185401,6.9590719 C 6.1764759,6.6386167 6.4380907,6.418643 6.7033263,6.4720517 6.9676567,6.523648 7.1369372,6.8287169 7.0790013,7.1500777 7.0219678,7.4723438 6.7603561,7.6896019 6.4969313,7.6389087 6.2316956,7.5855 6.0615096,7.2822436 6.1185401,6.9590719 Z M 8.8885797,7.9005234 C 8.6206277,7.9077429 8.397033,7.6515818 8.3934121,7.3238846 8.3888999,6.997092 8.605239,6.7237089 8.8750004,6.7164668 9.145668,6.7056077 9.3674525,6.9654085 9.3719782,7.2922011 9.3764903,7.6189929 9.1592465,7.892376 8.8885797,7.9005234 Z"
+       style="stroke-width:0.0905239" />
+    <path
+       fill="#ed6c30"
+       d="m 13.549857,11.633906 c -0.356978,0.101316 -0.695019,0.256607 -1.073775,0.238616 -0.357926,-0.01705 -0.684604,-0.180856 -0.963937,-0.394855 -0.113627,-0.08711 -0.32289,-0.216837 -0.366447,-0.36266 -0.04734,-0.157183 0.10321,-0.25566 0.228201,-0.303005 0.17991,-0.06817 0.356032,-0.141086 0.526472,-0.230095 0.342776,-0.178963 0.659985,-0.405269 0.940264,-0.6713462 C 13.569743,9.2221692 14.041295,8.2695956 14.07633,7.261155 14.09338,6.785815 14.027094,6.2924832 13.936191,5.8266124 13.845287,5.3597946 13.658751,4.911914 13.398356,4.5142193 13.169207,4.1648154 12.849157,3.9138892 12.952369,3.4357086 c 0.03882,-0.1761223 0.124042,-0.2168388 0.06533,-0.4194734 -0.04356,-0.1467685 -0.09279,-0.2424046 -0.259448,-0.2594485 -0.07291,-0.00755 -0.141088,-0.00472 -0.201689,0.00755 -0.351298,0.072912 -0.504694,0.4526152 -0.511323,0.8181158 -0.0085,0.5842326 0.285015,1.0785107 0.448828,1.6201334 0.159077,0.5274187 0.275545,1.0955546 0.205476,1.647593 -0.06724,0.5236318 -0.302059,1.0567322 -0.619269,1.4752583 -0.165705,0.2196792 -0.383491,0.4403055 -0.626841,0.5738169 -0.369288,0.2026354 -0.449775,0.00567 -0.235778,-0.2954302 0.344672,-0.4800746 0.442203,-1.082299 0.497122,-1.6570622 C 11.811365,5.9373762 11.643764,4.8247771 10.966736,4.0312811 10.689297,3.7055499 10.28592,3.3476245 9.8995881,3.1572991 8.9706868,2.7027904 7.7009035,2.5285625 6.7464356,3.0048497 6.0343725,3.3589874 5.4293077,3.9451142 5.0817983,4.6533897 4.8422345,5.1400926 4.6462278,5.722431 4.5723701,6.2631074 4.4966189,6.8141987 4.5449107,7.3823338 4.6983068,7.915435 4.8375001,8.3974033 5.0836921,8.6994617 5.350716,9.1066259 5.448246,9.2562349 5.359236,9.2978977 5.201107,9.2439249 5.0988424,9.2088886 4.9946843,9.156811 4.9009418,9.1037853 4.7096695,8.9929987 4.5458571,8.8396021 4.3934074,8.6805237 4.1453215,8.4220224 3.9625713,8.1029192 3.8309531,7.7715071 3.7031226,7.4476701 3.619796,7.1011068 3.6065396,6.7526509 3.5876017,6.2252314 3.6699818,5.7044401 3.8224312,5.2035339 3.8991294,4.9488201 3.9654119,4.6874773 4.0042346,4.43087 4.0174908,4.3465965 4.0440039,4.2727387 4.0440039,4.1723677 4.04306,3.9773084 4.0449478,3.7917169 4.0051816,3.6137013 3.9455272,3.3514121 3.8479974,3.024734 3.6084335,2.9508762 c -0.083326,-0.025565 -0.184644,-0.02083 -0.30774,0.029357 -0.2158915,0.088061 -0.202635,0.2196792 -0.159078,0.4175798 0.039769,0.1789627 0.05492,0.3333064 0.00853,0.5132161 C 3.1056337,4.0833634 3.0421921,4.260432 2.954131,4.4242442 2.7088858,4.8749653 2.4806847,5.3171642 2.380314,5.8265928 2.2903592,6.2924635 2.2250236,6.7857953 2.2411209,7.2611354 2.2969874,8.8869499 3.4531435,10.281722 4.9492339,10.813876 4.8232972,10.94076 4.6916791,11.056281 4.5572202,11.127298 4.1955073,11.319517 3.6946012,11.286376 3.3887547,11.02314 3.069652,10.749488 2.6795322,10.413341 2.2288112,10.464473 c -0.1174146,0.01325 -0.1969536,0.127831 -0.2054757,0.239565 -0.012309,0.155289 0.1183616,0.260395 0.2253605,0.350349 0.2083164,0.176123 0.4374644,0.337094 0.6287368,0.529312 0.2850146,0.285963 0.5359412,0.602225 0.9241672,0.74994 0.7281603,0.276493 1.3086055,-0.10984 1.9392364,-0.413791 0.1230957,-0.05964 0.3361468,-0.06912 0.3740228,0.09374 0.092795,0.396748 -0.3891732,0.740469 -0.6419937,0.96583 -0.168547,0.14961 -0.3797041,0.262289 -0.6088519,0.261343 -0.19506,-9.48e-4 -0.4620837,-0.0587 -0.5009064,0.189378 -0.035034,0.228201 0.029353,0.42042 0.2272544,0.548251 0.1193084,0.0767 0.2613423,0.116468 0.4005355,0.126883 0.2376702,0.01893 0.4535618,0.02083 0.6789228,-0.06061 0.2670229,-0.09658 0.5170028,-0.243351 0.7603547,-0.388226 0.4156857,-0.247139 0.7660359,-0.579498 1.1078644,-0.919433 0.2622892,-0.258501 0.5974889,-0.640098 0.9809803,-0.338987 0.4535616,0.356032 0.6419937,0.961096 1.1078643,1.327543 0.3976954,0.313421 0.7452044,0.601277 1.2868284,0.416633 0.191272,-0.06533 0.46303,-0.205476 0.503746,-0.416633 0.04922,-0.260395 -0.178963,-0.285014 -0.366447,-0.316262 -0.596542,-0.102268 -0.855045,-0.573816 -1.0662018,-1.095555 -0.057764,-0.14298 -0.096582,-0.530259 0.1818038,-0.423261 0.105105,0.04071 0.161918,0.190326 0.230095,0.273652 0.08996,0.110787 0.200741,0.20737 0.313422,0.294485 0.22536,0.173281 0.485756,0.321943 0.759407,0.404323 0.758461,0.229147 1.691151,-0.03597 2.193004,-0.646728 0.06724,-0.08143 0.19506,-0.26513 0.198846,-0.37497 0.0056,-0.174229 -0.164759,-0.249033 -0.311527,-0.207369 z"
+       id="path1-5"
+       style="stroke-width:0.094689" />
+    <path
+       fill="#855c52"
+       d="M 8.0068742,8.9379301 C 8.1082612,8.8646078 8.183396,8.7849445 8.2295635,8.660926 c 0.027155,-0.07242 0.084188,-0.2009632 0.1738061,-0.1249231 0.064275,0.055221 0.119492,0.2525626 0.1294496,0.3313183 0.010867,0.088714 0.0018,0.1919111 -9.056e-4,0.2815305 C 8.5246938,9.3706355 8.3427212,9.6078086 8.1788725,9.7526477 7.980624,9.9264535 7.6275798,10.064956 7.367776,10.072198 7.2881139,10.074009 7.1505179,10.098451 7.079909,10.052284 6.93507,9.9572335 7.2211269,9.7834269 7.2881141,9.7263967 7.4917937,9.5516851 7.6574533,9.394173 7.770608,9.1488531 7.8113451,9.0619494 7.8710903,9.0275503 7.9480359,8.9786672 c 0.019913,-0.013582 0.040737,-0.027155 0.058838,-0.040737 z"
+       id="path2-3"
+       style="stroke-width:0.0905239" />
+    <path
+       id="use2"
+       fill="#2f2f2f"
+       d="M 6.1185401,6.9590719 C 6.1764759,6.6386167 6.4380907,6.418643 6.7033263,6.4720517 6.9676567,6.523648 7.1369372,6.8287169 7.0790013,7.1500777 7.0219678,7.4723438 6.7603561,7.6896019 6.4969313,7.6389087 6.2316956,7.5855 6.0615096,7.2822436 6.1185401,6.9590719 Z M 8.8885797,7.9005234 C 8.6206277,7.9077429 8.397033,7.6515818 8.3934121,7.3238846 8.3888999,6.997092 8.605239,6.7237089 8.8750004,6.7164668 9.145668,6.7056077 9.3674525,6.9654085 9.3719782,7.2922011 9.3764903,7.6189929 9.1592465,7.892376 8.8885797,7.9005234 Z"
+       style="stroke-width:0.0905239" />
+    <path
+       fill="#fcd4b5"
+       d="M 7.4917914,9.9861999 C 7.3379004,10.051375 7.1613786,10.075818 6.9866671,10.056809 6.9405,10.052281 6.8934267,10.044139 6.8472599,10.033273 6.6073704,9.9762354 6.3801548,9.8404525 6.2307901,9.6231943 6.1665147,9.5308593 6.1230665,9.4330933 6.0959094,9.3344217 6.0687539,9.2312246 6.0596996,9.1271219 6.066039,9.0257349 6.095007,8.5260415 6.5068918,8.0987673 7.0292165,8.1648499 7.527099,8.2282152 7.9380791,8.6826483 7.9679517,9.1850571 7.99058,9.5987528 7.7796616,9.8648935 7.4917945,9.9861958 Z"
+       id="path3"
+       style="stroke-width:0.0905239" />
+    <path
+       fill="#2f2f2f"
+       d="M 7.0219716,8.5731175 C 6.6861269,8.5278532 6.4344697,8.8890471 6.5231829,9.2384703 c 0.014484,0.057034 0.038022,0.1122501 0.07242,0.164754 C 6.8590276,9.8096774 7.5551585,9.7218696 7.5243804,9.1542828 7.508994,8.8682265 7.2881119,8.6093275 7.0219716,8.5731175 Z"
+       id="path4"
+       style="stroke-width:0.0905239" />
+    <path
+       fill="#fcd4b5"
+       d="m 11.784447,10.104786 c -0.04164,0.122208 -0.190101,0.201869 -0.298729,0.234458 -0.05612,0.0172 -0.247132,0.05975 -0.202774,-0.07152 0.04254,-0.125829 0.2073,-0.211826 0.321361,-0.246225 0.07333,-0.02263 0.228119,-0.054308 0.180142,0.08328 z M 12.47243,9.3489095 c 0.03169,-0.0018 0.06156,0.00905 0.07695,0.040737 0.06065,0.1203967 -0.103196,0.2806243 -0.181953,0.3385602 -0.161133,0.1185863 -0.289677,-0.00996 -0.162038,-0.1864799 0.0335,-0.046167 0.06789,-0.086903 0.11225,-0.1249232 0.03258,-0.027155 0.09867,-0.065178 0.154796,-0.067892 z m 0.659921,-0.5177983 c -0.05975,0.1529864 -0.22993,0.3195506 -0.265235,0.2036796 -0.02716,-0.090524 0.02534,-0.2063951 0.07423,-0.2770041 0.03439,-0.047069 0.103198,-0.1493647 0.170186,-0.1050081 0.05251,0.033495 0.04979,0.1041033 0.02082,0.1783326 z m 0.336751,-0.7241927 c -0.0072,0.047069 -0.01991,0.092334 -0.03258,0.1167758 -0.02806,0.052506 -0.124018,0.175617 -0.171995,0.098672 -0.04617,-0.071518 -0.0172,-0.2063951 0.01901,-0.2751932 0.02534,-0.047069 0.05251,-0.090524 0.09324,-0.1149656 0.09324,-0.052506 0.106818,0.067892 0.09233,0.1747115 z m 0.12764,-0.8129073 c 0.0054,0.045264 0.0045,0.088714 -0.0027,0.1140609 -0.01358,0.055221 -0.07151,0.1910057 -0.133071,0.1330705 -0.05703,-0.052506 -0.06155,-0.1819535 -0.04345,-0.2543734 0.01177,-0.048881 0.02625,-0.095051 0.05794,-0.1267333 0.07061,-0.071518 0.11044,0.034397 0.121303,0.1339753 z m 0.01267,-0.681647 c 0.0054,0.054311 0.0036,0.1050081 -9.05e-4,0.1203975 -0.0082,0.03621 -0.03983,0.1077236 -0.07604,0.1203968 -0.04798,0.016296 -0.0688,-0.057936 -0.07423,-0.09324 -0.0063,-0.038022 -0.0018,-0.082377 -0.0018,-0.1213021 9.05e-4,-0.052506 0.01991,-0.1538911 0.08057,-0.1729015 0.04617,-0.012671 0.06518,0.069705 0.07242,0.146649 z M 3.8436666,9.63044 c 0.00634,0.1303545 0.1276391,0.2516575 0.2254052,0.3141189 0.049789,0.033497 0.2244998,0.1285441 0.2190685,-0.011772 C 4.2818007,9.7979093 4.145112,9.6666484 4.0437249,9.6005659 3.9785478,9.5589263 3.83733,9.4828847 3.8436666,9.6304362 Z M 3.3204369,8.7043779 c -0.033494,-0.011769 -0.066988,-0.00905 -0.092335,0.019011 -0.099577,0.1068189 0.020821,0.3222661 0.085998,0.4073591 0.13126,0.171996 0.3032559,0.07785 0.2244999,-0.1439336 C 3.5177796,8.9279764 3.495149,8.87547 3.4598442,8.822966 3.4363081,8.7831313 3.3783724,8.7242945 3.3204369,8.7043795 Z M 2.7926811,7.966606 c 0.016294,0.1765218 0.142123,0.4019272 0.2145423,0.2914874 0.054314,-0.085998 0.037115,-0.2208784 0.00634,-0.3104978 -0.02082,-0.059748 -0.061555,-0.1864793 -0.144838,-0.1602277 -0.064272,0.019011 -0.083282,0.09324 -0.07604,0.1792381 z M 2.6632316,7.1111529 c -0.00634,0.051596 -0.00815,0.1022917 -0.00181,0.1312597 0.012673,0.063365 0.075135,0.2199737 0.1484595,0.1557012 C 2.8804879,7.3383655 2.8913505,7.1890032 2.875056,7.1075319 2.8632876,7.0504984 2.8478989,6.997092 2.8125944,6.9599773 2.7311227,6.8757898 2.6804291,6.9961873 2.6632295,7.1111529 Z M 2.7791025,6.2294474 c -0.019009,0.045264 -0.031684,0.090524 -0.032589,0.119492 -0.00272,0.061553 0.016294,0.2190682 0.097766,0.1792373 0.07604,-0.037112 0.1185866,-0.1701851 0.1231128,-0.2498463 0.00181,-0.054319 0.00181,-0.1068189 -0.021726,-0.1493646 -0.053409,-0.097766 -0.1267339,0 -0.1665638,0.1004816 z M 2.971919,5.5179271 c -0.021726,0.055221 -0.03621,0.1086291 -0.03621,0.1258286 -0.00272,0.039835 0.00815,0.1249239 0.042547,0.14846 0.045262,0.03078 0.088714,-0.038925 0.1059132,-0.074232 0.018105,-0.037113 0.027157,-0.085093 0.038926,-0.1258288 0.015389,-0.054311 0.025347,-0.1665641 -0.032589,-0.2036795 -0.042546,-0.028065 -0.087808,0.051596 -0.1185867,0.1294496 z m 2.4613517,6.2651779 c 0.171996,-0.04073 0.3765803,-0.198248 0.2579936,-0.252563 -0.092334,-0.04345 -0.2244992,-0.0054 -0.3077821,0.03711 -0.056123,0.02897 -0.1765218,0.08781 -0.1385017,0.165659 0.028968,0.06065 0.1050081,0.0697 0.1882902,0.04979 z m -0.6228061,0.242604 c 0.059746,-0.0045 0.344897,-0.06517 0.2335523,-0.177428 -0.054314,-0.05431 -0.1846692,-0.0172 -0.2462256,0.0072 -0.041641,0.0163 -0.09143,0.03531 -0.1185867,0.07151 -0.043452,0.05975 -9.056e-4,0.101387 0.064272,0.100482 0.020821,0 0.043452,0 0.066988,-0.0018 z m -0.6798365,-0.0072 c 0.020821,0.0072 0.038925,0.01267 0.049789,0.01539 0.050694,0.01267 0.2263103,0.06336 0.2534677,-0.0054 0.038926,-0.09415 -0.1547964,-0.120398 -0.2063952,-0.124019 -0.03802,-0.0018 -0.1520805,-0.0054 -0.1747115,0.0335 -0.021726,0.03621 0.032589,0.06336 0.077851,0.08057 z M 12.83,12.297279 c 0.11225,-0.0163 0.24713,-0.113156 0.251657,-0.206395 0.0082,-0.180143 -0.222689,-0.109535 -0.309592,-0.05431 -0.05522,0.03531 -0.09686,0.08962 -0.09052,0.158418 0.0082,0.0869 0.07333,0.113155 0.14846,0.102291 z m -0.58026,0.23901 c 0.07242,0 0.156607,-0.03711 0.214542,-0.07967 0.07514,-0.05612 0.06336,-0.132165 -0.01991,-0.169279 -0.05794,-0.02625 -0.132165,-0.0072 -0.18648,0.01539 -0.05612,0.02354 -0.123112,0.06065 -0.128544,0.126734 -0.0072,0.07966 0.04979,0.106818 0.120397,0.106818 z m -0.712425,0.0036 c 0.07061,0.05069 0.270667,0.04436 0.318645,0.01991 0.08148,-0.04164 0.01177,-0.11225 -0.04617,-0.133976 -0.067,-0.02535 -0.14846,-0.01991 -0.216353,-0.0018 -0.02444,0.0072 -0.06065,0.0181 -0.07242,0.04255 -0.0172,0.03258 -0.0082,0.05612 0.0163,0.07333 z M 4.8693053,13.62439 c -0.045262,-0.02806 -0.1050081,-0.08328 -0.092335,-0.143934 0.01539,-0.07514 0.086903,-0.101387 0.1566068,-0.09777 0.115871,0.0063 0.3304132,0.160228 0.1647541,0.269762 -0.057031,0.03803 -0.1765222,0.0045 -0.2290262,-0.02806 z m 0.4698203,0.100482 c -0.013582,-0.0045 -0.025343,-0.01267 -0.031683,-0.02625 -0.058841,-0.110439 0.115871,-0.07333 0.1674697,-0.05703 0.1547965,0.04979 0.070607,0.107723 -0.056123,0.09233 -0.023538,-0.0027 -0.054311,0 -0.079661,-0.0091 z M 3.4833819,3.5942893 c 0.00361,-0.041639 0.021726,-0.077851 0.066083,-0.085093 0.031683,-0.00451 0.044357,0.00361 0.069703,0.026253 0.060651,0.054311 0.095956,0.1466491 0.083282,0.2272156 -0.00996,0.063366 -0.061556,0.1158704 -0.1267339,0.084187 C 3.5069183,3.8133567 3.477045,3.664899 3.4833817,3.59429 Z m 0.066083,0.511461 C 3.5720963,4.0776845 3.5983477,4.064111 3.629126,4.083122 3.7142188,4.138343 3.5956326,4.3510733 3.5141603,4.3501678 3.4643718,4.3492622 3.4670877,4.322102 3.47614,4.2822755 3.4824789,4.2505924 3.5087286,4.1555415 3.5494648,4.105753 Z M 2.5935294,10.808159 c -0.039831,-0.09052 0.023536,-0.16928 0.1158709,-0.16928 0.057935,0 0.087808,0.01539 0.1303548,0.0507 0.035305,0.02897 0.047072,0.05431 0.052504,0.100482 0.00996,0.08509 -0.031683,0.148459 -0.1185866,0.138501 -0.072419,-0.0081 -0.1484597,-0.05431 -0.1801431,-0.120397 z m 0.408264,0.250752 c -0.0172,-0.06065 0.00181,-0.117681 0.092335,-0.103197 0.066988,0.01087 0.1158709,0.07876 0.127639,0.143028 0.01539,0.08871 -0.056125,0.11406 -0.1294495,0.07876 -0.040735,-0.01991 -0.076041,-0.07061 -0.090524,-0.118586 z M 12.632659,3.4919967 c -0.0045,-0.041639 -0.02354,-0.077851 -0.06789,-0.084188 -0.03169,-0.00451 -0.04436,0.00451 -0.0697,0.028066 -0.05975,0.056123 -0.09324,0.14846 -0.07876,0.2290265 0.01086,0.063365 0.06428,0.1149656 0.128545,0.081472 0.0688,-0.035308 0.09596,-0.1837638 0.08781,-0.2543727 z m -0.04617,0.5096509 c -0.05522,-0.053409 -0.09686,0.012671 -0.08238,0.090524 0.0091,0.050694 0.02625,0.1077236 0.07423,0.133976 0.04526,0.024441 0.09867,0.017199 0.09324,-0.044354 -0.0036,-0.047069 -0.03892,-0.1185866 -0.06608,-0.1575121 -0.0072,-0.00814 -0.01267,-0.016296 -0.01901,-0.022628 z m -1.880186,9.7503574 c 0.03802,-0.01 0.06789,-0.02263 0.08238,-0.03711 0.04255,-0.04073 0.06789,-0.105914 -9.06e-4,-0.135786 -0.05975,-0.02625 -0.142123,-0.01539 -0.209111,-9.06e-4 -0.04979,0.01087 -0.151176,0.04526 -0.130355,0.11225 0.02444,0.07876 0.200964,0.07604 0.257995,0.06155 z m -0.562156,-0.05341 c 0.0163,0.0036 0.0335,0.0036 0.04888,-0.0054 0.12945,-0.07242 -0.0688,-0.146648 -0.130354,-0.162944 -0.1864798,-0.04888 -0.1394071,0.06246 -0.0027,0.126734 0.02444,0.01177 0.05431,0.0335 0.08419,0.04164 z"
+       id="path5"
+       style="stroke-width:0.0905239" />
+  </g>
+</svg>

package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-tada-dark.svg

@@ -0,0 +1,184 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<svg
+   width="16"
+   height="16"
+   viewBox="0 0 16 16"
+   fill="currentColor"
+   version="1.1"
+   id="svg1"
+   sodipodi:docname="goals-accomplished-tada-dark.svg"
+   inkscape:version="1.4 (e7c3feb100, 2024-10-09)"
+   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
+   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
+   xmlns="http://www.w3.org/2000/svg"
+   xmlns:svg="http://www.w3.org/2000/svg">
+  <defs
+     id="defs1">
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath2">
+      <rect
+         style="fill:none"
+         id="rect4"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath4">
+      <rect
+         style="fill:none"
+         id="rect5"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath5">
+      <rect
+         style="fill:none"
+         id="rect6"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath6">
+      <rect
+         style="fill:none"
+         id="rect7"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath15">
+      <rect
+         style="display:inline;fill:none;stroke-width:1.00098"
+         id="rect15"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath14">
+      <rect
+         style="display:inline;fill:none;stroke-width:1.00098"
+         id="rect14"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath13">
+      <rect
+         style="display:inline;fill:none;stroke-width:1.00098"
+         id="rect13"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath12">
+      <rect
+         style="display:inline;fill:none;stroke-width:1.00098"
+         id="rect12"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+  </defs>
+  <sodipodi:namedview
+     id="namedview1"
+     pagecolor="#ffffff"
+     bordercolor="#000000"
+     borderopacity="0.25"
+     inkscape:showpageshadow="2"
+     inkscape:pageopacity="0.0"
+     inkscape:pagecheckerboard="0"
+     inkscape:deskcolor="#d1d1d1"
+     inkscape:zoom="90.509668"
+     inkscape:cx="16.224786"
+     inkscape:cy="7.6621649"
+     inkscape:window-width="3838"
+     inkscape:window-height="2128"
+     inkscape:window-x="0"
+     inkscape:window-y="0"
+     inkscape:window-maximized="0"
+     inkscape:current-layer="svg1" />
+  <g
+     id="g14"
+     transform="matrix(0.10934699,0,0,0.10934699,1.0016457,1.0005279)">
+    <path
+       d="m 72.59,58.36 c -0.65,1.18 -1.3,2.37 -1.92,3.55 l -0.52,0.98 -0.05,0.08 c 1.83,2.43 3.4,5.04 4.64,7.69 0.18,0.37 0.35,0.75 0.52,1.13 1.77,-0.52 3.55,-0.81 5.29,-0.88 -1.31,-3.47 -3.33,-7.07 -6.3,-10.71 -0.52,-0.63 -1.09,-1.23 -1.66,-1.84 z"
+       style="fill:#fcc21b"
+       id="path1" />
+    <path
+       d="m 77.93,85.16 c -0.37,0 -0.75,0.02 -1.13,0.06 -2.07,6.54 -8.79,9.4 -15.89,8.52 C 49.76,92.37 39.53,83.89 36.1,73.24 35.4,71.11 35.16,68.99 35.08,66.73 34.88,60.91 36,54.68 41.83,52.27 l 0.07,-0.03 c 0.19,-0.08 0.38,-0.13 0.57,-0.19 C 42.05,51.42 41.62,50.76 41.21,50.03 40.63,49 40.28,47.91 40.07,46.85 33.82,49.03 30.01,54.55 27.34,60.63 24.79,66.45 8.22,111.2 8.22,111.2 l -2.22,6 c -0.76,2.08 -1.94,4.17 -1.94,6.44 0,2.65 2.36,4.46 5.02,3.72 1.78,-0.5 3.74,-1.42 5.55,-2.14 3.83,-1.56 10.93,-4.63 10.93,-4.63 l 29.68,-12.22 c 0,0 14.31,-5.18 20.33,-10.85 2.92,-2.75 5.26,-6.71 6.29,-11.44 -0.21,-0.11 -0.43,-0.23 -0.65,-0.32 -1,-0.41 -2.07,-0.6 -3.28,-0.6 z"
+       style="fill:#fcc21b"
+       id="path2" />
+    <path
+       d="m 55.68,47.54 c 0.77,1.47 1.62,3.14 1.94,5.21 1.42,0.6 2.78,1.32 4.07,2.17 0.45,-1.44 0.92,-2.86 1.41,-4.31 -0.21,-0.13 -0.42,-0.28 -0.63,-0.4 -2.11,-1.2 -4.48,-2.22 -6.95,-2.98 0.06,0.11 0.11,0.2 0.16,0.31 z"
+       style="fill:#fcc21b"
+       id="path3-5" />
+    <path
+       d="m 111.93,31.98 c -0.16,1 -0.12,2.42 0.04,3.4 0.17,1.1 0.42,2.27 0.82,3.31 0.57,1.46 1.27,0.95 2.7,0.75 0.99,-0.13 1.91,-0.06 2.89,-0.26 1.03,-0.21 2.05,-0.48 3.08,-0.68 2.42,-0.46 3.63,-1 3.12,-3.55 -0.37,-1.84 -0.98,-3.67 -1.46,-5.49 -0.44,-0.39 -1.29,-0.17 -1.81,-0.05 -0.92,0.21 -1.83,0.26 -2.75,0.42 -1.66,0.27 -3.4,0.47 -5.03,0.86 -0.83,0.18 -1.47,0.43 -1.6,1.29 z"
+       style="fill:#d7598b"
+       id="path4-3" />
+    <path
+       d="m 98.87,62 c 0.38,0.87 1.31,0.65 2.22,0.85 2.02,0.46 4.07,0.41 6.14,0.41 0.77,0 2.72,0.29 3.27,-0.4 0.44,-0.56 0.06,-1.67 0,-2.32 -0.08,-0.85 -0.16,-1.69 -0.24,-2.54 -0.04,-0.4 0.03,-3.02 -0.31,-3.24 -0.58,-0.39 -1.68,-0.2 -2.34,-0.19 -1.21,0.04 -2.4,0.19 -3.63,0.19 -1.59,0 -3.31,0.02 -4.85,0.4 -0.54,1.43 -0.39,2.92 -0.39,4.49 0,0.73 -0.16,1.67 0.13,2.35 z"
+       style="fill:#40c0e7"
+       id="path5-5" />
+    <path
+       d="m 91.92,105.19 c -0.83,-1.23 -1.24,-2.88 -3.09,-2.7 -1.74,0.17 -3.28,1.55 -4.81,2.3 -0.99,0.48 -1.71,1.34 -1.91,2.42 -0.23,1.23 0.28,2.21 0.87,3.26 0.44,0.79 0.73,1.7 1.08,2.53 0.36,0.86 0.91,1.63 1.28,2.48 0.25,0.6 0.17,0.55 0.72,0.76 0.28,0.1 0.74,0.18 1.04,0.19 1.75,0.05 3.65,-1.72 4.92,-2.76 1.02,-0.82 3.06,-1.34 2.85,-2.89 -0.15,-1.15 -0.95,-2.26 -1.5,-3.25 -0.46,-0.81 -0.95,-1.59 -1.45,-2.34 z"
+       style="fill:#d7598b"
+       id="path6" />
+    <path
+       d="m 111.46,113.59 c -0.23,-0.15 -0.45,-0.24 -0.65,-0.27 -1.06,-0.19 -1.76,1.09 -2.6,1.92 -1.01,0.97 -2.21,1.74 -3.13,2.8 -0.99,1.16 -0.22,2.2 0.8,2.82 1.11,0.67 2.1,1.51 3.2,2.21 0.98,0.63 1.77,1.19 2.86,0.51 0.99,-0.62 1.54,-1.71 2.22,-2.62 1.26,-1.7 3.41,-3.07 1.3,-4.94 -1.18,-1.05 -2.7,-1.57 -4,-2.43 z"
+       style="fill:#40c0e7"
+       id="path7" />
+    <path
+       d="M 9,55.06 C 9.05,54.6 10.35,50.92 9.96,50.81 9.07,50.59 8.23,50.17 7.33,49.93 6.29,49.66 5.22,49.45 4.25,48.97 3.08,48.39 2.36,48.68 1.87,49.33 1.18,50.25 0.96,51.9 0.63,52.91 0.37,53.7 0.21,54.6 0.77,55.16 c 0.64,0.63 1.7,0.99 2.53,1.26 1.04,0.34 2.2,0.94 3.27,1.04 1.46,0.16 2.28,-1.16 2.43,-2.4 z"
+       style="fill:#40c0e7"
+       id="path8" />
+    <path
+       d="m 68.63,19.54 c 1.3,0.58 2.56,0.91 3.89,1.29 0.47,0.14 0.77,0.37 1.26,0.11 0.63,-0.32 1.33,-1.43 1.68,-2.04 0.83,-1.51 1.44,-3 2.01,-4.59 0.31,-0.85 1.23,-2.23 1,-3.13 C 78.27,10.42 77.17,9.95 76.55,9.62 75.72,9.19 74.93,8.61 74.09,8.24 73.01,7.77 71.53,7.26 70.37,7.09 c -0.64,-0.1 -1.09,0.16 -1.44,0.57 -0.32,0.37 -0.56,0.86 -0.8,1.31 -1.21,2.32 -2.7,5.81 -2.65,8.49 0.02,1.27 2.19,1.65 3.15,2.08 z"
+       style="fill:#40c0e7"
+       id="path9" />
+    <path
+       d="m 16.65,33.3 c 0.73,1.12 1.38,2.14 2.24,3.2 0.84,1.02 1.44,1.22 2.47,0.37 0.65,-0.52 1.39,-0.93 2.01,-1.49 0.59,-0.52 1.08,-1.18 1.67,-1.72 0.42,-0.39 1.25,-0.78 1.49,-1.32 0.33,-0.76 -0.36,-1.42 -0.78,-1.98 -0.52,-0.7 -0.92,-1.46 -1.49,-2.16 -0.73,-0.88 -1.52,-1.71 -2.34,-2.53 -0.67,-0.67 -1.48,-1.7 -2.24,-2.22 -0.2,-0.13 -0.43,-0.22 -0.67,-0.25 -0.91,-0.13 -1.99,0.39 -2.7,0.81 -0.97,0.57 -1.91,1.42 -2.76,2.17 -1.33,1.18 -0.04,2.73 0.74,3.85 0.78,1.08 1.62,2.13 2.36,3.27 z"
+       style="fill:#d7598b"
+       id="path10" />
+    <path
+       d="m 16.73,9.97 c 0.67,0.72 1.5,1.59 2.44,2 0.83,0.37 1.68,-0.37 2.35,-0.78 0.75,-0.46 1.36,-1.13 1.92,-1.8 C 23.95,8.77 24.64,8.1 25.02,7.38 25.46,6.56 24.86,6.25 24.25,5.76 23.52,5.16 22.78,4.54 22.16,3.82 21.32,2.84 20.48,1.74 19.59,0.84 19.29,0.53 18.93,0.45 18.55,0.52 c -1.19,0.2 -2.6,1.87 -3.3,2.42 -0.56,0.43 -1.54,1.19 -1.71,1.9 -0.21,0.8 0.26,1.57 0.66,2.24 0.65,1.08 1.65,1.95 2.53,2.89 z"
+       style="fill:#40c0e7"
+       id="path11" />
+    <path
+       d="m 45.86,29.19 c 1.38,4.78 -2.3,8.47 -2.7,13 -0.12,1.31 -0.12,2.62 0.1,3.88 0.14,0.82 0.37,1.62 0.78,2.35 0.54,0.96 1.16,1.83 1.73,2.73 0.56,0.87 1.06,1.75 1.4,2.76 0.75,2.24 0.23,4.26 -0.09,6.48 -0.26,1.77 -1.16,3.44 -2.24,4.84 -0.33,0.43 -1.24,0.98 -1.02,1.61 0.03,0.11 0.23,0.15 0.52,0.15 1.2,0 4.03,-0.73 4.44,-0.92 1.8,-0.87 2.85,-2.63 3.78,-4.33 1.38,-2.52 2.27,-5.46 1.88,-8.35 -0.08,-0.66 -0.26,-1.28 -0.48,-1.88 -0.67,-1.79 -1.78,-3.39 -2.41,-5.22 -0.08,-0.22 -0.16,-0.44 -0.22,-0.67 -0.92,-3.58 1.29,-7.09 3.15,-9.94 C 56.31,32.89 57,28.79 55.7,25.59 55.04,23.97 53.98,22.35 52.69,21.16 51.16,19.74 48.83,18.45 49.09,16 49.31,13.87 50.75,11.63 51.84,9.87 52.38,8.98 54.08,7.16 54.02,6.14 53.97,5.1 52.52,4.58 51.83,3.97 50.27,2.59 49.03,1.53 47.03,0.9 46.67,0.78 46.37,0.73 46.09,0.73 c -1.29,0 -1.74,1.17 -2.46,2.43 -1.32,2.33 -2.62,4.79 -3.5,7.31 -1.66,4.68 -1.91,9.51 1.68,13.89 1.24,1.53 3.53,3.03 4.05,4.83 z"
+       style="fill:#ed6c30"
+       id="path12" />
+    <path
+       d="m 62.08,69.54 c 0.25,0.26 0.48,0.37 0.69,0.37 0.39,0 0.7,-0.4 0.95,-0.87 0.19,-0.36 0.34,-0.73 0.46,-1.12 0.67,-2.25 2,-4.48 3.1,-6.56 0.2,-0.37 0.4,-0.73 0.59,-1.09 0.76,-1.43 1.54,-2.86 2.35,-4.28 0.63,-1.12 1.26,-2.25 1.94,-3.33 1.78,-2.85 4.18,-5.89 7.2,-7.48 1.9,-1.02 4.04,-1.49 5.95,-2.5 2.17,-1.13 3.44,-2.84 4.85,-4.79 1.4,-1.93 2.13,-4.31 3.41,-6.34 0.54,-0.86 0.46,-1.62 1.41,-2.22 2.11,-1.32 4.64,-0.87 6.98,-1.32 5.53,-1.06 6.02,-8.35 10.54,-10.98 0.95,-0.55 1.92,-1.06 2.88,-1.57 0.56,-0.3 1.64,-0.67 2.03,-1.22 0.67,-0.94 -0.6,-2.17 -0.98,-3.03 -0.66,-1.48 -1.65,-2.97 -2.5,-4.35 -0.72,-1.16 -1.36,-2.21 -2.64,-2.21 l -0.25,0.02 c -2.89,0.28 -5.47,1.55 -7.32,3.76 -2.25,2.7 -2.55,6.87 -6.09,8.35 -2.3,0.96 -5.01,0.58 -7.19,1.91 -2.58,1.58 -3.41,4.7 -4.13,7.44 -0.54,2 -0.57,4.41 -2.09,5.98 -2.06,2.11 -5.19,2.37 -7.83,3.5 -0.71,0.31 -1.39,0.68 -2,1.16 -3.35,2.64 -5.25,6.97 -6.75,10.85 -0.61,1.59 -1.16,3.21 -1.7,4.83 -0.5,1.51 -0.99,3.02 -1.46,4.54 -0.24,0.78 -0.5,1.56 -0.74,2.35 -0.61,1.98 -1.17,4.01 -1.89,5.96 -0.5,1.25 -0.81,3.16 0.23,4.24 z"
+       style="fill:#ed6c30"
+       id="path13" />
+    <path
+       d="m 127.44,86.8 c -0.19,-0.2 -0.46,-0.22 -0.73,-0.22 l -0.31,0.01 -0.17,-0.01 c -0.6,-0.04 -1.1,-0.3 -1.68,-0.5 -2.67,-0.93 -4.4,-1.7 -6.76,-3.29 -2.66,-1.79 -5.71,-3.46 -8.99,-3.61 l -0.38,-0.01 c -3.24,0 -6.23,1.71 -9.48,1.71 H 98.92 C 95.32,80.86 92.21,78.3 89.37,76.41 89.13,76.25 88.89,76.1 88.63,75.96 86.4,74.7 84,74.15 81.58,74.12 c -0.06,0 -0.13,-0.02 -0.19,-0.02 -1.67,0 -3.35,0.26 -4.99,0.72 -1.6,0.44 -3.15,1.08 -4.63,1.87 -2.11,1.12 -4.14,2.47 -5.99,3.97 -1.03,0.83 -2.16,1.78 -2.86,2.93 -0.38,0.61 -0.9,2.93 0.07,3.31 l 0.13,0.03 c 0.38,0 1,-0.4 1.27,-0.57 2.16,-1.33 4.44,-2.49 6.87,-3.25 1.99,-0.63 4.08,-1.09 6.15,-1.17 0.17,-0.01 0.35,-0.02 0.52,-0.02 1.49,0 2.97,0.23 4.41,0.79 0.02,0.01 0.04,0.02 0.06,0.03 2.01,0.8 3.69,2.18 5.35,3.53 2.44,1.98 5.15,2.42 7.91,2.42 2.15,0 4.33,-0.26 6.46,-0.26 2.23,0 4.39,0.29 6.38,1.46 1.62,0.97 3.08,2.24 4.33,3.59 1.38,1.47 3.14,2.7 5.21,3.02 0.88,0.14 1.68,0.21 2.57,0.22 h 0.02 c 1.5,0 2.07,-1.73 2.83,-2.72 1.04,-1.34 1.76,-2.88 2.71,-4.29 0.4,-0.62 1.95,-2.23 1.27,-2.91 z"
+       style="fill:#ed6c30"
+       id="path14" />
+  </g>
+</svg>

package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-tada-i-passthrough-dark.svg

@@ -0,0 +1,206 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<svg
+   width="16"
+   height="16"
+   viewBox="0 0 16 16"
+   fill="currentColor"
+   version="1.1"
+   id="svg1"
+   sodipodi:docname="goals-accomplished-tada-i-passthrough-dark.svg"
+   inkscape:version="1.4 (e7c3feb100, 2024-10-09)"
+   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
+   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
+   xmlns="http://www.w3.org/2000/svg"
+   xmlns:svg="http://www.w3.org/2000/svg">
+  <defs
+     id="defs1">
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath2">
+      <rect
+         style="fill:none"
+         id="rect4"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath4">
+      <rect
+         style="fill:none"
+         id="rect5"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath5">
+      <rect
+         style="fill:none"
+         id="rect6"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath6">
+      <rect
+         style="fill:none"
+         id="rect7"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath15">
+      <rect
+         style="display:inline;fill:none;stroke-width:1.00098"
+         id="rect15"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath14">
+      <rect
+         style="display:inline;fill:none;stroke-width:1.00098"
+         id="rect14"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath13">
+      <rect
+         style="display:inline;fill:none;stroke-width:1.00098"
+         id="rect13"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath12">
+      <rect
+         style="display:inline;fill:none;stroke-width:1.00098"
+         id="rect12"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+  </defs>
+  <sodipodi:namedview
+     id="namedview1"
+     pagecolor="#ffffff"
+     bordercolor="#000000"
+     borderopacity="0.25"
+     inkscape:showpageshadow="2"
+     inkscape:pageopacity="0.0"
+     inkscape:pagecheckerboard="0"
+     inkscape:deskcolor="#d1d1d1"
+     inkscape:zoom="32"
+     inkscape:cx="18.140625"
+     inkscape:cy="8.921875"
+     inkscape:window-width="1918"
+     inkscape:window-height="2128"
+     inkscape:window-x="0"
+     inkscape:window-y="0"
+     inkscape:window-maximized="0"
+     inkscape:current-layer="svg1" />
+  <rect
+     style="fill:#f14c4c;fill-opacity:1;stroke-width:1.30379"
+     id="rect1-7"
+     width="1"
+     height="2.3373294"
+     x="7.5"
+     y="-0.082031257"
+     inkscape:transform-center-x="-0.3125"
+     inkscape:transform-center-y="2.7202962"
+     clip-path="url(#clipPath6)"
+     transform="scale(1,0.88674101)" />
+  <rect
+     style="fill:#f14c4c;fill-opacity:1;stroke-width:1.6605"
+     id="rect1"
+     width="1"
+     height="3.7912476"
+     x="7.5"
+     y="13.002536"
+     inkscape:transform-center-x="-0.3125"
+     inkscape:transform-center-y="3.3201495"
+     clip-path="url(#clipPath4)"
+     transform="matrix(1,0,0,0.66723066,0,5.3243094)" />
+  <g
+     id="g14"
+     transform="matrix(0.10934699,0,0,0.10934699,1.0016457,1.0005279)">
+    <path
+       d="m 72.59,58.36 c -0.65,1.18 -1.3,2.37 -1.92,3.55 l -0.52,0.98 -0.05,0.08 c 1.83,2.43 3.4,5.04 4.64,7.69 0.18,0.37 0.35,0.75 0.52,1.13 1.77,-0.52 3.55,-0.81 5.29,-0.88 -1.31,-3.47 -3.33,-7.07 -6.3,-10.71 -0.52,-0.63 -1.09,-1.23 -1.66,-1.84 z"
+       style="fill:#fcc21b"
+       id="path1" />
+    <path
+       d="m 77.93,85.16 c -0.37,0 -0.75,0.02 -1.13,0.06 -2.07,6.54 -8.79,9.4 -15.89,8.52 C 49.76,92.37 39.53,83.89 36.1,73.24 35.4,71.11 35.16,68.99 35.08,66.73 34.88,60.91 36,54.68 41.83,52.27 l 0.07,-0.03 c 0.19,-0.08 0.38,-0.13 0.57,-0.19 C 42.05,51.42 41.62,50.76 41.21,50.03 40.63,49 40.28,47.91 40.07,46.85 33.82,49.03 30.01,54.55 27.34,60.63 24.79,66.45 8.22,111.2 8.22,111.2 l -2.22,6 c -0.76,2.08 -1.94,4.17 -1.94,6.44 0,2.65 2.36,4.46 5.02,3.72 1.78,-0.5 3.74,-1.42 5.55,-2.14 3.83,-1.56 10.93,-4.63 10.93,-4.63 l 29.68,-12.22 c 0,0 14.31,-5.18 20.33,-10.85 2.92,-2.75 5.26,-6.71 6.29,-11.44 -0.21,-0.11 -0.43,-0.23 -0.65,-0.32 -1,-0.41 -2.07,-0.6 -3.28,-0.6 z"
+       style="fill:#fcc21b"
+       id="path2" />
+    <path
+       d="m 55.68,47.54 c 0.77,1.47 1.62,3.14 1.94,5.21 1.42,0.6 2.78,1.32 4.07,2.17 0.45,-1.44 0.92,-2.86 1.41,-4.31 -0.21,-0.13 -0.42,-0.28 -0.63,-0.4 -2.11,-1.2 -4.48,-2.22 -6.95,-2.98 0.06,0.11 0.11,0.2 0.16,0.31 z"
+       style="fill:#fcc21b"
+       id="path3-5" />
+    <path
+       d="m 111.93,31.98 c -0.16,1 -0.12,2.42 0.04,3.4 0.17,1.1 0.42,2.27 0.82,3.31 0.57,1.46 1.27,0.95 2.7,0.75 0.99,-0.13 1.91,-0.06 2.89,-0.26 1.03,-0.21 2.05,-0.48 3.08,-0.68 2.42,-0.46 3.63,-1 3.12,-3.55 -0.37,-1.84 -0.98,-3.67 -1.46,-5.49 -0.44,-0.39 -1.29,-0.17 -1.81,-0.05 -0.92,0.21 -1.83,0.26 -2.75,0.42 -1.66,0.27 -3.4,0.47 -5.03,0.86 -0.83,0.18 -1.47,0.43 -1.6,1.29 z"
+       style="fill:#d7598b"
+       id="path4-3" />
+    <path
+       d="m 98.87,62 c 0.38,0.87 1.31,0.65 2.22,0.85 2.02,0.46 4.07,0.41 6.14,0.41 0.77,0 2.72,0.29 3.27,-0.4 0.44,-0.56 0.06,-1.67 0,-2.32 -0.08,-0.85 -0.16,-1.69 -0.24,-2.54 -0.04,-0.4 0.03,-3.02 -0.31,-3.24 -0.58,-0.39 -1.68,-0.2 -2.34,-0.19 -1.21,0.04 -2.4,0.19 -3.63,0.19 -1.59,0 -3.31,0.02 -4.85,0.4 -0.54,1.43 -0.39,2.92 -0.39,4.49 0,0.73 -0.16,1.67 0.13,2.35 z"
+       style="fill:#40c0e7"
+       id="path5-5" />
+    <path
+       d="m 91.92,105.19 c -0.83,-1.23 -1.24,-2.88 -3.09,-2.7 -1.74,0.17 -3.28,1.55 -4.81,2.3 -0.99,0.48 -1.71,1.34 -1.91,2.42 -0.23,1.23 0.28,2.21 0.87,3.26 0.44,0.79 0.73,1.7 1.08,2.53 0.36,0.86 0.91,1.63 1.28,2.48 0.25,0.6 0.17,0.55 0.72,0.76 0.28,0.1 0.74,0.18 1.04,0.19 1.75,0.05 3.65,-1.72 4.92,-2.76 1.02,-0.82 3.06,-1.34 2.85,-2.89 -0.15,-1.15 -0.95,-2.26 -1.5,-3.25 -0.46,-0.81 -0.95,-1.59 -1.45,-2.34 z"
+       style="fill:#d7598b"
+       id="path6" />
+    <path
+       d="m 111.46,113.59 c -0.23,-0.15 -0.45,-0.24 -0.65,-0.27 -1.06,-0.19 -1.76,1.09 -2.6,1.92 -1.01,0.97 -2.21,1.74 -3.13,2.8 -0.99,1.16 -0.22,2.2 0.8,2.82 1.11,0.67 2.1,1.51 3.2,2.21 0.98,0.63 1.77,1.19 2.86,0.51 0.99,-0.62 1.54,-1.71 2.22,-2.62 1.26,-1.7 3.41,-3.07 1.3,-4.94 -1.18,-1.05 -2.7,-1.57 -4,-2.43 z"
+       style="fill:#40c0e7"
+       id="path7" />
+    <path
+       d="M 9,55.06 C 9.05,54.6 10.35,50.92 9.96,50.81 9.07,50.59 8.23,50.17 7.33,49.93 6.29,49.66 5.22,49.45 4.25,48.97 3.08,48.39 2.36,48.68 1.87,49.33 1.18,50.25 0.96,51.9 0.63,52.91 0.37,53.7 0.21,54.6 0.77,55.16 c 0.64,0.63 1.7,0.99 2.53,1.26 1.04,0.34 2.2,0.94 3.27,1.04 1.46,0.16 2.28,-1.16 2.43,-2.4 z"
+       style="fill:#40c0e7"
+       id="path8" />
+    <path
+       d="m 68.63,19.54 c 1.3,0.58 2.56,0.91 3.89,1.29 0.47,0.14 0.77,0.37 1.26,0.11 0.63,-0.32 1.33,-1.43 1.68,-2.04 0.83,-1.51 1.44,-3 2.01,-4.59 0.31,-0.85 1.23,-2.23 1,-3.13 C 78.27,10.42 77.17,9.95 76.55,9.62 75.72,9.19 74.93,8.61 74.09,8.24 73.01,7.77 71.53,7.26 70.37,7.09 c -0.64,-0.1 -1.09,0.16 -1.44,0.57 -0.32,0.37 -0.56,0.86 -0.8,1.31 -1.21,2.32 -2.7,5.81 -2.65,8.49 0.02,1.27 2.19,1.65 3.15,2.08 z"
+       style="fill:#40c0e7"
+       id="path9" />
+    <path
+       d="m 16.65,33.3 c 0.73,1.12 1.38,2.14 2.24,3.2 0.84,1.02 1.44,1.22 2.47,0.37 0.65,-0.52 1.39,-0.93 2.01,-1.49 0.59,-0.52 1.08,-1.18 1.67,-1.72 0.42,-0.39 1.25,-0.78 1.49,-1.32 0.33,-0.76 -0.36,-1.42 -0.78,-1.98 -0.52,-0.7 -0.92,-1.46 -1.49,-2.16 -0.73,-0.88 -1.52,-1.71 -2.34,-2.53 -0.67,-0.67 -1.48,-1.7 -2.24,-2.22 -0.2,-0.13 -0.43,-0.22 -0.67,-0.25 -0.91,-0.13 -1.99,0.39 -2.7,0.81 -0.97,0.57 -1.91,1.42 -2.76,2.17 -1.33,1.18 -0.04,2.73 0.74,3.85 0.78,1.08 1.62,2.13 2.36,3.27 z"
+       style="fill:#d7598b"
+       id="path10" />
+    <path
+       d="m 16.73,9.97 c 0.67,0.72 1.5,1.59 2.44,2 0.83,0.37 1.68,-0.37 2.35,-0.78 0.75,-0.46 1.36,-1.13 1.92,-1.8 C 23.95,8.77 24.64,8.1 25.02,7.38 25.46,6.56 24.86,6.25 24.25,5.76 23.52,5.16 22.78,4.54 22.16,3.82 21.32,2.84 20.48,1.74 19.59,0.84 19.29,0.53 18.93,0.45 18.55,0.52 c -1.19,0.2 -2.6,1.87 -3.3,2.42 -0.56,0.43 -1.54,1.19 -1.71,1.9 -0.21,0.8 0.26,1.57 0.66,2.24 0.65,1.08 1.65,1.95 2.53,2.89 z"
+       style="fill:#40c0e7"
+       id="path11" />
+    <path
+       d="m 45.86,29.19 c 1.38,4.78 -2.3,8.47 -2.7,13 -0.12,1.31 -0.12,2.62 0.1,3.88 0.14,0.82 0.37,1.62 0.78,2.35 0.54,0.96 1.16,1.83 1.73,2.73 0.56,0.87 1.06,1.75 1.4,2.76 0.75,2.24 0.23,4.26 -0.09,6.48 -0.26,1.77 -1.16,3.44 -2.24,4.84 -0.33,0.43 -1.24,0.98 -1.02,1.61 0.03,0.11 0.23,0.15 0.52,0.15 1.2,0 4.03,-0.73 4.44,-0.92 1.8,-0.87 2.85,-2.63 3.78,-4.33 1.38,-2.52 2.27,-5.46 1.88,-8.35 -0.08,-0.66 -0.26,-1.28 -0.48,-1.88 -0.67,-1.79 -1.78,-3.39 -2.41,-5.22 -0.08,-0.22 -0.16,-0.44 -0.22,-0.67 -0.92,-3.58 1.29,-7.09 3.15,-9.94 C 56.31,32.89 57,28.79 55.7,25.59 55.04,23.97 53.98,22.35 52.69,21.16 51.16,19.74 48.83,18.45 49.09,16 49.31,13.87 50.75,11.63 51.84,9.87 52.38,8.98 54.08,7.16 54.02,6.14 53.97,5.1 52.52,4.58 51.83,3.97 50.27,2.59 49.03,1.53 47.03,0.9 46.67,0.78 46.37,0.73 46.09,0.73 c -1.29,0 -1.74,1.17 -2.46,2.43 -1.32,2.33 -2.62,4.79 -3.5,7.31 -1.66,4.68 -1.91,9.51 1.68,13.89 1.24,1.53 3.53,3.03 4.05,4.83 z"
+       style="fill:#ed6c30"
+       id="path12" />
+    <path
+       d="m 62.08,69.54 c 0.25,0.26 0.48,0.37 0.69,0.37 0.39,0 0.7,-0.4 0.95,-0.87 0.19,-0.36 0.34,-0.73 0.46,-1.12 0.67,-2.25 2,-4.48 3.1,-6.56 0.2,-0.37 0.4,-0.73 0.59,-1.09 0.76,-1.43 1.54,-2.86 2.35,-4.28 0.63,-1.12 1.26,-2.25 1.94,-3.33 1.78,-2.85 4.18,-5.89 7.2,-7.48 1.9,-1.02 4.04,-1.49 5.95,-2.5 2.17,-1.13 3.44,-2.84 4.85,-4.79 1.4,-1.93 2.13,-4.31 3.41,-6.34 0.54,-0.86 0.46,-1.62 1.41,-2.22 2.11,-1.32 4.64,-0.87 6.98,-1.32 5.53,-1.06 6.02,-8.35 10.54,-10.98 0.95,-0.55 1.92,-1.06 2.88,-1.57 0.56,-0.3 1.64,-0.67 2.03,-1.22 0.67,-0.94 -0.6,-2.17 -0.98,-3.03 -0.66,-1.48 -1.65,-2.97 -2.5,-4.35 -0.72,-1.16 -1.36,-2.21 -2.64,-2.21 l -0.25,0.02 c -2.89,0.28 -5.47,1.55 -7.32,3.76 -2.25,2.7 -2.55,6.87 -6.09,8.35 -2.3,0.96 -5.01,0.58 -7.19,1.91 -2.58,1.58 -3.41,4.7 -4.13,7.44 -0.54,2 -0.57,4.41 -2.09,5.98 -2.06,2.11 -5.19,2.37 -7.83,3.5 -0.71,0.31 -1.39,0.68 -2,1.16 -3.35,2.64 -5.25,6.97 -6.75,10.85 -0.61,1.59 -1.16,3.21 -1.7,4.83 -0.5,1.51 -0.99,3.02 -1.46,4.54 -0.24,0.78 -0.5,1.56 -0.74,2.35 -0.61,1.98 -1.17,4.01 -1.89,5.96 -0.5,1.25 -0.81,3.16 0.23,4.24 z"
+       style="fill:#ed6c30"
+       id="path13" />
+    <path
+       d="m 127.44,86.8 c -0.19,-0.2 -0.46,-0.22 -0.73,-0.22 l -0.31,0.01 -0.17,-0.01 c -0.6,-0.04 -1.1,-0.3 -1.68,-0.5 -2.67,-0.93 -4.4,-1.7 -6.76,-3.29 -2.66,-1.79 -5.71,-3.46 -8.99,-3.61 l -0.38,-0.01 c -3.24,0 -6.23,1.71 -9.48,1.71 H 98.92 C 95.32,80.86 92.21,78.3 89.37,76.41 89.13,76.25 88.89,76.1 88.63,75.96 86.4,74.7 84,74.15 81.58,74.12 c -0.06,0 -0.13,-0.02 -0.19,-0.02 -1.67,0 -3.35,0.26 -4.99,0.72 -1.6,0.44 -3.15,1.08 -4.63,1.87 -2.11,1.12 -4.14,2.47 -5.99,3.97 -1.03,0.83 -2.16,1.78 -2.86,2.93 -0.38,0.61 -0.9,2.93 0.07,3.31 l 0.13,0.03 c 0.38,0 1,-0.4 1.27,-0.57 2.16,-1.33 4.44,-2.49 6.87,-3.25 1.99,-0.63 4.08,-1.09 6.15,-1.17 0.17,-0.01 0.35,-0.02 0.52,-0.02 1.49,0 2.97,0.23 4.41,0.79 0.02,0.01 0.04,0.02 0.06,0.03 2.01,0.8 3.69,2.18 5.35,3.53 2.44,1.98 5.15,2.42 7.91,2.42 2.15,0 4.33,-0.26 6.46,-0.26 2.23,0 4.39,0.29 6.38,1.46 1.62,0.97 3.08,2.24 4.33,3.59 1.38,1.47 3.14,2.7 5.21,3.02 0.88,0.14 1.68,0.21 2.57,0.22 h 0.02 c 1.5,0 2.07,-1.73 2.83,-2.72 1.04,-1.34 1.76,-2.88 2.71,-4.29 0.4,-0.62 1.95,-2.23 1.27,-2.91 z"
+       style="fill:#ed6c30"
+       id="path14" />
+  </g>
+</svg>