===== def-1, MM collapsed, Lck const, ZAP dynamic
== def-1, MM collapsed, Lck const, ZAP dynamic: species=10 complexes=11 linkage=3 rank=7 deficiency=1 reactions=15 weakly_rev=False
   linkage-class deficiencies [0, 0, 0]  sum 0  terminal SLCs per LC [1, 1, 1]
   Deficiency One Theorem hypotheses satisfied: False
species 10 rank 7 conservation laws 3
  W: 1*Complex + 1*Complex_ITAM1_P + 1*Complex_ITAM1_PP + -1*TCR_ZAP + -1*ZAP70 + 1*pMHC1
  W: 1*Complex_ZAP + 1*Complex_ZAP_ITAM2_P + 1*Complex_ZAP_ITAM2_PP + 1*TCR_ZAP + 1*ZAP70
  W: 1*TCR + 1*TCR_ZAP + -1*pMHC1
det M: 400 monomials, 0 positive, 400 negative; expected sign (-1)^s = -1
===== def-1, MM collapsed, Lck const, ZAP const
== def-1, MM collapsed, Lck const, ZAP const: species=9 complexes=10 linkage=2 rank=7 deficiency=1 reactions=15 weakly_rev=False
   linkage-class deficiencies [0, 0]  sum 0  terminal SLCs per LC [1, 1]
   Deficiency One Theorem hypotheses satisfied: False
species 9 rank 7 conservation laws 2
  W: 1*Complex + 1*Complex_ITAM1_P + 1*Complex_ITAM1_PP + 1*Complex_ZAP + 1*Complex_ZAP_ITAM2_P + 1*Complex_ZAP_ITAM2_PP + 1*pMHC1
  W: 1*TCR + 1*TCR_ZAP + -1*pMHC1
det M: 208 monomials, 0 positive, 208 negative; expected sign (-1)^s = -1
===== def-1, MM intermediates, Lck const, ZAP dynamic
== def-1, MM intermediates, Lck const, ZAP dynamic: species=14 complexes=15 linkage=3 rank=11 deficiency=1 reactions=23 weakly_rev=False
   linkage-class deficiencies [0, 0, 0]  sum 0  terminal SLCs per LC [1, 1, 1]
   Deficiency One Theorem hypotheses satisfied: False
species 14 rank 11 conservation laws 3
  W: 1*Complex + 1*Complex_ITAM1_P + 1*Complex_ITAM1_PP + 1*Node3 + 1*Node6 + -1*TCR_ZAP + -1*ZAP70 + 1*pMHC1
  W: 1*Complex_ZAP + 1*Complex_ZAP_ITAM2_P + 1*Complex_ZAP_ITAM2_PP + 1*Node10 + 1*Node12 + 1*TCR_ZAP + 1*ZAP70
  W: 1*TCR + 1*TCR_ZAP + -1*pMHC1
det M: 3100 monomials, 0 positive, 3100 negative; expected sign (-1)^s = -1
done-inj
