petrinetsemantics
DDMMPetriNet
PetriNet
nodes
arcs
name
Transition
min_time
max_time
Node
name
net
outgoings
incomings
Place
initialMarking
Arc
target
source
net
kind
weight
ArcKind
normal
normal
read_arc
read_arc
SDMMPetriNet
Node_dynamic
Node_static
Place_dynamic
Place_static
marking
PetriNet_dynamic
nodes
PetriNet_static
EDMMPetriNet
PetriNetEvent
FireTransitionEvent
time
firedTransition
TM3PetriNet
PNScenario
traces
simEvents
PNTrace
scenario
PNSimEvent
internal
date
name

<?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="petrinetsemantics"
    nsURI="http://petrinetsemantics/1.0" nsPrefix="petrinetsemantics">
  <eSubpackages name="DDMMPetriNet" nsURI="petrinet.ddmm" nsPrefix="petrinet.ddmm">
    <eClassifiers xsi:type="ecore:EClass" name="PetriNet">
      <eStructuralFeatures xsi:type="ecore:EReference" name="nodes" upperBound="-1"
          eType="#//DDMMPetriNet/Node" containment="true" eOpposite="#//DDMMPetriNet/Node/net"/>
      <eStructuralFeatures xsi:type="ecore:EReference" name="arcs" upperBound="-1"
          eType="#//DDMMPetriNet/Arc" containment="true" eOpposite="#//DDMMPetriNet/Arc/net"/>
      <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" eSuperTypes="#//DDMMPetriNet/Node">
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="min_time" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="max_time" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="Node" abstract="true">
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" lowerBound="1"
          eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
      <eStructuralFeatures xsi:type="ecore:EReference" name="net" lowerBound="1" eType="#//DDMMPetriNet/PetriNet"
          eOpposite="#//DDMMPetriNet/PetriNet/nodes"/>
      <eStructuralFeatures xsi:type="ecore:EReference" name="outgoings" upperBound="-1"
          eType="#//DDMMPetriNet/Arc" eOpposite="#//DDMMPetriNet/Arc/source"/>
      <eStructuralFeatures xsi:type="ecore:EReference" name="incomings" upperBound="-1"
          eType="#//DDMMPetriNet/Arc" eOpposite="#//DDMMPetriNet/Arc/target"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="Place" eSuperTypes="#//DDMMPetriNet/Node">
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="initialMarking" lowerBound="1"
          eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="Arc">
      <eStructuralFeatures xsi:type="ecore:EReference" name="target" lowerBound="1"
          eType="#//DDMMPetriNet/Node" eOpposite="#//DDMMPetriNet/Node/incomings"/>
      <eStructuralFeatures xsi:type="ecore:EReference" name="source" lowerBound="1"
          eType="#//DDMMPetriNet/Node" eOpposite="#//DDMMPetriNet/Node/outgoings"/>
      <eStructuralFeatures xsi:type="ecore:EReference" name="net" lowerBound="1" eType="#//DDMMPetriNet/PetriNet"
          eOpposite="#//DDMMPetriNet/PetriNet/arcs"/>
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="kind" lowerBound="1"
          eType="#//DDMMPetriNet/ArcKind"/>
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="weight" lowerBound="1"
          eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EEnum" name="ArcKind">
      <eLiterals name="normal" value="1"/>
      <eLiterals name="read_arc" value="2"/>
    </eClassifiers>
  </eSubpackages>
  <eSubpackages name="SDMMPetriNet" nsURI="petrinet.sdmm" nsPrefix="petrinet.sdmm">
    <eClassifiers xsi:type="ecore:EClass" name="Node_dynamic" abstract="true">
      <eStructuralFeatures xsi:type="ecore:EReference" name="Node_static" lowerBound="1"
          eType="#//DDMMPetriNet/Node"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="Place_dynamic" eSuperTypes="#//SDMMPetriNet/Node_dynamic">
      <eStructuralFeatures xsi:type="ecore:EReference" name="Place_static" lowerBound="1"
          eType="#//DDMMPetriNet/Place"/>
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="marking" lowerBound="1"
          eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="PetriNet_dynamic">
      <eStructuralFeatures xsi:type="ecore:EReference" name="nodes" upperBound="-1"
          eType="#//SDMMPetriNet/Node_dynamic" containment="true"/>
      <eStructuralFeatures xsi:type="ecore:EReference" name="PetriNet_static" lowerBound="1"
          eType="#//DDMMPetriNet/PetriNet"/>
    </eClassifiers>
  </eSubpackages>
  <eSubpackages name="EDMMPetriNet" nsURI="petrinet.edmm" nsPrefix="petrinet.edmm">
    <eClassifiers xsi:type="ecore:EClass" name="PetriNetEvent" abstract="true" eSuperTypes="#//TM3PetriNet/PNSimEvent"/>
    <eClassifiers xsi:type="ecore:EClass" name="FireTransitionEvent" eSuperTypes="#//EDMMPetriNet/PetriNetEvent">
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="time" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EDouble"/>
      <eStructuralFeatures xsi:type="ecore:EReference" name="firedTransition" lowerBound="1"
          eType="#//DDMMPetriNet/Transition"/>
    </eClassifiers>
  </eSubpackages>
  <eSubpackages name="TM3PetriNet" nsURI="petrinet.tmmm" nsPrefix="petrinet.tmmm">
    <eClassifiers xsi:type="ecore:EClass" name="PNScenario">
      <eStructuralFeatures xsi:type="ecore:EReference" name="traces" upperBound="-1"
          eType="#//TM3PetriNet/PNTrace" eOpposite="#//TM3PetriNet/PNTrace/scenario"/>
      <eStructuralFeatures xsi:type="ecore:EReference" name="simEvents" upperBound="-1"
          eType="#//TM3PetriNet/PNSimEvent" containment="true"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="PNTrace">
      <eStructuralFeatures xsi:type="ecore:EReference" name="scenario" lowerBound="1"
          eType="#//TM3PetriNet/PNScenario" eOpposite="#//TM3PetriNet/PNScenario/traces"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="PNSimEvent">
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="internal" lowerBound="1"
          eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="date" lowerBound="1"
          eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" lowerBound="1"
          eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"
          defaultValueLiteral=""/>
    </eClassifiers>
  </eSubpackages>
</ecore:EPackage>

{"directed":true,"nodes":[{"nsPrefix":"petrinetsemantics","nsURI":"http://petrinetsemantics/1.0","name":"petrinetsemantics","id":0,"eClass":"EPackage"},{"nsPrefix":"petrinet.ddmm","nsURI":"petrinet.ddmm","name":"DDMMPetriNet","id":1,"eClass":"EPackage"},{"nsPrefix":"petrinet.sdmm","nsURI":"petrinet.sdmm","name":"SDMMPetriNet","id":2,"eClass":"EPackage"},{"nsPrefix":"petrinet.edmm","nsURI":"petrinet.edmm","name":"EDMMPetriNet","id":3,"eClass":"EPackage"},{"nsPrefix":"petrinet.tmmm","nsURI":"petrinet.tmmm","name":"TM3PetriNet","id":4,"eClass":"EPackage"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"PetriNet","instanceClass":null,"abstract":false,"id":5,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Transition","instanceClass":null,"abstract":false,"id":6,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Node","instanceClass":null,"abstract":true,"id":7,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Place","instanceClass":null,"abstract":false,"id":8,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Arc","instanceClass":null,"abstract":false,"id":9,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"instanceClassName":null,"name":"ArcKind","instanceClass":null,"id":10,"serializable":true,"eClass":"EEnum"},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"nodes","changeable":true,"resolveProxies":true,"lowerBound":0,"id":11,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"arcs","changeable":true,"resolveProxies":true,"lowerBound":0,"id":12,"derived":false},{"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":13,"derived":false},{"id":14,"eClass":"EGenericType"},{"container":true,"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":"net","changeable":true,"resolveProxies":true,"lowerBound":1,"id":15,"derived":false},{"id":16,"eClass":"EGenericType"},{"container":true,"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":"net","changeable":true,"resolveProxies":true,"lowerBound":1,"id":17,"derived":false},{"id":18,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":0,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"min_time","changeable":true,"lowerBound":0,"iD":false,"id":19,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":0,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"max_time","changeable":true,"lowerBound":0,"iD":false,"id":20,"derived":false},{"id":21,"eClass":"EGenericType"},{"id":22,"eClass":"EGenericType"},{"id":23,"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":24,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"outgoings","changeable":true,"resolveProxies":true,"lowerBound":0,"id":25,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"incomings","changeable":true,"resolveProxies":true,"lowerBound":0,"id":26,"derived":false},{"id":27,"eClass":"EGenericType"},{"id":28,"eClass":"EGenericType"},{"id":29,"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":"source","changeable":true,"resolveProxies":true,"lowerBound":1,"id":30,"derived":false},{"id":31,"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":"target","changeable":true,"resolveProxies":true,"lowerBound":1,"id":32,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":0,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"initialMarking","changeable":true,"lowerBound":1,"iD":false,"id":33,"derived":false},{"id":34,"eClass":"EGenericType"},{"id":35,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"kind","changeable":true,"lowerBound":1,"iD":false,"id":36,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":0,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"weight","changeable":true,"lowerBound":1,"iD":false,"id":37,"derived":false},{"id":38,"eClass":"EGenericType"},{"id":39,"eClass":"EGenericType"},{"id":40,"eClass":"EGenericType"},{"id":41,"eClass":"EGenericType"},{"id":42,"eClass":"EGenericType"},{"name":"normal","id":43,"value":1,"literal":"normal","eClass":"EEnumLiteral"},{"name":"read_arc","id":44,"value":2,"literal":"read_arc","eClass":"EEnumLiteral"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Node_dynamic","instanceClass":null,"abstract":true,"id":45,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Place_dynamic","instanceClass":null,"abstract":false,"id":46,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"PetriNet_dynamic","instanceClass":null,"abstract":false,"id":47,"interface":false,"eClass":"EClass"},{"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":"Node_static","changeable":true,"resolveProxies":true,"lowerBound":1,"id":48,"derived":false},{"id":49,"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":"Place_static","changeable":true,"resolveProxies":true,"lowerBound":1,"id":50,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":0,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"marking","changeable":true,"lowerBound":1,"iD":false,"id":51,"derived":false},{"id":52,"eClass":"EGenericType"},{"id":53,"eClass":"EGenericType"},{"id":54,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"nodes","changeable":true,"resolveProxies":true,"lowerBound":0,"id":55,"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":"PetriNet_static","changeable":true,"resolveProxies":true,"lowerBound":1,"id":56,"derived":false},{"id":57,"eClass":"EGenericType"},{"id":58,"eClass":"EGenericType"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"PetriNetEvent","instanceClass":null,"abstract":true,"id":59,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"FireTransitionEvent","instanceClass":null,"abstract":false,"id":60,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"PNSimEvent","instanceClass":null,"abstract":false,"id":61,"interface":false,"eClass":"EClass"},{"id":62,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":0.0,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"time","changeable":true,"lowerBound":0,"iD":false,"id":63,"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":"firedTransition","changeable":true,"resolveProxies":true,"lowerBound":1,"id":64,"derived":false},{"id":65,"eClass":"EGenericType"},{"id":66,"eClass":"EGenericType"},{"id":67,"eClass":"EGenericType"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"PNScenario","instanceClass":null,"abstract":false,"id":68,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"PNTrace","instanceClass":null,"abstract":false,"id":69,"interface":false,"eClass":"EClass"},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"traces","changeable":true,"resolveProxies":true,"lowerBound":0,"id":70,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"simEvents","changeable":true,"resolveProxies":true,"lowerBound":0,"id":71,"derived":false},{"id":72,"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":"scenario","changeable":true,"resolveProxies":true,"lowerBound":1,"id":73,"derived":false},{"id":74,"eClass":"EGenericType"},{"id":75,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":false,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"internal","changeable":true,"lowerBound":1,"iD":false,"id":76,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":0,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"date","changeable":true,"lowerBound":1,"iD":false,"id":77,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":"","volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":"","unsettable":false,"transient":false,"unique":true,"name":"name","changeable":true,"lowerBound":1,"iD":false,"id":78,"derived":false},{"id":79,"eClass":"EGenericType"},{"id":80,"eClass":"EGenericType"},{"id":81,"eClass":"EGenericType"}],"links":[{"source":0,"target":1},{"source":0,"target":2},{"source":0,"target":3},{"source":0,"target":4},{"source":1,"target":5},{"source":1,"target":6},{"source":1,"target":7},{"source":1,"target":8},{"source":1,"target":9},{"source":1,"target":10},{"source":1,"target":0},{"source":5,"target":1},{"source":5,"target":11},{"source":5,"target":12},{"source":5,"target":13},{"source":11,"target":7},{"source":11,"target":14},{"source":11,"target":5},{"source":11,"target":15},{"source":14,"target":7},{"source":12,"target":9},{"source":12,"target":16},{"source":12,"target":5},{"source":12,"target":17},{"source":16,"target":9},{"source":13,"target":18},{"source":13,"target":5},{"source":6,"target":1},{"source":6,"target":7},{"source":6,"target":19},{"source":6,"target":20},{"source":6,"target":21},{"source":19,"target":22},{"source":19,"target":6},{"source":20,"target":23},{"source":20,"target":6},{"source":21,"target":7},{"source":7,"target":1},{"source":7,"target":24},{"source":7,"target":15},{"source":7,"target":25},{"source":7,"target":26},{"source":24,"target":27},{"source":24,"target":7},{"source":15,"target":5},{"source":15,"target":28},{"source":15,"target":7},{"source":15,"target":11},{"source":28,"target":5},{"source":25,"target":9},{"source":25,"target":29},{"source":25,"target":7},{"source":25,"target":30},{"source":29,"target":9},{"source":26,"target":9},{"source":26,"target":31},{"source":26,"target":7},{"source":26,"target":32},{"source":31,"target":9},{"source":8,"target":1},{"source":8,"target":7},{"source":8,"target":33},{"source":8,"target":34},{"source":33,"target":35},{"source":33,"target":8},{"source":34,"target":7},{"source":9,"target":1},{"source":9,"target":32},{"source":9,"target":30},{"source":9,"target":17},{"source":9,"target":36},{"source":9,"target":37},{"source":32,"target":7},{"source":32,"target":38},{"source":32,"target":9},{"source":32,"target":26},{"source":38,"target":7},{"source":30,"target":7},{"source":30,"target":39},{"source":30,"target":9},{"source":30,"target":25},{"source":39,"target":7},{"source":17,"target":5},{"source":17,"target":40},{"source":17,"target":9},{"source":17,"target":12},{"source":40,"target":5},{"source":36,"target":10},{"source":36,"target":41},{"source":36,"target":9},{"source":41,"target":10},{"source":37,"target":42},{"source":37,"target":9},{"source":10,"target":1},{"source":10,"target":43},{"source":10,"target":44},{"source":43,"target":10},{"source":44,"target":10},{"source":2,"target":45},{"source":2,"target":46},{"source":2,"target":47},{"source":2,"target":0},{"source":45,"target":2},{"source":45,"target":48},{"source":48,"target":7},{"source":48,"target":49},{"source":48,"target":45},{"source":49,"target":7},{"source":46,"target":2},{"source":46,"target":45},{"source":46,"target":50},{"source":46,"target":51},{"source":46,"target":52},{"source":50,"target":8},{"source":50,"target":53},{"source":50,"target":46},{"source":53,"target":8},{"source":51,"target":54},{"source":51,"target":46},{"source":52,"target":45},{"source":47,"target":2},{"source":47,"target":55},{"source":47,"target":56},{"source":55,"target":45},{"source":55,"target":57},{"source":55,"target":47},{"source":57,"target":45},{"source":56,"target":5},{"source":56,"target":58},{"source":56,"target":47},{"source":58,"target":5},{"source":3,"target":59},{"source":3,"target":60},{"source":3,"target":0},{"source":59,"target":3},{"source":59,"target":61},{"source":59,"target":62},{"source":62,"target":61},{"source":60,"target":3},{"source":60,"target":59},{"source":60,"target":63},{"source":60,"target":64},{"source":60,"target":65},{"source":63,"target":66},{"source":63,"target":60},{"source":64,"target":6},{"source":64,"target":67},{"source":64,"target":60},{"source":67,"target":6},{"source":65,"target":59},{"source":4,"target":68},{"source":4,"target":69},{"source":4,"target":61},{"source":4,"target":0},{"source":68,"target":4},{"source":68,"target":70},{"source":68,"target":71},{"source":70,"target":69},{"source":70,"target":72},{"source":70,"target":68},{"source":70,"target":73},{"source":72,"target":69},{"source":71,"target":61},{"source":71,"target":74},{"source":71,"target":68},{"source":74,"target":61},{"source":69,"target":4},{"source":69,"target":73},{"source":73,"target":68},{"source":73,"target":75},{"source":73,"target":69},{"source":73,"target":70},{"source":75,"target":68},{"source":61,"target":4},{"source":61,"target":76},{"source":61,"target":77},{"source":61,"target":78},{"source":76,"target":79},{"source":76,"target":61},{"source":77,"target":80},{"source":77,"target":61},{"source":78,"target":81},{"source":78,"target":61}],"multigraph":true}