<?xml version="1.0" encoding="UTF-8"?>
<dia:diagram xmlns:dia="http://www.lysator.liu.se/~alla/dia/">
  <dia:diagramdata>
    <dia:attribute name="background">
      <dia:color val="#ffffff"/>
    </dia:attribute>
    <dia:attribute name="pagebreak">
      <dia:color val="#000099"/>
    </dia:attribute>
    <dia:attribute name="paper">
      <dia:composite type="paper">
        <dia:attribute name="name">
          <dia:string>#A4#</dia:string>
        </dia:attribute>
        <dia:attribute name="tmargin">
          <dia:real val="2.8222000598907471"/>
        </dia:attribute>
        <dia:attribute name="bmargin">
          <dia:real val="2.8222000598907471"/>
        </dia:attribute>
        <dia:attribute name="lmargin">
          <dia:real val="2.8222000598907471"/>
        </dia:attribute>
        <dia:attribute name="rmargin">
          <dia:real val="2.8222000598907471"/>
        </dia:attribute>
        <dia:attribute name="is_portrait">
          <dia:boolean val="true"/>
        </dia:attribute>
        <dia:attribute name="scaling">
          <dia:real val="1"/>
        </dia:attribute>
        <dia:attribute name="fitto">
          <dia:boolean val="false"/>
        </dia:attribute>
      </dia:composite>
    </dia:attribute>
    <dia:attribute name="grid">
      <dia:composite type="grid">
        <dia:attribute name="width_x">
          <dia:real val="1"/>
        </dia:attribute>
        <dia:attribute name="width_y">
          <dia:real val="1"/>
        </dia:attribute>
        <dia:attribute name="visible_x">
          <dia:int val="1"/>
        </dia:attribute>
        <dia:attribute name="visible_y">
          <dia:int val="1"/>
        </dia:attribute>
        <dia:composite type="color"/>
      </dia:composite>
    </dia:attribute>
    <dia:attribute name="color">
      <dia:color val="#d8e5e5"/>
    </dia:attribute>
    <dia:attribute name="guides">
      <dia:composite type="guides">
        <dia:attribute name="hguides"/>
        <dia:attribute name="vguides"/>
      </dia:composite>
    </dia:attribute>
  </dia:diagramdata>
  <dia:layer name="Background" visible="true">
    <dia:object type="Standard - Box" version="0" id="O0">
      <dia:attribute name="obj_pos">
        <dia:point val="-5.95,-4.55"/>
      </dia:attribute>
      <dia:attribute name="obj_bb">
        <dia:rectangle val="-6,-4.6;5.75,1.65567"/>
      </dia:attribute>
      <dia:attribute name="elem_corner">
        <dia:point val="-5.95,-4.55"/>
      </dia:attribute>
      <dia:attribute name="elem_width">
        <dia:real val="11.649999999999999"/>
      </dia:attribute>
      <dia:attribute name="elem_height">
        <dia:real val="6.1556739057707199"/>
      </dia:attribute>
      <dia:attribute name="show_background">
        <dia:boolean val="true"/>
      </dia:attribute>
      <dia:attribute name="line_style">
        <dia:enum val="1"/>
      </dia:attribute>
    </dia:object>
    <dia:object type="Standard - Box" version="0" id="O1">
      <dia:attribute name="obj_pos">
        <dia:point val="-11.1372,-3.24362"/>
      </dia:attribute>
      <dia:attribute name="obj_bb">
        <dia:rectangle val="-11.1772,-3.28362;-8.77134,-0.20362"/>
      </dia:attribute>
      <dia:attribute name="elem_corner">
        <dia:point val="-11.1372,-3.24362"/>
      </dia:attribute>
      <dia:attribute name="elem_width">
        <dia:real val="2.3258865810665039"/>
      </dia:attribute>
      <dia:attribute name="elem_height">
        <dia:real val="2.9999999999999996"/>
      </dia:attribute>
      <dia:attribute name="border_width">
        <dia:real val="0.080000000000000002"/>
      </dia:attribute>
      <dia:attribute name="show_background">
        <dia:boolean val="true"/>
      </dia:attribute>
    </dia:object>
    <dia:object type="Standard - Text" version="0" id="O2">
      <dia:attribute name="obj_pos">
        <dia:point val="-10.7972,-1.65674"/>
      </dia:attribute>
      <dia:attribute name="obj_bb">
        <dia:rectangle val="-10.7972,-2.35674;-9.14716,-1.15674"/>
      </dia:attribute>
      <dia:attribute name="text">
        <dia:composite type="text">
          <dia:attribute name="string">
            <dia:string>#file.c#</dia:string>
          </dia:attribute>
          <dia:attribute name="font">
            <dia:font family="sans" style="0" name="Helvetica"/>
          </dia:attribute>
          <dia:attribute name="height">
            <dia:real val="1"/>
          </dia:attribute>
          <dia:attribute name="pos">
            <dia:point val="-10.7972,-1.65674"/>
          </dia:attribute>
          <dia:attribute name="color">
            <dia:color val="#000000"/>
          </dia:attribute>
          <dia:attribute name="alignment">
            <dia:enum val="0"/>
          </dia:attribute>
        </dia:composite>
      </dia:attribute>
    </dia:object>
    <dia:object type="Standard - Box" version="0" id="O3">
      <dia:attribute name="obj_pos">
        <dia:point val="-5.3,-3.15"/>
      </dia:attribute>
      <dia:attribute name="obj_bb">
        <dia:rectangle val="-5.35,-3.2;-1.85,-0.7"/>
      </dia:attribute>
      <dia:attribute name="elem_corner">
        <dia:point val="-5.3,-3.15"/>
      </dia:attribute>
      <dia:attribute name="elem_width">
        <dia:real val="3.4000000000000004"/>
      </dia:attribute>
      <dia:attribute name="elem_height">
        <dia:real val="2.4000000000000004"/>
      </dia:attribute>
      <dia:attribute name="show_background">
        <dia:boolean val="true"/>
      </dia:attribute>
    </dia:object>
    <dia:object type="Standard - Text" version="0" id="O4">
      <dia:attribute name="obj_pos">
        <dia:point val="-4.45,-2.25"/>
      </dia:attribute>
      <dia:attribute name="obj_bb">
        <dia:rectangle val="-4.45,-2.95;-2.45,-0.75"/>
      </dia:attribute>
      <dia:attribute name="text">
        <dia:composite type="text">
          <dia:attribute name="string">
            <dia:string>#Scan
Parse#</dia:string>
          </dia:attribute>
          <dia:attribute name="font">
            <dia:font family="sans" style="0" name="Helvetica"/>
          </dia:attribute>
          <dia:attribute name="height">
            <dia:real val="1"/>
          </dia:attribute>
          <dia:attribute name="pos">
            <dia:point val="-4.45,-2.25"/>
          </dia:attribute>
          <dia:attribute name="color">
            <dia:color val="#000000"/>
          </dia:attribute>
          <dia:attribute name="alignment">
            <dia:enum val="0"/>
          </dia:attribute>
        </dia:composite>
      </dia:attribute>
    </dia:object>
    <dia:object type="Geometric - Right Arrow" version="0" id="O5">
      <dia:attribute name="obj_pos">
        <dia:point val="-8.5,-2.55"/>
      </dia:attribute>
      <dia:attribute name="obj_bb">
        <dia:rectangle val="-8.55,-2.64854;-6.36533,-0.951459"/>
      </dia:attribute>
      <dia:attribute name="elem_corner">
        <dia:point val="-8.5,-2.55"/>
      </dia:attribute>
      <dia:attribute name="elem_width">
        <dia:real val="2.0500000000000007"/>
      </dia:attribute>
      <dia:attribute name="elem_height">
        <dia:real val="1.5"/>
      </dia:attribute>
      <dia:attribute name="line_width">
        <dia:real val="0.10000000000000001"/>
      </dia:attribute>
      <dia:attribute name="line_colour">
        <dia:color val="#000000"/>
      </dia:attribute>
      <dia:attribute name="fill_colour">
        <dia:color val="#ffffff"/>
      </dia:attribute>
      <dia:attribute name="show_background">
        <dia:boolean val="true"/>
      </dia:attribute>
      <dia:attribute name="line_style">
        <dia:enum val="0"/>
        <dia:real val="1"/>
      </dia:attribute>
      <dia:attribute name="flip_horizontal">
        <dia:boolean val="false"/>
      </dia:attribute>
      <dia:attribute name="flip_vertical">
        <dia:boolean val="false"/>
      </dia:attribute>
    </dia:object>
    <dia:object type="Standard - Text" version="0" id="O6">
      <dia:attribute name="obj_pos">
        <dia:point val="1.5564,0.15461"/>
      </dia:attribute>
      <dia:attribute name="obj_bb">
        <dia:rectangle val="1.5564,-0.54539;5.2564,0.65461"/>
      </dia:attribute>
      <dia:attribute name="text">
        <dia:composite type="text">
          <dia:attribute name="string">
            <dia:string>#CTool Tree#</dia:string>
          </dia:attribute>
          <dia:attribute name="font">
            <dia:font family="sans" style="0" name="Helvetica"/>
          </dia:attribute>
          <dia:attribute name="height">
            <dia:real val="1"/>
          </dia:attribute>
          <dia:attribute name="pos">
            <dia:point val="1.5564,0.15461"/>
          </dia:attribute>
          <dia:attribute name="color">
            <dia:color val="#000000"/>
          </dia:attribute>
          <dia:attribute name="alignment">
            <dia:enum val="0"/>
          </dia:attribute>
        </dia:composite>
      </dia:attribute>
    </dia:object>
    <dia:group>
      <dia:object type="Standard - Ellipse" version="0" id="O7">
        <dia:attribute name="obj_pos">
          <dia:point val="3.375,-4.125"/>
        </dia:attribute>
        <dia:attribute name="obj_bb">
          <dia:rectangle val="3.325,-4.175;3.975,-3.525"/>
        </dia:attribute>
        <dia:attribute name="elem_corner">
          <dia:point val="3.375,-4.125"/>
        </dia:attribute>
        <dia:attribute name="elem_width">
          <dia:real val="0.55000001192092896"/>
        </dia:attribute>
        <dia:attribute name="elem_height">
          <dia:real val="0.55000001192092896"/>
        </dia:attribute>
        <dia:attribute name="aspect">
          <dia:enum val="2"/>
        </dia:attribute>
      </dia:object>
      <dia:object type="Standard - Ellipse" version="0" id="O8">
        <dia:attribute name="obj_pos">
          <dia:point val="1.45,-1.65"/>
        </dia:attribute>
        <dia:attribute name="obj_bb">
          <dia:rectangle val="1.4,-1.7;2.1,-1"/>
        </dia:attribute>
        <dia:attribute name="elem_corner">
          <dia:point val="1.45,-1.65"/>
        </dia:attribute>
        <dia:attribute name="elem_width">
          <dia:real val="0.60000002384185791"/>
        </dia:attribute>
        <dia:attribute name="elem_height">
          <dia:real val="0.60000002384185791"/>
        </dia:attribute>
        <dia:attribute name="aspect">
          <dia:enum val="2"/>
        </dia:attribute>
      </dia:object>
      <dia:object type="Standard - Ellipse" version="0" id="O9">
        <dia:attribute name="obj_pos">
          <dia:point val="3.125,-1.575"/>
        </dia:attribute>
        <dia:attribute name="obj_bb">
          <dia:rectangle val="3.075,-1.625;3.725,-0.975"/>
        </dia:attribute>
        <dia:attribute name="elem_corner">
          <dia:point val="3.125,-1.575"/>
        </dia:attribute>
        <dia:attribute name="elem_width">
          <dia:real val="0.55000001192092896"/>
        </dia:attribute>
        <dia:attribute name="elem_height">
          <dia:real val="0.55000001192092896"/>
        </dia:attribute>
        <dia:attribute name="aspect">
          <dia:enum val="2"/>
        </dia:attribute>
      </dia:object>
      <dia:object type="Standard - Ellipse" version="0" id="O10">
        <dia:attribute name="obj_pos">
          <dia:point val="2.175,-2.875"/>
        </dia:attribute>
        <dia:attribute name="obj_bb">
          <dia:rectangle val="2.125,-2.925;2.775,-2.275"/>
        </dia:attribute>
        <dia:attribute name="elem_corner">
          <dia:point val="2.175,-2.875"/>
        </dia:attribute>
        <dia:attribute name="elem_width">
          <dia:real val="0.55000001192092896"/>
        </dia:attribute>
        <dia:attribute name="elem_height">
          <dia:real val="0.55000001192092896"/>
        </dia:attribute>
        <dia:attribute name="aspect">
          <dia:enum val="2"/>
        </dia:attribute>
      </dia:object>
      <dia:object type="Standard - Ellipse" version="0" id="O11">
        <dia:attribute name="obj_pos">
          <dia:point val="4.475,-2.875"/>
        </dia:attribute>
        <dia:attribute name="obj_bb">
          <dia:rectangle val="4.425,-2.925;5.075,-2.275"/>
        </dia:attribute>
        <dia:attribute name="elem_corner">
          <dia:point val="4.475,-2.875"/>
        </dia:attribute>
        <dia:attribute name="elem_width">
          <dia:real val="0.55000001192092896"/>
        </dia:attribute>
        <dia:attribute name="elem_height">
          <dia:real val="0.55000001192092896"/>
        </dia:attribute>
        <dia:attribute name="aspect">
          <dia:enum val="2"/>
        </dia:attribute>
      </dia:object>
      <dia:object type="Standard - Line" version="0" id="O12">
        <dia:attribute name="obj_pos">
          <dia:point val="3.45555,-3.65555"/>
        </dia:attribute>
        <dia:attribute name="obj_bb">
          <dia:rectangle val="2.37984,-3.7257;3.5257,-2.80484"/>
        </dia:attribute>
        <dia:attribute name="conn_endpoints">
          <dia:point val="3.45555,-3.65555"/>
          <dia:point val="2.45,-2.875"/>
        </dia:attribute>
        <dia:attribute name="numcp">
          <dia:int val="1"/>
        </dia:attribute>
        <dia:connections>
          <dia:connection handle="0" to="O7" connection="5"/>
          <dia:connection handle="1" to="O10" connection="1"/>
        </dia:connections>
      </dia:object>
      <dia:object type="Standard - Line" version="0" id="O13">
        <dia:attribute name="obj_pos">
          <dia:point val="3.84445,-3.65555"/>
        </dia:attribute>
        <dia:attribute name="obj_bb">
          <dia:rectangle val="3.77394,-3.72606;4.82052,-2.80448"/>
        </dia:attribute>
        <dia:attribute name="conn_endpoints">
          <dia:point val="3.84445,-3.65555"/>
          <dia:point val="4.75,-2.875"/>
        </dia:attribute>
        <dia:attribute name="numcp">
          <dia:int val="1"/>
        </dia:attribute>
        <dia:connections>
          <dia:connection handle="0" to="O7" connection="7"/>
          <dia:connection handle="1" to="O11" connection="1"/>
        </dia:connections>
      </dia:object>
      <dia:object type="Standard - Line" version="0" id="O14">
        <dia:attribute name="obj_pos">
          <dia:point val="2.25555,-2.40555"/>
        </dia:attribute>
        <dia:attribute name="obj_bb">
          <dia:rectangle val="1.68064,-2.47491;2.32491,-1.58064"/>
        </dia:attribute>
        <dia:attribute name="conn_endpoints">
          <dia:point val="2.25555,-2.40555"/>
          <dia:point val="1.75,-1.65"/>
        </dia:attribute>
        <dia:attribute name="numcp">
          <dia:int val="1"/>
        </dia:attribute>
        <dia:connections>
          <dia:connection handle="0" to="O10" connection="5"/>
          <dia:connection handle="1" to="O8" connection="1"/>
        </dia:connections>
      </dia:object>
      <dia:object type="Standard - Line" version="0" id="O15">
        <dia:attribute name="obj_pos">
          <dia:point val="2.64445,-2.40555"/>
        </dia:attribute>
        <dia:attribute name="obj_bb">
          <dia:rectangle val="2.57566,-2.47434;3.27434,-1.42566"/>
        </dia:attribute>
        <dia:attribute name="conn_endpoints">
          <dia:point val="2.64445,-2.40555"/>
          <dia:point val="3.20555,-1.49445"/>
        </dia:attribute>
        <dia:attribute name="numcp">
          <dia:int val="1"/>
        </dia:attribute>
        <dia:connections>
          <dia:connection handle="0" to="O10" connection="7"/>
          <dia:connection handle="1" to="O9" connection="0"/>
        </dia:connections>
      </dia:object>
    </dia:group>
    <dia:object type="Geometric - Right Arrow" version="0" id="O16">
      <dia:attribute name="obj_pos">
        <dia:point val="-1.195,-2.58646"/>
      </dia:attribute>
      <dia:attribute name="obj_bb">
        <dia:rectangle val="-1.245,-2.685;0.939673,-0.987919"/>
      </dia:attribute>
      <dia:attribute name="elem_corner">
        <dia:point val="-1.195,-2.58646"/>
      </dia:attribute>
      <dia:attribute name="elem_width">
        <dia:real val="2.0500000000000007"/>
      </dia:attribute>
      <dia:attribute name="elem_height">
        <dia:real val="1.5"/>
      </dia:attribute>
      <dia:attribute name="line_width">
        <dia:real val="0.10000000000000001"/>
      </dia:attribute>
      <dia:attribute name="line_colour">
        <dia:color val="#000000"/>
      </dia:attribute>
      <dia:attribute name="fill_colour">
        <dia:color val="#ffffff"/>
      </dia:attribute>
      <dia:attribute name="show_background">
        <dia:boolean val="true"/>
      </dia:attribute>
      <dia:attribute name="line_style">
        <dia:enum val="0"/>
        <dia:real val="1"/>
      </dia:attribute>
      <dia:attribute name="flip_horizontal">
        <dia:boolean val="false"/>
      </dia:attribute>
      <dia:attribute name="flip_vertical">
        <dia:boolean val="false"/>
      </dia:attribute>
    </dia:object>
    <dia:object type="Standard - Text" version="0" id="O17">
      <dia:attribute name="obj_pos">
        <dia:point val="-1.5762,1.24468"/>
      </dia:attribute>
      <dia:attribute name="obj_bb">
        <dia:rectangle val="-1.5762,0.54468;3.0238,1.74468"/>
      </dia:attribute>
      <dia:attribute name="text">
        <dia:composite type="text">
          <dia:attribute name="string">
            <dia:string>#CTool Library#</dia:string>
          </dia:attribute>
          <dia:attribute name="font">
            <dia:font family="sans" style="0" name="Helvetica"/>
          </dia:attribute>
          <dia:attribute name="height">
            <dia:real val="1"/>
          </dia:attribute>
          <dia:attribute name="pos">
            <dia:point val="-1.5762,1.24468"/>
          </dia:attribute>
          <dia:attribute name="color">
            <dia:color val="#000000"/>
          </dia:attribute>
          <dia:attribute name="alignment">
            <dia:enum val="0"/>
          </dia:attribute>
        </dia:composite>
      </dia:attribute>
    </dia:object>
    <dia:object type="Geometric - Right Arrow" version="0" id="O18">
      <dia:attribute name="obj_pos">
        <dia:point val="6.655,-2.63646"/>
      </dia:attribute>
      <dia:attribute name="obj_bb">
        <dia:rectangle val="6.605,-2.71357;10.1336,-1.05935"/>
      </dia:attribute>
      <dia:attribute name="elem_corner">
        <dia:point val="6.655,-2.63646"/>
      </dia:attribute>
      <dia:attribute name="elem_width">
        <dia:real val="3.3561000000000041"/>
      </dia:attribute>
      <dia:attribute name="elem_height">
        <dia:real val="1.5"/>
      </dia:attribute>
      <dia:attribute name="line_width">
        <dia:real val="0.10000000000000001"/>
      </dia:attribute>
      <dia:attribute name="line_colour">
        <dia:color val="#000000"/>
      </dia:attribute>
      <dia:attribute name="fill_colour">
        <dia:color val="#ffffff"/>
      </dia:attribute>
      <dia:attribute name="show_background">
        <dia:boolean val="true"/>
      </dia:attribute>
      <dia:attribute name="line_style">
        <dia:enum val="0"/>
        <dia:real val="1"/>
      </dia:attribute>
      <dia:attribute name="flip_horizontal">
        <dia:boolean val="false"/>
      </dia:attribute>
      <dia:attribute name="flip_vertical">
        <dia:boolean val="false"/>
      </dia:attribute>
    </dia:object>
    <dia:group>
      <dia:object type="Standard - Ellipse" version="0" id="O19">
        <dia:attribute name="obj_pos">
          <dia:point val="16.38,-6.085"/>
        </dia:attribute>
        <dia:attribute name="obj_bb">
          <dia:rectangle val="16.33,-6.135;16.98,-5.485"/>
        </dia:attribute>
        <dia:attribute name="elem_corner">
          <dia:point val="16.38,-6.085"/>
        </dia:attribute>
        <dia:attribute name="elem_width">
          <dia:real val="0.55000001192092896"/>
        </dia:attribute>
        <dia:attribute name="elem_height">
          <dia:real val="0.55000001192092896"/>
        </dia:attribute>
        <dia:attribute name="aspect">
          <dia:enum val="2"/>
        </dia:attribute>
      </dia:object>
      <dia:object type="Standard - Ellipse" version="0" id="O20">
        <dia:attribute name="obj_pos">
          <dia:point val="14.455,-3.61"/>
        </dia:attribute>
        <dia:attribute name="obj_bb">
          <dia:rectangle val="14.405,-3.66;15.105,-2.96"/>
        </dia:attribute>
        <dia:attribute name="elem_corner">
          <dia:point val="14.455,-3.61"/>
        </dia:attribute>
        <dia:attribute name="elem_width">
          <dia:real val="0.60000002384185791"/>
        </dia:attribute>
        <dia:attribute name="elem_height">
          <dia:real val="0.60000002384185791"/>
        </dia:attribute>
        <dia:attribute name="aspect">
          <dia:enum val="2"/>
        </dia:attribute>
      </dia:object>
      <dia:object type="Standard - Ellipse" version="0" id="O21">
        <dia:attribute name="obj_pos">
          <dia:point val="16.13,-3.535"/>
        </dia:attribute>
        <dia:attribute name="obj_bb">
          <dia:rectangle val="16.08,-3.585;16.73,-2.935"/>
        </dia:attribute>
        <dia:attribute name="elem_corner">
          <dia:point val="16.13,-3.535"/>
        </dia:attribute>
        <dia:attribute name="elem_width">
          <dia:real val="0.55000001192092896"/>
        </dia:attribute>
        <dia:attribute name="elem_height">
          <dia:real val="0.55000001192092896"/>
        </dia:attribute>
        <dia:attribute name="aspect">
          <dia:enum val="2"/>
        </dia:attribute>
      </dia:object>
      <dia:object type="Standard - Ellipse" version="0" id="O22">
        <dia:attribute name="obj_pos">
          <dia:point val="15.18,-4.835"/>
        </dia:attribute>
        <dia:attribute name="obj_bb">
          <dia:rectangle val="15.13,-4.885;15.78,-4.235"/>
        </dia:attribute>
        <dia:attribute name="elem_corner">
          <dia:point val="15.18,-4.835"/>
        </dia:attribute>
        <dia:attribute name="elem_width">
          <dia:real val="0.55000001192092896"/>
        </dia:attribute>
        <dia:attribute name="elem_height">
          <dia:real val="0.55000001192092896"/>
        </dia:attribute>
        <dia:attribute name="aspect">
          <dia:enum val="2"/>
        </dia:attribute>
      </dia:object>
      <dia:object type="Standard - Ellipse" version="0" id="O23">
        <dia:attribute name="obj_pos">
          <dia:point val="17.48,-4.835"/>
        </dia:attribute>
        <dia:attribute name="obj_bb">
          <dia:rectangle val="17.43,-4.885;18.08,-4.235"/>
        </dia:attribute>
        <dia:attribute name="elem_corner">
          <dia:point val="17.48,-4.835"/>
        </dia:attribute>
        <dia:attribute name="elem_width">
          <dia:real val="0.55000001192092896"/>
        </dia:attribute>
        <dia:attribute name="elem_height">
          <dia:real val="0.55000001192092896"/>
        </dia:attribute>
        <dia:attribute name="aspect">
          <dia:enum val="2"/>
        </dia:attribute>
      </dia:object>
      <dia:object type="Standard - Line" version="0" id="O24">
        <dia:attribute name="obj_pos">
          <dia:point val="16.4605,-5.61555"/>
        </dia:attribute>
        <dia:attribute name="obj_bb">
          <dia:rectangle val="15.3848,-5.6857;16.5307,-4.76484"/>
        </dia:attribute>
        <dia:attribute name="conn_endpoints">
          <dia:point val="16.4605,-5.61555"/>
          <dia:point val="15.455,-4.835"/>
        </dia:attribute>
        <dia:attribute name="numcp">
          <dia:int val="1"/>
        </dia:attribute>
        <dia:connections>
          <dia:connection handle="0" to="O19" connection="5"/>
          <dia:connection handle="1" to="O22" connection="1"/>
        </dia:connections>
      </dia:object>
      <dia:object type="Standard - Line" version="0" id="O25">
        <dia:attribute name="obj_pos">
          <dia:point val="16.8495,-5.61555"/>
        </dia:attribute>
        <dia:attribute name="obj_bb">
          <dia:rectangle val="16.7789,-5.68606;17.8255,-4.76448"/>
        </dia:attribute>
        <dia:attribute name="conn_endpoints">
          <dia:point val="16.8495,-5.61555"/>
          <dia:point val="17.755,-4.835"/>
        </dia:attribute>
        <dia:attribute name="numcp">
          <dia:int val="1"/>
        </dia:attribute>
        <dia:connections>
          <dia:connection handle="0" to="O19" connection="7"/>
          <dia:connection handle="1" to="O23" connection="1"/>
        </dia:connections>
      </dia:object>
      <dia:object type="Standard - Line" version="0" id="O26">
        <dia:attribute name="obj_pos">
          <dia:point val="15.2605,-4.36555"/>
        </dia:attribute>
        <dia:attribute name="obj_bb">
          <dia:rectangle val="14.6856,-4.43491;15.3299,-3.54064"/>
        </dia:attribute>
        <dia:attribute name="conn_endpoints">
          <dia:point val="15.2605,-4.36555"/>
          <dia:point val="14.755,-3.61"/>
        </dia:attribute>
        <dia:attribute name="numcp">
          <dia:int val="1"/>
        </dia:attribute>
        <dia:connections>
          <dia:connection handle="0" to="O22" connection="5"/>
          <dia:connection handle="1" to="O20" connection="1"/>
        </dia:connections>
      </dia:object>
      <dia:object type="Standard - Line" version="0" id="O27">
        <dia:attribute name="obj_pos">
          <dia:point val="15.6495,-4.36555"/>
        </dia:attribute>
        <dia:attribute name="obj_bb">
          <dia:rectangle val="15.5807,-4.43434;16.2793,-3.38566"/>
        </dia:attribute>
        <dia:attribute name="conn_endpoints">
          <dia:point val="15.6495,-4.36555"/>
          <dia:point val="16.2105,-3.45445"/>
        </dia:attribute>
        <dia:attribute name="numcp">
          <dia:int val="1"/>
        </dia:attribute>
        <dia:connections>
          <dia:connection handle="0" to="O22" connection="7"/>
          <dia:connection handle="1" to="O21" connection="0"/>
        </dia:connections>
      </dia:object>
    </dia:group>
    <dia:object type="Standard - Text" version="0" id="O28">
      <dia:attribute name="obj_pos">
        <dia:point val="12.161,-1.89362"/>
      </dia:attribute>
      <dia:attribute name="obj_bb">
        <dia:rectangle val="12.161,-2.61612;15.8835,-1.34862"/>
      </dia:attribute>
      <dia:attribute name="text">
        <dia:composite type="text">
          <dia:attribute name="string">
            <dia:string>#IRep Trees#</dia:string>
          </dia:attribute>
          <dia:attribute name="font">
            <dia:font family="sans" style="0" name="Helvetica"/>
          </dia:attribute>
          <dia:attribute name="height">
            <dia:real val="1"/>
          </dia:attribute>
          <dia:attribute name="pos">
            <dia:point val="12.161,-1.89362"/>
          </dia:attribute>
          <dia:attribute name="color">
            <dia:color val="#000000"/>
          </dia:attribute>
          <dia:attribute name="alignment">
            <dia:enum val="0"/>
          </dia:attribute>
        </dia:composite>
      </dia:attribute>
    </dia:object>
    <dia:group>
      <dia:object type="Standard - Ellipse" version="0" id="O29">
        <dia:attribute name="obj_pos">
          <dia:point val="12.9861,-6.535"/>
        </dia:attribute>
        <dia:attribute name="obj_bb">
          <dia:rectangle val="12.9361,-6.585;13.5861,-5.935"/>
        </dia:attribute>
        <dia:attribute name="elem_corner">
          <dia:point val="12.9861,-6.535"/>
        </dia:attribute>
        <dia:attribute name="elem_width">
          <dia:real val="0.55000001192092896"/>
        </dia:attribute>
        <dia:attribute name="elem_height">
          <dia:real val="0.55000001192092896"/>
        </dia:attribute>
        <dia:attribute name="aspect">
          <dia:enum val="2"/>
        </dia:attribute>
      </dia:object>
      <dia:object type="Standard - Ellipse" version="0" id="O30">
        <dia:attribute name="obj_pos">
          <dia:point val="11.0611,-4.06"/>
        </dia:attribute>
        <dia:attribute name="obj_bb">
          <dia:rectangle val="11.0111,-4.11;11.7111,-3.41"/>
        </dia:attribute>
        <dia:attribute name="elem_corner">
          <dia:point val="11.0611,-4.06"/>
        </dia:attribute>
        <dia:attribute name="elem_width">
          <dia:real val="0.60000002384185791"/>
        </dia:attribute>
        <dia:attribute name="elem_height">
          <dia:real val="0.60000002384185791"/>
        </dia:attribute>
        <dia:attribute name="aspect">
          <dia:enum val="2"/>
        </dia:attribute>
      </dia:object>
      <dia:object type="Standard - Ellipse" version="0" id="O31">
        <dia:attribute name="obj_pos">
          <dia:point val="12.7361,-3.985"/>
        </dia:attribute>
        <dia:attribute name="obj_bb">
          <dia:rectangle val="12.6861,-4.035;13.3361,-3.385"/>
        </dia:attribute>
        <dia:attribute name="elem_corner">
          <dia:point val="12.7361,-3.985"/>
        </dia:attribute>
        <dia:attribute name="elem_width">
          <dia:real val="0.55000001192092896"/>
        </dia:attribute>
        <dia:attribute name="elem_height">
          <dia:real val="0.55000001192092896"/>
        </dia:attribute>
        <dia:attribute name="aspect">
          <dia:enum val="2"/>
        </dia:attribute>
      </dia:object>
      <dia:object type="Standard - Ellipse" version="0" id="O32">
        <dia:attribute name="obj_pos">
          <dia:point val="11.7861,-5.285"/>
        </dia:attribute>
        <dia:attribute name="obj_bb">
          <dia:rectangle val="11.7361,-5.335;12.3861,-4.685"/>
        </dia:attribute>
        <dia:attribute name="elem_corner">
          <dia:point val="11.7861,-5.285"/>
        </dia:attribute>
        <dia:attribute name="elem_width">
          <dia:real val="0.55000001192092896"/>
        </dia:attribute>
        <dia:attribute name="elem_height">
          <dia:real val="0.55000001192092896"/>
        </dia:attribute>
        <dia:attribute name="aspect">
          <dia:enum val="2"/>
        </dia:attribute>
      </dia:object>
      <dia:object type="Standard - Ellipse" version="0" id="O33">
        <dia:attribute name="obj_pos">
          <dia:point val="14.0861,-5.285"/>
        </dia:attribute>
        <dia:attribute name="obj_bb">
          <dia:rectangle val="14.0361,-5.335;14.6861,-4.685"/>
        </dia:attribute>
        <dia:attribute name="elem_corner">
          <dia:point val="14.0861,-5.285"/>
        </dia:attribute>
        <dia:attribute name="elem_width">
          <dia:real val="0.55000001192092896"/>
        </dia:attribute>
        <dia:attribute name="elem_height">
          <dia:real val="0.55000001192092896"/>
        </dia:attribute>
        <dia:attribute name="aspect">
          <dia:enum val="2"/>
        </dia:attribute>
      </dia:object>
      <dia:object type="Standard - Line" version="0" id="O34">
        <dia:attribute name="obj_pos">
          <dia:point val="13.0666,-6.06555"/>
        </dia:attribute>
        <dia:attribute name="obj_bb">
          <dia:rectangle val="11.9909,-6.1357;13.1368,-5.21484"/>
        </dia:attribute>
        <dia:attribute name="conn_endpoints">
          <dia:point val="13.0666,-6.06555"/>
          <dia:point val="12.0611,-5.285"/>
        </dia:attribute>
        <dia:attribute name="numcp">
          <dia:int val="1"/>
        </dia:attribute>
        <dia:connections>
          <dia:connection handle="0" to="O29" connection="5"/>
          <dia:connection handle="1" to="O32" connection="1"/>
        </dia:connections>
      </dia:object>
      <dia:object type="Standard - Line" version="0" id="O35">
        <dia:attribute name="obj_pos">
          <dia:point val="13.4556,-6.06555"/>
        </dia:attribute>
        <dia:attribute name="obj_bb">
          <dia:rectangle val="13.385,-6.13606;14.4316,-5.21448"/>
        </dia:attribute>
        <dia:attribute name="conn_endpoints">
          <dia:point val="13.4556,-6.06555"/>
          <dia:point val="14.3611,-5.285"/>
        </dia:attribute>
        <dia:attribute name="numcp">
          <dia:int val="1"/>
        </dia:attribute>
        <dia:connections>
          <dia:connection handle="0" to="O29" connection="7"/>
          <dia:connection handle="1" to="O33" connection="1"/>
        </dia:connections>
      </dia:object>
      <dia:object type="Standard - Line" version="0" id="O36">
        <dia:attribute name="obj_pos">
          <dia:point val="11.8666,-4.81555"/>
        </dia:attribute>
        <dia:attribute name="obj_bb">
          <dia:rectangle val="11.2917,-4.88491;11.936,-3.99064"/>
        </dia:attribute>
        <dia:attribute name="conn_endpoints">
          <dia:point val="11.8666,-4.81555"/>
          <dia:point val="11.3611,-4.06"/>
        </dia:attribute>
        <dia:attribute name="numcp">
          <dia:int val="1"/>
        </dia:attribute>
        <dia:connections>
          <dia:connection handle="0" to="O32" connection="5"/>
          <dia:connection handle="1" to="O30" connection="1"/>
        </dia:connections>
      </dia:object>
      <dia:object type="Standard - Line" version="0" id="O37">
        <dia:attribute name="obj_pos">
          <dia:point val="12.2556,-4.81555"/>
        </dia:attribute>
        <dia:attribute name="obj_bb">
          <dia:rectangle val="12.1868,-4.88434;12.8854,-3.83566"/>
        </dia:attribute>
        <dia:attribute name="conn_endpoints">
          <dia:point val="12.2556,-4.81555"/>
          <dia:point val="12.8166,-3.90445"/>
        </dia:attribute>
        <dia:attribute name="numcp">
          <dia:int val="1"/>
        </dia:attribute>
        <dia:connections>
          <dia:connection handle="0" to="O32" connection="7"/>
          <dia:connection handle="1" to="O31" connection="0"/>
        </dia:connections>
      </dia:object>
    </dia:group>
    <dia:group>
      <dia:object type="Standard - Box" version="0" id="O38">
        <dia:attribute name="obj_pos">
          <dia:point val="11.9111,-0.45"/>
        </dia:attribute>
        <dia:attribute name="obj_bb">
          <dia:rectangle val="11.8611,-0.5;16.0111,1.75"/>
        </dia:attribute>
        <dia:attribute name="elem_corner">
          <dia:point val="11.9111,-0.45"/>
        </dia:attribute>
        <dia:attribute name="elem_width">
          <dia:real val="4.0500000000000007"/>
        </dia:attribute>
        <dia:attribute name="elem_height">
          <dia:real val="2.1500000000000004"/>
        </dia:attribute>
        <dia:attribute name="show_background">
          <dia:boolean val="true"/>
        </dia:attribute>
      </dia:object>
      <dia:object type="Standard - Text" version="0" id="O39">
        <dia:attribute name="obj_pos">
          <dia:point val="12.8111,0.5"/>
        </dia:attribute>
        <dia:attribute name="obj_bb">
          <dia:rectangle val="12.8111,-0.05;15.0111,1.7"/>
        </dia:attribute>
        <dia:attribute name="text">
          <dia:composite type="text">
            <dia:attribute name="string">
              <dia:string>#Symbol
Table#</dia:string>
            </dia:attribute>
            <dia:attribute name="font">
              <dia:font family="sans" style="0" name="Helvetica"/>
            </dia:attribute>
            <dia:attribute name="height">
              <dia:real val="0.80000000000000004"/>
            </dia:attribute>
            <dia:attribute name="pos">
              <dia:point val="12.8111,0.5"/>
            </dia:attribute>
            <dia:attribute name="color">
              <dia:color val="#000000"/>
            </dia:attribute>
            <dia:attribute name="alignment">
              <dia:enum val="0"/>
            </dia:attribute>
          </dia:composite>
        </dia:attribute>
      </dia:object>
    </dia:group>
    <dia:object type="Standard - Text" version="0" id="O40">
      <dia:attribute name="obj_pos">
        <dia:point val="6.7611,-3.1"/>
      </dia:attribute>
      <dia:attribute name="obj_bb">
        <dia:rectangle val="6.7611,-3.6675;9.9786,-2.665"/>
      </dia:attribute>
      <dia:attribute name="text">
        <dia:composite type="text">
          <dia:attribute name="string">
            <dia:string>#Typecheck#</dia:string>
          </dia:attribute>
          <dia:attribute name="font">
            <dia:font family="sans" style="0" name="Helvetica"/>
          </dia:attribute>
          <dia:attribute name="height">
            <dia:real val="0.80000000000000004"/>
          </dia:attribute>
          <dia:attribute name="pos">
            <dia:point val="6.7611,-3.1"/>
          </dia:attribute>
          <dia:attribute name="color">
            <dia:color val="#000000"/>
          </dia:attribute>
          <dia:attribute name="alignment">
            <dia:enum val="0"/>
          </dia:attribute>
        </dia:composite>
      </dia:attribute>
    </dia:object>
  </dia:layer>
</dia:diagram>
