certificate reactions coincide with the referee reading of the SBML file: True
all 158 rate constants positive: True | range 1.000e-08 .. 1.000e+03
x1, x3 positive and distinct: True True True
f(x1) = 0 exactly: True
f(x3) = 0 exactly: True
x3 - x1 in S: True
  class total TCR  equal at x1,x3: True  value ~ 475.701551
  class total pMHC equal at x1,x3: True  value ~ 454.100871
  class total Lck  equal at x1,x3: True  value ~ 100000.000000
  class total ZAP  equal at x1,x3: True  value ~ 100000.000000
  class total CD8  equal at x1,x3: True  value ~ 1.000000
  free pMHC: x1 ~ 0.005388694, x3 ~ 213.94455
  (0.1s)
eliminated (pivot) species: ['CD8', 'CD8Complex', 'CD8Complex_2ZAP', 'CD8TCR_2ZAP', 'Lck']
x1: J|_S 52x52 | float64 max Re(eig) = -2.7715e-03, min Re(eig) = -1.7074e+03 | exact: P>0 True, -(B^T P + P B) - tau I > 0 True  (tau/min diag = 2.61e-60; 3.6s)
x3: J|_S 52x52 | float64 max Re(eig) = -7.3395e-05, min Re(eig) = -2.1394e+04 | exact: P>0 True, -(B^T P + P B) - tau I > 0 True  (tau/min diag = 1.16e-58; 3.6s)
total 7.3s
