// This model generated automatically from SBML
// WARNING: Renamed variable _space_5_space_10_minus_Methylenetetrahydrofolate to xxx_space_5_space_10_minus_Methylenetetrahydrofolate due to JSim namespace restrictions
// WARNING: Renamed variable _space_10_minus_Formyltetrahydrofolate to xxx_space_10_minus_Formyltetrahydrofolate due to JSim namespace restrictions
// WARNING: Renamed variable _space_5_space_10_minus_Methenyltetrahydrofolate to xxx_space_5_space_10_minus_Methenyltetrahydrofolate 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
// R01220: _space_5_space_10_minus_Methylenetetrahydrofolate <=> _space_5_space_10_minus_Methenyltetrahydrofolate 
// R00943: Formate => _space_10_minus_Formyltetrahydrofolate 

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 E3_space_5_space_4_space_9 = 0 M;
  real E1_space_5_space_1_space_5 = 0 M;
  real xxx_space_5_space_10_minus_Methylenetetrahydrofolate(time) M;
  real Formate(time) M;
  real xxx_space_10_minus_Formyltetrahydrofolate(time) M;
  real xxx_space_5_space_10_minus_Methenyltetrahydrofolate(time) M;
  real R01220(time) katal;
  extern real R01220.kf;
  extern real R01220.kb;
  real R00943(time) katal;
  extern real R00943.kf;
  extern real R00943.kb;

  // equations
  when (time=time.min) xxx_space_5_space_10_minus_Methylenetetrahydrofolate = 0;
  (xxx_space_5_space_10_minus_Methylenetetrahydrofolate*uVol):time = -1*R01220;
  when (time=time.min) Formate = 0;
  (Formate*uVol):time = -1*R00943;
  when (time=time.min) xxx_space_10_minus_Formyltetrahydrofolate = 0;
  (xxx_space_10_minus_Formyltetrahydrofolate*uVol):time = R00943;
  when (time=time.min) xxx_space_5_space_10_minus_Methenyltetrahydrofolate = 0;
  (xxx_space_5_space_10_minus_Methenyltetrahydrofolate*uVol):time = R01220;
  R01220 = R01220.kf*_space_5_space_10_minus_Methylenetetrahydrofolate - R01220.kb*_space_5_space_10_minus_Methenyltetrahydrofolate;
  R00943 = R00943.kf*Formate - R00943.kb*_space_10_minus_Formyltetrahydrofolate;

  // variable properties
  default.sbmlRole="compartment";
  uVol.sbmlRole="compartment";
  E3_space_5_space_4_space_9.sbmlRole="species";
  E3_space_5_space_4_space_9.sbmlCompartment="uVol";
  E1_space_5_space_1_space_5.sbmlRole="species";
  E1_space_5_space_1_space_5.sbmlCompartment="uVol";
  xxx_space_5_space_10_minus_Methylenetetrahydrofolate.sbmlRole="species";
  xxx_space_5_space_10_minus_Methylenetetrahydrofolate.sbmlName="_space_5_space_10_minus_Methylenetetrahydrofolate";
  xxx_space_5_space_10_minus_Methylenetetrahydrofolate.sbmlCompartment="uVol";
  Formate.sbmlRole="species";
  Formate.sbmlCompartment="uVol";
  xxx_space_10_minus_Formyltetrahydrofolate.sbmlRole="species";
  xxx_space_10_minus_Formyltetrahydrofolate.sbmlName="_space_10_minus_Formyltetrahydrofolate";
  xxx_space_10_minus_Formyltetrahydrofolate.sbmlCompartment="uVol";
  xxx_space_5_space_10_minus_Methenyltetrahydrofolate.sbmlRole="species";
  xxx_space_5_space_10_minus_Methenyltetrahydrofolate.sbmlName="_space_5_space_10_minus_Methenyltetrahydrofolate";
  xxx_space_5_space_10_minus_Methenyltetrahydrofolate.sbmlCompartment="uVol";
  R01220.sbmlRole="rate";
  R01220.kf.sbmlRole="rate";
  R01220.kb.sbmlRole="rate";
  R00943.sbmlRole="rate";
  R00943.kf.sbmlRole="rate";
  R00943.kb.sbmlRole="rate";
}