:-dynamic(model/1).
:-dynamic(modelname/1).
:-dynamic(m1/1).
:-dynamic(r/2).
:-dynamic(int/1).




m(X):-m1(X=_).
m1('M_Raf'='n_M_Raf').
m1('M_RasGTP'='n_M_RasGTP').
m1('M_Raf_M_RasGTP'='0').
m1('M_RafP'='0').
m1('M_RafP_M_Phase1'='0').
m1('M_MEK_M_RafP'='0').
m1('M_MEKP_M_RafP'='0').
m1('M_MEKP_M_Phase2'='0').
m1('M_MEKPP_M_Phase2'='0').
m1('M_ERK'='n_M_ERK').
m1('M_ERK_M_MEKPP'='0').
m1('M_ERKP_M_MEKPP'='0').
m1('M_ERKP'='0').
m1('M_MEKPP'='0').
m1('M_ERKPP_M_Phase3'='0').
m1('M_ERKP_M_Phase3'='0').
m1('M_MEKP'='0').
m1('M_ERKPP'='0').
m1('M_Phase2'='n_M_Phase2').
m1('M_Phase3'='n_M_Phase3').
m1('M_MEK'='n_M_MEK').
m1('M_Phase1'='n_M_Phase1').

r('R_TC_0_k3',['M_RafP'+1 , 'M_RasGTP'+1 , 'M_Raf_M_RasGTP'-1]).
r('R_TC_1_k6',['M_Raf'+1 , 'M_Phase1'+1 , 'M_RafP_M_Phase1'-1]).
r('R_TC_2_k21',['M_ERKP'+1 , 'M_MEKPP'+1 , 'M_ERK_M_MEKPP'-1]).
r('R_TC_3_k18',['M_MEK'+1 , 'M_Phase2'+1 , 'M_MEKP_M_Phase2'-1]).
r('R_TC_4_k9',['M_MEKP'+1 , 'M_RafP'+1 , 'M_MEK_M_RafP'-1]).
r('R_TC_5_k12',['M_MEKPP'+1 , 'M_RafP'+1 , 'M_MEKP_M_RafP'-1]).
r('R_TC_6_k15',['M_Phase2'+1 , 'M_MEKP'+1 , 'M_MEKPP_M_Phase2'-1]).
r('R_TC_7_k24',['M_ERKPP'+1 , 'M_MEKPP'+1 , 'M_ERKP_M_MEKPP'-1]).
r('R_TC_8_k1',['M_Raf_M_RasGTP'+1 , 'M_Raf'-1 , 'M_RasGTP'-1]).
r('R_TC_9_k2',['M_RasGTP'+1 , 'M_Raf'+1 , 'M_Raf_M_RasGTP'-1]).
r('R_TC_10_k27',['M_Phase3'+1 , 'M_ERKP'+1 , 'M_ERKPP_M_Phase3'-1]).
r('R_TC_11_k30',['M_ERK'+1 , 'M_Phase3'+1 , 'M_ERKP_M_Phase3'-1]).
r('R_TC_12_k16',['M_MEKP_M_Phase2'+1 , 'M_Phase2'-1 , 'M_MEKP'-1]).
r('R_TC_13_k17',['M_Phase2'+1 , 'M_MEKP'+1 , 'M_MEKP_M_Phase2'-1]).
r('R_TC_14_k29',['M_Phase3'+1 , 'M_ERKP'+1 , 'M_ERKP_M_Phase3'-1]).
r('R_TC_15_k28',['M_ERKP_M_Phase3'+1 , 'M_Phase3'-1 , 'M_ERKP'-1]).
r('R_TC_16_k14',['M_Phase2'+1 , 'M_MEKPP'+1 , 'M_MEKPP_M_Phase2'-1]).
r('R_TC_17_k13',['M_MEKPP_M_Phase2'+1 , 'M_Phase2'-1 , 'M_MEKPP'-1]).
r('R_TC_18_k5',['M_Phase1'+1 , 'M_RafP'+1 , 'M_RafP_M_Phase1'-1]).
r('R_TC_19_k4',['M_RafP_M_Phase1'+1 , 'M_Phase1'-1 , 'M_RafP'-1]).
r('R_TC_20_k26',['M_Phase3'+1 , 'M_ERKPP'+1 , 'M_ERKPP_M_Phase3'-1]).
r('R_TC_21_k25',['M_ERKPP_M_Phase3'+1 , 'M_Phase3'-1 , 'M_ERKPP'-1]).
r('R_TC_22_k11',['M_RafP'+1 , 'M_MEKP'+1 , 'M_MEKP_M_RafP'-1]).
r('R_TC_23_k8',['M_RafP'+1 , 'M_MEK'+1 , 'M_MEK_M_RafP'-1]).
r('R_TC_24_k23',['M_MEKPP'+1 , 'M_ERKP'+1 , 'M_ERKP_M_MEKPP'-1]).
r('R_TC_25_k20',['M_MEKPP'+1 , 'M_ERK'+1 , 'M_ERK_M_MEKPP'-1]).
r('R_TC_26_k7',['M_MEK_M_RafP'+1 , 'M_RafP'-1 , 'M_MEK'-1]).
r('R_TC_27_k10',['M_MEKP_M_RafP'+1 , 'M_RafP'-1 , 'M_MEKP'-1]).
r('R_TC_28_k19',['M_ERK_M_MEKPP'+1 , 'M_MEKPP'-1 , 'M_ERK'-1]).
r('R_TC_29_k22',['M_ERKP_M_MEKPP'+1 , 'M_MEKPP'-1 , 'M_ERKP'-1]).
