Starting with polynomial:
P : t^4 - 6*t^2 + 3
Extension levels are: 4 33
-------------------------------------------------
Trying to find an order 33 Kronrod extension for:
P1 : t^4 - 6*t^2 + 3
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : t^37 - 9134304935260641295446/14621279200179974225*t^35 + 73663421852791440917593839/424017096805219252525*t^33 - 12070827216270748819949668272/424017096805219252525*t^31 + 260123066842126161408383207988/84803419361043850505*t^29 - 671607228356725724751671903304/2924255840035994845*t^27 + 7202505671893855049258845957644/584851168007198969*t^25 - 280960070147509082431349484027792/584851168007198969*t^23 + 8020315682162644742727639006699486/584851168007198969*t^21 - 167225984335980066691345813612930980/584851168007198969*t^19 + 2523634650034666582245735892843264410/584851168007198969*t^17 - 27105009079613817325768306811354175120/584851168007198969*t^15 + 201825202397053493754592492321599694020/584851168007198969*t^13 - 1001883022312106603977297836718776264360/584851168007198969*t^11 + 3126390144699966311954540112714254799900/584851168007198969*t^9 - 5588572146330625437403210995690602914800/584851168007198969*t^7 + 4858918359874475236023799959776897389425/584851168007198969*t^5 - 1423459534853812900560622316969909300550/584851168007198969*t^3 + 1753871587251565821518467554878587275/584851168007198969*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
Sufficient bits for target precision reached
Positive weights:   36 out of 37
Indefinite weights: 0 out of 37
Negative weights:   1 out of 37
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
