reorg

2026-05-27 09:05:00 +02:00
parent b9859174f3
commit 261c0c5241
703 changed files with 207270 additions and 4314612 deletions
@@ -0,0 +1,53 @@
+<?xml version="1.0" encoding="utf-8" standalone="no"?>
+<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
+  "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
+<svg xmlns:xlink="http://www.w3.org/1999/xlink" width="237.6pt" height="69.84pt" viewBox="0 0 237.6 69.84" xmlns="http://www.w3.org/2000/svg" version="1.1">
+ <metadata>
+  <rdf:RDF xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:cc="http://creativecommons.org/ns#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
+   <cc:Work>
+    <dc:type rdf:resource="http://purl.org/dc/dcmitype/StillImage"/>
+    <dc:date>2024-12-18T10:06:41.698513</dc:date>
+    <dc:format>image/svg+xml</dc:format>
+    <dc:creator>
+     <cc:Agent>
+      <dc:title>Matplotlib v3.9.3, https://matplotlib.org/</dc:title>
+     </cc:Agent>
+    </dc:creator>
+   </cc:Work>
+  </rdf:RDF>
+ </metadata>
+ <defs>
+  <style type="text/css">*{stroke-linejoin: round; stroke-linecap: butt}</style>
+ </defs>
+ <g id="figure_1">
+  <g id="patch_1">
+   <path d="M 0 69.84 
+L 237.6 69.84 
+L 237.6 0 
+L 0 0 
+z
+" style="fill: #ffffff"/>
+  </g>
+  <g id="axes_1">
+   <g id="text_1">
+    <!-- ${ \vdash }$ -->
+    <g transform="translate(106.1 40.43875) scale(0.2 -0.2)">
+     <defs>
+      <path id="DejaVuSans-22a2" d="M 547 0 
+L 547 4481 
+L 944 4481 
+L 944 2447 
+L 5031 2447 
+L 5031 2050 
+L 944 2050 
+L 944 0 
+L 547 0 
+z
+" transform="scale(0.015625)"/>
+     </defs>
+     <use xlink:href="#DejaVuSans-22a2" transform="translate(19.482422 0.984375)"/>
+    </g>
+   </g>
+  </g>
+ </g>
+</svg>
@@ -0,0 +1,9 @@
+<svg xmlns:xlink="http://www.w3.org/1999/xlink" width="1.42ex" height="2.176ex" style="vertical-align: -0.338ex;" viewBox="0 -791.3 611.5 936.9" role="img" focusable="false" xmlns="http://www.w3.org/2000/svg" aria-labelledby="MathJax-SVG-1-Title">
+<title id="MathJax-SVG-1-Title">{\displaystyle \vdash }</title>
+<defs aria-hidden="true">
+<path stroke-width="1" id="E1-MJMAIN-22A2" d="M55 678Q55 679 56 681T58 684T61 688T65 691T70 693T77 694Q88 692 95 679V367H540Q555 359 555 347Q555 334 540 327H95V15Q88 2 77 0Q73 0 70 1T65 3T61 6T59 9T57 13T55 16V678Z"></path>
+</defs>
+<g stroke="currentColor" fill="currentColor" stroke-width="0" transform="matrix(1 0 0 -1 0 0)" aria-hidden="true">
+ <use xlink:href="#E1-MJMAIN-22A2" x="0" y="0"></use>
+</g>
+</svg>