<?xml version="1.0" encoding="UTF-8"?>
<model ref="r:729bada4-05fa-458f-8bf8-28b9cb978726(jetbrains.mps.logic.builtin.var)">
  <persistence version="9" />
  <languages>
    <use id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage" version="4" />
  </languages>
  <imports>
    <import index="yg8f" ref="r:e213377a-f1a7-4ba7-9d08-96bcb97ed8ce(jetbrains.mps.logic.builtin)" />
    <import index="ie8e" ref="r:ab2605ab-b4bc-4e80-a8ca-19a4a8465c01(jetbrains.mps.logic.atom)" />
    <import index="oy3s" ref="r:a6030cee-34eb-4503-b1bf-015fe5cd8c1a(jetbrains.mps.logic.builtin.unification)" />
    <import index="eifs" ref="b984ee52-f34d-4b6d-8812-866c1d3eae31/java:runtime(jetbrains.mps.jchr.runtime/)" />
    <import index="yt73" ref="7526e0cf-1ce7-46f8-a555-9eca1e06c23b/java:jetbrains.mps.unification(jetbrains.mps.unification.tree/)" />
    <import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" />
    <import index="f8dg" ref="b984ee52-f34d-4b6d-8812-866c1d3eae31/java:annotations(jetbrains.mps.jchr.runtime/)" />
    <import index="qrld" ref="r:2a79c8aa-e372-4c00-8d71-5d7f3db517e4(jetbrains.mps.logic.reactor.constraint)" />
    <import index="95zw" ref="r:f3ff7852-b9dd-4760-b213-a8a031c77d0e(jetbrains.mps.logic.jchr.predicate)" />
  </imports>
  <registry>
    <language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
      <concept id="1215693861676" name="jetbrains.mps.baseLanguage.structure.BaseAssignmentExpression" flags="nn" index="d038R">
        <child id="1068498886297" name="rValue" index="37vLTx" />
        <child id="1068498886295" name="lValue" index="37vLTJ" />
      </concept>
      <concept id="1153417849900" name="jetbrains.mps.baseLanguage.structure.GreaterThanOrEqualsExpression" flags="nn" index="2d3UOw" />
      <concept id="1465982738277781862" name="jetbrains.mps.baseLanguage.structure.PlaceholderMember" flags="ng" index="2tJIrI" />
      <concept id="1188207840427" name="jetbrains.mps.baseLanguage.structure.AnnotationInstance" flags="nn" index="2AHcQZ">
        <reference id="1188208074048" name="annotation" index="2AI5Lk" />
      </concept>
      <concept id="1188208481402" name="jetbrains.mps.baseLanguage.structure.HasAnnotation" flags="ng" index="2AJDlI">
        <child id="1188208488637" name="annotation" index="2AJF6D" />
      </concept>
      <concept id="2820489544401957797" name="jetbrains.mps.baseLanguage.structure.DefaultClassCreator" flags="nn" index="HV5vD">
        <reference id="2820489544401957798" name="classifier" index="HV5vE" />
      </concept>
      <concept id="1224848483129" name="jetbrains.mps.baseLanguage.structure.IBLDeprecatable" flags="ng" index="IEa8$">
        <property id="1224848525476" name="isDeprecated" index="IEkAT" />
      </concept>
      <concept id="1197027756228" name="jetbrains.mps.baseLanguage.structure.DotExpression" flags="nn" index="2OqwBi">
        <child id="1197027771414" name="operand" index="2Oq$k0" />
        <child id="1197027833540" name="operation" index="2OqNvi" />
      </concept>
      <concept id="1197029447546" name="jetbrains.mps.baseLanguage.structure.FieldReferenceOperation" flags="nn" index="2OwXpG">
        <reference id="1197029500499" name="fieldDeclaration" index="2Oxat5" />
      </concept>
      <concept id="1145552977093" name="jetbrains.mps.baseLanguage.structure.GenericNewExpression" flags="nn" index="2ShNRf">
        <child id="1145553007750" name="creator" index="2ShVmc" />
      </concept>
      <concept id="1070462154015" name="jetbrains.mps.baseLanguage.structure.StaticFieldDeclaration" flags="ig" index="Wx3nA" />
      <concept id="1070475354124" name="jetbrains.mps.baseLanguage.structure.ThisExpression" flags="nn" index="Xjq3P" />
      <concept id="1070475587102" name="jetbrains.mps.baseLanguage.structure.SuperConstructorInvocation" flags="nn" index="XkiVB" />
      <concept id="1070475926800" name="jetbrains.mps.baseLanguage.structure.StringLiteral" flags="nn" index="Xl_RD">
        <property id="1070475926801" name="value" index="Xl_RC" />
      </concept>
      <concept id="1081236700938" name="jetbrains.mps.baseLanguage.structure.StaticMethodDeclaration" flags="ig" index="2YIFZL" />
      <concept id="1164991038168" name="jetbrains.mps.baseLanguage.structure.ThrowStatement" flags="nn" index="YS8fn">
        <child id="1164991057263" name="throwable" index="YScLw" />
      </concept>
      <concept id="1070534058343" name="jetbrains.mps.baseLanguage.structure.NullLiteral" flags="nn" index="10Nm6u" />
      <concept id="1070534370425" name="jetbrains.mps.baseLanguage.structure.IntegerType" flags="in" index="10Oyi0" />
      <concept id="1068390468200" name="jetbrains.mps.baseLanguage.structure.FieldDeclaration" flags="ig" index="312cEg" />
      <concept id="1068390468198" name="jetbrains.mps.baseLanguage.structure.ClassConcept" flags="ig" index="312cEu">
        <property id="1075300953594" name="abstractClass" index="1sVAO0" />
        <child id="1165602531693" name="superclass" index="1zkMxy" />
      </concept>
      <concept id="1068431474542" name="jetbrains.mps.baseLanguage.structure.VariableDeclaration" flags="ng" index="33uBYm">
        <property id="1176718929932" name="isFinal" index="3TUv4t" />
        <child id="1068431790190" name="initializer" index="33vP2m" />
      </concept>
      <concept id="1068498886296" name="jetbrains.mps.baseLanguage.structure.VariableReference" flags="nn" index="37vLTw">
        <reference id="1068581517664" name="variableDeclaration" index="3cqZAo" />
      </concept>
      <concept id="1068498886292" name="jetbrains.mps.baseLanguage.structure.ParameterDeclaration" flags="ir" index="37vLTG" />
      <concept id="1068498886294" name="jetbrains.mps.baseLanguage.structure.AssignmentExpression" flags="nn" index="37vLTI" />
      <concept id="1225271177708" name="jetbrains.mps.baseLanguage.structure.StringType" flags="in" index="17QB3L" />
      <concept id="4972933694980447171" name="jetbrains.mps.baseLanguage.structure.BaseVariableDeclaration" flags="ng" index="19Szcq">
        <child id="5680397130376446158" name="type" index="1tU5fm" />
      </concept>
      <concept id="1068580123132" name="jetbrains.mps.baseLanguage.structure.BaseMethodDeclaration" flags="ng" index="3clF44">
        <property id="4276006055363816570" name="isSynchronized" index="od$2w" />
        <property id="1181808852946" name="isFinal" index="DiZV1" />
        <child id="1068580123133" name="returnType" index="3clF45" />
        <child id="1068580123134" name="parameter" index="3clF46" />
        <child id="1068580123135" name="body" index="3clF47" />
      </concept>
      <concept id="1068580123165" name="jetbrains.mps.baseLanguage.structure.InstanceMethodDeclaration" flags="ig" index="3clFb_">
        <property id="1178608670077" name="isAbstract" index="1EzhhJ" />
      </concept>
      <concept id="1068580123152" name="jetbrains.mps.baseLanguage.structure.EqualsExpression" flags="nn" index="3clFbC" />
      <concept id="1068580123155" name="jetbrains.mps.baseLanguage.structure.ExpressionStatement" flags="nn" index="3clFbF">
        <child id="1068580123156" name="expression" index="3clFbG" />
      </concept>
      <concept id="1068580123159" name="jetbrains.mps.baseLanguage.structure.IfStatement" flags="nn" index="3clFbJ">
        <child id="1068580123160" name="condition" index="3clFbw" />
        <child id="1068580123161" name="ifTrue" index="3clFbx" />
      </concept>
      <concept id="1068580123136" name="jetbrains.mps.baseLanguage.structure.StatementList" flags="sn" stub="5293379017992965193" index="3clFbS">
        <child id="1068581517665" name="statement" index="3cqZAp" />
      </concept>
      <concept id="1068580123140" name="jetbrains.mps.baseLanguage.structure.ConstructorDeclaration" flags="ig" index="3clFbW" />
      <concept id="1068580320020" name="jetbrains.mps.baseLanguage.structure.IntegerConstant" flags="nn" index="3cmrfG">
        <property id="1068580320021" name="value" index="3cmrfH" />
      </concept>
      <concept id="1068581242875" name="jetbrains.mps.baseLanguage.structure.PlusExpression" flags="nn" index="3cpWs3" />
      <concept id="1068581242878" name="jetbrains.mps.baseLanguage.structure.ReturnStatement" flags="nn" index="3cpWs6">
        <child id="1068581517676" name="expression" index="3cqZAk" />
      </concept>
      <concept id="1068581517677" name="jetbrains.mps.baseLanguage.structure.VoidType" flags="in" index="3cqZAl" />
      <concept id="1081506773034" name="jetbrains.mps.baseLanguage.structure.LessThanExpression" flags="nn" index="3eOVzh" />
      <concept id="1204053956946" name="jetbrains.mps.baseLanguage.structure.IMethodCall" flags="ng" index="1ndlxa">
        <reference id="1068499141037" name="baseMethodDeclaration" index="37wK5l" />
        <child id="1068499141038" name="actualArgument" index="37wK5m" />
      </concept>
      <concept id="1212685548494" name="jetbrains.mps.baseLanguage.structure.ClassCreator" flags="nn" index="1pGfFk" />
      <concept id="1107461130800" name="jetbrains.mps.baseLanguage.structure.Classifier" flags="ng" index="3pOWGL">
        <child id="5375687026011219971" name="member" index="jymVt" unordered="true" />
      </concept>
      <concept id="1171903916106" name="jetbrains.mps.baseLanguage.structure.UpperBoundType" flags="in" index="3qUE_q">
        <child id="1171903916107" name="bound" index="3qUE_r" />
      </concept>
      <concept id="7812454656619025412" name="jetbrains.mps.baseLanguage.structure.LocalMethodCall" flags="nn" index="1rXfSq" />
      <concept id="1107535904670" name="jetbrains.mps.baseLanguage.structure.ClassifierType" flags="in" index="3uibUv">
        <reference id="1107535924139" name="classifier" index="3uigEE" />
        <child id="1109201940907" name="parameter" index="11_B2D" />
      </concept>
      <concept id="1081773326031" name="jetbrains.mps.baseLanguage.structure.BinaryOperation" flags="nn" index="3uHJSO">
        <child id="1081773367579" name="rightExpression" index="3uHU7w" />
        <child id="1081773367580" name="leftExpression" index="3uHU7B" />
      </concept>
      <concept id="1178549954367" name="jetbrains.mps.baseLanguage.structure.IVisible" flags="ng" index="1B3ioH">
        <child id="1178549979242" name="visibility" index="1B3o_S" />
      </concept>
      <concept id="1146644602865" name="jetbrains.mps.baseLanguage.structure.PublicVisibility" flags="nn" index="3Tm1VV" />
      <concept id="1146644623116" name="jetbrains.mps.baseLanguage.structure.PrivateVisibility" flags="nn" index="3Tm6S6" />
      <concept id="1116615150612" name="jetbrains.mps.baseLanguage.structure.ClassifierClassExpression" flags="nn" index="3VsKOn">
        <reference id="1116615189566" name="classifier" index="3VsUkX" />
      </concept>
    </language>
    <language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
      <concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
        <property id="1169194664001" name="name" index="TrG5h" />
      </concept>
    </language>
  </registry>
  <node concept="312cEu" id="5$WbtTOYoMb">
    <property role="TrG5h" value="LogicalBuiltinConstraint" />
    <property role="1sVAO0" value="false" />
    <node concept="2tJIrI" id="5$WbtTOYpQU" role="jymVt" />
    <node concept="Wx3nA" id="5uFPQ7C26$b" role="jymVt">
      <property role="TrG5h" value="BOUND_SYM" />
      <property role="3TUv4t" value="true" />
      <node concept="3Tm1VV" id="5uFPQ7C26Lh" role="1B3o_S" />
      <node concept="3uibUv" id="5uFPQ7C26Oo" role="1tU5fm">
        <ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
      </node>
      <node concept="2ShNRf" id="5uFPQ7C26Zo" role="33vP2m">
        <node concept="1pGfFk" id="5uFPQ7C26X5" role="2ShVmc">
          <ref role="37wK5l" to="qrld:5uFPQ7B$$fT" resolve="PredicateSymbol" />
          <node concept="Xl_RD" id="5uFPQ7C272B" role="37wK5m">
            <property role="Xl_RC" value="isNonVar" />
          </node>
          <node concept="3cmrfG" id="5uFPQ7C276T" role="37wK5m">
            <property role="3cmrfH" value="1" />
          </node>
        </node>
      </node>
    </node>
    <node concept="2tJIrI" id="5uFPQ7C27mP" role="jymVt" />
    <node concept="Wx3nA" id="5uFPQ7C279$" role="jymVt">
      <property role="TrG5h" value="FREE_SYM" />
      <property role="3TUv4t" value="true" />
      <node concept="3Tm1VV" id="5uFPQ7C279_" role="1B3o_S" />
      <node concept="3uibUv" id="5uFPQ7C279A" role="1tU5fm">
        <ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
      </node>
      <node concept="2ShNRf" id="5uFPQ7C279B" role="33vP2m">
        <node concept="1pGfFk" id="5uFPQ7C279C" role="2ShVmc">
          <ref role="37wK5l" to="qrld:5uFPQ7B$$fT" resolve="PredicateSymbol" />
          <node concept="Xl_RD" id="5uFPQ7C279D" role="37wK5m">
            <property role="Xl_RC" value="isVar" />
          </node>
          <node concept="3cmrfG" id="5uFPQ7C279E" role="37wK5m">
            <property role="3cmrfH" value="1" />
          </node>
        </node>
      </node>
    </node>
    <node concept="2tJIrI" id="5uFPQ7C26l9" role="jymVt" />
    <node concept="Wx3nA" id="5uFPQ7C5xrx" role="jymVt">
      <property role="3TUv4t" value="true" />
      <property role="TrG5h" value="QUERYABLE" />
      <node concept="3Tm1VV" id="5uFPQ7C5xrt" role="1B3o_S" />
      <node concept="3uibUv" id="5uFPQ7C5xru" role="1tU5fm">
        <ref role="3uigEE" to="wyt6:~Class" resolve="Class" />
        <node concept="3uibUv" id="5uFPQ7C5xrv" role="11_B2D">
          <ref role="3uigEE" to="95zw:60B5zVEZP8W" resolve="LogicalSolver" />
        </node>
      </node>
      <node concept="3VsKOn" id="5uFPQ7C5xrw" role="33vP2m">
        <ref role="3VsUkX" to="95zw:60B5zVEZP8W" resolve="LogicalSolver" />
      </node>
    </node>
    <node concept="2tJIrI" id="5uFPQ7C5xWt" role="jymVt" />
    <node concept="2YIFZL" id="5uFPQ7CiPYx" role="jymVt">
      <property role="TrG5h" value="BOUND" />
      <node concept="37vLTG" id="5uFPQ7CiQiV" role="3clF46">
        <property role="TrG5h" value="logical" />
        <node concept="3uibUv" id="5uFPQ7CiQmW" role="1tU5fm">
          <ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
        </node>
      </node>
      <node concept="3uibUv" id="5uFPQ7CiQa_" role="3clF45">
        <ref role="3uigEE" node="5$WbtTOYoMb" resolve="LogicalBuiltinConstraint" />
      </node>
      <node concept="3Tm1VV" id="5uFPQ7CiPY$" role="1B3o_S" />
      <node concept="3clFbS" id="5uFPQ7CiPY_" role="3clF47">
        <node concept="3clFbF" id="5uFPQ7CiQsb" role="3cqZAp">
          <node concept="2ShNRf" id="5uFPQ7CiQsd" role="3clFbG">
            <node concept="1pGfFk" id="5uFPQ7CiQse" role="2ShVmc">
              <ref role="37wK5l" node="5$WbtTOYsLU" resolve="LogicalBuiltinConstraint" />
              <node concept="37vLTw" id="5uFPQ7CiQsz" role="37wK5m">
                <ref role="3cqZAo" node="5uFPQ7C26$b" resolve="BOUND_SYM" />
              </node>
              <node concept="2ShNRf" id="7ISVfSJ1Y4" role="37wK5m">
                <node concept="HV5vD" id="7ISVfSJ2b9" role="2ShVmc">
                  <ref role="HV5vE" to="95zw:7ISVfSJ0DF" resolve="LogicalSolverImpl.Bound" />
                </node>
              </node>
              <node concept="37vLTw" id="5uFPQ7CiQC4" role="37wK5m">
                <ref role="3cqZAo" node="5uFPQ7CiQiV" resolve="logical" />
              </node>
            </node>
          </node>
        </node>
      </node>
    </node>
    <node concept="2tJIrI" id="5uFPQ7CiQVB" role="jymVt" />
    <node concept="2YIFZL" id="5uFPQ7CiQEd" role="jymVt">
      <property role="TrG5h" value="FREE" />
      <node concept="37vLTG" id="5uFPQ7CiQEe" role="3clF46">
        <property role="TrG5h" value="logical" />
        <node concept="3uibUv" id="5uFPQ7CiQEf" role="1tU5fm">
          <ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
        </node>
      </node>
      <node concept="3uibUv" id="5uFPQ7CiQEg" role="3clF45">
        <ref role="3uigEE" node="5$WbtTOYoMb" resolve="LogicalBuiltinConstraint" />
      </node>
      <node concept="3Tm1VV" id="5uFPQ7CiQEh" role="1B3o_S" />
      <node concept="3clFbS" id="5uFPQ7CiQEi" role="3clF47">
        <node concept="3clFbF" id="5uFPQ7CiQEj" role="3cqZAp">
          <node concept="2ShNRf" id="5uFPQ7CiQEk" role="3clFbG">
            <node concept="1pGfFk" id="5uFPQ7CiQEl" role="2ShVmc">
              <ref role="37wK5l" node="5$WbtTOYsLU" resolve="LogicalBuiltinConstraint" />
              <node concept="37vLTw" id="5uFPQ7CiRlW" role="37wK5m">
                <ref role="3cqZAo" node="5uFPQ7C279$" resolve="FREE_SYM" />
              </node>
              <node concept="2ShNRf" id="7ISVfSJ2gX" role="37wK5m">
                <node concept="HV5vD" id="7ISVfSJ2u2" role="2ShVmc">
                  <ref role="HV5vE" to="95zw:7ISVfSJ1oi" resolve="LogicalSolverImpl.Free" />
                </node>
              </node>
              <node concept="37vLTw" id="5uFPQ7CiQED" role="37wK5m">
                <ref role="3cqZAo" node="5uFPQ7CiQEe" resolve="logical" />
              </node>
            </node>
          </node>
        </node>
      </node>
    </node>
    <node concept="2tJIrI" id="5uFPQ7CiPMP" role="jymVt" />
    <node concept="3clFbW" id="5$WbtTOYsLU" role="jymVt">
      <node concept="37vLTG" id="5$WbtTOYtPL" role="3clF46">
        <property role="TrG5h" value="symbol" />
        <node concept="3uibUv" id="5uFPQ7C2821" role="1tU5fm">
          <ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
        </node>
      </node>
      <node concept="37vLTG" id="5$WbtTOYsN0" role="3clF46">
        <property role="TrG5h" value="solver" />
        <node concept="3uibUv" id="5$WbtTOYsQC" role="1tU5fm">
          <ref role="3uigEE" to="95zw:60B5zVEZP8W" resolve="LogicalSolver" />
        </node>
      </node>
      <node concept="37vLTG" id="5uFPQ7C28iX" role="3clF46">
        <property role="TrG5h" value="logical" />
        <node concept="3uibUv" id="5uFPQ7C28u4" role="1tU5fm">
          <ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
        </node>
      </node>
      <node concept="3cqZAl" id="5$WbtTOYsLW" role="3clF45" />
      <node concept="3Tm6S6" id="5$WbtTOYGJA" role="1B3o_S" />
      <node concept="3clFbS" id="5$WbtTOYsLY" role="3clF47">
        <node concept="XkiVB" id="4xBopTzr9fT" role="3cqZAp">
          <ref role="37wK5l" to="qrld:6Kcfpq7B1f7" resolve="AbstractPredicate" />
          <node concept="37vLTw" id="5uFPQ7C28G6" role="37wK5m">
            <ref role="3cqZAo" node="5uFPQ7C28iX" resolve="logical" />
          </node>
        </node>
        <node concept="3clFbF" id="7ISVfSJpBS" role="3cqZAp">
          <node concept="37vLTI" id="7ISVfSJpBT" role="3clFbG">
            <node concept="2OqwBi" id="7ISVfSJpBU" role="37vLTJ">
              <node concept="Xjq3P" id="7ISVfSJpBV" role="2Oq$k0" />
              <node concept="2OwXpG" id="7ISVfSJpBW" role="2OqNvi">
                <ref role="2Oxat5" node="7ISVfSJpBL" resolve="symbol" />
              </node>
            </node>
            <node concept="37vLTw" id="7ISVfSJpBX" role="37vLTx">
              <ref role="3cqZAo" node="5$WbtTOYtPL" resolve="symbol" />
            </node>
          </node>
        </node>
      </node>
    </node>
    <node concept="2tJIrI" id="5$WbtTOYoTe" role="jymVt" />
    <node concept="3clFb_" id="4xBopTzr9Jk" role="jymVt">
      <property role="1EzhhJ" value="false" />
      <property role="TrG5h" value="solverClass" />
      <node concept="3uibUv" id="4xBopTzr9Jl" role="3clF45">
        <ref role="3uigEE" to="wyt6:~Class" resolve="Class" />
        <node concept="3qUE_q" id="4xBopTzr9Jm" role="11_B2D">
          <node concept="3uibUv" id="4xBopTzr9Jn" role="3qUE_r">
            <ref role="3uigEE" to="qrld:6Kcfpq7AYBh" resolve="Queryable" />
          </node>
        </node>
      </node>
      <node concept="3Tm1VV" id="4xBopTzr9Jo" role="1B3o_S" />
      <node concept="3clFbS" id="4xBopTzr9Jr" role="3clF47">
        <node concept="3clFbF" id="4xBopTzrc89" role="3cqZAp">
          <node concept="37vLTw" id="5uFPQ7C5xr$" role="3clFbG">
            <ref role="3cqZAo" node="5uFPQ7C5xrx" resolve="QUERYABLE" />
          </node>
        </node>
      </node>
      <node concept="2AHcQZ" id="4xBopTzrlec" role="2AJF6D">
        <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
      </node>
    </node>
    <node concept="2tJIrI" id="5$WbtTOYxH4" role="jymVt" />
    <node concept="3clFb_" id="7ISVfSJpIT" role="jymVt">
      <property role="1EzhhJ" value="false" />
      <property role="TrG5h" value="symbol" />
      <node concept="3uibUv" id="7ISVfSJpIU" role="3clF45">
        <ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
      </node>
      <node concept="3Tm1VV" id="7ISVfSJpIV" role="1B3o_S" />
      <node concept="3clFbS" id="7ISVfSJpIY" role="3clF47">
        <node concept="3clFbF" id="7ISVfSJpQv" role="3cqZAp">
          <node concept="37vLTw" id="7ISVfSJpQt" role="3clFbG">
            <ref role="3cqZAo" node="7ISVfSJpBL" resolve="symbol" />
          </node>
        </node>
      </node>
    </node>
    <node concept="2tJIrI" id="7ISVfSOZ4g" role="jymVt" />
    <node concept="312cEg" id="7ISVfSJpBL" role="jymVt">
      <property role="TrG5h" value="symbol" />
      <node concept="3Tm6S6" id="7ISVfSJpBJ" role="1B3o_S" />
      <node concept="3uibUv" id="7ISVfSJpBK" role="1tU5fm">
        <ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
      </node>
    </node>
    <node concept="3Tm1VV" id="5$WbtTOYoMc" role="1B3o_S" />
    <node concept="3uibUv" id="4xBopTzr8gp" role="1zkMxy">
      <ref role="3uigEE" to="qrld:6Kcfpq7B0Wu" resolve="AbstractPredicate" />
    </node>
  </node>
  <node concept="312cEu" id="7E86$tKu5$t">
    <property role="TrG5h" value="IndexedVar" />
    <node concept="2tJIrI" id="7E86$tKujIh" role="jymVt" />
    <node concept="2YIFZL" id="5k_shARN93B" role="jymVt">
      <property role="TrG5h" value="withName" />
      <node concept="37vLTG" id="5k_shARN99m" role="3clF46">
        <property role="TrG5h" value="name" />
        <node concept="17QB3L" id="5k_shARN9ao" role="1tU5fm" />
      </node>
      <node concept="3uibUv" id="7E86$tKul$6" role="3clF45">
        <ref role="3uigEE" node="7E86$tKu5$t" resolve="IndexedVar" />
      </node>
      <node concept="3Tm1VV" id="5k_shARN93E" role="1B3o_S" />
      <node concept="3clFbS" id="5k_shARN93F" role="3clF47">
        <node concept="3clFbJ" id="5k_shARO2Lw" role="3cqZAp">
          <node concept="3clFbS" id="5k_shARO2Lx" role="3clFbx">
            <node concept="YS8fn" id="5k_shARO2Xr" role="3cqZAp">
              <node concept="2ShNRf" id="5k_shARO2ZW" role="YScLw">
                <node concept="1pGfFk" id="5k_shAROcb3" role="2ShVmc">
                  <ref role="37wK5l" to="wyt6:~NullPointerException.&lt;init&gt;()" resolve="NullPointerException" />
                </node>
              </node>
            </node>
          </node>
          <node concept="3clFbC" id="5k_shARO2Vo" role="3clFbw">
            <node concept="10Nm6u" id="5k_shARO2VU" role="3uHU7w" />
            <node concept="37vLTw" id="5k_shARO2MJ" role="3uHU7B">
              <ref role="3cqZAo" node="5k_shARN99m" resolve="name" />
            </node>
          </node>
        </node>
        <node concept="3cpWs6" id="5k_shAROch4" role="3cqZAp">
          <node concept="2ShNRf" id="5k_shAROcjf" role="3cqZAk">
            <node concept="1pGfFk" id="5k_shAROcje" role="2ShVmc">
              <ref role="37wK5l" node="5k_shARNZ68" resolve="IndexedVar" />
              <node concept="37vLTw" id="5k_shAROclP" role="37wK5m">
                <ref role="3cqZAo" node="5k_shARN99m" resolve="name" />
              </node>
            </node>
          </node>
        </node>
      </node>
    </node>
    <node concept="2tJIrI" id="5k_shARNY8w" role="jymVt" />
    <node concept="2YIFZL" id="5k_shARNYdh" role="jymVt">
      <property role="TrG5h" value="withNameAndIndex" />
      <node concept="37vLTG" id="5k_shARNYf$" role="3clF46">
        <property role="TrG5h" value="name" />
        <node concept="17QB3L" id="5k_shARNYgy" role="1tU5fm" />
      </node>
      <node concept="37vLTG" id="5k_shARNYtF" role="3clF46">
        <property role="TrG5h" value="idx" />
        <node concept="10Oyi0" id="5k_shARNYuJ" role="1tU5fm" />
      </node>
      <node concept="3uibUv" id="7E86$tKulDN" role="3clF45">
        <ref role="3uigEE" node="7E86$tKu5$t" resolve="IndexedVar" />
      </node>
      <node concept="3Tm1VV" id="5k_shARNYdk" role="1B3o_S" />
      <node concept="3clFbS" id="5k_shARNYdl" role="3clF47">
        <node concept="3clFbJ" id="5k_shAROdjJ" role="3cqZAp">
          <node concept="3clFbS" id="5k_shAROdjK" role="3clFbx">
            <node concept="YS8fn" id="5k_shAROdww" role="3cqZAp">
              <node concept="2ShNRf" id="5k_shAROdxH" role="YScLw">
                <node concept="1pGfFk" id="5k_shAROdLN" role="2ShVmc">
                  <ref role="37wK5l" to="wyt6:~NullPointerException.&lt;init&gt;()" resolve="NullPointerException" />
                </node>
              </node>
            </node>
          </node>
          <node concept="3clFbC" id="5k_shAROdsL" role="3clFbw">
            <node concept="10Nm6u" id="5k_shAROdtj" role="3uHU7w" />
            <node concept="37vLTw" id="5k_shAROdk8" role="3uHU7B">
              <ref role="3cqZAo" node="5k_shARNYf$" resolve="name" />
            </node>
          </node>
        </node>
        <node concept="3clFbJ" id="5k_shAROe6H" role="3cqZAp">
          <node concept="3clFbS" id="5k_shAROe6K" role="3clFbx">
            <node concept="YS8fn" id="5k_shAROeGr" role="3cqZAp">
              <node concept="2ShNRf" id="5k_shAROeHC" role="YScLw">
                <node concept="1pGfFk" id="5k_shAROeZ2" role="2ShVmc">
                  <ref role="37wK5l" to="wyt6:~IllegalArgumentException.&lt;init&gt;()" resolve="IllegalArgumentException" />
                </node>
              </node>
            </node>
          </node>
          <node concept="3eOVzh" id="5k_shAROeAI" role="3clFbw">
            <node concept="37vLTw" id="5k_shAROeAL" role="3uHU7B">
              <ref role="3cqZAo" node="5k_shARNYtF" resolve="idx" />
            </node>
            <node concept="3cmrfG" id="5k_shAROeAK" role="3uHU7w">
              <property role="3cmrfH" value="0" />
            </node>
          </node>
        </node>
        <node concept="3cpWs6" id="5k_shAROffB" role="3cqZAp">
          <node concept="2ShNRf" id="5k_shAROfkg" role="3cqZAk">
            <node concept="1pGfFk" id="5k_shAROfjp" role="2ShVmc">
              <ref role="37wK5l" node="5k_shARNZar" resolve="IndexedVar" />
              <node concept="37vLTw" id="5k_shAROfoP" role="37wK5m">
                <ref role="3cqZAo" node="5k_shARNYf$" resolve="name" />
              </node>
              <node concept="37vLTw" id="5k_shAROfvZ" role="37wK5m">
                <ref role="3cqZAo" node="5k_shARNYtF" resolve="idx" />
              </node>
            </node>
          </node>
        </node>
      </node>
    </node>
    <node concept="2tJIrI" id="5k_shARNZ4q" role="jymVt" />
    <node concept="3clFbW" id="5k_shARNZ68" role="jymVt">
      <node concept="37vLTG" id="5k_shARNZ7A" role="3clF46">
        <property role="TrG5h" value="name" />
        <node concept="17QB3L" id="5k_shARNZ7I" role="1tU5fm" />
      </node>
      <node concept="3cqZAl" id="5k_shARNZ6a" role="3clF45" />
      <node concept="3Tm1VV" id="5k_shARNZ6b" role="1B3o_S" />
      <node concept="3clFbS" id="5k_shARNZ6c" role="3clF47">
        <node concept="XkiVB" id="104EUzFJTsl" role="3cqZAp">
          <ref role="37wK5l" to="ie8e:uNmovXiEVu" resolve="Variable" />
          <node concept="37vLTw" id="104EUzFJU4w" role="37wK5m">
            <ref role="3cqZAo" node="5k_shARNZ7A" resolve="name" />
          </node>
        </node>
        <node concept="3clFbF" id="5k_shAROgOv" role="3cqZAp">
          <node concept="37vLTI" id="5k_shAROh_S" role="3clFbG">
            <node concept="3cmrfG" id="5k_shAROhCn" role="37vLTx">
              <property role="3cmrfH" value="-1" />
            </node>
            <node concept="2OqwBi" id="5k_shAROhj0" role="37vLTJ">
              <node concept="Xjq3P" id="5k_shAROgOt" role="2Oq$k0" />
              <node concept="2OwXpG" id="5k_shAROhl4" role="2OqNvi">
                <ref role="2Oxat5" node="5k_shARO0vR" resolve="idx" />
              </node>
            </node>
          </node>
        </node>
      </node>
    </node>
    <node concept="2tJIrI" id="5k_shARNZcd" role="jymVt" />
    <node concept="3clFbW" id="5k_shARNZar" role="jymVt">
      <node concept="37vLTG" id="5k_shARNZas" role="3clF46">
        <property role="TrG5h" value="name" />
        <node concept="17QB3L" id="5k_shARNZat" role="1tU5fm" />
      </node>
      <node concept="37vLTG" id="5k_shARNZd$" role="3clF46">
        <property role="TrG5h" value="idx" />
        <node concept="10Oyi0" id="5k_shARNZeJ" role="1tU5fm" />
      </node>
      <node concept="3cqZAl" id="5k_shARNZau" role="3clF45" />
      <node concept="3Tm1VV" id="5k_shARNZav" role="1B3o_S" />
      <node concept="3clFbS" id="5k_shARNZaw" role="3clF47">
        <node concept="XkiVB" id="104EUzFJVh8" role="3cqZAp">
          <ref role="37wK5l" to="ie8e:uNmovXiEVu" resolve="Variable" />
          <node concept="37vLTw" id="104EUzFJVRA" role="37wK5m">
            <ref role="3cqZAo" node="5k_shARNZas" resolve="name" />
          </node>
        </node>
        <node concept="3clFbF" id="5k_shARO0vV" role="3cqZAp">
          <node concept="37vLTI" id="5k_shARO0vX" role="3clFbG">
            <node concept="2OqwBi" id="5k_shARO0w1" role="37vLTJ">
              <node concept="Xjq3P" id="5k_shARO0w4" role="2Oq$k0" />
              <node concept="2OwXpG" id="5k_shARO0w0" role="2OqNvi">
                <ref role="2Oxat5" node="5k_shARO0vR" resolve="idx" />
              </node>
            </node>
            <node concept="37vLTw" id="5k_shARO0w5" role="37vLTx">
              <ref role="3cqZAo" node="5k_shARNZd$" resolve="idx" />
            </node>
          </node>
        </node>
      </node>
    </node>
    <node concept="2tJIrI" id="6w6CYIReErb" role="jymVt" />
    <node concept="3clFb_" id="6w6CYIReEWt" role="jymVt">
      <property role="1EzhhJ" value="false" />
      <property role="TrG5h" value="name" />
      <property role="DiZV1" value="false" />
      <property role="od$2w" value="false" />
      <node concept="3Tm1VV" id="6w6CYIReEWu" role="1B3o_S" />
      <node concept="17QB3L" id="2pvEdqukxHS" role="3clF45" />
      <node concept="3clFbS" id="6w6CYIReEWx" role="3clF47">
        <node concept="3clFbF" id="7d9KVSzUTiQ" role="3cqZAp">
          <node concept="1rXfSq" id="7d9KVSzUTiP" role="3clFbG">
            <ref role="37wK5l" node="7d9KVSzUO6L" resolve="nameWithIndex" />
          </node>
        </node>
      </node>
    </node>
    <node concept="2tJIrI" id="6w6CYIReT2K" role="jymVt" />
    <node concept="3clFb_" id="5k_shARO1gZ" role="jymVt">
      <property role="1EzhhJ" value="false" />
      <property role="TrG5h" value="toString" />
      <property role="DiZV1" value="false" />
      <property role="IEkAT" value="false" />
      <node concept="3Tm1VV" id="5k_shARO1h0" role="1B3o_S" />
      <node concept="17QB3L" id="2pvEdqukxHT" role="3clF45" />
      <node concept="3clFbS" id="5k_shARO1h3" role="3clF47">
        <node concept="3cpWs6" id="7d9KVSzUO6P" role="3cqZAp">
          <node concept="1rXfSq" id="7d9KVSzUO6O" role="3cqZAk">
            <ref role="37wK5l" node="7d9KVSzUO6L" resolve="nameWithIndex" />
          </node>
        </node>
      </node>
      <node concept="2AHcQZ" id="5k_shARO1h4" role="2AJF6D">
        <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
      </node>
    </node>
    <node concept="2tJIrI" id="7d9KVSzUPIj" role="jymVt" />
    <node concept="3clFb_" id="7d9KVSzUO6L" role="jymVt">
      <property role="TrG5h" value="nameWithIndex" />
      <node concept="3Tm6S6" id="7d9KVSzUO6M" role="1B3o_S" />
      <node concept="17QB3L" id="7d9KVSzUO6N" role="3clF45" />
      <node concept="3clFbS" id="7d9KVSzUO6x" role="3clF47">
        <node concept="3clFbJ" id="7d9KVSzUO6y" role="3cqZAp">
          <node concept="3clFbS" id="7d9KVSzUO6z" role="3clFbx">
            <node concept="3cpWs6" id="7d9KVSzUO6$" role="3cqZAp">
              <node concept="3cpWs3" id="7d9KVSzUO6_" role="3cqZAk">
                <node concept="37vLTw" id="7d9KVSzUO6A" role="3uHU7w">
                  <ref role="3cqZAo" node="5k_shARO0vR" resolve="idx" />
                </node>
                <node concept="3cpWs3" id="7d9KVSzUO6B" role="3uHU7B">
                  <node concept="37vLTw" id="7d9KVSzUO6C" role="3uHU7B">
                    <ref role="3cqZAo" to="ie8e:uNmovXiF5Z" resolve="name" />
                  </node>
                  <node concept="Xl_RD" id="7d9KVSzUO6D" role="3uHU7w">
                    <property role="Xl_RC" value="_" />
                  </node>
                </node>
              </node>
            </node>
          </node>
          <node concept="2d3UOw" id="7d9KVSzUO6E" role="3clFbw">
            <node concept="3cmrfG" id="7d9KVSzUO6F" role="3uHU7w">
              <property role="3cmrfH" value="0" />
            </node>
            <node concept="37vLTw" id="7d9KVSzUO6G" role="3uHU7B">
              <ref role="3cqZAo" node="5k_shARO0vR" resolve="idx" />
            </node>
          </node>
        </node>
        <node concept="3cpWs6" id="7d9KVSzUO6H" role="3cqZAp">
          <node concept="37vLTw" id="7d9KVSzUO6I" role="3cqZAk">
            <ref role="3cqZAo" to="ie8e:uNmovXiF5Z" resolve="name" />
          </node>
        </node>
      </node>
    </node>
    <node concept="2tJIrI" id="104EUzFJWVQ" role="jymVt" />
    <node concept="312cEg" id="5k_shARO0vR" role="jymVt">
      <property role="TrG5h" value="idx" />
      <property role="3TUv4t" value="true" />
      <node concept="3Tm6S6" id="5k_shARO0vS" role="1B3o_S" />
      <node concept="10Oyi0" id="5k_shARO0vU" role="1tU5fm" />
    </node>
    <node concept="2tJIrI" id="7E86$tKujIj" role="jymVt" />
    <node concept="3Tm1VV" id="7E86$tKu5$u" role="1B3o_S" />
    <node concept="3uibUv" id="7E86$tKu5YS" role="1zkMxy">
      <ref role="3uigEE" to="ie8e:uNmovXiEd4" resolve="Variable" />
    </node>
  </node>
</model>

