aboutsummaryrefslogtreecommitdiff
path: root/src/GeneralizedPolynomial-Uniform/Hermite/3d.coeffs/3d.cube.order3/coeffs-dz.compute.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/GeneralizedPolynomial-Uniform/Hermite/3d.coeffs/3d.cube.order3/coeffs-dz.compute.c')
-rw-r--r--src/GeneralizedPolynomial-Uniform/Hermite/3d.coeffs/3d.cube.order3/coeffs-dz.compute.c4247
1 files changed, 4247 insertions, 0 deletions
diff --git a/src/GeneralizedPolynomial-Uniform/Hermite/3d.coeffs/3d.cube.order3/coeffs-dz.compute.c b/src/GeneralizedPolynomial-Uniform/Hermite/3d.coeffs/3d.cube.order3/coeffs-dz.compute.c
new file mode 100644
index 0000000..951d0b1
--- /dev/null
+++ b/src/GeneralizedPolynomial-Uniform/Hermite/3d.coeffs/3d.cube.order3/coeffs-dz.compute.c
@@ -0,0 +1,4247 @@
+fp t17140;
+fp t17100;
+fp t17141;
+fp t17551;
+fp t17109;
+fp t17554;
+fp t18053;
+fp t17706;
+fp t17696;
+fp t17142;
+fp t17138;
+fp t17568;
+fp t17464;
+fp t18052;
+fp t17004;
+fp t17639;
+fp t16852;
+fp t17570;
+fp t18051;
+fp t17139;
+fp t17677;
+fp t17447;
+fp t17729;
+fp t17705;
+fp t18049;
+fp t17072;
+fp t17605;
+fp t16983;
+fp t18050;
+fp t17137;
+fp t17646;
+fp t17461;
+fp t16364;
+fp t17098;
+fp t17284;
+fp t18048;
+fp t17057;
+fp t16178;
+fp t16883;
+fp t17292;
+fp t18047;
+fp t17080;
+fp t17707;
+fp t16912;
+fp t18046;
+fp t17065;
+fp t17630;
+fp t17094;
+fp t16801;
+fp t18045;
+fp t16960;
+fp t17268;
+fp t16920;
+fp t17684;
+fp t17478;
+fp t15760;
+fp t18044;
+fp t17048;
+fp t17711;
+fp t16667;
+fp t17064;
+fp t18043;
+fp t16969;
+fp t17588;
+fp t16573;
+fp t15491;
+fp t18042;
+fp t16882;
+fp t17640;
+fp t16399;
+fp t16978;
+fp t16792;
+fp t17473;
+fp t18041;
+fp t17125;
+fp t16879;
+fp t17555;
+fp t16406;
+fp t15348;
+fp t18040;
+fp t17685;
+fp t17492;
+fp t17051;
+fp t17718;
+fp t17697;
+fp t16030;
+fp t17068;
+fp t18039;
+fp t17075;
+fp t17717;
+fp t17474;
+fp t15913;
+fp t16991;
+fp t18038;
+fp t16980;
+fp t15600;
+fp t16827;
+fp t17389;
+fp t18037;
+fp t17066;
+fp t17593;
+fp t16665;
+fp t17061;
+fp t17604;
+fp t18036;
+fp t17573;
+fp t16974;
+fp t17606;
+fp t16450;
+fp t18035;
+fp t17721;
+fp t16458;
+fp t16872;
+fp t18034;
+fp t16976;
+fp t17524;
+fp t16484;
+fp t18033;
+fp t17110;
+fp t17360;
+fp t17587;
+fp t17479;
+fp t17106;
+fp t16273;
+fp t18032;
+fp t17738;
+fp t17001;
+fp t16808;
+fp t17082;
+fp t16220;
+fp t18031;
+fp t16977;
+fp t17280;
+fp t15857;
+fp t18030;
+fp t16985;
+fp t17535;
+fp t18029;
+fp t16834;
+fp t17511;
+fp t16389;
+fp t16908;
+fp t17528;
+fp t18028;
+fp t16997;
+fp t16869;
+fp t17385;
+fp t18027;
+fp t16973;
+fp t17589;
+fp t16564;
+fp t18026;
+fp t16885;
+fp t17592;
+fp t16470;
+fp t17058;
+fp t17498;
+fp t17325;
+fp t15905;
+fp t18025;
+fp t17078;
+fp t17663;
+fp t17074;
+fp t17714;
+fp t16714;
+fp t17737;
+fp t18024;
+fp t17047;
+fp t17578;
+fp t17459;
+fp t15981;
+fp t18023;
+fp t16890;
+fp t17063;
+fp t17620;
+fp t17491;
+fp t18022;
+fp t16521;
+fp t17034;
+fp t17532;
+fp t18021;
+fp t16346;
+fp t16878;
+fp t18020;
+fp t16215;
+fp t18019;
+fp t16390;
+fp t16794;
+fp t17442;
+fp t18018;
+fp t18017;
+fp t17698;
+fp t16712;
+fp t15947;
+fp t18016;
+fp t16895;
+fp t17678;
+fp t16479;
+fp t16891;
+fp t18015;
+fp t16829;
+fp t18014;
+fp t17736;
+fp t16265;
+fp t16998;
+fp t18013;
+fp t17314;
+fp t18012;
+fp t17583;
+fp t16682;
+fp t17007;
+fp t17508;
+fp t16592;
+fp t15991;
+fp t18011;
+fp t17107;
+fp t17112;
+fp t18010;
+fp t17089;
+fp t17135;
+fp t16370;
+fp t18009;
+fp t16994;
+fp t16206;
+fp t18008;
+fp t16786;
+fp t16914;
+fp t17497;
+fp t16547;
+fp t18007;
+fp t17013;
+fp t17590;
+fp t16556;
+fp t15501;
+fp t18006;
+fp t16847;
+fp t17336;
+fp t15425;
+fp t16874;
+fp t18005;
+fp t17128;
+fp t17383;
+fp t16359;
+fp t17619;
+fp t17452;
+fp t16933;
+fp t18004;
+fp t17099;
+fp t17614;
+fp t17739;
+fp t16365;
+fp t17059;
+fp t18003;
+fp t17073;
+fp t16863;
+fp t18002;
+fp t17052;
+fp t17521;
+fp t17273;
+fp t16047;
+fp t16943;
+fp t18001;
+fp t16906;
+fp t17712;
+fp t16525;
+fp t17579;
+fp t18000;
+fp t16896;
+fp t16511;
+fp t17999;
+fp t17621;
+fp t16475;
+fp t17998;
+fp t17519;
+fp t17265;
+fp t17997;
+fp t16937;
+fp t17681;
+fp t17472;
+fp t15618;
+fp t17029;
+fp t17996;
+fp t16936;
+fp t15547;
+fp t17995;
+fp t17003;
+fp t16161;
+fp t17994;
+fp t17056;
+fp t16247;
+fp t16898;
+fp t17993;
+fp t16953;
+fp t17575;
+fp t16480;
+fp t16951;
+fp t17992;
+fp t17991;
+fp t17679;
+fp t16766;
+fp t17281;
+fp t16267;
+fp t17990;
+fp t17010;
+fp t17091;
+fp t16122;
+fp t17989;
+fp t17731;
+fp t16934;
+fp t17455;
+fp t17988;
+fp t16862;
+fp t17695;
+fp t17987;
+fp t17092;
+fp t16881;
+fp t17563;
+fp t16388;
+fp t15345;
+fp t17986;
+fp t17734;
+fp t17486;
+fp t16315;
+fp t17041;
+fp t17985;
+fp t17482;
+fp t16079;
+fp t17704;
+fp t17984;
+fp t15999;
+fp t16859;
+fp t17983;
+fp t17488;
+fp t16031;
+fp t17275;
+fp t17982;
+fp t16329;
+fp t17981;
+fp t15665;
+fp t17012;
+fp t17980;
+fp t17561;
+fp t17979;
+fp t17022;
+fp t17539;
+fp t16706;
+fp t17108;
+fp t17978;
+fp t17113;
+fp t16818;
+fp t16958;
+fp t17977;
+fp t17518;
+fp t17434;
+fp t15858;
+fp t16957;
+fp t17713;
+fp t17976;
+fp t16990;
+fp t16993;
+fp t17516;
+fp t16633;
+fp t17691;
+fp t17975;
+fp t17974;
+fp t17093;
+fp t16068;
+fp t17077;
+fp t17973;
+fp t17024;
+fp t15984;
+fp t16902;
+fp t17972;
+fp t17971;
+fp t17266;
+fp t17970;
+fp t17708;
+fp t16609;
+fp t17969;
+fp t16938;
+fp t17550;
+fp t17386;
+fp t15630;
+fp t16893;
+fp t17968;
+fp t17967;
+fp t17122;
+fp t17036;
+fp t17966;
+fp t17095;
+fp t17557;
+fp t16687;
+fp t17965;
+fp t17067;
+fp t17523;
+fp t17070;
+fp t17638;
+fp t16669;
+fp t17964;
+fp t17963;
+fp t16799;
+fp t17515;
+fp t17962;
+fp t16188;
+fp t17961;
+fp t17960;
+fp t17728;
+fp t16584;
+fp t17959;
+fp t17105;
+fp t16815;
+fp t16916;
+fp t17958;
+fp t17035;
+fp t17311;
+fp t15509;
+fp t17957;
+fp t16486;
+fp t17530;
+fp t16448;
+fp t17956;
+fp t16095;
+fp t16544;
+fp t17955;
+fp t17000;
+fp t16996;
+fp t17954;
+fp t16810;
+fp t17953;
+fp t16690;
+fp t17952;
+fp t16921;
+fp t17951;
+fp t17562;
+fp t17722;
+fp t16508;
+fp t17950;
+fp t16745;
+fp t16258;
+fp t17949;
+fp t16907;
+fp t16153;
+fp t17948;
+fp t16478;
+fp t16941;
+fp t17947;
+fp t17475;
+fp t16971;
+fp t17514;
+fp t16499;
+fp t17946;
+fp t17477;
+fp t16166;
+fp t17945;
+fp t17085;
+fp t17136;
+fp t17687;
+fp t17944;
+fp t17735;
+fp t16909;
+fp t17943;
+fp t16955;
+fp t17032;
+fp t16805;
+fp t17942;
+fp t17118;
+fp t17560;
+fp t17941;
+fp t17134;
+fp t17451;
+fp t17393;
+fp t16918;
+fp t15656;
+fp t17940;
+fp t16972;
+fp t17715;
+fp t16396;
+fp t17939;
+fp t16788;
+fp t17938;
+fp t17682;
+fp t17262;
+fp t15938;
+fp t17937;
+fp t16984;
+fp t17615;
+fp t17444;
+fp t15473;
+fp t17936;
+fp t17053;
+fp t17525;
+fp t17042;
+fp t17643;
+fp t16696;
+fp t17935;
+fp t16477;
+fp t15864;
+fp t16102;
+fp t17934;
+fp t16915;
+fp t17618;
+fp t17456;
+fp t15884;
+fp t17933;
+fp t17362;
+fp t17932;
+fp t15494;
+fp t16552;
+fp t17931;
+fp t17543;
+fp t16715;
+fp t17930;
+fp t16903;
+fp t15514;
+fp t17929;
+fp t17669;
+fp t16631;
+fp t17603;
+fp t17928;
+fp t16922;
+fp t17733;
+fp t16927;
+fp t16537;
+fp t17927;
+fp t16822;
+fp t17564;
+fp t17926;
+fp t17037;
+fp t17315;
+fp t17925;
+fp t16217;
+fp t16841;
+fp t17924;
+fp t16812;
+fp t17923;
+fp t17131;
+fp t17572;
+fp t17081;
+fp t17922;
+fp t16515;
+fp t15700;
+fp t17340;
+fp t16028;
+fp t17921;
+fp t16970;
+fp t17480;
+fp t17920;
+fp t17021;
+fp t17103;
+fp t17645;
+fp t17919;
+fp t17031;
+fp t17918;
+fp t17917;
+fp t17552;
+fp t17725;
+fp t16570;
+fp t17916;
+fp t17611;
+fp t16244;
+fp t17915;
+fp t17049;
+fp t15976;
+fp t17914;
+fp t16807;
+fp t16930;
+fp t15596;
+fp t17913;
+fp t16398;
+fp t17020;
+fp t17912;
+fp t16961;
+fp t17719;
+fp t17431;
+fp t16917;
+fp t17300;
+fp t17911;
+fp t17683;
+fp t17495;
+fp t17276;
+fp t17910;
+fp t17662;
+fp t16404;
+fp t17506;
+fp t17909;
+fp t17908;
+fp t15384;
+fp t17907;
+fp t17906;
+fp t16422;
+fp t17905;
+fp t17533;
+fp t16677;
+fp t17904;
+fp t17033;
+fp t15918;
+fp t16919;
+fp t17903;
+fp t17902;
+fp t15966;
+fp t16992;
+fp t17304;
+fp t17901;
+fp t16433;
+fp t17900;
+fp t16461;
+fp t15887;
+fp t17899;
+fp t17647;
+fp t17898;
+fp t17897;
+fp t16674;
+fp t17043;
+fp t17896;
+fp t16802;
+fp t17692;
+fp t17895;
+fp t16939;
+fp t15461;
+fp t17894;
+fp t16039;
+fp t17893;
+fp t17610;
+fp t17602;
+fp t16602;
+fp t17892;
+fp t16134;
+fp t17891;
+fp t16954;
+fp t15845;
+fp t17890;
+fp t17889;
+fp t17463;
+fp t17888;
+fp t17887;
+fp t17886;
+fp t16425;
+fp t17885;
+fp t16946;
+fp t17884;
+fp t17298;
+fp t15782;
+fp t16929;
+fp t17710;
+fp t17457;
+fp t17883;
+fp t16594;
+fp t17882;
+fp t17039;
+fp t16913;
+fp t17881;
+fp t17494;
+fp t16987;
+fp t16884;
+fp t16831;
+fp t17880;
+fp t16894;
+fp t17585;
+fp t16514;
+fp t17378;
+fp t16054;
+fp t17879;
+fp t16434;
+fp t15995;
+fp t17878;
+fp t17019;
+fp t17466;
+fp t16204;
+fp t17877;
+fp t17017;
+fp t17027;
+fp t15968;
+fp t17876;
+fp t16875;
+fp t17875;
+fp t17594;
+fp t16790;
+fp t17469;
+fp t15674;
+fp t17874;
+fp t15961;
+fp t17873;
+fp t17503;
+fp t16952;
+fp t15563;
+fp t17872;
+fp t16855;
+fp t16303;
+fp t17871;
+fp t16615;
+fp t15932;
+fp t17870;
+fp t16967;
+fp t17869;
+fp t16721;
+fp t16979;
+fp t17868;
+fp t17083;
+fp t15421;
+fp t17867;
+fp t17044;
+fp t15956;
+fp t17866;
+fp t17267;
+fp t17865;
+fp t15455;
+fp t17864;
+fp t16038;
+fp t17608;
+fp t16603;
+fp t17863;
+fp t16849;
+fp t17862;
+fp t16842;
+fp t17861;
+fp t16867;
+fp t16988;
+fp t15763;
+fp t17860;
+fp t17278;
+fp t16196;
+fp t17500;
+fp t17859;
+fp t17023;
+fp t17446;
+fp t15967;
+fp t17858;
+fp t17520;
+fp t17079;
+fp t17465;
+fp t16055;
+fp t17857;
+fp t16360;
+fp t16886;
+fp t17856;
+fp t16577;
+fp t17855;
+fp t17854;
+fp t16940;
+fp t17597;
+fp t16931;
+fp t17853;
+fp t15952;
+fp t17501;
+fp t17852;
+fp t16947;
+fp t17581;
+fp t16474;
+fp t17851;
+fp t17730;
+fp t15833;
+fp t17850;
+fp t17542;
+fp t16836;
+fp t17436;
+fp t17279;
+fp t16210;
+fp t17849;
+fp t17553;
+fp t17848;
+fp t17009;
+fp t17661;
+fp t17467;
+fp t16193;
+fp t17847;
+fp t17846;
+fp t17102;
+fp t16286;
+fp t17566;
+fp t15937;
+fp t17845;
+fp t17305;
+fp t17844;
+fp t17088;
+fp t16876;
+fp t16871;
+fp t17843;
+fp t17484;
+fp t15973;
+fp t17842;
+fp t15574;
+fp t17841;
+fp t17440;
+fp t16274;
+fp t17576;
+fp t17840;
+fp t15439;
+fp t16688;
+fp t17839;
+fp t17709;
+fp t15647;
+fp t17838;
+fp t16659;
+fp t16887;
+fp t15728;
+fp t17837;
+fp t16588;
+fp t15671;
+fp t17836;
+fp t17126;
+fp t16283;
+fp t17450;
+fp t16986;
+fp t17835;
+fp t17726;
+fp t17834;
+fp t17833;
+fp t15933;
+fp t17832;
+fp t15390;
+fp t16728;
+fp t17831;
+fp t15899;
+fp t17830;
+fp t16950;
+fp t17667;
+fp t17546;
+fp t17829;
+fp t16830;
+fp t17828;
+fp t17654;
+fp t17827;
+fp t17574;
+fp t15626;
+fp t17826;
+fp t17499;
+fp t16635;
+fp t17825;
+fp t17558;
+fp t16566;
+fp t17824;
+fp t16910;
+fp t16962;
+fp t17823;
+fp t16889;
+fp t15632;
+fp t17822;
+fp t17821;
+fp t15624;
+fp t17820;
+fp t16848;
+fp t17819;
+fp t17818;
+fp t17018;
+fp t17817;
+fp t17816;
+fp t16935;
+fp t15822;
+fp t17815;
+fp t16280;
+fp t17814;
+fp t16897;
+fp t17549;
+fp t16482;
+fp t17428;
+fp t17813;
+fp t16837;
+fp t17028;
+fp t16838;
+fp t17812;
+fp t16900;
+fp t16926;
+fp t17616;
+fp t17811;
+fp t15699;
+fp t17462;
+fp t17810;
+fp t16854;
+fp t17285;
+fp t16310;
+fp t17809;
+fp t16342;
+fp t17437;
+fp t17808;
+fp t17517;
+fp t16449;
+fp t17541;
+fp t17274;
+fp t17807;
+fp t17322;
+fp t15465;
+fp t17565;
+fp t17448;
+fp t17806;
+fp t15516;
+fp t17805;
+fp t17660;
+fp t16494;
+fp t17804;
+fp t16299;
+fp t17803;
+fp t16623;
+fp t17802;
+fp t16868;
+fp t17509;
+fp t17801;
+fp t17800;
+fp t17799;
+fp t15906;
+fp t17798;
+fp t17727;
+fp t17481;
+fp t17797;
+fp t16975;
+fp t17796;
+fp t17795;
+fp t17071;
+fp t16966;
+fp t16866;
+fp t17794;
+fp t17489;
+fp t17793;
+fp t17445;
+fp t17792;
+fp t16989;
+fp t17791;
+fp t17673;
+fp t16622;
+fp t17790;
+fp t16850;
+fp t17789;
+fp t16357;
+fp t17788;
+fp t17453;
+fp t17596;
+fp t16726;
+fp t17600;
+fp t17260;
+fp t16132;
+fp t17787;
+fp t16968;
+fp t17513;
+fp t16483;
+fp t16791;
+fp t17700;
+fp t17786;
+fp t17785;
+fp t16798;
+fp t16029;
+fp t17784;
+fp t16248;
+fp t17783;
+fp t17782;
+fp t17701;
+fp t15394;
+fp t17781;
+fp t17040;
+fp t17780;
+fp t16701;
+fp t17779;
+fp t16644;
+fp t17778;
+fp t17777;
+fp t17584;
+fp t17084;
+fp t17776;
+fp t17775;
+fp t17774;
+fp t16823;
+fp t17773;
+fp t17438;
+fp t16369;
+fp t17772;
+fp t16022;
+fp t17771;
+fp t15409;
+fp t16948;
+fp t17770;
+fp t17569;
+fp t17769;
+fp t16722;
+fp t16492;
+fp t17768;
+fp t17767;
+fp t17016;
+fp t16833;
+fp t17766;
+fp t17765;
+fp t17609;
+fp t16517;
+fp t17439;
+fp t16319;
+fp t17764;
+fp t17008;
+fp t17026;
+fp t17502;
+fp t17763;
+fp t17762;
+fp t17761;
+fp t15975;
+fp t17429;
+fp t17277;
+fp t16045;
+fp t17760;
+fp t16453;
+fp t17759;
+fp t17699;
+fp t15915;
+fp t17580;
+fp t17758;
+fp t17757;
+fp t17002;
+fp t17460;
+fp t16023;
+fp t17756;
+fp t17755;
+fp t17754;
+fp t17306;
+fp t15358;
+fp t16555;
+fp t17753;
+fp t17130;
+fp t16824;
+fp t17101;
+fp t17752;
+fp t17433;
+fp t17751;
+fp t17374;
+fp t16347;
+fp t17750;
+fp t16835;
+fp t16754;
+fp t17534;
+fp t17329;
+fp t16129;
+fp t17749;
+fp t16905;
+fp t17005;
+fp t16444;
+fp t17038;
+fp t17748;
+fp t15587;
+fp t17747;
+fp t17746;
+fp t17745;
+fp t16019;
+fp t17668;
+fp t17744;
+fp t17430;
+fp t17505;
+fp t15994;
+fp t17743;
+fp t17742;
+fp t16145;
+fp t17537;
+fp t17741;
+fp t15993;
+fp t17723;
+fp t16753;
+fp t17732;
+fp t16630;
+fp t17740;
+fp t16795;
+fp t17724;
+fp t16817;
+fp t16819;
+fp t17720;
+fp t17716;
+fp t17703;
+fp t17702;
+fp t17694;
+fp t17693;
+fp t17471;
+fp t17358;
+fp t15469;
+fp t17690;
+fp t15650;
+fp t17689;
+fp t16800;
+fp t16200;
+fp t17688;
+fp t17686;
+fp t16803;
+fp t16362;
+fp t17680;
+fp t17676;
+fp t16839;
+fp t17540;
+fp t16415;
+fp t17675;
+fp t17545;
+fp t16500;
+fp t17627;
+fp t16451;
+fp t17674;
+fp t15987;
+fp t16199;
+fp t17672;
+fp t15593;
+fp t17671;
+fp t15815;
+fp t17297;
+fp t15862;
+fp t17670;
+fp t16793;
+fp t17666;
+fp t16796;
+fp t17665;
+fp t17664;
+fp t16077;
+fp t17441;
+fp t17659;
+fp t16576;
+fp t16507;
+fp t17658;
+fp t17657;
+fp t17656;
+fp t15824;
+fp t17655;
+fp t16510;
+fp t17653;
+fp t17652;
+fp t17651;
+fp t17650;
+fp t17512;
+fp t16586;
+fp t17649;
+fp t16432;
+fp t15769;
+fp t17648;
+fp t17617;
+fp t15787;
+fp t17644;
+fp t17642;
+fp t17641;
+fp t17637;
+fp t17636;
+fp t17635;
+fp t17634;
+fp t17633;
+fp t17632;
+fp t16157;
+fp t15943;
+fp t17631;
+fp t17629;
+fp t16899;
+fp t17628;
+fp t17487;
+fp t16272;
+fp t17626;
+fp t17625;
+fp t17624;
+fp t16402;
+fp t17504;
+fp t17623;
+fp t15542;
+fp t17622;
+fp t16901;
+fp t17613;
+fp t16413;
+fp t17527;
+fp t17612;
+fp t16407;
+fp t17607;
+fp t17458;
+fp t16232;
+fp t17601;
+fp t17599;
+fp t17598;
+fp t16811;
+fp t16804;
+fp t17595;
+fp t16813;
+fp t16816;
+fp t16820;
+fp t17591;
+fp t15725;
+fp t17586;
+fp t16455;
+fp t16498;
+fp t17582;
+fp t16243;
+fp t17577;
+fp t17571;
+fp t16231;
+fp t16424;
+fp t15850;
+fp t17567;
+fp t16797;
+fp t17559;
+fp t17556;
+fp t17548;
+fp t17104;
+fp t17547;
+fp t17544;
+fp t17054;
+fp t17538;
+fp t15860;
+fp t17536;
+fp t17531;
+fp t17529;
+fp t17526;
+fp t17522;
+fp t17510;
+fp t17507;
+fp t17496;
+fp t17493;
+fp t17490;
+fp t17485;
+fp t17483;
+fp t16740;
+fp t17476;
+fp t16589;
+fp t17470;
+fp t16548;
+fp t17468;
+fp t16533;
+fp t17454;
+fp t16999;
+fp t17449;
+fp t17443;
+fp t17435;
+fp t17432;
+fp t16476;
+fp t17427;
+fp t17426;
+fp t17425;
+fp t17424;
+fp t17423;
+fp t16911;
+fp t17422;
+fp t17421;
+fp t17420;
+fp t15389;
+fp t16959;
+fp t15328;
+fp t17419;
+fp t17288;
+fp t15436;
+fp t17418;
+fp t16165;
+fp t17417;
+fp t16282;
+fp t16858;
+fp t17416;
+fp t17415;
+fp t17332;
+fp t15511;
+fp t17414;
+fp t16408;
+fp t17413;
+fp t16904;
+fp t17412;
+fp t16703;
+fp t17411;
+fp t16469;
+fp t17410;
+fp t17409;
+fp t17408;
+fp t17062;
+fp t17407;
+fp t17406;
+fp t17405;
+fp t17404;
+fp t17403;
+fp t16572;
+fp t16445;
+fp t17402;
+fp t16643;
+fp t17401;
+fp t17006;
+fp t17303;
+fp t17400;
+fp t17287;
+fp t15526;
+fp t17399;
+fp t17398;
+fp t15454;
+fp t17397;
+fp t17396;
+fp t16982;
+fp t17395;
+fp t17394;
+fp t16373;
+fp t16412;
+fp t17392;
+fp t17391;
+fp t17390;
+fp t17309;
+fp t17388;
+fp t17387;
+fp t17269;
+fp t17384;
+fp t17382;
+fp t16295;
+fp t17381;
+fp t17380;
+fp t16245;
+fp t17379;
+fp t16702;
+fp t16468;
+fp t17377;
+fp t16337;
+fp t16354;
+fp t17376;
+fp t16888;
+fp t17375;
+fp t17373;
+fp t17372;
+fp t17371;
+fp t17370;
+fp t17369;
+fp t16561;
+fp t17368;
+fp t17367;
+fp t17366;
+fp t17365;
+fp t16506;
+fp t17364;
+fp t16599;
+fp t17363;
+fp t16538;
+fp t16549;
+fp t15326;
+fp t16826;
+fp t17361;
+fp t17359;
+fp t17357;
+fp t16523;
+fp t15614;
+fp t17356;
+fp t17355;
+fp t17354;
+fp t17353;
+fp t17352;
+fp t17351;
+fp t17350;
+fp t17349;
+fp t17348;
+fp t15925;
+fp t17347;
+fp t17346;
+fp t16942;
+fp t17345;
+fp t16575;
+fp t17344;
+fp t16169;
+fp t17343;
+fp t17341;
+fp t16410;
+fp t17339;
+fp t17338;
+fp t17337;
+fp t17335;
+fp t17334;
+fp t17333;
+fp t17331;
+fp t17330;
+fp t17328;
+fp t17327;
+fp t17326;
+fp t17324;
+fp t17323;
+fp t17321;
+fp t17320;
+fp t17319;
+fp t17055;
+fp t17318;
+fp t17317;
+fp t17316;
+fp t17313;
+fp t17312;
+fp t16235;
+fp t17310;
+fp t17308;
+fp t17307;
+fp t16689;
+fp t17302;
+fp t17301;
+fp t17299;
+fp t16606;
+fp t17295;
+fp t17294;
+fp t17291;
+fp t17290;
+fp t16530;
+fp t15868;
+fp t17289;
+fp t16464;
+fp t17286;
+fp t17283;
+fp t17282;
+fp t17272;
+fp t16995;
+fp t16143;
+fp t17271;
+fp t17270;
+fp t17264;
+fp t17263;
+fp t17261;
+fp t17259;
+fp t17258;
+fp t17257;
+fp t17256;
+fp t17255;
+fp t17254;
+fp t17253;
+fp t17252;
+fp t17251;
+fp t17250;
+fp t17249;
+fp t17248;
+fp t17247;
+fp t17246;
+fp t17245;
+fp t17069;
+fp t17244;
+fp t17243;
+fp t17242;
+fp t17241;
+fp t17240;
+fp t17238;
+fp t17237;
+fp t17236;
+fp t17115;
+fp t17235;
+fp t15852;
+fp t17234;
+fp t15620;
+fp t17233;
+fp t15548;
+fp t15681;
+fp t17232;
+fp t15767;
+fp t17231;
+fp t15683;
+fp t17230;
+fp t17229;
+fp t15709;
+fp t17228;
+fp t17227;
+fp t17226;
+fp t17225;
+fp t15434;
+fp t17224;
+fp t16082;
+fp t17223;
+fp t17222;
+fp t17221;
+fp t17220;
+fp t17219;
+fp t15923;
+fp t17218;
+fp t17217;
+fp t17216;
+fp t15373;
+fp t17215;
+fp t15375;
+fp t17214;
+fp t17213;
+fp t17212;
+fp t16928;
+fp t15595;
+fp t15916;
+fp t17211;
+fp t16304;
+fp t17210;
+fp t16184;
+fp t17209;
+fp t16113;
+fp t17208;
+fp t17207;
+fp t17206;
+fp t17205;
+fp t17204;
+fp t17203;
+fp t17202;
+fp t17201;
+fp t16016;
+fp t17200;
+fp t17199;
+fp t15785;
+fp t17198;
+fp t17197;
+fp t15865;
+fp t17196;
+fp t15422;
+fp t17195;
+fp t17194;
+fp t15504;
+fp t17193;
+fp t15804;
+fp t17192;
+fp t15673;
+fp t17191;
+fp t15420;
+fp t17190;
+fp t17189;
+fp t17188;
+fp t17187;
+fp t17186;
+fp t17185;
+fp t17184;
+fp t17183;
+fp t15942;
+fp t17182;
+fp t17181;
+fp t17180;
+fp t16945;
+fp t16949;
+fp t15619;
+fp t17179;
+fp t16186;
+fp t17178;
+fp t17177;
+fp t16825;
+fp t16965;
+fp t17129;
+fp t17123;
+fp t17176;
+fp t17175;
+fp t17174;
+fp t17173;
+fp t17030;
+fp t17076;
+fp t17172;
+fp t17171;
+fp t17046;
+fp t17170;
+fp t16110;
+fp t17169;
+fp t15920;
+fp t17168;
+fp t17011;
+fp t17167;
+fp t17166;
+fp t17165;
+fp t16276;
+fp t17164;
+fp t17163;
+fp t17162;
+fp t16240;
+fp t17161;
+fp t17160;
+fp t17159;
+fp t17158;
+fp t17157;
+fp t15743;
+fp t17156;
+fp t17114;
+fp t17155;
+fp t17154;
+fp t16236;
+fp t17153;
+fp t17152;
+fp t17151;
+fp t17150;
+fp t17149;
+fp t17148;
+fp t17147;
+fp t17146;
+fp t17145;
+fp t17133;
+fp t17121;
+fp t17117;
+fp t17116;
+fp t17111;
+fp t17090;
+fp t17086;
+fp t17060;
+fp t17050;
+fp t17045;
+fp t17025;
+fp t17014;
+fp t16981;
+fp t16964;
+fp t16956;
+fp t16944;
+fp t16925;
+fp t16923;
+fp t16892;
+fp t16880;
+fp t16877;
+fp t16873;
+fp t16870;
+fp t16865;
+fp t16861;
+fp t16860;
+fp t16857;
+fp t16856;
+fp t16853;
+fp t16851;
+fp t16846;
+fp t16845;
+fp t16844;
+fp t16843;
+fp t16840;
+fp t16832;
+fp t16828;
+fp t16781;
+fp t16769;
+fp t16760;
+fp t16755;
+fp t16746;
+fp t16731;
+fp t16725;
+fp t16723;
+fp t16719;
+fp t16717;
+fp t16705;
+fp t16704;
+fp t16697;
+fp t16694;
+fp t16686;
+fp t16681;
+fp t16671;
+fp t16670;
+fp t16666;
+fp t16661;
+fp t16657;
+fp t16652;
+fp t16645;
+fp t16634;
+fp t16629;
+fp t16627;
+fp t16626;
+fp t16620;
+fp t16618;
+fp t16616;
+fp t16612;
+fp t16610;
+fp t16598;
+fp t16582;
+fp t16580;
+fp t16546;
+fp t16542;
+fp t16529;
+fp t16526;
+fp t16522;
+fp t16519;
+fp t16516;
+fp t16513;
+fp t16512;
+fp t16504;
+fp t16497;
+fp t16496;
+fp t16488;
+fp t16459;
+fp t16443;
+fp t16429;
+fp t16428;
+fp t16427;
+fp t16426;
+fp t16418;
+fp t16417;
+fp t16416;
+fp t16411;
+fp t16401;
+fp t16397;
+fp t16393;
+fp t16392;
+fp t16385;
+fp t16384;
+fp t16377;
+fp t16375;
+fp t16372;
+fp t16368;
+fp t16361;
+fp t16350;
+fp t16344;
+fp t16340;
+fp t16339;
+fp t16335;
+fp t16330;
+fp t16326;
+fp t16325;
+fp t16323;
+fp t16321;
+fp t16318;
+fp t16316;
+fp t16314;
+fp t16313;
+fp t16311;
+fp t16306;
+fp t16294;
+fp t16293;
+fp t16290;
+fp t16271;
+fp t16270;
+fp t16268;
+fp t16266;
+fp t16260;
+fp t16256;
+fp t16255;
+fp t16250;
+fp t16249;
+fp t16238;
+fp t16233;
+fp t16230;
+fp t16225;
+fp t16223;
+fp t16219;
+fp t16218;
+fp t16216;
+fp t16209;
+fp t16208;
+fp t16202;
+fp t16201;
+fp t16198;
+fp t16189;
+fp t16187;
+fp t16183;
+fp t16182;
+fp t16180;
+fp t16177;
+fp t16176;
+fp t16175;
+fp t16174;
+fp t16173;
+fp t16167;
+fp t16163;
+fp t16162;
+fp t16151;
+fp t16147;
+fp t16142;
+fp t16141;
+fp t16137;
+fp t16133;
+fp t16131;
+fp t16128;
+fp t16120;
+fp t16118;
+fp t16108;
+fp t16100;
+fp t16097;
+fp t16096;
+fp t16094;
+fp t16058;
+fp t16053;
+fp t16041;
+fp t16036;
+fp t16035;
+fp t16033;
+fp t16027;
+fp t16008;
+fp t16005;
+fp t16004;
+fp t16001;
+fp t16000;
+fp t15997;
+fp t15988;
+fp t15985;
+fp t15983;
+fp t15980;
+fp t15965;
+fp t15950;
+fp t15944;
+fp t15941;
+fp t15940;
+fp t15936;
+fp t15934;
+fp t15929;
+fp t15924;
+fp t15919;
+fp t15912;
+fp t15910;
+fp t15907;
+fp t15904;
+fp t15903;
+fp t15897;
+fp t15895;
+fp t15894;
+fp t15891;
+fp t15889;
+fp t15880;
+fp t15879;
+fp t15878;
+fp t15874;
+fp t15872;
+fp t15871;
+fp t15869;
+fp t15867;
+fp t15863;
+fp t15861;
+fp t15855;
+fp t15849;
+fp t15841;
+fp t15836;
+fp t15835;
+fp t15830;
+fp t15827;
+fp t15826;
+fp t15825;
+fp t15818;
+fp t15810;
+fp t15805;
+fp t15803;
+fp t15790;
+fp t15789;
+fp t15778;
+fp t15776;
+fp t15774;
+fp t15766;
+fp t15751;
+fp t15747;
+fp t15745;
+fp t15742;
+fp t15735;
+fp t15733;
+fp t15732;
+fp t15729;
+fp t15726;
+fp t15721;
+fp t15713;
+fp t15712;
+fp t15702;
+fp t15693;
+fp t15692;
+fp t15691;
+fp t15690;
+fp t15689;
+fp t15687;
+fp t15685;
+fp t15680;
+fp t15678;
+fp t15667;
+fp t15661;
+fp t15658;
+fp t15657;
+fp t15645;
+fp t15644;
+fp t15640;
+fp t15639;
+fp t15636;
+fp t15631;
+fp t15622;
+fp t15616;
+fp t15611;
+fp t15606;
+fp t15601;
+fp t15599;
+fp t15592;
+fp t15590;
+fp t15584;
+fp t15583;
+fp t15576;
+fp t15573;
+fp t15572;
+fp t15567;
+fp t15560;
+fp t15557;
+fp t15554;
+fp t15553;
+fp t15546;
+fp t15534;
+fp t15531;
+fp t15530;
+fp t15527;
+fp t15522;
+fp t15520;
+fp t15515;
+fp t15513;
+fp t15506;
+fp t15500;
+fp t15498;
+fp t15497;
+fp t15495;
+fp t15485;
+fp t15481;
+fp t15480;
+fp t15474;
+fp t15470;
+fp t15460;
+fp t15445;
+fp t15438;
+fp t15435;
+fp t15431;
+fp t15419;
+fp t15418;
+fp t15416;
+fp t15411;
+fp t15407;
+fp t15405;
+fp t15383;
+fp t15381;
+fp t15377;
+fp t15374;
+fp t15370;
+fp t15365;
+fp t15363;
+fp t15359;
+fp t15352;
+fp t15350;
+fp t15341;
+fp t15329;
+fp t15327;
+fp t15316;
+ t17140 = z*z;
+ t17100 = RATIONAL(-7.0,9.0);
+ t17141 = y*y;
+ t17551 = t17100*t17141;
+ t17109 = RATIONAL(1.0,3.0);
+ t17554 = t17140*t17109;
+ t18053 = t17140*t17551+t17554;
+ t17706 = x*t17141;
+ t17696 = z*t17706;
+ t17142 = x*x;
+ t17138 = t17142*x;
+ t17568 = t17141*t17138;
+ t17464 = z*t17568;
+ t18052 = t17464+t17696;
+ t17004 = RATIONAL(7.0,48.0);
+ t17639 = t17004*t17140;
+ t16852 = RATIONAL(-49.0,144.0);
+ t17570 = t17140*t17141;
+ t18051 = t16852*t17570+t17639;
+ t17139 = y*t17141;
+ t17677 = t17142*t17139;
+ t17447 = z*t17677;
+ t17729 = t17142*y;
+ t17705 = z*t17729;
+ t18049 = t17705+t17447;
+ t17072 = RATIONAL(-1.0,48.0);
+ t17605 = t17072*t17140;
+ t16983 = RATIONAL(7.0,144.0);
+ t18050 = t17605+t16983*t17570;
+ t17137 = RATIONAL(2.0,9.0);
+ t17646 = t17140*t17138;
+ t17461 = y*t17646;
+ t16364 = t17137*t17461;
+ t17098 = RATIONAL(5.0,9.0);
+ t17284 = t17098*t17570;
+ t18048 = t17138*t17284+t16364;
+ t17057 = RATIONAL(-7.0,72.0);
+ t16178 = t17057*t17461;
+ t16883 = RATIONAL(-35.0,144.0);
+ t17292 = t16883*t17568;
+ t18047 = t17140*t17292+t16178;
+ t17080 = RATIONAL(-7.0,18.0);
+ t17707 = z*t17141;
+ t16912 = RATIONAL(-14.0,27.0);
+ t18046 = t16912*t17464+t17080*t17707;
+ t17065 = RATIONAL(-7.0,54.0);
+ t17630 = t17065*t17139;
+ t17094 = RATIONAL(1.0,18.0);
+ t16801 = t17094*t17139;
+ t18045 = t16801+t17142*t17630;
+ t16960 = RATIONAL(-5.0,192.0);
+ t17268 = t17142*t17570;
+ t16920 = RATIONAL(7.0,864.0);
+ t17684 = t17139*t17138;
+ t17478 = z*t17684;
+ t15760 = t16920*t17478;
+ t18044 = t16960*t17268+t15760;
+ t17048 = RATIONAL(-1.0,27.0);
+ t17711 = y*t17048;
+ t16667 = t17138*t17711;
+ t17064 = RATIONAL(5.0,72.0);
+ t18043 = t17064*t17568+t16667;
+ t16969 = RATIONAL(14.0,27.0);
+ t17588 = t16969*t17139;
+ t16573 = t17138*t17588;
+ t15491 = z*t16573;
+ t18042 = t17100*t17268+t15491;
+ t16882 = RATIONAL(1.0,1728.0);
+ t17640 = t16882*t17139;
+ t16399 = x*t17640;
+ t16978 = RATIONAL(1.0,144.0);
+ t16792 = t16978*t17139;
+ t17473 = z*t16792;
+ t18041 = x*t17473+t16399;
+ t17125 = RATIONAL(-1.0,6.0);
+ t16879 = RATIONAL(49.0,216.0);
+ t17555 = t16879*t17139;
+ t16406 = t17138*t17555;
+ t15348 = z*t16406;
+ t18040 = t17125*t17268+t15348;
+ t17685 = t17140*t17142;
+ t17492 = y*t17685;
+ t17051 = RATIONAL(16.0,9.0);
+ t17718 = x*t17140;
+ t17697 = y*t17718;
+ t16030 = t17051*t17697;
+ t17068 = RATIONAL(40.0,9.0);
+ t18039 = t17068*t17492+t16030;
+ t17075 = RATIONAL(-1.0,72.0);
+ t17717 = t17075*x;
+ t17474 = t17140*t17717;
+ t15913 = y*t17474;
+ t16991 = RATIONAL(5.0,192.0);
+ t18038 = t15913+t16991*t17492;
+ t16980 = RATIONAL(49.0,72.0);
+ t15600 = t16980*t17461;
+ t16827 = RATIONAL(245.0,144.0);
+ t17389 = t17140*t17568;
+ t18037 = t15600+t16827*t17389;
+ t17066 = RATIONAL(2.0,27.0);
+ t17593 = t17066*t17139;
+ t16665 = x*t17593;
+ t17061 = RATIONAL(-5.0,54.0);
+ t17604 = t17141*t17061;
+ t18036 = t16665+x*t17604;
+ t17573 = t17141*t17064;
+ t16974 = RATIONAL(-7.0,216.0);
+ t17606 = t16974*t17139;
+ t16450 = x*t17606;
+ t18035 = x*t17573+t16450;
+ t17721 = y*t16974;
+ t16458 = t17138*t17721;
+ t16872 = RATIONAL(-35.0,432.0);
+ t18034 = t16458+t16872*t17568;
+ t16976 = RATIONAL(7.0,108.0);
+ t17524 = t17138*t16976;
+ t16484 = t17141*t17524;
+ t18033 = t16976*t17696+z*t16484;
+ t17110 = RATIONAL(-5.0,9.0);
+ t17360 = t17110*t17570;
+ t17587 = t17140*t17139;
+ t17479 = x*t17587;
+ t17106 = RATIONAL(4.0,9.0);
+ t16273 = t17106*t17479;
+ t18032 = x*t17360+t16273;
+ t17738 = y*z;
+ t17001 = RATIONAL(-1.0,18.0);
+ t16808 = t17001*t17138;
+ t17082 = RATIONAL(7.0,72.0);
+ t16220 = t17082*t17461;
+ t18031 = t16808*t17738+t16220;
+ t16977 = RATIONAL(-7.0,576.0);
+ t17280 = t17142*t17587;
+ t15857 = t16977*t17280;
+ t18030 = t16978*t17464+t15857;
+ t16985 = RATIONAL(-112.0,9.0);
+ t17535 = t17140*RATIONAL(16.0,3.0);
+ t18029 = t17139*t17535+t16985*t17280;
+ t16834 = RATIONAL(-7.0,1728.0);
+ t17511 = t16834*t17138;
+ t16389 = y*t17511;
+ t16908 = RATIONAL(5.0,576.0);
+ t17528 = t17142*t16908;
+ t18028 = y*t17528+t16389;
+ t16997 = RATIONAL(5.0,48.0);
+ t16869 = RATIONAL(-49.0,576.0);
+ t17385 = t16869*t17646;
+ t18027 = t16997*t17447+t17141*t17385;
+ t16973 = RATIONAL(7.0,216.0);
+ t17589 = t17139*t16973;
+ t16564 = t17138*t17589;
+ t18026 = t17001*t17268+z*t16564;
+ t16885 = RATIONAL(35.0,72.0);
+ t17592 = t17142*t16885;
+ t16470 = t17139*t17592;
+ t17058 = RATIONAL(-7.0,36.0);
+ t17498 = t17058*t17141;
+ t17325 = t17140*t17498;
+ t15905 = t17138*t17325;
+ t18025 = t15905+z*t16470;
+ t17078 = RATIONAL(-5.0,36.0);
+ t17663 = t17139*t17078;
+ t17074 = RATIONAL(1.0,27.0);
+ t17714 = x*t17139;
+ t16714 = t17074*t17714;
+ t17737 = x*z;
+ t18024 = t17663*t17737+t16714;
+ t17047 = RATIONAL(1.0,54.0);
+ t17578 = t17047*t17139;
+ t17459 = z*t17578;
+ t15981 = t17138*t17459;
+ t18023 = t15981+t17057*t17268;
+ t16890 = RATIONAL(-7.0,144.0);
+ t17063 = RATIONAL(1.0,48.0);
+ t17620 = t17063*t17140;
+ t17491 = x*t17570;
+ t18022 = x*t17620+t16890*t17491;
+ t16521 = x*t17589;
+ t17034 = RATIONAL(-5.0,72.0);
+ t17532 = t17141*t17034;
+ t18021 = t16521+x*t17532;
+ t16346 = RATIONAL(49.0,1728.0)*t17684;
+ t16878 = RATIONAL(-49.0,432.0);
+ t18020 = t16346+t16878*t17478;
+ t16215 = t17057*t17479;
+ t18019 = t16215+t16801*t17737;
+ t16390 = t17139*t17511;
+ t16794 = t16890*t17139;
+ t17442 = z*t16794;
+ t18018 = t17138*t17442+t16390;
+ t18017 = RATIONAL(-140.0,9.0)*t17268+RATIONAL(224.0,27.0)*t17478;
+ t17698 = z*t17721;
+ t16712 = t17094*t17568;
+ t15947 = t17140*t16712;
+ t18016 = t15947+t17142*t17698;
+ t16895 = RATIONAL(1.0,108.0);
+ t17678 = t16895*t17139;
+ t16479 = t17138*t17678;
+ t16891 = RATIONAL(-5.0,432.0);
+ t18015 = t16479+t16891*t17568;
+ t16829 = RATIONAL(49.0,432.0);
+ t18014 = t16829*t17677+t16794;
+ t17736 = y*t17737;
+ t16265 = t17137*t17697;
+ t16998 = RATIONAL(-5.0,27.0);
+ t18013 = t16998*t17736+t16265;
+ t17314 = t16890*t17568;
+ t18012 = t17138*t17620+t17140*t17314;
+ t17583 = t17058*t17139;
+ t16682 = t17142*t17583;
+ t17007 = RATIONAL(7.0,36.0);
+ t17508 = t17007*t17141;
+ t16592 = t17138*t17508;
+ t15991 = t17140*t16592;
+ t18011 = z*t16682+t15991;
+ t17107 = RATIONAL(7.0,9.0);
+ t17112 = RATIONAL(-1.0,3.0);
+ t18010 = t17112*t17587+t17107*t17280;
+ t17089 = RATIONAL(-5.0,24.0);
+ t17135 = RATIONAL(1.0,9.0);
+ t16370 = t17135*t17697;
+ t18009 = t17089*t17491+t16370;
+ t16994 = RATIONAL(-32.0,9.0);
+ t16206 = t16994*t17479;
+ t18008 = t16206+t17068*t17491;
+ t16786 = t16978*t17138;
+ t16914 = RATIONAL(-7.0,432.0);
+ t17497 = t16914*t17138;
+ t16547 = t17141*t17497;
+ t18007 = t16786+t16547;
+ t17013 = RATIONAL(14.0,9.0);
+ t17590 = t16912*t17139;
+ t16556 = t17138*t17590;
+ t15501 = z*t16556;
+ t18006 = t17013*t17268+t15501;
+ t16847 = RATIONAL(49.0,576.0);
+ t17336 = t16847*t17646;
+ t15425 = y*t17336;
+ t16874 = RATIONAL(-49.0,288.0);
+ t18005 = t15425+t16874*t17389;
+ t17128 = RATIONAL(-4.0,9.0);
+ t17383 = t17128*t17646;
+ t16359 = t17139*t17383;
+ t17619 = t17142*t17141;
+ t17452 = z*t17619;
+ t16933 = RATIONAL(25.0,54.0);
+ t18004 = t16359+t16933*t17452;
+ t17099 = RATIONAL(-1.0,9.0);
+ t17614 = t17099*t17140;
+ t17739 = x*y;
+ t16365 = t17614*t17739;
+ t17059 = RATIONAL(5.0,24.0);
+ t18003 = t16365+t17059*t17491;
+ t17073 = RATIONAL(-7.0,48.0);
+ t16863 = RATIONAL(49.0,144.0);
+ t18002 = t17073*t17646+t16863*t17389;
+ t17052 = RATIONAL(1.0,36.0);
+ t17521 = t17140*t17052;
+ t17273 = t17138*t17521;
+ t16047 = t17141*t17273;
+ t16943 = RATIONAL(-5.0,216.0);
+ t18001 = t16943*t17447+t16047;
+ t16906 = RATIONAL(-1.0,216.0);
+ t17712 = y*t16906;
+ t16525 = t17138*t17712;
+ t17579 = t17142*t16895;
+ t18000 = t16525+y*t17579;
+ t16896 = RATIONAL(35.0,54.0);
+ t16511 = t16896*t17568;
+ t17999 = t17128*t17280+z*t16511;
+ t17621 = t17142*t16914;
+ t16475 = t17139*t17621;
+ t17998 = t16792+t16475;
+ t17519 = t17140*RATIONAL(35.0,192.0);
+ t17265 = t17141*t17519;
+ t17997 = t16178+t17138*t17265;
+ t16937 = RATIONAL(-7.0,864.0);
+ t17681 = t16937*t17139;
+ t17472 = z*t17681;
+ t15618 = t17138*t17472;
+ t17029 = RATIONAL(1.0,96.0);
+ t17996 = t15618+t17029*t17268;
+ t16936 = RATIONAL(98.0,27.0);
+ t15547 = t16936*t17478;
+ t17995 = RATIONAL(-35.0,3.0)*t17268+t15547;
+ t17003 = RATIONAL(-1.0,36.0);
+ t16161 = t17003*t17479;
+ t17994 = t16161+t17125*t17280;
+ t17056 = RATIONAL(1.0,72.0);
+ t16247 = t17056*t17697;
+ t16898 = RATIONAL(5.0,144.0);
+ t17993 = t16898*t17491+t16247;
+ t16953 = RATIONAL(-1.0,108.0);
+ t17575 = t17139*t16953;
+ t16480 = x*t17575;
+ t16951 = RATIONAL(5.0,432.0);
+ t17992 = t16480+t16951*t17706;
+ t17991 = t17098*t17268+t15501;
+ t17679 = t17142*t17110;
+ t16766 = y*t17679;
+ t17281 = t17106*t17646;
+ t16267 = y*t17281;
+ t17990 = t16267+t17140*t16766;
+ t17010 = RATIONAL(-40.0,9.0);
+ t17091 = RATIONAL(32.0,9.0);
+ t16122 = t17091*t17479;
+ t17989 = t16122+t17010*t17491;
+ t17731 = z*t17138;
+ t16934 = RATIONAL(7.0,432.0);
+ t17455 = t16934*t17731;
+ t17988 = t16390+t17139*t17455;
+ t16862 = RATIONAL(35.0,288.0);
+ t17695 = y*t17731;
+ t17987 = t16458+t16862*t17695;
+ t17092 = RATIONAL(5.0,12.0);
+ t16881 = RATIONAL(-49.0,216.0);
+ t17563 = t17139*t16881;
+ t16388 = t17138*t17563;
+ t15345 = z*t16388;
+ t17986 = t15345+t17092*t17268;
+ t17734 = t17140*y;
+ t17486 = t17100*t17734;
+ t16315 = x*t17486;
+ t17041 = RATIONAL(10.0,9.0);
+ t17985 = t17041*t17736+t16315;
+ t17482 = t17082*t17734;
+ t16079 = x*t17482;
+ t17704 = t17078*t17738;
+ t17984 = t16079+x*t17704;
+ t15999 = t17142*t17704;
+ t16859 = RATIONAL(-35.0,288.0);
+ t17983 = t15999+t16859*t17447;
+ t17488 = t17057*t17734;
+ t16031 = x*t17488;
+ t17275 = t17142*t17519;
+ t17982 = t16031+y*t17275;
+ t16329 = t17128*t17479;
+ t17981 = t16329+x*t17284;
+ t15665 = t16980*t17479;
+ t17012 = RATIONAL(-7.0,12.0);
+ t17980 = t15665+t17012*t17491;
+ t17561 = t17052*t17141;
+ t17979 = x*t17561+t16450;
+ t17022 = RATIONAL(7.0,27.0);
+ t17539 = t17022*t17139;
+ t16706 = x*t17539;
+ t17108 = RATIONAL(-2.0,9.0);
+ t17978 = t17108*t17706+t16706;
+ t17113 = RATIONAL(8.0,9.0);
+ t16818 = t17113*t17139;
+ t16958 = RATIONAL(-56.0,27.0);
+ t17977 = t16958*t17677+t16818;
+ t17518 = t16977*t17140;
+ t17434 = x*t17518;
+ t15858 = y*t17434;
+ t16957 = RATIONAL(5.0,288.0);
+ t17713 = z*t16957;
+ t17976 = t15858+t17713*t17739;
+ t16990 = RATIONAL(-35.0,27.0);
+ t16993 = RATIONAL(-7.0,27.0);
+ t17516 = t17139*t16993;
+ t16633 = x*t17516;
+ t17691 = z*t17714;
+ t17975 = t16990*t17691+t16633;
+ t17974 = t16890*t17492+y*t17620;
+ t17093 = RATIONAL(7.0,54.0);
+ t16068 = t17093*t17478;
+ t17077 = RATIONAL(-7.0,24.0);
+ t17973 = t16068+t17077*t17268;
+ t17024 = RATIONAL(-14.0,9.0);
+ t15984 = t17024*t17479;
+ t16902 = RATIONAL(35.0,27.0);
+ t17972 = t15984+t16902*t17691;
+ t17971 = t17139*t17554+t17100*t17280;
+ t17266 = t16863*t17685;
+ t17970 = t17073*t17587+t17139*t17266;
+ t17708 = x*t17048;
+ t16609 = y*t17708;
+ t17969 = RATIONAL(-25.0,16.0)*t17452+t16609;
+ t16938 = RATIONAL(7.0,576.0);
+ t17550 = t16938*t17140;
+ t17386 = t17141*t17550;
+ t15630 = t17138*t17386;
+ t16893 = RATIONAL(-5.0,288.0);
+ t17968 = t15630+t16893*t17447;
+ t17967 = t18051*t17138;
+ t17122 = RATIONAL(-7.0,3.0);
+ t17036 = RATIONAL(49.0,9.0);
+ t17966 = t17122*t17587+t17036*t17280;
+ t17095 = RATIONAL(4.0,27.0);
+ t17557 = t17095*t17139;
+ t16687 = t17138*t17557;
+ t17965 = t16687+t16998*t17568;
+ t17067 = RATIONAL(5.0,27.0);
+ t17523 = t17067*t17141;
+ t17070 = RATIONAL(-4.0,27.0);
+ t17638 = t17070*t17138;
+ t16669 = t17139*t17638;
+ t17964 = t17138*t17523+t16669;
+ t17963 = t18050*x;
+ t16799 = t17094*t17138;
+ t17515 = t17065*t17141;
+ t17962 = t17138*t17515+t16799;
+ t16188 = t17056*t17461;
+ t17961 = t16188+t16898*t17389;
+ t17960 = t16161+t17094*t17280;
+ t17728 = t17074*y;
+ t16584 = t17138*t17728;
+ t17959 = t16584+t17078*t17695;
+ t17105 = RATIONAL(-8.0,9.0);
+ t16815 = t17105*t17139;
+ t16916 = RATIONAL(56.0,27.0);
+ t17958 = t16815+t16916*t17677;
+ t17035 = RATIONAL(-7.0,96.0);
+ t17311 = t17138*t17518;
+ t15509 = y*t17311;
+ t17957 = t17035*t17389+t15509;
+ t16486 = t16895*t17568;
+ t17530 = t17139*t16906;
+ t16448 = t17138*t17530;
+ t17956 = t16486+t16448;
+ t16095 = t17139*t17273;
+ t16544 = t16974*t17619;
+ t17955 = t16095+z*t16544;
+ t17000 = RATIONAL(-70.0,9.0);
+ t16996 = RATIONAL(-35.0,6.0);
+ t17954 = t16996*t17707+t17000*t17464;
+ t16810 = t17099*t17139;
+ t17953 = t16810+t17142*t17539;
+ t16690 = t17138*t17498;
+ t17952 = t16690+t16406;
+ t16921 = RATIONAL(70.0,27.0);
+ t17951 = t16921*t17478+t16573;
+ t17562 = t17142*t17034;
+ t17722 = y*t16973;
+ t16508 = t17138*t17722;
+ t17950 = y*t17562+t16508;
+ t16745 = t17098*t17729;
+ t16258 = y*t17383;
+ t17949 = t16258+t17140*t16745;
+ t16907 = RATIONAL(35.0,48.0);
+ t16153 = t17065*t17478;
+ t17948 = t16153+t16907*t17268;
+ t16478 = RATIONAL(32.0,27.0)*t17684;
+ t16941 = RATIONAL(-40.0,27.0);
+ t17947 = t16941*t17568+t16478;
+ t17475 = z*t17539;
+ t16971 = RATIONAL(-7.0,108.0);
+ t17514 = t17139*t16971;
+ t16499 = t17138*t17514;
+ t17946 = t16499+t17138*t17475;
+ t17477 = x*t17521;
+ t16166 = t17139*t17477;
+ t17945 = t17001*t17280+t16166;
+ t17085 = RATIONAL(-56.0,9.0);
+ t17136 = RATIONAL(8.0,3.0);
+ t17687 = t17140*t17136;
+ t17944 = y*t17687+t17085*t17492;
+ t17735 = t17142*z;
+ t16909 = RATIONAL(28.0,27.0);
+ t17943 = t17107*t17735+t16909*t17447;
+ t16955 = RATIONAL(-49.0,54.0);
+ t17032 = RATIONAL(7.0,18.0);
+ t16805 = t17032*t17138;
+ t17942 = t16805+t16955*t17568;
+ t17118 = RATIONAL(1.0,6.0);
+ t17560 = t17140*t17118;
+ t17941 = y*t17560+t17080*t17492;
+ t17134 = RATIONAL(5.0,6.0);
+ t17451 = t17134*t17707;
+ t17393 = t17138*t17587;
+ t16918 = RATIONAL(-49.0,36.0);
+ t15656 = t16918*t17393;
+ t17940 = t17142*t17451+t15656;
+ t16972 = RATIONAL(1.0,288.0);
+ t17715 = y*t16882;
+ t16396 = t17138*t17715;
+ t17939 = t16972*t17568+t16396;
+ t16788 = t16890*t17138;
+ t17938 = t16788+t16829*t17568;
+ t17682 = t17142*t17007;
+ t17262 = t17140*t17682;
+ t15938 = t17139*t17262;
+ t17937 = z*t16690+t15938;
+ t16984 = RATIONAL(1.0,576.0);
+ t17615 = t16984*t17140;
+ t17444 = y*t17615;
+ t15473 = x*t17444;
+ t17936 = t17029*t17492+t15473;
+ t17053 = RATIONAL(5.0,54.0);
+ t17525 = t17141*t17053;
+ t17042 = RATIONAL(-2.0,27.0);
+ t17643 = t17042*t17139;
+ t16696 = x*t17643;
+ t17935 = x*t17525+t16696;
+ t16477 = t16973*t17568;
+ t15864 = z*t16477;
+ t16102 = t17003*t17280;
+ t17934 = t15864+t16102;
+ t16915 = RATIONAL(5.0,216.0);
+ t17618 = t17003*t17140;
+ t17456 = y*t17618;
+ t15884 = x*t17456;
+ t17933 = t16915*t17736+t15884;
+ t17362 = t17080*t17570;
+ t17932 = (t17560+t17362)*x;
+ t15494 = t17139*t17311;
+ t16552 = t16957*t17619;
+ t17931 = z*t16552+t15494;
+ t17543 = t17141*t17003;
+ t16715 = x*t17543;
+ t17930 = t16521+t16715;
+ t16903 = RATIONAL(-98.0,27.0);
+ t15514 = t16903*t17478;
+ t17929 = t15514+RATIONAL(14.0,3.0)*t17268;
+ t17669 = t17042*t17138;
+ t16631 = y*t17669;
+ t17603 = t17142*t17053;
+ t17928 = y*t17603+t16631;
+ t16922 = RATIONAL(20.0,27.0);
+ t17733 = y*t17138;
+ t16927 = RATIONAL(-16.0,27.0);
+ t16537 = t16927*t17733;
+ t17927 = t16537+t16922*t17729;
+ t16822 = RATIONAL(-343.0,144.0);
+ t17564 = t17140*RATIONAL(49.0,48.0);
+ t17926 = t17139*t17564+t16822*t17280;
+ t17037 = RATIONAL(-5.0,12.0);
+ t17315 = t17037*t17570;
+ t17925 = t17138*t17315+t16364;
+ t16217 = t17082*t17479;
+ t16841 = RATIONAL(-35.0,192.0);
+ t17924 = t16217+t16841*t17280;
+ t16812 = t17135*t17139;
+ t17923 = t16812+t17142*t17516;
+ t17131 = RATIONAL(7.0,3.0);
+ t17572 = t17140*t17131;
+ t17081 = RATIONAL(-49.0,9.0);
+ t17922 = t17138*t17572+t17081*t17389;
+ t16515 = t17142*t17589;
+ t15700 = z*t16515;
+ t17340 = t17138*t17618;
+ t16028 = t17141*t17340;
+ t17921 = t15700+t16028;
+ t16970 = RATIONAL(-5.0,144.0);
+ t17480 = t16970*t17706;
+ t17920 = t16970*t17464+z*t17480;
+ t17021 = RATIONAL(56.0,9.0);
+ t17103 = RATIONAL(-8.0,3.0);
+ t17645 = t17140*t17103;
+ t17919 = y*t17645+t17021*t17492;
+ t17031 = RATIONAL(28.0,9.0);
+ t17918 = t17131*t17735+t17031*t17447;
+ t17917 = t17138*t17564+t16822*t17389;
+ t17552 = t17142*t16951;
+ t17725 = t16953*y;
+ t16570 = t17138*t17725;
+ t17916 = y*t17552+t16570;
+ t17611 = t17141*t16914;
+ t16244 = t17074*t17478;
+ t17915 = t17142*t17611+t16244;
+ t17049 = RATIONAL(-28.0,9.0);
+ t15976 = t17049*t17393;
+ t17914 = RATIONAL(125.0,18.0)*t17452+t15976;
+ t16807 = t17032*t17139;
+ t16930 = RATIONAL(-49.0,72.0);
+ t15596 = t16930*t17479;
+ t17913 = t16807*t17737+t15596;
+ t16398 = x*t17715;
+ t17020 = RATIONAL(-1.0,12.0);
+ t17912 = t16398+t17020*t17452;
+ t16961 = RATIONAL(1.0,432.0);
+ t17719 = z*t17139;
+ t17431 = t16961*t17719;
+ t16917 = RATIONAL(-1.0,576.0);
+ t17300 = t16917*t17646;
+ t17911 = t17141*t17300+t17142*t17431;
+ t17683 = t17140*t17125;
+ t17495 = t17140*t17032;
+ t17276 = t17142*t17495;
+ t17910 = (t17276+t17683)*y;
+ t17662 = t16834*t17139;
+ t16404 = x*t17662;
+ t17506 = t16934*t17139;
+ t17909 = t16404+t17506*t17737;
+ t17908 = t15656+RATIONAL(125.0,24.0)*t17452;
+ t15384 = t16847*t17479;
+ t17907 = t16859*t17691+t15384;
+ t17906 = t16890*t17280+t17063*t17587;
+ t16422 = t17142*t17514;
+ t17905 = z*t16422+t16047;
+ t17533 = t17022*t17138;
+ t16677 = y*t17533;
+ t17904 = t16677+t16511;
+ t17033 = RATIONAL(-16.0,9.0);
+ t15918 = t17033*t17697;
+ t16919 = RATIONAL(40.0,27.0);
+ t17903 = t15918+t16919*t17736;
+ t17902 = t16955*t17677+t16807;
+ t15966 = t16994*t17461;
+ t16992 = RATIONAL(20.0,3.0);
+ t17304 = t16992*t17570;
+ t17901 = t15966+t17138*t17304;
+ t16433 = t17138*t17575;
+ t17900 = t17139*t17552+t16433;
+ t16461 = t16885*t17568;
+ t15887 = t17058*t17280;
+ t17899 = t15887+z*t16461;
+ t17647 = t17142*t17003;
+ t17898 = y*t17647+t16508;
+ t17897 = RATIONAL(245.0,288.0)*t17478+t16388;
+ t16674 = t17139*t17708;
+ t17043 = RATIONAL(5.0,36.0);
+ t17896 = t16674+t17043*t17691;
+ t16802 = t17001*x;
+ t17692 = z*t16802;
+ t17895 = t16079+y*t17692;
+ t16939 = RATIONAL(-25.0,48.0);
+ t15461 = t17139*t17336;
+ t17894 = t16939*t17452+t15461;
+ t16039 = t17007*t17461;
+ t17893 = t16883*t17492+t16039;
+ t17610 = t17142*t17061;
+ t17602 = t17066*t17138;
+ t16602 = y*t17602;
+ t17892 = t16602+y*t17610;
+ t16134 = t17139*t17474;
+ t17891 = t16134+t16991*t17280;
+ t16954 = RATIONAL(7.0,288.0);
+ t15845 = t17139*t17434;
+ t17890 = t16954*t17280+t15845;
+ t17889 = t16852*t17280+t17004*t17587;
+ t17463 = t16961*t17707;
+ t17888 = t17138*t17463+t16917*t17280;
+ t17887 = t16564+t17138*t17543;
+ t17886 = t18053*t17138;
+ t16425 = RATIONAL(-32.0,27.0)*t17684;
+ t17885 = t16425+t16919*t17568;
+ t16946 = RATIONAL(5.0,108.0);
+ t17884 = t16946*t17447+t16028;
+ t17298 = t16984*t17587;
+ t15782 = t17138*t17298;
+ t16929 = RATIONAL(-1.0,432.0);
+ t17710 = z*t16929;
+ t17457 = t17139*t17710;
+ t17883 = t15782+t17138*t17457;
+ t16594 = t17138*t17593;
+ t17882 = t17139*t17610+t16594;
+ t17039 = RATIONAL(-8.0,27.0);
+ t16913 = RATIONAL(35.0,36.0);
+ t17881 = t17039*t17478+t16913*t17268;
+ t17494 = z*(t17138+x);
+ t16987 = RATIONAL(-35.0,36.0);
+ t16884 = RATIONAL(16.0,27.0);
+ t16831 = RATIONAL(-35.0,108.0);
+ t17880 = t16987*t17268+t16831*t17619+t16884*t17478;
+ t16894 = RATIONAL(-35.0,72.0);
+ t17585 = t17142*t16894;
+ t16514 = t17139*t17585;
+ t17378 = t17141*t17495;
+ t16054 = t17138*t17378;
+ t17879 = t17585*t17738+t16054+z*t16514;
+ t16434 = t16894*t17568;
+ t15995 = t17139*t17276;
+ t17878 = t16894*t17696+t15995+z*t16434;
+ t17019 = RATIONAL(7.0,24.0);
+ t17466 = z*t17516;
+ t16204 = t17138*t17466;
+ t17877 = t17082*t17619+t16204+t17019*t17268;
+ t17017 = RATIONAL(-35.0,9.0);
+ t17027 = RATIONAL(70.0,9.0);
+ t15968 = t17017*t17280;
+ t17876 = t17017*t17696+t17027*t17464+t15968;
+ t16875 = RATIONAL(-245.0,54.0);
+ t17875 = t17136*t17280+t16896*t17696+t16875*t17464;
+ t17594 = t16972*t17141;
+ t16790 = t16983*t17139;
+ t17469 = z*t16790;
+ t15674 = t17138*t17469;
+ t17874 = t17035*t17268+t15674+t17142*t17594;
+ t15961 = t17017*t17389;
+ t17873 = t17027*t17447+t15961+t17017*t17705;
+ t17503 = t17024*t17141;
+ t16952 = RATIONAL(35.0,12.0);
+ t15563 = t16952*t17280;
+ t17872 = t17503*t17737+t16918*t17464+t15563;
+ t16855 = RATIONAL(35.0,144.0);
+ t16303 = t17107*t17478;
+ t17871 = t16855*t17619+t16303+RATIONAL(-245.0,48.0)*t17268;
+ t16615 = t17001*t17568;
+ t15932 = t17140*t16615;
+ t17870 = t15932+t18049*t16915;
+ t16967 = RATIONAL(-70.0,27.0);
+ t17869 = t16967*t17619+RATIONAL(-160.0,27.0)*t17478+RATIONAL(140.0,9.0)*
+t17268;
+ t16721 = t17048*t17706;
+ t16979 = RATIONAL(-25.0,72.0);
+ t17868 = t16979*t17447+t16721+t15991;
+ t17083 = RATIONAL(7.0,96.0);
+ t15421 = t16859*t17478;
+ t17867 = t17142*t17561+t17083*t17268+t15421;
+ t17044 = RATIONAL(35.0,9.0);
+ t15956 = t17044*t17389;
+ t17866 = t17013*t17705+t17049*t17447+t15956;
+ t17267 = t16954*t17570;
+ t17865 = t17142*t17267+t16893*t17478+t17141*t17579;
+ t15455 = t16883*t17280;
+ t17864 = t15455+t17135*t17464+t17141*t17692;
+ t16038 = t17138*t17362;
+ t17608 = t17007*t17139;
+ t16603 = t17142*t17608;
+ t17863 = t16038+z*t16603+t17682*t17738;
+ t16849 = RATIONAL(35.0,108.0);
+ t17862 = t17051*t17478+RATIONAL(-245.0,36.0)*t17268+t16849*t17619;
+ t16842 = RATIONAL(-1.0,1728.0);
+ t17861 = t15630+t16842*t17706+t17075*t17447;
+ t16867 = RATIONAL(245.0,72.0);
+ t16988 = RATIONAL(-35.0,12.0);
+ t15763 = t16988*t17389;
+ t17860 = t16867*t17447+t17044*t17705+t15763;
+ t17278 = t17083*t17685;
+ t16196 = t17139*t17278;
+ t17500 = t16978*t17141;
+ t17859 = t16196+t17500*t17737+z*t17314;
+ t17023 = RATIONAL(-25.0,9.0);
+ t17446 = t17023*t17735;
+ t15967 = t17031*t17393;
+ t17858 = t16609+t17141*t17446+t15967;
+ t17520 = t17141*t16993;
+ t17079 = RATIONAL(5.0,18.0);
+ t17465 = t17079*t17719;
+ t16055 = t17138*t17465;
+ t17857 = t16930*t17268+t17142*t17520+t16055;
+ t16360 = t17098*t17280;
+ t16886 = RATIONAL(-10.0,27.0);
+ t17856 = t16360+t17523*t17737+t16886*t17464;
+ t16577 = t17142*t17712;
+ t17855 = t16898*t17464+t16577+t15857;
+ t17854 = x*t17463+z*t16547+t17029*t17280;
+ t16940 = RATIONAL(-1.0,864.0);
+ t17597 = t16940*t17141;
+ t16931 = RATIONAL(-1.0,288.0);
+ t17853 = t17142*t17597+t17138*t17431+t16931*t17268;
+ t15952 = t17044*t17280;
+ t17501 = t17013*t17141;
+ t17852 = t17501*t17737+t17049*t17464+t15952;
+ t16947 = RATIONAL(-5.0,108.0);
+ t17581 = t17142*t16953;
+ t16474 = y*t17581;
+ t17851 = t16474+t18052*t16947;
+ t17730 = t16895*x;
+ t15833 = t17730*t17738;
+ t17850 = RATIONAL(-49.0,864.0)*t17478+RATIONAL(5.0,32.0)*t17268+t15833;
+ t17542 = t17142*t16998;
+ t16836 = RATIONAL(-35.0,216.0);
+ t17436 = t16836*t17719;
+ t17279 = t17092*t17570;
+ t16210 = t17138*t17279;
+ t17849 = t17142*t17436+t16210+t17542*t17738;
+ t17553 = t17141*t16929;
+ t17848 = t16972*t17280+t16929*t17464+t17553*t17737;
+ t17009 = RATIONAL(-1.0,54.0);
+ t17661 = t17009*t17139;
+ t17467 = z*t17661;
+ t16193 = t17138*t17467;
+ t17847 = t16193+t17064*t17268+t15833;
+ t17846 = t16875*t17447+t17136*t17389+t16896*t17705;
+ t17102 = RATIONAL(7.0,6.0);
+ t16286 = t17102*t17389;
+ t17566 = t17142*t17043;
+ t15937 = t17566*t17738;
+ t17845 = t16987*t17447+t16286+t15937;
+ t17305 = t17029*t17570;
+ t17844 = z*t16475+t17138*t17305+t16961*t17705;
+ t17088 = RATIONAL(-20.0,3.0);
+ t16876 = RATIONAL(245.0,54.0);
+ t16871 = RATIONAL(140.0,27.0);
+ t17843 = t17088*t17280+t16871*t17696+t16876*t17464;
+ t17484 = x*t17508;
+ t15973 = t17080*t17280;
+ t17842 = t15973+(t16592+t17484)*z;
+ t15574 = t16988*t17280;
+ t17841 = t15574+t17044*t17696+t16867*t17464;
+ t17440 = z*t16810;
+ t16274 = t17138*t17440;
+ t17576 = t17141*t16891;
+ t17840 = t16855*t17268+t17142*t17576+t16274;
+ t15439 = t17138*t17436;
+ t16688 = t17142*t17543;
+ t17839 = t15439+t16688+t17118*t17268;
+ t17709 = t16953*x;
+ t15647 = t17709*t17738;
+ t17838 = t16153+t17059*t17268+t15647;
+ t16659 = t17142*t17525;
+ t16887 = RATIONAL(10.0,27.0);
+ t15728 = t16887*t17478;
+ t17837 = t16659+t15728+t17110*t17268;
+ t16588 = t17142*t17515;
+ t15671 = t16886*t17478;
+ t17836 = t17107*t17268+t16588+t15671;
+ t17126 = RATIONAL(-7.0,6.0);
+ t16283 = t17126*t17389;
+ t17450 = t17058*t17729;
+ t16986 = RATIONAL(49.0,36.0);
+ t17835 = z*t17450+t16283+t16986*t17447;
+ t17726 = t16940*y;
+ t17834 = t17072*t17268+t17726*t17737+t15760;
+ t17833 = t16068+t16939*t17268+t17042*t17736;
+ t15933 = t17048*t17478;
+ t17832 = t17141*t17552+t16898*t17268+t15933;
+ t15390 = t16862*t17478;
+ t16728 = t17142*t17532;
+ t17831 = t15390+t16728+t16841*t17268;
+ t15899 = t17092*t17280;
+ t17830 = t16836*t17464+t15899+t16998*t17696;
+ t16950 = RATIONAL(1.0,216.0);
+ t17667 = t17142*t16950;
+ t17546 = y*t17667+t16525;
+ t17829 = t17546+t16997*t17464+t16869*t17280;
+ t16830 = RATIONAL(-49.0,108.0);
+ t17828 = t16912*t17696+t15899+t16830*t17464;
+ t17654 = t17142*t17009;
+ t17827 = t17654*t17738+t17074*t17447+t16970*t17389;
+ t17574 = t17142*t16842;
+ t15626 = t16938*t17280;
+ t17826 = y*t17574+t17075*t17464+t15626;
+ t17499 = t17043*t17141;
+ t16635 = t17138*t17499;
+ t17825 = t16577+z*t16635+t15887;
+ t17558 = t17142*t16976;
+ t16566 = t17139*t17558;
+ t17824 = z*t16566+t17558*t17738+t15932;
+ t16910 = RATIONAL(49.0,96.0);
+ t16962 = RATIONAL(-35.0,48.0);
+ t17823 = t16910*t17280+t16997*t17696+t16962*t17464;
+ t16889 = RATIONAL(35.0,18.0);
+ t15632 = t16889*t17478;
+ t17822 = t17142*t17551+t15632+RATIONAL(-49.0,24.0)*t17268;
+ t17821 = t16544+t16274+t16980*t17268;
+ t15624 = t16952*t17389;
+ t17820 = t16918*t17447+t15624+t17024*t17705;
+ t16848 = RATIONAL(-245.0,72.0);
+ t17819 = t16848*t17447+t16286+t17592*t17738;
+ t17818 = t16921*t17619+t17010*t17478+RATIONAL(245.0,36.0)*t17268;
+ t17018 = RATIONAL(5.0,96.0);
+ t17817 = t17018*t17268+t15618+t15647;
+ t17816 = t17141*t17581+t16943*t17478+t17094*t17268;
+ t16935 = RATIONAL(-35.0,18.0);
+ t15822 = t16967*t17478;
+ t17815 = t15822+t16935*t17619+RATIONAL(35.0,3.0)*t17268;
+ t16280 = t17126*t17280;
+ t17814 = t16280+t17498*t17737+t16986*t17464;
+ t16897 = RATIONAL(-35.0,54.0);
+ t17549 = t16897*t17141;
+ t16482 = t17138*t17549;
+ t17428 = z*t17549;
+ t17813 = t17113*t17280+x*t17428+z*t16482;
+ t16837 = RATIONAL(280.0,27.0);
+ t17028 = RATIONAL(-80.0,9.0);
+ t16838 = RATIONAL(-140.0,27.0);
+ t17812 = t16838*t17696+t16837*t17464+t17028*t17280;
+ t16900 = RATIONAL(-7.0,288.0);
+ t16926 = RATIONAL(1.0,864.0);
+ t17616 = t16926*t17141;
+ t17811 = t17138*t17473+t16900*t17268+t17142*t17616;
+ t15699 = t16900*t17280;
+ t17462 = t17138*t17713;
+ t17810 = t15699+t17141*t17462+t16957*t17696;
+ t16854 = RATIONAL(49.0,108.0);
+ t17285 = t17125*t17570;
+ t16310 = t17138*t17285;
+ t17809 = t16310+t16971*t17705+t16854*t17447;
+ t16342 = t17110*t17280;
+ t17437 = t16969*t17731;
+ t17808 = t17141*t17437+t17520*t17737+t16342;
+ t17517 = t17141*t16934;
+ t16449 = t17138*t17517;
+ t17541 = t17047*t17141;
+ t17274 = t16960*t17685;
+ t17807 = t17541*t17737+z*t16449+t17139*t17274;
+ t17322 = t16841*t17570;
+ t15465 = t17138*t17322;
+ t17565 = t17142*t17094;
+ t17448 = y*t17565;
+ t17806 = t15465+t16983*t17447+z*t17448;
+ t15516 = t16914*t17478;
+ t17805 = t17141*t17528+t15516+t16991*t17268;
+ t17660 = t17142*t16897;
+ t16494 = t17139*t17660;
+ t17804 = t17660*t17738+z*t16494+t17113*t17389;
+ t16299 = t17102*t17280;
+ t17803 = t16299+t16848*t17464+t16885*t17696;
+ t16623 = t17142*t17711;
+ t17802 = t16623+t15938+t16979*t17464;
+ t16868 = RATIONAL(35.0,216.0);
+ t17509 = t17141*t16943;
+ t17801 = t17509*t17737+t16868*t17464+t17994;
+ t17800 = t17079*t17447+t17059*t17735+t17967;
+ t17799 = t16883*t17619+t16962*t17268+t17946;
+ t15906 = t17091*t17461;
+ t17798 = t17088*t17389+t15906+t16876*t17447+t16871*t17705;
+ t17727 = y*t16926;
+ t17481 = t17056*t17706;
+ t17797 = t15699+t17142*t17727+z*t17481+t17056*t17464;
+ t16975 = RATIONAL(25.0,72.0);
+ t17796 = t16038+t17066*t17706+t18049*t16975;
+ t17795 = t17048*t17447+z*t17647+t18050*t17138;
+ t17071 = RATIONAL(-16.0,3.0);
+ t16966 = RATIONAL(112.0,9.0);
+ t16866 = RATIONAL(-280.0,27.0);
+ t17794 = t17000*t17707+t17071*t17587+t16866*t17464+t16966*t17280;
+ t17489 = t17094*t17706;
+ t17793 = t16983*t17464+z*t17489+t17924;
+ t17445 = t17099*t17707;
+ t17792 = t17020*t17707+t17138*t17445+t17970;
+ t16989 = RATIONAL(-28.0,27.0);
+ t17791 = t16969*t17705+t16989*t17447+t18048;
+ t17673 = t17142*t17052;
+ t16622 = y*t17673;
+ t17790 = z*t17292+t16622+t16196+t16898*t17696;
+ t16850 = RATIONAL(-175.0,72.0);
+ t17789 = t17023*t17696+t16766+t15563+t16850*t17464;
+ t16357 = t17137*t17479;
+ t17788 = t16969*t17696+t16357+t16360+t16989*t17464;
+ t17453 = t16887*t17707;
+ t17596 = t17142*t17064;
+ t16726 = y*t17596;
+ t17600 = t17142*t17037;
+ t17260 = t17140*t17600;
+ t16132 = t17139*t17260;
+ t17787 = t16726+t16849*t17464+t16132+x*t17453;
+ t16968 = RATIONAL(-1.0,144.0);
+ t17513 = t17142*t16968;
+ t16483 = t17141*t17513;
+ t16791 = t16978*y;
+ t17700 = z*t16791;
+ t17786 = t15858+t16483+t17004*t17268+x*t17700;
+ t17785 = t16886*t17705+t16922*t17447+t17935;
+ t16798 = t17094*y;
+ t16029 = t16798*t17737;
+ t17784 = RATIONAL(-35.0,96.0)*t17268+t16029+t16552+t15674;
+ t16248 = t17009*t17736;
+ t17783 = t16248+t17142*t17509+t17034*t17268+t16244;
+ t17782 = t17142*t17500+t16961*t17736+t15516+t17063*t17268;
+ t17701 = t16943*t17738;
+ t15394 = t16868*t17478;
+ t17781 = t15394+t17141*t17565+t17112*t17268+x*t17701;
+ t17040 = RATIONAL(-5.0,96.0);
+ t17780 = t16248+RATIONAL(-5.0,32.0)*t17268+t17040*t17619+t16829*t17478;
+ t16701 = t17138*t17643;
+ t17779 = t17142*t17604+t16701+t16055+t16883*t17268;
+ t16644 = t17079*t17707;
+ t17778 = t16644+t17138*t17453+t17971;
+ t17777 = t17059*t17707+t17079*t17464+t17889;
+ t17584 = t17107*t17141;
+ t17084 = RATIONAL(-14.0,3.0);
+ t17776 = t17142*t17584+t17084*t17268+t17951;
+ t17775 = RATIONAL(35.0,96.0)*t17268+t16564+t17142*t17499+t15421;
+ t17774 = t15390+t16893*t17736+t17001*t17619+t17073*t17268;
+ t16823 = RATIONAL(-245.0,192.0);
+ t17773 = x*t17451+t16907*t17464+t16726+t16823*t17280;
+ t17438 = t16912*t17735;
+ t16369 = t17108*t17461;
+ t17772 = t16830*t17447+t16369+t16210+y*t17438;
+ t16022 = t17043*t17736;
+ t17771 = RATIONAL(-245.0,288.0)*t17478+t17092*t17619+RATIONAL(35.0,32.0)*
+t17268+t16022;
+ t15409 = t17139*t17275;
+ t16948 = RATIONAL(-5.0,576.0);
+ t17770 = t16948*t17729+x*t17445+t15409+t17057*t17464;
+ t17569 = t17022*t17141;
+ t17769 = t15728+t17142*t17569+t16594+t17024*t17268;
+ t16722 = t17142*t17663;
+ t16492 = t16895*t17706;
+ t17768 = t15999+t16492+t16054+z*t16722;
+ t17767 = t17020*t17735+t17142*t17440+t18002;
+ t17016 = RATIONAL(-5.0,48.0);
+ t16833 = RATIONAL(49.0,288.0);
+ t17766 = t16833*t17280+t16474+t18052*t17016;
+ t17765 = t16971*t17696+t16854*t17464+t17994;
+ t17609 = t16915*t17141;
+ t16517 = t17142*t17609;
+ t17439 = z*t16812;
+ t16319 = t17138*t17439;
+ t17764 = t16517+t16319+t16894*t17268+t17895;
+ t17008 = RATIONAL(20.0,9.0);
+ t17026 = RATIONAL(-10.0,9.0);
+ t17502 = t17026*t17141;
+ t17763 = t17008*t17464+t17502*t17737+t15968+t17892;
+ t17762 = t17026*t17736+t16556+RATIONAL(-25.0,18.0)*t17619+RATIONAL(-175.0
+,48.0)*t17268+t15632;
+ t17761 = t16886*t17696+t16342+t16922*t17464+t17928;
+ t15975 = t17499*t17737;
+ t17429 = t16987*t17731;
+ t17277 = t17007*t17587;
+ t16045 = x*t17277;
+ t17760 = t16299+t15975+t16622+t17141*t17429+t16045;
+ t16453 = t17139*t17524;
+ t17759 = RATIONAL(25.0,48.0)*t17268+t16453+RATIONAL(25.0,144.0)*t17619+
+t16204+t17095*t17736;
+ t17699 = t17047*t17738;
+ t15915 = x*t17699;
+ t17580 = t17142*t16893;
+ t17758 = t17040*t17268+t15915+t17141*t17580+t17988;
+ t17757 = t16941*t17736+RATIONAL(25.0,18.0)*t17619+RATIONAL(-25.0,3.0)*
+t17268+t17951;
+ t17002 = RATIONAL(-5.0,18.0);
+ t17460 = t17002*t17719;
+ t16023 = t17138*t17460;
+ t17756 = t17142*t17523+t16023+t16031+t16022+t16885*t17268;
+ t17755 = t17066*t17729+t16045+t15973+t18052*t16975;
+ t17754 = t16728+t17089*t17268+t15915+t17946;
+ t17306 = t16855*t17568;
+ t15358 = t17140*t17306;
+ t16555 = x*t17678;
+ t17753 = x*t17576+t17108*t17447+t15358+t16555+t17135*t17705;
+ t17130 = RATIONAL(5.0,3.0);
+ t16824 = RATIONAL(-245.0,144.0);
+ t17101 = RATIONAL(-5.0,6.0);
+ t17752 = t16824*t17280+t17101*t17696+t17130*t17464+t17928;
+ t17433 = t17075*t17729;
+ t17751 = t17082*t17447+z*t17433+x*t17594+t17957;
+ t17374 = t17141*t17560;
+ t16347 = t17138*t17374;
+ t17750 = t16831*t17447+t16347+t16946*t17705+t17930;
+ t16835 = RATIONAL(175.0,72.0);
+ t16754 = t17137*t17706;
+ t17534 = t17058*t17138;
+ t17329 = t17140*t17534;
+ t16129 = y*t17329;
+ t17749 = t16979*t17705+t16754+t16283+t16129+t16835*t17447;
+ t16905 = RATIONAL(-20.0,27.0);
+ t17005 = RATIONAL(25.0,9.0);
+ t16444 = t16884*t17714;
+ t17038 = RATIONAL(-50.0,9.0);
+ t17748 = t17005*t17705+t16444+t16905*t17706+t17038*t17447+t15956;
+ t15587 = t16930*t17461;
+ t17747 = t17130*t17447+t17101*t17705+t16824*t17389+t15587+t17935;
+ t17746 = z*t17306+x*t16644+t17924+t17950;
+ t17745 = t17018*t17619+t16863*t17478+t16346+RATIONAL(-35.0,32.0)*t17268+
+t17895;
+ t16019 = t17024*t17461;
+ t17668 = t17142*t17026;
+ t17744 = t16019+t17668*t17738+t17008*t17447+t15961+t18036;
+ t17430 = t16913*t17707;
+ t17505 = t17041*t17141;
+ t15994 = t17013*t17479;
+ t17743 = t15574+t17505*t17737+t15994+t17138*t17430+t17950;
+ t17742 = t16849*t17447+t16887*t17705+t17925+t18035;
+ t16145 = t17013*t17461;
+ t17537 = t17142*t17041;
+ t17741 = t16913*t17447+t16145+t17537*t17738+t15763+t18021;
+ t15993 = t17058*t17479;
+ t17723 = t17137*y;
+ t16753 = t17142*t17723;
+ t17732 = y*t16993;
+ t16630 = t17138*t17732;
+ t17740 = t16979*t17696+t15993+t16753+t16630+t16280+t16835*t17464;
+ t16795 = t16968*x;
+ t17724 = t17108*y;
+ t16817 = t17106*x;
+ t16819 = t17128*y;
+ t17720 = y+t17139;
+ t17716 = z*t17089;
+ t17703 = z*t17732;
+ t17702 = z*t17722;
+ t17694 = t17067*t17738;
+ t17693 = z*t16795;
+ t17471 = t16917*t17734;
+ t17358 = t17138*t17615;
+ t15469 = y*t17358;
+ t17690 = t15469+t17142*t17471;
+ t15650 = t17139*t17300;
+ t17689 = t15650+t17141*t17358;
+ t16800 = t17080*t17139;
+ t16200 = t17138*t17277;
+ t17688 = t16894*t17452+t16200;
+ t17686 = t17112*t17140;
+ t16803 = t17001*t17139;
+ t16362 = t17108*t17479;
+ t17680 = t16362+x*t17475;
+ t17676 = t16953*t17141;
+ t16839 = RATIONAL(7.0,1728.0);
+ t17540 = t16839*t17139;
+ t16415 = t17138*t17540;
+ t17675 = t16415+t17141*t17511;
+ t17545 = t17141*t16906;
+ t16500 = t17138*t17545;
+ t17627 = t16950*t17138;
+ t16451 = t17139*t17627;
+ t17674 = t16500+t16451;
+ t15987 = t17007*t17452;
+ t16199 = t17139*t17329;
+ t17672 = t15987+t16199;
+ t15593 = t16986*t17393;
+ t17671 = t15593+RATIONAL(-343.0,216.0)*t17478;
+ t15815 = t16970*t17452;
+ t17297 = t17139*t17550;
+ t15862 = t17138*t17297;
+ t17670 = t15815+t15862;
+ t16793 = t16968*t17138;
+ t17666 = t17142*t17001;
+ t16796 = t16983*t17138;
+ t17665 = t17140*t17102;
+ t17664 = t17047*t17138;
+ t16077 = t17056*t17479;
+ t17441 = t17075*t17706;
+ t17659 = t16077+t17140*t17441;
+ t16576 = t16950*t17714;
+ t16507 = x*t17545;
+ t17658 = t16576+t16507;
+ t17657 = t16920*t17138;
+ t17656 = t17073*t17140;
+ t15824 = x*t17297;
+ t17655 = t17141*t17434+t15824;
+ t16510 = t17138*t17606;
+ t17653 = t16510+t16477;
+ t17652 = t16952*t17452+t15656;
+ t17651 = t17009*t17138;
+ t17650 = t17142*t16931;
+ t17512 = t17078*t17141;
+ t16586 = t17142*t17512;
+ t17649 = t16200+z*t16586;
+ t16432 = t17139*t17579;
+ t15769 = t16890*t17268;
+ t17648 = t16432+t15769;
+ t17617 = t16940*t17139;
+ t15787 = x*t17298;
+ t17644 = t15787+t17617*t17737;
+ t17642 = t17139+t17138;
+ t17641 = t17070*t17139;
+ t17637 = t17110*t17141;
+ t17636 = t17142*t16891;
+ t17635 = t16881*t17695+t16039;
+ t17634 = t17142*t17093;
+ t17633 = t16200+t17080*t17452;
+ t17632 = t17142*t17430+t16199;
+ t16157 = t17052*t17280;
+ t15943 = t17139*t17340;
+ t17631 = t16157+t15943;
+ t17629 = x*t17703+t16265;
+ t16899 = RATIONAL(49.0,27.0);
+ t17628 = t15984+t16899*t17691;
+ t17487 = t17108*t17718;
+ t16272 = y*t17487;
+ t17626 = t16272+t17022*t17736;
+ t17625 = t16019+t16899*t17695;
+ t17624 = t16920*t17139;
+ t16402 = t17138*t17640;
+ t17504 = t16842*t17138;
+ t17623 = t16402+t17141*t17504;
+ t15542 = t16975*t17452;
+ t17622 = t16199+t15542;
+ t16901 = RATIONAL(-49.0,27.0);
+ t17613 = t16901*t17691+t15994;
+ t16413 = t16842*t17714;
+ t17527 = t16882*t17141;
+ t17612 = x*t17527+t16413;
+ t16407 = t17139*t17504;
+ t17607 = t16407+t17138*t17527;
+ t17458 = t17056*t17729;
+ t16232 = t17075*t17461;
+ t17601 = t16232+t17140*t17458;
+ t17599 = t17140*t17126;
+ t17598 = t17141*t16973;
+ t16811 = t17135*t17138;
+ t16804 = t17080*t17138;
+ t17595 = t17142*t16972;
+ t16813 = t17113*t17138;
+ t16816 = t17105*t17138;
+ t16820 = t17099*t17138;
+ t17591 = t15993+t17555*t17737;
+ t15725 = t16947*t17452;
+ t17586 = t15725+t16095;
+ t16455 = t16950*t17706;
+ t16498 = x*t17530;
+ t17582 = t16455+t16498;
+ t16243 = y*t17340;
+ t17577 = z*t16508+t16243;
+ t17571 = t16950*t17568+t16448;
+ t16231 = t17664*t17738;
+ t16424 = t17142*t17606;
+ t15850 = z*t16424;
+ t17567 = t16231+t15850;
+ t16797 = t16968*t17139;
+ t17559 = t17141*t17009;
+ t17556 = t17140*RATIONAL(1.0,8.0);
+ t17548 = t17563*t17737+t16045;
+ t17104 = RATIONAL(-2.0,3.0);
+ t17547 = t17140*t17104;
+ t17544 = t17067*t17139;
+ t17054 = RATIONAL(1.0,24.0);
+ t17538 = t17140*t17054;
+ t15860 = t16917*t17479;
+ t17536 = t16984*t17491+t15860;
+ t17531 = t17140*RATIONAL(5.0,1.0);
+ t17529 = t17138*t16971;
+ t17526 = t17138*t16926;
+ t17522 = t17139*t16926;
+ t17510 = t16937*t17138;
+ t17507 = t17142*t16882;
+ t17496 = t17142*t17042;
+ t17493 = z*t17720;
+ t17490 = t17002*t17706;
+ t17485 = t16898*t17729;
+ t17483 = t17002*t17731;
+ t16740 = t17142*t17724;
+ t17476 = t17107*t17718;
+ t16589 = t17079*t17735;
+ t17470 = y*t17666;
+ t16548 = y*t17650;
+ t17468 = y*t17550;
+ t16533 = y*t17595;
+ t17454 = t16970*t17729;
+ t16999 = RATIONAL(8.0,27.0);
+ t17449 = t16999*t17731;
+ t17443 = t17002*t17735;
+ t17435 = y*t17521;
+ t17432 = z*t16797;
+ t16476 = t16895*t17733;
+ t17427 = t17142*t17720;
+ t17426 = y*t17639+t16852*t17492+t16039;
+ t17425 = t16362+t16370+t17079*t17491;
+ t17424 = t16476+t16791+y*t17621;
+ t17423 = t16362+t16714+t17544*t17737;
+ t16911 = RATIONAL(-49.0,18.0);
+ t17422 = y*t17665+t16145+t16911*t17492;
+ t17421 = t16917*t17570;
+ t17420 = t16458+t16039+t16836*t17695;
+ t15389 = y*t17385;
+ t16959 = RATIONAL(-49.0,96.0);
+ t15328 = RATIONAL(343.0,576.0)*t17393;
+ t17419 = t16959*t17389+t15389+t15328;
+ t17288 = t16869*t17587;
+ t15436 = x*t17288;
+ t17418 = t16031+t15436+x*t17265;
+ t16165 = y*t17273;
+ t17417 = t16165+t15913+t17140*t17454;
+ t16282 = RATIONAL(-49.0,1728.0)*t17684;
+ t16858 = RATIONAL(35.0,576.0);
+ t17416 = t16458+t16858*t17568+t16282;
+ t17415 = t17118*t17280+t16199+t16166;
+ t17332 = t16972*t17570;
+ t15511 = x*t17471;
+ t17414 = x*t17332+t15860+t15511;
+ t16408 = t16839*t17733;
+ t17413 = t17141*t17510+t16415+t16408;
+ t16904 = RATIONAL(49.0,18.0);
+ t17412 = t16904*t17492+y*t17599+t16019;
+ t16703 = x*t17728;
+ t17411 = t16272+t16703+x*t17694;
+ t16469 = t17142*t17506;
+ t17410 = t16797+t16433+t16469;
+ t17409 = t16904*t17491+t15984+x*t17599;
+ t17408 = t16434+t16677+t16406;
+ t17062 = RATIONAL(1.0,12.0);
+ t17407 = t16215+t16247+t17062*t17491;
+ t17406 = y*t17686+t17107*t17492+t16258;
+ t17405 = t16790+t16878*t17677+t16453;
+ t17404 = t16935*t17478+t15593+t16573;
+ t17403 = t16602+t16798+t17065*t17729;
+ t16572 = y*t17627;
+ t16445 = t16953*t17568;
+ t17402 = t16572+t16445+t16451;
+ t16643 = t17039*t17739;
+ t17401 = t16630+t16745+t16643;
+ t17006 = RATIONAL(-1.0,96.0);
+ t17303 = t17006*t17570;
+ t17400 = t15824+x*t17303+t15511;
+ t17287 = t16900*t17570;
+ t15526 = t16938*t17461;
+ t17399 = t17138*t17287+t15526+t15862;
+ t17398 = t16572+t16948*t17568+t16415;
+ t15454 = t17138*t17288;
+ t17397 = t15454+t17997;
+ t17396 = t15494+t17890;
+ t16982 = RATIONAL(-25.0,36.0);
+ t17395 = t16200+t16609+t16982*t17452;
+ t17394 = t16665+(t17515+t17094)*x;
+ t16373 = x*t17540;
+ t16412 = t16842*t17739;
+ t17392 = t16931*t17706+t16373+t16412;
+ t17391 = t16855*t17280+t16199+t16217;
+ t17390 = t16572+t17138*t17561+t16510;
+ t17309 = t17083*t17570;
+ t17388 = t17138*t17309+t15454+t15526;
+ t17387 = t15976+t17966;
+ t17269 = t17035*t17685;
+ t17384 = t17139*t17269+t15845+t15461;
+ t17382 = t16703+t17984;
+ t16295 = y*t17476;
+ t17381 = t16889*t17491+t15984+t16295;
+ t17380 = t16584+t16369+t17138*t17694;
+ t16245 = t17140*t16715;
+ t17379 = t16245+t16077+t16247;
+ t16702 = t16999*t17739;
+ t16468 = t16927*t17714;
+ t17377 = t16702+t16922*t17706+t16468;
+ t16337 = t17138*t17360;
+ t16354 = t17139*t17281;
+ t17376 = t16337+t16369+t16354;
+ t16888 = RATIONAL(49.0,54.0);
+ t17375 = t16800+t16556+t16888*t17677;
+ t17373 = t16365+t16357+t17140*t17490;
+ t17372 = t16701+t16803+t17139*t17634;
+ t17371 = t16359+t18010;
+ t17370 = t16359+t17112*t17646+t17107*t17389;
+ t17369 = y*t17554+t17142*t17486+t16267;
+ t16561 = t16884*t17733;
+ t17368 = t16989*t17729+t17106*y+t16561;
+ t17367 = t16095+t17945;
+ t17366 = t16813+t16958*t17568+t16478;
+ t17365 = t17122*t17646+t17036*t17389+t15976;
+ t16506 = x*t17712;
+ t17364 = t16506+t18000;
+ t16599 = t17138*t17512;
+ t17363 = t15967+t17922;
+ t16538 = t16974*t17568;
+ t16549 = t17141*t17529;
+ t15326 = RATIONAL(-343.0,576.0)*t17393;
+ t16826 = RATIONAL(245.0,192.0);
+ t17361 = t16826*t17389+t15326+t15587;
+ t17359 = t17139*t17647+t16564+t16498;
+ t17357 = t16631+(t17001+t17634)*y;
+ t16523 = t16940*t17568;
+ t15614 = x*t17468;
+ t17356 = t15614+x*t17309+t15436;
+ t17355 = t15461+t18018;
+ t17354 = t16954*t17568+t16408+t16282;
+ t17353 = x*t17442+t16404+t15384;
+ t17352 = t16674+t16357+t16998*t17691;
+ t17351 = t16931*t17570;
+ t17350 = t16045+t18051*x;
+ t17349 = t16804+t16556+t16888*t17568;
+ t17348 = t15824+t15614+x*t17287;
+ t15925 = x*t17435;
+ t17347 = t16165+t15925+t17140*t17470;
+ t17346 = t16273+t18053*x;
+ t16942 = RATIONAL(-35.0,24.0);
+ t17345 = t15665+t16295+t16942*t17491;
+ t16575 = t16950*t17739;
+ t17344 = t16575+t16576+x*t17676;
+ t16169 = RATIONAL(64.0,9.0)*t17393;
+ t17343 = t17138*t17535+t16985*t17389+t16169;
+ t17341 = t16701+t17093*t17568+t16808;
+ t16410 = y*t17504;
+ t17339 = t16407+t16410+t17141*t17526;
+ t17338 = t16425+t16816+t16916*t17568;
+ t17337 = t16911*t17491+x*t17665+t15994;
+ t17335 = t17118*t17492+t16129+t15925;
+ t17334 = t17020*t17492+t16220+t15913;
+ t17333 = t16479+t17139*t17636+t16498;
+ t17331 = t16506+t17898;
+ t17330 = t15943+t17960;
+ t17328 = t16575+t17979;
+ t17327 = t15993+x*t17656+t16863*t17491;
+ t17326 = t16802+t16696+t17093*t17706;
+ t17324 = t16523+t16396+t16402;
+ t17323 = t16206+x*t17645+t17021*t17491;
+ t17321 = t16449+t16793+t16433;
+ t17320 = t16410+t16415+t16931*t17568;
+ t17319 = t16399+t15787+x*t17457;
+ t17055 = RATIONAL(-10.0,3.0);
+ t17318 = t17055*t17492+t16145+t16030;
+ t17317 = t16796+t16453+t16878*t17568;
+ t17316 = t15593+t16499+t17100*t17478;
+ t17313 = x*t17687+t16122+t17085*t17491;
+ t17312 = t16633+t15596+t16913*t17691;
+ t16235 = t17142*t17435;
+ t17310 = t16235+t16232+t15913;
+ t17308 = t16991*t17570;
+ t17307 = t15469+t15473+t17140*t16548;
+ t16689 = t17139*t17566;
+ t17302 = t17138*t17520+t16687+t16811;
+ t17301 = t17061*t17568+t16594+t16667;
+ t17299 = t16354+t17886;
+ t16606 = t17142*t17573;
+ t17295 = t16989*t17706+t16817+t16444;
+ t17294 = t16555+(t17611+t16978)*x;
+ t17291 = t16362+(t17683+t17378)*x;
+ t17290 = t17138*t17267+t15494+t15509;
+ t16530 = t16896*t17677;
+ t15868 = y*t17300;
+ t17289 = t17138*t17303+t15868+t15862;
+ t16464 = t17142*t17530;
+ t17286 = t16572+t16433+t16951*t17568;
+ t17283 = t16129+(t17266+t17656)*y;
+ t17282 = y*t17605+t16243+t16983*t17492;
+ t17272 = t16992*t17685;
+ t16995 = RATIONAL(80.0,9.0);
+ t16143 = RATIONAL(-64.0,9.0)*t17393;
+ t17271 = t15906+t16143+t16995*t17389;
+ t17270 = t16820+t17141*t17533+t16669;
+ t17264 = t17142*t17553;
+ t17263 = t16329+x*t17686+t17141*t17476;
+ t17261 = t15824+t16247+t16960*t17491;
+ t17259 = t17139*t17572+t17081*t17280+t15967;
+ t17258 = z*t17427;
+ t17257 = t17141*t17494;
+ t17256 = t17088*t17140+t17041;
+ t17255 = RATIONAL(-5.0,1.0)*t17140+t17134;
+ t17254 = t17686+t17094;
+ t17253 = t17077*t17140+t17056;
+ t17252 = RATIONAL(-7.0,8.0)*t17140+t17054;
+ t17251 = t17032+t16955*t17141;
+ t17250 = t17656+t17001;
+ t17249 = t17639+t16968;
+ t17248 = t17112+RATIONAL(2.0,1.0)*t17140;
+ t17247 = t17135+t17019*t17140;
+ t17246 = RATIONAL(35.0,16.0)*t17140+t17016;
+ t17245 = t16988*t17140+t17026;
+ t17069 = RATIONAL(-1.0,24.0);
+ t17244 = t17069*t17140+t17075;
+ t17243 = t16978+t17620;
+ t17242 = t17101+RATIONAL(-35.0,16.0)*t17140;
+ t17241 = RATIONAL(5.0,16.0)*t17140+t16997;
+ t17240 = RATIONAL(7.0,8.0)*t17140+t17109;
+ t17238 = t17092*t17140+t17043;
+ t17237 = RATIONAL(-1.0,8.0)*t17140+t17069;
+ t17236 = t17078+t16952*t17140;
+ t17115 = RATIONAL(2.0,3.0);
+ t17235 = t17099+t17115*t17140;
+ t15852 = t17142*t17428;
+ t17234 = t15852+t16354+t17141*t17383+z*t16530;
+ t15620 = z*t17264;
+ t17233 = t15620+t15782+t16972*t17268+t16940*t17478;
+ t15548 = z*t16483;
+ t15681 = t17141*t17311;
+ t17232 = t16978*t17447+t15548+t15681+t15862;
+ t15767 = t16976*t17452;
+ t17231 = z*t16549+t15767+t17631;
+ t15683 = t16983*t17268;
+ t17230 = t15683+t16193+t17955;
+ t17229 = t16893*t17464+t15626+t17931;
+ t15709 = z*t16517;
+ t17228 = t16970*t17268+t15709+t15981+t15943;
+ t17227 = t17101*t17268+t15348+t17626+t17632;
+ t17226 = t17141*t17260+t15394+t16606+t16564+t17622;
+ t17225 = t16887*t17447+t15852+t16589+t17299;
+ t15434 = RATIONAL(490.0,27.0)*t17452;
+ t17224 = t15434+t16966*t17389+t16143+t17071*t17646+t17000*t17735+t16866*
+t17447;
+ t16082 = t17056*t17452;
+ t17223 = t15494+t16931*t17619+t17006*t17268+t16082+t17988;
+ t17222 = t16102+t16946*t17464+t17546+t17586;
+ t17221 = RATIONAL(-5.0,2.0)*t17268+RATIONAL(343.0,216.0)*t17478+t17629+
+t17652;
+ t17220 = t16898*t17447+t15681+t17658+t17670;
+ t17219 = t17569*t17737+t16357+t16132+t16879*t17464+t17688;
+ t15923 = t17016*t17452;
+ t17218 = t17580*t17738+t16862*t17447+t15923+t15461+t17957;
+ t17217 = t16023+t17093*t17619+t16594+t17141*t17266+t17688;
+ t17216 = t17513*t17738+t16082+t17142*t17432+t17290;
+ t15373 = RATIONAL(-175.0,18.0)*t17452;
+ t17215 = t15514+t16916*t17736+t15918+t15373+t15967+RATIONAL(25.0,3.0)*
+t17268;
+ t15375 = RATIONAL(245.0,18.0)*t17452;
+ t17214 = t16996*t17735+t17000*t17447+t15375+t17365;
+ t17213 = t17142*t17703+t15852+t16969*t17447+t17376;
+ t17212 = t16948*t17619+t15923+t17142*t17265+t17355;
+ t16928 = RATIONAL(25.0,96.0);
+ t15595 = t16928*t17452;
+ t15916 = t17512*t17737;
+ t17211 = t15595+t16215+t15454+t15409+t16859*t17464+t15916;
+ t16304 = t17126*t17452;
+ t17210 = RATIONAL(49.0,24.0)*t17268+t17057*t17619+t16304+t17316;
+ t16184 = t17054*t17452;
+ t17209 = t16184+t17388+(t17700+t17442)*t17142;
+ t16113 = t17081*t17452;
+ t17208 = t16113+t17131*t17707+t17031*t17464+t17259;
+ t17207 = t16862*t17464+t16893*t17696+t15923+t17384;
+ t17206 = t17141*t17693+t16968*t17464+t16082+t17396;
+ t17205 = z*t17470+t17142*t17439+t17649+t18047;
+ t17204 = t17002*t17464+t15975+t15542+t17391;
+ t17203 = t15725+t17609*t17737+t16915*t17464+t17367;
+ t17202 = t17139*t17443+t15358+t16220+t15937+t17622;
+ t17201 = t16479+t17142*t17517+t16852*t17268+t16319+t17672;
+ t16016 = t17044*t17452;
+ t17200 = t17055*t17268+t15976+t16016+t15547+t17626;
+ t17199 = t17074*t17464+t16134+t17559*t17737+t16970*t17280+t17586;
+ t15785 = t16902*t17452;
+ t17198 = t16359+t17026*t17268+t15785+t15491+t17629;
+ t17197 = t15905+z*t16689+t17649+t17658;
+ t15865 = t16950*t17452;
+ t17196 = t15650+t17138*t17332+t15868+t15865+t18049*t16929;
+ t15422 = RATIONAL(-175.0,24.0)*t17452;
+ t17195 = RATIONAL(245.0,48.0)*t17268+t16889*t17619+t15422+t17404;
+ t17194 = t17142*t17699+t16188+t16960*t17389+z*t16469+t17670;
+ t15504 = z*t16538;
+ t17193 = t15504+t16974*t17696+t15767+t17330;
+ t15804 = t16901*t17452;
+ t17192 = t15804+z*t17584+t16354+t16909*t17464+t17971;
+ t15673 = t16888*t17452;
+ t17191 = t17139*t17438+t17080*t17735+t15673+t17370;
+ t15420 = RATIONAL(-350.0,27.0)*t17452;
+ t17190 = t15420+t15966+t16837*t17447+t16169+t17028*t17389+t16838*t17705;
+ t17189 = t15815+t17399+t18049*t16957;
+ t17188 = t16983*t17280+t17048*t17464+z*t17543+t17072*t17587+t15943+t15767
+;
+ t17187 = t17109*t17268+x*t17702+t15345+t15884+t17633;
+ t17186 = t17022*t17705+t16879*t17447+t17688+t17925;
+ t17185 = t15987+t17598*t17737+t16881*t17464+t17415;
+ t17184 = t17142*t17694+t16886*t17447+t18004+t18048;
+ t17183 = t16347+t16165+t17142*t17702+t16881*t17447+t17672;
+ t15942 = z*t16588;
+ t17182 = t16479+t16095+t15933+t15942+t17142*t17598+t17082*t17268;
+ t17181 = t16868*t17447+t16243+t16310+t17142*t17701+t17649;
+ t17180 = t17118*t17735+t16795+t16480+x*t17517+t17137*t17447+t17633+t17967
+;
+ t16945 = RATIONAL(35.0,24.0);
+ t16949 = RATIONAL(-25.0,12.0);
+ t15619 = t16949*t17452;
+ t17179 = t15619+t17098*t17619+t16945*t17268+t17382+t17404;
+ t16186 = t17059*t17452;
+ t17178 = t16575+t17057*t17447+t16373+t16948*t17706+t17099*t17705+t16186+
+t17397;
+ t17177 = t17098*t17447+y*t17443+t17395+t18036+t18047;
+ t16825 = RATIONAL(343.0,144.0);
+ t16965 = RATIONAL(-49.0,48.0);
+ t17129 = RATIONAL(-5.0,3.0);
+ t17123 = RATIONAL(-5.0,4.0);
+ t17176 = t16965*t17646+t17123*t17735+t16825*t17389+t17129*t17447+t17394+
+t17652;
+ t17175 = t16561+t16643+t16905*t17729+t15994+t17005*t17696+t15952+t17038*
+t17464+t17914;
+ t17174 = t15600+t16823*t17389+t17134*t17705+t16907*t17447+t15328+t17969+
+t18035;
+ t17173 = z*t17600+t17110*t17447+t17326+t17632+t18002;
+ t17030 = RATIONAL(25.0,6.0);
+ t17076 = RATIONAL(50.0,9.0);
+ t17172 = t16909*t17729+t17030*t17707+t17076*t17464+t16819+t16537+t15373+
+t17259;
+ t17171 = t15454+t16833*t17389+t15389+t16186+t17344+t18049*t17016;
+ t17046 = RATIONAL(10.0,3.0);
+ t17170 = t17110*t17619+t15822+t16556+t17046*t17268+t17858+t18013;
+ t16110 = t17079*t17452;
+ t17169 = t16476+t17135*t17696+t16110+t16506+y*t17636+t17108*t17464+t17391
+;
+ t15920 = z*t16606;
+ t17168 = t16506+t16970*t17447+t16492+t16498+z*t17454+t15920+t17290;
+ t17011 = RATIONAL(-20.0,9.0);
+ t17167 = t17129*t17735+t17011*t17447+t16016+t17326+t17365;
+ t17166 = t16575+t16029+t16942*t17268+t16606+t16453+t16031+t16303+t17940;
+ t17165 = t17076*t17447+t17128*x+t17030*t17735+t15373+t16468+t16909*t17706
++t17363;
+ t16276 = RATIONAL(5.0,8.0)*t17452;
+ t17164 = t15425+t16506+t16962*t17447+t16997*t17705+t15326+t16276+t16910*
+t17389+t17930;
+ t17163 = t15455+t16215+z*t17490+t17098*t17464+t17395+t17892;
+ t17162 = t17037*t17707+t17110*t17464+t17357+t17632+t17970;
+ t16240 = z*t16688;
+ t17161 = t17056*t17447+t16413+x*t17616+t16412+t16240+z*t17458+t17399;
+ t17160 = t16965*t17587+t16825*t17280+t17123*t17707+t17129*t17464+t17403+
+t17652;
+ t17159 = t16533+t16389+t17082*t17464+z*t17441+t17384+t17912;
+ t17158 = t16110+t16946*t17696+t16831*t17464+t17331+t17415;
+ t17157 = t16883*t17447+t16186+z*t17485+t17328+t17388;
+ t15743 = RATIONAL(-25.0,27.0)*t17452;
+ t17156 = t17141*t17542+t16701+t17041*t17268+t16354+t15671+t15743+t17411;
+ t17114 = RATIONAL(5.0,2.0);
+ t17155 = t17114*t17268+t15619+t17141*t17600+t15593+RATIONAL(-245.0,216.0)
+*t17478+t16388+t17411;
+ t17154 = t16905*t17447+z*t17679+t15785+t17370+t17394;
+ t16236 = z*t16659;
+ t17153 = t15943+t16236+t16243+t15947+t17344+t18049*t16947;
+ t17152 = z*t17637+t15785+t16905*t17464+t17371+t17403;
+ t17151 = t15624+t16706+x*t17637+t16702+t16850*t17447+t16019+y*t17446+
+t17908;
+ t17150 = t15439+t16586+t16510+t17134*t17268+t17395+t18013;
+ t17149 = t15619+RATIONAL(175.0,48.0)*t17268+t16703+RATIONAL(-25.0,144.0)*
+t17619+t16817*t17738+t16315+t17316;
+ t17148 = t16934*t17729+t16968*y+t17118*t17707+t16570+t17137*t17464+t17633
++t17889;
+ t17147 = t16110+t15993+t16199+t15995+z*t16599+t15916+t17364;
+ t17146 = t17129*t17707+t17011*t17464+t16016+t17357+t17387;
+ t17145 = t15465+t16855*t17447+t16703+t16220+y*t16589+t17894+t18021;
+ t17133 = RATIONAL(1.0,2.0);
+ t17121 = RATIONAL(4.0,3.0);
+ t17117 = RATIONAL(-1.0,4.0);
+ t17116 = RATIONAL(-2.0,1.0);
+ t17111 = RATIONAL(-4.0,3.0);
+ t17090 = RATIONAL(98.0,9.0);
+ t17086 = RATIONAL(-28.0,3.0);
+ t17060 = RATIONAL(28.0,3.0);
+ t17050 = RATIONAL(-5.0,16.0);
+ t17045 = RATIONAL(-25.0,6.0);
+ t17025 = RATIONAL(25.0,8.0);
+ t17014 = RATIONAL(7.0,12.0);
+ t16981 = RATIONAL(-25.0,54.0);
+ t16964 = RATIONAL(-80.0,27.0);
+ t16956 = RATIONAL(-49.0,12.0);
+ t16944 = RATIONAL(-25.0,96.0);
+ t16925 = RATIONAL(80.0,27.0);
+ t16923 = RATIONAL(25.0,12.0);
+ t16892 = RATIONAL(49.0,12.0);
+ t16880 = RATIONAL(-200.0,27.0);
+ t16877 = RATIONAL(392.0,27.0);
+ t16873 = RATIONAL(-175.0,96.0);
+ t16870 = RATIONAL(175.0,54.0);
+ t16865 = RATIONAL(-100.0,27.0);
+ t16861 = RATIONAL(196.0,27.0);
+ t16860 = RATIONAL(-35.0,576.0);
+ t16857 = RATIONAL(100.0,27.0);
+ t16856 = RATIONAL(-175.0,54.0);
+ t16853 = RATIONAL(175.0,96.0);
+ t16851 = RATIONAL(-112.0,27.0);
+ t16846 = RATIONAL(-196.0,27.0);
+ t16845 = RATIONAL(343.0,54.0);
+ t16844 = RATIONAL(200.0,27.0);
+ t16843 = RATIONAL(112.0,27.0);
+ t16840 = RATIONAL(35.0,432.0);
+ t16832 = RATIONAL(-343.0,54.0);
+ t16828 = RATIONAL(-392.0,27.0);
+ t16781 = t17106*t17677;
+ t16769 = t17106*t17568;
+ t16760 = t17128*t17568;
+ t16755 = t17128*t17677;
+ t16746 = t17098*t17706;
+ t16731 = t17138*t17541;
+ t16725 = t17138*t17502;
+ t16723 = t17066*t17568;
+ t16719 = t17139*t17496;
+ t16717 = t17139*t17603;
+ t16705 = t17139*t17654;
+ t16704 = t17139*t17562;
+ t16697 = t17042*t17706;
+ t16694 = t17138*t17505;
+ t16686 = t17139*t17542;
+ t16681 = t17142*t17641;
+ t16671 = t17139*t17565;
+ t16670 = t17142*t17728;
+ t16666 = t17070*t17568;
+ t16661 = t17139*t17537;
+ t16657 = t17142*t17544;
+ t16652 = t17139*t17673;
+ t16645 = t17142*t17557;
+ t16634 = t17074*t17706;
+ t16629 = t17138*t17525;
+ t16627 = t17142*t17578;
+ t16626 = t17139*t17596;
+ t16620 = t17139*t17666;
+ t16618 = t17142*t17593;
+ t16616 = t17138*t17559;
+ t16612 = t17095*t17568;
+ t16610 = t17042*t17568;
+ t16598 = t17139*t17668;
+ t16582 = t17138*t17532;
+ t16580 = y*t17496;
+ t16546 = t17139*t17650;
+ t16542 = t16900*t17677;
+ t16529 = t16908*t17706;
+ t16526 = t16908*t17568;
+ t16522 = t17142*t17617;
+ t16519 = x*t17597;
+ t16516 = t17142*t17726;
+ t16513 = t17142*t17575;
+ t16512 = t17139*t17667;
+ t16504 = t16948*t17677;
+ t16497 = t17139*t17528;
+ t16496 = t16900*t17568;
+ t16488 = t16920*t17568;
+ t16459 = t16941*t17677;
+ t16443 = t16937*t17677;
+ t16429 = t17139*t17595;
+ t16428 = t17142*t17624;
+ t16427 = t17142*t17522;
+ t16426 = t16919*t17677;
+ t16418 = t16954*t17677;
+ t16417 = t17142*t17662;
+ t16416 = t16840*t17677;
+ t16411 = y*t17507;
+ t16401 = t17142*t17540;
+ t16397 = t16840*t17568;
+ t16393 = t16860*t17568;
+ t16392 = t16860*t17677;
+ t16385 = t17139*t17574;
+ t16384 = t17139*t17507;
+ t16377 = t16872*t17677;
+ t16375 = t16839*t17568;
+ t16372 = t16858*t17677;
+ t16368 = t16818*t17737;
+ t16361 = x*t17285;
+ t16350 = t17121*t17491;
+ t16344 = t17128*t17492;
+ t16340 = t17140*t16740;
+ t16339 = t17103*t17389;
+ t16335 = t17141*t17281;
+ t16330 = t17103*t17280;
+ t16326 = t16815*t17737;
+ t16325 = t16811*t17738;
+ t16323 = x*t17439;
+ t16321 = t17111*t17491;
+ t16318 = t16816*t17738;
+ t16316 = t16819*t17737;
+ t16314 = t17140*t16754;
+ t16313 = t17106*t17280;
+ t16311 = x*t17374;
+ t16306 = t16813*t17738;
+ t16294 = t17111*t17492;
+ t16293 = x*t17440;
+ t16290 = t16820*t17738;
+ t16271 = t17140*t16753;
+ t16270 = t17106*t17491;
+ t16268 = t17105*t17389;
+ t16266 = t17121*t17492;
+ t16260 = t17128*t17491;
+ t16256 = t17141*t17487;
+ t16255 = t17125*t17492;
+ t16250 = t17105*t17280;
+ t16249 = t17106*t17492;
+ t16238 = t17006*t17280;
+ t16233 = t17651*t17738;
+ t16230 = t17011*t17695;
+ t16225 = t17070*t17736;
+ t16223 = t17089*t17492;
+ t16219 = t17065*t17695;
+ t16218 = t17630*t17737;
+ t16216 = t17093*t17691;
+ t16209 = t16999*t17691;
+ t16208 = y*t17449;
+ t16202 = t17039*t17695;
+ t16201 = t17140*t17448;
+ t16198 = t17093*t17695;
+ t16189 = t17010*t17492;
+ t16187 = t17002*t17492;
+ t16183 = t17638*t17738;
+ t16182 = t17062*t17492;
+ t16180 = t17140*t17433;
+ t16177 = t17139*t17449;
+ t16176 = t17139*t17272;
+ t16175 = x*t17305;
+ t16174 = t17039*t17691;
+ t16173 = t16799*t17738;
+ t16167 = z*t16674;
+ t16163 = x*t17459;
+ t16162 = z*t16714;
+ t16151 = y*t17260;
+ t16147 = t17059*t17492;
+ t16142 = t17020*t17491;
+ t16141 = t17142*t17456;
+ t16137 = t17557*t17737;
+ t16133 = x*t17460;
+ t16131 = t17033*t17478;
+ t16128 = t17079*t17492;
+ t16120 = t16998*t17695;
+ t16118 = t16800*t17737;
+ t16108 = t16995*t17280;
+ t16100 = t16804*t17738;
+ t16097 = t17014*t17492;
+ t16096 = x*t17325;
+ t16094 = t17095*t17695;
+ t16058 = t17066*t17736;
+ t16053 = z*t16677;
+ t16041 = t17142*t17482;
+ t16036 = t17008*t17695;
+ t16035 = t17140*t17481;
+ t16033 = y*t17483;
+ t16027 = t17055*t17491;
+ t16008 = y*t17278;
+ t16005 = t17140*t17450;
+ t16004 = t17012*t17492;
+ t16001 = t17046*t17492;
+ t16000 = x*t17465;
+ t15997 = t17057*t17491;
+ t15988 = t17011*t17691;
+ t15985 = t17008*t17691;
+ t15983 = t17068*t17478;
+ t15980 = t17140*t17484;
+ t15965 = y*t17262;
+ t15950 = z*t16584;
+ t15944 = x*t17467;
+ t15941 = t17641*t17737;
+ t15940 = t17142*t17488;
+ t15936 = t17001*t17491;
+ t15934 = t17035*t17491;
+ t15929 = y*t17269;
+ t15924 = z*t16667;
+ t15919 = t17006*t17492;
+ t15912 = t17046*t17491;
+ t15910 = t16805*t17738;
+ t15907 = t17141*t17477;
+ t15904 = t17082*t17491;
+ t15903 = t17092*t17492;
+ t15897 = t16803*t17737;
+ t15895 = x*t17315;
+ t15894 = t17043*t17695;
+ t15891 = x*t17466;
+ t15889 = t17014*t17491;
+ t15880 = t17140*t17489;
+ t15879 = z*t16630;
+ t15878 = t17079*t17695;
+ t15874 = x*t17279;
+ t15872 = t17140*t17485;
+ t15871 = t17138*t17351;
+ t15869 = t16961*t17695;
+ t15867 = t17142*t17444;
+ t15863 = t17497*t17738;
+ t15861 = x*t17431;
+ t15855 = t17138*t17308;
+ t15849 = t16915*t17695;
+ t15841 = t16889*t17492;
+ t15836 = z*t16555;
+ t15835 = t16886*t17691;
+ t15830 = t16964*t17695;
+ t15827 = t17526*t17738;
+ t15826 = t16926*t17478;
+ t15825 = t16914*t17691;
+ t15818 = t16931*t17280;
+ t15810 = t16786*t17738;
+ t15805 = x*t17469;
+ t15803 = t16927*t17478;
+ t15790 = t17624*t17737;
+ t15789 = t16929*t17695;
+ t15778 = t16943*t17691;
+ t15776 = t16954*t17492;
+ t15774 = t17522*t17737;
+ t15766 = t16925*t17695;
+ t15751 = t17727*t17737;
+ t15747 = t17657*t17738;
+ t15745 = t16984*t17280;
+ t15742 = t16796*t17738;
+ t15735 = t16940*t17695;
+ t15733 = t16887*t17691;
+ t15732 = t17514*t17737;
+ t15729 = t16887*t17695;
+ t15726 = t17588*t17737;
+ t15721 = t16990*t17695;
+ t15713 = t16943*t17464;
+ t15712 = z*t16570;
+ t15702 = t16913*t17695;
+ t15693 = t17140*t16533;
+ t15692 = x*t17432;
+ t15691 = t16793*t17738;
+ t15690 = t17138*t17432;
+ t15689 = y*t17693;
+ t15687 = y*t17274;
+ t15685 = t16886*t17695;
+ t15680 = x*t17472;
+ t15678 = z*t16476;
+ t15667 = t16987*t17691;
+ t15661 = t16976*t17691;
+ t15658 = t17510*t17738;
+ t15657 = x*t17267;
+ t15645 = t17524*t17738;
+ t15644 = y*t17462;
+ t15640 = t16958*t17736;
+ t15639 = z*t16480;
+ t15636 = x*t17421;
+ t15631 = t16893*t17691;
+ t15622 = t16957*t17691;
+ t15616 = t17139*t17462;
+ t15611 = t16977*t17492;
+ t15606 = t16959*t17280;
+ t15601 = t16893*t17695;
+ t15599 = y*t17429;
+ t15592 = t16945*t17492;
+ t15590 = t16945*t17491;
+ t15584 = t16902*t17695;
+ t15583 = t16788*t17738;
+ t15576 = t16925*t17691;
+ t15573 = x*t17308;
+ t15572 = t16900*t17492;
+ t15567 = t16901*t17695;
+ t15560 = x*t17386;
+ t15557 = t16942*t17492;
+ t15554 = t16935*t17492;
+ t15553 = t16935*t17491;
+ t15546 = t16898*t17280;
+ t15534 = z*t16458;
+ t15531 = z*t16510;
+ t15530 = z*t16450;
+ t15527 = t17142*t17468;
+ t15522 = x*t17698;
+ t15520 = t16964*t17691;
+ t15515 = t17140*t17480;
+ t15513 = t17529*t17738;
+ t15506 = t16912*t17695;
+ t15500 = y*t17455;
+ t15498 = t16943*t17695;
+ t15497 = y*t17437;
+ t15495 = t16915*t17691;
+ t15485 = z*t16521;
+ t15481 = t17710*t17739;
+ t15480 = t16915*t17478;
+ t15474 = t17590*t17737;
+ t15470 = x*t17351;
+ t15460 = t16843*t17691;
+ t15445 = RATIONAL(-224.0,27.0)*t17478;
+ t15438 = t16862*t17691;
+ t15435 = t16851*t17691;
+ t15431 = t16859*t17695;
+ t15419 = t16868*t17691;
+ t15418 = t16852*t17478;
+ t15416 = t16868*t17695;
+ t15411 = RATIONAL(49.0,864.0)*t17478;
+ t15407 = t16841*t17492;
+ t15405 = RATIONAL(160.0,27.0)*t17478;
+ t15383 = x*t17322;
+ t15381 = t16874*t17280;
+ t15377 = t16847*t17280;
+ t15374 = t16883*t17491;
+ t15370 = t16851*t17695;
+ t15365 = t16855*t17491;
+ t15363 = t16843*t17695;
+ t15359 = t16855*t17492;
+ t15352 = t17141*t17336;
+ t15350 = t16879*t17695;
+ t15341 = x*t17436;
+ t15329 = t16827*t17280;
+ t15327 = t16826*t17280;
+ t15316 = RATIONAL(245.0,216.0)*t17478;
+ coeffs_dz->coeff_m2_m2_m2 = t15470+t16398+t16950*t17257+((t16978*t17140+
+t16961)*t17141+(t17676+t17720*t16950)*z)*t17142+t15818+t15789+t16516+t16519+
+t16522+t17307+t15871+t15481+t17319+t17324+t17883;
+ coeffs_dz->coeff_m1_m2_m2 = t16497+t15500+t16488+t15504+t16163+t17168+
+t15907+z*t16721+t17758+t17891+t18028+t18038;
+ coeffs_dz->coeff_0_m2_m2 = t17182+t15924+t16616+t17244*t17141+t16165+(
+t17720*t17003+(t17602+t17094)*t17141)*z+t17424+t17824+t17906+t17974+t17998;
+ coeffs_dz->coeff_p1_m2_m2 = (t17669+t17074*x)*t17707+t16731+t15872+t15944
++t15950+t15546+t17153+t17379+t17783+t17900+t17916;
+ coeffs_dz->coeff_p2_m2_m2 = z*t16507+t16548+t15864+t15861+t16546+t17161+
+t16238+t15919+t15863+t17413+t17414+t17782;
+ coeffs_dz->coeff_p3_m2_m2 = z*t16500+t15867+t16411+t16384+t15869+t17196+
+t15745+t17339+t17853;
+ coeffs_dz->coeff_m2_m1_m2 = t16428+t17310+t17364+t15855+t15573+z*t16623+
+t16529+t16526+t17567+t17396+t17758+t15920+t17909+t17920;
+ coeffs_dz->coeff_m1_m1_m2 = t16218+t16392+(RATIONAL(25.0,64.0)*t17140+
+RATIONAL(25.0,192.0))*t17619+t16223+t16393+t16219+t16225+t17746+t17145+t18009+
+t18020;
+ coeffs_dz->coeff_0_m1_m2 = t16635+(t17608+t17723)*z+t16208+t17162+t17241*
+t17141+t17772+t17799+t17910+t18014;
+ coeffs_dz->coeff_p1_m1_m2 = t16377+t16599+t17742+t16187+t16216+t16202+
+t17163+t17759+t18003;
+ coeffs_dz->coeff_p2_m1_m2 = t16182+t15825+t16418+t16198+t17178+t17261+
+t17416+t17780+t17790;
+ coeffs_dz->coeff_p3_m1_m2 = t16233+t17194+t16417+t16180+t17398+t17805+
+t17855;
+ coeffs_dz->coeff_m2_0_m2 = t16167+t17182+t16705+t17003*t17494+((t17593+
+t17094)*z+t17244)*t17142+t17294+t17945+t18007+t18012+t18022+t18033;
+ coeffs_dz->coeff_m1_0_m2 = t16689+t16209+t17241*t17142+(t17137*x+t17007*
+t17138)*z+t17173+t17291+t17799+t17828+t17938;
+ coeffs_dz->coeff_0_0_m2 = t17192+t17062+(t17112+t17642*t17128)*z+(
+RATIONAL(1.0,4.0)+t17012*t17141+(t17012+t16986*t17141)*t17142)*t17140+(t16854*
+t17141+t17058)*t17142+t15803+t17498+t17302+t17886+t17923+t17943;
+ coeffs_dz->coeff_p1_0_m2 = (t17108*x+t17106*t17138)*z+t17154+t16657+
+t16174+t17238*t17142+t17270+t17788+t17880+t17932;
+ coeffs_dz->coeff_p2_0_m2 = t16620+t17180+t16162+t17237*t17142+(t17052*x+
+t17534)*z+t17317+t17765+t17877+t17963;
+ coeffs_dz->coeff_p3_0_m2 = t17052*t17731+t17243*t17142+t17231+t17321+
+t17648+t17795+t17915;
+ coeffs_dz->coeff_m2_p1_m2 = t17330+t16575+t16236+t17783+t17286+t16233+(
+t17728+t17643)*t17735+t16627+t16162+t16141+t17851+t17961+t17992+t17993;
+ coeffs_dz->coeff_m1_p1_m2 = t16722+t17177+t16198+t16174+t16147+t17373+
+t17759+t17787+t18034;
+ coeffs_dz->coeff_0_p1_m2 = (t17106*t17139+t17724)*z+t16202+t17152+t17238*
+t17141+t17791+t17880+t17941+t17953+t17964;
+ coeffs_dz->coeff_p1_p1_m2 = t16686+t16209+t16128+t17425+t17761+t16703+
+t16225+t16208+t15743+(RATIONAL(25.0,108.0)+RATIONAL(25.0,36.0)*t17140)*t17619+
+t15803+t17376+t17785+t17965;
+ coeffs_dz->coeff_p2_p1_m2 = t15515+t16671+t16167+t16397+t16219+t17158+
+t17334+t17753+t17754;
+ coeffs_dz->coeff_p3_p1_m2 = t17222+t16513+t16231+t17601+t17827+t17832+
+t18015;
+ coeffs_dz->coeff_m2_p2_m2 = t15700+t16443+z*t16577+t15693+t15825+t17289+
+t16240+t17320+t15869+t17392+t17400+t17782+t17797;
+ coeffs_dz->coeff_m1_p2_m2 = t17157+t16372+t16216+t15863+t15687+t17354+
+t17407+t17770+t17780;
+ coeffs_dz->coeff_0_p2_m2 = t16615+t17148+t15950+(t17583+t17052*y)*z+
+t17237*t17141+t17282+t17405+t17809+t17877;
+ coeffs_dz->coeff_p1_p2_m2 = t16416+t16218+t15924+t16712+t17169+t16142+
+t17417+t17750+t17754;
+ coeffs_dz->coeff_p2_p2_m2 = t15500+t16542+t16496+t16175+(t17063+RATIONAL(
+1.0,16.0)*t17140)*t17619+t17159+t15481+t17751+t17909+t17936+t18020;
+ coeffs_dz->coeff_p3_p2_m2 = t16401+t17223+t15789+t17690+t17826+t17844+
+t17939;
+ coeffs_dz->coeff_m2_p3_m2 = z*t16464+t16427+t15861+t15865+t17536+t17607+
+t17612+t17689+t17848+t17853;
+ coeffs_dz->coeff_m1_p3_m2 = t17220+t16504+t15944+t17659+t17675+t17805+
+t17807;
+ coeffs_dz->coeff_0_p3_m2 = t16486+t17052*t17719+t15769+t17243*t17141+
+t17188+t17410+t17905+t17915;
+ coeffs_dz->coeff_p1_p3_m2 = t16035+t16455+t16445+t16163+t17199+t17333+
+t17832+t17884;
+ coeffs_dz->coeff_p2_p3_m2 = t17223+t16429+t16375+t15636+t17319+t17854+
+t17861;
+ coeffs_dz->coeff_p3_p3_m2 = t16385+t15620+(t16882+t17615)*t17619+t17623+
+t17883+t17888+t17911;
+ coeffs_dz->coeff_m2_m2_m1 = t15644+t17142*t17559+t15776+t17168+t15657+
+t15616+t15622+t17648+t17890+t17920+t17956+t17976+t18000;
+ coeffs_dz->coeff_m1_m2_m1 = t16704+t16697+t16549+t16096+t15407+t17746+
+t16928*t17258+t15431+t17382+t17775+t17894+t18005+t18024;
+ coeffs_dz->coeff_0_m2_m1 = t17247*t17141+t16612+t17059*t17493+t15878+
+t17162+t17283+t17372+t17857+t17879;
+ coeffs_dz->coeff_p1_m2_m1 = t17756+t16666+t16033+t15980+t17163+t17796+
+t17882+t17893+t17896;
+ coeffs_dz->coeff_p2_m2_m1 = t16008+t16652+t17171+t16510+t16484+t15631+
+t17348+t17774+t17790+t17987;
+ coeffs_dz->coeff_p3_m2_m1 = t16464+t17189+t15611+t15601+t17402+t17855+
+t17865;
+ coeffs_dz->coeff_m2_m1_m1 = t16422+t16928*t17257+t16005+t16580+t16582+
+t15381+t15383+t17145+t17775+t17907+t17959+t17984;
+ coeffs_dz->coeff_m1_m1_m1 = t16461+t16470+t15590+t16746+((RATIONAL(-25.0,
+24.0)+RATIONAL(-175.0,64.0)*t17140)*t17141+(RATIONAL(125.0,32.0)*t17141+t16949*
+y+t16873*t17139)*z)*t17142+t15327+(t16873*t17138+t16949*x)*t17707+t15702+t15592
++t17312+t17361+t17401+t17897+t17985;
+ coeffs_dz->coeff_0_m1_m1 = t17195+t16230+t16725+t17242*t17141+(t16942*
+t17139+t17129*y+(t17030*t17138+t17025)*t17141)*z+t17368+t17422+t17860+t17902+
+t17926;
+ coeffs_dz->coeff_p1_m1_m1 = t16530+(t17045*t17138+t16923*x)*t17707+t16694
++t15329+t17151+t16036+t15667+t15841+t17345+t17762+t17927;
+ coeffs_dz->coeff_p2_m1_m1 = (t16853*t17138+t16944*x)*t17707+t16740+t15599
++t16682+t17174+t15438+t16004+t15606+t17408+t17418+t17771;
+ coeffs_dz->coeff_p3_m1_m1 = t15595+t16041+t16944*t17464+t15377+t16510+
+t16670+t16515+t15894+t17397+t17831+t17983+t18043;
+ coeffs_dz->coeff_m2_0_m1 = t16645+t17173+t17247*t17142+t16000+t17059*
+t17494+t17327+t17341+t17857+t17878;
+ coeffs_dz->coeff_m1_0_m1 = t17195+(t16942*t17138+t17129*x)*z+((t17025+
+t17030*t17139)*z+t17242)*t17142+t16598+t15988+t17295+t17337+t17841+t17917+
+t17942;
+ coeffs_dz->coeff_0_0_m1 = (RATIONAL(-7.0,4.0)+t16892*t17141+(t16892+
+RATIONAL(-343.0,36.0)*t17141)*t17142)*t17140+t17104+t17214+t15983+(t16903*
+t17141+t17013)*t17142+(t17114+t17642*t17046)*z+t17501+t17338+t17954+t17958+
+t17966;
+ coeffs_dz->coeff_p1_0_m1 = t17245*t17142+(t17130*x+t17055*t17138)*z+
+t16459+t15985+t17165+t17366+t17409+t17818+t17876;
+ coeffs_dz->coeff_p2_0_m1 = t17240*t17142+(t17089*x+t16945*t17138)*z+
+t16781+t17176+t16133+t17349+t17350+t17803+t17822;
+ coeffs_dz->coeff_p3_0_m1 = t16719+t17138*t17716+t17250*t17142+t17217+
+t17800+t17899+t17962;
+ coeffs_dz->coeff_m2_p1_m1 = t17177+t15894+t15374+t16681+t16133+t15965+
+t17301+t17755+t17756;
+ coeffs_dz->coeff_m1_p1_m1 = t17381+t17377+t15599+t17762+t16661+(t16923*y+
+t17045*t17139)*t17735+t15985+t15557+t17789+t17904+t17908+t18037;
+ coeffs_dz->coeff_0_p1_m1 = t17172+(t17055*t17139+t17130*y)*z+t17245*
+t17141+t16036+t17412+t17818+t17873+t17947+t17977;
+ coeffs_dz->coeff_p1_p1_m1 = t16230+t15554+t15553+(RATIONAL(-50.0,27.0)+
+RATIONAL(-175.0,36.0)*t17140)*t17619+t16145+t16426+t15983+t15988+t17175+t17748+
+t17885+t17985;
+ coeffs_dz->coeff_p2_p1_m1 = t17740+t16482+t16755+t15365+t16097+t16000+
+t15702+t17179+t17747;
+ coeffs_dz->coeff_p3_p1_m1 = t16629+t16618+t17202+t15940+t17779+t17802+
+t17959;
+ coeffs_dz->coeff_m2_p2_m1 = t16566+t17157+t15438+t15601+t15572+t17356+
+t17390+t17766+t17774;
+ coeffs_dz->coeff_m1_p2_m1 = (t16853*t17139+t16944*y)*t17735+t16514+t17773
++t17419+t15667+t17771+t17952+t17969+t17978+t17980+t17982+t17987;
+ coeffs_dz->coeff_0_p2_m1 = t16769+(t17089*y+t16945*t17139)*z+t16033+
+t17240*t17141+t17160+t17375+t17426+t17819+t17822;
+ coeffs_dz->coeff_p1_p2_m1 = t16494+t16760+t15359+t15878+t15889+t17179+
+t17312+t17749+t17752;
+ coeffs_dz->coeff_p2_p2_m1 = t16592+t17164+t16603+t15929+(t17125+RATIONAL(
+-7.0,16.0)*t17140)*t17619+t15934+t15431+t17823+t17897+t17898+t17907+t17976;
+ coeffs_dz->coeff_p3_p2_m1 = t15644+t16424+t17218+t15527+t17829+t17867+
+t17887;
+ coeffs_dz->coeff_m2_p3_m1 = t17220+t16513+t15631+t17655+t17674+t17810+
+t17865;
+ coeffs_dz->coeff_m1_p3_m1 = t17211+t16626+t16944*t17447+t16634+t15904+
+t15352+t17653+t17831+t17896;
+ coeffs_dz->coeff_0_p3_m1 = t16610+t17139*t17716+t17250*t17141+t17217+
+t17777+t18025+t18045;
+ coeffs_dz->coeff_p1_p3_m1 = t16717+t16723+t15997+t17204+t17779+t17868+
+t18024;
+ coeffs_dz->coeff_p2_p3_m1 = t15560+t16455+t17207+t16538+t15622+t17359+
+t17867+t18027;
+ coeffs_dz->coeff_p3_p3_m1 = t16512+t15616+(t16906+t17518)*t17619+t17229+
+t17571+t17968;
+ coeffs_dz->coeff_m2_m2_0 = t15936+t15534+t17135*t17268+t15531+t15530+
+t15522+t15942+t17347+t17367+t17824+t18033;
+ coeffs_dz->coeff_m1_m2_0 = t17227+t15903+t15350+t16270+t16129+t17680+
+t17828+t17879;
+ coeffs_dz->coeff_0_m2_0 = t16268+t15506+t17141*t17547+(t17720*t17080+
+t16888*t17427)*z+t17192+t17369+t18006;
+ coeffs_dz->coeff_p1_m2_0 = t16260+t15891+t15497+t17198+t17788+t17804+
+t17949;
+ coeffs_dz->coeff_p2_m2_0 = t15485+t16255+t17187+t15880+t17635+t17765+
+t17863;
+ coeffs_dz->coeff_p3_m2_0 = t16235+t15850+t17231+t17577+t18016+t18026;
+ coeffs_dz->coeff_m2_m1_0 = t16053+t17227+t16249+t15874+t17591+t17772+
+t17878;
+ coeffs_dz->coeff_m1_m1_0 = t15422+RATIONAL(25.0,4.0)*t17268+t15640+t16027
++t15567+t17318+t17613+t17671+t17841+t17860;
+ coeffs_dz->coeff_0_m1_0 = t17141*t17531+t15363+t15375+(t17031*y+t16904*
+t17139+(t16832*t17139+t16846*y)*t17142)*z+t17387+t17901+t17919+t17954+t17995;
+ coeffs_dz->coeff_p1_m1_0 = t15912+t15370+t16189+t17215+t17628+t17798+
+t17876;
+ coeffs_dz->coeff_p2_m1_0 = t16266+t17221+t15895+t17548+t17625+t17803+
+t17820;
+ coeffs_dz->coeff_p3_m1_0 = t16340+t15879+t17186+t17899+t17986;
+ coeffs_dz->coeff_m2_0_0 = t15474+t15804+t17142*t17547+t16250+t17299+
+t17346+(t16888*t17141+t17080)*t17494+t17943+t18006;
+ coeffs_dz->coeff_m1_0_0 = t15460+t17142*t17531+t16176+((t16832*t17141+
+t16904)*t17138+(t16846*t17141+t17031)*x)*z+t17214+t17323+t17995;
+ coeffs_dz->coeff_0_0_0 = t15445+(t17086*t17141+RATIONAL(4.0,1.0)+(t17086+
+RATIONAL(196.0,9.0)*t17141)*t17142)*t17140+(t17084+(t16877*t17138+t17090)*
+t17141+t17642*t17085+(t17090+t16877*t17139+RATIONAL(-686.0,27.0)*t17141)*t17142
+)*z+t17343+t18029;
+ coeffs_dz->coeff_p1_0_0 = t15435+t17272+t16108+((t16828*t17141+t17021)*
+t17138+(t16861*t17141+t17049)*x)*z+t17224+t17313+t18017;
+ coeffs_dz->coeff_p2_0_0 = t15726+t16113+t16330+t17116*t17685+((t16911+
+t16845*t17141)*t17138+t17251*x)*z+t17263+t17363+t17918+t17929;
+ coeffs_dz->coeff_p3_0_0 = t16313+t17142*t17554+t17251*t17731+t17191+
+t18042;
+ coeffs_dz->coeff_m2_p1_0 = t16344+t15879+t15726+t17198+t17791+t17813+
+t17981;
+ coeffs_dz->coeff_m1_p1_0 = t15435+t16001+t17215+t17625+t17843+t17873+
+t17989;
+ coeffs_dz->coeff_0_p1_0 = t17304+t15434+t15370+(t17021*t17139+t17049*y+(
+t16861*y+t16828*t17139)*t17142)*z+t17271+t17794+t17944+t18017;
+ coeffs_dz->coeff_p1_p1_0 = t15460+t15445+t15640+RATIONAL(100.0,9.0)*
+t17268+t15363+t17190+t17812+t18008+t18039;
+ coeffs_dz->coeff_p2_p1_0 = t15474+t16145+t16294+t17200+t15567+t17866+
+t17875+t18032;
+ coeffs_dz->coeff_p3_p1_0 = t16053+t16271+t17213+t17991+t17999;
+ coeffs_dz->coeff_m2_p2_0 = t16361+t16201+t17187+t17548+t17577+t17809+
+t17842;
+ coeffs_dz->coeff_m1_p2_0 = t16350+t16151+t17221+t17628+t17635+t17819+
+t17872;
+ coeffs_dz->coeff_0_p2_0 = t16339+t17116*t17570+t15497+(t16911*t17139+
+t17032*y+(t16955*y+t16845*t17139)*t17142)*z+t17208+t17406+t17929;
+ coeffs_dz->coeff_p1_p2_0 = t16321+t17200+t15506+t17613+t17846+t17852+
+t17990;
+ coeffs_dz->coeff_p2_p2_0 = t15522+t16311+t16304+t17268+t15350+t17335+
+t17591+t17671+t17814+t17835;
+ coeffs_dz->coeff_p3_p2_0 = t15534+t16141+t17183+t17937+t18040;
+ coeffs_dz->coeff_m2_p3_0 = t15485+t15907+t17193+t17905+t18026;
+ coeffs_dz->coeff_m1_p3_0 = t16256+t15891+t17219+t17986+t18025;
+ coeffs_dz->coeff_0_p3_0 = t15673+t17141*t17554+t16335+(t16955*t17142+
+t17032)*t17719+t17371+t18042+t18046;
+ coeffs_dz->coeff_p1_p3_0 = t16314+t17234+t17680+t17808+t17991;
+ coeffs_dz->coeff_p2_p3_0 = t16245+t15530+t17185+t18011+t18040;
+ coeffs_dz->coeff_p3_p3_0 = t17052*t17268+t15531+t17921+t17934+t17955;
+ coeffs_dz->coeff_m2_m2_p1 = t15495+t15480+t15849+t16513+(t17047+t17614)*
+t17619+t16201+t15880+t17153+t17402+t17851+t17933+t17960;
+ coeffs_dz->coeff_m1_m2_p1 = t16626+t16260+t16484+t16151+t17150+t17352+
+t17420+t17787+t17796;
+ coeffs_dz->coeff_0_m2_p1 = t17079*t17493+t16666+t17152+t17235*t17141+
+t15729+t17406+t17769+t17804+t18045;
+ coeffs_dz->coeff_p1_m2_p1 = t15685+t16933*t17258+t16717+t16612+t16697+
+t17156+t16270+t16268+t17423+t17761+t17990;
+ coeffs_dz->coeff_p2_m2_p1 = t15936+t16549+t17158+t15778+t15416+t17335+
+t17359+t17768+t17781;
+ coeffs_dz->coeff_p3_m2_p1 = t16512+t17222+t15498+t16165+t16141+t17816+
+t17870+t17956;
+ coeffs_dz->coeff_m2_m1_p1 = t16344+t16566+t17742+t15341+t16120+t15895+
+t17150+t17755+t18043;
+ coeffs_dz->coeff_m1_m1_p1 = t15584+t15912+t16514+t16001+t17151+(RATIONAL(
+-25.0,4.0)*t17140+RATIONAL(25.0,24.0))*t17619+t15316+t17408+t17789+t17903+
+t17972;
+ coeffs_dz->coeff_0_m1_p1 = t17255*t17141+t15830+(t16935*t17139+t17011*y)*
+z+t17172+t16694+t17375+t17798+t17815+t17944;
+ coeffs_dz->coeff_p1_m1_p1 = t16494+t16746+t16725+(t16865*y+t16856*t17139)
+*t17735+t16027+t17175+t15766+t17757+t17901+t17975+t18039;
+ coeffs_dz->coeff_p2_m1_p1 = t17740+t16461+t15419+t16603+t16294+t15721+
+t15874+t17155+t17741;
+ coeffs_dz->coeff_p3_m1_p1 = t16582+t16271+t16424+t17226+t17380+t17802+
+t17849;
+ coeffs_dz->coeff_m2_0_p1 = t17079*t17494+t15733+t17235*t17142+t17154+
+t16681+t17263+t17769+t17813+t17962;
+ coeffs_dz->coeff_m1_0_p1 = t15520+t16661+t17255*t17142+(t16935*t17138+
+t17011*x)*z+t17165+t17313+t17349+t17815+t17843;
+ coeffs_dz->coeff_0_0_p1 = t15405+(t16936*t17141+t17024)*t17142+t17115+
+t17224+(t17046+t17642*t17068)*z+(t17060*t17141+RATIONAL(-4.0,1.0)+(t17060+
+RATIONAL(-196.0,9.0)*t17141)*t17142)*t17140+t17503+t17366+t17794+t17977;
+ coeffs_dz->coeff_p1_0_p1 = t15420+t17323+((t16844*t17139+t17076)*z+t17256
+)*t17142+t17295+(t17008*x+t17010*t17138)*z+t16426+t15576+t17338+t17343+t17812+
+t17869;
+ coeffs_dz->coeff_p2_0_p1 = t17167+t16755+(t16889*t17138+t17002*x)*z+
+t17248*t17142+t15835+t17346+t17776+t17875+t17942;
+ coeffs_dz->coeff_p3_0_p1 = t16618+t17483+t17254*t17142+t17225+t17341+
+t17836+t17999;
+ coeffs_dz->coeff_m2_p1_p1 = t16629+t16933*t17257+t16580+t16645+t16337+
+t17156+t16249+t16250+t15835+t17380+t17785+t18032;
+ coeffs_dz->coeff_m1_p1_p1 = t16482+t17401+t16176+t16598+t17748+t15721+
+t15576+(t16856*t17138+t16865*x)*t17707+t17318+t17757+t17914+t18008;
+ coeffs_dz->coeff_0_p1_p1 = t17256*t17141+(t17008*y+t17010*t17139+(t17076+
+t16844*t17138)*t17141)*z+t17190+t15766+t17368+t17869+t17885+t17919+t17958+
+t18029;
+ coeffs_dz->coeff_p1_p1_p1 = t15405+t15520+t15830+t16459+t16189+t16108+
+t17271+(t16857*x+t16880*t17138)*t17707+((RATIONAL(50.0,27.0)+RATIONAL(-100.0,
+9.0)*t17140)*t17141+(t16880*t17139+RATIONAL(250.0,27.0)*t17141+t16857*y)*z)*
+t17142+t17377+t17903+t17927+t17947+t17989;
+ coeffs_dz->coeff_p2_p1_p1 = t15733+t16266+t16740+t15584+t16781+t16330+
+t17744+(t16981*x+t16870*t17138)*t17707+t17170+t17904+t17981;
+ coeffs_dz->coeff_p3_p1_p1 = t16719+t16981*t17464+t16670+t16313+t16340+
+t17184+t16120+t17301+t17837;
+ coeffs_dz->coeff_m2_p2_p1 = t16422+t17147+t16311+t15419+t15498+t17347+
+t17750+t17781+t17887;
+ coeffs_dz->coeff_m1_p2_p1 = t17743+t16470+t15903+t16592+t16321+t17155+
+t15416+t17749+t17975;
+ coeffs_dz->coeff_0_p2_p1 = t15685+(t17002*y+t16889*t17139)*z+t16760+
+t17248*t17141+t17146+t17369+t17776+t17846+t17902;
+ coeffs_dz->coeff_p1_p2_p1 = t16350+t16530+t16769+(t16870*t17139+t16981*y)
+*t17735+t16339+t17170+t15729+t17763+t17949+t17972+t17978;
+ coeffs_dz->coeff_p2_p2_p1 = (t17118-t17140)*t17619+t17420+t17760+t16682+
+t16361+t15341+t16255+t17328+t15316+t17845+t17933+t17940+t17952;
+ coeffs_dz->coeff_p3_p2_p1 = t16515+t15849+t16235+t17181+t17390+t17825+
+t17839;
+ coeffs_dz->coeff_m2_p3_p1 = t16245+t16432+t17203+t15778+t17571+t17582+
+t17816+t17884;
+ coeffs_dz->coeff_m1_p3_p1 = t16314+t16704+t16538+t17226+t17423+t17830+
+t17868;
+ coeffs_dz->coeff_0_p3_p1 = t16723+t17460+t17254*t17141+t17234+t17372+
+t17778+t17836;
+ coeffs_dz->coeff_p1_p3_p1 = t16610+t16634+t16256+t16981*t17447+t16335+
+t17352+t17837+t17856+t17882+t18004;
+ coeffs_dz->coeff_p2_p3_p1 = t15495+t16652+t15907+t17197+t17653+t17801+
+t17839;
+ coeffs_dz->coeff_p3_p3_p1 = t15480+t15713+t16464+t15709+(t16950+t17618)*
+t17619+t17631+t17674+t18001;
+ coeffs_dz->coeff_m2_m2_p2 = t15690+t15683+t16427+t17161+t15691+t15692+
+t15572+t17264+t15689+t17339+t17348+t17797;
+ coeffs_dz->coeff_m1_m2_p2 = t17171+t16504+t15742+t15980+t17413+t17770+
+t17784+t17982+t18019;
+ coeffs_dz->coeff_0_m2_p2 = t17020*t17493+t16290+t16731+t17253*t17141+
+t17148+t17410+t17426+t17821+t17863;
+ coeffs_dz->coeff_p1_m2_p2 = t15897+t16616+t16325+t15359+t16129+t16096+
+t17169+t17333+t17764+t17768;
+ coeffs_dz->coeff_p2_m2_p2 = t16488+t15583+t16519+t16429+t15929+t17159+
+t15657+t17054*t17258+t17786+t18005+t18018+t18041;
+ coeffs_dz->coeff_p3_m2_p2 = t15810+t16385+t15527+t17216+t17324+t17811+
+t17826;
+ coeffs_dz->coeff_m2_m1_p2 = t16173+t16443+t15965+t17178+t15805+t17398+
+t17418+t17766+t17784;
+ coeffs_dz->coeff_m1_m1_p2 = t17174+t15418+t16372+t16316+t16118+t16100+
+t15557+(RATIONAL(175.0,64.0)*t17140+RATIONAL(-25.0,192.0))*t17619+t17345+t17416
++t17773;
+ coeffs_dz->coeff_0_m1_p2 = t16599+(t17115*y+t17014*t17139)*z+t17246*
+t17141+t16306+t17160+t17405+t17412+t17820+t17871;
+ coeffs_dz->coeff_p1_m1_p2 = t16416+t15590+t16635+t15554+t17741+t16318+
+t17149+t17752+t17913;
+ coeffs_dz->coeff_p2_m1_p2 = t17353+t16542+t17361+t17745+t16529+t15383+
+t16097+t17331+t16393+t16276+t15910+(t17112*y+t17077*t17139)*t17735+t17823;
+ coeffs_dz->coeff_p3_m1_p2 = t16401+t16526+t17212+t15940+t17806+t17829+
+t18031;
+ coeffs_dz->coeff_m2_0_p2 = t16293+t17180+t17253*t17142+t16627+t17020*
+t17494+t17321+t17350+t17821+t17842;
+ coeffs_dz->coeff_m1_0_p2 = t16368+t16722+t17246*t17142+(t17014*t17138+
+t17115*x)*z+t17176+t17317+t17409+t17871+t17872;
+ coeffs_dz->coeff_0_0_p2 = (-1.0+t17642*t17111)*z+t17020+t16131+t17208+(
+t16956*t17141+RATIONAL(7.0,4.0)+(RATIONAL(343.0,36.0)*t17141+t16956)*t17142)*
+t17140+(t17007+t16830*t17141)*t17142+t17508+t17270+t17918+t17922+t17953;
+ coeffs_dz->coeff_p1_0_p2 = t16326+t17167+t16686+t17236*t17142+(t17104*x+
+t17121*t17138)*z+t17302+t17337+t17852+t17862;
+ coeffs_dz->coeff_p2_0_p2 = t16323+t16671+(t17062*x+t17012*t17138)*z+((
+t17133+t17115*t17139)*z+t17252)*t17142+t17210+t17294+t17327+t17814+t17917+
+t17938;
+ coeffs_dz->coeff_p3_0_p2 = t16513+t17062*t17731+t17249*t17142+t17201+
+t17767+t17937+t18007;
+ coeffs_dz->coeff_m2_p1_p2 = t16323+t17147+t16005+t17753+t16705+t15365+
+t17764+t18015+t18031;
+ coeffs_dz->coeff_m1_p1_p2 = t17743+t16326+t16689+t15553+t16397+t17149+
+t15910+t15592+t17747;
+ coeffs_dz->coeff_0_p1_p2 = t16318+t17146+(t17121*t17139+t17104*y)*z+
+t17236*t17141+t17422+t17862+t17866+t17923+t17965;
+ coeffs_dz->coeff_p1_p1_p2 = t17763+t16368+t17381+t16131+t16657+t16306+
+t16316+t17744+t15841+(RATIONAL(175.0,36.0)*t17140+RATIONAL(-25.0,108.0))*t17619
++t17858+t17964;
+ coeffs_dz->coeff_p2_p1_p2 = (t17104*t17139+t17109*y)*t17735+t16620+t16293
++t15374+t17166+t16100+t16004+t17760+t17992+t18034+t18037;
+ coeffs_dz->coeff_p3_p1_p2 = t16173+t16041+t16432+t17205+t17286+t17825+
+t17840;
+ coeffs_dz->coeff_m2_p2_p2 = t16428+t17353+t15776+t15810+t17054*t17257+
+t15381+t16516+t15934+t17355+t17751+t17786+t17912+t17939;
+ coeffs_dz->coeff_m1_p2_p2 = t17745+t16392+t15583+t17164+t15327+t16496+(
+t17112*x+t17077*t17138)*t17707+t15889+t15407+t17913+t18028;
+ coeffs_dz->coeff_0_p2_p2 = t17252*t17141+t16712+t16325+(t17012*t17139+
+t17062*y+(t17133+t17115*t17138)*t17141)*z+t17210+t17283+t17424+t17835+t17926+
+t18014;
+ coeffs_dz->coeff_p1_p2_p2 = t16377+t16290+t16615+t15329+t17166+t16118+(
+t17109*x+t17104*t17138)*t17707+t17845+t17893+t17916+t17979+t17980;
+ coeffs_dz->coeff_p2_p2_p2 = t16548+t16008+(t17019*t17138+t17069*x)*t17707
++((RATIONAL(7.0,16.0)*t17140+t17072)*t17141+(t17019*t17139+t17069*y+t17117*
+t17141)*z)*t17142+t15418+t16418+t15742+t15606+t17354+t15805+t15689+t17356+
+t17392+t17419;
+ coeffs_dz->coeff_p3_p2_p2 = t17069*t17464+t15377+t16411+t16417+t15691+
+t15611+t17209+t17320+t17874;
+ coeffs_dz->coeff_m2_p3_p2 = t15560+t16522+t17206+t17623+t17811+t17861+
+t18041;
+ coeffs_dz->coeff_m1_p3_p2 = t16497+t15897+t16375+t17212+t15997+t17582+
+t17793+t18027;
+ coeffs_dz->coeff_0_p3_p2 = t16445+t17062*t17719+t17249*t17141+t17201+
+t17792+t17998+t18011;
+ coeffs_dz->coeff_p1_p3_p2 = t16486+t15904+t17197+t17840+t17864+t17900+
+t18019;
+ coeffs_dz->coeff_p2_p3_p2 = t17069*t17447+t15454+t16184+t15352+t16546+
+t15692+t17612+t17655+t17675+t17859+t17874;
+ coeffs_dz->coeff_p3_p3_p2 = t15690+t16384+(t16842+t17550)*t17619+t17232+
+t17607+t18030;
+ coeffs_dz->coeff_m2_m2_p3 = t16968*t17268+t15774+t15693+t17196+t15827+
+t15826+t15751+t17414+t17848;
+ coeffs_dz->coeff_m1_m2_p3 = t17189+t15639+t15658+t15687+t17379+t17807+
+t17817;
+ coeffs_dz->coeff_0_m2_p3 = t17141*t17538+t17056*t17493+t17188+t17282+
+t17567+t18016+t18023;
+ coeffs_dz->coeff_p1_m2_p3 = t15836+t16233+t17199+t15907+t17417+t17847+
+t17870;
+ coeffs_dz->coeff_p2_m2_p3 = t15470+t15747+t17216+t17644+t17834+t17854+
+t17936;
+ coeffs_dz->coeff_p3_m2_p3 = t15735+t15871+t16926*t17258+t17233+t17690+
+t17888;
+ coeffs_dz->coeff_m2_m1_p3 = t15680+t17194+t16141+t15712+t17261+t17810+
+t17817;
+ coeffs_dz->coeff_m1_m1_p3 = t15645+t17211+RATIONAL(-25.0,64.0)*t17268+
+t16147+t16058+t15661+t15411+t17983+t17997+t18003;
+ coeffs_dz->coeff_0_m1_p3 = t17050*t17570+t16183+(t17057*t17139+t17099*y)*
+z+t17186+t17777+t17941+t17948;
+ coeffs_dz->coeff_p1_m1_p3 = t16128+t15732+t16369+t16094+t17204+t17833+
+t17849+t18009;
+ coeffs_dz->coeff_p2_m1_p3 = t15573+t15513+t17207+t15790+t17334+t17806+
+t17850;
+ coeffs_dz->coeff_p3_m1_p3 = t15855+t15678+(t17681+t17725)*t17735+t17229+
+t17601+t18044;
+ coeffs_dz->coeff_m2_0_p3 = t16163+t17142*t17538+t17056*t17494+t17193+
+t17795+t17963+t18023;
+ coeffs_dz->coeff_m1_0_p3 = t15941+t17050*t17685+(t17099*x+t17057*t17138)*
+z+t17219+t17800+t17932+t17948;
+ coeffs_dz->coeff_0_0_p3 = t16177+(t17118+t17642*t17137)*z+(t17014*t17141+
+t17117+(t16918*t17141+t17014)*t17142)*t17140+t17191+t18010+t18046;
+ coeffs_dz->coeff_p1_0_p3 = t17260+t16137+(t17135*x+t17108*t17138)*z+
+t17225+t17291+t17808+t17881;
+ coeffs_dz->coeff_p2_0_p3 = t15944+t17142*t17556+(t17717+t17082*t17138)*z+
+t17185+t17767+t17973+t18022;
+ coeffs_dz->coeff_p3_0_p3 = t17075*t17731+(t17605+(t17056+t17578)*z)*
+t17142+t17230+t17934+t18012;
+ coeffs_dz->coeff_m2_p1_p3 = t15515+t15678+t15944+t17203+t17310+t17827+
+t17847;
+ coeffs_dz->coeff_m1_p1_p3 = t16137+t15513+t16223+t17202+t17425+t17830+
+t17833;
+ coeffs_dz->coeff_0_p1_p3 = t17315+t16094+(t17108*t17139+t17135*y)*z+
+t17213+t17778+t17881+t17910;
+ coeffs_dz->coeff_p1_p1_p3 = t16982*t17268+t16187+t17184+t15941+t16177+
+t16183+t16058+t17373+t17856;
+ coeffs_dz->coeff_p2_p1_p3 = t15645+t16182+t16163+t17205+t17801+t17838+
+t17993;
+ coeffs_dz->coeff_p3_p1_p3 = t16157+t16180+t15713+t15712+(t17661+t16895*y)
+*t17735+t17228+t17961;
+ coeffs_dz->coeff_m2_p2_p3 = t16175+t17206+t15735+t15790+t17307+t17834+
+t17844;
+ coeffs_dz->coeff_m1_p2_p3 = t15732+t15747+t16142+t17218+t17793+t17850+
+t18038;
+ coeffs_dz->coeff_0_p2_p3 = t16233+t17141*t17556+(t17082*t17139+t17075*y)*
+z+t17183+t17792+t17973+t17974;
+ coeffs_dz->coeff_p1_p2_p3 = t16231+t15872+t15661+t17181+t17407+t17838+
+t17864;
+ coeffs_dz->coeff_p2_p2_p3 = t15680+RATIONAL(-1.0,16.0)*t17268+t15658+
+t15919+t17209+t15411+t15751+t17400+t17859;
+ coeffs_dz->coeff_p3_p2_p3 = t15867+t15827+t15548+(t17624+t17726)*t17735+
+t17289+t17996+t18030;
+ coeffs_dz->coeff_m2_p3_p3 = t15636+t15818+t16926*t17257+t17233+t17644+
+t17911;
+ coeffs_dz->coeff_m1_p3_p3 = t15836+t16035+(t17510+t17709)*t17707+t17891+
+t17931+t17968+t18044;
+ coeffs_dz->coeff_0_p3_p3 = t17072*t17570+(t17075*t17139+(t17664+t17056)*
+t17141)*z+t17230+t17906+t17921;
+ coeffs_dz->coeff_p1_p3_p3 = t15546+t15639+(t17651+t17730)*t17707+t17228+
+t17659+t18001;
+ coeffs_dz->coeff_p2_p3_p3 = t15774+t16238+(t16940*x+t17657)*t17707+t17232
++t17536+t17996;
+ coeffs_dz->coeff_p3_p3_p3 = t15826+t15745+z*t16523+(t17421+(t17616+t17617
+)*z)*t17142+t17689;