texts/parallel.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="false"/>
  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="false"/>
  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 - Box" version="0" id="O0">
  95       <dia:attribute name="obj_pos">
  96         <dia:point val="5,5"/>
  97       </dia:attribute>
  98       <dia:attribute name="obj_bb">
  99         <dia:rectangle val="4.95,4.95;12.05,7.05"/>
 100       </dia:attribute>
 101       <dia:attribute name="elem_corner">
 102         <dia:point val="5,5"/>
 103       </dia:attribute>
 104       <dia:attribute name="elem_width">
 105         <dia:real val="7"/>
 106       </dia:attribute>
 107       <dia:attribute name="elem_height">
 108         <dia:real val="2"/>
 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.5"/>
 115       </dia:attribute>
 116       <dia:attribute name="text">
 117         <dia:composite type="text">
 118           <dia:attribute name="string">
 119             <dia:string>#Frame 1#</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.80000000000000004"/>
 126           </dia:attribute>
 127           <dia:attribute name="pos">
 128             <dia:point val="8.5,6.285"/>
 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="Flowchart - Box" version="0" id="O1">
 140       <dia:attribute name="obj_pos">
 141         <dia:point val="5,7"/>
 142       </dia:attribute>
 143       <dia:attribute name="obj_bb">
 144         <dia:rectangle val="4.95,6.95;12.05,9.05"/>
 145       </dia:attribute>
 146       <dia:attribute name="elem_corner">
 147         <dia:point val="5,7"/>
 148       </dia:attribute>
 149       <dia:attribute name="elem_width">
 150         <dia:real val="7"/>
 151       </dia:attribute>
 152       <dia:attribute name="elem_height">
 153         <dia:real val="2"/>
 154       </dia:attribute>
 155       <dia:attribute name="show_background">
 156         <dia:boolean val="false"/>
 157       </dia:attribute>
 158       <dia:attribute name="padding">
 159         <dia:real val="0.5"/>
 160       </dia:attribute>
 161       <dia:attribute name="text">
 162         <dia:composite type="text">
 163           <dia:attribute name="string">
 164             <dia:string>#Frame 2#</dia:string>
 165           </dia:attribute>
 166           <dia:attribute name="font">
 167             <dia:font family="sans" style="0" name="Helvetica"/>
 168           </dia:attribute>
 169           <dia:attribute name="height">
 170             <dia:real val="0.80000000000000004"/>
 171           </dia:attribute>
 172           <dia:attribute name="pos">
 173             <dia:point val="8.5,8.285"/>
 174           </dia:attribute>
 175           <dia:attribute name="color">
 176             <dia:color val="#000000ff"/>
 177           </dia:attribute>
 178           <dia:attribute name="alignment">
 179             <dia:enum val="1"/>
 180           </dia:attribute>
 181         </dia:composite>
 182       </dia:attribute>
 183     </dia:object>
 184     <dia:object type="Flowchart - Box" version="0" id="O2">
 185       <dia:attribute name="obj_pos">
 186         <dia:point val="5,9"/>
 187       </dia:attribute>
 188       <dia:attribute name="obj_bb">
 189         <dia:rectangle val="4.95,8.95;12.05,11.05"/>
 190       </dia:attribute>
 191       <dia:attribute name="elem_corner">
 192         <dia:point val="5,9"/>
 193       </dia:attribute>
 194       <dia:attribute name="elem_width">
 195         <dia:real val="7"/>
 196       </dia:attribute>
 197       <dia:attribute name="elem_height">
 198         <dia:real val="2"/>
 199       </dia:attribute>
 200       <dia:attribute name="show_background">
 201         <dia:boolean val="false"/>
 202       </dia:attribute>
 203       <dia:attribute name="padding">
 204         <dia:real val="0.5"/>
 205       </dia:attribute>
 206       <dia:attribute name="text">
 207         <dia:composite type="text">
 208           <dia:attribute name="string">
 209             <dia:string>#Frame 3#</dia:string>
 210           </dia:attribute>
 211           <dia:attribute name="font">
 212             <dia:font family="sans" style="0" name="Helvetica"/>
 213           </dia:attribute>
 214           <dia:attribute name="height">
 215             <dia:real val="0.80000000000000004"/>
 216           </dia:attribute>
 217           <dia:attribute name="pos">
 218             <dia:point val="8.5,10.285"/>
 219           </dia:attribute>
 220           <dia:attribute name="color">
 221             <dia:color val="#000000ff"/>
 222           </dia:attribute>
 223           <dia:attribute name="alignment">
 224             <dia:enum val="1"/>
 225           </dia:attribute>
 226         </dia:composite>
 227       </dia:attribute>
 228     </dia:object>
 229     <dia:object type="Flowchart - Box" version="0" id="O3">
 230       <dia:attribute name="obj_pos">
 231         <dia:point val="5,11"/>
 232       </dia:attribute>
 233       <dia:attribute name="obj_bb">
 234         <dia:rectangle val="4.95,10.95;12.05,13.05"/>
 235       </dia:attribute>
 236       <dia:attribute name="elem_corner">
 237         <dia:point val="5,11"/>
 238       </dia:attribute>
 239       <dia:attribute name="elem_width">
 240         <dia:real val="7"/>
 241       </dia:attribute>
 242       <dia:attribute name="elem_height">
 243         <dia:real val="2"/>
 244       </dia:attribute>
 245       <dia:attribute name="show_background">
 246         <dia:boolean val="false"/>
 247       </dia:attribute>
 248       <dia:attribute name="padding">
 249         <dia:real val="0.5"/>
 250       </dia:attribute>
 251       <dia:attribute name="text">
 252         <dia:composite type="text">
 253           <dia:attribute name="string">
 254             <dia:string>#Frame 4#</dia:string>
 255           </dia:attribute>
 256           <dia:attribute name="font">
 257             <dia:font family="sans" style="0" name="Helvetica"/>
 258           </dia:attribute>
 259           <dia:attribute name="height">
 260             <dia:real val="0.80000000000000004"/>
 261           </dia:attribute>
 262           <dia:attribute name="pos">
 263             <dia:point val="8.5,12.285"/>
 264           </dia:attribute>
 265           <dia:attribute name="color">
 266             <dia:color val="#000000ff"/>
 267           </dia:attribute>
 268           <dia:attribute name="alignment">
 269             <dia:enum val="1"/>
 270           </dia:attribute>
 271         </dia:composite>
 272       </dia:attribute>
 273     </dia:object>
 274     <dia:object type="Flowchart - Box" version="0" id="O4">
 275       <dia:attribute name="obj_pos">
 276         <dia:point val="5,13"/>
 277       </dia:attribute>
 278       <dia:attribute name="obj_bb">
 279         <dia:rectangle val="4.95,12.95;12.05,15.05"/>
 280       </dia:attribute>
 281       <dia:attribute name="elem_corner">
 282         <dia:point val="5,13"/>
 283       </dia:attribute>
 284       <dia:attribute name="elem_width">
 285         <dia:real val="7"/>
 286       </dia:attribute>
 287       <dia:attribute name="elem_height">
 288         <dia:real val="2"/>
 289       </dia:attribute>
 290       <dia:attribute name="show_background">
 291         <dia:boolean val="false"/>
 292       </dia:attribute>
 293       <dia:attribute name="padding">
 294         <dia:real val="0.5"/>
 295       </dia:attribute>
 296       <dia:attribute name="text">
 297         <dia:composite type="text">
 298           <dia:attribute name="string">
 299             <dia:string>#Frame 5#</dia:string>
 300           </dia:attribute>
 301           <dia:attribute name="font">
 302             <dia:font family="sans" style="0" name="Helvetica"/>
 303           </dia:attribute>
 304           <dia:attribute name="height">
 305             <dia:real val="0.80000000000000004"/>
 306           </dia:attribute>
 307           <dia:attribute name="pos">
 308             <dia:point val="8.5,14.285"/>
 309           </dia:attribute>
 310           <dia:attribute name="color">
 311             <dia:color val="#000000ff"/>
 312           </dia:attribute>
 313           <dia:attribute name="alignment">
 314             <dia:enum val="1"/>
 315           </dia:attribute>
 316         </dia:composite>
 317       </dia:attribute>
 318     </dia:object>
 319     <dia:object type="Flowchart - Box" version="0" id="O5">
 320       <dia:attribute name="obj_pos">
 321         <dia:point val="5,15"/>
 322       </dia:attribute>
 323       <dia:attribute name="obj_bb">
 324         <dia:rectangle val="4.95,14.95;12.05,17.05"/>
 325       </dia:attribute>
 326       <dia:attribute name="elem_corner">
 327         <dia:point val="5,15"/>
 328       </dia:attribute>
 329       <dia:attribute name="elem_width">
 330         <dia:real val="7"/>
 331       </dia:attribute>
 332       <dia:attribute name="elem_height">
 333         <dia:real val="2"/>
 334       </dia:attribute>
 335       <dia:attribute name="show_background">
 336         <dia:boolean val="false"/>
 337       </dia:attribute>
 338       <dia:attribute name="padding">
 339         <dia:real val="0.5"/>
 340       </dia:attribute>
 341       <dia:attribute name="text">
 342         <dia:composite type="text">
 343           <dia:attribute name="string">
 344             <dia:string>#Frame 6#</dia:string>
 345           </dia:attribute>
 346           <dia:attribute name="font">
 347             <dia:font family="sans" style="0" name="Helvetica"/>
 348           </dia:attribute>
 349           <dia:attribute name="height">
 350             <dia:real val="0.80000000000000004"/>
 351           </dia:attribute>
 352           <dia:attribute name="pos">
 353             <dia:point val="8.5,16.285"/>
 354           </dia:attribute>
 355           <dia:attribute name="color">
 356             <dia:color val="#000000ff"/>
 357           </dia:attribute>
 358           <dia:attribute name="alignment">
 359             <dia:enum val="1"/>
 360           </dia:attribute>
 361         </dia:composite>
 362       </dia:attribute>
 363     </dia:object>
 364     <dia:object type="Flowchart - Box" version="0" id="O6">
 365       <dia:attribute name="obj_pos">
 366         <dia:point val="18,5"/>
 367       </dia:attribute>
 368       <dia:attribute name="obj_bb">
 369         <dia:rectangle val="17.95,4.95;25.05,7.05"/>
 370       </dia:attribute>
 371       <dia:attribute name="elem_corner">
 372         <dia:point val="18,5"/>
 373       </dia:attribute>
 374       <dia:attribute name="elem_width">
 375         <dia:real val="7"/>
 376       </dia:attribute>
 377       <dia:attribute name="elem_height">
 378         <dia:real val="2"/>
 379       </dia:attribute>
 380       <dia:attribute name="show_background">
 381         <dia:boolean val="false"/>
 382       </dia:attribute>
 383       <dia:attribute name="padding">
 384         <dia:real val="0.5"/>
 385       </dia:attribute>
 386       <dia:attribute name="text">
 387         <dia:composite type="text">
 388           <dia:attribute name="string">
 389             <dia:string>#Frame 1#</dia:string>
 390           </dia:attribute>
 391           <dia:attribute name="font">
 392             <dia:font family="sans" style="0" name="Helvetica"/>
 393           </dia:attribute>
 394           <dia:attribute name="height">
 395             <dia:real val="0.80000000000000004"/>
 396           </dia:attribute>
 397           <dia:attribute name="pos">
 398             <dia:point val="21.5,6.285"/>
 399           </dia:attribute>
 400           <dia:attribute name="color">
 401             <dia:color val="#000000ff"/>
 402           </dia:attribute>
 403           <dia:attribute name="alignment">
 404             <dia:enum val="1"/>
 405           </dia:attribute>
 406         </dia:composite>
 407       </dia:attribute>
 408     </dia:object>
 409     <dia:object type="Flowchart - Box" version="0" id="O7">
 410       <dia:attribute name="obj_pos">
 411         <dia:point val="18,7"/>
 412       </dia:attribute>
 413       <dia:attribute name="obj_bb">
 414         <dia:rectangle val="17.95,6.95;25.05,9.05"/>
 415       </dia:attribute>
 416       <dia:attribute name="elem_corner">
 417         <dia:point val="18,7"/>
 418       </dia:attribute>
 419       <dia:attribute name="elem_width">
 420         <dia:real val="7"/>
 421       </dia:attribute>
 422       <dia:attribute name="elem_height">
 423         <dia:real val="2"/>
 424       </dia:attribute>
 425       <dia:attribute name="show_background">
 426         <dia:boolean val="false"/>
 427       </dia:attribute>
 428       <dia:attribute name="padding">
 429         <dia:real val="0.5"/>
 430       </dia:attribute>
 431       <dia:attribute name="text">
 432         <dia:composite type="text">
 433           <dia:attribute name="string">
 434             <dia:string>#Frame 2#</dia:string>
 435           </dia:attribute>
 436           <dia:attribute name="font">
 437             <dia:font family="sans" style="0" name="Helvetica"/>
 438           </dia:attribute>
 439           <dia:attribute name="height">
 440             <dia:real val="0.80000000000000004"/>
 441           </dia:attribute>
 442           <dia:attribute name="pos">
 443             <dia:point val="21.5,8.285"/>
 444           </dia:attribute>
 445           <dia:attribute name="color">
 446             <dia:color val="#000000ff"/>
 447           </dia:attribute>
 448           <dia:attribute name="alignment">
 449             <dia:enum val="1"/>
 450           </dia:attribute>
 451         </dia:composite>
 452       </dia:attribute>
 453     </dia:object>
 454     <dia:object type="Flowchart - Box" version="0" id="O8">
 455       <dia:attribute name="obj_pos">
 456         <dia:point val="18,9"/>
 457       </dia:attribute>
 458       <dia:attribute name="obj_bb">
 459         <dia:rectangle val="17.95,8.95;25.05,11.05"/>
 460       </dia:attribute>
 461       <dia:attribute name="elem_corner">
 462         <dia:point val="18,9"/>
 463       </dia:attribute>
 464       <dia:attribute name="elem_width">
 465         <dia:real val="7"/>
 466       </dia:attribute>
 467       <dia:attribute name="elem_height">
 468         <dia:real val="2"/>
 469       </dia:attribute>
 470       <dia:attribute name="show_background">
 471         <dia:boolean val="false"/>
 472       </dia:attribute>
 473       <dia:attribute name="padding">
 474         <dia:real val="0.5"/>
 475       </dia:attribute>
 476       <dia:attribute name="text">
 477         <dia:composite type="text">
 478           <dia:attribute name="string">
 479             <dia:string>#Frame 3#</dia:string>
 480           </dia:attribute>
 481           <dia:attribute name="font">
 482             <dia:font family="sans" style="0" name="Helvetica"/>
 483           </dia:attribute>
 484           <dia:attribute name="height">
 485             <dia:real val="0.80000000000000004"/>
 486           </dia:attribute>
 487           <dia:attribute name="pos">
 488             <dia:point val="21.5,10.285"/>
 489           </dia:attribute>
 490           <dia:attribute name="color">
 491             <dia:color val="#000000ff"/>
 492           </dia:attribute>
 493           <dia:attribute name="alignment">
 494             <dia:enum val="1"/>
 495           </dia:attribute>
 496         </dia:composite>
 497       </dia:attribute>
 498     </dia:object>
 499     <dia:object type="Flowchart - Box" version="0" id="O9">
 500       <dia:attribute name="obj_pos">
 501         <dia:point val="28,11"/>
 502       </dia:attribute>
 503       <dia:attribute name="obj_bb">
 504         <dia:rectangle val="27.95,10.95;35.05,13.05"/>
 505       </dia:attribute>
 506       <dia:attribute name="elem_corner">
 507         <dia:point val="28,11"/>
 508       </dia:attribute>
 509       <dia:attribute name="elem_width">
 510         <dia:real val="7"/>
 511       </dia:attribute>
 512       <dia:attribute name="elem_height">
 513         <dia:real val="2"/>
 514       </dia:attribute>
 515       <dia:attribute name="show_background">
 516         <dia:boolean val="false"/>
 517       </dia:attribute>
 518       <dia:attribute name="padding">
 519         <dia:real val="0.5"/>
 520       </dia:attribute>
 521       <dia:attribute name="text">
 522         <dia:composite type="text">
 523           <dia:attribute name="string">
 524             <dia:string>#Frame 4#</dia:string>
 525           </dia:attribute>
 526           <dia:attribute name="font">
 527             <dia:font family="sans" style="0" name="Helvetica"/>
 528           </dia:attribute>
 529           <dia:attribute name="height">
 530             <dia:real val="0.80000000000000004"/>
 531           </dia:attribute>
 532           <dia:attribute name="pos">
 533             <dia:point val="31.5,12.285"/>
 534           </dia:attribute>
 535           <dia:attribute name="color">
 536             <dia:color val="#000000ff"/>
 537           </dia:attribute>
 538           <dia:attribute name="alignment">
 539             <dia:enum val="1"/>
 540           </dia:attribute>
 541         </dia:composite>
 542       </dia:attribute>
 543     </dia:object>
 544     <dia:object type="Flowchart - Box" version="0" id="O10">
 545       <dia:attribute name="obj_pos">
 546         <dia:point val="28,13"/>
 547       </dia:attribute>
 548       <dia:attribute name="obj_bb">
 549         <dia:rectangle val="27.95,12.95;35.05,15.05"/>
 550       </dia:attribute>
 551       <dia:attribute name="elem_corner">
 552         <dia:point val="28,13"/>
 553       </dia:attribute>
 554       <dia:attribute name="elem_width">
 555         <dia:real val="7"/>
 556       </dia:attribute>
 557       <dia:attribute name="elem_height">
 558         <dia:real val="2"/>
 559       </dia:attribute>
 560       <dia:attribute name="show_background">
 561         <dia:boolean val="false"/>
 562       </dia:attribute>
 563       <dia:attribute name="padding">
 564         <dia:real val="0.5"/>
 565       </dia:attribute>
 566       <dia:attribute name="text">
 567         <dia:composite type="text">
 568           <dia:attribute name="string">
 569             <dia:string>#Frame 5#</dia:string>
 570           </dia:attribute>
 571           <dia:attribute name="font">
 572             <dia:font family="sans" style="0" name="Helvetica"/>
 573           </dia:attribute>
 574           <dia:attribute name="height">
 575             <dia:real val="0.80000000000000004"/>
 576           </dia:attribute>
 577           <dia:attribute name="pos">
 578             <dia:point val="31.5,14.285"/>
 579           </dia:attribute>
 580           <dia:attribute name="color">
 581             <dia:color val="#000000ff"/>
 582           </dia:attribute>
 583           <dia:attribute name="alignment">
 584             <dia:enum val="1"/>
 585           </dia:attribute>
 586         </dia:composite>
 587       </dia:attribute>
 588     </dia:object>
 589     <dia:object type="Flowchart - Box" version="0" id="O11">
 590       <dia:attribute name="obj_pos">
 591         <dia:point val="28,15"/>
 592       </dia:attribute>
 593       <dia:attribute name="obj_bb">
 594         <dia:rectangle val="27.95,14.95;35.05,17.05"/>
 595       </dia:attribute>
 596       <dia:attribute name="elem_corner">
 597         <dia:point val="28,15"/>
 598       </dia:attribute>
 599       <dia:attribute name="elem_width">
 600         <dia:real val="7"/>
 601       </dia:attribute>
 602       <dia:attribute name="elem_height">
 603         <dia:real val="2"/>
 604       </dia:attribute>
 605       <dia:attribute name="show_background">
 606         <dia:boolean val="false"/>
 607       </dia:attribute>
 608       <dia:attribute name="padding">
 609         <dia:real val="0.5"/>
 610       </dia:attribute>
 611       <dia:attribute name="text">
 612         <dia:composite type="text">
 613           <dia:attribute name="string">
 614             <dia:string>#Frame 6#</dia:string>
 615           </dia:attribute>
 616           <dia:attribute name="font">
 617             <dia:font family="sans" style="0" name="Helvetica"/>
 618           </dia:attribute>
 619           <dia:attribute name="height">
 620             <dia:real val="0.80000000000000004"/>
 621           </dia:attribute>
 622           <dia:attribute name="pos">
 623             <dia:point val="31.5,16.285"/>
 624           </dia:attribute>
 625           <dia:attribute name="color">
 626             <dia:color val="#000000ff"/>
 627           </dia:attribute>
 628           <dia:attribute name="alignment">
 629             <dia:enum val="1"/>
 630           </dia:attribute>
 631         </dia:composite>
 632       </dia:attribute>
 633     </dia:object>
 634     <dia:object type="Flowchart - Box" version="0" id="O12">
 635       <dia:attribute name="obj_pos">
 636         <dia:point val="20,13"/>
 637       </dia:attribute>
 638       <dia:attribute name="obj_bb">
 639         <dia:rectangle val="19.95,12.95;23.05,15.05"/>
 640       </dia:attribute>
 641       <dia:attribute name="elem_corner">
 642         <dia:point val="20,13"/>
 643       </dia:attribute>
 644       <dia:attribute name="elem_width">
 645         <dia:real val="3"/>
 646       </dia:attribute>
 647       <dia:attribute name="elem_height">
 648         <dia:real val="2"/>
 649       </dia:attribute>
 650       <dia:attribute name="show_background">
 651         <dia:boolean val="false"/>
 652       </dia:attribute>
 653       <dia:attribute name="padding">
 654         <dia:real val="0.5"/>
 655       </dia:attribute>
 656       <dia:attribute name="text">
 657         <dia:composite type="text">
 658           <dia:attribute name="string">
 659             <dia:string>#Thunk#</dia:string>
 660           </dia:attribute>
 661           <dia:attribute name="font">
 662             <dia:font family="sans" style="0" name="Helvetica"/>
 663           </dia:attribute>
 664           <dia:attribute name="height">
 665             <dia:real val="0.80000000000000004"/>
 666           </dia:attribute>
 667           <dia:attribute name="pos">
 668             <dia:point val="21.5,14.285"/>
 669           </dia:attribute>
 670           <dia:attribute name="color">
 671             <dia:color val="#000000ff"/>
 672           </dia:attribute>
 673           <dia:attribute name="alignment">
 674             <dia:enum val="1"/>
 675           </dia:attribute>
 676         </dia:composite>
 677       </dia:attribute>
 678     </dia:object>
 679     <dia:object type="Standard - Line" version="0" id="O13">
 680       <dia:attribute name="obj_pos">
 681         <dia:point val="21.5,11"/>
 682       </dia:attribute>
 683       <dia:attribute name="obj_bb">
 684         <dia:rectangle val="21.1382,10.95;21.8618,13.05"/>
 685       </dia:attribute>
 686       <dia:attribute name="conn_endpoints">
 687         <dia:point val="21.5,11"/>
 688         <dia:point val="21.5,13"/>
 689       </dia:attribute>
 690       <dia:attribute name="numcp">
 691         <dia:int val="1"/>
 692       </dia:attribute>
 693       <dia:attribute name="end_arrow">
 694         <dia:enum val="22"/>
 695       </dia:attribute>
 696       <dia:attribute name="end_arrow_length">
 697         <dia:real val="0.5"/>
 698       </dia:attribute>
 699       <dia:attribute name="end_arrow_width">
 700         <dia:real val="0.5"/>
 701       </dia:attribute>
 702       <dia:connections>
 703         <dia:connection handle="0" to="O8" connection="13"/>
 704         <dia:connection handle="1" to="O12" connection="2"/>
 705       </dia:connections>
 706     </dia:object>
 707     <dia:object type="Standard - Line" version="0" id="O14">
 708       <dia:attribute name="obj_pos">
 709         <dia:point val="23,14"/>
 710       </dia:attribute>
 711       <dia:attribute name="obj_bb">
 712         <dia:rectangle val="22.9314,10.9314;28.0686,14.0686"/>
 713       </dia:attribute>
 714       <dia:attribute name="conn_endpoints">
 715         <dia:point val="23,14"/>
 716         <dia:point val="28,11"/>
 717       </dia:attribute>
 718       <dia:attribute name="numcp">
 719         <dia:int val="1"/>
 720       </dia:attribute>
 721       <dia:attribute name="start_arrow">
 722         <dia:enum val="22"/>
 723       </dia:attribute>
 724       <dia:attribute name="start_arrow_length">
 725         <dia:real val="0.5"/>
 726       </dia:attribute>
 727       <dia:attribute name="start_arrow_width">
 728         <dia:real val="0.5"/>
 729       </dia:attribute>
 730       <dia:attribute name="end_arrow">
 731         <dia:enum val="22"/>
 732       </dia:attribute>
 733       <dia:attribute name="end_arrow_length">
 734         <dia:real val="0.5"/>
 735       </dia:attribute>
 736       <dia:attribute name="end_arrow_width">
 737         <dia:real val="0.5"/>
 738       </dia:attribute>
 739       <dia:connections>
 740         <dia:connection handle="0" to="O12" connection="8"/>
 741         <dia:connection handle="1" to="O9" connection="0"/>
 742       </dia:connections>
 743     </dia:object>
 744     <dia:object type="Standard - Line" version="0" id="O15">
 745       <dia:attribute name="obj_pos">
 746         <dia:point val="13,11"/>
 747       </dia:attribute>
 748       <dia:attribute name="obj_bb">
 749         <dia:rectangle val="12.75,10.191;17.25,11.809"/>
 750       </dia:attribute>
 751       <dia:attribute name="conn_endpoints">
 752         <dia:point val="13,11"/>
 753         <dia:point val="17,11"/>
 754       </dia:attribute>
 755       <dia:attribute name="numcp">
 756         <dia:int val="1"/>
 757       </dia:attribute>
 758       <dia:attribute name="line_width">
 759         <dia:real val="0.5"/>
 760       </dia:attribute>
 761       <dia:attribute name="end_arrow">
 762         <dia:enum val="22"/>
 763       </dia:attribute>
 764       <dia:attribute name="end_arrow_length">
 765         <dia:real val="0.5"/>
 766       </dia:attribute>
 767       <dia:attribute name="end_arrow_width">
 768         <dia:real val="0.5"/>
 769       </dia:attribute>
 770     </dia:object>
 771     <dia:object type="Standard - Text" version="1" id="O16">
 772       <dia:attribute name="obj_pos">
 773         <dia:point val="22,4"/>
 774       </dia:attribute>
 775       <dia:attribute name="obj_bb">
 776         <dia:rectangle val="22,3.315;22,4.19"/>
 777       </dia:attribute>
 778       <dia:attribute name="text">
 779         <dia:composite type="text">
 780           <dia:attribute name="string">
 781             <dia:string>##</dia:string>
 782           </dia:attribute>
 783           <dia:attribute name="font">
 784             <dia:font family="sans" style="0" name="Helvetica"/>
 785           </dia:attribute>
 786           <dia:attribute name="height">
 787             <dia:real val="0.80000000000000004"/>
 788           </dia:attribute>
 789           <dia:attribute name="pos">
 790             <dia:point val="22,4"/>
 791           </dia:attribute>
 792           <dia:attribute name="color">
 793             <dia:color val="#000000ff"/>
 794           </dia:attribute>
 795           <dia:attribute name="alignment">
 796             <dia:enum val="0"/>
 797           </dia:attribute>
 798         </dia:composite>
 799       </dia:attribute>
 800       <dia:attribute name="valign">
 801         <dia:enum val="3"/>
 802       </dia:attribute>
 803     </dia:object>
 804     <dia:object type="Standard - Text" version="1" id="O17">
 805       <dia:attribute name="obj_pos">
 806         <dia:point val="21,4"/>
 807       </dia:attribute>
 808       <dia:attribute name="obj_bb">
 809         <dia:rectangle val="19.2037,3.315;22.7963,4.19"/>
 810       </dia:attribute>
 811       <dia:attribute name="text">
 812         <dia:composite type="text">
 813           <dia:attribute name="string">
 814             <dia:string>#Upper stack#</dia:string>
 815           </dia:attribute>
 816           <dia:attribute name="font">
 817             <dia:font family="sans" style="0" name="Helvetica"/>
 818           </dia:attribute>
 819           <dia:attribute name="height">
 820             <dia:real val="0.80000000000000004"/>
 821           </dia:attribute>
 822           <dia:attribute name="pos">
 823             <dia:point val="21,4"/>
 824           </dia:attribute>
 825           <dia:attribute name="color">
 826             <dia:color val="#000000ff"/>
 827           </dia:attribute>
 828           <dia:attribute name="alignment">
 829             <dia:enum val="1"/>
 830           </dia:attribute>
 831         </dia:composite>
 832       </dia:attribute>
 833       <dia:attribute name="valign">
 834         <dia:enum val="3"/>
 835       </dia:attribute>
 836     </dia:object>
 837     <dia:object type="Standard - Text" version="1" id="O18">
 838       <dia:attribute name="obj_pos">
 839         <dia:point val="31,10"/>
 840       </dia:attribute>
 841       <dia:attribute name="obj_bb">
 842         <dia:rectangle val="29.2237,9.29312;32.7981,10.2337"/>
 843       </dia:attribute>
 844       <dia:attribute name="text">
 845         <dia:composite type="text">
 846           <dia:attribute name="string">
 847             <dia:string>#Lower stack#</dia:string>
 848           </dia:attribute>
 849           <dia:attribute name="font">
 850             <dia:font family="sans" style="0" name="Helvetica"/>
 851           </dia:attribute>
 852           <dia:attribute name="height">
 853             <dia:real val="0.80000000000000004"/>
 854           </dia:attribute>
 855           <dia:attribute name="pos">
 856             <dia:point val="31,10"/>
 857           </dia:attribute>
 858           <dia:attribute name="color">
 859             <dia:color val="#000000ff"/>
 860           </dia:attribute>
 861           <dia:attribute name="alignment">
 862             <dia:enum val="1"/>
 863           </dia:attribute>
 864         </dia:composite>
 865       </dia:attribute>
 866       <dia:attribute name="valign">
 867         <dia:enum val="3"/>
 868       </dia:attribute>
 869     </dia:object>
 870     <dia:object type="Standard - Text" version="1" id="O19">
 871       <dia:attribute name="obj_pos">
 872         <dia:point val="30,10"/>
 873       </dia:attribute>
 874       <dia:attribute name="obj_bb">
 875         <dia:rectangle val="29.9781,9.29312;30,10.2337"/>
 876       </dia:attribute>
 877       <dia:attribute name="text">
 878         <dia:composite type="text">
 879           <dia:attribute name="string">
 880             <dia:string>##</dia:string>
 881           </dia:attribute>
 882           <dia:attribute name="font">
 883             <dia:font family="sans" style="0" name="Helvetica"/>
 884           </dia:attribute>
 885           <dia:attribute name="height">
 886             <dia:real val="0.80000000000000004"/>
 887           </dia:attribute>
 888           <dia:attribute name="pos">
 889             <dia:point val="30,10"/>
 890           </dia:attribute>
 891           <dia:attribute name="color">
 892             <dia:color val="#000000ff"/>
 893           </dia:attribute>
 894           <dia:attribute name="alignment">
 895             <dia:enum val="0"/>
 896           </dia:attribute>
 897         </dia:composite>
 898       </dia:attribute>
 899       <dia:attribute name="valign">
 900         <dia:enum val="3"/>
 901       </dia:attribute>
 902     </dia:object>
 903   </dia:layer>
 904 </dia:diagram>