picojava
Program
localLookup
name
Block
PredefinedType
unknownDecl
booleanType
Block
localLookup
name
lookup
name
BlockStmt
unknownDecl
BlockStmt
declarationOf
name
Stmt
Decl
Name
isUnknown
type
booleanType
TypeDecl
remoteLookup
name
isSubtypeOf
typeDecl
isSuperTypeOf
typeDecl
isSuperTypeOfClassDecl
typeDecl
lookup
name
isQualified
qualifier
unknownDecl
ClassDecl
SuperclassId
Body
hasCycleOnSuperclassChain
superClass
VarDecl
TypeAccess
AssignStmt
Variable
Value
WhileStmt
Condition
Body
booleanType
Exp
type
isValue
Access
decl
IdUse
lookup
name
Name
isQualified
qualifier
Use
Dot
ObjectReference
IdUse
BooleanLiteral
Value
booleanType
PrimitiveDecl
UnknownDecl
TypeUse
VariableUse
<?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="picojava"
    nsURI="file:/D:/development/workspaces/jastadd-pico-java/org.jastemf.picojava/specifications/model/picojava.ast"
    nsPrefix="picojava">
  <eClassifiers xsi:type="ecore:EClass" name="Program">
    <eOperations name="localLookup" eType="#//Decl">
      <eAnnotations source="http://www.jastemf.org/jastemf-annotations">
        <details key="is_nta" value="false"/>
        <details key="kind" value="syn"/>
        <details key="is_cached" value="true"/>
        <details key="is_primitive" value="false"/>
        <details key="is_circular" value="false"/>
        <details key="aspect" value="NameResolution"/>
        <details key="file" value="file:/D:/development/workspaces/jastadd-pico-java/org.jastemf.picojava/specifications/semantics/NameResolution.jrag"/>
      </eAnnotations>
      <eParameters name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    </eOperations>
    <eStructuralFeatures xsi:type="ecore:EReference" name="Block" lowerBound="1" eType="#//Block"
        containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="PredefinedType" upperBound="-1"
        eType="#//TypeDecl" changeable="false" transient="true" derived="true" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="unknownDecl" eType="#//UnknownDecl"
        changeable="false" derived="true">
      <eAnnotations source="http://www.jastemf.org/jastemf-annotations">
        <details key="is_nta" value="false"/>
        <details key="kind" value="syn"/>
        <details key="is_cached" value="true"/>
        <details key="is_primitive" value="false"/>
        <details key="is_circular" value="false"/>
        <details key="aspect" value="NullObjects"/>
        <details key="file" value="file:/D:/development/workspaces/jastadd-pico-java/org.jastemf.picojava/specifications/semantics/NullObjects.jrag"/>
      </eAnnotations>
    </eStructuralFeatures>
    <eStructuralFeatures xsi:type="ecore:EReference" name="booleanType" eType="#//PrimitiveDecl"
        changeable="false" derived="true">
      <eAnnotations source="http://www.jastemf.org/jastemf-annotations">
        <details key="is_nta" value="false"/>
        <details key="kind" value="syn"/>
        <details key="is_cached" value="true"/>
        <details key="is_primitive" value="false"/>
        <details key="is_circular" value="false"/>
        <details key="aspect" value="PredefinedTypes"/>
        <details key="file" value="file:/D:/development/workspaces/jastadd-pico-java/org.jastemf.picojava/specifications/semantics/PredefinedTypes.jrag"/>
      </eAnnotations>
    </eStructuralFeatures>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Block">
    <eOperations name="localLookup" eType="#//Decl">
      <eAnnotations source="http://www.jastemf.org/jastemf-annotations">
        <details key="is_nta" value="false"/>
        <details key="kind" value="syn"/>
        <details key="is_cached" value="true"/>
        <details key="is_primitive" value="false"/>
        <details key="is_circular" value="false"/>
        <details key="aspect" value="NameResolution"/>
        <details key="file" value="file:/D:/development/workspaces/jastadd-pico-java/org.jastemf.picojava/specifications/semantics/NameResolution.jrag"/>
      </eAnnotations>
      <eParameters name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    </eOperations>
    <eOperations name="lookup" eType="#//Decl">
      <eAnnotations source="http://www.jastemf.org/jastemf-annotations">
        <details key="is_nta" value="false"/>
        <details key="kind" value="inh"/>
        <details key="is_cached" value="false"/>
        <details key="is_primitive" value="false"/>
        <details key="is_circular" value="false"/>
        <details key="aspect" value="NameResolution"/>
        <details key="file" value="file:/D:/development/workspaces/jastadd-pico-java/org.jastemf.picojava/specifications/semantics/NameResolution.jrag"/>
      </eAnnotations>
      <eParameters name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    </eOperations>
    <eStructuralFeatures xsi:type="ecore:EReference" name="BlockStmt" upperBound="-1"
        eType="#//BlockStmt" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="unknownDecl" eType="#//Decl"
        changeable="false" derived="true">
      <eAnnotations source="http://www.jastemf.org/jastemf-annotations">
        <details key="is_nta" value="false"/>
        <details key="kind" value="inh"/>
        <details key="is_cached" value="false"/>
        <details key="is_primitive" value="false"/>
        <details key="is_circular" value="false"/>
        <details key="aspect" value="NullObjects"/>
        <details key="file" value="file:/D:/development/workspaces/jastadd-pico-java/org.jastemf.picojava/specifications/semantics/NullObjects.jrag"/>
      </eAnnotations>
    </eStructuralFeatures>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="BlockStmt" abstract="true">
    <eOperations name="declarationOf" eType="#//Decl">
      <eAnnotations source="http://www.jastemf.org/jastemf-annotations">
        <details key="is_nta" value="false"/>
        <details key="kind" value="syn"/>
        <details key="is_cached" value="false"/>
        <details key="is_primitive" value="false"/>
        <details key="is_circular" value="false"/>
        <details key="aspect" value="NameResolution"/>
        <details key="file" value="file:/D:/development/workspaces/jastadd-pico-java/org.jastemf.picojava/specifications/semantics/NameResolution.jrag"/>
      </eAnnotations>
      <eParameters name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    </eOperations>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Stmt" abstract="true" eSuperTypes="#//BlockStmt"/>
  <eClassifiers xsi:type="ecore:EClass" name="Decl" abstract="true" eSuperTypes="#//BlockStmt">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="Name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="isUnknown" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"
        changeable="false" transient="true" derived="true">
      <eAnnotations source="http://www.jastemf.org/jastemf-annotations">
        <details key="is_nta" value="false"/>
        <details key="kind" value="syn"/>
        <details key="is_cached" value="false"/>
        <details key="is_primitive" value="true"/>
        <details key="is_circular" value="false"/>
        <details key="aspect" value="NullObjects"/>
        <details key="file" value="file:/D:/development/workspaces/jastadd-pico-java/org.jastemf.picojava/specifications/semantics/NullObjects.jrag"/>
      </eAnnotations>
    </eStructuralFeatures>
    <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//TypeDecl"
        changeable="false" derived="true">
      <eAnnotations source="http://www.jastemf.org/jastemf-annotations">
        <details key="is_nta" value="false"/>
        <details key="kind" value="syn"/>
        <details key="is_cached" value="true"/>
        <details key="is_primitive" value="false"/>
        <details key="is_circular" value="false"/>
        <details key="aspect" value="TypeAnalysis"/>
        <details key="file" value="file:/D:/development/workspaces/jastadd-pico-java/org.jastemf.picojava/specifications/semantics/TypeAnalysis.jrag"/>
      </eAnnotations>
    </eStructuralFeatures>
    <eStructuralFeatures xsi:type="ecore:EReference" name="booleanType" eType="#//PrimitiveDecl"
        changeable="false" derived="true">
      <eAnnotations source="http://www.jastemf.org/jastemf-annotations">
        <details key="is_nta" value="false"/>
        <details key="kind" value="inh"/>
        <details key="is_cached" value="false"/>
        <details key="is_primitive" value="false"/>
        <details key="is_circular" value="false"/>
        <details key="aspect" value="PredefinedTypes"/>
        <details key="file" value="file:/D:/development/workspaces/jastadd-pico-java/org.jastemf.picojava/specifications/semantics/PredefinedTypes.jrag"/>
      </eAnnotations>
    </eStructuralFeatures>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="TypeDecl" abstract="true" eSuperTypes="#//Decl">
    <eOperations name="remoteLookup" eType="#//Decl">
      <eAnnotations source="http://www.jastemf.org/jastemf-annotations">
        <details key="is_nta" value="false"/>
        <details key="kind" value="syn"/>
        <details key="is_cached" value="false"/>
        <details key="is_primitive" value="false"/>
        <details key="is_circular" value="false"/>
        <details key="aspect" value="NameResolution"/>
        <details key="file" value="file:/D:/development/workspaces/jastadd-pico-java/org.jastemf.picojava/specifications/semantics/NameResolution.jrag"/>
      </eAnnotations>
      <eParameters name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    </eOperations>
    <eOperations name="isSubtypeOf" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean">
      <eAnnotations source="http://www.jastemf.org/jastemf-annotations">
        <details key="is_nta" value="false"/>
        <details key="kind" value="syn"/>
        <details key="is_cached" value="true"/>
        <details key="is_primitive" value="true"/>
        <details key="is_circular" value="false"/>
        <details key="aspect" value="TypeAnalysis"/>
        <details key="file" value="file:/D:/development/workspaces/jastadd-pico-java/org.jastemf.picojava/specifications/semantics/TypeAnalysis.jrag"/>
      </eAnnotations>
      <eParameters name="typeDecl" eType="#//TypeDecl"/>
    </eOperations>
    <eOperations name="isSuperTypeOf" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean">
      <eAnnotations source="http://www.jastemf.org/jastemf-annotations">
        <details key="is_nta" value="false"/>
        <details key="kind" value="syn"/>
        <details key="is_cached" value="true"/>
        <details key="is_primitive" value="true"/>
        <details key="is_circular" value="false"/>
        <details key="aspect" value="TypeAnalysis"/>
        <details key="file" value="file:/D:/development/workspaces/jastadd-pico-java/org.jastemf.picojava/specifications/semantics/TypeAnalysis.jrag"/>
      </eAnnotations>
      <eParameters name="typeDecl" eType="#//TypeDecl"/>
    </eOperations>
    <eOperations name="isSuperTypeOfClassDecl" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean">
      <eAnnotations source="http://www.jastemf.org/jastemf-annotations">
        <details key="is_nta" value="false"/>
        <details key="kind" value="syn"/>
        <details key="is_cached" value="true"/>
        <details key="is_primitive" value="true"/>
        <details key="is_circular" value="false"/>
        <details key="aspect" value="TypeAnalysis"/>
        <details key="file" value="file:/D:/development/workspaces/jastadd-pico-java/org.jastemf.picojava/specifications/semantics/TypeAnalysis.jrag"/>
      </eAnnotations>
      <eParameters name="typeDecl" eType="#//ClassDecl"/>
    </eOperations>
    <eOperations name="lookup" eType="#//Decl">
      <eAnnotations source="http://www.jastemf.org/jastemf-annotations">
        <details key="is_nta" value="false"/>
        <details key="kind" value="inh"/>
        <details key="is_cached" value="false"/>
        <details key="is_primitive" value="false"/>
        <details key="is_circular" value="false"/>
        <details key="aspect" value="NameResolution"/>
        <details key="file" value="file:/D:/development/workspaces/jastadd-pico-java/org.jastemf.picojava/specifications/semantics/NameResolution.jrag"/>
      </eAnnotations>
      <eParameters name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    </eOperations>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="isQualified" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"
        changeable="false" transient="true" derived="true">
      <eAnnotations source="http://www.jastemf.org/jastemf-annotations">
        <details key="is_nta" value="false"/>
        <details key="kind" value="inh"/>
        <details key="is_cached" value="false"/>
        <details key="is_primitive" value="true"/>
        <details key="is_circular" value="false"/>
        <details key="aspect" value="ErrorCheck"/>
        <details key="file" value="file:/D:/development/workspaces/jastadd-pico-java/org.jastemf.picojava/specifications/semantics/ErrorCheck.jadd"/>
      </eAnnotations>
    </eStructuralFeatures>
    <eStructuralFeatures xsi:type="ecore:EReference" name="qualifier" eType="#//Access"
        changeable="false" derived="true">
      <eAnnotations source="http://www.jastemf.org/jastemf-annotations">
        <details key="is_nta" value="false"/>
        <details key="kind" value="inh"/>
        <details key="is_cached" value="false"/>
        <details key="is_primitive" value="false"/>
        <details key="is_circular" value="false"/>
        <details key="aspect" value="ErrorCheck"/>
        <details key="file" value="file:/D:/development/workspaces/jastadd-pico-java/org.jastemf.picojava/specifications/semantics/ErrorCheck.jadd"/>
      </eAnnotations>
    </eStructuralFeatures>
    <eStructuralFeatures xsi:type="ecore:EReference" name="unknownDecl" eType="#//Decl"
        changeable="false" derived="true">
      <eAnnotations source="http://www.jastemf.org/jastemf-annotations">
        <details key="is_nta" value="false"/>
        <details key="kind" value="inh"/>
        <details key="is_cached" value="false"/>
        <details key="is_primitive" value="false"/>
        <details key="is_circular" value="false"/>
        <details key="aspect" value="NullObjects"/>
        <details key="file" value="file:/D:/development/workspaces/jastadd-pico-java/org.jastemf.picojava/specifications/semantics/NullObjects.jrag"/>
      </eAnnotations>
    </eStructuralFeatures>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="ClassDecl" eSuperTypes="#//TypeDecl">
    <eStructuralFeatures xsi:type="ecore:EReference" name="SuperclassId" eType="#//IdUse"
        containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="Body" lowerBound="1" eType="#//Block"
        containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="hasCycleOnSuperclassChain"
        eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean" transient="true"
        derived="true">
      <eAnnotations source="http://www.jastemf.org/jastemf-annotations">
        <details key="is_nta" value="false"/>
        <details key="kind" value="syn"/>
        <details key="is_cached" value="true"/>
        <details key="is_primitive" value="true"/>
        <details key="is_circular" value="true"/>
        <details key="aspect" value="TypeAnalysis"/>
        <details key="file" value="file:/D:/development/workspaces/jastadd-pico-java/org.jastemf.picojava/specifications/semantics/TypeAnalysis.jrag"/>
      </eAnnotations>
    </eStructuralFeatures>
    <eStructuralFeatures xsi:type="ecore:EReference" name="superClass" eType="#//ClassDecl"
        changeable="false" derived="true">
      <eAnnotations source="http://www.jastemf.org/jastemf-annotations">
        <details key="is_nta" value="false"/>
        <details key="kind" value="syn"/>
        <details key="is_cached" value="true"/>
        <details key="is_primitive" value="false"/>
        <details key="is_circular" value="false"/>
        <details key="aspect" value="TypeAnalysis"/>
        <details key="file" value="file:/D:/development/workspaces/jastadd-pico-java/org.jastemf.picojava/specifications/semantics/TypeAnalysis.jrag"/>
      </eAnnotations>
    </eStructuralFeatures>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="VarDecl" eSuperTypes="#//Decl">
    <eStructuralFeatures xsi:type="ecore:EReference" name="TypeAccess" lowerBound="1"
        eType="#//Access" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="AssignStmt" eSuperTypes="#//Stmt">
    <eStructuralFeatures xsi:type="ecore:EReference" name="Variable" lowerBound="1"
        eType="#//Access" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="Value" lowerBound="1" eType="#//Exp"
        containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="WhileStmt" eSuperTypes="#//Stmt">
    <eStructuralFeatures xsi:type="ecore:EReference" name="Condition" lowerBound="1"
        eType="#//Exp" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="Body" lowerBound="1" eType="#//Stmt"
        containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="booleanType" eType="#//PrimitiveDecl"
        changeable="false" derived="true">
      <eAnnotations source="http://www.jastemf.org/jastemf-annotations">
        <details key="is_nta" value="false"/>
        <details key="kind" value="inh"/>
        <details key="is_cached" value="false"/>
        <details key="is_primitive" value="false"/>
        <details key="is_circular" value="false"/>
        <details key="aspect" value="PredefinedTypes"/>
        <details key="file" value="file:/D:/development/workspaces/jastadd-pico-java/org.jastemf.picojava/specifications/semantics/PredefinedTypes.jrag"/>
      </eAnnotations>
    </eStructuralFeatures>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Exp" abstract="true">
    <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//TypeDecl"
        changeable="false" derived="true">
      <eAnnotations source="http://www.jastemf.org/jastemf-annotations">
        <details key="is_nta" value="false"/>
        <details key="kind" value="syn"/>
        <details key="is_cached" value="true"/>
        <details key="is_primitive" value="false"/>
        <details key="is_circular" value="false"/>
        <details key="aspect" value="TypeAnalysis"/>
        <details key="file" value="file:/D:/development/workspaces/jastadd-pico-java/org.jastemf.picojava/specifications/semantics/TypeAnalysis.jrag"/>
      </eAnnotations>
    </eStructuralFeatures>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="isValue" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"
        changeable="false" transient="true" derived="true">
      <eAnnotations source="http://www.jastemf.org/jastemf-annotations">
        <details key="is_nta" value="false"/>
        <details key="kind" value="syn"/>
        <details key="is_cached" value="false"/>
        <details key="is_primitive" value="true"/>
        <details key="is_circular" value="false"/>
        <details key="aspect" value="TypeAnalysis"/>
        <details key="file" value="file:/D:/development/workspaces/jastadd-pico-java/org.jastemf.picojava/specifications/semantics/TypeAnalysis.jrag"/>
      </eAnnotations>
    </eStructuralFeatures>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Access" abstract="true" eSuperTypes="#//Exp">
    <eStructuralFeatures xsi:type="ecore:EReference" name="decl" eType="#//Decl" changeable="false"
        derived="true">
      <eAnnotations source="http://www.jastemf.org/jastemf-annotations">
        <details key="is_nta" value="false"/>
        <details key="kind" value="syn"/>
        <details key="is_cached" value="true"/>
        <details key="is_primitive" value="false"/>
        <details key="is_circular" value="false"/>
        <details key="aspect" value="NameResolution"/>
        <details key="file" value="file:/D:/development/workspaces/jastadd-pico-java/org.jastemf.picojava/specifications/semantics/NameResolution.jrag"/>
      </eAnnotations>
    </eStructuralFeatures>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="IdUse" abstract="true" eSuperTypes="#//Access">
    <eOperations name="lookup" eType="#//Decl">
      <eAnnotations source="http://www.jastemf.org/jastemf-annotations">
        <details key="is_nta" value="false"/>
        <details key="kind" value="inh"/>
        <details key="is_cached" value="false"/>
        <details key="is_primitive" value="false"/>
        <details key="is_circular" value="false"/>
        <details key="aspect" value="NameResolution"/>
        <details key="file" value="file:/D:/development/workspaces/jastadd-pico-java/org.jastemf.picojava/specifications/semantics/NameResolution.jrag"/>
      </eAnnotations>
      <eParameters name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    </eOperations>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="Name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="isQualified" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"
        changeable="false" transient="true" derived="true">
      <eAnnotations source="http://www.jastemf.org/jastemf-annotations">
        <details key="is_nta" value="false"/>
        <details key="kind" value="inh"/>
        <details key="is_cached" value="false"/>
        <details key="is_primitive" value="true"/>
        <details key="is_circular" value="false"/>
        <details key="aspect" value="ErrorCheck"/>
        <details key="file" value="file:/D:/development/workspaces/jastadd-pico-java/org.jastemf.picojava/specifications/semantics/ErrorCheck.jadd"/>
      </eAnnotations>
    </eStructuralFeatures>
    <eStructuralFeatures xsi:type="ecore:EReference" name="qualifier" eType="#//Access"
        changeable="false" derived="true">
      <eAnnotations source="http://www.jastemf.org/jastemf-annotations">
        <details key="is_nta" value="false"/>
        <details key="kind" value="inh"/>
        <details key="is_cached" value="false"/>
        <details key="is_primitive" value="false"/>
        <details key="is_circular" value="false"/>
        <details key="aspect" value="ErrorCheck"/>
        <details key="file" value="file:/D:/development/workspaces/jastadd-pico-java/org.jastemf.picojava/specifications/semantics/ErrorCheck.jadd"/>
      </eAnnotations>
    </eStructuralFeatures>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Use" eSuperTypes="#//IdUse"/>
  <eClassifiers xsi:type="ecore:EClass" name="Dot" eSuperTypes="#//Access">
    <eStructuralFeatures xsi:type="ecore:EReference" name="ObjectReference" lowerBound="1"
        eType="#//Access" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="IdUse" lowerBound="1" eType="#//IdUse"
        containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="BooleanLiteral" eSuperTypes="#//Exp">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="Value" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="booleanType" eType="#//PrimitiveDecl"
        changeable="false" derived="true">
      <eAnnotations source="http://www.jastemf.org/jastemf-annotations">
        <details key="is_nta" value="false"/>
        <details key="kind" value="inh"/>
        <details key="is_cached" value="false"/>
        <details key="is_primitive" value="false"/>
        <details key="is_circular" value="false"/>
        <details key="aspect" value="PredefinedTypes"/>
        <details key="file" value="file:/D:/development/workspaces/jastadd-pico-java/org.jastemf.picojava/specifications/semantics/PredefinedTypes.jrag"/>
      </eAnnotations>
    </eStructuralFeatures>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="PrimitiveDecl" eSuperTypes="#//TypeDecl"/>
  <eClassifiers xsi:type="ecore:EClass" name="UnknownDecl" eSuperTypes="#//TypeDecl"/>
  <eClassifiers xsi:type="ecore:EClass" name="TypeUse" eSuperTypes="#//IdUse"/>
  <eClassifiers xsi:type="ecore:EClass" name="VariableUse" eSuperTypes="#//IdUse"/>
</ecore:EPackage>

{"directed":true,"nodes":[{"nsPrefix":"picojava","nsURI":"file:/D:/development/workspaces/jastadd-pico-java/org.jastemf.picojava/specifications/model/picojava.ast","name":"picojava","id":0,"eClass":"EPackage"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Program","instanceClass":null,"abstract":false,"id":1,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Block","instanceClass":null,"abstract":false,"id":2,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"BlockStmt","instanceClass":null,"abstract":true,"id":3,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Stmt","instanceClass":null,"abstract":true,"id":4,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Decl","instanceClass":null,"abstract":true,"id":5,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"TypeDecl","instanceClass":null,"abstract":true,"id":6,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"ClassDecl","instanceClass":null,"abstract":false,"id":7,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"VarDecl","instanceClass":null,"abstract":false,"id":8,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"AssignStmt","instanceClass":null,"abstract":false,"id":9,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"WhileStmt","instanceClass":null,"abstract":false,"id":10,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Exp","instanceClass":null,"abstract":true,"id":11,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Access","instanceClass":null,"abstract":true,"id":12,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"IdUse","instanceClass":null,"abstract":true,"id":13,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Use","instanceClass":null,"abstract":false,"id":14,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Dot","instanceClass":null,"abstract":false,"id":15,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"BooleanLiteral","instanceClass":null,"abstract":false,"id":16,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"PrimitiveDecl","instanceClass":null,"abstract":false,"id":17,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"UnknownDecl","instanceClass":null,"abstract":false,"id":18,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"TypeUse","instanceClass":null,"abstract":false,"id":19,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"VariableUse","instanceClass":null,"abstract":false,"id":20,"interface":false,"eClass":"EClass"},{"ordered":true,"upperBound":1,"unique":true,"name":"localLookup","lowerBound":0,"id":21,"many":false,"required":false,"eClass":"EOperation"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"Block","changeable":true,"resolveProxies":true,"lowerBound":1,"id":22,"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":true,"unique":true,"name":"PredefinedType","changeable":false,"resolveProxies":true,"lowerBound":0,"id":23,"derived":true},{"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":"unknownDecl","changeable":false,"resolveProxies":true,"lowerBound":0,"id":24,"derived":true},{"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":"booleanType","changeable":false,"resolveProxies":true,"lowerBound":0,"id":25,"derived":true},{"id":26,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"name","lowerBound":0,"id":27,"many":false,"required":false,"eClass":"EParameter"},{"id":28,"eClass":"EGenericType"},{"id":29,"eClass":"EGenericType"},{"id":30,"eClass":"EGenericType"},{"id":31,"eClass":"EGenericType"},{"id":32,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"localLookup","lowerBound":0,"id":33,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"lookup","lowerBound":0,"id":34,"many":false,"required":false,"eClass":"EOperation"},{"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":"BlockStmt","changeable":true,"resolveProxies":true,"lowerBound":0,"id":35,"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":"unknownDecl","changeable":false,"resolveProxies":true,"lowerBound":0,"id":36,"derived":true},{"id":37,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"name","lowerBound":0,"id":38,"many":false,"required":false,"eClass":"EParameter"},{"id":39,"eClass":"EGenericType"},{"id":40,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"name","lowerBound":0,"id":41,"many":false,"required":false,"eClass":"EParameter"},{"id":42,"eClass":"EGenericType"},{"id":43,"eClass":"EGenericType"},{"id":44,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"declarationOf","lowerBound":0,"id":45,"many":false,"required":false,"eClass":"EOperation"},{"id":46,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"name","lowerBound":0,"id":47,"many":false,"required":false,"eClass":"EParameter"},{"id":48,"eClass":"EGenericType"},{"id":49,"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":50,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":false,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":true,"unique":true,"name":"isUnknown","changeable":false,"lowerBound":0,"iD":false,"id":51,"derived":true},{"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":"type","changeable":false,"resolveProxies":true,"lowerBound":0,"id":52,"derived":true},{"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":"booleanType","changeable":false,"resolveProxies":true,"lowerBound":0,"id":53,"derived":true},{"id":54,"eClass":"EGenericType"},{"id":55,"eClass":"EGenericType"},{"id":56,"eClass":"EGenericType"},{"id":57,"eClass":"EGenericType"},{"id":58,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"remoteLookup","lowerBound":0,"id":59,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"isSubtypeOf","lowerBound":0,"id":60,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"isSuperTypeOf","lowerBound":0,"id":61,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"isSuperTypeOfClassDecl","lowerBound":0,"id":62,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"lookup","lowerBound":0,"id":63,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"defaultValue":false,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":true,"unique":true,"name":"isQualified","changeable":false,"lowerBound":0,"iD":false,"id":64,"derived":true},{"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":"qualifier","changeable":false,"resolveProxies":true,"lowerBound":0,"id":65,"derived":true},{"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":"unknownDecl","changeable":false,"resolveProxies":true,"lowerBound":0,"id":66,"derived":true},{"id":67,"eClass":"EGenericType"},{"id":68,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"name","lowerBound":0,"id":69,"many":false,"required":false,"eClass":"EParameter"},{"id":70,"eClass":"EGenericType"},{"id":71,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"typeDecl","lowerBound":0,"id":72,"many":false,"required":false,"eClass":"EParameter"},{"id":73,"eClass":"EGenericType"},{"id":74,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"typeDecl","lowerBound":0,"id":75,"many":false,"required":false,"eClass":"EParameter"},{"id":76,"eClass":"EGenericType"},{"id":77,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"typeDecl","lowerBound":0,"id":78,"many":false,"required":false,"eClass":"EParameter"},{"id":79,"eClass":"EGenericType"},{"id":80,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"name","lowerBound":0,"id":81,"many":false,"required":false,"eClass":"EParameter"},{"id":82,"eClass":"EGenericType"},{"id":83,"eClass":"EGenericType"},{"id":84,"eClass":"EGenericType"},{"id":85,"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":"SuperclassId","changeable":true,"resolveProxies":true,"lowerBound":0,"id":86,"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":87,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":false,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":true,"unique":true,"name":"hasCycleOnSuperclassChain","changeable":true,"lowerBound":0,"iD":false,"id":88,"derived":true},{"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":"superClass","changeable":false,"resolveProxies":true,"lowerBound":0,"id":89,"derived":true},{"id":90,"eClass":"EGenericType"},{"id":91,"eClass":"EGenericType"},{"id":92,"eClass":"EGenericType"},{"id":93,"eClass":"EGenericType"},{"id":94,"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":"TypeAccess","changeable":true,"resolveProxies":true,"lowerBound":1,"id":95,"derived":false},{"id":96,"eClass":"EGenericType"},{"id":97,"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":98,"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":99,"derived":false},{"id":100,"eClass":"EGenericType"},{"id":101,"eClass":"EGenericType"},{"id":102,"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":103,"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":104,"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":"booleanType","changeable":false,"resolveProxies":true,"lowerBound":0,"id":105,"derived":true},{"id":106,"eClass":"EGenericType"},{"id":107,"eClass":"EGenericType"},{"id":108,"eClass":"EGenericType"},{"id":109,"eClass":"EGenericType"},{"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":"type","changeable":false,"resolveProxies":true,"lowerBound":0,"id":110,"derived":true},{"ordered":true,"upperBound":1,"defaultValue":false,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":true,"unique":true,"name":"isValue","changeable":false,"lowerBound":0,"iD":false,"id":111,"derived":true},{"id":112,"eClass":"EGenericType"},{"id":113,"eClass":"EGenericType"},{"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":"decl","changeable":false,"resolveProxies":true,"lowerBound":0,"id":114,"derived":true},{"id":115,"eClass":"EGenericType"},{"id":116,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"lookup","lowerBound":0,"id":117,"many":false,"required":false,"eClass":"EOperation"},{"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":118,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":false,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":true,"unique":true,"name":"isQualified","changeable":false,"lowerBound":0,"iD":false,"id":119,"derived":true},{"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":"qualifier","changeable":false,"resolveProxies":true,"lowerBound":0,"id":120,"derived":true},{"id":121,"eClass":"EGenericType"},{"id":122,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"name","lowerBound":0,"id":123,"many":false,"required":false,"eClass":"EParameter"},{"id":124,"eClass":"EGenericType"},{"id":125,"eClass":"EGenericType"},{"id":126,"eClass":"EGenericType"},{"id":127,"eClass":"EGenericType"},{"id":128,"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":"ObjectReference","changeable":true,"resolveProxies":true,"lowerBound":1,"id":129,"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":"IdUse","changeable":true,"resolveProxies":true,"lowerBound":1,"id":130,"derived":false},{"id":131,"eClass":"EGenericType"},{"id":132,"eClass":"EGenericType"},{"id":133,"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":"Value","changeable":true,"lowerBound":0,"iD":false,"id":134,"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":"booleanType","changeable":false,"resolveProxies":true,"lowerBound":0,"id":135,"derived":true},{"id":136,"eClass":"EGenericType"},{"id":137,"eClass":"EGenericType"},{"id":138,"eClass":"EGenericType"},{"id":139,"eClass":"EGenericType"},{"id":140,"eClass":"EGenericType"},{"id":141,"eClass":"EGenericType"},{"id":142,"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":1,"target":0},{"source":1,"target":21},{"source":1,"target":22},{"source":1,"target":23},{"source":1,"target":24},{"source":1,"target":25},{"source":21,"target":5},{"source":21,"target":26},{"source":21,"target":1},{"source":21,"target":27},{"source":26,"target":5},{"source":27,"target":28},{"source":27,"target":21},{"source":22,"target":2},{"source":22,"target":29},{"source":22,"target":1},{"source":29,"target":2},{"source":23,"target":6},{"source":23,"target":30},{"source":23,"target":1},{"source":30,"target":6},{"source":24,"target":18},{"source":24,"target":31},{"source":24,"target":1},{"source":31,"target":18},{"source":25,"target":17},{"source":25,"target":32},{"source":25,"target":1},{"source":32,"target":17},{"source":2,"target":0},{"source":2,"target":33},{"source":2,"target":34},{"source":2,"target":35},{"source":2,"target":36},{"source":33,"target":5},{"source":33,"target":37},{"source":33,"target":2},{"source":33,"target":38},{"source":37,"target":5},{"source":38,"target":39},{"source":38,"target":33},{"source":34,"target":5},{"source":34,"target":40},{"source":34,"target":2},{"source":34,"target":41},{"source":40,"target":5},{"source":41,"target":42},{"source":41,"target":34},{"source":35,"target":3},{"source":35,"target":43},{"source":35,"target":2},{"source":43,"target":3},{"source":36,"target":5},{"source":36,"target":44},{"source":36,"target":2},{"source":44,"target":5},{"source":3,"target":0},{"source":3,"target":45},{"source":45,"target":5},{"source":45,"target":46},{"source":45,"target":3},{"source":45,"target":47},{"source":46,"target":5},{"source":47,"target":48},{"source":47,"target":45},{"source":4,"target":0},{"source":4,"target":3},{"source":4,"target":49},{"source":49,"target":3},{"source":5,"target":0},{"source":5,"target":3},{"source":5,"target":50},{"source":5,"target":51},{"source":5,"target":52},{"source":5,"target":53},{"source":5,"target":54},{"source":50,"target":55},{"source":50,"target":5},{"source":51,"target":56},{"source":51,"target":5},{"source":52,"target":6},{"source":52,"target":57},{"source":52,"target":5},{"source":57,"target":6},{"source":53,"target":17},{"source":53,"target":58},{"source":53,"target":5},{"source":58,"target":17},{"source":54,"target":3},{"source":6,"target":0},{"source":6,"target":5},{"source":6,"target":59},{"source":6,"target":60},{"source":6,"target":61},{"source":6,"target":62},{"source":6,"target":63},{"source":6,"target":64},{"source":6,"target":65},{"source":6,"target":66},{"source":6,"target":67},{"source":59,"target":5},{"source":59,"target":68},{"source":59,"target":6},{"source":59,"target":69},{"source":68,"target":5},{"source":69,"target":70},{"source":69,"target":59},{"source":60,"target":71},{"source":60,"target":6},{"source":60,"target":72},{"source":72,"target":6},{"source":72,"target":73},{"source":72,"target":60},{"source":73,"target":6},{"source":61,"target":74},{"source":61,"target":6},{"source":61,"target":75},{"source":75,"target":6},{"source":75,"target":76},{"source":75,"target":61},{"source":76,"target":6},{"source":62,"target":77},{"source":62,"target":6},{"source":62,"target":78},{"source":78,"target":7},{"source":78,"target":79},{"source":78,"target":62},{"source":79,"target":7},{"source":63,"target":5},{"source":63,"target":80},{"source":63,"target":6},{"source":63,"target":81},{"source":80,"target":5},{"source":81,"target":82},{"source":81,"target":63},{"source":64,"target":83},{"source":64,"target":6},{"source":65,"target":12},{"source":65,"target":84},{"source":65,"target":6},{"source":84,"target":12},{"source":66,"target":5},{"source":66,"target":85},{"source":66,"target":6},{"source":85,"target":5},{"source":67,"target":5},{"source":7,"target":0},{"source":7,"target":6},{"source":7,"target":86},{"source":7,"target":87},{"source":7,"target":88},{"source":7,"target":89},{"source":7,"target":90},{"source":86,"target":13},{"source":86,"target":91},{"source":86,"target":7},{"source":91,"target":13},{"source":87,"target":2},{"source":87,"target":92},{"source":87,"target":7},{"source":92,"target":2},{"source":88,"target":93},{"source":88,"target":7},{"source":89,"target":7},{"source":89,"target":94},{"source":89,"target":7},{"source":94,"target":7},{"source":90,"target":6},{"source":8,"target":0},{"source":8,"target":5},{"source":8,"target":95},{"source":8,"target":96},{"source":95,"target":12},{"source":95,"target":97},{"source":95,"target":8},{"source":97,"target":12},{"source":96,"target":5},{"source":9,"target":0},{"source":9,"target":4},{"source":9,"target":98},{"source":9,"target":99},{"source":9,"target":100},{"source":98,"target":12},{"source":98,"target":101},{"source":98,"target":9},{"source":101,"target":12},{"source":99,"target":11},{"source":99,"target":102},{"source":99,"target":9},{"source":102,"target":11},{"source":100,"target":4},{"source":10,"target":0},{"source":10,"target":4},{"source":10,"target":103},{"source":10,"target":104},{"source":10,"target":105},{"source":10,"target":106},{"source":103,"target":11},{"source":103,"target":107},{"source":103,"target":10},{"source":107,"target":11},{"source":104,"target":4},{"source":104,"target":108},{"source":104,"target":10},{"source":108,"target":4},{"source":105,"target":17},{"source":105,"target":109},{"source":105,"target":10},{"source":109,"target":17},{"source":106,"target":4},{"source":11,"target":0},{"source":11,"target":110},{"source":11,"target":111},{"source":110,"target":6},{"source":110,"target":112},{"source":110,"target":11},{"source":112,"target":6},{"source":111,"target":113},{"source":111,"target":11},{"source":12,"target":0},{"source":12,"target":11},{"source":12,"target":114},{"source":12,"target":115},{"source":114,"target":5},{"source":114,"target":116},{"source":114,"target":12},{"source":116,"target":5},{"source":115,"target":11},{"source":13,"target":0},{"source":13,"target":12},{"source":13,"target":117},{"source":13,"target":118},{"source":13,"target":119},{"source":13,"target":120},{"source":13,"target":121},{"source":117,"target":5},{"source":117,"target":122},{"source":117,"target":13},{"source":117,"target":123},{"source":122,"target":5},{"source":123,"target":124},{"source":123,"target":117},{"source":118,"target":125},{"source":118,"target":13},{"source":119,"target":126},{"source":119,"target":13},{"source":120,"target":12},{"source":120,"target":127},{"source":120,"target":13},{"source":127,"target":12},{"source":121,"target":12},{"source":14,"target":0},{"source":14,"target":13},{"source":14,"target":128},{"source":128,"target":13},{"source":15,"target":0},{"source":15,"target":12},{"source":15,"target":129},{"source":15,"target":130},{"source":15,"target":131},{"source":129,"target":12},{"source":129,"target":132},{"source":129,"target":15},{"source":132,"target":12},{"source":130,"target":13},{"source":130,"target":133},{"source":130,"target":15},{"source":133,"target":13},{"source":131,"target":12},{"source":16,"target":0},{"source":16,"target":11},{"source":16,"target":134},{"source":16,"target":135},{"source":16,"target":136},{"source":134,"target":137},{"source":134,"target":16},{"source":135,"target":17},{"source":135,"target":138},{"source":135,"target":16},{"source":138,"target":17},{"source":136,"target":11},{"source":17,"target":0},{"source":17,"target":6},{"source":17,"target":139},{"source":139,"target":6},{"source":18,"target":0},{"source":18,"target":6},{"source":18,"target":140},{"source":140,"target":6},{"source":19,"target":0},{"source":19,"target":13},{"source":19,"target":141},{"source":141,"target":13},{"source":20,"target":0},{"source":20,"target":13},{"source":20,"target":142},{"source":142,"target":13}],"multigraph":true}