potassco-benchmark-tool 2.1.1__tar.gz

potassco_benchmark_tool-2.1.1/.envrc

@@ -0,0 +1,3 @@
+if [[ -e .venv/bin/activate ]]; then
+    source .venv/bin/activate
+fi

potassco_benchmark_tool-2.1.1/.github/workflows/deploy.yml

@@ -0,0 +1,48 @@
+name: deploy to pypi
+
+on:
+  workflow_dispatch:
+  push:
+    tags:
+      - 'v[0-9]+.[0-9]+.[0-9]+'
+
+jobs:
+  test:
+    uses: ./.github/workflows/test.yml
+
+  deploy:
+    name: deploy
+    needs: test
+    permissions:
+      id-token: write
+    environment: release
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v5
+        with:
+          fetch-depth: 0
+
+      - uses: actions/setup-python@v6
+        with:
+          python-version: '3.10'
+
+      - name: install build dependencies
+        run: python3 -m pip install build
+
+      - name: build package
+        run: python3 -m build --sdist --wheel --outdir dist/
+
+      - name: upload package
+        uses: actions/upload-artifact@v4
+        with:
+          name: package
+          path: dist/
+      - name: publish package (pypi)
+        if: ${{ github.event_name == 'push' && startsWith(github.ref, 'refs/tags/v') }}
+        uses: pypa/gh-action-pypi-publish@release/v1
+
+      - name: publish package (test.pypi)
+        if: ${{ github.event_name == 'workflow_dispatch' }}
+        uses: pypa/gh-action-pypi-publish@release/v1
+        with:
+          repository-url: "https://test.pypi.org/legacy/"

potassco_benchmark_tool-2.1.1/.github/workflows/doc.yml

@@ -0,0 +1,51 @@
+name: Deploy Documentation
+on:
+  workflow_dispatch:
+  push:
+    tags:
+      - 'v[0-9]+.[0-9]+.[0-9]+'
+
+permissions:
+  contents: read
+  pages: write
+  id-token: write
+
+# Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued.
+# However, do NOT cancel in-progress runs as we want to allow these production deployments to complete.
+concurrency:
+  group: "pages"
+  cancel-in-progress: false
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+      - name: Set up Python 3.10
+        uses: actions/setup-python@v5
+        with:
+          python-version: '3.10'
+      - name: Install dependencies
+        run: |
+          python -m pip install --upgrade pip
+          python -m pip install -e .[doc]
+      - name: Build the documentation
+        run: mkdocs build
+      - name: Setup Pages
+        id: pages
+        uses: actions/configure-pages@v5
+      - name: Upload artifact
+        uses: actions/upload-pages-artifact@v3
+        with:
+          path: "./site"
+  deploy:
+    runs-on: ubuntu-latest
+    environment:
+      name: github-pages
+      url: ${{steps.deployment.outputs.page_url}}
+    needs: build
+    steps:
+      - name: Deploy to GitHub Pages
+        id: deployment
+        uses: actions/deploy-pages@v4

potassco_benchmark_tool-2.1.1/.github/workflows/test.yml

@@ -0,0 +1,37 @@
+name: Run CI Test
+
+on:
+  push:
+    branches: [main, master, wip]
+  pull_request:
+  workflow_call:
+
+env:
+  FORCE_COLOR: "3"
+
+jobs:
+  build:
+    name: test on ${{ matrix.os }}
+    runs-on: ${{ matrix.os }}
+    strategy:
+      fail-fast: false
+      matrix:
+        os: [ubuntu-latest]
+
+    steps:
+    - uses: actions/checkout@v4
+    - uses: actions/setup-python@v5
+      with:
+        python-version: |
+            3.10
+            3.14
+    
+    - name: install requirements
+      run: python -m pip install nox pre-commit
+
+    - name: run pre-commit
+      if: ${{ matrix.os == 'ubuntu-latest' }}
+      run: pre-commit run --all --show-diff-on-failure
+
+    - name: run tests
+      run: nox

potassco_benchmark_tool-2.1.1/.gitignore

@@ -0,0 +1,45 @@
+benchmarks/*
+programs/*
+resultparsers/*
+runscripts/*
+templates/*
+/test.*
+
+# Editors
+.vscode/
+*~
+\#*\#
+.\#*
+
+# Mac/OSX
+.DS_Store
+
+# Byte-compiled / optimized / DLL files
+__pycache__/
+*.py[cod]
+*$py.class
+
+# Installer logs
+pip-log.txt
+pip-delete-this-directory.txt
+
+# Unit test / coverage reports
+.pytest_cache/
+
+# pyenv
+.python-version
+.venv
+
+# mypy
+.mypy_cache/
+.dmypy.json
+dmypy.json
+*egg-info*
+
+# unclassified
+dist
+build
+.coverage
+_build
+_autosummary
+site

potassco_benchmark_tool-2.1.1/.pre-commit-config.yaml

@@ -0,0 +1,37 @@
+repos:
+  - repo: https://github.com/myint/autoflake
+    rev: v2.3.0
+    hooks:
+    - id: autoflake
+      args: ["--in-place",  "--imports=fillname", "--ignore-init-module-imports", "--remove-unused-variables"]
+      exclude: ^.github/
+
+  - repo: https://github.com/pre-commit/pre-commit-hooks
+    rev: v4.5.0
+    hooks:
+    - id: end-of-file-fixer
+    - id: trailing-whitespace
+      exclude: ^.github/
+      args:
+      - --markdown-linebreak-ext=md
+
+  - repo: https://github.com/pycqa/isort
+    rev: 5.13.2
+    hooks:
+      - id: isort
+        exclude: ^.github/
+
+  - repo: https://github.com/psf/black
+    rev: 24.2.0
+    hooks:
+    - id: black
+      exclude: ^.github/
+
+  - repo: https://github.com/executablebooks/mdformat
+    rev: 0.7.17
+    hooks:
+    - id: mdformat
+      args: ["--wrap", "79"]
+      exclude: ^docs/
+      additional_dependencies:
+      - mdformat-gfm

potassco_benchmark_tool-2.1.1/CONTRIBUTING.md

@@ -0,0 +1,26 @@
+# Contributing
+
+## How to get help or discuss possible contributions
+
+To avoid duplicating issues, please search our [issue tracker][issues] before
+filing a new issue.
+
+- Open an [issue][new_issue] describing your problem.
+
+## How to make a contribution
+
+- Fork the [benchmark-tool][project_url] repository and create a branch for
+  your changes.
+- Submit a pull request to the master branch with your changes.
+- Respond to feedback on your pull request.
+- If everything is fine your pull request is merged. 🥳
+
+## License
+
+When contributing to this project, you agree that you have authored 100% of the
+content, that you have the necessary rights to the content and that the content
+you contribute may be provided under the project license.
+
+[issues]: https://github.com/potassco/benchmark-tool/issues
+[new_issue]: https://github.com/potassco/benchmark-tool/issues/new
+[project_url]: https://github.com/potassco/benchmark-tool

potassco_benchmark_tool-2.1.1/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2025 Potassco
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

potassco_benchmark_tool-2.1.1/PKG-INFO

@@ -0,0 +1,112 @@
+Metadata-Version: 2.4
+Name: potassco-benchmark-tool
+Version: 2.1.1
+Summary: A benchmark-tool for ASP based systems.
+Author: Roland Kaminski, Tom Schmidt
+License: MIT License
+        
+        Copyright (c) 2025 Potassco
+        
+        Permission is hereby granted, free of charge, to any person obtaining a copy
+        of this software and associated documentation files (the "Software"), to deal
+        in the Software without restriction, including without limitation the rights
+        to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+        copies of the Software, and to permit persons to whom the Software is
+        furnished to do so, subject to the following conditions:
+        
+        The above copyright notice and this permission notice shall be included in all
+        copies or substantial portions of the Software.
+        
+        THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+        IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+        FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+        AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+        LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+        OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+        SOFTWARE.
+        
+Project-URL: Homepage, https://potassco.org
+Project-URL: Repository, https://github.com/potassco/benchmark-tool
+Project-URL: Documentation, https://potassco.org/benchmark-tool/
+Keywords: benchmarking,benchmarks,Potassco
+Requires-Python: >=3.10
+Description-Content-Type: text/markdown
+License-File: LICENSE
+Requires-Dist: lxml
+Requires-Dist: pandas
+Requires-Dist: odswriter
+Requires-Dist: pyarrow
+Requires-Dist: nbformat
+Provides-Extra: format
+Requires-Dist: black; extra == "format"
+Requires-Dist: isort; extra == "format"
+Requires-Dist: autoflake; extra == "format"
+Provides-Extra: lint-pylint
+Requires-Dist: pylint; extra == "lint-pylint"
+Provides-Extra: typecheck
+Requires-Dist: types-setuptools; extra == "typecheck"
+Requires-Dist: mypy; extra == "typecheck"
+Provides-Extra: test
+Requires-Dist: coverage[toml]; extra == "test"
+Provides-Extra: doc
+Requires-Dist: mkdocs; extra == "doc"
+Requires-Dist: mkdocs-material; extra == "doc"
+Requires-Dist: mkdocstrings[python]; extra == "doc"
+Provides-Extra: dev
+Requires-Dist: benchmarktool[lint_pylint,test,typecheck]; extra == "dev"
+Provides-Extra: plot
+Requires-Dist: plotly; extra == "plot"
+Requires-Dist: ipywidgets; extra == "plot"
+Requires-Dist: anywidget; extra == "plot"
+Requires-Dist: jupyter; extra == "plot"
+Dynamic: license-file
+
+# benchmarktool
+
+A tool to easier generate, run and evaluate benchmarks.
+
+## Installation
+
+The `setuptools` package is required to run the commands below. We recommend
+the usage of conda, which already includes `setuptools` in its default python
+installation. Any python version newer than 3.10 is supported.
+
+```bash
+$ git clone https://github.com/potassco/benchmark-tool
+$ cd benchmark-tool
+$ conda create -n <env-name> python=3.10
+$ conda activate <env-name>
+$ pip install .
+```
+
+The documentation can be accessed [here](https://potassco.org/benchmark-tool/)
+or build and hosted using:
+
+```bash
+$ pip install .[doc]
+$ mkdocs serve
+```
+
+And afterwards accessed at `http://localhost:8000/systems/benchmark-tool/`.
+
+## Usage
+
+You can check a successful installation by running
+
+```bash
+$ btool -h
+```
+
+Supported subcommands in order of use:
+
+- `init` Prepare the benchmark environment
+- `gen` Generate scripts from runscript
+- `run-dist` Run distributed jobs
+- `verify` Check for runlim errors and re-run failed instances
+- `eval` Collect results
+- `conv` Convert results to ODS or other formats
+
+For more information and examples check the documentation.
+
+> **_NOTE:_** This project is still in active development. If you encounter any
+> bugs, have ideas for improvement or feature requests, please open an issue.

potassco_benchmark_tool-2.1.1/README.md

@@ -0,0 +1,49 @@
+# benchmarktool
+
+A tool to easier generate, run and evaluate benchmarks.
+
+## Installation
+
+The `setuptools` package is required to run the commands below. We recommend
+the usage of conda, which already includes `setuptools` in its default python
+installation. Any python version newer than 3.10 is supported.
+
+```bash
+$ git clone https://github.com/potassco/benchmark-tool
+$ cd benchmark-tool
+$ conda create -n <env-name> python=3.10
+$ conda activate <env-name>
+$ pip install .
+```
+
+The documentation can be accessed [here](https://potassco.org/benchmark-tool/)
+or build and hosted using:
+
+```bash
+$ pip install .[doc]
+$ mkdocs serve
+```
+
+And afterwards accessed at `http://localhost:8000/systems/benchmark-tool/`.
+
+## Usage
+
+You can check a successful installation by running
+
+```bash
+$ btool -h
+```
+
+Supported subcommands in order of use:
+
+- `init` Prepare the benchmark environment
+- `gen` Generate scripts from runscript
+- `run-dist` Run distributed jobs
+- `verify` Check for runlim errors and re-run failed instances
+- `eval` Collect results
+- `conv` Convert results to ODS or other formats
+
+For more information and examples check the documentation.
+
+> **_NOTE:_** This project is still in active development. If you encounter any
+> bugs, have ideas for improvement or feature requests, please open an issue.

potassco_benchmark_tool-2.1.1/docs/_custom/css/extra.css

@@ -0,0 +1,30 @@
+:root {
+    --md-primary-fg-color: #6495ED;
+}
+
+[data-md-color-scheme="slate"] .md-header,
+[data-md-color-scheme="slate"] .md-tabs {
+    --md-primary-fg-color: #253758;
+}
+
+.md-grid {
+    max-width: 1350px;
+}
+
+.md-header__title {
+    font-size: 1.2rem;
+    height: 2.5rem;
+    line-height: 2.5rem;
+    margin-left: 0 !important;
+}
+
+.md-header__button.md-logo {
+    /* margin-left: 30; */
+    padding-bottom: 0.8rem;
+}
+
+.md-header__button.md-logo img,
+.md-header__button.md-logo svg {
+    height: 1.5rem;
+    width: 1.5rem;
+}

potassco_benchmark_tool-2.1.1/docs/_custom/css/mkdoclingo.css

@@ -0,0 +1,49 @@
+code.doc-clingo-symbol-encoding::after {
+    content: "ASP";
+    color: var(--md-primary-fg-color);
+}
+
+
+code.doc-clingo-symbol-predicate::after {
+    content: "predicate";
+    color: #ca91bf
+}
+
+
+:root {
+    --md-admonition-icon--asp-doc: url('data:image/svg+xml;charset=utf-8,<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M13.59 7.41 9 12l4.59 4.6L15 15.18 11.82 12 15 8.82M19 3a2 2 0 0 1 2 2v14a2 2 0 0 1-2 2H5a2 2 0 0 1-2-2V5a2 2 0 0 1 2-2z"/></svg>');
+    --md-admonition-icon--asp-doc-ref: url('data:image/svg+xml;charset=utf-8,<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M15 7h5.5L15 1.5zM8 0h8l6 6v12a2 2 0 0 1-2 2H8a2 2 0 0 1-2-2V2a2 2 0 0 1 2-2M4 4v18h16v2H4a2 2 0 0 1-2-2V4z"/></svg>')
+}
+
+.md-typeset .admonition.asp-doc,
+.md-typeset details.asp-doc {
+    border-color: var(--md-primary-fg-color);
+}
+
+.md-typeset .admonition.asp-doc-ref,
+.md-typeset details.asp-doc-ref {
+    border-color: #ca91bf;
+}
+
+.md-typeset .asp-doc>.admonition-title,
+.md-typeset .asp-doc>summary {
+    background-color: #1669B810;
+}
+
+.md-typeset .asp-doc-ref>.admonition-title,
+.md-typeset .asp-doc-ref>summary {
+    background-color: #ca91bf10;
+}
+
+.md-typeset .asp-doc>.admonition-title::before,
+.md-typeset .asp-doc>summary::before {
+    background-color: var(--md-primary-fg-color);
+    -webkit-mask-image: var(--md-admonition-icon--asp-doc);
+    mask-image: var(--md-admonition-icon--asp-doc);
+}
+
+.md-typeset .asp-doc-ref>summary::before {
+    background-color: #ca91bf;
+    -webkit-mask-image: var(--md-admonition-icon--asp-doc-ref);
+    mask-image: var(--md-admonition-icon--asp-doc-ref);
+}

potassco_benchmark_tool-2.1.1/docs/_custom/css/mkdocstrings.css

@@ -0,0 +1,50 @@
+code.doc-section-title {
+    font-weight: bold;
+}
+
+code.doc-symbol-parameter::after {
+    content: "P";
+}
+
+code.doc-symbol-attribute::after {
+    content: "A";
+}
+
+code.doc-symbol-function::after {
+    content: "F";
+}
+
+code.doc-symbol-method::after {
+    content: "M";
+}
+
+code.doc-symbol-class::after {
+    content: "C";
+}
+
+code.doc-symbol-module::after {
+    content: "M";
+}
+
+:root {
+    --doc-symbol-parameter-fg-color: #df50af;
+    --doc-symbol-attribute-fg-color: #0079ff;
+    --doc-symbol-function-fg-color: #00dfa2;
+    --doc-symbol-method-fg-color: #00dfa2;
+    --doc-symbol-class-fg-color: #d1b619;
+    --doc-symbol-module-fg-color: #ff0060;
+
+    --doc-symbol-parameter-bg-color: #df50af1a;
+    --doc-symbol-attribute-bg-color: #0079ff1a;
+    --doc-symbol-function-bg-color: #00dfa21a;
+    --doc-symbol-method-bg-color: #00dfa21a;
+    --doc-symbol-class-bg-color: #d1b6191a;
+    --doc-symbol-module-bg-color: #ff00601a;
+}
+
+
+.cssClass>rect {
+    fill: #ff0000;
+    stroke: #ffff00;
+    stroke-width: 4px;
+}

potassco_benchmark_tool-2.1.1/docs/_custom/javascripts/mathjax.js

@@ -0,0 +1,19 @@
+window.MathJax = {
+    tex: {
+        inlineMath: [["\\(", "\\)"]],
+        displayMath: [["\\[", "\\]"]],
+        processEscapes: true,
+        processEnvironments: true
+    },
+    options: {
+        ignoreHtmlClass: ".*|",
+        processHtmlClass: "arithmatex"
+    }
+};
+
+document$.subscribe(() => {
+    MathJax.startup.output.clearCache()
+    MathJax.typesetClear()
+    MathJax.texReset()
+    MathJax.typesetPromise()
+})

potassco_benchmark_tool-2.1.1/docs/_custom/overrides/.icons/potassco-full-logo.svg

@@ -0,0 +1,3 @@
+<svg width="2489" height="559" viewBox="0 0 2489 559" fill="none" xmlns="http://www.w3.org/2000/svg">
+<path fill-rule="evenodd" clip-rule="evenodd" d="M258.022 0.512101C246.977 1.11576 239.052 2.22802 222.87 5.44384C214.976 7.01224 208.127 8.63373 202.21 10.3348C201.192 10.6274 198.972 11.2669 197.276 11.7563C192.156 13.234 178.351 18.0929 175.262 19.5045C173.67 20.2323 172.188 20.8279 171.97 20.8279C171.752 20.8279 169.775 21.6612 167.576 22.6796C165.378 23.6981 163.424 24.5313 163.235 24.5313C162.612 24.5313 144.806 33.6109 142.196 35.2595C140.789 36.149 139.503 36.8761 139.339 36.8761C138.063 36.8761 119.953 48.8104 110.936 55.5932C94.539 67.9269 75.5571 86.0867 63.7569 100.727C61.8913 103.042 60.0874 105.246 59.7482 105.625C58.9681 106.499 55.8148 110.56 54.1978 112.775C53.5194 113.704 50.0109 118.88 46.4006 124.278C40.6677 132.849 38.9427 135.638 35.7518 141.498C35.3818 142.177 34.9112 142.871 34.7052 143.041C34.3149 143.363 25.6771 160.979 22.7502 167.422C20.8631 171.577 15.9817 184.014 14.7557 187.791C14.3148 189.149 13.196 192.76 12.2697 195.815C11.3434 198.87 10.3561 202.065 10.0761 202.913C9.13311 205.772 5.82134 220.036 4.63047 226.368C2.60702 237.126 2.10748 240.862 0.70877 255.687C-0.232339 265.659 -0.237272 291.467 0.700136 301.363C1.76705 312.634 2.63909 320.141 3.31686 323.892C5.27864 334.752 8.30548 348.387 10.0311 354.137C12.7175 363.09 14.3493 368.211 15.6376 371.728C16.3838 373.765 17.1492 375.987 17.3379 376.666C17.5266 377.345 17.8825 378.178 18.1285 378.518C18.3746 378.857 18.9247 380.246 19.3509 381.604C19.777 382.962 20.675 385.323 21.3466 386.85C22.0175 388.378 22.9944 390.6 23.5168 391.788C25.8171 397.021 33.7129 412.795 35.721 416.169C36.9328 418.206 38.0799 420.359 38.2699 420.953C38.4598 421.547 38.8607 422.033 39.1604 422.033C39.4595 422.033 39.705 422.342 39.705 422.72C39.705 423.634 50.2557 439.514 55.203 446.046C65.2469 459.307 69.4239 464.122 80.695 475.428C92.2849 487.054 98.6069 492.619 109.465 500.749C113.835 504.021 115.615 504.743 119.315 504.743C124.972 504.743 129.464 501.211 130.96 495.587C132.423 490.085 130.405 485.496 124.567 481.052C117.034 475.318 108.686 468.14 101.153 460.919C96.6476 456.601 87.8779 447.02 81.2531 439.18C74.5735 431.274 64.6191 416.686 57.3393 404.133C55.4028 400.794 47.15 384.246 45.9313 381.258C45.4552 380.09 44.5702 378.024 43.9646 376.666C43.3584 375.308 41.9054 371.558 40.7343 368.333C39.5637 365.108 38.0182 360.855 37.2998 358.883C36.5819 356.911 35.7419 354.272 35.4336 353.02C35.1258 351.767 34.2816 348.798 33.5575 346.421C30.9642 337.906 27.5612 320.668 26.1255 308.77C21.4489 270.027 25.8924 231.128 39.3621 192.886C40.886 188.56 42.7904 183.56 43.5946 181.776C44.3988 179.992 45.4478 177.568 45.927 176.389C48.7744 169.379 61.8062 145.037 64.1368 142.375C64.6061 141.839 64.9903 141.203 64.9903 140.962C64.9903 140.542 67.3986 136.897 68.1023 136.252C68.2873 136.082 70.3046 133.304 72.5858 130.079C81.3425 117.697 86.7209 111.396 99.207 98.8938C111.729 86.3558 117.211 81.6561 130.289 72.247C133.213 70.1434 135.94 68.13 136.349 67.772C136.759 67.414 137.247 67.1208 137.435 67.1208C137.622 67.1208 139.157 66.1486 140.846 64.9605C142.536 63.7723 144.079 62.8001 144.275 62.8001C144.472 62.8001 145.843 61.9669 147.322 60.9484C148.801 59.93 150.308 59.0967 150.671 59.0967C151.034 59.0967 151.333 58.8881 151.335 58.6338C151.338 58.3795 151.963 57.8696 152.723 57.5011C153.484 57.1333 157.852 54.9007 162.431 52.541C167.011 50.1807 172.561 47.4722 174.766 46.5211C176.971 45.5705 179.607 44.4218 180.625 43.9688C186.443 41.3776 203.049 35.5879 208.994 34.0775C210.689 33.6461 214.714 32.6159 217.936 31.7876C223.361 30.3932 226.816 29.6168 233.971 28.186C236.915 27.5965 242.522 26.8379 253.089 25.5991C261.612 24.5998 295.748 24.5992 304.276 25.5985C321.775 27.649 331.982 29.6093 348.217 34.0405C353.161 35.3898 368.205 40.4974 371.24 41.8566C372.624 42.4769 375.173 43.5429 376.906 44.2262C378.637 44.9095 382.5 46.6186 385.49 48.0234C388.479 49.4289 391.896 51.0226 393.083 51.5651C394.27 52.1077 395.381 52.7046 395.55 52.8922C395.72 53.0798 397.662 54.1736 399.867 55.3229C407.206 59.1485 421.923 68.4516 427.735 72.9395C428.647 73.6432 430.728 75.1844 432.361 76.3646C439.213 81.3185 449.303 90.1493 458.044 98.8444C464.511 105.276 473.858 115.578 475.493 118.076C476.738 119.978 482.424 122.672 485.193 122.672C489.467 122.672 494.169 119.67 496.537 115.428C496.962 114.669 497.307 112.308 497.306 110.182C497.303 105.246 496.485 103.811 488.959 95.5354C487.25 93.6565 483.781 89.7802 481.25 86.9218C477.454 82.6345 463.172 69.2534 457.151 64.3432C456.319 63.6643 454.121 61.852 452.267 60.3164C444.662 54.0168 421.28 38.1106 419.624 38.1106C419.273 38.1106 418.983 37.9019 418.98 37.6476C418.978 37.3933 418.353 36.8792 417.593 36.5051C416.832 36.1311 411.354 33.3369 405.418 30.2945C399.482 27.2527 393.099 24.1252 391.233 23.3438C389.368 22.563 386.691 21.4056 385.286 20.773C381.183 18.9256 365.409 13.3062 359.472 11.5767C343.448 6.90916 334.197 4.94696 312.91 1.69967C302.065 0.0454682 276.628 -0.505108 258.022 0.512101ZM547.143 127.935C546.964 128.114 544.213 128.926 541.027 129.738C537.843 130.551 533.571 131.676 531.536 132.239C529.501 132.802 525.893 133.78 523.519 134.413C517.884 135.915 512.952 137.252 508.563 138.47C506.613 139.011 503.491 139.819 501.625 140.264C499.76 140.709 496.707 141.498 494.841 142.017C492.976 142.536 489.784 143.42 487.749 143.981C485.714 144.541 483.216 145.231 482.199 145.513C481.181 145.796 477.712 146.723 474.49 147.574C460.823 151.181 458.212 152.869 454.966 160.187C453.258 164.04 453.113 168.021 454.496 173.101C455.031 175.07 456.123 179.18 456.921 182.236C457.719 185.291 458.807 189.388 459.339 191.34C461.542 199.43 462.329 202.371 464.337 210.012C465.498 214.425 467.025 220.119 467.731 222.665C468.437 225.211 469.531 229.239 470.162 231.615C470.793 233.991 471.766 237.602 472.325 239.639C472.883 241.676 473.9 245.564 474.584 248.28C477.121 258.362 479.833 261.847 487.43 264.791C490.884 266.13 494.336 266.161 498.974 264.896C500.941 264.361 505.048 263.269 508.101 262.471C511.154 261.674 515.733 260.445 518.277 259.742C520.821 259.039 525.955 257.651 529.686 256.657C533.417 255.664 538.135 254.395 540.17 253.836C542.205 253.278 546.923 252.028 550.654 251.058C554.385 250.088 559.103 248.836 561.138 248.275C563.174 247.715 567.336 246.605 570.389 245.809C573.442 245.013 577.222 243.962 578.789 243.474C581.655 242.58 587.349 239.061 587.349 238.183C587.349 237.924 587.88 237.14 588.53 236.442C591.702 233.035 592.431 225.888 590.376 218.344C589.682 215.798 588.697 212.187 588.186 210.32C587.676 208.453 586.296 203.176 585.119 198.593C583.942 194.01 582.45 188.454 581.803 186.248C581.156 184.041 579.782 179.042 578.75 175.138C577.718 171.234 576.289 165.956 575.575 163.41C574.861 160.864 573.909 157.253 573.46 155.386C571.992 149.292 570.221 142.799 569.082 139.338C567.616 134.884 562.976 130.1 558.71 128.645C555.898 127.685 547.883 127.194 547.143 127.935ZM170.72 148.546C167.789 149.266 163.246 151.716 161.571 153.479C160.736 154.358 159.339 156.506 158.467 158.253L156.881 161.429V207.768V254.108L158.377 257.366C160.101 261.121 162.795 263.886 166.748 265.959L169.524 267.415L215.161 267.587C268.211 267.787 264.843 268.123 271.034 262.023C275.9 257.228 275.599 260.801 275.599 207.827V160.584L273.476 157.079C271.444 153.723 268.483 151.12 264.498 149.186C262.937 148.428 255.614 148.272 217.628 148.185C192.866 148.128 171.758 148.291 170.72 148.546ZM316.302 148.546C312.973 149.133 310.234 150.657 307.382 153.512C304.761 156.135 303.513 158.533 302.487 162.912C301.573 166.817 301.548 249.721 302.46 253.218C303.56 257.438 305.656 260.963 308.522 263.414C313.774 267.908 312.13 267.783 363.205 267.588L408.81 267.415L411.585 265.938C415.267 263.979 418.441 260.674 420.112 257.059L421.475 254.11L421.309 207.371C421.157 164.283 421.059 160.463 420.064 158.465C418.314 154.953 415.212 151.86 411.585 150.014L408.193 148.288L363.481 148.199C338.889 148.151 317.659 148.306 316.302 148.546ZM546.998 156.921C549.35 158.716 550.64 160.864 551.506 164.425C551.824 165.734 552.667 168.888 553.38 171.434C554.093 173.98 555.766 180.23 557.099 185.322C559.384 194.058 560.761 199.174 562.163 204.148C564.126 211.116 564.702 215.338 564.004 217.668C562.492 222.719 560.136 224.13 547.879 227.325C544.317 228.253 538.576 229.81 535.12 230.784C529.254 232.437 520.564 234.73 509.649 237.506C504.038 238.932 501.279 238.596 498.276 236.119C495.268 233.637 494.539 232.034 492.087 222.51C490.928 218.012 489.548 212.735 489.019 210.783C486.593 201.829 486.064 199.862 484.987 195.815C484.355 193.439 483.364 189.828 482.786 187.791C482.207 185.754 481.445 182.527 481.091 180.619C480.507 177.465 480.584 176.877 481.94 174.139C483.615 170.759 486.241 168.727 490.087 167.835C491.515 167.504 494.764 166.651 497.308 165.939C499.852 165.228 505.541 163.676 509.951 162.49C514.361 161.303 520.05 159.749 522.594 159.034C525.138 158.319 528.884 157.33 530.919 156.836C532.955 156.342 535.452 155.687 536.47 155.381C539.711 154.406 544.649 155.128 546.998 156.921ZM795.799 178.85C791.22 179.136 783.172 179.684 777.914 180.066C753.923 181.811 742.357 181.938 691.113 181.025L675.543 180.747L674.616 182.541C673.452 184.793 673.362 194.51 674.483 196.741C675.091 197.949 675.791 198.315 677.712 198.426C683.062 198.736 693.345 199.96 697.433 200.773C715.094 204.287 719.576 210.247 721.167 232.336C721.989 243.75 721.995 461.973 721.174 473.377C720.58 481.614 719.959 484.906 717.715 491.709C715.546 498.284 709.417 502.547 698.974 504.747C694.409 505.71 682.092 507.183 678.485 507.199C675.888 507.211 675.468 507.41 674.63 509.033C673.334 511.542 673.344 520.801 674.645 523.32L675.601 525.17L692.992 524.679C715.4 524.044 776.956 524.045 802.036 524.68L821.531 525.173L822.677 522.828C824.065 519.986 824.167 513.618 822.881 509.99L822.007 507.521L817.691 507.109C796.483 505.085 786.84 503.183 780.478 499.771C772.73 495.615 769.459 488.181 767.729 470.795C766.4 457.44 766.394 369.568 767.722 369.568C768.222 369.568 770.789 370.1 773.427 370.752C784.02 373.366 786.776 373.58 809.983 373.58C832.084 373.58 833.318 373.5 844.519 371.345C849.824 370.324 861.746 367.264 865.488 365.962C874.187 362.935 886.467 356.748 893.548 351.823C912.894 338.37 929.445 310.937 933.862 285.006C936.031 272.274 936.278 265.513 934.899 256.559C932.237 239.271 926.083 226.017 914.108 211.785C906.531 202.781 900.436 198.146 888.615 192.401C877.17 186.84 865.604 183.155 853.153 181.104C849.931 180.574 845.491 179.833 843.286 179.458C838.114 178.579 806.587 178.174 795.799 178.85ZM830.335 197.742C845.704 200.147 858.96 206.351 868.226 215.475C877.932 225.033 883.554 239.572 885.209 259.391C886.542 275.364 885.664 293.836 883.082 304.14C878.386 322.884 871.909 332.896 857.432 343.789C853.414 346.812 842.54 351.241 834.438 353.153C824.437 355.514 822.168 355.68 800.424 355.641C780.731 355.606 775.324 355.294 768.182 353.784L766.775 353.486L766.961 288.847C767.164 217.734 766.948 221.798 770.95 213.618C773.691 208.015 780.149 202.815 788.076 199.826C796.998 196.462 816.127 195.518 830.335 197.742ZM1278.69 215.697C1278.18 215.885 1273.88 217.907 1269.13 220.19C1259.97 224.593 1255.99 226.203 1250.01 227.92C1245.6 229.186 1241.33 231.515 1240.47 233.122C1240.06 233.899 1240.06 238.01 1240.48 245.601C1240.83 251.828 1241.17 265.671 1241.24 276.365L1241.38 295.808L1227.19 296.116C1213.78 296.408 1212.9 296.5 1211.08 297.798C1208.2 299.854 1207.7 301.742 1207.9 309.721L1208.07 316.794L1224.86 316.958L1241.65 317.122L1241.86 405.223C1242.04 483.056 1242.18 493.728 1243.03 496.793C1246.18 508.046 1248.79 513.093 1254.39 518.727C1262.92 527.316 1274.18 530.354 1290.71 528.525C1313.54 525.999 1330.71 517.382 1348.83 499.363C1351.63 496.573 1353.93 493.854 1353.93 493.32C1353.93 491.424 1351.38 487.394 1349.43 486.204C1346.4 484.356 1344.52 484.681 1339.9 487.855C1336.39 490.266 1332.26 492.407 1325.25 495.454C1319.34 498.021 1303.71 500.422 1299.17 499.463C1298.25 499.269 1296.87 498.982 1296.09 498.825C1292.09 498.009 1287.5 491.207 1286.09 483.995C1283.82 472.354 1283.66 466.459 1283.64 391.017L1283.62 317.102H1313.61C1345.44 317.102 1347.13 316.965 1349.74 314.186C1351 312.847 1351.17 311.959 1351.36 305.92C1351.53 300.48 1351.38 298.857 1350.58 297.635L1349.58 296.116H1316.6H1283.62L1283.62 274.05C1283.61 253.287 1284.36 232.012 1285.39 223.54C1285.87 219.515 1285.4 216.599 1284.11 215.783C1283.22 215.22 1280.11 215.17 1278.69 215.697ZM1049.58 291.52C1041.01 292.364 1033.79 293.634 1028.3 295.261C1014.96 299.215 1001.76 306.177 992.233 314.273C972.992 330.632 960.302 350.892 954.118 375.123C950.231 390.35 949.67 395.223 949.67 413.7C949.67 432.738 949.925 434.765 954.359 450.923C959.124 468.29 969.763 486.281 983.274 499.824C991.892 508.461 999.627 514.048 1009.19 518.542C1015.85 521.672 1024.55 524.724 1029.53 525.68C1047.27 529.084 1057.85 529.801 1071.47 528.525C1084.74 527.283 1091.18 526.095 1099.71 523.324C1110.12 519.938 1124.75 511.855 1132.28 505.328C1144.09 495.088 1152.86 483.95 1159.71 470.486C1167.41 455.357 1170.45 443.606 1172.39 421.505C1173.3 411.064 1173.3 409.297 1172.38 398.976C1170.87 382.183 1169.67 375.747 1165.8 363.704C1160.37 346.819 1153.62 335.387 1142.27 323.846C1129.3 310.663 1115.75 302.007 1099.63 296.613C1091.05 293.741 1085.87 292.746 1073.01 291.503C1062.23 290.461 1060.3 290.462 1049.58 291.52ZM1468.33 291.484C1455.87 292.854 1446.91 294.936 1439.34 298.215C1438.32 298.656 1436.52 299.393 1435.33 299.852C1433.24 300.662 1428.34 303.155 1423.31 305.977C1414.05 311.168 1404.82 319.357 1397.2 329.139C1394.31 332.851 1390.93 344.165 1390.94 350.069C1390.96 360.308 1395.4 366.84 1403.36 368.352C1416.15 370.779 1428.58 365.741 1433.22 356.253C1434.73 353.175 1434.85 352.443 1434.48 348.406C1434.25 345.957 1433.67 342.841 1433.19 341.483C1431.85 337.74 1431.98 327.322 1433.4 324.201C1436.39 317.655 1446.05 312.486 1460.35 309.784C1465.74 308.767 1480.52 308.892 1484.67 309.991C1493.72 312.387 1502.09 318.923 1507.08 327.486C1509.49 331.628 1513.11 341.704 1514.21 347.347C1514.57 349.214 1515.17 352.27 1515.54 354.137C1515.9 356.004 1516.37 362.711 1516.56 369.041L1516.93 380.549L1515.44 382.038C1514.27 383.206 1511.57 384.097 1502.86 386.186C1496.76 387.648 1489.27 389.514 1486.21 390.331C1483.16 391.148 1479.14 392.113 1477.27 392.474C1475.4 392.835 1472.35 393.541 1470.49 394.043C1468.62 394.544 1465.57 395.362 1463.7 395.858C1459.19 397.059 1444.37 402.131 1440.88 403.668C1412.29 416.269 1394.74 430.577 1386.39 448.088C1381.24 458.88 1379.75 471.379 1382.01 484.683C1384.71 500.522 1390.34 509.678 1402.97 518.79C1406.14 521.075 1414.13 524.352 1419.89 525.735C1437.37 529.926 1452.17 530.177 1466.79 526.529C1473.73 524.795 1485.78 520.006 1489.66 517.431C1490.97 516.563 1492.21 515.853 1492.42 515.853C1492.87 515.853 1499.18 511.759 1501.4 510.022C1502.29 509.325 1503.8 508.2 1504.75 507.521C1506.39 506.348 1508.52 504.671 1513.87 500.322C1516.67 498.053 1516.79 498.158 1518.26 504.195C1520.53 513.573 1526.93 523.029 1532.66 525.484C1543.85 530.281 1560.16 530.282 1577.18 525.489C1584.7 523.369 1593.37 518.35 1600.12 512.21C1602.9 509.678 1603.07 509.341 1602.7 507.272C1602.05 503.596 1600.09 499.89 1597.43 497.308C1594.71 494.667 1593.78 494.37 1592.61 495.774C1592.2 496.273 1590.01 497.74 1587.76 499.033C1581.2 502.789 1576.15 503.937 1571.03 502.838C1566.42 501.848 1563.51 498.798 1561.88 493.233C1559.04 483.574 1559.1 484.871 1558.73 422.342C1558.53 389.412 1558.17 362.171 1557.94 361.807C1557.7 361.442 1557.22 359.081 1556.87 356.56C1555.82 348.908 1555.08 345.639 1552.71 338.173C1551.27 333.603 1547.01 324.362 1546.19 323.995C1545.93 323.882 1545.73 323.548 1545.73 323.254C1545.73 322.511 1542.68 318.109 1539.14 313.742C1535.58 309.349 1526.65 302.418 1521.11 299.74C1510.79 294.76 1503.54 292.88 1489.3 291.483C1478.8 290.454 1477.68 290.454 1468.33 291.484ZM1701.45 291.498C1697.72 291.926 1692.58 292.755 1690.04 293.34C1687.49 293.925 1684.78 294.545 1684.02 294.716C1683.25 294.889 1682.47 295.274 1682.28 295.573C1682.1 295.872 1681.51 296.116 1680.98 296.116C1679.01 296.116 1662.48 304.763 1661.05 306.541C1660.88 306.752 1659.68 307.717 1658.39 308.684C1654.46 311.618 1647.75 318.573 1645.08 322.493C1638.33 332.393 1635.67 343.91 1636.95 357.734C1639.25 382.557 1646.44 394.842 1666.39 408.007C1672.56 412.076 1684 418.107 1691.27 421.118C1693.48 422.031 1696.39 423.274 1697.75 423.879C1699.1 424.485 1701.74 425.619 1703.61 426.398C1711.11 429.536 1725.23 437.076 1731.05 441.05C1741.98 448.524 1746.5 455.856 1748.65 469.627C1750.06 478.633 1747.08 489.419 1741.32 496.171C1737.62 500.517 1728.23 506.355 1720.87 508.881C1717.8 509.938 1707.29 511.533 1703.41 511.533C1698.31 511.533 1687.04 509.785 1682.95 508.356C1669.43 503.648 1662.04 495.746 1655.03 478.51C1651.22 469.154 1649.1 462.437 1646.43 451.174C1646.25 450.397 1645.31 449.355 1644.35 448.859C1641.93 447.603 1633.96 447.662 1631.25 448.957C1629.3 449.886 1629.16 450.138 1629.35 452.506C1630.85 471.787 1631.99 490.087 1632.78 507.416L1633.53 523.977L1635.11 523.555C1635.98 523.323 1640.58 523 1645.33 522.838C1652.61 522.589 1654.68 522.734 1658.58 523.768C1661.13 524.442 1664.46 525.171 1665.99 525.39C1667.51 525.608 1670.01 526.031 1671.54 526.33C1682.21 528.422 1702.65 529.636 1712.49 528.763C1729.09 527.288 1744.84 522.85 1757.88 515.977C1774.11 507.413 1785.35 492.136 1788.64 474.153C1789.63 468.78 1789.5 454.658 1788.43 449.5C1787.53 445.226 1784.59 436.437 1783.16 433.75C1778.77 425.552 1769.71 415.424 1760.96 408.948C1755.62 404.996 1746.53 399.702 1740.3 396.914C1737.93 395.852 1734.68 394.403 1733.09 393.694C1731.49 392.986 1729.82 392.406 1729.36 392.406C1728.9 392.406 1728.26 392.161 1727.93 391.863C1727.61 391.564 1726.24 390.969 1724.88 390.539C1723.52 390.109 1720.98 389.104 1719.22 388.304C1717.46 387.505 1715.86 386.85 1715.66 386.85C1714.86 386.85 1697.3 378.462 1693.43 376.227C1680.69 368.875 1675.65 360.711 1674.83 346.113C1674.62 342.35 1674.76 338.127 1675.15 336.046C1676.96 326.433 1683.65 318.273 1693.87 313.234C1701.12 309.655 1704.68 308.914 1713.16 309.215C1721.28 309.503 1725.05 310.518 1733.75 314.746C1738.73 317.171 1741.12 318.782 1744.03 321.671C1748.38 325.997 1749.39 327.401 1752.8 333.768C1755.73 339.25 1760.34 353.513 1760.34 357.081C1760.34 358.768 1763.49 359.745 1768.95 359.757C1772.75 359.765 1774.46 359.488 1775.95 358.617L1777.92 357.467L1778.36 350.71C1779.99 325.649 1781.27 301.423 1780.97 301.122C1780.82 300.978 1779.52 300.652 1778.08 300.398C1768.75 298.757 1764.28 297.903 1759.11 296.765C1746.75 294.049 1733.78 292.155 1720.9 291.186C1711.23 290.457 1710.41 290.47 1701.45 291.498ZM1908.35 291.501C1889.26 293.832 1877.33 298.849 1862.63 310.733C1854.82 317.051 1847.53 328.045 1845.2 337.037C1843.01 345.457 1843.48 363.805 1846.11 372.917C1848.37 380.776 1851.12 386.965 1854.07 390.862C1855.33 392.516 1865.78 402.965 1867.36 404.133C1874.9 409.74 1889.12 417.511 1900.03 421.987C1905.06 424.05 1905.87 424.4 1912.36 427.292C1923.91 432.436 1934.61 438.336 1940.44 442.774C1950.74 450.615 1955.22 459.921 1955.29 473.621C1955.33 482.058 1954.95 484.257 1952.59 489.202C1947.46 499.982 1934.82 508.098 1919.31 510.574C1911.79 511.773 1909.14 511.773 1900.31 510.57C1881.72 508.037 1872.12 500.912 1864.07 483.689C1860.51 476.069 1856.36 463.884 1853.8 453.546C1853.26 451.357 1852.75 449.551 1852.68 449.533C1852.6 449.515 1851.92 449.153 1851.16 448.729C1849.23 447.648 1840.98 447.748 1838.26 448.885L1836.04 449.812L1836.42 454.903C1837.48 469.272 1838.74 492.051 1839.3 506.861C1839.64 516.004 1840.03 523.597 1840.17 523.736C1840.31 523.874 1841.9 523.663 1843.71 523.266C1848.19 522.281 1862.07 522.731 1866.42 524.001C1869.57 524.923 1874.18 525.789 1882.45 527.02C1884.32 527.297 1891.53 527.951 1898.49 528.473C1911.37 529.441 1922.43 529.105 1930.25 527.507C1944.06 524.686 1951.48 522.31 1961.89 517.372C1974 511.626 1984.61 501.444 1990.32 490.079C1993.94 482.871 1996.55 471.06 1996.55 461.82C1996.55 445.337 1989.78 429.463 1977.46 417.037C1967.67 407.164 1953.86 399.137 1932.05 390.635C1908.69 381.53 1894.65 374.131 1889.66 368.302C1884.24 361.968 1881.77 354.203 1881.72 343.335C1881.65 330.345 1885.39 323.082 1895.77 315.988C1902.76 311.214 1909.66 309.093 1918.22 309.088C1926.4 309.084 1931.21 310.197 1938.74 313.845C1941.04 314.958 1943.09 315.868 1943.29 315.868C1943.5 315.868 1945.5 317.233 1947.75 318.901C1954.34 323.793 1960.27 332.891 1963.8 343.495C1965.35 348.172 1966.03 350.794 1967.27 356.963C1967.41 357.669 1968.27 358.585 1969.18 359C1971.59 360.097 1980.65 359.971 1982.89 358.809C1984.6 357.923 1984.74 357.581 1985.05 353.377C1986.45 334.626 1988.11 304.133 1987.83 302.289C1987.64 301.021 1987.16 300.678 1985.14 300.364C1981.45 299.793 1971.91 298.045 1969.1 297.425C1953.21 293.927 1946.27 292.856 1930.56 291.48C1918.7 290.442 1917.01 290.444 1908.35 291.501ZM2136.23 291.493C2125.87 292.696 2114.59 295.268 2112.83 296.831C2112.51 297.117 2111.81 297.351 2111.28 297.351C2109.6 297.351 2096.01 304.535 2090.75 308.207C2078.18 316.977 2065.37 329.588 2058.52 339.94C2057.51 341.468 2056.51 342.857 2056.31 343.026C2055.76 343.476 2052.32 349.788 2049.64 355.259C2044.2 366.329 2041.58 375.02 2038.35 392.714C2037.28 398.553 2037.29 429.968 2038.37 435.921C2038.8 438.297 2039.45 441.908 2039.82 443.945C2041.39 452.608 2044.57 463.15 2048.11 471.412C2054.29 485.82 2066.86 501.87 2078.37 510.02C2080.68 511.66 2082.72 513.157 2082.89 513.347C2083.85 514.431 2094.74 519.89 2099.85 521.852C2117.71 528.713 2142.04 530.965 2160.9 527.499C2180.65 523.87 2194.03 517.071 2206.9 504.121C2216.57 494.383 2228.98 477.194 2228.17 474.656C2227.15 471.468 2222.42 468.326 2218.64 468.326C2217.2 468.326 2216.27 468.999 2214.16 471.566C2207.64 479.476 2197.95 487.947 2189.89 492.795C2173.4 502.7 2152.56 505.532 2136.2 500.092C2120.13 494.75 2105.45 480.971 2095.77 462.154C2089.98 450.885 2086.65 439.358 2084.01 421.416C2083 414.523 2083.04 388.292 2084.07 380.987C2085.04 374.159 2087.55 361.589 2088.69 357.84C2093.71 341.39 2103.11 326.847 2113.95 318.761C2123.21 311.853 2131.7 309.078 2143.59 309.078C2156.12 309.078 2162.79 311.502 2170.68 318.918C2176.67 324.555 2178.65 329.506 2180.34 343.026C2182.07 356.976 2186.22 362.512 2196.57 364.706C2205.37 366.569 2217.36 361.936 2222.96 354.506C2226.01 350.464 2226.91 347.036 2226.81 339.844C2226.62 326.299 2220.58 316.014 2206.8 305.789C2201.59 301.929 2189.39 296.763 2179.71 294.324C2175.37 293.229 2169.75 292.476 2158.74 291.51C2146.75 290.459 2145.15 290.458 2136.23 291.493ZM2366.57 291.484C2353.07 292.823 2347.56 294.041 2336.72 298.088C2330.36 300.465 2326.44 302.397 2319.09 306.785C2307.82 313.511 2294.66 326.686 2286.24 339.67C2277.64 352.929 2272.47 365.78 2268.74 383.147C2267.19 390.365 2265.44 407.305 2265.46 414.935C2265.49 429.147 2269.11 448.347 2274.06 460.61C2276.5 466.633 2284.98 482.569 2286.39 483.757C2286.59 483.927 2287.84 485.593 2289.18 487.46C2298.37 500.333 2310.18 510.708 2323.14 517.295C2330.25 520.908 2340.13 524.496 2346.22 525.675C2363.74 529.063 2374.53 529.799 2388.16 528.533C2393.76 528.014 2399.58 527.338 2401.11 527.032C2402.64 526.726 2405.43 526.164 2407.32 525.784C2426.75 521.865 2447.09 509.438 2461.6 492.618C2464.69 489.044 2470.8 480.857 2470.8 480.302C2470.8 480.049 2471.18 479.403 2471.64 478.868C2472.74 477.606 2478.49 466.632 2479.12 464.622C2479.38 463.774 2480.1 461.968 2480.71 460.61C2483.62 454.182 2485.62 446.455 2488.16 431.909C2489.26 425.634 2489.29 394.959 2488.2 389.011C2485.81 375.909 2484.65 370.655 2483.03 365.624C2480.89 358.954 2477.4 350.235 2475.23 346.113C2473.37 342.592 2467.99 334.004 2467.11 333.151C2466.93 332.981 2465.78 331.592 2464.55 330.064C2461.48 326.264 2454.4 319.163 2450.71 316.198C2449.04 314.851 2447.53 313.574 2447.36 313.359C2446.39 312.127 2434.51 304.543 2429.79 302.142C2422.91 298.646 2410.65 294.432 2403.98 293.271C2397.69 292.179 2381.48 290.59 2377.37 290.664C2375.67 290.695 2370.81 291.064 2366.57 291.484ZM170.14 294.369C164.433 296.293 160.422 299.673 158.178 304.451C156.895 307.183 156.881 307.727 156.887 353.976L156.893 400.738L158.708 403.905C159.706 405.648 161.685 408.069 163.106 409.286C168.103 413.566 166.285 413.434 217.359 413.249C269.48 413.061 265.403 413.479 271.065 407.737C276.177 402.551 275.961 405.087 275.768 352.542L275.599 306.301L273.937 303.471C271.627 299.54 268.056 296.498 263.939 294.957C260.491 293.665 259.833 293.648 216.217 293.696C188.186 293.727 171.313 293.973 170.14 294.369ZM314.76 294.719C308.42 296.945 304.66 300.931 302.713 307.493C301.408 311.888 301.38 394.75 302.682 399.643C304.221 405.428 307.213 409.064 312.691 411.804L315.864 413.392H361.456C400.532 413.392 407.439 413.258 409.779 412.458C413.698 411.118 418.005 407.18 419.873 403.229L421.452 399.889V353.537V307.186L419.953 304.274C417.955 300.394 414.897 297.265 411.576 295.704C407.36 293.723 405.501 293.648 361.693 293.696C323.137 293.739 317.183 293.868 314.76 294.719ZM461.23 294.369C455.519 296.295 451.37 299.961 449.241 304.963C447.997 307.885 447.971 308.888 447.971 353.828C447.971 405.796 447.676 402.639 453.033 407.994C458.505 413.463 454.434 413.083 507.484 413.083H554.355L557.13 411.74C559.991 410.355 563.832 406.754 565.114 404.254C567.552 399.499 567.6 398.508 567.607 353.786C567.613 316.039 567.489 310.117 566.633 307.232C565.181 302.337 562.812 299.106 558.783 296.527C554.343 293.686 553.843 293.658 507.176 293.703C479.214 293.729 462.403 293.973 461.23 294.369ZM1067.46 311.277C1083.7 315.038 1096.21 323.963 1106.57 339.176C1113.77 349.754 1119.67 365.009 1123.21 382.221C1126.08 396.158 1127.56 421.471 1126.49 438.278C1125.26 457.522 1123.27 466.464 1117.62 478.202C1116.23 481.087 1114.9 483.587 1114.67 483.757C1114.43 483.927 1113.72 484.967 1113.08 486.069C1110.75 490.067 1094.96 504.126 1092.8 504.126C1092.62 504.126 1091.01 504.806 1089.22 505.638C1081.22 509.353 1078.04 509.985 1067.46 509.956C1059.16 509.934 1056.82 509.711 1052.73 508.548C1037.65 504.271 1025.38 495.039 1016.13 481.016C1008.76 469.847 1000.76 447.901 997.541 430.057C997.205 428.19 996.57 424.718 996.129 422.342C995.056 416.548 995.051 386.175 996.122 378.209C998.849 357.92 1002.12 346.635 1008.65 335.002C1016.45 321.084 1029.73 312.285 1045.88 310.32C1051.33 309.655 1062.63 310.157 1067.46 311.277ZM2384.21 311.279C2390.6 312.755 2402.32 317.627 2402.86 319.033C2402.97 319.329 2403.33 319.571 2403.67 319.571C2404 319.571 2405.43 320.465 2406.85 321.556C2418.98 330.863 2428.98 345.807 2434.66 363.087C2438.59 375.023 2439.76 380.422 2441.84 396.109C2443.82 411.045 2443.96 438.053 2442.12 450.117C2440.17 462.894 2439.15 466.781 2435.41 475.647C2429.13 490.565 2414.94 503.232 2398.64 508.482C2394.52 509.81 2392.95 509.969 2384.15 509.94C2373.46 509.904 2370.47 509.366 2361.77 505.908C2353.6 502.657 2343.74 495.301 2338.15 488.282C2333.09 481.927 2331.42 479.586 2331.42 478.86C2331.42 478.498 2331.21 478.202 2330.96 478.202C2330.52 478.202 2328.5 474.163 2325.04 466.411C2323.44 462.797 2318.78 449.831 2317.75 446.105C2316 439.739 2314.86 434.368 2313.1 424.193C2311.77 416.526 2311.59 385.391 2312.82 376.975C2315.29 360.07 2317.81 350.448 2322.35 340.508C2325.48 333.649 2328.54 329.249 2333.87 323.908C2342.11 315.667 2350.34 311.934 2364.42 310.054C2367.74 309.61 2380.36 310.391 2384.21 311.279ZM1516.6 437.976L1516.43 474.905L1514.56 477.938C1511.13 483.486 1494.65 495.763 1482.82 501.577C1470.19 507.787 1460.87 508.681 1448.56 504.865C1438.44 501.727 1429.61 491.372 1426.39 478.858C1425.22 474.293 1425.36 462.352 1426.66 455.158C1428.63 444.317 1435.93 432.595 1445 425.691C1446.98 424.19 1448.73 422.822 1448.9 422.652C1449.28 422.274 1450.72 421.464 1456.14 418.577C1459.88 416.588 1468.3 413.411 1473.26 412.119C1486.79 408.594 1491.24 407.406 1498.55 405.36C1506.43 403.155 1514.2 401.201 1515.37 401.131L1516.77 401.047L1516.6 437.976ZM166.876 441.528C162.903 443.509 159.376 447.46 157.96 451.513C156.97 454.349 156.882 458.32 156.89 499.579C156.898 534.404 157.077 545.042 157.684 546.715C159.534 551.812 161.656 554.367 166.44 557.26L168.907 558.751H216.394H263.881L266.941 556.951C270.576 554.813 272.029 553.42 274.074 550.11L275.599 547.641L275.768 500.152L275.937 452.663L274.246 449.319C272.395 445.657 269.664 443.082 265.603 441.172C263.039 439.966 261.738 439.933 216.522 439.933H170.074L166.876 441.528ZM312.602 441.262C309.567 442.829 305.735 446.406 304.438 448.883C301.901 453.723 301.824 455.219 301.824 499.496C301.824 544.74 301.889 545.867 304.79 550.558C306.395 553.153 308.878 555.482 311.985 557.305L314.452 558.751L360.655 558.921C412.562 559.111 410.279 559.292 415.638 554.571C417.429 552.993 419.115 550.736 420.004 548.723L421.452 545.446V499.705C421.452 465.923 421.259 453.318 420.712 451.493C419.749 448.276 414.797 442.888 411.283 441.235C408.541 439.945 408.072 439.933 361.792 439.96C315.818 439.987 315.029 440.008 312.602 441.262ZM459.38 440.687C455.07 442.217 451.545 445.547 449.433 450.088L447.983 453.204L447.977 499.324L447.971 545.444L449.503 548.796C450.411 550.784 452.188 553.164 453.869 554.645C459.14 559.289 456.959 559.119 508.779 558.925L554.971 558.751L557.689 557.208C561.487 555.052 563.548 552.83 565.566 548.717L567.306 545.172L567.499 501.348C567.693 457.403 567.528 453.047 565.537 449.577C563.508 446.038 560.66 443.323 556.996 441.433L554.087 439.933L507.659 439.982C476.547 440.014 460.62 440.247 459.38 440.687Z" fill="white"/>
+</svg>

potassco_benchmark_tool-2.1.1/docs/_custom/overrides/.icons/potassco-logo.svg

@@ -0,0 +1,3 @@
+<svg width="512" height="501" viewBox="0 0 512 501" fill="none" xmlns="http://www.w3.org/2000/svg">
+<path fill-rule="evenodd" clip-rule="evenodd" d="M227.592 38.5022C172.331 44.0452 128.847 63.4012 94.5054 97.7442C64.5994 127.649 45.2764 166.403 38.1444 210.778C26.0054 286.305 49.2114 355.773 104.333 408.917C117.512 421.624 124.563 426.831 128.589 426.831C131.33 426.831 135.262 423.477 135.624 420.831C136.258 416.197 135.325 414.705 128.342 409.19C107.399 392.647 84.3554 364.115 71.7164 339.076C63.0874 321.983 55.9444 299.221 52.9664 279.328C51.0074 266.244 50.7534 235.553 52.4974 222.831C59.1764 174.13 76.8184 137.229 107.755 107.254C123.378 92.1162 136.296 83.1542 155.874 73.8682C182.987 61.0082 208.831 55.0902 242.108 54.1202C279.487 53.0302 308.834 59.2002 340.127 74.7252C363.711 86.4262 381.483 99.5932 400.335 119.329C412.358 131.916 414.187 132.804 419.203 128.489C424.938 123.556 422.459 118.61 406.062 102.276C370.273 66.6242 324.937 44.9072 273.618 38.8342C265.788 37.9072 235.686 37.6902 227.592 38.5022ZM414.092 149.759C396.492 154.551 381.103 159.007 379.893 159.66C376.779 161.341 374.592 164.808 374.592 168.064C374.592 170.96 389.511 228.117 392.213 235.57C393.999 240.5 397.746 243.831 401.503 243.831C406.039 243.831 470.89 225.998 473.562 224.016C478.791 220.137 478.579 218.159 469.164 182.828C464.4 164.955 460.012 149.078 459.412 147.547C457.808 143.454 453.93 140.813 449.707 140.938C447.719 140.997 431.692 144.966 414.092 149.759ZM161.092 156.992C155.545 160.042 155.638 159.321 155.614 199.131C155.59 239.368 155.726 240.401 161.339 242.726C163.388 243.575 174.421 243.824 200.865 243.617L237.549 243.331L240.32 240.559L243.092 237.788L243.379 201.605C243.684 163.026 243.525 161.497 238.822 157.797C236.438 155.922 234.623 155.832 199.707 155.861C175.014 155.882 162.441 156.25 161.092 156.992ZM270.355 157.396C264.743 160.441 264.592 161.547 264.594 199.531C264.595 230.664 264.779 234.698 266.344 237.817C269.328 243.768 269.554 243.8 308.892 243.816C347 243.832 349.042 243.596 351.562 238.886C353.103 236.008 352.951 164.714 351.397 161.303C348.975 155.986 347.737 155.828 308.892 155.871C279.178 155.904 272.627 156.164 270.355 157.396ZM443.114 160.276C445.304 161.191 447.124 162.932 448.078 165.026C450.15 169.572 458.642 201.529 458.784 205.315C458.935 209.338 457.18 212.478 453.812 214.209C449.601 216.373 415.51 225.195 411.71 225.103C405.721 224.959 404.167 222.213 398.535 201.831C395.724 191.656 393.349 181.429 393.258 179.104C392.978 171.964 395.092 170.715 418.092 164.435C429.092 161.432 438.444 158.942 438.874 158.903C439.304 158.863 441.212 159.481 443.114 160.276ZM162.905 265.904C161.152 266.427 158.79 268.036 157.655 269.478C155.655 272.021 155.592 273.236 155.592 309.331C155.592 345.371 155.658 346.645 157.646 349.172C161.164 353.645 164.521 353.986 201.592 353.647C232.584 353.363 236.356 353.152 238.688 351.567C243.434 348.341 243.592 346.996 243.592 309.685C243.592 280.603 243.337 274.095 242.092 271.473C239.161 265.295 239.511 265.349 201.092 265.142C181.228 265.034 164.714 265.364 162.905 265.904ZM273.037 265.899C271.357 266.388 268.882 267.958 267.537 269.388L265.092 271.99L264.806 307.933C264.486 348.087 264.644 349.204 271.07 352.254C275.717 354.459 340.774 354.618 345.993 352.437C352.714 349.629 352.592 350.427 352.592 309.243C352.592 273.34 352.524 272.014 350.547 269.5C349.421 268.07 346.834 266.437 344.797 265.871C340.241 264.606 277.402 264.631 273.037 265.899ZM381.905 265.904C380.152 266.427 377.79 268.036 376.655 269.478C374.657 272.018 374.592 273.245 374.592 308.516C374.592 339.615 374.821 345.373 376.158 347.959C379.042 353.536 381.138 353.832 417.81 353.825C438.085 353.822 452.578 353.407 454.894 352.764C457.449 352.055 459.334 350.662 460.64 348.52C462.47 345.519 462.585 343.225 462.588 309.531C462.592 271.027 462.407 269.51 457.332 266.611C454.571 265.033 386.943 264.4 381.905 265.904ZM161.98 375.811C160.819 376.28 158.906 377.888 157.73 379.383C155.635 382.046 155.592 382.831 155.592 418.516C155.592 458.015 155.744 459.212 161.064 461.636C162.944 462.493 174.003 462.831 200.123 462.831H236.56L239.826 459.914L243.092 456.997L243.36 420.664C243.604 387.579 243.469 384.019 241.86 380.845C238.838 374.886 238.62 374.856 199.592 374.909C180.067 374.936 163.142 375.342 161.98 375.811ZM269.973 376.741C268.257 377.787 266.345 380.102 265.723 381.886C263.943 386.992 264.173 451.893 265.986 456.232C268.789 462.941 268.084 462.831 308.364 462.831C347.035 462.831 349.039 462.602 351.562 457.886C353.103 455.008 352.951 383.714 351.397 380.303C348.977 374.992 347.726 374.831 308.892 374.835C275.47 374.838 272.885 374.965 269.973 376.741ZM380.98 375.811C379.819 376.28 377.906 377.888 376.73 379.383C374.635 382.046 374.592 382.831 374.592 418.516C374.592 458.015 374.744 459.212 380.064 461.636C381.944 462.493 393.029 462.831 419.239 462.831H455.792L459.192 459.431L462.592 456.031L462.588 419.681C462.585 385.115 462.487 383.17 460.588 380.056C459.49 378.255 457.437 376.342 456.026 375.806C452.857 374.601 383.963 374.606 380.98 375.811Z" fill="white"/>
+</svg>