Starting with polynomial:
P : 16*t^4 - 48*t^2 + 12
Extension levels are: 4 31
-------------------------------------------------
Trying to find an order 31 Kronrod extension for:
P1 : 16*t^4 - 48*t^2 + 12
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : 16*t^35 - 6246253458237767058744/1443135744069879083*t^33 + 745885939502428711685656/1443135744069879083*t^31 - 51994168731331552404930060/1443135744069879083*t^29 + 336858186496529456001490530/206162249152839869*t^27 - 10487741419621003668704288325/206162249152839869*t^25 + 461163665434202804370024459225/412324498305679738*t^23 - 14511931838171337956574662899425/824648996611359476*t^21 + 163869891553582246838116131838875/824648996611359476*t^19 - 2640370574138905012147776537235875/1649297993222718952*t^17 + 59824792643376918852889253082255375/6597191972890875808*t^15 - 464940945336834394272863557088925375/13194383945781751616*t^13 + 2386764470522851715068164631536672375/26388767891563503232*t^11 - 7639929127541490824160428874528841875/52777535783127006464*t^9 + 13916865421140508702791748396951261875/105555071566254012928*t^7 - 12291859050074700234138603502611586875/211110143132508025856*t^5 + 7410609050729163897085013986179114375/844440572530032103424*t^3 - 86800623777045184080147973836811875/1688881145060064206848*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:   34 out of 35
Indefinite weights: 0 out of 35
Negative weights:   1 out of 35
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
