diff --git a/_config.yml b/_config.yml
index 57e5420ec41f896b669380fe3d4898b13b8328d0..fb0791ec3b7e2b1a40a30d95f3782a2146d0ab72 100644
--- a/_config.yml
+++ b/_config.yml
@@ -75,8 +75,8 @@ semesters:
- SS22
- WS22/23
- SS23
- current: WS21/22
- upcoming: SS22
+ current: SS22
+ upcoming: WS22/23
# Custom vars
version: 0.3.0
@@ -84,6 +84,7 @@ repository: https://gl.kwarc.info/kwarc/kwarc.info/www
tagfolder: tag
materialize: materialize
+material-icons: material-icons
jquery: jquery-3.2.1
fontawesome: font-awesome-4.7.0
diff --git a/_includes/head.html b/_includes/head.html
index d19c21c1833f092fdbf082ebff449752db8266d8..8b46d7e507776a18febd04d2661717e17dec8795 100644
--- a/_includes/head.html
+++ b/_includes/head.html
@@ -14,8 +14,8 @@
{% endif %}
</title>
- <!--Import Google Icon Font -->
- <link href="https://fonts.googleapis.com/icon?family=Material+Icons" rel="stylesheet">
+ <!-- Material CSS font -->
+ <link type="text/css" rel="stylesheet" href="{{ site.baseurl }}/public/{{ site.material-icons }}/font.css">
<!-- Import materialize -->
<link type="text/css" rel="stylesheet" href="{{ site.baseurl }}/public/{{ site.materialize }}/css/materialize.min.css" media="screen,projection"/>
diff --git a/_posts/2021-12-01-VoLL-KI.md b/_posts/2021-12-01-VoLL-KI.md
new file mode 100644
index 0000000000000000000000000000000000000000..80df2dd136ff9b85356957b16ffb32cb5cd9ae4d
--- /dev/null
+++ b/_posts/2021-12-01-VoLL-KI.md
@@ -0,0 +1,14 @@
+---
+layout: post
+author: mkohlhase
+title: KWARC leads BMBF project VoLL-KI (2021-2015)
+tags:
+ - Announcements
+ - Voll-KI
+---
+Today, the KWARC group starts a new project: [VoLL-KI](https://voll-ki.de) (Von Lernenden
+Lernen: AI Methods for Tertiary education). This project is funded by BMBF with 5M€
+ - overall joint project with Uni Bamberg and Hochschule Coburg - 2M€ for FAU, split
+between the KWARC group and the [DDI group (Didactics of Computer Science](https://www.ddi.tf.fau.de/).
+
+[Prof. Kohlhase](https://kwarc.info/kohlhase) coordinates the [overall project](https://voll-ki.de).
diff --git a/_posts/2022-02-01-welcome-timur.md b/_posts/2022-02-01-welcome-timur.md
new file mode 100644
index 0000000000000000000000000000000000000000..b432c988f2c0e3c106047389b3ddae4e62587930
--- /dev/null
+++ b/_posts/2022-02-01-welcome-timur.md
@@ -0,0 +1,9 @@
+---
+layout: post
+author: mkohlhase
+title: Welcome Timur Fayzrakhmanov (Proect VoLL-KI)
+tags:
+ - Announcements
+---
+The [VoLL-KI](https://voll-ki.de) project welcomes a new member: Timur Fayzrakhmanov who
+joins us from Kazan.
diff --git a/_posts/2022-02-10-HIM-trimester.md b/_posts/2022-02-10-HIM-trimester.md
new file mode 100644
index 0000000000000000000000000000000000000000..ea679db3f5a5a2ce8cf0cf26cfbdcc3da4c32f17
--- /dev/null
+++ b/_posts/2022-02-10-HIM-trimester.md
@@ -0,0 +1,10 @@
+---
+layout: post
+author: mkohlhase
+title: "Special Trimester on \"Prospects of Formalized Mathematics\" at the Hausdorff Institute of Mathematics in Bonn"
+tags:
+ - Announcements
+---
+The [Hausdorff Institute of Mathematics](https://www.him.uni-bonn.de/) will offer a
+Special [Trimester on "Prospects of Formalized Mathematics"](https://www.him.uni-bonn.de/programs/future-programs/future-trimester-programs/prospects-of-formal-mathematics/description/) May-August 2024.
+[Prof. Kohlhase](https://kwarc.info/kohlhase) coordinates the organization.
diff --git a/courses/KRMT.md b/courses/KRMT.md
index 951ff7c7c69434996228343a26c930ee6eb22130..204a9ea5e29a24efaed1257519e09f371499b449 100644
--- a/courses/KRMT.md
+++ b/courses/KRMT.md
@@ -26,9 +26,4 @@ Materialien:
* [Course Notes, Hausaufgaben](http://kwarc.info/teaching/KRMT)
* [Tutorial zur Formalisierung](https://gl.mathhub.info/Tutorials/Mathematicians/blob/master/tutorial/mmt-math-tutorial.pdf)
* [Formalisierungen des letzten Kurses](https://gl.mathhub.info/Teaching/KRMT/tree/master/source)
-
-Diskussionen finden auf dem
-[FSI Forum KRMT](https://fsi.cs.fau.de/forum/150-Logikbasierte-Wissensrepraesentation) statt. Dies ist
-eine wichtige Quelle von Rat und Tat. Wir bemühen uns, auf dem Forum präsent zu sein, und
-schnell auf Fragen zu antworten. Also das Forum abonnieren!
diff --git a/courses/ai1sysproj.md b/courses/ai1sysproj.md
index 6b9ad840cdc47f75e239552c5fb6087683e761a8..e033643fd947b15ca47fd80a76875d9f1d14ee2f 100644
--- a/courses/ai1sysproj.md
+++ b/courses/ai1sysproj.md
@@ -4,12 +4,14 @@ layout: course
title: AI-1 Systems Project
instructors:
- mkohlhase
-
+ - jfschaefer
semesters:
- - WS21/22
+ - WS21/22
+ - WS22/23
+ - WS23/24
+ - WS24/25
---
-**IMPORTANT: This page is not updated anymore. For up-to-date information about this year's AI1SysProj, you should join StudOn and our other communication platforms**
##### Overview
The AI-1 Systems Project aims to provide hands-on experience for the topics covered in the [Artificial Intelligence 1 lecture](/courses/ai1/) (symbolic AI).
@@ -18,39 +20,11 @@ Concretely, the project will consist of several problems, which you will work on
Each problem will require a substantial amount of programming work - after all the project is worth 10 ECTS.
This is the first iteration of the AI-1 Systems Project and we only recently started planning it.
Therefore, a lot of things are not yet decided and we will update this website as we go along.
+To get an idea of the problems, you can take a look at the [old assignments](https://kwarc.info/teaching/AISysProj/).
-##### Requirements
-The [Artificial Intelligence 1 lecture](/courses/ai1/) ([last year's lecture notes for AI 1 & 2](/teaching/AI/notes-2019-20.pdf))
-is not a strict requirement but we do recommend to take it as we will not teach the topics again in the project.
-Except for the first 1 or possibly 2 problems, the project will behind the lecture,
-i.e. you can take the project and the lecture in parallel.
-Note that we do expect strong programming skills in any programming language.
-
-
-##### Grading
-We are still figuring out the grading but our current plan is that you have to solve each problem and then
-your grade will be based on a presentation and report of one of the problems (while at least some of the problems
-may/will be solved in teams, the presentation and report have to be done individually).
-
-
-##### Registration and First Meeting
+##### Details, Registration and First Meeting
On [StudOn](https://www.studon.uni-erlangen.de/univis_2021w.Lecture.42125954).
-Note that currently we are still figuring out the process for accepting people.
-
-We are planning to have a first Zoom meeting on Nov 2 (see the StudOn forum for details).
-In that meeting we will discuss how the project will be organized in more detail and introduce
-the first problem (search).
-We will schedule the call once people have been accepted into the StudOn course.
-
-
-##### Format and Duration
-Our current plan is to conduct the systems project largely online though we may also offer some offline Q&A sessions.
-We are not limited to the lecture times, which gives us a lot of scheduling flexibility.
-In particular, we might shift some of your workload for the project
-from the lecture time into the lecture-free/post-exam time.
-The details are not yet decided and up to discussion.
-
##### It's different from "Projekt zur Künstlichen Intelligenz"
On UnivIS, you will also find "Projekt zur Künstlichen Intelligenz (P KI)".
@@ -61,12 +35,3 @@ and every student will work on the same set of problems.
"P KI", on the other hand, is an individual research project with the kwarc group.
In the AI Master you need two projects, so you could even take both (then taking the systems project first is probably a good idea).
-
-##### Project plan (work in progress)
-
-| Topic | Problem |
-|-------|---------|
-| Search | Find "best" connections for the Indian railway network |
-| Adversarial Search | Current plan: Create an agent for a variant of [Sternhalma](https://en.wikipedia.org/wiki/Chinese_checkers) |
-| Constraint Satisfaction | Current idea: Use a CSP solver to create a schedule for FAU lectures (if we get the data) |
-
diff --git a/courses/ai2sysproj.md b/courses/ai2sysproj.md
new file mode 100644
index 0000000000000000000000000000000000000000..501cb196d2cf1254746f7ad57395b10c01747b54
--- /dev/null
+++ b/courses/ai2sysproj.md
@@ -0,0 +1,35 @@
+---
+layout: course
+
+title: AI-2 Systems Project
+instructors:
+ - mkohlhase
+ - jfschaefer
+semesters:
+ - SS22
+ - SS23
+ - SS24
+ - SS25
+ - SS26
+---
+
+##### Overview
+The AI-2 Systems Project aims to provide hands-on experience for the topics covered in the [Artificial Intelligence 2 lecture](/courses/ai2/) (subsymbolic AI).
+That includes the implementation of algorithms for specific problems and the use of existing tools.
+Concretely, the project will consist of several problems, which you will work on individually or in small teams.
+Each problem will require a substantial amount of programming work - after all the project is worth 10 ECTS.
+To get an idea of the problems, you can take a look at the [old assignments](https://kwarc.info/teaching/AISysProj/).
+
+##### Details, Registration and First Meeting
+On [StudOn](https://www.studon.uni-erlangen.de/univis_2022s.Lecture.42185954).
+
+##### It's different from "Projekt zur Künstlichen Intelligenz"
+On UnivIS, you will also find "Projekt zur Künstlichen Intelligenz (P KI)".
+The systems project and "P KI" both count as a project for the master's degree (in Informatik or Artificial Intelligence).
+Despite the similar names, they are very different:
+The systems project (as described on this page) is organized more like a course, parallel to the AI 2 lecture,
+and every student will work on the same set of problems.
+"P KI", on the other hand, is an individual research project with the kwarc group.
+In the AI Master you need two projects, so you could even take both (then taking the systems project first is probably a good idea).
+
+
diff --git a/courses/swuv.md b/courses/swuv.md
index 082e181251c09d568a472e451b785f093f00dba2..e7c99767893e8d5ae81dfa98328a70ce01f72a4f 100644
--- a/courses/swuv.md
+++ b/courses/swuv.md
@@ -19,7 +19,18 @@ semesters:
- SS22
---
-##### Das Seminar findet ab WS 2021/22 wieder in Präsenz statt
+##### Administrative
+
+The seminar takes place every semester on Thursdays 14:15-15:45 throughout the lecture period.
+It takes place in Room 00.131-128, Cauerstraße 11.
+
+The seminar takes place in-person unless mentioned otherwise.
+If we need to do it via zoom, we will use the following room:
+* zoom meeting room <https://fau.zoom.us/j/93424820605?pwd=d3N0M3pkVDBKclBnN3NzVnYwY3hGUT09>
+* meeting ID: 934 2482 0605
+* password: 027214
+
+##### Content and Audience
This seminar discusses selected topics from knowledge representation.
This is a wide field that pervades all of computer science and many adjacent sciences like mathematics and physics.
@@ -38,34 +49,24 @@ We also occasionally have advanced talk from visiting researchers.
The social center of the seminar is the [KWARC research group](http://kwarc.info), and the talks reflect the current research in the group.
Therefore, the seminar is well-suited for newcomers, e.g., students interested in a Master thesis or PhD.
-*Seminartermin/-ort*: Donnerstag 14:15-15:45
-
-*The seminar will be online-only until further notice.*
-
-* zoom meeting room <https://fau.zoom.us/j/93424820605?pwd=d3N0M3pkVDBKclBnN3NzVnYwY3hGUT09>
-* meeting ID: 934 2482 0605
-* password: 027214
-
-<!-- Raum 00.131-128, Cauerstraße 11 -->
+##### SS 2022
|Datum|Sprecher|Thema|Notiz|
|-----|--------|-----|----|
-| 21. 10. 2021 | Kohlhase, Rabe | Admin, Themenvergabe |
-| 28. 10. 2021 | Annika Schmidt | Modular Formalization of Set Theory | MSc thesis presentation
-| 04. 11. 2021 | Moritz Blöcher | Derived Inference Rules in LATIN | BSc project presentation
-| 11. 11. 2021 | John Schihada | Knowledge-Based Physics Simulation| MSc thesis presentation
-| 18. 11. 2021 | Alexander Steen | Introduction Automated Reasoning | Juridicum, parallel event
-| 25. 11. 2021 | cancelled | |
-| 02. 12. 2021 | Dennis Müller | Combining Statistical Machine Learning and Inductive Logic Programming | a general talk inspired by his 6 month visit at Fraunhofer Institute for Integrated Circuits
-| 09. 12. 2021 | Max Rapp | Formalizing Argumentation Logics | PhD thesis progress talk
-| moved to 5pm, 20. 12. 2021 | Ivo Junior | Interfacing Mathematical Human-Computer Interactions by Using the Grammatical Logical Inference Framework | BSc. Presentation |
-| 23. 12. 2021 | cancelled | |
-| 06. 01. 2022 | cancelled | |
-| 13. 01. 2022 | Fabian Brinkmann | Algebraic Language Theory |
-| 20. 01. 2022 | Tim Friederich| A Semantic Search Engine for Quality Management | BSc thesis presentation
-| 27. 01. 2022 | cancelled | |
-| 03. 02. 2022 | Names in DRT | Michael Kohlhase |
-| 10. 02. 2022 | Chase Ford | Coalgebra | part of collaboration with Inf 8 group
+| 28. 04. 2022 | Kohlhase, Rabe | Admin, Themenvergabe |
+| 05. 05. 2022 | Kohlhase, Rabe | How to read a paper? |
+| 12. 05. 2022 | Kohlhase, Rabe | How to give a talk? |
+| 19. 05. 2022 | | |
+| 26. 05. 2022 | holiday| |
+| 02. 06. 2022 | | |
+| 09. 06. 2022 | | |
+| 16. 06. 2022 | holiday | |
+| 23. 06. 2022 | | |
+| 30. 06. 2022 | | |
+| 07. 07. 2022 | | |
+| 14. 07. 2022 | | |
+| 21. 07. 2022 | | |
+| 28. 07. 2022 | | |
##### Vortragsthemen
@@ -92,6 +93,27 @@ statt. Dies ist eine wichtige Quelle von Ankündigungen sowie Rat und Tat. Wir b
auf dem Forum präsent zu sein, und schnell auf Fragen zu antworten. Also das Forum
abonnieren!
+##### For the record: WS 2021/2022
+
+|Datum|Sprecher|Thema|Notiz|
+|-----|--------|-----|----|
+| 21. 10. 2021 | Kohlhase, Rabe | Admin, Themenvergabe |
+| 28. 10. 2021 | Annika Schmidt | Modular Formalization of Set Theory | MSc thesis presentation
+| 04. 11. 2021 | Moritz Blöcher | Derived Inference Rules in LATIN | BSc project presentation
+| 11. 11. 2021 | John Schihada | Knowledge-Based Physics Simulation| MSc thesis presentation
+| 18. 11. 2021 | Alexander Steen | Introduction Automated Reasoning | Juridicum, parallel event
+| 25. 11. 2021 | cancelled | |
+| 02. 12. 2021 | Dennis Müller | Combining Statistical Machine Learning and Inductive Logic Programming | a general talk inspired by his 6 month visit at Fraunhofer Institute for Integrated Circuits
+| 09. 12. 2021 | Max Rapp | Formalizing Argumentation Logics | PhD thesis progress talk
+| moved to 5pm, 20. 12. 2021 | Ivo Junior | Interfacing Mathematical Human-Computer Interactions by Using the Grammatical Logical Inference Framework | BSc. Presentation |
+| 23. 12. 2021 | cancelled | |
+| 06. 01. 2022 | cancelled | |
+| 13. 01. 2022 | Fabian Brinkmann | Algebraic Language Theory |
+| 20. 01. 2022 | Tim Friederich| A Semantic Search Engine for Quality Management | BSc thesis presentation
+| 27. 01. 2022 | cancelled | |
+| 03. 02. 2022 | Names in DRT | Michael Kohlhase |
+| 10. 02. 2022 | Chase Ford | Coalgebra | part of collaboration with Inf 8 group
+
##### For the record: Seminarplan SS21
|Datum|Sprecher|Thema|Notiz|
diff --git a/events/GILogicWorkshops/2021/index.md b/events/GILogicWorkshops/2021/index.md
new file mode 100644
index 0000000000000000000000000000000000000000..78c7f9abe8dcecc2c5cd954f756857216d86995e
--- /dev/null
+++ b/events/GILogicWorkshops/2021/index.md
@@ -0,0 +1,48 @@
+---
+layout: page
+title: GI Meeting Deduction and Logic
+---
+
+### Online Meeting in Spring 2021
+
+The meeting took place online on March 26.
+The call for contributions is [here](2021/cfp.txt).
+The call for participation is [here](2021/cfpart.txt).
+
+The program consisted of 3 sessions of zoom talks each followed with a break in [gather.town](https://gather.town).
+
+#### Session 1: 10:00 - 12:15 (chair: Sergey Goncharov)
+
+* 10:00: Ana Sokolova, **Invited talk**: Algebraic Traces for Probability and Nondeterminism [slides (if any)](2021/sokolova.pdf)
+* 10:45: David Fuenmayor, Paraconsistent and paracomplete logics in Isabelle/HOL [slides (if any)](2021/fuenmayor.pdf)
+* 11:05: Florian Bruse and Martin Lange and Marco Sälzer, On Finite Convergence of Fixpoints in the Modal Mu-Calculus [slides (if any)](2021/saelzer.pdf)
+* 11:25: Ali Farjami, Normative Reasoning: A Computational Challenge [slides (if any)](2021/farjami.pdf)
+* 11:45: *break with free discussion in gather.town*
+
+#### Session 2: 13:00 - 15:15 (chair: Claudia Schon)
+
+* 13:00: Dov Gabbay and Ross Horne, **Invited talk**: Analytic Proof Calculi for the Notion of Failure [slides (if any)](2021/gabbay.pdf)
+* 13:45: Christoph Benzmüller and David Fuenmayor, Value-oriented Legal Argumentation in Isabelle/HOL [slides (if any)](2021/benzmueller.pdf)
+* 14:05: Claudia Schon and Sophie Siebert and Frieder Stolzenburg, Negation in Cognitive Reasoning [slides (if any)](2021/siebert.pdf)
+* 14:25: Felix Weitkämper, A new role for finite model theory in statistical relational AI [slides (if any)](2021/weitkaempfer.pdf)
+* 14:45: *break with free discussion in gather.town*
+
+#### Session 3: 15:15 - 17:30 (chair: Olaf Beyersdorff)
+
+* 15:15: Marl Joos and Tobias Philipp, Mitigation of Cache Side Channel Attacks with Answer Set Programming [slides (if any)](2021/joos.pdf)
+* 15:35: Mario Wenzel, Microlog - Microcontroller programming using Datalog [slides (if any)](2021/wenzel.pdf)
+* 15:55: Muhammad Usama Sardar and Christof Fetzer, Understanding Remote Attestation in Intel SGX and TDX via Formal Verification [slides (if any)](2021/sardar.pdf)
+* 16:15: Thomas Zeume, Teaching Logic with Iltis [slides (if any)](2021/zeume.pdf)
+* 16:35: Lena Katharina Schiffer, Expressive Power of Combinatory Categorial Grammars [slides (if any)](2021/schiffer.pdf)
+* 16:55: *break with free discussion in gather.town*
+
+#### Business meetings: 17:30 - 18:30
+
+* 17:30: Business meetings (Mitgliederversammlungen) of the GI groups
+
+----------------------------------------
+
+### Canceled meeting in Fall 2020
+
+The meeting was originally planned to take place in-person in Erlangen from 30.09.2020 to 02.10.2020.
+But after discussions among the speakers of the GI groups and the local organizers, it was postponed to Spring 2021 and eventually replaced with an online meeting.
diff --git a/events/GILogicWorkshops/index.md b/events/GILogicWorkshops/index.md
index d13620a18fcfce3c6dc62a399d8c478ab83d9246..b4b9c82c46f57bdc6ada53d281bc20f6886c4505 100644
--- a/events/GILogicWorkshops/index.md
+++ b/events/GILogicWorkshops/index.md
@@ -10,55 +10,29 @@ They are organized by [Sergey Goncharov](https://www8.cs.fau.de/sergey) and [Flo
In fact, due to COVID-19 pandemic, online meetings took place.
An in-person meeting of Deduction Systems is planned for 2022 as a part of the KI conference.
-### Online Meeting in Spring 2022
+The 2021 meeting is [here](2021/index.html).
+
+### Program of the Spring 2022 Meeting
The meeting will take place online on April 8.
The call for contributions is [here](2022/cfp.txt).
-
--------------------------------------
-
-
-### Online Meeting in Spring 2021
-
-The meeting took place online on March 26.
-The call for contributions is [here](2021/cfp.txt).
-The call for participation is [here](2021/cfpart.txt).
-
-The program consisted of 3 sessions of zoom talks each followed with a break in [gather.town](https://gather.town).
-
-#### Session 1: 10:00 - 12:15 (chair: Sergey Goncharov)
-
-* 10:00: Ana Sokolova, **Invited talk**: Algebraic Traces for Probability and Nondeterminism [slides (if any)](2021/sokolova.pdf)
-* 10:45: David Fuenmayor, Paraconsistent and paracomplete logics in Isabelle/HOL [slides (if any)](2021/fuenmayor.pdf)
-* 11:05: Florian Bruse and Martin Lange and Marco Sälzer, On Finite Convergence of Fixpoints in the Modal Mu-Calculus [slides (if any)](2021/saelzer.pdf)
-* 11:25: Ali Farjami, Normative Reasoning: A Computational Challenge [slides (if any)](2021/farjami.pdf)
-* 11:45: *break with free discussion in gather.town*
-
-#### Session 2: 13:00 - 15:15 (chair: Claudia Schon)
-
-* 13:00: Dov Gabbay and Ross Horne, **Invited talk**: Analytic Proof Calculi for the Notion of Failure [slides (if any)](2021/gabbay.pdf)
-* 13:45: Christoph Benzmüller and David Fuenmayor, Value-oriented Legal Argumentation in Isabelle/HOL [slides (if any)](2021/benzmueller.pdf)
-* 14:05: Claudia Schon and Sophie Siebert and Frieder Stolzenburg, Negation in Cognitive Reasoning [slides (if any)](2021/siebert.pdf)
-* 14:25: Felix Weitkämper, A new role for finite model theory in statistical relational AI [slides (if any)](2021/weitkaempfer.pdf)
-* 14:45: *break with free discussion in gather.town*
-
-#### Session 3: 15:15 - 17:30 (chair: Olaf Beyersdorff)
-
-* 15:15: Marl Joos and Tobias Philipp, Mitigation of Cache Side Channel Attacks with Answer Set Programming [slides (if any)](2021/joos.pdf)
-* 15:35: Mario Wenzel, Microlog - Microcontroller programming using Datalog [slides (if any)](2021/wenzel.pdf)
-* 15:55: Muhammad Usama Sardar and Christof Fetzer, Understanding Remote Attestation in Intel SGX and TDX via Formal Verification [slides (if any)](2021/sardar.pdf)
-* 16:15: Thomas Zeume, Teaching Logic with Iltis [slides (if any)](2021/zeume.pdf)
-* 16:35: Lena Katharina Schiffer, Expressive Power of Combinatory Categorial Grammars [slides (if any)](2021/schiffer.pdf)
-* 16:55: *break with free discussion in gather.town*
-
-#### Business meetings: 17:30 - 18:30
-
-* 17:30: Business meetings (Mitgliederversammlungen) of the GI groups
-
-----------------------------------------
-
-### Canceled meeting in Fall 2020
-
-The meeting was originally planned to take place in-person in Erlangen from 30.09.2020 to 02.10.2020.
-But after discussions among the speakers of the GI groups and the local organizers, it was postponed to Spring 2021 and eventually replaced with an online meeting.
+The program will consist of multiple sessions of zoom talks in the zoom room https://fau.zoom.us/j/63889416032.
+The program is as follows:
+
+* Session 1: 10:00 - 11:00 (chair: Claudia Schon)
+ * 10:00: Martin Suda, **Invited talk** Integrating Machine Learning into Saturation-based ATPs [slides (if any)](2022/suda.pdf)
+* Break 1: 11:00 - 11:30: free discussion in zoom
+* Session 2: 11:30 - 13:00 (chair: Florian Rabe)
+ * 11:30: Florian Wörz, Number of Variables for Graph Differentiation and the Resolution of GI Formulas [slides (if any)](2022/woerz.pdf)
+ * 12:00: Martin Lange, The Calculus of Influence - Formal Modelling of Biological Experiments [slides (if any)](2022/lange.pdf)
+ * 12:30: Florian Bruse, Model Checking Timed Recursive CTL, [slides (if any)](2022/bruse.pdf)
+* Lunch break: 13:00 - 14:00
+* Session 3: 14:00 - 15:30 (chair: Sergey Goncharov)
+ * 14:00: Colin Rothgang, Theorem Proving in Dependently Typed Higher-Order Logic [slides (if any)](2022/rothgang.pdf)
+ * 14:30: Jean Christoph Jung and Frank Wolter, Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments [slides (if any)](2022/jung.pdf)
+ * 15:00: Hendrik Leidinger, SCL for First-Order Logic with Equality, [slides (if any)](2022/lange.pdf)
+* Break 2: 15:30 - 16:00: free discussion in zoom
+* Session 4: 16:00 - 17:00 (chair: Olaf Beyersdorff)
+ * 16:00: Marijn Heule, **Invited talk** Short Proofs in Strong Proof Systems Fragments [slides (if any)](2022/heule.pdf)
+* Session 5: 17:15 - 18:00: Mitgliederversammlung Fachgruppe LogInf
diff --git a/people/aschmidt.md b/people/aschmidt.md
index 9e0adbe565d2bf6d93dd55728a5f2bef787bfec7..c69501d91aec7e003c830ae766128f4fbc7da639 100644
--- a/people/aschmidt.md
+++ b/people/aschmidt.md
@@ -6,6 +6,7 @@ fullname: B.Sc. Annika Schmidt
pic: public/images/aschmidt.png
start_date: 2020-10
+end_date: 2021-11
role: master-student
affiliation: Computer Science, FAU Erlangen-Nürnberg
diff --git a/people/jschihada.md b/people/jschihada.md
index a11e40932d724a289d535f1d4636707b0f11cb28..57a9f1fc0c7c0c5dcc950acf3cadf06149da9bff 100644
--- a/people/jschihada.md
+++ b/people/jschihada.md
@@ -5,7 +5,8 @@ title: John Schihada
fullname: B.Sc. John Schihada
pic: public/images/jschihada.png
-start_date: 2019-10
+start_date: 2019-10
+start_date: 2021-11
role: master-student
affiliation: Computer Science, FAU Erlangen-Nürnberg
diff --git a/people/jsee.md b/people/jsee.md
index d114fd23e36da90dc24b37dcdc1b5305440c205f..7ed5e4bc62203ac61500d97d027f8a60ade73e8f 100644
--- a/people/jsee.md
+++ b/people/jsee.md
@@ -7,6 +7,7 @@ pic: public/images/jsee.jpg
role: bachelor-student
start_date: 2018-02
+end_date: 2019-09
publink: auto
@@ -19,4 +20,4 @@ Hi, my name is Johannes-Sebastian See and I am a Computer Science student at the
I am currently working on my Bachelor Thesis. That means I try to rebuild MathHub using React.
### Contact
-Email: johannes-sebastian.see@fau.de
\ No newline at end of file
+Email: johannes-sebastian.see@fau.de
diff --git a/people/kamann.md b/people/kamann.md
index 2684304926b082226661f6ceb461caa299050f2d..ca70dbccbf29c46a1bbfc98f77128b660b7fc6a0 100644
--- a/people/kamann.md
+++ b/people/kamann.md
@@ -5,7 +5,7 @@ title: Kai Amann
fullname: Kai Amann
pic: public/images/kamann.jpg
-role: bachelor-student
+role: master-student
start_date: 2018-02
publink: auto
@@ -16,7 +16,9 @@ affiliation: Computer Science, FAU Erlangen-Nürnberg
### Description
Hi, my name is Kai Amann and I'm a Computer Science student at the Friedrich-Alexander Universität Erlangen-Nürnberg.
-At the moment I'm working on my Bachelor Thesis, which mainly focuses on the field of active documents. In this context I'm working on integrating [MMT](https://uniformal.github.io/) into interactive [Jupyter](http://jupyter.org/) Notebooks.
+My Bachelor Thesis was focused on the field of active documents, more specifically on integrating [MMT](https://uniformal.github.io/) into interactive [Jupyter](http://jupyter.org/) Notebooks.
+
+Currently I'm working on the scientific communication infrastucture [WissKi](https://wiss-ki.eu/). As of now WissKIs are fairly isolated *islands* of knowledge, which leads to fragmentation of the research community and to duplication of work. To alleviate these problems I'm currently working on a infrastructure to allow WissKIs to share their data with each other and bring us a step closer towards a *WissKI Commons*.
### Contact
-Email: kai.amann@fau.de
+Email: firstname + "." + lastname + "@" + "fau.de"
diff --git a/people/mwagner.md b/people/mwagner.md
index d3393d3079593e93141e2aba4fb30c1a6325ca82..fc2d23151c967a3189dc758526a57d14ecd392a7 100644
--- a/people/mwagner.md
+++ b/people/mwagner.md
@@ -3,19 +3,19 @@ layout: person
title: Michael Wagner
fullname: M.Sc. Michael Wagner
pic: public/images/mwagner.jpg
-role: master-student
+role: CDI computer science allrounder
start_date: 2020-09
-affiliation: Computer Science, FAU Erlangen-Nürnberg
+affiliation: [CDI](https://www.cdi.fau.de), FAU Erlangen-Nürnberg
NOpublink: auto
NOwebsite:
---
### Description
-I'm studying computer science at [FAU Erlangen-Nürnberg](http://www.fau.de). I am working on my master thesis at the [KWARC group](http://kwarc.info).
+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.
-I switched to computer science from business information technology in 2014. My focus lies on artificial intelligence, design and data analysis.
### Current Work
-My master thesis aims to achieve the semantification of [OEIS](http://oeis.org/) in cooperation with [zbMATH](https://zbmath.org/). Ideally the [KWARC group](http://kwarc.info) will be able to provide a unique service to mathematicians combining different sources.
+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
diff --git a/people/nroux.md b/people/nroux.md
index 9ab797bdbfba85ef19dc06c0f46981fb66756e64..9c2148b36a9a58f874c0d446c62daaa372048023 100644
--- a/people/nroux.md
+++ b/people/nroux.md
@@ -54,7 +54,7 @@ from Intrinsic to Extrinsic Style"](https://kwarc.info/people/frabe/Research/RR_
- **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/master/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/post/bsc-thesis/)
+- **Bachelor's Thesis:** [*Refactoring of Theory Graphs in Knowledge Representation Systems*](https://navid-roux.netlify.app/bsc-thesis/)
See [my personal website](https://navid-roux.netlify.app/) for Master's courses I have taken.
diff --git a/people/pzoleko.md b/people/pzoleko.md
index d85aea41f510fe6d972436ebfa13ab8062998fdf..576f45852f58a33009208e2ea162297461e7f2ac 100644
--- a/people/pzoleko.md
+++ b/people/pzoleko.md
@@ -6,6 +6,7 @@ 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
diff --git a/projects/almanac.md b/projects/almanac.md
index ccd4690bba971ead131ff29ab376795d3b9bf798..a068dad7766293cfe26ffb01ac14f087decfb0b5 100644
--- a/projects/almanac.md
+++ b/projects/almanac.md
@@ -5,9 +5,9 @@ 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: 'August 2021'
+end_date: 'February 2022'
publink: auto
people:
diff --git a/projects/mdh.md b/projects/mdh.md
index fd9a08acaaf139a0be728b985ef5676fab706758..3f83bbd1caf52c5f5400ecc9a222c1787b22dba4 100644
--- a/projects/mdh.md
+++ b/projects/mdh.md
@@ -5,10 +5,9 @@ title: MathDataHub
shorttitle: MDH
teaser: A Collaboration Project with Ljubljana University
+active: false
start_date: 2020-01
end_date: 2021-12
-active: true
-
people:
- mkohlhase
@@ -21,4 +20,4 @@ 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.
\ No newline at end of file
+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.
diff --git a/projects/voll-ki.md b/projects/voll-ki.md
new file mode 100644
index 0000000000000000000000000000000000000000..f585b033858b8e34ba9b53ad6794db408dc35cc0
--- /dev/null
+++ b/projects/voll-ki.md
@@ -0,0 +1,30 @@
+---
+layout: project
+title: "Von Lernenden Lernen: Ganzheitliche Daten- und Wissensunterstützte Hochschulbildung und deren Gestaltung"
+shorttitle: "VoLL-KI"
+teaser: Symbolic AI Methods for Tertiary Education.
+
+active: true
+start_date: 'December 2021'
+end_date: 'November 2025'
+publink: auto
+
+people:
+ - mkohlhase
+ - dmueller
+ - mrapp
+ - tfayzrakhmanov
+funding: BMBF
+logo: public/BMBF_Logo.svg
+program: Künstliche Intelligenz in der Hochschulbildung
+website: http://voll-ki.de
+---
+The VoLL-KI project is a joint project of the Friedrich Alexander University Erlangen-Nürnberg (FAU), Universität Bamberg, and Coburg University of applied Sciences. The project aims to improve tertiary education on three levels:
+
+* **Macro-level**: evidence-based improvement of study programs
+* **Meso-level**: context-adaptive, rectifiable recommendations for individual study planning
+* **Micro-level**: learner-specific, automated diagnosis and support of learning assets.
+
+The VoLL-KI project combines data and knowledge-based approaches of Artificial Intelligence (AI). Based on preliminary work on knowledge graphs, error libraries for programming, intelligent tutor systems, explainable and interactive machine learning, chatbots, virtual reality, and recommender systems the project will develop intelligent learning support systems. The methods and systems in the project will be piloted in curricula of Computer Science, Artificial Intelligence, and eventually related areas at the three universities.
+
+The VoLL-KI Project is funded by the German Ministry of Research and education (BMBF) with almost 5 Million Euro and runs Dec. 2021 to November 2025. Details: [joint project](https://voll-ki.de) and [FAU subproject](https://voll-ki.fau.de).
diff --git a/public/BMBF_Logo.svg b/public/BMBF_Logo.svg
new file mode 100644
index 0000000000000000000000000000000000000000..b09272fcee5f8cd52acbded0a03dbb8d36e18495
--- /dev/null
+++ b/public/BMBF_Logo.svg
@@ -0,0 +1,12 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<svg width="168" height="104" version="1.1" viewBox="0 0 168 104" xmlns="http://www.w3.org/2000/svg">
+ <g id="Name" transform="scale(1,-1) translate(0,-104)">
+ <path d="m67.748 80.117c0-0.2856-0.0357-0.5355-0.1071-0.7497s-0.1686-0.3986-0.2915-0.5533c-0.123-0.1547-0.2658-0.2797-0.4284-0.3749-0.1627-0.0952-0.3313-0.1666-0.5058-0.2142v-0.0238c0.2142-0.0397 0.4145-0.115 0.6009-0.2261 0.1865-0.1111 0.3491-0.2499 0.488-0.4165 0.1388-0.1666 0.2499-0.3629 0.3332-0.589 0.0833-0.2262 0.1249-0.4741 0.1249-0.7438 0-0.3253-0.0555-0.6228-0.1666-0.8925s-0.2836-0.5038-0.5177-0.7021c-0.234-0.1983-0.5295-0.353-0.8865-0.4641s-0.7814-0.1666-1.2733-0.1666h-1.6779v8.211h1.5827c0.4839 0 0.8985-0.0496 1.2436-0.1487 0.3451-0.0992 0.6287-0.24 0.8508-0.4225s0.3828-0.4026 0.482-0.6604c0.0991-0.2579 0.1487-0.5455 0.1487-0.8628zm-1.0472-0.0357c0 0.3808-0.1349 0.6942-0.4046 0.9401s-0.6942 0.3689-1.2733 0.3689h-0.5474v-2.8322h0.5355c0.5553 0 0.9758 0.1349 1.2614 0.4046s0.4284 0.6426 0.4284 1.1186zm0.1547-3.7842c0 0.4443-0.1448 0.7953-0.4343 1.0532-0.2896 0.2578-0.7041 0.3867-1.2436 0.3867h-0.7021v-2.8798h0.6426c0.6109 0 1.0532 0.121 1.3269 0.363 0.2737 0.2419 0.4105 0.6009 0.4105 1.0769zm6.3784-2.2967h-0.8806v0.6426h-0.0238c-0.0238-0.0476-0.0754-0.117-0.1547-0.2082-0.0793-0.0913-0.1805-0.1785-0.3034-0.2618-0.123-0.0833-0.2718-0.1567-0.4463-0.2202s-0.3689-0.0952-0.5831-0.0952c-0.2539 0-0.4819 0.0377-0.6842 0.113-0.2023 0.0754-0.3749 0.1964-0.5177 0.363s-0.2519 0.3828-0.3272 0.6486c-0.0754 0.2657-0.1131 0.593-0.1131 0.9817v3.7485h0.9639v-3.6771c0-0.476 0.0774-0.8151 0.2321-1.0175 0.1547-0.2022 0.3946-0.3034 0.7199-0.3034 0.2777 0 0.5117 0.0694 0.7021 0.2083 0.1904 0.1388 0.3411 0.2756 0.4522 0.4105v4.3792h0.9639v-5.712zm4.5934 0v3.6771c0 0.4839-0.0813 0.831-0.2439 1.0413-0.1627 0.2102-0.4106 0.3153-0.7438 0.3153-0.2856 0-0.5236-0.0714-0.714-0.2142s-0.3411-0.2816-0.4522-0.4165v-4.403h-0.9639v5.712h0.8806v-0.6426h0.0238c0.0238 0.0476 0.0754 0.117 0.1547 0.2083 0.0793 0.0912 0.1825 0.1785 0.3094 0.2618s0.2777 0.1566 0.4522 0.2201 0.3729 0.0952 0.595 0.0952c0.2539 0 0.4839-0.0377 0.6902-0.113 0.2063-0.0754 0.3808-0.1964 0.5236-0.363s0.2539-0.3828 0.3332-0.6485c0.0793-0.2658 0.119-0.5931 0.119-0.9818v-3.7485h-0.9639zm2.142 2.7727c0 0.5791 0.0754 1.0631 0.2261 1.4518s0.3451 0.7021 0.5831 0.9401 0.5077 0.4066 0.8092 0.5058c0.3015 0.0991 0.6029 0.1487 0.9044 0.1487 0.1825 0 0.3411-0.0139 0.476-0.0417 0.1349-0.0277 0.2459-0.0614 0.3332-0.1011v2.737l0.9639 0.1071v-8.5204h-0.8806v0.6069h-0.0238c-0.0238-0.0476-0.0674-0.113-0.1309-0.1963s-0.1507-0.1666-0.2618-0.2499-0.2499-0.1547-0.4165-0.2143c-0.1666-0.0595-0.361-0.0892-0.5831-0.0892-0.2697 0-0.5256 0.0535-0.7675 0.1607-0.242 0.1071-0.4542 0.2776-0.6367 0.5117-0.1825 0.234-0.3272 0.5355-0.4343 0.9044s-0.1607 0.8151-0.1607 1.3387zm2.261-2.0587c0.1507 0 0.2856 0.0198 0.4046 0.0595s0.2221 0.0893 0.3094 0.1488 0.1607 0.1209 0.2202 0.1844 0.1051 0.119 0.1368 0.1666v3.5224c-0.0873 0.0555-0.1884 0.1031-0.3034 0.1428-0.1151 0.0397-0.2599 0.0595-0.4344 0.0595-0.2221 0-0.4304-0.0377-0.6247-0.113-0.1944-0.0754-0.363-0.2004-0.5058-0.3749s-0.2558-0.4006-0.3391-0.6783-0.125-0.6188-0.125-1.0234c0-0.3967 0.0337-0.7279 0.1012-0.9936 0.0674-0.2658 0.1606-0.48 0.2796-0.6426 0.119-0.1627 0.2539-0.2797 0.4046-0.3511s0.3094-0.1071 0.476-0.1071zm7.1757 3.0702c0-0.2459-0.0079-0.4581-0.0238-0.6366s-0.0317-0.3352-0.0476-0.4701h-2.9155c0.0317-0.6743 0.1765-1.1702 0.4344-1.4875 0.2578-0.3173 0.6287-0.476 1.1126-0.476 0.1666 0 0.3173 0.0198 0.4522 0.0595s0.2519 0.0873 0.3511 0.1428c0.0991 0.0555 0.1824 0.1111 0.2499 0.1666 0.0674 0.0555 0.117 0.0992 0.1487 0.1309l0.357-0.6783c-0.0397-0.0397-0.0992-0.0972-0.1785-0.1725-0.0793-0.0754-0.1864-0.1508-0.3213-0.2262-0.1349-0.0753-0.3015-0.1408-0.4998-0.1963s-0.4324-0.0833-0.7021-0.0833c-0.357 0-0.6803 0.0595-0.9698 0.1785-0.2896 0.119-0.5355 0.3035-0.7378 0.5534s-0.359 0.5672-0.4701 0.952c-0.1111 0.3847-0.1666 0.8468-0.1666 1.3863 0 0.5077 0.0575 0.9461 0.1726 1.315 0.115 0.3689 0.2717 0.6723 0.47 0.9103s0.4284 0.4145 0.6902 0.5296c0.2618 0.115 0.5434 0.1725 0.8449 0.1725 0.5474 0 0.9758-0.1725 1.2852-0.5176s0.4641-0.8628 0.4641-1.553zm-1.8088 1.2852c-0.3411 0-0.6148-0.1428-0.8211-0.4284s-0.3253-0.6981-0.357-1.2376h2.0825c0.0079 0.0397 0.0139 0.0972 0.0179 0.1726 0.0039 0.0753 0.0059 0.1566 0.0059 0.2439 0 0.3967-0.0793 0.7041-0.238 0.9223-0.1587 0.2181-0.3887 0.3272-0.6902 0.3272zm5.5573-0.5117c-0.0635 0.0714-0.1785 0.1686-0.3451 0.2916-0.1666 0.1229-0.3848 0.1844-0.6545 0.1844-0.2539 0-0.4482-0.0595-0.5831-0.1785s-0.2023-0.2618-0.2023-0.4284c0-0.2142 0.0615-0.3907 0.1845-0.5295 0.1229-0.1389 0.3113-0.2876 0.5652-0.4463l0.357-0.2142c0.3887-0.2301 0.6942-0.478 0.9163-0.7437 0.2221-0.2658 0.3332-0.6089 0.3332-1.0294 0-0.4522-0.1567-0.833-0.47-1.1424-0.3134-0.3094-0.7636-0.4641-1.3507-0.4641-0.2301 0-0.4324 0.0238-0.6069 0.0714s-0.3273 0.1031-0.4581 0.1666c-0.1309 0.0635-0.24 0.1329-0.3273 0.2082-0.0873 0.0754-0.1587 0.1448-0.2142 0.2083l0.4641 0.7616c0.0476-0.0476 0.1051-0.1031 0.1726-0.1666 0.0674-0.0635 0.1487-0.1249 0.2439-0.1844s0.2023-0.1091 0.3213-0.1488 0.2578-0.0595 0.4165-0.0595c0.2856 0 0.5038 0.0635 0.6545 0.1904s0.2261 0.2816 0.2261 0.4641c0 0.1349-0.0178 0.2519-0.0535 0.3511-0.0357 0.0991-0.0893 0.1884-0.1607 0.2677s-0.1587 0.1547-0.2618 0.2261-0.2221 0.1507-0.357 0.238l-0.357 0.2261c-0.357 0.2301-0.6367 0.472-0.8389 0.7259-0.2023 0.2539-0.3035 0.5791-0.3035 0.9758 0 0.2142 0.0417 0.4106 0.125 0.5891 0.0833 0.1784 0.2003 0.3331 0.351 0.4641 0.1507 0.1309 0.3273 0.234 0.5296 0.3094 0.2023 0.0753 0.4184 0.113 0.6485 0.113 0.2221 0 0.4125-0.0218 0.5712-0.0654 0.1587-0.0437 0.2955-0.0992 0.4106-0.1666 0.115-0.0675 0.2102-0.1349 0.2856-0.2023 0.0753-0.0675 0.1368-0.125 0.1844-0.1726l-0.4165-0.6902zm4.7005-4.5577v3.6771c0 0.4681-0.0674 0.8052-0.2023 1.0115s-0.353 0.3094-0.6545 0.3094c-0.1587 0-0.2995-0.0198-0.4224-0.0595-0.123-0.0397-0.2321-0.0892-0.3273-0.1487s-0.1785-0.125-0.2499-0.1964-0.1309-0.1349-0.1785-0.1904v-4.403h-0.9639v5.712h0.8806v-0.6426h0.0238c0.0397 0.0635 0.0992 0.1408 0.1785 0.232 0.0793 0.0913 0.1785 0.1786 0.2975 0.2619s0.2578 0.1527 0.4165 0.2082 0.3372 0.0833 0.5355 0.0833c0.6505 0 1.1107-0.2539 1.3804-0.7616 0.0555 0.0793 0.1309 0.1646 0.2261 0.2559 0.0952 0.0912 0.2063 0.1745 0.3332 0.2499 0.1269 0.0753 0.2697 0.1368 0.4284 0.1844s0.3332 0.0714 0.5236 0.0714c1.1583 0 1.7374-0.6743 1.7374-2.023v-3.8318h-0.9639v3.6771c0 0.4681-0.0833 0.8052-0.2499 1.0115s-0.4125 0.3094-0.7378 0.3094c-0.2697 0-0.4938-0.0655-0.6723-0.1963-0.1785-0.131-0.3194-0.2559-0.4225-0.3749 0.0159-0.0873 0.0278-0.1805 0.0357-0.2797 0.0079-0.0991 0.0119-0.2042 0.0119-0.3153v-3.8318h-0.9639zm6.3665 0h-0.9639v5.712h0.9639v-5.712zm-0.476 7.0924c-0.1983 0-0.357 0.0635-0.476 0.1904s-0.1785 0.2935-0.1785 0.4998c0 0.1983 0.0595 0.361 0.1785 0.4879s0.2777 0.1904 0.476 0.1904c0.1904 0 0.3451-0.0635 0.4641-0.1904s0.1785-0.2896 0.1785-0.4879c0-0.2063-0.0595-0.3729-0.1785-0.4998s-0.2737-0.1904-0.4641-0.1904zm5.0694-7.0924v3.6771c0 0.4839-0.0813 0.831-0.2439 1.0413-0.1627 0.2102-0.4106 0.3153-0.7438 0.3153-0.2856 0-0.5236-0.0714-0.714-0.2142s-0.3411-0.2816-0.4522-0.4165v-4.403h-0.9639v5.712h0.8806v-0.6426h0.0238c0.0238 0.0476 0.0754 0.117 0.1547 0.2083 0.0793 0.0912 0.1825 0.1785 0.3094 0.2618s0.2777 0.1566 0.4522 0.2201 0.3729 0.0952 0.595 0.0952c0.2539 0 0.4839-0.0377 0.6902-0.113 0.2063-0.0754 0.3808-0.1964 0.5236-0.363s0.2539-0.3828 0.3332-0.6485c0.0793-0.2658 0.119-0.5931 0.119-0.9818v-3.7485h-0.9639zm3.3677 0h-0.9639v5.712h0.9639v-5.712zm-0.476 7.0924c-0.1983 0-0.357 0.0635-0.476 0.1904s-0.1785 0.2935-0.1785 0.4998c0 0.1983 0.0595 0.361 0.1785 0.4879s0.2777 0.1904 0.476 0.1904c0.1904 0 0.3451-0.0635 0.4641-0.1904s0.1785-0.2896 0.1785-0.4879c0-0.2063-0.0595-0.3729-0.1785-0.4998s-0.2737-0.1904-0.4641-0.1904zm4.4149-2.5347c-0.0635 0.0714-0.1785 0.1686-0.3451 0.2916-0.1666 0.1229-0.3848 0.1844-0.6545 0.1844-0.2539 0-0.4482-0.0595-0.5831-0.1785s-0.2023-0.2618-0.2023-0.4284c0-0.2142 0.0615-0.3907 0.1845-0.5295 0.1229-0.1389 0.3113-0.2876 0.5652-0.4463l0.357-0.2142c0.3887-0.2301 0.6942-0.478 0.9163-0.7437 0.2221-0.2658 0.3332-0.6089 0.3332-1.0294 0-0.4522-0.1567-0.833-0.47-1.1424-0.3134-0.3094-0.7636-0.4641-1.3507-0.4641-0.2301 0-0.4324 0.0238-0.6069 0.0714s-0.3273 0.1031-0.4581 0.1666c-0.1309 0.0635-0.24 0.1329-0.3273 0.2082-0.0873 0.0754-0.1587 0.1448-0.2142 0.2083l0.4641 0.7616c0.0476-0.0476 0.1051-0.1031 0.1726-0.1666 0.0674-0.0635 0.1487-0.1249 0.2439-0.1844s0.2023-0.1091 0.3213-0.1488 0.2578-0.0595 0.4165-0.0595c0.2856 0 0.5038 0.0635 0.6545 0.1904s0.2261 0.2816 0.2261 0.4641c0 0.1349-0.0178 0.2519-0.0535 0.3511-0.0357 0.0991-0.0893 0.1884-0.1607 0.2677s-0.1587 0.1547-0.2618 0.2261-0.2221 0.1507-0.357 0.238l-0.357 0.2261c-0.357 0.2301-0.6367 0.472-0.8389 0.7259-0.2023 0.2539-0.3035 0.5791-0.3035 0.9758 0 0.2142 0.0417 0.4106 0.125 0.5891 0.0833 0.1784 0.2003 0.3331 0.351 0.4641 0.1507 0.1309 0.3273 0.234 0.5296 0.3094 0.2023 0.0753 0.4184 0.113 0.6485 0.113 0.2221 0 0.4125-0.0218 0.5712-0.0654 0.1587-0.0437 0.2955-0.0992 0.4106-0.1666 0.115-0.0675 0.2102-0.1349 0.2856-0.2023 0.0753-0.0675 0.1368-0.125 0.1844-0.1726l-0.4165-0.6902zm4.1412 0.3689h-1.2495v-3.1654c0-0.4046 0.0516-0.6803 0.1547-0.827 0.1031-0.1468 0.2777-0.2202 0.5236-0.2202 0.1428 0 0.2658 0.0198 0.3689 0.0595s0.1785 0.0754 0.2261 0.1071l0.1309-0.7735c-0.0397-0.0317-0.1349-0.0813-0.2856-0.1488-0.1507-0.0674-0.353-0.1011-0.6069-0.1011-0.4919 0-0.8608 0.1368-1.1067 0.4106-0.2459 0.2736-0.3689 0.7278-0.3689 1.3625v3.2963h-0.6902v0.6426l0.6902 0.1428 0.1071 1.5946h0.8568v-1.5946h1.3685l-0.119-0.7854zm4.6767-1.1424c0-0.2459-0.0079-0.4581-0.0238-0.6366s-0.0317-0.3352-0.0476-0.4701h-2.9155c0.0317-0.6743 0.1765-1.1702 0.4344-1.4875 0.2578-0.3173 0.6287-0.476 1.1126-0.476 0.1666 0 0.3173 0.0198 0.4522 0.0595s0.2519 0.0873 0.3511 0.1428c0.0991 0.0555 0.1824 0.1111 0.2499 0.1666 0.0674 0.0555 0.117 0.0992 0.1487 0.1309l0.357-0.6783c-0.0397-0.0397-0.0992-0.0972-0.1785-0.1725-0.0793-0.0754-0.1864-0.1508-0.3213-0.2262-0.1349-0.0753-0.3015-0.1408-0.4998-0.1963s-0.4324-0.0833-0.7021-0.0833c-0.357 0-0.6803 0.0595-0.9698 0.1785-0.2896 0.119-0.5355 0.3035-0.7378 0.5534s-0.359 0.5672-0.4701 0.952c-0.1111 0.3847-0.1666 0.8468-0.1666 1.3863 0 0.5077 0.0575 0.9461 0.1726 1.315 0.115 0.3689 0.2717 0.6723 0.47 0.9103s0.4284 0.4145 0.6902 0.5296c0.2618 0.115 0.5434 0.1725 0.8449 0.1725 0.5474 0 0.9758-0.1725 1.2852-0.5176s0.4641-0.8628 0.4641-1.553zm-1.8088 1.2852c-0.3411 0-0.6148-0.1428-0.8211-0.4284s-0.3253-0.6981-0.357-1.2376h2.0825c0.0079 0.0397 0.0139 0.0972 0.0179 0.1726 0.0039 0.0753 0.0059 0.1566 0.0059 0.2439 0 0.3967-0.0793 0.7041-0.238 0.9223-0.1587 0.2181-0.3887 0.3272-0.6902 0.3272zm5.6049-0.2023c-0.0238 0.0159-0.0754 0.0357-0.1547 0.0595s-0.1864 0.0357-0.3213 0.0357c-0.3015 0-0.5375-0.0813-0.708-0.2439-0.1706-0.1627-0.2916-0.3392-0.363-0.5296v-4.1888h-0.9639v5.712h0.8806v-0.7735h0.0238c0.0397 0.1111 0.0912 0.2202 0.1547 0.3273s0.1428 0.2023 0.238 0.2856 0.2082 0.1487 0.3391 0.1963c0.131 0.0476 0.2876 0.0714 0.4701 0.0714 0.1349 0 0.244-0.0119 0.3273-0.0357s0.1487-0.0436 0.1963-0.0595l-0.119-0.8568zm1.9159-4.8671h-0.9639v5.712h0.9639v-5.712zm-0.476 7.0924c-0.1983 0-0.357 0.0635-0.476 0.1904s-0.1785 0.2935-0.1785 0.4998c0 0.1983 0.0595 0.361 0.1785 0.4879s0.2777 0.1904 0.476 0.1904c0.1904 0 0.3451-0.0635 0.4641-0.1904s0.1785-0.2896 0.1785-0.4879c0-0.2063-0.0595-0.3729-0.1785-0.4998s-0.2737-0.1904-0.4641-0.1904zm5.95-7.0924h-0.8806v0.6426h-0.0238c-0.0238-0.0476-0.0754-0.117-0.1547-0.2082-0.0793-0.0913-0.1805-0.1785-0.3034-0.2618-0.123-0.0833-0.2718-0.1567-0.4463-0.2202s-0.3689-0.0952-0.5831-0.0952c-0.2539 0-0.4819 0.0377-0.6842 0.113-0.2023 0.0754-0.3749 0.1964-0.5177 0.363s-0.2519 0.3828-0.3272 0.6486c-0.0754 0.2657-0.1131 0.593-0.1131 0.9817v3.7485h0.9639v-3.6771c0-0.476 0.0774-0.8151 0.2321-1.0175 0.1547-0.2022 0.3946-0.3034 0.7199-0.3034 0.2777 0 0.5117 0.0694 0.7021 0.2083 0.1904 0.1388 0.3411 0.2756 0.4522 0.4105v4.3792h0.9639v-5.712zm4.4744 0v3.6771c0 0.4681-0.0674 0.8052-0.2023 1.0115s-0.353 0.3094-0.6545 0.3094c-0.1587 0-0.2995-0.0198-0.4224-0.0595-0.123-0.0397-0.2321-0.0892-0.3273-0.1487s-0.1785-0.125-0.2499-0.1964-0.1309-0.1349-0.1785-0.1904v-4.403h-0.9639v5.712h0.8806v-0.6426h0.0238c0.0397 0.0635 0.0992 0.1408 0.1785 0.232 0.0793 0.0913 0.1785 0.1786 0.2975 0.2619s0.2578 0.1527 0.4165 0.2082 0.3372 0.0833 0.5355 0.0833c0.6505 0 1.1107-0.2539 1.3804-0.7616 0.0555 0.0793 0.1309 0.1646 0.2261 0.2559 0.0952 0.0912 0.2063 0.1745 0.3332 0.2499 0.1269 0.0753 0.2697 0.1368 0.4284 0.1844s0.3332 0.0714 0.5236 0.0714c1.1583 0 1.7374-0.6743 1.7374-2.023v-3.8318h-0.9639v3.6771c0 0.4681-0.0833 0.8052-0.2499 1.0115s-0.4125 0.3094-0.7378 0.3094c-0.2697 0-0.4938-0.0655-0.6723-0.1963-0.1785-0.131-0.3194-0.2559-0.4225-0.3749 0.0159-0.0873 0.0278-0.1805 0.0357-0.2797 0.0079-0.0991 0.0119-0.2042 0.0119-0.3153v-3.8318h-0.9639zm-74.958-7.0734h-1.1662v-4.9266h-0.9639v4.9266h-0.6902v0.6426l0.6902 0.1309v1.1424c0 0.3094 0.0436 0.5752 0.1309 0.7973s0.2023 0.4046 0.3451 0.5474 0.3094 0.2459 0.4998 0.3094 0.3927 0.0952 0.6069 0.0952c0.2063 0 0.3808-0.0278 0.5236-0.0833s0.238-0.0992 0.2856-0.1309l-0.2023-0.7973c-0.0476 0.0317-0.115 0.0655-0.2023 0.1012s-0.1944 0.0535-0.3213 0.0535c-0.2301 0-0.4046-0.0714-0.5236-0.2142s-0.1785-0.4046-0.1785-0.7854v-1.0234h1.2852l-0.119-0.7854zm4.9504-4.9266h-0.8806v0.6426h-0.0238c-0.0238-0.0476-0.0754-0.117-0.1547-0.2082-0.0793-0.0913-0.1805-0.1785-0.3034-0.2618-0.123-0.0833-0.2718-0.1567-0.4463-0.2202s-0.3689-0.0952-0.5831-0.0952c-0.2539 0-0.4819 0.0377-0.6842 0.113-0.2023 0.0754-0.3749 0.1964-0.5177 0.363s-0.2519 0.3828-0.3272 0.6486c-0.0754 0.2657-0.1131 0.593-0.1131 0.9817v3.7485h0.9639v-3.6771c0-0.476 0.0774-0.8151 0.2321-1.0175 0.1547-0.2022 0.3946-0.3034 0.7199-0.3034 0.2777 0 0.5117 0.0694 0.7021 0.2083 0.1904 0.1388 0.3411 0.2756 0.4522 0.4105v4.3792h0.9639v-5.712zm-2.3681 7.3542c0-0.1825-0.0555-0.3292-0.1666-0.4403s-0.2459-0.1666-0.4046-0.1666-0.2935 0.0555-0.4046 0.1666-0.1666 0.2578-0.1666 0.4403 0.0555 0.3292 0.1666 0.4403 0.2459 0.1666 0.4046 0.1666 0.2935-0.0555 0.4046-0.1666 0.1666-0.2578 0.1666-0.4403zm1.8326 0c0-0.1825-0.0555-0.3292-0.1666-0.4403s-0.2459-0.1666-0.4046-0.1666-0.2935 0.0555-0.4046 0.1666-0.1666 0.2578-0.1666 0.4403 0.0555 0.3292 0.1666 0.4403 0.2459 0.1666 0.4046 0.1666 0.2935-0.0555 0.4046-0.1666 0.1666-0.2578 0.1666-0.4403zm4.522-2.4871c-0.0238 0.0159-0.0754 0.0357-0.1547 0.0595s-0.1864 0.0357-0.3213 0.0357c-0.3015 0-0.5375-0.0813-0.708-0.2439-0.1706-0.1627-0.2916-0.3392-0.363-0.5296v-4.1888h-0.9639v5.712h0.8806v-0.7735h0.0238c0.0397 0.1111 0.0912 0.2202 0.1547 0.3273s0.1428 0.2023 0.238 0.2856 0.2082 0.1487 0.3391 0.1963c0.131 0.0476 0.2876 0.0714 0.4701 0.0714 0.1349 0 0.244-0.0119 0.3273-0.0357s0.1487-0.0436 0.1963-0.0595l-0.119-0.8568zm7.7112 1.2495c0-0.2856-0.0357-0.5355-0.1071-0.7497s-0.1686-0.3986-0.2915-0.5533c-0.123-0.1547-0.2658-0.2797-0.4284-0.3749-0.1627-0.0952-0.3313-0.1666-0.5058-0.2142v-0.0238c0.2142-0.0397 0.4145-0.115 0.6009-0.2261 0.1865-0.1111 0.3491-0.2499 0.488-0.4165 0.1388-0.1666 0.2499-0.3629 0.3332-0.589 0.0833-0.2262 0.1249-0.4741 0.1249-0.7438 0-0.3253-0.0555-0.6228-0.1666-0.8925s-0.2836-0.5038-0.5177-0.7021c-0.234-0.1983-0.5295-0.353-0.8865-0.4641s-0.7814-0.1666-1.2733-0.1666h-1.6779v8.211h1.5827c0.4839 0 0.8985-0.0496 1.2436-0.1487 0.3451-0.0992 0.6287-0.24 0.8508-0.4225s0.3828-0.4026 0.482-0.6604c0.0991-0.2579 0.1487-0.5455 0.1487-0.8628zm-1.0472-0.0357c0 0.3808-0.1349 0.6942-0.4046 0.9401s-0.6942 0.3689-1.2733 0.3689h-0.5474v-2.8322h0.5355c0.5553 0 0.9758 0.1349 1.2614 0.4046s0.4284 0.6426 0.4284 1.1186zm0.1547-3.7842c0 0.4443-0.1448 0.7953-0.4343 1.0532-0.2896 0.2578-0.7041 0.3867-1.2436 0.3867h-0.7021v-2.8798h0.6426c0.6109 0 1.0532 0.121 1.3269 0.363 0.2737 0.2419 0.4105 0.6009 0.4105 1.0769zm3.3439-2.2967h-0.9639v5.712h0.9639v-5.712zm-0.476 7.0924c-0.1983 0-0.357 0.0635-0.476 0.1904s-0.1785 0.2935-0.1785 0.4998c0 0.1983 0.0595 0.361 0.1785 0.4879s0.2777 0.1904 0.476 0.1904c0.1904 0 0.3451-0.0635 0.4641-0.1904s0.1785-0.2896 0.1785-0.4879c0-0.2063-0.0595-0.3729-0.1785-0.4998s-0.2737-0.1904-0.4641-0.1904zm2.9036-5.7596c0-0.238 0.0337-0.4046 0.1012-0.4998 0.0674-0.0952 0.1844-0.1428 0.351-0.1428 0.0873 0 0.1607 0.0079 0.2202 0.0238s0.1051 0.0317 0.1368 0.0476l0.0833-0.714c-0.0476-0.0238-0.1349-0.0555-0.2618-0.0952s-0.2975-0.0595-0.5117-0.0595c-0.3253 0-0.5871 0.0992-0.7854 0.2975s-0.2975 0.5514-0.2975 1.0591v7.1638l0.9639 0.1071v-7.1876zm1.4994 1.4399c0 0.5791 0.0754 1.0631 0.2261 1.4518s0.3451 0.7021 0.5831 0.9401 0.5077 0.4066 0.8092 0.5058c0.3015 0.0991 0.6029 0.1487 0.9044 0.1487 0.1825 0 0.3411-0.0139 0.476-0.0417 0.1349-0.0277 0.2459-0.0614 0.3332-0.1011v2.737l0.9639 0.1071v-8.5204h-0.8806v0.6069h-0.0238c-0.0238-0.0476-0.0674-0.113-0.1309-0.1963s-0.1507-0.1666-0.2618-0.2499-0.2499-0.1547-0.4165-0.2143c-0.1666-0.0595-0.361-0.0892-0.5831-0.0892-0.2697 0-0.5256 0.0535-0.7675 0.1607-0.242 0.1071-0.4542 0.2776-0.6367 0.5117-0.1825 0.234-0.3272 0.5355-0.4343 0.9044s-0.1607 0.8151-0.1607 1.3387zm2.261-2.0587c0.1507 0 0.2856 0.0198 0.4046 0.0595s0.2221 0.0893 0.3094 0.1488 0.1607 0.1209 0.2202 0.1844 0.1051 0.119 0.1368 0.1666v3.5224c-0.0873 0.0555-0.1884 0.1031-0.3034 0.1428-0.1151 0.0397-0.2599 0.0595-0.4344 0.0595-0.2221 0-0.4304-0.0377-0.6247-0.113-0.1944-0.0754-0.363-0.2004-0.5058-0.3749s-0.2558-0.4006-0.3391-0.6783-0.125-0.6188-0.125-1.0234c0-0.3967 0.0337-0.7279 0.1012-0.9936 0.0674-0.2658 0.1606-0.48 0.2796-0.6426 0.119-0.1627 0.2539-0.2797 0.4046-0.3511s0.3094-0.1071 0.476-0.1071zm7.5089-0.714h-0.8806v0.6426h-0.0238c-0.0238-0.0476-0.0754-0.117-0.1547-0.2082-0.0793-0.0913-0.1805-0.1785-0.3034-0.2618-0.123-0.0833-0.2718-0.1567-0.4463-0.2202s-0.3689-0.0952-0.5831-0.0952c-0.2539 0-0.4819 0.0377-0.6842 0.113-0.2023 0.0754-0.3749 0.1964-0.5177 0.363s-0.2519 0.3828-0.3272 0.6486c-0.0754 0.2657-0.1131 0.593-0.1131 0.9817v3.7485h0.9639v-3.6771c0-0.476 0.0774-0.8151 0.2321-1.0175 0.1547-0.2022 0.3946-0.3034 0.7199-0.3034 0.2777 0 0.5117 0.0694 0.7021 0.2083 0.1904 0.1388 0.3411 0.2756 0.4522 0.4105v4.3792h0.9639v-5.712zm4.5934 0v3.6771c0 0.4839-0.0813 0.831-0.2439 1.0413-0.1627 0.2102-0.4106 0.3153-0.7438 0.3153-0.2856 0-0.5236-0.0714-0.714-0.2142s-0.3411-0.2816-0.4522-0.4165v-4.403h-0.9639v5.712h0.8806v-0.6426h0.0238c0.0238 0.0476 0.0754 0.117 0.1547 0.2083 0.0793 0.0912 0.1825 0.1785 0.3094 0.2618s0.2777 0.1566 0.4522 0.2201 0.3729 0.0952 0.595 0.0952c0.2539 0 0.4839-0.0377 0.6902-0.113 0.2063-0.0754 0.3808-0.1964 0.5236-0.363s0.2539-0.3828 0.3332-0.6485c0.0793-0.2658 0.119-0.5931 0.119-0.9818v-3.7485h-0.9639zm6.4974 4.9623h-0.714c0.1825-0.3015 0.2737-0.6426 0.2737-1.0234 0-0.3015-0.0496-0.5732-0.1487-0.8151-0.0992-0.242-0.238-0.4463-0.4165-0.6129s-0.3888-0.2935-0.6307-0.3808c-0.242-0.0873-0.5018-0.1309-0.7795-0.1309h-0.1547c-0.0476 0-0.0992 4e-3 -0.1547 0.0119-0.0952-0.0397-0.1944-0.1031-0.2975-0.1904s-0.1547-0.2023-0.1547-0.3451c0-0.119 0.0456-0.2162 0.1369-0.2915 0.0912-0.0754 0.2399-0.1131 0.4462-0.1131h0.7259c0.2697 0 0.5196-0.0278 0.7497-0.0833s0.4304-0.1448 0.601-0.2677c0.1705-0.123 0.3034-0.2797 0.3986-0.4701s0.1428-0.4205 0.1428-0.6902c0-0.3094-0.0654-0.591-0.1963-0.8449s-0.3154-0.472-0.5534-0.6545-0.5276-0.3253-0.8687-0.4284-0.7219-0.1547-1.1424-0.1547c-0.6109 0-1.075 0.1329-1.3923 0.3986-0.3173 0.2658-0.476 0.6486-0.476 1.1484 0 0.2142 0.0377 0.3986 0.1131 0.5533 0.0753 0.1547 0.1646 0.2896 0.2677 0.4046 0.1031 0.1151 0.2083 0.2063 0.3154 0.2738 0.107 0.0674 0.1923 0.1209 0.2558 0.1606v0.0238c-0.2459 0.1825-0.3689 0.4482-0.3689 0.7973 0 0.1507 0.0298 0.2816 0.0893 0.3927s0.1269 0.2023 0.2023 0.2737c0.0753 0.0714 0.1507 0.1289 0.2261 0.1726 0.0753 0.0436 0.1328 0.0733 0.1725 0.0892v0.0238c-0.2935 0.1349-0.5295 0.3471-0.708 0.6367-0.1785 0.2895-0.2678 0.6604-0.2678 1.1126 0 0.3173 0.0516 0.597 0.1547 0.8389 0.1031 0.242 0.242 0.4423 0.4165 0.601s0.3788 0.2777 0.6129 0.357c0.234 0.0793 0.4859 0.119 0.7556 0.119s0.5236-0.0476 0.7616-0.1428h1.7374l-0.1309-0.7497zm-2.6537-4.7838c-0.1666 0-0.3134 0.0119-0.4403 0.0357-0.0714-0.0397-0.1408-0.0873-0.2082-0.1428-0.0675-0.0555-0.129-0.123-0.1845-0.2023s-0.1011-0.1725-0.1368-0.2797c-0.0357-0.1071-0.0536-0.232-0.0536-0.3748 0-0.6109 0.3372-0.9163 1.0115-0.9163 0.5791 0 1.0075 0.113 1.2852 0.3391s0.4165 0.486 0.4165 0.7795c0 0.2777-0.0873 0.474-0.2618 0.5891-0.1745 0.115-0.4086 0.1725-0.7021 0.1725h-0.7259zm1.2733 3.7604c0 0.4125-0.0972 0.7061-0.2915 0.8806-0.1944 0.1745-0.4225 0.2618-0.6843 0.2618-0.2777 0-0.5157-0.0873-0.714-0.2618s-0.2975-0.4681-0.2975-0.8806 0.0992-0.7061 0.2975-0.8806 0.4284-0.2618 0.6902-0.2618c0.2777 0 0.5137 0.0873 0.7081 0.2618 0.1943 0.1745 0.2915 0.4681 0.2915 0.8806zm-40.912-15.939h-0.8806v0.6426h-0.0238c-0.0238-0.0476-0.0754-0.117-0.1547-0.2082-0.0793-0.0913-0.1805-0.1785-0.3034-0.2618-0.123-0.0833-0.2718-0.1567-0.4463-0.2202s-0.3689-0.0952-0.5831-0.0952c-0.2539 0-0.4819 0.0377-0.6842 0.113-0.2023 0.0754-0.3749 0.1964-0.5177 0.363s-0.2519 0.3828-0.3272 0.6486c-0.0754 0.2657-0.1131 0.593-0.1131 0.9817v3.7485h0.9639v-3.6771c0-0.476 0.0774-0.8151 0.2321-1.0175 0.1547-0.2022 0.3946-0.3034 0.7199-0.3034 0.2777 0 0.5117 0.0694 0.7021 0.2083 0.1904 0.1388 0.3411 0.2756 0.4522 0.4105v4.3792h0.9639v-5.712zm4.5934 0v3.6771c0 0.4839-0.0813 0.831-0.2439 1.0413-0.1627 0.2102-0.4106 0.3153-0.7438 0.3153-0.2856 0-0.5236-0.0714-0.714-0.2142s-0.3411-0.2816-0.4522-0.4165v-4.403h-0.9639v5.712h0.8806v-0.6426h0.0238c0.0238 0.0476 0.0754 0.117 0.1547 0.2083 0.0793 0.0912 0.1825 0.1785 0.3094 0.2618s0.2777 0.1566 0.4522 0.2201 0.3729 0.0952 0.595 0.0952c0.2539 0 0.4839-0.0377 0.6902-0.113 0.2063-0.0754 0.3808-0.1964 0.5236-0.363s0.2539-0.3828 0.3332-0.6485c0.0793-0.2658 0.119-0.5931 0.119-0.9818v-3.7485h-0.9639zm2.142 2.7727c0 0.5791 0.0754 1.0631 0.2261 1.4518s0.3451 0.7021 0.5831 0.9401 0.5077 0.4066 0.8092 0.5058c0.3015 0.0991 0.6029 0.1487 0.9044 0.1487 0.1825 0 0.3411-0.0139 0.476-0.0417 0.1349-0.0277 0.2459-0.0614 0.3332-0.1011v2.737l0.9639 0.1071v-8.5204h-0.8806v0.6069h-0.0238c-0.0238-0.0476-0.0674-0.113-0.1309-0.1963s-0.1507-0.1666-0.2618-0.2499-0.2499-0.1547-0.4165-0.2143c-0.1666-0.0595-0.361-0.0892-0.5831-0.0892-0.2697 0-0.5256 0.0535-0.7675 0.1607-0.242 0.1071-0.4542 0.2776-0.6367 0.5117-0.1825 0.234-0.3272 0.5355-0.4343 0.9044s-0.1607 0.8151-0.1607 1.3387zm2.261-2.0587c0.1507 0 0.2856 0.0198 0.4046 0.0595s0.2221 0.0893 0.3094 0.1488 0.1607 0.1209 0.2202 0.1844 0.1051 0.119 0.1368 0.1666v3.5224c-0.0873 0.0555-0.1884 0.1031-0.3034 0.1428-0.1151 0.0397-0.2599 0.0595-0.4344 0.0595-0.2221 0-0.4304-0.0377-0.6247-0.113-0.1944-0.0754-0.363-0.2004-0.5058-0.3749s-0.2558-0.4006-0.3391-0.6783-0.125-0.6188-0.125-1.0234c0-0.3967 0.0337-0.7279 0.1012-0.9936 0.0674-0.2658 0.1606-0.48 0.2796-0.6426 0.119-0.1627 0.2539-0.2797 0.4046-0.3511s0.3094-0.1071 0.476-0.1071zm6.2356-0.714v8.211h4.0341l-0.0714-0.8211h-2.9274v-3.0345h2.7013v-0.8211h-2.7013v-3.5343h-1.0353zm4.76 2.856c0 0.5236 0.0615 0.9758 0.1845 1.3566 0.1229 0.3808 0.2895 0.6922 0.4998 0.9341 0.2102 0.242 0.4522 0.4205 0.7259 0.5356 0.2737 0.115 0.5652 0.1725 0.8746 0.1725 0.3173 0 0.6109-0.0575 0.8806-0.1725 0.2697-0.1151 0.5038-0.2936 0.7021-0.5356 0.1983-0.2419 0.355-0.5533 0.4701-0.9341 0.115-0.3808 0.1725-0.833 0.1725-1.3566 0-0.5315-0.0595-0.9877-0.1785-1.3685s-0.2836-0.6922-0.4938-0.9341c-0.2103-0.242-0.4542-0.4185-0.7319-0.5296s-0.5712-0.1666-0.8806-0.1666c-0.3173 0-0.6109 0.0555-0.8806 0.1666s-0.5038 0.2876-0.7021 0.5296c-0.1983 0.2419-0.355 0.5513-0.47 0.9282-0.1151 0.3768-0.1726 0.8349-0.1726 1.3744zm3.5105 0c0 0.7616-0.1111 1.315-0.3332 1.66-0.2221 0.3452-0.5315 0.5177-0.9282 0.5177s-0.7041-0.1725-0.9222-0.5177c-0.2182-0.345-0.3273-0.8984-0.3273-1.66s0.1111-1.309 0.3332-1.6422 0.5315-0.4998 0.9282-0.4998 0.7041 0.1666 0.9223 0.4998c0.2181 0.3332 0.3272 0.8806 0.3272 1.6422zm4.7243 2.0111c-0.0238 0.0159-0.0754 0.0357-0.1547 0.0595s-0.1864 0.0357-0.3213 0.0357c-0.3015 0-0.5375-0.0813-0.708-0.2439-0.1706-0.1627-0.2916-0.3392-0.363-0.5296v-4.1888h-0.9639v5.712h0.8806v-0.7735h0.0238c0.0397 0.1111 0.0912 0.2202 0.1547 0.3273s0.1428 0.2023 0.238 0.2856 0.2082 0.1487 0.3391 0.1963c0.131 0.0476 0.2876 0.0714 0.4701 0.0714 0.1349 0 0.244-0.0119 0.3273-0.0357s0.1487-0.0436 0.1963-0.0595l-0.119-0.8568zm3.3677-0.3094c-0.0635 0.0714-0.1785 0.1686-0.3451 0.2916-0.1666 0.1229-0.3848 0.1844-0.6545 0.1844-0.2539 0-0.4482-0.0595-0.5831-0.1785s-0.2023-0.2618-0.2023-0.4284c0-0.2142 0.0615-0.3907 0.1845-0.5295 0.1229-0.1389 0.3113-0.2876 0.5652-0.4463l0.357-0.2142c0.3887-0.2301 0.6942-0.478 0.9163-0.7437 0.2221-0.2658 0.3332-0.6089 0.3332-1.0294 0-0.4522-0.1567-0.833-0.47-1.1424-0.3134-0.3094-0.7636-0.4641-1.3507-0.4641-0.2301 0-0.4324 0.0238-0.6069 0.0714s-0.3273 0.1031-0.4581 0.1666c-0.1309 0.0635-0.24 0.1329-0.3273 0.2082-0.0873 0.0754-0.1587 0.1448-0.2142 0.2083l0.4641 0.7616c0.0476-0.0476 0.1051-0.1031 0.1726-0.1666 0.0674-0.0635 0.1487-0.1249 0.2439-0.1844s0.2023-0.1091 0.3213-0.1488 0.2578-0.0595 0.4165-0.0595c0.2856 0 0.5038 0.0635 0.6545 0.1904s0.2261 0.2816 0.2261 0.4641c0 0.1349-0.0178 0.2519-0.0535 0.3511-0.0357 0.0991-0.0893 0.1884-0.1607 0.2677s-0.1587 0.1547-0.2618 0.2261-0.2221 0.1507-0.357 0.238l-0.357 0.2261c-0.357 0.2301-0.6367 0.472-0.8389 0.7259-0.2023 0.2539-0.3035 0.5791-0.3035 0.9758 0 0.2142 0.0417 0.4106 0.125 0.5891 0.0833 0.1784 0.2003 0.3331 0.351 0.4641 0.1507 0.1309 0.3273 0.234 0.5296 0.3094 0.2023 0.0753 0.4184 0.113 0.6485 0.113 0.2221 0 0.4125-0.0218 0.5712-0.0654 0.1587-0.0437 0.2955-0.0992 0.4106-0.1666 0.115-0.0675 0.2102-0.1349 0.2856-0.2023 0.0753-0.0675 0.1368-0.125 0.1844-0.1726l-0.4165-0.6902zm4.879 0.0476c-0.0238 0.0238-0.0615 0.0595-0.113 0.1071-0.0516 0.0476-0.1171 0.0952-0.1964 0.1428s-0.1745 0.0893-0.2856 0.125-0.238 0.0535-0.3808 0.0535c-0.2063 0-0.3986-0.0377-0.5771-0.113-0.1785-0.0754-0.3332-0.1964-0.4641-0.363s-0.2341-0.3828-0.3094-0.6485c-0.0754-0.2658-0.1131-0.5891-0.1131-0.9699 0-0.4205 0.0337-0.7735 0.1012-1.0591 0.0674-0.2856 0.1606-0.5137 0.2796-0.6842 0.119-0.1706 0.2638-0.2936 0.4344-0.3689 0.1705-0.0754 0.3589-0.1131 0.5652-0.1131 0.2935 0 0.5177 0.0516 0.6724 0.1547s0.2637 0.1864 0.3272 0.2499l0.3927-0.6664c-0.0397-0.0476-0.0972-0.1051-0.1725-0.1725-0.0754-0.0675-0.1726-0.1329-0.2916-0.1964s-0.2638-0.117-0.4343-0.1607c-0.1706-0.0436-0.367-0.0654-0.5891-0.0654-0.3173 0-0.6148 0.0516-0.8925 0.1547s-0.5196 0.2737-0.7259 0.5117-0.3689 0.5474-0.4879 0.9282-0.1785 0.8528-0.1785 1.4161c0 0.5474 0.0714 1.0115 0.2142 1.3923s0.3292 0.6882 0.5593 0.9223c0.2301 0.234 0.4859 0.4046 0.7676 0.5117 0.2816 0.1071 0.5652 0.1606 0.8508 0.1606 0.2142 0 0.4026-0.0198 0.5653-0.0595 0.1626-0.0397 0.3014-0.0892 0.4165-0.1487 0.115-0.0595 0.2102-0.123 0.2856-0.1904 0.0753-0.0675 0.1368-0.125 0.1844-0.1726l-0.4046-0.6783zm4.5339-4.6053v3.6771c0 0.4839-0.0813 0.831-0.2439 1.0413-0.1627 0.2102-0.4106 0.3153-0.7438 0.3153-0.2856 0-0.5236-0.0714-0.714-0.2142s-0.3411-0.2816-0.4522-0.4165v-4.403h-0.9639v8.4133l0.9639 0.1071v-3.3915h0.0238c0.0317 0.0476 0.0813 0.1111 0.1488 0.1904 0.0674 0.0793 0.1606 0.1587 0.2796 0.238s0.2638 0.1488 0.4344 0.2083c0.1705 0.0595 0.3708 0.0892 0.6009 0.0892 0.4998 0 0.8965-0.1626 1.19-0.4879s0.4403-0.8647 0.4403-1.6184v-3.7485h-0.9639zm6.4022 0h-0.8806v0.6426h-0.0238c-0.0238-0.0476-0.0754-0.117-0.1547-0.2082-0.0793-0.0913-0.1805-0.1785-0.3034-0.2618-0.123-0.0833-0.2718-0.1567-0.4463-0.2202s-0.3689-0.0952-0.5831-0.0952c-0.2539 0-0.4819 0.0377-0.6842 0.113-0.2023 0.0754-0.3749 0.1964-0.5177 0.363s-0.2519 0.3828-0.3272 0.6486c-0.0754 0.2657-0.1131 0.593-0.1131 0.9817v3.7485h0.9639v-3.6771c0-0.476 0.0774-0.8151 0.2321-1.0175 0.1547-0.2022 0.3946-0.3034 0.7199-0.3034 0.2777 0 0.5117 0.0694 0.7021 0.2083 0.1904 0.1388 0.3411 0.2756 0.4522 0.4105v4.3792h0.9639v-5.712zm4.5934 0v3.6771c0 0.4839-0.0813 0.831-0.2439 1.0413-0.1627 0.2102-0.4106 0.3153-0.7438 0.3153-0.2856 0-0.5236-0.0714-0.714-0.2142s-0.3411-0.2816-0.4522-0.4165v-4.403h-0.9639v5.712h0.8806v-0.6426h0.0238c0.0238 0.0476 0.0754 0.117 0.1547 0.2083 0.0793 0.0912 0.1825 0.1785 0.3094 0.2618s0.2777 0.1566 0.4522 0.2201 0.3729 0.0952 0.595 0.0952c0.2539 0 0.4839-0.0377 0.6902-0.113 0.2063-0.0754 0.3808-0.1964 0.5236-0.363s0.2539-0.3828 0.3332-0.6485c0.0793-0.2658 0.119-0.5931 0.119-0.9818v-3.7485h-0.9639zm6.4974 4.9623h-0.714c0.1825-0.3015 0.2737-0.6426 0.2737-1.0234 0-0.3015-0.0496-0.5732-0.1487-0.8151-0.0992-0.242-0.238-0.4463-0.4165-0.6129s-0.3888-0.2935-0.6307-0.3808c-0.242-0.0873-0.5018-0.1309-0.7795-0.1309h-0.1547c-0.0476 0-0.0992 4e-3 -0.1547 0.0119-0.0952-0.0397-0.1944-0.1031-0.2975-0.1904s-0.1547-0.2023-0.1547-0.3451c0-0.119 0.0456-0.2162 0.1369-0.2915 0.0912-0.0754 0.2399-0.1131 0.4462-0.1131h0.7259c0.2697 0 0.5196-0.0278 0.7497-0.0833s0.4304-0.1448 0.601-0.2677c0.1705-0.123 0.3034-0.2797 0.3986-0.4701s0.1428-0.4205 0.1428-0.6902c0-0.3094-0.0654-0.591-0.1963-0.8449s-0.3154-0.472-0.5534-0.6545-0.5276-0.3253-0.8687-0.4284-0.7219-0.1547-1.1424-0.1547c-0.6109 0-1.075 0.1329-1.3923 0.3986-0.3173 0.2658-0.476 0.6486-0.476 1.1484 0 0.2142 0.0377 0.3986 0.1131 0.5533 0.0753 0.1547 0.1646 0.2896 0.2677 0.4046 0.1031 0.1151 0.2083 0.2063 0.3154 0.2738 0.107 0.0674 0.1923 0.1209 0.2558 0.1606v0.0238c-0.2459 0.1825-0.3689 0.4482-0.3689 0.7973 0 0.1507 0.0298 0.2816 0.0893 0.3927s0.1269 0.2023 0.2023 0.2737c0.0753 0.0714 0.1507 0.1289 0.2261 0.1726 0.0753 0.0436 0.1328 0.0733 0.1725 0.0892v0.0238c-0.2935 0.1349-0.5295 0.3471-0.708 0.6367-0.1785 0.2895-0.2678 0.6604-0.2678 1.1126 0 0.3173 0.0516 0.597 0.1547 0.8389 0.1031 0.242 0.242 0.4423 0.4165 0.601s0.3788 0.2777 0.6129 0.357c0.234 0.0793 0.4859 0.119 0.7556 0.119s0.5236-0.0476 0.7616-0.1428h1.7374l-0.1309-0.7497zm-2.6537-4.7838c-0.1666 0-0.3134 0.0119-0.4403 0.0357-0.0714-0.0397-0.1408-0.0873-0.2082-0.1428-0.0675-0.0555-0.129-0.123-0.1845-0.2023s-0.1011-0.1725-0.1368-0.2797c-0.0357-0.1071-0.0536-0.232-0.0536-0.3748 0-0.6109 0.3372-0.9163 1.0115-0.9163 0.5791 0 1.0075 0.113 1.2852 0.3391s0.4165 0.486 0.4165 0.7795c0 0.2777-0.0873 0.474-0.2618 0.5891-0.1745 0.115-0.4086 0.1725-0.7021 0.1725h-0.7259zm1.2733 3.7604c0 0.4125-0.0972 0.7061-0.2915 0.8806-0.1944 0.1745-0.4225 0.2618-0.6843 0.2618-0.2777 0-0.5157-0.0873-0.714-0.2618s-0.2975-0.4681-0.2975-0.8806 0.0992-0.7061 0.2975-0.8806 0.4284-0.2618 0.6902-0.2618c0.2777 0 0.5137 0.0873 0.7081 0.2618 0.1943 0.1745 0.2915 0.4681 0.2915 0.8806z"/>
+ </g>
+ <g id="Adler-und-Saeulenelement">
+ <path d="m37.173 29.339c0.027-0.224 0.043-0.455 0.043-0.691 0-0.129 1e-3 -0.279-0.015-0.449 1.993-0.028 3.741-1.464 3.741-3.115 0-0.84-0.548-1.474-0.857-1.853 0.069-0.015 0.139-0.031 0.21-0.048 0.292 0.254 1.12 1.156 1.12 2.295 0 1.981-1.98 3.82-4.242 3.861m-2.008-6.899c-0.037-0.221-0.121-0.421-0.249-0.593 7e-3 -0.202 0.09-0.395 0.415-0.236-0.176 0.18-0.04 0.499-0.04 0.499s0.36-0.167 0.285-0.405c0.534 0.128 0.15 0.845-0.411 0.735m-0.463 1.017c-0.071-0.296-0.223-0.6-0.416-0.829-0.176-0.208-0.467-0.455-0.859-0.455-0.179 0-0.479 0.084-0.67 0.165-0.071-0.13-0.21-0.443-0.21-0.584 0-0.145 0.245-0.292 0.714-0.292 1.032 0 1.648 0.466 1.648 1.248 0 0.275-0.109 0.525-0.207 0.747m2.65 13.3c0.12 0 0.178 0.019 0.248 0.045 0.297 0.808 1.442 2.333 1.49 2.398l0.01 0.014 0.017-4e-3c0.281-0.045 0.998-0.153 1.598-0.153h0.014c0.065 0 0.139 0 0.186 0.046 0.039 0.039 0.058 0.107 0.058 0.204 0 0.149-0.063 0.404-0.139 0.513-0.21-0.229-0.551-0.332-1.097-0.332-0.164 0-0.358 0.049-0.463 0.077l-0.043 9e-3 -0.049 0.013 0.315 0.315c0.486 0.486 0.906 0.905 0.906 1.184 0 0.168-0.164 0.387-0.314 0.484-0.033-0.511-0.549-1.195-1.052-1.578l-0.043-0.032-8e-3 0.18c-7e-3 0.122-0.018 0.305-0.018 0.501 0 0.973-0.099 1.121-0.436 1.121-0.052 0-0.131-0.015-0.18-0.033 0.19-0.235 0.265-0.545 0.265-1.089l-3e-3 -0.251-3e-3 -0.202c0-0.223 0.023-0.388 0.041-0.521l0.01-0.075-0.053-7e-3c-0.158-0.022-0.451-0.062-0.675-0.062-0.481 0-0.807 0.044-1.043 0.266-0.156-0.126-0.316-0.343-0.316-0.48 0-0.203 0.126-0.219 0.292-0.219 0.084 0 0.162 0.012 0.27 0.025 0.207 0.031 0.518 0.077 1.159 0.077h0.04l-0.013-0.039c-0.162-0.465-0.608-1.141-1.323-2.01 0.064-0.233 0.127-0.385 0.352-0.385m-6.174 2.395-0.013 0.039h0.04c0.64 0 0.952-0.046 1.159-0.077 0.108-0.013 0.186-0.025 0.27-0.025 0.165 0 0.292 0.016 0.292 0.219 0 0.137-0.16 0.354-0.315 0.48-0.237-0.222-0.563-0.266-1.043-0.266-0.225 0-0.519 0.04-0.676 0.062l-0.025 3e-3 -0.028 4e-3 9e-3 0.075c0.019 0.133 0.042 0.298 0.042 0.521l-3e-3 0.202-3e-3 0.251c0 0.544 0.075 0.854 0.266 1.089-0.05 0.018-0.129 0.033-0.181 0.033-0.338 0-0.436-0.148-0.436-1.121 0-0.196-0.01-0.379-0.017-0.501l-0.01-0.181-0.042 0.033c-0.502 0.383-1.02 1.067-1.051 1.578-0.151-0.097-0.315-0.316-0.315-0.484 0-0.279 0.42-0.698 0.906-1.184l0.315-0.315-0.092-0.022c-0.105-0.028-0.299-0.077-0.464-0.077-0.545 0-0.885 0.103-1.096 0.332-0.076-0.109-0.139-0.364-0.139-0.513 0-0.097 0.019-0.165 0.058-0.204 0.047-0.046 0.121-0.046 0.186-0.046h0.014c0.6 0 1.318 0.108 1.598 0.153l0.017 4e-3 0.01-0.014c0.049-0.065 1.193-1.59 1.491-2.398 0.068-0.026 0.127-0.045 0.247-0.045 0.225 0 0.288 0.152 0.353 0.385-0.716 0.869-1.162 1.545-1.324 2.01m-3.092-13.674c0-1.139 0.829-2.041 1.121-2.295 0.07 0.017 0.14 0.033 0.21 0.048-0.31 0.379-0.858 1.013-0.858 1.853 0 1.668 1.782 3.116 3.8 3.116-0.013 0.143-0.02 0.293-0.02 0.448 0 0.246 0.014 0.475 0.038 0.691-2.282-0.014-4.291-1.866-4.291-3.861m15.306 3.513c1.024 1.619 1.825 1.592 3.035 1.592-1.001-0.767-1.663-1.75-1.979-2.252l-1.87-2.992c-0.182-0.924-0.66-1.788-1.376-2.431 0.241-0.091 0.441-0.187 0.561-0.278-1.221 0-2.431-0.62-3.097-0.62-0.428 0-0.703 0.256-0.703 0.594 0.027 0.377 0.415 0.76 1.132 0.76 0.162 0 0.37-0.021 0.598-0.059 0.388 0.541 0.701 1.03 0.701 1.728 0 1.31-1.566 2.331-3.147 2.331-0.09 0-0.175-4e-3 -0.264-0.01-0.143-0.325-0.62-0.87-0.62-1.49 0-1.041 0.679-1.891 0.679-2.922 0-0.641-0.312-1.038-0.432-1.203 0.194-0.18 0.406-0.401 0.456-0.553-0.113 0.049-0.247 0.055-0.442 0.055-0.758 0-1.376-0.197-1.978-0.197-0.344 0-0.436 0.106-0.436 0.207 0 0.037 5e-3 0.075 0.015 0.093-0.128-0.05-0.248-0.083-0.391-0.109-0.178-0.034-0.369-0.051-0.573-0.051-0.732 0-0.992 0.307-0.992 0.57 0 0.222 0.175 0.628 0.374 0.938 0.285-0.144 0.628-0.241 0.784-0.241 0.389 0 0.734 0.37 0.917 0.808-0.261 0.032-0.311 0.043-0.575 0.043-0.713 0-1.198-0.255-1.298-0.255-9e-3 0-0.028 5e-3 -0.028 0.021 0 0.1 0.202 0.364 0.6 0.509 0.525 0.192 1.311 0.272 1.442 0.294 0 0.023-0.133 0.271-0.282 0.319-0.031 0.01-0.056 0.011-0.093 3e-3 -0.548-0.108-0.701-0.154-1.396-0.418-0.021-8e-3 -0.034 5e-3 -0.034 0.027 0 0.275 0.712 0.882 1.35 1.115-0.533 0.68-1.198 1.376-1.512 2.437-0.089 6e-3 -0.175 0.01-0.264 0.01-1.581 0-3.147-1.021-3.147-2.331 0-0.698 0.313-1.187 0.701-1.728 0.228 0.038 0.435 0.059 0.598 0.059 0.717 0 1.105-0.383 1.133-0.76 0-0.338-0.275-0.594-0.704-0.594-0.666 0-1.875 0.62-3.098 0.62 0.121 0.091 0.321 0.187 0.561 0.278-0.715 0.643-1.193 1.507-1.375 2.431l-1.87 2.992c-0.315 0.502-0.979 1.485-1.98 2.252 1.21 0 2.012 0.027 3.036-1.592l0.959-1.534c0.071 0.199 0.158 0.393 0.261 0.583l-1.907 3.051c-0.317 0.506-0.975 1.48-1.98 2.252 1.21 0 2.012 0.028 3.036-1.59l1.641-2.628c0.123 0.131 0.252 0.259 0.388 0.381l-2.316 3.708c-0.318 0.507-0.972 1.479-1.979 2.25 1.21 0 2.012 0.029 3.035-1.59l2.258-3.615c0.149 0.094 0.301 0.185 0.459 0.271l-2.757 4.411c-0.318 0.507-0.972 1.476-1.979 2.25 1.21 0 2.012 0.028 3.036-1.59l2.838-4.543c0.168 0.064 0.338 0.126 0.511 0.181l-3.207 5.133c-0.313 0.5-0.982 1.487-1.978 2.25 1.209 0 2.012 0.028 3.035-1.59l3.418-5.47c0.035 6e-3 0.069 0.011 0.103 0.018 0.093 0.296 0.158 0.572 0.158 0.847 0 1.719-1.128 3.237-2.482 4.409 0.087 0.038 0.238 0.051 0.377 0.051 0.28 0 0.46-0.015 0.587-0.037-0.314 0.713-0.988 1.634-1.328 2.11-0.443-0.08-1.088-0.142-1.51-0.142-0.442 0-0.492 0.258-0.492 0.489 0 0.401 0.188 0.72 0.406 0.898 0.082-0.205 0.247-0.479 1.063-0.479 0.016 0 0.044 2e-3 0.082 5e-3 -0.238 0.265-0.985 0.869-0.985 1.355 0 0.322 0.353 0.805 0.818 0.805-0.027-0.104-0.024-0.199-0.024-0.271 0-0.394 0.349-0.855 0.644-1.177-9e-3 0.096-4e-3 0.086-4e-3 0.198 0 0.931 0.084 1.359 0.675 1.359 0.29 0 0.49-0.159 0.559-0.207-0.384-0.353-0.404-0.631-0.404-1.153 1e-3 -0.136 2e-3 -0.269 4e-3 -0.452 1e-3 -0.12-1e-3 -0.278-0.02-0.392 0.211-0.029 0.297-0.029 0.46-0.029 0 0 0.839-0.067 1.042 0.37 0.228-0.209 0.559-0.504 0.559-0.829 0-0.215-0.102-0.458-0.535-0.458-0.164 0-0.679 0.1-1.11 0.1 0.116-0.257 0.631-1.011 1.078-1.558 0.068 0.212 0.173 0.441 0.407 0.629 0.033-0.352 0.239-1.465 0.789-2.116 0.064 0.44 0.15 0.891 0.15 1.842 0 2.314-0.556 4.023-1.737 4.349 0.154 0.267 0.479 0.508 0.816 0.508 0.432 0 0.667-0.489 0.907-0.95 0.125 0.34 0.47 1.174 0.816 1.174s0.692-0.834 0.817-1.174c0.239 0.461 0.475 0.95 0.907 0.95 0.337 0 0.662-0.241 0.816-0.508-1.181-0.326-1.738-2.035-1.738-4.349 0-0.951 0.086-1.402 0.15-1.842 0.551 0.651 0.758 1.764 0.789 2.116 0.235-0.188 0.341-0.417 0.408-0.629 0.446 0.547 0.962 1.301 1.078 1.558-0.431 0-0.947-0.1-1.11-0.1-0.432 0-0.534 0.243-0.534 0.458 0 0.325 0.331 0.62 0.559 0.829 0.201-0.437 1.042-0.37 1.042-0.37 0.162 0 0.248 0 0.46 0.029-0.02 0.114-0.021 0.272-0.02 0.392 2e-3 0.183 2e-3 0.316 3e-3 0.452 0 0.522-0.02 0.8-0.404 1.153 0.069 0.048 0.269 0.207 0.559 0.207 0.591 0 0.676-0.428 0.676-1.359 0-0.112 3e-3 -0.102-5e-3 -0.198 0.295 0.322 0.644 0.783 0.644 1.177 0 0.072 4e-3 0.167-0.025 0.271 0.466 0 0.82-0.483 0.82-0.805 0-0.486-0.747-1.09-0.987-1.355 0.039-3e-3 0.067-5e-3 0.082-5e-3 0.817 0 0.982 0.274 1.064 0.479 0.218-0.178 0.406-0.497 0.406-0.898 0-0.231-0.05-0.489-0.492-0.489-0.422 0-1.066 0.062-1.51 0.142-0.341-0.476-1.013-1.397-1.328-2.11 0.127 0.022 0.308 0.037 0.587 0.037 0.14 0 0.29-0.013 0.377-0.051-1.354-1.172-2.482-2.69-2.482-4.409 0-0.275 0.065-0.551 0.158-0.847 0.033-7e-3 0.069-0.012 0.103-0.018l3.418 5.47c1.023 1.618 1.826 1.59 3.035 1.59-0.996-0.763-1.665-1.75-1.978-2.25l-3.208-5.133c0.174-0.055 0.345-0.117 0.513-0.181l2.837 4.543c1.024 1.618 1.826 1.59 3.036 1.59-1.007-0.774-1.661-1.743-1.979-2.25l-2.756-4.411c0.156-0.086 0.309-0.177 0.457-0.271l2.259 3.615c1.024 1.619 1.825 1.59 3.035 1.59-1.007-0.771-1.66-1.743-1.979-2.25l-2.316-3.708c0.136-0.122 0.266-0.25 0.387-0.381l1.643 2.628c1.023 1.618 1.825 1.59 3.035 1.59-1.006-0.772-1.662-1.746-1.98-2.252l-1.906-3.051c0.102-0.19 0.189-0.384 0.261-0.583z"/>
+ <path d="m56 42h-3.5v-20h3.5z"/>
+ <path d="m56 62h-3.5v-20h3.5z" fill="#f00"/>
+ <path d="m56 82h-3.5v-20h3.5z" fill="#fc0"/>
+ </g>
+</svg>
\ No newline at end of file
diff --git a/public/material-icons/LICENSE b/public/material-icons/LICENSE
new file mode 100644
index 0000000000000000000000000000000000000000..d645695673349e3947e8e5ae42332d0ac3164cd7
--- /dev/null
+++ b/public/material-icons/LICENSE
@@ -0,0 +1,202 @@
+
+ Apache License
+ Version 2.0, January 2004
+ http://www.apache.org/licenses/
+
+ TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+ 1. Definitions.
+
+ "License" shall mean the terms and conditions for use, reproduction,
+ and distribution as defined by Sections 1 through 9 of this document.
+
+ "Licensor" shall mean the copyright owner or entity authorized by
+ the copyright owner that is granting the License.
+
+ "Legal Entity" shall mean the union of the acting entity and all
+ other entities that control, are controlled by, or are under common
+ control with that entity. For the purposes of this definition,
+ "control" means (i) the power, direct or indirect, to cause the
+ direction or management of such entity, whether by contract or
+ otherwise, or (ii) ownership of fifty percent (50%) or more of the
+ outstanding shares, or (iii) beneficial ownership of such entity.
+
+ "You" (or "Your") shall mean an individual or Legal Entity
+ exercising permissions granted by this License.
+
+ "Source" form shall mean the preferred form for making modifications,
+ including but not limited to software source code, documentation
+ source, and configuration files.
+
+ "Object" form shall mean any form resulting from mechanical
+ transformation or translation of a Source form, including but
+ not limited to compiled object code, generated documentation,
+ and conversions to other media types.
+
+ "Work" shall mean the work of authorship, whether in Source or
+ Object form, made available under the License, as indicated by a
+ copyright notice that is included in or attached to the work
+ (an example is provided in the Appendix below).
+
+ "Derivative Works" shall mean any work, whether in Source or Object
+ form, that is based on (or derived from) the Work and for which the
+ editorial revisions, annotations, elaborations, or other modifications
+ represent, as a whole, an original work of authorship. For the purposes
+ of this License, Derivative Works shall not include works that remain
+ separable from, or merely link (or bind by name) to the interfaces of,
+ the Work and Derivative Works thereof.
+
+ "Contribution" shall mean any work of authorship, including
+ the original version of the Work and any modifications or additions
+ to that Work or Derivative Works thereof, that is intentionally
+ submitted to Licensor for inclusion in the Work by the copyright owner
+ or by an individual or Legal Entity authorized to submit on behalf of
+ the copyright owner. For the purposes of this definition, "submitted"
+ means any form of electronic, verbal, or written communication sent
+ to the Licensor or its representatives, including but not limited to
+ communication on electronic mailing lists, source code control systems,
+ and issue tracking systems that are managed by, or on behalf of, the
+ Licensor for the purpose of discussing and improving the Work, but
+ excluding communication that is conspicuously marked or otherwise
+ designated in writing by the copyright owner as "Not a Contribution."
+
+ "Contributor" shall mean Licensor and any individual or Legal Entity
+ on behalf of whom a Contribution has been received by Licensor and
+ subsequently incorporated within the Work.
+
+ 2. Grant of Copyright License. Subject to the terms and conditions of
+ this License, each Contributor hereby grants to You a perpetual,
+ worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+ copyright license to reproduce, prepare Derivative Works of,
+ publicly display, publicly perform, sublicense, and distribute the
+ Work and such Derivative Works in Source or Object form.
+
+ 3. Grant of Patent License. Subject to the terms and conditions of
+ this License, each Contributor hereby grants to You a perpetual,
+ worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+ (except as stated in this section) patent license to make, have made,
+ use, offer to sell, sell, import, and otherwise transfer the Work,
+ where such license applies only to those patent claims licensable
+ by such Contributor that are necessarily infringed by their
+ Contribution(s) alone or by combination of their Contribution(s)
+ with the Work to which such Contribution(s) was submitted. If You
+ institute patent litigation against any entity (including a
+ cross-claim or counterclaim in a lawsuit) alleging that the Work
+ or a Contribution incorporated within the Work constitutes direct
+ or contributory patent infringement, then any patent licenses
+ granted to You under this License for that Work shall terminate
+ as of the date such litigation is filed.
+
+ 4. Redistribution. You may reproduce and distribute copies of the
+ Work or Derivative Works thereof in any medium, with or without
+ modifications, and in Source or Object form, provided that You
+ meet the following conditions:
+
+ (a) You must give any other recipients of the Work or
+ Derivative Works a copy of this License; and
+
+ (b) You must cause any modified files to carry prominent notices
+ stating that You changed the files; and
+
+ (c) You must retain, in the Source form of any Derivative Works
+ that You distribute, all copyright, patent, trademark, and
+ attribution notices from the Source form of the Work,
+ excluding those notices that do not pertain to any part of
+ the Derivative Works; and
+
+ (d) If the Work includes a "NOTICE" text file as part of its
+ distribution, then any Derivative Works that You distribute must
+ include a readable copy of the attribution notices contained
+ within such NOTICE file, excluding those notices that do not
+ pertain to any part of the Derivative Works, in at least one
+ of the following places: within a NOTICE text file distributed
+ as part of the Derivative Works; within the Source form or
+ documentation, if provided along with the Derivative Works; or,
+ within a display generated by the Derivative Works, if and
+ wherever such third-party notices normally appear. The contents
+ of the NOTICE file are for informational purposes only and
+ do not modify the License. You may add Your own attribution
+ notices within Derivative Works that You distribute, alongside
+ or as an addendum to the NOTICE text from the Work, provided
+ that such additional attribution notices cannot be construed
+ as modifying the License.
+
+ You may add Your own copyright statement to Your modifications and
+ may provide additional or different license terms and conditions
+ for use, reproduction, or distribution of Your modifications, or
+ for any such Derivative Works as a whole, provided Your use,
+ reproduction, and distribution of the Work otherwise complies with
+ the conditions stated in this License.
+
+ 5. Submission of Contributions. Unless You explicitly state otherwise,
+ any Contribution intentionally submitted for inclusion in the Work
+ by You to the Licensor shall be under the terms and conditions of
+ this License, without any additional terms or conditions.
+ Notwithstanding the above, nothing herein shall supersede or modify
+ the terms of any separate license agreement you may have executed
+ with Licensor regarding such Contributions.
+
+ 6. Trademarks. This License does not grant permission to use the trade
+ names, trademarks, service marks, or product names of the Licensor,
+ except as required for reasonable and customary use in describing the
+ origin of the Work and reproducing the content of the NOTICE file.
+
+ 7. Disclaimer of Warranty. Unless required by applicable law or
+ agreed to in writing, Licensor provides the Work (and each
+ Contributor provides its Contributions) on an "AS IS" BASIS,
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+ implied, including, without limitation, any warranties or conditions
+ of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+ PARTICULAR PURPOSE. You are solely responsible for determining the
+ appropriateness of using or redistributing the Work and assume any
+ risks associated with Your exercise of permissions under this License.
+
+ 8. Limitation of Liability. In no event and under no legal theory,
+ whether in tort (including negligence), contract, or otherwise,
+ unless required by applicable law (such as deliberate and grossly
+ negligent acts) or agreed to in writing, shall any Contributor be
+ liable to You for damages, including any direct, indirect, special,
+ incidental, or consequential damages of any character arising as a
+ result of this License or out of the use or inability to use the
+ Work (including but not limited to damages for loss of goodwill,
+ work stoppage, computer failure or malfunction, or any and all
+ other commercial damages or losses), even if such Contributor
+ has been advised of the possibility of such damages.
+
+ 9. Accepting Warranty or Additional Liability. While redistributing
+ the Work or Derivative Works thereof, You may choose to offer,
+ and charge a fee for, acceptance of support, warranty, indemnity,
+ or other liability obligations and/or rights consistent with this
+ License. However, in accepting such obligations, You may act only
+ on Your own behalf and on Your sole responsibility, not on behalf
+ of any other Contributor, and only if You agree to indemnify,
+ defend, and hold each Contributor harmless for any liability
+ incurred by, or claims asserted against, such Contributor by reason
+ of your accepting any such warranty or additional liability.
+
+ END OF TERMS AND CONDITIONS
+
+ APPENDIX: How to apply the Apache License to your work.
+
+ To apply the Apache License to your work, attach the following
+ boilerplate notice, with the fields enclosed by brackets "[]"
+ replaced with your own identifying information. (Don't include
+ the brackets!) The text should be enclosed in the appropriate
+ comment syntax for the file format. We also recommend that a
+ file or class name and description of purpose be included on the
+ same "printed page" as the copyright notice for easier
+ identification within third-party archives.
+
+ Copyright [yyyy] [name of copyright owner]
+
+ Licensed under the Apache License, Version 2.0 (the "License");
+ you may not use this file except in compliance with the License.
+ You may obtain a copy of the License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+ Unless required by applicable law or agreed to in writing, software
+ distributed under the License is distributed on an "AS IS" BASIS,
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ See the License for the specific language governing permissions and
+ limitations under the License.
diff --git a/public/material-icons/flUhRq6tzZclQEJ-Vdg-IuiaDsNc.woff2 b/public/material-icons/flUhRq6tzZclQEJ-Vdg-IuiaDsNc.woff2
new file mode 100644
index 0000000000000000000000000000000000000000..82937b9108ab7d7c70531f65d3d500e1c89f0b8a
Binary files /dev/null and b/public/material-icons/flUhRq6tzZclQEJ-Vdg-IuiaDsNc.woff2 differ
diff --git a/public/material-icons/font.css b/public/material-icons/font.css
new file mode 100644
index 0000000000000000000000000000000000000000..039a9128dfca9fb0a0cbb52c9a61b91d5d116325
--- /dev/null
+++ b/public/material-icons/font.css
@@ -0,0 +1,24 @@
+/* fallback */
+@font-face {
+ font-family: 'Material Icons';
+ font-style: normal;
+ font-weight: 400;
+ src: url(./flUhRq6tzZclQEJ-Vdg-IuiaDsNc.woff2) format('woff2');
+ }
+
+ .material-icons {
+ font-family: 'Material Icons';
+ font-weight: normal;
+ font-style: normal;
+ font-size: 24px;
+ line-height: 1;
+ letter-spacing: normal;
+ text-transform: none;
+ display: inline-block;
+ white-space: nowrap;
+ word-wrap: normal;
+ direction: ltr;
+ -moz-font-feature-settings: 'liga';
+ -moz-osx-font-smoothing: grayscale;
+ }
+
\ No newline at end of file