a3/setup.graphml

   1 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
   2 <graphml xmlns="http://graphml.graphdrawing.org/xmlns" xmlns:java="http://www.yworks.com/xml/yfiles-common/1.0/java" xmlns:sys="http://www.yworks.com/xml/yfiles-common/markup/primitives/2.0" xmlns:x="http://www.yworks.com/xml/yfiles-common/markup/2.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:y="http://www.yworks.com/xml/graphml" xmlns:yed="http://www.yworks.com/xml/yed/3" xsi:schemaLocation="http://graphml.graphdrawing.org/xmlns http://www.yworks.com/xml/schema/graphml/1.1/ygraphml.xsd">
   3   <!--Created by yEd 3.14.4-->
   4   <key attr.name="Description" attr.type="string" for="graph" id="d0"/>
   5   <key for="port" id="d1" yfiles.type="portgraphics"/>
   6   <key for="port" id="d2" yfiles.type="portgeometry"/>
   7   <key for="port" id="d3" yfiles.type="portuserdata"/>
   8   <key attr.name="url" attr.type="string" for="node" id="d4"/>
   9   <key attr.name="description" attr.type="string" for="node" id="d5"/>
  10   <key for="node" id="d6" yfiles.type="nodegraphics"/>
  11   <key for="graphml" id="d7" yfiles.type="resources"/>
  12   <key attr.name="url" attr.type="string" for="edge" id="d8"/>
  13   <key attr.name="description" attr.type="string" for="edge" id="d9"/>
  14   <key for="edge" id="d10" yfiles.type="edgegraphics"/>
  15   <graph edgedefault="directed" id="G">
  16     <data key="d0"/>
  17     <node id="n0">
  18       <data key="d6">
  19         <y:ShapeNode>
  20           <y:Geometry height="30.0" width="30.0" x="375.0" y="-314.5"/>
  21           <y:Fill color="#FFCC00" transparent="false"/>
  22           <y:BorderStyle color="#000000" type="line" width="1.0"/>
  23           <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" modelName="custom" textColor="#000000" visible="true" width="11.634765625" x="9.1826171875" y="6.015625">1<y:LabelModel>
  24               <y:SmartNodeLabelModel distance="4.0"/>
  25             </y:LabelModel>
  26             <y:ModelParameter>
  27               <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/>
  28             </y:ModelParameter>
  29           </y:NodeLabel>
  30           <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" hasText="false" height="4.0" modelName="custom" textColor="#000000" visible="true" width="4.0" x="13.0" y="13.0">
  31             <y:LabelModel>
  32               <y:SmartNodeLabelModel distance="4.0"/>
  33             </y:LabelModel>
  34             <y:ModelParameter>
  35               <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/>
  36             </y:ModelParameter>
  37           </y:NodeLabel>
  38           <y:Shape type="rectangle"/>
  39         </y:ShapeNode>
  40       </data>
  41     </node>
  42     <node id="n1">
  43       <data key="d6">
  44         <y:ShapeNode>
  45           <y:Geometry height="30.0" width="61.0" x="243.5" y="-314.5"/>
  46           <y:Fill color="#FFCC00" transparent="false"/>
  47           <y:BorderStyle color="#000000" type="line" width="1.0"/>
  48           <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" modelName="custom" textColor="#000000" visible="true" width="39.96484375" x="10.517578125" y="6.015625">Listen<y:LabelModel>
  49               <y:SmartNodeLabelModel distance="4.0"/>
  50             </y:LabelModel>
  51             <y:ModelParameter>
  52               <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/>
  53             </y:ModelParameter>
  54           </y:NodeLabel>
  55           <y:Shape type="rectangle"/>
  56         </y:ShapeNode>
  57       </data>
  58     </node>
  59     <node id="n2">
  60       <data key="d6">
  61         <y:ShapeNode>
  62           <y:Geometry height="30.0" width="67.0" x="53.0" y="-314.5"/>
  63           <y:Fill color="#FFCC00" transparent="false"/>
  64           <y:BorderStyle color="#000000" type="line" width="1.0"/>
  65           <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" modelName="custom" textColor="#000000" visible="true" width="62.857421875" x="2.0712890625" y="8.03125">Syn Recv'<y:LabelModel>
  66               <y:SmartNodeLabelModel distance="4.0"/>
  67             </y:LabelModel>
  68             <y:ModelParameter>
  69               <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.5" nodeRatioX="0.0" nodeRatioY="0.5" offsetX="0.0" offsetY="-4.0" upX="0.0" upY="-1.0"/>
  70             </y:ModelParameter>
  71           </y:NodeLabel>
  72           <y:Shape type="rectangle"/>
  73         </y:ShapeNode>
  74       </data>
  75     </node>
  76     <node id="n3">
  77       <data key="d6">
  78         <y:ShapeNode>
  79           <y:Geometry height="30.0" width="74.0" x="243.5" y="-157.5"/>
  80           <y:Fill color="#FFCC00" transparent="false"/>
  81           <y:BorderStyle color="#000000" type="line" width="1.0"/>
  82           <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" modelName="custom" textColor="#000000" visible="true" width="59.55859375" x="7.220703125" y="6.015625">Syn Recv<y:LabelModel>
  83               <y:SmartNodeLabelModel distance="4.0"/>
  84             </y:LabelModel>
  85             <y:ModelParameter>
  86               <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/>
  87             </y:ModelParameter>
  88           </y:NodeLabel>
  89           <y:Shape type="rectangle"/>
  90         </y:ShapeNode>
  91       </data>
  92     </node>
  93     <node id="n4">
  94       <data key="d6">
  95         <y:ShapeNode>
  96           <y:Geometry height="30.0" width="81.0" x="243.5" y="-71.5"/>
  97           <y:Fill color="#FFCC00" transparent="false"/>
  98           <y:BorderStyle color="#000000" type="line" width="1.0"/>
  99           <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" modelName="custom" textColor="#000000" visible="true" width="73.03515625" x="3.982421875" y="6.015625">Established<y:LabelModel>
 100               <y:SmartNodeLabelModel distance="4.0"/>
 101             </y:LabelModel>
 102             <y:ModelParameter>
 103               <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/>
 104             </y:ModelParameter>
 105           </y:NodeLabel>
 106           <y:Shape type="rectangle"/>
 107         </y:ShapeNode>
 108       </data>
 109     </node>
 110     <node id="n5">
 111       <data key="d5"/>
 112       <data key="d6">
 113         <y:ShapeNode>
 114           <y:Geometry height="30.0" width="74.0" x="247.0" y="95.0"/>
 115           <y:Fill color="#FFCC00" transparent="false"/>
 116           <y:BorderStyle color="#000000" type="line" width="1.0"/>
 117           <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" modelName="custom" textColor="#000000" visible="true" width="63.947265625" x="5.0263671875" y="6.015625">CloseWait<y:LabelModel>
 118               <y:SmartNodeLabelModel distance="4.0"/>
 119             </y:LabelModel>
 120             <y:ModelParameter>
 121               <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/>
 122             </y:ModelParameter>
 123           </y:NodeLabel>
 124           <y:Shape type="rectangle"/>
 125         </y:ShapeNode>
 126       </data>
 127     </node>
 128     <node id="n6">
 129       <data key="d5"/>
 130       <data key="d6">
 131         <y:ShapeNode>
 132           <y:Geometry height="30.0" width="74.0" x="247.0" y="14.5"/>
 133           <y:Fill color="#FFCC00" transparent="false"/>
 134           <y:BorderStyle color="#000000" type="line" width="1.0"/>
 135           <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" modelName="custom" textColor="#000000" visible="true" width="76.333984375" x="-1.1669921875" y="6.015625">Established'<y:LabelModel>
 136               <y:SmartNodeLabelModel distance="4.0"/>
 137             </y:LabelModel>
 138             <y:ModelParameter>
 139               <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/>
 140             </y:ModelParameter>
 141           </y:NodeLabel>
 142           <y:Shape type="rectangle"/>
 143         </y:ShapeNode>
 144       </data>
 145     </node>
 146     <node id="n7">
 147       <data key="d5"/>
 148       <data key="d6">
 149         <y:ShapeNode>
 150           <y:Geometry height="30.0" width="59.0" x="258.0" y="175.5"/>
 151           <y:Fill color="#FFCC00" transparent="false"/>
 152           <y:BorderStyle color="#000000" type="line" width="1.0"/>
 153           <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" modelName="custom" textColor="#000000" visible="true" width="54.56640625" x="2.216796875" y="6.015625">Last Ack<y:LabelModel>
 154               <y:SmartNodeLabelModel distance="4.0"/>
 155             </y:LabelModel>
 156             <y:ModelParameter>
 157               <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/>
 158             </y:ModelParameter>
 159           </y:NodeLabel>
 160           <y:Shape type="rectangle"/>
 161         </y:ShapeNode>
 162       </data>
 163     </node>
 164     <node id="n8">
 165       <data key="d5"/>
 166       <data key="d6">
 167         <y:ShapeNode>
 168           <y:Geometry height="30.0" width="58.0" x="245.0" y="-229.0"/>
 169           <y:Fill color="#FFCC00" transparent="false"/>
 170           <y:BorderStyle color="#000000" type="line" width="1.0"/>
 171           <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" modelName="custom" textColor="#000000" visible="true" width="62.751953125" x="-2.3759765625" y="6.015625">Syn recv''<y:LabelModel>
 172               <y:SmartNodeLabelModel distance="4.0"/>
 173             </y:LabelModel>
 174             <y:ModelParameter>
 175               <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/>
 176             </y:ModelParameter>
 177           </y:NodeLabel>
 178           <y:Shape type="rectangle"/>
 179         </y:ShapeNode>
 180       </data>
 181     </node>
 182     <node id="n9">
 183       <data key="d5"/>
 184       <data key="d6">
 185         <y:ShapeNode>
 186           <y:Geometry height="30.0" width="30.0" x="112.0" y="6.0"/>
 187           <y:Fill color="#FFCC00" transparent="false"/>
 188           <y:BorderStyle color="#000000" type="line" width="1.0"/>
 189           <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" modelName="custom" textColor="#000000" visible="true" width="32.65234375" x="-1.326171875" y="6.015625">Data<y:LabelModel>
 190               <y:SmartNodeLabelModel distance="4.0"/>
 191             </y:LabelModel>
 192             <y:ModelParameter>
 193               <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/>
 194             </y:ModelParameter>
 195           </y:NodeLabel>
 196           <y:Shape type="rectangle"/>
 197         </y:ShapeNode>
 198       </data>
 199     </node>
 200     <edge id="e0" source="n0" target="n1">
 201       <data key="d10">
 202         <y:ArcEdge>
 203           <y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0">
 204             <y:Point x="332.0" y="-300.63958740234375"/>
 205           </y:Path>
 206           <y:LineStyle color="#000000" type="line" width="1.0"/>
 207           <y:Arrows source="none" target="standard"/>
 208           <y:EdgeLabel alignment="center" backgroundColor="#FFFFFF" configuration="AutoFlippingLabel" distance="2.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasLineColor="false" height="17.96875" modelName="custom" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" visible="true" width="46.333984375" x="-55.4169921875" y="-9.618037519783798">Listen?<y:LabelModel>
 209               <y:SmartEdgeLabelModel autoRotationEnabled="false" defaultAngle="0.0" defaultDistance="10.0"/>
 210             </y:LabelModel>
 211             <y:ModelParameter>
 212               <y:SmartEdgeLabelModelParameter angle="0.0" distance="30.0" distanceToCenter="true" position="center" ratio="0.5" segment="0"/>
 213             </y:ModelParameter>
 214             <y:PreferredPlacementDescriptor angle="0.0" angleOffsetOnRightSide="0" angleReference="absolute" angleRotationOnRightSide="co" distance="-1.0" frozen="true" placement="anywhere" side="anywhere" sideReference="relative_to_edge_flow"/>
 215           </y:EdgeLabel>
 216           <y:Arc height="-1.139572262763977" ratio="-0.03929559513926506" type="fixedRatio"/>
 217         </y:ArcEdge>
 218       </data>
 219     </edge>
 220     <edge id="e1" source="n2" target="n3">
 221       <data key="d10">
 222         <y:ArcEdge>
 223           <y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0">
 224             <y:Point x="169.85482788085938" y="-204.1390838623047"/>
 225           </y:Path>
 226           <y:LineStyle color="#000000" type="line" width="1.0"/>
 227           <y:Arrows source="none" target="standard"/>
 228           <y:EdgeLabel alignment="center" backgroundColor="#FFFFFF" configuration="AutoFlippingLabel" distance="2.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasLineColor="false" height="17.96875" modelName="custom" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" visible="true" width="57.19140625" x="44.60405731201172" y="71.37654113769531">SYNACK!<y:LabelModel>
 229               <y:SmartEdgeLabelModel autoRotationEnabled="false" defaultAngle="0.0" defaultDistance="10.0"/>
 230             </y:LabelModel>
 231             <y:ModelParameter>
 232               <y:SmartEdgeLabelModelParameter angle="0.0" distance="30.0" distanceToCenter="true" position="center" ratio="0.0" segment="-1"/>
 233             </y:ModelParameter>
 234             <y:PreferredPlacementDescriptor angle="0.0" angleOffsetOnRightSide="0" angleReference="absolute" angleRotationOnRightSide="co" distance="-1.0" frozen="true" placement="anywhere" side="anywhere" sideReference="relative_to_edge_flow"/>
 235           </y:EdgeLabel>
 236           <y:Arc height="-21.690576553344727" ratio="-0.34764769673347473" type="fixedRatio"/>
 237         </y:ArcEdge>
 238       </data>
 239     </edge>
 240     <edge id="e2" source="n3" target="n8">
 241       <data key="d10">
 242         <y:ArcEdge>
 243           <y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0">
 244             <y:Point x="280.87921142578125" y="-178.57992553710938"/>
 245           </y:Path>
 246           <y:LineStyle color="#000000" type="line" width="1.0"/>
 247           <y:Arrows source="none" target="standard"/>
 248           <y:EdgeLabel alignment="center" backgroundColor="#FFFFFF" configuration="AutoFlippingLabel" distance="2.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasLineColor="false" height="17.96875" modelName="custom" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" visible="true" width="33.654296875" x="-17.355865478515625" y="-30.064300537109375">RST?<y:LabelModel>
 249               <y:SmartEdgeLabelModel autoRotationEnabled="false" defaultAngle="0.0" defaultDistance="10.0"/>
 250             </y:LabelModel>
 251             <y:ModelParameter>
 252               <y:SmartEdgeLabelModelParameter angle="0.0" distance="30.0" distanceToCenter="true" position="center" ratio="0.0" segment="-1"/>
 253             </y:ModelParameter>
 254             <y:PreferredPlacementDescriptor angle="0.0" angleOffsetOnRightSide="0" angleReference="absolute" angleRotationOnRightSide="co" distance="-1.0" frozen="true" placement="anywhere" side="anywhere" sideReference="relative_to_edge_flow"/>
 255           </y:EdgeLabel>
 256           <y:Arc height="-3.644176721572876" ratio="-0.20303277671337128" type="fixedRatio"/>
 257         </y:ArcEdge>
 258       </data>
 259     </edge>
 260     <edge id="e3" source="n3" target="n4">
 261       <data key="d10">
 262         <y:ArcEdge>
 263           <y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0">
 264             <y:Point x="282.25" y="-99.5"/>
 265           </y:Path>
 266           <y:LineStyle color="#000000" type="line" width="1.0"/>
 267           <y:Arrows source="none" target="standard"/>
 268           <y:EdgeLabel alignment="center" backgroundColor="#FFFFFF" configuration="AutoFlippingLabel" distance="2.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasLineColor="false" height="17.96875" modelName="custom" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" visible="true" width="34.826171875" x="-16.55876124182413" y="12.0078125">ACK?<y:LabelModel>
 269               <y:SmartEdgeLabelModel autoRotationEnabled="false" defaultAngle="0.0" defaultDistance="10.0"/>
 270             </y:LabelModel>
 271             <y:ModelParameter>
 272               <y:SmartEdgeLabelModelParameter angle="0.0" distance="30.0" distanceToCenter="true" position="center" ratio="0.5" segment="0"/>
 273             </y:ModelParameter>
 274             <y:PreferredPlacementDescriptor angle="0.0" angleOffsetOnRightSide="0" angleReference="absolute" angleRotationOnRightSide="co" distance="-1.0" frozen="true" placement="anywhere" side="anywhere" sideReference="relative_to_edge_flow"/>
 275           </y:EdgeLabel>
 276           <y:Arc height="0.0" ratio="0.0" type="fixedRatio"/>
 277         </y:ArcEdge>
 278       </data>
 279     </edge>
 280     <edge id="e4" source="n2" target="n1">
 281       <data key="d10">
 282         <y:ArcEdge>
 283           <y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0">
 284             <y:Point x="180.25" y="-320.6336975097656"/>
 285           </y:Path>
 286           <y:LineStyle color="#000000" type="line" width="1.0"/>
 287           <y:Arrows source="none" target="standard"/>
 288           <y:EdgeLabel alignment="center" backgroundColor="#FFFFFF" configuration="AutoFlippingLabel" distance="2.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasLineColor="false" height="17.96875" modelName="custom" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" visible="true" width="32.095703125" x="44.2396240234375" y="-18.04718017578125">RST!<y:LabelModel>
 289               <y:SmartEdgeLabelModel autoRotationEnabled="false" defaultAngle="0.0" defaultDistance="10.0"/>
 290             </y:LabelModel>
 291             <y:ModelParameter>
 292               <y:SmartEdgeLabelModelParameter angle="0.0" distance="30.0" distanceToCenter="true" position="center" ratio="1.0" segment="0"/>
 293             </y:ModelParameter>
 294             <y:PreferredPlacementDescriptor angle="0.0" angleOffsetOnRightSide="0" angleReference="absolute" angleRotationOnRightSide="co" distance="-1.0" frozen="true" placement="anywhere" side="anywhere" sideReference="relative_to_edge_flow"/>
 295           </y:EdgeLabel>
 296           <y:Arc height="21.13370704650879" ratio="0.4508524239063263" type="fixedRatio"/>
 297         </y:ArcEdge>
 298       </data>
 299     </edge>
 300     <edge id="e5" source="n1" target="n2">
 301       <data key="d10">
 302         <y:ArcEdge>
 303           <y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0">
 304             <y:Point x="180.25" y="-275.7382507324219"/>
 305           </y:Path>
 306           <y:LineStyle color="#000000" type="line" width="1.0"/>
 307           <y:Arrows source="none" target="standard"/>
 308           <y:EdgeLabel alignment="center" backgroundColor="#FFFFFF" configuration="AutoFlippingLabel" distance="2.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasLineColor="false" height="17.96875" modelName="custom" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" visible="true" width="34.29296875" x="-80.3636474609375" y="2.133636474609375">SYN?<y:LabelModel>
 309               <y:SmartEdgeLabelModel autoRotationEnabled="false" defaultAngle="0.0" defaultDistance="10.0"/>
 310             </y:LabelModel>
 311             <y:ModelParameter>
 312               <y:SmartEdgeLabelModelParameter angle="0.0" distance="30.0" distanceToCenter="true" position="center" ratio="0.0" segment="-1"/>
 313             </y:ModelParameter>
 314             <y:PreferredPlacementDescriptor angle="0.0" angleOffsetOnRightSide="0" angleReference="absolute" angleRotationOnRightSide="co" distance="-1.0" frozen="true" placement="anywhere" side="anywhere" sideReference="relative_to_edge_flow"/>
 315           </y:EdgeLabel>
 316           <y:Arc height="23.76174545288086" ratio="0.5069172382354736" type="fixedRatio"/>
 317         </y:ArcEdge>
 318       </data>
 319     </edge>
 320     <edge id="e6" source="n6" target="n5">
 321       <data key="d9"/>
 322       <data key="d10">
 323         <y:PolyLineEdge>
 324           <y:Path sx="0.0" sy="15.0" tx="0.0" ty="0.0"/>
 325           <y:LineStyle color="#000000" type="line" width="1.0"/>
 326           <y:Arrows source="none" target="standard"/>
 327           <y:EdgeLabel alignment="center" backgroundColor="#FFFFFF" configuration="AutoFlippingLabel" distance="2.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasLineColor="false" height="17.96875" modelName="custom" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" visible="true" width="54.244140625" x="-27.1220703125" y="16.265625">FINACK?<y:LabelModel>
 328               <y:SmartEdgeLabelModel autoRotationEnabled="false" defaultAngle="0.0" defaultDistance="10.0"/>
 329             </y:LabelModel>
 330             <y:ModelParameter>
 331               <y:SmartEdgeLabelModelParameter angle="0.0" distance="30.0" distanceToCenter="true" position="center" ratio="0.5" segment="0"/>
 332             </y:ModelParameter>
 333             <y:PreferredPlacementDescriptor angle="0.0" angleOffsetOnRightSide="0" angleReference="absolute" angleRotationOnRightSide="co" distance="-1.0" frozen="true" placement="anywhere" side="anywhere" sideReference="relative_to_edge_flow"/>
 334           </y:EdgeLabel>
 335           <y:BendStyle smoothed="false"/>
 336         </y:PolyLineEdge>
 337       </data>
 338     </edge>
 339     <edge id="e7" source="n4" target="n6">
 340       <data key="d9"/>
 341       <data key="d10">
 342         <y:PolyLineEdge>
 343           <y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0"/>
 344           <y:LineStyle color="#000000" type="line" width="1.0"/>
 345           <y:Arrows source="none" target="standard"/>
 346           <y:EdgeLabel alignment="center" backgroundColor="#FFFFFF" configuration="AutoFlippingLabel" distance="2.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasLineColor="false" height="17.96875" modelName="custom" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" visible="true" width="63.173828125" x="-31.5869140625" y="19.015624999999993">TIMEOUT!<y:LabelModel>
 347               <y:SmartEdgeLabelModel autoRotationEnabled="false" defaultAngle="0.0" defaultDistance="10.0"/>
 348             </y:LabelModel>
 349             <y:ModelParameter>
 350               <y:SmartEdgeLabelModelParameter angle="0.0" distance="30.0" distanceToCenter="true" position="center" ratio="0.5" segment="0"/>
 351             </y:ModelParameter>
 352             <y:PreferredPlacementDescriptor angle="0.0" angleOffsetOnRightSide="0" angleReference="absolute" angleRotationOnRightSide="co" distance="-1.0" frozen="true" placement="anywhere" side="anywhere" sideReference="relative_to_edge_flow"/>
 353           </y:EdgeLabel>
 354           <y:BendStyle smoothed="false"/>
 355         </y:PolyLineEdge>
 356       </data>
 357     </edge>
 358     <edge id="e8" source="n7" target="n1">
 359       <data key="d9"/>
 360       <data key="d10">
 361         <y:ArcEdge>
 362           <y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0">
 363             <y:Point x="376.22222900390625" y="-57.13035583496094"/>
 364           </y:Path>
 365           <y:LineStyle color="#000000" type="line" width="1.0"/>
 366           <y:Arrows source="none" target="standard"/>
 367           <y:EdgeLabel alignment="center" backgroundColor="#FFFFFF" configuration="AutoFlippingLabel" distance="2.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasLineColor="false" height="17.96875" modelName="custom" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" visible="true" width="46.333984375" x="55.216796875" y="-241.61473083496094">Listen?<y:LabelModel>
 368               <y:SmartEdgeLabelModel autoRotationEnabled="false" defaultAngle="0.0" defaultDistance="10.0"/>
 369             </y:LabelModel>
 370             <y:ModelParameter>
 371               <y:SmartEdgeLabelModelParameter angle="0.0" distance="30.0" distanceToCenter="true" position="center" ratio="0.0" segment="-1"/>
 372             </y:ModelParameter>
 373             <y:PreferredPlacementDescriptor angle="0.0" angleOffsetOnRightSide="0" angleReference="absolute" angleRotationOnRightSide="co" distance="-1.0" frozen="true" placement="anywhere" side="anywhere" sideReference="relative_to_edge_flow"/>
 374           </y:EdgeLabel>
 375           <y:Arc height="-95.50846862792969" ratio="-0.7793652415275574" type="fixedRatio"/>
 376         </y:ArcEdge>
 377       </data>
 378     </edge>
 379     <edge id="e9" source="n8" target="n1">
 380       <data key="d9"/>
 381       <data key="d10">
 382         <y:PolyLineEdge>
 383           <y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0"/>
 384           <y:LineStyle color="#000000" type="line" width="1.0"/>
 385           <y:Arrows source="none" target="standard"/>
 386           <y:EdgeLabel alignment="center" backgroundColor="#FFFFFF" configuration="AutoFlippingLabel" distance="2.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasLineColor="false" height="17.96875" modelName="custom" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" visible="true" width="63.173828125" x="-31.5869140625" y="-36.734375">TIMEOUT!<y:LabelModel>
 387               <y:SmartEdgeLabelModel autoRotationEnabled="false" defaultAngle="0.0" defaultDistance="10.0"/>
 388             </y:LabelModel>
 389             <y:ModelParameter>
 390               <y:SmartEdgeLabelModelParameter angle="0.0" distance="30.0" distanceToCenter="true" position="center" ratio="0.5" segment="0"/>
 391             </y:ModelParameter>
 392             <y:PreferredPlacementDescriptor angle="0.0" angleOffsetOnRightSide="0" angleReference="absolute" angleRotationOnRightSide="co" distance="-1.0" frozen="true" placement="anywhere" side="anywhere" sideReference="relative_to_edge_flow"/>
 393           </y:EdgeLabel>
 394           <y:BendStyle smoothed="false"/>
 395         </y:PolyLineEdge>
 396       </data>
 397     </edge>
 398     <edge id="e10" source="n2" target="n1">
 399       <data key="d9"/>
 400       <data key="d10">
 401         <y:ArcEdge>
 402           <y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0">
 403             <y:Point x="180.25" y="-373.0871887207031"/>
 404           </y:Path>
 405           <y:LineStyle color="#000000" type="line" width="1.0"/>
 406           <y:Arrows source="none" target="standard"/>
 407           <y:EdgeLabel alignment="center" backgroundColor="#FFFFFF" configuration="AutoFlippingLabel" distance="2.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasLineColor="false" height="17.96875" modelName="custom" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" visible="true" width="63.173828125" x="51.971099853515625" y="-67.57156372070312">TIMEOUT!<y:LabelModel>
 408               <y:SmartEdgeLabelModel autoRotationEnabled="false" defaultAngle="0.0" defaultDistance="10.0"/>
 409             </y:LabelModel>
 410             <y:ModelParameter>
 411               <y:SmartEdgeLabelModelParameter angle="0.0" distance="30.0" distanceToCenter="true" position="center" ratio="1.0" segment="0"/>
 412             </y:ModelParameter>
 413             <y:PreferredPlacementDescriptor angle="0.0" angleOffsetOnRightSide="0" angleReference="absolute" angleRotationOnRightSide="co" distance="-1.0" frozen="true" placement="anywhere" side="anywhere" sideReference="relative_to_edge_flow"/>
 414           </y:EdgeLabel>
 415           <y:Arc height="73.58718872070312" ratio="1.5698599815368652" type="fixedRatio"/>
 416         </y:ArcEdge>
 417       </data>
 418     </edge>
 419     <edge id="e11" source="n6" target="n9">
 420       <data key="d9"/>
 421       <data key="d10">
 422         <y:ArcEdge>
 423           <y:Path sx="-13.0" sy="1.5" tx="0.0" ty="0.0">
 424             <y:Point x="198.5562286376953" y="32.39030075073242"/>
 425           </y:Path>
 426           <y:LineStyle color="#000000" type="dashed" width="1.0"/>
 427           <y:Arrows source="none" target="standard"/>
 428           <y:EdgeLabel alignment="center" backgroundColor="#FFFFFF" configuration="AutoFlippingLabel" distance="2.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasLineColor="false" height="17.96875" modelName="custom" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" visible="true" width="35.1484375" x="-65.99716186523438" y="-9.109870910644538">DAT?<y:LabelModel>
 429               <y:SmartEdgeLabelModel autoRotationEnabled="false" defaultAngle="0.0" defaultDistance="10.0"/>
 430             </y:LabelModel>
 431             <y:ModelParameter>
 432               <y:SmartEdgeLabelModelParameter angle="0.0" distance="30.0" distanceToCenter="true" position="center" ratio="1.0" segment="0"/>
 433             </y:ModelParameter>
 434             <y:PreferredPlacementDescriptor angle="0.0" angleOffsetOnRightSide="0" angleReference="absolute" angleRotationOnRightSide="co" distance="-1.0" frozen="true" placement="anywhere" side="anywhere" sideReference="relative_to_edge_flow"/>
 435           </y:EdgeLabel>
 436           <y:Arc height="6.405689716339111" ratio="0.17750832438468933" type="fixedRatio"/>
 437         </y:ArcEdge>
 438       </data>
 439     </edge>
 440     <edge id="e12" source="n9" target="n6">
 441       <data key="d9"/>
 442       <data key="d10">
 443         <y:ArcEdge>
 444           <y:Path sx="0.0" sy="0.0" tx="-10.0" ty="-8.5">
 445             <y:Point x="200.5" y="-0.7931766510009766"/>
 446           </y:Path>
 447           <y:LineStyle color="#000000" type="dashed" width="1.0"/>
 448           <y:Arrows source="none" target="standard"/>
 449           <y:EdgeLabel alignment="center" backgroundColor="#FFFFFF" configuration="AutoFlippingLabel" distance="2.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasLineColor="false" height="17.96875" modelName="custom" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" visible="true" width="33.267578125" x="41.8662109375" y="-22.9942741394043">ACK!<y:LabelModel>
 450               <y:SmartEdgeLabelModel autoRotationEnabled="false" defaultAngle="0.0" defaultDistance="10.0"/>
 451             </y:LabelModel>
 452             <y:ModelParameter>
 453               <y:SmartEdgeLabelModelParameter angle="0.0" distance="30.0" distanceToCenter="true" position="center" ratio="1.0" segment="0"/>
 454             </y:ModelParameter>
 455             <y:PreferredPlacementDescriptor angle="0.0" angleOffsetOnRightSide="0" angleReference="absolute" angleRotationOnRightSide="co" distance="-1.0" frozen="true" placement="anywhere" side="anywhere" sideReference="relative_to_edge_flow"/>
 456           </y:EdgeLabel>
 457           <y:Arc height="21.793176651000977" ratio="0.5930116176605225" type="fixedRatio"/>
 458         </y:ArcEdge>
 459       </data>
 460     </edge>
 461     <edge id="e13" source="n5" target="n7">
 462       <data key="d9"/>
 463       <data key="d10">
 464         <y:ArcEdge>
 465           <y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0">
 466             <y:Point x="287.39154052734375" y="150.1786346435547"/>
 467           </y:Path>
 468           <y:LineStyle color="#000000" type="line" width="1.0"/>
 469           <y:Arrows source="none" target="standard"/>
 470           <y:EdgeLabel alignment="center" backgroundColor="#FFFFFF" configuration="AutoFlippingLabel" distance="2.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasLineColor="false" height="17.96875" modelName="custom" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" visible="true" width="33.267578125" x="-14.5084228515625" y="16.194259643554688">ACK!<y:LabelModel>
 471               <y:SmartEdgeLabelModel autoRotationEnabled="false" defaultAngle="0.0" defaultDistance="10.0"/>
 472             </y:LabelModel>
 473             <y:ModelParameter>
 474               <y:SmartEdgeLabelModelParameter angle="0.0" distance="30.0" distanceToCenter="true" position="center" ratio="1.0" segment="0"/>
 475             </y:ModelParameter>
 476             <y:PreferredPlacementDescriptor angle="0.0" angleOffsetOnRightSide="0" angleReference="absolute" angleRotationOnRightSide="co" distance="-1.0" frozen="true" placement="anywhere" side="anywhere" sideReference="relative_to_edge_flow"/>
 477           </y:EdgeLabel>
 478           <y:Arc height="1.6430950164794922" ratio="0.08156741410493851" type="fixedRatio"/>
 479         </y:ArcEdge>
 480       </data>
 481     </edge>
 482   </graph>
 483   <data key="d7">
 484     <y:Resources/>
 485   </data>
 486 </graphml>