diff --git a/doc/diagram1.png b/doc/diagram1.png
index a22aeab4cd25049e5dbbcad57ace24cf16c3fbcd..9dce8aaa324f9a0d704cf3cc001585d6056d0c77 100644
Binary files a/doc/diagram1.png and b/doc/diagram1.png differ
diff --git a/doc/diagram1.svg b/doc/diagram1.svg
index 4557900efd31f0b4dd2c29d50d2282458d3220c4..510e5c9cb267b8ff20ecaba2a46cd9cdf32d0294 100644
--- a/doc/diagram1.svg
+++ b/doc/diagram1.svg
@@ -23,9 +23,9 @@
inkscape:pagecheckerboard="0"
inkscape:deskcolor="#d1d1d1"
inkscape:document-units="mm"
- inkscape:zoom="1.1237919"
- inkscape:cx="367.50576"
- inkscape:cy="254.49552"
+ inkscape:zoom="2.2475838"
+ inkscape:cx="256.27521"
+ inkscape:cy="171.73998"
inkscape:window-width="1920"
inkscape:window-height="1056"
inkscape:window-x="0"
@@ -53,82 +53,6 @@
d="M 5.77,0 -2.88,5 V -5 Z"
id="path11" />
</marker>
- <marker
- style="overflow:visible"
- id="Triangle"
- refX="0"
- refY="0"
- orient="auto-start-reverse"
- inkscape:stockid="Triangle arrow"
- markerWidth="1"
- markerHeight="1"
- viewBox="0 0 1 1"
- inkscape:isstock="true"
- inkscape:collect="always"
- preserveAspectRatio="xMidYMid">
- <path
- transform="scale(0.5)"
- style="fill:context-stroke;fill-rule:evenodd;stroke:context-stroke;stroke-width:1pt"
- d="M 5.77,0 -2.88,5 V -5 Z"
- id="path135" />
- </marker>
- <marker
- style="overflow:visible"
- id="Triangle-4"
- refX="0"
- refY="0"
- orient="auto-start-reverse"
- inkscape:stockid="Triangle arrow"
- markerWidth="1"
- markerHeight="1"
- viewBox="0 0 1 1"
- inkscape:isstock="true"
- inkscape:collect="always"
- preserveAspectRatio="xMidYMid">
- <path
- transform="scale(0.5)"
- style="fill:context-stroke;fill-rule:evenodd;stroke:context-stroke;stroke-width:1pt"
- d="M 5.77,0 -2.88,5 V -5 Z"
- id="path135-7" />
- </marker>
- <marker
- style="overflow:visible"
- id="Triangle-4-7"
- refX="0"
- refY="0"
- orient="auto-start-reverse"
- inkscape:stockid="Triangle arrow"
- markerWidth="1"
- markerHeight="1"
- viewBox="0 0 1 1"
- inkscape:isstock="true"
- inkscape:collect="always"
- preserveAspectRatio="xMidYMid">
- <path
- transform="scale(0.5)"
- style="fill:context-stroke;fill-rule:evenodd;stroke:context-stroke;stroke-width:1pt"
- d="M 5.77,0 -2.88,5 V -5 Z"
- id="path135-7-8" />
- </marker>
- <marker
- style="overflow:visible"
- id="Triangle-3"
- refX="0"
- refY="0"
- orient="auto-start-reverse"
- inkscape:stockid="Triangle arrow"
- markerWidth="1"
- markerHeight="1"
- viewBox="0 0 1 1"
- inkscape:isstock="true"
- inkscape:collect="always"
- preserveAspectRatio="xMidYMid">
- <path
- transform="scale(0.5)"
- style="fill:context-stroke;fill-rule:evenodd;stroke:context-stroke;stroke-width:1pt"
- d="M 5.77,0 -2.88,5 V -5 Z"
- id="path135-1" />
- </marker>
<marker
style="overflow:visible"
id="Triangle-6"
@@ -577,26 +501,6 @@
style="stroke-width:0.264583"
x="1.9428798"
y="54.100533"> Token</tspan></text>
- <path
- style="fill:none;stroke:#00e700;stroke-width:0.265;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#Triangle)"
- d="M 34.260688,34.686484 C 58.476399,-17.638655 -5.9893746,17.929624 26.079417,29.582728"
- id="path9"
- sodipodi:nodetypes="cc" />
- <path
- style="fill:none;stroke:#00e700;stroke-width:0.265;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#Triangle-4)"
- d="M 34.386027,34.6001 C 52.088703,-6.5298165 5.9421701,13.436756 25.977472,20.999474"
- id="path9-4"
- sodipodi:nodetypes="cc" />
- <path
- style="fill:none;stroke:#00e700;stroke-width:0.265;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#Triangle-4-7)"
- d="M 34.261376,34.453507 C 51.964052,77.925966 5.9544101,58.240532 25.989712,50.247082"
- id="path9-4-8"
- sodipodi:nodetypes="cc" />
- <path
- style="fill:none;stroke:#00e700;stroke-width:0.265;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#Triangle-3)"
- d="M 34.497443,35.828631 C 58.713151,92.176744 -5.7526196,53.873827 26.316172,41.324785"
- id="path9-9"
- sodipodi:nodetypes="cc" />
<text
xml:space="preserve"
style="font-size:4.23333px;line-height:0;font-family:'Classic Console';-inkscape-font-specification:'Classic Console';stroke-width:0.264583"
diff --git a/doc/diagram2.png b/doc/diagram2.png
index a05507d6867250719ae9d6930ff4bf3145591c8b..d02bac9af6b2be6b6dc922e3b81cf33d558d7f74 100644
Binary files a/doc/diagram2.png and b/doc/diagram2.png differ
diff --git a/doc/doc.log b/doc/doc.log
index 35cc884577c6e46c8504570b246ba444d1e8108a..89e65fbb93f5226196022d0b400f75d101630e10 100644
--- a/doc/doc.log
+++ b/doc/doc.log
@@ -1,4 +1,4 @@
-This is pdfTeX, Version 3.141592653-2.6-1.40.26 (TeX Live 2024/TeX Live for SUSE Linux) (preloaded format=pdflatex 2024.6.15) 4 JUL 2024 09:43
+This is pdfTeX, Version 3.141592653-2.6-1.40.26 (TeX Live 2024/TeX Live for SUSE Linux) (preloaded format=pdflatex 2024.6.15) 4 JUL 2024 19:00
entering extended mode
restricted \write18 enabled.
%&-line parsing enabled.
@@ -810,7 +810,7 @@ Here is how much of TeX's memory you used:
/fonts/type1/public/amsfonts/cm/cmbx12.pfb></usr/share/texmf/fonts/type1/public
/amsfonts/cm/cmbx9.pfb></usr/share/texmf/fonts/type1/public/amsfonts/cm/cmr10.p
fb></usr/share/texmf/fonts/type1/public/amsfonts/cm/cmr9.pfb>
-Output written on doc.pdf (3 pages, 268878 bytes).
+Output written on doc.pdf (3 pages, 246409 bytes).
PDF statistics:
122 PDF objects out of 1000 (max. 8388607)
78 compressed objects within 1 object stream
diff --git a/doc/doc.pdf b/doc/doc.pdf
index 2568032a86d28ba948469336355c6a836e108225..07e11402b582df5a0b0e9b3f8f4556816c8ff09c 100644
Binary files a/doc/doc.pdf and b/doc/doc.pdf differ
diff --git a/doc/doc.synctex.gz b/doc/doc.synctex.gz
deleted file mode 100644
index ca1e845984ff9a717384efd5263b5ae24583c640..0000000000000000000000000000000000000000
Binary files a/doc/doc.synctex.gz and /dev/null differ