TL4 := Matrix(4, 4, {(1, 1) = 377986140*x1, (1, 2) = 681869302*x2, (1, 3) = 
769121262*x3, (1, 4) = 465109113*x4, (2, 2) = 377986140*x1, (2, 3) = 681869302*
x2, (2, 4) = 769121262*x3, (3, 3) = 377986140*x1, (3, 4) = 681869302*x2, (4, 4)
= 377986140*x1}, storage = triangular[upper], shape = [symmetric]);
BL4 := Matrix(8, 8, [[377986140*x1,377986140*x1+681869302*x2,769121262*x3,
465109113*x4,377986140*x1+769121262*x3,465109113*x4+681869302*x2+377986140*x1,
377986140*x1+769121262*x3,377986140*x1+681869302*x2],[681869302*x2,377986140*x1
+681869302*x2,681869302*x2,769121262*x3,1363738604*x2,377986140*x1+681869302*x2
+769121262*x3,1363738604*x2,377986140*x1+681869302*x2],[377986140*x1+681869302*
x2+769121262*x3,755972280*x1+2045607906*x2+769121262*x3,377986140*x1+681869302*
x2+769121262*x3,465109113*x4+769121262*x3+681869302*x2,755972280*x1+1363738604*
x2+1538242524*x3,755972280*x1+2727477208*x2+1538242524*x3+465109113*x4,
755972280*x1+1363738604*x2+1538242524*x3,755972280*x1+2045607906*x2+769121262*
x3],[377986140*x1+465109113*x4,377986140*x1+465109113*x4+681869302*x2+769121262
*x3,681869302*x2+769121262*x3,377986140*x1+465109113*x4,377986140*x1+465109113*
x4+681869302*x2+769121262*x3,755972280*x1+930218226*x4+681869302*x2+769121262*
x3,377986140*x1+465109113*x4+681869302*x2+769121262*x3,377986140*x1+465109113*
x4+681869302*x2+769121262*x3],[377986140*x1+769121262*x3+465109113*x4,377986140
*x1+1538242524*x3+465109113*x4+1363738604*x2,377986140*x1+681869302*x2+
769121262*x3,465109113*x4+681869302*x2+377986140*x1,1133958420*x1+1538242524*x3
+465109113*x4+681869302*x2,755972280*x1+1538242524*x3+930218226*x4+2727477208*
x2,755972280*x1+2307363786*x3+465109113*x4+1363738604*x2,377986140*x1+
1538242524*x3+930218226*x4+1363738604*x2],[681869302*x2+465109113*x4,377986140*
x1+465109113*x4+681869302*x2+769121262*x3,1363738604*x2,377986140*x1+769121262*
x3,2727477208*x2+465109113*x4,1133958420*x1+1538242524*x3+465109113*x4+
681869302*x2,2727477208*x2+465109113*x4+377986140*x1,681869302*x2+465109113*x4+
377986140*x1+1538242524*x3],[377986140*x1+769121262*x3,377986140*x1+769121262*
x3+1363738604*x2,377986140*x1+769121262*x3,681869302*x2+465109113*x4,1133958420
*x1+2307363786*x3+681869302*x2,755972280*x1+769121262*x3+3409346510*x2+
465109113*x4,1511944560*x1+2307363786*x3+2045607906*x2,377986140*x1+1538242524*
x3+2045607906*x2+465109113*x4],[377986140*x1+681869302*x2+769121262*x3,
755972280*x1+2045607906*x2+769121262*x3,377986140*x1+681869302*x2+769121262*x3,
465109113*x4+769121262*x3+681869302*x2,755972280*x1+2307363786*x3+465109113*x4+
1363738604*x2,755972280*x1+3409346510*x2+2307363786*x3+465109113*x4,1133958420*
x1+2727477208*x2+2307363786*x3,1133958420*x1+2727477208*x2+769121262*x3]]);
p := 550075000755107390561961811158334769;
pow := 118.7271116;
