dafny constant

String const dafny

Implementation

static const String dafny =
    '<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" width="512" height="512" preserveAspectRatio="xMidYMid meet" viewBox="0 0 512 512"><path fill="currentColor" d="M394.966 338.596c11.088-9.828 3.459-29.175 4.68-31.986-2.749-2.418.342-7.577-2.655-8.457-1.662.989-1.773-.208-1.28-1.538 3.952-4.585 2.73-11.049 4.92-15.02 2.719-6.876-10.33 8.305.21-7.7 2.28-6.597 6.713-30.33-.592-20.75 11.58-13.543-2.706-13.556 11.393-28.633-.838-24.922 5.429-33.114-3.435-36.082 20.904-22.011 21.685-53.968 47.454-71.129 1.386-8.541 12.804-17.1 20.675-20.261 2.732 2.062 3.743 4.605 7.132 2.172 8.377-1.142 2.751-7.075-.862-9.867-.446-4.923-4.327-.077-6.516 1.79.674-20.296-7.569 1.215-15.53-11.1-3.855.481-10.163 4.593-8.198-2.954-3.166 7.13-4.61-.887-7.724 5.13-8.86 3.334-3.012 13.032-4.885 15.164-1.624-4.064-4.372-.906-5.263 1.826-6.062-.161-.75 6.04-7.801-2.163-3.36 1.946-2.05-.238-1.718-1.685-2.204-.331-2.26 3.215-3.537 4.525-2.901-8.079-12.042 12.871-10.773 18.651-.621 2.476-4.304.44-3.274 4.192.794 3.756-1.35 2.768-3.592 3.798-2.302 5.622-6.805 7.305-4.927 14.671-3.406-7.264-3.735-.288-4.186 4.31-2.04-9.692-4.854 3.667-5.182 7.649.419 8.028-6.58 3.533-5.764 18.042 4.195-.133-5.807 7.139.414 5.483 1.052 1.728-1.463 2.33 1.038 3.102 5.302.207 1.043 3.144 4.245 5.15 3.316-.249-.085 3.57 1.157 4.821 6.703-.207-6.797 7.553 4.877 6.142-4.218 3.611-2.455 4.71-2.266 8.626-3.219 1.131-1.548 4.742-2.038 7.825.714 1.778 1.1 2.762-.969 3.864-1.477 4.16.799 4.909-4.457 6.912-2.503 4.677.389 10.07-2.757 13.854-.208.074-.01 2.873.75 3.51 3.109 3.034-4.218 1.181 2.395 5.232-3.037 2.812.006 2.612.83 5.1-.525 1.48-3.142 3.517 1.07 3.562-5.446 8.962-5.957 20.246-12.212 29.049 8.941-1.349-1.715 3.483 2.64 6.578-3.184 5.498-8.17 11.906-5.553 18.231 1.91 4.208-5.94 1.49-3.526 6.334 2.012 3.877-6.9 3.618-1.539 8.105.186 2.522-2.783 3.02-.781 5.9 2.74 4.152-2.252 2.542-3.615 6.084.956 4.313-7.015 3.703-2.437 7.938-.869 3.125-5.119 10.293.623 8.174 6.104 5.875 20.67-6.113 25.863 4.34 6.363 3.423 6.571-11.253 7.478-16.51zm-46.22-48.695c.313 7.686-6.296 12-6.509 18.763-3.49 6.895 2.062 4.774 1.743 7.29-2.416 4.542 5.952-1.419 1.762 4.178-3.514 2.599 3.357 2.815 3.063 7.086.11 1.497-3.425 3.145-1.137 5.007 2.213.598.521 3.777 2.88 1.143 8.946-17.184-8.076-5.944 1.495-19.666 13.546-21.943 1.297-22.598 13.964-40.885 3.564-4.634-.32-5.822 2.167-10.046.356-3.015-1.557-4.993-1.892-7.525 1.032-3.05.99-3.147-2.156-2.645-8.573 4.76 14.098-35.769 11.333-43.537-1.456-3.193.087-9.133-3.859-3.526-1.56-4.953 2.89-14.787-4.32-10.948 1.253-2.624 3.797-5.065.098-7.492-4.88 5.648 1.75-3.746-6.038 2.313 10.666-10.352-.435-18.727 8.182-29.372 6.476-15.419 22.784-41.781 24.704-51.67 6.084-14.64 14.846-24.929 27.042-35.357-5.77 15.706 34.615-24.853 15.708-11.71-6.243-12.511-7.658 4.785-10.532 9.933-4.651-10.733-6.469.937-7.738-6.906-6.168 6.645-7.145-5.548-10.16 7.397-6.873-11.839-2.82 17.248-7.268 3.282-1.81 1.324.848 4.691-2.55 3.735-2.68 11.14-.088 5.532-6.214 6.619-11.528-.065-5.402 21.906-12.103 10.794-4.97-.82-.623 7.478-6.084 5.48-3.235 1.412-1.508 2.435-1.409 4.835-5.252 2.44-2.801 13.993-7.096 11.46.103 8.936-5.029.054-3.262 7.16-4.552 6.125-3.79.954-4.456 11.606 4.354 3.553 5.809 7.36 6.116 13.568-3.111 6.37-6.598 15.602-9.125 23.134-1.628 8.006-2.275 23.564-2.275 23.564 3.664 1.96-6.514 4.471-2.452 9.675.563 1.093.05 3.169-.66 4.39-1.782 2.833 1.938 4.55-1.9 7.638-5.014 6.404 3.271 10.153-1.519 15.272 4.426 5.77-5.923 4.607-1.388 13.45-.566 2.122-2.591 4.112 1.132 4.89 2.345 6.973-12.883 17.655-4.144 24.137.284 8.384 4.167 1.726 6.557 6.636l.3 6.85zm-31.056 80.893c-26.331 2.296-38 .147-48.065 2.39-15.619 3.482-22.77 16.183-28.706 33.121-7.258 22.55-14.8 39.449-17.889 60.46-2.576 13.183-16.675 10.587-14.95-1.908 5.307-21.148 11.053-39.983 17.467-55.287-26.487-.398-27.899-11.265-41.235-20.865-2.023-1.761-3.786-1.541-5.433.444-15.384 21.294-29.497 32.725-57.736 14.283L99.07 388.106c-3.376-2.305-3.644-2.087-5.985 1.124-20.931 34.709-42.05 30.33-50.363 21.61-9.851-8.876-18.006-17.857-24.115-26.963-5.818-6.426 10.312-11.735 14.375-5.31 14.061 16.269 29.385 37.516 35.667 24.797 0 0 13.42-20.247 17.799-23.466 12.35-9.08 20.075-3.301 20.075-3.301 16.625 11.671 41.994 31.374 47.294 24.842 12.986-9.436 12.728-23.859 33.589-24.463 8.936.136 14.87 8.181 21.675 14.273 8.459 7.57 17.83 11.967 19.114 7.336 9.645-21.492 15.463-34.574 41.713-39.937 10.566-2.159 43.658-1.984 43.658-1.984 13.53.604 7.483-12.87 9.644-23.921 3.25-20.403-3.01-20.281 4.922-32.312-.943-2.236-4.337-9.338-7.107-12.325-10.51-8.206 3.566-17.742 7.542-30.779-7.647 8.955-.547-6.272.8-11.39-6.157 1.466-2.094.85-1.543-4.164-5.539-2.165 12.253-24.633-.34-18.643.082-3.407 10.22-5.352 6.124-10.333 2.668-9.996-4.018-19.724-1.89-30.198-4.676-6.782 11.345-14.135 11.984-22.741-1.782-8.714-7.211 5.419-3.291-6.96.139-15.855-9.157 9.192-1.188-11.802 3-7.31 6.329-16.748-3.208-9.887.052-10.327 11.931-13.829 17.254-25.965 14.426-22.607 34.26-51.174 57.74-61.214-.695 6.13 15.48-9.201 12.507 1.444 9.448-10.082 17.987-9.288 30.758-8.656-3.892 6.021 5.55 2.74 7.129 5.808 3.373 8.016 9.406 1.372 11.672-3.472 5.987-6.302 18.449 6.893 28.807 2.76-4.753 9.289 8.974 6.205 5.959 14.22 6.997-3.022 1.262 1.042 2.907 4.153.514 3.214-6.348 6.533-5.23 14.039-1.627 5.073 4.716 4.644-.891 7.763 7.307-1.647 7.475 1.245 6.494 5.81 3.872 6.547-6.482 10.398-3.248 18.25-3.497 4.986-4.328-3.482-6.457 8.947 2.524-.57 8.474-4.449 6.328.168 3.736-.892.52 1.625 1.097 2.404-.088 1.903 2.867 4.813 1.203 6.906-4.652 3.259-.826 7.58-2.382 11.743-2.601 7.9-12.812 4.005-15.426.622-2.522-2-1.308-6.423-4.517-9.11-6.33-3.035-17.254-5.636-18.985.315-1.673 5.755-3.819 15.379-6.938 14.015-4.25-1.324-10.754-2.625-11.774-.19-1.966 11.669-6.296 20.77-14.245 31.194-1.478 4.114-6.845 4.611-6.296 8.89-.231 1.413-3.222 2.66-3.408 4.295 3.703 4.52-3.068 6.677 3.582 8.72 2.802.1.113 1.52.47 2.98 2.597 1.816 1.59 3.483.074 5.368-.368.556 3.604 2.527 1.163 3.447-5.671 2.326 1.61 6.831-3.281 10.21-.187.076.879 2.332.459 2.874-9.863 3.883-5.002 13.618-8.351 17.676-1.117.973-2.422 1.516-.173 2.813.877.99-4.171 6.67-.343 6.92 3.86 2.186-4.512 9.02 4.178 10.084-.284 3.24-7.863 7.127-3.235 9.424.009 2.285-.636 7.753-3.682 9.733-.028 5.12-.348 9.893-4.307 14.318 2.295 1.897 1.055 4.19 1.3 6.53 1.292 4.195 7.587-3.68 3.426 3.485-3.038 2.54 1.936 2.44-.57 6.184.336.755 1.027 1.089-1.546 2.62 6.554.157-1.784 2.898.247 7.607-2.703 5.548 3.638 14.207-3.527 16.105-2.552.649-.734 6.58 1.653 6.02-1.594 5.41-6.278 10.762-6.105 16.767 6.383 2.274-6.339 5.326.814 7.516.533 1.645-4.224.536-1.756 3.525-1.52 1.241-2.075 6.71-1.888 9.586.718 2.94-2.143 5.07-2.676 7.795 2.845 2.318 1.093 3.918-.37 7.209 4.857.898-2.674 2.758-.503 6.153 2.524 13.244-6.151 25.108-5.698 38.849-8.69-4.383-6.399-11.067-12.066-6.461-1.813-4.283 1.928-21.453-2.149-14.458-5.62 7.795 8.927-18.16 4.325-23.54-1.298-1.834 6.055-8.697.32-8.332-.469-4.115 3.38-8.382 4.48-12.462.706-21.975 3.26-9.71-23.3-2.903 6.472.162-1.858 8.758 2.484 9.264 1.674-.213 3.01.254 1.254 1.783-1.942 6.359.307 13.443-3.346 20.054.215 3.356 2.688 4.867-1.163 7.373-.772 6.046-2.505 11.714-2.556 18.858 1.345 8.998-8.831-2.96-12.11 3.897 3.526-8.854-5.926 1.736-.54-11.847 6.604-23.887-13.9.16-.66-14.61 3.866-2.17 3.419-19.318-1.26-10.703-.786-3.447 9.993-13.135-1.092-7.082-2.491-3.29 5.822-12.382-.948-5.427-.346-2.469-3.687-4.025.164-6.067-8.809 1.25-9.659.746-10.323 11.34-4.52 6.754 1.95 8.822-1.357 14.789 1.236 1.703 3.198.57 3.574 3.36.986 9.057.704 15.785-8.191 24.44-5.415.843-7.37-1.702-7.556-8.614-10.128 13.72 3.302-9.02-6.777.904 3.63-8.65 2.635-10.828-3.208-7.287 1.944-5.604 7.11-9.52 1.81-14.57.721-3.701 4.223-6.796 3.847-11.298 3.122-7.295 12.619-17.057-1.393-16.473zm-44.72-18.284-27.79-17.205c-2.464-1.404-4.033.203-5.466 1.913-9.418 14.609-39.243 32.673-62.632 8.956-11.047-9.59-11.893-12.976-16.718-7.38-13.805 18.678-35.068 26.581-49.515 17.122-12.218-7.193-23.107-14.142-30.75-20.495-1.677-1.385-2.645-1.031-3.748.475-18.421 32.02-40.155 35.407-53.458 21.49-7.121-6.906-13.54-14.537-20.23-21.887-3.536-4.99-4.468-9.287 3.004-10.939 4.097-.905 7.193-1.545 9.39 2 6.634 8.808 13.858 17.11 22.18 24.39 13.213 11.744 12.696-.44 26.042-17.04 3.777-6.075 17.232-16.895 30.295-6.212 15.069 10.58 37.837 29.115 42.961 21.862 8.049-8.365 11.247-14.655 16.328-18.338 15.054-10.914 23.24-6.869 35.777 6.475 7.386 6.182 17.57 13.847 26.281 10.72 4.731-1.697 7.848-7.975 14.552-17.253 2.611-4.835 14.936-11.515 24.465-5.804l33.921 20.18c13.943 6.757-4.404 15.413-14.888 6.97z"/></svg>';