negative control (M3 := M2*(r-5)) remainder = (0, 0): must be (0, 0)
(a) all 10660 integer triples 0<=e1<e2<e3<=40 (R(e)>0 also checked for e3<=12): failures 0  [10.2s]
(b) 3000 random integer triples with e3 <= 10^6 (R(e)>0 also checked for 200 of them): failures so far 0  [17.5s]
(c) 4000 rational triples with -1/3 < e1 (near -1/3 800, near-confluent 800, huge gaps 800, generic 800, negative e1,e2 800; R(e)>0 also checked for 400): failures total 0  [67.0s]
FAILURES: []
total time 67.0s
