TL7 := Matrix(7, 7, {(1, 1) = 112695812*x1, (1, 2) = 889877945*x2, (1, 3) = 
120491266*x3, (1, 4) = 411835893*x4, (1, 5) = 818406582*x5, (1, 6) = 313264131*
x6, (1, 7) = 415488603*x7, (2, 2) = 112695812*x1, (2, 3) = 889877945*x2, (2, 4)
= 120491266*x3, (2, 5) = 411835893*x4, (2, 6) = 818406582*x5, (2, 7) = 
313264131*x6, (3, 3) = 112695812*x1, (3, 4) = 889877945*x2, (3, 5) = 120491266*
x3, (3, 6) = 411835893*x4, (3, 7) = 818406582*x5, (4, 4) = 112695812*x1, (4, 5)
= 889877945*x2, (4, 6) = 120491266*x3, (4, 7) = 411835893*x4, (5, 5) = 
112695812*x1, (5, 6) = 889877945*x2, (5, 7) = 120491266*x3, (6, 6) = 112695812*
x1, (6, 7) = 889877945*x2, (7, 7) = 112695812*x1}, storage = triangular[upper],
shape = [symmetric]);
BL7 := Matrix(14, 14, [[112695812*x1,889877945*x2,120491266*x3+889877945*x2,
889877945*x2+120491266*x3+411835893*x4,889877945*x2+112695812*x1+411835893*x4+
818406582*x5,120491266*x3+411835893*x4+818406582*x5+313264131*x6,889877945*x2+
120491266*x3+411835893*x4+818406582*x5+313264131*x6+415488603*x7,112695812*x1+
889877945*x2+411835893*x4+313264131*x6+415488603*x7,112695812*x1+120491266*x3+
313264131*x6,889877945*x2+411835893*x4+818406582*x5+415488603*x7,411835893*x4+
889877945*x2,411835893*x4+889877945*x2,120491266*x3+415488603*x7,112695812*x1+
889877945*x2+313264131*x6+415488603*x7],[112695812*x1+889877945*x2,112695812*x1
+889877945*x2,112695812*x1+1779755890*x2+120491266*x3,240982532*x3+1779755890*
x2+112695812*x1+411835893*x4,225391624*x1+1779755890*x2+823671786*x4+120491266*
x3+818406582*x5,240982532*x3+889877945*x2+823671786*x4+1636813164*x5+313264131*
x6,112695812*x1+1779755890*x2+240982532*x3+823671786*x4+1636813164*x5+626528262
*x6+415488603*x7,225391624*x1+1779755890*x2+411835893*x4+120491266*x3+626528262
*x6+818406582*x5+415488603*x7,112695812*x1+1779755890*x2+120491266*x3+313264131
*x6+818406582*x5,112695812*x1+889877945*x2+823671786*x4+120491266*x3+818406582*
x5+415488603*x7+313264131*x6,112695812*x1+889877945*x2+411835893*x4+120491266*
x3,112695812*x1+889877945*x2+411835893*x4+120491266*x3,415488603*x7+313264131*
x6+120491266*x3+889877945*x2,225391624*x1+1779755890*x2+626528262*x6+818406582*
x5+415488603*x7],[112695812*x1+120491266*x3,1779755890*x2,112695812*x1+
1779755890*x2+120491266*x3,2669633835*x2+112695812*x1+120491266*x3+411835893*x4
,112695812*x1+240982532*x3+2669633835*x2+411835893*x4+818406582*x5,112695812*x1
+240982532*x3+823671786*x4+889877945*x2+818406582*x5+313264131*x6,2669633835*x2
+112695812*x1+240982532*x3+823671786*x4+1636813164*x5+313264131*x6+415488603*x7
,112695812*x1+120491266*x3+2669633835*x2+823671786*x4+313264131*x6+415488603*x7
+818406582*x5,225391624*x1+240982532*x3+313264131*x6+411835893*x4,2669633835*x2
+411835893*x4+1636813164*x5+120491266*x3+415488603*x7,2669633835*x2+411835893*
x4,2669633835*x2+411835893*x4,112695812*x1+120491266*x3+818406582*x5+415488603*
x7,112695812*x1+120491266*x3+1779755890*x2+313264131*x6+411835893*x4+415488603*
x7+818406582*x5],[112695812*x1+411835893*x4,120491266*x3+889877945*x2,240982532
*x3+1779755890*x2,240982532*x3+1779755890*x2+112695812*x1+411835893*x4,
225391624*x1+1779755890*x2+823671786*x4+120491266*x3+818406582*x5,240982532*x3+
1779755890*x2+112695812*x1+411835893*x4+818406582*x5+313264131*x6,361473798*x3+
2669633835*x2+112695812*x1+823671786*x4+818406582*x5+313264131*x6+415488603*x7,
225391624*x1+1235507679*x4+240982532*x3+889877945*x2+313264131*x6+415488603*x7,
112695812*x1+411835893*x4+240982532*x3+889877945*x2+313264131*x6,120491266*x3+
1779755890*x2+112695812*x1+823671786*x4+818406582*x5+415488603*x7,112695812*x1+
889877945*x2+411835893*x4+120491266*x3,112695812*x1+889877945*x2+411835893*x4+
120491266*x3,120491266*x3+889877945*x2+415488603*x7+411835893*x4,112695812*x1+
823671786*x4+240982532*x3+889877945*x2+313264131*x6+415488603*x7],[112695812*x1
+411835893*x4+818406582*x5,889877945*x2+120491266*x3+411835893*x4,1779755890*x2
+361473798*x3+411835893*x4,2669633835*x2+361473798*x3+823671786*x4+112695812*x1
,338087436*x1+1235507679*x4+1636813164*x5+2669633835*x2+120491266*x3,361473798*
x3+3559511780*x2+411835893*x4+225391624*x1+818406582*x5+313264131*x6,4449389725
*x2+602456330*x3+1235507679*x4+225391624*x1+818406582*x5+313264131*x6+415488603
*x7,225391624*x1+1647343572*x4+818406582*x5+2669633835*x2+361473798*x3+
313264131*x6+415488603*x7,112695812*x1+411835893*x4+818406582*x5+361473798*x3+
1779755890*x2+313264131*x6,2669633835*x2+240982532*x3+1235507679*x4+225391624*
x1+818406582*x5+415488603*x7,1779755890*x2+120491266*x3+823671786*x4+112695812*
x1,1779755890*x2+120491266*x3+823671786*x4+112695812*x1,361473798*x3+889877945*
x2+415488603*x7+411835893*x4,112695812*x1+1235507679*x4+818406582*x5+1779755890
*x2+361473798*x3+313264131*x6+415488603*x7],[112695812*x1+889877945*x2+
818406582*x5+313264131*x6,889877945*x2+112695812*x1+411835893*x4+818406582*x5,
1779755890*x2+112695812*x1+823671786*x4+818406582*x5+240982532*x3,2669633835*x2
+112695812*x1+1235507679*x4+818406582*x5+481965064*x3,338087436*x1+3559511780*
x2+2455219746*x5+313264131*x6+1235507679*x4+240982532*x3,481965064*x3+
3559511780*x2+1235507679*x4+225391624*x1+1636813164*x5+313264131*x6,5339267670*
x2+338087436*x1+1647343572*x4+2455219746*x5+602456330*x3+626528262*x6+415488603
*x7,338087436*x1+4449389725*x2+2455219746*x5+939792393*x6+823671786*x4+
361473798*x3+415488603*x7,225391624*x1+2669633835*x2+1636813164*x5+626528262*x6
+240982532*x3+411835893*x4,3559511780*x2+225391624*x1+1235507679*x4+1636813164*
x5+361473798*x3+415488603*x7+313264131*x6,1779755890*x2+112695812*x1+823671786*
x4+818406582*x5+240982532*x3,1779755890*x2+112695812*x1+823671786*x4+818406582*
x5+240982532*x3,361473798*x3+1779755890*x2+411835893*x4+415488603*x7+313264131*
x6,338087436*x1+3559511780*x2+2455219746*x5+939792393*x6+411835893*x4+415488603
*x7+120491266*x3],[112695812*x1+889877945*x2+120491266*x3+818406582*x5+
313264131*x6+415488603*x7,1779755890*x2+112695812*x1+411835893*x4+818406582*x5+
313264131*x6,2669633835*x2+225391624*x1+823671786*x4+1636813164*x5+313264131*x6
+240982532*x3,4449389725*x2+225391624*x1+1647343572*x4+1636813164*x5+313264131*
x6+481965064*x3,5339267670*x2+338087436*x1+1647343572*x4+2455219746*x5+
602456330*x3+626528262*x6+415488603*x7,722947596*x3+5339267670*x2+338087436*x1+
2059179465*x4+2455219746*x5+313264131*x6,563479060*x1+8008901505*x2+843438862*
x3+2471015358*x4+4092032910*x5+939792393*x6+415488603*x7,450783248*x1+
7119023560*x2+481965064*x3+1647343572*x4+3273626328*x5+1253056524*x6+830977206*
x7,338087436*x1+3559511780*x2+361473798*x3+2455219746*x5+626528262*x6+415488603
*x7+823671786*x4,5339267670*x2+338087436*x1+1647343572*x4+2455219746*x5+
602456330*x3+626528262*x6+415488603*x7,3559511780*x2+112695812*x1+1235507679*x4
+818406582*x5+313264131*x6+240982532*x3,3559511780*x2+112695812*x1+1235507679*
x4+818406582*x5+313264131*x6+240982532*x3,361473798*x3+1779755890*x2+225391624*
x1+411835893*x4+1636813164*x5+313264131*x6+415488603*x7,450783248*x1+5339267670
*x2+240982532*x3+3273626328*x5+1253056524*x6+830977206*x7+823671786*x4],[
889877945*x2+120491266*x3+411835893*x4+818406582*x5+313264131*x6,112695812*x1+
889877945*x2+120491266*x3+411835893*x4+818406582*x5,225391624*x1+2669633835*x2+
240982532*x3+823671786*x4+818406582*x5,338087436*x1+4449389725*x2+481965064*x3+
823671786*x4+818406582*x5,5339267670*x2+602456330*x3+1235507679*x4+1636813164*
x5+313264131*x6+338087436*x1,6229145615*x2+450783248*x1+602456330*x3+1235507679
*x4+818406582*x5,563479060*x1+8008901505*x2+843438862*x3+2059179465*x4+
2455219746*x5+313264131*x6,450783248*x1+5339267670*x2+722947596*x3+1647343572*
x4+3273626328*x5+626528262*x6,4449389725*x2+361473798*x3+1235507679*x4+
1636813164*x5+313264131*x6+225391624*x1,338087436*x1+5339267670*x2+722947596*x3
+1235507679*x4+1636813164*x5+313264131*x6,338087436*x1+3559511780*x2+361473798*
x3+823671786*x4+818406582*x5,225391624*x1+3559511780*x2+481965064*x3+411835893*
x4+1636813164*x5,2669633835*x2+112695812*x1+240982532*x3+1235507679*x4+
1636813164*x5+626528262*x6,338087436*x1+3559511780*x2+481965064*x3+2059179465*
x4+4092032910*x5+626528262*x6+415488603*x7],[889877945*x2+120491266*x3+
411835893*x4+818406582*x5+313264131*x6+415488603*x7,112695812*x1+889877945*x2+
120491266*x3+411835893*x4+818406582*x5+313264131*x6,2669633835*x2+225391624*x1+
823671786*x4+1636813164*x5+313264131*x6+240982532*x3,338087436*x1+4449389725*x2
+481965064*x3+1235507679*x4+1636813164*x5+313264131*x6,5339267670*x2+722947596*
x3+1647343572*x4+1636813164*x5+626528262*x6+415488603*x7+338087436*x1,
7119023560*x2+450783248*x1+722947596*x3+1647343572*x4+1636813164*x5,676174872*
x1+8898779450*x2+963930128*x3+2471015358*x4+3273626328*x5+626528262*x6,
563479060*x1+7119023560*x2+722947596*x3+2059179465*x4+3273626328*x5+939792393*
x6+415488603*x7,5339267670*x2+361473798*x3+1235507679*x4+2455219746*x5+
313264131*x6+415488603*x7+338087436*x1,450783248*x1+6229145615*x2+843438862*x3+
1647343572*x4+1636813164*x5+626528262*x6,450783248*x1+4449389725*x2+481965064*
x3+1235507679*x4+818406582*x5+313264131*x6,338087436*x1+4449389725*x2+481965064
*x3+1235507679*x4+1636813164*x5+313264131*x6,2669633835*x2+225391624*x1+
361473798*x3+1647343572*x4+3273626328*x5+626528262*x6,450783248*x1+5339267670*
x2+602456330*x3+2471015358*x4+4092032910*x5+1253056524*x6+830977206*x7],[
112695812*x1+120491266*x3+818406582*x5+313264131*x6,1779755890*x2+411835893*x4+
818406582*x5,1779755890*x2+112695812*x1+823671786*x4+818406582*x5+240982532*x3,
3559511780*x2+1235507679*x4+818406582*x5+361473798*x3+112695812*x1,225391624*x1
+361473798*x3+2455219746*x5+313264131*x6+4449389725*x2+823671786*x4,481965064*
x3+338087436*x1+1235507679*x4+3559511780*x2+818406582*x5+313264131*x6,
6229145615*x2+1647343572*x4+2455219746*x5+602456330*x3+338087436*x1+313264131*
x6+415488603*x7,338087436*x1+481965064*x3+2455219746*x5+626528262*x6+6229145615
*x2+1235507679*x4+415488603*x7,450783248*x1+361473798*x3+818406582*x5+626528262
*x6+823671786*x4+2669633835*x2,6229145615*x2+823671786*x4+2455219746*x5+
481965064*x3+225391624*x1+415488603*x7,7119023560*x2+1235507679*x4+818406582*x5
+361473798*x3+225391624*x1,6229145615*x2+1235507679*x4+1636813164*x5+361473798*
x3+225391624*x1,602456330*x3+112695812*x1+1647343572*x4+415488603*x7+2455219746
*x5+1779755890*x2+313264131*x6,338087436*x1+5339267670*x2+602456330*x3+
1647343572*x4+4092032910*x5+939792393*x6+830977206*x7],[313264131*x6+411835893*
x4,818406582*x5+120491266*x3,818406582*x5+120491266*x3+411835893*x4+889877945*
x2,240982532*x3+889877945*x2+112695812*x1+411835893*x4+818406582*x5,240982532*
x3+1779755890*x2+112695812*x1+411835893*x4+818406582*x5+313264131*x6,411835893*
x4+2669633835*x2+225391624*x1+240982532*x3,818406582*x5+361473798*x3+823671786*
x4+3559511780*x2+225391624*x1,313264131*x6+1235507679*x4+818406582*x5+361473798
*x3+225391624*x1+889877945*x2,313264131*x6+823671786*x4+889877945*x2+112695812*
x1+240982532*x3,818406582*x5+240982532*x3+112695812*x1+3559511780*x2+411835893*
x4,818406582*x5+361473798*x3+225391624*x1+411835893*x4,818406582*x5+361473798*
x3+112695812*x1+1779755890*x2,823671786*x4+2669633835*x2+112695812*x1+120491266
*x3,313264131*x6+1647343572*x4+818406582*x5+240982532*x3+225391624*x1+
1779755890*x2],[112695812*x1+120491266*x3+818406582*x5+415488603*x7,1779755890*
x2+411835893*x4+313264131*x6,240982532*x3+1779755890*x2+112695812*x1+411835893*
x4+818406582*x5+313264131*x6,3559511780*x2+112695812*x1+1235507679*x4+818406582
*x5+313264131*x6+240982532*x3,3559511780*x2+225391624*x1+1235507679*x4+
1636813164*x5+361473798*x3+415488603*x7+313264131*x6,481965064*x3+3559511780*x2
+1235507679*x4+225391624*x1+1636813164*x5+313264131*x6,5339267670*x2+338087436*
x1+1647343572*x4+2455219746*x5+602456330*x3+626528262*x6+415488603*x7,338087436
*x1+240982532*x3+2455219746*x5+830977206*x7+5339267670*x2+2059179465*x4+
626528262*x6,225391624*x1+481965064*x3+1636813164*x5+415488603*x7+2669633835*x2
+823671786*x4+313264131*x6,4449389725*x2+1235507679*x4+313264131*x6+602456330*
x3+225391624*x1+1636813164*x5+415488603*x7,5339267670*x2+2471015358*x4+
313264131*x6+225391624*x1+818406582*x5+120491266*x3,6229145615*x2+1647343572*x4
+313264131*x6+361473798*x3+818406582*x5+112695812*x1,481965064*x3+450783248*x1+
2455219746*x5+415488603*x7+411835893*x4+2669633835*x2+313264131*x6,563479060*x1
+5339267670*x2+361473798*x3+2059179465*x4+3273626328*x5+626528262*x6+1246465809
*x7],[112695812*x1+818406582*x5+415488603*x7,889877945*x2+411835893*x4+
313264131*x6,889877945*x2+411835893*x4+313264131*x6+240982532*x3+818406582*x5,
1779755890*x2+1235507679*x4+313264131*x6+240982532*x3+818406582*x5,225391624*x1
+1636813164*x5+415488603*x7+1779755890*x2+1235507679*x4+313264131*x6+120491266*
x3,361473798*x3+1636813164*x5+823671786*x4+2669633835*x2+112695812*x1+313264131
*x6,3559511780*x2+1235507679*x4+626528262*x6+481965064*x3+1636813164*x5+
225391624*x1+415488603*x7,225391624*x1+818406582*x5+830977206*x7+4449389725*x2+
1235507679*x4+939792393*x6+120491266*x3,225391624*x1+2455219746*x5+415488603*x7
+240982532*x3+313264131*x6+1779755890*x2,2669633835*x2+1647343572*x4+313264131*
x6+818406582*x5+225391624*x1+240982532*x3+415488603*x7,2669633835*x2+1235507679
*x4+626528262*x6+112695812*x1+818406582*x5+240982532*x3,3559511780*x2+
2059179465*x4+313264131*x6+112695812*x1+818406582*x5,602456330*x3+1636813164*x5
+415488603*x7+225391624*x1+411835893*x4+889877945*x2,225391624*x1+818406582*x5+
830977206*x7+5339267670*x2+823671786*x4+1253056524*x6+361473798*x3],[415488603*
x7+818406582*x5+120491266*x3+889877945*x2,313264131*x6+411835893*x4+889877945*
x2+112695812*x1,313264131*x6+411835893*x4+1779755890*x2+225391624*x1+818406582*
x5+120491266*x3,313264131*x6+823671786*x4+3559511780*x2+225391624*x1+818406582*
x5+240982532*x3,415488603*x7+818406582*x5+481965064*x3+3559511780*x2+313264131*
x6+1235507679*x4+225391624*x1,1636813164*x5+481965064*x3+225391624*x1+
4449389725*x2+1235507679*x4,626528262*x6+1647343572*x4+5339267670*x2+450783248*
x1+2455219746*x5+602456330*x3,830977206*x7+2455219746*x5+361473798*x3+
6229145615*x2+939792393*x6+1647343572*x4+338087436*x1,415488603*x7+3273626328*
x5+361473798*x3+4449389725*x2+225391624*x1+411835893*x4+313264131*x6,626528262*
x6+1647343572*x4+4449389725*x2+338087436*x1+602456330*x3+1636813164*x5,
939792393*x6+2059179465*x4+4449389725*x2+450783248*x1+481965064*x3+415488603*x7
+818406582*x5,626528262*x6+1647343572*x4+7119023560*x2+225391624*x1+481965064*
x3+2455219746*x5,3273626328*x5+722947596*x3+450783248*x1+3559511780*x2+
626528262*x6+1235507679*x4,563479060*x1+7119023560*x2+602456330*x3+2882851251*
x4+3273626328*x5+1253056524*x6+1246465809*x7]]);
p := 2256975111304644489469718237046444244257007994989921891049025029;
pow := 210.4558604;
