Starting with polynomial:
P : t^12 - 66*t^10 + 1485*t^8 - 13860*t^6 + 51975*t^4 - 62370*t^2 + 10395
Extension levels are: 12 28
-------------------------------------------------
Trying to find an order 28 Kronrod extension for:
P1 : t^12 - 66*t^10 + 1485*t^8 - 13860*t^6 + 51975*t^4 - 62370*t^2 + 10395
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : t^40 - 5776621802918408724/9396449026283357*t^38 + 1592778324328691578137/9396449026283357*t^36 - 4962111172521335525225610/178532531499383783*t^34 + 540898323249049979803689330/178532531499383783*t^32 - 705702686256213932259967759920/3035053035489524311*t^30 + 39394568065592650140040769433090/3035053035489524311*t^28 - 1629591202473303895138295940670020/3035053035489524311*t^26 + 50420290775041956074122953482346000/3035053035489524311*t^24 - 61556989867006367872997547751062000/159739633446817069*t^22 + 20265009683216202949376932908520212000/3035053035489524311*t^20 - 290898180410025609445563592491438000/3398715605251427*t^18 + 7506479316035115741256426248979475250/9396449026283357*t^16 - 49823883721780593669345180722462820000/9396449026283357*t^14 + 227399977079370933591767255089814216250/9396449026283357*t^12 - 680168795109965922163083311680692142500/9396449026283357*t^10 + 1241840605512032198616835133456170831875/9396449026283357*t^8 - 1237214637359902919348331574881474967500/9396449026283357*t^6 + 551325444213682517849984922389390784375/9396449026283357*t^4 - 70540916221776515833750434269448431250/9396449026283357*t^2 + 260093236198698624611063967667875000/9396449026283357
-------------------------------------------------
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
  current precision for roots: 424
  current precision for roots: 848
 current precision for weights: 424
Linear system for weights solvable: 1
Sufficient bits for target precision reached
Positive weights:   38 out of 40
Indefinite weights: 0 out of 40
Negative weights:   2 out of 40
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
