ir
Specification
metamodels
constaints
temporary
properties
operations
primitiveTypes
tupleTypes
Constraint
name
TypedElement
type
AbstractFunction
name
context
DerivedProperty
Operation
parameters
FeatureRef
OperationFeatureRef
BuiltinOperationRef
DefinedOperationRef
operation
PropertyFeatureRef
TupleFieldRef
type
name
DerivedPropertyRef
property
BuiltinPropertyRef
MetamodelFeatureRef
feature
VariableDeclaration
name
type
Parameter
EFMetamodel
roots
EFPackage
pkg
classes
enumerations
EFType
EFClass
klass
EFPrimitiveType
name
EFEnum
enum_
literals
EFEnumLiteral
name
EFTupleType
id
elements
TupleTypeElement
name
type
TypeRef
MetaTypeRef
type
InvalidTypeRef
CollectionTypeRef
containedType
SetTypeRef
SequenceTypeRef
BagTypeRef
OrderedSetTypeRef
ocl
WithContextVariable
contextVariable
OclInvariant
klass
expression
OclDerivedProperty
body
OclOperation
body
OclExpression
type
ModelElement
CallExp
source
AbstractOperationCallExp
arguments
OperationCallExp
name
feature
PropertyCallExp
name
feature
CollectionCallExp
name
LoopExp
iterators
body
IteratorExp
name
IterateExp
result
init
Iterator
IfExp
condition
then
else
LetExp
variable
init
in
OperatorCallExp
operator
argument
OperatorKind
NOT
NOT
MUL
MUL
DIV
DIV
MINUS
MINUS
PLUS
PLUS
LESS
LESS
GREATER
GREATER
LESS_OR_EQUAL
LESS_OR_EQUAL
GREATER_OR_EQUAL
GREATER_OR_EQUAL
EQUAL
EQUAL
DISTINCT
DISTINCT
AND
AND
OR
OR
XOR
XOR
IMPLIES
IMPLIES
VarExp
variable
LiteralExp
BooleanLiteralExp
value
StringLiteralExp
value
IntegerLiteralExp
value
RealLiteralExp
value
OclUndefined
OclInvalid
TupleLiteralExp
tupleType
parts
TuplePart
name
value
EnumLiteralExp
enum_
literal
CollectionLiteralExp
parts
SetLiteralExp
OrderedSetLiteralExp
SequenceLiteralExp
BagLiteralExp
UnsupportedExp
reason
description
OclAnyLibElement
<?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="ir" nsURI="http://efinder/ir" nsPrefix="efinder_ir">
  <eClassifiers xsi:type="ecore:EClass" name="Specification">
    <eStructuralFeatures xsi:type="ecore:EReference" name="metamodels" upperBound="-1"
        eType="#//EFMetamodel" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="constaints" upperBound="-1"
        eType="#//Constraint" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="temporary" upperBound="-1"
        eType="#//EFClass" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="properties" upperBound="-1"
        eType="#//DerivedProperty" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="operations" upperBound="-1"
        eType="#//Operation" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="primitiveTypes" upperBound="-1"
        eType="#//EFPrimitiveType" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="tupleTypes" upperBound="-1"
        eType="#//EFTupleType" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Constraint" abstract="true">
    <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="TypedElement" abstract="true">
    <eStructuralFeatures xsi:type="ecore:EReference" name="type" lowerBound="1" eType="#//TypeRef"
        containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="AbstractFunction" abstract="true" eSuperTypes="#//TypedElement">
    <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="context" eType="#//EFType"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="DerivedProperty" abstract="true" eSuperTypes="#//AbstractFunction"/>
  <eClassifiers xsi:type="ecore:EClass" name="Operation" abstract="true" eSuperTypes="#//AbstractFunction">
    <eStructuralFeatures xsi:type="ecore:EReference" name="parameters" upperBound="-1"
        eType="#//Parameter" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="FeatureRef" abstract="true"/>
  <eClassifiers xsi:type="ecore:EClass" name="OperationFeatureRef" abstract="true"
      eSuperTypes="#//FeatureRef"/>
  <eClassifiers xsi:type="ecore:EClass" name="BuiltinOperationRef" eSuperTypes="#//OperationFeatureRef"/>
  <eClassifiers xsi:type="ecore:EClass" name="DefinedOperationRef" eSuperTypes="#//OperationFeatureRef">
    <eStructuralFeatures xsi:type="ecore:EReference" name="operation" lowerBound="1"
        eType="#//Operation"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="PropertyFeatureRef" abstract="true"
      eSuperTypes="#//FeatureRef"/>
  <eClassifiers xsi:type="ecore:EClass" name="TupleFieldRef" eSuperTypes="#//PropertyFeatureRef">
    <eStructuralFeatures xsi:type="ecore:EReference" name="type" lowerBound="1" eType="#//EFTupleType"/>
    <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="DerivedPropertyRef" eSuperTypes="#//PropertyFeatureRef">
    <eStructuralFeatures xsi:type="ecore:EReference" name="property" lowerBound="1"
        eType="#//DerivedProperty"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="BuiltinPropertyRef" eSuperTypes="#//PropertyFeatureRef"/>
  <eClassifiers xsi:type="ecore:EClass" name="MetamodelFeatureRef" eSuperTypes="#//PropertyFeatureRef">
    <eStructuralFeatures xsi:type="ecore:EReference" name="feature" lowerBound="1"
        eType="ecore:EClass http://www.eclipse.org/emf/2002/Ecore#//EStructuralFeature"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="VariableDeclaration">
    <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="type" lowerBound="1" eType="#//TypeRef"
        containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Parameter" eSuperTypes="#//VariableDeclaration"/>
  <eClassifiers xsi:type="ecore:EClass" name="EFMetamodel">
    <eStructuralFeatures xsi:type="ecore:EReference" name="roots" upperBound="-1"
        eType="#//EFPackage" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="EFPackage">
    <eStructuralFeatures xsi:type="ecore:EReference" name="pkg" lowerBound="1" eType="ecore:EClass http://www.eclipse.org/emf/2002/Ecore#//EPackage"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="classes" upperBound="-1"
        eType="#//EFClass" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="enumerations" upperBound="-1"
        eType="#//EFEnum" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="EFType" abstract="true"/>
  <eClassifiers xsi:type="ecore:EClass" name="EFClass" eSuperTypes="#//EFType">
    <eStructuralFeatures xsi:type="ecore:EReference" name="klass" lowerBound="1" eType="ecore:EClass http://www.eclipse.org/emf/2002/Ecore#//EClass"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="EFPrimitiveType" eSuperTypes="#//EFType">
    <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="EFEnum" eSuperTypes="#//EFType">
    <eStructuralFeatures xsi:type="ecore:EReference" name="enum_" lowerBound="1" eType="ecore:EClass http://www.eclipse.org/emf/2002/Ecore#//EEnum"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="literals" upperBound="-1"
        eType="#//EFEnumLiteral" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="EFEnumLiteral">
    <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="EFTupleType" eSuperTypes="#//EFType">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="id" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="elements" upperBound="-1"
        eType="#//TupleTypeElement" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="TupleTypeElement">
    <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="type" lowerBound="1" eType="#//TypeRef"
        containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="TypeRef" abstract="true"/>
  <eClassifiers xsi:type="ecore:EClass" name="MetaTypeRef" eSuperTypes="#//TypeRef">
    <eStructuralFeatures xsi:type="ecore:EReference" name="type" lowerBound="1" eType="#//EFType"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="InvalidTypeRef" eSuperTypes="#//TypeRef"/>
  <eClassifiers xsi:type="ecore:EClass" name="CollectionTypeRef" abstract="true" eSuperTypes="#//TypeRef">
    <eStructuralFeatures xsi:type="ecore:EReference" name="containedType" lowerBound="1"
        eType="#//TypeRef" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="SetTypeRef" eSuperTypes="#//CollectionTypeRef"/>
  <eClassifiers xsi:type="ecore:EClass" name="SequenceTypeRef" eSuperTypes="#//CollectionTypeRef"/>
  <eClassifiers xsi:type="ecore:EClass" name="BagTypeRef" eSuperTypes="#//CollectionTypeRef"/>
  <eClassifiers xsi:type="ecore:EClass" name="OrderedSetTypeRef" eSuperTypes="#//CollectionTypeRef"/>
  <eSubpackages name="ocl" nsURI="http://efinder/ir/ocl" nsPrefix="efinder_ocl">
    <eClassifiers xsi:type="ecore:EClass" name="WithContextVariable" abstract="true">
      <eStructuralFeatures xsi:type="ecore:EReference" name="contextVariable" lowerBound="1"
          eType="#//VariableDeclaration" containment="true"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="OclInvariant" eSuperTypes="#//Constraint #//ocl/WithContextVariable">
      <eStructuralFeatures xsi:type="ecore:EReference" name="klass" lowerBound="1"
          eType="#//EFClass"/>
      <eStructuralFeatures xsi:type="ecore:EReference" name="expression" lowerBound="1"
          eType="#//ocl/OclExpression" containment="true"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="OclDerivedProperty" eSuperTypes="#//DerivedProperty #//ocl/WithContextVariable">
      <eStructuralFeatures xsi:type="ecore:EReference" name="body" lowerBound="1"
          eType="#//ocl/OclExpression" containment="true"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="OclOperation" eSuperTypes="#//Operation #//ocl/WithContextVariable">
      <eStructuralFeatures xsi:type="ecore:EReference" name="body" lowerBound="1"
          eType="#//ocl/OclExpression" containment="true"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="OclExpression" abstract="true">
      <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//TypeRef"
          containment="true"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="ModelElement" eSuperTypes="#//ocl/OclExpression"/>
    <eClassifiers xsi:type="ecore:EClass" name="CallExp" abstract="true" eSuperTypes="#//ocl/OclExpression">
      <eStructuralFeatures xsi:type="ecore:EReference" name="source" lowerBound="1"
          eType="#//ocl/OclExpression" containment="true"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="AbstractOperationCallExp" abstract="true"
        eSuperTypes="#//ocl/CallExp">
      <eStructuralFeatures xsi:type="ecore:EReference" name="arguments" upperBound="-1"
          eType="#//ocl/OclExpression" containment="true"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="OperationCallExp" eSuperTypes="#//ocl/AbstractOperationCallExp">
      <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="feature" eType="#//OperationFeatureRef"
          containment="true"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="PropertyCallExp" eSuperTypes="#//ocl/CallExp">
      <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="feature" eType="#//PropertyFeatureRef"
          containment="true"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="CollectionCallExp" eSuperTypes="#//ocl/AbstractOperationCallExp">
      <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="LoopExp" abstract="true" eSuperTypes="#//ocl/CallExp">
      <eStructuralFeatures xsi:type="ecore:EReference" name="iterators" lowerBound="1"
          upperBound="-1" eType="#//ocl/Iterator" containment="true"/>
      <eStructuralFeatures xsi:type="ecore:EReference" name="body" lowerBound="1"
          eType="#//ocl/OclExpression" containment="true"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="IteratorExp" eSuperTypes="#//ocl/LoopExp">
      <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="IterateExp" eSuperTypes="#//ocl/LoopExp">
      <eStructuralFeatures xsi:type="ecore:EReference" name="result" lowerBound="1"
          eType="#//VariableDeclaration" containment="true"/>
      <eStructuralFeatures xsi:type="ecore:EReference" name="init" lowerBound="1"
          eType="#//ocl/OclExpression" containment="true"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="Iterator" eSuperTypes="#//VariableDeclaration"/>
    <eClassifiers xsi:type="ecore:EClass" name="IfExp" eSuperTypes="#//ocl/OclExpression">
      <eStructuralFeatures xsi:type="ecore:EReference" name="condition" lowerBound="1"
          eType="#//ocl/OclExpression" containment="true"/>
      <eStructuralFeatures xsi:type="ecore:EReference" name="then" lowerBound="1"
          eType="#//ocl/OclExpression" containment="true"/>
      <eStructuralFeatures xsi:type="ecore:EReference" name="else" lowerBound="1"
          eType="#//ocl/OclExpression" containment="true"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="LetExp" eSuperTypes="#//ocl/OclExpression">
      <eStructuralFeatures xsi:type="ecore:EReference" name="variable" lowerBound="1"
          eType="#//VariableDeclaration" containment="true"/>
      <eStructuralFeatures xsi:type="ecore:EReference" name="init" lowerBound="1"
          eType="#//ocl/OclExpression" containment="true"/>
      <eStructuralFeatures xsi:type="ecore:EReference" name="in" lowerBound="1" eType="#//ocl/OclExpression"
          containment="true"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="OperatorCallExp" eSuperTypes="#//ocl/CallExp">
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="operator" lowerBound="1"
          eType="#//ocl/OperatorKind"/>
      <eStructuralFeatures xsi:type="ecore:EReference" name="argument" eType="#//ocl/OclExpression"
          containment="true"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EEnum" name="OperatorKind">
      <eLiterals name="NOT"/>
      <eLiterals name="MUL" value="1"/>
      <eLiterals name="DIV" value="2"/>
      <eLiterals name="MINUS" value="3"/>
      <eLiterals name="PLUS" value="4"/>
      <eLiterals name="LESS" value="5"/>
      <eLiterals name="GREATER" value="6"/>
      <eLiterals name="LESS_OR_EQUAL" value="7"/>
      <eLiterals name="GREATER_OR_EQUAL" value="8"/>
      <eLiterals name="EQUAL" value="9"/>
      <eLiterals name="DISTINCT" value="10"/>
      <eLiterals name="AND" value="11"/>
      <eLiterals name="OR" value="12"/>
      <eLiterals name="XOR" value="13"/>
      <eLiterals name="IMPLIES" value="14"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="VarExp" eSuperTypes="#//ocl/OclExpression">
      <eStructuralFeatures xsi:type="ecore:EReference" name="variable" lowerBound="1"
          eType="#//VariableDeclaration"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="LiteralExp" abstract="true" eSuperTypes="#//ocl/OclExpression"/>
    <eClassifiers xsi:type="ecore:EClass" name="BooleanLiteralExp" eSuperTypes="#//ocl/LiteralExp">
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" lowerBound="1"
          eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="StringLiteralExp" eSuperTypes="#//ocl/LiteralExp">
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" lowerBound="1"
          eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="IntegerLiteralExp" eSuperTypes="#//ocl/LiteralExp">
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" lowerBound="1"
          eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EIntegerObject"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="RealLiteralExp" eSuperTypes="#//ocl/LiteralExp">
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" lowerBound="1"
          eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EDoubleObject"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="OclUndefined" eSuperTypes="#//ocl/LiteralExp"/>
    <eClassifiers xsi:type="ecore:EClass" name="OclInvalid" eSuperTypes="#//ocl/LiteralExp"/>
    <eClassifiers xsi:type="ecore:EClass" name="TupleLiteralExp" eSuperTypes="#//ocl/LiteralExp">
      <eStructuralFeatures xsi:type="ecore:EReference" name="tupleType" lowerBound="1"
          eType="#//EFTupleType"/>
      <eStructuralFeatures xsi:type="ecore:EReference" name="parts" upperBound="-1"
          eType="#//ocl/TuplePart" containment="true"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="TuplePart">
      <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="value" lowerBound="1"
          eType="#//ocl/OclExpression" containment="true"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="EnumLiteralExp" eSuperTypes="#//ocl/LiteralExp">
      <eStructuralFeatures xsi:type="ecore:EReference" name="enum_" lowerBound="1"
          eType="#//MetaTypeRef" containment="true"/>
      <eStructuralFeatures xsi:type="ecore:EReference" name="literal" lowerBound="1"
          eType="#//EFEnumLiteral"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="CollectionLiteralExp" abstract="true"
        eSuperTypes="#//ocl/LiteralExp">
      <eStructuralFeatures xsi:type="ecore:EReference" name="parts" upperBound="-1"
          eType="#//ocl/OclExpression" containment="true"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="SetLiteralExp" eSuperTypes="#//ocl/CollectionLiteralExp"/>
    <eClassifiers xsi:type="ecore:EClass" name="OrderedSetLiteralExp" eSuperTypes="#//ocl/CollectionLiteralExp"/>
    <eClassifiers xsi:type="ecore:EClass" name="SequenceLiteralExp" eSuperTypes="#//ocl/CollectionLiteralExp"/>
    <eClassifiers xsi:type="ecore:EClass" name="BagLiteralExp" eSuperTypes="#//ocl/CollectionLiteralExp"/>
    <eClassifiers xsi:type="ecore:EClass" name="UnsupportedExp" eSuperTypes="#//ocl/OclExpression">
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="reason" lowerBound="1"
          eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="description" lowerBound="1"
          eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="OclAnyLibElement"/>
  </eSubpackages>
</ecore:EPackage>

{"directed":true,"nodes":[{"nsPrefix":"efinder_ir","nsURI":"http://efinder/ir","name":"ir","id":0,"eClass":"EPackage"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Specification","instanceClass":null,"abstract":false,"id":1,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Constraint","instanceClass":null,"abstract":true,"id":2,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"TypedElement","instanceClass":null,"abstract":true,"id":3,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"AbstractFunction","instanceClass":null,"abstract":true,"id":4,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"DerivedProperty","instanceClass":null,"abstract":true,"id":5,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Operation","instanceClass":null,"abstract":true,"id":6,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"FeatureRef","instanceClass":null,"abstract":true,"id":7,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"OperationFeatureRef","instanceClass":null,"abstract":true,"id":8,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"BuiltinOperationRef","instanceClass":null,"abstract":false,"id":9,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"DefinedOperationRef","instanceClass":null,"abstract":false,"id":10,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"PropertyFeatureRef","instanceClass":null,"abstract":true,"id":11,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"TupleFieldRef","instanceClass":null,"abstract":false,"id":12,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"DerivedPropertyRef","instanceClass":null,"abstract":false,"id":13,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"BuiltinPropertyRef","instanceClass":null,"abstract":false,"id":14,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"MetamodelFeatureRef","instanceClass":null,"abstract":false,"id":15,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"VariableDeclaration","instanceClass":null,"abstract":false,"id":16,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Parameter","instanceClass":null,"abstract":false,"id":17,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"EFMetamodel","instanceClass":null,"abstract":false,"id":18,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"EFPackage","instanceClass":null,"abstract":false,"id":19,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"EFType","instanceClass":null,"abstract":true,"id":20,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"EFClass","instanceClass":null,"abstract":false,"id":21,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"EFPrimitiveType","instanceClass":null,"abstract":false,"id":22,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"EFEnum","instanceClass":null,"abstract":false,"id":23,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"EFEnumLiteral","instanceClass":null,"abstract":false,"id":24,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"EFTupleType","instanceClass":null,"abstract":false,"id":25,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"TupleTypeElement","instanceClass":null,"abstract":false,"id":26,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"TypeRef","instanceClass":null,"abstract":true,"id":27,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"MetaTypeRef","instanceClass":null,"abstract":false,"id":28,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"InvalidTypeRef","instanceClass":null,"abstract":false,"id":29,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"CollectionTypeRef","instanceClass":null,"abstract":true,"id":30,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"SetTypeRef","instanceClass":null,"abstract":false,"id":31,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"SequenceTypeRef","instanceClass":null,"abstract":false,"id":32,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"BagTypeRef","instanceClass":null,"abstract":false,"id":33,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"OrderedSetTypeRef","instanceClass":null,"abstract":false,"id":34,"interface":false,"eClass":"EClass"},{"nsPrefix":"efinder_ocl","nsURI":"http://efinder/ir/ocl","name":"ocl","id":35,"eClass":"EPackage"},{"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":"metamodels","changeable":true,"resolveProxies":true,"lowerBound":0,"id":36,"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":"constaints","changeable":true,"resolveProxies":true,"lowerBound":0,"id":37,"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":"temporary","changeable":true,"resolveProxies":true,"lowerBound":0,"id":38,"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":"properties","changeable":true,"resolveProxies":true,"lowerBound":0,"id":39,"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":"operations","changeable":true,"resolveProxies":true,"lowerBound":0,"id":40,"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":"primitiveTypes","changeable":true,"resolveProxies":true,"lowerBound":0,"id":41,"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":"tupleTypes","changeable":true,"resolveProxies":true,"lowerBound":0,"id":42,"derived":false},{"id":43,"eClass":"EGenericType"},{"id":44,"eClass":"EGenericType"},{"id":45,"eClass":"EGenericType"},{"id":46,"eClass":"EGenericType"},{"id":47,"eClass":"EGenericType"},{"id":48,"eClass":"EGenericType"},{"id":49,"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":50,"derived":false},{"id":51,"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":"type","changeable":true,"resolveProxies":true,"lowerBound":1,"id":52,"derived":false},{"id":53,"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":54,"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":"context","changeable":true,"resolveProxies":true,"lowerBound":0,"id":55,"derived":false},{"id":56,"eClass":"EGenericType"},{"id":57,"eClass":"EGenericType"},{"id":58,"eClass":"EGenericType"},{"id":59,"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":"parameters","changeable":true,"resolveProxies":true,"lowerBound":0,"id":60,"derived":false},{"id":61,"eClass":"EGenericType"},{"id":62,"eClass":"EGenericType"},{"id":63,"eClass":"EGenericType"},{"id":64,"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":"operation","changeable":true,"resolveProxies":true,"lowerBound":1,"id":65,"derived":false},{"id":66,"eClass":"EGenericType"},{"id":67,"eClass":"EGenericType"},{"id":68,"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":"type","changeable":true,"resolveProxies":true,"lowerBound":1,"id":69,"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":70,"derived":false},{"id":71,"eClass":"EGenericType"},{"id":72,"eClass":"EGenericType"},{"id":73,"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":"property","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":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"feature","changeable":true,"resolveProxies":true,"lowerBound":1,"id":78,"derived":false},{"id":79,"eClass":"EGenericType"},{"id":80,"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":81,"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":"type","changeable":true,"resolveProxies":true,"lowerBound":1,"id":82,"derived":false},{"id":83,"eClass":"EGenericType"},{"id":84,"eClass":"EGenericType"},{"id":85,"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":"roots","changeable":true,"resolveProxies":true,"lowerBound":0,"id":86,"derived":false},{"id":87,"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":"pkg","changeable":true,"resolveProxies":true,"lowerBound":1,"id":88,"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":"classes","changeable":true,"resolveProxies":true,"lowerBound":0,"id":89,"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":"enumerations","changeable":true,"resolveProxies":true,"lowerBound":0,"id":90,"derived":false},{"id":91,"eClass":"EGenericType"},{"id":92,"eClass":"EGenericType"},{"id":93,"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":"klass","changeable":true,"resolveProxies":true,"lowerBound":1,"id":94,"derived":false},{"id":95,"eClass":"EGenericType"},{"id":96,"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":97,"derived":false},{"id":98,"eClass":"EGenericType"},{"id":99,"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":"enum_","changeable":true,"resolveProxies":true,"lowerBound":1,"id":100,"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":"literals","changeable":true,"resolveProxies":true,"lowerBound":0,"id":101,"derived":false},{"id":102,"eClass":"EGenericType"},{"id":103,"eClass":"EGenericType"},{"id":104,"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":105,"derived":false},{"id":106,"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":"id","changeable":true,"lowerBound":1,"iD":false,"id":107,"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":"elements","changeable":true,"resolveProxies":true,"lowerBound":0,"id":108,"derived":false},{"id":109,"eClass":"EGenericType"},{"id":110,"eClass":"EGenericType"},{"id":111,"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":112,"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":"type","changeable":true,"resolveProxies":true,"lowerBound":1,"id":113,"derived":false},{"id":114,"eClass":"EGenericType"},{"id":115,"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":"type","changeable":true,"resolveProxies":true,"lowerBound":1,"id":116,"derived":false},{"id":117,"eClass":"EGenericType"},{"id":118,"eClass":"EGenericType"},{"id":119,"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":"containedType","changeable":true,"resolveProxies":true,"lowerBound":1,"id":120,"derived":false},{"id":121,"eClass":"EGenericType"},{"id":122,"eClass":"EGenericType"},{"id":123,"eClass":"EGenericType"},{"id":124,"eClass":"EGenericType"},{"id":125,"eClass":"EGenericType"},{"id":126,"eClass":"EGenericType"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"WithContextVariable","instanceClass":null,"abstract":true,"id":127,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"OclInvariant","instanceClass":null,"abstract":false,"id":128,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"OclDerivedProperty","instanceClass":null,"abstract":false,"id":129,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"OclOperation","instanceClass":null,"abstract":false,"id":130,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"OclExpression","instanceClass":null,"abstract":true,"id":131,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"ModelElement","instanceClass":null,"abstract":false,"id":132,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"CallExp","instanceClass":null,"abstract":true,"id":133,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"AbstractOperationCallExp","instanceClass":null,"abstract":true,"id":134,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"OperationCallExp","instanceClass":null,"abstract":false,"id":135,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"PropertyCallExp","instanceClass":null,"abstract":false,"id":136,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"CollectionCallExp","instanceClass":null,"abstract":false,"id":137,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"LoopExp","instanceClass":null,"abstract":true,"id":138,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"IteratorExp","instanceClass":null,"abstract":false,"id":139,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"IterateExp","instanceClass":null,"abstract":false,"id":140,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Iterator","instanceClass":null,"abstract":false,"id":141,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"IfExp","instanceClass":null,"abstract":false,"id":142,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"LetExp","instanceClass":null,"abstract":false,"id":143,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"OperatorCallExp","instanceClass":null,"abstract":false,"id":144,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"instanceClassName":null,"name":"OperatorKind","instanceClass":null,"id":145,"serializable":true,"eClass":"EEnum"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"VarExp","instanceClass":null,"abstract":false,"id":146,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"LiteralExp","instanceClass":null,"abstract":true,"id":147,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"BooleanLiteralExp","instanceClass":null,"abstract":false,"id":148,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"StringLiteralExp","instanceClass":null,"abstract":false,"id":149,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"IntegerLiteralExp","instanceClass":null,"abstract":false,"id":150,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"RealLiteralExp","instanceClass":null,"abstract":false,"id":151,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"OclUndefined","instanceClass":null,"abstract":false,"id":152,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"OclInvalid","instanceClass":null,"abstract":false,"id":153,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"TupleLiteralExp","instanceClass":null,"abstract":false,"id":154,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"TuplePart","instanceClass":null,"abstract":false,"id":155,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"EnumLiteralExp","instanceClass":null,"abstract":false,"id":156,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"CollectionLiteralExp","instanceClass":null,"abstract":true,"id":157,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"SetLiteralExp","instanceClass":null,"abstract":false,"id":158,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"OrderedSetLiteralExp","instanceClass":null,"abstract":false,"id":159,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"SequenceLiteralExp","instanceClass":null,"abstract":false,"id":160,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"BagLiteralExp","instanceClass":null,"abstract":false,"id":161,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"UnsupportedExp","instanceClass":null,"abstract":false,"id":162,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"OclAnyLibElement","instanceClass":null,"abstract":false,"id":163,"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":"contextVariable","changeable":true,"resolveProxies":true,"lowerBound":1,"id":164,"derived":false},{"id":165,"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":"klass","changeable":true,"resolveProxies":true,"lowerBound":1,"id":166,"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":167,"derived":false},{"id":168,"eClass":"EGenericType"},{"id":169,"eClass":"EGenericType"},{"id":170,"eClass":"EGenericType"},{"id":171,"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":"body","changeable":true,"resolveProxies":true,"lowerBound":1,"id":172,"derived":false},{"id":173,"eClass":"EGenericType"},{"id":174,"eClass":"EGenericType"},{"id":175,"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":"body","changeable":true,"resolveProxies":true,"lowerBound":1,"id":176,"derived":false},{"id":177,"eClass":"EGenericType"},{"id":178,"eClass":"EGenericType"},{"id":179,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"type","changeable":true,"resolveProxies":true,"lowerBound":0,"id":180,"derived":false},{"id":181,"eClass":"EGenericType"},{"id":182,"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":"source","changeable":true,"resolveProxies":true,"lowerBound":1,"id":183,"derived":false},{"id":184,"eClass":"EGenericType"},{"id":185,"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":"arguments","changeable":true,"resolveProxies":true,"lowerBound":0,"id":186,"derived":false},{"id":187,"eClass":"EGenericType"},{"id":188,"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":189,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"feature","changeable":true,"resolveProxies":true,"lowerBound":0,"id":190,"derived":false},{"id":191,"eClass":"EGenericType"},{"id":192,"eClass":"EGenericType"},{"id":193,"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":194,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"feature","changeable":true,"resolveProxies":true,"lowerBound":0,"id":195,"derived":false},{"id":196,"eClass":"EGenericType"},{"id":197,"eClass":"EGenericType"},{"id":198,"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":199,"derived":false},{"id":200,"eClass":"EGenericType"},{"id":201,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"iterators","changeable":true,"resolveProxies":true,"lowerBound":1,"id":202,"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":"body","changeable":true,"resolveProxies":true,"lowerBound":1,"id":203,"derived":false},{"id":204,"eClass":"EGenericType"},{"id":205,"eClass":"EGenericType"},{"id":206,"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":207,"derived":false},{"id":208,"eClass":"EGenericType"},{"id":209,"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":"result","changeable":true,"resolveProxies":true,"lowerBound":1,"id":210,"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":"init","changeable":true,"resolveProxies":true,"lowerBound":1,"id":211,"derived":false},{"id":212,"eClass":"EGenericType"},{"id":213,"eClass":"EGenericType"},{"id":214,"eClass":"EGenericType"},{"id":215,"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":"condition","changeable":true,"resolveProxies":true,"lowerBound":1,"id":216,"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":"then","changeable":true,"resolveProxies":true,"lowerBound":1,"id":217,"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":"else","changeable":true,"resolveProxies":true,"lowerBound":1,"id":218,"derived":false},{"id":219,"eClass":"EGenericType"},{"id":220,"eClass":"EGenericType"},{"id":221,"eClass":"EGenericType"},{"id":222,"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":"variable","changeable":true,"resolveProxies":true,"lowerBound":1,"id":223,"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":"init","changeable":true,"resolveProxies":true,"lowerBound":1,"id":224,"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":"in","changeable":true,"resolveProxies":true,"lowerBound":1,"id":225,"derived":false},{"id":226,"eClass":"EGenericType"},{"id":227,"eClass":"EGenericType"},{"id":228,"eClass":"EGenericType"},{"id":229,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"operator","changeable":true,"lowerBound":1,"iD":false,"id":230,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"argument","changeable":true,"resolveProxies":true,"lowerBound":0,"id":231,"derived":false},{"id":232,"eClass":"EGenericType"},{"id":233,"eClass":"EGenericType"},{"id":234,"eClass":"EGenericType"},{"name":"NOT","id":235,"value":0,"literal":"NOT","eClass":"EEnumLiteral"},{"name":"MUL","id":236,"value":1,"literal":"MUL","eClass":"EEnumLiteral"},{"name":"DIV","id":237,"value":2,"literal":"DIV","eClass":"EEnumLiteral"},{"name":"MINUS","id":238,"value":3,"literal":"MINUS","eClass":"EEnumLiteral"},{"name":"PLUS","id":239,"value":4,"literal":"PLUS","eClass":"EEnumLiteral"},{"name":"LESS","id":240,"value":5,"literal":"LESS","eClass":"EEnumLiteral"},{"name":"GREATER","id":241,"value":6,"literal":"GREATER","eClass":"EEnumLiteral"},{"name":"LESS_OR_EQUAL","id":242,"value":7,"literal":"LESS_OR_EQUAL","eClass":"EEnumLiteral"},{"name":"GREATER_OR_EQUAL","id":243,"value":8,"literal":"GREATER_OR_EQUAL","eClass":"EEnumLiteral"},{"name":"EQUAL","id":244,"value":9,"literal":"EQUAL","eClass":"EEnumLiteral"},{"name":"DISTINCT","id":245,"value":10,"literal":"DISTINCT","eClass":"EEnumLiteral"},{"name":"AND","id":246,"value":11,"literal":"AND","eClass":"EEnumLiteral"},{"name":"OR","id":247,"value":12,"literal":"OR","eClass":"EEnumLiteral"},{"name":"XOR","id":248,"value":13,"literal":"XOR","eClass":"EEnumLiteral"},{"name":"IMPLIES","id":249,"value":14,"literal":"IMPLIES","eClass":"EEnumLiteral"},{"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":"variable","changeable":true,"resolveProxies":true,"lowerBound":1,"id":250,"derived":false},{"id":251,"eClass":"EGenericType"},{"id":252,"eClass":"EGenericType"},{"id":253,"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":"value","changeable":true,"lowerBound":1,"iD":false,"id":254,"derived":false},{"id":255,"eClass":"EGenericType"},{"id":256,"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":"value","changeable":true,"lowerBound":1,"iD":false,"id":257,"derived":false},{"id":258,"eClass":"EGenericType"},{"id":259,"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":"value","changeable":true,"lowerBound":1,"iD":false,"id":260,"derived":false},{"id":261,"eClass":"EGenericType"},{"id":262,"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":"value","changeable":true,"lowerBound":1,"iD":false,"id":263,"derived":false},{"id":264,"eClass":"EGenericType"},{"id":265,"eClass":"EGenericType"},{"id":266,"eClass":"EGenericType"},{"id":267,"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":"tupleType","changeable":true,"resolveProxies":true,"lowerBound":1,"id":268,"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":"parts","changeable":true,"resolveProxies":true,"lowerBound":0,"id":269,"derived":false},{"id":270,"eClass":"EGenericType"},{"id":271,"eClass":"EGenericType"},{"id":272,"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":273,"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":"value","changeable":true,"resolveProxies":true,"lowerBound":1,"id":274,"derived":false},{"id":275,"eClass":"EGenericType"},{"id":276,"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":"enum_","changeable":true,"resolveProxies":true,"lowerBound":1,"id":277,"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":"literal","changeable":true,"resolveProxies":true,"lowerBound":1,"id":278,"derived":false},{"id":279,"eClass":"EGenericType"},{"id":280,"eClass":"EGenericType"},{"id":281,"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":"parts","changeable":true,"resolveProxies":true,"lowerBound":0,"id":282,"derived":false},{"id":283,"eClass":"EGenericType"},{"id":284,"eClass":"EGenericType"},{"id":285,"eClass":"EGenericType"},{"id":286,"eClass":"EGenericType"},{"id":287,"eClass":"EGenericType"},{"id":288,"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":"reason","changeable":true,"lowerBound":1,"iD":false,"id":289,"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":"description","changeable":true,"lowerBound":1,"iD":false,"id":290,"derived":false},{"id":291,"eClass":"EGenericType"},{"id":292,"eClass":"EGenericType"},{"id":293,"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":0,"target":23},{"source":0,"target":24},{"source":0,"target":25},{"source":0,"target":26},{"source":0,"target":27},{"source":0,"target":28},{"source":0,"target":29},{"source":0,"target":30},{"source":0,"target":31},{"source":0,"target":32},{"source":0,"target":33},{"source":0,"target":34},{"source":0,"target":35},{"source":1,"target":0},{"source":1,"target":36},{"source":1,"target":37},{"source":1,"target":38},{"source":1,"target":39},{"source":1,"target":40},{"source":1,"target":41},{"source":1,"target":42},{"source":36,"target":18},{"source":36,"target":43},{"source":36,"target":1},{"source":43,"target":18},{"source":37,"target":2},{"source":37,"target":44},{"source":37,"target":1},{"source":44,"target":2},{"source":38,"target":21},{"source":38,"target":45},{"source":38,"target":1},{"source":45,"target":21},{"source":39,"target":5},{"source":39,"target":46},{"source":39,"target":1},{"source":46,"target":5},{"source":40,"target":6},{"source":40,"target":47},{"source":40,"target":1},{"source":47,"target":6},{"source":41,"target":22},{"source":41,"target":48},{"source":41,"target":1},{"source":48,"target":22},{"source":42,"target":25},{"source":42,"target":49},{"source":42,"target":1},{"source":49,"target":25},{"source":2,"target":0},{"source":2,"target":50},{"source":50,"target":51},{"source":50,"target":2},{"source":3,"target":0},{"source":3,"target":52},{"source":52,"target":27},{"source":52,"target":53},{"source":52,"target":3},{"source":53,"target":27},{"source":4,"target":0},{"source":4,"target":3},{"source":4,"target":54},{"source":4,"target":55},{"source":4,"target":56},{"source":54,"target":57},{"source":54,"target":4},{"source":55,"target":20},{"source":55,"target":58},{"source":55,"target":4},{"source":58,"target":20},{"source":56,"target":3},{"source":5,"target":0},{"source":5,"target":4},{"source":5,"target":59},{"source":59,"target":4},{"source":6,"target":0},{"source":6,"target":4},{"source":6,"target":60},{"source":6,"target":61},{"source":60,"target":17},{"source":60,"target":62},{"source":60,"target":6},{"source":62,"target":17},{"source":61,"target":4},{"source":7,"target":0},{"source":8,"target":0},{"source":8,"target":7},{"source":8,"target":63},{"source":63,"target":7},{"source":9,"target":0},{"source":9,"target":8},{"source":9,"target":64},{"source":64,"target":8},{"source":10,"target":0},{"source":10,"target":8},{"source":10,"target":65},{"source":10,"target":66},{"source":65,"target":6},{"source":65,"target":67},{"source":65,"target":10},{"source":67,"target":6},{"source":66,"target":8},{"source":11,"target":0},{"source":11,"target":7},{"source":11,"target":68},{"source":68,"target":7},{"source":12,"target":0},{"source":12,"target":11},{"source":12,"target":69},{"source":12,"target":70},{"source":12,"target":71},{"source":69,"target":25},{"source":69,"target":72},{"source":69,"target":12},{"source":72,"target":25},{"source":70,"target":73},{"source":70,"target":12},{"source":71,"target":11},{"source":13,"target":0},{"source":13,"target":11},{"source":13,"target":74},{"source":13,"target":75},{"source":74,"target":5},{"source":74,"target":76},{"source":74,"target":13},{"source":76,"target":5},{"source":75,"target":11},{"source":14,"target":0},{"source":14,"target":11},{"source":14,"target":77},{"source":77,"target":11},{"source":15,"target":0},{"source":15,"target":11},{"source":15,"target":78},{"source":15,"target":79},{"source":78,"target":80},{"source":78,"target":15},{"source":79,"target":11},{"source":16,"target":0},{"source":16,"target":81},{"source":16,"target":82},{"source":81,"target":83},{"source":81,"target":16},{"source":82,"target":27},{"source":82,"target":84},{"source":82,"target":16},{"source":84,"target":27},{"source":17,"target":0},{"source":17,"target":16},{"source":17,"target":85},{"source":85,"target":16},{"source":18,"target":0},{"source":18,"target":86},{"source":86,"target":19},{"source":86,"target":87},{"source":86,"target":18},{"source":87,"target":19},{"source":19,"target":0},{"source":19,"target":88},{"source":19,"target":89},{"source":19,"target":90},{"source":88,"target":91},{"source":88,"target":19},{"source":89,"target":21},{"source":89,"target":92},{"source":89,"target":19},{"source":92,"target":21},{"source":90,"target":23},{"source":90,"target":93},{"source":90,"target":19},{"source":93,"target":23},{"source":20,"target":0},{"source":21,"target":0},{"source":21,"target":20},{"source":21,"target":94},{"source":21,"target":95},{"source":94,"target":96},{"source":94,"target":21},{"source":95,"target":20},{"source":22,"target":0},{"source":22,"target":20},{"source":22,"target":97},{"source":22,"target":98},{"source":97,"target":99},{"source":97,"target":22},{"source":98,"target":20},{"source":23,"target":0},{"source":23,"target":20},{"source":23,"target":100},{"source":23,"target":101},{"source":23,"target":102},{"source":100,"target":103},{"source":100,"target":23},{"source":101,"target":24},{"source":101,"target":104},{"source":101,"target":23},{"source":104,"target":24},{"source":102,"target":20},{"source":24,"target":0},{"source":24,"target":105},{"source":105,"target":106},{"source":105,"target":24},{"source":25,"target":0},{"source":25,"target":20},{"source":25,"target":107},{"source":25,"target":108},{"source":25,"target":109},{"source":107,"target":110},{"source":107,"target":25},{"source":108,"target":26},{"source":108,"target":111},{"source":108,"target":25},{"source":111,"target":26},{"source":109,"target":20},{"source":26,"target":0},{"source":26,"target":112},{"source":26,"target":113},{"source":112,"target":114},{"source":112,"target":26},{"source":113,"target":27},{"source":113,"target":115},{"source":113,"target":26},{"source":115,"target":27},{"source":27,"target":0},{"source":28,"target":0},{"source":28,"target":27},{"source":28,"target":116},{"source":28,"target":117},{"source":116,"target":20},{"source":116,"target":118},{"source":116,"target":28},{"source":118,"target":20},{"source":117,"target":27},{"source":29,"target":0},{"source":29,"target":27},{"source":29,"target":119},{"source":119,"target":27},{"source":30,"target":0},{"source":30,"target":27},{"source":30,"target":120},{"source":30,"target":121},{"source":120,"target":27},{"source":120,"target":122},{"source":120,"target":30},{"source":122,"target":27},{"source":121,"target":27},{"source":31,"target":0},{"source":31,"target":30},{"source":31,"target":123},{"source":123,"target":30},{"source":32,"target":0},{"source":32,"target":30},{"source":32,"target":124},{"source":124,"target":30},{"source":33,"target":0},{"source":33,"target":30},{"source":33,"target":125},{"source":125,"target":30},{"source":34,"target":0},{"source":34,"target":30},{"source":34,"target":126},{"source":126,"target":30},{"source":35,"target":127},{"source":35,"target":128},{"source":35,"target":129},{"source":35,"target":130},{"source":35,"target":131},{"source":35,"target":132},{"source":35,"target":133},{"source":35,"target":134},{"source":35,"target":135},{"source":35,"target":136},{"source":35,"target":137},{"source":35,"target":138},{"source":35,"target":139},{"source":35,"target":140},{"source":35,"target":141},{"source":35,"target":142},{"source":35,"target":143},{"source":35,"target":144},{"source":35,"target":145},{"source":35,"target":146},{"source":35,"target":147},{"source":35,"target":148},{"source":35,"target":149},{"source":35,"target":150},{"source":35,"target":151},{"source":35,"target":152},{"source":35,"target":153},{"source":35,"target":154},{"source":35,"target":155},{"source":35,"target":156},{"source":35,"target":157},{"source":35,"target":158},{"source":35,"target":159},{"source":35,"target":160},{"source":35,"target":161},{"source":35,"target":162},{"source":35,"target":163},{"source":35,"target":0},{"source":127,"target":35},{"source":127,"target":164},{"source":164,"target":16},{"source":164,"target":165},{"source":164,"target":127},{"source":165,"target":16},{"source":128,"target":35},{"source":128,"target":2},{"source":128,"target":127},{"source":128,"target":166},{"source":128,"target":167},{"source":128,"target":168},{"source":128,"target":169},{"source":166,"target":21},{"source":166,"target":170},{"source":166,"target":128},{"source":170,"target":21},{"source":167,"target":131},{"source":167,"target":171},{"source":167,"target":128},{"source":171,"target":131},{"source":168,"target":2},{"source":169,"target":127},{"source":129,"target":35},{"source":129,"target":5},{"source":129,"target":127},{"source":129,"target":172},{"source":129,"target":173},{"source":129,"target":174},{"source":172,"target":131},{"source":172,"target":175},{"source":172,"target":129},{"source":175,"target":131},{"source":173,"target":5},{"source":174,"target":127},{"source":130,"target":35},{"source":130,"target":6},{"source":130,"target":127},{"source":130,"target":176},{"source":130,"target":177},{"source":130,"target":178},{"source":176,"target":131},{"source":176,"target":179},{"source":176,"target":130},{"source":179,"target":131},{"source":177,"target":6},{"source":178,"target":127},{"source":131,"target":35},{"source":131,"target":180},{"source":180,"target":27},{"source":180,"target":181},{"source":180,"target":131},{"source":181,"target":27},{"source":132,"target":35},{"source":132,"target":131},{"source":132,"target":182},{"source":182,"target":131},{"source":133,"target":35},{"source":133,"target":131},{"source":133,"target":183},{"source":133,"target":184},{"source":183,"target":131},{"source":183,"target":185},{"source":183,"target":133},{"source":185,"target":131},{"source":184,"target":131},{"source":134,"target":35},{"source":134,"target":133},{"source":134,"target":186},{"source":134,"target":187},{"source":186,"target":131},{"source":186,"target":188},{"source":186,"target":134},{"source":188,"target":131},{"source":187,"target":133},{"source":135,"target":35},{"source":135,"target":134},{"source":135,"target":189},{"source":135,"target":190},{"source":135,"target":191},{"source":189,"target":192},{"source":189,"target":135},{"source":190,"target":8},{"source":190,"target":193},{"source":190,"target":135},{"source":193,"target":8},{"source":191,"target":134},{"source":136,"target":35},{"source":136,"target":133},{"source":136,"target":194},{"source":136,"target":195},{"source":136,"target":196},{"source":194,"target":197},{"source":194,"target":136},{"source":195,"target":11},{"source":195,"target":198},{"source":195,"target":136},{"source":198,"target":11},{"source":196,"target":133},{"source":137,"target":35},{"source":137,"target":134},{"source":137,"target":199},{"source":137,"target":200},{"source":199,"target":201},{"source":199,"target":137},{"source":200,"target":134},{"source":138,"target":35},{"source":138,"target":133},{"source":138,"target":202},{"source":138,"target":203},{"source":138,"target":204},{"source":202,"target":141},{"source":202,"target":205},{"source":202,"target":138},{"source":205,"target":141},{"source":203,"target":131},{"source":203,"target":206},{"source":203,"target":138},{"source":206,"target":131},{"source":204,"target":133},{"source":139,"target":35},{"source":139,"target":138},{"source":139,"target":207},{"source":139,"target":208},{"source":207,"target":209},{"source":207,"target":139},{"source":208,"target":138},{"source":140,"target":35},{"source":140,"target":138},{"source":140,"target":210},{"source":140,"target":211},{"source":140,"target":212},{"source":210,"target":16},{"source":210,"target":213},{"source":210,"target":140},{"source":213,"target":16},{"source":211,"target":131},{"source":211,"target":214},{"source":211,"target":140},{"source":214,"target":131},{"source":212,"target":138},{"source":141,"target":35},{"source":141,"target":16},{"source":141,"target":215},{"source":215,"target":16},{"source":142,"target":35},{"source":142,"target":131},{"source":142,"target":216},{"source":142,"target":217},{"source":142,"target":218},{"source":142,"target":219},{"source":216,"target":131},{"source":216,"target":220},{"source":216,"target":142},{"source":220,"target":131},{"source":217,"target":131},{"source":217,"target":221},{"source":217,"target":142},{"source":221,"target":131},{"source":218,"target":131},{"source":218,"target":222},{"source":218,"target":142},{"source":222,"target":131},{"source":219,"target":131},{"source":143,"target":35},{"source":143,"target":131},{"source":143,"target":223},{"source":143,"target":224},{"source":143,"target":225},{"source":143,"target":226},{"source":223,"target":16},{"source":223,"target":227},{"source":223,"target":143},{"source":227,"target":16},{"source":224,"target":131},{"source":224,"target":228},{"source":224,"target":143},{"source":228,"target":131},{"source":225,"target":131},{"source":225,"target":229},{"source":225,"target":143},{"source":229,"target":131},{"source":226,"target":131},{"source":144,"target":35},{"source":144,"target":133},{"source":144,"target":230},{"source":144,"target":231},{"source":144,"target":232},{"source":230,"target":145},{"source":230,"target":233},{"source":230,"target":144},{"source":233,"target":145},{"source":231,"target":131},{"source":231,"target":234},{"source":231,"target":144},{"source":234,"target":131},{"source":232,"target":133},{"source":145,"target":35},{"source":145,"target":235},{"source":145,"target":236},{"source":145,"target":237},{"source":145,"target":238},{"source":145,"target":239},{"source":145,"target":240},{"source":145,"target":241},{"source":145,"target":242},{"source":145,"target":243},{"source":145,"target":244},{"source":145,"target":245},{"source":145,"target":246},{"source":145,"target":247},{"source":145,"target":248},{"source":145,"target":249},{"source":235,"target":145},{"source":236,"target":145},{"source":237,"target":145},{"source":238,"target":145},{"source":239,"target":145},{"source":240,"target":145},{"source":241,"target":145},{"source":242,"target":145},{"source":243,"target":145},{"source":244,"target":145},{"source":245,"target":145},{"source":246,"target":145},{"source":247,"target":145},{"source":248,"target":145},{"source":249,"target":145},{"source":146,"target":35},{"source":146,"target":131},{"source":146,"target":250},{"source":146,"target":251},{"source":250,"target":16},{"source":250,"target":252},{"source":250,"target":146},{"source":252,"target":16},{"source":251,"target":131},{"source":147,"target":35},{"source":147,"target":131},{"source":147,"target":253},{"source":253,"target":131},{"source":148,"target":35},{"source":148,"target":147},{"source":148,"target":254},{"source":148,"target":255},{"source":254,"target":256},{"source":254,"target":148},{"source":255,"target":147},{"source":149,"target":35},{"source":149,"target":147},{"source":149,"target":257},{"source":149,"target":258},{"source":257,"target":259},{"source":257,"target":149},{"source":258,"target":147},{"source":150,"target":35},{"source":150,"target":147},{"source":150,"target":260},{"source":150,"target":261},{"source":260,"target":262},{"source":260,"target":150},{"source":261,"target":147},{"source":151,"target":35},{"source":151,"target":147},{"source":151,"target":263},{"source":151,"target":264},{"source":263,"target":265},{"source":263,"target":151},{"source":264,"target":147},{"source":152,"target":35},{"source":152,"target":147},{"source":152,"target":266},{"source":266,"target":147},{"source":153,"target":35},{"source":153,"target":147},{"source":153,"target":267},{"source":267,"target":147},{"source":154,"target":35},{"source":154,"target":147},{"source":154,"target":268},{"source":154,"target":269},{"source":154,"target":270},{"source":268,"target":25},{"source":268,"target":271},{"source":268,"target":154},{"source":271,"target":25},{"source":269,"target":155},{"source":269,"target":272},{"source":269,"target":154},{"source":272,"target":155},{"source":270,"target":147},{"source":155,"target":35},{"source":155,"target":273},{"source":155,"target":274},{"source":273,"target":275},{"source":273,"target":155},{"source":274,"target":131},{"source":274,"target":276},{"source":274,"target":155},{"source":276,"target":131},{"source":156,"target":35},{"source":156,"target":147},{"source":156,"target":277},{"source":156,"target":278},{"source":156,"target":279},{"source":277,"target":28},{"source":277,"target":280},{"source":277,"target":156},{"source":280,"target":28},{"source":278,"target":24},{"source":278,"target":281},{"source":278,"target":156},{"source":281,"target":24},{"source":279,"target":147},{"source":157,"target":35},{"source":157,"target":147},{"source":157,"target":282},{"source":157,"target":283},{"source":282,"target":131},{"source":282,"target":284},{"source":282,"target":157},{"source":284,"target":131},{"source":283,"target":147},{"source":158,"target":35},{"source":158,"target":157},{"source":158,"target":285},{"source":285,"target":157},{"source":159,"target":35},{"source":159,"target":157},{"source":159,"target":286},{"source":286,"target":157},{"source":160,"target":35},{"source":160,"target":157},{"source":160,"target":287},{"source":287,"target":157},{"source":161,"target":35},{"source":161,"target":157},{"source":161,"target":288},{"source":288,"target":157},{"source":162,"target":35},{"source":162,"target":131},{"source":162,"target":289},{"source":162,"target":290},{"source":162,"target":291},{"source":289,"target":292},{"source":289,"target":162},{"source":290,"target":293},{"source":290,"target":162},{"source":291,"target":131},{"source":163,"target":35}],"multigraph":true}