lean4monaco 1.0.42 → 1.0.45

package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-circled-checkmark-t-passthrough-dark.svg

@@ -0,0 +1,179 @@
+<?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-circled-checkmark-t-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>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath15-9">
+      <rect
+         style="display:inline;fill:none;stroke-width:1.00098"
+         id="rect15-1"
+         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="45.254834"
+     inkscape:cx="4.4304659"
+     inkscape:cy="6.0214562"
+     inkscape:window-width="3838"
+     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="3.5281217"
+     clip-path="url(#clipPath6)"
+     transform="scale(1,1.1500697)" />
+  <rect
+     style="fill:#f14c4c;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.57119414,0,0,1,6.8608939,0)" />
+  <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="4.2539416"
+     clip-path="url(#clipPath4)"
+     transform="matrix(1,0,0,0.85488928,0,2.3217715)"
+     inkscape:label="rect1" />
+  <path
+     d="m 6.180764,10.744375 h 0.71 l 4.56,-4.56 -0.71,-0.71 -4.2,4.21 -1.92,-1.92 -0.71,0.71 z"
+     id="path1"
+     transform="translate(0.19930552,0.11691766)"
+     style="fill:#3794ff;fill-opacity:1" />
+  <path
+     fill-rule="evenodd"
+     clip-rule="evenodd"
+     d="m 8.3550367,2.4114736 c 1.2490997,0.078069 2.4201303,0.7026186 3.2788863,1.5613745 1.014894,1.0929623 1.561375,2.4201307 1.561375,3.9815052 0,1.2490998 -0.468413,2.4201307 -1.249099,3.4350247 -0.780687,0.936824 -1.873651,1.639443 -3.1227499,1.87365 C 7.5743495,13.497233 6.3252497,13.341096 5.2322875,12.716546 4.1393253,12.091996 3.2805694,11.155171 2.8121569,9.9841412 2.3437446,8.8131093 2.2656759,7.4859411 2.6560195,6.31491 3.046363,5.0658104 3.7489816,4.0509169 4.8419438,3.3482983 5.8568374,2.6456797 7.1059371,2.3334049 8.3550367,2.4114736 Z M 8.7453804,12.48234 c 1.0148933,-0.234206 1.9517176,-0.780688 2.6543366,-1.639444 0.624549,-0.8587548 1.014894,-1.8736492 0.936825,-2.9666114 0,-1.2490996 -0.468412,-2.4981993 -1.327168,-3.3569554 C 10.228687,3.7386419 9.2918615,3.2702296 8.1988992,3.1921609 7.1840058,3.1140922 6.0910435,3.3482983 5.2322875,3.9728481 4.3735316,4.597398 3.7489816,5.456154 3.4367068,6.5491163 3.1244318,7.5640097 3.1244318,8.656972 3.5928442,9.6718654 4.0612566,10.686759 4.7638751,11.467446 5.7006999,12.013928 6.6375246,12.560409 7.730487,12.716546 8.7453804,12.48234 Z"
+     id="path2"
+     style="stroke-width:0.780687;fill:#3794ff;fill-opacity:1"
+     transform="translate(0.19930552,0.11691766)" />
+</svg>

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

@@ -0,0 +1,179 @@
+<?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-circled-checkmark-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>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath15-9">
+      <rect
+         style="display:inline;fill:none;stroke-width:1.00098"
+         id="rect15-1"
+         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="64"
+     inkscape:cx="2.4765625"
+     inkscape:cy="6.3359375"
+     inkscape:window-width="3838"
+     inkscape:window-height="2128"
+     inkscape:window-x="0"
+     inkscape:window-y="0"
+     inkscape:window-maximized="0"
+     inkscape:current-layer="svg1" />
+  <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.5281217"
+     clip-path="url(#clipPath6)"
+     transform="scale(1,1.1500697)" />
+  <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.57119414,0,0,1,6.8608939,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="4.2539416"
+     clip-path="url(#clipPath4)"
+     transform="matrix(1,0,0,0.85488928,0,2.3217715)"
+     inkscape:label="rect1" />
+  <path
+     d="m 6.180764,10.744375 h 0.71 l 4.56,-4.56 -0.71,-0.71 -4.2,4.21 -1.92,-1.92 -0.71,0.71 z"
+     id="path1"
+     transform="translate(0.19930552,0.11691766)"
+     style="fill:#1a85ff;fill-opacity:1" />
+  <path
+     fill-rule="evenodd"
+     clip-rule="evenodd"
+     d="m 8.3550367,2.4114736 c 1.2490997,0.078069 2.4201303,0.7026186 3.2788863,1.5613745 1.014894,1.0929623 1.561375,2.4201307 1.561375,3.9815052 0,1.2490998 -0.468413,2.4201307 -1.249099,3.4350247 -0.780687,0.936824 -1.873651,1.639443 -3.1227499,1.87365 C 7.5743495,13.497233 6.3252497,13.341096 5.2322875,12.716546 4.1393253,12.091996 3.2805694,11.155171 2.8121569,9.9841412 2.3437446,8.8131093 2.2656759,7.4859411 2.6560195,6.31491 3.046363,5.0658104 3.7489816,4.0509169 4.8419438,3.3482983 5.8568374,2.6456797 7.1059371,2.3334049 8.3550367,2.4114736 Z M 8.7453804,12.48234 c 1.0148933,-0.234206 1.9517176,-0.780688 2.6543366,-1.639444 0.624549,-0.8587548 1.014894,-1.8736492 0.936825,-2.9666114 0,-1.2490996 -0.468412,-2.4981993 -1.327168,-3.3569554 C 10.228687,3.7386419 9.2918615,3.2702296 8.1988992,3.1921609 7.1840058,3.1140922 6.0910435,3.3482983 5.2322875,3.9728481 4.3735316,4.597398 3.7489816,5.456154 3.4367068,6.5491163 3.1244318,7.5640097 3.1244318,8.656972 3.5928442,9.6718654 4.0612566,10.686759 4.7638751,11.467446 5.7006999,12.013928 6.6375246,12.560409 7.730487,12.716546 8.7453804,12.48234 Z"
+     id="path2"
+     style="stroke-width:0.780687;fill:#1a85ff;fill-opacity:1"
+     transform="translate(0.19930552,0.11691766)" />
+</svg>

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

@@ -0,0 +1,165 @@
+<?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-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="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="svg1" />
+  <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>