gitmirror/docs/_static/sppf/sppf_cycle.svg

<?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>