### python3 resultant.py
deg r: 2 3 terms [64, 59, 64] [278, 296, 296, 278] 0.00462794303894043
resultant terms 10426 time 2.8807578086853027
total degree range 18 45
real 2.90
user 2.88
sys 0.01
### python3 positivity.py
step1 8348 0.030192852020263672
step2 5636 0.349804162979126
step3 13400 0.6023921966552734
terms 13400 negative coefficients 0 constant term 20639121408000
real 0.62
user 0.61
sys 0.00
### python3 reduced_positivity.py
min v-degree 6 min w-degree 6 terms 5636 3.6s
R' in (u,v,w) [a=u,b=u+v,c=u+v+w]: terms 3290 content 4 degree range 0 27 negative coeffs 0 constant 29
R' with a=-1/3+u: terms 3115 negative coeffs 0 constant None
R' with a=-1/3+u: pure-u coefficients (power, coeff): [(6, Fraction(800000, 177147)), (7, Fraction(320000, 2187)), (8, Fraction(15606400, 6561)), (9, Fraction(167569600, 6561)), (10, Fraction(16305520, 81)), (11, Fraction(101104240, 81))] ... count 22 all positive: True
lowest total degree in shifted version: 6
real 7.49
user 7.45
sys 0.02
### python3 export_text.py
exported 10426 3290 3115
real 0.03
user 0.02
sys 0.00
### python3 verify_res.py
(0, 1, 2) sylvester 82556485632000  poly 82556485632000  equal: True
(1, 4, 9) sylvester 564429758549327063830096773120000000000  poly 564429758549327063830096773120000000000  equal: True
(3, 5, 6) sylvester 596653523805531262895970582528000  poly 596653523805531262895970582528000  equal: True
(0, 7, 20) sylvester 7171201087860702099832545276310884817305600000000  poly 7171201087860702099832545276310884817305600000000  equal: True
(10, 11, 12) sylvester 4568901885847008054298887758429552640000  poly 4568901885847008054298887758429552640000  equal: True
real 0.04
user 0.04
sys 0.00
### python3 verify_res_random.py
random triples tested: 300, mismatches: 0
real 2.05
user 2.03
sys 0.01
### python3 n3exact.py 30
exponent triples with c< 30  where M1=M2=M3=0 has a nonzero solution: []
real 0.92
user 0.91
sys 0.00
k3_R_abc.txt: regenerated file byte-identical to shipped
k3_Rprime_uvw.txt: regenerated file byte-identical to shipped
k3_Rprime_shifted_uvw.txt: regenerated file byte-identical to shipped
shipped k3_R_abc.txt vs this run's own R(e1,e2,e3): identical coefficients: True 10426 10426
shipped k3_Rprime_shifted_uvw.txt vs this run's R2: same support: True  coefficient ratio(s): {Fraction(4, 1)}
