# Maple code
 # Output: square system of equations (from lifting) for the Schubert problem
 #
 # (5 9 10 1 2 3 4 6 7 8)^3 (7 9 10 1 2 3 4 5 6 8)^12, compactly written
 #
 # [][][]^3 []^12 = 28490 in Gr(3,10)
 #
 # Nickolas Hein
 # 27 March 2015
 #
 with(LinearAlgebra):
 k:=3:
 n:=10:
 # Stiefel coordinates: points in [][][] * [][][] are locally in the span of c1,...,ck:
 c[1]:=Matrix(n,1,[[ x1 ],[ x2 ],[ x3 ],[ x4 ],[ 1 ],[ 0 ],[ 0 ],[ 0 ],[ 0 ],[ 0 ]]):
 c[2]:=Matrix(n,1,[[ 0 ],[ x5 ],[ x6 ],[ x7 ],[ x8 ],[ x9 ],[ x10 ],[ x11 ],[ 1 ],[ 0 ]]):
 c[3]:=Matrix(n,1,[[ 0 ],[ 0 ],[ 0 ],[ 0 ],[ 0 ],[ x12 ],[ x13 ],[ x14 ],[ x15 ],[ 1 ]]):
 # We will consider these vectors to be the first k columns of a matrix C.
 # We place these entries in a square matrix M so that M=[C|0].
 # The additional columns will be used later to calculate determinantal hypersurface conditions.
 M:=Matrix(n,n):
 for i from 1 to n do
  for j from 1 to k do
   M[i,j]:=c[j][i,1]:
  od:
 od:
 
 # The lifting formulation introduces some new variables.
 b[1]:=b12:
 b[2]:=b13:
 fprintf(file,"variable_group x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15;\n"):
 fprintf(file,"variable_group b12,b13;\n\n"):
 
 # We separate the functions into bilinear equations Bi and determinantal equations Di.
 fprintf(file,"function B1,B2,B3,B4,B5;\n"):
 fprintf(file,"function D1,D2,D3,D4,D5,D6,D7,D8,D9,D10,D11,D12;\n\n"):
 
 # The following is written as a loop to make this code apply to other problems more easily.
 for i from 0 to 0 do
  # Since we use lifting to obtain bilinear equations for non-hypersurface Schubert varieties with defining flags F, we randomly select flags G dual to F (randomly choosing G rather than F avoids a (simple) precomputation).
  # The flag G has ordered basis of rows g1,...,gn.
  for j from 1 to 5 do
   g[j]:=RandomMatrix(1,n):
   # Here we also by 1/100 using notation familiar to bertini. This helps condition the system numerically.
   fprintf(file,"B%a = 1e-2*(%a);\n\n",i*5+j,simplify(Multiply(g[j],c[1]+b[1]*c[2]+b[2]*c[3])[1,1])):
  od:
 od:
 # We randomly choose flags F for the determinantal conditions of []F by choosing random nxn matrices N (say columns N_n,N_(n-1),...,N_1 form a basis for F).
 # Here are the determinantal conditions:
 for ii from 1 to 12 do # One eqn for each [] condition
  N:=RandomMatrix(n,n):
  for i from 1 to n do
   for j from k+1 to n do
    M[i,j]:=N[i,j]:
   od:
  od:
  fprintf(file,"D%a = 1e-15*(%a);\n\n",ii,simplify(Determinant(M))):
  # Again, we scaled to condition the system.
 od:
 fclose(file):

CONFIG

USEREGENERATION: 1;
TRACKTOLBEFOREEG: 1e-8;
TRACKTOLDURINGEG: 1e-8;
FINALTOL: 1e-12;
SLICETOLBEFOREEG: 1e-8;
SLICETOLDURINGEG: 1e-8;
SLICEFINALTOL: 1e-12;
SECURITYMAXNORM: 1e9;
MAXNORM: 1e9;
PRINTPATHMODULUS: 2000;
SAMPLEFACTOR: 0.1;
NUMSAMPLEPOINTS: 3;
ODEPREDICTOR: 2;
RANDOMSEED: 1000;

END;
INPUT

variable_group x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15;
variable_group b12,b13;

function B1,B2,B3,B4,B5;
function D1,D2,D3,D4,D5,D6,D7,D8,D9,D10,D11,D12;

B1 = 1e-2*(-90*x1-21*x2-21*b12*x5-56*x3-56*b12*x6-8*x4-8*b12*x7-50-50*b12*x8+30*b12*x9+30*b13*x12+62*b12*x10+62*b13*x13-79*b12*x11-79*b13*x14-71*b12-71*b13*x15+28*b13);

B2 = 1e-2*(-65*x1+5*x2+5*b12*x5+66*x3+66*b12*x6-36*x4-36*b12*x7-41-41*b12*x8+20*b12*x9+20*b13*x12-7*b12*x10-7*b13*x13+16*b12*x11+16*b13*x14-34*b12-34*b13*x15-62*b13);

B3 = 1e-2*(5*x1-75*x2-75*b12*x5+38*x3+38*b12*x6+97*x4+97*b12*x7-82-82*b12*x8-66*b12*x9-66*b13*x12+55*b12*x10+55*b13*x13+68*b12*x11+68*b13*x14+26*b12+26*b13*x15+13*b13);

B4 = 1e-2*(-41*x1+24*x2+24*b12*x5+65*x3+65*b12*x6+x4+b12*x7-42-42*b12*x8-82*b12*x9-82*b13*x12+59*b12*x10+59*b13*x13-69*b12*x11-69*b13*x14+23*b12+23*b13*x15+25*b13);

B5 = 1e-2*(61*x1+96*x2+96*b12*x5+53*x3+53*b12*x6+61*x4+61*b12*x7-70-70*b12*x8+22*b12*x9+22*b13*x12-81*b12*x10-81*b13*x13-99*b12*x11-99*b13*x14-2*b12-2*b13*x15-98*b13);

D1 = 1e-15*(-273209792014929*x4*x15*x6-39497637752421*x1*x15*x11+13766809448598*x15*x8*x3-26197409507442*x10*x14*x2-4571455316151*x15*x11*x3-199011899134341*x4*x15*x5+70211439925071*x15*x10*x2+98013828742879*x12*x10*x3-3276147884589*x14*x8*x3-86379583096612*x9*x13*x2+82069109626841*x15*x10*x3-114815142164347*x1*x15*x5+20473705942279*x13*x5*x3+18862121638861*x1*x12*x6+273209792014929*x15*x7*x3-64803954979587*x14*x5*x3-53858075157525*x1*x15*x6+26197409507442*x13*x11*x2-161591318440119*x7*x14*x3+161591318440119*x4*x14*x6+256839985924200*x7*x2+272384871459933*x7*x3-216966784217310*x4*x15*x11-23584296468692*x15*x8*x2+49859285733632*x8*x1*x12-49494933705891*x10*x14*x3-5295363871761*x7*x14*x2+5295363871761*x4*x14*x5-42095547579538*x1+109015793122467*x2+89840862825697*x3+112774735317537*x4-84058062298004*x13*x8*x2-110299175105224*x5-109360590646329*x6-33317845083264*x7+22144850041192*x9-6363694716285*x10-106570525275849*x11-21227672528984*x12-27492055491385*x13+12388377176133*x14+57975002154576*x12*x11+49494933705891*x13*x11*x3+113150498979660*x14*x8*x2-20473705942279*x13*x2*x6-105562486145518*x2*x15*x6-94570054230020*x1*x12*x5+64803954979587*x14*x2*x6-90237517940619*x13*x8*x3-10568336729289*x8*x4*x13+57059491503660*x4*x13*x6+26995608344871*x4*x15*x10-87161323836999*x15*x11*x2+26925025458831*x1*x14*x6-35816655953025*x9*x14*x3-195620850209991*x15*x7*x1+105562486145518*x15*x5*x3+199011899134341*x15*x7*x2+282413113724187*x8*x4*x14-57059491503660*x7*x13*x3-51214758565801*x1*x15*x9-86993210957127*x15*x8*x4-27006213095517*x15*x8*x1-208823341978080*x4*x12*x5-76135578603804*x1*x12*x10-118264126743639*x7*x1*x14+208823341978080*x7*x12*x2-98013828742879*x9*x13*x3-227961716767479*x4*x12*x11+227961716767479*x4*x9*x14+3361249428687*x4*x10-26995608344871*x4*x13-55549880187309*x7*x13*x2+55549880187309*x4*x13*x5-61279905825081*x4*x10*x14+61279905825081*x4*x13*x11+25197263115429*x4*x12*x10-25197263115429*x4*x9*x13-316640283942135*x7*x1-283012871634477*x4*x11+216966784217310*x4*x14+110299175105224*x8*x2+109360590646329*x8*x3+33317845083264*x8*x4-108710651510411*x8*x1-278705366449311*x4*x12*x6-13766809448598*x15*x6+86993210957127*x15*x7+21227672528984*x15*x9+27492055491385*x15*x10-12388377176133*x15*x11+23584296468692*x15*x5-58696895493103*x2*x6+58696895493103*x5*x3-115389037437807*x11*x2-57694486812594*x11*x3+87161323836999*x14*x2+4571455316151*x14*x3-113150498979660*x14*x5+3276147884589*x14*x6+60183793269117*x10*x2+63058171525977*x10*x3-70211439925071*x13*x2-82069109626841*x13*x3+84058062298004*x13*x5+90237517940619*x13*x6+21694818925472*x12*x10-282413113724187*x7*x14+10568336729289*x7*x13-87744691436154*x10*x14+87744691436154*x13*x11+173140788618560*x9*x2+159882836321261*x9*x3-45522642708068*x12*x2-68441487819094*x12*x3-83515547317856*x12*x8*x2-58812046374984*x12*x8*x3-143145629190028*x12*x2*x6+143145629190028*x12*x5*x3+45522642708068*x15*x9*x2+68441487819094*x15*x9*x3+35816655953025*x12*x11*x3+83515547317856*x12*x5+58812046374984*x12*x6-57975002154576*x9*x14+90247166402892*x9*x14*x2-90247166402892*x12*x11*x2-11210788675299*x4*x15*x9+278705366449311*x7*x12*x3-76809213170232*x8*x4*x12-21694818925472*x9*x13+86379583096612*x12*x10*x2+69965729454264*x7*x1*x13+44659141208454*x8*x1*x14-46545850425258*x1*x14*x5-210215273606485*x1*x5-150574913347693*x1*x6-89381762672487*x1*x11+39497637752421*x1*x14-53440608370364*x1*x15*x10+99747008737304*x1*x13*x6+92173513155916*x8*x1*x13+72003386382308*x1*x13*x5-71445368426988*x1*x10+53440608370364*x1*x13-46434661279140*x1*x10*x14+46434661279140*x1*x13*x11-128442141202335*x1*x9+51214758565801*x1*x12-256839985924200*x4*x5-272384871459933*x4*x6+11770740574446*x1*x9*x14-11770740574446*x1*x12*x11+103866243194760*x4*x9+11210788675299*x4*x12+76809213170232*x7*x12+76135578603804*x1*x9*x13+34289010489005-211644833783325*x7*x1*x12);

D2 = 1e-15*(10983891723665*x4*x15*x6+76706212501547*x1*x15*x11-5427768917416*x15*x8*x3+148656513108244*x10*x14*x2+88126315107693*x15*x11*x3-4634460066124*x4*x15*x5-74800680573572*x15*x10*x2+19712946668384*x12*x10*x3-7297309223714*x14*x8*x3-33404097550020*x9*x13*x2+39980764271125*x15*x10*x3-19580903799440*x1*x15*x5+56252860987652*x13*x5*x3+12518382872943*x1*x12*x6-10983891723665*x15*x7*x3+98180419086736*x14*x5*x3+7111643063159*x1*x15*x6-148656513108244*x13*x11*x2-86877767614666*x7*x14*x3+86877767614666*x4*x14*x6+205962728085016*x7*x2-67690266596358*x7*x3-45480000603352*x4*x15*x11+6371265989244*x15*x8*x2-1869040033407*x8*x1*x12+74976638398169*x10*x14*x3+143511909971640*x7*x14*x2-143511909971640*x4*x14*x5-56902805472542*x1+131678404624568*x2-87825287908944*x3+75506210426206*x4+13017028779820*x13*x8*x2-12504468592408*x5-2062611450096*x6+10461399179210*x7+4065721796086*x9+1461360913134*x10+13766400628126*x11+1376727396137*x12+10989922430333*x13-3654465104251*x14+2999401827831*x12*x11-74976638398169*x13*x11*x3+3726984005992*x14*x8*x2-56252860987652*x13*x2*x6+13764676352644*x2*x15*x6+10248244806960*x1*x12*x5-98180419086736*x14*x2*x6+1307258421078*x13*x8*x3-9777005678993*x8*x4*x13+30069386949805*x4*x13*x6-46227990004770*x4*x15*x10-94177492184828*x15*x11*x2+40094794018222*x1*x14*x6+12208012979773*x9*x14*x3-13230670793711*x15*x7*x1-13764676352644*x15*x5*x3+4634460066124*x15*x7*x2+7368666183158*x8*x4*x14-30069386949805*x7*x13*x3+22417474197240*x1*x15*x9+3256634324279*x15*x8*x4-4429486744151*x15*x8*x1-60089060387300*x4*x12*x5-6180251282739*x1*x12*x10-96311479154422*x7*x1*x14+60089060387300*x7*x12*x2-19712946668384*x9*x13*x3+48036625095970*x4*x12*x11-48036625095970*x4*x9*x14-78183537385702*x4*x10+46227990004770*x4*x13+121300014948812*x7*x13*x2-121300014948812*x4*x13*x5-241137558794524*x4*x10*x14+241137558794524*x4*x13*x11-60363533532029*x4*x12*x10+60363533532029*x4*x9*x13-67694772898410*x7*x1+316942093459292*x4*x11+45480000603352*x4*x14-29636656404327*x7*x1*x12+12504468592408*x8*x2+2062611450096*x8*x3-10461399179210*x8*x4-2222376865910*x8*x1+27738030275361*x4*x12*x6+5427768917416*x15*x6-3256634324279*x15*x7-1376727396137*x15*x9-10989922430333*x15*x10+3654465104251*x15*x11-6371265989244*x15*x5-121518343017960*x2*x6+121518343017960*x5*x3-107808430275272*x11*x2-151564785208434*x11*x3+94177492184828*x14*x2-88126315107693*x14*x3-3726984005992*x14*x5+7297309223714*x14*x6+122223561701936*x10*x2+5959274524302*x10*x3+74800680573572*x13*x2-39980764271125*x13*x3-13017028779820*x13*x5-1307258421078*x13*x6-3785340026410*x12*x10-7368666183158*x7*x14+9777005678993*x7*x13-13895125821349*x10*x14+13895125821349*x13*x11+3827698780040*x9*x2-38879278788090*x9*x3+38330684213840*x12*x2-29680112185673*x12*x3+3825168791860*x12*x8*x2-1705763855378*x12*x8*x3-34973040648980*x12*x2*x6+34973040648980*x12*x5*x3-38330684213840*x15*x9*x2+29680112185673*x15*x9*x3-12208012979773*x12*x11*x3-3825168791860*x12*x5+1705763855378*x12*x6-2999401827831*x9*x14+34119899775700*x9*x14*x2-34119899775700*x12*x11*x2-20593930663817*x4*x15*x9-27738030275361*x7*x12*x3-103076552047*x8*x4*x12+3785340026410*x9*x13+33404097550020*x12*x10*x2-4688995856652*x8*x1*x14+42609530820232*x1*x14*x5+37161411469232*x1*x5+27726816581034*x1*x6-21751257543514*x1*x11-76706212501547*x1*x14+18228089892733*x1*x15*x10+12139545565603*x1*x13*x6-2740914089333*x8*x1*x13+2934809746248*x1*x13*x5-26065325990056*x1*x10-18228089892733*x1*x13-28168884525485*x1*x10*x14+28168884525485*x1*x13*x11-12763001372094*x1*x9-22417474197240*x1*x12-205962728085016*x4*x5+67690266596358*x4*x6-8635659289299*x1*x9*x14+8635659289299*x1*x12*x11+63764730343272*x4*x9+20593930663817*x4*x12+103076552047*x7*x12+6180251282739*x1*x9*x13-27745699704163*x7*x1*x13+11272454062208);

D3 = 1e-15*(23459680624040*x4*x15*x6+85722302018136*x1*x15*x11+7404846866212*x15*x8*x3+112032052776718*x10*x14*x2-69909658902006*x15*x11*x3-79428995117256*x4*x15*x5+9392532810872*x15*x10*x2-33881827390680*x12*x10*x3-82763564122016*x14*x8*x3-68874771424980*x9*x13*x2-14098782805004*x15*x10*x3+119787633806208*x1*x15*x5-49752406039960*x13*x5*x3+16236965703924*x1*x12*x6-23459680624040*x15*x7*x3-20829743879752*x14*x5*x3-2443338693600*x1*x15*x6-112032052776718*x13*x11*x2+90156226620154*x7*x14*x3-90156226620154*x4*x14*x6+41977106056956*x7*x2-23220199858412*x7*x3-105195378503992*x4*x15*x11+19272094211892*x15*x8*x2-50667924194244*x8*x1*x12+30540454551214*x10*x14*x3+329069626188006*x7*x14*x2-329069626188006*x4*x14*x5+6843786321648*x1-7345819285572*x2-5807475065708*x3-6076563057696*x4+20513764707548*x13*x8*x2-21454917449676*x5-11840561751660*x6-14595105942876*x7+20933448147648*x9-4230780616098*x10+11721110144562*x11-15586203890972*x12+3272833547474*x13-3473789646278*x14+199324667530530*x12*x11-30540454551214*x13*x11*x3-274348367024744*x14*x8*x2+49752406039960*x13*x2*x6+104271522731368*x2*x15*x6+74106011314476*x1*x12*x5+20829743879752*x14*x2*x6-13456196759116*x13*x8*x3-10075035104438*x8*x4*x13-7933435185676*x4*x13*x6-8626577103908*x4*x15*x10-230865391227338*x15*x11*x2-35972651082606*x1*x14*x6+86869863630386*x9*x14*x3+25089378443040*x15*x7*x1-104271522731368*x15*x5*x3+79428995117256*x15*x7*x2-120057239863510*x8*x4*x14+7933435185676*x7*x13*x3-40170413692944*x1*x15*x9+9976613877864*x15*x8*x4-8958316842672*x15*x8*x1-255700977403956*x4*x12*x5+30649648536054*x1*x12*x10-551709020604-164677615574016*x7*x1*x14+255700977403956*x7*x12*x2+33881827390680*x9*x13*x3-343142737422280*x4*x12*x11+343142737422280*x4*x9*x14-6483584653790*x4*x10+8626577103908*x4*x13+25156633833552*x7*x13*x2-25156633833552*x4*x13*x5-2422073760019*x4*x10*x14+2422073760019*x4*x13*x11-28114545036954*x4*x12*x10+28114545036954*x4*x9*x13+28776177537168*x7*x1-80769118186588*x4*x11+105195378503992*x4*x14+83538401305824*x7*x1*x12+21454917449676*x8*x2+11840561751660*x8*x3+14595105942876*x8*x4-13825201662756*x8*x1+77454029764756*x4*x12*x6-7404846866212*x15*x6-9976613877864*x15*x7+15586203890972*x15*x9-3272833547474*x15*x10+3473789646278*x15*x11-19272094211892*x15*x5+68188610034472*x2*x6-68188610034472*x5*x3-152442404702510*x11*x2-46877714630786*x11*x3+230865391227338*x14*x2+69909658902006*x14*x3+274348367024744*x14*x5+82763564122016*x14*x6+2637264385148*x10*x2-11990927411776*x10*x3-9392532810872*x13*x2+14098782805004*x13*x3-20513764707548*x13*x5+13456196759116*x13*x6+4658038867374*x12*x10+120057239863510*x7*x14+10075035104438*x7*x13+42892901350386*x10*x14-42892901350386*x13*x11-88120394742296*x9*x2+17899288486696*x9*x3+121994623107524*x12*x2-37455488893124*x12*x3-125121512370836*x12*x8*x2+53543499610636*x12*x8*x3+118408026153800*x12*x2*x6-118408026153800*x12*x5*x3-121994623107524*x15*x9*x2+37455488893124*x15*x9*x3-86869863630386*x12*x11*x3+125121512370836*x12*x5-53543499610636*x12*x6-199324667530530*x9*x14+237794537558414*x9*x14*x2-237794537558414*x12*x11*x2+1084638887888*x4*x15*x9-77454029764756*x7*x12*x3+33781154627900*x8*x4*x12-4658038867374*x9*x13+68874771424980*x12*x10*x2+103271061195774*x8*x1*x14-93252730341426*x1*x14*x5+82063979166804*x1*x5+1349915614908*x1*x6+53398762821612*x1*x11-85722302018136*x1*x14+15976660254624*x1*x15*x10-8322044163804*x1*x13*x6+13316640252822*x8*x1*x13+61923243523032*x1*x13*x5+14483112372954*x1*x10-15976660254624*x1*x13-56751018095097*x1*x10*x14+56751018095097*x1*x13*x11-23286028759416*x1*x9+40170413692944*x1*x12-41977106056956*x4*x5+23220199858412*x4*x6-21759651181224*x1*x9*x14+21759651181224*x1*x12*x11-18988696876408*x4*x9-1084638887888*x4*x12-33781154627900*x7*x12-30649648536054*x1*x9*x13-14082106022964*x7*x1*x13);

D4 = 1e-15*(47255462173953*x4*x15*x6+43939369620871*x1*x15*x11+266858392718862*x15*x8*x3-216399300050333*x10*x14*x2+38442801174586*x15*x11*x3-75048295280521*x4*x15*x5-197028828145648*x15*x10*x2-343849370188063*x12*x10*x3-16225936175662*x14*x8*x3-229870680100758*x9*x13*x2+580174374345195*x15*x10*x3-143579356835951*x1*x15*x5-387846103563011*x13*x5*x3-169591502257175*x1*x12*x6-47255462173953*x15*x7*x3-43878526222310*x14*x5*x3+98399679763455*x1*x15*x6+216399300050333*x13*x11*x2-105001194413076*x7*x2+61833649310148*x7*x3+14254115262032*x15*x8*x2+94756240153032*x8*x1*x12-34763015658316*x10*x14*x3-112820494204029*x4*x15*x10-250078675761177*x4*x13*x6-15332165552220*x1+346727488095830*x2-205224512498970*x3-3239942656980*x4-132857975368032*x13*x8*x2+200149423687922*x5-149102071237398*x6-97143054763332*x7-220666492667176*x9-116258108257506*x10-114284030304886*x11+56204263193444*x12+200551994596464*x13+170305641108434*x14+99037501448362*x12*x11+34763015658316*x13*x11*x3-113525902158011*x14*x8*x2+387846103563011*x13*x2*x6-303405951781519*x2*x15*x6+210778906802031*x1*x12*x5+43878526222310*x14*x2*x6-3565554019293*x13*x8*x3+112820494204029*x4*x13-87139396416075*x7*x13-191576425588337*x15*x11*x2-16929069505790*x1*x14*x6-447191101054*x9*x14*x3+303405951781519*x15*x5*x3+75048295280521*x15*x7*x2-169466330247362*x1*x15*x9-68228233948242*x15*x8*x4-130906979697438*x15*x8*x1+122708952170921*x4*x12*x5+76291349653377*x1*x12*x10-122708952170921*x7*x12*x2-6059768369065*x4*x12*x10+6059768369065*x4*x9*x13+314603037547500-120554684198029*x4*x12*x11+120554684198029*x4*x9*x14+343849370188063*x9*x13*x3+153903890494043*x4*x10*x14-153903890494043*x4*x13*x11-25270320249660*x4*x11-20329086501545*x4*x14-58420513430808*x7*x1*x13-1976953164408*x15*x7*x1-200149423687922*x8*x2+149102071237398*x8*x3+73483988226222*x4*x14*x5-73483988226222*x7*x14*x2+97143054763332*x8*x4+16436776335948*x8*x1-195125573842601*x4*x12*x6-266858392718862*x15*x6+68228233948242*x15*x7-56204263193444*x15*x9-200551994596464*x15*x10-170305641108434*x15*x11-14254115262032*x15*x5-33763878472156*x2*x6+33763878472156*x5*x3-71462851017888*x11*x2+33957564641164*x11*x3+191576425588337*x14*x2-38442801174586*x14*x3+113525902158011*x14*x5+16225936175662*x14*x6-465150277496222*x10*x2+326903490238110*x10*x3+197028828145648*x13*x2-580174374345195*x13*x3+132857975368032*x13*x5+3565554019293*x13*x6+119899999136010*x12*x10+9918780796413*x10*x14-9918780796413*x13*x11-506491438020910*x9*x2+340087743334042*x9*x3+43192344437570*x12*x2-387710373630628*x12*x3-45754982596902*x12*x8*x2-160540514482258*x12*x8*x3+439002331742839*x12*x2*x6-439002331742839*x12*x5*x3-43192344437570*x15*x9*x2+387710373630628*x15*x9*x3+447191101054*x12*x11*x3+45754982596902*x12*x5+160540514482258*x12*x6-99037501448362*x9*x14-270948149301397*x9*x14*x2+270948149301397*x12*x11*x2-89174019975262*x4*x15*x9+195125573842601*x7*x12*x3+65210873561480*x8*x4*x12+250078675761177*x7*x13*x3+87139396416075*x8*x4*x13-119899999136010*x9*x13+229870680100758*x12*x10*x2-77371814228639*x7*x14+56451625848753*x8*x1*x14+34212279078770*x1*x14*x5+8360879452076*x1*x5-3455693812380*x1*x6+1094701617404*x1*x11-43939369620871*x1*x14-46282122292904*x7*x1*x12+160347822348277*x4*x13*x5-210653382216795*x1*x15*x10-166510829200695*x1*x13*x6+58853297287197*x8*x1*x13+197369156773539*x1*x13*x5+33342844173000*x1*x10+210653382216795*x1*x13+110595345894069*x1*x10*x14-110595345894069*x1*x13*x11+20329086501545*x4*x15*x11-19401868954466*x4*x14*x6+32376413676932*x1*x9+169466330247362*x1*x12+105001194413076*x4*x5-61833649310148*x4*x6+104885005832291*x1*x9*x14-104885005832291*x1*x12*x11+130062229129452*x4*x9+89174019975262*x4*x12-65210873561480*x7*x12-160347822348277*x7*x13*x2-76291349653377*x1*x9*x13+13223629845376*x7*x1*x14+19401868954466*x7*x14*x3+77371814228639*x8*x4*x14+4564988298528*x7*x1+164771289594984*x4*x10);

D5 = 1e-15*(88582539063666*x4*x15*x6-41747251363292*x1*x15*x11+56904654918986*x15*x8*x3-28946442562456*x7*x1*x14+44747081887612*x10*x14*x2+76887355305975*x15*x11*x3-26564003958920*x4*x15*x5-39546543916492*x15*x10*x2+3327872215857*x12*x10*x3+51421698425067*x14*x8*x3+5297332183788*x9*x13*x2+19885883592879*x15*x10*x3-13726558307828*x1*x15*x5+50508303256268*x13*x5*x3-4920524781977*x1*x12*x6-88582539063666*x15*x7*x3+3172222689948*x14*x5*x3-5224817241871*x1*x15*x6-44747081887612*x13*x11*x2-5961391731404*x7*x2+76548594034479*x7*x3+28113559207400*x15*x8*x2+876379044005*x8*x1*x12-132730368152187*x10*x14*x3+103355903643438*x4*x15*x10+144296859473133*x4*x13*x6-14481044388624*x4*x9*x14-35109083256877*x1-47023533476476*x2+55720633422399*x3+93294946355004*x4+26111018677104*x13*x8*x2+6594576218112*x5+101960796226495*x6-31769205194539*x7-41845279357695*x9-113997073102026*x10+100500792902777*x11+18480469747940*x12+97608078641393*x13+130423602738697*x14-49629077184605*x12*x11+132730368152187*x13*x11*x3+14481044388624*x4*x12*x11-13334174380184*x14*x8*x2-50508303256268*x13*x2*x6-28782918787984*x2*x15*x6-1085527590932*x1*x12*x5-3172222689948*x14*x2*x6+111533836374949*x13*x8*x3-103355903643438*x4*x13+128576572917433*x7*x13-27983558677868*x15*x11*x2-54989587527762*x1*x14*x6-35973878172321*x9*x14*x3+28782918787984*x15*x5*x3+26564003958920*x15*x7*x2-3037336171834*x1*x15*x9-139040309453530*x15*x8*x4-22034487173687*x15*x8*x1-8279132867720*x4*x12*x5-2180658907350*x1*x12*x10+8279132867720*x7*x12*x2+6179312465024*x7*x1*x12-3327872215857*x9*x13*x3-63598795704630*x4*x10*x14+63598795704630*x4*x13*x11-48215891280495*x4*x11-15162418801182*x4*x14-6594576218112*x8*x2-101960796226495*x8*x3+12759726601468*x4*x14*x5-12759726601468*x7*x14*x2+31769205194539*x8*x4-56882226532919*x8*x1+39944648179542*x4*x12*x6-56904654918986*x15*x6+139040309453530*x15*x7-18480469747940*x15*x9-97608078641393*x15*x10-130423602738697*x15*x11-28113559207400*x15*x5+35022399159452*x2*x6-35022399159452*x5*x3+28867198916932*x11*x2-87413698684722*x11*x3+27983558677868*x14*x2-76887355305975*x14*x3+13334174380184*x14*x5-51421698425067*x14*x6-34397624851176*x10*x2+73581950228961*x10*x3+39546543916492*x13*x2-19885883592879*x13*x3-26111018677104*x13*x5-111533836374949*x13*x6-13418108922705*x12*x10+167428685704277*x10*x14-167428685704277*x13*x11-12941777734044*x9*x2+22134570808905*x9*x3+7637251274560*x12*x2-3461913551832*x12*x3+8808437809320*x12*x8*x2+28939720832830*x12*x8*x3-13609717364816*x12*x2*x6+13609717364816*x12*x5*x3-7637251274560*x15*x9*x2+3461913551832*x15*x9*x3+35973878172321*x12*x11*x3-8808437809320*x12*x5-28939720832830*x12*x6+49629077184605*x9*x14+12390031230412*x9*x14*x2-12390031230412*x12*x11*x2+20309435202780*x4*x15*x9-39944648179542*x7*x12*x3-43457606604190*x8*x4*x12-144296859473133*x7*x13*x3-128576572917433*x8*x4*x13+13418108922705*x9*x13-5297332183788*x12*x10*x2-66694442659313*x7*x14+65358283280898*x8*x1*x14+18291340177336*x1*x14*x5-16576739341180*x1*x5+45791342864324*x1*x6-3630998956646*x1*x11+41747251363292*x1*x14-24445017157388*x4*x13*x5-16662250575916*x1*x15*x10-23241902980373*x1*x13*x6+20627334088295*x8*x1*x13+3899999290132*x1*x13*x5-10146781278447*x1*x10+16662250575916*x1*x13+10342042013644*x1*x10*x14-10342042013644*x1*x13*x11+15162418801182*x4*x15*x11-33339686156373*x4*x14*x6-6444514830003*x1*x9+3037336171834*x1*x12+5961391731404*x4*x5-76548594034479*x4*x6+7348873628056*x1*x9*x14-7348873628056*x1*x12*x11+24519223784178*x4*x9-20309435202780*x4*x12+43457606604190*x7*x12+24445017157388*x7*x13*x2+2180658907350*x1*x9*x13+28437399533587*x7*x1+33339686156373*x7*x14*x3+66694442659313*x8*x4*x14-147391697957879+13523291424516*x4*x12*x10-13523291424516*x4*x9*x13+106736264426*x7*x1*x13+47066993566202*x15*x7*x1+62658157164405*x4*x10);

D6 = 1e-15*(-83102795580534*x4*x15*x6+58139548668495*x1*x15*x11+8261657405964*x15*x8*x3-40133908173330*x7*x1*x14+99276364861416*x10*x14*x2-40267945217958*x15*x11*x3-153599218708554*x4*x15*x5+258238921039404*x15*x10*x2+105008929757820*x12*x10*x3+22733402981574*x14*x8*x3-212325553523160*x9*x13*x2+121430849365686*x15*x10*x3+109433617224939*x1*x15*x5-26326801652184*x13*x5*x3-81597184275900*x1*x12*x6+83102795580534*x15*x7*x3-52516004989104*x14*x5*x3-98371388865036*x1*x15*x6-99276364861416*x13*x11*x2-108682573074462*x7*x2-38621845075926*x7*x3+53359694297316*x15*x8*x2-31022768296350*x8*x1*x12+50282660594952*x10*x14*x3-18989504624274*x4*x15*x10-49512098856996*x4*x13*x6+7092050596200*x4*x9*x14-41931256653783*x1+88370287819740*x2-22764074694834*x3-73291430935962*x4-117480086364828*x13*x8*x2-14474192797152*x5+15679913928198*x6+28175207868882*x7-9632827908360*x9+36919113162684*x10-13127361745554*x11+7275351912120*x12-29383416018540*x13+12146574612672*x14-1635138961380*x12*x11-50282660594952*x13*x11*x3-7092050596200*x4*x12*x11+39902546763090*x14*x8*x2+26326801652184*x13*x2*x6+147907632766758*x2*x15*x6+89981053203510*x1*x12*x5+52516004989104*x14*x2*x6-58237844147142*x13*x8*x3+18989504624274*x4*x13+2873460819462*x7*x13-42620279724018*x15*x11*x2-31896195711726*x1*x14*x6+28273975160940*x9*x14*x3-147907632766758*x15*x5*x3+153599218708554*x15*x7*x2-6997234588470*x1*x15*x9-21400894500336*x15*x8*x4-41601438523134*x15*x8*x1-137304721954260*x4*x12*x5-215092548926310*x1*x12*x10+137304721954260*x7*x12*x2-137294187382710*x7*x1*x12-105008929757820*x9*x13*x3+6535974131460*x4*x10*x14-6535974131460*x4*x13*x11-7562984233140*x4*x11+17871021809640*x4*x14+14474192797152*x8*x2-15679913928198*x8*x3-42350614027020*x4*x14*x5+42350614027020*x7*x14*x2-28175207868882*x8*x4+984769614063*x8*x1-65416326895620*x4*x12*x6-8261657405964*x15*x6+21400894500336*x15*x7-7275351912120*x15*x9+29383416018540*x15*x10-12146574612672*x15*x11-53359694297316*x15*x5-80324284869354*x2*x6+80324284869354*x5*x3+54522527437854*x11*x2+13785736438362*x11*x3+42620279724018*x14*x2+40267945217958*x14*x3-39902546763090*x14*x5-22733402981574*x14*x6-124512503337732*x10*x2-69997411370850*x10*x3-258238921039404*x13*x2-121430849365686*x13*x3+117480086364828*x13*x5+58237844147142*x13*x6+1098665834640*x12*x10-4769658187626*x10*x14+4769658187626*x13*x11+59103634678200*x9*x2-10569839281080*x9*x3-28112931100800*x12*x2+15813821359860*x12*x3+31083296900040*x12*x8*x2+14728635065100*x12*x8*x3+124476563908620*x12*x2*x6-124476563908620*x12*x5*x3+28112931100800*x15*x9*x2-15813821359860*x15*x9*x3-28273975160940*x12*x11*x3-31083296900040*x12*x5-14728635065100*x12*x6+1635138961380*x9*x14+45850269360420*x9*x14*x2-45850269360420*x12*x11*x2-32217767825580*x4*x15*x9+65416326895620*x7*x12*x3-88723276740*x8*x4*x12+49512098856996*x7*x13*x3-2873460819462*x8*x4*x13-1098665834640*x9*x13+212325553523160*x12*x10*x2-4661733606120*x7*x14-42444164977119*x8*x1*x14+42064029724014*x1*x14*x5-52777386698697*x1*x5+51708857016702*x1*x6-44156916232443*x1*x11-58139548668495*x1*x14-101177074274688*x4*x13*x5-261595278665931*x1*x15*x10-26651298345042*x1*x13*x6+119011264084527*x8*x1*x13+37589176776*x1*x13*x5+126147150842241*x1*x10+261595278665931*x1*x13-100571810329686*x1*x10*x14+100571810329686*x1*x13*x11-17871021809640*x4*x15*x11-17992785125700*x4*x14*x6-31103083005660*x1*x9+6997234588470*x1*x12+108682573074462*x4*x5+38621845075926*x4*x6-50494444447770*x1*x9*x14+50494444447770*x1*x12*x11-42719941517040*x4*x9+32217767825580*x4*x12+88723276740*x7*x12+101177074274688*x7*x13*x2+215092548926310*x1*x9*x13+95341174793649*x7*x1+17992785125700*x7*x14*x3+4661733606120*x8*x4*x14+4247097356700*x4*x12*x10-4247097356700*x4*x9*x13-13148537861988-102494847146988*x7*x1*x13-163642724463015*x15*x7*x1-34841221020042*x4*x10);

D7 = 1e-15*(-388867920395824*x4*x15*x6+287758734405819*x1*x15*x11+1726111959355*x15*x8*x3+100638779793924*x7*x1*x14-67244727911053*x10*x14*x2+84816419922397*x15*x11*x3+207957456524636*x4*x15*x5+87150075009790*x15*x10*x2-118508001623180*x12*x10*x3-43788302929486*x14*x8*x3-59903902623417*x9*x13*x2-206318381645594*x15*x10*x3+143341607993233*x1*x15*x5+12686019527593*x13*x5*x3-21996408920680*x1*x12*x6+388867920395824*x15*x7*x3-39066671348372*x14*x5*x3-234856310214122*x1*x15*x6+67244727911053*x13*x11*x2+97447070470680*x7*x2-173514931887544*x7*x3+5009718919933*x15*x8*x2+6151062433040*x8*x1*x12+131403546107959*x10*x14*x3-169622949344728*x4*x15*x10-33587565078136*x4*x13*x6-122405767445756*x4*x9*x14-184490099464308*x1+164507917019095*x2-337944438216938*x3-118647825306536*x4-42493752035227*x13*x8*x2-78984803326725*x5+170616792382939*x6+78999030775152*x7+117296465948635*x9+35721324202103*x10-196256182831256*x11+24090580137463*x12-22276809597644*x13+7560609448742*x14-150952686105646*x12*x11-131403546107959*x13*x11*x3+122405767445756*x4*x12*x11-10378009126046*x14*x8*x2-12686019527593*x13*x2*x6-53150693846133*x2*x15*x6+12989302628660*x1*x12*x5+39066671348372*x14*x2*x6+103842092970187*x13*x8*x3+169622949344728*x4*x13-88999466365380*x7*x13+13356483269233*x15*x11*x2+195026022952632*x1*x14*x6-182918484145988*x9*x14*x3+53150693846133*x15*x5*x3-207957456524636*x15*x7*x2+37195482992563-7292753291670*x1*x15*x9+43406335156884*x15*x8*x4+26791517881177*x15*x8*x1+106149644994092*x4*x12*x5-12613705494410*x1*x12*x10-106149644994092*x7*x12*x2+6877310118680*x7*x1*x12+118508001623180*x9*x13*x3+76951809964932*x4*x10*x14-76951809964932*x4*x13*x11-111898545553040*x4*x11-429573222456748*x4*x14-156686522580700*x4*x14*x5+156686522580700*x7*x14*x2+78984803326725*x8*x2-170616792382939*x8*x3-78999030775152*x8*x4-120950122833125*x8*x1-189060853943088*x4*x12*x6-1726111959355*x15*x6-43406335156884*x15*x7-24090580137463*x15*x9+22276809597644*x15*x10-7560609448742*x15*x11-5009718919933*x15*x5+36975945056185*x2*x6-36975945056185*x5*x3-130207995777665*x11*x2+189389757508327*x11*x3-13356483269233*x14*x2-84816419922397*x14*x3+10378009126046*x14*x5+43788302929486*x14*x6-21363893023555*x10*x2+62871190562832*x10*x3-87150075009790*x13*x2+206318381645594*x13*x3+42493752035227*x13*x5-103842092970187*x13*x6+93386029223383*x12*x10-110279160424626*x10*x14+110279160424626*x13*x11+145007454542125*x9*x2-258322591511564*x9*x3+130254551235757*x12*x2-210709847734868*x12*x3+66954690691510*x12*x8*x2-105060893491164*x12*x8*x3-17573389441364*x12*x2*x6+17573389441364*x12*x5*x3-130254551235757*x15*x9*x2+210709847734868*x15*x9*x3+182918484145988*x12*x11*x3-66954690691510*x12*x5+105060893491164*x12*x6+150952686105646*x9*x14+91323230450224*x9*x14*x2-91323230450224*x12*x11*x2-128561491243840*x4*x15*x9+189060853943088*x7*x12*x3+85716785359428*x8*x4*x12+33587565078136*x7*x13*x3+88999466365380*x8*x4*x13-93386029223383*x9*x13+59903902623417*x12*x10*x2+245084664418176*x7*x14-165946431569874*x8*x1*x14-101830684434996*x1*x14*x5-143171646665525*x1*x5+252646600071826*x1*x6-156354732314679*x1*x11-287758734405819*x1*x14-171329156272534*x1*x15*x10-110550544988530*x1*x13*x6+98168139233337*x8*x1*x13+57231804631573*x1*x13*x5+97464904237802*x1*x10+171329156272534*x1*x13+6820166119569*x1*x10*x14-6820166119569*x1*x13*x11+429573222456748*x4*x15*x11+261476463227332*x4*x14*x6-9433982605410*x1*x9+7292753291670*x1*x12-97447070470680*x4*x5+173514931887544*x4*x6-20895253430340*x1*x9*x14+20895253430340*x1*x12*x11-319699229192*x4*x9+128561491243840*x4*x12-85716785359428*x7*x12+12613705494410*x1*x9*x13-6024118590632*x7*x1-261476463227332*x7*x14*x3-245084664418176*x8*x4*x14+24617287239076*x4*x13*x5-24617287239076*x7*x13*x2-71363542072376*x4*x12*x10+71363542072376*x4*x9*x13-62996715090864*x7*x1*x13+129835221071800*x15*x7*x1+65438730256664*x4*x10);

D8 = 1e-15*(50836987645272*x4*x15*x6+10676058954232*x1*x15*x11-12641547072740*x15*x8*x3+35007818352530*x7*x1*x14-3075522044067*x10*x14*x2-51127581328458*x15*x11*x3+3560269004226*x4*x15*x5+14065165132042*x15*x10*x2+42451567202670*x12*x10*x3-117166529470876*x14*x8*x3-38851603008469*x9*x13*x2+29270627320994*x15*x10*x3-17465231630440*x1*x15*x5+23541001627366*x13*x5*x3-118258188667790*x1*x12*x6-50836987645272*x15*x7*x3-27346298948382*x14*x5*x3-50501636019110*x1*x15*x6+3075522044067*x13*x11*x2+65675748905798*x7*x2+35385290027696*x7*x3-4789702534210*x15*x8*x2-46407566517099*x8*x1*x12+24242131046368*x10*x14*x3-36729554085887*x4*x15*x10-77935786371758*x4*x13*x6-44578924739069*x4*x9*x14-19716008704375*x1-13825551330850*x2-21203959702400*x3+37724026593020*x4+31170953860683*x13*x8*x2-30407583197230*x5-39009950938120*x6+62055669345126*x7-48995478700994*x9-14294880815332*x10+53015274569944*x11-5985428264913*x12+2261420833061*x13+3956945610313*x14-28039631906599*x12*x11-24242131046368*x13*x11*x3+44578924739069*x4*x12*x11-30347271342261*x14*x8*x2-23541001627366*x13*x2*x6-16630186073940*x2*x15*x6-50537574413668*x1*x12*x5+27346298948382*x14*x2*x6+61084050853228*x13*x8*x3+36729554085887*x4*x13+70628631084167*x7*x13-14166079756104*x15*x11*x2+3491715512420*x1*x14*x6+116212548634726*x9*x14*x3+16630186073940*x15*x5*x3-3560269004226*x15*x7*x2-18813884328132*x1*x15*x9+11935328893202*x15*x8*x4-1268793153375*x15*x8*x1-44310508828607*x4*x12*x5+37699645948475*x1*x12*x10+44310508828607*x7*x12*x2+32823322202921*x7*x1*x12-42451567202670*x9*x13*x3-79166811102647*x4*x10*x14+79166811102647*x4*x13*x11+109737728483609*x4*x11-32358800802687*x4*x14+66691828443093*x4*x14*x5-66691828443093*x7*x14*x2+30407583197230*x8*x2+39009950938120*x8*x3-62055669345126*x8*x4+44521138219500*x8*x1-61493754560606*x4*x12*x6+12641547072740*x15*x6-11935328893202*x15*x7+5985428264913*x15*x9-2261420833061*x15*x10-3956945610313*x15*x11+4789702534210*x15*x5-23946669302680*x2*x6+23946669302680*x5*x3+2335946958867*x11*x2-38753953716556*x11*x3+14166079756104*x14*x2+51127581328458*x14*x3+30347271342261*x14*x5+117166529470876*x14*x6+682285313909*x10*x2+12132851790108*x10*x3-14065165132042*x13*x2-29270627320994*x13*x3-31170953860683*x13*x5-61084050853228*x13*x6+44601222493867*x12*x10-40079674952070*x10*x14+40079674952070*x13*x11-37638266160977*x9*x2-9701145554484*x9*x3-11368268792224*x12*x2-50786304392138*x12*x3+11963752933631*x12*x8*x2+87650315345056*x12*x8*x3-64964030842282*x12*x2*x6+64964030842282*x12*x5*x3+11368268792224*x15*x9*x2+50786304392138*x15*x9*x3-116212548634726*x12*x11*x3-11963752933631*x12*x5-87650315345056*x12*x6+28039631906599*x9*x14+36644542794804*x9*x14*x2-36644542794804*x12*x11*x2-23879205741071*x4*x15*x9+61493754560606*x7*x12*x3-48459646739683*x8*x4*x12+77935786371758*x7*x13*x3-70628631084167*x8*x4*x13-44601222493867*x9*x13+38851603008469*x12*x10*x2-87949331609129*x7*x14+24736028413674*x8*x1*x14+6677699420088*x1*x14*x5-3637211019455*x1*x5-39727603128020*x1*x6+9761603096474*x1*x11-10676058954232*x1*x14+11971938439679*x1*x15*x10-25944352293620*x1*x13*x6+26988338397228*x8*x1*x13-2838346307079*x1*x13*x5-710920664672*x1*x10-11971938439679*x1*x13-6312390308682*x1*x10*x14+6312390308682*x1*x13*x11+32358800802687*x4*x15*x11+178235509454790*x4*x14*x6-60968520026899*x1*x9+18813884328132*x1*x12-65675748905798*x4*x5-35385290027696*x4*x6-23699007727744*x1*x9*x14+23699007727744*x1*x12*x11-29010755355157*x4*x9+23879205741071*x4*x12+48459646739683*x7*x12-37699645948475*x1*x9*x13+103581683510871*x7*x1-178235509454790*x7*x14*x3+87949331609129*x8*x4*x14-66989688195587*x4*x13*x5+66989688195587*x7*x13*x2+4402578426250+7820949374282*x4*x12*x10-7820949374282*x4*x9*x13+64432063816063*x7*x1*x13+42578017593353*x15*x7*x1-32267170611389*x4*x10);

D9 = 1e-15*(-146776036942026*x4*x15*x6+59453454702660*x1*x15*x11+236200154357511*x15*x8*x3+37893686056260*x7*x1*x14+249229008370944*x10*x14*x2+259573544193006*x15*x11*x3+73293822642087*x4*x15*x5-118727327795205*x15*x10*x2-172989627693661*x12*x10*x3-347059334904123*x14*x8*x3-15196163032717*x9*x13*x2+387809853489990*x15*x10*x3+31898295001842*x1*x15*x5-149192110097567*x13*x5*x3+28954947710049*x1*x12*x6+146776036942026*x15*x7*x3-293157036362191*x14*x5*x3-25050230982648*x1*x15*x6-249229008370944*x13*x11*x2+19971741148674*x7*x2-64455550221684*x7*x3-147388764979845*x15*x8*x2-9318943814793*x8*x1*x12-541832182878216*x10*x14*x3+79491754356600*x4*x15*x10-384313622315366*x4*x13*x6-214618575830769*x4*x9*x14-21999503176860*x1+92749860976797*x2-168255141396858*x3+9261930124332*x4+88758212641810*x13*x8*x2-246291141380187*x5+383101763176554*x6-29094598817514*x7-166125543731188*x9-339076868920951*x10-411780326290175*x11-109288283341401*x12-210446364987315*x13-272814605498187*x14+15250025643131*x12*x11+541832182878216*x13*x11*x3+214618575830769*x4*x12*x11+311021519862194*x14*x8*x2+149192110097567*x13*x2*x6-138350701391193*x2*x15*x6-40223161610748*x1*x12*x5+293157036362191*x14*x2*x6-25473260806899*x13*x8*x3-79491754356600*x4*x13+213770532842431*x7*x13-2176679693589*x15*x11*x2+49812466689890*x1*x14*x6-319530627433627*x9*x14*x3+138350701391193*x15*x5*x3-73293822642087*x15*x7*x2+48224715502662*x1*x15*x9-31233138311241*x15*x8*x4+27771883753014*x15*x8*x1+86261749368323*x4*x12*x5-35897525118897*x1*x12*x10-20898961722351-86261749368323*x7*x12*x2+40138738295763*x7*x1*x12+172989627693661*x9*x13*x3-325764180858696*x4*x10*x14+325764180858696*x4*x13*x11-56082379450060*x4*x11-135204611927856*x4*x14+246291141380187*x8*x2-383101763176554*x8*x3+29094598817514*x8*x4-43997173273975*x8*x1-243292643095184*x4*x12*x6-236200154357511*x15*x6+31233138311241*x15*x7+109288283341401*x15*x9+210446364987315*x15*x10+272814605498187*x15*x11+147388764979845*x15*x5+282651148971108*x2*x6-282651148971108*x5*x3-192084558180055*x11*x2-173787206441890*x11*x3+2176679693589*x14*x2-259573544193006*x14*x3-311021519862194*x14*x5+347059334904123*x14*x6+142542596075737*x10*x2-610857482048738*x10*x3+118727327795205*x13*x2-387809853489990*x13*x3-88758212641810*x13*x5+25473260806899*x13*x6-100321352956781*x12*x10-279796167142512*x10*x14+279796167142512*x13*x11+144694825458877*x9*x2-415721077059926*x9*x3+130407839431482*x12*x2-311573697381531*x12*x3+116354934460177*x12*x8*x2-125827062871986*x12*x8*x3+181577577398735*x12*x2*x6-181577577398735*x12*x5*x3-130407839431482*x15*x9*x2+311573697381531*x15*x9*x3+319530627433627*x12*x11*x3-116354934460177*x12*x5+125827062871986*x12*x6-15250025643131*x9*x14+273469806225379*x9*x14*x2-273469806225379*x12*x11*x2+26712415771905*x4*x15*x9+243292643095184*x7*x12*x3-96125508616294*x8*x4*x12+384313622315366*x7*x13*x3-213770532842431*x8*x4*x13+100321352956781*x9*x13+15196163032717*x12*x10*x2+235598325493607*x7*x14-27138004452125*x8*x1*x14-67563219593045*x1*x14*x5-64000837001495*x1*x5+49059750403390*x1*x6-72690831889000*x1*x11-59453454702660*x1*x14+67916722008180*x1*x15*x10+22131469876522*x1*x13*x6+7548614322539*x8*x1*x13-32903365479493*x1*x13*x5-113575642877360*x1*x10-67916722008180*x1*x13-82526469011160*x1*x10*x14+82526469011160*x1*x13*x11+135204611927856*x4*x15*x11-52163884835542*x4*x14*x6-69017249497605*x1*x9-48224715502662*x1*x12-19971741148674*x4*x5+64455550221684*x4*x6-27174214999455*x1*x9*x14+27174214999455*x1*x12*x11+3621817395118*x4*x9-26712415771905*x4*x12+96125508616294*x7*x12-152259889925543*x4*x14*x5+152259889925543*x7*x14*x2+35897525118897*x1*x9*x13-11128207117340*x7*x1+52163884835542*x7*x14*x3-235598325493607*x8*x4*x14+61820811793545*x4*x12*x10-61820811793545*x4*x9*x13+71840853364092*x7*x1*x13+20570030438412*x15*x7*x1+87076144510217*x4*x13*x5-87076144510217*x7*x13*x2-10657045128188*x4*x10);

D10 = 1e-15*(-164206850348910*x4*x15*x6-44175418783249*x1*x15*x11-66415065492186*x15*x8*x3-80346364181868*x7*x1*x14-139105580606196*x10*x14*x2+104593141253386*x15*x11*x3-375675014770460*x4*x15*x5-123643969549052*x15*x10*x2+7735461882946*x12*x10*x3-159892655389252*x14*x8*x3+68297115560854*x9*x13*x2-99902463104558*x15*x10*x3+72044279419883*x1*x15*x5-33369954279364*x13*x5*x3+26336702057750*x1*x12*x6+164206850348910*x15*x7*x3+109135351344162*x14*x5*x3+42474327669622*x1*x15*x6+139105580606196*x13*x11*x2-337909438726230*x7*x2-53910151058058*x7*x3-240097931993688*x15*x8*x2-20222358323998*x8*x1*x12-170113322521346*x10*x14*x3+395360316563680*x4*x15*x10-106034148066654*x4*x13*x6-155490414009740*x4*x9*x14+135915452545566*x1-274047932938310*x2-79361451064936*x3-348515633828770*x4+176247334769468*x13*x8*x2+173505709703270*x5+47775376452706*x6+196498268920408*x7-21501740681477*x9-247226681526146*x10+123205427303672*x11+41971685608455*x12+362012457213516*x13-236835985663500*x14-4020171176190*x12*x11+170113322521346*x13*x11*x3+155490414009740*x4*x12*x11-587609358752916*x14*x8*x2+33369954279364*x13*x2*x6-43574612262202*x2*x15*x6+111504343054543*x1*x12*x5-109135351344162*x14*x2*x6+44702574120410*x13*x8*x3-395360316563680*x4*x13+561140382364108*x7*x13+222728993203788*x15*x11*x2+15315404025510*x1*x14*x6-84452683925330*x9*x14*x3+43574612262202*x15*x5*x3+375675014770460*x15*x7*x2+74823118451299*x1*x15*x9-332194452841260*x15*x8*x4+124227673391949*x15*x8*x1-206380506920359*x4*x12*x5-123611887963179*x1*x12*x10+206380506920359*x7*x12*x2+19535317188368*x7*x1*x12-7735461882946*x9*x13*x3+446231247790552*x4*x10*x14-446231247790552*x4*x13*x11-337345977319632*x4*x11+62407977689240*x4*x14-173505709703270*x8*x2-47775376452706*x8*x3-196498268920408*x8*x4+73079241847563*x8*x1-44974061894118*x4*x12*x6+66415065492186*x15*x6+332194452841260*x15*x7-41971685608455*x15*x9-362012457213516*x15*x10+236835985663500*x15*x11+240097931993688*x15*x5-34555172724090*x2*x6+34555172724090*x5*x3-509743574581650*x11*x2-115822161606846*x11*x3-222728993203788*x14*x2-104593141253386*x14*x3+587609358752916*x14*x5+159892655389252*x14*x6+111818052198080*x10*x2-18447872116958*x10*x3+123643969549052*x13*x2+99902463104558*x13*x3-176247334769468*x13*x5-44702574120410*x13*x6+132346942212637*x12*x10-712126902440812*x10*x14+712126902440812*x13*x11+1418298105425*x9*x2-3891725744144*x9*x3+168953464860873*x12*x2+54352635409576*x12*x3+108210709533981*x12*x8*x2+29463276771502*x12*x8*x3+21529145968582*x12*x2*x6-21529145968582*x12*x5*x3-168953464860873*x15*x9*x2-54352635409576*x15*x9*x3+84452683925330*x12*x11*x3-108210709533981*x12*x5-29463276771502*x12*x6+4020171176190*x9*x14-313109630446905*x9*x14*x2+313109630446905*x12*x11*x2-168088454028235*x4*x15*x9+44974061894118*x7*x12*x3+56387320204030*x8*x4*x12+106034148066654*x7*x13*x3-561140382364108*x8*x4*x13-132346942212637*x9*x13-68297115560854*x12*x10*x2+286361336720320*x7*x14+102210945118318*x8*x1*x14-13479997958553*x1*x14*x5-181468400295885*x1*x5-35413562610282*x1*x6+85840299964749*x1*x11+44175418783249*x1*x14-44652296110685*x1*x15*x10+54452924426012*x1*x13*x6+217299042244199*x8*x1*x13+52478492391298*x1*x13*x5+211475760597471*x1*x10+44652296110685*x1*x13+40533020281829*x1*x10*x14-40533020281829*x1*x13*x11-62407977689240*x4*x15*x11-168597727661352*x4*x14*x6+21891143186481*x1*x9-74823118451299*x1*x12+337909438726230*x4*x5+53910151058058*x4*x6+54371222783420*x1*x9*x14-54371222783420*x1*x12*x11-40269268456553*x4*x9+168088454028235*x4*x12-56387320204030*x7*x12-424143669256296*x4*x14*x5+424143669256296*x7*x14*x2+123611887963179*x1*x9*x13-63191355174417*x7*x1+168597727661352*x7*x14*x3-286361336720320*x8*x4*x14+216824543523523*x4*x12*x10-216824543523523*x4*x9*x13-168102534609115*x7*x1*x13-19589591789754-94696871669795*x15*x7*x1+827534280164*x4*x13*x5-827534280164*x7*x13*x2-354848123482322*x4*x10);

D11 = 1e-15*(-205605971962820*x4*x15*x6+34246517561274*x1*x15*x11+84796774612220*x15*x8*x3-28583663532840*x7*x1*x14-22213380606000*x10*x14*x2-52623269243260*x15*x11*x3-162615847987326*x4*x15*x5-87076060747323*x15*x10*x2-98537292915816*x12*x10*x3+26512862493932*x14*x8*x3+72303565098115*x9*x13*x2-171799063792600*x15*x10*x3-183618189457839*x1*x15*x5-16695760400834*x13*x5*x3-44082373344948*x1*x12*x6+205605971962820*x15*x7*x3+38512613546764*x14*x5*x3-159309476642700*x1*x15*x6+22213380606000*x13*x11*x2+72400770728578*x7*x2+74392618577680*x7*x3+13059216503958*x15*x8*x2+4384620014682*x8*x1*x12-44292725165124*x10*x14*x3+59296525740774*x4*x15*x10-23123182057092*x4*x13*x6-77917450367880*x4*x9*x14+33945310621512*x1+92210448258951*x2+48720254504220*x3+65220574620110*x4+10647789271263*x13*x8*x2-16583298490873*x5-32282686027132*x6+21599642764058*x7-22769674676718*x9-3963936391000*x10+10186624445378*x11+143307956424004*x12+30376693457526*x13+8104385900016*x14+38737971698500*x12*x11+44292725165124*x13*x11*x3+77917450367880*x4*x12*x11+6300068274102*x14*x8*x2+16695760400834*x13*x2*x6-169215518313510*x2*x15*x6-28429270231359*x1*x12*x5-38512613546764*x14*x2*x6+15183486955892*x13*x8*x3-59296525740774*x4*x13+9329118580998*x7*x13-24276943743342*x15*x11*x2-26278039325772*x1*x14*x6-13185037414140*x9*x14*x3+169215518313510*x15*x5*x3+162615847987326*x15*x7*x2-111096295867284*x1*x15*x9-65621915876616*x15*x8*x4-79719480896298*x15*x8*x1-156365749299062*x4*x12*x5-4782271475466*x1*x12*x10+156365749299062*x7*x12*x2+35891319194370*x7*x1*x12+98537292915816*x9*x13*x3+14960369788488*x4*x10*x14-14960369788488*x4*x13*x11+26686409532576*x4*x11-21073084624632*x4*x14+16583298490873*x8*x2+32282686027132*x8*x3-21599642764058*x8*x4-11367598151298*x8*x1-140567900068284*x4*x12*x6-84796774612220*x15*x6+65621915876616*x15*x7-143307956424004*x15*x9-30376693457526*x15*x10-8104385900016*x15*x11-13059216503958*x15*x5-51094194576132*x2*x6+51094194576132*x5*x3+13656279840442*x11*x2-4800973530224*x11*x3+24276943743342*x14*x2+52623269243260*x14*x3-6300068274102*x14*x5-26512862493932*x14*x6-35390399184527*x10*x2-56681305502468*x10*x3+87076060747323*x13*x2+171799063792600*x13*x3-10647789271263*x13*x5-15183486955892*x13*x6+2911871399458*x12*x10-8046535521918*x10*x14+8046535521918*x13*x11-50191804870787*x9*x2-27553510519196*x9*x3+311882574164058*x12*x2+168211180315840*x12*x3+48981175780088*x12*x8*x2+63502539767108*x12*x8*x3-80708388186586*x12*x2*x6+80708388186586*x12*x5*x3-311882574164058*x15*x9*x2-168211180315840*x15*x9*x3+13185037414140*x12*x11*x3-48981175780088*x12*x5-63502539767108*x12*x6-38737971698500*x9*x14-59403890088290*x9*x14*x2+59403890088290*x12*x11*x2-217303450875772*x4*x15*x9+140567900068284*x7*x12*x3-37721496602764*x8*x4*x12+23123182057092*x7*x13*x3-9329118580998*x8*x4*x13-2911871399458*x9*x13-72303565098115*x12*x10*x2+19871677444056*x7*x14-21301234197522*x8*x1*x14-37186465354536*x1*x14*x5-37955323792719*x1*x5-38863289447964*x1*x6+13953649078842*x1*x11-34246517561274*x1*x14+42448235940746+104443088639430*x1*x15*x10+48300083731260*x1*x13*x6-690419574438*x8*x1*x13+34630792957716*x1*x13*x5+15187047816102*x1*x10-104443088639430*x1*x13+27610844935176*x1*x10*x14-27610844935176*x1*x13*x11+21073084624632*x4*x15*x11-60091516308096*x4*x14*x6-17708787362892*x1*x9+111096295867284*x1*x12-72400770728578*x4*x5-74392618577680*x4*x6-27801614178810*x1*x9*x14+27801614178810*x1*x12*x11-34035263928446*x4*x9+217303450875772*x4*x12+37721496602764*x7*x12-43144752462168*x4*x14*x5+43144752462168*x7*x14*x2+4782271475466*x1*x9*x13-193051615854*x7*x1+60091516308096*x7*x14*x3-19871677444056*x8*x4*x14+64978342960662*x4*x12*x10-64978342960662*x4*x9*x13-30728244932928*x7*x1*x13-70009835947278*x15*x7*x1-5957395788492*x4*x13*x5+5957395788492*x7*x13*x2+28789684398342*x4*x10);

D12 = 1e-15*(21277622884864*x4*x15*x6-15597493344564*x1*x15*x11+25932340319936*x15*x8*x3+17186279902858*x7*x1*x14-26886386048859*x10*x14*x2+3703198414416*x15*x11*x3+834059394336*x4*x15*x5-38832085386309*x15*x10*x2+92411027518664*x12*x10*x3+12639651475864*x14*x8*x3-64509831698782*x9*x13*x2-82108387318264*x15*x10*x3+36926618371581*x1*x15*x5+51507249982964*x13*x5*x3-40693482040528*x1*x12*x6-21277622884864*x15*x7*x3-11090883148536*x14*x5*x3+60851357520952*x1*x15*x6+26886386048859*x13*x11*x2-247973014516*x7*x2+8523581247576*x7*x3+22086427891416*x15*x8*x2-6434786188642*x8*x1*x12-31280471893640*x10*x14*x3-32925425504246*x4*x15*x10-39766874042808*x4*x13*x6+10309068363950*x4*x9*x14-14271807232593*x1+6879475757649*x2+20231688599704*x3+5627014455806*x4-50926858190196*x13*x8*x2+11121284610228*x5+13526469328788*x6+8676135888732*x7-3325612584684*x9-9250231378050*x10+1685090734977*x11-5959237700873*x12+35041584770175*x13-7668729125706*x14-3047411745571*x12*x11+31280471893640*x13*x11*x3-10309068363950*x4*x12*x11+10502702400672*x14*x8*x2-51507249982964*x13*x2*x6+23014773090432*x2*x15*x6-28572985273078*x1*x12*x5+11090883148536*x14*x2*x6-61202649998916*x13*x8*x3+32925425504246*x4*x13+41513634506124*x7*x13-3651950992626*x15*x11*x2+25855085207288*x1*x14*x6+18837997809896*x9*x14*x3-23014773090432*x15*x5*x3-834059394336*x15*x7*x2+10946950044368*x1*x15*x9+19479556445104*x15*x8*x4+16789019991063*x15*x8*x1-2694083599772*x4*x12*x5-8777913173284*x1*x12*x10+2694083599772*x7*x12*x2-23894627397972*x7*x1*x12-92411027518664*x9*x13*x3-21879786235978*x4*x10*x14+21879786235978*x4*x13*x11+4024283322898*x4*x11+3510507061020*x4*x14-11121284610228*x8*x2-13526469328788*x8*x3-8676135888732*x8*x4+3225532175346*x8*x1-5297306734328*x4*x12*x6-25932340319936*x15*x6-19479556445104*x15*x7+5959237700873*x15*x9-35041584770175*x15*x10+7668729125706*x15*x11-22086427891416*x15*x5-11312336918948*x2*x6+11312336918948*x5*x3+5110263800091*x11*x2+7929492300368*x11*x3+3651950992626*x14*x2-3703198414416*x14*x3-10502702400672*x14*x5-12639651475864*x14*x6+3690618856878*x10*x2-4920357051612*x10*x3+38832085386309*x13*x2+82108387318264*x13*x3+50926858190196*x13*x5+61202649998916*x13*x6+14716969804338*x12*x10+1019311239711*x10*x14-1019311239711*x13*x11-14042913631336*x9*x2-20462698196900*x9*x3-27508068928227*x12*x2-38507771046088*x12*x3-615270090980*x12*x8*x2-482978446564*x12*x8*x3-1746343394644*x12*x2*x6+1746343394644*x12*x5*x3+27508068928227*x15*x9*x2+38507771046088*x15*x9*x3-18837997809896*x12*x11*x3+615270090980*x12*x5+482978446564*x12*x6+3047411745571*x9*x14+12979107656529*x9*x14*x2-12979107656529*x12*x11*x2+24036237358330*x4*x15*x9+5297306734328*x7*x12*x3-1121251462028*x8*x4*x12+39766874042808*x7*x13*x3-41513634506124*x8*x4*x13-14716969804338*x9*x13+64509831698782*x12*x10*x2-8518481375192*x7*x14+304808189577*x8*x1*x14+21216381952851*x1*x14*x5-11705298318822*x1*x5-10955843344876*x1*x6-3255721917735*x1*x11+15597493344564*x1*x14+29068284525438*x1*x15*x10-59262331412872*x1*x13*x6-3624355266528*x8*x1*x13-46262110794120*x1*x13*x5+8665591368804*x1*x10-29068284525438*x1*x13-2839391816382*x1*x10*x14+2839391816382*x1*x13*x11-3510507061020*x4*x15*x11+9899581955792*x4*x14*x6+7573150054318*x1*x9-10946950044368*x1*x12+247973014516*x4*x5-8523581247576*x4*x6-5779361438504*x1*x9*x14+5779361438504*x1*x12*x11-11029561189732*x4*x9-24036237358330*x4*x12+1121251462028*x7*x12+751198057608*x4*x14*x5-751198057608*x7*x14*x2+8777913173284*x1*x9*x13-9059826937856*x7*x1-9899581955792*x7*x14*x3+8518481375192*x8*x4*x14+53119754394652*x4*x12*x10-53119754394652*x4*x9*x13-37842568694744*x7*x1*x13+31934141207366*x15*x7*x1+1847161767748*x4*x13*x5-1847161767748*x7*x13*x2+2672937884232*x4*x10+11664022224075);

END;

[linux]:~$ time

real 3015m38.627s
user 20435m55.377s
sys 34m48.568s

3.6 GHz processors used. Total processing power:

1.71 GHz-months