<?xml version="1.0" encoding="UTF-8"?>
<java version="1.7.0_75" class="java.beans.XMLDecoder">
 <object class="com.stanleybak.hycreate.containers.HyCreateData">
  <void property="automatonName">
   <string>biology9d</string>
  </void>
  <void property="dimensions">
   <string>x1, x2, x3, x4, x5, x6, x7, x8, x9</string>
  </void>
  <void property="globalText">
   <string>// Made using Hyst v1.17 from model file ../../examples/biology9d/biology9d.xml
// Command line arguments were: -hycreate_sim ../../examples/biology9d/biology9d.xml</string>
  </void>
  <void property="initialStates">
   <string>0.09 , 0.11 ; 0.09 , 0.11 ; 0.09 , 0.11 ; 0.09 , 0.11 ; 0.09 , 0.11 ; 0.09 , 0.11 ; 0.09 , 0.11 ; 0.09 , 0.11 ; 0.09 , 0.11 ; running
</string>
  </void>
  <void property="modes">
   <void method="put">
    <string>running</string>
    <object class="com.stanleybak.hycreate.containers.ModeData">
     <void property="derivative">
      <void method="add">
       <string>return new Interval(50.0 * $x3 - $x1 * $x6, 50.0 * $x3 - $x1 * $x6);</string>
      </void>
      <void method="add">
       <string>return new Interval(100.0 * $x4 - $x2 * $x6, 100.0 * $x4 - $x2 * $x6);</string>
      </void>
      <void method="add">
       <string>return new Interval($x1 * $x6 - 50.0 * $x3, $x1 * $x6 - 50.0 * $x3);</string>
      </void>
      <void method="add">
       <string>return new Interval($x2 * $x6 - 100.0 * $x4, $x2 * $x6 - 100.0 * $x4);</string>
      </void>
      <void method="add">
       <string>return new Interval(500.0 * $x3 + 50.0 * $x1 - 10.0 * $x5, 500.0 * $x3 + 50.0 * $x1 - 10.0 * $x5);</string>
      </void>
      <void method="add">
       <string>return new Interval(50.0 * $x5 + 50.0 * $x3 + 100.0 * $x4 - $x6 * ($x1 + $x2 + 2.0 * $x8 + 1.0), 50.0 * $x5 + 50.0 * $x3 + 100.0 * $x4 - $x6 * ($x1 + $x2 + 2.0 * $x8 + 1.0));</string>
      </void>
      <void method="add">
       <string>return new Interval(50.0 * $x4 + 0.01 * $x2 - 0.5 * $x7, 50.0 * $x4 + 0.01 * $x2 - 0.5 * $x7);</string>
      </void>
      <void method="add">
       <string>return new Interval(5.0 * $x7 - 2.0 * $x6 * $x8 + $x9 - 0.2 * $x8, 5.0 * $x7 - 2.0 * $x6 * $x8 + $x9 - 0.2 * $x8);</string>
      </void>
      <void method="add">
       <string>return new Interval(2.0 * $x6 * $x8 - $x9, 2.0 * $x6 * $x8 - $x9);</string>
      </void>
     </void>
     <void property="invariant">
      <string>return true;</string>
     </void>
     <void property="minMaxPoints">
      <void method="add">
       <string>return null; // derivative has no min/max points in any box</string>
      </void>
      <void method="add">
       <string>return null; // derivative has no min/max points in any box</string>
      </void>
      <void method="add">
       <string>return null; // derivative has no min/max points in any box</string>
      </void>
      <void method="add">
       <string>return null; // derivative has no min/max points in any box</string>
      </void>
      <void method="add">
       <string>return null; // derivative has no min/max points in any box</string>
      </void>
      <void method="add">
       <string>return null; // derivative has no min/max points in any box</string>
      </void>
      <void method="add">
       <string>return null; // derivative has no min/max points in any box</string>
      </void>
      <void method="add">
       <string>return null; // derivative has no min/max points in any box</string>
      </void>
      <void method="add">
       <string>return null; // derivative has no min/max points in any box</string>
      </void>
     </void>
     <void property="regridRatio">
      <string>1.7, 1.7, 1.7, 1.7, 1.7, 1.7, 1.7, 1.7, 1.7</string>
     </void>
    </object>
   </void>
  </void>
  <void property="options">
   <void property="plotOptions">
    <void property="visualizeDuringComputation">
     <boolean>false</boolean>
    </void>
   </void>
   <void property="reachabilityTime">
    <string>0.2</string>
   </void>
   <void property="simulationOptions">
    <void property="enumerateTransitions">
     <boolean>true</boolean>
    </void>
    <void property="simulationType">
     <object class="java.lang.Enum" method="valueOf">
      <class>com.stanleybak.hycreate.containers.ModelSimulationOptions$SimulationType</class>
      <string>SIMULATION_ONLY</string>
     </object>
    </void>
    <void property="startingPositions">
     <object class="java.lang.Enum" method="valueOf">
      <class>com.stanleybak.hycreate.containers.ModelSimulationOptions$StartingPositionsType</class>
      <string>CORNERS_AND_MIDPOINTS</string>
     </object>
    </void>
   </void>
   <void property="timeStep">
    <string>0.001</string>
   </void>
  </void>
  <void property="versionString">
   <string>File Version 3</string>
  </void>
 </object>
</java>
