texts/classes.dia

   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="#ffffffff"/>
   6     </dia:attribute>
   7     <dia:attribute name="pagebreak">
   8       <dia:color val="#000099ff"/>
   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.8222"/>
  17         </dia:attribute>
  18         <dia:attribute name="bmargin">
  19           <dia:real val="2.8222"/>
  20         </dia:attribute>
  21         <dia:attribute name="lmargin">
  22           <dia:real val="2.8222"/>
  23         </dia:attribute>
  24         <dia:attribute name="rmargin">
  25           <dia:real val="2.8222"/>
  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="dynamic">
  41           <dia:boolean val="true"/>
  42         </dia:attribute>
  43         <dia:attribute name="width_x">
  44           <dia:real val="1"/>
  45         </dia:attribute>
  46         <dia:attribute name="width_y">
  47           <dia:real val="1"/>
  48         </dia:attribute>
  49         <dia:attribute name="visible_x">
  50           <dia:int val="1"/>
  51         </dia:attribute>
  52         <dia:attribute name="visible_y">
  53           <dia:int val="1"/>
  54         </dia:attribute>
  55         <dia:composite type="color"/>
  56       </dia:composite>
  57     </dia:attribute>
  58     <dia:attribute name="color">
  59       <dia:color val="#d8e5e5ff"/>
  60     </dia:attribute>
  61     <dia:attribute name="guides"/>
  62     <dia:attribute name="guide_color">
  63       <dia:color val="#00ff00ff"/>
  64     </dia:attribute>
  65     <dia:attribute name="display">
  66       <dia:composite type="display">
  67         <dia:attribute name="antialiased">
  68           <dia:boolean val="true"/>
  69         </dia:attribute>
  70         <dia:attribute name="snap-to-grid">
  71           <dia:boolean val="true"/>
  72         </dia:attribute>
  73         <dia:attribute name="snap-to-guides">
  74           <dia:boolean val="true"/>
  75         </dia:attribute>
  76         <dia:attribute name="snap-to-object">
  77           <dia:boolean val="true"/>
  78         </dia:attribute>
  79         <dia:attribute name="show-grid">
  80           <dia:boolean val="true"/>
  81         </dia:attribute>
  82         <dia:attribute name="show-guides">
  83           <dia:boolean val="true"/>
  84         </dia:attribute>
  85         <dia:attribute name="show-connection-points">
  86           <dia:boolean val="true"/>
  87         </dia:attribute>
  88       </dia:composite>
  89     </dia:attribute>
  90   </dia:diagramdata>
  91   <dia:layer name="Pozadí" visible="true" connectable="true"/>
  92   <dia:layer name="Pozadí" visible="true" connectable="false"/>
  93   <dia:layer name="Pozadí" visible="true" connectable="true" active="true">
  94     <dia:object type="Flowchart - Ellipse" version="0" id="O0">
  95       <dia:attribute name="obj_pos">
  96         <dia:point val="19,10.96"/>
  97       </dia:attribute>
  98       <dia:attribute name="obj_bb">
  99         <dia:rectangle val="18.95,10.91;27.05,13.05"/>
 100       </dia:attribute>
 101       <dia:attribute name="elem_corner">
 102         <dia:point val="19,10.96"/>
 103       </dia:attribute>
 104       <dia:attribute name="elem_width">
 105         <dia:real val="8"/>
 106       </dia:attribute>
 107       <dia:attribute name="elem_height">
 108         <dia:real val="2.039966450013285"/>
 109       </dia:attribute>
 110       <dia:attribute name="show_background">
 111         <dia:boolean val="false"/>
 112       </dia:attribute>
 113       <dia:attribute name="padding">
 114         <dia:real val="0.35355339059327379"/>
 115       </dia:attribute>
 116       <dia:attribute name="text">
 117         <dia:composite type="text">
 118           <dia:attribute name="string">
 119             <dia:string>#class_magma#</dia:string>
 120           </dia:attribute>
 121           <dia:attribute name="font">
 122             <dia:font family="sans" style="0" name="Helvetica"/>
 123           </dia:attribute>
 124           <dia:attribute name="height">
 125             <dia:real val="0.70555554791203701"/>
 126           </dia:attribute>
 127           <dia:attribute name="pos">
 128             <dia:point val="23,12.2322"/>
 129           </dia:attribute>
 130           <dia:attribute name="color">
 131             <dia:color val="#000000ff"/>
 132           </dia:attribute>
 133           <dia:attribute name="alignment">
 134             <dia:enum val="1"/>
 135           </dia:attribute>
 136         </dia:composite>
 137       </dia:attribute>
 138     </dia:object>
 139     <dia:object type="Standard - Text" version="1" id="O1">
 140       <dia:attribute name="obj_pos">
 141         <dia:point val="23,11.98"/>
 142       </dia:attribute>
 143       <dia:attribute name="obj_bb">
 144         <dia:rectangle val="23,11.295;23,12.17"/>
 145       </dia:attribute>
 146       <dia:attribute name="text">
 147         <dia:composite type="text">
 148           <dia:attribute name="string">
 149             <dia:string>##</dia:string>
 150           </dia:attribute>
 151           <dia:attribute name="font">
 152             <dia:font family="sans" style="0" name="Helvetica"/>
 153           </dia:attribute>
 154           <dia:attribute name="height">
 155             <dia:real val="0.80000000000000004"/>
 156           </dia:attribute>
 157           <dia:attribute name="pos">
 158             <dia:point val="23,11.98"/>
 159           </dia:attribute>
 160           <dia:attribute name="color">
 161             <dia:color val="#000000ff"/>
 162           </dia:attribute>
 163           <dia:attribute name="alignment">
 164             <dia:enum val="0"/>
 165           </dia:attribute>
 166         </dia:composite>
 167       </dia:attribute>
 168       <dia:attribute name="valign">
 169         <dia:enum val="3"/>
 170       </dia:attribute>
 171       <dia:connections>
 172         <dia:connection handle="0" to="O0" connection="16"/>
 173       </dia:connections>
 174     </dia:object>
 175     <dia:object type="Standard - Text" version="1" id="O2">
 176       <dia:attribute name="obj_pos">
 177         <dia:point val="23,11.98"/>
 178       </dia:attribute>
 179       <dia:attribute name="obj_bb">
 180         <dia:rectangle val="23,11.295;23,12.17"/>
 181       </dia:attribute>
 182       <dia:attribute name="text">
 183         <dia:composite type="text">
 184           <dia:attribute name="string">
 185             <dia:string>##</dia:string>
 186           </dia:attribute>
 187           <dia:attribute name="font">
 188             <dia:font family="sans" style="0" name="Helvetica"/>
 189           </dia:attribute>
 190           <dia:attribute name="height">
 191             <dia:real val="0.80000000000000004"/>
 192           </dia:attribute>
 193           <dia:attribute name="pos">
 194             <dia:point val="23,11.98"/>
 195           </dia:attribute>
 196           <dia:attribute name="color">
 197             <dia:color val="#000000ff"/>
 198           </dia:attribute>
 199           <dia:attribute name="alignment">
 200             <dia:enum val="0"/>
 201           </dia:attribute>
 202         </dia:composite>
 203       </dia:attribute>
 204       <dia:attribute name="valign">
 205         <dia:enum val="3"/>
 206       </dia:attribute>
 207       <dia:connections>
 208         <dia:connection handle="0" to="O0" connection="16"/>
 209       </dia:connections>
 210     </dia:object>
 211     <dia:object type="Standard - Line" version="0" id="O3">
 212       <dia:attribute name="obj_pos">
 213         <dia:point val="23,16"/>
 214       </dia:attribute>
 215       <dia:attribute name="obj_bb">
 216         <dia:rectangle val="22.6382,15.95;23.3618,16.9583"/>
 217       </dia:attribute>
 218       <dia:attribute name="conn_endpoints">
 219         <dia:point val="23,16"/>
 220         <dia:point val="23,16.9083"/>
 221       </dia:attribute>
 222       <dia:attribute name="numcp">
 223         <dia:int val="1"/>
 224       </dia:attribute>
 225       <dia:attribute name="end_arrow">
 226         <dia:enum val="22"/>
 227       </dia:attribute>
 228       <dia:attribute name="end_arrow_length">
 229         <dia:real val="0.5"/>
 230       </dia:attribute>
 231       <dia:attribute name="end_arrow_width">
 232         <dia:real val="0.5"/>
 233       </dia:attribute>
 234       <dia:connections>
 235         <dia:connection handle="0" to="O4" connection="12"/>
 236         <dia:connection handle="1" to="O6" connection="4"/>
 237       </dia:connections>
 238     </dia:object>
 239     <dia:object type="Flowchart - Ellipse" version="0" id="O4">
 240       <dia:attribute name="obj_pos">
 241         <dia:point val="19,13.959"/>
 242       </dia:attribute>
 243       <dia:attribute name="obj_bb">
 244         <dia:rectangle val="18.95,13.909;27.05,16.05"/>
 245       </dia:attribute>
 246       <dia:attribute name="elem_corner">
 247         <dia:point val="19,13.959"/>
 248       </dia:attribute>
 249       <dia:attribute name="elem_width">
 250         <dia:real val="8"/>
 251       </dia:attribute>
 252       <dia:attribute name="elem_height">
 253         <dia:real val="2.0410083199423372"/>
 254       </dia:attribute>
 255       <dia:attribute name="show_background">
 256         <dia:boolean val="false"/>
 257       </dia:attribute>
 258       <dia:attribute name="padding">
 259         <dia:real val="0.35355339059327379"/>
 260       </dia:attribute>
 261       <dia:attribute name="text">
 262         <dia:composite type="text">
 263           <dia:attribute name="string">
 264             <dia:string>#class_monoid#</dia:string>
 265           </dia:attribute>
 266           <dia:attribute name="font">
 267             <dia:font family="sans" style="0" name="Helvetica"/>
 268           </dia:attribute>
 269           <dia:attribute name="height">
 270             <dia:real val="0.70555554791203701"/>
 271           </dia:attribute>
 272           <dia:attribute name="pos">
 273             <dia:point val="23,15.2317"/>
 274           </dia:attribute>
 275           <dia:attribute name="color">
 276             <dia:color val="#000000ff"/>
 277           </dia:attribute>
 278           <dia:attribute name="alignment">
 279             <dia:enum val="1"/>
 280           </dia:attribute>
 281         </dia:composite>
 282       </dia:attribute>
 283     </dia:object>
 284     <dia:object type="Standard - Line" version="0" id="O5">
 285       <dia:attribute name="obj_pos">
 286         <dia:point val="23,13"/>
 287       </dia:attribute>
 288       <dia:attribute name="obj_bb">
 289         <dia:rectangle val="22.6382,12.95;23.3618,14.009"/>
 290       </dia:attribute>
 291       <dia:attribute name="conn_endpoints">
 292         <dia:point val="23,13"/>
 293         <dia:point val="23,13.959"/>
 294       </dia:attribute>
 295       <dia:attribute name="numcp">
 296         <dia:int val="1"/>
 297       </dia:attribute>
 298       <dia:attribute name="end_arrow">
 299         <dia:enum val="22"/>
 300       </dia:attribute>
 301       <dia:attribute name="end_arrow_length">
 302         <dia:real val="0.5"/>
 303       </dia:attribute>
 304       <dia:attribute name="end_arrow_width">
 305         <dia:real val="0.5"/>
 306       </dia:attribute>
 307       <dia:connections>
 308         <dia:connection handle="0" to="O0" connection="12"/>
 309         <dia:connection handle="1" to="O4" connection="4"/>
 310       </dia:connections>
 311     </dia:object>
 312     <dia:object type="Flowchart - Ellipse" version="0" id="O6">
 313       <dia:attribute name="obj_pos">
 314         <dia:point val="19,16.9083"/>
 315       </dia:attribute>
 316       <dia:attribute name="obj_bb">
 317         <dia:rectangle val="18.95,16.8583;27.05,18.987"/>
 318       </dia:attribute>
 319       <dia:attribute name="elem_corner">
 320         <dia:point val="19,16.9083"/>
 321       </dia:attribute>
 322       <dia:attribute name="elem_width">
 323         <dia:real val="8"/>
 324       </dia:attribute>
 325       <dia:attribute name="elem_height">
 326         <dia:real val="2.0287039639833218"/>
 327       </dia:attribute>
 328       <dia:attribute name="show_background">
 329         <dia:boolean val="false"/>
 330       </dia:attribute>
 331       <dia:attribute name="padding">
 332         <dia:real val="0.35355339059327379"/>
 333       </dia:attribute>
 334       <dia:attribute name="text">
 335         <dia:composite type="text">
 336           <dia:attribute name="string">
 337             <dia:string>#class_group#</dia:string>
 338           </dia:attribute>
 339           <dia:attribute name="font">
 340             <dia:font family="sans" style="0" name="Helvetica"/>
 341           </dia:attribute>
 342           <dia:attribute name="height">
 343             <dia:real val="0.70555554791203701"/>
 344           </dia:attribute>
 345           <dia:attribute name="pos">
 346             <dia:point val="23,18.1749"/>
 347           </dia:attribute>
 348           <dia:attribute name="color">
 349             <dia:color val="#000000ff"/>
 350           </dia:attribute>
 351           <dia:attribute name="alignment">
 352             <dia:enum val="1"/>
 353           </dia:attribute>
 354         </dia:composite>
 355       </dia:attribute>
 356     </dia:object>
 357     <dia:object type="Standard - Line" version="0" id="O7">
 358       <dia:attribute name="obj_pos">
 359         <dia:point val="23,18.937"/>
 360       </dia:attribute>
 361       <dia:attribute name="obj_bb">
 362         <dia:rectangle val="22.6382,18.887;23.3618,20.05"/>
 363       </dia:attribute>
 364       <dia:attribute name="conn_endpoints">
 365         <dia:point val="23,18.937"/>
 366         <dia:point val="23,20"/>
 367       </dia:attribute>
 368       <dia:attribute name="numcp">
 369         <dia:int val="1"/>
 370       </dia:attribute>
 371       <dia:attribute name="end_arrow">
 372         <dia:enum val="22"/>
 373       </dia:attribute>
 374       <dia:attribute name="end_arrow_length">
 375         <dia:real val="0.5"/>
 376       </dia:attribute>
 377       <dia:attribute name="end_arrow_width">
 378         <dia:real val="0.5"/>
 379       </dia:attribute>
 380       <dia:connections>
 381         <dia:connection handle="0" to="O6" connection="12"/>
 382         <dia:connection handle="1" to="O8" connection="4"/>
 383       </dia:connections>
 384     </dia:object>
 385     <dia:object type="Flowchart - Ellipse" version="0" id="O8">
 386       <dia:attribute name="obj_pos">
 387         <dia:point val="19,20"/>
 388       </dia:attribute>
 389       <dia:attribute name="obj_bb">
 390         <dia:rectangle val="18.95,19.95;27.05,22.05"/>
 391       </dia:attribute>
 392       <dia:attribute name="elem_corner">
 393         <dia:point val="19,20"/>
 394       </dia:attribute>
 395       <dia:attribute name="elem_width">
 396         <dia:real val="8"/>
 397       </dia:attribute>
 398       <dia:attribute name="elem_height">
 399         <dia:real val="2"/>
 400       </dia:attribute>
 401       <dia:attribute name="show_background">
 402         <dia:boolean val="false"/>
 403       </dia:attribute>
 404       <dia:attribute name="padding">
 405         <dia:real val="0.35355339059327379"/>
 406       </dia:attribute>
 407       <dia:attribute name="text">
 408         <dia:composite type="text">
 409           <dia:attribute name="string">
 410             <dia:string>#class_unit_ring#</dia:string>
 411           </dia:attribute>
 412           <dia:attribute name="font">
 413             <dia:font family="sans" style="0" name="Helvetica"/>
 414           </dia:attribute>
 415           <dia:attribute name="height">
 416             <dia:real val="0.70555554791203701"/>
 417           </dia:attribute>
 418           <dia:attribute name="pos">
 419             <dia:point val="23,21.2522"/>
 420           </dia:attribute>
 421           <dia:attribute name="color">
 422             <dia:color val="#000000ff"/>
 423           </dia:attribute>
 424           <dia:attribute name="alignment">
 425             <dia:enum val="1"/>
 426           </dia:attribute>
 427         </dia:composite>
 428       </dia:attribute>
 429     </dia:object>
 430     <dia:object type="Flowchart - Ellipse" version="0" id="O9">
 431       <dia:attribute name="obj_pos">
 432         <dia:point val="11.9571,24.9893"/>
 433       </dia:attribute>
 434       <dia:attribute name="obj_bb">
 435         <dia:rectangle val="11.9071,24.9393;20.0929,27.0607"/>
 436       </dia:attribute>
 437       <dia:attribute name="elem_corner">
 438         <dia:point val="11.9571,24.9893"/>
 439       </dia:attribute>
 440       <dia:attribute name="elem_width">
 441         <dia:real val="8.0857877316702353"/>
 442       </dia:attribute>
 443       <dia:attribute name="elem_height">
 444         <dia:real val="2.0214469329175588"/>
 445       </dia:attribute>
 446       <dia:attribute name="show_background">
 447         <dia:boolean val="false"/>
 448       </dia:attribute>
 449       <dia:attribute name="padding">
 450         <dia:real val="0.35355339059327379"/>
 451       </dia:attribute>
 452       <dia:attribute name="text">
 453         <dia:composite type="text">
 454           <dia:attribute name="string">
 455             <dia:string>#class_division_ring#</dia:string>
 456           </dia:attribute>
 457           <dia:attribute name="font">
 458             <dia:font family="sans" style="0" name="Helvetica"/>
 459           </dia:attribute>
 460           <dia:attribute name="height">
 461             <dia:real val="0.70555554791203701"/>
 462           </dia:attribute>
 463           <dia:attribute name="pos">
 464             <dia:point val="16,26.2522"/>
 465           </dia:attribute>
 466           <dia:attribute name="color">
 467             <dia:color val="#000000ff"/>
 468           </dia:attribute>
 469           <dia:attribute name="alignment">
 470             <dia:enum val="1"/>
 471           </dia:attribute>
 472         </dia:composite>
 473       </dia:attribute>
 474     </dia:object>
 475     <dia:object type="Flowchart - Ellipse" version="0" id="O10">
 476       <dia:attribute name="obj_pos">
 477         <dia:point val="11.9937,27.9984"/>
 478       </dia:attribute>
 479       <dia:attribute name="obj_bb">
 480         <dia:rectangle val="11.9437,27.9484;20.1421,30.073"/>
 481       </dia:attribute>
 482       <dia:attribute name="elem_corner">
 483         <dia:point val="11.9937,27.9984"/>
 484       </dia:attribute>
 485       <dia:attribute name="elem_width">
 486         <dia:real val="8.0983790990987341"/>
 487       </dia:attribute>
 488       <dia:attribute name="elem_height">
 489         <dia:real val="2.0245947747746835"/>
 490       </dia:attribute>
 491       <dia:attribute name="show_background">
 492         <dia:boolean val="false"/>
 493       </dia:attribute>
 494       <dia:attribute name="padding">
 495         <dia:real val="0.35355339059327379"/>
 496       </dia:attribute>
 497       <dia:attribute name="text">
 498         <dia:composite type="text">
 499           <dia:attribute name="string">
 500             <dia:string>#class_real_number#</dia:string>
 501           </dia:attribute>
 502           <dia:attribute name="font">
 503             <dia:font family="sans" style="0" name="Helvetica"/>
 504           </dia:attribute>
 505           <dia:attribute name="height">
 506             <dia:real val="0.70555554791203701"/>
 507           </dia:attribute>
 508           <dia:attribute name="pos">
 509             <dia:point val="16.0429,29.2629"/>
 510           </dia:attribute>
 511           <dia:attribute name="color">
 512             <dia:color val="#000000ff"/>
 513           </dia:attribute>
 514           <dia:attribute name="alignment">
 515             <dia:enum val="1"/>
 516           </dia:attribute>
 517         </dia:composite>
 518       </dia:attribute>
 519     </dia:object>
 520     <dia:object type="Standard - Line" version="0" id="O11">
 521       <dia:attribute name="obj_pos">
 522         <dia:point val="16,27.0107"/>
 523       </dia:attribute>
 524       <dia:attribute name="obj_bb">
 525         <dia:rectangle val="15.65,26.9586;16.373,28.0505"/>
 526       </dia:attribute>
 527       <dia:attribute name="conn_endpoints">
 528         <dia:point val="16,27.0107"/>
 529         <dia:point val="16.0429,27.9984"/>
 530       </dia:attribute>
 531       <dia:attribute name="numcp">
 532         <dia:int val="1"/>
 533       </dia:attribute>
 534       <dia:attribute name="end_arrow">
 535         <dia:enum val="22"/>
 536       </dia:attribute>
 537       <dia:attribute name="end_arrow_length">
 538         <dia:real val="0.5"/>
 539       </dia:attribute>
 540       <dia:attribute name="end_arrow_width">
 541         <dia:real val="0.5"/>
 542       </dia:attribute>
 543       <dia:connections>
 544         <dia:connection handle="0" to="O9" connection="12"/>
 545         <dia:connection handle="1" to="O10" connection="4"/>
 546       </dia:connections>
 547     </dia:object>
 548     <dia:object type="Standard - Line" version="0" id="O12">
 549       <dia:attribute name="obj_pos">
 550         <dia:point val="23,22"/>
 551       </dia:attribute>
 552       <dia:attribute name="obj_bb">
 553         <dia:rectangle val="15.9344,21.9344;23.0656,25.0549"/>
 554       </dia:attribute>
 555       <dia:attribute name="conn_endpoints">
 556         <dia:point val="23,22"/>
 557         <dia:point val="16,24.9893"/>
 558       </dia:attribute>
 559       <dia:attribute name="numcp">
 560         <dia:int val="1"/>
 561       </dia:attribute>
 562       <dia:attribute name="end_arrow">
 563         <dia:enum val="22"/>
 564       </dia:attribute>
 565       <dia:attribute name="end_arrow_length">
 566         <dia:real val="0.5"/>
 567       </dia:attribute>
 568       <dia:attribute name="end_arrow_width">
 569         <dia:real val="0.5"/>
 570       </dia:attribute>
 571       <dia:connections>
 572         <dia:connection handle="0" to="O8" connection="12"/>
 573         <dia:connection handle="1" to="O9" connection="4"/>
 574       </dia:connections>
 575     </dia:object>
 576     <dia:object type="Flowchart - Ellipse" version="0" id="O13">
 577       <dia:attribute name="obj_pos">
 578         <dia:point val="25,25"/>
 579       </dia:attribute>
 580       <dia:attribute name="obj_bb">
 581         <dia:rectangle val="24.95,24.95;35.05,27.6015"/>
 582       </dia:attribute>
 583       <dia:attribute name="elem_corner">
 584         <dia:point val="25,25"/>
 585       </dia:attribute>
 586       <dia:attribute name="elem_width">
 587         <dia:real val="10"/>
 588       </dia:attribute>
 589       <dia:attribute name="elem_height">
 590         <dia:real val="2.5515131423960637"/>
 591       </dia:attribute>
 592       <dia:attribute name="show_background">
 593         <dia:boolean val="false"/>
 594       </dia:attribute>
 595       <dia:attribute name="padding">
 596         <dia:real val="0.35355339059327379"/>
 597       </dia:attribute>
 598       <dia:attribute name="text">
 599         <dia:composite type="text">
 600           <dia:attribute name="string">
 601             <dia:string>#class_integer_number#</dia:string>
 602           </dia:attribute>
 603           <dia:attribute name="font">
 604             <dia:font family="sans" style="0" name="Helvetica"/>
 605           </dia:attribute>
 606           <dia:attribute name="height">
 607             <dia:real val="0.70555554791203701"/>
 608           </dia:attribute>
 609           <dia:attribute name="pos">
 610             <dia:point val="30,26.528"/>
 611           </dia:attribute>
 612           <dia:attribute name="color">
 613             <dia:color val="#000000ff"/>
 614           </dia:attribute>
 615           <dia:attribute name="alignment">
 616             <dia:enum val="1"/>
 617           </dia:attribute>
 618         </dia:composite>
 619       </dia:attribute>
 620     </dia:object>
 621     <dia:object type="Flowchart - Ellipse" version="0" id="O14">
 622       <dia:attribute name="obj_pos">
 623         <dia:point val="25,29"/>
 624       </dia:attribute>
 625       <dia:attribute name="obj_bb">
 626         <dia:rectangle val="24.95,28.95;35.0455,31.5489"/>
 627       </dia:attribute>
 628       <dia:attribute name="elem_corner">
 629         <dia:point val="25,29"/>
 630       </dia:attribute>
 631       <dia:attribute name="elem_width">
 632         <dia:real val="9.9954583388731901"/>
 633       </dia:attribute>
 634       <dia:attribute name="elem_height">
 635         <dia:real val="2.4988645847182975"/>
 636       </dia:attribute>
 637       <dia:attribute name="show_background">
 638         <dia:boolean val="false"/>
 639       </dia:attribute>
 640       <dia:attribute name="padding">
 641         <dia:real val="0.35355339059327379"/>
 642       </dia:attribute>
 643       <dia:attribute name="text">
 644         <dia:composite type="text">
 645           <dia:attribute name="string">
 646             <dia:string>#class_fixed_integer_number#</dia:string>
 647           </dia:attribute>
 648           <dia:attribute name="font">
 649             <dia:font family="sans" style="0" name="Helvetica"/>
 650           </dia:attribute>
 651           <dia:attribute name="height">
 652             <dia:real val="0.70555554791203701"/>
 653           </dia:attribute>
 654           <dia:attribute name="pos">
 655             <dia:point val="29.9977,30.5017"/>
 656           </dia:attribute>
 657           <dia:attribute name="color">
 658             <dia:color val="#000000ff"/>
 659           </dia:attribute>
 660           <dia:attribute name="alignment">
 661             <dia:enum val="1"/>
 662           </dia:attribute>
 663         </dia:composite>
 664       </dia:attribute>
 665     </dia:object>
 666     <dia:object type="Standard - Line" version="0" id="O15">
 667       <dia:attribute name="obj_pos">
 668         <dia:point val="30,27.5515"/>
 669       </dia:attribute>
 670       <dia:attribute name="obj_bb">
 671         <dia:rectangle val="29.637,27.5014;30.3607,29.0501"/>
 672       </dia:attribute>
 673       <dia:attribute name="conn_endpoints">
 674         <dia:point val="30,27.5515"/>
 675         <dia:point val="29.9977,29"/>
 676       </dia:attribute>
 677       <dia:attribute name="numcp">
 678         <dia:int val="1"/>
 679       </dia:attribute>
 680       <dia:attribute name="end_arrow">
 681         <dia:enum val="22"/>
 682       </dia:attribute>
 683       <dia:attribute name="end_arrow_length">
 684         <dia:real val="0.5"/>
 685       </dia:attribute>
 686       <dia:attribute name="end_arrow_width">
 687         <dia:real val="0.5"/>
 688       </dia:attribute>
 689       <dia:connections>
 690         <dia:connection handle="0" to="O13" connection="12"/>
 691         <dia:connection handle="1" to="O14" connection="4"/>
 692       </dia:connections>
 693     </dia:object>
 694     <dia:object type="Standard - Line" version="0" id="O16">
 695       <dia:attribute name="obj_pos">
 696         <dia:point val="23,22"/>
 697       </dia:attribute>
 698       <dia:attribute name="obj_bb">
 699         <dia:rectangle val="22.9322,21.9322;28.5678,25.0678"/>
 700       </dia:attribute>
 701       <dia:attribute name="conn_endpoints">
 702         <dia:point val="23,22"/>
 703         <dia:point val="28.5,25"/>
 704       </dia:attribute>
 705       <dia:attribute name="numcp">
 706         <dia:int val="1"/>
 707       </dia:attribute>
 708       <dia:attribute name="end_arrow">
 709         <dia:enum val="22"/>
 710       </dia:attribute>
 711       <dia:attribute name="end_arrow_length">
 712         <dia:real val="0.5"/>
 713       </dia:attribute>
 714       <dia:attribute name="end_arrow_width">
 715         <dia:real val="0.5"/>
 716       </dia:attribute>
 717       <dia:connections>
 718         <dia:connection handle="0" to="O8" connection="12"/>
 719       </dia:connections>
 720     </dia:object>
 721     <dia:object type="Flowchart - Ellipse" version="0" id="O17">
 722       <dia:attribute name="obj_pos">
 723         <dia:point val="32,11"/>
 724       </dia:attribute>
 725       <dia:attribute name="obj_bb">
 726         <dia:rectangle val="31.95,10.95;40.05,13.09"/>
 727       </dia:attribute>
 728       <dia:attribute name="elem_corner">
 729         <dia:point val="32,11"/>
 730       </dia:attribute>
 731       <dia:attribute name="elem_width">
 732         <dia:real val="8"/>
 733       </dia:attribute>
 734       <dia:attribute name="elem_height">
 735         <dia:real val="2.039966450013285"/>
 736       </dia:attribute>
 737       <dia:attribute name="show_background">
 738         <dia:boolean val="false"/>
 739       </dia:attribute>
 740       <dia:attribute name="padding">
 741         <dia:real val="0.35355339059327379"/>
 742       </dia:attribute>
 743       <dia:attribute name="text">
 744         <dia:composite type="text">
 745           <dia:attribute name="string">
 746             <dia:string>#class_eq#</dia:string>
 747           </dia:attribute>
 748           <dia:attribute name="font">
 749             <dia:font family="sans" style="0" name="Helvetica"/>
 750           </dia:attribute>
 751           <dia:attribute name="height">
 752             <dia:real val="0.70555554791203701"/>
 753           </dia:attribute>
 754           <dia:attribute name="pos">
 755             <dia:point val="36,12.2722"/>
 756           </dia:attribute>
 757           <dia:attribute name="color">
 758             <dia:color val="#000000ff"/>
 759           </dia:attribute>
 760           <dia:attribute name="alignment">
 761             <dia:enum val="1"/>
 762           </dia:attribute>
 763         </dia:composite>
 764       </dia:attribute>
 765     </dia:object>
 766     <dia:object type="Flowchart - Ellipse" version="0" id="O18">
 767       <dia:attribute name="obj_pos">
 768         <dia:point val="32,14"/>
 769       </dia:attribute>
 770       <dia:attribute name="obj_bb">
 771         <dia:rectangle val="31.95,13.95;40.05,16.09"/>
 772       </dia:attribute>
 773       <dia:attribute name="elem_corner">
 774         <dia:point val="32,14"/>
 775       </dia:attribute>
 776       <dia:attribute name="elem_width">
 777         <dia:real val="8"/>
 778       </dia:attribute>
 779       <dia:attribute name="elem_height">
 780         <dia:real val="2.039966450013285"/>
 781       </dia:attribute>
 782       <dia:attribute name="show_background">
 783         <dia:boolean val="false"/>
 784       </dia:attribute>
 785       <dia:attribute name="padding">
 786         <dia:real val="0.35355339059327379"/>
 787       </dia:attribute>
 788       <dia:attribute name="text">
 789         <dia:composite type="text">
 790           <dia:attribute name="string">
 791             <dia:string>#class_ord#</dia:string>
 792           </dia:attribute>
 793           <dia:attribute name="font">
 794             <dia:font family="sans" style="0" name="Helvetica"/>
 795           </dia:attribute>
 796           <dia:attribute name="height">
 797             <dia:real val="0.70555554791203701"/>
 798           </dia:attribute>
 799           <dia:attribute name="pos">
 800             <dia:point val="36,15.2722"/>
 801           </dia:attribute>
 802           <dia:attribute name="color">
 803             <dia:color val="#000000ff"/>
 804           </dia:attribute>
 805           <dia:attribute name="alignment">
 806             <dia:enum val="1"/>
 807           </dia:attribute>
 808         </dia:composite>
 809       </dia:attribute>
 810     </dia:object>
 811     <dia:object type="Standard - Line" version="0" id="O19">
 812       <dia:attribute name="obj_pos">
 813         <dia:point val="36,16.04"/>
 814       </dia:attribute>
 815       <dia:attribute name="obj_bb">
 816         <dia:rectangle val="17.4671,15.9708;36.0692,28.1093"/>
 817       </dia:attribute>
 818       <dia:attribute name="conn_endpoints">
 819         <dia:point val="36,16.04"/>
 820         <dia:point val="17.5363,28.0401"/>
 821       </dia:attribute>
 822       <dia:attribute name="numcp">
 823         <dia:int val="1"/>
 824       </dia:attribute>
 825       <dia:attribute name="end_arrow">
 826         <dia:enum val="22"/>
 827       </dia:attribute>
 828       <dia:attribute name="end_arrow_length">
 829         <dia:real val="0.5"/>
 830       </dia:attribute>
 831       <dia:attribute name="end_arrow_width">
 832         <dia:real val="0.5"/>
 833       </dia:attribute>
 834       <dia:connections>
 835         <dia:connection handle="0" to="O18" connection="12"/>
 836         <dia:connection handle="1" to="O10" connection="16"/>
 837       </dia:connections>
 838     </dia:object>
 839     <dia:object type="Standard - Line" version="0" id="O20">
 840       <dia:attribute name="obj_pos">
 841         <dia:point val="36,16.04"/>
 842       </dia:attribute>
 843       <dia:attribute name="obj_bb">
 844         <dia:rectangle val="29.9306,15.9706;36.0694,25.0694"/>
 845       </dia:attribute>
 846       <dia:attribute name="conn_endpoints">
 847         <dia:point val="36,16.04"/>
 848         <dia:point val="30,25"/>
 849       </dia:attribute>
 850       <dia:attribute name="numcp">
 851         <dia:int val="1"/>
 852       </dia:attribute>
 853       <dia:attribute name="end_arrow">
 854         <dia:enum val="22"/>
 855       </dia:attribute>
 856       <dia:attribute name="end_arrow_length">
 857         <dia:real val="0.5"/>
 858       </dia:attribute>
 859       <dia:attribute name="end_arrow_width">
 860         <dia:real val="0.5"/>
 861       </dia:attribute>
 862       <dia:connections>
 863         <dia:connection handle="0" to="O18" connection="12"/>
 864         <dia:connection handle="1" to="O13" connection="4"/>
 865       </dia:connections>
 866     </dia:object>
 867     <dia:object type="Standard - Line" version="0" id="O21">
 868       <dia:attribute name="obj_pos">
 869         <dia:point val="36,13.04"/>
 870       </dia:attribute>
 871       <dia:attribute name="obj_bb">
 872         <dia:rectangle val="35.6382,12.99;36.3618,14.05"/>
 873       </dia:attribute>
 874       <dia:attribute name="conn_endpoints">
 875         <dia:point val="36,13.04"/>
 876         <dia:point val="36,14"/>
 877       </dia:attribute>
 878       <dia:attribute name="numcp">
 879         <dia:int val="1"/>
 880       </dia:attribute>
 881       <dia:attribute name="end_arrow">
 882         <dia:enum val="22"/>
 883       </dia:attribute>
 884       <dia:attribute name="end_arrow_length">
 885         <dia:real val="0.5"/>
 886       </dia:attribute>
 887       <dia:attribute name="end_arrow_width">
 888         <dia:real val="0.5"/>
 889       </dia:attribute>
 890       <dia:connections>
 891         <dia:connection handle="0" to="O17" connection="12"/>
 892         <dia:connection handle="1" to="O18" connection="4"/>
 893       </dia:connections>
 894     </dia:object>
 895     <dia:object type="Flowchart - Ellipse" version="0" id="O22">
 896       <dia:attribute name="obj_pos">
 897         <dia:point val="32,21.5"/>
 898       </dia:attribute>
 899       <dia:attribute name="obj_bb">
 900         <dia:rectangle val="31.95,21.45;40.05,23.59"/>
 901       </dia:attribute>
 902       <dia:attribute name="elem_corner">
 903         <dia:point val="32,21.5"/>
 904       </dia:attribute>
 905       <dia:attribute name="elem_width">
 906         <dia:real val="8"/>
 907       </dia:attribute>
 908       <dia:attribute name="elem_height">
 909         <dia:real val="2.039966450013285"/>
 910       </dia:attribute>
 911       <dia:attribute name="show_background">
 912         <dia:boolean val="false"/>
 913       </dia:attribute>
 914       <dia:attribute name="padding">
 915         <dia:real val="0.35355339059327379"/>
 916       </dia:attribute>
 917       <dia:attribute name="text">
 918         <dia:composite type="text">
 919           <dia:attribute name="string">
 920             <dia:string>#class_logical#</dia:string>
 921           </dia:attribute>
 922           <dia:attribute name="font">
 923             <dia:font family="sans" style="0" name="Helvetica"/>
 924           </dia:attribute>
 925           <dia:attribute name="height">
 926             <dia:real val="0.70555554791203701"/>
 927           </dia:attribute>
 928           <dia:attribute name="pos">
 929             <dia:point val="36,22.7722"/>
 930           </dia:attribute>
 931           <dia:attribute name="color">
 932             <dia:color val="#000000ff"/>
 933           </dia:attribute>
 934           <dia:attribute name="alignment">
 935             <dia:enum val="1"/>
 936           </dia:attribute>
 937         </dia:composite>
 938       </dia:attribute>
 939     </dia:object>
 940     <dia:object type="Standard - Text" version="1" id="O23">
 941       <dia:attribute name="obj_pos">
 942         <dia:point val="36,22.52"/>
 943       </dia:attribute>
 944       <dia:attribute name="obj_bb">
 945         <dia:rectangle val="35.9781,21.8131;36,22.7537"/>
 946       </dia:attribute>
 947       <dia:attribute name="text">
 948         <dia:composite type="text">
 949           <dia:attribute name="string">
 950             <dia:string>##</dia:string>
 951           </dia:attribute>
 952           <dia:attribute name="font">
 953             <dia:font family="sans" style="0" name="Helvetica"/>
 954           </dia:attribute>
 955           <dia:attribute name="height">
 956             <dia:real val="0.80000000000000004"/>
 957           </dia:attribute>
 958           <dia:attribute name="pos">
 959             <dia:point val="36,22.52"/>
 960           </dia:attribute>
 961           <dia:attribute name="color">
 962             <dia:color val="#000000ff"/>
 963           </dia:attribute>
 964           <dia:attribute name="alignment">
 965             <dia:enum val="0"/>
 966           </dia:attribute>
 967         </dia:composite>
 968       </dia:attribute>
 969       <dia:attribute name="valign">
 970         <dia:enum val="3"/>
 971       </dia:attribute>
 972       <dia:connections>
 973         <dia:connection handle="0" to="O22" connection="16"/>
 974       </dia:connections>
 975     </dia:object>
 976     <dia:object type="Standard - Text" version="1" id="O24">
 977       <dia:attribute name="obj_pos">
 978         <dia:point val="36,22.52"/>
 979       </dia:attribute>
 980       <dia:attribute name="obj_bb">
 981         <dia:rectangle val="35.9781,21.8131;36,22.7537"/>
 982       </dia:attribute>
 983       <dia:attribute name="text">
 984         <dia:composite type="text">
 985           <dia:attribute name="string">
 986             <dia:string>##</dia:string>
 987           </dia:attribute>
 988           <dia:attribute name="font">
 989             <dia:font family="sans" style="0" name="Helvetica"/>
 990           </dia:attribute>
 991           <dia:attribute name="height">
 992             <dia:real val="0.80000000000000004"/>
 993           </dia:attribute>
 994           <dia:attribute name="pos">
 995             <dia:point val="36,22.52"/>
 996           </dia:attribute>
 997           <dia:attribute name="color">
 998             <dia:color val="#000000ff"/>
 999           </dia:attribute>
1000           <dia:attribute name="alignment">
1001             <dia:enum val="0"/>
1002           </dia:attribute>
1003         </dia:composite>
1004       </dia:attribute>
1005       <dia:attribute name="valign">
1006         <dia:enum val="3"/>
1007       </dia:attribute>
1008       <dia:connections>
1009         <dia:connection handle="0" to="O22" connection="16"/>
1010       </dia:connections>
1011     </dia:object>
1012     <dia:object type="Standard - Line" version="0" id="O25">
1013       <dia:attribute name="obj_pos">
1014         <dia:point val="36,23.54"/>
1015       </dia:attribute>
1016       <dia:attribute name="obj_bb">
1017         <dia:rectangle val="32.4196,23.4737;36.0662,25.2085"/>
1018       </dia:attribute>
1019       <dia:attribute name="conn_endpoints">
1020         <dia:point val="36,23.54"/>
1021         <dia:point val="32.4858,25.1423"/>
1022       </dia:attribute>
1023       <dia:attribute name="numcp">
1024         <dia:int val="1"/>
1025       </dia:attribute>
1026       <dia:attribute name="end_arrow">
1027         <dia:enum val="22"/>
1028       </dia:attribute>
1029       <dia:attribute name="end_arrow_length">
1030         <dia:real val="0.5"/>
1031       </dia:attribute>
1032       <dia:attribute name="end_arrow_width">
1033         <dia:real val="0.5"/>
1034       </dia:attribute>
1035       <dia:connections>
1036         <dia:connection handle="0" to="O22" connection="12"/>
1037         <dia:connection handle="1" to="O13" connection="16"/>
1038       </dia:connections>
1039     </dia:object>
1040   </dia:layer>
1041 </dia:diagram>