Starting with polynomial:
P : t^4 - 6*t^2 + 3
Extension levels are: 4 31
-------------------------------------------------
Trying to find an order 31 Kronrod extension for:
P1 : t^4 - 6*t^2 + 3
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : t^35 - 780781682279720882343/1443135744069879083*t^33 + 186471484875607177921414/1443135744069879083*t^31 - 25997084365665776202465030/1443135744069879083*t^29 + 336858186496529456001490530/206162249152839869*t^27 - 20975482839242007337408576650/206162249152839869*t^25 + 922327330868405608740048918450/206162249152839869*t^23 - 29023863676342675913149325798850/206162249152839869*t^21 + 655479566214328987352464527355500/206162249152839869*t^19 - 10561482296555620048591106148943500/206162249152839869*t^17 + 119649585286753837705778506164510750/206162249152839869*t^15 - 929881890673668788545727114177850750/206162249152839869*t^13 + 4773528941045703430136329263073344750/206162249152839869*t^11 - 15279858255082981648320857749057683750/206162249152839869*t^9 + 27833730842281017405583496793902523750/206162249152839869*t^7 - 24583718100149400468277207005223173750/206162249152839869*t^5 + 7410609050729163897085013986179114375/206162249152839869*t^3 - 86800623777045184080147973836811875/206162249152839869*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 ***
**************************************
