// This model generated automatically from SBML
// WARNING: Renamed variable _space_S_space__minus_3_minus_Hydroxybutanoyl_minus_CoA to xxx_space_S_space__minus_3_minus_Hydroxybutanoyl_minus_CoA due to JSim namespace restrictions

// unit definitions
import nsrunit;
unit conversion off;

// SBML property definitions
property sbmlRole=string;
property sbmlName=string;
property sbmlCompartment=string;

// SBML reactions
// R00412: Succinate <=> Fumarate 
// R05590: Benzamide <=> Benzoate 
// R01976: _space_S_space__minus_3_minus_Hydroxybutanoyl_minus_CoA <=> Acetoacetyl_minus_CoA 
// R00238: Acetyl_minus_CoA <=> Acetoacetyl_minus_CoA 

math main {
  realDomain time second;
  time.min=0;
  extern time.max;
  extern time.delta;

  // variable definitions
  real default = 1 L;
  real uVol = 1 L;
  real E1_space_3_space_99_space_1 = 0 M;
  real E3_space_5_space_1_space_4 = 0 M;
  real E2_space_3_space_1_space_9 = 0 M;
  real E1_space_1_space_1_space_157 = 0 M;
  real Fumarate(time) M;
  real Benzoate(time) M;
  real Benzamide(time) M;
  real Acetyl_minus_CoA(time) M;
  real Acetoacetyl_minus_CoA(time) M;
  real xxx_space_S_space__minus_3_minus_Hydroxybutanoyl_minus_CoA(time) M;
  real Succinate(time) M;
  real R00412(time) katal;
  extern real R00412.kf;
  extern real R00412.kb;
  real R05590(time) katal;
  extern real R05590.kf;
  extern real R05590.kb;
  real R01976(time) katal;
  extern real R01976.kf;
  extern real R01976.kb;
  real R00238(time) katal;
  extern real R00238.kf;
  extern real R00238.kb;

  // equations
  when (time=time.min) Fumarate = 0;
  (Fumarate*uVol):time = R00412;
  when (time=time.min) Benzoate = 0;
  (Benzoate*uVol):time = R05590;
  when (time=time.min) Benzamide = 0;
  (Benzamide*uVol):time = -1*R05590;
  when (time=time.min) Acetyl_minus_CoA = 0;
  (Acetyl_minus_CoA*uVol):time = -1*R00238;
  when (time=time.min) Acetoacetyl_minus_CoA = 0;
  (Acetoacetyl_minus_CoA*uVol):time = R01976 + R00238;
  when (time=time.min) xxx_space_S_space__minus_3_minus_Hydroxybutanoyl_minus_CoA = 0;
  (xxx_space_S_space__minus_3_minus_Hydroxybutanoyl_minus_CoA*uVol):time = -1*R01976;
  when (time=time.min) Succinate = 0;
  (Succinate*uVol):time = -1*R00412;
  R00412 = R00412.kf*Succinate - R00412.kb*Fumarate;
  R05590 = R05590.kf*Benzamide - R05590.kb*Benzoate;
  R01976 = R01976.kf*_space_S_space__minus_3_minus_Hydroxybutanoyl_minus_CoA - R01976.kb*Acetoacetyl_minus_CoA;
  R00238 = R00238.kf*Acetyl_minus_CoA - R00238.kb*Acetoacetyl_minus_CoA;

  // variable properties
  default.sbmlRole="compartment";
  uVol.sbmlRole="compartment";
  E1_space_3_space_99_space_1.sbmlRole="species";
  E1_space_3_space_99_space_1.sbmlCompartment="uVol";
  E3_space_5_space_1_space_4.sbmlRole="species";
  E3_space_5_space_1_space_4.sbmlCompartment="uVol";
  E2_space_3_space_1_space_9.sbmlRole="species";
  E2_space_3_space_1_space_9.sbmlCompartment="uVol";
  E1_space_1_space_1_space_157.sbmlRole="species";
  E1_space_1_space_1_space_157.sbmlCompartment="uVol";
  Fumarate.sbmlRole="species";
  Fumarate.sbmlCompartment="uVol";
  Benzoate.sbmlRole="species";
  Benzoate.sbmlCompartment="uVol";
  Benzamide.sbmlRole="species";
  Benzamide.sbmlCompartment="uVol";
  Acetyl_minus_CoA.sbmlRole="species";
  Acetyl_minus_CoA.sbmlCompartment="uVol";
  Acetoacetyl_minus_CoA.sbmlRole="species";
  Acetoacetyl_minus_CoA.sbmlCompartment="uVol";
  xxx_space_S_space__minus_3_minus_Hydroxybutanoyl_minus_CoA.sbmlRole="species";
  xxx_space_S_space__minus_3_minus_Hydroxybutanoyl_minus_CoA.sbmlName="_space_S_space__minus_3_minus_Hydroxybutanoyl_minus_CoA";
  xxx_space_S_space__minus_3_minus_Hydroxybutanoyl_minus_CoA.sbmlCompartment="uVol";
  Succinate.sbmlRole="species";
  Succinate.sbmlCompartment="uVol";
  R00412.sbmlRole="rate";
  R00412.kf.sbmlRole="rate";
  R00412.kb.sbmlRole="rate";
  R05590.sbmlRole="rate";
  R05590.kf.sbmlRole="rate";
  R05590.kb.sbmlRole="rate";
  R01976.sbmlRole="rate";
  R01976.kf.sbmlRole="rate";
  R01976.kb.sbmlRole="rate";
  R00238.sbmlRole="rate";
  R00238.kf.sbmlRole="rate";
  R00238.kb.sbmlRole="rate";
}