// This model generated automatically from SBML

// unit definitions
import nsrunit;
unit conversion off;

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

// SBML reactions
// R04035: Phosphoribosyl_minus_ATP <=> Phosphoribosyl_minus_AMP 
// R03457: D_minus_erythro_minus_1_minus_space_Imidazol_minus_4_minus_yl_space_glycerol_space_3_minus_phosphate <=> space_3_minus_space_Imidazol_minus_4_minus_yl_space_minus_2_minus_oxopropyl_space_phosphate 
// R03655: L_minus_Histidine <=> L_minus_Histidyl_minus_tRNA_space_His_space_ 
// R04558: N_minus_space_5_space_minus_Phospho_minus_D_minus_1_space_minus_ribulosylformimino_space_minus_5_minus_amino_minus_1_minus_space_5_space_space_minus_phospho_minus_D_minus_ <=> space_1_minus_space_5_space_minus_Phosphoribosyl_space_minus_5_minus_amino_minus_4_minus_imidazolecarboxamide D_minus_erythro_minus_1_minus_space_Imidazol_minus_4_minus_yl_space_glycerol_space_3_minus_phosphate 
// R01163: L_minus_Histidinal <=> L_minus_Histidine 
// R04640: space_5_minus_space_5_minus_Phospho_minus_D_minus_ribosylaminoformimino_space_minus_1_minus_space_5_minus_phosphoribosyl_space_minus_ <=> N_minus_space_5_space_minus_Phospho_minus_D_minus_1_space_minus_ribulosylformimino_space_minus_5_minus_amino_minus_1_minus_space_5_space_space_minus_phospho_minus_D_minus_ 
// R01159: N_space_pi_space_minus_Methyl_minus_L_minus_histidine <=> L_minus_Histidine 
// R04037: Phosphoribosyl_minus_AMP <=> space_5_minus_space_5_minus_Phospho_minus_D_minus_ribosylaminoformimino_space_minus_1_minus_space_5_minus_phosphoribosyl_space_minus_ 
// R03243: L_minus_Histidinol_space_phosphate => space_3_minus_space_Imidazol_minus_4_minus_yl_space_minus_2_minus_oxopropyl_space_phosphate 
// R01168: L_minus_Histidine <=> Urocanate 
// R04065: Imidazole_minus_4_minus_acetaldehyde <=> Imidazole_minus_4_minus_acetate 
// R01071: Phosphoribosyl_minus_ATP => space_5_minus_Phospho_minus_alpha_minus_D_minus_ribose_space_1_minus_diphosphate 

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 E2_space_4_space_2_space_17 = 0 M;
  real E3_space_6_space_1_space_31 = 0 M;
  real E3_space_5_space_4_space_19 = 0 M;
  real E5_space_3_space_1_space_16 = 0 M;
  real E1_space_2_space_1_space_3 = 0 M;
  real E4_space_1_space_3_space_minus_ = 0 M;
  real E4_space_2_space_1_space_19 = 0 M;
  real E2_space_6_space_1_space_9 = 0 M;
  real E2_space_1_space_1_space_minus_ = 0 M;
  real E4_space_3_space_1_space_3 = 0 M;
  real E1_space_1_space_1_space_23 = 0 M;
  real E6_space_1_space_1_space_21 = 0 M;
  real space_5_minus_Phospho_minus_alpha_minus_D_minus_ribose_space_1_minus_diphosphate(time) M;
  real Phosphoribosyl_minus_ATP(time) M;
  real Phosphoribosyl_minus_AMP(time) M;
  real space_5_minus_space_5_minus_Phospho_minus_D_minus_ribosylaminoformimino_space_minus_1_minus_space_5_minus_phosphoribosyl_space_minus_(time) M;
  real Imidazole_minus_4_minus_acetate(time) M;
  real N_minus_space_5_space_minus_Phospho_minus_D_minus_1_space_minus_ribulosylformimino_space_minus_5_minus_amino_minus_1_minus_space_5_space_space_minus_phospho_minus_D_minus_(time) M;
  real Imidazole_minus_4_minus_acetaldehyde(time) M;
  real space_1_minus_space_5_space_minus_Phosphoribosyl_space_minus_5_minus_amino_minus_4_minus_imidazolecarboxamide(time) M;
  real D_minus_erythro_minus_1_minus_space_Imidazol_minus_4_minus_yl_space_glycerol_space_3_minus_phosphate(time) M;
  real space_3_minus_space_Imidazol_minus_4_minus_yl_space_minus_2_minus_oxopropyl_space_phosphate(time) M;
  real L_minus_Histidinol_space_phosphate(time) M;
  real N_space_pi_space_minus_Methyl_minus_L_minus_histidine(time) M;
  real L_minus_Histidine(time) M;
  real Urocanate(time) M;
  real L_minus_Histidinal(time) M;
  real L_minus_Histidyl_minus_tRNA_space_His_space_(time) M;
  real R04035(time) katal;
  extern real R04035.kf;
  extern real R04035.kb;
  real R03457(time) katal;
  extern real R03457.kf;
  extern real R03457.kb;
  real R03655(time) katal;
  extern real R03655.kf;
  extern real R03655.kb;
  real R04558(time) katal;
  extern real R04558.kf;
  extern real R04558.kb;
  real R01163(time) katal;
  extern real R01163.kf;
  extern real R01163.kb;
  real R04640(time) katal;
  extern real R04640.kf;
  extern real R04640.kb;
  real R01159(time) katal;
  extern real R01159.kf;
  extern real R01159.kb;
  real R04037(time) katal;
  extern real R04037.kf;
  extern real R04037.kb;
  real R03243(time) katal;
  extern real R03243.kf;
  extern real R03243.kb;
  real R01168(time) katal;
  extern real R01168.kf;
  extern real R01168.kb;
  real R04065(time) katal;
  extern real R04065.kf;
  extern real R04065.kb;
  real R01071(time) katal;
  extern real R01071.kf;
  extern real R01071.kb;

  // equations
  when (time=time.min) space_5_minus_Phospho_minus_alpha_minus_D_minus_ribose_space_1_minus_diphosphate = 0;
  space_5_minus_Phospho_minus_alpha_minus_D_minus_ribose_space_1_minus_diphosphate:time = (R01071)/uVol;
  when (time=time.min) Phosphoribosyl_minus_ATP = 0;
  Phosphoribosyl_minus_ATP:time = (-1*R04035 + -1*R01071)/uVol;
  when (time=time.min) Phosphoribosyl_minus_AMP = 0;
  Phosphoribosyl_minus_AMP:time = (R04035 + -1*R04037)/uVol;
  when (time=time.min) space_5_minus_space_5_minus_Phospho_minus_D_minus_ribosylaminoformimino_space_minus_1_minus_space_5_minus_phosphoribosyl_space_minus_ = 0;
  space_5_minus_space_5_minus_Phospho_minus_D_minus_ribosylaminoformimino_space_minus_1_minus_space_5_minus_phosphoribosyl_space_minus_:time = (-1*R04640 + R04037)/uVol;
  when (time=time.min) Imidazole_minus_4_minus_acetate = 0;
  Imidazole_minus_4_minus_acetate:time = (R04065)/uVol;
  when (time=time.min) N_minus_space_5_space_minus_Phospho_minus_D_minus_1_space_minus_ribulosylformimino_space_minus_5_minus_amino_minus_1_minus_space_5_space_space_minus_phospho_minus_D_minus_ = 0;
  N_minus_space_5_space_minus_Phospho_minus_D_minus_1_space_minus_ribulosylformimino_space_minus_5_minus_amino_minus_1_minus_space_5_space_space_minus_phospho_minus_D_minus_:time = (-1*R04558 + R04640)/uVol;
  when (time=time.min) Imidazole_minus_4_minus_acetaldehyde = 0;
  Imidazole_minus_4_minus_acetaldehyde:time = (-1*R04065)/uVol;
  when (time=time.min) space_1_minus_space_5_space_minus_Phosphoribosyl_space_minus_5_minus_amino_minus_4_minus_imidazolecarboxamide = 0;
  space_1_minus_space_5_space_minus_Phosphoribosyl_space_minus_5_minus_amino_minus_4_minus_imidazolecarboxamide:time = (R04558)/uVol;
  when (time=time.min) D_minus_erythro_minus_1_minus_space_Imidazol_minus_4_minus_yl_space_glycerol_space_3_minus_phosphate = 0;
  D_minus_erythro_minus_1_minus_space_Imidazol_minus_4_minus_yl_space_glycerol_space_3_minus_phosphate:time = (-1*R03457 + R04558)/uVol;
  when (time=time.min) space_3_minus_space_Imidazol_minus_4_minus_yl_space_minus_2_minus_oxopropyl_space_phosphate = 0;
  space_3_minus_space_Imidazol_minus_4_minus_yl_space_minus_2_minus_oxopropyl_space_phosphate:time = (R03457 + R03243)/uVol;
  when (time=time.min) L_minus_Histidinol_space_phosphate = 0;
  L_minus_Histidinol_space_phosphate:time = (-1*R03243)/uVol;
  when (time=time.min) N_space_pi_space_minus_Methyl_minus_L_minus_histidine = 0;
  N_space_pi_space_minus_Methyl_minus_L_minus_histidine:time = (-1*R01159)/uVol;
  when (time=time.min) L_minus_Histidine = 0;
  L_minus_Histidine:time = (-1*R03655 + R01163 + R01159 + -1*R01168)/uVol;
  when (time=time.min) Urocanate = 0;
  Urocanate:time = (R01168)/uVol;
  when (time=time.min) L_minus_Histidinal = 0;
  L_minus_Histidinal:time = (-1*R01163)/uVol;
  when (time=time.min) L_minus_Histidyl_minus_tRNA_space_His_space_ = 0;
  L_minus_Histidyl_minus_tRNA_space_His_space_:time = (R03655)/uVol;
  R04035 = R04035.kf*Phosphoribosyl_minus_ATP - R04035.kb*Phosphoribosyl_minus_AMP;
  R03457 = R03457.kf*D_minus_erythro_minus_1_minus_space_Imidazol_minus_4_minus_yl_space_glycerol_space_3_minus_phosphate - R03457.kb*space_3_minus_space_Imidazol_minus_4_minus_yl_space_minus_2_minus_oxopropyl_space_phosphate;
  R03655 = R03655.kf*L_minus_Histidine - R03655.kb*L_minus_Histidyl_minus_tRNA_space_His_space_;
  R04558 = R04558.kf*N_minus_space_5_space_minus_Phospho_minus_D_minus_1_space_minus_ribulosylformimino_space_minus_5_minus_amino_minus_1_minus_space_5_space_space_minus_phospho_minus_D_minus_ - R04558.kb*space_1_minus_space_5_space_minus_Phosphoribosyl_space_minus_5_minus_amino_minus_4_minus_imidazolecarboxamide*D_minus_erythro_minus_1_minus_space_Imidazol_minus_4_minus_yl_space_glycerol_space_3_minus_phosphate;
  R01163 = R01163.kf*L_minus_Histidinal - R01163.kb*L_minus_Histidine;
  R04640 = R04640.kf*space_5_minus_space_5_minus_Phospho_minus_D_minus_ribosylaminoformimino_space_minus_1_minus_space_5_minus_phosphoribosyl_space_minus_ - R04640.kb*N_minus_space_5_space_minus_Phospho_minus_D_minus_1_space_minus_ribulosylformimino_space_minus_5_minus_amino_minus_1_minus_space_5_space_space_minus_phospho_minus_D_minus_;
  R01159 = R01159.kf*N_space_pi_space_minus_Methyl_minus_L_minus_histidine - R01159.kb*L_minus_Histidine;
  R04037 = R04037.kf*Phosphoribosyl_minus_AMP - R04037.kb*space_5_minus_space_5_minus_Phospho_minus_D_minus_ribosylaminoformimino_space_minus_1_minus_space_5_minus_phosphoribosyl_space_minus_;
  R03243 = R03243.kf*L_minus_Histidinol_space_phosphate - R03243.kb*space_3_minus_space_Imidazol_minus_4_minus_yl_space_minus_2_minus_oxopropyl_space_phosphate;
  R01168 = R01168.kf*L_minus_Histidine - R01168.kb*Urocanate;
  R04065 = R04065.kf*Imidazole_minus_4_minus_acetaldehyde - R04065.kb*Imidazole_minus_4_minus_acetate;
  R01071 = R01071.kf*Phosphoribosyl_minus_ATP - R01071.kb*space_5_minus_Phospho_minus_alpha_minus_D_minus_ribose_space_1_minus_diphosphate;

  // variable properties
  default.sbmlRole="compartment";
  uVol.sbmlRole="compartment";
  E2_space_4_space_2_space_17.sbmlRole="species";
  E2_space_4_space_2_space_17.sbmlCompartment="uVol";
  E3_space_6_space_1_space_31.sbmlRole="species";
  E3_space_6_space_1_space_31.sbmlCompartment="uVol";
  E3_space_5_space_4_space_19.sbmlRole="species";
  E3_space_5_space_4_space_19.sbmlCompartment="uVol";
  E5_space_3_space_1_space_16.sbmlRole="species";
  E5_space_3_space_1_space_16.sbmlCompartment="uVol";
  E1_space_2_space_1_space_3.sbmlRole="species";
  E1_space_2_space_1_space_3.sbmlCompartment="uVol";
  E4_space_1_space_3_space_minus_.sbmlRole="species";
  E4_space_1_space_3_space_minus_.sbmlCompartment="uVol";
  E4_space_2_space_1_space_19.sbmlRole="species";
  E4_space_2_space_1_space_19.sbmlCompartment="uVol";
  E2_space_6_space_1_space_9.sbmlRole="species";
  E2_space_6_space_1_space_9.sbmlCompartment="uVol";
  E2_space_1_space_1_space_minus_.sbmlRole="species";
  E2_space_1_space_1_space_minus_.sbmlCompartment="uVol";
  E4_space_3_space_1_space_3.sbmlRole="species";
  E4_space_3_space_1_space_3.sbmlCompartment="uVol";
  E1_space_1_space_1_space_23.sbmlRole="species";
  E1_space_1_space_1_space_23.sbmlCompartment="uVol";
  E6_space_1_space_1_space_21.sbmlRole="species";
  E6_space_1_space_1_space_21.sbmlCompartment="uVol";
  space_5_minus_Phospho_minus_alpha_minus_D_minus_ribose_space_1_minus_diphosphate.sbmlRole="species";
  space_5_minus_Phospho_minus_alpha_minus_D_minus_ribose_space_1_minus_diphosphate.sbmlCompartment="uVol";
  Phosphoribosyl_minus_ATP.sbmlRole="species";
  Phosphoribosyl_minus_ATP.sbmlCompartment="uVol";
  Phosphoribosyl_minus_AMP.sbmlRole="species";
  Phosphoribosyl_minus_AMP.sbmlCompartment="uVol";
  space_5_minus_space_5_minus_Phospho_minus_D_minus_ribosylaminoformimino_space_minus_1_minus_space_5_minus_phosphoribosyl_space_minus_.sbmlRole="species";
  space_5_minus_space_5_minus_Phospho_minus_D_minus_ribosylaminoformimino_space_minus_1_minus_space_5_minus_phosphoribosyl_space_minus_.sbmlCompartment="uVol";
  Imidazole_minus_4_minus_acetate.sbmlRole="species";
  Imidazole_minus_4_minus_acetate.sbmlCompartment="uVol";
  N_minus_space_5_space_minus_Phospho_minus_D_minus_1_space_minus_ribulosylformimino_space_minus_5_minus_amino_minus_1_minus_space_5_space_space_minus_phospho_minus_D_minus_.sbmlRole="species";
  N_minus_space_5_space_minus_Phospho_minus_D_minus_1_space_minus_ribulosylformimino_space_minus_5_minus_amino_minus_1_minus_space_5_space_space_minus_phospho_minus_D_minus_.sbmlCompartment="uVol";
  Imidazole_minus_4_minus_acetaldehyde.sbmlRole="species";
  Imidazole_minus_4_minus_acetaldehyde.sbmlCompartment="uVol";
  space_1_minus_space_5_space_minus_Phosphoribosyl_space_minus_5_minus_amino_minus_4_minus_imidazolecarboxamide.sbmlRole="species";
  space_1_minus_space_5_space_minus_Phosphoribosyl_space_minus_5_minus_amino_minus_4_minus_imidazolecarboxamide.sbmlCompartment="uVol";
  D_minus_erythro_minus_1_minus_space_Imidazol_minus_4_minus_yl_space_glycerol_space_3_minus_phosphate.sbmlRole="species";
  D_minus_erythro_minus_1_minus_space_Imidazol_minus_4_minus_yl_space_glycerol_space_3_minus_phosphate.sbmlCompartment="uVol";
  space_3_minus_space_Imidazol_minus_4_minus_yl_space_minus_2_minus_oxopropyl_space_phosphate.sbmlRole="species";
  space_3_minus_space_Imidazol_minus_4_minus_yl_space_minus_2_minus_oxopropyl_space_phosphate.sbmlCompartment="uVol";
  L_minus_Histidinol_space_phosphate.sbmlRole="species";
  L_minus_Histidinol_space_phosphate.sbmlCompartment="uVol";
  N_space_pi_space_minus_Methyl_minus_L_minus_histidine.sbmlRole="species";
  N_space_pi_space_minus_Methyl_minus_L_minus_histidine.sbmlCompartment="uVol";
  L_minus_Histidine.sbmlRole="species";
  L_minus_Histidine.sbmlCompartment="uVol";
  Urocanate.sbmlRole="species";
  Urocanate.sbmlCompartment="uVol";
  L_minus_Histidinal.sbmlRole="species";
  L_minus_Histidinal.sbmlCompartment="uVol";
  L_minus_Histidyl_minus_tRNA_space_His_space_.sbmlRole="species";
  L_minus_Histidyl_minus_tRNA_space_His_space_.sbmlCompartment="uVol";
  R04035.sbmlRole="rate";
  R04035.kf.sbmlRole="rate";
  R04035.kb.sbmlRole="rate";
  R03457.sbmlRole="rate";
  R03457.kf.sbmlRole="rate";
  R03457.kb.sbmlRole="rate";
  R03655.sbmlRole="rate";
  R03655.kf.sbmlRole="rate";
  R03655.kb.sbmlRole="rate";
  R04558.sbmlRole="rate";
  R04558.kf.sbmlRole="rate";
  R04558.kb.sbmlRole="rate";
  R01163.sbmlRole="rate";
  R01163.kf.sbmlRole="rate";
  R01163.kb.sbmlRole="rate";
  R04640.sbmlRole="rate";
  R04640.kf.sbmlRole="rate";
  R04640.kb.sbmlRole="rate";
  R01159.sbmlRole="rate";
  R01159.kf.sbmlRole="rate";
  R01159.kb.sbmlRole="rate";
  R04037.sbmlRole="rate";
  R04037.kf.sbmlRole="rate";
  R04037.kb.sbmlRole="rate";
  R03243.sbmlRole="rate";
  R03243.kf.sbmlRole="rate";
  R03243.kb.sbmlRole="rate";
  R01168.sbmlRole="rate";
  R01168.kf.sbmlRole="rate";
  R01168.kb.sbmlRole="rate";
  R04065.sbmlRole="rate";
  R04065.kf.sbmlRole="rate";
  R04065.kb.sbmlRole="rate";
  R01071.sbmlRole="rate";
  R01071.kf.sbmlRole="rate";
  R01071.kb.sbmlRole="rate";
}