TL6 := Matrix(6, 6, {(1, 1) = 980543773*x1, (1, 2) = 598408069*x2, (1, 3) = 
224114719*x3, (1, 4) = 536624279*x4, (1, 5) = 390319951*x5, (1, 6) = 447156319*
x6, (2, 2) = 980543773*x1, (2, 3) = 598408069*x2, (2, 4) = 224114719*x3, (2, 5)
= 536624279*x4, (2, 6) = 390319951*x5, (3, 3) = 980543773*x1, (3, 4) = 
598408069*x2, (3, 5) = 224114719*x3, (3, 6) = 536624279*x4, (4, 4) = 980543773*
x1, (4, 5) = 598408069*x2, (4, 6) = 224114719*x3, (5, 5) = 980543773*x1, (5, 6)
= 598408069*x2, (6, 6) = 980543773*x1}, storage = triangular[upper], shape = [
symmetric]);
BL6 := Matrix(12, 12, [[980543773*x1,598408069*x2,598408069*x2+224114719*x3,
536624279*x4+224114719*x3+980543773*x1,390319951*x5+536624279*x4+224114719*x3,
390319951*x5+447156319*x6,980543773*x1+536624279*x4+447156319*x6,224114719*x3+
390319951*x5+447156319*x6,598408069*x2+980543773*x1+390319951*x5,224114719*x3+
536624279*x4,390319951*x5,598408069*x2+536624279*x4],[598408069*x2,980543773*x1
,980543773*x1+598408069*x2,224114719*x3+1196816138*x2,598408069*x2+224114719*x3
+536624279*x4,536624279*x4+390319951*x5,598408069*x2+224114719*x3+390319951*x5,
390319951*x5+536624279*x4+598408069*x2,980543773*x1+598408069*x2+536624279*x4,
598408069*x2+224114719*x3,536624279*x4,980543773*x1+224114719*x3],[224114719*x3
,598408069*x2,980543773*x1+598408069*x2,980543773*x1+598408069*x2+224114719*x3,
980543773*x1+598408069*x2+224114719*x3,224114719*x3+536624279*x4,598408069*x2+
224114719*x3+536624279*x4,536624279*x4+224114719*x3+980543773*x1,448229438*x3+
598408069*x2,980543773*x1+598408069*x2,224114719*x3,1196816138*x2],[598408069*
x2+224114719*x3+536624279*x4,980543773*x1+598408069*x2+224114719*x3,1961087546*
x1+1795224207*x2+224114719*x3,2393632276*x2+448229438*x3+536624279*x4+
1961087546*x1,2393632276*x2+448229438*x3+536624279*x4+1961087546*x1,598408069*
x2+448229438*x3+1073248558*x4+390319951*x5,1196816138*x2+672344157*x3+
1073248558*x4+980543773*x1+390319951*x5,1795224207*x2+980543773*x1+448229438*x3
+1073248558*x4+390319951*x5,1795224207*x2+672344157*x3+1073248558*x4+980543773*
x1,1961087546*x1+1795224207*x2+224114719*x3,598408069*x2+224114719*x3+536624279
*x4,1961087546*x1+1196816138*x2+448229438*x3],[980543773*x1+598408069*x2+
536624279*x4+390319951*x5,598408069*x2+980543773*x1+224114719*x3+536624279*x4,
1795224207*x2+980543773*x1+672344157*x3+536624279*x4,1961087546*x1+2393632276*
x2+1073248558*x4+390319951*x5+672344157*x3,1961087546*x1+2393632276*x2+
1073248558*x4+390319951*x5+672344157*x3,980543773*x1+1196816138*x2+536624279*x4
+780639902*x5+447156319*x6+224114719*x3,1961087546*x1+1795224207*x2+1073248558*
x4+780639902*x5+448229438*x3+447156319*x6,672344157*x3+2393632276*x2+980543773*
x1+536624279*x4+780639902*x5+447156319*x6,2941631319*x1+1795224207*x2+
1609872837*x4+780639902*x5+224114719*x3,1795224207*x2+980543773*x1+672344157*x3
+536624279*x4,980543773*x1+598408069*x2+536624279*x4+390319951*x5,1196816138*x2
+1961087546*x1+448229438*x3+1073248558*x4],[980543773*x1+447156319*x6,598408069
*x2+390319951*x5,598408069*x2+390319951*x5+224114719*x3+536624279*x4,980543773*
x1+447156319*x6+448229438*x3+1073248558*x4,598408069*x2+448229438*x3+1073248558
*x4+390319951*x5,980543773*x1+598408069*x2+390319951*x5+447156319*x6,1961087546
*x1+894312638*x6+224114719*x3+536624279*x4,224114719*x3+536624279*x4+598408069*
x2+390319951*x5+980543773*x1+447156319*x6,980543773*x1+447156319*x6+1196816138*
x2+780639902*x5,448229438*x3+1073248558*x4,598408069*x2+390319951*x5,598408069*
x2+390319951*x5+224114719*x3+536624279*x4],[980543773*x1+598408069*x2+390319951
*x5+447156319*x6,980543773*x1+598408069*x2+536624279*x4+390319951*x5,980543773*
x1+1196816138*x2+1073248558*x4+390319951*x5+448229438*x3,980543773*x1+
1795224207*x2+390319951*x5+447156319*x6+896458876*x3+1073248558*x4,896458876*x3
+1795224207*x2+1609872837*x4+980543773*x1+390319951*x5,1961087546*x1+1196816138
*x2+536624279*x4+780639902*x5+447156319*x6,2941631319*x1+1795224207*x2+
780639902*x5+894312638*x6+448229438*x3+536624279*x4,448229438*x3+2393632276*x2+
1073248558*x4+1961087546*x1+780639902*x5+447156319*x6,2941631319*x1+1795224207*
x2+1170959853*x5+447156319*x6+1073248558*x4+224114719*x3,896458876*x3+
1795224207*x2+1609872837*x4+980543773*x1,980543773*x1+598408069*x2+1073248558*
x4+780639902*x5,1961087546*x1+1795224207*x2+1073248558*x4+390319951*x5+
448229438*x3+447156319*x6],[598408069*x2+536624279*x4+447156319*x6,980543773*x1
+224114719*x3+390319951*x5,980543773*x1+224114719*x3+390319951*x5+1196816138*x2
+536624279*x4,1795224207*x2+1073248558*x4+447156319*x6+448229438*x3+980543773*
x1,2393632276*x2+1073248558*x4+448229438*x3+980543773*x1,980543773*x1+224114719
*x3+390319951*x5+1196816138*x2+536624279*x4,1196816138*x2+536624279*x4+
447156319*x6+672344157*x3+1961087546*x1+390319951*x5,2393632276*x2+1073248558*
x4+1961087546*x1+224114719*x3+390319951*x5,2393632276*x2+1073248558*x4+
447156319*x6+980543773*x1+224114719*x3+390319951*x5,1795224207*x2+536624279*x4+
672344157*x3+1961087546*x1,1196816138*x2+1073248558*x4+224114719*x3,2941631319*
x1+672344157*x3+780639902*x5+598408069*x2],[980543773*x1+598408069*x2+224114719
*x3+536624279*x4+390319951*x5,1196816138*x2+980543773*x1+224114719*x3+536624279
*x4,2393632276*x2+1961087546*x1+672344157*x3+536624279*x4,2941631319*x1+
2992040345*x2+896458876*x3+1073248558*x4+390319951*x5,2941631319*x1+2992040345*
x2+896458876*x3+1073248558*x4+390319951*x5,980543773*x1+1196816138*x2+448229438
*x3+1073248558*x4+780639902*x5+447156319*x6,1961087546*x1+2393632276*x2+
896458876*x3+1609872837*x4+780639902*x5+447156319*x6,896458876*x3+2992040345*x2
+1961087546*x1+1073248558*x4+780639902*x5+447156319*x6,3922175092*x1+2393632276
*x2+672344157*x3+1609872837*x4+780639902*x5,896458876*x3+3590448414*x2+
1961087546*x1+536624279*x4,980543773*x1+1196816138*x2+448229438*x3+536624279*x4
+390319951*x5,2992040345*x2+1961087546*x1+672344157*x3+1609872837*x4],[
224114719*x3+536624279*x4,598408069*x2+224114719*x3,1196816138*x2+224114719*x3+
980543773*x1,224114719*x3+536624279*x4+1961087546*x1+1196816138*x2,1961087546*
x1+1795224207*x2+224114719*x3,448229438*x3+598408069*x2+536624279*x4,672344157*
x3+1609872837*x4+980543773*x1+1196816138*x2,1795224207*x2+536624279*x4+
672344157*x3+1961087546*x1,672344157*x3+536624279*x4+2393632276*x2+980543773*x1
,3922175092*x1+2992040345*x2+672344157*x3+536624279*x4,1795224207*x2+980543773*
x1+672344157*x3+536624279*x4,2393632276*x2+896458876*x3+1961087546*x1+
1073248558*x4+390319951*x5],[536624279*x4+390319951*x5,224114719*x3+536624279*
x4,448229438*x3+598408069*x2+536624279*x4,980543773*x1+224114719*x3+390319951*
x5+1196816138*x2+536624279*x4,1961087546*x1+1795224207*x2+224114719*x3,
1196816138*x2+224114719*x3+980543773*x1,536624279*x4+780639902*x5+980543773*x1+
1795224207*x2+448229438*x3,2393632276*x2+448229438*x3+536624279*x4+1961087546*
x1,1073248558*x4+390319951*x5+448229438*x3+1961087546*x1+1196816138*x2,
3590448414*x2+672344157*x3+1961087546*x1+390319951*x5+536624279*x4,1961087546*
x1+1795224207*x2+448229438*x3+536624279*x4,448229438*x3+1609872837*x4+
1961087546*x1+2393632276*x2+780639902*x5],[536624279*x4+447156319*x6,224114719*
x3+390319951*x5,598408069*x2+390319951*x5+224114719*x3+536624279*x4,1073248558*
x4+447156319*x6+598408069*x2+980543773*x1+224114719*x3,1795224207*x2+536624279*
x4+980543773*x1+224114719*x3,1196816138*x2+224114719*x3+980543773*x1,536624279*
x4+894312638*x6+2941631319*x1+448229438*x3+598408069*x2,2393632276*x2+536624279
*x4+1961087546*x1+224114719*x3+390319951*x5,1073248558*x4+447156319*x6+
448229438*x3+390319951*x5+1795224207*x2,1795224207*x2+1073248558*x4+2941631319*
x1+672344157*x3+447156319*x6+390319951*x5,1795224207*x2+1073248558*x4+448229438
*x3+390319951*x5,448229438*x3+1170959853*x5+3922175092*x1+1196816138*x2+
894312638*x6]]);
p := 1655132743258187765435487689737754057019209571701685139;
pow := 180.1110640;
