// 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_S_space__minus_Malate to xxx_space_S_space__minus_Malate 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
// R01325: cis_minus_Aconitate => Citrate 
// R01220: _space_5_space_10_minus_Methylenetetrahydrofolate <=> _space_5_space_10_minus_Methenyltetrahydrofolate 
// R00342: _space_S_space__minus_Malate => Oxaloacetate 
// R01900: cis_minus_Aconitate => Isocitrate 
// R00943: Formate => _space_10_minus_Formyltetrahydrofolate 
// R00351: Citrate => Acetyl_minus_CoA Oxaloacetate 

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 E4_space_2_space_1_space_3 = 0 M;
  real E1_space_1_space_1_space_37 = 0 M;
  real E2_space_3_space_3_space_1 = 0 M;
  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 cis_minus_Aconitate(time) M;
  real Isocitrate(time) M;
  real Oxaloacetate(time) M;
  real xxx_space_S_space__minus_Malate(time) M;
  real Acetyl_minus_CoA(time) M;
  real Formate(time) M;
  real Citrate(time) M;
  real xxx_space_10_minus_Formyltetrahydrofolate(time) M;
  real xxx_space_5_space_10_minus_Methenyltetrahydrofolate(time) M;
  real R01325(time) katal;
  extern real R01325.kf;
  extern real R01325.kb;
  real R01220(time) katal;
  extern real R01220.kf;
  extern real R01220.kb;
  real R00342(time) katal;
  extern real R00342.kf;
  extern real R00342.kb;
  real R01900(time) katal;
  extern real R01900.kf;
  extern real R01900.kb;
  real R00943(time) katal;
  extern real R00943.kf;
  extern real R00943.kb;
  real R00351(time) katal;
  extern real R00351.kf;
  extern real R00351.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) cis_minus_Aconitate = 0;
  (cis_minus_Aconitate*uVol):time = -1*R01325 + -1*R01900;
  when (time=time.min) Isocitrate = 0;
  (Isocitrate*uVol):time = R01900;
  when (time=time.min) Oxaloacetate = 0;
  (Oxaloacetate*uVol):time = R00342 + R00351;
  when (time=time.min) xxx_space_S_space__minus_Malate = 0;
  (xxx_space_S_space__minus_Malate*uVol):time = -1*R00342;
  when (time=time.min) Acetyl_minus_CoA = 0;
  (Acetyl_minus_CoA*uVol):time = R00351;
  when (time=time.min) Formate = 0;
  (Formate*uVol):time = -1*R00943;
  when (time=time.min) Citrate = 0;
  (Citrate*uVol):time = R01325 + -1*R00351;
  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;
  R01325 = R01325.kf*cis_minus_Aconitate - R01325.kb*Citrate;
  R01220 = R01220.kf*_space_5_space_10_minus_Methylenetetrahydrofolate - R01220.kb*_space_5_space_10_minus_Methenyltetrahydrofolate;
  R00342 = R00342.kf*_space_S_space__minus_Malate - R00342.kb*Oxaloacetate;
  R01900 = R01900.kf*cis_minus_Aconitate - R01900.kb*Isocitrate;
  R00943 = R00943.kf*Formate - R00943.kb*_space_10_minus_Formyltetrahydrofolate;
  R00351 = R00351.kf*Citrate - R00351.kb*Acetyl_minus_CoA*Oxaloacetate;

  // variable properties
  default.sbmlRole="compartment";
  uVol.sbmlRole="compartment";
  E4_space_2_space_1_space_3.sbmlRole="species";
  E4_space_2_space_1_space_3.sbmlCompartment="uVol";
  E1_space_1_space_1_space_37.sbmlRole="species";
  E1_space_1_space_1_space_37.sbmlCompartment="uVol";
  E2_space_3_space_3_space_1.sbmlRole="species";
  E2_space_3_space_3_space_1.sbmlCompartment="uVol";
  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";
  cis_minus_Aconitate.sbmlRole="species";
  cis_minus_Aconitate.sbmlCompartment="uVol";
  Isocitrate.sbmlRole="species";
  Isocitrate.sbmlCompartment="uVol";
  Oxaloacetate.sbmlRole="species";
  Oxaloacetate.sbmlCompartment="uVol";
  xxx_space_S_space__minus_Malate.sbmlRole="species";
  xxx_space_S_space__minus_Malate.sbmlName="_space_S_space__minus_Malate";
  xxx_space_S_space__minus_Malate.sbmlCompartment="uVol";
  Acetyl_minus_CoA.sbmlRole="species";
  Acetyl_minus_CoA.sbmlCompartment="uVol";
  Formate.sbmlRole="species";
  Formate.sbmlCompartment="uVol";
  Citrate.sbmlRole="species";
  Citrate.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";
  R01325.sbmlRole="rate";
  R01325.kf.sbmlRole="rate";
  R01325.kb.sbmlRole="rate";
  R01220.sbmlRole="rate";
  R01220.kf.sbmlRole="rate";
  R01220.kb.sbmlRole="rate";
  R00342.sbmlRole="rate";
  R00342.kf.sbmlRole="rate";
  R00342.kb.sbmlRole="rate";
  R01900.sbmlRole="rate";
  R01900.kf.sbmlRole="rate";
  R01900.kb.sbmlRole="rate";
  R00943.sbmlRole="rate";
  R00943.kf.sbmlRole="rate";
  R00943.kb.sbmlRole="rate";
  R00351.sbmlRole="rate";
  R00351.kf.sbmlRole="rate";
  R00351.kb.sbmlRole="rate";
}