(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
python3 verify_res.py  0.06s user 0.01s system 92% cpu 0.072 total
