begin name
panteleev3
end name

begin reactions
reaction1 {1.0}X + {1.0}VIIaTF = {1.0}VIIaTFX
reaction2 {1.0}VIIaTFX = {1.0}VIIaTFXa
reaction3 {1.0}VIIaTFXa = {1.0}Xa + {1.0}VIIaTF
reaction4 {1.0}Xa + {1.0}TFPI = {1.0}XaTFPI
reaction5 {1.0}VIIaTF + {1.0}XaTFPI = {1.0}XaTFPIVIIaTF
end reactions

begin rate equations
reaction1 = compartment*(-(reaction1k2*VIIaTFX[t]) + reaction1k1*VIIaTF[t]*X[t])
reaction2 = compartment*reaction2k1*VIIaTFX[t]
reaction3 = compartment*(reaction3k1*VIIaTFXa[t] - reaction3k2*VIIaTF[t]*Xa[t])
reaction4 = compartment*(reaction4k1*TFPI[t]*Xa[t] - reaction4k2*XaTFPI[t])
reaction5 = compartment*(reaction5k1*VIIaTF[t]*XaTFPI[t] - reaction5k2*XaTFPIVIIaTF[t])
end rate equations

begin parameters
reaction1k1 = 5.0
reaction1k2 = 770.0
reaction2k1 = 420.0
reaction3k1 = 770.0
reaction3k2 = 5.0
reaction4k1 = 0.054
reaction4k2 = 0.02
reaction5k1 = 0.44
reaction5k2 = 0.066
compartment = 1.0
end parameters

begin initial conditions
TFPI[0] = TFPIi
VIIaTF[0] = VIIaTFi
VIIaTFX[0] = VIIaTFXi
VIIaTFXa[0] = VIIaTFXai
X[0] = Xi
Xa[0] = Xai
XaTFPI[0] = XaTFPIi
XaTFPIVIIaTF[0] = XaTFPIVIIaTFi
end initial conditions

begin initial values
TFPIi = 2.399999
VIIaTFi = 0.9999997
VIIaTFXi = 0.0
VIIaTFXai = 0.0
Xi = 169.9999
Xai = 0.0
XaTFPIi = 0.0
XaTFPIVIIaTFi = 0.0
end initial values

begin assignment rules
end assignment rules

begin function definitions
end function definitions

begin events
end events

begin process annotations
end process annotations

begin species annotations
TFPI http://identifiers.org/uniprot/P10646
X http://identifiers.org/uniprot/P00742
Xa http://identifiers.org/uniprot/P00742
end species annotations

begin units
end units