aboutsummaryrefslogtreecommitdiff
path: root/src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dyz.compute.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dyz.compute.c')
-rw-r--r--src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dyz.compute.c4663
1 files changed, 2123 insertions, 2540 deletions
diff --git a/src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dyz.compute.c b/src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dyz.compute.c
index ffe18fc..5bcf2f9 100644
--- a/src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dyz.compute.c
+++ b/src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dyz.compute.c
@@ -1,2550 +1,2133 @@
-fp t28586;
-fp t28656;
-fp t28662;
-fp t28535;
-fp t29473;
-fp t28533;
-fp t28659;
-fp t28530;
-fp t29472;
-fp t28531;
-fp t28532;
-fp t29471;
-fp t28565;
-fp t28572;
-fp t29470;
-fp t28564;
-fp t28541;
-fp t29469;
-fp t29468;
-fp t28534;
-fp t28658;
-fp t28946;
-fp t28529;
-fp t28961;
-fp t29467;
-fp t28654;
-fp t28642;
-fp t28527;
-fp t29466;
-fp t28660;
-fp t29018;
-fp t28554;
-fp t28914;
-fp t28075;
-fp t28536;
-fp t29465;
-fp t28657;
-fp t28661;
-fp t28952;
-fp t28917;
-fp t29464;
-fp t28645;
-fp t28637;
-fp t29463;
-fp t29016;
-fp t28619;
-fp t29462;
-fp t28538;
-fp t28915;
-fp t27997;
-fp t28539;
-fp t28441;
-fp t29461;
-fp t28977;
-fp t28571;
-fp t28919;
-fp t29460;
-fp t28537;
-fp t28440;
-fp t29459;
-fp t28574;
-fp t28948;
-fp t29458;
-fp t28648;
-fp t29020;
-fp t28653;
-fp t28930;
-fp t29457;
-fp t29456;
-fp t28601;
-fp t28846;
-fp t28607;
-fp t28466;
-fp t28293;
-fp t29455;
-fp t28641;
-fp t29454;
-fp t28594;
-fp t28553;
-fp t29453;
-fp t28561;
-fp t28445;
-fp t29452;
-fp t28581;
-fp t28884;
-fp t28910;
-fp t29451;
-fp t28613;
-fp t28954;
-fp t29450;
-fp t28575;
-fp t28481;
-fp t29394;
-fp t28600;
-fp t28497;
-fp t28559;
-fp t29449;
-fp t28101;
-fp t29448;
-fp t29447;
-fp t28945;
-fp t28407;
-fp t29446;
-fp t29445;
-fp t28612;
-fp t28902;
-fp t28631;
-fp t29444;
-fp t28622;
-fp t28882;
-fp t28275;
-fp t28589;
-fp t28491;
-fp t29443;
-fp t28593;
-fp t28476;
-fp t28958;
-fp t29442;
-fp t28588;
-fp t28891;
-fp t28104;
-fp t29441;
-fp t29440;
-fp t28953;
-fp t29033;
-fp t29439;
-fp t28567;
-fp t29438;
-fp t28457;
-fp t28548;
-fp t28947;
-fp t29437;
-fp t28444;
-fp t28547;
-fp t29436;
-fp t29435;
-fp t28552;
-fp t28603;
-fp t28485;
-fp t29434;
-fp t28580;
-fp t28900;
-fp t28640;
-fp t29433;
-fp t28609;
-fp t28479;
-fp t28597;
-fp t28883;
-fp t28188;
-fp t29432;
-fp t28514;
-fp t28192;
-fp t29431;
-fp t29430;
-fp t28628;
-fp t28509;
-fp t29429;
-fp t28949;
-fp t28122;
-fp t28604;
-fp t28856;
-fp t29428;
-fp t28368;
-fp t28526;
-fp t29427;
-fp t28906;
-fp t29031;
-fp t29426;
-fp t28471;
-fp t29385;
-fp t28114;
-fp t28596;
-fp t29015;
-fp t28225;
-fp t29425;
-fp t28940;
-fp t29424;
-fp t28450;
-fp t29423;
-fp t28578;
-fp t28310;
-fp t29014;
-fp t28267;
-fp t29422;
-fp t29421;
-fp t28967;
-fp t29420;
-fp t28095;
-fp t29419;
-fp t28555;
-fp t28568;
-fp t28448;
-fp t29418;
-fp t29417;
-fp t28894;
-fp t29416;
-fp t29415;
-fp t27889;
-fp t29414;
-fp t28899;
-fp t29413;
-fp t28898;
-fp t29412;
-fp t28911;
-fp t29411;
-fp t28599;
-fp t28937;
-fp t28319;
-fp t29410;
-fp t29409;
-fp t28938;
-fp t28916;
-fp t29408;
-fp t28437;
-fp t28563;
-fp t29407;
-fp t28487;
-fp t28334;
-fp t29027;
-fp t28583;
-fp t29406;
-fp t29405;
-fp t29404;
-fp t29403;
-fp t28987;
-fp t29402;
-fp t29401;
-fp t29400;
-fp t29399;
-fp t29398;
-fp t28986;
-fp t28905;
-fp t29397;
-fp t28585;
-fp t28921;
-fp t28340;
-fp t28587;
-fp t28976;
-fp t28153;
-fp t29353;
-fp t28785;
-fp t28951;
-fp t28350;
-fp t29344;
-fp t29282;
-fp t29396;
-fp t29395;
-fp t29040;
-fp t28461;
-fp t28145;
-fp t28886;
-fp t28266;
-fp t28125;
-fp t29356;
-fp t29393;
-fp t28582;
-fp t28997;
-fp t28630;
-fp t28505;
-fp t29392;
-fp t28171;
-fp t28912;
-fp t28321;
-fp t29391;
-fp t28472;
-fp t28801;
-fp t29390;
-fp t27908;
-fp t28982;
-fp t28279;
-fp t29389;
-fp t28158;
-fp t28002;
-fp t29388;
-fp t28232;
-fp t28974;
-fp t28256;
-fp t29387;
-fp t28055;
-fp t29386;
-fp t28823;
-fp t29384;
-fp t28325;
-fp t29383;
-fp t28970;
-fp t28209;
-fp t28896;
-fp t28185;
-fp t29382;
-fp t28522;
-fp t28810;
-fp t28540;
-fp t28904;
-fp t27921;
-fp t28606;
-fp t28994;
-fp t28097;
-fp t28998;
-fp t29381;
-fp t28558;
-fp t28956;
-fp t28569;
-fp t28453;
-fp t29380;
-fp t28451;
-fp t28942;
-fp t28783;
-fp t29379;
-fp t28265;
-fp t29378;
-fp t28827;
-fp t28455;
-fp t29377;
-fp t28459;
-fp t28814;
-fp t29376;
-fp t27987;
-fp t29375;
-fp t28033;
-fp t29374;
-fp t27920;
-fp t29373;
-fp t29000;
-fp t29372;
-fp t28852;
-fp t28096;
-fp t29371;
-fp t27931;
-fp t28885;
-fp t29370;
-fp t28373;
-fp t29008;
-fp t28625;
-fp t29369;
-fp t28013;
-fp t27996;
-fp t29368;
-fp t28893;
-fp t28060;
-fp t28920;
-fp t28335;
-fp t29367;
-fp t28822;
-fp t29366;
-fp t28874;
-fp t28824;
-fp t29365;
-fp t28880;
-fp t28879;
-fp t29364;
-fp t28782;
-fp t28932;
-fp t29363;
-fp t28182;
-fp t28620;
-fp t29009;
-fp t28869;
-fp t29362;
-fp t29028;
-fp t28626;
-fp t29361;
-fp t28959;
-fp t27913;
-fp t28806;
-fp t29360;
-fp t28259;
-fp t29026;
-fp t28849;
-fp t29359;
-fp t28442;
-fp t27973;
-fp t29358;
-fp t27917;
-fp t27915;
-fp t29357;
-fp t28605;
-fp t28638;
-fp t28872;
-fp t29355;
-fp t28010;
-fp t27986;
-fp t29354;
-fp t28016;
-fp t27891;
-fp t29352;
-fp t28475;
-fp t28201;
-fp t28224;
-fp t29351;
-fp t28289;
-fp t27966;
-fp t29350;
-fp t27929;
-fp t28897;
-fp t27975;
-fp t29349;
-fp t28616;
-fp t28837;
-fp t29024;
-fp t28841;
-fp t29348;
-fp t28818;
-fp t28936;
-fp t27963;
-fp t29347;
-fp t28089;
-fp t29345;
-fp t29343;
-fp t28307;
-fp t28592;
-fp t28881;
-fp t28131;
-fp t29342;
-fp t28871;
-fp t28962;
-fp t28071;
-fp t29341;
-fp t28621;
-fp t28272;
-fp t28802;
-fp t29339;
-fp t29003;
-fp t29338;
-fp t28177;
-fp t28130;
-fp t29337;
-fp t28784;
-fp t28115;
-fp t29336;
-fp t27959;
-fp t28148;
-fp t29335;
-fp t28889;
-fp t28789;
-fp t29334;
-fp t29333;
-fp t28452;
-fp t27912;
-fp t28305;
-fp t29332;
-fp t29011;
-fp t27890;
-fp t28439;
-fp t28803;
-fp t29331;
-fp t28102;
-fp t29330;
-fp t28166;
-fp t28981;
-fp t28804;
-fp t29329;
-fp t28338;
-fp t28332;
-fp t29328;
-fp t28268;
-fp t28280;
-fp t29327;
-fp t27960;
-fp t29326;
-fp t28004;
-fp t28834;
-fp t29325;
-fp t28149;
-fp t28088;
-fp t29324;
-fp t28477;
-fp t28787;
-fp t28446;
-fp t29323;
-fp t28205;
-fp t28492;
-fp t29322;
-fp t29034;
-fp t28270;
-fp t28470;
-fp t28287;
-fp t29321;
-fp t28828;
-fp t29320;
-fp t29319;
-fp t28618;
-fp t28992;
-fp t28944;
-fp t28112;
-fp t29318;
-fp t28557;
-fp t28903;
-fp t27926;
-fp t28792;
-fp t28508;
-fp t28406;
-fp t29041;
-fp t28137;
-fp t29317;
-fp t29316;
-fp t28291;
-fp t28608;
-fp t28928;
-fp t28197;
-fp t29315;
-fp t28339;
-fp t28110;
-fp t29314;
-fp t28807;
-fp t28434;
-fp t28829;
-fp t29313;
-fp t27968;
-fp t28447;
-fp t29312;
-fp t29311;
-fp t28901;
-fp t28798;
-fp t28121;
-fp t29310;
-fp t27940;
-fp t27924;
-fp t29309;
-fp t28276;
-fp t28868;
-fp t28644;
-fp t28925;
-fp t29308;
-fp t28465;
-fp t28786;
-fp t28595;
-fp t28331;
-fp t28922;
-fp t29307;
-fp t28036;
-fp t28218;
-fp t29306;
-fp t28848;
-fp t28478;
-fp t28217;
-fp t28797;
-fp t29305;
-fp t29304;
-fp t28180;
-fp t28263;
-fp t28793;
-fp t28269;
-fp t29303;
-fp t28228;
-fp t28199;
-fp t28143;
-fp t29302;
-fp t28165;
-fp t28085;
-fp t29301;
-fp t28990;
-fp t28191;
-fp t29300;
-fp t29299;
-fp t27972;
-fp t29298;
-fp t28984;
-fp t27897;
-fp t29297;
-fp t28045;
-fp t28892;
-fp t28233;
-fp t29296;
-fp t28264;
-fp t29295;
-fp t28480;
-fp t28598;
-fp t28229;
-fp t29294;
-fp t29030;
-fp t27950;
-fp t29293;
-fp t29292;
-fp t28878;
-fp t29291;
-fp t29290;
-fp t29289;
-fp t28963;
-fp t28875;
-fp t29288;
-fp t27918;
-fp t29287;
-fp t29013;
-fp t27895;
-fp t28816;
-fp t28817;
-fp t29286;
-fp t29285;
-fp t28348;
-fp t28800;
-fp t29284;
-fp t28260;
-fp t29283;
-fp t29039;
-fp t29038;
-fp t28384;
-fp t28400;
-fp t28655;
-fp t29005;
-fp t29281;
-fp t28084;
-fp t29280;
-fp t28500;
-fp t29279;
-fp t29278;
-fp t28512;
-fp t28395;
-fp t29277;
-fp t28183;
-fp t28813;
-fp t29276;
-fp t28068;
-fp t29019;
-fp t28864;
-fp t29275;
-fp t29274;
-fp t28993;
-fp t28179;
-fp t29273;
-fp t28311;
-fp t28151;
-fp t28808;
-fp t29272;
-fp t28794;
-fp t28254;
-fp t28337;
-fp t29271;
-fp t28194;
-fp t29270;
-fp t28323;
-fp t29269;
-fp t28623;
-fp t28988;
-fp t28330;
-fp t28791;
-fp t29268;
-fp t29267;
-fp t29037;
-fp t28070;
-fp t29266;
-fp t28646;
-fp t28836;
-fp t28518;
-fp t28614;
-fp t28973;
-fp t29265;
-fp t28821;
-fp t28929;
-fp t28251;
-fp t29264;
-fp t29263;
-fp t29262;
-fp t29032;
-fp t28061;
-fp t28918;
-fp t27946;
-fp t29261;
-fp t28124;
-fp t29260;
-fp t29259;
-fp t28069;
-fp t28249;
-fp t29258;
-fp t29257;
-fp t28496;
-fp t28854;
-fp t28160;
-fp t29021;
-fp t29256;
-fp t28207;
-fp t28250;
-fp t29255;
-fp t28141;
-fp t29254;
-fp t29022;
-fp t28190;
-fp t28995;
-fp t28257;
-fp t29253;
-fp t29252;
-fp t28774;
-fp t29251;
-fp t28839;
-fp t29250;
-fp t29249;
-fp t29248;
-fp t28126;
-fp t28128;
-fp t29247;
-fp t28831;
-fp t28833;
-fp t28767;
-fp t28842;
-fp t28943;
-fp t28302;
-fp t29246;
-fp t29245;
-fp t27902;
-fp t29244;
-fp t29243;
-fp t28811;
-fp t28163;
-fp t27909;
-fp t28971;
-fp t28317;
-fp t29242;
-fp t27958;
-fp t29241;
-fp t29240;
-fp t29239;
-fp t28054;
-fp t29238;
-fp t28825;
-fp t27927;
-fp t29237;
-fp t29236;
-fp t28845;
-fp t29235;
-fp t29234;
-fp t28058;
-fp t28931;
-fp t28136;
-fp t29233;
-fp t28636;
-fp t28983;
-fp t28830;
-fp t28584;
-fp t29232;
-fp t28591;
-fp t28647;
-fp t29231;
-fp t29230;
-fp t27444;
-fp t29229;
-fp t29228;
-fp t28923;
-fp t29227;
-fp t28888;
-fp t29226;
-fp t28421;
-fp t28146;
-fp t28150;
-fp t28743;
-fp t29225;
-fp t28484;
-fp t28152;
-fp t29224;
-fp t29029;
-fp t28391;
-fp t29223;
-fp t28972;
-fp t28796;
-fp t28413;
-fp t29222;
-fp t29221;
-fp t28469;
-fp t28196;
-fp t29220;
-fp t28377;
-fp t29219;
-fp t29218;
-fp t29217;
-fp t29216;
-fp t29215;
-fp t28211;
-fp t29214;
-fp t28378;
-fp t29213;
-fp t28858;
-fp t28957;
-fp t29212;
-fp t28556;
-fp t28799;
-fp t29211;
-fp t28866;
-fp t28907;
-fp t28862;
-fp t29210;
-fp t29209;
-fp t29208;
-fp t29207;
-fp t28865;
-fp t28857;
-fp t29206;
-fp t29205;
-fp t28524;
-fp t28805;
-fp t28978;
-fp t28859;
-fp t29204;
-fp t27899;
-fp t28838;
-fp t29203;
-fp t29202;
-fp t29201;
-fp t28844;
-fp t29200;
-fp t29199;
-fp t28360;
-fp t29035;
-fp t28092;
-fp t28863;
-fp t29198;
-fp t28850;
-fp t28877;
-fp t29197;
-fp t28996;
-fp t28195;
-fp t29196;
-fp t29195;
-fp t27954;
-fp t29194;
-fp t28861;
-fp t29193;
-fp t28316;
-fp t29192;
-fp t29191;
-fp t29190;
-fp t28965;
-fp t28867;
-fp t29189;
-fp t28870;
-fp t29188;
-fp t28826;
-fp t29187;
-fp t28873;
-fp t28611;
-fp t28960;
-fp t29186;
-fp t28939;
-fp t28405;
-fp t28387;
-fp t29036;
-fp t29006;
-fp t28615;
-fp t29010;
-fp t28843;
-fp t29185;
-fp t28950;
-fp t29184;
-fp t29183;
-fp t29182;
-fp t28320;
-fp t29181;
-fp t29002;
-fp t29180;
-fp t29179;
-fp t28820;
-fp t29178;
-fp t29177;
-fp t28366;
-fp t28347;
-fp t29176;
-fp t28851;
-fp t29175;
-fp t28855;
-fp t29174;
-fp t28860;
-fp t29173;
-fp t29172;
-fp t29171;
-fp t28463;
-fp t29170;
-fp t29169;
-fp t29168;
-fp t29167;
-fp t28790;
-fp t28788;
-fp t28909;
-fp t29166;
-fp t29165;
-fp t28934;
-fp t28832;
-fp t29164;
-fp t29163;
-fp t29162;
-fp t29161;
-fp t29160;
-fp t29159;
-fp t28835;
-fp t29158;
-fp t29157;
-fp t28401;
-fp t29156;
-fp t29155;
-fp t29154;
-fp t29153;
-fp t29012;
-fp t29152;
-fp t29151;
-fp t29150;
-fp t29149;
-fp t29148;
-fp t28969;
-fp t28318;
-fp t29147;
-fp t29146;
-fp t27911;
-fp t29145;
-fp t29144;
-fp t29001;
-fp t29004;
-fp t29143;
-fp t29142;
-fp t28840;
-fp t29141;
-fp t29140;
-fp t29139;
-fp t28184;
-fp t29138;
-fp t28795;
-fp t29137;
-fp t29136;
-fp t29135;
-fp t29134;
-fp t29133;
-fp t28386;
-fp t29132;
-fp t29131;
-fp t28941;
-fp t28980;
-fp t29130;
-fp t29129;
-fp t29128;
-fp t29127;
-fp t28306;
-fp t28464;
-fp t29126;
-fp t29125;
-fp t29124;
-fp t29123;
-fp t29122;
-fp t29121;
-fp t29120;
-fp t29119;
-fp t29118;
-fp t29117;
-fp t29116;
-fp t28927;
-fp t29115;
-fp t28203;
-fp t29114;
-fp t29113;
-fp t29112;
-fp t29111;
-fp t29110;
-fp t28819;
-fp t29109;
-fp t28363;
-fp t29108;
-fp t28371;
-fp t29107;
-fp t29106;
-fp t28023;
-fp t28729;
-fp t29105;
-fp t27961;
-fp t28742;
-fp t29104;
-fp t28342;
-fp t28507;
-fp t29103;
-fp t29102;
-fp t28026;
-fp t28576;
-fp t28175;
-fp t29101;
-fp t29100;
-fp t28517;
-fp t28220;
-fp t29099;
-fp t28343;
-fp t28913;
-fp t28374;
-fp t29098;
-fp t28895;
-fp t28243;
-fp t29097;
-fp t28412;
-fp t29096;
-fp t28602;
-fp t28144;
-fp t29095;
-fp t29094;
-fp t27718;
-fp t29093;
-fp t28650;
-fp t29092;
-fp t29091;
-fp t29090;
-fp t29089;
-fp t29088;
-fp t28809;
-fp t29087;
-fp t27932;
-fp t29086;
-fp t28649;
-fp t29085;
-fp t29084;
-fp t29083;
-fp t27721;
-fp t28770;
-fp t29082;
-fp t28763;
-fp t29081;
-fp t27559;
-fp t28768;
-fp t29080;
-fp t28765;
-fp t29079;
-fp t29078;
-fp t29077;
-fp t28780;
-fp t29076;
-fp t29075;
-fp t29074;
-fp t29073;
-fp t29072;
-fp t29071;
-fp t29070;
-fp t29069;
-fp t29068;
-fp t29067;
-fp t29066;
-fp t29065;
-fp t29064;
-fp t29063;
-fp t29062;
-fp t29061;
-fp t29060;
-fp t29059;
-fp t29058;
-fp t29057;
-fp t29056;
-fp t29055;
-fp t29054;
-fp t29053;
-fp t29052;
-fp t29051;
-fp t29050;
-fp t29049;
-fp t29048;
-fp t29047;
-fp t29046;
-fp t29045;
-fp t29044;
-fp t29043;
-fp t29042;
-fp t28633;
-fp t29025;
-fp t29017;
-fp t29007;
-fp t28989;
-fp t28979;
-fp t28964;
-fp t28955;
-fp t28935;
-fp t28933;
-fp t28926;
-fp t28908;
-fp t28887;
-fp t28853;
-fp t28415;
-fp t28376;
-fp t28781;
-fp t28776;
-fp t28772;
-fp t28771;
-fp t28769;
-fp t28766;
-fp t28764;
-fp t28562;
-fp t28762;
-fp t28627;
-fp t28761;
-fp t28542;
-fp t28760;
-fp t28590;
-fp t28759;
-fp t28632;
-fp t28758;
-fp t28757;
-fp t28756;
-fp t28577;
-fp t28634;
-fp t28755;
-fp t28754;
-fp t28753;
-fp t28643;
-fp t28752;
-fp t28751;
-fp t28750;
-fp t28749;
-fp t28624;
-fp t28573;
-fp t28748;
-fp t28747;
-fp t28746;
-fp t28745;
-fp t28744;
-fp t28740;
-fp t28739;
-fp t28738;
-fp t28737;
-fp t28736;
-fp t28735;
-fp t28734;
-fp t28733;
-fp t28551;
-fp t28732;
-fp t28731;
-fp t28730;
-fp t28728;
-fp t28546;
-fp t28727;
-fp t28639;
-fp t28726;
-fp t28725;
-fp t28724;
-fp t28723;
-fp t28722;
-fp t28721;
-fp t28720;
-fp t28719;
-fp t28718;
-fp t28717;
-fp t28716;
-fp t28715;
-fp t28714;
-fp t28713;
-fp t28712;
-fp t28711;
-fp t28710;
-fp t28709;
-fp t28708;
-fp t28707;
-fp t28706;
-fp t28705;
-fp t28704;
-fp t28703;
-fp t28702;
-fp t28701;
-fp t28700;
-fp t28699;
-fp t28698;
-fp t28697;
-fp t28696;
-fp t28695;
-fp t28694;
-fp t28693;
-fp t28692;
-fp t28691;
-fp t28690;
-fp t28689;
-fp t28688;
-fp t28687;
-fp t28686;
-fp t28685;
-fp t28684;
-fp t28683;
-fp t28682;
-fp t28681;
-fp t28680;
-fp t28679;
-fp t28678;
-fp t28677;
-fp t28676;
-fp t28675;
-fp t28674;
-fp t28673;
-fp t28672;
-fp t28671;
-fp t28670;
-fp t28669;
-fp t28668;
-fp t28667;
- t28586 = RATIONAL(4.0,27.0);
- t28656 = x*x;
- t28662 = t28656*t28656;
- t28535 = RATIONAL(-16.0,27.0);
- t29473 = t28586*t28662+t28535*t28656;
- t28533 = RATIONAL(-1.0,1728.0);
- t28659 = t28656*x;
- t28530 = RATIONAL(1.0,1728.0);
- t29472 = t28530*x+t28533*t28659;
- t28531 = RATIONAL(1.0,3456.0);
- t28532 = RATIONAL(-1.0,3456.0);
- t29471 = t28531*t28662+t28532*t28656;
- t28565 = RATIONAL(1.0,144.0);
- t28572 = RATIONAL(1.0,576.0);
- t29470 = t28565+t28572*t28662;
- t28564 = RATIONAL(-5.0,288.0);
- t28541 = RATIONAL(5.0,288.0);
- t29469 = x*t28541+t28564*t28659;
- t29468 = t28530*t28659+t28533*x;
- t28534 = RATIONAL(1.0,1152.0);
- t28658 = y*y;
- t28946 = t28662*t28658;
- t28529 = RATIONAL(-1.0,1152.0);
- t28961 = t28656*t28658;
- t29467 = t28529*t28961+t28534*t28946;
- t28654 = RATIONAL(4.0,9.0);
- t28642 = RATIONAL(-1.0,3.0);
- t28527 = t28642*t28658;
- t29466 = t28527+t28654;
- t28660 = t28658*y;
- t29018 = x*t28660;
- t28554 = RATIONAL(-1.0,216.0);
- t28914 = t28660*t28554;
- t28075 = t28659*t28914;
- t28536 = RATIONAL(1.0,216.0);
- t29465 = t28075+t28536*t29018;
- t28657 = z*z;
- t28661 = t28657*z;
- t28952 = t28661*t28554;
- t28917 = t28661*t28536;
- t29464 = t28659*t28952+x*t28917;
- t28645 = RATIONAL(-8.0,9.0);
- t28637 = RATIONAL(-2.0,9.0);
- t29463 = t28645+t28662*t28637;
- t29016 = z*t28658;
- t28619 = RATIONAL(8.0,27.0);
- t29462 = t28661*t28619+t28654*t29016;
- t28538 = RATIONAL(-1.0,432.0);
- t28915 = t28538*t28659;
- t27997 = t28661*t28915;
- t28539 = RATIONAL(1.0,864.0);
- t28441 = t28539*t28659;
- t29461 = z*t28441+t27997;
- t28977 = t28657*t28572;
- t28571 = RATIONAL(-1.0,576.0);
- t28919 = t28657*t28662;
- t29460 = t28656*t28977+t28571*t28919;
- t28537 = RATIONAL(1.0,432.0);
- t28440 = t28537*t28662;
- t29459 = t28538*t28656+t28440;
- t28574 = RATIONAL(-1.0,864.0);
- t28948 = t28659*t28660;
- t29458 = t28539*t28948+t28574*t29018;
- t28648 = RATIONAL(-4.0,9.0);
- t29020 = y*t28657;
- t28653 = RATIONAL(2.0,9.0);
- t28930 = t28657*t28653;
- t29457 = t28660*t28930+t28648*t29020;
- t29456 = t28538*t28662+t28537*t28656;
- t28601 = RATIONAL(5.0,48.0);
- t28846 = t28601*t29016;
- t28607 = RATIONAL(-1.0,24.0);
- t28466 = t28607*t28658;
- t28293 = t28661*t28466;
- t29455 = t28293+t28846;
- t28641 = RATIONAL(8.0,9.0);
- t29454 = t28641+t28653*t28662;
- t28594 = RATIONAL(-4.0,27.0);
- t28553 = RATIONAL(16.0,27.0);
- t29453 = t28553*t28656+t28594*t28662;
- t28561 = RATIONAL(1.0,288.0);
- t28445 = t28574*t28662;
- t29452 = t28561*t28946+t28445;
- t28581 = RATIONAL(-1.0,18.0);
- t28884 = t28581*t28658;
- t28910 = t28653*t28658;
- t29451 = t28662*t28884+t28656*t28910;
- t28613 = RATIONAL(1.0,18.0);
- t28954 = t28637*t28656;
- t29450 = t28613*t28919+t28657*t28954;
- t28575 = RATIONAL(-1.0,72.0);
- t28481 = t28575*t28662;
- t29394 = t28581+t28481;
- t28600 = RATIONAL(1.0,48.0);
- t28497 = t28600*t28658;
- t28559 = RATIONAL(1.0,192.0);
- t29449 = t28559*t28946+t28497;
- t28101 = t28581*t28919;
- t29448 = t28656*t28930+t28101;
- t29447 = t29469*y;
- t28945 = t28613*t28658;
- t28407 = t28658*t28954;
- t29446 = t28407+t28662*t28945;
- t29445 = t29473*z;
- t28612 = RATIONAL(1.0,36.0);
- t28902 = t28662*t28612;
- t28631 = RATIONAL(1.0,9.0);
- t29444 = t28902+t28631;
- t28622 = RATIONAL(1.0,72.0);
- t28882 = t28658*t28622;
- t28275 = t28662*t28882;
- t28589 = RATIONAL(-1.0,54.0);
- t28491 = t28589*t28662;
- t29443 = t28275+t28491;
- t28593 = RATIONAL(-2.0,27.0);
- t28476 = t28593*t28659;
- t28958 = t28586*t28659;
- t29442 = t28661*t28476+z*t28958;
- t28588 = RATIONAL(-1.0,12.0);
- t28891 = t28588*t28658;
- t28104 = t28662*t28891;
- t29441 = t28631*t28662+t28104;
- t29440 = x*t28914+t28536*t28948;
- t28953 = t28659*t28661;
- t29033 = x*t28661;
- t29439 = t28574*t28953+t28539*t29033;
- t28567 = RATIONAL(-1.0,144.0);
- t29438 = t28571*t28662+t28567;
- t28457 = t28536*x;
- t28548 = RATIONAL(-1.0,108.0);
- t28947 = t28548*t28660;
- t29437 = y*t28457+x*t28947;
- t28444 = t28554*x;
- t28547 = RATIONAL(1.0,108.0);
- t29436 = y*t28444+t28547*t29018;
- t29435 = t28567*t28948+t28565*t29018;
- t28552 = RATIONAL(-1.0,192.0);
- t28603 = RATIONAL(-1.0,48.0);
- t28485 = t28603*t28658;
- t29434 = t28552*t28946+t28485;
- t28580 = RATIONAL(1.0,12.0);
- t28900 = t28580*t28662;
- t28640 = RATIONAL(1.0,3.0);
- t29433 = (t28900+t28640)*t28657;
- t28609 = RATIONAL(1.0,24.0);
- t28479 = t28609*t28658;
- t28597 = RATIONAL(1.0,96.0);
- t28883 = t28597*t28658;
- t28188 = t28662*t28883;
- t29432 = t28479+t28188;
- t28514 = t28640*t28658;
- t28192 = t28658*t28900;
- t29431 = t28514+t28192;
- t29430 = t28534*t28961+t28529*t28946;
- t28628 = RATIONAL(1.0,6.0);
- t28509 = t28628*t28658;
- t29429 = t28657*t28509+t28619;
- t28949 = t28657*t28660;
- t28122 = t28609*t28949;
- t28604 = RATIONAL(-5.0,48.0);
- t28856 = t28604*t29020;
- t29428 = t28122+t28856;
- t28368 = t28642*t28949;
- t28526 = t28654*t28660;
- t29427 = t28368+t28526;
- t28906 = t28659*t28658;
- t29031 = x*t28658;
- t29426 = t28572*t28906+t28571*t29031;
- t28471 = t28622*t28662;
- t29385 = t28471+t28613;
- t28114 = t28589*t28948;
- t28596 = RATIONAL(2.0,27.0);
- t29015 = x*t28596;
- t28225 = t28660*t29015;
- t29425 = t28225+t28114;
- t28940 = t28572*t28658;
- t29424 = t28571*t28961+t28662*t28940;
- t28450 = t28574*t28659;
- t29423 = t28537*t28948+y*t28450;
- t28578 = RATIONAL(1.0,54.0);
- t28310 = t28578*t28948;
- t29014 = x*t28593;
- t28267 = t28660*t29014;
- t29422 = t28267+t28310;
- t29421 = t28659*t28917+x*t28952;
- t28967 = t28657*t28571;
- t29420 = t28656*t28967+t28572*t28919;
- t28095 = t28660*t28476;
- t29419 = t28095+t28619*t29018;
- t28555 = RATIONAL(5.0,192.0);
- t28568 = RATIONAL(-5.0,576.0);
- t28448 = t28568*t28656;
- t29418 = t28448+t28555*t28961;
- t29417 = t28567*t29018+t28565*t28948;
- t28894 = t28661*t28565;
- t29416 = x*t28894+t28567*t28953;
- t29415 = t28532*t28662+t28531*t28656;
- t27889 = t28659*t28894;
- t29414 = t28567*t29033+t27889;
- t28899 = t28656*t28596;
- t29413 = t28899+t28491;
- t28898 = t28657*t28588;
- t29412 = t28642*t28657+t28662*t28898;
- t28911 = t28657*t28659;
- t29411 = x*t28977+t28571*t28911;
- t28599 = RATIONAL(-1.0,96.0);
- t28937 = t28599*t28658;
- t28319 = t28662*t28937;
- t29410 = t28466+t28319;
- t29409 = t28656*t28940+t28571*t28946;
- t28938 = t28662*t28660;
- t28916 = t28656*t28660;
- t29408 = t28533*t28938+t28530*t28916;
- t28437 = t28539*t28662;
- t28563 = RATIONAL(-1.0,288.0);
- t29407 = t28437+t28563*t28919;
- t28487 = t28596*t28659;
- t28334 = t28660*t28487;
- t29027 = x*t28553;
- t28583 = RATIONAL(-8.0,27.0);
- t29406 = t28334+t28583*t29018+y*t29027;
- t29405 = t28619*t28916+t29473*y;
- t29404 = t28575*t28661+t29470*z;
- t29403 = t28539*t28953+t28574*t29033+t29472*z;
- t28987 = t28657*t28656;
- t29402 = t28529*t28987+t28534*t28919+t29415;
- t29401 = x*t28940+t28571*t28906+t29468;
- t29400 = t28572*t28911+x*t28967+t29472;
- t29399 = t28574*t28948+t28539*t29018+t29468*y;
- t29398 = t28534*t28987+t28529*t28919+t29471;
- t28986 = t28661*t28662;
- t28905 = t28661*t28530;
- t29397 = t28656*t28905+t28533*t28986+t29471*z;
- t28585 = RATIONAL(1.0,27.0);
- t28921 = t28661*t28656;
- t28340 = t28585*t28921;
- t28587 = RATIONAL(-1.0,27.0);
- t28976 = t28587*t28662;
- t28153 = z*t28976;
- t29353 = y*t28340+t28660*t28153;
- t28785 = t28661*t28938;
- t28951 = t28593*t28656;
- t28350 = z*t28951;
- t29344 = t28578*t28785+y*t28350;
- t29282 = t29344+t29353;
- t29396 = (t28648+t28514)*t28661;
- t29395 = t29466*t28661;
- t29040 = y*z;
- t28461 = t28596*t28662;
- t28145 = t28589*t28916;
- t28886 = t28585*t28660;
- t28266 = t28656*t28886;
- t28125 = y*t28976;
- t29356 = z*t28266+t28661*t28125;
- t29393 = t28461*t29040+t28661*t28145+t29356;
- t28582 = RATIONAL(-1.0,36.0);
- t28997 = t28582*t28662;
- t28630 = RATIONAL(-1.0,9.0);
- t28505 = t28630*y;
- t29392 = y*t28997+t28505;
- t28171 = t28582*t28911;
- t28912 = t28612*t28658;
- t28321 = x*t28912;
- t29391 = t28171+t28321;
- t28472 = t28587*x;
- t28801 = t28600*t28911;
- t29390 = t28658*t28801+t28472;
- t27908 = t28561*t28906;
- t28982 = t28657*t28575;
- t28279 = x*t28982;
- t29389 = t27908+t28279;
- t28158 = t28575*t29031;
- t28002 = t28561*t28911;
- t29388 = t28158+t28002;
- t28232 = t28582*t28906;
- t28974 = t28657*t28612;
- t28256 = x*t28974;
- t29387 = t28232+t28256;
- t28055 = t28561*t29031;
- t29386 = t28055+t28575*t28911;
- t28823 = t28657*t28906;
- t29384 = t28457+t28599*t28823;
- t28325 = t28597*t28919;
- t29383 = t28609*t28657+t28325;
- t28970 = t28657*t28582;
- t28209 = x*t28970;
- t28896 = t28659*t28612;
- t28185 = t28658*t28896;
- t29382 = t28209+t28185;
- t28522 = t28631*t28660;
- t28810 = t28661*t28522;
- t28540 = RATIONAL(-5.0,144.0);
- t28904 = t28662*t28540;
- t27921 = z*t28904;
- t28606 = RATIONAL(5.0,36.0);
- t28994 = t28606*t28656;
- t28097 = y*t28994;
- t28998 = t28582*t28785+z*t28097;
- t29381 = t28656*t28810+y*t27921+t28998;
- t28558 = RATIONAL(-5.0,192.0);
- t28956 = t28558*t28656;
- t28569 = RATIONAL(5.0,576.0);
- t28453 = t28569*t28656;
- t29380 = t28453+t28657*t28956;
- t28451 = t28548*t28659;
- t28942 = t28580*t28658;
- t28783 = t28657*t28942;
- t29379 = t28451+x*t28783;
- t28265 = t28599*t28919;
- t29378 = t28607*t28657+t28265;
- t28827 = t28657*t28937;
- t28455 = t28536*t28659;
- t29377 = x*t28827+t28455;
- t28459 = t28585*x;
- t28814 = t28603*t28906;
- t29376 = t28459+t28657*t28814;
- t27987 = t28565*t28961;
- t29375 = t27987+t29460;
- t28033 = t28552*t28919;
- t29374 = t28033+t28603*t28657+t29470;
- t27920 = t28559*t28919;
- t29373 = t27920+t28600*t28657+t29438;
- t29000 = z*t29018;
- t29372 = z*t28114+t28578*t29000+t29464*y;
- t28852 = t28578*t29033;
- t28096 = t28589*t28953;
- t29371 = t29465*z+(t28096+t28852)*y;
- t27931 = t28567*t28919;
- t28885 = t28657*t28565;
- t29370 = t28656*t28885+t27931+t29409;
- t28373 = t28648*t28916;
- t29008 = t28662*t29040;
- t28625 = RATIONAL(5.0,9.0);
- t29369 = t28661*t28373+t28625*t29008;
- t28013 = t28547*t28938;
- t27996 = t28538*t28921;
- t29368 = z*t28013+y*t27996;
- t28893 = t28659*t28563;
- t28060 = t28658*t28893;
- t28920 = t28657*t28622;
- t28335 = x*t28920;
- t29367 = t28060+t28335;
- t28822 = t28657*t28883;
- t29366 = t28444+t28659*t28822;
- t28874 = z*t28938;
- t28824 = t28601*t28921;
- t29365 = y*t28824+t28604*t28874;
- t28880 = y*t28986;
- t28879 = z*t28916;
- t29364 = t28604*t28880+t28601*t28879;
- t28782 = t28609*t28938;
- t28932 = RATIONAL(-25.0,96.0)*t28656;
- t29363 = t28932*t29040+t28661*t28782;
- t28182 = t28622*t28938;
- t28620 = RATIONAL(-5.0,18.0);
- t29009 = y*t28620;
- t28869 = t28661*t29009;
- t29362 = t28656*t28869+z*t28182;
- t29028 = RATIONAL(25.0,6.0)*z;
- t28626 = RATIONAL(-1.0,6.0);
- t29361 = t28626*t28785+y*t28656*t29028;
- t28959 = t28662*t28554;
- t27913 = y*t28959;
- t28806 = t28660*t28917;
- t29360 = z*t27913+t28656*t28806;
- t28259 = t28661*t28471;
- t29026 = z*t28660;
- t28849 = t28620*t29026;
- t29359 = t28656*t28849+y*t28259;
- t28442 = t28536*t28656;
- t27973 = z*t28442;
- t29358 = y*t27973+t28554*t28785;
- t27917 = t28563*t28986;
- t27915 = t28541*t28916;
- t29357 = z*t27915+y*t27917;
- t28605 = RATIONAL(5.0,12.0);
- t28638 = RATIONAL(-5.0,3.0);
- t28872 = y*t28921;
- t29355 = t28638*t28872+t28605*t28874;
- t28010 = t28661*t28440;
- t27986 = t28548*t28916;
- t29354 = y*t28010+z*t27986;
- t28016 = t28548*t28921;
- t27891 = t28537*t28938;
- t29352 = y*t28016+z*t27891;
- t28475 = t28578*t28662;
- t28201 = y*t28475;
- t28224 = t28593*t28916;
- t29351 = t28661*t28224+z*t28201;
- t28289 = t28578*t28916;
- t27966 = y*t28445;
- t29350 = t28661*t28289+z*t27966;
- t27929 = t28538*t28916;
- t28897 = t28661*t28547;
- t27975 = t28662*t28897;
- t29349 = y*t27975+z*t27929;
- t28616 = RATIONAL(10.0,9.0);
- t28837 = t28616*t29026;
- t29024 = y*t28661;
- t28841 = t28637*t29024;
- t29348 = t28662*t28841+t28656*t28837;
- t28818 = t28661*t28916;
- t28936 = t28662*t28569;
- t27963 = z*t28936;
- t29347 = y*t27963+t28567*t28818;
- t28089 = y*t28448;
- t29345 = z*t28089+t28565*t28785;
- t29343 = t28638*t28879+t28605*t28880;
- t28307 = t28581*t28916;
- t28592 = RATIONAL(5.0,72.0);
- t28881 = t28662*t28592;
- t28131 = y*t28881;
- t29342 = t28661*t28131+z*t28307;
- t28871 = t28586*t29026;
- t28962 = t28661*t28548;
- t28071 = t28662*t28962;
- t29341 = y*t28071+t28656*t28871;
- t28621 = RATIONAL(-5.0,72.0);
- t28272 = t28621*t28921;
- t28802 = t28613*t28938;
- t29339 = z*t28802+y*t28272;
- t29003 = RATIONAL(-20.0,9.0)*t29040;
- t29338 = t28631*t28785+t28656*t29003;
- t28177 = z*t28881;
- t28130 = t28581*t28921;
- t29337 = t28660*t28177+y*t28130;
- t28784 = t28613*t28986;
- t28115 = t28621*t28916;
- t29336 = z*t28115+y*t28784;
- t27959 = t28657*t28893;
- t28148 = x*t28882;
- t29335 = t27959+t28148;
- t28889 = t28567*t28658;
- t28789 = t28661*t28889;
- t29334 = x*t28789+(t28455+t28055)*z;
- t29333 = z*t28148+t29461;
- t28452 = t28547*t28659;
- t27912 = z*t28452;
- t28305 = t28622*t28953;
- t29332 = t27912+z*t28321+t28658*t28305;
- t29011 = x*t28563;
- t27890 = t28657*t29011;
- t28439 = t28554*t28659;
- t28803 = t28660*t28885;
- t29331 = x*t28803+(t28439+t27890)*y;
- t28102 = t28622*t28948;
- t29330 = t28657*t28102+(t28452+t28256)*y;
- t28166 = t28582*t29031;
- t28981 = t28661*t28658;
- t28804 = t28575*t28981;
- t29329 = t28659*t28804+(t28451+t28166)*z;
- t28338 = t28575*t28961;
- t28332 = t28656*t28982;
- t29328 = t28657*t28319+t28338+t28332;
- t28268 = t28656*t28882;
- t28280 = t28656*t28920;
- t29327 = t28658*t28325+t28268+t28280;
- t27960 = t28537*t28953;
- t29326 = t27960+(t28158+t28450)*z;
- t28004 = t28658*t29011;
- t28834 = x*t28981;
- t29325 = t28565*t28834+(t28439+t28004)*z;
- t28149 = t28575*t28948;
- t28088 = y*t28451;
- t29324 = t28657*t28149+y*t28209+t28088;
- t28477 = t28585*t28656;
- t28787 = t28662*t28485;
- t28446 = t28548*t28662;
- t29323 = t28656*t28783+t28477+t28657*t28787+t28446;
- t28205 = t28656*t28974;
- t28492 = t28587*t28656;
- t29322 = t28589*t28938+t28657*t28182+(t28205+t28492)*y;
- t29034 = x*t28606;
- t28270 = z*t29034;
- t28470 = t28581*t28661;
- t28287 = x*t28470;
- t29321 = t28270+t28287+t29455*t28659;
- t28828 = t28657*t28961;
- t29320 = t28658*t27920+t28552*t28828+t29459;
- t29319 = t27917+t28661*t28188+t29418*z;
- t28618 = RATIONAL(-5.0,36.0);
- t28992 = t28618*t28656;
- t28944 = t28605*t28656;
- t28112 = t28657*t28944;
- t29318 = t28657*t28782+t28575*t28938+(t28112+t28992)*y;
- t28557 = RATIONAL(5.0,144.0);
- t28903 = t28659*t28557;
- t27926 = y*t28903;
- t28792 = t28661*t28896;
- t28508 = t28630*t28660;
- t28406 = t28661*t28508;
- t29041 = y*x;
- t28137 = t28618*t29041;
- t29317 = t28660*t28792+x*t28406+(t28137+t27926)*z;
- t29316 = t29354+t29368;
- t28291 = t28607*t28949;
- t28608 = RATIONAL(-5.0,12.0);
- t28928 = t28608*t28656;
- t28197 = t28657*t28928;
- t29315 = t28182+y*t28197+t28097+t28662*t28291;
- t28339 = t28662*t28479;
- t28110 = t28658*t28944;
- t29314 = (t28481+t28339)*t28661+(t28110+t28992)*z;
- t28807 = t28657*t28891;
- t28434 = t28547*t28662;
- t28829 = t28657*t28497;
- t29313 = t28656*t28807+t28434+t28662*t28829+t28492;
- t27968 = t28565*t28946;
- t28447 = t28554*t28656;
- t29312 = t28538*t28986+t28661*t27968+(t28268+t28447)*z;
- t29311 = t28538*t28938+t28662*t28803+(t28447+t28280)*y;
- t28901 = t28585*t28662;
- t28798 = t28575*t28949;
- t28121 = t28582*t28919;
- t29310 = t28289+t28656*t28798+(t28121+t28901)*y;
- t27940 = t28561*t28986;
- t27924 = t28658*t28956;
- t29309 = t27940+t28661*t28319+(t27924+t28453)*z;
- t28276 = t28660*t28898;
- t28868 = y*t28987;
- t28644 = RATIONAL(-5.0,6.0);
- t28925 = t28656*t28616;
- t29308 = t28644*t28868+y*t28925+t28631*t28938+t28662*t28276;
- t28465 = t28621*t28656;
- t28786 = t28661*t28497;
- t28595 = RATIONAL(5.0,96.0);
- t28331 = t28595*t28961;
- t28922 = t28582*t28661;
- t29307 = (t28922+t28786)*t28662+(t28331+t28465)*z;
- t28036 = t28662*t28885;
- t28218 = t28613*t28916;
- t29306 = t28657*t28218+t28224+(t28446+t28036)*y;
- t28848 = t28601*t29020;
- t28478 = t28581*t28660;
- t28217 = x*t28478;
- t28797 = t28607*t28911;
- t29305 = t28660*t28797+y*t29034+t28659*t28848+t28217;
- t29304 = t29349+t29360;
- t28180 = t28613*t28906;
- t28263 = t28587*t29033;
- t28793 = t28658*t28922;
- t28269 = z*t29015;
- t29303 = z*t28180+t28659*t28793+t28263+t28269;
- t28228 = z*t29014;
- t28199 = t28661*t28459;
- t28143 = t28659*t28884;
- t29302 = t28228+z*t28143+t28199+t28658*t28792;
- t28165 = t28659*t28886;
- t28085 = t28659*t28897;
- t29301 = t28594*t29000+z*t28165+(t28085+t28263)*y;
- t28990 = t28659*t28578;
- t28191 = z*t28990;
- t29300 = t29422*t28661+(t28228+t28191)*y;
- t29299 = t29366+t29377;
- t27972 = t28561*t28916;
- t29298 = z*t27972+t28564*t28880+t29347;
- t28984 = t28659*t28540;
- t27897 = y*t28984;
- t29297 = y*t28270+t28922*t28948+z*t27897+x*t28810;
- t28045 = t28548*t28953;
- t28892 = t28587*t28660;
- t28233 = t28659*t28892;
- t29296 = x*t28871+z*t28233+(t28199+t28045)*y;
- t28264 = t28657*t28896;
- t29295 = t28264+t28166+t29376;
- t28480 = t28592*t28656;
- t28598 = RATIONAL(-5.0,96.0);
- t28229 = t28598*t28961;
- t29294 = (t28787+t28902)*t28661+(t28229+t28480)*z;
- t29030 = x*t28657;
- t27950 = t28561*t29030;
- t29293 = t27950+t28575*t28906+t29335;
- t29292 = t29352+t29358;
- t28878 = t28644*t29016;
- t29291 = z*t28925+t28656*t28878+t29441*t28661;
- t29290 = t29366+t29367;
- t29289 = t28657*t28307+t28660*t28899+(t27931+t28434)*y;
- t28963 = t28660*t28661;
- t28875 = x*t28963;
- t29288 = t28622*t28875+t28661*t28149+t29447*z;
- t27918 = x*t28897;
- t29287 = t28658*t27889+t27918+(t28444+t28060)*z;
- t29013 = x*t28548;
- t27895 = z*t29013;
- t28816 = t28661*t28947;
- t28817 = t28660*t28897;
- t29286 = x*t28816+t28659*t28817+(t27895+t27912)*y;
- t29285 = t28659*t28803+y*t27959+t29436;
- t28348 = t28598*t28987;
- t28800 = t28603*t28938;
- t29284 = t28657*t28800+t28660*t28902+(t28480+t28348)*y;
- t28260 = t28622*t28919;
- t29283 = y*t28260+t27913+t27929+t28656*t28803;
- t29039 = x*z;
- t29038 = y*t29039;
- t28384 = t28661*t28526;
- t28400 = t28630*t28948;
- t28655 = RATIONAL(-5.0,9.0);
- t29005 = t28659*t29040;
- t29281 = t28655*t29005+RATIONAL(20.0,9.0)*t29038+x*t28384+t28661*t28400;
- t28084 = x*t28962;
- t29280 = t28084+t28659*t28789+(t28457+t27908)*z;
- t28500 = t28613*t28660;
- t29279 = x*t28500+t28137+t29428*t28659;
- t29278 = x*t28807+t28452+t29390;
- t28512 = t28648*t28660;
- t28395 = x*t28512;
- t29277 = t28659*t28810+t28625*t29005+x*t29003+t28661*t28395;
- t28183 = t28657*t28902;
- t28813 = t28657*t28916;
- t29276 = t28622*t28813+y*t28183+t28125+t28145;
- t28068 = t28548*t28938;
- t29019 = y*t28586;
- t28864 = t28661*t29019;
- t29275 = t28656*t28864+z*t28068+t29356;
- t29274 = t29344+t29351;
- t28993 = t28659*t28589;
- t28179 = y*t28993;
- t29273 = y*t28269+z*t28179+t29425*t28661;
- t28311 = t28581*t28911;
- t28151 = x*t28886;
- t28808 = t28660*t28911;
- t29272 = t28612*t28808+t28151+(t28311+t29014)*y;
- t28794 = t28582*t28949;
- t28254 = t28613*t28911;
- t28337 = x*t28892;
- t29271 = t28659*t28794+t28337+(t28254+t29015)*y;
- t28194 = t28582*t28961;
- t29270 = t28662*t28804+t28661*t28475+(t28194+t28477)*z;
- t28323 = t28656*t28970;
- t29269 = t28578*t28938+t28662*t28798+(t28323+t28477)*y;
- t28623 = RATIONAL(5.0,18.0);
- t28988 = t28659*t28623;
- t28330 = z*t28988;
- t28791 = t28661*t28500;
- t29268 = y*t28330+t28661*t28217+t28659*t28791+t29009*t29039;
- t29267 = t29358+t29360;
- t29037 = x*t28547;
- t28070 = y*t29037;
- t29266 = t28659*t28816+x*t28817+(t28088+t28070)*z;
- t28646 = RATIONAL(5.0,6.0);
- t28836 = t28646*t29016;
- t28518 = t28630*t28662;
- t28614 = RATIONAL(-10.0,9.0);
- t28973 = t28656*t28614;
- t29265 = t28656*t28836+z*t28973+(t28518+t28192)*t28661;
- t28821 = t28600*t28949;
- t28929 = t28657*t28595;
- t28251 = t28656*t28929;
- t29264 = t28662*t28821+t28582*t28938+(t28465+t28251)*y;
- t29263 = x*t28822+t28439+t29384;
- t29262 = t28660*t27931+t27891+(t28442+t28332)*y;
- t29032 = x*t28564;
- t28061 = z*t29032;
- t28918 = t28659*t28541;
- t27946 = y*t28918;
- t29261 = t28575*t28875+z*t27946+t28661*t28102+y*t28061;
- t28124 = t28656*t28912;
- t29260 = t29443*t28661+(t28124+t28492)*z;
- t29259 = t28010+t27973+z*t28338+t28662*t28789;
- t28069 = t28561*t28919;
- t28249 = t28612*t28916;
- t29258 = t28657*t28249+t27986+y*t28069+t27966;
- t29257 = y*t28002+t28567*t28808+t29437;
- t28496 = t28613*t28661;
- t28854 = z*t28906;
- t28160 = t28661*t28479;
- t29021 = z*t28618;
- t29256 = t28659*t28160+t28604*t28854+(t29021+t28496)*x;
- t28207 = t28658*t28928;
- t28250 = t28607*t28946;
- t29255 = t28661*t28250+t28259+(t28994+t28207)*z;
- t28141 = t28580*t28949;
- t29254 = t28662*t28141+y*t28973+t28630*t28938+t28646*t28868;
- t29022 = y*t28623;
- t28190 = t28581*t28948;
- t28995 = t28659*t28620;
- t28257 = y*t28995;
- t29253 = z*t28257+x*t28791+t28661*t28190+t29022*t29039;
- t29252 = t28559*t28828+t28658*t28033+t29456;
- t28774 = t28618*t29008+t28661*t28249+t28998;
- t29251 = t28774+t29336+t29337;
- t28839 = x*t28949;
- t29250 = t28622*t28839+y*t28264+t28070+t29440;
- t29249 = t29362+t29342+t29381;
- t29248 = t28260+(t28578+t28822)*t28656+t29443;
- t28126 = t28575*t28946;
- t28128 = t28575*t28919;
- t29247 = t28126+t28475+t28128+(t28827+t28589)*t28656;
- t28831 = t28637*t29026;
- t28833 = t28616*t29024;
- t28767 = t28656*t28833+t28662*t28831+t29338;
- t28842 = t28641*t29026;
- t28943 = t28662*t28620;
- t28302 = y*t28943;
- t29246 = t28767+t28656*t28842+t28661*t28302+t29369;
- t29245 = t28661*t28148+(t28185+t29037)*z+t29421;
- t27902 = t28659*t28885;
- t29244 = t28613*t28839+(t28459+t27902)*y+t29422;
- t29243 = t29359+t29337+t29381;
- t28811 = t28661*t28945;
- t28163 = t28578*t28953;
- t27909 = t28565*t28906;
- t28971 = t28661*t28593;
- t28317 = x*t28971;
- t29242 = x*t28811+t28163+t28317+(t27909+t28459)*z;
- t27958 = t28561*t28921;
- t29241 = y*t27958+t29345+t29357+t28564*t28874+t29347;
- t29240 = t28069+t28442+t28609*t28828+t29452;
- t29239 = t28774+t29339+t29342;
- t28054 = t28567*t28911;
- t29238 = t28581*t28839+(t28054+t28472)*y+t29425;
- t28825 = t28657*t28466;
- t27927 = t28563*t28946;
- t29237 = t28656*t28825+t28447+t27927+t29407;
- t29236 = x*t28798+(t28171+t29013)*y+t29465;
- t28845 = t28641*t29024;
- t29235 = t28656*t28845+t28662*t28849+t29338+t29348+t29369;
- t29234 = z*t28232+t27895+x*t28804+t29464;
- t28058 = t28659*t28889;
- t28931 = t28661*t28596;
- t28136 = x*t28931;
- t29233 = t28096+t28581*t28834+t28136+(t28058+t28472)*z;
- t28636 = RATIONAL(1.0,8.0);
- t28983 = t28657*t28658;
- t28830 = t28658*t28919;
- t28584 = RATIONAL(-5.0,32.0);
- t29232 = RATIONAL(1.0,32.0)*t28830+t28465+t28636*t28983+t28584*t28828+
-t29385;
- t28591 = RATIONAL(5.0,32.0);
- t28647 = RATIONAL(-1.0,8.0);
- t29231 = t28591*t28828+t28480+t28647*t28983+RATIONAL(-1.0,32.0)*t28830+
-t29394;
- t29230 = t29257+t29354;
- t27444 = t28612*t28839;
- t29229 = t27444+y*t28279+t29350+t29423;
- t29228 = t29320+t29375;
- t28923 = t28631*t28656;
- t29227 = t28657*t28923+t28121+t28124+t29313;
- t28888 = t28630*t28656;
- t29226 = t28183+t28657*t28888+t28194+t29323;
- t28421 = t28653*t29026;
- t28146 = y*t28496;
- t28150 = t28606*t28916;
- t28743 = t28406+t28661*t28150+t28998+t29392*z;
- t29225 = t28421+t28146+t28743+t29339+t29359;
- t28484 = t28585*t28659;
- t28152 = t28661*t28484;
- t29224 = t28884*t29039+z*t28476+t28152+t29303;
- t29029 = x*t28637;
- t28391 = t28658*t29029;
- t29223 = t28631*t28834+t29303+(t28391+t28993)*z;
- t28972 = t28630*t28658;
- t28796 = t28661*t28972;
- t28413 = x*t28910;
- t29222 = z*t28413+x*t28796+t28191+t29302;
- t29221 = t29257+t29331;
- t28469 = t28587*t28659;
- t28196 = t28661*t28469;
- t29220 = z*t28487+t28196+t28945*t29039+t29302;
- t28377 = x*t28930;
- t29219 = t28630*t28839+t29272+(t28990+t28377)*y;
- t29218 = t29280+t29325;
- t29217 = t28567*t28839+t29285+(t28455+t27950)*y;
- t29216 = t29287+t29334;
- t29215 = t28656*t28889+t29252+t29420;
- t28211 = z*t28500;
- t29214 = t28653*t29024+t28211+t28743+t29336+t29362;
- t28378 = t28657*t29029;
- t29213 = y*t28378+t28631*t28839+t28179+t29271;
- t28858 = t28595*t29016;
- t28957 = t28621*t28662;
- t29212 = t28656*t28786+z*t28957+t28662*t28858+t28582*t28921+t29294;
- t28556 = RATIONAL(-1.0,384.0);
- t28799 = RATIONAL(1.0,384.0)*t28983;
- t29211 = t28662*t28799+t28556*t28828+t29398+t29430;
- t28866 = y*t28953;
- t28907 = t28661*t28606;
- t28862 = y*t28907;
- t29210 = x*t28862+t28618*t28866+t28522*t29039+z*t28400+t29268;
- t29209 = t28630*t29030+t27909+t29295+t29379;
- t29208 = t28016+t28661*t28124+t29259+t29452*z;
- t29207 = t28661*t27987+t27996+t29259+(t28275+t28959)*z;
- t28865 = t28594*t29024;
- t28857 = z*t28948;
- t29206 = t28594*t28857+RATIONAL(-32.0,27.0)*t29038+t28553*t29000+t28619*
-t29005+t28659*t28865+t29406*t28661;
- t29205 = t29286+t29372;
- t28524 = t28626*t28658;
- t28805 = t28656*t28524;
- t28978 = t28662*t28557;
- t28859 = t28604*t29016;
- t29204 = t28661*t28805+t28662*t28859+z*t28978+t28613*t28921+t29314;
- t27899 = t28660*t28915;
- t28838 = t28589*t29018;
- t29203 = t28661*t28838+t28659*t28806+(t27899+t29436)*z+(t27918+t29461)*y;
- t29202 = t28661*t28194+t28656*t28897+t29312+(t27927+t28437)*z;
- t29201 = t28556*t28830+t28656*t28799+t29402+t29467;
- t28844 = t28557*t29026;
- t29200 = t29288+t28659*t28844+t28540*t29000+t29414*y;
- t29199 = x*t28825+t28441+t29290+t29335;
- t28360 = t28645*t29026;
- t29035 = x*t28614;
- t28092 = y*t29035;
- t28863 = t28661*t29022;
- t29198 = t29281+x*t28360+t28661*t28092+(t28421+t28863)*t28659;
- t28850 = t28654*t29020;
- t28877 = y*t28919;
- t29197 = t28630*t28877+t28637*t28813+t28657*t28802+t28593*t28938+t28656*
-t28850+t29405;
- t28996 = t28659*t28606;
- t28195 = t28659*t28470;
- t29196 = t29256+z*t28996+t28195+t29455*x;
- t29195 = t28561*t28808+t28563*t28839+t29411*y+t29399;
- t27954 = t28563*t28938;
- t29194 = t28657*t27954+t28561*t28813+t28536*t28938+t28656*t28914+(t29420+
-t29456)*y;
- t28861 = t28598*t29020;
- t29193 = t28603*t28813+t28249+t28662*t28861+t28131+t29264;
- t28316 = t28575*t28953;
- t29192 = y*t28316+t28623*t29000+t28621*t28857+x*t28146+t29317;
- t29191 = t29286+t29371;
- t29190 = t27890+t28659*t28882+t29263+t29388;
- t28965 = t28657*t28631;
- t28867 = y*t28965;
- t29189 = t28583*t28916+t28662*t28867+t28660*t28101+t28596*t28938+t29457*
-t28656+t29453*y;
- t28870 = x*t28983;
- t29188 = t28484+t28603*t28870+t29387+t29390+t29391;
- t28826 = t28658*t28921;
- t29187 = t28662*t28846+t28130+t27921+t28628*t28826+t29255;
- t28873 = z*t28946;
- t28611 = RATIONAL(-5.0,24.0);
- t28960 = t28623*t28662;
- t29186 = t28611*t28873+t28642*t28826+t28654*t28921+z*t28960+t29265;
- t28939 = t28659*t28631;
- t28405 = t28660*t28939;
- t28387 = t28640*t28949;
- t29036 = x*t28616;
- t29006 = x*t29020;
- t28615 = RATIONAL(5.0,24.0);
- t29010 = t28615*y;
- t28843 = t28657*t29010;
- t29185 = y*t29036+t28644*t29006+x*t28387+t28405+t28257+t28395+(t28276+
-t28843)*t28659;
- t28950 = t28662*t28536;
- t29184 = t28537*t28916+t28567*t28813+t29311+(t28950+t28128)*y;
- t29183 = t29277+(t28841+t28849)*t28659+(t28845+t28837)*x;
- t29182 = t28662*t28952+t28563*t28826+t28658*t27940+t28656*t28917+(t29409+
-t29459)*z;
- t28320 = t28658*t28902;
- t29181 = z*t28320+t28153+t28589*t28921+t28661*t28268+t29270;
- t29002 = x*t29024;
- t29180 = y*t28163+t28589*t29002+t29266+t29440*z;
- t29179 = t28469+x*t28829+t29295+t29382;
- t28820 = t28561*t28949;
- t29178 = t28536*t28916+t28563*t28813+(t28914+t28820)*t28662+(t29459+
-t29460)*y;
- t29177 = t27902+x*t28972+t29376+t29379+t29382;
- t28366 = t28645*t29024;
- t28347 = z*t29035;
- t29176 = t28660*t28347+t28653*t28866+x*t28366+t28623*t28857+t29281;
- t28851 = t28615*t29016;
- t29175 = t28662*t28851+z*t28943+t28648*t28921+t28640*t28826+t29291;
- t28855 = t28648*t29016;
- t29174 = t28656*t28855+t28583*t28921+t28662*t28931+t28631*t28873+t29451*
-t28661+t29453*z;
- t28860 = y*t28929;
- t29173 = t28600*t28813+t28662*t28860+y*t28957+t28582*t28916+t29284;
- t29172 = t28657*t28250+t28593*t28662+t29429*t28656+t29446+t29450;
- t29171 = t28058+x*t28965+t29278+t29391;
- t28463 = t28575*t28660;
- t29170 = z*t28463+t28540*t28818+t28612*t28963+t29357+t29404*y;
- t29169 = t29290+t29377+t29386;
- t29168 = t28559*t28823+t28552*t28870+t29401+t29411;
- t29167 = t29236+t29330;
- t28790 = t28571*t28949;
- t28788 = t28572*t28949;
- t28909 = t28533*t28656;
- t29166 = t28662*t28790+t28660*t28909+t28530*t28938+t28656*t28788+t29402*y
+fp t26025;
+fp t26028;
+fp t26158;
+fp t26156;
+fp t26827;
+fp t26026;
+fp t26029;
+fp t26157;
+fp t26826;
+fp t26825;
+fp t26027;
+fp t26030;
+fp t26153;
+fp t26318;
+fp t26320;
+fp t26824;
+fp t26043;
+fp t26049;
+fp t26823;
+fp t26039;
+fp t26061;
+fp t26822;
+fp t26821;
+fp t26155;
+fp t26311;
+fp t26313;
+fp t26820;
+fp t26154;
+fp t26314;
+fp t26316;
+fp t26819;
+fp t26042;
+fp t25931;
+fp t26053;
+fp t26152;
+fp t26324;
+fp t26818;
+fp t26052;
+fp t26817;
+fp t26312;
+fp t26376;
+fp t26816;
+fp t26815;
+fp t26814;
+fp t26051;
+fp t25943;
+fp t26044;
+fp t26813;
+fp t26047;
+fp t26056;
+fp t26381;
+fp t26812;
+fp t26811;
+fp t25937;
+fp t26059;
+fp t26810;
+fp t26048;
+fp t26089;
+fp t26809;
+fp t25949;
+fp t26050;
+fp t26808;
+fp t26315;
+fp t26378;
+fp t26807;
+fp t26806;
+fp t26805;
+fp t25930;
+fp t26055;
+fp t26804;
+fp t26768;
+fp t26767;
+fp t25942;
+fp t26046;
+fp t26803;
+fp t26100;
+fp t26136;
+fp t26802;
+fp t26323;
+fp t26325;
+fp t26801;
+fp t26800;
+fp t26799;
+fp t26798;
+fp t26797;
+fp t26319;
+fp t26380;
+fp t26796;
+fp t26795;
+fp t26794;
+fp t26793;
+fp t26060;
+fp t25954;
+fp t26040;
+fp t26792;
+fp t26791;
+fp t26790;
+fp t26058;
+fp t26789;
+fp t26788;
+fp t26787;
+fp t26786;
+fp t26785;
+fp t26784;
+fp t26038;
+fp t25929;
+fp t26062;
+fp t26783;
+fp t26106;
+fp t26084;
+fp t26345;
+fp t26782;
+fp t26085;
+fp t26107;
+fp t26335;
+fp t26781;
+fp t26086;
+fp t26092;
+fp t26780;
+fp t26779;
+fp t26093;
+fp t26142;
+fp t26778;
+fp t26777;
+fp t26095;
+fp t26134;
+fp t26776;
+fp t26775;
+fp t26096;
+fp t26102;
+fp t26774;
+fp t26773;
+fp t26103;
+fp t26128;
+fp t26772;
+fp t26771;
+fp t26105;
+fp t26140;
+fp t26770;
+fp t26769;
+fp t26766;
+fp t26087;
+fp t26765;
+fp t26097;
+fp t26764;
+fp t26098;
+fp t25979;
+fp t26763;
+fp t26057;
+fp t26099;
+fp t26762;
+fp t26120;
+fp t26761;
+fp t26090;
+fp t26130;
+fp t26760;
+fp t26151;
+fp t26759;
+fp t26296;
+fp t26297;
+fp t26758;
+fp t26064;
+fp t26757;
+fp t26037;
+fp t26756;
+fp t26374;
+fp t26367;
+fp t26377;
+fp t26368;
+fp t26755;
+fp t26754;
+fp t26753;
+fp t26752;
+fp t25474;
+fp t25510;
+fp t26751;
+fp t25554;
+fp t26294;
+fp t26750;
+fp t26283;
+fp t26749;
+fp t25947;
+fp t26321;
+fp t26306;
+fp t26748;
+fp t26747;
+fp t25935;
+fp t26746;
+fp t26091;
+fp t25969;
+fp t26745;
+fp t25438;
+fp t25732;
+fp t26744;
+fp t25519;
+fp t25652;
+fp t26743;
+fp t25673;
+fp t25759;
+fp t26742;
+fp t25679;
+fp t25753;
+fp t26741;
+fp t26740;
+fp t26144;
+fp t26322;
+fp t26739;
+fp t26326;
+fp t26738;
+fp t26126;
+fp t26737;
+fp t26736;
+fp t26075;
+fp t26080;
+fp t26735;
+fp t26063;
+fp t26357;
+fp t25578;
+fp t26291;
+fp t26078;
+fp t26349;
+fp t25606;
+fp t26293;
+fp t26310;
+fp t26734;
+fp t25486;
+fp t26088;
+fp t25425;
+fp t25560;
+fp t26684;
+fp t26733;
+fp t25552;
+fp t26295;
+fp t25685;
+fp t26101;
+fp t26299;
+fp t26664;
+fp t26337;
+fp t25802;
+fp t26667;
+fp t26732;
+fp t25668;
+fp t25757;
+fp t26731;
+fp t25671;
+fp t25755;
+fp t26730;
+fp t25676;
+fp t25750;
+fp t26729;
+fp t25678;
+fp t25747;
+fp t26728;
+fp t25436;
+fp t26288;
+fp t26727;
+fp t26360;
+fp t25525;
+fp t25644;
+fp t26726;
+fp t25478;
+fp t25683;
+fp t25770;
+fp t26725;
+fp t25476;
+fp t25684;
+fp t25768;
+fp t26724;
+fp t25517;
+fp t26723;
+fp t25724;
+fp t26361;
+fp t26722;
+fp t25558;
+fp t25691;
+fp t25762;
+fp t26721;
+fp t25556;
+fp t25689;
+fp t25763;
+fp t26720;
+fp t25522;
+fp t26719;
+fp t26718;
+fp t25441;
+fp t26717;
+fp t26716;
+fp t26282;
+fp t26284;
+fp t26646;
+fp t26715;
+fp t26647;
+fp t26714;
+fp t25561;
+fp t26285;
+fp t25730;
+fp t25936;
+fp t26287;
+fp t26640;
+fp t26713;
+fp t25660;
+fp t26391;
+fp t25483;
+fp t25953;
+fp t25557;
+fp t26292;
+fp t26317;
+fp t26309;
+fp t26641;
+fp t25452;
+fp t26682;
+fp t26648;
+fp t26712;
+fp t25740;
+fp t25941;
+fp t25477;
+fp t26390;
+fp t25563;
+fp t26642;
+fp t26711;
+fp t25650;
+fp t25948;
+fp t26645;
+fp t26710;
+fp t25674;
+fp t26308;
+fp t26709;
+fp t26307;
+fp t25107;
+fp t25509;
+fp t25484;
+fp t25518;
+fp t26286;
+fp t25423;
+fp t26683;
+fp t26577;
+fp t26708;
+fp t24989;
+fp t25428;
+fp t25437;
+fp t25564;
+fp t26578;
+fp t26707;
+fp t26706;
+fp t26705;
+fp t26704;
+fp t26703;
+fp t26702;
+fp t26701;
+fp t26290;
+fp t26700;
+fp t26699;
+fp t26698;
+fp t26697;
+fp t26696;
+fp t26695;
+fp t26289;
+fp t26694;
+fp t26693;
+fp t26692;
+fp t26691;
+fp t26690;
+fp t26689;
+fp t26688;
+fp t26687;
+fp t26365;
+fp t25389;
+fp t26686;
+fp t25396;
+fp t25514;
+fp t26685;
+fp t25568;
+fp t26681;
+fp t26354;
+fp t26395;
+fp t26679;
+fp t26072;
+fp t26138;
+fp t26369;
+fp t26678;
+fp t26073;
+fp t26298;
+fp t26677;
+fp t26676;
+fp t25784;
+fp t26076;
+fp t26675;
+fp t25785;
+fp t26674;
+fp t26077;
+fp t26110;
+fp t26673;
+fp t26672;
+fp t26083;
+fp t26149;
+fp t26671;
+fp t26670;
+fp t25643;
+fp t26114;
+fp t26669;
+fp t25640;
+fp t26668;
+fp t25963;
+fp t25655;
+fp t26666;
+fp t25985;
+fp t26665;
+fp t26109;
+fp t25817;
+fp t26663;
+fp t25819;
+fp t26662;
+fp t26119;
+fp t26661;
+fp t25651;
+fp t26660;
+fp t26659;
+fp t25680;
+fp t26658;
+fp t25731;
+fp t26657;
+fp t25758;
+fp t26656;
+fp t26655;
+fp t26654;
+fp t26653;
+fp t25400;
+fp t26652;
+fp t25516;
+fp t26651;
+fp t26041;
+fp t26362;
+fp t25403;
+fp t26111;
+fp t26383;
+fp t25827;
+fp t25886;
+fp t26650;
+fp t26649;
+fp t26644;
+fp t26643;
+fp t26639;
+fp t26638;
+fp t25576;
+fp t26637;
+fp t26356;
+fp t25580;
+fp t26386;
+fp t25609;
+fp t26636;
+fp t25852;
+fp t26145;
+fp t26370;
+fp t26394;
+fp t26635;
+fp t25596;
+fp t25994;
+fp t26634;
+fp t25595;
+fp t26633;
+fp t26632;
+fp t26631;
+fp t25988;
+fp t25786;
+fp t26301;
+fp t26630;
+fp t25990;
+fp t25787;
+fp t26304;
+fp t26629;
+fp t25619;
+fp t26332;
+fp t26628;
+fp t25618;
+fp t26627;
+fp t25958;
+fp t26626;
+fp t26385;
+fp t25635;
+fp t26340;
+fp t25739;
+fp t26625;
+fp t25653;
+fp t26624;
+fp t25984;
+fp t26623;
+fp t26622;
+fp t25687;
+fp t26621;
+fp t26619;
+fp t26618;
+fp t26343;
+fp t25659;
+fp t26384;
+fp t25806;
+fp t26617;
+fp t25940;
+fp t26616;
+fp t25752;
+fp t26615;
+fp t25781;
+fp t26614;
+fp t25783;
+fp t26613;
+fp t25974;
+fp t25710;
+fp t26612;
+fp t25972;
+fp t26611;
+fp t25706;
+fp t26610;
+fp t25704;
+fp t26609;
+fp t26123;
+fp t26303;
+fp t26118;
+fp t26329;
+fp t26608;
+fp t26300;
+fp t26607;
+fp t25952;
+fp t25968;
+fp t26606;
+fp t25733;
+fp t26605;
+fp t26604;
+fp t26603;
+fp t26108;
+fp t25813;
+fp t25957;
+fp t26602;
+fp t25814;
+fp t26601;
+fp t26600;
+fp t26116;
+fp t25837;
+fp t26599;
+fp t25838;
+fp t26598;
+fp t26147;
+fp t26353;
+fp t26597;
+fp t26596;
+fp t26121;
+fp t26595;
+fp t25865;
+fp t26594;
+fp t25908;
+fp t26593;
+fp t25440;
+fp t25395;
+fp t26280;
+fp t26592;
+fp t25439;
+fp t26591;
+fp t25467;
+fp t25658;
+fp t25805;
+fp t26590;
+fp t25465;
+fp t25807;
+fp t26589;
+fp t25547;
+fp t25634;
+fp t25738;
+fp t26588;
+fp t25545;
+fp t25636;
+fp t26587;
+fp t26586;
+fp t26585;
+fp t26371;
+fp t26262;
+fp t26584;
+fp t26583;
+fp t25641;
+fp t26582;
+fp t26581;
+fp t25721;
+fp t26580;
+fp t26579;
+fp t26576;
+fp t25700;
+fp t26575;
+fp t25523;
+fp t26574;
+fp t25442;
+fp t26573;
+fp t26572;
+fp t26571;
+fp t25959;
+fp t26375;
+fp t26372;
+fp t26570;
+fp t25866;
+fp t26569;
+fp t25993;
+fp t26568;
+fp t25909;
+fp t26567;
+fp t26031;
+fp t26074;
+fp t26117;
+fp t26566;
+fp t26565;
+fp t26564;
+fp t26563;
+fp t26562;
+fp t26561;
+fp t26560;
+fp t26302;
+fp t26359;
+fp t26559;
+fp t26305;
+fp t26558;
+fp t26557;
+fp t26556;
+fp t25726;
+fp t26081;
+fp t26555;
+fp t25728;
+fp t26554;
+fp t26553;
+fp t26552;
+fp t25472;
+fp t25512;
+fp t26551;
+fp t26550;
+fp t26549;
+fp t26548;
+fp t25542;
+fp t26547;
+fp t25462;
+fp t26546;
+fp t26545;
+fp t26544;
+fp t26543;
+fp t25463;
+fp t26542;
+fp t26541;
+fp t26540;
+fp t26539;
+fp t26538;
+fp t25543;
+fp t26537;
+fp t26536;
+fp t25646;
+fp t26535;
+fp t25648;
+fp t26534;
+fp t25920;
+fp t26533;
+fp t25919;
+fp t26532;
+fp t26531;
+fp t26530;
+fp t26334;
+fp t26529;
+fp t26528;
+fp t26351;
+fp t26527;
+fp t26526;
+fp t26132;
+fp t26525;
+fp t26524;
+fp t25694;
+fp t26333;
+fp t26523;
+fp t25693;
+fp t26379;
+fp t26373;
+fp t26522;
+fp t25773;
+fp t26350;
+fp t26521;
+fp t25772;
+fp t26520;
+fp t26331;
+fp t26519;
+fp t26518;
+fp t26363;
+fp t26517;
+fp t26516;
+fp t25799;
+fp t26515;
+fp t25628;
+fp t26514;
+fp t26513;
+fp t26512;
+fp t26511;
+fp t26510;
+fp t26341;
+fp t26509;
+fp t26508;
+fp t26338;
+fp t26507;
+fp t26506;
+fp t26505;
+fp t26504;
+fp t26503;
+fp t26502;
+fp t26501;
+fp t26500;
+fp t26499;
+fp t26498;
+fp t26497;
+fp t26496;
+fp t26495;
+fp t26388;
+fp t26494;
+fp t26493;
+fp t26113;
+fp t26348;
+fp t26492;
+fp t26491;
+fp t26490;
+fp t26489;
+fp t26488;
+fp t26393;
+fp t26487;
+fp t26486;
+fp t25977;
+fp t26485;
+fp t26484;
+fp t26483;
+fp t26482;
+fp t26481;
+fp t26227;
+fp t26480;
+fp t26228;
+fp t26479;
+fp t26478;
+fp t26477;
+fp t26476;
+fp t26475;
+fp t26474;
+fp t26473;
+fp t26472;
+fp t26471;
+fp t26470;
+fp t26011;
+fp t26469;
+fp t26013;
+fp t26468;
+fp t26004;
+fp t26467;
+fp t26002;
+fp t26466;
+fp t25897;
+fp t26465;
+fp t25898;
+fp t26464;
+fp t26082;
+fp t26104;
+fp t26139;
+fp t26463;
+fp t26129;
+fp t26462;
+fp t25880;
+fp t26461;
+fp t25879;
+fp t26460;
+fp t26094;
+fp t26115;
+fp t26133;
+fp t26459;
+fp t26143;
+fp t26458;
+fp t26263;
+fp t26457;
+fp t26269;
+fp t26456;
+fp t26264;
+fp t26455;
+fp t26270;
+fp t26454;
+fp t26453;
+fp t26452;
+fp t26451;
+fp t26450;
+fp t26449;
+fp t26448;
+fp t24990;
+fp t26268;
+fp t26447;
+fp t25108;
+fp t26274;
+fp t26446;
+fp t26445;
+fp t26444;
+fp t26443;
+fp t26442;
+fp t26441;
+fp t26440;
+fp t26045;
+fp t26054;
+fp t26439;
+fp t26438;
+fp t26437;
+fp t26436;
+fp t26435;
+fp t26434;
+fp t26433;
+fp t26432;
+fp t26431;
+fp t26430;
+fp t26429;
+fp t26428;
+fp t26427;
+fp t26426;
+fp t26425;
+fp t26424;
+fp t26423;
+fp t26422;
+fp t26421;
+fp t26420;
+fp t26419;
+fp t26418;
+fp t26417;
+fp t26416;
+fp t26415;
+fp t26414;
+fp t26413;
+fp t26412;
+fp t26411;
+fp t26410;
+fp t26409;
+fp t26408;
+fp t26407;
+fp t26406;
+fp t26405;
+fp t26404;
+fp t26403;
+fp t26402;
+fp t26401;
+fp t26400;
+fp t26399;
+fp t26398;
+fp t26397;
+fp t26396;
+fp t26387;
+fp t26382;
+fp t26347;
+fp t26330;
+fp t25616;
+fp t25833;
+fp t25871;
+fp t25872;
+fp t25890;
+fp t25891;
+fp t26276;
+fp t26275;
+fp t26273;
+fp t26272;
+fp t26271;
+fp t26267;
+fp t26266;
+fp t26265;
+fp t26261;
+fp t26260;
+fp t26125;
+fp t26259;
+fp t26258;
+fp t26257;
+fp t26079;
+fp t26122;
+fp t26256;
+fp t26255;
+fp t26254;
+fp t26137;
+fp t26253;
+fp t26252;
+fp t26035;
+fp t26148;
+fp t26251;
+fp t26032;
+fp t26250;
+fp t26249;
+fp t26248;
+fp t26070;
+fp t26247;
+fp t26246;
+fp t26245;
+fp t26112;
+fp t26146;
+fp t26244;
+fp t26243;
+fp t26242;
+fp t26131;
+fp t26241;
+fp t26240;
+fp t26239;
+fp t26238;
+fp t26237;
+fp t26068;
+fp t26232;
+fp t26231;
+fp t26230;
+fp t26033;
+fp t26224;
+fp t26223;
+fp t26127;
+fp t26222;
+fp t26221;
+fp t26220;
+fp t26219;
+fp t26218;
+fp t26217;
+fp t26216;
+fp t26215;
+fp t26214;
+fp t26213;
+fp t26212;
+fp t26211;
+fp t26210;
+fp t26209;
+fp t26208;
+fp t26207;
+fp t26206;
+fp t26205;
+fp t26204;
+fp t26203;
+fp t26202;
+fp t26201;
+fp t26200;
+fp t26199;
+fp t26198;
+fp t26197;
+fp t26196;
+fp t26195;
+fp t26194;
+fp t26193;
+fp t26192;
+fp t26191;
+fp t26190;
+fp t26189;
+fp t26188;
+fp t26187;
+fp t26186;
+fp t26185;
+fp t26184;
+fp t26183;
+fp t26182;
+fp t26181;
+fp t26180;
+fp t26179;
+fp t26178;
+fp t26177;
+fp t26176;
+fp t26175;
+fp t26174;
+fp t26173;
+fp t26172;
+fp t26171;
+fp t26170;
+fp t26169;
+fp t26168;
+fp t26167;
+fp t26166;
+fp t26165;
+fp t26164;
+fp t26163;
+fp t26066;
+ t26025 = RATIONAL(1.0,3456.0);
+ t26028 = RATIONAL(-1.0,3456.0);
+ t26158 = x*x;
+ t26156 = t26158*t26158;
+ t26827 = t26025*t26156+t26028*t26158;
+ t26026 = RATIONAL(1.0,1728.0);
+ t26029 = RATIONAL(-1.0,1728.0);
+ t26157 = x*t26158;
+ t26826 = t26026*t26157+t26029*x;
+ t26825 = t26026*x+t26029*t26157;
+ t26027 = RATIONAL(1.0,1152.0);
+ t26030 = RATIONAL(-1.0,1152.0);
+ t26153 = z*z;
+ t26318 = t26153*t26158;
+ t26320 = t26153*t26156;
+ t26824 = t26027*t26320+t26030*t26318;
+ t26043 = RATIONAL(1.0,576.0);
+ t26049 = RATIONAL(1.0,144.0);
+ t26823 = t26043*t26156+t26049;
+ t26039 = RATIONAL(5.0,288.0);
+ t26061 = RATIONAL(-5.0,288.0);
+ t26822 = t26061*t26157+t26039*x;
+ t26821 = t26061*x+t26039*t26157;
+ t26155 = y*y;
+ t26311 = t26155*t26158;
+ t26313 = t26155*t26156;
+ t26820 = t26027*t26311+t26030*t26313;
+ t26154 = y*t26155;
+ t26314 = t26154*t26158;
+ t26316 = t26154*t26156;
+ t26819 = t26029*t26316+t26026*t26314;
+ t26042 = RATIONAL(1.0,864.0);
+ t25931 = t26042*t26157;
+ t26053 = RATIONAL(-1.0,432.0);
+ t26152 = z*t26153;
+ t26324 = t26152*t26157;
+ t26818 = z*t25931+t26053*t26324;
+ t26052 = RATIONAL(-1.0,576.0);
+ t26817 = t26043*t26320+t26052*t26318;
+ t26312 = t26155*t26157;
+ t26376 = t26155*x;
+ t26816 = t26043*t26312+t26052*t26376;
+ t26815 = t26043*t26318+t26052*t26320;
+ t26814 = t26043*t26376+t26052*t26312;
+ t26051 = RATIONAL(-1.0,864.0);
+ t25943 = t26051*t26157;
+ t26044 = RATIONAL(1.0,432.0);
+ t26813 = t26044*t26324+z*t25943;
+ t26047 = RATIONAL(1.0,216.0);
+ t26056 = RATIONAL(-1.0,216.0);
+ t26381 = t26152*x;
+ t26812 = t26047*t26324+t26056*t26381;
+ t26811 = t26047*t26381+t26056*t26324;
+ t25937 = t26047*x;
+ t26059 = RATIONAL(-1.0,108.0);
+ t26810 = z*t25937+t26059*t26381;
+ t26048 = RATIONAL(1.0,192.0);
+ t26089 = RATIONAL(1.0,48.0);
+ t26809 = t26048*t26320+t26089*t26153;
+ t25949 = t26056*x;
+ t26050 = RATIONAL(1.0,108.0);
+ t26808 = t26050*t26381+z*t25949;
+ t26315 = t26154*t26157;
+ t26378 = t26154*x;
+ t26807 = t26051*t26315+t26042*t26378;
+ t26806 = t26051*t26378+t26042*t26315;
+ t26805 = t26025*t26158+t26028*t26156;
+ t25930 = t26042*t26156;
+ t26055 = RATIONAL(-1.0,288.0);
+ t26804 = t25930+t26055*t26320;
+ t26768 = t26044*t26156+t26053*t26158;
+ t26767 = t26044*t26158+t26053*t26156;
+ t25942 = t26051*t26156;
+ t26046 = RATIONAL(1.0,288.0);
+ t26803 = t25942+t26046*t26320;
+ t26100 = RATIONAL(-1.0,36.0);
+ t26136 = RATIONAL(-1.0,9.0);
+ t26802 = t26100*t26156+t26136;
+ t26323 = t26152*t26158;
+ t26325 = t26152*t26156;
+ t26801 = t26029*t26325+t26026*t26323+t26827*z;
+ t26800 = t26051*t26324+t26042*t26381+t26826*z;
+ t26799 = t26051*t26381+t26042*t26324+t26825*z;
+ t26798 = t26027*t26313+t26030*t26311+t26805;
+ t26797 = t26027*t26318+t26030*t26320+t26827;
+ t26319 = t26153*t26157;
+ t26380 = t26153*x;
+ t26796 = t26043*t26319+t26052*t26380+t26825;
+ t26795 = t26043*t26380+t26052*t26319+t26826;
+ t26794 = t26821*z;
+ t26793 = t26822*z;
+ t26060 = RATIONAL(-5.0,576.0);
+ t25954 = t26060*t26158;
+ t26040 = RATIONAL(5.0,192.0);
+ t26792 = t26040*t26318+t25954;
+ t26791 = t26043*t26313+t26052*t26311;
+ t26790 = t26043*t26311+t26052*t26313;
+ t26058 = RATIONAL(-1.0,144.0);
+ t26789 = t26049*t26324+t26058*t26381;
+ t26788 = t26049*t26315+t26058*t26378;
+ t26787 = t26049*t26381+t26058*t26324;
+ t26786 = t26049*t26378+t26058*t26315;
+ t26785 = t26056*t26315+t26047*t26378;
+ t26784 = t26056*t26378+t26047*t26315;
+ t26038 = RATIONAL(5.0,576.0);
+ t25929 = t26038*t26158;
+ t26062 = RATIONAL(-5.0,192.0);
+ t26783 = t26062*t26311+t25929;
+ t26106 = RATIONAL(-2.0,27.0);
+ t26084 = RATIONAL(4.0,27.0);
+ t26345 = t26084*t26157;
+ t26782 = z*t26345+t26106*t26324;
+ t26085 = RATIONAL(2.0,27.0);
+ t26107 = RATIONAL(-4.0,27.0);
+ t26335 = t26107*t26157;
+ t26781 = t26085*t26324+z*t26335;
+ t26086 = RATIONAL(1.0,96.0);
+ t26092 = RATIONAL(1.0,24.0);
+ t26780 = t26086*t26320+t26092*t26153;
+ t26779 = t26086*t26313+t26092*t26155;
+ t26093 = RATIONAL(1.0,18.0);
+ t26142 = RATIONAL(-2.0,9.0);
+ t26778 = t26093*t26320+t26142*t26318;
+ t26777 = t26093*t26313+t26142*t26311;
+ t26095 = RATIONAL(1.0,12.0);
+ t26134 = RATIONAL(1.0,3.0);
+ t26776 = t26095*t26320+t26134*t26153;
+ t26775 = t26095*t26313+t26134*t26155;
+ t26096 = RATIONAL(-1.0,96.0);
+ t26102 = RATIONAL(-1.0,24.0);
+ t26774 = t26096*t26320+t26102*t26153;
+ t26773 = t26096*t26313+t26102*t26155;
+ t26103 = RATIONAL(-1.0,18.0);
+ t26128 = RATIONAL(2.0,9.0);
+ t26772 = t26103*t26320+t26128*t26318;
+ t26771 = t26103*t26313+t26128*t26311;
+ t26105 = RATIONAL(-1.0,12.0);
+ t26140 = RATIONAL(-1.0,3.0);
+ t26770 = t26105*t26320+t26140*t26153;
+ t26769 = t26105*t26313+t26140*t26155;
+ t26766 = t26052*t26156+t26058;
+ t26087 = RATIONAL(1.0,72.0);
+ t26765 = t26087*t26156+t26093;
+ t26097 = RATIONAL(-1.0,72.0);
+ t26764 = t26097*t26156+t26103;
+ t26098 = RATIONAL(-1.0,54.0);
+ t25979 = t26098*t26156;
+ t26763 = t25979+t26085*t26158;
+ t26057 = RATIONAL(-1.0,192.0);
+ t26099 = RATIONAL(-1.0,48.0);
+ t26762 = t26099*t26155+t26057*t26313;
+ t26120 = RATIONAL(8.0,9.0);
+ t26761 = t26120+t26128*t26156;
+ t26090 = RATIONAL(1.0,36.0);
+ t26130 = RATIONAL(1.0,9.0);
+ t26760 = t26130+t26090*t26156;
+ t26151 = RATIONAL(-8.0,9.0);
+ t26759 = t26151+t26142*t26156;
+ t26296 = y*t26324;
+ t26297 = z*t26315;
+ t26758 = t26297+t26296;
+ t26064 = RATIONAL(-16.0,27.0);
+ t26757 = t26064*t26158+t26084*t26156;
+ t26037 = RATIONAL(16.0,27.0);
+ t26756 = t26037*t26158+t26107*t26156;
+ t26374 = y*t26152;
+ t26367 = x*t26374;
+ t26377 = t26154*z;
+ t26368 = x*t26377;
+ t26755 = t26368+t26367;
+ t26754 = t26097*t26152+t26823*z;
+ t26753 = t26048*t26313+t26089*t26155+t26766;
+ t26752 = t26099*t26153+t26057*t26320+t26823;
+ t25474 = t26050*t26316;
+ t25510 = t26053*t26323;
+ t26751 = z*t25474+y*t25510;
+ t25554 = t26059*t26316;
+ t26294 = y*t26323;
+ t26750 = z*t25554+t26084*t26294;
+ t26283 = t26153*t26312;
+ t26749 = t26086*t26283+t25949;
+ t25947 = t26056*t26157;
+ t26321 = t26153*t26155;
+ t26306 = x*t26321;
+ t26748 = t26086*t26306+t25947;
+ t26747 = t26096*t26283+t25937;
+ t25935 = t26047*t26157;
+ t26746 = t26096*t26306+t25935;
+ t26091 = RATIONAL(1.0,27.0);
+ t25969 = t26091*x;
+ t26745 = t26099*t26283+t25969;
+ t25438 = t26046*t26312;
+ t25732 = t26097*t26380;
+ t26744 = t25438+t25732;
+ t25519 = t26055*t26312;
+ t25652 = t26087*t26380;
+ t26743 = t25519+t25652;
+ t25673 = t26090*t26319;
+ t25759 = t26100*t26376;
+ t26742 = t25673+t25759;
+ t25679 = t26090*t26380;
+ t25753 = t26100*t26312;
+ t26741 = t25679+t25753;
+ t26740 = t26802*z;
+ t26144 = RATIONAL(-4.0,9.0);
+ t26322 = t26153*t26154;
+ t26739 = t26134*t26322+t26144*t26154;
+ t26326 = t26152*t26155;
+ t26738 = t26134*t26326+t26144*t26152;
+ t26126 = RATIONAL(4.0,9.0);
+ t26737 = t26126*t26152+t26140*t26326;
+ t26736 = t26126*t26154+t26140*t26322;
+ t26075 = RATIONAL(5.0,96.0);
+ t26080 = RATIONAL(5.0,24.0);
+ t26735 = t26080+t26075*t26156;
+ t26063 = RATIONAL(-5.0,144.0);
+ t26357 = t26063*t26156;
+ t25578 = z*t26357;
+ t26291 = t26152*t26314;
+ t26078 = RATIONAL(5.0,36.0);
+ t26349 = t26078*t26158;
+ t25606 = z*t26349;
+ t26293 = t26152*t26316;
+ t26310 = y*t25606+t26100*t26293;
+ t26734 = t26310+y*t25578+t26130*t26291;
+ t25486 = z*t25942;
+ t26088 = RATIONAL(1.0,54.0);
+ t25425 = t26044*t26316;
+ t25560 = t26059*t26323;
+ t26684 = z*t25425+y*t25560;
+ t26733 = y*t25486+t26088*t26291+t26684;
+ t25552 = t26059*t26325;
+ t26295 = z*t26314;
+ t25685 = t26091*t26323;
+ t26101 = RATIONAL(-1.0,27.0);
+ t26299 = z*t26316;
+ t26664 = y*t25685+t26101*t26299;
+ t26337 = t26106*t26158;
+ t25802 = z*t26337;
+ t26667 = t26088*t26293+y*t25802;
+ t26732 = y*t25552+t26084*t26295+t26664+t26667;
+ t25668 = t26090*t26320;
+ t25757 = t26100*t26311;
+ t26731 = t25668+t25757+t26136*t26318;
+ t25671 = t26090*t26313;
+ t25755 = t26100*t26318;
+ t26730 = t25671+t25755+t26136*t26311;
+ t25676 = t26090*t26318;
+ t25750 = t26100*t26313;
+ t26729 = t25676+t25750+t26130*t26311;
+ t25678 = t26090*t26311;
+ t25747 = t26100*t26320;
+ t26728 = t25678+t25747+t26130*t26318;
+ t25436 = t26046*t26313;
+ t26288 = t26152*t26311;
+ t26727 = z*t25436+t26090*t26288+t25486+t25560;
+ t26360 = t26056*t26156;
+ t25525 = z*t26360;
+ t25644 = t26087*t26313;
+ t26726 = t26049*t26288+z*t25644+t25510+t25525;
+ t25478 = t26050*t26315;
+ t25683 = t26091*t26324;
+ t25770 = t26101*t26378;
+ t26725 = y*t25683+t26107*t26367+(t25478+t25770)*z;
+ t25476 = t26050*t26324;
+ t25684 = t26091*t26315;
+ t25768 = t26101*t26381;
+ t26724 = z*t25684+t26107*t26368+(t25476+t25768)*y;
+ t25517 = t26055*t26313;
+ t26723 = t26100*t26288+t26050*t26323+(t25517+t25930)*z;
+ t25724 = t26097*t26313;
+ t26361 = t26047*t26156;
+ t26722 = t26058*t26288+t26044*t26323+(t25724+t26361)*z;
+ t25558 = t26059*t26315;
+ t25691 = t26091*t26378;
+ t25762 = t26101*t26324;
+ t26721 = t26084*t26367+y*t25762+(t25558+t25691)*z;
+ t25556 = t26059*t26324;
+ t25689 = t26091*t26381;
+ t25763 = t26101*t26315;
+ t26720 = t26084*t26368+z*t25763+(t25556+t25689)*y;
+ t25522 = t26055*t26380;
+ t26719 = t25522+t26087*t26312+t26748;
+ t26718 = t26092*t26306+t25943+t26744;
+ t25441 = t26046*t26380;
+ t26717 = t25441+t26097*t26312+t26746;
+ t26716 = t26102*t26306+t25931+t26743;
+ t26282 = t26153*t26311;
+ t26284 = t26153*t26313;
+ t26646 = t26048*t26282+t26057*t26284+t26767;
+ t26715 = t26058*t26311+t26646+t26817;
+ t26647 = t26048*t26284+t26057*t26282+t26768;
+ t26714 = t26049*t26311+t26647+t26815;
+ t25561 = t26059*t26314;
+ t26285 = t26153*t26314;
+ t25730 = t26097*t26318;
+ t25936 = t26047*t26158;
+ t26287 = t26153*t26316;
+ t26640 = t26058*t26287+t25425+(t25730+t25936)*y;
+ t26713 = t26640+t26090*t26285+t25561+t26803*y;
+ t25660 = t26088*t26315;
+ t26391 = t26050*x;
+ t25483 = z*t26391;
+ t25953 = t26059*t26157;
+ t25557 = z*t25953;
+ t26292 = t26152*t26315;
+ t26317 = t26154*t26152;
+ t26309 = x*t26317;
+ t26641 = t26050*t26309+t26059*t26292+(t25483+t25557)*y;
+ t25452 = z*t25936;
+ t26682 = y*t25452+t26056*t26293;
+ t26648 = t26047*t26291+y*t25525+t26682;
+ t26712 = t26641+t26648+z*t25660+t26098*t26368+t26812*y;
+ t25740 = t26098*t26315;
+ t25941 = t26050*t26157;
+ t25477 = z*t25941;
+ t26390 = t26059*x;
+ t25563 = z*t26390;
+ t26642 = t26050*t26292+t26059*t26309+(t25477+t25563)*y;
+ t26711 = t26642+t26648+t26088*t26368+z*t25740+t26811*y;
+ t25650 = t26087*t26318;
+ t25948 = t26056*t26158;
+ t26645 = t26049*t26287+t26053*t26316+(t25650+t25948)*y;
+ t26710 = t26645+t26100*t26285+t26050*t26314+t26804*y;
+ t25674 = t26090*t26312;
+ t26308 = x*t26326;
+ t26709 = t26087*t26308+z*t25674+t25483+t26812;
+ t26307 = x*t26322;
+ t25107 = t26100*t26307;
+ t25509 = t26053*t26315;
+ t25484 = t26050*t26378;
+ t25518 = t26055*t26319;
+ t26286 = t26153*t26315;
+ t25423 = t26044*t26325;
+ t26683 = y*t25423+z*t25561;
+ t26577 = t26049*t26286+t25484+t26683+(t25518+t25949)*y;
+ t26708 = t26577+t25107+t25509+t26682+(t25931+t25652)*y;
+ t24989 = t26090*t26307;
+ t25428 = t26044*t26315;
+ t25437 = t26046*t26319;
+ t25564 = t26059*t26378;
+ t26578 = t26683+t26058*t26286+t25564+(t25937+t25437)*y;
+ t26707 = t24989+t26682+t25428+t26578+(t25943+t25732)*y;
+ t26706 = t26092*t26282+t25436+t25936+t26803;
+ t26705 = t26097*t26308+z*t25753+t25563+t26811;
+ t26704 = t26102*t26282+t25517+t25948+t26804;
+ t26703 = t26042*t26293+t26051*t26291+t26819*z+t26801*y;
+ t26702 = t26044*t26292+t26053*t26309+t26807*z+t26800*y;
+ t26701 = t26044*t26309+t26053*t26292+t26806*z+t26799*y;
+ t26290 = t26152*t26313;
+ t26700 = t26026*t26325+t26043*t26288+t26052*t26290+t26029*t26323+t26798*z
;
- t29165 = t29320+t29370;
- t28934 = t28657*t28611;
- t28832 = y*t28934;
- t29164 = t28646*t29006+y*t28988+t28400+t28092+(t28832+t28141)*t28659+
-t29427*x;
- t29163 = t28660*t27997+t28537*t28875+t29458*z+t29403*y;
- t29162 = t29267+t29316;
- t29161 = t28036+t28567*t28987+t29252+t29424;
- t29160 = t28656*t28811+t28593*t28921+t29270+(t27968+t28446)*z;
- t29159 = t29262+t29283;
- t28835 = z*t28972;
- t29158 = t28658*t28784+t28661*t28407+t29462*t28656+(t28835+t28971)*t28662
-+t29445;
- t29157 = t28656*t28796+t28340+t28661*t28320+t28071+t28350+(t28475+t29451)
-*z;
- t28401 = t28628*t28949;
- t29156 = x*t28401+t28608*t29006+t28102+t27897+t29305;
- t29155 = t29297+t28592*t28866+x*t28869+(t28102+t28217)*z;
- t29154 = t28659*t28860+t28603*t28808+(t28861+t28821)*x+t29417+t29447;
- t29153 = t28054+t28631*t29031+t29278+t29387;
- t29012 = x*t28535;
- t29152 = t28637*t28834+z*t29012+(t28835+t28811)*t28659+t29462*x+t29442;
- t29151 = t29424*t28661+t29430*z+t29397;
- t29150 = t29286+t29320;
- t29149 = t28563*t28808+x*t28820+t29400*y+t29458;
- t29148 = t28662*t28917+t28561*t28826+t28661*t27927+t28554*t28921+(t29424+
-t29456)*z;
- t28969 = t28594*t28659;
- t28318 = y*t28969;
- t29147 = t28657*t28190+t28318+t28659*t28867+t29457*x+t29406;
- t29146 = t28659*t28831+t28620*t28866+t29277+(t28833+t28842)*x;
- t27911 = t28662*t28889;
- t29145 = t28581*t28826+t28661*t28899+t29260+(t28434+t27911)*z;
- t29144 = t28538*t28875+t28660*t27960+t29439*y+t29399*z;
- t29001 = RATIONAL(32.0,27.0)*t29040;
- t29004 = t28583*t29040;
- t29143 = t28662*t29004+t28656*t29001+t28593*t28785+t29445*t28660+t29405*
-t28661;
- t29142 = t28004+t28622*t28911+t29263+t29389;
- t28840 = t28557*t29024;
- t29141 = t29288+t28540*t29002+t28659*t28840+t29417*z;
- t29140 = x*t29001+t28586*t28857+(t29000+t29002)*t28535+t29419*t28661+(
-t28864+t29004)*t28659;
- t29139 = t28613*t28808+t28637*t28839+t28911*t28505+x*t28850+(t28958+
-t29012)*y+t29419;
- t28184 = t28582*t28946;
- t29138 = t29260+t28578*t28921+t28661*t28338+(t28184+t28901)*z;
- t28795 = t28661*t28892;
- t29137 = x*t28795+t28661*t28165+t28594*t29038+(t28225+t28095)*z+(t28136+
-t29442)*y;
- t29136 = t28660*t28183+t28630*t28813+t28201+t28266+t28068+(t28951+t29448)
+ t26699 = t26026*t26316+t26043*t26285+t26052*t26287+t26029*t26314+(t26805+
+t26824)*y;
+ t26698 = t26043*t26290+t26052*t26288+t26820*z+t26801;
+ t26697 = t26043*t26287+t26052*t26285+t26797*y+t26819;
+ t26696 = t26047*t26292+t26098*t26309+(t25509+t25484)*z+(t26808+t26818)*y;
+ t26695 = t26046*t26285+t26055*t26287+t26047*t26316+t26056*t26314+(t26767+
+t26817)*y;
+ t26289 = t26152*t26312;
+ t26694 = t26046*t26308+t26055*t26289+t26816*z+t26799;
+ t26693 = t26046*t26307+t26055*t26286+t26796*y+t26806;
+ t26692 = t26046*t26287+t26055*t26285+t26047*t26314+t26056*t26316+(t26768+
+t26815)*y;
+ t26691 = t26046*t26289+t26055*t26308+t26814*z+t26800;
+ t26690 = t26046*t26286+t26055*t26307+t26795*y+t26807;
+ t26689 = t26088*t26309+t26056*t26292+(t25428+t25564)*z+(t26810+t26813)*y;
+ t26688 = t26048*t26283+t26057*t26306+t26795+t26814;
+ t26687 = t26048*t26306+t26057*t26283+t26796+t26816;
+ t26365 = t26038*t26156;
+ t25389 = z*t26365;
+ t26686 = y*t25389+t26058*t26291;
+ t25396 = t26039*t26314;
+ t25514 = t26055*t26325;
+ t26685 = z*t25396+y*t25514;
+ t25568 = z*t25954;
+ t26681 = t26049*t26293+y*t25568;
+ t26354 = RATIONAL(-25.0,96.0)*t26158;
+ t26395 = y*z;
+ t26679 = t26354*t26395+t26092*t26293;
+ t26072 = RATIONAL(25.0,6.0);
+ t26138 = RATIONAL(-1.0,6.0);
+ t26369 = t26158*t26395;
+ t26678 = t26072*t26369+t26138*t26293;
+ t26073 = RATIONAL(10.0,9.0);
+ t26298 = y*t26325;
+ t26677 = t26073*t26295+t26142*t26298;
+ t26676 = t26073*t26294+t26142*t26299;
+ t25784 = t26103*t26323;
+ t26076 = RATIONAL(5.0,72.0);
+ t26675 = t26076*t26299+y*t25784;
+ t25785 = t26103*t26314;
+ t26674 = t26076*t26298+z*t25785;
+ t26077 = RATIONAL(5.0,48.0);
+ t26110 = RATIONAL(-5.0,48.0);
+ t26673 = t26077*t26295+t26110*t26298;
+ t26672 = t26077*t26294+t26110*t26299;
+ t26083 = RATIONAL(5.0,12.0);
+ t26149 = RATIONAL(-5.0,3.0);
+ t26671 = t26083*t26299+t26149*t26294;
+ t26670 = t26083*t26298+t26149*t26295;
+ t25643 = t26087*t26316;
+ t26114 = RATIONAL(-5.0,18.0);
+ t26669 = z*t25643+t26114*t26294;
+ t25640 = t26087*t26325;
+ t26668 = y*t25640+t26114*t26295;
+ t25963 = t26088*t26156;
+ t25655 = z*t25963;
+ t26666 = y*t25655+t26106*t26291;
+ t25985 = t26101*x;
+ t26665 = t26089*t26283+t25985;
+ t26109 = RATIONAL(-5.0,72.0);
+ t25817 = t26109*t26323;
+ t26663 = t26093*t26299+y*t25817;
+ t25819 = t26109*t26314;
+ t26662 = t26093*t26298+z*t25819;
+ t26119 = RATIONAL(-20.0,9.0);
+ t26661 = t26119*t26369+t26130*t26293;
+ t25651 = t26087*t26311;
+ t26660 = t26086*t26284+t25650+t25651;
+ t26659 = t26087*t26286+(t25679+t25941)*y;
+ t25680 = t26090*t26376;
+ t26658 = t26087*t26289+z*t25680+t25477;
+ t25731 = t26097*t26311;
+ t26657 = t26096*t26284+t25730+t25731;
+ t25758 = t26100*t26380;
+ t26656 = t26097*t26286+(t25758+t25953)*y;
+ t26655 = t26097*t26289+z*t25759+t25557;
+ t26654 = t26087*t26292+t26097*t26309+t26794*y;
+ t26653 = t26087*t26309+t26097*t26292+t26793*y;
+ t25400 = t26040*t26311;
+ t26652 = z*t25400+t26086*t26290+t25514+t25568;
+ t25516 = t26055*t26316;
+ t26651 = t26086*t26287+t25516+t26792*y;
+ t26041 = RATIONAL(5.0,144.0);
+ t26362 = t26041*t26157;
+ t25403 = z*t26362;
+ t26111 = RATIONAL(-5.0,36.0);
+ t26383 = t26111*x;
+ t25827 = z*t26383;
+ t25886 = t26136*t26317;
+ t26650 = t26090*t26292+x*t25886+(t25403+t25827)*y;
+ t26649 = z*t25438+t26058*t26289+t26810;
+ t26644 = t26049*t26290+t26053*t26325+(t25651+t25948)*z;
+ t26643 = t26049*t26289+z*t25519+t26808;
+ t26639 = t26058*t26290+z*t25731+t25423+t25452;
+ t26638 = t26096*t26290+t26046*t26325+t26783*z;
+ t25576 = t26062*t26318;
+ t26637 = t26096*t26287+t26046*t26316+(t25576+t25929)*y;
+ t26356 = t26063*t26157;
+ t25580 = z*t26356;
+ t26386 = t26078*x;
+ t25609 = z*t26386;
+ t26636 = t26100*t26292+t26130*t26309+(t25580+t25609)*y;
+ t25852 = t26126*t26317;
+ t26145 = RATIONAL(-5.0,9.0);
+ t26370 = t26157*t26395;
+ t26394 = x*t26395;
+ t26635 = RATIONAL(20.0,9.0)*t26394+x*t25852+t26136*t26292+t26145*t26370;
+ t25596 = t26075*t26311;
+ t25994 = t26109*t26158;
+ t26634 = t26089*t26290+t26100*t26325+(t25596+t25994)*z;
+ t25595 = t26075*t26318;
+ t26633 = t26089*t26287+t26100*t26316+(t25595+t25994)*y;
+ t26632 = t26662+t26675;
+ t26631 = t26663+t26674;
+ t25988 = t26103*t26152;
+ t25786 = x*t25988;
+ t26301 = z*t26312;
+ t26630 = t26077*t26301+t26102*t26289+t25609+t25786;
+ t25990 = t26103*t26154;
+ t25787 = x*t25990;
+ t26304 = y*t26319;
+ t26629 = t26077*t26304+t26102*t26286+y*t26386+t25787;
+ t25619 = t26083*t26311;
+ t26332 = t26111*t26158;
+ t26628 = t26092*t26290+t26097*t26325+(t25619+t26332)*z;
+ t25618 = t26083*t26318;
+ t26627 = t26092*t26287+t26097*t26316+(t25618+t26332)*y;
+ t25958 = t26085*t26156;
+ t26626 = t25958*t26395+t26098*t26291+t26664;
+ t26385 = t26085*x;
+ t25635 = z*t26385;
+ t26340 = t26098*t26157;
+ t25739 = z*t26340;
+ t26625 = t26085*t26309+t26098*t26292+(t25635+t25739)*y;
+ t25653 = t26087*t26376;
+ t26624 = t25518+t25653+t26749;
+ t25984 = t26101*t26158;
+ t26623 = t26087*t26287+t26098*t26316+(t25676+t25984)*y;
+ t26622 = t26087*t26290+t26098*t26325+(t25678+t25984)*z;
+ t25687 = t26091*t26314;
+ t26621 = z*t25687+t26101*t26298+t26667;
+ t26619 = t26095*t26306+t25953+t26666;
+ t26618 = t26105*t26306+t25941+t26666;
+ t26343 = t26088*t26157;
+ t25659 = z*t26343;
+ t26384 = t26106*x;
+ t25806 = z*t26384;
+ t26617 = t26088*t26292+t26106*t26309+(t25659+t25806)*y;
+ t25940 = t26050*t26156;
+ t26616 = t26089*t26284+t26105*t26282+t25940+t25984;
+ t25752 = t26100*t26319;
+ t26615 = t25680+t25752+t26665;
+ t25781 = t26103*t26319;
+ t26614 = t26090*t26286+t25691+(t25781+t26384)*y;
+ t25783 = t26103*t26312;
+ t26613 = t26090*t26289+z*t25783+t25689+t25806;
+ t25974 = t26093*t26154;
+ t25710 = x*t25974;
+ t26612 = t26092*t26286+t26110*t26304+t25710+y*t26383;
+ t25972 = t26093*t26152;
+ t26611 = t26092*t26289+t26110*t26301+x*t25972+t25827;
+ t25706 = t26093*t26312;
+ t26610 = z*t25706+t26100*t26289+t25635+t25768;
+ t25704 = t26093*t26319;
+ t26609 = t26100*t26286+t25770+(t25704+t26385)*y;
+ t26123 = RATIONAL(5.0,6.0);
+ t26303 = y*t26318;
+ t26118 = RATIONAL(-10.0,9.0);
+ t26329 = t26118*t26158;
+ t26608 = t26095*t26287+t26123*t26303+y*t26329+t26136*t26316;
+ t26300 = z*t26311;
+ t26607 = t26095*t26290+t26123*t26300+z*t26329+t26136*t26325;
+ t25952 = t26059*t26156;
+ t25968 = t26091*t26158;
+ t26606 = t26095*t26282+t26099*t26284+t25952+t25968;
+ t25733 = t26097*t26376;
+ t26605 = t25437+t25733+t26747;
+ t26604 = t26097*t26287+t26088*t26316+(t25755+t25968)*y;
+ t26603 = t26097*t26290+t26088*t26325+(t25757+t25968)*z;
+ t26108 = RATIONAL(-5.0,96.0);
+ t25813 = t26108*t26318;
+ t25957 = t26076*t26158;
+ t26602 = t26099*t26287+t26090*t26316+(t25813+t25957)*y;
+ t25814 = t26108*t26311;
+ t26601 = t26099*t26290+t26090*t26325+(t25814+t25957)*z;
+ t26600 = t25674+t25758+t26745;
+ t26116 = RATIONAL(-5.0,12.0);
+ t25837 = t26116*t26318;
+ t26599 = t26102*t26287+t25643+(t25837+t26349)*y;
+ t25838 = t26116*t26311;
+ t26598 = t26102*t26290+z*t25838+t25606+t25640;
+ t26147 = RATIONAL(-5.0,6.0);
+ t26353 = t26073*t26158;
+ t26597 = t26105*t26287+t26147*t26303+y*t26353+t26130*t26316;
+ t26596 = t26105*t26290+t26147*t26300+z*t26353+t26130*t26325;
+ t26121 = RATIONAL(5.0,9.0);
+ t26595 = t26119*t26394+t26121*t26370+t26130*t26292+t26144*t26309;
+ t25865 = t26128*t26380;
+ t26594 = t26136*t26307+t25558+(t25865+t26343)*y;
+ t25908 = t26142*t26380;
+ t26593 = t26130*t26307+t25478+(t25908+t26340)*y;
+ t25440 = t26046*t26314;
+ t25395 = t26039*t26323;
+ t26280 = y*t25395+z*t25516+t26681;
+ t26592 = z*t25440+t26061*t26298+t26280+t26686;
+ t25439 = t26046*t26323;
+ t26591 = y*t25439+t26061*t26299+t26681+t26685+t26686;
+ t25467 = t26049*t26312;
+ t25658 = t26088*t26324;
+ t25805 = t26106*t26381;
+ t26590 = t25805+t26093*t26308+t25658+(t25969+t25467)*z;
+ t25465 = t26049*t26319;
+ t25807 = t26106*t26378;
+ t26589 = t25807+t26093*t26307+t25660+(t25969+t25465)*y;
+ t25547 = t26058*t26312;
+ t25634 = t26085*t26381;
+ t25738 = t26098*t26324;
+ t26588 = t26103*t26308+t25634+t25738+(t25547+t25985)*z;
+ t25545 = t26058*t26319;
+ t25636 = t26085*t26378;
+ t26587 = t26103*t26307+t25636+t25740+(t25545+t25985)*y;
+ t26586 = t26668+t26675+t26734;
+ t26585 = t26669+t26674+t26734;
+ t26371 = t26156*t26395;
+ t26262 = t26121*t26371+t26144*t26291+t26661;
+ t26584 = t26114*t26299+t26120*t26294+t26262+t26677;
+ t26583 = t26114*t26298+t26120*t26295+t26262+t26676;
+ t25641 = t26087*t26320;
+ t26582 = t26086*t26282+t25641+t25644+t26088*t26158+t25979;
+ t26581 = t26087*t26307+(t25673+t26391)*y+t26784;
+ t25721 = t26097*t26320;
+ t26580 = t26096*t26282+t25721+t25724+t25963+t26098*t26158;
+ t26579 = t26097*t26307+(t25752+t26390)*y+t26785;
+ t26576 = z*t25974+t26128*t26374+t26662+t26669;
+ t25700 = y*t25972;
+ t26575 = t25700+t26128*t26377+t26663+t26668;
+ t25523 = t26055*t26376;
+ t26574 = t26049*t26308+t26649+(t25523+t25947)*z;
+ t25442 = t26046*t26376;
+ t26573 = t26058*t26308+t26643+(t25442+t25935)*z;
+ t26572 = t26049*t26318+t26647+t26790;
+ t26571 = t26058*t26318+t26646+t26791;
+ t25959 = t26085*t26157;
+ t26375 = t26155*z;
+ t26372 = x*t26375;
+ t26570 = t26093*t26372+z*t25959+t25762+t26613;
+ t25866 = t26128*t26376;
+ t26569 = z*t25866+t26136*t26308+t25659+t26613;
+ t25993 = t26106*t26157;
+ t26568 = t26103*t26372+t25683+z*t25993+t26610;
+ t25909 = t26142*t26376;
+ t26567 = t26130*t26308+z*t25909+t25739+t26610;
+ t26031 = RATIONAL(32.0,27.0);
+ t26074 = RATIONAL(8.0,27.0);
+ t26117 = RATIONAL(-8.0,27.0);
+ t26566 = t26031*t26369+t26117*t26371+t26106*t26293+t26074*t26291+(t26299+
+t26298)*t26084+(t26295+t26294)*t26064;
+ t26565 = t26031*t26394+t26117*t26370+t26106*t26292+t26074*t26309+t26758*
+t26084+t26755*t26064;
+ t26564 = t26085*t26292+t26117*t26309+RATIONAL(-32.0,27.0)*t26394+t26074*
+t26370+t26758*t26107+t26755*t26037;
+ t26563 = t26041*t26368+t26063*t26297+t26654+t26787*y;
+ t26562 = t26041*t26367+t26063*t26296+t26654+t26786*z;
+ t26561 = t26041*t26297+t26063*t26368+t26653+t26789*y;
+ t26560 = t26041*t26296+t26063*t26367+t26653+t26788*z;
+ t26302 = z*t26313;
+ t26359 = t26060*t26156;
+ t26559 = t26040*t26302+t26086*t26288+t26055*t26323+z*t26359+t26638;
+ t26305 = y*t26320;
+ t26558 = t26040*t26305+t26086*t26285+t26055*t26314+y*t26359+t26637;
+ t26557 = t26062*t26302+t26096*t26288+t25389+t25439+t26652;
+ t26556 = t26062*t26305+t26096*t26285+y*t26365+t25440+t26651;
+ t25726 = t26097*t26324;
+ t26081 = RATIONAL(5.0,18.0);
+ t26555 = t26081*t26368+x*t25700+y*t25726+t26109*t26297+t26650;
+ t25728 = t26097*t26315;
+ t26554 = t26081*t26367+t26109*t26296+t26650+(t25710+t25728)*z;
+ t26553 = t26046*t26288+t26055*t26290+t26047*t26325+t26056*t26323+(t26767+
+t26791)*z;
+ t26552 = t26046*t26290+t26055*t26288+t26047*t26323+t26056*t26325+(t26768+
+t26790)*z;
+ t25472 = t26050*t26325;
+ t25512 = t26053*t26314;
+ t26551 = y*t25472+z*t25512+t26648+t26684;
+ t26550 = t25476+t26574;
+ t26549 = t26641+y*t25658+t26098*t26367+t26784*z;
+ t26548 = t26642+t26088*t26367+y*t25738+t26785*z;
+ t25542 = t26058*t26320;
+ t26547 = t25542+t26572;
+ t25462 = t26049*t26320;
+ t26546 = t25462+t26571;
+ t26545 = t26058*t26285+t26044*t26314+t26645+(t25721+t26361)*y;
+ t26544 = t26624+t26644;
+ t26543 = t26605+t26644;
+ t25463 = t26049*t26313;
+ t26542 = t26603+t26093*t26288+t26106*t26323+(t25952+t25463)*z;
+ t26541 = t26604+t26093*t26285+t26106*t26314+(t25952+t25462)*y;
+ t26540 = t26049*t26285+t25512+t26640+(t25641+t26360)*y;
+ t26539 = t26624+t26639;
+ t26538 = t26605+t26639;
+ t25543 = t26058*t26313;
+ t26537 = t26622+t26103*t26288+t26085*t26323+(t25940+t25543)*z;
+ t26536 = t26623+t26103*t26285+t26085*t26314+(t25940+t25542)*y;
+ t25646 = t26087*t26324;
+ t26535 = t26076*t26297+t26114*t26368+t26636+(t25646+t25786)*y;
+ t25648 = t26087*t26315;
+ t26534 = t26076*t26296+t26114*t26367+t26636+(t25648+t25787)*z;
+ t25920 = t26151*t26374;
+ t26533 = t26081*t26297+t26118*t26368+t26128*t26296+x*t25920+t26635;
+ t25919 = t26151*t26377;
+ t26532 = t26081*t26296+t26118*t26367+t26128*t26297+x*t25919+t26635;
+ t26531 = t26073*t26368+t26114*t26297+t26120*t26367+t26142*t26296+t26595;
+ t26530 = t26073*t26367+t26114*t26296+t26120*t26368+t26142*t26297+t26595;
+ t26334 = t26109*t26156;
+ t26529 = t26075*t26302+t26089*t26288+t26100*t26323+z*t26334+t26601;
+ t26528 = t26075*t26305+t26089*t26285+t26100*t26314+y*t26334+t26602;
+ t26351 = t26076*t26156;
+ t26527 = t26099*t26288+t26108*t26302+z*t26351+t26090*t26323+t26634;
+ t26526 = t26099*t26285+t26108*t26305+y*t26351+t26090*t26314+t26633;
+ t26132 = RATIONAL(1.0,6.0);
+ t26525 = t26077*t26302+t26132*t26288+t25578+t25784+t26598;
+ t26524 = t26077*t26305+t26132*t26285+y*t26357+t25785+t26599;
+ t25694 = t26092*t26326;
+ t26333 = t26111*t26157;
+ t26523 = x*t25694+t26110*t26372+t26093*t26324+z*t26333+t26630;
+ t25693 = t26092*t26322;
+ t26379 = t26153*y;
+ t26373 = x*t26379;
+ t26522 = x*t25693+t26110*t26373+t26093*t26315+y*t26333+t26629;
+ t25773 = t26102*t26326;
+ t26350 = t26078*t26157;
+ t26521 = t26077*t26372+x*t25773+z*t26350+t26103*t26324+t26611;
+ t25772 = t26102*t26322;
+ t26520 = t26077*t26373+x*t25772+y*t26350+t26103*t26315+t26612;
+ t26331 = t26114*t26156;
+ t26519 = t26080*t26302+t26134*t26288+z*t26331+t26144*t26323+t26596;
+ t26518 = t26080*t26305+t26134*t26285+y*t26331+t26144*t26314+t26597;
+ t26363 = t26041*t26156;
+ t26517 = t26110*t26302+t26138*t26288+z*t26363+t26093*t26323+t26628;
+ t26516 = t26110*t26305+t26138*t26285+y*t26363+t26093*t26314+t26627;
+ t25799 = t26106*t26315;
+ t26515 = t26101*t26309+t26091*t26292+t26107*t26394+(t25636+t25799)*z+(
+t25634+t26782)*y;
+ t25628 = t26085*t26315;
+ t26514 = t26084*t26394+t26091*t26309+t26101*t26292+(t25628+t25807)*z+(
+t25805+t26781)*y;
+ t26513 = t26616+t26625;
+ t26512 = t26606+t26625;
+ t26511 = t25442+t26097*t26319+t26743+t26746+t26749;
+ t26510 = t25523+t26087*t26319+t26744+t26747+t26748;
+ t26341 = t26091*t26156;
+ t26509 = t26097*t26285+t26088*t26314+t26623+(t25747+t26341)*y;
+ t26508 = t26097*t26288+t26088*t26323+t26622+(t25750+t26341)*z;
+ t26338 = t26101*t26156;
+ t26507 = t26087*t26285+t26098*t26314+t26604+(t25668+t26338)*y;
+ t26506 = t26087*t26288+t26098*t26323+t26603+(t25671+t26338)*z;
+ t26505 = t26616+t26617;
+ t26504 = t26606+t26617;
+ t26503 = t26099*t26306+t26091*t26157+t26615+t26741;
+ t26502 = t26089*t26306+t26101*t26157+t26600+t26742;
+ t26501 = t26090*t26287+t25687+t26136*t26285+t25554+(t25963+t26337+t26772)
*y;
- t29135 = t28618*t29002+z*t28405+t28659*t28862+t28508*t29039+t29253;
- t29134 = x*t28849+t28592*t28857+t29297+(t28305+t28287)*y;
- t29133 = t28661*t28075+t28660*t28852+(t28084+t27960)*y+(t29423+t29437)*z;
- t28386 = t28658*t28923;
- t29132 = t28661*t28386+t28587*t28921+t27975+t28662*t28793+(t29413+t29446)
+ t26500 = t26090*t26290+t25655+t25685+t26136*t26288+t25552+t25802+t26771*z
+;
+ t26499 = t26092*t26283+t26138*t26306+t25781+t25783+t25865+t25866+t25959+
+t26117*x;
+ t26498 = t26093*t26287+t26126*t26303+t26136*t26305+t26142*t26285+t26074*
+t26314+t26106*t26316+t26757*y;
+ t26497 = t26093*t26290+t26126*t26300+t26136*t26302+t26142*t26288+t26074*
+t26323+t26106*t26325+t26757*z;
+ t26496 = t25472+t26100*t26290+t26130*t26288+t26101*t26323+(t26763+t26777)
*z;
- t29131 = t28450+t28609*t28870+t29384+t29388+t29389;
- t28941 = t28659*t28613;
- t28980 = t28618*t28659;
- t29130 = t29321+t28661*t28941+z*t28980+(t28160+t28859)*x;
- t29129 = t28378+t28658*t28797+t28391+t28180+t28254+t28476+t29429*x;
- t29128 = t28547*t28916+t28656*t28794+t29311+t29407*y;
- t29127 = t28540*t28866+x*t28840+t29261+t29435*z;
- t28306 = t28661*t28487;
- t28464 = t28583*x;
- t29126 = t28658*t28195+t28653*t28834+t28631*t28854+x*t28855+t28306+t28661
-*t28464+(t29027+t28969)*z;
- t29125 = t28013+t28631*t28813+t28656*t28892+t28662*t28794+(t29413+t29450)
+ t26495 = t25474+t26100*t26287+t26130*t26285+t26101*t26314+(t26763+t26778)
*y;
- t29124 = t27958+t28599*t28826+t28558*t28873+t27963+t29319;
- t29123 = t28659*t28795+t29019*t29039+t28661*t28151+(t28306+t28317)*y+(
-t28267+t28318+t28334)*z;
- t29122 = t28539*t28785+t28574*t28818+t29408*z+t29397*y;
- t29121 = t28626*t28870+t28487+t28377+t28311+t28464+t28143+t28413+t28609*
-t28823;
- t29120 = t28662*t28788+t28656*t28790+t29398*y+t29408;
- t29119 = t28659*t28861+t27946+x*t28860+t28603*t28839+t28660*t28801+y*
-t29032+t29435;
- t29118 = t28540*t28857+x*t28844+t29261+t29416*y;
- t29117 = t29317+t28621*t28866+z*t28149+(t28863+t28211)*x;
- t29116 = t28537*t28921+t28656*t28789+t29312+(t28126+t28950)*z;
- t28927 = t28568*t28662;
- t29115 = t28555*t28873+t28597*t28826+z*t28927+t28563*t28921+t29309;
- t28203 = t28609*t28919;
- t29114 = t28657*t28805+t28658*t28203+t28583*t28656+t28461+t29448+t29451;
- t29113 = t28552*t28823+t28559*t28870+t29400+t29426;
- t29112 = t28662*t28905+(t28909+t29409)*t28661+(t29415+t29467)*z;
- t29111 = t29266+(t28838+t28310)*z+t29421*y;
- t29110 = t29293+t29299;
- t28819 = t28661*t28485;
- t29109 = t28598*t28873+t28177+t28656*t28819+t28612*t28921+t29307;
- t28363 = t28626*t28949;
- t29108 = t28605*t29006+t27926+x*t28363+t28149+t29279;
- t28371 = t28655*t28916;
- t29107 = t28366+t28767+t28360+t28384+RATIONAL(16.0,9.0)*t29040+t28654*
-t29008+t28661*t28371+t29348;
- t29106 = t28165+y*t28476+t28581*t29006+t27444+t29271+t29393+t29282;
- t28023 = t28659*t28947;
- t28729 = t29274+t29300;
- t29105 = t28729+x*t28864+y*t28196+t29275+(t28023+t28151)*z;
- t27961 = t28547*t28948;
- t28742 = t29273+t29274;
- t29104 = t28742+y*t28152+x*t28865+t29275+(t27961+t28337)*z;
- t28342 = t28661*t28891;
- t28507 = t28631*t28661;
- t29103 = t28658*t28824+t28342+t28618*t28921+t29294+t28507+(t29432+t29394)
-*z;
- t29102 = t28564*t28921+t28293+t29309+(t28331+t28622)*t28661+(t29438+
-t29449)*z;
- t28026 = t28555*t28987;
- t28576 = RATIONAL(1.0,16.0);
- t28175 = t28576*t28983;
- t29101 = RATIONAL(1.0,64.0)*t28830+t28026+t28175+RATIONAL(-5.0,64.0)*
-t28828+t29374+t29418+t29434;
- t29100 = t28500+t28363+t29315+t29392+t28615*t28813+t28115+t29433*y;
- t28517 = t28630*t28661;
- t28220 = t28661*t28942;
- t29099 = t28604*t28826+t28517+t28656*t28907+t29307+t28220+(t29410+t29385)
-*z;
- t28343 = t28611*t28961;
- t28913 = t28628*t28661;
- t28374 = t28658*t28913;
- t29098 = t28661*t28343+t28592*t28921+t28470+t28374+t29314+(t28527+t28104+
-t29444)*z;
- t28895 = t28615*t28656;
- t28243 = t28658*t28895;
- t29097 = t28243+t28524+t28250+t28251+t29232+t29378;
- t28412 = t28661*t28524;
- t29096 = t28661*t28243+t28496+t28412+t28272+t29255+(t28997+t28630+t29431)
+ t26388 = t26064*x;
+ t26494 = t26093*t26286+t26126*t26373+t26136*t26304+t26142*t26307+t26074*
+t26378+t25799+(t26388+t26345)*y;
+ t26493 = t26093*t26289+t26126*t26372+t26136*t26301+t26142*t26308+z*t26388
++t26074*t26381+t26782;
+ t26113 = RATIONAL(-5.0,24.0);
+ t26348 = t26081*t26156;
+ t26492 = t26113*t26305+t26140*t26285+y*t26348+t26126*t26314+t26608;
+ t26491 = t26113*t26302+t26140*t26288+z*t26348+t26126*t26323+t26607;
+ t26490 = t26102*t26283+t26132*t26306+t25704+t25706+t25908+t25909+t26074*x
++t25993;
+ t26489 = t26103*t26287+t26128*t26285+t26130*t26305+t26144*t26303+t26085*
+t26316+t26117*t26314+t26756*y;
+ t26488 = t26103*t26290+t26128*t26288+t26130*t26302+t26144*t26300+t26085*
+t26325+t26117*t26323+t26756*z;
+ t26393 = t26037*x;
+ t26487 = t26103*t26286+t26128*t26307+t26130*t26304+t26144*t26373+t25628+
+t26117*t26378+(t26393+t26335)*y;
+ t26486 = t26103*t26289+t26128*t26308+t26130*t26301+t26144*t26372+z*t26393
++t26117*t26381+t26781;
+ t25977 = t26097*t26154;
+ t26485 = z*t25977+t26063*t26291+t26280+t26090*t26317+t26685+t26754*y;
+ t26484 = t25467+t26136*t26380+t26621+t26619+t26742+t26745+t26750;
+ t26483 = t25465+t26136*t26376+t26600+t26619+t26732;
+ t26482 = t25545+t26130*t26376+t26665+t26618+t26732+t26741;
+ t26481 = t26126*t26371+t26145*t26291+RATIONAL(16.0,9.0)*t26395+t25852+
+t25919+t25920+t26661+t26676+t26677;
+ t26227 = t26609+t26621;
+ t26480 = t24989+t26103*t26373+t25684+y*t25993+t26227+t26626;
+ t26228 = t26614+t26621;
+ t26479 = t26093*t26373+t25107+y*t25959+t25763+t26228+t26626;
+ t26478 = z*t25733+t26649+t26733+t26813;
+ t26477 = z*t25653+t26643+t26733+t26818;
+ t26476 = t25694+t26108*t26288+t25395+t26652+t26762*z+t26754;
+ t26475 = t25693+t26108*t26285+t25396+t25977+t26651+t26752*y;
+ t26474 = t26049*t26307+t26751+t25478+t26578+(t25947+t25522)*y;
+ t26473 = t26577+t26058*t26307+t25558+t26751+(t25935+t25441)*y;
+ t26472 = t26638+t26075*t26288+t26061*t26323+t25773+t26087*t26152+t26753*z
+;
+ t26471 = t26637+t26075*t26285+t26061*t26314+t25772+t26087*t26154+(t26766+
+t26809)*y;
+ t26470 = t25547+t26130*t26380+t26615+t26618+t26750;
+ t26011 = t26136*t26152;
+ t26469 = t26095*t26326+t26110*t26288+t26078*t26323+t26011+t26634+(t26765+
+t26773)*z;
+ t26013 = t26136*t26154;
+ t26468 = t26095*t26322+t26110*t26285+t26078*t26314+t26013+t26633+(t26765+
+t26774)*y;
+ t26004 = t26130*t26154;
+ t26467 = t26077*t26285+t26111*t26314+t26004+t26105*t26322+t26602+(t26764+
+t26780)*y;
+ t26002 = t26130*t26152;
+ t26466 = t26077*t26288+t26111*t26323+t26002+t26105*t26326+t26601+(t26764+
+t26779)*z;
+ t25897 = t26138*t26322;
+ t26465 = t26080*t26285+t25897+t25974+t25819+t26599+(t26776+t26802)*y;
+ t25898 = t26138*t26326;
+ t26464 = t26080*t26288+t25972+t25817+t26740+t25898+t26598+t26775*z;
+ t26082 = RATIONAL(5.0,16.0);
+ t26104 = RATIONAL(-1.0,16.0);
+ t26139 = RATIONAL(-1.0,4.0);
+ t26463 = t26082*t26282+t26104*t26284+t25837+t25838+t26139*t26321+t26121*
+t26158+t26136*t26156+t26144+t26775+t26776;
+ t26129 = RATIONAL(2.0,3.0);
+ t26462 = t26083*t26285+t26132*t26305+t26129*t26379+t26736+t26145*t26314+
+t26597+t26759*y;
+ t25880 = t26132*t26326;
+ t26461 = t25880+t26113*t26288+t26076*t26323+t26628+t25988+(t26760+t26769)
*z;
- t28602 = RATIONAL(-1.0,16.0);
- t28144 = t28602*t28983;
- t29095 = RATIONAL(-1.0,64.0)*t28830+t28144+RATIONAL(5.0,64.0)*t28828+
-t27924+t29373+t29380+t29449;
- t29094 = t28343+t28348+t28339+t28509+t29231+t29383;
- t27718 = x*t28794;
- t29093 = t27718+t27899+t29354+t29285+t29350+(t28335+t28441)*y;
- t28650 = RATIONAL(2.0,3.0);
- t29092 = t28628*t28877+t28650*t29020+t28371+t28605*t28813+t29308+t29463*y
-+t29427;
- t29091 = t28628*t28873+t28650*t29016+t29291+t28661*t28110+t28655*t28921+
-t29395+t29463*z;
- t29090 = t27718+t28613*t29006+t28233+y*t28487+t29272+t29393;
- t29089 = t27931+t28386+t28205+t28184+t29313+t29341+t29351;
- t29088 = t28036+t28658*t28888+t28320+t28323+t29323+t29341+t29353;
- t28809 = t28611*t28916;
- t29087 = t28657*t28809+t28592*t28916+t28401+t28478+t29318+(t29412+t29444)
+ t25879 = t26132*t26322;
+ t26460 = t25879+t26113*t26285+t26076*t26314+t26627+t25990+(t26760+t26770)
*y;
- t27932 = t28541*t28921;
- t29086 = t28661*t28229+t27932+t29319+t28160+t29434*z+t29404;
- t28649 = RATIONAL(-2.0,3.0);
- t29085 = t28608*t28813+t28626*t28877+t28387+t28649*t29020+t28625*t28916+
-t28512+t29254+t29454*y;
- t29084 = t28661*t28207+t28625*t28921+t28649*t29016+t29396+t28626*t28873+
-t29265+t29454*z;
- t29083 = t29160+t29242;
- t27721 = x*t28793;
- t28770 = t27721+t29327;
- t29082 = t28770+t29220+t29247;
- t28763 = t28045+t29324;
- t29081 = t28763+t29222+t29244;
- t27559 = t28612*t28834;
- t28768 = t27559+t29328;
- t29080 = t28768+t29240+t29280+t29326;
- t28765 = t28085+t29330;
- t29079 = t28765+t29223+t29238;
- t29078 = t28770+t29237+t29287+t29333;
- t29077 = t28045+t29330+t29222+t29238;
- t28780 = t28085+t29324;
- t29076 = t28780+t29223+t29244;
- t29075 = t29145+t29233;
- t29074 = t28768+t29224+t29248;
- t29073 = t29136+t29213;
- t29072 = t29209+t29226;
- t29071 = t29171+t29227;
- t29070 = t29209+t29227;
- t29069 = t29125+t29219;
- t29068 = t29171+t29226;
- t29067 = t29123+t29310+t29322;
- t29066 = t29203+t29258+t29262;
- t29065 = t29132+t29289+t29322;
- t29064 = t29122+(t28060+t28055)*t28661+t29426*z+t29403;
- t29063 = t29181+t29188;
- t29062 = t29149+t29201;
- t29061 = t29128+t29133;
- t29060 = t29112+t29144;
- t29059 = t29199+t29202;
- t29058 = t29166+t29168;
- t29057 = t29157+t29269+t29306;
- t29056 = t29112+t29163;
- t29055 = t29179+t29181;
- t29054 = t29153+t29296+t29300;
- t29053 = t29199+t29208;
- t29052 = t29138+t29179;
- t29051 = t29137+t29269+t29276;
- t29050 = t29195+t29211;
- t29049 = t29177+t29273+t29301;
- t29048 = t29144+t29151;
- t29047 = t29131+t29202;
- t29046 = t29131+t29208;
- t29045 = t29122+(t27908+t28004)*t28661+t29401*z+t29439;
- t29044 = t29113+t29120;
- t29043 = t29138+t29188;
- t29042 = t29151+t29163;
- t28633 = RATIONAL(5.0,3.0);
- t29025 = t28633*z;
- t29017 = t28608*z;
- t29007 = x*t29016;
- t28989 = t28633*t28661;
- t28979 = t27968+t27961;
- t28964 = t28588*t28661;
- t28955 = t28649*t28661;
- t28935 = t27911+t27961;
- t28933 = t28595*t28662;
- t28926 = t28608*t28661;
- t28908 = t27911+t28023;
- t28887 = t27968+t28023;
- t28853 = t28660*t29021;
- t28415 = t28661*t28939;
- t28376 = t28630*t28953;
- t28781 = z*t27954+y*t27932+t29345;
- t28776 = t27559+t29327;
- t28772 = t27968+t29329;
- t28771 = t27968+t29332;
- t28769 = t27911+t29329;
- t28766 = t27911+t29332;
- t28764 = t27721+t29328;
- t28562 = RATIONAL(25.0,96.0);
- t28762 = t28598*t28662+t28562*t28656+t28611;
- t28627 = RATIONAL(5.0,8.0);
- t28761 = RATIONAL(-1.0,2.0)+t28627*t28656+t28647*t28662;
- t28542 = RATIONAL(-25.0,12.0);
- t28760 = t28633+t28605*t28662+t28542*t28656;
- t28590 = RATIONAL(5.0,16.0);
- t28759 = t28590*t28662+RATIONAL(5.0,4.0)+RATIONAL(-25.0,16.0)*t28656;
- t28632 = RATIONAL(-5.0,8.0);
- t28758 = RATIONAL(25.0,32.0)*t28656+t28584*t28662+t28632;
- t28757 = t28649+t28646*t28656+t28626*t28662;
- t28756 = RATIONAL(1.0,2.0)+t28636*t28662+t28632*t28656;
- t28577 = RATIONAL(-5.0,16.0);
- t28634 = RATIONAL(1.0,4.0);
- t28755 = t28577*t28656+t28634+t28576*t28662;
- t28754 = t28608*t28662+RATIONAL(25.0,12.0)*t28656+t28638;
- t28753 = t28615+t28933+t28932;
- t28643 = RATIONAL(-1.0,4.0);
- t28752 = t28643+t28602*t28662+t28590*t28656;
- t28751 = t28628*t28662+t28644*t28656+t28650;
- t28750 = t28591*t28662+RATIONAL(-25.0,32.0)*t28656+t28627;
- t28749 = t28632*t28662+RATIONAL(-5.0,2.0)+RATIONAL(25.0,8.0)*t28656;
- t28624 = RATIONAL(-5.0,4.0);
- t28573 = RATIONAL(25.0,16.0);
- t28748 = t28624+t28573*t28656+t28577*t28662;
- t28747 = t28603*t28662+t28601*t28656+t28588;
- t28746 = t28580+t28604*t28656+t28600*t28662;
- t28745 = t28660*t28955+t28644*t29008+t28646*t28818+RATIONAL(-10.0,3.0)*
-t29040+t29361;
- t28744 = t28660*t28913+t28933*t29040+t28661*t28809+z*t29010+t29363;
- t28740 = t29267+t29299;
- t28739 = t28561*t28938+t28660*t28265+t28781+t29380*y;
- t28738 = t29280+t29292;
- t28737 = t29230+t29358;
- t28736 = t29262+t29292;
- t28735 = t29287+t29292;
- t28734 = t29282+t29322;
- t28733 = t28660*t28325+y*t28026+t28089+t27954+t28781;
- t28551 = RATIONAL(-25.0,24.0);
- t28732 = t28650*t28818+t28551*t29008+t29343+t29355+t29361;
- t28731 = t28562*t29008+t28607*t28818+t29363+t29364+t29365;
- t28730 = t29269+t29282;
- t28728 = (t28964+t28615*z)*t28660+(RATIONAL(-25.0,48.0)*z+t28615*t28661)*
-y;
- t28546 = RATIONAL(25.0,48.0);
- t28727 = (t28580*t28661+t28611*z)*t28660+(t28611*t28661+t28546*z)*y;
- t28639 = RATIONAL(4.0,3.0);
- t28726 = t28640*t28874+t28639*t29026+y*t28989+t28542*t28872+t28745+t29343
-;
- t28725 = t28546*t28879+t28603*t28880+y*t28964+t28660*t29017+t28744+t29365
+ t26094 = RATIONAL(1.0,16.0);
+ t26115 = RATIONAL(-5.0,16.0);
+ t26133 = RATIONAL(1.0,4.0);
+ t26459 = t26094*t26284+t26115*t26282+t25618+t25619+t26133*t26321+t26130*
+t26156+t26145*t26158+t26126+t26769+t26770;
+ t26143 = RATIONAL(-2.0,3.0);
+ t26458 = t26116*t26285+t26138*t26305+t26121*t26314+t26739+t26143*t26379+
+t26608+t26761*y;
+ t26263 = t25543+t26655;
+ t26457 = t26263+t26709+t26714;
+ t26269 = t25543+t26658;
+ t26456 = t26269+t26705+t26714;
+ t26264 = t25463+t26655;
+ t26455 = t26264+t26709+t26715;
+ t26270 = t25463+t26658;
+ t26454 = t26270+t26705+t26715;
+ t26453 = t26495+t26590;
+ t26452 = t26500+t26589;
+ t26451 = t26496+t26589;
+ t26450 = t26501+t26588;
+ t26449 = t26500+t26587;
+ t26448 = t26496+t26587;
+ t24990 = t26090*t26308;
+ t26268 = t24990+t26657;
+ t26447 = t26268+t26568+t26582;
+ t25108 = t26100*t26308;
+ t26274 = t25108+t26660;
+ t26446 = t26274+t26570+t26580;
+ t26445 = t26541+t26567;
+ t26444 = t26512+t26725+t26731;
+ t26443 = t26513+t26724+t26729;
+ t26442 = t26536+t26569;
+ t26441 = t26505+t26721+t26728;
+ t26440 = t26504+t26720+t26730;
+ t26045 = RATIONAL(1.0,384.0);
+ t26054 = RATIONAL(-1.0,384.0);
+ t26439 = t26054*t26282+t26703+t26045*t26284+t26797+t26820;
+ t26438 = t26703+t26054*t26284+t26045*t26282+t26798+t26824;
+ t26437 = t26700+t26702;
+ t26436 = t26698+t26702;
+ t26435 = t26700+t26701;
+ t26434 = t26698+t26701;
+ t26433 = t26688+t26699;
+ t26432 = t26687+t26699;
+ t26431 = t26688+t26697;
+ t26430 = t26687+t26697;
+ t26429 = t26117*t26158+t26092*t26284+t26566+t26138*t26282+t25958+t26771+
+t26772;
+ t26428 = t26074*t26158+t26566+t26102*t26284+t26132*t26282+t26106*t26156+
+t26777+t26778;
+ t26427 = t26499+t26565;
+ t26426 = t26490+t26564;
+ t26425 = t26696+t26713;
+ t26424 = t26696+t26710;
+ t26423 = t26689+t26713;
+ t26422 = t26689+t26710;
+ t26421 = t26539+t26716+t26727;
+ t26420 = t26538+t26718+t26727;
+ t26419 = t26544+t26716+t26723;
+ t26418 = t26543+t26718+t26723;
+ t26417 = t26544+t26717+t26722;
+ t26416 = t26543+t26719+t26722;
+ t26415 = t26542+t26594+t26614;
+ t26414 = t26539+t26717+t26726;
+ t26413 = t26538+t26719+t26726;
+ t26412 = t26513+t25543+t26725+t26728;
+ t26411 = t26537+t26593+t26609;
+ t26410 = t25463+t26504+t26721+t26731;
+ t26409 = t26507+t26515;
+ t26408 = t26509+t26514;
+ t26407 = t26503+t26508;
+ t26406 = t26502+t26508;
+ t26405 = t26503+t26506;
+ t26404 = t26502+t26506;
+ t26403 = t26497+t26498;
+ t26402 = t26493+t26494;
+ t26401 = t26486+t26494;
+ t26400 = t26487+t26493;
+ t26399 = t26488+t26489;
+ t26398 = t26486+t26487;
+ t26397 = x*y;
+ t26396 = x*z;
+ t26387 = t26073*x;
+ t26382 = t26118*x;
+ t26347 = t26081*t26157;
+ t26330 = t26114*t26157;
+ t25616 = z*t26347;
+ t25833 = z*t26330;
+ t25871 = t26130*t26324;
+ t25872 = t26130*t26315;
+ t25890 = t26136*t26324;
+ t25891 = t26136*t26315;
+ t26276 = t26090*t26291+t26111*t26371+t26310;
+ t26275 = t24990+t26660;
+ t26273 = t25476+t26659;
+ t26272 = t25542+t26659;
+ t26271 = t25556+t26659;
+ t26267 = t25108+t26657;
+ t26266 = t25462+t26656;
+ t26265 = t25556+t26656;
+ t26261 = t26113*t26157+t26080*x;
+ t26260 = t26113*x+t26080*t26157;
+ t26125 = RATIONAL(5.0,3.0);
+ t26259 = t26116*t26157+t26125*x;
+ t26258 = t26149*x+t26083*t26157;
+ t26257 = t26105+t26099*t26156+t26077*t26158;
+ t26079 = RATIONAL(5.0,32.0);
+ t26122 = RATIONAL(5.0,8.0);
+ t26256 = t26122+RATIONAL(-25.0,32.0)*t26158+t26079*t26156;
+ t26255 = RATIONAL(5.0,4.0)+t26082*t26156+RATIONAL(-25.0,16.0)*t26158;
+ t26254 = t26139+t26104*t26156+t26082*t26158;
+ t26137 = RATIONAL(-1.0,8.0);
+ t26253 = RATIONAL(-1.0,2.0)+t26122*t26158+t26137*t26156;
+ t26252 = t26143+t26123*t26158+t26138*t26156;
+ t26035 = RATIONAL(25.0,16.0);
+ t26148 = RATIONAL(-5.0,4.0);
+ t26251 = t26148+t26115*t26156+t26035*t26158;
+ t26032 = RATIONAL(25.0,96.0);
+ t26250 = t26032*t26158+t26108*t26156+t26113;
+ t26249 = RATIONAL(25.0,12.0)*t26158+t26116*t26156+t26149;
+ t26248 = t26354+t26735;
+ t26070 = RATIONAL(-25.0,12.0);
+ t26247 = t26083*t26156+t26070*t26158+t26125;
+ t26246 = t26089*t26156+t26110*t26158+t26095;
+ t26245 = t26094*t26156+t26115*t26158+t26133;
+ t26112 = RATIONAL(-5.0,32.0);
+ t26146 = RATIONAL(-5.0,8.0);
+ t26244 = t26112*t26156+t26146+RATIONAL(25.0,32.0)*t26158;
+ t26243 = t26132*t26156+t26129+t26147*t26158;
+ t26242 = t26146*t26156+RATIONAL(25.0,8.0)*t26158+RATIONAL(-5.0,2.0);
+ t26131 = RATIONAL(1.0,8.0);
+ t26241 = t26146*t26158+RATIONAL(1.0,2.0)+t26131*t26156;
+ t26240 = t26679+t26113*t26291+t26132*t26317+t26735*t26395;
+ t26239 = t26123*t26291+t26147*t26371+RATIONAL(-10.0,3.0)*t26395+t26143*
+t26317+t26678;
+ t26238 = t26078*t26291+t25886+t26310+t26740*y;
+ t26237 = t26032*t26371+t26102*t26291+t26672+t26673+t26679;
+ t26068 = RATIONAL(-25.0,24.0);
+ t26232 = t26068*t26371+t26129*t26291+t26670+t26671+t26678;
+ t26231 = y*t25616+t26093*t26292+t26103*t26309+t26114*t26394+t26276;
+ t26230 = t26081*t26394+t26093*t26309+t26103*t26292+y*t25833+t26276;
+ t26033 = RATIONAL(25.0,48.0);
+ t26224 = t26033*t26295+t26099*t26298+t26105*t26374+t26116*t26377+t26240+
+t26672;
+ t26223 = t26033*t26294+t26099*t26299+t26105*t26377+t26116*t26374+t26240+
+t26673;
+ t26127 = RATIONAL(4.0,3.0);
+ t26222 = t26070*t26295+t26134*t26298+t26125*t26377+t26127*t26374+t26239+
+t26671;
+ t26221 = t26070*t26294+t26134*t26299+t26125*t26374+t26127*t26377+t26239+
+t26670;
+ t26220 = t26079*t26282+RATIONAL(-1.0,32.0)*t26284+t26137*t26321+t25957+
+t26238+t26764;
+ t26219 = RATIONAL(1.0,32.0)*t26284+t26112*t26282+t26131*t26321+t25994+
+t26238+t26765;
+ t26218 = t26075*t26301+t26089*t26308+t26099*t26289+t26108*t26372+t26591+
+t26789+t26793;
+ t26217 = t26075*t26372+t26089*t26289+t26099*t26308+t26108*t26301+t26591+
+t26787+t26794;
+ t26216 = t26075*t26304+t26089*t26307+t26099*t26286+t26108*t26373+t26592+
+t26822*y+t26788;
+ t26215 = t26075*t26373+t26089*t26286+t26099*t26307+t26108*t26304+t26592+
+t26821*y+t26786;
+ t26214 = t26116*t26372+x*t25880+t25580+t25646+t26586+t26630;
+ t26213 = t26083*t26372+x*t25898+t25403+t25726+t26586+t26611;
+ t26212 = t26116*t26373+x*t25879+y*t26356+t25648+t26585+t26629;
+ t26211 = t26083*t26373+x*t25897+y*t26362+t25728+t26585+t26612;
+ t26210 = t26080*t26301+t26105*t26289+t25871+t26147*t26372+z*t26387+t25833
++t26584+t26738*x;
+ t26209 = t26095*t26289+t26113*t26301+t26123*t26372+t25890+t25616+z*t26382
++t26584+t26737*x;
+ t26208 = t26080*t26304+t26105*t26286+t25872+t26147*t26373+t26583+(t26330+
+t26387)*y+t26739*x;
+ t26207 = t26095*t26286+t26113*t26304+t26123*t26373+t25891+t26583+(t26382+
+t26347)*y+t26736*x;
+ t26206 = t26078*t26297+t26011*t26397+t26230+y*t25871+t26111*t26368+t26632
;
- t28724 = t28640*t28880+t28542*t28879+t28660*t29025+t28639*t29024+t28745+
-t29355;
- t28723 = t28546*t28872+z*t28800+t28588*t29026+y*t28926+t28744+t29364;
- t28722 = t28599*t28813+y*t28936+t28733+t28558*t28877+t27972+t29298;
- t28721 = t28517*t29041+y*t28415+x*t28853+t28606*t28857+t29251+t29253;
- t28720 = t28373+t28662*t28843+t28302+t28656*t28387+t29246+t29308;
- t28719 = y*t28978+t28662*t28856+t28218+t28656*t28363+t29249+t29318;
- t28718 = t29239+y*t28980+t28660*t28941+t29305+t29428*x;
- t28717 = t29235+t28415+(t28342+t28851)*t28659+(t29036+t28995)*z+(t28878+
-t29396)*x;
- t28716 = z*t28903+x*t28412+t28605*t29007+t28316+t29243+t29256;
- t28715 = t28662*t28848+t28307+y*t28904+t28628*t28813+t29249+t29315;
- t28714 = t28563*t28916+t28739+y*t28927+t28597*t28813+t28555*t28877+t29298
+ t26205 = y*t25890+t26078*t26368+t26111*t26297+t26231+t26002*t26397+t26632
;
- t28713 = t28662*t28832+t28656*t28368+t28654*t28916+y*t28960+t29246+t29254
+ t26204 = t26111*t26367+t26078*t26296+t26013*t26396+z*t25872+t26230+t26631
;
- t28712 = t28606*t29000+y*t28376+t28507*t29041+t28659*t28853+t29251+t29268
-;
- t28711 = x*t28786+t28661*t28814+t28595*t28854+t29241+t28598*t29007+t29469
-*z+t29414;
- t28710 = z*t28918+t28061+t29241+t28598*t28854+t28659*t28786+(t28819+
-t28858)*x+t29416;
- t28709 = t29239+t28190+y*t28996+t29279+(t28291+t28848)*x;
- t28708 = z*t28984+x*t28374+t28608*t29007+t28305+t29243+t29321;
- t28707 = t28659*t28220+t28347+t28330+t28611*t28854+t29235+t28376+(t28836+
-t29395)*x;
- t28706 = t28739+t28564*t28916+t29170+t28291+t28622*t28660+t28595*t28813+
-t29373*y;
- t28705 = t29214+t28229+t28203+t28628*t28657+t28656*t28934+t29231+t29432;
- t28704 = t28648+t28207+t28197+t28518+t28590*t28828+t28625*t28656+t29107+
-t28662*t28144+t28643*t28983+t29431+t29433;
- t28703 = t28508+t28150+t28141+t29264+t29225+t28604*t28813+(t29378+t29385)
-*y;
- t28702 = t28634*t28983+t28662*t28175+t28655*t28656+t29107+t28110+t28112+
-t28577*t28828+t29412+t29441+t29466;
- t28701 = t28733+t28463+t29170+t27915+t28598*t28813+t28122+t29374*y;
- t28700 = t29214+t28607*t28919+t28331+t29232+(t28895+t28626)*t28657+t29410
+ t26203 = t26004*t26396+z*t25891+t26111*t26296+t26078*t26367+t26231+t26631
;
- t28699 = t28601*t28813+t28522+t28276+t29225+t28618*t28916+t29284+(t29383+
-t29394)*y;
- t28698 = t27961+t29178+t29205+t28737+t29331+t29360+t29368;
- t28697 = t29088+t28742+t29153+t29301;
- t28696 = t29093+t28738+t28776+t29237+t29326;
- t28695 = t28023+t29207+t29217+t28740+t29293+t29316;
- t28694 = t29114+t29139+t29126+t29143;
- t28693 = t29045+t29120+t29168;
- t28692 = t29160+t29104+t29233+t29332;
- t28691 = t29113+t29045+t29166;
- t28690 = t29143+t29140+t29147+t29189;
- t28689 = t29165+t28736+t29182+t29283+t29304;
- t28688 = t29152+t29174+t29143+t29206;
- t28687 = t28764+t29106+t29220+t29248;
- t28686 = t29088+t28729+t29177+t29296;
- t28685 = t29194+t29162+t29190+t29245+t29329;
- t28684 = t29089+t28734+t29157+t29289;
- t28683 = t29149+t29064+t29211;
- t28682 = t29089+t28730+t29132+t29306;
- t28681 = t29229+t28736+t29133+t29230+t29258;
- t28680 = t27961+t29105+t29125+t29213;
- t28679 = t29093+t28764+t28735+t29240+t29333;
- t28678 = t28045+t29184+t28735+t29142+t29304+t29334;
- t28677 = t29064+t29195+t29201;
- t28676 = t29116+t29162+t29111+t29234+t29332;
- t28675 = t29161+t28738+t28780+t29250+t29304+t29325;
- t28674 = t29105+t29136+t28023+t29219;
- t28673 = t28776+t29106+t29224+t29247;
- t28672 = t28734+t29090+t29137+t29310;
- t28671 = t28730+t29090+t29123+t29276;
- t28670 = t29203+t29128+t28737+t29229+t29352;
- t28669 = t29148+t29167+t28740+t29349+t29352+t29367+t29386;
- t28668 = t29172+t29143+t29158+t29197;
- t28667 = t29104+t29145+t29242+t29329;
- coeffs_dyz->coeff_m2_m2_m2 = t28691+t29050+t29056;
- coeffs_dyz->coeff_m1_m2_m2 = t29059+t28670+t29080;
- coeffs_dyz->coeff_0_m2_m2 = t29101+t28706+t29102;
- coeffs_dyz->coeff_p1_m2_m2 = t28679+t29047+t29061;
- coeffs_dyz->coeff_p2_m2_m2 = t29058+t29060+t28683;
- coeffs_dyz->coeff_m2_m1_m2 = t28675+t29169+t29184+t29182+t29191;
- coeffs_dyz->coeff_m1_m1_m2 = t29070+t28692+t28908+t29069;
- coeffs_dyz->coeff_0_m1_m2 = t28705+t29087+t29099;
- coeffs_dyz->coeff_p1_m1_m2 = t29071+t28680+t28769+t29083;
- coeffs_dyz->coeff_p2_m1_m2 = t29161+t29180+t29167+t28678+t29182;
- coeffs_dyz->coeff_m2_0_m2 = t28714+t29119+t29141;
- coeffs_dyz->coeff_m1_0_m2 = t28719+t29117+t29156;
- coeffs_dyz->coeff_0_0_m2 = (t28750*t28657+t28762)*y+t28723+(t28752*t28657
-+t28746)*t28660;
- coeffs_dyz->coeff_p1_0_m2 = t28719+t29108+t29155;
- coeffs_dyz->coeff_p2_0_m2 = t28714+t29127+t29154;
- coeffs_dyz->coeff_m2_p1_m2 = t29148+t29250+t28678+t29150+t29324+t29370+
-t29371;
- coeffs_dyz->coeff_m1_p1_m2 = t29068+t28667+t28887+t29069;
- coeffs_dyz->coeff_0_p1_m2 = t28700+t29087+t29103;
- coeffs_dyz->coeff_p1_p1_m2 = t28771+t28680+t29072+t29075;
- coeffs_dyz->coeff_p2_p1_m2 = t29180+t29165+t29184+t28669+t28085+t29218;
- coeffs_dyz->coeff_m2_p2_m2 = t29058+t28677+t29042;
- coeffs_dyz->coeff_m1_p2_m2 = t29078+t29046+t28670;
- coeffs_dyz->coeff_0_p2_m2 = t28706+t29086+t29095;
- coeffs_dyz->coeff_p1_p2_m2 = t28696+t29061+t29053;
- coeffs_dyz->coeff_p2_p2_m2 = t28691+t29062+t29048;
- coeffs_dyz->coeff_m2_m2_m1 = t29116+t28698+t29110+t28772+t29215+t29245;
- coeffs_dyz->coeff_m1_m2_m1 = t29077+t28682+t29049;
- coeffs_dyz->coeff_0_m2_m1 = t28703+t29094+t29098;
- coeffs_dyz->coeff_p1_m2_m1 = t28682+t29054+t29076;
- coeffs_dyz->coeff_p2_m2_m1 = t29215+t29178+t28676+t28887+t29190+t29217;
- coeffs_dyz->coeff_m2_m1_m1 = t29055+t28671+t29082;
- coeffs_dyz->coeff_m1_m1_m1 = t28668+t29121+t29147+t29126+t29206;
- coeffs_dyz->coeff_0_m1_m1 = t28702+t29092+t29091;
- coeffs_dyz->coeff_p1_m1_m1 = t28668+t29139+t29129+t29140+t29152;
- coeffs_dyz->coeff_p2_m1_m1 = t28673+t29051+t29063;
- coeffs_dyz->coeff_m2_0_m1 = t28718+t29193+t29210;
- coeffs_dyz->coeff_m1_0_m1 = t28720+t29164+t29198;
- coeffs_dyz->coeff_0_0_m1 = t28726+(t28756*t28657+t28757)*t28660+(t28748*
-t28657+t28760)*y;
- coeffs_dyz->coeff_p1_0_m1 = t29146+t28720+t29185;
- coeffs_dyz->coeff_p2_0_m1 = t28709+t29135+t29193;
- coeffs_dyz->coeff_m2_p1_m1 = t29074+t29043+t28671;
- coeffs_dyz->coeff_m1_p1_m1 = t28688+t29114+t29129+t29147+t29197;
- coeffs_dyz->coeff_0_p1_m1 = t29084+t29092+t28704;
- coeffs_dyz->coeff_p1_p1_m1 = t28694+t29174+t29121+t29140+t29197;
- coeffs_dyz->coeff_p2_p1_m1 = t28687+t29051+t29052;
- coeffs_dyz->coeff_m2_p2_m1 = t29207+t28698+t29190+t28766+t29228+t29234;
- coeffs_dyz->coeff_m1_p2_m1 = t28697+t29079+t29057;
- coeffs_dyz->coeff_0_p2_m1 = t28703+t29096+t29097;
- coeffs_dyz->coeff_p1_p2_m1 = t29081+t28686+t29057;
- coeffs_dyz->coeff_p2_p2_m1 = t28695+t29178+t28769+t29111+t29228+t29245;
- coeffs_dyz->coeff_m2_m2_0 = t28710+t29115+t29200;
- coeffs_dyz->coeff_m1_m2_0 = t29192+t28708+t29204;
- coeffs_dyz->coeff_0_m2_0 = t28725+(t28752*t28658+t28746)*t28661+(t28750*
-t28658+t28762)*z;
- coeffs_dyz->coeff_p1_m2_0 = t28716+t29134+t29204;
- coeffs_dyz->coeff_p2_m2_0 = t28711+t29115+t29118;
- coeffs_dyz->coeff_m2_m1_0 = t28712+t29109+t29130;
- coeffs_dyz->coeff_m1_m1_0 = t29175+t28707+t29176;
- coeffs_dyz->coeff_0_m1_0 = (t28756*t28658+t28757)*t28661+(t28748*t28658+
-t28760)*z+t28724;
- coeffs_dyz->coeff_p1_m1_0 = t28717+t29175+t29183;
- coeffs_dyz->coeff_p2_m1_0 = t28721+t29109+t29196;
- coeffs_dyz->coeff_m2_0_0 = t28728*t28659+t28727*x+t28731;
- coeffs_dyz->coeff_m1_0_0 = ((t29017+t28913)*t28660+(t28926+RATIONAL(25.0,
-24.0)*z)*y)*t28659+((t29025+t28955)*t28660+(RATIONAL(-25.0,6.0)*z+t28989)*y)*x+
-t28732;
- coeffs_dyz->coeff_0_0_0 = ((t28634*t28662+1.0+t28624*t28656)*t28661+
-t28749*z)*t28660+(t28749*t28661+(RATIONAL(-125.0,16.0)*t28656+t28573*t28662+
-RATIONAL(25.0,4.0))*z)*y;
- coeffs_dyz->coeff_p1_0_0 = ((t28605*z+t28626*t28661)*t28660+(t28551*z+
-t28605*t28661)*y)*t28659+((t28638*z+t28650*t28661)*t28660+(t28638*t28661+t29028
-)*y)*x+t28732;
- coeffs_dyz->coeff_p2_0_0 = t28727*t28659+t28728*x+t28731;
- coeffs_dyz->coeff_m2_p1_0 = t28712+t29196+t29212;
- coeffs_dyz->coeff_m1_p1_0 = t28717+t29176+t29186;
- coeffs_dyz->coeff_0_p1_0 = (t28759*t28658+t28754)*z+(t28761*t28658+t28751
-)*t28661+t28724;
- coeffs_dyz->coeff_p1_p1_0 = t29183+t28707+t29186;
- coeffs_dyz->coeff_p2_p1_0 = t28721+t29130+t29212;
- coeffs_dyz->coeff_m2_p2_0 = t29124+t28711+t29200;
- coeffs_dyz->coeff_m1_p2_0 = t28716+t29187+t29192;
- coeffs_dyz->coeff_0_p2_0 = t28725+(t28755*t28658+t28747)*t28661+(t28758*
-t28658+t28753)*z;
- coeffs_dyz->coeff_p1_p2_0 = t29134+t28708+t29187;
- coeffs_dyz->coeff_p2_p2_0 = t28710+t29118+t29124;
- coeffs_dyz->coeff_m2_m2_p1 = t29116+t28908+t28685+t29217+t29150+t29372+
-t29375;
- coeffs_dyz->coeff_m1_m2_p1 = t29081+t28697+t29065;
- coeffs_dyz->coeff_0_m2_p1 = t28699+t29097+t29098;
- coeffs_dyz->coeff_p1_m2_p1 = t29079+t28686+t29065;
- coeffs_dyz->coeff_p2_m2_p1 = t29194+t28935+t28676+t29221+t29110+t29228;
- coeffs_dyz->coeff_m2_m1_p1 = t28687+t29067+t29063;
- coeffs_dyz->coeff_m1_m1_p1 = t29189+t28694+t29129+t29158+t29206;
- coeffs_dyz->coeff_0_m1_p1 = t29085+t29091+t28704;
- coeffs_dyz->coeff_p1_m1_p1 = t29152+t29121+t29114+t28690+t29158;
- coeffs_dyz->coeff_p2_m1_p1 = t29074+t28672+t29055;
- coeffs_dyz->coeff_m2_0_p1 = t28709+t29173+t29210;
- coeffs_dyz->coeff_m1_0_p1 = t28713+t29185+t29198;
- coeffs_dyz->coeff_0_0_p1 = t28726+(t28761*t28657+t28751)*t28660+(t28759*
-t28657+t28754)*y;
- coeffs_dyz->coeff_p1_0_p1 = t28713+t29146+t29164;
- coeffs_dyz->coeff_p2_0_p1 = t29135+t28718+t29173;
- coeffs_dyz->coeff_m2_p1_p1 = t28673+t29067+t29052;
- coeffs_dyz->coeff_m1_p1_p1 = t29172+t28688+t29121+t29139+t29189;
- coeffs_dyz->coeff_0_p1_p1 = t29085+t28702+t29084;
- coeffs_dyz->coeff_p1_p1_p1 = t29172+t29129+t29126+t28690+t29174;
- coeffs_dyz->coeff_p2_p1_p1 = t28672+t29043+t29082;
- coeffs_dyz->coeff_m2_p2_p1 = t29194+t28695+t28771+t29205+t29215+t29234;
- coeffs_dyz->coeff_m1_p2_p1 = t29076+t28684+t29049;
- coeffs_dyz->coeff_0_p2_p1 = t28699+t29096+t29094;
- coeffs_dyz->coeff_p1_p2_p1 = t29077+t29054+t28684;
- coeffs_dyz->coeff_p2_p2_p1 = t29215+t29207+t29111+t28685+t28979+t29221;
- coeffs_dyz->coeff_m2_m2_p2 = t29062+t28693+t29056;
- coeffs_dyz->coeff_m1_m2_p2 = t29047+t28696+t29066;
- coeffs_dyz->coeff_0_m2_p2 = t29095+t29102+t28701;
- coeffs_dyz->coeff_p1_m2_p2 = t29078+t29059+t28681;
- coeffs_dyz->coeff_p2_m2_p2 = t29060+t29044+t28677;
- coeffs_dyz->coeff_m2_m1_p2 = t29191+t28689+t28765+t29142+t29218+t29236;
- coeffs_dyz->coeff_m1_m1_p2 = t28692+t29068+t29073+t28979;
- coeffs_dyz->coeff_0_m1_p2 = t28700+t29100+t29099;
- coeffs_dyz->coeff_p1_m1_p2 = t28674+t29072+t29083+t28772;
- coeffs_dyz->coeff_p2_m1_p2 = t29180+t28763+t28689+t29169+t29216+t29250;
- coeffs_dyz->coeff_m2_0_p2 = t28722+t29141+t29154;
- coeffs_dyz->coeff_m1_0_p2 = t29108+t28715+t29117;
- coeffs_dyz->coeff_0_0_p2 = (t28755*t28657+t28747)*t28660+(t28758*t28657+
-t28753)*y+t28723;
- coeffs_dyz->coeff_p1_0_p2 = t29155+t28715+t29156;
- coeffs_dyz->coeff_p2_0_p2 = t28722+t29119+t29127;
- coeffs_dyz->coeff_m2_p1_p2 = t29161+t29191+t28045+t28669+t29159+t29216;
- coeffs_dyz->coeff_m1_p1_p2 = t29070+t28935+t28667+t29073;
- coeffs_dyz->coeff_0_p1_p2 = t29100+t28705+t29103;
- coeffs_dyz->coeff_p1_p1_p2 = t28674+t29071+t29075+t28766;
- coeffs_dyz->coeff_p2_p1_p2 = t29148+t28675+t29159+t29142+t29180;
- coeffs_dyz->coeff_m2_p2_p2 = t29044+t28683+t29042;
- coeffs_dyz->coeff_m1_p2_p2 = t28679+t29053+t29066;
- coeffs_dyz->coeff_0_p2_p2 = t29101+t29086+t28701;
- coeffs_dyz->coeff_p1_p2_p2 = t29046+t29080+t28681;
- coeffs_dyz->coeff_p2_p2_p2 = t29050+t28693+t29048;
+ t26202 = t26104*t26321+RATIONAL(-1.0,64.0)*t26284+RATIONAL(5.0,64.0)*
+t26282+t26485+t25576+t26753+t26783+t26809;
+ t26201 = t26094*t26321+RATIONAL(-5.0,64.0)*t26282+t26485+t25400+RATIONAL(
+1.0,64.0)*t26284+t26752+t26762+t26792;
+ t26200 = t26129*t26375+t26145*t26323+t26481+t26132*t26302+t26083*t26288+
+t26596+t26759*z+t26737;
+ t26199 = t26143*t26375+t26138*t26302+t26121*t26323+t26607+t26481+t26116*
+t26288+t26761*z+t26738;
+ t26198 = t26092*t26320+t26113*t26318+t26132*t26153+t25814+t26220+t26576+
+t26779;
+ t26197 = t26092*t26313+t26220+t25813+t26113*t26311+t26132*t26155+t26575+
+t26780;
+ t26196 = t26080*t26318+t26102*t26320+t26138*t26153+t26219+t25596+t26576+
+t26773;
+ t26195 = t26102*t26313+t25595+t26219+t26080*t26311+t26138*t26155+t26575+
+t26774;
+ t26194 = t26693+t26439+t26694;
+ t26193 = t26690+t26439+t26691;
+ t26192 = t26438+t26690+t26694;
+ t26191 = t26691+t26438+t26693;
+ t26190 = t26545+t26551+t26547+t26553;
+ t26189 = t26474+t26692+t26711;
+ t26188 = t26473+t26695+t26711;
+ t26187 = t26473+t26692+t26712;
+ t26186 = t26474+t26695+t26712;
+ t26185 = t26507+t26479+t26514;
+ t26184 = t26275+t26478+t26704+t26708;
+ t26183 = t26477+t26267+t26706+t26708;
+ t26182 = t25556+t26483+t26541+t26569;
+ t26181 = t26552+t26551+t26511+t26581+t26656;
+ t26180 = t26540+t26550+t26510+t26551;
+ t26179 = t26274+t26477+t26704+t26707;
+ t26178 = t26268+t26478+t26706+t26707;
+ t26177 = t26551+t26546+t26271+t26573+t26579;
+ t26176 = t26499+t26428+t26564;
+ t26175 = t26470+t26228+t26537+t26594;
+ t26174 = t26484+t26495+t26588+t26658;
+ t26173 = t26479+t26509+t26515;
+ t26172 = t26536+t26483+t25476+t26567;
+ t26171 = t26275+t26480+t26568+t26580;
+ t26170 = t26480+t26267+t26570+t26582;
+ t26169 = t26484+t26501+t26590+t26655;
+ t26168 = t25462+t26512+t26482+t26724+t26730;
+ t26167 = t26470+t26227+t26542+t26593;
+ t26166 = t25542+t26482+t26505+t26720+t26729;
+ t26165 = t26490+t26428+t26565;
+ t26164 = t26429+t26489+t26497;
+ t26163 = t26429+t26488+t26498;
+ t26066 = RATIONAL(-25.0,48.0);
+ coeffs_dyz->coeff_m2_m2_m2 = t26193+t26432+t26435;
+ coeffs_dyz->coeff_m1_m2_m2 = t26178+t26424+t26419;
+ coeffs_dyz->coeff_0_m2_m2 = t26472+t26201+t26471;
+ coeffs_dyz->coeff_p1_m2_m2 = t26183+t26422+t26418;
+ coeffs_dyz->coeff_p2_m2_m2 = t26194+t26437+t26433;
+ coeffs_dyz->coeff_m2_m1_m2 = t26548+t26545+t26546+t26181+t26550;
+ coeffs_dyz->coeff_m1_m1_m2 = t26415+t26412+t26174;
+ coeffs_dyz->coeff_0_m1_m2 = t26469+t26198+t26460;
+ coeffs_dyz->coeff_p1_m1_m2 = t26167+t26263+t26441+t26453;
+ coeffs_dyz->coeff_p2_m1_m2 = t26545+t26549+t26510+t26177+t26552;
+ coeffs_dyz->coeff_m2_0_m2 = t26558+t26215+t26560;
+ coeffs_dyz->coeff_m1_0_m2 = t26516+t26212+t26554;
+ coeffs_dyz->coeff_0_0_m2 = t26250*y+(t26256*y+t26254*t26154)*t26153+
+t26223+t26246*t26154;
+ coeffs_dyz->coeff_p1_0_m2 = t26516+t26211+t26534;
+ coeffs_dyz->coeff_p2_0_m2 = t26216+t26558+t26562;
+ coeffs_dyz->coeff_m2_p1_m2 = t26548+t26190+t26510+t26265+t26573+t26581;
+ coeffs_dyz->coeff_m1_p1_m2 = t26264+t26444+t26453+t26175;
+ coeffs_dyz->coeff_0_p1_m2 = t26466+t26196+t26460;
+ coeffs_dyz->coeff_p1_p1_m2 = t26411+t26410+t26174;
+ coeffs_dyz->coeff_p2_p1_m2 = t26190+t26511+t26549+t26273+t26574+t26579;
+ coeffs_dyz->coeff_m2_p2_m2 = t26434+t26192+t26433;
+ coeffs_dyz->coeff_m1_p2_m2 = t26424+t26420+t26179;
+ coeffs_dyz->coeff_0_p2_m2 = t26202+t26476+t26471;
+ coeffs_dyz->coeff_p1_p2_m2 = t26184+t26421+t26422;
+ coeffs_dyz->coeff_p2_p2_m2 = t26191+t26436+t26432;
+ coeffs_dyz->coeff_m2_m2_m1 = t26455+t26417+t26189;
+ coeffs_dyz->coeff_m1_m2_m1 = t26443+t26182+t26448+t26272;
+ coeffs_dyz->coeff_0_m2_m1 = t26197+t26468+t26461;
+ coeffs_dyz->coeff_p1_m2_m1 = t26166+t26451+t25476+t26445+t26656;
+ coeffs_dyz->coeff_p2_m2_m1 = t26416+t26187+t26454;
+ coeffs_dyz->coeff_m2_m1_m1 = t26185+t26446+t26404;
+ coeffs_dyz->coeff_m1_m1_m1 = t26176+t26398+t26403;
+ coeffs_dyz->coeff_0_m1_m1 = t26459+t26462+t26200;
+ coeffs_dyz->coeff_p1_m1_m1 = t26165+t26403+t26402;
+ coeffs_dyz->coeff_p2_m1_m1 = t26409+t26405+t26171;
+ coeffs_dyz->coeff_m2_0_m1 = t26203+t26522+t26526;
+ coeffs_dyz->coeff_m1_0_m1 = t26518+t26207+t26532;
+ coeffs_dyz->coeff_0_0_m1 = t26221+t26247*y+(t26251*y+t26241*t26154)*
+t26153+t26252*t26154;
+ coeffs_dyz->coeff_p1_0_m1 = t26208+t26518+t26530;
+ coeffs_dyz->coeff_p2_0_m1 = t26204+t26520+t26526;
+ coeffs_dyz->coeff_m2_p1_m1 = t26185+t26447+t26407;
+ coeffs_dyz->coeff_m1_p1_m1 = t26426+t26400+t26163;
+ coeffs_dyz->coeff_0_p1_m1 = t26463+t26462+t26199;
+ coeffs_dyz->coeff_p1_p1_m1 = t26401+t26163+t26427;
+ coeffs_dyz->coeff_p2_p1_m1 = t26409+t26170+t26406;
+ coeffs_dyz->coeff_m2_p2_m1 = t26456+t26413+t26189;
+ coeffs_dyz->coeff_m1_p2_m1 = t26168+t26449+t26273+t26445;
+ coeffs_dyz->coeff_0_p2_m1 = t26468+t26464+t26195;
+ coeffs_dyz->coeff_p1_p2_m1 = t26266+t26182+t26440+t26452;
+ coeffs_dyz->coeff_p2_p2_m1 = t26414+t26187+t26457;
+ coeffs_dyz->coeff_m2_m2_0 = t26559+t26217+t26561;
+ coeffs_dyz->coeff_m1_m2_0 = t26517+t26214+t26555;
+ coeffs_dyz->coeff_0_m2_0 = (t26254*t26155+t26246)*t26152+t26224+(t26256*
+t26155+t26250)*z;
+ coeffs_dyz->coeff_p1_m2_0 = t26213+t26517+t26535;
+ coeffs_dyz->coeff_p2_m2_0 = t26559+t26218+t26563;
+ coeffs_dyz->coeff_m2_m1_0 = t26205+t26523+t26527;
+ coeffs_dyz->coeff_m1_m1_0 = t26519+t26209+t26533;
+ coeffs_dyz->coeff_0_m1_0 = t26222+(t26251*t26155+t26247)*z+(t26241*t26155
++t26252)*t26152;
+ coeffs_dyz->coeff_p1_m1_0 = t26519+t26210+t26531;
+ coeffs_dyz->coeff_p2_m1_0 = t26206+t26521+t26527;
+ coeffs_dyz->coeff_m2_0_0 = ((t26033*x+t26066*t26157)*y+t26260*t26154)*z+(
+t26260*y+(t26095*x+t26105*t26157)*t26154)*t26152+t26237;
+ coeffs_dyz->coeff_m1_0_0 = ((RATIONAL(-25.0,6.0)*x+RATIONAL(25.0,24.0)*
+t26157)*y+t26259*t26154)*z+(t26259*y+(t26132*t26157+t26143*x)*t26154)*t26152+
+t26232;
+ coeffs_dyz->coeff_0_0_0 = ((RATIONAL(25.0,4.0)+RATIONAL(-125.0,16.0)*
+t26158+t26035*t26156)*y+t26242*t26154)*z+((t26133*t26156+1.0+t26148*t26158)*
+t26154+t26242*y)*t26152;
+ coeffs_dyz->coeff_p1_0_0 = ((t26072*x+t26068*t26157)*y+t26258*t26154)*z+(
+t26258*y+(t26138*t26157+t26129*x)*t26154)*t26152+t26232;
+ coeffs_dyz->coeff_p2_0_0 = ((t26066*x+t26033*t26157)*y+t26261*t26154)*z+(
+t26261*y+(t26095*t26157+t26105*x)*t26154)*t26152+t26237;
+ coeffs_dyz->coeff_m2_p1_0 = t26205+t26521+t26529;
+ coeffs_dyz->coeff_m1_p1_0 = t26491+t26210+t26533;
+ coeffs_dyz->coeff_0_p1_0 = t26222+(t26255*t26155+t26249)*z+(t26253*t26155
++t26243)*t26152;
+ coeffs_dyz->coeff_p1_p1_0 = t26491+t26209+t26531;
+ coeffs_dyz->coeff_p2_p1_0 = t26206+t26523+t26529;
+ coeffs_dyz->coeff_m2_p2_0 = t26218+t26557+t26561;
+ coeffs_dyz->coeff_m1_p2_0 = t26525+t26213+t26555;
+ coeffs_dyz->coeff_0_p2_0 = t26224+(t26245*t26155+t26257)*t26152+(t26244*
+t26155+t26248)*z;
+ coeffs_dyz->coeff_p1_p2_0 = t26525+t26214+t26535;
+ coeffs_dyz->coeff_p2_p2_0 = t26557+t26217+t26563;
+ coeffs_dyz->coeff_m2_m2_p1 = t26416+t26457+t26188;
+ coeffs_dyz->coeff_m1_m2_p1 = t26168+t26442+t26451+t26265;
+ coeffs_dyz->coeff_0_m2_p1 = t26467+t26461+t26195;
+ coeffs_dyz->coeff_p1_m2_p1 = t25462+t26172+t26448+t26440+t26659;
+ coeffs_dyz->coeff_p2_m2_p1 = t26456+t26417+t26186;
+ coeffs_dyz->coeff_m2_m1_p1 = t26170+t26405+t26408;
+ coeffs_dyz->coeff_m1_m1_p1 = t26401+t26426+t26164;
+ coeffs_dyz->coeff_0_m1_p1 = t26458+t26463+t26200;
+ coeffs_dyz->coeff_p1_m1_p1 = t26400+t26427+t26164;
+ coeffs_dyz->coeff_p2_m1_p1 = t26173+t26447+t26404;
+ coeffs_dyz->coeff_m2_0_p1 = t26203+t26520+t26528;
+ coeffs_dyz->coeff_m1_0_p1 = t26208+t26492+t26532;
+ coeffs_dyz->coeff_0_0_p1 = t26221+t26249*y+(t26255*y+t26253*t26154)*
+t26153+t26243*t26154;
+ coeffs_dyz->coeff_p1_0_p1 = t26492+t26207+t26530;
+ coeffs_dyz->coeff_p2_0_p1 = t26204+t26522+t26528;
+ coeffs_dyz->coeff_m2_p1_p1 = t26406+t26171+t26408;
+ coeffs_dyz->coeff_m1_p1_p1 = t26176+t26399+t26402;
+ coeffs_dyz->coeff_0_p1_p1 = t26459+t26458+t26199;
+ coeffs_dyz->coeff_p1_p1_p1 = t26165+t26399+t26398;
+ coeffs_dyz->coeff_p2_p1_p1 = t26173+t26446+t26407;
+ coeffs_dyz->coeff_m2_p2_p1 = t26414+t26454+t26188;
+ coeffs_dyz->coeff_m1_p2_p1 = t26443+t25542+t26172+t26452+t26656;
+ coeffs_dyz->coeff_0_p2_p1 = t26197+t26464+t26467;
+ coeffs_dyz->coeff_p1_p2_p1 = t26442+t26449+t26271+t26166;
+ coeffs_dyz->coeff_p2_p2_p1 = t26455+t26413+t26186;
+ coeffs_dyz->coeff_m2_m2_p2 = t26191+t26431+t26435;
+ coeffs_dyz->coeff_m1_m2_p2 = t26184+t26425+t26418;
+ coeffs_dyz->coeff_0_m2_p2 = t26472+t26202+t26475;
+ coeffs_dyz->coeff_p1_m2_p2 = t26423+t26419+t26179;
+ coeffs_dyz->coeff_p2_m2_p2 = t26430+t26437+t26192;
+ coeffs_dyz->coeff_m2_m1_p2 = t26548+t26552+t26272+t26180+t26572+t26579;
+ coeffs_dyz->coeff_m1_m1_p2 = t26167+t26450+t26444+t26270;
+ coeffs_dyz->coeff_0_m1_p2 = t26469+t26465+t26196;
+ coeffs_dyz->coeff_p1_m1_p2 = t26415+t26410+t26169;
+ coeffs_dyz->coeff_p2_m1_p2 = t25556+t26549+t26540+t26547+t26181+t26573;
+ coeffs_dyz->coeff_m2_0_p2 = t26216+t26556+t26560;
+ coeffs_dyz->coeff_m1_0_p2 = t26524+t26211+t26554;
+ coeffs_dyz->coeff_0_0_p2 = t26257*t26154+t26248*y+t26223+(t26244*y+t26245
+*t26154)*t26153;
+ coeffs_dyz->coeff_p1_0_p2 = t26212+t26524+t26534;
+ coeffs_dyz->coeff_p2_0_p2 = t26556+t26215+t26562;
+ coeffs_dyz->coeff_m2_p1_p2 = t26548+t26511+t26540+t26177+t26553;
+ coeffs_dyz->coeff_m1_p1_p2 = t26412+t26411+t26169;
+ coeffs_dyz->coeff_0_p1_p2 = t26466+t26465+t26198;
+ coeffs_dyz->coeff_p1_p1_p2 = t26450+t26441+t26269+t26175;
+ coeffs_dyz->coeff_p2_p1_p2 = t26553+t26549+t26266+t26180+t26571+t26581;
+ coeffs_dyz->coeff_m2_p2_p2 = t26430+t26194+t26434;
+ coeffs_dyz->coeff_m1_p2_p2 = t26183+t26421+t26425;
+ coeffs_dyz->coeff_0_p2_p2 = t26201+t26476+t26475;
+ coeffs_dyz->coeff_p1_p2_p2 = t26178+t26423+t26420;
+ coeffs_dyz->coeff_p2_p2_p2 = t26431+t26436+t26193;
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-17 07:19:08 +0000