aboutsummaryrefslogtreecommitdiff
path: root/src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dxx.compute.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dxx.compute.c')
-rw-r--r--src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dxx.compute.c4088
1 files changed, 1770 insertions, 2318 deletions
diff --git a/src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dxx.compute.c b/src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dxx.compute.c
index f89b946..0045262 100644
--- a/src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dxx.compute.c
+++ b/src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dxx.compute.c
@@ -1,2321 +1,1773 @@
-fp t19297;
-fp t19389;
-fp t19725;
-fp t19263;
-fp t20254;
-fp t19327;
-fp t19387;
-fp t19690;
-fp t20253;
-fp t19390;
-fp t19394;
-fp t20252;
-fp t19345;
-fp t19671;
-fp t19601;
-fp t19306;
-fp t19662;
-fp t19391;
-fp t19392;
-fp t19497;
-fp t20251;
-fp t20250;
-fp t19303;
-fp t19757;
-fp t19304;
-fp t19729;
-fp t20249;
-fp t19289;
-fp t19395;
-fp t20248;
-fp t19393;
-fp t19713;
-fp t19507;
-fp t19778;
-fp t19618;
-fp t20234;
-fp t19743;
-fp t19790;
-fp t18792;
-fp t20247;
-fp t20246;
-fp t19322;
-fp t19329;
-fp t20245;
-fp t19309;
-fp t19315;
-fp t19714;
-fp t20244;
-fp t19300;
-fp t19205;
-fp t19542;
-fp t19276;
-fp t19724;
-fp t20243;
-fp t19861;
-fp t19631;
-fp t20242;
-fp t19839;
-fp t19374;
-fp t19318;
-fp t20241;
-fp t19529;
-fp t19367;
-fp t19585;
-fp t20240;
-fp t19320;
-fp t20239;
-fp t19264;
-fp t19265;
-fp t20238;
-fp t19770;
-fp t20237;
-fp t19295;
-fp t19750;
-fp t20236;
-fp t19372;
-fp t19777;
-fp t19764;
-fp t19373;
-fp t20235;
-fp t19853;
-fp t19356;
-fp t19841;
-fp t19177;
-fp t20233;
-fp t19293;
-fp t19767;
-fp t19336;
-fp t20232;
-fp t19384;
-fp t19863;
-fp t19358;
-fp t19868;
-fp t19137;
-fp t20231;
-fp t19852;
-fp t19313;
-fp t19870;
-fp t19077;
-fp t20230;
-fp t19292;
-fp t19340;
-fp t19669;
-fp t19028;
-fp t20229;
-fp t20228;
-fp t19342;
-fp t19858;
-fp t19331;
-fp t19850;
-fp t20227;
-fp t19278;
-fp t19298;
-fp t20226;
-fp t19330;
-fp t19673;
-fp t20225;
-fp t19376;
-fp t19371;
-fp t19819;
-fp t20224;
-fp t20223;
-fp t19321;
-fp t19866;
-fp t19334;
-fp t19221;
-fp t19636;
-fp t20222;
-fp t19842;
-fp t19731;
-fp t18973;
-fp t20221;
-fp t19678;
-fp t19573;
-fp t19833;
-fp t19658;
-fp t20220;
-fp t19860;
-fp t19632;
-fp t19705;
-fp t19112;
-fp t20219;
-fp t19706;
-fp t19352;
-fp t19522;
-fp t19266;
-fp t19786;
-fp t20218;
-fp t19299;
-fp t19854;
-fp t19830;
-fp t19344;
-fp t19762;
-fp t19565;
-fp t20217;
-fp t19547;
-fp t19317;
-fp t19721;
-fp t20216;
-fp t19650;
-fp t19642;
-fp t20215;
-fp t19879;
-fp t19202;
-fp t19604;
+fp t17661;
+fp t17669;
+fp t17770;
+fp t17769;
+fp t17773;
+fp t17771;
+fp t17916;
+fp t17941;
+fp t18327;
+fp t18326;
+fp t17768;
+fp t17772;
+fp t17917;
+fp t17945;
+fp t18325;
+fp t18324;
+fp t17663;
+fp t17671;
+fp t18323;
+fp t18322;
+fp t17774;
+fp t17904;
+fp t17879;
+fp t17905;
+fp t17880;
+fp t18321;
+fp t17906;
+fp t17882;
+fp t17907;
+fp t17900;
+fp t18320;
+fp t17885;
+fp t17890;
+fp t18319;
+fp t17886;
+fp t17893;
+fp t18318;
+fp t17908;
+fp t17888;
+fp t17910;
+fp t17889;
+fp t18317;
+fp t17909;
+fp t17891;
+fp t17913;
+fp t17896;
+fp t18265;
+fp t17883;
+fp t17892;
+fp t18316;
+fp t17912;
+fp t17895;
+fp t17937;
+fp t17933;
+fp t18315;
+fp t17915;
+fp t17898;
+fp t17955;
+fp t17954;
+fp t18314;
+fp t17911;
+fp t17894;
+fp t17918;
+fp t17902;
+fp t18313;
+fp t18312;
+fp t18311;
+fp t18263;
+fp t17938;
+fp t18310;
+fp t17942;
+fp t18309;
+fp t17939;
+fp t17929;
+fp t17943;
+fp t17932;
+fp t18308;
+fp t17914;
+fp t17897;
+fp t17935;
+fp t17930;
+fp t18307;
+fp t18306;
+fp t17884;
+fp t17927;
+fp t18262;
+fp t18261;
+fp t17699;
+fp t18305;
+fp t18304;
+fp t17666;
+fp t17702;
+fp t18303;
+fp t18302;
+fp t17376;
+fp t18301;
+fp t17584;
+fp t17956;
+fp t16549;
+fp t18300;
+fp t18299;
+fp t17374;
+fp t18298;
+fp t18297;
+fp t17582;
+fp t17957;
+fp t16553;
+fp t18296;
+fp t17662;
+fp t17881;
+fp t18295;
+fp t17710;
+fp t17415;
+fp t18294;
+fp t17413;
+fp t18293;
+fp t17674;
+fp t17713;
+fp t18292;
+fp t18291;
+fp t17433;
+fp t18290;
+fp t17590;
+fp t16623;
+fp t18289;
+fp t18288;
+fp t17431;
+fp t18287;
+fp t18286;
+fp t17588;
+fp t16627;
+fp t18285;
+fp t17648;
+fp t18284;
+fp t18283;
+fp t17706;
+fp t16788;
+fp t17599;
+fp t18282;
+fp t17934;
+fp t17928;
+fp t17215;
+fp t18185;
+fp t18281;
+fp t16783;
+fp t17597;
+fp t18280;
+fp t17936;
+fp t17931;
+fp t17216;
+fp t18184;
+fp t18279;
+fp t17717;
+fp t17899;
+fp t18162;
+fp t18278;
+fp t17901;
+fp t18161;
+fp t18277;
+fp t17704;
+fp t18276;
+fp t18275;
+fp t16924;
+fp t17605;
+fp t18274;
+fp t17261;
+fp t18182;
+fp t18273;
+fp t16919;
+fp t17604;
+fp t18272;
+fp t17262;
+fp t18183;
+fp t18271;
+fp t17610;
+fp t18152;
+fp t18270;
+fp t17608;
+fp t18153;
+fp t18269;
+fp t17670;
+fp t17742;
+fp t18268;
+fp t17755;
+fp t17740;
+fp t17924;
+fp t18267;
+fp t17749;
+fp t17761;
+fp t17919;
+fp t18266;
+fp t18264;
+fp t18260;
+fp t18259;
+fp t18258;
+fp t18257;
+fp t16621;
+fp t17589;
+fp t18256;
+fp t16547;
+fp t17583;
+fp t18255;
+fp t17602;
+fp t17757;
+fp t18254;
+fp t16840;
+fp t18253;
+fp t17600;
+fp t18252;
+fp t18251;
+fp t16706;
+fp t18250;
+fp t18249;
+fp t17645;
+fp t17649;
+fp t18248;
+fp t17137;
+fp t17138;
+fp t17159;
+fp t18247;
+fp t18246;
+fp t18245;
+fp t18244;
+fp t18243;
+fp t18242;
+fp t18241;
+fp t18240;
+fp t18239;
+fp t17667;
+fp t17715;
+fp t18238;
+fp t18237;
+fp t17357;
+fp t18236;
+fp t17711;
+fp t17720;
+fp t17745;
fp t18235;
-fp t19695;
-fp t20214;
-fp t19775;
-fp t18997;
-fp t19602;
-fp t20213;
-fp t19530;
-fp t19274;
-fp t19682;
-fp t20212;
-fp t19206;
-fp t18130;
-fp t19702;
-fp t19571;
-fp t20211;
-fp t19223;
-fp t19581;
-fp t19881;
-fp t19758;
-fp t18571;
-fp t20210;
-fp t19672;
-fp t19734;
-fp t19527;
-fp t19505;
-fp t19325;
-fp t19760;
-fp t19679;
-fp t20209;
-fp t19208;
+fp t16734;
+fp t18234;
+fp t17739;
+fp t17751;
+fp t18233;
+fp t17373;
+fp t18232;
+fp t17375;
+fp t18231;
+fp t17627;
+fp t17629;
+fp t18230;
+fp t17675;
+fp t18229;
+fp t18228;
fp t18227;
-fp t20208;
-fp t19851;
-fp t19113;
-fp t20207;
-fp t19233;
-fp t19603;
-fp t19203;
-fp t19610;
-fp t20206;
-fp t19234;
-fp t19580;
-fp t19845;
-fp t19593;
-fp t20088;
-fp t19314;
-fp t19226;
-fp t19645;
-fp t20205;
-fp t19824;
-fp t19231;
-fp t19635;
-fp t20087;
-fp t20204;
-fp t19739;
-fp t19634;
-fp t20203;
-fp t19370;
-fp t19375;
-fp t20202;
-fp t19878;
-fp t19619;
-fp t19867;
-fp t19584;
-fp t20201;
-fp t19747;
-fp t19640;
-fp t18364;
-fp t19228;
-fp t20200;
-fp t19569;
-fp t19820;
-fp t19592;
-fp t20199;
-fp t19772;
-fp t19576;
-fp t19201;
-fp t18883;
-fp t19783;
-fp t19588;
-fp t20103;
-fp t20198;
-fp t20197;
-fp t19612;
-fp t20196;
-fp t19549;
-fp t19275;
-fp t19753;
-fp t20195;
-fp t19754;
-fp t19277;
-fp t20194;
-fp t20193;
-fp t19831;
-fp t19822;
-fp t18501;
-fp t19217;
-fp t20192;
-fp t19211;
-fp t18793;
-fp t19209;
-fp t19590;
-fp t20102;
-fp t19835;
-fp t19829;
-fp t20191;
+fp t18226;
+fp t17697;
+fp t17700;
+fp t18225;
+fp t16867;
+fp t18224;
+fp t16871;
+fp t18223;
+fp t17760;
+fp t18222;
+fp t17430;
+fp t18221;
+fp t17432;
+fp t18220;
+fp t17620;
+fp t17622;
+fp t18219;
+fp t18218;
+fp t17664;
+fp t17672;
+fp t18187;
+fp t18093;
+fp t17887;
+fp t18174;
+fp t18217;
+fp t16738;
+fp t17668;
+fp t17660;
+fp t17644;
+fp t18126;
+fp t17851;
+fp t18216;
+fp t18215;
+fp t18094;
+fp t18214;
+fp t17852;
+fp t18213;
+fp t18212;
+fp t18154;
+fp t18163;
+fp t17848;
+fp t18211;
+fp t17869;
+fp t18210;
+fp t17870;
+fp t18209;
+fp t18208;
+fp t18207;
+fp t18206;
+fp t17643;
+fp t17647;
+fp t18205;
+fp t18204;
+fp t18203;
+fp t18202;
+fp t18201;
+fp t18200;
+fp t18199;
+fp t18198;
+fp t18197;
+fp t18196;
+fp t17681;
+fp t17696;
+fp t17733;
+fp t18195;
+fp t18194;
+fp t17655;
+fp t17721;
+fp t17767;
+fp t18193;
+fp t18192;
+fp t18191;
+fp t17658;
+fp t18190;
+fp t17665;
+fp t18189;
+fp t18188;
+fp t17214;
+fp t18186;
+fp t17650;
+fp t18181;
+fp t18180;
+fp t18179;
+fp t18178;
+fp t18176;
+fp t18173;
+fp t17641;
+fp t17673;
+fp t18172;
+fp t17274;
+fp t17678;
+fp t18171;
+fp t18170;
+fp t18169;
+fp t18168;
+fp t18167;
+fp t17687;
+fp t17698;
+fp t18166;
+fp t17691;
+fp t18165;
+fp t17695;
+fp t17701;
+fp t18164;
+fp t17601;
+fp t18160;
+fp t17723;
+fp t18158;
+fp t18157;
+fp t17703;
+fp t18156;
+fp t17705;
+fp t17735;
+fp t18155;
+fp t17708;
+fp t17731;
+fp t18150;
+fp t17677;
+fp t18149;
+fp t18148;
+fp t17709;
+fp t17722;
+fp t18147;
+fp t17609;
+fp t18146;
+fp t17712;
+fp t17730;
+fp t18145;
+fp t17716;
+fp t17763;
+fp t18144;
+fp t18143;
+fp t18142;
+fp t17724;
+fp t18141;
fp t18140;
-fp t20190;
-fp t19864;
-fp t19607;
-fp t18339;
-fp t20189;
-fp t19089;
-fp t20188;
-fp t20187;
-fp t18799;
-fp t19577;
-fp t20110;
-fp t19614;
-fp t20186;
-fp t20185;
-fp t19712;
-fp t18875;
-fp t20094;
-fp t20184;
-fp t19524;
-fp t20183;
-fp t19518;
-fp t20082;
-fp t20182;
-fp t19806;
-fp t19656;
-fp t20181;
-fp t19606;
-fp t20099;
-fp t19600;
-fp t20180;
-fp t20179;
-fp t19807;
-fp t19836;
-fp t19821;
-fp t20178;
-fp t20177;
-fp t19637;
-fp t20176;
-fp t20175;
-fp t19827;
-fp t20174;
-fp t19813;
-fp t19586;
-fp t18229;
-fp t19210;
-fp t20173;
-fp t19856;
-fp t19823;
-fp t19227;
-fp t19621;
-fp t20172;
-fp t19766;
-fp t19589;
-fp t20171;
-fp t18494;
-fp t20170;
-fp t19880;
-fp t19514;
-fp t18253;
-fp t20169;
-fp t19625;
-fp t19232;
-fp t20168;
-fp t18562;
-fp t20167;
-fp t19273;
-fp t19663;
-fp t19567;
-fp t19290;
-fp t19689;
-fp t20166;
-fp t19271;
-fp t19816;
-fp t19653;
-fp t19815;
-fp t19639;
-fp t19261;
-fp t19622;
-fp t19795;
-fp t19661;
-fp t20165;
-fp t19115;
-fp t19361;
-fp t19857;
-fp t19616;
-fp t19626;
-fp t19382;
-fp t20164;
-fp t19305;
-fp t19735;
-fp t19704;
-fp t19498;
-fp t20163;
-fp t19844;
-fp t19596;
-fp t19659;
-fp t20162;
-fp t19641;
-fp t20161;
-fp t19703;
-fp t19696;
-fp t19556;
-fp t20160;
-fp t19219;
-fp t19097;
-fp t20159;
-fp t19241;
-fp t19552;
-fp t19874;
-fp t19244;
-fp t19655;
-fp t20158;
-fp t19843;
-fp t20157;
-fp t19629;
-fp t18451;
-fp t20156;
-fp t20155;
-fp t20154;
-fp t20153;
-fp t19360;
-fp t19246;
-fp t19597;
-fp t19258;
-fp t19599;
-fp t19388;
-fp t19865;
-fp t19544;
-fp t20152;
-fp t19726;
-fp t19876;
-fp t19575;
-fp t18569;
-fp t20151;
-fp t19587;
-fp t20150;
-fp t19630;
-fp t20149;
-fp t19840;
-fp t19825;
-fp t20148;
-fp t19872;
-fp t19828;
-fp t19617;
-fp t19046;
-fp t20147;
-fp t18735;
-fp t18762;
-fp t18742;
-fp t20146;
-fp t20145;
-fp t19285;
-fp t20144;
-fp t20143;
-fp t19566;
-fp t20142;
-fp t19091;
-fp t20141;
-fp t18969;
-fp t20140;
-fp t20139;
-fp t18935;
-fp t20138;
-fp t19710;
-fp t19698;
-fp t19535;
-fp t20100;
-fp t19838;
-fp t19286;
-fp t19761;
-fp t19496;
-fp t20097;
-fp t19993;
-fp t19471;
-fp t19765;
-fp t19495;
-fp t19871;
-fp t20137;
-fp t19504;
-fp t20089;
-fp t19862;
-fp t19742;
-fp t19536;
-fp t20069;
-fp t19466;
-fp t19811;
-fp t19613;
-fp t18466;
-fp t19751;
-fp t20136;
-fp t19532;
-fp t19805;
-fp t20061;
-fp t19973;
-fp t19475;
-fp t19763;
-fp t19717;
-fp t19543;
-fp t20135;
-fp t19541;
-fp t19533;
-fp t19468;
-fp t20134;
-fp t19665;
-fp t20010;
-fp t20133;
-fp t19817;
-fp t19736;
-fp t20132;
-fp t19555;
-fp t18544;
-fp t19728;
-fp t20131;
-fp t19579;
-fp t19508;
-fp t19513;
-fp t20130;
-fp t19582;
-fp t19812;
-fp t20129;
-fp t19720;
-fp t19564;
-fp t20128;
-fp t19572;
-fp t20127;
-fp t19326;
-fp t19686;
-fp t20126;
-fp t19272;
-fp t20125;
-fp t19875;
-fp t19537;
-fp t20124;
-fp t19849;
-fp t20123;
-fp t19748;
-fp t19545;
-fp t20122;
-fp t19379;
-fp t20121;
-fp t19722;
-fp t19620;
-fp t19627;
-fp t19676;
-fp t19801;
-fp t19526;
-fp t20120;
-fp t19553;
-fp t20119;
-fp t19550;
-fp t20118;
-fp t19803;
-fp t19638;
-fp t20117;
-fp t20116;
-fp t19738;
-fp t19502;
-fp t20115;
-fp t19649;
-fp t19709;
-fp t19594;
-fp t19519;
-fp t20114;
-fp t19694;
-fp t19826;
-fp t20113;
-fp t19818;
-fp t20112;
-fp t20111;
-fp t19814;
-fp t20109;
-fp t19568;
-fp t19332;
-fp t19802;
-fp t19624;
-fp t20107;
-fp t19288;
-fp t19269;
-fp t20106;
-fp t19346;
-fp t19779;
-fp t20105;
-fp t19341;
-fp t19746;
-fp t19633;
-fp t20104;
-fp t19338;
-fp t19646;
-fp t19333;
-fp t20101;
-fp t19809;
-fp t19605;
-fp t19328;
-fp t19859;
-fp t19628;
-fp t20098;
-fp t20096;
-fp t20095;
-fp t19609;
-fp t20093;
-fp t20092;
-fp t19351;
-fp t19737;
-fp t20090;
-fp t19499;
-fp t20086;
-fp t19363;
-fp t20084;
-fp t20083;
-fp t19378;
-fp t19591;
-fp t20081;
-fp t18878;
-fp t20080;
-fp t19652;
-fp t20079;
-fp t20078;
-fp t19319;
-fp t20077;
-fp t20076;
-fp t20075;
-fp t20074;
-fp t18918;
-fp t20073;
-fp t19282;
-fp t19727;
-fp t19381;
-fp t20072;
-fp t19380;
-fp t19611;
-fp t20071;
-fp t19324;
-fp t20070;
-fp t19224;
-fp t20068;
-fp t20066;
-fp t19699;
-fp t20065;
-fp t19291;
-fp t20064;
-fp t20063;
-fp t19789;
-fp t19359;
-fp t20062;
-fp t19337;
-fp t20060;
-fp t19525;
-fp t20058;
-fp t19353;
-fp t19687;
-fp t20057;
-fp t19294;
-fp t19523;
-fp t20056;
-fp t19270;
-fp t20055;
-fp t19796;
-fp t19510;
-fp t19643;
-fp t20054;
-fp t19681;
-fp t19837;
-fp t19598;
-fp t20053;
-fp t20052;
-fp t19873;
-fp t19752;
-fp t19517;
-fp t20051;
-fp t19349;
-fp t19787;
-fp t19546;
-fp t19339;
-fp t19664;
-fp t19693;
-fp t19506;
-fp t20050;
-fp t20049;
-fp t19141;
-fp t19846;
-fp t20048;
-fp t19302;
-fp t19503;
-fp t19301;
-fp t19719;
-fp t20047;
-fp t19027;
-fp t18961;
-fp t20046;
-fp t20045;
-fp t19528;
-fp t19745;
-fp t20044;
-fp t20043;
-fp t19348;
-fp t19165;
-fp t19350;
-fp t20042;
-fp t19797;
-fp t19691;
-fp t19647;
-fp t20041;
-fp t19574;
-fp t20040;
-fp t19215;
-fp t18900;
-fp t19316;
-fp t19366;
-fp t19741;
-fp t20039;
-fp t20038;
-fp t20037;
-fp t19793;
-fp t19184;
-fp t20036;
-fp t19804;
-fp t19187;
-fp t19718;
-fp t19744;
-fp t18990;
-fp t19855;
-fp t20035;
-fp t19755;
-fp t19118;
-fp t20034;
-fp t20033;
-fp t20032;
-fp t19810;
-fp t19129;
-fp t20031;
-fp t20030;
-fp t19386;
-fp t19733;
-fp t19368;
-fp t19357;
-fp t20029;
-fp t20028;
-fp t20027;
-fp t20026;
-fp t20025;
-fp t20024;
-fp t18535;
-fp t19557;
-fp t20023;
-fp t19071;
-fp t18528;
-fp t19563;
-fp t20022;
-fp t20021;
-fp t19218;
-fp t19040;
-fp t20020;
-fp t19869;
-fp t19031;
-fp t19657;
-fp t20019;
-fp t19685;
-fp t20018;
-fp t20017;
-fp t19521;
-fp t20016;
-fp t18482;
-fp t19560;
-fp t20015;
-fp t19877;
-fp t20014;
-fp t19107;
-fp t20013;
-fp t19509;
-fp t20012;
-fp t19347;
-fp t20011;
-fp t19848;
-fp t20009;
-fp t20008;
-fp t20007;
-fp t20006;
-fp t19102;
-fp t20005;
-fp t20004;
-fp t19214;
-fp t18941;
-fp t19644;
-fp t20003;
-fp t19074;
-fp t20002;
-fp t20001;
-fp t19030;
-fp t20000;
-fp t19677;
-fp t19136;
-fp t19999;
-fp t19651;
-fp t19998;
-fp t19997;
-fp t19996;
-fp t18960;
-fp t19995;
-fp t19994;
-fp t19343;
-fp t19847;
-fp t19654;
-fp t19992;
-fp t19578;
-fp t19991;
-fp t19723;
-fp t19595;
-fp t19990;
-fp t19989;
-fp t18966;
-fp t18518;
-fp t19561;
-fp t19988;
-fp t19558;
-fp t19987;
-fp t19986;
-fp t19985;
-fp t19562;
-fp t19984;
-fp t18861;
-fp t19983;
-fp t19539;
-fp t19982;
-fp t19551;
-fp t19711;
-fp t19981;
-fp t19980;
-fp t19570;
-fp t19979;
-fp t19978;
-fp t19977;
-fp t19976;
-fp t19799;
-fp t19173;
-fp t19975;
-fp t19974;
-fp t19972;
-fp t19971;
-fp t19970;
-fp t19969;
-fp t19968;
-fp t19967;
-fp t19966;
-fp t19540;
-fp t19965;
-fp t19964;
-fp t19480;
-fp t19715;
-fp t19094;
-fp t19963;
-fp t19962;
-fp t19961;
-fp t19960;
-fp t19144;
-fp t19096;
-fp t19959;
-fp t18947;
-fp t19958;
-fp t19957;
-fp t19956;
-fp t19955;
-fp t19954;
-fp t19953;
-fp t19952;
-fp t19951;
-fp t19950;
-fp t19159;
-fp t19769;
-fp t19949;
-fp t19948;
-fp t19947;
-fp t19135;
-fp t19131;
-fp t19946;
-fp t19781;
-fp t19945;
-fp t18944;
-fp t19692;
-fp t19792;
-fp t19157;
-fp t19944;
-fp t19943;
-fp t19559;
-fp t19660;
-fp t19554;
-fp t19942;
-fp t19785;
-fp t19941;
-fp t19940;
-fp t19675;
-fp t19939;
-fp t19938;
-fp t19937;
-fp t19936;
-fp t19935;
-fp t19260;
-fp t19934;
-fp t19933;
-fp t19932;
-fp t19931;
-fp t19930;
-fp t19929;
-fp t19928;
-fp t19927;
-fp t19926;
-fp t19925;
-fp t19924;
-fp t19923;
-fp t19922;
-fp t19921;
-fp t19784;
-fp t19920;
-fp t19740;
-fp t19919;
-fp t19834;
-fp t19918;
-fp t19917;
-fp t19916;
-fp t19915;
-fp t19914;
-fp t19913;
-fp t19912;
-fp t19911;
-fp t19910;
-fp t19909;
-fp t18948;
-fp t19193;
-fp t19688;
-fp t19908;
-fp t19907;
-fp t19906;
-fp t19905;
-fp t19904;
-fp t19903;
-fp t19902;
-fp t19901;
-fp t19900;
-fp t19899;
-fp t19898;
-fp t19467;
-fp t19749;
-fp t19897;
-fp t19175;
-fp t19255;
-fp t19154;
-fp t19896;
-fp t19895;
-fp t19788;
-fp t19894;
-fp t19893;
-fp t19892;
-fp t19891;
-fp t19890;
-fp t19889;
-fp t19888;
-fp t19887;
-fp t19886;
-fp t19701;
-fp t19666;
-fp t19667;
-fp t19885;
-fp t19884;
-fp t19883;
-fp t19882;
-fp t19216;
-fp t19225;
-fp t19794;
-fp t19791;
-fp t19230;
-fp t19222;
-fp t19771;
-fp t19369;
-fp t19730;
-fp t19716;
-fp t19674;
-fp t19161;
-fp t19186;
-fp t19004;
-fp t18975;
-fp t19188;
-fp t19198;
-fp t19538;
-fp t19493;
-fp t19491;
-fp t19490;
-fp t19323;
-fp t19377;
-fp t19335;
-fp t19488;
-fp t19308;
-fp t19307;
-fp t19364;
-fp t19487;
-fp t19486;
-fp t19362;
-fp t19365;
-fp t19485;
-fp t19281;
-fp t19484;
-fp t19483;
-fp t19482;
-fp t19479;
-fp t19478;
-fp t19476;
-fp t19474;
-fp t19473;
-fp t19472;
-fp t19470;
-fp t19469;
-fp t19267;
-fp t19311;
-fp t19465;
-fp t19464;
-fp t19283;
-fp t19463;
-fp t19462;
-fp t19287;
-fp t19461;
-fp t19296;
-fp t19460;
-fp t19459;
-fp t19458;
-fp t19457;
-fp t19456;
-fp t19455;
-fp t19454;
-fp t19453;
-fp t19452;
-fp t19451;
-fp t19450;
-fp t19449;
-fp t19448;
-fp t19447;
-fp t19446;
-fp t19445;
-fp t19444;
-fp t19443;
-fp t19442;
-fp t19441;
-fp t19440;
-fp t19439;
-fp t19438;
-fp t19437;
-fp t19436;
-fp t19435;
-fp t19434;
-fp t19433;
-fp t19432;
-fp t19431;
-fp t19430;
-fp t19429;
-fp t19428;
-fp t19427;
-fp t19426;
-fp t19425;
-fp t19424;
-fp t19423;
-fp t19422;
-fp t19421;
-fp t19420;
-fp t19419;
-fp t19418;
-fp t19417;
-fp t19416;
-fp t19415;
-fp t19414;
-fp t19413;
-fp t19412;
-fp t19411;
-fp t19410;
-fp t19409;
-fp t19408;
-fp t19407;
-fp t19406;
-fp t19405;
-fp t19404;
-fp t19403;
-fp t19402;
-fp t19401;
-fp t19400;
-fp t19385;
-fp t19355;
-fp t19354;
-fp t19312;
-fp t19310;
-fp t19284;
-fp t19280;
-fp t19279;
- t19297 = RATIONAL(-1.0,288.0);
- t19389 = x*x;
- t19725 = t19297*t19389;
- t19263 = RATIONAL(1.0,1728.0);
- t20254 = t19725+t19263;
- t19327 = RATIONAL(-4.0,27.0);
- t19387 = RATIONAL(2.0,9.0);
- t19690 = t19387*t19389;
- t20253 = t19327+t19690;
- t19390 = z*z;
- t19394 = t19390*t19390;
- t20252 = t20253*t19394;
- t19345 = RATIONAL(1.0,18.0);
- t19671 = t19345*t19389;
- t19601 = y*t19671;
- t19306 = RATIONAL(-1.0,72.0);
- t19662 = t19306*t19389;
- t19391 = y*y;
- t19392 = t19391*y;
- t19497 = t19392*t19662;
- t20251 = t19601+t19497;
- t20250 = t20253*t19392;
- t19303 = RATIONAL(-1.0,576.0);
- t19757 = t19394*t19303;
- t19304 = RATIONAL(1.0,576.0);
- t19729 = t19394*t19304;
- t20249 = t19392*t19757+y*t19729;
- t19289 = RATIONAL(16.0,27.0);
- t19395 = t19391*t19391;
- t20248 = t19391*t19289+t19327*t19395;
- t19393 = t19390*z;
- t19713 = t19391*t19393;
- t19507 = t19389*t19713;
- t19778 = t19395*t19389;
- t19618 = z*t19778;
- t20234 = t19618+t19507;
- t19743 = t19395*t19303;
- t19790 = t19395*t19304;
- t18792 = t19393*t19790;
- t20247 = t18792+z*t19743;
- t20246 = t19392*t19729+y*t19757;
- t19322 = RATIONAL(-1.0,54.0);
- t19329 = RATIONAL(2.0,27.0);
- t20245 = t19390*t19329+t19394*t19322;
- t19309 = RATIONAL(1.0,54.0);
- t19315 = RATIONAL(-1.0,36.0);
- t19714 = t19395*t19315;
- t20244 = t19389*t19714+t19309*t19395;
- t19300 = RATIONAL(-1.0,144.0);
- t19205 = t19300*t19393;
- t19542 = t19389*t19205;
- t19276 = RATIONAL(1.0,864.0);
- t19724 = t19276*t19393;
- t20243 = t19724+t19542;
- t19861 = x*t19391;
- t19631 = t19303*t19861;
- t20242 = x*t19790+t19631;
- t19839 = y*t19389;
- t19374 = RATIONAL(8.0,9.0);
- t19318 = RATIONAL(4.0,27.0);
- t20241 = t19392*t19318+t19374*t19839;
- t19529 = t19392*t19671;
- t19367 = RATIONAL(-2.0,9.0);
- t19585 = t19367*t19839;
- t20240 = t19585+t19529;
- t19320 = RATIONAL(-1.0,27.0);
- t20239 = t19585+t19320*t19392;
- t19264 = RATIONAL(1.0,3456.0);
- t19265 = RATIONAL(-1.0,3456.0);
- t20238 = t19389*t19757+t19264*t19394+t19390*t19265;
- t19770 = t19390*t19389;
- t20237 = t19389*t19729+t19264*t19390+t19303*t19770;
- t19295 = RATIONAL(1.0,288.0);
- t19750 = t19295*t19389;
- t20236 = y*t19750+t20254*t19392;
- t19372 = RATIONAL(-4.0,3.0);
- t19777 = t19372*t19389;
- t19764 = t19389*t19393;
- t19373 = RATIONAL(1.0,3.0);
- t20235 = z*t19777+t19373*t19764;
- t19853 = x*RATIONAL(-2.0,3.0);
- t19356 = RATIONAL(-1.0,6.0);
- t19841 = x*t19356;
- t19177 = t19395*t19841;
- t20233 = t19853+t19177;
- t19293 = RATIONAL(-5.0,192.0);
- t19767 = t19394*t19293;
- t19336 = RATIONAL(-1.0,48.0);
- t20232 = t19391*t19767+t19390*t19336;
- t19384 = RATIONAL(2.0,3.0);
- t19863 = x*t19384;
- t19358 = RATIONAL(1.0,6.0);
- t19868 = x*t19358;
- t19137 = t19395*t19868;
- t20231 = t19137+t19863;
- t19852 = x*t19373;
- t19313 = RATIONAL(1.0,12.0);
- t19870 = x*t19395;
- t19077 = t19313*t19870;
- t20230 = t19852+t19077;
- t19292 = RATIONAL(5.0,144.0);
- t19340 = RATIONAL(-1.0,24.0);
- t19669 = t19392*t19340;
- t19028 = t19389*t19669;
- t20229 = t19028+t19292*t19392;
- t20228 = t19394*t19387+t19374;
- t19342 = RATIONAL(1.0,24.0);
- t19858 = x*t19342;
- t19331 = RATIONAL(-5.0,96.0);
- t19850 = x*t19331;
- t20227 = t19391*t19850+t19858;
- t19278 = RATIONAL(5.0,288.0);
- t19298 = RATIONAL(-5.0,288.0);
- t20226 = z*t19278+t19298*t19393;
- t19330 = RATIONAL(1.0,96.0);
- t19673 = t19330*t19394;
- t20225 = x*t19673+t19858;
- t19376 = RATIONAL(-1.0,3.0);
- t19371 = RATIONAL(4.0,3.0);
- t19819 = t19371*t19389;
- t20224 = t19376*t19764+z*t19819;
- t20223 = t19387*t19395+t19374;
- t19321 = RATIONAL(-1.0,12.0);
- t19866 = x*t19321;
- t19334 = RATIONAL(5.0,48.0);
- t19221 = t19334*t19391;
- t19636 = x*t19221;
- t20222 = t19866+t19636;
- t19842 = x*t19376;
- t19731 = t19321*t19395;
- t18973 = x*t19731;
- t20221 = t19842+t18973;
- t19678 = t19394*t19300;
- t19573 = x*t19678;
- t19833 = x*t19315;
- t19658 = t19390*t19833;
- t20220 = t19395*t19658+t19391*t19573;
- t19860 = x*t19297;
- t19632 = t19391*t19860;
- t19705 = t19306*t19395;
- t19112 = t19390*t19705;
- t20219 = t19394*t19632+x*t19112;
- t19706 = t19390*t19395;
- t19352 = RATIONAL(1.0,72.0);
- t19522 = t19352*t19706;
- t19266 = RATIONAL(-1.0,1728.0);
- t19786 = t19394*t19266;
- t20218 = t19391*t19786+t19389*t19522;
- t19299 = RATIONAL(1.0,144.0);
- t19854 = z*t19395;
- t19830 = x*t19854;
- t19344 = RATIONAL(1.0,36.0);
- t19762 = t19344*t19393;
- t19565 = x*t19762;
- t20217 = t19391*t19565+t19299*t19830;
- t19547 = t19389*t19706;
- t19317 = RATIONAL(1.0,27.0);
- t19721 = t19394*t19317;
- t20216 = t19391*t19721+t19306*t19547;
- t19650 = x*t19713;
- t19642 = t19300*t19870;
- t20215 = z*t19642+t19315*t19650;
- t19879 = x*z;
- t19202 = t19299*t19393;
- t19604 = y*t19202;
- t18235 = x*t19604;
- t19695 = t19344*t19392;
- t20214 = t18235+t19695*t19879;
- t19775 = t19306*t19394;
- t18997 = t19391*t19775;
- t19602 = t19390*t19860;
- t20213 = x*t18997+t19395*t19602;
- t19530 = t19390*t19725;
- t19274 = RATIONAL(1.0,432.0);
- t19682 = t19274*t19395;
- t20212 = t19391*t19530+t19394*t19682;
- t19206 = t19300*t19392;
- t18130 = t19206*t19879;
- t19702 = t19315*t19393;
- t19571 = y*t19702;
- t20211 = t18130+x*t19571;
- t19223 = t19352*t19392;
- t19581 = x*t19223;
- t19881 = y*x;
- t19758 = t19345*t19393;
- t18571 = t19758*t19881;
- t20210 = z*t19581+t18571;
- t19672 = t19395*t19298;
- t19734 = t19391*t19389;
- t19527 = t19394*t19734;
- t19505 = t19336*t19778;
- t19325 = RATIONAL(5.0,72.0);
- t19760 = t19390*t19325;
- t19679 = t19394*t19505+t19391*t19760;
- t20209 = t19679+t19390*t19672+t19313*t19527;
- t19208 = t19299*t19392;
- t18227 = t19208*t19879;
- t20208 = y*t19565+t18227;
- t19851 = z*t19344;
- t19113 = t19395*t19851;
- t20207 = t19299*t19650+x*t19113;
- t19233 = t19352*t19394;
- t19603 = x*t19233;
- t19203 = t19295*t19390;
- t19610 = x*t19203;
- t20206 = t19391*t19603+t19395*t19610;
- t19234 = t19306*t19393;
- t19580 = x*t19234;
- t19845 = x*t19345;
- t19593 = t19391*t19845;
- t20088 = t19395*t19580+t19393*t19593;
- t19314 = RATIONAL(-1.0,18.0);
- t19226 = t19314*t19391;
- t19645 = x*t19226;
- t20205 = t20088+z*t19645;
- t19824 = y*t19845;
- t19231 = t19314*t19390;
- t19635 = x*t19231;
- t20087 = t19394*t19581+t19392*t19635;
- t20204 = t19390*t19824+t20087;
- t19739 = t19394*t19315;
- t19634 = x*t19739;
- t20203 = t19391*t19634+t19390*t19642;
- t19370 = RATIONAL(-2.0,1.0);
- t19375 = RATIONAL(5.0,2.0);
- t20202 = t19370+t19375*t19390;
- t19878 = x*t19390;
- t19619 = t19344*t19878;
- t19867 = x*t19299;
- t19584 = t19394*t19867;
- t20201 = t19392*t19619+y*t19584;
- t19747 = t19392*t19345;
- t19640 = x*t19747;
- t18364 = z*t19640;
- t19228 = t19352*t19393;
- t20200 = t18364+t19228*t19881;
- t19569 = t19390*t19867;
- t19820 = t19344*t19394;
- t19592 = x*t19820;
- t20199 = t19395*t19569+t19391*t19592;
- t19772 = t19390*t19306;
- t19576 = y*t19772;
- t19201 = t19297*t19394;
- t18883 = t19392*t19201;
- t19783 = t19295*t19392;
- t19588 = x*t19783;
- t20103 = x*t18883+t19390*t19588;
- t20198 = x*t19576+t20103;
- t20197 = t19266*t19706+t19352*t19527;
- t19612 = t19392*t19833;
- t20196 = t19390*t19612+y*t19573;
- t19549 = t19390*t19734;
- t19275 = RATIONAL(-1.0,432.0);
- t19753 = t19275*t19395;
- t20195 = t19387*t19549+t19394*t19753;
- t19754 = t19356*t19389;
- t19277 = RATIONAL(-5.0,144.0);
- t20194 = t19394*t19277+t19390*t19754;
- t20193 = t19358*t19770+t19292*t19394;
- t19831 = y*t19393;
- t19822 = x*t19831;
- t18501 = t19314*t19822;
- t19217 = t19306*t19392;
- t20192 = t18501+t19217*t19879;
- t19211 = t19297*t19395;
- t18793 = t19393*t19211;
- t19209 = t19295*t19391;
- t19590 = x*t19209;
- t20102 = t19393*t19590+x*t18793;
- t19835 = z*t19391;
- t19829 = x*t19835;
- t20191 = t20102+t19306*t19829;
- t18140 = t19205*t19881;
- t20190 = t18140+z*t19612;
- t19864 = z*t19392;
- t19607 = t19314*t19864;
- t18339 = x*t19607;
- t20189 = t18339+y*t19580;
- t19089 = z*t19714;
- t20188 = x*t19089+t19300*t19650;
- t20187 = t19394*t19590+x*t19522;
- t18799 = t19394*t19783;
- t19577 = t19392*t19860;
- t20110 = t19390*t19577+x*t18799;
- t19614 = t19352*t19878;
- t20186 = t20110+y*t19614;
- t20185 = t19392*t19569+y*t19592;
- t19712 = t19295*t19395;
- t18875 = t19393*t19712;
- t20094 = x*t18875+t19393*t19632;
- t20184 = t20094+t19352*t19829;
- t19524 = t19394*t19662;
- t20183 = t19317*t19706+t19391*t19524;
- t19518 = t19395*t19228;
- t20082 = t19393*t19645+x*t19518;
- t20182 = t20082+z*t19593;
- t19806 = t19390*t19392;
- t19656 = x*t19806;
- t20181 = y*t19634+t19300*t19656;
- t19606 = x*t19775;
- t20099 = t19390*t19640+t19392*t19606;
- t19600 = y*t19231;
- t20180 = t20099+x*t19600;
- t20179 = t19391*t19584+t19395*t19619;
- t19807 = t19395*t19314;
- t19836 = x*t19387;
- t19821 = z*t19836;
- t20178 = t20082+t19391*t19821+t19807*t19879;
- t20177 = z*t19632+t20102+t19712*t19879;
- t19637 = x*t19201;
- t20176 = t20110+(t19637+t19610)*y;
- t20175 = t20094+z*t19590+t19211*t19879;
- t19827 = t19295*t19881;
- t20174 = y*t19602+t20103+t19394*t19827;
- t19813 = t19392*t19393;
- t19586 = x*t19813;
- t18229 = t19300*t19586;
- t19210 = t19300*y;
- t20173 = t19210*t19879+t18229+t18235+t18227;
- t19856 = x*t19367;
- t19823 = z*t19856;
- t19227 = t19345*t19395;
- t19621 = x*t19227;
- t20172 = z*t19621+t20088+t19391*t19823;
- t19766 = t19394*t19314;
- t19589 = t19390*t19836;
- t20171 = y*t19589+t19766*t19881+t20087;
- t18494 = t19393*t19581;
- t20170 = y*t19821+t18501+t18494+t18339;
- t19880 = y*z;
- t19514 = t19393*t19208;
- t18253 = x*t19514;
- t20169 = t18140+t18130+t18253+t19867*t19880;
- t19625 = t19390*t19856;
- t19232 = t19345*t19394;
- t20168 = t20099+t19232*t19881+y*t19625;
- t18562 = t19392*t19580;
- t20167 = y*t19823+t18364+t18562+t18571;
- t19273 = RATIONAL(1.0,216.0);
- t19663 = t19395*t19273;
- t19567 = z*t19734;
- t19290 = RATIONAL(-1.0,216.0);
- t19689 = t19395*t19290;
- t20166 = z*t19689+t19393*t19663+t19299*t19507+t19300*t19567;
- t19271 = RATIONAL(1.0,1152.0);
- t19816 = t19391*t19394;
- t19653 = x*t19816;
- t19815 = t19394*t19395;
- t19639 = x*t19815;
- t19261 = RATIONAL(-1.0,1152.0);
- t19622 = t19261*t19878;
- t19795 = t19390*t19391;
- t19661 = x*t19795;
- t20165 = t19261*t19653+t19395*t19622+(t19639+t19661)*t19271;
- t19115 = t19395*t19702;
- t19361 = RATIONAL(1.0,9.0);
- t19857 = x*t19361;
- t19616 = t19395*t19857;
- t19626 = t19391*t19857;
- t19382 = RATIONAL(-4.0,9.0);
- t20164 = z*t19616+t19393*t19626+x*t19115+t19382*t19829;
- t19305 = RATIONAL(-1.0,864.0);
- t19735 = t19395*t19305;
- t19704 = t19344*t19391;
- t19498 = t19389*t19704;
- t20163 = t19315*t19567+t19395*t19724+z*t19735+t19393*t19498;
- t19844 = x*t19304;
- t19596 = t19391*t19844;
- t19659 = x*t19706;
- t20162 = t19390*t19596+t19303*t19659+t20242*t19394;
- t19641 = t19390*t19844;
- t20161 = y*t19641+t19303*t19656+t20246*x;
- t19703 = t19391*t19290;
- t19696 = t19391*t19273;
- t19556 = t19395*t19764;
- t20160 = t19299*t19556+t19300*t19618+t19393*t19696+z*t19703;
- t19219 = t19352*t19395;
- t19097 = t19394*t19219;
- t20159 = t19395*t19635+t19391*t19589+t19394*t19645+x*t19097;
- t19241 = t19361*t19393;
- t19552 = t19392*t19702;
- t19874 = x*t19382;
- t19244 = t19361*t19392;
- t19655 = x*t19244;
- t20158 = t19874*t19880+t19241*t19881+x*t19552+z*t19655;
- t19843 = z*t19276;
- t20157 = t19393*t19735+t19395*t19843+t19315*t19507+z*t19498;
- t19629 = t19389*t19864;
- t18451 = t19389*t19571;
- t20156 = t18451+t19273*t19831+t19300*t19629+t19392*t19843;
- t20155 = t19297*t19822+t19295*t19586+(t19577+t19827)*z;
- t20154 = z*t19663+t19300*t19507+t19299*t19567+t19393*t19689;
- t20153 = t19394*t19596+t19303*t19639+t20242*t19390;
- t19360 = RATIONAL(-1.0,9.0);
- t19246 = t19360*t19392;
- t19597 = x*t19246;
- t19258 = t19360*t19393;
- t19599 = y*t19258;
- t19388 = RATIONAL(4.0,9.0);
- t19865 = x*t19388;
- t19544 = t19393*t19695;
- t20152 = z*t19597+t19865*t19880+(t19599+t19544)*x;
- t19726 = t19392*t19273;
- t19876 = z*t19389;
- t19575 = t19315*t19876;
- t18569 = t19392*t19575;
- t20151 = z*t19726+t18569+t20243*y;
- t19587 = t19299*t19876;
- t20150 = z*t19696+t19393*t19703+(t19542+t19587)*t19395;
- t19630 = t19390*t19874;
- t20149 = t19390*t19616+t19391*t19630+t19394*t19626+t19395*t19634;
- t19840 = y*t19390;
- t19825 = x*t19840;
- t20148 = t19392*t19641+t19303*t19825+t20249*x;
- t19872 = x*t19394;
- t19828 = y*t19872;
- t19617 = t19390*t19865;
- t19046 = t19394*t19695;
- t20147 = t19390*t19597+y*t19617+t19360*t19828+x*t19046;
- t18735 = t19271*t19706;
- t18762 = t19271*t19816;
- t18742 = t19261*t19815;
- t20146 = t19391*t19622+(t18735+t18762+t18742)*x;
- t20145 = t19295*t19822+t19860*t19880+z*t19588+t19393*t19577;
- t19285 = RATIONAL(1.0,108.0);
- t20144 = t19314*t19507+t19285*t19854+t19393*t19753+t19387*t19567;
- t20143 = t19391*t19625+t19394*t19593+t19390*t19621+t19395*t19606;
- t19566 = t19360*t19861;
- t20142 = t19360*t19659+t19391*t19617+t19394*t19566+t19395*t19592;
- t19091 = t19395*t19762;
- t20141 = t19388*t19829+x*t19091+t19393*t19566+t19360*t19830;
- t18969 = t19392*t19739;
- t20140 = t19390*t19655+y*t19630+t19361*t19828+x*t18969;
- t20139 = t19393*t19631+z*t19596+t20247*x;
- t18935 = t19393*t19743;
- t20138 = x*t18935+t19393*t19596+t20242*z;
- t19710 = t19320*t19391;
- t19698 = t19352*t19389;
- t19535 = t19394*t19698;
- t20100 = t19395*t19535+t19390*t19710;
- t19838 = y*t19317;
- t19286 = RATIONAL(-1.0,108.0);
- t19761 = t19314*t19389;
- t19496 = t19394*t19761;
- t20097 = t19285*t19706+t19391*t19496;
- t19993 = t20097+t19390*t19838+t19286*t19806+t20251*t19394;
- t19471 = t19993+t20100;
- t19765 = t19285*t19392;
- t19495 = t19392*t19698;
- t19871 = y*t19320;
- t20137 = t19390*t19495+t19471+t19389*t19600+(t19765+t19871)*t19394;
- t19504 = t19394*t19725;
- t20089 = t19395*t19504+t19274*t19795;
- t19862 = y*t19273;
- t19742 = t19394*t19263;
- t19536 = t19391*t19772;
- t20069 = t19395*t19742+t19389*t19536;
- t19466 = z*t19862+t20089+y*t19575+t20069+t20243*t19392;
- t19811 = t19344*t19389;
- t19613 = z*t19811;
- t18466 = t19392*t19613;
- t19751 = t19392*t19290;
- t20136 = t19466+t18466+t19389*t19604+t19305*t19831+z*t19751;
- t19532 = t19395*t19761;
- t19805 = t19285*t19394;
- t20061 = t19391*t19805+t19390*t19532;
- t19973 = t19285*t19713+t19389*t19518+t20061+(t19532+t19710)*z;
- t19475 = t19973+t20100;
- t19763 = t19317*t19395;
- t19717 = t19395*t19286;
- t19543 = t19391*t19671;
- t20135 = t19475+t19306*t19507+t19393*t19717+(t19763+t19543)*z;
- t19541 = t19395*t19671;
- t19533 = t19393*t19662;
- t19468 = t19286*t19713+t19395*t19533+t19317*t19835+z*t19541+t20061+t20100
-;
- t20134 = z*t19717+t19468+t19345*t19507+t19393*t19682+t19367*t19567;
- t19665 = t19394*t19286;
- t20010 = t19390*t19765+t19320*t19840+t19394*t19495+y*t19496+t20097;
- t20133 = t19392*t19665+y*t19721+t20010+t20100+t20251*t19390;
- t19817 = t19320*t19395;
- t19736 = t19285*t19393;
- t20132 = t19468+t19395*t19736+t19352*t19507+z*t19817+t19314*t19567;
- t19555 = t19389*t19762;
- t18544 = y*t19555;
- t19728 = t19392*t19305;
- t20131 = z*t19728+t19290*t19831+t19466+t18544+t19392*t19587;
- t19579 = y*t19690;
- t19508 = z*t19765+y*t19736+t19393*t19495;
- t19513 = t19393*t19761;
- t20130 = t19275*t19813+t19508+y*t19513+t19389*t19607+(t19871+t19579)*z;
- t19582 = y*t19698;
- t19812 = t19286*t19393;
- t20129 = t19286*t19880+t19508+t19392*t19812+y*t19533+(t19497+t19582)*z;
- t19720 = t19274*t19392;
- t19564 = t19393*t19497+t19286*t19864+y*t19812;
- t20128 = t19564+(t19720+t19601)*t19393+(t19838+t20240)*z;
- t19572 = z*t19662;
- t20127 = t19285*t19880+z*t19495+t19392*t19736+t19393*t19582+t19564+y*
-t19572;
- t19326 = RATIONAL(-2.0,27.0);
- t19686 = t19322*t19393;
- t20126 = t19361*t19567+t19360*t19507+t19329*t19713+t19326*t19835+(t19555+
-t19686)*t19395+t20244*z;
- t19272 = RATIONAL(-16.0,27.0);
- t20125 = t19374*t19567+t19272*t19835+(t19541+t19817)*t19393+(t19713+
-t19854)*t19318+t20234*t19367;
- t19875 = y*t19394;
- t19537 = t19392*t19770;
- t20124 = t19265*t19875+t19304*t19537+t20238*t19392+t20237*y;
- t19849 = z*t19322;
- t20123 = t19326*t19713+t19360*t19567+t19329*t19835+t19361*t19507+t20244*
-t19393+(t19613+t19849)*t19395;
- t19748 = t19266*t19393;
- t19545 = t19392*t19750;
- t20122 = z*t19545+t19266*t19864+y*t19748+t20254*t19880+t20236*t19393;
- t19379 = RATIONAL(-8.0,9.0);
- t20121 = t19395*t19513+t19379*t19567+t19327*t19713+t19393*t19763+t20234*
-t19387+t20248*z;
- t19722 = t19309*t19392;
- t19620 = t19360*t19839;
- t19627 = y*t19811;
- t19676 = t19326*t19390;
- t19801 = t19394*t19389;
- t19526 = t19392*t19801;
- t20120 = t19315*t19526+t19392*t19676+t19361*t19537+t19390*t19620+(t19627+
-t19722)*t19394+t20245*y;
- t19553 = t19393*t19725;
- t20119 = t19263*t19831+t19266*t19880+t19392*t19748+y*t19553+t19393*t19545
-+t20236*z;
- t19550 = t19394*t19778;
- t20118 = (t19816+t19706)*RATIONAL(1.0,6912.0)+(t19815+t19795)*RATIONAL(
--1.0,6912.0)+(t19527+t19547)*t19261+(t19550+t19549)*t19271;
- t19803 = t19394*t19392;
- t19638 = y*t19770;
- t20117 = t19265*t19803+t19304*t19638+t20237*t19392+t20238*y;
- t20116 = t19387*t19547+t19379*t19549+(t19721+t19496)*t19395+t20252*t19391
-+t20248*t19390;
- t19738 = t19391*t19275;
- t19502 = t19389*t19712;
- t20115 = t19263*t19713+t19297*t19507+t19393*t19502+t19352*t19567+(t19748+
-t19572)*t19395+(t19738+t19682)*z;
- t19649 = y*t19801;
- t19709 = t19361*t19389;
- t19594 = y*t19709;
- t19519 = t19389*t19246;
- t20114 = t19309*t19875+t19344*t19526+y*t19676+t19315*t19649+t20245*t19392
-+(t19519+t19594)*t19390;
- t19694 = t19317*t19392;
- t19826 = z*t19839;
- t20113 = t19289*t19880+t19379*t19826+t19392*t19513+t19327*t19831+(t19579+
-t19694)*t19393+t20250*z;
- t19818 = t19395*t19393;
- t20112 = t19306*t19567+t19274*t19835+t19266*t19713+z*t19753+t19263*t19818
-+t19352*t19618+t19395*t19553+t19295*t19507;
- t20111 = t19367*t19629+t19272*t19880+t19318*t19831+t20241*z+(t19529+
-t20239)*t19393;
- t19814 = t19278*t19395;
- t20109 = t19394*t19814+t19321*t19549;
- t19568 = t19390*t19850;
- t19332 = RATIONAL(-1.0,96.0);
- t19802 = t19394*t19332;
- t19624 = x*t19802;
- t20107 = t19395*t19624+t19391*t19568;
- t19288 = RATIONAL(-1.0,192.0);
- t19269 = RATIONAL(5.0,1152.0);
- t20106 = t19269*t19706+t19288*t19527;
- t19346 = RATIONAL(-10.0,9.0);
- t19779 = t19391*t19346;
- t20105 = t19390*t19779+t19313*t19550;
- t19341 = RATIONAL(-5.0,12.0);
- t19746 = t19341*t19391;
- t19633 = x*t19746;
- t20104 = t19336*t19639+t19390*t19633;
- t19338 = RATIONAL(5.0,12.0);
- t19646 = t19338*t19861;
- t19333 = RATIONAL(1.0,48.0);
- t20101 = t19333*t19639+t19390*t19646;
- t19809 = t19330*t19395;
- t19605 = x*t19809;
- t19328 = RATIONAL(5.0,96.0);
- t19859 = x*t19328;
- t19628 = t19390*t19859;
- t20098 = t19391*t19628+t19394*t19605;
- t20096 = t19395*t19584+t19391*t19619;
- t20095 = t19390*t19543+t19395*t19665;
- t19609 = x*t19818;
- t20093 = t19704*t19879+t19299*t19609;
- t20092 = t19275*t19706+t19295*t19527;
- t19351 = RATIONAL(-5.0,72.0);
- t19737 = t19351*t19391;
- t20090 = t19333*t19547+t19394*t19737;
- t19499 = t19394*t19208;
- t20086 = x*t19499+y*t19619;
- t19363 = RATIONAL(5.0,3.0);
- t20084 = t19363*t19549+t19395*t19766;
- t20083 = t19851*t19881+t18253;
- t19378 = RATIONAL(-5.0,6.0);
- t19591 = t19378*t19878;
- t20081 = t19391*t19591+t19340*t19639;
- t18878 = t19394*t19712;
- t20080 = t19391*t19614+x*t18878;
- t19652 = t19391*t19833;
- t20079 = t19395*t19573+t19390*t19652;
- t20078 = t19395*t19637+x*t19536;
- t19319 = RATIONAL(1.0,32.0);
- t20077 = RATIONAL(-25.0,192.0)*t19795+t19319*t19550;
- t20076 = z*t19824+t18494;
- t20075 = t19394*t19738+t19390*t19502;
- t20074 = t18229+t19833*t19880;
- t18918 = t19288*t19815;
- t20073 = x*t18918+t19293*t19661;
- t19282 = RATIONAL(25.0,12.0);
- t19727 = t19282*t19391;
- t19381 = RATIONAL(-1.0,8.0);
- t20072 = t19390*t19727+t19381*t19550;
- t19380 = RATIONAL(5.0,6.0);
- t19611 = t19380*t19878;
- t20071 = t19391*t19611+t19342*t19639;
- t19324 = RATIONAL(5.0,32.0);
- t20070 = t19324*t19549+t19395*t19767;
- t19224 = t19314*y;
- t20068 = t18562+t19224*t19879;
- t20066 = t19300*t19609+z*t19652;
- t19699 = t19394*t19298;
- t20065 = t19391*t19699+t19313*t19547;
- t19291 = RATIONAL(5.0,192.0);
- t20064 = t19291*t19549+t18742;
- t20063 = y*t19658+t19392*t19573;
- t19789 = t19334*t19395;
- t19359 = RATIONAL(-5.0,2.0);
- t20062 = t19394*t19789+t19359*t19549;
- t19337 = RATIONAL(-5.0,48.0);
- t20060 = t19337*t19549+t19097;
- t19525 = t19341*t19734;
- t20058 = t18878+t19390*t19525;
- t19353 = RATIONAL(5.0,18.0);
- t19687 = t19391*t19353;
- t20057 = t19394*t19687+t19376*t19547;
- t19294 = RATIONAL(1.0,192.0);
- t19523 = t19294*t19815;
- t20056 = x*t19523+t19291*t19661;
- t19270 = RATIONAL(-5.0,1152.0);
- t20055 = t19270*t19795+t19389*t19523;
- t19796 = t19321*t19392;
- t19510 = t19334*t19806;
- t19643 = x*t19803;
- t20054 = t19336*t19643+(t19796+t19510)*x;
- t19681 = t19313*t19393;
- t19837 = x*t19337;
- t19598 = t19391*t19837;
- t20053 = t19393*t19598+t19333*t19609+x*t19681;
- t20052 = t19336*t19609+t20222*t19393;
- t19873 = x*t19313;
- t19752 = t19392*t19333;
- t19517 = t19394*t19752;
- t20051 = x*t19517+t19392*t19873+t19337*t19656;
- t19349 = RATIONAL(-5.0,36.0);
- t19787 = t19342*t19395;
- t19546 = t19393*t19787;
- t19339 = RATIONAL(5.0,36.0);
- t19664 = t19339*t19393;
- t19693 = t19340*t19389;
- t19506 = t19395*t19693;
- t20050 = t19349*t19835+t19391*t19664+z*t19506+t19389*t19546;
- t20049 = t20065+t20109;
- t19141 = y*t19754;
- t19846 = z*t19339;
- t20048 = y*t19846+z*t19141+t20229*t19393;
- t19302 = RATIONAL(5.0,576.0);
- t19503 = t19389*t19673;
- t19301 = RATIONAL(-5.0,576.0);
- t19719 = t19392*t19301;
- t20047 = y*t19503+t19390*t19719+t19302*t19840+t19332*t19526;
- t19027 = t19333*t19778;
- t18961 = t19389*t19731;
- t20046 = t19393*t19027+t19278*t19713+(t19737+t18961)*z;
- t20045 = t19298*t19713+t19325*t19835+t19393*t19505+t19313*t19618;
- t19528 = t19371*t19734;
- t19745 = t19351*t19394;
- t20044 = t19395*t19745+t19390*t19528+t20057;
- t20043 = t20076+t20079;
- t19348 = RATIONAL(10.0,9.0);
- t19165 = t19373*t19778;
- t19350 = RATIONAL(-5.0,18.0);
- t20042 = t19348*t19835+t19350*t19713+z*t19165+t19321*t19556;
- t19797 = t19392*t19298;
- t19691 = t19313*t19394;
- t19647 = y*t19691;
- t20041 = t19336*t19526+y*t19760+t19390*t19797+t19389*t19647;
- t19574 = y*t19802;
- t20040 = t19301*t19840+t19392*t19503+t19389*t19574+t19302*t19806;
- t19215 = t19334*t19390;
- t18900 = t19291*t19706;
- t19316 = RATIONAL(-5.0,32.0);
- t19366 = RATIONAL(1.0,8.0);
- t19741 = t19366*t19389;
- t20039 = t19394*t19741+t19215+t18900+t19316*t19527;
- t20038 = t20068+t20096;
- t20037 = t20074+t20078;
- t19793 = t19376*t19389;
- t19184 = z*t19793;
- t20036 = t19313*t19556+t19395*t19184+t19393*t19687+z*t19779;
- t19804 = t19358*t19389;
- t19187 = z*t19804;
- t19718 = t19277*t19393;
- t19744 = t19342*t19392;
- t18990 = t19389*t19744;
- t19855 = z*t19349;
- t20035 = t19392*t19718+t19393*t18990+(t19187+t19855)*y;
- t19755 = t19394*t19321;
- t19118 = t19389*t19755;
- t20034 = t19278*t19806+y*t19118+t19351*t19840+t19389*t19517;
- t20033 = t20076+t20096;
- t20032 = t20068+t20079;
- t19810 = t19342*t19389;
- t19129 = z*t19810;
- t20031 = t19349*t19713+t19393*t19506+t19395*t19129+t19339*t19835;
- t20030 = t20080+t20083;
- t19386 = RATIONAL(-1.0,2.0);
- t19733 = t19386*t19389;
- t19368 = RATIONAL(-5.0,3.0);
- t19357 = RATIONAL(5.0,8.0);
- t20029 = t19395*t19733+t19368*t19391+t19394*t19746+t19357*t19547;
- t20028 = t18997+t18961+t19334*t19547+t19226;
- t20027 = t20074+t20080;
- t20026 = t19270*t19815+t19294*t19549+t20106;
- t20025 = t20078+t20083;
- t20024 = t20090+t20109+t20209;
- t18535 = y*t19603;
- t19557 = t18535+t20093;
- t20023 = t19557+t20198+t20215;
- t19071 = z*t19219;
- t18528 = x*t19071;
- t19563 = t18528+t20086;
- t20022 = t19563+t20181+t20205;
- t20021 = t20075+t20150;
- t19218 = t19336*t19395;
- t19040 = x*t19218;
- t20020 = t19040+t19294*t19653+x*t18900+t19333*t19861+t20073;
- t19869 = x*t19333;
- t19031 = t19394*t19869;
- t19657 = t19390*t19837;
- t20019 = t20054+(t19031+t19873+t19657)*y;
- t19685 = t19394*t19276;
- t20018 = t19392*t19685+t19305*t19875+t19344*t19537+t19315*t19638+t20218;
- t20017 = t20107+t19395*t19628+t19340*t19870+t20225*t19391;
- t19521 = t19389*t19678;
- t20016 = t19390*t19751+t19273*t19840+t19392*t19521+t19299*t19649+t20092;
- t18482 = y*t19606;
- t19560 = t18482+t20066;
- t20015 = t19560+t20186+t20217;
- t19877 = x*t19340;
- t20014 = t19332*t19659+t19390*t19877+t20098+t20227*t19394;
- t19107 = x*t19669;
- t20013 = t19107+(t19624+t19628)*t19392+(t19568+t20225)*y;
- t19509 = t18535+t20066;
- t20012 = t19509+t20180+t20207;
- t19347 = RATIONAL(5.0,24.0);
- t20011 = t19378*t19829+t19347*t19650+t19340*t19609+t19393*t19841+t20231*z
-;
- t19848 = z*t19329;
- t20009 = t19389*t19552+y*t19848+z*t19620+t19393*t19722+t20095;
- t20008 = t20053+(t19040+t20222)*z;
- t20007 = t19321*t19653+t19077+t19391*t19842+t19395*t19657+t20101;
- t20006 = t20052+(t19633+t20230)*z;
- t19102 = t19395*t19869;
- t20005 = t20052+(t19598+t19873+t19102)*z;
- t20004 = x*t19647+y*t19852+t19341*t19825+t20054;
- t19214 = t19336*t19394;
- t18941 = x*t19214;
- t19644 = x*t19215;
- t20003 = t20051+(t19644+t19866+t18941)*y;
- t19074 = x*t19691;
- t20002 = t20101+t19074+t19394*t19598+t20221*t19390;
- t20001 = t19560+t20204+t20207;
- t19030 = x*t19744;
- t20000 = t19330*t19643+x*t19574+t19392*t19568+t19030+(t19877+t19628)*y;
- t19677 = t19356*t19392;
- t19136 = t19394*t19868;
- t19999 = x*t19677+t19347*t19656+t19394*t19107+(t19863+t19591+t19136)*y;
- t19651 = t19391*t19859;
- t19998 = t20107+t19340*t19872+t19394*t19651+(t19605+t19858)*t19390;
- t19997 = t19177+t19347*t19659+t19358*t19653+t19384*t19861+t20081;
- t19996 = t19509+t20198+t20217;
- t18960 = x*t19755;
- t19995 = t18960+t19394*t19636+t20104+t20230*t19390;
- t19994 = t19393*t19728+y*t19613+t19389*t19514+t19290*t19880+t20069;
- t19343 = RATIONAL(-5.0,24.0);
- t19847 = x*t19343;
- t19654 = t19390*t19847;
- t19992 = t19356*t19653+t19137+t19395*t19654+t19391*t19853+t20071;
- t19578 = z*t19709;
- t19991 = t19389*t19544+t19326*t19880+y*t19578+t19392*t19686+t20095;
- t19723 = t19358*t19393;
- t19595 = t19391*t19847;
- t19990 = t19380*t19829+t19393*t19595+t20233*z+(t19723+t19546)*x;
- t19989 = t20071+t19136+t19394*t19595+t20233*t19390;
- t18966 = z*t19705;
- t18518 = x*t18966;
- t19561 = t18518+t20086;
- t19988 = t19561+t20184+t20196;
- t19558 = t18482+t20093;
- t19987 = t19558+t20186+t20215;
- t19986 = t19338*t19825+t20051+(t19842+t18960)*y;
- t19985 = t20104+t18973+t19395*t19644+(t19074+t19852)*t19391;
- t19562 = t18518+t20063;
- t19984 = t19562+t20184+t20201;
- t18861 = t19291*t19816;
- t19983 = x*t18861+t19294*t19659+t18941+t19390*t19869+t20073;
- t19539 = t18528+t20063;
- t19982 = t19539+t20185+t20205;
- t19551 = t19393*t19809;
- t19711 = t19395*t19332;
- t19981 = x*t19551+t19711*t19879+t20227*t19393+(t19651+t19877)*z;
- t19980 = t19557+t20180+t20188;
- t19570 = z*t19809;
- t19979 = t19332*t19609+t19328*t19650+t19393*t19877+x*t19570+t20227*z;
- t19978 = t19561+t20181+t20182;
- t19977 = t19562+t20182+t20185;
- t19976 = t20056+t19031+t19288*t19659+t20232*x;
- t19799 = t19358*t19392;
- t19173 = t19394*t19841;
- t19975 = t19392*t19654+t19394*t19030+x*t19799+(t19173+t19853+t19611)*y;
- t19974 = t20053+(t19646+t20221)*z;
- t19972 = t19558+t20188+t20204;
- t19971 = t19390*t19726+t19290*t19840+t19389*t19499+y*t19521+t20092;
- t19970 = y*t19665+t19394*t19720+t20195+t20240*t19390;
- t19969 = t19539+t20191+t20201;
- t19968 = t19563+t20191+t20196;
- t19967 = t19395*t19568+x*t19787+t19340*t19861+t19391*t19624+t20098;
- t19966 = t20081+t19173+t19347*t19653+t20231*t19390;
- t19540 = t19293*t19706;
- t19965 = x*t19540+t19288*t19653+t19102+t19336*t19861+t20056;
- t19964 = t20028+t19219+t19373*t19734+t20058+t20209;
- t19480 = t19231+t19334*t19527+t19118+t19112+t19679;
- t19715 = t19313*t19389;
- t19094 = t19390*t19715;
- t19963 = t19480+t19094+t19232+t20060+t20090;
- t19962 = t19233+t19480+t19373*t19770+t20058+t20065;
- t19961 = t20153+t20175;
- t19960 = t20173+t20176;
- t19144 = t19389*t19799;
- t19096 = t19342*t19764;
- t19959 = t20048+z*t19144+t19392*t19855+(t19718+t19096)*y;
- t18947 = t19391*t19715;
- t19958 = t18947+t19227+t20028+t20060;
- t19957 = t20155+t20161;
- t19956 = t20169+t20176;
- t19955 = t20025+t20206+t20211;
- t19954 = t20169+t20174;
- t19953 = t20038+t20200+t20220;
- t19952 = t20038+t20203+t20210;
- t19951 = t20147+t20152;
- t19950 = t20173+t20174;
- t19159 = t19372*t19734;
- t19769 = t19325*t19393;
- t19949 = z*t19159+t19350*t19854+t19373*t19507+t19395*t19769+t20042;
- t19948 = t20043+t20192+t20199;
- t19947 = t20027+t20208+t20213;
- t19135 = t19389*t19677;
- t19131 = t19393*t19693;
- t19946 = z*t19135+t19292*t19831+y*t19131+t19392*t19846+t20035;
- t19781 = t19389*t19333;
- t19945 = t19201+t18735+t19203+t19394*t19781+t20064+t20232*t19389;
- t18944 = t19389*t19796;
- t19692 = t19392*t19350;
- t19792 = t19373*t19389;
- t19157 = t19392*t19792;
- t19944 = t19393*t18944+t19350*t19831+t19392*t19769+t19348*t19880+(t19692+
-t19157)*z+t20235*y;
- t19943 = t20037+t20187+t20214;
- t19559 = t19336*t19764;
- t19660 = y*t19781;
- t19554 = t19389*t19752;
- t19942 = z*t19660+t19278*t19831+t19393*t19554+y*t19559+t19298*t19880+
-t19336*t19629+t20226*t19392;
- t19785 = t19351*t19395;
- t19941 = t19353*t19854+t19393*t19785+t19376*t19507+z*t19528+t20036;
- t19940 = t20141+t20149;
- t19675 = t19302*t19394;
- t19939 = t19301*t19875+t19330*t19537+t19332*t19638+t19392*t19675+t20047;
- t19938 = t19394*t19719+t19330*t19638+t19332*t19537+y*t19675+t20040;
- t19937 = t20032+t20179+t20200;
- t19936 = t20037+t20206+t20208;
- t19935 = t19278*t19813+t19336*t19826+t19392*t19559+t19393*t19660+(t19797+
-t19554)*z+t20226*y;
- t19260 = t19367*t19395;
- t19934 = t19165+t19159+t20084+t19341*t19547+t19260+t20228*t19391;
- t19933 = t19393*t19814+t19321*t19567+t19333*t19507+z*t19785+t20045;
- t19932 = t20030+t20190+t20219;
- t19931 = t20143+t20172;
- t19930 = t20032+t20199+t20210;
- t19929 = t20170+t20171;
- t19928 = t20167+t20168;
- t19927 = t20167+t20171;
- t19926 = t20145+t20161;
- t19925 = t20159+t20172;
- t19924 = t20030+t20211+t20213;
- t19923 = t20141+t20142;
- t19922 = t20139+t20146;
- t19921 = t20043+t20179+t20189;
- t19784 = t19394*t19325;
- t19920 = t20034+t19392*t19699+t19336*t19537+(t19094+t19784)*y;
- t19740 = t19292*t19395;
- t19919 = t19356*t19507+z*t19740+t19358*t19567+t19395*t19718+t20050;
- t19834 = z*t19277;
- t19918 = t19393*t19740+t19395*t19834+t19358*t19507+t19356*t19567+t20031;
- t19917 = t19393*t19672+t19336*t19507+t19325*t19854+z*t18947+t20046;
- t19916 = t20027+t20214+t20219;
- t19915 = t20138+t20165;
- t19914 = t20162+t20177;
- t19913 = t19278*t19803+t19333*t19537+y*t19745+t19321*t19638+t20041;
- t19912 = t20025+t20187+t20190;
- t19911 = t20140+t20164;
- t19910 = t20143+t20178;
- t19909 = t20147+t20158;
- t18948 = t19392*t19715;
- t19193 = t19392*t19793;
- t19688 = t19351*t19392;
- t19908 = t19346*t19880+z*t19193+(t19688+t18948)*t19393+(t19831+t19864)*
-t19353+t20224*y;
- t19907 = t20168+t20170;
- t19906 = t20033+t20189+t20220;
- t19905 = t20033+t20192+t20203;
- t19904 = t20153+t20177;
- t19903 = t20138+t20146;
- t19902 = t20148+t20155;
- t19901 = t20159+t20178;
- t19900 = t20145+t20148;
- t19899 = t20162+t20175;
- t19898 = t20139+t20165;
- t19467 = t20016+t20089;
- t19749 = t19394*t19290;
- t19897 = y*t19749+t19467+t19299*t19537+t19394*t19726+t19300*t19638+t20075
-+t20212;
- t19175 = t19394*t19792;
- t19255 = t19367*t19394;
- t19154 = t19372*t19770;
- t19896 = t19175+t19255+t20057+t20105+t20084+t19154+t19394*t19525+t20223*
-t19390;
- t19895 = t19389*t19540+t18762+t19336*t19734+t19027+t19211+t19209+t20055+
-t20106+t20064;
- t19788 = t19394*t19275;
- t19894 = t20197+t19274*t19840+t19295*t19537+t19266*t19806+t19389*t19576+(
-t19504+t19742)*t19392+(t19788+t19535)*y;
- t19893 = t19389*t19599+z*t19722+t18569+t19329*t19831+t19991+t20216;
- t19892 = t19309*t19831+t19392*t19848+t18451+z*t19519+t19991+t20183;
- t19891 = y*t19686+t19392*t19578+t19326*t19864+t18544+t20009+t20183;
- t19890 = t19314*t19537+y*t19805+t19390*t19579+t19392*t19788+t20010+t20195
-;
- t19889 = t19393*t19594+t18466+t19392*t19849+t19326*t19831+t20009+t20216;
- t19888 = t19394*t19728+t19315*t19537+t19390*t19627+y*t19685+t19971+t20218
-;
- t19887 = t19300*t19537+t19392*t19749+t19394*t19862+t19299*t19638+t19971+
-t20212;
- t19886 = t19295*t19526+t20197+t19274*t19875+t19275*t19840+t19263*t19806+
-t19390*t19582+y*t19524+t20075+(t19530+t19786)*t19392;
- t19701 = t19264*t19391;
- t19666 = t19264*t19395;
- t19667 = t19265*t19393;
- t19885 = t19391*t19667+t19303*t19567+t20118+t19265*t19854+t19393*t19666+
-t19389*t18935+z*t19701+t20234*t19304;
- t19884 = t19304*t19567+t20118+t19389*t18792+t19265*t19835+t19393*t19701+z
-*t19666+t19395*t19667+t20234*t19303;
- t19883 = t20116+t19345*t19526+t19272*t19840+t19318*t19875+t19367*t19537+
-t20239*t19394+t20241*t19390;
- t19882 = t20116+t19394*t19694+t19379*t19638+t19392*t19496+t19289*t19840+
-t20250*t19390+t20252*y;
- t19216 = t19337*t19394;
- t19225 = t19338*t19394;
- t19794 = t19390*t19339;
- t19791 = t19395*t19301;
- t19230 = t19338*t19395;
- t19222 = t19337*t19395;
- t19771 = t19302*t19395;
- t19369 = RATIONAL(2.0,1.0);
- t19730 = t19369*t19389;
- t19716 = t19390*t19349;
- t19674 = t19390*t19353;
- t19161 = y*t19819;
- t19186 = y*t19793;
- t19004 = y*t19810;
- t18975 = y*t19693;
- t19188 = t19393*t19754;
- t19198 = t19389*t19723;
- t19538 = t19389*t19711;
- t19493 = t19376*t19527+t19395*t19674+t20105;
- t19491 = t19351*t19706+t19333*t19527+t19679;
- t19490 = t19269*t19816+t19288*t19547+t20055;
- t19323 = RATIONAL(5.0,16.0);
- t19377 = RATIONAL(-1.0,4.0);
- t19335 = RATIONAL(-1.0,16.0);
- t19488 = t19377+t19335*t19395+t19323*t19391;
- t19308 = RATIONAL(-5.0,16.0);
- t19307 = RATIONAL(1.0,16.0);
- t19364 = RATIONAL(1.0,4.0);
- t19487 = t19364+t19308*t19391+t19307*t19395;
- t19486 = t19357*t19391+t19381*t19395+t19386;
- t19362 = RATIONAL(-5.0,8.0);
- t19365 = RATIONAL(1.0,2.0);
- t19485 = t19362*t19391+t19366*t19395+t19365;
- t19281 = RATIONAL(25.0,32.0);
- t19484 = t19281*t19391+t19316*t19395+t19362;
- t19483 = t19221+t19316*t19547+t18861+t19395*t19741+t20077;
- t19482 = t19341*t19706+t19394*t19733+t19357*t19527+t19368*t19390+t20072;
- t19479 = y*t19794+t19392*t19716+t19394*t19004+t19340*t19526+t19491;
- t19478 = t19302*t19835+t19389*t19570+t19301*t19713+t19393*t19538+t19490;
- t19476 = t19301*t19835+t19302*t19713+t19389*t19551+z*t19538+t19490;
- t19474 = t19994+t20089;
- t19473 = t19392*t19794+t19342*t19526+y*t19716+t19394*t18975+t19491;
- t19472 = t20075+t20089+t20160;
- t19470 = y*t19175+t19348*t19840+t19390*t19692+t19321*t19526+t19493;
- t19469 = t19394*t19186+t19346*t19840+t19392*t19674+t19313*t19526+t19493;
- t19267 = RATIONAL(25.0,192.0);
- t19311 = RATIONAL(-1.0,32.0);
- t19465 = t19267*t19816+t19381*t19770+t19311*t19547+t19216+t20039+t20070+
-t20077;
- t19464 = t19267*t19706+t19381*t19734+t19222+t19311*t19527+t19483+t20070;
- t19283 = RATIONAL(-25.0,48.0);
- t19463 = t19391*t19730+t19365*t19527+t19230+t19283*t19706+t20029+t20062+
-t20072;
- t19462 = t19283*t19816+t19225+t19390*t19730+t19365*t19547+t19482+t20062;
- t19287 = RATIONAL(-25.0,96.0);
- t19461 = t19347+t19287*t19391+t19328*t19395+t19488*t19389;
- t19296 = RATIONAL(25.0,96.0);
- t19460 = t19331*t19395+t19296*t19391+t19343+t19487*t19389;
- t19459 = t19296*t19390+t19331*t19394+t19343+(t19307*t19394+t19308*t19390+
-t19364)*t19389;
- t19458 = t19287*t19390+t19347+t19328*t19394+(t19377+t19323*t19390+t19335*
-t19394)*t19389;
- t19457 = z*t19771+t19330*t19567+t19332*t19507+t19393*t19791+t19476+t20026
-;
- t19456 = y*t19198+t19349*t19831+z*t18990+t19392*t19834+t20024+t20048;
- t19455 = t19376*t19537+t19390*t19161+t19394*t19688+t19353*t19875+t19469+
-t20044;
- t19454 = t19473+t20049+t20194*t19392+t20193*y;
- t19453 = t19373*t19537+y*t19154+t19392*t19784+t19350*t19875+t19470+t20044
-;
- t19452 = t20035+t20024+t20229*z+(t19664+t19188)*y;
- t19451 = t19479+t20049+t20193*t19392+t20194*y;
- t19450 = t19393*t19771+t19330*t19507+z*t19791+t19478+t19332*t19567+t20026
-;
- t19449 = RATIONAL(-25.0,8.0)*t19549+t19375*t19734+t19373*t19394+t20029+
-t19482+t19371+t20202*t19389+(t19691+t19373)*t19395;
- t19448 = t19321+t19281*t19549+t19483+t19214+t19218+t20039+t19365*t19389+
-t18918+(t19770+t19734)*t19362;
- t19447 = t19387*t19393+t19896+t19395*t19758+t20042+t19338*t19507+t19368*
-t19567+(t19379+t19260)*z+t20224;
- t19446 = t19299*y+t18975+t19895+t19331*t19537+t19206+t19328*t19638+t18990
-+t20040+t20249;
- t19445 = t19091+t19347*t19507+t19187+t19963+t19241+t19360*z+t19089+t19188
-+t19343*t19567+t20031;
- t19444 = t18883+t18948+t19186+t19217+t19337*t19537+t20034+t19338*t19638+
-t19964+(t19233+t19345)*y;
- t19443 = t19004+t19895+t19028+t19331*t19638+t19210+t19328*t19537+t19208+
-t20047+t20246;
- t19442 = t18944+t19389*t19510+t19223+t19341*t19638+t18799+t20041+t19224+
-t19964+(t19792+t19775)*y;
- t19441 = t19934+t19161+t19193+t19394*t19747+t19368*t19638+t19338*t19537+
-t19387*t19392+t19470+(t19379+t19255)*y;
- t19440 = t20036+t19896+t19341*t19507+t19363*t19567+(t19807+t19367)*t19393
-+t20223*z+t20235;
- t19439 = t19945+t19131+t19331*t19567+t19300*z+t19328*t19507+t19129+t19478
-+t19202+t20247;
- t19438 = t19334*t19507+t19321*t19764+t19962+t18966+t19228+t18875+t20045+(
-t19525+t19792+t19314)*z;
- t19437 = t18935+t19945+t19331*t19507+t19328*t19567+t19205+t19476+t19096+(
-t19299+t19693+t19790)*z;
- t19436 = t19479+t19135+t19343*t19638+t19347*t19537+t19958+t19046+t19244+(
-t19739+t19804+t19360)*y;
- t19435 = t19347*t19638+t19343*t19537+t19473+t18969+t19141+t19958+t19246+
-t19144+(t19361+t19820)*y;
- t19434 = t19363*t19638+t19934+t19157+t19341*t19537+t19469+(t19766+t19367)
-*t19392+(t19777+t20228)*y;
- t19433 = t19071+t18793+t19389*t19681+t19962+t19337*t19507+t19345*z+t19234
-+t19338*t19567+t19184+t20046;
- t19432 = t19115+t19347*t19567+t19963+t19258+t19113+t19343*t19507+t19198+
-t20050+(t19754+t19361)*z;
- t19431 = t20021+t19887+t20089+t20129+t20166;
- t19430 = t19887+t19472+t20127+t20154;
- t19429 = t19889+t20123+t20133;
- t19428 = t19893+t20126+t20133;
- t19427 = t19475+t19890+t20130+t20144;
- t19426 = t19890+t20128+t20134;
- t19425 = t19891+t20114+t20132;
- t19424 = t19472+t19894+t19994+t20156+t20157;
- t19423 = t20117+t19885+t20122;
- t19422 = t20119+t19885+t20124;
- t19421 = t19471+t19973+t19970+t20128+t20144;
- t19420 = t20117+t19884+t20119;
- t19419 = t20111+t19883+t20121;
- t19418 = t19892+t20120+t20132;
- t19417 = t19891+t20120+t20135;
- t19416 = t20113+t19883+t20125;
- t19415 = t19882+t20111+t20125;
- t19414 = t20122+t19884+t20124;
- t19413 = t19893+t20123+t20137;
- t19412 = t20113+t19882+t20121;
- t19411 = t19889+t20126+t20137;
- t19410 = t19886+t19474+t20150+t20156+t20163;
- t19409 = t20018+t20016+t20112+t20136;
- t19408 = t19894+t20021+t20131+t20163;
- t19407 = t19897+t20127+t20150+t20166;
- t19406 = t19897+t20129+t20154+t20160;
- t19405 = t19886+t20131+t20157+t20160;
- t19404 = t19467+t19994+t20018+t20115+t20151;
- t19403 = t19970+t19993+t20130+t20134;
- t19402 = t19888+t19474+t20112+t20151;
- t19401 = t19888+t20115+t20136;
- t19400 = t19892+t20114+t20135;
- t19385 = RATIONAL(5.0,4.0);
- t19355 = RATIONAL(-5.0,4.0);
- t19354 = RATIONAL(3.0,4.0);
- t19312 = RATIONAL(25.0,8.0);
- t19310 = RATIONAL(-15.0,4.0);
- t19284 = RATIONAL(25.0,48.0);
- t19280 = RATIONAL(-25.0,12.0);
- t19279 = RATIONAL(-15.0,16.0);
- coeffs_dxx->coeff_m2_m2_m2 = t19422+t19922+t19926;
- coeffs_dxx->coeff_m1_m2_m2 = t19914+t19430+t19954;
- coeffs_dxx->coeff_0_m2_m2 = t19939+t19450+t19942;
- coeffs_dxx->coeff_p1_m2_m2 = t19430+t19960+t19961;
- coeffs_dxx->coeff_p2_m2_m2 = t19422+t19902+t19915;
- coeffs_dxx->coeff_m2_m1_m2 = t19405+t19924+t19996;
- coeffs_dxx->coeff_m1_m1_m2 = t19413+t19930+t19978;
- coeffs_dxx->coeff_0_m1_m2 = t19456+t19919+t19920;
- coeffs_dxx->coeff_p1_m1_m2 = t19413+t19905+t19982;
- coeffs_dxx->coeff_p2_m1_m2 = t19405+t19936+t19987;
- coeffs_dxx->coeff_m2_0_m2 = t19439+t19981+t19983;
- coeffs_dxx->coeff_m1_0_m2 = t19432+t20005+t20014;
- coeffs_dxx->coeff_0_0_m2 = t19465+t19460*z+t19461*t19393;
- coeffs_dxx->coeff_p1_0_m2 = t19432+t19998+t20008;
- coeffs_dxx->coeff_p2_0_m2 = t19439+t19976+t19979;
- coeffs_dxx->coeff_m2_p1_m2 = t19424+t19947+t20015;
- coeffs_dxx->coeff_m1_p1_m2 = t19429+t19948+t19977;
- coeffs_dxx->coeff_0_p1_m2 = t19452+t19913+t19919;
- coeffs_dxx->coeff_p1_p1_m2 = t19429+t19952+t20022;
- coeffs_dxx->coeff_p2_p1_m2 = t19424+t19955+t20023;
- coeffs_dxx->coeff_m2_p2_m2 = t19423+t19902+t19922;
- coeffs_dxx->coeff_m1_p2_m2 = t19914+t19406+t19960;
- coeffs_dxx->coeff_0_p2_m2 = t19935+t19450+t19938;
- coeffs_dxx->coeff_p1_p2_m2 = t19406+t19954+t19961;
- coeffs_dxx->coeff_p2_p2_m2 = t19423+t19915+t19926;
- coeffs_dxx->coeff_m2_m2_m1 = t19401+t19932+t19969;
- coeffs_dxx->coeff_m1_m2_m1 = t19418+t19937+t19972;
- coeffs_dxx->coeff_0_m2_m1 = t19454+t19917+t19959;
- coeffs_dxx->coeff_p1_m2_m1 = t19418+t19906+t20012;
- coeffs_dxx->coeff_p2_m2_m1 = t19401+t19943+t19988;
- coeffs_dxx->coeff_m2_m1_m1 = t19403+t19910+t19927;
- coeffs_dxx->coeff_m1_m1_m1 = t19911+t19416+t20142+t20152;
- coeffs_dxx->coeff_0_m1_m1 = t19453+t19908+t19949;
- coeffs_dxx->coeff_p1_m1_m1 = t19909+t19416+t19940;
- coeffs_dxx->coeff_p2_m1_m1 = t19403+t19907+t19925;
- coeffs_dxx->coeff_m2_0_m1 = t19433+t20002+t20006;
- coeffs_dxx->coeff_m1_0_m1 = t19447+t19966+t19990;
- coeffs_dxx->coeff_0_0_m1 = t19462+(t19341+t19284*t19391+t19222+t19485*
-t19389)*t19393+(t19280*t19391+t19230+t19363+(t19375*t19391+t19370+t19386*t19395
-)*t19389)*z;
- coeffs_dxx->coeff_p1_0_m1 = t19447+t19989+t20011;
- coeffs_dxx->coeff_p2_0_m1 = t19433+t19974+t19995;
- coeffs_dxx->coeff_m2_p1_m1 = t19426+t19907+t19910;
- coeffs_dxx->coeff_m1_p1_m1 = t19909+t19415+t20142+t20164;
- coeffs_dxx->coeff_0_p1_m1 = t19455+t19944+t19949;
- coeffs_dxx->coeff_p1_p1_m1 = t19415+t19940+t20140+t20152;
- coeffs_dxx->coeff_p2_p1_m1 = t19426+t19925+t19927;
- coeffs_dxx->coeff_m2_p2_m1 = t19404+t19916+t19968;
- coeffs_dxx->coeff_m1_p2_m1 = t19425+t19921+t19980;
- coeffs_dxx->coeff_0_p2_m1 = t19451+t19917+t19946;
- coeffs_dxx->coeff_p1_p2_m1 = t19425+t19953+t20001;
- coeffs_dxx->coeff_p2_p2_m1 = t19404+t19912+t19984;
- coeffs_dxx->coeff_m2_m2_0 = t19443+t20000+t20020;
- coeffs_dxx->coeff_m1_m2_0 = t19435+t19967+t20019;
- coeffs_dxx->coeff_0_m2_0 = t19464+t19458*t19392+t19459*y;
- coeffs_dxx->coeff_p1_m2_0 = t19435+t20003+t20017;
- coeffs_dxx->coeff_p2_m2_0 = t19443+t19965+t20013;
- coeffs_dxx->coeff_m2_m1_0 = t19444+t20004+t20007;
- coeffs_dxx->coeff_m1_m1_0 = t19441+t19975+t19997;
- coeffs_dxx->coeff_0_m1_0 = (t19363+t19280*t19390+t19225+(t19386*t19394+
-t20202)*t19389)*y+t19463+(t19341+t19216+t19284*t19390+(t19362*t19390+t19365+
-t19366*t19394)*t19389)*t19392;
- coeffs_dxx->coeff_p1_m1_0 = t19441+t19992+t19999;
- coeffs_dxx->coeff_p2_m1_0 = t19444+t19985+t19986;
- coeffs_dxx->coeff_m2_0_0 = ((t19381+t19324*t19391+t19311*t19395)*t19394+(
-RATIONAL(-25.0,32.0)*t19391+t19324*t19395+t19357)*t19390+t19486)*x+t19448;
- coeffs_dxx->coeff_m1_0_0 = (1.0+t19355*t19391+t19364*t19395+t19487*t19394
-+(t19355+t19308*t19395+RATIONAL(25.0,16.0)*t19391)*t19390)*x+t19449;
- coeffs_dxx->coeff_0_0_0 = t19359+t19312*t19391+t19362*t19395+t19484*
-t19394+(t19281*t19395+RATIONAL(-125.0,32.0)*t19391+t19312)*t19390+(t19310*
-t19391+t19354*t19395+RATIONAL(3.0,1.0)+(t19279*t19391+RATIONAL(3.0,16.0)*t19395
-+t19354)*t19394+(t19310+RATIONAL(75.0,16.0)*t19391+t19279*t19395)*t19390)*
-t19389;
- coeffs_dxx->coeff_p1_0_0 = (t19377*t19395+t19385*t19391-1.0+t19488*t19394
-+(RATIONAL(-25.0,16.0)*t19391+t19323*t19395+t19385)*t19390)*x+t19449;
- coeffs_dxx->coeff_p2_0_0 = t19448+((t19366+t19316*t19391+t19319*t19395)*
-t19394+t19484*t19390+t19485)*x;
- coeffs_dxx->coeff_m2_p1_0 = t19442+t19986+t20007;
- coeffs_dxx->coeff_m1_p1_0 = t19434+t19997+t19999;
- coeffs_dxx->coeff_0_p1_0 = (t19338+t19334*t19394+t19283*t19390+(t19381*
-t19394+t19357*t19390+t19386)*t19389)*t19392+(t19282*t19390+t19368+t19341*t19394
-+(t19359*t19390+t19365*t19394+t19369)*t19389)*y+t19463;
- coeffs_dxx->coeff_p1_p1_0 = t19434+t19975+t19992;
- coeffs_dxx->coeff_p2_p1_0 = t19442+t19985+t20004;
- coeffs_dxx->coeff_m2_p2_0 = t19446+t20013+t20020;
- coeffs_dxx->coeff_m1_p2_0 = t19436+t19967+t20003;
- coeffs_dxx->coeff_0_p2_0 = t19464+t19458*y+t19459*t19392;
- coeffs_dxx->coeff_p1_p2_0 = t19436+t20017+t20019;
- coeffs_dxx->coeff_p2_p2_0 = t19446+t19965+t20000;
- coeffs_dxx->coeff_m2_m2_p1 = t19402+t19916+t19984;
- coeffs_dxx->coeff_m1_m2_p1 = t19417+t19921+t20001;
- coeffs_dxx->coeff_0_m2_p1 = t19454+t19933+t19946;
- coeffs_dxx->coeff_p1_m2_p1 = t19417+t19953+t19980;
- coeffs_dxx->coeff_p2_m2_p1 = t19402+t19912+t19968;
- coeffs_dxx->coeff_m2_m1_p1 = t19929+t19421+t19931;
- coeffs_dxx->coeff_m1_m1_p1 = t19923+t19419+t20140+t20158;
- coeffs_dxx->coeff_0_m1_p1 = t19453+t19941+t19944;
- coeffs_dxx->coeff_p1_m1_p1 = t19419+t19951+t20149+t20164;
- coeffs_dxx->coeff_p2_m1_p1 = t19901+t19421+t19928;
- coeffs_dxx->coeff_m2_0_p1 = t19438+t19974+t20002;
- coeffs_dxx->coeff_m1_0_p1 = t19440+t19966+t20011;
- coeffs_dxx->coeff_0_0_p1 = t19462+(t19283*t19391+t19789+t19338+t19486*
-t19389)*t19393+(t19341*t19395+t19727+t19368+(t19359*t19391+t19369+t19365*t19395
-)*t19389)*z;
- coeffs_dxx->coeff_p1_0_p1 = t19440+t19989+t19990;
- coeffs_dxx->coeff_p2_0_p1 = t19438+t19995+t20006;
- coeffs_dxx->coeff_m2_p1_p1 = t19928+t19427+t19931;
- coeffs_dxx->coeff_m1_p1_p1 = t19923+t19412+t19951;
- coeffs_dxx->coeff_0_p1_p1 = t19455+t19908+t19941;
- coeffs_dxx->coeff_p1_p1_p1 = t19911+t19412+t20149+t20158;
- coeffs_dxx->coeff_p2_p1_p1 = t19901+t19427+t19929;
- coeffs_dxx->coeff_m2_p2_p1 = t19409+t19932+t19988;
- coeffs_dxx->coeff_m1_p2_p1 = t19400+t19937+t20012;
- coeffs_dxx->coeff_0_p2_p1 = t19451+t19933+t19959;
- coeffs_dxx->coeff_p1_p2_p1 = t19400+t19906+t19972;
- coeffs_dxx->coeff_p2_p2_p1 = t19409+t19943+t19969;
- coeffs_dxx->coeff_m2_m2_p2 = t19414+t19903+t19957;
- coeffs_dxx->coeff_m1_m2_p2 = t19431+t19899+t19950;
- coeffs_dxx->coeff_0_m2_p2 = t19457+t19935+t19939;
- coeffs_dxx->coeff_p1_m2_p2 = t19431+t19904+t19956;
- coeffs_dxx->coeff_p2_m2_p2 = t19898+t19414+t19900;
- coeffs_dxx->coeff_m2_m1_p2 = t19410+t19947+t20023;
- coeffs_dxx->coeff_m1_m1_p2 = t19411+t19948+t20022;
- coeffs_dxx->coeff_0_m1_p2 = t19918+t19452+t19920;
- coeffs_dxx->coeff_p1_m1_p2 = t19411+t19952+t19977;
- coeffs_dxx->coeff_p2_m1_p2 = t19410+t19955+t20015;
- coeffs_dxx->coeff_m2_0_p2 = t19437+t19979+t19983;
- coeffs_dxx->coeff_m1_0_p2 = t19445+t20008+t20014;
- coeffs_dxx->coeff_0_0_p2 = t19461*z+t19465+t19460*t19393;
- coeffs_dxx->coeff_p1_0_p2 = t19445+t19998+t20005;
- coeffs_dxx->coeff_p2_0_p2 = t19437+t19976+t19981;
- coeffs_dxx->coeff_m2_p1_p2 = t19408+t19924+t19987;
- coeffs_dxx->coeff_m1_p1_p2 = t19428+t19930+t19982;
- coeffs_dxx->coeff_0_p1_p2 = t19456+t19913+t19918;
- coeffs_dxx->coeff_p1_p1_p2 = t19428+t19905+t19978;
- coeffs_dxx->coeff_p2_p1_p2 = t19408+t19936+t19996;
- coeffs_dxx->coeff_m2_p2_p2 = t19900+t19420+t19903;
- coeffs_dxx->coeff_m1_p2_p2 = t19407+t19899+t19956;
- coeffs_dxx->coeff_0_p2_p2 = t19938+t19457+t19942;
- coeffs_dxx->coeff_p1_p2_p2 = t19407+t19904+t19950;
- coeffs_dxx->coeff_p2_p2_p2 = t19898+t19420+t19957;
+fp t17737;
+fp t18139;
+fp t17654;
+fp t17752;
+fp t18138;
+fp t17693;
+fp t18137;
+fp t17689;
+fp t17766;
+fp t18136;
+fp t17719;
+fp t17940;
+fp t18135;
+fp t17944;
+fp t18134;
+fp t18133;
+fp t18132;
+fp t18131;
+fp t18130;
+fp t18129;
+fp t18128;
+fp t18127;
+fp t18125;
+fp t18124;
+fp t18123;
+fp t17656;
+fp t17676;
+fp t18122;
+fp t18121;
+fp t18120;
+fp t18119;
+fp t17460;
+fp t17657;
+fp t18118;
+fp t18117;
+fp t17458;
+fp t18116;
+fp t18115;
+fp t17690;
+fp t17725;
+fp t18114;
+fp t18113;
+fp t18112;
+fp t18111;
+fp t18110;
+fp t17688;
+fp t18109;
+fp t18108;
+fp t18107;
+fp t17540;
+fp t17686;
+fp t17728;
+fp t18106;
+fp t17536;
+fp t18105;
+fp t17186;
+fp t17593;
+fp t17726;
+fp t17746;
+fp t18104;
+fp t17734;
+fp t17756;
+fp t17765;
+fp t18103;
+fp t17867;
+fp t18102;
+fp t17865;
+fp t18101;
+fp t17185;
+fp t17607;
+fp t17428;
+fp t18100;
+fp t17606;
+fp t17426;
+fp t18099;
+fp t17369;
+fp t18098;
+fp t17371;
+fp t18097;
+fp t18096;
+fp t18095;
+fp t17414;
+fp t16838;
+fp t17871;
+fp t18092;
+fp t17875;
+fp t18091;
+fp t17416;
+fp t16845;
+fp t17873;
+fp t18090;
+fp t17877;
+fp t18089;
+fp t17596;
+fp t17359;
+fp t16711;
+fp t17874;
+fp t18088;
+fp t17878;
+fp t18087;
+fp t17598;
+fp t17358;
+fp t16704;
+fp t17872;
+fp t18086;
+fp t17876;
+fp t18085;
+fp t18084;
+fp t18083;
+fp t18082;
+fp t18081;
+fp t18080;
+fp t18079;
+fp t18078;
+fp t18077;
+fp t18076;
+fp t17953;
+fp t18075;
+fp t18074;
+fp t18073;
+fp t18072;
+fp t18071;
+fp t17951;
+fp t18070;
+fp t18069;
+fp t17465;
+fp t18068;
+fp t17952;
+fp t18067;
+fp t17407;
+fp t17948;
+fp t18066;
+fp t17462;
+fp t18065;
+fp t18064;
+fp t17410;
+fp t18063;
+fp t17950;
+fp t18062;
+fp t17592;
+fp t18061;
+fp t17753;
+fp t17556;
+fp t17692;
+fp t17743;
+fp t17747;
+fp t18060;
+fp t17532;
+fp t17949;
+fp t18059;
+fp t17554;
+fp t18058;
+fp t17534;
+fp t18057;
+fp t18056;
+fp t18055;
+fp t17947;
+fp t18054;
+fp t18053;
+fp t18052;
+fp t18051;
+fp t18050;
+fp t17727;
+fp t17758;
+fp t18049;
+fp t18048;
+fp t17946;
+fp t18047;
+fp t18046;
+fp t17404;
+fp t17903;
+fp t17857;
+fp t18045;
+fp t17406;
+fp t17858;
+fp t18044;
+fp t18043;
+fp t18042;
+fp t18041;
+fp t18040;
+fp t18039;
+fp t18038;
+fp t18037;
+fp t18036;
+fp t18035;
+fp t18034;
+fp t18033;
+fp t18032;
+fp t18031;
+fp t18030;
+fp t18029;
+fp t18028;
+fp t18027;
+fp t18026;
+fp t18025;
+fp t18024;
+fp t18023;
+fp t18022;
+fp t18021;
+fp t18020;
+fp t18019;
+fp t18018;
+fp t18017;
+fp t18016;
+fp t18015;
+fp t18014;
+fp t18013;
+fp t18012;
+fp t18011;
+fp t18010;
+fp t18009;
+fp t18008;
+fp t18007;
+fp t18006;
+fp t18005;
+fp t18004;
+fp t18003;
+fp t18002;
+fp t18001;
+fp t18000;
+fp t17999;
+fp t17998;
+fp t17997;
+fp t17996;
+fp t17995;
+fp t17994;
+fp t17993;
+fp t17992;
+fp t17991;
+fp t17990;
+fp t17659;
+fp t17679;
+fp t17989;
+fp t17988;
+fp t17987;
+fp t17986;
+fp t17985;
+fp t17984;
+fp t17983;
+fp t17982;
+fp t17981;
+fp t17980;
+fp t17576;
+fp t17979;
+fp t17574;
+fp t17978;
+fp t17977;
+fp t17976;
+fp t17847;
+fp t17975;
+fp t17974;
+fp t17633;
+fp t17973;
+fp t17631;
+fp t17972;
+fp t17971;
+fp t17970;
+fp t17969;
+fp t17968;
+fp t17967;
+fp t17966;
+fp t17965;
+fp t17964;
+fp t17963;
+fp t17962;
+fp t17961;
+fp t17960;
+fp t17959;
+fp t17958;
+fp t17594;
+fp t17595;
+fp t17926;
+fp t17925;
+fp t17612;
+fp t17613;
+fp t17923;
+fp t17922;
+fp t17921;
+fp t17920;
+fp t17529;
+fp t17551;
+fp t17388;
+fp t17390;
+fp t17443;
+fp t17445;
+fp t17528;
+fp t17530;
+fp t17541;
+fp t17550;
+fp t17552;
+fp t17560;
+fp t17864;
+fp t17707;
+fp t17729;
+fp t17748;
+fp t17863;
+fp t17653;
+fp t17762;
+fp t17862;
+fp t17694;
+fp t17718;
+fp t17754;
+fp t17861;
+fp t17860;
+fp t17750;
+fp t17859;
+fp t17856;
+fp t17855;
+fp t17850;
+fp t17849;
+fp t17846;
+fp t17845;
+fp t17640;
+fp t17714;
+fp t17844;
+fp t17843;
+fp t17683;
+fp t17744;
+fp t17842;
+fp t17841;
+fp t17651;
+fp t17840;
+fp t17682;
+fp t17839;
+fp t17838;
+fp t17837;
+fp t17836;
+fp t17835;
+fp t17834;
+fp t17833;
+fp t17832;
+fp t17831;
+fp t17830;
+fp t17829;
+fp t17828;
+fp t17738;
+fp t17759;
+fp t17827;
+fp t17826;
+fp t17825;
+fp t17824;
+fp t17823;
+fp t17822;
+fp t17821;
+fp t17820;
+fp t17819;
+fp t17818;
+fp t17817;
+fp t17816;
+fp t17815;
+fp t17814;
+fp t17813;
+fp t17812;
+fp t17811;
+fp t17810;
+fp t17809;
+fp t17808;
+fp t17807;
+fp t17806;
+fp t17805;
+fp t17804;
+fp t17803;
+fp t17802;
+fp t17801;
+fp t17800;
+fp t17799;
+fp t17798;
+fp t17797;
+fp t17796;
+fp t17795;
+fp t17794;
+fp t17793;
+fp t17792;
+fp t17791;
+fp t17790;
+fp t17789;
+fp t17788;
+fp t17787;
+fp t17786;
+fp t17785;
+fp t17784;
+fp t17783;
+fp t17782;
+fp t17781;
+fp t17780;
+fp t17779;
+fp t17764;
+fp t17741;
+fp t17736;
+fp t17732;
+fp t17685;
+fp t17684;
+fp t17680;
+fp t17652;
+ t17661 = RATIONAL(1.0,576.0);
+ t17669 = RATIONAL(-1.0,576.0);
+ t17770 = z*z;
+ t17769 = z*t17770;
+ t17773 = y*y;
+ t17771 = t17773*t17773;
+ t17916 = t17769*t17771;
+ t17941 = t17771*z;
+ t18327 = t17661*t17916+t17669*t17941;
+ t18326 = t17661*t17941+t17669*t17916;
+ t17768 = t17770*t17770;
+ t17772 = y*t17773;
+ t17917 = t17768*t17772;
+ t17945 = t17768*y;
+ t18325 = t17661*t17917+t17669*t17945;
+ t18324 = t17661*t17945+t17669*t17917;
+ t17663 = RATIONAL(1.0,288.0);
+ t17671 = RATIONAL(-1.0,288.0);
+ t18323 = t17663*t17770+t17671*t17768;
+ t18322 = t17663*t17773+t17671*t17771;
+ t17774 = x*x;
+ t17904 = t17774*t17773;
+ t17879 = t17768*t17904;
+ t17905 = t17774*t17771;
+ t17880 = t17770*t17905;
+ t18321 = t17880+t17879;
+ t17906 = t17774*t17770;
+ t17882 = t17772*t17906;
+ t17907 = t17774*t17768;
+ t17900 = y*t17907;
+ t18320 = t17882+t17900;
+ t17885 = t17769*t17905;
+ t17890 = z*t17904;
+ t18319 = t17885+t17890;
+ t17886 = t17772*t17907;
+ t17893 = y*t17906;
+ t18318 = t17886+t17893;
+ t17908 = t17773*t17768;
+ t17888 = x*t17908;
+ t17910 = t17771*t17770;
+ t17889 = x*t17910;
+ t18317 = t17889+t17888;
+ t17909 = t17772*t17774;
+ t17891 = z*t17909;
+ t17913 = t17769*t17774;
+ t17896 = y*t17913;
+ t18265 = t17891+t17896;
+ t17883 = t17769*t17904;
+ t17892 = z*t17905;
+ t18316 = t17892+t17883;
+ t17912 = t17770*t17772;
+ t17895 = x*t17912;
+ t17937 = x*t17768;
+ t17933 = y*t17937;
+ t18315 = t17895+t17933;
+ t17915 = t17769*t17772;
+ t17898 = x*t17915;
+ t17955 = y*z;
+ t17954 = x*t17955;
+ t18314 = t17898+t17954;
+ t17911 = t17770*t17773;
+ t17894 = x*t17911;
+ t17918 = t17768*t17771;
+ t17902 = x*t17918;
+ t18313 = t17902+t17894;
+ t18312 = t17910+t17908;
+ t18311 = t17912+t17945;
+ t18263 = t17915+t17955;
+ t17938 = t17773*z;
+ t18310 = t17916+t17938;
+ t17942 = t17770*y;
+ t18309 = t17917+t17942;
+ t17939 = t17772*z;
+ t17929 = x*t17939;
+ t17943 = t17769*y;
+ t17932 = x*t17943;
+ t18308 = t17929+t17932;
+ t17914 = t17769*t17773;
+ t17897 = x*t17914;
+ t17935 = x*t17771;
+ t17930 = z*t17935;
+ t18307 = t17930+t17897;
+ t18306 = t17941+t17914;
+ t17884 = t17769*t17909;
+ t17927 = t17774*t17955;
+ t18262 = t17927+t17884;
+ t18261 = t17939+t17943;
+ t17699 = RATIONAL(1.0,72.0);
+ t18305 = t17663*t17889+t17699*t17888;
+ t18304 = t17663*t17888+t17699*t17889;
+ t17666 = RATIONAL(1.0,144.0);
+ t17702 = RATIONAL(1.0,36.0);
+ t18303 = t17666*t17889+t17702*t17888;
+ t18302 = t17666*t17930+t17702*t17897;
+ t17376 = t17702*t17945;
+ t18301 = t17666*t17895+x*t17376;
+ t17584 = t17666*t17772;
+ t17956 = x*z;
+ t16549 = t17584*t17956;
+ t18300 = t16549+t17702*t17932;
+ t18299 = t17666*t17888+t17702*t17889;
+ t17374 = t17702*t17941;
+ t18298 = t17666*t17897+x*t17374;
+ t18297 = t17666*t17933+t17702*t17895;
+ t17582 = t17666*t17769;
+ t17957 = x*y;
+ t16553 = t17582*t17957;
+ t18296 = t16553+t17702*t17929;
+ t17662 = RATIONAL(1.0,432.0);
+ t17881 = t17770*t17904;
+ t18295 = t17671*t17881+t17662*t17918;
+ t17710 = RATIONAL(-1.0,72.0);
+ t17415 = t17710*t17908;
+ t18294 = t17671*t17889+x*t17415;
+ t17413 = t17710*t17910;
+ t18293 = t17671*t17888+x*t17413;
+ t17674 = RATIONAL(-1.0,144.0);
+ t17713 = RATIONAL(-1.0,36.0);
+ t18292 = t17674*t17889+t17713*t17888;
+ t18291 = t17674*t17930+t17713*t17897;
+ t17433 = t17713*t17945;
+ t18290 = t17674*t17895+x*t17433;
+ t17590 = t17674*t17772;
+ t16623 = t17590*t17956;
+ t18289 = t16623+t17713*t17932;
+ t18288 = t17674*t17888+t17713*t17889;
+ t17431 = t17713*t17941;
+ t18287 = t17674*t17897+x*t17431;
+ t18286 = t17674*t17933+t17713*t17895;
+ t17588 = t17674*t17769;
+ t16627 = t17588*t17957;
+ t18285 = t16627+t17713*t17929;
+ t17648 = RATIONAL(-1.0,1728.0);
+ t18284 = t17699*t17880+t17648*t17908;
+ t18283 = t17699*t17879+t17648*t17910;
+ t17706 = RATIONAL(1.0,18.0);
+ t16788 = t17706*t17932;
+ t17599 = t17699*t17772;
+ t18282 = t17599*t17956+t16788;
+ t17934 = x*t17773;
+ t17928 = z*t17934;
+ t17215 = t17663*t17916;
+ t18185 = x*t17215+t17671*t17897;
+ t18281 = t17699*t17928+t18185;
+ t16783 = t17706*t17929;
+ t17597 = t17699*t17769;
+ t18280 = t17597*t17957+t16783;
+ t17936 = x*t17770;
+ t17931 = y*t17936;
+ t17216 = t17663*t17917;
+ t18184 = x*t17216+t17671*t17895;
+ t18279 = t17699*t17931+t18184;
+ t17717 = RATIONAL(-1.0,18.0);
+ t17899 = x*t17916;
+ t18162 = t17699*t17899+t17717*t17897;
+ t18278 = t17706*t17928+t18162;
+ t17901 = x*t17917;
+ t18161 = t17699*t17901+t17717*t17895;
+ t18277 = t17706*t17931+t18161;
+ t17704 = RATIONAL(1.0,27.0);
+ t18276 = t17710*t17880+t17704*t17908;
+ t18275 = t17710*t17879+t17704*t17910;
+ t16924 = t17717*t17932;
+ t17605 = t17710*t17772;
+ t18274 = t17605*t17956+t16924;
+ t17261 = t17671*t17916;
+ t18182 = t17663*t17897+x*t17261;
+ t18273 = t17710*t17928+t18182;
+ t16919 = t17717*t17929;
+ t17604 = t17710*t17769;
+ t18272 = t17604*t17957+t16919;
+ t17262 = t17671*t17917;
+ t18183 = t17663*t17895+x*t17262;
+ t18271 = t17710*t17931+t18183;
+ t17610 = t17717*t17773;
+ t18152 = t17706*t17897+t17710*t17899;
+ t18270 = t17610*t17956+t18152;
+ t17608 = t17717*t17770;
+ t18153 = t17706*t17895+t17710*t17901;
+ t18269 = t17608*t17957+t18153;
+ t17670 = RATIONAL(-1.0,432.0);
+ t17742 = RATIONAL(2.0,9.0);
+ t18268 = t17742*t17881+t17670*t17918;
+ t17755 = RATIONAL(-1.0,3.0);
+ t17740 = RATIONAL(4.0,3.0);
+ t17924 = t17740*t17774;
+ t18267 = z*t17924+t17755*t17913;
+ t17749 = RATIONAL(1.0,3.0);
+ t17761 = RATIONAL(-4.0,3.0);
+ t17919 = t17761*t17774;
+ t18266 = t17749*t17913+z*t17919;
+ t18264 = t17906+t17904;
+ t18260 = t17663*t17930+t17671*t17928+t18182;
+ t18259 = t18185+t18322*t17956;
+ t18258 = t17663*t17933+t17671*t17931+t18183;
+ t18257 = t18184+t18323*t17957;
+ t16621 = t17674*t17898;
+ t17589 = t17674*z;
+ t18256 = t16549+t17589*t17957+t16553+t16621;
+ t16547 = t17666*t17898;
+ t17583 = t17666*z;
+ t18255 = t17583*t17957+t16623+t16547+t16627;
+ t17602 = t17706*t17771;
+ t17757 = RATIONAL(-2.0,9.0);
+ t18254 = t17602*t17956+t17757*t17928+t18152;
+ t16840 = t17710*t17898;
+ t18253 = t16783+t17757*t17954+t16788+t16840;
+ t17600 = t17706*t17768;
+ t18252 = t17600*t17957+t17757*t17931+t18153;
+ t18251 = t17717*t17930+t17742*t17928+t18162;
+ t16706 = t17699*t17898;
+ t18250 = t16919+t17742*t17954+t16706+t16924;
+ t18249 = t17717*t17933+t17742*t17931+t18161;
+ t17645 = RATIONAL(1.0,1152.0);
+ t17649 = RATIONAL(-1.0,1152.0);
+ t18248 = t18317*t17649+t18313*t17645;
+ t17137 = t17645*t17910;
+ t17138 = t17645*t17908;
+ t17159 = t17649*t17918;
+ t18247 = t17649*t17894+(t17137+t17138+t17159)*x;
+ t18246 = t18317*t17669+t18313*t17661;
+ t18245 = t17661*t17928+t17669*t17897+t18327*x;
+ t18244 = t18313*t17669+t18317*t17661;
+ t18243 = t17661*t17897+t17669*t17928+t18326*x;
+ t18242 = t17661*t17931+t17669*t17895+t18325*x;
+ t18241 = t17661*t17895+t17669*t17931+t18324*x;
+ t18240 = t18308*t17671+t18314*t17663;
+ t18239 = t18314*t17671+t18308*t17663;
+ t17667 = RATIONAL(1.0,108.0);
+ t17715 = RATIONAL(-1.0,27.0);
+ t18238 = t17699*t17885+t17717*t17892+t17667*t17914+t17715*t17938;
+ t18237 = t17699*t17883+t17717*t17890+t17667*t17916+t17715*t17941;
+ t17357 = t17699*t17918;
+ t18236 = x*t17357+t17742*t17894+t18317*t17717;
+ t17711 = RATIONAL(-1.0,54.0);
+ t17720 = RATIONAL(-2.0,27.0);
+ t17745 = RATIONAL(1.0,9.0);
+ t18235 = t17702*t17884+t17745*t17927+t17711*t17915+t17720*t17955;
+ t16734 = t17702*t17891;
+ t18234 = t16734+t17745*t17896+t17711*t17939+t17720*t17943;
+ t17739 = RATIONAL(4.0,9.0);
+ t17751 = RATIONAL(-1.0,9.0);
+ t18233 = t17702*t17902+t17739*t17894+t18317*t17751;
+ t17373 = t17702*t17916;
+ t18232 = x*t17373+t17739*t17928+t18307*t17751;
+ t17375 = t17702*t17917;
+ t18231 = x*t17375+t17739*t17931+t18315*t17751;
+ t17627 = t17751*t17769;
+ t17629 = t17751*t17772;
+ t18230 = t17702*t17898+t17739*t17954+t17629*t17956+t17627*t17957;
+ t17675 = RATIONAL(-1.0,108.0);
+ t18229 = t17706*t17892+t17710*t17885+t17675*t17914+t17704*t17938;
+ t18228 = t17706*t17883+t17757*t17890+t17662*t17916+t17675*t17941;
+ t18227 = t17706*t17890+t17710*t17883+t17675*t17916+t17704*t17941;
+ t18226 = t17710*t17902+t17757*t17894+t18317*t17706;
+ t17697 = RATIONAL(2.0,27.0);
+ t17700 = RATIONAL(1.0,54.0);
+ t18225 = t17713*t17884+t17751*t17927+t17697*t17955+t17700*t17915;
+ t16867 = t17713*t17891;
+ t18224 = t16867+t17751*t17896+t17697*t17943+t17700*t17939;
+ t16871 = t17713*t17896;
+ t18223 = t16871+t17751*t17891+t17697*t17939+t17700*t17943;
+ t17760 = RATIONAL(-4.0,9.0);
+ t18222 = t17713*t17902+t17760*t17894+t18317*t17745;
+ t17430 = t17713*t17916;
+ t18221 = x*t17430+t17760*t17928+t18307*t17745;
+ t17432 = t17713*t17917;
+ t18220 = x*t17432+t17760*t17931+t18315*t17745;
+ t17620 = t17745*t17769;
+ t17622 = t17745*t17772;
+ t18219 = t17713*t17898+t17622*t17956+t17620*t17957+t17760*t17954;
+ t18218 = t17717*t17883+t17742*t17890+t17667*t17941+t17670*t17916;
+ t17664 = RATIONAL(1.0,216.0);
+ t17672 = RATIONAL(-1.0,216.0);
+ t18187 = t17663*t17879+t17670*t17910;
+ t18093 = t17666*t17900+t17674*t17886+t17664*t17942+t17672*t17912+t18187;
+ t17887 = t17768*t17905;
+ t18174 = t17671*t17887+t17662*t17911;
+ t18217 = t17666*t17882+t17674*t17893+t17664*t17917+t17672*t17945+t18093+
+t18174;
+ t16738 = t17702*t17896;
+ t17668 = RATIONAL(-1.0,864.0);
+ t17660 = RATIONAL(1.0,864.0);
+ t17644 = RATIONAL(1.0,1728.0);
+ t18126 = t17710*t17881+t17644*t17918+t18174;
+ t17851 = t17674*t17884+t17713*t17927+t17660*t17915+t17664*t17955+t18126;
+ t18216 = t17666*t17891+t16738+t17668*t17939+t17672*t17943+t17851;
+ t18215 = t17666*t17896+t16734+t17668*t17943+t17672*t17939+t17851;
+ t18094 = t17666*t17886+t17674*t17900+t17664*t17912+t17672*t17942+t18187;
+ t18214 = t17666*t17893+t17674*t17882+t17664*t17945+t17672*t17917+t18094+
+t18174;
+ t17852 = t17666*t17884+t17702*t17927+t17668*t17915+t17672*t17955+t18126;
+ t18213 = t17674*t17891+t16871+t17660*t17939+t17664*t17943+t17852;
+ t18212 = t17674*t17896+t16867+t17660*t17943+t17664*t17939+t17852;
+ t18154 = t17706*t17881+t17675*t17918;
+ t18163 = t17699*t17887+t17715*t17911;
+ t17848 = t18154+t18163+t18225;
+ t18211 = t16738+t17745*t17891+t17711*t17943+t17720*t17939+t17848;
+ t17869 = t17710*t17884+t18261*t17675;
+ t18210 = t17710*t17927+t17869+t18265*t17699+t18263*t17667;
+ t17870 = t17699*t17884+t18261*t17667;
+ t18209 = t17699*t17927+t17870+t18265*t17710+t18263*t17675;
+ t18208 = t17704*t17955+t17869+t17757*t17927+t17662*t17915+t18265*t17706;
+ t18207 = t17715*t17955+t17870+t17742*t17927+t17670*t17915+t18265*t17717;
+ t18206 = t18321*t17649+(t17918+t17911)*RATIONAL(-1.0,6912.0)+(t17887+
+t17881)*t17645+t18312*RATIONAL(1.0,6912.0);
+ t17643 = RATIONAL(1.0,3456.0);
+ t17647 = RATIONAL(-1.0,3456.0);
+ t18205 = t18316*t17669+t18319*t17661+t18310*t17647+t18306*t17643;
+ t18204 = t18319*t17669+t18316*t17661+t18306*t17647+t18310*t17643;
+ t18203 = t18320*t17669+t18318*t17661+t18309*t17647+t18311*t17643;
+ t18202 = t18318*t17669+t18320*t17661+t18311*t17647+t18309*t17643;
+ t18201 = t17663*t17885+t17671*t17883+t17699*t17890+t17710*t17892+t17644*
+t17914+t17648*t17916+t17662*t17941+t17670*t17938;
+ t18200 = t17663*t17886+t17671*t17882+t17699*t17893+t17710*t17900+t17644*
+t17912+t17648*t17917+t17662*t17945+t17670*t17942;
+ t18199 = t17663*t17882+t17671*t17886+t17699*t17900+t17710*t17893+t17644*
+t17917+t17648*t17912+t17662*t17942+t17670*t17945;
+ t18198 = t17663*t17883+t17671*t17885+t17699*t17892+t17710*t17890+t17644*
+t17916+t17648*t17914+t17662*t17938+t17670*t17941;
+ t18197 = t17702*t17885+t17713*t17892+t17745*t17890+t17751*t17883+t17697*
+t17914+t17700*t17941+t17711*t17916+t17720*t17938;
+ t18196 = t17702*t17892+t17713*t17885+t17745*t17883+t17751*t17890+t17697*
+t17938+t17700*t17916+t17711*t17941+t17720*t17914;
+ t17681 = RATIONAL(-16.0,27.0);
+ t17696 = RATIONAL(4.0,27.0);
+ t17733 = RATIONAL(8.0,9.0);
+ t18195 = t17706*t17885+t17733*t17890+t17681*t17938+t17715*t17916+t18316*
+t17757+t18306*t17696;
+ t18194 = t17706*t17886+t17733*t17893+t17681*t17942+t17715*t17917+t18320*
+t17757+t18311*t17696;
+ t17655 = RATIONAL(16.0,27.0);
+ t17721 = RATIONAL(-4.0,27.0);
+ t17767 = RATIONAL(-8.0,9.0);
+ t18193 = t17717*t17887+t17704*t17918+t17767*t17881+t17655*t17911+t18321*
+t17742+t18312*t17721;
+ t18192 = t17717*t17885+t17704*t17916+t17767*t17890+t17655*t17938+t18316*
+t17742+t18306*t17721;
+ t18191 = t17717*t17886+t17704*t17917+t17767*t17893+t17655*t17942+t18320*
+t17742+t18311*t17721;
+ t17658 = RATIONAL(5.0,192.0);
+ t18190 = t17658*t17881+t17159;
+ t17665 = RATIONAL(1.0,192.0);
+ t18189 = t17658*t17894+t17665*t17902;
+ t18188 = t17663*t17880+t17670*t17908;
+ t17214 = t17663*t17918;
+ t18186 = x*t17214+t17699*t17894;
+ t17650 = RATIONAL(-5.0,1152.0);
+ t18181 = t17665*t17887+t17650*t17911;
+ t18180 = t17666*t17902+t17702*t17894;
+ t18179 = t17666*t17899+t17702*t17928;
+ t18178 = t17666*t17901+t17702*t17931;
+ t18176 = t16547+t17702*t17954;
+ t18173 = t17671*t17902+t17710*t17894;
+ t17641 = RATIONAL(5.0,1152.0);
+ t17673 = RATIONAL(-1.0,192.0);
+ t18172 = t17673*t17880+t17641*t17908;
+ t17274 = t17673*t17918;
+ t17678 = RATIONAL(-5.0,192.0);
+ t18171 = x*t17274+t17678*t17894;
+ t18170 = t17674*t17902+t17713*t17894;
+ t18169 = t17674*t17899+t17713*t17928;
+ t18168 = t17674*t17901+t17713*t17931;
+ t18167 = t16621+t17713*t17954;
+ t17687 = RATIONAL(5.0,96.0);
+ t17698 = RATIONAL(1.0,96.0);
+ t18166 = t17687*t17894+t17698*t17902;
+ t17691 = RATIONAL(5.0,32.0);
+ t18165 = t17691*t17881+t17678*t17918;
+ t17695 = RATIONAL(5.0,12.0);
+ t17701 = RATIONAL(1.0,48.0);
+ t18164 = t17695*t17894+t17701*t17902;
+ t17601 = t17706*z;
+ t18160 = t16706+t17601*t17957;
+ t17723 = RATIONAL(-5.0,72.0);
+ t18158 = t17701*t17880+t17723*t17908;
+ t18157 = t17701*t17879+t17723*t17910;
+ t17703 = RATIONAL(1.0,32.0);
+ t18156 = t17703*t17887+RATIONAL(-25.0,192.0)*t17911;
+ t17705 = RATIONAL(1.0,24.0);
+ t17735 = RATIONAL(5.0,6.0);
+ t18155 = t17705*t17902+t17735*t17894;
+ t17708 = RATIONAL(1.0,12.0);
+ t17731 = RATIONAL(-10.0,9.0);
+ t18150 = t17708*t17887+t17731*t17911;
+ t17677 = RATIONAL(-5.0,288.0);
+ t18149 = t17708*t17880+t17677*t17908;
+ t18148 = t17708*t17879+t17677*t17910;
+ t17709 = RATIONAL(-1.0,96.0);
+ t17722 = RATIONAL(-5.0,96.0);
+ t18147 = t17709*t17902+t17722*t17894;
+ t17609 = t17717*z;
+ t18146 = t16840+t17609*t17957;
+ t17712 = RATIONAL(-1.0,48.0);
+ t17730 = RATIONAL(-5.0,12.0);
+ t18145 = t17712*t17902+t17730*t17894;
+ t17716 = RATIONAL(-1.0,24.0);
+ t17763 = RATIONAL(-5.0,6.0);
+ t18144 = t17716*t17902+t17763*t17894;
+ t18143 = t17717*t17880+t17667*t17908;
+ t18142 = t17717*t17879+t17667*t17910;
+ t17724 = RATIONAL(-5.0,48.0);
+ t18141 = t17724*t17881+t17357;
+ t18140 = t17730*t17881+t17214;
+ t17737 = RATIONAL(5.0,3.0);
+ t18139 = t17737*t17881+t17717*t17918;
+ t17654 = RATIONAL(25.0,12.0);
+ t17752 = RATIONAL(-1.0,8.0);
+ t18138 = t17752*t17887+t17654*t17911;
+ t17693 = RATIONAL(5.0,18.0);
+ t18137 = t17755*t17880+t17693*t17908;
+ t17689 = RATIONAL(5.0,48.0);
+ t17766 = RATIONAL(-5.0,2.0);
+ t18136 = t17766*t17881+t17689*t17918;
+ t17719 = RATIONAL(-1.0,12.0);
+ t17940 = t17772*x;
+ t18135 = t17689*t17895+t17712*t17901+t17719*t17940;
+ t17944 = t17769*x;
+ t18134 = t17689*t17897+t17712*t17899+t17719*t17944;
+ t18133 = t17701*t17899+t17724*t17897+t17708*t17944;
+ t18132 = t17701*t17901+t17724*t17895+t17708*t17940;
+ t18131 = t18176+t18186;
+ t18130 = t18167+t18186;
+ t18129 = t18160+t18180;
+ t18128 = t18146+t18180;
+ t18127 = t18173+t18176;
+ t18125 = t18167+t18173;
+ t18124 = t18160+t18170;
+ t18123 = t18146+t18170;
+ t17656 = RATIONAL(5.0,576.0);
+ t17676 = RATIONAL(-5.0,576.0);
+ t18122 = t17698*t17885+t17709*t17892+t17656*t17914+t17676*t17938;
+ t18121 = t17698*t17892+t17709*t17885+t17656*t17938+t17676*t17914;
+ t18120 = t17698*t17886+t17709*t17900+t17656*t17912+t17676*t17942;
+ t18119 = t17698*t17900+t17709*t17886+t17656*t17942+t17676*t17912;
+ t17460 = t17719*t17905;
+ t17657 = RATIONAL(5.0,288.0);
+ t18118 = t17701*t17885+z*t17460+t17657*t17914+t17723*t17938;
+ t18117 = t18148+t18158;
+ t17458 = t17719*t17907;
+ t18116 = t17701*t17886+y*t17458+t17657*t17912+t17723*t17942;
+ t18115 = t18149+t18157;
+ t17690 = RATIONAL(5.0,36.0);
+ t17725 = RATIONAL(-5.0,36.0);
+ t18114 = t17705*t17885+t17716*t17892+t17690*t17914+t17725*t17938;
+ t18113 = t17705*t17892+t17716*t17885+t17690*t17938+t17725*t17914;
+ t18112 = t17705*t17886+t17716*t17900+t17690*t17912+t17725*t17942;
+ t18111 = t17705*t17900+t17716*t17886+t17690*t17942+t17725*t17912;
+ t18110 = t17708*t17885+t17755*t17892+t17693*t17914+t17731*t17938;
+ t17688 = RATIONAL(5.0,72.0);
+ t18109 = t17708*t17892+t17712*t17885+t17677*t17914+t17688*t17938;
+ t18108 = t17708*t17886+t17755*t17900+t17693*t17912+t17731*t17942;
+ t18107 = t17708*t17900+t17712*t17886+t17677*t17912+t17688*t17942;
+ t17540 = t17749*t17905;
+ t17686 = RATIONAL(10.0,9.0);
+ t17728 = RATIONAL(-5.0,18.0);
+ t18106 = t17719*t17885+z*t17540+t17686*t17938+t17728*t17914;
+ t17536 = t17749*t17907;
+ t18105 = t17719*t17886+y*t17536+t17686*t17942+t17728*t17912;
+ t17186 = t17658*t17908;
+ t17593 = t17689*t17773;
+ t17726 = RATIONAL(-5.0,32.0);
+ t17746 = RATIONAL(1.0,8.0);
+ t18104 = t17726*t17880+t17186+t17746*t17905+t17593;
+ t17734 = RATIONAL(5.0,8.0);
+ t17756 = RATIONAL(-1.0,2.0);
+ t17765 = RATIONAL(-5.0,3.0);
+ t18103 = t17734*t17880+t17730*t17908+t17756*t17905+t17765*t17773;
+ t17867 = t17673*t17879+t17641*t17910+t18181;
+ t18102 = t17665*t17881+t17650*t17918+t17867+t18172;
+ t17865 = t17755*t17879+t17693*t17910+t18150;
+ t18101 = t17740*t17881+t17723*t17918+t17865+t18137;
+ t17185 = t17658*t17910;
+ t17607 = t17712*t17771;
+ t17428 = x*t17607;
+ t18100 = x*t17185+t17665*t17888+t17701*t17934+t17428+t18171;
+ t17606 = t17712*t17768;
+ t17426 = x*t17606;
+ t18099 = x*t17186+t17665*t17889+t17701*t17936+t17426+t18171;
+ t17369 = t17701*t17937;
+ t18098 = t17673*t17889+t17678*t17888+t17369+t17712*t17936+t18189;
+ t17371 = t17701*t17935;
+ t18097 = t17673*t17888+t17678*t17889+t17371+t17712*t17934+t18189;
+ t18096 = t17666*t17885+t17674*t17892+t17664*t17914+t17672*t17938+t18188;
+ t18095 = t17666*t17892+t17674*t17885+t17664*t17938+t17672*t17914+t18188;
+ t17414 = t17710*t17941;
+ t16838 = x*t17414;
+ t17871 = t16838+t18168;
+ t18092 = t17871+t18281+t18297;
+ t17875 = t16838+t18178;
+ t18091 = t17875+t18281+t18286;
+ t17416 = t17710*t17945;
+ t16845 = x*t17416;
+ t17873 = t16845+t18169;
+ t18090 = t17873+t18279+t18302;
+ t17877 = t16845+t18179;
+ t18089 = t17877+t18279+t18291;
+ t17596 = t17699*t17768;
+ t17359 = y*t17596;
+ t16711 = x*t17359;
+ t17874 = t16711+t18169;
+ t18088 = t17874+t18271+t18302;
+ t17878 = t16711+t18179;
+ t18087 = t17878+t18271+t18291;
+ t17598 = t17699*t17771;
+ t17358 = z*t17598;
+ t16704 = x*t17358;
+ t17872 = t16704+t18168;
+ t18086 = t17872+t18273+t18297;
+ t17876 = t16704+t18178;
+ t18085 = t17876+t18273+t18286;
+ t18084 = t17871+t18278+t18301;
+ t18083 = t17872+t18270+t18301;
+ t18082 = t17873+t18277+t18298;
+ t18081 = t17874+t18269+t18298;
+ t18080 = t17875+t18278+t18290;
+ t18079 = t17876+t18270+t18290;
+ t18078 = t17877+t18277+t18287;
+ t18077 = t17878+t18269+t18287;
+ t18076 = t17687*t17889+t17698*t17888+t17705*t17934+t17716*t17935+t18147;
+ t17953 = t17705*x;
+ t18075 = t17687*t17895+t17698*t17933+t17709*t17901+t17722*t17931+y*t17953
++t17716*t17940;
+ t18074 = t17687*t17888+t17698*t17889+t17705*t17936+t17716*t17937+t18147;
+ t18073 = t17687*t17897+t17698*t17930+t17709*t17899+t17722*t17928+z*t17953
++t17716*t17944;
+ t18072 = t17709*t17889+t17722*t17888+t17705*t17937+t17716*t17936+t18166;
+ t18071 = t17709*t17888+t17722*t17889+t17705*t17935+t17716*t17934+t18166;
+ t17951 = t17716*x;
+ t18070 = t17687*t17928+t17698*t17899+t17709*t17930+t17722*t17897+t17705*
+t17944+z*t17951;
+ t18069 = t17687*t17931+t17698*t17901+t17709*t17933+t17722*t17895+t17705*
+t17940+y*t17951;
+ t17465 = t17719*t17935;
+ t18068 = t17689*t17889+t17708*t17888+t17465+t17749*t17934+t18145;
+ t17952 = t17708*x;
+ t18067 = t17724*t17931+t18135+(t17369+t17952)*y;
+ t17407 = t17708*t17937;
+ t17948 = t17749*x;
+ t18066 = t17730*t17931+t18135+(t17407+t17948)*y;
+ t17462 = t17719*t17937;
+ t18065 = t17689*t17888+t17708*t17889+t17462+t17749*t17936+t18145;
+ t18064 = t17724*t17928+t18134+(t17371+t17952)*z;
+ t17410 = t17708*t17935;
+ t18063 = t17730*t17928+t18134+(t17410+t17948)*z;
+ t17950 = t17719*x;
+ t18062 = t17593*t17956+t18133+(t17428+t17950)*z;
+ t17592 = t17689*t17770;
+ t18061 = t17592*t17957+t18132+(t17426+t17950)*y;
+ t17753 = RATIONAL(-1.0,6.0);
+ t17556 = t17753*t17935;
+ t17692 = RATIONAL(5.0,24.0);
+ t17743 = RATIONAL(2.0,3.0);
+ t17747 = RATIONAL(1.0,6.0);
+ t18060 = t17692*t17889+t17747*t17888+t17743*t17934+t17556+t18144;
+ t17532 = t17747*t17937;
+ t17949 = t17743*x;
+ t18059 = t17692*t17895+t17716*t17901+t17763*t17931+t17753*t17940+(t17532+
+t17949)*y;
+ t17554 = t17753*t17937;
+ t18058 = t17692*t17888+t17747*t17889+t17743*t17936+t17554+t18144;
+ t17534 = t17747*t17935;
+ t18057 = t17692*t17897+t17716*t17899+t17763*t17928+t17753*t17944+(t17534+
+t17949)*z;
+ t18056 = t17719*t17889+t17724*t17888+t17407+t17755*t17936+t18164;
+ t18055 = t17719*t17888+t17724*t17889+t17410+t17755*t17934+t18164;
+ t17947 = t17755*x;
+ t18054 = t17695*t17928+t18133+(t17465+t17947)*z;
+ t18053 = t17695*t17931+t18132+(t17462+t17947)*y;
+ t18052 = t18143+t18238;
+ t18051 = t17699*t17886+t17717*t17900+t17667*t17912+t17715*t17942+t18142;
+ t18050 = t18154+t18235;
+ t17727 = RATIONAL(-5.0,24.0);
+ t17758 = RATIONAL(-2.0,3.0);
+ t18049 = t17727*t17889+t17753*t17888+t17534+t17758*t17934+t18155;
+ t18048 = t17727*t17888+t17753*t17889+t17532+t17758*t17936+t18155;
+ t17946 = t17758*x;
+ t18047 = t17705*t17899+t17727*t17897+t17735*t17928+t17747*t17944+(t17556+
+t17946)*z;
+ t18046 = t17705*t17901+t17727*t17895+t17735*t17931+t17747*t17940+(t17554+
+t17946)*y;
+ t17404 = t17708*t17906;
+ t17903 = t17712*t17887+t17688*t17911;
+ t17857 = t17689*t17879+t17413+t17458+t17608+t17903;
+ t18045 = t17404+t17600+t17857+t18141+t18158;
+ t17406 = t17708*t17904;
+ t17858 = t17689*t17880+t17415+t17460+t17610+t17903;
+ t18044 = t17406+t17602+t17858+t18141+t18157;
+ t18043 = t17749*t17906+t17596+t17857+t18140+t18149;
+ t18042 = t17749*t17904+t17598+t17858+t18140+t18148;
+ t18041 = t18245+t18248;
+ t18040 = t18243+t18248;
+ t18039 = t18245+t18247;
+ t18038 = t18243+t18247;
+ t18037 = t18246+t18259;
+ t18036 = t18246+t18260;
+ t18035 = t18244+t18259;
+ t18034 = t18244+t18260;
+ t18033 = t18240+t18242;
+ t18032 = t18239+t18242;
+ t18031 = t18240+t18241;
+ t18030 = t18239+t18241;
+ t18029 = t18131+t18289+t18294;
+ t18028 = t18131+t18285+t18293;
+ t18027 = t18130+t18294+t18300;
+ t18026 = t18130+t18293+t18296;
+ t18025 = t18127+t18289+t18305;
+ t18024 = t18125+t18300+t18305;
+ t18023 = t18255+t18257;
+ t18022 = t18256+t18257;
+ t18021 = t18255+t18258;
+ t18020 = t18256+t18258;
+ t18019 = t18127+t18285+t18304;
+ t18018 = t18125+t18296+t18304;
+ t18017 = t18129+t18274+t18292;
+ t18016 = t18128+t18282+t18292;
+ t18015 = t18129+t18272+t18288;
+ t18014 = t18128+t18280+t18288;
+ t18013 = t18124+t18274+t18303;
+ t18012 = t18123+t18282+t18303;
+ t18011 = t18124+t18272+t18299;
+ t18010 = t18123+t18280+t18299;
+ t18009 = t17698*t17890+t17709*t17883+t17656*t17941+t17676*t17916+t18122;
+ t18008 = t17698*t17883+t17709*t17890+t17656*t17916+t17676*t17941+t18121;
+ t18007 = t17698*t17893+t17709*t17882+t17656*t17945+t17676*t17917+t18120;
+ t18006 = t17698*t17882+t17709*t17893+t17656*t17917+t17676*t17945+t18119;
+ t18005 = t18236+t18251;
+ t18004 = t18236+t18254;
+ t18003 = t18226+t18251;
+ t18002 = t18249+t18250;
+ t18001 = t18249+t18253;
+ t18000 = t18250+t18252;
+ t17999 = z*t17406+t17712*t17883+t17677*t17916+t17688*t17941+t18118;
+ t17998 = y*t17404+t17712*t17882+t17677*t17917+t17688*t17945+t18116;
+ t17997 = t17701*t17882+t17719*t17893+t17657*t17917+t17723*t17945+t18107;
+ t17996 = t17701*t17883+t17719*t17890+t17657*t17916+t17723*t17941+t18109;
+ t17995 = t18232+t18233;
+ t17994 = t18221+t18233;
+ t17993 = t18222+t18232;
+ t17992 = t18230+t18231;
+ t17991 = t18219+t18231;
+ t17990 = t18220+t18230;
+ t17659 = RATIONAL(5.0,144.0);
+ t17679 = RATIONAL(-5.0,144.0);
+ t17989 = t17747*t17890+t17753*t17883+t17659*t17941+t17679*t17916+t18114;
+ t17988 = t17747*t17883+t17753*t17890+t17659*t17916+t17679*t17941+t18113;
+ t17987 = t17747*t17893+t17753*t17882+t17659*t17945+t17679*t17917+t18112;
+ t17986 = t17747*t17882+t17753*t17893+t17659*t17917+t17679*t17945+t18111;
+ t17985 = t18226+t18254;
+ t17984 = t18252+t18253;
+ t17983 = t17740*t17890+t17755*t17883+t17693*t17941+t17723*t17916+t18110;
+ t17982 = t17740*t17893+t17755*t17882+t17693*t17945+t17723*t17917+t18108;
+ t17981 = t18221+t18222;
+ t17980 = t18219+t18220;
+ t17576 = t17761*t17904;
+ t17979 = t17749*t17883+z*t17576+t17688*t17916+t17728*t17941+t18106;
+ t17574 = t17761*t17906;
+ t17978 = t17749*t17882+y*t17574+t17688*t17917+t17728*t17945+t18105;
+ t17977 = t17678*t17880+t17138+t17701*t17905+t17712*t17904+t17867+t18190+
+t18322;
+ t17976 = t17678*t17879+t17137+t17701*t17907+t17712*t17906+t18172+t18181+
+t18190+t18323;
+ t17847 = t17706*t17900+t17710*t17886+t17675*t17912+t17704*t17942+t18142+
+t18163;
+ t17975 = t17699*t17882+t17717*t17893+t17667*t17917+t17715*t17945+t17847+
+t18154+t18276;
+ t17974 = t17706*t17882+t17757*t17893+t17662*t17917+t17675*t17945+t17847+
+t18143+t18268;
+ t17633 = t17757*t17771;
+ t17973 = t17730*t17880+t17742*t17908+t17540+t17576+t17733*t17773+t17633+
+t17865+t18139;
+ t17631 = t17757*t17768;
+ t17972 = t17730*t17879+t17742*t17910+t17536+t17574+t17733*t17770+t17631+
+t18137+t18150+t18139;
+ t17971 = t17702*t17900+t17713*t17886+t17745*t17882+t17751*t17893+t17697*
+t17942+t17700*t17917+t17711*t17945+t17720*t17912+t18275;
+ t17970 = t17666*t17890+t17674*t17883+t17664*t17941+t17672*t17916+t18096+
+t18295;
+ t17969 = t17702*t17890+t17713*t17883+t17660*t17941+t17668*t17916+t18096+
+t18283;
+ t17968 = t17666*t17883+t17674*t17890+t17664*t17916+t17672*t17941+t18095+
+t18295;
+ t17967 = t17702*t17883+t17713*t17890+t17660*t17916+t17668*t17941+t18095+
+t18283;
+ t17966 = t17702*t17893+t17713*t17882+t17660*t17945+t17668*t17917+t18094+
+t18284;
+ t17965 = t17702*t17882+t17713*t17893+t17660*t17917+t17668*t17945+t18093+
+t18284;
+ t17964 = t17706*t17893+t17710*t17882+t17675*t17917+t17704*t17945+t18051+
+t18276;
+ t17963 = t17717*t17882+t17742*t17893+t17667*t17945+t17670*t17917+t18051+
+t18268;
+ t17962 = t17702*t17886+t17713*t17900+t17745*t17893+t17751*t17882+t17697*
+t17912+t17700*t17945+t17711*t17917+t17720*t17942+t18143+t18275;
+ t17961 = t18206+t18265*t17671+t18262*t17663+t18263*t17648+t18261*t17644;
+ t17960 = t18206+t18262*t17671+t18265*t17663+t18261*t17648+t18263*t17644;
+ t17959 = t17733*t17927+t17715*t17915+t17681*t17955+t18193+t17706*t17884+
+t18265*t17757+t18261*t17696;
+ t17958 = t17767*t17927+t17704*t17915+t17655*t17955+t17717*t17884+t18193+
+t18265*t17742+t18261*t17721;
+ t17594 = t17695*t17768;
+ t17595 = t17695*t17771;
+ t17926 = t17705*t17774;
+ t17925 = t17716*t17774;
+ t17612 = t17724*t17768;
+ t17613 = t17724*t17771;
+ t17923 = t17747*t17774;
+ t17922 = t17749*t17774;
+ t17921 = t17753*t17774;
+ t17920 = t17755*t17774;
+ t17529 = z*t17923;
+ t17551 = z*t17921;
+ t17388 = t17705*t17913;
+ t17390 = t17705*t17909;
+ t17443 = t17716*t17913;
+ t17445 = t17716*t17909;
+ t17528 = t17747*t17913;
+ t17530 = t17747*t17909;
+ t17541 = t17749*t17909;
+ t17550 = t17753*t17913;
+ t17552 = t17753*t17909;
+ t17560 = t17755*t17909;
+ t17864 = t17719*t17881+t17657*t17918+t17903;
+ t17707 = RATIONAL(1.0,16.0);
+ t17729 = RATIONAL(-5.0,16.0);
+ t17748 = RATIONAL(1.0,4.0);
+ t17863 = t17748+t17729*t17773+t17707*t17771;
+ t17653 = RATIONAL(25.0,32.0);
+ t17762 = RATIONAL(-5.0,8.0);
+ t17862 = t17653*t17773+t17726*t17771+t17762;
+ t17694 = RATIONAL(5.0,16.0);
+ t17718 = RATIONAL(-1.0,16.0);
+ t17754 = RATIONAL(-1.0,4.0);
+ t17861 = t17718*t17771+t17694*t17773+t17754;
+ t17860 = t17734*t17773+t17756+t17752*t17771;
+ t17750 = RATIONAL(1.0,2.0);
+ t17859 = t17746*t17771+t17762*t17773+t17750;
+ t17856 = t17726*t17879+t17185+t17746*t17907+t17592+t18156;
+ t17855 = t17734*t17879+t17730*t17910+t17756*t17907+t17765*t17770+t18138;
+ t17850 = t18050+t18163;
+ t17849 = t18143+t18163+t18229;
+ t17846 = t17705*t17884+y*t17529+t17679*t17915+t17725*t17955+t17864;
+ t17845 = t17716*t17884+y*t17551+t17659*t17915+t17690*t17955+t17864;
+ t17640 = RATIONAL(25.0,192.0);
+ t17714 = RATIONAL(-1.0,32.0);
+ t17844 = t17714*t17880+t17640*t17908+t17752*t17906+t17612+t17856+t18165;
+ t17843 = t17714*t17879+t17640*t17910+t17752*t17904+t17613+t18104+t18156+
+t18165;
+ t17683 = RATIONAL(-25.0,48.0);
+ t17744 = RATIONAL(2.0,1.0);
+ t17842 = t17750*t17879+t17683*t17910+t17744*t17904+t17595+t18103+t18136+
+t18138;
+ t17841 = t17750*t17880+t17683*t17908+t17744*t17906+t17594+t17855+t18136;
+ t17651 = RATIONAL(25.0,96.0);
+ t17840 = t17727+t17651*t17773+t17722*t17771+t17863*t17774;
+ t17682 = RATIONAL(-25.0,96.0);
+ t17839 = t17682*t17770+t17692+t17687*t17768+(t17754+t17718*t17768+t17694*
+t17770)*t17774;
+ t17838 = t17682*t17773+t17687*t17771+t17692+t17861*t17774;
+ t17837 = t17722*t17768+t17727+t17651*t17770+(t17748+t17707*t17768+t17729*
+t17770)*t17774;
+ t17836 = t18102+t18265*t17712+t18262*t17701+t18263*t17677+t18261*t17657;
+ t17835 = t18102+t18262*t17712+t18265*t17701+t18261*t17677+t18263*t17657;
+ t17834 = y*t17550+t17846+t17659*t17939+t17690*t17943+z*t17445+t18117;
+ t17833 = t17725*t17943+t17845+t17679*t17939+y*t17528+z*t17390+t18117;
+ t17832 = y*t17443+t17846+t17690*t17939+z*t17552+t17659*t17943+t18115;
+ t17831 = z*t17530+y*t17388+t17845+t17679*t17943+t17725*t17939+t18115;
+ t17830 = t17708*t17884+t17723*t17915+z*t17560+t18101+t17731*t17955+t18267
+*y+t18261*t17693;
+ t17829 = t17719*t17884+z*t17541+t18101+t17686*t17955+t17688*t17915+t18266
+*y+t18261*t17728;
+ t17828 = t17606+t17750*t17774+t17607+t17653*t17881+t17719+t17856+t17274+
+t18104+t18264*t17762;
+ t17738 = RATIONAL(5.0,2.0);
+ t17759 = RATIONAL(-2.0,1.0);
+ t17827 = t17855+t18103+t17740+t17759*t17774+t17708*t17918+RATIONAL(-25.0,
+8.0)*t17881+(t17768+t17771)*t17749+t18264*t17738;
+ t17826 = t17976+t17582+t17687*t17883+t17722*t17890+z*t17926+t17443+t17589
++t18121+t18327;
+ t17825 = t17722*t17883+z*t17925+t17388+t17588+t17583+t17976+t17687*t17890
++t18122+t18326;
+ t17824 = t17584+t17445+t17977+t17722*t17893+t17687*t17882+t18119+(t17926+
+t17674)*y+t18325;
+ t17823 = t17722*t17882+t17390+t17687*t17893+t17977+t17590+t18120+(t17666+
+t17925)*y+t18324;
+ t17822 = t17599+t17719*t17909+t17416+t18042+t17730*t17893+t17689*t17882+
+t17216+t18107+(t17922+t17717)*y;
+ t17821 = t17433+t18044+t17375+t17622+t17727*t17893+t17692*t17882+t17552+
+t18111+(t17751+t17923)*y;
+ t17820 = t17692*t17893+t18044+t17376+t17432+t17629+t17530+t17727*t17882+
+t18112+(t17921+t17745)*y;
+ t17819 = t17724*t17882+t17359+t17605+t17708*t17909+t18042+t17262+t17695*
+t17893+t18116+(t17920+t17706)*y;
+ t17818 = t18043+t17730*t17890+t17689*t17883+z*t17922+t17414+t17215+t17597
++t17719*t17913+t17609+t18109;
+ t17817 = t17727*t17890+t18045+t17692*t17883+t17373+t17620+t17751*z+t17550
++t17431+t17529+t18113;
+ t17816 = t17745*z+t17430+t18045+t17627+t17528+t17374+t17692*t17890+t17551
++t17727*t17883+t18114;
+ t17815 = t17604+t18043+t17708*t17913+z*t17920+t17695*t17890+t17601+t17724
+*t17883+t17261+t17358+t18118;
+ t17814 = t17973+t17695*t17882+t17742*t17772+t17560+t18105+t17706*t17917+
+t17765*t17893+(t17767+t17924+t17631)*y;
+ t17813 = t17972+t17742*t17769+t17695*t17883+t17765*t17890+t17706*t17916+
+t18106+(t17767+t17633)*z+t18267;
+ t17812 = t17972+t17733*z+t17742*t17941+t17737*t17890+t17757*t17769+t17717
+*t17916+t17730*t17883+t18110+t18266;
+ t17811 = t17717*t17917+t17742*t17945+t17973+t17757*t17772+t17730*t17882+
+t17541+t17737*t17893+t18108+(t17733+t17919)*y;
+ t17810 = t18203+t17960+t18204;
+ t17809 = t18203+t17961+t18205;
+ t17808 = t17965+t18198+t18215;
+ t17807 = t17966+t18198+t18212;
+ t17806 = t17966+t18201+t18215;
+ t17805 = t17970+t18210+t18214;
+ t17804 = t17968+t18209+t18214;
+ t17803 = t17968+t18210+t18217;
+ t17802 = t17970+t18209+t18217;
+ t17801 = t17965+t18201+t18212;
+ t17800 = t17969+t18200+t18216;
+ t17799 = t17969+t18199+t18213;
+ t17798 = t17849+t17971+t18050+t18223+t18237;
+ t17797 = t17967+t18200+t18213;
+ t17796 = t17967+t18199+t18216;
+ t17795 = t17963+t18052+t18163+t18207+t18218;
+ t17794 = t17975+t18197+t18225+t18234;
+ t17793 = t17964+t17850+t18197+t18224;
+ t17792 = t18194+t17958+t18195;
+ t17791 = t18192+t17959+t18194;
+ t17790 = t18191+t17959+t18195;
+ t17789 = t18202+t17960+t18205;
+ t17788 = t17961+t18202+t18204;
+ t17787 = t17963+t17849+t18208+t18228;
+ t17786 = t17974+t18208+t18218+t18238;
+ t17785 = t17975+t18196+t18224+t18235;
+ t17784 = t17964+t17848+t18196+t18234;
+ t17783 = t17974+t18207+t18228+t18229;
+ t17782 = t17962+t18211+t18229+t18237;
+ t17781 = t17962+t17850+t18223+t18227+t18238;
+ t17780 = t17971+t18052+t18211+t18227;
+ t17779 = t17958+t18191+t18192;
+ t17764 = RATIONAL(-5.0,4.0);
+ t17741 = RATIONAL(3.0,4.0);
+ t17736 = RATIONAL(5.0,4.0);
+ t17732 = RATIONAL(-15.0,4.0);
+ t17685 = RATIONAL(25.0,8.0);
+ t17684 = RATIONAL(-25.0,12.0);
+ t17680 = RATIONAL(-15.0,16.0);
+ t17652 = RATIONAL(25.0,48.0);
+ coeffs_dxx->coeff_m2_m2_m2 = t18032+t17788+t18039;
+ coeffs_dxx->coeff_m1_m2_m2 = t17805+t18021+t18036;
+ coeffs_dxx->coeff_0_m2_m2 = t18006+t17836+t18008;
+ coeffs_dxx->coeff_p1_m2_m2 = t18022+t17805+t18035;
+ coeffs_dxx->coeff_p2_m2_m2 = t17788+t18031+t18040;
+ coeffs_dxx->coeff_m2_m1_m2 = t17800+t18029+t18088;
+ coeffs_dxx->coeff_m1_m1_m2 = t17785+t18012+t18080;
+ coeffs_dxx->coeff_0_m1_m2 = t17833+t17989+t17998;
+ coeffs_dxx->coeff_p1_m1_m2 = t17785+t18017+t18083;
+ coeffs_dxx->coeff_p2_m1_m2 = t17800+t18024+t18089;
+ coeffs_dxx->coeff_m2_0_m2 = t17826+t18070+t18099;
+ coeffs_dxx->coeff_m1_0_m2 = t17816+t18064+t18072;
+ coeffs_dxx->coeff_0_0_m2 = t17840*z+t17838*t17769+t17844;
+ coeffs_dxx->coeff_p1_0_m2 = t17816+t18062+t18074;
+ coeffs_dxx->coeff_p2_0_m2 = t17826+t18073+t18098;
+ coeffs_dxx->coeff_m2_p1_m2 = t17799+t18027+t18090;
+ coeffs_dxx->coeff_m1_p1_m2 = t17784+t18013+t18084;
+ coeffs_dxx->coeff_0_p1_m2 = t17834+t17989+t17997;
+ coeffs_dxx->coeff_p1_p1_m2 = t17784+t18016+t18079;
+ coeffs_dxx->coeff_p2_p1_m2 = t17799+t18025+t18087;
+ coeffs_dxx->coeff_m2_p2_m2 = t17810+t18031+t18039;
+ coeffs_dxx->coeff_m1_p2_m2 = t17802+t18022+t18036;
+ coeffs_dxx->coeff_0_p2_m2 = t18007+t17835+t18008;
+ coeffs_dxx->coeff_p1_p2_m2 = t17802+t18021+t18035;
+ coeffs_dxx->coeff_p2_p2_m2 = t18032+t17810+t18040;
+ coeffs_dxx->coeff_m2_m2_m1 = t17806+t18028+t18086;
+ coeffs_dxx->coeff_m1_m2_m1 = t17798+t18010+t18078;
+ coeffs_dxx->coeff_0_m2_m1 = t17831+t17987+t17999;
+ coeffs_dxx->coeff_p1_m2_m1 = t17798+t18015+t18081;
+ coeffs_dxx->coeff_p2_m2_m1 = t17806+t18018+t18091;
+ coeffs_dxx->coeff_m2_m1_m1 = t17783+t18001+t18003;
+ coeffs_dxx->coeff_m1_m1_m1 = t17990+t17792+t17994;
+ coeffs_dxx->coeff_0_m1_m1 = t17830+t17978+t17979;
+ coeffs_dxx->coeff_p1_m1_m1 = t17792+t17991+t17993;
+ coeffs_dxx->coeff_p2_m1_m1 = t17783+t18000+t18004;
+ coeffs_dxx->coeff_m2_0_m1 = t17815+t18056+t18063;
+ coeffs_dxx->coeff_m1_0_m1 = t17813+t18047+t18058;
+ coeffs_dxx->coeff_0_0_m1 = t17841+(t17595+t17737+t17684*t17773+(t17759+
+t17738*t17773+t17756*t17771)*t17774)*z+(t17613+t17730+t17652*t17773+t17859*
+t17774)*t17769;
+ coeffs_dxx->coeff_p1_0_m1 = t17813+t18048+t18057;
+ coeffs_dxx->coeff_p2_0_m1 = t17815+t18054+t18065;
+ coeffs_dxx->coeff_m2_p1_m1 = t17787+t18000+t18003;
+ coeffs_dxx->coeff_m1_p1_m1 = t17991+t17790+t17994;
+ coeffs_dxx->coeff_0_p1_m1 = t17979+t17829+t17982;
+ coeffs_dxx->coeff_p1_p1_m1 = t17990+t17790+t17993;
+ coeffs_dxx->coeff_p2_p1_m1 = t17787+t18001+t18004;
+ coeffs_dxx->coeff_m2_p2_m1 = t17801+t18026+t18085;
+ coeffs_dxx->coeff_m1_p2_m1 = t17782+t18011+t18077;
+ coeffs_dxx->coeff_0_p2_m1 = t17986+t17832+t17999;
+ coeffs_dxx->coeff_p1_p2_m1 = t17782+t18014+t18082;
+ coeffs_dxx->coeff_p2_p2_m1 = t17801+t18019+t18092;
+ coeffs_dxx->coeff_m2_m2_0 = t17824+t18069+t18100;
+ coeffs_dxx->coeff_m1_m2_0 = t17820+t18067+t18071;
+ coeffs_dxx->coeff_0_m2_0 = t17843+t17837*y+t17839*t17772;
+ coeffs_dxx->coeff_p1_m2_0 = t17820+t18061+t18076;
+ coeffs_dxx->coeff_p2_m2_0 = t17824+t18075+t18097;
+ coeffs_dxx->coeff_m2_m1_0 = t17819+t18055+t18066;
+ coeffs_dxx->coeff_m1_m1_0 = t17814+t18046+t18060;
+ coeffs_dxx->coeff_0_m1_0 = (t17652*t17770+t17730+t17612+(t17762*t17770+
+t17750+t17746*t17768)*t17774)*t17772+t17842+(t17684*t17770+t17594+t17737+(
+t17759+t17738*t17770+t17756*t17768)*t17774)*y;
+ coeffs_dxx->coeff_p1_m1_0 = t17814+t18049+t18059;
+ coeffs_dxx->coeff_p2_m1_0 = t17819+t18053+t18068;
+ coeffs_dxx->coeff_m2_0_0 = t17828+((t17691*t17771+RATIONAL(-25.0,32.0)*
+t17773+t17734)*t17770+(t17752+t17714*t17771+t17691*t17773)*t17768+t17860)*x;
+ coeffs_dxx->coeff_m1_0_0 = t17827+(t17764*t17773+t17748*t17771+1.0+(
+t17729*t17771+RATIONAL(25.0,16.0)*t17773+t17764)*t17770+t17863*t17768)*x;
+ coeffs_dxx->coeff_0_0_0 = t17685*t17773+t17766+t17762*t17771+(RATIONAL(
+-125.0,32.0)*t17773+t17653*t17771+t17685)*t17770+t17862*t17768+(t17741*t17771+
+t17732*t17773+RATIONAL(3.0,1.0)+(t17680*t17771+RATIONAL(75.0,16.0)*t17773+
+t17732)*t17770+(t17680*t17773+RATIONAL(3.0,16.0)*t17771+t17741)*t17768)*t17774;
+ coeffs_dxx->coeff_p1_0_0 = t17827+(-1.0+t17736*t17773+t17754*t17771+(
+t17736+RATIONAL(-25.0,16.0)*t17773+t17694*t17771)*t17770+t17861*t17768)*x;
+ coeffs_dxx->coeff_p2_0_0 = (t17862*t17770+(t17726*t17773+t17703*t17771+
+t17746)*t17768+t17859)*x+t17828;
+ coeffs_dxx->coeff_m2_p1_0 = t17822+t18053+t18055;
+ coeffs_dxx->coeff_m1_p1_0 = t17811+t18059+t18060;
+ coeffs_dxx->coeff_0_p1_0 = (t17765+t17730*t17768+t17654*t17770+(t17744+
+t17766*t17770+t17750*t17768)*t17774)*y+(t17683*t17770+t17689*t17768+t17695+(
+t17752*t17768+t17756+t17734*t17770)*t17774)*t17772+t17842;
+ coeffs_dxx->coeff_p1_p1_0 = t17811+t18046+t18049;
+ coeffs_dxx->coeff_p2_p1_0 = t17822+t18066+t18068;
+ coeffs_dxx->coeff_m2_p2_0 = t17823+t18075+t18100;
+ coeffs_dxx->coeff_m1_p2_0 = t17821+t18061+t18071;
+ coeffs_dxx->coeff_0_p2_0 = t17843+t17839*y+t17837*t17772;
+ coeffs_dxx->coeff_p1_p2_0 = t17821+t18067+t18076;
+ coeffs_dxx->coeff_p2_p2_0 = t17823+t18069+t18097;
+ coeffs_dxx->coeff_m2_m2_p1 = t17807+t18026+t18092;
+ coeffs_dxx->coeff_m1_m2_p1 = t17780+t18011+t18082;
+ coeffs_dxx->coeff_0_m2_p1 = t17832+t17987+t17996;
+ coeffs_dxx->coeff_p1_m2_p1 = t17780+t18014+t18077;
+ coeffs_dxx->coeff_p2_m2_p1 = t17807+t18019+t18085;
+ coeffs_dxx->coeff_m2_m1_p1 = t17985+t17786+t18002;
+ coeffs_dxx->coeff_m1_m1_p1 = t17791+t17980+t17995;
+ coeffs_dxx->coeff_0_m1_p1 = t17978+t17829+t17983;
+ coeffs_dxx->coeff_p1_m1_p1 = t17981+t17791+t17992;
+ coeffs_dxx->coeff_p2_m1_p1 = t17984+t17786+t18005;
+ coeffs_dxx->coeff_m2_0_p1 = t17818+t18054+t18056;
+ coeffs_dxx->coeff_m1_0_p1 = t17812+t18057+t18058;
+ coeffs_dxx->coeff_0_0_p1 = (t17683*t17773+t17695+t17689*t17771+t17860*
+t17774)*t17769+t17841+(t17654*t17773+t17730*t17771+t17765+(t17744+t17750*t17771
++t17766*t17773)*t17774)*z;
+ coeffs_dxx->coeff_p1_0_p1 = t17812+t18047+t18048;
+ coeffs_dxx->coeff_p2_0_p1 = t17818+t18063+t18065;
+ coeffs_dxx->coeff_m2_p1_p1 = t17984+t17795+t17985;
+ coeffs_dxx->coeff_m1_p1_p1 = t17779+t17992+t17995;
+ coeffs_dxx->coeff_0_p1_p1 = t17982+t17830+t17983;
+ coeffs_dxx->coeff_p1_p1_p1 = t17779+t17980+t17981;
+ coeffs_dxx->coeff_p2_p1_p1 = t18002+t17795+t18005;
+ coeffs_dxx->coeff_m2_p2_p1 = t17808+t18028+t18091;
+ coeffs_dxx->coeff_m1_p2_p1 = t17781+t18010+t18081;
+ coeffs_dxx->coeff_0_p2_p1 = t17986+t17831+t17996;
+ coeffs_dxx->coeff_p1_p2_p1 = t17781+t18015+t18078;
+ coeffs_dxx->coeff_p2_p2_p1 = t17808+t18018+t18086;
+ coeffs_dxx->coeff_m2_m2_p2 = t18033+t17789+t18038;
+ coeffs_dxx->coeff_m1_m2_p2 = t17804+t18020+t18037;
+ coeffs_dxx->coeff_0_m2_p2 = t18006+t17835+t18009;
+ coeffs_dxx->coeff_p1_m2_p2 = t17804+t18023+t18034;
+ coeffs_dxx->coeff_p2_m2_p2 = t17789+t18030+t18041;
+ coeffs_dxx->coeff_m2_m1_p2 = t17797+t18027+t18087;
+ coeffs_dxx->coeff_m1_m1_p2 = t17794+t18013+t18079;
+ coeffs_dxx->coeff_0_m1_p2 = t17988+t17834+t17998;
+ coeffs_dxx->coeff_p1_m1_p2 = t17794+t18016+t18084;
+ coeffs_dxx->coeff_p2_m1_p2 = t17797+t18025+t18090;
+ coeffs_dxx->coeff_m2_0_p2 = t17825+t18073+t18099;
+ coeffs_dxx->coeff_m1_0_p2 = t17817+t18062+t18072;
+ coeffs_dxx->coeff_0_0_p2 = t17840*t17769+t17838*z+t17844;
+ coeffs_dxx->coeff_p1_0_p2 = t17817+t18064+t18074;
+ coeffs_dxx->coeff_p2_0_p2 = t17825+t18070+t18098;
+ coeffs_dxx->coeff_m2_p1_p2 = t17796+t18029+t18089;
+ coeffs_dxx->coeff_m1_p1_p2 = t17793+t18012+t18083;
+ coeffs_dxx->coeff_0_p1_p2 = t17988+t17833+t17997;
+ coeffs_dxx->coeff_p1_p1_p2 = t17793+t18017+t18080;
+ coeffs_dxx->coeff_p2_p1_p2 = t17796+t18024+t18088;
+ coeffs_dxx->coeff_m2_p2_p2 = t17809+t18030+t18038;
+ coeffs_dxx->coeff_m1_p2_p2 = t17803+t18023+t18037;
+ coeffs_dxx->coeff_0_p2_p2 = t18007+t17836+t18009;
+ coeffs_dxx->coeff_p1_p2_p2 = t17803+t18020+t18034;
+ coeffs_dxx->coeff_p2_p2_p2 = t18033+t17809+t18041;