gfsm
Transition
guard
fsm
event
from
to
State
inExpression
outExpression
name
fsm
outgoingtransitions
incommingtransitions
FinalState
InitialState
FSM
states
transitions
initialstate
name

currentState
IntBinaryExpression
expression1
expression2
IntAdd
IntMult
IntNeg
expression
IntVarRef
name
ConstExpr
value
BooleanExpression
IntOperation
IntVarAssign
name
expression
IntBlock
operations
BooleanEqual
BooleanOr
BooleanAnd
BooleanGreaterThan
BooleanBinaryExpression
boolExpression1
boolExpression2
BooleanCompareExpression
expression1
expression2
IntExpression
<?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="gfsm" nsURI="http://diverse.inria.fr/gfsm" nsPrefix="gfsm">
  <eClassifiers xsi:type="ecore:EClass" name="Transition">
    <eStructuralFeatures xsi:type="ecore:EReference" name="guard" lowerBound="1" eType="#//BooleanExpression"
        containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="fsm" lowerBound="1" eType="#//FSM"
        eOpposite="#//FSM/transitions"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="event" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="from" lowerBound="1" eType="#//State"
        eOpposite="#//State/outgoingtransitions"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="to" lowerBound="1" eType="#//State"
        eOpposite="#//State/incommingtransitions"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="State">
    <eStructuralFeatures xsi:type="ecore:EReference" name="inExpression" lowerBound="1"
        eType="#//IntOperation" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="outExpression" lowerBound="1"
        eType="#//IntOperation" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="fsm" lowerBound="1" eType="#//FSM"
        eOpposite="#//FSM/states"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="outgoingtransitions" upperBound="-1"
        eType="#//Transition" eOpposite="#//Transition/from"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="incommingtransitions" upperBound="-1"
        eType="#//Transition" eOpposite="#//Transition/to"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="FinalState" eSuperTypes="#//State"/>
  <eClassifiers xsi:type="ecore:EClass" name="InitialState" eSuperTypes="#//State"/>
  <eClassifiers xsi:type="ecore:EClass" name="FSM">
    <eStructuralFeatures xsi:type="ecore:EReference" name="states" upperBound="-1"
        eType="#//State" containment="true" eOpposite="#//State/fsm"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="transitions" upperBound="-1"
        eType="#//Transition" containment="true" eOpposite="#//Transition/fsm"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="initialstate" lowerBound="1"
        eType="#//InitialState"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"
        defaultValueLiteral=""/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="currentState" eType="#//State"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="IntBinaryExpression" abstract="true"
      eSuperTypes="#//IntExpression">
    <eStructuralFeatures xsi:type="ecore:EReference" name="expression1" lowerBound="1"
        eType="#//IntExpression" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="expression2" lowerBound="1"
        eType="#//IntExpression" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="IntAdd" eSuperTypes="#//IntBinaryExpression"/>
  <eClassifiers xsi:type="ecore:EClass" name="IntMult" eSuperTypes="#//IntBinaryExpression"/>
  <eClassifiers xsi:type="ecore:EClass" name="IntNeg" eSuperTypes="#//IntExpression">
    <eStructuralFeatures xsi:type="ecore:EReference" name="expression" lowerBound="1"
        eType="#//IntExpression" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="IntVarRef" eSuperTypes="#//IntExpression">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="ConstExpr" eSuperTypes="#//IntExpression">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="BooleanExpression" abstract="true"/>
  <eClassifiers xsi:type="ecore:EClass" name="IntOperation" abstract="true"/>
  <eClassifiers xsi:type="ecore:EClass" name="IntVarAssign" eSuperTypes="#//IntOperation">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="expression" lowerBound="1"
        eType="#//IntExpression" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="IntBlock" eSuperTypes="#//IntOperation">
    <eStructuralFeatures xsi:type="ecore:EReference" name="operations" upperBound="-1"
        eType="#//IntVarAssign" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="BooleanEqual" eSuperTypes="#//BooleanCompareExpression"/>
  <eClassifiers xsi:type="ecore:EClass" name="BooleanOr" eSuperTypes="#//BooleanBinaryExpression"/>
  <eClassifiers xsi:type="ecore:EClass" name="BooleanAnd" eSuperTypes="#//BooleanBinaryExpression"/>
  <eClassifiers xsi:type="ecore:EClass" name="BooleanGreaterThan" eSuperTypes="#//BooleanCompareExpression"/>
  <eClassifiers xsi:type="ecore:EClass" name="BooleanBinaryExpression" abstract="true"
      eSuperTypes="#//BooleanExpression">
    <eStructuralFeatures xsi:type="ecore:EReference" name="boolExpression1" lowerBound="1"
        eType="#//BooleanExpression" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="boolExpression2" lowerBound="1"
        eType="#//BooleanExpression" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="BooleanCompareExpression" abstract="true"
      eSuperTypes="#//BooleanExpression">
    <eStructuralFeatures xsi:type="ecore:EReference" name="expression1" lowerBound="1"
        eType="#//IntExpression" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="expression2" lowerBound="1"
        eType="#//IntExpression" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="IntExpression" abstract="true"/>
</ecore:EPackage>

{"directed":true,"nodes":[{"nsPrefix":"gfsm","nsURI":"http://diverse.inria.fr/gfsm","name":"gfsm","id":0,"eClass":"EPackage"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Transition","instanceClass":null,"abstract":false,"id":1,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"State","instanceClass":null,"abstract":false,"id":2,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"FinalState","instanceClass":null,"abstract":false,"id":3,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"InitialState","instanceClass":null,"abstract":false,"id":4,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"FSM","instanceClass":null,"abstract":false,"id":5,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"IntBinaryExpression","instanceClass":null,"abstract":true,"id":6,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"IntAdd","instanceClass":null,"abstract":false,"id":7,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"IntMult","instanceClass":null,"abstract":false,"id":8,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"IntNeg","instanceClass":null,"abstract":false,"id":9,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"IntVarRef","instanceClass":null,"abstract":false,"id":10,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"ConstExpr","instanceClass":null,"abstract":false,"id":11,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"BooleanExpression","instanceClass":null,"abstract":true,"id":12,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"IntOperation","instanceClass":null,"abstract":true,"id":13,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"IntVarAssign","instanceClass":null,"abstract":false,"id":14,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"IntBlock","instanceClass":null,"abstract":false,"id":15,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"BooleanEqual","instanceClass":null,"abstract":false,"id":16,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"BooleanOr","instanceClass":null,"abstract":false,"id":17,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"BooleanAnd","instanceClass":null,"abstract":false,"id":18,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"BooleanGreaterThan","instanceClass":null,"abstract":false,"id":19,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"BooleanBinaryExpression","instanceClass":null,"abstract":true,"id":20,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"BooleanCompareExpression","instanceClass":null,"abstract":true,"id":21,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"IntExpression","instanceClass":null,"abstract":true,"id":22,"interface":false,"eClass":"EClass"},{"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":"guard","changeable":true,"resolveProxies":true,"lowerBound":1,"id":23,"derived":false},{"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":"fsm","changeable":true,"resolveProxies":true,"lowerBound":1,"id":24,"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":"event","changeable":true,"lowerBound":0,"iD":false,"id":25,"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":26,"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":27,"derived":false},{"id":28,"eClass":"EGenericType"},{"id":29,"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":"transitions","changeable":true,"resolveProxies":true,"lowerBound":0,"id":30,"derived":false},{"id":31,"eClass":"EGenericType"},{"id":32,"eClass":"EGenericType"},{"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":"outgoingtransitions","changeable":true,"resolveProxies":true,"lowerBound":0,"id":33,"derived":false},{"id":34,"eClass":"EGenericType"},{"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":"incommingtransitions","changeable":true,"resolveProxies":true,"lowerBound":0,"id":35,"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":"inExpression","changeable":true,"resolveProxies":true,"lowerBound":1,"id":36,"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":"outExpression","changeable":true,"resolveProxies":true,"lowerBound":1,"id":37,"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":"name","changeable":true,"lowerBound":0,"iD":false,"id":38,"derived":false},{"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":"fsm","changeable":true,"resolveProxies":true,"lowerBound":1,"id":39,"derived":false},{"id":40,"eClass":"EGenericType"},{"id":41,"eClass":"EGenericType"},{"id":42,"eClass":"EGenericType"},{"id":43,"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":"states","changeable":true,"resolveProxies":true,"lowerBound":0,"id":44,"derived":false},{"id":45,"eClass":"EGenericType"},{"id":46,"eClass":"EGenericType"},{"id":47,"eClass":"EGenericType"},{"id":48,"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":"initialstate","changeable":true,"resolveProxies":true,"lowerBound":1,"id":49,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":"","volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":"","unsettable":false,"transient":false,"unique":true,"name":"name","changeable":true,"lowerBound":0,"iD":false,"id":50,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"currentState","changeable":true,"resolveProxies":true,"lowerBound":0,"id":51,"derived":false},{"id":52,"eClass":"EGenericType"},{"id":53,"eClass":"EGenericType"},{"id":54,"eClass":"EGenericType"},{"id":55,"eClass":"EGenericType"},{"id":56,"eClass":"EGenericType"},{"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":"expression1","changeable":true,"resolveProxies":true,"lowerBound":1,"id":57,"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":"expression2","changeable":true,"resolveProxies":true,"lowerBound":1,"id":58,"derived":false},{"id":59,"eClass":"EGenericType"},{"id":60,"eClass":"EGenericType"},{"id":61,"eClass":"EGenericType"},{"id":62,"eClass":"EGenericType"},{"id":63,"eClass":"EGenericType"},{"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":"expression","changeable":true,"resolveProxies":true,"lowerBound":1,"id":64,"derived":false},{"id":65,"eClass":"EGenericType"},{"id":66,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"name","changeable":true,"lowerBound":0,"iD":false,"id":67,"derived":false},{"id":68,"eClass":"EGenericType"},{"id":69,"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":"value","changeable":true,"lowerBound":0,"iD":false,"id":70,"derived":false},{"id":71,"eClass":"EGenericType"},{"id":72,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"name","changeable":true,"lowerBound":0,"iD":false,"id":73,"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":"expression","changeable":true,"resolveProxies":true,"lowerBound":1,"id":74,"derived":false},{"id":75,"eClass":"EGenericType"},{"id":76,"eClass":"EGenericType"},{"id":77,"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":"operations","changeable":true,"resolveProxies":true,"lowerBound":0,"id":78,"derived":false},{"id":79,"eClass":"EGenericType"},{"id":80,"eClass":"EGenericType"},{"id":81,"eClass":"EGenericType"},{"id":82,"eClass":"EGenericType"},{"id":83,"eClass":"EGenericType"},{"id":84,"eClass":"EGenericType"},{"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":"boolExpression1","changeable":true,"resolveProxies":true,"lowerBound":1,"id":85,"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":"boolExpression2","changeable":true,"resolveProxies":true,"lowerBound":1,"id":86,"derived":false},{"id":87,"eClass":"EGenericType"},{"id":88,"eClass":"EGenericType"},{"id":89,"eClass":"EGenericType"},{"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":"expression1","changeable":true,"resolveProxies":true,"lowerBound":1,"id":90,"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":"expression2","changeable":true,"resolveProxies":true,"lowerBound":1,"id":91,"derived":false},{"id":92,"eClass":"EGenericType"},{"id":93,"eClass":"EGenericType"},{"id":94,"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":0,"target":8},{"source":0,"target":9},{"source":0,"target":10},{"source":0,"target":11},{"source":0,"target":12},{"source":0,"target":13},{"source":0,"target":14},{"source":0,"target":15},{"source":0,"target":16},{"source":0,"target":17},{"source":0,"target":18},{"source":0,"target":19},{"source":0,"target":20},{"source":0,"target":21},{"source":0,"target":22},{"source":1,"target":0},{"source":1,"target":23},{"source":1,"target":24},{"source":1,"target":25},{"source":1,"target":26},{"source":1,"target":27},{"source":23,"target":12},{"source":23,"target":28},{"source":23,"target":1},{"source":28,"target":12},{"source":24,"target":5},{"source":24,"target":29},{"source":24,"target":1},{"source":24,"target":30},{"source":29,"target":5},{"source":25,"target":31},{"source":25,"target":1},{"source":26,"target":2},{"source":26,"target":32},{"source":26,"target":1},{"source":26,"target":33},{"source":32,"target":2},{"source":27,"target":2},{"source":27,"target":34},{"source":27,"target":1},{"source":27,"target":35},{"source":34,"target":2},{"source":2,"target":0},{"source":2,"target":36},{"source":2,"target":37},{"source":2,"target":38},{"source":2,"target":39},{"source":2,"target":33},{"source":2,"target":35},{"source":36,"target":13},{"source":36,"target":40},{"source":36,"target":2},{"source":40,"target":13},{"source":37,"target":13},{"source":37,"target":41},{"source":37,"target":2},{"source":41,"target":13},{"source":38,"target":42},{"source":38,"target":2},{"source":39,"target":5},{"source":39,"target":43},{"source":39,"target":2},{"source":39,"target":44},{"source":43,"target":5},{"source":33,"target":1},{"source":33,"target":45},{"source":33,"target":2},{"source":33,"target":26},{"source":45,"target":1},{"source":35,"target":1},{"source":35,"target":46},{"source":35,"target":2},{"source":35,"target":27},{"source":46,"target":1},{"source":3,"target":0},{"source":3,"target":2},{"source":3,"target":47},{"source":47,"target":2},{"source":4,"target":0},{"source":4,"target":2},{"source":4,"target":48},{"source":48,"target":2},{"source":5,"target":0},{"source":5,"target":44},{"source":5,"target":30},{"source":5,"target":49},{"source":5,"target":50},{"source":5,"target":51},{"source":44,"target":2},{"source":44,"target":52},{"source":44,"target":5},{"source":44,"target":39},{"source":52,"target":2},{"source":30,"target":1},{"source":30,"target":53},{"source":30,"target":5},{"source":30,"target":24},{"source":53,"target":1},{"source":49,"target":4},{"source":49,"target":54},{"source":49,"target":5},{"source":54,"target":4},{"source":50,"target":55},{"source":50,"target":5},{"source":51,"target":2},{"source":51,"target":56},{"source":51,"target":5},{"source":56,"target":2},{"source":6,"target":0},{"source":6,"target":22},{"source":6,"target":57},{"source":6,"target":58},{"source":6,"target":59},{"source":57,"target":22},{"source":57,"target":60},{"source":57,"target":6},{"source":60,"target":22},{"source":58,"target":22},{"source":58,"target":61},{"source":58,"target":6},{"source":61,"target":22},{"source":59,"target":22},{"source":7,"target":0},{"source":7,"target":6},{"source":7,"target":62},{"source":62,"target":6},{"source":8,"target":0},{"source":8,"target":6},{"source":8,"target":63},{"source":63,"target":6},{"source":9,"target":0},{"source":9,"target":22},{"source":9,"target":64},{"source":9,"target":65},{"source":64,"target":22},{"source":64,"target":66},{"source":64,"target":9},{"source":66,"target":22},{"source":65,"target":22},{"source":10,"target":0},{"source":10,"target":22},{"source":10,"target":67},{"source":10,"target":68},{"source":67,"target":69},{"source":67,"target":10},{"source":68,"target":22},{"source":11,"target":0},{"source":11,"target":22},{"source":11,"target":70},{"source":11,"target":71},{"source":70,"target":72},{"source":70,"target":11},{"source":71,"target":22},{"source":12,"target":0},{"source":13,"target":0},{"source":14,"target":0},{"source":14,"target":13},{"source":14,"target":73},{"source":14,"target":74},{"source":14,"target":75},{"source":73,"target":76},{"source":73,"target":14},{"source":74,"target":22},{"source":74,"target":77},{"source":74,"target":14},{"source":77,"target":22},{"source":75,"target":13},{"source":15,"target":0},{"source":15,"target":13},{"source":15,"target":78},{"source":15,"target":79},{"source":78,"target":14},{"source":78,"target":80},{"source":78,"target":15},{"source":80,"target":14},{"source":79,"target":13},{"source":16,"target":0},{"source":16,"target":21},{"source":16,"target":81},{"source":81,"target":21},{"source":17,"target":0},{"source":17,"target":20},{"source":17,"target":82},{"source":82,"target":20},{"source":18,"target":0},{"source":18,"target":20},{"source":18,"target":83},{"source":83,"target":20},{"source":19,"target":0},{"source":19,"target":21},{"source":19,"target":84},{"source":84,"target":21},{"source":20,"target":0},{"source":20,"target":12},{"source":20,"target":85},{"source":20,"target":86},{"source":20,"target":87},{"source":85,"target":12},{"source":85,"target":88},{"source":85,"target":20},{"source":88,"target":12},{"source":86,"target":12},{"source":86,"target":89},{"source":86,"target":20},{"source":89,"target":12},{"source":87,"target":12},{"source":21,"target":0},{"source":21,"target":12},{"source":21,"target":90},{"source":21,"target":91},{"source":21,"target":92},{"source":90,"target":22},{"source":90,"target":93},{"source":90,"target":21},{"source":93,"target":22},{"source":91,"target":22},{"source":91,"target":94},{"source":91,"target":21},{"source":94,"target":22},{"source":92,"target":12},{"source":22,"target":0}],"multigraph":true}