aboutsummaryrefslogtreecommitdiff
path: root/src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dz.compute.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dz.compute.c')
-rw-r--r--src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dz.compute.c4775
1 files changed, 2052 insertions, 2723 deletions
diff --git a/src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dz.compute.c b/src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dz.compute.c
index 6bb660c..9625480 100644
--- a/src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dz.compute.c
+++ b/src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dz.compute.c
@@ -1,2737 +1,2066 @@
-fp t17016;
-fp t17015;
-fp t17141;
-fp t17145;
-fp t18084;
-fp t18083;
-fp t17139;
-fp t17146;
-fp t17551;
-fp t17605;
-fp t18082;
-fp t17579;
-fp t17568;
-fp t18081;
-fp t17140;
-fp t17144;
-fp t17582;
-fp t17295;
-fp t17457;
-fp t17266;
-fp t18080;
-fp t17080;
-fp t17493;
-fp t17529;
-fp t17111;
-fp t17278;
-fp t18079;
-fp t17062;
-fp t17631;
-fp t17143;
-fp t17580;
-fp t17061;
-fp t17270;
-fp t18078;
-fp t17550;
-fp t17413;
-fp t17142;
-fp t17524;
-fp t17320;
-fp t18033;
-fp t17020;
-fp t17013;
-fp t18077;
-fp t17014;
-fp t17548;
-fp t17483;
-fp t17017;
-fp t17635;
-fp t17448;
-fp t18076;
-fp t17464;
-fp t17627;
-fp t17540;
-fp t17478;
-fp t18075;
-fp t17617;
-fp t17646;
-fp t17482;
-fp t18074;
-fp t17648;
-fp t18073;
-fp t18072;
-fp t18071;
-fp t17117;
-fp t17009;
-fp t17071;
-fp t17531;
-fp t18013;
-fp t17645;
-fp t17053;
-fp t16949;
-fp t17060;
-fp t18070;
-fp t17492;
-fp t17447;
-fp t16503;
-fp t18069;
-fp t17133;
-fp t17125;
-fp t17497;
-fp t18068;
-fp t17059;
-fp t17474;
-fp t17538;
-fp t18067;
-fp t17284;
-fp t17505;
-fp t17351;
-fp t18066;
-fp t17055;
-fp t17088;
-fp t17444;
-fp t18065;
-fp t17070;
-fp t17636;
-fp t17087;
-fp t17527;
-fp t18064;
-fp t18063;
-fp t17084;
-fp t17067;
-fp t17473;
-fp t18062;
-fp t17072;
-fp t17589;
-fp t16709;
-fp t17104;
-fp t17556;
-fp t16714;
-fp t18061;
-fp t16493;
-fp t18060;
-fp t16960;
-fp t16610;
-fp t18059;
-fp t17127;
-fp t17138;
-fp t18058;
-fp t17028;
-fp t17534;
-fp t16646;
-fp t17029;
-fp t17504;
-fp t18057;
-fp t16993;
-fp t17073;
-fp t17459;
-fp t18056;
-fp t17103;
-fp t16991;
-fp t17118;
-fp t18055;
-fp t17519;
-fp t16804;
-fp t18054;
-fp t17075;
-fp t16832;
-fp t17039;
-fp t17541;
-fp t16639;
-fp t18053;
-fp t16970;
-fp t17095;
-fp t17535;
-fp t18052;
-fp t17123;
-fp t17566;
-fp t18051;
-fp t17077;
-fp t17570;
-fp t17465;
-fp t17302;
-fp t18050;
-fp t17100;
-fp t17136;
-fp t17552;
-fp t18049;
-fp t16963;
-fp t17064;
-fp t18048;
-fp t18047;
-fp t17637;
-fp t18046;
-fp t17615;
-fp t17078;
-fp t17555;
-fp t18045;
-fp t17099;
-fp t17567;
-fp t17091;
-fp t16739;
-fp t18044;
-fp t18043;
-fp t16488;
-fp t18042;
-fp t16996;
-fp t17079;
-fp t17495;
-fp t17998;
-fp t17051;
-fp t17453;
-fp t17049;
-fp t17307;
-fp t18041;
-fp t17449;
-fp t17076;
-fp t17629;
-fp t18040;
-fp t17409;
-fp t17626;
-fp t17613;
-fp t18039;
-fp t16987;
-fp t17092;
-fp t17487;
-fp t18038;
-fp t17559;
-fp t17600;
-fp t18037;
-fp t18036;
-fp t17137;
-fp t18035;
-fp t17030;
-fp t17553;
-fp t17063;
-fp t17494;
-fp t16589;
-fp t18034;
-fp t17641;
-fp t18032;
-fp t17581;
-fp t18031;
-fp t18030;
-fp t17643;
-fp t17561;
-fp t18029;
-fp t17041;
-fp t17360;
-fp t18028;
-fp t17446;
-fp t16582;
-fp t18027;
-fp t16509;
-fp t18026;
-fp t17573;
-fp t16938;
-fp t18025;
-fp t16981;
-fp t16831;
-fp t18024;
-fp t17466;
-fp t17633;
-fp t18023;
-fp t17458;
-fp t18022;
-fp t17558;
-fp t17539;
-fp t18021;
-fp t17442;
-fp t16738;
-fp t17031;
-fp t17622;
-fp t17379;
-fp t18020;
-fp t17472;
-fp t17578;
-fp t18019;
-fp t16735;
-fp t17101;
-fp t17445;
-fp t17089;
-fp t17343;
-fp t18018;
-fp t17024;
-fp t16479;
-fp t18017;
-fp t17549;
-fp t18016;
-fp t17058;
-fp t16560;
-fp t17590;
-fp t18015;
-fp t17057;
-fp t16598;
-fp t18014;
-fp t18012;
-fp t16636;
-fp t17475;
-fp t17418;
-fp t18011;
-fp t17364;
-fp t16608;
-fp t18010;
-fp t17043;
-fp t17575;
-fp t16633;
-fp t17507;
-fp t17408;
-fp t18009;
-fp t17271;
-fp t17027;
-fp t17634;
-fp t16526;
-fp t18008;
-fp t17517;
-fp t17263;
-fp t17056;
-fp t17523;
-fp t16627;
-fp t17083;
-fp t17533;
-fp t16836;
-fp t17490;
-fp t17314;
-fp t17604;
-fp t18007;
-fp t16623;
-fp t17592;
-fp t17318;
-fp t18006;
-fp t16597;
-fp t17638;
-fp t17422;
-fp t18005;
-fp t16571;
-fp t17419;
-fp t18004;
-fp t16532;
-fp t18003;
-fp t17516;
-fp t18002;
-fp t16570;
-fp t18001;
-fp t17632;
-fp t16824;
-fp t18000;
-fp t17999;
-fp t17131;
-fp t17134;
-fp t17997;
-fp t16628;
-fp t17476;
-fp t17427;
-fp t17996;
-fp t17995;
-fp t17616;
-fp t16613;
-fp t17994;
-fp t17485;
-fp t17993;
-fp t16957;
-fp t16523;
-fp t17992;
-fp t17102;
-fp t17116;
-fp t17991;
-fp t17397;
-fp t17038;
-fp t16632;
-fp t17990;
-fp t16951;
-fp t17376;
-fp t17500;
-fp t17989;
-fp t17583;
-fp t16642;
-fp t17988;
-fp t17609;
-fp t16826;
-fp t17628;
-fp t16777;
-fp t17987;
-fp t17644;
-fp t16759;
-fp t17331;
-fp t17986;
-fp t16790;
-fp t17611;
-fp t17366;
-fp t17985;
-fp t17515;
-fp t17456;
-fp t17984;
-fp t17546;
-fp t17279;
-fp t17983;
-fp t16818;
-fp t17652;
-fp t17496;
-fp t17982;
-fp t17440;
-fp t17981;
-fp t17324;
-fp t17489;
-fp t17980;
-fp t17509;
-fp t16573;
-fp t17557;
-fp t16563;
-fp t17290;
-fp t17394;
-fp t17979;
-fp t17455;
-fp t17375;
-fp t17978;
-fp t16586;
-fp t17436;
-fp t16593;
-fp t17521;
-fp t17258;
-fp t17977;
-fp t17976;
-fp t17569;
-fp t16554;
-fp t17940;
-fp t16674;
-fp t17435;
-fp t17649;
-fp t16756;
-fp t17939;
-fp t17536;
-fp t16574;
-fp t17935;
-fp t17853;
-fp t17975;
-fp t17451;
-fp t16781;
-fp t17514;
-fp t17283;
-fp t17974;
-fp t16556;
-fp t17378;
-fp t16858;
-fp t17296;
-fp t17866;
-fp t17498;
-fp t17431;
-fp t17973;
-fp t17393;
-fp t17330;
-fp t17565;
-fp t16780;
-fp t16948;
-fp t17342;
-fp t17869;
-fp t16620;
-fp t17972;
-fp t17461;
-fp t16798;
-fp t17587;
-fp t16631;
-fp t17310;
-fp t17861;
-fp t16629;
-fp t17411;
-fp t17971;
-fp t17513;
-fp t17970;
-fp t17404;
-fp t17506;
-fp t16649;
-fp t17289;
-fp t17264;
-fp t17335;
-fp t17854;
-fp t17969;
-fp t17968;
-fp t16652;
-fp t17522;
-fp t16625;
-fp t17434;
-fp t17879;
-fp t17967;
-fp t16640;
-fp t17433;
-fp t17334;
-fp t17370;
-fp t17851;
-fp t17966;
-fp t16525;
-fp t17326;
-fp t17406;
-fp t16577;
-fp t17926;
-fp t16775;
-fp t16551;
-fp t17943;
-fp t17868;
-fp t16592;
-fp t17374;
-fp t17880;
-fp t17221;
-fp t17965;
-fp t17357;
-fp t17349;
-fp t17428;
-fp t17964;
-fp t17012;
-fp t17963;
-fp t17396;
-fp t17510;
-fp t17341;
-fp t17322;
-fp t17962;
-fp t17361;
-fp t16603;
-fp t17333;
-fp t17961;
-fp t17960;
-fp t17654;
-fp t17959;
-fp t17260;
-fp t16557;
-fp t17958;
-fp t17614;
-fp t17957;
-fp t17308;
-fp t17439;
-fp t17956;
-fp t17955;
-fp t17025;
-fp t17316;
-fp t17365;
-fp t17021;
-fp t17317;
-fp t17954;
-fp t17953;
-fp t17348;
-fp t17952;
-fp t17484;
-fp t17344;
-fp t17951;
-fp t17950;
-fp t17259;
-fp t17110;
-fp t17403;
-fp t17949;
-fp t16638;
-fp t17948;
-fp t17438;
-fp t17947;
-fp t17410;
-fp t17945;
-fp t17105;
-fp t17625;
-fp t17395;
-fp t17944;
-fp t17023;
-fp t17450;
-fp t16470;
-fp t17265;
-fp t17942;
-fp t17416;
-fp t17941;
-fp t17938;
-fp t17093;
-fp t17128;
-fp t17937;
-fp t17285;
-fp t16527;
-fp t17936;
-fp t16504;
-fp t17363;
-fp t17934;
-fp t17022;
-fp t17544;
-fp t16477;
-fp t17933;
-fp t16495;
-fp t17932;
-fp t16672;
-fp t17108;
-fp t17362;
-fp t17931;
-fp t17086;
-fp t17930;
-fp t17400;
-fp t17297;
-fp t17019;
-fp t17929;
-fp t17032;
-fp t16968;
-fp t17303;
-fp t17928;
-fp t16481;
-fp t17927;
-fp t17112;
-fp t17261;
-fp t17925;
-fp t16669;
-fp t17924;
-fp t17327;
-fp t17381;
-fp t17923;
-fp t16579;
-fp t16562;
-fp t17922;
-fp t17035;
-fp t17921;
-fp t16478;
-fp t17920;
-fp t16966;
-fp t16727;
-fp t16529;
-fp t17919;
-fp t17354;
-fp t17918;
-fp t17269;
-fp t17917;
-fp t16622;
-fp t17352;
-fp t17916;
-fp t16538;
-fp t17915;
-fp t17914;
-fp t16671;
-fp t17603;
-fp t17424;
-fp t17913;
-fp t17486;
-fp t17346;
-fp t17912;
-fp t16616;
-fp t16602;
-fp t17911;
-fp t16659;
-fp t17910;
-fp t16635;
-fp t17909;
-fp t17273;
-fp t17908;
-fp t17305;
-fp t16605;
-fp t17907;
-fp t17618;
-fp t17373;
-fp t17906;
-fp t17607;
-fp t17905;
-fp t17325;
-fp t17904;
-fp t16803;
-fp t17903;
-fp t16575;
-fp t17328;
-fp t17902;
-fp t17106;
-fp t17124;
-fp t17114;
-fp t17901;
-fp t17003;
-fp t17268;
-fp t17900;
-fp t17899;
-fp t16641;
-fp t17898;
-fp t17642;
-fp t17405;
-fp t17897;
-fp t17047;
-fp t17470;
-fp t16715;
-fp t16711;
-fp t17651;
-fp t17098;
-fp t17399;
-fp t17896;
-fp t17895;
-fp t17414;
-fp t16764;
-fp t17894;
-fp t17332;
-fp t17044;
-fp t17893;
-fp t17337;
-fp t17892;
-fp t17503;
-fp t17891;
-fp t17890;
-fp t17889;
-fp t17291;
-fp t17888;
-fp t16568;
-fp t17887;
-fp t16600;
-fp t17377;
-fp t17886;
-fp t17520;
-fp t17885;
-fp t16752;
-fp t17653;
-fp t17884;
-fp t16626;
-fp t17883;
-fp t17882;
-fp t16606;
-fp t17429;
-fp t17881;
-fp t17562;
-fp t17359;
-fp t17878;
-fp t16591;
-fp t17560;
-fp t16774;
-fp t17877;
-fp t17275;
-fp t17368;
-fp t17876;
-fp t16787;
-fp t16772;
-fp t16619;
-fp t16545;
-fp t17875;
-fp t17045;
-fp t16521;
-fp t17052;
-fp t17306;
-fp t17874;
-fp t16653;
-fp t17873;
-fp t17281;
-fp t17872;
-fp t16624;
-fp t17586;
-fp t17437;
-fp t17871;
-fp t17870;
-fp t17867;
-fp t16588;
-fp t16730;
-fp t17571;
-fp t16673;
-fp t17380;
-fp t17865;
-fp t17864;
-fp t17863;
-fp t16612;
-fp t16681;
-fp t17372;
-fp t17319;
-fp t17862;
-fp t17286;
-fp t17860;
-fp t17859;
-fp t17858;
-fp t17857;
-fp t16852;
-fp t17301;
-fp t17856;
-fp t17855;
-fp t17852;
-fp t17452;
-fp t17491;
-fp t17850;
-fp t17598;
-fp t17525;
-fp t17545;
-fp t17256;
-fp t17849;
-fp t17630;
-fp t17608;
-fp t17383;
-fp t17848;
-fp t17048;
-fp t17046;
-fp t17847;
-fp t17846;
-fp t17845;
-fp t17844;
-fp t16867;
-fp t17255;
-fp t17528;
-fp t16851;
-fp t17585;
-fp t17421;
-fp t17843;
-fp t16685;
-fp t17511;
-fp t17292;
-fp t17537;
-fp t16533;
-fp t17288;
-fp t17842;
-fp t17841;
-fp t17840;
-fp t17839;
-fp t17107;
-fp t16944;
-fp t17109;
-fp t17838;
-fp t17130;
-fp t17462;
-fp t17097;
-fp t17358;
-fp t17837;
-fp t17836;
-fp t16768;
-fp t17576;
-fp t17835;
-fp t17834;
-fp t17833;
-fp t16736;
-fp t16783;
-fp t17832;
-fp t16766;
-fp t16833;
-fp t17831;
-fp t17312;
-fp t17830;
-fp t17298;
-fp t17336;
-fp t16677;
-fp t17829;
-fp t17828;
-fp t16518;
-fp t17246;
-fp t17827;
-fp t17826;
-fp t17825;
-fp t17824;
-fp t16607;
-fp t17355;
-fp t17823;
-fp t17822;
-fp t16975;
-fp t16684;
-fp t17821;
-fp t17820;
-fp t16965;
-fp t16779;
-fp t17819;
-fp t17818;
-fp t17817;
-fp t17386;
-fp t17816;
-fp t17621;
-fp t16753;
-fp t16704;
-fp t17276;
-fp t17232;
-fp t17815;
-fp t17814;
-fp t16630;
-fp t17813;
-fp t17812;
-fp t17811;
-fp t17810;
-fp t17809;
-fp t17808;
-fp t17807;
-fp t17806;
-fp t17805;
-fp t17804;
-fp t17803;
-fp t17802;
-fp t17801;
-fp t17800;
-fp t17799;
-fp t17299;
-fp t17798;
-fp t17367;
-fp t17797;
-fp t17796;
-fp t17795;
-fp t15875;
-fp t17794;
-fp t17793;
-fp t16969;
-fp t16865;
-fp t16679;
-fp t17480;
-fp t17792;
-fp t16973;
-fp t17282;
-fp t17391;
-fp t17398;
-fp t17791;
-fp t17790;
-fp t17789;
-fp t17085;
-fp t17042;
-fp t17407;
-fp t17788;
-fp t16840;
-fp t17423;
-fp t17415;
-fp t17787;
-fp t17392;
-fp t17786;
-fp t17606;
-fp t17612;
-fp t17026;
-fp t17785;
-fp t16802;
-fp t17294;
-fp t17784;
-fp t17783;
-fp t17441;
-fp t17426;
-fp t17782;
-fp t17781;
-fp t17338;
-fp t17350;
-fp t17780;
-fp t17471;
-fp t17779;
-fp t16656;
-fp t17778;
-fp t17777;
-fp t17776;
-fp t17775;
-fp t17774;
-fp t17463;
-fp t17300;
-fp t17387;
-fp t17773;
-fp t17772;
-fp t17432;
-fp t17771;
-fp t17304;
-fp t17547;
-fp t17477;
-fp t17770;
-fp t16918;
-fp t17769;
-fp t17768;
-fp t15940;
-fp t17767;
-fp t16534;
-fp t17766;
-fp t17382;
-fp t17430;
-fp t17765;
-fp t17764;
-fp t17267;
-fp t17763;
-fp t17762;
-fp t17761;
-fp t17760;
-fp t17759;
-fp t17758;
-fp t16916;
-fp t16767;
-fp t17369;
-fp t17757;
-fp t17756;
-fp t17755;
-fp t16751;
-fp t17754;
-fp t16702;
-fp t17753;
-fp t17311;
-fp t17752;
-fp t17751;
-fp t17750;
-fp t17610;
-fp t17749;
-fp t17748;
-fp t17747;
-fp t17746;
-fp t17745;
-fp t16892;
-fp t16797;
-fp t17402;
-fp t17744;
-fp t17743;
-fp t17742;
-fp t17741;
-fp t17740;
-fp t17739;
-fp t17738;
-fp t17737;
-fp t17736;
-fp t17735;
-fp t17384;
-fp t17011;
-fp t16937;
-fp t17734;
-fp t17733;
-fp t17732;
-fp t17731;
-fp t17730;
-fp t17729;
-fp t17728;
-fp t17727;
-fp t17726;
+fp t15796;
+fp t15794;
+fp t15799;
+fp t15954;
+fp t15797;
+fp t15957;
+fp t16417;
+fp t15798;
+fp t15961;
+fp t16018;
+fp t16463;
+fp t15795;
+fp t15965;
+fp t16030;
+fp t16462;
+fp t15966;
+fp t16008;
+fp t16461;
+fp t15967;
+fp t16014;
+fp t16460;
+fp t15960;
+fp t15968;
+fp t16441;
+fp t16010;
+fp t16016;
+fp t16459;
+fp t15964;
+fp t16012;
+fp t16458;
+fp t15670;
+fp t15675;
+fp t16457;
+fp t16456;
+fp t16455;
+fp t16454;
+fp t15691;
+fp t15700;
+fp t16453;
+fp t16452;
+fp t16451;
+fp t16450;
+fp t15689;
+fp t15698;
+fp t16449;
+fp t16448;
+fp t16447;
+fp t16446;
+fp t15731;
+fp t15744;
+fp t16445;
+fp t15734;
+fp t15752;
+fp t16444;
+fp t15793;
+fp t15910;
+fp t15912;
+fp t16429;
+fp t15792;
+fp t15911;
+fp t15913;
+fp t16443;
+fp t15955;
+fp t15914;
+fp t15958;
+fp t15920;
+fp t16424;
+fp t15922;
+fp t15970;
+fp t15948;
+fp t16423;
+fp t15931;
+fp t16017;
+fp t16004;
+fp t16442;
+fp t15916;
+fp t15939;
+fp t16420;
fp t15971;
-fp t17725;
-fp t17624;
-fp t16943;
-fp t17126;
-fp t17724;
-fp t16813;
-fp t17723;
-fp t17722;
-fp t17347;
-fp t17420;
-fp t17721;
-fp t16838;
-fp t16854;
-fp t17720;
-fp t17719;
-fp t17718;
-fp t16864;
-fp t17717;
-fp t17716;
-fp t17715;
-fp t17481;
-fp t17714;
-fp t17713;
-fp t16897;
-fp t16924;
-fp t16994;
-fp t16917;
-fp t17712;
-fp t17711;
-fp t17639;
-fp t17293;
-fp t17710;
-fp t17709;
-fp t16873;
-fp t17650;
-fp t17620;
-fp t17708;
-fp t17096;
-fp t17468;
-fp t17329;
-fp t17707;
-fp t16718;
-fp t16884;
-fp t17313;
-fp t17706;
-fp t17543;
-fp t17467;
-fp t17339;
-fp t17705;
-fp t17704;
-fp t17508;
-fp t17703;
-fp t16988;
-fp t17443;
-fp t17702;
-fp t17701;
-fp t17640;
-fp t17700;
-fp t17574;
-fp t17699;
-fp t17698;
-fp t17647;
-fp t17697;
-fp t16845;
-fp t16932;
-fp t17696;
-fp t17695;
-fp t17694;
-fp t16724;
-fp t17577;
-fp t17693;
-fp t17601;
-fp t16848;
-fp t17692;
-fp t17412;
-fp t17599;
-fp t17691;
-fp t16786;
-fp t17499;
-fp t16719;
-fp t17690;
-fp t17588;
-fp t17689;
-fp t17688;
-fp t17687;
-fp t17686;
-fp t17623;
-fp t17685;
-fp t17684;
-fp t16771;
-fp t17683;
-fp t17682;
-fp t17681;
-fp t17680;
-fp t17679;
-fp t16853;
-fp t17678;
-fp t17677;
-fp t17676;
-fp t17675;
-fp t17674;
-fp t17673;
-fp t17593;
-fp t17672;
-fp t17671;
-fp t17670;
-fp t17460;
-fp t17669;
-fp t17596;
-fp t17668;
-fp t17667;
-fp t17666;
-fp t17665;
-fp t17664;
-fp t17356;
-fp t17321;
-fp t17663;
-fp t17662;
-fp t17661;
-fp t17660;
-fp t17659;
-fp t17658;
-fp t17657;
-fp t17656;
-fp t17655;
-fp t16956;
-fp t17619;
-fp t15847;
+fp t15938;
+fp t15972;
+fp t15941;
+fp t16419;
+fp t15973;
+fp t15944;
+fp t15974;
+fp t15947;
+fp t16374;
+fp t15956;
+fp t15923;
+fp t15959;
+fp t15945;
+fp t16418;
+fp t16009;
+fp t16000;
+fp t16015;
+fp t16003;
+fp t16372;
+fp t15932;
+fp t16011;
+fp t16001;
+fp t16440;
+fp t15684;
+fp t15707;
+fp t16439;
+fp t16438;
+fp t16437;
+fp t16436;
+fp t15693;
+fp t15733;
+fp t16435;
+fp t16434;
+fp t15702;
+fp t15743;
+fp t16433;
+fp t16432;
+fp t16431;
+fp t16430;
+fp t15915;
+fp t15969;
+fp t15942;
+fp t16428;
+fp t15917;
+fp t16005;
+fp t16427;
+fp t15918;
+fp t15937;
+fp t16426;
+fp t15919;
+fp t15962;
+fp t15940;
+fp t16425;
+fp t15925;
+fp t15943;
+fp t16422;
+fp t15926;
+fp t15963;
+fp t15946;
+fp t16421;
+fp t15696;
+fp t16416;
+fp t15924;
+fp t16006;
+fp t16371;
+fp t15749;
+fp t15774;
+fp t16415;
+fp t15739;
+fp t15779;
+fp t16414;
+fp t15705;
+fp t16413;
+fp t15671;
+fp t16412;
+fp t16411;
+fp t15690;
+fp t15699;
+fp t16410;
+fp t16409;
+fp t16408;
+fp t16407;
+fp t15667;
+fp t15672;
+fp t16406;
+fp t15668;
+fp t15673;
+fp t16405;
+fp t16404;
+fp t16403;
+fp t16402;
+fp t16401;
+fp t16400;
+fp t15703;
+fp t15295;
+fp t16399;
+fp t15747;
+fp t16398;
+fp t15694;
+fp t15229;
+fp t16397;
+fp t15737;
+fp t15929;
+fp t16396;
+fp t16395;
+fp t15706;
+fp t15317;
+fp t15736;
+fp t16394;
+fp t15311;
+fp t16393;
+fp t15697;
+fp t15245;
+fp t15746;
+fp t16392;
fp t15741;
-fp t17597;
-fp t17595;
-fp t17584;
-fp t17563;
-fp t17554;
+fp t16391;
+fp t16390;
+fp t16389;
+fp t16388;
+fp t16387;
+fp t15751;
+fp t16386;
+fp t16385;
+fp t15771;
+fp t15982;
+fp t16384;
+fp t15785;
+fp t15975;
+fp t16383;
+fp t16382;
+fp t16381;
+fp t16380;
+fp t15745;
+fp t16379;
+fp t15735;
+fp t16378;
+fp t16377;
+fp t15782;
+fp t16376;
+fp t15778;
+fp t16375;
+fp t16373;
+fp t15933;
+fp t16028;
+fp t16027;
+fp t16370;
+fp t15160;
+fp t15132;
+fp t15921;
+fp t16305;
+fp t16369;
+fp t15165;
+fp t16368;
+fp t15201;
+fp t15274;
+fp t16301;
+fp t16367;
+fp t15192;
+fp t15257;
+fp t15297;
+fp t16246;
+fp t16366;
+fp t15196;
+fp t15225;
+fp t16365;
+fp t16252;
+fp t16364;
+fp t16253;
+fp t16363;
+fp t15258;
+fp t15191;
+fp t15231;
+fp t16257;
+fp t16362;
+fp t15262;
+fp t15291;
+fp t16361;
+fp t16254;
+fp t16360;
+fp t14407;
+fp t15244;
+fp t16359;
+fp t16251;
+fp t16358;
+fp t14572;
+fp t15310;
+fp t16357;
+fp t15349;
+fp t15447;
+fp t16230;
+fp t16356;
+fp t16291;
+fp t16242;
+fp t16278;
+fp t16355;
+fp t15210;
+fp t15927;
+fp t16300;
+fp t16258;
+fp t16354;
+fp t15501;
+fp t15377;
+fp t16218;
+fp t16353;
+fp t16298;
+fp t16243;
+fp t16281;
+fp t16352;
+fp t16351;
+fp t15228;
+fp t15293;
+fp t16248;
+fp t16350;
+fp t15227;
+fp t15294;
+fp t16250;
+fp t16349;
+fp t15230;
+fp t15290;
+fp t16245;
+fp t15269;
+fp t16256;
+fp t16348;
+fp t15224;
+fp t15296;
+fp t16247;
+fp t16347;
+fp t16229;
+fp t16346;
+fp t15202;
+fp t16345;
+fp t16344;
+fp t15268;
+fp t16343;
+fp t15220;
+fp t16342;
+fp t15286;
+fp t16341;
+fp t16340;
+fp t16339;
+fp t16227;
+fp t16338;
+fp t15445;
+fp t16337;
+fp t16336;
+fp t16335;
+fp t16334;
+fp t16255;
+fp t16333;
+fp t16332;
+fp t16331;
+fp t16244;
+fp t16330;
+fp t15375;
+fp t16329;
+fp t16328;
+fp t16327;
+fp t16326;
+fp t16325;
+fp t15676;
+fp t16324;
+fp t16323;
+fp t15683;
+fp t15753;
+fp t15764;
+fp t15928;
+fp t15930;
+fp t15936;
+fp t16322;
+fp t15934;
+fp t16007;
+fp t15999;
+fp t16321;
+fp t15935;
+fp t16013;
+fp t16002;
+fp t16320;
+fp t16319;
+fp t15381;
+fp t16318;
+fp t15451;
+fp t16317;
+fp t15712;
+fp t15719;
+fp t15730;
+fp t16316;
+fp t16315;
+fp t16314;
+fp t15772;
+fp t16313;
+fp t16312;
+fp t15353;
+fp t16311;
+fp t15783;
+fp t16310;
+fp t16309;
+fp t15505;
+fp t16308;
+fp t15666;
+fp t15117;
+fp t16307;
+fp t15118;
+fp t16306;
+fp t15677;
+fp t15174;
+fp t16304;
+fp t15678;
+fp t15732;
+fp t16303;
+fp t15682;
+fp t15748;
+fp t16302;
+fp t15215;
+fp t15758;
+fp t16299;
+fp t15473;
+fp t16297;
+fp t15755;
+fp t16296;
+fp t15477;
+fp t16295;
+fp t16294;
+fp t15242;
+fp t16293;
+fp t15248;
+fp t16292;
+fp t15405;
+fp t16290;
+fp t16289;
+fp t15709;
+fp t15322;
+fp t16288;
+fp t15324;
+fp t16287;
+fp t15710;
+fp t15720;
+fp t16286;
+fp t15711;
+fp t16285;
+fp t15723;
+fp t15788;
+fp t16284;
+fp t15727;
+fp t16283;
+fp t16282;
+fp t15765;
+fp t16280;
+fp t15313;
+fp t16279;
+fp t15251;
+fp t16277;
+fp t15247;
+fp t16276;
+fp t16275;
+fp t16274;
+fp t16273;
+fp t16272;
+fp t16271;
+fp t16270;
+fp t15312;
+fp t16269;
+fp t15246;
+fp t16268;
+fp t16267;
+fp t16266;
+fp t16265;
+fp t16264;
+fp t15169;
fp t15685;
-fp t15966;
-fp t17532;
-fp t17530;
+fp t15692;
+fp t16263;
+fp t15686;
+fp t15180;
+fp t15463;
+fp t15510;
+fp t16262;
+fp t15182;
+fp t15465;
+fp t15509;
+fp t16261;
+fp t15687;
+fp t15738;
+fp t15754;
+fp t15998;
+fp t16260;
+fp t15695;
+fp t16259;
+fp t15309;
+fp t16249;
+fp t16241;
+fp t16240;
+fp t15249;
+fp t15474;
+fp t16239;
+fp t15476;
+fp t16238;
+fp t15243;
+fp t16237;
+fp t16236;
+fp t15250;
+fp t16235;
+fp t16234;
+fp t16233;
+fp t15267;
+fp t16232;
+fp t16231;
+fp t15701;
+fp t15708;
+fp t16228;
+fp t15315;
+fp t15402;
+fp t16226;
+fp t15404;
+fp t16225;
+fp t15688;
+fp t15704;
+fp t16224;
+fp t15325;
+fp t15721;
+fp t15336;
+fp t16223;
+fp t16222;
+fp t15323;
+fp t15337;
+fp t16221;
+fp t15316;
+fp t16220;
+fp t16219;
+fp t15544;
+fp t15718;
+fp t15761;
+fp t16217;
+fp t15538;
+fp t16216;
+fp t15724;
+fp t15341;
+fp t16215;
+fp t15343;
+fp t16214;
+fp t15516;
+fp t16213;
+fp t15514;
+fp t16212;
+fp t15726;
+fp t15763;
+fp t15781;
+fp t15790;
+fp t16211;
+fp t16210;
+fp t16209;
+fp t16208;
+fp t15729;
+fp t15786;
+fp t16207;
+fp t15206;
+fp t16206;
+fp t15335;
+fp t15742;
+fp t15760;
+fp t16205;
+fp t15767;
+fp t16204;
+fp t16203;
+fp t16202;
+fp t15272;
+fp t16201;
+fp t16200;
+fp t15631;
+fp t15441;
+fp t16199;
+fp t15633;
+fp t15435;
+fp t16198;
+fp t15619;
+fp t16197;
+fp t15617;
+fp t15371;
+fp t16196;
+fp t15362;
+fp t15950;
+fp t15880;
+fp t16195;
+fp t15879;
+fp t16194;
+fp t15307;
+fp t16193;
+fp t15392;
+fp t16192;
+fp t16191;
+fp t15397;
+fp t16190;
+fp t16189;
+fp t15241;
+fp t16188;
+fp t16187;
+fp t16186;
+fp t16185;
+fp t16184;
+fp t16183;
+fp t16182;
+fp t16181;
+fp t15669;
+fp t15674;
+fp t16180;
+fp t16179;
+fp t16178;
+fp t16177;
+fp t16176;
+fp t16175;
+fp t16174;
+fp t16173;
+fp t16172;
+fp t16171;
+fp t16170;
+fp t16169;
+fp t16168;
+fp t16167;
+fp t16166;
+fp t16165;
+fp t16164;
+fp t16163;
+fp t16162;
+fp t16161;
+fp t16160;
+fp t15205;
+fp t16159;
+fp t16158;
+fp t16157;
+fp t15288;
+fp t16156;
+fp t15222;
+fp t16155;
+fp t16154;
+fp t16153;
+fp t15271;
+fp t16152;
+fp t16151;
+fp t16150;
+fp t16149;
+fp t16148;
+fp t16147;
+fp t16146;
+fp t16145;
+fp t16144;
+fp t16143;
+fp t16142;
+fp t16141;
+fp t16140;
+fp t15592;
+fp t16139;
+fp t15590;
+fp t16138;
+fp t16137;
+fp t16136;
+fp t15908;
+fp t16135;
+fp t16134;
+fp t15868;
+fp t16133;
+fp t15870;
+fp t16132;
+fp t15588;
+fp t15766;
+fp t15897;
+fp t16131;
+fp t15586;
+fp t16130;
+fp t16129;
+fp t16128;
+fp t16127;
+fp t16126;
+fp t15366;
+fp t16125;
+fp t15359;
+fp t16124;
+fp t15430;
+fp t16123;
+fp t15436;
+fp t16122;
+fp t15428;
+fp t16121;
+fp t15426;
+fp t16120;
+fp t15354;
+fp t16119;
+fp t15356;
+fp t16118;
+fp t16117;
+fp t16116;
+fp t15623;
+fp t16115;
+fp t15621;
+fp t16114;
+fp t15635;
+fp t16113;
+fp t15637;
+fp t16112;
+fp t16111;
+fp t16110;
+fp t16109;
+fp t16108;
+fp t16107;
+fp t16019;
+fp t16106;
+fp t15570;
+fp t16105;
+fp t15482;
+fp t15776;
+fp t16104;
+fp t15992;
+fp t16103;
+fp t15478;
+fp t16102;
+fp t16101;
+fp t15986;
+fp t16100;
+fp t16099;
+fp t16098;
+fp t16097;
+fp t15407;
+fp t16096;
+fp t15411;
+fp t16095;
+fp t15547;
+fp t16022;
+fp t16094;
+fp t16093;
+fp t15757;
+fp t16092;
+fp t16091;
+fp t14431;
+fp t15902;
+fp t16090;
+fp t15906;
+fp t16089;
+fp t14595;
+fp t15901;
+fp t16088;
+fp t15905;
+fp t16087;
+fp t15899;
+fp t16086;
+fp t16085;
+fp t15900;
+fp t16084;
+fp t15904;
+fp t16083;
+fp t16082;
+fp t16081;
+fp t16080;
+fp t16079;
+fp t14423;
+fp t14560;
+fp t15951;
+fp t16078;
+fp t14394;
+fp t15953;
+fp t16077;
+fp t14588;
+fp t15949;
+fp t16076;
+fp t15952;
+fp t16075;
+fp t16074;
+fp t16073;
+fp t16072;
+fp t16071;
+fp t16070;
+fp t16069;
+fp t16068;
+fp t16067;
+fp t16066;
+fp t16065;
+fp t16064;
+fp t16063;
+fp t16062;
+fp t16061;
+fp t16060;
+fp t16059;
+fp t16058;
+fp t16057;
+fp t16056;
+fp t16055;
+fp t16054;
+fp t16053;
+fp t16052;
+fp t16051;
+fp t16050;
+fp t16049;
+fp t16048;
+fp t16047;
+fp t16046;
+fp t16045;
+fp t16044;
+fp t16043;
+fp t16042;
+fp t16041;
+fp t16040;
+fp t16039;
+fp t16038;
+fp t16037;
+fp t16036;
+fp t16035;
+fp t16034;
+fp t16033;
+fp t16032;
+fp t16031;
+fp t16029;
+fp t16021;
+fp t16020;
+fp t15997;
+fp t15996;
+fp t15995;
+fp t15991;
+fp t15987;
+fp t15985;
+fp t15984;
+fp t15983;
+fp t15980;
+fp t15977;
+fp t15416;
+fp t15488;
+fp t15415;
+fp t15419;
+fp t15486;
+fp t15490;
+fp t15907;
+fp t15896;
+fp t15895;
+fp t15679;
+fp t15894;
+fp t15681;
+fp t15759;
+fp t15787;
+fp t15893;
+fp t15892;
+fp t15713;
+fp t15891;
+fp t15890;
+fp t15889;
+fp t15888;
+fp t15887;
+fp t15886;
+fp t15740;
+fp t15762;
+fp t15777;
+fp t15885;
+fp t15769;
+fp t15784;
+fp t15884;
+fp t15773;
+fp t15883;
+fp t15882;
+fp t15881;
+fp t15878;
+fp t15877;
+fp t15869;
+fp t15665;
+fp t15867;
+fp t15866;
+fp t15714;
+fp t15865;
+fp t15864;
+fp t15863;
+fp t15862;
+fp t15861;
+fp t15860;
+fp t15859;
+fp t15858;
+fp t15857;
+fp t15856;
+fp t15855;
+fp t15854;
+fp t15715;
+fp t15853;
+fp t15852;
+fp t15851;
+fp t15850;
fp t15849;
-fp t17518;
-fp t17488;
-fp t17479;
-fp t17469;
-fp t17454;
-fp t17425;
-fp t16868;
-fp t16877;
-fp t17390;
-fp t17388;
-fp t16808;
-fp t16822;
-fp t17340;
-fp t17323;
-fp t17309;
-fp t17274;
-fp t17262;
-fp t17257;
-fp t17254;
-fp t17253;
-fp t17252;
-fp t17250;
-fp t17248;
-fp t17245;
-fp t17244;
-fp t17243;
-fp t17242;
-fp t17135;
-fp t17241;
-fp t17240;
-fp t17074;
-fp t17034;
-fp t17119;
-fp t17239;
-fp t17238;
-fp t17237;
-fp t17236;
-fp t17065;
-fp t17066;
-fp t17121;
-fp t17235;
-fp t17233;
-fp t17231;
-fp t17230;
-fp t17229;
-fp t17228;
-fp t17227;
-fp t17226;
-fp t17225;
-fp t17224;
-fp t17223;
-fp t17222;
-fp t17219;
-fp t17218;
-fp t17018;
-fp t17217;
-fp t17036;
-fp t17216;
-fp t17215;
-fp t17214;
-fp t17040;
-fp t17213;
-fp t17054;
-fp t17212;
-fp t17211;
-fp t17210;
-fp t17209;
-fp t17208;
-fp t17207;
-fp t17206;
-fp t17205;
-fp t17204;
-fp t17203;
-fp t17202;
-fp t17050;
-fp t17201;
-fp t17200;
-fp t17199;
-fp t17198;
-fp t17197;
-fp t17196;
-fp t17195;
-fp t17194;
-fp t17193;
-fp t17192;
-fp t17191;
-fp t17190;
-fp t17189;
-fp t17188;
-fp t17187;
-fp t17186;
-fp t17185;
-fp t17184;
-fp t17183;
-fp t17182;
-fp t17181;
-fp t17180;
-fp t17179;
-fp t17178;
-fp t17177;
-fp t17176;
-fp t17175;
-fp t17174;
-fp t17173;
-fp t17172;
-fp t17171;
-fp t17170;
-fp t17169;
-fp t17168;
-fp t17167;
-fp t17166;
-fp t17165;
-fp t17164;
-fp t17163;
-fp t17162;
-fp t17161;
-fp t17160;
-fp t17159;
-fp t17158;
-fp t17157;
-fp t17156;
-fp t17155;
-fp t17154;
-fp t17153;
-fp t17152;
-fp t17132;
-fp t17122;
-fp t17120;
-fp t17115;
-fp t17113;
-fp t17094;
-fp t17090;
-fp t17082;
-fp t17081;
-fp t17069;
-fp t17068;
-fp t17037;
-fp t17033;
- t17016 = RATIONAL(-1.0,3456.0);
- t17015 = RATIONAL(1.0,3456.0);
- t17141 = y*y;
- t17145 = t17141*t17141;
- t18084 = t17016*t17141+t17015*t17145;
- t18083 = t17015*t17141+t17016*t17145;
- t17139 = x*x;
- t17146 = t17139*t17139;
- t17551 = t17146*t17141;
- t17605 = t17145*t17139;
- t18082 = t17551+t17605;
- t17579 = t17146*t17145;
- t17568 = t17141*t17139;
- t18081 = t17579+t17568;
- t17140 = z*z;
- t17144 = z*t17140;
- t17582 = t17144*t17139;
- t17295 = t17145*t17582;
- t17457 = t17146*t17144;
- t17266 = t17141*t17457;
- t18080 = t17295+t17266;
- t17080 = RATIONAL(-1.0,54.0);
- t17493 = t17146*t17080;
- t17529 = t17140*t17146;
- t17111 = RATIONAL(1.0,72.0);
- t17278 = t17111*t17529;
- t18079 = t17493+t17278;
- t17062 = RATIONAL(1.0,576.0);
- t17631 = y*t17140;
- t17143 = t17141*y;
- t17580 = t17140*t17143;
- t17061 = RATIONAL(-1.0,576.0);
- t17270 = t17061*t17580;
- t18078 = t17270+t17062*t17631;
- t17550 = t17140*t17145;
- t17413 = x*t17550;
- t17142 = x*t17139;
- t17524 = t17142*t17141;
- t17320 = t17140*t17524;
- t18033 = t17320+t17413;
- t17020 = RATIONAL(-1.0,6912.0);
- t17013 = RATIONAL(1.0,6912.0);
- t18077 = t18082*t17013+t18081*t17020;
- t17014 = RATIONAL(1.0,1728.0);
- t17548 = t17142*t17014;
- t17483 = t17143*t17014;
- t17017 = RATIONAL(-1.0,1728.0);
- t17635 = y*t17017;
- t17448 = t17017*t17143;
- t18076 = t17142*t17448+y*t17548+(t17635+t17483)*x;
- t17464 = t17016*t17139;
- t17627 = y*t17146;
- t17540 = t17146*t17016;
- t17478 = t17015*t17143;
- t18075 = t17015*t17627+t17143*t17540+t17139*t17478+y*t17464;
- t17617 = y*t17142;
- t17646 = y*t17014;
- t17482 = t17142*t17143;
- t18074 = t17014*t17482+t17017*t17617+(t17646+t17448)*x;
- t17648 = y*t17139;
- t18073 = t17146*t17478+t17015*t17648+t17143*t17464+y*t17540;
- t18072 = t18083*t17142+t18084*x;
- t18071 = t18084*t17142+t18083*x;
- t17117 = RATIONAL(-1.0,9.0);
- t17009 = t17117*t17145;
- t17071 = RATIONAL(1.0,12.0);
- t17531 = t17140*t17071;
- t18013 = t17009+t17145*t17531;
- t17645 = z*t17146;
- t17053 = RATIONAL(1.0,288.0);
- t16949 = t17053*t17139;
- t17060 = RATIONAL(5.0,576.0);
- t18070 = t17144*t16949+t17060*t17645;
- t17492 = t17141*t17014;
- t17447 = t17017*t17145;
- t16503 = t17142*t17447;
- t18069 = t17142*t17492+t16503;
- t17133 = RATIONAL(-4.0,9.0);
- t17125 = RATIONAL(1.0,3.0);
- t17497 = t17140*t17125;
- t18068 = t17133+t17497;
- t17059 = RATIONAL(-5.0,576.0);
- t17474 = t17059*t17139;
- t17538 = t17143*t17139;
- t18067 = y*t17474+t17060*t17538;
- t17284 = t17141*t17529;
- t17505 = t17140*t17139;
- t17351 = t17145*t17505;
- t18066 = t17284+t17351;
- t17055 = RATIONAL(-1.0,288.0);
- t17088 = RATIONAL(1.0,96.0);
- t17444 = t17140*t17088;
- t18065 = t17444+t17055;
- t17070 = RATIONAL(-8.0,27.0);
- t17636 = x*t17070;
- t17087 = RATIONAL(2.0,27.0);
- t17527 = t17087*t17144;
- t18064 = t17142*t17527+t17144*t17636;
- t18063 = t17071*t17529+t17117*t17146;
- t17084 = RATIONAL(-2.0,27.0);
- t17067 = RATIONAL(1.0,54.0);
- t17473 = t17067*t17145;
- t18062 = t17084*t17524+t17142*t17473;
- t17072 = RATIONAL(-1.0,18.0);
- t17589 = t17072*t17144;
- t16709 = t17143*t17589;
- t17104 = RATIONAL(1.0,18.0);
- t17556 = t17144*t17104;
- t16714 = y*t17556;
- t18061 = t16714+t16709;
- t16493 = t17145*t17548;
- t18060 = t16493+t17017*t17524;
- t16960 = t17053*t17145;
- t16610 = t17142*t16960;
- t18059 = t16610+t17111*t17142;
- t17127 = RATIONAL(-1.0,3.0);
- t17138 = RATIONAL(4.0,9.0);
- t18058 = t17138+t17140*t17127;
- t17028 = RATIONAL(1.0,432.0);
- t17534 = t17028*t17139;
- t16646 = y*t17534;
- t17029 = RATIONAL(-1.0,432.0);
- t17504 = t17146*t17029;
- t18057 = t16646+y*t17504;
- t16993 = t17117*t17143;
- t17073 = RATIONAL(-1.0,36.0);
- t17459 = t17073*t17143;
- t18056 = t16993+t17146*t17459;
- t17103 = RATIONAL(1.0,36.0);
- t16991 = t17103*t17146;
- t17118 = RATIONAL(1.0,9.0);
- t18055 = (t17118+t16991)*t17143;
- t17519 = t17080*t17145;
- t16804 = t17142*t17519;
- t18054 = t16804+t17087*t17524;
- t17075 = RATIONAL(1.0,27.0);
- t16832 = t17075*t17648;
- t17039 = RATIONAL(-1.0,108.0);
- t17541 = t17146*t17039;
- t16639 = y*t17541;
- t18053 = t16639+t16832;
- t16970 = t17103*t17145;
- t17095 = RATIONAL(-1.0,48.0);
- t17535 = t17140*t17095;
- t18052 = t16970+t17145*t17535;
- t17123 = RATIONAL(-2.0,9.0);
- t17566 = t17140*t17141;
- t18051 = t17084*t17145+t17123*t17566;
- t17077 = RATIONAL(-1.0,27.0);
- t17570 = t17077*t17143;
- t17465 = t17067*t17144;
- t17302 = t17143*t17465;
- t18050 = t17302+z*t17570;
- t17100 = RATIONAL(-5.0,12.0);
- t17136 = RATIONAL(5.0,9.0);
- t17552 = t17141*t17136;
- t18049 = t17552+t17100*t17566;
- t16963 = t17055*t17145;
- t17064 = RATIONAL(-1.0,72.0);
- t18048 = (t16963+t17064)*t17142;
- t18047 = t17087*t17538+t17143*t17493;
- t17637 = x*t17141;
- t18046 = t17059*t17524+t17060*t17637;
- t17615 = y*t17084;
- t17078 = RATIONAL(8.0,27.0);
- t17555 = t17078*t17139;
- t18045 = t17146*t17615+y*t17555;
- t17099 = RATIONAL(-1.0,24.0);
- t17567 = t17140*t17099;
- t17091 = RATIONAL(-1.0,96.0);
- t16739 = t17091*t17529;
- t18044 = t16739+t17567;
- t18043 = t17059*t17637+t17060*t17524;
- t16488 = t17146*t17448;
- t18042 = t17139*t17483+t16488;
- t16996 = t17118*t17145;
- t17079 = RATIONAL(-1.0,12.0);
- t17495 = t17140*t17079;
- t17998 = t17145*t17495+t16996;
- t17051 = RATIONAL(1.0,192.0);
- t17453 = t17140*t17051;
- t17049 = RATIONAL(-5.0,192.0);
- t17307 = t17049*t17505;
- t18041 = t17307+t17146*t17453;
- t17449 = t17084*t17144;
- t17076 = RATIONAL(4.0,27.0);
- t17629 = z*t17143;
- t18040 = t17076*t17629+t17143*t17449;
- t17409 = z*t17524;
- t17626 = z*t17145;
- t17613 = x*t17626;
- t18039 = t17613+t17409;
- t16987 = t17073*t17145;
- t17092 = RATIONAL(1.0,48.0);
- t17487 = t17092*t17145;
- t18038 = t17140*t17487+t16987;
- t17559 = t17142*t17144;
- t17600 = t17133*t17144;
- t18037 = x*t17600+t17118*t17559;
- t18036 = t17060*t17648+t17143*t17474;
- t17137 = RATIONAL(2.0,9.0);
- t18035 = t17137*t17566+t17087*t17145;
- t17030 = RATIONAL(1.0,864.0);
- t17553 = t17030*t17145;
- t17063 = RATIONAL(-1.0,864.0);
- t17494 = t17142*t17063;
- t16589 = t17145*t17494;
- t18034 = t16589+x*t17553;
- t17641 = x*t17145;
- t18032 = t17029*t17637+t17028*t17641;
- t17581 = t17146*t17067;
- t18031 = t17084*t17538+t17143*t17581;
- t18030 = (t17495+t17118)*t17146;
- t17643 = z*t17072;
- t17561 = t17118*t17144;
- t18029 = t17643+t17561;
- t17041 = RATIONAL(-1.0,192.0);
- t17360 = t17041*t17529;
- t18028 = t17535+t17360;
- t17446 = t17141*t17028;
- t16582 = x*t17446;
- t18027 = t16582+t17029*t17641;
- t16509 = t17146*t17483;
- t18026 = t17139*t17448+t16509;
- t17573 = t17138*t17144;
- t16938 = t17144*t16993;
- t18025 = t16938+y*t17573;
- t16981 = t17064*t17145;
- t16831 = t17139*t16981;
- t18024 = t16831+t17072*t17139;
- t17466 = t17142*t17030;
- t17633 = x*t17063;
- t18023 = (t17466+t17633)*t17145;
- t17458 = t17063*t17143;
- t18022 = t17030*t17627+t17146*t17458;
- t17558 = t17029*t17139;
- t17539 = t17146*t17028;
- t18021 = (t17539+t17558)*y;
- t17442 = t17111*t17144;
- t16738 = t17142*t17442;
- t17031 = RATIONAL(-5.0,144.0);
- t17622 = z*t17031;
- t17379 = t17142*t17622;
- t18020 = t16738+t17379;
- t17472 = t17146*t17063;
- t17578 = t17030*t17143;
- t18019 = t17146*t17578+y*t17472;
- t16735 = t17146*t17444;
- t17101 = RATIONAL(1.0,24.0);
- t17445 = t17140*t17101;
- t17089 = RATIONAL(-5.0,96.0);
- t17343 = t17089*t17505;
- t18018 = t16735+t17343+t17445;
- t17024 = RATIONAL(1.0,1152.0);
- t16479 = t17024*t17605;
- t18017 = t16949+t16479+t17055*t17146;
- t17549 = t17146*t17024;
- t18016 = t16963+(t17549+t17053)*t17141;
- t17058 = RATIONAL(-1.0,144.0);
- t16560 = t17062*t17641;
- t17590 = t17142*t17145;
- t18015 = t17058*t17142+t17061*t17590+t16560;
- t17057 = RATIONAL(1.0,144.0);
- t16598 = t17061*t17641;
- t18014 = t17058*x+t16598+t17062*t17590+t17057*t17142;
- t18012 = t17072*t17141+t17064*t17551;
- t16636 = t17039*t17617;
- t17475 = t17140*t17103;
- t17418 = x*t17475;
- t18011 = t16636+t17143*t17418;
- t17364 = t17144*t17568;
- t16608 = t17145*t17504;
- t18010 = z*t16608+t17087*t17364;
- t17043 = RATIONAL(-1.0,216.0);
- t17575 = t17043*t17143;
- t16633 = x*t17575;
- t17507 = t17140*t17053;
- t17408 = y*t17507;
- t18009 = t16633+t17142*t17408;
- t17271 = t17140*t17482;
- t17027 = RATIONAL(1.0,216.0);
- t17634 = y*t17027;
- t16526 = x*t17634;
- t18008 = t16526+t17055*t17271;
- t17517 = t17103*t17144;
- t17263 = t17145*t17517;
- t17056 = RATIONAL(-5.0,288.0);
- t17523 = t17141*t17056;
- t16627 = t17146*t17523;
- t17083 = RATIONAL(5.0,72.0);
- t17533 = t17083*t17139;
- t16836 = t17141*t17533;
- t17490 = t17058*t17145;
- t17314 = t17144*t17490;
- t17604 = z*t16836+t17146*t17314;
- t18007 = t17604+z*t16627+t17139*t17263;
- t16623 = t17145*t17539;
- t17592 = t17141*t17144;
- t17318 = t17063*t17592;
- t18006 = t17139*t17318+z*t16623;
- t16597 = t17142*t17458;
- t17638 = x*t17140;
- t17422 = t17111*t17638;
- t18005 = t16597+y*t17422;
- t16571 = t17027*t17617;
- t17419 = x*t17580;
- t18004 = t16571+t17055*t17419;
- t16532 = y*t17494;
- t18003 = t17111*t17419+t16532;
- t17516 = t17055*t17143;
- t18002 = t17064*t17143+t17146*t17516;
- t16570 = t17039*t17482;
- t18001 = t16570+y*t17418;
- t17632 = x*t17075;
- t16824 = y*t17632;
- t18000 = t17058*t17271+t16824;
- t17999 = (t16987+t17117)*t17142;
- t17131 = RATIONAL(5.0,6.0);
- t17134 = RATIONAL(-2.0,3.0);
- t17997 = t17131*t17141+t17134;
- t16628 = t17143*t17466;
- t17476 = t17140*t17064;
- t17427 = y*t17476;
- t17996 = t16628+x*t17427;
- t17995 = (t16970+t17118)*t17142;
- t17616 = y*t17043;
- t16613 = x*t17616;
- t17994 = t17053*t17271+t16613;
- t17485 = t17095*t17146;
- t17993 = t17079+t17485;
- t16957 = t17053*t17146;
- t16523 = t17143*t16957;
- t17992 = t16523+t17111*t17143;
- t17102 = RATIONAL(-5.0,24.0);
- t17116 = RATIONAL(1.0,6.0);
- t17991 = t17116+t17102*t17141;
- t17397 = t17073*t17631;
- t17038 = RATIONAL(1.0,108.0);
- t16632 = t17038*t17482;
- t17990 = x*t17397+t16632;
- t16951 = t17058*y;
- t17376 = t17140*t16951;
- t17500 = t17075*t17143;
- t17989 = x*t17500+t17142*t17376;
- t17583 = t17142*t17043;
- t16642 = y*t17583;
- t17988 = t16642+t17053*t17419;
- t17609 = z*t17617;
- t16826 = x*t17570;
- t17628 = x*t17087;
- t16777 = t17143*t17628;
- t17987 = t17144*t16826+z*t16777+t17067*t17609;
- t17644 = x*t17143;
- t16759 = t17084*t17644;
- t17331 = t17144*t17500;
- t17986 = z*t16759+t17080*t17609+x*t17331;
- t16790 = t17087*t17617;
- t17611 = x*t17629;
- t17366 = y*t17559;
- t17985 = z*t16790+t17067*t17611+t17077*t17366;
- t17515 = t17146*t17061;
- t17456 = t17146*t17062;
- t17984 = y*t17456+(t17515+t17058)*t17143;
- t17546 = t17140*t17057;
- t17279 = t17141*t17546;
- t17983 = x*t17279+t18069;
- t16818 = t17142*t17615;
- t17652 = x*z;
- t17496 = t17080*t17143;
- t17982 = t17496*t17652+z*t16818+t17075*t17366;
- t17440 = x*t17566;
- t17981 = t17140*t16598+t17142*t17446+t17062*t17440;
- t17324 = t17145*t17507;
- t17489 = t17043*t17139;
- t17980 = t17145*t17489+t17139*t17324+t18079*t17141;
- t17509 = t17142*t17028;
- t16573 = t17145*t17509;
- t17557 = t17039*t17145;
- t16563 = x*t17557;
- t17290 = t17141*t17465;
- t17394 = x*t17449;
- t17979 = t17142*t17290+t17141*t17394+(t16573+t16563)*z;
- t17455 = t17140*t17055;
- t17375 = y*t17455;
- t17978 = t17027*t17482+x*t17375+t17988;
- t16586 = t17143*t17504;
- t17436 = y*t17527;
- t16593 = t17038*t17627;
- t17521 = t17080*t17139;
- t17258 = t17144*t17521;
- t17977 = t17139*t17436+t17143*t17258+(t16593+t16586)*z;
- t17976 = t17140*t16831+t17027*t17551+t17055*t17284+t17139*t17473;
- t17569 = t17143*t17038;
- t16554 = x*t17569;
- t17940 = t17142*t17397+t16554;
- t16674 = t17029*t17482;
- t17435 = t17118*t17638;
- t17649 = y*t17077;
- t16756 = x*t17649;
- t17939 = t16756+t17057*t17271;
- t17536 = t17142*t17038;
- t16574 = y*t17536;
- t17935 = t17073*t17419+t16574;
- t17853 = t17935+t17939;
- t17975 = y*t17435+t17940+t16674+t17853;
- t17451 = t17111*t17139;
- t16781 = t17145*t17451;
- t17514 = t17043*t17141;
- t17283 = t17141*t17507;
- t17974 = t17139*t17519+t17140*t16781+(t17283+t17514)*t17146;
- t16556 = t17039*t17524;
- t17378 = x*t16970;
- t16858 = t17141*t17632;
- t17296 = t17142*t17550;
- t17866 = t16858+t17103*t17320+t16563+t17058*t17296;
- t17498 = t17140*t17117;
- t17431 = x*t17498;
- t17973 = t17141*t17431+t16556+t17140*t17378+t17866;
- t17393 = y*t17505;
- t17330 = t17073*t17505;
- t17565 = t17077*t17139;
- t16780 = y*t17565;
- t16948 = t17057*t17143;
- t17342 = t17140*t16948;
- t17869 = t16780+t17146*t17342+t16593+t17143*t17330;
- t16620 = t17038*t17538;
- t17972 = t17118*t17393+t17146*t17397+t17869+t16620;
- t17461 = t17077*t17141;
- t16798 = x*t17461;
- t17587 = t17038*t17145;
- t16631 = x*t17587;
- t17310 = t17073*t17566;
- t17861 = t17057*t17296+t16798+t16631+t17142*t17310;
- t16629 = t17038*t17524;
- t17411 = x*t16987;
- t17971 = t17141*t17435+t17140*t17411+t17861+t16629;
- t17513 = t17027*t17145;
- t17970 = t17067*t17551+t17064*t17284+t17139*t17513+t17055*t17351;
- t17404 = y*t17529;
- t17506 = t17039*t17139;
- t16649 = t17143*t17506;
- t17289 = t17139*t17498;
- t17264 = t17139*t17475;
- t17335 = t17058*t17529;
- t17854 = (t17264+t17335)*t17143+t18053;
- t17969 = y*t17289+t17103*t17404+t16649+t17854;
- t17968 = t16951+y*t17515+t16948+t17143*t17456;
- t16652 = t17028*t17482;
- t17522 = t17143*t17039;
- t16625 = x*t17522;
- t17434 = t17140*t17617;
- t17879 = t16625+t17103*t17434+t18000;
- t17967 = t16652+y*t17431+t17879+t18011;
- t16640 = t17143*t17539;
- t17433 = t17139*t17615;
- t17334 = t17143*t17457;
- t17370 = y*t17465;
- t17851 = t17146*t17370+t17043*t17334+(t16649+t16832)*z;
- t17966 = t17139*t17302+t17144*t17433+t17851+(t16639+t16640)*z;
- t16525 = t17029*t17590;
- t17326 = t17144*t17524;
- t17406 = t17141*t17628;
- t16577 = t17038*t17551;
- t17926 = z*t16577+t17145*t17258;
- t16775 = t17139*t17461;
- t16551 = t17146*t17513;
- t17943 = z*t16775+t17144*t16551;
- t17868 = t17926+t17943;
- t16592 = t17142*t17513;
- t17374 = t17144*t17641;
- t17880 = t17080*t17374+t17144*t16592+(t16798+t16629)*z;
- t17221 = t17868+t17880;
- t17965 = t17144*t17406+t17080*t17326+t17221+(t16525+t16631)*z;
- t17357 = t17144*t17538;
- t17349 = t17017*t17582;
- t17428 = t17144*t17646;
- t17964 = t17146*t17428+t17144*t16488+t17014*t17357+y*t17349+t18073*z;
- t17012 = RATIONAL(-1.0,1152.0);
- t17963 = t18033*t17024+(t17440+t17296)*t17012+t18071;
- t17396 = t17144*t17633;
- t17510 = t17030*t17144;
- t17341 = t17143*t17510;
- t17322 = t17144*t17494;
- t17962 = y*t17396+t17143*t17322+t17030*t17366+x*t17341+t18074*z;
- t17361 = t17141*t17505;
- t16603 = t17139*t17587;
- t17333 = t17145*t17546;
- t17961 = t17145*t17330+t16603+t16775+t16577+t17073*t17284+t17146*t17333+
-t16608+t17118*t17361;
- t17960 = t17143*t17349+t17457*t17635+t17139*t17428+t17144*t16509+t18075*z
-;
- t17654 = y*x;
- t17959 = y*t17322+t17143*t17396+t17510*t17654+t17142*t17341+t18076*z;
- t17260 = t17103*t17551;
- t16557 = t17146*t17490;
- t17958 = t16623+t17075*t17568+(t17506+t17264)*t17145+(t17289+t17541)*
-t17141+(t16557+t17260)*t17140;
- t17614 = x*t17631;
- t17957 = t17062*t17419+t17061*t17614+t18078*t17142+t18074;
- t17308 = t17144*t17492;
- t17439 = x*t17592;
- t17956 = t17014*t17374+t17017*t17439+t17144*t16503+t17142*t17308+t18071*z
-;
- t17955 = t17061*t17434+t17062*t17271+t18078*x+t18076;
- t17025 = RATIONAL(1.0,2304.0);
- t17316 = t17025*t17505;
- t17365 = t17145*t17529;
- t17021 = RATIONAL(-1.0,2304.0);
- t17317 = t17021*t17550;
- t17954 = t17139*t17317+t17025*t17365+t17021*t17284+t17141*t17316+t18077;
- t17953 = x*t17308+t17144*t16493+(t17326+t17374)*t17017+t18072*z;
- t17348 = t17145*t17457;
- t17952 = (t17348+t17364)*t17015+t18080*t17016+t18077*z;
- t17484 = t17140*t17024;
- t17344 = t17141*t17484;
- t17951 = t17024*t17296+x*t17344+t18033*t17012+t18072;
- t17950 = t17146*t17317+t17145*t17316+t17025*t17284+t17021*t17361+t18081*
-t17013+t18082*t17020;
- t17259 = t17057*t17592;
- t17110 = RATIONAL(-5.0,72.0);
- t17403 = t17110*t17626;
- t17949 = t17146*t17259+t17139*t17403;
- t16638 = t17145*t17558;
- t17948 = t17030*t17266+z*t16638;
- t17438 = z*t17579;
- t17947 = t17039*t17438+t17139*t17290;
- t17410 = z*t17605;
- t17945 = t17075*t17410+t17043*t17266;
- t17105 = RATIONAL(-10.0,9.0);
- t17625 = z*t17139;
- t17395 = t17105*t17625;
- t17944 = t17141*t17395+t17146*t17263;
- t17023 = RATIONAL(-5.0,1152.0);
- t17450 = t17141*t17023;
- t16470 = t17139*t17450;
- t17265 = t17145*t17456;
- t17942 = t17144*t17265+z*t16470;
- t17416 = z*t17551;
- t17941 = t17043*t17295+t17075*t17416;
- t17938 = t17080*t17266+z*t16603;
- t17093 = RATIONAL(5.0,48.0);
- t17128 = RATIONAL(-5.0,6.0);
- t17937 = t17128*t17364+t17093*t17438;
- t17285 = t17145*t17510;
- t16527 = t17141*t17504;
- t17936 = t17139*t17285+z*t16527;
- t16504 = t17014*t17579;
- t17363 = t17144*t17514;
- t17934 = t17139*t17363+z*t16504;
- t17022 = RATIONAL(5.0,1152.0);
- t17544 = t17022*t17139;
- t16477 = t17145*t17544;
- t17933 = z*t16477+t17061*t17266;
- t16495 = t17017*t17551;
- t17932 = t17027*t17295+z*t16495;
- t16672 = t17146*t16960;
- t17108 = RATIONAL(-5.0,36.0);
- t17362 = t17108*t17592;
- t17931 = z*t16672+t17139*t17362;
- t17086 = RATIONAL(5.0,96.0);
- t17930 = t17049*t17438+t17086*t17364;
- t17400 = z*t17568;
- t17297 = t17088*t17579;
- t17019 = RATIONAL(-25.0,192.0);
- t17929 = t17144*t17297+t17019*t17400;
- t17032 = RATIONAL(5.0,288.0);
- t16968 = t17073*t17141;
- t17303 = t17144*t16968;
- t17928 = t17032*t17438+t17139*t17303;
- t16481 = t17012*t17579;
- t17927 = t17060*t17364+z*t16481;
- t17112 = RATIONAL(5.0,18.0);
- t17261 = t17144*t17009;
- t17925 = t17112*t17416+t17139*t17261;
- t16669 = t17056*t17605;
- t17924 = t17144*t17260+z*t16669;
- t17327 = t17144*t17552;
- t17381 = t17146*t17643;
- t17923 = t17139*t17327+t17145*t17381;
- t16579 = t17139*t17446;
- t16562 = t17145*t17472;
- t17922 = t17144*t16562+z*t16579;
- t17035 = RATIONAL(25.0,12.0);
- t17921 = t17035*t17400+t17099*t17348;
- t16478 = t17139*t17447;
- t17920 = t17027*t17266+z*t16478;
- t16966 = t17111*t17145;
- t16727 = z*t16966;
- t16529 = t17031*t17568;
- t17919 = t17146*t16727+t17144*t16529;
- t17354 = t17144*t17482;
- t17918 = t17043*t17354+(t16625+t16636)*z;
- t17269 = t17144*t17509;
- t17917 = y*t17269+(t16633+t16532)*z;
- t16622 = t17027*t17538;
- t17352 = t17140*t17451;
- t17916 = t16622+y*t17352+t17140*t16523;
- t16538 = x*t17458;
- t17915 = t17028*t17144*t17644+(t16538+t16642)*z;
- t17914 = t17058*t17440+t18060;
- t16671 = x*t17578;
- t17603 = t17029*t17144;
- t17424 = x*t17603;
- t17913 = t17143*t17424+(t16571+t16671)*z;
- t17486 = t17027*t17144;
- t17346 = t17143*t17486;
- t17912 = t17142*t17346+(t16574+t16554)*z;
- t16616 = y*t17466;
- t16602 = t17027*t17644;
- t17911 = t17029*t17366+(t16616+t16602)*z;
- t16659 = t17142*t17514;
- t17910 = t16659+t17055*t17296+t17064*t17440;
- t16635 = t17027*t17524;
- t17909 = t17141*t17422+t17053*t17296+t16635;
- t17273 = t17061*t17566;
- t17908 = t17029*t17524+x*t17273+t17140*t16560;
- t17305 = t17146*t17455;
- t16605 = t17143*t17489;
- t17907 = t17143*t17305+t17064*t17393+t16605;
- t17618 = x*t17039;
- t17373 = t17144*t17618;
- t17906 = y*t17373+t17029*t17354+(t16628+t16526)*z;
- t17607 = t17108*t17652;
- t17905 = x*t16714+y*t17607+t18020*t17143;
- t17325 = t17140*t17456;
- t17904 = t17143*t17325+t17139*t17270+t18021;
- t16803 = y*t17493;
- t17903 = t17144*t16803+t17027*t17334+(t16780+t16620)*z;
- t16575 = t17139*t17634;
- t17328 = t17028*t17457;
- t17902 = t17029*t17334+y*t17328+(t16605+t16575)*z;
- t17106 = RATIONAL(5.0,24.0);
- t17124 = RATIONAL(-5.0,3.0);
- t17114 = RATIONAL(-1.0,6.0);
- t17901 = t17114*t17457+t17124*t17625+t17106*t17266+t17100*t17410;
- t17003 = t17138*t17139;
- t17268 = t17144*t17003;
- t17900 = t17141*t17268+t17146*t17403+t17925;
- t17899 = t18049*t17139+t18052*t17146;
- t16641 = t17145*t17583;
- t17898 = t17067*t17374+t17144*t16641+(t16858+t16556)*z;
- t17642 = y*t17038;
- t17405 = t17144*t17642;
- t17897 = x*t17405+t17143*t17269+(t16597+t16613)*z;
- t17047 = RATIONAL(5.0,144.0);
- t17470 = t17144*t17064;
- t16715 = t17142*t17470;
- t16711 = y*t17589;
- t17651 = y*t17652;
- t17098 = RATIONAL(5.0,36.0);
- t17399 = z*t17482;
- t17896 = t17047*t17399+t17098*t17651+x*t16711+t17143*t16715;
- t17895 = t17936+t18006;
- t17414 = t17144*t17632;
- t16764 = t17080*t17482;
- t17894 = y*t17414+z*t16764+t17615*t17652+t17038*t17354;
- t17332 = t17145*t17453;
- t17044 = RATIONAL(5.0,192.0);
- t17893 = t17044*t17361+t16529+t17146*t17332+t16557;
- t17337 = t17140*t17515;
- t17892 = t16579+t16504+t17058*t17361+t17145*t17337;
- t17503 = t17067*t17139;
- t17891 = t17064*t17361+t17145*t17305+t17141*t17503+t16551;
- t17890 = t17932+t17948;
- t17889 = t18008+t18009;
- t17291 = t17144*t17506;
- t17888 = t17139*t17405+t17143*t17291+t18022*z;
- t16568 = t17142*t17557;
- t17887 = x*t17290+z*t16568+t17075*t17613+t17043*t17326;
- t16600 = y*t17489;
- t17377 = y*t17603;
- t17886 = t17146*t17377+t17143*t17328+(t16600+t16622)*z;
- t17520 = t17142*t17075;
- t17885 = y*t17520+t17058*t17419+t17940;
- t16752 = t17067*t17482;
- t17653 = y*z;
- t17884 = t17628*t17653+t17144*t16756+t17039*t17354+z*t16752;
- t16626 = x*t17514;
- t17883 = t17145*t17269+t17029*t17374+(t16635+t16626)*z;
- t17882 = t17945+t17947;
- t16606 = t17146*t17522;
- t17429 = t17075*t17645;
- t17881 = t17139*t17370+y*t17429+z*t16606+t17043*t17357;
- t17562 = t17110*t17141;
- t17359 = t17106*t17505;
- t17878 = t17141*t17359+t17139*t17562+t17140*t17297+t17146*t16963;
- t16591 = t17142*t17523;
- t17560 = t17083*t17141;
- t16774 = x*t17560;
- t17877 = t17142*t17314+x*t17263+(t16591+t16774)*z;
- t17275 = t17055*t17457;
- t17368 = y*t16957;
- t17876 = t17144*t17368+t17143*t17275+t18036*z;
- t16787 = t17110*t17648;
- t16772 = t17073*t17457;
- t16619 = t17032*t17538;
- t16545 = t17057*t17457;
- t17875 = y*t16772+t17143*t16545+(t16619+t16787)*z;
- t17045 = RATIONAL(-1.0,384.0);
- t16521 = t17145*t17549;
- t17052 = RATIONAL(-5.0,384.0);
- t17306 = t17052*t17505;
- t17874 = t16521+t17045*t17365+(t17306+t17544)*t17141;
- t16653 = t17027*t17637;
- t17873 = t17028*t17374+t17144*t16525+(t16659+t16653)*z;
- t17281 = t17055*t17559;
- t17872 = t17145*t17281+t17053*t17374+t18046*z;
- t16624 = t17146*t17575;
- t17586 = t17146*t17027;
- t17437 = y*t17586;
- t17871 = t17144*t16646+t17029*t17357+(t17437+t16624)*z;
- t17870 = t17922+t17934;
- t17867 = t17932+t17934;
- t16588 = t17032*t17524;
- t16730 = t17144*t16987;
- t17571 = t17057*t17145;
- t16673 = t17144*t17571;
- t17380 = z*t17562;
- t17865 = t17142*t16673+z*t16588+(t16730+t17380)*x;
- t17864 = t17062*t17320+t17061*t17296+t18027;
- t17863 = t17139*t17279+t17141*t17558+t17146*t17447+t17140*t17265;
- t16612 = t17145*t17536;
- t16681 = t17080*t17637;
- t17372 = t17077*t17626;
- t17319 = t17141*t17486;
- t17862 = t17142*t17319+z*t16612+x*t17372+t17144*t16681;
- t17286 = t17062*t17505;
- t17860 = t17143*t17286+t17146*t17270+t18057;
- t17859 = t17935+t17989;
- t17858 = t17055*t17374+t17144*t16610+t18043*z;
- t17857 = t17144*t16523+y*t17275+t18067*z;
- t16852 = t17091*t17550;
- t17301 = t17102*t17505;
- t17856 = t17141*t17301+t16672+t17146*t16852+t16836;
- t17855 = t17939+t18001;
- t17852 = t17941+t17947;
- t17452 = t17047*t17141;
- t17491 = t17146*t17057;
- t17850 = t17141*t17307+t17139*t17452+(t17360+t17491)*t17145;
- t17598 = t17093*t17141;
- t17525 = t17101*t17145;
- t17545 = t17044*t17141;
- t17256 = t17146*t17545;
- t17849 = t17089*t17295+t17144*t17525+(t17256+t17598)*z;
- t17630 = z*t17141;
- t17608 = x*t17630;
- t17383 = z*t17142*t17112;
- t17848 = t17141*t17383+t17105*t17608+t17142*t17263+x*t17261;
- t17048 = RATIONAL(1.0,384.0);
- t17046 = RATIONAL(5.0,384.0);
- t17847 = t17046*t17361+t16481+t16470+t17048*t17365;
- t17846 = t17924+t17928;
- t17845 = t17142*t17375+t16602+t17994;
- t17844 = t17996+t18008;
- t16867 = y*t17470;
- t17255 = t17146*t17442;
- t17528 = t17098*t17143;
- t16851 = t17139*t17528;
- t17585 = t17108*t17139;
- t17421 = y*t17585;
- t17843 = t17146*t16867+t17143*t17255+(t16851+t17421)*z;
- t16685 = y*t17533;
- t17511 = t17058*t17144;
- t17292 = t17143*t17511;
- t17537 = t17143*t17056;
- t16533 = t17139*t17537;
- t17288 = t17103*t17457;
- t17842 = y*t17288+t17146*t17292+(t16685+t16533)*z;
- t17841 = t17142*t17273+t17062*t17296+t18032;
- t17840 = t17043*t17579+t17146*t17324+(t17352+t17521)*t17141;
- t17839 = t17938+t17943;
- t17107 = RATIONAL(10.0,9.0);
- t16944 = t17144*t16996;
- t17109 = RATIONAL(-5.0,18.0);
- t17838 = t17109*t17409+t17142*t16730+x*t16944+t17107*t17608;
- t17130 = RATIONAL(-5.0,9.0);
- t17462 = t17130*t17139;
- t17097 = RATIONAL(5.0,12.0);
- t17358 = t17097*t17505;
- t17837 = (t17462+t17358)*t17141+t18038*t17146;
- t17836 = t17922+t17948;
- t16768 = t17108*t17538;
- t17576 = t17098*t17139;
- t17835 = y*t17255+t17576*t17653+z*t16768+t17064*t17334;
- t17834 = t17922+t17936;
- t17833 = t16772+t17047*t17266+t18024*z;
- t16736 = x*t17473;
- t16783 = x*t16981;
- t17832 = t16736+t16681+t17140*t16783+t17055*t17320+t16641;
- t16766 = x*t17519;
- t16833 = x*t16966;
- t17831 = t17140*t16833+t16766+t16592+t17067*t17637+t17142*t17283;
- t17312 = t17143*t17476;
- t17830 = y*t17305+t16600+t17139*t17312+t18022;
- t17298 = t17146*t17476;
- t17336 = t17139*t17516;
- t16677 = y*t17581;
- t17829 = t16624+t17140*t17336+t16677+(t17521+t17298)*y;
- t17828 = t17928+t17949+t18007;
- t16518 = t17022*t17551;
- t17246 = t17061*t17295+z*t16518+t17942;
- t17827 = t17062*t17364+t17246+t17023*t17438+t17933;
- t17826 = x*t17324+t17111*t17320+t16653+t18023;
- t17825 = t17064*t17320+t16626+t17055*t17413+t18034;
- t17824 = t17140*t17368+t17143*t17352+t16575+t18019;
- t16607 = t17143*t17586;
- t17355 = t17143*t17505;
- t17823 = t16803+t16607+t17053*t17355+(t17278+t17503)*y;
- t17822 = t17898+t17926;
- t16975 = t17064*t17146;
- t16684 = y*t16975;
- t17821 = t17086*t17355+t16684+t16685+t17072*y+t18044*t17143;
- t17820 = t17142*t17445+t17088*t17296+t16833+t17089*t17320+(t17562+t17104)
-*x;
- t16965 = t17111*t17146;
- t16779 = y*t16965;
- t17819 = t16779+t17104*y+t16787+t18018*t17143;
- t17818 = t17086*t17320+t17072*x+t16783+t16774+t17142*t17567+t17091*t17296
-;
- t17817 = t17894+t17987;
- t17386 = y*t17546;
- t17816 = t17139*t17386+t17904+t18042;
- t17621 = z*t17104;
- t16753 = t17145*t17621;
- t16704 = t17141*t17517;
- t17276 = t17047*t17582;
- t17232 = t16730+t17145*t17276+t17604+t18012*z;
- t17815 = t16753+t16704+t17232+t17919+t17949;
- t17814 = t16568+t17861+(t17418+t17520)*t17141;
- t16630 = t17146*t17569;
- t17813 = t17077*t17538+t16630+y*t17330+t17854;
- t17812 = t17884+t17986;
- t17811 = t17841+t17983;
- t17810 = t17864+t17914;
- t17809 = t16612+t17142*t17461+x*t17310+t17866;
- t17808 = t17139*t17376+t17860+t18026;
- t17807 = t17906+t17917;
- t17806 = t17864+t17908;
- t17805 = t17143*t17534+t17904+(t17337+t17286)*y;
- t17804 = t17897+t17911;
- t17803 = t17029*t17538+y*t17325+t17061*t17393+t17860;
- t17802 = t17841+t17981;
- t17801 = t16606+t17139*t17500+y*t17264+t17869;
- t17800 = t16727+t17141*t17561+t17232+t17924+t17931;
- t17799 = t17139*t17561+z*t16965+t17833+t17931+t18007;
- t17299 = t17144*t17557;
- t17798 = t17075*t17326+t17144*t16798+t17038*t17374+t17142*t17299+(t16766+
-t17406+t18062)*z;
- t17367 = t17144*t17616;
- t17797 = t17146*t17367+t17063*t17357+t17144*t16575+t17030*t17334+(t18021+
-t18042)*z;
- t17796 = x*t17319+t17043*t17374+(t17285+t17318)*t17142+(t18032+t18069)*z;
- t17795 = t17891+t17980;
- t15875 = x*t17333;
- t17794 = t15875+t17809;
- t17793 = t17886+t17888;
- t16969 = t17072*t17142;
- t16865 = t17144*t16969;
- t16679 = t17143*t17470;
- t17480 = t17142*t17098;
- t17792 = x*t16679+y*t16865+t17047*t17611+t17480*t17653+t17905;
- t16973 = t17104*t17139;
- t17282 = t17143*t16973;
- t17391 = t17123*t17631;
- t17398 = t17104*t17631;
- t17791 = t17143*t17298+t17146*t17398+t17139*t17391+t17140*t17282+t18031+
-t18045;
- t17790 = t17844+t18003+t18009;
- t17789 = t17839+t17852;
- t17085 = RATIONAL(-4.0,27.0);
- t17042 = RATIONAL(16.0,27.0);
- t17407 = z*t17590;
- t17788 = t17075*t17407+t17042*t17608+t17144*t16804+t17087*t17374+t18064*
-t17141+t18039*t17085;
- t16840 = t17139*t17517;
- t17423 = t17083*t17645;
- t17415 = z*t17537;
- t17787 = t17875+t17146*t17415+t17139*t17292+(t17423+t16840)*y;
- t17392 = t17059*t17626;
- t17786 = t17060*t17613+t17053*t17439+t17141*t17281+t17142*t17392+t17858;
- t17606 = y*t17625;
- t17612 = z*t17627;
- t17026 = RATIONAL(-16.0,27.0);
- t17785 = t17076*t17612+t17026*t17606+t18040*t17139+t18045*t17144+t18050*
-t17146;
- t16802 = t17078*t17654;
- t17294 = t17142*t17449;
- t17784 = y*t17294+t17076*t17609+t17144*t16802+t17026*t17651+t18050*t17142
-+t18040*x;
- t17783 = t17064*t17271+t17104*t17419+t17142*t17398+t16802+t16759+t16818+
-t16752+x*t17391;
- t17441 = y*t17582;
- t17426 = t17032*t17629;
- t17782 = t17057*t17357+t17110*t17612+t17073*t17441+t17146*t17426+t17842;
- t17781 = t17111*t17296+t17141*t17636+t18033*t17072+t18035*x+t18054;
- t17338 = t17143*t17527;
- t17350 = t17144*t17496;
- t17780 = t17042*t17651+x*t17338+t17075*t17399+t17142*t17350+(t17609+
-t17611)*t17085+t18064*y;
- t17471 = t17070*t17139;
- t17779 = t17087*t17551+t17141*t17471+t18035*t17139+t18079*t17145+t18066*
-t17072;
- t16656 = t17139*t17571;
- t17778 = t16495+t17062*t17284+t16638+t17140*t16656+t17892;
- t17777 = t17513*t17652+z*t16641+t17029*t17326+t17144*t16582+t17883;
- t17776 = t16586+t17805;
- t17775 = x*t17392+t17055*t17439+t17053*t17326+t17060*t17407+t17872;
- t17774 = t17618*t17653+t17043*t17366+z*t16570+t17486*t17654+t17144*t16633
-+t17912;
- t17463 = t17140*t17072;
- t17300 = t17143*t17463;
- t17387 = y*t17463;
- t17773 = t17111*t17271+t16790+y*t17636+t16777+x*t17300+t17142*t17387+
-t16764+t17137*t17614;
- t17772 = t17862+t17898;
- t17432 = t17059*t17645;
- t17771 = t17144*t17336+t17143*t17432+t17857+t18070*y;
- t17304 = t17012*t17505;
- t17547 = t17030*t17141;
- t17477 = t17063*t17139;
- t17770 = t17139*t17547+t17146*t17553+t17145*t17477+t17024*t17284+(t17472+
-t17304)*t17141+(t16481+t16479)*t17140;
- t16918 = x*t17573;
- t17769 = t17117*t17326+t17141*t16918+t17112*t17613+t17142*t17403+t17848;
- t17768 = t17891+t17974;
- t15940 = t17143*t17373;
- t17767 = t15940+t17894+t17985;
- t16534 = t17139*t17490;
- t17766 = t17863+t17140*t16534+t17145*t17534+(t17492+t17273)*t17146;
- t17382 = t17143*t17622;
- t17430 = t17047*t17645;
- t17765 = y*t17430+t17146*t17382+t17843+t18061*t17139;
- t17764 = t17876+y*t17432+t17055*t17441+t18070*t17143;
- t17267 = t17144*t17565;
- t17763 = t17039*t17334+t17146*t17405+t17139*t17331+t17087*t17606+y*t17267
-+(t16803+t18031)*z;
- t17762 = t17891+t17894;
- t17761 = t17871+t17886;
- t17760 = t17058*t17284+t17146*t17446+t17014*t17605+t17061*t17351+t17863;
- t17759 = t17146*t17547+t17141*t17477+t16562+t17145*t17304+t17140*t16521+
-t17012*t17284+(t17344+t17553)*t17139;
- t17758 = t17142*t17427+t16671+t17994+t18004+t18005;
- t16916 = t17117*t17559;
- t16767 = t17142*t17517;
- t17369 = t17110*t17629;
- t17757 = t17112*t17611+t17142*t17369+t17105*t17651+t17143*t16767+(t17383+
-t16916)*y+t18025*x;
- t17756 = t17889+t17978;
- t17755 = x*t17408+t17043*t17482+t17845+t18004;
- t16751 = t17078*t17637;
- t17754 = t17064*t17296+t16751+t18033*t17104+t18051*x+t18062;
- t16702 = t17143*t17556;
- t17753 = x*t16702+t17143*t17607+t17896+t18020*y;
- t17311 = t17142*t17465;
- t17752 = t17144*t16751+t17142*t17372+t17145*t17311+t17084*t17374+t17026*
-t17608+t17141*t17294+t18039*t17076;
- t17751 = t17143*t17430+t17139*t16711+t17031*t17612+t17144*t17282+t17835;
- t17750 = t17528*t17652+y*t16715+t17047*t17609+x*t16709+t17905;
- t17610 = z*t17649;
- t17749 = z*t16630+t17146*t17610+t17139*t17346+y*t17258+t17851;
- t17748 = t17841+t17889;
- t17747 = t17834+t17948+t18006;
- t17746 = t17881+t17903;
- t17745 = t17030*t17326+t17144*t16589+t17027*t17374+x*t17363+(t18027+
-t18060)*z;
- t16892 = t17143*t17561;
- t16797 = t17144*t17459;
- t17402 = t17109*t17629;
- t17744 = t17083*t17399+t17109*t17609+t17142*t16797+t17107*t17651+t18037*y
-+(t16892+t17402)*x;
- t17743 = t17840+t17976;
- t17742 = t17824+t17907;
- t17741 = t17043*t17613+z*t16592+t17873+(t17424+t17269)*t17141;
- t17740 = t17840+t17884;
- t17739 = t17823+t17907;
- t17738 = t16478+t17145*t17286+t16527+t17146*t17279+t17892;
- t17737 = t17880+t17887;
- t17736 = x*t17312+t16616+t17845+t18005;
- t17735 = t17111*t17434+t16538+t17844+t17988;
- t17384 = t17083*t17626;
- t17011 = t17133*t17141;
- t16937 = t17144*t17011;
- t17734 = t17109*t17613+t17142*t17384+x*t16937+t17118*t17326+t17838;
- t17733 = t17027*t17366+t17642*t17652+z*t16632+t17918+(t17367+t17346)*x;
- t17732 = t17139*t17377+z*t16607+t17028*t17357+t17043*t17612+t17902;
- t17731 = t16826+t17142*t17386+t17990+t18000+t18011;
- t17730 = t17840+t17855;
- t17729 = t17143*t17267+t17038*t17334+t18053*t17144+(t16677+t17433+t18047)
-*z;
- t17728 = t17831+t17910;
- t17727 = t17084*t17608+x*t17299+t17141*t17414+t17144*t16612+t17077*t17326
-+(t16736+t18054)*z;
- t17726 = t17077*t17617+x*t17342+t17879+t17990;
- t15971 = t17144*t16554;
- t17725 = t15971+t17884+t17982;
- t17624 = z*t17123;
- t16943 = t17145*t17624;
- t17126 = RATIONAL(8.0,9.0);
- t17724 = t17108*t17295+t17137*t17416+t16937+t16943+t16944+t17126*t17630+
-t17923;
- t16813 = t17087*t17627;
- t17723 = t17146*t17387+t16813+t17137*t17393+t17139*t17300+y*t17471+t17143
-*t17278+t18047;
- t17722 = t17084*t17551+t17146*t17473+t17141*t17555+t17145*t17298+t18051*
-t17139+t18066*t17104;
- t17347 = t17144*t17471;
- t17420 = z*t17538;
- t17721 = t17139*t17338+y*t17347+t17042*t17606+t17143*t17429+t17080*t17334
-+t17144*t16813+(t17612+t17420)*t17085;
- t16838 = t17142*t17556;
- t16854 = t17143*t17442;
- t17720 = y*t16838+t17108*t17609+t17896+(t16854+t17382)*x;
- t17719 = t17144*t17437+t17063*t17334+(t17367+t17341)*t17139+(t18026+
-t18057)*z;
- t17718 = t17145*t17429+t17042*t17400+t17080*t17348+t17141*t17347+t18080*
-t17087+(t17416+t17410)*t17085;
- t16864 = t17146*t17621;
- t17717 = t16840+t16864+t17833+t17919;
- t17716 = t17902+y*t17291+t17038*t17357+t18019*z;
- t17715 = t17059*t17266+t17139*t17511+t17246+t17927+t16545+t18017*z;
- t17481 = t17058*t17141;
- t17714 = t17059*t17295+t16673+t17927+t17942+t17144*t17481+t17933+t18016*z
+fp t15848;
+fp t15847;
+fp t15846;
+fp t15845;
+fp t15844;
+fp t15843;
+fp t15842;
+fp t15841;
+fp t15840;
+fp t15839;
+fp t15838;
+fp t15837;
+fp t15836;
+fp t15835;
+fp t15834;
+fp t15833;
+fp t15832;
+fp t15831;
+fp t15830;
+fp t15829;
+fp t15828;
+fp t15827;
+fp t15826;
+fp t15825;
+fp t15824;
+fp t15823;
+fp t15822;
+fp t15821;
+fp t15820;
+fp t15819;
+fp t15818;
+fp t15817;
+fp t15816;
+fp t15815;
+fp t15814;
+fp t15813;
+fp t15812;
+fp t15811;
+fp t15810;
+fp t15809;
+fp t15808;
+fp t15807;
+fp t15806;
+fp t15805;
+fp t15789;
+fp t15780;
+fp t15775;
+fp t15770;
+fp t15768;
+fp t15756;
+fp t15750;
+fp t15728;
+fp t15725;
+fp t15722;
+fp t15717;
+fp t15716;
+fp t15680;
+ t15796 = y*y;
+ t15794 = t15796*t15796;
+ t15799 = x*x;
+ t15954 = t15799*t15794;
+ t15797 = t15799*t15799;
+ t15957 = t15797*t15796;
+ t16417 = t15957+t15954;
+ t15798 = x*t15799;
+ t15961 = t15796*t15798;
+ t16018 = t15794*x;
+ t16463 = t15961+t16018;
+ t15795 = y*t15796;
+ t15965 = t15795*t15798;
+ t16030 = x*y;
+ t16462 = t15965+t16030;
+ t15966 = t15795*t15797;
+ t16008 = t15799*y;
+ t16461 = t15966+t16008;
+ t15967 = t15794*t15798;
+ t16014 = t15796*x;
+ t16460 = t15967+t16014;
+ t15960 = t15796*t15799;
+ t15968 = t15794*t15797;
+ t16441 = t15968+t15960;
+ t16010 = t15798*y;
+ t16016 = t15795*x;
+ t16459 = t16010+t16016;
+ t15964 = t15795*t15799;
+ t16012 = t15797*y;
+ t16458 = t16012+t15964;
+ t15670 = RATIONAL(1.0,1728.0);
+ t15675 = RATIONAL(-1.0,1728.0);
+ t16457 = t15670*t15966+t15675*t15964;
+ t16456 = t15670*t15967+t15675*t15961;
+ t16455 = t15670*t15961+t15675*t15967;
+ t16454 = t15670*t15964+t15675*t15966;
+ t15691 = RATIONAL(1.0,432.0);
+ t15700 = RATIONAL(-1.0,432.0);
+ t16453 = t15691*t16012+t15700*t16008;
+ t16452 = t15691*t16008+t15700*t16012;
+ t16451 = t15691*t16018+t15700*t16014;
+ t16450 = t15691*t16014+t15700*t16018;
+ t15689 = RATIONAL(1.0,864.0);
+ t15698 = RATIONAL(-1.0,864.0);
+ t16449 = t15698*t15966+t15689*t16012;
+ t16448 = t15698*t16012+t15689*t15966;
+ t16447 = t15698*t15967+t15689*t16018;
+ t16446 = t15698*t16018+t15689*t15967;
+ t15731 = RATIONAL(2.0,27.0);
+ t15744 = RATIONAL(-1.0,54.0);
+ t16445 = t15731*t15961+t15744*t15967;
+ t15734 = RATIONAL(1.0,54.0);
+ t15752 = RATIONAL(-2.0,27.0);
+ t16444 = t15734*t15967+t15752*t15961;
+ t15793 = z*z;
+ t15910 = t15793*t15954;
+ t15912 = t15793*t15957;
+ t16429 = t15912+t15910;
+ t15792 = z*t15793;
+ t15911 = t15792*t15954;
+ t15913 = t15792*t15957;
+ t16443 = t15913+t15911;
+ t15955 = t15799*t15793;
+ t15914 = t15796*t15955;
+ t15958 = t15797*t15793;
+ t15920 = t15794*t15958;
+ t16424 = t15920+t15914;
+ t15922 = t15792*t15961;
+ t15970 = t15794*t15792;
+ t15948 = x*t15970;
+ t16423 = t15922+t15948;
+ t15931 = z*t15961;
+ t16017 = t15794*z;
+ t16004 = x*t16017;
+ t16442 = t15931+t16004;
+ t15916 = t15795*t15955;
+ t15939 = y*t15958;
+ t16420 = t15939+t15916;
+ t15971 = t15793*t15798;
+ t15938 = y*t15971;
+ t15972 = t15793*t15795;
+ t15941 = x*t15972;
+ t16419 = t15941+t15938;
+ t15973 = t15792*t15798;
+ t15944 = y*t15973;
+ t15974 = t15792*t15795;
+ t15947 = x*t15974;
+ t16374 = t15944+t15947;
+ t15956 = t15799*t15792;
+ t15923 = t15795*t15956;
+ t15959 = t15797*t15792;
+ t15945 = y*t15959;
+ t16418 = t15945+t15923;
+ t16009 = t15798*z;
+ t16000 = y*t16009;
+ t16015 = t15795*z;
+ t16003 = x*t16015;
+ t16372 = t16000+t16003;
+ t15932 = z*t15964;
+ t16011 = t15797*z;
+ t16001 = y*t16011;
+ t16440 = t16001+t15932;
+ t15684 = RATIONAL(5.0,576.0);
+ t15707 = RATIONAL(-5.0,576.0);
+ t16439 = t15684*t15961+t15707*t16014;
+ t16438 = t15684*t15964+t15707*t16008;
+ t16437 = t15684*t16008+t15707*t15964;
+ t16436 = t15684*t16014+t15707*t15961;
+ t15693 = RATIONAL(1.0,288.0);
+ t15733 = RATIONAL(1.0,72.0);
+ t16435 = t15693*t15966+t15733*t15795;
+ t16434 = t15693*t15967+t15733*t15798;
+ t15702 = RATIONAL(-1.0,288.0);
+ t15743 = RATIONAL(-1.0,72.0);
+ t16433 = t15702*t15967+t15743*t15798;
+ t16432 = t15731*t15964+t15744*t15966;
+ t16431 = t15734*t15966+t15752*t15964;
+ t16430 = t15743*t15795+t15702*t15966;
+ t15915 = t15793*t15961;
+ t15969 = t15794*t15793;
+ t15942 = x*t15969;
+ t16428 = t15915+t15942;
+ t15917 = t15793*t15965;
+ t16005 = t15793*t16030;
+ t16427 = t15917+t16005;
+ t15918 = t15795*t15958;
+ t15937 = y*t15955;
+ t16426 = t15918+t15937;
+ t15919 = t15793*t15967;
+ t15962 = t15796*t15793;
+ t15940 = x*t15962;
+ t16425 = t15919+t15940;
+ t15925 = t15795*t15959;
+ t15943 = y*t15956;
+ t16422 = t15925+t15943;
+ t15926 = t15792*t15967;
+ t15963 = t15796*t15792;
+ t15946 = x*t15963;
+ t16421 = t15926+t15946;
+ t15696 = RATIONAL(1.0,144.0);
+ t16416 = t15743*t15792+t15696*z;
+ t15924 = t15792*t15965;
+ t16006 = t15792*t16030;
+ t16371 = t16006+t15924;
+ t15749 = RATIONAL(-1.0,18.0);
+ t15774 = RATIONAL(1.0,9.0);
+ t16415 = t15749*z+t15774*t15792;
+ t15739 = RATIONAL(1.0,18.0);
+ t15779 = RATIONAL(-1.0,9.0);
+ t16414 = t15739*z+t15779*t15792;
+ t15705 = RATIONAL(-1.0,144.0);
+ t16413 = t15705*z+t15733*t15792;
+ t15671 = RATIONAL(1.0,1152.0);
+ t16412 = t15671*t15957+t15702*t15794+t15693*t15796;
+ t16411 = t15671*t15954+t15702*t15797+t15693*t15799;
+ t15690 = RATIONAL(1.0,576.0);
+ t15699 = RATIONAL(-1.0,576.0);
+ t16410 = t15690*t15966+t15699*t16012+t15696*t15795;
+ t16409 = t15690*t16012+t15705*t15795+t15699*t15966;
+ t16408 = t15690*t15967+t15699*t16018+t15696*t15798;
+ t16407 = t15690*t16018+t15705*t15798+t15699*t15967;
+ t15667 = RATIONAL(1.0,6912.0);
+ t15672 = RATIONAL(-1.0,6912.0);
+ t16406 = t16441*t15672+t16417*t15667;
+ t15668 = RATIONAL(1.0,3456.0);
+ t15673 = RATIONAL(-1.0,3456.0);
+ t16405 = t16458*t15673+t16461*t15668;
+ t16404 = t16461*t15673+t16458*t15668;
+ t16403 = t16463*t15673+t16460*t15668;
+ t16402 = t16460*t15673+t16463*t15668;
+ t16401 = t16459*t15675+t16462*t15670;
+ t16400 = t16462*t15675+t16459*t15670;
+ t15703 = RATIONAL(-1.0,216.0);
+ t15295 = t15703*t16016;
+ t16399 = t15693*t15938+t15295;
+ t15747 = RATIONAL(-1.0,27.0);
+ t16398 = t15696*t15941+t15747*t16010;
+ t15694 = RATIONAL(1.0,216.0);
+ t15229 = t15694*t16016;
+ t16397 = t15702*t15938+t15229;
+ t15737 = RATIONAL(1.0,27.0);
+ t15929 = z*t15957;
+ t16396 = t15703*t15911+t15737*t15929;
+ t16395 = t15705*t15941+t15737*t16010;
+ t15706 = RATIONAL(-1.0,108.0);
+ t15317 = t15706*t16016;
+ t15736 = RATIONAL(1.0,36.0);
+ t16394 = t15736*t15938+t15317;
+ t15311 = t15706*t15965;
+ t16393 = t15736*t16005+t15311;
+ t15697 = RATIONAL(1.0,108.0);
+ t15245 = t15697*t15965;
+ t15746 = RATIONAL(-1.0,36.0);
+ t16392 = t15746*t16005+t15245;
+ t15741 = RATIONAL(1.0,12.0);
+ t16391 = t15741*t15969+t15779*t15794;
+ t16390 = t15741*t15958+t15779*t15797;
+ t16389 = t15743*t15957+t15749*t15796;
+ t16388 = t15743*t15954+t15749*t15799;
+ t16387 = t15746*t15967+t15779*t15798;
+ t15751 = RATIONAL(-1.0,12.0);
+ t16386 = t15751*t15969+t15774*t15794;
+ t16385 = t15751*t15958+t15774*t15797;
+ t15771 = RATIONAL(4.0,9.0);
+ t15982 = t15771*t15792;
+ t16384 = y*t15982+t15779*t15974;
+ t15785 = RATIONAL(-4.0,9.0);
+ t15975 = t15785*t15792;
+ t16383 = t15774*t15974+y*t15975;
+ t16382 = t15774*t15795+t15736*t15966;
+ t16381 = t15774*t15798+t15736*t15967;
+ t16380 = t15779*t15795+t15746*t15966;
+ t15745 = RATIONAL(-1.0,48.0);
+ t16379 = t15696+t15745*t15793;
+ t15735 = RATIONAL(1.0,48.0);
+ t16378 = t15705+t15735*t15793;
+ t16377 = t15751+t15745*t15794;
+ t15782 = RATIONAL(-1.0,3.0);
+ t16376 = t15771+t15782*t15793;
+ t15778 = RATIONAL(1.0,3.0);
+ t16375 = t15785+t15778*t15793;
+ t16373 = t15963+t15956;
+ t15933 = z*t15965;
+ t16028 = y*z;
+ t16027 = x*t16028;
+ t16370 = t16027+t15933;
+ t15160 = t15675*t15957;
+ t15132 = t15670*t15968;
+ t15921 = t15796*t15956;
+ t16305 = z*t15132+t15703*t15921;
+ t16369 = z*t15160+t15694*t15911+t16305;
+ t15165 = t15675*t15954;
+ t16368 = z*t15165+t15694*t15913+t16305;
+ t15201 = t15691*t15968;
+ t15274 = t15700*t15954;
+ t16301 = t15689*t15913+z*t15274;
+ t16367 = z*t15201+t15698*t15921+t16301;
+ t15192 = t15689*t16010;
+ t15257 = t15698*t15965;
+ t15297 = t15703*t16030;
+ t16246 = t15691*t15924+t15697*t16006+(t15257+t15297)*z;
+ t16366 = t15700*t15944+t16246+(t15192+t15229)*z;
+ t15196 = t15689*t16016;
+ t15225 = t15694*t16010;
+ t16365 = t15700*t15947+t16246+(t15196+t15225)*z;
+ t16252 = t15690*t15915+t15699*t15919+t16450;
+ t16364 = t15690*t15942+t15699*t15940+t15700*t15961+t16252;
+ t16253 = t15690*t15919+t15699*t15915+t16451;
+ t16363 = t15690*t15940+t15699*t15942+t15691*t15961+t16253;
+ t15258 = t15698*t16010;
+ t15191 = t15689*t15965;
+ t15231 = t15694*t16030;
+ t16257 = t15700*t15924+t15706*t16006+(t15191+t15231)*z;
+ t16362 = t15691*t15944+t16257+(t15258+t15295)*z;
+ t15262 = t15698*t16016;
+ t15291 = t15703*t16010;
+ t16361 = t15691*t15947+t16257+(t15262+t15291)*z;
+ t16254 = t15690*t15918+t15699*t15916+t16453;
+ t16360 = t15696*t15937+t16254+t16454;
+ t14407 = t15696*t15942;
+ t15244 = t15697*t15967;
+ t16359 = t14407+t15746*t15940+t15244+t15747*t15961;
+ t16251 = t15690*t15916+t15699*t15918+t16452;
+ t16358 = t15705*t15937+t16251+t16457;
+ t14572 = t15705*t15942;
+ t15310 = t15706*t15967;
+ t16357 = t14572+t15736*t15940+t15310+t15737*t15961;
+ t15349 = t15731*t16010;
+ t15447 = t15744*t15965;
+ t16230 = t15697*t15924+t15737*t16006+z*t15447+t15752*t16027;
+ t16356 = z*t15349+t15734*t16003+t15747*t15944+t16230;
+ t16291 = t15702*t15917+t15231;
+ t16242 = t15693*t15941+t15291+t16291;
+ t16278 = t15743*t16005+t15191;
+ t16355 = t15733*t15938+t15262+t16242+t16278;
+ t15210 = t15691*t15960;
+ t15927 = t15794*t15959;
+ t16300 = z*t15210+t15698*t15927;
+ t16258 = t16300+t16301;
+ t16354 = t15733*t15941+t15258+t16258+t16291+t16399+t16278;
+ t15501 = t15752*t16010;
+ t15377 = t15734*t15965;
+ t16218 = t15706*t15924+t15731*t16027+z*t15377+t15747*t16006;
+ t16353 = t15737*t15944+t15744*t16003+z*t15501+t16218;
+ t16298 = t15693*t15917+t15297;
+ t16243 = t15702*t15941+t15225+t16298;
+ t16281 = t15733*t16005+t15257;
+ t16352 = t15743*t15938+t15196+t16243+t16281;
+ t16351 = t15743*t15941+t15192+t16258+t16298+t16397+t16281;
+ t15228 = t15694*t16008;
+ t15293 = t15703*t15964;
+ t16248 = t15691*t15945+t15700*t15925+(t15228+t15293)*z;
+ t16350 = t16248+t15697*t15923+t15706*t15943+t16448*z;
+ t15227 = t15694*t15964;
+ t15294 = t15703*t16008;
+ t16250 = t15691*t15925+t15700*t15945+(t15227+t15294)*z;
+ t16349 = t16250+t15697*t15943+t15706*t15923+t16449*z;
+ t15230 = t15694*t16014;
+ t15290 = t15703*t15961;
+ t16245 = t15691*t15948+t15700*t15926+(t15230+t15290)*z;
+ t15269 = t15700*t15957;
+ t16256 = t15689*t15911+z*t15269+t16300;
+ t16348 = t16245+t15697*t15922+t15706*t15946+t16256+t16446*z;
+ t15224 = t15694*t15961;
+ t15296 = t15703*t16014;
+ t16247 = t15691*t15926+t15700*t15948+(t15224+t15296)*z;
+ t16347 = t16247+t15697*t15946+t15706*t15922+t16256+t16447*z;
+ t16229 = t15699*t15920+t15705*t15914+t15132+t15210;
+ t16346 = t15690*t15912+t15696*t15910+t15160+t15274+t16229;
+ t15202 = t15691*t15966;
+ t16345 = t15690*t15939+t15699*t15937+t15202+t15700*t15964+t16251;
+ t16344 = t15690*t15910+t15696*t15912+t15165+t15269+t16229;
+ t15268 = t15700*t15966;
+ t16343 = t15690*t15937+t15699*t15939+t15691*t15964+t15268+t16254;
+ t15220 = t15694*t15966;
+ t16342 = t15691*t15923+z*t15220+t15700*t15943+t15703*t16001+t16248;
+ t15286 = t15703*t15966;
+ t16341 = t15691*t15943+t15694*t16001+t15700*t15923+z*t15286+t16250;
+ t16340 = t15693*t15939+t15733*t15916+t15228+t16448;
+ t16339 = t15702*t16005+t15694*t15965+t16242+t16256+t16399;
+ t16227 = t15702*t15920+t15743*t15914+t15694*t15968+t15734*t15960;
+ t16338 = t15693*t15910+t15733*t15912+t15703*t15954+t15744*t15957+t16227;
+ t15445 = t15744*t16012;
+ t16337 = t15693*t15916+t15733*t15939+t15220+t15734*t16008+t15445;
+ t16336 = t15693*t16005+t15703*t15965+t16243+t16256+t16397;
+ t16335 = t15703*t16006+z*t15245+t15697*t16027+t16374*t15694;
+ t16334 = t15694*t16006+z*t15311+t15706*t16027+t16374*t15703;
+ t16255 = t15690*t15920+t15696*t15914+t15675*t15968+t15700*t15960;
+ t16333 = t15699*t15912+t15705*t15910+t15670*t15957+t15691*t15954+t16255;
+ t16332 = t15699*t15910+t15705*t15912+t15670*t15954+t15691*t15957+t16255;
+ t16331 = t15702*t15939+t15743*t15916+t15294+t16449;
+ t16244 = t15693*t15920+t15733*t15914+t15703*t15968+t15744*t15960;
+ t16330 = t15702*t15910+t15743*t15912+t15694*t15954+t15734*t15957+t16244;
+ t15375 = t15734*t16012;
+ t16329 = t15702*t15916+t15743*t15939+t15286+t15375+t15744*t16008;
+ t16328 = t15694*t15945+t15698*t15925+t15689*t15923+t15703*t15943+(t16452+
+t16457)*z;
+ t16327 = t15694*t15948+t15698*t15926+t15689*t15922+t15703*t15946+(t16450+
+t16456)*z;
+ t16326 = t15694*t15946+t15698*t15922+t15689*t15926+t15703*t15948+(t16451+
+t16455)*z;
+ t16325 = t15694*t15943+t15698*t15923+t15689*t15925+t15703*t15945+(t16453+
+t16454)*z;
+ t15676 = RATIONAL(-1.0,1152.0);
+ t16324 = t16441*t15698+t16417*t15689+t16429*t15676+t16424*t15671;
+ t16323 = t16417*t15698+t16441*t15689+t16424*t15676+t16429*t15671;
+ t15683 = RATIONAL(16.0,27.0);
+ t15753 = RATIONAL(-4.0,27.0);
+ t15764 = RATIONAL(-8.0,27.0);
+ t15928 = z*t15954;
+ t15930 = z*t15960;
+ t15936 = z*t15968;
+ t16322 = t15683*t15930+t15764*t15921+t15737*t15936+t15744*t15927+(t15929+
+t15928)*t15753+t16443*t15731;
+ t15934 = z*t15966;
+ t16007 = t15799*z;
+ t15999 = y*t16007;
+ t16321 = t15683*t15999+t15764*t15943+t15737*t15934+t15744*t15925+t16440*
+t15753+t16418*t15731;
+ t15935 = z*t15967;
+ t16013 = t15796*z;
+ t16002 = x*t16013;
+ t16320 = t15683*t16002+t15764*t15946+t15737*t15935+t15744*t15926+t16442*
+t15753+t16423*t15731;
+ t16319 = t15683*t16027+t15764*t16006+t15737*t15933+t15744*t15924+t16372*
+t15753+t16374*t15731;
+ t15381 = t15734*t16018;
+ t16318 = t15697*t15926+t15706*t15948+t15747*t15922+t15752*t16002+t15737*
+t15946+(t15381+t16445)*z;
+ t15451 = t15744*t16018;
+ t16317 = t15697*t15948+t15706*t15926+t15731*t16002+t15737*t15922+t15747*
+t15946+(t15451+t16444)*z;
+ t15712 = RATIONAL(-16.0,27.0);
+ t15719 = RATIONAL(8.0,27.0);
+ t15730 = RATIONAL(4.0,27.0);
+ t16316 = t15712*t15999+t15719*t15943+t15734*t15925+t15747*t15934+t16418*
+t15752+t16440*t15730;
+ t16315 = t15712*t16002+t15719*t15946+t15734*t15926+t15747*t15935+t16423*
+t15752+t16442*t15730;
+ t16314 = t15712*t16027+t15719*t16006+t15734*t15924+t15747*t15933+t16374*
+t15752+t16372*t15730;
+ t15772 = RATIONAL(2.0,9.0);
+ t16313 = t15733*t15920+t15764*t15960+t15772*t15914+t15744*t15968+t16429*
+t15749+t16417*t15731;
+ t16312 = t15733*t15918+t15764*t16008+t16432+t15772*t15937+t15731*t16012+
+t16420*t15749;
+ t15353 = t15731*t16016;
+ t16311 = t15733*t15917+t15353+t15447+t15772*t16005+t15349+t15764*t16030+
+t16419*t15749;
+ t15783 = RATIONAL(-2.0,9.0);
+ t16310 = t15719*t15960+t15734*t15968+t15743*t15920+t15783*t15914+t16417*
+t15752+t16429*t15739;
+ t16309 = t15719*t16008+t15752*t16012+t15743*t15918+t15783*t15937+t16431+
+t16420*t15739;
+ t15505 = t15752*t16016;
+ t16308 = t15719*t16030+t15377+t15743*t15917+t15783*t16005+t15501+t15505+
+t16419*t15739;
+ t15666 = RATIONAL(5.0,1152.0);
+ t15117 = t15666*t15957;
+ t16307 = z*t15117+t15699*t15911;
+ t15118 = t15666*t15954;
+ t16306 = z*t15118+t15699*t15913;
+ t15677 = RATIONAL(-5.0,1152.0);
+ t15174 = t15677*t15960;
+ t16304 = z*t15174+t15690*t15927;
+ t15678 = RATIONAL(-25.0,192.0);
+ t15732 = RATIONAL(1.0,96.0);
+ t16303 = t15678*t15930+t15732*t15927;
+ t15682 = RATIONAL(25.0,12.0);
+ t15748 = RATIONAL(-1.0,24.0);
+ t16302 = t15682*t15930+t15748*t15927;
+ t15215 = t15693*t15968;
+ t15758 = RATIONAL(-5.0,36.0);
+ t16299 = z*t15215+t15758*t15921;
+ t15473 = t15747*t15960;
+ t16297 = t15694*t15927+z*t15473;
+ t15755 = RATIONAL(-5.0,72.0);
+ t16296 = t15696*t15913+t15755*t15928;
+ t15477 = t15747*t16030;
+ t16295 = t15696*t15917+t15477;
+ t16294 = t15696*t15911+t15755*t15929;
+ t15242 = t15697*t15957;
+ t16293 = z*t15242+t15744*t15911;
+ t15248 = t15697*t15954;
+ t16292 = z*t15248+t15744*t15913;
+ t15405 = t15737*t16030;
+ t16290 = t15705*t15917+t15405;
+ t16289 = t15706*t15936+t15734*t15921;
+ t15709 = RATIONAL(-5.0,288.0);
+ t15322 = t15709*t15957;
+ t16288 = z*t15322+t15736*t15911;
+ t15324 = t15709*t15954;
+ t16287 = z*t15324+t15736*t15913;
+ t15710 = RATIONAL(-5.0,192.0);
+ t15720 = RATIONAL(5.0,96.0);
+ t16286 = t15710*t15936+t15720*t15921;
+ t15711 = RATIONAL(-5.0,144.0);
+ t16285 = t15711*t15921+t15733*t15936;
+ t15723 = RATIONAL(5.0,48.0);
+ t15788 = RATIONAL(-5.0,6.0);
+ t16284 = t15723*t15936+t15788*t15921;
+ t15727 = RATIONAL(5.0,18.0);
+ t16283 = t15727*t15929+t15779*t15911;
+ t16282 = t15727*t15928+t15779*t15913;
+ t15765 = RATIONAL(-10.0,9.0);
+ t16280 = t15736*t15927+t15765*t15930;
+ t15313 = t15706*t16010;
+ t16279 = t15736*t15941+t15313;
+ t15251 = t15697*t16016;
+ t16277 = t15746*t15938+t15251;
+ t15247 = t15697*t16010;
+ t16276 = t15746*t15941+t15247;
+ t16275 = t15693*t15918+t15733*t15937+t15227;
+ t16274 = t15693*t15919+t15733*t15940+t15224;
+ t16273 = t15694*t15924+(t15247+t15251)*z;
+ t16272 = t15702*t15918+t15743*t15937+t15293;
+ t16271 = t15702*t15919+t15743*t15940+t15290;
+ t16270 = t15703*t15924+(t15313+t15317)*z;
+ t15312 = t15706*t15961;
+ t16269 = t15736*t15942+t15779*t15940+t15312;
+ t15246 = t15697*t15961;
+ t16268 = t15746*t15942+t15774*t15940+t15246;
+ t16267 = t15693*t15926+t15702*t15948+t16439*z;
+ t16266 = t15693*t15925+t15702*t15945+t16438*z;
+ t16265 = t15693*t15945+t15702*t15925+t16437*z;
+ t16264 = t15693*t15948+t15702*t15926+t16436*z;
+ t15169 = t15676*t15968;
+ t15685 = RATIONAL(5.0,384.0);
+ t15692 = RATIONAL(1.0,384.0);
+ t16263 = t15685*t15914+t15692*t15920+t15169+t15174;
+ t15686 = RATIONAL(5.0,288.0);
+ t15180 = t15686*t15961;
+ t15463 = t15746*t15970;
+ t15510 = t15755*t16014;
+ t16262 = t15696*t15926+x*t15463+(t15180+t15510)*z;
+ t15182 = t15686*t15964;
+ t15465 = t15746*t15959;
+ t15509 = t15755*t16008;
+ t16261 = t15696*t15925+y*t15465+(t15182+t15509)*z;
+ t15687 = RATIONAL(5.0,192.0);
+ t15738 = RATIONAL(1.0,24.0);
+ t15754 = RATIONAL(-5.0,96.0);
+ t15998 = t15723*t15796;
+ t16260 = t15687*t15929+t15754*t15911+z*t15998+t15738*t15970;
+ t15695 = RATIONAL(1.0,192.0);
+ t16259 = t15687*t15914+t15695*t15920+t15705*t15968+t15711*t15960;
+ t15309 = t15706*t16012;
+ t16249 = t15734*t15923+t15752*t15943+(t15202+t15309)*z;
+ t16241 = t16292+t16297;
+ t16240 = t16289+t16297;
+ t15249 = t15697*t15964;
+ t15474 = t15747*t16008;
+ t16239 = t15694*t15925+t15744*t15945+(t15249+t15474)*z;
+ t15476 = t15747*t16014;
+ t16238 = t15694*t15926+t15744*t15948+(t15246+t15476)*z;
+ t15243 = t15697*t16012;
+ t16237 = t15696*t15918+t15746*t15916+t15243+t15474;
+ t16236 = t16288+t16296;
+ t15250 = t15697*t16018;
+ t16235 = t15696*t15919+t15746*t15915+t15250+t15476;
+ t16234 = t16277+t16295;
+ t16233 = t16287+t16294;
+ t15267 = t15700*t15968;
+ t16232 = z*t15267+t15731*t15921+t16293;
+ t16231 = t15703*t15913+t15737*t15928+t16293;
+ t15701 = RATIONAL(-1.0,384.0);
+ t15708 = RATIONAL(-5.0,384.0);
+ t16228 = t15701*t15920+t15708*t15914+t15666*t15960+t15671*t15968;
+ t15315 = t15706*t15964;
+ t15402 = t15737*t16008;
+ t16226 = t15703*t15925+t15734*t15945+(t15315+t15402)*z;
+ t15404 = t15737*t16014;
+ t16225 = t15703*t15926+t15734*t15948+(t15312+t15404)*z;
+ t15688 = RATIONAL(5.0,144.0);
+ t15704 = RATIONAL(-1.0,192.0);
+ t16224 = t15704*t15920+t15710*t15914+t15688*t15960+t15696*t15968;
+ t15325 = t15709*t15964;
+ t15721 = RATIONAL(5.0,72.0);
+ t15336 = t15721*t16008;
+ t16223 = t15705*t15925+t15736*t15945+(t15325+t15336)*z;
+ t16222 = t15705*t15918+t15736*t15916+t15309+t15402;
+ t15323 = t15709*t15961;
+ t15337 = t15721*t16014;
+ t16221 = t15705*t15926+t15736*t15948+(t15323+t15337)*z;
+ t15316 = t15706*t16018;
+ t16220 = t15705*t15919+t15736*t15915+t15316+t15404;
+ t16219 = t16290+t16394;
+ t15544 = t15774*t15959;
+ t15718 = RATIONAL(10.0,9.0);
+ t15761 = RATIONAL(-5.0,18.0);
+ t16217 = t15718*t15999+t15746*t15925+t15761*t15932+y*t15544;
+ t15538 = t15774*t15970;
+ t16216 = t15718*t16002+t15746*t15926+t15761*t15931+x*t15538;
+ t15724 = RATIONAL(5.0,36.0);
+ t15341 = t15724*t15961;
+ t16215 = z*t15341+t15733*t15926+t15743*t15948+t15758*t16002;
+ t15343 = t15724*t15964;
+ t16214 = z*t15343+t15733*t15925+t15743*t15945+t15758*t15999;
+ t15516 = t15758*t15964;
+ t16213 = t15724*t15999+t15733*t15945+t15743*t15925+z*t15516;
+ t15514 = t15758*t15961;
+ t16212 = t15724*t16002+t15733*t15948+t15743*t15926+z*t15514;
+ t15726 = RATIONAL(5.0,24.0);
+ t15763 = RATIONAL(-5.0,12.0);
+ t15781 = RATIONAL(-1.0,6.0);
+ t15790 = RATIONAL(-5.0,3.0);
+ t16211 = t15726*t15913+t15763*t15928+t15781*t15959+t15790*t16007;
+ t16210 = t15726*t15914+t15732*t15920+t15702*t15968+t15755*t15960;
+ t16209 = t15727*t15931+t15736*t15926+t15765*t16002+t15779*t15948;
+ t16208 = t15727*t15932+t15736*t15925+t15765*t15999+t15779*t15945;
+ t15729 = RATIONAL(5.0,12.0);
+ t15786 = RATIONAL(-5.0,9.0);
+ t16207 = t15729*t15914+t15735*t15920+t15746*t15968+t15786*t15960;
+ t15206 = t15691*t15965;
+ t16206 = t15779*t16005+t15206+t16279;
+ t15335 = t15721*t15960;
+ t15742 = RATIONAL(-1.0,96.0);
+ t15760 = RATIONAL(-5.0,24.0);
+ t16205 = t15742*t15920+t15760*t15914+t15215+t15335;
+ t15767 = RATIONAL(5.0,9.0);
+ t16204 = t15745*t15920+t15763*t15914+t15736*t15968+t15767*t15960;
+ t16203 = t15677*t15936+t15690*t15921+t16304+t16306+t16307;
+ t16202 = t15752*t16006+(t15405+t15206)*z+t16374*t15734;
+ t15272 = t15700*t15965;
+ t16201 = t15731*t16006+(t15272+t15477)*z+t16374*t15744;
+ t16200 = t15755*t15936+t15771*t15921+t16280+t16282+t16283;
+ t15631 = t15743*t15794;
+ t15441 = x*t15631;
+ t16199 = t15720*t15915+t15742*t15919+t15337+t15441+t15748*t15971+t15749*x
;
- t17713 = t17883+t17039*t17326+t17920+t17834+t17038*t17439+t17934+t18034*z
+ t15633 = t15743*t15797;
+ t15435 = y*t15633;
+ t16198 = t15720*t15916+t15742*t15918+t15336+t15435+t15748*t15972+t15749*y
;
- t16897 = t17146*t17624;
- t16924 = t17118*t17457;
- t16994 = t17133*t17139;
- t16917 = t17144*t16994;
- t17712 = t16897+t17108*t17266+t16924+t17137*t17410+t17126*t17625+t16917+
-t17925+t17944+t17923;
- t17711 = x*t17302+t17918+t18010+(t16652+t16824)*z+(t17311+t17394)*y;
- t17639 = z*t17118;
- t17293 = t17144*t17533;
- t17710 = t17843+t16991*t17653+t16711+t16702+t17110*t17357+t18056*z+(
-t17293+t17639)*y;
- t17709 = t16994+t17108*t17551+t17899+t17093*t17284+(t17497+t18013)*t17139
-+t18030;
- t16873 = t17130*t17637;
- t17650 = z*RATIONAL(-8.0,9.0);
- t17620 = z*t17137;
- t17708 = t17098*t17326+t17144*t16873+t16916+t16918+t17838+(t17620+t16753)
-*t17142+(t17650+t16943)*x;
- t17096 = RATIONAL(-5.0,48.0);
- t17468 = t17096*t17139;
- t17329 = t17140*t17468;
- t17707 = t17138*t17141+t17118*t17551+t17127*t17566+t18013+t17079*t17284+
-t17837+(t17576+t17329)*t17145;
- t16718 = t17140*t17485;
- t16884 = t17136*t17648;
- t17313 = t17093*t17505;
- t17706 = t16768+t17100*t17393+t16884+(t17495+t16718+t17313)*t17143+(
-t18063+t18068)*y+t18055;
- t17543 = t17031*t17145;
- t17467 = t17044*t17145;
- t17339 = t17139*t17467;
- t17705 = t17139*t17543+t17146*t17481+t16968+t17051*t17284+t17140*t17339+
-t17092*t17566+t17850+t18052;
- t17704 = t17086*t17440+t17083*t17524+t17142*t16981+t16969+t17820+(t17567+
-t16852)*x;
- t17508 = t17047*t17145;
- t17703 = t17139*t17508+t17041*t17284+t17145*t17307+t17893+(t17491+t17535+
-t17103)*t17141+t18038;
- t16988 = t17073*t17146;
- t17443 = t17092*t17146;
- t17702 = t16988+t17140*t17443+t17095*t17505+t17103*t17139+t17041*t17351+
-t17146*t17452+t16656+t17049*t17284+t17893;
- t17701 = t17048*t17351+t16739+t17146*t17450+t16957+t17874+t17046*t17284+
-t17012*t17605+t18065*t17139;
- t17640 = z*t17117;
- t17700 = t17143*t17293+t16988*t17653+t17835+y*t17640+t17144*t16787+t18055
-*z+t18061;
- t17574 = t17140*t17092;
- t17699 = t17044*t17355+t17968+t18028*t17143+(t17574+t18041)*y+t18036;
- t17698 = t17048*t17284+t17023*t17605+t16852+t17046*t17351+t17012*t17551+
-t16960+t17874+t18065*t17141;
- t17647 = z*t17126;
- t17697 = t17142*t17624+t17137*t17613+t17072*t17407+t17108*t17326+t17848+(
-t17647+t17327)*x+t18037;
- t16845 = t17143*t17574;
- t16932 = y*t17462;
- t17696 = t17146*t16845+t16851+t16932+(t17329+t17531)*t17143+(t17358+
-t18030+t18058)*y+t18056;
- t17695 = t17117*t17551+t17011+t17071*t17284+t17141*t17497+t17899+t17998+(
-t17313+t17585)*t17145;
- t17694 = t17056*t17439+t17032*t17326+t16715+x*t17442+t17872+t18014*z;
- t16724 = t17145*t17445;
- t17577 = t17032*t17139;
- t17693 = t17099*t17284+t17111*t17551+t17104*t17141+t17114*t17566+t16724+
-t16981+t17878+(t17343+t17577)*t17145;
- t17601 = t17140*t17114;
- t16848 = t17099*t17529;
- t17692 = t16619+t18002+t17819+(t16848+t17359+t17601)*y;
- t17412 = t17098*t17637;
- t17599 = t17117*t17144;
- t17691 = t17144*t17412+t16767+t17031*t17326+t17865+t18048*z+(t17621+
-t17599+t16727)*x;
- t16786 = t17146*t17445;
- t17499 = t17099*t17145;
- t16719 = t17140*t17499;
- t17690 = t17139*t16719+t16973+t17032*t17551+t16781+t16786+t16975+t17114*
-t17505+t17089*t17284+t17878;
- t17588 = t17140*t17116;
- t17689 = t17821+t16533+t17992+(t16786+t17301+t17588)*y;
- t17688 = t16669+t17116*t17566+t16966+t17101*t17284+t16719+t17086*t17351+
-t17856+t18012;
- t17687 = t17877+t17047*t17326+t17073*t17559+(t16783+t18059)*z+(t17362+
-t18029)*x;
- t17686 = t17080*t17366+t17912+t17938+z*t16674+t18010+(t17350+t17610+
-t17436)*x;
- t17623 = z*t17057;
- t17685 = t16738+t17858+t17056*t17326+t17032*t17439+(t17623+t17470)*x+
-t18015*z;
- t17684 = t16735+t17052*t17284+t17091*t17505+t17045*t17351+t16518+t17847+
-t18017;
- t16771 = t17145*t17444;
- t17683 = t16477+t16771+t17145*t17306+t17091*t17566+t17045*t17284+t17847+
-t18016;
- t17682 = t17044*t17393+t16845+t17984+t18041*t17143+(t17057+t18028)*y+
-t18067;
- t17681 = t17873+t17038*t17326+t17141*t17373+t17920+t17936+t18023*z;
- t17680 = t17116*t17505+t16627+t17139*t16724+t17086*t17284+t16848+t16965+
-t17856+t18024;
- t17679 = t17140*t17256+t16991+t16534+t17031*t17551+t16718+t17092*t17505+
-t17850+(t17073+t17332)*t17139;
- t16853 = t17142*t16966;
- t17678 = t17104*t17142+t17110*t17524+t16853+t17089*t17440+t17818+(t17445+
-t16771)*x;
- t17677 = t17003+t17127*t17505+t17096*t17284+t17098*t17551+t17837+t17998*
-t17139+t18063;
- t17676 = t17760+t17825;
- t17675 = t17738+t17826;
- t17674 = t17735+t17816;
- t17673 = t16525+t16586+t17971+t17972;
- t17593 = t16573+t16586;
- t17672 = t17593+t17972+t17973;
- t17671 = t17797+t17906+t17915;
- t17670 = t17735+t17808;
- t17460 = t16573+t16640;
- t17669 = t17460+t17969+t17973;
- t17596 = t16525+t16640;
- t17668 = t17596+t17969+t17971;
- t17667 = t17758+t17816;
- t17666 = t17719+t17897+t17913;
- t17665 = t17758+t17808;
- t17664 = t17958+t17967;
- t17356 = t17012*t17529;
- t17321 = t17143*t17484;
- t17663 = t17143*t17304+t17952+y*t17356+t17146*t17321+t17024*t17393+t18075
+ t15619 = t15733*t15797;
+ t16197 = t15732*t15918+t15754*t15916+t15738*t15972+t15509+(t15619+t15739)
+*y;
+ t15617 = t15733*t15794;
+ t15371 = x*t15617;
+ t16196 = t15732*t15919+t15754*t15915+t15371+t15738*t15971+t15510+t15739*x
;
- t17662 = t17139*t17321+t17143*t17356+t17952+y*t17304+t17024*t17404+t18073
+ t15362 = z*t15619;
+ t15950 = t15705*t15927+z*t15335;
+ t15880 = t15688*t15913+t15465+t15950+t16388*z;
+ t16195 = t15362+t15774*t15956+t15880+t16288+t16299;
+ t15879 = t15688*t15911+t15463+t15950+t16389*z;
+ t16194 = z*t15617+t15774*t15963+t15879+t16287+t16299;
+ t15307 = t15706*t15966;
+ t16193 = t15736*t15937+t15307+t15737*t15964+t16237;
+ t15392 = t15736*t15963;
+ t16192 = t15392+t15739*t16017+t15879+t16285+t16296;
+ t16191 = t16235+t16268;
+ t15397 = t15736*t15956;
+ t16190 = t15397+t15739*t16011+t15880+t16285+t16294;
+ t16189 = z*t15353+t15734*t16000+t15747*t15947+t16230;
+ t15241 = t15697*t15966;
+ t16188 = t15746*t15937+t15241+t15747*t15964+t16222;
+ t16187 = t16220+t16269;
+ t16186 = t15737*t15947+t15744*t16000+z*t15505+t16218;
+ t16185 = t16443*t15673+(t15927+t15921)*t15668+t16406*z;
+ t16184 = t16422*t15675+t16418*t15670+t16405*z;
+ t16183 = t16418*t15675+t16422*t15670+t16404*z;
+ t16182 = t16421*t15675+t16423*t15670+t16403*z;
+ t16181 = t16423*t15675+t16421*t15670+t16402*z;
+ t15669 = RATIONAL(1.0,2304.0);
+ t15674 = RATIONAL(-1.0,2304.0);
+ t16180 = t16429*t15674+t16424*t15669+t16406;
+ t16179 = t16424*t15674+t16417*t15672+t16429*t15669+t16441*t15667;
+ t16178 = t16371*t15698+t16374*t15689+t16401*z;
+ t16177 = t16374*t15698+t16371*t15689+t16400*z;
+ t16176 = t16420*t15676+t16426*t15671+t16404;
+ t16175 = t16426*t15676+t16420*t15671+t16405;
+ t16174 = t16428*t15676+t16425*t15671+t16402;
+ t16173 = t16425*t15676+t16428*t15671+t16403;
+ t16172 = t15684*t15934+t15693*t15923+t15702*t15943+t15707*t16001+t16265;
+ t16171 = t15684*t16001+t15693*t15943+t15702*t15923+t15707*t15934+t16266;
+ t16170 = t15684*t15935+t15693*t15922+t15702*t15946+t15707*t16004+t16264;
+ t16169 = t15684*t16004+t15693*t15946+t15702*t15922+t15707*t15935+t16267;
+ t16168 = t15686*t15934+t15696*t15923+t15746*t15943+t15755*t16001+t16223;
+ t16167 = t15686*t15935+t15696*t15922+t15746*t15946+t15755*t16004+t16221;
+ t16166 = t15705*t15922+t15709*t15935+t15721*t16004+x*t15392+t16262;
+ t16165 = t15705*t15923+t15709*t15934+t15721*t16001+y*t15397+t16261;
+ t16164 = t15688*t15934+t15711*t16001+t15739*t15923+t15749*t15943+t16213;
+ t16163 = t15688*t16001+t15711*t15934+t15739*t15943+t15749*t15923+t16214;
+ t16162 = t15688*t15935+t15711*t16004+t15739*t15922+t15749*t15946+t16212;
+ t16161 = t15688*t16004+t15711*t15935+t15739*t15946+t15749*t15922+t16215;
+ t16160 = t16226+t16249;
+ t15205 = t15691*t15967;
+ t16159 = t16225+t15734*t15922+t15752*t15946+(t15316+t15205)*z;
+ t16158 = t15702*t15912+t15743*t15910+t15694*t15957+t15734*t15954+t16244;
+ t16157 = t15693*t15912+t15733*t15910+t15703*t15957+t15744*t15954+t16227;
+ t15288 = t15703*t15967;
+ t16156 = t15702*t15915+t15743*t15942+t15288+t15381+t15744*t16014+t16274;
+ t15222 = t15694*t15967;
+ t16155 = t15693*t15915+t15733*t15942+t15222+t15734*t16014+t15451+t16271;
+ t16154 = t16232+t16241;
+ t16153 = t16239+t15731*t15943+t15744*t15923+(t15268+t15243)*z;
+ t15271 = t15700*t15967;
+ t16152 = t16238+t15731*t15946+t15744*t15922+(t15271+t15250)*z;
+ t16151 = t15703*t15922+z*t15310+t15734*t15946+t15737*t16004+t16238;
+ t16150 = t16201+t16273;
+ t16149 = t15694*t15922+z*t15244+t15744*t15946+t15747*t16004+t16225;
+ t16148 = t15694*t15923+z*t15241+t15744*t15943+t15747*t16001+t16289+t16396
;
- t17661 = t17960+t17962;
- t17660 = t17961+t17967;
- t17659 = t17961+t17975;
- t17658 = t17950+t17959;
- t17657 = t17958+t17975;
- t17656 = t17951+t17964;
- t17655 = t17954+t17963;
- t16956 = t17057*x;
- t17619 = z*t17056;
- t15847 = t17146*t17386;
- t15741 = t17039*t17366;
- t17597 = t15847+t15741;
- t17595 = t15971+t15875;
- t17584 = t17093*t17139;
- t17563 = t17096*t17146;
- t17554 = t17095*t17145;
- t15685 = y*t17335;
- t15966 = t17038*t17366;
- t17532 = t15685+t15966;
- t17530 = t17097*t17146;
- t15849 = t17058*t17413;
- t17518 = t15849+t15940;
- t17488 = t17096*t17145;
- t17479 = t17097*t17145;
- t17469 = t17131*t17139;
- t17454 = t17114*t17145;
- t17425 = t17144*t16956;
- t16868 = x*t17556;
- t16877 = y*t17599;
- t17390 = z*t17508;
- t17388 = t17142*t17619;
- t16808 = t17108*t17524;
- t16822 = t17141*t17480;
- t17340 = t17144*t17576;
- t17323 = t17144*t17560;
- t17309 = t17144*t17562;
- t17274 = t17144*t17577;
- t17262 = t17145*t17470;
- t17257 = t17141*t17589;
- t17254 = t17146*t17380+t17057*t17295+t17604;
- t17253 = t15847+t17910;
- t17252 = t15849+t17916;
- t17250 = t15875+t17916;
- t17248 = t17117*t17266+t17112*t17410+t17944;
- t17245 = t15849+t17907;
- t17244 = t15685+t17909;
- t17243 = t15847+t17909;
- t17242 = t17454+t17997;
- t17135 = RATIONAL(2.0,3.0);
- t17241 = t17116*t17145+t17128*t17141+t17135;
- t17240 = t17071+t17487+t17096*t17141;
- t17074 = RATIONAL(-5.0,32.0);
- t17034 = RATIONAL(25.0,32.0);
- t17119 = RATIONAL(-5.0,8.0);
- t17239 = t17119+t17074*t17145+t17034*t17141;
- t17238 = t17499+t17106*t17141+t17114;
- t17237 = t17525+t17991;
- t17236 = t17554+t17598+t17079;
- t17065 = RATIONAL(1.0,16.0);
- t17066 = RATIONAL(-5.0,16.0);
- t17121 = RATIONAL(1.0,4.0);
- t17235 = t17065*t17145+t17066*t17141+t17121;
- t17233 = t17929+t17089*t17266+t17101*t17457+(t17584+t17339)*z;
- t17231 = t17144*t17454+t17124*t17630+t17106*t17295+t17100*t17416+t17921;
- t17230 = t17139*t17402+t17107*t17606+t17073*t17334+y*t16924+t17248;
- t17229 = t17144*t16853+x*t17262+t17141*t17607+z*t16822+t17254;
- t17228 = t17855+t17943+t17947;
- t17227 = t17836+t17864;
- t17226 = t17111*t17374+t17142*t17262+t17254+(t17412+t16808)*z;
- t17225 = t17822+t17943;
- t17224 = t17839+t17903;
- t17223 = t17112*t17420+t17143*t17288+y*t17395+t17146*t16877+t17248;
- t17222 = t17836+t17886;
- t17219 = t17870+t17906;
- t17218 = t17870+t17897;
- t17018 = RATIONAL(25.0,192.0);
- t17217 = t17099*t17582+z*t17563+t17091*t17295+t17018*t17416+t17233+t17930
+ t16147 = t15696*t15920+t15248+t15267+t15774*t15914+t15242+t15473+t16429*
+t15746;
+ t16146 = t15746*t15939+t15774*t15937+t15249+t15268+t16237;
+ t16145 = t15774*t16005+t15272+t16234+t16276;
+ t16144 = t15697*t15925+t15706*t15945+t15747*t15923+t15752*t15999+t15737*
+t15943+(t15375+t16432)*z;
+ t16143 = t15697*t15945+t15706*t15925+t15731*t15999+t15737*t15923+t15747*
+t15943+(t15445+t16431)*z;
+ t16142 = t15705*t15920+t15737*t15960+t15779*t15914+t15201+t16429*t15736+
+t16417*t15706;
+ t16141 = t15736*t15939+t15779*t15937+t15202+t15315+t16222;
+ t16140 = t16206+t16219;
+ t15592 = t15785*t15956;
+ t16139 = t15721*t15934+t15761*t16001+t15774*t15923+y*t15592+t16217;
+ t15590 = t15785*t15963;
+ t16138 = t15721*t15935+t15761*t16004+t15774*t15922+x*t15590+t16216;
+ t16137 = t15727*t16001+t15755*t15934+t15771*t15943+t15779*t15923+t16208;
+ t16136 = t15727*t16004+t15755*t15935+t15771*t15946+t15779*t15922+t16209;
+ t15908 = z*t15169+t15684*t15921+t16304;
+ t16135 = t15707*t15913+t15908+t15696*t15959+t15705*t15956+t16307+t16411*z
;
- t17036 = RATIONAL(-25.0,48.0);
- t17216 = t17135*t17582+z*t17530+t17116*t17295+t17036*t17416+t17901+t17921
-+t17937;
- t17215 = z*t17488+t17099*t17592+t17018*t17410+t17091*t17266+t17849+t17929
-+t17930;
- t17214 = t17135*t17592+t17036*t17410+z*t17479+t17116*t17266+t17231+t17937
+ t16134 = t15707*t15911+t15908+t15696*t15970+t15705*t15963+t16306+t16412*z
;
- t17040 = RATIONAL(-25.0,96.0);
- t17213 = t17236*t17144+(t17086*t17145+t17106+t17040*t17141)*z;
- t17054 = RATIONAL(25.0,96.0);
- t17212 = t17240*t17144+(t17102+t17054*t17141+t17089*t17145)*z;
- t17211 = (t17468+t17443+t17071)*t17144+(t17089*t17146+t17054*t17139+
-t17102)*z;
- t17210 = (t17584+t17993)*t17144+(t17040*t17139+t17106+t17086*t17146)*z;
- t17209 = t17141*t16868+x*t17390+t17142*t17257+t17229+t17145*t17379+t17846
+ t15868 = t16240+t16290+t16392;
+ t16133 = t15696*t15938+t15747*t16016+t15868+t16231+t16279;
+ t15870 = t16240+t16295+t16393;
+ t16132 = t15705*t15938+t15737*t16016+t15870+t16231+t16276;
+ t15588 = t15783*t16011;
+ t15766 = RATIONAL(8.0,9.0);
+ t15897 = t15749*t15936+t15767*t15921+t16280;
+ t16131 = t15758*t15913+t15772*t15928+t15766*t16007+t15544+t15588+t15592+
+t15897+t16283;
+ t15586 = t15783*t16017;
+ t16130 = t15758*t15911+t15772*t15929+t15766*t16013+t15538+t15586+t15590+
+t15897+t16282;
+ t16129 = t15696*t15940+t14572+t16253+t16369+t16455;
+ t16128 = t14407+t15705*t15940+t16252+t16369+t16456;
+ t16127 = t15702*t15942+t15743*t15915+t15296+t16274+t16368+t16447;
+ t16126 = t15693*t15942+t15733*t15915+t15230+t16271+t16368+t16446;
+ t15366 = t15733*t15973;
+ t16125 = t15686*t15946+t15366+t15709*t15922+t16267+t16416*x+t16407*z;
+ t15359 = t15733*t15974;
+ t16124 = t15686*t15943+t15359+t15709*t15923+t16266+t16416*y+t16409*z;
+ t15430 = t15743*t15974;
+ t16123 = t15686*t15923+t15430+t15709*t15943+t16265+t16413*y+t16410*z;
+ t15436 = t15743*t15973;
+ t16122 = t15686*t15922+t15436+t15709*t15946+t16264+t16413*x+t16408*z;
+ t15428 = t15742*t15958;
+ t16121 = t15685*t15912+t15692*t15910+t15676*t15954+t15677*t15957+t15732*
+t15955+t15428+t15693*t15797+t15702*t15799+t16228;
+ t15426 = t15742*t15969;
+ t16120 = t15685*t15910+t15692*t15912+t15676*t15957+t15677*t15954+t15732*
+t15962+t15426+t15693*t15794+t15702*t15796+t16228;
+ t15354 = t15732*t15969;
+ t16119 = t15701*t15912+t15708*t15910+t15118+t15354+t15742*t15962+t16263+
+t16412;
+ t15356 = t15732*t15958;
+ t16118 = t15701*t15910+t15708*t15912+t15117+t15356+t15742*t15955+t16263+
+t16411;
+ t16117 = t15736*t15973+t15711*t15922+t15724*t15946+t16262+t16414*x+(
+t15371+t16433)*z;
+ t16116 = t15711*t15923+t15724*t15943+t15736*t15974+t16261+t16430*z+(
+t15362+t16414)*y;
+ t15623 = t15736*t15797;
+ t16115 = t15687*t15912+t15695*t15910+t15705*t15954+t15711*t15957+t15735*
+t15955+t15745*t15958+t15623+t15746*t15799+t16224;
+ t15621 = t15736*t15794;
+ t16114 = t15687*t15910+t15695*t15912+t15705*t15957+t15711*t15954+t15735*
+t15962+t15745*t15969+t15621+t15746*t15796+t16224;
+ t15635 = t15746*t15794;
+ t16113 = t15704*t15912+t15710*t15910+t15688*t15954+t15696*t15957+t15735*
+t15969+t15745*t15962+t15736*t15796+t15635+t16259;
+ t15637 = t15746*t15797;
+ t16112 = t15704*t15910+t15710*t15912+t15688*t15957+t15696*t15954+t15735*
+t15958+t15745*t15955+t15736*t15799+t15637+t16259;
+ t16111 = t15688*t15922+t15746*t15973+t15758*t15946+t16221+t16415*x+(
+t15441+t16434)*z;
+ t16110 = t15688*t15923+t15746*t15974+t15758*t15943+t16223+t16415*y+(
+t15435+t16435)*z;
+ t16109 = t15691*t15946+t15694*t16004+t15700*t15922+z*t15288+t16247+t16367
;
- t17208 = t17109*t17612+y*t16917+t17143*t17423+t17230+t17139*t16892+t17900
+ t16108 = t15691*t15922+z*t15222+t15700*t15946+t15703*t16004+t16245+t16367
;
- t17207 = t17057*t17354+t17619*t17654+y*t17425+t17032*t17609+t17058*t17366
-+t17143*t17388+t17827+(t17292+t17426)*x;
- t17206 = t17828+t17142*t17259+t17032*t17407+t17877+(t17303+t17403)*x;
- t17205 = t17145*t17388+t17865+t17058*t17326+t17828+(t17384+t16704)*x;
- t17204 = t17112*t17612+y*t17268+t17139*t16938+t17146*t17369+t17223+t17900
+ t16107 = t15703*t15923+z*t15307+t15734*t15943+t15737*t16001+t16239+t16292
++t16396;
+ t16019 = RATIONAL(-8.0,9.0)*z;
+ t16106 = t15724*t15923+t15739*t15934+t16217+t15786*t15943+t15772*t16015+
+t16384+(t16019+t15588)*y;
+ t15570 = t15779*t15973;
+ t16105 = t15724*t15922+t15739*t15935+t15570+t15786*t15946+t16216+t15772*
+t16009+(t15586+t16019+t15982)*x;
+ t15482 = t15748*t15958;
+ t15776 = RATIONAL(1.0,6.0);
+ t16104 = t15720*t15912+t15738*t15910+t15322+t15482+t15776*t15955+t15619+
+t16205+t16388;
+ t15992 = t15738*t15793;
+ t16103 = t15755*t15961+t15754*t15940+t15733*t15967+t15739*t15798+t16199+(
+t15992+t15354)*x;
+ t15478 = t15748*t15969;
+ t16102 = t15720*t15910+t15738*t15912+t15324+t15478+t15776*t15962+t15617+
+t16205+t16389;
+ t16101 = t15755*t15964+t15754*t15937+t15733*t15966+t15739*t15795+t16198+(
+t15992+t15356)*y;
+ t15986 = t15748*t15793;
+ t16100 = t15720*t15937+t15749*t15795+t15721*t15964+t15743*t15966+t16197+(
+t15986+t15428)*y;
+ t16099 = t15720*t15940+t15749*t15798+t15721*t15961+t15743*t15967+t16196+(
+t15986+t15426)*x;
+ t16098 = t15723*t15912+t15741*t15910+t15758*t15957+t15778*t15955+t15779*
+t15954+t15785*t15799+t16204+t16385;
+ t16097 = t15723*t15910+t15741*t15912+t15758*t15954+t15778*t15962+t15779*
+t15957+t15785*t15796+t16204+t16386;
+ t15407 = t15738*t15969;
+ t16096 = t15748*t15912+t15754*t15910+t15686*t15954+t15733*t15957+t15407+
+t15781*t15962+t15739*t15796+t15631+t16210;
+ t15411 = t15738*t15958;
+ t16095 = t15748*t15910+t15754*t15912+t15686*t15957+t15733*t15954+t15411+
+t15781*t15955+t15739*t15799+t15633+t16210;
+ t15547 = t15774*t15973;
+ t16022 = t15766*z;
+ t16094 = t15749*t15935+t15758*t15922+t15767*t15946+t15772*t16004+t16209+
+t15547+t15783*t16009+(t15975+t16022)*x;
+ t16093 = t15749*t15934+t15758*t15923+t15767*t15943+t15772*t16001+y*t16022
++t15783*t16015+t16208+t16383;
+ t15757 = RATIONAL(-5.0,48.0);
+ t16092 = t15751*t15912+t15757*t15910+t15724*t15954+t15774*t15957+t15782*
+t15962+t15771*t15796+t16207+t16391;
+ t16091 = t15751*t15910+t15757*t15912+t15724*t15957+t15774*t15954+t15782*
+t15955+t15771*t15799+t16207+t16390;
+ t14431 = t15697*t15947;
+ t15902 = t14431+t16272;
+ t16090 = t15902+t16340+t16362;
+ t15906 = t14431+t16275;
+ t16089 = t15906+t16331+t16362;
+ t14595 = t15706*t15947;
+ t15901 = t14595+t16272;
+ t16088 = t15901+t16340+t16366;
+ t15905 = t14595+t16275;
+ t16087 = t15905+t16331+t16366;
+ t15899 = t15271+t16270;
+ t16086 = t15899+t16335+t16363;
+ t16085 = t15271+t16273+t16334+t16363;
+ t15900 = t15205+t16270;
+ t16084 = t15900+t16335+t16364;
+ t15904 = t15205+t16273;
+ t16083 = t15904+t16334+t16364;
+ t16082 = t15901+t16337+t16356;
+ t16081 = t15902+t16337+t16353;
+ t16080 = t15905+t16329+t16356;
+ t16079 = t15906+t16329+t16353;
+ t14423 = t15697*t15944;
+ t14560 = t15705*t15939;
+ t15951 = t14423+t14560;
+ t16078 = t15951+t16360+t16361;
+ t14394 = t15696*t15939;
+ t15953 = t14394+t14423;
+ t16077 = t15953+t16358+t16361;
+ t14588 = t15706*t15944;
+ t15949 = t14560+t14588;
+ t16076 = t15949+t16360+t16365;
+ t15952 = t14394+t14588;
+ t16075 = t15952+t16358+t16365;
+ t16074 = t16158+t16189;
+ t16073 = t16157+t16186;
+ t16072 = t16151+t16193;
+ t16071 = t16149+t16188;
+ t16070 = t16185+t16419*t15699+t16427*t15690+t16400;
+ t16069 = t16185+t16427*t15699+t16419*t15690+t16401;
+ t16068 = t16174+t16184;
+ t16067 = t16173+t16183;
+ t16066 = t16176+t16182;
+ t16065 = t16175+t16182;
+ t16064 = t16176+t16181;
+ t16063 = t16175+t16181;
+ t16062 = t16177+t16180;
+ t16061 = t16178+t16179;
+ t16060 = t16328+t16352;
+ t16059 = t16328+t16355;
+ t16058 = t16327+t16333;
+ t16057 = t16327+t16346;
+ t16056 = t16326+t16333;
+ t16055 = t16326+t16346;
+ t16054 = t16325+t16352;
+ t16053 = t16325+t16355;
+ t16052 = t16324+t16341;
+ t16051 = t16324+t16342;
+ t16050 = t16323+t16341;
+ t16049 = t16323+t16342;
+ t16048 = t15733*t15919+t15772*t15940+t16322+t15731*t16018+t15764*t16014+
+t16428*t15749+t16445;
+ t16047 = t15743*t15919+t16322+t15752*t16018+t15719*t16014+t15783*t15940+
+t16428*t15739+t16444;
+ t16046 = t16319+t16321;
+ t16045 = t16314+t16321;
+ t16044 = t16316+t16319;
+ t16043 = t16318+t16330;
+ t16042 = t16317+t16330;
+ t16041 = t16143+t16156;
+ t16040 = t16144+t16155;
+ t16039 = t16318+t16338;
+ t16038 = t16317+t16338;
+ t16037 = t14394+t16151+t16188;
+ t16036 = t16149+t14560+t16193;
+ t16035 = t16314+t16316;
+ t16034 = t16311+t16312;
+ t16033 = t16308+t16312;
+ t16032 = t16309+t16311;
+ t16031 = t16308+t16309;
+ t16029 = x*z;
+ t16021 = t15774*z;
+ t16020 = t15779*z;
+ t15997 = t15723*t15799;
+ t15996 = t15729*t15794;
+ t15995 = t15729*t15797;
+ t15991 = t15739*t15792;
+ t15987 = t15745*t15797;
+ t15985 = t15749*t15792;
+ t15984 = t15757*t15794;
+ t15983 = t15757*t15797;
+ t15980 = t15776*t15793;
+ t15977 = t15781*t15793;
+ t15416 = y*t15991;
+ t15488 = y*t15985;
+ t15415 = t15739*t15974;
+ t15419 = t15739*t15973;
+ t15486 = t15749*t15974;
+ t15490 = t15749*t15973;
+ t15907 = t15686*t15936+t15746*t15921+t15950;
+ t15896 = t15741+t15757*t15799+t15735*t15797;
+ t15895 = t15751+t15987+t15997;
+ t15679 = RATIONAL(25.0,96.0);
+ t15894 = t15760+t15754*t15794+t15679*t15796;
+ t15681 = RATIONAL(25.0,32.0);
+ t15759 = RATIONAL(-5.0,32.0);
+ t15787 = RATIONAL(-5.0,8.0);
+ t15893 = t15787+t15759*t15797+t15681*t15799;
+ t15892 = t15679*t15799+t15754*t15797+t15760;
+ t15713 = RATIONAL(-25.0,96.0);
+ t15891 = t15713*t15796+t15726+t15720*t15794;
+ t15890 = t15720*t15797+t15726+t15713*t15799;
+ t15889 = t15726*t15799+t15781+t15748*t15797;
+ t15888 = t15998+t16377;
+ t15887 = t15757*t15796+t15741+t15735*t15794;
+ t15886 = t15760*t15799+t15738*t15797+t15776;
+ t15740 = RATIONAL(1.0,16.0);
+ t15762 = RATIONAL(-5.0,16.0);
+ t15777 = RATIONAL(1.0,4.0);
+ t15885 = t15762*t15799+t15740*t15797+t15777;
+ t15769 = RATIONAL(5.0,6.0);
+ t15784 = RATIONAL(-2.0,3.0);
+ t15884 = t15769*t15799+t15784+t15781*t15797;
+ t15773 = RATIONAL(2.0,3.0);
+ t15883 = t15776*t15797+t15788*t15799+t15773;
+ t15882 = t15687*t15928+t15754*t15913+z*t15997+t15738*t15959+t16303;
+ t15881 = t15726*t15911+t15763*t15929+t15781*t15970+t15790*t16013+t16302;
+ t15878 = t15688*t15933+t15724*t16027+t15743*t15924+x*t15488+t15907;
+ t15877 = t15711*t15933+t15733*t15924+x*t15416+t15758*t16027+t15907;
+ t15869 = t16220+t16241;
+ t15665 = RATIONAL(25.0,192.0);
+ t15867 = t15665*t15929+t15742*t15911+t15748*t15956+z*t15983+t15882+t16286
;
- t17203 = t17142*t17390+t17104*t17326+t17543*t17652+t17226+x*t17257+t17846
+ t15866 = t15665*t15928+t15742*t15913+t15748*t15963+z*t15984+t16260+t16286
++t16303;
+ t15714 = RATIONAL(-25.0,48.0);
+ t15865 = t15714*t15929+t15776*t15911+z*t15995+t15773*t15956+t16211+t16284
++t16302;
+ t15864 = t15714*t15928+t15776*t15913+z*t15996+t15773*t15963+t15881+t16284
;
- t17202 = t17511*t17654+t17143*t17425+t17142*t17292+x*t17415+t17827+y*
-t17388+t17057*t17366+(t17399+t17651)*t17032;
- t17050 = RATIONAL(-25.0,24.0);
- t17201 = t17050*t17364+t17071*t17438+t17231+t17901+RATIONAL(4.0,3.0)*z+(
-t17626+t17645)*t17125+(t17469+t17997)*t17144;
- t17200 = t17054*t17364+t17102*t17582+t17233+t17041*t17438+t17849+t17991*
-t17144+(t17554+t17993)*z;
- t17199 = t17110*t17538+t17815+t17821+(t17104+t16965)*t17143+t18018*y;
- t17198 = t17230+t17144*t16932+t17724+(t16897+t17650)*y+(t16864+t17620+
-t17340)*t17143+t18025;
- t17197 = t16591+t17799+t17102*t17440+t17818+(t17588+t16724)*x+t18059;
- t17196 = t17717+t17229+t17142*t17309+t16838+(t17378+t17999)*z+(t17589+
-t17323+t17639)*x;
- t17195 = t17142*t17531+t17097*t17440+t16822+t17096*t17320+t16873+t17712+
-t17092*t17296+(t17998+t18058)*x+t17999;
- t17194 = t17800+t17144*t17421+t17143*t17276+t16797+t17842+t18029*y+(
-t16684+t17992)*z;
- t17193 = t17144*t16884+t16892+t17724+t17108*t17357+t17137*t17612+t17223+(
-t17381+t17624)*t17143+(t17647+t17600)*y;
- t17192 = t17031*t17357+t16877+t17800+t17143*t17517+t17875+(t17621+t17340)
-*y+(t16779+t18002)*z;
- t17191 = t17715+t17049*t17440+t17041*t17296+t17044*t17320+t17142*t17535+(
-t17574+t17332)*x+t18014+t18046;
- t17190 = t17056*t17357+t16867+t16854+t17714+t17857+(t17623+t17274)*y+
-t17984*z;
- t17189 = t16588+t17799+t17106*t17440+t17820+(t16719+t17601)*x+t18048;
- t17188 = t17717+t16865+t16868+t17142*t17323+t17226+(t17309+t17640)*x+(
-t17411+t17995)*z;
- t17187 = t17715+t17044*t17440+t17049*t17320+t16956+t17051*t17296+t17041*
-t17413+x*t17535+t17142*t17574+t18015+t18043;
- t17186 = t16679+t17056*t17441+t17714+y*t17442+t17143*t17274+t17876+t17968
-*z;
- t17185 = t17142*t17495+t16808+t17712+t17095*t17296+t17093*t17320+(t18013+
-t18049+t18068)*x+t17995;
- t17184 = t17815+t17086*t17393+t17819+t18044*y+(t17072+t16975+t17533)*
-t17143;
- t17183 = t17224+t17767+t17727+t17852+t17881;
- t17182 = t17760+t17713+t17826+t17910;
- t17181 = t17953+t17663+t17955;
- t17180 = t15971+t17811+t17219+t17252+t17830+t17890+t17917;
- t17179 = t17225+t17686+t17966+t17979;
- t17178 = t17763+t17228+t17728+t17859+t17926+t17945;
- t17177 = t17681+t15741+t17218+t17797+t17913;
- t17176 = t17752+t17718+t17722+t17781;
- t17175 = t17711+t17938+t17965+t17966;
- t17174 = t17770+t17222+t17776+t17871+t17895;
- t17173 = t17716+t15940+t17796+t17218+t17890+t17911;
- t17172 = t17756+t17747+t17759+t17774;
- t17171 = t17813+t17243+t15966+t17812+t17832+t17868+t17882;
- t17170 = t17789+t17749+t17739+t17840+t17970;
- t17169 = t17228+t17725+t17795+t17885+t17938+t17941;
- t17168 = t17718+t17754+t17773+t17785;
- t17167 = t17686+t17903+t17965+t17977;
- t17166 = t17721+t17718+t17780+t17788;
- t17165 = t15875+t17745+t17227+t17778+t17867+t17914;
- t17164 = t17738+t17713+t17825+t17909;
- t17163 = t17732+t17755+t16525+t17747+t17802;
- t17162 = t17225+t17801+t15685+t17731+t17862+t17882;
- t17161 = t17953+t17662+t17957;
- t17160 = t17956+t17663+t17957;
- t17159 = t17729+t17817+t17221+t15741+t17882+t17887;
- t17158 = t17766+t17222+t17742+t17867+t17888;
- t17157 = t17779+t17718+t17783+t17784;
- t17156 = t17224+t17711+t17822+t17977+t17979;
- t17155 = t17955+t17662+t17956;
- t17154 = t17227+t17460+t17733+t17803+t17895+t17908;
- t17153 = t17726+t17798+t17789+t17829+t17916;
- t17152 = t17681+t17219+t15966+t17719+t17915;
- t17132 = RATIONAL(-1.0,8.0);
- t17122 = RATIONAL(1.0,8.0);
- t17120 = RATIONAL(5.0,3.0);
- t17115 = RATIONAL(5.0,8.0);
- t17113 = RATIONAL(-5.0,4.0);
- t17094 = RATIONAL(-1.0,16.0);
- t17090 = RATIONAL(5.0,64.0);
- t17082 = RATIONAL(5.0,32.0);
- t17081 = RATIONAL(5.0,16.0);
- t17069 = RATIONAL(-5.0,64.0);
- t17068 = RATIONAL(25.0,8.0);
- t17037 = RATIONAL(25.0,48.0);
- t17033 = RATIONAL(-25.0,12.0);
- coeffs_dz->coeff_m2_m2_m2 = t17658+t17656+t17160;
- coeffs_dz->coeff_m1_m2_m2 = t17158+t17736+t17595+t17796+t17807+t17810;
- coeffs_dz->coeff_0_m2_m2 = t17698+t17682+t17186;
- coeffs_dz->coeff_p1_m2_m2 = t17745+t17158+t17804+t17518+t17748+t17983+
-t17996+t18003;
- coeffs_dz->coeff_p2_m2_m2 = t17181+t17963+t17950+t17962+t17964;
- coeffs_dz->coeff_m2_m1_m2 = t17182+t15847+t15966+t17671+t17665;
- coeffs_dz->coeff_m1_m1_m2 = t17664+t17179+t17673;
- coeffs_dz->coeff_0_m1_m2 = t17693+t17689+t17192;
- coeffs_dz->coeff_p1_m1_m2 = t17657+t17175+t17672;
- coeffs_dz->coeff_p2_m1_m2 = t17243+t17676+t17177+t17670;
- coeffs_dz->coeff_m2_0_m2 = t17701+t17694+t17187;
- coeffs_dz->coeff_m1_0_m2 = t17691+t17690+t17197;
- coeffs_dz->coeff_0_0_m2 = (t17049*t17145+t17018*t17141+t17096)*t17139+(
-RATIONAL(-1.0,4.0)+t17094*t17145+t17081*t17141+(RATIONAL(-25.0,64.0)*t17141+
-t17081+t17090*t17145)*t17139+(t17094+t17090*t17141+RATIONAL(-1.0,64.0)*t17145)*
-t17146)*t17140+(t17049*t17141+t17051*t17145+t17092)*t17146+t17200+t17240;
- coeffs_dz->coeff_p1_0_m2 = t17189+t17687+t17690;
- coeffs_dz->coeff_p2_0_m2 = t17701+t17685+t17191;
- coeffs_dz->coeff_m2_p1_m2 = t17674+t17182+t15685+t17666+t15741;
- coeffs_dz->coeff_m1_p1_m2 = t17657+t17156+t17668;
- coeffs_dz->coeff_0_p1_m2 = t17693+t17194+t17692;
- coeffs_dz->coeff_p1_p1_m2 = t17664+t17167+t17669;
- coeffs_dz->coeff_p2_p1_m2 = t17667+t17244+t17676+t17152;
- coeffs_dz->coeff_m2_p2_m2 = t17661+t17155+t17950+t17951;
- coeffs_dz->coeff_m1_p2_m2 = t17790+t17766+t17173+t17250+t17810+t17830;
- coeffs_dz->coeff_0_p2_m2 = t17699+t17698+t17190;
- coeffs_dz->coeff_p1_p2_m2 = t17745+t17716+t17736+t17180+t17766;
- coeffs_dz->coeff_p2_p2_m2 = t17161+t17658+t17960+t17963;
- coeffs_dz->coeff_m2_m2_m1 = t17755+t17154+t17759+t17761+t17777;
- coeffs_dz->coeff_m1_m2_m1 = t17762+t17763+t17162+t17832+t15741+t17909+
-t17974+t17987;
- coeffs_dz->coeff_0_m2_m1 = t17710+t17703+t17199;
- coeffs_dz->coeff_p1_m2_m1 = t17178+t17801+t17532+t17768+t17737+t17812;
- coeffs_dz->coeff_p2_m2_m1 = t17802+t17596+t17761+t17741+t17172+t17803;
- coeffs_dz->coeff_m2_m1_m1 = t17762+t17814+t17153+t17518+t17749+t17980+
-t17985;
- coeffs_dz->coeff_m1_m1_m1 = t17779+t17752+t17168+t17780+t17791;
- coeffs_dz->coeff_0_m1_m1 = t17198+t17695+t17696;
- coeffs_dz->coeff_p1_m1_m1 = t17788+t17785+t17157+t17781+t17791;
- coeffs_dz->coeff_p2_m1_m1 = t17250+t17749+t17169+t17727+t17809+t17829;
- coeffs_dz->coeff_m2_0_m1 = t17196+t17702+t17678;
- coeffs_dz->coeff_m1_0_m1 = t17709+t17195+t17708;
- coeffs_dz->coeff_0_0_m1 = t17201+t17238*t17146+(t17122*t17145+RATIONAL(
-1.0,2.0)+t17119*t17141+t17239*t17139+(t17074*t17141+RATIONAL(1.0,32.0)*t17145+
-t17122)*t17146)*t17140+(t17131+t17106*t17145+t17050*t17141)*t17139+t17242;
- coeffs_dz->coeff_p1_0_m1 = t17697+t17709+t17185;
- coeffs_dz->coeff_p2_0_m1 = t17188+t17702+t17704;
- coeffs_dz->coeff_m2_p1_m1 = t17798+t17245+t17169+t17746+t17814+t17823;
- coeffs_dz->coeff_m1_p1_m1 = t17723+t17752+t17157+t17721+t17754;
- coeffs_dz->coeff_0_p1_m1 = t17695+t17706+t17193;
- coeffs_dz->coeff_p1_p1_m1 = t17723+t17779+t17166+t17773+t17781;
- coeffs_dz->coeff_p2_p1_m1 = t17726+t17794+t17183+t17739+t17795;
- coeffs_dz->coeff_m2_p2_m1 = t17732+t17593+t17777+t17172+t17805+t17806;
- coeffs_dz->coeff_m1_p2_m1 = t17729+t17772+t17171+t17768+t17853+t17989+
-t18001;
- coeffs_dz->coeff_0_p2_m1 = t17184+t17703+t17700;
- coeffs_dz->coeff_p1_p2_m1 = t17253+t17159+t17731+t17768+t17813+t17831;
- coeffs_dz->coeff_p2_p2_m1 = t17733+t17163+t17759+t17741+t17776;
- coeffs_dz->coeff_m2_m2_0 = t17207+t17764+t17775;
- coeffs_dz->coeff_m1_m2_0 = t17753+t17205+t17765;
- coeffs_dz->coeff_0_m2_0 = t17215+t17211*y+t17210*t17143;
- coeffs_dz->coeff_p1_m2_0 = t17750+t17206+t17765;
- coeffs_dz->coeff_p2_m2_0 = t17202+t17764+t17786;
- coeffs_dz->coeff_m2_m1_0 = t17720+t17209+t17787;
- coeffs_dz->coeff_m1_m1_0 = t17208+t17734+t17757;
- coeffs_dz->coeff_0_m1_0 = t17214+((t17116+t17101*t17146+t17102*t17139)*
-t17144+(t17563+t17037*t17139+t17100)*z)*t17143+((t17134+t17469+t17114*t17146)*
-t17144+(t17120+t17033*t17139+t17530)*z)*y;
- coeffs_dz->coeff_p1_m1_0 = t17208+t17744+t17769;
- coeffs_dz->coeff_p2_m1_0 = t17203+t17787+t17792;
- coeffs_dz->coeff_m2_0_0 = t17213*t17142+t17212*x+t17217;
- coeffs_dz->coeff_m1_0_0 = t17216+(t17242*t17144+(t17479+t17120+t17033*
-t17141)*z)*x+(t17237*t17144+(t17488+t17100+t17037*t17141)*z)*t17142;
- coeffs_dz->coeff_0_0_0 = (t17113*t17141+1.0+t17121*t17145+(t17113+t17066*
-t17145+RATIONAL(25.0,16.0)*t17141)*t17139+t17235*t17146)*t17144+(t17119*t17145+
-t17068*t17141+RATIONAL(-5.0,2.0)+(t17034*t17145+t17068+RATIONAL(-125.0,32.0)*
-t17141)*t17139+t17239*t17146)*z;
- coeffs_dz->coeff_p1_0_0 = t17216+(t17238*t17144+(t17093*t17145+t17036*
-t17141+t17097)*z)*t17142+(t17241*t17144+(t17035*t17141+t17124+t17100*t17145)*z)
-*x;
- coeffs_dz->coeff_p2_0_0 = t17212*t17142+t17217+t17213*x;
- coeffs_dz->coeff_m2_p1_0 = t17782+t17209+t17792;
- coeffs_dz->coeff_m1_p1_0 = t17204+t17734+t17744;
- coeffs_dz->coeff_0_p1_0 = t17214+((t17116*t17146+t17128*t17139+t17135)*
-t17144+(t17124+t17035*t17139+t17100*t17146)*z)*y+((t17114+t17099*t17146+t17106*
-t17139)*t17144+(t17097+t17036*t17139+t17093*t17146)*z)*t17143;
- coeffs_dz->coeff_p1_p1_0 = t17204+t17757+t17769;
- coeffs_dz->coeff_p2_p1_0 = t17720+t17203+t17782;
- coeffs_dz->coeff_m2_p2_0 = t17202+t17771+t17775;
- coeffs_dz->coeff_m1_p2_0 = t17750+t17205+t17751;
- coeffs_dz->coeff_0_p2_0 = t17211*t17143+t17215+t17210*y;
- coeffs_dz->coeff_p1_p2_0 = t17206+t17751+t17753;
- coeffs_dz->coeff_p2_p2_0 = t17207+t17771+t17786;
- coeffs_dz->coeff_m2_m2_p1 = t16525+t17733+t17174+t17777+t17748+t17978+
-t17981;
- coeffs_dz->coeff_m1_m2_p1 = t17178+t17772+t17813+t17743+t17597+t17817;
- coeffs_dz->coeff_0_m2_p1 = t17184+t17705+t17710;
- coeffs_dz->coeff_p1_m2_p1 = t17171+t17731+t17737+t17743+t17763;
- coeffs_dz->coeff_p2_m2_p1 = t17755+t16573+t17174+t17774+t17741+t17806;
- coeffs_dz->coeff_m2_m1_p1 = t17170+t17794+t17767+t17798+t17855+t17885;
- coeffs_dz->coeff_m1_m1_p1 = t17723+t17176+t17783+t17780+t17785;
- coeffs_dz->coeff_0_m1_p1 = t17198+t17707+t17706;
- coeffs_dz->coeff_p1_m1_p1 = t17723+t17168+t17722+t17784+t17788;
- coeffs_dz->coeff_p2_m1_p1 = t17726+t17170+t15849+t17725+t17727+t17814;
- coeffs_dz->coeff_m2_0_p1 = t17196+t17679+t17704;
- coeffs_dz->coeff_m1_0_p1 = t17677+t17185+t17708;
- coeffs_dz->coeff_0_0_p1 = (t17115*t17141+t17132*t17145+RATIONAL(-1.0,2.0)
-+(t17082*t17145+RATIONAL(-25.0,32.0)*t17141+t17115)*t17139+(t17082*t17141+
-RATIONAL(-1.0,32.0)*t17145+t17132)*t17146)*t17140+t17201+t17237*t17146+(t17102*
-t17145+RATIONAL(25.0,24.0)*t17141+t17128)*t17139+t17241;
- coeffs_dz->coeff_p1_0_p1 = t17697+t17677+t17195;
- coeffs_dz->coeff_p2_0_p1 = t17188+t17679+t17678;
- coeffs_dz->coeff_m2_p1_p1 = t17740+t17153+t17595+t17809+t17746+t17970+
-t17982;
- coeffs_dz->coeff_m1_p1_p1 = t17176+t17721+t17784+t17773+t17791;
- coeffs_dz->coeff_0_p1_p1 = t17707+t17696+t17193;
- coeffs_dz->coeff_p1_p1_p1 = t17166+t17722+t17754+t17783+t17791;
- coeffs_dz->coeff_p2_p1_p1 = t17814+t17252+t17183+t17730+t17829+t17885+
-t17970;
- coeffs_dz->coeff_m2_p2_p1 = t17770+t17163+t16640+t17777+t17774+t17803;
- coeffs_dz->coeff_m1_p2_p1 = t17729+t17740+t15966+t17162+t17728+t17976+
-t17986;
- coeffs_dz->coeff_0_p2_p1 = t17705+t17199+t17700;
- coeffs_dz->coeff_p1_p2_p1 = t17159+t17244+t17801+t17730+t17832+t17859+
-t17976;
- coeffs_dz->coeff_p2_p2_p1 = t17732+t17756+t17154+t17741+t17770;
- coeffs_dz->coeff_m2_m2_p2 = t17155+t17959+t17655+t17964;
- coeffs_dz->coeff_m1_m2_p2 = t17778+t17790+t17793+t17180+t17796;
- coeffs_dz->coeff_0_m2_p2 = t17699+t17683+t17186;
- coeffs_dz->coeff_p1_m2_p2 = t17165+t17736+t15940+t17793+t17804+t17830+
-t17916;
- coeffs_dz->coeff_p2_m2_p2 = t17161+t17656+t17954+t17962;
- coeffs_dz->coeff_m2_m1_p2 = t17674+t17164+t17532+t17671;
- coeffs_dz->coeff_m1_m1_p2 = t17179+t17659+t17669;
- coeffs_dz->coeff_0_m1_p2 = t17192+t17688+t17692;
- coeffs_dz->coeff_p1_m1_p2 = t17175+t17668+t17660;
- coeffs_dz->coeff_p2_m1_p2 = t17667+t17675+t15685+t17177+t17910;
- coeffs_dz->coeff_m2_0_p2 = t17191+t17694+t17684;
- coeffs_dz->coeff_m1_0_p2 = t17189+t17691+t17680;
- coeffs_dz->coeff_0_0_p2 = (t17041*t17145+t17545+t17095)*t17146+(t17019*
-t17141+t17093+t17467)*t17139+((t17066+t17069*t17145+RATIONAL(25.0,64.0)*t17141)
-*t17139+(t17065+t17069*t17141+RATIONAL(1.0,64.0)*t17145)*t17146+t17235)*t17140+
-t17200+t17236;
- coeffs_dz->coeff_p1_0_p2 = t17687+t17680+t17197;
- coeffs_dz->coeff_p2_0_p2 = t17685+t17187+t17684;
- coeffs_dz->coeff_m2_p1_p2 = t17164+t17666+t17665+t17597;
- coeffs_dz->coeff_m1_p1_p2 = t17156+t17672+t17660;
- coeffs_dz->coeff_0_p1_p2 = t17689+t17194+t17688;
- coeffs_dz->coeff_p1_p1_p2 = t17167+t17659+t17673;
- coeffs_dz->coeff_p2_p1_p2 = t17253+t17675+t17152+t17670;
- coeffs_dz->coeff_m2_p2_p2 = t17661+t17160+t17655;
- coeffs_dz->coeff_m1_p2_p2 = t17778+t17173+t17736+t17245+t17811+t17824;
- coeffs_dz->coeff_0_p2_p2 = t17683+t17682+t17190;
- coeffs_dz->coeff_p1_p2_p2 = t15971+t17790+t17716+t17165+t17742+t17807;
- coeffs_dz->coeff_p2_p2_p2 = t17181+t17951+t17954+t17959+t17960;
+ t15863 = t16203+t16372*t15709+t16371*t15705+t16374*t15696+t16370*t15686;
+ t15862 = t16203+t16370*t15709+t16374*t15705+t16371*t15696+t16372*t15686;
+ t15861 = t15711*t16000+y*t15366+t15878+t15758*t16003+x*t15415+t16236;
+ t15860 = t15711*t16003+t15758*t16000+y*t15419+t15878+x*t15359+t16233;
+ t15859 = t15877+y*t15436+t15688*t16000+x*t15486+t15724*t16003+t16236;
+ t15858 = t15688*t16003+y*t15490+t15724*t16000+x*t15430+t15877+t16233;
+ t15857 = t16219+t16226+t16235+t16241;
+ t15856 = t15718*t16027+t15721*t15933+t15746*t15924+t16200+y*t15547+t16383
+*x+t16372*t15761;
+ t15855 = t15765*t16027+y*t15570+t15736*t15924+t15755*t15933+t16200+t16384
+*x+t16372*t15727;
+ t15854 = t15704*t15936+t15882+t16260+t15776*t15792+t15679*t15921+t16373*
+t15760+(t15987+t16377)*z;
+ t15715 = RATIONAL(-25.0,24.0);
+ t15853 = t15741*t15936+t15881+t15715*t15921+RATIONAL(4.0,3.0)*z+t15784*
+t15792+t16211+(t16017+t16011)*t15778+t16373*t15769;
+ t15852 = t16135+t15704*t15919+t15745*t15971+t15687*t15915+t15710*t15940+
+t15695*t15942+t16378*x+t16408+t16436;
+ t15851 = t16135+t15687*t15940+t15704*t15942+t15710*t15915+t15735*t15971+
+t15695*t15919+t16379*x+t16407+t16439;
+ t15850 = t15687*t15916+t16134+t15745*t15972+t15695*t15939+t15710*t15937+
+t15704*t15918+t16378*y+t16410+t16437;
+ t15849 = t16134+t15704*t15939+t15735*t15972+t15695*t15918+t15687*t15937+
+t15710*t15916+t16379*y+t16409+t16438;
+ t15848 = t15760*t15940+t16195+t16199+t15323+(t15980+t15407)*x+t16434;
+ t15847 = t16195+t16196+t15726*t15940+t15180+(t15478+t15977)*x+t16433;
+ t15846 = t16190+t15721*t15922+t15490+t15635*t16029+t15755*t15946+t16212+
+t16381*z+(t16020+t15991)*x;
+ t15845 = t15621*t16029+t15419+t15755*t15922+t16190+t15721*t15946+t16215+
+t16387*z+(t15985+t16021)*x;
+ t15844 = t16194+t15760*t15937+t15325+t16198+(t15980+t15411)*y+t16435;
+ t15843 = t16194+t15726*t15937+t15182+t16197+(t15482+t15977)*y+t16430;
+ t15842 = t15755*t15943+y*t16020+t15416+t15637*t16028+t16192+t16213+t15486
++t15721*t15923+t16382*z;
+ t15841 = y*t16021+t15415+t16192+t15755*t15923+t15488+t16214+t15623*t16028
++t15721*t15943+t16380*z;
+ t15840 = t15745*t15919+t15751*t15971+t15767*t16014+t15723*t15915+t15514+
+t16131+t15763*t15940+(t16375+t16391)*x+t16381;
+ t15839 = t15767*t16008+t15763*t15937+t15751*t15972+t15516+t16130+t15745*
+t15918+t15723*t15916+(t16375+t16390)*y+t16382;
+ t15838 = t15735*t15919+t15741*t15971+t15786*t16014+t15757*t15915+t15341+
+t15729*t15940+t16131+(t16376+t16386)*x+t16387;
+ t15837 = t15729*t15937+t15735*t15918+t15343+t15786*t16008+t15741*t15972+
+t15757*t15916+t16130+(t16376+t16385)*y+t16380;
+ t15836 = t16174+t16070+t16183;
+ t15835 = t16109+t16339+t16343;
+ t15834 = t16108+t16336+t16343;
+ t15833 = t16108+t16339+t16345;
+ t15832 = t16109+t16336+t16345;
+ t15831 = t16144+t16132+t16156;
+ t15830 = t16153+t16152+t16150+t16154;
+ t15829 = t16129+t16349+t16354;
+ t15828 = t16129+t16350+t16351;
+ t15827 = t16127+t16344+t16347;
+ t15826 = t16128+t16349+t16351;
+ t15825 = t16128+t16350+t16354;
+ t15824 = t15869+t16146+t15900+t16202+t16232+t16269;
+ t15823 = t16048+t16310+t16315;
+ t15822 = t16313+t16047+t16315;
+ t15821 = t16047+t16310+t16320;
+ t15820 = t16313+t16048+t16320;
+ t15819 = t15271+t15857+t16206+t16232+t16249+t16268;
+ t15818 = t16127+t16332+t16348;
+ t15817 = t16069+t16178+t16180;
+ t15816 = t16177+t16069+t16179;
+ t15815 = t16070+t16173+t16184;
+ t15814 = t16141+t16145+t16154+t16159;
+ t15813 = t14588+t16133+t16157+t16189;
+ t15812 = t16133+t16158+t14423+t16186;
+ t15811 = t16126+t16344+t16348;
+ t15810 = t16126+t16332+t16347;
+ t15809 = t16132+t16143+t16155;
+ t15808 = t15870+t16107+t16235+t16277+t16357+t16395;
+ t15807 = t16148+t15869+t16226+t16234+t16359+t16393+t16395;
+ t15806 = t15868+t16107+t16220+t16359+t16394+t16398;
+ t15805 = t16148+t15857+t16357+t16392+t16398;
+ t15789 = RATIONAL(-5.0,4.0);
+ t15780 = RATIONAL(-1.0,8.0);
+ t15775 = RATIONAL(1.0,8.0);
+ t15770 = RATIONAL(5.0,3.0);
+ t15768 = RATIONAL(5.0,8.0);
+ t15756 = RATIONAL(-5.0,64.0);
+ t15750 = RATIONAL(-1.0,16.0);
+ t15728 = RATIONAL(5.0,16.0);
+ t15725 = RATIONAL(5.0,32.0);
+ t15722 = RATIONAL(5.0,64.0);
+ t15717 = RATIONAL(25.0,8.0);
+ t15716 = RATIONAL(-25.0,12.0);
+ t15680 = RATIONAL(25.0,48.0);
+ coeffs_dz->coeff_m2_m2_m2 = t16066+t15816+t16068;
+ coeffs_dz->coeff_m1_m2_m2 = t16056+t15826+t16090;
+ coeffs_dz->coeff_0_m2_m2 = t16123+t15849+t16120;
+ coeffs_dz->coeff_p1_m2_m2 = t15829+t16088+t16058;
+ coeffs_dz->coeff_p2_m2_m2 = t16064+t16061+t15815;
+ coeffs_dz->coeff_m2_m1_m2 = t16077+t16054+t15810;
+ coeffs_dz->coeff_m1_m1_m2 = t15819+t16142+t16146+t16150+t16159;
+ coeffs_dz->coeff_0_m1_m2 = t16116+t16096+t15844;
+ coeffs_dz->coeff_p1_m1_m2 = t16142+t16145+t16152+t15824+t16160;
+ coeffs_dz->coeff_p2_m1_m2 = t16053+t15818+t16075;
+ coeffs_dz->coeff_m2_0_m2 = t16121+t16122+t15851;
+ coeffs_dz->coeff_m1_0_m2 = t16117+t15848+t16095;
+ coeffs_dz->coeff_0_0_m2 = (t15695*t15797+t15735+t15710*t15799)*t15794+(
+t15665*t15799+t15710*t15797+t15757)*t15796+(RATIONAL(-1.0,4.0)+t15750*t15797+
+t15728*t15799+(RATIONAL(-25.0,64.0)*t15799+t15722*t15797+t15728)*t15796+(
+RATIONAL(-1.0,64.0)*t15797+t15722*t15799+t15750)*t15794)*t15793+t15854+t15896;
+ coeffs_dz->coeff_p1_0_m2 = t15847+t16111+t16095;
+ coeffs_dz->coeff_p2_0_m2 = t16121+t15852+t16125;
+ coeffs_dz->coeff_m2_p1_m2 = t16059+t16076+t15810;
+ coeffs_dz->coeff_m1_p1_m2 = t16142+t15814+t16153+t15899+t16191+t16202;
+ coeffs_dz->coeff_0_p1_m2 = t16110+t15843+t16096;
+ coeffs_dz->coeff_p1_p1_m2 = t16141+t16142+t15830+t15205+t16140+t16187;
+ coeffs_dz->coeff_p2_p1_m2 = t16060+t15818+t16078;
+ coeffs_dz->coeff_m2_p2_m2 = t16065+t15836+t16061;
+ coeffs_dz->coeff_m1_p2_m2 = t16056+t15825+t16087;
+ coeffs_dz->coeff_0_p2_m2 = t15850+t16124+t16120;
+ coeffs_dz->coeff_p1_p2_m2 = t15828+t16089+t16058;
+ coeffs_dz->coeff_p2_p2_m2 = t16067+t16063+t15816;
+ coeffs_dz->coeff_m2_m2_m1 = t16084+t16052+t15832;
+ coeffs_dz->coeff_m1_m2_m1 = t16041+t15813+t16036;
+ coeffs_dz->coeff_0_m2_m1 = t16113+t16101+t15841;
+ coeffs_dz->coeff_p1_m2_m1 = t16072+t15951+t15809+t16073;
+ coeffs_dz->coeff_p2_m2_m1 = t16085+t16052+t15833;
+ coeffs_dz->coeff_m2_m1_m1 = t15805+t16080+t16038;
+ coeffs_dz->coeff_m1_m1_m1 = t16044+t15822+t16032;
+ coeffs_dz->coeff_0_m1_m1 = t16106+t15837+t16097;
+ coeffs_dz->coeff_p1_m1_m1 = t16031+t16035+t15820;
+ coeffs_dz->coeff_p2_m1_m1 = t16079+t15807+t16039;
+ coeffs_dz->coeff_m2_0_m1 = t16112+t15845+t16103;
+ coeffs_dz->coeff_m1_0_m1 = t16105+t15838+t16098;
+ coeffs_dz->coeff_0_0_m1 = (RATIONAL(1.0,2.0)+t15775*t15797+t15787*t15799+
+t15893*t15796+(t15775+t15759*t15799+RATIONAL(1.0,32.0)*t15797)*t15794)*t15793+
+t15853+(t15769+t15726*t15797+t15715*t15799)*t15796+t15889*t15794+t15884;
+ coeffs_dz->coeff_p1_0_m1 = t15840+t16098+t16094;
+ coeffs_dz->coeff_p2_0_m1 = t16099+t16112+t15846;
+ coeffs_dz->coeff_m2_p1_m1 = t16081+t15808+t16038;
+ coeffs_dz->coeff_m1_p1_m1 = t16045+t16033+t15822;
+ coeffs_dz->coeff_0_p1_m1 = t15839+t16097+t16093;
+ coeffs_dz->coeff_p1_p1_m1 = t16046+t16034+t15820;
+ coeffs_dz->coeff_p2_p1_m1 = t15806+t16082+t16039;
+ coeffs_dz->coeff_m2_p2_m1 = t15835+t16051+t16083;
+ coeffs_dz->coeff_m1_p2_m1 = t16071+t15831+t16073+t15953;
+ coeffs_dz->coeff_0_p2_m1 = t15842+t16113+t16100;
+ coeffs_dz->coeff_p1_p2_m1 = t15813+t16037+t16040;
+ coeffs_dz->coeff_p2_p2_m1 = t15834+t16086+t16051;
+ coeffs_dz->coeff_m2_m2_0 = t15862+t16170+t16172;
+ coeffs_dz->coeff_m1_m2_0 = t16163+t15861+t16166;
+ coeffs_dz->coeff_0_m2_0 = (t15896*y+t15895*t15795)*t15792+t15866+(t15892*
+y+t15890*t15795)*z;
+ coeffs_dz->coeff_p1_m2_0 = t16163+t15859+t16167;
+ coeffs_dz->coeff_p2_m2_0 = t16169+t15863+t16172;
+ coeffs_dz->coeff_m2_m1_0 = t15860+t16161+t16165;
+ coeffs_dz->coeff_m1_m1_0 = t15855+t16138+t16139;
+ coeffs_dz->coeff_0_m1_0 = (t15884*y+t15886*t15795)*t15792+t15864+((t15716
+*t15799+t15770+t15995)*y+(t15763+t15680*t15799+t15983)*t15795)*z;
+ coeffs_dz->coeff_p1_m1_0 = t15856+t16136+t16139;
+ coeffs_dz->coeff_p2_m1_0 = t15858+t16162+t16165;
+ coeffs_dz->coeff_m2_0_0 = (t15887*x+t15888*t15798)*t15792+t15867+(t15894*
+x+t15891*t15798)*z;
+ coeffs_dz->coeff_m1_0_0 = t15865+((t15716*t15796+t15770+t15996)*x+(t15680
+*t15796+t15984+t15763)*t15798)*z+((t15784+t15781*t15794+t15769*t15796)*x+(
+t15760*t15796+t15738*t15794+t15776)*t15798)*t15792;
+ coeffs_dz->coeff_0_0_0 = (t15777*t15797+1.0+t15789*t15799+(t15762*t15797+
+t15789+RATIONAL(25.0,16.0)*t15799)*t15796+t15885*t15794)*t15792+(t15787*t15797+
+RATIONAL(-5.0,2.0)+t15717*t15799+(t15717+t15681*t15797+RATIONAL(-125.0,32.0)*
+t15799)*t15796+t15893*t15794)*z;
+ coeffs_dz->coeff_p1_0_0 = ((t15682*t15796+t15790+t15763*t15794)*x+(t15714
+*t15796+t15729+t15723*t15794)*t15798)*z+((t15788*t15796+t15773+t15776*t15794)*x
++(t15748*t15794+t15781+t15726*t15796)*t15798)*t15792+t15865;
+ coeffs_dz->coeff_p2_0_0 = t15867+(t15891*x+t15894*t15798)*z+(t15888*x+
+t15887*t15798)*t15792;
+ coeffs_dz->coeff_m2_p1_0 = t15858+t16161+t16168;
+ coeffs_dz->coeff_m1_p1_0 = t15856+t16137+t16138;
+ coeffs_dz->coeff_0_p1_0 = t15864+((t15763*t15797+t15682*t15799+t15790)*y+
+(t15729+t15723*t15797+t15714*t15799)*t15795)*z+(t15883*y+t15889*t15795)*t15792;
+ coeffs_dz->coeff_p1_p1_0 = t15855+t16136+t16137;
+ coeffs_dz->coeff_p2_p1_0 = t15860+t16162+t16168;
+ coeffs_dz->coeff_m2_p2_0 = t15863+t16170+t16171;
+ coeffs_dz->coeff_m1_p2_0 = t16164+t15859+t16166;
+ coeffs_dz->coeff_0_p2_0 = (t15890*y+t15892*t15795)*z+(t15895*y+t15896*
+t15795)*t15792+t15866;
+ coeffs_dz->coeff_p1_p2_0 = t16164+t15861+t16167;
+ coeffs_dz->coeff_p2_p2_0 = t15862+t16169+t16171;
+ coeffs_dz->coeff_m2_m2_p1 = t16050+t15835+t16086;
+ coeffs_dz->coeff_m1_m2_p1 = t15952+t16071+t15809+t16074;
+ coeffs_dz->coeff_0_m2_p1 = t15841+t16114+t16100;
+ coeffs_dz->coeff_p1_m2_p1 = t16041+t15812+t16037;
+ coeffs_dz->coeff_p2_m2_p1 = t16050+t15834+t16083;
+ coeffs_dz->coeff_m2_m1_p1 = t16042+t15807+t16082;
+ coeffs_dz->coeff_m1_m1_p1 = t15823+t16033+t16044;
+ coeffs_dz->coeff_0_m1_p1 = t16092+t16106+t15839;
+ coeffs_dz->coeff_p1_m1_p1 = t16034+t16035+t15821;
+ coeffs_dz->coeff_p2_m1_p1 = t16043+t16081+t15805;
+ coeffs_dz->coeff_m2_0_p1 = t16099+t15845+t16115;
+ coeffs_dz->coeff_m1_0_p1 = t16105+t16091+t15840;
+ coeffs_dz->coeff_0_0_p1 = t15853+(t15780*t15797+t15768*t15799+RATIONAL(
+-1.0,2.0)+(RATIONAL(-25.0,32.0)*t15799+t15725*t15797+t15768)*t15796+(t15780+
+t15725*t15799+RATIONAL(-1.0,32.0)*t15797)*t15794)*t15793+(t15760*t15797+t15788+
+RATIONAL(25.0,24.0)*t15799)*t15796+t15886*t15794+t15883;
+ coeffs_dz->coeff_p1_0_p1 = t15838+t16091+t16094;
+ coeffs_dz->coeff_p2_0_p1 = t15846+t16115+t16103;
+ coeffs_dz->coeff_m2_p1_p1 = t16042+t15806+t16079;
+ coeffs_dz->coeff_m1_p1_p1 = t15823+t16045+t16032;
+ coeffs_dz->coeff_0_p1_p1 = t16092+t15837+t16093;
+ coeffs_dz->coeff_p1_p1_p1 = t16031+t16046+t15821;
+ coeffs_dz->coeff_p2_p1_p1 = t16043+t16080+t15808;
+ coeffs_dz->coeff_m2_p2_p1 = t16085+t16049+t15832;
+ coeffs_dz->coeff_m1_p2_p1 = t15812+t16040+t16036;
+ coeffs_dz->coeff_0_p2_p1 = t15842+t16101+t16114;
+ coeffs_dz->coeff_p1_p2_p1 = t16072+t16074+t15831+t15949;
+ coeffs_dz->coeff_p2_p2_p1 = t16049+t16084+t15833;
+ coeffs_dz->coeff_m2_m2_p2 = t16065+t16062+t15815;
+ coeffs_dz->coeff_m1_m2_p2 = t16055+t15829+t16089;
+ coeffs_dz->coeff_0_m2_p2 = t16123+t15850+t16119;
+ coeffs_dz->coeff_p1_m2_p2 = t16057+t16087+t15826;
+ coeffs_dz->coeff_p2_m2_p2 = t15817+t16063+t16068;
+ coeffs_dz->coeff_m2_m1_p2 = t16053+t15827+t16078;
+ coeffs_dz->coeff_m1_m1_p2 = t16147+t16160+t15814+t15904+t16187+t16201;
+ coeffs_dz->coeff_0_m1_p2 = t16116+t15843+t16102;
+ coeffs_dz->coeff_p1_m1_p2 = t16141+t15819+t16147+t16152+t16202+t16270;
+ coeffs_dz->coeff_p2_m1_p2 = t16054+t16076+t15811;
+ coeffs_dz->coeff_m2_0_p2 = t16122+t16118+t15852;
+ coeffs_dz->coeff_m1_0_p2 = t16104+t16117+t15847;
+ coeffs_dz->coeff_0_0_p2 = ((RATIONAL(25.0,64.0)*t15799+t15756*t15797+
+t15762)*t15796+(t15756*t15799+t15740+RATIONAL(1.0,64.0)*t15797)*t15794+t15885)*
+t15793+(t15745+t15687*t15799+t15704*t15797)*t15794+t15854+(t15687*t15797+t15723
++t15678*t15799)*t15796+t15895;
+ coeffs_dz->coeff_p1_0_p2 = t16104+t15848+t16111;
+ coeffs_dz->coeff_p2_0_p2 = t16118+t15851+t16125;
+ coeffs_dz->coeff_m2_p1_p2 = t16060+t15827+t16075;
+ coeffs_dz->coeff_m1_p1_p2 = t16147+t16153+t15824+t16140+t16159;
+ coeffs_dz->coeff_0_p1_p2 = t16110+t16102+t15844;
+ coeffs_dz->coeff_p1_p1_p2 = t16147+t15271+t15830+t16146+t16145+t16191;
+ coeffs_dz->coeff_p2_p1_p2 = t16077+t16059+t15811;
+ coeffs_dz->coeff_m2_p2_p2 = t15817+t16067+t16066;
+ coeffs_dz->coeff_m1_p2_p2 = t16055+t15828+t16088;
+ coeffs_dz->coeff_0_p2_p2 = t16124+t16119+t15849;
+ coeffs_dz->coeff_p1_p2_p2 = t16057+t15825+t16090;
+ coeffs_dz->coeff_p2_p2_p2 = t16064+t16062+t15836;
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-17 11:08:47 +0000