source: git/Tst/Long/modulo_l.tst @ 010b3f

LIB "tst.lib";
tst_init();
//option(prot);
ring r=32003,(x,y,z,u,v),dp;
matrix g[14][24];
g[1,1]=11821x+11821y-8361z-8361u-8361v;
g[1,2]=11821x-8361y-7669z-7669u-7669v;
g[1,3]=-11821y-11821z-11821u-11821v;
g[1,4]=10245xz-12615yz-7672z2+10245xu-12615yu-13686zu+12149u2+10245xv-12615yv-7342zv+12479uv-13510v2;
g[1,5]=-9406xz+6404yz-7415z2-9406xu+6404yu-10620zu+14958u2-9406xv+6404yv+11025zv+1395uv+4600v2;
g[1,6]=-12464xz+2030yz-2921z2-12464xu+2030yu-11775zu+2967u2-12464xv+2030yv+4676zv+10564uv-12585v2;
g[1,7]=-4888xz-9358yz-7415z2-4888xu-9358yu-8870zu+9788u2-4888xv-9358yv+6775zv-8025uv-6570v2;
g[1,8]=826xz+3447yz+13241z2+826xu+3447yu+4776zu-9043u2+826xv+3447yv+15802zv-6482uv+1983v2;
g[1,9]=2571xz+2538yz+9726z2+2571xu+2538yu+3567zu+761u2+2571xv+2538yv-13656zv+9382uv+15541v2;
g[1,10]=4888xz-12919yz-14862z2+4888xu-12919yu-3681zu-62u2+4888xv-12919yv+12677zv-4526uv-15707v2;
g[1,11]=5314xz-11406yz+6257z2+5314xu-11406yu-5551zu-3447u2+5314xv-11406yv+14882zv+5178uv-15017v2;
g[1,12]=12297xz-10686yz-9053z2+12297xu-10686yu-15474zu+499u2+12297xv-10686yv+3197zv+12749uv-12833v2;
g[1,13]=9860z+9860u+9860v;
g[1,14]=11840z+11840u+11840v;
g[1,15]=9177z+9177u+9177v;
g[1,16]=-10761z-10761u-10761v;
g[1,17]=-6958z-6958u-6958v;
g[1,18]=2334z+2334u+2334v;
g[1,19]=-4517z-4517u-4517v;
g[1,20]=7650z+7650u+7650v;
g[1,21]=-2152z-2152u-2152v;
g[1,22]=1403z+1403u+1403v;
g[1,23]=-1749z-1749u-1749v;
g[1,24]=1384z+1384u+1384v;
g[2,1]=0;
g[2,2]=0;
g[2,3]=0;
g[2,4]=-5479x2+4612xy-2019y2+6631xz-12110yz+1730z2+15566xu+12108yu-7785zu+8648u2+8361xv+14127yv-15568zv-8072uv+4325v2;
g[2,5]=9802x2-10380xy+9802y2-3460xz-10380yz+11821z2+14125xu-1730yu-5190zu-8650u2+8361xv-8650yv+289zv-4901uv+5190v2;
g[2,6]=12878x2-3844xy+3460y2-2403xz+8745yz+11821z2+10572xu+10572yu-4806zu-14992u2-13743xv-3268yv+673zv+14319uv+3460v2;
g[2,7]=14703x2-5479xy+2882y2+8361xz+9802yz+11821z2+2015xu+3460yu-13551zu-1730u2+3171xv+6342yv-8072zv-11821uv-11532v2;
g[2,8]=-13456x2+13646xy+2882y2-4517xz+2498yz+11821z2-15477xu-2211yu+4517zu+2882u2+7112xv-2211yv-5285zv+9323uv+8650v2;
g[2,9]=-4901x2-4901xy+6920y2-11821xz+11821yz+289xu+3171yu-11821zu-8650u2-14992xv+8650yv-3460zv-1441uv-5190v2;
g[2,10]=-14703x2+5479xy-2882y2-8361xz-9802yz-11821z2-2015xu-3460yu+13551zu+1730u2-3171xv-6342yv+8072zv+11821uv+11532v2;
g[2,11]=11148x2+11148xy+11148xz-8266yz+768xu+11148yu-4806zu+3171u2-14608xv-11053yv-7688zv+7688uv-6631v2;
g[2,12]=-4901x2-4901xy+6920y2-11821xz+11821yz-4612xu-1730yu-11821zu-10091xv+13551yv-3460zv+8361uv+8361v2;
g[2,13]=3460y+11821z+1730u-10091v;
g[2,14]=-11821u+11821v;
g[2,15]=8361x-11821y-11821z+7496u+865v;
g[2,16]=11821y-11821z-10956u+10956v;
g[2,17]=-11821u+11821v;
g[2,18]=-11821u+11821v;
g[2,19]=-11821u+11821v;
g[2,20]=0;
g[2,21]=0;
g[2,22]=0;
g[2,23]=0;
g[2,24]=0;
g[3,1]=0;
g[3,2]=0;
g[3,3]=0;
g[3,4]=-1234x2+13820xy-290y2+8222xz+11959yz-3991z2+3570xu-35yu-9820zu-12456u2-8627xv-1398yv-4790zv+5368uv-13637v2;
g[3,5]=-12643x2-13988xy-11533y2+8673xz+4884yz-11548z2+7372xu+11448yu+3727zu-15281u2-7825xv-8792yv+4693zv+12498uv-1852v2;
g[3,6]=-14766x2+6823xy-11866y2-6883xz-5444yz+3920z2-13372xu+8516yu-2929zu+6939u2+11260xv+4272yv+13388zv+7781uv+6662v2;
g[3,7]=-14085x2+11372xy-2944y2-13186xz-8746yz+9540z2+13962xu-8920yu+10874zu+9745u2-2429xv-6353yv-9343zv+3156uv-14850v2;
g[3,8]=1587x2-10572xy-4975y2+8094xz+5503yz-656z2+3815xu-1925yu+245zu-2730u2+1403xv-2229yv-6925zv+2147uv-7961v2;
g[3,9]=4695x2-8500xy-14163y2+10107xz-909yz-9336z2-8485xu-7472yu+12497zu-15281u2+4860xv-6464yv-14107zv+11599uv-5924v2;
g[3,10]=14085x2-11372xy-8808y2+13186xz+8746yz+2212z2-13962xu-2832yu+878zu-9745u2+2429xv-5399yv-10908zv-3156uv+14850v2;
g[3,11]=-9267x2+14428xy-12425y2+14046xz+12887yz+15140z2+2921xu+572yu-14968zu-11110u2+9806xv-763yv-1589zv-12374uv-2909v2;
g[3,12]=4695x2-11891xy+12266y2+13498xz+1878yz-6549z2-1400xu+6216yu+10176zu-13839xv+8926yv+2753zv+12010uv+10387v2;
g[3,13]=-4613x+9284y-865z-9745u-3773v;
g[3,14]=1730x-14608y-7304z-2249u+7974v;
g[3,15]=-6755x-2224y+9844z-3950u-5070v;
g[3,16]=7455x-10187y+13688z-2739u-7352v;
g[3,17]=-5423y-14759z-10956u+2595v;
g[3,18]=453x+2485y-14759z-865u+12686v;
g[3,19]=-14759y-5423z-10956u+2595v;
g[3,20]=-9034y-6247z-11821u-11821v;
g[3,21]=-11821x-13935y+9034z+11821u+11821v;
g[3,22]=-6247y-9034z-11821u-11821v;
g[3,23]=14608y-14608z;
g[3,24]=0;
g[4,1]=0;
g[4,2]=-10610y+10610z;
g[4,3]=0;
g[4,4]=-2345x2-13756xy+6155y2+10937xz+10312yz-13235z2+7597xu-7756yu-13013zu-11742u2-2817xv-14752yv-15467zv+15928uv+10790v2;
g[4,5]=-7685xy-3207y2+4064xz+2257yz+8471z2-990xu-7567yu-15840zu-793u2-5001xv+13989yv+11800zv+3948uv-9115v2;
g[4,6]=-2345x2+5942xy+13986y2+11632xz-11769yz+14613z2-10441xu-4602yu-13020zu-1552u2-12794xv+1628yv-11252zv-13592uv+1241v2;
g[4,7]=-7759xy+10267y2-6137xz-15940yz+3199z2-4080xu+2574yu-15005zu+6242u2-1138xv+15838yv-10024zv+15368uv-8634v2;
g[4,8]=-2345x2+15526xy+10808y2-13392xz+4465yz-7066z2+6361xu-8180yu-6910zu+13243u2+3721xv+11968yv-11143zv-353uv-7140v2;
g[4,9]=3012xy+11225y2+1620xz+3740yz-4970z2+1360xu+178yu-4163zu-793u2+11047xv+8316yv+4668zv-13191uv-4952v2;
g[4,10]=7759xy-25y2+6137xz+15940yz-13441z2+4080xu+7668yu+4763zu-6242u2+1138xv-5596yv-218zv-15368uv+8634v2;
g[4,11]=5555xy+3328y2-7239xz-1229yz-9250z2-141xu-9010yu+6201zu-15622u2+164xv+4814yv+14993zv+10404uv+5973v2;
g[4,12]=13254xy+3921y2-8622xz-13655yz-12274z2+1360xu-10244yu-3324zu+11047xv-8899yv+5106zv+7485uv-7598v2;
g[4,13]=14829x+243y+9498z-6242u+9570v;
g[4,14]=-6439x-2334y+15926z+14829u-8994v;
g[4,15]=-6391x+12366y-13603z+776u-4811v;
g[4,16]=-2231y+12020z+11708u+13753v;
g[4,17]=2485y+2032z-6391u+10908v;
g[4,18]=6439x+1167y-14759z-3258u+1940v;
g[4,19]=2032y+2485z-6391u+10908v;
g[4,20]=-7304y+7304z;
g[4,21]=-10091x-7304y-14608z;
g[4,22]=7304y-7304z;
g[4,23]=-7304y+7304z;
g[4,24]=0;
g[5,1]=-13743x-13743z-13743u-13743v;
g[5,2]=-13743x+4613y+9130z-9130u+9130v;
g[5,3]=0;
g[5,4]=7223x2+6376xy+7754y2+439xz-8115yz-3439z2+12567xu+8618yu+13273zu-9960u2+6869xv+13308yv-14270zv-364uv-2175v2;
g[5,5]=14699x2+11845xy+2299y2-5270xz+1753yz-3980z2+12027xu-10052yu-11251zu-10259u2-4948xv-2289yv+4083zv+10345uv+168v2;
g[5,6]=-5615x2+3860xy-1692y2+333xz+12233yz+14952z2-11143xu+10139yu+14508zu-7871u2+416xv+9821yv+11414zv+546uv+14769v2;
g[5,7]=6544x2+11772xy+13431y2-12306xz+2544yz+4862z2+15367xu-11354yu-14074zu-568u2-9784xv+3225yv-5371zv-10759uv+1111v2;
g[5,8]=13747x2+3374xy+4238y2-4843xz+13361yz+13212z2-8873xu-14604yu-3140zu+2511u2-1690xv-11672yv+12835zv-12572uv+2632v2;
g[5,9]=-4314x2-15990xy+2643y2+8583xz+12224yz-14736z2-7995xu+14803yu+11851zu-853u2+8227xv-11309yv+2857zv+5780uv+2267v2;
g[5,10]=-6544x2+11696xy+1346y2+3771xz+6339yz-10756z2+8101xu+741yu+14793zu-10214u2+1249xv+4550yv-7525zv-4238uv+6495v2;
g[5,11]=4703x2-2710xy+8327y2-15886xz+5879yz+15613z2-10800xu-6032yu-9321zu+5065u2+14651xv-304yv+2936zv-13203uv-3587v2;
g[5,12]=-12849x2-4064xy-15585y2+5540xz-3313yz-12974z2-8826xu-5860yu-7307zu+3152u2+14955xv+8855yv+4597zv-15895uv+1280v2;
g[5,13]=7346x+4704y+1632z+6462u+428v;
g[5,14]=-2618x-444y+6320z+15514u-13825v;
g[5,15]=15097x+9308y-2767z-15612u+10039v;
g[5,16]=-8130x-1658y+10248z-5490u+15105v;
g[5,17]=-6828x-2421y+4890u-6675v;
g[5,18]=5588x+7677y-2501z-2700u-4833v;
g[5,19]=9519x-9384y+5590z-9583u-8398v;
g[5,20]=7240x+3492y-14832z-5606u+3556v;
g[5,21]=5126x+12718y-7336z+12173u+7208v;
g[5,22]=-1858x-8489y+15409z+3588u-1057v;
g[5,23]=-5542x+12766y+16z+1842u+1778v;
g[5,24]=4517x-1922y+6439z+13743u-9226v;
g[6,1]=-13743x-13743z-13743u-13743v;
g[6,2]=-13743x+4613y+9130z-9130u+9130v;
g[6,3]=0;
g[6,4]=-5354x2-6000xy+11306y2+5267xz+14400yz+14624z2+12336xu-9556yu-13411zu-6966u2-5475xv-4984yv-6265zv+8776uv-14753v2;
g[6,5]=10291x2-15033xy+6348y2+11256xz-7321yz+8062z2+954xu-1476yu-7705zu+491u2-15734xv-35yv-1248zv-11109uv+4053v2;
g[6,6]=-3257x2-12284xy+6716y2+13663xz+11903yz-5009z2-7744xu-2291yu+890zu-6844u2+5122xv-8937yv-15823zv-449uv-3782v2;
g[6,7]=5493x2+13147xy+10988y2-15741xz+13431yz-15099z2-2921xu+604yu+13556zu+5083u2-12504xv+13479yv+13382zv+15011uv-2790v2;
g[6,8]=-9954x2-14828xy-7696y2+5771xz-9762yz-6749z2-9348xu+10684yu+624zu-3607u2-1285xv+12414yv-8443zv+6895uv-1788v2;
g[6,9]=6704x2-14794xy-2686y2-3459xz-7737yz-14736z2+3895xu+1390yu-191zu-7608u2+10685xv+10904yv-1266zv+1210uv-12386v2;
g[6,10]=-5493x2+10321xy+3789y2+7206xz-4548yz+9205z2-5614xu-11217yu-12837zu-15865u2+3969xv-5704yv+5725zv+1995uv+10396v2;
g[6,11]=3275x2-378xy+5128y2-7093xz-9799yz+15613z2-5673xu-2934yu-7473zu-4716u2-1424xv+2950yv+7256zv+2329uv+4378v2;
g[6,12]=-1831x2+8953xy-732y2+13680xz-11453yz-12974z2+12887xu+3374yu+12654zu-6033u2+13397xv+2614yv+474zv+252uv-14856v2;
g[6,13]=-8580x-12706y+4371z-4461u-5120v;
g[6,14]=-15194x-13171y+6320z-10120u-314v;
g[6,15]=4855x-7030y+9150z-3359u+13451v;
g[6,16]=-1334x+10767y+10248z-5224u+2819v;
g[6,17]=3263x-13377y-6439z-1501u+14324v;
g[6,18]=15981x+2858y-2501z+13631u+10386v;
g[6,19]=-12393x+5224y+5590z-15974u+12601v;
g[6,20]=-4581x+13583y-4741z+4485u+13647v;
g[6,21]=-3235x+9258y-7336z+1217u-3748v;
g[6,22]=-13679x+11693y+15409z+13679u+9034v;
g[6,23]=-5542x+11901y+881z+1842u+1778v;
g[6,24]=4517x-13743y-13743z+13743u-9226v;
g[7,1]=0;
g[7,2]=0;
g[7,3]=0;
g[7,4]=-6439x2-5529xy-2219y2-9607xz+5554yz+4822z2+14157xu-879yu+9393zu-14040u2-3139xv+11239yv+334zv+6037uv+12262v2;
g[7,5]=-6888xy-15844y2+6297xz-10685yz+629z2+14897xu+8070yu+5333zu+14993u2-12742xv-7133yv-1050zv+9131uv-2912v2;
g[7,6]=-6439x2+5857xy+552y2+5757xz+12670yz+487z2-14576xu+7921yu+13044zu-4594u2+335xv+4337yv-15468zv+10970uv+14077v2;
g[7,7]=14134xy+10085y2+981xz+15568yz+11173z2+6344xu-11722yu+1291zu+12917u2+12890xv-10654yv-2717zv+9208uv+15995v2;
g[7,8]=-6439x2-7737xy+12482y2-13637xz-12405yz-300z2-11083xu+6110yu+15478zu-10513u2-10234xv+10746yv-2706zv+13658uv-677v2;
g[7,9]=5105xy-11321y2+11192xz+2661yz+9940z2+8553xu+9937yu+2419zu+6343u2+6371xv+4411yv+12255zv+1315uv+7437v2;
g[7,10]=-14134xy+1434y2-981xz-15568yz+9311z2-6344xu-8762yu-12810zu-12917u2-12890xv-9830yv-8802zv-9208uv-15995v2;
g[7,11]=-4152xy+302y2-4905xz-8608yz-6073z2+15928xu+7583yu-8923zu+13109u2+11210xv+13017yv-5460zv+2584uv-5923v2;
g[7,12]=-15379xy+3287y2-327xz+5448yz-7455z2+8553xu-11659yu-10816zu+8361u2+6371xv-14728yv+2219zv-13553uv-11716v2;
g[7,13]=12782x-11269y+14045z-5997u-313v;
g[7,14]=12878x+4668y+11972z-7919u-13842v;
g[7,15]=12782x-13949y-1881z+5973u-7401v;
g[7,16]=4462y+9281z-12806u-5454v;
g[7,17]=-4970y-4064z+12782u+10187v;
g[7,18]=-12878x-2334y+12425z+6343u+3748v;
g[7,19]=-4064y-4970z+12782u+10187v;
g[7,20]=14608y-14608z;
g[7,21]=-11821x+14608y+5574z+10091u+10091v;
g[7,22]=-14608y+14608z;
g[7,23]=14608y-14608z;
g[7,24]=0;
g[8,1]=-9226x-9226z-9226u-9226v;
g[8,2]=-11129x-5997y-5132z-5132u-5132v;
g[8,3]=0;
g[8,4]=10804x2-8594xy-722y2-5934xz+11546yz+9300z2+13356xu+13087yu+8805zu+6289u2+15508xv+10944yv-13134zv+3022uv-1478v2;
g[8,5]=-10653x2-15865xy+15687y2+7583xz+9553yz+5271z2+7990xu-13390yu-6397zu+6524u2+12094xv-14080yv-14172zv-4122uv-15375v2;
g[8,6]=10546x2-15885xy+11856y2-5983xz+7942yz-8472z2+6579xu-1774yu+9715zu+396u2-10811xv-6105yv+13900zv-15859uv-1666v2;
g[8,7]=13860x2-6920xy+319y2-14110xz-7389yz+14497z2-2862xu-10277yu+13506zu-2286u2+6537xv+14620yv+2927zv+1068uv+3739v2;
g[8,8]=4185x2+7267xy-15816y2-6894xz+9617yz-7543z2+11532xu+10803yu-8879zu-5550u2-13827xv+2919yv+11362zv-5252uv-12042v2;
g[8,9]=5622x2-10937xy+14407y2-1303xz-12782yz-7304z2+8878xu-12582yu-8504zu-8505u2+11485xv+9353yv+15244zv-7057uv-14415v2;
g[8,10]=-13860x2-3322xy+13877y2+3868xz-8496yz-12575z2-7380xu-15548yu+12401zu+14450u2+15224xv+3668yv+3087zv+6827uv-11468v2;
g[8,11]=5314x2-4801xy+6094y2+12649xz-14016yz+2818z2-3xu-12068yu+36zu-9085u2+7747xv+9757yv-8076zv-5277uv+15889v2;
g[8,12]=-4620x2-9619xy+13446y2+13497xz+8265yz+4613z2+10695xu+10467yu-5449zu+8808u2+12127xv+1943yv+2935zv+10698uv-11837v2;
g[8,13]=14519x+9606y-10558z+2124u-2196v;
g[8,14]=2334x+6604y+12329z+3125u-6777v;
g[8,15]=-12896x-1377y-4126z+8420u-12224v;
g[8,16]=-15267x-1853y-15799z-8889u-14474v;
g[8,17]=-2485x-7153y-7112z+11865u+5983v;
g[8,18]=-11711x+11155y-15370z-5751u-2267v;
g[8,19]=-8471x+7297y+11004z-10798u+734v;
g[8,20]=7304x+9995y-11052z+1826u-11725v;
g[8,21]=10475x+10571y+11725z+8457u+12782v;
g[8,22]=2787x+7304y-4517z-15665u+2787v;
g[8,23]=6439x-15521y+1778z+13791u+13791v;
g[8,24]=-11821x+9226y+10956z+10956u+10956v;
g[9,1]=9226x+9226z+9226u+9226v;
g[9,2]=-10091x-4613y-5478z-5478u-5478v;
g[9,3]=0;
g[9,4]=11969x2-13881xy-15620y2-3883xz-15131yz+4108z2+12340xu+15645yu-3849zu-2055u2+3138xv-14410yv-9960zv+8474uv+11715v2;
g[9,5]=7357x2-3301xy-8501y2+13914xz-5698yz-2959z2-3044xu-8483yu+10239zu+7788u2+5085xv+14500yv-5112zv-11010uv-5897v2;
g[9,6]=12522x2-15504xy+164y2-10144xz+4474yz+4642z2+1566xu-12654yu+11786zu-13307u2+1673xv+10998yv-9920zv+655uv+5906v2;
g[9,7]=-1875x2+3024xy-9913y2-7415xz-13345yz-6913z2-12751xu-11790yu-3843zu-8417u2-5304xv-6212yv+4086zv-6735uv-13251v2;
g[9,8]=-10471x2+10615xy-10234y2+10538xz-256yz-6611z2+15127xu+10967yu-8504zu+2169u2+2414xv-9211yv+14619zv-4530uv-9525v2;
g[9,9]=-9617x2+10124xy+12464y2-11100xz+2430yz+12274z2+8013xu+10626yu+6854zu-4578u2-6712xv+10936yv+14079zv-8589uv-2464v2;
g[9,10]=1875x2+7218xy+83y2-14346xz+11835yz+15233z2-9010xu+38yu+10241zu-13687u2+15546xv+9534yv-14617zv+6144uv+6221v2;
g[9,11]=10590x2-5571xy+9357y2+11513xz+4244yz+6432z2+3776xu+1476yu+572zu+13281u2-7308xv+857yv+15664zv-6121uv-8190v2;
g[9,12]=625x2+13172xy-8487y2-15658xz-4009yz+7661z2+7813xu+248yu+10264zu+9345u2-12953xv-1478yv+1251zv-15882uv+14712v2;
g[9,13]=12054x-10022y+11497z-1949u-7304v;
g[9,14]=-7716x+13125y+3748z-12660u+13264v;
g[9,15]=-4503x+10577y+7292z-6424u-8242v;
g[9,16]=13949x-2701y+3779z+9293u+386v;
g[9,17]=2485x+11972y+5080z-2643u+15933v;
g[9,18]=-9638x-5018y-1874z+13331u-7798v;
g[9,19]=8471x+15370y-13489z+14704u-12809v;
g[9,20]=-7304x+96y+3748z-9130u+4421v;
g[9,21]=-8745x-480y+2883z+6151u+1826v;
g[9,22]=-2787x+14608y+11821z-9034u+4517v;
g[9,23]=-6439x-6391y-9082z+10908u+10908v;
g[9,24]=11821x-9226y-10956z-10956u-10956v;
g[10,1]=13551x+13551z+13551u+13551v;
g[10,2]=-865y+865z+865u+865v;
g[10,3]=0;
g[10,4]=2884x2-15769xy+8609y2+1212xz-14383yz+4588z2-3751xu-6691yu+9769zu+802u2-15621xv-10065yv+7070zv+8688uv-9091v2;
g[10,5]=-4901x2+10844xy+15967y2-13769xz-14708yz-13508z2-5272xu+7440yu-10207zu-2645u2+4305xv-7160yv+2479zv-15166uv-3388v2;
g[10,6]=7977x2-7502xy+6470y2+6688xz-994yz-5674z2+8278xu+2886yu+15011zu-12463u2-15346xv+3771yv-6700zv+6737uv-12979v2;
g[10,7]=8650x2-3095xy-13257y2+14709xz+669yz-328z2+12273xu-1406yu+4174zu+4812u2+9983xv+15719yv-7649zv-1432uv-10284v2;
g[10,8]=-10859x2-9394xy-7296y2+3705xz+6333yz+9333z2-10284xu-8895yu-9766zu+10329u2-9088xv-5765yv+12507zv+3650uv+4189v2;
g[10,9]=-13551x2+11452xy-6431y2+6012xz-5327yz+12425z2+2376xu-768yu+7285zu-9953u2-4990xv-6332yv+14205zv+190uv+8540v2;
g[10,10]=-8650x2+3095xy-12348y2-14709xz-669yz-6070z2-12273xu+10371yu-8005zu-2245u2-9983xv+3009yv+13581zv-15674uv-9389v2;
g[10,11]=-13935x2-7998xy-838y2-15040xz-401yz+10770z2-6669xu-6685yu+6193zu-15529u2-12863xv-11443yv-4801zv+2810uv-1238v2;
g[10,12]=-13551x2-14153xy-10083y2-386xz+1977yz+8773z2+4943xu+8243yu+3917zu+11090u2+7340xv+12035yv-9805zv+9132uv-2747v2;
g[10,13]=6343x-2y+4581z+6855u+12128v;
g[10,14]=6631x-796y-13290z-5195u-3194v;
g[10,15]=-12109x-6539y+4603z-8163u+15206v;
g[10,16]=-10716y+6391z+11948u-3415v;
g[10,17]=9789y-4888z-11958u-5245v;
g[10,18]=-6631x+6082y-7812z+7071u+5505v;
g[10,19]=1455y+3446z+13400u+919v;
g[10,20]=-13743y+13743z-15473u-10572v;
g[10,21]=-3460x+14511y+14032z+14800u-8553v;
g[10,22]=-5574y+5574z-2114u+2787v;
g[10,23]=-9995y+9995z-769u-769v;
g[10,24]=-1730y+1730z+1730u+1730v;
g[11,1]=9226x+9226z+9226u+9226v;
g[11,2]=-10091x-4613y-5478z-5478u-5478v;
g[11,3]=0;
g[11,4]=-14665x2+3613xy-8316y2+1208xz+9961yz-14591z2+1977xu+11634yu+14942zu+5042u2-1744xv+5205yv-2698zv-4753uv-6608v2;
g[11,5]=-14019x2+1393xy-2027y2+669xz-10833yz+4130z2+9019xu-8855yu-6083zu-8728u2-1758xv+12069yv-7182zv-11571uv+14704v2;
g[11,6]=-13773x2-15404xy+6333y2+13679xz+5250yz-7444z2+10911xu-6305yu-15788zu+12095u2+15962xv+770yv-6155zv+15342uv+3098v2;
g[11,7]=-13304x2+15676xy+9979y2-8903xz+13160yz+11091z2+12355xu+6896yu-3280zu+2943u2-8474xv+11283yv+15495zv+15602uv+2677v2;
g[11,8]=-13906x2-12518xy+11842y2+4665xz+8041yz-10414z2-4904xu-13882yu-6808zu+7230u2-12290xv-15223yv-6244zv-3173uv+4763v2;
g[11,9]=15528x2+14220xy-15562y2+15255xz-14671yz-10393z2-2868xu+10653yu+9319zu-3013u2-12012xv+15611yv-10251zv+59uv+8688v2;
g[11,10]=13304x2-5434xy-8057y2-12858xz-14670yz-14523z2-2113xu-6896yu-2074zu+6956u2-13287xv+3791yv-5775zv+15810uv-9707v2;
g[11,11]=13226x2+5218xy-12555y2-3852xz+13946yz+4843z2+15358xu+8522yu+9585zu+3072u2-556xv+11899yv-11998zv+162uv+7432v2;
g[11,12]=-6233x2+8838xy+12885y2-12876xz-3715yz+14210z2-5107xu+2533yu+9119zu+15070u2+879xv+15314yv+3638zv-13062uv+6815v2;
g[11,13]=-2602x+5658y-6296z-1117u+4587v;
g[11,14]=-9638x-1634y-7359z-15425u-1256v;
g[11,15]=-15864x+4591y+7340z+604u+4713v;
g[11,16]=-4462x+9415y-6511z+10865u+7436v;
g[11,17]=2485x-3652y+7826z+1009u+9494v;
g[11,18]=1922x+4771y-707z+9830u+10613v;
g[11,19]=8471x-13887y+2890z-13647u+12755v;
g[11,20]=-7304x-12782y+8265z+12782u-5670v;
g[11,21]=1346x+5094y+3940z-5670u-9995v;
g[11,22]=-2787x-12878y-1057z+12878u-5574v;
g[11,23]=-6439x+913y+15617z+10908u+10908v;
g[11,24]=11821x-9226y-10956z-10956u-10956v;
g[12,1]=-10091x-10091z;
g[12,2]=10610y-10610z;
g[12,3]=0;
g[12,4]=-1213x2+10783xy+11258y2-12374xz-2865yz+7853z2+11977xu+10939yu+13276zu+14618u2-11571xv-3544yv+6371zv-7531uv+3182v2;
g[12,5]=1774x2+6942xy+7313y2-4080xz+12211yz+9874z2-13970xu+12416yu-8166zu-2883u2+10705xv-8467yv+10110zv-6754uv+7292v2;
g[12,6]=13292x2+8060xy-8309y2+2437xz+10332yz-8706z2-14224xu+13309yu-8116zu-10687u2-4321xv-365yv+7572zv-4781uv-11023v2;
g[12,7]=11432x2+14616xy-7767y2+6562xz-8394yz+8144z2+13303xu-14443yu+7826zu+5824u2-10085xv+9588yv-13440zv+1214uv-3999v2;
g[12,8]=1103x2+15190xy-18y2-5815xz+1764yz+8599z2+260xu-8733yu-3390zu-12551u2-1046xv-3727yv-6005zv+10765uv+13523v2;
g[12,9]=6857x2+14927xy+10025y2-11085xz+10687yz-3479z2-481xu+9139yu-14516zu-2883u2+1742xv+10775yv-9218zv-3565uv-2396v2;
g[12,10]=-11432x2-14616xy+12976y2-6562xz+8394yz-13353z2-13303xu-12351yu-13035zu-5824u2+10085xv-4379yv+8231zv-1214uv+3999v2;
g[12,11]=824x2-50xy-5739y2-2596xz-5214yz-13800z2+12247xu-13372yu-8093zu+3902u2-14146xv+2926yv-3207zv+8117uv+11826v2;
g[12,12]=6857x2+8315xy+4970y2-4473xz+615yz+11648z2+5595xu+15050yu+8604zu-9028xv+8192yv+14543zv+327uv+3267v2;
g[12,13]=2028x+12754y+10505z-5824u+14082v;
g[12,14]=-4709x+11497y-1900z-14954u+6373v;
g[12,15]=-9398x+5156y+8179z-615u-13688v;
g[12,16]=-3501x-12944y+1480z-14089u+6229v;
g[12,17]=-3306y-3998z+7304u+7304v;
g[12,18]=-13290x+5780y+8265z+10783u+15948v;
g[12,19]=-9130y+1826z+7304u+7304v;
g[12,20]=3998y+4363z-11821v;
g[12,21]=-5190x+3998y+2633z+11821u+13551v;
g[12,22]=-5901y+14262z-11821v;
g[12,23]=10168y-10168z;
g[12,24]=-346y+346z;
g[13,1]=-10091u-10091v;
g[13,2]=10437y-10437z;
g[13,3]=0;
g[13,4]=-1384x2+13897xy-10091y2+15830xz+10785yz+10428z2-2848xu+9209yu+15484zu+9323u2+1076xv+3586yv-6398zv+14872uv-3274v2;
g[13,5]=4152xy+692y2-8668xz+10612yz+6952z2-6473xu-13121yu+4896zu-2573u2-9988xv+256yv+9784zv-4068uv+11824v2;
g[13,6]=-1384x2-692xy-4863y2-12296xz-6615yz+14671z2+6680xu-10377yu-12464zu-14842u2-3536xv+12352yv-6761zv-2799uv-14231v2;
g[13,7]=6228xy-9053y2-11147xz+8982yz+6952z2+15063xu+1940yu+9640zu-941u2+10222xv+14048yv-7416zv+14558uv+10020v2;
g[13,8]=-1384x2+6228xy-5920y2-10458xz+11659yz+6952z2+12749xu-10591yu+3858zu+13101u2+710xv-9218yv-13053zv+9614uv-8640v2;
g[13,9]=-2076xy+9745y2-6952xz+1630yz-5021xu+7197yu+1723zu+2902u2-14075xv-4047yv+10733zv-3576uv+14223v2;
g[13,10]=-6228xy+9053y2+11147xz-8982yz-6952z2-15063xu-1940yu-9640zu+941u2-10222xv-14048yv+7416zv-14558uv-10020v2;
g[13,11]=12513xy+6266y2+1189xz-7084yz+5322z2-7499xu+15231yu+4052zu+2777u2+12991xv+11233yv-1934zv-9234uv-8359v2;
g[13,12]=-2076xy+9745y2-6952xz+1630yz-5021xu-14023yu+4655zu-7744u2-14075xv-14830yv-14771zv-4522uv+3165v2;
g[13,13]=-692x-346y+8015z-15367u+11504v;
g[13,14]=8361z+2941u-6112v;
g[13,15]=346y-15923z-7822u+3999v;
g[13,16]=-2636z-3674u+12241v;
g[13,17]=0;
g[13,18]=2183z+11755u-10849v;
g[13,19]=0;
g[13,20]=0;
g[13,21]=15281z+3171u+3171v;
g[13,22]=0;
g[13,23]=0;
g[13,24]=0;
g[14,1]=14800x-10091y+4709z+4709u+4709v;
g[14,2]=-2787x-3575y-11744z-9476u-2172v;
g[14,3]=10091y+10091z;
g[14,4]=-10917x2+12282xy+8780y2+4076xz+12661yz-8940z2-3220xu+7275yu+4588zu-6130u2-8680xv+2237yv+9157zv-7817uv-5946v2;
g[14,5]=5727x2-4835xy+14520y2-1632xz-11438yz+5606z2+10091xu+1492yu-10777zu-6184u2+13171xv-6765yv+2775zv-3294uv+6711v2;
g[14,6]=-5903x2-9410xy+1704y2-12682xz+12425yz-14652z2-11614xu+4841yu-14343zu+8233u2-14242xv+14016yv+4096zv+3553uv+6111v2;
g[14,7]=4530x2-9394xy+2144y2+4598xz+15219yz+5634z2+15100xu+13555yu+1060zu+10989u2-15930xv-14315yv+7412zv-2847uv-9867v2;
g[14,8]=-5479x2-11953xy-1096y2+13598xz-847yz-8276z2-4594xu+2581yu+4404zu+1888u2-14967xv+729yv+13280zv+396uv-3428v2;
g[14,9]=15216x2-1883xy+12946y2+1680xz+15596yz+7327z2-659xu-4615yu+8842zu-14297u2+5023xv+1586yv+10710zv-5799uv-10392v2;
g[14,10]=-4530x2-7332xy-7335y2+10679xz-13055yz+1721z2+177xu+5784yu+10643zu-3854u2-796xv+14944yv-6058zv+6768uv-10069v2;
g[14,11]=-5132x2-14297xy-5624y2+15354xz+6009yz-7129z2-5349xu+11041yu-13936zu+12203u2-12285xv+1436yv+5127zv+1650uv-14857v2;
g[14,12]=-1510x2-2102xy+13516y2+4063xz-1536yz-8114z2+1323xu-11522yu-1236zu+3689u2+14419xv-5990yv+4673zv+10525uv-3883v2;
g[14,13]=-11854x+15075y+9893z-6938u+9549v;
g[14,14]=10499x+10767y-1657z-9718u-2981v;
g[14,15]=-9177x+6174y+2318z+14562u-3215v;
g[14,16]=6975x+15044y+15980z+7029u+989v;
g[14,17]=2442x-8904y+220z+425u+989v;
g[14,18]=-9789x-15141y-3764z-12536u+8202v;
g[14,19]=-15839x+11169y-4144z-6041u-14850v;
g[14,20]=-7887x+3146y+4101z+15441u-3267v;
g[14,21]=10470x-15882y-8585z-13775u+4997v;
g[14,22]=13096x+13077y+10892z+10219u+5190v;
g[14,23]=-3543x+2502y+1650z-1041u+5334v;
g[14,24]=15992x+154y-15473z-8169u-10956v;
module k;
k[1]=z*gen(14)+3239z*gen(12)+4665z*gen(11)-4406z*gen(10)-12179z*gen(9)+777z*gen(8)+9199z*gen(7)-13086z*gen(6)+7515z*gen(5)+11402z*gen(4)+11920z*gen(3)+8714u*gen(14)-15833u*gen(12)+15063u*gen(11)-2373u*gen(10)-770u*gen(9)-1841u*gen(8)-9990u*gen(7)+1800u*gen(6)-12135u*gen(5)+4995u*gen(4)+15730u*gen(3)-3757u*gen(2)-8715v*gen(14)+12594v*gen(12)+12275v*gen(11)+6779v*gen(10)+12949v*gen(9)+1064v*gen(8)+791v*gen(7)+11286v*gen(6)+4620v*gen(5)+15606v*gen(4)+4353v*gen(3)+3757v*gen(2);
k[2]=y*gen(9)+11429y*gen(8)+16000y*gen(6)+16000y*gen(5)+9145y*gen(3)+9147y*gen(1)+14605z*gen(12)-822z*gen(11)+9031z*gen(10)+2787z*gen(9)+4052z*gen(8)+13678z*gen(7)+14057z*gen(6)-11107z*gen(5)-6839z*gen(4)+2722z*gen(3)+9147z*gen(1)+14164u*gen(14)-4227u*gen(12)-13664u*gen(11)-9156u*gen(10)+14112u*gen(9)+9841u*gen(8)-9874u*gen(7)+15540u*gen(6)+5133u*gen(5)+4937u*gen(4)-7592u*gen(3)+10123u*gen(2)+9147u*gen(1)+6280v*gen(14)-6186v*gen(12)-13895v*gen(11)-10164v*gen(10)+11486v*gen(9)-8752v*gen(8)-12188v*gen(7)+9896v*gen(6)+9272v*gen(5)+6094v*gen(4)-1985v*gen(3)-10123v*gen(2)+9147v*gen(1);
k[3]=y*gen(10)+1410y*gen(8)-10669y*gen(7)-15559y*gen(6)+11109y*gen(5)-10667y*gen(4)-4950y*gen(3)-2y*gen(2)+8039y*gen(1)-10858z*gen(12)+13450z*gen(11)+6830z*gen(10)-8844z*gen(9)-11353z*gen(8)-8391z*gen(7)-8610z*gen(6)-12805z*gen(5)-11806z*gen(4)-1518z*gen(3)+2z*gen(2)+8039z*gen(1)+2521u*gen(14)+11025u*gen(12)-14270u*gen(11)-15822u*gen(10)-3245u*gen(9)+2063u*gen(8)+7617u*gen(7)+11237u*gen(6)+6379u*gen(5)+12193u*gen(4)-3208u*gen(3)-2663u*gen(2)+8039u*gen(1)+12731v*gen(14)+1903v*gen(12)-1624v*gen(11)+8873v*gen(10)+9231v*gen(9)+7584v*gen(8)+7303v*gen(7)-7264v*gen(6)+5054v*gen(5)+12350v*gen(4)-14875v*gen(3)+2663v*gen(2)+8039v*gen(1);
k[4]=y*gen(11)-14706y*gen(8)-10671y*gen(7)+9775y*gen(6)-11563y*gen(5)-10666y*gen(4)+14483y*gen(3)-4y*gen(2)+12011y*gen(1)-2337z*gen(12)-13497z*gen(11)-6479z*gen(10)+2071z*gen(9)+2183z*gen(8)+8508z*gen(7)-8719z*gen(6)-4464z*gen(5)-4254z*gen(4)-11026z*gen(3)+4z*gen(2)+12011z*gen(1)-15476u*gen(14)+10273u*gen(12)+1140u*gen(11)-5686u*gen(10)+11413u*gen(9)-14880u*gen(8)+7995u*gen(7)-7488u*gen(6)-5306u*gen(5)+12004u*gen(4)+419u*gen(3)-7262u*gen(2)+12011u*gen(1)+8939v*gen(14)-621v*gen(12)-13549v*gen(11)+3163v*gen(10)-8849v*gen(9)+2998v*gen(8)+11541v*gen(7)-13091v*gen(6)-5505v*gen(5)+10231v*gen(4)-9545v*gen(3)+7262v*gen(2)+12011v*gen(1);
k[5]=y*gen(12)-13068y*gen(8)+10666y*gen(7)-3115y*gen(6)-13784y*gen(5)-5333y*gen(4)+2671y*gen(3)-2y*gen(2)+1439y*gen(1)-8470z*gen(12)-6338z*gen(11)-7755z*gen(10)+15644z*gen(9)-935z*gen(8)-2585z*gen(7)+4611z*gen(6)+3319z*gen(5)-14709z*gen(4)-6872z*gen(3)+2z*gen(2)+1439z*gen(1)+4199u*gen(14)-7685u*gen(12)-5939u*gen(11)+11350u*gen(10)-13624u*gen(9)-2751u*gen(8)+6804u*gen(7)+583u*gen(6)+13812u*gen(5)-3402u*gen(4)+7202u*gen(3)+7305u*gen(2)+1439u*gen(1)+10763v*gen(14)-8952v*gen(12)-13149v*gen(11)+13040v*gen(10)-3223v*gen(9)-3740v*gen(8)+3324v*gen(7)-5813v*gen(6)-13978v*gen(5)-1662v*gen(4)+9027v*gen(3)-7305v*gen(2)+1439v*gen(1);
k[6]=y*gen(14)+2y*gen(1)-3239z*gen(12)-4665z*gen(11)+4406z*gen(10)+12179z*gen(9)-777z*gen(8)-9199z*gen(7)+13086z*gen(6)-7515z*gen(5)-11402z*gen(4)-11920z*gen(3)+2z*gen(1)-8714u*gen(14)+15833u*gen(12)-15063u*gen(11)+2373u*gen(10)+770u*gen(9)+1841u*gen(8)+9990u*gen(7)-1800u*gen(6)+12135u*gen(5)-4995u*gen(4)-15730u*gen(3)+3757u*gen(2)+2u*gen(1)+8715v*gen(14)-12594v*gen(12)-12275v*gen(11)-6779v*gen(10)-12949v*gen(9)-1064v*gen(8)-791v*gen(7)-11286v*gen(6)-4620v*gen(5)-15606v*gen(4)-4353v*gen(3)-3757v*gen(2)+2v*gen(1);
k[7]=x*gen(6)-12801x*gen(5)+648y*gen(8)+10667y*gen(7)-13780y*gen(6)-14848y*gen(5)+10668y*gen(4)+7241y*gen(3)-2y*gen(2)+14536y*gen(1)-10485z*gen(12)+13055z*gen(11)+7128z*gen(10)-2406z*gen(9)-12408z*gen(8)+2375z*gen(7)+11154z*gen(6)+5941z*gen(5)+14814z*gen(4)-241z*gen(3)+2z*gen(2)-11064z*gen(1)-13503u*gen(14)-10163u*gen(12)-14446u*gen(11)-5045u*gen(10)+13795u*gen(9)-12034u*gen(8)-13524u*gen(7)+2433u*gen(6)+2810u*gen(5)+6762u*gen(4)-6582u*gen(3)-9846u*gen(2)-11064u*gen(1)-9956v*gen(14)-10631v*gen(12)-6105v*gen(11)-2567v*gen(10)+1455v*gen(9)-1600v*gen(8)+11840v*gen(7)-2007v*gen(6)+15975v*gen(5)-5920v*gen(4)-14457v*gen(3)+9846v*gen(2)-11064v*gen(1);
k[8]=x*gen(7)+15358x*gen(5)+16001x*gen(4)-3201x*gen(3)-12802x*gen(2)+3197x*gen(1)+5761y*gen(13)+4420y*gen(8)-3y*gen(7)+11504y*gen(6)-11061y*gen(5)-4639y*gen(4)+1023y*gen(3)+637y*gen(2)+13644y*gen(1)+1279z*gen(13)+4323z*gen(12)-9576z*gen(11)+10596z*gen(10)-8896z*gen(9)-10406z*gen(8)+9401z*gen(7)+4744z*gen(6)-8641z*gen(5)+7781z*gen(4)+10345z*gen(3)-13439z*gen(2)-6841z*gen(1)+2162u*gen(14)+5441u*gen(13)+2520u*gen(12)-13507u*gen(11)-4432u*gen(10)-1544u*gen(9)-15543u*gen(8)+63u*gen(7)-10178u*gen(6)-12286u*gen(5)-5792u*gen(4)+15295u*gen(3)+15133u*gen(2)-6841u*gen(1)+10455v*gen(14)+4321v*gen(13)+1070v*gen(12)+11168v*gen(11)-14790v*gen(10)-1140v*gen(9)-499v*gen(8)+6580v*gen(7)-12504v*gen(6)-118v*gen(5)+7031v*gen(4)-467v*gen(3)+4068v*gen(2)-6841v*gen(1);
k[9]=x*gen(8)+2x*gen(5)+10x*gen(1)-2y*gen(13)-1295y*gen(8)+10671y*gen(7)+887y*gen(6)-9782y*gen(5)-5335y*gen(4)-14485y*gen(3)+4y*gen(2)-1331y*gen(1)+2z*gen(13)-1291z*gen(12)-5815z*gen(11)-9061z*gen(10)+3885z*gen(9)+5273z*gen(8)-13688z*gen(7)+3320z*gen(6)-3519z*gen(5)-9158z*gen(4)+7916z*gen(3)-4z*gen(2)-1331z*gen(1)+2644u*gen(14)-11060u*gen(12)+11842u*gen(11)+9406u*gen(10)+781u*gen(9)+12741u*gen(8)-12246u*gen(7)+15789u*gen(6)-2189u*gen(5)+6123u*gen(4)+5762u*gen(3)-15421u*gen(2)-1331u*gen(1)-4975v*gen(14)-5636v*gen(12)-6783v*gen(11)+8647v*gen(10)-14633v*gen(9)-8317v*gen(8)-12781v*gen(7)-14701v*gen(6)+6767v*gen(5)-9611v*gen(4)+6470v*gen(3)+15421v*gen(2)-1331v*gen(1);
k[10]=x*gen(9)+4648x*gen(5)-16001x*gen(3)-4128x*gen(2)-2572x*gen(1)+13522y*gen(13)-10148y*gen(8)-6535y*gen(7)-5004y*gen(6)-8816y*gen(5)+145y*gen(4)-6764y*gen(3)+15385y*gen(2)-1492y*gen(1)+12184z*gen(13)+15928z*gen(12)+15053z*gen(11)-13491z*gen(10)+14658z*gen(9)-9035z*gen(8)+11245z*gen(7)+3249z*gen(6)+13290z*gen(5)+7591z*gen(4)+12554z*gen(3)+12490z*gen(2)+11932z*gen(1)+6544u*gen(14)-4181u*gen(13)-11514u*gen(12)-4031u*gen(11)+5970u*gen(10)+11528u*gen(9)-1472u*gen(8)+6556u*gen(7)-2305u*gen(6)-8857u*gen(5)+1574u*gen(4)-5521u*gen(3)+11779u*gen(2)+11932u*gen(1)+9108v*gen(14)+7767v*gen(13)+5271v*gen(12)+4121v*gen(11)+13062v*gen(10)+8449v*gen(9)-5882v*gen(8)+2001v*gen(7)+11727v*gen(6)+6879v*gen(5)+5284v*gen(4)+12178v*gen(3)-15907v*gen(2)+11932v*gen(1);
k[11]=x*gen(10)+11501x*gen(5)-9601x*gen(3)+10117x*gen(2)-12079x*gen(1)+1590y*gen(13)-6804y*gen(8)-5849y*gen(7)+14135y*gen(6)-7902y*gen(5)+15896y*gen(4)+1620y*gen(3)-2001y*gen(2)+5354y*gen(1)+6318z*gen(13)-10411z*gen(12)-8484z*gen(11)-10014z*gen(10)-12473z*gen(9)-9215z*gen(8)-11373z*gen(7)-13118z*gen(6)-9096z*gen(5)-14527z*gen(4)+15245z*gen(3)+12118z*gen(2)-13766z*gen(1)+3184u*gen(14)-5358u*gen(13)-15184u*gen(12)-6719u*gen(11)-8234u*gen(10)-9066u*gen(9)-1662u*gen(8)-14227u*gen(7)-14449u*gen(6)-15781u*gen(5)-3974u*gen(4)+8950u*gen(3)-14226u*gen(2)-13766u*gen(1)+82v*gen(14)+10690v*gen(13)+11678v*gen(12)-7501v*gen(11)-6912v*gen(10)+9600v*gen(9)-9960v*gen(8)+8214v*gen(7)-14226v*gen(6)-4309v*gen(5)-9483v*gen(4)-9020v*gen(3)-7660v*gen(2)-13766v*gen(1);
k[12]=x*gen(11)-11049x*gen(5)+16001x*gen(3)+4128x*gen(2)+2582x*gen(1)-13524y*gen(13)+8091y*gen(8)+6538y*gen(7)-13667y*gen(6)-13057y*gen(5)-146y*gen(4)+4471y*gen(3)-15381y*gen(2)-8269y*gen(1)-12182z*gen(13)+25z*gen(12)-9898z*gen(11)+13018z*gen(10)+12758z*gen(9)+8210z*gen(8)+9933z*gen(7)+9199z*gen(6)-9452z*gen(5)-2179z*gen(4)-8101z*gen(3)-12494z*gen(2)-2492z*gen(1)+10453u*gen(14)+4181u*gen(13)+10764u*gen(12)-5540u*gen(11)+10846u*gen(10)-2647u*gen(9)+10966u*gen(8)+4178u*gen(7)-4370u*gen(6)-8946u*gen(5)-6941u*gen(4)+14639u*gen(3)-951u*gen(2)-2492u*gen(1)-10617v*gen(14)-7767v*gen(13)-3000v*gen(12)+86v*gen(11)+3229v*gen(10)-12605v*gen(9)-11827v*gen(8)+1545v*gen(7)-12883v*gen(6)+3832v*gen(5)-7057v*gen(4)+2325v*gen(3)+5079v*gen(2)-2492v*gen(1);
k[13]=x*gen(12)+6506x*gen(5)-16001x*gen(3)+13421x*gen(2)-3609x*gen(1)-7950y*gen(13)+8035y*gen(8)+7918y*gen(7)+10235y*gen(6)-2246y*gen(5)+11191y*gen(4)+13979y*gen(3)+10017y*gen(2)-4396y*gen(1)+413z*gen(13)-13197z*gen(12)+13511z*gen(11)-8328z*gen(10)-5068z*gen(9)+7766z*gen(8)+5396z*gen(7)+8020z*gen(6)+10177z*gen(5)-13641z*gen(4)+2243z*gen(3)+3404z*gen(2)-4807z*gen(1)-14975u*gen(14)-5212u*gen(13)-14192u*gen(12)-11830u*gen(11)+13004u*gen(10)-10202u*gen(9)+8796u*gen(8)-408u*gen(7)-1374u*gen(6)-12984u*gen(5)+7637u*gen(4)-3933u*gen(3)+13114u*gen(2)-4807u*gen(1)+12372v*gen(14)+10557v*gen(13)-5620v*gen(12)-15828v*gen(11)+9025v*gen(10)-198v*gen(9)-8459v*gen(8)-11601v*gen(7)-10340v*gen(6)+1319v*gen(5)-15324v*gen(4)+14463v*gen(3)+307v*gen(2)-4807v*gen(1);
k[14]=x*gen(13)-7415x*gen(5)+5334x*gen(4)+8001x*gen(3)-9291x*gen(2)+14197x*gen(1)+12027y*gen(13)+12558y*gen(8)-8488y*gen(7)-13479y*gen(6)-12609y*gen(5)+14486y*gen(4)-2977y*gen(3)-327y*gen(2)+8142y*gen(1)+207z*gen(13)-12961z*gen(12)+11980z*gen(11)+13500z*gen(10)+9455z*gen(9)-9608z*gen(8)+15695z*gen(7)+11012z*gen(6)+5253z*gen(5)-10652z*gen(4)+12854z*gen(3)+1697z*gen(2)+2601z*gen(1)+13520u*gen(14)+13396u*gen(13)-1894u*gen(12)-4242u*gen(11)+13150u*gen(10)+1774u*gen(9)-14498u*gen(8)-3757u*gen(7)-15364u*gen(6)-8618u*gen(5)+8262u*gen(4)-11280u*gen(3)-10806u*gen(2)+2601u*gen(1)-5484v*gen(14)+5279v*gen(13)-2379v*gen(12)-4401v*gen(11)+13156v*gen(10)+4395v*gen(9)+11139v*gen(8)-9328v*gen(7)+13947v*gen(6)+6351v*gen(5)-11232v*gen(4)-10262v*gen(3)-9156v*gen(2)+2601v*gen(1);
k[15]=x*gen(14)+2x*gen(5)+1638y*gen(8)-10666y*gen(7)+8448y*gen(6)-12885y*gen(5)+5333y*gen(4)-11814y*gen(3)+2y*gen(2)+10754y*gen(1)-12483z*gen(12)+13379z*gen(11)+3517z*gen(10)+8001z*gen(9)-2081z*gen(8)+11840z*gen(7)+6552z*gen(6)-3529z*gen(5)-5920z*gen(4)-1290z*gen(3)-2z*gen(2)+10754z*gen(1)-8362u*gen(14)-11333u*gen(12)-338u*gen(11)-8511u*gen(10)-11672u*gen(9)+13953u*gen(8)-640u*gen(7)+6569u*gen(6)-10030u*gen(5)+320u*gen(4)-6386u*gen(3)-1114u*gen(2)+10754u*gen(1)-352v*gen(14)+12726v*gen(12)-7220v*gen(11)-1382v*gen(10)-7499v*gen(9)+6399v*gen(8)-10369v*gen(7)-3994v*gen(6)-8899v*gen(5)-10817v*gen(4)+5178v*gen(3)+1114v*gen(2)+10754v*gen(1);
k[16]=yu*gen(6)-12799yu*gen(5)-2yu*gen(1)-15315zu*gen(12)+5598zu*gen(11)+7514zu*gen(10)+4587zu*gen(9)+7333zu*gen(8)-8163zu*gen(7)-2901zu*gen(6)-10184zu*gen(5)-11920zu*gen(4)+14304zu*gen(3)-2zu*gen(1)-8745u2*gen(14)-12599u2*gen(12)+11675u2*gen(11)+3553u2*gen(10)-924u2*gen(9)+10592u2*gen(8)-11988u2*gen(7)+2160u2*gen(6)-14562u2*gen(5)+5994u2*gen(4)-13127u2*gen(3)-10909u2*gen(2)-2u2*gen(1)-yv*gen(6)-12801yv*gen(5)-6401yv*gen(1)-15315zv*gen(12)+5598zv*gen(11)+7514zv*gen(10)+4587zv*gen(9)+7333zv*gen(8)-8163zv*gen(7)-2903zv*gen(6)-10186zv*gen(5)-11920zv*gen(4)+14304zv*gen(3)-6401zv*gen(1)+12800uv*gen(14)+15315uv*gen(12)-5598uv*gen(11)-7514uv*gen(10)-4587uv*gen(9)-7333uv*gen(8)+8163uv*gen(7)+2902uv*gen(6)-9018uv*gen(5)+11920uv*gen(4)-14304uv*gen(3)-6403uv*gen(1)-10458v2*gen(14)-4089v2*gen(12)+14730v2*gen(11)-11067v2*gen(10)-3663v2*gen(9)+14078v2*gen(8)-11852v2*gen(7)+742v2*gen(6)+5544v2*gen(5)+5926v2*gen(4)-1177v2*gen(3)+10909v2*gen(2)-6401v2*gen(1);
k[17]=yu*gen(8)+14yu*gen(7)-6416yu*gen(5)-7yu*gen(4)-16yu*gen(3)+12746yu*gen(1)-711zu*gen(12)-7164zu*gen(11)+15314zu*gen(10)+7989zu*gen(9)+5224zu*gen(8)-5577zu*gen(7)+5128zu*gen(6)-7239zu*gen(5)-13213zu*gen(4)+9445zu*gen(3)-6439zu*gen(1)-263u2*gen(14)-12846u2*gen(12)-13989u2*gen(11)+5468u2*gen(10)+5168u2*gen(9)-9175u2*gen(8)+7411u2*gen(7)-2860u2*gen(6)-1443u2*gen(5)+12296u2*gen(4)-5331u2*gen(3)-9154u2*gen(2)-6439u2*gen(1)+1915yv*gen(8)+14yv*gen(7)-11688yv*gen(6)-11695yv*gen(5)-7yv*gen(4)+6360yv*gen(3)-6367yv*gen(2)-11234yv*gen(1)+628zv*gen(12)-5665zv*gen(11)-15227zv*gen(10)-1665zv*gen(9)+4468zv*gen(8)+5606zv*gen(7)-15590zv*gen(6)-12773zv*gen(5)-2803zv*gen(4)-9600zv*gen(3)+6367zv*gen(2)+7951zv*gen(1)-13202uv*gen(14)-4546uv*gen(12)-5162uv*gen(11)-1194uv*gen(10)-6353uv*gen(9)-1576uv*gen(8)+4545uv*gen(7)-14172uv*gen(6)-10487uv*gen(5)+13729uv*gen(4)+7677uv*gen(3)+5650uv*gen(2)+1512uv*gen(1)+14033v2*gen(14)+4038v2*gen(12)+8006v2*gen(11)+3985v2*gen(10)+11978v2*gen(9)-11930v2*gen(8)+14861v2*gen(7)-11259v2*gen(6)+13049v2*gen(5)+8571v2*gen(4)-12104v2*gen(3)+3504v2*gen(2)+7951v2*gen(1);
k[18]=xu*gen(5)+14790xu*gen(3)+9415xu*gen(2)+1884xu*gen(1)+268yu*gen(13)-2560yu*gen(7)-3630yu*gen(5)-5376yu*gen(4)+460yu*gen(3)+14794yu*gen(2)+11380yu*gen(1)+9413zu*gen(13)+13106zu*gen(12)+3285zu*gen(11)-5718zu*gen(10)-8472zu*gen(9)-12334zu*gen(8)-9609zu*gen(7)+15633zu*gen(6)+2155zu*gen(5)+3863zu*gen(4)+15154zu*gen(3)-5379zu*gen(2)-6485zu*gen(1)+13663u2*gen(14)+12237u2*gen(13)+13346u2*gen(12)-15299u2*gen(11)+9921u2*gen(10)-14660u2*gen(9)-11044u2*gen(8)+6583u2*gen(7)-6549u2*gen(6)+3858u2*gen(5)-1409u2*gen(4)-10025u2*gen(3)-7306u2*gen(2)-6485u2*gen(1)-4845xv*gen(5)+14790xv*gen(3)+9415xv*gen(2)+6730xv*gen(1)+268yv*gen(13)-12480yv*gen(8)+14737yv*gen(7)-7005yv*gen(6)-9847yv*gen(5)+1977yv*gen(4)+45yv*gen(3)-6956yv*gen(2)-15231yv*gen(1)+9413zv*gen(13)-6673zv*gen(12)+11734zv*gen(11)+12141zv*gen(10)-14304zv*gen(9)-5235zv*gen(8)-7075zv*gen(7)-8297zv*gen(6)-1492zv*gen(5)+2596zv*gen(4)+11351zv*gen(3)-15632zv*gen(2)+15811zv*gen(1)-547uv*gen(14)-13109uv*gen(13)+11223uv*gen(12)+6374uv*gen(11)+5477uv*gen(10)-7393uv*gen(9)+5429uv*gen(8)-2821uv*gen(7)+3063uv*gen(6)-15807uv*gen(5)+10319uv*gen(4)-8426uv*gen(3)-9982uv*gen(2)+9326uv*gen(1)-8875v2*gen(14)+6657v2*gen(13)-6782v2*gen(12)-3915v2*gen(11)+4178v2*gen(10)+13229v2*gen(9)+12307v2*gen(8)-15533v2*gen(7)+11561v2*gen(6)-11082v2*gen(5)-1209v2*gen(4)+15599v2*gen(3)+4115v2*gen(2)+15811v2*gen(1);
k[19]=yz*gen(6)-12801yz*gen(1)+9277z2*gen(12)+15535z2*gen(11)-5960z2*gen(10)-8383z2*gen(9)-3278z2*gen(8)+8681z2*gen(7)-5092z2*gen(6)+15250z2*gen(5)+11661z2*gen(4)-1192z2*gen(3)-12801z2*gen(1)-7040yu*gen(13)+528yu*gen(7)+14573yu*gen(5)-12105yu*gen(4)-8272yu*gen(3)+7040yu*gen(2)+5067yu*gen(1)+640zu*gen(13)-11178zu*gen(12)+10797zu*gen(11)+4349zu*gen(10)+7802zu*gen(9)+5948zu*gen(8)+8775zu*gen(7)+10243zu*gen(6)+1215zu*gen(5)+1053zu*gen(4)-12665zu*gen(3)-3464zu*gen(2)+11462zu*gen(1)-1031u2*gen(14)+2451u2*gen(12)+13673u2*gen(11)-9162u2*gen(10)-15879u2*gen(9)+9981u2*gen(8)+5225u2*gen(7)-9948u2*gen(6)-8186u2*gen(5)+13389u2*gen(4)-890u2*gen(3)-3402u2*gen(2)-7740u2*gen(1)-640yv*gen(13)-15485yv*gen(8)-15473yv*gen(7)-14917yv*gen(6)-346yv*gen(5)+2296yv*gen(4)-15694yv*gen(3)+7029yv*gen(2)+7183yv*gen(1)+7040zv*gen(13)+14575zv*gen(12)-2589zv*gen(11)+15335zv*gen(10)+11574zv*gen(9)-708zv*gen(8)+8454zv*gen(7)+629zv*gen(6)+13658zv*gen(5)+7614zv*gen(4)-9607zv*gen(3)-10605zv*gen(2)+7189zv*gen(1)+12991uv*gen(14)-9003uv*gen(12)-13826uv*gen(11)+13033uv*gen(10)-2837uv*gen(9)+10337uv*gen(8)-6450uv*gen(7)+10770uv*gen(6)-14188uv*gen(5)+3225uv*gen(4)+9288uv*gen(3)+9073uv*gen(2)+12250uv*gen(1)-2684v2*gen(14)+11378v2*gen(12)+2995v2*gen(11)-315v2*gen(10)-1195v2*gen(9)-7104v2*gen(8)-12737v2*gen(7)-106v2*gen(6)-15893v2*gen(5)-9633v2*gen(4)+6023v2*gen(3)-5671v2*gen(2)-12013v2*gen(1);
k[20]=yz*gen(7)+16001yz*gen(4)+8077yz*gen(3)-10253yz*gen(2)-15572yz*gen(1)+7074z2*gen(12)+9286z2*gen(11)+10931z2*gen(10)+14073z2*gen(9)+14418z2*gen(8)-7024z2*gen(7)+4805z2*gen(6)+11857z2*gen(5)+3512z2*gen(4)+15543z2*gen(3)+10253z2*gen(2)+13884z2*gen(1)+7031yu*gen(13)-970yu*gen(7)-11381yu*gen(5)-3677yu*gen(4)-8416yu*gen(3)+14408yu*gen(2)+4044yu*gen(1)+9033zu*gen(13)-13715zu*gen(12)-12495zu*gen(11)+9017zu*gen(10)+2906zu*gen(9)-15480zu*gen(8)-2470zu*gen(7)+2611zu*gen(6)-11210zu*gen(5)-13261zu*gen(4)-6960zu*gen(3)-1451zu*gen(2)-8208zu*gen(1)-8358u2*gen(14)+12668u2*gen(12)+12033u2*gen(11)-13263u2*gen(10)-7302u2*gen(9)-8742u2*gen(8)+9799u2*gen(7)-6929u2*gen(6)-82u2*gen(5)+11102u2*gen(4)-14700u2*gen(3)+7790u2*gen(2)+9911u2*gen(1)-9033yv*gen(13)-13994yv*gen(8)+1748yv*gen(7)-7873yv*gen(6)-12064yv*gen(5)+13622yv*gen(4)-5800yv*gen(3)-5147yv*gen(2)-3626yv*gen(1)-7031zv*gen(13)-14987zv*gen(12)-7262zv*gen(11)-2447zv*gen(10)+2987zv*gen(9)+12633zv*gen(8)+9451zv*gen(7)-15427zv*gen(6)-12884zv*gen(5)+15438zv*gen(4)+4225zv*gen(3)-2716zv*gen(2)+6938zv*gen(1)+11372uv*gen(14)-844uv*gen(12)+9933uv*gen(11)+148uv*gen(10)+6251uv*gen(9)-663uv*gen(8)-5870uv*gen(7)+14826uv*gen(6)+8634uv*gen(5)+2935uv*gen(4)-6839uv*gen(3)-2777uv*gen(2)+2965uv*gen(1)+8070v2*gen(14)-11951v2*gen(12)-15214v2*gen(11)+6862v2*gen(10)-7010v2*gen(9)+11256v2*gen(8)-1934v2*gen(7)-10794v2*gen(6)+3624v2*gen(5)+967v2*gen(4)-11169v2*gen(3)-2466v2*gen(2)-6946v2*gen(1);
k[21]=y2*gen(7)-3625y2*gen(6)+307y2*gen(5)+16001y2*gen(4)-184y2*gen(3)+15726y2*gen(2)-10128y2*gen(1)-1705yz*gen(3)+11290yz*gen(2)+7545yz*gen(1)+1867z2*gen(12)-15223z2*gen(11)+13860z2*gen(10)-12851z2*gen(9)+354z2*gen(8)-14279z2*gen(7)+5943z2*gen(6)+1097z2*gen(5)-8862z2*gen(4)+6237z2*gen(3)+9174z2*gen(2)+8752z2*gen(1)+7302yu*gen(13)+8082yu*gen(7)+85yu*gen(5)-2824yu*gen(4)+9831yu*gen(3)+13351yu*gen(2)-15031yu*gen(1)+10393zu*gen(13)-719zu*gen(12)-11366zu*gen(11)-4094zu*gen(10)-9804zu*gen(9)-10628zu*gen(8)-2878zu*gen(7)-12048zu*gen(6)-14783zu*gen(5)+8505zu*gen(4)+9611zu*gen(3)+3289zu*gen(2)+8047zu*gen(1)+13568u2*gen(14)+14183u2*gen(12)-15908u2*gen(11)+4061u2*gen(10)+1752u2*gen(9)-13250u2*gen(8)+13307u2*gen(7)-281u2*gen(6)-13497u2*gen(5)+9348u2*gen(4)-560u2*gen(3)-15472u2*gen(2)-705u2*gen(1)-10393yv*gen(13)-7491yv*gen(8)+9861yv*gen(7)+14211yv*gen(6)-13014yv*gen(5)+4005yv*gen(4)+10459yv*gen(3)-9083yv*gen(2)-7578yv*gen(1)-7302zv*gen(13)-8218zv*gen(12)+8052zv*gen(11)-6649zv*gen(10)-8501zv*gen(9)-13954zv*gen(8)+12065zv*gen(7)+6920zv*gen(6)-10924zv*gen(5)+8752zv*gen(4)-13609zv*gen(3)+3331zv*gen(2)-15978zv*gen(1)+7899uv*gen(14)-6765uv*gen(12)+3967uv*gen(11)+11992uv*gen(10)-13754uv*gen(9)-8192uv*gen(8)+13745uv*gen(7)-3596uv*gen(6)-13132uv*gen(5)+9129uv*gen(4)+3876uv*gen(3)-12918uv*gen(2)+6568uv*gen(1)-14104v2*gen(14)-4015v2*gen(12)-10477v2*gen(11)-12215v2*gen(10)-11045v2*gen(9)+12460v2*gen(8)+7746v2*gen(7)-11267v2*gen(6)-2590v2*gen(5)-3873v2*gen(4)-4689v2*gen(3)-12787v2*gen(2)+7273v2*gen(1);
k[22]=y2*gen(8)+10670y2*gen(6)+10666y2*gen(5)+6y2*gen(3)-16y2*gen(2)+10665y2*gen(1)+8353yz*gen(3)+12765yz*gen(2)-10663yz*gen(1)+639z2*gen(12)+10901z2*gen(11)+1501z2*gen(10)-411z2*gen(9)-2541z2*gen(8)+487z2*gen(7)+1088z2*gen(6)+6113z2*gen(5)+15758z2*gen(4)+6549z2*gen(3)-12877z2*gen(2)-2138z2*gen(1)+4106yu*gen(13)+14282yu*gen(7)-7001yu*gen(5)+4211yu*gen(4)+10249yu*gen(3)+7066yu*gen(2)+10443yu*gen(1)-10192zu*gen(13)-13779zu*gen(12)+7686zu*gen(11)-2498zu*gen(10)-4385zu*gen(9)+13594zu*gen(8)-15150zu*gen(7)+12397zu*gen(6)+5982zu*gen(5)-15459zu*gen(4)-4764zu*gen(3)-4607zu*gen(2)-6718zu*gen(1)+13227u2*gen(14)+5944u2*gen(12)-8420u2*gen(11)-14395u2*gen(10)-2460u2*gen(9)-9119u2*gen(8)-15985u2*gen(7)-3490u2*gen(6)-13044u2*gen(5)-8009u2*gen(4)+10796u2*gen(3)-6246u2*gen(2)-4580u2*gen(1)+10192yv*gen(13)+4872yv*gen(8)+9227yv*gen(7)-1508yv*gen(6)-12322yv*gen(5)+2419yv*gen(4)-15342yv*gen(3)+11543yv*gen(2)-600yv*gen(1)-4106zv*gen(13)+430zv*gen(12)-14480zv*gen(11)+1968zv*gen(10)+8684zv*gen(9)+6449zv*gen(8)-11686zv*gen(7)+15405zv*gen(6)+12367zv*gen(5)-5509zv*gen(4)-13779zv*gen(3)+11592zv*gen(2)+3768zv*gen(1)+10024uv*gen(14)-2281uv*gen(12)-9298uv*gen(11)-15939uv*gen(10)+13254uv*gen(9)-938uv*gen(8)-331uv*gen(7)-15641uv*gen(6)+2532uv*gen(5)-15836uv*gen(4)-4554uv*gen(3)-3417uv*gen(2)+1326uv*gen(1)-15236v2*gen(14)+12743v2*gen(12)+14157v2*gen(11)-5944v2*gen(10)-3342v2*gen(9)-13803v2*gen(8)-8200v2*gen(7)+9038v2*gen(6)+10573v2*gen(5)+4100v2*gen(4)+11610v2*gen(3)-9463v2*gen(2)+5906v2*gen(1);
k[23]=y2*gen(13)+7995y2*gen(6)+62y2*gen(5)+5334y2*gen(4)+13717y2*gen(3)+4569y2*gen(2)-9131y2*gen(1)-8946xz*gen(2)+15149xz*gen(1)-4304yz*gen(13)-6365yz*gen(4)-11571yz*gen(3)+14357yz*gen(2)+11554yz*gen(1)-7742z2*gen(13)-5597z2*gen(12)-15340z2*gen(11)-14361z2*gen(10)-1458z2*gen(9)+15008z2*gen(8)+4239z2*gen(7)-8707z2*gen(6)+271z2*gen(5)-7625z2*gen(4)-5701z2*gen(3)+8680z2*gen(2)-9902z2*gen(1)+675xu*gen(3)+10666xu*gen(1)+2380yu*gen(13)-5796yu*gen(7)+9338yu*gen(5)+3103yu*gen(4)+12982yu*gen(3)+12237yu*gen(2)-7373yu*gen(1)+6342zu*gen(13)-4793zu*gen(12)-5700zu*gen(11)-14605zu*gen(10)-1411zu*gen(9)-3677zu*gen(8)-12311zu*gen(7)-321zu*gen(6)-1390zu*gen(5)-10924zu*gen(4)+4729zu*gen(3)-9122zu*gen(2)+1971zu*gen(1)+11485u2*gen(14)-15717u2*gen(13)+2234u2*gen(12)-3803u2*gen(11)+15885u2*gen(10)+2005u2*gen(9)-6105u2*gen(8)+5418u2*gen(7)+11719u2*gen(6)-2152u2*gen(5)+10673u2*gen(4)+11891u2*gen(3)+2929u2*gen(2)+11873u2*gen(1)-11261xv*gen(5)+6674xv*gen(3)+14284xv*gen(2)-14252xv*gen(1)+9699yv*gen(13)-9823yv*gen(8)-4707yv*gen(7)-8006yv*gen(6)+12665yv*gen(5)+14113yv*gen(4)-13991yv*gen(3)-11814yv*gen(2)+1665yv*gen(1)+7790zv*gen(13)-3396zv*gen(12)-2861zv*gen(11)+13613zv*gen(10)-12259zv*gen(9)-5018zv*gen(8)-11382zv*gen(7)+5095zv*gen(6)+4523zv*gen(5)-9959zv*gen(4)-968zv*gen(3)+14496zv*gen(2)-8189zv*gen(1)+10572uv*gen(14)+905uv*gen(13)+1539uv*gen(12)-15717uv*gen(11)+2714uv*gen(10)+813uv*gen(9)+10810uv*gen(8)-7380uv*gen(7)-14566uv*gen(6)-7532uv*gen(5)-14206uv*gen(4)+4273uv*gen(3)-15862uv*gen(2)+13586uv*gen(1)-5462v2*gen(14)+3426v2*gen(13)+6354v2*gen(12)+13433v2*gen(11)-13083v2*gen(10)+9239v2*gen(9)+8917v2*gen(8)+9024v2*gen(7)+462v2*gen(6)+5067v2*gen(5)-8940v2*gen(4)+3755v2*gen(3)-11400v2*gen(2)+1713v2*gen(1);
k[24]=xy*gen(2)-11200xy*gen(1)-7600y2*gen(6)-10084y2*gen(5)-6534y2*gen(4)+13441y2*gen(3)+12163y2*gen(2)-6401y2*gen(1)+4303xz*gen(2)-8807xz*gen(1)+472yz*gen(13)-14288yz*gen(4)-5438yz*gen(3)+9657yz*gen(2)+1524yz*gen(1)+8886z2*gen(13)+4091z2*gen(12)+6170z2*gen(11)+15426z2*gen(10)+2468z2*gen(9)-6827z2*gen(8)+10101z2*gen(7)+3529z2*gen(6)+8675z2*gen(5)-2840z2*gen(4)-12324z2*gen(3)+9383z2*gen(2)+11119z2*gen(1)+10001xu*gen(3)+5335xu*gen(1)-14582yu*gen(13)-15918yu*gen(7)+15326yu*gen(5)+14963yu*gen(4)-4431yu*gen(3)+3599yu*gen(2)+2281yu*gen(1)-2846zu*gen(13)+1485zu*gen(12)-12114zu*gen(11)-4227zu*gen(10)-13104zu*gen(9)+1686zu*gen(8)-6086zu*gen(7)-9930zu*gen(6)+434zu*gen(5)-14314zu*gen(4)+4015zu*gen(3)+7561zu*gen(2)-9883zu*gen(1)-10251u2*gen(14)+15882u2*gen(13)-1353u2*gen(12)-8210u2*gen(11)+7142u2*gen(10)-984u2*gen(9)-13752u2*gen(8)-8804u2*gen(7)-4769u2*gen(6)+7658u2*gen(5)+7049u2*gen(4)+11224u2*gen(3)+5806u2*gen(2)+11001u2*gen(1)-2014xv*gen(5)-3251xv*gen(3)-11634xv*gen(2)+693xv*gen(1)-487yv*gen(13)+8868yv*gen(8)+5130yv*gen(7)-14467yv*gen(6)+11627yv*gen(5)+11230yv*gen(4)+8412yv*gen(3)+8523yv*gen(2)-6429yv*gen(1)+13042zv*gen(13)+7279zv*gen(12)+8475zv*gen(11)-11929zv*gen(10)-4087zv*gen(9)+6420zv*gen(8)+871zv*gen(7)-10465zv*gen(6)-6267zv*gen(5)-3911zv*gen(4)-5084zv*gen(3)+2971zv*gen(2)-11392zv*gen(1)+12568uv*gen(14)+4192uv*gen(13)+1436uv*gen(12)-4563uv*gen(11)+7896uv*gen(10)+3823uv*gen(9)+15992uv*gen(8)+4783uv*gen(7)-7966uv*gen(6)+81uv*gen(5)-721uv*gen(4)-4700uv*gen(3)-7444uv*gen(2)-11510uv*gen(1)-1206v2*gen(14)+14553v2*gen(13)+8173v2*gen(12)-6193v2*gen(11)+15270v2*gen(10)+4959v2*gen(9)+4656v2*gen(8)+6774v2*gen(7)-1547v2*gen(6)-1646v2*gen(5)+658v2*gen(4)+12172v2*gen(3)+8186v2*gen(2)+9492v2*gen(1);
k[25]=xy*gen(3)-3835y2*gen(6)+1634y2*gen(5)+10134y2*gen(4)+10881y2*gen(3)-7678y2*gen(2)+7671y2*gen(1)+11702xz*gen(2)+4832xz*gen(1)+1044yz*gen(13)+12609yz*gen(4)+1815yz*gen(3)-8132yz*gen(2)-14448yz*gen(1)-4006z2*gen(13)-2961z2*gen(12)-15833z2*gen(11)-1067z2*gen(10)+8731z2*gen(9)+13665z2*gen(8)-13579z2*gen(7)-5173z2*gen(6)-10127z2*gen(5)+6260z2*gen(4)+14152z2*gen(3)-14699z2*gen(2)+2628z2*gen(1)-8273xu*gen(3)-2131xu*gen(1)+3639yu*gen(13)+5452yu*gen(7)-14235yu*gen(5)-1375yu*gen(4)+8704yu*gen(3)-7711yu*gen(2)+1261yu*gen(1)-9986zu*gen(13)+12628zu*gen(12)+11641zu*gen(11)+3239zu*gen(10)-7816zu*gen(9)+1570zu*gen(8)+13939zu*gen(7)+11687zu*gen(6)-4556zu*gen(5)-3247zu*gen(4)+1631zu*gen(3)-12708zu*gen(2)+8836zu*gen(1)-12832u2*gen(14)+12527u2*gen(13)+2705u2*gen(12)-15638u2*gen(11)-1225u2*gen(10)+10608u2*gen(9)+3565u2*gen(8)-4874u2*gen(7)+7023u2*gen(6)+11244u2*gen(5)-809u2*gen(4)-13409u2*gen(3)-1699u2*gen(2)+6208u2*gen(1)+1634xv*gen(5)-8273xv*gen(3)+9636xv*gen(2)+10940xv*gen(1)+2126yv*gen(13)-5428yv*gen(8)+10765yv*gen(7)+9509yv*gen(6)+11508yv*gen(5)+608yv*gen(4)-43yv*gen(3)+7790yv*gen(2)+14555yv*gen(1)+7298zv*gen(13)-7539zv*gen(12)-2423zv*gen(11)-135zv*gen(10)+12357zv*gen(9)+5981zv*gen(8)+15569zv*gen(7)+14310zv*gen(6)+6436zv*gen(5)-9211zv*gen(4)-6134zv*gen(3)+14681zv*gen(2)-12314zv*gen(1)-8861uv*gen(14)-4633uv*gen(13)+6672uv*gen(12)+13016uv*gen(11)-8871uv*gen(10)-15372uv*gen(9)-13688uv*gen(8)-4426uv*gen(7)-467uv*gen(6)+5156uv*gen(5)-14143uv*gen(4)-12312uv*gen(3)-5045uv*gen(2)-8734uv*gen(1)-5181v2*gen(14)+8455v2*gen(13)-15885v2*gen(12)-8409v2*gen(11)+3224v2*gen(10)+5750v2*gen(9)-7871v2*gen(8)+125v2*gen(7)-4855v2*gen(6)-9918v2*gen(5)+847v2*gen(4)+11871v2*gen(3)+13117v2*gen(2)-14942v2*gen(1);
k[26]=x2*gen(1)+8001xy*gen(4)+2xy*gen(1)-2633y2*gen(6)+9098y2*gen(5)-12001y2*gen(4)-229y2*gen(3)+3660y2*gen(2)-15381y2*gen(1)+8001xz*gen(4)+2xz*gen(1)+8001yz*gen(4)+11476yz*gen(3)-4072yz*gen(2)-15230yz*gen(1)+3115z2*gen(12)-15621z2*gen(11)+12778z2*gen(10)+6592z2*gen(9)-12837z2*gen(8)-8693z2*gen(7)+13315z2*gen(6)+11208z2*gen(5)+8347z2*gen(4)-11269z2*gen(3)-2303z2*gen(2)+15208z2*gen(1)-1958xu*gen(3)-2132xu*gen(1)+5893yu*gen(13)+1166yu*gen(7)+3032yu*gen(5)+8688yu*gen(4)+2425yu*gen(3)-14683yu*gen(2)-15993yu*gen(1)+14478zu*gen(13)-6393zu*gen(12)-14625zu*gen(11)+11633zu*gen(10)-13763zu*gen(9)-1120zu*gen(8)+5512zu*gen(7)-6580zu*gen(6)+9723zu*gen(5)-11966zu*gen(4)+1666zu*gen(3)+13652zu*gen(2)+13204zu*gen(1)-14851u2*gen(14)+3018u2*gen(13)-8917u2*gen(12)+5211u2*gen(11)+6270u2*gen(10)-5859u2*gen(9)-11020u2*gen(8)-5766u2*gen(7)-9284u2*gen(6)-14835u2*gen(5)+3386u2*gen(4)-4133u2*gen(3)-11873u2*gen(2)-2003u2*gen(1)+4051xv*gen(5)-1958xv*gen(3)+14559xv*gen(1)-12520yv*gen(13)-5468yv*gen(8)+2369yv*gen(7)+10817yv*gen(6)+11480yv*gen(5)+15537yv*gen(4)+1280yv*gen(3)-13669yv*gen(2)-14238yv*gen(1)-3935zv*gen(13)-144zv*gen(12)+1399zv*gen(11)+6043zv*gen(10)-13785zv*gen(9)-1462zv*gen(8)-7598zv*gen(7)-3490zv*gen(6)-2401zv*gen(5)-13962zv*gen(4)-3452zv*gen(3)-8088zv*gen(2)+10919zv*gen(1)+10025uv*gen(14)-10482uv*gen(13)-12803uv*gen(12)+9382uv*gen(11)-8885uv*gen(10)+9103uv*gen(9)-7943uv*gen(8)+11734uv*gen(7)-367uv*gen(6)-14674uv*gen(5)+1889uv*gen(4)-9978uv*gen(3)-8433uv*gen(2)-6292uv*gen(1)+48v2*gen(14)-13500v2*gen(13)-1480v2*gen(12)+1117v2*gen(11)+2430v2*gen(10)+4212v2*gen(9)-13991v2*gen(8)+5746v2*gen(7)-3299v2*gen(6)-10197v2*gen(5)+4380v2*gen(4)-80v2*gen(3)-9396v2*gen(2)-4288v2*gen(1);
k[27]=x2*gen(2)-3734xy*gen(4)-3736xy*gen(1)+6751y2*gen(6)-14820y2*gen(5)+4667y2*gen(4)-3688y2*gen(3)+13136y2*gen(2)-4175y2*gen(1)-4802xz*gen(4)-4302xz*gen(2)-10401xz*gen(1)-472yz*gen(13)+10020yz*gen(4)+13933yz*gen(3)+3015yz*gen(2)+1493yz*gen(1)-8886z2*gen(13)-10544z2*gen(12)-9224z2*gen(11)+14911z2*gen(10)-11945z2*gen(9)+14556z2*gen(8)+13104z2*gen(7)+14383z2*gen(6)-15902z2*gen(5)+4838z2*gen(4)-15460z2*gen(3)-2827z2*gen(2)-15374z2*gen(1)-1867xu*gen(4)-1946xu*gen(3)+630xu*gen(2)+6689xu*gen(1)+1877yu*gen(13)+6321yu*gen(7)-15993yu*gen(5)+15045yu*gen(4)+13188yu*gen(3)+9858yu*gen(2)-13222yu*gen(1)-10656zu*gen(13)-6266zu*gen(12)-14840zu*gen(11)+4849zu*gen(10)+5331zu*gen(9)-5578zu*gen(8)+13381zu*gen(7)-13314zu*gen(6)-1207zu*gen(5)-10601zu*gen(4)+9049zu*gen(3)+1740zu*gen(2)+14769zu*gen(1)-15646u2*gen(14)-9323u2*gen(13)-15602u2*gen(12)+6153u2*gen(11)-9650u2*gen(10)+9904u2*gen(9)-14525u2*gen(8)+1364u2*gen(7)+3061u2*gen(6)+14575u2*gen(5)-2202u2*gen(4)+12840u2*gen(3)-15752u2*gen(2)+9340u2*gen(1)-5828xv*gen(5)-3200xv*gen(4)+11306xv*gen(3)+12264xv*gen(2)+7347xv*gen(1)-13771yv*gen(13)-6626yv*gen(8)+7265yv*gen(7)+10912yv*gen(6)+8152yv*gen(5)+15901yv*gen(4)+8377yv*gen(3)-7676yv*gen(2)+15342yv*gen(1)+3906zv*gen(13)-13706zv*gen(12)-14627zv*gen(11)+10554zv*gen(10)-2474zv*gen(9)+5098zv*gen(8)+3358zv*gen(7)+10238zv*gen(6)+7452zv*gen(5)-11352zv*gen(4)+11911zv*gen(3)-8392zv*gen(2)+14089zv*gen(1)+3385uv*gen(14)-12018uv*gen(13)-3593uv*gen(12)-14963uv*gen(11)+12852uv*gen(10)-10122uv*gen(9)-11141uv*gen(8)-2610uv*gen(7)-12953uv*gen(6)-3698uv*gen(5)-8622uv*gen(4)-12915uv*gen(3)-9916uv*gen(2)+6800uv*gen(1)-6248v2*gen(14)+3065v2*gen(13)+13221v2*gen(12)+71v2*gen(11)-1342v2*gen(10)-14620v2*gen(9)-925v2*gen(8)-2855v2*gen(7)+10419v2*gen(6)-13298v2*gen(5)-12001v2*gen(4)+2475v2*gen(3)+4223v2*gen(2)+8660v2*gen(1);
k[28]=x2*gen(3)+10134xy*gen(4)+8533xy*gen(1)+11938y2*gen(6)+9645y2*gen(5)-5067y2*gen(4)+10225y2*gen(3)+673y2*gen(2)+13185y2*gen(1)-9603xz*gen(4)-2409xz*gen(2)+12918xz*gen(1)+4530yz*gen(13)+15685yz*gen(4)+14209yz*gen(3)-15985yz*gen(2)+628yz*gen(1)-15402z2*gen(13)-1153z2*gen(12)-16001z2*gen(11)+430z2*gen(10)-10140z2*gen(9)+3160z2*gen(8)+10127z2*gen(7)+9749z2*gen(6)-9805z2*gen(5)+8937z2*gen(4)-4440z2*gen(3)-9422z2*gen(2)-5974z2*gen(1)-804xu*gen(3)+12590xu*gen(1)+5853yu*gen(13)-8501yu*gen(7)-7885yu*gen(5)-11934yu*gen(4)-14423yu*gen(3)-3842yu*gen(2)+12829yu*gen(1)+507zu*gen(13)+6827zu*gen(12)+5515zu*gen(11)-4535zu*gen(10)+1393zu*gen(9)-13025zu*gen(8)+7680zu*gen(7)+2092zu*gen(6)+10250zu*gen(5)-6802zu*gen(4)+3970zu*gen(3)-15252zu*gen(2)+9473zu*gen(1)+9523u2*gen(14)+13103u2*gen(13)-3799u2*gen(12)-3831u2*gen(11)-6040u2*gen(10)-14551u2*gen(9)+2138u2*gen(8)+15398u2*gen(7)+14497u2*gen(6)+8456u2*gen(5)-10849u2*gen(4)-8785u2*gen(3)-14243u2*gen(2)+15447u2*gen(1)-2876xv*gen(5)-8001xv*gen(4)+7197xv*gen(3)+13076xv*gen(2)-1502xv*gen(1)-12938yv*gen(13)+13935yv*gen(8)+12784yv*gen(7)+15329yv*gen(6)-5599yv*gen(5)-15289yv*gen(4)+15920yv*gen(3)+10140yv*gen(2)+8552yv*gen(1)+10818zv*gen(13)+10283zv*gen(12)-2077zv*gen(11)-1034zv*gen(10)+8629zv*gen(9)-9069zv*gen(8)-12823zv*gen(7)+1623zv*gen(6)-2044zv*gen(5)+12357zv*gen(4)-7270zv*gen(3)-11776zv*gen(2)-12981zv*gen(1)+13838uv*gen(14)+4342uv*gen(13)-8509uv*gen(12)+4572uv*gen(11)+2975uv*gen(10)+3727uv*gen(9)-2587uv*gen(8)-1215uv*gen(7)-11525uv*gen(6)+12489uv*gen(5)+7544uv*gen(4)+4106uv*gen(3)-7700uv*gen(2)+8440uv*gen(1)+334v2*gen(14)-10490v2*gen(13)-3691v2*gen(12)-8959v2*gen(11)+4022v2*gen(10)-12463v2*gen(9)-14917v2*gen(8)+2985v2*gen(7)-11229v2*gen(6)+12257v2*gen(5)+4298v2*gen(4)+7497v2*gen(3)+2085v2*gen(2)-7007v2*gen(1);
k[29]=x2*gen(5)+8001xy*gen(4)+2xy*gen(1)+8569y2*gen(6)+4755y2*gen(5)-12001y2*gen(4)-1143y2*gen(3)-13715y2*gen(2)-12640y2*gen(1)+8001xz*gen(4)+2xz*gen(1)+8001yz*gen(4)-10396yz*gen(3)-8213yz*gen(2)-13877yz*gen(1)-7409z2*gen(12)+9187z2*gen(11)-5343z2*gen(10)-7893z2*gen(9)-9267z2*gen(8)-2545z2*gen(7)-15999z2*gen(6)+399z2*gen(5)+5273z2*gen(4)+6239z2*gen(3)+8217z2*gen(2)-2164z2*gen(1)+8001xu*gen(4)-2964xu*gen(3)+13173xu*gen(2)-5902xu*gen(1)-4621yu*gen(13)+2609yu*gen(7)-14610yu*gen(5)-7949yu*gen(4)+8828yu*gen(3)+12218yu*gen(2)-4103yu*gen(1)+7477zu*gen(13)+6544zu*gen(12)+9342zu*gen(11)-2386zu*gen(10)+9688zu*gen(9)+48zu*gen(8)-10037zu*gen(7)+13685zu*gen(6)-11819zu*gen(5)-9405zu*gen(4)+2600zu*gen(3)+6390zu*gen(2)-8884zu*gen(1)+7386u2*gen(14)+11027u2*gen(13)+13176u2*gen(12)-14496u2*gen(11)+3988u2*gen(10)-448u2*gen(9)-14521u2*gen(8)-3040u2*gen(7)+10117u2*gen(6)-12674u2*gen(5)-13663u2*gen(4)-14949u2*gen(3)-351u2*gen(2)-6719u2*gen(1)-3173xv*gen(5)+8001xv*gen(4)-2964xv*gen(3)+13173xv*gen(2)-1186xv*gen(1)+10551yv*gen(13)-15965yv*gen(8)-9630yv*gen(7)+5137yv*gen(6)+14882yv*gen(5)+9085yv*gen(4)+13441yv*gen(3)+6719yv*gen(2)-418yv*gen(1)-9354zv*gen(13)+7208zv*gen(12)-1935zv*gen(11)-7490zv*gen(10)-416zv*gen(9)+8382zv*gen(8)-11606zv*gen(7)-3083zv*gen(6)+10741zv*gen(5)+2294zv*gen(4)+5028zv*gen(3)+7440zv*gen(2)+14527zv*gen(1)-2548uv*gen(14)-6609uv*gen(13)-4883uv*gen(12)+10753uv*gen(11)+11893uv*gen(10)-9307uv*gen(9)+4504uv*gen(8)+9483uv*gen(7)-7414uv*gen(6)+15030uv*gen(5)+4771uv*gen(4)-2572uv*gen(3)-1640uv*gen(2)+9972uv*gen(1)-12199v2*gen(14)+14367v2*gen(13)-8585v2*gen(12)+2273v2*gen(11)-8099v2*gen(10)+15996v2*gen(9)-10240v2*gen(8)+6096v2*gen(7)-4953v2*gen(6)+6396v2*gen(5)+5646v2*gen(4)-11229v2*gen(3)-11891v2*gen(2)-15311v2*gen(1);
ideal j=modulo(g,k);
std(j);
tst_status(1);$