people/mrupprecht.md

+---
+layout: person
+
+title: Marcel Rupprecht
+fullname: Marcel Rupprecht 
+SOONpic: public/images/dmueller.jpg
+
+role: master-student
+start_date: 2016-04
+end_date: 2019-08
+
+publink: auto
+
+affiliation: Computer Science, FAU Erlangen-Nürnberg
+NOwebsite: http://blog.logicalphalluses.net/
+---
+
+### Contact
+Email: "d." + lastname.replace("ü","ue") + "@" + this.domain

people/mschuetz.md

+---
+layout: person
+title: Marcel Schütz
+fullname: M.Sc. Marcel Schütz
+role: phd-student
+pic: public/images/mschuetz.jpg
+github: McEarl
+orcid: 0000-0002-5386-5134
+publink: auto
+start_date: 2023-03
+---
+
+I am a PhD student at [FAU Erlangen-Nürnberg](https://www.fau.eu/),
+currently involved in the [VoLL-KI](https://www.voll-ki.fau.de/en/)
+project.
+
+I studied mathematics with a focus on mathematical logic and with
+philosophy as a minor subject.
+In 2020 I completed my *Bachelor of Science* at the
+[University of Bonn](https://www.uni-bonn.de/en)
+with a thesis on the natural language proof assistant
+[Naproche](https://naproche.github.io/)
+and in 2022 I achieved my *Master of Science* at
+[TU Darmstadt](https://www.tu-darmstadt.de/index.en.jsp)
+with a thesis on forcing in the context of topos theory.
+
+I am interested in set theory, type theory and category theory, especially regarding
+their role in the foundations of mathematics and the development of proof assistants.
+
+Email: `firstname + “.” + lastname.replace(“ü”,“ue”) + “@” + “fau.de”`

people/mwagner.md

+---
+layout: person
+
+title: Michael Wagner
+fullname: M.Sc. Michael Wagner
+pic: public/images/mwagner.jpg
+
+role: phd-student
+start_date: 2020-09
+publink: auto
+---
+
+### Description
+I studied computer science at [FAU Erlangen-Nürnberg](http://www.fau.de). I wrote my master thesis ["Tetrapodal Harvesting of the OEIS - FAIR, Semantic Extraction and Organization"](https://gl.kwarc.info/supervision/wagner_michael) at the [KWARC group](http://kwarc.info).  
+Afterwards I started working at the CDI as a developer. 
+
+### Current Work
+Some of the things I'm working on/with at the moment include JupyterHub, Kubernetes, VUE, Filesender, OpenBIS, DataCite and the FAUDataCloud. 
+
+### Contact
+michael.wm.wagner@fau.de

people/nroux.md

+---
+layout: person
+
+title: Navid Roux
+fullname: M.Sc. Navid Roux
+pic: public/images/nroux.png
+
+start_date: 2018-11
+role: master-student
+affiliation: Computer Science, FAU Erlangen-Nürnberg
+
+github: ComFreek
+orcid: 0000-0002-8348-2441
+publink: auto
+mathhub: NavidRoux
+researchgate: Navid_Roux
+website: https://navid-roux.netlify.app/
+---
+### Description  
+
+I am Navid ([they/he](http://pronoun.is/they?or=he)) and a research assistant at kwarc
+currently funded on the [VollKI](https://kwarc.info/projects/voll-ki/) and [FrameIT project](https://kwarc.info/systems/frameit/).
+My research interest is *knowledge representation and processing* of formal declarative languages including
+foundations, logics, type and set theories, and math.
+My work is heavily inspired and closely tied to the [MMT project](https://kwarc.info/systems/mmt/),
+where I develop theory in the framework given by the [MMT language](https://uniformal.github.io/doc/language/)
+and apply it in practice in the [MMT system](https://github.com/UniFormal/MMT) (a reference implementation and associated ecosystem of software).
+I am advised by [Michael Kohlhase](https://kwarc.info/people/mkohlhase/) and [Florian Rabe](https://kwarc.info/people/frabe/).
+
+### Current Work
+
+- **[FrameIT](https://uframeit.org)** (see link for collaborators): developing a prototype of a serious educational game that exploits knowledge management and logic features of the [MMT system](https://kwarc.info/systems/mmt/).
+
+  That way, we separate developing the 3D game mechanics from encoding and management of the serious game contents.
+  We formalize the latter in the MMT system and thus enable all the features that it already provides.
+  Checking whether a player-entered solution is correct? Amounts to typechecking.
+  Composing multiple serious game contents? Amounts to combination of formalizations.
+  Translating serious game contents from one world to another? Amounts to a pushout in the formalization.
+
+  See our paper [*FrameIT: Detangling Knowledge Management from Game Design in Serious Games*](http://kwarc.info/kohlhase/submit/cicm20-frameit.pdf).
+
+- **Partial and higher-order logical relations for a logical framework** and representation therein (joint work with Florian Rabe): we used partial logical relations to translate Church-style formalizations of type theories to Curry-style ones, see ["Systematic Translation of Formalizations of Type Theory
+from Intrinsic to Extrinsic Style"](https://kwarc.info/people/frabe/Research/RR_softening_21.pdf)
+
+
+### Previous Work
+
+- **Publications (selection):** click on the bibliography icon on the right.
+  - [*Systematic Translation of Formalizations of Type Theory
+from Intrinsic to Extrinsic Style*](https://kwarc.info/people/frabe/Research/RR_soften_21.pdf) (joint work with Florian Rabe)
+  - [*FrameIT: Detangling Knowledge Management from Game Design in Serious Games*](https://kwarc.info/kohlhase/papers/cicm20-frameit.pdf) (joint work with Michael Kohlhase and many more authors, see link)
+- **Master's Thesis:** [A Framework for Defining Structure-Preserving Diagram Operators](https://gl.kwarc.info/supervision/MSc-archive/-/blob/master/2022/RouxNavid.pdf) (todo: links to corrupted pdf) ([slides](https://gl.kwarc.info/NavidRoux/seminar/-/blob/c73c6362a195a5e8d57c2723e179df04f3d5960b/SS2022/diagops/slides.pdf))
+- **Master's Seminar:** [*A Beginner's Guide to Logical Relations for a Logical Framework*](https://gl.kwarc.info/supervision/seminar/-/blob/master/WS2021/logrels/guide.pdf) ([slides](https://gl.kwarc.info/supervision/seminar/-/blob/e1b1ea2fd5eb8d4d864140cddf20a9ca28397583/WS2021/logrels/slides.pdf))
+- **Master's Project:** [*Structure-Preserving Diagram Operators*](https://gl.kwarc.info/supervision/projectarchive/-/blob/master/2020/Roux_Navid.pdf)
+- **Bachelor's Thesis:** [*Refactoring of Theory Graphs in Knowledge Representation Systems*](https://navid-roux.netlify.app/bsc-thesis/) ([slides](https://gl.kwarc.info/NavidRoux/seminar/-/blob/26d392e0eabff2e3c27de12fddd40dbe3823808c/SS2019/refactoring-theory-graphs/slides.pdf))
+- **MMT ecosystem:** developing [tools](https://github.com/ComFreek/mmteditor) and [multiple syntax highlighters](https://github.com/ComFreek/mmtpygments) making one's life even more enjoyable with the MMT system.
+
+See [my personal website](https://navid-roux.netlify.app/) for Master's courses I have taken.
+
+### Contact
+
+Feel free to contact me at `firstname.lastname@fau.de`.

people/pzoleko.md

+---
+layout: person
+
+title: Pascal Zoleko
+fullname: B.Sc. Pascal Zoleko
+pic: public/images/pzoleko.png
+
+start_date: 2018-11
+end_date: 2020-03
+role: master-student
+affiliation: Computer Science, FAU Erlangen-Nürnberg
+
+github: zolekode
+---
+### Description  
+
+I study Computer Science at the [University of Erlangen-Nürnberg](https://www.fau.eu/) where I focus on pattern recognition and knowledge representation. I previously studied Wirtschaftsinformatik B.Sc. here in Erlangen-Nürnberg and my thesis was about developing a calculus to extend Fuzzy Description Logics with Nominals.
+
+I am a big fan of Artificial Intelligence and its applications in real life. I love mixing up or morphing unrelated algorithms and combining different approaches to create new ones. My main interest lies in the unification of symbolic and sub-symbolic techniques that can make an impact in society and bring us one step closer to solving the one-brain barrier. 
+
+### Current Work
+
+- My Master's studies and my Master's Project. In a nutshell the goal of the project is to find a way to translate mathematical text written in English to a controlled fragment of English. Achieving this goal would facilitate the formalisation of knowledge represented currently written in natural language.
+
+- I am also a full time Researcher at [Flexudy](https://www.flexudy.com). Flexudy is a startup I co-founded that uses AI to help people learn easier and faster. The [FAU](https://www.fau.eu/) has always supported us from day one and thanks to the support of some Professors like Prof. Kohlhase, Flexudy recently obtained state funding.
+My research at Flexudy focuses on Question Asking, Neuro-Symbolic Text embeddings and Text Summarisation.
+
+### Contact
+
+Feel free to contact me at pascalzoleko@gmail.com.

people/rmarcus.md

+---
+layout: person
+
+title: Richard Marcus
+fullname: M.Sc. Richard Marcus
+pic: public/images/rmarcus.jpg
+
+role: phd-student
+start_date: 2018-04
+
+publink: auto
+
+affiliation: Computer Science, FAU Erlangen-Nürnberg
+NOwebsite: 
+---
+I am a PhD Student at [FAU Erlangen-Nürnberg](http://www.fau.de) and currently working on multiple project cooperations of the [KWARC group](http://kwarc.info) and the [Chair of Visual Computing](https://www.lgdv.tf.fau.de/)
+
+I completed my bachelor's degree also at FAU and started to focus on computer graphics.
+My thesis was about acceleration structures for ray tracing.
+With the rapid development of new hardware, I became fascinated with the possibilities of virtual and augmented reality.
+However, I also began to branch out to different fields, especially machine learning and artificial intelligence in general.
+
+This also becomes apparent in my research interests. While I consider each of the mentioned fields as very exciting in its own right,
+I am most interested in cases where they intersect with each other, e.g. rendering images with help of machine learning or intelligent agents in virtual environments.
+
+My master's thesis focused on the 3D visualization of theory graphs and led to the development of the [TGView3D](https://github.com/UniFormal/TGView3D) graph viewer.
+Because of the complexity and size of those graphs traditional 2D-visualizations are often not sufficient.
+Virtual Reality can then add intuitive and immersive interactions.
+
+Currently, I am involved in the [UFrameIT Project](https://uframeit.org/).
+UFrameIT  brings knowledge management techniques into game development. It introduces a new workflow for integrating domain knowledge and solves different challenges of implementing game interactions.
+
+
+
+
+### Contact
+Email: richard.marcus@fau.de

people/swille.md

+---
+layout: person
+
+title: Sven Wille
+fullname: B.Sc Sven Wille
+role: master-student
+start_date: 2018-10
+
+affiliation: Computer Science, FAU Erlangen-Nürnberg
+---

people/tpollinger.md

@@ -9,8 +9,7 @@ publink: auto
 
 role: master-student
 start_date: 2017-05
-
-affiliation: Computational Engineering, FAU Erlangen-Nürnberg
+end_date:  2018-07
 ---
 
 ### Description

people/twiesing.md

@@ -19,10 +19,14 @@ affiliation: FAU Erlangen-Nürnberg
 Hi, my name is Tom Wiesing and I am a German guy who is currently a _PhD candidate_ in the KWARC Group at FAU Erlangen-Nürnberg. 
 Previously, I achieved my _Master Of Science_ at _Jacobs University Bremen_ in _Data Engineering_. 
 
-I am working MathHub, a hub of mathematical knowledge, and related projects within the group.
+I am working [MathHub](/systems/mathhub), a hub of mathematical knowledge, and related projects within the group.
 
 In my free time I like to code and make random tweets. 
 
+### Contact
+
+Email: firstname + “.” + lastname + “@” + "fau.de"
+
 #### Theses
 * B.Sc: [Semantic Search For Quantity Expressions](https://gl.kwarc.info/supervision/BSc-archive/blob/master/2015/wiesing_tom/project/thesis/thesis.pdf)
 * M.Sc: [Enabling Cross-System Communication Using Virtual Theories and QMT](https://gl.kwarc.info/supervision/MSc-archive/blob/master/2017/twiesing/thesis.pdf)

projects/almanac.md

@@ -5,15 +5,16 @@ title: "ALMANAC: Argumentation Logics Manager & Argument Context Graph"
 shorttitle: "ALMANAC"
 teaser: Decision situations require individuals and organizations to choose between a multitude of options based on facts, opinions, and arguments about the situation at hand or similar ones. There is already a large set of prior work on the representation of knowledge, inference, and argumentations; the ALMANAC aims to a) bring order into the zoo of proposed formalisms, b) categorize their inter-relations, and c) benchmark them on real-world corpora.
 
-active: true
+active: false
 start_date: 'January 2018'
-end_date: 'December 2020'
+end_date: 'February 2022'
 publink: auto
 
 people: 
     - mkohlhase
     - dmueller
-
+    - cshi
+    - mrapp
 funding: DFG
 logo: public/dfg_logo.svg
 program: Normalverfahren
@@ -22,13 +23,13 @@ proposal: http://kwarc.info/kohlhase/projects/almanac.pdf
 ---
 Decision situations require individuals and organizations to choose between a multitude of options based on facts, opinions, and arguments about the situation at hand or similar ones. Current support systems are mostly fact-based and fail to take into account arguments found on the web or in the literature.
 
-The SPP brings together a community of researchers who develop robust and scalable models for argumentations in human communication in all their complexity and imprecision. The proposed ALMANAC project aims to support the logic-based pillar of this enterprise. There is already a large set of prior work on the representation of knowledge, inference, and argumentations and the SPP will no doubt develop more.
+The SPP brings together a community of researchers who develop robust and scalable models for argumentations in human communication in all their complexity and imprecision. The ALMANAC project develops support for the logic-based pillar of this enterprise. There is already a large set of prior work on the representation of knowledge, inference, and argumentations and the SPP will no doubt develop more.
 
 The first objective of the proposed ALMANAC project is to provide a unifying infrastructure so that the SPP projects and wider community can interoperate, compare results, and create joint logic resources. Concretely we propose to
 
-a. bring order into the zoo of proposed formalisms,
-b. categorize their inter-relations, and
-c. benchmark them on real-world corpora
+1. bring order into the zoo of proposed formalisms,
+2. categorize their inter-relations, and
+3. benchmark them on real-world corpora
 
 For this the ALMANAC project proposes to utilize the OMDoc/MMT framework developed by the proposer’s research group. The framework uses theory graphs for the modular representation of domain knowledge in logical languages and for logical formalisms themselves in meta-logics. Inter-logic relations can be modelled as theory-morphisms: truth-preserving mappings between theories. The ALMANAC project wants to provide the SPP with a “logic atlas” as a resource of explicitly represented formalisms and frameworks that can serve as a basis for integration of methods.
 

projects/arXMLiv.md

@@ -10,15 +10,15 @@ publink: http://kwarc.github.io/bibs/arXMLiv
 funding: internal
 
 people:
-    - mkohlhase
     - dginev
+    - mkohlhase 
 
 collaborators:
     - Dr. Bruce Miller (NIST)
     - various Jacobs University undergrads
 
 logo: public/kwarc_logo.svg
-website: http://cortex.mathweb.org
+website: http://corpora.mathweb.org
 repository: https://github.com/dginev/CorTeX
 ---
 
@@ -30,9 +30,8 @@ translate it to XML and "HTML5 with [MathML](http://www.w3.org/TR/MathML/)" via
 semantics (see the [LLaMaPuN](/systems/llamapun/) project for details).
 
 The actual corpus processing (and distribution to hundreds of worker machines) is
-performed by the [CorTeX](https://github.com/dginev/cortex) system; see the system
-state/results: [old but complete](http://cortex.mathweb.org/corpus/arXMLiv),
-[new system in Erlangen](https://corpora.mathweb.org/corpus/arxiv_1712/tex_to_html).
+performed by the [CorTeX](https://github.com/dginev/cortex) system; see the [system
+state/results on arXiv](https://corpora.mathweb.org/history/arxmliv/tex_to_html).
 
 Applications of this include a mathematical search engine [MathWebSearch](/systems/mws/): 
 (live [demo on the arXMLiv data set](http://arxivsearch.mathweb.org)). 
@@ -42,3 +41,6 @@ arXiv licensing policies. Therefore we have created the Special Interest Group f
 Linguistics ([SIGMathLing](http://SIGMathLing.kwarc.info)) that can distribute the data
 sets under an [NDA](https://sigmathling.kwarc.info/nda/) to
 [SIGMathLing members](https://sigmathling.kwarc.info/member/).
+
+But [arXiv](http://arxiv.org) is working together with us to make their offerings more
+accessible see [arxiv labs](https://labs.arxiv.org/). 

projects/comma.md

@@ -12,7 +12,9 @@ people:
     - mkohlhase
     - dginev
     - jfschaefer
+    - pzoleko
 logo: public/kwarc_logo.svg
+publink: auto
 funding: internal
 ---
 

projects/direga.md

+---
+layout: project
+title: "Digitaler Registerassistent"
+shorttitle: "DiRegA"
+teaser: Towards automating Register Courts via Symbolic and Subsymbolic AI
+
+active: true
+start_date: 'March 2024'
+end_date: 'February 2027'
+publink: auto
+
+people: 
+    - mkohlhase
+    - mrapp
+    - jfschaefer
+funding: Bundesnotarkammer
+logo: public/bnotk.jpg
+website: https://www.direga.fau.de/
+---
+The DIREGA ( Digitaler Registerassistent) project conducts muti-disciplinary, foundational
+research in Computer Science and the law. It studies the question if - and so how - legal
+decisions can be supported - and even be automated - by symbolic AI and machine
+learning. The legal application domain is register law. 
+
+The project is funded by the German Federal Chamber of Notaries (Bundesnotarkammer) in
+coorpation with the Bavarian Chamber of Notaries (Bayrische Notarkammer) and the Bavarian
+State Ministry of Justice (Bayerischen Staatsministerium der Justiz).
+
+For details (in German) see https://www.direga.fau.de/

projects/mdh.md

+---
+layout: project
+
+title: MathDataHub
+shorttitle: MDH
+teaser: A Collaboration Project with Ljubljana University
+
+active: false  
+start_date: 2020-01
+end_date: 2021-12
+
+people:
+    - mkohlhase
+    - frabe
+    - kbercic
+    - twiesing
+
+funding: DAAD
+program: Collaboration Grant
+logo: public/daad_logo.svg
+---
+Modern mathematical research increasingly depends on collaborative tools, computational environments, and online databases, and these are changing the way mathematical research is conducted and how it is turned into applications. For example, engineers now use mathematical tools to build and simulate physical models based on systems of differential equations with millions of variables, combining building blocks and algorithms taken from libraries shared all over the internet.
+The KWARC group at FAU Erlangen-Nürnberg and the group at Ljubljana University collaborate on the establishment of MathDataHub, a semantic portal for mathematical data sets. 

projects/oaf.md

@@ -5,9 +5,9 @@ title: "OAF: An Open Archive for Formalizations"
 shorttitle: OAF
 teaser: The OAF Project builds a theoretical framework for interoperability of theorem prover libraries and implements an information system that host and align multiple libraries in a joint semantic setting.
 
-active: true
+active: false
 start_date: '2014'
-end_date: 'June 2018'
+end_date: 'June 2020'
 publink: auto
 
 people: 
@@ -15,17 +15,23 @@ people:
     - frabe
     - dmueller
     - jbetzendahl
-
+    - kamann
+    - jsee
+    - rmarcus
+    - mrupprecht
+    - aschmidt
 logo: public/dfg_logo.svg
 funding: DFG
 program: Normalverfahren
-grantid: KO 2428/13-1
+grantid: KO 2428/13-1, RA 18723/1-1
 proposal: http://kwarc.info/kohlhase/projects/oaf.pdf
 ---
 
-OAF is a DFG-funded research project running from 2014-2017 and headed by Michael Kohlhase
-and Florian Rabe at FAU Erlangen-Nürnberg. It aims at the integration of formal
-mathematical libraries.
+OAF was a DFG-funded research project running from 2014-2020 and headed by Michael Kohlhase
+and Florian Rabe originally at Jacobs University Bremen and later at FAU Erlangen-Nürnberg.
+It centered on the integration of formal mathematical libraries.
+
+Both the [original proposal](http://kwarc.info/kohlhase/projects/oaf.pdf) and the [final report](../oaf-report.pdf) are available.
 
 Formal/symbolic systems and their libraries are non-interoperable because they are based
 on differing, mutually incompatible foundations (e.g., set theory, higher-order logic,
@@ -36,11 +42,11 @@ organization features (e.g., distribution, browsing, search, change management)
 library format. All these investments bind resources that could be used to improve the
 core functionality of the systems and the scope of the libraries.
 
-The OAF project tackles these interoperability and plurality problems by developing an
+The OAF project tackled these interoperability and plurality problems by developing an
 open archive for formalizations, a common and open infrastructure for managing and sharing
 formalized mathematical knowledge such as theories, definitions, and proofs.  The OAF
 infrastructure is designed to be scalable with respect to both the size of the knowledge
-base and the diversity of logical foundations. In particular, the OAF system will be based
+base and the diversity of logical foundations. In particular, the OAF system is based
 on a uniform foundation-independent representation format for libraries, which allows
 formalizing the logical foundations alongside the libraries and thus acts as framework for
 aligning libraries.

projects/odk.md

@@ -5,9 +5,9 @@ title: OpenDreamKit
 shorttitle: ODK
 teaser: Towards an Open Virtual Research Environment Framework for (Computational) Mathematics.
 
-active: true
 start_date: 2015-09
 end_date: 2019-08
+active: false
 publink: http://kwarc.github.io/bibs/odk
 
 
@@ -18,6 +18,13 @@ people:
     - miancu
     - cmaeder
     - dmueller
+    - tpollinger
+    - kbercic
+    - swille
+    - kamann
+    - jsee
+    - rmarcus
+    - mrupprecht
 
 logo: public/eu_logo.png
 funding: EU

projects/tetrapod.md → projects/tetrapod/index.md

@@ -13,10 +13,12 @@ people:
     - mkohlhase
     - dmueller
     - frabe
+    - kbercic
 
 collaborators:
-    - Prof. William Farmer (McMaster University)
-    - Prof. Jacques Carette (McMaster University) 
+    - Prof. William Farmer (McMaster Univ.)
+    - Prof. Jacques Carette (McMaster Univ.) 
+    - Jasmine Sharoda (McMaster Univ.)
 
 logo: public/kwarc_logo.svg
 funding: internal
@@ -25,3 +27,20 @@ funding: internal
 The aim of the Tetrapod project is to produce tools for **trustworthy and efficient
   modeling** of problems involving mathematics as well as tools for doing **mathematical
   knowledge processing**.
+
+The main result of the project is the conception of a "doing math" involves four primary aspects
+
+* **computation** (which produces **information**),
+* **reasoning** (which produces **arguments**),
+* **tabulation** (which produces **data**),
+* **narration** (which produces **documents**),
+
+that are joined by a fifth, which binds them together: 
+
+* **organisation** (which produces **ontologies**).
+
+All in all we propose that these five aspects can be arranged in a tetrapodal structure
+
+<img alt="the tetrapod image for the five aspects of doing mathematics" src="tetrapod-arms.svg"/>
+
+Feel free to include this image into your paper via the [tikz sources provided here](tetrapod-arms.tex)

projects/tetrapod/tetrapod-arms.svg

+<?xml version="1.0" encoding="UTF-8"?>
+<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" width="165.625pt" height="116.52pt" viewBox="0 0 165.625 116.52" version="1.1">
+<defs>
+<g>
+<symbol overflow="visible" id="glyph0-0">
+<path style="stroke:none;" d=""/>
+</symbol>
+<symbol overflow="visible" id="glyph0-1">
+<path style="stroke:none;" d="M 7.1875 -3.375 C 7.1875 -5.40625 5.6875 -7.03125 3.875 -7.03125 C 2.078125 -7.03125 0.5625 -5.4375 0.5625 -3.375 C 0.5625 -1.328125 2.09375 0.21875 3.875 0.21875 C 5.6875 0.21875 7.1875 -1.359375 7.1875 -3.375 Z M 3.875 -0.046875 C 2.921875 -0.046875 1.578125 -0.921875 1.578125 -3.515625 C 1.578125 -6.09375 3.046875 -6.78125 3.875 -6.78125 C 4.734375 -6.78125 6.15625 -6.078125 6.15625 -3.515625 C 6.15625 -0.875 4.796875 -0.046875 3.875 -0.046875 Z M 3.875 -0.046875 "/>
+</symbol>
+<symbol overflow="visible" id="glyph0-2">
+<path style="stroke:none;" d="M 1.671875 -3.3125 L 1.671875 -4.40625 L 0.28125 -4.296875 L 0.28125 -3.984375 C 0.984375 -3.984375 1.0625 -3.921875 1.0625 -3.421875 L 1.0625 -0.75 C 1.0625 -0.3125 0.953125 -0.3125 0.28125 -0.3125 L 0.28125 0 C 0.671875 -0.015625 1.140625 -0.03125 1.421875 -0.03125 C 1.8125 -0.03125 2.28125 -0.03125 2.6875 0 L 2.6875 -0.3125 L 2.46875 -0.3125 C 1.734375 -0.3125 1.71875 -0.421875 1.71875 -0.78125 L 1.71875 -2.3125 C 1.71875 -3.296875 2.140625 -4.1875 2.890625 -4.1875 C 2.953125 -4.1875 2.984375 -4.1875 3 -4.171875 C 2.96875 -4.171875 2.765625 -4.046875 2.765625 -3.78125 C 2.765625 -3.515625 2.984375 -3.359375 3.203125 -3.359375 C 3.375 -3.359375 3.625 -3.484375 3.625 -3.796875 C 3.625 -4.109375 3.3125 -4.40625 2.890625 -4.40625 C 2.15625 -4.40625 1.796875 -3.734375 1.671875 -3.3125 Z M 1.671875 -3.3125 "/>
+</symbol>
+<symbol overflow="visible" id="glyph0-3">
+<path style="stroke:none;" d="M 2.21875 -1.71875 C 1.34375 -1.71875 1.34375 -2.71875 1.34375 -2.9375 C 1.34375 -3.203125 1.359375 -3.53125 1.5 -3.78125 C 1.578125 -3.890625 1.8125 -4.171875 2.21875 -4.171875 C 3.078125 -4.171875 3.078125 -3.1875 3.078125 -2.953125 C 3.078125 -2.6875 3.078125 -2.359375 2.921875 -2.109375 C 2.84375 -2 2.609375 -1.71875 2.21875 -1.71875 Z M 1.0625 -1.328125 C 1.0625 -1.359375 1.0625 -1.59375 1.21875 -1.796875 C 1.609375 -1.515625 2.03125 -1.484375 2.21875 -1.484375 C 3.140625 -1.484375 3.828125 -2.171875 3.828125 -2.9375 C 3.828125 -3.3125 3.671875 -3.671875 3.421875 -3.90625 C 3.78125 -4.25 4.140625 -4.296875 4.3125 -4.296875 C 4.34375 -4.296875 4.390625 -4.296875 4.421875 -4.28125 C 4.3125 -4.25 4.25 -4.140625 4.25 -4.015625 C 4.25 -3.84375 4.390625 -3.734375 4.546875 -3.734375 C 4.640625 -3.734375 4.828125 -3.796875 4.828125 -4.03125 C 4.828125 -4.203125 4.71875 -4.515625 4.328125 -4.515625 C 4.125 -4.515625 3.6875 -4.453125 3.265625 -4.046875 C 2.84375 -4.375 2.4375 -4.40625 2.21875 -4.40625 C 1.28125 -4.40625 0.59375 -3.71875 0.59375 -2.953125 C 0.59375 -2.515625 0.8125 -2.140625 1.0625 -1.921875 C 0.9375 -1.78125 0.75 -1.453125 0.75 -1.09375 C 0.75 -0.78125 0.890625 -0.40625 1.203125 -0.203125 C 0.59375 -0.046875 0.28125 0.390625 0.28125 0.78125 C 0.28125 1.5 1.265625 2.046875 2.484375 2.046875 C 3.65625 2.046875 4.6875 1.546875 4.6875 0.765625 C 4.6875 0.421875 4.5625 -0.09375 4.046875 -0.375 C 3.515625 -0.640625 2.9375 -0.640625 2.328125 -0.640625 C 2.078125 -0.640625 1.65625 -0.640625 1.578125 -0.65625 C 1.265625 -0.703125 1.0625 -1 1.0625 -1.328125 Z M 2.5 1.828125 C 1.484375 1.828125 0.796875 1.3125 0.796875 0.78125 C 0.796875 0.328125 1.171875 -0.046875 1.609375 -0.0625 L 2.203125 -0.0625 C 3.0625 -0.0625 4.171875 -0.0625 4.171875 0.78125 C 4.171875 1.328125 3.46875 1.828125 2.5 1.828125 Z M 2.5 1.828125 "/>
+</symbol>
+<symbol overflow="visible" id="glyph0-4">
+<path style="stroke:none;" d="M 3.3125 -0.75 C 3.359375 -0.359375 3.625 0.0625 4.09375 0.0625 C 4.3125 0.0625 4.921875 -0.078125 4.921875 -0.890625 L 4.921875 -1.453125 L 4.671875 -1.453125 L 4.671875 -0.890625 C 4.671875 -0.3125 4.421875 -0.25 4.3125 -0.25 C 3.984375 -0.25 3.9375 -0.703125 3.9375 -0.75 L 3.9375 -2.734375 C 3.9375 -3.15625 3.9375 -3.546875 3.578125 -3.921875 C 3.1875 -4.3125 2.6875 -4.46875 2.21875 -4.46875 C 1.390625 -4.46875 0.703125 -4 0.703125 -3.34375 C 0.703125 -3.046875 0.90625 -2.875 1.171875 -2.875 C 1.453125 -2.875 1.625 -3.078125 1.625 -3.328125 C 1.625 -3.453125 1.578125 -3.78125 1.109375 -3.78125 C 1.390625 -4.140625 1.875 -4.25 2.1875 -4.25 C 2.6875 -4.25 3.25 -3.859375 3.25 -2.96875 L 3.25 -2.609375 C 2.734375 -2.578125 2.046875 -2.546875 1.421875 -2.25 C 0.671875 -1.90625 0.421875 -1.390625 0.421875 -0.953125 C 0.421875 -0.140625 1.390625 0.109375 2.015625 0.109375 C 2.671875 0.109375 3.125 -0.296875 3.3125 -0.75 Z M 3.25 -2.390625 L 3.25 -1.390625 C 3.25 -0.453125 2.53125 -0.109375 2.078125 -0.109375 C 1.59375 -0.109375 1.1875 -0.453125 1.1875 -0.953125 C 1.1875 -1.5 1.609375 -2.328125 3.25 -2.390625 Z M 3.25 -2.390625 "/>
+</symbol>
+<symbol overflow="visible" id="glyph0-5">
+<path style="stroke:none;" d="M 1.09375 -3.421875 L 1.09375 -0.75 C 1.09375 -0.3125 0.984375 -0.3125 0.3125 -0.3125 L 0.3125 0 C 0.671875 -0.015625 1.171875 -0.03125 1.453125 -0.03125 C 1.703125 -0.03125 2.21875 -0.015625 2.5625 0 L 2.5625 -0.3125 C 1.890625 -0.3125 1.78125 -0.3125 1.78125 -0.75 L 1.78125 -2.59375 C 1.78125 -3.625 2.5 -4.1875 3.125 -4.1875 C 3.765625 -4.1875 3.875 -3.65625 3.875 -3.078125 L 3.875 -0.75 C 3.875 -0.3125 3.765625 -0.3125 3.09375 -0.3125 L 3.09375 0 C 3.4375 -0.015625 3.953125 -0.03125 4.21875 -0.03125 C 4.46875 -0.03125 5 -0.015625 5.328125 0 L 5.328125 -0.3125 C 4.8125 -0.3125 4.5625 -0.3125 4.5625 -0.609375 L 4.5625 -2.515625 C 4.5625 -3.375 4.5625 -3.671875 4.25 -4.03125 C 4.109375 -4.203125 3.78125 -4.40625 3.203125 -4.40625 C 2.46875 -4.40625 2 -3.984375 1.71875 -3.359375 L 1.71875 -4.40625 L 0.3125 -4.296875 L 0.3125 -3.984375 C 1.015625 -3.984375 1.09375 -3.921875 1.09375 -3.421875 Z M 1.09375 -3.421875 "/>
+</symbol>
+<symbol overflow="visible" id="glyph0-6">
+<path style="stroke:none;" d="M 1.765625 -4.40625 L 0.375 -4.296875 L 0.375 -3.984375 C 1.015625 -3.984375 1.109375 -3.921875 1.109375 -3.4375 L 1.109375 -0.75 C 1.109375 -0.3125 1 -0.3125 0.328125 -0.3125 L 0.328125 0 C 0.640625 -0.015625 1.1875 -0.03125 1.421875 -0.03125 C 1.78125 -0.03125 2.125 -0.015625 2.46875 0 L 2.46875 -0.3125 C 1.796875 -0.3125 1.765625 -0.359375 1.765625 -0.75 Z M 1.796875 -6.140625 C 1.796875 -6.453125 1.5625 -6.671875 1.28125 -6.671875 C 0.96875 -6.671875 0.75 -6.40625 0.75 -6.140625 C 0.75 -5.875 0.96875 -5.609375 1.28125 -5.609375 C 1.5625 -5.609375 1.796875 -5.828125 1.796875 -6.140625 Z M 1.796875 -6.140625 "/>
+</symbol>
+<symbol overflow="visible" id="glyph0-7">
+<path style="stroke:none;" d="M 3.890625 -4 C 3.984375 -4.109375 3.984375 -4.125 3.984375 -4.171875 C 3.984375 -4.296875 3.890625 -4.296875 3.71875 -4.296875 L 0.53125 -4.296875 L 0.421875 -2.6875 L 0.671875 -2.6875 C 0.734375 -3.703125 0.921875 -4.078125 2.015625 -4.078125 L 3.15625 -4.078125 L 0.375 -0.3125 C 0.28125 -0.203125 0.28125 -0.1875 0.28125 -0.140625 C 0.28125 0 0.34375 0 0.53125 0 L 3.828125 0 L 4 -1.859375 L 3.75 -1.859375 C 3.65625 -0.6875 3.453125 -0.25 2.296875 -0.25 L 1.109375 -0.25 Z M 3.890625 -4 "/>
+</symbol>
+<symbol overflow="visible" id="glyph0-8">
+<path style="stroke:none;" d="M 1.71875 -3.984375 L 3.15625 -3.984375 L 3.15625 -4.296875 L 1.71875 -4.296875 L 1.71875 -6.125 L 1.46875 -6.125 C 1.46875 -5.3125 1.171875 -4.25 0.1875 -4.203125 L 0.1875 -3.984375 L 1.03125 -3.984375 L 1.03125 -1.234375 C 1.03125 -0.015625 1.96875 0.109375 2.328125 0.109375 C 3.03125 0.109375 3.3125 -0.59375 3.3125 -1.234375 L 3.3125 -1.796875 L 3.0625 -1.796875 L 3.0625 -1.25 C 3.0625 -0.515625 2.765625 -0.140625 2.390625 -0.140625 C 1.71875 -0.140625 1.71875 -1.046875 1.71875 -1.21875 Z M 1.71875 -3.984375 "/>
+</symbol>
+<symbol overflow="visible" id="glyph0-9">
+<path style="stroke:none;" d="M 4.6875 -2.140625 C 4.6875 -3.40625 3.703125 -4.46875 2.5 -4.46875 C 1.25 -4.46875 0.28125 -3.375 0.28125 -2.140625 C 0.28125 -0.84375 1.3125 0.109375 2.484375 0.109375 C 3.6875 0.109375 4.6875 -0.875 4.6875 -2.140625 Z M 2.5 -0.140625 C 2.0625 -0.140625 1.625 -0.34375 1.359375 -0.8125 C 1.109375 -1.25 1.109375 -1.859375 1.109375 -2.21875 C 1.109375 -2.609375 1.109375 -3.140625 1.34375 -3.578125 C 1.609375 -4.03125 2.078125 -4.25 2.484375 -4.25 C 2.921875 -4.25 3.34375 -4.03125 3.609375 -3.59375 C 3.875 -3.171875 3.875 -2.59375 3.875 -2.21875 C 3.875 -1.859375 3.875 -1.3125 3.65625 -0.875 C 3.421875 -0.421875 2.984375 -0.140625 2.5 -0.140625 Z M 2.5 -0.140625 "/>
+</symbol>
+<symbol overflow="visible" id="glyph0-10">
+<path style="stroke:none;" d="M 0.5625 -3.40625 C 0.5625 -1.34375 2.171875 0.21875 4.03125 0.21875 C 5.65625 0.21875 6.625 -1.171875 6.625 -2.328125 C 6.625 -2.421875 6.625 -2.5 6.5 -2.5 C 6.390625 -2.5 6.390625 -2.4375 6.375 -2.328125 C 6.296875 -0.90625 5.234375 -0.09375 4.140625 -0.09375 C 3.53125 -0.09375 1.578125 -0.421875 1.578125 -3.40625 C 1.578125 -6.375 3.53125 -6.71875 4.140625 -6.71875 C 5.21875 -6.71875 6.109375 -5.8125 6.3125 -4.359375 C 6.328125 -4.21875 6.328125 -4.1875 6.46875 -4.1875 C 6.625 -4.1875 6.625 -4.21875 6.625 -4.421875 L 6.625 -6.78125 C 6.625 -6.953125 6.625 -7.03125 6.515625 -7.03125 C 6.484375 -7.03125 6.4375 -7.03125 6.359375 -6.90625 L 5.859375 -6.171875 C 5.5 -6.53125 4.984375 -7.03125 4.03125 -7.03125 C 2.15625 -7.03125 0.5625 -5.4375 0.5625 -3.40625 Z M 0.5625 -3.40625 "/>
+</symbol>
+<symbol overflow="visible" id="glyph0-11">
+<path style="stroke:none;" d="M 1.09375 -3.421875 L 1.09375 -0.75 C 1.09375 -0.3125 0.984375 -0.3125 0.3125 -0.3125 L 0.3125 0 C 0.671875 -0.015625 1.171875 -0.03125 1.453125 -0.03125 C 1.703125 -0.03125 2.21875 -0.015625 2.5625 0 L 2.5625 -0.3125 C 1.890625 -0.3125 1.78125 -0.3125 1.78125 -0.75 L 1.78125 -2.59375 C 1.78125 -3.625 2.5 -4.1875 3.125 -4.1875 C 3.765625 -4.1875 3.875 -3.65625 3.875 -3.078125 L 3.875 -0.75 C 3.875 -0.3125 3.765625 -0.3125 3.09375 -0.3125 L 3.09375 0 C 3.4375 -0.015625 3.953125 -0.03125 4.21875 -0.03125 C 4.46875 -0.03125 5 -0.015625 5.328125 0 L 5.328125 -0.3125 C 4.671875 -0.3125 4.5625 -0.3125 4.5625 -0.75 L 4.5625 -2.59375 C 4.5625 -3.625 5.265625 -4.1875 5.90625 -4.1875 C 6.53125 -4.1875 6.640625 -3.65625 6.640625 -3.078125 L 6.640625 -0.75 C 6.640625 -0.3125 6.53125 -0.3125 5.859375 -0.3125 L 5.859375 0 C 6.203125 -0.015625 6.71875 -0.03125 6.984375 -0.03125 C 7.25 -0.03125 7.765625 -0.015625 8.109375 0 L 8.109375 -0.3125 C 7.59375 -0.3125 7.34375 -0.3125 7.328125 -0.609375 L 7.328125 -2.515625 C 7.328125 -3.375 7.328125 -3.671875 7.015625 -4.03125 C 6.875 -4.203125 6.546875 -4.40625 5.96875 -4.40625 C 5.140625 -4.40625 4.6875 -3.8125 4.53125 -3.421875 C 4.390625 -4.296875 3.65625 -4.40625 3.203125 -4.40625 C 2.46875 -4.40625 2 -3.984375 1.71875 -3.359375 L 1.71875 -4.40625 L 0.3125 -4.296875 L 0.3125 -3.984375 C 1.015625 -3.984375 1.09375 -3.921875 1.09375 -3.421875 Z M 1.09375 -3.421875 "/>
+</symbol>
+<symbol overflow="visible" id="glyph0-12">
+<path style="stroke:none;" d="M 1.71875 -3.75 L 1.71875 -4.40625 L 0.28125 -4.296875 L 0.28125 -3.984375 C 0.984375 -3.984375 1.0625 -3.921875 1.0625 -3.484375 L 1.0625 1.171875 C 1.0625 1.625 0.953125 1.625 0.28125 1.625 L 0.28125 1.9375 C 0.625 1.921875 1.140625 1.90625 1.390625 1.90625 C 1.671875 1.90625 2.171875 1.921875 2.515625 1.9375 L 2.515625 1.625 C 1.859375 1.625 1.75 1.625 1.75 1.171875 L 1.75 -0.59375 C 1.796875 -0.421875 2.21875 0.109375 2.96875 0.109375 C 4.15625 0.109375 5.1875 -0.875 5.1875 -2.15625 C 5.1875 -3.421875 4.234375 -4.40625 3.109375 -4.40625 C 2.328125 -4.40625 1.90625 -3.96875 1.71875 -3.75 Z M 1.75 -1.140625 L 1.75 -3.359375 C 2.03125 -3.875 2.515625 -4.15625 3.03125 -4.15625 C 3.765625 -4.15625 4.359375 -3.28125 4.359375 -2.15625 C 4.359375 -0.953125 3.671875 -0.109375 2.9375 -0.109375 C 2.53125 -0.109375 2.15625 -0.3125 1.890625 -0.71875 C 1.75 -0.921875 1.75 -0.9375 1.75 -1.140625 Z M 1.75 -1.140625 "/>
+</symbol>
+<symbol overflow="visible" id="glyph0-13">
+<path style="stroke:none;" d="M 3.890625 -0.78125 L 3.890625 0.109375 L 5.328125 0 L 5.328125 -0.3125 C 4.640625 -0.3125 4.5625 -0.375 4.5625 -0.875 L 4.5625 -4.40625 L 3.09375 -4.296875 L 3.09375 -3.984375 C 3.78125 -3.984375 3.875 -3.921875 3.875 -3.421875 L 3.875 -1.65625 C 3.875 -0.78125 3.390625 -0.109375 2.65625 -0.109375 C 1.828125 -0.109375 1.78125 -0.578125 1.78125 -1.09375 L 1.78125 -4.40625 L 0.3125 -4.296875 L 0.3125 -3.984375 C 1.09375 -3.984375 1.09375 -3.953125 1.09375 -3.078125 L 1.09375 -1.578125 C 1.09375 -0.796875 1.09375 0.109375 2.609375 0.109375 C 3.171875 0.109375 3.609375 -0.171875 3.890625 -0.78125 Z M 3.890625 -0.78125 "/>
+</symbol>
+<symbol overflow="visible" id="glyph0-14">
+<path style="stroke:none;" d="M 2.25 -6.03125 C 2.25 -6.390625 2.265625 -6.5 3.0625 -6.5 L 3.3125 -6.5 L 3.3125 -6.8125 C 2.96875 -6.78125 2.1875 -6.78125 1.796875 -6.78125 C 1.421875 -6.78125 0.625 -6.78125 0.28125 -6.8125 L 0.28125 -6.5 L 0.53125 -6.5 C 1.328125 -6.5 1.359375 -6.390625 1.359375 -6.03125 L 1.359375 -0.78125 C 1.359375 -0.421875 1.328125 -0.3125 0.53125 -0.3125 L 0.28125 -0.3125 L 0.28125 0 C 0.625 -0.03125 1.421875 -0.03125 1.796875 -0.03125 C 2.1875 -0.03125 2.96875 -0.03125 3.3125 0 L 3.3125 -0.3125 L 3.0625 -0.3125 C 2.265625 -0.3125 2.25 -0.421875 2.25 -0.78125 Z M 2.25 -6.03125 "/>
+</symbol>
+<symbol overflow="visible" id="glyph0-15">
+<path style="stroke:none;" d="M 1.75 -4.296875 L 1.75 -5.453125 C 1.75 -6.328125 2.21875 -6.8125 2.65625 -6.8125 C 2.6875 -6.8125 2.84375 -6.8125 2.984375 -6.734375 C 2.875 -6.703125 2.6875 -6.5625 2.6875 -6.3125 C 2.6875 -6.09375 2.84375 -5.890625 3.125 -5.890625 C 3.40625 -5.890625 3.5625 -6.09375 3.5625 -6.328125 C 3.5625 -6.703125 3.1875 -7.03125 2.65625 -7.03125 C 1.96875 -7.03125 1.109375 -6.5 1.109375 -5.4375 L 1.109375 -4.296875 L 0.328125 -4.296875 L 0.328125 -3.984375 L 1.109375 -3.984375 L 1.109375 -0.75 C 1.109375 -0.3125 1 -0.3125 0.34375 -0.3125 L 0.34375 0 C 0.734375 -0.015625 1.203125 -0.03125 1.46875 -0.03125 C 1.875 -0.03125 2.34375 -0.03125 2.734375 0 L 2.734375 -0.3125 L 2.53125 -0.3125 C 1.796875 -0.3125 1.78125 -0.421875 1.78125 -0.78125 L 1.78125 -3.984375 L 2.90625 -3.984375 L 2.90625 -4.296875 Z M 1.75 -4.296875 "/>
+</symbol>
+<symbol overflow="visible" id="glyph0-16">
+<path style="stroke:none;" d="M 1.109375 -2.515625 C 1.171875 -4 2.015625 -4.25 2.359375 -4.25 C 3.375 -4.25 3.484375 -2.90625 3.484375 -2.515625 Z M 1.109375 -2.296875 L 3.890625 -2.296875 C 4.109375 -2.296875 4.140625 -2.296875 4.140625 -2.515625 C 4.140625 -3.5 3.59375 -4.46875 2.359375 -4.46875 C 1.203125 -4.46875 0.28125 -3.4375 0.28125 -2.1875 C 0.28125 -0.859375 1.328125 0.109375 2.46875 0.109375 C 3.6875 0.109375 4.140625 -1 4.140625 -1.1875 C 4.140625 -1.28125 4.0625 -1.3125 4 -1.3125 C 3.921875 -1.3125 3.890625 -1.25 3.875 -1.171875 C 3.53125 -0.140625 2.625 -0.140625 2.53125 -0.140625 C 2.03125 -0.140625 1.640625 -0.4375 1.40625 -0.8125 C 1.109375 -1.28125 1.109375 -1.9375 1.109375 -2.296875 Z M 1.109375 -2.296875 "/>
+</symbol>
+<symbol overflow="visible" id="glyph0-17">
+<path style="stroke:none;" d="M 1.171875 -2.171875 C 1.171875 -3.796875 1.984375 -4.21875 2.515625 -4.21875 C 2.609375 -4.21875 3.234375 -4.203125 3.578125 -3.84375 C 3.171875 -3.8125 3.109375 -3.515625 3.109375 -3.390625 C 3.109375 -3.125 3.296875 -2.9375 3.5625 -2.9375 C 3.828125 -2.9375 4.03125 -3.09375 4.03125 -3.40625 C 4.03125 -4.078125 3.265625 -4.46875 2.5 -4.46875 C 1.25 -4.46875 0.34375 -3.390625 0.34375 -2.15625 C 0.34375 -0.875 1.328125 0.109375 2.484375 0.109375 C 3.8125 0.109375 4.140625 -1.09375 4.140625 -1.1875 C 4.140625 -1.28125 4.03125 -1.28125 4 -1.28125 C 3.921875 -1.28125 3.890625 -1.25 3.875 -1.1875 C 3.59375 -0.265625 2.9375 -0.140625 2.578125 -0.140625 C 2.046875 -0.140625 1.171875 -0.5625 1.171875 -2.171875 Z M 1.171875 -2.171875 "/>
+</symbol>
+<symbol overflow="visible" id="glyph0-18">
+<path style="stroke:none;" d="M 2.3125 -6.671875 C 2.21875 -6.796875 2.21875 -6.8125 2.03125 -6.8125 L 0.328125 -6.8125 L 0.328125 -6.5 L 0.625 -6.5 C 0.765625 -6.5 0.96875 -6.484375 1.109375 -6.484375 C 1.34375 -6.453125 1.359375 -6.4375 1.359375 -6.25 L 1.359375 -1.046875 C 1.359375 -0.78125 1.359375 -0.3125 0.328125 -0.3125 L 0.328125 0 C 0.671875 -0.015625 1.171875 -0.03125 1.5 -0.03125 C 1.828125 -0.03125 2.3125 -0.015625 2.65625 0 L 2.65625 -0.3125 C 1.640625 -0.3125 1.640625 -0.78125 1.640625 -1.046875 L 1.640625 -6.234375 C 1.6875 -6.1875 1.6875 -6.171875 1.734375 -6.109375 L 5.796875 -0.125 C 5.890625 -0.015625 5.90625 0 5.96875 0 C 6.109375 0 6.109375 -0.0625 6.109375 -0.265625 L 6.109375 -5.765625 C 6.109375 -6.03125 6.109375 -6.5 7.140625 -6.5 L 7.140625 -6.8125 C 6.78125 -6.796875 6.296875 -6.78125 5.96875 -6.78125 C 5.640625 -6.78125 5.15625 -6.796875 4.8125 -6.8125 L 4.8125 -6.5 C 5.828125 -6.5 5.828125 -6.03125 5.828125 -5.765625 L 5.828125 -1.5 Z M 2.3125 -6.671875 "/>
+</symbol>
+<symbol overflow="visible" id="glyph0-19">
+<path style="stroke:none;" d="M 6.640625 -6.75 L 0.546875 -6.75 L 0.359375 -4.5 L 0.609375 -4.5 C 0.75 -6.109375 0.890625 -6.4375 2.40625 -6.4375 C 2.578125 -6.4375 2.84375 -6.4375 2.9375 -6.421875 C 3.15625 -6.375 3.15625 -6.265625 3.15625 -6.046875 L 3.15625 -0.78125 C 3.15625 -0.453125 3.15625 -0.3125 2.109375 -0.3125 L 1.703125 -0.3125 L 1.703125 0 C 2.109375 -0.03125 3.125 -0.03125 3.59375 -0.03125 C 4.046875 -0.03125 5.078125 -0.03125 5.484375 0 L 5.484375 -0.3125 L 5.078125 -0.3125 C 4.03125 -0.3125 4.03125 -0.453125 4.03125 -0.78125 L 4.03125 -6.046875 C 4.03125 -6.234375 4.03125 -6.375 4.21875 -6.421875 C 4.328125 -6.4375 4.59375 -6.4375 4.78125 -6.4375 C 6.296875 -6.4375 6.4375 -6.109375 6.578125 -4.5 L 6.828125 -4.5 Z M 6.640625 -6.75 "/>
+</symbol>
+<symbol overflow="visible" id="glyph0-20">
+<path style="stroke:none;" d="M 1.71875 -3.765625 L 1.71875 -6.921875 L 0.28125 -6.8125 L 0.28125 -6.5 C 0.984375 -6.5 1.0625 -6.4375 1.0625 -5.9375 L 1.0625 0 L 1.3125 0 C 1.3125 -0.015625 1.390625 -0.15625 1.671875 -0.625 C 1.8125 -0.390625 2.234375 0.109375 2.96875 0.109375 C 4.15625 0.109375 5.1875 -0.875 5.1875 -2.15625 C 5.1875 -3.421875 4.21875 -4.40625 3.078125 -4.40625 C 2.296875 -4.40625 1.875 -3.9375 1.71875 -3.765625 Z M 1.75 -1.140625 L 1.75 -3.1875 C 1.75 -3.375 1.75 -3.390625 1.859375 -3.546875 C 2.25 -4.109375 2.796875 -4.1875 3.03125 -4.1875 C 3.484375 -4.1875 3.84375 -3.921875 4.078125 -3.546875 C 4.34375 -3.140625 4.359375 -2.578125 4.359375 -2.15625 C 4.359375 -1.796875 4.34375 -1.203125 4.0625 -0.75 C 3.84375 -0.4375 3.46875 -0.109375 2.9375 -0.109375 C 2.484375 -0.109375 2.125 -0.34375 1.890625 -0.71875 C 1.75 -0.921875 1.75 -0.953125 1.75 -1.140625 Z M 1.75 -1.140625 "/>
+</symbol>
+<symbol overflow="visible" id="glyph0-21">
+<path style="stroke:none;" d="M 1.765625 -6.921875 L 0.328125 -6.8125 L 0.328125 -6.5 C 1.03125 -6.5 1.109375 -6.4375 1.109375 -5.9375 L 1.109375 -0.75 C 1.109375 -0.3125 1 -0.3125 0.328125 -0.3125 L 0.328125 0 C 0.65625 -0.015625 1.1875 -0.03125 1.4375 -0.03125 C 1.6875 -0.03125 2.171875 -0.015625 2.546875 0 L 2.546875 -0.3125 C 1.875 -0.3125 1.765625 -0.3125 1.765625 -0.75 Z M 1.765625 -6.921875 "/>
+</symbol>
+</g>
+<clipPath id="clip1">
+  <path d="M 78 42 L 131 42 L 131 116.519531 L 78 116.519531 Z M 78 42 "/>
+</clipPath>
+</defs>
+<g id="surface1">
+<g style="fill:rgb(0%,0%,0%);fill-opacity:1;">
+  <use xlink:href="#glyph0-1" x="63.378" y="53.861"/>
+  <use xlink:href="#glyph0-2" x="71.12691" y="53.861"/>
+  <use xlink:href="#glyph0-3" x="75.029261" y="53.861"/>
+  <use xlink:href="#glyph0-4" x="80.010561" y="53.861"/>
+  <use xlink:href="#glyph0-5" x="84.991861" y="53.861"/>
+  <use xlink:href="#glyph0-6" x="90.527081" y="53.861"/>
+  <use xlink:href="#glyph0-7" x="93.294692" y="53.861"/>
+  <use xlink:href="#glyph0-4" x="97.722071" y="53.861"/>
+  <use xlink:href="#glyph0-8" x="102.703371" y="53.861"/>
+  <use xlink:href="#glyph0-6" x="106.577826" y="53.861"/>
+  <use xlink:href="#glyph0-9" x="109.345436" y="53.861"/>
+  <use xlink:href="#glyph0-5" x="114.326736" y="53.861"/>
+</g>
+<g style="fill:rgb(0%,0%,0%);fill-opacity:1;">
+  <use xlink:href="#glyph0-10" x="88.35" y="111.262"/>
+  <use xlink:href="#glyph0-9" x="95.54499" y="111.262"/>
+  <use xlink:href="#glyph0-11" x="100.52629" y="111.262"/>
+  <use xlink:href="#glyph0-12" x="108.828124" y="111.262"/>
+  <use xlink:href="#glyph0-13" x="114.363345" y="111.262"/>
+  <use xlink:href="#glyph0-8" x="119.898565" y="111.262"/>
+  <use xlink:href="#glyph0-4" x="123.773021" y="111.262"/>
+  <use xlink:href="#glyph0-8" x="128.754321" y="111.262"/>
+  <use xlink:href="#glyph0-6" x="132.628776" y="111.262"/>
+  <use xlink:href="#glyph0-9" x="135.396386" y="111.262"/>
+  <use xlink:href="#glyph0-5" x="140.377686" y="111.262"/>
+</g>
+<g style="fill:rgb(0%,0%,0%);fill-opacity:1;">
+  <use xlink:href="#glyph0-14" x="122.98" y="74.018"/>
+  <use xlink:href="#glyph0-5" x="126.577495" y="74.018"/>
+  <use xlink:href="#glyph0-15" x="132.112715" y="74.018"/>
+  <use xlink:href="#glyph0-16" x="135.157286" y="74.018"/>
+  <use xlink:href="#glyph0-2" x="139.584665" y="74.018"/>
+  <use xlink:href="#glyph0-16" x="143.487016" y="74.018"/>
+  <use xlink:href="#glyph0-5" x="147.914395" y="74.018"/>
+  <use xlink:href="#glyph0-17" x="153.449616" y="74.018"/>
+  <use xlink:href="#glyph0-16" x="157.876995" y="74.018"/>
+</g>
+<g style="fill:rgb(0%,0%,0%);fill-opacity:1;">
+  <use xlink:href="#glyph0-18" x="6.641" y="73.963"/>
+  <use xlink:href="#glyph0-4" x="14.11295" y="73.963"/>
+  <use xlink:href="#glyph0-2" x="19.09425" y="73.963"/>
+  <use xlink:href="#glyph0-2" x="22.9966" y="73.963"/>
+  <use xlink:href="#glyph0-4" x="26.898951" y="73.963"/>
+  <use xlink:href="#glyph0-8" x="31.880251" y="73.963"/>
+  <use xlink:href="#glyph0-6" x="35.754706" y="73.963"/>
+  <use xlink:href="#glyph0-9" x="38.522316" y="73.963"/>
+  <use xlink:href="#glyph0-5" x="43.503616" y="73.963"/>
+</g>
+<g style="fill:rgb(0%,0%,0%);fill-opacity:1;">
+  <use xlink:href="#glyph0-19" x="67.958" y="10.239"/>
+</g>
+<g style="fill:rgb(0%,0%,0%);fill-opacity:1;">
+  <use xlink:href="#glyph0-4" x="74.326094" y="10.239"/>
+  <use xlink:href="#glyph0-20" x="79.307394" y="10.239"/>
+  <use xlink:href="#glyph0-13" x="84.842614" y="10.239"/>
+  <use xlink:href="#glyph0-21" x="90.377835" y="10.239"/>
+  <use xlink:href="#glyph0-4" x="93.145445" y="10.239"/>
+  <use xlink:href="#glyph0-8" x="98.126745" y="10.239"/>
+  <use xlink:href="#glyph0-6" x="102.0012" y="10.239"/>
+  <use xlink:href="#glyph0-9" x="104.768811" y="10.239"/>
+  <use xlink:href="#glyph0-5" x="109.750111" y="10.239"/>
+</g>
+<g clip-path="url(#clip1)" clip-rule="nonzero">
+<path style="fill:none;stroke-width:1.19553;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M 3.506 11.242594 L 22.006 -30.3785 " transform="matrix(1,0,0,-1,91.619,70.559)"/>
+</g>
+<path style="fill:none;stroke-width:1.19553;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M 21.052875 11.242594 L 32.416156 6.980875 " transform="matrix(1,0,0,-1,91.619,70.559)"/>
+<path style="fill:none;stroke-width:1.19553;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M -26.314312 11.242594 L -40.708844 6.926187 " transform="matrix(1,0,0,-1,91.619,70.559)"/>
+<path style="fill:none;stroke-width:1.19553;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M -0.0018125 27.02775 L -0.0018125 56.805094 " transform="matrix(1,0,0,-1,91.619,70.559)"/>
+<path style="fill:none;stroke-width:0.3985;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-dasharray:0.3985,1.99255;stroke-miterlimit:10;" d="M 30.775531 -30.3785 L 46.381 -6.980063 M 27.841938 0.00040625 L -39.064312 0.00040625 M -47.634625 -6.925375 L 7.095844 -30.3785 " transform="matrix(1,0,0,-1,91.619,70.559)"/>
+<path style="fill:none;stroke-width:0.3985;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-dasharray:0.3985,1.99255;stroke-miterlimit:10;" d="M 1.744281 56.805094 L 23.545063 -30.3785 " transform="matrix(1,0,0,-1,91.619,70.559)"/>
+<path style="fill:none;stroke-width:0.3985;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-dasharray:0.3985,1.99255;stroke-miterlimit:10;" d="M 5.584125 56.805094 L 45.447406 6.980875 " transform="matrix(1,0,0,-1,91.619,70.559)"/>
+<path style="fill:none;stroke-width:0.3985;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-dasharray:0.3985,1.99255;stroke-miterlimit:10;" d="M -6.978375 56.805094 L -56.865094 6.926187 " transform="matrix(1,0,0,-1,91.619,70.559)"/>
+</g>
+</svg>