Factor II lipid binding
II_f + {100.0}LIPID > II_l
Factor X lipid binding
X_f + {100.0}LIPID > X_l
Factor Xa lipid binding
Xa_f + {100.0}LIPID > Xa_l
APC lipid binding
APC_f + {100.0}LIPID > APC_l
PS lipid binding
PS_f + {100.0}LIPID > PS_l
Factor Vai lipid binding
Vai_f + {100.0}LIPID > Vai_l
PC lipid binding
PC_f + {100.0}LIPID > PC_l
Factor mIIa lipid binding
mIIa_f + {100.0}LIPID > mIIa_l
Factor V lipid binding
V_f + {100.0}LIPID > V_l
Factor Va lipid binding
Va_f + {100.0}LIPID > Va_l
Factor VII lipid binding
VII_f + {100.0}LIPID > VII_l
Factor VIIa lipid binding
VIIa_f + {100.0}LIPID > VIIa_l
TF_VIIa binding
VIIa_l + TF_l > TF_VIIa_l
IIa_f + V_l > V_IIa_l
V_IIa_l > IIa_f + Va_l
II_l + Xa_Va_l > Xa_Va_II_l
mIIa_l + Xa_Va_l > Xa_Va_mIIa_l
Xa_Va_II_l > Xa_Va_mIIa_l
Xa_Va_mIIa_l > IIa_f + Xa_Va_l + {100.0}LIPID
Xa_l + VII_l > VII_Xa_l
VII_Xa_l > Xa_l + VIIa_l
Va_l + APC_PS_l > APC_PS_Va_l
APC_PS_Va_l > Vai_l + APC_PS_l
TF_VII binding
VII_l + TF_l > TF_VII_l
Xa_f + TFPI_f > TFPI_Xa_l
TF_VIIa_l + TFPI_Xa_l > TFPI_Xa_TF_VIIa_l
AT_f + Xa_f > Xa_AT_f
AT_f + IIa_f > IIa_AT_f
mIIa_l + V_l > V_mIIa_l
V_mIIa_l > mIIa_l + Va_l
TM_l + IIa_f > IIa_TM_l
PC_l + IIa_TM_l > IIa_TM_PC_l
IIa_TM_PC_l > APC_l + IIa_TM_l
AT_f + mIIa_f > mIIa_AT_l
PS_l + APC_l > APC_PS_l
R33
alpha2M_l + IIa_f > alpha2M_IIa_l
R34
alpha2M_l + Xa_f > alpha2M_Xa_l
X_TF_VIIa complex formation
X_l + TF_VIIa_l > TF_VIIa_X_l
Factor X activation
TF_VIIa_X_l > TF_VIIa_Xa_l
Factor Xa release
TF_VIIa_Xa_l > Xa_l + TF_VIIa_l
Xa_TF_VII binding
Xa_l + TF_VII_l > TF_VII_Xa_l
TF_VII activation
TF_VII_Xa_l > Xa_l + TF_VIIa_l
Va_Xa binding
Va_l + Xa_l > Xa_Va_l
V_Xa binding
Xa_l + V_l > V_Xa_l
Factor V activation
V_Xa_l > Xa_l + Va_l
Note that constraints are not enforced in simulations. It remains the responsibility of the user to verify that simulation results satisfy these constraints.