Prop 3.1 formula and monotonicity on 30 random rational instances of N(1,coll,const): True
Prop 3.1 formula and monotonicity on 30 random rational instances of N(1,kept,const): True
numerator of phi' for N(1,coll,const): 1150 monomials (variables: 15 rate constants and L); all coefficients >= 0: True; min 1 max 16
Prop 6.1: phi = aL/(aL+delta) exactly for N(1,coll,const) on random instances: True
Prop 6.1: phi = aL/(aL+delta) exactly for N(2,coll,const) on random instances: True
Prop 6.1: phi = aL/(aL+delta) exactly for N(3,coll,const) on random instances: True
   (control) same identity for N(2,kept,const): False  [expected False]
   (control) same identity for N(3,kept,const): False  [expected False]
