Community-Lab introduction

Check-in [e9a539176a]
Login
Overview
Comment:Move step labels in diagram to a different layer.
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1: e9a539176a1742c5fcbffe291328adb521c2a1c5
User & Date: ivan on 2012-09-19 09:28:24
Other Links: manifest | tags
Context
2012-09-19
10:12
Note what's not implemented yet. check-in: 7451c9cd6d user: ivan tags: trunk
09:28
Move step labels in diagram to a different layer. check-in: e9a539176a user: ivan tags: trunk
07:58
Added diagram of testbed component interactions. check-in: 48254b948d user: ivan tags: trunk
Changes
Hide Diffs Side-by-Side Diffs Ignore Whitespace Patch

Modified interactions.dia from [32e1716199] to [8b5c6f5d46].

   268    268           <dia:real val="0.5"/>
   269    269         </dia:attribute>
   270    270         <dia:attribute name="end_arrow_width">
   271    271           <dia:real val="0.5"/>
   272    272         </dia:attribute>
   273    273         <dia:connections>
   274    274           <dia:connection handle="0" to="O0" connection="16"/>
   275         -        <dia:connection handle="1" to="O15" connection="16"/>
          275  +        <dia:connection handle="1" to="O9" connection="16"/>
   276    276         </dia:connections>
   277    277       </dia:object>
   278    278       <dia:object type="Flowchart - Ellipse" version="0" id="O5">
   279    279         <dia:attribute name="obj_pos">
   280    280           <dia:point val="17,5"/>
   281    281         </dia:attribute>
   282    282         <dia:attribute name="obj_bb">
................................................................................
   406    406             </dia:attribute>
   407    407             <dia:attribute name="alignment">
   408    408               <dia:enum val="1"/>
   409    409             </dia:attribute>
   410    410           </dia:composite>
   411    411         </dia:attribute>
   412    412       </dia:object>
   413         -    <dia:object type="Standard - Text" version="1" id="O8">
   414         -      <dia:attribute name="obj_pos">
   415         -        <dia:point val="0,13"/>
   416         -      </dia:attribute>
   417         -      <dia:attribute name="obj_bb">
   418         -        <dia:rectangle val="0,12.405;4.9675,13.95"/>
   419         -      </dia:attribute>
   420         -      <dia:attribute name="text">
   421         -        <dia:composite type="text">
   422         -          <dia:attribute name="string">
   423         -            <dia:string>#(1) Create slice
   424         -&amp; define slivers#</dia:string>
   425         -          </dia:attribute>
   426         -          <dia:attribute name="font">
   427         -            <dia:font family="sans" style="0" name="Helvetica"/>
   428         -          </dia:attribute>
   429         -          <dia:attribute name="height">
   430         -            <dia:real val="0.80000000000000004"/>
   431         -          </dia:attribute>
   432         -          <dia:attribute name="pos">
   433         -            <dia:point val="0,13"/>
   434         -          </dia:attribute>
   435         -          <dia:attribute name="color">
   436         -            <dia:color val="#000000"/>
   437         -          </dia:attribute>
   438         -          <dia:attribute name="alignment">
   439         -            <dia:enum val="0"/>
   440         -          </dia:attribute>
   441         -        </dia:composite>
   442         -      </dia:attribute>
   443         -      <dia:attribute name="valign">
   444         -        <dia:enum val="3"/>
   445         -      </dia:attribute>
   446         -    </dia:object>
   447         -    <dia:object type="Flowchart - Magnetic Disk" version="1" id="O9">
          413  +    <dia:object type="Flowchart - Magnetic Disk" version="1" id="O8">
   448    414         <dia:attribute name="obj_pos">
   449    415           <dia:point val="18,0"/>
   450    416         </dia:attribute>
   451    417         <dia:attribute name="obj_bb">
   452    418           <dia:rectangle val="17.95,-0.05;20.9725,2.25"/>
   453    419         </dia:attribute>
   454    420         <dia:attribute name="meta">
................................................................................
   510    476         <dia:attribute name="flip_vertical">
   511    477           <dia:boolean val="false"/>
   512    478         </dia:attribute>
   513    479         <dia:attribute name="subscale">
   514    480           <dia:real val="1"/>
   515    481         </dia:attribute>
   516    482       </dia:object>
   517         -    <dia:object type="Standard - Text" version="1" id="O10">
   518         -      <dia:attribute name="obj_pos">
   519         -        <dia:point val="7,12"/>
   520         -      </dia:attribute>
   521         -      <dia:attribute name="obj_bb">
   522         -        <dia:rectangle val="7,11.405;11.55,12.95"/>
   523         -      </dia:attribute>
   524         -      <dia:attribute name="text">
   525         -        <dia:composite type="text">
   526         -          <dia:attribute name="string">
   527         -            <dia:string>#(2) Instantiate
   528         -slivers#</dia:string>
   529         -          </dia:attribute>
   530         -          <dia:attribute name="font">
   531         -            <dia:font family="sans" style="0" name="Helvetica"/>
   532         -          </dia:attribute>
   533         -          <dia:attribute name="height">
   534         -            <dia:real val="0.80000000000000004"/>
   535         -          </dia:attribute>
   536         -          <dia:attribute name="pos">
   537         -            <dia:point val="7,12"/>
   538         -          </dia:attribute>
   539         -          <dia:attribute name="color">
   540         -            <dia:color val="#000000"/>
   541         -          </dia:attribute>
   542         -          <dia:attribute name="alignment">
   543         -            <dia:enum val="0"/>
   544         -          </dia:attribute>
   545         -        </dia:composite>
   546         -      </dia:attribute>
   547         -      <dia:attribute name="valign">
   548         -        <dia:enum val="3"/>
   549         -      </dia:attribute>
   550         -    </dia:object>
   551         -    <dia:object type="Standard - Text" version="1" id="O11">
   552         -      <dia:attribute name="obj_pos">
   553         -        <dia:point val="12,3"/>
   554         -      </dia:attribute>
   555         -      <dia:attribute name="obj_bb">
   556         -        <dia:rectangle val="12,2.405;17.87,3.15"/>
   557         -      </dia:attribute>
   558         -      <dia:attribute name="text">
   559         -        <dia:composite type="text">
   560         -          <dia:attribute name="string">
   561         -            <dia:string>#(1,2,3,5,6) Update#</dia:string>
   562         -          </dia:attribute>
   563         -          <dia:attribute name="font">
   564         -            <dia:font family="sans" style="0" name="Helvetica"/>
   565         -          </dia:attribute>
   566         -          <dia:attribute name="height">
   567         -            <dia:real val="0.80000000000000004"/>
   568         -          </dia:attribute>
   569         -          <dia:attribute name="pos">
   570         -            <dia:point val="12,3"/>
   571         -          </dia:attribute>
   572         -          <dia:attribute name="color">
   573         -            <dia:color val="#000000"/>
   574         -          </dia:attribute>
   575         -          <dia:attribute name="alignment">
   576         -            <dia:enum val="0"/>
   577         -          </dia:attribute>
   578         -        </dia:composite>
   579         -      </dia:attribute>
   580         -      <dia:attribute name="valign">
   581         -        <dia:enum val="3"/>
   582         -      </dia:attribute>
   583         -    </dia:object>
   584         -    <dia:object type="Standard - Text" version="1" id="O12">
   585         -      <dia:attribute name="obj_pos">
   586         -        <dia:point val="26,6"/>
   587         -      </dia:attribute>
   588         -      <dia:attribute name="obj_bb">
   589         -        <dia:rectangle val="26,5.405;30.55,6.15"/>
   590         -      </dia:attribute>
   591         -      <dia:attribute name="text">
   592         -        <dia:composite type="text">
   593         -          <dia:attribute name="string">
   594         -            <dia:string>#(2) Instantiate#</dia:string>
   595         -          </dia:attribute>
   596         -          <dia:attribute name="font">
   597         -            <dia:font family="sans" style="0" name="Helvetica"/>
   598         -          </dia:attribute>
   599         -          <dia:attribute name="height">
   600         -            <dia:real val="0.80000000000000004"/>
   601         -          </dia:attribute>
   602         -          <dia:attribute name="pos">
   603         -            <dia:point val="26,6"/>
   604         -          </dia:attribute>
   605         -          <dia:attribute name="color">
   606         -            <dia:color val="#000000"/>
   607         -          </dia:attribute>
   608         -          <dia:attribute name="alignment">
   609         -            <dia:enum val="0"/>
   610         -          </dia:attribute>
   611         -        </dia:composite>
   612         -      </dia:attribute>
   613         -      <dia:attribute name="valign">
   614         -        <dia:enum val="3"/>
   615         -      </dia:attribute>
   616         -    </dia:object>
   617         -    <dia:object type="Standard - Text" version="1" id="O13">
   618         -      <dia:attribute name="obj_pos">
   619         -        <dia:point val="3,10"/>
   620         -      </dia:attribute>
   621         -      <dia:attribute name="obj_bb">
   622         -        <dia:rectangle val="3,9.405;6.735,10.95"/>
   623         -      </dia:attribute>
   624         -      <dia:attribute name="text">
   625         -        <dia:composite type="text">
   626         -          <dia:attribute name="string">
   627         -            <dia:string>#(3) Activate
   628         -slivers#</dia:string>
   629         -          </dia:attribute>
   630         -          <dia:attribute name="font">
   631         -            <dia:font family="sans" style="0" name="Helvetica"/>
   632         -          </dia:attribute>
   633         -          <dia:attribute name="height">
   634         -            <dia:real val="0.80000000000000004"/>
   635         -          </dia:attribute>
   636         -          <dia:attribute name="pos">
   637         -            <dia:point val="3,10"/>
   638         -          </dia:attribute>
   639         -          <dia:attribute name="color">
   640         -            <dia:color val="#000000"/>
   641         -          </dia:attribute>
   642         -          <dia:attribute name="alignment">
   643         -            <dia:enum val="0"/>
   644         -          </dia:attribute>
   645         -        </dia:composite>
   646         -      </dia:attribute>
   647         -      <dia:attribute name="valign">
   648         -        <dia:enum val="3"/>
   649         -      </dia:attribute>
   650         -    </dia:object>
   651         -    <dia:object type="Standard - Text" version="1" id="O14">
   652         -      <dia:attribute name="obj_pos">
   653         -        <dia:point val="30,7"/>
   654         -      </dia:attribute>
   655         -      <dia:attribute name="obj_bb">
   656         -        <dia:rectangle val="30,6.405;33.735,7.15"/>
   657         -      </dia:attribute>
   658         -      <dia:attribute name="text">
   659         -        <dia:composite type="text">
   660         -          <dia:attribute name="string">
   661         -            <dia:string>#(3) Activate#</dia:string>
   662         -          </dia:attribute>
   663         -          <dia:attribute name="font">
   664         -            <dia:font family="sans" style="0" name="Helvetica"/>
   665         -          </dia:attribute>
   666         -          <dia:attribute name="height">
   667         -            <dia:real val="0.80000000000000004"/>
   668         -          </dia:attribute>
   669         -          <dia:attribute name="pos">
   670         -            <dia:point val="30,7"/>
   671         -          </dia:attribute>
   672         -          <dia:attribute name="color">
   673         -            <dia:color val="#000000"/>
   674         -          </dia:attribute>
   675         -          <dia:attribute name="alignment">
   676         -            <dia:enum val="0"/>
   677         -          </dia:attribute>
   678         -        </dia:composite>
   679         -      </dia:attribute>
   680         -      <dia:attribute name="valign">
   681         -        <dia:enum val="3"/>
   682         -      </dia:attribute>
   683         -    </dia:object>
   684         -    <dia:object type="Flowchart - Box" version="0" id="O15">
          483  +    <dia:object type="Flowchart - Box" version="0" id="O9">
   685    484         <dia:attribute name="obj_pos">
   686    485           <dia:point val="24,21"/>
   687    486         </dia:attribute>
   688    487         <dia:attribute name="obj_bb">
   689    488           <dia:rectangle val="23.95,20.95;26.95,22.95"/>
   690    489         </dia:attribute>
   691    490         <dia:attribute name="elem_corner">
................................................................................
   722    521             </dia:attribute>
   723    522             <dia:attribute name="alignment">
   724    523               <dia:enum val="1"/>
   725    524             </dia:attribute>
   726    525           </dia:composite>
   727    526         </dia:attribute>
   728    527       </dia:object>
   729         -    <dia:object type="Standard - Text" version="1" id="O16">
   730         -      <dia:attribute name="obj_pos">
   731         -        <dia:point val="32,16"/>
   732         -      </dia:attribute>
   733         -      <dia:attribute name="obj_bb">
   734         -        <dia:rectangle val="32,15.405;35.2375,16.15"/>
   735         -      </dia:attribute>
   736         -      <dia:attribute name="text">
   737         -        <dia:composite type="text">
   738         -          <dia:attribute name="string">
   739         -            <dia:string>#(2) Create#</dia:string>
   740         -          </dia:attribute>
   741         -          <dia:attribute name="font">
   742         -            <dia:font family="sans" style="0" name="Helvetica"/>
   743         -          </dia:attribute>
   744         -          <dia:attribute name="height">
   745         -            <dia:real val="0.80000000000000004"/>
   746         -          </dia:attribute>
   747         -          <dia:attribute name="pos">
   748         -            <dia:point val="32,16"/>
   749         -          </dia:attribute>
   750         -          <dia:attribute name="color">
   751         -            <dia:color val="#000000"/>
   752         -          </dia:attribute>
   753         -          <dia:attribute name="alignment">
   754         -            <dia:enum val="0"/>
   755         -          </dia:attribute>
   756         -        </dia:composite>
   757         -      </dia:attribute>
   758         -      <dia:attribute name="valign">
   759         -        <dia:enum val="3"/>
   760         -      </dia:attribute>
   761         -    </dia:object>
   762         -    <dia:object type="Standard - Text" version="1" id="O17">
   763         -      <dia:attribute name="obj_pos">
   764         -        <dia:point val="32,17"/>
   765         -      </dia:attribute>
   766         -      <dia:attribute name="obj_bb">
   767         -        <dia:rectangle val="32,16.405;34.6725,17.15"/>
   768         -      </dia:attribute>
   769         -      <dia:attribute name="text">
   770         -        <dia:composite type="text">
   771         -          <dia:attribute name="string">
   772         -            <dia:string>#(3) Start#</dia:string>
   773         -          </dia:attribute>
   774         -          <dia:attribute name="font">
   775         -            <dia:font family="sans" style="0" name="Helvetica"/>
   776         -          </dia:attribute>
   777         -          <dia:attribute name="height">
   778         -            <dia:real val="0.80000000000000004"/>
   779         -          </dia:attribute>
   780         -          <dia:attribute name="pos">
   781         -            <dia:point val="32,17"/>
   782         -          </dia:attribute>
   783         -          <dia:attribute name="color">
   784         -            <dia:color val="#000000"/>
   785         -          </dia:attribute>
   786         -          <dia:attribute name="alignment">
   787         -            <dia:enum val="0"/>
   788         -          </dia:attribute>
   789         -        </dia:composite>
   790         -      </dia:attribute>
   791         -      <dia:attribute name="valign">
   792         -        <dia:enum val="3"/>
   793         -      </dia:attribute>
   794         -    </dia:object>
   795         -    <dia:object type="Standard - Text" version="1" id="O18">
   796         -      <dia:attribute name="obj_pos">
   797         -        <dia:point val="31,18"/>
   798         -      </dia:attribute>
   799         -      <dia:attribute name="obj_bb">
   800         -        <dia:rectangle val="31,17.405;33.5675,18.15"/>
   801         -      </dia:attribute>
   802         -      <dia:attribute name="text">
   803         -        <dia:composite type="text">
   804         -          <dia:attribute name="string">
   805         -            <dia:string>#(4) Stop#</dia:string>
   806         -          </dia:attribute>
   807         -          <dia:attribute name="font">
   808         -            <dia:font family="sans" style="0" name="Helvetica"/>
   809         -          </dia:attribute>
   810         -          <dia:attribute name="height">
   811         -            <dia:real val="0.80000000000000004"/>
   812         -          </dia:attribute>
   813         -          <dia:attribute name="pos">
   814         -            <dia:point val="31,18"/>
   815         -          </dia:attribute>
   816         -          <dia:attribute name="color">
   817         -            <dia:color val="#000000"/>
   818         -          </dia:attribute>
   819         -          <dia:attribute name="alignment">
   820         -            <dia:enum val="0"/>
   821         -          </dia:attribute>
   822         -        </dia:composite>
   823         -      </dia:attribute>
   824         -      <dia:attribute name="valign">
   825         -        <dia:enum val="3"/>
   826         -      </dia:attribute>
   827         -    </dia:object>
   828         -    <dia:object type="Standard - BezierLine" version="0" id="O19">
          528  +    <dia:object type="Standard - BezierLine" version="0" id="O10">
   829    529         <dia:attribute name="obj_pos">
   830    530           <dia:point val="5.68642,18.3432"/>
   831    531         </dia:attribute>
   832    532         <dia:attribute name="obj_bb">
   833    533           <dia:rectangle val="6.37094,19.611;24.0605,25.4131"/>
   834    534         </dia:attribute>
   835    535         <dia:attribute name="bez_points">
................................................................................
   861    561           <dia:real val="0.5"/>
   862    562         </dia:attribute>
   863    563         <dia:attribute name="end_arrow_width">
   864    564           <dia:real val="0.5"/>
   865    565         </dia:attribute>
   866    566         <dia:connections>
   867    567           <dia:connection handle="0" to="O6" connection="16"/>
   868         -        <dia:connection handle="3" to="O15" connection="16"/>
          568  +        <dia:connection handle="3" to="O9" connection="16"/>
   869    569         </dia:connections>
   870    570       </dia:object>
   871         -    <dia:object type="Standard - Text" version="1" id="O20">
   872         -      <dia:attribute name="obj_pos">
   873         -        <dia:point val="15,24"/>
   874         -      </dia:attribute>
   875         -      <dia:attribute name="obj_bb">
   876         -        <dia:rectangle val="15,23.405;18.3025,24.95"/>
   877         -      </dia:attribute>
   878         -      <dia:attribute name="text">
   879         -        <dia:composite type="text">
   880         -          <dia:attribute name="string">
   881         -            <dia:string>#(4) Collect
   882         -results#</dia:string>
   883         -          </dia:attribute>
   884         -          <dia:attribute name="font">
   885         -            <dia:font family="sans" style="0" name="Helvetica"/>
   886         -          </dia:attribute>
   887         -          <dia:attribute name="height">
   888         -            <dia:real val="0.80000000000000004"/>
   889         -          </dia:attribute>
   890         -          <dia:attribute name="pos">
   891         -            <dia:point val="15,24"/>
   892         -          </dia:attribute>
   893         -          <dia:attribute name="color">
   894         -            <dia:color val="#000000"/>
   895         -          </dia:attribute>
   896         -          <dia:attribute name="alignment">
   897         -            <dia:enum val="0"/>
   898         -          </dia:attribute>
   899         -        </dia:composite>
   900         -      </dia:attribute>
   901         -      <dia:attribute name="valign">
   902         -        <dia:enum val="3"/>
   903         -      </dia:attribute>
   904         -    </dia:object>
   905         -    <dia:object type="Standard - Text" version="1" id="O21">
   906         -      <dia:attribute name="obj_pos">
   907         -        <dia:point val="9,9"/>
   908         -      </dia:attribute>
   909         -      <dia:attribute name="obj_bb">
   910         -        <dia:rectangle val="9,8.405;14.425,9.95"/>
   911         -      </dia:attribute>
   912         -      <dia:attribute name="text">
   913         -        <dia:composite type="text">
   914         -          <dia:attribute name="string">
   915         -            <dia:string>#(5) Deinstantiate
   916         -slivers#</dia:string>
   917         -          </dia:attribute>
   918         -          <dia:attribute name="font">
   919         -            <dia:font family="sans" style="0" name="Helvetica"/>
   920         -          </dia:attribute>
   921         -          <dia:attribute name="height">
   922         -            <dia:real val="0.80000000000000004"/>
   923         -          </dia:attribute>
   924         -          <dia:attribute name="pos">
   925         -            <dia:point val="9,9"/>
   926         -          </dia:attribute>
   927         -          <dia:attribute name="color">
   928         -            <dia:color val="#000000"/>
   929         -          </dia:attribute>
   930         -          <dia:attribute name="alignment">
   931         -            <dia:enum val="0"/>
   932         -          </dia:attribute>
   933         -        </dia:composite>
   934         -      </dia:attribute>
   935         -      <dia:attribute name="valign">
   936         -        <dia:enum val="3"/>
   937         -      </dia:attribute>
   938         -    </dia:object>
   939         -    <dia:object type="Standard - Text" version="1" id="O22">
   940         -      <dia:attribute name="obj_pos">
   941         -        <dia:point val="32,8"/>
   942         -      </dia:attribute>
   943         -      <dia:attribute name="obj_bb">
   944         -        <dia:rectangle val="32,7.405;37.425,8.15"/>
   945         -      </dia:attribute>
   946         -      <dia:attribute name="text">
   947         -        <dia:composite type="text">
   948         -          <dia:attribute name="string">
   949         -            <dia:string>#(5) Deinstantiate#</dia:string>
   950         -          </dia:attribute>
   951         -          <dia:attribute name="font">
   952         -            <dia:font family="sans" style="0" name="Helvetica"/>
   953         -          </dia:attribute>
   954         -          <dia:attribute name="height">
   955         -            <dia:real val="0.80000000000000004"/>
   956         -          </dia:attribute>
   957         -          <dia:attribute name="pos">
   958         -            <dia:point val="32,8"/>
   959         -          </dia:attribute>
   960         -          <dia:attribute name="color">
   961         -            <dia:color val="#000000"/>
   962         -          </dia:attribute>
   963         -          <dia:attribute name="alignment">
   964         -            <dia:enum val="0"/>
   965         -          </dia:attribute>
   966         -        </dia:composite>
   967         -      </dia:attribute>
   968         -      <dia:attribute name="valign">
   969         -        <dia:enum val="3"/>
   970         -      </dia:attribute>
   971         -    </dia:object>
   972         -    <dia:object type="Standard - Text" version="1" id="O23">
   973         -      <dia:attribute name="obj_pos">
   974         -        <dia:point val="30,19"/>
   975         -      </dia:attribute>
   976         -      <dia:attribute name="obj_bb">
   977         -        <dia:rectangle val="30,18.405;33.7125,19.15"/>
   978         -      </dia:attribute>
   979         -      <dia:attribute name="text">
   980         -        <dia:composite type="text">
   981         -          <dia:attribute name="string">
   982         -            <dia:string>#(5) Remove#</dia:string>
   983         -          </dia:attribute>
   984         -          <dia:attribute name="font">
   985         -            <dia:font family="sans" style="0" name="Helvetica"/>
   986         -          </dia:attribute>
   987         -          <dia:attribute name="height">
   988         -            <dia:real val="0.80000000000000004"/>
   989         -          </dia:attribute>
   990         -          <dia:attribute name="pos">
   991         -            <dia:point val="30,19"/>
   992         -          </dia:attribute>
   993         -          <dia:attribute name="color">
   994         -            <dia:color val="#000000"/>
   995         -          </dia:attribute>
   996         -          <dia:attribute name="alignment">
   997         -            <dia:enum val="0"/>
   998         -          </dia:attribute>
   999         -        </dia:composite>
  1000         -      </dia:attribute>
  1001         -      <dia:attribute name="valign">
  1002         -        <dia:enum val="3"/>
  1003         -      </dia:attribute>
  1004         -    </dia:object>
  1005         -    <dia:object type="Flowchart - Ellipse" version="0" id="O24">
          571  +    <dia:object type="Flowchart - Ellipse" version="0" id="O11">
  1006    572         <dia:attribute name="obj_pos">
  1007    573           <dia:point val="34,12"/>
  1008    574         </dia:attribute>
  1009    575         <dia:attribute name="obj_bb">
  1010    576           <dia:rectangle val="33.95,11.95;38.0362,14.0431"/>
  1011    577         </dia:attribute>
  1012    578         <dia:attribute name="elem_corner">
................................................................................
  1043    609             </dia:attribute>
  1044    610             <dia:attribute name="alignment">
  1045    611               <dia:enum val="1"/>
  1046    612             </dia:attribute>
  1047    613           </dia:composite>
  1048    614         </dia:attribute>
  1049    615       </dia:object>
  1050         -    <dia:object type="Flowchart - Box" version="0" id="O25">
          616  +    <dia:object type="Flowchart - Box" version="0" id="O12">
  1051    617         <dia:attribute name="obj_pos">
  1052    618           <dia:point val="31,21"/>
  1053    619         </dia:attribute>
  1054    620         <dia:attribute name="obj_bb">
  1055    621           <dia:rectangle val="30.95,20.95;33.95,22.95"/>
  1056    622         </dia:attribute>
  1057    623         <dia:attribute name="elem_corner">
................................................................................
  1088    654             </dia:attribute>
  1089    655             <dia:attribute name="alignment">
  1090    656               <dia:enum val="1"/>
  1091    657             </dia:attribute>
  1092    658           </dia:composite>
  1093    659         </dia:attribute>
  1094    660       </dia:object>
  1095         -    <dia:object type="Standard - BezierLine" version="0" id="O26">
          661  +    <dia:object type="Standard - BezierLine" version="0" id="O13">
  1096    662         <dia:attribute name="obj_pos">
  1097    663           <dia:point val="5.68642,18.3432"/>
  1098    664         </dia:attribute>
  1099    665         <dia:attribute name="obj_bb">
  1100         -        <dia:rectangle val="5.95728,19.6651;31.4223,26.5324"/>
          666  +        <dia:rectangle val="5.95728,19.665;31.4223,26.5324"/>
  1101    667         </dia:attribute>
  1102    668         <dia:attribute name="bez_points">
  1103    669           <dia:point val="5.68642,18.3432"/>
  1104    670           <dia:point val="8,28"/>
  1105    671           <dia:point val="28,26"/>
  1106    672           <dia:point val="32.45,21.95"/>
  1107    673         </dia:attribute>
................................................................................
  1128    694           <dia:real val="0.5"/>
  1129    695         </dia:attribute>
  1130    696         <dia:attribute name="end_arrow_width">
  1131    697           <dia:real val="0.5"/>
  1132    698         </dia:attribute>
  1133    699         <dia:connections>
  1134    700           <dia:connection handle="0" to="O6" connection="16"/>
  1135         -        <dia:connection handle="3" to="O25" connection="16"/>
          701  +        <dia:connection handle="3" to="O12" connection="16"/>
  1136    702         </dia:connections>
  1137    703       </dia:object>
  1138         -    <dia:object type="Standard - Line" version="0" id="O27">
          704  +    <dia:object type="Standard - Line" version="0" id="O14">
  1139    705         <dia:attribute name="obj_pos">
  1140    706           <dia:point val="26.9488,21.95"/>
  1141    707         </dia:attribute>
  1142    708         <dia:attribute name="obj_bb">
  1143    709           <dia:rectangle val="26.887,21.6191;31.013,22.2809"/>
  1144    710         </dia:attribute>
  1145    711         <dia:attribute name="conn_endpoints">
................................................................................
  1167    733         <dia:attribute name="end_arrow_length">
  1168    734           <dia:real val="0.5"/>
  1169    735         </dia:attribute>
  1170    736         <dia:attribute name="end_arrow_width">
  1171    737           <dia:real val="0.5"/>
  1172    738         </dia:attribute>
  1173    739         <dia:connections>
  1174         -        <dia:connection handle="0" to="O15" connection="16"/>
  1175         -        <dia:connection handle="1" to="O25" connection="16"/>
          740  +        <dia:connection handle="0" to="O9" connection="16"/>
          741  +        <dia:connection handle="1" to="O12" connection="16"/>
          742  +      </dia:connections>
          743  +    </dia:object>
          744  +    <dia:object type="Standard - Arc" version="0" id="O15">
          745  +      <dia:attribute name="obj_pos">
          746  +        <dia:point val="19.3019,6.06378"/>
          747  +      </dia:attribute>
          748  +      <dia:attribute name="obj_bb">
          749  +        <dia:rectangle val="19.2334,5.94878;31.0786,13.0651"/>
          750  +      </dia:attribute>
          751  +      <dia:attribute name="conn_endpoints">
          752  +        <dia:point val="19.3019,6.06378"/>
          753  +        <dia:point val="30.9931,12.9966"/>
          754  +      </dia:attribute>
          755  +      <dia:attribute name="curve_distance">
          756  +        <dia:real val="-2.2610282929090602"/>
          757  +      </dia:attribute>
          758  +      <dia:attribute name="end_arrow">
          759  +        <dia:enum val="3"/>
          760  +      </dia:attribute>
          761  +      <dia:attribute name="end_arrow_length">
          762  +        <dia:real val="0.5"/>
          763  +      </dia:attribute>
          764  +      <dia:attribute name="end_arrow_width">
          765  +        <dia:real val="0.5"/>
          766  +      </dia:attribute>
          767  +      <dia:connections>
          768  +        <dia:connection handle="0" to="O5" connection="16"/>
          769  +        <dia:connection handle="1" to="O7" connection="16"/>
          770  +      </dia:connections>
          771  +    </dia:object>
          772  +    <dia:object type="Standard - Arc" version="0" id="O16">
          773  +      <dia:attribute name="obj_pos">
          774  +        <dia:point val="19.3019,6.06378"/>
          775  +      </dia:attribute>
          776  +      <dia:attribute name="obj_bb">
          777  +        <dia:rectangle val="19.2365,5.88312;36.0585,13.0619"/>
          778  +      </dia:attribute>
          779  +      <dia:attribute name="conn_endpoints">
          780  +        <dia:point val="19.3019,6.06378"/>
          781  +        <dia:point val="35.9931,12.9966"/>
          782  +      </dia:attribute>
          783  +      <dia:attribute name="curve_distance">
          784  +        <dia:real val="-2.3694959306802166"/>
          785  +      </dia:attribute>
          786  +      <dia:attribute name="end_arrow">
          787  +        <dia:enum val="3"/>
          788  +      </dia:attribute>
          789  +      <dia:attribute name="end_arrow_length">
          790  +        <dia:real val="0.5"/>
          791  +      </dia:attribute>
          792  +      <dia:attribute name="end_arrow_width">
          793  +        <dia:real val="0.5"/>
          794  +      </dia:attribute>
          795  +      <dia:connections>
          796  +        <dia:connection handle="0" to="O5" connection="16"/>
          797  +        <dia:connection handle="1" to="O11" connection="16"/>
          798  +      </dia:connections>
          799  +    </dia:object>
          800  +    <dia:object type="Standard - Arc" version="0" id="O17">
          801  +      <dia:attribute name="obj_pos">
          802  +        <dia:point val="30.9931,12.9966"/>
          803  +      </dia:attribute>
          804  +      <dia:attribute name="obj_bb">
          805  +        <dia:rectangle val="25.3812,12.9278;31.0619,22.0188"/>
          806  +      </dia:attribute>
          807  +      <dia:attribute name="conn_endpoints">
          808  +        <dia:point val="30.9931,12.9966"/>
          809  +        <dia:point val="25.45,21.95"/>
          810  +      </dia:attribute>
          811  +      <dia:attribute name="curve_distance">
          812  +        <dia:real val="-1.4743227245417605"/>
          813  +      </dia:attribute>
          814  +      <dia:attribute name="end_arrow">
          815  +        <dia:enum val="3"/>
          816  +      </dia:attribute>
          817  +      <dia:attribute name="end_arrow_length">
          818  +        <dia:real val="0.5"/>
          819  +      </dia:attribute>
          820  +      <dia:attribute name="end_arrow_width">
          821  +        <dia:real val="0.5"/>
          822  +      </dia:attribute>
          823  +      <dia:connections>
          824  +        <dia:connection handle="0" to="O7" connection="16"/>
          825  +        <dia:connection handle="1" to="O9" connection="16"/>
          826  +      </dia:connections>
          827  +    </dia:object>
          828  +    <dia:object type="Standard - Arc" version="0" id="O18">
          829  +      <dia:attribute name="obj_pos">
          830  +        <dia:point val="35.9931,12.9966"/>
          831  +      </dia:attribute>
          832  +      <dia:attribute name="obj_bb">
          833  +        <dia:rectangle val="32.3851,12.9317;36.1591,22.0149"/>
          834  +      </dia:attribute>
          835  +      <dia:attribute name="conn_endpoints">
          836  +        <dia:point val="35.9931,12.9966"/>
          837  +        <dia:point val="32.45,21.95"/>
          838  +      </dia:attribute>
          839  +      <dia:attribute name="curve_distance">
          840  +        <dia:real val="-1.3155739825725297"/>
          841  +      </dia:attribute>
          842  +      <dia:attribute name="end_arrow">
          843  +        <dia:enum val="3"/>
          844  +      </dia:attribute>
          845  +      <dia:attribute name="end_arrow_length">
          846  +        <dia:real val="0.5"/>
          847  +      </dia:attribute>
          848  +      <dia:attribute name="end_arrow_width">
          849  +        <dia:real val="0.5"/>
          850  +      </dia:attribute>
          851  +      <dia:connections>
          852  +        <dia:connection handle="0" to="O11" connection="16"/>
          853  +        <dia:connection handle="1" to="O12" connection="16"/>
          854  +      </dia:connections>
          855  +    </dia:object>
          856  +    <dia:object type="Standard - Arc" version="0" id="O19">
          857  +      <dia:attribute name="obj_pos">
          858  +        <dia:point val="19.3019,6.06378"/>
          859  +      </dia:attribute>
          860  +      <dia:attribute name="obj_bb">
          861  +        <dia:rectangle val="18.4308,1.04842;19.5128,6.11536"/>
          862  +      </dia:attribute>
          863  +      <dia:attribute name="conn_endpoints">
          864  +        <dia:point val="19.3019,6.06378"/>
          865  +        <dia:point val="19.4612,1.1"/>
          866  +      </dia:attribute>
          867  +      <dia:attribute name="curve_distance">
          868  +        <dia:real val="-0.89926314174013744"/>
          869  +      </dia:attribute>
          870  +      <dia:attribute name="end_arrow">
          871  +        <dia:enum val="3"/>
          872  +      </dia:attribute>
          873  +      <dia:attribute name="end_arrow_length">
          874  +        <dia:real val="0.5"/>
          875  +      </dia:attribute>
          876  +      <dia:attribute name="end_arrow_width">
          877  +        <dia:real val="0.5"/>
          878  +      </dia:attribute>
          879  +      <dia:connections>
          880  +        <dia:connection handle="0" to="O5" connection="16"/>
          881  +        <dia:connection handle="1" to="O8" connection="16"/>
          882  +      </dia:connections>
          883  +    </dia:object>
          884  +    <dia:object type="Standard - Arc" version="0" id="O20">
          885  +      <dia:attribute name="obj_pos">
          886  +        <dia:point val="19.4612,1.1"/>
          887  +      </dia:attribute>
          888  +      <dia:attribute name="obj_bb">
          889  +        <dia:rectangle val="19.2503,1.04842;20.616,6.11536"/>
          890  +      </dia:attribute>
          891  +      <dia:attribute name="conn_endpoints">
          892  +        <dia:point val="19.4612,1.1"/>
          893  +        <dia:point val="19.3019,6.06378"/>
          894  +      </dia:attribute>
          895  +      <dia:attribute name="curve_distance">
          896  +        <dia:real val="-1.1834318031002224"/>
          897  +      </dia:attribute>
          898  +      <dia:attribute name="end_arrow">
          899  +        <dia:enum val="3"/>
          900  +      </dia:attribute>
          901  +      <dia:attribute name="end_arrow_length">
          902  +        <dia:real val="0.5"/>
          903  +      </dia:attribute>
          904  +      <dia:attribute name="end_arrow_width">
          905  +        <dia:real val="0.5"/>
          906  +      </dia:attribute>
          907  +      <dia:connections>
          908  +        <dia:connection handle="0" to="O8" connection="16"/>
          909  +        <dia:connection handle="1" to="O5" connection="16"/>
          910  +      </dia:connections>
          911  +    </dia:object>
          912  +    <dia:object type="Standard - Arc" version="0" id="O21">
          913  +      <dia:attribute name="obj_pos">
          914  +        <dia:point val="5.68642,18.3432"/>
          915  +      </dia:attribute>
          916  +      <dia:attribute name="obj_bb">
          917  +        <dia:rectangle val="5.39541,5.48706;19.3725,18.4138"/>
          918  +      </dia:attribute>
          919  +      <dia:attribute name="conn_endpoints">
          920  +        <dia:point val="5.68642,18.3432"/>
          921  +        <dia:point val="19.3019,6.06378"/>
          922  +      </dia:attribute>
          923  +      <dia:attribute name="curve_distance">
          924  +        <dia:real val="-5.3159512231811483"/>
          925  +      </dia:attribute>
          926  +      <dia:attribute name="end_arrow">
          927  +        <dia:enum val="3"/>
          928  +      </dia:attribute>
          929  +      <dia:attribute name="end_arrow_length">
          930  +        <dia:real val="0.5"/>
          931  +      </dia:attribute>
          932  +      <dia:attribute name="end_arrow_width">
          933  +        <dia:real val="0.5"/>
          934  +      </dia:attribute>
          935  +      <dia:connections>
          936  +        <dia:connection handle="0" to="O6" connection="16"/>
          937  +        <dia:connection handle="1" to="O5" connection="16"/>
  1176    938         </dia:connections>
  1177    939       </dia:object>
          940  +  </dia:layer>
          941  +  <dia:layer name="Step labels" visible="true">
          942  +    <dia:object type="Standard - Text" version="1" id="O22">
          943  +      <dia:attribute name="obj_pos">
          944  +        <dia:point val="0,13"/>
          945  +      </dia:attribute>
          946  +      <dia:attribute name="obj_bb">
          947  +        <dia:rectangle val="0,12.405;4.9675,13.95"/>
          948  +      </dia:attribute>
          949  +      <dia:attribute name="text">
          950  +        <dia:composite type="text">
          951  +          <dia:attribute name="string">
          952  +            <dia:string>#(1) Create slice
          953  +&amp; define slivers#</dia:string>
          954  +          </dia:attribute>
          955  +          <dia:attribute name="font">
          956  +            <dia:font family="sans" style="0" name="Helvetica"/>
          957  +          </dia:attribute>
          958  +          <dia:attribute name="height">
          959  +            <dia:real val="0.80000000000000004"/>
          960  +          </dia:attribute>
          961  +          <dia:attribute name="pos">
          962  +            <dia:point val="0,13"/>
          963  +          </dia:attribute>
          964  +          <dia:attribute name="color">
          965  +            <dia:color val="#000000"/>
          966  +          </dia:attribute>
          967  +          <dia:attribute name="alignment">
          968  +            <dia:enum val="0"/>
          969  +          </dia:attribute>
          970  +        </dia:composite>
          971  +      </dia:attribute>
          972  +      <dia:attribute name="valign">
          973  +        <dia:enum val="3"/>
          974  +      </dia:attribute>
          975  +    </dia:object>
          976  +    <dia:object type="Standard - Text" version="1" id="O23">
          977  +      <dia:attribute name="obj_pos">
          978  +        <dia:point val="7,12"/>
          979  +      </dia:attribute>
          980  +      <dia:attribute name="obj_bb">
          981  +        <dia:rectangle val="7,11.405;11.55,12.95"/>
          982  +      </dia:attribute>
          983  +      <dia:attribute name="text">
          984  +        <dia:composite type="text">
          985  +          <dia:attribute name="string">
          986  +            <dia:string>#(2) Instantiate
          987  +slivers#</dia:string>
          988  +          </dia:attribute>
          989  +          <dia:attribute name="font">
          990  +            <dia:font family="sans" style="0" name="Helvetica"/>
          991  +          </dia:attribute>
          992  +          <dia:attribute name="height">
          993  +            <dia:real val="0.80000000000000004"/>
          994  +          </dia:attribute>
          995  +          <dia:attribute name="pos">
          996  +            <dia:point val="7,12"/>
          997  +          </dia:attribute>
          998  +          <dia:attribute name="color">
          999  +            <dia:color val="#000000"/>
         1000  +          </dia:attribute>
         1001  +          <dia:attribute name="alignment">
         1002  +            <dia:enum val="0"/>
         1003  +          </dia:attribute>
         1004  +        </dia:composite>
         1005  +      </dia:attribute>
         1006  +      <dia:attribute name="valign">
         1007  +        <dia:enum val="3"/>
         1008  +      </dia:attribute>
         1009  +    </dia:object>
         1010  +    <dia:object type="Standard - Text" version="1" id="O24">
         1011  +      <dia:attribute name="obj_pos">
         1012  +        <dia:point val="12,3"/>
         1013  +      </dia:attribute>
         1014  +      <dia:attribute name="obj_bb">
         1015  +        <dia:rectangle val="12,2.405;17.87,3.15"/>
         1016  +      </dia:attribute>
         1017  +      <dia:attribute name="text">
         1018  +        <dia:composite type="text">
         1019  +          <dia:attribute name="string">
         1020  +            <dia:string>#(1,2,3,5,6) Update#</dia:string>
         1021  +          </dia:attribute>
         1022  +          <dia:attribute name="font">
         1023  +            <dia:font family="sans" style="0" name="Helvetica"/>
         1024  +          </dia:attribute>
         1025  +          <dia:attribute name="height">
         1026  +            <dia:real val="0.80000000000000004"/>
         1027  +          </dia:attribute>
         1028  +          <dia:attribute name="pos">
         1029  +            <dia:point val="12,3"/>
         1030  +          </dia:attribute>
         1031  +          <dia:attribute name="color">
         1032  +            <dia:color val="#000000"/>
         1033  +          </dia:attribute>
         1034  +          <dia:attribute name="alignment">
         1035  +            <dia:enum val="0"/>
         1036  +          </dia:attribute>
         1037  +        </dia:composite>
         1038  +      </dia:attribute>
         1039  +      <dia:attribute name="valign">
         1040  +        <dia:enum val="3"/>
         1041  +      </dia:attribute>
         1042  +    </dia:object>
         1043  +    <dia:object type="Standard - Text" version="1" id="O25">
         1044  +      <dia:attribute name="obj_pos">
         1045  +        <dia:point val="26,6"/>
         1046  +      </dia:attribute>
         1047  +      <dia:attribute name="obj_bb">
         1048  +        <dia:rectangle val="26,5.405;30.55,6.15"/>
         1049  +      </dia:attribute>
         1050  +      <dia:attribute name="text">
         1051  +        <dia:composite type="text">
         1052  +          <dia:attribute name="string">
         1053  +            <dia:string>#(2) Instantiate#</dia:string>
         1054  +          </dia:attribute>
         1055  +          <dia:attribute name="font">
         1056  +            <dia:font family="sans" style="0" name="Helvetica"/>
         1057  +          </dia:attribute>
         1058  +          <dia:attribute name="height">
         1059  +            <dia:real val="0.80000000000000004"/>
         1060  +          </dia:attribute>
         1061  +          <dia:attribute name="pos">
         1062  +            <dia:point val="26,6"/>
         1063  +          </dia:attribute>
         1064  +          <dia:attribute name="color">
         1065  +            <dia:color val="#000000"/>
         1066  +          </dia:attribute>
         1067  +          <dia:attribute name="alignment">
         1068  +            <dia:enum val="0"/>
         1069  +          </dia:attribute>
         1070  +        </dia:composite>
         1071  +      </dia:attribute>
         1072  +      <dia:attribute name="valign">
         1073  +        <dia:enum val="3"/>
         1074  +      </dia:attribute>
         1075  +    </dia:object>
         1076  +    <dia:object type="Standard - Text" version="1" id="O26">
         1077  +      <dia:attribute name="obj_pos">
         1078  +        <dia:point val="3,10"/>
         1079  +      </dia:attribute>
         1080  +      <dia:attribute name="obj_bb">
         1081  +        <dia:rectangle val="3,9.405;6.735,10.95"/>
         1082  +      </dia:attribute>
         1083  +      <dia:attribute name="text">
         1084  +        <dia:composite type="text">
         1085  +          <dia:attribute name="string">
         1086  +            <dia:string>#(3) Activate
         1087  +slivers#</dia:string>
         1088  +          </dia:attribute>
         1089  +          <dia:attribute name="font">
         1090  +            <dia:font family="sans" style="0" name="Helvetica"/>
         1091  +          </dia:attribute>
         1092  +          <dia:attribute name="height">
         1093  +            <dia:real val="0.80000000000000004"/>
         1094  +          </dia:attribute>
         1095  +          <dia:attribute name="pos">
         1096  +            <dia:point val="3,10"/>
         1097  +          </dia:attribute>
         1098  +          <dia:attribute name="color">
         1099  +            <dia:color val="#000000"/>
         1100  +          </dia:attribute>
         1101  +          <dia:attribute name="alignment">
         1102  +            <dia:enum val="0"/>
         1103  +          </dia:attribute>
         1104  +        </dia:composite>
         1105  +      </dia:attribute>
         1106  +      <dia:attribute name="valign">
         1107  +        <dia:enum val="3"/>
         1108  +      </dia:attribute>
         1109  +    </dia:object>
         1110  +    <dia:object type="Standard - Text" version="1" id="O27">
         1111  +      <dia:attribute name="obj_pos">
         1112  +        <dia:point val="30,7"/>
         1113  +      </dia:attribute>
         1114  +      <dia:attribute name="obj_bb">
         1115  +        <dia:rectangle val="30,6.405;33.735,7.15"/>
         1116  +      </dia:attribute>
         1117  +      <dia:attribute name="text">
         1118  +        <dia:composite type="text">
         1119  +          <dia:attribute name="string">
         1120  +            <dia:string>#(3) Activate#</dia:string>
         1121  +          </dia:attribute>
         1122  +          <dia:attribute name="font">
         1123  +            <dia:font family="sans" style="0" name="Helvetica"/>
         1124  +          </dia:attribute>
         1125  +          <dia:attribute name="height">
         1126  +            <dia:real val="0.80000000000000004"/>
         1127  +          </dia:attribute>
         1128  +          <dia:attribute name="pos">
         1129  +            <dia:point val="30,7"/>
         1130  +          </dia:attribute>
         1131  +          <dia:attribute name="color">
         1132  +            <dia:color val="#000000"/>
         1133  +          </dia:attribute>
         1134  +          <dia:attribute name="alignment">
         1135  +            <dia:enum val="0"/>
         1136  +          </dia:attribute>
         1137  +        </dia:composite>
         1138  +      </dia:attribute>
         1139  +      <dia:attribute name="valign">
         1140  +        <dia:enum val="3"/>
         1141  +      </dia:attribute>
         1142  +    </dia:object>
  1178   1143       <dia:object type="Standard - Text" version="1" id="O28">
  1179   1144         <dia:attribute name="obj_pos">
         1145  +        <dia:point val="32,16"/>
         1146  +      </dia:attribute>
         1147  +      <dia:attribute name="obj_bb">
         1148  +        <dia:rectangle val="32,15.405;35.2375,16.15"/>
         1149  +      </dia:attribute>
         1150  +      <dia:attribute name="text">
         1151  +        <dia:composite type="text">
         1152  +          <dia:attribute name="string">
         1153  +            <dia:string>#(2) Create#</dia:string>
         1154  +          </dia:attribute>
         1155  +          <dia:attribute name="font">
         1156  +            <dia:font family="sans" style="0" name="Helvetica"/>
         1157  +          </dia:attribute>
         1158  +          <dia:attribute name="height">
         1159  +            <dia:real val="0.80000000000000004"/>
         1160  +          </dia:attribute>
         1161  +          <dia:attribute name="pos">
         1162  +            <dia:point val="32,16"/>
         1163  +          </dia:attribute>
         1164  +          <dia:attribute name="color">
         1165  +            <dia:color val="#000000"/>
         1166  +          </dia:attribute>
         1167  +          <dia:attribute name="alignment">
         1168  +            <dia:enum val="0"/>
         1169  +          </dia:attribute>
         1170  +        </dia:composite>
         1171  +      </dia:attribute>
         1172  +      <dia:attribute name="valign">
         1173  +        <dia:enum val="3"/>
         1174  +      </dia:attribute>
         1175  +    </dia:object>
         1176  +    <dia:object type="Standard - Text" version="1" id="O29">
         1177  +      <dia:attribute name="obj_pos">
         1178  +        <dia:point val="32,17"/>
         1179  +      </dia:attribute>
         1180  +      <dia:attribute name="obj_bb">
         1181  +        <dia:rectangle val="32,16.405;34.6725,17.15"/>
         1182  +      </dia:attribute>
         1183  +      <dia:attribute name="text">
         1184  +        <dia:composite type="text">
         1185  +          <dia:attribute name="string">
         1186  +            <dia:string>#(3) Start#</dia:string>
         1187  +          </dia:attribute>
         1188  +          <dia:attribute name="font">
         1189  +            <dia:font family="sans" style="0" name="Helvetica"/>
         1190  +          </dia:attribute>
         1191  +          <dia:attribute name="height">
         1192  +            <dia:real val="0.80000000000000004"/>
         1193  +          </dia:attribute>
         1194  +          <dia:attribute name="pos">
         1195  +            <dia:point val="32,17"/>
         1196  +          </dia:attribute>
         1197  +          <dia:attribute name="color">
         1198  +            <dia:color val="#000000"/>
         1199  +          </dia:attribute>
         1200  +          <dia:attribute name="alignment">
         1201  +            <dia:enum val="0"/>
         1202  +          </dia:attribute>
         1203  +        </dia:composite>
         1204  +      </dia:attribute>
         1205  +      <dia:attribute name="valign">
         1206  +        <dia:enum val="3"/>
         1207  +      </dia:attribute>
         1208  +    </dia:object>
         1209  +    <dia:object type="Standard - Text" version="1" id="O30">
         1210  +      <dia:attribute name="obj_pos">
         1211  +        <dia:point val="31,18"/>
         1212  +      </dia:attribute>
         1213  +      <dia:attribute name="obj_bb">
         1214  +        <dia:rectangle val="31,17.405;33.5675,18.15"/>
         1215  +      </dia:attribute>
         1216  +      <dia:attribute name="text">
         1217  +        <dia:composite type="text">
         1218  +          <dia:attribute name="string">
         1219  +            <dia:string>#(4) Stop#</dia:string>
         1220  +          </dia:attribute>
         1221  +          <dia:attribute name="font">
         1222  +            <dia:font family="sans" style="0" name="Helvetica"/>
         1223  +          </dia:attribute>
         1224  +          <dia:attribute name="height">
         1225  +            <dia:real val="0.80000000000000004"/>
         1226  +          </dia:attribute>
         1227  +          <dia:attribute name="pos">
         1228  +            <dia:point val="31,18"/>
         1229  +          </dia:attribute>
         1230  +          <dia:attribute name="color">
         1231  +            <dia:color val="#000000"/>
         1232  +          </dia:attribute>
         1233  +          <dia:attribute name="alignment">
         1234  +            <dia:enum val="0"/>
         1235  +          </dia:attribute>
         1236  +        </dia:composite>
         1237  +      </dia:attribute>
         1238  +      <dia:attribute name="valign">
         1239  +        <dia:enum val="3"/>
         1240  +      </dia:attribute>
         1241  +    </dia:object>
         1242  +    <dia:object type="Standard - Text" version="1" id="O31">
         1243  +      <dia:attribute name="obj_pos">
         1244  +        <dia:point val="15,24"/>
         1245  +      </dia:attribute>
         1246  +      <dia:attribute name="obj_bb">
         1247  +        <dia:rectangle val="15,23.405;18.3025,24.95"/>
         1248  +      </dia:attribute>
         1249  +      <dia:attribute name="text">
         1250  +        <dia:composite type="text">
         1251  +          <dia:attribute name="string">
         1252  +            <dia:string>#(4) Collect
         1253  +results#</dia:string>
         1254  +          </dia:attribute>
         1255  +          <dia:attribute name="font">
         1256  +            <dia:font family="sans" style="0" name="Helvetica"/>
         1257  +          </dia:attribute>
         1258  +          <dia:attribute name="height">
         1259  +            <dia:real val="0.80000000000000004"/>
         1260  +          </dia:attribute>
         1261  +          <dia:attribute name="pos">
         1262  +            <dia:point val="15,24"/>
         1263  +          </dia:attribute>
         1264  +          <dia:attribute name="color">
         1265  +            <dia:color val="#000000"/>
         1266  +          </dia:attribute>
         1267  +          <dia:attribute name="alignment">
         1268  +            <dia:enum val="0"/>
         1269  +          </dia:attribute>
         1270  +        </dia:composite>
         1271  +      </dia:attribute>
         1272  +      <dia:attribute name="valign">
         1273  +        <dia:enum val="3"/>
         1274  +      </dia:attribute>
         1275  +    </dia:object>
         1276  +    <dia:object type="Standard - Text" version="1" id="O32">
         1277  +      <dia:attribute name="obj_pos">
         1278  +        <dia:point val="9,9"/>
         1279  +      </dia:attribute>
         1280  +      <dia:attribute name="obj_bb">
         1281  +        <dia:rectangle val="9,8.405;14.425,9.95"/>
         1282  +      </dia:attribute>
         1283  +      <dia:attribute name="text">
         1284  +        <dia:composite type="text">
         1285  +          <dia:attribute name="string">
         1286  +            <dia:string>#(5) Deinstantiate
         1287  +slivers#</dia:string>
         1288  +          </dia:attribute>
         1289  +          <dia:attribute name="font">
         1290  +            <dia:font family="sans" style="0" name="Helvetica"/>
         1291  +          </dia:attribute>
         1292  +          <dia:attribute name="height">
         1293  +            <dia:real val="0.80000000000000004"/>
         1294  +          </dia:attribute>
         1295  +          <dia:attribute name="pos">
         1296  +            <dia:point val="9,9"/>
         1297  +          </dia:attribute>
         1298  +          <dia:attribute name="color">
         1299  +            <dia:color val="#000000"/>
         1300  +          </dia:attribute>
         1301  +          <dia:attribute name="alignment">
         1302  +            <dia:enum val="0"/>
         1303  +          </dia:attribute>
         1304  +        </dia:composite>
         1305  +      </dia:attribute>
         1306  +      <dia:attribute name="valign">
         1307  +        <dia:enum val="3"/>
         1308  +      </dia:attribute>
         1309  +    </dia:object>
         1310  +    <dia:object type="Standard - Text" version="1" id="O33">
         1311  +      <dia:attribute name="obj_pos">
         1312  +        <dia:point val="32,8"/>
         1313  +      </dia:attribute>
         1314  +      <dia:attribute name="obj_bb">
         1315  +        <dia:rectangle val="32,7.405;37.425,8.15"/>
         1316  +      </dia:attribute>
         1317  +      <dia:attribute name="text">
         1318  +        <dia:composite type="text">
         1319  +          <dia:attribute name="string">
         1320  +            <dia:string>#(5) Deinstantiate#</dia:string>
         1321  +          </dia:attribute>
         1322  +          <dia:attribute name="font">
         1323  +            <dia:font family="sans" style="0" name="Helvetica"/>
         1324  +          </dia:attribute>
         1325  +          <dia:attribute name="height">
         1326  +            <dia:real val="0.80000000000000004"/>
         1327  +          </dia:attribute>
         1328  +          <dia:attribute name="pos">
         1329  +            <dia:point val="32,8"/>
         1330  +          </dia:attribute>
         1331  +          <dia:attribute name="color">
         1332  +            <dia:color val="#000000"/>
         1333  +          </dia:attribute>
         1334  +          <dia:attribute name="alignment">
         1335  +            <dia:enum val="0"/>
         1336  +          </dia:attribute>
         1337  +        </dia:composite>
         1338  +      </dia:attribute>
         1339  +      <dia:attribute name="valign">
         1340  +        <dia:enum val="3"/>
         1341  +      </dia:attribute>
         1342  +    </dia:object>
         1343  +    <dia:object type="Standard - Text" version="1" id="O34">
         1344  +      <dia:attribute name="obj_pos">
         1345  +        <dia:point val="30,19"/>
         1346  +      </dia:attribute>
         1347  +      <dia:attribute name="obj_bb">
         1348  +        <dia:rectangle val="30,18.405;33.7125,19.15"/>
         1349  +      </dia:attribute>
         1350  +      <dia:attribute name="text">
         1351  +        <dia:composite type="text">
         1352  +          <dia:attribute name="string">
         1353  +            <dia:string>#(5) Remove#</dia:string>
         1354  +          </dia:attribute>
         1355  +          <dia:attribute name="font">
         1356  +            <dia:font family="sans" style="0" name="Helvetica"/>
         1357  +          </dia:attribute>
         1358  +          <dia:attribute name="height">
         1359  +            <dia:real val="0.80000000000000004"/>
         1360  +          </dia:attribute>
         1361  +          <dia:attribute name="pos">
         1362  +            <dia:point val="30,19"/>
         1363  +          </dia:attribute>
         1364  +          <dia:attribute name="color">
         1365  +            <dia:color val="#000000"/>
         1366  +          </dia:attribute>
         1367  +          <dia:attribute name="alignment">
         1368  +            <dia:enum val="0"/>
         1369  +          </dia:attribute>
         1370  +        </dia:composite>
         1371  +      </dia:attribute>
         1372  +      <dia:attribute name="valign">
         1373  +        <dia:enum val="3"/>
         1374  +      </dia:attribute>
         1375  +    </dia:object>
         1376  +    <dia:object type="Standard - Text" version="1" id="O35">
         1377  +      <dia:attribute name="obj_pos">
  1180   1378           <dia:point val="21,3"/>
  1181   1379         </dia:attribute>
  1182   1380         <dia:attribute name="obj_bb">
  1183   1381           <dia:rectangle val="21,2.405;22.6125,3.15"/>
  1184   1382         </dia:attribute>
  1185   1383         <dia:attribute name="text">
  1186   1384           <dia:composite type="text">
................................................................................
  1204   1402             </dia:attribute>
  1205   1403           </dia:composite>
  1206   1404         </dia:attribute>
  1207   1405         <dia:attribute name="valign">
  1208   1406           <dia:enum val="3"/>
  1209   1407         </dia:attribute>
  1210   1408       </dia:object>
  1211         -    <dia:object type="Standard - Arc" version="0" id="O29">
  1212         -      <dia:attribute name="obj_pos">
  1213         -        <dia:point val="19.3019,6.06378"/>
  1214         -      </dia:attribute>
  1215         -      <dia:attribute name="obj_bb">
  1216         -        <dia:rectangle val="19.2334,5.94878;31.0787,13.0651"/>
  1217         -      </dia:attribute>
  1218         -      <dia:attribute name="conn_endpoints">
  1219         -        <dia:point val="19.3019,6.06378"/>
  1220         -        <dia:point val="30.9931,12.9966"/>
  1221         -      </dia:attribute>
  1222         -      <dia:attribute name="curve_distance">
  1223         -        <dia:real val="-2.2610282929090602"/>
  1224         -      </dia:attribute>
  1225         -      <dia:attribute name="end_arrow">
  1226         -        <dia:enum val="3"/>
  1227         -      </dia:attribute>
  1228         -      <dia:attribute name="end_arrow_length">
  1229         -        <dia:real val="0.5"/>
  1230         -      </dia:attribute>
  1231         -      <dia:attribute name="end_arrow_width">
  1232         -        <dia:real val="0.5"/>
  1233         -      </dia:attribute>
  1234         -      <dia:connections>
  1235         -        <dia:connection handle="0" to="O5" connection="16"/>
  1236         -        <dia:connection handle="1" to="O7" connection="16"/>
  1237         -      </dia:connections>
  1238         -    </dia:object>
  1239         -    <dia:object type="Standard - Arc" version="0" id="O30">
  1240         -      <dia:attribute name="obj_pos">
  1241         -        <dia:point val="19.3019,6.06378"/>
  1242         -      </dia:attribute>
  1243         -      <dia:attribute name="obj_bb">
  1244         -        <dia:rectangle val="19.2366,5.88312;36.0585,13.0619"/>
  1245         -      </dia:attribute>
  1246         -      <dia:attribute name="conn_endpoints">
  1247         -        <dia:point val="19.3019,6.06378"/>
  1248         -        <dia:point val="35.9931,12.9966"/>
  1249         -      </dia:attribute>
  1250         -      <dia:attribute name="curve_distance">
  1251         -        <dia:real val="-2.3694959306802166"/>
  1252         -      </dia:attribute>
  1253         -      <dia:attribute name="end_arrow">
  1254         -        <dia:enum val="3"/>
  1255         -      </dia:attribute>
  1256         -      <dia:attribute name="end_arrow_length">
  1257         -        <dia:real val="0.5"/>
  1258         -      </dia:attribute>
  1259         -      <dia:attribute name="end_arrow_width">
  1260         -        <dia:real val="0.5"/>
  1261         -      </dia:attribute>
  1262         -      <dia:connections>
  1263         -        <dia:connection handle="0" to="O5" connection="16"/>
  1264         -        <dia:connection handle="1" to="O24" connection="16"/>
  1265         -      </dia:connections>
  1266         -    </dia:object>
  1267         -    <dia:object type="Standard - Arc" version="0" id="O31">
  1268         -      <dia:attribute name="obj_pos">
  1269         -        <dia:point val="30.9931,12.9966"/>
  1270         -      </dia:attribute>
  1271         -      <dia:attribute name="obj_bb">
  1272         -        <dia:rectangle val="25.3812,12.9277;31.062,22.0188"/>
  1273         -      </dia:attribute>
  1274         -      <dia:attribute name="conn_endpoints">
  1275         -        <dia:point val="30.9931,12.9966"/>
  1276         -        <dia:point val="25.45,21.95"/>
  1277         -      </dia:attribute>
  1278         -      <dia:attribute name="curve_distance">
  1279         -        <dia:real val="-1.4743227245417605"/>
  1280         -      </dia:attribute>
  1281         -      <dia:attribute name="end_arrow">
  1282         -        <dia:enum val="3"/>
  1283         -      </dia:attribute>
  1284         -      <dia:attribute name="end_arrow_length">
  1285         -        <dia:real val="0.5"/>
  1286         -      </dia:attribute>
  1287         -      <dia:attribute name="end_arrow_width">
  1288         -        <dia:real val="0.5"/>
  1289         -      </dia:attribute>
  1290         -      <dia:connections>
  1291         -        <dia:connection handle="0" to="O7" connection="16"/>
  1292         -        <dia:connection handle="1" to="O15" connection="16"/>
  1293         -      </dia:connections>
  1294         -    </dia:object>
  1295         -    <dia:object type="Standard - Arc" version="0" id="O32">
  1296         -      <dia:attribute name="obj_pos">
  1297         -        <dia:point val="35.9931,12.9966"/>
  1298         -      </dia:attribute>
  1299         -      <dia:attribute name="obj_bb">
  1300         -        <dia:rectangle val="32.3851,12.9317;36.1591,22.0149"/>
  1301         -      </dia:attribute>
  1302         -      <dia:attribute name="conn_endpoints">
  1303         -        <dia:point val="35.9931,12.9966"/>
  1304         -        <dia:point val="32.45,21.95"/>
  1305         -      </dia:attribute>
  1306         -      <dia:attribute name="curve_distance">
  1307         -        <dia:real val="-1.3155739825725297"/>
  1308         -      </dia:attribute>
  1309         -      <dia:attribute name="end_arrow">
  1310         -        <dia:enum val="3"/>
  1311         -      </dia:attribute>
  1312         -      <dia:attribute name="end_arrow_length">
  1313         -        <dia:real val="0.5"/>
  1314         -      </dia:attribute>
  1315         -      <dia:attribute name="end_arrow_width">
  1316         -        <dia:real val="0.5"/>
  1317         -      </dia:attribute>
  1318         -      <dia:connections>
  1319         -        <dia:connection handle="0" to="O24" connection="16"/>
  1320         -        <dia:connection handle="1" to="O25" connection="16"/>
  1321         -      </dia:connections>
  1322         -    </dia:object>
  1323         -    <dia:object type="Standard - Arc" version="0" id="O33">
  1324         -      <dia:attribute name="obj_pos">
  1325         -        <dia:point val="19.3019,6.06378"/>
  1326         -      </dia:attribute>
  1327         -      <dia:attribute name="obj_bb">
  1328         -        <dia:rectangle val="18.4308,1.04842;19.5128,6.11536"/>
  1329         -      </dia:attribute>
  1330         -      <dia:attribute name="conn_endpoints">
  1331         -        <dia:point val="19.3019,6.06378"/>
  1332         -        <dia:point val="19.4612,1.1"/>
  1333         -      </dia:attribute>
  1334         -      <dia:attribute name="curve_distance">
  1335         -        <dia:real val="-0.89926314174013744"/>
  1336         -      </dia:attribute>
  1337         -      <dia:attribute name="end_arrow">
  1338         -        <dia:enum val="3"/>
  1339         -      </dia:attribute>
  1340         -      <dia:attribute name="end_arrow_length">
  1341         -        <dia:real val="0.5"/>
  1342         -      </dia:attribute>
  1343         -      <dia:attribute name="end_arrow_width">
  1344         -        <dia:real val="0.5"/>
  1345         -      </dia:attribute>
  1346         -      <dia:connections>
  1347         -        <dia:connection handle="0" to="O5" connection="16"/>
  1348         -        <dia:connection handle="1" to="O9" connection="16"/>
  1349         -      </dia:connections>
  1350         -    </dia:object>
  1351         -    <dia:object type="Standard - Arc" version="0" id="O34">
  1352         -      <dia:attribute name="obj_pos">
  1353         -        <dia:point val="19.4612,1.1"/>
  1354         -      </dia:attribute>
  1355         -      <dia:attribute name="obj_bb">
  1356         -        <dia:rectangle val="19.2504,1.04842;20.6161,6.11536"/>
  1357         -      </dia:attribute>
  1358         -      <dia:attribute name="conn_endpoints">
  1359         -        <dia:point val="19.4612,1.1"/>
  1360         -        <dia:point val="19.3019,6.06378"/>
  1361         -      </dia:attribute>
  1362         -      <dia:attribute name="curve_distance">
  1363         -        <dia:real val="-1.1834318031002224"/>
  1364         -      </dia:attribute>
  1365         -      <dia:attribute name="end_arrow">
  1366         -        <dia:enum val="3"/>
  1367         -      </dia:attribute>
  1368         -      <dia:attribute name="end_arrow_length">
  1369         -        <dia:real val="0.5"/>
  1370         -      </dia:attribute>
  1371         -      <dia:attribute name="end_arrow_width">
  1372         -        <dia:real val="0.5"/>
  1373         -      </dia:attribute>
  1374         -      <dia:connections>
  1375         -        <dia:connection handle="0" to="O9" connection="16"/>
  1376         -        <dia:connection handle="1" to="O5" connection="16"/>
  1377         -      </dia:connections>
  1378         -    </dia:object>
  1379         -    <dia:object type="Standard - Text" version="1" id="O35">
         1409  +    <dia:object type="Standard - Text" version="1" id="O36">
  1380   1410         <dia:attribute name="obj_pos">
  1381   1411           <dia:point val="6,7"/>
  1382   1412         </dia:attribute>
  1383   1413         <dia:attribute name="obj_bb">
  1384   1414           <dia:rectangle val="6,6.405;9.7125,7.95"/>
  1385   1415         </dia:attribute>
  1386   1416         <dia:attribute name="text">
................................................................................
  1406   1436             </dia:attribute>
  1407   1437           </dia:composite>
  1408   1438         </dia:attribute>
  1409   1439         <dia:attribute name="valign">
  1410   1440           <dia:enum val="3"/>
  1411   1441         </dia:attribute>
  1412   1442       </dia:object>
  1413         -    <dia:object type="Standard - Arc" version="0" id="O36">
  1414         -      <dia:attribute name="obj_pos">
  1415         -        <dia:point val="5.68642,18.3432"/>
  1416         -      </dia:attribute>
  1417         -      <dia:attribute name="obj_bb">
  1418         -        <dia:rectangle val="5.39541,5.48706;19.3726,18.4138"/>
  1419         -      </dia:attribute>
  1420         -      <dia:attribute name="conn_endpoints">
  1421         -        <dia:point val="5.68642,18.3432"/>
  1422         -        <dia:point val="19.3019,6.06378"/>
  1423         -      </dia:attribute>
  1424         -      <dia:attribute name="curve_distance">
  1425         -        <dia:real val="-5.3159512231811483"/>
  1426         -      </dia:attribute>
  1427         -      <dia:attribute name="end_arrow">
  1428         -        <dia:enum val="3"/>
  1429         -      </dia:attribute>
  1430         -      <dia:attribute name="end_arrow_length">
  1431         -        <dia:real val="0.5"/>
  1432         -      </dia:attribute>
  1433         -      <dia:attribute name="end_arrow_width">
  1434         -        <dia:real val="0.5"/>
  1435         -      </dia:attribute>
  1436         -      <dia:connections>
  1437         -        <dia:connection handle="0" to="O6" connection="16"/>
  1438         -        <dia:connection handle="1" to="O5" connection="16"/>
  1439         -      </dia:connections>
  1440         -    </dia:object>
  1441   1443     </dia:layer>
  1442   1444   </dia:diagram>