Home | History | Annotate | Download | only in docs
      1 <?xml version="1.0" encoding="UTF-8"?>
      2 <dia:diagram xmlns:dia="http://www.lysator.liu.se/~alla/dia/">
      3   <dia:diagramdata>
      4     <dia:attribute name="background">
      5       <dia:color val="#ffffff"/>
      6     </dia:attribute>
      7     <dia:attribute name="pagebreak">
      8       <dia:color val="#000099"/>
      9     </dia:attribute>
     10     <dia:attribute name="paper">
     11       <dia:composite type="paper">
     12         <dia:attribute name="name">
     13           <dia:string>#A4#</dia:string>
     14         </dia:attribute>
     15         <dia:attribute name="tmargin">
     16           <dia:real val="2.8222000598907471"/>
     17         </dia:attribute>
     18         <dia:attribute name="bmargin">
     19           <dia:real val="2.8222000598907471"/>
     20         </dia:attribute>
     21         <dia:attribute name="lmargin">
     22           <dia:real val="2.8222000598907471"/>
     23         </dia:attribute>
     24         <dia:attribute name="rmargin">
     25           <dia:real val="2.8222000598907471"/>
     26         </dia:attribute>
     27         <dia:attribute name="is_portrait">
     28           <dia:boolean val="true"/>
     29         </dia:attribute>
     30         <dia:attribute name="scaling">
     31           <dia:real val="1"/>
     32         </dia:attribute>
     33         <dia:attribute name="fitto">
     34           <dia:boolean val="false"/>
     35         </dia:attribute>
     36       </dia:composite>
     37     </dia:attribute>
     38     <dia:attribute name="grid">
     39       <dia:composite type="grid">
     40         <dia:attribute name="width_x">
     41           <dia:real val="1"/>
     42         </dia:attribute>
     43         <dia:attribute name="width_y">
     44           <dia:real val="1"/>
     45         </dia:attribute>
     46         <dia:attribute name="visible_x">
     47           <dia:int val="1"/>
     48         </dia:attribute>
     49         <dia:attribute name="visible_y">
     50           <dia:int val="1"/>
     51         </dia:attribute>
     52         <dia:composite type="color"/>
     53       </dia:composite>
     54     </dia:attribute>
     55     <dia:attribute name="color">
     56       <dia:color val="#d8e5e5"/>
     57     </dia:attribute>
     58     <dia:attribute name="guides">
     59       <dia:composite type="guides">
     60         <dia:attribute name="hguides"/>
     61         <dia:attribute name="vguides"/>
     62       </dia:composite>
     63     </dia:attribute>
     64   </dia:diagramdata>
     65   <dia:layer name="Background" visible="true">
     66     <dia:object type="Geometric - Perfect Circle" version="0" id="O0">
     67       <dia:attribute name="obj_pos">
     68         <dia:point val="17,4"/>
     69       </dia:attribute>
     70       <dia:attribute name="obj_bb">
     71         <dia:rectangle val="16.95,3.95;19.05,6.05"/>
     72       </dia:attribute>
     73       <dia:attribute name="elem_corner">
     74         <dia:point val="17,4"/>
     75       </dia:attribute>
     76       <dia:attribute name="elem_width">
     77         <dia:real val="2"/>
     78       </dia:attribute>
     79       <dia:attribute name="elem_height">
     80         <dia:real val="2"/>
     81       </dia:attribute>
     82       <dia:attribute name="line_width">
     83         <dia:real val="0.10000000000000001"/>
     84       </dia:attribute>
     85       <dia:attribute name="line_colour">
     86         <dia:color val="#000000"/>
     87       </dia:attribute>
     88       <dia:attribute name="fill_colour">
     89         <dia:color val="#ffffff"/>
     90       </dia:attribute>
     91       <dia:attribute name="show_background">
     92         <dia:boolean val="true"/>
     93       </dia:attribute>
     94       <dia:attribute name="line_style">
     95         <dia:enum val="0"/>
     96         <dia:real val="1"/>
     97       </dia:attribute>
     98       <dia:attribute name="flip_horizontal">
     99         <dia:boolean val="false"/>
    100       </dia:attribute>
    101       <dia:attribute name="flip_vertical">
    102         <dia:boolean val="false"/>
    103       </dia:attribute>
    104     </dia:object>
    105     <dia:object type="Geometric - Perfect Circle" version="0" id="O1">
    106       <dia:attribute name="obj_pos">
    107         <dia:point val="25,5"/>
    108       </dia:attribute>
    109       <dia:attribute name="obj_bb">
    110         <dia:rectangle val="24.95,4.95;27.05,7.05"/>
    111       </dia:attribute>
    112       <dia:attribute name="elem_corner">
    113         <dia:point val="25,5"/>
    114       </dia:attribute>
    115       <dia:attribute name="elem_width">
    116         <dia:real val="2"/>
    117       </dia:attribute>
    118       <dia:attribute name="elem_height">
    119         <dia:real val="2"/>
    120       </dia:attribute>
    121       <dia:attribute name="line_width">
    122         <dia:real val="0.10000000000000001"/>
    123       </dia:attribute>
    124       <dia:attribute name="line_colour">
    125         <dia:color val="#000000"/>
    126       </dia:attribute>
    127       <dia:attribute name="fill_colour">
    128         <dia:color val="#ffffff"/>
    129       </dia:attribute>
    130       <dia:attribute name="show_background">
    131         <dia:boolean val="true"/>
    132       </dia:attribute>
    133       <dia:attribute name="line_style">
    134         <dia:enum val="0"/>
    135         <dia:real val="1"/>
    136       </dia:attribute>
    137       <dia:attribute name="flip_horizontal">
    138         <dia:boolean val="false"/>
    139       </dia:attribute>
    140       <dia:attribute name="flip_vertical">
    141         <dia:boolean val="false"/>
    142       </dia:attribute>
    143     </dia:object>
    144     <dia:object type="Geometric - Perfect Circle" version="0" id="O2">
    145       <dia:attribute name="obj_pos">
    146         <dia:point val="42,10"/>
    147       </dia:attribute>
    148       <dia:attribute name="obj_bb">
    149         <dia:rectangle val="41.95,9.95;44.05,12.05"/>
    150       </dia:attribute>
    151       <dia:attribute name="elem_corner">
    152         <dia:point val="42,10"/>
    153       </dia:attribute>
    154       <dia:attribute name="elem_width">
    155         <dia:real val="2"/>
    156       </dia:attribute>
    157       <dia:attribute name="elem_height">
    158         <dia:real val="2"/>
    159       </dia:attribute>
    160       <dia:attribute name="line_width">
    161         <dia:real val="0.10000000000000001"/>
    162       </dia:attribute>
    163       <dia:attribute name="line_colour">
    164         <dia:color val="#000000"/>
    165       </dia:attribute>
    166       <dia:attribute name="fill_colour">
    167         <dia:color val="#ffffff"/>
    168       </dia:attribute>
    169       <dia:attribute name="show_background">
    170         <dia:boolean val="true"/>
    171       </dia:attribute>
    172       <dia:attribute name="line_style">
    173         <dia:enum val="0"/>
    174         <dia:real val="1"/>
    175       </dia:attribute>
    176       <dia:attribute name="flip_horizontal">
    177         <dia:boolean val="false"/>
    178       </dia:attribute>
    179       <dia:attribute name="flip_vertical">
    180         <dia:boolean val="false"/>
    181       </dia:attribute>
    182     </dia:object>
    183     <dia:object type="Geometric - Perfect Circle" version="0" id="O3">
    184       <dia:attribute name="obj_pos">
    185         <dia:point val="17,19"/>
    186       </dia:attribute>
    187       <dia:attribute name="obj_bb">
    188         <dia:rectangle val="16.95,18.95;19.05,21.05"/>
    189       </dia:attribute>
    190       <dia:attribute name="elem_corner">
    191         <dia:point val="17,19"/>
    192       </dia:attribute>
    193       <dia:attribute name="elem_width">
    194         <dia:real val="2"/>
    195       </dia:attribute>
    196       <dia:attribute name="elem_height">
    197         <dia:real val="2"/>
    198       </dia:attribute>
    199       <dia:attribute name="line_width">
    200         <dia:real val="0.10000000000000001"/>
    201       </dia:attribute>
    202       <dia:attribute name="line_colour">
    203         <dia:color val="#000000"/>
    204       </dia:attribute>
    205       <dia:attribute name="fill_colour">
    206         <dia:color val="#ffffff"/>
    207       </dia:attribute>
    208       <dia:attribute name="show_background">
    209         <dia:boolean val="true"/>
    210       </dia:attribute>
    211       <dia:attribute name="line_style">
    212         <dia:enum val="0"/>
    213         <dia:real val="1"/>
    214       </dia:attribute>
    215       <dia:attribute name="flip_horizontal">
    216         <dia:boolean val="false"/>
    217       </dia:attribute>
    218       <dia:attribute name="flip_vertical">
    219         <dia:boolean val="false"/>
    220       </dia:attribute>
    221     </dia:object>
    222     <dia:object type="Geometric - Perfect Circle" version="0" id="O4">
    223       <dia:attribute name="obj_pos">
    224         <dia:point val="36,26"/>
    225       </dia:attribute>
    226       <dia:attribute name="obj_bb">
    227         <dia:rectangle val="35.95,25.95;38.05,28.05"/>
    228       </dia:attribute>
    229       <dia:attribute name="elem_corner">
    230         <dia:point val="36,26"/>
    231       </dia:attribute>
    232       <dia:attribute name="elem_width">
    233         <dia:real val="2.0000305175199173"/>
    234       </dia:attribute>
    235       <dia:attribute name="elem_height">
    236         <dia:real val="2.0000305175199173"/>
    237       </dia:attribute>
    238       <dia:attribute name="line_width">
    239         <dia:real val="0.10000000000000001"/>
    240       </dia:attribute>
    241       <dia:attribute name="line_colour">
    242         <dia:color val="#bfbfbf"/>
    243       </dia:attribute>
    244       <dia:attribute name="fill_colour">
    245         <dia:color val="#ffffff"/>
    246       </dia:attribute>
    247       <dia:attribute name="show_background">
    248         <dia:boolean val="true"/>
    249       </dia:attribute>
    250       <dia:attribute name="line_style">
    251         <dia:enum val="0"/>
    252         <dia:real val="1"/>
    253       </dia:attribute>
    254       <dia:attribute name="flip_horizontal">
    255         <dia:boolean val="false"/>
    256       </dia:attribute>
    257       <dia:attribute name="flip_vertical">
    258         <dia:boolean val="false"/>
    259       </dia:attribute>
    260     </dia:object>
    261     <dia:object type="Standard - Line" version="0" id="O5">
    262       <dia:attribute name="obj_pos">
    263         <dia:point val="19,5"/>
    264       </dia:attribute>
    265       <dia:attribute name="obj_bb">
    266         <dia:rectangle val="18.9425,4.94246;25.1315,6.50142"/>
    267       </dia:attribute>
    268       <dia:attribute name="conn_endpoints">
    269         <dia:point val="19,5"/>
    270         <dia:point val="25,6"/>
    271       </dia:attribute>
    272       <dia:attribute name="numcp">
    273         <dia:int val="1"/>
    274       </dia:attribute>
    275       <dia:attribute name="end_arrow">
    276         <dia:enum val="22"/>
    277       </dia:attribute>
    278       <dia:attribute name="end_arrow_length">
    279         <dia:real val="0.5"/>
    280       </dia:attribute>
    281       <dia:attribute name="end_arrow_width">
    282         <dia:real val="0.5"/>
    283       </dia:attribute>
    284       <dia:connections>
    285         <dia:connection handle="0" to="O0" connection="3"/>
    286         <dia:connection handle="1" to="O1" connection="2"/>
    287       </dia:connections>
    288     </dia:object>
    289     <dia:object type="Standard - Line" version="0" id="O6">
    290       <dia:attribute name="obj_pos">
    291         <dia:point val="42,11"/>
    292       </dia:attribute>
    293       <dia:attribute name="obj_bb">
    294         <dia:rectangle val="18.7712,10.9352;42.0648,20.4838"/>
    295       </dia:attribute>
    296       <dia:attribute name="conn_endpoints">
    297         <dia:point val="42,11"/>
    298         <dia:point val="19,20"/>
    299       </dia:attribute>
    300       <dia:attribute name="numcp">
    301         <dia:int val="1"/>
    302       </dia:attribute>
    303       <dia:attribute name="end_arrow">
    304         <dia:enum val="22"/>
    305       </dia:attribute>
    306       <dia:attribute name="end_arrow_length">
    307         <dia:real val="0.5"/>
    308       </dia:attribute>
    309       <dia:attribute name="end_arrow_width">
    310         <dia:real val="0.5"/>
    311       </dia:attribute>
    312       <dia:connections>
    313         <dia:connection handle="0" to="O2" connection="2"/>
    314         <dia:connection handle="1" to="O3" connection="3"/>
    315       </dia:connections>
    316     </dia:object>
    317     <dia:object type="Standard - Arc" version="0" id="O7">
    318       <dia:attribute name="obj_pos">
    319         <dia:point val="18,19"/>
    320       </dia:attribute>
    321       <dia:attribute name="obj_bb">
    322         <dia:rectangle val="17.9307,6.68105;26.4438,19.0693"/>
    323       </dia:attribute>
    324       <dia:attribute name="conn_endpoints">
    325         <dia:point val="18,19"/>
    326         <dia:point val="26,7"/>
    327       </dia:attribute>
    328       <dia:attribute name="curve_distance">
    329         <dia:real val="1"/>
    330       </dia:attribute>
    331       <dia:attribute name="end_arrow">
    332         <dia:enum val="22"/>
    333       </dia:attribute>
    334       <dia:attribute name="end_arrow_length">
    335         <dia:real val="0.5"/>
    336       </dia:attribute>
    337       <dia:attribute name="end_arrow_width">
    338         <dia:real val="0.5"/>
    339       </dia:attribute>
    340       <dia:connections>
    341         <dia:connection handle="0" to="O3" connection="1"/>
    342         <dia:connection handle="1" to="O1" connection="0"/>
    343       </dia:connections>
    344     </dia:object>
    345     <dia:object type="Standard - Arc" version="0" id="O8">
    346       <dia:attribute name="obj_pos">
    347         <dia:point val="26,7"/>
    348       </dia:attribute>
    349       <dia:attribute name="obj_bb">
    350         <dia:rectangle val="17.5562,6.93066;26.0693,19.319"/>
    351       </dia:attribute>
    352       <dia:attribute name="conn_endpoints">
    353         <dia:point val="26,7"/>
    354         <dia:point val="18,19"/>
    355       </dia:attribute>
    356       <dia:attribute name="curve_distance">
    357         <dia:real val="1"/>
    358       </dia:attribute>
    359       <dia:attribute name="end_arrow">
    360         <dia:enum val="22"/>
    361       </dia:attribute>
    362       <dia:attribute name="end_arrow_length">
    363         <dia:real val="0.5"/>
    364       </dia:attribute>
    365       <dia:attribute name="end_arrow_width">
    366         <dia:real val="0.5"/>
    367       </dia:attribute>
    368       <dia:connections>
    369         <dia:connection handle="0" to="O1" connection="0"/>
    370         <dia:connection handle="1" to="O3" connection="1"/>
    371       </dia:connections>
    372     </dia:object>
    373     <dia:object type="Standard - Arc" version="0" id="O9">
    374       <dia:attribute name="obj_pos">
    375         <dia:point val="18,21"/>
    376       </dia:attribute>
    377       <dia:attribute name="obj_bb">
    378         <dia:rectangle val="17.9368,20.9368;36.2055,27.4902"/>
    379       </dia:attribute>
    380       <dia:attribute name="conn_endpoints">
    381         <dia:point val="18,21"/>
    382         <dia:point val="36,27"/>
    383       </dia:attribute>
    384       <dia:attribute name="arc_color">
    385         <dia:color val="#7f7f7f"/>
    386       </dia:attribute>
    387       <dia:attribute name="curve_distance">
    388         <dia:real val="1"/>
    389       </dia:attribute>
    390       <dia:attribute name="end_arrow">
    391         <dia:enum val="22"/>
    392       </dia:attribute>
    393       <dia:attribute name="end_arrow_length">
    394         <dia:real val="0.5"/>
    395       </dia:attribute>
    396       <dia:attribute name="end_arrow_width">
    397         <dia:real val="0.5"/>
    398       </dia:attribute>
    399       <dia:connections>
    400         <dia:connection handle="0" to="O3" connection="0"/>
    401         <dia:connection handle="1" to="O4" connection="2"/>
    402       </dia:connections>
    403     </dia:object>
    404     <dia:object type="Standard - Arc" version="0" id="O10">
    405       <dia:attribute name="obj_pos">
    406         <dia:point val="36,27"/>
    407       </dia:attribute>
    408       <dia:attribute name="obj_bb">
    409         <dia:rectangle val="17.7945,20.5098;36.0632,27.0632"/>
    410       </dia:attribute>
    411       <dia:attribute name="conn_endpoints">
    412         <dia:point val="36,27"/>
    413         <dia:point val="18,21"/>
    414       </dia:attribute>
    415       <dia:attribute name="arc_color">
    416         <dia:color val="#7f7f7f"/>
    417       </dia:attribute>
    418       <dia:attribute name="curve_distance">
    419         <dia:real val="1"/>
    420       </dia:attribute>
    421       <dia:attribute name="end_arrow">
    422         <dia:enum val="22"/>
    423       </dia:attribute>
    424       <dia:attribute name="end_arrow_length">
    425         <dia:real val="0.5"/>
    426       </dia:attribute>
    427       <dia:attribute name="end_arrow_width">
    428         <dia:real val="0.5"/>
    429       </dia:attribute>
    430       <dia:connections>
    431         <dia:connection handle="0" to="O4" connection="2"/>
    432         <dia:connection handle="1" to="O3" connection="0"/>
    433       </dia:connections>
    434     </dia:object>
    435     <dia:object type="Standard - Arc" version="0" id="O11">
    436       <dia:attribute name="obj_pos">
    437         <dia:point val="38,27"/>
    438       </dia:attribute>
    439       <dia:attribute name="obj_bb">
    440         <dia:rectangle val="37.9368,11.7945;43.4902,27.0632"/>
    441       </dia:attribute>
    442       <dia:attribute name="conn_endpoints">
    443         <dia:point val="38,27"/>
    444         <dia:point val="43,12"/>
    445       </dia:attribute>
    446       <dia:attribute name="arc_color">
    447         <dia:color val="#7f7f7f"/>
    448       </dia:attribute>
    449       <dia:attribute name="curve_distance">
    450         <dia:real val="1"/>
    451       </dia:attribute>
    452       <dia:attribute name="end_arrow">
    453         <dia:enum val="22"/>
    454       </dia:attribute>
    455       <dia:attribute name="end_arrow_length">
    456         <dia:real val="0.5"/>
    457       </dia:attribute>
    458       <dia:attribute name="end_arrow_width">
    459         <dia:real val="0.5"/>
    460       </dia:attribute>
    461       <dia:connections>
    462         <dia:connection handle="0" to="O4" connection="3"/>
    463         <dia:connection handle="1" to="O2" connection="0"/>
    464       </dia:connections>
    465     </dia:object>
    466     <dia:object type="Standard - Arc" version="0" id="O12">
    467       <dia:attribute name="obj_pos">
    468         <dia:point val="43,12"/>
    469       </dia:attribute>
    470       <dia:attribute name="obj_bb">
    471         <dia:rectangle val="37.5098,11.9368;43.0632,27.2055"/>
    472       </dia:attribute>
    473       <dia:attribute name="conn_endpoints">
    474         <dia:point val="43,12"/>
    475         <dia:point val="38,27"/>
    476       </dia:attribute>
    477       <dia:attribute name="arc_color">
    478         <dia:color val="#7f7f7f"/>
    479       </dia:attribute>
    480       <dia:attribute name="curve_distance">
    481         <dia:real val="1"/>
    482       </dia:attribute>
    483       <dia:attribute name="end_arrow">
    484         <dia:enum val="22"/>
    485       </dia:attribute>
    486       <dia:attribute name="end_arrow_length">
    487         <dia:real val="0.5"/>
    488       </dia:attribute>
    489       <dia:attribute name="end_arrow_width">
    490         <dia:real val="0.5"/>
    491       </dia:attribute>
    492       <dia:connections>
    493         <dia:connection handle="0" to="O2" connection="0"/>
    494         <dia:connection handle="1" to="O4" connection="3"/>
    495       </dia:connections>
    496     </dia:object>
    497     <dia:object type="Standard - Arc" version="0" id="O13">
    498       <dia:attribute name="obj_pos">
    499         <dia:point val="37,26"/>
    500       </dia:attribute>
    501       <dia:attribute name="obj_bb">
    502         <dia:rectangle val="26.5304,5.73167;37.0671,26.0671"/>
    503       </dia:attribute>
    504       <dia:attribute name="conn_endpoints">
    505         <dia:point val="37,26"/>
    506         <dia:point val="27,6"/>
    507       </dia:attribute>
    508       <dia:attribute name="arc_color">
    509         <dia:color val="#7f7f7f"/>
    510       </dia:attribute>
    511       <dia:attribute name="curve_distance">
    512         <dia:real val="1"/>
    513       </dia:attribute>
    514       <dia:attribute name="end_arrow">
    515         <dia:enum val="22"/>
    516       </dia:attribute>
    517       <dia:attribute name="end_arrow_length">
    518         <dia:real val="0.5"/>
    519       </dia:attribute>
    520       <dia:attribute name="end_arrow_width">
    521         <dia:real val="0.5"/>
    522       </dia:attribute>
    523       <dia:connections>
    524         <dia:connection handle="0" to="O4" connection="1"/>
    525         <dia:connection handle="1" to="O1" connection="3"/>
    526       </dia:connections>
    527     </dia:object>
    528     <dia:object type="Standard - Arc" version="0" id="O14">
    529       <dia:attribute name="obj_pos">
    530         <dia:point val="27,6"/>
    531       </dia:attribute>
    532       <dia:attribute name="obj_bb">
    533         <dia:rectangle val="26.9329,5.93292;37.4696,26.2683"/>
    534       </dia:attribute>
    535       <dia:attribute name="conn_endpoints">
    536         <dia:point val="27,6"/>
    537         <dia:point val="37,26"/>
    538       </dia:attribute>
    539       <dia:attribute name="arc_color">
    540         <dia:color val="#7f7f7f"/>
    541       </dia:attribute>
    542       <dia:attribute name="curve_distance">
    543         <dia:real val="1"/>
    544       </dia:attribute>
    545       <dia:attribute name="end_arrow">
    546         <dia:enum val="22"/>
    547       </dia:attribute>
    548       <dia:attribute name="end_arrow_length">
    549         <dia:real val="0.5"/>
    550       </dia:attribute>
    551       <dia:attribute name="end_arrow_width">
    552         <dia:real val="0.5"/>
    553       </dia:attribute>
    554       <dia:connections>
    555         <dia:connection handle="0" to="O1" connection="3"/>
    556         <dia:connection handle="1" to="O4" connection="1"/>
    557       </dia:connections>
    558     </dia:object>
    559     <dia:object type="Standard - Arc" version="0" id="O15">
    560       <dia:attribute name="obj_pos">
    561         <dia:point val="26,5"/>
    562       </dia:attribute>
    563       <dia:attribute name="obj_bb">
    564         <dia:rectangle val="25.9379,4.32084;43.1891,10.4938"/>
    565       </dia:attribute>
    566       <dia:attribute name="conn_endpoints">
    567         <dia:point val="26,5"/>
    568         <dia:point val="43,10"/>
    569       </dia:attribute>
    570       <dia:attribute name="curve_distance">
    571         <dia:real val="-2.5575097323624019"/>
    572       </dia:attribute>
    573       <dia:attribute name="end_arrow">
    574         <dia:enum val="22"/>
    575       </dia:attribute>
    576       <dia:attribute name="end_arrow_length">
    577         <dia:real val="0.5"/>
    578       </dia:attribute>
    579       <dia:attribute name="end_arrow_width">
    580         <dia:real val="0.5"/>
    581       </dia:attribute>
    582       <dia:connections>
    583         <dia:connection handle="0" to="O1" connection="1"/>
    584         <dia:connection handle="1" to="O2" connection="1"/>
    585       </dia:connections>
    586     </dia:object>
    587     <dia:object type="Standard - Text" version="0" id="O16">
    588       <dia:attribute name="obj_pos">
    589         <dia:point val="12,4"/>
    590       </dia:attribute>
    591       <dia:attribute name="obj_bb">
    592         <dia:rectangle val="12,3.4;16.9,4.35"/>
    593       </dia:attribute>
    594       <dia:attribute name="text">
    595         <dia:composite type="text">
    596           <dia:attribute name="string">
    597             <dia:string>#SERVER_INVALID#</dia:string>
    598           </dia:attribute>
    599           <dia:attribute name="font">
    600             <dia:font family="sans" style="0" name="Helvetica"/>
    601           </dia:attribute>
    602           <dia:attribute name="height">
    603             <dia:real val="0.80000000000000004"/>
    604           </dia:attribute>
    605           <dia:attribute name="pos">
    606             <dia:point val="12,4"/>
    607           </dia:attribute>
    608           <dia:attribute name="color">
    609             <dia:color val="#000000"/>
    610           </dia:attribute>
    611           <dia:attribute name="alignment">
    612             <dia:enum val="0"/>
    613           </dia:attribute>
    614         </dia:composite>
    615       </dia:attribute>
    616     </dia:object>
    617     <dia:object type="Standard - Text" version="0" id="O17">
    618       <dia:attribute name="obj_pos">
    619         <dia:point val="28,6"/>
    620       </dia:attribute>
    621       <dia:attribute name="obj_bb">
    622         <dia:rectangle val="28,5.4;34.65,6.35"/>
    623       </dia:attribute>
    624       <dia:attribute name="text">
    625         <dia:composite type="text">
    626           <dia:attribute name="string">
    627             <dia:string>#SERVER_REGISTERING#</dia:string>
    628           </dia:attribute>
    629           <dia:attribute name="font">
    630             <dia:font family="sans" style="0" name="Helvetica"/>
    631           </dia:attribute>
    632           <dia:attribute name="height">
    633             <dia:real val="0.80000000000000004"/>
    634           </dia:attribute>
    635           <dia:attribute name="pos">
    636             <dia:point val="28,6"/>
    637           </dia:attribute>
    638           <dia:attribute name="color">
    639             <dia:color val="#000000"/>
    640           </dia:attribute>
    641           <dia:attribute name="alignment">
    642             <dia:enum val="0"/>
    643           </dia:attribute>
    644         </dia:composite>
    645       </dia:attribute>
    646     </dia:object>
    647     <dia:object type="Standard - Text" version="0" id="O18">
    648       <dia:attribute name="obj_pos">
    649         <dia:point val="45,10"/>
    650       </dia:attribute>
    651       <dia:attribute name="obj_bb">
    652         <dia:rectangle val="45,9.4;50.45,10.35"/>
    653       </dia:attribute>
    654       <dia:attribute name="text">
    655         <dia:composite type="text">
    656           <dia:attribute name="string">
    657             <dia:string>#SERVER_RUNNING#</dia:string>
    658           </dia:attribute>
    659           <dia:attribute name="font">
    660             <dia:font family="sans" style="0" name="Helvetica"/>
    661           </dia:attribute>
    662           <dia:attribute name="height">
    663             <dia:real val="0.80000000000000004"/>
    664           </dia:attribute>
    665           <dia:attribute name="pos">
    666             <dia:point val="45,10"/>
    667           </dia:attribute>
    668           <dia:attribute name="color">
    669             <dia:color val="#000000"/>
    670           </dia:attribute>
    671           <dia:attribute name="alignment">
    672             <dia:enum val="0"/>
    673           </dia:attribute>
    674         </dia:composite>
    675       </dia:attribute>
    676     </dia:object>
    677     <dia:object type="Standard - Text" version="0" id="O19">
    678       <dia:attribute name="obj_pos">
    679         <dia:point val="39,29"/>
    680       </dia:attribute>
    681       <dia:attribute name="obj_bb">
    682         <dia:rectangle val="39,28.4;46.1,29.35"/>
    683       </dia:attribute>
    684       <dia:attribute name="text">
    685         <dia:composite type="text">
    686           <dia:attribute name="string">
    687             <dia:string>#CLIENT_DISCONNECTED#</dia:string>
    688           </dia:attribute>
    689           <dia:attribute name="font">
    690             <dia:font family="sans" style="0" name="Helvetica"/>
    691           </dia:attribute>
    692           <dia:attribute name="height">
    693             <dia:real val="0.80000000000000004"/>
    694           </dia:attribute>
    695           <dia:attribute name="pos">
    696             <dia:point val="39,29"/>
    697           </dia:attribute>
    698           <dia:attribute name="color">
    699             <dia:color val="#000000"/>
    700           </dia:attribute>
    701           <dia:attribute name="alignment">
    702             <dia:enum val="0"/>
    703           </dia:attribute>
    704         </dia:composite>
    705       </dia:attribute>
    706     </dia:object>
    707     <dia:object type="Standard - Text" version="0" id="O20">
    708       <dia:attribute name="obj_pos">
    709         <dia:point val="10,20"/>
    710       </dia:attribute>
    711       <dia:attribute name="obj_bb">
    712         <dia:rectangle val="10,19.4;15.7,20.35"/>
    713       </dia:attribute>
    714       <dia:attribute name="text">
    715         <dia:composite type="text">
    716           <dia:attribute name="string">
    717             <dia:string>#SERVER_COLLISION#</dia:string>
    718           </dia:attribute>
    719           <dia:attribute name="font">
    720             <dia:font family="sans" style="0" name="Helvetica"/>
    721           </dia:attribute>
    722           <dia:attribute name="height">
    723             <dia:real val="0.80000000000000004"/>
    724           </dia:attribute>
    725           <dia:attribute name="pos">
    726             <dia:point val="10,20"/>
    727           </dia:attribute>
    728           <dia:attribute name="color">
    729             <dia:color val="#000000"/>
    730           </dia:attribute>
    731           <dia:attribute name="alignment">
    732             <dia:enum val="0"/>
    733           </dia:attribute>
    734         </dia:composite>
    735       </dia:attribute>
    736     </dia:object>
    737     <dia:object type="Geometric - Quarter Circle" version="0" id="O21">
    738       <dia:attribute name="obj_pos">
    739         <dia:point val="17,4"/>
    740       </dia:attribute>
    741       <dia:attribute name="obj_bb">
    742         <dia:rectangle val="16.95,3.95;18.0707,5.07071"/>
    743       </dia:attribute>
    744       <dia:attribute name="elem_corner">
    745         <dia:point val="17,4"/>
    746       </dia:attribute>
    747       <dia:attribute name="elem_width">
    748         <dia:real val="1"/>
    749       </dia:attribute>
    750       <dia:attribute name="elem_height">
    751         <dia:real val="1"/>
    752       </dia:attribute>
    753       <dia:attribute name="line_width">
    754         <dia:real val="0.10000000000000001"/>
    755       </dia:attribute>
    756       <dia:attribute name="line_colour">
    757         <dia:color val="#000000"/>
    758       </dia:attribute>
    759       <dia:attribute name="fill_colour">
    760         <dia:color val="#000000"/>
    761       </dia:attribute>
    762       <dia:attribute name="show_background">
    763         <dia:boolean val="true"/>
    764       </dia:attribute>
    765       <dia:attribute name="line_style">
    766         <dia:enum val="0"/>
    767         <dia:real val="1"/>
    768       </dia:attribute>
    769       <dia:attribute name="flip_horizontal">
    770         <dia:boolean val="true"/>
    771       </dia:attribute>
    772       <dia:attribute name="flip_vertical">
    773         <dia:boolean val="false"/>
    774       </dia:attribute>
    775     </dia:object>
    776     <dia:object type="Geometric - Quarter Circle" version="0" id="O22">
    777       <dia:attribute name="obj_pos">
    778         <dia:point val="17,5"/>
    779       </dia:attribute>
    780       <dia:attribute name="obj_bb">
    781         <dia:rectangle val="16.95,4.92929;18.0707,6.05"/>
    782       </dia:attribute>
    783       <dia:attribute name="elem_corner">
    784         <dia:point val="17,5"/>
    785       </dia:attribute>
    786       <dia:attribute name="elem_width">
    787         <dia:real val="1"/>
    788       </dia:attribute>
    789       <dia:attribute name="elem_height">
    790         <dia:real val="1"/>
    791       </dia:attribute>
    792       <dia:attribute name="line_width">
    793         <dia:real val="0.10000000000000001"/>
    794       </dia:attribute>
    795       <dia:attribute name="line_colour">
    796         <dia:color val="#000000"/>
    797       </dia:attribute>
    798       <dia:attribute name="fill_colour">
    799         <dia:color val="#000000"/>
    800       </dia:attribute>
    801       <dia:attribute name="show_background">
    802         <dia:boolean val="true"/>
    803       </dia:attribute>
    804       <dia:attribute name="line_style">
    805         <dia:enum val="0"/>
    806         <dia:real val="1"/>
    807       </dia:attribute>
    808       <dia:attribute name="flip_horizontal">
    809         <dia:boolean val="true"/>
    810       </dia:attribute>
    811       <dia:attribute name="flip_vertical">
    812         <dia:boolean val="true"/>
    813       </dia:attribute>
    814     </dia:object>
    815     <dia:object type="Standard - Line" version="0" id="O23">
    816       <dia:attribute name="obj_pos">
    817         <dia:point val="19,28"/>
    818       </dia:attribute>
    819       <dia:attribute name="obj_bb">
    820         <dia:rectangle val="18.9329,13.9329;47.0671,28.0671"/>
    821       </dia:attribute>
    822       <dia:attribute name="conn_endpoints">
    823         <dia:point val="19,28"/>
    824         <dia:point val="47,14"/>
    825       </dia:attribute>
    826       <dia:attribute name="numcp">
    827         <dia:int val="1"/>
    828       </dia:attribute>
    829       <dia:attribute name="line_color">
    830         <dia:color val="#bfbfbf"/>
    831       </dia:attribute>
    832       <dia:attribute name="line_style">
    833         <dia:enum val="4"/>
    834       </dia:attribute>
    835     </dia:object>
    836     <dia:object type="Standard - Text" version="0" id="O24">
    837       <dia:attribute name="obj_pos">
    838         <dia:point val="21,29"/>
    839       </dia:attribute>
    840       <dia:attribute name="obj_bb">
    841         <dia:rectangle val="21,28.4;24.25,29.35"/>
    842       </dia:attribute>
    843       <dia:attribute name="text">
    844         <dia:composite type="text">
    845           <dia:attribute name="string">
    846             <dia:string>#Client side#</dia:string>
    847           </dia:attribute>
    848           <dia:attribute name="font">
    849             <dia:font family="sans" style="0" name="Helvetica"/>
    850           </dia:attribute>
    851           <dia:attribute name="height">
    852             <dia:real val="0.80000000000000004"/>
    853           </dia:attribute>
    854           <dia:attribute name="pos">
    855             <dia:point val="21,29"/>
    856           </dia:attribute>
    857           <dia:attribute name="color">
    858             <dia:color val="#bfbfbf"/>
    859           </dia:attribute>
    860           <dia:attribute name="alignment">
    861             <dia:enum val="0"/>
    862           </dia:attribute>
    863         </dia:composite>
    864       </dia:attribute>
    865     </dia:object>
    866     <dia:object type="Standard - Text" version="0" id="O25">
    867       <dia:attribute name="obj_pos">
    868         <dia:point val="18,26"/>
    869       </dia:attribute>
    870       <dia:attribute name="obj_bb">
    871         <dia:rectangle val="18,25.4;21.5,26.35"/>
    872       </dia:attribute>
    873       <dia:attribute name="text">
    874         <dia:composite type="text">
    875           <dia:attribute name="string">
    876             <dia:string>#Server side#</dia:string>
    877           </dia:attribute>
    878           <dia:attribute name="font">
    879             <dia:font family="sans" style="0" name="Helvetica"/>
    880           </dia:attribute>
    881           <dia:attribute name="height">
    882             <dia:real val="0.80000000000000004"/>
    883           </dia:attribute>
    884           <dia:attribute name="pos">
    885             <dia:point val="18,26"/>
    886           </dia:attribute>
    887           <dia:attribute name="color">
    888             <dia:color val="#bfbfbf"/>
    889           </dia:attribute>
    890           <dia:attribute name="alignment">
    891             <dia:enum val="0"/>
    892           </dia:attribute>
    893         </dia:composite>
    894       </dia:attribute>
    895     </dia:object>
    896     <dia:object type="Geometric - Quarter Circle" version="0" id="O26">
    897       <dia:attribute name="obj_pos">
    898         <dia:point val="36,26"/>
    899       </dia:attribute>
    900       <dia:attribute name="obj_bb">
    901         <dia:rectangle val="35.95,25.95;37.0707,27.0707"/>
    902       </dia:attribute>
    903       <dia:attribute name="elem_corner">
    904         <dia:point val="36,26"/>
    905       </dia:attribute>
    906       <dia:attribute name="elem_width">
    907         <dia:real val="1"/>
    908       </dia:attribute>
    909       <dia:attribute name="elem_height">
    910         <dia:real val="1"/>
    911       </dia:attribute>
    912       <dia:attribute name="line_width">
    913         <dia:real val="0.10000000000000001"/>
    914       </dia:attribute>
    915       <dia:attribute name="line_colour">
    916         <dia:color val="#7f7f7f"/>
    917       </dia:attribute>
    918       <dia:attribute name="fill_colour">
    919         <dia:color val="#7f7f7f"/>
    920       </dia:attribute>
    921       <dia:attribute name="show_background">
    922         <dia:boolean val="true"/>
    923       </dia:attribute>
    924       <dia:attribute name="line_style">
    925         <dia:enum val="0"/>
    926         <dia:real val="1"/>
    927       </dia:attribute>
    928       <dia:attribute name="flip_horizontal">
    929         <dia:boolean val="true"/>
    930       </dia:attribute>
    931       <dia:attribute name="flip_vertical">
    932         <dia:boolean val="false"/>
    933       </dia:attribute>
    934     </dia:object>
    935     <dia:object type="Geometric - Quarter Circle" version="0" id="O27">
    936       <dia:attribute name="obj_pos">
    937         <dia:point val="36,27"/>
    938       </dia:attribute>
    939       <dia:attribute name="obj_bb">
    940         <dia:rectangle val="35.95,26.9293;37.0707,28.05"/>
    941       </dia:attribute>
    942       <dia:attribute name="elem_corner">
    943         <dia:point val="36,27"/>
    944       </dia:attribute>
    945       <dia:attribute name="elem_width">
    946         <dia:real val="1"/>
    947       </dia:attribute>
    948       <dia:attribute name="elem_height">
    949         <dia:real val="1"/>
    950       </dia:attribute>
    951       <dia:attribute name="line_width">
    952         <dia:real val="0.10000000000000001"/>
    953       </dia:attribute>
    954       <dia:attribute name="line_colour">
    955         <dia:color val="#7f7f7f"/>
    956       </dia:attribute>
    957       <dia:attribute name="fill_colour">
    958         <dia:color val="#7f7f7f"/>
    959       </dia:attribute>
    960       <dia:attribute name="show_background">
    961         <dia:boolean val="true"/>
    962       </dia:attribute>
    963       <dia:attribute name="line_style">
    964         <dia:enum val="0"/>
    965         <dia:real val="1"/>
    966       </dia:attribute>
    967       <dia:attribute name="flip_horizontal">
    968         <dia:boolean val="true"/>
    969       </dia:attribute>
    970       <dia:attribute name="flip_vertical">
    971         <dia:boolean val="true"/>
    972       </dia:attribute>
    973     </dia:object>
    974   </dia:layer>
    975 </dia:diagram>
    976