You are a program that converts biochemical reactions written in natural language into Antimony language. First, remember the following conversion rules.

# Conversion rules
| Natural language | Antimony language | 
| E catalyzes the conversion of X to Y | X -> Y ; kcat_E_X_Y * E * X / ( Km_E_X_Y + X ) ; kcat_E_X_Y = 1 ; Km_E_X_Y = 1; E = 1 |
| X is phosphorylated | X -> X_P ; Vp_X * X / ( Km_X + X ) ; Vp_X = 1 ; Km_X = 1 |
| X is converted into Y | X -> Y ; kc_X_Y * X; kc_X_Y = 1 |
| X and Y bind to form Z | X + Y -> Z ; ka_X_Y_Z * X * Y ; ka_X_Y_Z = 1 |
| X dissociates into Y and Z | X -> Y + Z ; kd_X_Y_Z * X ; kd_X_Y_Z = 1 |
| X is produced (or transcribed) | -> X ; km_X ; km_X  = 1 |
| Expression of X is repressed (or negatively regulated or downregulated) by R | -> X ; km_X_R * K_X_R ^ n_X_R / ( K_X_R ^ n_X_R + R ^ n_X_R ) ; km_X_R = 1 ; K_X_R = 1 ; n_X_R = 1 |
| Expression of X is activated (or positively regulated or upregulated) by A | -> X ; km_X_A * A ^ n_X_A / ( K_X_A ^ n_X_A + A ^ n_X_A ) ; km_X_A = 1 ; K_X_A = 1 ; n_X_A = 1 |
| Y is translated from X | -> Y ; kp_X_Y * X ; kp_X_Y = 1 |
| X degrades (or decays) | X -> ; kdeg_X * X ; kdeg_X = 1 |
| X (concentration) is Y M (or mM or uM or nM or pM) | X = Y |

# Examples
"The expression of G is negatively regulated by R." is converted into "-> G ; km_G_R * K_G_R ^ n_G_R / ( K_G_R ^ n_G_R + R ^ n_G_R ) ; km_G_R = 1 ; K_G_R = 1 ; n_G_R = 1"
"G is upregulated by A." is converted into "-> G ; km_G_A * A ^ n_G_A / ( K_G_A ^ n_G_A + A ^ n_G_A ) ; km_G_A = 1 ; K_G_A = 1 ; n_G_A = 1"

Using the conversion rules provided, convert the biochemical reactions listed below into Antimony language. After converting each reaction, create a bullet point list that includes all the resulting expressions. In the list, show one reaction per line. No need to provide further explanations, just present the list. Start each line with '-'.

Substrate S is converted into product P through intermediates M1 and M2. The metabolic reactions are catalyzed by three enzymes, E1, E2, and E3. The expression of mRNAs G1, G2, and G3 is repressed by the metabolites M1, M2, and P, respectively. The proteins E1, E2, and E3 are translated from G1, G2, and G3, respectively. E1, E2, E3, G1, G2, and G3 degrade. The initial concentration of S is 1.

- S -> M1 ; kcat_E1_S_M1 * E1 * S / ( Km_E1_S_M1 + S ) ; kcat_E1_S_M1 = 1 ; Km_E1_S_M1 = 1; E1 = 1
- M1 -> M2 ; kcat_E2_M1_M2 * E2 * M1 / ( Km_E2_M1_M2 + M1 ) ; kcat_E2_M1_M2 = 1 ; Km_E2_M1_M2 = 1; E2 = 1
- M2 -> P ; kcat_E3_M2_P * E3 * M2 / ( Km_E3_M2_P + M2 ) ; kcat_E3_M2_P = 1 ; Km_E3_M2_P = 1; E3 = 1
- -> G1 ; km_G1_M1 * K_G1_M1 ^ n_G1_M1 / ( K_G1_M1 ^ n_G1_M1 + M1 ^ n_G1_M1 ) ; km_G1_M1 = 1 ; K_G1_M1 = 1 ; n_G1_M1 = 1
- -> G2 ; km_G2_M2 * K_G2_M2 ^ n_G2_M2 / ( K_G2_M2 ^ n_G2_M2 + M2 ^ n_G2_M2 ) ; km_G2_M2 = 1 ; K_G2_M2 = 1 ; n_G2_M2 = 1
- -> G3 ; km_G3_P * K_G3_P ^ n_G3_P / ( K_G3_P ^ n_G3_P + P ^ n_G3_P ) ; km_G3_P = 1 ; K_G3_P = 1 ; n_G3_P = 1
- -> E1 ; kp_G1_E1 * G1 ; kp_G1_E1 = 1
- -> E2 ; kp_G2_E2 * G2 ; kp_G2_E2 = 1
- -> E3 ; kp_G3_E3 * G3 ; kp_G3_E3 = 1
- G1 -> ; kdeg_G1 * G1 ; kdeg_G1 = 1
- G2 -> ; kdeg_G2 * G2 ; kdeg_G2 = 1
- G3 -> ; kdeg_G3 * G3 ; kdeg_G3 = 1
- E1 -> ; kdeg_E1 * E1 ; kdeg_E1 = 1
- E2 -> ; kdeg_E2 * E2 ; kdeg_E2 = 1
- E3 -> ; kdeg_E3 * E3 ; kdeg_E3 = 1
- S = 1
####
