<?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:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
id="svg3371"
version="1.1"
inkscape:version="0.91 r"
xml:space="preserve"
width="1052.3623"
height="744.09448"
viewBox="0 0 1052.3623 744.09448"
id="metadata3377"><rdf:RDF><cc:Work
id="defs3375" /><sodipodi:namedview
pagecolor="#ffffff"
bordercolor="#666666"
borderopacity="1"
objecttolerance="10"
gridtolerance="10"
guidetolerance="10"
inkscape:pageopacity="0"
inkscape:pageshadow="2"
inkscape:window-width="1920"
inkscape:window-height="1056"
id="namedview3373"
showgrid="false"
inkscape:zoom="1.1732381"
inkscape:cx="642.69643"
inkscape:cy="379.82649"
inkscape:window-x="0"
inkscape:window-y="24"
inkscape:window-maximized="1"
inkscape:current-layer="g3379" /><g
id="g3379"
inkscape:groupmode="layer"
inkscape:label="hets2010-abstract"
transform="matrix(1.25,0,0,-1.25,0,744.0945)"><path
d="m 261.8836,68.8941 312.0417,49.2962"
style="fill:none;stroke:#ff0000;stroke-width:1.00010002;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
id="path3381"
inkscape:connector-curvature="0" /><path
d="m 154.26246,162.08327 -0.4592,93.16697 2.8687,0.0112 0.4592,-93.16707 -2.8687,-0.0111 z m 1.5149,-16.3501 -8.8688,17.21615 17.5618,0.0835 -8.693,-17.29968 z"
style="fill:#1f1917;fill-opacity:1;fill-rule:nonzero;stroke:none"
id="path3383"
inkscape:connector-curvature="0" /><path
d="M 264.2349,192.1714 573.5894,139.6885"
style="fill:none;stroke:#ff0000;stroke-width:1.00010002;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
id="path3389"
inkscape:connector-curvature="0" /><path
d="M 176.383,300.8271 638.2772,274.369"
style="fill:none;stroke:#ff0000;stroke-width:1.00010002;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
id="path3391"
inkscape:connector-curvature="0" /><path
d="M 192.0104,369.9581 621.5868,341.3877"
style="fill:none;stroke:#ff0000;stroke-width:1.00010002;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
id="path3393"
inkscape:connector-curvature="0" /><path
d="M 170.3696,436.9796 646.6904,409.0277"
style="fill:none;stroke:#ff0000;stroke-width:1.00010002;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
id="path3523"
inkscape:connector-curvature="0" /><path
d="m 573.2487,114.7116 7.3043,6.0253 -9.085,2.3519 1.7807,-8.3772 z"
style="fill:#ff0000;fill-opacity:1;fill-rule:evenodd;stroke:none"
id="path3549"
inkscape:connector-curvature="0" /><path
d="m 572.6395,133.4146 8.682,3.7783 -8.0847,4.765 -0.5973,-8.5433 z"
style="fill:#ff0000;fill-opacity:1;fill-rule:evenodd;stroke:none"
id="path3551"
inkscape:connector-curvature="0" /><path
d="m 148.72531,239.79447 13.9283,0 0,-70.6485 -13.9283,0 0,70.6485 z"
style="fill:#ffffff;fill-opacity:1;fill-rule:evenodd;stroke:#ffffff;stroke-width:1.44000006;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
id="path3553"
inkscape:connector-curvature="0" /><path
d="m 771.7323,36.9751 -185.315,0 c -10.7186,0 -19.4882,10.9089 -19.4882,24.2425 l 0,132.2322 c 0,13.3336 8.7696,24.2425 19.4882,24.2425 l 185.315,0 c 10.7186,0 19.4882,-10.9089 19.4882,-24.2425 l 0,-132.2322 c 0,-13.3336 -8.7696,-24.2425 -19.4882,-24.2425 z"
style="fill:none;stroke:#1f1917;stroke-width:2.0000999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
id="path3565"
inkscape:connector-curvature="0" /><path
d="m 287.3721,402.5548 -19.4981,0.0613 0,2.8686 19.4981,-0.0612 0,-2.8687 z m 16.6436,1.3822 -17.5895,-8.7287 0.0553,17.5617 17.5342,-8.833 z"
style="fill:#1f1917;fill-opacity:1;fill-rule:nonzero;stroke:none"
id="path3567"
inkscape:connector-curvature="0" /><path
d="m 550.2645,403.1802 -19.8538,0.3855 0.0448,2.8686 19.8538,-0.3855 -0.0448,-2.8686 z m 16.6646,1.1111 -17.731,-8.4421 0.341,17.5603 17.39,-9.1182 z"
style="fill:#1f1917;fill-opacity:1;fill-rule:nonzero;stroke:none"
id="path3569"
inkscape:connector-curvature="0" /><path
d="m 549.8651,165.9713 -19.0777,0 0,2.88 19.0777,0 0,-2.88 z m 16.7097,1.44 -17.6315,-8.8185 0,17.6315 17.6315,-8.813 z"
style="fill:#1f1917;fill-opacity:1;fill-rule:nonzero;stroke:none"
id="path3571"
inkscape:connector-curvature="0" /><path
d="m 597.4016,460.1191 163.3464,0 c 16.7599,0 30.4725,-11.6104 30.4725,-25.8006 l 0,-179.4048 c 0,-14.1902 -13.7126,-25.8006 -30.4725,-25.8006 l -163.3464,0 c -16.7599,0 -30.4725,11.6104 -30.4725,25.8006 l 0,179.4048 c 0,14.1902 13.7126,25.8006 30.4725,25.8006 z"
style="fill:none;stroke:#1f1917;stroke-width:2.0000999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
id="path3573"
inkscape:connector-curvature="0" /><path
d="m 499.7197,34.3397 -164.4095,0 c -16.5651,0 -30.1181,14.2668 -30.1181,31.7044 l 0,389.7771 c 0,17.4376 13.553,31.7044 30.1181,31.7044 l 164.4095,0 c 16.5651,0 30.1181,-14.2668 30.1181,-31.7044 l 0,-389.7771 c 0,-17.4376 -13.553,-31.7044 -30.1181,-31.7044 z"
style="fill:#ffffff;fill-opacity:1;fill-rule:evenodd;stroke:#1f1917;stroke-width:2.0000999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
id="path3575"
inkscape:connector-curvature="0" /><text
transform="matrix(1,0,0,-1,332.2851,425.5654)"
style="font-variant:normal;font-weight:normal;font-size:20px;font-family:'Times New Roman';-inkscape-font-specification:TimesNewRomanPSMT;writing-mode:lr-tb;fill:#1f1917;fill-opacity:1;fill-rule:nonzero;stroke:none"
id="text3655"><tspan
x="0 12.22"
y="0"
sodipodi:role="line"
id="tspan3657">L1</tspan></text>
<text
transform="matrix(1,0,0,-1,331.4801,346.3654)"
style="font-variant:normal;font-weight:normal;font-size:20px;font-family:'Times New Roman';-inkscape-font-specification:TimesNewRomanPSMT;writing-mode:lr-tb;fill:#1f1917;fill-opacity:1;fill-rule:nonzero;stroke:none"
id="text3659"><tspan
x="0"
y="0"
id="tspan3661">L</tspan></text>
<text
transform="matrix(1,0,0,-1,343.6966,346.3654)"
style="font-variant:normal;font-weight:normal;font-size:20px;font-family:Symbol;-inkscape-font-specification:Symbol;writing-mode:lr-tb;fill:#1f1917;fill-opacity:1;fill-rule:nonzero;stroke:none"
id="text3663"><tspan
x="0"
y="0"
id="tspan3665">2</tspan></text>
<path
d="m 340.4957,380.6396 -0.1508,34.5045 1.9921,0.008 0.1508,-34.5044 -1.9921,-0.008 z m 1.0465,-11.5546 -6.1534,12.1695 12.196,0.0532 -6.0426,-12.2227 z"
style="fill:#1f1917;fill-opacity:1;fill-rule:nonzero;stroke:none"
id="path3667"
inkscape:connector-curvature="0" /><text
transform="matrix(1,0,0,-1,411.6552,425.5654)"
style="font-variant:normal;font-weight:normal;font-size:20px;font-family:'Times New Roman';-inkscape-font-specification:TimesNewRomanPSMT;writing-mode:lr-tb;fill:#1f1917;fill-opacity:1;fill-rule:nonzero;stroke:none"
id="text3669"><tspan
x="0 12.22"
y="0"
sodipodi:role="line"
id="tspan3671">L3</tspan></text>
<text
transform="matrix(1,0,0,-1,410.8501,346.3654)"
style="font-variant:normal;font-weight:normal;font-size:20px;font-family:'Times New Roman';-inkscape-font-specification:TimesNewRomanPSMT;writing-mode:lr-tb;fill:#1f1917;fill-opacity:1;fill-rule:nonzero;stroke:none"
id="text3673"><tspan
x="0 12.22"
y="0"
sodipodi:role="line"
id="tspan3675">L4</tspan></text>
<path
d="m 419.6957,380.6396 -0.1508,34.5045 1.9921,0.008 0.1508,-34.5044 -1.9921,-0.008 z m 1.0465,-11.5546 -6.1534,12.1695 12.196,0.0532 -6.0426,-12.2227 z"
style="fill:#1f1917;fill-opacity:1;fill-rule:nonzero;stroke:none"
id="path3677"
inkscape:connector-curvature="0" /><text
transform="matrix(1,0,0,-1,491.0253,425.5654)"
style="font-variant:normal;font-weight:normal;font-size:20px;font-family:'Times New Roman';-inkscape-font-specification:TimesNewRomanPSMT;writing-mode:lr-tb;fill:#1f1917;fill-opacity:1;fill-rule:nonzero;stroke:none"
id="text3679"><tspan
x="0 12.22"
y="0"
sodipodi:role="line"
id="tspan3681">L5</tspan></text>
<text
transform="matrix(1,0,0,-1,490.2202,346.3654)"
style="font-variant:normal;font-weight:normal;font-size:20px;font-family:'Times New Roman';-inkscape-font-specification:TimesNewRomanPSMT;writing-mode:lr-tb;fill:#1f1917;fill-opacity:1;fill-rule:nonzero;stroke:none"
id="text3683"><tspan
x="0 12.22"
y="0"
sodipodi:role="line"
id="tspan3685">L6</tspan></text>
<path
d="m 498.8957,380.6396 -0.1508,34.5045 1.9921,0.008 0.1508,-34.5044 -1.9921,-0.008 z m 1.0465,-11.5546 -6.1534,12.1695 12.196,0.0532 -6.0426,-12.2227 z"
style="fill:#1f1917;fill-opacity:1;fill-rule:nonzero;stroke:none"
id="path3687"
inkscape:connector-curvature="0" /><path
d="m 419.6957,380.6396 -0.1508,34.5045 1.9921,0.008 0.1508,-34.5044 -1.9921,-0.008 z m 1.0465,-11.5546 -6.1534,12.1695 12.196,0.0532 -6.0426,-12.2227 z"
style="fill:#1f1917;fill-opacity:1;fill-rule:nonzero;stroke:none"
id="path3689"
inkscape:connector-curvature="0" /><path
d="m 394.8627,430.429 -34.5044,-0.1508 -0.008,1.9922 34.5044,0.1508 0.008,-1.9922 z m 11.5546,1.0466 -12.1694,-6.1535 -0.0533,12.1961 12.2227,-6.0426 z"
style="fill:#1f1917;fill-opacity:1;fill-rule:nonzero;stroke:none"
id="path3691"
inkscape:connector-curvature="0" /><path
d="m 474.0627,430.429 -34.5044,-0.1508 -0.008,1.9922 34.5044,0.1508 0.008,-1.9922 z m 11.5546,1.0466 -12.1694,-6.1535 -0.0533,12.1961 12.2227,-6.0426 z"
style="fill:#1f1917;fill-opacity:1;fill-rule:nonzero;stroke:none"
id="path3693"
inkscape:connector-curvature="0" /><path
d="m 394.8627,351.229 -34.5044,-0.1508 -0.008,1.9922 34.5044,0.1508 0.008,-1.9922 z m 11.5546,1.0466 -12.1694,-6.1535 -0.0533,12.1961 12.2227,-6.0426 z"
style="fill:#1f1917;fill-opacity:1;fill-rule:nonzero;stroke:none"
id="path3695"
inkscape:connector-curvature="0" /><path
d="m 475.7111,372.255 -42.7368,45.4266 1.453,1.3675 42.7368,-45.4266 -1.453,-1.3675 z m 8.659,-7.7479 -12.82,4.7103 8.8968,8.3702 3.9232,-13.0805 z"
style="fill:#1f1917;fill-opacity:1;fill-rule:nonzero;stroke:none"
id="path3697"
inkscape:connector-curvature="0" /><path
d="m 395.3511,399.1501 4.2812,12.8696 -12.6879,-4.4628 8.4067,-8.4068 z"
style="fill:#1f1917;fill-opacity:1;fill-rule:evenodd;stroke:none"
id="path3699"
inkscape:connector-curvature="0" /><path
d="m 365.544,381.4662 26.5867,26.5864"
style="fill:none;stroke:#1f1917;stroke-width:1.44000006;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
id="path3701"
inkscape:connector-curvature="0" /><path
d="m 369.0519,377.9586 26.5864,26.5864"
style="fill:none;stroke:#1f1917;stroke-width:1.44000006;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
id="path3703"
inkscape:connector-curvature="0" /><path
d="m 469.5174,409.9297 -4.2812,-12.8695 12.6879,4.4628 -8.4067,8.4067 z"
style="fill:#1f1917;fill-opacity:1;fill-rule:evenodd;stroke:none"
id="path3705"
inkscape:connector-curvature="0" /><path
d="M 491.1024,419.074 472.7378,401.0272"
style="fill:none;stroke:#1f1917;stroke-width:1.44000006;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
id="path3707"
inkscape:connector-curvature="0" /><path
d="M 486.8501,422.6173 469.2302,404.5348"
style="fill:none;stroke:#1f1917;stroke-width:1.44000006;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
id="path3709"
inkscape:connector-curvature="0" /><path
d="m 148.72531,141.13857 13.9283,0 0,-70.648396 -13.9283,0 0,70.648396 z"
style="fill:#ffffff;fill-opacity:1;fill-rule:evenodd;stroke:#ffffff;stroke-width:1.44000006;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
id="path3711"
inkscape:connector-curvature="0" /><text
x="606.25165"
y="-503.01089"
id="text3834"
transform="scale(1,-1)"
style="font-size:11.44110394px"><tspan
font-size="24.0000"
id="tspan3836"
style="font-size:22.88220787px;font-family:Arial;fill:#1b1918">Tools for DOL</tspan></text>
<text
x="650.6203"
y="-426.85416"
id="text3880"
transform="scale(0.97301072,-1.0277379)"
style="font-size:11.85614014px"><tspan
font-size="13.0000"
id="tspan3882"
style="font-size:12.84415054px;font-family:Arial;fill:#102a83">DOL text, native text</tspan></text>
<g
id="g4286"
transform="matrix(1.2414957,0,0,1.2414957,-76.279952,-91.735192)"><text
style="font-size:9.60000038px"
transform="scale(1,-1)"
id="text3970"
y="-286.38"
x="318.96906"><tspan
style="font-size:19.20000076px;font-family:Arial;fill:#1b1918"
id="tspan3972"
font-size="24.0000">Grothendieck logic</tspan></text>
<text
style="font-size:9.60000038px"
transform="scale(1,-1)"
id="text3974"
y="-263.44843"
x="314.84747"><tspan
style="font-size:16.79999924px;font-family:Arial;fill:#1b1918"
id="tspan3976"
font-size="21.0000">(Flattened logic graph)</tspan></text>
<text
style="font-size:9.60000038px"
transform="scale(1,-1)"
id="text3978"
y="-239.66162"
x="374.29288"><tspan
style="font-size:16px;font-family:'Times New Roman';fill:#1b1918"
id="tspan3980"
font-size="20.0000">(</tspan><tspan
style="font-size:16px;font-family:Symbol;fill:#1b1918"
id="tspan3982"
font-size="20.0000">Σ</tspan><tspan
style="font-size:16px;font-family:'Times New Roman';fill:#1b1918"
id="tspan3984"
font-size="20.0000">1,L1)</tspan></text>
<text
style="font-size:9.60000038px"
transform="scale(1,-1)"
id="text3986"
y="-124.46161"
x="374.29288"><tspan
style="font-size:16px;font-family:'Times New Roman';fill:#1b1918"
id="tspan3988"
font-size="20.0000">(</tspan><tspan
style="font-size:16px;font-family:Symbol;fill:#1b1918"
id="tspan3990"
font-size="20.0000">Σ2</tspan><tspan
style="font-size:16px;font-family:'Times New Roman';fill:#1b1918"
id="tspan3992"
font-size="20.0000">,L2)</tspan></text>
<path
inkscape:connector-curvature="0"
id="path3994"
style="fill:none;stroke:#1b1918;stroke-width:1.60007989;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none"
d="m 398.54022,236.65376 0.0726,-91.29352" /><text
style="font-size:9.60000038px"
transform="scale(1,-1)"
id="text3996"
y="-216.62161"
x="328.21289"><tspan
style="font-size:16px;font-family:'Times New Roman';fill:#1b1918"
id="tspan3998"
font-size="20.0000" /><tspan
style="font-size:16px;font-family:Symbol;fill:#1b1918"
id="tspan4000"
font-size="20.0000">Φ</tspan><tspan
style="font-size:16px;font-family:'Times New Roman';fill:#1b1918"
id="tspan4002"
font-size="20.0000">(</tspan><tspan
style="font-size:16px;font-family:Symbol;fill:#1b1918"
id="tspan4004"
font-size="20.0000">Σ</tspan><tspan
style="font-size:16px;font-family:'Times New Roman';fill:#1b1918"
id="tspan4006"
font-size="20.0000">1)</tspan></text>
<text
style="font-size:9.60000038px"
transform="scale(1,-1)"
id="text4008"
y="-156.68298"
x="339.62433"><tspan
style="font-size:16px;font-family:Symbol;fill:#1b1918"
id="tspan4010"
font-size="20.0000">Σ2</tspan></text>
<path
inkscape:connector-curvature="0"
id="path4012"
style="fill:none;stroke:#1b1918;stroke-width:1.60007989;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none"
d="m 347.92975,211.70904 0.16104,-36.85032" /><text
style="font-size:9.60000038px"
transform="scale(1,-1)"
id="text4014"
y="-220.04297"
x="420.37289"><tspan
style="font-size:16px;font-family:'Times New Roman';fill:#1b1918"
id="tspan4016"
font-size="20.0000">L1</tspan></text>
<text
style="font-size:9.60000038px"
transform="scale(1,-1)"
id="text4018"
y="-156.68298"
x="419.73026"><tspan
style="font-size:16px;font-family:Symbol;fill:#1b1918"
id="tspan4020"
font-size="20.0000" /><tspan
style="font-size:16px;font-family:'Times New Roman';fill:#1b1918"
id="tspan4022"
font-size="20.0000">L</tspan><tspan
style="font-size:16px;font-family:'Times New Roman';fill:#1b1918"
id="tspan4024"
font-size="20.0000">2</tspan></text>
<path
inkscape:connector-curvature="0"
id="path4026"
style="fill:none;stroke:#1b1918;stroke-width:1.60007989;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none"
d="m 428.18718,211.70904 0.16104,-36.85032" /><text
style="font-size:9.60000038px"
transform="scale(1,-1)"
id="text4028"
y="-193.54968"
x="431.89288"><tspan
style="font-size:16px;font-family:Symbol;fill:#1b1918"
id="tspan4030"
font-size="20.0000">(Φ,α,β)</tspan></text>
<text
style="font-size:9.60000038px"
transform="scale(1,-1)"
id="text4032"
y="-197.13104"
x="352.93872"><tspan
style="font-size:16px;font-family:Symbol;fill:#1b1918"
id="tspan4034"
font-size="20.0000">σ</tspan></text>
</g><path
d="m 155.68946,465.4563 0,-40.13818"
style="fill:none;stroke:#ff0000;stroke-width:1.00160933;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none"
id="path3776"
inkscape:connector-curvature="0" /><path
d="m 151.4009,425.67085 4.3814,-8.39154 4.19572,8.39154 -8.57712,0 z"
style="fill:#ff0000;fill-rule:evenodd"
id="path3778"
inkscape:connector-curvature="0" /><path
d="m 155.68946,398.30551 0,-40.13818"
style="fill:none;stroke:#ff0000;stroke-width:1.00160933;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none"
id="path3780"
inkscape:connector-curvature="0" /><path
d="m 151.4009,358.53859 4.3814,-8.41007 4.19572,8.41007 -8.57712,0 z"
style="fill:#ff0000;fill-rule:evenodd"
id="path3782"
inkscape:connector-curvature="0" /><path
d="m 155.68946,332.62144 0,-40.13828"
style="fill:none;stroke:#ff0000;stroke-width:1.00160933;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none"
id="path3784"
inkscape:connector-curvature="0" /><path
d="m 151.4009,292.85442 4.3814,-8.41008 4.19572,8.41008 -8.57712,0 z"
style="fill:#ff0000;fill-rule:evenodd"
id="path3786"
inkscape:connector-curvature="0" /><path
d="m 109.8563,366.88377 0,17.52561 91.66632,0 0,-17.52561 -91.66632,0 z"
style="fill:#ffffcc;fill-rule:evenodd;stroke:#ffffff;stroke-width:0.21632597;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none"
id="path3788"
inkscape:connector-curvature="0" /><path
d="m 131.61949,433.3383 0,17.52571 48.13994,0 0,-17.52571 -48.13994,0 z"
style="fill:#ffffcc;fill-rule:evenodd;stroke:#ffffff;stroke-width:0.21632597;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none"
id="path3790"
inkscape:connector-curvature="0" /><path
d="m 123.08408,299.05526 0,17.50708 65.21076,0 0,-17.50708 -65.21076,0 z"
style="fill:#ffffcc;fill-rule:evenodd;stroke:#ffffff;stroke-width:0.21632597;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none"
id="path3792"
inkscape:connector-curvature="0" /><text
x="143.62978"
y="-469.03357"
id="text3806"
transform="scale(1,-1)"
style="font-size:12.01811028px"><tspan
font-size="13.0000"
id="tspan3808"
style="font-size:13.01961803px;font-family:Arial;fill:#102a83">Text</tspan></text>
<text
x="135.90573"
y="-437.00696"
id="text3810"
transform="scale(1,-1)"
style="font-size:12.01811028px"><tspan
font-size="13.0000"
id="tspan3812"
style="font-size:13.01961803px;font-family:Arial;fill:#e30016">Parser</tspan></text>
<text
x="111.23331"
y="-402.61002"
id="text3814"
transform="scale(1,-1)"
style="font-size:12.01811028px"><tspan
font-size="13.0000"
id="tspan3816"
style="font-size:13.01961803px;font-family:Arial;fill:#102a83">Abstract syntax</tspan></text>
<text
x="113.65224"
y="-368.38483"
id="text3818"
transform="scale(1,-1)"
style="font-size:12.01811028px"><tspan
font-size="13.0000"
id="tspan3820"
style="font-size:13.01961803px;font-family:Arial;fill:#e30016">Static Analysis</tspan></text>
<text
x="88.900345"
y="-334.39154"
id="text3822"
transform="scale(1,-1)"
style="font-size:12.01811028px"><tspan
font-size="13.0000"
id="tspan3824"
style="font-size:13.01961803px;font-family:Arial;fill:#102a83">(Signature, Sentences)</tspan></text>
<text
x="122.05014"
y="-269.27628"
id="text3826"
transform="scale(1,-1)"
style="font-size:12.01811028px"><tspan
font-size="13.0000"
id="tspan3828"
style="font-size:13.01961803px;font-family:Arial;fill:#102a83">XML, Aterm</tspan></text>
<text
x="126.7386"
y="-303.33682"
id="text3830"
transform="scale(1,-1)"
style="font-size:12.01811028px"><tspan
font-size="13.0000"
id="tspan3832"
style="font-size:13.01961803px;font-family:Arial;fill:#e30016">Interfaces</tspan></text>
<text
x="32.896996"
y="-509.77216"
id="text3834-7"
transform="scale(1,-1)"
style="font-size:12.01811028px"><tspan
font-size="24.0000"
id="tspan3836-5"
style="font-size:24.03622055px;font-family:Arial;fill:#1b1918">Tools for specific logics</tspan></text>
<path
d="m 148.7148,243.9355 0,-70.75511 13.94932,0 0,70.75511 -13.94932,0 z"
style="fill:#ffffff;fill-rule:evenodd;stroke:#ffffff;stroke-width:1.44217324;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none"
id="path3946"
inkscape:connector-curvature="0" /><path
d="m 42.129434,219.4472 0,-21.64682 q 0,-26.25997 26.6776,-26.25997 l 173.764846,0 q 26.6776,0 26.6776,26.25997 l 0,21.64682 q 0,26.26007 -26.6776,26.26007 l -173.764846,0 q -26.6776,0 -26.6776,-26.26007 z"
style="fill:none;stroke:#1b1918;stroke-width:2.00432038;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none"
id="path3948"
inkscape:connector-curvature="0" /><text
x="71.897659"
y="-215.14534"
id="text3950"
transform="scale(1,-1)"
style="font-size:12.01811028px"><tspan
font-size="22.0000"
id="tspan3952"
style="font-size:22.03320122px;font-family:Arial;fill:#1b1918">Theorem provers</tspan></text>
<text
x="108.68602"
y="-187.10442"
id="text3954"
transform="scale(1,-1)"
style="font-size:12.01811028px"><tspan
font-size="22.0000"
id="tspan3956"
style="font-size:22.03320122px;font-family:Arial;fill:#1b1918">Rewriters</tspan></text>
<path
d="m 148.7148,145.13072 0,-70.755016 13.94932,0 0,70.755016 -13.94932,0 z"
style="fill:#ffffff;fill-rule:evenodd;stroke:#ffffff;stroke-width:1.44217324;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none"
id="path4094"
inkscape:connector-curvature="0" /><path
d="m 42.957234,107.40227 0,-30.820236 q 0,-37.72835 36.19194,-37.72835 l 153.080466,0 q 36.19204,0 36.19204,37.72835 l 0,30.820236 q 0,37.72845 -36.19204,37.72845 l -153.080466,0 q -36.19194,0 -36.19194,-37.72845 z"
style="fill:none;stroke:#1b1918;stroke-width:2.00432038;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none"
id="path4096"
inkscape:connector-curvature="0" /><text
x="49.773018"
y="-106.953"
id="text4098"
transform="scale(1,-1)"
style="font-size:12.01811028px"><tspan
font-size="20.0000"
id="tspan4100"
style="font-size:20.03018188px;font-family:Arial;fill:#1b1918">Conservativity checkers</tspan></text>
<text
x="89.111099"
y="-80.302208"
id="text4102"
transform="scale(1,-1)"
style="font-size:12.01811028px"><tspan
font-size="22.0000"
id="tspan4104"
style="font-size:22.03320122px;font-family:Arial;fill:#1b1918">Model finders</tspan></text>
<text
x="78.094505"
y="-47.734768"
id="text4106"
transform="scale(1,-1)"
style="font-size:12.01811028px"><tspan
font-size="22.0000"
id="tspan4108"
style="font-size:22.03320122px;font-family:Arial;fill:#1b1918">Model checkers</tspan></text>
<path
d="m 42.487379,466.30989 0,-188.36624 q 0,-22.49239 30.33981,-22.49239 l 165.724421,0 q 30.33992,0 30.33992,22.49239 l 0,188.36624 q 0,22.49239 -30.33992,22.49239 l -165.724421,0 q -30.33981,0 -30.33981,-22.49239 z"
style="fill:none;stroke:#1b1918;stroke-width:2.00311828;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none"
id="path3934"
inkscape:connector-curvature="0" /><text
x="358.8653"
y="-505.80493"
id="text3922"
transform="scale(1,-1)"
style="font-size:11.92131424px"><tspan
font-size="24.0000"
id="tspan3924"
style="font-size:23.84262848px;font-family:Arial;fill:#1b1918">Logic graph</tspan></text>
<g
transform="matrix(0.99698368,0,0,-0.99698368,4.9276192,594.31889)"
id="g3752-6"><path
d="m 722.9884,334.1541 0.4717,10.8846 -9.0057,-5.9575 8.534,-4.9271 z"
style="fill:#ff0000;fill-rule:evenodd;stroke:#e30016;stroke-width:1.00010002;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none"
id="path3754-3"
inkscape:connector-curvature="0" /><path
d="m 695.4259,296.2686 23.0571,39.9361"
style="fill:none;stroke:#e30016;stroke-width:1.00010002;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none"
id="path3756-2"
inkscape:connector-curvature="0" /></g><g
transform="matrix(0.99698368,0,0,-0.99698368,4.9276192,594.31889)"
id="g3764-0"><path
d="m 639.4057,333.8783 -0.468,10.7978 8.9339,-5.91 -8.4659,-4.8878 z"
style="fill:#ff0000;fill-rule:evenodd;stroke:#e30016;stroke-width:1.00010002;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none"
id="path3766-6"
inkscape:connector-curvature="0" /><path
d="m 666.7484,296.295 -22.8732,39.6176"
style="fill:none;stroke:#e30016;stroke-width:1.00010002;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none"
id="path3768-1"
inkscape:connector-curvature="0" /></g><path
d="M 682.98324,168.50727 682.48395,98.711725"
style="fill:none;stroke:#ff0000;stroke-width:0.99708337;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none"
id="path3770-5"
inkscape:connector-curvature="0" /><path
d="m 683.97464,431.03689 0,-39.95681"
style="fill:none;stroke:#ff0000;stroke-width:0.99708337;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none"
id="path3848-5"
inkscape:connector-curvature="0" /><path
d="m 679.70544,391.43122 4.3616,-8.35362 4.1768,8.35362 -8.5384,0 z"
style="fill:#ff0000;fill-rule:evenodd"
id="path3850-4"
inkscape:connector-curvature="0" /><path
d="m 683.97464,364.18954 0,-39.95682"
style="fill:none;stroke:#ff0000;stroke-width:0.99708337;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none"
id="path3852-7"
inkscape:connector-curvature="0" /><path
d="m 679.70544,291.20066 4.3616,-8.37207 4.1768,8.37207 -8.5384,0 z"
style="fill:#ff0000;fill-rule:evenodd"
id="path3854-6"
inkscape:connector-curvature="0" /><g
transform="matrix(0.99218492,0,0,-1.0657808,8.1955044,612.75501)"
id="g3856-5"><path
d="m 681.1014,267.6107 -0.0778,119.3415"
style="fill:none;stroke:#e30016;stroke-width:1.00010002;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none"
id="path3858-6"
inkscape:connector-curvature="0" /><path
d="m 676.7113,387.3207 4.3748,8.7363 4.1895,-8.7363 -8.5643,0 z"
style="fill:#ff0000;fill-rule:evenodd;stroke:#e30016;stroke-width:1.00010002;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none"
id="path3860-9"
inkscape:connector-curvature="0" /></g><path
d="m 638.34854,332.90978 0,17.44641 91.2521,0 0,-17.44641 -91.2521,0 z"
style="fill:#ffffcc;fill-rule:evenodd;stroke:#ffffff;stroke-width:0.21534848;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none"
id="path3862-3"
inkscape:connector-curvature="0" /><path
d="m 660.01354,399.06403 0,17.44651 47.9223,0 0,-17.44651 -47.9224,0 z"
style="fill:#ffffcc;fill-rule:evenodd;stroke:#ffffff;stroke-width:0.21534848;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none"
id="path3864-7"
inkscape:connector-curvature="0" /><path
d="m 650.80964,265.38776 0,17.42797 64.91611,0 0,-17.42797 -64.91611,0 z"
style="fill:#ffffcc;fill-rule:evenodd;stroke:#ffffff;stroke-width:0.21534848;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none"
id="path3866-4"
inkscape:connector-curvature="0" /><text
x="664.68311"
y="-402.71588"
id="text3884-5"
style="font-size:11.96380424px"
transform="scale(1,-1)"><tspan
font-size="13.0000"
id="tspan3886-2"
style="font-size:12.96078682px;font-family:Arial;fill:#e30016">Parser</tspan></text>
<text
x="639.53375"
y="-368.47437"
id="text3888-5"
style="font-size:11.96380424px"
transform="scale(1,-1)"><tspan
font-size="13.0000"
id="tspan3890-4"
style="font-size:12.96078682px;font-family:Arial;fill:#102a83">Abstract syntax</tspan></text>
<text
x="642.59601"
y="-334.40387"
id="text3892-7"
style="font-size:11.96380424px"
transform="scale(1,-1)"><tspan
font-size="13.0000"
id="tspan3894-4"
style="font-size:12.96078682px;font-family:Arial;fill:#e30016">Static Analysis</tspan></text>
<text
x="596.65729"
y="-235.74326"
id="text3900-0"
style="font-size:11.96380424px"
transform="scale(1,-1)"><tspan
font-size="13.0000"
id="tspan3902-7"
style="font-size:12.96078682px;font-family:Arial;fill:#102a83">XML, Aterms</tspan></text>
<text
x="655.59509"
y="-269.64975"
id="text3904-8"
style="font-size:11.96380424px"
transform="scale(1,-1)"><tspan
font-size="13.0000"
id="tspan3906-6"
style="font-size:12.96078682px;font-family:Arial;fill:#e30016">Interfaces</tspan></text>
<path
d="m 678.37944,97.943355 4.3616,-8.35363 4.17671,8.35363 -8.53831,0 z"
style="fill:#ff0000;fill-rule:evenodd"
id="path3908-8"
inkscape:connector-curvature="0" /><text
x="575.31555"
y="-177.39761"
id="text3910-8"
style="font-size:11.96380424px"
transform="scale(1,-1)"><tspan
font-size="13.0000"
id="tspan3912-4"
style="font-size:12.96078682px;font-family:Arial;fill:#102a83">Heterogeneous development graphs</tspan></text>
<text
x="604.00635"
y="-68.277138"
id="text3914-3"
style="font-size:11.96380424px"
transform="scale(1,-1)"><tspan
font-size="13.0000"
id="tspan3916-1"
style="font-size:12.96078682px;font-family:Arial;fill:#102a83">Heterogeneous proof trees</tspan></text>
<path
d="m 638.41187,269.75928 8.37207,4.3616 -8.37207,4.17677 0,-8.53837 z"
style="fill:#ff0000;fill-rule:evenodd"
id="path3928-4"
inkscape:connector-curvature="0" /><text
x="697.15332"
y="-235.74326"
id="text3930-9"
style="font-size:11.96380424px"
transform="scale(1,-1)"><tspan
font-size="13.0000"
id="tspan3932-2"
style="font-size:12.96078682px;font-family:Arial;fill:#102a83">WWW, GUI</tspan></text>
<path
d="m 582.3371,111.5743 0,47.33968 202.27494,0 0,-47.33968 -202.27494,0 z"
style="fill:#ffffcc;fill-rule:evenodd;stroke:#ffffff;stroke-width:0.21534848;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none"
id="path3936-0"
inkscape:connector-curvature="0" /><text
x="619.12225"
y="-113.39285"
id="text3938-68"
style="font-size:11.96380424px"
transform="scale(1,-1)"><tspan
font-size="13.0000"
id="tspan3940-9"
style="font-size:12.96078682px;font-family:Arial;fill:#e30016">Management of proofs</tspan></text>
<text
x="589.88135"
y="-147.64384"
id="text3938-6-2"
style="font-size:11.96380424px"
transform="scale(1,-1)"><tspan
font-size="13.0000"
id="tspan3940-2-6"
style="font-size:12.96078682px;font-family:Arial;fill:#e30016">Heterogeneous inference engine</tspan></text>
<text
x="584.49896"
y="-130.51836"
id="text3938-9-6"
style="font-size:11.96380424px"
transform="scale(1,-1)"><tspan
font-size="13.0000"
id="tspan3940-1-4"
style="font-size:12.96078682px;font-family:Arial;fill:#e30016">Decomposition of proof obligations</tspan></text>
<path
d="m 645.40303,404.16704 8.46011,4.40747 -8.46011,4.22068 0,-8.62815 z"
style="fill:#ff0000;fill-rule:evenodd"
id="path3918"
inkscape:connector-curvature="0" /><path
d="m 620.77167,336.63762 8.46011,4.40747 -8.46011,4.22068 0,-8.62815 z"
style="fill:#ff0000;fill-rule:evenodd"
id="path3926"
inkscape:connector-curvature="0" /><text
x="626.77173"
y="-303.15033"
id="text3896-4"
style="font-size:11.96380424px"
transform="scale(1,-1)"><tspan
font-size="13.0000"
id="tspan3898-3"
style="font-size:12.96078682px;font-family:Arial;fill:#102a83">Global Environment</tspan></text>
<text
x="51.478565"
y="-547.69312"
id="text3772"
transform="scale(1,-1)"
style="font-size:6.01350307px"><tspan
font-size="70.5000"
id="tspan3774"
style="font-size:35.32933044px;font-family:Arial;fill:#102a83">Architecture of the heterogeneous tool set Hets</tspan></text>
</g></svg>