Starting with polynomial:
P : 1024*t^10 - 23040*t^8 + 161280*t^6 - 403200*t^4 + 302400*t^2 - 30240
Extension levels are: 10 23
-------------------------------------------------
Trying to find an order 23 Kronrod extension for:
P1 : 1024*t^10 - 23040*t^8 + 161280*t^6 - 403200*t^4 + 302400*t^2 - 30240
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : 1024*t^33 - 80286864610816/366447291*t^31 + 359515427047680/17449871*t^29 - 19657576648805760/17449871*t^27 + 34144419920536768320/855043679*t^25 - 10767229579422909963360/11115567827*t^23 + 3752118026613359274960/226848323*t^21 - 319803622701592535569800/1587938261*t^19 + 2781653286642502720407300/1587938261*t^17 - 1008652959099770250761550/93408133*t^15 + 618362866482317768089575/13344019*t^13 - 1931500890164964327335775/14370482*t^11 + 7237587463937220687746625/28740964*t^9 - 2335410379982438074144125/8211704*t^7 + 2845790688193095799195875/16423408*t^5 - 1532461811332865984789625/32846816*t^3 + 115200782094869777629125/32846816*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: 1
  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:   31 out of 33
Indefinite weights: 0 out of 33
Negative weights:   2 out of 33
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
