begin name
butenas1
end name

begin reactions
R1 {1.0}TF + {1.0}VII = {1.0}TFVII
R10 {1.0}IIa + {1.0}VIII = {1.0}IIa + {1.0}VIIIa
R11 {1.0}IXa + {1.0}VIIIa = {1.0}IXaVIIIa
R12 {1.0}IXaVIIIa + {1.0}X = {1.0}IXaVIIIaX
R12b {1.0}IXaVIIIaX = {1.0}IXaVIIIa + {1.0}Xa
R13 {1.0}VIIIa = {1.0}VIIIa1L + {1.0}VIIIa2
R14 {1.0}IXaVIIIaX = {1.0}VIIIa1L + {1.0}VIIIa2 + {1.0}X + {1.0}IXa
R15 {1.0}IXaVIIIa = {1.0}VIIIa1L + {1.0}VIIIa2 + {1.0}IXa
R16 {1.0}IIa + {1.0}V = {1.0}IIa + {1.0}Va
R17 {1.0}Xa + {1.0}Va = {1.0}XaVa
R18 {1.0}XaVa + {1.0}II = {1.0}XaVaII
R18b {1.0}XaVaII = {1.0}XaVa + {1.0}mIIa
R19 {1.0}mIIa + {1.0}XaVa = {1.0}IIa + {1.0}XaVa
R2 {1.0}TF + {1.0}VIIa = {1.0}TFVIIa
R20 {1.0}Xa + {1.0}TFPI = {1.0}XaTFPI
R21 {1.0}TFVIIaXa + {1.0}TFPI = {1.0}TFVIIaXaTFPI
R22 {1.0}TFVIIa + {1.0}XaTFPI = {1.0}TFVIIaXaTFPI
R23 {1.0}Xa + {1.0}ATIII = {1.0}XaATIII
R24 {1.0}mIIa + {1.0}ATIII = {1.0}mIIaATIII
R25 {1.0}IXa + {1.0}ATIII = {1.0}IXaATIII
R26 {1.0}IIa + {1.0}ATIII = {1.0}IIaATIII
R27 {1.0}TFVIIa + {1.0}ATIII = {1.0}TFVIIaATIII
R28 {1.0}IXa + {1.0}X = {1.0}IXa + {1.0}Xa
R29 {1.0}mIIa + {1.0}V = {1.0}mIIa + {1.0}Va
R3 {1.0}TFVIIa + {1.0}VII = {1.0}TFVIIa + {1.0}VIIa
R4 {1.0}Xa + {1.0}VII = {1.0}Xa + {1.0}VIIa
R5 {1.0}IIa + {1.0}VII = {1.0}IIa + {1.0}VIIa
R6 {1.0}TFVIIa + {1.0}X = {1.0}TFVIIaX
R6b {1.0}TFVIIaX = {1.0}TFVIIaXa
R7 {1.0}TFVIIa + {1.0}Xa = {1.0}TFVIIaXa
R8 {1.0}TFVIIa + {1.0}IX = {1.0}TFVIIaIX
R8b {1.0}TFVIIaIX = {1.0}TFVIIa + {1.0}IXa
R9 {1.0}Xa + {1.0}II = {1.0}Xa + {1.0}IIa
end reactions

begin rate equations
R1 = compartment1*(-(k1*TFVII[t]) + k2*TF[t]*VII[t])
R10 = compartment1*k17*IIa[t]*VIII[t]
R11 = compartment1*(-(k18*IXaVIIIa[t]) + k19*IXa[t]*VIIIa[t])
R12 = compartment1*(-(k20*IXaVIIIaX[t]) + k21*IXaVIIIa[t]*X[t])
R12b = compartment1*k22*IXaVIIIaX[t]
R13 = compartment1*(k24*VIIIa[t] - k23*VIIIa1L[t]*VIIIa2[t])
R14 = compartment1*k25*IXaVIIIaX[t]
R15 = compartment1*k25*IXaVIIIa[t]
R16 = compartment1*k26*IIa[t]*V[t]
R17 = compartment1*(k28*Va[t]*Xa[t] - k27*XaVa[t])
R18 = compartment1*(k30*II[t]*XaVa[t] - k29*XaVaII[t])
R18b = compartment1*k31*XaVaII[t]
R19 = compartment1*k32*mIIa[t]*XaVa[t]
R2 = compartment1*(-(k3*TFVIIa[t]) + k4*TF[t]*VIIa[t])
R20 = compartment1*(k34*TFPI[t]*Xa[t] - k33*XaTFPI[t])
R21 = compartment1*(k36*TFPI[t]*TFVIIaXa[t] - k35*TFVIIaXaTFPI[t])
R22 = compartment1*k37*TFVIIa[t]*XaTFPI[t]
R23 = compartment1*k38*ATIII[t]*Xa[t]
R24 = compartment1*k39*ATIII[t]*mIIa[t]
R25 = compartment1*k40*ATIII[t]*IXa[t]
R26 = compartment1*k41*ATIII[t]*IIa[t]
R27 = compartment1*k42*ATIII[t]*TFVIIa[t]
R28 = compartment1*k43*IXa[t]*X[t]
R29 = compartment1*k44*mIIa[t]*V[t]
R3 = compartment1*k5*TFVIIa[t]*VII[t]
R4 = compartment1*k6*VII[t]*Xa[t]
R5 = compartment1*k7*IIa[t]*VII[t]
R6 = compartment1*(-(k8*TFVIIaX[t]) + k9*TFVIIa[t]*X[t])
R6b = compartment1*k10*TFVIIaX[t]
R7 = compartment1*(-(k11*TFVIIaXa[t]) + k12*TFVIIa[t]*Xa[t])
R8 = compartment1*(k14*IX[t]*TFVIIa[t] - k13*TFVIIaIX[t])
R8b = compartment1*k15*TFVIIaIX[t]
R9 = compartment1*k16*II[t]*Xa[t]
end rate equations

begin parameters
k1 = 0.0031
k10 = 6.0
k11 = 19.0
k12 = 22000000.0
k13 = 2.4
k14 = 10000000.0
k15 = 1.8
k16 = 7500.0
k17 = 20000000.0
k18 = 0.005
k19 = 10000000.0
k2 = 3200000.0
k20 = 0.001
k21 = 100000000.0
k22 = 8.2
k23 = 22000.0
k24 = 0.006
k25 = 0.001
k26 = 20000000.0
k27 = 0.2
k28 = 400000000.0
k29 = 103.0
k3 = 0.0031
k30 = 100000000.0
k31 = 63.5
k32 = 15000000.0
k33 = 0.00036
k34 = 900000.0
k35 = 0.00011
k36 = 320000000.0
k37 = 50000000.0
k38 = 1500.0
k39 = 7100.0
k4 = 23000000.0
k40 = 490.0
k41 = 7100.0
k42 = 230.0
k43 = 5700.0
k44 = 3000000.0
k5 = 440000.0
k6 = 13000000.0
k7 = 23000.0
k8 = 1.05
k9 = 25000000.0
compartment1 = 1.0
end parameters

begin initial conditions
ATIII[0] = ATIIIi
II[0] = IIi
IIa[0] = IIai
IIaATIII[0] = IIaATIIIi
IX[0] = IXi
IXa[0] = IXai
IXaATIII[0] = IXaATIIIi
IXaVIIIa[0] = IXaVIIIai
IXaVIIIaX[0] = IXaVIIIaXi
TF[0] = TFi
TFPI[0] = TFPIi
TFVII[0] = TFVIIi
TFVIIa[0] = TFVIIai
TFVIIaATIII[0] = TFVIIaATIIIi
TFVIIaIX[0] = TFVIIaIXi
TFVIIaX[0] = TFVIIaXi
TFVIIaXa[0] = TFVIIaXai
TFVIIaXaTFPI[0] = TFVIIaXaTFPIi
V[0] = Vi
VII[0] = VIIi
VIII[0] = VIIIi
VIIIa[0] = VIIIai
VIIIa1L[0] = VIIIa1Li
VIIIa2[0] = VIIIa2i
VIIa[0] = VIIai
Va[0] = Vai
X[0] = Xi
Xa[0] = Xai
XaATIII[0] = XaATIIIi
XaTFPI[0] = XaTFPIi
XaVa[0] = XaVai
XaVaII[0] = XaVaIIi
mIIa[0] = mIIai
mIIaATIII[0] = mIIaATIIIi
end initial conditions

begin initial values
ATIIIi = 3.4e-06
IIi = 1.4e-06
IIai = 1e-09
IIaATIIIi = 0.0
IXi = 9e-08
IXai = 2.1e-10
IXaATIIIi = 0.0
IXaVIIIai = 0.0
IXaVIIIaXi = 0.0
TFi = 0.0
TFPIi = 2.5e-09
TFVIIi = 0.0
TFVIIai = 0.0
TFVIIaATIIIi = 0.0
TFVIIaIXi = 0.0
TFVIIaXi = 0.0
TFVIIaXai = 0.0
TFVIIaXaTFPIi = 0.0
Vi = 2e-08
VIIi = 1e-08
VIIIi = 7e-10
VIIIai = 0.0
VIIIa1Li = 0.0
VIIIa2i = 0.0
VIIai = 1e-10
Vai = 0.0
Xi = 1.6e-07
Xai = 9.4e-11
XaATIIIi = 0.0
XaTFPIi = 0.0
XaVai = 0.0
XaVaIIi = 0.0
mIIai = 0.0
mIIaATIIIi = 0.0
end initial values

begin assignment rules
IIaplus12mIIa := IIa[t] + 1.2*mIIa[t]
end assignment rules

begin function definitions
end function definitions

begin events
end events

begin process annotations
end process annotations

begin species annotations
ATIII http://identifiers.org/uniprot/P01008
II http://identifiers.org/uniprot/P00734
IIa http://identifiers.org/uniprot/P00734
IX http://identifiers.org/uniprot/P00740
IXa http://identifiers.org/uniprot/P00740
TF http://identifiers.org/uniprot/P13726
TFPI http://identifiers.org/uniprot/P10646
V http://identifiers.org/uniprot/P12259
VII http://identifiers.org/uniprot/P08709
VIII http://identifiers.org/uniprot/P00451
VIIIa http://identifiers.org/uniprot/P00451
VIIIa1_L http://identifiers.org/uniprot/P00451
VIIIa2 http://identifiers.org/uniprot/P00451
VIIa http://identifiers.org/uniprot/P08709
Va http://identifiers.org/uniprot/P12259
X http://identifiers.org/uniprot/P00742
Xa http://identifiers.org/uniprot/P00742
mIIa http://identifiers.org/uniprot/P00734
end species annotations

begin units
end units