Theorem
Tools that verify your code automatically.
Type:
Startup
Country:
![](data:image/svg+xml,<svg display="block" role="presentation" viewBox="0 0 512 335" xmlns="http://www.w3.org/2000/svg"><g d="M 503.172 335.449 L 8.828 335.449 C 3.953 335.449 0 331.496 0 326.621 L 0 8.828 C 0 3.953 3.953 0 8.828 0 L 503.173 0 C 508.048 0 512.001 3.953 512.001 8.828 L 512.001 326.621 C 512 331.497 508.047 335.449 503.172 335.449 Z M 512 25.805 L 0 25.805 L 0 8.828 C 0 3.953 3.953 0 8.828 0 L 503.173 0 C 508.048 0 512.001 3.953 512.001 8.828 L 512 25.805 Z M 0 129.019 L 0 103.215 L 512 103.215 L 512 129.019 Z M 0 77.409 L 0 51.605 L 512 51.605 L 512 77.409 Z M 512 180.627 L 8.828 180.627 C 3.953 180.627 0 176.674 0 171.799 L 0 154.822 L 512 154.822 Z M 0 283.849 L 0 258.045 L 512 258.045 L 512 283.849 Z M 503.172 335.449 L 8.828 335.449 C 3.953 335.449 0 331.496 0 326.621 L 0 309.645 L 512 309.645 L 512 326.622 C 512 331.497 508.047 335.449 503.172 335.449 Z M 0 232.239 L 0 206.435 L 512 206.435 L 512 232.239 Z M 229.517 0.001 L 8.828 0.001 C 3.953 0.001 0 3.953 0 8.828 L 0 171.798 C 0 176.673 3.953 180.626 8.828 180.626 L 229.518 180.626 C 234.393 180.626 238.346 176.673 238.346 171.798 L 238.346 8.828 C 238.345 3.953 234.392 0.001 229.517 0.001 Z M 24.789 20.262 L 26.743 26.122 L 32.92 26.169 C 33.72 26.176 34.051 27.196 33.408 27.671 L 28.439 31.341 L 30.303 37.23 C 30.545 37.992 29.676 38.624 29.025 38.158 L 24 34.567 L 18.975 38.159 C 18.324 38.624 17.457 37.993 17.697 37.231 L 19.561 31.342 L 14.592 27.672 C 13.949 27.196 14.28 26.177 15.08 26.17 L 21.257 26.123 L 23.211 20.263 C 23.463 19.503 24.535 19.503 24.789 20.262 Z M 24.789 50.916 L 26.743 56.776 L 32.92 56.823 C 33.72 56.83 34.051 57.85 33.408 58.325 L 28.439 61.995 L 30.303 67.884 C 30.545 68.646 29.676 69.278 29.025 68.812 L 24 65.221 L 18.975 68.813 C 18.324 69.278 17.457 68.647 17.697 67.885 L 19.561 61.996 L 14.592 58.326 C 13.949 57.85 14.28 56.831 15.08 56.824 L 21.257 56.777 L 23.211 50.917 C 23.463 50.158 24.535 50.158 24.789 50.916 Z M 24.789 81.57 L 26.743 87.43 L 32.92 87.477 C 33.72 87.484 34.051 88.504 33.408 88.979 L 28.439 92.649 L 30.303 98.538 C 30.545 99.3 29.676 99.932 29.025 99.466 L 24 95.875 L 18.975 99.467 C 18.324 99.932 17.457 99.301 17.697 98.539 L 19.561 92.65 L 14.592 88.98 C 13.949 88.504 14.28 87.485 15.08 87.478 L 21.257 87.431 L 23.211 81.571 C 23.463 80.812 24.535 80.812 24.789 81.57 Z M 24.789 112.225 L 26.743 118.085 L 32.92 118.132 C 33.72 118.139 34.051 119.159 33.408 119.634 L 28.439 123.304 L 30.303 129.193 C 30.545 129.955 29.676 130.587 29.025 130.121 L 24 126.53 L 18.975 130.122 C 18.324 130.587 17.457 129.956 17.697 129.194 L 19.561 123.305 L 14.592 119.635 C 13.949 119.159 14.28 118.14 15.08 118.133 L 21.257 118.086 L 23.211 112.226 C 23.463 111.466 24.535 111.466 24.789 112.225 Z M 24.789 142.879 L 26.743 148.739 L 32.92 148.786 C 33.72 148.793 34.051 149.813 33.408 150.288 L 28.439 153.958 L 30.303 159.847 C 30.545 160.609 29.676 161.241 29.025 160.775 L 24 157.184 L 18.975 160.776 C 18.324 161.241 17.457 160.61 17.697 159.848 L 19.561 153.959 L 14.592 150.289 C 13.949 149.813 14.28 148.794 15.08 148.787 L 21.257 148.74 L 23.211 142.88 C 23.463 142.119 24.535 142.119 24.789 142.879 Z M 48.582 35.291 L 50.536 41.151 L 56.713 41.198 C 57.513 41.205 57.844 42.225 57.201 42.7 L 52.232 46.37 L 54.096 52.259 C 54.338 53.021 53.469 53.653 52.818 53.187 L 47.793 49.595 L 42.768 53.187 C 42.117 53.652 41.25 53.021 41.49 52.259 L 43.354 46.37 L 38.385 42.7 C 37.742 42.224 38.073 41.205 38.873 41.198 L 45.05 41.151 L 47.004 35.291 C 47.255 34.533 48.329 34.533 48.582 35.291 Z M 48.582 65.946 L 50.536 71.806 L 56.713 71.853 C 57.513 71.86 57.844 72.88 57.201 73.355 L 52.232 77.025 L 54.096 82.914 C 54.338 83.676 53.469 84.308 52.818 83.842 L 47.793 80.25 L 42.768 83.842 C 42.117 84.307 41.25 83.677 41.49 82.914 L 43.354 77.025 L 38.385 73.355 C 37.742 72.879 38.073 71.86 38.873 71.853 L 45.05 71.806 L 47.004 65.946 C 47.255 65.187 48.329 65.187 48.582 65.946 Z M 48.582 96.6 L 50.536 102.46 L 56.713 102.507 C 57.513 102.514 57.844 103.534 57.201 104.009 L 52.232 107.679 L 54.096 113.568 C 54.338 114.33 53.469 114.962 52.818 114.496 L 47.793 110.904 L 42.768 114.496 C 42.117 114.961 41.25 114.33 41.49 113.568 L 43.354 107.679 L 38.385 104.009 C 37.742 103.533 38.073 102.514 38.873 102.507 L 45.05 102.46 L 47.004 96.6 C 47.255 95.841 48.329 95.841 48.582 96.6 Z M 48.582 127.254 L 50.536 133.114 L 56.713 133.161 C 57.513 133.168 57.844 134.188 57.201 134.663 L 52.232 138.333 L 54.096 144.222 C 54.338 144.984 53.469 145.616 52.818 145.15 L 47.793 141.558 L 42.768 145.15 C 42.117 145.615 41.25 144.984 41.49 144.222 L 43.354 138.333 L 38.385 134.663 C 37.742 134.187 38.073 133.168 38.873 133.161 L 45.05 133.114 L 47.004 127.254 C 47.255 126.496 48.329 126.496 48.582 127.254 Z M 72.375 20.262 L 74.329 26.122 L 80.506 26.169 C 81.306 26.176 81.637 27.196 80.994 27.671 L 76.025 31.341 L 77.889 37.23 C 78.131 37.992 77.262 38.624 76.611 38.158 L 71.586 34.566 L 66.561 38.158 C 65.91 38.623 65.043 37.992 65.283 37.23 L 67.147 31.341 L 62.178 27.671 C 61.535 27.195 61.866 26.176 62.666 26.169 L 68.843 26.122 L 70.797 20.262 C 71.049 19.503 72.122 19.503 72.375 20.262 Z M 72.375 50.916 L 74.329 56.776 L 80.506 56.823 C 81.306 56.83 81.637 57.85 80.994 58.325 L 76.025 61.995 L 77.889 67.884 C 78.131 68.646 77.262 69.278 76.611 68.812 L 71.586 65.22 L 66.561 68.812 C 65.91 69.277 65.043 68.646 65.283 67.884 L 67.147 61.995 L 62.178 58.325 C 61.535 57.849 61.866 56.83 62.666 56.823 L 68.843 56.776 L 70.797 50.916 C 71.049 50.158 72.122 50.158 72.375 50.916 Z M 72.375 81.57 L 74.329 87.43 L 80.506 87.477 C 81.306 87.484 81.637 88.504 80.994 88.979 L 76.025 92.649 L 77.889 98.538 C 78.131 99.3 77.262 99.932 76.611 99.466 L 71.586 95.874 L 66.561 99.466 C 65.91 99.931 65.043 99.3 65.283 98.538 L 67.147 92.649 L 62.178 88.979 C 61.535 88.503 61.866 87.484 62.666 87.477 L 68.843 87.43 L 70.797 81.57 C 71.049 80.812 72.122 80.812 72.375 81.57 Z M 72.375 112.225 L 74.329 118.085 L 80.506 118.132 C 81.306 118.139 81.637 119.159 80.994 119.634 L 76.025 123.304 L 77.889 129.193 C 78.131 129.955 77.262 130.587 76.611 130.121 L 71.586 126.529 L 66.561 130.121 C 65.91 130.586 65.043 129.955 65.283 129.193 L 67.147 123.304 L 62.178 119.634 C 61.535 119.158 61.866 118.139 62.666 118.132 L 68.843 118.085 L 70.797 112.225 C 71.049 111.466 72.122 111.466 72.375 112.225 Z M 72.375 142.879 L 74.329 148.739 L 80.506 148.786 C 81.306 148.793 81.637 149.813 80.994 150.288 L 76.025 153.958 L 77.889 159.847 C 78.131 160.609 77.262 161.241 76.611 160.775 L 71.586 157.183 L 66.561 160.775 C 65.91 161.24 65.043 160.609 65.283 159.847 L 67.147 153.958 L 62.178 150.288 C 61.535 149.812 61.866 148.793 62.666 148.786 L 68.843 148.739 L 70.797 142.879 C 71.049 142.119 72.122 142.119 72.375 142.879 Z M 96.169 35.291 L 98.123 41.151 L 104.3 41.198 C 105.1 41.205 105.431 42.225 104.788 42.7 L 99.819 46.37 L 101.683 52.259 C 101.925 53.021 101.056 53.653 100.405 53.187 L 95.38 49.595 L 90.355 53.187 C 89.704 53.652 88.837 53.021 89.077 52.259 L 90.941 46.37 L 85.972 42.7 C 85.329 42.224 85.66 41.205 86.46 41.198 L 92.637 41.151 L 94.591 35.291 C 94.842 34.533 95.916 34.533 96.169 35.291 Z M 96.169 65.946 L 98.123 71.806 L 104.3 71.853 C 105.1 71.86 105.431 72.88 104.788 73.355 L 99.819 77.025 L 101.683 82.914 C 101.925 83.676 101.056 84.308 100.405 83.842 L 95.38 80.25 L 90.355 83.842 C 89.704 84.307 88.837 83.677 89.077 82.914 L 90.941 77.025 L 85.972 73.355 C 85.329 72.879 85.66 71.86 86.46 71.853 L 92.637 71.806 L 94.591 65.946 C 94.842 65.187 95.916 65.187 96.169 65.946 Z M 96.169 96.6 L 98.123 102.46 L 104.3 102.507 C 105.1 102.514 105.431 103.534 104.788 104.009 L 99.819 107.679 L 101.683 113.568 C 101.925 114.33 101.056 114.962 100.405 114.496 L 95.38 110.904 L 90.355 114.496 C 89.704 114.961 88.837 114.33 89.077 113.568 L 90.941 107.679 L 85.972 104.009 C 85.329 103.533 85.66 102.514 86.46 102.507 L 92.637 102.46 L 94.591 96.6 C 94.842 95.841 95.916 95.841 96.169 96.6 Z M 96.169 127.254 L 98.123 133.114 L 104.3 133.161 C 105.1 133.168 105.431 134.188 104.788 134.663 L 99.819 138.333 L 101.683 144.222 C 101.925 144.984 101.056 145.616 100.405 145.15 L 95.38 141.558 L 90.355 145.15 C 89.704 145.615 88.837 144.984 89.077 144.222 L 90.941 138.333 L 85.972 134.663 C 85.329 134.187 85.66 133.168 86.46 133.161 L 92.637 133.114 L 94.591 127.254 C 94.842 126.496 95.916 126.496 96.169 127.254 Z M 119.962 20.262 L 121.916 26.122 L 128.093 26.169 C 128.893 26.176 129.224 27.196 128.581 27.671 L 123.612 31.341 L 125.476 37.23 C 125.718 37.992 124.849 38.624 124.198 38.158 L 119.172 34.566 L 114.147 38.158 C 113.496 38.623 112.629 37.992 112.869 37.23 L 114.733 31.341 L 109.764 27.671 C 109.121 27.195 109.452 26.176 110.252 26.169 L 116.429 26.122 L 118.383 20.262 C 118.636 19.503 119.709 19.503 119.962 20.262 Z M 119.962 50.916 L 121.916 56.776 L 128.093 56.823 C 128.893 56.83 129.224 57.85 128.581 58.325 L 123.612 61.995 L 125.476 67.884 C 125.718 68.646 124.849 69.278 124.198 68.812 L 119.172 65.22 L 114.147 68.812 C 113.496 69.277 112.629 68.646 112.869 67.884 L 114.733 61.995 L 109.764 58.325 C 109.121 57.849 109.452 56.83 110.252 56.823 L 116.429 56.776 L 118.383 50.916 C 118.636 50.158 119.709 50.158 119.962 50.916 Z M 119.962 81.57 L 121.916 87.43 L 128.093 87.477 C 128.893 87.484 129.224 88.504 128.581 88.979 L 123.612 92.649 L 125.476 98.538 C 125.718 99.3 124.849 99.932 124.198 99.466 L 119.172 95.874 L 114.147 99.466 C 113.496 99.931 112.629 99.3 112.869 98.538 L 114.733 92.649 L 109.764 88.979 C 109.121 88.503 109.452 87.484 110.252 87.477 L 116.429 87.43 L 118.383 81.57 C 118.636 80.812 119.709 80.812 119.962 81.57 Z M 119.962 112.225 L 121.916 118.085 L 128.093 118.132 C 128.893 118.139 129.224 119.159 128.581 119.634 L 123.612 123.304 L 125.476 129.193 C 125.718 129.955 124.849 130.587 124.198 130.121 L 119.172 126.529 L 114.147 130.121 C 113.496 130.586 112.629 129.955 112.869 129.193 L 114.733 123.304 L 109.764 119.634 C 109.121 119.158 109.452 118.139 110.252 118.132 L 116.429 118.085 L 118.383 112.225 C 118.636 111.466 119.709 111.466 119.962 112.225 Z M 119.962 142.879 L 121.916 148.739 L 128.093 148.786 C 128.893 148.793 129.224 149.813 128.581 150.288 L 123.612 153.958 L 125.476 159.847 C 125.718 160.609 124.849 161.241 124.198 160.775 L 119.172 157.183 L 114.147 160.775 C 113.496 161.24 112.629 160.609 112.869 159.847 L 114.733 153.958 L 109.764 150.288 C 109.121 149.812 109.452 148.793 110.252 148.786 L 116.429 148.739 L 118.383 142.879 C 118.636 142.119 119.709 142.119 119.962 142.879 Z M 143.755 35.291 L 145.709 41.151 L 151.886 41.198 C 152.686 41.205 153.017 42.225 152.374 42.7 L 147.405 46.37 L 149.269 52.259 C 149.511 53.021 148.642 53.653 147.991 53.187 L 142.966 49.595 L 137.941 53.187 C 137.29 53.652 136.423 53.021 136.663 52.259 L 138.527 46.37 L 133.558 42.7 C 132.915 42.224 133.246 41.205 134.046 41.198 L 140.223 41.151 L 142.177 35.291 C 142.43 34.533 143.502 34.533 143.755 35.291 Z M 143.755 65.946 L 145.709 71.806 L 151.886 71.853 C 152.686 71.86 153.017 72.88 152.374 73.355 L 147.405 77.025 L 149.269 82.914 C 149.511 83.676 148.642 84.308 147.991 83.842 L 142.966 80.25 L 137.941 83.842 C 137.29 84.307 136.423 83.677 136.663 82.914 L 138.527 77.025 L 133.558 73.355 C 132.915 72.879 133.246 71.86 134.046 71.853 L 140.223 71.806 L 142.177 65.946 C 142.43 65.187 143.502 65.187 143.755 65.946 Z M 143.755 96.6 L 145.709 102.46 L 151.886 102.507 C 152.686 102.514 153.017 103.534 152.374 104.009 L 147.405 107.679 L 149.269 113.568 C 149.511 114.33 148.642 114.962 147.991 114.496 L 142.966 110.904 L 137.941 114.496 C 137.29 114.961 136.423 114.33 136.663 113.568 L 138.527 107.679 L 133.558 104.009 C 132.915 103.533 133.246 102.514 134.046 102.507 L 140.223 102.46 L 142.177 96.6 C 142.43 95.841 143.502 95.841 143.755 96.6 Z M 143.755 127.254 L 145.709 133.114 L 151.886 133.161 C 152.686 133.168 153.017 134.188 152.374 134.663 L 147.405 138.333 L 149.269 144.222 C 149.511 144.984 148.642 145.616 147.991 145.15 L 142.966 141.558 L 137.941 145.15 C 137.29 145.615 136.423 144.984 136.663 144.222 L 138.527 138.333 L 133.558 134.663 C 132.915 134.187 133.246 133.168 134.046 133.161 L 140.223 133.114 L 142.177 127.254 C 142.43 126.496 143.502 126.496 143.755 127.254 Z M 167.549 20.262 L 169.503 26.122 L 175.68 26.169 C 176.48 26.176 176.811 27.196 176.168 27.671 L 171.199 31.341 L 173.063 37.23 C 173.305 37.992 172.436 38.624 171.785 38.158 L 166.76 34.566 L 161.735 38.158 C 161.084 38.623 160.217 37.992 160.457 37.23 L 162.321 31.341 L 157.352 27.671 C 156.709 27.195 157.04 26.176 157.84 26.169 L 164.017 26.122 L 165.971 20.262 C 166.222 19.503 167.296 19.503 167.549 20.262 Z M 167.549 50.916 L 169.503 56.776 L 175.68 56.823 C 176.48 56.83 176.811 57.85 176.168 58.325 L 171.199 61.995 L 173.063 67.884 C 173.305 68.646 172.436 69.278 171.785 68.812 L 166.76 65.22 L 161.735 68.812 C 161.084 69.277 160.217 68.646 160.457 67.884 L 162.321 61.995 L 157.352 58.325 C 156.709 57.849 157.04 56.83 157.84 56.823 L 164.017 56.776 L 165.971 50.916 C 166.222 50.158 167.296 50.158 167.549 50.916 Z M 167.549 81.57 L 169.503 87.43 L 175.68 87.477 C 176.48 87.484 176.811 88.504 176.168 88.979 L 171.199 92.649 L 173.063 98.538 C 173.305 99.3 172.436 99.932 171.785 99.466 L 166.76 95.874 L 161.735 99.466 C 161.084 99.931 160.217 99.3 160.457 98.538 L 162.321 92.649 L 157.352 88.979 C 156.709 88.503 157.04 87.484 157.84 87.477 L 164.017 87.43 L 165.971 81.57 C 166.222 80.812 167.296 80.812 167.549 81.57 Z M 167.549 112.225 L 169.503 118.085 L 175.68 118.132 C 176.48 118.139 176.811 119.159 176.168 119.634 L 171.199 123.304 L 173.063 129.193 C 173.305 129.955 172.436 130.587 171.785 130.121 L 166.76 126.529 L 161.735 130.121 C 161.084 130.586 160.217 129.955 160.457 129.193 L 162.321 123.304 L 157.352 119.634 C 156.709 119.158 157.04 118.139 157.84 118.132 L 164.017 118.085 L 165.971 112.225 C 166.222 111.466 167.296 111.466 167.549 112.225 Z M 167.549 142.879 L 169.503 148.739 L 175.68 148.786 C 176.48 148.793 176.811 149.813 176.168 150.288 L 171.199 153.958 L 173.063 159.847 C 173.305 160.609 172.436 161.241 171.785 160.775 L 166.76 157.183 L 161.735 160.775 C 161.084 161.24 160.217 160.609 160.457 159.847 L 162.321 153.958 L 157.352 150.288 C 156.709 149.812 157.04 148.793 157.84 148.786 L 164.017 148.739 L 165.971 142.879 C 166.222 142.119 167.296 142.119 167.549 142.879 Z M 191.342 35.291 L 193.296 41.151 L 199.473 41.198 C 200.273 41.205 200.604 42.225 199.961 42.7 L 194.992 46.37 L 196.856 52.259 C 197.098 53.021 196.229 53.653 195.578 53.187 L 190.553 49.595 L 185.528 53.187 C 184.877 53.652 184.01 53.021 184.25 52.259 L 186.114 46.37 L 181.145 42.7 C 180.502 42.224 180.833 41.205 181.633 41.198 L 187.81 41.151 L 189.764 35.291 C 190.016 34.533 191.09 34.533 191.342 35.291 Z M 191.342 65.946 L 193.296 71.806 L 199.473 71.853 C 200.273 71.86 200.604 72.88 199.961 73.355 L 194.992 77.025 L 196.856 82.914 C 197.098 83.676 196.229 84.308 195.578 83.842 L 190.553 80.25 L 185.528 83.842 C 184.877 84.307 184.01 83.677 184.25 82.914 L 186.114 77.025 L 181.145 73.355 C 180.502 72.879 180.833 71.86 181.633 71.853 L 187.81 71.806 L 189.764 65.946 C 190.016 65.187 191.09 65.187 191.342 65.946 Z M 191.342 96.6 L 193.296 102.46 L 199.473 102.507 C 200.273 102.514 200.604 103.534 199.961 104.009 L 194.992 107.679 L 196.856 113.568 C 197.098 114.33 196.229 114.962 195.578 114.496 L 190.553 110.904 L 185.528 114.496 C 184.877 114.961 184.01 114.33 184.25 113.568 L 186.114 107.679 L 181.145 104.009 C 180.502 103.533 180.833 102.514 181.633 102.507 L 187.81 102.46 L 189.764 96.6 C 190.016 95.841 191.09 95.841 191.342 96.6 Z M 191.342 127.254 L 193.296 133.114 L 199.473 133.161 C 200.273 133.168 200.604 134.188 199.961 134.663 L 194.992 138.333 L 196.856 144.222 C 197.098 144.984 196.229 145.616 195.578 145.15 L 190.553 141.558 L 185.528 145.15 C 184.877 145.615 184.01 144.984 184.25 144.222 L 186.114 138.333 L 181.145 134.663 C 180.502 134.187 180.833 133.168 181.633 133.161 L 187.81 133.114 L 189.764 127.254 C 190.016 126.496 191.09 126.496 191.342 127.254 Z M 215.136 20.262 L 217.09 26.122 L 223.267 26.169 C 224.067 26.176 224.398 27.196 223.755 27.671 L 218.786 31.341 L 220.65 37.23 C 220.892 37.992 220.023 38.624 219.372 38.158 L 214.347 34.566 L 209.322 38.158 C 208.671 38.623 207.804 37.992 208.044 37.23 L 209.908 31.341 L 204.939 27.671 C 204.296 27.195 204.627 26.176 205.427 26.169 L 211.604 26.122 L 213.558 20.262 C 213.81 19.503 214.882 19.503 215.136 20.262 Z M 215.136 50.916 L 217.09 56.776 L 223.267 56.823 C 224.067 56.83 224.398 57.85 223.755 58.325 L 218.786 61.995 L 220.65 67.884 C 220.892 68.646 220.023 69.278 219.372 68.812 L 214.347 65.22 L 209.322 68.812 C 208.671 69.277 207.804 68.646 208.044 67.884 L 209.908 61.995 L 204.939 58.325 C 204.296 57.849 204.627 56.83 205.427 56.823 L 211.604 56.776 L 213.558 50.916 C 213.81 50.158 214.882 50.158 215.136 50.916 Z M 215.136 81.57 L 217.09 87.43 L 223.267 87.477 C 224.067 87.484 224.398 88.504 223.755 88.979 L 218.786 92.649 L 220.65 98.538 C 220.892 99.3 220.023 99.932 219.372 99.466 L 214.347 95.874 L 209.322 99.466 C 208.671 99.931 207.804 99.3 208.044 98.538 L 209.908 92.649 L 204.939 88.979 C 204.296 88.503 204.627 87.484 205.427 87.477 L 211.604 87.43 L 213.558 81.57 C 213.81 80.812 214.882 80.812 215.136 81.57 Z M 215.136 112.225 L 217.09 118.085 L 223.267 118.132 C 224.067 118.139 224.398 119.159 223.755 119.634 L 218.786 123.304 L 220.65 129.193 C 220.892 129.955 220.023 130.587 219.372 130.121 L 214.347 126.529 L 209.322 130.121 C 208.671 130.586 207.804 129.955 208.044 129.193 L 209.908 123.304 L 204.939 119.634 C 204.296 119.158 204.627 118.139 205.427 118.132 L 211.604 118.085 L 213.558 112.225 C 213.81 111.466 214.882 111.466 215.136 112.225 Z M 215.136 142.879 L 217.09 148.739 L 223.267 148.786 C 224.067 148.793 224.398 149.813 223.755 150.288 L 218.786 153.958 L 220.65 159.847 C 220.892 160.609 220.023 161.241 219.372 160.775 L 214.347 157.183 L 209.322 160.775 C 208.671 161.24 207.804 160.609 208.044 159.847 L 209.908 153.958 L 204.939 150.288 C 204.296 149.812 204.627 148.793 205.427 148.786 L 211.604 148.739 L 213.558 142.879 C 213.81 142.119 214.882 142.119 215.136 142.879 Z" fill="transparent" height="335.4490000000003px" id="Zadr9NsF3" transform="translate(0 -0.724)" width="512.001px"><path d="M 503.172 335.449 L 8.828 335.449 C 3.953 335.449 0 331.496 0 326.621 L 0 8.828 C 0 3.953 3.953 0 8.828 0 L 503.173 0 C 508.048 0 512.001 3.953 512.001 8.828 L 512.001 326.621 C 512 331.497 508.047 335.449 503.172 335.449 Z" fill="rgb(245, 245, 245)" height="335.44900000000007px" id="dNN9HHXCZ" transform="translate(0 0)" width="512.001px"/><g d="M 512 25.805 L 0 25.805 L 0 8.828 C 0 3.953 3.953 0 8.828 0 L 503.173 0 C 508.048 0 512.001 3.953 512.001 8.828 L 512 25.805 Z M 0 129.019 L 0 103.215 L 512 103.215 L 512 129.019 Z M 0 77.409 L 0 51.605 L 512 51.605 L 512 77.409 Z M 512 180.627 L 8.828 180.627 C 3.953 180.627 0 176.674 0 171.799 L 0 154.822 L 512 154.822 Z M 0 283.849 L 0 258.045 L 512 258.045 L 512 283.849 Z M 503.172 335.449 L 8.828 335.449 C 3.953 335.449 0 331.496 0 326.621 L 0 309.645 L 512 309.645 L 512 326.622 C 512 331.497 508.047 335.449 503.172 335.449 Z M 0 232.239 L 0 206.435 L 512 206.435 L 512 232.239 Z" fill="transparent" height="335.449px" id="qsE_9ARO9" transform="translate(0 0)" width="512.001px"><path d="M 512 25.805 L 0 25.805 L 0 8.828 C 0 3.953 3.953 0 8.828 0 L 503.173 0 C 508.048 0 512.001 3.953 512.001 8.828 L 512 25.805 Z" fill="rgb(255, 75, 85)" height="25.805000000000007px" id="LDbQBETs3" width="512.001px"/><path d="M 0 25.804 L 0 0 L 512 0 L 512 25.804 Z" fill="rgb(255, 75, 85)" height="25.803999999999988px" id="dR7t1Ht7F" transform="translate(0 103.215)" width="512px"/><path d="M 0 25.804 L 0 0 L 512 0 L 512 25.804 Z" fill="rgb(255, 75, 85)" height="25.803999999999974px" id="ydiy_NB5S" transform="translate(0 51.605)" width="512px"/><path d="M 512 25.805 L 8.828 25.805 C 3.953 25.805 0 21.852 0 16.977 L 0 0 L 512 0 Z" fill="rgb(255, 75, 85)" height="25.80499999999995px" id="d4AIaGruo" transform="translate(0 154.822)" width="512px"/><path d="M 0 25.804 L 0 0 L 512 0 L 512 25.804 Z" fill="rgb(255, 75, 85)" height="25.803999999999974px" id="b6Tl9DgpN" transform="translate(0 258.045)" width="512px"/><path d="M 503.172 25.804 L 8.828 25.804 C 3.953 25.804 0 21.851 0 16.976 L 0 0 L 512 0 L 512 16.977 C 512 21.852 508.047 25.804 503.172 25.804 Z" fill="rgb(255, 75, 85)" height="25.803999999999974px" id="cX8k8VEDJ" transform="translate(0 309.645)" width="512px"/><path d="M 0 25.804 L 0 0 L 512 0 L 512 25.804 Z" fill="rgb(255, 75, 85)" height="25.803999999999974px" id="OmgmZs6nW" transform="translate(0 206.435)" width="512px"/></g><path d="M 229.517 0 L 8.828 0 C 3.953 0 0 3.952 0 8.827 L 0 171.797 C 0 176.672 3.953 180.625 8.828 180.625 L 229.518 180.625 C 234.393 180.625 238.346 176.672 238.346 171.797 L 238.346 8.827 C 238.345 3.952 234.392 0 229.517 0 Z" fill="rgb(65, 71, 155)" height="180.625px" id="mFXGX6Hxt" transform="translate(0 0.001)" width="238.346px"/><g d="M 10.536 0.569 L 12.49 6.429 L 18.667 6.476 C 19.467 6.483 19.798 7.503 19.155 7.978 L 14.186 11.648 L 16.05 17.537 C 16.292 18.299 15.423 18.931 14.772 18.465 L 9.747 14.874 L 4.722 18.466 C 4.071 18.931 3.204 18.3 3.444 17.538 L 5.308 11.649 L 0.339 7.979 C -0.304 7.503 0.027 6.484 0.827 6.477 L 7.004 6.43 L 8.958 0.57 C 9.21 -0.19 10.282 -0.19 10.536 0.569 Z M 10.536 31.223 L 12.49 37.083 L 18.667 37.13 C 19.467 37.137 19.798 38.157 19.155 38.632 L 14.186 42.302 L 16.05 48.191 C 16.292 48.953 15.423 49.585 14.772 49.119 L 9.747 45.528 L 4.722 49.12 C 4.071 49.585 3.204 48.954 3.444 48.192 L 5.308 42.303 L 0.339 38.633 C -0.304 38.157 0.027 37.138 0.827 37.131 L 7.004 37.084 L 8.958 31.224 C 9.21 30.465 10.282 30.465 10.536 31.223 Z M 10.536 61.877 L 12.49 67.737 L 18.667 67.784 C 19.467 67.791 19.798 68.811 19.155 69.286 L 14.186 72.956 L 16.05 78.845 C 16.292 79.607 15.423 80.239 14.772 79.773 L 9.747 76.182 L 4.722 79.774 C 4.071 80.239 3.204 79.608 3.444 78.846 L 5.308 72.957 L 0.339 69.287 C -0.304 68.811 0.027 67.792 0.827 67.785 L 7.004 67.738 L 8.958 61.878 C 9.21 61.119 10.282 61.119 10.536 61.877 Z M 10.536 92.532 L 12.49 98.392 L 18.667 98.439 C 19.467 98.446 19.798 99.466 19.155 99.941 L 14.186 103.611 L 16.05 109.5 C 16.292 110.262 15.423 110.894 14.772 110.428 L 9.747 106.837 L 4.722 110.429 C 4.071 110.894 3.204 110.263 3.444 109.501 L 5.308 103.612 L 0.339 99.942 C -0.304 99.466 0.027 98.447 0.827 98.44 L 7.004 98.393 L 8.958 92.533 C 9.21 91.773 10.282 91.773 10.536 92.532 Z M 10.536 123.186 L 12.49 129.046 L 18.667 129.093 C 19.467 129.1 19.798 130.12 19.155 130.595 L 14.186 134.265 L 16.05 140.154 C 16.292 140.916 15.423 141.548 14.772 141.082 L 9.747 137.491 L 4.722 141.083 C 4.071 141.548 3.204 140.917 3.444 140.155 L 5.308 134.266 L 0.339 130.596 C -0.304 130.12 0.027 129.101 0.827 129.094 L 7.004 129.047 L 8.958 123.187 C 9.21 122.426 10.282 122.426 10.536 123.186 Z M 34.329 15.598 L 36.283 21.458 L 42.46 21.505 C 43.26 21.512 43.591 22.532 42.948 23.007 L 37.979 26.677 L 39.843 32.566 C 40.085 33.328 39.216 33.96 38.565 33.494 L 33.54 29.902 L 28.515 33.494 C 27.864 33.959 26.997 33.328 27.237 32.566 L 29.101 26.677 L 24.132 23.007 C 23.489 22.531 23.82 21.512 24.62 21.505 L 30.797 21.458 L 32.751 15.598 C 33.002 14.84 34.076 14.84 34.329 15.598 Z M 34.329 46.253 L 36.283 52.113 L 42.46 52.16 C 43.26 52.167 43.591 53.187 42.948 53.662 L 37.979 57.332 L 39.843 63.221 C 40.085 63.983 39.216 64.615 38.565 64.149 L 33.54 60.557 L 28.515 64.149 C 27.864 64.614 26.997 63.984 27.237 63.221 L 29.101 57.332 L 24.132 53.662 C 23.489 53.186 23.82 52.167 24.62 52.16 L 30.797 52.113 L 32.751 46.253 C 33.002 45.494 34.076 45.494 34.329 46.253 Z M 34.329 76.907 L 36.283 82.767 L 42.46 82.814 C 43.26 82.821 43.591 83.841 42.948 84.316 L 37.979 87.986 L 39.843 93.875 C 40.085 94.637 39.216 95.269 38.565 94.803 L 33.54 91.211 L 28.515 94.803 C 27.864 95.268 26.997 94.637 27.237 93.875 L 29.101 87.986 L 24.132 84.316 C 23.489 83.84 23.82 82.821 24.62 82.814 L 30.797 82.767 L 32.751 76.907 C 33.002 76.148 34.076 76.148 34.329 76.907 Z M 34.329 107.561 L 36.283 113.421 L 42.46 113.468 C 43.26 113.475 43.591 114.495 42.948 114.97 L 37.979 118.64 L 39.843 124.529 C 40.085 125.291 39.216 125.923 38.565 125.457 L 33.54 121.865 L 28.515 125.457 C 27.864 125.922 26.997 125.291 27.237 124.529 L 29.101 118.64 L 24.132 114.97 C 23.489 114.494 23.82 113.475 24.62 113.468 L 30.797 113.421 L 32.751 107.561 C 33.002 106.803 34.076 106.803 34.329 107.561 Z M 58.122 0.569 L 60.076 6.429 L 66.253 6.476 C 67.053 6.483 67.384 7.503 66.741 7.978 L 61.772 11.648 L 63.636 17.537 C 63.878 18.299 63.009 18.931 62.358 18.465 L 57.333 14.873 L 52.308 18.465 C 51.657 18.93 50.79 18.299 51.03 17.537 L 52.894 11.648 L 47.925 7.978 C 47.282 7.502 47.613 6.483 48.413 6.476 L 54.59 6.429 L 56.544 0.569 C 56.796 -0.19 57.869 -0.19 58.122 0.569 Z M 58.122 31.223 L 60.076 37.083 L 66.253 37.13 C 67.053 37.137 67.384 38.157 66.741 38.632 L 61.772 42.302 L 63.636 48.191 C 63.878 48.953 63.009 49.585 62.358 49.119 L 57.333 45.527 L 52.308 49.119 C 51.657 49.584 50.79 48.953 51.03 48.191 L 52.894 42.302 L 47.925 38.632 C 47.282 38.156 47.613 37.137 48.413 37.13 L 54.59 37.083 L 56.544 31.223 C 56.796 30.465 57.869 30.465 58.122 31.223 Z M 58.122 61.877 L 60.076 67.737 L 66.253 67.784 C 67.053 67.791 67.384 68.811 66.741 69.286 L 61.772 72.956 L 63.636 78.845 C 63.878 79.607 63.009 80.239 62.358 79.773 L 57.333 76.181 L 52.308 79.773 C 51.657 80.238 50.79 79.607 51.03 78.845 L 52.894 72.956 L 47.925 69.286 C 47.282 68.81 47.613 67.791 48.413 67.784 L 54.59 67.737 L 56.544 61.877 C 56.796 61.119 57.869 61.119 58.122 61.877 Z M 58.122 92.532 L 60.076 98.392 L 66.253 98.439 C 67.053 98.446 67.384 99.466 66.741 99.941 L 61.772 103.611 L 63.636 109.5 C 63.878 110.262 63.009 110.894 62.358 110.428 L 57.333 106.836 L 52.308 110.428 C 51.657 110.893 50.79 110.262 51.03 109.5 L 52.894 103.611 L 47.925 99.941 C 47.282 99.465 47.613 98.446 48.413 98.439 L 54.59 98.392 L 56.544 92.532 C 56.796 91.773 57.869 91.773 58.122 92.532 Z M 58.122 123.186 L 60.076 129.046 L 66.253 129.093 C 67.053 129.1 67.384 130.12 66.741 130.595 L 61.772 134.265 L 63.636 140.154 C 63.878 140.916 63.009 141.548 62.358 141.082 L 57.333 137.49 L 52.308 141.082 C 51.657 141.547 50.79 140.916 51.03 140.154 L 52.894 134.265 L 47.925 130.595 C 47.282 130.119 47.613 129.1 48.413 129.093 L 54.59 129.046 L 56.544 123.186 C 56.796 122.426 57.869 122.426 58.122 123.186 Z M 81.916 15.598 L 83.87 21.458 L 90.047 21.505 C 90.847 21.512 91.178 22.532 90.535 23.007 L 85.566 26.677 L 87.43 32.566 C 87.672 33.328 86.803 33.96 86.152 33.494 L 81.127 29.902 L 76.102 33.494 C 75.451 33.959 74.584 33.328 74.824 32.566 L 76.688 26.677 L 71.719 23.007 C 71.076 22.531 71.407 21.512 72.207 21.505 L 78.384 21.458 L 80.338 15.598 C 80.589 14.84 81.663 14.84 81.916 15.598 Z M 81.916 46.253 L 83.87 52.113 L 90.047 52.16 C 90.847 52.167 91.178 53.187 90.535 53.662 L 85.566 57.332 L 87.43 63.221 C 87.672 63.983 86.803 64.615 86.152 64.149 L 81.127 60.557 L 76.102 64.149 C 75.451 64.614 74.584 63.984 74.824 63.221 L 76.688 57.332 L 71.719 53.662 C 71.076 53.186 71.407 52.167 72.207 52.16 L 78.384 52.113 L 80.338 46.253 C 80.589 45.494 81.663 45.494 81.916 46.253 Z M 81.916 76.907 L 83.87 82.767 L 90.047 82.814 C 90.847 82.821 91.178 83.841 90.535 84.316 L 85.566 87.986 L 87.43 93.875 C 87.672 94.637 86.803 95.269 86.152 94.803 L 81.127 91.211 L 76.102 94.803 C 75.451 95.268 74.584 94.637 74.824 93.875 L 76.688 87.986 L 71.719 84.316 C 71.076 83.84 71.407 82.821 72.207 82.814 L 78.384 82.767 L 80.338 76.907 C 80.589 76.148 81.663 76.148 81.916 76.907 Z M 81.916 107.561 L 83.87 113.421 L 90.047 113.468 C 90.847 113.475 91.178 114.495 90.535 114.97 L 85.566 118.64 L 87.43 124.529 C 87.672 125.291 86.803 125.923 86.152 125.457 L 81.127 121.865 L 76.102 125.457 C 75.451 125.922 74.584 125.291 74.824 124.529 L 76.688 118.64 L 71.719 114.97 C 71.076 114.494 71.407 113.475 72.207 113.468 L 78.384 113.421 L 80.338 107.561 C 80.589 106.803 81.663 106.803 81.916 107.561 Z M 105.709 0.569 L 107.663 6.429 L 113.84 6.476 C 114.64 6.483 114.971 7.503 114.328 7.978 L 109.359 11.648 L 111.223 17.537 C 111.465 18.299 110.596 18.931 109.945 18.465 L 104.919 14.873 L 99.894 18.465 C 99.243 18.93 98.376 18.299 98.616 17.537 L 100.48 11.648 L 95.511 7.978 C 94.868 7.502 95.199 6.483 95.999 6.476 L 102.176 6.429 L 104.13 0.569 C 104.383 -0.19 105.456 -0.19 105.709 0.569 Z M 105.709 31.223 L 107.663 37.083 L 113.84 37.13 C 114.64 37.137 114.971 38.157 114.328 38.632 L 109.359 42.302 L 111.223 48.191 C 111.465 48.953 110.596 49.585 109.945 49.119 L 104.919 45.527 L 99.894 49.119 C 99.243 49.584 98.376 48.953 98.616 48.191 L 100.48 42.302 L 95.511 38.632 C 94.868 38.156 95.199 37.137 95.999 37.13 L 102.176 37.083 L 104.13 31.223 C 104.383 30.465 105.456 30.465 105.709 31.223 Z M 105.709 61.877 L 107.663 67.737 L 113.84 67.784 C 114.64 67.791 114.971 68.811 114.328 69.286 L 109.359 72.956 L 111.223 78.845 C 111.465 79.607 110.596 80.239 109.945 79.773 L 104.919 76.181 L 99.894 79.773 C 99.243 80.238 98.376 79.607 98.616 78.845 L 100.48 72.956 L 95.511 69.286 C 94.868 68.81 95.199 67.791 95.999 67.784 L 102.176 67.737 L 104.13 61.877 C 104.383 61.119 105.456 61.119 105.709 61.877 Z M 105.709 92.532 L 107.663 98.392 L 113.84 98.439 C 114.64 98.446 114.971 99.466 114.328 99.941 L 109.359 103.611 L 111.223 109.5 C 111.465 110.262 110.596 110.894 109.945 110.428 L 104.919 106.836 L 99.894 110.428 C 99.243 110.893 98.376 110.262 98.616 109.5 L 100.48 103.611 L 95.511 99.941 C 94.868 99.465 95.199 98.446 95.999 98.439 L 102.176 98.392 L 104.13 92.532 C 104.383 91.773 105.456 91.773 105.709 92.532 Z M 105.709 123.186 L 107.663 129.046 L 113.84 129.093 C 114.64 129.1 114.971 130.12 114.328 130.595 L 109.359 134.265 L 111.223 140.154 C 111.465 140.916 110.596 141.548 109.945 141.082 L 104.919 137.49 L 99.894 141.082 C 99.243 141.547 98.376 140.916 98.616 140.154 L 100.48 134.265 L 95.511 130.595 C 94.868 130.119 95.199 129.1 95.999 129.093 L 102.176 129.046 L 104.13 123.186 C 104.383 122.426 105.456 122.426 105.709 123.186 Z M 129.502 15.598 L 131.456 21.458 L 137.633 21.505 C 138.433 21.512 138.764 22.532 138.121 23.007 L 133.152 26.677 L 135.016 32.566 C 135.258 33.328 134.389 33.96 133.738 33.494 L 128.713 29.902 L 123.688 33.494 C 123.037 33.959 122.17 33.328 122.41 32.566 L 124.274 26.677 L 119.305 23.007 C 118.662 22.531 118.993 21.512 119.793 21.505 L 125.97 21.458 L 127.924 15.598 C 128.177 14.84 129.249 14.84 129.502 15.598 Z M 129.502 46.253 L 131.456 52.113 L 137.633 52.16 C 138.433 52.167 138.764 53.187 138.121 53.662 L 133.152 57.332 L 135.016 63.221 C 135.258 63.983 134.389 64.615 133.738 64.149 L 128.713 60.557 L 123.688 64.149 C 123.037 64.614 122.17 63.984 122.41 63.221 L 124.274 57.332 L 119.305 53.662 C 118.662 53.186 118.993 52.167 119.793 52.16 L 125.97 52.113 L 127.924 46.253 C 128.177 45.494 129.249 45.494 129.502 46.253 Z M 129.502 76.907 L 131.456 82.767 L 137.633 82.814 C 138.433 82.821 138.764 83.841 138.121 84.316 L 133.152 87.986 L 135.016 93.875 C 135.258 94.637 134.389 95.269 133.738 94.803 L 128.713 91.211 L 123.688 94.803 C 123.037 95.268 122.17 94.637 122.41 93.875 L 124.274 87.986 L 119.305 84.316 C 118.662 83.84 118.993 82.821 119.793 82.814 L 125.97 82.767 L 127.924 76.907 C 128.177 76.148 129.249 76.148 129.502 76.907 Z M 129.502 107.561 L 131.456 113.421 L 137.633 113.468 C 138.433 113.475 138.764 114.495 138.121 114.97 L 133.152 118.64 L 135.016 124.529 C 135.258 125.291 134.389 125.923 133.738 125.457 L 128.713 121.865 L 123.688 125.457 C 123.037 125.922 122.17 125.291 122.41 124.529 L 124.274 118.64 L 119.305 114.97 C 118.662 114.494 118.993 113.475 119.793 113.468 L 125.97 113.421 L 127.924 107.561 C 128.177 106.803 129.249 106.803 129.502 107.561 Z M 153.296 0.569 L 155.25 6.429 L 161.427 6.476 C 162.227 6.483 162.558 7.503 161.915 7.978 L 156.946 11.648 L 158.81 17.537 C 159.052 18.299 158.183 18.931 157.532 18.465 L 152.507 14.873 L 147.482 18.465 C 146.831 18.93 145.964 18.299 146.204 17.537 L 148.068 11.648 L 143.099 7.978 C 142.456 7.502 142.787 6.483 143.587 6.476 L 149.764 6.429 L 151.718 0.569 C 151.969 -0.19 153.043 -0.19 153.296 0.569 Z M 153.296 31.223 L 155.25 37.083 L 161.427 37.13 C 162.227 37.137 162.558 38.157 161.915 38.632 L 156.946 42.302 L 158.81 48.191 C 159.052 48.953 158.183 49.585 157.532 49.119 L 152.507 45.527 L 147.482 49.119 C 146.831 49.584 145.964 48.953 146.204 48.191 L 148.068 42.302 L 143.099 38.632 C 142.456 38.156 142.787 37.137 143.587 37.13 L 149.764 37.083 L 151.718 31.223 C 151.969 30.465 153.043 30.465 153.296 31.223 Z M 153.296 61.877 L 155.25 67.737 L 161.427 67.784 C 162.227 67.791 162.558 68.811 161.915 69.286 L 156.946 72.956 L 158.81 78.845 C 159.052 79.607 158.183 80.239 157.532 79.773 L 152.507 76.181 L 147.482 79.773 C 146.831 80.238 145.964 79.607 146.204 78.845 L 148.068 72.956 L 143.099 69.286 C 142.456 68.81 142.787 67.791 143.587 67.784 L 149.764 67.737 L 151.718 61.877 C 151.969 61.119 153.043 61.119 153.296 61.877 Z M 153.296 92.532 L 155.25 98.392 L 161.427 98.439 C 162.227 98.446 162.558 99.466 161.915 99.941 L 156.946 103.611 L 158.81 109.5 C 159.052 110.262 158.183 110.894 157.532 110.428 L 152.507 106.836 L 147.482 110.428 C 146.831 110.893 145.964 110.262 146.204 109.5 L 148.068 103.611 L 143.099 99.941 C 142.456 99.465 142.787 98.446 143.587 98.439 L 149.764 98.392 L 151.718 92.532 C 151.969 91.773 153.043 91.773 153.296 92.532 Z M 153.296 123.186 L 155.25 129.046 L 161.427 129.093 C 162.227 129.1 162.558 130.12 161.915 130.595 L 156.946 134.265 L 158.81 140.154 C 159.052 140.916 158.183 141.548 157.532 141.082 L 152.507 137.49 L 147.482 141.082 C 146.831 141.547 145.964 140.916 146.204 140.154 L 148.068 134.265 L 143.099 130.595 C 142.456 130.119 142.787 129.1 143.587 129.093 L 149.764 129.046 L 151.718 123.186 C 151.969 122.426 153.043 122.426 153.296 123.186 Z M 177.089 15.598 L 179.043 21.458 L 185.22 21.505 C 186.02 21.512 186.351 22.532 185.708 23.007 L 180.739 26.677 L 182.603 32.566 C 182.845 33.328 181.976 33.96 181.325 33.494 L 176.3 29.902 L 171.275 33.494 C 170.624 33.959 169.757 33.328 169.997 32.566 L 171.861 26.677 L 166.892 23.007 C 166.249 22.531 166.58 21.512 167.38 21.505 L 173.557 21.458 L 175.511 15.598 C 175.763 14.84 176.837 14.84 177.089 15.598 Z M 177.089 46.253 L 179.043 52.113 L 185.22 52.16 C 186.02 52.167 186.351 53.187 185.708 53.662 L 180.739 57.332 L 182.603 63.221 C 182.845 63.983 181.976 64.615 181.325 64.149 L 176.3 60.557 L 171.275 64.149 C 170.624 64.614 169.757 63.984 169.997 63.221 L 171.861 57.332 L 166.892 53.662 C 166.249 53.186 166.58 52.167 167.38 52.16 L 173.557 52.113 L 175.511 46.253 C 175.763 45.494 176.837 45.494 177.089 46.253 Z M 177.089 76.907 L 179.043 82.767 L 185.22 82.814 C 186.02 82.821 186.351 83.841 185.708 84.316 L 180.739 87.986 L 182.603 93.875 C 182.845 94.637 181.976 95.269 181.325 94.803 L 176.3 91.211 L 171.275 94.803 C 170.624 95.268 169.757 94.637 169.997 93.875 L 171.861 87.986 L 166.892 84.316 C 166.249 83.84 166.58 82.821 167.38 82.814 L 173.557 82.767 L 175.511 76.907 C 175.763 76.148 176.837 76.148 177.089 76.907 Z M 177.089 107.561 L 179.043 113.421 L 185.22 113.468 C 186.02 113.475 186.351 114.495 185.708 114.97 L 180.739 118.64 L 182.603 124.529 C 182.845 125.291 181.976 125.923 181.325 125.457 L 176.3 121.865 L 171.275 125.457 C 170.624 125.922 169.757 125.291 169.997 124.529 L 171.861 118.64 L 166.892 114.97 C 166.249 114.494 166.58 113.475 167.38 113.468 L 173.557 113.421 L 175.511 107.561 C 175.763 106.803 176.837 106.803 177.089 107.561 Z M 200.883 0.569 L 202.837 6.429 L 209.014 6.476 C 209.814 6.483 210.145 7.503 209.502 7.978 L 204.533 11.648 L 206.397 17.537 C 206.639 18.299 205.77 18.931 205.119 18.465 L 200.094 14.873 L 195.069 18.465 C 194.418 18.93 193.551 18.299 193.791 17.537 L 195.655 11.648 L 190.686 7.978 C 190.043 7.502 190.374 6.483 191.174 6.476 L 197.351 6.429 L 199.305 0.569 C 199.557 -0.19 200.629 -0.19 200.883 0.569 Z M 200.883 31.223 L 202.837 37.083 L 209.014 37.13 C 209.814 37.137 210.145 38.157 209.502 38.632 L 204.533 42.302 L 206.397 48.191 C 206.639 48.953 205.77 49.585 205.119 49.119 L 200.094 45.527 L 195.069 49.119 C 194.418 49.584 193.551 48.953 193.791 48.191 L 195.655 42.302 L 190.686 38.632 C 190.043 38.156 190.374 37.137 191.174 37.13 L 197.351 37.083 L 199.305 31.223 C 199.557 30.465 200.629 30.465 200.883 31.223 Z M 200.883 61.877 L 202.837 67.737 L 209.014 67.784 C 209.814 67.791 210.145 68.811 209.502 69.286 L 204.533 72.956 L 206.397 78.845 C 206.639 79.607 205.77 80.239 205.119 79.773 L 200.094 76.181 L 195.069 79.773 C 194.418 80.238 193.551 79.607 193.791 78.845 L 195.655 72.956 L 190.686 69.286 C 190.043 68.81 190.374 67.791 191.174 67.784 L 197.351 67.737 L 199.305 61.877 C 199.557 61.119 200.629 61.119 200.883 61.877 Z M 200.883 92.532 L 202.837 98.392 L 209.014 98.439 C 209.814 98.446 210.145 99.466 209.502 99.941 L 204.533 103.611 L 206.397 109.5 C 206.639 110.262 205.77 110.894 205.119 110.428 L 200.094 106.836 L 195.069 110.428 C 194.418 110.893 193.551 110.262 193.791 109.5 L 195.655 103.611 L 190.686 99.941 C 190.043 99.465 190.374 98.446 191.174 98.439 L 197.351 98.392 L 199.305 92.532 C 199.557 91.773 200.629 91.773 200.883 92.532 Z M 200.883 123.186 L 202.837 129.046 L 209.014 129.093 C 209.814 129.1 210.145 130.12 209.502 130.595 L 204.533 134.265 L 206.397 140.154 C 206.639 140.916 205.77 141.548 205.119 141.082 L 200.094 137.49 L 195.069 141.082 C 194.418 141.547 193.551 140.916 193.791 140.154 L 195.655 134.265 L 190.686 130.595 C 190.043 130.119 190.374 129.1 191.174 129.093 L 197.351 129.046 L 199.305 123.186 C 199.557 122.426 200.629 122.426 200.883 123.186 Z" fill="transparent" height="141.24202753744368px" id="VS10JN35M" transform="translate(14.253 19.693)" width="209.84171754018942px"><path d="M 10.536 0.569 L 12.49 6.429 L 18.667 6.476 C 19.467 6.483 19.798 7.503 19.155 7.978 L 14.186 11.648 L 16.05 17.537 C 16.292 18.299 15.423 18.931 14.772 18.465 L 9.747 14.874 L 4.722 18.466 C 4.071 18.931 3.204 18.3 3.444 17.538 L 5.308 11.649 L 0.339 7.979 C -0.304 7.503 0.027 6.484 0.827 6.477 L 7.004 6.43 L 8.958 0.57 C 9.21 -0.19 10.282 -0.19 10.536 0.569 Z" fill="rgb(245, 245, 245)" height="18.624902599161874px" id="XPjNGbeEf" transform="translate(0 0)" width="19.494717540189406px"/><path d="M 10.536 0.568 L 12.49 6.428 L 18.667 6.475 C 19.467 6.482 19.798 7.502 19.155 7.977 L 14.186 11.647 L 16.05 17.536 C 16.292 18.298 15.423 18.93 14.772 18.464 L 9.747 14.873 L 4.722 18.465 C 4.071 18.93 3.204 18.299 3.444 17.537 L 5.308 11.648 L 0.339 7.978 C -0.304 7.502 0.027 6.483 0.827 6.476 L 7.004 6.429 L 8.958 0.569 C 9.21 -0.19 10.282 -0.19 10.536 0.568 Z" fill="rgb(245, 245, 245)" height="18.62415259924327px" id="FAp25d9Pj" transform="translate(0 30.655)" width="19.494717540189406px"/><path d="M 10.536 0.568 L 12.49 6.428 L 18.667 6.475 C 19.467 6.482 19.798 7.502 19.155 7.977 L 14.186 11.647 L 16.05 17.536 C 16.292 18.298 15.423 18.93 14.772 18.464 L 9.747 14.873 L 4.722 18.465 C 4.071 18.93 3.204 18.299 3.444 17.537 L 5.308 11.648 L 0.339 7.978 C -0.304 7.502 0.027 6.483 0.827 6.476 L 7.004 6.429 L 8.958 0.569 C 9.21 -0.19 10.282 -0.19 10.536 0.568 Z" fill="rgb(245, 245, 245)" height="18.624152599243274px" id="cJxi_xMGc" transform="translate(0 61.309)" width="19.494717540189406px"/><path d="M 10.536 0.569 L 12.49 6.429 L 18.667 6.476 C 19.467 6.483 19.798 7.503 19.155 7.978 L 14.186 11.648 L 16.05 17.537 C 16.292 18.299 15.423 18.931 14.772 18.465 L 9.747 14.874 L 4.722 18.466 C 4.071 18.931 3.204 18.3 3.444 17.538 L 5.308 11.649 L 0.339 7.979 C -0.304 7.503 0.027 6.484 0.827 6.477 L 7.004 6.43 L 8.958 0.57 C 9.21 -0.19 10.282 -0.19 10.536 0.569 Z" fill="rgb(245, 245, 245)" height="18.6249025991619px" id="ivb9EQpJb" transform="translate(0 91.963)" width="19.494717540189406px"/><path d="M 10.536 0.57 L 12.49 6.43 L 18.667 6.477 C 19.467 6.484 19.798 7.504 19.155 7.979 L 14.186 11.649 L 16.05 17.538 C 16.292 18.3 15.423 18.932 14.772 18.466 L 9.747 14.875 L 4.722 18.467 C 4.071 18.932 3.204 18.301 3.444 17.539 L 5.308 11.65 L 0.339 7.98 C -0.304 7.504 0.027 6.485 0.827 6.478 L 7.004 6.431 L 8.958 0.571 C 9.21 -0.19 10.282 -0.19 10.536 0.57 Z" fill="rgb(245, 245, 245)" height="18.625652599080723px" id="aDtfAdYp_" transform="translate(0 122.616)" width="19.494717540189406px"/><path d="M 10.536 0.568 L 12.49 6.428 L 18.667 6.475 C 19.467 6.482 19.798 7.502 19.155 7.978 L 14.186 11.647 L 16.05 17.537 C 16.292 18.299 15.423 18.931 14.772 18.464 L 9.747 14.872 L 4.722 18.464 C 4.071 18.93 3.204 18.299 3.444 17.537 L 5.308 11.647 L 0.339 7.978 C -0.304 7.502 0.027 6.482 0.827 6.475 L 7.004 6.428 L 8.958 0.568 C 9.209 -0.189 10.283 -0.189 10.536 0.568 Z" fill="rgb(245, 245, 245)" height="18.62369138688665px" id="O1VIyimOc" transform="translate(23.793 15.03)" width="19.49471754018942px"/><path d="M 10.536 0.569 L 12.49 6.429 L 18.667 6.476 C 19.467 6.483 19.798 7.503 19.155 7.978 L 14.186 11.648 L 16.05 17.537 C 16.292 18.299 15.423 18.931 14.772 18.465 L 9.747 14.873 L 4.722 18.465 C 4.071 18.93 3.204 18.3 3.444 17.537 L 5.308 11.648 L 0.339 7.978 C -0.304 7.502 0.027 6.483 0.827 6.476 L 7.004 6.429 L 8.958 0.569 C 9.209 -0.19 10.283 -0.19 10.536 0.569 Z" fill="rgb(245, 245, 245)" height="18.624441386886673px" id="zmFzrgGgz" transform="translate(23.793 45.684)" width="19.49471754018942px"/><path d="M 10.536 0.569 L 12.49 6.429 L 18.667 6.476 C 19.467 6.483 19.798 7.503 19.155 7.978 L 14.186 11.648 L 16.05 17.537 C 16.292 18.299 15.423 18.931 14.772 18.465 L 9.747 14.873 L 4.722 18.465 C 4.071 18.93 3.204 18.299 3.444 17.537 L 5.308 11.648 L 0.339 7.978 C -0.304 7.502 0.027 6.483 0.827 6.476 L 7.004 6.429 L 8.958 0.569 C 9.209 -0.19 10.283 -0.19 10.536 0.569 Z" fill="rgb(245, 245, 245)" height="18.624441386886673px" id="RlJqYgYS7" transform="translate(23.793 76.338)" width="19.49471754018942px"/><path d="M 10.536 0.569 L 12.49 6.429 L 18.667 6.476 C 19.467 6.483 19.798 7.503 19.155 7.978 L 14.186 11.648 L 16.05 17.537 C 16.292 18.299 15.423 18.931 14.772 18.465 L 9.747 14.873 L 4.722 18.465 C 4.071 18.93 3.204 18.299 3.444 17.537 L 5.308 11.648 L 0.339 7.978 C -0.304 7.502 0.027 6.483 0.827 6.476 L 7.004 6.429 L 8.958 0.569 C 9.209 -0.189 10.283 -0.189 10.536 0.569 Z" fill="rgb(245, 245, 245)" height="18.62369138688669px" id="Hof2lh27Z" transform="translate(23.793 106.993)" width="19.49471754018942px"/><path d="M 10.536 0.569 L 12.49 6.429 L 18.667 6.476 C 19.467 6.483 19.798 7.503 19.155 7.978 L 14.186 11.648 L 16.05 17.537 C 16.292 18.299 15.423 18.931 14.772 18.465 L 9.747 14.873 L 4.722 18.465 C 4.071 18.93 3.204 18.299 3.444 17.537 L 5.308 11.648 L 0.339 7.978 C -0.304 7.502 0.027 6.483 0.827 6.476 L 7.004 6.429 L 8.958 0.569 C 9.21 -0.19 10.283 -0.19 10.536 0.569 Z" fill="rgb(245, 245, 245)" height="18.624441386886666px" id="BfFtGel6H" transform="translate(47.586 0)" width="19.49471754018944px"/><path d="M 10.536 0.569 L 12.49 6.429 L 18.667 6.476 C 19.467 6.483 19.798 7.503 19.155 7.978 L 14.186 11.648 L 16.05 17.537 C 16.292 18.299 15.423 18.931 14.772 18.465 L 9.747 14.873 L 4.722 18.465 C 4.071 18.93 3.204 18.299 3.444 17.537 L 5.308 11.648 L 0.339 7.978 C -0.304 7.502 0.027 6.483 0.827 6.476 L 7.004 6.429 L 8.958 0.569 C 9.21 -0.19 10.283 -0.19 10.536 0.569 Z" fill="rgb(245, 245, 245)" height="18.623691386886676px" id="K4BNmomll" transform="translate(47.586 30.655)" width="19.49471754018944px"/><path d="M 10.536 0.569 L 12.49 6.429 L 18.667 6.476 C 19.467 6.483 19.798 7.503 19.155 7.978 L 14.186 11.648 L 16.05 17.537 C 16.292 18.299 15.423 18.931 14.772 18.465 L 9.747 14.873 L 4.722 18.465 C 4.071 18.93 3.204 18.299 3.444 17.537 L 5.308 11.648 L 0.339 7.978 C -0.304 7.502 0.027 6.483 0.827 6.476 L 7.004 6.429 L 8.958 0.569 C 9.21 -0.189 10.283 -0.189 10.536 0.569 Z" fill="rgb(245, 245, 245)" height="18.623691386886676px" id="KAm62kkKL" transform="translate(47.586 61.309)" width="19.49471754018944px"/><path d="M 10.536 0.569 L 12.49 6.429 L 18.667 6.476 C 19.467 6.483 19.798 7.503 19.155 7.978 L 14.186 11.648 L 16.05 17.537 C 16.292 18.299 15.423 18.931 14.772 18.465 L 9.747 14.873 L 4.722 18.465 C 4.071 18.93 3.204 18.299 3.444 17.537 L 5.308 11.648 L 0.339 7.978 C -0.304 7.502 0.027 6.483 0.827 6.476 L 7.004 6.429 L 8.958 0.569 C 9.21 -0.19 10.283 -0.19 10.536 0.569 Z" fill="rgb(245, 245, 245)" height="18.624441386886673px" id="W2YTyP3aC" transform="translate(47.586 91.963)" width="19.49471754018944px"/><path d="M 10.536 0.57 L 12.49 6.43 L 18.667 6.477 C 19.467 6.484 19.798 7.504 19.155 7.979 L 14.186 11.649 L 16.05 17.538 C 16.292 18.3 15.423 18.932 14.772 18.466 L 9.747 14.874 L 4.722 18.466 C 4.071 18.931 3.204 18.3 3.444 17.538 L 5.308 11.649 L 0.339 7.979 C -0.304 7.503 0.027 6.484 0.827 6.477 L 7.004 6.43 L 8.958 0.57 C 9.21 -0.19 10.283 -0.19 10.536 0.57 Z" fill="rgb(245, 245, 245)" height="18.625191386886655px" id="OmxErShT5" transform="translate(47.586 122.616)" width="19.49471754018944px"/><path d="M 10.536 0.568 L 12.49 6.428 L 18.667 6.475 C 19.467 6.482 19.798 7.502 19.155 7.978 L 14.186 11.647 L 16.05 17.537 C 16.292 18.299 15.423 18.931 14.772 18.464 L 9.747 14.872 L 4.722 18.464 C 4.071 18.93 3.204 18.299 3.444 17.537 L 5.308 11.647 L 0.339 7.978 C -0.304 7.502 0.027 6.482 0.827 6.475 L 7.004 6.428 L 8.958 0.568 C 9.209 -0.189 10.283 -0.189 10.536 0.568 Z" fill="rgb(245, 245, 245)" height="18.62369138688665px" id="LXq8Xxw1l" transform="translate(71.38 15.03)" width="19.494717540189413px"/><path d="M 10.536 0.569 L 12.49 6.429 L 18.667 6.476 C 19.467 6.483 19.798 7.503 19.155 7.978 L 14.186 11.648 L 16.05 17.537 C 16.292 18.299 15.423 18.931 14.772 18.465 L 9.747 14.873 L 4.722 18.465 C 4.071 18.93 3.204 18.3 3.444 17.537 L 5.308 11.648 L 0.339 7.978 C -0.304 7.502 0.027 6.483 0.827 6.476 L 7.004 6.429 L 8.958 0.569 C 9.209 -0.19 10.283 -0.19 10.536 0.569 Z" fill="rgb(245, 245, 245)" height="18.624441386886673px" id="r8Oi7ehD7" transform="translate(71.38 45.684)" width="19.494717540189413px"/><path d="M 10.536 0.569 L 12.49 6.429 L 18.667 6.476 C 19.467 6.483 19.798 7.503 19.155 7.978 L 14.186 11.648 L 16.05 17.537 C 16.292 18.299 15.423 18.931 14.772 18.465 L 9.747 14.873 L 4.722 18.465 C 4.071 18.93 3.204 18.299 3.444 17.537 L 5.308 11.648 L 0.339 7.978 C -0.304 7.502 0.027 6.483 0.827 6.476 L 7.004 6.429 L 8.958 0.569 C 9.209 -0.19 10.283 -0.19 10.536 0.569 Z" fill="rgb(245, 245, 245)" height="18.624441386886673px" id="uxj3T6_RL" transform="translate(71.38 76.338)" width="19.494717540189413px"/><path d="M 10.536 0.569 L 12.49 6.429 L 18.667 6.476 C 19.467 6.483 19.798 7.503 19.155 7.978 L 14.186 11.648 L 16.05 17.537 C 16.292 18.299 15.423 18.931 14.772 18.465 L 9.747 14.873 L 4.722 18.465 C 4.071 18.93 3.204 18.299 3.444 17.537 L 5.308 11.648 L 0.339 7.978 C -0.304 7.502 0.027 6.483 0.827 6.476 L 7.004 6.429 L 8.958 0.569 C 9.209 -0.189 10.283 -0.189 10.536 0.569 Z" fill="rgb(245, 245, 245)" height="18.62369138688669px" id="vORpxfFPE" transform="translate(71.38 106.993)" width="19.494717540189413px"/><path d="M 10.537 0.569 L 12.491 6.429 L 18.668 6.476 C 19.468 6.483 19.799 7.503 19.156 7.978 L 14.187 11.648 L 16.051 17.537 C 16.293 18.299 15.424 18.931 14.773 18.465 L 9.747 14.873 L 4.722 18.465 C 4.071 18.93 3.204 18.299 3.444 17.537 L 5.308 11.648 L 0.339 7.978 C -0.304 7.502 0.027 6.483 0.827 6.476 L 7.004 6.429 L 8.958 0.569 C 9.211 -0.19 10.284 -0.19 10.537 0.569 Z" fill="rgb(245, 245, 245)" height="18.624441386886666px" id="kxGSa_vcH" transform="translate(95.172 0)" width="19.495717540189418px"/><path d="M 10.537 0.569 L 12.491 6.429 L 18.668 6.476 C 19.468 6.483 19.799 7.503 19.156 7.978 L 14.187 11.648 L 16.051 17.537 C 16.293 18.299 15.424 18.931 14.773 18.465 L 9.747 14.873 L 4.722 18.465 C 4.071 18.93 3.204 18.299 3.444 17.537 L 5.308 11.648 L 0.339 7.978 C -0.304 7.502 0.027 6.483 0.827 6.476 L 7.004 6.429 L 8.958 0.569 C 9.211 -0.19 10.284 -0.19 10.537 0.569 Z" fill="rgb(245, 245, 245)" height="18.623691386886676px" id="H7KtXwpap" transform="translate(95.172 30.655)" width="19.495717540189418px"/><path d="M 10.537 0.569 L 12.491 6.429 L 18.668 6.476 C 19.468 6.483 19.799 7.503 19.156 7.978 L 14.187 11.648 L 16.051 17.537 C 16.293 18.299 15.424 18.931 14.773 18.465 L 9.747 14.873 L 4.722 18.465 C 4.071 18.93 3.204 18.299 3.444 17.537 L 5.308 11.648 L 0.339 7.978 C -0.304 7.502 0.027 6.483 0.827 6.476 L 7.004 6.429 L 8.958 0.569 C 9.211 -0.189 10.284 -0.189 10.537 0.569 Z" fill="rgb(245, 245, 245)" height="18.623691386886676px" id="UF1T__qpi" transform="translate(95.172 61.309)" width="19.495717540189418px"/><path d="M 10.537 0.569 L 12.491 6.429 L 18.668 6.476 C 19.468 6.483 19.799 7.503 19.156 7.978 L 14.187 11.648 L 16.051 17.537 C 16.293 18.299 15.424 18.931 14.773 18.465 L 9.747 14.873 L 4.722 18.465 C 4.071 18.93 3.204 18.299 3.444 17.537 L 5.308 11.648 L 0.339 7.978 C -0.304 7.502 0.027 6.483 0.827 6.476 L 7.004 6.429 L 8.958 0.569 C 9.211 -0.19 10.284 -0.19 10.537 0.569 Z" fill="rgb(245, 245, 245)" height="18.624441386886673px" id="L2_UkBSpQ" transform="translate(95.172 91.963)" width="19.495717540189418px"/><path d="M 10.537 0.57 L 12.491 6.43 L 18.668 6.477 C 19.468 6.484 19.799 7.504 19.156 7.979 L 14.187 11.649 L 16.051 17.538 C 16.293 18.3 15.424 18.932 14.773 18.466 L 9.747 14.874 L 4.722 18.466 C 4.071 18.931 3.204 18.3 3.444 17.538 L 5.308 11.649 L 0.339 7.979 C -0.304 7.503 0.027 6.484 0.827 6.477 L 7.004 6.43 L 8.958 0.57 C 9.211 -0.19 10.284 -0.19 10.537 0.57 Z" fill="rgb(245, 245, 245)" height="18.625191386886655px" id="GnE9SutDZ" transform="translate(95.172 122.616)" width="19.495717540189418px"/><path d="M 10.536 0.568 L 12.49 6.428 L 18.667 6.475 C 19.467 6.482 19.798 7.502 19.155 7.978 L 14.186 11.647 L 16.05 17.537 C 16.292 18.299 15.423 18.931 14.772 18.464 L 9.747 14.872 L 4.722 18.464 C 4.071 18.93 3.204 18.299 3.444 17.537 L 5.308 11.647 L 0.339 7.978 C -0.304 7.502 0.027 6.482 0.827 6.475 L 7.004 6.428 L 8.958 0.568 C 9.211 -0.189 10.283 -0.189 10.536 0.568 Z" fill="rgb(245, 245, 245)" height="18.62369138688665px" id="SJH43OO9r" transform="translate(118.966 15.03)" width="19.494717540189413px"/><path d="M 10.536 0.569 L 12.49 6.429 L 18.667 6.476 C 19.467 6.483 19.798 7.503 19.155 7.978 L 14.186 11.648 L 16.05 17.537 C 16.292 18.299 15.423 18.931 14.772 18.465 L 9.747 14.873 L 4.722 18.465 C 4.071 18.93 3.204 18.3 3.444 17.537 L 5.308 11.648 L 0.339 7.978 C -0.304 7.502 0.027 6.483 0.827 6.476 L 7.004 6.429 L 8.958 0.569 C 9.211 -0.19 10.283 -0.19 10.536 0.569 Z" fill="rgb(245, 245, 245)" height="18.624441386886673px" id="uwoE0vZjt" transform="translate(118.966 45.684)" width="19.494717540189413px"/><path d="M 10.536 0.569 L 12.49 6.429 L 18.667 6.476 C 19.467 6.483 19.798 7.503 19.155 7.978 L 14.186 11.648 L 16.05 17.537 C 16.292 18.299 15.423 18.931 14.772 18.465 L 9.747 14.873 L 4.722 18.465 C 4.071 18.93 3.204 18.299 3.444 17.537 L 5.308 11.648 L 0.339 7.978 C -0.304 7.502 0.027 6.483 0.827 6.476 L 7.004 6.429 L 8.958 0.569 C 9.211 -0.19 10.283 -0.19 10.536 0.569 Z" fill="rgb(245, 245, 245)" height="18.624441386886673px" id="Nt6d7e_qI" transform="translate(118.966 76.338)" width="19.494717540189413px"/><path d="M 10.536 0.569 L 12.49 6.429 L 18.667 6.476 C 19.467 6.483 19.798 7.503 19.155 7.978 L 14.186 11.648 L 16.05 17.537 C 16.292 18.299 15.423 18.931 14.772 18.465 L 9.747 14.873 L 4.722 18.465 C 4.071 18.93 3.204 18.299 3.444 17.537 L 5.308 11.648 L 0.339 7.978 C -0.304 7.502 0.027 6.483 0.827 6.476 L 7.004 6.429 L 8.958 0.569 C 9.211 -0.189 10.283 -0.189 10.536 0.569 Z" fill="rgb(245, 245, 245)" height="18.62369138688669px" id="iNJjnx8oG" transform="translate(118.966 106.993)" width="19.494717540189413px"/><path d="M 10.536 0.569 L 12.49 6.429 L 18.667 6.476 C 19.467 6.483 19.798 7.503 19.155 7.978 L 14.186 11.648 L 16.05 17.537 C 16.292 18.299 15.423 18.931 14.772 18.465 L 9.747 14.873 L 4.722 18.465 C 4.071 18.93 3.204 18.299 3.444 17.537 L 5.308 11.648 L 0.339 7.978 C -0.304 7.502 0.027 6.483 0.827 6.476 L 7.004 6.429 L 8.958 0.569 C 9.209 -0.19 10.283 -0.19 10.536 0.569 Z" fill="rgb(245, 245, 245)" height="18.624441386886666px" id="cyftMWEwK" transform="translate(142.76 0)" width="19.494717540189413px"/><path d="M 10.536 0.569 L 12.49 6.429 L 18.667 6.476 C 19.467 6.483 19.798 7.503 19.155 7.978 L 14.186 11.648 L 16.05 17.537 C 16.292 18.299 15.423 18.931 14.772 18.465 L 9.747 14.873 L 4.722 18.465 C 4.071 18.93 3.204 18.299 3.444 17.537 L 5.308 11.648 L 0.339 7.978 C -0.304 7.502 0.027 6.483 0.827 6.476 L 7.004 6.429 L 8.958 0.569 C 9.209 -0.19 10.283 -0.19 10.536 0.569 Z" fill="rgb(245, 245, 245)" height="18.623691386886676px" id="vxreavdwu" transform="translate(142.76 30.655)" width="19.494717540189413px"/><path d="M 10.536 0.569 L 12.49 6.429 L 18.667 6.476 C 19.467 6.483 19.798 7.503 19.155 7.978 L 14.186 11.648 L 16.05 17.537 C 16.292 18.299 15.423 18.931 14.772 18.465 L 9.747 14.873 L 4.722 18.465 C 4.071 18.93 3.204 18.299 3.444 17.537 L 5.308 11.648 L 0.339 7.978 C -0.304 7.502 0.027 6.483 0.827 6.476 L 7.004 6.429 L 8.958 0.569 C 9.209 -0.189 10.283 -0.189 10.536 0.569 Z" fill="rgb(245, 245, 245)" height="18.623691386886676px" id="p7aQ1BQIn" transform="translate(142.76 61.309)" width="19.494717540189413px"/><path d="M 10.536 0.569 L 12.49 6.429 L 18.667 6.476 C 19.467 6.483 19.798 7.503 19.155 7.978 L 14.186 11.648 L 16.05 17.537 C 16.292 18.299 15.423 18.931 14.772 18.465 L 9.747 14.873 L 4.722 18.465 C 4.071 18.93 3.204 18.299 3.444 17.537 L 5.308 11.648 L 0.339 7.978 C -0.304 7.502 0.027 6.483 0.827 6.476 L 7.004 6.429 L 8.958 0.569 C 9.209 -0.19 10.283 -0.19 10.536 0.569 Z" fill="rgb(245, 245, 245)" height="18.624441386886673px" id="aGh8tQtT_" transform="translate(142.76 91.963)" width="19.494717540189413px"/><path d="M 10.536 0.57 L 12.49 6.43 L 18.667 6.477 C 19.467 6.484 19.798 7.504 19.155 7.979 L 14.186 11.649 L 16.05 17.538 C 16.292 18.3 15.423 18.932 14.772 18.466 L 9.747 14.874 L 4.722 18.466 C 4.071 18.931 3.204 18.3 3.444 17.538 L 5.308 11.649 L 0.339 7.979 C -0.304 7.503 0.027 6.484 0.827 6.477 L 7.004 6.43 L 8.958 0.57 C 9.209 -0.19 10.283 -0.19 10.536 0.57 Z" fill="rgb(245, 245, 245)" height="18.625191386886655px" id="cb8zdD_eB" transform="translate(142.76 122.616)" width="19.494717540189413px"/><path d="M 10.536 0.568 L 12.49 6.428 L 18.667 6.475 C 19.467 6.482 19.798 7.502 19.155 7.978 L 14.186 11.647 L 16.05 17.537 C 16.292 18.299 15.423 18.931 14.772 18.464 L 9.747 14.872 L 4.722 18.464 C 4.071 18.93 3.204 18.299 3.444 17.537 L 5.308 11.647 L 0.339 7.978 C -0.304 7.502 0.027 6.482 0.827 6.475 L 7.004 6.428 L 8.958 0.568 C 9.21 -0.189 10.284 -0.189 10.536 0.568 Z" fill="rgb(245, 245, 245)" height="18.62369138688665px" id="sr9UIp7fE" transform="translate(166.553 15.03)" width="19.494717540189413px"/><path d="M 10.536 0.569 L 12.49 6.429 L 18.667 6.476 C 19.467 6.483 19.798 7.503 19.155 7.978 L 14.186 11.648 L 16.05 17.537 C 16.292 18.299 15.423 18.931 14.772 18.465 L 9.747 14.873 L 4.722 18.465 C 4.071 18.93 3.204 18.3 3.444 17.537 L 5.308 11.648 L 0.339 7.978 C -0.304 7.502 0.027 6.483 0.827 6.476 L 7.004 6.429 L 8.958 0.569 C 9.21 -0.19 10.284 -0.19 10.536 0.569 Z" fill="rgb(245, 245, 245)" height="18.624441386886673px" id="s2yA7DL_z" transform="translate(166.553 45.684)" width="19.494717540189413px"/><path d="M 10.536 0.569 L 12.49 6.429 L 18.667 6.476 C 19.467 6.483 19.798 7.503 19.155 7.978 L 14.186 11.648 L 16.05 17.537 C 16.292 18.299 15.423 18.931 14.772 18.465 L 9.747 14.873 L 4.722 18.465 C 4.071 18.93 3.204 18.299 3.444 17.537 L 5.308 11.648 L 0.339 7.978 C -0.304 7.502 0.027 6.483 0.827 6.476 L 7.004 6.429 L 8.958 0.569 C 9.21 -0.19 10.284 -0.19 10.536 0.569 Z" fill="rgb(245, 245, 245)" height="18.624441386886673px" id="niTTSoK0X" transform="translate(166.553 76.338)" width="19.494717540189413px"/><path d="M 10.536 0.569 L 12.49 6.429 L 18.667 6.476 C 19.467 6.483 19.798 7.503 19.155 7.978 L 14.186 11.648 L 16.05 17.537 C 16.292 18.299 15.423 18.931 14.772 18.465 L 9.747 14.873 L 4.722 18.465 C 4.071 18.93 3.204 18.299 3.444 17.537 L 5.308 11.648 L 0.339 7.978 C -0.304 7.502 0.027 6.483 0.827 6.476 L 7.004 6.429 L 8.958 0.569 C 9.21 -0.189 10.284 -0.189 10.536 0.569 Z" fill="rgb(245, 245, 245)" height="18.62369138688669px" id="gtZUFOyAS" transform="translate(166.553 106.993)" width="19.494717540189413px"/><path d="M 10.536 0.569 L 12.49 6.429 L 18.667 6.476 C 19.467 6.483 19.798 7.503 19.155 7.978 L 14.186 11.648 L 16.05 17.537 C 16.292 18.299 15.423 18.931 14.772 18.465 L 9.747 14.873 L 4.722 18.465 C 4.071 18.93 3.204 18.299 3.444 17.537 L 5.308 11.648 L 0.339 7.978 C -0.304 7.502 0.027 6.483 0.827 6.476 L 7.004 6.429 L 8.958 0.569 C 9.21 -0.19 10.282 -0.19 10.536 0.569 Z" fill="rgb(245, 245, 245)" height="18.624441386886666px" id="K9hpx9fqv" transform="translate(190.347 0)" width="19.494717540189384px"/><path d="M 10.536 0.569 L 12.49 6.429 L 18.667 6.476 C 19.467 6.483 19.798 7.503 19.155 7.978 L 14.186 11.648 L 16.05 17.537 C 16.292 18.299 15.423 18.931 14.772 18.465 L 9.747 14.873 L 4.722 18.465 C 4.071 18.93 3.204 18.299 3.444 17.537 L 5.308 11.648 L 0.339 7.978 C -0.304 7.502 0.027 6.483 0.827 6.476 L 7.004 6.429 L 8.958 0.569 C 9.21 -0.19 10.282 -0.19 10.536 0.569 Z" fill="rgb(245, 245, 245)" height="18.623691386886676px" id="VQjdIZSTB" transform="translate(190.347 30.655)" width="19.494717540189384px"/><path d="M 10.536 0.569 L 12.49 6.429 L 18.667 6.476 C 19.467 6.483 19.798 7.503 19.155 7.978 L 14.186 11.648 L 16.05 17.537 C 16.292 18.299 15.423 18.931 14.772 18.465 L 9.747 14.873 L 4.722 18.465 C 4.071 18.93 3.204 18.299 3.444 17.537 L 5.308 11.648 L 0.339 7.978 C -0.304 7.502 0.027 6.483 0.827 6.476 L 7.004 6.429 L 8.958 0.569 C 9.21 -0.189 10.282 -0.189 10.536 0.569 Z" fill="rgb(245, 245, 245)" height="18.623691386886676px" id="wJekuGQmj" transform="translate(190.347 61.309)" width="19.494717540189384px"/><path d="M 10.536 0.569 L 12.49 6.429 L 18.667 6.476 C 19.467 6.483 19.798 7.503 19.155 7.978 L 14.186 11.648 L 16.05 17.537 C 16.292 18.299 15.423 18.931 14.772 18.465 L 9.747 14.873 L 4.722 18.465 C 4.071 18.93 3.204 18.299 3.444 17.537 L 5.308 11.648 L 0.339 7.978 C -0.304 7.502 0.027 6.483 0.827 6.476 L 7.004 6.429 L 8.958 0.569 C 9.21 -0.19 10.282 -0.19 10.536 0.569 Z" fill="rgb(245, 245, 245)" height="18.624441386886673px" id="O4z28I_oU" transform="translate(190.347 91.963)" width="19.494717540189384px"/><path d="M 10.536 0.57 L 12.49 6.43 L 18.667 6.477 C 19.467 6.484 19.798 7.504 19.155 7.979 L 14.186 11.649 L 16.05 17.538 C 16.292 18.3 15.423 18.932 14.772 18.466 L 9.747 14.874 L 4.722 18.466 C 4.071 18.931 3.204 18.3 3.444 17.538 L 5.308 11.649 L 0.339 7.979 C -0.304 7.503 0.027 6.484 0.827 6.477 L 7.004 6.43 L 8.958 0.57 C 9.21 -0.19 10.282 -0.19 10.536 0.57 Z" fill="rgb(245, 245, 245)" height="18.625191386886655px" id="zl_IJPylc" transform="translate(190.347 122.616)" width="19.494717540189384px"/></g></g></svg>)
United States
Industry:
Artificial Intelligence
Theorem develops AI-powered tools for improving developer productivity and verifying software correctness.
Tools that verify your code automatically.
Type:
Startup
Country:
United States
Industry:
Artificial Intelligence
Theorem develops AI-powered tools for improving developer productivity and verifying software correctness.
