autopl
Automaton
acceptanceCondition
inputAlphabet
outputAlphabet
stackAlphabet
initialStackSymbol
states
transitions
AcceptanceKind
Finite
Finite
Infinite
Infinite
Probabilistic
Probabilistic
Alphabet
symbols
Symbol
name
Transition
input
output
probability
stackCheck
stackPush
from
to
State
adjacent
inTrans
outTrans
name
isInitial
isFinal
HierarchicalState
states
transitions
<?xml version="1.0" encoding="UTF-8"?>
<ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
    xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="autopl" nsURI="http://Automata/PL" nsPrefix="autopl">
  <eAnnotations source="features">
    <details key="file" value="model.xml"/>
  </eAnnotations>
  <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
    <details key="invocationDelegates" value="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot"/>
    <details key="settingDelegates" value="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot"/>
    <details key="validationDelegates" value="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot"/>
  </eAnnotations>
  <eClassifiers xsi:type="ecore:EClass" name="Automaton">
    <eAnnotations source="presence">
      <details key="condition" value="Connected"/>
      <details key="constraint" value="connected"/>
    </eAnnotations>
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
      <details key="constraints" value="connected"/>
    </eAnnotations>
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
      <details key="connected" value="&#xA;&#x9;&#x9;    self.states->forAll( s | Set{s}->closure(adjacent())->includesAll(self.states))"/>
    </eAnnotations>
    <eOperations name="acceptanceCondition" lowerBound="1" eType="#//AcceptanceKind"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="inputAlphabet" lowerBound="1"
        eType="#//Alphabet" containment="true">
      <eAnnotations source="presence">
        <details key="condition" value="Input"/>
      </eAnnotations>
    </eStructuralFeatures>
    <eStructuralFeatures xsi:type="ecore:EReference" name="outputAlphabet" lowerBound="1"
        eType="#//Alphabet" containment="true">
      <eAnnotations source="presence">
        <details key="condition" value="Output"/>
      </eAnnotations>
    </eStructuralFeatures>
    <eStructuralFeatures xsi:type="ecore:EReference" name="stackAlphabet" lowerBound="1"
        eType="#//Alphabet" containment="true">
      <eAnnotations source="presence">
        <details key="condition" value="Stack"/>
      </eAnnotations>
    </eStructuralFeatures>
    <eStructuralFeatures xsi:type="ecore:EReference" name="initialStackSymbol" lowerBound="1"
        eType="#//Symbol">
      <eAnnotations source="presence">
        <details key="condition" value="Stack"/>
      </eAnnotations>
    </eStructuralFeatures>
    <eStructuralFeatures xsi:type="ecore:EReference" name="states" ordered="false"
        upperBound="-1" eType="#//State">
      <eAnnotations source="http://www.eclipse.org/OCL/Collection">
        <details key="nullFree" value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
    <eStructuralFeatures xsi:type="ecore:EReference" name="transitions" ordered="false"
        upperBound="-1" eType="#//Transition">
      <eAnnotations source="http://www.eclipse.org/OCL/Collection">
        <details key="nullFree" value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EEnum" name="AcceptanceKind" serializable="false">
    <eLiterals name="Finite"/>
    <eLiterals name="Infinite"/>
    <eLiterals name="Probabilistic"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Alphabet">
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
      <details key="constraints" value="different"/>
    </eAnnotations>
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
      <details key="different" value="self.symbols->forAll(s1 |&#xA;&#x9;&#x9;&#x9;&#x9;&#x9;&#x9;&#x9;&#x9;self.symbols->forAll( s2 | s1&lt;>s2 implies s1.name&lt;>s2.name )&#xA;&#x9;&#x9;&#x9;&#x9;&#x9;&#x9;&#x9;&#x9;)"/>
    </eAnnotations>
    <eStructuralFeatures xsi:type="ecore:EReference" name="symbols" ordered="false"
        upperBound="-1" eType="#//Symbol" containment="true">
      <eAnnotations source="http://www.eclipse.org/OCL/Collection">
        <details key="nullFree" value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Symbol">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Transition">
    <eStructuralFeatures xsi:type="ecore:EReference" name="input" lowerBound="1" eType="#//Symbol">
      <eAnnotations source="presence">
        <details key="condition" value="Input"/>
      </eAnnotations>
    </eStructuralFeatures>
    <eStructuralFeatures xsi:type="ecore:EReference" name="output" lowerBound="1"
        eType="#//Symbol">
      <eAnnotations source="presence">
        <details key="condition" value="Output"/>
      </eAnnotations>
    </eStructuralFeatures>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="probability" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBigDecimal">
      <eAnnotations source="presence">
        <details key="condition" value="Probability"/>
      </eAnnotations>
    </eStructuralFeatures>
    <eStructuralFeatures xsi:type="ecore:EReference" name="stackCheck" lowerBound="1"
        eType="#//Symbol">
      <eAnnotations source="presence">
        <details key="condition" value="Stack"/>
      </eAnnotations>
    </eStructuralFeatures>
    <eStructuralFeatures xsi:type="ecore:EReference" name="stackPush" ordered="false"
        lowerBound="2" upperBound="2" eType="#//Symbol">
      <eAnnotations source="presence">
        <details key="condition" value="Stack"/>
      </eAnnotations>
      <eAnnotations source="http://www.eclipse.org/OCL/Collection">
        <details key="nullFree" value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
    <eStructuralFeatures xsi:type="ecore:EReference" name="from" lowerBound="1" eType="#//State"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="to" lowerBound="1" eType="#//State"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="State">
    <eAnnotations source="presence">
      <details key="constraint" value="isDeterministic"/>
      <details key="condition" value="Deterministic"/>
    </eAnnotations>
    <eAnnotations source="presence">
      <details key="condition" value="NoIncomingTrans and Initial"/>
      <details key="constraint" value="noIncoming"/>
    </eAnnotations>
    <eAnnotations source="presence">
      <details key="condition" value="NoOutgoingTrans and Final"/>
      <details key="constraint" value="noOutgoing"/>
    </eAnnotations>
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
      <details key="constraints" value="isDeterministic noIncoming noOutgoing"/>
    </eAnnotations>
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
      <details key="isDeterministic" value="self.outTrans()->isUnique(t|t.output)"/>
      <details key="noIncoming" value="self.isInitial implies self.inTrans()->isEmpty()"/>
      <details key="noOutgoing" value="self.isFinal implies self.outTrans()->isEmpty()"/>
    </eAnnotations>
    <eOperations name="adjacent" ordered="false" upperBound="-1" eType="#//State">
      <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
        <details key="body" value="self.inTrans().from->flatten()->union(self.outTrans().to->flatten())->asSet()"/>
      </eAnnotations>
      <eAnnotations source="http://www.eclipse.org/OCL/Collection">
        <details key="nullFree" value="false"/>
      </eAnnotations>
    </eOperations>
    <eOperations name="inTrans" ordered="false" upperBound="-1" eType="#//Transition">
      <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
        <details key="body" value="Transition.allInstances()->select( t | t.to = self)"/>
      </eAnnotations>
      <eAnnotations source="http://www.eclipse.org/OCL/Collection">
        <details key="nullFree" value="false"/>
      </eAnnotations>
    </eOperations>
    <eOperations name="outTrans" ordered="false" upperBound="-1" eType="#//Transition">
      <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
        <details key="body" value="Transition.allInstances()->select( t | t.from = self)"/>
      </eAnnotations>
      <eAnnotations source="http://www.eclipse.org/OCL/Collection">
        <details key="nullFree" value="false"/>
      </eAnnotations>
    </eOperations>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="isInitial" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBooleanObject">
      <eAnnotations source="presence">
        <details key="condition" value="Initial"/>
      </eAnnotations>
    </eStructuralFeatures>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="isFinal" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBooleanObject">
      <eAnnotations source="presence">
        <details key="condition" value="Final"/>
      </eAnnotations>
    </eStructuralFeatures>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="HierarchicalState" eSuperTypes="#//State">
    <eAnnotations source="presence">
      <details key="condition" value="Hierarchical"/>
    </eAnnotations>
    <eStructuralFeatures xsi:type="ecore:EReference" name="states" ordered="false"
        upperBound="-1" eType="#//State" containment="true">
      <eAnnotations source="presence">
        <details key="condition" value="Hierarchical"/>
      </eAnnotations>
      <eAnnotations source="http://www.eclipse.org/OCL/Collection">
        <details key="nullFree" value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
    <eStructuralFeatures xsi:type="ecore:EReference" name="transitions" ordered="false"
        upperBound="-1" eType="#//Transition" containment="true">
      <eAnnotations source="presence">
        <details key="condition" value="Hierarchical"/>
      </eAnnotations>
      <eAnnotations source="http://www.eclipse.org/OCL/Collection">
        <details key="nullFree" value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
  </eClassifiers>
</ecore:EPackage>

{"directed":true,"nodes":[{"nsPrefix":"autopl","nsURI":"http://Automata/PL","name":"autopl","id":0,"eClass":"EPackage"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Automaton","instanceClass":null,"abstract":false,"id":1,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"instanceClassName":null,"name":"AcceptanceKind","instanceClass":null,"id":2,"serializable":false,"eClass":"EEnum"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Alphabet","instanceClass":null,"abstract":false,"id":3,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Symbol","instanceClass":null,"abstract":false,"id":4,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Transition","instanceClass":null,"abstract":false,"id":5,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"State","instanceClass":null,"abstract":false,"id":6,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"HierarchicalState","instanceClass":null,"abstract":false,"id":7,"interface":false,"eClass":"EClass"},{"ordered":true,"upperBound":1,"unique":true,"name":"acceptanceCondition","lowerBound":1,"id":8,"many":false,"required":true,"eClass":"EOperation"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"inputAlphabet","changeable":true,"resolveProxies":true,"lowerBound":1,"id":9,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"outputAlphabet","changeable":true,"resolveProxies":true,"lowerBound":1,"id":10,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"stackAlphabet","changeable":true,"resolveProxies":true,"lowerBound":1,"id":11,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"initialStackSymbol","changeable":true,"resolveProxies":true,"lowerBound":1,"id":12,"derived":false},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"states","changeable":true,"resolveProxies":true,"lowerBound":0,"id":13,"derived":false},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"transitions","changeable":true,"resolveProxies":true,"lowerBound":0,"id":14,"derived":false},{"id":15,"eClass":"EGenericType"},{"id":16,"eClass":"EGenericType"},{"id":17,"eClass":"EGenericType"},{"id":18,"eClass":"EGenericType"},{"id":19,"eClass":"EGenericType"},{"id":20,"eClass":"EGenericType"},{"id":21,"eClass":"EGenericType"},{"name":"Finite","id":22,"value":0,"literal":"Finite","eClass":"EEnumLiteral"},{"name":"Infinite","id":23,"value":0,"literal":"Infinite","eClass":"EEnumLiteral"},{"name":"Probabilistic","id":24,"value":0,"literal":"Probabilistic","eClass":"EEnumLiteral"},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"symbols","changeable":true,"resolveProxies":true,"lowerBound":0,"id":25,"derived":false},{"id":26,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"name","changeable":true,"lowerBound":1,"iD":false,"id":27,"derived":false},{"id":28,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"input","changeable":true,"resolveProxies":true,"lowerBound":1,"id":29,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"output","changeable":true,"resolveProxies":true,"lowerBound":1,"id":30,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"probability","changeable":true,"lowerBound":0,"iD":false,"id":31,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"stackCheck","changeable":true,"resolveProxies":true,"lowerBound":1,"id":32,"derived":false},{"container":false,"ordered":false,"upperBound":2,"defaultValue":null,"volatile":false,"many":true,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"stackPush","changeable":true,"resolveProxies":true,"lowerBound":2,"id":33,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"from","changeable":true,"resolveProxies":true,"lowerBound":1,"id":34,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"to","changeable":true,"resolveProxies":true,"lowerBound":1,"id":35,"derived":false},{"id":36,"eClass":"EGenericType"},{"id":37,"eClass":"EGenericType"},{"id":38,"eClass":"EGenericType"},{"id":39,"eClass":"EGenericType"},{"id":40,"eClass":"EGenericType"},{"id":41,"eClass":"EGenericType"},{"id":42,"eClass":"EGenericType"},{"ordered":false,"upperBound":-1,"unique":true,"name":"adjacent","lowerBound":0,"id":43,"many":true,"required":false,"eClass":"EOperation"},{"ordered":false,"upperBound":-1,"unique":true,"name":"inTrans","lowerBound":0,"id":44,"many":true,"required":false,"eClass":"EOperation"},{"ordered":false,"upperBound":-1,"unique":true,"name":"outTrans","lowerBound":0,"id":45,"many":true,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"name","changeable":true,"lowerBound":1,"iD":false,"id":46,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"isInitial","changeable":true,"lowerBound":0,"iD":false,"id":47,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"isFinal","changeable":true,"lowerBound":0,"iD":false,"id":48,"derived":false},{"id":49,"eClass":"EGenericType"},{"id":50,"eClass":"EGenericType"},{"id":51,"eClass":"EGenericType"},{"id":52,"eClass":"EGenericType"},{"id":53,"eClass":"EGenericType"},{"id":54,"eClass":"EGenericType"},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"states","changeable":true,"resolveProxies":true,"lowerBound":0,"id":55,"derived":false},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"transitions","changeable":true,"resolveProxies":true,"lowerBound":0,"id":56,"derived":false},{"id":57,"eClass":"EGenericType"},{"id":58,"eClass":"EGenericType"},{"id":59,"eClass":"EGenericType"}],"links":[{"source":0,"target":1},{"source":0,"target":2},{"source":0,"target":3},{"source":0,"target":4},{"source":0,"target":5},{"source":0,"target":6},{"source":0,"target":7},{"source":1,"target":0},{"source":1,"target":8},{"source":1,"target":9},{"source":1,"target":10},{"source":1,"target":11},{"source":1,"target":12},{"source":1,"target":13},{"source":1,"target":14},{"source":8,"target":2},{"source":8,"target":15},{"source":8,"target":1},{"source":15,"target":2},{"source":9,"target":3},{"source":9,"target":16},{"source":9,"target":1},{"source":16,"target":3},{"source":10,"target":3},{"source":10,"target":17},{"source":10,"target":1},{"source":17,"target":3},{"source":11,"target":3},{"source":11,"target":18},{"source":11,"target":1},{"source":18,"target":3},{"source":12,"target":4},{"source":12,"target":19},{"source":12,"target":1},{"source":19,"target":4},{"source":13,"target":6},{"source":13,"target":20},{"source":13,"target":1},{"source":20,"target":6},{"source":14,"target":5},{"source":14,"target":21},{"source":14,"target":1},{"source":21,"target":5},{"source":2,"target":0},{"source":2,"target":22},{"source":2,"target":23},{"source":2,"target":24},{"source":22,"target":2},{"source":23,"target":2},{"source":24,"target":2},{"source":3,"target":0},{"source":3,"target":25},{"source":25,"target":4},{"source":25,"target":26},{"source":25,"target":3},{"source":26,"target":4},{"source":4,"target":0},{"source":4,"target":27},{"source":27,"target":28},{"source":27,"target":4},{"source":5,"target":0},{"source":5,"target":29},{"source":5,"target":30},{"source":5,"target":31},{"source":5,"target":32},{"source":5,"target":33},{"source":5,"target":34},{"source":5,"target":35},{"source":29,"target":4},{"source":29,"target":36},{"source":29,"target":5},{"source":36,"target":4},{"source":30,"target":4},{"source":30,"target":37},{"source":30,"target":5},{"source":37,"target":4},{"source":31,"target":38},{"source":31,"target":5},{"source":32,"target":4},{"source":32,"target":39},{"source":32,"target":5},{"source":39,"target":4},{"source":33,"target":4},{"source":33,"target":40},{"source":33,"target":5},{"source":40,"target":4},{"source":34,"target":6},{"source":34,"target":41},{"source":34,"target":5},{"source":41,"target":6},{"source":35,"target":6},{"source":35,"target":42},{"source":35,"target":5},{"source":42,"target":6},{"source":6,"target":0},{"source":6,"target":43},{"source":6,"target":44},{"source":6,"target":45},{"source":6,"target":46},{"source":6,"target":47},{"source":6,"target":48},{"source":43,"target":6},{"source":43,"target":49},{"source":43,"target":6},{"source":49,"target":6},{"source":44,"target":5},{"source":44,"target":50},{"source":44,"target":6},{"source":50,"target":5},{"source":45,"target":5},{"source":45,"target":51},{"source":45,"target":6},{"source":51,"target":5},{"source":46,"target":52},{"source":46,"target":6},{"source":47,"target":53},{"source":47,"target":6},{"source":48,"target":54},{"source":48,"target":6},{"source":7,"target":0},{"source":7,"target":6},{"source":7,"target":55},{"source":7,"target":56},{"source":7,"target":57},{"source":55,"target":6},{"source":55,"target":58},{"source":55,"target":7},{"source":58,"target":6},{"source":56,"target":5},{"source":56,"target":59},{"source":56,"target":7},{"source":59,"target":5},{"source":57,"target":6}],"multigraph":true}