jmg
/
gitmirror
1
0
Fork 0
Koodi Ongelmat 0 Pull-pyynnöt 0 Julkaisut 39 Wiki Toiminta
Selaa lähdekoodia

Added SPPF explanation page (mirror, original site went down)

tags/gm/2021-09-23T00Z/github.com--lark-parser-lark/0.11.0
Erez Sh 3 vuotta sitten
vanhempi
3aab72fffd
commit
2f2f7e70e7
5 muutettua tiedostoa jossa 2765 lisäystä ja 0 poistoa
Jaettu näkymä
Diff Options
Show Stats Download Patch File Download Diff File
  1. +212
    -0
      docs/_static/sppf/sppf.html
  2. +765
    -0
      docs/_static/sppf/sppf_111.svg
  3. +584
    -0
      docs/_static/sppf/sppf_abcd.svg
  4. +522
    -0
      docs/_static/sppf/sppf_abcd_noint.svg
  5. +682
    -0
      docs/_static/sppf/sppf_cycle.svg

+ 212
- 0
docs/_static/sppf/sppf.html Näytä tiedosto

@@ -0,0 +1,212 @@
<!DOCTYPE html>
<!-- saved from url=(0115)https://web.archive.org/web/20200128172318/http://www.bramvandersanden.com/post/2014/06/shared-packed-parse-forest/ -->
<html lang="en-us">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<link rel="stylesheet" type="text/css" href="https://stackpath.bootstrapcdn.com/bootstrap/4.3.1/css/bootstrap.min.css">

<body>

<div class="container">

<article class="article" itemscope itemtype="http://schema.org/Article">



<h1 itemprop="name">Shared Packed Parse Forest (SPPF)</h1>



<div class="article-metadata" style="font-size: 80%">

<span class="article-date">
<time datetime="2014-06-27 12:00:00 +0000 UTC" itemprop="datePublished">
Fri, Jun 27, 2014
</time>
</span>




<span class="article-tags">
<i class="fa fa-tags"></i>

<a class="article-tag-link" href="https://web.archive.org/web/20200128172318/http://www.bramvandersanden.com/tags/parsing">parsing</a>,

<a class="article-tag-link" href="https://web.archive.org/web/20200128172318/http://www.bramvandersanden.com/tags/sppf">sppf</a>

</span>






</div>


<div class="article-style" itemprop="articleBody">

<p></p>

<p>In the last decade there has been a lot of interest in generalized parsing techniques. These techniques can be used to generate a working parser for any context-free grammar. This means that we no longer have to massage our grammar to fit into restricted classes such as <em>LL(k)</em> or <em>LR(k)</em>. Supporting all context-free grammars means that grammars can be written in a natural way, and grammars can be combined, since the class of context-free grammars is closed under composition.</p>

<p>One of the consequences of supporting the whole class of context-free grammars is that also ambiguous grammars are supported. In an ambiguous grammar there are sentences in the language that can be derived in multiple ways. Each derivation results in a distinct parse tree. For each additional ambiguity in the input sentence, the number of derivations might grow exponentially. Therefore generalized parsers output a parse forest, rather than a set of the parse trees. In this parse forest, often sharing is used used to reduce the total space required to represent all derivation trees. Nodes which have the same subtree are shared, and nodes are combined which correspond to different derivations of the same substring. A parse forest where sharing is employed is called a shared packed parse forest (SPPF).</p>

<p>This article will describe the SPPF data structure in more detail. More information about the generation of the SPPF using the GLL algorithm can be found in the paper <a href="https://web.archive.org/web/20200128172318/http://dx.doi.org/10.1016/j.scico.2012.03.005">GLL parse-tree generation</a> by E. Scott and A. Johnstone. Right Nulled GLR parsers can also be used to generate an SPPF, which is described in the paper <a href="https://web.archive.org/web/20200128172318/http://doi.acm.org/10.1145/1146809.1146810">Right Nulled GLR Parsers</a> by E. Scott and A. Johnstone.</p>

<p>There are three types of nodes in an SPPF associated with a GLL parser: <em>symbol nodes</em>, <em>packed nodes</em>, and <em>intermediate nodes</em>. In the visualizations symbol nodes are shown as rectangles with rounded corners, packed nodes are shown as circles, or ovals when the label is visualized, and intermediate nodes are shown as rectangles.</p>

<p>Symbol nodes have labels of the form $(x,j,i)$ where $x$ is a terminal, nonterminal, or $\varepsilon$ (i.e. $x \in T \cup N \cup \lbrace \varepsilon \rbrace$), and $0 \leq j \leq i \leq m$ with $m$ being the length of the input sentence. The tuple $(j,i)$ is called the <em>extent</em>, and denotes that the symbol $x$ has been matched on the substring from position $j$ up to position $i$. Here $j$ is called the <em>left extent</em>, and $i$ is called the <em>right extent</em>.</p>

<p>Packed nodes have labels of the form $(t,k)$, where $0 \leq k \leq m$. Here $k$ is called the <em>pivot</em>, and $t$ is of the form $X ::= \alpha \cdot \beta$. The value of $k$ represents that the last symbol of $\alpha$ ends at position $k$ of the input string. Packed nodes are used to represent multiple derivation trees. When multiple derivations are possible with the same extent, starting from the same nonterminal symbol node, a separate packed node is added to the symbol node for each derivation.</p>

<p>Intermediate nodes are used to binarize the SPPF. They are introduced from the left, and group the children of packed nodes in pairs from the left. The binarization ensures that the size of the SPPF is worst-case cubic in the size of the input sentence. The fact that the SPPF is binarized does not mean that each node in the SPPF has at most two children. A symbol node or intermediate node can still have as many packed node children as there are ambiguities starting from it. Intermediate nodes have labels of the form $(t,j,i)$ where $t$ is a grammar slot, and $(j,i)$ is the extent. There are no intermediate nodes of the shape $(A ::= \alpha \cdot, j,i)$, where the grammar pointer of the grammar slot is at the end of the alternate. These grammar slots are present in the form of symbol nodes.</p>

<p>Consider the following grammar:</p>

<p>$\quad S ::= ABCD \quad A ::= a \quad B ::= b \quad C ::= c \quad D ::= d. $</p>

<p>Then given input sentence $abcd$, the the following SPPF will be the result:</p>


<figure>

<img src="sppf_abcd.svg"/>


<figcaption>
<h4>SPPF with intermediate nodes</h4>

</figcaption>

</figure>


<p>Suppose that the intermediate nodes had not been added to the SPPF. Then the nonterminal symbol nodes for $A$, $B$, $C$, and $D$ would have been attached to the nonterminal symbol node $S$:</p>


<figure>

<img src="sppf_abcd_noint.svg"/>


<figcaption>
<h4>SPPF without intermediate nodes</h4>

</figcaption>

</figure>


<p>This example shows how intermediate nodes ensure that the tree is binarized.</p>

<h2 id="adding-cycles">Adding cycles</h2>

<p>Grammars that contain cycles can generate sentences which have infinitely many derivation trees. A context-free grammar is cyclic if there exists a nonterminal $A \in N$ and a derivation $A \overset{+}\Rightarrow A$. Note that a cyclic context-free grammar implies that the context-free grammar is left-recursive, but the converse does not hold. The derivation trees for a cyclic grammar are represented in the finite SPPF by introducing cycles in the graph.</p>

<p>Consider the following cyclic grammar:
$S ::= SS \mid a \mid \varepsilon$.</p>

<p>Given input sentence $a$, there are infinitely many derivations. All these derivations are present in the following SPPF:</p>


<figure>

<img src="sppf_cycle.svg"/>


<figcaption>
<h4>SPPF containing an infinite number of derivations</h4>

</figcaption>

</figure>


<h2 id="ambiguities">Ambiguities</h2>

<p>A parse forest is <em>ambiguous</em> if and only if it contains at least one ambiguity. An ambiguity arises when a symbol node or intermediate node has at least two packed nodes as its children. Such nodes are called <em>ambiguous</em>. Consider for instance the following grammar with input sentence $1+1+1$:
$ E ::= E + E \mid 1 $.</p>

<p>This gives the following SPPF:</p>


<figure>

<img src="sppf_111.svg"/>


<figcaption>
<h4>SPPF containing an ambiguous root node</h4>

</figcaption>

</figure>


<p>In this SPPF, symbol node $(E,0,5)$ has two packed nodes as children. This means that there are at least two different parse trees starting at this node, the parse trees representing derivations $(E+(E+E))$ and $((E+E)+E)$ respectively.</p>

<p>The set of all parse trees present in the SPPF is defined in the following way:</p>

<p>Start at the root node of the SPPF, and walk the tree by choosing one packed node below each visited node, and choosing all the children of a visited packed node in a recursive manner.</p>

<h2 id="structural-properties">Structural Properties</h2>

<p>There are various structural properties that are useful when reasoning about SPPFs in general. At first note that each symbol node $(E,j,i)$ with $E \in T \cup N \cup \lbrace \varepsilon \rbrace$ is unique, so an SPPF does not contain two symbol nodes $(A,k,l)$ and $(B,m,n)$ with $A = B, k = m$, and $l=n$.</p>

<p>Terminal symbol nodes have no children. These nodes represent the leaves of the parse forest. Nonterminal symbol nodes $(A,j,i)$ have packed node children of the form $(A ::= \gamma \cdot, k)$ with $j \leq k \leq i$, and the number of children is not limited to two.</p>

<p>Intermediate nodes $(t,j,i)$ have packed node children with labels of the form $(t,k)$, where $j \leq k \leq i$.</p>

<p>Packed nodes $(t,k)$ have one or two children. The right child is a symbol node $(x,k,i)$ and the left child (if it exists) is a symbol or intermediate node with label $(s,j,k)$, where $j \leq k \leq i$. Packed nodes have always exactly one parent which is a symbol node or intermediate node.</p>

<p>It is useful to observe that the SPPF is a bipartite graph, with on the one hand the set of intermediate and symbol nodes and on the other hand the set of packed nodes. Therefore edges always go from a node of the first type to a node of the second type, or the other way round. As a consequence, cyles in the SPPF are always of even length.</p>

<h2 id="transformation-to-an-abstract-syntax-tree">Transformation to an abstract syntax tree</h2>

<p>In the end, we often want a single abstract syntax tree (AST) when parsing an input sentence. In order to arrive at this AST, we need disambiguation techniques to remove undesired parse trees from the SPPF or avoid the generation of undesired parse trees in the first place. {% cite sanden2014thesis %} describes several SPPF disambiguation filters that remove ambiguities arising in expression grammars. Furthermore a method is described to integrate parse-time filtering in GLL that tries to avoid embedding undesired parse trees in the SPPF.</p>

<p>Of course, other transformation might be needed such as the removal of whitespace and comments from the parse forest.</p>

</div>

</article>

<nav>
<ul class="pager">



<li class="next"><a href="https://web.archive.org/web/20200128172318/http://www.bramvandersanden.com/post/2016/10/2016-10-31-fdl-presentation/">Compositional Specification of Functionality and Timing of Manufacturing Systems <span aria-hidden="true">&rarr;</span></a></li>

</ul>
</nav>


<footer class="site-footer">
<div class="container">
<p class="powered-by">

&copy; 2016 Bram van der Sanden &middot;

Powered by the <a href="https://web.archive.org/web/20200128172318/https://github.com/gcushen/hugo-academic" target="_blank">Academic
theme</a> for <a href="https://web.archive.org/web/20200128172318/http://gohugo.io/" target="_blank">Hugo</a>.

<span class="pull-right" aria-hidden="true">
<a href="#" id="back_to_top">
<span class="button_icon">
<i class="fa fa-chevron-up fa-2x"></i>
</span>
</a>
</span>

<p>Source: <a href="https://web.archive.org/web/20200128172318/http://www.bramvandersanden.com/post/2014/06/shared-packed-parse-forest/">Wayback Machine</a>
copy of <code>http://www.bramvandersanden.com/post/2014/06/shared-packed-parse-forest/</code> used to be.
</p>

</p>
</div>

</footer>
</body>

+ 765
- 0
docs/_static/sppf/sppf_111.svg Näytä tiedosto

@@ -0,0 +1,765 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!-- Created with Inkscape (http://www.inkscape.org/) -->

<svg
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#"
xmlns:svg="http://www.w3.org/2000/svg"
xmlns="http://www.w3.org/2000/svg"
xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
version="1.1"
width="538.75"
height="490"
id="svg2"
xml:space="preserve"><metadata
id="metadata8"><rdf:RDF><cc:Work
rdf:about=""><dc:format>image/svg+xml</dc:format><dc:type
rdf:resource="http://purl.org/dc/dcmitype/StillImage" /></cc:Work></rdf:RDF></metadata><defs
id="defs6"><clipPath
id="clipPath16"><path
d="M 0,0 509,0 509,472 0,472 0,0 z"
inkscape:connector-curvature="0"
id="path18" /></clipPath><clipPath
id="clipPath20"><path
d="m 36,436 438,0 0,-401 -438,0 0,401 z"
inkscape:connector-curvature="0"
id="path22" /></clipPath></defs><g
transform="matrix(1.25,0,0,-1.25,0,490)"
id="g10"><g
transform="translate(-39,-40)"
id="g12"><g
id="g14" /><g
id="g24"><g
clip-path="url(#clipPath16)"
id="g26"><g
id="g28"><path
d="m 36,436 438,0 0,-401 -438,0 0,401 z"
inkscape:connector-curvature="0"
id="path30"
style="fill:#ffffff;fill-opacity:1;fill-rule:nonzero;stroke:none" /></g><g
id="g32"><g
clip-path="url(#clipPath20)"
id="g34"><path
d="m 36,436 438,0 0,-401 -438,0 0,401 z"
inkscape:connector-curvature="0"
id="path36"
style="fill:none;stroke:#ffffff;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 278,431.5 -40,0"
inkscape:connector-curvature="0"
id="path38"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 238,431.5 c -3.5,0 -7,-3.5 -7,-7"
inkscape:connector-curvature="0"
id="path40"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 231,424.5 0,-7"
inkscape:connector-curvature="0"
id="path42"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 231,417.5 c 0,-3.5 3.5,-7 7,-7"
inkscape:connector-curvature="0"
id="path44"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 238,410.5 40,0"
inkscape:connector-curvature="0"
id="path46"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 278,410.5 c 3.5,0 7,3.5 7,7"
inkscape:connector-curvature="0"
id="path48"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 285,417.5 0,7"
inkscape:connector-curvature="0"
id="path50"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 285,424.5 c 0,3.5 -3.5,7 -7,7"
inkscape:connector-curvature="0"
id="path52"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,239,418.5)"
id="text54"><tspan
x="0 3.7499084 9.7397623 12.72969 15.719617 21.719471 24.709396 27.699324 33.699177"
y="0"
id="tspan56"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(E, 0, 5)</tspan></text>
<path
d="m 210,384 c 0,-4.668 -6,-4.668 -6,0 0,4.668 6,4.668 6,0 z"
inkscape:connector-curvature="0"
id="path58"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 243.523,410.496 c -9.019,-6.543 -20.316,-14.738 -27.937,-20.269"
inkscape:connector-curvature="0"
id="path60"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 216.891,388.148 -7.102,-2.125 4.227,6.094 2.875,-3.969 z"
inkscape:connector-curvature="0"
id="path62"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 312,384 c 0,-4.668 -6,-4.668 -6,0 0,4.668 6,4.668 6,0 z"
inkscape:connector-curvature="0"
id="path64"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 272.477,410.496 c 9.019,-6.543 20.316,-14.738 27.937,-20.269"
inkscape:connector-curvature="0"
id="path66"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 301.984,392.117 4.227,-6.094 -7.102,2.125 2.875,3.969 z"
inkscape:connector-curvature="0"
id="path68"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 78,209.5 106,0 0,-21 -106,0 0,21 z"
inkscape:connector-curvature="0"
id="path70"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,85.5,196.5)"
id="text72"><tspan
x="0 3.7499084 9.7397623 12.72969 15.719617 18.709543 26.959343 29.949268 35.939121 38.92905 47.16885 50.158775 56.148628 59.148556 65.138412 68.128334 71.118263 77.118118 80.108047 86.107903"
y="0"
id="tspan74"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(E ::= E + • E ,0,2)</tspan></text>
<path
d="M 204.113,382.902 C 190.23,377.426 131,351.621 131,310 c 0,0 0,0 0,-37 0,-19.254 0,-41.328 0,-56.32"
inkscape:connector-curvature="0"
id="path76"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 133.449,216.539 -2.449,-7 -2.449,7 4.898,0 z"
inkscape:connector-curvature="0"
id="path78"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 227,357.5 -40,0"
inkscape:connector-curvature="0"
id="path80"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 187,357.5 c -3.5,0 -7,-3.5 -7,-7"
inkscape:connector-curvature="0"
id="path82"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 180,350.5 0,-7"
inkscape:connector-curvature="0"
id="path84"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 180,343.5 c 0,-3.5 3.5,-7 7,-7"
inkscape:connector-curvature="0"
id="path86"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 187,336.5 40,0"
inkscape:connector-curvature="0"
id="path88"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 227,336.5 c 3.5,0 7,3.5 7,7"
inkscape:connector-curvature="0"
id="path90"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 234,343.5 0,7"
inkscape:connector-curvature="0"
id="path92"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 234,350.5 c 0,3.5 -3.5,7 -7,7"
inkscape:connector-curvature="0"
id="path94"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,188,344.5)"
id="text96"><tspan
x="0 3.7499084 9.7397623 12.72969 15.719617 21.719471 24.709396 27.699324 33.699177"
y="0"
id="tspan98"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(E, 2, 5)</tspan></text>
<path
d="m 207,380.316 c 0,-3.699 0,-9.687 0,-15.57"
inkscape:connector-curvature="0"
id="path100"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 209.449,364.527 -2.449,-7 -2.449,7 4.898,0 z"
inkscape:connector-curvature="0"
id="path102"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 462,283.5 -40,0"
inkscape:connector-curvature="0"
id="path104"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 422,283.5 c -3.5,0 -7,-3.5 -7,-7"
inkscape:connector-curvature="0"
id="path106"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 415,276.5 0,-7"
inkscape:connector-curvature="0"
id="path108"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 415,269.5 c 0,-3.5 3.5,-7 7,-7"
inkscape:connector-curvature="0"
id="path110"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 422,262.5 40,0"
inkscape:connector-curvature="0"
id="path112"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 462,262.5 c 3.5,0 7,3.5 7,7"
inkscape:connector-curvature="0"
id="path114"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 469,269.5 0,7"
inkscape:connector-curvature="0"
id="path116"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 469,276.5 c 0,3.5 -3.5,7 -7,7"
inkscape:connector-curvature="0"
id="path118"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,423,270.5)"
id="text120"><tspan
x="0 3.7499084 9.7397623 12.72969 15.719617 21.719471 24.709396 27.699324 33.699177"
y="0"
id="tspan122"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(E, 4, 5)</tspan></text>
<path
d="m 312.211,383.301 c 9.875,-2.27 40.355,-10.172 60.789,-25.301 25.441,-18.84 46.984,-49.141 58.934,-68.02"
inkscape:connector-curvature="0"
id="path124"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 434.289,290.828 1.602,-7.242 -5.77,4.664 4.168,2.578 z"
inkscape:connector-curvature="0"
id="path126"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 256,357.5 106,0 0,-21 -106,0 0,21 z"
inkscape:connector-curvature="0"
id="path128"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,263.5,344.5)"
id="text130"><tspan
x="0 3.7499084 9.7397623 12.72969 15.719617 18.709543 26.959343 29.949268 35.939121 38.92905 47.16885 50.158775 56.148628 59.148556 65.138412 68.128334 71.118263 77.118118 80.108047 86.107903"
y="0"
id="tspan132"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(E ::= E + • E ,0,4)</tspan></text>
<path
d="m 309,380.316 c 0,-3.699 0,-9.687 0,-15.57"
inkscape:connector-curvature="0"
id="path134"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 311.449,364.527 -2.449,-7 -2.449,7 4.898,0 z"
inkscape:connector-curvature="0"
id="path136"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 134,162 c 0,-4.668 -6,-4.668 -6,0 0,4.668 6,4.668 6,0 z"
inkscape:connector-curvature="0"
id="path138"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 131,188.496 c 0,-4.926 0,-10.793 0,-15.75"
inkscape:connector-curvature="0"
id="path140"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 133.449,172.586 -2.449,-7 -2.449,7 4.898,0 z"
inkscape:connector-curvature="0"
id="path142"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 343,310 c 0,-4.668 -6,-4.668 -6,0 0,4.668 6,4.668 6,0 z"
inkscape:connector-curvature="0"
id="path144"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 234.383,339.02 c 3.57,-1.024 7.179,-2.051 10.617,-3.02 30.836,-8.684 67.418,-18.582 84.82,-23.266"
inkscape:connector-curvature="0"
id="path146"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 330.918,314.977 6.121,-4.184 -7.394,-0.551 1.273,4.735 z"
inkscape:connector-curvature="0"
id="path148"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 87,135.5 -40,0"
inkscape:connector-curvature="0"
id="path150"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 47,135.5 c -3.5,0 -7,-3.5 -7,-7"
inkscape:connector-curvature="0"
id="path152"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 40,128.5 0,-7"
inkscape:connector-curvature="0"
id="path154"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 40,121.5 c 0,-3.5 3.5,-7 7,-7"
inkscape:connector-curvature="0"
id="path156"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 47,114.5 40,0"
inkscape:connector-curvature="0"
id="path158"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 87,114.5 c 3.5,0 7,3.5 7,7"
inkscape:connector-curvature="0"
id="path160"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 94,121.5 0,7"
inkscape:connector-curvature="0"
id="path162"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 94,128.5 c 0,3.5 -3.5,7 -7,7"
inkscape:connector-curvature="0"
id="path164"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,48,122.5)"
id="text166"><tspan
x="0 3.7499084 9.7397623 12.72969 15.719617 21.719471 24.709396 27.699324 33.699177"
y="0"
id="tspan168"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(E, 0, 1)</tspan></text>
<path
d="m 128.25,160.41 c -6.348,-3.672 -22.57,-13.047 -36.723,-21.23"
inkscape:connector-curvature="0"
id="path170"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 92.496,136.91 -7.285,-1.383 4.836,5.625 2.449,-4.242 z"
inkscape:connector-curvature="0"
id="path172"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 165,135.5 -42,0"
inkscape:connector-curvature="0"
id="path174"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 123,135.5 c -3.5,0 -7,-3.5 -7,-7"
inkscape:connector-curvature="0"
id="path176"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 116,128.5 0,-7"
inkscape:connector-curvature="0"
id="path178"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 116,121.5 c 0,-3.5 3.5,-7 7,-7"
inkscape:connector-curvature="0"
id="path180"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 123,114.5 42,0"
inkscape:connector-curvature="0"
id="path182"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 165,114.5 c 3.5,0 7,3.5 7,7"
inkscape:connector-curvature="0"
id="path184"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 172,121.5 0,7"
inkscape:connector-curvature="0"
id="path186"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 172,128.5 c 0,3.5 -3.5,7 -7,7"
inkscape:connector-curvature="0"
id="path188"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,124,122.5)"
id="text190"><tspan
x="0 3.7499084 11.989707 14.979634 17.969561 23.969416 26.959343 29.949268 35.949123"
y="0"
id="tspan192"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(+, 1, 2)</tspan></text>
<path
d="m 132.199,158.586 c 1.301,-3.703 3.481,-9.902 5.613,-15.973"
inkscape:connector-curvature="0"
id="path194"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 140.23,143.117 0.008,-7.414 -4.629,5.789 4.621,1.625 z"
inkscape:connector-curvature="0"
id="path196"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 70,88 c 0,-4.668 -6,-4.668 -6,0 0,4.668 6,4.668 6,0 z"
inkscape:connector-curvature="0"
id="path198"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 67,114.496 c 0,-4.926 0,-10.793 0,-15.75"
inkscape:connector-curvature="0"
id="path200"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 69.449,98.586 -2.449,-7 -2.449,7 4.898,0 z"
inkscape:connector-curvature="0"
id="path202"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 87,61.5 -40,0"
inkscape:connector-curvature="0"
id="path204"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 47,61.5 c -3.5,0 -7,-3.5 -7,-7"
inkscape:connector-curvature="0"
id="path206"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 40,54.5 0,-7"
inkscape:connector-curvature="0"
id="path208"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 40,47.5 c 0,-3.5 3.5,-7 7,-7"
inkscape:connector-curvature="0"
id="path210"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 47,40.5 40,0"
inkscape:connector-curvature="0"
id="path212"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 87,40.5 c 3.5,0 7,3.5 7,7"
inkscape:connector-curvature="0"
id="path214"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 94,47.5 0,7"
inkscape:connector-curvature="0"
id="path216"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 94,54.5 c 0,3.5 -3.5,7 -7,7"
inkscape:connector-curvature="0"
id="path218"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,48,48.5)"
id="text220"><tspan
x="0 3.7499084 9.7497625 12.739689 15.729616 21.729469 24.719397 27.709324 33.709179"
y="0"
id="tspan222"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(1, 0, 1)</tspan></text>
<path
d="m 67,84.316 c 0,-3.699 0,-9.687 0,-15.57"
inkscape:connector-curvature="0"
id="path224"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 69.449,68.527 -2.449,-7 -2.449,7 4.898,0 z"
inkscape:connector-curvature="0"
id="path226"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 287,283.5 106,0 0,-21 -106,0 0,21 z"
inkscape:connector-curvature="0"
id="path228"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,294.5,270.5)"
id="text230"><tspan
x="0 3.7499084 9.7397623 12.72969 15.719617 18.709543 26.959343 29.949268 35.939121 38.92905 47.16885 50.158775 56.148628 59.148556 65.138412 68.128334 71.118263 77.118118 80.108047 86.107903"
y="0"
id="tspan232"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(E ::= E + • E ,2,4)</tspan></text>
<path
d="m 340,306.316 c 0,-3.699 0,-9.687 0,-15.57"
inkscape:connector-curvature="0"
id="path234"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 342.449,290.527 -2.449,-7 -2.449,7 4.898,0 z"
inkscape:connector-curvature="0"
id="path236"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 342.941,308.934 c 9.497,-3.446 40.137,-14.559 64.852,-23.528"
inkscape:connector-curvature="0"
id="path238"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 408.84,287.633 5.746,-4.688 -7.414,0.082 1.668,4.606 z"
inkscape:connector-curvature="0"
id="path240"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 313,236 c 0,-4.668 -6,-4.668 -6,0 0,4.668 6,4.668 6,0 z"
inkscape:connector-curvature="0"
id="path242"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 331.484,262.496 c -4.679,-5.769 -10.398,-12.82 -14.757,-18.199"
inkscape:connector-curvature="0"
id="path244"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 318.422,242.496 -6.313,-3.894 2.504,6.98 3.809,-3.086 z"
inkscape:connector-curvature="0"
id="path246"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 445,236 c 0,-4.668 -6,-4.668 -6,0 0,4.668 6,4.668 6,0 z"
inkscape:connector-curvature="0"
id="path248"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 442,262.496 c 0,-4.926 0,-10.793 0,-15.75"
inkscape:connector-curvature="0"
id="path250"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 444.449,246.586 -2.449,-7 -2.449,7 4.898,0 z"
inkscape:connector-curvature="0"
id="path252"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 253,209.5 -40,0"
inkscape:connector-curvature="0"
id="path254"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 213,209.5 c -3.5,0 -7,-3.5 -7,-7"
inkscape:connector-curvature="0"
id="path256"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 206,202.5 0,-7"
inkscape:connector-curvature="0"
id="path258"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 206,195.5 c 0,-3.5 3.5,-7 7,-7"
inkscape:connector-curvature="0"
id="path260"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 213,188.5 40,0"
inkscape:connector-curvature="0"
id="path262"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 253,188.5 c 3.5,0 7,3.5 7,7"
inkscape:connector-curvature="0"
id="path264"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 260,195.5 0,7"
inkscape:connector-curvature="0"
id="path266"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 260,202.5 c 0,3.5 -3.5,7 -7,7"
inkscape:connector-curvature="0"
id="path268"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,214,196.5)"
id="text270"><tspan
x="0 3.7499084 9.7397623 12.72969 15.719617 21.719471 24.709396 27.699324 33.699177"
y="0"
id="tspan272"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(E, 2, 3)</tspan></text>
<path
d="m 307.074,234.594 c -7.535,-3.621 -28.258,-13.578 -45.875,-22.043"
inkscape:connector-curvature="0"
id="path274"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 262.25,210.336 -7.371,-0.824 5.246,5.242 2.125,-4.418 z"
inkscape:connector-curvature="0"
id="path276"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 331,209.5 -42,0"
inkscape:connector-curvature="0"
id="path278"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 289,209.5 c -3.5,0 -7,-3.5 -7,-7"
inkscape:connector-curvature="0"
id="path280"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 282,202.5 0,-7"
inkscape:connector-curvature="0"
id="path282"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 282,195.5 c 0,-3.5 3.5,-7 7,-7"
inkscape:connector-curvature="0"
id="path284"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 289,188.5 42,0"
inkscape:connector-curvature="0"
id="path286"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 331,188.5 c 3.5,0 7,3.5 7,7"
inkscape:connector-curvature="0"
id="path288"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 338,195.5 0,7"
inkscape:connector-curvature="0"
id="path290"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 338,202.5 c 0,3.5 -3.5,7 -7,7"
inkscape:connector-curvature="0"
id="path292"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,290,196.5)"
id="text294"><tspan
x="0 3.7499084 11.989707 14.979634 17.969561 23.969416 26.959343 29.949268 35.949123"
y="0"
id="tspan296"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(+, 3, 4)</tspan></text>
<path
d="m 310,232.316 c 0,-3.699 0,-9.687 0,-15.57"
inkscape:connector-curvature="0"
id="path298"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 312.449,216.527 -2.449,-7 -2.449,7 4.898,0 z"
inkscape:connector-curvature="0"
id="path300"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 236,162 c 0,-4.668 -6,-4.668 -6,0 0,4.668 6,4.668 6,0 z"
inkscape:connector-curvature="0"
id="path302"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 233,188.496 c 0,-4.926 0,-10.793 0,-15.75"
inkscape:connector-curvature="0"
id="path304"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 235.449,172.586 -2.449,-7 -2.449,7 4.898,0 z"
inkscape:connector-curvature="0"
id="path306"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 253,135.5 -40,0"
inkscape:connector-curvature="0"
id="path308"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 213,135.5 c -3.5,0 -7,-3.5 -7,-7"
inkscape:connector-curvature="0"
id="path310"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 206,128.5 0,-7"
inkscape:connector-curvature="0"
id="path312"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 206,121.5 c 0,-3.5 3.5,-7 7,-7"
inkscape:connector-curvature="0"
id="path314"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 213,114.5 40,0"
inkscape:connector-curvature="0"
id="path316"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 253,114.5 c 3.5,0 7,3.5 7,7"
inkscape:connector-curvature="0"
id="path318"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 260,121.5 0,7"
inkscape:connector-curvature="0"
id="path320"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 260,128.5 c 0,3.5 -3.5,7 -7,7"
inkscape:connector-curvature="0"
id="path322"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,214,122.5)"
id="text324"><tspan
x="0 3.7499084 9.7497625 12.739689 15.729616 21.729469 24.719397 27.709324 33.709179"
y="0"
id="tspan326"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(1, 2, 3)</tspan></text>
<path
d="m 233,158.316 c 0,-3.699 0,-9.687 0,-15.57"
inkscape:connector-curvature="0"
id="path328"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 235.449,142.527 -2.449,-7 -2.449,7 4.898,0 z"
inkscape:connector-curvature="0"
id="path330"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 462,209.5 -40,0"
inkscape:connector-curvature="0"
id="path332"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 422,209.5 c -3.5,0 -7,-3.5 -7,-7"
inkscape:connector-curvature="0"
id="path334"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 415,202.5 0,-7"
inkscape:connector-curvature="0"
id="path336"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 415,195.5 c 0,-3.5 3.5,-7 7,-7"
inkscape:connector-curvature="0"
id="path338"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 422,188.5 40,0"
inkscape:connector-curvature="0"
id="path340"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 462,188.5 c 3.5,0 7,3.5 7,7"
inkscape:connector-curvature="0"
id="path342"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 469,195.5 0,7"
inkscape:connector-curvature="0"
id="path344"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 469,202.5 c 0,3.5 -3.5,7 -7,7"
inkscape:connector-curvature="0"
id="path346"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,423,196.5)"
id="text348"><tspan
x="0 3.7499084 9.7497625 12.739689 15.729616 21.729469 24.719397 27.709324 33.709179"
y="0"
id="tspan350"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(1, 4, 5)</tspan></text>
<path
d="m 442,232.316 c 0,-3.699 0,-9.687 0,-15.57"
inkscape:connector-curvature="0"
id="path352"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 444.449,216.527 -2.449,-7 -2.449,7 4.898,0 z"
inkscape:connector-curvature="0"
id="path354"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 256,310 c 0,-4.668 -6,-4.668 -6,0 0,4.668 6,4.668 6,0 z"
inkscape:connector-curvature="0"
id="path356"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 293.102,336.496 c -10.204,-6.742 -23.063,-15.238 -31.43,-20.766"
inkscape:connector-curvature="0"
id="path358"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 262.848,313.57 -7.188,-1.812 4.488,5.902 2.7,-4.09 z"
inkscape:connector-curvature="0"
id="path360"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 254.617,306.48 c 3.676,-7.976 13,-28.011 21.383,-44.48 7.992,-15.699 17.559,-33.328 24.504,-45.938"
inkscape:connector-curvature="0"
id="path362"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 302.824,216.93 1.242,-7.313 -5.531,4.942 4.289,2.371 z"
inkscape:connector-curvature="0"
id="path364"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 212,283.5 -40,0"
inkscape:connector-curvature="0"
id="path366"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 172,283.5 c -3.5,0 -7,-3.5 -7,-7"
inkscape:connector-curvature="0"
id="path368"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 165,276.5 0,-7"
inkscape:connector-curvature="0"
id="path370"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 165,269.5 c 0,-3.5 3.5,-7 7,-7"
inkscape:connector-curvature="0"
id="path372"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 172,262.5 40,0"
inkscape:connector-curvature="0"
id="path374"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 212,262.5 c 3.5,0 7,3.5 7,7"
inkscape:connector-curvature="0"
id="path376"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 219,269.5 0,7"
inkscape:connector-curvature="0"
id="path378"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 219,276.5 c 0,3.5 -3.5,7 -7,7"
inkscape:connector-curvature="0"
id="path380"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,173,270.5)"
id="text382"><tspan
x="0 3.7499084 9.7397623 12.72969 15.719617 21.719471 24.709396 27.699324 33.699177"
y="0"
id="tspan384"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(E, 0, 3)</tspan></text>
<path
d="m 250.059,308.215 c -6.219,-3.77 -21.207,-12.863 -34.395,-20.863"
inkscape:connector-curvature="0"
id="path386"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 216.633,285.078 -7.254,-1.539 4.715,5.727 2.539,-4.188 z"
inkscape:connector-curvature="0"
id="path388"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 195,236 c 0,-4.668 -6,-4.668 -6,0 0,4.668 6,4.668 6,0 z"
inkscape:connector-curvature="0"
id="path390"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 192,262.496 c 0,-4.926 0,-10.793 0,-15.75"
inkscape:connector-curvature="0"
id="path392"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 194.449,246.586 -2.449,-7 -2.449,7 4.898,0 z"
inkscape:connector-curvature="0"
id="path394"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 189.059,234.215 c -6.219,-3.77 -21.207,-12.863 -34.395,-20.863"
inkscape:connector-curvature="0"
id="path396"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 155.633,211.078 -7.254,-1.539 4.715,5.727 2.539,-4.188 z"
inkscape:connector-curvature="0"
id="path398"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 194.691,233.574 c 4.286,-3.867 12.997,-11.73 21.032,-18.98"
inkscape:connector-curvature="0"
id="path400"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 217.559,216.234 3.554,-6.507 -6.84,2.871 3.286,3.636 z"
inkscape:connector-curvature="0"
id="path402"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /></g></g></g></g></g></g></svg>

+ 584
- 0
docs/_static/sppf/sppf_abcd.svg Näytä tiedosto

@@ -0,0 +1,584 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!-- Created with Inkscape (http://www.inkscape.org/) -->

<svg
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#"
xmlns:svg="http://www.w3.org/2000/svg"
xmlns="http://www.w3.org/2000/svg"
xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
version="1.1"
width="395"
height="398.75"
id="svg2"
xml:space="preserve"><metadata
id="metadata8"><rdf:RDF><cc:Work
rdf:about=""><dc:format>image/svg+xml</dc:format><dc:type
rdf:resource="http://purl.org/dc/dcmitype/StillImage" /></cc:Work></rdf:RDF></metadata><defs
id="defs6"><clipPath
id="clipPath16"><path
d="M 0,0 394,0 394,398 0,398 0,0 z"
inkscape:connector-curvature="0"
id="path18" /></clipPath><clipPath
id="clipPath20"><path
d="m 36,362 323,0 0,-327 -323,0 0,327 z"
inkscape:connector-curvature="0"
id="path22" /></clipPath></defs><g
transform="matrix(1.25,0,0,-1.25,0,398.75)"
id="g10"><g
transform="translate(-39,-40)"
id="g12"><g
id="g14" /><g
id="g24"><g
clip-path="url(#clipPath16)"
id="g26"><g
id="g28"><path
d="m 36,362 323,0 0,-327 -323,0 0,327 z"
inkscape:connector-curvature="0"
id="path30"
style="fill:#ffffff;fill-opacity:1;fill-rule:nonzero;stroke:none" /></g><g
id="g32"><g
clip-path="url(#clipPath20)"
id="g34"><path
d="m 36,362 323,0 0,-327 -323,0 0,327 z"
inkscape:connector-curvature="0"
id="path36"
style="fill:none;stroke:#ffffff;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 291,357.5 -40,0"
inkscape:connector-curvature="0"
id="path38"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 251,357.5 c -3.5,0 -7,-3.5 -7,-7"
inkscape:connector-curvature="0"
id="path40"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 244,350.5 0,-7"
inkscape:connector-curvature="0"
id="path42"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 244,343.5 c 0,-3.5 3.5,-7 7,-7"
inkscape:connector-curvature="0"
id="path44"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 251,336.5 40,0"
inkscape:connector-curvature="0"
id="path46"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 291,336.5 c 3.5,0 7,3.5 7,7"
inkscape:connector-curvature="0"
id="path48"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 298,343.5 0,7"
inkscape:connector-curvature="0"
id="path50"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 298,350.5 c 0,3.5 -3.5,7 -7,7"
inkscape:connector-curvature="0"
id="path52"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,251.5,344.5)"
id="text54"><tspan
x="0 3.7499084 10.489744 13.479671 16.469599 22.469452 25.459379 28.449306 34.449158"
y="0"
id="tspan56"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(S, 0, 4)</tspan></text>
<path
d="m 274,310 c 0,-4.668 -6,-4.668 -6,0 0,4.668 6,4.668 6,0 z"
inkscape:connector-curvature="0"
id="path58"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 271,336.496 c 0,-4.926 0,-10.793 0,-15.75"
inkscape:connector-curvature="0"
id="path60"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 273.449,320.586 -2.449,-7 -2.449,7 4.898,0 z"
inkscape:connector-curvature="0"
id="path62"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 158,283.5 118,0 0,-21 -118,0 0,21 z"
inkscape:connector-curvature="0"
id="path64"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,166,270.5)"
id="text66"><tspan
x="0 3.7499084 10.489744 13.479671 16.469599 19.459526 27.709324 30.699251 37.449085 40.439014 47.18885 50.178776 56.928612 59.918537 65.908394 68.898315 76.398132 79.388062 82.377991 88.377846 91.367767 97.367622"
y="0"
id="tspan68"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(S ::= A B C • D ,0,3)</tspan></text>
<path
d="M 268.395,308.215 C 262.941,304.477 249.863,295.52 238.266,287.57"
inkscape:connector-curvature="0"
id="path70"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 239.543,285.477 -7.16,-1.938 4.39,5.981 2.77,-4.043 z"
inkscape:connector-curvature="0"
id="path72"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 347,283.5 -42,0"
inkscape:connector-curvature="0"
id="path74"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 305,283.5 c -3.5,0 -7,-3.5 -7,-7"
inkscape:connector-curvature="0"
id="path76"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 298,276.5 0,-7"
inkscape:connector-curvature="0"
id="path78"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 298,269.5 c 0,-3.5 3.5,-7 7,-7"
inkscape:connector-curvature="0"
id="path80"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 305,262.5 42,0"
inkscape:connector-curvature="0"
id="path82"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 347,262.5 c 3.5,0 7,3.5 7,7"
inkscape:connector-curvature="0"
id="path84"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 354,269.5 0,7"
inkscape:connector-curvature="0"
id="path86"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 354,276.5 c 0,3.5 -3.5,7 -7,7"
inkscape:connector-curvature="0"
id="path88"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,306,270.5)"
id="text90"><tspan
x="0 3.7499084 11.249725 14.239653 17.22958 23.229433 26.21936 29.209288 35.209141"
y="0"
id="tspan92"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(D, 3, 4)</tspan></text>
<path
d="m 273.652,308.215 c 5.555,-3.738 18.875,-12.695 30.688,-20.645"
inkscape:connector-curvature="0"
id="path94"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 305.891,289.48 4.441,-5.941 -7.176,1.875 2.735,4.066 z"
inkscape:connector-curvature="0"
id="path96"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 220,236 c 0,-4.668 -6,-4.668 -6,0 0,4.668 6,4.668 6,0 z"
inkscape:connector-curvature="0"
id="path98"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 217,262.496 c 0,-4.926 0,-10.793 0,-15.75"
inkscape:connector-curvature="0"
id="path100"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 219.449,246.586 -2.449,-7 -2.449,7 4.898,0 z"
inkscape:connector-curvature="0"
id="path102"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 329,236 c 0,-4.668 -6,-4.668 -6,0 0,4.668 6,4.668 6,0 z"
inkscape:connector-curvature="0"
id="path104"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 326,262.496 c 0,-4.926 0,-10.793 0,-15.75"
inkscape:connector-curvature="0"
id="path106"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 328.449,246.586 -2.449,-7 -2.449,7 4.898,0 z"
inkscape:connector-curvature="0"
id="path108"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 67,209.5 118,0 0,-21 -118,0 0,21 z"
inkscape:connector-curvature="0"
id="path110"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,75,196.5)"
id="text112"><tspan
x="0 3.7499084 10.489744 13.479671 16.469599 19.459526 27.709324 30.699251 37.449085 40.439014 47.18885 50.178776 56.168629 59.158558 65.908394 68.898315 76.398132 79.388062 82.377991 88.377846 91.367767 97.367622"
y="0"
id="tspan114"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(S ::= A B • C D ,0,2)</tspan></text>
<path
d="m 213.973,234.77 c -8.571,-3.485 -33.758,-13.727 -54.996,-22.364"
inkscape:connector-curvature="0"
id="path116"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 159.652,210.039 -7.406,-0.367 5.559,4.906 1.847,-4.539 z"
inkscape:connector-curvature="0"
id="path118"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 254,209.5 -40,0"
inkscape:connector-curvature="0"
id="path120"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 214,209.5 c -3.5,0 -7,-3.5 -7,-7"
inkscape:connector-curvature="0"
id="path122"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 207,202.5 0,-7"
inkscape:connector-curvature="0"
id="path124"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 207,195.5 c 0,-3.5 3.5,-7 7,-7"
inkscape:connector-curvature="0"
id="path126"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 214,188.5 40,0"
inkscape:connector-curvature="0"
id="path128"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 254,188.5 c 3.5,0 7,3.5 7,7"
inkscape:connector-curvature="0"
id="path130"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 261,195.5 0,7"
inkscape:connector-curvature="0"
id="path132"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 261,202.5 c 0,3.5 -3.5,7 -7,7"
inkscape:connector-curvature="0"
id="path134"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,214.5,196.5)"
id="text136"><tspan
x="0 3.7499084 10.499743 13.489671 16.479597 22.479452 25.469379 28.459305 34.45916"
y="0"
id="tspan138"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(C, 2, 3)</tspan></text>
<path
d="m 218.57,232.586 c 1.739,-3.785 4.672,-10.172 7.52,-16.367"
inkscape:connector-curvature="0"
id="path140"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 228.387,217.086 0.695,-7.383 -5.148,5.336 4.453,2.047 z"
inkscape:connector-curvature="0"
id="path142"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 129,162 c 0,-4.668 -6,-4.668 -6,0 0,4.668 6,4.668 6,0 z"
inkscape:connector-curvature="0"
id="path144"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 126,188.496 c 0,-4.926 0,-10.793 0,-15.75"
inkscape:connector-curvature="0"
id="path146"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 128.449,172.586 -2.449,-7 -2.449,7 4.898,0 z"
inkscape:connector-curvature="0"
id="path148"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 237,162 c 0,-4.668 -6,-4.668 -6,0 0,4.668 6,4.668 6,0 z"
inkscape:connector-curvature="0"
id="path150"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 234,188.496 c 0,-4.926 0,-10.793 0,-15.75"
inkscape:connector-curvature="0"
id="path152"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 236.449,172.586 -2.449,-7 -2.449,7 4.898,0 z"
inkscape:connector-curvature="0"
id="path154"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 87,135.5 -40,0"
inkscape:connector-curvature="0"
id="path156"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 47,135.5 c -3.5,0 -7,-3.5 -7,-7"
inkscape:connector-curvature="0"
id="path158"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 40,128.5 0,-7"
inkscape:connector-curvature="0"
id="path160"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 40,121.5 c 0,-3.5 3.5,-7 7,-7"
inkscape:connector-curvature="0"
id="path162"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 47,114.5 40,0"
inkscape:connector-curvature="0"
id="path164"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 87,114.5 c 3.5,0 7,3.5 7,7"
inkscape:connector-curvature="0"
id="path166"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 94,121.5 0,7"
inkscape:connector-curvature="0"
id="path168"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 94,128.5 c 0,3.5 -3.5,7 -7,7"
inkscape:connector-curvature="0"
id="path170"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,47.5,122.5)"
id="text172"><tspan
x="0 3.7499084 10.499743 13.489671 16.479597 22.479452 25.469379 28.459305 34.45916"
y="0"
id="tspan174"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(A, 0, 1)</tspan></text>
<path
d="m 123.156,160.215 c -6.015,-3.77 -20.511,-12.863 -33.269,-20.863"
inkscape:connector-curvature="0"
id="path176"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 91.039,137.184 -7.23,-1.645 4.629,5.797 2.601,-4.152 z"
inkscape:connector-curvature="0"
id="path178"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 163,135.5 -40,0"
inkscape:connector-curvature="0"
id="path180"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 123,135.5 c -3.5,0 -7,-3.5 -7,-7"
inkscape:connector-curvature="0"
id="path182"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 116,128.5 0,-7"
inkscape:connector-curvature="0"
id="path184"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 116,121.5 c 0,-3.5 3.5,-7 7,-7"
inkscape:connector-curvature="0"
id="path186"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 123,114.5 40,0"
inkscape:connector-curvature="0"
id="path188"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 163,114.5 c 3.5,0 7,3.5 7,7"
inkscape:connector-curvature="0"
id="path190"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 170,121.5 0,7"
inkscape:connector-curvature="0"
id="path192"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 170,128.5 c 0,3.5 -3.5,7 -7,7"
inkscape:connector-curvature="0"
id="path194"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,123.5,122.5)"
id="text196"><tspan
x="0 3.7499084 10.499743 13.489671 16.479597 22.479452 25.469379 28.459305 34.45916"
y="0"
id="tspan198"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(B, 1, 2)</tspan></text>
<path
d="m 127.57,158.586 c 1.739,-3.785 4.672,-10.172 7.52,-16.367"
inkscape:connector-curvature="0"
id="path200"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 137.387,143.086 0.695,-7.383 -5.148,5.336 4.453,2.047 z"
inkscape:connector-curvature="0"
id="path202"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 70,88 c 0,-4.668 -6,-4.668 -6,0 0,4.668 6,4.668 6,0 z"
inkscape:connector-curvature="0"
id="path204"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 67,114.496 c 0,-4.926 0,-10.793 0,-15.75"
inkscape:connector-curvature="0"
id="path206"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 69.449,98.586 -2.449,-7 -2.449,7 4.898,0 z"
inkscape:connector-curvature="0"
id="path208"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 146,88 c 0,-4.668 -6,-4.668 -6,0 0,4.668 6,4.668 6,0 z"
inkscape:connector-curvature="0"
id="path210"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 143,114.496 c 0,-4.926 0,-10.793 0,-15.75"
inkscape:connector-curvature="0"
id="path212"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 145.449,98.586 -2.449,-7 -2.449,7 4.898,0 z"
inkscape:connector-curvature="0"
id="path214"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 87,61.5 -40,0"
inkscape:connector-curvature="0"
id="path216"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 47,61.5 c -3.5,0 -7,-3.5 -7,-7"
inkscape:connector-curvature="0"
id="path218"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 40,54.5 0,-7"
inkscape:connector-curvature="0"
id="path220"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 40,47.5 c 0,-3.5 3.5,-7 7,-7"
inkscape:connector-curvature="0"
id="path222"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 47,40.5 40,0"
inkscape:connector-curvature="0"
id="path224"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 87,40.5 c 3.5,0 7,3.5 7,7"
inkscape:connector-curvature="0"
id="path226"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 94,47.5 0,7"
inkscape:connector-curvature="0"
id="path228"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 94,54.5 c 0,3.5 -3.5,7 -7,7"
inkscape:connector-curvature="0"
id="path230"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,48,48.5)"
id="text232"><tspan
x="0 3.7499084 9.7397623 12.72969 15.719617 21.719471 24.709396 27.699324 33.699177"
y="0"
id="tspan234"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(a, 0, 1)</tspan></text>
<path
d="m 67,84.316 c 0,-3.699 0,-9.687 0,-15.57"
inkscape:connector-curvature="0"
id="path236"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 69.449,68.527 -2.449,-7 -2.449,7 4.898,0 z"
inkscape:connector-curvature="0"
id="path238"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 163,61.5 -40,0"
inkscape:connector-curvature="0"
id="path240"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 123,61.5 c -3.5,0 -7,-3.5 -7,-7"
inkscape:connector-curvature="0"
id="path242"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 116,54.5 0,-7"
inkscape:connector-curvature="0"
id="path244"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 116,47.5 c 0,-3.5 3.5,-7 7,-7"
inkscape:connector-curvature="0"
id="path246"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 123,40.5 40,0"
inkscape:connector-curvature="0"
id="path248"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 163,40.5 c 3.5,0 7,3.5 7,7"
inkscape:connector-curvature="0"
id="path250"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 170,47.5 0,7"
inkscape:connector-curvature="0"
id="path252"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 170,54.5 c 0,3.5 -3.5,7 -7,7"
inkscape:connector-curvature="0"
id="path254"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,124,48.5)"
id="text256"><tspan
x="0 3.7499084 9.7397623 12.72969 15.719617 21.719471 24.709396 27.699324 33.699177"
y="0"
id="tspan258"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(b, 1, 2)</tspan></text>
<path
d="m 143,84.316 c 0,-3.699 0,-9.687 0,-15.57"
inkscape:connector-curvature="0"
id="path260"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 145.449,68.527 -2.449,-7 -2.449,7 4.898,0 z"
inkscape:connector-curvature="0"
id="path262"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 253,135.5 -38,0"
inkscape:connector-curvature="0"
id="path264"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 215,135.5 c -3.5,0 -7,-3.5 -7,-7"
inkscape:connector-curvature="0"
id="path266"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 208,128.5 0,-7"
inkscape:connector-curvature="0"
id="path268"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 208,121.5 c 0,-3.5 3.5,-7 7,-7"
inkscape:connector-curvature="0"
id="path270"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 215,114.5 38,0"
inkscape:connector-curvature="0"
id="path272"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 253,114.5 c 3.5,0 7,3.5 7,7"
inkscape:connector-curvature="0"
id="path274"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 260,121.5 0,7"
inkscape:connector-curvature="0"
id="path276"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 260,128.5 c 0,3.5 -3.5,7 -7,7"
inkscape:connector-curvature="0"
id="path278"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,215.5,122.5)"
id="text280"><tspan
x="0 3.7499084 8.9897804 11.979708 14.969635 20.969488 23.959415 26.949343 32.949196"
y="0"
id="tspan282"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(c, 2, 3)</tspan></text>
<path
d="m 234,158.316 c 0,-3.699 0,-9.687 0,-15.57"
inkscape:connector-curvature="0"
id="path284"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 236.449,142.527 -2.449,-7 -2.449,7 4.898,0 z"
inkscape:connector-curvature="0"
id="path286"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 346,209.5 -40,0"
inkscape:connector-curvature="0"
id="path288"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 306,209.5 c -3.5,0 -7,-3.5 -7,-7"
inkscape:connector-curvature="0"
id="path290"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 299,202.5 0,-7"
inkscape:connector-curvature="0"
id="path292"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 299,195.5 c 0,-3.5 3.5,-7 7,-7"
inkscape:connector-curvature="0"
id="path294"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 306,188.5 40,0"
inkscape:connector-curvature="0"
id="path296"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 346,188.5 c 3.5,0 7,3.5 7,7"
inkscape:connector-curvature="0"
id="path298"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 353,195.5 0,7"
inkscape:connector-curvature="0"
id="path300"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 353,202.5 c 0,3.5 -3.5,7 -7,7"
inkscape:connector-curvature="0"
id="path302"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,307,196.5)"
id="text304"><tspan
x="0 3.7499084 9.7397623 12.72969 15.719617 21.719471 24.709396 27.699324 33.699177"
y="0"
id="tspan306"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(d, 3, 4)</tspan></text>
<path
d="m 326,232.316 c 0,-3.699 0,-9.687 0,-15.57"
inkscape:connector-curvature="0"
id="path308"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 328.449,216.527 -2.449,-7 -2.449,7 4.898,0 z"
inkscape:connector-curvature="0"
id="path310"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /></g></g></g></g></g></g></svg>

+ 522
- 0
docs/_static/sppf/sppf_abcd_noint.svg Näytä tiedosto

@@ -0,0 +1,522 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!-- Created with Inkscape (http://www.inkscape.org/) -->

<svg
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#"
xmlns:svg="http://www.w3.org/2000/svg"
xmlns="http://www.w3.org/2000/svg"
xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
version="1.1"
width="357.5"
height="213.75"
id="svg2"
xml:space="preserve"><metadata
id="metadata8"><rdf:RDF><cc:Work
rdf:about=""><dc:format>image/svg+xml</dc:format><dc:type
rdf:resource="http://purl.org/dc/dcmitype/StillImage" /></cc:Work></rdf:RDF></metadata><defs
id="defs6"><clipPath
id="clipPath16"><path
d="M 0,0 364,0 364,250 0,250 0,0 z"
inkscape:connector-curvature="0"
id="path18" /></clipPath><clipPath
id="clipPath20"><path
d="m 36,214 293,0 0,-179 -293,0 0,179 z"
inkscape:connector-curvature="0"
id="path22" /></clipPath></defs><g
transform="matrix(1.25,0,0,-1.25,0,213.75)"
id="g10"><g
transform="translate(-39,-40)"
id="g12"><g
id="g14" /><g
id="g24"><g
clip-path="url(#clipPath16)"
id="g26"><g
id="g28"><path
d="m 36,214 293,0 0,-179 -293,0 0,179 z"
inkscape:connector-curvature="0"
id="path30"
style="fill:#ffffff;fill-opacity:1;fill-rule:nonzero;stroke:none" /></g><g
id="g32"><g
clip-path="url(#clipPath20)"
id="g34"><path
d="m 36,214 293,0 0,-179 -293,0 0,179 z"
inkscape:connector-curvature="0"
id="path36"
style="fill:none;stroke:#ffffff;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 201,209.5 -40,0"
inkscape:connector-curvature="0"
id="path38"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 161,209.5 c -3.5,0 -7,-3.5 -7,-7"
inkscape:connector-curvature="0"
id="path40"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 154,202.5 0,-7"
inkscape:connector-curvature="0"
id="path42"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 154,195.5 c 0,-3.5 3.5,-7 7,-7"
inkscape:connector-curvature="0"
id="path44"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 161,188.5 40,0"
inkscape:connector-curvature="0"
id="path46"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 201,188.5 c 3.5,0 7,3.5 7,7"
inkscape:connector-curvature="0"
id="path48"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 208,195.5 0,7"
inkscape:connector-curvature="0"
id="path50"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 208,202.5 c 0,3.5 -3.5,7 -7,7"
inkscape:connector-curvature="0"
id="path52"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,161.5,196.5)"
id="text54"><tspan
x="0 3.7499084 10.489744 13.479671 16.469599 22.469452 25.459379 28.449306 34.449158"
y="0"
id="tspan56"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(S, 0, 4)</tspan></text>
<path
d="m 184,162 c 0,-4.668 -6,-4.668 -6,0 0,4.668 6,4.668 6,0 z"
inkscape:connector-curvature="0"
id="path58"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 181,188.496 c 0,-4.926 0,-10.793 0,-15.75"
inkscape:connector-curvature="0"
id="path60"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 183.449,172.586 -2.449,-7 -2.449,7 4.898,0 z"
inkscape:connector-curvature="0"
id="path62"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 87,135.5 -40,0"
inkscape:connector-curvature="0"
id="path64"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 47,135.5 c -3.5,0 -7,-3.5 -7,-7"
inkscape:connector-curvature="0"
id="path66"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 40,128.5 0,-7"
inkscape:connector-curvature="0"
id="path68"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 40,121.5 c 0,-3.5 3.5,-7 7,-7"
inkscape:connector-curvature="0"
id="path70"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 47,114.5 40,0"
inkscape:connector-curvature="0"
id="path72"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 87,114.5 c 3.5,0 7,3.5 7,7"
inkscape:connector-curvature="0"
id="path74"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 94,121.5 0,7"
inkscape:connector-curvature="0"
id="path76"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 94,128.5 c 0,3.5 -3.5,7 -7,7"
inkscape:connector-curvature="0"
id="path78"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,47.5,122.5)"
id="text80"><tspan
x="0 3.7499084 10.499743 13.489671 16.479597 22.479452 25.469379 28.459305 34.45916"
y="0"
id="tspan82"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(A, 0, 1)</tspan></text>
<path
d="m 177.949,161.012 c -10.836,-3.52 -48.363,-15.7 -76.801,-24.93"
inkscape:connector-curvature="0"
id="path84"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 101.555,133.641 -7.418,0.168 5.902,4.492 1.516,-4.66 z"
inkscape:connector-curvature="0"
id="path86"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 163,135.5 -40,0"
inkscape:connector-curvature="0"
id="path88"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 123,135.5 c -3.5,0 -7,-3.5 -7,-7"
inkscape:connector-curvature="0"
id="path90"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 116,128.5 0,-7"
inkscape:connector-curvature="0"
id="path92"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 116,121.5 c 0,-3.5 3.5,-7 7,-7"
inkscape:connector-curvature="0"
id="path94"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 123,114.5 40,0"
inkscape:connector-curvature="0"
id="path96"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 163,114.5 c 3.5,0 7,3.5 7,7"
inkscape:connector-curvature="0"
id="path98"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 170,121.5 0,7"
inkscape:connector-curvature="0"
id="path100"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 170,128.5 c 0,3.5 -3.5,7 -7,7"
inkscape:connector-curvature="0"
id="path102"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,123.5,122.5)"
id="text104"><tspan
x="0 3.7499084 10.499743 13.489671 16.479597 22.479452 25.469379 28.459305 34.45916"
y="0"
id="tspan106"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(B, 1, 2)</tspan></text>
<path
d="m 178.508,159.574 c -3.895,-3.793 -11.738,-11.429 -19.063,-18.562"
inkscape:connector-curvature="0"
id="path108"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 160.742,138.855 -6.726,-3.128 3.308,6.64 3.418,-3.512 z"
inkscape:connector-curvature="0"
id="path110"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 239,135.5 -40,0"
inkscape:connector-curvature="0"
id="path112"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 199,135.5 c -3.5,0 -7,-3.5 -7,-7"
inkscape:connector-curvature="0"
id="path114"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 192,128.5 0,-7"
inkscape:connector-curvature="0"
id="path116"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 192,121.5 c 0,-3.5 3.5,-7 7,-7"
inkscape:connector-curvature="0"
id="path118"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 199,114.5 40,0"
inkscape:connector-curvature="0"
id="path120"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 239,114.5 c 3.5,0 7,3.5 7,7"
inkscape:connector-curvature="0"
id="path122"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 246,121.5 0,7"
inkscape:connector-curvature="0"
id="path124"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 246,128.5 c 0,3.5 -3.5,7 -7,7"
inkscape:connector-curvature="0"
id="path126"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,199.5,122.5)"
id="text128"><tspan
x="0 3.7499084 10.499743 13.489671 16.479597 22.479452 25.469379 28.459305 34.45916"
y="0"
id="tspan130"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(C, 2, 3)</tspan></text>
<path
d="m 183.492,159.574 c 3.895,-3.793 11.738,-11.429 19.063,-18.562"
inkscape:connector-curvature="0"
id="path132"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 204.676,142.367 3.308,-6.64 -6.726,3.128 3.418,3.512 z"
inkscape:connector-curvature="0"
id="path134"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 317,135.5 -42,0"
inkscape:connector-curvature="0"
id="path136"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 275,135.5 c -3.5,0 -7,-3.5 -7,-7"
inkscape:connector-curvature="0"
id="path138"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 268,128.5 0,-7"
inkscape:connector-curvature="0"
id="path140"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 268,121.5 c 0,-3.5 3.5,-7 7,-7"
inkscape:connector-curvature="0"
id="path142"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 275,114.5 42,0"
inkscape:connector-curvature="0"
id="path144"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 317,114.5 c 3.5,0 7,3.5 7,7"
inkscape:connector-curvature="0"
id="path146"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 324,121.5 0,7"
inkscape:connector-curvature="0"
id="path148"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 324,128.5 c 0,3.5 -3.5,7 -7,7"
inkscape:connector-curvature="0"
id="path150"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,276,122.5)"
id="text152"><tspan
x="0 3.7499084 11.249725 14.239653 17.22958 23.229433 26.21936 29.209288 35.209141"
y="0"
id="tspan154"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(D, 3, 4)</tspan></text>
<path
d="m 184.074,161.012 c 10.883,-3.5 48.426,-15.582 77.059,-24.793"
inkscape:connector-curvature="0"
id="path156"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 261.918,138.539 5.91,-4.477 -7.414,-0.187 1.504,4.664 z"
inkscape:connector-curvature="0"
id="path158"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 70,88 c 0,-4.668 -6,-4.668 -6,0 0,4.668 6,4.668 6,0 z"
inkscape:connector-curvature="0"
id="path160"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 67,114.496 c 0,-4.926 0,-10.793 0,-15.75"
inkscape:connector-curvature="0"
id="path162"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 69.449,98.586 -2.449,-7 -2.449,7 4.898,0 z"
inkscape:connector-curvature="0"
id="path164"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 146,88 c 0,-4.668 -6,-4.668 -6,0 0,4.668 6,4.668 6,0 z"
inkscape:connector-curvature="0"
id="path166"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 143,114.496 c 0,-4.926 0,-10.793 0,-15.75"
inkscape:connector-curvature="0"
id="path168"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 145.449,98.586 -2.449,-7 -2.449,7 4.898,0 z"
inkscape:connector-curvature="0"
id="path170"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 222,88 c 0,-4.668 -6,-4.668 -6,0 0,4.668 6,4.668 6,0 z"
inkscape:connector-curvature="0"
id="path172"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 219,114.496 c 0,-4.926 0,-10.793 0,-15.75"
inkscape:connector-curvature="0"
id="path174"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 221.449,98.586 -2.449,-7 -2.449,7 4.898,0 z"
inkscape:connector-curvature="0"
id="path176"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 299,88 c 0,-4.668 -6,-4.668 -6,0 0,4.668 6,4.668 6,0 z"
inkscape:connector-curvature="0"
id="path178"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 296,114.496 c 0,-4.926 0,-10.793 0,-15.75"
inkscape:connector-curvature="0"
id="path180"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 298.449,98.586 -2.449,-7 -2.449,7 4.898,0 z"
inkscape:connector-curvature="0"
id="path182"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 87,61.5 -40,0"
inkscape:connector-curvature="0"
id="path184"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 47,61.5 c -3.5,0 -7,-3.5 -7,-7"
inkscape:connector-curvature="0"
id="path186"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 40,54.5 0,-7"
inkscape:connector-curvature="0"
id="path188"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 40,47.5 c 0,-3.5 3.5,-7 7,-7"
inkscape:connector-curvature="0"
id="path190"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 47,40.5 40,0"
inkscape:connector-curvature="0"
id="path192"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 87,40.5 c 3.5,0 7,3.5 7,7"
inkscape:connector-curvature="0"
id="path194"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 94,47.5 0,7"
inkscape:connector-curvature="0"
id="path196"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 94,54.5 c 0,3.5 -3.5,7 -7,7"
inkscape:connector-curvature="0"
id="path198"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,48,48.5)"
id="text200"><tspan
x="0 3.7499084 9.7397623 12.72969 15.719617 21.719471 24.709396 27.699324 33.699177"
y="0"
id="tspan202"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(a, 0, 1)</tspan></text>
<path
d="m 67,84.316 c 0,-3.699 0,-9.687 0,-15.57"
inkscape:connector-curvature="0"
id="path204"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 69.449,68.527 -2.449,-7 -2.449,7 4.898,0 z"
inkscape:connector-curvature="0"
id="path206"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 163,61.5 -40,0"
inkscape:connector-curvature="0"
id="path208"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 123,61.5 c -3.5,0 -7,-3.5 -7,-7"
inkscape:connector-curvature="0"
id="path210"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 116,54.5 0,-7"
inkscape:connector-curvature="0"
id="path212"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 116,47.5 c 0,-3.5 3.5,-7 7,-7"
inkscape:connector-curvature="0"
id="path214"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 123,40.5 40,0"
inkscape:connector-curvature="0"
id="path216"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 163,40.5 c 3.5,0 7,3.5 7,7"
inkscape:connector-curvature="0"
id="path218"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 170,47.5 0,7"
inkscape:connector-curvature="0"
id="path220"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 170,54.5 c 0,3.5 -3.5,7 -7,7"
inkscape:connector-curvature="0"
id="path222"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,124,48.5)"
id="text224"><tspan
x="0 3.7499084 9.7397623 12.72969 15.719617 21.719471 24.709396 27.699324 33.699177"
y="0"
id="tspan226"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(b, 1, 2)</tspan></text>
<path
d="m 143,84.316 c 0,-3.699 0,-9.687 0,-15.57"
inkscape:connector-curvature="0"
id="path228"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 145.449,68.527 -2.449,-7 -2.449,7 4.898,0 z"
inkscape:connector-curvature="0"
id="path230"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 238,61.5 -38,0"
inkscape:connector-curvature="0"
id="path232"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 200,61.5 c -3.5,0 -7,-3.5 -7,-7"
inkscape:connector-curvature="0"
id="path234"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 193,54.5 0,-7"
inkscape:connector-curvature="0"
id="path236"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 193,47.5 c 0,-3.5 3.5,-7 7,-7"
inkscape:connector-curvature="0"
id="path238"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 200,40.5 38,0"
inkscape:connector-curvature="0"
id="path240"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 238,40.5 c 3.5,0 7,3.5 7,7"
inkscape:connector-curvature="0"
id="path242"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 245,47.5 0,7"
inkscape:connector-curvature="0"
id="path244"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 245,54.5 c 0,3.5 -3.5,7 -7,7"
inkscape:connector-curvature="0"
id="path246"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,200.5,48.5)"
id="text248"><tspan
x="0 3.7499084 8.9897804 11.979708 14.969635 20.969488 23.959415 26.949343 32.949196"
y="0"
id="tspan250"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(c, 2, 3)</tspan></text>
<path
d="m 219,84.316 c 0,-3.699 0,-9.687 0,-15.57"
inkscape:connector-curvature="0"
id="path252"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 221.449,68.527 -2.449,-7 -2.449,7 4.898,0 z"
inkscape:connector-curvature="0"
id="path254"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 316,61.5 -40,0"
inkscape:connector-curvature="0"
id="path256"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 276,61.5 c -3.5,0 -7,-3.5 -7,-7"
inkscape:connector-curvature="0"
id="path258"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 269,54.5 0,-7"
inkscape:connector-curvature="0"
id="path260"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 269,47.5 c 0,-3.5 3.5,-7 7,-7"
inkscape:connector-curvature="0"
id="path262"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 276,40.5 40,0"
inkscape:connector-curvature="0"
id="path264"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 316,40.5 c 3.5,0 7,3.5 7,7"
inkscape:connector-curvature="0"
id="path266"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 323,47.5 0,7"
inkscape:connector-curvature="0"
id="path268"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 323,54.5 c 0,3.5 -3.5,7 -7,7"
inkscape:connector-curvature="0"
id="path270"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,277,48.5)"
id="text272"><tspan
x="0 3.7499084 9.7397623 12.72969 15.719617 21.719471 24.709396 27.699324 33.699177"
y="0"
id="tspan274"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(d, 3, 4)</tspan></text>
<path
d="m 296,84.316 c 0,-3.699 0,-9.687 0,-15.57"
inkscape:connector-curvature="0"
id="path276"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 298.449,68.527 -2.449,-7 -2.449,7 4.898,0 z"
inkscape:connector-curvature="0"
id="path278"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /></g></g></g></g></g></g></svg>

+ 682
- 0
docs/_static/sppf/sppf_cycle.svg Näytä tiedosto

@@ -0,0 +1,682 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!-- Created with Inkscape (http://www.inkscape.org/) -->

<svg
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#"
xmlns:svg="http://www.w3.org/2000/svg"
xmlns="http://www.w3.org/2000/svg"
xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
version="1.1"
width="1248.75"
height="442.5"
id="svg2"
xml:space="preserve"><metadata
id="metadata8"><rdf:RDF><cc:Work
rdf:about=""><dc:format>image/svg+xml</dc:format><dc:type
rdf:resource="http://purl.org/dc/dcmitype/StillImage" /></cc:Work></rdf:RDF></metadata><defs
id="defs6"><clipPath
id="clipPath16"><path
d="M 0,0 999,0 999,372 0,372 0,0 z"
inkscape:connector-curvature="0"
id="path18" /></clipPath><clipPath
id="clipPath20"><path
d="m 0,0 1077,0 0,432 L 0,432 0,0 z"
inkscape:connector-curvature="0"
id="path22" /></clipPath><clipPath
id="clipPath24"><path
d="m 36,396 1006,0 0,-361 -1006,0 0,361 z"
inkscape:connector-curvature="0"
id="path26" /></clipPath></defs><g
transform="matrix(1.25,0,0,-1.25,0,442.5)"
id="g10"><g
transform="translate(0,-9)"
id="g12"><g
id="g14" /><g
id="g28"><g
clip-path="url(#clipPath16)"
id="g30"><g
transform="translate(-39,-30)"
id="g32"><g
id="g34" /><g
id="g36"><g
clip-path="url(#clipPath20)"
id="g38"><g
id="g40"><path
d="m 36,396 1006,0 0,-361 -1006,0 0,361 z"
inkscape:connector-curvature="0"
id="path42"
style="fill:#ffffff;fill-opacity:1;fill-rule:nonzero;stroke:none" /></g><g
id="g44"><g
clip-path="url(#clipPath24)"
id="g46"><path
d="m 36,396 1006,0 0,-361 -1006,0 0,361 z"
inkscape:connector-curvature="0"
id="path48"
style="fill:none;stroke:#ffffff;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 422,391.5 -40,0"
inkscape:connector-curvature="0"
id="path50"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 382,391.5 c -3.5,0 -7,-3.5 -7,-7"
inkscape:connector-curvature="0"
id="path52"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 375,384.5 0,-7"
inkscape:connector-curvature="0"
id="path54"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 375,377.5 c 0,-3.5 3.5,-7 7,-7"
inkscape:connector-curvature="0"
id="path56"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 382,370.5 40,0"
inkscape:connector-curvature="0"
id="path58"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 422,370.5 c 3.5,0 7,3.5 7,7"
inkscape:connector-curvature="0"
id="path60"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 429,377.5 0,7"
inkscape:connector-curvature="0"
id="path62"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 429,384.5 c 0,3.5 -3.5,7 -7,7"
inkscape:connector-curvature="0"
id="path64"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,382.5,378.5)"
id="text66"><tspan
x="0 3.7499084 10.489744 13.479671 16.469599 22.469452 25.459379 28.449306 34.449158"
y="0"
id="tspan68"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(S, 0, 1)</tspan></text>
<path
d="m 141.91,326 c 0,-8.199 -22.793,-14.848 -50.91,-14.848 -28.117,0 -50.91,6.649 -50.91,14.848 0,8.199 22.793,14.848 50.91,14.848 28.117,0 50.91,-6.649 50.91,-14.848 z"
inkscape:connector-curvature="0"
id="path70"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,63,323.5)"
id="text72"><tspan
x="0 3.7499084 10.489744 13.479671 16.469599 19.459526 27.709324 30.699251 36.689106 42.678959 45.668884 51.668739"
y="0"
id="tspan74"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(S ::= a•,0)</tspan></text>
<path
d="M 374.699,376.789 C 330.242,369.855 239.492,355.363 163,341 c -7.59,-1.426 -15.613,-3.016 -23.441,-4.609"
inkscape:connector-curvature="0"
id="path76"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 139.793,333.938 -7.348,0.988 6.364,3.812 0.984,-4.8 z"
inkscape:connector-curvature="0"
id="path78"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 301.188,326 c 0,-8.199 -26.051,-14.848 -58.188,-14.848 -32.137,0 -58.188,6.649 -58.188,14.848 0,8.199 26.051,14.848 58.188,14.848 32.137,0 58.188,-6.649 58.188,-14.848 z"
inkscape:connector-curvature="0"
id="path80"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,209.5,323.5)"
id="text82"><tspan
x="0 3.7499084 10.489744 13.479671 16.469599 19.459526 27.709324 30.699251 37.439087 40.429012 47.16885 53.168701 56.15863 62.148483"
y="0"
id="tspan84"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(S ::= S S•,1)</tspan></text>
<path
d="m 374.668,371.547 c -24.824,-8.59 -61.801,-21.379 -90.254,-31.223"
inkscape:connector-curvature="0"
id="path86"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 285.164,337.992 -7.418,0.028 5.816,4.605 1.602,-4.633 z"
inkscape:connector-curvature="0"
id="path88"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 460.188,326 c 0,-8.199 -26.051,-14.848 -58.188,-14.848 -32.137,0 -58.188,6.649 -58.188,14.848 0,8.199 26.051,14.848 58.188,14.848 32.137,0 58.188,-6.649 58.188,-14.848 z"
inkscape:connector-curvature="0"
id="path90"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,368.5,323.5)"
id="text92"><tspan
x="0 3.7499084 10.489744 13.479671 16.469599 19.459526 27.709324 30.699251 37.439087 40.429012 47.16885 53.168701 56.15863 62.148483"
y="0"
id="tspan94"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(S ::= S S•,0)</tspan></text>
<path
d="m 389.266,370.395 c -2.594,-6.274 -3.516,-14.465 -2.762,-22.098"
inkscape:connector-curvature="0"
id="path96"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 389,348.258 -1.188,-7.32 -3.636,6.464 4.824,0.856 z"
inkscape:connector-curvature="0"
id="path98"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 111,281.5 -40,0"
inkscape:connector-curvature="0"
id="path100"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 71,281.5 c -3.5,0 -7,-3.5 -7,-7"
inkscape:connector-curvature="0"
id="path102"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 64,274.5 0,-7"
inkscape:connector-curvature="0"
id="path104"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 64,267.5 c 0,-3.5 3.5,-7 7,-7"
inkscape:connector-curvature="0"
id="path106"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 71,260.5 40,0"
inkscape:connector-curvature="0"
id="path108"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 111,260.5 c 3.5,0 7,3.5 7,7"
inkscape:connector-curvature="0"
id="path110"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 118,267.5 0,7"
inkscape:connector-curvature="0"
id="path112"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 118,274.5 c 0,3.5 -3.5,7 -7,7"
inkscape:connector-curvature="0"
id="path114"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,72,268.5)"
id="text116"><tspan
x="0 3.7499084 9.7397623 12.72969 15.719617 21.719471 24.709396 27.699324 33.699177"
y="0"
id="tspan118"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(a, 0, 1)</tspan></text>
<path
d="m 91,310.973 c 0,-6.821 0,-14.942 0,-22.075"
inkscape:connector-curvature="0"
id="path120"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 93.449,288.652 -2.449,-7 -2.449,7 4.898,0 z"
inkscape:connector-curvature="0"
id="path122"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 211,281.5 98,0 0,-21 -98,0 0,21 z"
inkscape:connector-curvature="0"
id="path124"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,219,268.5)"
id="text126"><tspan
x="0 3.7499084 10.489744 13.479671 16.469599 19.459526 27.709324 30.699251 37.439087 40.429012 46.418869 49.408794 56.15863 59.148556 62.138485 68.138336 71.128265 77.12812"
y="0"
id="tspan128"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(S ::= S • S ,0,1)</tspan></text>
<path
d="m 247.645,310.973 c 2.152,-6.969 4.726,-15.285 6.964,-22.528"
inkscape:connector-curvature="0"
id="path130"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 256.98,289.066 -0.273,-7.414 -4.406,5.965 4.679,1.449 z"
inkscape:connector-curvature="0"
id="path132"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 637,281.5 -40,0"
inkscape:connector-curvature="0"
id="path134"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 597,281.5 c -3.5,0 -7,-3.5 -7,-7"
inkscape:connector-curvature="0"
id="path136"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 590,274.5 0,-7"
inkscape:connector-curvature="0"
id="path138"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 590,267.5 c 0,-3.5 3.5,-7 7,-7"
inkscape:connector-curvature="0"
id="path140"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 597,260.5 40,0"
inkscape:connector-curvature="0"
id="path142"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 637,260.5 c 3.5,0 7,3.5 7,7"
inkscape:connector-curvature="0"
id="path144"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 644,267.5 0,7"
inkscape:connector-curvature="0"
id="path146"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 644,274.5 c 0,3.5 -3.5,7 -7,7"
inkscape:connector-curvature="0"
id="path148"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,597.5,268.5)"
id="text150"><tspan
x="0 3.7499084 10.489744 13.479671 16.469599 22.469452 25.459379 28.449306 34.449158"
y="0"
id="tspan152"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(S, 1, 1)</tspan></text>
<path
d="M 289.297,316.785 C 300.016,314.77 311.391,312.727 322,311 415.98,295.719 527.473,281.715 582.602,275.066"
inkscape:connector-curvature="0"
id="path154"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 583.02,277.484 6.66,-3.269 -7.242,-1.598 0.582,4.867 z"
inkscape:connector-curvature="0"
id="path156"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 416.746,340.523 c 2.055,7.036 2.305,15.547 0.75,22.942"
inkscape:connector-curvature="0"
id="path158"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 415.082,362.984 0.262,7.411 4.418,-5.957 -4.68,-1.454 z"
inkscape:connector-curvature="0"
id="path160"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 819,281.5 98,0 0,-21 -98,0 0,21 z"
inkscape:connector-curvature="0"
id="path162"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,827,268.5)"
id="text164"><tspan
x="0 3.7499084 10.489744 13.479671 16.469599 19.459526 27.709324 30.699251 37.439087 40.429012 46.418869 49.408794 56.15863 59.148556 62.138485 68.138336 71.128265 77.12812"
y="0"
id="tspan166"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(S ::= S • S ,0,0)</tspan></text>
<path
d="m 455.004,319.746 c 88.605,-10.461 266.012,-31.398 356.742,-42.105"
inkscape:connector-curvature="0"
id="path168"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 812.258,280.047 6.664,-3.254 -7.238,-1.613 0.574,4.867 z"
inkscape:connector-curvature="0"
id="path170"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 339.934,216 c 0,-8.199 -28.176,-14.848 -62.934,-14.848 -34.758,0 -62.934,6.649 -62.934,14.848 0,8.199 28.176,14.848 62.934,14.848 34.758,0 62.934,-6.649 62.934,-14.848 z"
inkscape:connector-curvature="0"
id="path172"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,240.5,213.5)"
id="text174"><tspan
x="0 3.7499084 10.489744 13.479671 16.469599 19.459526 27.709324 30.699251 37.439087 40.429012 46.418869 49.408794 56.15863 59.148556 62.138485 68.138336"
y="0"
id="tspan176"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(S ::= S • S ,0)</tspan></text>
<path
d="m 263.277,260.395 c 1.95,-6.309 4.5,-14.555 6.871,-22.227"
inkscape:connector-curvature="0"
id="path178"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 272.527,238.77 -0.273,-7.415 -4.41,5.965 4.683,1.45 z"
inkscape:connector-curvature="0"
id="path180"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 516.203,216 c 0,-8.199 -22.476,-14.848 -50.203,-14.848 -27.727,0 -50.203,6.649 -50.203,14.848 0,8.199 22.476,14.848 50.203,14.848 27.727,0 50.203,-6.649 50.203,-14.848 z"
inkscape:connector-curvature="0"
id="path182"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,438.5,213.5)"
id="text184"><tspan
x="0 3.7499084 10.489744 13.479671 16.469599 19.459526 27.709324"
y="0"
id="tspan186"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(S ::= </tspan></text>
<text
transform="matrix(1,0,0,-1,469.19925,213.5)"
id="text188"><tspan
x="0"
y="0"
id="tspan190"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">ε</tspan></text>
<text
transform="matrix(1,0,0,-1,474.43912,213.5)"
id="text192"><tspan
x="0 5.9898539 8.9897804 14.979634"
y="0"
id="tspan194"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">•,1)</tspan></text>
<path
d="m 589.656,261.039 c -23.82,-8.676 -58.609,-21.348 -85.226,-31.043"
inkscape:connector-curvature="0"
id="path196"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 505.266,227.695 -7.414,-0.093 5.738,4.699 1.676,-4.606 z"
inkscape:connector-curvature="0"
id="path198"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 675.188,216 c 0,-8.199 -26.051,-14.848 -58.188,-14.848 -32.137,0 -58.188,6.649 -58.188,14.848 0,8.199 26.051,14.848 58.188,14.848 32.137,0 58.188,-6.649 58.188,-14.848 z"
inkscape:connector-curvature="0"
id="path200"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,583.5,213.5)"
id="text202"><tspan
x="0 3.7499084 10.489744 13.479671 16.469599 19.459526 27.709324 30.699251 37.439087 40.429012 47.16885 53.168701 56.15863 62.148483"
y="0"
id="tspan204"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(S ::= S S•,1)</tspan></text>
<path
d="m 604.266,260.395 c -2.594,-6.274 -3.516,-14.465 -2.762,-22.098"
inkscape:connector-curvature="0"
id="path206"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 604,238.258 -1.188,-7.32 -3.636,6.464 4.824,0.856 z"
inkscape:connector-curvature="0"
id="path208"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 329.922,224.246 c 48.89,10.731 118.82,34.688 152.078,86.754 7.176,11.238 7.008,18.656 0,30 -10,16.18 -28.75,26.035 -45.582,31.914"
inkscape:connector-curvature="0"
id="path210"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 435.258,370.711 -5.906,4.484 7.414,0.18 -1.508,-4.664 z"
inkscape:connector-curvature="0"
id="path212"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 485,171.5 -38,0"
inkscape:connector-curvature="0"
id="path214"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 447,171.5 c -3.5,0 -7,-3.5 -7,-7"
inkscape:connector-curvature="0"
id="path216"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 440,164.5 0,-7"
inkscape:connector-curvature="0"
id="path218"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 440,157.5 c 0,-3.5 3.5,-7 7,-7"
inkscape:connector-curvature="0"
id="path220"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 447,150.5 38,0"
inkscape:connector-curvature="0"
id="path222"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 485,150.5 c 3.5,0 7,3.5 7,7"
inkscape:connector-curvature="0"
id="path224"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 492,157.5 0,7"
inkscape:connector-curvature="0"
id="path226"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 492,164.5 c 0,3.5 -3.5,7 -7,7"
inkscape:connector-curvature="0"
id="path228"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,447.5,158.5)"
id="text230"><tspan
x="0"
y="0"
id="tspan232"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(</tspan></text>
<text
transform="matrix(1,0,0,-1,451.24991,158.5)"
id="text234"><tspan
x="0"
y="0"
id="tspan236"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">ε</tspan></text>
<text
transform="matrix(1,0,0,-1,456.48978,158.5)"
id="text238"><tspan
x="0 2.9899271 5.9898539 11.979708 14.979634 17.969561 23.959415"
y="0"
id="tspan240"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">, 1, 1)</tspan></text>
<path
d="m 466,200.973 c 0,-6.821 0,-14.942 0,-22.075"
inkscape:connector-curvature="0"
id="path242"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 468.449,178.652 -2.449,-7 -2.449,7 4.898,0 z"
inkscape:connector-curvature="0"
id="path244"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 631.746,230.523 c 2.055,7.036 2.305,15.547 0.75,22.942"
inkscape:connector-curvature="0"
id="path246"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 630.082,252.984 0.262,7.411 4.418,-5.957 -4.68,-1.454 z"
inkscape:connector-curvature="0"
id="path248"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 572,171.5 98,0 0,-21 -98,0 0,21 z"
inkscape:connector-curvature="0"
id="path250"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,580,158.5)"
id="text252"><tspan
x="0 3.7499084 10.489744 13.479671 16.469599 19.459526 27.709324 30.699251 37.439087 40.429012 46.418869 49.408794 56.15863 59.148556 62.138485 68.138336 71.128265 77.12812"
y="0"
id="tspan254"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(S ::= S • S ,1,1)</tspan></text>
<path
d="m 618.094,200.973 c 0.496,-6.821 1.086,-14.942 1.605,-22.075"
inkscape:connector-curvature="0"
id="path256"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 622.16,178.812 -1.933,-7.16 -2.954,6.805 4.887,0.355 z"
inkscape:connector-curvature="0"
id="path258"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 700.934,106 c 0,-8.199 -28.176,-14.848 -62.934,-14.848 -34.758,0 -62.934,6.649 -62.934,14.848 0,8.199 28.176,14.848 62.934,14.848 34.758,0 62.934,-6.649 62.934,-14.848 z"
inkscape:connector-curvature="0"
id="path260"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,601.5,103.5)"
id="text262"><tspan
x="0 3.7499084 10.489744 13.479671 16.469599 19.459526 27.709324 30.699251 37.439087 40.429012 46.418869 49.408794 56.15863 59.148556 62.138485 68.138336"
y="0"
id="tspan264"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(S ::= S • S ,1)</tspan></text>
<path
d="m 624.277,150.395 c 1.95,-6.309 4.5,-14.555 6.871,-22.227"
inkscape:connector-curvature="0"
id="path266"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 633.527,128.77 -0.273,-7.415 -4.41,5.965 4.683,1.45 z"
inkscape:connector-curvature="0"
id="path268"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 662.836,119.992 c 10.824,7.453 22.531,17.645 29.164,30.008 3.754,6.996 11.863,69.898 5,81 -10,16.18 -28.75,26.035 -45.582,31.914"
inkscape:connector-curvature="0"
id="path270"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 650.258,260.711 -5.906,4.484 7.414,0.18 -1.508,-4.664 z"
inkscape:connector-curvature="0"
id="path272"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 930.934,216 c 0,-8.199 -28.176,-14.848 -62.934,-14.848 -34.758,0 -62.934,6.649 -62.934,14.848 0,8.199 28.176,14.848 62.934,14.848 34.758,0 62.934,-6.649 62.934,-14.848 z"
inkscape:connector-curvature="0"
id="path274"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,831.5,213.5)"
id="text276"><tspan
x="0 3.7499084 10.489744 13.479671 16.469599 19.459526 27.709324 30.699251 37.439087 40.429012 46.418869 49.408794 56.15863 59.148556 62.138485 68.138336"
y="0"
id="tspan278"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(S ::= S • S ,0)</tspan></text>
<path
d="m 868,260.395 c 0,-6.18 0,-14.219 0,-21.758"
inkscape:connector-curvature="0"
id="path280"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 870.449,238.355 -2.449,-7 -2.449,7 4.898,0 z"
inkscape:connector-curvature="0"
id="path282"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 906,171.5 -40,0"
inkscape:connector-curvature="0"
id="path284"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 866,171.5 c -3.5,0 -7,-3.5 -7,-7"
inkscape:connector-curvature="0"
id="path286"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 859,164.5 0,-7"
inkscape:connector-curvature="0"
id="path288"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 859,157.5 c 0,-3.5 3.5,-7 7,-7"
inkscape:connector-curvature="0"
id="path290"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 866,150.5 40,0"
inkscape:connector-curvature="0"
id="path292"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 906,150.5 c 3.5,0 7,3.5 7,7"
inkscape:connector-curvature="0"
id="path294"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 913,157.5 0,7"
inkscape:connector-curvature="0"
id="path296"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 913,164.5 c 0,3.5 -3.5,7 -7,7"
inkscape:connector-curvature="0"
id="path298"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,866.5,158.5)"
id="text300"><tspan
x="0 3.7499084 10.489744 13.479671 16.469599 22.469452 25.459379 28.449306 34.449158"
y="0"
id="tspan302"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(S, 0, 0)</tspan></text>
<path
d="m 872.918,200.973 c 2.281,-6.969 5.004,-15.285 7.371,-22.528"
inkscape:connector-curvature="0"
id="path304"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 882.664,179.066 -0.152,-7.414 -4.504,5.891 4.656,1.523 z"
inkscape:connector-curvature="0"
id="path306"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 878.203,106 c 0,-8.199 -22.476,-14.848 -50.203,-14.848 -27.727,0 -50.203,6.649 -50.203,14.848 0,8.199 22.476,14.848 50.203,14.848 27.727,0 50.203,-6.649 50.203,-14.848 z"
inkscape:connector-curvature="0"
id="path308"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,800.5,103.5)"
id="text310"><tspan
x="0 3.7499084 10.489744 13.479671 16.469599 19.459526 27.709324"
y="0"
id="tspan312"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(S ::= </tspan></text>
<text
transform="matrix(1,0,0,-1,831.19925,103.5)"
id="text314"><tspan
x="0"
y="0"
id="tspan316"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">ε</tspan></text>
<text
transform="matrix(1,0,0,-1,836.43912,103.5)"
id="text318"><tspan
x="0 5.9898539 8.9897804 14.979634"
y="0"
id="tspan320"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">•,0)</tspan></text>
<path
d="m 874.816,150.395 c -7.414,-7.032 -17.367,-16.469 -26.187,-24.833"
inkscape:connector-curvature="0"
id="path322"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 850.078,123.562 -6.762,-3.039 3.391,6.594 3.371,-3.555 z"
inkscape:connector-curvature="0"
id="path324"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 1037.188,106 c 0,-8.199 -26.051,-14.848 -58.188,-14.848 -32.137,0 -58.188,6.649 -58.188,14.848 0,8.199 26.051,14.848 58.188,14.848 32.137,0 58.188,-6.649 58.188,-14.848 z"
inkscape:connector-curvature="0"
id="path326"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,945.5,103.5)"
id="text328"><tspan
x="0 3.7499084 10.489744 13.479671 16.469599 19.459526 27.709324 30.699251 37.439087 40.429012 47.16885 53.168701 56.15863 62.148483"
y="0"
id="tspan330"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(S ::= S S•,0)</tspan></text>
<path
d="m 891.195,150.395 c 10.446,-8.172 29.223,-19.598 47.098,-28.809"
inkscape:connector-curvature="0"
id="path332"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 939.668,123.637 5.152,-5.336 -7.351,0.957 2.199,4.379 z"
inkscape:connector-curvature="0"
id="path334"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 847,61.5 -38,0"
inkscape:connector-curvature="0"
id="path336"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 809,61.5 c -3.5,0 -7,-3.5 -7,-7"
inkscape:connector-curvature="0"
id="path338"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 802,54.5 0,-7"
inkscape:connector-curvature="0"
id="path340"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 802,47.5 c 0,-3.5 3.5,-7 7,-7"
inkscape:connector-curvature="0"
id="path342"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 809,40.5 38,0"
inkscape:connector-curvature="0"
id="path344"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 847,40.5 c 3.5,0 7,3.5 7,7"
inkscape:connector-curvature="0"
id="path346"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 854,47.5 0,7"
inkscape:connector-curvature="0"
id="path348"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 854,54.5 c 0,3.5 -3.5,7 -7,7"
inkscape:connector-curvature="0"
id="path350"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><text
transform="matrix(1,0,0,-1,809.5,48.5)"
id="text352"><tspan
x="0"
y="0"
id="tspan354"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">(</tspan></text>
<text
transform="matrix(1,0,0,-1,813.24991,48.5)"
id="text356"><tspan
x="0"
y="0"
id="tspan358"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">ε</tspan></text>
<text
transform="matrix(1,0,0,-1,818.48978,48.5)"
id="text360"><tspan
x="0 2.9899271 5.9898539 11.979708 14.979634 17.969561 23.959415"
y="0"
id="tspan362"
style="font-size:9.99975586px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVuSans">, 0, 0)</tspan></text>
<path
d="m 828,90.973 c 0,-6.821 0,-14.942 0,-22.075"
inkscape:connector-curvature="0"
id="path364"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 830.449,68.652 -2.449,-7 -2.449,7 4.898,0 z"
inkscape:connector-curvature="0"
id="path366"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="M 979.949,121.254 C 980.715,146.762 978.676,198.461 953,231 c -9.465,11.992 -23.383,20.566 -37.227,26.613"
inkscape:connector-curvature="0"
id="path368"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="M 914.551,255.465 909,260.383 916.406,260 914.551,255.465 z"
inkscape:connector-curvature="0"
id="path370"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 968.672,120.891 c -12.512,8.875 -31.633,19.984 -48.789,28.261"
inkscape:connector-curvature="0"
id="path372"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /><path
d="m 918.48,147.102 -5.304,5.183 7.379,-0.742 -2.075,-4.441 z"
inkscape:connector-curvature="0"
id="path374"
style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none" /></g></g></g></g></g></g></g></g></g></svg>

Kirjoita Esikatselu
Ladataan…
Peruuta
Tallenna