<?xml version="1.0" encoding="UTF-8"?>
<TSX edition="Java Edition" product="Tom Sawyer Visualization" version="6.0.1">
<graphManager id="4">
<resources>
<shapes>
<rectangleShape id="0"/>
<ovalShape id="1"/>
</shapes>
<fonts>
<font id="2">
<name value="SansSerif"/>
<bold value="false"/>
<italic value="false"/>
<fontHeight value="10"/>
</font>
<font id="3">
<name value="SansSerif"/>
<bold value="false"/>
<italic value="false"/>
<fontHeight value="8"/>
</font>
</fonts>
</resources>
<instances>
<graphs>
<graph id="5">
<name/>
<margins>
<proportional bottom="0.0" left="0.0" right="0.0" top="0.0"/>
<constant bottom="20.0" left="20.0" right="20.0" top="20.0"/>
</margins>
<url/>
<graphics type="basicGraph">
<backgroundColor value="255 255 255"/>
<imageUsed/>
<imageTiled value="false"/>
<imageStyle value="WORLD_OFFSET"/>
<imageMinTileStep value="25"/>
<imageX value="0.0"/>
<imageY value="0.0"/>
<drawNodesBeforeEdges value="true"/>
</graphics>
</graph>
<graph id="6">
<name/>
<nodes>
<node id="7">
<name/>
<center x="-308.0" y="11.5"/>
<size height="551.0" width="92.0"/>
<originalSize height="551.0" width="92.0"/>
<shape resource="0"/>
<connectors>
<connector id="8">
<name/>
<size height="0.0" width="0.0"/>
<proportionalOffset x="0.0" y="0.5"/>
<constantOffset x="6.0" y="-127.0"/>
<shape resource="1"/>
<url/>
<visible value="false"/>
<graphics type="basicConnector">
<fillColor value="0 255 255"/>
<borderColor value="0 0 0"/>
<transparent value="false"/>
<drawBorder value="true"/>
</graphics>
</connector>
</connectors>
<url/>
<visible value="true"/>
<resizability value="RESIZABILITY_NO_FIT"/>
<graphics type="ETGenericNodeUI">
<fillColor value="204 204 204"/>
<borderColor value="0 0 0"/>
<transparent value="false"/>
<drawBorder value="true"/>
<textFont resource="2"/>
<textColor value="0 0 0"/>
<justification value="CENTER"/>
<childGraphMark value="true"/>
<PEID value="DCE.6F4456CE-3E8B-A6E5-0144-5D69E8D63BE5"/>
</graphics>
</node>
<node id="9">
<name/>
<center x="-123.0" y="-43.5"/>
<size height="555.0" width="92.0"/>
<originalSize height="555.0" width="92.0"/>
<shape resource="0"/>
<connectors>
<connector id="10">
<name/>
<size height="0.0" width="0.0"/>
<proportionalOffset x="0.0" y="0.5"/>
<constantOffset x="-4.0" y="-76.0"/>
<shape resource="1"/>
<url/>
<visible value="false"/>
<graphics type="basicConnector">
<fillColor value="0 255 255"/>
<borderColor value="0 0 0"/>
<transparent value="false"/>
<drawBorder value="true"/>
</graphics>
</connector>
<connector id="11">
<name/>
<size height="0.0" width="0.0"/>
<proportionalOffset x="0.0" y="0.5"/>
<constantOffset x="11.0" y="-140.0"/>
<shape resource="1"/>
<url/>
<visible value="false"/>
<graphics type="basicConnector">
<fillColor value="0 255 255"/>
<borderColor value="0 0 0"/>
<transparent value="false"/>
<drawBorder value="true"/>
</graphics>
</connector>
<connector id="12">
<name/>
<size height="0.0" width="0.0"/>
<proportionalOffset x="0.0" y="0.5"/>
<constantOffset x="16.0" y="-150.0"/>
<shape resource="1"/>
<url/>
<visible value="false"/>
<graphics type="basicConnector">
<fillColor value="0 255 255"/>
<borderColor value="0 0 0"/>
<transparent value="false"/>
<drawBorder value="true"/>
</graphics>
</connector>
<connector id="13">
<name/>
<size height="0.0" width="0.0"/>
<proportionalOffset x="0.0" y="0.5"/>
<constantOffset x="16.0" y="-190.0"/>
<shape resource="1"/>
<url/>
<visible value="false"/>
<graphics type="basicConnector">
<fillColor value="0 255 255"/>
<borderColor value="0 0 0"/>
<transparent value="false"/>
<drawBorder value="true"/>
</graphics>
</connector>
<connector id="14">
<name/>
<size height="0.0" width="0.0"/>
<proportionalOffset x="0.0" y="0.5"/>
<constantOffset x="11.0" y="-200.0"/>
<shape resource="1"/>
<url/>
<visible value="false"/>
<graphics type="basicConnector">
<fillColor value="0 255 255"/>
<borderColor value="0 0 0"/>
<transparent value="false"/>
<drawBorder value="true"/>
</graphics>
</connector>
<connector id="15">
<name/>
<size height="0.0" width="0.0"/>
<proportionalOffset x="0.0" y="0.5"/>
<constantOffset x="11.0" y="-241.0"/>
<shape resource="1"/>
<url/>
<visible value="false"/>
<graphics type="basicConnector">
<fillColor value="0 255 255"/>
<borderColor value="0 0 0"/>
<transparent value="false"/>
<drawBorder value="true"/>
</graphics>
</connector>
<connector id="16">
<name/>
<size height="0.0" width="0.0"/>
<proportionalOffset x="0.0" y="0.5"/>
<constantOffset x="16.0" y="-251.0"/>
<shape resource="1"/>
<url/>
<visible value="false"/>
<graphics type="basicConnector">
<fillColor value="0 255 255"/>
<borderColor value="0 0 0"/>
<transparent value="false"/>
<drawBorder value="true"/>
</graphics>
</connector>
<connector id="17">
<name/>
<size height="0.0" width="0.0"/>
<proportionalOffset x="0.0" y="0.5"/>
<constantOffset x="16.0" y="-291.0"/>
<shape resource="1"/>
<url/>
<visible value="false"/>
<graphics type="basicConnector">
<fillColor value="0 255 255"/>
<borderColor value="0 0 0"/>
<transparent value="false"/>
<drawBorder value="true"/>
</graphics>
</connector>
<connector id="18">
<name/>
<size height="0.0" width="0.0"/>
<proportionalOffset x="0.0" y="0.5"/>
<constantOffset x="11.0" y="-301.0"/>
<shape resource="1"/>
<url/>
<visible value="false"/>
<graphics type="basicConnector">
<fillColor value="0 255 255"/>
<borderColor value="0 0 0"/>
<transparent value="false"/>
<drawBorder value="true"/>
</graphics>
</connector>
<connector id="19">
<name/>
<size height="0.0" width="0.0"/>
<proportionalOffset x="0.0" y="0.5"/>
<constantOffset x="11.0" y="-333.0"/>
<shape resource="1"/>
<url/>
<visible value="false"/>
<graphics type="basicConnector">
<fillColor value="0 255 255"/>
<borderColor value="0 0 0"/>
<transparent value="false"/>
<drawBorder value="true"/>
</graphics>
</connector>
<connector id="20">
<name/>
<size height="0.0" width="0.0"/>
<proportionalOffset x="0.0" y="0.5"/>
<constantOffset x="16.0" y="-343.0"/>
<shape resource="1"/>
<url/>
<visible value="false"/>
<graphics type="basicConnector">
<fillColor value="0 255 255"/>
<borderColor value="0 0 0"/>
<transparent value="false"/>
<drawBorder value="true"/>
</graphics>
</connector>
<connector id="21">
<name/>
<size height="0.0" width="0.0"/>
<proportionalOffset x="0.0" y="0.5"/>
<constantOffset x="16.0" y="-383.0"/>
<shape resource="1"/>
<url/>
<visible value="false"/>
<graphics type="basicConnector">
<fillColor value="0 255 255"/>
<borderColor value="0 0 0"/>
<transparent value="false"/>
<drawBorder value="true"/>
</graphics>
</connector>
<connector id="22">
<name/>
<size height="0.0" width="0.0"/>
<proportionalOffset x="0.0" y="0.5"/>
<constantOffset x="11.0" y="-393.0"/>
<shape resource="1"/>
<url/>
<visible value="false"/>
<graphics type="basicConnector">
<fillColor value="0 255 255"/>
<borderColor value="0 0 0"/>
<transparent value="false"/>
<drawBorder value="true"/>
</graphics>
</connector>
</connectors>
<url/>
<visible value="true"/>
<resizability value="RESIZABILITY_NO_FIT"/>
<graphics type="ETGenericNodeUI">
<fillColor value="204 204 204"/>
<borderColor value="0 0 0"/>
<transparent value="false"/>
<drawBorder value="true"/>
<textFont resource="2"/>
<textColor value="0 0 0"/>
<justification value="CENTER"/>
<childGraphMark value="true"/>
<PEID value="DCE.8813DE11-5764-2039-B309-B55E27490E28"/>
</graphics>
</node>
</nodes>
<edges>
<edge id="23" source="7" target="9">
<sourceConnector value="8"/>
<targetConnector value="10"/>
<sourceClipping/>
<targetClipping/>
<edgeLabels>
<edgeLabel id="24">
<name value="public void  Rearmamineto(  )"/>
<size height="20.0" width="75.0"/>
<constantOffset x="0.0" y="10.0"/>
<distanceFromSource value="0.5"/>
<url/>
<visible value="true"/>
<resizability value="RESIZABILITY_NO_FIT"/>
<graphics type="ETGenericEdgeLabelUI">
<fillColor value="255 255 255"/>
<borderColor value="0 0 0"/>
<transparent value="true"/>
<drawBorder value="false"/>
<textFont resource="3"/>
<textColor value="0 0 0"/>
<justification value="CENTER"/>
<PEID value="DCE.D9C4E9B4-B84C-53A2-13E6-B2AB96925318"/>
</graphics>
</edgeLabel>
</edgeLabels>
<url/>
<visible value="true"/>
<graphics type="relationEdge">
<lineColor value="0 0 0"/>
<arrowWidth value="6.0"/>
<arrowHeight value="6.0"/>
<arrowType value="NO_ARROW"/>
<bendWidth value="5.0"/>
<bendHeight value="5.0"/>
<antiAliasing value="false"/>
<PEID value="DCE.6E6AD383-057B-60EC-45A4-6CB076F1ED23"/>
</graphics>
</edge>
<edge id="25" source="9" target="9">
<sourceConnector value="11"/>
<targetConnector value="12"/>
<sourceClipping/>
<targetClipping/>
<bends>
<point x="-97.0" y="94.0"/>
<point x="-87.0" y="89.0"/>
<point x="-97.0" y="84.0"/>
</bends>
<edgeLabels>
<edgeLabel id="26">
<name value="public void  verCarta(  )"/>
<size height="20.0" width="75.0"/>
<constantOffset x="0.0" y="10.0"/>
<distanceFromSource value="0.5"/>
<url/>
<visible value="true"/>
<resizability value="RESIZABILITY_NO_FIT"/>
<graphics type="ETGenericEdgeLabelUI">
<fillColor value="255 255 255"/>
<borderColor value="0 0 0"/>
<transparent value="true"/>
<drawBorder value="false"/>
<textFont resource="3"/>
<textColor value="0 0 0"/>
<justification value="CENTER"/>
<PEID value="DCE.38695CD9-9E8C-1A7E-7811-3A20A1EB6B34"/>
</graphics>
</edgeLabel>
</edgeLabels>
<url/>
<visible value="true"/>
<graphics type="relationEdge">
<lineColor value="0 0 0"/>
<arrowWidth value="6.0"/>
<arrowHeight value="6.0"/>
<arrowType value="NO_ARROW"/>
<bendWidth value="5.0"/>
<bendHeight value="5.0"/>
<antiAliasing value="false"/>
<PEID value="DCE.07637EFF-2040-F8AF-15AB-546BB212E270"/>
</graphics>
</edge>
<edge id="27" source="9" target="9">
<sourceConnector value="13"/>
<targetConnector value="14"/>
<sourceClipping/>
<targetClipping/>
<bends>
<point x="-97.0" y="44.0"/>
<point x="-87.0" y="39.0"/>
<point x="-97.0" y="34.0"/>
</bends>
<url/>
<visible value="true"/>
<graphics type="relationEdge">
<lineColor value="0 0 0"/>
<arrowWidth value="6.0"/>
<arrowHeight value="6.0"/>
<arrowType value="NO_ARROW"/>
<bendWidth value="5.0"/>
<bendHeight value="5.0"/>
<antiAliasing value="false"/>
<PEID value="DCE.CB906535-368F-A1BB-4C02-8BB1A15BF70A"/>
</graphics>
</edge>
<edge id="28" source="9" target="9">
<sourceConnector value="15"/>
<targetConnector value="16"/>
<sourceClipping/>
<targetClipping/>
<bends>
<point x="-97.0" y="-7.0"/>
<point x="-87.0" y="-12.0"/>
<point x="-97.0" y="-17.0"/>
</bends>
<edgeLabels>
<edgeLabel id="29">
<name value="public void  cambiarCartas(  )"/>
<size height="20.0" width="75.0"/>
<constantOffset x="0.0" y="10.0"/>
<distanceFromSource value="0.5"/>
<url/>
<visible value="true"/>
<resizability value="RESIZABILITY_NO_FIT"/>
<graphics type="ETGenericEdgeLabelUI">
<fillColor value="255 255 255"/>
<borderColor value="0 0 0"/>
<transparent value="true"/>
<drawBorder value="false"/>
<textFont resource="3"/>
<textColor value="0 0 0"/>
<justification value="CENTER"/>
<PEID value="DCE.8614AB72-354D-3936-4E62-29837DA82C00"/>
</graphics>
</edgeLabel>
</edgeLabels>
<url/>
<visible value="true"/>
<graphics type="relationEdge">
<lineColor value="0 0 0"/>
<arrowWidth value="6.0"/>
<arrowHeight value="6.0"/>
<arrowType value="NO_ARROW"/>
<bendWidth value="5.0"/>
<bendHeight value="5.0"/>
<antiAliasing value="false"/>
<PEID value="DCE.F49BAFB3-75CA-ADFF-17E8-16879956098F"/>
</graphics>
</edge>
<edge id="30" source="9" target="9">
<sourceConnector value="17"/>
<targetConnector value="18"/>
<sourceClipping/>
<targetClipping/>
<bends>
<point x="-97.0" y="-57.0"/>
<point x="-87.0" y="-62.0"/>
<point x="-97.0" y="-67.0"/>
</bends>
<url/>
<visible value="true"/>
<graphics type="relationEdge">
<lineColor value="0 0 0"/>
<arrowWidth value="6.0"/>
<arrowHeight value="6.0"/>
<arrowType value="NO_ARROW"/>
<bendWidth value="5.0"/>
<bendHeight value="5.0"/>
<antiAliasing value="false"/>
<PEID value="DCE.A832D7B1-D338-0CEA-C436-88F613A492A1"/>
</graphics>
</edge>
<edge id="31" source="9" target="9">
<sourceConnector value="19"/>
<targetConnector value="20"/>
<sourceClipping/>
<targetClipping/>
<bends>
<point x="-97.0" y="-99.0"/>
<point x="-87.0" y="-104.0"/>
<point x="-97.0" y="-109.0"/>
</bends>
<edgeLabels>
<edgeLabel id="32">
<name value="public void  RecalcularEjercitos(  )"/>
<size height="20.0" width="75.0"/>
<constantOffset x="0.0" y="10.0"/>
<distanceFromSource value="0.5"/>
<url/>
<visible value="true"/>
<resizability value="RESIZABILITY_NO_FIT"/>
<graphics type="ETGenericEdgeLabelUI">
<fillColor value="255 255 255"/>
<borderColor value="0 0 0"/>
<transparent value="true"/>
<drawBorder value="false"/>
<textFont resource="3"/>
<textColor value="0 0 0"/>
<justification value="CENTER"/>
<PEID value="DCE.805B0A78-4722-1651-720A-964E146D50B9"/>
</graphics>
</edgeLabel>
</edgeLabels>
<url/>
<visible value="true"/>
<graphics type="relationEdge">
<lineColor value="0 0 0"/>
<arrowWidth value="6.0"/>
<arrowHeight value="6.0"/>
<arrowType value="NO_ARROW"/>
<bendWidth value="5.0"/>
<bendHeight value="5.0"/>
<antiAliasing value="false"/>
<PEID value="DCE.0886D16C-016D-5A78-3457-B78D055CA26C"/>
</graphics>
</edge>
<edge id="33" source="9" target="9">
<sourceConnector value="21"/>
<targetConnector value="22"/>
<sourceClipping/>
<targetClipping/>
<bends>
<point x="-97.0" y="-149.0"/>
<point x="-87.0" y="-154.0"/>
<point x="-97.0" y="-159.0"/>
</bends>
<url/>
<visible value="true"/>
<graphics type="relationEdge">
<lineColor value="0 0 0"/>
<arrowWidth value="6.0"/>
<arrowHeight value="6.0"/>
<arrowType value="NO_ARROW"/>
<bendWidth value="5.0"/>
<bendHeight value="5.0"/>
<antiAliasing value="false"/>
<PEID value="DCE.77C997BA-1B78-CC04-20AD-3B72CA212BE1"/>
</graphics>
</edge>
</edges>
<margins>
<proportional bottom="0.0" left="0.0" right="0.0" top="0.0"/>
<constant bottom="20.0" left="20.0" right="20.0" top="20.0"/>
</margins>
<url/>
<graphics type="basicGraph">
<backgroundColor value="255 255 255"/>
<imageUsed/>
<imageTiled value="false"/>
<imageStyle value="WORLD_OFFSET"/>
<imageMinTileStep value="25"/>
<imageX value="0.0"/>
<imageY value="0.0"/>
<drawNodesBeforeEdges value="true"/>
</graphics>
</graph>
</graphs>
<rootGraph value="6"/>
</instances>
</graphManager>
<serviceInput type="jlayout">
<defaults>
<optionDefaults type="connector">
<optionDefault name="all:all:connector:movable" value="false"/>
</optionDefaults>
<optionDefaults type="node">
<optionDefault name="layout:all:node:embedded" value="true"/>
<optionDefault name="all:all:node:attachmentSide" value="ATTACHMENT_SIDE_ANY"/>
<optionDefault name="layout:symmetric:node:constrained" value="false"/>
<optionDefault name="routing:all:node:fixedSize" value="false"/>
<optionDefault name="routing:all:node:fixedPosition" value="false"/>
</optionDefaults>
<optionDefaults type="edge">
<optionDefault name="layout:all:edge:embedded" value="true"/>
<optionDefault name="layout:symmetric:edge:desiredLength" value="1.0"/>
<optionDefault name="all:all:edge:sourceAttachmentSide" value="ATTACHMENT_SIDE_ANY"/>
<optionDefault name="all:all:edge:targetAttachmentSide" value="ATTACHMENT_SIDE_ANY"/>
</optionDefaults>
<optionDefaults type="edgeLabel">
<optionDefault name="labeling:all:edgeLabel:fixed" value="false"/>
<optionDefault name="labeling:all:edgeLabel:association" value="EDGE_LABEL_ASSOCIATION_CENTER"/>
<optionDefault name="labeling:all:edgeLabel:region" value="EDGE_LABEL_REGION_ANY"/>
</optionDefaults>
<optionDefaults type="graph">
<optionDefault name="layout:orthogonal:graph:aspectRatio" value="0.0"/>
<optionDefault name="layout:orthogonal:graph:verticalSpacingBetweenNodes" value="20.0"/>
<optionDefault name="layout:symmetric:graph:nodeSpacing" value="10.0"/>
<optionDefault name="layout:hierarchical:graph:horizontalSpacingBetweenEdges" value="12.0"/>
<optionDefault name="layout:all:graph:incrementalCompaction" value="true"/>
<optionDefault name="layout:all:graph:componentProportionalSpacing" value="0.05"/>
<optionDefault name="layout:all:graph:disconnectedNodesConstantSpacing" value="20.0"/>
<optionDefault name="layout:hierarchical:graph:levelDirection" value="DIRECTION_TOP_TO_BOTTOM"/>
<optionDefault name="layout:hierarchical:graph:constantHorizontalSpacingBetweenNodes" value="20.0"/>
<optionDefault name="layout:hierarchical:graph:orthogonalRouting" value="false"/>
<optionDefault name="layout:hierarchical:graph:levelAlignment" value="CENTER_ALIGNED"/>
<optionDefault name="layout:orthogonal:graph:keepNodeSizes" value="false"/>
<optionDefault name="layout:hierarchical:graph:proportionalHorizontalSpacingBetweenNodes" value="0.1"/>
<optionDefault name="layout:all:graph:detectDisconnectedNodes" value="true"/>
<optionDefault name="layout:hierarchical:graph:proportionalVerticalSpacingBetweenNodes" value="0.1"/>
<optionDefault name="layout:orthogonal:graph:horizontalSpacingBetweenEdges" value="12.0"/>
<optionDefault name="layout:all:graph:detectComponents" value="true"/>
<optionDefault name="layout:hierarchical:graph:constantVerticalSpacingBetweenNodes" value="20.0"/>
<optionDefault name="layout:hierarchical:graph:edgeSpacing" value="12.0"/>
<optionDefault name="layout:symmetric:graph:quality" value="LAYOUT_QUALITY_MEDIUM"/>
<optionDefault name="layout:orthogonal:graph:quality" value="LAYOUT_QUALITY_MEDIUM"/>
<optionDefault name="layout:hierarchical:graph:verticalSpacingBetweenEdges" value="12.0"/>
<optionDefault name="layout:all:graph:componentAspectRatio" value="1.0"/>
<optionDefault name="layout:hierarchical:graph:undirected" value="false"/>
<optionDefault name="layout:symmetric:graph:randomSeed" value="1"/>
<optionDefault name="layout:orthogonal:graph:verticalSpacingBetweenEdges" value="12.0"/>
<optionDefault name="layout:orthogonal:graph:useCombLabeling" value="true"/>
<optionDefault name="layout:all:graph:disconnectedNodesProportionalSpacing" value="0.05"/>
<optionDefault name="layout:all:graph:layoutStyle" value="LAYOUT_STYLE_HIERARCHICAL"/>
<optionDefault name="layout:hierarchical:graph:keepNodeSizes" value="false"/>
<optionDefault name="layout:orthogonal:graph:strictIncremental" value="false"/>
<optionDefault name="layout:all:graph:componentConstantSpacing" value="20.0"/>
<optionDefault name="layout:orthogonal:graph:horizontalSpacingBetweenNodes" value="20.0"/>
<optionDefault name="layout:hierarchical:graph:variableLevelSpacing" value="true"/>
<optionDefault name="layout:hierarchical:graph:quality" value="LAYOUT_QUALITY_MEDIUM"/>
</optionDefaults>
<optionDefaults type="connectorLabel">
<optionDefault name="labeling:all:connectorLabel:fixed" value="false"/>
<optionDefault name="labeling:all:connectorLabel:region" value="CONNECTOR_LABEL_REGION_ANY"/>
</optionDefaults>
<optionDefaults type="nodeLabel">
<optionDefault name="labeling:all:nodeLabel:region" value="NODE_LABEL_REGION_ANY"/>
<optionDefault name="labeling:all:nodeLabel:location" value="NODE_LABEL_LOCATION_CENTER"/>
<optionDefault name="labeling:all:nodeLabel:fixed" value="false"/>
<optionDefault name="labeling:all:nodeLabel:orientation" value="NODE_LABEL_ORIENTATION_OUTSIDE"/>
</optionDefaults>
<optionDefaults type="graphManager">
<optionDefault name="layout:all:graphManager:horizontalSpacingBetweenIntergraphEdges" value="12.0"/>
<optionDefault name="routing:all:graphManager:horizontalSpacingBetweenNodes" value="20.0"/>
<optionDefault name="routing:all:graphManager:fixedSize" value="true"/>
<optionDefault name="routing:all:graphManager:verticalSpacingBetweenNodes" value="20.0"/>
<optionDefault name="routing:all:graphManager:fixedPosition" value="true"/>
<optionDefault name="layout:all:graphManager:verticalSpacingBetweenIntergraphEdges" value="12.0"/>
<optionDefault name="layout:all:graphManager:incrementalLayout" value="false"/>
<optionDefault name="routing:all:graphManager:horizontalSpacingBetweenEdges" value="12.0"/>
<optionDefault name="routing:all:graphManager:verticalSpacingBetweenEdges" value="12.0"/>
<optionDefault name="all:all:graphManager:performLabeling" value="true"/>
</optionDefaults>
</defaults>
<option context="none" name="all:all:none:graphManager" value="4"/>
</serviceInput>
<preferences>
<preference name="maximumZoomLevel" value="50.0"/>
<preference name="interactiveZoomSensitivity" value="200.0"/>
<preference name="panningSensitivity" value="1.0"/>
<preference name="preventResizeInversion" value="false"/>
<preference name="drawInvisibleOnDragging" value="false"/>
<preference name="compressMetaEdges" value="true"/>
<preference name="edgeNavigationTripDuration" value="300"/>
<preference name="edgeNavigationFrameCount" value="10"/>
<preference name="autoHideScrollbars" value="true"/>
<preference name="hitToleranceThreshold" value="10"/>
<preference name="opaqueMovement" value="true"/>
<preference name="geometricAdjustment" value="true"/>
<preference name="reconnectEdgeSensitivity" value="10.0"/>
<preference name="edgeNavigationBlinkDuration" value="500"/>
<preference name="undoStackSize" value="50"/>
<preference name="minimumZoomLevel" value="1.0E-4"/>
<preference name="inPlaceEditing" value="true"/>
<preference name="tooltipsEnabled" value="true"/>
<preference name="hitTolerance" value="5"/>
<preference name="partialSelection" value="true"/>
</preferences>
</TSX>
