<?xml version="1.0" encoding="UTF-8"?>
<graphml xmlns="http://graphml.graphdrawing.org/xmlns/graphml"
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"  
xsi:schemaLocation="http://graphml.graphdrawing.org/xmlns/graphml">
<key id="Optimized" for="graph">
<desc>Label optimization</desc>
<default></default>
</key>
<key id="Name" for="graph">
<desc>LabeledIntGraph Name</desc>
<default></default>
</key>
<key id="Obs" for="node">
<desc>Proposition Observed. Format: [a-zA-Z]</desc>
<default></default>
</key>
<key id="x" for="node">
<desc>The x coordinate for the visualitation. A positive value.</desc>
<default>0</default>
</key>
<key id="Label" for="node">
<desc>Label. Format: [¬[a-zA-Z]|[a-zA-Z]]+|⊡</desc>
<default></default>
</key>
<key id="y" for="node">
<desc>The y coordinate for the visualitation. A positive value.</desc>
<default>0</default>
</key>
<key id="Type" for="edge">
<desc>Type: Possible values: normal|contingent|constraint.</desc>
<default>normal</default>
</key>
<key id="LowerCaseLabeledValues" for="edge">
<desc>Lower-Case Labeled Values. Format: {[[\('label', 'lower case name', 'integer'\) ]+}|{}</desc>
<default></default>
</key>
<key id="Optimized" for="edge">
<desc>If the labeled values must be optimized. Format: a boolean.</desc>
<default>true</default>
</key>
<key id="UpperCaseLabeledValues" for="edge">
<desc>Upper-Case Labeled Values. Format: {[[\('label', 'UPPER CASE NAME', 'integer'\) ]+}|{}</desc>
<default></default>
</key>
<key id="LabeledValues" for="edge">
<desc>Labeled Values. Format: {[[\('label', 'integer'\) ]+}|{}</desc>
<default></default>
</key>
<graph edgedefault="directed">
<data key="Optimized">false</data>
<data key="Name">4AlternativeWFpaths.cstn</data>
<node id="A?">
<data key="Obs">a</data>
<data key="x">357.0</data>
<data key="Label">⊡</data>
<data key="y">5.0</data>
</node>
<node id="B?">
<data key="Obs">b</data>
<data key="x">451.0</data>
<data key="Label">⊡</data>
<data key="y">686.0</data>
</node>
<node id="n10">
<data key="Obs"></data>
<data key="x">564.0</data>
<data key="Label">⊡</data>
<data key="y">571.0</data>
</node>
<node id="n12">
<data key="Obs"></data>
<data key="x">309.0</data>
<data key="Label">b</data>
<data key="y">767.0</data>
</node>
<node id="n13">
<data key="Obs"></data>
<data key="x">173.0</data>
<data key="Label">b</data>
<data key="y">855.0</data>
</node>
<node id="n14">
<data key="Obs"></data>
<data key="x">612.0</data>
<data key="Label">¬b</data>
<data key="y">751.0</data>
</node>
<node id="n15">
<data key="Obs"></data>
<data key="x">621.0</data>
<data key="Label">¬b</data>
<data key="y">925.0</data>
</node>
<node id="n16">
<data key="Obs"></data>
<data key="x">406.0</data>
<data key="Label">⊡</data>
<data key="y">1012.0</data>
</node>
<node id="n17">
<data key="Obs"></data>
<data key="x">73.0</data>
<data key="Label">⊡</data>
<data key="y">987.0</data>
</node>
<node id="n2">
<data key="Obs"></data>
<data key="x">186.0</data>
<data key="Label">a</data>
<data key="y">126.0</data>
</node>
<node id="n3">
<data key="Obs"></data>
<data key="x">289.0</data>
<data key="Label">a</data>
<data key="y">221.0</data>
</node>
<node id="n4">
<data key="Obs"></data>
<data key="x">617.0</data>
<data key="Label">¬a</data>
<data key="y">85.0</data>
</node>
<node id="n5">
<data key="Obs"></data>
<data key="x">506.0</data>
<data key="Label">¬a</data>
<data key="y">208.0</data>
</node>
<node id="n6">
<data key="Obs"></data>
<data key="x">401.0</data>
<data key="Label">⊡</data>
<data key="y">300.0</data>
</node>
<node id="n7">
<data key="Obs"></data>
<data key="x">242.0</data>
<data key="Label">⊡</data>
<data key="y">323.0</data>
</node>
<node id="n8">
<data key="Obs"></data>
<data key="x">241.0</data>
<data key="Label">⊡</data>
<data key="y">437.0</data>
</node>
<node id="n9">
<data key="Obs"></data>
<data key="x">401.0</data>
<data key="Label">⊡</data>
<data key="y">472.0</data>
</node>
<node id="Z">
<data key="Obs"></data>
<data key="x">80.0</data>
<data key="Label">⊡</data>
<data key="y">31.0</data>
</node>
<edge id="e0" source="A?" target="Z">
<data key="Type">normal</data>
<data key="LowerCaseLabeledValues">{}</data>
<data key="Optimized">false</data>
<data key="UpperCaseLabeledValues">{}</data>
<data key="LabeledValues">{(⊡, -1) }</data>
</edge>
<edge id="e1" source="A?" target="n2">
<data key="Type">normal</data>
<data key="LowerCaseLabeledValues">{}</data>
<data key="Optimized">false</data>
<data key="UpperCaseLabeledValues">{}</data>
<data key="LabeledValues">{(a, 2) }</data>
</edge>
<edge id="e10" source="n6" target="n3">
<data key="Type">normal</data>
<data key="LowerCaseLabeledValues">{}</data>
<data key="Optimized">false</data>
<data key="UpperCaseLabeledValues">{}</data>
<data key="LabeledValues">{(a, -1) }</data>
</edge>
<edge id="e11" source="n5" target="n6">
<data key="Type">normal</data>
<data key="LowerCaseLabeledValues">{}</data>
<data key="Optimized">false</data>
<data key="UpperCaseLabeledValues">{}</data>
<data key="LabeledValues">{(¬a, 1) }</data>
</edge>
<edge id="e12" source="n6" target="n5">
<data key="Type">normal</data>
<data key="LowerCaseLabeledValues">{}</data>
<data key="Optimized">false</data>
<data key="UpperCaseLabeledValues">{}</data>
<data key="LabeledValues">{(¬a, -1) }</data>
</edge>
<edge id="e13" source="n6" target="n7">
<data key="Type">normal</data>
<data key="LowerCaseLabeledValues">{}</data>
<data key="Optimized">false</data>
<data key="UpperCaseLabeledValues">{}</data>
<data key="LabeledValues">{(⊡, 2) }</data>
</edge>
<edge id="e14" source="n7" target="n6">
<data key="Type">normal</data>
<data key="LowerCaseLabeledValues">{}</data>
<data key="Optimized">false</data>
<data key="UpperCaseLabeledValues">{}</data>
<data key="LabeledValues">{(⊡, -1) }</data>
</edge>
<edge id="e15" source="n7" target="n8">
<data key="Type">normal</data>
<data key="LowerCaseLabeledValues">{}</data>
<data key="Optimized">false</data>
<data key="UpperCaseLabeledValues">{}</data>
<data key="LabeledValues">{(⊡, 1) }</data>
</edge>
<edge id="e16" source="n8" target="n7">
<data key="Type">normal</data>
<data key="LowerCaseLabeledValues">{}</data>
<data key="Optimized">false</data>
<data key="UpperCaseLabeledValues">{}</data>
<data key="LabeledValues">{(⊡, -1) }</data>
</edge>
<edge id="e17" source="n8" target="n9">
<data key="Type">normal</data>
<data key="LowerCaseLabeledValues">{}</data>
<data key="Optimized">false</data>
<data key="UpperCaseLabeledValues">{}</data>
<data key="LabeledValues">{(⊡, 7) }</data>
</edge>
<edge id="e18" source="n9" target="n8">
<data key="Type">normal</data>
<data key="LowerCaseLabeledValues">{}</data>
<data key="Optimized">false</data>
<data key="UpperCaseLabeledValues">{}</data>
<data key="LabeledValues">{(⊡, -2) }</data>
</edge>
<edge id="e19" source="n9" target="n10">
<data key="Type">normal</data>
<data key="LowerCaseLabeledValues">{}</data>
<data key="Optimized">false</data>
<data key="UpperCaseLabeledValues">{}</data>
<data key="LabeledValues">{(⊡, 1) }</data>
</edge>
<edge id="e2" source="n2" target="A?">
<data key="Type">normal</data>
<data key="LowerCaseLabeledValues">{}</data>
<data key="Optimized">false</data>
<data key="UpperCaseLabeledValues">{}</data>
<data key="LabeledValues">{(a, -2) }</data>
</edge>
<edge id="e20" source="n10" target="n9">
<data key="Type">normal</data>
<data key="LowerCaseLabeledValues">{}</data>
<data key="Optimized">false</data>
<data key="UpperCaseLabeledValues">{}</data>
<data key="LabeledValues">{(⊡, -1) }</data>
</edge>
<edge id="e21" source="B?" target="n10">
<data key="Type">normal</data>
<data key="LowerCaseLabeledValues">{}</data>
<data key="Optimized">false</data>
<data key="UpperCaseLabeledValues">{}</data>
<data key="LabeledValues">{(⊡, -1) }</data>
</edge>
<edge id="e22" source="B?" target="n12">
<data key="Type">normal</data>
<data key="LowerCaseLabeledValues">{}</data>
<data key="Optimized">false</data>
<data key="UpperCaseLabeledValues">{}</data>
<data key="LabeledValues">{(b, 1) }</data>
</edge>
<edge id="e23" source="n12" target="B?">
<data key="Type">normal</data>
<data key="LowerCaseLabeledValues">{}</data>
<data key="Optimized">false</data>
<data key="UpperCaseLabeledValues">{}</data>
<data key="LabeledValues">{(b, -1) }</data>
</edge>
<edge id="e24" source="n12" target="n13">
<data key="Type">normal</data>
<data key="LowerCaseLabeledValues">{}</data>
<data key="Optimized">false</data>
<data key="UpperCaseLabeledValues">{}</data>
<data key="LabeledValues">{(b, 8) }</data>
</edge>
<edge id="e25" source="n13" target="n12">
<data key="Type">normal</data>
<data key="LowerCaseLabeledValues">{}</data>
<data key="Optimized">false</data>
<data key="UpperCaseLabeledValues">{}</data>
<data key="LabeledValues">{(b, -3) }</data>
</edge>
<edge id="e26" source="B?" target="n14">
<data key="Type">normal</data>
<data key="LowerCaseLabeledValues">{}</data>
<data key="Optimized">false</data>
<data key="UpperCaseLabeledValues">{}</data>
<data key="LabeledValues">{(¬b, 1) }</data>
</edge>
<edge id="e27" source="n14" target="B?">
<data key="Type">normal</data>
<data key="LowerCaseLabeledValues">{}</data>
<data key="Optimized">false</data>
<data key="UpperCaseLabeledValues">{}</data>
<data key="LabeledValues">{(¬b, -1) }</data>
</edge>
<edge id="e28" source="n14" target="n15">
<data key="Type">normal</data>
<data key="LowerCaseLabeledValues">{}</data>
<data key="Optimized">false</data>
<data key="UpperCaseLabeledValues">{}</data>
<data key="LabeledValues">{(¬b, 7) }</data>
</edge>
<edge id="e29" source="n15" target="n14">
<data key="Type">normal</data>
<data key="LowerCaseLabeledValues">{}</data>
<data key="Optimized">false</data>
<data key="UpperCaseLabeledValues">{}</data>
<data key="LabeledValues">{(¬b, -5) }</data>
</edge>
<edge id="e3" source="n2" target="n3">
<data key="Type">normal</data>
<data key="LowerCaseLabeledValues">{}</data>
<data key="Optimized">false</data>
<data key="UpperCaseLabeledValues">{}</data>
<data key="LabeledValues">{(a, 6) }</data>
</edge>
<edge id="e30" source="n13" target="n16">
<data key="Type">normal</data>
<data key="LowerCaseLabeledValues">{}</data>
<data key="Optimized">false</data>
<data key="UpperCaseLabeledValues">{}</data>
<data key="LabeledValues">{(b, 1) }</data>
</edge>
<edge id="e31" source="n16" target="n13">
<data key="Type">normal</data>
<data key="LowerCaseLabeledValues">{}</data>
<data key="Optimized">false</data>
<data key="UpperCaseLabeledValues">{}</data>
<data key="LabeledValues">{(b, -1) }</data>
</edge>
<edge id="e32" source="n15" target="n16">
<data key="Type">normal</data>
<data key="LowerCaseLabeledValues">{}</data>
<data key="Optimized">false</data>
<data key="UpperCaseLabeledValues">{}</data>
<data key="LabeledValues">{(¬b, 1) }</data>
</edge>
<edge id="e33" source="n16" target="n15">
<data key="Type">normal</data>
<data key="LowerCaseLabeledValues">{}</data>
<data key="Optimized">false</data>
<data key="UpperCaseLabeledValues">{}</data>
<data key="LabeledValues">{(¬b, -1) }</data>
</edge>
<edge id="e34" source="n16" target="n17">
<data key="Type">normal</data>
<data key="LowerCaseLabeledValues">{}</data>
<data key="Optimized">false</data>
<data key="UpperCaseLabeledValues">{}</data>
<data key="LabeledValues">{(⊡, 2) }</data>
</edge>
<edge id="e35" source="n17" target="n16">
<data key="Type">normal</data>
<data key="LowerCaseLabeledValues">{}</data>
<data key="Optimized">false</data>
<data key="UpperCaseLabeledValues">{}</data>
<data key="LabeledValues">{(⊡, -1) }</data>
</edge>
<edge id="e36" source="n2" target="n13">
<data key="Type">constraint</data>
<data key="LowerCaseLabeledValues">{}</data>
<data key="Optimized">false</data>
<data key="UpperCaseLabeledValues">{}</data>
<data key="LabeledValues">{(⊡, 27) }</data>
</edge>
<edge id="e37" source="n13" target="n2">
<data key="Type">constraint</data>
<data key="LowerCaseLabeledValues">{}</data>
<data key="Optimized">false</data>
<data key="UpperCaseLabeledValues">{}</data>
<data key="LabeledValues">{(⊡, -22) }</data>
</edge>
<edge id="e38" source="Z" target="n17">
<data key="Type">constraint</data>
<data key="LowerCaseLabeledValues">{}</data>
<data key="Optimized">false</data>
<data key="UpperCaseLabeledValues">{}</data>
<data key="LabeledValues">{(⊡, 34) }</data>
</edge>
<edge id="e39" source="n17" target="Z">
<data key="Type">constraint</data>
<data key="LowerCaseLabeledValues">{}</data>
<data key="Optimized">false</data>
<data key="UpperCaseLabeledValues">{}</data>
<data key="LabeledValues">{(⊡, -15) }</data>
</edge>
<edge id="e4" source="n3" target="n2">
<data key="Type">normal</data>
<data key="LowerCaseLabeledValues">{}</data>
<data key="Optimized">false</data>
<data key="UpperCaseLabeledValues">{}</data>
<data key="LabeledValues">{(a, -2) }</data>
</edge>
<edge id="e40" source="n13" target="n4">
<data key="Type">constraint</data>
<data key="LowerCaseLabeledValues">{}</data>
<data key="Optimized">false</data>
<data key="UpperCaseLabeledValues">{}</data>
<data key="LabeledValues">{(⊡, -17) }</data>
</edge>
<edge id="e41" source="n4" target="n13">
<data key="Type">constraint</data>
<data key="LowerCaseLabeledValues">{}</data>
<data key="Optimized">false</data>
<data key="UpperCaseLabeledValues">{}</data>
<data key="LabeledValues">{(⊡, 27) }</data>
</edge>
<edge id="e42" source="n10" target="B?">
<data key="Type">normal</data>
<data key="LowerCaseLabeledValues">{}</data>
<data key="Optimized">false</data>
<data key="UpperCaseLabeledValues">{}</data>
<data key="LabeledValues">{(⊡, 10) }</data>
</edge>
<edge id="e43" source="Z" target="A?">
<data key="Type">normal</data>
<data key="LowerCaseLabeledValues">{}</data>
<data key="Optimized">false</data>
<data key="UpperCaseLabeledValues">{}</data>
<data key="LabeledValues">{(⊡, 5) }</data>
</edge>
<edge id="e5" source="A?" target="n4">
<data key="Type">normal</data>
<data key="LowerCaseLabeledValues">{}</data>
<data key="Optimized">false</data>
<data key="UpperCaseLabeledValues">{}</data>
<data key="LabeledValues">{(¬a, 1) }</data>
</edge>
<edge id="e6" source="n4" target="A?">
<data key="Type">normal</data>
<data key="LowerCaseLabeledValues">{}</data>
<data key="Optimized">false</data>
<data key="UpperCaseLabeledValues">{}</data>
<data key="LabeledValues">{(¬a, -1) }</data>
</edge>
<edge id="e7" source="n4" target="n5">
<data key="Type">normal</data>
<data key="LowerCaseLabeledValues">{}</data>
<data key="Optimized">false</data>
<data key="UpperCaseLabeledValues">{}</data>
<data key="LabeledValues">{(¬a, 6) }</data>
</edge>
<edge id="e8" source="n5" target="n4">
<data key="Type">normal</data>
<data key="LowerCaseLabeledValues">{}</data>
<data key="Optimized">false</data>
<data key="UpperCaseLabeledValues">{}</data>
<data key="LabeledValues">{(¬a, -4) }</data>
</edge>
<edge id="e9" source="n3" target="n6">
<data key="Type">normal</data>
<data key="LowerCaseLabeledValues">{}</data>
<data key="Optimized">false</data>
<data key="UpperCaseLabeledValues">{}</data>
<data key="LabeledValues">{(a, 1) }</data>
</edge>
</graph>
</graphml>