Starting with polynomial:
P : t^4 - 6*t^2 + 3
Extension levels are: 4 35
-------------------------------------------------
Trying to find an order 35 Kronrod extension for:
P1 : t^4 - 6*t^2 + 3
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : t^39 - 74570538483901648336397/80325341377767630952*t^37 + 452150680760871770640376053/1245042791355398279756*t^35 - 201896424599503669225725695265/2490085582710796559512*t^33 + 3635037636983303362528647455910/311260697838849569939*t^31 - 23223396593126305198522690313985/20081335344441907738*t^29 + 819688907475525769941674982510405/10040667672220953869*t^27 - 84220405027053039452476813510921455/20081335344441907738*t^25 + 1590917568503569906540066039847934000/10040667672220953869*t^23 - 177286974289925000002910630728009378875/40162670688883815476*t^21 + 1813938878779379552005976413888936916625/20081335344441907738*t^19 - 53962012613927352795343251083211073802625/40162670688883815476*t^17 + 143284925336672094655712250313384291752750/10040667672220953869*t^15 - 2115656205255174747309211888917227139133125/20081335344441907738*t^13 + 5217532831743250805397810078182216471683125/10040667672220953869*t^11 - 32410245937386170870043735702641229699991875/20081335344441907738*t^9 + 28872955598808046034711731794198423421606875/10040667672220953869*t^7 - 200403569417496584380075261719940011432193125/80325341377767630952*t^5 + 29316158507500929678552149856864829932196875/40162670688883815476*t^3 - 64608886917423216872586725638685899584375/80325341377767630952*t
-------------------------------------------------
Computing nodes and weights
  current precision for roots: 53
  current precision for roots: 106
 current precision for weights: 53
Linear system for weights solvable: 0
  current precision for roots: 106
  current precision for roots: 212
 current precision for weights: 106
Linear system for weights solvable: 0
  current precision for roots: 212
  current precision for roots: 424
 current precision for weights: 212
Linear system for weights solvable: 1
  current precision for roots: 424
  current precision for roots: 848
 current precision for weights: 424
Linear system for weights solvable: 1
Sufficient bits for target precision reached
Positive weights:   38 out of 39
Indefinite weights: 0 out of 39
Negative weights:   1 out of 39
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
