Starting with polynomial:
P : t^4 - 6*t^2 + 3
Extension levels are: 4 20
-------------------------------------------------
Trying to find an order 20 Kronrod extension for:
P1 : t^4 - 6*t^2 + 3
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : t^24 - 84138653676/363937411*t^22 + 32020783562037/1455749644*t^20 - 818664521682555/727874822*t^18 + 2902354334703135/85632332*t^16 - 13308321713911110/21408083*t^14 + 296858052476011845/42816166*t^12 - 979371031782448305/21408083*t^10 + 7231298316318101025/42816166*t^8 - 6819868970176912650/21408083*t^6 + 23115246943434671025/85632332*t^4 - 3840059178024144075/42816166*t^2 + 36936160291505475/5037196
-------------------------------------------------
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:   22 out of 24
Indefinite weights: 0 out of 24
Negative weights:   2 out of 24
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
