//David Dursthoff, March 2017
//The following MAGMA file gives a list of the Gram matrices of extremal Type (ii) lattices of dimensions 2,4,6,8, and 10 over Q[\sqrt{3}].
//It should be read as follows.
//The matrices are defined over the Field F=Q[\sqrt{3}].
//The Gram matrices of the extremal lattices of dimension n are give in the list Extr_n.

F:=QuadraticField(3);

Extr_2:=[ 
 Matrix(F,2,2,[
 2,F.1,
 F.1,2
 ])
];

Extr_4:=[ 
 DiagonalJoin(
  Matrix(F,2,2,[
  2,F.1,
  F.1,2
  ]),
  Matrix(F,2,2,[
  2,F.1,
  F.1,2
  ])
 ),
 Matrix(F,4,4,[
 2,1,1+F.1,1+F.1,
 1,2,1+F.1,1+F.1,
 1+F.1,1+F.1,4+2*F.1,2+F.1,
 1+F.1,1+F.1,2+F.1,4+2*F.1 
 ])
];

Extr_6:=[
 Matrix( F, 6,6, [
  4-2*F.1, 0, 2-1*F.1, 2-1*F.1, -2*F.1, -464+268*F.1,
  0, 4-2*F.1, -2+1*F.1, 0, -2+1*F.1, 2-1*F.1,
  2-1*F.1, -2+1*F.1, 4, 2, -12-9*F.1, -250+144*F.1,
  2-1*F.1, 0, 2, 4, -14-9*F.1, -248+144*F.1,
  -2*F.1, -2+1*F.1, -12-9*F.1, -14-9*F.1, 252+128*F.1, 1381-812*F.1,
  -464+268*F.1, 2-1*F.1, -250+144*F.1, -248+144*F.1, 1381-812*F.1, 
252938-146032*F.1
 ])
];


Extr_8:=[

 Matrix( F, 8,8, [
  4, 1*F.1, 2+2*F.1, -2+1*F.1, -3-2*F.1, -201+116*F.1, -86-49*F.1, -1*F.1,
  1*F.1, 4, 2+1*F.1, 2, 3+3*F.1, 195-113*F.1, -118-69*F.1, 0,
  2+2*F.1, 2+1*F.1, 6+2*F.1, 0, -4-2*F.1, -2+2*F.1, -204-118*F.1, -2-3*F.1,
  -2+1*F.1, 2, 0, 6-2*F.1, 6+4*F.1, 412-238*F.1, -32-20*F.1, -2+2*F.1,
  -3-2*F.1, 3+3*F.1, -4-2*F.1, 6+4*F.1, 52+20*F.1, -182+101*F.1, 63+39*F.1, 
3+5*F.1,
  -201+116*F.1, 195-113*F.1, -2+2*F.1, 412-238*F.1, -182+101*F.1, 
44094-25454*F.1, 18-157*F.1, -237+130*F.1,
  -86-49*F.1, -118-69*F.1, -204-118*F.1, -32-20*F.1, 63+39*F.1, 18-157*F.1, 
15318+8842*F.1, 323+185*F.1,
  -1*F.1, 0, -2-3*F.1, -2+2*F.1, 3+5*F.1, -237+130*F.1, 323+185*F.1, 24+6*F.1
 ]),
 Matrix( F, 8,8, [
  4, 1*F.1, 2+2*F.1, -2+1*F.1, -3-2*F.1, -201+116*F.1, -86-49*F.1, -1*F.1,
  1*F.1, 4, 2+1*F.1, 2, 3+3*F.1, 195-113*F.1, -118-69*F.1, 0,
  2+2*F.1, 2+1*F.1, 6+2*F.1, 0, -4-2*F.1, -2+2*F.1, -204-118*F.1, -2-3*F.1,
  -2+1*F.1, 2, 0, 6-2*F.1, 6+4*F.1, 412-238*F.1, -32-20*F.1, -2+2*F.1,
  -3-2*F.1, 3+3*F.1, -4-2*F.1, 6+4*F.1, 52+20*F.1, -182+101*F.1, 63+39*F.1, 3+5*F.1,
  -201+116*F.1, 195-113*F.1, -2+2*F.1, 412-238*F.1, -182+101*F.1, 44094-25454*F.1, 18-157*F.1, -237+130*F.1,
  -86-49*F.1, -118-69*F.1, -204-118*F.1, -32-20*F.1, 63+39*F.1, 18-157*F.1, 15318+8842*F.1, 323+185*F.1,
  -1*F.1, 0, -2-3*F.1, -2+2*F.1, 3+5*F.1, -237+130*F.1, 323+185*F.1, 24+6*F.1
 ]),
 Matrix( F, 8,8, [
  4, 2*F.1, -2+1*F.1, 2+1*F.1, 1, -283-164*F.1, -4003-2311*F.1, -42914-24777*F.1,
  2*F.1, 4, 2-1*F.1, 2+1*F.1, 1+1*F.1, -346-201*F.1, -4867-2809*F.1, -52184-30129*F.1,
  -2+1*F.1, 2-1*F.1, 6-2*F.1, 1*F.1, -2+8*F.1, -42-27*F.1, -952-550*F.1, -9984-5765*F.1,
  2+1*F.1, 2+1*F.1, 1*F.1, 6+2*F.1, 2*F.1, -631-365*F.1, -9281-5358*F.1, -99232-57291*F.1,
  1, 1+1*F.1, -2+8*F.1, 2*F.1, 106-6*F.1, 760+427*F.1, 8449+4900*F.1, 91940+53072*F.1,
  -283-164*F.1, -346-201*F.1, -42-27*F.1, -631-365*F.1, 760+427*F.1, 129144+74494*F.1, 1806103+1042763*F.1, 19358544+11176641*F.1,
  -4003-2311*F.1, -4867-2809*F.1, -952-550*F.1, -9281-5358*F.1, 8449+4900*F.1, 1806103+1042763*F.1, 25416772+14674348*F.1, 272338701+157234828*F.1,
  -42914-24777*F.1, -52184-30129*F.1, -9984-5765*F.1, -99232-57291*F.1, 91940+53072*F.1, 19358544+11176641*F.1, 272338701+157234828*F.1, 2918145212+1684791916*F.1
 ]),
 Matrix( F, 8,8, [
  4, -2-1*F.1, -2+1*F.1, -6+4*F.1, -178+104*F.1, -51+55*F.1, -344-204*F.1, 25245-14575*F.1,
  -2-1*F.1, 6+2*F.1, 1*F.1, 10-7*F.1, -9+4*F.1, -11+10*F.1, 280+166*F.1, 932-537*F.1,
  -2+1*F.1, 1*F.1, 6-2*F.1, -2+1*F.1, 359-207*F.1, -3+3*F.1, -78-48*F.1, -53003+30602*F.1,
  -6+4*F.1, 10-7*F.1, -2+1*F.1, 146-56*F.1, 636-381*F.1, 18-37*F.1, -226-148*F.1, -96475+55698*F.1,
  -178+104*F.1, -9+4*F.1, 359-207*F.1, 636-381*F.1, 34120-19662*F.1, -277+366*F.1, 562-945*F.1, -5062979+2923098*F.1,
  -51+55*F.1, -11+10*F.1, -3+3*F.1, 18-37*F.1, -277+366*F.1, 10226-3090*F.1, -8303-3307*F.1, 179298-103403*F.1,
  -344-204*F.1, 280+166*F.1, -78-48*F.1, -226-148*F.1, 562-945*F.1, -8303-3307*F.1, 78712+44328*F.1, -179478+103642*F.1,
  25245-14575*F.1, 932-537*F.1, -53003+30602*F.1, -96475+55698*F.1, -5062979+2923098*F.1, 179298-103403*F.1, -179478+103642*F.1, 753916638-435273932*F.1
 ]),
];

Extr_10:=[
 Matrix( F, 10,10, [
  4, 2, 2, 1*F.1, 0, 2+1*F.1, -3+1*F.1, -2383-1377*F.1, 64-37*F.1, -205-122*F.1,
  2, 4, 2, -1*F.1, 1*F.1, 2+1*F.1, -1+1*F.1, -2385-1378*F.1, 64-37*F.1, 
-201-120*F.1,
  2, 2, 4, 0, -1*F.1, 2+2*F.1, -1, -2389-1380*F.1, 64-38*F.1, -197-118*F.1,
  1*F.1, -1*F.1, 0, 4, -2, 0, -1*F.1, 2+1*F.1, 0, -4-2*F.1,
  0, 1*F.1, -1*F.1, -2, 4, -2, 2, 4+2*F.1, 2, -4-2*F.1,
  2+1*F.1, 2+1*F.1, 2+2*F.1, 0, -2, 6+2*F.1, 2-1*F.1, -4658-2690*F.1, 
-295+170*F.1, -404-241*F.1,
  -3+1*F.1, -1+1*F.1, -1, -1*F.1, 2, 2-1*F.1, 90-40*F.1, -2741-1587*F.1, 
-4062+2348*F.1, -495-305*F.1,
  -2383-1377*F.1, -2385-1378*F.1, -2389-1380*F.1, 2+1*F.1, 4+2*F.1, 
-4658-2690*F.1, -2741-1587*F.1, 5829242+3365428*F.1, -1507-49*F.1, 
580738+335583*F.1,
  64-37*F.1, 64-37*F.1, 64-38*F.1, 0, 2, -295+170*F.1, -4062+2348*F.1, 
-1507-49*F.1, 257938-148916*F.1, -1830+927*F.1,
  -205-122*F.1, -201-120*F.1, -197-118*F.1, -4-2*F.1, -4-2*F.1, -404-241*F.1, 
-495-305*F.1, 580738+335583*F.1, -1830+927*F.1, 66128+36932*F.1
 ]),
 Matrix( F, 10,10, [
  4, 2*F.1, 2, 1*F.1, 2, 1*F.1, -1*F.1, 5+2*F.1, -7-3*F.1, -2,
  2*F.1, 4, 1*F.1, 2, 1*F.1, 2, -2, 7+5*F.1, -9-5*F.1, 1,
  2, 1*F.1, 4, 2*F.1, 2, 1*F.1, -1*F.1, 3+2*F.1, -5-2*F.1, -2,
  1*F.1, 2, 2*F.1, 4, 1*F.1, 2, -2, 7+4*F.1, -7-4*F.1, 1,
  2, 1*F.1, 2, 1*F.1, 4, 2*F.1, -1*F.1, 3+2*F.1, -5-2*F.1, -2,
  1*F.1, 2, 1*F.1, 2, 2*F.1, 4, -2, 7+4*F.1, -7-4*F.1, 1,
  -1*F.1, -2, -1*F.1, -2, -1*F.1, -2, 10-4*F.1, -12-6*F.1, 6+4*F.1, 8+3*F.1,
  5+2*F.1, 7+5*F.1, 3+2*F.1, 7+4*F.1, 3+2*F.1, 7+4*F.1, -12-6*F.1, 140+72*F.1, 
29+18*F.1, -35-23*F.1,
  -7-3*F.1, -9-5*F.1, -5-2*F.1, -7-4*F.1, -5-2*F.1, -7-4*F.1, 6+4*F.1, 
29+18*F.1, 384+218*F.1, -17-11*F.1,
  -2, 1, -2, 1, -2, 1, 8+3*F.1, -35-23*F.1, -17-11*F.1, 78+42*F.1
 ]),
 Matrix( F, 10,10, [
  4, 2*F.1, 2, 1*F.1, 2-1*F.1, -3-2*F.1, -1+1*F.1, -2373+1369*F.1, 1502+868*F.1,
-120664+69665*F.1,
  2*F.1, 4, 1*F.1, 2, -2+1*F.1, -4-2*F.1, 1*F.1, 2242-1295*F.1, 2510+1449*F.1, 
114078-65864*F.1,
  2, 1*F.1, 4, 2*F.1, 2-1*F.1, -3-2*F.1, -1+1*F.1, -2377+1372*F.1, 1498+866*F.1,
-120664+69665*F.1,
  1*F.1, 2, 2*F.1, 4, -2+1*F.1, -4-2*F.1, 1*F.1, 2248-1297*F.1, 2506+1447*F.1, 
114078-65864*F.1,
  2-1*F.1, -2+1*F.1, 2-1*F.1, -2+1*F.1, 6-2*F.1, -1-1*F.1, -7+5*F.1, 
-4632+2674*F.1, -1314-761*F.1, -234795+135559*F.1,
  -3-2*F.1, -4-2*F.1, -3-2*F.1, -4-2*F.1, -1-1*F.1, 32+18*F.1, -5-10*F.1, 
114-63*F.1, -10508-6067*F.1, 5720-3298*F.1,
  -1+1*F.1, 1*F.1, -1+1*F.1, 1*F.1, -7+5*F.1, -5-10*F.1, 174-72*F.1, 
16167-9324*F.1, 7658+4433*F.1, 819954-473405*F.1,
  -2373+1369*F.1, 2242-1295*F.1, -2377+1372*F.1, 2248-1297*F.1, -4632+2674*F.1, 
114-63*F.1, 16167-9324*F.1, 5793018-3344556*F.1, 121+1714*F.1, 
294052774-169771433*F.1,
  1502+868*F.1, 2510+1449*F.1, 1498+866*F.1, 2506+1447*F.1, -1314-761*F.1, 
-10508-6067*F.1, 7658+4433*F.1, 121+1714*F.1, 8141830+4700672*F.1, 
-74984+39566*F.1,
  -120664+69665*F.1, 114078-65864*F.1, -120664+69665*F.1, 114078-65864*F.1, 
-234795+135559*F.1, 5720-3298*F.1, 819954-473405*F.1, 294052774-169771433*F.1, 
-74984+39566*F.1, 14926342420-8617727804*F.1
 ]),
 Matrix( F, 10,10, [
  4, -2, 0, 4-2*F.1, -1*F.1, 2-1*F.1, 11+7*F.1, 30+17*F.1, -12-8*F.1, 
-155+92*F.1,
  -2, 6-2*F.1, -2+1*F.1, 2-1*F.1, -2+1*F.1, 5-4*F.1, 194+113*F.1, -54-32*F.1, 
-14-6*F.1, 184-109*F.1,
  0, -2+1*F.1, 6-2*F.1, -2+1*F.1, 2-2*F.1, -9+7*F.1, -814-469*F.1, 191+111*F.1, 
38+22*F.1, -39+23*F.1,
  4-2*F.1, 2-1*F.1, -2+1*F.1, 12-6*F.1, 0, 9-6*F.1, 200+119*F.1, -40-22*F.1, 
-21-13*F.1, -171+102*F.1,
  -1*F.1, -2+1*F.1, 2-2*F.1, 0, 6, -8+4*F.1, 590+341*F.1, -197-114*F.1, 
40+23*F.1, -245+144*F.1,
  2-1*F.1, 5-4*F.1, -9+7*F.1, 9-6*F.1, -8+4*F.1, 92-42*F.1, -2092-1206*F.1, 
422+233*F.1, 181+124*F.1, 432-258*F.1,
  11+7*F.1, 194+113*F.1, -814-469*F.1, 200+119*F.1, 590+341*F.1, -2092-1206*F.1,
699454+403816*F.1, -157499-90955*F.1, -40766-23501*F.1, 1200+866*F.1,
  30+17*F.1, -54-32*F.1, 191+111*F.1, -40-22*F.1, -197-114*F.1, 422+233*F.1, 
-157499-90955*F.1, 38182+22000*F.1, 5882+3464*F.1, -102+256*F.1,
  -12-8*F.1, -14-6*F.1, 38+22*F.1, -21-13*F.1, 40+23*F.1, 181+124*F.1, 
-40766-23501*F.1, 5882+3464*F.1, 7228+4042*F.1, -654-722*F.1,
  -155+92*F.1, 184-109*F.1, -39+23*F.1, -171+102*F.1, -245+144*F.1, 432-258*F.1,
1200+866*F.1, -102+256*F.1, -654-722*F.1, 39296-22050*F.1
 ]),
 Matrix( F, 10,10, [
  4, -2, 0, 4-2*F.1, -1*F.1, 1, -4-2*F.1, -3-2*F.1, -8-4*F.1, -4-2*F.1,
  -2, 6+2*F.1, -2-1*F.1, -2+1*F.1, -2-1*F.1, 8+5*F.1, -12-8*F.1, -1, 
246+142*F.1, 1074+620*F.1,
  0, -2-1*F.1, 6-2*F.1, 2-1*F.1, 2, -4, 10+6*F.1, 1+1*F.1, -125-74*F.1, 
-569-329*F.1,
  4-2*F.1, -2+1*F.1, 2-1*F.1, 12-6*F.1, 0, -2, 2+2*F.1, 4-1*F.1, -8-1*F.1, 
-55-35*F.1,
  -1*F.1, -2-1*F.1, 2, 0, 6, -7-5*F.1, 6+2*F.1, 2*F.1, -105-60*F.1, 
-504-290*F.1,
  1, 8+5*F.1, -4, -2, -7-5*F.1, 156+88*F.1, 29+16*F.1, -76-45*F.1, 39+23*F.1, 
228+132*F.1,
  -4-2*F.1, -12-8*F.1, 10+6*F.1, 2+2*F.1, 6+2*F.1, 29+16*F.1, 144+78*F.1, 3, 
-1238-718*F.1, -5790-3342*F.1,
  -3-2*F.1, -1, 1+1*F.1, 4-1*F.1, 2*F.1, -76-45*F.1, 3, 66+24*F.1, 51+30*F.1, 
147+79*F.1,
  -8-4*F.1, 246+142*F.1, -125-74*F.1, -8-1*F.1, -105-60*F.1, 39+23*F.1, 
-1238-718*F.1, 51+30*F.1, 16348+9400*F.1, 72751+42018*F.1,
  -4-2*F.1, 1074+620*F.1, -569-329*F.1, -55-35*F.1, -504-290*F.1, 228+132*F.1, 
-5790-3342*F.1, 147+79*F.1, 72751+42018*F.1, 328842+189846*F.1
 ]),
 Matrix( F, 10,10, [
  4, 1*F.1, -1, 2, 2-2*F.1, 7+5*F.1, -681+393*F.1, 128300-74073*F.1, 
-2784412+1607580*F.1, -3501-2022*F.1,
  1*F.1, 4, 1-1*F.1, 2+2*F.1, -2+1*F.1, 6+5*F.1, 672-388*F.1, -127117+73391*F.1,
2758978-1592897*F.1, -1332-770*F.1,
  -1, 1-1*F.1, 4, 0, -1, 1*F.1, 582-335*F.1, -107887+62289*F.1, 
2341618-1351933*F.1, 2046+1181*F.1,
  2, 2+2*F.1, 0, 8+2*F.1, 2, 19+14*F.1, 8-6*F.1, 1151-664*F.1, -25537+14742*F.1,
-1839-1063*F.1,
  2-2*F.1, -2+1*F.1, -1, 2, 8-2*F.1, 4, -1353+780*F.1, 255454-147487*F.1, 
-5543604+3200601*F.1, 869+501*F.1,
  7+5*F.1, 6+5*F.1, 1*F.1, 19+14*F.1, 4, 170+76*F.1, -1630+913*F.1, 
298586-172351*F.1, -6478082+3740114*F.1, -20398-11771*F.1,
  -681+393*F.1, 672-388*F.1, 582-335*F.1, 8-6*F.1, -1353+780*F.1, -1630+913*F.1,
499236-288198*F.1, -93399788+53924391*F.1, 2026878836-1170219039*F.1, 
1823+780*F.1,
  128300-74073*F.1, -127117+73391*F.1, -107887+62289*F.1, 1151-664*F.1, 
255454-147487*F.1, 298586-172351*F.1, -93399788+53924391*F.1, 
17480521466-10092383734*F.1, -379347210054+219016213854*F.1, -49639+21356*F.1,
  -2784412+1607580*F.1, 2758978-1592897*F.1, 2341618-1351933*F.1, 
-25537+14742*F.1, -5543604+3200601*F.1, -6478082+3740114*F.1, 
2026878836-1170219039*F.1, -379347210054+219016213854*F.1, 
8232266446972-4752901249186*F.1, 941417-541773*F.1,
  -3501-2022*F.1, -1332-770*F.1, 2046+1181*F.1, -1839-1063*F.1, 869+501*F.1, 
-20398-11771*F.1, 1823+780*F.1, -49639+21356*F.1, 941417-541773*F.1, 
8104916+4679368*F.1
 ]),
 Matrix( F, 10,10, [
  4, 1*F.1, -1*F.1, 2-2*F.1, -15-8*F.1, -27+16*F.1, 163-95*F.1, 265+153*F.1, 15850-9151*F.1, 7861+4538*F.1,
  1*F.1, 4, 1*F.1, -2+1*F.1, -10-7*F.1, 38-23*F.1, -227+132*F.1, 211+123*F.1, -21481+12401*F.1, 5437+3138*F.1,
  -1*F.1, 1*F.1, 4, 2, 6+4*F.1, 2-2*F.1, -40+23*F.1, -10-6*F.1, -3525+2036*F.1, -994-574*F.1,
  2-2*F.1, -2+1*F.1, 2, 8-2*F.1, 3+3*F.1, -65+38*F.1, 381-221*F.1, -417-239*F.1, 36782-21235*F.1, -12778-7380*F.1,
  -15-8*F.1, -10-7*F.1, 6+4*F.1, 3+3*F.1, 288+160*F.1, -24-7*F.1, 24-36*F.1, -760-440*F.1, 3529-2053*F.1, -12284-7091*F.1,
  -27+16*F.1, 38-23*F.1, 2-2*F.1, -65+38*F.1, -24-7*F.1, 1420-810*F.1, -8657+4996*F.1, -50-10*F.1, -815860+471039*F.1, -1815-1097*F.1,
  163-95*F.1, -227+132*F.1, -40+23*F.1, 381-221*F.1, 24-36*F.1, -8657+4996*F.1, 53534-30896*F.1, -197-254*F.1, 5040702-2910245*F.1, -10903-5929*F.1,
  265+153*F.1, 211+123*F.1, -10-6*F.1, -417-239*F.1, -760-440*F.1, -50-10*F.1, -197-254*F.1, 136496+78786*F.1, 11015-6699*F.1, 4085534+2358790*F.1,
  15850-9151*F.1, -21481+12401*F.1, -3525+2036*F.1, 36782-21235*F.1, 3529-2053*F.1, -815860+471039*F.1, 5040702-2910245*F.1, 11015-6699*F.1, 474987706-274234256*F.1, -36801+10297*F.1,
  7861+4538*F.1, 5437+3138*F.1, -994-574*F.1, -12778-7380*F.1, -12284-7091*F.1, -1815-1097*F.1, -10903-5929*F.1, 4085534+2358790*F.1, -36801+10297*F.1, 123218920+71140300*F.1
 ]),
 Matrix( F, 10,10, [
  4, 2, 2+1*F.1, -2+1*F.1, -1*F.1, 1*F.1, 4+3*F.1, 1, 2113-1221*F.1, -924+533*F.1,
  2, 4, 2+1*F.1, -2+1*F.1, -1*F.1, -1*F.1, 6+4*F.1, 1, 2113-1221*F.1, -922+533*F.1,
  2+1*F.1, 2+1*F.1, 6+2*F.1, 0, -1, 0, 9+5*F.1, -5-6*F.1, 267-154*F.1, -99+56*F.1,
  -2+1*F.1, -2+1*F.1, 0, 6-2*F.1, 1+1*F.1, 0, 1-1*F.1, 3+4*F.1, -3981+2298*F.1, 1729-998*F.1,
  -1*F.1, -1*F.1, -1, 1+1*F.1, 6, 0, -4-2*F.1, -2-2*F.1, 1750-1011*F.1, -780+452*F.1,
  1*F.1, -1*F.1, 0, 0, 0, 4, -2-1*F.1, 0, 0, -1*F.1,
  4+3*F.1, 6+4*F.1, 9+5*F.1, 1-1*F.1, -4-2*F.1, -2-1*F.1, 26+14*F.1, 1*F.1, -1298+748*F.1, 562-329*F.1,
  1, 1, -5-6*F.1, 3+4*F.1, -2-2*F.1, 0, 1*F.1, 152+52*F.1, 4693-2709*F.1, -1925+1181*F.1,
  2113-1221*F.1, 2113-1221*F.1, 267-154*F.1, -3981+2298*F.1, 1750-1011*F.1, 0, -1298+748*F.1, 4693-2709*F.1, 4443240-2565302*F.1, -1932989+1116009*F.1,
  -924+533*F.1, -922+533*F.1, -99+56*F.1, 1729-998*F.1, -780+452*F.1, -1*F.1, 562-329*F.1, -1925+1181*F.1, -1932989+1116009*F.1, 841446-485618*F.1
 ]),
 Matrix( F, 10,10, [
  4, -2, 0, 0, 1*F.1, -2*F.1, 0, 0, 4-2*F.1, -2,
  -2, 4, 0, -2, 0, 1*F.1, -2, -2, -8+5*F.1, 18+12*F.1,
  0, 0, 6+2*F.1, 0, -1+1*F.1, 0, -1, 198+115*F.1, -130+74*F.1, -31-22*F.1,
  0, -2, 0, 6-2*F.1, 1-1*F.1, 0, 1+1*F.1, 30+17*F.1, 1488-859*F.1, 15+12*F.1,
  1*F.1, 0, -1+1*F.1, 1-1*F.1, 6, -2, -2-1*F.1, 39+22*F.1, 716-415*F.1, 123+87*F.1,
  -2*F.1, 1*F.1, 0, 0, -2, 4, 0, 0, 4-2*F.1, 1*F.1,
  0, -2, -1, 1+1*F.1, -2-1*F.1, 0, 6, -37-22*F.1, -659+381*F.1, -76-54*F.1,
  0, -2, 198+115*F.1, 30+17*F.1, 39+22*F.1, 0, -37-22*F.1, 14066+8118*F.1, 346+391*F.1, 2852+1606*F.1,
  4-2*F.1, -8+5*F.1, -130+74*F.1, 1488-859*F.1, 716-415*F.1, 4-2*F.1, -659+381*F.1, 346+391*F.1, 634414-366122*F.1, -7473+4193*F.1,
  -2, 18+12*F.1, -31-22*F.1, 15+12*F.1, 123+87*F.1, 1*F.1, -76-54*F.1, 2852+1606*F.1, -7473+4193*F.1, 12610+5924*F.1
 ]),
 Matrix( F, 10,10, [
  4, -1*F.1, -2+1*F.1, -2+1*F.1, -1*F.1, 4+2*F.1, 8-11*F.1, 722-418*F.1, -165896+95781*F.1, -2973-1718*F.1,
  -1*F.1, 6-2*F.1, 2-1*F.1, -2+1*F.1, 3+2*F.1, 1-1*F.1, 3-2*F.1, 3939-2274*F.1, -945893+546111*F.1, 2276+1315*F.1,
  -2+1*F.1, 2-1*F.1, 6-2*F.1, 0, 2+3*F.1, 4+1*F.1, -12+14*F.1, 2175-1256*F.1, -532574+307482*F.1, 597+343*F.1,
  -2+1*F.1, -2+1*F.1, 0, 6-2*F.1, -2+1*F.1, 1, -14+15*F.1, -1577+911*F.1, 372480-215051*F.1, -351-204*F.1,
  -1*F.1, 3+2*F.1, 2+3*F.1, -2+1*F.1, 42+6*F.1, 28+25*F.1, -39+40*F.1, -8627+4992*F.1, 2057776-1188068*F.1, 3374+1955*F.1,
  4+2*F.1, 1-1*F.1, 4+1*F.1, 1, 28+25*F.1, 126+66*F.1, 18-8*F.1, 5278-3056*F.1, -1261386+728248*F.1, -17334-10011*F.1,
  8-11*F.1, 3-2*F.1, -12+14*F.1, -14+15*F.1, -39+40*F.1, 18-8*F.1, 812-238*F.1, 39698-22851*F.1, -9340493+5392779*F.1, 2608+1290*F.1,
  722-418*F.1, 3939-2274*F.1, 2175-1256*F.1, -1577+911*F.1, -8627+4992*F.1, 5278-3056*F.1, 39698-22851*F.1, 8171084-4717470*F.1, -1950741602+1126261160*F.1, 19553+928*F.1,
  -165896+95781*F.1, -945893+546111*F.1, -532574+307482*F.1, 372480-215051*F.1, 2057776-1188068*F.1, -1261386+728248*F.1, -9340493+5392779*F.1, -1950741602+1126261160*F.1, 
465770182838-268912540394*F.1, -2122016+1216864*F.1,
  -2973-1718*F.1, 2276+1315*F.1, 597+343*F.1, -351-204*F.1, 3374+1955*F.1, -17334-10011*F.1, 2608+1290*F.1, 19553+928*F.1, -2122016+1216864*F.1, 9210186+5315430*F.1
 ]),
 Matrix( F, 10,10, [
  4, -1*F.1, -2+1*F.1, -2, -4-3*F.1, -10+6*F.1, -18+11*F.1, -6-3*F.1, 5406-3122*F.1, -105-61*F.1,
  -1*F.1, 6+2*F.1, 2+1*F.1, 1*F.1, 1+2*F.1, -28+16*F.1, -6+4*F.1, -158-96*F.1, 11525-6652*F.1, -383-221*F.1,
  -2+1*F.1, 2+1*F.1, 6-2*F.1, -2+1*F.1, -2+1*F.1, 172-99*F.1, -60+36*F.1, -81-48*F.1, -53827+31077*F.1, -66-40*F.1,
  -2, 1*F.1, -2+1*F.1, 8-2*F.1, 5+3*F.1, -376+218*F.1, 93-55*F.1, 63+41*F.1, 117669-67936*F.1, -384-224*F.1,
  -4-3*F.1, 1+2*F.1, -2+1*F.1, 5+3*F.1, 82+22*F.1, 411-243*F.1, -282+153*F.1, -315-202*F.1, -132988+76780*F.1, 3976+2302*F.1,
  -10+6*F.1, -28+16*F.1, 172-99*F.1, -376+218*F.1, 411-243*F.1, 37678-21722*F.1, -10853+6330*F.1, 737+252*F.1, -11997988+6927028*F.1, -1781-737*F.1,
  -18+11*F.1, -6+4*F.1, -60+36*F.1, 93-55*F.1, -282+153*F.1, -10853+6330*F.1, 7746-4334*F.1, 239+1039*F.1, 3356920-1938148*F.1, -2087-1157*F.1,
  -6-3*F.1, -158-96*F.1, -81-48*F.1, 63+41*F.1, -315-202*F.1, 737+252*F.1, 239+1039*F.1, 24518+13474*F.1, -16998+9476*F.1, -61916-35720*F.1,
  5406-3122*F.1, 11525-6652*F.1, -53827+31077*F.1, 117669-67936*F.1, -132988+76780*F.1, -11997988+6927028*F.1, 3356920-1938148*F.1, -16998+9476*F.1, 3831275294-2211987800*F.1, 
82963-47646*F.1,
  -105-61*F.1, -383-221*F.1, -66-40*F.1, -384-224*F.1, 3976+2302*F.1, -1781-737*F.1, -2087-1157*F.1, -61916-35720*F.1, 82963-47646*F.1, 592380+341976*F.1
 ]),
 Matrix( F, 10,10, [
  4, 2, -1-1*F.1, 1*F.1, -3+1*F.1, 2-4*F.1, 119+69*F.1, -11726-6769*F.1, 13430-7763*F.1, 130949-75604*F.1,
  2, 4, -1-1*F.1, -1*F.1, -3+2*F.1, 4-4*F.1, 123+71*F.1, -11724-6768*F.1, 13434-7765*F.1, 130945-75602*F.1,
  -1-1*F.1, -1-1*F.1, 6+2*F.1, 0, 1+1*F.1, -3+8*F.1, -234-136*F.1, 25503+14724*F.1, 6745-3901*F.1, 29984-17310*F.1,
  1*F.1, -1*F.1, 0, 4, -2, -1*F.1, -4-2*F.1, -2-1*F.1, 4-2*F.1, -4+2*F.1,
  -3+1*F.1, -3+2*F.1, 1+1*F.1, -2, 10-4*F.1, -3+8*F.1, -98-56*F.1, 10023+5784*F.1, -35287+20396*F.1, -358197+206805*F.1,
  2-4*F.1, 4-4*F.1, -3+8*F.1, -1*F.1, -3+8*F.1, 250-48*F.1, -931-479*F.1, 77785+44905*F.1, -32521+18767*F.1, -80280+46370*F.1,
  119+69*F.1, 123+71*F.1, -234-136*F.1, -4-2*F.1, -98-56*F.1, -931-479*F.1, 19376+11068*F.1, -1879513-1085142*F.1, 15048-11069*F.1, 294916-170043*F.1,
  -11726-6769*F.1, -11724-6768*F.1, 25503+14724*F.1, -2-1*F.1, 10023+5784*F.1, 77785+44905*F.1, -1879513-1085142*F.1, 187094206+108018842*F.1, 84716+61528*F.1, -134391+84752*F.1,
  13430-7763*F.1, 13434-7765*F.1, 6745-3901*F.1, 4-2*F.1, -35287+20396*F.1, -32521+18767*F.1, 15048-11069*F.1, 84716+61528*F.1, 195321132-112643556*F.1, 1822086463-1052019392*F.1,
  130949-75604*F.1, 130945-75602*F.1, 29984-17310*F.1, -4+2*F.1, -358197+206805*F.1, -80280+46370*F.1, 294916-170043*F.1, -134391+84752*F.1, 1822086463-1052019392*F.1, 
18322274388-10578358756*F.1
 ]),
 Matrix( F, 10,10, [
  4, 2, 1-1*F.1, 1+2*F.1, -2-1*F.1, 0, 0, -2+2*F.1, 77-46*F.1, 625-360*F.1,
  2, 4, -1*F.1, 1+1*F.1, -2-1*F.1, 0, 1+1*F.1, -1+2*F.1, 55-32*F.1, 626-361*F.1,
  1-1*F.1, -1*F.1, 4, -1, 0, -1, 0, 1*F.1, 76-44*F.1, 724-419*F.1,
  1+2*F.1, 1+1*F.1, -1, 6+2*F.1, -3-2*F.1, 0, -1, 4-3*F.1, -30+16*F.1, -107+62*F.1,
  -2-1*F.1, -2-1*F.1, 0, -3-2*F.1, 6+2*F.1, -1*F.1, -1, 3-3*F.1, 10-7*F.1, 67-38*F.1,
  0, 0, -1, 0, -1*F.1, 4, -1, 1-2*F.1, 14-9*F.1, 24-13*F.1,
  0, 1+1*F.1, 0, -1, -1, -1, 4, -9+7*F.1, -37+21*F.1, -549+318*F.1,
  -2+2*F.1, -1+2*F.1, 1*F.1, 4-3*F.1, 3-3*F.1, 1-2*F.1, -9+7*F.1, 94-38*F.1, 174-98*F.1, 2685-1556*F.1,
  77-46*F.1, 55-32*F.1, 76-44*F.1, -30+16*F.1, 10-7*F.1, 14-9*F.1, -37+21*F.1, 174-98*F.1, 4918-2814*F.1, 46680-26961*F.1,
  625-360*F.1, 626-361*F.1, 724-419*F.1, -107+62*F.1, 67-38*F.1, 24-13*F.1, -549+318*F.1, 2685-1556*F.1, 46680-26961*F.1, 499484-288368*F.1
 ]),
 Matrix( F, 10,10, [
  4, 2, 0, 1*F.1, 2+1*F.1, 1+1*F.1, -3083+1781*F.1, 37458+21626*F.1, 287-191*F.1, -164242+94826*F.1,
  2, 4, 0, -1*F.1, 2+2*F.1, -1, -3083+1780*F.1, 37450+21622*F.1, 287-191*F.1, -164242+94825*F.1,
  0, 0, 4, 0, 0, 0, -9+5*F.1, 50+29*F.1, 17-10*F.1, -452+260*F.1,
  1*F.1, -1*F.1, 0, 4, -2, 2+1*F.1, 2, 8+4*F.1, 0, 2,
  2+1*F.1, 2+2*F.1, 0, -2, 6+2*F.1, 9+9*F.1, 45-24*F.1, 74689+43121*F.1, 169-110*F.1, 1736-1000*F.1,
  1+1*F.1, -1, 0, 2+1*F.1, 9+9*F.1, 500+156*F.1, -14890+8571*F.1, 463230+267407*F.1, 3656-2442*F.1, -797826+460598*F.1,
  -3083+1781*F.1, -3083+1780*F.1, -9+5*F.1, 2, 45-24*F.1, -14890+8571*F.1, 10224422-5903030*F.1, -4828+6197*F.1, -1789488+1034209*F.1, 546701203-315638084*F.1,
  37458+21626*F.1, 37450+21622*F.1, 50+29*F.1, 8+4*F.1, 74689+43121*F.1, 463230+267407*F.1, -4828+6197*F.1, 1489655060+860052666*F.1, -604038-350012*F.1, -415487+241721*F.1,
  287-191*F.1, 287-191*F.1, 17-10*F.1, 0, 169-110*F.1, 3656-2442*F.1, -1789488+1034209*F.1, -604038-350012*F.1, 478336-239700*F.1, -96065163+55462220*F.1,
  -164242+94826*F.1, -164242+94825*F.1, -452+260*F.1, 2, 1736-1000*F.1, -797826+460598*F.1, 546701203-315638084*F.1, -415487+241721*F.1, -96065163+55462220*F.1, 
29233186896-16877788202*F.1
 ]),
 Matrix( F, 10,10, [
  4, 2, 1*F.1, 0, 3-1*F.1, 0, 12+7*F.1, 4710-2720*F.1, 20719+11961*F.1, -25808+14901*F.1,
  2, 4, -1*F.1, 1*F.1, 3-1*F.1, 2, 10+7*F.1, 4710-2719*F.1, 20711+11957*F.1, -25808+14901*F.1,
  1*F.1, -1*F.1, 4, -2, 0, -1*F.1, 1*F.1, -2, 8+4*F.1, 0,
  0, 1*F.1, -2, 4, 2, -1, 3+1*F.1, -32+18*F.1, -251-144*F.1, 110-63*F.1,
  3-1*F.1, 3-1*F.1, 0, 2, 10-4*F.1, 4-1*F.1, 7+4*F.1, 15158-8751*F.1, 20260+11699*F.1, -83179+48023*F.1,
  0, 2, -1*F.1, -1, 4-1*F.1, 8+2*F.1, 13+8*F.1, 6277-3627*F.1, 53351+30802*F.1, -34453+19892*F.1,
  12+7*F.1, 10+7*F.1, 1*F.1, 3+1*F.1, 7+4*F.1, 13+8*F.1, 278+138*F.1, 3831-2101*F.1, 382571+220884*F.1, -20453+11761*F.1,
  4710-2720*F.1, 4710-2719*F.1, -2, -32+18*F.1, 15158-8751*F.1, 6277-3627*F.1, 3831-2101*F.1, 30937492-17861598*F.1, 67705+40777*F.1, -169676471+97962717*F.1,
  20719+11961*F.1, 20711+11957*F.1, 8+4*F.1, -251-144*F.1, 20260+11699*F.1, 53351+30802*F.1, 382571+220884*F.1, 67705+40777*F.1, 834417934+481751364*F.1, -26493-24445*F.1,
  -25808+14901*F.1, -25808+14901*F.1, 0, 110-63*F.1, -83179+48023*F.1, -34453+19892*F.1, -20453+11761*F.1, -169676471+97962717*F.1, -26493-24445*F.1, 930597330-537280540*F.1
 ]),
 Matrix( F, 10,10, [
  4, 2, -2, -2+1*F.1, -1*F.1, -2*F.1, -46-27*F.1, -8+5*F.1, -187+108*F.1, -1497+865*F.1,
  2, 4, -2-1*F.1, -2+2*F.1, 0, 0, -44-25*F.1, 1*F.1, -181+104*F.1, -1484+857*F.1,
  -2, -2-1*F.1, 6+2*F.1, 1, 2+1*F.1, -1+1*F.1, 76+44*F.1, -21+11*F.1, -282+164*F.1, -2597+1501*F.1,
  -2+1*F.1, -2+2*F.1, 1, 6-2*F.1, 1+1*F.1, 1*F.1, 5+1*F.1, -20+13*F.1, 23-14*F.1, -51+30*F.1,
  -1*F.1, 0, 2+1*F.1, 1+1*F.1, 8, 3-1*F.1, 32+19*F.1, -23+12*F.1, -461+268*F.1, -3955+2283*F.1,
  -2*F.1, 0, -1+1*F.1, 1*F.1, 3-1*F.1, 8, 45+26*F.1, 18-10*F.1, 163-94*F.1, 1635-945*F.1,
  -46-27*F.1, -44-25*F.1, 76+44*F.1, 5+1*F.1, 32+19*F.1, 45+26*F.1, 1950+1118*F.1, -195+12*F.1, -1184+673*F.1, -10554+6110*F.1,
  -8+5*F.1, 1*F.1, -21+11*F.1, -20+13*F.1, -23+12*F.1, 18-10*F.1, -195+12*F.1, 2708-1450*F.1, 32281-18617*F.1, 288503-166576*F.1,
  -187+108*F.1, -181+104*F.1, -282+164*F.1, 23-14*F.1, -461+268*F.1, 163-94*F.1, -1184+673*F.1, 32281-18617*F.1, 427848-246982*F.1, 3805069-2196872*F.1,
  -1497+865*F.1, -1484+857*F.1, -2597+1501*F.1, -51+30*F.1, -3955+2283*F.1, 1635-945*F.1, -10554+6110*F.1, 288503-166576*F.1, 3805069-2196872*F.1, 33866200-19552652*F.1
 ]),
 Matrix( F, 10,10, [
  4, 2, -1*F.1, -1+1*F.1, 3+2*F.1, -2*F.1, 46+27*F.1, 114-65*F.1, 44-25*F.1, -12757+7366*F.1,
  2, 4, -1*F.1, -1+2*F.1, 3+1*F.1, 2+3*F.1, 28+17*F.1, 92-54*F.1, 70-41*F.1, -12785+7382*F.1,
  -1*F.1, -1*F.1, 4, -2+1*F.1, -2-2*F.1, 1-1*F.1, -78-45*F.1, 83-49*F.1, 345-199*F.1, -23786+13732*F.1,
  -1+1*F.1, -1+2*F.1, -2+1*F.1, 6-2*F.1, -1+1*F.1, 2+4*F.1, -37-22*F.1, -243+140*F.1, -650+375*F.1, 52299-30195*F.1,
  3+2*F.1, 3+1*F.1, -2-2*F.1, -1+1*F.1, 10+4*F.1, -1*F.1, 227+131*F.1, 46-27*F.1, 286-165*F.1, -17485+10098*F.1,
  -2*F.1, 2+3*F.1, 1-1*F.1, 2+4*F.1, -1*F.1, 94+24*F.1, -282-166*F.1, 396-258*F.1, 1354-806*F.1, -97727+56391*F.1,
  46+27*F.1, 28+17*F.1, -78-45*F.1, -37-22*F.1, 227+131*F.1, -282-166*F.1, 11640+6684*F.1, -292+83*F.1, 920-91*F.1, -3994+2600*F.1,
  114-65*F.1, 92-54*F.1, 83-49*F.1, -243+140*F.1, 46-27*F.1, 396-258*F.1, -292+83*F.1, 18578-10698*F.1, 36669-21186*F.1, -3352072+1935331*F.1,
  44-25*F.1, 70-41*F.1, 345-199*F.1, -650+375*F.1, 286-165*F.1, 1354-806*F.1, 920-91*F.1, 36669-21186*F.1, 177828-102582*F.1, -11297551+6522668*F.1,
  -12757+7366*F.1, -12785+7382*F.1, -23786+13732*F.1, 52299-30195*F.1, -17485+10098*F.1, -97727+56391*F.1, -3994+2600*F.1, -3352072+1935331*F.1, -11297551+6522668*F.1, 
813707366-469794144*F.1
 ]),
 Matrix( F, 10,10, [
  6+2*F.1, 1+1*F.1, 0, 2+2*F.1, 1-1*F.1, 3+3*F.1, 108+63*F.1, 4018+2320*F.1, -15+45*F.1, 148420+85691*F.1,
  1+1*F.1, 6-2*F.1, -3+2*F.1, 1+1*F.1, -1+2*F.1, 2, 8+6*F.1, 64+39*F.1, -41+105*F.1, 3626+2096*F.1,
  0, -3+2*F.1, 6-2*F.1, 2-1*F.1, 3-1*F.1, -3-1*F.1, -6-6*F.1, -513-294*F.1, 6*F.1, -18723-10808*F.1,
  2+2*F.1, 1+1*F.1, 2-1*F.1, 6, 3+1*F.1, 3+1*F.1, 52+29*F.1, 1727+998*F.1, -5+16*F.1, 64954+37502*F.1,
  1-1*F.1, -1+2*F.1, 3-1*F.1, 3+1*F.1, 10+2*F.1, -3, -58-35*F.1, -2751-1590*F.1, -14+38*F.1, -98415-56821*F.1,
  3+3*F.1, 2, -3-1*F.1, 3+1*F.1, -3, 12+4*F.1, 106+63*F.1, 4437+2562*F.1, 6-15*F.1, 163389+94334*F.1,
  108+63*F.1, 8+6*F.1, -6-6*F.1, 52+29*F.1, -58-35*F.1, 106+63*F.1, 3392+1942*F.1, 133721+77211*F.1, -879-755*F.1, 4899229+2828578*F.1,
  4018+2320*F.1, 64+39*F.1, -513-294*F.1, 1727+998*F.1, -2751-1590*F.1, 4437+2562*F.1, 133721+77211*F.1, 5391190+3112350*F.1, -63522-36380*F.1, 197189562+113847336*F.1,
  -15+45*F.1, -41+105*F.1, 6*F.1, -5+16*F.1, -14+38*F.1, 6-15*F.1, -879-755*F.1, -63522-36380*F.1, 20894-2726*F.1, -2249960-1298907*F.1,
  148420+85691*F.1, 3626+2096*F.1, -18723-10808*F.1, 64954+37502*F.1, -98415-56821*F.1, 163389+94334*F.1, 4899229+2828578*F.1, 197189562+113847336*F.1, -2249960-1298907*F.1, 
7214401582+4165236632*F.1
 ]),
 Matrix( F, 10,10, [
  4, -1+1*F.1, -1, -2, -2+1*F.1, 49+29*F.1, -205+119*F.1, 6762-3904*F.1, 13531+7811*F.1, 46-33*F.1,
  -1+1*F.1, 6-2*F.1, -4+2*F.1, -1-1*F.1, 3-1*F.1, 6+3*F.1, 238-138*F.1, -7962+4597*F.1, 1075+623*F.1, 45-32*F.1,
  -1, -4+2*F.1, 8-4*F.1, -1+1*F.1, -3+2*F.1, -6-2*F.1, -218+126*F.1, 7950-4590*F.1, -1081-623*F.1, -11+7*F.1,
  -2, -1-1*F.1, -1+1*F.1, 6, 2-3*F.1, -49-28*F.1, 205-119*F.1, -7060+4075*F.1, -13780-7956*F.1, -23+14*F.1,
  -2+1*F.1, 3-1*F.1, -3+2*F.1, 2-3*F.1, 8-2*F.1, 13+7*F.1, 363-211*F.1, -12497+7216*F.1, 3751+2168*F.1, -41+29*F.1,
  49+29*F.1, 6+3*F.1, -6-2*F.1, -49-28*F.1, 13+7*F.1, 3376+1936*F.1, 390-227*F.1, -12910+8140*F.1, 995795+574927*F.1, 504+705*F.1,
  -205+119*F.1, 238-138*F.1, -218+126*F.1, 205-119*F.1, 363-211*F.1, 390-227*F.1, 40310-23250*F.1, -1367944+789788*F.1, -784-319*F.1, -13991+8163*F.1,
  6762-3904*F.1, -7962+4597*F.1, 7950-4590*F.1, -7060+4075*F.1, -12497+7216*F.1, -12910+8140*F.1, -1367944+789788*F.1, 46571154-26887540*F.1, 189948+104796*F.1, 493663-284360*F.1,
  13531+7811*F.1, 1075+623*F.1, -1081-623*F.1, -13780-7956*F.1, 3751+2168*F.1, 995795+574927*F.1, -784-319*F.1, 189948+104796*F.1, 295915128+170846572*F.1, 278631+160680*F.1,
  46-33*F.1, 45-32*F.1, -11+7*F.1, -23+14*F.1, -41+29*F.1, 504+705*F.1, -13991+8163*F.1, 493663-284360*F.1, 278631+160680*F.1, 17214-8236*F.1
 ]),
 Matrix( F, 10,10, [
  4, -2-1*F.1, -2-3*F.1, -3+11*F.1, 956+553*F.1, -48-28*F.1, -482+279*F.1, -1868+1079*F.1, 108207-62473*F.1, 405812+234296*F.1,
  -2-1*F.1, 6+2*F.1, -6-5*F.1, 3-9*F.1, -1887-1089*F.1, 550+317*F.1, -610+354*F.1, -898+521*F.1, 45336-26173*F.1, -713703-412056*F.1,
  -2-3*F.1, -6-5*F.1, 636+264*F.1, 77+93*F.1, 7238+4143*F.1, -11610-6698*F.1, 10486-5950*F.1, 3015-1714*F.1, 19270-10904*F.1, 507083+292732*F.1,
  -3+11*F.1, 3-9*F.1, 77+93*F.1, 354-36*F.1, 7818+4565*F.1, -2890-1595*F.1, -7415+4304*F.1, 9811-5650*F.1, -767713+443157*F.1, 2831923+1635028*F.1,
  956+553*F.1, -1887-1089*F.1, 7238+4143*F.1, 7818+4565*F.1, 960676+554606*F.1, -301328-174004*F.1, 4988-2617*F.1, -1075+295*F.1, 144080-87039*F.1, 357741066+206541903*F.1,
  -48-28*F.1, 550+317*F.1, -11610-6698*F.1, -2890-1595*F.1, -301328-174004*F.1, 281458+162420*F.1, -2565-325*F.1, -10564+5776*F.1, 632078-369164*F.1, -69105035-39897827*F.1,
  -482+279*F.1, -610+354*F.1, 10486-5950*F.1, -7415+4304*F.1, 4988-2617*F.1, -2565-325*F.1, 1980018-1143132*F.1, 1729737-998669*F.1, -70045140+40440580*F.1, -265239-157628*F.1,
  -1868+1079*F.1, -898+521*F.1, 3015-1714*F.1, 9811-5650*F.1, -1075+295*F.1, -10564+5776*F.1, 1729737-998669*F.1, 4219218-2435896*F.1, -233161795+134616038*F.1, -281369-165627*F.1,
  108207-62473*F.1, 45336-26173*F.1, 19270-10904*F.1, -767713+443157*F.1, 144080-87039*F.1, 632078-369164*F.1, -70045140+40440580*F.1, -233161795+134616038*F.1, 
13399151238-7736001014*F.1, -2596580-1385876*F.1,
  405812+234296*F.1, -713703-412056*F.1, 507083+292732*F.1, 2831923+1635028*F.1, 357741066+206541903*F.1, -69105035-39897827*F.1, -265239-157628*F.1, -281369-165627*F.1, 
-2596580-1385876*F.1, 143391211330+82786951006*F.1
 ]),
 Matrix( F, 10,10, [
  4, 3+1*F.1, 1+1*F.1, -1*F.1, -3+1*F.1, -3+6*F.1, 8716+5033*F.1, 400754+231375*F.1, -1237-727*F.1, 525105-303170*F.1,
  3+1*F.1, 10+4*F.1, 3+1*F.1, 1*F.1, -4, -2+16*F.1, 33622+19411*F.1, 1544589+891768*F.1, -4983-2930*F.1, -428213+247233*F.1,
  1+1*F.1, 3+1*F.1, 8, -2-1*F.1, 1, -3+10*F.1, 12583+7265*F.1, 577591+333471*F.1, -2309-1360*F.1, -1792405+1034844*F.1,
  -1*F.1, 1*F.1, -2-1*F.1, 6, 2-1*F.1, 4-8*F.1, 2+2*F.1, 467+271*F.1, 633+373*F.1, 1298290-749567*F.1,
  -3+1*F.1, -4, 1, 2-1*F.1, 14-6*F.1, 4-11*F.1, -9008-5201*F.1, -413872-238950*F.1, 1573+925*F.1, 1552158-896138*F.1,
  -3+6*F.1, -2+16*F.1, -3+10*F.1, 4-8*F.1, 4-11*F.1, 360-40*F.1, 113174+65346*F.1, 5195430+2999602*F.1, -24570-14337*F.1, 9647029-5569703*F.1,
  8716+5033*F.1, 33622+19411*F.1, 12583+7265*F.1, 2+2*F.1, -9008-5201*F.1, 113174+65346*F.1, 166382306+96060836*F.1, 7641168156+4411630497*F.1, -28989021-16736158*F.1, 
2565202-1456576*F.1,
  400754+231375*F.1, 1544589+891768*F.1, 577591+333471*F.1, 467+271*F.1, -413872-238950*F.1, 5195430+2999602*F.1, 7641168156+4411630497*F.1, 350923779488+202605938542*F.1, 
-1331027671-768468781*F.1, -400392+1355593*F.1,
  -1237-727*F.1, -4983-2930*F.1, -2309-1360*F.1, 633+373*F.1, 1573+925*F.1, -24570-14337*F.1, -28989021-16736158*F.1, -1331027671-768468781*F.1, 5564472+3153770*F.1, -30913+38104*F.1,
  525105-303170*F.1, -428213+247233*F.1, -1792405+1034844*F.1, 1298290-749567*F.1, 1552158-896138*F.1, 9647029-5569703*F.1, 2565202-1456576*F.1, -400392+1355593*F.1, -30913+38104*F.1, 
2232834728564-1289127707414*F.1
 ])
]; Matrix( F, 10,10, [
  4, 2*F.1, 2, 1*F.1, 2, 1*F.1, -1*F.1, 5+2*F.1, -7-3*F.1, -2,
  2*F.1, 4, 1*F.1, 2, 1*F.1, 2, -2, 7+5*F.1, -9-5*F.1, 1,
  2, 1*F.1, 4, 2*F.1, 2, 1*F.1, -1*F.1, 3+2*F.1, -5-2*F.1, -2,
  1*F.1, 2, 2*F.1, 4, 1*F.1, 2, -2, 7+4*F.1, -7-4*F.1, 1,
  2, 1*F.1, 2, 1*F.1, 4, 2*F.1, -1*F.1, 3+2*F.1, -5-2*F.1, -2,
  1*F.1, 2, 1*F.1, 2, 2*F.1, 4, -2, 7+4*F.1, -7-4*F.1, 1,
  -1*F.1, -2, -1*F.1, -2, -1*F.1, -2, 10-4*F.1, -12-6*F.1, 6+4*F.1, 8+3*F.1,
  5+2*F.1, 7+5*F.1, 3+2*F.1, 7+4*F.1, 3+2*F.1, 7+4*F.1, -12-6*F.1, 140+72*F.1, 29+18*F.1, 
-35-23*F.1,
  -7-3*F.1, -9-5*F.1, -5-2*F.1, -7-4*F.1, -5-2*F.1, -7-4*F.1, 6+4*F.1, 29+18*F.1, 384+218*F.1, 
-17-11*F.1,
  -2, 1, -2, 1, -2, 1, 8+3*F.1, -35-23*F.1, -17-11*F.1, 78+42*F.1
 ]),
 Matrix( F, 10,10, [
  4, 3+1*F.1, 1+1*F.1, -1*F.1, -3+1*F.1, -3+6*F.1, 8716+5033*F.1, 400754+231375*F.1, 
-1237-727*F.1, 525105-303170*F.1,
  3+1*F.1, 10+4*F.1, 3+1*F.1, 1*F.1, -4, -2+16*F.1, 33622+19411*F.1, 1544589+891768*F.1, 
-4983-2930*F.1, -428213+247233*F.1,
  1+1*F.1, 3+1*F.1, 8, -2-1*F.1, 1, -3+10*F.1, 12583+7265*F.1, 577591+333471*F.1, 
-2309-1360*F.1, -1792405+1034844*F.1,
  -1*F.1, 1*F.1, -2-1*F.1, 6, 2-1*F.1, 4-8*F.1, 2+2*F.1, 467+271*F.1, 633+373*F.1, 
1298290-749567*F.1,
  -3+1*F.1, -4, 1, 2-1*F.1, 14-6*F.1, 4-11*F.1, -9008-5201*F.1, -413872-238950*F.1, 
1573+925*F.1, 1552158-896138*F.1,
  -3+6*F.1, -2+16*F.1, -3+10*F.1, 4-8*F.1, 4-11*F.1, 360-40*F.1, 113174+65346*F.1, 
5195430+2999602*F.1, -24570-14337*F.1, 9647029-5569703*F.1,
  8716+5033*F.1, 33622+19411*F.1, 12583+7265*F.1, 2+2*F.1, -9008-5201*F.1, 113174+65346*F.1, 
166382306+96060836*F.1, 7641168156+4411630497*F.1, -28989021-16736158*F.1, 2565202-1456576*F.1,
  400754+231375*F.1, 1544589+891768*F.1, 577591+333471*F.1, 467+271*F.1, -413872-238950*F.1, 
5195430+2999602*F.1, 7641168156+4411630497*F.1, 350923779488+202605938542*F.1, 
-1331027671-768468781*F.1, -400392+1355593*F.1,
  -1237-727*F.1, -4983-2930*F.1, -2309-1360*F.1, 633+373*F.1, 1573+925*F.1, -24570-14337*F.1, 
-28989021-16736158*F.1, -1331027671-768468781*F.1, 5564472+3153770*F.1, -30913+38104*F.1,
  525105-303170*F.1, -428213+247233*F.1, -1792405+1034844*F.1, 1298290-749567*F.1, 
1552158-896138*F.1, 9647029-5569703*F.1, 2565202-1456576*F.1, -400392+1355593*F.1, 
-30913+38104*F.1, 2232834728564-1289127707414*F.1
 ]),
